Спрей (математика) - Spray (mathematics)

Жылы дифференциалды геометрия, а бүріккіш Бұл векторлық өріс H үстінде тангенс байламы ТМ а кодтайтын квазисызықтық қарапайым коллектордағы қарапайым дифференциалдық теңдеулердің екінші ретті жүйесі М. Әдетте бүріккіш оның интегралды қисықтары мағынасында біртекті болуы керек т→ Φ_H^т(ξ) ∈ТМ ережеге бағыну Φ_H^т(λξ) = Φ_H^λt(ξ) оң репараметрлерде. Егер бұл талап алынып тасталса, H а деп аталады жартылай шашу.

Спрейлер табиғи түрде пайда болады Риманниан және Финслер геометриясы ретінде геодезиялық спрейлер, кімнің интегралды қисықтар қисықтарды минимизациялайтын жергілікті ұзындықтың жанама қисықтары болып табылады. Лагранж механикасы. Осы мысалдарды, кез-келген (мүмкін сызықтық емес) байланысты жалпылау М жартылай спрей тудырады Hжәне, керісінше, кез-келген жартылай спрей H бұралусыз сызықты емес қосылымды тудырады М. Егер бастапқы байланыс бұралусыз болса, онда ол индукцияланған байланыспен сәйкес келеді Hжәне біртекті бұралусыз қосылыстар толық шашыратқыштармен бір-біріне сәйкес келеді.^[1]

Ресми анықтамалар

Келіңіздер М болуы а дифференциалданатын коллектор және (ТМ, π_ТМ,М) оның тангенді байламы. Содан кейін векторлық өріс H қосулы ТМ (яғни, а бөлім туралы қос жанама байлам TTM) Бұл жартылай шашу қосулы М, егер үш баламалы шарттың кез келгені орындалса:

• (π_ТМ)_*H_ξ = ξ.
• JH=V, қайда Дж жанама құрылым болып табылады ТМ және V - бұл канондық векторлық өріс ТМ\0.
• j∘H=H, қайда j:TTM→TTM болып табылады канондық флип және H картаға түсіру ретінде көрінеді ТМ→TTM.

Жарты спрей H қосулы М Бұл (толық) спрей егер келесі баламалы шарттардың кез келгені болса:

• H_λξ = λ_*(λH_ξ), мұндағы λ_*:TTM→TTM - көбейтудің алға жылжуы:ТМ→ТМ оң скаляр бойынша λ> 0.
• Жалған туындысы H канондық векторлық өріс бойымен V қанағаттандырады [V,H]=H.
• Тұтас қисықтар т→ Φ_H^т(ξ) ∈ТМ 0 / H қанағаттандыру Φ_H^т(λξ) = λΦ_H^λt(ξ) кез келген λ> 0 үшін.

Келіңіздер (х^мен, ξ^мен) жергілікті координаттар болуы керек ТМ жергілікті координаттармен байланысты (х^мен) қосулы М әрбір жанасу кеңістігінде координаталық негізді қолдану. Содан кейін H - бұл жартылай шашырау М егер ол форманың жергілікті көрінісі болса ғана

${ displaystyle H _ { xi} = xi ^ {i} { frac { жарым-жартылай} { жартылай x ^ {i}}} { Big |} _ {(x, xi)} - 2G ^ { i} (x, xi) { frac { жарым-жартылай} { жартылай xi ^ {i}}} { Big |} _ {(x, xi)}.}$

әрбір байланысты координаттар жүйесі бойынша ТМ. Жарты спрей H егер бұл болса, (толық) спрей болып табылады спрей коэффициенттері G^мен қанағаттандыру

${ displaystyle G ^ {i} (x, lambda xi) = lambda ^ {2} G ^ {i} (x, xi), quad lambda> 0. ,}$

Лагранж механикасындағы жартылай спрейлер

Физикалық жүйе Лагранж механикасында Лагранж функциясы бойынша модельденеді L:ТМ→R кейбір конфигурация кеңістігінің жанама байламында М. Динамикалық заң уақыт эволюциясы that деп тұжырымдайтын Гамильтон принципінен алынған: [а,б]→М жүйенің күйі әрекет интегралына арналған стационар

