Научная статья на тему 'О построении тепловой волны для нелинейного уравнения теплопроводности в симметричном случае'

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

CC BY
374
55
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ЧАСТНЫМИ ПРОИЗВОДНЫМ / PARTIAL DIFFERENTIAL EQUATIONS / НЕЛИНЕЙНАЯ ТЕПЛОПРОВОДНОСТЬ / ТЕПЛОВАЯ ВОЛНА / HEAT WAVE / СТЕПЕННОЙ РЯД / POWER SERIES / POROUS MEDIUM EQUATION

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

Рассматривается нелинейное параболическое уравнение второго порядка с двумя независимыми переменными, которое при некоторых дополнительных предположениях может быть интерпретировано как нелинейное уравнение теплопроводности (фильтрации) в случае, когда искомая функция зависит от двух независимых переменных: времени и расстояния до начала координат. Данное уравнение имеет многочисленные приложения в механике сплошной среды, из которых одним из наиболее интересных, помимо, собственно, моделирования распространения тепла, является математическое описание фильтрации идеального политропного газа в пористой среде (в англоязычной литературе за ним закрепилось название«the porous medium equation»). Авторы исследуют специальный класс решений, которые в литературе обычно именуются «тепловыми волнами». Их особенностью является то, что они «сшиты», из двух решений, непрерывно состыкованных между собой, одно из них является тривиальным, а второе неотрицательным. На линии стыковки, именуемой тепловым фронтом (или фронтом фильтрации), возможен разрыв производных, т.е. гладкость решения, вообще говоря, нарушается. Наиболее естественной задачей, для которой характерны подобного рода решения, является, так называемая «задача А. Д. Сахарова об инициировании тепловой волны». Для указанной задачи в статье построены новые решения в виде кратных рядов по степеням физических переменных, коэффициенты которых определяются при решении трехдиагональных систем линейных алгебраических уравнений. При этом элементы матриц систем зависят от их порядка, и не выполняется условие диагонального преобладания. Для коэффициентов рядов получены рекуррентные формулы.

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

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

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

On Construction of Heat Wave for Nonlinear Heat Equation in Symmetrical Case

The nonlinear second-order parabolic equation with two variables is considered in the article. Under the additional conditions, this equation can be interpreted as the nonlinear heat equation (the porous medium equation) in case of dependence of the unknown function on two variables (time and origin distance). The equation has many applications in continuum mechanics, in particular, it is used for mathematical modeling of filtration of ideal polytropic gas in porous media. The authors research a special class of solutions which are usually called a "heat wave"in literature. The special feature of these solutions is that they are "sewn"together of two continuously butt-joined solutions (trivial and nonnegative). The solution of heat wave’s type can has derivative discontinuity on the line of joint which is called as the heat wave’s front (the front of filtration), i.e. smoothness of the solution, generally speaking, is broken. The most natural problem which has the solutions of this kind is so-called "the Sakharov problem of the initiation of a heat wave". New solutions of this problem in kind of multiple power series in physical variables were constructed in the article. The coefficients of the series are determined from tridiagonal systems of linear algebraic equations. Herewith, the elements of matrixes of systems depend on the order of the matrixes and the condition of the diagonal dominance is not executed. The recurrent formulas of the coefficients were obtained.

Текст научной работы на тему «О построении тепловой волны для нелинейного уравнения теплопроводности в симметричном случае»



Серия «Математика»

2015. Т. 11. С. 39—53

Онлайн-доступ к журналу: http://isu.ru/izvestia

УДК 517.95

О построении тепловой волны

для нелинейного уравнения теплопроводности

в симметричном случае *

А. Л. Казаков

Институт динамики систем и теории управления им. В.М. Матросова П. А. Кузнецов

Иркутский государственный университет

А. А. Лемперт

Институт динамики систем и теории управления им. В.М. Матросова

