Monochromatyczna elektromagnetyczna fala płaska

W ogólnej teorii względności monochromatyczna elektromagnetyczna czasoprzestrzeń fali płaskiej jest analogiem monochromatycznych fal płaskich znanych z teorii Maxwella. Dokładna definicja rozwiązania jest dość skomplikowana, ale bardzo pouczająca.

Każde dokładne rozwiązanie równania pola Einsteina , które modeluje pole elektromagnetyczne , musi uwzględniać wszystkie efekty grawitacyjne energii i masy pola elektromagnetycznego . Oprócz pola elektromagnetycznego, jeśli nie ma materii i pól niegrawitacyjnych, równania pola Einsteina i równania pola Maxwella muszą być rozwiązywane jednocześnie .

W teorii pól elektromagnetyzmu Maxwella jednym z najważniejszych rodzajów pól elektromagnetycznych są pola reprezentujące elektromagnetyczne promieniowanie mikrofalowe . Spośród nich najważniejszymi przykładami są płaskie fale elektromagnetyczne , w których promieniowanie ma płaskie czoła fal poruszające się w określonym kierunku z prędkością światła. Spośród nich najbardziej podstawowe są monochromatyczne fale płaskie, w których występuje tylko jedna częstotliwość składnik jest obecny. To jest właśnie zjawisko, które model ten rozwiązanie, ale w kategoriach ogólnej teorii względności.

Definicja rozwiązania

Tensor metryczny unikalnego dokładnego rozwiązania modelującego liniowo spolaryzowaną falę płaską elektromagnetyczną o amplitudzie q i częstotliwości ω można zapisać w postaci współrzędnych Rosena

gdzie pierwszym dodatnim C ( za 2 ) = , ) = 0 where . In this chart, u, ∂v are null coordinate vectors while x, ∂y are spacelike wektory współrzędnych.

Tutaj cosinus Mathieu C ( a , b , ξ ) jest parzystą funkcją , która rozwiązuje równanie Mathieu i również przyjmuje wartość C ( a , b , 0) = 1 . Wbrew nazwie funkcja ta nie jest okresowa i nie można jej zapisać w postaci funkcji sinusoidalnych czy nawet hipergeometrycznych. (Zobacz Funkcja Mathieu , aby uzyskać więcej informacji o funkcji cosinus Mathieu).

Zauważ, że w wyrażeniu dla metryki u , ∂ v zerowymi polami wektorowymi. Dlatego u + ∂ v jest polem wektorowym podobnym do czasu , podczas gdy u − ∂ v , ∂ x , ∂ y to przestrzenno podobne pola wektorowe .

Aby zdefiniować potencjał wektora pola elektromagnetycznego, można przyjąć czterowektorowy potencjał elektromagnetyczny

Jest to pełna specyfikacja modelu matematycznego sformułowanego w ogólnej teorii względności.

Lokalne izometrie

Nasza czasoprzestrzeń jest modelowana przez rozmaitość Lorentza , która ma pewne niezwykłe symetrie. Mianowicie, nasza czasoprzestrzeń dopuszcza sześciowymiarową grupę autoizometrii Liego. Ta grupa jest generowana przez sześciowymiarową algebrę Liego pól wektorowych Killing . Wygodna baza składa się z jednego zerowego pola wektorowego,

trzy kosmiczne pola wektorowe,

i dwa dodatkowe pola wektorowe,

