The Spacetime Metric
Poziom 4 · Zaawansowane studia licencjackieStudia, rok 3–4Około 20 godzin

Ogólna teoria względności

Powiąż krzywiznę czasoprzestrzeni z energią-pędem, obserwablami i granicami proponowanych metryk.

Wyprowadź strukturę równania Einsteina, rozwiąż i zinterpretuj standardowe czasoprzestrzenie, policz testy słabopolowe i orbitalne oraz użyj warunków energetycznych do audytu egzotycznych geometrii, nie myląc rozwiązań z demonstracjami inżynierskimi.

Established foundations

Zanim zaczniesz

  • • Rachunek tensorowy i geometria różniczkowa
  • • Mechanika Lagrange’a
  • • Szczególna teoria względności

Na koniec będziesz umieć

  • • Interpretować równanie Einsteina składowa po składowej.
  • • Obliczać obserwable w czasoprzestrzeni Schwarzschilda i w reżimie słabego pola.
  • • Opisywać grawitację pływową za pomocą dewiacji geodezyjnych i krzywizny.
  • • Oceniać wymagania proponowanych metryk co do energii-pędu i warunków energetycznych.

Model interaktywny

Zbadaj, zanim policzysz

Zwarty obszar otoczony ukształtowanym zniekształceniem czasoprzestrzeni z zaznaczonym rozszerzaniem i kurczeniem.
Ansatz metryczny zadaje geometrię; równanie Einsteina wyznacza następnie energię-pęd, jakiej by ona wymagała.

Interaktywne laboratorium, zestaw dydaktyczny i narzędzia oceny do tego kursu są po angielsku →

Lekcja 1 z 3

Równanie Einsteina i granica newtonowska

Dlaczego równanie pola przyrównuje bezdywergencyjny tensor krzywizny do energii-pędu?

Tensor Einsteina łączy krzywiznę Ricciego tak, że jego dywergencja kowariantna znika tożsamościowo. Zachowanie energii-pędu strukturalnie pasuje więc do strony geometrycznej.

Sprzężenie 8πG/c⁴ jest ustalone przez odtworzenie grawitacji Poissona w granicy słabej, powolnej i statycznej. Stała kosmologiczna to osobny wyraz geometryczny o obserwacyjnych konsekwencjach.

tensor Einsteinaenergia-pędtożsamość Bianchiegogranica newtonowskastała kosmologiczna

Przykład rozwiązany

Oszacuj dylatację czasu w słabym polu dla potencjału Φ przy |Φ|≪c².

  1. 1. Skorzystaj z g₀₀≈−(1+2Φ/c²).
  2. 2. Dla nieruchomego zegara dτ≈√(−g₀₀)dt.
  3. 3. Rozwiń pierwiastek do pierwszego rzędu.

dτ≈(1+Φ/c²)dt; zegary głębiej w ujemnym potencjale chodzą wolniej.

Spróbuj

Rejestr wyrazów równania pola

Materiały: Równanie Einsteina i arkusz do analizy wymiarowej

  1. 1. Opisz wyrazy geometryczne i materialne.
  2. 2. Sprawdź jednostki po przywróceniu c.
  3. 3. Weź dywergencję kowariantną.
  4. 4. Podaj, które wielkości są zachowane lokalnie.

Zwróć uwagę: To równanie jest ograniczoną relacją tensorową, a nie hasłem, że materia po prostu wygina gumową płachtę.

Sprawdź, czy rozumiesz: Czy ∇_μT^{μν}=0 oznacza, że zwykłe składowe we współrzędnych są stałe?

Odpowiedź: Nie.

Zachowanie kowariantne obejmuje wyrazy koneksji i wyraża lokalny bilans energii-pędu w zakrzywionej czasoprzestrzeni.

Lekcja 2 z 3

Rozwiązania standardowe i testy precyzyjne

Które niezmiennicze przewidywania łączą rozwiązanie metryczne z obserwacjami?

Zewnętrzne rozwiązanie Schwarzschilda przewiduje przesunięcie grawitacyjne ku czerwieni, ugięcie światła, obrót peryhelium i strukturę horyzontu. Osobliwości współrzędnych trzeba oddzielić od osobliwości krzywizny.

Wirujące źródła wymagają rodziny Kerra, która dodaje wleczenie układów odniesienia i ergosferę. Rzeczywiste testy wnioskują o parametrach ze światła, zegarów albo trajektorii, z modelami przyrządowymi i środowiskowymi.

promień Schwarzschildahoryzontperyheliumwleczenie układów odniesieniametryka Kerra

Przykład rozwiązany

