Научная статья на тему 'ТОЧНЫЕ РЕШЕНИЯ В НЕЛИНЕЙНОЙ МОДЕЛИ ТЕПЛОПЕРЕДАЧИ'

ТОЧНЫЕ РЕШЕНИЯ В НЕЛИНЕЙНОЙ МОДЕЛИ ТЕПЛОПЕРЕДАЧИ Текст научной статьи по специальности «Математика»

CC BY
53
8
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
НЕЛИНЕЙНОЕ УРАВНЕНИЕ ТЕПЛОПРОВОДНОСТИ / ТЕПЛОВАЯ ВОЛНА / ТОЧНОЕ РЕШЕНИЕ / ФАЗОВЫЙ ПОРТРЕТ / РЯД / NONLINEAR HEAT CONDUCTION EQUATION / HEAT WAVE / EXACT SOLUTION / PHASE PORTRAIT / SERIES

Аннотация научной статьи по математике, автор научной работы — Казаков Александр Леонидович, Кузнецов Павел Александрович

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

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Казаков Александр Леонидович, Кузнецов Павел Александрович

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

EXACT SOLUTIONS OF THE NONLINEAR HEAT CONDUCTION MODEL

This paper continues a large series of our publications devoted to solutions of the nonlinear heat conduction equation. The solutions are heat waves that propagate over a zero background with a finite velocity. We study the problem on constructing exact solutions of the considered type for the nonlinear heat conduction equation with a source (sink) and determining their properties. A feature of such solutions is that the parabolic type of the equation is degenerate at the front of a heat wave, therefore, properties unusual for parabolic equations appear. We consider two types of solutions. The first one is a simple wave that moves at a constant speed and has the form of a solitary wave (soliton). The second one is a heat wave with an exponential law of front motion. In both cases, the construction is reduced to Cauchy problems for second-order ordinary differential equations (ODEs), which inherit the singularity from the original problem. We construct phase portraits of ODEs and establish the properties of trajectories passing through singular points. Also, we obtain the power series expansions of the required solutions and estimate their convergence radii.

Текст научной работы на тему «ТОЧНЫЕ РЕШЕНИЯ В НЕЛИНЕЙНОЙ МОДЕЛИ ТЕПЛОПЕРЕДАЧИ»

УДК 517.958+519.633

DOI: 10.14529/ mmp200403

ТОЧНЫЕ РЕШЕНИЯ В НЕЛИНЕЙНОЙ МОДЕЛИ ТЕПЛОПЕРЕДАЧИ

А.Л. Казаков1, П.А. Кузнецов1

Институт динамики систем и теории управления имени В.М. Матросова СО РАН, г. Иркутск, Российская Федерация

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

Ключевые слова: нелинейное уравнение теплопроводности; тепловая волна; точное 'решение; фазовый портрет; ряд.

Введение

Рассмотрим нелинейное параболическое уравнение второго порядка

Ut = ф (U)xx + Ф (U), (1)

которое является весьма известным и популярным математическим объектом, поскольку обладает как интересными математическими свойствами, так и многочисленными приложениями. В физике и математическом моделировании (1) применяется (в различных формах) для описания процессов, протекающих в высокотемпературной плазме [1], фильтрации жидкостей и газов в пористых средах [2], популяционной динамики [3] и т.п. Математические свойства (1) исследуются в (без преувеличения) тысячах публикаций. Особого упоминания, по мнению авторов, заслуживают работы российских (советских) ученых: А.А. Самарского (с соавторами) [4], О.А. Ладыженской (с соавторами) [5] и фундаментальная монография испанского автора Х.Л. Вас-кеса [6].

Одной из интересных математических особенностей (1), которая, отметим, тесно связана с приложениями, является то, что в случае, когда Ф(0) = Ф(0) = 0, у него появляется один специфический класс решений. Последние, будучи, вообще говоря, нетривиальными и неотрицательными, обращаются в нуль на некотором многообразии: U|a(t,x)=o = 0. Такого рода решения иногда именуют тепловыми волнами [1] или волнами фильтрации [7]. По-видимому, впервые они были обнаружены в 40-е годы

прошлого столетия в связи с исследованиями процессов, происходящих после ядерного взрыва [8]. Несколько позднее подобные математические объекты были использованы для моделирования фильтрации газа в пористой среде [9]. Большое внимание таким решениям уделяется в научной школе А.Ф. Сидорова [7], в качестве инструмента исследования обычно применяется метод специальных рядов [10]. Среди работ, посвященных решениям упомянутого вида, особое место занимают работы С.Н. Ан-тонцева с соавторами (см., например, [11]), в которых (1) рассматривается с весьма общих позиций.

В литературе наиболее распространен случай степенных нелинейностей - когда Ф(U) и Ф(U) представляют собой степенные функции. Именно он является основным объектом рассмотрения в упомянутых выше классических работах [4,6,7]. Одним из ключевых направлений развития теории уравнений математической физики можно назвать построение и изучение точных решений [12]. В связи с точными решениями уравнения (1) со степенными нелинейностями могут быть упомянуты работы представителей научной школы А.А. Самарского [13], а также иркутских математиков [14].

