Geodetisk kurve

En geodetisk kurve eller geodetisk linje er en kurve som følger den korteste veien mellom to punkt på en flate eller i et rom. Det er en utvidelse av begrepet   rett linje i euklidsk geometri til tilsvarende linjer i mer generelle mangfoldigheter. På en kule som Jordens overflate vil en geodetisk kurve være en del av en storsirkel. Navnet kommer fra det greske ordet for utmåling av Jorden. Den heter der gaïa og opptrer også i ordet geografi. 

Beregning av geodetiske kurver er mulig når  metrikken eller avstanden mellom forskjellige punkt er kjent. Spesielt viktig er de i riemannsk geometri som kuleflaten er et eksempel på. Her er metrikken gitt ved en tensor som gir avstanden mellom nærliggende punkt. Disse kan så kombineres til å gi avstanden mellom to punkt med vilkårlig avstand. Ved bruk av variasjonsregning kan herav linjen med den korteste lengden finnes.

I mekanikken vil en partikkel som ikke er påvirket av noen krefter, bevege seg langs en geodetisk kurve. Det er innholdet av Newtons første lov. Men det gjelder også i generell relativitetsteori hvor lys og partikler følger slike baner. Planetene i sine bevegelser rundt Solen går i ellipser som er geodetiske kurver i det firedimensjonale tidrommet krummet av massen til Solen.

Matematisk definisjon

En kurve i et koordinatsystem x = (x1, x2, ... ) kan beskrives ved å la alle koordinatene variere med en parameter λ. I kompakt notasjon kan den derfor angis som . Kurven er geodetisk hvis dens lengde L  mellom to punkt som tilsvarer parameterverdiene λ1  og λ2, er minst mulig. Da må den ha den egenskapen at denne lengden kan skrives som

 

hvor v  er en konstant som tilsvarer en hastighet i mekanikken. Parameteren λ kan derfor ikke være vilkårlig, men sies å være affin.  Den har den egenskapen at da vil også λ'  = aλ + b  hvor a og b er konstanter, være en affin parameter, men med en annen verdi for konstanten v. Man kan velge å bruke kurvens egen buelengde s  som parameter, noe som tilsvarer at v = 1. Dette omtales vanligvis som en «naturlig parametrisering». I klassisk mekanikk er tiden en slik affin parameter, mens i  relativitetsteorien har egentiden for en partikkel denne egenskapen.

Parallellitet

Tangenten til en rett linje i det euklidske rommet forandrer ikke retning langs kurven. For den mer generell kurven  er tangenten i hvert punkt  hvor komponentene uμ = dxμ/dλ  med basisvektorene eμ. Man kan nå definere den geodetiske linjen i et krumt rom ved å forlange på samme måte at denne vektoren forblir konstant langs kurven, det vil si at  d u/dλ = 0. Uttrykt ved den kovariante deriverte kan dette kravet omskrives til

 

hvor Γμαβ  utgjør de affine konneksjonskoeffisientene for denne parametriseringen. De kan skrives som Christoffel-symbol av det andre slaget som uttrykkes ved de deriverte av de metriske komponentene. Her brukes Einsteins summekonvensjon hvor man summerer over all like indekser. For at ligningen alltid skal være oppfylt, må innholdet i parentesen være null. Derfor må kurven tilfredsstille kravet

 

Denne differensialligningen av andre orden kalles for den geodetiske ligningen. Men den gjelder for hver koordinatene og gir derfor opphav til like mange ligninger som dimensjonen til rommet kurven befinner seg i.

Variasjonsberegning

I et rom utstyrt med en metrisk tensor gμν(x)  er avstanden mellom to nærliggende punkt xμ  og xμ  + d xμ  gitt ved linjeelementet

 

Lengden av en kurve  som forbinder to punkt 1 og 2 er derfor

 

hvor . Den kurven med den minste lengden kan nå beregnes ved bruk av variasjonsregning. Resultatet vil da være en kurve   som er den geodetiske linjen som forbinder disse to gitte punktene.

Beregningen vil være avhengig av hvilke koordinater og hvilken parametrisering man benytter. Dette kan illustreres ved oppgaven å finne en geodetisk linje i det euklidske planet ved bruk av polarkoordinater (r, θ). Linjeelementet er da  slik at variasjonsproblemet blir

 

