Ogólna teoria względności/Wprowadzenie do ogólnej teorii względności
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 oraz miejsca pochodzenia książki i jej jakikolwiek części, a także treści, teksty, tabele, wykresy, rysunki, wzory i inne elementy oraz ich części zawarte w książce, i tą książkę, nawet w postaci przerobionej nie można umieszczać w jakikolwiek formie na czasopismach naukowych, archiwach prac, itp. 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ść. |
Ogólna teoria względności jest współczesną teorią, która opisuje grawitację w sposób bardziej dokładny niż teoria grawitacji Newtona, która jest on opisana przez:
- gdzie
siła grawitacji działa wzdłuż wektora
(jest to różnica położenia ciała B i ciała A), która charakteryzuje oddziaływanie ciała A na ciało B, ale o zwrocie przeciwnym niż wektor położenia ciała B względem ciała A.
Postulaty teorii względności:
Postulat pierwszy - jest uogólnienie zasady Galileusza, ale też i Einsteina ze szczególnej teorii względności, że układy poruszające się z przyspieszeniem zerowym lub mającym pewną wartość, to w tych układach spełnione są prawa fizyki.
Postulat drugi - prędkość światła jest taka sama we wszystkich układach odniesienia, nawet w tych układach poruszających się z pewnym niezerowym przyspieszeniem.
Elementy ogólnej teorii względności[edytuj]
Szczególna teoria względności wyróżnia pewne klasy układów odniesienia zwanych układami inercjalnymi. Szczególna teoria nie ma grawitacji, więc należy sformułować tak nową teorię (OTW), by wszystkie układy odniesienia były równoprawne i zawierały grawitację.
Zasady równoważności[edytuj]
Przedstawimy tutaj słabą i silną zasadę równoważności.
Słaba zasada równoważności[edytuj]
Obserwator znajduje na Ziemi, i zauważa, że na niego działa jakaś siła grawitacji, która wywołuje siła ciężkości działająca na nasze ciało. Innym razem obserwator znajduje się w kosmosie w rakiecie, która porusza się z przyspieszeniem w sposób płynny, on nie zauważa żadnej różnicy, między układem na Ziemi czy w rakiecie, czyli który układ jest inercjalny? A zatem jeśli założymy, że nasz układ jest inercjalny, to pochodne cząstkowe elementów tensora metrycznego są równe zero. Ale w myśl tej zasady również układy nieinercjalne są nierozróżnialne od inercjalnych. A zatem prawa wyprowadzone dla układów inercjalnym powinny być słuszne też w nieinercjalnych układach odniesienia. Tzn.: pochodną cząstkową zwykłą zastępujemy pochodną tensorową, bo symbole Christoffela są równe zero, a następnie w myśl tej zasady można uogólnić otrzymane prawa na układy również nieinercjalne, w których symbole Christoffela nie muszą się zerować.
Silna zasada równoważności[edytuj]
Każde prawo fizyczne w sformułowane w szczególnej teorii względności w postaci tensorowej w układzie lokalnie płaskim (inercjalnym) ma taką samą postać w ogólnej teorii względności, czyli w czasoprzestrzeni zakrzywionej.
Czasoprzestrzeń w ogólnej teorii względności[edytuj]
Czasoprzestrzeń jest czterowymiarową przestrzenią absolutną z trójwymiarową przestrzenią znanej z mechaniki Newtona i czwartą współrzędną zwanej współrzędną czasową.
Metryka w czasoprzestrzeni może przybierać postać lorentzowską, przez obranie układu inercjalnego, który jest układem lokalnie płaskim w danym punkcie przestrzeni.
Kontrawariantny czterowektor położenia[edytuj]
Kontrawariantnym czterowektorem położenia w ogólnej teorii względności nazywamy wektor:
Sygnatura dodatnia i ujemna[edytuj]
Sygnatura (1,-1,-1,-1) tensora metrycznego Minkowskiego jest w lokalnej płaskości czasoprzestrzeni zakrzywionej, o tej sygnaturze jest tensor metryczny przedstawiony w równaniu (1.3), tą sygnaturę nazywamy dodatnią, a sygnaturę (-1,1,1,1), czyli nazywamy ją ujemną, która występuje w równaniu (1.4).
Interwał czasoprzestrzenny[edytuj]
Interwał czasoprzestrzenny w ogólnej teorii względności przedstawiamy w analogii do interwału szczególnej teorii względności, w której zastąpujemy tensory metryczne Minkowskiego innymi tensorami metrycznymi, które w ogólności nie są diagonalne, a kwadrat interwału czasoprzestrzennego przy sygnaturze tensora metrycznego Minkowskiego dodatniej i ujemnej przedstawiają się kolejno:
- gdzie:
, to tensor metryczny.
Udowodnimy, że jeśli w jednym układzie współrzędnym metrykę przedstawiamy wedle sposobu (1.3), to w innym w układzie współrzędnym kwadrat różniczki interwału czasoprzestrzennego pozostaje niezmienny, zatem to udowodnijmy, stosując tym razem konwencję Einsteina:
- Wzgledem sygnatury (drugiej) przedstawionej w (1.4) dowód przedbiega podobnie jak dla pierwszej sygnatury według (1.5).
Na podstawie dowodu (1.5) kwadrat różniczki interwału czasoprzestrzennego jest niezmiennikiem, tzn. jego infinitezymalna wartość nie zależy od wyboru układu współrzędnych, tzn. nie zależy względem jakich współrzędnych liczymy naszą metrykę.
Kwadrat różniczki interwału czasoprzestrzennego (1.3) jest większy od zera, gdy mamy do czynienia z cząstką o masie spoczynkowej różnej od zera, natomiast dla fotonów lub dla cząstek o masie spoczynkowej równej zero, to kwadrat różniczki interwału czasoprzestrzennego jest równy zero.
Przykładem tensora metrycznego jest tensor metryczny w przestrzeni Minkowskiego (czasoprzestrzeni Einsteina w czterowymiarowej czasoprzestrzeni) znany w płaskiej przestrzeni, w której nie ma pola grawitacyjnego, którego postać można napisać dla obu sygnatur (sygnatura dodatnia - (1.6), sygnatura ujemna - (1.7)):
Dla tensora metrycznego (1.6) (sygnatura dodatnia) i (1.7) (sygnatura ujemna) interwał czasoprzestrzenny obliczony według (1.3), tzn. w szczególnej teorii względności, jest napisany:
Interwał (1.8) jest podstawą szczególnej teorii względności. Widzimy, że w powyższym interwale współrzędne przestrzenne są na równi sobie, niezależne z jakimi mamy do czynienia współrzędnymi przestrzennymi, współrzędna czasowa w tym interwale jest wyróżniona, czas w metrach (ct) jest iloczynem prędkości światła i czasu w sekundach.
Czterowektor prędkości[edytuj]
Czterowektorem prędkości zdefiniowanej jako pochodną kontrawariantnego czterowektora położenia względem interwału czasoprzestrzennego (1.3) nazywamy wielkość zdefiniowaną:
Wielkość jest to jest interwał czasoprzestrzenny dla cząstek o masie spoczynkowej różnej od zera i dla cząstek o masie spoczynkowej równej zero.
Czterowektor pędu[edytuj]
Czterowektorem pędu nazywamy wielkość zdefiniowaną:
Czterowektor pędu a masa spoczynkowa cząstki[edytuj]
Jeśli będziemy korzystali ze wzoru (1.3) (sygnatura dodatnia) i (1.4) (sygnatura ujemna), to je można równoważnie razem zapisać w sposób najpierw dzieląc obustronnie przez kwadrat różniczki interwału czasoprzestrzennego (cząstki o masie spoczynkowej różnej od zera) dla obu sygnatur, tzn.: dla sygnatury dodatniej (znak u góry) i ujemnej (znak u dołu):
Gdy mamy cząstkę o masie spoczynkową równej zero, wtedy musimy podzielić równanie (1.3) obustronnie przez kwadrat różniczki dowolnego parametru λ, wtedy czterowektor prędkości definiujemy podobnie jak dla cząstki masowej, wtedy otrzymujemy równanie inne niż (1.11):
Równanie (1.11) wymnażamy obustronnie przez wyrażenie (m0c)2, korzystając z definicji czterowektora pędu (1.10), dostajemy inne równoważne do (1.11) równanie w postaci dla sygnatury dodatniej (znak u góry) i ujemnej (znak u dołu):
Jak udowodniliśmy równanie (1.13) jest słuszne tylko dla cząstek o masie spoczynkowej różnej od zera, ale równanie (1.13) możemy uogólnić dla cząstek o wszystkich masach spoczynkowych. Równość (1.13) możemy napisać dla układów rozciągłych w postaci:
Infinitezymalny czas własny i infinitezymalna długość własna[edytuj]
Infinitezymalnym czasem własnym mierzoną przez zegary w ogólnej teorii względności nazywamy wielkość, który dany obserwator doświadczający dwóch zdarzeń bliskich w czasie doświadcza w układzie własnym, że dla niego czas w układzie w którym cząstka spoczywa (układ własny) jest mierzony w zależności od czasu w układzie, w którym cząstka porusza się:
Infinitezymalną długością własną mierzoną przez pręty między dwoma sąsiednimi punktami nazywamy długość zdefiniowaną:
Długość własna w układzie własnym spoczywającym jest równa długości pręta w układzie spoczywającym, tzn. w układzie współrzędnym. gdy długość pręta między oba jego końcami mierzymy w tym samym czasie współrzędnościowym, czyli dla spoczywającego pręta względem układu dla pręta poruszającego się. Odpowiednie infinitezymalne czasy własne między dwoma zdarzeniami i infinitezymalne długości własne dwóch sąsiednich zdarzeń istnieją, jeśli pod pierwiastki są wielkości infinitezymalne, ale dodatnie.
Niezmienniczość (1.15) i (1.16), które można je liczyć w dowolnym układzie współrzędnym, można tak samo udowodnić, jak przy dowodzie na niezmienniczość interwału czasoprzestrzennego (dowód (1.5)).
Nieinercjalne układy odniesienia a czasoprzestrzeń[edytuj]
Przykład - układ rotujący ze stałą prędkością kątową ω[edytuj]
Teraz przedstawmy układ rotujący ze stałą prędkością z częstotliwością kołową: , to jego wartość prędkości w zależności od częstotliwości kołowej i promienia od pewnego punktu względem którego następuje obrót ma się jako według wzoru
, to jego interwał czasoprzestrzenny w zależności od interwału czasoprzestrzennego w układzie inercjalnym przestawiam się:
W układzie nieinercjalnym ciało rotujące jest w spoczynku, jeśli na układ działa siła odśrodkowa, to: , to można powiedzieć, że ta siła równoważy siła grawitacji, według teorii równoważności. To energia kinetyczna ciała obracającego ma się jako:
, a energia potencjalna w układzie nieinercjalnym ma się jako:
Można przyjąć, że w takim układzie całkowita energia mechaniczna, czyli suma energii kinetycznej i potencjalnej równa się zero lub z dokładnością do stałej, ale w naszym przypadku lepiej przyjąć za tą stała jest liczbą zero, zatem:
, to
. A zatem nasz interwał czasoprzestrzenny przedstawia się względem ostatnich rozważań i wzoru na interwał czasoprzestrzenny (1.17) dla obu sygnatur (znak plus u góry to sygnatura dodatnia, w przeciwnym przypadku ujemna):
Dochodzimy więc do wniosku, że wedle wzoru (1.17) i (1.18), że element tensora metrycznego, a mianowicie element o współczynnikach dolnych zerowych przedstawia się:
Widzimy, że ona zależy od potencjału skalarnego pola grawitacyjnego słabego, a więc można powiedzieć, że w układzie nieinercjalnym siły bezwładności zastępują siły grawitacji. Według zasady równoważności nie rozróżnia się sił grawitacji od sił pochodzenia nieinercjalnego (siły bezwładności), a zatem można powiedzieć:
Jeśli mamy układ zwykły oznaczony współrzędnymi: , to w układzie rotującym układ jest względem współrzędnych:
, czyli obracającym się ze stałą prędkością kątową ω, to transformacje z układu obracającego się do układu nieobracającego mają się jak:
Można policzyć różniczki zupełne wyrażeń (1.21) i (1.22), które są takowymi transformacjami z jednego układu współrzędnych do drugiego:
Obliczenia na liczbach ogólnych (1.23) i (1.24) przedstawiamy w uproszczeniu jako kombinacje różniczek współrzędnych i czasu:
Interwał czasoprzestrzenny w układzie inercjalnym przedstawia wedle sposobu (1.8). Mając transformacje różniczek, tzn. (1.25) i (1.26), wyznaczmy wedle jakiego sposobu przedstawia się on w układzie nieinercjalnym i w ten sposób możemy wyznaczyć elementy tensora metrycznego w nieinercjalnym układzie odniesienia względem układu czysto inercjalnego, który porusza się względem innych układów inercjalnym ze stałą prędkością kątową:
Wyznaczmy wyrażenia pomocnicze, które są potrzebne do obliczeń interwału w układzie nieinercjalnych w (1.27) wedle współrzędnych w układzie nieinercjalnym:
a także drugie pomocnicze obliczenia:
Dochodzimy, że interwał czasoprzestrzenny na podstawie obliczeń (1.27) i obliczeń pomocniczych (1.28) i (1.29) przedstawia się względem współrzędnych nieinercjalnych:
W obliczeniach (1.30) grupujemy wyrazy względem tych samych różniczek względem nieinercjalnego układu współrzędnych, wtedy dostajemy wzór na interwał czasoprzestrzenny w naszym rozważanym układzie współrzędnym:
Tensor metryczny w nieinercjalnym układzie współrzędnych możemy napisać na podstawie definicji interwału znanej ze szczególnej teorii względności przy definicji kwadratu infinitezymalnego interwału (1.31) dla sygnatury dodatniej i ujemnej (wiedząc, że elementy w tej sygnaturze względem sygnatury dodatniej mają przeciwne parametry):
Warto zauważyć, że elementy pozadiagonalne tensora metrycznego, wskazują na jakiś rodzaj rotacji wedle naszego przedstawienia interwału (1.31) układu nieinercjalnego względem inercjalnego.
Tensor Einsteina[edytuj]
Wyprowadzimy tutaj tensor Einsteina i wyznaczmy pochodną tensorową tego tensora i przekonamy się, że ona wynosi zero. Tożsamość Bianchiego, które podamy tutaj bez dowodu, ale jego dowód znajduje się w punkcie (MMF-2.129):
W obliczeniach na tensorach będziemy korzystać, z własności na tensorze Ricciego: gμγRμνγσ=Rνσ, oraz z antysymetryczności przedstawiania wskaźników pierwszej pary lub drugiej. Zastosujmy zwężenie tożsamości Bianchiego wymnażając obustronnie przez podwójnie kontrawariantny tensor metryczny gμγ tożsamość (1.34):
Dokonajmy teraz ponownego zwężania ostatniej równości (1.35), a także korzystając znów w naszej równości tensorowej z własności na tensorach Ricciego:
Po ostatnich przekształceniach, i po przemianowaniu wskaźników w równaniu (1.36) wedle schematu α→γ, wtedy dojdziemy do następnego równania:
Wykorzystujemy definicję delty Kroneckera oraz wykorzystujemy go do pierwszego wyrazu w równaniu tensorowym (1.37), a także redukujemy wyrazy podobne w tym samym równaniu:
Idąc dalej by mieć górne wskaźnik przy tensorach w równaniu tensorowym (1.38) należy to równanie tensorowe wymnożyć przez tensor gσβ, wtedy dostaniemy co chcieliśmy.
Wyłączając pochodną tensorową przed nawias i wykorzystując przy tym, że pochodna tensorowa elementów tensora metrycznego jest równa zero, wtedy (1.39) przechodzi w równanie:
Tensor występujący pod pochodną tensorową (1.40) nazywamy tensorem Einsteina i jest funkcją dwuwskaźnikowego tensora krzywizny Rαβ, skalaru krzywizny R, a także jest funkcją tensora metrycznego, który panuje w danej geometrii w przestrzeni czterowymiarowej.
Tensor Einsteina (1.41) na podstawie tożsamości (1.40) ma taką własność, że jego pochodna tensorowa względem wskaźnika α występujący w jego definicji (1.41) jest równa zero.
Tensor Einsteina (1.41) można zapisać w postaci bezwskaźnikowej, tzn. bez powiedzenia z jakiego typu tensorem mamy do czynienia w przypadku tensora Einsteina Gαβ, który można zdefiniować nie tylko w postaci jakby miał tylko górne wskaźniki, ale wszystkie te zapisy tensorowo są równoważne w zapisie wspomnianego tensora.
Wyprowadzona własność tensora Einsteina jest bardzo potrzebna w ogólnej teorii względności i jest wykorzystana w równaniach tensorowych Einsteina opisująca grawitację.
Rozszerzony tensor Einsteina[edytuj]
Rozszerzony tensor Einsteina zdefiniujmy w oparciu o tensor Einsteina (1.41) o stałą kosmologiczną Λ:
Wyznaczmy pochodną tensorową rozszerzonego tensora Einsteina (1.44) względem współrzędnej kontrawariantnej o numerze β, zatem na podstawie (1.42) i z własności, że pochodna tensorowa tensora metrycznego jest równa zero:
Doszliśmy więc do wniosku, że rozszerzony tensor Einsteina ma te same własności, co zwykły tensor Einsteina.
Twierdzenie o lokalnej płaskości czasoprzestrzeni (przestrzeni czterowymiarowej)[edytuj]
Przestrzeń jest lokalnie płaska w czasoprzestrzeni Einsteina, że w danym otoczeniu punktu mamy doczynienia z czasoprzestrzenią Minkowskiego, bo przestrzeń, która jest rozwiązaniem ogólnej teorii względności nie może być globalnie płaska, ale może być spełniona tylko w przybliżeniu w otoczeniu pewnego punktu w którym na płaskość obowiązuje, w której mamy tensor metryczny w przybliżeniu Minkowskiego (1.6), gdy pochodne zupełne tego tensora metrycznego są równe zero, tzn.:
- gdzie:
jest to tensor metryczny Minkowskiego
z małą poprawką do niego by z bardzo dużą dokładnością był spełniony powyższy warunek.
Zakładamy, że istnieje przekształcenia między aktualną przestrzenią, a układem lokalnie płaskim, które jest prawdziwy dla punktu, w którym ta lokalna płaskość jest spełniona według:
- gdzie:
- jest to tensor metryczny Minkowskiego.
A także również zachodzi dla ściśle określonego punktu w przestrzeni lokalnie płaskiej równanie (1.46), i ze względu na symetryczność ogólnej definicji tensora metrycznego ma on w rezultacie 1+2+3+4=10 niezależnych składowych, a ilość składowych tensora jest 4· 4=16 elementów, zatem ilość niezależnych stopni swobody w równaniu (1.47) jest równa 16-10=6. Te sześć stopni swobody odpowiada sześciu stopniom swobody przekształcenia Lorentza, tzn. nasz układ można przesunąć z prędkością
względem trzech jego niezależnych współrzędnych lub obrócić badany układ o trzy niezależne kąty. W sumie mamy sześć stopni swobody
, które powodują, że lokalny układ inercjalny pozostanie układem inercjalnym. Według równania (1.46) ilość niezależnych równań jest 10·4=40 (jest 10-to ilość niezależnych składowych tensora metrycznego, który jest jak wiadomo symetryczny i cztery niezależne składowe tensora kontrawariantnego położenia), daje nam też 40 stopni swobody. Ponieważ w tym punkcie lub jego otoczeniu istnieje tensor metryczny Minkowskiego, to małe poprawki do tensora metrycznego Minkowskiego możemy tak wybrać, by były spełnione równania (1.46), co w połączeniu z (1.47) daje nam pewne
, które możemy tak obrać by były spełnione omawiane warunki lokalnej płaskości. Jeśli mamy dany punkt układu lokalnie płaskiego wedle (1.46) i (1.47), to tensor Christoffela dla tego punktu jest równy zero i według twierdzenia Taylora istnieje w otoczeniu tego punktu w przybliżeniu canaj wyżej do wyrazów liniowych tensora krzywizny (należy pamiętać, że pochodna cząstkowa tensora krzywizny dla układu lokalnie płaskiego jest równa zero), w którym są spełnione te zależności, też istnieje w przybliżeniu lokalna płaskość dla punktów tego otoczenia. Zatem na podstawie powyższych rozważań zawsze istnieje układ lokalnie płaski, w których dla tych punktów spełnione są (1.46) i (1.47).
Definicja tensora gęstości energii-pędu[edytuj]
W szczególnej teorii względności tensor gęstości energii-pędu przedstawia się według (STW-33.20) wzorem:
- gdzie
jest to tam tensor przestrzeni metrycznej Minkowskiego o sygnaturze dodatniej,
- gdy mamy synaturę przeciwną, tzn.: sygnaturę ujemną, to tensor gęstości energii-pędu ma się jako:
My zawsze będziemy przyjmować jak w szczególnej teorii względności tą sygnaturę pierwszą. Wielkość: jest to pochodna dla μ=0 współrzędnej czasowej zdefiniowanej x0=ct względem interwału czasoprzestrzennego zdefiniowanej przez:
, gdy mamy:
, to jest ona pochodna współrzędnej położenia cząstki względem tak samo zdefiniowanego interwału czasoprzestrzennego.
Należy pamiętać, że ρ0 - to gęstość spoczynkowa, p - to ciśnienie cząstki płynu, w danym punkcie. A także zależy od jej prędkości światła (fal elektromagnetycznych).
Miano tensora gęstości energii-pędu ma się jak:
W ogólnej teorii względności, zastępując wedle schematu , oraz metrykę Minkowskiego przez inną metrykę zdefiniowaną zdefiniowaną poprzez tensor
, czyli wtedy mamy (1.3) dla sygnatury dodatniej, a dla ujemnej (1.4), które na ogół nie są tensorami metrycznymi Minkowskiego w OTW, ale może być, przy pierwszej sygnaturze tensora metrycznego Minkowskiego mamy dla tensora energii-pędu w ogólnej teorii względności:
Dla drugiej o sygnaturze otrzymujemy względem przedstawienia tensora gęstości energii-pędu (1.51), w takim razie:
Z powyższych definicji wynika, że dla tensora metrycznego jako tensora symetrycznego, wynika symetryczność tensora gęstości energii-pędu przy dowolnym tensorze metrycznym. Na podstawie symetryczności tensora metrycznego wynika, że ten tensor jest macierzą iloczynu skalarnego w czterowymiarowej czasoprzestrzeni.
Można też sformułować tensor gęstości energii-pędu (1.48) i (1.49) zastępując przez
, gdzie
jest dowolną funkcją
, gdzie
są to współrzędne kontrawariantne w czasoprzestrzeni, a
to tensor metryczny podwójnie kontrawariantny, dalej
to interwał czasoprzestrzenny. Zatem nasze równania dla sygnatury kolejno dodatniej i ujemnej, spełnione ogólnie:
Równości (1.53) i (1.54) można też zapisać przy innych układach wskaźników, wtedy zamiast tensora metrycznego jest delta Kroneckera ze wskaźnikiem u góry i u dołu, a jeden tensor prędkości (względem ) jest u dołu, zatem:
A dla przestrzeni lokalnie płaskiej nasze równania (1.53) i (1.54) wyglądają, te równania są pisane dla szczególnej teorii względności, w którym one są spełnione, a w ogólnej teorii względności są spełnione tylko szczególnie, dla tych sygnatur kolejno, tak:
Zasada zachowania energii-pędu a jego lokalność[edytuj]
Z wykładu o szczególnej teorii względności mamy, że zachodzi lokalna zasada zachowania energii-pędu (STW-33.28) z gęstością siły zewnętrznej równą zero:
Powyższy wzór jest spełniony dla punktów układu lokalnie płaskiego, w których zachodzą tożsamości (1.46) i (1.47), czyli tensor metryczny jest w przybliżeniu tensorem Minkowskiego i jego pierwsze pochodne względem współrzędnych kontrawariantnych są równe zero, ale już o wyższych pochodnych tensora gęstości energii, lokalna definicja lokalnej płaskości nić nie mówi o tych pochodnych, zatem również mamy do czynienia z metryką prawie płaską, gdy mamy do czynienia z układami, w których punktach istnieje słabe pole grawitacyjne, jak np. dla metryki obowiązujących dla pól Newtonowskich. Uogólnijmy ten wzór na dowolną metrykę, ogólnie nie tylko na lokalną płaską metrykę Minkowskiego, ale za tą metrykę obowiązującą wedle ogólnej teorii względności, którą poznamy i z którego będziemy wyznaczać elementy tensora metrycznego i przy pomocy, której będziemy tworzyć definicję kwadratu różniczki interwału czasoprzestrzennego wtedy wzór na zachowawczość tensora gęstości energii i pędu jest:
Powyższe równanie określa zasadę zachowania energii-pędu dla dowolnej przestrzeni zakrzywionej. Gdy siły zewnętrze są nierówne zero, to wtedy z definicji , tzn.: (1.130) mamy w szczególnej teorii względności:
Widzimy, że wzór (1.61) przechodzi (1.59), gdy gęstość tensora siły zewnętrzne jest równa zero. W przestrzeni zakrzywionej równość (1.61) przechodzi w:
Widzimy, że wzór (1.62) przechodzi (1.60), gdy gęstość tensora siły zewnętrzne jest równa zero.
Równania pola Einsteina[edytuj]
Tutaj przedstawmy równania Einsteina bez stałej kosmologicznej, które można zapisać dla przyciągania i odpychania grawitacyjnego, słuszne dla obu sygnatur, kolejno w postaci:
Gdy uwzględnimy inne pola, niż grawitacyjne, a także inne siły, to należy zastąpić w (1.63) i (1.64) według schematu:
W równaniu (1.65) mamy tensor , którym jest (1.51) (sygnatura dodatnia) lub (1.52) (sygnatura ujemna), albo gdy zamiast
jest
, to wtedy jest on: (1.55) (sygnatura dodatnia) lub (1.56) (sygnatura ujemna). Również mamy tensor
, który jest tensorem np. od pola elektromagnetycznego, czy też od innego, a także w nim muszą być uwzględnione wszystkie siły zewnętrzne.
Dla równania (1.63) dla przyciągania grawitacyjnego (równania dla odpychania grawitacyjnego w każdym etapie tu przeprowadzonym otrzymujemy z równania dla jej wersji przyciągającej poprzez podstawienie:
) zastosujemy definicję tensora Einsteina, to równanie grawitacji na podstawie (1.41) zapisujemy w postaci pełnej:
Widzimy, że tensor Einsteina (lewa strona równania Einsteina (1.66)) jest zależna od dwuwskaźnikowego tensora krzywizny oraz od skalaru krzywizny. W powyższym wzorze tensor Einsteina jest w proporcjonalny do tensora gęstości energii. Przekształcając równanie Einsteina (1.66) tak by otrzymać jego odwrotną postać, gdy tensor czegoś w rodzaju równania Einsteina omawianego wcześniej, czyli:
Z równań Einsteina można udowodnić, że przechodzi on do postaci, które poniżej podamy ale bardzo podobnych do oryginalnych równań Einsteina (1.66), gdy wszystkie tensory w równaniu Einsteina przedstawimy jako kowariantno-kontrawariantnego tensora i dokonując sumować po tych samych wskaźnikach górno-dolnych i po tych czynnościach dostajemy skalary odpowiednich wielkości, tzn. skalaru krzywizny i skalaru tensora gęstości napięć-energii, dzięki których możemy dokonać dalszych operacji:
Dokonując pewnych przekształceń pewnych wyrażeń w (1.67), wtedy wiemy po tych dysputach, że skalar krzywizny ma się jako:
Widzimy względem ostatniego wzoru, że skalar krzywizny jest proporcjonalny do skalaru tensora gęstości napięć-energii. Wzór (1.68) na skalar krzywizny podstawiamy do równania Einsteina (1.63) za skalar krzywizny (za R), wtedy mamy:
Następnie możemy przenieść pewne wyrazy nie będące tensorem krzywizny na prawą stronę, a więc równanie tensorowe Einsteina przestawia się:
Równanie pola (1.71) względem wcześniejszych obliczeń jest równoważne równaniu (1.63), a równanie tensorowe dla odpychania grawitacyjnego (1.72) otrzymujemy z jej wersji, ale przyciągającej, zastępując w (1.71) przez proste wspomniane zastąpienie, wtedy otrzymujemy drugi wzór niżej, a ten wzór jest równoważny równaniu (1.64), w takim razie:
Równanie Einsteina wyjściowe, tzn.: (1.71), jest słuszne dla obu sygnatur, podobnie jest z równaniem (1.72), które wyprowadziliśmy z ich wersji, ale wejściowych.
Równania pola Einsteina z uwzględnieniem stałej kosmologicznej[edytuj]
Przedstawmy równania pola Einsteina z uwzględnieniem stałej kosmologicznej, czyli musimy uwzględnić rozszerzony tensor Einsteina w postaci (1.44), a więc równanie Einsteina (1.63) (1.64) z jego uwzględnieniem o dodatkowy wyraz są dla przyciągania i odpychania grawitacyjnego przedstawione kolejno:
Podstawiając za Oαβ definicję tego tensora wedle (1.44), czyli z uwzględnieniem stałej kosmologicznej Λ, wtedy dostajemy równanie grawitacji Einsteina dla obu rodzajów oddziaływania grawitacyjnego kolejno:
Równanie (1.75) dla oddziaływania grawitacyjnego przyciągającego (dla odpychania grawitacyjnego w każdym etapie tu przeprowadzonym otrzymujemy z równania z jej wersji, ale dla oddziaływania przyciągającego, poprzez podstawienie: ) można zapisać w postaci bezwskaźnikowej bez uwzględnienia z jakimi tensorami mamy do czynienia:
- gdzie
jest tensorem Einsteina i ona jest zdefiniowane wedle (1.41).
Policzmy ślady w równaniu tensora Einsteina (1.77) względem niemych tych samych wskaźników górno-dolnych do wyznaczenia ich jako skalarów tychże wielkości, czyli tensor Einsteina przedstawimy w postaci kowariantno-kontrawariantnego tensora (1.75):
Widzimy, że skalar tensora Einsteina jest równa skalarowi krzywizny z dokładnością do minusa.
Uwzględniając definicję rozszerzonego tensora Einsteina w równaniu Einsteina (1.75), gdy w ogólności stała kosmologiczna jest nie równa zero, zatem licząc ich ślady, wtedy mamy:
Biorąc policzoną wartość skalaru G (1.78) podstawiamy do równania skalarnego (1.79), wtedy dostajemy równość:
Widzimy, że skalar krzywizny zależy od stałej kosmologicznej i skalaru tensora gęstości energii, stąd mamy czemu jest równy skalar Ricciego, poniżej mamy równania Einsteina w jego pełnej postaci z uwzględnieniem stałej kosmologicznej zapisując je w postaci bezwskaźnikowej:
Wszystkie wyrazy po lewej stronie przenosimy na prawą stronę równania (1.81) oprócz tensora krzywizny, wtedy dostajemy po przekształceniu:
Następnym naszym krokiem jest podstawienie za skalar krzywizny Ricciego, w równaniu tensorowym (1.82) wyrażenia policzonego w punkcie (1.80), wtedy po dokonanych operacjach tuż po, dostajemy:
Po krótkich przekształceniach i redukcji pewnych wyrazów w (1.83), otrzymujemy że tensor dwuwskaźnikowy krzywizny jest równy pewnemu wyrażeniu, bardzo podobnego do pierwotnego równania Einsteina (1.81) z uwzględnieniem stałej kosmologicznej.
Równanie pola (1.85) względem wcześniejszych obliczeń jest równoważne równaniu (1.75), a równanie tensorowe dla odpychania grawitacyjnego (1.86) otrzymujemy z jej wersji, ale dla oddziaływania przyciągającego, zastępując w (1.85) przez proste wspomniane zastąpienie, wtedy otrzymujemy drugi wzór niżej, a ten wzór jest równoważny równaniu (1.76), w takim razie:
Równanie Einsteina wyjściowe, tzn.: (1.85), jest słuszne dla obu sygnatur, podobnie jest z równaniem (1.86), które wyprowadziliśmy z ich wersji, ale wejściowych.
Zachowawczość energii, a równania grawitacji Einsteina[edytuj]
Korzystając z równań grawitacji Einsteina (1.73), to równania są tak sformułowane, by była spełniona zasada energii, tzn. jeśli lewa strona tegoż równania, którego pochodna tensorowa jest równe zero według (1.45), to musi być spełniona zasada zachowania energii i pędu, tzn. dokonując różniczkowania tensorowego obu stron naszego równania, otrzymujemy:
Z obliczeń (1.87) wynika równanie (1.60), czyli z ogólnej teorii względności wynika zasada zachowania energii i pędu.
Równania ruchu, a linie geodezyjne w ogólnej teorii względności[edytuj]
Mając już policzona metrykę czasoprzestrzeni poprzez równania Einsteina (1.63) lub mając niezerową stałą kosmologiczną, to wtedy liczymy z równania (1.73), zatem na podstawie tegoż równania liczymy już wspomnianą metrykę poprzez policzone już elementy tensora metrycznego. Na podstawie tego liczymy elementy tensora Christoffela i w ten sposób wyznaczamy następne położenie cząstki masowej w ogólnej teorii względności. Już mając następne położenie wyznaczamy znów metrykę przy nowym położeniu cząstek masowych i te kroki powtarzamy w nieskończoność do chwili, do której interesuje nas badanie układu relatywistycznego.
W przestrzeni euklidesowej linia prosta jest to krzywa, której przenosi swój własny wektor prędkości w sposób równoległy do tej krzywej w danym jej punkcie, w przestrzeni nieuklidesowej mamy jakąś krzywą, która jest prostą w tym naszym układzie, i aby nasz wektor był przenoszony równolegle to musi być styczna do tej prostej, czyli wielkość zdefiniowana musi spełniać warunek:
aby cały czas wektor Uμ był styczny do naszej prostej w tej naszej przestrzeni absolutnej. Oczywiste jest, że wektor Uμ, aby był czterowektorem prędkości (1.8), tzn. Uμ=uμ, to musi zachodzić λ=s, czyli nasz parametr byłby wtedy interwałem czasoprzestrzennym. Ale dla ogólności rozważań lepiej przyjąć dowolny parametr λ, bo zmiana interwału czasoprzestrzennego dla bezmasowych cząstek (m0) jest równy zero wedle (1.3), wtedy czterowektor prędkości jest nieokreślony. Jeśli λ=s, ale lepiej jest, gdy to jest dowolny parametr, ze względu na fotony pędzące z prędkościa światła , wtedy
, ale nie ogólnie
, to równanie (1.88) jest spełnione, gdy w układzie badanym nie występują siły niegrawitacyjne, występuje tylko grawitacja z zaniedbywalnym ciśnieniem, którego od niej gęstość siły jest bardzo mała, lub według zasady niezależności działania tensorów sił, jeśli rozpratrujemy tylko ruch pochodzący od grawitacji, wtedy równanie (1.88) jest dokładnie spełnione. Normalnie dla całkowitego tensora sił dla ciała punktowego z uwzględniem innych tensorów sił równanie (1.88) przy tej definicji λ uogólniamy do:
Gdy , to równość (1.89) przechodzi w (1.88).
W czasoprzestrzeni lokalnie płaskiej wzór (1.89), wtedy możemy zamienić przecinek średnikiem, bo symbole Christoffela są tam równe zero, przechodzi w:
Równanie (1.90) jest to tensorowe równanie dynamiki Einsteina szczególnej teorii względności, napisane w (STW-20.33), przy , wtedy
, czyli jest spełniona na pewno silna zasada równoważności.
Równanie (1.89) dla układów rozciągłych wygląda następująco:
- Twierdzenia dla układów rozciągłych przedstawiamy zastępując w twierdzeniach dla układów dyskretnych w obliczeniach według
i
, jak np. przechodząc od (1.89) do (1.91), i wiedząc, że czas jako współrzędna jest taki sam jak w układzie inercjalnym, wtedy:
[Patrz: 1.1] i
[Patrz: 1.2], gdzie
,
i
są to kolejno infinitezymalne objętości w układach: zakrzywionym, płaskim inercjalnym i spoczynkowym inercjalnym, a
jest to wyznacznik tensora metrycznego prostego, a
jest zdefiniowane w punkcie (STW-8.9) (tam wybieramy ze znakiem plus). Gdzie tam pierwsza zależność wynika z (3.8), a druga z (STW-18.7).
Linie geodezyjne, a druga pochodna czterowektora kontrawariantnego położenia[edytuj]
Będziemy badać wzory na linie geodezyjne, gdy siły niegrawitacyjne występują lub one nie występują, a poza tym siły grawitacyjne w nich zawsze występują.
Gdy występują tylko siły grawitacyjne[edytuj]
Z definicji pochodnej kontrawariantnej i własności styczności wektora do prostej (1.88), a także z definicji pochodnej tensorowej można zapisać równanie geodezyjne w postaci pierwotnej:
Pomnóżmy obustronnie równość tensorową (1.92) przez kontrawariantny tensor czterowektora prędkości Uβ, wtedy otrzymujemy inne równoważne do poprzedniego równanie:
Z definicji czterowektora prędkości i twierdzenie o pochodnej złożonej wyznaczmy wyrażenie występujące jako pierwszy składnik we wzorze (1.93), zatem możemy napisać:
Na podstawie obliczeń (1.94) na liczbach ogólnych, które to wniosek podstawiamy do równania tensorowego (1.92) za pierwszy składnik, zatem udowodniliśmy że zachodzi:
Podstawiając, za współrzędne czterowektora wektora prędkości Uβ jego definicję, jako pochodna czteropołożenia względem interwału czasoprzestrzennego, dostajemy równoważne równanie tensorowe do (1.95):
Wyrażenie (1.95) możemy zapisać w postaci bezwskaźnikowej, bez uwzględnienia z jakimi rodzaju tensorami mamy do czynienia:
Otrzymaliśmy równanie, dzięki któremu czterowektor Uβ jest przenoszony równolegle, stycznie wzdłuż naszej prostej i jest to równanie ruchu cząstki masowej lub bezmasowej w ogólnej teorii względności, jeśli w (1.100) dla układów dyskretnych i
w (1.104) dla układów rozciągłych.
Jeśli w prowadzimy definicję parametru λ, który może być interwałem czasoprzestrzennym "s", poprzez inny parametr ξ w sposób: s=aξ+b, to można udowodnić w sposób łatwy, korzystając z poprzedniego równania, że line geodezyjne wedle (1.95) przy zerowych siłach niegrawitacyjnych zapisujemy jako:
W przestrzeni euklidesowej płaskiej, gdy mamy zerowe siły niegrawitacyjne, mamy na pewno, że poszczególne elementy tensora metrycznego spełniają związek: Γμαβ=0, stąd dostajemy:
Po rozwiązaniu równania (1.95) dowiadujemy się, że rozwiązaniem jego jest równaniem prostej w naszej przestrzeni przy naszej definicji tensora Christoffela.
Gdy również występują siły niegrawitacyjne[edytuj]
Będziemy rozważać tu układy dyskretne i rozciągłe.
Układy dyskretne[edytuj]
A gdy występują inne tensory sił, to wtedy równanie (1.97) podobnie przekształcamy jak (1.97) z (1.88), wtedy:
Gdy tensor sił niegrawitacyjnych jest równy zero, wtedy równość (1.100) przechodzi w równanie geodezyjne (1.96), gdy na układ nie działają żadne siły niegrawitacyjne. Druga zasada dynamiki Einsteina według równości końcowej (1.100) i wzór na tensor siły pochodzący od grawitacji, piszemy wzorami:
A tensor siły w (1.100), czyli , jest tensorem siły od oddziaływań niegrawitacyjnych.
Kilka żródeł grawitacyjnych[edytuj]
Załóżmy, że mamy kilka mas, każda ona zakrzywia czasoprzestrzeń, weźmy zasadę niezależności działania tensorów sił szczególnej teorii względności spełniona też w ogólnej teorii względności, wtedy korzystając z równości na tensor siły grawitacyjnej mamy na podstawie (1.102):
Widzimy, że w (1.103) poszczególne masy dostarczają swoje własne symbole Christoffela do poruszającej się masy względem niego, a wszystkie pola grawitacyjne od tych mas tworzą razem inne symbole
, które opisuje całkowite zakrzywienie czasoprzestrzeni od tych mas.
Układy rozciągłe[edytuj]
Równanie geodezyjne (1.100) dla układów rozciągłych zastępując w (1.102) wielkości: i
, kolejno przez:
i
, napiszmy, wiedząc, że czas jako współrzędna jest taki sam jak w układzie inercjalnym:
Gęstość tensora siły całkowitej stanowiącej drugą zasadę dynamiki Einsteina szczególnej teorii względności dla układów rozciągłych, też i gęstość tensora siły od sił grawitacyjnych, napiszmy kolejno na podstawie (1.104):
Linie geodezyjne, a druga pochodna czterowektora kowariantnego położenia[edytuj]
Będziemy badać wzory na linie geodezyjne, gdy siły niegrawitacyjne występują lub one nie występują, a poza tym siły grawitacyjne w nich zawsze występują.
Gdy występują tylko siły grawitacyjne[edytuj]
Przedstawimy teraz inne podejście do ruchu cząstki materialnej czyli piszemy linie geodezyjne w sposób kowariantny, czyli proste w przestrzeni czterowymiarowej spełniający warunek, który jest pochodną kowariantną Uμ;β=0, ale z definicji pochodnej kowariantnej możemy napisać:
Pomnóżmy teraz obie strony równania tensorowego (1.107) przez elementy czterowektora prędkości Uβ, otrzymując wynikowe równanie:
Rozwińmy wyrażenie występujące w równaniu tensorowym (1.108) występujący jako odjemna wykorzystując definicję pochodnej zupełnej, i przestawmy ją jako pochodna kowariantnego tensora czteroprędkości względem parametru λ.
wykorzystując udowodnioną powyższą tożsamość i podstawiając do równości (1.108), wtedy dochodzimy do wniosku, że zachodzi na pewno tożsamość poniżej, które to poniższe równanie jest równaniem linii geodezyjnej.
Możemy wykorzystać definicję czterowektora prędkości, wtedy wzór na równość tensorową (1.109) zapisujemy wedle:
Jeśli oznaczymy jako definicję parametru λ, który może być interwałem czasoprzestrzennym "s", poprzez parametr ξ w sposób s=aξ+c, to równanie na linie geodezyjne (1.110) można przedstawić w postaci:
Równania (1.95) i (1.108) stanowią równania ruchu cząstki w czterowymiarowej czasoprzestrzeni Einsteina i jak udowodnimy później, te dwa równania są ze sobą równoważne. Dla układów płaskich rozwiązaniem (1.111) jest równanie (1.99) tylko, że ze wskaźnikami do dołu.
Gdy w równaniach na linie geodezyjne uwzględnimy siły niegrawitacyjne[edytuj]
Będziemy rozważać tu układy dyskretne i rozciągłe.
Układy dyskretne[edytuj]
A gdy występują inne tensory sił, to wtedy równanie (1.89) podobnie przekształcamy jak (1.110) z (1.88), wtedy:
Gdy tensor sił niegrawitacyjnych jest równy zero, wtedy równość (1.112) przechodzi w równanie geodezyjne (1.110), gdy na układ nie działają żadne siły niegrawitacyjne. Równanie ruchu dynamiki Einsteina i równanie na tensor sił grawitacji działający na ciało według (1.112) są równe:
Kilka żródeł grawitacyjnych[edytuj]
Załóżmy, że mamy kilka mas, każda ona zakrzywia czasoprzestrzeń, weźmy zasadę niezalezności działania tensorów sił szczególnej teorii względności spełniona też w ogólnej teorii względności, wtedy korzystając z równości na tensor siły grawitacyjnej mamy na podstawie (1.114):
Widzimy, że w (1.115) poszczególne masy dostarczają swoje własne symbole Christoffela do poruszającej się masy względem niego, a wszystkie pola grawitacyyjne od tych mas tworzą razem inne symbole
, które opisuje całkowite zakrzywienie czasoprzestrzeni od tych mas.
Układy rozciągłe[edytuj]
Równanie geodezyjne (1.112) dla układów rozciągłych zastępując w nim wielkości: i
, kolejno przez:
i
, napiszmy, wiedząc, że czas jako współrzędna jest taki sam jak w układzie inercjalnym:
Gęrstość tensora siły całkowitej stanowiącej drugą zasadę dynamiki Einsteina szczególnej teorii względności dla układów rozciągłych, też i gęstość tensora siły od sił grawitacyjnych, napiszmy kolejno na podstawie (1.116):
Równoważność wzorów na linie geodezyjne w przedstawieniu kowariantnym i kontrawariantnym[edytuj]
Będziemy tu udowadniać zgodność wzorów na linie geodezyjne w przedstawieniu kowariantnym i kontrawariantnym, co udowodnimy, że te dwa wzory są ze sobą równoważne.
Układy dyskretne[edytuj]
Wzór na linię geodezyjną w przedstawieniu kontrawariantnym pomnóżmy przez tensor metryczny podwójnie kowariantny, oraz wykorzystując fakt, że pochodna tensora względem pewnego parametru jest tensorem oraz z własności tensorów metrycznych, otrzymujemy:
Wykorzystajmy własność taką, że ogólnie tensor czteroprędkości kontrawariantny Uα przedstawmy z zależności od kowariantnego tensora Uγ, co tensorowo możemy zapisać:
Wykorzystując tożsamość tensorową (1.120) do równości tensorowej (1.119):
Co na podstawie dowodu (1.121) udowodniliśmy równoważność wzorów przedstawiający równości na linię geodezyjną, czyli tożsamości (1.100) i (1.112), które oznaczają to samo.
Układy rozciągłe[edytuj]
Wzór na linię geodezyjną w przedstawieniu kontrawariantnym pomnóżmy przez tensor metryczny podwójnie kowariantny, oraz wykorzystując fakt, że pochodna tensora względem pewnego parametru jest tensorem oraz z własności tensorów metrycznych, otrzymujemy:
Wykorzystując tożsamość tensorową (1.120) do równości tensorowej (1.122):
Co na podstawie dowodu (1.123) udowodniliśmy równoważność wzorów przedstawiający równości na linię geodezyjną, czyli tożsamości (1.100) i (1.112), które oznaczają to samo.
Tensor siły grawitacji i inne tensory siły (w tym całkowity tensor siły w drugiej zasadzie dynamiki Einsteina), jako tensory z definicji tensora matematycznego[edytuj]
Tensor siły grawitacyjnej, jak można poniżej udowodnić jest tensorem, bo bierzemy tutaj, zbiór stałych transformacji, wtedy nie tylko ten tensor, ale również tensor siły całkowitej drugiej zasady dynamiki Einsteina jest tensorem, jak i inne tensory siły, przy stałych transformacjach symbole Christoffera są tensorami (i dlatego tak jest) - dlatego te symbole są tensorami, bo stałe transformacje można włożyć pod pochodną cząstkową tensora metrycznego w definicji tych symboli, i po transformacji otrzymujemy inne tensory metryczne, ale nie jest już tak dla funkcji transformacji niestałych, stałe transformacji rozdzielają wszechświat na podprzestrzenie, w których panują inne funkcje transformacji stałe. Jeżeli w jednym układzie (lub punkcie) nie ma grawitacji, to w innym też nie ma, czyli można rozważać przestrzeń bez grawitacji z trzema podstałymi oddziaływaniami (model standardowy dla trzech podstawowych oddziaływań - elektromagnetyczne, silne i słabe), czyli są przestrzenie, w której grawitacji nie ma lub jest.
Druga zasada dynamiki Einsteina w wersji wektorowej[edytuj]
Napiszmy równania w postaci podobnej, jak w drugiej zasadzie dynamiki Einsteina-Newtona, dla szczególnej teorii względności, czy w mechanice Newtona, ale też spełnioną w ogólnej teorii względności, w postaci:
W nim jest współrzędną przestrzenną tensora prędkości, zatem jeśli
jest tensorem pędu, to
jest współrzędną przestrzenną tensora prędkości, też spełniona w ogólnej teorii względności, tak samo jak w szczególnej teorii względności.
Niezależność działania sił, i że addytywność wektorów sił, w ogólnej teorii względności, udowadnia się podobnie, jak dla mechaniki Einsteina-Newtona (jak w szczególnej teorii względności i mechanice Newtona).
Przedstawia się addytywność wektorów sił:
Zależność pomiędzy wektorem tensora prędkości, a wektorem siły przedstawia się wzorem:
Dla szczególnej teorii względności jest spełnione równanie na tensor siły, które przedstawimy dla układów lokalnie płaskich ogólnej teorii względności, który napisaliśmy w wykładzie szczególnej teorii względności w punkcie (STW-20.41):
Podobny wzór możemy również otrzymać w ogólnej teorii względności, tylko w iloczynie są wskaźniki dolne i górne, nie górne, zapisaną w sposób, biorąc dla dwóch sygnatur:
Zapisując wniosek (1.128), biorąc iloczyn skalarny przestrzeni zwykłej , to wtedy ta równość przechodzi w (1.127), tylko przy innej definicji
z jego definicją dla ogólnej teorii względności, ale nie już dla szczególnej teorii względności.
Uogólnijmy wzór (1.124), by w nim było
, a nie
, wtedy wektor siły przedstawia się w formie:
Dla wzoru (1.129) niezależność działania sił i addytywność udowadnia się podobnie, jak dla wersji z wektorami zwykłymi tensora prędkości. A wtedy wzór (1.127) uogólniamy do tej wersji (ten wzór pod względem zapisu jest taki sam), a wartość piszemy:
Też jest spełnione przy takim uogólnieniu wzór na tensor wektora siły, w tym przypadku równość (1.126), przy definicji (1.130), i z niego wynikającej definicji wektora siły, innej niż, ale równoważnej, do (1.129).
Zgodność wzoru na linie geodezyjne z metryką przy ogólnie niezerowych siłach niegrawitacyjnych[edytuj]
Formułę (1.11) zrózniczkujmy obustronnie, gdzie parametrem różniczkowym względem, którego różniczkujemy, jest interwał czasoprzestrzeny do:
Jeżeli w równaniu (1.131) zamienimy na
, wtedy zamieniamy
w
dla formalności, to ono jest dalej spełnione i jest w postaci:
Równanie (1.132) jest równoważne równaniu (1.131), nie tylko dla (gdy zmienna
jest równa interwałowi czasoprzestrzennemu), bo to wynika z rachunku różnicowego dla kroku
nieskończenie małego, ale stałego, więc w (1.131) można zastąpić
przez
, i tak powstaje równanie różniczkowe (1.132).
Układy dyskretne[edytuj]
Skorzystajmy ze wzoru na linie geodezyjne, gdy liczymy pochodne kowariantne tensorów prędkości w przedstawieniu kontrawriantym (1.95) i kowariantnym (1.109), co pomnózmy go obustronnie przez kolejno przez i
, co potem skorzystamy ze wzoru (1.132), wtedy:
Końcowe równanie w (1.133) przekształćmy do układów lokalnie płaskich, wtedy jest tensorem siły równej całkowitemu tensorowi siły według drugiej zasady dynamiki Einsteina według (1.89), zatem w tym układzie po zamienieniu
na
(interwał czasoprzestrzenny):
Równanie (1.134) jest również spełnione dla dowolnej definicji , nie tylko dla
, bo zachodzi wytłumaczone (1.132).
Stąd tożsamość (1.133) jest na pewno spełniona na podstawie (1.134) (dla dowolnego
), a więc wzór na linie geodezyjne jest zgodny z metryką.
Układy rozciągłe[edytuj]
Równanie (1.131) pomnóżmy przez , wtedy otrzymamy:
Wykorzystajmy równości (1.104) (przedstawienie kontrawariantne równania geodezyjnego) i (1.116) (przedstawienie kowariantnego równania geodezyjnego), wtedy:
Końcowe równanie w (1.136) przekształćmy do układów lokalnie płaskich, wtedy jest tensorem siły równej całkowitej gęstości tensora siły według drugiej zasady dynamiki Einsteina według (1.89), zatem w tym układzie dla
:
Jeżeli równanie (1.137) jest spełnione dla , to jest również spełnione dla dowolnej definicji
, bo zachodzi wytłumaczone (1.132), zatem dla układów rozciągłych metryka jest zgodnę z równaniem na linie geodezyjne na podstawie (1.136) według udowodnionego wniosku (1.137).
Zasada zachowania energii-pędu dla układów lokalnie płaskich przy zerowaniu się tensorów sił niegrawitacyjnych[edytuj]
W układzie lokalnie płaskim tensory Christoffela są równe zero z uwagi, że tensor metryczny jest równy tensorowi Minkowskiego i pochodne cząstkowe tego tensora są równe zero. Wtedy z uwagi na (1.95) rozwiązaniem równania tego jest (1.99), zatem tensor prędkości cząstki w układzie lokalnie płaskim, jeżeli przymniemy , jest równy:
Czyli dla układów lokalnie płaskich na podstawie (STW-20.54), w którym prędkości są stałe dowiadujemy się, że:
I dalej stąd dowiadujemy się, że na podstawie (1.139) energia i pęd w układzie lokalnie płaskim są zachowane. Też ten sam wniosek możemy otrzymać z (1.95) przy zerowaniu się symboli Christoffela.
Równanie dewiacyjne i dewiacja geodezyjna, według zasady niezalezności działania tensorów sił[edytuj]
Będziemy tutaj wyprowadzali dewiacyjne równanie uwzględniające tylko siły grawitacji albo siły niegrawitacyjne lub oba.
Równanie dewiacyjne, a tylko siły grawitacji[edytuj]
Weźmy sobie dwie krzywe geodezyjna, odległość pomiędzy cząstkami poruszających się na tych liniach określamy według definicji , zatem różnica wzorów na linie geodezyjne (1.96) dla
i
dla układów lokalnie płaskich, tu wykorzystajmy zasadę namniejszego działania tensorów sił, wtedy znika tensor sił niegrawitacyjnych, określamy jako:
Napiszmy teraz drugą pochodną wielkości absolutnej ξ wykorzystując (MMF-2.33), a także (MMF-2.35) wykorzystując przy okazji udowodnioną tożsamość (1.140) dla układu współrzędnych lokalnie płaskiego, w której w punktach płaskości tensor Christoffela jest równy zero:
Końcowy wniosek wynikający z obliczeń (1.141) jest słuszny tylko w układzie współrzędnych lokalnie płaskich, w której to w punktach płaskości tensor Christoffela jest równy zero. Udowodnijmy jego słuszność w dowolnym układzie współrzędnych:
Na podstawie obliczeń (1.142) wynikających z (1.141) wnioskujemy, że w dowolnym układzie współrzędnych jest spełnione prawo zwane równaniem dewiacyjnym:
Układy dyskretne[edytuj]
Według zasady niezależności działania tensorów sił, podobne równanie do (1.143), napiszmy równanie dewiacyjne, gdy nie ma grawitacji, tylko są siły niegrawitacyjne, wtedy ono piszemy, zapisując w nim przecinek średnikiem w układach lokalnie płaskich, co w takich układach można tak robić:
Wykorzystując tą naszą zasadę połączmy równania (1.143) i (1.144), wtedy:
Równanie (1.145) jest udowodnione w układach lokalnie płaskich, co na podstawie teorii transformacji jest ono również spełnione w układach zakrzywionych. Równanie (1.147) jest udowodnione w układach lokalnie płaskich, co na podstawie teorii transformacji jest ono również spełnione w układach zakrzywionych. To równanie jest równaniem dewiacyjnym uwzględniającym siły grawitacji i niegrawitacyjne. Równanie (1.144) nazywamy równaniem dewiacyjnym układów zakrzywionych odległości pomiędzy dmoma ciałami bardzo bliskimi względem siebie przy uwzględnieniu tensorów sił pochodzący od oddziaływań niegrawitacyjnych.
Układy rozciągłe[edytuj]
Według zasady niezależności działania tensorów sił, podobne równanie do (1.143), napiszmy równanie dewiacyjne, gdy nie ma grawitacji, tylko są siły niegrawitacyjne, wtedy ono piszemy, zapisując w nim przecinek średnikiem w układach lokalnie płaskich, co w takich układach można tak robić:
Wykorzystując tą naszą zasadę połączmy równania (1.143) i (1.146), wtedy:
Równanie (1.147) jest udowodnione w układach lokalnie płaskich, co na podstawie teorii transformacji jest ono również spełnione w układach zakrzywionych. To równanie jest równaniem dewiacyjnym uwzględniającym siły grawitacji i niegrawitacyjne. Równanie (1.146) nazywamy równaniem dewiacyjnym układów zakrzywionych odległości pomiędzy dmoma ciałami bardzo bliskimi względem siebie przy uwzględnieniu tensorów sił pochodzący od oddziaływań niegrawitacyjnych.
Lokalna zasada zachowania energii-pędu[edytuj]
Weźmy lokalną zasadę zachowania energii-pędu szczególnej teorii względności (STW-37.16), wtedy to możemy zapisać jako:
Równanie (1.148) w układach zakrzywionych przyjmuje postać zamieniając przecinek średnikiem i wykorzystując (Patrz: 1.1) i (Patrz: 1.2), wtedy:
Równanie (1.149) jest równaniem lokalnej zasady zachowania energii-pędu wynikającej z praw szczególnej teorii względności z zasady zachowania energii-pędu lub lokalnej zachowawczości tensora gęstości energii-pędu.
Lokalna zasada zachowania tensora gęstości pędu[edytuj]
Weźmy lokalną zasadę zachowania tensora gęstości pędu szczególnej teorii względności według (STW-34.9), wtedy możemy napisać wynikająco:
Przetransformuwujmy równanie (1.150), które jest dla układów lokalnie płaskich, zamieniając w nim przecinek na średnik, wiedząc, że macierz transformacji jest w postaci:
Wtedy na podstawie transformacji z macierzą transformacji (1.151) w (1.150) możemy dokonać tą wspomnianą operację przechodząc z układu lokalnie płaskiego do zakrzywionego:
Równość (1.152) jest równaniem lokalnej zasady zachowania tensora gęstości pędu dla układów zakrzywionych.
Rozwiązywanie układu równań ogólnej teorii względności[edytuj]
Ogólna teoria względności przedstawia swój zestaw równań ze sobą sprzecznych: równanie Hilberta-Einsteina (1.63) (dla przyciągania grawitacyjnego) i (1.64) (dla odpychania grawitacyjnego) - należy tutaj tensor gęstości energii-pędu rozłożyć na ten podstawowy i inny zewnętrzny, lokalna zachowawczość tensora gęstości energii-pędu (1.62), równanie geodezyjne (1.91) (układy rozciągłe), lokalna zasada zachowania energii-pędu (1.149), lokalna zasada zachowania tensora gęstości pędu (1.152) i równanie wynikające z definicji jedynki z definicji różniczki interwału czasoprzestrzennego (1.14), równania cechowania wynikłe z teorii lagrangianowych równania geodezyjnego dla układów rozciągłych i dalej należy uwzględnić w gęstościach sił (nawet w zewnętrznych) tensory sił od pola elektromagnetycznego i w dwóch prawach Hilberta-Einsteina grawitacji (równania opisujące odpychanie i przyciąganie grawitacyjne), dodatkowy człon, który jest tensorem gęstości energii-pędu od tego pola (gdy uwzględnimy pole elektromagnetyczne), oraz równania elektrodynamiki klasycznej dla układów zakrzywionych, te równania rozwiązuje się jak równania szczególnej teorii względności, tylko zamiast przestrzeni słabozakrzywionych, uważanych za ogólnie nieprostokątne ze współrzędnymi ogólnie nieprostokątnymi albo krzywoliniowymi lub uogólnionymi, mamy przestrzenie zakrzywione, zbudowane na przestrzeni słabozakrzywionej według szczególnej teorii względności, i zamiast szczególnej teorii względności jest ogólna teoria względności. Te równania możemy ogólnie zapisać tensorowo i rozwiązywać je, jak równania szczególnej teorii względności, według twierdzenia (Twier. STW-30.1), tylko zamiast równań szczególnej teorii względności są równania ogólnej teorii względności.
Podręcznik: Ogólna teoria względności.