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

 

Для любой группы <math>G</math> преобразований пространства <math>Z = X\times U</math> существуют <math>n = \dim X</math> операторов инвариантного дифференцирования первого порядка, линейно независимых над [[Поле (алгебра)|полем]] инвариантов данной группы. Эти инварианты имеют вид <math>\delta=\lambda^a D_a</math> и с учётом ({{eqref|5|}}) удовлетворяют системе уравнений

Число <math>\kappa</math> является наименьшим порядком продолжения группы <math>G</math>, ранг которого максимален, то есть равен <math>\dim G</math>. Поле дифференциальных инвариантов имеет конечный набор образующих в том смысле, что произвольный дифференциальный инвариант может быть получен конечным числом действий, включающих функциональные операции и применение операторов инвариантного дифференцирования первого порядка, из базиса дифференциальных инвариантов порядка <math>\kappa + 1</math>.