Vektoranalyse

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

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.

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
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  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. 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  =   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. 

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 . Denne begrensningen eksisterer ikke for divergensen av vektorfelt som kan defineres på samme måte som i tre dimensjoner.

Sammensatte derivasjonsregler
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.

Bruk av tensormetoder

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». Notasjonsmessig er det da enklest å la de være tall slik at 1 tilsvarer , 2 tilsvarer  og 3 tilsvarer  i tre dimensjoner. En vektor med komponentene  (V1,V2,V3) kan da skrives som  = 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  Herav følger for eksempel at

 

ved bruk av den vanlige regelen for derivasjon av et produkt og at indreproduktet til to vektorer   og  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  =  der , kan curl til et vektorfelt skrives på den kompakte måten

 

hvor man summerer over tre par med indekser. 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.

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.

Integrasjon

Gradienten av en skalar funksjon  kan lett integreres langs en kurve C = C(t ). Fra definisjonen av gradienten blir da  linjeintegralet av  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.

Divergensteoremet
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.

Ved å uttrykke vektorfeltet A  på forskjellige måter ved skalare felt, kan divergensteoremet benyttes til å utlede ulike former av Greens identitet.

Stokes' teorem
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.

Greens teorem

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.

Referanser

Lineær algebra
Matematisk analyse