Якоби өрісі - Jacobi field

Жылы Риман геометриясы, а Якоби өрісі Бұл векторлық өріс бірге геодезиялық ${ displaystyle gamma}$ ішінде Риманн коллекторы геодезия мен «шексіз жақын» геодезия арасындағы айырмашылықты сипаттай отырып. Басқаша айтқанда, геодезия бойындағы Якоби өрістері барлық геодезия кеңістігінде геодезияға дейін жанама кеңістікті құрайды. Олар осылай аталады Карл Якоби.

Анықтамалары мен қасиеттері

Якоби өрістерін келесі жолмен алуға болады: а тегіс геодезияның бір параметрі ${ displaystyle gamma _ { tau}}$ бірге ${ displaystyle gamma _ {0} = gamma}$ , содан кейін

{ displaystyle J (t) = сол жақ. { frac { жарым-жартылай гамма _ { tau} (t)} { ішінара tau}} оң | _ { tau = 0}}

Якоби өрісі болып табылады және берілген геодезияның шексіз шағын ауданындағы геодезияның мінез-құлқын сипаттайды ${ displaystyle gamma}$ .

Векторлық өріс Дж геодезия бойымен ${ displaystyle gamma}$ деп аталады Якоби өрісі егер ол қанағаттандырса Якоби теңдеуі:

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

қайда Д. дегенді білдіреді ковариант туынды қатысты Levi-Civita байланысы, R The Риманның қисықтық тензоры, ${ displaystyle { dot { gamma}} (t) = d gamma (t) / dt}$ жанасу вектор өрісі, және т геодезиялық параметр болып табылады толық Риманн коллекторы, кез-келген Якоби өрісі үшін геодезия отбасы бар ${ displaystyle gamma _ { tau}}$ өрісті сипаттау (алдыңғы абзацтағыдай).

Якоби теңдеуі - а сызықтық, екінші ретті қарапайым дифференциалдық теңдеу; атап айтқанда ${ displaystyle J}$ және ${ displaystyle { frac {D} {dt}} J}$ бір нүктесінде ${ displaystyle gamma}$ Якоби өрісін ерекше түрде анықтаңыз. Сонымен қатар, берілген геодезия бойындағы Якоби өрістерінің жиынтығы нақты болып табылады векторлық кеңістік өлшемі коллектор өлшемінен екі есе үлкен.

Якоби өрістерінің маңызды емес мысалдары ретінде қарастыруға болады ${ displaystyle { dot { gamma}} (t)}$ және ${ displaystyle t { dot { gamma}} (t)}$ . Бұл сәйкесінше келесі репарметриялардың отбасыларына сәйкес келеді: ${ displaystyle gamma _ { tau} (t) = gamma ( tau + t)}$ және ${ displaystyle gamma _ { tau} (t) = gamma ((1+ tau) t)}$ .

Кез-келген Якоби өрісі ${ displaystyle J}$ қосынды түрінде ерекше түрде ұсынылуы мүмкін ${ displaystyle T + I}$ , қайда ${ displaystyle T = a { dot { gamma}} (t) + bt { dot { gamma}} (t)}$ - тривиальды Якоби өрістерінің сызықтық тіркесімі және ${ displaystyle I (t)}$ ортогоналды болып табылады ${ displaystyle { dot { gamma}} (t)}$ , барлығына ${ displaystyle t}$ . Алаң ${ displaystyle I}$ содан кейін геодезияның бірдей вариациясына сәйкес келеді ${ displaystyle J}$ , тек өзгертілген параметрлермен.

Түрткі болатын мысал

Үстінде сфера, геодезия Солтүстік полюс арқылы үлкен үйірмелер. Осындай екі геодезияны қарастырайық ${ displaystyle gamma _ {0}}$ және ${ displaystyle gamma _ { tau}}$ табиғи параметрмен, ${ displaystyle t in [0, pi]}$ , бұрышпен бөлінген ${ displaystyle tau}$ . Геодезиялық қашықтық

{ displaystyle d ( gamma _ {0} (t), gamma _ { tau} (t)) ,}

болып табылады

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

Мұны есептеу үшін геодезияны білу қажет. Ең қызықты ақпарат дәл осы

{ displaystyle d ( gamma _ {0} ( pi), gamma _ { tau} ( pi)) = 0 ,}

, кез келген үшін

{ displaystyle tau}

.

Оның орнына біз қарастыра аламыз туынды құрметпен ${ displaystyle tau}$ кезінде ${ displaystyle tau = 0}$ :

{ displaystyle { frac { жарымсал} { жартылай tau}} { bigg |} _ { tau = 0} d ( гамма _ {0} (t), гамма _ { tau} (t )) = | J (t) | = sin t.}

