Однопараметрическая группа симметрий дифференциального уравнения
Групповой анализ дифференциальных уравнений возник как научное направление в работах выдающегося математика XIX века Софуса Ли (18421899) и служил главной составной частью его важнейшего творения теории непрерывных групп. Первоначальная основная задача группового анализа вопрос о разрешимости в квадратурах дифференциальных уравнений была практически решена самим Ли, но не нашла широкого применения. Хотя подход Ли к дифференциальным уравнениям ещё использовался его ранними последователями, позже исследования в этом направлении прекратились, и надолго.
Интерес к групповому анализу возродил Л. В. Овсянников, показав в своих работах 19581962 гг., что главное орудие, которым пользовался Ли, описание свойств дифференциальных уравнений при помощи допускаемых групп обнаруживает свою силу не только в вопросах о полной разрешимости, но и при построении отдельных классов точных решений и качественном исследовании дифференциальных уравнений механики и математической физики. Такое расширение области применений потребовало существенного углубления методов группового анализа, разработки новых понятий и алгоритмов. Возникшие в связи с этим проблемы и перспективы развития стимулировали большое число исследований (см. книги [7], [9] и обзор [10]). Стало ясно, каким действенным инструментом является групповой анализ при решении сложных задач. Он существенно расширяет и уточняет интуитивное понимание симметрии, вооружает конструктивными методами её использования, ведёт к правильной постановке задач, а во многих случаях позволяет увидеть возможные пути их решения.
К сожалению, приходится констатировать, что и сегодня практическое применение свойств симметрии основывается чаще всего не на знании методов группового анализа, а на случайных, более или менее удачных догадках. Странность положения усугубляется тем, что в настоящее время разработаны и ждут применения новые мощные методы группового анализа. Поэтому знакомство с классическими его основами и современными методами становится важным элементом математической культуры для тех, кто имеет дело с построением и изучением математических моделей задач естествознания. Для этого наряду с имеющимися монографиями по групповому анализу нужен учебник, рассчитанный на широкую аудиторию и пригодный для первоначального ознакомления с предметом.
Данная брошюра, по замыслу автора, и должна сыграть роль такого учебника. При её чтении рекомендуется тщательно разобрать примеры и прорешать предлагаемые упражнения, так как групповой анализ относится к одной из тех областей, которые необходимо изучать на примерах. Сюда в полной мере относятся слова И. Ньютона о том, что «при изучении наук примеры не менее поучительны, нежели правила». Недостаточно лишь формально знать теорию групп, ею надо овладевать творчески, решая многочисленные упражнения и нестандартные задачи.
При работе над этой брошюрой основным источником послужили работы С. Ли, в частности его книга [8]. Хорошее представление о работах Ли по обыкновенным дифференциальным уравнениям и о его манере мышления можно получить по статье [5] Л. Диксона одного из бывших слушателей
 |
