Диференціальним інваріантом називається інваріант дії групи Лі у просторі що включає не лише функції а і їхні похідні Ди

Диференціальним інваріантом називається інваріант дії групи Лі у просторі, що включає не лише функції а і їхні похідні. Диференціальні інваріанти є фундаментальними об'єктами для проективної диференціальної геометрії, зокрема, кривина часто вивчається саме з цієї точки зору. Диференціальні інваріанти були вперше введені на початку 1880-ті рр. Стаття ( Lie 1884) була першою роботою з диференціальних інваріантів в якій встановлено взаємозв'язок між диференціальними інваріантами, інваріантами диференціальних рівнянь та інваріантними диференціальними операторами.

Означення

Найпростіший випадок — це диференціальні інваріанти для однієї незалежної змінної x та однієї залежної змінної y . Нехай G — група Лі, що діє на R². Тоді G також діє локально на просторі усіх графіків вигляду y = ƒ(x). Грубо кажучи, диференціальний інваріант k -го порядку є функцією

I\left(x,y,{\frac {dy}{dx}},\dots ,{\frac {d^{k}y}{dx^{k}}}\right)

залежною від y та її k -х похідних відносно x , і яка є інваріантом відносно дії групи.

Група може діяти на похідні вищого порядку нетривіально, що вимагає обчислення продовження дії групи. Дія G на першу похідну, наприклад, є такою: якщо

({\overline {x}},{\overline {y}})=g\cdot (x,y),

тоді

g\cdot \left(x,y,{\frac {dy}{dx}}\right){\stackrel {\text{def}}{=}}\left({\overline {x}},{\overline {y}},{\frac {d{\overline {y}}}{d{\overline {x}}}}\right).

Подібні міркування застосовуються для обчислення вищих продовжень. Однак цей метод обчислення продовження дії непрактичний, і набагато простіше працювати на рівні алгебри Лі та вздовж дії G .

Примітки

Guggenheimer, 1977

Література

(1977), Differential Geometry, New York: , ISBN .
(1884), Über Differentialinvarianten, Gesammelte Adhandlungen, т. 6, Leipzig: B.G. Teubner, с. 95—138; English translation: Ackerman, M; Hermann, R (1975), Sophus Lie's 1884 Differential Invariant Paper, Brookline, Mass.: Math Sci Press.
(1993), Applications of Lie groups to differential equations (вид. 2nd), Berlin, New York: Springer-Verlag, ISBN .
(1995), Equivalence, Invariants, and Symmetry, Cambridge University Press, ISBN .
(2009), A Practical Guide to the Invariant Calculus (PDF)^{[недоступне посилання з 01.12.2016]}; to be published by Cambridge 2010, .

Посилання

Invariant Variation Problems [ 10 березня 2008 у Wayback Machine.]

[1] Guggenheimer, 1977