Hopp til innhold

Differensialform

Fra Wikipedia, den frie encyklopedi
Illustrasjon av 1-form, 2-form og 3-form fremkommet ved kileprodukt av 1-formene ε, η og ω.

Differensialform er navnet på generaliserte funksjoner som benyttes i differensialgeometri og topologimangfoldigheter og er uavhengig av deres koordinatisering. På den måten gir de også et naturlig grunnlag for integrasjon av funksjoner på slike mangfoldigheter. Deres egenskaper er tett forbundet med fullstendig antisymmetriske tensorer. Dermed kan de behandles som geometriske objekt som danner en Grassmann-algebra. Bruken av differensialformer skyldes i stor grad Élie Cartan som utviklet deres teori på begynnelsen av 1900-tallet.

Avhengig av dimensjonen n  til mangfoldigheten opptrer differensialformer med forskjellig orden eller grad. En skalar funksjon F sies å være en differensiell 0-form, mens differensialet dF av funksjonen er et eksempel på en 1-form. Graden til en form kan økes ved ytre derivasjon som tilsvarer å beregne differensialet av en funksjon. Den ytre deriverte av en 1-form gir en 2-form. Mens 1-former kan naturlig integreres langs en kurve, kan integralet av en 2-form over en flate gis en formulering uavhengig av hvilke koordinater som benyttes. Ved fortsatt ytre derivasjon finner man til slutt en n-form som er den differensielle formen av høyeste grad som eksisterer i dette tilfellet. Den er proporsjonal med volumformen som benyttes ved integrasjon over hele mangfoldigheten.

For å gjøre det tydeligere at ytre derivasjon er en operator som øker graden til en differensialform, betegnes differensialet som dF. Hvis (x1,x2, .. ,xn ) er koordinatene som benyttes på mangfoldigheten, skrives det derfor som 1-formen

Differensialene eller 1-formene dxμ kan derfor betraktes som duale basisvektorer som opptrer i beregning av gradienten til funksjonen. Ved å kombinere disse ved et ytre produkt, finner man av basisformene

for alle differensielle 2-former. Dette kileproduktet gir derfor null mellom to like differensial. At produktet skifter fortegn under ombytte, kan forstås ut fra at det kan betraktes som et lite, orientert flateelement med sider dxμ og dxν. Det skifter fortegn ved ombytte av sidene og kan inngå i et generelt integral over en flate. Basisformer av høyere grad kan finnes ved ytreprodukt av flere 1-former.

Det mentale bildet man har av en vektor, er vanligvis en pil som man tenker seg i et flatt tangentrom. På samme måte kan man tenke seg en 1-form som et sett med plan i et dualt vektorrom. De ligger parallelt inntil hverandre og med normaler i den retning hvor differensialformen varierer raskest på mangfoldigheten.

Definisjoner

[rediger | rediger kilde]

For å skille differensialformer fra vektorer og vanlige tensorer, betegnes de ofte med greske bokstaver. En generell 1-form α på en n-dimensjonal mangfoldighet skrives da som

når man benytter Einsteins summekonvensjon og summerer overtar med like indekser. Komponentene αμ til differensialformen er vanlige, skalare funksjoner.[1]

To 1-former og kan kombineres ved et ytre produkt til å gi en 2-form

med komponenter som er antisymmetriske. Alle slike 2-former utgjør et lineært vektorrom med dimensjon (1/2)n (n - 1). På samme vis vil en generell k-form alltid kunne skrives som

hvor igjen komponentene er fullstendig antisymmetriske i sine indekser. Antall slike komponenter er derfor gitt ved binomialkoeffisienten C(n, k) = n!/k!(n - k)!. Dette er samtidig dimensjonen til det tilsvarende vektorrommet. En k-form er et geometrisk objekt som i alminnelighet kan integreres over en k-dimensjonal, orientert mangfoldighet.[2]

Kommutativ lov

