Теория инвариантных вариационных задач и ее приложения Текст научной статьи по специальности «Математика»

____________УЧЕНЫЕ ЗАПИСКИ КАЗАНСКОГО УНИВЕРСИТЕТА

Том 156, кн. 4 Физико-математические науки

2014

УДК 517.97

ТЕОРИЯ ИНВАРИАНТНЫХ ВАРИАЦИОННЫХ ЗАДАЧ И ЕЕ ПРИЛОЖЕНИЯ

К.Г. Гараев

Аннотация

В статье дан краткий обзор работ по модифицированной теории инвариантных вариационных задач и ее приложениям, разработанной автором. В качестве метода исследования использован инфинитезимальный аппарат Ли-Овсянникова, а также фундаментальная идея Э. Нетер об инвариантных функционалах. Доказаны теоремы об обобщенной инвариантности, обсуждены вопросы применения разработанной теории к решению оптимальных задач математической физики.

Ключевые слова: группа Ли, интегральный инвариант, функциональный инвариант, обобщенная теорема Нетер, принцип максимума Понтрягина, уравнение Беллмана.

Введение

Цель настоящей работы - дать изложение модифицированной теории инвариантных вариационных задач, разрабатываемой автором в последние годы, и показать возможность ее приложения в теоретической аэрогазодинамике и теории оптимального управления. В 1897 г. выдающийся норвежский математик Софус Ли впервые ввел понятие интегрального инварианта и получил необходимые и достаточные условия его существования на языке инфинитезимальных операторов [1]. В 1918 г. знаменитый немецкий математик Эмми Нетер, опираясь на понятие интегрального инварианта, создала теорию инвариантных вариационных задач [2], нашедшую впоследствии широкое применение в теоретической и математической физике и механике. Эта теория возникла в результате сотрудничества с Д. Гильбертом, который привлек Э. Нетер к разработке проблем сохранения в общей теории относительности Альберта Эйнштейна; ее теория стала естественным развитием идей и результатов Д. Гильберта и Ф. Клейна (см. [3]). В дальнейшем теория Нетер подвергалась различным модификациям: в 1921 г. ее ученик Е. Бессель-Хаген ввел понятие так называемой дивергентной (или калибровочной) инвариантности [4], а в 1962 г. Х. Штойдель - конформной инвариантности [5]. В 1989 г. эти понятия нами были включены в понятие так называемой обобщенной инвариантности, или L* -инвариантности [6].

1. Модифицированная теория инвариантных вариационных задач

Рассмотрим интеграл