1. Постановка задачи

Уравнение (1) в случае степенных нелинейностей с помощью простой замены (см., например, [15]) легко преобразуется к виду

ut = иихх Н—ui + au13. (2)

а

Будем предполагать, что уравнение фронта тепловой волны может быть разрешено относительно x и тогда условие на ее фронте следующее:

u(t,x)lx=a(t) = 0. (3)

Для задачи (2), (3) при ß Е N выполняются условия доказанной авторами ранее теоремы [15], которая обеспечивает существование и единственность нетривиального аналитического решения, меняющего знак при переходе через линию x = a(t). Неотрицательная часть указанного решения вкупе с тривиальным u = 0 (его существование при ß > 0 очевидно) образует уже упоминавшуюся тепловую волну, распространяющуюся по нулевому фону с конечной скоростью a'(t) < то.

Поскольку доказательство теоремы носит конструктивный характер и содержит рекуррентную процедуру построения решения в виде характеристического [16] ряда, его, в принципе, можно использовать для верификации результатов численных расчетов. Так, авторы имеют подобный опыт проверки с использованием отрезков рядов вычислений, выполненных с помощью алгоритмов на основе метода граничных элементов (МГЭ) [17,18] и разностной схемы [19]. Однако при нецелых значениях ß > 0 теорема, вообще говоря, неприменима, кроме того, радиус сходимости характеристического ряда, как правило, неизвестен и невелик. В этом контексте дополнительную актуальность приобретает проблема построения точных [12] решений, имеющих тип тепловой волны.

Ранее авторами данная проблематика рассматривалась как в частном случае а = 0 [20,21], так для уравнения (2) общего вида [15,22]. Были получены точные обобщенно-автомодельные решения u = u1(t)u2(x/a(t)) и решения в виде обобщенной бегущей волны u = u1(t)u2(x — a(t)). Они строятся в виде степенных рядов, для

которых в некоторых случаях найдены оценки радиусов сходимости [20]. Выполнен анализ свойств решений методами качественной теории [23] обыкновенных дифференциальных уравнений (ОДУ) [21,22].

В ходе исследований, проведенных в упомянутых выше работах авторов, остались некоторые открытые вопросы, представляющие интерес для области исследования. В частности, случай нецелых положительных значений в был разобран [24] не полностью даже для решений типа простой волны. Кроме того, напрашивается рассмотрение иных способов разделения переменных, например, когда функция и1 = и1(х), т.е. зависит не от г, как в опубликованных статьях, а от х. В рамках настоящей работы авторами получены результаты, позволяющие продвинуться в решении данных вопросов. В частности, для двух динамических систем, к которым сводится нахождение точных решений типа тепловой волны для (2), получены фазовые портреты, что позволило установить некоторые свойства решений. Кроме того, построены разложения последних в степенные ряды, анализ коэффициентов которых дал возможность оценить радиусы сходимости, а также сделать другие содержательные выводы.

2. Редукция к обыкновенным дифференциальным уравнениям

Вначале рассмотрим решения, имеющие тип бегущей волны. Пусть и = у(х — Подстановка данного выражения в (2) приводит к следующему ОДУ:

// (V)2 ' в

т" + + ¡IV1 + шг

0.

а

(4)

К уравнению (4) добавляем условия Коши

и(0) = 0, V(0) = — ра.

(5)

Первое из условий (5) является следствием (3), а второе обеспечивает совместность уравнения и существование нетривиального решения. Задача Коши (4), (5) будет предметом изучения в последующих разделах.

Также будем искать точное обобщенно-автомодельное решение (2), (3) в виде

и(г,х) = ф(х)ь(г), г = х/а(г).

Отметим, что данный способ получения решений искомого типа ранее нами не рассматривался. В результате постановки получим уравнение

а2 (г) а а2 (г)

ФЧх) ЫГ+11 +

1\ 2ф(х)ф'(х) .

_ ^ ^ >ш< +

а) а(г)

(Ф (х))2

а

+ ф(х)ф''(х)

хф(х)а'(г) . , в

а2(г)

(6)

Далее сделаем в (6) замену независимой переменной в = 1п г, в результате которой уравнение примет вид

ф2(х)

х2 ах2 а

1 ф(х) ф (х)

т +

х

(ф (х))2

а

+ ф(х)ф''(х)

хф(х)а'(Ь) , . в

+ 1 1 V + ок^(х)хР = 0. 7

а(Ь)

После приведения подобных и умножения обеих частей на х2/ф2(х) получим

ш" + -Ю2 +

а

2[1 + 1);т_1

а) ф(х)

vv' +

х

ф(х)

(Ф'(х))2 , ,„, л

+ ф {X)

а

v2+

+ ах2ф^~2(хУ = 0. (8)

а(Ь) ф(х)

Предложение 1. Уравнение (8) является ОДУ тогда и только тогда, когда 1) а = 0 или а = 0, в = 1; 2) ф = Ах2; 3) а(Ь) = ехр(ВЬ) или а(Ь)=Б, где А = 0 и В = 0 -произвольные константы.