Løsningen vil da være gitt ved å finne de to funksjonene r = r(λ)  og θ = θ(λ) som gir den minimale verdien for dette integralet. Men her kan løsningen mer direkte finnes ved å beskrive kurven ved den ene funksjonen r = r(θ)  eller som θ = θ(r). I det siste tilfellet kan r  betraktes som parameter og variasjonsproblemet forenkles til

 

hvor nå . Kalles integranden for F, vil den tilsvarende  Euler-Lagrange-ligningen

forenkles til

 

Innholdet i parantesen er derfor en konstant. Kalles denne b, er problemet redusert til ligningen

 

Setter man her r = b/u, forenkles denne til

 

som ved direkte integrasjon gir løsningen θ = arccosu + θ0  der θ0  er en integrasjonskonstant. Den geodetiske kurven er derfor gitt ved ligningen

 

Som ventet beskriver denne en rett linje hvor b  er avstanden fra origo til dens nærmeste punkt som ligger i retning θ0. Disse to integrasjonskonstantene kan bestemmes ut fra koordinatene til begynnelsespunktet 1 og sluttpunktet 2 til kurven. Akkurat denne beregningen hadde naturligvis vært enklere i et kartesisk koordinatsystem.

Geodetisk ligning

For en vilkårlig parametrisering av kurven, må variasjonen av kurvelengden  δL = 0.  Man kan da innføre «energien» til kurven definert ved  i analogi med kinetisk energi for en partikkel  i mekanikken. Den geodetiske linjen har derfor minimal energi. 

Det matematiske problemet kan da omformes til

 

Hvis man nå velger en naturlig parametrisering av kurven slik at E = 1/2, vil det bety at man bruker dens buelengde s som parameter. Dermed forenkles variasjonsproblemet til

 

Euler-Lagrange-ligningen  tar da formen

 

etter å ha symmetrisert det siste leddet. Det gir den geodetiske ligningen

 

hvor

 

er Christoffel-symbolet av andre sort. Dette er symmetrisk i de to nedre indeksen. Den geodetiske ligningen tar denne formen bare ved en affin parametrisering.

Den geodetiske ligningen er vanligvis vanskelig å løse for en gitt metrikk bortsett fra i det trivielle tilfellet der alle Christoffel-symbolene er null. Da har ligningen rette linjer som løsninger. Men det er også tilfelle i det mer generelle tilfellet at koordinatene er slik valgt at Christoffel-symbolene har formen

 

for vilkårlige funksjoner aμ(x).  Da gir ligningen at den andrederiverte d 2xβ/ds 2  er proporsjonal med tangenten dxβ/ds som betyr at den geodetiske kurven er en rett linje.

Hyperbolsk plan

I praktiske anvendelser er det vanligvis ikke nødvendig å bestemme eller kjenne Christoffel-symbolene. De tilsvarende Euler-Lagrange-ligningene gir disse automatisk. Som en illustrasjon kan man beregne de geodetiske kurvene i det hyperbolske planet. Ved bruk av polarkoordinater kan det beskrives ved metrikken 

 

når den radielle koordinaten gjøres dimensjonsløs. En sirkel med sentrum i origo og radius r  har derfor omkretsen 2π sinhr. Forholdet mellom denne og radius er derfor ikke konstant i dette planet, men er alltid større enn 2π .

Energifunksjonen for en kurve med affin parametrisering i det hyperbolske plan er nå . Da den er uavhengig av vinkelen φ, er denne en syklisk variabel. Derfor er  en konstant som man kan kalle k. Euler-Lagrange-ligningen for denne variable gir derfor

 

mens den radielle variable må oppfylle den mer kompliserte ligningen

 

Ved å betrakte denne variable som en funksjon av φ, kan man sette

 

Den radielle Euler-Lagrange-funksjonen tar da formen

 

Den forenkles ved å innføre u = cothr  som fører til

 

som er den harmoniske svingeligningen. Den generelle løsningen kan skrives som u = (1/b) cos(φ - φ0)  hvor b og φ0  er integrasjonskonstanter. En geodetiske linje i det hyperbolske planet vil derfor ha formen

 

i polarkoordinater. Den vil ikke se ut som en rett linje når den blir plottet på et stykke papir bortsett fra for små verdier av r. Samme fenomen er kjent i all kartografi når en krum flate avbildes på et plan.

Poincaré-koordinater

I Poincarés modell for det hyperbolske planet avbildes det til øvre halvdel av xy - planet med metrikken

 

Den tilsvarende energien  er uavhengig av koordinaten x slik at  er lik med en konstant k. Med naturlig parametrisering er  slik at man med en gang får den andre Euler-Lagrange-ligningen på formen

 

