CC BY
33
66 Вестник СамГУ — Естественнонаучная серия. 2006. №4(44)-
УДК 539.374
ГРУППЫ СИММЕТРИЙ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ ПЛОСКОЙ ЗАДАЧИ МАТЕМАТИЧЕСКОЙ ТЕОРИИ ПЛАСТИЧНОСТИ
© 2006 Ю.Н.Радаев1
В работе дан групповой анализ системы дифференциальных уравнений в частных производных, представляющей интерес с точки зрения анализа плоского деформированного состояния идеально пластического тела. Система сформулирована относительно изостатической координатной сетки. Вычислены группы симметрий этой системы дифференциальных уравнений и определены инвариантно-групповые решения. Показано, что все инвариантно-групповые решения системы дифференциальных уравнений пластического плоского деформированного состояния вычисляются в элементарных функциях.
1. Постановка задачи и основные уравнения
Представляемая работа посвящена построению непрерывных групп симметрий дифференциальных уравнений в частных производных плоской задачи теории идеальной пластичности, сформулированных в изостатической системе координат, и нахождению решений, инвариантных относительно указанных групп симметрий.
Вывод уравнений пространственной и осесимметричной задачи теории идеальной пластичности для напряженных состояний, соответствующих ребру призмы Треска, а также уравнений плоского деформированного состояния в координатной сетке линий главных напряжений приведен в работе [1]. В [2, 3] найдены автомодельные решения уравнений осесимметричной задачи и показано, что автомодельная переменная может быть выбрана в форме произведения степеней изоста-тических координат. Канонические формы соответствующих обыкновенных дифференциальных уравнений найдены в [4]. Группы симметрий дифференциальных уравнений осесимметричной задачи математической теории пластичности определены в [5]. Инвариантно-групповые решения дифференциальных уравнений осесимметричной задачи исследованы в работе [6].
Общий групповой анализ пространственных уравнений теории идеальной пластичности на ребре призмы Треска, представленных в декартовых координатах, дан в [7. С. 73-77]. Там же приводятся инвариантные и частично-инвариантные решения трехмерных уравнений. Плоская задача изучена лучше, однако поиск
1 Радаев Юрий Николаевич (radayev@ssu.samara.ru), кафедра механики сплошных сред Самарского государственного университета, 443011, Россия, г.Самара, ул.Акад. Павлова, 1.
точных решений уравнений плоского деформированного состояния с помощью методов группового анализа по-прежнему остается актуальной задачей2. Групповой анализ уравнений пространственной задачи теории идеальной пластичности в изо-статических координатах приводится в [8]. Там же построена оптимальная система одномерных подалгебр одной естественной конечномерной подалгебры алгебры симметрий трехмерных уравнений (см. также [9]).
Методы группового анализа применительно к системам дифференциальных уравнений в частных производных изложены в классических монографиях [10, 11]. Оригинальное и компактное изложение теории групп Ли читатель может найти в книге: Журавлев, В.Ф. Прикладные методы в теории колебаний /
B.Ф. Журавлев, Д.М. Климов. М.: Наука, 1988. С. 139-198. Теории групп Ли посвящена также известная монография [12]. Одной из основных задач группового анализа систем дифференциальных уравнений является исследование действия допускаемой данной системой дифференциальных уравнений группы на множестве решений этой системы. Допускаемая группа детерминирует алгебраическую структуру на множестве решений, которую можно использовать, в частности, для определения тех классов решений, отыскание которых в каком-либо смысле проще по сравнению с построением общего решения.
Групповой анализ исторически развивался как реализация принципа простоты. Сущность указанного принципа заключается в том, что уравнения и системы дифференциальных уравнений математической физики должны быть достаточно просты для того, чтобы их можно было анализировать и решать. Групповой анализ выдвигает в качестве критерия простоты условие того, чтобы система дифференциальных уравнений, моделирующая тот или иной физический процесс или состояние, допускала группу с определенными свойствами или, когда по каким-то причинам оказывается невозможным точно указать такие свойства, максимально широкую группу. Принцип простоты, понимаемый в расширенном смысле, имеет весьма важные применения в теории нелинейных уравнений с частными произ-водными.3
Задача о равновесии тела, напряженное состояние которого соответствует ребру призмы Треска, статически определима, если граничные условия заданы в напряжениях. Уравнения равновесия могут быть формально рассмотрены независимо от кинематических уравнений. Для ребра призмы Треска, определяемого условием Oi = 02 = 03 ± 2k (оi, 02, 03 —главные нормальные напряжения, к — предел текучести при сдвиге), уравнения равновесия divo = 0 можно представить в
2См., например:
Сенашов, С.И. Двумерная пластичность: симметрии, законы сохранения и точные решения /
C.И. Сенашов, А.Н. Яхно // Проблемы механики деформируемых тел и горных пород: сб. статей, посв. 70-летию проф. Л.В. Ершова; под ред. акад. РАН А.Ю. Ишлинского. М.: Изд-во Московского гос. горного ун-та, 2001. С. 283—298.
Аннин, Б.Д. Плоская задача идеальной пластичности в области, ограниченной логарифмическими спиралями / Б.Д. Аннин // Проблемы механики неупругих деформаций: сб. статей. К 70-летию Д.Д. Ивлева. М.: Физматлит, 2001. С. 42—46.
3Как принцип простоты может быть применен к вопросам классификации существенно нелинейных систем дифференциальных уравнений с частными производными, показано в работах
Радаев, Ю.Н. Об одном принципе классификации уравнений осесимметричной задачи теории пластичности / Ю.Н. Радаев // Вестник Самарского гос. университета. Естественнонаучная серия. №3(37). 2005. С. 43-56;
Радаев, Ю.Н. О г-гиперболичности пространственных уравнений теории пластичности / Ю.Н. Радаев, В.А. Гудков // Вестник Самарского гос. университета. Естественнонаучная серия. №3(37). 2005. С. 57-71.
форме одного векторного уравнения
grada3 + 2kdiv(n ® n) = 0,
(1.1)
где n — единичное векторное поле, имеющее направление главной оси тензора напряжений, соответствующей наибольшему (наименьшему) собственному значению а3 тензора напряжений. Уравнение (1.1) принадлежит к гиперболическому типу.
Ключевым для анализа уравнения (1.1) выступает условие расслоенности векторного поля n в зоне пластического течения.
Для разрешимости уравнения (1.1) необходима расслоенность векторного поля n, т.е. n ■ rotn = 0, а с расслоенным полем естественным образом связано каноническое преобразование координат (см. [3])
xi = fi(mx, m2, m3) (i = 1,2,3), (1.2)
где mj — канонические изостатические координаты, причем поверхности m3 = const являются слоями поля n.
В случае плоского деформированного состояния условие пластичности а1 - а2 = = 2к показывает, что напряженное состояние соответствует грани призмы Треска. Однако и в этом случае уравнение равновесия все же удается привести (см. [3]) к двумерному аналогу (1.1), в которое вместо а3 следует подставить полусумму главных напряжений
oi + а2 2 '
Каноническое преобразование координат в плоской задаче записывается в виде
(1.3)
x1 = f(m1, m3), x2 = h(m1, m3), x3 =
т
Отображающие функции f, к должны удовлетворять следующей системе уравнений в частных производных:
д/ д/ дк дк
Зсо1 дш3 дш1 дш3 ’
(1.4)
= + 1.
д/ дк д/ дк
дш1 дш3 дш3 дш1
Левые части этих уравнений обозначим соответственно через Е1 и Е2.
При использовании неканонических изостатических координат ^1, ^3 вместо системы уравнений (1.4) имеем следующие уравнения:
д/ д/ дк дк
<*Х\ \(Ю? + (<*
где С^1), Gз(^3) —некоторые функции.
Заметим также, что в силу первого из уравнений системы (1.5) имеем:
д^1 д%
' ЭР2 д%3
= G1(%1)G3(%3),
(1.5)
(1.6)
д/ V І дк \1 !д/ V (дк'
&*) +(аг) (зі;1) +(^;
-
■\а^^3 д\3д\\
Ясно, что пары изостатических координат ^1, ^3 и ю1, ю3 связаны посредством следующего соотношения:
w1 = J' , со3 = J' -\fG3(^3)d^3.
(1.7)
В целях более компактного представления для переменных ю1, ю3 введем новые обозначения и1, и2.
Поставим задачу об отыскании неперерывных групп преобразований, относительно которых система дифференциальных уравнений в частных производных
(1.4) (или (1.5)) будет инвариантной.
2. Вычисление группы инвариантности системы уравнений плоской задачи
Для решения поставленной задачи рассмотрим, следуя [10], непрерывную однопараметрическую группу преобразований зависимых и независимых переменных (группу Ли)
и1 = т51 (и1, и2, f, к, е) = и1 + е21(и1, и2, f, к) + ... , и2 = ,и2(и1, и2, Л, к, е) = и2 + е22(и1, и2,Л, к) + ... , , .
f = /(и1, и2, f, к, е) = f + еН1(и1, и2, f, к) + ..., ( . )
к = к(и1, и2, f, к, е) = к + еН2(и1, и2,Л, к) + ...,
где е — скалярный параметр группы преобразований.
Группа преобразований индуцирует касательное векторное поле, которое определяется компонентами [10. С. 55]
? = (Н1(и1, и2, f, к), 52(и1, и2, f, к), Н1(и1, и2, f, к), Н2(и1, и2, f, к)). (2.2)
Составим инфинитезимальный оператор группы [10. С. 55]
с Я-"1 д +"2 3 +Н1 д +Н2 3 (2^
+ “ а^ + н а/ + н ал- (2'3)
По инфинитезимальному оператору однопараметрическая группа преобразований (2.1) восстанавливается единственным образом (с точностью до замены параметра е). Для этого необходимо проинтегрировать задачу Коши для автономной системы уравнений
йи1 , , о — йи2 0 , о —
--- = Е (и , {,К), ---- = Е (гЗ ,гЗ , Л А),
$ $ (2.4)
4- =Н1(г51,г52,/,А), ? = Н2^1,02,/, А),
йт йт
где — канонический параметр группы, с начальными данными и1! = и1, и2| = и2, Я = f, к| = к.
1т=0 1т=0 ’ '} 1т=0 ^ ’ 1т=0
Рассмотрим далее один раз продолженную группу и ее касательное векторное поле ?. Инфинитезимальный оператор продолженной группы имеет вид
Я-д = 51 -^-г + 52 + Н1 — + Н2 — + Н} / ^ +н2—т—
1 Зи1 <9и2 3/ д!г я( д/\ я(
((Эи1/ \<9и2
+Н2 / + Н|—т^—
1 /<9А\ /ЗА
(2.5)
где Н выражаются согласно формул первого продолжения [10. С. 58]
й^д^.мед®) (и=1>2) (2.6)
1 дуз дуз д/8 <9и5 уди-7 ди-7 <9/г /
+
и для сокращения записи принято, что Л = / и Л = к.
Если замена переменных в соответствии с формулами (2.1)
(и1, и2, /, к) ^ (и1, и2, /, к)
преобразует систему дифференциальных уравнений (1.4)
дЛ д/ дк дк
ди1 <9и2 ди1 <9и2 ’
<9Л дк д/ дк
ди1 <9и2 <9и2 ди1
в систему в точности того же самого вида
д/ 3/ дк дк
ди1 с№2 Зи1 <9т32 ’ /о 7\
3/ дк д/ дк _ [ 4
дь1 дь2 дь2 дь1 ’ то группу преобразований (2.1) называют группой инвариантности системы дифференциальных уравнений (1.4). Говорят также, что система дифференциальных уравнений (1.4) допускает группу (2.1).
Инфинитезимальный оператор первого продолжения группы, относительно которой уравнения (1.4) инвариантны, обладает тем свойством, что если его применить к указанным дифференциальным уравнениям и поставить условия, что сами уравнения выполняются, то должны получаться тождественно нулевые выражения:
(? -д)Б1 = 0,
1
(? -д)Б2 = 0,
1
Б1 = 0,
Б2 = ±1.
Этим свойством пользуются для нахождения инфинитезимального оператора и группы инвариантности системы дифференциальных уравнений в частных производных.
Применим инфинитезимальный оператор ? -д к первому уравнению Б1 системы
(1.4): 1
/ д/ д/ дк дк\ , д/ 1 д/ 2 дк 2 дк
(Г )(^Г^2 + д^д^2) ~ хдъ2+ 2д^+ хдъ2+ 2д^' ^ ^
Преобразуем полученное выражение, используя формулы (2.6) для величин форме Коши:
Нр и привлечем затем систему уравнений (1.4) в нормальной по переменной и2 рме Коши:
дк д/
д/ __________д^_____ дк _____________________
дь2 /ду\2 1дк\2’ ди2 / д/ \2 (дк\2' '
Заменяя частные производные в соответствии с (2.9) и умножая на
К]2 + №2 dv1 J уди1/
2
4Преобразования подобного вида ниже выполняются с помощью пакета символьных вычислений Maple V.
получим, что условие инвариантности первого уравнения системы (1.4)
(? •3)Бі = 0,
і
представляется в форме степенного многочлена от свободных частных производных
д/ дк Зи1 ’ дvl
и поэтому расщепляется на ряд уравнений, получающихся приравниванием нулю коэффициентов указанного степенного многочлена от этих производных.
Таким образом, находим следующие условия инвариантности:
&Е>_ дЕ2
<9и2 ’ дvl ’
Зе2 дН1 Л дН1 дН2 Л Зе1 дН2 Л ,
дк + дv1 ~ ’ дк + д/ ~ ’ д/ + дь2 ~ ’ ('2'1°')
да2 Ж2 _ Ж1 Ж2 _ да1 Ж1 _
д/ ди1 ’ д/ дк ’ дк <9и2
Применим инфинитезимальный оператор ? -д ко второму уравнению Б2 системы (1.4), т.е. вычислим
(СПІКШІ Г\ (2 11)
(1 ду'ду2}' )
Прежде всего имеем
(212)
І
7
Подставим выражения (2.9) в (2.12) и умножим на
где Н находятся с помощью (2.6).
д£\ (дк_^ дь1) уди1
в результате получим степенной многочлен от свободных частных производных
д/ дк Зи1’ дvl’
коэффициенты которого должны обращаться в нуль:
да2 ______ _ ^ ________________________ ^
^ ^ ди2 (2.13)
Ж2 — П ж1 Ж2 дЕ1 дЕ2
дvl — 0, ~дГ + Ж' дь1 <9и2
Ж1 = 0, дЕ2 ж1 0, дЕ1
дь2 дк дvl д./
да1 Ж1 _ да2 Ж1 _ да1 Ж2 _
дк " ” ’ ’ " " " ”
Анализ определяющих уравнений (2.10), (2.13) показывает, что касательное векторное поле ^ имеет компоненты, зависимость которых от преобразуемых под действием группы переменных выражается как
51(и1), Е2(и2), И1/, к), И2(/, к), (2.14)
а более детальные рассмотрения позволяют заключить, что инфинитезимальный оператор группы инвариантности системы дифференциальных уравнений (1.4) мо-
жет иметь только следующую форму:
ди1 ду2)
'Л г ( 1 д 2 д д ,д\ „ I ! д 2 д 1
« а = с'[у ы+у м+/э/ + км) + С2['1 — |+
+4|-4)+ (215)
д д д д +С4д^ + С5д^2 + Сбд/ + СіЖ’
где С] —произвольные постоянные.
Вводя базисные инфинитезимальные операторы
я 1 д 2 д д д
1 д 2 д
,2.16)
я д я 3
„а--,
„ І)
множество операторов (2.15) представим как линейное пространство размерности 7, совпадающее с линейной оболочкой базисной системы (2.16).
Заметим, что инфинитезимальные операторы (54 ■ д), (55 ■ д) определяют сдвиги изостатических координат и1, и2, а операторы (56 ■ д), (57 ■ д) — сдвиги декартовых координат Х1, Х2. Оператор (53 ■ д) соответствует повороту в плоскости течения относительно координатной оси Х3. Оператор (51 ■ д) соответствует одновременному растяжению координат и1, и2, /, к в одинаковых отношениях І, І, І, І. Оператор (52 ■ д) соответствует одновременному растяжению координат и1, и2 в отношениях І, І-1.
3. Инвариантные решения уравнений плоского деформированного состояния
Группа, относительно которой система дифференциальных уравнений инвариантна, обладает также тем свойством, что примененная к любому решению этой системы дифференциальных уравнений она снова переводит его в решение этой системы (см. [11. С. 147]).
Пусть имеется произвольное решение
/ = /(и1, и2), к = к(и1, и2)
системы дифференциальных уравнений (1.4). Группа преобразований (2.1) позволяет тогда определить зависимости
/ = /(и1, и2, е), к = к(и1, и2, е).
Если они удовлетворяют в точности такой же системе дифференциальных уравнений (2.7), то группа преобразований (2.1) называется группой симметрий системы дифференциальных уравнений (1.4).
Таким образом, группа, относительно которой система дифференциальных уравнений инвариантна, есть также и группа симметрий этой системы. Полная группа симметрий данной системы дифференциальных уравнений — наибольшая группа преобразований, действующая на зависимые и независимые переменные и обладающая свойством переводить решения системы в другие ее решения.
Функция I(и1, и2,/, к) называется инвариантом группы преобразований (2.1),
где аргументы связаны формулами (2.1).
Инфинитезимальный оператор группы инвариантности системы обладает свойством, что если его применить к инварианту I, то получим равное нулю выражение:
т.е. инвариант есть корень инфинитезимального оператора группы.
Учитывая (2.15), это условие инвариантности можно представить в форме линейного уравнения в частных производных первого порядка:
если
/(и1, и2, /, к) = /(и1, и2, /, к),
(5 ■ д)/ = 0,
йи1
dv2
(С1 + С2)и1 + С4 (С1 - С2)и2 + С5
(3.2)
А/
йк
С\/ + Сф + Сб С1Й-С3/ + С7'
Удобно, прежде всего, совершить трансляцию декартовых координат
/* = / - І1, к* = к - І2,
где
Затем введем полярные координаты согласно
Произведем также растяжение и трансляцию изостатических координат
где
а =-------, 6 =-------,
С1+С2 1 Сг-Сг
(3.3)
5
и введем переменную
и* = (и1*)“(и2*)-в.
5Эту переменную мы называем автомодельной переменной.
Три независимых первых интеграла характеристической системы без труда находятся и позволяют определить базисные инварианты группы симметрий системы дифференциальных уравнений (1.4) в форме
11 = и*, 12 = (и1*)“(и2*)в ехр(2С-1ф*), 13 = (и1*)-“(и2*)-вг*2. (3.4)
Здесь использовано следующее обозначение:
В дальнейшем мы рассмотрим лишь случай, когда С1 Ф 0, С3 Ф 0, а Ф 0, в Ф 0.
Поскольку 1(11,12,1з), где I — произвольная функция своих аргументов, представляет собой общее решение уравнения (3.1), то 1(11,12,1з) —наиболее общая форма инварианта группы симметрий системы дифференциальных уравнений (1.4).
Инвариантными решениями системы дифференциальных уравнений относительно группы преобразований (2.1) называются решения этой системы, которые переводятся этой группой преобразований сами в себя. Другими словами, решение системы дифференциальных уравнений (1.4), которое мы представим в неявной форме как
Ф1(и1, и2, /, к) = 0, Ф2(и1, и2, /, к) = 0, (3.5)
инвариантно относительно группы преобразований (2.1), если
Ф1(и1, и2, /, к) = 0, Ф2(и1, и2, /, к) = 0, (3.6)
где, как обычно, переменные и1, и2, /, к и и1, и2, /, к связаны формулами группового преобразования (2.1). Кроме того, мы предполагаем отличным от нуля
якобиан д(Ф1, Ф2)/д(/, к).
С геометрической точки зрения каждому инвариантному решению (3.5) соответствует инвариантное многообразие размерности 2 в четырехмерном пространстве, арифметизованном с помощью координат и1, и2, /, к.
Ясно, что достаточное условие инвариантности решения (3.5) системы дифференциальных уравнений (1.4) заключается в том, чтобы функции
Ф1(и1, и2, /, к), Ф2(и1, и2, /, к)
были инвариантами группы симметрий этой системы, т.е.
(? ■ д)Ф1 = 0,
(? ■ д)Ф2 = 0.
Обратное утверждение неверно, однако можно доказать (см., например, [10, с. 244, 245]), что если решение системы дифференциальных уравнений (1.4), определяемое неявно в форме (3.5), инвариантно, то найдутся инварианты /1, /2 группы симметрий этой системы такие, что то же самое решение будет задаваться неявно уравнениями
/1(11,12,1з) = 0, /2(11,12,1з) = 0 (3.7)
в том смысле, что переменные и1, и2, /, к будут удовлетворять системе уравнений
(3.5) тогда и только тогда, когда они будут удовлетворять системе уравнений (3.7). Такую форму задания инвариантного решения можно назвать канонической.
Заметим, что в рассматриваемом случае системы дифференциальных уравнений в частных производных (1.4) функции /1, /2, задающие каноническую форму
инвариантного решения, будут определяться из системы обыкновенных дифференциальных уравнений.6
Итак, лишь те решения системы дифференциальных уравнений (1.4), которые задаются неявно в форме двух зависимостей между базисными инвариантами Д, /2, 1з, являются инвариантными. В частности, инвариантные решения можно искать в форме
1п г* = 1п + 'Р(и*),
/ /---------- \ (3.8)
ф* = С - 1^(и1*)“(и2*)в + Ф(и*) .
Функции Ф и Т должны удовлетворять системе обыкновенных дифференциальных уравнений, которая получается при подстановке (3.8) в (1.4).
Второе уравнение системы (1.4) сводится к обыкновенному дифференциальному, только если
что выполняется в силу (3.3). Полагая для удобства
1 „ 1
а =
1 + ю’
в =
1 - ю’
приходим к следующей системе обыкновенных дифференциальных уравнений, определяющей инвариантные решения (1.4):
I _ (и*)2^ + С2
I - (и*)2Ф/2
= 0,
+ 11 г + и*Ф' I - I г - и*Т' 11 г - и*Ф' I = +С_1е_2'р(и*)“.
(3.9)
Здесь штрихом обозначается дифференцирование по автомодельной переменной и*.
Исключая производную и*Ф', можно получить одно неавтономное уравнение первого порядка для функции Т(и*):
1±Л1 + с-2
2 \ 4
— — (и*)2^2
+ 1- -и*Ч"
+С
-2
- (и*)2Т/2
= +С-1е_2Т(и*)“
(3.10)
В этом уравнении знаки + и + в левой части согласованы, а в правой — выбор знака может осуществляться независимо.
Полученное уравнение приводится к автономному дифференциальному уравнению первого порядка заменой
и* = ег, Л = -2Т + юг.
+
1
1
2
4
6 Как известно, указанная система обыкновенных дифференциальных уравнений может вообще не иметь решений, и в этом случае инвариантного решения существовать не будет (см., например, [10. С. 254] об условном существовании инвариантно-групповых решений).
В результате имеем (точкой обозначается дифференцирование по переменной г)7:
-(1 + со - Л)(1 + л/1 + С-2[1-(ю- А)2])+
-------------------- (3.11)
+(1 - ю + Л)(1 + у1 + С-2[1 - (ю - Л)2]) = +4С-1еЛ.
Вводя обозначение
Р = ю - Л, (3.12)
уравнение (3.11) представим в форме (знаки + в левой и правой части не согла-
сованы)
-2Р ± 2 ф + С~2 [1 - Р2] = ±4С~1еА, (3.13)
откуда получаем квадратное уравнение относительно Р
(1 + С-2)Р2 + 4С-1еЛР + 4С_2е2Л - (1 + С-2) = 0, (3.14)
ю(1 + C~2)Q + 2C~1Q2 ± G V(1 + с~2)2 ~ 4C~4Q2 или (знаки + и ± не согласованы)
dQ
юе + У2? - т2е2 ± е л^Тё2
где
2
у = Т7с*-
Интегрируя, получаем
I
(3.15)
дискриминант которого вычисляется как
Б = (4С_1еЛ)2 - 4(1 + С-2)(4С-2е2Л - (1 + С-2)) = (4С-1еЛ)2--4(1 + С-2)4С_2е2Л + 4(1 + С-2)2 = 4((1 + С-2)2 - 4С-4е2Л).
Поэтому находим, что (знаки + и + не согласованы)
+2С~1еА + л/(1 + С"2)2 - 4С~4е2Л / ч
/■ =--------------------------------. (3.16)
Полагая
еЛ = б (3.17)
и разделяя переменные, имеем
(1 + С-2)йб
= dt (3.18)
= dt, (3.19)
о)б + V2y - y262 ± б V1 _ y262
= t + const. (3.20)
7Напомним, что предполагается выполнение условий С Ф 0, ю Ф +1.
Интеграл в левой части уравнения (3.20) вычисляется в форме8:
/
йЛ
ю +
л)2у — у2еА + д/l - у^е-
2„2Л
4 д/2 - y arctg
-со д/2 - y + 2 ууе
V
-2 + №2y~
д/-2 + co2y
(со + 1) Л (2 - co2y) + 4 (2 - co2y) ln(2 + 2 -^1 - Y2e2A)+
+2co In ^co д/2 - y - 2 д/7ел)2 - 2 + co2y| (2 - co2y) ±
|co д/2 - y + ^2 - co2y| ^2 - co2y | д/2 - y ^2 - w2y + coy j x 4 - 4Y2e2A + 2 ( д/2 - y д/2 - co2y + coy) д/l - Y2e2A
-4
xln
,_____ ,_________ + 2Y3/2eA
2 УуеЛ _ ю д/2 - Y + д/2 - co2y
- |co д/2 - y - -^2 - co2y| -yj2 - co2y | д/2 - y -^2 - co2y - coy j x
ln
-4 + 4y2e2A + 2 ( д/2 - y д/2 - co2y - coy) д/l - Y2e2A
-2 У7еЛ + со д/2 - y + д/2 - со2
+ 2y3/V
2y
4(2 - ю2^ (ш2 - 1)'
Таким образом, все инвариантно-групповые решения системы дифференциальных уравнений (1.4) вычисляются в элементарных функциях.
Заметим, что постоянная
Л = ln
+ д/2 - Yto ± д/2 - co2y
2VY
(3.21)
является решением дифференциального уравнения (3.11).
4. Оптимальная система 01 одномерных подалгебр алгебры симметрий
Рассмотрим алгебру симметрий системы дифференциальных уравнений (1.4) с базисными операторами (?; ■ д) (см. (2.16)). Линейное пространство размерности 7 с базисом из инфинитезимальных операторов (?; ■ д) наделяется стандартной алгебраической структурой с помощью билинейной операции коммутации операторов (скобка Пуассона операторов). Чтобы доказать, что линейная оболочка операторов (?; ■ д) образует алгебру Ли, необходимо составить таблицу коммутации базисных инфинитезимальных операторов. Таблица коммутации, приведенная ниже, показывает, что инфинитезимальные операторы (2.16) действительно определяют алгебру Ли непрерывных симметрий системы дифференциальных уравнений (1.4).
Л
X
1
X
8 Интегрирование выполнено с помощью пакета символьных вычислений Maple V.
(?i • 9) (?2 • 9) (?з • 9) (?4 • 3) (?5 • 3) (?6 • 9) (?7 • 3)
(?1 9) 0 0 0 “(?4 3) -(?5 3) -fas 9) “(?7 3)
(?2 9) 0 о о -(?; д) (?5 ■ д) о о
(?3 9) 0 о о о о (? ■ д) -(?б д)
(?; 9) (?4 • д) (? ■ д) о о о о о
(?5 9) (?5 • д) - (?5 д) о о о о о
(?б 9) (?6 • д) о -(?; д) о о о о
(?? 9) (?7 • д) о (?б ■ д) о о о о
Структура общего инфинитезимального оператора (2.15) может быть проанализирована с помощью внутренних автоморфизмов рассматриваемой алгебры Ли.
Чтобы найти внутренние автоморфизмы алгебры Ли, необходимо решить уравнение Ли (см. [10. С. 188]):
д?'
дт
= [?', ?,]
(4.1)
с начальным условием
?'(о) = ?.
(4.2)
Поясним, что —касательное векторное поле, в которое переходит касательное векторное поле ^ под действием однопараметрической группы преобразований, заданной уравнением Ли.
Заметим, что в терминах инфинитезимальных операторов уравнение (4.1) имеет вид
О
т-(?' • д) = [(?' • д), fc • д)], дт
а начальное условие (4.2) —
(?'• д)1т=0 = (S ■ д).
Для каждого базисного вектора ?j (j = 1,7) имеем соответствующую однопараметрическую группу внутренних автоморфизмов, действующую на постоянные C,, в разложении общего инфинитезимального оператора (2.15), определяемую системой обыкновенных дифференциальных уравнений (см. [10. С. 189]):
1) С; = о, C2 = о, C3 = о, C; = c;, С5 = C5, C6 = c', <C; = с; ;
2) C = о, С; = о, С' = о, С; = c;, С5 = -C5, C6 = о, C; = о;
3) C; = о, C' = о, С' = о, С; = о, C5 = о, С'б = с;, С; = -c';
;) С' = о, С' = о, С'3 = о, С; = -с' - С2, С3 = о, С'б = о, с:; = о;
5) С' = о, С' = о, С3 = о, С; = о, <С5 = -с; + С2, Сб = о, С' = о;
6) С' = о, С' = о, С' = о, С' = о, С; = о, Сб = -с;, С; = С3;
;) с:' = о, С' = о, С3 = о, С' = о, С; = о, С' = -С3, С; = -с;.
Здесь дифференцирование (обозначаемое точкой) производится по параметру т.
Решая каждую из семи выписанных систем с начальными данными С'| 0 = С,, находим, как действуют внутренние автоморфизмы на постоянные С, в разложе-
(4.3)
нии общего инфинитезимального оператора (2.15):
1) с; = c1, С2 = с2, сз = сз, с; = с4ет, с5 = с5ет,
Сб = СбЄт, с; = С;сх;
2) с; = с1, С2 = с2, сз = сз, с; = с4ет, с5 = с5е-т,
Сб = Сб, с; = С;;
3) с; = Cl, С2 = С2, сз = Сз, с; = С4, С5 = С5,
С' = Сб cos т + С; sin т, с; = -Сб sin т + С; cos т;
4) с; = c1, С2 = с2, сз = сз, с; = с4 - тс1 - тс2, С5 = с5,
Сб = Сб, с; = С;;
5) с; = с1, С2 = с2, сз = сз, с; = с4, С5 = с5 - тс1 + тс2,
Сб = Сб, с; = С;;
6) с; = Cl, С2 = С2, сз = Сз, с; = С4, С5 = С5,
Сб = Сб - тС1, с; = С; + тСз;
;) с; = Cl, С2 = С2, сз = Сз, с; = С4, С5 = С5,
Сб = Сб - тСз, с; = С; - тСі.
Построение оптимальной системы ©і одномерных подалгебр алгебры Ли непрерывных симметрий системы дифференциальных уравнений (1.4) мы осуществим с помощью "наивного” подхода, состоящего в том, что коэффициенты С, инфинитезимального оператора (2.15) подвергаются различным преобразованиям из списка
(4.3) так, чтобы "упростить” его настолько, насколько это представляется возможным (в частности, стремясь привести к нулевому значению как можно больше из указанных семи постоянных). Далее мы выбираем из каждого класса инфинитезимальных операторов, переводящихся друг в друга автоморфизмами (4.3), по одному простейшему представителю и формируем оптимальную систему одномерных подалгебр ©і алгебры непрерывных симметрий системы дифференциальных уравнений в частных производных (1.4).
При поиске указанных простейших представителей, кроме однопараметрических групп автоморфизмов, будем применять также преобразование, заключающееся в умножении инфинитезимального оператора на некоторую постоянную (так называемое преобразование умножения).
Рассмотрим, как изменяются постоянные С, в представлении общего инфинитезимального оператора (2.15) группы симметрий системы уравнений (1.4) при применении к ним однопараметрических групп автоморфизмов (1)—(7) из приведенного выше списка (4.3).
Рассмотрим постоянные Сб и С; как компоненты вектора A на плоскости xi, X2. Тогда автоморфизм (3) представляет собой поворот этого вектора на различные углы т относительно начала координат.
Если вектор A ненулевой (т.е. хотя бы одна из его компонент Сб или С; не равна нулю) и хотя бы один из коэффициентов Cl и Сз не равен нулю, то такими поворотами можно перевести вектор A в положение, когда он будет коллинеарен вектору с компонентами -Cl и Сз. Применяя далее автоморфизм (6), можно добиться того, чтобы коэффициенты Сб и С; стали нулевыми.
Если вектор A ненулевой, но оба коэффициента Cl и Сз равны нулю, то не удается одновременно привести к нулевым значениям коэффициенты Сб и С;. Однако поворотом (3) можно перевести вектор A в положение, когда коэффициент С; (или Сб) становится нулевым.
Таким образом, при любых обстоятельствах можно добиться того, чтобы выполнялось равенство С; = о (или Сб = о). Поэтому в дальнейших рассуждениях
мы полагаем, что С7 = 0, правда, тогда придется дополнить оптимальную систему элементами, которые получаются в результате замены индекса 6 на 7.
Если С\, С2 выбираются так, что С\ ± С2 ф 0 и С\ ф 0, то9, применяя автоморфизмы (4), (5) при т, равном соответственно --------— и -----------—, можно приве-
С1 + С2 С1 - С2
сти к нулевому значению коэффициенты С4, С5. Применяя затем преобразование умножения, приводим коэффициент С1 к единице и получаем простейших представителей вида:
(51 -д) + А (52 -д) + Щ53 -д), (4.4)
где ^1, ^2 — произвольные постоянные.
Если С1 ± С2 ф 0, но С1 = 0 и С3 ф 0, то коэффициенты Сб и С7 приводятся к ну-
левым значениям, применяя преобразование умножения, приводим коэффициент С2 к единице и, таким образом, получаем множество простейших представителей вида:
(52 ■ д) + 0(53 ■ д). (4.5)
Если С1 + С2 = 0 и С2 ф 0, то и С1 ф 0, т.е. коэффициенты Сб и С7 приво-
дятся к нулевым значениям. Однако не удается сделать нулевым коэффициент С4. Применяя автоморфизм (1) при т, равном 1пС1/С41, получаем простейшего представителя вида:
(51 ■ д) - (52 ■ д) + 0(53 ■ д) ± (54 ■ д). (4.6)
Если С1 - С2 = 0 и С2 ф 0, то и С1 ф 0, т.е. коэффициенты Сб и С7 приво-
дятся к нулевым значениям. Однако не удается сделать нулевым коэффициент С5. Применяя автоморфизм (1) при т, равном 1п |С1 /С51, получаем простейшего представителя вида:
(51 ■ д) + (52 ■ д) + 0(53 ■ д) ± (55 • д). (4.7)
Если С1 = 0 и С2 = 0, но С3 ф 0, то коэффициенты Сб и С7 приводятся к
нулевым значениям. Не удается привести к нулевым значениям коэффициенты С4 и С5. Если С4 ф 0 и С5 ф 0, то, применяя автоморфизм (2) при т, равном
— 1п |С5 /С41, приводим коэффициенты С4 и С5 к одному и тому же абсолютному
значению, которое затем с помощью автоморфизма (1) приводится к абсолютному значению С3. Соответствующий простейший представитель есть
(53 ■ д) ± (54 ■ д) ± (55 ■ д). (4.8)
Если С1 = 0, С2 = 0, С3 ф 0 и С4 ф 0, С5 = 0 (или С5 ф 0, С4 = 0), то, применяя автоморфизм (1) при т, равном соответственно 1п | С3 /С41 (или 1п | С3 /С51), получаем простейших представителей вида:
(53 ■ д) ± (54 ■ д), (4.9)
(53 -д) ± (55 -д). (4.10)
Если С1 = 0, С2 = 0, С3 ф 0, С4 = 0 и С5 = 0, то получаем представитель вида
(53 д). (4.11)
Если С1 = 0 и С3 = 0, но С2 ф 0, то коэффициент С7 можно привести к нулевому значению, однако привести к нулевому значению коэффициент Сб не удается.
9 Как было только что показано, при указанных условиях коэффициенты Сб и С7 приводятся к нулевым значениям.
Применяя автоморфизмы (4) и (5), приводим к нулевым значениям коэффициенты С4, С5. Применяя автоморфизм (1) при т, равном 1п |С2/Сб|, приводим к одинаковым абсолютным значениям коэффициенты С2, Сб. Применяя далее автоморфизм (3) при т, равном п, изменяем, если необходимо, знак Сб; получаем простейшего представителя вида:
(?2 ■ д) + (?б ■ д).
(4.12)
Если Сі = 0, Сз = 0 и С2 = 0, то С7 приводится к 0, однако привести к нулевым значениям С4, С5, Сб не удается. Если С4 ф 0, С5 ф 0, то, применяя автоморфизм
(2) при т, равном — ІПІС5/С4І, приводим коэффициенты С4 и С5 к одному и тому же абсолютному значению. В результате находим простейших представителей вида:
(?4 ■ д) ± (?5 -д) + й(?б- д). (4.13)
Если Сі = 0, Сз = 0, С2 = 0 и С4 = 0 (или С5 = 0), но С5 ф 0 (соответственно С4 ф 0), то по-прежнему Сб не удается привести к нулевому значению, однако, применяя автоморфизм (2) при т, равном 1п ІС5 /Сб| (или 1п |Сб/С41), приводим коэффициенты Сб и С5 (или Сб и С4) к одному и тому же абсолютному значению. Применяя затем автоморфизм (3) при т, равном п, изменяем, если необходимо, знак Сб; получаем простейших представителей вида:
(?5 -д) + (?б- д), (4.14)
(54 д) + (5б д). (4.15)
Если С1 = 0, С3 = 0, С2 = 0, Сб = 0 и С4 = 0 (или С5 = 0), но С5 ф 0 (соответственно С4 ф 0), то имеем двух представителей
(55 д), (4.16)
(54 д). (4.17)
Остается еще простейший представитель вида
(5б д). (4.18)
Построенные инфинитезимальные операторы образуют оптимальную систему @1 одномерных подалгебр алгебры непрерывных симметрий системы дифференциальных уравнений (1.4). Это подалгебры, порожденные следующими инфини-
тезимальными операторами (Б, Бі, Б2 —произвольные постоянные):
(?1 -д) + Бі(?2 -д) + Б2(?з -д),
(?2 ■ д) + Б(?з ■ д),
(?1 ■ д) - (?2 ■ д) + Б(?з ■ д) ± (?4 ■ д),
(?1 ■ д) + (?2 ■ д) + Б(?з ■ д) ± (?5 ■ д),
(?з ■ д) ± (?4 ■ д) ± (?5 ■ д),
(?з ■ д) ± (?4 ■ д),
(?з ■ д) ± (?5 ■ д),
(?з -д), (4.19)
(?2 ■ д) + (?б ■ д),
(?4 ■ д) ± (?5 ■ д) + Б(?б ■ д),
(?5 ■ д) + (?б ■ д),
(?4 ■ д) + (?б ■ д),
(?5 ■ д),
(?4 ■ д),
(?б ■ д).
Здесь выбор знаков может производиться несогласованно. Приведенный список следует дополнить операторами, которые получаются заменой индекса б на 7.
Описанный выше алгоритм построения оптимальной системы ©і в наглядной форме приводится в приложении.
Литература
[1] Радаев, Ю.Н. О канонических преобразованиях Пуанкаре и инвариантах уравнений пластического равновесия / Ю.Н. Радаев // Изв. АН СССР. Мех. тверд. тела. 1990. №1. С. 86-94.
[2] Радаев, Ю.Н. К теории осесимметричной задачи математической теории пластичности / Ю.Н. Радаев, Ю.Н. Бахарева // Вестник Самарского гос. университета. Естественнонаучная серия. 2003. №4(30). С. 125-139.
[3] Радаев, Ю.Н. Пространственная задача математической теории пластичности / Ю.Н. Радаев Самара: Изд-во Самарского гос. университета, 2004. 147 с.
[4] Радаев, Ю.Н. О канонических формах автомодельных уравнений осесимметричной задачи теории пластичности / Ю.Н. Радаев, В.А. Гудков // Вестник Самарского гос. университета. Естественнонаучная серия. 2003. №4(30).
С. 140-146.
[5] Радаев, Ю.Н. Группы симметрий дифференциальных уравнений осесимметричной задачи математической теории пластичности / Ю.Н. Радаев, В.А. Гудков // Вестник Самарского гос. университета. Естественнонаучная серия. №4(34). 2004. С. 99-111.
[6] Радаев, Ю.Н. Инвариантно-групповые решения дифференциальных уравнений осесимметричной задачи математической теории пластичности / Ю.Н. Радаев, В.А. Гудков // Вестник Самарского гос. университета. Естественнонаучная серия. Второй спец. выпуск. 2004. С. 65-84.
[7] Аннин, Б.Д. Групповые свойства уравнений упругости и пластичности /
Б.Д. Аннин, В.О.Бытев, С.И.Сенашов. Новосибирск: Наука. Сиб. отд-ние,
1985. 143 с.
[8] Радаев, Ю.Н. Об одной естественной конечномерной подалгебре алгебры симметрий трехмерных уравнений математической теории пластичности / Ю.Н. Радаев, В.А. Гудков // Вестник Самарского гос. университета. Естественнонаучная серия. №5(39). 2005. С. 52-70.
[9] Радаев, Ю.Н. Группы симметрий и система одномерных оптимальных подалгебр трехмерных уравнений теории пластичности / Ю.Н. Радаев, В.А. Гудков // Современные проблемы механики сплошной среды. Труды IX Международной конференции, посв. 85-летию акад. РАН И.И. Воровича, г. Ростов-на-Дону, 11-15 октября 2005 г. Т. 1. Ростов-на-Дону: Изд-во ООО ”ЦВВР”, 2005. С. 166-170.
[10] Овсянников, Л.В. Групповой анализ дифференциальных уравнений /
Л.В. Овсянников. М.: Наука, 1978. 400 с.
[11] Олвер, П. Приложения групп Ли к дифференциальным уравнениям /
П. Олвер. М: Мир, 1989. 639 с.
[12] Эйзенхарт, Л.П. Непрерывные группы преобразований / Л.П. Эйзенхарт. М.: Изд-во иностр. лит-ры, 1947. 360 с.
ПРИЛОЖЕНИЕ: АЛГОРИТМ ПОСТРОЕНИЯ ОПТИМАЛЬНОЙ СИСТЕМЫ ©і
1-2: Cj, ± C2 фО
1: C ф О (C4, C5, C6 приводятся к О; Cl приводится к і)
2: ^ = О, C3 ф О (C4, C5, C6 приводятся к О; C2 приводится к і)
3: C + C2 = 0, С2 ф 0 (С6 приводится к О; C4 приводится к ±Q ,
а С1 — к 1)
4: ^ - C2 = 0, С2 ф 0 (С6 приводится к О; C5 приводится к ±C1,
а С1 — к 1)
О -8: 5- = О, С2 = 0, С3 Ф 0
5: C4 ф 0, С5 ф 0 (С6 приводится к О; C4 приводится к
С5 приводится к ±C3, а C3 — к 1)
6: C4 ф 0, С5 = 0 (С6 приводится к О; C3 приводится к ±C4)
Т: C5 ф 0, С4 = 0 (С6 приводится к О; C3 приводится к ±C5)
8: C4 = 0, С5 = 0 (С6 приводится к О)
9: C1 = 0, C3 = 0, C2 Ф 0 (C4, C5 приводятся к 0; C2 приводится к C6)
10-15: C1 = 0, C3 = 0, C2 = 0
10: C4 Ф 0, C5 Ф 0 (C4 приводится к ±C5)
11: C4 = 0, C5 Ф 0 (C5 приводится к C6)
13: C6 = 0 (C5 приводится к 1)
12: C5 = 0, C4 Ф 0 (C4 приводится к C6)
14: C6 = 0 (C4 приводится к 1)
15: C4 = 0, C5 = 0
Номера слева соответствуют строкам в списке элементов оптимальной системы ©1.
Поступила в редакцию 18/ VT77/2005; в окончательном варианте — 18/ VIII/2005.
ON SYMMETRY GROUPS OF THE PLANE-STRAIN EQUATIONS OF THE MATHEMATICAL PLASTICITY
© 2006 Y.N. Radayev10
Group analysis of the system of partial differential equations of plane-strain plastic equilibrium is given. The static equilibrium equations are represented in the stress principal lines co-ordinate net (isostatic net). Their symmetry groups are obtained. The Lie algebra is studied. The group invariant solutions of the system are shown can be expressed via the elementary functions only.
Paper received 18/VIII/2005.
Paper accepted 18/VIII/2005.
10Radayev Yuri Nickolaevich (radayevSssu.samara.ru), Dept. of Continuum Mechanics, Samara State University, Samara, 443011, Russia.