Аннотация. Рассматривается нелинейное параболическое уравнение второго порядка с двумя независимыми переменными, которое при некоторых дополнительных предположениях может быть интерпретировано как нелинейное уравнение теплопроводности (фильтрации) в случае, когда искомая функция зависит от двух независимых переменных: времени и расстояния до начала координат. Данное уравнение имеет многочисленные приложения в механике сплошной среды, из которых одним из наиболее интересных, помимо, собственно, моделирования распространения тепла, является математическое описание фильтрации идеального политропного газа в пористой среде (в англоязычной литературе за ним закрепилось название «the porous medium equation»). Авторы исследуют специальный класс решений, которые в литературе обычно именуются «тепловыми волнами». Их особенностью является то, что они «сшиты», из двух решений, непрерывно состыкованных между собой, одно из них является тривиальным, а второе - неотрицательным. На линии стыковки, именуемой тепловым фронтом (или фронтом фильтрации), возможен разрыв производных, т.е. гладкость решения, вообще говоря, нарушается. Наиболее естественной задачей, для которой характерны подобного рода решения, является, так называемая «задача А. Д. Сахарова об инициировании тепловой волны». Для указанной задачи в статье построены новые решения в виде кратных рядов по степеням физических переменных, коэффициенты которых определяются при решении трехдиагональных систем линейных алгебраических уравнений. При этом элементы матриц систем зависят от их порядка, и не выполняется условие диагонального преобладания. Для коэффициентов рядов получены рекуррентные формулы.

Ключевые слова: дифференциальные уравнения с частными производным, нелинейная теплопроводность, тепловая волна, степенной ряд.

1. Введение

В статье рассматривается нелинейное параболическое [12] уравнение второго порядка, c двумя независимыми переменными

1 2 v

uT = uupp +—up +—uup. (1.1)

Здесь u(t, p)— искомая функция; t, p— независимые переменные, p > 0; a > 0, v £ R— константы.

Данное уравнение может рассматриваться и как самостоятельный математический объект, однако в данном случае имеется также тесная связь с приложениями: в частности, когда v принимает целые неотрицательные значения, оно представляет собой одну из форм записи нелинейного уравнения теплопроводности в случае, когда искомая функция зависит только от времени t и расстояния p до начала координат в пространстве переменных x\, x2,..., xv+1. Тогда p = (xf + xf + .. .+xf+1)1/2. В частности, наиболее содержательными являются случаи v = 0 (плоскосимметричный), v = 1 (цилиндрически симметричный) и v = 2 (сферически симметричный). Для уравнения (1.1) рассматривается специальный класс решений ("тепловые волны"), интересный как с теоретической точки зрения, так и для приложений (см. следующий раздел).

Нелинейное уравнение теплопроводности (the porous medium equation), которое часто рассматривается в виде [19]

ut = uAu + 1(Vu)2, (1.2)

a

является дифференциальной записью одновременно двух фундаментальных законов физики: закона Фурье для теплопроводности [18] и закона Дарси для фильтрации [1; 13] в случае степенной зависимости коэффициента теплопроводности от температуры и коэффициента фильтрации от плотности газа соответственно. Отметим, что физически содержательные задачи существуют и для отрицательных a [16], однако такая возможность нами здесь не рассматривается.

* Исследование выполнено при частичной финансовой поддержке РФФИ, проект № 14-01-31175 мол_а, программы фундаментальных научных исследований УрО РАН, проект № 15-7-1-17 и гранта ИМЭИ ИГУ при поддержке "Программы стратегического развития ФГБОУ ВПО «ИГУ» на 2012-2016 годы."

2. O тепловой волне

Одним из интересных классов решений уравнения теплопроводности являются тепловые волны, распространяющиеся по холодному (нулевому) фону с конечной скоростью. С геометрической точки зрения решение типа тепловой волны представляет собой две поверхности (возмущенное решение u(t,x) > 0 и холодный фон u = 0), непрерывно состыкованные вдоль некоторой достаточно гладкой линии x = b(t), называемой фронтом.

В линейном случае такие решения известны, по-видимому, еще со времен Фурье (см. [18], гл. III, § 4). Простым примером тепловой волны для линейного уравнения теплопроводности ut = uxx является следующий:

fJ_ , f exp (-x/V2) sin (t - x/V2) , 0 < x< tV2, u(t>x) = \0, x >tV2,

где 0 < t < п/2. Как легко видеть, фронтом здесь является прямая x = ty/2.

А.Н. Тихонов и А.А. Самарский (см. [18], гл. III, Приложение I) оперируют понятием «температурная волна». Однако под построением последней там понимается решение задачи без начальных условий, описывающей периодические температурные колебания в почве. Отметим, что о единственности в данном случае говорить не приходится: для однозначной разрешимости нужно задать дополнительное условие (например, определить производную по пространственной координате при x = 0, т. е. рассмотреть задачу Коши).

Термины «тепловая волна» и «аналитическая тепловая волна» применительно к уравнению (1.2) также ранее использовались. Например, в работах С.П. Баутина [2] под тепловой волной понималось составное решение вида

