Асимптотическая устойчивость стационарного решения с внутренним переходным слоем задачи реакция-диффузия с разрывным реактивным слагаемым Текст научной статьи по специальности «Математика»

ТЕОРЕТИЧЕСКАЯ И МАТЕМАТИЧЕСКАЯ ФИЗИКА

Асимптотическая устойчивость стационарного решения с внутренним переходным слоем задачи реакция-диффузия с разрывным реактивным слагаемым

Н. Н. Нефедов," Н. Т. Левашова,6 А. О. Орлов

Московский государственный университет имени М.В. Ломоносова, физический факультет, кафедра математики. Россия, 119991, Москва, Ленинские горы, д. 1, стр. 2.

Статья поступила 23.06.2018, принята к публикации 02.07.2018.

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

Ключевые слова: внутренний переходный слой, метод дифференциальных неравенств, асимптотическая устойчивость по Ляпунову, верхнее и нижнее решения. УДК: 517.927.4. РАСЗ: 02.30.Hq.

ВВЕДЕНИЕ

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

Задача, аналогичная исследуемой в настоящей работе, рассматривалась в статье [3], где было построено асимптотическое приближение решения и доказано существование решения с внутренним переходным при помощи метода сшивания погранслойных решений (подобный подход использовался, например, в [4]). Основной целью настоящей статьи являлось исследование устойчивости стационарного решения соответствующего параболического уравнения. Для этого нами применен асимптотический метод дифференциальных неравенств, развиваемый на новый класс задач. Теоремы сравнения, позволяющие применить этот метод для задач с разрывными правыми частями, можно найти, в частности, в работах [5-7]. Аналогичный подход для

доказательства существования решения стационарного уравнения реакция-диффузия с разрывными правыми частями с внутренним переходным слоем в двумерной области применялся в работе [8], где было доказано существование решения, однако вопрос об устойчивости исследован не был.

1. ПОСТАНОВКА ЗАДАЧИ

Рассмотрим начально-краевую задачу

2 д2— д-у

дХ2 - Ж = /ж е (-1;1), *> 0

— (^1, е) = и(т), у(х, 0, е) = —т^(х, е), дх

(1)

где е € (0; ео] — малый параметр. Пусть выполнено следующее условие:

(А1) Функция / (и, х,е) определена на множестве & := (и, х,е) € /и х [-1; 1] х (0; ео] и претерпевает разрыв первого рода вдоль отрезка прямой

{и € /и, х = хо}:

/ (и, х, е) =

{/( ^ (и, х, е), и € /и, —1 ^ х ^ хо — 0, /(+)(и,х, е), и € /и, х0 +0 < х < 1,

где /(-)(и,х,е) € С3(/и х [—1;хо] х (0;ео]),

/(+)(и, х, е) € С3(/и х [хо; 1] х (0; ео]) и /(-)(и, хо, е) = /(+)(и,хо,е), и € /и-

Определим области

Вт := (*,х) € (0; Т] х ( —1; 1),

а Е-шаП: nefedov@phys.msu.ru

6 Е-таП: natasha@npanalytica.ru

В, В.

(-) :=

т :=

(+) ._

(*,х) € (0; Т] х ( —1; хо), (*,х) € (0;Т] х (хо; 1).

Определение 1. Функция

е с0'1 (йт) пс 1'1(Бт)пс1-2 (ЪТ-) и йТ+))

называется решением задачи (1), если она удовлетворяет уравнению (1) в каждой из областей й(т?), а также условию в начальный момент времени и граничному условию.

Очевидно, что стационарное решение задачи (1) является решением следующей задачи для стационарного уравнения реакция-диффузия:

е2¿-^ = /(и,х,е), х е (— 1; 1),

Ох2

¿х (тМ)

ах

(2)

0^ = /(-)(и,хо,0), £< 0; 0-1 = /(+)(и, хо, 0), е> 0.

(3)

Каждое из присоединенных уравнений (3) эквивалентно присоединенной системе

