Metody matematyczne fizyki/Rachunek tensorowy

Metody matematyczne fizyki
Metody matematyczne fizyki
Rachunek tensorowy

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


Następny rozdział: Układ współrzędnych. Poprzedni rozdział: Działania na wektorach.

Podręcznik: Metody matematyczne fizyki.

Przestrzeń nieeuklidesowa - przestrzeń, która nie jest przestrzenią euklidesową, tzn. nie jest spełniony piąty postulat geometrii euklidesowej o prostych równoległych.

Konwencja Einsteina

edytuj

W standardowej konwencji sumacyjnej, dla przypadku tensorowego przy sumowaniu iloczynów tensora kontrawariantnego Tn i kowariantnego Sn, których wskaźnikiem niemym jest n, tę sumę możemy zapisać:

(2.1)

A jeśli użyjemy konwencji sumacyjnej Einsteina, to przykład (2.1) zapisujemy w prostszej postaci:

(2.2)

Widzimy, że obie konwencje oznaczają to samo, ale wygodniejsza jest konwencja Einsteina, bo zapis wyrażenia P jest o wiele prostszy i zawsze będziemy stosować konwencję Einsteina (chyba że zostanie napisane inaczej).

Tensor kowariantny

edytuj

Tensorem kowariantnym bez konwencji Einsteina, który zawiera tylko dolne wskaźniki o ściśle określonej liczbie, nazywamy obiekt, który transformuje się ze zmiennych starych, których liczba wynosi m, na nowe o takiej samej liczbie zmiennych:

(2.3)

Dla przykładu podamy jak się transformuje tensor o dwóch wskaźnikach dolnych ze współrzędnych starych na nowe, dla dwóch zmiennych zapisanych w konwencji Einsteina.

(2.4)

A transformację tensora z jednych współrzędnych do drugich o dwóch wskaźnikach dolnych dla m zmiennych ze starych współrzędnych na nowe zapisaną w konwencji Einsteina przedstawiamy:

(2.5)

Tensor kontrawariantny

edytuj

Tensorem kontrawariantnym bez konwencji Einsteina, który zawiera tylko dolne wskaźniki o ściśle określonej liczbie, nazywamy obiekt, który transformuje się ze zmiennych starych na nowe według schematu:

(2.6)

Dla przykładu podamy jak się transformuje tensor o dwóch wskaźnikach górnych dla dwóch zmiennych zapisanej ze starych na nowe w konwencji Einsteina:

(2.7)

A transformację tensora z jednych współrzędnych do drugich o dwóch wskaźnikach górnych dla m zmiennych zapisanych q starych współrzędnych na nowe w konwencji Einsteina piszemy:

(2.8)

Definicja prostego tensora metrycznego

edytuj

Załóżmy, że mamy przestrzeń n-wymiarową, przy zastosowaniu twierdzenia o różniczce zupełnej zależnej od n zmiennych, używając przy tym definicji delty Kroneckera, możemy przedstawić infinitezymalną długość według schematu:

(2.9)

W obliczeniach (2.9) wprowadziliśmy tensor gkr, mając zmienne xi przedstawione w zależności od współrzędnych w układzie krzywoliniowym:

(2.10)

Mając powyższy wzór (2.10) tensor metryczny w układzie kartezjańskim przedstawiany jest jako delta Kroneckera, który jest tensorem symetrycznym z definicji.

Teraz udowodnimy, że tensor metryczny jest tensorem symetrycznym, korzystając z definicji tensora Kroneckera, który jest symetryczny, wtedy możemy dojść do wniosku, że:

(2.11)

W powyższym wzorze, gdy zamienimy miejscami k na r i odwrotnie, mamy gkr=grk, czyli tensor metryczny jest symetryczny, co oznacza, że dla macierzy g tensora metrycznego mamy: g=gT, bo .

Definicja odwrotnego tensora metrycznego

edytuj

Tensor odwrotny do tensora metrycznego gkr definiujemy w analogii do tensora metrycznego prostego, przestawionego w punkcie (2.10), wedle wzoru:

