Өтірік туынды - Lie derivative

Жылы дифференциалды геометрия, Өтірік туынды /ˈлмен/, атындағы Софус өтірік арқылы Władysław Ślebodziński,^[1][2] а өзгеруін бағалайды тензор өрісі (скалярлық функцияларды қоса, векторлық өрістер және бір формалы ) бойымен ағын басқа векторлық өріспен анықталады. Бұл өзгеріс координаталық инвариантты, сондықтан Lie туындысы кез келгенінде анықталады дифференциалданатын коллектор.

Функциялар, тензор өрістері мен формаларын векторлық өріске қатысты ажыратуға болады. Егер Т тензор өрісі және X - векторлық өріс, онда Lie туындысы Т құрметпен X деп белгіленеді ${ displaystyle { mathcal {L}} _ {X} (T)}$. The дифференциалдық оператор ${ displaystyle T mapsto { mathcal {L}} _ {X} (T)}$ Бұл туынды алгебрасының тензор өрістері негізгі коллектордың.

Lie туындысымен бірге жүреді жиырылу және сыртқы туынды қосулы дифференциалды формалар.

Дифференциалдық геометрияда туынды алу туралы көптеген ұғымдар болғанымен, олардың барлығы дифференциалданған өрнек функция болғанда немесе скаляр өрісі. Осылайша, бұл жағдайда «Өтірік» сөзі алынып тасталады, ал жай функцияның туындысы туралы айтады.

Векторлық өрістің Lie туындысы Y басқа векторлық өріске қатысты X «ретінде белгіліЖалған жақша «of X және Y, және жиі белгіленеді [X,Y] орнына ${ displaystyle { mathcal {L}} _ {X} (Y)}$. Векторлық өрістердің кеңістігі а Алгебра осы жалған жақшаға қатысты. Lie туындысы шексіз өлшемді құрайды Алгебраны ұсыну жеке басына байланысты бұл Ли алгебрасы

${ displaystyle { mathcal {L}} _ {[X, Y]} T = { mathcal {L}} _ {X} { mathcal {L}} _ {Y} T - { mathcal {L} } _ {Y} { mathcal {L}} _ {X} T,}$

кез-келген векторлық өрістер үшін жарамды X және Y және кез келген тензор өрісі Т.

Векторлық өрістерді ретінде қарастыру шексіз генераторлар туралы ағады (яғни бір өлшемді топтар туралы диффеоморфизмдер ) қосулы М, Lie туындысы - дифференциалды өкілдігінің диффеоморфизм тобы Lie алгебралық көрінісіне ұқсас тензор өрістерінде шексіз көріністер байланысты топтық өкілдік жылы Өтірік тобы теория.

Жалпылау үшін бар шпинатор өрістер, талшық байламдары бірге байланыс және векторлық-мәнді дифференциалды формалар.

Мотивация

А-ның туындысын анықтауға арналған 'аңғалдық' әрекеті тензор өрісі а қатысты векторлық өріс қабылдауға болар еді компоненттер тензор өрісінің және бағытталған туынды әр компоненттің векторлық өрісіне қатысты. Алайда, бұл анықтама қажет емес, өйткені ол инвариантты емес координаттар жүйесінің өзгеруі, мысалы. -де көрсетілген аңғал туынды полярлы немесе сфералық координаттар компоненттерінің аңғал туындысынан ерекшеленеді Декарттық координаттар. Реферат бойынша көпжақты мұндай анықтама мағынасыз және нашар анықталған. Жылы дифференциалды геометрия, тензор өрістерін дифференциалдаудың үш негізгі координаталық тәуелсіз түсініктері бар: өтірік туындылары, туындылар байланыстар, және сыртқы туынды толық антиметриялы (ковариантты) тензорлардың немесе дифференциалды формалар. Lie туындысының туындыдан байланысқа қатысты басты айырмашылығы мынада: тензор өрісінің соңғы туындысы жанасу векторы егер жанама векторды векторлық өріске қалай кеңейту керек екендігі көрсетілмеген болса да жақсы анықталған. Алайда қосылым қосымша геометриялық құрылымды таңдауды қажет етеді (мысалы, а Риман метрикасы немесе жай реферат байланыс ) коллекторда. Керісінше, Lie туындысын алу кезінде коллекторда қосымша құрылым қажет емес, бірақ тензорлық өрістің Lie туындысы туралы жалғыз жанама векторға қатысты айту мүмкін емес, өйткені тензордың Lie туындысының мәні өріс векторлық өріске қатысты X бір сәтте б мәніне байланысты X маңында б, тек емес б өзі. Сонымен, дифференциалды формалардың сыртқы туындысы ешқандай қосымша таңдауды қажет етпейді, бірақ тек дифференциалды формалардың (оның ішінде функцияларды) жақсы анықталған туынды болып табылады.

Анықтама

Lie туындысын бірнеше баламалы тәсілдермен анықтауға болады. Қарапайым болу үшін жалпы тензорлар анықтамасына көшпес бұрын скаляр функциялар мен векторлық өрістерге әсер ететін Lie туындысын анықтаудан бастаймыз.