= ф; ^ =/(т)(и'хо,0).

В силу условия (А2) каждая из точек (^>(т)(х0), 0) является точкой покоя типа седла соответствующей присоединенной системы на фазовой плоскости (и, Ф).

Потребуем также выполнения следующего условия:

(А3)

р

J /(-)(и,х0, 0)0и > 0,

)(хо)

решение которой определено аналогично решению задачи (1).

Определение 2. Функция

и(х,е) е С 1( —1;1) П С2 (( — 1; 1) \ х0)

называется решением задачи (2), если она удовлетворяет уравнению (2) при х е ( — 1; х0) и (х0; 1), а также граничным условиям задачи (2).

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

(А2) Пусть уравнение /(-)(и, х, 0) = 0 имеет на отрезке [—1;х0] изолированное решение ^(-)(х), а уравнение /(+)(и,х, 0) = 0 имеет на отрезке [х0; 1] изолированное решение ^>(+)(х), причем выполнено неравенство ^>(-)(х0) < ^>(+)(х0).

Пусть также выполнены неравенства

(х),х,0^ > 0, —1 < х < х0, (х), х, 0^ > 0, х0 ^ х ^ 1.

Далее мы будем исследовать такое решение задачи (2), которое слева от точки х0 близко к функции ^(-)(х), а справа от точки х0 — к функции ^>(+)(х) и резко изменяется от значений ^>(-)(х) до значений ^>(+)(х) в окрестности точки х0.

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

при )(х0) <р < ^(+)(х0); р

! /(+)(и,х0, 0)0и > 0,

при (х0) < р < ^(+)(х0).

При выполнении условий (А1) и (А3) на фазовой плоскости (и, Ф) существуют сепаратрисы Ф(т)(й), входящие, соответственно, в седла (^>(т)(х0), 0) при £ ^ Т^. Выражения для этих сепаратрис имеют следующий вид:

1

/ « \ 2

Ф(т) (и) =

2 ! /(т)(и,х0,0)0и

\ У(Т)(хо)

Введем функцию

Н(и) := Ф(-)(й) — Ф(+)(й)

/ й

2 ^ / (-)(и,х0,0)0и

\ ^(-)(хо) , 1

( - \ 2

— 2 / (+)(и,х0

\ У(+)(хо)

Потребуем выполнения еще одного условия.

(А4) Пусть с(уществует величин)а

р0 е (^>(-)(х0); ^>(+)(х0)) — решение уравнения Н(и) =0, а также выполнено неравенство

/(-)(р0,х0, 0) — /(+)(р0,х0, 0) > 0.

Уравнение Н(и) = 0 легко приводится к виду

й й J /(-)(и, х0, 0) = J /(+)(и, х0,0)

<^(-)(хо) У(+)(хо)

Несложно также получить, что

ОН. ,

^(Р0) = 2

/(-)(р0,х0, 0) — /(+)(р0,х0, 0)

2 ро JL

<р(~)(хо) /( 0) + (2/£°+)(хо) 0)

2

Таким образом, из условия (А4) следует неравенство

(5)

¿Я ,

*Г Ы > 0-

2. АСИМПТОТИЧЕСКОЕ ПРЕДСТАВЛЕНИЕ РЕШЕНИЯ

Построим асимптотическое приближение и(х, е) решения задачи (2) до первого порядка по малому параметру е включительно. Функцию и (х, е) будем строить отдельно слева и справа от точки хо:

и1(х,е)

)(х, е), —1 < х < хо, и(+)(х,е), хо < х < 1.

т(т)г

Каждую из функций и{+)(х,е) будем представлять в виде суммы трех слагаемых:

и(т)(х,е) = и(т)(х,е) + д(т)(С,е) + Д(т) (п(т),е).

Здесь и(т) (х, е) = 4т) (х) + еи(т)(х) лярная часть разложения, функции д(т) (С, е) =

регу-