(t = ¡ u(t, x) > 0, a(t, x2,..., xn) > xi, u*( ,x) = \ 0, xi > a(t,x2,...,xn),

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

Определение 1. Пусть u(t,x) — непрерывная, неотрицательная функция, определенная при t € [t*,t*), x € X С Rn, с компактным односвязным носителем supp u = D, где D = {(t,x)\ u(t,x) > 0}.

Будем называть функцию u(t, x) тепловой волной, если она

1) дважды непрерывно дифференцируема в Б по пространственным переменным х и непрерывно дифференцируема по времени Ь;

2) удовлетворяет в Б уравнению (1.2);

3) область Б обладает свойством: если Ь* < < Ь*, то Б(^) С 0{Ь2), где В(Ьг)— проекция сечения Б гиперплоскостью Ь = и, г = 1, 2 на Мга.

В случае, когда функция и(Ь, х) является аналитической в Б, будем говорить об аналитической тепловой волне. Границу Г = Б \ Б области Б будем называть фронтом тепловой волны или просто тепловым фронтом.

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

Простейшим примером решения уравнения (1.2) типа тепловой волны в случае одной пространственной переменной x может служить кусочно-линейная функция вида

,, ) _ j а\t — y/aa\x, x < b(t) = a\t/Л/аа1, ( ' \ 0, x > ait^aa1, ai _ const > 0.

Впервые решения уравнения (1.2), имеющие вид тепловой волны, по-видимому, были получены Я. Б. Зельдовичем и А. С. Компанейцем при исследовании задач нелинейной теплопроводности [4]. Несколько позднее появились работы Г. И. Баренблатта [1], в которых близкие результаты были получены для задач фильтрации. В статье О.А. Олей-ник с соавторами [14] краевые задачи, в которых предполагается конечная скорость распространения фронта фильтрации, исследованы в абстрактных функциональных пространствах. Аналитические тепловые волны первым рассмотрел А. Ф. Сидоров [17]. В дальнейшем его исследования были продолжены в работах учеников [2].

В данной статье рассматриваются решения типа тепловой волны для уравнения (1.2) в классе аналитических функций (аналитическая тепловая волна) в виде рядов с рекуррентно определяемыми коэффициентами [3]. При этом в отличие от ранее опубликованных работ представителей научной школы А. Ф. Сидорова [2; 5; 6; 7; 10; 11; 17; 20], решение выписано в явном виде (а не только описана процедура построения коэффициентов ряда). До сих пор подобные результаты для уравнения (1.1) имелись только в случае v = 0 [8; 9].

3. Граничное условие и теорема существования

Наиболее естественной задачей, для которой характерны решения, описанные в предыдущем разделе, является «задача А. Д. Сахарова об инициировании тепловой волны»,(см. [17], е. 10), которая для уравнения (1.1) имеет вид

и(п,р)\р=ик = /(п), /(0) = о, /'(0) > о. (3.1)

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

Теорема 1. Пусть функция / = /(Ь) является аналитической в некоторой окрестности Ь = 0. Тогда задача (1.1), (3.1) имеет единственное аналитическое решение в некоторой полной окрестности Ь = 0, р = иЯ, если выбран знак ^¿=0, р=ип.

Данная теорема для случая V = 0 доказана С.П. Баутиным в работе [2], при V > 0 — авторами [5] (в [5] указано, что рассматриваются значения V = 1, 2, однако доказательство справедливо при всех положительных значениях параметра). Заметим, что при V £ N имеется альтернативное доказательство теоремы 1, состоящее в сведении к теореме 7.1 из [2], однако оно неконструктивно и нами не используется, поскольку предполагает переход в пространство большей размерности и построение покрытия (V + 1)-мерной сферы.

4. Построение тепловой волны

Решение задачи (1.1), (3.1) строится в виде кратного степенного ряда

ЕЬ (р — VII) и и(ь,р)

Щ,тТ\-;-, Щ,т = яля т . (4.1)

/1 т! огорт ¿=0, р=ия

1,т=0 ' И

Из условия (3.1) можно определить коэффициенты щ,о, / = 0,1, 2,.... Действительно, по условию теоремы 1, для функции /(Ь) в некоторой окрестности Ь = 0 справедливо разложение

/ (*)=£ /I п ,

1=о /!

в котором /г = /(1) (0). Из (3.1) и (4.1) следует равенство

ц га ц и(г,р)\р=ип = ^ щ,0ц =^ /1 ц , 1=0 ' 1=0 '

из которого видно, что щ,0 = /г, в частности, и0,0 = и(0,иЯ) = /0 = 0, и1,0 = /1 = /'(0) > 0. Остальные коэффициенты ряда (4.1) определяются индукцией по суммарному порядку дифференцирования I + т.

Положим в уравнении (1.1) Ь = 0,р = иЯ. С учетом того, что значения и0,0 = 0, и-\_,0 > 0 уже найдены, получим для и0д квадратное уравнение и1,0 = иО^/а, из которого видно, что и0,1 определяется двояко по формуле и0,1 = ±\/а/1. Итак, база индукции установлена.

Предположим теперь, что найдены все коэффициенты до порядка п включительно, т. е. при т +1 = 1,...,п. Тогда коэффициенты порядка п + 1 определяются при решении системы линейных алгебраических уравнений (СЛАУ) с трехдиагональной матрицей, в которой на главной диагонали стоят элементы а = — (г + 2/а) ио,1, г = 0,...,п, на наддиагонали находятся Ъ^ = —]и1}0 < 0, ] = п,..., 1, на поддиагона-ли — единицы (см. [5; 6]). Очевидно, что для такой матрицы условие диагонального преобладания, вообще говоря, не выполняется.