(2.12)

Oczywiste jest, że tensor metryczny odwrotny (2.12) jest tensorem symetrycznym (korzystać tutaj będziemy z symetryczności delty Kroneckera), czego dowód jest przedstawiony poniżej:

(2.13)

W powyższym wzorze, gdy zamienimy miejscami k na r i odwrotnie, mamy gkr=grk, zatem możemy dojść do wniosku, że odwrotny tensor metryczny przestawionej w punkcie (2.12) jest tensorem symetrycznym ze względu na zmianę wskaźników k i r między sobą.

Wykorzystanie tensora metrycznego prostego lub odwrotnego w działaniach na zwykłych tensorach

edytuj

Aby zamienić zwykły tensor lub tensor metryczny z jego wersji kowariantnej do kontrawariantnej lub odwrotnie, postępujemy wedle schematów:

(2.14)
(2.15)

Jeśli zwykły tensor ma kilka wskaźników, składających się ze wskaźników dolnych lub górnych albo składających się ze wskaźników jednocześnie górnych i dolnych, to możemy je przenosić z góry na dół lub odwrotnie, wykorzystując podobne przedstawienia do (2.14) lub (2.15).

Właściwości tensora metrycznego kowariantno-kontrwariantnego

edytuj

Sprawdźmy, czy tensor metryczny kowariantno-kotrawarianty jest tensorem jednostkowym, ale korzystając z definicji tensora metrycznego prostego (2.10) i odwrotnego (2.12) oraz podobnych przekształceń do (2.14) i (2.15), kolejno postępując:

(2.16)

Na podstawie obliczeń (2.16) dochodzimy do wniosku, że prawdziwe są poniższe wzory na tensor metryczny kowariantno-kontrawariantny i na tensor metryczny kontrawariantno-kowariantny:

(2.17)
(2.18)

Macierz gmk jest macierzą diagonalną i jednostkową, a także tensor jako macierz gij jest macierzą odwrotną do macierzy (tensora) gij wedle obliczeń przeprowadzonych w punkcie (2.16).

Baza krzywoliniowa, a tensor metryczny

edytuj

W układzie krzywoliniowym wektor wodzący można przedstawić w układzie Euklidesa, w którym zanurzony jest układ krzywoliniowy, a zapisać go możemy przy pomocy wzoru zależnego od współrzędnych kartezjańskich i współrzędnych krzywoliniowych:

(2.19)

Zdefiniujmy wektor, który jest zapisywany jako pochodna cząstkowa wektora wodzącego (2.19) względem współrzędnej krzywoliniowej qm:

(2.20)

Wyznaczmy iloczyn wektorów zdefiniowanych w (2.20) o wskaźnikach m i n, wtedy możemy dojść do wniosku, że końcowy wynik jest tensorem metrycznym prostym (2.10), co wynika z definicji wektora kowariantnego (2.20):

(2.21)

Jeszcze raz przepiszmy wynik końcowy obliczeń w punkcie (2.21), który jest analogiczną definicją do (2.10). Stąd wynika, że iloczyn dwóch wektorów kowariantnych jest równy podwójnie kowariantnemu tensorowi metrycznemu:

(2.22)

Podnieśmy wskaźnik m do góry we wzorze (2.22), który jest wektorem (2.20) i jednocześnie tensorem, a zatem ostatecznie możemy napisać iloczyn m-tego kontrawariantnego wektora bazy przez n-ty kowariantny wektor, który jak się można przekonać jest tensorem metrycznym o wskaźniku górnym m i dolnym n:

(2.23)

Definicja symboli Christoffela

edytuj

Pochodną danego wektora bazy po współrzędnej krzywoliniowej (np. pochodną po ) można wyrazić przez kombinacje liniowe wektorów bazy - współczynniki kombinacji nazywa się symbolami Christofela dla wektorów bazy :

(2.24)

Twierdzenie: Dla wektorów kobazy zachodzą związki

