Vektoranalyse
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b9/VectorField.svg/240px-VectorField.svg.png)
Vektoranalyse er en del av matematikken som omhandler derivasjon og integrasjon av vektorfelt. Denne delen av matematisk analyse kan formuleres ved grunnleggende formler som har de fleste praktiske anvendelser i tre dimensjoner. Dette gjelder særlig innen hydrodynamikk og elektromagnetisme.
Noe av den vanlige vektoranalysen kan benyttes i høyere dimensjoner. Den inngår da som en del av den mer generelle tensoranalysen. En lignende generalisering kan også gjøres ved bruk av differensielle former.
Vektoranalyse har sitt utgangspunkt i oppdagelsen til William Hamilton av kvaternioner på midten av 1800-tallet. Denne matematiske formalismen ble benyttet av James Maxwell et par tiår senere ved utarbeidelsen av teorien for elektromagnetiske felt.
På slutten av århundret innførte Josiah Willard Gibbs den moderne vektoranalysen som Oliver Heaviside gjorde bruk av til å gi Maxwells ligninger den moderne formen de har i dag. Gjennom boken Vector Analysis til en av Gibbs' studenter fikk denne nye formuleringen en internasjonal utbredelse og ble raskt tatt i bruk. I dag er vektoranalytiske metoder og beregninger standard innen matematikk, fysikk og de fleste ingeniørfag.
Derivasjon
[rediger | rediger kilde]Ved derivasjon kan man beregne hvordan en funksjon av flere variable F(x1,x2,...,xN) varierer med hensyn til forandringer i disse. Med N variable kan man danne N slike partielle deriverte av funksjonen. Disse kan skrives på den kompakte formen
for n = 1, 2, ..., N. De utgjør komponentene til en vektor V = (V1,V2,...,VN) hvor Vn = ∂nF og kalles for gradienten til funksjonen.[1]
Funksjonen F(x1,x2,...,xN) kan betraktes som et skalart felt på en mangfoldighet eller rom med N dimensjoner hvor hvert punkt er angitt ved koordinatene (x1,x2,...,xN). Gradienten V(x1,x2,...,xN) er da et vektorfelt som står vinkelrett på ekvipotensialflater der funksjonen F(x1,x2,...,xN) = konstant.
Tre dimensjoner
[rediger | rediger kilde]I et tredimensjonalt, euklidsk rom hvor punkter angis i et kartesisk koordinatsystem (x, y, z) med basisvektorer ex, ey og ez, kan gradienten av funksjonen F(x, y, z) uttrykkes ved nabla-operatoren og skrives som
Da nabla er en vektoroperator, kan den virke på et vektorfelt A(x, y, z) = Ax ex + Ay ey + Az ez på to forskjellige måter.[2] Enten kan den kombineres med dette ved et skalert indreprodukt eller ved et vektorielt kryssprodukt. Den første muligheten gir opphav til divergensen
av vektorfeltet som er en skalar størrelse. Derimot ved bruk av den andre muligheten basert på vektorproduktet, finner man curl av feltet som er et nytt vektorfelt. Fra definisjonen av kryssproduktet kan denne vektorderivasjonen skrives som
Hvis vektoren A er en gradient slik at man kan skrive A = ∇ F, vil curl til vektoren bli null. Da er hver komponent gitt som Ak = ∂kF slik at den første komponenten til dens curl er (∇ × A)x = ∂yAz - ∂zAy = (∂y∂z - ∂z∂y )F = 0 da rekkefølgene til de partiellderiverte er uten betydning. Dermed er denne komponenten null og på samme måte de andre. Man har da generelt
Divergensen av en gradient er ikke lik med null, men definerer Laplace-operatoren
Derimot er divergensen av en curl alltid lik null. Det følger fra identiteten
som vises ved å eksplisitt skrive ut divergensen til vektoren som er curl av A. Den består av seks termer som gjensidig kansellerer hverandre.[2]
Det vektorielle produktet av to vektorer eksisterer bare i rom med tre dimensjoner. Man kan derfor ikke uten videre benytte curl i rom med høyere dimensjoner enn N = 3. Denne begrensningen eksisterer ikke for divergensen av vektorfelt som kan defineres på samme måte som i tre dimensjoner.[1]
Sammensatte derivasjonsregler
[rediger | rediger kilde]Fra produktregelen for derivasjon følger at gradienten av produktet av to skalare funksjoner er
Samme regel gjør det også mulig å beregne effekten av nabla-operatoren når den virker på produkt av skalere og vektorielle felt. For eksempel er divergensen av produktet mellom skalarfeltet F og vektorfeltet A gitt som
Likedan kan curl til det samme produktet finnes og er
mens divergensen til et produkt av to vektorfelt blir
Herav kan utledes tilsvarende uttrykk for mer kompliserte produkt.[2]
Bruk av tensormetoder
[rediger | rediger kilde]Slike derivasjonsregler er enklest å komme frem til ved å benytte metoder fra den enkleste tensorregning basert på Einsteins summekonvensjon. Den sier at i hvert uttrykk hvor to ulike indekser opptrer, skal man summere over disse. Slike indekser kalles derfor også for «summasjonsindekser».[3] Notasjonsmessig er det da enklest å la de være tall slik at 1 tilsvarer x1 = x, 2 tilsvarer x2 = y og 3 tilsvarer x3 = z i tre dimensjoner. En vektor med komponentene (V1,V2,V3) kan da skrives som V = Vk ek = V1 e1 + V2 e2 + V3 e3 når man summerer uttrykket over indeksen k for veridiene 1, 2 og 3. Resultatet er uavhengig av navnet til summasjonsindeksen og kunne like godt være skrevet som Vi ei eller Vj ej
Gradienten til den skalare funksjonen F(x,y,z) blir nå ∇F = ei ∂iF, mens divergensen til vektorfeltet A(x,y,z) er ∇ ⋅ A = ∂j Aj. Herav følger for eksempel at
ved bruk av den vanlige regelen for derivasjon av et produkt og at indreproduktet til to vektorer A = Ai ei og B = Bj ej nå er A ⋅ B = Ak Bk.
På samme måte som at kryssproduktet av to vektorer A og B kan uttrykket ved det antisymmetriske Levi-Civita-symbolet som A × B = εijkAi Bj ek der ε123 = +1, kan curl til et vektorfelt skrives på den kompakte måten
hvor man summerer over tre par med indekser.[3] For eksempel kan man herav regne ut direkte curl til produktet F A. Det blir
Her representerer den første termen vektorproduktet (∇F) × A, mens den andre termen er F (∇ × A) slik at den tidligere formelen er etablert.
For utledningen av bølgeligningen for elektromagnetiske felt behøves formelen
På komponentform følger dette fra
Her tilfredsstiller Levi-Civita-symbolet identiteten
hvor Kronecker-symbolet δmn er 1 eller 0 avhengig av om de to indeksene er like eller ulike. Dermed blir
som er resultatet. Ved bruk av den samme identiteten for Levi-Civita-symbolet kombinert med produktregelen finner man på samme vis det mer kompliserte resultatet
og andre, lignende resultat.[4]
Slike formler er her utledet ved bruk av kartesiske koordinater. Men de kan omskrives til å være gyldige også i krumlinjete koordinater ved standard koordinattransformasjoner. Summekonvensjonen til Einstein og de tilsvarende tensormetodene som dermed kan benyttes, gjør da beregningene enda mer oversiktlige.[2]
Integrasjon
[rediger | rediger kilde]Gradienten av en skalar funksjon F(x,y,z) kan lett integreres langs en kurve C = C(t ). Fra definisjonen av gradienten blir da linjeintegralet av ∇F langs denne kurven fra punktet p til punktet q dermed
Det er gitt ved differansen av funksjonsverdiene i randpunktene til integrasjonsveien. Lignende integrasjonsteorem finnes også når integrasjonsområdet har dimensjon større enn en som det har her.[1]
Divergensteoremet
[rediger | rediger kilde]Divergensteoremet forbinder integralet av en divergens til vektorfeltet A over et volum V med verdien av feltet på overflaten S = ∂V til volumet. Ved bruk av nabla-operatoren kan det skrives på den kompakte formen som
hvor d S er en vektor som står vinkelrett på flateelementet dS og er rettet ut av volumet. Dette teoremet er knyttet til Carl Friedrich Gauss og går under navnet Gauss' lov i elektrostatikken.[4]
Ved å uttrykke vektorfeltet A på forskjellige måter ved skalare felt, kan divergensteoremet benyttes til å utlede ulike former av Greens identitet.
Stokes' teorem
[rediger | rediger kilde]Stokes' teorem gjelder for integralet av curl til vektorfeltet A over en flate S og har formen
der linjeintegralet på høyre side er langs kurven C = ∂S som er randen eller omkretsen til flaten S. Det har mange anvendelser i hydrodynamikk og elektromagnetisme der det forbinder Faradays induksjonslov med Maxwells tredje ligning.
Ved bruk av differensielle former kan Stokes' teorem generaliseres til å gjelde i alle dimensjoner. Hvis M er en mangfoldighet av dimensjon n og ω er en differensialform av orden n - 1, så har man generelt at
hvor operasjonen d står for den ytre deriverte av en slik form og ∂M er randen til mangfoldigheten M. Divergensteoremet i tre dimensjoner er også en konsekvens av denne generelle formuleringen av Stokes' teorem.[5]
Greens teorem
[rediger | rediger kilde]I det spesielle tilfellet med integrasjon over en curl av et vektorfelt i to dimensjoner, med komponenter P(x,y) og Q(x,y) forenkles Stokes' teorem slik at det kan skrives på formen
Det omtales da vanligvis som Greens teorem. Det kan også utledes fra divergensteoremet på lignende måte.[3]
Referanser
[rediger | rediger kilde]- ^ a b c M.L. Boas, Mathematical Methods in the Physical Sciences, John Wiley & Sons, New York (1983). ISBN 0-471-04409-1.
- ^ a b c d M. R. Spiegel, Vector Analysis, Schaum's Outline Series, New York, (1959).
- ^ a b c G.E. Hay, Vector and Tensor Analysis, Dover Publications, New York (1953). ISBN 0-486-60109-9.
- ^ a b A. Zangwill, Modern Electrodynamics, Cambridge University Press, Cambridge (2013). ISBN 978-0-521-89697-9.
- ^ H. Flanders, Differential Forms with Applications to the Physical Sciences, Dover Publications, New York (1989). ISBN 0-486-66169-5.
Eksterne lenker
[rediger | rediger kilde]- J. Willard Gibbs, Vector Analysis, Charles Scribner, New York (1901).