Ogólna teoria względności/Ruch cząstki próbnej wokół masy statycznie sferycznej-rozwiązanie ogólne

Z Wikibooks, biblioteki wolnych podręczników.
Ogólna teoria względności
Ogólna teoria względności
Ruch cząstki próbnej wokół masy statycznie sferycznej-rozwiązanie ogólne

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ść.


Będziemy rozważać ruch cząstki próbnej wokół masy o geometrii statycznie sferycznej, czyli według geometrii Schwarzchilda za pomocą równania na line geodezyjne. Tutaj pokażemy podejście ogólne dla rozwiązania równania geodezyjnego dla cząstki próbnej.

Równanie geodezyjne a geometria Schwarzchilda[edytuj]

Ruch cząstki próbnej będziemy rozważać przy pomocy równania (2.8). Poszczególne niezerowe elementy tensora Christofela dla geometrii Schwarzchilda w układzie współrzędnych (ct,r,θ,φ), które zostały napisane w poprzednim rozdziale:

(11.1)
(11.2)
(11.3)
(11.4)
(11.5)
(11.6)
(11.7)
(11.8)

Przyjmijmy że cząstka porusza się w płaszczyźnie dla , zatem wtedy na pewno zachodzi i druga pochodna funkcji φ też ma postać zerową, co zapisujemy , czyli cząstka porusza się cały czas w tej samej płaszczyźnie, w której są spełniane powyższe własności.

Rozważmy ruch cząstki próbnej według równania linii geodezyjnej (2.8) dla μ=t, wtedy powiemy:

(11.9)

Zatem jeśli mamy równania (10.66), zatem wtedy ściśle określony element tensora Christoffela (11.1) możemy zapisać:

(11.10)

A zatem nasze równanie na linie geodezyjne (11.9), przy definicji tensora Christofera Γttr wyprowadzone w punkcie (11.10), która jest zależna od promienia Schwarzchilda rg czarnej dziury i funkcji Φ(r) wyprowadzonej w poprzednim module, możemy zapisać:

(11.11)

Równanie (11.11) możemy zwinąć do postaci bardzo skróconej licząc pochodną stałego wyrażenia względem parametru λ, które jest równe zero, co piszemy je jako:

(11.12)

Co można udowodnić równoważność równości (11.12) i (11.11) rozpisując powyższe równanie oraz pochodną Φ', która zawiera czynnik eΦ, i dla którego Λ=-Φ, czyli do którego możemy wykorzystać równość (10.66), i w końcowej tożsamości (10.58) możemy udowodnić przejście równości (11.12) do równości (11.11).

(11.13)

Równanie (11.12) można przedstawić w postaci po z całkowaniu go względem parametru λ otrzymując, że wyrażenie pod pochodna jest wielkością stałą i równą K.

(11.14)

A teraz rozważmy równanie ruchu dla linii geodezyjnej (2.8) dla parametru przestrzennego μ=φ, wtedy to nasze równanie w przestawieniu przy niezerowych wartościach tensora metrycznego Chrstoffela, a mianowicie jak wcześniej wyznaczonej definicji (11.6), piszemy:

(11.15)

Równanie (11.15) możemy zwinąć do postaci bardzo skróconej licząc pochodną współrzędnej radialnej względem parametru λ, które są równa zero (pierwsza i druga pochodna), co rysujemy:

(11.16)

Co można udowodnić równoważność równości (11.15) i (11.16) rozpisując powyższe równanie do postaci poniżej i przekształcają je w taki sposób, by dokonać przejścia jego do postaci (11.15).

(11.17)

Równanie (11.16) można przedstawić w postaci po z całkowaniu go względem parametru λ otrzymując, że wyrażenie pod pochodna jest wielkością stałą i równą h.

(11.18)