Znajdź co do rzędu wielkości promień Schwarzschilda dla masy jednego Słońca.

  1. 1. Skorzystaj z r_s=2GM/c².
  2. 2. Wstaw G≈6.67×10⁻¹¹, M≈2×10³⁰, c≈3×10⁸.
  3. 3. Oblicz licznik i mianownik.

r_s≈3 km.

Spróbuj

Mapa od obserwabli do metryki

Materiały: Tabela obserwacji przesunięcia ku czerwieni, soczewkowania, orbit i pomiarów czasowych

  1. 1. Nazwij mierzoną wielkość.
  2. 2. Wskaż zaangażowaną składową metryki albo efekt geodezyjny.
  3. 3. Wypisz parametry uboczne.
  4. 4. Podaj, czy test bada grawitację słabą, czy silną.

Zwróć uwagę: Żaden eksperyment nie mierzy składowej metryki w izolacji; mierzy niezmiennicze porównanie modelowane przez metrykę.

Sprawdź, czy rozumiesz: Dlaczego r=2GM/c² nie jest osobliwością krzywizny w czasoprzestrzeni Schwarzschilda?

Odpowiedź: Niezmienniki krzywizny pozostają tam skończone, a regularne współrzędne przez nią przechodzą.

Rozbieżność we współrzędnych Schwarzschilda jest artefaktem mapy.

Lekcja 3 z 3

Warunki energetyczne i proponowane geometrie

Czego pożądana geometria wymaga od swojego źródła i które z tych wymagań pozostaje fizycznie nierozstrzygnięte?

Mając metrykę, można odczytać równanie Einsteina wstecz i policzyć wymaganą energię-pęd. Zerowy, słaby, dominujący i silny warunek energetyczny podsumowują nierówności spełniane przez wiele klasycznych modeli materii, ale nie są tożsamymi stwierdzeniami.

Pola kwantowe mogą w ograniczonych warunkach łamać niektóre warunki punktowe. To jednak nie daje automatycznie makroskopowej, trwałej, sterowalnej energii ujemnej ani kompletnego mechanizmu napędowego.

zerowy warunek energetycznymateria egzotycznaaudyt energii-pędunierówność kwantowareakcja zwrotna

Przykład rozwiązany

Jaka wielkość testuje zerowy warunek energetyczny dla wektora zerowego k^μ?

  1. 1. Zbuduj T_μνk^μk^ν.
  2. 2. Policz ją dla wszystkich kierunków zerowych.
  3. 3. Sprawdź, czy jest nieujemna.

NEC zachodzi, gdy T_μνk^μk^ν≥0 dla każdego zerowego k^μ.

Spróbuj

Audyt inżynierii metryki

Materiały: Jedna proponowana metryka warp albo tunelu czasoprzestrzennego

  1. 1. Oblicz albo przeanalizuj wynikające z niej T_μν.
  2. 2. Zmapuj naruszenia warunków energetycznych.
  3. 3. Oszacuj skalę i gradienty.
  4. 4. Wypisz pytania o stabilność, wytworzenie i reakcję zwrotną.

Zwróć uwagę: Geometria może być ścisłą matematyką, podczas gdy jej źródło pozostaje niefizyczne, nieznane albo niepotwierdzone eksperymentalnie.

Sprawdź, czy rozumiesz: Czy zmierzona mikroskopowa ujemna gęstość energii dowodzi, że da się zbudować przechodni tunel czasoprzestrzenny?

Odpowiedź: Nie.

Wielkość, czas trwania, rozkład przestrzenny, sterowalność, stabilność i reakcja zwrotna pozostają osobnymi wymaganiami.

Od wzoru do znaczenia

Przeczytaj równanie zwykłym językiem.

G_μν+Λg_μν=(8πG/c⁴)T_μν

Krzywizna czasoprzestrzeni i wyraz kosmologiczny są powiązane z lokalną energią-pędem.

r_s=2GM/c²

Niewirująca masa wyznacza charakterystyczny promień horyzontu.

D²ξ^μ/Dτ²=−R^μ_ναβu^νξ^αu^β

Dewiacja geodezyjnych zamienia krzywiznę w mierzalne przyspieszenie względne.

Praktyka samodzielna

Zestaw zadań