Функцияның (Lie) туындысы

Функцияның туындысын анықтау ${ displaystyle f: M to { mathbb {R}}}$ коллекторда проблемалы, өйткені айырмашылық ${ displaystyle textstyle (f (x + h) -f (x)) / h}$ ауыстыру кезінде анықтауға болмайды ${ displaystyle x + h}$ анықталмаған.

Функцияның Lie туындысы ${ displaystyle f: M to { mathbb {R}}}$ а қатысты векторлық өріс ${ displaystyle X}$ бір сәтте ${ displaystyle p in M}$ функциясы болып табылады

${ displaystyle ({ mathcal {L}} _ {X} f) (p) = lim _ {t to 0} { frac {f (P (t, p)) - f (p)} { t}}: M - { mathbb {R}},}$

қайда ${ displaystyle P (t, p)}$ нүктесі болып табылады ағын векторлық өріспен анықталады ${ displaystyle X}$ нүктені бейнелейді ${ displaystyle p}$ сәтте ${ displaystyle t.}$ Маңында ${ displaystyle t = 0,}$ ${ displaystyle P (t, p)}$ жүйенің бірегей шешімі болып табылады

${ displaystyle { frac {d} {dt}} P (t, p) = X (P (t, p))}$

Тангенс кеңістігіндегі бірінші ретті автономды (яғни уақытқа тәуелсіз) дифференциалдық теңдеулер ${ displaystyle T_ {P (t, p)} M}$, бірге ${ displaystyle P (0, p) = p.}$

Координаталық диаграмма үшін ${ displaystyle (U, varphi)}$ коллекторда ${ displaystyle M,}$ және ${ displaystyle x in U,}$ рұқсат етіңіз ${ displaystyle d varphi _ {x}: T_ {x} U - T _ { varphi (x)} { mathbb {R}} ^ {n} cong { mathbb {R}} ^ {n} }$ жанама сызықтық карта болыңыз. Жоғарыда келтірілген дифференциалдық теңдеулер жүйесі жүйе ретінде айқынырақ жазылған

${ displaystyle { frac {d} {dt}} varphi (P (t, p)) = d varphi _ {P (t, p)} X (P (t, p))}$

жылы ${ displaystyle { mathbb {R}} ^ {n},}$ бастапқы шартымен ${ displaystyle varphi (P (0, p)) = varphi (p).}$ Бұл шешімді оңай тексеруге болады ${ displaystyle P (t, p)}$ координаталық диаграмманы таңдаудан тәуелсіз.

Параметр ${ displaystyle { mathcal {L}} _ {X} f = nabla _ {X} f}$ функцияның Lie туындысын бағытталған туынды.

Векторлық өрістің Lie туындысы

Егер X және Y екеуі де векторлық өрістер, онда Lie туындысы Y құрметпен X деп те аталады Жалған жақша туралы X және Y, және кейде белгіленеді ${ displaystyle [X, Y]}$. Lie кронштейнін анықтауға бірнеше тәсіл бар, олардың барлығы балама. Жоғарыда келтірілген векторлық өрістің екі анықтамасына сәйкес екі анықтаманы келтіреміз:

• Өтірік жақша X және Y кезінде б формула бойынша жергілікті координаттарда берілген

${ displaystyle { mathcal {L}} _ {X} Y (p) = [X, Y] (p) = ішінара _ {X} Y (p) - жартылай _ {Y} X (p), }$

қайда ${ displaystyle kısalt _ {X}}$ және ${ displaystyle kısalt _ {Y}}$ қабылдау операцияларын белгілеңіз бағытты туындылар құрметпен X және Yсәйкесінше. Мұнда біз векторды қарастырамыз n-өлшемдік кеңістік n-кортеж, сондықтан оның бағытты туындысы жай координаталарының бағытталған туындыларынан тұратын кортеж болады. Соңғы өрнек болғанымен ${ displaystyle жарым-жартылай _ {X} Y (p) - жартылай _ {Y} X (р)}$ осы анықтамада пайда болу жергілікті координаттарды, жеке терминдерді таңдауға байланысты емес ${ displaystyle kısalt _ {X} Y (p)}$ және ${ displaystyle kısalt _ {Y} X (p)}$ координаталарды таңдауға байланысты.

• Егер X және Y - бұл коллектордағы векторлық өрістер М екінші анықтамаға сәйкес, содан кейін оператор ${ displaystyle { mathcal {L}} _ {X} Y = [X, Y]}$ формуламен анықталады

${ displaystyle [X, Y]: C ^ { infty} (M) rightarrow C ^ { infty} (M)}$

${ displaystyle [X, Y] (f) = X (Y (f)) - Y (X (f))})$

- функцияларының алгебрасының нөлдік ретті туындысы М, яғни бұл оператор екінші анықтамаға сәйкес векторлық өріс.

Тензор өрісінің Lie туындысы