${ displaystyle { mathcal {S}} ( gamma): = int _ {a} ^ {b} L ( gamma (t), { dot { gamma}} (t)) dt}$.

Байланысты координаттарда ТМ әрекет интегралының бірінші вариациясы келесідей оқылады

${ displaystyle { frac {d} {ds}} { Big |} _ {s = 0} { mathcal {S}} ( gamma _ {s}) = { Big |} _ {a} ^ {b} { frac { ішінара L} { жартылай xi ^ {i}}} X ^ {i} - int _ {a} ^ {b} { Үлкен (} { frac { жартылай ^ {2} L} { ішінара xi ^ {j} жартылай xi ^ {i}}} { ddot { гамма}} ^ {j} + { frac { жартылай ^ {2} L} { жартылай x ^ {j} жартылай xi ^ {i}}} { нүкте { гамма}} ^ {j} - { frac { жартылай L} { жартылай x ^ {i}}} { Үлкен)} X ^ {i} dt,}$

қайда X:[а,б]→R - the вариациясымен байланысты вариациялық векторлық өріс_с:[а,б]→М айналасында γ (т) = γ₀(т). Бұл бірінші вариация формуласын келесі түсініктерді енгізу арқылы ақпаратты түрде қайта құруға болады:

• Ковектор ${ displaystyle alpha _ { xi} = alpha _ {i} (x, xi) dx ^ {i} | _ {x} in T_ {x} ^ {*} M}$ бірге ${ displaystyle alpha _ {i} (x, xi) = { tfrac { ішінара L} { жартылай xi ^ {i}}} (x, xi)}$ болып табылады конъюгациялық импульс туралы ${ displaystyle xi in T_ {x} M}$.
• Сәйкес бір форма ${ displaystyle alpha in Omega ^ {1} (TM)}$ бірге ${ displaystyle alpha _ { xi} = alpha _ {i} (x, xi) dx ^ {i} | _ {(x, xi)} in T _ { xi} ^ {*} TM }$ болып табылады Гильберт формасы лагранжбен байланысты.
• Белгісіз форма ${ displaystyle g _ { xi} = g_ {ij} (x, xi) (dx ^ {i} otimes dx ^ {j}) | _ {x}}$ бірге ${ displaystyle g_ {ij} (x, xi) = { tfrac { ішіндегі ^ {2} L} { жартылай xi ^ {i} жартылай xi ^ {j}}} (x, xi )}$ болып табылады негізгі тензор Лагранждың ${ displaystyle xi in T_ {x} M}$.
• Лагранжды қанағаттандырады Legendre күйі егер негізгі тензор болса ${ displaystyle displaystyle g _ { xi}}$ деградацияға ұшырамайды ${ displaystyle xi in T_ {x} M}$. Содан кейін.-Нің кері матрицасы ${ displaystyle displaystyle g_ {ij} (x, xi)}$ деп белгіленеді ${ displaystyle displaystyle g ^ {ij} (x, xi)}$.
• The Энергия Лагранжмен байланысты ${ displaystyle displaystyle E ( xi) = альфа _ { xi} ( xi) -L ( xi)}$.

Егер Legendre шарты орындалса, онда г.α∈Ω²(ТМ) Бұл симплектикалық форма, және бірегей бар Гамильтондық векторлық өріс H қосулы ТМ Гамильтон функциясына сәйкес келеді E осындай

${ displaystyle displaystyle dE = - iota _ {H} d альфа}$.

Келіңіздер (X^мен,Y^мен) Гамильтондық векторлық өрістің компоненттері болуы керек H байланысты координаттарда ТМ. Содан кейін

${ displaystyle iota _ {H} d alpha = Y ^ {i} { frac { partial ^ {2} L} { жарым-жартылай xi ^ {i} жартылай x ^ {j}}} dx ^ {j} -X ^ {i} { frac { qismli ^ {2} L} { жартылай xi ^ {i} жартылай x ^ {j}}} d xi ^ {j}}$

және

${ displaystyle dE = { Үлкен (} { frac { жартылай ^ {2} L} { жартылай x ^ {i} жартылай xi ^ {j}}} xi ^ {j} - { frac { жартылай L} { жартылай x ^ {i}}} { Үлкен)} dx ^ {i} + xi ^ {j} { frac { жартылай ^ {2} L} { жартылай xi ^ {i} ішінара x ^ {j}}} d xi ^ {i}}$