(2.25)

Dowód: Pomnóżmy wzór (2.24) przez i wykorzystajmy zależność (por. (2.22)):

(2.26)

Pomnóżmy (2.26) przez tensor metryczny i wykorzystajmy tożsamość (2.18):

(2.27)

Pomnóżmy obustronnie (2.27) przez :

(2.28)

Ponieważ (por. (2.20)), oraz

(2.29)

to równanie (2.28) można przekształcić do postaci:

(2.30)

Wykorzystując tożsamość (2.18) w (2.30) otrzymamy

(2.31)

Pierwsze dwa wyrazy w (2.31) redukują się, tzn. mamy

(2.32)

- otrzymaliśmy wzór (2.25) , cnd.

Pochodna kowariantna współrzędnej kontrawariantnej

edytuj

W tym rozdziale policzymy pochodną kowariantną wektora o współrzędnych kowariantnych. Dowolny wektor A można rozłożyć na składowe kontrawariantne Ai względem wersorów ei:

(2.33)

Policzmy różniczkę wektora A wykorzystując twierdzenie o różniczce zupełnej z iloczynu dwóch wielkości:

(2.34)

Wykorzystać tożsamość (2.24) obliczamy różniczkę wektora ei

(2.35)

Wzór (2.35) wstawiamy do (2.34):

(2.36)

Po przemianowaniu indeksów w pierwszym składniku we wzorze (2.36) otrzymujemy wzór:

(2.37)

Obie strony (2.37) dzielmy przez różniczkę du - po przekształceniu otrzymujemy pochodną zupełną wielkości xl względem zmiennej u pomnożonej przez wektor ek:

(2.38)

Wyrażenie w nawiasie wzoru (2.38) definiuje pochodną kowariantną: oprócz zwykłej pochodnej cząstkowej mamy tu składnik zawierający sumę iloczynów współrzędnych wektora A i symbolu Christoffela:

(2.39)

Wyrażenie (2.38) nazywamy pochodna absolutną, a (2.39) jest pochodną kowariantną wielkości kontrawariantnej.

Pochodna kowariantna wielkości współrzędnej kontrawariantnej

edytuj

W tym rozdziale policzymy pochodną kowariantną o współrzędnych kowariantnych, w tym celu napiszmy wektor A, który można rozłożyć na składowe Bi względem wektorów kontrawiantnych ei, wedle sposobu:

(2.40)

A teraz policzmy różniczkę wielkości wektorowej B zdefiniowanej wedle wzoru (2.40) wykorzystując twierdzenie o różniczce zupełnej iloczynu dwóch wielkości. Na samym końcu nasza różniczka dB wyraża się wzorem:

(2.41)

Możemy również, wykorzystując tożsamość (2.25) i używając jej we wzorze na różniczkę wersora ei, napisać tożsamość na różniczkę zupełną wielkości wektora kontrawariantnego o wskaźniku i-tym:

(2.42)

Tożsamości na różniczkę wektora wielkości kontrawiariantnej (2.42) możemy użyć we wzorze na różniczkę zupełną wielkość B (2.41), którą można przy pomocy tensora Christoffela zapisać wzorem:

(2.43)

Po przemianowaniu indeksów w pierwszym składniku we wzorze (2.43) możemy przepisać wspomniany wzór na różniczkę zupełną wielkości B jako różniczkę absolutną:

(2.44)

A zatem zdefiniujmy na podstawie wzoru (2.44) pochodną tensorową, która mieści się w nawiasie w wspomnianym wyrażeniu. Zapisujemy ją jako wielkość kowariantną, w której występuje zwykła pochodna cząstkowa i wyraz będący iloczynem współrzędnej wielkości B i symbolu Christoffela:

(2.45)

Wyrażenie (2.44) nazywamy pochodną absolutną, natomiast wzór (2.45) nazywamy pochodną kowariantną wielkości kowariantnej.

Pochodna tensorowa iloczynu tensorów

edytuj