Жалпы, егер бізде а ажыратылатын тензор өрісі Т туралы дәреже ${ displaystyle (q, r)}$ және дифференциалданатын векторлық өріс Y (яғни. дифференциалданатын бөлімі тангенс байламы ТМ), онда Lie туындысын анықтай аламыз Т бойымен Y. Біраз ашық аралыққа рұқсат етіңіз Мен 0 шамасында, φ : М × Мен → М локальді диффеоморфизмдерінің бір параметрлі жартылай тобы болуы М арқылы туындаған векторлық ағын туралы Y және белгілеу φ_т(б) := φ(б, т). Әрқайсысы үшін кішкентай т, φ_т а-дан шыққан диффеоморфизм болып табылады Көршілестік жылы М басқа ауданға М, және φ₀ сәйкестілік диффеоморфизмі болып табылады. Lie туындысы Т нүктесінде анықталады б арқылы

${ displaystyle ({ mathcal {L}} _ {Y} T) _ {p} = сол жақ. { frac {d} {dt}} right | _ {t = 0} left (( varphi _ {- t}) _ {*} T _ { varphi _ {t} (p)} оң).}$

қайда ${ displaystyle ( varphi _ {t}) _ {*}}$ болып табылады алға диффеоморфизм бойымен және ${ displaystyle ( varphi _ {t}) ^ {*}}$ болып табылады кері тарту диффеоморфизм бойымен Интуитивті, егер сізде тензор өрісі болса ${ displaystyle T}$ және векторлық өріс Y, содан кейін ${ displaystyle { mathcal {L}} _ {Y} T}$ ағын кезінде көретін шексіз өзгеріс ${ displaystyle T}$ векторлық өрісті қолдану -Y, бұл сіз көретін шексіз өзгеріспен бірдей ${ displaystyle T}$ егер сіз векторлық өріс бойымен жүрсеңіз Y.

Біз қазір алгебралық анықтама береміз. Тензор өрісінің Lie туындысының алгебралық анықтамасы келесі төрт аксиомадан шығады:

Аксиома 1. Функцияның Lie туындысы функцияның бағытталған туындысына тең. Бұл факт көбінесе формула арқылы көрінеді

${ displaystyle { mathcal {L}} _ {Y} f = Y (f)}$

Аксиома 2. Lie туындысы Лейбниц ережесінің келесі нұсқасына бағынады: кез келген тензор өрістері үшін S және Т, Бізде бар

${ displaystyle { mathcal {L}} _ {Y} (S otimes T) = ({ mathcal {L}} _ {Y} S) otimes T + S otimes ({ mathcal {L}} _ {Y} T).}$

Аксиома 3. Өтірік туындысы қатысты Лейбниц ережесіне бағынады жиырылу:

${ displaystyle { mathcal {L}} _ {X} (T ​​(Y_ {1}, ldots, Y_ {n})) = ({ mathcal {L}} _ {X} T) (Y_ {1 }, ldots, Y_ {n}) + T (({ mathcal {L}} _ {X} Y_ {1}), ldots, Y_ {n}) + cdots + T (Y_ {1}, ldots, ({ mathcal {L}} _ {X} Y_ {n}))}$

Аксиома 4. Lie туындысы функциялар бойынша сыртқы туындымен ауысады:

${ displaystyle [{ mathcal {L}} _ {X}, d] = 0}$

Егер бұл аксиомалар болса, Lie туындысын қолданыңыз ${ displaystyle { mathcal {L}} _ {X}}$ қатынасқа ${ displaystyle df (Y) = Y (f)}$ көрсетеді

${ displaystyle { mathcal {L}} _ {X} Y (f) = X (Y (f)) - Y (X (f)),}$

үшін стандартты анықтамалардың бірі болып табылады Жалған жақша.

Дифференциалды формада әрекет ететін Lie туындысы бұл қарсы емдеуші туралы интерьер өнімі сыртқы туындымен Егер α дифференциалды форма болса,

${ displaystyle { mathcal {L}} _ {Y} alpha = i_ {Y} d alpha + di_ {Y} alpha.}$

Бұл өрнектің сыртқы туындымен ауысатындығын, туынды болатынын (дәрежеленген туындыларды алдын-ала өзгертуші бола отырып) және функциялар бойынша дұрыс жұмыс істейтіндігін тексеру арқылы оңай жүреді.

Рұқсат етіңіз Т типтегі тензор өрісі болуы керек (б, q). Қарастырайық Т дифференциалданатын болу көп сызықты карта туралы тегіс бөлімдер α¹, α², ..., α^б котангенс байламы Т^∗М және бөлімдер X₁, X₂, ..., X_q туралы тангенс байламы ТМ, жазылған Т(α¹, α², ..., X₁, X₂, ...) ішіне R. Lie туындысын анықтаңыз Т бойымен Y формула бойынша

${ displaystyle ({ mathcal {L}} _ {Y} T) ( альфа _ {1}, альфа _ {2}, ldots, X_ {1}, X_ {2}, ldots) = Y (T ( альфа _ {1}, альфа _ {2}, ldots, X_ {1}, X_ {2}, ldots))}$

${ displaystyle -T ({ mathcal {L}} _ {Y} альфа _ {1}, альфа _ {2}, ldots, X_ {1}, X_ {2}, ldots) -T ( альфа _ {1}, { mathcal {L}} _ {Y} альфа _ {2}, ldots, X_ {1}, X_ {2}, ldots) - ldots}$