= доТ) (С) + е^ 1+; (С) описывают поведение решения в окрестности точки хо, а функции Д(п(т),е) = = До (п(т)) + еД 1 (п(т)) описывают поведение решения в окрестностях граничных точек отрезка [—1; 1], х ± 1

1(Т)

Лт)

растянутые переменные соответствен-

но вблизи точек х = 1. Отметим, что в силу краевых условий Неймана До (п(т)) = 0.

Будем непрерывно сшивать асимптотические представления ) и и(+) в точке хо:

и(-) (хо, е) = и(+) (хо, е) = ро + ер 1- (6)

Неизвестные коэффициенты ро и р1 определим из условия непрерывного сшивания производных функций ) (х, е) и и(+)(х,е), в точке хо:

¿и.

(-)

(-)

(-)

о (хо) + 1 (0)^^Ь(0) + О(е) =

¿х

е ¿С

¿С

¿и,

(+)

¿х

о Ы + (0) + (0) + О(е)- (7)

е ¿С

¿С

2.1. Регулярная часть

Уравнения для функций регулярной части получаются согласно стандартному алгоритму [9] из равенств

¿2

е2 + еи<т0 =

/(т (4т> + еи<т),х,г) + О (е2).

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

/(т)(иот),х, 0) =0.

Учитывая условие (А2), положим

4т) = ^(т)(х). Функции и(т) (х) являются решениями уравнений

/ит) (^(т)(х),х, 0^ и(т) (х) =

= —(д/(т)/де)(^(т)(х),х, 0), которые также разрешимы согласно условию (А2).

2.2. Функции переходного слоя нулевого порядка

Уравнения для функций переходного слоя получаются, если приравнять коэффициенты при одинаковых степенях е в правой и левой частях каждого из равенств

(0,т) + ед(т)) = /(т)(4т)(хо + еС) +

+ еи(т)(хо + еС) + доТ) + е^1Т),хо + еС,е) — — / (т)(4т)(хо + еС) + еи((Т)(хо + еС),хо + еС,е)+

+ О(е2). (8)

Граничные условия для функций ^оТ)(С), г = 0,1 при С = 0 получаются, если приравнять коэффициенты при одинаковых степенях малого параметра в условии (6) непрерывного сшивания функций )(х, е) и и(+)(х,е):

4-)(хо) + еи(-) (хо) + до-)(0) + ед(-)(0) = = 4+)(хо)+еи(1+)(хо)+до+)(0)+ед(1+)(0) = ро+ер ь

(9)

Потребуем также выполнения стандартного условия убывания функций переходного слоя на бесконечности:

д!т)(Т^) = 0, г = 0, 1.

(10)

Выделяя в равенствах (8), (9), (10) слагаемые при ео, получим следующие задачи для функций ^оТ)(С):

' ¿2д

(т)

/(т) (Ут)Ы + дот),хо,0);

¿С2

до-) (0) + ^(-)(хо) = до+)(0) + ^(+)Ы = ро,

^от) (Т~) =0.

(11)

Задача для функции ^ )(С) рассматривается на полупрямой С ^ 0, а для функции <Зо+) (С) — на полупрямой

С > 0.

Введем обозначения

(С) =

М-)(хо) + до )(С), С < 0;

\^(+)(хо) + до+)(С), С > 0.

(12)

ф(-)(С) = I, С < 0;

Ф(+)(С) = ¿С, С > 0.

Перепишем задачи (11) с учетом введенных обозначений:

¿2

^ = / (и, хо, 0); и(0) = ро; и(^го) = ^;(хо).

Уравнения для функции и( С) на каждой из полупрямых С ^ 0 и С ^ 0 совпадают с присоединенными уравнениями (3). Согласно условиям (А2) и (А3) существуют функции

Ф(-)(С) :=ф(-)(и(С)) = ¿С, С < 0; и Ф(+)(С) := Ф(+)(и(С)) = ¿С, С > 0.

Функция и при £ ^ 0 является решением задачи

1

/