[rediger | rediger kilde]

Kileproduktet er assosiativt, men ikke kommutativt. Det skyldes den fundamental egenskapen dxμdxν = - dxνdxμ til de basale 1-formene. De sies å antikommutere. Som en direkte konsekvens vil derfor også det ytre produktet av to generelle 1-former α og β også antikommutere. Betrakter man derfor 2-formen θ = αβ, vil den skifte fortegn når de to faktorene byttes om,

Når denne 2-formen multipliseres med enda en 1-form σ, dannes en 3-form

En 1-form vil derfor alltid kommutere med en 2-form. På denne måten finner man at kileproduktet mellom en generell p-form P og en annen q-form Q oppfyller

Det kan bevises direkte ved å kommutere basisformene enkeltvis gjennom hverandre.[1]

Kontraksjoner

[rediger | rediger kilde]
Illustrasjon av kontraksjoner mellom to 1-former α, β og deres sum σ med tre vektorer u, v og w på en tredimensjonal mangfoldighet.

De basale 1-formene dxμ  kan geometrisk betraktes som basisvektorer eμduale til de basale tangentvektorene eμ. Dual i denne sammenhengen betyr at enhver 1-form kan betraktes som en lineær funksjon som tar vektorer i samme punkt som argument. Resultatet skal være en vanlig, reelt tall. Mer konkret for en 1-form α = αμdxμ definerer man denne funksjonale egenskapen ved

som er komponentene til formen. For en vilkårlig vektor v = vμeμ vil man da fra linearitet ha

Denne funksjonssammenhengen kan skrives som en kontraksjon mellom en 1-form og en vektor i samme punkt. Alternativ notasjon som ofte benyttes, er

Mer generelt gir kontraksjonen mellom en vektor v og en p-form P med antisymmetriske komponenter Pμν...τ en (p - 1)-form Q med komponenter Qν...τ = vμPμν...τ. Som et eksempel kan man betrakte kontraksjonen mellom v og 2-formen αβ hvor α og β er 1-former. Da er

Selv om kontraksjonen er definert å finne sted på første indeks, vil antisymmetrien i formen derfor likevel medfører at hver faktor i produktet bidrar til resultatet.

Kontraksjonen fungerer som et indreprodukt på mangfoldigheten, men er ikke avhengig av en metrikk på denne. Med denne notasjonen har man da αeμ = αμ og den fundamentale kontraksjonen

uttrykt ved Kronecker-deltaet på høyre side.[2]

Retningsderivasjon

[rediger | rediger kilde]

Den deriverte av en skalar funksjon F(x) på mangfoldigheten i en retning gitt ved vektoren v, kan nå skrives som

På denne formen virker vektoren v som en derivasjonsoperator. Det innbyr også notasjonen

hvor vektoren opptrer som operatoren

Hver av de basale tangentvektorene kan da betraktes som elementære derivasjonsoperator eμ = ∂/∂xμ. Denne mer abstrakte formalismen benyttes i moderne differensialgeometri.[3]

Levi-Civita-formen

[rediger | rediger kilde]

For at kileproduktet skal være forskjellig fra null, må alle differensialene som inngår i produktet, være forskjellige. Betrakter man derfor en n-form på en n-dimensjonal mangfoldighet, vil det derfor kun være én basisform for denne. Det tilsvarer at binomialkoeffisienten C(n, n) = 1. Den har komponenter som er gitt ved det n-dimensjonale Levi-Civita-symbolet,

Den opptrer når volumet til mangfoldigheten kan beregnes ved integrasjon og vil tilsvare det differensielle volumelementet dx1dx2...dxn. Denne spesielle formen blir derfor også kalt for volumformen.[2]

Som et enkelt eksempel kan man betrakte overgangen fra kartesiske (x,y) til polarkoordinater (ρ,θ) i to dimensjoner ved transformasjonen x = ρ cosθ og y = ρ sinθ. Transformasjonen av flateelementet dxdy vil da kunne finnes fra differensialformene