${ displaystyle -T ( альфа _ {1}, альфа _ {2}, ldots, { mathcal {L}} _ {Y} X_ {1}, X_ {2}, ldots) -T ( альфа _ {1}, альфа _ {2}, ldots, X_ {1}, { mathcal {L}} _ {Y} X_ {2}, ldots) - ldots}$

Аналитикалық және алгебралық анықтамалардың эквивалентті дәлелдеуге болады: pushforward және -ның қасиеттері арқылы Лейбниц ережесі саралау үшін. Lie туындысы қысқартумен жүреді.

Дифференциалды форманың туындысы

Тензор өрістерінің ерекше маңызды класы болып табылады дифференциалды формалар. Lie туындысының дифференциалды формалар кеңістігімен шектелуі сыртқы туынды. Lie туындысы да, сыртқы туынды да туынды туралы идеяны әртүрлі жолмен алуға тырысады. Идеясын енгізу арқылы осы айырмашылықтарды жоюға болады интерьер өнімі, содан кейін қарым-қатынас ретінде белгілі жеке тұлға ретінде құлап Картан формуласы. Картан формуласын дифференциалдық формалар кеңістігінде Lie туындысының анықтамасы ретінде де қолдануға болады.

Келіңіздер М көпжақты болу және X векторлық өріс М. Келіңіздер ${ displaystyle omega in Lambda ^ {k + 1} (M)}$ болуы а (к + 1)-форма, яғни әрқайсысы үшін ${ displaystyle p in M}$, ${ displaystyle omega (p)}$ болып табылады ауыспалы көп сызықты карта бастап ${ displaystyle (T_ {p} M) ^ {k + 1}}$ нақты сандарға дейін. The интерьер өнімі туралы X және ω болып табылады к-форм ${ displaystyle i_ {X} omega}$ ретінде анықталды

${ displaystyle (i_ {X} omega) (X_ {1}, ldots, X_ {k}) = omega (X, X_ {1}, ldots, X_ {k}) ,}$

Дифференциалды форма ${ displaystyle i_ {X} omega}$ деп те аталады жиырылу туралы ω бірге X, және

${ displaystyle i_ {X}: Lambda ^ {k + 1} (M) rightarrow Lambda ^ {k} (M)}$

және ${ displaystyle i_ {X}}$ Бұл ${ displaystyle wedge}$ (дифференциалды формадағы сына бұйымы) -антидеривация. Бұл, ${ displaystyle i_ {X}}$ болып табылады R- сызықтық және

${ displaystyle i_ {X} ( omega wedge eta) = (i_ {X} omega) wedge eta + (- 1) ^ {k} omega wedge (i_ {X} eta)}$

үшін ${ displaystyle omega in Lambda ^ {k} (M)}$ және η басқа дифференциалды форма. Сондай-ақ, функция үшін ${ displaystyle f in Lambda ^ {0} (M)}$, яғни нақты немесе күрделі мәнді функция М, біреуінде бар

${ displaystyle i_ {fX} omega = f , i_ {X} omega}$

қайда ${ displaystyle fX}$ көбейтіндісін білдіреді f және X. Арасындағы байланыс сыртқы туындылар және өтірік туындыларын келесідей қорытындылауға болады. Біріншіден, функцияның Lie туындысынан бастап f векторлық өріске қатысты X бағытталған туындымен бірдей X(f), бұл сонымен бірге жиырылу сыртқы туындысының f бірге X:

${ displaystyle { mathcal {L}} _ {X} f = i_ {X} , df}$

Жалпы дифференциалды форма үшін Lie туындысы да вариацияны ескере отырып, жиырылу болып табылады X:

${ displaystyle { mathcal {L}} _ {X} omega = i_ {X} d omega + d (i_ {X} omega).}$

Бұл сәйкестілік әр түрлі ретінде белгілі Картандық формула, Картандық гомотопия формуласы немесе Картанның сиқырлы формуласы. Қараңыз интерьер өнімі толық ақпарат алу үшін. Картан формуласы дифференциалды түрдегі Lie туындысының анықтамасы ретінде қолданыла алады. Картанның формуласы, атап айтқанда

${ displaystyle d { mathcal {L}} _ {X} omega = { mathcal {L}} _ {X} (d omega).}$

Өтірік туындысы да қатынасты қанағаттандырады

${ displaystyle { mathcal {L}} _ {fX} omega = f { mathcal {L}} _ {X} omega + df wedge i_ {X} omega.}$

Координаталық өрнектер

Ескерту Эйнштейн конвенциясы қайталанған көрсеткіштер бойынша қорытындылау төменде келтірілген.

Жергілікті жерде үйлестіру түріне арналған белгі (р, с) тензор өрісі ${ displaystyle T}$, Lie туындысы бірге ${ displaystyle X}$ болып табылады

