Вторая ковариантная производная - Second covariant derivative - Wikipedia
В математических разделах дифференциальная геометрия и векторное исчисление, то второй ковариантная производная, или ковариантная производная второго порядка, векторного поля - производная от его производной по двум другим касательный вектор поля.
Определение
Формально, учитывая (псевдо) -риманову многообразие (M, грамм) связанный с векторный набор E → M, пусть ∇ обозначает Леви-Чивита связь заданный метрикой грамм, и обозначим через Γ (E) пространство гладкий разделы общей площади E. Обозначим через Т*M то котангенсный пучок из M. Тогда вторую ковариантную производную можно определить как сочинение из двух ∇ следующим образом: [1]

Например, данные векторные поля ты, v, ш, Второй ковариантная производная можно записать как

используя обозначение абстрактного индекса. Также несложно проверить, что

Таким образом

Когда тензор кручения равен нулю, так что
, мы можем использовать этот факт, чтобы написать Тензор кривизны Римана в качестве [2]

Аналогичным образом можно получить вторую ковариантную производную функции ж в качестве

Опять же, для связности Леви-Чивиты без кручения и для любых векторных полей ты и v, когда мы кормим функцию ж в обе стороны
![{ displaystyle nabla _ {u} v- nabla _ {v} u = [u, v]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26088d24d251dd3a42326d9e9b58f258962606fc)
мы нашли
.
Это можно переписать как

так что у нас есть

То есть значение второй ковариантной производной функции не зависит от порядка взятия производных.
Примечания