Ковариантная производная

Спецификация производной по касательному вектору многообразия

В математике ковариантная производная — это способ задания производной вдоль касательных векторов многообразия . Альтернативно, ковариантная производная — это способ введения соединения на многообразии и работы с ним с помощью дифференциального оператора , в отличие от подхода, обеспечиваемого главным соединением на расслоении фреймов — см. Аффинное соединение . В частном случае многообразия, изометрически вложенного в многомерное евклидово пространство , ковариантную производную можно рассматривать как ортогональную проекцию евклидовой производной по направлению на касательное пространство многообразия. В этом случае евклидова производная разбивается на две части: внешний нормальный компонент (зависящий от вложения) и внутренний ковариантный компонент производной.

Название мотивировано важностью изменений координат в физике : ковариантная производная преобразуется ковариантно при общем преобразовании координат, то есть линейно через матрицу Якоби преобразования. ^[1]

В этой статье представлено введение в ковариантную производную векторного поля по отношению к векторному полю как на бескоординатном языке, так и с использованием локальной системы координат и традиционной индексной записи. Ковариантная производная тензорного поля представлена ​​как расширение той же концепции. Ковариантная производная непосредственно обобщает понятие дифференцирования, связанное со связностью векторного расслоения , также известной как связность Кошуля .

История

Исторически на рубеже 20-го века ковариантная производная была введена Грегорио Риччи-Курбастро и Туллио Леви-Чивита в теорию римановой и псевдоримановой геометрии . ^[2] Риччи и Леви-Чивита (следуя идеям Элвина Бруно Кристоффеля ) заметили, что символы Кристоффеля , используемые для определения кривизны , также могут обеспечить понятие дифференцирования , которое обобщает классическую производную векторных полей по направлению на многообразии . ^{[3] [4]} Эта новая производная – связь Леви-Чивита – была ковариантной в том смысле, что она удовлетворяла требованию Римана о том, что объекты в геометрии должны быть независимыми от их описания в конкретной системе координат.

Вскоре другие математики, в том числе Герман Вейль , Ян Арнольдус Схоутен и Эли Картан , ^[5] отметили , что ковариантная производная может быть определена абстрактно без присутствия метрики . Важнейшей особенностью была не особая зависимость от метрики, а то, что символы Кристоффеля удовлетворяли определенному точному закону преобразования второго порядка. Этот закон преобразования мог бы послужить отправной точкой для определения производной ковариантным способом. Таким образом, теория ковариантного дифференцирования отделилась от строго риманова контекста и включила более широкий диапазон возможных геометрий.

В 1940-х годах специалисты по дифференциальной геометрии начали вводить другие понятия ковариантного дифференцирования в общие векторные расслоения , которые, в отличие от классических расслоений, представляющих интерес для геометров, не были частью тензорного анализа многообразия. По большому счету, эти обобщенные ковариантные производные должны были специфицироваться ad hoc в какой-то версии концепции связи. В 1950 году Жан-Луи Кошуль объединил эти новые идеи ковариантного дифференцирования в векторном расслоении с помощью того, что сегодня известно как связность Кошуля или связь на векторном расслоении. ^[6] Используя идеи когомологий алгебры Ли , Кошул успешно преобразовал многие аналитические особенности ковариантного дифференцирования в алгебраические. В частности, связи Кошуля устранили необходимость неуклюжих манипуляций с символами Кристоффеля (и другими аналогичными нетензорными объектами ) в дифференциальной геометрии. Таким образом, они быстро вытеснили классическое понятие ковариантной производной во многих подходах к этому предмету после 1950 года.

Мотивация

Ковариантная производная является обобщением производной по направлению из векторного исчисления . Как и в случае с производной по направлению, ковариантная производная представляет собой правило, которое принимает в качестве входных данных: (1) вектор u , определенный в точке P , и (2) векторное поле v , определенное в окрестности точки P. ^[7] Выходом является вектор , также в точке P . Основное отличие от обычной производной по направлению заключается в том, что она должна в определенном точном смысле быть независимой от способа ее выражения в системе координат . ${\displaystyle \nabla _{\mathbf {u} }{\mathbf {v} }}$ ${\displaystyle \nabla _{\mathbf {u} }{\mathbf {v} }(P)}$ ${\displaystyle \nabla _{\mathbf {u} }{\mathbf {v} }}$

Вектор можно описать как список чисел в терминах базиса , но как геометрический объект вектор сохраняет свою идентичность независимо от того, как он описан. Для геометрического вектора, записанного в компонентах относительно одного базиса, при изменении базиса компоненты преобразуются в соответствии с формулой изменения базиса , при этом координаты подвергаются ковариантному преобразованию . Ковариантная производная должна при изменении координат преобразовываться путем ковариантного преобразования так же, как это делает базис (отсюда и название).

В случае евклидова пространства обычно определяют производную векторного поля по направлению как разность между двумя векторами в двух соседних точках. В такой системе один из векторов переводится в начало координат другого, сохраняя его параллельным, а затем перенося их разницу в одно и то же векторное пространство. В декартовой (фиксированной ортонормированной ) системе координат «поддержание ее параллельности» означает сохранение постоянных компонентов. Эта обычная производная по направлению в евклидовом пространстве является первым примером ковариантной производной.