${ displaystyle { begin {aligned} ({ mathcal {L}} _ {X} T) ^ {a_ {1} ldots a_ {r}} {} _ {b_ {1} ldots b_ {s} } = & X ^ {c} ( ішінара _ {c} T ^ {a_ {1} ldots a_ {r}} {} _ {b_ {1} ldots b_ {s}}) & - ( ішінара _ {c} X ^ {a_ {1}}) T ^ {ca_ {2} ldots a_ {r}} {} _ {b_ {1} ldots b_ {s}} - ldots - ( qism _ {c} X ^ {a_ {r}}) T ^ {a_ {1} ldots a_ {r-1} c} {} _ {b_ {1} ldots b_ {s}} & + ( ішінара _ {b_ {1}} X ^ {c}) T ^ {a_ {1} ldots a_ {r}} {} _ {cb_ {2} ldots b_ {s}} + ldots + ( жартылай _ {b_ {s}} X ^ {c}) T ^ {a_ {1} ldots a_ {r}} {} _ {b_ {1} ldots b_ {s-1} c} end {тураланған }}}$

мұнда, нота ${ displaystyle толукталмаған _ {a} = { frac { жартылай} { жартылай x ^ {a}}}}$ координатасына қатысты ішінара туынды алуды білдіреді ${ displaystyle x ^ {a}}$. Сонымен қатар, егер біз а бұралмалы емес байланыс (мысалы, Levi Civita байланысы ), содан кейін ішінара туынды ${ displaystyle kısalt _ {a}}$ ауыстыруға болады ковариант туынды ауыстыруды білдіреді ${ displaystyle kısalt _ {a} X ^ {b}}$ бірге (белгіні теріс пайдалану арқылы) ${ displaystyle nabla _ {a} X ^ {b} = X _ {; a} ^ {b}: = ( nabla X) _ {a} ^ { b} = partial _ {a} X ^ { b} + Gamma _ {ac} ^ {b} X ^ {c}}$ қайда ${ displaystyle Gamma _ {bc} ^ {a} = Gamma _ {cb} ^ {a}}$ болып табылады Christoffel коэффициенттері.

Тензордың Lie туындысы - осы типтегі тағы бір тензор, яғни өрнектегі жеке терминдер координаттар жүйесін таңдауға тәуелді болса да, өрнек тұтасымен тензорға әкеледі ${ displaystyle ({ mathcal {L}} _ {X} T) ^ {a_ {1} ldots a_ {r}} {} _ {b_ {1} ldots b_ {s}} partial _ {a_ {1}} otimes cdots otimes ішіндегі _ {a_ {r}} otimes dx ^ {b_ {1}} otimes cdots otimes dx ^ {b_ {s}}}$ол кез-келген координаталар жүйесінен тәуелсіз және сол сияқты ${ displaystyle T}$.

Анықтаманы тензорлық тығыздыққа дейін кеңейтуге болады. Егер Т - белгілі бір салмақтың нақты санының тензор тығыздығы w (мысалы, салмақтың көлемдік тығыздығы 1), онда оның Lie туындысы - бірдей типтегі және салмақтағы тензор тығыздығы.

${ displaystyle ({ mathcal {L}} _ {X} T) ^ {a_ {1} ldots a_ {r}} {} _ {b_ {1} ldots b_ {s}} = X ^ {c } ( ішінара _ {c} T ^ {a_ {1} ldots a_ {r}} {} _ {b_ {1} ldots b_ {s}}) - ( ішінара _ {c} X ^ {a_ {1}}) T ^ {ca_ {2} ldots a_ {r}} {} _ {b_ {1} ldots b_ {s}} - ldots - ( ішінара _ {c} X ^ {a_ { r}}) T ^ {a_ {1} ldots a_ {r-1} c} {} _ {b_ {1} ldots b_ {s}} +}$

${ displaystyle + ( qismer _ {b_ {1}} X ^ {c}) T ^ {a_ {1} ldots a_ {r}} {} _ {cb_ {2} ldots b_ {s}} + ldots + ( partial _ {b_ {s}} X ^ {c}) T ^ {a_ {1} ldots a_ {r}} {} _ {b_ {1} ldots b_ {s-1} c } + w ( partial _ {c} X ^ {c}) T ^ {a_ {1} ldots a_ {r}} {} _ {b_ {1} ldots b_ {s}}}$

Өрнектің соңында жаңа терминге назар аударыңыз.

Үшін сызықтық байланыс ${ displaystyle Gamma = ( Gamma _ {bc} ^ {a})}$, Lie туындысы бірге ${ displaystyle X}$ болып табылады^[3]

${ displaystyle ({ mathcal {L}} _ {X} Gamma) _ {bc} ^ {a} = X ^ {d} partial _ {d} Gamma _ {bc} ^ {a} + жартылай _ {b} жартылай _ {с} X ^ {а} - Гамма _ {bc} ^ {d} жартылай _ {д} X ^ {а} + Гамма _ {dc} ^ {а} жартылай _ {b} X ^ {d} + Гамма _ {bd} ^ {a} жартылай _ {с} Х ^ {д}}$

Мысалдар

Түсінікті болу үшін біз келесі мысалдарды жергілікті жерде көрсетеміз үйлестіру белгілеу.