Da kileproduktene dρdρ = dθdθ = 0 og dθdρ = - dρdθ, blir

Man har dermed resultatet ρ dρ dθ i vanlig notasjon. I det generelle tilfellet når man går over til krumlinjete koordinater i et n-dimensjonalt euklidsk rom, vil volumformen inneholde en faktor som er kvadratroten av determinanten til den metriske tensoren i de nye koordinatene.[4]

Ytre derivasjon

[rediger | rediger kilde]

Når operasjonen d virker på en skalar funksjon F(x), fremkommer differensialet dF = F,μdxμ der den partiellderiverte av funksjonen skrives som F,μ = ∂F/∂xμ. Man sier at denne 1-formen er den ytrederiverte av funksjonen som selv kan betraktes som en 0-form. Av den grunn omtales denne 1-formen også som en eksakt form.[1]

På samme måte kan graden av en 1-form σ = σνdxν økes ved ytre derivasjon og bli en 2-form når denne operasjonen defineres som

da komponentene til formen er skalare funksjoner. Denne definisjonen betyr at den ytre deriverte av basisformene dxμ er null. Det følger fra å betrakte det spesielle tilfellet at 1-formen er eksakt, det vil si σ = dF. Da er σν = ∂νF som betyr at

da de dobbelt partiellderiverte er uavhengige av rekkefølgen de utføres i. Dermed her man at den dobbelt ytrederiverte d(dF) = d2F = 0.

En differensialform sies å være lukket hvis dens ytrederiverte er null. Derfor er en eksakt form alltid lukket, men det omvendte behøver ikke være tilfelle.

Definisjonen av den ytrederiverte gjelder også for former av høyere grad. Betrakter man for eksempel 2-formen θ = (1/2)θμν dxμdxν , er dens deriverte

Er dette en eksakt form slik at θ = , vil igjen = d2σ = 0. Dette kan vises å være generelt oppfylt for den dobbelte ytrederiverte og kan kort sammenfattes i uttrykket

som kalles Poincarés lemma.[3]

Leibniz-regel

[rediger | rediger kilde]

Vanlig derivasjon av et produkt av to vanlige funksjoner F(x) og G(x) kan utføres ved bruk av produktregelen som bærer navnet til Leibniz. Ved bruk av den ytrederiverte skrives den som

Men ved derivasjon av ytreprodukt av mer generelle former kan forandring av fortegnene i de forskjellige leddene opptre. Ved direkte utregning blir for eksempel den deriverte av ytreproduktet av to 1-former α og β

For den tilsvarende derivasjon av kileproduktet av en p-form P med en q-form Q finner man

da en basisform fra den ytrederiverte må kommuteres gjennom p basisformer i P når faktorene i leddene ordnes. Hvert slikt ombytte gir en faktor (-1).

Eksempel: Kovariant elektromagnetisme

[rediger | rediger kilde]

Det elektriske potensialet Φ(x) og det magnetiske vektorpotensialet A = A(x) kan sammenfattes i et firevektorpotensial Aμ(x) i en kovariant formulering av elektromagnetisk teori. Disse komponentene kan betraktes som en 1-form A = Aμdxμ i det firedimensjonale Minkowski-rommet.

Herav oppstår ved ytrederivasjon 2-formen

hvor de antisymmetriske komponentene Fμν = ∂μAν - ∂νAμ utgjør Faraday-tensoren som inneholder det elektriske E og magnetiske feltet B.

De samme feltene kan oppstå fra flere forskjellige vektorpotensial. Det ser man hvis 1-formen A endres med en eksakt 1-form dΛ hvor Λ(x) er en skalar funksjon. Da vil

,

som betyr at komponentene forandres til

Dette kalles en gaugetransformasjon, men har ingen inflytelse på feltene da F'  = dA'  = dA  = F fordi d2Λ = 0.

