Ytintegraler – definition, beräkning och tillämpningar i fysiken
Ytintegraler: tydlig definition, steg-för-steg beräkning och praktiska tillämpningar i fysiken — från elektromagnetism till flödesberäkningar.
Inom matematiken är ett ytintegral ett bestämt integral över en yta (som kan vara en kurva i rummet). På samma sätt som ett linjeintegral hanterar en dimension eller en variabel, kan ett ytintegral betraktas som ett dubbelintegral i två dimensioner. Givet en yta kan man integrera över dess skalära fält (dvs. funktioner som returnerar tal som värden) och vektorfält (dvs. funktioner som returnerar vektorer som värden).
Ytintegraler har tillämpningar inom fysiken, särskilt inom den klassiska teorin om elektromagnetism.
Vad är ett ytintegral? — grundläggande definitioner
En yta S i rummet kan parametriseras med en vektorfunktion r(u,v) = (x(u,v), y(u,v), z(u,v)) för (u,v) i ett område D i planet. Differentialelementet för ytan bestäms av partialvektorerna r_u och r_v. Deras vektorprodukt r_u × r_v ger en vektor som är parallell med ytan och vars längd motsvarar ett litet ytelement.
- Ytareaelement: dS = |r_u × r_v| du dv.
- Enhetsnormal: n = (r_u × r_v) / |r_u × r_v| (val av riktning bestämmer orienteringen).
Skalära ytintegraler
För ett skalärt fält f definierat på ytan S lyder ytintegralen
∫_S f dS = ∫∫_D f(r(u,v)) · |r_u × r_v| du dv.
Detta uttryck omvandlar integralen över en krökt yta till ett dubbelintegral över det parameterområde D.
Vektoriska ytintegraler (flöde)
För ett vektorfält F definierat i ett område som innehåller S är det vanliga ytintegralet ofta flödet genom ytan:
Φ = ∫_S F · n dS = ∫∫_D F(r(u,v)) · (r_u × r_v) du dv.
Om man använder enhetsnormalen n skrivs integralen ofta som ∫_S F · n dS. Observera att val av normalriktning (orientering av ytan) påverkar tecknet på flödet.
Vanliga sätt att beskriva ytor och ytelement
- Graf av en funktion: Om ytan ges som z = g(x,y) över ett område A i xy-planet, kan man använda parametrisering r(x,y) = (x, y, g(x,y)). Då blir dS = sqrt(1 + g_x^2 + g_y^2) dx dy.
- Implicit yta: För en yta definierad genom F(x,y,z) = 0 är en normalvektor proportionell mot ∇F. Enhetsnormalen är n = ∇F / |∇F| (om ∇F ≠ 0).
- Slutna ytor: För en sluten yta (t.ex. en sfär) väljer man vanligen den utåtgående normalriktningen när man beräknar flöde.
Exempel (enkelt)
Beräkna flödet av F(x,y,z) = (x, y, z) genom enhetsfären x^2 + y^2 + z^2 = 1. Genom divergensteoremet (se nedan) är flödet lika med ∭_V div F dV, där div F = 1 + 1 + 1 = 3 och V är enhetskulan med volym 4π/3. Alltså är flödet 3 · (4π/3) = 4π.
Samband med fundamentala satser
- Divergensteoremet (Gauss sats): För en sluten yta S som omsluter ett volyminnehåll V gäller ∫_S F · n dS = ∭_V div F dV. Detta är mycket användbart för att förenkla beräkningar av flöde.
- Stokes sats: Relaterar ytintegralen av rotationsfältet till linjeintegralen runt randkurvan C: ∫_S (curl F) · n dS = ∮_C F · dr. Stokes sats kopplar ytor till deras rand och är central i vektoranalys.
Tillämpningar i fysiken
- Elektromagnetism: Gauss lag i differentialform säger att ∮_S E · n dS = Q_encl / ε_0 — elektriskt flöde genom en sluten yta ger den inneslutna laddningen. Magnetiskt flöde genom en yta förekommer i Faradays induktionslag och i beskrivningen av transformatorer och generatorer.
- Fluidmekanik: Flödet av en hastighetsfält genom en yta ger mass- eller volymflöde över ytan; viktigt vid beräkning av inflöde/utflöde ur volymer.
- Värme- och massöverföring: Ytintegraler används för att beräkna nettoflöden av energi eller ämnesmängd över begränsande ytor.
- Teknik och datorgrafik: Beräkning av ytor, belysning (radiosity, irradiance) och kollisionstester använder ofta diskretiserade ytintegraler över triangulära nät.
Numerisk beräkning
I praktiken approximeras ofta ytintegraler genom att dela ytan i små plana element (trianglar eller rektanglar) och summera bidragen: Σ F(x_i) · n_i A_i. För släta ytor kan man använda kvadraturregler på parametriserade element. Vid komplexa geometrier används ofta finita elementmetoder eller ytnät (meshing).
Praktiska råd
- Välj parametrisering som förenklar uttrycken för r_u och r_v.
- Använd divergensteoremet eller Stokes sats när de kan förenkla beräkningen.
- Tänk på orienteringen av enhetsnormalen — fel riktning ger ett teckenfel i flödesberäkningar.
Sammanfattningsvis är ytintegraler ett grundläggande verktyg för att analysera hur skalära och vektoriella storheter fördelar sig över ytor. De är oumbärliga i både teoretisk och tillämpad fysik, särskilt inom elektromagnetism och fluidmekanik.
Definitionen av ytintegral bygger på att ytan delas upp i små ytelement.
Illustration av ett enskilt ytelement. Dessa element görs oändligt små genom begränsningsprocessen för att närma sig ytan.
Ytintegraler för skalarfält
Betrakta en yta S på vilken ett skalarfält f är definierat. Om man tänker sig att S är gjord av något material, och för varje x i S är talet f(x) materialets densitet vid x, så är ytintegralen av f över S massan per tjockleksenhet av S. (Detta gäller endast om ytan är ett oändligt tunt skal.) Ett sätt att beräkna ytintegralen är att dela upp ytan i många mycket små bitar, anta att densiteten på varje bit är ungefär konstant, hitta massan per tjockleksenhet för varje bit genom att multiplicera bitens densitet med dess area, och sedan summera de resulterande talen för att hitta den totala massan per tjockleksenhet för S.
För att hitta en explicit formel för ytintegralen parametriserar matematiker S genom att betrakta S som ett system av kurvlinjära koordinater, som latitud och longitud på en sfär. Låt en sådan parametrisering vara x(s, t), där (s, t) varierar i en region T i planet. Då ges ytintegralen av följande
∫ S f d S = ∬ T f ( x ( s , t ) ) | ∂ x ∂ s × ∂ x ∂ t | d s d t {\displaystyle \int _{S}f\,dS=\iint _{T}f(\mathbf {x} (s,t))\left|{\partial \mathbf {x} \over \partial s}\times {\partial \mathbf {x} \over \partial t}\right|ds\,dt} 
där uttrycket mellan staplarna på höger sida är storleken på korsprodukten av de partiella derivatorerna av x(s, t).
För att hitta ytan av en allmän funktionell form, till exempel z = f ( x , y ) {\displaystyle z=f\,(x,y)}
, har vi till exempel följande
A = ∫ S d S = ∬ T ‖ ∂ r ∂ x × ∂ r ∂ y ‖ d x d y {\displaystyle A=\int _{S}\,dS=\iint _{T}\left\|{\partial \mathbf {r} \over \partial x}\times {\partial \mathbf {r} \over \partial y}\right\\dx\,dy} 
där r = ( x , y , z ) = ( x , y , f ( x , y ) ) {\displaystyle \mathbf {r} =(x,y,z)=(x,y,f(x,y))}
. Så att ∂ r ∂ x = ( 1 , 0 , f x ( x , y ) ) {\displaystyle {\partial \mathbf {r} \over \partial x}=(1,0,f_{x}(x,y))} 
, och ∂ r ∂ y = ( 0 , 1 , f y ( x , y ) ) {\displaystyle {\partial \mathbf {r} \over \partial y}=(0,1,f_{y}(x,y))}
. Så,
A = ∬ T ‖ ( 1 , 0 , ∂ f ∂ x ) × ( 0 , 1 , ∂ f ∂ y ) ‖ d x d y = ∬ T ‖ ( - ∂ f ∂ x , - ∂ f ∂ y , 1 ) ‖ d x d y = ∬ T ( ∂ f ∂ x ) 2 + ( ∂ f ∂ y ) 2 + 1 d x d y {\displaystyle {\begin{aligned}A&{}=\iint _{T}\left\\\\\left(1,0,{\partial f \over \partial x}\right)\times \left(0,1,{\partial f \over \partial y}\right)\right\|dx\,dy\\\\&{}=\iint _{T}\left\\\\left(-{\partial f \over \partial x},-{\partial f \over \partial y},1\right)\right\dx\,dy\\&{}=\iint _{T}{\sqrt {\sqrt {\left({\partial f \over \partial x}\right)^{2}+\left({\partial f \over \partial y}\right)^{2}+1}}}\,\,dx\,dy\end{aligned}}} 
som är den formel som används för ytan av en allmän funktionell form. Man kan känna igen vektorn i den andra raden ovan som normalvektorn till ytan.
Observera att på grund av korsprodukten fungerar ovanstående formler endast för ytor som är inbäddade i tredimensionella rum.
Ytintegraler av vektorfält
Betrakta ett vektorfält v på S, det vill säga för varje x i S är v(x) en vektor.
Ytintegralen kan definieras komponentvis enligt definitionen av ytintegralen för ett skalärt fält; resultatet är en vektor. Detta gäller t.ex. det elektriska fältet i en fast punkt på grund av en elektriskt laddad yta, eller gravitationen i en fast punkt på grund av ett materialskikt. Den kan också beräkna det magnetiska flödet genom en yta.
Alternativt kan matematiker integrera vektorfältets normalkomponent; resultatet är en skalär. Ett exempel är en vätska som strömmar genom S, där v(x) bestämmer vätskehastigheten vid x. Flödet definieras som den mängd vätska som strömmar genom S under en tidsenhet.
Denna illustration innebär att om vektorfältet tangerar S i varje punkt är flödet noll, eftersom vätskan bara flödar parallellt med S och varken in eller ut. Detta innebär också att om v inte bara flödar längs S, dvs. om v har både en tangentiell och en normal komponent, är det bara den normala komponenten som bidrar till flödet. För att hitta flödet måste vi utifrån detta resonemang ta punktprodukten av v med enhetsytanormalen till S i varje punkt, vilket ger oss ett skalärt fält, och integrera det erhållna fältet på samma sätt som ovan. Detta ger formeln
∫ S v ⋅ d S = ∫ S ( v ⋅ n ) d S = ∬ T v ( x ( s , t ) ) ⋅ ( ∂ x ∂ s × ∂ x ∂ t ) d s d t . {\displaystyle \int _{S}{\mathbf {v} }\cdot \,d{\mathbf {S} }=\int _{S}({\mathbf {v} }\cdot {\mathbf {n} })\,dS=\iint _{T}{\mathbf {v} }(\mathbf {x} (s,t))\cdot \left({\partial \mathbf {x} \over \partial s}\times {\partial \mathbf {x} \over \partial t}\right)ds\,dt. } 
Korsprodukten på den högra sidan av detta uttryck är en ytnormal som bestäms av parametriseringen.
Denna formel definierar integralen till vänster (observera pricken och vektornotationen för ytelementet).
Ett vektorfält på en yta.
Satser med ytintegraler
Olika användbara resultat för ytintegraler kan härledas med hjälp av differentialgeometri och vektorkalkyl, t.ex. divergenssatsen och dess generalisering, Stokes' sats.
Avancerade frågor
Ändring av parametrisering
I diskussionen ovan definierades ytintegralen med hjälp av en parametrisering av ytan S. En given yta kan ha flera parametriseringar. När t.ex. nordpolens och sydpolens positioner flyttas på en sfär ändras latitud och longitud för alla punkter på sfären. En naturlig fråga är då om definitionen av ytintegralen beror på den valda parametriseringen. För integraler av skalära fält är svaret på denna fråga enkelt, värdet av ytintegralen kommer att vara detsamma oavsett vilken parametrisering man använder.
Integraler av vektorfält är mer komplicerade eftersom ytnormalen är inblandad. Matematiker har bevisat att om man ger två parametriseringar av samma yta, vars ytnormer pekar i samma riktning, ger båda parametriseringarna samma värde för ytintegralen. Om emellertid normaler för dessa parametriseringar pekar i motsatta riktningar är värdet av ytintegralen som erhålls med hjälp av den ena parametriseringen det negativa värdet av det värde som erhålls med hjälp av den andra parametriseringen. Av detta följer att vi, givet en yta, inte behöver hålla oss till någon unik parametrisering; men när vi integrerar vektorfält behöver vi i förväg bestämma i vilken riktning normalen kommer att peka och sedan välja en parametrisering som är förenlig med den riktningen.
Parameteriseringar fungerar på delar av ytan
Ett annat problem är att ytor ibland inte har parametriseringar som täcker hela ytan, vilket till exempel gäller för en cylinders yta (med ändlig höjd). Den uppenbara lösningen är då att dela upp ytan i flera delar, beräkna ytintegralen för varje del och sedan addera dem alla. Det är faktiskt så det fungerar, men när man integrerar vektorfält måste man återigen vara försiktig med hur man väljer normalpekande vektor för varje del av ytan, så att resultaten blir konsekventa när delarna sätts ihop igen. För cylindern innebär detta att om vi bestämmer att för sidoområdet ska normalvektorn peka ut från kroppen, så måste normalvektorn för de övre och nedre cirkulära delarna också peka ut från kroppen.
Inkonsekventa ytnormer
Slutligen finns det ytor som inte har en ytnormal i varje punkt med konsekventa resultat (t.ex. Möbiusremsan). Om en sådan yta delas upp i bitar, för varje bit väljs en parametrisering och motsvarande ytnormal, och bitarna sätts ihop igen, kan de normalvektorer som kommer från olika bitar inte förenas. Detta innebär att vid någon korsning mellan två delar kommer normalvektorerna att peka i motsatt riktning. En sådan yta kallas icke-orienterbar. Vektorfält kan inte integreras på icke-orienterbara ytor.
Relaterade sidor
- Divergenssatsen
- Stokes sats
- Linjeintegral
- Volymintegral
- Kartesiskt koordinatsystem
- Volym- och ytelement i ett sfäriskt koordinatsystem
- Volym- och ytelement i ett cylindriskt koordinatsystem.
- Holstein-Herring-metoden
Sök