298 5. ZARYS RACHUNKU TENSOROWEGO
Własność 8. Pochodna kowariantna slcalara jest wektorem kowariantnym.
Własność 9. Pochodna kowariantna tensora rzędu N jest tensorem o Walencji N+ 1. Uwaga. Analogiczne własności do 4, 5 i 6 dotyczą pochodnych kowariantnych. Oto kilka przykładów:
I
Własność 13. Tensor ko
(5.40) Krsmn=-f
(5.41)
(5.27) |
(ATr)lm = ATim (A = const), |
(5.28) |
(T,km+VtJ,n = 7j* +V,l/H, |
(5.29) |
(T'Sr)ln = T'Ss/n + SrTjn, |
(5.30) |
(TkSl)ln = TkSl,„ +S*Tfn . |
Własność 10. Pomiędzy pochodną absolutną i kowariantną tego samego tensora zachodzą związki
(5.31) |
5Tklkl-kK kk k dxp _ 'T’fclK2—«.V óu ' lp du • |
(5.32) |
STklk2..,k„ dx” óu k,k2 -kN,p du |
(5.33) |
Tklkl...kN dx” óu du |
(5.34)
Definicja 11. Tensorem mieszanym krzywizny K*rm nazywamy tensor określony przez następującą relację:
t
Zadania przykładowe
Zadanie 5.1. Wyznaczył
we współrzędnyc
Rozwiązanie. Jak w: ma składowe (patrz zad. 3.1 Składowe symbolu Ch przyjmują wartość:
a pozostałe składowe są rc Obecnie korzystamy ze
Własność 11. Tensor mieszany krzywizny (5.34) czyni zadość następującym tożsamo-ściom:
(5.35) K\mn=-K-:rnm)
(5.36) K’.rmn + K:mnr + JCnrm = 0.
Definicja 12. Mówimy, że przestrzeń jest plaska, jeżeli można w niej wprowadzić taki układ współrzędnych xr, w którym forma metryczna ma postać
(5.37) ds2 = cl(dx1)2 + e2(dx2)2 +... + EN(dxN)2,
gdzie ej są równe +1 lub —1.
Własność 12. Jeżeli przestrzeń jest plaska, to znikają wszelkie składowe tensora krzywizny (5.34)
(5-38) Krmn = 0.
Definicja 13. Tensorem kowariantnym krzywizny lub tensorem Riemanna nazywamy tensor Kprnm określony wzorem
(5-39) Kprmn = apsK:rmn,
gdzie aps jest tensorem fundamentalnym przestrzeni.
ST' _ c ót
do którego podstawiamy o czego otrzymujemy
ÓT
~dt
ÓT
Zadanie 5.2. Wyznaczyć ÓV
Tr = — we współrzędnych dx
Rozwiązanie. Dla wj korzystamy ze wzoru (5.22]