WikiDer > Поле Якоби

Jacobi field

В Риманова геометрия, а Поле Якоби это векторное поле вдоль геодезический ${ displaystyle gamma}$ в Риманово многообразие описывающий разницу между геодезической и «бесконечно близкой» геодезической. Другими словами, поля Якоби вдоль геодезической образуют касательное пространство к геодезической в пространстве всех геодезических. Они названы в честь Карл Якоби.

Определения и свойства

Поля Якоби можно получить следующим образом. гладкий однопараметрическое семейство геодезических ${ displaystyle gamma _ { tau}}$ с ${ displaystyle gamma _ {0} = gamma}$ , тогда

{ Displaystyle J (t) = left. { frac { partial gamma _ { tau} (t)} { partial tau}} right | _ { tau = 0}}

является полем Якоби и описывает поведение геодезических в бесконечно малой окрестности данной геодезической ${ displaystyle gamma}$ .

Векторное поле J по геодезической ${ displaystyle gamma}$ считается Поле Якоби если он удовлетворяет Уравнение Якоби:

{ displaystyle { frac {D ^ {2}} {dt ^ {2}}} J (t) + R (J (t), { dot { gamma}} (t)) { dot { гамма}} (t) = 0,}

куда D обозначает ковариантная производная с уважением к Леви-Чивита связь, р в Тензор кривизны Римана, ${ Displaystyle { точка { гамма}} (т) = д гамма (т) / дт}$ касательное векторное поле, и т - параметр геодезической. полный Риманово многообразие, для любого поля Якоби существует семейство геодезических ${ displaystyle gamma _ { tau}}$ описание поля (как в предыдущем абзаце).

Уравнение Якоби - это линейный, второго порядка обыкновенное дифференциальное уравнение; в частности, значения ${ displaystyle J}$ и ${ displaystyle { frac {D} {dt}} J}$ в одной точке ${ displaystyle gamma}$ однозначно определяют поле Якоби. Кроме того, множество полей Якоби вдоль данной геодезической образует вещественную векторное пространство размерности в два раза превышающей размер коллектора.

В качестве тривиальных примеров полей Якоби можно рассматривать ${ Displaystyle { точка { gamma}} (т)}$ и ${ Displaystyle т { точка { гамма}} (т)}$ . Они соответствуют, соответственно, следующим семействам повторных параметризаций: ${ Displaystyle гамма _ { тау} (т) = гамма ( тау + т)}$ и ${ Displaystyle гамма _ { тау} (т) = гамма ((1+ тау) т)}$ .

Любое поле Якоби ${ displaystyle J}$ можно однозначно представить в виде суммы ${ displaystyle T + I}$ , куда ${ Displaystyle Т = а { точка { гамма}} (т) + bt { точка { гамма}} (т)}$ является линейной комбинацией тривиальных полей Якоби и ${ Displaystyle I (т)}$ ортогонален ${ Displaystyle { точка { gamma}} (т)}$ , для всех ${ displaystyle t}$ . Поле ${ displaystyle I}$ тогда соответствует той же вариации геодезических, что и ${ displaystyle J}$ , только с измененными параметризациями.

Мотивирующий пример

На сфера, то геодезические через Северный полюс проходят большие круги. Рассмотрим две такие геодезические ${ displaystyle gamma _ {0}}$ и ${ displaystyle gamma _ { tau}}$ с натуральным параметром, ${ Displaystyle т в [0, пи]}$ , разделенные углом ${ Displaystyle тау}$ . Геодезическое расстояние

{ Displaystyle д ( гамма _ {0} (т), гамма _ { тау} (т)) ,}

является

{ displaystyle d ( gamma _ {0} (t), gamma _ { tau} (t)) = sin ^ {- 1} { bigg (} sin t sin tau { sqrt { 1+ cos ^ {2} t tan ^ {2} ( tau / 2)}} { bigg)}.}

Вычисление этого требует знания геодезических. Самая интересная информация заключается в том, что

{ Displaystyle д ( гамма _ {0} ( пи), гамма _ { тау} ( пи)) = 0 ,}

, для любого

{ Displaystyle тау}

.

Вместо этого мы можем рассмотреть производная относительно ${ Displaystyle тау}$ в ${ Displaystyle тау = 0}$ :

{ displaystyle { frac { partial} { partial tau}} { bigg |} _ { tau = 0} d ( gamma _ {0} (t), gamma _ { tau} (t )) = | J (t) | = sin t.}