сондықтан біз Гамильтондық векторлық өріс екенін көреміз H бұл конфигурация кеңістігіндегі жартылай шашырау М спрей коэффициенттерімен

${ displaystyle G ^ {k} (x, xi) = { frac {g ^ {ki}} {2}} { Big (} { frac { partial ^ {2} L} { partial xi ^ {i} ішінара x ^ {j}}} xi ^ {j} - { frac { ішінара L} { ішінара x ^ {i}}} { Үлкен)}.}$

Енді бірінші вариациялық формуланы келесідей етіп жазуға болады

${ displaystyle { frac {d} {ds}} { Big |} _ {s = 0} { mathcal {S}} ( gamma _ {s}) = { Big |} _ {a} ^ {b} alpha _ {i} X ^ {i} - int _ {a} ^ {b} g_ {ik} ({ ddot { gamma}} ^ {k} + 2G ^ {k}) X ^ {i} dt,}$

және біз көреміз γ [а,б]→М егер оның жанама қисығы γ 'болған жағдайда ғана, соңғы нүктелері бар әрекет интегралына стационар болады: [а,б]→ТМ - Гамильтондық векторлық өріс үшін интегралды қисық H. Осыдан механикалық жүйелердің динамикасы әрекеттік интегралдардан туындайтын жартылай шприцтермен сипатталады.

Геодезиялық бүріккіш

Жергілікті ұзындық қисықтарын азайту Риманниан және Финслерлік коллекторлар деп аталады геодезия. Лагранж механикасының шеңберін пайдаланып, бұл қисықтарды бүріккіш құрылымдармен сипаттауға болады. Лагранж функциясын анықтаңыз ТМ арқылы

${ displaystyle L (x, xi) = { tfrac {1} {2}} F ^ {2} (x, xi),}$

қайда F:ТМ→R болып табылады Финслер функциясы. Риман жағдайында біреуі қолданады F²(х, ξ) = ж_иж(х) ξ^менξ^j. Енді жоғарыдағы бөлімнен түсініктерді енгізіңіз. Риманндық жағдайда іргелі тензор болып шығады ж_иж(х, ξ) бұл жай Риман метрикасы ж_иж(х). Жалпы жағдайда біртектілік шарты

${ displaystyle F (x, lambda xi) = lambda F (x, xi), quad lambda> 0}$

Finsler-функциясы келесі формулаларды білдіреді:

${ displaystyle alpha _ {i} = g_ {ij} xi ^ {i}, quad F ^ {2} = g_ {ij} xi ^ {i} xi ^ {j}, quad E = alpha _ {i} xi ^ {i} -L = { tfrac {1} {2}} F ^ {2}.}$

Классикалық механикалық тұрғыдан алғанда соңғы теңдеу жүйеде барлық энергия (М,L) кинетикалық түрінде болады. Сонымен қатар, біртектілік қасиеттері бар

${ displaystyle g_ {ij} ( lambda xi) = g_ {ij} ( xi), quad alpha _ {i} (x, lambda xi) = lambda alpha _ {i} (x , xi), quad G ^ {i} (x, lambda xi) = lambda ^ {2} G ^ {i} (x, xi),}$

оның соңғысы Гамильтондық векторлық өріс дейді H бұл механикалық жүйе үшін толық спрей болып табылады. Финслердің (немесе Риманнаның) коллекторының тұрақты жылдамдықты геодезиясы бұл спреймен келесі себептерге байланысты сипатталған:

• Бастап ж_ξ Финслер кеңістігі үшін позитивті анықталған, функционалды ұзындығы үшін әрбір қысқа стационар қисық - бұл ұзындықты азайту.
• Әрекеттің интегралына арналған стационарлық қисық тұрақты жылдамдықта болады ${ displaystyle F ( gamma (t), { dot { gamma}} (t)) = lambda}$, өйткені энергия автоматты түрде тұрақты қозғалыс болады.
• Кез келген қисық үшін ${ displaystyle гамма: [a, b] дейін M}$ тұрақты жылдамдықтың әсер ету интегралымен және функционалды ұзындықпен байланысты