Displaystyle generuje grupę euklidesową , działającą w obrębie każdego płaskiego czoła fali, co uzasadnia nazwę fali płaskiej dla tego rozwiązania. { pokazać, że wszystkie kierunki nie poprzeczne są równoważne. Odpowiada to faktowi, że w płaskiej czasoprzestrzeni dwie zderzające się fale płaskie zawsze zderzają się czołowo , gdy są reprezentowane w odpowiednim układzie Lorentza .

Na przyszłość zwróć uwagę, że ta sześciowymiarowa grupa samoizometrii działa przechodnio , dzięki czemu nasza czasoprzestrzeń jest jednorodna . Jednak nie jest izotropowy , ponieważ kierunki poprzeczne różnią się od kierunków nie poprzecznych.

Rodzina obserwatorów inercyjnych

Pole ramki

reprezentuje lokalną ramkę Lorentza zdefiniowaną przez rodzinę niewirujących obserwatorów inercyjnych . To jest,

co oznacza, że ​​krzywe całkowe czasopodobnego pola wektora jednostkowego e 0 geodezyjnymi czasopodobnymi , a także

co oznacza, że ​​przestrzennopodobne pola wektorów jednostkowych e 1 , e 2 , e 3 są niewirujące. (Są one transportowane przez Fermiego-Walkera .) Tutaj jest czasowym jednostkowym polem wektorowym, podczas gdy kosmicznymi polami wektorów jednostkowych.

Nieobrotowe układy inercjalne są tak bliskie, jak tylko można w zakrzywionych czasoprzestrzeniach, zwykłym układom Lorentza znanym ze szczególnej teorii względności , gdzie transformacje Lorentza są po prostu zmianami z jednego układu Lorentza na inny.

Pole elektromagnetyczne

Jeśli chodzi o naszą ramę, pole elektromagnetyczne otrzymane z podanego powyżej potencjału wynosi

To pole elektromagnetyczne jest rozwiązaniem bez źródła równań pola Maxwella w określonej zakrzywionej czasoprzestrzeni określonej przez tensor metryczny powyżej. Jest to rozwiązanie zerowe i reprezentuje poprzeczną sinusoidalną elektromagnetyczną falę płaską o amplitudzie q i częstotliwości ω , poruszającą się w kierunku e 1 . Kiedy jeden

okazuje się, że równanie pola Einsteina G ab = 8 πT ab jest spełnione. To właśnie oznacza stwierdzenie, że istnieje dokładne rozwiązanie w postaci elektropróżni .

Jeśli chodzi o nasz układ, tensor energii naprężenia okazuje się być

Jest to to samo wyrażenie , które można znaleźć w klasycznym elektromagnetyzmie (gdzie pomija się efekty grawitacyjne energii pola elektromagnetycznego) dla pola zerowego podanego powyżej; jedyna różnica polega na tym, że teraz nasz układ jest anholonomiczną (ortonormalną) bazą na zakrzywionej czasoprzestrzeni , a nie bazą współrzędnych w płaskiej czasoprzestrzeni . (Zobacz pola ramki .)

Względny ruch obserwatorów

Mówi się, że mapa Rosena porusza się wraz z naszą rodziną inercjalnych obserwatorów, ponieważ wszystkie współrzędne ve u , x , y są stałe wzdłuż każdej linii świata, określone przez krzywą całkową czasoprzestrzennego pola wektora jednostkowego . Tak więc na wykresie Rosena ci obserwatorzy mogą wydawać się nieruchomi. Ale w rzeczywistości poruszają się względem siebie względem siebie. Aby to zobaczyć, należy obliczyć ich tensor ekspansji w odniesieniu do układu podanego powyżej. Okazuje się, że tak

Gdzie

Nieznikające składniki są identyczne i są

  1. wklęsły w dół na
  2. zniknąć przy u = 0 .

Fizycznie oznacza to, że mała sferyczna „chmura” naszych inercyjnych obserwatorów unosi się przez chwilę w punkcie u = 0 , a następnie zaczyna się zapadać, ostatecznie przechodząc przez siebie w momencie u = u 0 . Jeśli wyobrazimy sobie, że tworzą one trójwymiarową chmurę równomiernie rozłożonych cząstek testowych, zapadnięcie się następuje prostopadle do kierunku propagacji fali. Chmura nie wykazuje ruchu względnego w kierunku propagacji, więc jest to czysto poprzeczny .

Dla (przybliżenie krótkofalowe) ma się około

Na przykład z , jeden ma

gdzie dokładne wyrażenia są wykreślone na czerwono, a przybliżenia krótkofalowe na zielono.

Tensor wirowości naszej kongruencji znika identycznie , więc linie świata naszych obserwatorów są hiperpowierzchniowo ortogonalne . Trójwymiarowy tensor Riemanna hiperplastrów jest dany, w odniesieniu do naszego układu, przez

Krzywizna dzieli się równo na falę (krzywizny przekroju równoległe do kierunku propagacji) i tło (krzywizna przekroju poprzecznego).

Tensor krzywizny Riemanna

W przeciwieństwie do tego, Bela krzywizny Riemanna, wzięty w odniesieniu do prostotą Tensor elektrograwitacyjny , który bezpośrednio reprezentuje przyspieszenia pływowe , to

Tensor magnetograwitacyjny , który bezpośrednio reprezentuje siłę spin-spin na żyroskopie niesionym przez jednego z naszych obserwatorów, to

( Tensor topograficzny , który reprezentuje przestrzenne krzywizny przekroju , zgadza się z tensorem elektrograwitacyjnym).

Patrząc wstecz na nasz wykres tensora metrycznego, można zauważyć, że tensor pływowy wytwarza małe sinusoidalne przyspieszenia względne o okresie ω , które są całkowicie poprzeczne do kierunku propagacji fali. Efekt grawitacyjny netto w wielu okresach ma wytworzyć cykl ekspansji i ponownego zapadania się naszej rodziny inercyjnych, nie obracających się obserwatorów. Można to uznać za efekt krzywizny tła fali .

Ten cykl ekspansji i ponownego zapadania się przypomina rozszerzające się i ponownie zapadające się modele kosmologiczne FRW i występuje z podobnego powodu: obecności niegrawitacyjnej masy-energii. W modelach FRW ta energia masowa wynika z masy cząstek pyłu; tutaj jest to spowodowane energią pola pola fal elektromagnetycznych. Tam cykl ekspansji i ponownego zapadania się zaczyna się i kończy silną osobliwością krzywizny skalarnej ; tutaj jest zwykła osobliwość współrzędnych (okoliczność, która bardzo zmyliła Einsteina i Rosena w 1937 r.). Ponadto występuje niewielka sinusoidalna modulacja rozszerzania i ponownego zapadania się.

Efekty optyczne

Ogólna zasada dotycząca fal płaskich mówi, że nie można zobaczyć, jak pociąg fal wjeżdża na stację, ale widać, jak odjeżdża . Oznacza to, że jeśli ktoś spojrzy przez nadchodzące czoła fal na odległe obiekty, nie zobaczy zniekształceń optycznych, ale jeśli odwróci się i spojrzy przez odchodzące czoła fal na odległe obiekty, zobaczy zniekształcenia optyczne. W szczególności zerowa kongruencja geodezyjna generowana przez zerowe pole wektorowe ma znikające skalary optyczne , ale zerowa kongruencja geodezyjna generowana przez ma znikające skalary skręcania i ścinania, ale niezanikający skalar ekspansji

To pokazuje, że patrząc przez odchodzące czoła fal na odległe obiekty, nasi bezwładni obserwatorzy zauważą zmianę ich pozornej wielkości w taki sam sposób, jak ekspansja samej czasoprzestrzennej kongruencji geodezyjnej.

Wykres Brinkmanna

Jednym ze sposobów szybkiego sprawdzenia wiarygodności twierdzenia, że ​​u = u 0 jest zwykłą osobliwością współrzędnych, jest przypomnienie sobie, że nasza czasoprzestrzeń jest jednorodna , więc wszystkie zdarzenia są równoważne. Aby to bezpośrednio potwierdzić i zbadać z innej perspektywy względny ruch naszych inercjalnych obserwatorów, którzy nie obracają się, można zastosować transformację współrzędnych

Gdzie

To sprowadza rozwiązanie do jego reprezentacji pod względem współrzędnych Brinkmanna :

Ponieważ można wykazać, że nowe współrzędne są geodezyjnie kompletne , współrzędne Brinkmanna definiują globalny wykres współrzędnych. Na tym wykresie widać, że nieskończona sekwencja identycznych cykli rozszerzania się i ponownego zapadania!

środki żrące

Na wykresie Brinkmanna nasze pole ramki staje się dość skomplikowane:

i tak dalej. Oczywiście, jeśli ktoś obliczy tensor ekspansji, tensor elektrograwitacyjny itd., otrzyma te same odpowiedzi, co poprzednio, ale wyrażone w nowych współrzędnych.

Uderzająca jest prostota tensora metrycznego w porównaniu ze złożonością układu. Chodzi o to, że na nowym wykresie można łatwiej zwizualizować kaustykę utworzoną przez względny ruch naszych obserwatorów. krzywe czasopodobnego jednostkowego pola wektora geodezyjnego naszych Na wykresie Rosena pojawiają się one jako pionowe linie współrzędnych, ponieważ ten wykres się porusza.

Aby zrozumieć, jak ta sytuacja wygląda na wykresie Brinkmanna, zauważ, że gdy ω jest ekstensywne, nasze geodezyjne pole wektora jednostkowego w czasie staje się w przybliżeniu

Tłumienie ostatniego terminu, wynikiem jest

Przybliżony ruch naszej rodziny obserwatorów przedstawiony na wykresie Brinkmanna

Natychmiast uzyskuje się krzywą całkową, która wykazuje cykle rozszerzania sinusoidalnego i rekonwergencji. Zobacz rysunek, na którym czas biegnie pionowo i wykorzystuje się symetrię radialną do wyeliminowania jednego wymiaru przestrzennego. Ten rysunek pokazuje, dlaczego na wykresie Rosena występuje osobliwość współrzędnych; obserwatorzy muszą przechodzić obok siebie w regularnych odstępach czasu, co jest niezgodne z właściwością współprzemieszczania się, więc wykres załamuje się w tych miejscach. Zauważ, że ta liczba błędnie sugeruje, że jeden obserwator jest niejako „centrum przyciągania”, ale w rzeczywistości wszyscy są całkowicie równoważni , ze względu na dużą grupę symetrii tej czasoprzestrzeni. Zauważ też, że szeroko sinusoidalny ruch względny naszych obserwatorów jest w pełni zgodny z zachowaniem tensora ekspansji (dotyczącego pola układu odpowiadającego naszej rodzinie obserwatorów), które zostało zauważone powyżej.

Warto zauważyć, że te nieco zawiłe punkty zdezorientowały postać nie mniej niż Alberta Einsteina w jego artykule na temat fal grawitacyjnych z 1937 roku (napisanym na długo przed tym, zanim zastosowana tutaj współczesna maszyneria matematyczna została powszechnie doceniona w fizyce).

fal krótkich są krzywymi okresowymi, które mają postać sinusoidy z okresem przez znacznie mniejsze perturbacje sinusoidalne w kierunku zerowym v i mając znacznie krótszy okres, . Obserwatorzy okresowo rozszerzają się i ponownie zapadają poprzecznie do kierunku propagacji; ruch ten jest modulowany przez krótki okres zaburzeń o małej amplitudzie.

Streszczenie

Porównując nasze dokładne rozwiązanie ze zwykłą monochromatyczną płaską falą elektromagnetyczną traktowaną w szczególnej teorii względności (tj. jako falę w płaskiej czasoprzestrzeni, pomijając efekty grawitacyjne energii pola elektromagnetycznego), widać, że uderzającą nową cechą ogólnej teorii cykle rozszerzania się i zapadania doświadczane przez naszych obserwatorów, które można przypisać krzywiźnie tła , a nie jakimkolwiek pomiarom dokonywanym w krótkich czasach i odległościach (rzędu długości fali elektromagnetycznego promieniowania mikrofalowego).

Zobacz też

  •   Misner, Karol; Thorne, Kip S. & Wheeler, John Archibald (1973). Grawitacja . San Francisco: WH Freeman . ISBN 0-7167-0344-0 . Patrz rozdział 35.11