Назар аударыңыз, біз әлі де анықтаймыз қиылысу геодезия ${ displaystyle t = pi}$ . Осы туынды есептеу үшін бізге білудің қажеті жоқ екеніне назар аударыңыз

{ displaystyle d ( gamma _ {0} (t), gamma _ { tau} (t)) ,}

,

бізге тек теңдеуді шешу керек

{ displaystyle y '' + y = 0 ,}

,

берілген кейбір бастапқы деректер үшін.

Якоби өрістері бұл құбылыстың табиғи жалпылауын ерікті түрде береді Риман коллекторлары.

Якоби теңдеуін шешу

Келіңіздер ${ displaystyle e_ {1} (0) = { нүкте { гамма}} (0) / | { нүкте { гамма}} (0) |}$ және алу үшін мұны аяқтаңыз ортонормальды негіз ${ displaystyle { big {} e_ {i} (0) { big }}}$ кезінде ${ displaystyle T _ { gamma (0)} M}$ . Параллельді тасымалдау бұл негіз алу үшін ${ displaystyle {e_ {i} (t) }}$ барлық уақытта ${ displaystyle gamma}$ . Бұл ортонормальды негіз береді ${ displaystyle e_ {1} (t) = { dot { gamma}} (t) / | { dot { gamma}} (t) |}$ . Якоби өрісін координаттар түрінде осы негізде жазуға болады ${ displaystyle J (t) = y ^ {k} (t) e_ {k} (t)}$ және осылайша

{ 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). Бұл ODE бар тегіс коэффициенттер бізде шешімдер барлығына арналған ${ displaystyle t}$ және бірегей, берілген ${ displaystyle y ^ {k} (0)}$ және ${ displaystyle {y ^ {k}} '(0)}$ , барлығына ${ displaystyle k}$ .

Мысалдар

Геодезияны қарастырайық ${ displaystyle gamma (t)}$ параллель ортонормальды рамамен ${ displaystyle e_ {i} (t)}$ , ${ displaystyle e_ {1} (t) = { dot { gamma}} (t) / | { dot { gamma}} |}$ , жоғарыда көрсетілгендей салынған.

Векторлық өрістер ${ displaystyle gamma}$ берілген ${ displaystyle { dot { gamma}} (t)}$ және ${ displaystyle t { dot { gamma}} (t)}$ Якоби өрістері.
Евклид кеңістігінде (сондай-ақ тұрақты нөлге тең кеңістіктер үшін) қисықтық қисаюы ) Якоби өрістері - бұл жай сызықтық өрістер ${ displaystyle t}$ .
Риманнаның тұрақты теріс қимасының қисықтық коллекторлары үшін ${ displaystyle -k ^ {2}}$ , кез-келген Якоби өрісі - сызықтық комбинациясы ${ displaystyle { dot { gamma}} (t)}$ , ${ displaystyle t { dot { gamma}} (t)}$ және ${ displaystyle exp ( pm kt) e_ {i} (t)}$ , қайда ${ displaystyle i> 1}$ .
Риманнаның тұрақты оң қималық қисықтық коллекторлары үшін ${ displaystyle k ^ {2}}$ , кез-келген Якоби өрісі - сызықтық комбинациясы ${ displaystyle { dot { gamma}} (t)}$ , ${ displaystyle t { dot { gamma}} (t)}$ , ${ displaystyle sin (kt) e_ {i} (t)}$ және ${ displaystyle cos (kt) e_ {i} (t)}$ , қайда ${ displaystyle i> 1}$ .
A шектеуі Векторлық өрісті өлтіру геодезия - кез-келген Риман коллекторындағы Якоби өрісі.

Сондай-ақ қараңыз

Әдебиеттер тізімі

Manfredo Perdigão do Carmo. Риман геометриясы. Екінші португалдық басылымнан аударған Фрэнсис Флахери. Математика: теория және қолдану. Birkhäuser Boston, Inc., Бостон, MA, 1992. xiv + 300 бб. ISBN 0-8176-3490-8
Джефф Чигер және Дэвид Г. Эбин. Риман геометриясындағы салыстыру теоремалары. 1975 жылғы түпнұсқаны қайта қарау. AMS Chelsea Publishing, Providence, RI, 2008. x + 168 бб. ISBN 978-0-8218-4417-5
Шошичи Кобаяши және Катсуми Номизу. Дифференциалды геометрияның негіздері. Том. II. 1969 жылғы түпнұсқаны қайта басып шығару. Wiley Classics кітапханасы. Wiley-Intercience басылымы. John Wiley & Sons, Inc., Нью-Йорк, 1996. xvi + 468 бб. ISBN 0-471-15732-5
Барретт О'Нилл. Жартылай риман геометриясы. Салыстырмалылыққа арналған қосымшалармен. Таза және қолданбалы математика, 103. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], Нью-Йорк, 1983. xiii + 468 бб. ISBN 0-12-526740-1