Обратите внимание, что мы все еще обнаруживаем пересечение геодезических на ${ Displaystyle т = пи}$ . Обратите внимание, что для вычисления этой производной нам на самом деле не нужно знать

{ Displaystyle д ( гамма _ {0} (т), гамма _ { тау} (т)) ,}

,

скорее, все, что нам нужно сделать, это решить уравнение

{ Displaystyle у '' + у = 0 ,}

,

для некоторых заданных исходных данных.

Поля Якоби дают естественное обобщение этого явления на произвольные Римановы многообразия.

Решение уравнения Якоби

Позволять ${ displaystyle e_ {1} (0) = { dot { gamma}} (0) / | { dot { gamma}} (0) |}$ и завершите это, чтобы получить ортонормированный основа ${ Displaystyle { большой {} е_ {я} (0) { большой }}}$ в ${ displaystyle T _ { gamma (0)} M}$ . Параллельный транспорт это получить основу ${ Displaystyle {е_ {я} (т) }}$ все это время ${ displaystyle gamma}$ . Это дает ортонормированный базис с ${ displaystyle e_ {1} (t) = { dot { gamma}} (t) / | { dot { gamma}} (t) |}$ . Поле Якоби может быть записано в координатах в терминах этого базиса как ${ Displaystyle J (т) = у ^ {к} (т) е_ {к} (т)}$ и поэтому

{ displaystyle { frac {D} {dt}} J = sum _ {k} { frac {dy ^ {k}} {dt}} e_ {k} (t), quad { frac {D ^ {2}} {dt ^ {2}}} J = sum _ {k} { frac {d ^ {2} y ^ {k}} {dt ^ {2}}} e_ {k} (t ),}

а уравнение Якоби можно переписать в виде системы

{ displaystyle { frac {d ^ {2} y ^ {k}} {dt ^ {2}}} + | { dot { gamma}} | ^ {2} sum _ {j} y ^ { j} (t) langle R (e_ {j} (t), e_ {1} (t)) e_ {1} (t), e_ {k} (t) rangle = 0}

для каждого ${ displaystyle k}$ . Таким образом, мы получаем линейное обыкновенное дифференциальное уравнение (ОДУ). Поскольку это ODE имеет гладкий коэффициенты у нас есть решения для всех ${ displaystyle t}$ и уникальны, учитывая ${ Displaystyle у ^ {к} (0)}$ и ${ displaystyle {y ^ {k}} '(0)}$ , для всех ${ displaystyle k}$ .

Примеры

Рассмотрим геодезическую ${ Displaystyle gamma (т)}$ с параллельной ортонормированной рамой ${ Displaystyle е_ {я} (т)}$ , ${ displaystyle e_ {1} (t) = { dot { gamma}} (t) / | { dot { gamma}} |}$ , построенный, как указано выше.

Векторные поля вдоль ${ displaystyle gamma}$ данный ${ Displaystyle { точка { gamma}} (т)}$ и ${ Displaystyle т { точка { гамма}} (т)}$ - поля Якоби.
В евклидовом пространстве (а также для пространств постоянного нуля секционная кривизна) Поля Якоби - это просто те поля, линейные по ${ displaystyle t}$ .
Для римановых многообразий постоянной отрицательной секционной кривизны ${ displaystyle -k ^ {2}}$ , любое поле Якоби является линейной комбинацией ${ Displaystyle { точка { gamma}} (т)}$ , ${ Displaystyle т { точка { гамма}} (т)}$ и ${ Displaystyle ехр ( пм кт) е_ {я} (т)}$ , куда ${ displaystyle i> 1}$ .
Для римановых многообразий постоянной положительной секционной кривизны ${ displaystyle k ^ {2}}$ , любое поле Якоби является линейной комбинацией ${ Displaystyle { точка { gamma}} (т)}$ , ${ Displaystyle т { точка { гамма}} (т)}$ , ${ Displaystyle грех (кт) е_ {я} (т)}$ и ${ Displaystyle соз (кт) е_ {я} (т)}$ , куда ${ displaystyle i> 1}$ .
Ограничение Векторное поле убийства к геодезической - это поле Якоби в любом римановом многообразии.

Navigation

Navigation

Themenportale

WikiDer > Поле Якоби

Содержание

Определения и свойства

Мотивирующий пример

Решение уравнения Якоби

Примеры

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

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