Geometria statycznych czasoprzestrzeni Schwarzschilda, a czarne dziury
Licencja
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ść.
Poniżej przedstawimy w prawie wszystko związane z geometrią Schwarzschilda jako ciąg dalszy z poprzedniego rozdziału, a także wnioski, które będziemy rozpatrywać o czarnych dziurach w tejże geometrii.
Tensor metryczny w geometrii Schwarzchilda ma tylko wyrazy diagonalne.
Tensor metryczny podwójnie kowariantny oraz podwójnie kontrawariantny, na podstawie (10.6) i (10.7) i przedstawienia funkcji Ψ(r) i Λ(r) na zewnątrz kulistosymetrycznej, jest napisany:
(12.1)
(12.2)
Wielkości zachowawcze dla cząstek o niezerowej masie spoczynkowej
Będziemy korzystać z wyrażenia, które wynika z definicji kwadratu różniczki interwału czasoprzestrzennego i definicji czteropędu wedle wzoru (1.13), które napiszemy:
(12.3)
Elementy tensora metrycznego prostego jak i odwrotnego (12.1) i (12.2) nie zależą od zmiennej czasowej jak i od zmiennej kątowej θ, wtedy kowariantny pęd czasowy i pęd θ-owy są wielkościami stałymi względem zmiany interwału czasoprzestrzennego, bo wedle twierdzenia (8.36), te wielkości zapiszemy w postaci zredukowanej względem parametrów względem ich mas spoczynkowych:
(12.4)
(12.5)
Element radialny czterowektora pędu zapisujemy z definicji czterowektora pędu (1.10), zapisanej w zależności od elementu radialnego czterowektora prędkości i masy spoczynkowej rozważanego ciała fizycznego, w postaci:
(12.6)
A także element trzeci prawej strony wyrażenia (12.3) przy wykorzystaniu definicji stałej L, wiedząc jednocześnie że kowariantny θ-owy pęd ma charakter momentu pędu ruchu danej cząstki, którego to dowód, że tak jest, napisane jest przy punkcie (8.59), oznaczać je będziemy przez Lθ, a kowariantntny ψ-owy element czterowektora pędu jest równy zero, możemy zapisać jako całkowity moment pędu równy L=Lθ. Z własności elementów tensora metrycznego możemy zapisać ostatni wyraz wspomnianej równości (12.3) w postaci:
(12.7)
Dochodzimy więc do wniosku że równość (12.3) dla cząstki, która ma masę spoczynkową nieznikającą, a także wedle definicji elementów tensora metrycznego (12.1) i (12.2), oraz korzystając ze wzorów (12.4) i (12.7), jest w postaci:
(12.8)
Z korzystajmy z definicji energii i momentu pędu zredukowanego wedle równości (12.4) (który jest zredukowaną energią cząstki) i (12.5) (która jest zredukowanym pędem danej cząstki fizycznej), wtedy wyrażenie (12.8) możemy zapisać jako:
(12.9)
Następnym krokiem jest podzielenie obustronne powyższego równania przez niezerową masę spoczynkową cząstki m0, oczywiście tutaj nie mamy na myśli fotonów, wtedy piszemy:
(12.10)
Wyznaczmy teraz coś w rodzaju wyrażenia w równości (12.10), przenosząc tego typu wyrazy na lewą stronę omawianego równania, a pozostałe niech będą na prawej stronie naszego wzoru wraz z elementem stałym:
(12.11)
Następnym krokiem jest pomnożenie obustronnie równania (12.11) przez wyrażenie: , by pozostał tylko kwadrat pochodnej wyrażenia współrzędnej radialnej względem interwału czasoprzestrzennego, wtedy mamy:
(12.12)
Określmy potencjał efektywny występujący w (12.12) po prawej jego stronie jako odjemnik, który jest zależny od położenia cząstki masowej na orbicie wokół statystyczno-kulistej masy według geometrii Schwarzschilda:
(12.13)
Wykorzystując definicję potencjału efektywnego zdefiniowanego w punkcie (12.13) dla cząstek o niezerowej masie spoczynkowej, wtedy równość (12.12) możemy napisać:
(12.14)
Z różniczkujmy równanie (12.14) względem interwału czasoprzestrzennego, wtedy po prawej stronie tego równania wyraz, który jest odjemną znika, bo jest funkcją stałą, ale odjemnik pozostaje i jest różniczkowany względem powiedzianego parametru:
(12.15)
Ponieważ jak zakładamy wyrażenie jest różna od zera, jak na ogół mówimy, wtedy wyrażenie (12.15) po podzieleniu przez ten wyraz przyjmuje postać:
(12.16)
Rozpatrzmy orbity stabilne, gdy mamy minimum energii efektywnej lub maksimum, wtedy pochodna wielkości (12.13) względem "r" przyrównanej do zera, z której to równości wyznaczymy wartość promienia współrzędnościowego:
(12.17)
Następnie opuszczamy wszystkie nawiasy występujące w równości końcowej (12.17), by potem po przegrupowaniu wszystkich wyrazów, które stoją tylko po prawej stronie równości, by otrzymać końcową równość:
(12.18)
Pomnóżmy obustronnie równość napisanej w punkcie (12.18) przez czwartą potęgę współrzędnej radialnej, tzn. r4 przy założeniu, że r jest nie równe zero:
(12.19)
Pomnóżmy dalej obustronnie równanie (12.19) przez czwartą potęgę prędkości światła, czyli przez c4, wtedy można to nasze wyrażenie napisać w postaci równoważnej do poprzedniego tutaj rozważanego równania:
(12.20)
Powyższe równanie jest równaniem kwadratowym znanej z lekcji matematyki ze szkoły średniej, którego wyróżnik trójmianu jest równy wyrażeniu zapisanej wedle:
(12.21)
Wtedy rozwiązanie równania kwadratowego (12.20), przy definicji wyróżnika tego samego wielomianu, przedstawiamy wedle:
(12.22)
Jeśli mamy orbitę kołową, to musi być na pewno stały promień orbity, wtedy Δ zdefiniowanego wzorem (12.21) musi przyjmować wartość zero, bo (12.20) jako równanie kwadratowe musi mieć jedno podwójne rozwiązanie w postaci pewnego promienia radialnego, tzn., to dla tego przypadku mamy orbitę kołową, ponieważ maksimum oddalenia jest równy minimum odchylenia od ciała o masie M, bo pierwiastek jest równy zero. Wtedy promień dla orbity kołowej jest równy:
(12.23)
Jeśli ciało porusza się po okręgu, to jego promień orbity jest wyrażony wzorem (12.23).
Wielkości zachowawcze dla cząstek bezmasowych (fotonów)
Następnym naszym wyzwaniem są fotony w przeciwieństwie do masowych cząstek mają masę spoczynkową równą zero m0=0. Wersję wzoru (1.13) dla rozważanych cząstek piszemy jako:
(12.24)
Pęd radialny jako element czterowektora pędu jest wyrażony w zależności od masy cząstki i pochodnej czasowej wielkości radialnej. Mając już wyprowadzoną jego wersję w punkcie (8.51), co w którym zdefiniujemy nowy parametr λ, dzieki którego możemy wprowadzić odpowiednie przestawienia i wprowadzić z kolei ten nasz wspomniany parametr:
(12.25)
gdzie m to masa relatywistyczna fotonu.
Skorzystajmy ze wzoru (12.25) (na definicję elementu radialnego czterowektora pędu w zależności od parametru λ) oraz także korzystając ze wzoru (12.7), który jest zbudowany przy pomocy całkowitego kowariantnego θ-owego pędu, który spełnia rolę momentu pędu danego badanego fotonu, a także z definicji kowariantnego pędu czasowego, który jest energią fotonu podzielna przez prędkość światła, również z definicji dla elementów tensora metrycznego dla kulistosymetrycznej statystycznej geometrii Schwarzschilda równość (12.24) możemy napisać jako:
(12.26)
Ze wzoru (12.26) wyznaczmy wyraz z pochodną wielkości radialnej względem parametru , otrzymujemy:
(12.27)
W celu wyznaczenia wielkości wyrażonej wzorem w równości (12.27) pomnóżmy to równanie przez wyrażenie napisane wzorem , co można to zrobić, jeśli nasz promień r kołowej orbity kulistosymetrycznej gwiazdy nie jest równy promieniowi Schwarzschilda, więc wtedy otrzymujemy dalszą równość po opisywanych tutaj operacjach:
(12.28)
Wprowadźmy wielkość zwaną potencjałem efektywnym występującej we wzorze (12.28) jako odjemnik. Jest ona zależna od momentu pędu L, które to ten parametr charakteryzuje nasze rozważane ciało krążącej wokół naszej masy, jest ono oznaczane przez:
(12.29)
Ostatecznie z uwzględnieniem definicji na potencjał efektywny zdefiniowany w punkcie (12.29) równość (12.28) zapisujemy w ostatecznej postaci jako kwadrat funkcji pochodnej wielkości radialnej charakteryzujących odległość ciała od środka masy M względem parametru λ:
(12.30)
Zróżniczkujmy obie strony naszego równania (12.30) względem wprowadzonego parametru λ dla cząstek bezmasowych, wiedząc, że w tej rozważanej równości po prawej jego stronie odjemna jest parametrem stałym, która znika przy różniczkowaniu:
(12.31)
Następnym naszym krokiem jest podzielenie równania (12.31) obustronnie przez wyrażenie , który jak zakładamy jest na ogół różna od liczby zero, co jest spełnione w prawie większości przypadków dla orbit niekołowych:
(12.32)
Rozpatrzmy minimum lub maksimum potencjału efektywnego (12.29), czyli: , a zatem mamy:
(12.33)
Pomnóżmy obie strony ostatniego równania (12.33) przez czwartą potęgę promienia sferycznego r4 i zakładając przy tym że ten promień jest nie równy zero, i dalej skorzystajmy, że stała podczas ruchu na całej orbicie jako parametr L jest wielkością niezerową:
(12.34)
Dochodzimy do wniosku, że cząstka bezmasowa (foton), ma orbitę kołową o promieniu r bardziej zbliżoną środka statycznej masy niż orbita kołowa cząstki o niezerowej masie spoczynkowej.
Skorzystajmy ze wzoru (12.22), który przedstawia minimalny i maksymalny promień orbity cząstki masowej, z czego wyznaczymy wyrażenie na kwadrat zredukowanego momentu pędu w dalszych obliczeniach, ale najpierw przekształćmy trochę nasz wzór by po prawej stronie był pierwiastek:
(12.35)
Z równości ostatniej wynikowej (12.35) podnieśmy go do drugiej potęgi, aby zlikwidować pierwiastek występujący po prawej stronie równości:
(12.36)
Równanie (12.36) podzielmy obustronnie przez wyrażenie zależne od masy źródła pola grawitacyjnego , by potem otrzymać równość pierwszą poniżej, by zaraz ją pomnożyć przez wyrażenie , by dostać następnie wyrażenie na (ostatnia równość zaraz poniżej), których schemat tych czynności przedstawiamy tutaj:
(12.37)
Jasne jest, że dla orbity kołowej, które mamy wedle równości (12.14), gdzie zawsze zachodzi: , bo mamy ponadto: , bo promień orbity nie zmienia się, i dlatego pochodna promienia radialnego względem dowolnego parametru charakteryzującej ten ruch (tutaj mamy interwał czasoprzestrzenny) jest równa zero:
(12.38)
Co ostatecznie w (12.38) dokonujemy odpowiednie działania w tymże wspomnianym wzorze, co potem możemy otrzymać wyrażenie, które jest wyrażeniem wymiernym licznika przez mianownik, które są z osobna różnymi wyrażeniami:
(12.39)
Gdy cząstka porusza się w jednej płaszczyźnie, co zachodzi gdy obierzemy płaszczyznę, by było prostopadłe do tej płaszczyzny, to prędkość kątowa na podstawie elementów tensora metrycznego (12.2) przedstawiana jest:
(12.40)
Następnie policzmy element zerowy czterowektora prędkości, korzystając z elementu podwójnie kontrawariantnego podwójnie zerowego tensora metrycznego (12.2):
(12.41)
Podzielmy obustronnie wyrażenie (12.41) przez (12.40), by potem dobrze wykorzystać wzór (12.39) (wyrażenie na ) i (12.37) (wyrażenie na ), wtedy otrzymamy jako pochodną czasową względem kąta θ, czyli otrzymamy końcowe wyrażenie, która nas interesuje:
(12.42)
Okres jest to powrót do tego samego punktu w ciągu jednego pełnego obrotu, zatem różniczka czasu względem różniczki kątowej θ jest napisana wzorem poniżej przy pomocy tożsamości końcowej wynikowej (12.42), i która po scałkowaniu jego obustronnie wyraża okres obiegu cząstki w ciągu jego okrążenia wokół kulistosymetrycznej masy o kąt 2π.
(12.43)
I otrzymaliśmy taki sam wzór co (11.42), tylko innym sposobem, pierwszy z praw ruchu cząstki po prostej w przestrzeni czerowymiarowej (czasoprzestrzeni), wedle ruchu po stycznej do tej prostej, a drugi ze wzoru obrazujący związek czteropędu z jej masą spoczynkową dla cząstki masowej.
Mając wzór na pochodną położenia radialnego względem interwału czasoprzestrzennego , czyli wyrażona wzorem (12.12), oraz na pochodną zmiennej kątowej względem interwału czasoprzestrzennego (12.40), ostatni wzór obustronnie podnosimy do kwadratu i dzielimy obustronnie pierwszy wzór przez drugi, wtedy znika różniczka interwału czasoprzestrzennego w końcowym równaniu:
(12.44)
Dokonajmy podstawienia w wyrażeniu (12.44) wielkością zdefiniowaną poniżej, czyli dokonując zamiany zmiennych wedle schematu, tzn. u musi być odwrotnością promienia radialnego:
(12.45)
Na podstawie wzoru (12.45) mamy również , wtedy możemy policzyć pochodną położenia radialnego r względem położenia kątowego θ:
(12.46)
Po podstawieniu za pochodną promienia względem wielkości kątowej (12.46), a także podstawiając za odwrotność położenia radialnego u (12.45) do równania (12.44), dostajemy:
(12.47)
Pomnóżmy obustronnie wzór (12.47) przez niezerowe wyrażenie u4, które na podstawie (12.45) nigdy nie przyjmuje wartości równej zero, otrzymujemy:
(12.48)
Zróbmy trochę przekształceń w końcowym wyrażeniu (12.48) w celu usunięcia ostatnich nawiasów, wtedy:
(12.49)
Co po uporządkowaniu wyrazów z prawej strony równania (12.49) względem parametru u (12.45):
(12.50)
Równanie (12.50) jest równaniem ruchu dla cząstki posiadającej masę spoczynkową różną od zera, gdy jego promień wodzący jest określony za pomocą u (12.45).
We wzorze, który otrzymaliśmy z ogólnej teorii względności (12.50) zaniedbajmy wyrazy występujące ze sześcianem zmiennej u, czyli u3, jest to tzw. przybliżenie Newtona, mamy:
(12.51)
Dokonajmy podstawienia we wzorze (12.51), za funkcję zmienną zmiennej u (12.45) wyrażając ją w zmiennych y:
(12.52)
Ze wzoru (12.52) wynika, że pochodna wyrażenia y względem zmiennej kątowej, bo ruch masowego ciała odbywa się w jednej płaszczyźnie, można zapisać jako pochodną zmiennej u (12.45) względem zmiennej kątowej:
(12.53)
Dokonajmy teraz podstawień przy pomocy odpowiednich dwóch wyrażeń (12.52) (definicja zmiennej y względem zmiennej u) i (12.53) (pochodna zmiennej y względem położenia kątowego θ) do równania różniczkowego zapisanej w punkcie (12.51), mamy:
(12.54)
Dokonajmy teraz odpowiednich wymnożeń w równaniu (12.54), by potem dokonać odpowiednich grupowań wyrazów względem wzrastającej potęgi zmiennej u (12.45), by dalej otrzymać:
(12.55)
Zdefiniujemy zmienną y zdefiniowanego wedle wzoru poniżej, który na razie podamy jako podstawienie, która jest planowanym rozwiązaniem równania różniczkowego (12.55):
(12.56)
Musimy dokonać odpowiedniego podstawienia przypuszczalnego rozwiązania (12.56) do równania różniczkowego (12.55), wtedy otrzymamy prawdziwą tożsamość obu jego stron wspomnianego równania, co można sprawdzić bezpośrednim rachunkiem.
Widzimy, że według teorii Newtona, nie występują takie zjawiska jak przesunięcie peryferium, jeśli nie uwzględnimy wpływu innych ciał na orbitę rozważanego ciała.
Ostateczne rozwiązanie wedle (12.52) (definicja zmiennej y w zależności od zmiennej u) i (12.45) (definicja zmiennej u w zależności od zmiennej r) jest to równanie, po którym porusza się ciało o niezerowej masie spoczynkowej, która jest rozwiązaniem w postaci:
(12.57)
Rozwiązanie (12.57) możemy zapisać troszeczkę w innej postaci biorąc odwrotność obu stron:
(12.58)
Rozwiązanie (12.58) jest rozwiązaniem jakie otrzymał Izaak Newton podczas analizowania klasycznej cząstki podczas ruchu danego ciała (planety) wokół gwiazdy według teorii grawitacji, którą stworzył Newton.
Przesunięcie peryferium według ogólnej teorii względności
Dokonajmy dalszych podstawień stosując wzór na zmienną y (12.52), a także wzór na pochodną zmiennej y względem współrzędnej kątowej θ(12.53) do wzoru różniczkowego dla poruszających się cząstek masowych (12.50):
(12.59)
Następnym krokiem w ostatnim wynikowym równaniu (12.59) jest pominięcie wyrazów z potęgami y3, bo orbita jest prawie kołowa, wtedy przechodzimy do równości:
(12.60)
Zaproponujmy rozwiązanie równania (12.60) zależne od pewnych stałych, które wyznaczymy później:
(12.61)
Podstawmy rozwiązanie (12.61) do równania różniczkowego (12.60), wtedy otrzymamy tożsamość, z którego wyznaczamy stałe y0, A i k, a B jest dowolną stałą:
(12.62)
Porównujemy wyrazy zapisane w punkcie (12.62), a właściwie obydwie jej strony, tzn. wyrazy związane z wyrażeniem A2cos2θ, otrzymujemy:
(12.63)
Następnie weźmy wyrazy występujące z czynnikiem cos(kθ+B) w zapisanej tożsamości (12.62), by je potem przyrównać do zera dla dowolności θ, stąd:
(12.64)
Dalej na ostatku porównajmy wyrazy wolne występujące w rozważanej tożsamości (12.64):
(12.65)
Wyznaczmy wyrażenie pomocnicze występujące w tożsamości (12.65) jako dwa składniki razem wzięte, które występują sumie występującej pod jego pierwiastkiem:
(12.66)
Reasumując nasze rozwiązanie (12.61) jest tak zdefiniowane, by w nim występowały trzy stałe zdefiniowane poniżej, które można zapisać za pomocą stałych charakteryzującego nasze źródło pola grawitacyjnego:
(12.67)
(12.68)
(12.69)
Ale y jest takie jak we wzorze (12.61), to kθ, może zmieniać się od kΔθ=0 do kΔθ=2π i wtedy ciało może niecałkowicie obiec elipsę, czyli można udowodnić, że ta elipsa się obraca o kąt Δθ, którą opiszemy poniżej:
(12.70)
Wtedy Δθ oznacza przesunięcie peryferium orbity cząstki masowej, co możemy wyznaczyć z równania (12.70), która jest oczywiście zależna tylko od stałej opisującej orbitę prawie Newtonowską k.
(12.71)
Wstawiamy definicję stałej k napisanej w punkcie (12.67) do równania (12.71), wtedy wielkość Δθ:
(12.72)
Ze wzoru (12.37) mamy wzór na kwadrat zredukowanego momentu pędu, z którego można dokonać przybliżenia dla dużych r, w tym równaniu mianownik możemy przybliżyć do jedynki, stąd:
(12.73)
Wynik uzyskany w punkcie dla dużych r (12.73) podstawiamy do (12.72), i ten sposób otrzymujemy wzór na przesunięcie peryhelium.
(12.74)
We wzorze (12.74) pierwszy składnik jest równy 2π, co jest tym samym kątem co bez niego wedle praw trygonometrii, więc to samo przesunięcie kątowe peryferium co (12.74) określone jest dla orbit prawie newtonowskich wzorem:
(12.75)
Jest to wzór określający przesunięcie peryferium dla orbit prawie Newtonowskich dla orbit, których efekty relatywistyczne odgrywają dużą rolę.
Dla cząstek bezmasowych rozważmy pęd θ-owy jako element czterowektora pędu, dla którego jego przestawienie jest podobne jak we wzorze dla pędu radialnego (12.25), przy czym parametr λ definiujemy poprzez masę relatywistyczną fotonu (foton nie ma masy spoczynkowej), ale korzystając z definicji kontrawariantnego czterowektora pędu (8.52), a więc wtedy możemy wyrazić nasz pęd względem pochodnej wielkości θ względem parametru λ, co zapisujemy:
(12.76)
Z drugiej jednak strony elementy tensora metrycznego nie zależą od zmiennej kątowej, a także od zmiennej czasowej, więc wedle twierdzenia (8.36) zmienna pθ, która jest pędem kowariantnym jest wielkością stałą względem zmiany interwału czasoprzestrzennego, które spełnia rolę znaną z mechaniki klasycznej momentu pędu, która w przybliżeniu słabego pola grawitacyjnego staje się dokładną wartością momentu pędu znaną z mechaniki Newtona.
(12.77)
Mamy sobie wzór (12.28), która jest równaniem ruchu cząstki względem parametru λ i końcowy wzór wynikowy (12.77), wtedy weźmy oba te wzory, który ten drugi podnosimy do kwadratu i dzielimy obustronnie przez siebie dostając równość:
(12.78)
Wprowadźmy nowy parametr b, który jest zależny od wielkości L, która w analogi do mechaniki klasycznej nazwijmy momentem pędu, a także jest zależna ona od energii tegoż fotonu E, a także od prędkości światła w próżni.
(12.79)
Zastosowanie definicji nowego parametru (12.79) do równości (12.78) w rezultacie daje nam:
(12.80)
Obierzmy nową zmienną u, to wtedy zmienna radialna w układzie kulistym r jest wyrażona poprzez u w sposób:
(12.81)
Różniczka położenia radialnego wyrażona względem zmiennej u, która jest zdefiniowana w punkcie (12.81), którą rozpiszemy ją, by otrzymać zależność różniczkową zmiennej u (12.81), wtedy:
(12.82)
Po wykorzystaniu definicji na różniczkę wielkości radialnej dr (12.82) i na promień radialny r (12.81), to wtedy podstawiając je do tożsamości (12.80), które podzielimy potem przez zawsze niezerowe wyrażenie u4 (bo zachodzi (12.81)), dostajemy:
(12.83)
Odwróćmy wzór (12.83) obustronnie na wyrażenie typu 1/coś=1/coś, wtedy dostajemy ostatecznie inne równoważne do poprzedniego wyrażenie:
(12.84)
Powyższy wzór jest wzorem relatywistycznym toru dla bezmasowego fotonu, którego położenie radialne jest określone wedle (12.81).
Ruch światła po zaniedbaniu efektów relatywistycznych związanego z masą
Podstawmy rozwiązanie (12.86) do naszego równania (12.85), stąd mamy:
(12.87)
Otrzymujemy wniosek, że po zaniedbaniu efektów z związanych z masą M światło będzie się poruszało się linii prostej, czyli rozwiązaniem jego przy uwzględnieniu definicji na u, zdefiniowanej w punkcie (12.81), jest wzór:
(12.88)
Ruch fotonów po niecałkowitym zaniedbaniu relatywistycznym
Mamy sobie równanie ruchu rządzące ruchem trajektoriami fotonów (12.84) i obierzmy sobie nową zmienną y w zależności od stałej zmiennej (12.81), z którego wyznaczmy zmienną u, zatem zdefiniujmy zmienną y jako:
(12.89)
co jest z dokładnością do wyrazów pierwszego stopnia.
Korzystając z końcowego wyrażenia wynikowego policzmy pochodną zmiennej u (12.81) względem położenia kątowego θ:
(12.90)
Podstawmy wyrażenie na pochodną wyrażenia u względem zmiennej kątowej θ (12.90) i zmienną u (12.89) do równości (12.84), mamy:
(12.91)
Pomijamy wyrazy rzędu większego niż w przypadku potęg zmiennej y o wykładniku większym niż dwa w równaniu różniczkowym (12.91), wtedy z oczywistych powodów mamy prawo myśleć:
(12.92)
Pierwiastkujemy obie strony równania (12.92), w tym celu po dokonaniu tej operacji należy pamiętać, że z lewej strony naszego wspomnianego wyrażenia pojawia się znak plus lub minus, zatem dostajemy dwa poniższe wzory z tymi znakami zapisanej w jednym równaniu ogólnie:
(12.93)
Przecałkujmy obie strony równania różniczkowego (12.93), dostajemy:
(12.94)
Policzmy pomocniczą całkę nieoznaczoną potrzebną do zrobienia dalszych obliczeń, która to całka występuje z lewej strony równania (12.94), stąd:
(12.95)
Ostatecznie na podstawie obliczeń przeprowadzonych w punkcie (12.95) dostajemy ogólny wzór na naszą całkę nieoznaczoną:
(12.96)
Wyznaczmy kąt odchylenia fotonu θ w zależności od y, (r→∞⇒ u=0)⇒ y=0, oczywiście korzystając z definicji u i y. Początkowe y jest równe zero. Zakładamy, że cząstka przebywa z nieskończoności i będziemy rozpatrywać ruch tej właśnie cząstki aż do punktu w którym y ma wartość , czyli wybieramy znak plus (12.94) (bo cząstka zbliża się do kulistosymetrycznej masy).
Całka oznaczona wygląda wtedy:
(12.97)
Rozwiązanie równania różniczkowego (12.92) przedstawiamy je w zależność od zmiennej y i kąta θ:
(12.98)
Ostatecznie rozwiązaniem naszego równania różniczkowego (12.98) dla naszego przypadku jest funkcja kąta θ w zależności od zmiennej y:
(12.99)
Foton osiąga swe najniższe położenie, gdy , co można policzyć ze wzoru (12.99), a zatem odchylenie fotonu przy ruchu z nieskończoności do jej najbliższego zbliżenia do masywnej gwiazdy względem położenia w nieskończoności jest określone:
(12.100)
Następny rozpatrzmy ruch fotonu z od y=0 do nieskończoności od jej najbliższego zbliżenia, a zatem foton porusza się od odległości, gdy foton znajduje się najbliżej masy (przy kącie (12.100)), do celu należącym w drodze do nieskończoności, wtedy wybieramy znak minus przed całką po lewej stronie równania (12.94) (bo foton oddala się do nieskończoności), wtedy:
(12.101)
Rozwiązaniem równania (12.92) w postaci drugiego rozwiązania od chwili jej najbliższego zbliżenia jest równanie w postaci wzoru poniżej, którego całka została obliczona w punkcie (12.101):
(12.102)
Ogólne rozwiązanie przedstawia się wzorami (12.99) i (12.102), którego to odchylenie θ jest zapisywane ogólnym wzorem dla ruchu cząstki od nieskończoności do jej najbliższego zbliżenia, oraz od jej najbliższego zbliżenia do ruchu do nieskończoności, które oba te równania są zależne od zmiennej y zdefiniowanej wzorem (12.89), a zmienna u jest zdefiniowana wzorem (12.45), wtedy położenie kątowe zmienia się według:
(12.103)
Policzmy odchylenie cząstki, jeśli położenie początkowe w nieskończoności wynosiło θ0 (gdy cząstka porusza się do kulistosymetrycznej masy), to po odchyleniu też w nieskończoność, gdy y=0 (po odbyciu tej całej podróży od tej masy od nieskończoności do nieskończoności), wynosi:
(12.104)
Jeśli foton poruszał się początkowo po prostej, to odchylenie względem tej prostej bez uwzględnienia efektów relatywistycznych wynosiło π, to po uwzględnieniu tych efektów poprawka do tego odchylenia jest napisana:
(12.105)
Wpadające cząstki w kierunku radialnym do horyzontu zdarzeń czarnej dziury
Rozpatrzmy spadanie radialne cząstki masowej na powierzchnię o promieniu , wtedy zachodzi dθ=0 i wedle definicji czterowektora pędu θ-owego pęd kontrawariantny jest równy zero, a na podstawie tego wedle (12.7) ten pęd kowariantny jest stały (bo elementy tensora metrycznego nie zależą od zmiennych kątowych) i nie zmienia swojej wartości, ta wielkość jest odpowiednikiem momentu pędu znanej z mechaniki klasycznej, a więc nasze równanie ruchu wedle (12.12) jest przedstawione:
(12.106)
Różniczka interwału czasoprzestrzennego wynikającego z równania (12.106) można napisać w postaci wzoru, który zależy od różniczki promienia radialnego cząstki spadającej do czarnej dziury:
(12.107)
W powyższym wyrażeniu mamy znak minus, bo rozpatrywane ciało porusza się z pewnego punktu o położeniu radialnym R radialnie i ono porusza się do horyzontu zdarzeń o promieniu rg Schwarzchilda, czyli wedle zmniejszającego się promienia.
Jeśli zachodzi (wedle tego warunku ciało w nieskończoności spoczywa), to mamy całkę na zmianę interwału czasoprzestrzennego (12.107):
(12.108)
Wynik uzyskany ze wzoru (12.108) jest wielkością skończoną natomiast, gdy energia zredukowana spełnia warunek , to cząstka może posiadać maksymalne położenia radialne z warunku (12.106) spełniającego równanie:
Wykorzystajmy teraz element zerowy czterowektora prędkości, czyli pochodną iloczynu czasu i prędkości światła względem interwału czasoprzestrzennego, co poniżej przestawimy:
(12.109)
Z równania (12.109) otrzymujemy wzór na różniczkę czasu współrzędnościowego w zależności od różniczki interwału czasoprezestrzennego:
(12.110)
Do równania różniczkowego (12.110) dokonajmy podstawienia za ds opisywanej wzorem (12.107), zatem w takim przypadku to pierwsze równanie na cdt przyjmuje w zależności od różniczki współrzędnej radialnego położenia cząstki w układzie kulistym postać:
(12.111)
Rozważmy przypadek, gdy cząstka spoczywa w nieskończoności, to wtedy: , jeśli dokonamy podstawienia: , to ostatecznie ze wzoru (12.111) można dojść do wzoru wynikowego:
(12.112)
Z powyższego wzoru na dt, wynika, że gdy γ→ +0, z stąd wynika, że funkcja ma granicę prawostronną w postaci , jeśli przecałkować obustronnie wyrażenie (12.112), to prawa strona zawiera całkę rozbieżną do nieskończoności (dla cząstki, która podróżuje do horyzontu zdarzeń), zatem na podstawie wspomnianego wyrażenia cząstka osiągnie powierzchnie o promieniu Schwarzchilda dopiero po nieskończonym długim czasie współrzędnościowym mimo skończonego czasu własnego.
Gdy cząstka znajduje się nieskończenie bliskiego promienia Schwarzschilda, w którym cząstka znajdowała się początkowo, a przebyła z odległości o promieniu wodzącym R, wtedy w takim przypadku czas współrzędnościowy jest nieskończony mimo skończonego czasu własnego, co ta wielkość musi zachowywać się źle, co świadczy o załamaniu się Ogólnej Teorii Względności.