Доказательство. Обоснование справедливости предложения состоит в последовательном рассмотрении всех коэффициентов в уравнении (8). При этом ф(х) определяется из алгебраического уравнения ф(х)/х2 = А, а а(Ь) - из дифференциального а'{а)/а{г) = В. □

Далее будем рассматривать случай, когда а(Ь) = ехр(ВЬ). В условиях предложения 1 уравнение (8) имеет вид

vv" + -(г/)2 + Г3 + - ) vv' + ( 2 + - ) v2 + ^-v' + ^v = 0. (9)

а \ а J \ а J A A

Пусть А = В > 0, а > 0. Тогда (9) несколько упрощается

т" + -V)2 + ^3 + ш' + ^2 + У2 + у' + ^У = 0. (10)

Для уравнения (10) рассматриваются условия Коши (5): первое из условий по-прежнему следует из (3), а второе обеспечивает совместность уравнения и существование нетривиального решения. Решение задачи (10), (5) (его существование и единственность следуют из ранее доказанной теоремы [15]) дает решение задачи (2), (3) вида

и = Вх2у(в), в = 1п г = 1пх — ВЬ.

При этом и|ж=ехр(Б4) = 0 приводит к у(0) = 0; при х ^ +0 имеем, что в ^ —то, т.е. решения задачи (10), (5) представляют для нас интерес на (—то, 0].

3. Качественный анализ

Для получения свойств решений задач (4), (5) и (10), (5) выполним их анализ методами качественной теории обыкновенных дифференциальных уравнений [23]. Рассмотрим обе задачи последовательно.

Вначале перейдем от уравнения (4) к динамической системе. Для этого предварительно сделаем замену независимой переменной и искомой функции. Пусть

у'(к) = р,Н = ув.

Тогда уравнение (4) запишется как

¿р р2

рггр-гг Н---Ь цр + о,п = 0.

¿п а

(11)

Поскольку при в > 0 справедливо равенство Vе|^=0 = 0, для уравнения (11) имеем, что условию (5) соответствует

р(0) = — ра. (12)

Теперь перейдем к эквивалентной динамической системе

ап

Ц = ^

аР 1 2

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

— =--р - цр- аП.

¿С а

(13)

Здесь параметризация выбрана таким образом, что ¿г = vd£.

Переход от уравнения (10) к динамической системе производится проще, последняя имеет вид

¿V

vw,

¿С

¿и 1 2 / 4\ / 4 — =--IV2-[3 + -)уи)-[2 + -

¿С а V а) \ а

2 а V —IV--—V.

В

(14)

Здесь также ¿г = vd£.

На рисунке изображены динамические портреты системы (13) (слева) и системы (14) для случая а/В < 1 (справа). Отметим, что левый рисунок ранее уже встречался в работе авторов [21], однако там он фигурировал применительно к уравнению (2) без источника (а = 0) и в несколько ином контексте.

Поскольку по смыслу рассматриваемой задачи (2), (3) нас интересуют неотрицательные значения V и П, представлены только правые полуплоскости. Можно видеть, что, несмотря на сходство фазовых портретов в первом квадранте, в четвертом квадранте имеются заметные различия в поведении фазовых траекторий, связанные с тем, что кривая второго порядка, на которой правая часть второго уравнения меняет знак (и, соответственно, фазовая траектория меняет направление движения относительно оси ординат), для системы (13) является параболой

р2 + рар + аак = 0, ветви которой направлены влево, а для системы (14) - гиперболой