Үшін скаляр өрісі ${ displaystyle phi (x ^ {c}) in { mathcal {F}} (M)}$ Бізде бар:

${ displaystyle ({ mathcal {L}} _ {X} phi) = X ( phi) = X ^ {a} partial _ {a} phi}$.

Демек, скаляр өрісі үшін ${ displaystyle phi (x, y) = x ^ {2} - sin (y)}$ және векторлық өріс ${ displaystyle X = sin (x) ішіндегі _ {у} -у ^ {2} жартылай _ {х}}$ сәйкес Lie туындысы болады

Жоғары дәрежелік дифференциалды форманың мысалы үшін 2 форманы қарастырайық ${ displaystyle omega = (x ^ {2} + y ^ {2}) dx wedge dz}$ және векторлық өріс ${ displaystyle X}$ алдыңғы мысалдан. Содан кейін,

Тағы бірнеше дерексіз мысалдар.

${ displaystyle { mathcal {L}} _ {X} (dx ^ {b}) = di_ {X} (dx ^ {b}) = dX ^ {b} = partial _ {a} X ^ {b } dx ^ {a}}$.

Сондықтан а ковекторлы өріс, яғни, а дифференциалды форма, ${ displaystyle A = A_ {a} (x ^ {b}) dx ^ {a}}$ Бізде бар:

${ displaystyle { mathcal {L}} _ {X} A = X (A_ {a}) dx ^ {a} + A_ {b} { mathcal {L}} _ {X} (dx ^ {b} ) = (X ^ {b} іштей _ {b} A_ {a} + A_ {b} жартылай _ {а} (X ^ {b})) dx ^ {a}}$

Соңғы өрнектің коэффициенті - Lie туындысының жергілікті координаталық өрнегі.

Ковариант дәрежесі үшін 2 тензор өрісі ${ displaystyle T = T_ {ab} (x ^ {c}) dx ^ {a} otimes dx ^ {b}}$ Бізде бар:

Егер ${ displaystyle T = g}$ симметриялы метрикалық тензор болып табылады, ол Levi Civita қосылымына параллель (ака ковариант туындысы) және байланысты қолдану тиімді болады. Бұл барлық туындыларды ковариантты туындылармен алмастыру әсерін береді

${ displaystyle ({ mathcal {L}} _ {X} g) = (X ^ {c} g_ {ab; c} + g_ {cb} X _ {; a} ^ {c} + g_ {ac} X_ {; b} ^ {c}) dx ^ {a} otimes dx ^ {b} = (X_ {b; a} + X_ {a; b}) dx ^ {a} otimes dx ^ {b}}$

Қасиеттері

Lie туындысының бірқатар қасиеттері бар. Келіңіздер ${ displaystyle { mathcal {F}} (M)}$ болуы алгебра бойынша анықталған функциялар көпжақты М. Содан кейін

${ displaystyle { mathcal {L}} _ {X}: { mathcal {F}} (M) rightarrow { mathcal {F}} (M)}$

Бұл туынды алгебра бойынша ${ displaystyle { mathcal {F}} (M)}$. Бұл,${ displaystyle { mathcal {L}} _ {X}}$ болып табылады R-сызықтық және

${ displaystyle { mathcal {L}} _ {X} (fg) = ({ mathcal {L}} _ {X} f) g + f { mathcal {L}} _ {X} g.}$

Сол сияқты, бұл туынды ${ displaystyle { mathcal {F}} (M) times { mathcal {X}} (M)}$ қайда ${ displaystyle { mathcal {X}} (M)}$ - векторлық өрістер жиыны М (мақаладан алынған теорема 6: Ничита, Ф. Ф. Біріктіру теориялары: жаңа нәтижелер мен мысалдар. Аксиомалар 2019, 8, 60):

${ displaystyle { mathcal {L}} _ {X} (fY) = ({ mathcal {L}} _ {X} f) Y + f { mathcal {L}} _ {X} Y}$

ол сондай-ақ баламалы нотада жазылуы мүмкін

${ displaystyle { mathcal {L}} _ {X} (f otimes Y) = ({ mathcal {L}} _ {X} f) otimes Y + f otimes { mathcal {L}} _ {X} Y}$

қайда тензор өнімі таңба ${ displaystyle otimes}$ функциясының көбейтіндісі векторлық өрістің бүкіл коллекторға алынатындығын атап көрсету үшін қолданылады.

Қосымша қасиеттері сәйкес келеді Жалған жақша. Мысалы, векторлық өрісте туынды ретінде қарастырылған,

${ displaystyle { mathcal {L}} _ {X} [Y, Z] = [{ mathcal {L}} _ {X} Y, Z] + [Y, { mathcal {L}} _ {X } Z]}$

біреу жоғарыда айтылғандарды тек қана деп санайды Якоби сәйкестігі. Осылайша, векторлық өрістердің кеңістігі аяқталатын маңызды нәтиже бар М, Lie кронштейнімен жабдықталған, a Алгебра.