Решение СЛАУ будет приведено ниже. Однако прежде необходимо ввести некоторые вспомогательные величины

Ао = 1у А1 = anу Хк+1 = (и-к Ак — Ък Ак-1;

По = 1, П1 = (о, Пк+1 = ак Пк — Ъп+1-к Пк-1; к = 1,...,п. Индукцией по к можно показать, что (независимо от знака иод), все

Ак = 0,Пк = 0.

Пусть \А\ — определитель матрицы СЛАУ. Тогда А = цп+1 = Ап+1. С учетом введенных обозначений коэффициенты ряда (4.1) порядка п + 1 определяются как

1 1 п+1 1

ип,1 = А Ап(^п,0 — /п+1) + А (—Ъn+1-l)Ln+1-j,j-1у

\ \ \ \ j=2 г^-1

ип-1,2 = — Ц- П0Ап-1 п,0 — /п+1) + Ц- VlАn-lLn-1,1 + 1 п+1 2

+ А\ П (—Ъn+l-l)Ln+l-j,j-l.

\ \ j=3 1^-1

ип+1-к,к = ЩП0Ап+1-к ( — 1)к-1 (^,0 — /п+1)+ (4.2)

+ТТ\ £ пз-1^п+1-к(—1)к 3Ьп+1-м-1 + 1 1 3=2

1

п+1

+~\А\ Пк-1^и+1-з П (—Ьп+1-1 )Ъп+1-з,з-1, к = 3,...,п- 1

1 13=к+1 1=3-1

и1,п = "Лт( 1)п— 1 (Ln,0 - ¡п+1) + \А\

1 п 1 + Пз-1 ^1(-1)п-3 Ьп+1-3,3-1 — Пп-1 ^оЬЬо,,,

3=2

14

1 1 п+1 по,п+1 = щЦо^о(—1)пп,0 — /'п+1) + щ £ П3-1^0(—1)п+1-3Ьп+1-3,3-1.

Здесь величины Ьп-к,к известны в силу предположения индукции (так как зависят от коэффициентов рядов порядка не выше п) и вычисляются по формулам

п- к к

^!п-к,к \ ^ ^ Сп-кСки*,3пn—k—i,k—3+2 +

г=0 ] = 0 i+j=0 i+j=l

1 п- к к

+1 £ £ сп-кск^,3+1ип-к^,к-3+1+

i=0 j=0 i+j=0 i+j=n

п- к к

+»Т,Т,сп-к ск

i=0 3=0

с

(—1)3-'(з — I)

п,

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

И=0

К3-1+1

пn—k—i,k—3+1.

Таким образом, ряд (4.1) построен. Его сходимость следует из теоремы 1 (а именно — из существования и единственности аналитического решения задачи (1.1), (3.1) при выборе знака п0,1).

Проведенное построение позволяет обосновать нижеследующее утверждение. Но прежде чем его формулировать, сделаем сдвижку пространственной координаты так, чтобы граничное условие было задано при нулевом значении новой координаты т. Пусть т = р — иЯ.

Теорема 2. При выполнении условий теоремы 1 у задачи

(т + иЯ)2щ = п V(т + иЯ)пг + (т + иЯ)2пгг + —(т + иЯ)2п2,

а

п(Ь,т)\г=о = /(Ь), п(г,т)\г=о = 0,

(4.3)