| |||||||||||||||||||||||||||
Эта брошюра является продолжением «Азбуки группового анализа» и связана с ней единством замысла дать общедоступное изложение теории Ли дифференциальных уравнений. Я стремился свести до минимума подготовительные теоретические построения и привести читателя к методам решения дифференциальных уравнений кратчайшим путём. Ибо как начинающему купальщику невозможно нырнуть вместе с надувным кругом, так отягощённое трактатностью и подчёркнутой строгостью изложение мало способствует погружению в необычный мир группового анализа.
Для первоначального ознакомления с предметом достаточно прочесть первые две главы. В первой главе собраны ключевые понятия группового анализа и сформулированы в виде теорем те факты, которые лежат в основе используемых алгоритмов. Этот раздел поможет читателю быстро научиться вычислять допускаемую группу и освоиться с другими простыми приёмами группового анализа. Во второй главе изложена основная схема Ли интегрирования обыкновенных дифференциальных уравнений методом теории групп. Ограничение уравнениями второго порядка вызвано не существом метода, а стремлением сосредоточиться на конкретном материале и привести к исчерпывающим результатам.
Остальные главы предназначены для желающих углубиться в предмет. Заинтересовавшийся читатель может перейти далее к изучению специальной литературы, указанной в библиографии.
которая поможет заинтересованному читателю более подробно ознакомиться с теоретическими вопросами группового анализа, многообразием приложений и современным развитием, а также с биографией Софуса Ли.
- Э.Л.Айнс . Обыкновенные дифференциальные уравнения . Харьков: ОНТИ, 1939. Гл. IV. С. 127153.
- В.А.Байков , Р.К.Газизов , Н.X.Ибрагимов . Приближённые симметрии // Матем. сб. 1988. Т. 136. Вып. 4. С. 435450.
- В.А.Галактионов , В.А.Дородницын , Г.Г.Еленин , С.П.Курдюмов , А.А.Самарский . Квазилинейное уравнение с источником: обострение, локализация, симметрия, точные решения, асимптотики, структуры // Итоги науки и техники: Современные проблемы математики: Новейшие достижения. М.: ВИНИТИ, 1987. Т. 28. С. 95205.
- Э.Гурса . Курс математического анализа . М.Л.: ГТТИ, 1933. Т. II. Ч. II. гл. XIX. Разд. IV. С. 92104.
- L.E.Dickson . Differential equations from the group standpoint // Annals of Math. 1924. V. 25. P. 287378. назад к тексту
- В.А.Дородницын , Г.Г.Еленин . Симметрия в решениях уравнений математической физики . М.: Знание, 1984. 64 с. См. также сб.: Компьютеры и нелинейные явления. М.: Наука, 1988. С. 123191.
- Н.X.Ибрагимов . Группы преобразований в математической физике . М.: Наука, 1983. 280 с. назад к тексту
- S.Lie . Vorlesungen über continuierliche Gruppen . Leipzig: Teubner, 1893. 805 c. назад к тексту
- Л.В.Овсянников .
- Групповые свойства дифференциальных уравнений . Новосибирск: Изд. СО АН СССР, 1962. 240 с.
- Групповой анализ дифференциальных уравнений . М.: Наука, 1978. 400 с. назад к тексту
- Л.В.Овсянников , Н.X.Ибрагимов . Групповой анализ дифференциальных уравнений механики // Итоги науки и техники: Общая механика. М.: ВИНИТИ, 1975. Т. 2. С. 552. назад к тексту
- Е.М.Полищук . Софус Ли . Л.: Наука, 1983. 214 с.
- Н.Г.Чеботарев . Теория групп Ли . М.Л.: ГИТТЛ, 1940. 396 с.
Добавлю сюда ещё одну книгу П. Олвер. Приложения групп Ли к дифференциальным уравнениям (М., Мир, 1989), которую, благодаря достаточно недавнему (по сравнению с другими книгами) году выпуска, объёму в 600 с лишним страниц и ясности изложения, можно поставить в начало этого списка.
Однопараметрическая группа симметрий дифференциального уравнения
СИММЕТРИЯ АЛГЕБРАИЧЕСКИХ И ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ (КУДРЯШОВ Н.А. , 1998), МАТЕМАТИКА
Рассматривается симметрия алгебраических и обыкновенных дифференциальных уравнений. Обсуждаются симметрические многочлены и их применение при решении уравнений высших степеней и систем. Даются понятия группы, однопараметрической группы преобразований и инвариантов дифференциальных уравнений. Рассмотрена схема группового анализа дифференциальных уравнений.
СИММЕТРИЯ АЛГЕБРАИЧЕСКИХ И ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ
Московский инженерно-физический институт
Каждый человек, исходя из своего житейского опыта, имеет какое-то представление о симметрии, поскольку это одно из самых распространенных явлений в природе, искусстве и науке. Однако обычно под симметрией понимается либо зеркальная симметрия, когда одна половина предмета зеркально-симметрична другой, либо центральная, как у буквы И. Такая симметрия означает, что есть преобразование (поворот), которое переводит предмет сам в себя.
В ряде случаев симметрия является достаточно очевидным фактом. Например, любой школьник, рассматривая равносторонний треугольник, может показать, почему эта фигура симметрична, и для подтверждения своей мысли может предложить несколько преобразований, в результате которых треугольник не изменит своего вида. В действительности понятие симметрии гораздо шире, и под ней понимается неизменность при какой-либо операции не только предметов, но и физических явлений, математических формул, уравнений и т.д.
Дать точное определение симметрии в общем случае не представляется возможным, поскольку она принимает свою конкретную форму в каждой области человеческой деятельности. Например, в искусстве симметрия проявляется в соразмерности и взаимосвязанности отдельных частей, образующих произведение. В классической механике она выражается в виде принципа относительности. Симметрия сыграла чрезвычайно важную роль при проведении исследований в физике микромира [1]. И не случайно крупнейший физик-теоретик академик А.Б. Мигдал в книге «Поиски истины» [2] утверждал, что «главными направлениями физики двадцатого века были поиски симметрии и единства картины мира».
Математики также издавна стремились к красоте математических формул и справедливо считали, что красивая формула отличается от некрасивой тем, что в красоте больше симметрии.
В статье пойдет речь о симметрии алгебраических и дифференциальных уравнений и о том, как использовать это свойство, чтобы находить решения.
При решении некоторых алгебраических уравнений высшего порядка и некоторых систем алгебраических уравнений используются специальные многочлены, называемые симметрическими, определение которых дадим на примере многочленов от двух переменных [3].
Определение 1. Многочлен P (x, y) от двух переменных называется симметрическим, если при замене x на y и y на x он не меняется.
P (x, y) = 2x3y + x2y + xy2 + 2xy3
является симметрическим, поскольку при замене x на y и y на x имеем тождество
Простейшие симметрические многочлены от x и y
s1 = x + y, s2 = xy
называются элементарными (или основными) симметрическими многочленами.
Обобщение определения симметрических многочленов от n переменных осуществляется естественным путем. Например, симметрическим многочленом от трех переменных называется многочлен Q(x, y, z) от трех переменных, который не меняется при перестановке любых двух переменных, а элементарные симметрические многочлены определяются формулами
Для симметрических многочленов справедлива следующая важная
Теорема 1. Всякий симметрический многочлен от n переменных можно представить в виде многочлена от элементарных симметрических многочленов, и это представление единственно.
Доказательство этой теоремы можно найти в книге [3].
Используя теорему 1, симметрический многочлен (1) с учетом (2) можно представить в виде
Таким образом, чтобы найти выражение симметрического многочлена через элементарные, необходимо разбить многочлен на однородные части и затем, собирая все члены многочлена с одной степенью по совокупности переменных, выразить каждую однородную часть через элементарные симметрические многочлены.
ПРИМЕНЕНИЕ СИММЕТРИЧЕСКИХ МНОГОЧЛЕНОВ ДЛЯ РЕШЕНИЯ
УРАВНЕНИЙ И СИСТЕМ
Симметрические многочлены можно успешно использовать при решении некоторых уравнений и систем.
В качестве примера рассмотрим решение следующей системы уравнений с помощью симметрических многочленов:
x4 + x2y2 + y4 = 91,
Используя элементарные многочлены (2), эту систему можно записать в виде
Подставляя из второго уравнения в первое, находим
Таким образом, решение системы уравнений (3) свелось к решению двух простейших систем
x + y = 4, x + y = — 4,
Симметрические многочлены применяются также при решении некоторых уравнений высших степеней, называемых возвратными. У таких уравнений коэффициенты многочленов, равноудаленные от концов, совпадают. Решение возвратных уравнений основывается на следующей теореме [3].
Теорема 2. Всякий возвратный многочлен
P (z) = a0z2k + a1z2k — 1 + _ + a2k — 1z + a2k
четной степени 2k представляется в виде
и h(s) — некоторый многочлен степени k от s.
Всякий возвратный многочлен P (z) нечетной степени делится на z + 1, причем частное от деления представляет собой возвратный многочлен четной степени.
Доказательство. Рассмотрим сначала доказательство первого утверждения этой теоремы. Пусть P (z) — многочлен четной степени, тогда его можно представить в виде
Принимая во внимание определение возвратного многочлена, имеем a0 = a2k , a1 = a2k — 1 , _, поэтому
Поскольку степенная сумма
в соответствии с теоремой 1 выражается через элементарные симметричные многочлены s1 и s2 , то, полагая
получаем, что двучлены
и, следовательно, многочлен P (z) может быть представлен в виде (4).
Возвратный многочлен нечетной степени
P (z) = a0z2k + 1 + a1z2k + _ + a2kz + a2k + 1
в силу равенств
a0 = a2k + 1, a1 = a2k , a2 = a2k — 1 , _
может быть представлен в виде
P (z) = a0(z2k + 1 + 1) + a1z(z2k — 1 + 1) +
+ a2z2(z2k — 3 + 1) + _ + akzk(z + 1).
В каждом двучлене, стоящем в скобках, можно выделить множитель z + 1, поскольку
z2m + 1 + 1 = (z + 1)(z2m — z2m — 1 + z2m — 2 + _ + z2 — z + 1).
Принимая это соотношение во внимание, получаем из (5)
где R(z) — возвратный многочлен степени 2k.
В качестве примера рассмотрим решение уравнения пятой степени
x5 — 8×4 + 11×3 + 11×2 — 8x + 1 = 0.
Хорошо известно, что в общем случае уравнение пятой степени и выше не может быть решено при помощи корней (радикалов). Это было доказано в 1824 году норвежским математиком Нильсом Абелем. Однако уравнение (6) является возвратным нечетной степени, и поэтому одним из его корней является x = -1. Поделив уравнение (6) на x + 1, получаем возвратное уравнение четвертой степени
x4 — 9×3 + 20×2 — 9x + 1 = 0,
которое сводится к квадратному уравнению относительно s
Симметричные многочлены используются также при доказательстве неравенств, при решении иррациональных уравнений, при разложении многочленов на множители и при решении некоторых других задач [3].
ПОНЯТИЕ ОБ АБСТРАКТНОЙ ГРУППЕ
Понятие группы возникло при изучении симметрии, относящейся к корням алгебраических уравнений.
Из школьного курса алгебры известно, что квадратное уравнение
может быть записано в виде
где x1 и x2 — корни квадратного уравнения, причем
Эти соотношения известны как теорема Виета.
Для кубического уравнения
x3 + ax2 + bx = c = 0
аналогичное представление для корней приводит к соотношениям
x1x2 + x2x3 + x1x3 = b,
Любопытно, что корни уравнения в эти соотношения входят симметрично и a, b, c являются элементарными симметрическими многочленами.
Такие равенства могут быть написаны для корней алгебраического уравнения произвольного порядка. Именно эти соотношения были использованы Нильсом Абелем, чтобы доказать, что в общем случае решения уравнения пятой степени не могут быть получены через радикалы. После Абеля полную теорию разрешимости уравнений в радикалах создал французский математик Эварист Галуа, которому, в частности, принадлежит определение алгебраической операции.
Определение 2. Пусть задано множество G каких-то элементов, тогда если каждым двум элементам из этого множества, взятым в определенном порядке, однозначно ставится в соответствие некоторый элемент из множества G, то говорят, что на множестве G определена алгебраическая операция.
Обычно алгебраическая операция, определенная на множестве G, называется умножением или сложением.
Определение 3. Множество G с определенной в нем алгебраической операцией является группой, если:
1) для любых трех элементов этого множества (a, b, c k G) выполняется ассоциативный закон:
2) для любого элемента a k G в множестве G существует единичный элемент e такой, что:
3) для любого элемента a k G в множестве G существует обратный элемент a-1 k G такой, что:
Рассмотрим совокупность всех целых чисел, состоящую из положительных, отрицательных и нуля. Покажем, что множество таких чисел образуют группу относительно операции сложения. В самом деле, если за единицу в этом множестве возьмем нуль, то сумма двух целых чисел всегда целое число. Прибавление нуля к любому числу не изменит его, поэтому в данном множестве есть единичный элемент. Кроме того, прибавление к любому числу числа с обратным знаком дает также нуль. Таким образом, все три пункта определения 3 выполнены, и совокупность целых чисел относительно операции сложения в самом деле образуют группу.
Применение теории групп для анализа дифференциальных уравнений было открыто норвежским математиком Софусом Ли (1842-1899). Ему удалось показать, что большинство методов, используемых при решении дифференциальных уравнений и казавшихся до него искусственными и хитроумными, могут быть получены с помощью теории групп 4.
Пусть задано дифференциальное уравнение первого порядка
где E — некоторая функция от трех переменных x, y и yx . Рассмотрим семейство преобразований на плоскости (x, y)
зависящее от вещественного параметра a.
Фактически соотношения (8) отображают точку (x, y) некоторого множества М в точку (x’, y’) того же множества, но поскольку эти преобразования зависят от параметра, то таких отображений целое семейство.
Предположим, что семейство преобразований (8) достаточное число раз дифференцируемо по всем переменным и по параметру а и имеет следующие свойства:
1) существует a0 k D (D — интервал вещественной оси), такое, что
j(x, y, a0) = x, y(x, y, a0) = y
(далее полагаем a0 = 0);
2) последовательное выполнение двух преобразований равносильно применению третьего того же вида (8). Это свойство может быть записано в виде
j(x’, y’, b) = j(x, y, a + b),
y(x’, y’, b) = y(x, y, a + b);
3) существует — a k D, такое, что
j(x’, y’, — a) = j(x, y, a),
y(x’, y’, — a) = y(x, y, a).
Теперь можно сформулировать определение однопараметрической группы преобразований.
Определение 4. Семейство преобразований (8), которое можно дифференцировать достаточное число раз по x, y и по параметру а и имеющее свойства 1-3, называется однопараметрической группой преобразований.
Легко заметить, что свойства 1-3 — это обычные групповые свойства. Существенно новым моментом этого определения является то, что эти преобразования можно дифференцировать. Условие 2 в определении может выполняться не для всех значений параметра а и b из интервала D, а только при достаточно малых. О таком семействе преобразований говорят как о локальной однопараметрической группе преобразований.
Примерами локальных однопараметрических групп преобразований, которые часто используются, являются следующие преобразования на плоскости:
1) преобразование переноса (сдвига) параллельно прямой kx + ly = 0 (k и l — постоянные)
2) преобразование вращения на плоскости (x, y)
3) преобразование дилатации (неоднородного растяжения)
Нетрудно проверить, что все эти преобразования образуют однопараметрические группы преобразований.
С помощью однопараметрической группы преобразований можно найти некоторое соотношение между переменными, которое не меняется при действии на него преобразований. Такое соотношение называется инвариантом соответствующей группы преобразований.
Если задана также функция F (x, y) от двух переменных, то точка (x, y) может подвергаться преобразованию в соответствии с формулами (8). Тогда и функция F в общем случае изменится при действии преобразования, причем F (x’, y’) будет, вообще говоря, зависеть от группового параметра a. Однако для каждой однопараметрической группы преобразований существуют инвариантные функции, которые не меняются при действии преобразований.
Инвариант может быть найден путем исключения группового параметра a из соответствующей группы преобразований. В качестве примера рассмотрим, как найти инвариант групп преобразований неоднородного растяжения на плоскости.
Возведя первое соотношение семейства (11) преобразований в степень k и разделив на второе равенство, получим
Это соотношение показывает, что функция
является инвариантом группы преобразований неоднородного растяжения (11).
Аналогично можно доказать, что инвариантами групп преобразований (9) и (10) будут соответственно соотношения
I2 = kx’ + ly’ = kx + ly
I3 = x’2 + y’2 = x2 + y2.
Класс функций, который будет инвариантен относительно группы преобразований растяжения, определяется функциями, которые зависят от инварианта I1 , для групп преобразований (9) и (10) — соответственно функциями от I2 и I3 .
Инвариант группы преобразований может быть получен и более формальным путем. Для этой цели при заданной группе преобразований находятся функции, называемые компонентами касательного векторного поля:
В теории Софуса Ли доказано, что необходимым и достаточным условием того, что функция F инвариантна относительно группы преобразований, является выполнение равенства
Здесь X — выражение (называемое дифференциальным оператором), которое действует на функцию и дает снова функцию. Оно имеет вид
Докажем необходимость условия (12). Если функция F (x, y) — инвариант соответствующей группы преобразований, то
Используя соотношения для x’ и y’ (справедливые при малых а) в виде
Подставляя (14) в (13), приходим к (12).
Соотношение (12) эквивалентно следующему уравнению в частных производных:
Решение его как раз и дает инвариант искомой группы преобразований.
В качестве примера найдем инвариант группы преобразований вращения на плоскости.
Уравнение (12) для данного случая примет вид
решение которого дает инвариант группы преобразований (10) в виде
СХЕМА ГРУППОВОГО АНАЛИЗА ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ
Алгоритм, позволяющий находить группы преобразований, для которых дифференциальное уравнение остается инвариантным, называется групповым анализом дифференциального уравнения. Схему этого алгоритма рассмотрим на примере дифференциального уравнения первого порядка (7). Задача, которая при этом ставится: найти группы преобразований, относительно которых дифференциальное уравнение остается инвариантным (в этом случае обычно говорят о группе преобразований, которая допускается дифференциальным уравнением).
Дифференциальное уравнение (7) можно рассматривать как алгебраическое уравнение с функцией от трех переменных x, y и yx . Важным моментом теории группового анализа дифференциальных уравнений является то, что при заданной группе преобразований однозначно определяются компоненты касательного векторного поля и, наоборот, при известных компонентах касательного векторного поля однозначно восстанавливается группа преобразований. Таким образом, задание однопараметрической группы преобразований фактически эквивалентно заданию компонент касательного векторного поля.
Это обстоятельство позволяет при групповом анализе дифференциального уравнения (7) искать не сами группы, а только компоненты касательного векторного поля x и h. Однако дифференциальное уравнение (7) содержит три переменные x, y и yx , и поэтому оператор, который должен действовать на левую часть уравнения (7), принимает вид
причем поскольку yx является производной от y по x, то h’ определяется следующим выражением от x и h:
Кроме того, поскольку соотношение (7) является дифференциальным уравнением, в котором E = 0, то условие инвариантности уравнения (7) относительно группы преобразований принимает вид
Условие (15) позволяет найти все компоненты касательного векторного поля x и h и тем самым определить все независимые однопараметрические группы преобразований, которые допускаются уравнением (7).
Техника проведения группового анализа дифференциальных уравнений довольно трудоемка, и, как правило, в настоящее время этот алгоритм выполняется с применением программ аналитических вычислений на ЭВМ. Такие программы с успехом применяются в последние годы для решения многих математических задач, где требуется большое количество алгебраических вычислений.
Следует заметить, что некоторые группы преобразований (но не все) можно установить по виду самого дифференциального уравнения.
Покажем, например, как это делается на примере дифференциального уравнения, имеющего вид
Предположим, что это уравнение допускает группу преобразований неоднородного растяжения на плоскости (x, y), тогда
Подставляя эти соотношения в уравнение, получаем
Последнее уравнение совпадает с (16), если b = a, и поэтому уравнение (16) допускает группу преобразований (17) при b = a. Эта группа имеет инвариант
Используя инварианты групп преобразований, можно упростить процедуру нахождения решения дифференциального уравнения. В самом деле, поскольку y = q(x)x, то уравнение (16) можно записать в виде
откуда находится решение
(здесь с — постоянная).
В качестве еще одного примера рассмотрим, как можно с помощью инварианта решить дифференциальное уравнение вида
Предположим, что это дифференциальное уравнение допускает группу преобразований сдвига по x и по y
Подставляя эти соотношения в уравнение (18), получим, что оно не изменит своего вида, если
Инвариант группы преобразований (19) имеет вид
z = ax’ + by’ = ax + by.
и уравнение (18) преобразуется к уравнению
решение которого выражается формулой
(здесь c1 — произвольная постоянная).
Учитывая обозначение инварианта, находим окончательное решение уравнения (18) в виде
Приведенные примеры показывают, что в ряде случаев группа преобразований находится непосредственно из вида дифференциального уравнения и полученные инварианты существенно упрощают решение дифференциального уравнения.
Групповой анализ дифференциальных уравнений в последние годы находит широкое применение при построении решений уравнений в частных производных. Оказалось, что инварианты соответствующих групп преобразований для уравнений такого вида позволяют существенно упростить процедуру получения аналитического решения. Это, по-видимому, один из самых важных практических результатов теории симметрии дифференциальных уравнений.
После открытия солитонов в 60-х годах нашего столетия резко усилился интерес к применению теории симметрии при решении нелинейных уравнений в частных производных, и идеи Софуса Ли в работах ряда ученых были обобщены. Эти работы расширили наше понимание симметрии дифференциальных уравнений и привели к понятию «высшей» симметрии. В последнее время этот раздел нелинейной математической физики интенсивно изучается, и в научных периодических журналах можно найти много работ, посвященных этой теме.
1. Компанеец А.С. Симметрия в микро- и макромире. М.: Наука, 1978. 206 с.
2. Мигдал А.Б. Поиски истины. М.: Мол. гвардия, 1983. 240 с.
3. Болтянский В.Г., Виленкин Н.Я. Симметрия в алгебре. М.: Наука, 1967. 284 с.
4. Дородницин В.А., Еленин Г.Г. Симметрия в решениях уравнений математической физики. М.: Знание, 1984. ╧ 4. 64 с.
5. Ибрагимов Н.Х. Азбука группового анализа. М.: Знание, 1989. ╧ 8. 48 с.
6. Ибрагимов Н.Х. Опыт группового анализа. М.: Знание, 1991. ╧ 7. 48 с.
Николай Алексеевич Кудряшов, доктор физико-математических наук, профессор, зав. кафедрой прикладной математики в физике и экономике МИФИ, член-корреспондент Российской академии естественных наук (РАЕН), лауреат Государственной премии СССР в области науки и техники. Основные научные интересы: математическое моделирование задач газовой динамики и глобальных катастроф в природе, нелинейные волны и теория солитонов, аналитические и численные методы решения нелинейных уравнений в частных производных. Автор более 150 печатных работ, в том числе пяти учебных пособий.
Раздел 3. Классический метод исследования симметрий дифференциальных уравнений
Содержание учебного курса.
Раздел 1. Методы теории подобия и размерности.
Тема 1.1. Анализ размерностей и подобие.
1.1.Размерность. Анализ размерностей. Подобие. П-теорема.
Тема 1.2. Применение анализа размерностей величин к построению точных частных решений задач математической физики и механики. Автомодельные решения.
Сильные тепловые волны. Сильные взрывные волны. Автомодельность. Промежуточная асимптотика.
Тема 1.3. Автомодельные решения второго рода. Модифицированная задача о мгновенном тепловом источнике. Автомодельное решение второго рода.
Модифицированная задача о мгновенном тепловом источнике. Прямое применение анализа размерностей в модифицированной задаче о мгновенном тепловом источнике. Численный эксперимент. Автомодельная промежуточная асимптотика. Автомодельное предельное решение. Модифицированная задача о сильном взрыве. Прямое применение анализа размерностей в модифицированной задаче о точечном сильном взрыве. Численный эксперимент. Автомодельная промежуточная асимптотика. Автомодельное предельное решение. Качественное исследование нелинейной задачи на собственные значения. Задача о коротком ударе. Численный эксперимент. Автомодельная промежуточная асимптотика. Автомодельное предельное решение.
Тема 1.4. Классификация автомодельных зависимостей и автомодельных решений.
Полная и неполная автомодельность. Автомодельные решения первого и второго рода.
Тема 1.5. Автомодельные решения и бегущие волны. Полная и неполная автомодельность упругости и разрушения.
Решения типа бегущих волн. Ударная волна Бюргерса – стационарная бегущая волна первого рода. Задача о равновесии упругого клина под действием пары сил, приложенной в его вершине. Парадокс Стернберга-Койтера. Промежуточная асимптотика решения неавтомодельной задачи. Законы подобия хрупкого и квазихрупкого разрушения.
Тема 1.6. Решения типа бегущей волны и автомодельные решения. Метод подобия. Общий вид решений типа бегущей волны. Инвариантность уравнений относительно преобразований сдвига. Функциональное уравнение, задающее решение типа бегущей волны. Метод подобия. Примеры автомодельных решений уравнений математической физики и механики. Уравнения, инвариантные относительно комбинаций преобразований сдвига и растяжения, и их решения. Экспонециально-автомодельные решения. Инвариантные решения. Обобщенно-автомодельные решения.
Раздел 2. Симметрия в математике. Групповой анализ обыкновенных дифференциальных уравнений.
Тема 2.1. Введение. Симметрия в современной математике. Группы преобразований. Преобразования и их свойства. Группы преобразований и их инварианты.
Тема 2.2. Группы преобразований. Группа точечных преобразований. Продолжение группы и инфинитезимального оператора. Дифференциальные уравнения, допускающие группу. Интегрирование и понижение порядка с помощью однопараметрической группы. Определяющее уравнение. Алгебра Ли.
Раздел 3. Классический метод исследования симметрий дифференциальных уравнений.
Тема 3.1. Однопараметрические преобразования и их локальные свойства. Однопараметрические преобразования и их локальные свойства. Инфинитезимальный оператор. Инвариант оператора. Преобразования на плоскости. Формулы для вычисления производных. Координаты первого и второго продолжений.
Тема 3.2. Симметрии нелинейных уравнений второго порядка. Условие инвариантности. Процедура расщепления по производным. Примеры поиска симметрий нелинейных уравнений математической физики. Двумерное стационарное уравнение теплопроводности с нелинейным источником. Нелинейное уравнение нестационарной теплопроводности. Нелинейное волновое уравнение. Допустимые инфинитезимальные операторы и инварианты движения нелинейной вязко-пластической среды.
Тема 3.3. Использование симметрий уравнения для поиска точных решений. Использование симметрий уравнения для построения однопараметрических решений. Процедура построения инвариантных решений. Примеры построения инвариантных решений нелинейных уравнений. Решения, порождаемые линейными комбинациями допускаемых операторов.
Тема 3.4. Уравнения старших порядков. Однопараметрические группы Ли точечных преобразований. Генератор группы. Инвариант группы. Локальные преобразования производных. Условие инвариантности. Процедура расщепления. Инвариантные решения. Допустимые инфинитезимальные операторы и инвариантные решения уравнения стационарного безградиентного гидродинамического пограничного слоя. Допустимые инфинитезимальные операторы и инвариантные решения уравнения стационарного градиентного гидродинамического пограничного слоя.
Тема 3.5. Симметрии систем уравнений математической физики. Основные соотношения, используемые при анализе симметрий систем уравнений. Симметрии уравнений гидродинамического пограничного слоя. Допустимые операторы и инвариантные решения системы уравнений установившегося околозвукового течения газа. Допустимые операторы и инвариантные решения нелинейной системы уравнений одномерных длинноволновых колебаний упругого стержня. Допустимые операторы и инвариантные решения системы уравнений одномерного изэнтропического движения идеального газа. Допустимые операторы и инвариантные решения системы уравнений двумерного установившегося течения идеальной несжимаемой жидкости.
Тема 3.6. Неклассический метод исследования симметрий дифференциальных уравнений.Описание метода.Условие инвариантной поверхности. Алгоритм построения точных решений неклассическим методом для эволюционных уравнений второго порядка. Конкретные примеры: уравнение Фитсхью-Нагумо и нелинейное волновое уравнение.
Тема 3.7. Прямой метод Кларксона-Крускала. Поиск точных решений специального вида. Упрощенная схема. Примеры построения точных решений. Поиск точных решений общего вида. Примеры построения точных решений методом Кларксона-Крускала.
http://pereplet.ru/obrazovanie/stsoros/635.html
http://lektsii.org/8-75006.html