A teraz rozważmy równanie ruchu dla linii geodezyjnej (2.8) dla parametru przestrzennego μ=r, wtedy to nasze równanie w przestawieniu przy niezerowych wartościach tensora metrycznego Chrstoffera, a mianowicie jej wcześniej wyznaczonej definicji Γrtt (11.2), Γrrr (11.3), Γrθθ (11.4) oraz Γrφφ (11.5), co całe równanie przedstawiamy wedle:

(11.19)

Podstawiając za odpowiednie Γαβγ, należy pamiętać o ograniczeniu na odpowiednie φ co wspomniano wcześniej w tym rozdziale. Najpierw policzmy odpowiednie elementy tensora Christoffela wedle (11.2) i (11.3) występujące we wzorze na linię geodezyjne (11.19).


(11.20)

Dla Γrφφ w (11.5) nie rozważamy, bo , idąc dalej element tensora Christoffela (11.4) zapisujemy przy pomocy funkcji Φ wedle sposobu:

(11.21)

A zatem nasze rozważane równanie (11.19) na linię geodezyjną, do którego to podstawiamy równania na tensory Christoffela (11.3) i na samym końcu równania uzyskane w punkcie, tzn.: (11.20) i (11.21), którego to rozważane równanie na linie geodezyjne możemy przestawić wedle:

(11.22)

Jest to równanie na linię geodezyjną poruszającej się cząstki wokół kulistosymetrycznej masy podlegającej geometrii Schwarzschilda.

Dowolny ruch cząstki próbnej wokół sferyczno-statycznej masy[edytuj]

Długość stycznego czterowektora do linii geodezyjnej ruchu cząstki próbnej, znając jednocześnie elementy podwójnie kowariantnego tensora metrycznego gμν, przedstawia się jako:

(11.23)

jest wielkością stałą i zależy od masy cząstki próbnej według (1.13), dla cząstki o masie spoczynkowej różnej od zera to C>0, wtedy parametr λ jest to interwał czasoprzestrzenny, a dla fotonów C=0, wtedy λ jest dowolnym parametrem, ale nie interwałem czasoprzestrzennym, którym jego różniczka w tym przypadku zawsze wynosi zero.

Dla cząstki poruszającej się po naszej płaszczyźnie dla , znając elementy tensora metrycznego, które są zawsze diagonalne przy pomocy funkcji Φ, równanie (11.23) możemy zapisać:

(11.24)

Następnym krokiem jest podstawienie za wielkość pochodnej wielkości współrzędnej czasowej ct względem parametru λ, czyli wedle wyrażenia (11.14) a za pochodną wielkości kątowej θ względem parametru λ, czyli podstawiamy wyrażenie (11.18), a zatem równość (11.24) przechodzi w tożsamość:

(11.25)

Następnym krokiem jest pomnożenie ostatniego wynikowego równania (11.25) przez eksponens funkcji Φ(r), czyli eΦ, wtedy otrzymujemy, że kwadrat pochodnej funkcji r względem parametru λ jest zapisywany:

(11.26)

Równanie (11.26) podzielmy obustronnie przez kwadrat ostatniej równości wynikowej (11.18), tak by wyeliminować zupełnie parametr λ ze wspomnianej równości, wtedy to owe równanie różniczkowe zapisujemy wedle:

(11.27)

Dokonajmy podstawień w równaniu (11.27) w celu uproszczenia końcowego wspomnianego równania, które to stałe i zmienne (tzn. zmienna u) są wyrażone w poniższych wzorach wedle:

(11.28)
(11.29)
(11.30)
(11.31)

Policzymy pochodną funkcji "r" względem zmiennej kątowej θ i wyznaczmy ją w funkcjach "u" wedle podstawienia (11.30):

(11.32)

Równanie różnikczkowe (11.27) na podstawie podstawień (11.28) (stała A w zalezności od stałej K i h), (11.29) (stała B w zalezności od stałej C i h), (11.30) (definicja zmiennej u względem zmiennej r, która jest odległoscią radialną od środka gwiazdy) i (11.31) (definicji eksponesu funkcji Φ) i przedstawienia pochodnej promienia radialnego (11.30) względem współrzędnej kątowej, która ta pochodna zapisywana jest wedle (11.32), zatem ostateczny wzór na (11.27) przyjmuje postać:

(11.33)

Równanie (11.33) pomnóżmy przez wyrażenie będące czwartą potęgę u, czyli zdefiniowanej w punkcie (11.30), czyli u, wiedząc że jednocześnie ta zmienna nigdy nie przyjmuje wartości zero, zatem oczywiste jest:

(11.34)

Zróżniczkujmy równanie (11.34) względem zmiennej kątowej θ, wtedy oczywiste jest, że z wiadomości o pochodnej z analizy otrzymujemy równość, która jest zależnością od drugiej pochodnej zmiennej u względem parametru θ:

(11.35)

Podzielmy obustronnie tożsamość (11.35) przez wyrażenie będące pochodną wyrażenia u względem parametru θ i zakładając, że to wyrażenie nie jest równe zero, bo w takim przypadku możemy wykonać dzielenie obustronne otrzymując tożsamość fizyczną:

(11.36)

Po prawej stronie równania (11.36) wymnażamy wszystkie wyrazy, tak by nie było nawiasu, tylko same składniki w tej sumie, po tej czynności dostajemy równoważny wzór:

(11.37)

Dzielimy obustronnie tożsamość (11.37) przez liczbę dwa, zatem otrzymujemy równość, która jest równaniem toru ruchu cząstki, tzn. zależności promienia radialnego r względem jej współrzędnej kątowej θ:

(11.38)

Ostatnie równanie przedstawia obraz ruchu dowolnej cząstki czy to są fotony, czy inne cząstki o niezerowej masie spoczynkowej, czyli w tym przypadku cząstek o dowolnych masach spoczynkowych.

Ruch cząstki po orbicie kołowej[edytuj]

Będziemy mieć tutaj do czynienia z równaniem różniczkowym (11.21), który przedstawia ruch cząstki po pewnej orbicie i jeśli mamy do czynienia z ruchem po okręgu, to oczywiście:

(11.39)

Dochodzimy więc do wniosku, że równanie (11.21), gdy cząstka porusza się po okręgu (11.39), w której zmiana współrzędnej radialnej względem parametru λ jest równa zero:

(11.40)

Równanie napisane w punckie (11.40) mnożymy obustronnie przez wyrażenie napisane w punkcie , wtedy otrzymamy wzór w zależności czasu i współrzędnej kątowej θ względem parametru, którym jest czas t.

(11.41)

Naszym ostatnim celem jest wyznaczenie czasu obiegu po okręgu cząstki w zależności od innych parametrów, w tym celu równanie (11.41) rozłóżmy by na jednej stronie, by była różniczka czasu, a po drugiej różniczka kąta, przy kątowej w którym znajdowała się cząstka poruszająca się na okręgu, i potem obie jego strony przecałkujmy:

(11.42)

Powyższe równanie jest bardzo podobne do trzeciego równania Keplera, czyli iloraz okresu obiegu cząstki do kwadratu przez sześcian współrzędnej położeniowej danej cząstki jest wielkością stałą.

Radialny ruch swobodny ciała próbnego wokół kulistosymetrycznej masy według geometrii Schwarzchilda[edytuj]

Różniczka kwadratu interwału Schwarzchilda (10.66) (metryka Schwarzchilda) dla przyjętych zmienności parametrów kątowych dφ=dθ=0, czyli one są równe zero:

(11.43)

Podzielmy obie strony równania na metrykę Schwarzschilda (11.43), które opisuje ruch cząstki bez zmiany współrzędnych radialnych przez kwadrat różniczki interwału czasoprzestrzennego ds2, wtedy otrzymujemy inne równoważne równanie (ale nie dla fotonu):

(11.44)