Lie туындысы дифференциалды формаларға әсер еткенде де маңызды қасиеттерге ие. Α және β екі дифференциалды форма болсын Мжәне рұқсат етіңіз X және Y екі векторлық өріс болуы керек. Содан кейін

• ${ displaystyle { mathcal {L}} _ {X} ( alpha wedge beta) = ({ mathcal {L}} _ {X} alpha) wedge beta + alpha wedge ({ математикалық {L}} _ {X} бета)}$
• ${ displaystyle [{ mathcal {L}} _ {X}, { mathcal {L}} _ {Y}] alpha: = { mathcal {L}} _ {X} { mathcal {L}} _ {Y} альфа - { mathcal {L}} _ {Y} { mathcal {L}} _ {X} alpha = { mathcal {L}} _ {[X, Y]} alpha}$
• ${ displaystyle [{ mathcal {L}} _ {X}, i_ {Y}] alpha = [i_ {X}, { mathcal {L}} _ {Y}] alpha = i _ {[X, У]} альфа,}$ қайда мен жоғарыда анықталған интерьер бұйымын білдіреді және [·, ·] -ның не екенін анықтайды коммутатор немесе Векторлық өрістердің кронштейні.

Жалпылау

Өтірік туындысының әртүрлі жалпыламалары дифференциалды геометрияда маңызды рөл атқарады.

Шпинатор өрісінің Lie туындысы

Lie туындыларының анықтамасы шпинаторлар жалпы уақыттық векторлық өрістер бойымен, міндетті емес Өлтіру жалпы, (жалған) Риманн коллекторы 1971 жылы ұсынылған болатын Иветте Косманн.^[4] Кейінірек оны ақтайтын геометриялық шеңбер ұсынылды осы жағдай үшін Lie туындыларының жалпы шеңберіндегі рецепт талшық байламдары^[5] табиғи калибрлердің нақты контекстінде, олар (калибрлі-ковариантты) далалық теориялар үшін ең қолайлы арена болып шығады.^[6]

Берілген спин коллекторы, бұл Риманн коллекторында ${ displaystyle (M, g)}$ қабылдау а спин құрылымы, а. жалған туындысы шпинатор өріс ${ displaystyle psi}$ алдымен оны шексіз аз изометрияға қатысты анықтау арқылы анықтауға болады (Векторлық өрістерді өлтіру) Андре Лихнерович 1963 жылы берілген жергілікті өрнек:^[7]

${ displaystyle { mathcal {L}} _ {X} psi: = X ^ {a} nabla _ {a} psi - { frac {1} {4}} nabla _ {a} X_ { b} gamma ^ {a} gamma ^ {b} psi ,,}$

қайда ${ displaystyle nabla _ {a} X_ {b} = nabla _ {[a} X_ {b]}}$, сияқты ${ displaystyle X = X ^ {a} partial _ {a}}$ деп болжанған Векторлық өрісті өлтіру, және ${ displaystyle gamma ^ {a}}$ болып табылады Дирак матрицалары.

Содан кейін Лихнеровичтің анықтамасын барлық векторлық өрістерге (жалпы шексіз түрлендірулер) кеңейтуге болады. жалпы векторлық өріс ${ displaystyle X}$, бірақ антисимметриялық бөлігін нақты қабылдайды ${ displaystyle nabla _ {a} X_ {b}}$ тек.^[4] Косманның 1972 жылы берілген жергілікті көрінісі:^[4]

${ displaystyle { mathcal {L}} _ {X} psi: = X ^ {a} nabla _ {a} psi - { frac {1} {8}} nabla _ {[a} X_ {b]} [ gamma ^ {a}, gamma ^ {b}] psi , = nabla _ {X} psi - { frac {1} {4}} (dX ^ { flat} ) cdot psi ,,}$

қайда ${ displaystyle [ gamma ^ {a}, gamma ^ {b}] = gamma ^ {a} gamma ^ {b} - gamma ^ {b} gamma ^ {a}}$ коммутатор, ${ displaystyle d}$ болып табылады сыртқы туынды, ${ displaystyle X ^ { flat} = g (X, -)}$ сәйкес келетін қос 1 формасы болып табылады ${ displaystyle X}$ метрика бойынша (яғни төмендетілген индекстермен) және ${ displaystyle cdot}$ Lie спинорының туындысы метрикадан, демек, метрикадан тәуелсіз екенін ескеру қажет. байланыс. Бұл Косманның жергілікті экспрессиясының оң жағынан анық емес, өйткені оң жағы спиндік байланыс (метровый туынды), векторлық өрістердің дуализациясы (индекстердің төмендеуі) және Клиффорд арқылы метрикаға тәуелді көрінеді. бойынша көбейту шпинатор байламы. Олай емес: Косманның жергілікті өрнегінің оң жағындағы шамалар барлық метрика мен байланысқа тәуелді шарттардың күшін жою үшін біріктіріледі.