Далее необходимо учесть изменения системы координат. Например, если евклидова плоскость описывается полярными координатами, «сохранение ее параллельности» не означает сохранение постоянных полярных компонентов при перемещении, поскольку сама координатная сетка «вращается». Таким образом, одна и та же ковариантная производная, записанная в полярных координатах, содержит дополнительные члены, которые описывают, как вращается сама координатная сетка или как в более общих координатах сетка расширяется, сжимается, скручивается, переплетается и т. д.

Рассмотрим пример частицы, движущейся по кривой γ ( t ) в евклидовой плоскости. В полярных координатах γ можно записать через радиальные и угловые координаты как γ ( t ) = ( r ( t ), θ ( t )) . Вектор в конкретный момент времени t ^[8] (например, постоянное ускорение частицы) выражается через , где и – единичные касательные векторы к полярным координатам, служащие основой для разложения вектора через радиальные и тангенциальные компоненты . Чуть позже новый базис в полярных координатах оказывается слегка повернутым относительно первого набора. Ковариантная производная базисных векторов ( символы Кристоффеля ) служат для выражения этого изменения. ${\displaystyle (\mathbf {e} _{r},\mathbf {e} _{\theta })}$ ${\displaystyle \mathbf {e} _{r}}$ ${\displaystyle \mathbf {e} _{\theta }}$

В искривленном пространстве, таком как поверхность Земли (рассматриваемая как сфера), перевод касательных векторов между различными точками четко не определен, и его аналог, параллельный перенос , зависит от пути, по которому перемещается вектор. Вектор на земном шаре на экваторе в точке Q направлен на север. Предположим, мы переносим вектор (сохраняя его параллельность) сначала вдоль экватора в точку P, затем перетаскиваем его по меридиану к полюсу N и, наконец, переносим его по другому меридиану обратно в Q. Затем мы замечаем, что вектор, транспортируемый параллельно, по замкнутому контуру не возвращается тот же вектор; вместо этого у него другая ориентация. Этого не произошло бы в евклидовом пространстве и вызвано кривизной поверхности земного шара. Тот же эффект произойдет, если перетащить вектор по бесконечно малой замкнутой поверхности последовательно в двух направлениях, а затем обратно. Это бесконечно малое изменение вектора является мерой кривизны и может быть определено через ковариантную производную.

Примечания

• Определение ковариантной производной не использует метрику в пространстве. Однако для каждой метрики существует уникальная ковариантная производная без кручения , называемая связностью Леви-Чивита, такая, что ковариантная производная метрики равна нулю.
• Из свойств производной следует, что она зависит от значений u в сколь угодно малой окрестности точки p точно так же, как, например, производная скалярной функции f вдоль кривой в данной точке p зависит от значений f в сколь угодно малая окрестность точки p . ${\displaystyle \nabla _{\mathbf {v} }\mathbf {u} }$
• Информация о окрестности точки p в ковариантной производной может использоваться для определения параллельного переноса вектора. Кроме того, кривизна , кручение и геодезические могут быть определены только в терминах ковариантной производной или другой связанной вариации идеи линейной связи .

Неформальное определение с использованием вложения в евклидово пространство.

