Matematik dallarında diferansiyel geometri ve vektör hesabı, ikinci kovaryant türev, ya da ikinci dereceden kovaryant türev, bir vektör alanının diğer ikisine göre türevinin türevidir. teğet vektör alanlar.
Tanım
Resmi olarak, verilen bir (sözde) -Riemannian manifold (M, g) ile ilişkili vektör paketi E → M, gösterelim Levi-Civita bağlantısı metrik tarafından verilen gve Γ (E) alanı pürüzsüz bölümler toplam alanın E. Gösteren T*M kotanjant demeti nın-nin M. Daha sonra ikinci kovaryant türev şu şekilde tanımlanabilir: kompozisyon aşağıdaki gibi iki ∇'den: [1]
![Gama (E) { stackrel { nabla} { longrightarrow}} Gama (T ^ {*} M otimes E) { stackrel { nabla} { longrightarrow}} Gama (T ^ {*} M otimes T ^ {*} M otimes E).](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7d9e90b6cff83827476361dd374abee0ff5f6d5)
Örneğin, verilen vektör alanları sen, v, w, bir saniye kovaryant türev olarak yazılabilir
![( nabla _ {{u, v}} ^ {2} w) ^ {a} = u ^ {c} v ^ {b} nabla _ {c} nabla _ {b} w ^ {a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/afe9dc3c5a40bdd7efec1f3a1fba3f4c8f07a5c6)
kullanarak soyut indeks gösterimi. Bunu doğrulamak da kolaydır.
![( nabla _ {u} nabla _ {v} w) ^ {a} = u ^ {c} nabla _ {c} v ^ {b} nabla _ {b} w ^ {a} = u ^ {c} v ^ {b} nabla _ {c} nabla _ {b} w ^ {a} + (u ^ {c} nabla _ {c} v ^ {b}) nabla _ {b} w ^ {a} = ( nabla _ {{u, v}} ^ {2} w) ^ {a} + ( nabla _ {{ nabla _ {u} v}} w) ^ {a}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe65b3b68adfc592f9dcc390cdfee2ef38447a9e)
Böylece
![nabla _ {{u, v}} ^ {2} w = nabla _ {u} nabla _ {v} w- nabla _ {{ nabla _ {u} v}} w.](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2ddf21fd8eff029ceac2296b73dab6d2100ab60)
Ne zaman burulma tensörü sıfır, yani
, bu gerçeği yazmak için kullanabiliriz Riemann eğrilik tensörü gibi [2]
![R (u, v) w = nabla _ {{u, v}} ^ {2} w- nabla _ {{v, u}} ^ {2} w.](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0e97deee6fd3b8ca11194e1dc36b2444ad7420d)
Benzer şekilde, bir fonksiyonun ikinci ortak değişken türevi de elde edilebilir. f gibi
![nabla _ {{u, v}} ^ {2} f = u ^ {c} v ^ {b} nabla _ {c} nabla _ {b} f = nabla _ {u} nabla _ { v} f- nabla _ {{ nabla _ {u} v}} f.](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0196117804822a3c42d3259aacc2f5639dd6c96)
Yine, burulmasız Levi-Civita bağlantısı ve herhangi bir vektör alanı için sen ve vişlevi beslediğimizde f her iki tarafına da
![{ displaystyle nabla _ {u} v- nabla _ {v} u = [u, v]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26088d24d251dd3a42326d9e9b58f258962606fc)
bulduk
.
Bu şu şekilde yeniden yazılabilir:
![{ displaystyle nabla _ { nabla _ {u} v} f- nabla _ { nabla _ {v} u} f = nabla _ {u} nabla _ {v} f- nabla _ {v } nabla _ {u} f,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c5ef7ebd31eafca2c77350756156592f9a69d84)
Böylece sahibiz
![nabla _ {{u, v}} ^ {2} f = nabla _ {{v, u}} ^ {2} f.](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf12114ef3455408e01df18e2e813d48f5f816ed)
Yani, bir fonksiyonun ikinci kovaryant türevinin değeri, türev alma sırasından bağımsızdır.
Notlar