I = j L (x,(,d(/dx) dx (1)

Do

где x = (x1,...,xn) - независимые переменные, ( = ((1,...,(m) - зависимые переменные; через d(/dx обозначена совокупность частных производных первого порядка

(pk = d(k/dx1, i = 1,... ,n, k = 1,... ,m;

5

6

К.Г. ГАРАЕВ

лагранжиан L - функция, имеющая в области Do непрерывные частные производные по своим аргументам до второго порядка включительно.

Определение 1. Интеграл I называется L* -инвариантным относительно r -параметрической группы Gr непрерывных преобразований

х'г = Г(х^,е), г = 1,...,п, = gk (х,ср,£), к = (2)

если для всех функций <рк (х), каждого из преобразований (2) и любой подобласти D С Do С Rn выполняется равенство

J L (х ,v',дф'/дх) dx = J L* (х,^,д^/дх,е) dx, (3)

D' D

где е = (е',..., er) - параметр группы.

Подчеркнем, что структура лагранжиана L* задается заранее: если, например, L* = L, то имеет место классическая инвариантность по Нетер [2]; если L* = = L + D.Fг (х,ф,д<р/дх,е), где D. - оператор полного дифференцирования по переменной хг, то получим дивергентную инвариантность [4], если L* = h(e)L, то имеем конформную инвариантность [5].

Найдем необходимые и достаточные условия L* -инвариантности интеграла (1) для любого натурального п.

Обозначим через Gi однопараметрическую группу точечных преобразований

х'г = fг(х, Р,е),..., Г(х, v, 0) = х\ i = 1,...,п v'к = gk (х, v,£),..., дк(х, 0) = v], к = 1,...,т,

которым отвечает инфинитезимальный оператор

где

X

Сх дхг

+ Ск

д

д^к ’

СХ (х> v)

dfг

д£

£ = 0

£к(х, v)

ддк

д£

£ = 0

(4)

(5)

Пусть Gi - группа, полученная из группы Gi продолжением преобразований (4) на производные Vi и элемент объема dx; согласно [7] ей отвечает ин-

~ ~ . д ~

финитезимальный оператор X = X + D.(CX) Лх —. Здесь X - оператор группы

дх

Gi, полученный продолжением преобразований (4) на производные Vi : X = X +

+& ш ,где

д д д

& = d.(&) - v] d.(CX) D = дхг + v4 + vj Щ, vj =

Отметим, что группа Gi задается преобразованиями

fl(x,v,£); v'1 = g (х^,£), vг = ni(x,v,vx,£).

х

d^v^

дхг дхз

ТЕОРИЯ ИНВАРИАНТНЫХ ВАРИАЦИОННЫХ ЗАДАЧ...

7

Тогда

L{x’v' -d?)dx =

= i | /(w),!>(w),.i I *,-e<jX'e)) J (ё) dx = F I •

где J ^—J - якобиан преобразования координат.

Следуя С. Ли, функцию F представим в виде суммы ряда по степеням группового параметра [8]:

F = F\ + — —

1е=° 1! de

Здесь

\ dF

le=0 de

e2 d2F

+ 2! d2

i(i)

ep dpF =o + + p! dep

+

X (Ldx) = Si dx, Si = XL + LDi (&),

fc=0

d2F

de2

(2)

X (Ldx) = S2 dx, S2 = X Si + Si Di (£) ,

(6)

fc = 0

(7)

dpF

dep

dp')

X (L dx) = Sp dx, Sp = X Sp-i + Sp-i Di (C).

В формулах (7) введено обозначение

(p)

X L = X X-■■ X (Ldx).

p раз

Разложив лагранжиан L* в ряд по степеням e и учтя формулы (6), (7), равенство (3) перепишем в виде

e e2 ep

L + 1! Si + 2Г S2 + ■ ■ + p! Sp + ■ ■ ■ I dx

T e dL0 e2 d2L** ep dpL** . ,

L + ТГ ~dT + 2! de2° + ■■■ + P! ~dd + ■■■ ]dx

где индекс 0 означает, что все частные производные от функции L* вычислены при e = 0 .В силу произвольности области D из последнего равенства получим бесконечную цепочку равенств

dpL*

S = L S = d2Lo

S i о , S2 o2 ,

de de2

, Sp

O—p

или в силу (7)

X l+LDi rn = f0, X rn+м Di rn = d

X 'ap-iL* \ + ap-iL>o D =

1 O—p-1 + O—p-1 i ^ x) DeX ,

(8)

0

fc

fc

fc

0

fc

8

К.Г. ГАРАЕВ

Таким образом, если имеет место условие (3), то при любом е имеет место бесконечная цепочка равенств (8), и обратно, рассмотрев записанные равенства в противоположном направлении, придем к условию L* -инвариантности n-мерного интеграла (1).

Этот результат можно сформулировать в виде следующего утверждения.

Теорема 1. Для L* -инвариантности интеграла (1) относительно точечной группы Ли Gi с оператором (5) необходимо и достаточно выполнение бесконечной цепочки равенств

X

д p-1L*0 деР-1

+

dP-1L*0

деР-1

Di (ё)

dPL*0 деР ’

i = 1 p

1, 2,...

(9)

Зд д0Ц^_ Т

Здесь принято —-— = L .

де

Следствие 1. Если L* = L , то из (9) следует необходимое и достаточное условие классической инвариантности по Э. Нетер [7]: X L + LDi Дх) = 0, i = = 1, 2,...,n.

Следствие 2. Необходимое и достаточное условие конформной инвариантности интеграла (1) относительно группы Gi с функцией L* = L exp(s • е), s G R, в соответствии с (9) примет вид X L + L Di ((X) = s • L, i = 1, 2, .. . ,n.

Следствие 3. Для случая дивергентной инвариантности с функцией L* = = L+[exp(s^) — 1] Di F1 бесконечная цепочка равенства (9) также обрывается [9]:

XL + LDi ((X) = sDi Fi,

X (Di Fi) + (Di Fi) [(Di ((X ))J = sDi Fi, i = 1,2,...,n.

2. L* -теорема и аналоги классических формул математического анализа для функционалов

Пусть теперь интеграл I - вариационный, то есть функции дk(x) удовлетворяют уравнениям Эйлера

дТ D ( дТ

ддк у дД

0, i = 1, 2,...,n, k = 1, 2,...,m.

Справедлива следующая L* -теорема.

Теорема 2. Пусть функционал I инвариантен относительно группы Ли G1 с оператором (5). Тогда имеет место следствие уравнений Эйлера ( «обобщенный закон сохранения,») вида

T i

( ) * d, (t‘ ) — де = о,

е—д () Д+(х l

j = 1, 2,

k = 1 , 2,

i

n

m.

(10)

Доказательство. С помощью тождества Нетер - Ибрагимова [7] равенства (9) для p = 1 можно записать в виде

((

к

<Р

д] (X)

дТ

дД

Di

дТ

дД

+ Di

й — д‘(Х) Ц + (XТ

аьг

де

0, i, j = 1, 2,...,n, k = 1, 2,...,m.

(11)

ТЕОРИЯ ИНВАРИАНТНЫХ ВАРИАЦИОННЫХ ЗАДАЧ...

9

На экстремалях фк (x) из равенства (11) и следует «обобщенный закон сохранения» (10). □

Отметим, что в случае L* = L из (11) следует классическая теорема Э. Нетер, и равенство (10) превращается в дифференциальный закон сохранения.

В качестве следствий рассмотрим три важных для приложений случая: вариационные задачи соответственно с одной, двумя и тремя независимыми переменными; при этом будем рассматривать конформную инвариантность функционала I относительно группы Gi с функцией L* = L exp(s • е).

Аналог формулы Ньютона —Лейбница. Рассмотрим функционал

I

Х1

f L [x,^k(х),фк(x)] dx, к

1, 2,...,т.

Х0

(12)

Равенство (10) примет вид

dT Х dx

— s L = 0,

(13)

где TХ = (фк получим

фк Фх)

dL

дф к

+ фХ L. Проинтегрировав (13) в пределах от xo до xi,

I

1 1Х1

T Х I Х1

s Х0

(14)

Таким образом, если функционал (12) конформно инвариантен относительно однопараметрической группы Gi с оператором X и экстремали фk(x) найдены, то экстремальное значение функционала можно вычислить по формуле (14), которую естественно назвать аналогом формулы Ньютона-Лейбница для функционала с одной независимой переменной. Отметим, что этой формулой особенно удобно пользоваться тогда, когда интеграл (12) является несобственным, так как в этом случае его непосредственное вычисление бывает затруднительным.

Рассмотрим в качестве примера функционал [10]

i

I = j y (2y3 + Ax-a) dx, (15)

o

представляющий собой (с точностью до числового множителя) аэродинамическое сопротивление тонкого тела вращения радиуса y( x) в сверхзвуковом потоке; A и a - известные постоянные. Экстремаль, доставляющая минимум (15), отыскивается в классе гладких функций; она есть решение нелинейной двухточечной задачи 12 y y y + 4 y — Ax-ay = 0; y(0) = 0, y(l) = yi, решение которой в элементарных функциях неизвестно.

Нетрудно установить, что функционал (15) L* -инвариантен относительно од-

нопараметрической группы Ли с оператором X

д

x тг +

dx

3 — a д

— y^~ и функцией

3 dy

L*

L • exp

6 — 4a

; поэтому в соответствии с (14) имеем

I

3

6 — 4a

a \ dLf dL

1 — з) yd)i+ x{L — y л

1 l

o

где L - подынтегральная функция в (15).

10

К.Г. ГАРАЕВ

Аналог формулы Грина—Остроградского. Рассмотрим функционал

dx dy, k = 1, 2, .. . ,m.

1 = JJ L

D

к ( n dVk dVk

x,y,v (x,y), -dX’ ~dy

Проинтегрировав (10) по области D и использовав формулу Грина-Остроградского для вычисления значения функционала, получим формулу (l - граница области D)

I = 1 / Ty dx - Tx dy,

где

i+

dL

~a к + к x -

O^X dL

CM

Аналог формулы Остроградского — Гаусса. Рассмотрим функционал

Tx = (kk - vkx kx - vk ky) + kx L,

Ty = (кк - Vx kx - vky ky) V + ky L, k =1, 2,... ,m.

I = L

V

' к ( n dvk dVk dVk

x,y,z,V (x,y,z), ~я~,АА~

ox dy dz

dV, k = 1, 2,. .. ,m.

Проинтегрировав (10) по области и использовав формулу Гаусса - Остроградского, получим

I = 1

s

j j [Tx cos(n, x) + Ty cos(n, y) + Tz cos(n, z)] da.

Здесь cos(n,x), cos(n,y), cos(n, z) - направляющие косинусы внешней нормали к поверхности a;

dL

dL

dL

Tx = AVt + kx L, Ty = Akj— + ky L, Tz = Akj— + kz L, dVkx д^к dVk

Ak = kk - Vkx kx - vk ky - vk kz, k = 1,...,

m.

3. Приложения теории инвариантных вариационных задач

Эта теория применяется для конструирования законов сохранения различных физических процессов, допускающих вариационную формулировку, когда уравнения, описывающие некоторый физический процесс, можно рассматривать как уравнения Эйлера для некоторого специальным способом построенного функционала (принципы Гамильтона, Кастелиано, Глансдорфа - Пригожина и др.). В этом направлении в мировой литературе представлено много интересных и важных результатов (например, [11, 12]).

Другое направление связано с применением этой теории к проблеме оптимизации систем с распределенными и сосредоточенными параметрами. Здесь публикаций немного. Среди зарубежных работ нам известна только одна [13], которая посвящена проблеме построения первого интеграла для уравнений принципа максимума Понтрягина в случае отсутствия ограничений на управление и в которой инвариантность функционала понималась в дивергентном смысле.

В России, по-видимому, первой публикацией, связанной с привлечением теории Нетер к решению оптимальных задач математической физики, явилась работа

ТЕОРИЯ ИНВАРИАНТНЫХ ВАРИАЦИОННЫХ ЗАДАЧ...

11

[14], где был найден первый интеграл для уравнений Эйлера - Лагранжа в задаче оптимального уравнения пограничным слоем несжимаемой жидкости (впервые поставленной в 1969 г. Т.К. Сиразетдиновым [15]).

Позднее были исследованы следующие задачи [16-19]:

• решена задача по минимизации трения в потоке вязкой несжимаемой жидкости;

• поставлена и решена задача оптимизации тепломассообмена в ламинарном пограничном слое в сверхзвуковых потоках газа в плоском и осесимметричном случаях;

• поставлена и решена задача минимизации конвективного теплового потока в пограничном слое электропроводящего газа при наличии магнитного поля;

• получены первые интегралы и в других оптимальных задачах аэрогазодинамики: в задаче управления трением на проницаемом крыле бесконечного большого размаха, обтекаемом под углом скольжения несжимаемой жидкости, и на проницаемом теле вращения, обтекаемом несжимаемой жидкостью под нулевым углом атаки; в задаче оптимизации тепломассообмена в пограничном слое диссоциирующего газа в плоском случае; в задаче построения оптимального плоского контура в сверхзвуковом потоке.

Поставлена и решена задача о минимизации трения на круговом цилиндре в сверхзвуковом потоке газа. Отметим также, что в работе [20] аналог классической теоремы Нетер получен для динамических систем с управлением, что позволило найти условие декомпозиции такого рода систем. В [21, 22] использование понятия L* -инвариантности позволило найти новый первый интеграл соотношений принципа максимума Понтрягина в задаче оптимизации систем с сосредоточенными параметрами.

В работе [10] показана возможность использования конформной инвариантности оптимального процесса для построения точных решений уравнения Беллмана в проблеме синтеза оптимального управления.

Более подробно с модифицированной теорией инвариантных вариационных задач и ее приложениями можно ознакомиться по работам [10, 23].

Summary

K.G. Garaev. Theory of Invariant Variational Problems and Its Applications.

A brief review of the works on the modified theory of invariant variational problems and its applications, developed by the author, is presented. The research is based on the infinitesimal Li-Ovsyannikov formalism and E. Noether’s fundamental idea of invariant functionals. Theorems on generalized invariance are proved, and the application of the developed theory to the solution of optimal problems of mathematical physics is discussed.

Keywords: Lee group, integral invariant, functional invariance, Noether’s generalized theorem, Pontryagin’s maximum principle, Bellman’s equation.

Литература

1. Lie S. Die Theorie der Integralinvarianten ist ein Korollar der Theorie der Differentialin-variante // Leipz. Berich. - 1897. - H. III. - S. 342-357.

2. Noether E. Invariante Variationsprobleme // Nachr. Konig. Gesell. Wissen. Gottingen, Math.-Phys. Kl. - 1918. - S. 235-257. = Нетер Э. Инвариантные вариационные задачи // Вариационные принципы механики: Сб. ст. - М.: Физматгиз, 1959. - С. 611— 630.

3. Визгин В.П. Развитие взаимосвязи принципов инвариантности с законами сохранения в классической физике. - М.: Наука, 1979. - 239 с.

12

К.Г. ГАРАЕВ

4. Bessel-Hagen E. Uber die Erhaltungssatze der Elektrodynamik // Matn. Ann. - 1921. -Bd. 84. - S. 258-276.

5. Steudel H. Eine Erweiterung des ersten NOETHERschen Satzes // Zeitschrift Naturfor-schung Teil A. - 1962. - Bd. 17. - S. 133-135.

6. Гараев К.Г. Замечание к теории Нетер // Изв. вузов. Матем. - 1989. - № 5. - С. 69-71.

7. Ибрагимов Н.Х. Инвариантные вариационные задачи и их законы сохранения // Теор. и матем. физика. - 1969. - Т. 1, № 3. - С. 350-359.

8. Овсянников Л.В. Групповой анализ дифференциальных уравнений. - М.: Наука, 1978. - 399 с.

9. Garaev K.G. On the problem of modified theory of invariant variation problems construction // Geometry and Topology of Submanifolds IX. - 1999. - P. 139-147.

10. Гараев К.Г. Группы Ли и теория Нетер в проблеме управления с приложениями к оптимальным задачам пограничного слоя. - Казань: Изд-во Казан. гос. техн. ун-та, 1994. - 240 с.

11. Шмутцер Э. Основные принципы классической механики и теории поля. - М.: Мир, 1976. - 158 с.

12. Бердичевский В.Л. Вариационные принципы механики сплошной среды. - М.: Наука, 1983. - 445 с.

13. Djukic D.S. Noether’s theorem for optimum control systems // Int. J. Control. - 1973. -V. 18, No 3. - P. 667-672.

14. Гараев К.Г. Об инвариантных вариационных задачах // Материалы I Поволжской конф. по автоматическому управлению. - Казань: Таткнигоиздат, 1971. - С. 121-129.

15. Сиразетдинов Т.К., Диваков О.Г. Оптимальное управление пограничным слоем // Изв. вузов. Авиац. техника. - 1969. - № 3. - С. 5-13.

16. Гараев К.Г. Об оптимальном управлении тепломассообменом в ламинарном пограничном слое сжимаемого газа на проницаемых поверхностях // Изв. АН СССР. Механика жидкости и газа. - 1988. - № 3. - С. 92-100.

17. Гараев К.Г., Овчинников В.А. Инвариантные краевые задачи оптимально управляемого пограничного слоя // Прикл. механика и техн. физика. - 2003. - Т. 44, № 1. -С. 33-38.

18. Гараев К.Г., Овчинников В.А., Бильченко Н.Г. Инвариантные вариационные задачи ламинарного пограничного слоя при различных режимах течения. - Казань: Изд-во КГТУ-КАИ, 2003. - 122 с.

19. Гараев К.Г., Кузнецов В.К. Об одной инвариантной вариационной задаче ламинарного пограничного слоя // Прикл. матем. и механика. - 2011. - Т. 75, Вып. 4. -С. 572-580.

20. Бабичев А.В. Инвариантность фазового портрета и аналог теоремы Нетер для динамических систем с управлением // Тез. докл. 6-й Всесоюз. конф. по управлению в механических системах. - Львов: Ин-т прикл. проблем механики и математики АН УССР, 1988. - С. 13.

21. Гараев К.Г. Теория инвариантных вариационных задач в проблеме оптимизации динамических систем с управлением // Автоматика и телемеханика. - 1992. - № 9. -С. 49-56.

22. Garaev K.G. Remark on the Bellman principle of Optimality // Journal of the Franklin Institute. - 1998. - V. 335, No 2. - P. 395-400.

ТЕОРИЯ ИНВАРИАНТНЫХ ВАРИАЦИОННЫХ ЗАДАЧ...

13

23. Гараев К.Г. Теория инвариантных вариационных задач в проблеме оптимального управления. - Казань: Изд-во КГТУ-КАИ, 2005. - 152 с.

Поступила в редакцию

18.12.13

Гараев Кавас Гараевич - доктор физико-математических наук, декан физико-математического факультета, заведующий кафедрой специальной математики, Казанский национальный исследовательский технический университет им. А.Н. Туполева, г. Казань, Россия.

E-mail: sm@kai.ru