2 ¡^ / (-)(и,х0,0)0и \ ^(-)(хо) а при £ > 0 — решением задачи

2

(0) = р0,

0£

/

2 J / (+)(и,х0,0)0и , и(0) = р0.

\ У(+)(хо)

Известно (см., например, [9]), что справедливы следующие оценки: |и(£) — ^(т)(х0)| < Се-к|€|, где С и к — не зависящие от е положительные константы. Отсюда с учетом обозначений (12) следуют оценки для функций ^0Т)(£):

д0т)(£)

< Се-к|€|.

С использованием обозначений (12) условия сшивания производных (7) в порядке е-1 принимают вид

Ф(-)(0) =Ф(+)(0).

Из этого равенства следует уравнение Н(и(0)) = 0, которое, согласно условию (А4), имеет решение

и(0) = р0.

2.3. Функции переходного слоя первого порядка

Введем обозначения

/(т)(х) := /(т)(^(т)(х),х, 0),

/(т)(£) := /(т) (и(£),х0,0).

(14)

Аналогичный смысл имеют обозначения /иТ)(х)

/Хт)(х), ;(х), (£), /Х+ ;(£), ./Г;(£). Из равенств (8), (9), (10) в порядке е1 получим следующие задачи для функций )(£) на полупрямой £ < 0 и ^1+)(£) на полупрямой £ > 0:

— = д(1Т) / (£);

д(1-)(0) + и^ы = д1+)(0) + и1+)(хо) = рь

= 0,

р(т)/

?(т)

(т)/

?(т).

где

д1Т)/(£)

+ £

¿у(т) 0х

(хо) х

х /т)(£) — Дт)(х0)) + £ (/Хт)(£) — /Хт)Ы) +

+ (/|т)(£) — /е(т)Ы).

Решения этих задач можно выписать в явном виде:

д1т)(£) = (р1 — ^0)) Ф(П+

+ Ф(т)(£)

0£'

(Ф(т) (£'))-

У Ф(т)(а)д1т)/(а)Оа.

Функции д1т)/ (£) имеют экспоненциальные оценки вида (13) и такие же оценки справедливы для функций ^1т)(£). Вычислим производные функций д1т)(£) при £ = 0:

0£

,пч ( -(тЬ Л /(т)(Ро,xо, 0) (0)= 1р1 — и1 (хо)) Ф(т) (0)

+

+

Ф(т)(0)

Ф(т)(£)д1т)/(£)0£. (15)

Запишем условие сшивания производных, которое получается из равенства (7) в порядке е0:

а^(-) ^ ^ , ад! ) _

0х

-(хо) +

а£

(0)

ах

(хо) + ^ (»).

Подставляя сюда явные выражения (15) для производных функций д1т) и проводя некоторые преобразова-(13) ния, можно получить уравнение для коэффициента р1 :

ОН ( ) ^

"7^(р0) • р1 = ^Ь аи

где Н(и) — функция из условия (А4), а величина С1 — известна. Это уравнение разрешимо в силу неравенства (5).

2.4. Пограничные функции

Функции Д(т) (п(т),е) пограничного слоя в окрестностях точек х = т1 строятся стандартным образом [9] в виде разложения по степеням е. Для них справедливы экспоненциальные оценки, аналогичные оценкам для функций переходного слоя.

3. СУЩЕСТВОВАНИЕ РЕШЕНИЯ

Для доказательства существования решения используем теоремы о дифференциальных неравенствах, развитые для рассматриваемого класса задач в [5-7]. Из результатов этих работ следует, что из существования нижнего и верхнего решений а(х,е), в(х, е) задачи (2) следует существование решения этой задачи, заключенного между ними.

Функции а(х, е), в(х, е) называются нижним и верхним решениями задачи (2), если при достаточно малых е выполняется следующая система неравенств.

1. Условие упорядоченности:

а(х,е) ^ в(х,е), х е [—1;1].

2. Действие оператора на верхнее и нижнее решения:

2 а2 в „ 2 О2 а