Wyznaczymy pochodną tensorową wielkości iloczynu tensorowego, najpierw podając pełną jej postać:

(2.46)

Wyznaczmy lewą stronę równania (2.46), wykorzystując definicję pochodnej kowariantnej (2.39), po czym przejdziemy do jej prawej strony, zatem przekształcając jednocześnie możemy zapisać:


(2.47)

Co kończy dowód.

Wyznaczmy pochodną tensorową wielkości iloczynu tensorowego, w tym celu najpierw podamy, jak ta zależność jest napisana w pełnej postaci:

(2.48)

Wyznaczmy lewą stronę równania (2.48), wykorzystując definicję pochodnej kowariantnej (2.45), i przejdziemy do jej prawej strony, przekształcając jednocześnie obie strony:


(2.49)

Co kończy dowód.

Właściwości przemienne kolejności wskaźników symboli Christoffela

edytuj

Weźmy pochodną cząstkową pewnego skalaru, który nazwiemy φ napisaną względem wielkości α i β, co wyrazimy:

(2.50)

Można udowodnić, z warunku że zwykła pochodna funkcji jest tensorem stopnia zerowego, że jego pochodna cząstkowa jest także tensorem, zatem możemy napisać dwie tożsamości, z których będziemy korzystać w dalszych krokach naszego rozważania:

(2.51)
(2.52)

Z definicji pochodnej kowariantnej oraz korzystając z faktu, że pochodna cząstkowa zwykłej funkcji jest tensorem, dochodzimy:

(2.53)

Pochodna cząstkowa względem parametru xα, a potem od parametru xα jest taka sama, gdybyśmy różniczkowali od odwrotnej strony, zatem wiadomo z analizy matematycznej:

(2.54)

W takim bądź razie wyrażenie (2.53), przy pomocy tożsamości (2.54) wynikającej z przemienności różniczkowania cząstkowego, możemy zapisać w uproszczonej postaci:

(2.55)

Dla dowolnej pochodnej funkcji zwykłej φ i z przemienności różniczkowania cząstkowego funkcji φ (2.54), tensor Christoffela jest zapisywany wzorem poniżej, w którym widać że tensor ten jest przemienny ze względu na kolejność dolnych wskaźników:

(2.56)

Udowodnijmy następną tożsamość ze względu na przemienność pierwszego z drugim lub pierwszego i z trzecim wskaźnika symboli Christoffela, a to prawo na wstępie zapiszmy jako:

(2.57)

Weźmy wzór (2.24) i pomnóżmy go obustronnie przez wektor pamiętając, że , co będziemy wyznaczać będziemy przemienność wskaźnika pierwszego z drugim w symbolach Christoffela, wtedy:

(2.58)

A ponieważ wektor może być dowolny, wtedy z (2.58):

(2.59)

Porównajmy dwa wzory końcowy (2.59) z (2.24), wtedy otrzymujemy w przypadku dowolnego przemienność pierwszego wskaźnika z drugim:

(2.60)

Zatem właściwość symboli Christoffela przemienności wskaźnika pierwszego z trzecim wychodząc od (2.60) możemy napisać w inny sposób sprowadząjąc wskaźniki górne na dolne, wtedy wykorzystując (2.56) (sprowadzając wskaźniki na dół), potem na podstawie tego dochodzimy do wniosku sprowadzając wskaźnik k do góry, co:

(2.61)

Zatem przemienność pierwszego z drugim (na podstawie (2.60)) i pierwszego z trzecim (2.61) wskaźnika symboli Christoffela, czyli mamy właściwość po sprowadzeniu wskaźników górnych na dolne, czyli wtedy zachodzi (2.57), co później dzięki właściwości tensora metrycznego ta właściwość też jest spełniona przy sprowadzeniu jakiś wskaźników z dołu do góry.

Uogólnienie tensora absolutnego

edytuj

Weźmy tensor o dowolnych wskaźnikach dolnych i górnych, wówczas wielkość A zapisujemy jako zależność od wektorów (tensorów) eki:

(2.62)