-и;2 + ( 3 + - | оту + ( 2 + - | V2 + и; + = 0

(соответствующие линии изображены на рисунке пунктиром). Вследствие этого сепаратриса, разделяющая узловой и седловой сектора, в первом случае огибает узловой сектор, приходит в особую точку (0, —ра) и порождает решение задачи (4), (5), принимающее положительные значения на конечном интервале (—к*, 0), которое

Фазовые портреты систем (13) и (14)

ограничено сверху (см. [22]); во втором случае данная сепаратриса является монотонной кривой, вдоль которой у меняется от +то до 0, и порождает она решение задачи (10), (5), стремящееся к бесконечности при в ^ —то. Отметим, что случай а/В = 1 приводит к решению, которое может быть представлено в виде явной формулы (см. ниже), случай а/В > 1 требует отдельного рассмотрения, которое выходит за рамки данной работы.

4. Построение бегущей волны в виде ряда

Отметим, что степенные ряды используются для построения решений дифференциальных уравнений достаточно часто. Однако в современной математике классический метод степенных рядов [16], как правило, требует адаптации к исследуемой задаче. При этом коэффициенты могут быть представлены в виде самых разнообразных конструкций. Например, в работе Н.А. Сидорова и Д.Н. Сидорова [25] решение ОДУ приводится в виде степенного ряда с коэффициентами, зависящими от логарифмов. Отдельно упомянем метод специальных рядов [10] (см. также [7]).

Решение задачи Коши (11), (12) мы будем строить в виде ряда Тейлора

hn dn p

Рп

n=0

= dh

. (15)

h=0

Из начального условия (12) следует, что p0 = —^а. Остальные коэффициенты ряда (15) определим, применяя к уравнению (11) дифференциальный оператор Dn[.] = dn/dhn|w=0. При n =1 получим равенство

2

l3popi + —popí + HPi + Q' = 0, а

из которого выразим p1

й = мтЬгу (16)

При n = 2 и n = 3 имеем, соответственно,

2а2 _ 6(2 + 3а ß)a3

Р2 ~ aß3(l + aß)(l + 2 aß)' П ~ <тУ(1 + aß)2(l + 2aß)(l + 3aß)' ^ ^

На n-ом шаге имеем формулу

n— 1

£ [1 + aß(n - k)]CknPkPn—k

Рп = —-7—--, п> 2. (18)

oß(1 + naß)

Коэффициенты pn, n > 1 однозначно определены и положительны при а > 0.

Пусть теперь а > 0 и aß > 1. В этом частном случае авторам удалось получить оценки радиуса сходимости ряда (15). Для этого будем пользоваться следующей леммой.

Лемма 1. Коэффициенты (16)-(18) можно представить в виде

Pn = aß(1 + aß)

а

_aß2(1 + aß)

n !

—————г, n> 1, (19)

1 + naß - - J

где qn определяются из рекуррентного соотношения

n— 1

5i = ® = l, Qn=(l + (20)

f—f 1 + kaß k=1

Доказательство. Лемма легко доказывается подстановкой (19) в (18). □

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

Для исследования радиуса сходимости R воспользуемся формулой Адамара

R=\,L= lim f/S (21)

L n^<x у n!

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

Предложение 2. Для всех натуральных n > 1 справедливо неравенство qn > 1.

Доказательство. Неравенство qn > 1 справедливо при n = 1,2. Базис индукции выполнен. Предположим теперь, что qi > 1 при i = 33,..., n — 1. Пользуясь формулой (20), получаем неравенство

n— 1 n— 1 n— 1

so^+ <1>L

k=1 к k=1 к k=2 к

Предложение доказано. □

Предложение 3. Существует константа М > 1 такая, что для всех натуральных п > 1 справедливо неравенство дп < Мп-1 /п.

Доказательство. Чтобы выполнялся базис индукции д1 < 1, д2 < М/2, необходимо положить М > 2. Предположим теперь, что

М ^

дг < -, г = 3,тг — 1.

г

Следуя формуле (20), получаем оценку

п-1 /л | а\ п-1

1 + kaß" M (1 + kaß)k(n - k)'

Осталось показать, что существует константа M > 2, при которой выполняется неравенство

П-1 1 M

п \ _ < __22)

^(l + kaß)k(n-k) ~ (1 + aß)' { '

В силу равенства

1 -(aß)2 1 1

(1 + kaß)k(n - k) (1 + naß)(1 + kaß) nk n(1 + naß)(n - k)' левая часть (22) может быть преобразована как

1 t о\2 п—1Л n—± 1 Л 11,-1 Л

1 -(aß)2n ^ 1 v^ 1 1 v^ 1

n— 1 ^ / „42 n— 1 ^ n— 1 ^ n— 1

v _1_=-{aß)2n^ 1 1 V

yra Z^ n 4- brrR\b(<n - b\ 14- nrrR Z^ 1 I brrR b 14- nrrR Z^

k

—' (1 + kaß)k(n - k) 1 + naß ^ 1 + kaß ^ k 1 + naß ^ n - k =1 k=1 k=1 k=1

Z^ 1 i brri-i l 14- пггЯ / Z^ ь

1 + пав ^ 1 + кав \ 1 + пав ^ к к=1 4 7 к=1

Оценим уп, используя следующую лемму (ее доказательство носит характер упражнения для студентов и для краткости опускается).

Лемма 2. Для любого £ > 0 справедливо неравенство

П— 1 1 1,1 + £(п - 1)

(23)

к=1

Отсюда при ав > 1 следует оценка

-а[3п 1 / 1

Уп ~ 1 + па/3 ^ 1 + к + V + 1 + па/3) ^ к ~ к=1 4 7 к=1

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

2 n^ 1 1

1 + naß ^ 1 + k 1 + naß n n(1 + naß)

<

1

2

< 2 / n 1\ 1 1 2

- TTrwß V 11 2 + 2) + + 1 + naß ~ п ~ п(1 + naß)

<

<

2

+

2 In ^

+ 1 <

2

1 + 2aß 1 + naß - 1 + 2a ß Получаем, что константа M существует и равна

2

+ 2 max

ln-

iii 2

n>2 1 + naß

+ 1.

M = (1 + aß)

+ 2 max ■

ln-

iii 2

+1

1 + 2a ß n>2 1 + naß Предложение доказано. □

Добавим, что при aß = 1 значение M можно существенно уточнить. Действительно, yn в этом случае запишется в виде

1

Уп

n— 1

—n ^^ 1

n

n— 1

^ (1 + к)к(п - к) l + n^l + k

Е-

+ 1 +

1

n— 1 1

1

1 + n k ' k=i

n + 1

—1

n— 1

+ 1 +

1+k

k=1

(n + 2)(n — 1) 2

11

-+ 1 -

k + 1 n

(n + 1)n

+

n— 1

1

n + 1 k + 1 k=1

Пользуясь неравенством (23), получим оценку

^ (п + 2){п — 1) ,

У п < -7-"TT- +

(n + 1)n

2 1 n - - + In -

п+1V2 2

n+2

+

2 Inf

n + 1 n(n +1) n + 1

Таким образом, при aß =1 следует положить

M = 2 max

n>2

n+2

2

+

2 In 2

n +1 n(n +1) n + 1

2

n+2

2

+

21nf

n +1 n(n +1) n + 1

46 4ln3

+

n=6

21

7

Константа М приближенно равна 2, 818.

Определим теперь интервал, в котором лежит радиус сходимости К. Из доказанных предложений следует двойное неравенство

_ _ _ 1 _ _ _

aß(1 + aß)

а

aß2(1 + aß)_

1 + naß n!

а

aß2(1 + aß)_

qn

1 + naß

<

<

aß(1 + aß) M

aM

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

_aß2(1 + aß)

1

n(1 + naß)

По известной теореме математического анализа о трех последовательностях предел Ь (см. формулу (21)) существует и удовлетворяет неравенству

аМ

а

<L<

aß2(1 + aß)- - aß2(1 + aß) Тогда радиус сходимости ряда (15) лежит в интервале

'aß2(1 + aß) aß2(1 + aß)

R e

aM

а

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

1

1

2

n

5. Построение волны с экспоненциальным фронтом в виде ряда

Для построения и исследования решения в виде степенного ряда удобнее отказаться от замены в = 1п г и рассматривать уравнение (6). В условиях предложения 1 оно имеет вид

// К м2 Л А уУ ( 4\ V2 В . а .

"" + а М + (4 + Т + (2 + ? + Л? + А^ = Р4)

Для (24) имеем условия Коши

у(1) = 0, У'(1) = -а. (25)

Решение задачи (24), (25) интересует нас на интервале г £ (0,1]. Можно видеть, что (24) имеет особенность в точке г = 0. При этом из результатов качественного анализа следует, что ^ Для того чтобы раскрыть указанную особенность, сделаем

в (24) замену: введем новую искомую функцию I и новую независимую переменную £

I = г2V, С = г - 1.

После подстановки и приведения подобных слагаемых и умножения на (£ + 1)4 получим следующее уравнение:

//" + - (/О2 + С/' + /' + ??/ = 0. (26)

а

Здесь А = В > 0, а> 0, п = а/В — 2 > -2. Условия (25) примут вид

I(0) = 0, I'(0) = —а. (27)

Будем строить решение задачи (26), (27) в виде ряда по степеням £ = хехр(—В£) — 1

" 1п С" ¿'Ч

n=0

n rfn -

п\ ' jn dC

. (28)

Z=o

Коэффициенты (26) определяются индукцией по п по использованной ранее процедуре. Из условий (27) нам известно, что Ч = 0, Ч = —а. Для нахождения Ч продифференцируем обе части (26) по £ и положим £ = 0. Разрешив полученное равенство относительно Ч, имеем

Л = (29)

а + 1

И так далее. Пусть найдены коэффициенты до п включительно. Для нахождения Ч+1 продифференцируем обе части (26) п раз по £ и положим £ = 0. Получим соотношение

Е (с" + -ctl) fkU2-fc + -Ч+l/l + fn+1 + (n + v)fn = 0, fc=l ^ ° ' °

разрешив которое относительно fn+l, имеем формулу

1 ^ ^ / 1 \ n + п

4+1 = -г-.— У, [сп + —Сп fkfn+2-k + -г-—Ч- (зо)

пп ±—' \ п I 4- пп

Поскольку а > 0, значение ¡п+\ из (30) определяется однозначно. Локальная сходимость ряда (28) следует из ранее доказанных авторами теорем (см. [15]).

Интересным является вопрос о величине радиуса сходимости К. Можно ли утверждать, что К > 1? Положительный ответ на этот вопрос означал бы существование аналитического решения задачи (2), (3) в рассматриваемом случае при всех Ь > 0, 0 < х < exp(Bí). На момент написания статьи этот вопрос оставался открытым в общем случае. Однако в одном содержательном частном случае на него можно дать положительный ответ.

Предложение 4. Пусть а/В = 1. Тогда решение задачи (26), (27) является линейным и имеет вид f = —а(. Если а/В < 1, то решение является выпуклым вниз; если а/В > 1, то решение является выпуклым вверх в некоторой окрестности точки ( = 0.

Доказательство. Пусть а/В = 1. Тогда п = —1 и из (29) следует, что f2 = 0. Можно показать, используя (30), что отсюда следуют равенства f3 = f4 = ... = ^ = ... = 0, т.е. ряд (28) обрывается и решение задачи (26), (27) имеет вид f (() = ^ + = —а(.

Если а/В > 1, то из (29) имеем f2 < 0, а в противном случае f2 > 0, что обеспечивает выпуклость решения соответственно вверх или вниз. Что и требовалось доказать. □

Из предложений 1 и 4 следует, что при в = 1, а = В > 0 задача (2), (3) имеет решение

аВх2 С аВх2 (х exp(—ВЬ) — 1) ^ п , ч

" = "(СТТ? =--х2 ехр(—= ^ехр(Вг)[ехр(В() - *]. (31)

Решение (31) является при любом 0 < х < exp(Bí) положительным, аналитическим по Ь во всей области определения, поскольку представляет собой разность двух экспонент. Можно также видеть, что (31) неограниченно возрастает при 0 < Ь < то и 0 < х < exp(Bí). Напомним, что рассматривается (см. раздел 2) случай В > 0, т.е. когда тепловая волна движется вправо.

Заключение

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

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

Исследование выполнено при финансовой поддержке РФФИ и Министерства по науке и технологиям Тайваня (проект № 20-51-S52003), а также РФФИ и Правительства Иркутской области (проект № 20-47-380001).

Литература

1. Зельдович, Я.Б. Физика ударных волн и высокотемпературных гидродинамических явлений / Я.Б. Зельдович, Ю.П. Райзер. - М.: Физматлит, 1966.

2. Баренблатт, Г.И. Теория нестационарной фильтрации жидкости и газа / Г.И. Барен-блатт, В.М. Ентов, В.М. Рыжик. - М.: Недра, 1972.

3. Murray, J. Mathematical Biology: I. An introduction / J. Murray. - N.Y.: Springer, 2002.

4. Самарский, А.А. Режимы с обострением в задачах для квазилинейных параболических уравнений / А.А. Самарский, В.А. Галактионов, С.П. Курдюмов, А.П. Михайлов. - М.: Наука, 1987.

5. Ладыженская, О.А. Линейные и квазилинейные уравнения параболического типа / О.А. Ладыженская, В.А. Солонников, Н.Н. Уральцева. - М.: Наука, 1967.

6. Vazquez, J.L. The Porous Medium Equation: Mathematical Theory / J.L. Vazquez. - Oxford: Clarendon Press, 2007.

7. Сидоров, А.Ф. Избранные труды: Математика. Механика / А.Ф. Сидоров. - М.: Физматлит, 2001.

8. Зельдович, Я.Б. К теории распространения тепла при теплопроводности, зависящей от температуры / Я.Б. Зельдович, А.С. Компанеец // Сборник, посвященный 70-летию А.Ф. Иоффе. - М.: Изд-во АН СССР, 1950. - С. 61-71.

9. Баренблатт, Г.И. О конечной скорости распространения в задачах нестационарной фильтрации жидкости и газа / Г.И. Баренблатт, И.М. Вишик // Прикладная математика и механика. - 1956. - Т. 20, вып. 3. - С. 411-417.

10. Filimonov, M. Application of Method of Special Series for Solution of Nonlinear Partial Differential Equations / M. Filimonov // AIP Conference Proceedings. - 2014. - V. 40. -P. 218-223.

11. Antontsev, S.N. Evolution PDEs with Nonstandard Growth Conditions. Existence, Uniqueness, Localization, Blow-Up / S.N. Antontsev, S.I. Shmarev. - Paris: Atlantis Press, 2015.

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

13. Кудряшов, Н.А. Аналитические решения нелинейного уравнения конвекции-диффузии с нелинейными источниками / Н.А. Кудряшов, Д.И. Синельщиков // Моделирование и анализ информационных систем. - 2016. - Т. 23, № 3. - С. 309-316.

14. Косов, А.А. О точных решениях уравнения нелинейной диффузии / А.А. Косов, Э.И. Семенов // Сибирский математический журнал. - 2019. - Т. 60, № 1. - С. 123-140.

15. Казаков, А.Л. О точных решениях краевой задачи о движении тепловой волны для уравнения нелинейной теплопроводности / А.Л. Казаков // Сибирские электронные математические известия. - 2019. - Т. 16. - С. 1057-1068.

16. Куpант, Р. Уравнения с частными производными / Р. Курант. - М.: Миp, 1964.

17. Казаков, А.Л. Методы граничных элементов и степенных рядов в одномерных задачах нелинейной фильтрации / А.Л. Казаков, Л.Ф. Спевак // Известия Иркутского государственного университета. Серия Математика. - 2012. - Т. 5, № 2. - С. 2-17.

18. Казаков, А.Л. Об одной краевой задаче с вырождением для нелинейного уравнения теплопроводности в сферических координатах / А.Л. Казаков, П.А. Кузнецов, Л.Ф. Спевак // Труды Института математики и механики УрО РАН. - 2014. - Т. 20, № 1. - С. 119-129.

19. Казаков, А.Л. Аналитическое и численное исследование одной краевой задачи нелинейной фильтрации с вырождением / А.Л. Казаков, А.А. Лемперт // Вычислительные технологии. - 2012. - Т. 17, № 1. - С. 57-68.

20. Казаков, А.Л. О некоторых точных решениях нелинейного уравнения теплопроводности / А.Л. Казаков, С.С. Орлов // Труды Института математики и механики УрО РАН. -2016. - Т. 22, № 1. - C. 112-123.

21. Казаков, А.Л. Построение и исследование некоторых точных решений нелинейного уравнения теплопроводности / А.Л. Казаков, С.С. Орлов, С.С. Орлов // Сибирский математический журнал. - 2018. - Т. 59, № 3. - С. 544-560.

22. Казаков, А.Л. Построение и исследование точных решений со свободной границей нелинейного уравнения теплопроводности с источником / А.Л. Казаков // Математические труды. - 2019. - Т. 22, № 2. - С. 54-75.

23. Баутин, Н.Н. Методы и приемы качественного исследования динамических систем на плоскости / Н.Н. Баутин, Е.А. Леонтович. - М.: Наука, 1990.

24. Kazakov, A.L. On a Heat Wave for the Nonlinear Heat Equation: An Existence Theorem and Exact Solution / A.L. Kazakov, P.A. Kuznetsov, A.A. Lempert // Continuum Mechanics, Applied Mathematics and Scientific Computing: Godunov's Legacy. - Cham: Springer, 2020. - P. 223-228.

25. Sidorov, N.A. Small Solutions of Nonlinear Differential Equations Near Branching Points / N.A. Sidorov, D.N. Sidorov // Russian Mathematics. - 2011. - V. 55, № 5. - P. 43-50.

Александр Леонидович Казаков, доктор физико-математических наук, главный научный сотрудник, Институт динамики систем и теории управления имени В.М. Матросова СО РАН (г. Иркутск, Российская Федерация), [email protected].

Павел Александрович Кузнецов, кандидат физико-математических наук, младший научный сотрудник, Институт динамики систем и теории управления имени В.М. Матросова СО РАН (г. Иркутск, Российская Федерация), [email protected].

Поступила в редакцию 6 октября 2020 г.

MSC 35K65 DOI: 10.14529/mmp200403

EXACT SOLUTIONS OF THE NONLINEAR HEAT CONDUCTION MODEL

A.L. Kazakov1, P.A. Kuznetsov1

Matrosov Institute for System Dynamics and Control Theory SB RAS,

Irkutsk, Russian Federation

E-mails: [email protected], [email protected]

This paper continues a large series of our publications devoted to solutions of the nonlinear heat conduction equation. The solutions are heat waves that propagate over a zero

background with a finite velocity. We study the problem on constructing exact solutions of the considered type for the nonlinear heat conduction equation with a source (sink) and determining their properties. A feature of such solutions is that the parabolic type of the equation is degenerate at the front of a heat wave, therefore, properties unusual for parabolic equations appear. We consider two types of solutions. The first one is a simple wave that moves at a constant speed and has the form of a solitary wave (soliton). The second one is a heat wave with an exponential law of front motion. In both cases, the construction is reduced to Cauchy problems for second-order ordinary differential equations (ODEs), which inherit the singularity from the original problem. We construct phase portraits of ODEs and establish the properties of trajectories passing through singular points. Also, we obtain the power series expansions of the required solutions and estimate their convergence radii.

Keywords: nonlinear heat conduction equation; heat wave; exact solution; phase portrait; series.

References

1. Zel'dovich Ya.B., Raizer Yu.P. Physics of Shock Waves and High-Temperature Hydrodynamics Phenomena. N.Y., Dover Publications, 2002.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

2. Barenblatt G.I., Entov V.M., Ryzhik V.M. Theory of Fluid Flows Through Natural Rocks. Dordrecht, Kluwer Academic Publishers, 1990. DOI: 10.1007/978-94-015-7899-8

3. Murray J. Mathematical Biology: I. An Introduction. N.Y., Springer, 2002. DOI: 10.1007/b98868

4. Samarskii A.A., Galaktionov V.A., Kurdyumov S.P., Mikhailov A.P. Blow-Up in Quasilinear Parabolic Equations. Berlin, Walter de Gruyte, 1995. DOI: 10.1515/9783110889864

5. Ladyzenskaja O.A., Solonnikov V.A., Ural'ceva N.N. Linear and Quasi-Linear Equations of Parabolic Type. Providence, American Mathematical Society, 1988.

6. Vazquez J.L. The Porous Medium Equation: Mathematical Theory. Oxford, Clarendon Press, 2007.

7. Sidorov A.F. Izbrannye trudy: Matematika. Mekhanika [Selected Works: Mathematics. Mechanics]. Moscow, Fizmatlit, 2001.

8. Zel'dovich Ya.B., Kompaneets A.S. [Towards a Theory of Heat Conduction with Thermal Conductivity Depending on the Temperature]. Sbornik, posvyashchennyy 70-letiyu A.F. loffe [Collection of Papers Dedicated to 70th Anniversary of A.F. Ioffe], 1950, Moscow, Izd. Akad. nauk SSSR, pp. 61-72. (in Russian)

9. Barenblatt G.I., Vishik M.I. [On Finite Velocity of Propagation in Problems of Non-Stationary Filtration of a Liquid or Gas]. Prikladnaya matematika i mekhanika, 1956, vol. 20, pp. 411-417. (in Russian)

10. Filimonov M. Application of Method of Special Series for Solution of Nonlinear Partial Differential Equations. AIP Conference Proceedings, 2014, vol. 40, pp. 218-223. DOI: 10.1063/1.4902479

11. Antontsev S.N., Shmarev S.I. Evolution PDEs with Nonstandard Growth Conditions. Existence, Uniqueness, Localization, Blow-Up. Paris, Atlantis Press, 2015. DOI: 10.2991/97894-6239-112-3

12. Polyanin A.D., Zaitsev V.F. Handbook of Nonlinear Partial Differential Equations. Boca Raton, Chapman and Hall/CRC, 2011.

13. Kudryashov N.A., Sinelshchikov D.I. Analytical Solutions for Nonlinear Convection-Diffusion Equations with Nonlinear Sources. Automatic Control and Computer Sciences, 2017, vol. 51, no. 7, pp. 621-626. DOI: 10.3103/S0146411617070148

14. Kosov A.A., Semenov E.I. Exact Solutions of the Nonlinear Diffusion Equation. Siberian Mathematical Journal, 2019, vol. 60, no. 1, pp. 93-107. DOI: 10.1134/S0037446619010117

15. Kazakov A.L. On Exact Solutions to a Heat Wave Propagation Boundary-Value Problem for a Nonlinear Heat Equation. Siberian Electronic Mathematical Reports, 2019, vol. 16, pp. 1057-1068. (in Russian) DOI: 10.33048/semi.2019.16.073

16. Courant R. Methods of Mathematical Physics. Vol. II: Partial Differential Equations. N.Y., Interscience, 2008.

17. Kazakov A.L., Spevak L.F. Boundary Element Method and Power Series Method for One-Dimensional Non-Linear Filtration Problems. The Bulletin of Irkutsk State University. Series Mathematics, 2012, vol. 5, no. 2, pp. 2-17. (in Russian)

18. Kazakov A.L., Kuznetsov P.A., Spevak L.F. On a Degenerate Boundary Value Problem for the Porous Medium Equation in Spherical Coordinates. Trudy Instituta matematiki i mekhaniki UrO RAN, 2014, vol. 20, no. 1, pp. 119-129. (in Russian)

19. Kazakov A.L., Lempert A.A. Analytical and Numerical Investigation of a Nonlinear Filtration Boundary-Value Problem with Degeneration. Vychislitel'nye tehnologii, 2012, vol. 17, no. 1, pp. 57-68. (in Russian)

20. Kazakov A.L., Orlov S.S. On Some Exact Solutions of the Nonlinear Heat Equation. Trudy Instituta matematiki i mekhaniki UrO RAN, 2016, vol. 22, no. 1, pp. 112-123. (in Russian)

21. Kazakov A.L., Orlov S.S., Orlov S.S. Construction and Study of Exact Solutions to a Nonlinear Heat Equation. Siberian Mathematical Journal, 2018, vol. 59, no. 3, pp. 427-441. DOI: 10.1134/S0037446618030060

22. Kazakov A.L. Construction and Investigation of Exact Solutions with Free Boundary to a Nonlinear Heat Equation with Source. Siberian Advances in Mathematics, 2020, vol. 30, no. 2, pp. 91-105. DOI: 10.3103/S1055134420020029

23. Bautin N.N., Leontovich E.A. Metody i priemy kachestvennogo issledovaniya dinamicheskikh sistem na ploskosti [Methods and Techniques of the Qualitative Investigation of Dynamical Systems in the Plane]. Moscow, Nauka, 1990. (in Russian)

24. Kazakov A.L., Kuznetsov P.A., Lempert A.A. On a Heat Wave for the Nonlinear Heat Equation: An Existence Theorem and Exact Solution. Continuum Mechanics, Applied Mathematics and Scientific Computing: Godunov's Legacy, Cham, Springer, 2020, pp. 223-228. DOI: 10.1007/978-3-030-38870-6_29

25. Sidorov N.A., Sidorov D.N. Small Solutions of Nonlinear Differential Equations Near Branching Points. Russian Mathematics, 2011, vol. 55, no. 5, pp. 43-50. DOI: 10.3103/S1066369X11050070

Received October 6, 2020

i Надоели баннеры? Вы всегда можете отключить рекламу.