е-Ох2 — /(в,х,е) < 0 < е2^ — /(а,х,е); х е ( — 1; 1)\хо.

3. Условия на границе:

Тот

Оа( —1'е) > и(-> > ах•-■е).

Оа(1, е) ^ и(+) ^ ^(1, е).

ах ах

0

1

1

€

4. Условия на производные в точке хо:

¿в / ¿в — (хо — 0, е) > —(хо + 0, е);

цх цх

, . ¿а . .

—(хо — 0, е) < — (хо + 0, е).

¿х —

3.1. Построение верхнего и нижнего решений

Алгоритм построения верхних и нижних решений для задач с внутренними переходными и пограничными слоями носит название асимптотического метода дифференциальных неравенств и подробно описан в [10-12]. Этот алгоритм заключается в построении функций а(х,е) и в(х, е) как модификаций асимптотического представления решения задачи.

Обозначим через в1(х, е) верхнее решение задачи (2), построенное с использованием асимптотического приближения первого порядка, и1(х, е), отдельно на каждом из отрезков [—1; хо] и [хо; 1]:

в1(х,е)

¿С2

?(т)(С) = (з — м)

Ф(т)(С) Ф(т)(0)

+

+ ф(т)(С)

¿С'

о (ф(т)(С')) т-

е

I Ф(т)(а)х

большими, чтобы выполнялись следующие неравенства:

3 — м > 0;

Л-)(С) — Л-)Ы) М — dехр(ЛС) < 0, С < 0; Д+)(С) — /и+)Ы) М — йехр(—ЛС) < 0, С > 0.

Отметим, что функция д(-)(С) принимает строго положительные значения при С ^ 0, а функция д(+)(С) — строго положительные значения при С ^ 0.

Функция а1(х,е) — нижнее решение задачи (2) — имеет вид

(-)

(х, е)

и<-)(х,е) — е(м + ?(-)(С))

«1(х,е)

:€ [—1; хо], С < 0;

в(-)(х, е) = и}-)(х, е) + е (м + 9(-)(С)) ,

х € [—1; хо], С < 0; в(+) (х, е) = и(+) (х, е) + е (м + ?(+) (С)) , х € [хо; 1], С > 0.

(16)

Здесь М — положительная константа, которая подбирается таким образом, чтобы неравенства 1-2 выполнялись вдали от точки хо. Функции д(т) (С) вводятся для устранения невязок порядка О(е), возникающих в неравенстве 2 — в окрестности точки хо в результате добавления к асимптотическому разложению величины М.

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

А(т) — Дт)(С)д(т) =

= (Дт)(С) — /иТ)(хо)) М — dехр(—Л|С|),

, 9(-)(0) + м = ?(+)(0) + м = 3; ?(т)(т^) = 0.

Здесь были использованы обозначения (14). Задача для ?(-) (С) решается при С < 0, а задача для д(+)(С) — при С > 0. Величина 3 определяется далее таким образом, чтобы неравенства 4 и 1 выполнялись в области переходного слоя.

Функции з(т)(С) можно выписать в явном виде:

(х, е) = и}+)(х,е) — е(м + ?(+)(С)) , кх € [хо; 1], С > 0.

(18)

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

Лемма 3.1. Для функций а1(х, е) и в1(х,е) выполняются неравенства 1-4.

Проверим выполнение неравенства 1. Для этого запишем разность в1(х,е) — а1(х, е) на каждом из сегментов [—1; хо] и [хо; 1]:

в(т) (х, е) — а1т) (х, е) = е ^2м + 2?(т)(С^ .

Выражения справа строго положительны, поскольку положительны константа м и функции д(т)(С). Таким образом, неравенство 1 выполнено всюду на [—1; 1].

Покажем выполнение неравенства 2 на примере верхнего решения. Из способа построения функций в(т) следуют равенства

в

х ((Дт)И — /иТ)(хо^ М — dехр(—Л|а|)) ¿а. (17)

Заметим, что имеют место следующие оценки: (см. (14), (12), (13))

ДТ)(С) — /т)(хо) <Сехр(—к|С|)