Көптен бері талқыланып келе жатқан спинорлық өрістер туралы Lie туындысының тұжырымдамасын жақсы түсіну үшін мақаланың түпнұсқасына жүгінуге болады^[8][9] Мұнда спинорлық өрістердің Lie туындысының анықтамасы Lie туындылары теориясының неғұрлым жалпы шеңберінде орналасқан және талшық шоғырларының бөліктері мен Ю.Косманның шпинатор корпусына тікелей жақындауы табиғи байламдарды өлшеу үшін жалпыланған. деп аталатын жаңа геометриялық түсінік Косманн көтеру.

Covariant Lie туындысы

Егер құрылымның тобы ретінде G бар коллектордың үстіндегі негізгі байлам болса және біз бас байламның тангенс кеңістігінің бөлімі ретінде Х-ны ковариантты векторлық өріс ретінде алсақ (яғни оның көлденең және тік компоненттері болса), онда ковариант Lie туындысы - негізгі буманың үстіндегі X-ге қатысты Lie туындысы.

Енді, егер бізге векторлық өріс берілсе Y аяқталды М (бірақ негізгі бума емес), бірақ бізде де бар байланыс негізгі байламның үстінен біз көлденең компонент сәйкес келетін етіп X векторлық өрісті негізгі буманың үстінен анықтай аламыз Y және оның тік компоненті байланыспен келіседі. Бұл өтіріктің ковариантты туындысы.

Қараңыз байланыс формасы толығырақ ақпарат алу үшін.

Nijenhuis-Lie туындысы

Тағы бір жалпылау, байланысты Альберт Ниженхуис, дифференциалдық түрдегі Lie туындысын the бумасының кез келген қимасы бойынша анықтауға мүмкіндік береді^к(М, Т.М) жанама шоғырындағы мәндері бар дифференциалды формалардың. Егер Қ ∈ Ω^к(М, Т.М) және α - дифференциал б-форм, онда интерьер бұйымын анықтауға болады мен_Қα Қ және α. Nijenhuis-Lie туындысы интерьер өнімі мен сыртқы туындысының алдын-ала өңдеушісі болып табылады:

${ displaystyle { mathcal {L}} _ {K} alpha = [d, i_ {K}] alpha = di_ {K} alpha - (- 1) ^ {k-1} i_ {K} , d альфа.}$

Тарих

1931 жылы, Władysław Ślebodziński деп аталатын жаңа дифференциалдық операторды енгізді Дэвид ван Дантциг скалярларға, векторларға, тензорларға және аффиндік қосылыстарға қолдануға болатын және автоморфизм топтарын зерттеуде қуатты құрал болған Lie туындысы.

Жалпы геометриялық объектілердің Lie туындылары (яғни, бөлімдері табиғи талшықтардың байламдары ) зерттелді A. Nijenhuis, Ю. Таширо және К.Яно.

Ұзақ уақыт бойы физиктер Lie туындыларын математиктердің жұмысына сілтеме жасамай қолданып келді. 1940 жылы, Леон Розенфельд^[10]- және оның алдында (1921 ж.)^[11]) Вольфганг Паули^[12]- ол «жергілікті вариация» деп атады ${ displaystyle delta ^ { ast} A}$ геометриялық объект ${ displaystyle A ,}$ векторлық өріс тудыратын координаталардың шексіз өзгеруімен туындаған ${ displaystyle X ,}$. Оның екенін дәлелдеуге болады ${ displaystyle delta ^ { ast} A}$ болып табылады ${ displaystyle - { mathcal {L}} _ {X} (A) ,}$.

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

• Ковариант туындысы
• Байланыс (математика)
• Frölicher – Nijenhuis кронштейні
• Геодезиялық
• Өлтіру өрісі
• Көрсеткіштік картаның туындысы

Ескертулер

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

• Ыбырайым, Ральф; Марсден, Джерролд Э. (1978). Механиканың негіздері. Лондон: Бенджамин-Каммингс. ISBN  0-8053-0102-X. 2.2 бөлімін қараңыз.
• Блекер, Дэвид (1981). Габариттік теория және вариациялық принциптер. Аддисон-Уэсли. ISBN  0-201-10096-7. 0 тарауын қараңыз.
• Джост, Юрген (2002). Риман геометриясы және геометриялық анализ. Берлин: Шпрингер. ISBN  3-540-42627-2. 1.6 бөлімін қараңыз.
• Колас, I .; Мичор, П .; Slovák, J. (1993). Дифференциалды геометриядағы табиғи операциялар. Шпрингер-Верлаг. Өтірік жақшаларын және Lie туындыларының жалпы теориясын кеңінен талқылау.
• Ланг, С. (1995). Дифференциалды және Риман коллекторлары. Шпрингер-Верлаг. ISBN  978-0-387-94338-1. Шексіз өлшемдерге жалпылау үшін.
• Ланг, С. (1999). Дифференциалдық геометрия негіздері. Шпрингер-Верлаг. ISBN  978-0-387-98593-0. Шексіз өлшемдерге жалпылау үшін.
• Яно, К. (1957). Жалған туындылар теориясы және оның қолданылуы. Солтүстік-Голландия. ISBN  978-0-7204-2104-0. Координаттарды қолданатын классикалық тәсіл.

Сыртқы сілтемелер

• «Өтірік туынды», Математика энциклопедиясы, EMS Press, 2001 [1994]