İkinci kovaryant türev - Second covariant derivative - Wikipedia

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 EM, 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]

Örneğin, verilen vektör alanları sen, v, w, bir saniye kovaryant türev olarak yazılabilir

kullanarak soyut indeks gösterimi. Bunu doğrulamak da kolaydır.

Böylece

Ne zaman burulma tensörü sıfır, yani , bu gerçeği yazmak için kullanabiliriz Riemann eğrilik tensörü gibi [2]

Benzer şekilde, bir fonksiyonun ikinci ortak değişken türevi de elde edilebilir. f gibi

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

bulduk

.

Bu şu şekilde yeniden yazılabilir:

Böylece sahibiz

Yani, bir fonksiyonun ikinci kovaryant türevinin değeri, türev alma sırasından bağımsızdır.

Notlar

  1. ^ Parker, Thomas H. "Geometri Primer" (PDF). Alındı 2 Ocak 2015., s. 7
  2. ^ Jean Gallier ve Dan Güralnik. "Bölüm 13: Riemann Manifoldlarında Eğrilik" (PDF). Alındı 2 Ocak 2015.