${ displaystyle { mathcal {S}} ( gamma) = { frac {(ba) lambda ^ {2}} {2}} = { frac { ell ( gamma) ^ {2}} { 2 (ба)}}.}$

Сондықтан қисық ${ displaystyle гамма: [a, b] дейін M}$ егер ол тұрақты жылдамдықта және функционалды ұзындықта қозғалмайтын болса ғана әрекет интегралына стационар болады. Гамильтондық векторлық өріс H деп аталады геодезиялық бүріккіш Финслер коллекторының (М,F) және сәйкес ағыс_H^т(ξ) деп аталады геодезиялық ағын.

Сызықтық емес байланыстармен корреспонденция

Жарты спрей H тегіс коллекторда М Эресманн байланысын анықтайды Т(ТМ\0) = H(ТМ\0) ⊕ V(ТМ 0) көлденең және тік проекциялар арқылы кесілген тангенс байламында

${ displaystyle h: T (TM setminus 0) to T (TM setminus 0) quad; quad h = { tfrac {1} {2}} { big (} I - { mathcal {L }} _ {H} J { big)},}$

${ displaystyle v: T (TM setminus 0) to T (TM setminus 0) quad; quad v = { tfrac {1} {2}} { big (} I + { mathcal {L} } _ {H} J { big)}.}$

Бұл байланыс қосулы ТМ 0 әрқашан жоғалып кететін бұралу тензоры болады, ол Frölicher-Nijenhuis кронштейні ретінде анықталадыТ=[Дж,v]. Бастапқы терминдерде бұралуды келесідей анықтауға болады

${ displaystyle displaystyle T (X, Y) = J [hX, hY] -v [JX, hY) -v [hX, JY].}$

Канондық векторлық өріспен таныстыру V қосулы ТМ 0 және индукцияланған байланыстың oint құрылымын жартылай спрайдың көлденең бөлігі ретінде жазуға болады сағ= ΘV. Тік бөлігі ε =vH жартылай шашыраудың аты белгілі бірінші бүрку инварианттыжәне жартылай шприц H өзі ыдырайды

${ displaystyle displaystyle H = Theta V + epsilon.}$

Бірінші бүріккіш инвариант кернеуге байланысты

${ displaystyle tau = { mathcal {L}} _ {V} v = { tfrac {1} {2}} { mathcal {L}} _ {[V, H] -H} J}$

қарапайым дифференциалдық теңдеу арқылы индукцияланған сызықтық емес байланыстың

${ displaystyle { mathcal {L}} _ {V} epsilon + epsilon = tau Theta V.}$

Сондықтан бірінші ингредиентті бүріккіш ce (демек, бүкіл жартылай бүріккіш) H) арқылы сызықтық емес қосылымнан қалпына келтіруге болады

${ displaystyle epsilon | _ { xi} = int limitleri _ {- infty} ^ {0} e ^ {- s} ( Phi _ {V} ^ {- s}) _ {*} ( tau Theta V) | _ { Phi _ {V} ^ {s} ( xi)} ds.}$

Осы қатынастан, егер индукцияланған байланыс біртектес болса, егер ол болса ғана болады H бұл толық спрей.

Якоби спрейлері мен жартылай спрейлері

Бұл бөлім кеңейтуді қажет етеді. Сіз көмектесе аласыз оған қосу. (Ақпан 2013)

Семоби спрейлерінің Жакоби өрістері үшін жақсы ақпарат көзі болып табылады. Жартылай спрейдің Жакоби теңдеулері жалпыға қол жетімді кітап Финслер-Лагранж геометриясы Буктару мен Мирон. Олардың а тұжырымдамасы ерекше назар аудартады динамикалық ковариант туынды. Жылы басқа қағаз Буктару, Константинеску және Даль бұл тұжырымдаманы осы тұжырымдамамен байланыстырады Қосамби бидивативті операторы.

Жақсы таныстыру үшін Қосамби әдістері, мақаланы қараңыз, Косамби-Картан-Черн теориясы дегеніміз не?.

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

• Штернберг, Шломо (1964), Дифференциалды геометрия бойынша дәрістер, Prentice-Hall.
• Ланг, Серж (1999), Дифференциалдық геометрия негіздері, Springer-Verlag.