Wykorzystując zależność (11.14) i wykorzystując zależność wedle (10.58) i (10.66), wtedy równanie (11.44) przyjmuje inną równoważną postać zależną od pochodnej współrzędnej radialnej względem interwału czasoprzestrzennego, którego to postać jest:

(11.45)

Jeśli zaczniemy od takiego r0, przy którym zachodzi: , to wtedy równanie (11.45) przyjmuje postać, z której możemy wyznaczyć kwadrat stałej K, który jest zależny od promienia początkowego r0 i promienia rg występującej w równaniu na K2:

(11.46)

Czyli nasze końcowe wynikowe równanie (11.45), po uwzględnieniu K2 wedle równości (11.46) i uwzględnieniu funkcji eksponencjalnej eΦ w zależności od położenia radialnego r i promienia Schwarzschilda, przedstawiamy:

(11.47)

Biorąc definicję rg z geometrii metryki Schwarzchilda, którego definicja jest , zatem dochodzimy więc do wniosku, że równanie (11.47) jest zapisane:

(11.48)

Praktycznie można przyjąć, że r0→∞, czyli r0>>rg, a więc mamy tak jak wedle zasady zachowania energii w polu grawitacyjnym, tylko zamiast czasu mamy interwał czasoprzestrzenny dla cząstki masowej podzielonej przez prędkość światła:

(11.49)

Rozwiązanie oparte na ogólnej teorii względności jest takie same jak w teorii Newtona dla toru hiperbolicznego poruszającego się z nieskończoności.

Rozciąganie w pobliżu czarnej dziury[edytuj]

Możemy wziąć równanie (11.49) i go pierwiastkując obustronnie, i dostajemy równanie na pochodną położenia radialnego współrzędnościowego względem interwału czasoprzestrzennego w zależności od położenia radialnego, w której dana cząstka się znajduje od środka czarnej dziury, w którym siły rozciągające, wtedy nasze rozważane równanie przyjmuje postać:

(11.50)

W powyższym wyrażeniu pochodna radialna jest ujemna, bo przyjęliśmy, że nasze ciało porusza się do horyzontu zdarzeń (do środka czarnej dziury).

Wyznaczmy pochodną (11.50), korzystając przy okazji z tego samego równania, dochodzimy więc do wniosku, że:

(11.51)

Załóżmy, że mamy ciało o długości l, to różnica wielkości (11.50) przyspieszeń radialnych na obu końcach rozważanego ciała, a zarazem sił wpływowych jest przedstawiona jako różnica wielkości (11.51) dla r+l i r:


(11.52)

Załóżmy, że do czarnej dziury spada pewien patyk, którego jego przestrzenna orientacja jest wzdłuż promienia do środka masy M. Nasz patyk porusza się cały czas do środka kulistosymetrycznego źródła pola, co jest powiedziane wartością ujemną w (11.50), dla końca patyka najbardziej oddalanego od środka, ten punkt porusza się z mniejszą wartością przyspieszenia, niż jego koniec najbardziej zbliżony, a więc patyk w kulistosymetrycznym polu statycznie sferycznej próbuje być rozciągnięty, czym mniejsza odległość od środka masy kulistosymetrycznej tym bardziej jest większe rozciąganie wpływowe. Przy wyznaczaniu końcowego wyniku w (11.52) korzystaliśmy, że , czyli wyrazy w liczniku naszego wyrażenia pomijamy wedle podanych przybliżeń jakie powiedzieliśmy. W geometrii Schwarzchilda mamy promień nazywamy jego imieniem , to dochodzimy do wniosku, że wyrażenie (11.52) dla promienia Schwarzchilda, tam gdzie prawa fizyki przestają być spełnione, różnica przyspieszeń radialnych rozchodzi się według:

(11.53)

Dochodzimy, że czym większa jest masa źródła pola grawitacyjnego, to jest czym mniejsze rozciąganie pływowe na jej powierzchni przy promieniu granicznym (horyzoncie zdarzeń).