Rozwiąż każde zadanie, zanim otworzysz podpowiedź i rozwiązanie.

  1. 1. Oblicz r_s dla Ziemi, przyjmując M≈6×10²⁴ kg.

    Pokaż podpowiedź

    Skorzystaj z 2GM/c².

    Pokaż rozwiązanie

    Około 9 mm.

  2. 2. W słabym polu oszacuj Δf/f dla wysokości h przy powierzchni Ziemi.

    Pokaż podpowiedź

    Skorzystaj z ΔΦ≈gh oraz Δf/f≈ΔΦ/c².

    Pokaż rozwiązanie

    Δf/f≈gh/c².

  3. 3. Jeśli T_μνk^μk^ν<0 dla jednego kierunku zerowego, który warunek zawodzi?

    Pokaż podpowiedź

    Dopasuj to do definiującej kontrakcji.

    Pokaż rozwiązanie

    Zerowy warunek energetyczny.

Pracownia wyprowadzeń

Zbuduj wynik, linijka po linijce.

Trzymaj założenia na widoku, żeby matematyka pozostała sprawdzalna.

Punkt wyjścia

Przesunięcie grawitacyjne ku czerwieni w metryce statycznej

ds²=g₀₀c²dt² for stationary clocks

  1. 1. Przyjmij zerowe przesunięcia przestrzenne.
  2. 2. Powiąż czas własny z czasem współrzędnościowym.
  3. 3. Porównaj dwa zegary o tym samym przedziale czasu współrzędnościowego.
  4. 4. Odwróć okresy, aby otrzymać stosunek częstotliwości.

f₂/f₁=√[g₀₀(x₁)/g₀₀(x₂)] with a consistent sign convention

Porównanie zegarów jest niezmiennicze, mimo że g₀₀ zależy od wybranej mapy statycznej.

Punkt wyjścia

Granica newtonowska równania geodezyjnej

ẍ^ρ+Γ^ρ_μνẋ^μẋ^ν=0

  1. 1. Załóż powolny ruch, tak by dominowała składowa czasowa prędkości.
  2. 2. Załóż słabą metrykę statyczną g₀₀≈−(1+2Φ/c²).
  3. 3. Oblicz Γ^i_00 w pierwszym rzędzie.
  4. 4. Zamień pochodne po czasie własnym na pochodne po czasie współrzędnościowym.

d²x^i/dt²≈−∂^iΦ

Newtonowskie przyspieszenie grawitacyjne jest granicą słabego pola dla ruchu po geodezyjnej.

Notatnik obliczeniowy

Zamień model w eksperyment.

Laboratorium orbit relatywistycznych i fotonów

Które obserwable odróżniają trajektorie newtonowskie, Schwarzschilda i te z zaburzonymi parametrami?

Dane wejściowe

  • • Masa centralna i warunki początkowe
  • • Trajektoria czasopodobna albo zerowa
  • • Parametry metryki i tolerancja całkowania

Algorytm

  1. 1. Zbuduj zachowaną energię i moment pędu.
  2. 2. Scałkuj ruch radialny i kątowy.
  3. 3. Zmierz precesję albo ugięcie.
  4. 4. Przeprowadź testy zbieżności i czułości na parametry.

Dowody do uzyskania

  • • Wykresy orbit albo promieni
  • • Tabela precesji i ugięcia
  • • Raport zbieżności numerycznej i niepewności

Pracownia czytania artykułów

Przepytaj źródło, nie jego reputację.

Odtwórz założenia, powtórz jedno obliczenie i zatrzymaj się na granicy opisanych dowodów.

Audyt pracy o metryce egzotycznej

Które tezy wynikają z metryki, które wymagają modelu źródła, a które wymagają eksperymentu?

  1. 1. Oddziel ansatz metryczny od jego interpretacji.
  2. 2. Odtwórz wymaganą kontrakcję energii-pędu.
  3. 3. Sprawdź asymptotykę, horyzonty i niezmienniki krzywizny.
  4. 4. Wypisz niemodelowane wymagania dotyczące wytworzenia, stabilności i sterowania.

Obliczenie do powtórzenia: Przelicz ponownie jedną diagnostykę warunku energetycznego albo charakterystyczną skalę energii z parametrów podanych w samej pracy.

Granica dowodów: Rozwiązanie równania Einsteina dla proponowanej geometrii dowodzi spójności matematycznej, a nie wykonalności technologicznej czy realizacji eksperymentalnej.

Idź dalej, do dowodów

Następna lektura, z jej źródłami

Wykład 3: Ogólna teoria względności

Równania pola, krzywizna, testy i granica teorii standardowej.

Wykład 4: Metryka warp Alcubierre’a

Rozpracowane rozdzielenie geometrii, wymaganego źródła i luki inżynierskiej.

Wykład 6: Warunki energetyczne

Definicje, konsekwencje, wyjątki kwantowe i ograniczenia skali.