где С и к — положительные константы, не зависящие от е. Выберем теперь константы 3, и к достаточно

^ — /(Т) (в!Т),х,е) =

= —е (м ■ /иТ)(хо) + d ■ е-к|е|) + О (е2)

Функции /(т) (х) положительны согласно условию (А2), поэтому выражение в правой части отрицательно при достаточно малых е, и тем самым неравенство 2 для верхнего решения выполнено. Аналогично доказывается выполнение неравенства 2 для нижнего решения. Проверим выполнение неравенства 4 для верхнего решения. Из выражений (16) для функций в1(т), а также из условия С1-сшивания (7) следуют равенства

¿т(хо—0,е)—^(хо+0,е)=

^ (0) — ^ (0) + О(е).

¿С

¿С

(19)

1

е

е

Используя явный вид (17) для функций д(т)(£), можно выписать выражения для производных этих функций при £ = 0:

^(т)_ (0) = 6 / (т)(ро,хо, 0)

de

ф(т)(0)

Ш® • f«T)(xo) (po - ^o)) -Г o

/ ф(т)(£) • е-Л|'

Jtw

ФМ(0)

Подставляя эти выражения в правую часть равенства (19), получаем

^ (хо — 0, е) — ^х1 (хо + 0, е) = ах ах

= 6 • Ж(ро) — ф(-)(0) 1ро — ^ )(хо)) +

Теорема 2. При выполнении условий (A1)-(A4) при достаточно малых е стационарное решение м(ж,е) задачи (1) в смысле определения 2, для которого функция Ui(x,е) является равномерным асимптотическим приближением, локально единственно как решение задачи (2) и асимптотически устойчиво по Ляпунову с областью устойчивости по крайней мере [ai(x, е); в(x, е)].

Докажем, что решение v(x,t, е) задачи (1) существует для любой начальной функции , лежащей в интервале а1(х,е) ^ vinit(x, е) ^ в1(х,е), и выполняется предельное равенство

lim |v(x,t, е) — и(х,е)

t^w

0,

(21)

+

фс+йот — *(xo)J —

Г 0

/ Ф(-)(е) • ел«

J -W

ф(-)(о) у-

+

d

Ф(+)(0)

o

/ ф(+)(о • е-л«de.

•J + w

Принимая во внимание условие (А4), можно выбрать положительную величину 6 достаточно большой, чтобы выражение в правой части последнего равенства оказалось положительным и тем самым выполнялось неравенство 4 для верхнего решения.

Нетрудно доказать, что при том же значении 6 выполняется неравенство 4 для нижнего решения.

Как доказано в [5-7], из существования верхнего и нижнего решений задачи (2) следует существование решения и(х, е) задачи (2), заключенного между этими верхним и нижним решениями. Совершенно также могут быть построены нижние и верхние решения следующих порядков. Таким образом, имеет место следующая теорема.

Теорема 1. Пусть выполнены условия (А1)-(А4). Тогда при достаточно малом е > 0 существует функция и(х,е) — решение задачи (2), для которого функция и1(х,е) является равномерным асимптотическим 0 приближением с точностью 0(е2), то есть для всех 3 . Условия на границе:

где и(х, е) — единственное решение задачи (2) в интервале [а1(х, е), в1(х, е)].

Для доказательства этой теоремы также используем метод дифференциальных неравенств. Этот метод основан на принципе максимума для параболических уравнений и подробно описан в книге [13] для задач вида (1) в случае гладких функций /(-у,х,е) в правой части. Однако к случае рассматриваемой здесь функции /(«, х, е), удовлетворяющей условию (А1), этот метод также может быть применен, если принять во внимание принцип максимума для функций из класса С1 [14, 15].

Функции в(х,£, е) и а(х,-£,е), называемые верхним и нижним решениями задачи (1), определяются аналогично стационарной задаче. При достаточно малых е они удовлетворяют системе неравенств:

1 0. Условие упорядоченности:

а (х, е) < в (х, е), (¿, х) е йт.

20. Действие оператора в уравнении (1) на верхнее

и нижнее решения:

е2 S — f — ^^ < 0 <

, д2а да

^ е дХ2 — "dt — f (а, x, е) при (t, x) е DT

(т)

x е [—1; 1] выполняется неравенство

|u(x, е) — Ц^е) < Се2,