имеется кусочно-аналитическое решение, которое при V = 0,1, 2,... является в окрестности Ь = 0, г = 0 аналитической тепловой волной, причем выбор направления движения последней (к особой точке г = vЯ или от нее) обеспечивает единственность.

Доказательство. Из теоремы 1 и результатов данного раздела следует существование двух кусочно-аналитических решений краевой задачи (1.1), (3.1) (при этом выбор знака ио,1 обеспечивает единственность). Докажем, что из этого следует справедливость сформулированного выше утверждения.

Как показано в начале данного раздела, и-\,,0 = /1 > 0, и0,1 = а/1. Отсюда имеем, что для решения и = и+ (Ь,г), соответствующего положительному значению иод, найдется в плоскости переменных Ь, г линия г = Ъ+ (Ь), Ъ+(0) = 0, Ъ+(0) < 0, на которой при Ь > 0 в некоторой окрестности точки Ь = 0, г = 0 выполнено условие и+\г=ь+(£) = 0; для решения и = и-(Ь, г), соответствующего отрицательному значению иод, найдется в плоскости переменных Ь, г линия г = Ъ-(Ь), Ъ-(0) = 0, Ъ'_(0) > 0, на которой при Ь > 0 в некоторой окрестности точки Ь = 0,г = 0 выполнено аналогичное условие и-\г=ь_(1) = 0.

Поскольку Ъ+(0) < 0, и1,о > 0 решение и = и+(Ь,г) позволяет определить тепловую волну

движущуюся во внутреннюю область, в сторону особой точки г = vЯ.

Поскольку Ъ—(0) > 0, и1,о > 0 решение и = и-(Ь,г) позволяет определить тепловую волну

которая движется во внешнюю область.

Легко убедиться, что, так как Ъ±(0) = 0, то в обоих случаях выполнено условие и\г=о = 0; на тепловом фронте в обоих случаях имеется разрыв производных. Значение Ь* (см. определение тепловой волны) определяется радиусом сходимости ряда (4.1). Итак, построенные составные решения, действительно, подпадают под действие определения аналитической тепловой волны. При этом выбор знака у ио,1 (который, напомним, обеспечивает единственность) равнозначен выбору направления движения фронта тепловой волны.

Теорема доказана. □

5. Построение отрезка ряда

Как уже отмечалось, одним из главных результатов данного исследования является то, что впервые построены решения задачи об инициировании тепловой волны заданным граничным режимом в конструктивном виде. В данном разделе выписывается отрезок ряда (до слагаемых третьего порядка) и сравнивается с точным решением. Будем далее предполагать, что V = 0, поскольку случай V = 0 рассмотрен ранее [8; 9].

Получим сначала коэффициенты рядов. Уже найдены в предыдущем разделе

ио,о = 0, = ¡1, I = 1, 2, 3,...

ио,1 = ±у а;1, Используя (4.2), можно показать, что

±(1 + 2/д)Е^Т1Ь - 2Ц Щ2 Т 3НЛ (51) и1Л =-(3 + 4/а)Щ1-,и°'2 = 13Т4/о)КН . (Ъ1)

Нижний знак здесь и далее соответствует тепловой волне, которая движется от р = ^ в сторону возрастания координаты р, а верхний — в сторону убывания (к особой точке р = 0).

Ниже приводятся формулы для коэффициентов 3-го порядка. Выражения в фигурных скобках сгруппированы относительно слагаемых, зависящих от одинаковых комбинаций ¡1, ¡2, ¡3. Коэффициент и2,1 определяется по формуле

