Geodesisk avvikelse

I allmän relativitetsteori , om två objekt sätts i rörelse längs två initialt parallella banor, kommer närvaron av en tidvattengravitationskraft att få banorna att böjas mot eller bort från varandra, vilket ger en relativ acceleration mellan objekten.

Matematiskt beskrivs tidvattenkraften i allmän relativitet av Riemann-kurvaturtensorn , och banan för ett objekt enbart under påverkan av gravitationen kallas en geodetisk . Den geodetiska avvikelseekvationen relaterar Riemann-kurvaturtensorn till den relativa accelerationen av två närliggande geodesiker. I differentialgeometri är den geodetiska avvikelseekvationen mer allmänt känd som Jacobi-ekvationen .

Matematisk definition

För att kvantifiera geodetiska avvikelser börjar man med att sätta upp en familj av nära åtskilda geodesiker indexerade med en kontinuerlig variabel s och parametriserad av en affin parameter τ. Det vill säga, för varje fast s är kurvan som svepas ut av γ s (τ) när τ varierar en geodetisk. När man överväger geodetiken för ett massivt föremål är det ofta bekvämt att välja τ för att vara objektets rätta tid . Om x μ ( s , τ) är koordinaterna för den geodetiska γ s (τ), så är tangentvektorn för denna geodetiska

Om τ är rätt tid, så är T μ fyrhastigheten för objektet som färdas längs geodetiken.

Man kan också definiera en avvikelsevektor , som är förskjutningen av två objekt som färdas längs två oändligt separerade geodetik:

Den relativa accelerationen A μ av de två objekten definieras, grovt sett, som andraderivatan av separationsvektorn X μ när objekten avancerar längs sina respektive geodetiska delar. Specifikt hittas A μ genom att ta den riktade kovariansderivatan av X längs T två gånger:

Den geodetiska avvikelseekvationen relaterar A μ , T μ , X μ och Riemann-tensorn R μ νρσ :

En alternativ notation för den riktade kovariansderivatan är , så den geodetiska deviationsekvationen kan också skrivas som

Den geodetiska avvikelseekvationen kan härledas från den andra variationen av punktpartikeln Lagrangian längs geodetik, eller från den första variationen av en kombinerad Lagrangian. [ förtydligande behövs ] Lagrangemetoden har två fördelar. Först tillåter det olika formella metoder för kvantisering att tillämpas på det geodetiska avvikelsesystemet. För det andra gör det att avvikelse kan formuleras för mycket mer allmänna objekt än geodesik (vilket som helst dynamiskt system som har en rymdtidsindexerad rörelsemängd verkar ha en motsvarande generalisering av geodetisk avvikelse). [ citat behövs ]

Gräns ​​för svagt fält

Sambandet mellan geodetisk avvikelse och tidvattenacceleration kan ses mer explicit genom att undersöka geodetisk avvikelse i svagfältsgränsen , där metriken är ungefär Minkowski, och hastigheterna för testpartiklar antas vara mycket mindre än c . Då är tangentvektorn T μ ungefär (1, 0, 0, 0); dvs endast den tidsliknande komponenten är icke-noll.

De rumsliga komponenterna för den relativa accelerationen ges då av

där i och j går endast över de rumsliga indexen 1, 2 och 3.

I det speciella fallet med ett mått som motsvarar den newtonska potentialen Φ( x , y , z ) för ett massivt objekt vid x = y = z = 0, har vi

som är tidvattenstensorn för den newtonska potentialen.

Se även

externa länkar