W ogólnej teorii względności zakłada się, że światło rozchodzi się w próżni wzdłuż geodezyjnej zerowej w rozmaitości pseudo-Riemanna . Oprócz zasady geodezyjnej w klasycznej teorii pola istnieje zasada Fermata dla stacjonarnych pól grawitacyjnych .
Zasada Fermata
W przypadku konformalnie stacjonarnej czasoprzestrzeni o współrzędnych metryka Fermata przyjmuje postać
-
,
gdzie współczynnik konforemny zależy od współrzędnych czasowych i przestrzennych i nie wpływa na geodezyjne światłopodobne poza ich parametryzacją.
Zasada Fermata dla rozmaitości pseudo-Riemanna mówi, że droga promienia świetlnego między punktami i odpowiada działaniu stacjonarnemu .
-
,
gdzie jest dowolnym parametrem z przedziału i zmiennym wzdłuż krzywej ze stałymi punktami końcowymi i .
Zasada całki stacjonarnej energii
Zgodnie z zasadą całki stacjonarnej energii dla ruchu cząstki podobnej do światła, metryka pseudo-Riemanna ze współczynnikami jest zdefiniowana przez przekształcenie
Z czasem współrzędnych i współrzędne przestrzeni indeksy k, q = 1,2,3 listwa elementów opisana w formie
gdzie jest pewną wielkością, którą przyjmuje się jako 1. Rozwiązanie równania światłopodobnego dla warunków pod warunkiem daje dwa rozwiązania
gdzie są elementy czterech prędkości . Nawet jeśli jednym z rozwiązań, zgodnie z definicją, jest .
Z i nawet jeśli przez 1 k energia przybiera formę
W obu przypadkach dla cząstki swobodnie poruszającej się Lagrange'em jest
Jego pochodne cząstkowe dają pędy kanoniczne
i siły
Momenta spełnia warunki energetyczne dla systemu zamkniętego
co oznacza, że jest to energia układu, który łączy cząsteczkę podobną do światła i pole grawitacyjne.
Do działania stosowana jest
standardowa procedura wariacyjna według zasady Hamiltona
która jest integralną energią. Stacjonarne działanie jest uwarunkowane zerowymi pochodnymi wariacyjnymi δS / δx λ
i prowadzi do równań Eulera-Lagrange'a
który jest przepisany w formie
Po podstawieniu kanonicznego pędu i sił dają równania ruchu światłopodobnej cząstki w wolnej przestrzeni
oraz
gdzie są symbole Christoffel pierwszego rodzaju i indeksy przyjmują wartości .
Czasoprzestrzeń statyczna
Dla izotropowych ścieżek transformacja metryczne jest równoznaczne z wymianą parametru na , do którego czterech prędkości odpowiada. Krzywa ruchu światłopodobnej cząstki w czterowymiarowej czasoprzestrzeni oraz wartość energii pozostają niezmienne w ramach tej reparametryzacji. Dla czasoprzestrzeni statycznej pierwsze równanie ruchu z odpowiednim parametrem daje . Pęd i siły kanoniczne przybierają formę
Podstawienie ich w równaniach Eulera-Lagrange'a daje
-
.
Po zróżnicowaniu po lewej stronie i pomnożeniu przez to wyrażenie, po zsumowaniu po powtórzonym indeksie , równania geodezyjne stają się zerowe
gdzie są symbole drugiego rodzaju Christoffel w odniesieniu do tensora metrycznego .
Tak więc w przypadku czasoprzestrzeni statycznej z zasadą geodezyjną i metodą wariacyjną energii oraz zasadą Fermata dają to samo rozwiązanie dla propagacji światła.
Uogólniona zasada Fermata
W uogólnionej zasadzie Fermata czas jest używany jako funkcjonał i razem jako zmienna. Zastosowano zasadę minimum Pontryagina teorii kontroli optymalnej i uzyskano efektywny hamiltonian dla ruchu cząstki podobnej do światła w zakrzywionej czasoprzestrzeni. Pokazano, że otrzymane krzywe są geodezją zerową.
Całka energii stacjonarnej dla cząstki podobnej do światła w polu grawitacyjnym oraz uogólnione zasady Fermata dają prędkości identyczne. Wirtualne przemieszczenia współrzędnych zachowują tor cząstki światłopodobnej jako zerowy w czasoprzestrzeni pseudo-Riemanna, tj. nie prowadzą do naruszenia niezmienności Lorentza w lokalności i odpowiadają wariacyjnym zasadom mechaniki. Równoważność rozwiązań wytworzonych przez uogólnioną zasadę Fermata do geodezji oznacza, że zastosowanie drugiej również prowadzi do geodezji. Zasada całkowania energii stacjonarnej daje układ równań, który ma o jedno równanie więcej. Pozwala to jednoznacznie określić pędy kanoniczne cząstki i działające na nią siły w danym układzie odniesienia .
Zobacz też
Bibliografia
Dalsza lektura