Исследование по проблеме обобщенного и неполного разделения переменных в нелинейных задачах тема диссертации и автореферата по ВАК РФ 01.01.02, кандидат физико-математических наук Жарова, Наталия Валентиновна

• Жарова, Наталия Валентиновна
• кандидат физико-математических наук
• 2008

Оглавление диссертации кандидат физико-математических наук Жарова, Наталия Валентиновна

Введение.

Глава 1. Некоторые классы уравнении, допускающих обобщенное

разделение переменных.

§1.1 Анализ методов, основанных на леммах Э.Р. Розендорна и

М.Х. Мартина.

§1.2 Линейные уравнения с частными производными.

§1.3 Уравнения с частными производными со степенными нелинейностями

§1.4 Нелинейные уравнения более общего вида; достаточные условия применимости основной леммы.

§1.5 Некоторые классы уравнений, не имеющих решений в виде суммы функций одного аргумента.

§1.6 Некоторые классы уравнений, не имеющие решений в виде произведения функций одного аргумента.

§1.7 Системы трех функций и их подсистемы, не являющиеся базисными.

§1.8 Выводы по главе 1.

Глава 2. Разделение переменных в одном классе нелинейных систем и его применение к задачам метеорологии.

§2.1 Постановка вопроса.

§2.2 Формулировка результата.

§2.3 Замечания о тропических циклонах.

§2.4 Применение результата.

§2.5 Граничные условия.

§2.6 Анализ результатов численного эксперимента.

§2.7 Выводы по главе 2.

Глава 3. Неполное разделение переменных.

§3.1 Описание метода.

§3.2 Решения в виде суммы функций с неполным разделением переменных

§3.3 Решения в виде произведения функций с неполным разделением переменных.

§3.4 Выводы по главе 3.

Введение диссертации (часть автореферата) на тему «Исследование по проблеме обобщенного и неполного разделения переменных в нелинейных задачах»

Математическое описание многих физических процессов приводит к уравнениям с частными производными, одним из основных методов поиска точных решений которых является метод Фурье разделения переменных, когда после подстановки специального вида решения и(х) + v(y) или u(x)v(y) получается уравнение, левая часть которого не зависит от х, а правая — от у. Будучи равными между собой, обе части уравнения не зависят ни от х, ни от у, и, следовательно, равны некоторой постоянной; поэтому мы приходим к дифференциальным уравнениям на функции одного переменного. Если же после подстановки специального вида решения правая часть равна 0, а левая часть является суммой произведений функций одного переменного, содержащей более двух слагаемых, то применение леммы Фурье невозможно. В этом случае мы будем говорить об обобщенном разделении переменных.

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