и2А = (8 + 8/а2 Т18/о)^{ (3 + 1/ат [(4 + '^ + ^~

1 1 1 f 3

-4(1 + а)2 ± 12(1 + а)^¡2^1 - (16 + 12а + 10а2)а±

±(16 + 8а - 17а2 - 10а3) 4 — л/а¡1

К а

+

(3 + 4/а)2Ц

+

а

¡1 ¡22 1 ¡1 ¡2

(32 + 72а + 48а2 + 10а3) Щ2 Т (112 + 56а) - Щ^у/О^т

а3 К а2

1 f 2 f

Т(64 - 32а - 88а2 - 52а3 - 12а4)к¡42^01+

1 f

+(80 + 56а + 88а2 + 24аЦ

К2 а2

4

+

2 1 ,/л , , о~2\ 1 ¡2 г~т /л , , ¡3

+4Ц—2 ± (4 +7а + 2а ) — — у/а^ - (4 +7а + 2а2) ^ vК2 К а а

1

Для коэффициента и1,2 имеем

Т1 ( 1

П1,2

(8 + 8/а2 + 18/а) ¡1^/1 1 (3 + 4/а) ¡1

Д

± (2 +2а) ^у/Д-а

±(4 + 4а) Я Г л/ОГ-6|Д ¡2 + (24+30а+ 6а2) Я¡2/2 - (4+12а) Я¡3-

1 1 Г з -

±18Я ¡¡л/ОГ Т (24 + 24а) Д^л/ОГ

+

+

1

(3 + 4/а)2 ¡2

1 12

± (32 + 60а + 38а2 + 8а3) ¡Д-

а3

а Г 1-

1 14

-(16 - 20а - 8а2)—2Гг - (48 + 48а + 12а2) 1 1 1

1 13 2

-(48 +96а + 60а2 + 12а3)

Я2 а2 к ' Я а2

2 , IШ1 + (48 + 72а + 24а2)-1 ¡3

Я а2

± (48 + 72а + 24а2)—2а¡1 Я2 а2

+

_ 1 12

+(2 +2а)-ЬН Т (2 + 2а) — у/аД Т 4 1 1

3

1

Я- а

И, наконец, для и0,3 получаем формулу

Т1 ( 1

уЯ2

а

ио,з =

(8 + 8/а2 + 18/а)ДуГ ^ + 4/а) Д

а ¡1 >■

1

¡2 +2и ДД±

Я

±(24 +15а) 1

+

Я Т 6Яр Йу/ОЕ - (48 + 36а) -Я Й

+

(3 + 4/а)2 ¡2

а

1Г2Д

2 ^ ' ^'Я а2

(8 +8а + 2а2) Щ2 Т (8 + 4а) 1 111 2

1/2 1 ¡4

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

+(16 + 20а + 6а2) Щ2 + (104 + 120а + 36а2)—-—Т

а2 Я2 а

Т(88 + 104а + 30а2)

I ¡Г

Я а2

а 1

1

-¡з ± ЯНЛ - (10 + 8а)^Д2}.

Построенный отрезок ряда (4.1) сравним с точным решением уравнения (1.1) вида

и = Т ^ '"(Я (52)

и = ± с Т ол Т (С Т оЛ)в ' (52)

где а = 2 + 2и + 4/а, в = (2 + 2у)/а; С > 0 — произвольная константа. Решение (5.2) является аналогом известного [15] плоскосимметричного (и = 0) и было получено авторами с использованием метода неопределенных коэффициентов.

Прямым дифференцированием точного решения получим его тейлоровские коэффициенты (для определенности примем С =1^ = К =1 и рассмотрим движение тепловой волны во внешнюю область)

и1,о = ¡1 = а(1 - в) = 4/а, ио,1 = -2,

16(3а + 2) 8(а + 1) и2,0 = ¡2 =--2-, и1,1 = -, ио,2 = -2. (5.3)

а2 а

Можно убедиться, что формулы (5.1) при подстановке конкретных значений ¡1, ¡2 примут вид (5.3).

Формулы для коэффициентов третьего порядка для (5.2) имеют вид

, 64(11а2 + 16а + 6) 64(а + 1)2

и3,0 = ¡3 = -3-, и2,1 =--2-,

а3 а2

8(а + 1)

и1,2 = -, ио,3 = 0.

а

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

Самостоятельное значение метода степенных рядов как способа численных расчетов не столь уж велико из-за ограниченности радиуса сходимости, однако этот подход зачастую позволяет (как в данном случае) раскрыть особенность, чтобы далее использовать стандартные приемы (например, разностные схемы). Кроме того, ряды можно использовать для верификации численных расчетов, выполненных с помощью других подходов, например, конечноэлементного или граничноэлементного [7; 10; 20].

6. Заключение

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

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

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

Авторы признательны А.А. Косову за полезные замечания и обсуждения.

Список литературы

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

2. Баутин С. П. Аналитическая тепловая волна / С. П. Баутин. - М. : Физматлит, 2003. - 88 с.

3. Баутин С. П. Обобщенная задача Коши и ее приложения / С. П. Баутин, А. Л. Казаков. - Новосибирск, 2006. - 397 с.

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

5. Казаков А. Л. Об одной краевой задаче для нелинейного уравнения теплопроводности в случае цилиндрической и сферической симметрии / А. Л. Казаков, П. А. Кузнецов // Вестник УрГУПС. - 2013. - № 4. - С. 4-10.

6. Казаков А. Л. Об одной краевой задаче для нелинейного уравнения теплопроводности в случае двух пространственных переменных / А. Л. Казаков, П. А. Кузнецов // Сиб. журн. индустр. математики. - 2014. - С. 46-54.

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

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

9. Казаков А. Л. О существовании и единственности решения краевой задачи для параболического уравнения нестационарной фильтрации / А. Л. Казаков, А. А. Лемперт // Прикл. механика и техн. физика. - 2013. - Т. 54, № 2(318). - С. 97-105.

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

11. Кузнецов П. А. О краевой задаче с вырождением для нелинейного уравнения теплопроводности с данными на замкнутой поверхности / П. А. Кузнецов // Изв. Иркут. гос. ун-та. Сер. Математика. - 2014. - Т. 9. - С. 61-74.

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

13. Лейбензон Л. С. Собрание трудов. Т. 2. Подземная газогидродинамика / Л. С. Лейбензон. - М. : Изд-во АН СССР, 1953. - 544 с.

14. Олейник О. А. Задача Коши и краевые задачи для уравнений типа нестационарной фильтрации / О. А. Олейник, А. С. Калашников, Юй-линь Чжоу // Изв. АН СССР. Сер. матем. - 1958. - Т. 22, вып. 5. - С. 667-704.

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

- 432 с.

16. Рудых Г. А. Неавтомодельные решения многомерного уравнения нелинейной диффузии / Г. А. Рудых, Э. И. Семенов // Мат. заметки. - 2000. - Т. 67, № 2.

- С. 250-256.

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

18. Тихонов А. Н. Уравнения математической физики / А. Н. Тихонов, А. А. Самарский. - М. : Изд-во МГУ, 1999. - 798 с.

19. Vazquez J. The Porous Medium Equation: Mathematical Theory / J. Vazquez // Oxford: Clarendon Press, 2007. 648 p.

20. Kazakov A. Numerical and analytical studies of a nonlinear parabolic equation with boundary conditions of a special form / A. Kazakov, L. Spevak // Applied Mathematical Modelling. - 2013. - Vol. 37, N 10-11. - P. 6918-6928.

Казаков Александр Леонидович, доктор физико-математических наук, заведующий лабораторией, Институт динамики систем и теории управления им. В. М. Матросова СО РАН, 664033, Иркутск, ул. Лермонтова, 134, тел.: (3952)453033 (e-mail: kazakov@icc.ru)

Кузнецов Павел Александрович, аспирант, Институт математики, экономики и информатики, Иркутский государственный университет, 664003, Иркутск, ул. К. Маркса, 1, тел.: (3952)242214 (e-mail: pav_ku@mail.ru)

Лемперт Анна Ананьевна, кандидат физико-математических наук, заведующий лабораторией, Институт динамики систем и теории управления им. В. М. Матросова СО РАН, 664033, Иркутск, ул. Лермонтова, 134, тел.: (3952)453030 (e-mail: lempert@icc.ru)

A. L. Kazakov, P. A. Kuznetsov, A. A. Lempert On Construction of Heat Wave for Nonlinear Heat Equation in Symmetrical Case

Abstract. The nonlinear second-order parabolic equation with two variables is considered in the article. Under the additional conditions, this equation can be interpreted as the nonlinear heat equation (the porous medium equation) in case of dependence of the unknown function on two variables (time and origin distance). The equation has many applications in continuum mechanics, in particular, it is used for mathematical modeling of filtration of ideal polytropic gas in porous media. The authors research a special class of solutions which are usually called a "heat wave"in literature. The special feature of these solutions is that they are "sewn"together of two continuously butt-joined solutions (trivial and nonnegative). The solution of heat wave's type can has derivative discontinuity on the line of joint which is called as the heat wave's front (the front of filtration), i.e. smoothness of the solution, generally speaking, is broken. The most natural problem which has the solutions of this kind is so-called "the Sakharov problem of the initiation of a heat wave". New solutions of this problem in kind of multiple power series in physical variables were constructed in the article. The coefficients of the series are determined from tridiagonal systems of linear algebraic equations. Herewith, the

elements of matrixes of systems depend on the order of the matrixes and the condition of the diagonal dominance is not executed. The recurrent formulas of the coefficients were obtained.

Keywords: partial differential equations, porous medium equation, heat wave, power series.

References

1. Barenblatt G.I., Entov V.M., Ryzhyk V.M. The Theory of Unsteady Filtration of Liquid and Gas. Fort Belvoir, Defense Technical Information Center, 1977. 476 p.

2. Bautin S.P. Analytic Heat Wave (in Russian). Moscow, Fizmatlit, 2003. 88 p.

3. Bautin S.P., Kazakov A.L. Generalized Cauchy Problem with Applications (in Russian). Novosibirsk, Nauka, 2006. 397 p.

4. Zel'dovich Ya.B., Kompaneets A.S. Towards a Theory of Heat Propagation with Heat Conductivity Depending on Temperature (in Russian). Sbornik, posv. 70-letiyu Ioffe, 1950, pp. 61-71.

5. Kazakov A.L., Kuznetsov P.A. On One Boundary Value Problem for a Nonlinear Heat Equation in Case of cylindrical and spherical symmetry (in Russian). Vestnik UrGUPS 2013, no 4, pp. 4-10.

6. Kazakov A.L., Kuznetsov P.A. On One Boundary Value Problem for a Nonlinear Heat Equation in the Case of Two Space Variables. J. Appl. Ind. Math., 2014, vol. 8, no 2, pp. 227-236.

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

8. Kazakov A.L., Lempert A.A. Analytical and Numerical Studies of the Boundary Value Problem of a Nonlinear Filtration with Degeneration (in Russian). Vych. tehnologii, 2012, vol. 17, no 1, pp. 57-68.

9. Kazakov A.L., Lempert A.A. Existence and Uniqueness of the Solution of the Boundary-Value Problem for a Parabolic Equation of Unsteady Filtration. J. Appl. Mech. Tech. Phys., 2013, vol. 54, no 2, pp. 251—258.

10. Kazakov A.L., Spevak L.F. Boundary Elements Method and Power Series Method for One-dimensional Non-linear Filtration Problems (in Russian). Izvestiya IGU. Ser.: Mat., 2012, vol. 5, no 2, pp. 2-17.

11. Kuznetsov P.A. On Boundary Value Problem with Degeneration for a Nonlinear Heat Equation with Data on Closed Surface (in Russian). Izvestiya IGU. Ser.: Mat., 2014, vol. 9, pp. 61-74.

12. Ladyzhenskaya O.A., Solonnikov V.A., Ural'tseva N.N. Linear and Quasilinear Equations of Parabolic Type. Transl. Math. Monographs, Vol. 23, Amer. Math. Soc., Providence, 1968.

13. Leybenzon L.S. Collected Works. Vol. 2. Underground Gas- and Hydrodynamics (in Russian). Moscow, Izd-vo AN SSSR, 1953. 544 p.

14. Oleynik O.A., Kalashnikov A.S., Chzou Yu.-L. The Cauchy Problem and Boundary Value Problems for Equations of the Type of Unsteady Filtration (in Russian). Izv. Akad. Nauk SSSR Ser. Matem., 1958, vol. 22, no 5, pp. 667-704.

15. Polyanin A.D., Zaytsev V.F. Handbook of Nonlinear Partial Differential. Boca Raton-London, Chapman & Hall/CRC Press, 2012. 803 p.

16. Rudykh G.A., Semenov E.I. Non-self-similar Solutions of Multidimensional Nonlinear Diffusion Equations. Math. Notes, 2000, vol. 67, no 2, pp. 200-206.

17. Sidorov A.F. Selected Works: Mathematics. Mechanics (in Russian). Moscow, Fizmatlit, 2001, 576 p.

18. Tikhonov A.N., Samarskiy A.A. Equations of Mathematical Physics (in Russian). Moscow, Izd-vo MGU, 1999. 798 p.

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

20. Kazakov A.L., Spevak L.F. Numerical and analytical studies of a nonlinear parabolic equation with boundary conditions of a special form. Applied Mathematical Modelling, 2013, vol. 37, no. 10-11, pp. 6918-6928.

Kazakov Alexandr Leonidovich, Doctor of Sciences (Physics and Mathematics), Head of laboratory, Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences, 134, Lermontov st., Irkutsk, 664033, tel.: (3952)453033 (e-mail: kazakov@icc.ru)

Kuznetsov Pavel Alexandrovich, Postgraduate, Irkutsk State University, 1, K. Marx st., Irkutsk, 664003, tel.: (3952)242214 (e-mail: pav_ku@mail.ru)

Lempert Anna Anan'evna, Candidate of Sciences (Physics and Mathematics), Head of laboratory, Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences, 134, Lermontov st., Irkutsk, 664033, tel.: (3952)453030 (e-mail: lempert@icc.ru)

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