Предположим, что открытое подмножество -мерного риманова многообразия вложено в евклидово пространство посредством дважды непрерывно дифференцируемого (C2 ⁾ отображения, такого, что касательное пространство at натянуто на векторы ${\displaystyle U}$ ${\displaystyle d}$ ${\displaystyle M}$ ${\displaystyle (\mathbb {R} ^{n},\langle \cdot ,\cdot \rangle )}$ ${\displaystyle {\vec {\Psi }}:\mathbb {R} ^{d}\supset U\to \mathbb {R} ^{n}}$ ${\displaystyle {\vec {\Psi }}(p)}$

$${\displaystyle \left\{\left.{\frac {\partial {\vec {\Psi }}}{\partial x^{i}}}\right|_{p}:i\in \{1,\dots ,d\}\right\}}$$

M ${\displaystyle \left\langle \cdot ,\cdot \right\rangle }$ ${\displaystyle \mathbb {R} ^{n}}$

$${\displaystyle g_{ij}=\left\langle {\frac {\partial {\vec {\Psi }}}{\partial x^{i}}},{\frac {\partial {\vec {\Psi }}}{\partial x^{j}}}\right\rangle .}$$

(Поскольку метрика многообразия всегда предполагается регулярной, условие совместимости подразумевает линейную независимость касательных векторов частных производных.)

Для касательного векторного поля имеем ${\displaystyle {\vec {V}}=v^{j}{\frac {\partial {\vec {\Psi }}}{\partial x^{j}}}}$

$${\displaystyle {\frac {\partial {\vec {V}}}{\partial x^{i}}}={\frac {\partial }{\partial x^{i}}}\left(v^{j}{\frac {\partial {\vec {\Psi }}}{\partial x^{j}}}\right)={\frac {\partial v^{j}}{\partial x^{i}}}{\frac {\partial {\vec {\Psi }}}{\partial x^{j}}}+v^{j}{\frac {\partial ^{2}{\vec {\Psi }}}{\partial x^{i}\,\partial x^{j}}}.}$$

Последний член не касается M , но может быть выражен как линейная комбинация базовых векторов касательного пространства с использованием символов Кристоффеля в качестве линейных факторов плюс вектор, ортогональный касательному пространству:

$${\displaystyle v^{j}{\frac {\partial ^{2}{\vec {\Psi }}}{\partial x^{i}\,\partial x^{j}}}=v^{j}{\Gamma ^{k}}_{ij}{\frac {\partial {\vec {\Psi }}}{\partial x^{k}}}+{\vec {n}}.}$$

В случае связи Леви-Чивита ковариантная производная , также обозначаемая как , определяется как ортогональная проекция обычной производной на касательное пространство: ${\displaystyle \nabla _{\mathbf {e} _{i}}{\vec {V}}}$ ${\displaystyle \nabla _{i}{\vec {V}}}$

$${\displaystyle \nabla _{\mathbf {e} _{i}}{\vec {V}}:={\frac {\partial {\vec {V}}}{\partial x^{i}}}-{\vec {n}}=\left({\frac {\partial v^{k}}{\partial x^{i}}}+v^{j}{\Gamma ^{k}}_{ij}\right){\frac {\partial {\vec {\Psi }}}{\partial x^{k}}}.}$$

Чтобы получить связь между символами Кристоффеля для связи Леви-Чивита и метрикой, сначала мы должны отметить, что, поскольку в предыдущем уравнении ортогонально касательному пространству: ${\displaystyle {\vec {n}}}$

$${\displaystyle \left\langle {\frac {\partial ^{2}{\vec {\Psi }}}{\partial x^{i}\,\partial x^{j}}},{\frac {\partial {\vec {\Psi }}}{\partial x^{l}}}\right\rangle =\left\langle {\Gamma ^{k}}_{ij}{\frac {\partial {\vec {\Psi }}}{\partial x^{k}}}+{\vec {n}},{\frac {\partial {\vec {\Psi }}}{\partial x^{l}}}\right\rangle ={\Gamma ^{k}}_{ij}\left\langle {\frac {\partial {\vec {\Psi }}}{\partial x^{k}}},{\frac {\partial {\vec {\Psi }}}{\partial x^{l}}}\right\rangle ={\Gamma ^{k}}_{ij}\,g_{kl}.}$$

Во-вторых, частная производная компонента метрики равна:

$${\displaystyle {\frac {\partial g_{ab}}{\partial x^{c}}}={\frac {\partial }{\partial x^{c}}}\left\langle {\frac {\partial {\vec {\Psi }}}{\partial x^{a}}},{\frac {\partial {\vec {\Psi }}}{\partial x^{b}}}\right\rangle =\left\langle {\frac {\partial ^{2}{\vec {\Psi }}}{\partial x^{c}\,\partial x^{a}}},{\frac {\partial {\vec {\Psi }}}{\partial x^{b}}}\right\rangle +\left\langle {\frac {\partial {\vec {\Psi }}}{\partial x^{a}}},{\frac {\partial ^{2}{\vec {\Psi }}}{\partial x^{c}\,\partial x^{b}}}\right\rangle }$$

подразумевает для базиса использование симметрии скалярного произведения и замену порядка частного дифференцирования: ${\displaystyle x^{i},x^{j},x^{k}}$

$${\displaystyle {\begin{pmatrix}{\frac {\partial g_{jk}}{\partial x^{i}}}\\{\frac {\partial g_{ki}}{\partial x^{j}}}\\{\frac {\partial g_{ij}}{\partial x^{k}}}\end{pmatrix}}={\begin{pmatrix}0&1&1\\1&0&1\\1&1&0\end{pmatrix}}{\begin{pmatrix}\left\langle {\frac {\partial {\vec {\Psi }}}{\partial x^{i}}},{\frac {\partial ^{2}{\vec {\Psi }}}{\partial x^{j}\,\partial x^{k}}}\right\rangle \\\left\langle {\frac {\partial {\vec {\Psi }}}{\partial x^{j}}},{\frac {\partial ^{2}{\vec {\Psi }}}{\partial x^{k}\,\partial x^{i}}}\right\rangle \\\left\langle {\frac {\partial {\vec {\Psi }}}{\partial x^{k}}},{\frac {\partial ^{2}{\vec {\Psi }}}{\partial x^{i}\,\partial x^{j}}}\right\rangle \end{pmatrix}}}$$

$${\displaystyle {\frac {\partial g_{jk}}{\partial x^{i}}}+{\frac {\partial g_{ki}}{\partial x^{j}}}-{\frac {\partial g_{ij}}{\partial x^{k}}}=2\left\langle {\frac {\partial {\vec {\Psi }}}{\partial x^{k}}},{\frac {\partial ^{2}{\vec {\Psi }}}{\partial x^{i}\,\partial x^{j}}}\right\rangle }$$

и дает символы Кристоффеля для связи Леви-Чивита в терминах метрики:

$${\displaystyle g_{kl}{\Gamma ^{k}}_{ij}={\frac {1}{2}}\left({\frac {\partial g_{jl}}{\partial x^{i}}}+{\frac {\partial g_{li}}{\partial x^{j}}}-{\frac {\partial g_{ij}}{\partial x^{l}}}\right).}$$

Для очень простого примера, отражающего суть приведенного выше описания, нарисуйте круг на плоском листе бумаги. Двигайтесь по кругу с постоянной скоростью. Производная вашей скорости, вектор ускорения, всегда направлен радиально внутрь. Сверните этот лист бумаги в цилиндр. Теперь (евклидова) производная вашей скорости имеет компонент, который иногда указывает внутрь, к оси цилиндра, в зависимости от того, находитесь ли вы вблизи солнцестояния или равноденствия. (В точке окружности, когда вы движетесь параллельно оси, ускорение внутрь отсутствует. И наоборот, в точке (позже на 1/4 окружности), когда скорость идет вдоль изгиба цилиндра, ускорение внутрь будет максимальным. .) Это (евклидова) нормальная составляющая. Ковариантная производная компонента — это компонента, параллельная поверхности цилиндра, она такая же, как и до того, как вы свернули лист в цилиндр.

Формальное определение

Ковариантная производная — это связность (Кошуля) на касательном расслоении и других тензорных расслоениях : она дифференцирует векторные поля способом, аналогичным обычному дифференциалу на функциях. Определение распространяется на дифференцирование двойственных векторных полей (т.е. ковекторных полей) и на произвольные тензорные поля уникальным способом, который обеспечивает совместимость с тензорным произведением и операциями отслеживания (тензорное сжатие).

Функции

Учитывая точку многообразия , действительную функцию на многообразии и касательный вектор , ковариантная производная f в точке p вдоль v является скаляром в точке p , обозначаемым , который представляет собой главную часть изменения значения f, когда аргумент f заменяется бесконечно малым вектором смещения v . (Это дифференциал f, оцененный по вектору v .) Формально существует дифференцируемая кривая такая, что и , а ковариантная производная f в p определяется формулой ${\displaystyle p\in M}$ ${\displaystyle M}$ ${\displaystyle f:M\to \mathbb {R} }$ ${\displaystyle \mathbf {v} \in T_{p}M}$ ${\displaystyle \left(\nabla _{\mathbf {v} }f\right)_{p}}$ ${\displaystyle \phi :[-1,1]\to M}$ ${\displaystyle \phi (0)=p}$ ${\displaystyle \phi '(0)=\mathbf {v} }$

$${\displaystyle \left(\nabla _{\mathbf {v} }f\right)_{p}=\left(f\circ \phi \right)'\left(0\right)=\lim _{t\to 0}{\frac {f(\phi \left(t\right))-f(p)}{t}}.}$$

Когда векторное поле находится на , ковариантная производная представляет собой функцию, которая сопоставляет каждой точке p в общей области f и v скаляр . ${\displaystyle \mathbf {v} :M\to T_{p}M}$ ${\displaystyle M}$ ${\displaystyle \nabla _{\mathbf {v} }f:M\to \mathbb {R} }$ ${\displaystyle \left(\nabla _{\mathbf {v} }f\right)_{p}}$

Для скалярной функции f и векторного поля v ковариантная производная совпадает с производной Ли и с внешней производной . ${\displaystyle \nabla _{\mathbf {v} }f}$ ${\displaystyle L_{v}(f)}$ ${\displaystyle df(v)}$

Векторные поля

Учитывая точку многообразия , векторное поле , определенное в окрестности точки p , и касательный вектор , ковариантная производная u в точке p вдоль v является касательным вектором в точке p , обозначаемым , так что выполняются следующие свойства (для любых касательных векторов v , x и y в точке p , векторные поля u и w , определенные в окрестности точки p , скалярные значения g и h в точке p и скалярная функция f, определенная в окрестности точки p ): ${\displaystyle p}$ ${\displaystyle M}$ ${\displaystyle \mathbf {u} :M\to T_{p}M}$ ${\displaystyle \mathbf {v} \in T_{p}M}$ ${\displaystyle (\nabla _{\mathbf {v} }\mathbf {u} )_{p}}$

1. ${\displaystyle \left(\nabla _{\mathbf {v} }\mathbf {u} \right)_{p}}$является линейным, поэтому ${\displaystyle \mathbf {v} }$
   $${\displaystyle \left(\nabla _{g\mathbf {x} +h\mathbf {y} }\mathbf {u} \right)_{p}=g(p)\left(\nabla _{\mathbf {x} }\mathbf {u} \right)_{p}+h(p)\left(\nabla _{\mathbf {y} }\mathbf {u} \right)_{p}}$$
2. ${\displaystyle \left(\nabla _{\mathbf {v} }\mathbf {u} \right)_{p}}$является аддитивным, поэтому: ${\displaystyle \mathbf {u} }$
   $${\displaystyle \left(\nabla _{\mathbf {v} }\left[\mathbf {u} +\mathbf {w} \right]\right)_{p}=\left(\nabla _{\mathbf {v} }\mathbf {u} \right)_{p}+\left(\nabla _{\mathbf {v} }\mathbf {w} \right)_{p}}$$
3. ${\displaystyle (\nabla _{\mathbf {v} }\mathbf {u} )_{p}}$подчиняется правилу продукта ; т. е. где определено выше, ${\displaystyle \nabla _{\mathbf {v} }f}$
   $${\displaystyle \left(\nabla _{\mathbf {v} }\left[f\mathbf {u} \right]\right)_{p}=f(p)\left(\nabla _{\mathbf {v} }\mathbf {u} )_{p}+(\nabla _{\mathbf {v} }f\right)_{p}\mathbf {u} _{p}.}$$

Обратите внимание, что это зависит не только от значения u в точке p, но также и от значений u в бесконечно малой окрестности точки p из-за последнего свойства — правила произведения. ${\displaystyle \left(\nabla _{\mathbf {v} }\mathbf {u} \right)_{p}}$

Если u и v являются векторными полями, определенными в общей области, то обозначает векторное поле, значение которого в каждой точке p области является касательным вектором . ${\displaystyle \nabla _{\mathbf {v} }\mathbf {u} }$ ${\displaystyle \left(\nabla _{\mathbf {v} }\mathbf {u} \right)_{p}}$

Ковекторные поля

Учитывая поле ковекторов (или одной формы ) , определенное в окрестности точки p , его ковариантная производная определяется таким образом, чтобы сделать результирующую операцию совместимой с тензорным сжатием и правилом произведения. То есть определяется как единственная форма в точке p такая, что следующее тождество выполняется для всех векторных полей u в окрестности точки p ${\displaystyle \alpha }$ ${\displaystyle (\nabla _{\mathbf {v} }\alpha )_{p}}$ ${\displaystyle (\nabla _{\mathbf {v} }\alpha )_{p}}$

$${\displaystyle \left(\nabla _{\mathbf {v} }\alpha \right)_{p}\left(\mathbf {u} _{p}\right)=\nabla _{\mathbf {v} }\left[\alpha \left(\mathbf {u} \right)\right]_{p}-\alpha _{p}\left[\left(\nabla _{\mathbf {v} }\mathbf {u} \right)_{p}\right].}$$

Ковариантная производная ковекторного поля вдоль векторного поля v снова является ковекторным полем.

Тензорные поля

Как только ковариантная производная определена для полей векторов и ковекторов, ее можно определить для произвольных тензорных полей, наложив следующие тождества для каждой пары тензорных полей и в окрестности точки p : ${\displaystyle \varphi }$ ${\displaystyle \psi }$

$${\displaystyle \nabla _{\mathbf {v} }\left(\varphi \otimes \psi \right)_{p}=\left(\nabla _{\mathbf {v} }\varphi \right)_{p}\otimes \psi (p)+\varphi (p)\otimes \left(\nabla _{\mathbf {v} }\psi \right)_{p},}$$

${\displaystyle \varphi }$ ${\displaystyle \psi }$

$${\displaystyle \nabla _{\mathbf {v} }(\varphi +\psi )_{p}=(\nabla _{\mathbf {v} }\varphi )_{p}+(\nabla _{\mathbf {v} }\psi )_{p}.}$$

v

Явно, пусть T — тензорное поле типа ( p , q ) . Рассмотрим T как дифференцируемое полилинейное отображение гладких сечений α ¹ , α ² , ..., α ^q кокасательного расслоения T ^∗ M и сечений X ₁ , X ₂ , ..., X p касательного _{расслоения} TM , записанное T ( α ¹ , α ² , ..., X ₁ , X ₂ , ...) в R . Ковариантная производная T вдоль Y задается формулой

$${\displaystyle {\begin{aligned}(\nabla _{Y}T)\left(\alpha _{1},\alpha _{2},\ldots ,X_{1},X_{2},\ldots \right)=&{}\nabla _{Y}\left(T\left(\alpha _{1},\alpha _{2},\ldots ,X_{1},X_{2},\ldots \right)\right)\\&{}-T\left(\nabla _{Y}\alpha _{1},\alpha _{2},\ldots ,X_{1},X_{2},\ldots \right)-T\left(\alpha _{1},\nabla _{Y}\alpha _{2},\ldots ,X_{1},X_{2},\ldots \right)-\cdots \\&{}-T\left(\alpha _{1},\alpha _{2},\ldots ,\nabla _{Y}X_{1},X_{2},\ldots \right)-T\left(\alpha _{1},\alpha _{2},\ldots ,X_{1},\nabla _{Y}X_{2},\ldots \right)-\cdots \end{aligned}}}$$

Описание координат

Данные координатные функции

$${\displaystyle x^{i},\ i=0,1,2,\dots ,}$$

касательный вектор

$${\displaystyle \mathbf {e} _{i}={\frac {\partial }{\partial x^{i}}}.}$$

Ковариантная производная базисного вектора вдоль базисного вектора снова является вектором и поэтому может быть выражена как линейная комбинация . Чтобы задать ковариантную производную, достаточно указать ковариантную производную каждого базисного векторного поля вдоль . ${\displaystyle \Gamma ^{k}\mathbf {e} _{k}}$ ${\displaystyle \mathbf {e} _{i}}$ ${\displaystyle \mathbf {e} _{j}}$

$${\displaystyle \nabla _{\mathbf {e} _{j}}\mathbf {e} _{i}={\Gamma ^{k}}_{ij}\mathbf {e} _{k},}$$

коэффициенты являются компонентами связи относительно системы местных координат. В теории римановых и псевдоримановых многообразий компоненты связности Леви-Чивита относительно системы локальных координат называются символами Кристоффеля . ${\displaystyle \Gamma _{ij}^{k}}$

Затем, используя правила определения, мы находим это для общих векторных полей и получаем ${\displaystyle \mathbf {v} =v^{j}\mathbf {e} _{j}}$ ${\displaystyle \mathbf {u} =u^{i}\mathbf {e} _{i}}$

$${\displaystyle {\begin{aligned}\nabla _{\mathbf {v} }\mathbf {u} &=\nabla _{v^{j}\mathbf {e} _{j}}u^{i}\mathbf {e} _{i}\\&=v^{j}\nabla _{\mathbf {e} _{j}}u^{i}\mathbf {e} _{i}\\&=v^{j}u^{i}\nabla _{\mathbf {e} _{j}}\mathbf {e} _{i}+v^{j}\mathbf {e} _{i}\nabla _{\mathbf {e} _{j}}u^{i}\\&=v^{j}u^{i}{\Gamma ^{k}}_{ij}\mathbf {e} _{k}+v^{j}{\partial u^{i} \over \partial x^{j}}\mathbf {e} _{i}\end{aligned}}}$$

так

$${\displaystyle \nabla _{\mathbf {v} }\mathbf {u} =\left(v^{j}u^{i}{\Gamma ^{k}}_{ij}+v^{j}{\partial u^{k} \over \partial x^{j}}\right)\mathbf {e} _{k}.}$$

Первое слагаемое в этой формуле отвечает за «закручивание» системы координат относительно ковариантной производной, а второе — за изменение компонент векторного поля u . В частности

$${\displaystyle \nabla _{\mathbf {e} _{j}}\mathbf {u} =\nabla _{j}\mathbf {u} =\left({\frac {\partial u^{i}}{\partial x^{j}}}+u^{k}{\Gamma ^{i}}_{kj}\right)\mathbf {e} _{i}}$$

Другими словами: ковариантная производная — это обычная производная по координатам с поправочными членами, которые говорят, как изменяются координаты.

Для ковекторов аналогично имеем

$${\displaystyle \nabla _{\mathbf {e} _{j}}{\mathbf {\theta } }=\left({\frac {\partial \theta _{i}}{\partial x^{j}}}-\theta _{k}{\Gamma ^{k}}_{ij}\right){\mathbf {e} ^{*}}^{i}}$$

где . ${\displaystyle {\mathbf {e} ^{*}}^{i}(\mathbf {e} _{j})={\delta ^{i}}_{j}}$

Ковариантная производная тензорного поля типа ( r , s ) определяется выражением: ${\displaystyle e_{c}}$

$${\displaystyle {\begin{aligned}{(\nabla _{e_{c}}T)^{a_{1}\ldots a_{r}}}_{b_{1}\ldots b_{s}}={}&{\frac {\partial }{\partial x^{c}}}{T^{a_{1}\ldots a_{r}}}_{b_{1}\ldots b_{s}}\\&+\,{\Gamma ^{a_{1}}}_{dc}{T^{da_{2}\ldots a_{r}}}_{b_{1}\ldots b_{s}}+\cdots +{\Gamma ^{a_{r}}}_{dc}{T^{a_{1}\ldots a_{r-1}d}}_{b_{1}\ldots b_{s}}\\&-\,{\Gamma ^{d}}_{b_{1}c}{T^{a_{1}\ldots a_{r}}}_{db_{2}\ldots b_{s}}-\cdots -{\Gamma ^{d}}_{b_{s}c}{T^{a_{1}\ldots a_{r}}}_{b_{1}\ldots b_{s-1}d}.\end{aligned}}}$$

Или, говоря словами: возьмите частную производную тензора и прибавьте: для каждого верхнего индекса и для каждого нижнего индекса . ${\displaystyle +{\Gamma ^{a_{i}}}_{dc}}$ ${\displaystyle a_{i}}$ ${\displaystyle -{\Gamma ^{d}}_{b_{i}c}}$ ${\displaystyle b_{i}}$

Если вместо тензора пытаются дифференцировать плотность тензора (веса +1), то добавляют еще слагаемое

$${\displaystyle -{\Gamma ^{d}}_{dc}{T^{a_{1}\ldots a_{r}}}_{b_{1}\ldots b_{s}}.}$$

WW. ${\textstyle {\sqrt {-g}}}$

$${\displaystyle \left({\sqrt {-g}}\right)_{;c}=\left({\sqrt {-g}}\right)_{,c}-{\sqrt {-g}}\,{\Gamma ^{d}}_{dc}}$$

где точка с запятой ";" указывает на ковариантную дифференциацию, а запятая «,» указывает на частичную дифференциацию. Кстати, именно это выражение равно нулю, поскольку ковариантная производная функции исключительно метрики всегда равна нулю.

Обозначения

В учебниках по физике ковариантную производную иногда просто выражают через ее компоненты в этом уравнении.

Часто используются обозначения, в которых ковариантная производная указывается через точку с запятой , а нормальная частная производная обозначается запятой . В этих обозначениях пишем то же самое:

$${\displaystyle \nabla _{e_{j}}\mathbf {v} \ {\stackrel {\mathrm {def} }{=}}\ {v^{s}}_{;j}\mathbf {e} _{s}\;\;\;\;\;\;{v^{i}}_{;j}={v^{i}}_{,j}+v^{k}{\Gamma ^{i}}_{kj}}$$

$${\displaystyle \nabla _{e_{k}}\left(\nabla _{e_{j}}\mathbf {v} \right)\ {\stackrel {\mathrm {def} }{=}}\ {v^{s}}_{;jk}\mathbf {e} _{s}}$$

В некоторых старых текстах (особенно Адлер, Базен и Шиффер, « Введение в общую теорию относительности ») ковариантная производная обозначается двойной трубкой, а частная производная — одинарной трубкой:

$${\displaystyle \nabla _{e_{j}}\mathbf {v} \ {\stackrel {\mathrm {def} }{=}}\ {v^{i}}_{||j}={v^{i}}_{|j}+v^{k}{\Gamma ^{i}}_{kj}}$$

Ковариантная производная по типу поля

Для скалярного поля ковариантное дифференцирование — это просто частичное дифференцирование: ${\displaystyle \phi \,}$

$${\displaystyle \phi _{;a}\equiv \partial _{a}\phi }$$

Для контравариантного векторного поля имеем: ${\displaystyle \lambda ^{a}}$

$${\displaystyle {\lambda ^{a}}_{;b}\equiv \partial _{b}\lambda ^{a}+{\Gamma ^{a}}_{bc}\lambda ^{c}}$$

Для ковариантного векторного поля имеем: ${\displaystyle \lambda _{a}}$

$${\displaystyle \lambda _{a;c}\equiv \partial _{c}\lambda _{a}-{\Gamma ^{b}}_{ca}\lambda _{b}}$$

Для тензорного поля типа (2,0) имеем: ${\displaystyle \tau ^{ab}}$

$${\displaystyle {\tau ^{ab}}_{;c}\equiv \partial _{c}\tau ^{ab}+{\Gamma ^{a}}_{cd}\tau ^{db}+{\Gamma ^{b}}_{cd}\tau ^{ad}}$$

Для тензорного поля типа (0,2) имеем: ${\displaystyle \tau _{ab}}$

$${\displaystyle \tau _{ab;c}\equiv \partial _{c}\tau _{ab}-{\Gamma ^{d}}_{ca}\tau _{db}-{\Gamma ^{d}}_{cb}\tau _{ad}}$$

Для тензорного поля типа (1,1) имеем: ${\displaystyle {\tau ^{a}}_{b}}$

$${\displaystyle {\tau ^{a}}_{b;c}\equiv \partial _{c}{\tau ^{a}}_{b}+{\Gamma ^{a}}_{cd}{\tau ^{d}}_{b}-{\Gamma ^{d}}_{cb}{\tau ^{a}}_{d}}$$

Обозначения выше понимаются в смысле

$${\displaystyle {\tau ^{ab}}_{;c}\equiv \left(\nabla _{\mathbf {e} _{c}}\tau \right)^{ab}}$$

Характеристики

В общем случае ковариантные производные не коммутируют. Например, ковариантные производные векторного поля . Тензор Римана определяется так, что: ${\displaystyle \lambda _{a;bc}\neq \lambda _{a;cb}}$ ${\displaystyle {R^{d}}_{abc}}$

$${\displaystyle \lambda _{a;bc}-\lambda _{a;cb}={R^{d}}_{abc}\lambda _{d}}$$

или, что то же самое,

$${\displaystyle {\lambda ^{a}}_{;bc}-{\lambda ^{a}}_{;cb}=-{R^{a}}_{dbc}\lambda ^{d}}$$

Ковариантная производная (2,0)-тензорного поля удовлетворяет:

$${\displaystyle {\tau ^{ab}}_{;cd}-{\tau ^{ab}}_{;dc}=-{R^{a}}_{ecd}\tau ^{eb}-{R^{b}}_{ecd}\tau ^{ae}}$$

Последнее можно показать, приняв (без ограничения общности), что . ${\displaystyle \tau ^{ab}=\lambda ^{a}\mu ^{b}}$

Производная по кривой

Поскольку ковариантная производная тензорного поля в точке зависит только от значения векторного поля в точке, можно определить ковариантную производную вдоль гладкой кривой в многообразии: ${\displaystyle \nabla _{X}T}$ ${\displaystyle T}$ ${\displaystyle p}$ ${\displaystyle X}$ ${\displaystyle p}$ ${\displaystyle \gamma (t)}$

$${\displaystyle D_{t}T=\nabla _{{\dot {\gamma }}(t)}T.}$$

${\displaystyle T}$ ${\displaystyle \gamma (t)}$

В частности, – векторное поле вдоль самой кривой. Если равен нулю, то кривая называется геодезической ковариантной производной. Если ковариантная производная является связностью Леви-Чивита положительно определенной метрики, то геодезические для связи - это в точности геодезические метрики, параметризованные длиной дуги . ${\displaystyle {\dot {\gamma }}(t)}$ ${\displaystyle \gamma }$ ${\displaystyle \nabla _{{\dot {\gamma }}(t)}{\dot {\gamma }}(t)}$

Производная вдоль кривой также используется для определения параллельного переноса вдоль кривой.

Иногда ковариантную производную вдоль кривой называют абсолютной или внутренней производной .

Связь с производной Ли

Ковариантная производная вводит дополнительную геометрическую структуру в многообразии, которая позволяет сравнивать векторы в соседних касательных пространствах: не существует канонического способа сравнения векторов из разных касательных пространств, поскольку не существует канонической системы координат.

Однако существует еще одно каноническое обобщение производных по направлению : производная Ли , которая оценивает изменение одного векторного поля вдоль потока другого векторного поля. Таким образом, необходимо знать оба векторных поля в открытой окрестности, а не только в одной точке. С другой стороны, ковариантная производная вносит собственное изменение для векторов в заданном направлении, и оно зависит только от направления вектора в одной точке, а не от векторного поля в открытой окрестности точки. Другими словами, ковариантная производная линейна (по C ^∞ ( M ) ) по аргументу направления, в то время как производная Ли не является линейной ни по одному из аргументов.

Обратите внимание, что антисимметризованная ковариантная производная ∇ _u v − ∇ _v u и производная Ли L _u v различаются кручением связности , так что если связь не имеет кручения, то ее антисимметризация является производной Ли.

Смотрите также

• Аффинное соединение
• Символы Кристоффеля
• Связь (алгебраическая основа)
• Связь (математика)
• Соединение (векторный пакет)
• Форма подключения
• Внешняя ковариантная производная
• Калибровочная ковариантная производная
• Введение в математику общей теории относительности
• Связь Леви-Чивита
• Параллельная транспортировка
• исчисление Риччи
• Тензорная производная (механика сплошных сред)
• Список формул римановой геометрии

Примечания

1. Эйнштейн, Альберт (1922). «Общая теория относительности». Смысл относительности.
2. Риччи, Г.; Леви-Чивита, Т. (1901). «Методы абсолютного дифференциального расчета и приложения». Математические Аннален . 54 (1–2): 125–201. дои : 10.1007/bf01454201. S2CID  120009332.
3. Риман, GFB (1866). «Über die Hypothesen, welche der Geometrie zu Grunde Ligen». Gesammelte Mathematische Werke .; перепечатка, изд. Вебер, Х. (1953), Нью-Йорк: Дувр.
4. Кристоффель, Э.Б. (1869). «Über die Transformation der homogenen Differentialausdrücke zweiten Grades». Журнал для королевы и математики . 70 : 46–70.
5. см. с Картаном, Э (1923). «Sur les variétés à connexion affine et la theorie de la relativité généralisée». Анналы, Нормальная школа . 40 : 325–412. дои : 10.24033/asens.751 .
6. Кошул, JL (1950). «Гомология и когомологии алгебр Ли». Бюллетень математического общества . 78 : 65–127. дои : 10.24033/bsmf.1410 .
7. Ковариантная производная также обозначается по-разному через _v u , D _v u или другими обозначениями. ${\displaystyle \partial }$
8. Во многих приложениях, возможно, лучше не думать о t как о соответствующем времени, по крайней мере, для приложений в общей теории относительности . Его просто рассматривают как абстрактный параметр, плавно и монотонно изменяющийся вдоль пути.

Рекомендации

• Кобаяши, Сошичи ; Номидзу, Кацуми (1996). Основы дифференциальной геометрии, Том. 1 (Новое изд.). Уайли Интерсайенс . ISBN 0-471-15733-3.
• И.Х. Сабитов (2001) [1994], «Ковариантное дифференцирование», Математическая энциклопедия , EMS Press
• Штернберг, Шломо (1964). Лекции по дифференциальной геометрии . Прентис-Холл.
• Спивак, Михаил (1999). Всестороннее введение в дифференциальную геометрию (том второй) . Опубликуй или погибни, Inc.