Лемма [21]. Пусть а = {cti(xi),., «„(zi)} - система п функций, заданных на промежутке 1\ числовой оси ОХ, (3 = {(З^х^), • • •, Pnfa)} система п функций, заданных на промежутке h числовой оси OY. Пусть, кроме того, ai(xi)(3i{x2) + . + an{xi)(3n{x2) = 0 на h х /2, (0.1) тогда rank а + rank /3 < п.

Если при этом {а\,., ар} максимальная линейная независимая подсистема в а, причем р atp+k = dkiCXi' = Я = п~р, г=1 то функции (3{,. ,/Зр линейно выражаются через {Зр+1,. ,/Зп, а именно я

А = - i = k=1

Иногда эту лемму нетрудно применять непосредственно; особенно когда речь идет о поиске решения специального вида.

Пример 0.1. Пусть а и 6 - постоянные, причем а ф 0. Выясним при каких значениях b уравнение

62zd2z 1 , . имеет решения вида г = и(х) 4- v(y) и найдем эти решения.

Решение: подставим z = и(х) 4- v(y) в уравнение (0.2) и для того чтобы воспользоваться основной леммой, выпишем полученные системы функций. u"(x)v"(y) - ах - by = 0 (0.3) а = {и", ах, 1 }

0 = {v",-l ,-Ъу}

По условию а ф 0, следовательно, функции 1 и ах - линейно независимы, и rank а > 2. Если b ф 0, то аналогично получаем, что rank/З > 2, и, следовательно, rank а + rank f3 > 4, что противоречит основной лемме, которая утверждает, что rank а + rank /3 < 3.

Таким образом, единственно возможный вариант: Ъ = 0. Тогда уравнение (0.3) принимает вид u"(x)v"(y) = ах и может быть решено методом Фурье разделения переменных. J х = Л> «/»"(*)

X v"(y) а & Л'

Г и(х) = + Cix + Сз, \ *>(*/) =txy2 + C2y + C,.

Ответ: z{x,y) = + fxy2 + Слх+С2у + С, Л, Съ С2, С = const,, А ^ 0. В других случаях при применении основной леммы требуется перебор возможных вариантов выбора базисных подсистем, трудоемкость которого зависит от числа слагаемых.

В работе [21] лемма применялась для нахождения некоторых классов частных решений уравнения Монжа-Ампера переменного типа

ZxxZyy ~ {zxyf + aV* = 0, (0.4) где а - заданный постоянный ненулевой вектор, Vz — градиент искомого решения z = z(x, у). Решения искались в виде произведения функций одного переменного z = X(x)Y(y). (0.5)

Было доказано [21,44], что если решение z е С2 уравнения (0.4) имеет вид (0.5) и не сводится к функции одного аргумента, то оно выражается формулой ^ z = ¥~c ^х ~ с("у ~ + z° при С = | х2 Ук{у), где Yk — любая из функций

У\ = У, У2 = tg у, У3 = th у, У4 = cthy, У5 = - ctg у, а посредством xq, уо, zq, ь, с обозначены произвольные постоянные, удовлетворяющие условиям b Ф 0, с ф 0.

Как было отмечено в [21], лемма Э.Р. Розендорна справедлива в линейном пространстве функций, заданных на множестве вида I\ х /2, где 1о — открытые множества в топологических пространствах; х: у — независимые аргументы, х £ Д, у € /2.

Ранее уравнение с разделяющимися переменными вида (0.1) было рассмотрено в работах Мартина [38,39]. Однако в них применялся несколько иной, геометрический подход для поиска решений с разделяющимися переменными.

Определение (М.Н. Martin [39]).

Две точки и и v называются ортогональными, если их координаты um, vm п удовлетворяют линейному соотношению umvm = 0. m= 1

Два множества М, N ортогональны, если любые две точки u,v такие что u G М, v е N — ортогональны.

Лемма ( Martin М.Н. [38, 39])

Для того чтобы для функций #](&■),., otn(x), (3i(y),. ,0п(у) выполнять лось равенство ]Г] ат(х)Зт(у) — 0 необходимо и достаточно, чтобы крит= 1 вые М : ит = ат(х), N : vm — /Зт{у) принадлежали линейным подпространствам п

Sp ' Ьктитп — 0, к = 1,

777 = 1

П

Tq : £ ClimVm = 0, г = р + q = п,

7тг=1 ортогональным в начале координат.

Пусть ранги матриц А = (aim)i=Tj,m=Tji> в = (bkm)k=T7q,m=TJi равны р и q соответственно. Линейные подпространства Зр и Tq ортогональны в на,чале координат, тогда и только тогда, когда

-- = const,

В к !.kq где Аи минор размерности р , образовашшй столбцами i\,., ip матрицы A; — минор размерности q , образованный столбцами к\,.,кч матрицы В; и индексы ц,. ,гр, к\,., kq образуют четную перестановку чисел 1,., п.

Поскольку леммы Э.Р. Розендорна и М.Х. Мартина приводят к равносильным условиям на функции ах(ж),. ,/Зп(у), то между этими условиями должна существовать алгебраическая взаимосвязь. В диссертации показано как из условий на неизвестные и на заданные функции исходного уравнения, возникающих при применении одной из лемм, получить условия другой леммы; и наоборот.

В [38] лемма Мартина применена к уравнению

А-ф + е(у)фу = 0, (0.6) где е(у) — некоторая аналитическая функция переменного у. После замены координат в уравнении (0.6) = + (у - Ь)2)2, у = у найдены решения вида ф = X(£)Y(y) для некоторых специальных классов е(у).

В [39] лемма Мартина использована для поиска частных решений уравнения Лапласа ихх 4- иуу = 0, (0.7) представимых в виде и = и(Х(х) -f У (у))- Причем найдены все действительные решения указанного вида. Кроме того, в качестве примера, найдено комплексное решение вида (0.7), такое что после выделения его действительной и мнимой частей получаются два действительных решения, уже не принадлежащих к искомому классу.

В [8] результаты [39] применены к задаче разделения переменных для уравнений Lu(x,y) + R(x,y) — 0, где R — известная "разделяющаяся" вектор функция, то есть функция, компоненты которой представимы в виде суммы произведений функций одного переменного; L — разделяющий оператор, определенный на некотором множестве вектор-функций от двух переменных. Оператор назван разделяющим, если существуют совокупности операторов Щк х и ^Ly (hj>s>k ~ некоторые натуральные числа) таких, что действуют только по переменной х. a L'Jk только по переменной у, и для всех вектор-функций вида i i у) = Хц(х)Уц(у), • • •, Xni(z)Yni(y)), i=l i= 1 на которых определен оператор L,

П Щк I. п П1пк !■

Lu = (£ Е Е • ■ ■ ■ Е Е Е vL^mW^. fc^l i=l j-1 fc=l г=1

Кроме того, рассмотрено обобщение этой задачи на случай тензорного произведения двух сепарабсльных гильбертовых прстанств, и приведена теорема, обосновывающая использованный метод.

Ниже речь пойдет о действительных функциях действительного аргуменп та и о точных решениях вида 2(ж, у) = щ(я)щ(у)■ Ранее такой вид частных г=1 решений уже использовался рядом авторов (см. [3,4.15,16,26-28, 36]).

В работе [26] рассмотрен вопрос о представимости решений линейных уравнений с частными производными с двумя независимыми переменными в виде "конечных сумм"; получено достаточное условие такой представимости и указаны некоторые классы уравнений, к которым оно применимо. В качестве примеров найдены новые точные решеиия преобразованного уравнения минимальных поверхностей и уравнения Трикоми. В [27] сформулирован метод "конечных колец", и для ряда уравнений получены решения, не являющиеся многочленами ни по одной из переменных. В [28] для уравнений математической физики с особенностями изложены методы построения оо решений в виде специальных степенных рядов u(x,t) = Qmn{t)Smn(x), т,п—О дана строгая постанока задачи о рекурентности вычисления коэффициентов, доказаны нетривиальные теоремы о сходимости этих рядов.

В работе [3] предложен способ построения точных решений вида v(t,x) = ip(t)[<ip(t) + e(x)} (0.8) квазилинейных параболических уравнений нелинейной теплопроводности с источником. Показано, что в ряде случаев функцию в(х) можно выбрать так. что после подстановки выражения (0.8) в соответствующее параболическое уравнение для функций ip(t), ift(t) получается система двух обыкновенных дифференциальных уравнений.

В работах [4,36] представлен более общий, чем в [3]. подход к поиску подобных точных решений для нелинейных дифференциальных уравнений с частными производными вида Tp(v) = Xq(v), где Тр(о) — многочлен степени р от функции v(x, t) и ее производных по t £ 1R, a Xg(v) — многочлен степени q от функции и и ее производных по х € JR. Решения ищутся в виде к г=1 где fi(x),a,i(t), i = 1,к — некоторые гладкие функции, подлежащие определению.

Основная идея метода, использованного в [36] при решении уравнения с квадратичными нелинейностями вида Т1^) = X2(v), состоит в требовании, чтобы ^-мерное линейное пространство Wk = £{/i,., являющееся линейной оболочкой функций /1,., (предполагалось, что они линейно независимы), было инвариантным относительно нелинейного опрератора Х2{-) : X2(Wk) С Wk- Очевидно, что эта задача непосредственно связана с проблемой отыскания конечномерных линейных пространств, инвариантных относительно заданного оператора .Х2(-)

В [4] рассматривалось уравнение вида Г2 (г?) = X2(v) с постоянными коэффициентами. Решения искались в виде (0.9). Предполагалось, что функции «1 (t), . ,as(t) составляют базис пространства

4 = С{1, {а*}, {didj, i < .7'}}, а функции fi(x),., fr(x) — базис пространства f = £{i,{fi},Wi>i<j}} где через £(•) обозначена линейная оболочка векторов); тогда, разложив обе части уравнения T2{v) = Х2(и) но соответствующим базисам, авторы [36] пришли к соотношению

Г S №{аи ., ак) = X) *Mfi> •••,/*), (°-10) i~l i= 1 в котором коэффициенты Fj, зависят от функций ai,., и их производных, а коэффициенты А{ — от функций /i, и их производных.

Как указано в [4] соотношение (0.10) может быть выполнено, если найдутся такие постоянные {Apj}, что я

Fi(cn,. ,ак) = apApi, р= 1 откуда следует, что функции {/$} удовлетворяют системе уравнений г л(/ъ./*) = £/<р= г=1

Здесь следует отметить, что описанный метод обобщенного разделения переменных является частным случаем леммы Розендорна [21], когда базисные подсистемы выбираются среди функций 1, {с^}, {aiaj, г < j}, а частные производные по t от функций ai(t) в базисные подсистемы не входят. Но для примеров, рассмотренных в [36] и [4] (когда присутствует .лишь одно слагаемое, содержащее производные по времени), этот метод дает те же решения вида (0.9), что и основная лемма.

Инвариантно-групповые аспекты этой проблемы рассматривались в [5, 6,

20].

В [15] был рассмотрен класс дифференциальных уравнений с частными производными вида

Еп Г . . d2w dvu пЫщ + где F— заданный нелинейный дифференциальный оператор, зависящий от w и ряда независимых переменных xm+i,. ,xj?. которые не входят явно в левую часть уравнения. Функция w искалась в виде w = w(r; . , т г2 = (Pi(xi) и за счет уменьшения числа независимых переменных опиг=1 сывалась более простым уравнением. Неизвестные функции <Pi(xi). а также Pi(xi) и qi(xi) определялись в ходе исследования.

В [16,18] приведены два метода (дифференцирования и расщепления) решения функционально-дифференциального уравнения

Ф1(Х)Фг(У) + . + Ф„(Х)Ф„(У) = 0, (0.11) полученного после подстановки частного вида решения п

Х'У) = ^Vi&tyiiy) i=l в исходное уравнение. Метод дифференцирования, изложенный в [16,18], дает все решения функционального уравнения (0.11), однако приводит к увеличению порядка исходного уравнения и появлению констант интегрирования, которые надо убирать на заключительном этапе. Метод расщепления из [16] является частным случаем основной леммы [21], когда число функций в базисной подсистеме равно | в случае четного п и ^ в случае нечетного п. В [18] метод расщепления распространяется на случай любого числа функций в базисной подсистеме, однако не предполагает перебора всех вариантов базисных подсистем, что может привести к потере решений искомого вида.

В этих же работах описано функциональное разделение переменных, когда точные решения ищутся в виде п w(x, у) = F(С), С = 4>т(х)фт{у).

В [16] этод метод применен к уравнениям теплопроводности с нелинейным источником.

Ранее, в работах [1, 37, 40, 43] были описаны все нелинейные уравнения теории волн и теории теплопроводности вида дци> dxxw = f(w), которые допускают точные решения с функциональным разделением переменных w(x, t) = F{(), С = <р(х) + (0.12)

Одномерное нестационарное уравнение теплопроводности dtw = dx[f(w)dxw], имеющее решения вида (0.12), описаны в [35].

В работах [7, 14, 17, 18] рассмотрено много нелинейных уравнений математической физики разных типов (в том числе и уравнений, зависящих от произвольных функций), которые допускают решения с обобщенным и функциональным разделением переменных.

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

Однако применимость метода еще не гарантирует наличие решений специального вида, поскольку в результате применения леммы получается переопределенная система дифференциальных уравнений, которая может не иметь решений. В диссертационной работе выделены классы уравнений, которые заведомо не имеют решений вида u(xi) 4- v(x2) или u(x{)v{x2).

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

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

Пусть €ij(x),r)jj(y) — фиксированные элементы линейных пространств функций Ь{1\), L(I2), где I\J2 — открытые множества в линейных пространствах размерности а и г соответственно; х, у — независимые аргументы, х = (хи ■ ■ ■, av) € h, у = (yi, .,ут)е h

Ui(x,y), U2{x,y) — искомые функции на множестве Ji х 12, то есть принадлежащие линейному пространству L{I\ х 12).

Gi(Ui, U2), г — 1,2, — операторы, действующие из L{h х h) х L{I] х 12) в L(Ii х 12).

Рассмотрим систему уравнений: ' (у) + Ых)Ш2{уШ(х, у) + Gl(U1(x, у)-, U2(x, у)) = = Ы{х)тз{у) + Ы{х)т)и(у), Гп -| о\

Ы®)Ыу) + Ых)Ыу)Шх, у) + G2(U1(x, у)-и2(х, у)) = {иЛ6) , = ы{х)г]2ъ{у) + ы{х)г]2а{у)

Предположим, что для операторов Gi существуют такие операторы i7^-, что для функций вида

Ul{x,y) = Al{x)Bl{y), U2(x,y)=A2(x)B2(y), где Ai, В{ф 0, выполняются тождества

Gi(Ub U2) = Fn(Ai; А2) ■ Ft2(BVi ДО, i = 1,2. (0.15)

В диссертации сформулированы 4 типа условий А,. ,Г на функции и щ, такие что если тождества (0.15) выполнены, тогда система уравнений (0.13) имеет решения в виде (0.14) при выполнении любой из четырех групп условий А,.,Г. При этом найдены все решения указанного вида. если тождества (0.15) выполнены, заданные функции таковы, что системы ii;£i2>, {vn;vr2}, {61562} " {7721^22} линейно независимы, и если ни одна из четырех групп условий А-Г не имеет место, то система уравнений (0.13) не имеет решений вида (0.14).

Система вида (0.13) возникает, в частности, при построении модели тропического циклона.

По данным аэрофотосъемки с внешней стороны циклон может быть представлен в виде цилиндра высотой до 15 километров. Одной из удивительных и отличительных черт ураганов и тайфунов является так называемый глаз бури - более или менее круговая центральная область 5-50 км в диаметре. Иногда диаметр глаза достигает 300 км. В глазе приземное давление минимально, облаков на верхних и средних уровнях почти нет, ветры слабые, направление их изменчиво. На нижних уровнях (ниже высоты 1000 м) облачность присутствует почти всегда, что свидетельствует о слабой конвекции внизу. Глаз окружен стеной мощных облаков (стена глаза), достигающих тропопаузы. На некотором расстоянии от стены глаза, с внешней ее стороны, тангенциальная скорость ветра достигает максимального значения. Обычно глаз образуется в циклоне, когда давление в центре опускается ниже 985

0.14) гПа. При выходе циклона на сушу глаз сначала приобретает эллиптическую форму, затем исчезает.

В глазе циклона температура выше, чем в его окружении, причем превышение температуры над фоновой AT (на периферии циклона) максимально на изобарических поверхностях 250-300 гПа и составляет 10 — 12°С. Максимальная зарегистрированная величина AT равнялась 25°С. Относительная влажность в глазе в нижней тропосфере составляет 80-90%, что ниже, чем в стене глаза, но значительно превышает (на 10-30%) относительную влажность в средней тропической атмосфере в период ураганов.

В большей части шторма существует сильная циклоническая циркуляция.

Воздух, втекающий в циклон па нижних уровнях за счет адвекции относительного момента импульса и его генерации под действием силы Корио-лиса (то есть адвекции абсолютного момента импульса), увеличивает свою тангенциальную скорость о приближением к центру циклона. Потери момента импульса при трении о поверхность несколько уменьшают скорость нарастания v. С увеличением v и уменьшением г растет центробежная сила, которая на некотором расстоянии от центра циклона становится больше силы градиента давления. В результате равнодействующая сила меняет знак и становится направленной от центра. Направленная к центру радиальная составляющая скорости ветра быстро уменьшается до нуля или даже меняет направление. Воздух начинает подниматься (в основном в мощных кучевых облаках), образуя стену глаза, а в самом глазе бури нисходящее движение.

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

В третьей главе речь пойдет о неполном разделении переменных, когда решение разделяется по пространственным переменным х\,., хп, но не разделяется по времени t. Некоторые классы линейных и нелинейных уравнений с частными производными, которые допускают решения в виде суммы или произведения функций с неполным разделением переменных w(xu ., хп, t) = wi(xu t) + . + wn(xn, t) (0.16) w{xi,xn, t) = Wi(xi,t) • . • wn(xn, £), (0.17) описаны в [13]. В [14] проведено неполное разделение переменных в уравнениях пограничного слоя.

В диссертации обобщаются классы уравнений, описанные в [13], которые допускают точные решения с неполным разделением переменных.

В результате неполного разделения переменных в методе А.Д. Полянина при поиске частных решений в виде (0.16) или (0.17) исходное уравнение сводится к системе уравнений с частными производными на функции двух переменных Wk(xк, t). Эти уравнения содержат произвольные функции Afc(£), п на которые накладывается единственное условие ^ А*, (г) = 0. В диссертации ь= 1 для ряда классов нелинейных уравнений показано, что в результате выбора Ak{t) не всегда получается новое решение исходного уравнения. А именно [45]: решение (0.16) или (0.17) можно представить в виде w(xi,., хп, t) = w{(xi,t) + .+ w^(xn, t) + Ф(£), или w(xu ■ ■ ■ = w[(xut) •. ■ vTn(xn,t) • где Wk(t) получены при Ak(t) = 0, а Ф(4) задается дифференциальным уравнением, порядок старшей производной которого равен наибольшему порядку частной производной по времени в исходном уравнении.

Автор выражает благодарность своему научному руководителю Эмилю Ренольдовичу Розендорну за плодотворные обсуждения поставленных задач и постоянную поддержку.

Заключение диссертации по теме «Дифференциальные уравнения», Жарова, Наталия Валентиновна

§3.4. Выводы по главе 3.

В Третьей главе рассматривается метод неполного разделения переменных, то есть решения разделяются по пространственным переменным, но не разделяются по времени. Метод применяется А.Д. Поляниным. В работах [14,13] построено много классов, допускающих неполное разделение переменных. В настоящей диссертации расширены некоторые классы, рассмотренные А.Д. Поляниным. И показано, что в определенном смысле полученные классы являются максимальными. А именно найдены достаточные условия на произвольные функции, задействованные в уравнениях, при которых эти уравнения допускают решения в виде суммы или произведения функций с неполным разделением переменных.

Метод А.Д. Полянина заключается в сведении исходного уравнения с подставленным в него искомым решением специального вида к системе уравнений с частными производными на функции двух аргументов: пространственной координаты и времени. В получаемых таким образом уравнениях после применения метода появляются произвольные функции переменного времени, которые связаны единственным соотношением: их сумма равна нулю. В диссертации показано, что для определенных классов уравнений влияние на итоговые решения произвольных функций переменного времени определяется решением вспомогательного дифференциального уравнения.

Заключение.

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

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

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

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

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

Список литературы диссертационного исследования кандидат физико-математических наук Жарова, Наталия Валентиновна, 2008 год

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

2. Белов П.Н. Численные методы прогноза погоды,- JL: Гидрометеоиздат, 1975, 392 с.

3. Галактионов В А., Поеашков С.А. О новых точных решениях параболических уравнений с квадратичными нелинейностями. j j Журн. вычислит. математики и мат. физики, 1989, Т. 29, № 4, С. 497-506.

4. Галактионов В. А., Поеашков СА., Свирщевский С.Р. Обобщенное разделение переменных для дифференциальных уравнений с полиномиальными нелинейностями. // Дифференц. уравнения, 1995, Т. 31, № 2, С. 253261.

5. Дородницын В А. Об инвариантных решениях уравнения нелинейной теплопроводности с источником. // Журн. вычислит, математики и матем. физики, 1982, Т. 22, № 6, С. 1393-1400.

6. Дородницын В.А., Князева И.В., Свирщевский С.Р. Групповые свойства уравнения нелинейной теплопроводности с источником в двумерном и трехмерном случаях. // Дифференц. уравнения, 1983, № 7, С. 1215-1223.

7. Зайцев В.Ф., Полянин А.Д. Справочник по дифференциальным уравнениям с частными производными: Точные решения М.: Междунар. программа образования, 1996, 496 с.

8. Каленюк П.И. Обобщение метода разделения переменных. //Укр. матем. журнал, 1974, Т. 26, № 5, С. 652-657.

9. Коэ/сухов И.Б., Прокофьев А.А. Справочник по математике М.: Лист, 1999, С. 537-538.

10. Кудрявцев. Курс математического анализа. М.: Высшая школа, 1981. Т.' 1, 687 с.

11. Kyo X.JI. Динамика конвективных вихрей и образование галаза. В кн.: Атмосфера и океан в движении. М., Изд-во иностр. лит-ры, 1963, с. 237-251.

12. Моисеев С.С., Сагдеев Р.З., Тур А.В., Хоменко Г.А. Шукуров A.M. Физический мехонизм усиления вихревых возмущений в атмосфере.// Доклады АН СССР, 1983, Т. 273, № 3, С. 549-553.

13. Полянин А.Д. Неполное разделение переменных в нестационарных задачах механики и математической физики. // Докл. РАН, 2000, Т. 375, № 4, С. 476-480.

14. Полянин А.Д. Преобразованные и точные решения уравнений пограничного слоя, содержащие произвольные функции. // Докл. РАН, 2001,1. Т. 379, № 3, С. 334-339.

15. Полянин А.Д., Журов А.И. Точные решения нелинейных уравнений механики и математической физики. // Докл. РАН, 1998, Т. 360, jVs 5, С. 640-644.

16. Полянин АД., Журов А.И. Обобщенное и функциональное разделение переменных в математической физике и механике. // Докл. РАН, 2002, Т. 382, № 5, С. 606-611.

17. Полянин АД., Зайцев В.Ф. Справочник по нелинейным уравнениям математической физики: Точные решения М.: Физматлит, 2000, 432 с.

18. Полянин АД., Зайцев В.Ф., Журов А.И. Методы решения нелинейных уравнений математической физики и механики,- М.: Физматлит, 2005, 256 с.

19. Понтрягин Л.С. Обыкновенные дифференциальные уравнения- М.: Наука, 1970, 400 с.

20. Пухначев В.В. Групповые свойства уравнений Навье-Стокса. // Журн. прикл. механики и матем. физики. 1960, № 1, С. 83-90.

21. Розендорн Э.Р. Некоторые классы частных решений уравнения zxxzyy — zxy + agrad£ = 0 и их приложение к задачам метеорологии. // Вестн. Моск. Ун-та. Сер. 1, Математика. Механика. 1984, Jf* 2, С. 56-58.

22. Розендорн Э.Р., Сидякина В.Н. К вопросу о вычислении радиальной составляющей скорости ветра в модели тропического циклона. // Труды ГМЦ СССР, 1979, вып. 190, с. 111-119. ,.

23. Седое Л.И. Механика сплошной среды: в 2 т.- Т. 1- СПб.: Изд. "Лань", 2004, 528 с.

24. Слезкин Н.А. Гидродинамическая модель тайфуна с учетом вращения Земли. //Изв. АН СССР, Физика атм. и океана, 1990, Т 26, № 5, С. 493-501.

25. Тверской П.Н. Курс метеорологии (Физика атмосферы).- JL: Гидромет-издат, 1962, 700 с.

26. Титов С. С. О представлении решений линейных уравнений с частными производными в виде конечных сумм. //Матем. заметки, 1976, Т. 20, № 3, С. 359-363.

27. Титов С. С. Метод конечных колец для решения нелинейных дифференциальных уравнений движения вязкой жидкости Аэродинамика: Меж-вуз. науч. сб. Саратов. 1988, вып. 11, С. 104-110.

28. Титов С. С. Решения уравнений с особенностями в аналитических шкалах банаховых ирстранств. Препринт УралГАХА. Екатеринбург. 1999. 264 с.

29. Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления. М.Физматлит, 8 изд., Т.1, 1970 с.

30. Хаин А.П., Агренич Е.А. О способах расчета угла поворота ветра в пограничном слое тропического циклона. //Труды ГМЦ СССР, 1981, вып. 224, С.64-70.

31. Чаплыгин С.А. Один случай вихревого движения жидкости. Трофиз. 1992, Т XI; Поли. собр. соч., 1933, Т 1.

32. Шулейкин В.В. Расчет развития, движения и затухания тропических ураганов и главных волн, создаваемых ураганами. JI: Гидрометеоиздат, 1978, 96 с.

33. Математический энциклопедический словарь.- М.: Сов. энциклопедия, 1988. С.423.

34. Deardoff J. W. Parameterization of the planetary boundary layer for use in general circulation models. //Mon.Wea.Rev. vol. 10, № 2, p. 93-106

35. Doyle P. W., Vassiliou P.J. Separation of variables for the 1-dimensional nonlinear diffusion equation, j j Intern. J. Non-Linear Mech. 1998, V. 33, № 2, P. 315-326.

36. Galaktionov VA. Invariant subspaces and new explicit solutions to evolution equations with quadratic nonlinearities. // Proc. Roy. Soc. Edinburgh. Scct. A. 1995, V. 125, № 2, P. 225-246.

37. Grundland A.M., Infeld E. A family of non-linear Klein-Gordon equations and their solutions. // J. Math. Phys. 1992, V. 33, № 7, P. 2498-2503.

38. Martin M.H. The fundamental solution of Аф 4- е(у)фу = 0// Duke Mathematical Journal, 1951, 18, P. 845-858.

39. Martin M.H. A Generalization of the method of separation of variables j j J. Rational Mech. and Analysis, 1953, V. 2, ДО 2, P. 315-327.

40. Miller J.(Jr.), Rubel L.A. Functional separation of variables for Laplace equation in two dimentions. // J. Phys. A. 26, 1993, V. 26, № 8, P. 1901-1913.

41. Rozanova O.S. Note on the typhoon eye trajectory. // Regular and chaotic dynamics, 2004, V.9, № 2, P.129-142.

42. Shercliff J.A. Simple Rotational Flows. // J.Fluid Mech., 1977, Vol 82, P. 687-703.

43. Zhdanov R.Z. Separation of variables in the non-linear wave equation. // J. Phys. A. 27, 1994, P. 291-297.

44. Жарова H.B. Обобщенное и неполное разделение переменных в некоторых классах уравнений с частными производными, //Деп. в ВИНИТИ 30.04.2003; !№ 846-В2003, 46 с.

45. Жарова Н.В. О неполном разделении переменных для некоторых классов уравнений с частными производными. // Вестн. Моск. Ун-та. Сер. 1, Математика. Механика. 2003, № 6, С. 42-46.

46. Жарова Н.В. Частное решение системы уравнений для одной модели тропического циклона. //ОПиПМ, 2005, Т. 12, Вып. 4, С. 955-956.