Etter en direkte integrasjon gir den ligningen 

 
hvor a  er en integrasjonskonstant, for de geodetiske linjene. Disse består derfor av halvsirkler i det øvre halvplanet med sine sentra på x-aksen.

Kuleflate

Mens det hyperbolske planet har gaussisk krumning K = - 1, har kuleflaten krumning K = 1. Med bruk av kulekoordinater (θ,φ)  er den beskrevet ved linjeelementet

 

når dens radius settes lik r = 1. Velger man å beskrive en kurve på denne flaten som φ =  φ(θ), er lengden gitt ved integralet

 

hvor . Integranden F  er uavhengig av parameteren φ  slik at  

  

er en konstant k  for en geodetisk linje. Det gir differensialligningen

 

Ved å innføre den nye variable  hvor , omformes den til

 

med løsningen  hvor  er en integrasjonskonstant. Den geodetiske linjen består dermed av punkter som oppfyller 

 .

Når den uttrykkes ved de omliggende, kartesiske koordinatene  og , tar den formen

 

og beskriver et plan gjennom origo hvor kulens sentrum ligger. De geodetiske linjene er derfor storsirkler som fremkommer som skjæringspunktene mellom dette planet og kuleflaten.

Man kan skrive om løsningen til  . Sammenlignes dette med ligningen for linjene i det hyperbolske planet, har man her tanθ i stedet for tanhr. På kuleflaten kan radius r  identifiseres med θ. Det er typisk at man i hyperbolsk geometri har resultat som kan fås fra sfærisk geometri ved å erstatte trigonometriske funksjoner med de tilsvarende hyperbolske funksjonene.

Generell relativitetsteori

I Einsteins generelle relativitetsteori foregår all fri bevegelse langs geodetiske linjer. Metrikken er bestemt ved å løse gravitasjonsligningene hvor masse og energi inngår som kilder. Den mest kjente løsningen av disse ligningene gjelder utenfor en sentral mass M. Med bruk av kulekoordinater kan denne Schwarzschild-metrikken skrives som

 

c  er lyshastigheten, G  er gravitasjonskonstanten og den angulære delen er skrevet som . For  blir første ledd lik null, noe som definerer en «horisont» som karakteriserer egenskaper ved et sort hull. For mindre verdier av den radielle koordinaten er den geodetiske bevegelse rettet ubønnhørlig mot singulariteteten i r = 0. Utenfor horisonten i den ikke-relativistiske grensen beskriver den geodetiske ligningen den mer vanlige Kepler-bevegelse i form av ellipser.

Rindler-metrikken
En enklere metrikk i generell relativitetsteori beskriver geometrien utenfor en uendelig stor, plan masse. Denne gir en konstant tyngdeakselerasjon g rettet vinkelrett på dette planet. Tas denne retningen som z-aksen, er løsningen av gravitasjonsligningene gitt ved Rindler-metrikken

 

Første ledd blir her null for z = - c2/g  som igjen signaliserer eksistensen av en horisont.

De geodetiske ligningene i x- og y-retning blir trivielle, noe som viser at de ikke er direkte påvirket av tyngdefeltet. Derimot i z-retning er energien

 

Da den er uavhengig av tiden t, er  konstant. Den geodetiske ligningen for koordinaten z  kan nå omskrives til

 

Ved å innføre  som ny variable, tar denne ligningen en enklere form som direkte lar seg integrere. Den generelle løsningen for den geodetiske linjen blir da 

 

hvor  og  er integrasjonskonstanter. De avhenger av grensebetingelsene. Men uansett hvordan disse er, vil en partikkel i dette tyngdefeltet bli drevet mot horisonten  når tiden . På den måten har metrikken visse likheter med et sort hull.

I den ikke-relativistsiske grensen hvor t - t0 << c/g forenkles denne løsningen av geodetiske ligningen til

 

hvor v0  og z0  kan uttrykkes ved konstantene K  og t0. Dette viser den vanlige parabelbanen som er karakteristisk for fritt fall i et konstant gravitasjonsfelt.

Referanser

Litteratur
 B. O'Neill, Elementary Differential Geometry, Academic Press, New York (1966). ISBN 0-12-088735-5.
 E. Kreyzig, Differential Geometry, Dover Publications, New York (1991). ISBN 0-486-66721-9.

Differensialgeometri
Matematisk fysikk
Variasjonsregning