|
|
Статьи Соросовского Образовательного журнала в текстовом формате
Рассматриваются однопараметрические группы преобразований и даются их приложения к дифференциальным уравнениям. Цель работы - возбудить интерес читателей к теории непрерывных групп Софуса Ли, получившей в последние десятилетия широкое применение в математической физике, механике и математической теории управления.
ПРИЛОЖЕНИЯ НЕПРЕРЫВНЫХ ГРУПП ПРЕОБРАЗОВАНИЙК ДИФФЕРЕНЦИАЛЬНЫМ УРАВНЕНИЯМ
К. Г. ГАРАЕВ
Казанский государственный технический университет
им. А.Н. Туполева
ВВЕДЕНИЕ
Создателем теории непрерывных групп преобразований является выдающийся норвежский математик Софус Ли. Одним из импульсов для ее создания явилась работа Эвариста Галуа, который дал полный ответ на вопрос о разрешимости алгебраического уравнения a0xn + a1xn - 1 + _ + an - 1x + an = 0 в радикалах, то есть когда корни этого уравнения для произвольных значений коэффициентов a0 , a1 , _ _, an - 1 , an могут быть найдены при помощи арифметических действий и операции извлечения корня. Эта теория послужила Феликсу Клейну основой для разработки так называемой эрлангенской программы, согласно которой любая достаточно развитая математическая теория может быть изложена на языке инвариантов групп. Программа Клейна получила широкое распространение в механике и математической физике.
Методы теории групп Ли оказались плодотворными для отыскания решений дифференциальных уравнений в частных производных, моделирующих различные процессы в аэрогазодинамике, теории упругости, теории относительности и других естественнонаучных дисциплинах. Это направление исследований, получившее название современного группового анализа, которое интенсивно было начато после работ Л.В. Овсянникова, позволило не только систематизировать ранее известные и разрозненные факты, но и получить новые результаты.
ОДНОПАРАМЕТРИЧЕСКИЕ ГРУППЫ НЕПРЕРЫВНЫХ ПРЕОБРАЗОВАНИЙ
Определение группы
Рассмотрим однопараметрическое семейство преобразований Ta
x'i = f i(x1, _, xn, a), i = 1, 2, _, n,
при помощи которого точка x = (x1, _, xn) евклидова пространства R n переводится в точку x' = (x'1, _, x'n) того же пространства.
Сокращенно равенства (1) записывают в виде
x' = f (x, a) или x' = Ta x.
В формулах (1) и (2) a - вещественный параметр, изменяющийся в некотором промежутке D ? R.
Говорят, что преобразования Ta определяют однопараметрическую группу G1 непрерывных преобразований пространства Rn в себя, если выполнены три условия:
1) существует тождественное преобразованное , то есть значение группового параметра a = a0 такое, что для всех x k R n
x = f (x, a0), a0 k D;
2) любому преобразованию Ta ставится в соответствие обратное преобразование
x = f (x', a-1), a-1 k D.
Это означает, что при любых a уравнения (1) разрешимы относительно x;
3) любые два последовательно выполненных преобразования Ta : x' = f (x, a) и Tb : x" = f (x', b) равносильны третьему преобразованию Tc : x" = f (x, c), где c = j(a, b) - закон преобразования параметра. Символически это записывают в виде
TbTa = Tj(a, b) (групповое свойство).
Пример. Преобразование x' = x + a образует однопараметрическую группу (переносов), так как:
1) тождественному преобразованию отвечает параметр группы a = a0 = 0;
2) существует обратное преобразование x = x' - a и, следовательно, a-1 = - a;
3) имеет место групповое свойство
x' = x + a, x" = x' + b, x" = x + (a + b),
j(a, b) = a + b.
Замечание. Можно показать, что в общем случае групповое свойство выполняется не при всех a, b k k D, а только для a, b из некоторого интервала D' ? D, поэтому для преобразований (1) употребляется термин "локальная группа Ли".
ИНФИНИТЕЗИМАЛЬНЫЙ ОПЕРАТОР ГРУППЫ
Преобразованиям (1) отвечает так называемый инфинитезимальный оператор (или генератор) группы
или, короче,
Здесь и в дальнейшем примем соглашение о суммировании по повторяющимся верхним и нижним индексам.
Функции xi(x1, _, xn) называются координатами оператора X и вычисляются по формулам
где символ означает, что частные производные от функций f i по параметру a вычисляются при a = a0 .
Например, группе переносов x' = x + a отвечает оператор
Отметим, что по оператору (3) можно восстановить преобразования Ta группы G1 , решая уравнения Ли
с начальными условиями
x'1 = x1, x'2 = x2, _, x'n = xn при a = a0
(не уменьшая общности рассуждений можно положить a0 = 0).
Пример. Найти преобразования, порожденные оператором
Уравнения (5) примут вид
Нетрудно проверить, что решение этой системы, удовлетворяющее начальным условиям x' = x, y' = y при a = 0, имеет вид
x' = x cos a + y sin a,
y' = y cos a - x sin a.
Преобразования (7) определяют так называемую группу вращений на плоскости.
АЛГЕБРАИЧЕСКИЙ ИНВАРИАНТ ГРУППЫ
Говорят, что функция I(x) является алгебраическим инвариантом группы G1 с оператором X, если для всех допустимых x и a
I(x') = I(x).
Для того чтобы функция I(x) была инвариантом группы, необходимо и достаточно, чтобы она удовлетворяла линейному однородному уравнению в частных производных
Пример. Алгебраический инвариант I(x, y) группы вращений с оператором (6) удовлетворяет уравнению
Легко проверить, что одним из его решений является функция I = x2 + y2 ; общее же решение дается формулой I(x, y) = F (x2 + y2), что нетрудно установить путем подстановки функции F в уравнение (10). Используя непосредственно преобразования (7) можно показать, что F (x'2 + y '2) = F (x2 + y2).
Продолжение группы
Разобьем все координаты в RN на два сорта: независимые x1, _, xn и зависимые u1, _, um переменные (m + n = N ). Преобразования Ta группы G1 запишем в виде
Введем новые переменные и рассмотрим пространство , в котором координатами точки являются x, u, p. Группе G1 преобразований пространства RN соответствует так называемая продолженная группа преобразований пространства с оператором
Здесь
Группы, допускаемые
дифференциальными уравнениями
Говорят, что данное дифференциальное уравнение допускает непрерывную группу преобразований G1 (уравнение инвариантно относительно группы), если под действием этих преобразований оно сохраняет свою форму. При этом оказывается, что под действием преобразований всякое решение уравнения переходит снова в решение этого же уравнения. Это позволяет по найденному частному решению находить новое, другими словами, знание такой группы позволяет размножать решения исследуемого уравнения.
Если дифференциальное уравнение допускает группу Ли, то говорят, что оно обладает групповым свойством.
Рассмотрим для простоты одно дифференциальное уравнение первого порядка
F (x, u, p) = 0
относительно искомой функции u = u(x1, _, xn). Здесь через p обозначена совокупность частных производных: pi = ?u / ?xi, i = 1, 2, _, n. Заметим, что если i = 1, то (14) - это обыкновенное дифференциальное уравнение; если i > 1, то (14) - это уравнение в частных производных.
Для того чтобы уравнение (14) допускало группу G1 с оператором (3), необходимо и достаточно выполнение условия
Здесь - оператор продолженной группы , определяемый равенством (12). Равенство (15) представляет собой так называемое определяющее уравнение относительно координат оператора (3). При этом символ |(14) означает, что уравнение (15) рассматривается на решениях уравнения (14).
Пример. Рассмотрим уравнение
Покажем, что это уравнение допускает группу преобразований Ta
x' = xea, u' = ue- a
с оператором
Подвергая (16) преобразованиям (17), получим
то есть преобразования (17) сохраняют форму уравнения (16).
Проверим теперь выполнение условия (15). Продолжая оператор (18) на производную имеем
Действуя этим оператором на левую часть уравнения (16), получим
В силу уравнения (16) , поэтому равенство (20) превращается в тождество по переменным x и u:
ПРИЛОЖЕНИЯ К ДИФФЕРЕНЦИАЛЬНЫМ УРАВНЕНИЯМ
Предположим, что мы нашли группу, допускаемую интересующим нас дифференциальным уравнением. Спрашивается: что это дает с точки зрения его интегрирования, то есть отыскания его решения?
Если исходное дифференциальное уравнение обыкновенное, то это дает возможность понизить его порядок или даже проинтегрировать его до конца.
В некоторых случаях это позволяет свести так называемую краевую задачу (когда дополнительные условия к решению уравнения задаются на различных концах области интегрирования) к задаче Коши (когда эти условия задаются только на одном конце).
Если же задано дифференциальное уравнение в частных производных, то знание непрерывной группы преобразований позволяет редуцировать (свести) его к уравнению, содержащему меньшее число независимых переменных, нежели в исходном уравнении.
Кроме того, в некоторых случаях нелинейное уравнение, обладающее групповым свойством, можно линеаризовать, то есть привести к уравнению, в котором новая искомая функция и все ее производные будут содержаться только в первой степени.
Понижение порядка
Пример. Рассмотрим линейное дифференциальное уравнение второго порядка с переменными коэффициентами
Легко проверяется, что это уравнение допускает группу G1 : x' = x, u' = uea с оператором
Оператор продолженной группы G1 имеет вид
Инвариантом группы G1 является функция I0 = x, инвариант группы есть решение уравнения
откуда
Будем искать решение уравнения (21) в виде I1 = = I1(I0) = I1(x). Тогда
Исходное уравнение примет вид
Таким образом, порядок исходного уравнения понизился на единицу.
Отыскание интегрирующего множителя
Пример. Рассмотрим обыкновенное дифференциальное уравнение в симметрической форме
F ╞ P (x, y)dx + Q (x, y)dy = 0.
Если его левую часть можно представить в виде dy(x, y) = 0, то равенство y(x, y) = const есть общее решение уравнения (23); если этого не удается сделать, то, домножая уравнение на функцию m(x, y) (интегрирующий множитель), можно записать mF = = dy и снова найти общее решение. Проблема в том, чтобы найти эту функцию. Софус Ли показал, что если уравнение (23) инвариантно относительно G1 с оператором
то интегрирующий множитель определяется немедленно:
Сведение краевой задачи к задаче Коши
Пример. Уравнение пограничного слоя несжимаемой жидкости на полубесконечной пластине имеет вид
Граничные условия
Видно, что два условия заданы на обтекаемой пластине и одно условие на бесконечности. Решение такой задачи представляет большие трудности. Если бы была известна производная , то мы имели бы дело с задачей Коши, для которой существуют стандартные машинные программы.
Покажем, как, используя групповое свойство уравнения (25), можно свести эту краевую задачу к задаче Коши (причем за одну итерацию). Будем искать лиевы преобразования в виде
u' = eau, x' = ebx.
Подвергая (25) преобразованиям (27), получим
Так как уравнение не должно изменяться в результате применения этих преобразований, то отсюда следует
- a + 3b = - 2a + 2b ╦ a = - b.
Преобразования (27) примут вид
u' = e- bu, x' = ebx.
Пусть u = u0(x) является решением уравнения (25) и удовлетворяет условиям Коши
при x = 0.
Решая эту задачу с помощью ЭВМ, обнаружили, что u0(x) является монотонно возрастающей при всех x $ 0 функцией, при этом при x ?. Согласно Ли, функция u' = u0(x') также является решением уравнения (25); с учетом (29) имеем e- bu = u0(ebx), откуда
u(x) = ebu0(ebx).
Таким образом, зная u0(x), мы одновременно имеем однопараметрическое семейство решений (31), зависящее от группового параметра b.
Нетрудно проверить, что u(x) удовлетворяет первому и второму условиям из (26); выберем b так, чтобы выполнялось и третье условие:
откуда
Тогда производная становится известной величиной:
и решение исходной краевой задачи сводится к интегрированию уравнения (25) с начальными условиями
при x = 0.
Редукция уравнения в частных производных
к обыкновенному дифференциальному уравнению
Пример. Уравнение распространения тепла в тонком однородном стержне имеет вид
где K 2 - коэффициент, характеризующий теплофизические свойства материала стержня.
Нетрудно проверить, что уравнение (32) допускает группу G1 :
с оператором
Эта группа имеет два алгебраических инварианта:
Относительно инвариантов уравнение (32) запишется в виде
Таким образом, исходное уравнение в частных производных свелось (редуцировалось) к обыкновенному дифференциальному уравнению.
ЗАКЛЮЧЕНИЕ
Даже простейшие примеры, приведенные в этой статье, демонстрируют богатые возможности, которые открывает перед исследователями теория групповых свойств дифференциальных уравнений. Эти возможности значительно расширяются, если использовать многопараметрические группы Ли, бесконечномерные группы, группы Ли-Беклунда.
Еще более увлекательным представляется автору применение теории групп Ли и тесно связанной с ней теории инвариантных вариационных задач знаменитого немецкого математика Эмми Н╦тер к математической теории управления. Но об этом в следующий раз.
ЛИТЕРАТУРА
1. Клейн Ф. Сравнительное обозрение новейших геометрических методов (эрлангенская программа). Казань: Изд-во Казан. имп. ун-та, 1896. 44 с.
2. Овсянников Л.В. Групповые свойства дифференциальных уравнений. Новосибирск: Изд-во СО АН СССР, 1962. 240 с.
3. Полищук Е.М. Софус Ли. Л.: Наука, 1983. 214 с.
4. Ибрагимов Н.Х. Азбука группового анализа // Новое в жизни, науке и технике. Математика, кибернетика. М.: Знание, 1989. ╧ 8. 48 с.
5. Олвер П. Приложения групп Ли к дифференциальным уравнениям: Пер. с англ. М.: Мир, 1989. 639 с.
6. Гараев К.Г. Группы Ли и теория Н╦тер в проблеме управления с приложениями к оптимальным задачам пограничного слоя. Казань: Изд-во КГТУ, 1994. 240 с.
* * *
Кавас Гараевич Гараев, доктор физико-математических наук, профессор, зав. кафедрой специальной математики Казанского государственного технического университета им. А.Н. Туполева. Области научных интересов - современный групповой анализ, вариационное исчисление и математическая теория управления, механика жидкости и газа. Автор и соавтор 120 учебно-методических и научных работ, среди которых монография и три книги по математике для поступающих в высшие учебные заведения.