Faraday-formen er lukketsom medfører at

Det betyr at de partiellderiverte komponentene Fμν,λ må være antisymmetriske i alle tre indeksene. Da de allerede er antisymmetriske i de to første indeksene, må man derfor ha

Skrives dette kovariante uttrykket ut for forskjellige valg av indeksene, splittes det opp i de to Maxwell-ligningene B = 0 og  × E = - ∂tB. De to andre ligningene finnes fra den ytrederiverte av den duale formen *F som vil være proporsjonal med elektrisk strøm og ladningstetthet i feltet.[4]

Tredimensjonal vektoranalyse

[rediger | rediger kilde]

En 2-form som dannes ved ytreproduktet av to 1-former på en tredimensjonal mangfoldighet, har (1/2)(3⋅2) = 3 komponenter. Ved dualisering kan herav finnes komponenter til en ekvivalent 1-form. Hvis mangfoldigheten i tillegg er euklidsk og utstyrt med kartesiske koordinater, er det ingen forskjell på kovariante og kontravariante komponenter. De tre kovariant komponentene til en 1-form kan derfor betraktes som kontravariante komponenter til en vektor. At den duale til ytreproduktet av to 1-former utgjør en ny 1-form er da ekvivalent med at vektorproduktet av to vektorer er en ny vektor. Denne sammenhengen forekommer bare i det tredimensjonale, euklidske rommet.[5]

Fra de kartesiske komponentene til to vektorer a og b i dette rommet kan man danne den tilsvarende 1-formen A = axdx + aydy + azdz og likedan 1-formen B. Deres ytreprodukt er nå 2-formen

Komponentene til denne 2-formen er nå identisk med komponentene til det vektorielle kryssproduktet c = a × b. Det har komponenter ci = εijkaj bk hvor εijk er det tredimensjonale Levi-Civita-symbolet med ε123 = +1.

Dualisering

[rediger | rediger kilde]

Men samtidig er dette også komponentene til den duale av 2-formen C. Hvis den uttrykkes ved sine komponenter Cij = ai bj - aj bi som

,

er den duale 1-formen *C definert ved sine komponenter

som er akkurat komponentene til vektorproduktet c = a × b.

På tilsvarende vis vil den duale av en vektor utgjøre komponentene til en 2-form, mens den duale av en 3-form ganske enkelt blir en 0-form som er en vanlig funksjon. Matematisk kan dette uttrykkes som at *(dx ∧ dy ∧ dz) = 1 eller omvendt som * 1 = dx ∧ dy ∧ dz. Et eksempel er at det skalare trippelproduktet (a × b)⋅c kan skrives som det dualiserte ytreproduktet *(A ∧ B ∧ C) mellom de tilsvarende 1-formene.

Dualisering av 1- og 2-former kan sammenfattes i formlene *dx = dy ∧ dz og *(dx ∧ dy) = dz og de som følger herav ved syklisk ombytte.[1]

Vektorderivasjon

[rediger | rediger kilde]

Differensialet av en 0-form gitt ved den skalar funksjonen Φ(x) i det tredimensjonale rommet, er 1-formen

Den har de samme komponentene som opptrer i gradienten av funksjonen, og man kan derfor skrive at .

På samme vis er den ytrederiverte av 1-formen A forbundet med vektoren a, en 2-form gitt som

Den duale av denne deriverte er 1-formen

med samme komponenter som curl til den relaterte vektoren. Derfor har man at .

Da den duale til 1-formen A er 2-formen

vil den ytrederiverteo av denne gi en 3-form. Den blir

Den har derfor en komponent som er divergensen til vektoren a slik at .

Når Laplace-operatoren virker på funksjonen Φ(x), er den definert som divergensen til gradienten av funksjonen. Derfor har man også sammenhengen