(20)

где С — положительная константа, не зависящая от е.

Стоит отметить, что для получения оценки (20) нужно построить асимптотическое приближение второго порядка и верхнее и нижнее решения по аналогии с (16) и (18) как модификации этого асимптотического приближения.

4. АСИМПТОТИЧЕСКАЯ УСТОЙЧИВОСТЬ СТАЦИОНАРНОГО РЕШЕНИЯ.

Как отмечалось в п. 1, решение задачи (2) — ста-

ционарное решение задачи (1). Использование построенных нижнего и верхнего решений позволяет нам доказать следующую теорему.

— М,е) > u(-) > —М,е),

dx dx

da(1, t, е) < u(+) < dx(1, t, е), t> 0. dx dx

40. Условия на производные при x = x0:

d/3, d/3,

—(xo — 0, t, е) > —(xo + 0, t, е);

da . . da.

— (xo — 0, t, е) < —(xo + 0, t, е), t> 0.

Используя результат теоремы 1, а также

очевидные оценки |и(х, е) — а1(х, е)| ^ Се

и |и(х, е) — в1(х,е)| ^ Се, несложно проверить

(аналогичные вычисления можно найти, например,

/3(ж, t, е) = <

в [16]), что условия 1 о-4о выполняются, если выбрать функции /(х,£,е) и а(х, £,е) следующим образом:

/3( )(x,t,e) = и(ж,е)+ + (V|-)(x,e) - и(ж,е)) e-£Yi, (t,x) е

/3(+)(ж,^е) = u(x, е)+ + (V(+)(x, е) - u(x, е)) e-£Yi,

(t,x) е dT+);

a(-)(x,t,e) = u(x, е)+ + ^а(-)(ж,е) — м(ж,е)^ e-£7i,

(t,x) е

А(+)(ж, t, е) = u(x, е)+ + (а(+)(ж, е) — u(x, е)) e-£Yi,

(t,x) е dT+),

(22)

«(ж, t, е) = <

где в(т)(х, е), а(т)(х,е) — функции из (16) и (18).

Аналогично работе [13], воспользовавшись принципом максимума для функций из класса С1 [14, 15], можно доказать, что из существования верхнего и нижнего решений задачи (1) следует существование единственного решения у(х,£, е) этой задачи, для которого в каждый момент времени £ > 0 выполняются неравенства а(т)(х,£, е) ^ у(х,£, е) ^ в(т)(х,£, е), при условии, что аналогичные неравенства выполняются в начальный момент времени:

а(т)(х,0,е) < —тй(х,е) < /(т)(х,0,е). (23)

Используя выражения (22), приходим к равенству (21), из которого в силу единственности решения задачи (1) следует локальная единственность решения и(х, е) задачи (2) и асимптотическая устойчивость этого решения как стационарного решения начально-краевой задачи (1).

Из неравенств (23), а также из того, что а(х, 0, е) = а1(х, е), /(х, 0, е) = /1(х,е) (см. (22)) следует, что промежуток [а1 (х, е); /1(х,е)] является областью притяжения устойчивого решения задачи (2).

ЗАКЛЮЧЕНИЕ

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

Работа выполнена при финансовой поддержке РНФ (грант № 18-11-00042).

СПИСОК ЛИТЕРАТУРЫ

1. Левашова Н. Т., Николаева О. А., Пашкин А. Д. II Вестник Моск. ун-та. Физ. Астрон. 2015. №5. С. 12. (Leva-shova N. T., Nikolaeva O. A., Pashkin A. D. II Moscow Univ. Phys. Bull. 2015. 70, N 5. P. 341).

