Autor:Mirosław Makowiecki Absolwent UMCS Fizyki Komputerowej Uniwersytetu Marii Curie-Skłodowskiej w Lublinie Email: miroslaw(kropka)makowiecki(małpa)gmail(kropka)pl Dotyczy: książki, do której należy ta strona, oraz w niej zawartych stron i w nich podstron, a także w nich kolumn, wraz z zawartościami. Użytkownika książki, do której należy ta strona, oraz w niej zawartych stron i w nich podstron, a także w nich kolumn, wraz z zawartościami nie zwalnia z odpowiedzialności prawnoautorskiej nieprzeczytanie warunków licencjonowania. Umowa prawna:Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń. Autor tej książki dołożył wszelką staranność, aby informacje zawarte w książce były poprawne i najwyższej jakości, jednakże nie udzielana jest żadna gwarancja, czy też rękojma. Autor nie jest odpowiedzialny za wykorzystanie informacji zawarte w książce, nawet jeśli wywołaby jakąś szkodę, straty w zyskach, zastoju w prowadzeniu firmy, przedsiębiorstwa lub spółki bądź utraty informacji, niezależnie czy autor (a nawet Wikibooks) został powiadomiony o możliwości wystąpienie szkód. Informacje zawarte w książce mogą być wykorzystane tylko na własną odpowiedzialność.
Będziemy rozpatrywać metrykę Kruskera-Szekeresa, i udowodnimy, że nasza metryka przechodzi w metrykę Schwarzchilda, i na podstawie tego wyznaczymy równoważność współrzędnych w metryce Schwarzschilda i współrzędnych Kruskala-Szekeresa.
W prowadźmy nowy rodzaj współrzędnych w postaci (U,V,θ,φ), tak by interwał czasoprzestrzenny przyjął postać:
(13.1)
Jest on zależny od zmiennej U, V, a także od położenia radialnego r i na końcu od dΩ2, która jest różniczką zupełną zdefiniowana w (10.4),
co jest równoważne po opuszczeniu nawiasów w metryce (13.1):
(13.2)
Należy zauważyć, że funkcja U=U(r,t), a także V=V(r,t) są funkcjami położenia radialnego r i czasu współrzędności-owego.
Również "r" i "t" można przedstawić jako funkcję U i V.
Mając już zdefiniowaną metrykę (13.2), wtedy można napisać współrzędne Kruskala-Szekeresa, dla dwóch współrzędnych U(r,t) i V(r,t) podaną dla dwóch przedziałów zmienności położenia radialnego ograniczonej promieniem Schwarzchilda :
Dla z przedziału zmiennej radialnej r∈(rg,∞):
(13.3)
Dla przedziału zmiennej radialnej r∈(0,rg)
(13.4)
Widzimy, że w punkcie dążącym do r=rg, funkcje U i V wedle (13.3) i (13.4) są ciągłe i równe zero.
Dla naszego f(r) wprowadzonego w metryce (13.2) zdefiniujmy jako funkcję zależną od promienia radialnego r:
(13.5)
Następnie sprawdźmy, czy nasza metryką jest zgodna z naszymi obranymi współrzędnymi, czyli czy przechodzi w metrykę Schwarzchilda we współrzędnych kulistych, dla r>rg policzmy kolejne pochodne. Pierwsze pochodna cząstkowa zmiennej U względem czasu współrzędnościowego piszemy:
(13.6)
Pochodną cząstkową zmiennej V względem czasu t współrzędnościowego wyrażamy:
(13.7)
Pochodną cząstkową zmiennej V względem promienia r współrzędnościowego:
(13.8)
Podobnie liczmy pochodną zmiennej V względem położenia radialnego, czyli , stąd:
(13.9)
Wyznaczmy różniczkę zupełną dU z twierdzenia o różniczce zupełnej korzystając z już policzonych pochodnych cząstkowych zmiennej U względem czasu (13.6) i położenia radialnego (13.9):
(13.10)
A następnie policzmy różniczkę zupełną dV pdobnie jak w punkcie (13.10), ale tym razem korzystając z pochodnej zmiennej V względem czasu (13.8) i położenia radialnego (13.9):
(13.11)
A na samym końcu policzmy różnice kwadratów różniczek zupełnych policzonych, tzn.: (13.10), (13.11):
(13.12)
Policzmy wyrażenie w naszej metryce znając definicję funkcji f(r) (13.5) i policzoną przed chwilą różnicę kwadratów różniczek zupełnych (13.12), czyli:
(13.13)
Naszą rozważaną metryką w zmiennych (t,r ,θ,φ) jest metryka Schwarzchilda, co dowodzi że metryka Kruskala-Szekeresa jest uogólnieniem metryki Schwarzchilda dla którego punktem osobliwym funkcji f(r) jest dla r=0, ale same funkcje U(r) i V(r) nie posiadają w sobie punktów osobliwych, a w metryce Schwarzchilda jest punkt:, czyli doszliśmy do wniosku ostatnio, że metryka nasza tutaj rozważana przechodzi w metrykę Schwarzschilda zdefiniowanej w punkcie (10.67). Przypadek drugi (13.3) dla przypadku r<rg, dowodzimy podobnie.
Czasoprzestrzeń we współrzędnych Kruskala-Szekeresa
W czasoprzestrzeni we współrzędnych Kruskala-Szekersa jest podzielona na cztery obszary, górny i dolny, lewy i prawy. Na płaszczyźnie (U,V), każda linia odpowiada , Bowiem zachodzi po podzieleniu równań na U, V dla zmiennych (13.3) i zapisując je w postaci przekształconej:
, dla
(13.14)
A także dla tego samego zestawu zmiennej, ale dla innego przedziału zmienności zmiennej radialnej, czyli zachodzi po podzieleniu równań na U, V układu zmiennych (13.4) zapisując je w postaci przekształconej:
, dla
(13.15)
A więc mamy prostą dla stałego, tzn.: na płaszczyźnie: .
Gdy , to mamy:, wtedy mamy:, zaś gdy , to mamy:, a zatem otrzymujemy U=0.
Ale mamy dwie proste przechodzące przez początek układu współrzędnych wedle równania, która przedstawia zależność zmiennej U od V, czyli według (13.14) lub (13.15), bo wtedy ma sens proporcjonalność zmiennej U od zmiennej V tylko dla czasów współrzędnościowych niezerowych w tej geometrii.
W naszej metryce obszar po lewej jest jakoby świat 1, z prawej świat 2, a obszar górny i dolny dotyczą wnętrza czarnej dziury.