Групповой анализ дифференциальных уравнений: различия между версиями

 
Для любой группы <math>G</math> преобразований пространства <math>Z = X\times U</math> существуют <math>n = \dim X</math> операторов инвариантного дифференцирования первого порядка, линейно независимых над [[Поле (алгебра)|полем]] инвариантов данной группы. Эти инварианты имеют вид <math>\delta=\lambda^a D_a</math> и с учётом ({{eqref|5|}}) удовлетворяют системе уравнений
:<math>\underset{\kappa\ \ \ }{Y_i}\lambda^a = \lambda^b D_b\xi^a_i,\qquad i = 1, ..., \dim G.</math>
Число <math>\kappa</math> является наименьшим порядком продолжения группы <math>G</math>, ранг которого максимален, то есть равен <math>\dim G</math>. Поле дифференциальных инвариантов имеет конечный набор образующих в том смысле, что произвольный дифференциальный инвариант может быть получен конечным числом действий, включающих функциональные операции и применение операторов инвариантного дифференцирования первого порядка, из базиса дифференциальных инвариантов порядка <math>\kappa + 1</math>.