2. Orlov A., Levashova N., Burbaev T. II Journal of Physics: Conference Series. 2015. 586. P. 012003.

3. Нефедов Н. Н, Ни М.К. II ЖВМиМФ. 2015. № 12. С. 64.

4. Васильева А. Б. II ЖВМиМФ. 1995. 35, №4. С. 520.

5. Похожаев С. И. II Матем. сб. 1980. 113 №2. С. 324.

6. Павленко В.Н., Ульянова О. В. 11 Изв. вузов. Матем. 1998. № 11. С. 69.

7. Лепчинский М.Г., Павленко В.Н. 11 Алгебра и анализ. 2005. 17, №3. С. 124.

8. Левашова Н. Т., Нефедов Н. Н, Орлов А. О. II ЖВМиМФ. 2017. 57, №5. С. 854.

9. Васильева А. Б., Бутузов В. Ф. 11 Асимптотические методы в теории сингулярных возмущений. М., 1990.

10. Нефедов Н.Н. 11 Дифференц. уравнения. 1995. 31, №7. С. 1132.

11. Васильева А. Б., Бутузов В.Ф., Нефедов Н.Н. 11 Труды математического института имени В. А. Стеклова. 2010. Т. 268. С. 268.

12. Nefedov N.N. 11 Lecture Notes in Computer Science. 2013. 8236. С. 62.

13. Pao C. V. II Nonlinear Parabolic and Elliptic Equations. New York, 1992.

14. Daners D., Koch Medina P. IIAbstract Evolution Equations, Periodic Problems and Applications. Harlow, Essex, 1992.

15. Dong G. 11 Nonlinear Partial Differential Equations of Second Order. Providence, Rhode Island, 2008.

16. Орлов А. О., Нефедов Н.Н., Левашова Н. Т. II Дифференц. уравнения. 2018. 54, № 5. С. 673.

The Asymptotic Stability of a Stationary Solution with an Internal Transition Layer to a Reaction-Diffusion Problem with a Discontinuous Reactive Term

N.N. Nefedova, N.T. Levashovab, A.O. Orlovc

Department of Mathematics, Faculty of Physics, Lomonosov Moscow State University, Moscow 119991, Russia. E-mail: anefedov@phys.msu.ru, bnatasha@npanalytica.ru, corlov.andrey@physics.msu.ru.

The problem of the asymptotic stability of a stationary solution with an internal transition layer of a one-dimensional reaction-diffusion equation is considered. What makes this problem peculiar is that it has a discontinuity (of the first kind) of the reactive term (source) at an internal point of the segment on which the problem is stated, making the solutions have large gradients in the narrow transition layer near the interface. The existence, local uniqueness, and asymptotic stability conditions are obtained for the solution with such an internal transition layer. The proof uses the asymptotic method of differential inequalities. The obtained existence and stability conditions of the solution should be taken into account when constructing adequate models that describe phenomena in media with discontinuous characteristics. One can use the results of this work to develop efficient methods for solving differential equations with discontinuous coefficients numerically.

Keywords: internal transition layer, method of differential inequalities, Lyapunov asymptotic stability, upper and lower

solutions.

PACS: 02.30.Hq.

Received 23 June 2018.

English version: Moscow University Physics Bulletin. 2018. 73, No. 6. Pp. 565—572.

Сведения об авторах

1. Нефедов Николай Николаевич — доктор физ.-мат наук, профессор, зав. кафедрой; тел.: (495) 939-48-59, e-mail: nefedov@phys.msu.ru.

2. Левашова Наталия Тимуровна — канд. физ.-мат. наук, доцент, доцент; тел.: (495) 939-10-33, e-mail: natasha@npanalytica.ru.

3. Орлов Андрей Олегович — аспирант; тел.: (495) 939-10-33, e-mail: orlov.andrey@physics.msu.ru.