Stosując konwencje sumacyjną Einsteina, wtedy (2.62) piszemy:

(2.63)

Szczególnymi przypadkami powyższej definicji są schematy zapisane wedle wzorów (2.33) i (2.40).

Pochodna kowariantna wielkości o współrzędnych kowariantnych i kontrawariantnych

edytuj

Aby udowodnić wzór na pochodną tensorową na dowolną wielkość tensorową, należy skorzystać z definicji wielkości absolutnej z poprzedniego rozdziału, czyli ze wzoru z punktu (2.63), dla której różniczka zupełna wielkości absolutnej wyraża się przez:


(2.64)

Teraz skorzystajmy z definicji symboli Christofela, czyli ze wzorów (2.24) i (2.25), aby dojść do wniosku, że różniczki zupełne wektorów kowariantnych i kowariantnych wyrażają się jak poniżej:

(2.65)
(2.66)

A zatem wzór na różniczką wielkości A przedstawia się na podstawie wzoru (2.64) do którego podstawiamy dwie tożsamości (2.65) i (2.66), wtedy dostajemy:


(2.67)

Jeśli wzór (2.67) podzielimy przez wielkość du, dalej grupując wyrazy w nawiasie, a poza nawiasem umieścimy pochodne wielkości xl względem wielkości u i iloczyn wszystkich wektorów kowariantnych i kontrawariantnych, otrzymamy:

(2.68)

A więc pochodna tensorowa wielkości A nazwijmy wyrażenie w nawiasie (2.68) względem wielkości xl, którą piszemy wedle sposobu poniżej przedstawionej ją za pomocą tensorów Christoffela:

(2.69)

Dla tensorów dwu-wskaźnikowych górnych lub dolnych podamy ogólny wzór określony według wzoru (2.69), dla przykładów poniżej:

(2.70)
(2.71)

Dla tensora dwuwskaźnikowego górno-dolnego podamy ogólny wzór według wzoru (2.69), które zapisujemy:

(2.72)

Własności tensora metrycznego

edytuj

Możemy przekształcić tensor kontrawariantny na tensor kowariantny z własności tensora metrycznego prostego, które możemy napisać:

(2.73)

Także możemy zróżniczkować tensorowo obustronnie dane równanie (2.73) wykorzystując przy okazji wzór na pochodną tensorową iloczynu wedle schematu:

(2.74)

Jeśli dodatkowo zauważymy, że powinno zachodzić z własności tensora metrycznego przy niemym wskaźniku μ, przy operacjach na wskaźnikach:

(2.75)

Równość (2.74) do której zastosujemy tożsamość tensorową (2.75), którą zapisujemy z własności tensora metrycznego:

(2.76)

Patrząc na wzór (2.76) i aby ona była tożsamością, to powinno na pewno zachodzić wyrażenie poniżej, czyli dowolna pochodna kowariantna tensora metrycznego podwójnie kowariantnego byłaby zapisywana według tożsamości:

(2.77)

Wyznaczanie symboli Christoffela

edytuj

Ponieważ pochodna tensorowa tensora metrycznego jest równa wzorowi (2.77), to wykorzystując przy okazji wzór (2.71), możemy powiedzieć, że:

(j,r,l)->
(2.78)

Poprzez permutację wskaźników we wzorze (2.78) otrzymujemy dwa dalsze równania dostajemy trzy równania z powyższym, z których mamy zamiar wyznaczyć tensor Christoffela:

(r,l,j)->
(2.79)
(l,j,r)->
(2.80)

Następnie dwa pierwsze równania dodajemy do siebie, a ostatnie od otrzymanego odejmujemy i zastępując wskaźnik niemy przy symbolu Christoffer'a z k na p, dochodzimy do wniosku:

(2.81)

Dzieląc przez dwa oraz mnożąc przez gkr tożsamość otrzymaną w punkcie (2.81) przechodzimy do tożsamości:

(2.82)

