Geodetisk kurve
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/29/Orthodromic_air_route.tif/lossy-page1-250px-Orthodromic_air_route.tif.jpg)
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
[rediger | rediger kilde]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 x = x(λ). 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
[rediger | rediger kilde]Tangenten til en rett linje i det euklidske rommet forandrer ikke retning langs kurven. For den mer generell kurven x = x(λ) er tangenten i hvert punkt u = d x/dλ = uμ eμ 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
[rediger | rediger kilde]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 x = x(λ) 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 x = x(λ) 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
[rediger | rediger kilde]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
[rediger | rediger kilde]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
[rediger | rediger kilde]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 E = 1/2 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
[rediger | rediger kilde]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
[rediger | rediger kilde]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.[1]
Rindler-metrikken
[rediger | rediger kilde]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[2]
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 z = - c2/g når tiden t → ∞. 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
[rediger | rediger kilde]- ^ C.W. Misner, K.S. Thorne and J.A. Wheeler, Gravitation, W. H. Freeman, San Francisco (1973). ISBN 0-7167-0344-0.
- ^ W. Rindler, Essential Relativity, Springer Science, New York (1969). ISBN 978-0-387-90201-0.
Litteratur
[rediger | rediger kilde]- 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.