Русская Википедия:Групповой анализ дифференциальных уравнений
Групповой анализ дифференциальных уравнений — раздел математики, изучающий свойства симметрии дифференциальных уравнений относительно различных преобразований зависимых и независимых переменных. Включает в себя методы и прикладные аспекты дифференциальной геометрии, теории групп и алгебр Ли, вариационного исчисления и является, в свою очередь, эффективным инструментом исследования в теории ОДУ, ДУЧП и математической физике.
Мотивировка
Если дифференциальное уравнение после некоторой замены переменных переходит само в себя (с точностью до тождественных преобразований), то эта замена переводит любое решение уравнения снова в решение, вообще говоря, не совпадающее с исходным. Все такие замены образуют группу, называемую группой симметрии дифференциального уравнения, или группой, допускаемой дифференциальным уравнением. Таким образом, знание группы симметрии и некоторых частных решений позволяет строить семейства решений, получаемые из исходных применением всех преобразований группы. Кроме того, если некоторое решение уравнения инвариантно относительно группы (или некоторой её подгруппы), данный факт накладывает определённые условия на его вид, что позволяет ожидать упрощения исходного уравнения при его ограничении на такие инвариантные решения (в частности, уменьшения числа независимых переменных). Эти рассуждения приводят к задаче об общих методах нахождения допускаемой группы данного дифференциального уравнения. С другой стороны, по заданной группе преобразований в принципе может быть построено множество дифференциальных уравнений, допускающих её в качестве своей группы симметрии, что особенно актуально для фундаментальных разделов теоретической физики.
Хорошо развитые методы теории групп и дифференциальной геометрии позволяют придать изложенным соображениям строгие формулировки и конструктивно решить ряд сопутствующих задач, а также существенно расширяют арсенал средств для исследования качественного поведения решений дифференциальных уравнений, численного интегрирования и т. п.
Определения
Пусть <math>x = (x^1, x^2, ... x^n) \in X = R^n</math> и <math>u = (u^1, u^2, ..., u^m) \in U = R^m</math> обозначают совокупности соответственно независимых и зависимых переменных некоторой системы дифференциальных уравнений порядка <math>s</math>
а <math>\underset{k}{u} \in \underset{k}{U}</math> — совокупность всевозможных производных порядка <math>k</math>. Система уравнений (Шаблон:Eqref) определяет в пространстве <math>\underset{s}{Z} = X\times U\times \underset{1}{U}\times ... \times \underset{s}{U}</math> некоторое подмногообразие <math>M</math>.
Пусть группа Ли <math>G</math> действует в пространстве <math>\underset{0}{Z}\equiv Z = X\times U</math> независимых и зависимых переменных преобразованиями
Посредством пересчёта производных к преобразованным переменным преобразования (Шаблон:Eqref) единственным образом продолжаются на всё пространство <math>\underset{s}{Z}</math>:
- <math>{u'}^\alpha_{a_1...a_k} \equiv \frac{\partial u'^\alpha}{\partial x'^{a_1}...\partial x'^{a_k}} = \psi^\alpha_{a_1...a_k}(x, u, \underset{1}{u}, ..., \underset{k}{u}, g),\quad k=1, ..., s.</math>
Группа <math>G</math> называется группой симметрии системы (Шаблон:Eqref), если многообразие <math>M</math> является инвариантным многообразием <math>s</math>-го продолжения действия (Шаблон:Eqref), то есть действия (Шаблон:Eqref), продолженного на производные до порядка <math>s</math> включительно. Действие каждой однопараметрической подгруппы <math>e^{t A}</math>, <math>A\in\mathcal{G} = \mathrm{Lie}\,G</math> (см. Шаблон:Iw) группы <math>G</math> в пространстве <math>X\times U</math> генерируется векторным полем (здесь и ниже подразумевается правило суммирования Эйнштейна)
Соответствующий генератор действия подгруппы <math>g(t)</math>, продолженного на пространство <math>\underset{s}{Z}</math>,
где <math>I</math> — мультииндекс, называется <math>s</math>-м продолжением генератора <math>Y_A</math>. По аналогии путём формального прибавления к ряду (Шаблон:Eqref) неограниченного числа слагаемых с производными высших порядков вводится понятие бесконечного продолжения <math>\underset{\infty\ \ \ }{Y_A}</math>. При этом вопрос о сходимости данного ряда не возникает, так как на практике всегда приходится иметь дело с функциями, зависящими от производных конечного порядка.
Основные положения и результаты
Коэффициенты продолженных генераторов
Явный вид коэффициентов продолженного генератора находится дифференцированием ограничений
- <math>d{u'}^\alpha = {u'}^\alpha_a d{x'}^a,\quad d{u'}^\alpha_a = {u'}^\alpha_{ab} d{x'}^b</math>
и т. д., накладываемых на координаты в пространстве <math>\underset{s}{Z}</math>, по параметру преобразования <math>t</math> при <math>t = 0</math>. Например, для нахождения коэффициентов при <math>\partial/\partial u^\alpha_a</math> рассмотрим соотношения
- <math>d{u'}^\alpha = \left(\frac{\partial {u'}^\alpha}{\partial x^a} + \frac{\partial {u'}^\alpha}{\partial u^\beta} u^\beta_a\right) dx^a = {u'}^\alpha_a d{x'}^a = {u'}^\alpha_b\left(\frac{\partial {x'}^b}{\partial x^a} + \frac{\partial {x'}^b}{\partial u^\beta} u^\beta_a\right) dx^a.</math>
Приравнивая коэффициенты при <math>dx^a</math> и дифференцируя их по <math>t</math> при <math>t = 0</math>, с учётом выражений (Шаблон:Eqref — Шаблон:Eqref) имеем
- <math>\frac{\partial \eta^\alpha}{\partial x^a} + \frac{\partial \eta^\alpha}{\partial u^\beta} u ^\beta_a = \theta^\alpha_a + u^\alpha_b\left(\frac{\partial \xi^b}{\partial x^a} + \frac{\partial \xi^b}{\partial u^\beta} u^\beta_a\right),</math>
откуда
- <math>\theta^\alpha_a = D_a\eta^\alpha - u^\alpha_b D_a\xi^b,</math>
где введено обозначение
- <math>D_a = \frac{\partial}{\partial x^a} + u^\beta_a \frac{\partial}{\partial u^\beta} + u^\beta_{ab} \frac{\partial}{\partial u^\beta_b} + ...</math>
для оператора полной производной по координате <math>x^a</math>. Аналогичным образом могут быть найдены общие рекуррентное и явное выражения для коэффициентов произвольного порядка:
- <math>\theta^\alpha_{aI} = D_a\theta^\alpha_I - u^\alpha_{bI} D_a\xi^b,\quad \theta^\alpha_I = D_I\left(\eta^\alpha - u^\alpha_b \xi^b\right) + \xi^b u^\alpha_{bI}.</math>
Инфинитезимальным критерием инвариантности системы (Шаблон:Eqref) является условие
- <math>\left.\underset{s\ \ \ }{Y_A} F\right|_{F = 0} = 0,</math>
которое должно выполняться для любого элемента <math>A</math> из окрестности нуля алгебры Ли <math>\cal G</math>. Так как данное условие содержит не только переменные <math>x</math> и <math>u</math>, от которых зависят коэффициенты генератора <math>Y</math>, но и производные, вообще говоря, до порядка <math>s</math> включительно, которые в данном случае фигурируют как независимые переменные, при любых значениях которых условие обязано выполняться, то оно распадается на систему, как правило, переопределённых линейных дифференциальных уравнений на коэффициенты <math>\xi^a</math>, <math>\eta^\alpha</math>. Решив эту систему, можно в принципе восстановить (локальное) действие группы <math>G</math> в пространстве <math>X\times U</math>, а затем и в <math>\underset{s}{Z}</math>.
Дифференциальные инварианты
Дифференциальным инвариантом порядка <math>s</math> группы <math>G</math> называется дифференцируемая функция на <math>\underset{s}{Z}</math>, зависящая отпроизводных порядка <math>k</math>, инвариантная относительно <math>s</math>-го продолжения действия этой группы. Дифференциальные инварианты порядка <math>s</math> удовлетворяют системе линейных уравнений первого порядка
- <math>\underset{s\ \ \ }{Y_i} J = 0,\qquad i = 1, ..., \dim G,</math>
где <math>Y_i</math> — базис генераторов группы <math>G</math> на <math>Z</math>. Из общей теории таких систем следует, что произвольный инвариант может быть выражен через некоторый минимальный набор <math>N - r</math> функционально независимых инвариантов, где <math>N = n + m\,C_s^{n + s}</math> — число независимых переменных и <math>r</math> — число независимых уравнений в системе, равное максимальному рангу матрицы её коэффициентов.
Значительная часть приложений группового анализа основаны на следующей теореме.
Таким образом, знание дифференциальных инвариантов позволяет найти общий вид уравнений, инвариантных относительно заданной группы, а анализ структуры алгебры Ли группы симметрий даёт возможность выбрать замену переменных, приводящую заданное уравнение к возможно более простому виду, например, допускающему понижение порядка (см. раздел «Приложения»).
Инвариантное дифференцирование
Оператором инвариантного дифференцирования группы <math>G</math> называется дифференциальный оператор, который при действии на дифференциальный инвариант этой группы даёт дифференциальный инвариант более высокого порядка. Из определения следует, что оператор <math>\delta</math> является оператором инвариантного дифференцирования группы <math>G</math> тогда и только тогда, когда он коммутирует с любым генератором <math>\underset{\infty}{Y}</math> продолженного действия этой группы:
Для любой группы <math>G</math> преобразований пространства <math>Z = X\times U</math> существуют <math>n = \dim X</math> операторов инвариантного дифференцирования первого порядка, линейно независимых над полем инвариантов данной группы. Эти инварианты имеют вид <math>\delta=\lambda^a D_a</math> и с учётом (Шаблон:Eqref) удовлетворяют системе уравнений
- <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>.
Приложения
Обыкновенные дифференциальные уравнения
Для (систем) обыкновенных дифференциальных уравнений групповой анализ устанавливает достаточные условия интегрируемости в квадратурах и в случае их выполнения даёт алгоритм построения общего решения. Если эти условия не выполнены, знание группы симметрий позволяет понизить порядок уравнения или системы, то есть выразить их решения через решения уравнения более низкого порядка или системы с меньшим числом уравнений.
Ниже приведены основные результаты группового анализа применительно к ОДУ.
Понижение порядка
Если обыкновенное дифференциальное уравнение
- <math>F(x, u', ..., u^{(s)}) = 0</math>
допускает однопараметрическую группу симметрий с генератором
то переходом к переменным, Шаблон:Iw векторное поле (Шаблон:Eqref), его порядок может быть понижен на единицу. В частности, уравнение первого порядка, разрешённое относительно производной, при этом условии интегрируется в квадратурах.
Последнее утверждение может быть сформулировано альтернативным образом в терминах интегрирующего множителя.
Интегрирующий множитель
Обыкновенное дифференциальное уравнение в полных дифференциалах
- <math>P(x, u)\,dx + Q(x, u)\,du = 0</math>
допускает однопараметрическую группу симметрий с генератором (Шаблон:Eqref) тогда и только тогда, когда функция
- <math>\mu = \frac{1}{P\,\xi + Q\,\eta}</math>
является для этого уравнения интегрирующим множителем.
Теорема Ли
Приведённые выше результаты обобщает следующая теорема.
Ввиду соответствия между уравнениями порядка <math>s</math> и системами <math>s</math> уравнений первого порядка аналогичная теорема справедлива также для одного уравнения порядка <math>s</math>.
Уравнения в частных производных
Литература
Примечания