Po przekształceniach w punkcie (2.82) wykorzystując własności tensora metrycznego, oraz że zachodzi dla tensora metrycznego kontrawiariantno-kowariantnego (2.18), co ono jest równo delcie Kroneckera, wtedy mamy:

(2.83)

Końcowy wynik zapisany w punkcie (2.83) jest zależny od pierwszych pochodnych cząstkowych tensora metrycznego, a także zależy od tensora metrycznego podwójnie kontrawariantnego tego samego tensora co wcześniej. Dlatego piszemy go wedle sposobności:

(2.84)

Tensor Riemanna-Christoffela dla tensorów kontrawariantnych

edytuj

Teraz udowodnimy, że pochodne kowariantne mieszane w przestrzeni nieeuklidesowej nie są sobie równe, tzn. poniższe wyrażenie nie powinno być równe zero, nie tak jak przy pochodnych cząstkowych, które nie zależą od kolejności różniczkowania:

(2.85)

Ale wiadomo, że pochodna kowariantna, która jest zapisana wedle schematu (2.39), to możemy również zapisać przy innych oznaczeniach podobnie, ale oznaczające to samo:

(2.86)

Wykorzystując tożsamość na pochodną tensorową (2.86), to wyrażenie (2.85) możemy zapisać poniżej korzystając z pierwszego wspomnianego wzoru na różnicę pochodnych kowariantnych tensorowych wielkości tensora kontrawariantnego:





(2.87)

Wyrażenie (2.85) wedle obliczeń (2.87) zapisujemy wedle wzoru poniżej wstawiając definicję czterowskaźnikowego tensora krzywizny:

(2.88)
  • gdzie definicja czterowskaźnikowego tensora metrycznego jest zapisana przy pomocy tensorów Christoffela:
(2.89)

Tensor Riemanna-Christoffela dla tensorów kowariantnych

edytuj

Teraz udowodnimy, że pochodne mieszane w przestrzeni nieuklidesowej nie są sobie równe, tzn. poniższe wyrażenie nie powinno być równe zero, nie tak jak przy pochodnych cząstkowych, które nie zależą od kolejności różniczkowania:

(2.90)

Ale wiadomo, że pochodna kowariantna, która jest zapisana wedle schematu (2.45), może zostać zapisać podobnie z użyciem innych oznaczeń, ale oznaczających to samo:

(2.91)

Wykorzystując tożsamość na pochodną tensorową (2.91), to wyrażenie (2.90) możemy zapisać poniżej jako różnicę pochodnych kowariantnych wspomnianego wzoru:




(2.92)

Wyrażenie (2.90) wedle obliczeń (2.92) zapisujemy wedle wzoru poniżej, wstawiając definicję czterowskaźnikowego tensora krzywizny:

(2.93)
  • gdzie definicja czterowskaźnikowego tensora metrycznego jest zapisana przy pomocy tensorów Christoffela, które zapisujemy:
(2.94)

Tensor Riemanna-Christoffela (tensor krzywizny) zdefiniowany przy pomocy tensorów metrycznych

edytuj

Do wzoru na czterowskaźnikowy tensor krzywizny (2.89) wstawiamy za tensory Christoffela zdefiniowane wedle wzoru (2.84), w końcu otrzymujemy następujący wzór zależny tylko od drugich pochodnych cząstkowych tensora metrycznego, co wykażemy później:


(2.95)

Ponieważ pochodna tensorowa tensora metrycznego jest równa zero według schematu (2.77), to wyznaczając z niego pochodną cząstkową stojącą po lewej stronie tensora metrycznego, a pozostałe po prawej jego stronie, otrzymujemy wielkość:

(2.96)

Czterowskaźnikowy tensor krzwywizny (2.95) po zastosowaniu do niego tożsamości wynikowej (2.96), możemy zapisać:




(2.97)

Następnie wyznaczmy wyrażenie tensorowe, które występuje według wzoru (2.25), korzystając przy tym z właściwości tensora metrycznego:

(2.98)

Dalej wyznaczmy wyrażenie tensorowe, które występuje (2.25), korzystając przy tym z właściwości tensora metrycznego:

(2.99)

Mając wzór (2.97), a także tożsamości (2.98) i (2.99), wspomniany czterowskaźnikowy tensor krzywizny możemy zapisać:

(2.100)

Przepisując jeszcze raz końcowy wynik (2.100), wtedy czterowskaźnikowy tensor krzywizny z tylko pierwszym wskaźnikiem górnym zapisujemy wedle schematu:

(2.101)

Inny równoważny do (2.101) czterowskaźnikowy tensor krzywizny, z wykorzystaniem własności tensora metrycznego, otrzymujemy w postaci:

(2.102)

Czterowskaźnikowy tensor krzywizny o wszystkich wskaźnikach dolnych na podstawie obliczeń (2.102) piszemy natomiast wedle wyobrażeń:

(2.103)

Tensorowy charakter tensora krzywizny

edytuj

Z definicji pochodnej tensorowej (2.69) możemy napisać pochodne tensorowe tensora Christoffela w takiej postaci:

(2.104)

Tożsamość (2.104) wstawiamy do wzoru (2.88) na tensor czterowskaźnikowy krzywizny i otrzymujemy równość, którą zapisujemy wedle schematu:

(2.105)

Jak udowodniliśmy czterowskaźnikowy tensor krzywizny (2.105) jest zwykłym tensorem, ponieważ występują w nim same tensory, ale w nich nie ma pochodnych cząstkowych, co pierwotnie ten sam tensor zawierał w zdefiniowany w punkcie (2.94). Można więc na podstawie wspomnianych tychże obliczeń powiedzieć, iż:

(2.106)

Właściwości tensora krzywizny

edytuj

Ze względu na przestawienie wskaźników w pierwszej parze wskaźników czterowskaźnikowego tensora krzywizny (2.103), dochodzimy do wniosku, że takie przestawienie powoduje, że on jest antysymetryczny w takim działaniu:

(2.107)

Ze względu na przestawienie wskaźników w drugiej parze wskaźników czterowskaźnikowego tensora krzywizny (2.103), dochodzimy do wniosku, że takie przestawienie powoduje, że on jest antysymetryczny takim działaniu:

(2.108)

Zaś ze względu na przestawienie pierwszej pary wskaźników z drugą parą wskaźników czterowskaźnikowego tensora krzywizny (2.103), dochodzimy do wniosku, że takie przestawienie powoduje symetryczność takiego działania:

(2.109)

Stwierdziliśmy, że na podstawie obliczeń (2.107) przy przestawianiu pierwszej pary wskaźników, (2.108) przy przedstawianiu drugiej pary wskaźników i ostatecznie (2.109) przy przedstawieniu pierwszej pary wskaźników z drugą parą otrzymujemy, co następuje:

(2.110)

Przejdźmy teraz do następnej tożsamości, korzystając ze wzoru (2.103). Dochodzimy zatem do wniosku, że ta tożsamość jest równa zero, na co dowód przeprowadzamy poniżej:


(2.111)

Na podstawie obliczeń wykonanych w punkcie (2.111) przepisując jeszcze raz wynik końcowy, co do czego doszliśmy:

(2.112)

Tożsamość Bianchiego

edytuj

Pochodna zwykła cząstkowa tensora krzywizny zdefiniowanego w punkcie (2.103) przyjmuje takową postać w wyglądzie tensorowym:

(2.113)

Policzmy teraz tożsamość poniżej korzystając przy tym z definicji pochodnej cząstkowej czterowskaźnikowego tensora krzywizny, który jest napisana wzorem (2.113).


(2.114)

Powyższą tożsamość jest spełniona, ponieważ różniczkowanie jest przemienne i przepisując nasz wniosek w postaci twierdzenia o tensorach, udowadniamy:

(2.115)

Zdefiniujmy nowy dwuwskaźnikowy tensor, który jest kombinacją czterowskaźnikowego tensora krzywizny i tensora metrycznego w postaci:

(2.116)

Można udowodnić, że zachodzi na pewno tożsamość podana poniżej; polegająca na tym, że tensor (2.116) jest tensorem antysymetrycznym, tzn. przy zmianie wskaźników miejscami przed tensorem pojawia się znak minus:

.
(2.117)

A dowód (2.117) przeprowadzamy wykorzystując definicję pewnego tensora zdefiniowanego w punkcie (2.116) i korzystając przy tym z własności (2.108), dochodzimy do wniosku:

(2.118)

Udowodniliśmy, że tensor Knl (2.116), jest tensorem antysymetrycznym, tak jak powiedziane zostało wcześniej z własności tensora czterowskaźnikowego krzywizny.

Pochodna tensorowa tensora Knl zapisanego w punkcie (2.116), przedstawia się wzorem wedle schematu:

(2.119)

Następnym naszym krokiem jest policzenie wyrażenia poniżej z wykorzystaniem przy tym tożsamości (2.119). Dzięki temu wiemy, że;


(2.120)

Udowodniliśmy, że na podstawie obliczeń (2.120) zachodzi tożsamość, którą udowodniliśmy we wspomnianych obliczeniach:

(2.121)

Teraz skorzystamy z definicji Knl (2.116) i z własności, że pochodna tensorowa tensora metrycznego jest równa zero wedle punktu (2.77), a wtedy lewa strona (2.121) jest zapisana wzorem:

(2.122)

A także prawą stronę równości (2.121) zapisujemy:

(2.123)

Dochodzimy do wniosku, że jeśli , czyli wyrażenia (2.122) i (2.123) są sobie równe, bo punkt (2.121), mamy:

(2.124)

Poniżej traktujemy jako zmienne gim i jego pochodne cząstkowe względem współrzędnych, co wtedy można udowodnić, że na pewno zachodzą własności powiedziana poniżej, bo tensor czterowskaźnikowy krzywizny (2.103) i jego pochodna zawierają w sobie kolejno drugie i trzecie pochodne podwójnie kowariantnego tensora metrycznego względem współrzędnych, co z definicji pochodnej złożonej znana ze szkoły średniej przedstawiamy te własności jako:

(2.125)
(2.126)

Poniżej traktujemy jako zmienne gim i jego pochodne cząstkowe względem współrzędnych. Z wiadomości pochodzących z analizy matematycznej możemy napisać tożsamość matematyczną, która będą przydatne do dalszych obliczeń w celu maksymalnego uproszczenia tożsamości (2.124) wykorzystując udowodnioną tożsamość (2.125) i (2.126):

(2.127)

Zróżniczkujmy obie strony równania tensorowego (2.124) względem gim, wtedy otrzymujemy wniosek:

(2.128)

Wcześniej udowodniliśmy, że zachodzi tożsamość (2.115). Zatem tożsamość Bianchiego po zastosowaniu wspomnianej tożsamości do (2.128) pozwala na wyciągnięcie końcowego wniosku:

(2.129)

Tensor Ricciego

edytuj

Definicja tensora Ricciego poprzez czterowskaźnikowy tensor krzywizny o pierwszym wskaźniku górnym (2.89) piszemy wedle schematu:

(2.130)

Powyższe skrajne równości są sobie równe w (2.130). Na tej podstawie możemy udowodnić, korzystając z czterowskaźnikowego tensora krzywizny (2.103):

(2.131)

Co kończy dowód.

Tensor Ricciego (2.130) zdefiniowany poprzez czterowskaźnikowy tensor krzywizny, w której sumowanie następuje po dwóch wskaźnikach niemych, tzn. pierwszym i trzecim, pozwala na narysowanie definicji tego tensora:

(2.132)

Skalar Ricciego

edytuj

A skalar Ricciego można zdefiniować poprzez tensor Ricciego (2.132) wedle sposobu podanego poniżej lub inaczej, wyrażając w tym samym wzorze tensor Ricciego poprzez czterowskaźnikowy tensor krzywizny:

(2.133)