Новые классы решений уравнений идеальной несжимаемой жидкости тема диссертации и автореферата по ВАК РФ 01.01.02, кандидат физико-математических наук Шанько, Юрий Вадимович

• Шанько, Юрий Вадимович
• кандидат физико-математических наук
• 1997

Оглавление диссертации кандидат физико-математических наук Шанько, Юрий Вадимович

Содержание

Введение

1 Классификация одномерных и двумерных подалгебр, допускаемых уравнениями Эйлера

1.1 Основные понятия и схема классификации подалгебр

1.2 Построение оптимальной системы подалгебр алгебры Ь6

1.3 Построение квазиоптимальной системы в\

1.4 Классификация двумерных подалгебр, лежащих в идеале Ьоо

1.5 Классификация двумерных подалгебр имеющих одномерное пересечение с идеалом

1.6 Классификация двумерных подалгебр имеющих тривиальное пересечение с идеалом

1.7 Факторсистемы, порожденные одномерными подалгебрами

2 Точные решения уравнений Эйлера

2.1 Некоторые классы решений ранга 2

2.1.1 Решения инвариантные относительно группы, порождаемой операторами £¿=1 <аг>{ и <Ьг>(

2.1.2 Некоторые решения инвариантные относительно подалгебры {Хь х4+ <к>4}

2.2 Стационарные осесимметричные течения с закруткой

2.2.1 Функционально-инвариантные решения

2.2.2 Течения стратифицированной жидкости со свободной границей

2.2.3 Примеры функционально-инвариантных решений

2.2.4 Некоторые другие точные решения

3 Двумерные стационарные течения стратифицированной жидкости

3.1 Функционально-инвариантные решения

3.2 Течения стратифицированной жидкости со свободной границей

3.3 Некоторые классы точных решений

3.4 Построение функционально-инвариантных решений

3.5 Классификация решений, допускающих обобщенное разделение переменных

Литература

Введение диссертации (часть автореферата) на тему «Новые классы решений уравнений идеальной несжимаемой жидкости»

Введение.

Настоящая работа посвящена проблеме построения точных решений уравнений Эйлера идеальной жидкости. Нахождением решений уравнений Эйлера занимались многие известные математики. Большое число таких примеров имеется в классических монографиях и учебниках [1, 2, 3]. Одной из последних книг, целиком посвященных данной проблеме, является монография [4]. Точные решения имеют значительный теоретический интерес, поскольку они могут описывать разнообразные физические явления и служить в качестве тестов для вычислительных экспериментов.

Построение решений представляет сложную математическую проблему. Одним из основных инструментов исследования этой проблемы является групповой анализ дифференциальных уравнений [5, 6, 7, 8]. Применение некоторых элементов теории групп в гидродинамике началось, по-видимому, с книги Г. Бир-кгофа [9]. Однако систематические исследования групповых свойств уравнений механики сплошной среды началось после выхода работ Л.В. Овсянникова [5, 6].

С тех пор были вычислены допустимые группы, найдены инвариантные и частично-инвариантные решения для различных уравнений математической физики, обнаружены новые применения групповых методов [6, 7, 10, 11].

Достигнутые успехи привели к необходимости более глубокого изучения теоретико-групповых свойств дифференциальных уравнений. В связи с этим Л.В.Овсянниковым выдвинута программа ПОДМОДЕЛИ [12, 13]. Одной из целей данной программы является построение существенно различных редуцированных систем для математических моделей механики сплошной среды. Этг проблема фактически сводится к сложной алгебраической задаче нахождение

оптимальной системы подгрупп [6] основной группы, допускаемой рассматриваемой моделью.

Среди работ посвященных классификации подалгебр алгебры Ли следует отметить [14, 15, 13, 16].

Группа, допускаемая трехмерными уравнениями Эйлера, была найдена при некоторых ограничениях A.A. Бучневым [17]. Позднее C.B. Хабиров показал [18], что эти ограничения можно снять. Изучению групповых свойств уравнений однородной и неоднородной жидкости в переменных Лагранжа посвящены работы [19, 20]. В работах [21, 22] строятся точные решения уравнений Эйлера и Навье-Стокса при вращательной симметрии, исследуются их групповые свойства и дается классификация одномерных подалгебр, допускаемой алгебры Ли. Некоторые классы решений, соответствующие течениям идеальной жидкости со свободной границей приведены в работе [23]. В работах О.В. Капцова [24, 25, 4] построены новые классы решений для уравнений, описывающих плоские и осесимметричные течения идеальной жидкости. В работах [26, 27] проведена частичная классификация подалгебр алгебры Ли операторов, допускаемых уравнениями Навье-Стокса, а также построены некоторые классы инвариантных решений для этих уравнений.

Охарактеризуем вкратце содержание диссертации.

Первая глава посвящена классификации подалгебр алгебры Ли, допускаемой нестационарными трехмерными уравнениями Эйлера. Алгебра Ли операторов L, допускаемых данными уравнениями бесконечномерна. Ее базис образуют операторы:

= ди з

Х2 = 2рдр + ^{xidXi -f uldui) i=1

з

Xz = tdt-2Pdp~Y,uldui, i=1

X4 = Х2дхз - x3dX2 + U2du3 - U3du2, (0.1)

X5 - x3dXï - хгдхз + u3dui - и1диз, X6 = xidX2 - x2dXl + uldu2 - u2dui,

<Ь\1)>{= ЬгдХ1 + Ъ1диг - хгЪ\ьдр, г = 1,2,3, <Ь\г)>А= Ь4др.

Здесь г = 1,..., 4 — произвольные, аналитические на некотором интервале функции.

В первом параграфе вводятся необходимые понятия и определения, дается описание алгебры Ли, допускаемой уравнениями Эйлера и излагается схема классификации подалгебр относительно группы внутренних автоморфизмов.

Второй параграф носит вспомогательный характер. Здесь получена классификация подалгебр алгебры ь6 = {х1, х2, х3, х4. х5, Х6}. Конечномерные подалгебры алгебры Ь задаются, путем указания в фигурных скобках элементов их базиса.

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

Теорема 1. Квазиоптимальная система одномерных подалгебр 9[ алгебры Ли Ь, базис которой составляют операторы (0.1), состоит из следующих 10 классов:

{х3 + № + 12х2} (к > о;,

{х1+х4 + 11х2} (ь > 0), № +

{х4 + кх2) (ь > о;,

{Х1+<61>1};

{х4+ <ь4>4}, Ш,

{Е?=1 <ьг>г],

{<Ь4>4};

где ¡1 — вещественные постоянные. Шестой, седьмой, девятый и десятый классы являются особыми, а остальные — неособыми.

Класс подалгебр является неособым, если элементы этого класса можно параметризовать конечным числом вещественных параметров. Если же такая параметризация не возможна, то класс подалгебр называется особым.

Параграфы с четвертого по шестой посвящены классификации двумерных подалгебр, допускаемых уравнениями Эйлера. Последовательно рассматриваются подалгебры лежащие в идеале Loo, имеющие одномерное пересечение с идеалом, и тривиальное пересечение с идеалом. Основным результатом классификации является Теорема 2, утверждающая, что квазиоптимальная система двумерных подалгебр в'2 алгебры Ли L состоит из 50 классов, перечисленных в Таблице 1. Следует отметить, что базис {А, В} каждой двумерной подалгебры из 6>2 строился исходя из условий: А порождает подалгебру {А} 6 9[, В е NorL(A).

В седьмом параграфе для всех подалгебр из в[ строятся соответствующие факторсистемы. Для каждой из факторсистем находится алгебра допускаемых операторов. Известно [6], что всем операторам, лежащим в нормализаторе некоторой подалгебры, соответствуют операторы допускаемые факторсистемой, построенной по данной подалгебре. Для всех факторсистем, кроме факторсистем построенных на подалгебрах {Х4} и <&l>¿}? не существует "новых" операторов (т.е. операторов которым нет соответствия среди операторов нормализатора) .

Вторая глава посвящена построению точных решений уравнений Эйлера. В первом пункте первого параграфа рассматриваются решения инвариантные относительно двумерной подалгебры с базисом операторов Qx =<а1 >i + <а2 >2 + <а3>з и ft =<Ь1>i + <Ь2>2 + <Ь3>з. Соответствующая факторсистема имеет вид

U¡ - StUl/S + 2(EVl - FWX)/S + P¿ = 0, Vtl + UlV¡, + M{AWl - CVl)fS + 2MFx'/S2 = 0, W¡ + UlWlx, + M(CWl - BVl)/S + 2MEx'/S2 = 0,

Ui = 0,

общее решение которой, при М = 0, есть

Ul=at,

V1 = /j,(x'-a{t)),

Wx=V{x' -a(t)),

P1 = -x'{att - StatS-1) - 2(ЕЛ4 - FT^S"1 + A(i),

где ту — произвольные гладкие функции, M, H — первообразные от ц и г) соответственно, а Л — произвольная функция.

Построены решения, описывающие течения жидкости со свободной границей, в том числе решение (заданное в лагранжевых координатах):

X = (1 + t)~2x о,

у = trj(zo) + (1 + t)y0,

Z = ( 1 + t)z0 + к( 1 + t)~5 + mt — к.

Во втором пункте первого параграфа построены инвариантные решения, соответствующие двумерной подалгебре Ь2 с базисом операторов {Xi, Х4+ <к>4}. Представление для инвариантного решения (в цилиндрической системе координат)

и = £/(ж,г), v = V(x,r), w = Ж(ж,г), p = P(x,t) -f кф.

Если предположить, что ^ и FF не зависят от ж, то С/ и F должны представляться следующим образом

J7 = хд(г) + /г(г), F = (¿(г)ж2 + + /(г),

а функции V(r), W(r), g (г), /i(r), of(r), ç(r), /(г) можно найти, решив соответствующую систему обыкновенных дифференциальных уравнений.

Второй параграф второй главы посвящен построению решений уравнения

Фхх + Фтт - Г~1фг = r2F(lP) - Н{Ф),

которое описывает стационарные осесимметричные течения с закруткой. Для этого уравнения вводится понятие функционально-инвариантного решения. Доказана Теорема 3, утверждающая, что функция ф(:г, г) является функционально-инвариантным решением данного уравнения тогда и только тогда, когда она удовлетворяет уравнениям

Функционально-инвариантные решения для волнового уравнения были построены в работе В.И. Смирнова и C.JI. Соболева [34], а их групповая интерпретация дана в [5]. Многочисленные примеры функционально-инвариантных решений для различных (в основном линейных) уравнений содержатся в обзорной работе [28].

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

Показано, что для всякого функционально-инвариантного решения ф поверхность ф(х,г) = ф0 = const может служить свободной границей при условии, что

Построены точные функционально-инвариантные решения вида ф о ф, где ф — дважды непрерывно дифференцируемая функция, а ф — одна из следующих функций:

Фг = Аг{ф)г + А2{Ф)г

,з

где Ai,Ci(i = 1,2) — решения системы

-6А% + С2А2 - 2С2А'2 = О, -8/М2 + С[А2 + С'2А! - 2СХА'2 - 2С2А[ = О, 2С2-2А\ + С'хА1-2С1А!2 = 0.

С^фо) < 0.

г2/2 + лДх + 7, ф= r2/2 + (1 - к)(х + 1)2/2 + 1/{2-2к),

к = 1, I > 0, кф 1,

Результаты численного построения функционально-инвариантных решений приведены на рисунках 1 и 2 (стр. 66). Найдены новые точные решения, выражающиеся через функцию Вейерштрасса.

Третья глава диссертации посвящена построению точных решений уравнения, описывающего плоские стационарные течения стратифицированной жидкости:

фхх + ф^ = 0{ф)г + Н(ф).

В параграфе первом доказывается Теорема 4, утверждающая, что функция ф(х,г) является функционально-инвариантным решением данного уравнения тогда и только тогда, когда она удовлетворяет уравнениям

ф2х+ф] = С1{ф)г + С0(ф),

фг = А2(ф)г2 + Аг{ф)г + А0(ф), где Сх, Со, А2, Ах, Ао— решения системы

С[А2 - 2СгА'2 - 4А22 = О,

с;Ах + С'0А2 - 2С1А; - 2СоА'2 - 6АхА2 = О,

С[А0 + С'оАг - 2СгА'0 - 2СоА[ - 2А1 - 4А0А2 = О,

С^Ао - 2С0А'0 + Сх - 2А0Ах = 0.

Во втором параграфе показано, что любая линия ф = фо, такая, что С\(ф0) < 0 может рассматриваться в качестве свободной границы.

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

ф = 4 атсЬё —- * ^з ,

-1 + |сЬ

с

ф = 4 аг^

-1 - 1

Кроме того, на рисунках 3-6 изображены линии тока для различных течений стратифицированной жидкости (стр. 73).

В четвертом параграфе строятся точные функционально-инвариантные решения вида ф о ф, где ф — дважды непрерывно дифференцируемая функция, а ф — задается формулой:

ф =

г + уД(х + 7), к = 0,1>0, z-k(ж + 7)2/4, кф 0.

На рисунках 7, 8 (стр. 76) приводятся картины линий тока, отвечающие некоторым функционально-инвариантным решениям.

Основным результатом пятого параграфа является Теорема 5, утверждающая, что уравнение фхх + фгг = С(ф)г + Н(ф), допускающее обобщенное разделение переменных преобразованиями эквивалентности приводится к одному из следующих типов:

Фхх + Фгг = кф\пф + 1фг,

ф

Фхх Фгг — к sin-0 + /(cos ф + cos — )z,

ф

Фхх + Фгг = кзЪ.ф + 1(сЪф ±c\i—)z,

Фхх + Фгг = (1 — к/2)т' + кт"т/т13 — кт" / т'3 Z,

где k,l £ R, т(ф)— произвольная гладкая функция.

Основные результаты диссертации.

Проведена классификация одномерных и двумерных подалгебр алгебры Ли, допускаемой трехмерными нестационарными уравнениями Эйлера.

Построены новые классы точных решений уравнений, описывающих стационарные осесимметричные течения идеальной несжимаемой жидкости и стационарные плоские течения стратифицированной жидкости.

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

Результаты диссертации опубликованы в работах [29, 30, 31, 32, 33].

Автор выражает глубокую благодарность научному руководителю Олегу Викторовичу Капцову за советы и внимание к работе.

Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (проект 96-01-0047), Красноярского краевого фонда науки и СО РАН (интеграционная программа "Исследование поверхностных и внутренних гравитационных волн").

Список литературы диссертационного исследования кандидат физико-математических наук Шанько, Юрий Вадимович, 1997 год

Литература

[1] Ламб Г. Гидродинамика. М.: Гостехиздат, 1947. 925 с.

[2] Бэтчелор Дж. Введение в динамику жидкости. М.: Мир, 1973. 758 с.

[3] Кочин Н.Е., Кибелъ И.А., Розе Н.В. Теоретическая гидромеханика. М.: Физматгиз, 4.1, 1963. 925 е., 4.2, 1963. 728 с.

[4] Андреев В.К., Капцов О.В., Пухначев В.В., Родионов А.А. Применение теоретико-групповых методов в гидродинамике. Новосибирск: Наука, 1994. 319 с.

[5] Овсянников Л.В. Групповые свойства дифференциальных уравнений. Новосибирск: Изд-во СО АН СССР, 1962. 238 с.

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

[7] Ибрагимов Н.Х. Группы преобразований в математической физике. М.: 1983.

[8] Олвер П. Приложения групп Ли к дифференциальным уравнениям. М.: 1989.

[9] Биркгоф Г. Гидродинамика. М.: ИЛ, 1963.

[10] Аннин Б.Д., Бытев В.О., Сенатов С.И. Групповые свойства уравнений упругости и пластичности. Новосибирск: Наука, 1985.

[11] Фущич В.И., Никитин А.Г. Симметрия уравнений квантовой механики. М.: Наука, 1990. 400 с.

[12] Овсянников Л.В. Программа ПОДМОДЕЛИ. Новосибирск: 1992.

[13] Овсянников Л.В. Программа ПОДМОДЕЛИ. Газовая динамика // ПММ. 1994. Т. 58. Вып .4. С. 30-55.

[14] Patera J., Winternitz P., Zassenhaus H. J. Math.Phys. 1975. Vol. 16. P. 15971614.

[15] Овсянников Л.В. Об оптимальных системах подалгебр. // Докл. РАН. 1993. Т. 333. № 6. С. 702-704.

[16] Комраков Б., Чурюмов А. Введение в алгебры Ли. Минск, 1992 (Препринт 4/ Международный центр "Софус Ли").

[17] Бучнев A.A. Группа Ли, допускаемая уравнениями идеальной несжимаемой жидкости. // Динамика сплошной среды. Новосибирск: ИГ СО АН СССР, 1971. Вып. 7. С. 212-214.

[18] Хабиров C.B. О структуре псевдогруппы, допускаемой уравнениями идеальной несжимаемой жидкости. // Динамика сплошной среды. Новосибирск: ИГ СО АН СССР, 1976. Вып. 24. С. 105-114.

[19] Андреев В.К., Родионов A.A. Групповая классификация и точные решения уравнений плоского и вращательно-симметричного течения идеальной жидкости в лагранжевых координатах. // Дифференциальные уравнения. 1988. Т. 24. С. 1577-1586.

[20] Андреев В.К., Родионов A.A. Групповые свойства уравнений вращательно-симметричного течения неоднородной жидкости в лагранжевых координатах. // Сб.: Краевые уравнения математической физики. Красноярск: 1987. С. 27-37.

[21] Капитанский Л.В. Групповой анализ уравнений Навье-Стокса при вращательной симметрии и некоторые новые точные решения / / Заметки научного семинара ЛОМИ. 1979. Т. 84. С. 89-107.

[22] Капитанский Л.В. Групповой анализ уравнений Навье-Стокса и Эйлера при наличии вращательной симметрии и новые точные решения этих уравнений// Докл. АН СССР. 1978. Т. 243. № 4. С. 901-904.

[23] Налимов В.И., Пухначев В.И. Неустановившиеся движения идеальной жидкости со свободной границей. Новосибирск: Изд-во НГУ. 1975. 173 с.

[24] Капцов О.В. Стационарные вихревые структуры в идеальной жидкости. // ЖЭТФ. 1990. Т. 98. Вып. 2. С. 532-541.

[25] Капцов О.В. Новые решения двумерных стационарных уравнений Эйлера // ПММ. 1990. Т. 54. Вып .3. С. 409-415.

[26] Fushchych W.} Popouiych R. Symmetry reduction and exact solutions of the Navier-Stokes equations. I // Nonlinear mathematical physics. 1994. V. 1. N2 1. P. 75-113.

[27] Fushchych W., Popowych R. Symmetry reduction and exact solutions of the Navier-Stokes equations. II // Nonlinear mathematical physics. 1994. V. 1. № 2. P 158-188.

[28] Еругин H.B., Смирнов M.M. Функционально-инвариантные решения дифференциальных уравнений // Дифференц. уравнения. 1981. Т. 17. № 5. С. 853-865.

[29] Шанько Ю.В., Капцов О.В. Оптимальные системы подалгебр и инвариантные решения ранга два для трехмерных уравнений Эйлера. // Дифференциальные уравнения. 1994. Т. 30. № 10. С. 1814-1819.

[30] Шанько Ю.В. О некоторых классах вихревых осесимметричных структур. // Вычислительные технологии. Новосибирск. 1995. Т. 4. № 13. С. 321— 325.

[31] Шанъко Ю.В. О точных решениях осесимметричных уравнений Эйлера. // ПММ. 1996. Т. 60. № 3. С. 438-442.

[32] Шанъко Ю.В. Некоторые классы плоских стационарных течений стратифицированной жидкости. Препринт ВЦК СО РАН № 12. Красноярск. 1996. 13 с.

[33] Шанъко Ю.В. О некоторых классах плоских стационарных течений стратифицированной жидкости. // Математические модели и численные методы механики сплошных сред. Тезисы докладов Международной конференции. Новосибирск. 1996. С. 511-512.

[34] Смирнов В.И., Соболев С.Л. Новый метод решения плоской задачи упругих колебаний. // Тр. сейсмол. ин-та, 1932. вып.20. С. 1-37.

[35] Овсянников Л.В.. О свойстве х-автономии. // Докл. РАН. 1993. Т. 330. № 5. С. 559-561.

[36] Йи Чиа-шун. Волновые движения в слоистых жидкостях // Нелинейные волны. М.: Мир, 1977.