Derimot er divergensen til curl av en vektor alltid null på samme måte som curl til en gradient av en funksjon er det. Begge disse fundamentale egenskapene ved vektorderivasjon kan nå sees som en direkte konsekvens av Poincarés lemma.

Ved bruk av ytrederivasjon på denne måten i det tredimensjonale rommet kan også disse vektoroperasjonene utføres når krumlinjete koordinater benyttes.

Integrasjon

[rediger | rediger kilde]

Hvis man er gitt en n-form ω på en n-dimensjonal mangfoldighet M, kan man alltid gi den koordinater slik at den kan skrives som

hvor f(x) er en skalar funksjon på mangfoldigheten. Integralet av n-formen er da definert som

hvor man på høyre side har det vanlige Riemann-Lebesgue-integralet. Dette forutsetter at mangfoldigheten M er orienterbar. Et eksempel på en ikke-orienterbar mangfoldighet er Möbius-båndet.[6]

Eksempel: Linjeintegral

[rediger | rediger kilde]

Man er gitt en kurve C i det tredimensjonale rommet med koordinater (x, y, z). Den har parametriseringen x = t 2, y = 1 - t, z = 1 + t. En 1-form

skal integreres langs kurven fra t = 0 til t = 1. Der tar differensialene formene dx = 2tdt, dy = - dt og dz =  dt. Det bestemte linjeintegralet blir dermed

Generalisert Stokes-teorem

[rediger | rediger kilde]

Fra den mer generelle 1-formen ω = P(x,y) dx + Q(x,y) dy i to dimensjoner kan man ved ytrederivasjon danne 2-formen

Denne kan integreres over et område M i xy-planet. Innholdet av Greens teorem sier nå at dette integralet er likt med integralet av 1-formen ω rundt omkretsen til M. Denne randen skrives vanligvis som ∂M. Dermed kan teoremet skrives som

På denne formen kan det nå vises å være generelt gyldig for en n-form ω på en vilkårlig mangfoldighet M med dimensjon n + 1. Vanligvis blir det da omtalt som det generelle Stokes-teoremet.[6]

I det enkleste tilfellet er ω en 0-form, det vil si en skalar funksjon f(x) av en variabel på en endimensjonal mangfoldighet. Integreres da 1-formen df  fra punktet x1 til x2, vil

hvor kun funksjonsverdien i de to randpunktene opptrer.

For en todimensjonal mangfoldighet eller flate S som inneholder en 1-form ω = A, vil den ytrederiverte dA gi curl  × A slik at teoremet går over til

Her er dS et vektorielt flateelement på S og dr et vektorielt linjeelement på randen ∂S til flaten. Dette er det vanlige Stokes-teoremet.

På samme måte finner man at på en tredimensjonal mangfoldighet V med overflate ∂V og en 2-form ω = *A vil det generelle Stokes-teoremet gi

hvor dV er et differensielt volumelement på mangfoldigheten. Denne sammenhengen er kjent som Gauss' divergensteorem.

Referanser

[rediger | rediger kilde]
  1. ^ a b c d B. O'Neill, Elementary Differential Geometry, Academic Press, New York (1966).
  2. ^ a b c B.F. Schutz, Geometrical methods of mathematical physics, Cambridge University Press, England (1982). ISBN 0-521-29887-3.
  3. ^ a b M. Nakahara, Geometry, Topology and Physics, IOP Publishing, Bristol UK (1990). ISBN 0-85274-095-6.
  4. ^ a b C.W. Misner, K.S. Thorne and J.A. Wheeler, Gravitation, W. H. Freeman, San Francisco (1973). ISBN 0-7167-0344-0.
  5. ^ R. Penrose, The Road to Reality, Jonathan Cape, London (2004). ISBN 0-224-04447-8.
  6. ^ a b C. von Westenholz, Differential Forms in Mathemaical Physics, North-Holland Publishing Company, Amsterdam (1981). ISBN 0-444-85437-1

Eksterne lenker

[rediger | rediger kilde]