Научная статья на тему 'НЕЛИНЕЙНЫЙ МЕТОД УГЛОВЫХ ПОГРАНИЧНЫХ ФУНКЦИЙ В ЗАДАЧАХ С КУБИЧЕСКИМИ НЕЛИНЕЙНОСТЯМИ'

НЕЛИНЕЙНЫЙ МЕТОД УГЛОВЫХ ПОГРАНИЧНЫХ ФУНКЦИЙ В ЗАДАЧАХ С КУБИЧЕСКИМИ НЕЛИНЕЙНОСТЯМИ Текст научной статьи по специальности «Математика»

CC BY
15
3
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Чебышевский сборник
Scopus
ВАК
RSCI
Область наук
Ключевые слова
ПОГРАНИЧНЫЙ СЛОЙ / АСИМПТОТИЧЕСКОЕ ПРИБЛИЖЕНИЕ / СИНГУЛЯРНО ВОЗМУЩЕННОЕ УРАВНЕНИЕ

Аннотация научной статьи по математике, автор научной работы — Денисов Алексей Игоревич, Денисов Игорь Васильевич

В прямоугольнике Ω = {(𝑥, 𝑡) | 0 < 𝑥 < 1, 0 < 𝑡 < 𝑇} рассматривается начально-краевая задача для сингулярно возмущенного параболического уравнения 𝜀2 ( 𝑎2 𝜕2𝑢 𝜕𝑥2 - 𝜕𝑢 𝜕𝑡 ) = 𝐹(𝑢, 𝑥, 𝑡, 𝜀), (𝑥, 𝑡) ∈ Ω, 𝑢(𝑥, 0, 𝜀) = 𝜙(𝑥), 0 ⩽ 𝑥 ⩽ 1, 𝑢(0, 𝑡, 𝜀) = 𝜓1(𝑡), 𝑢(1, 𝑡, 𝜀) = 𝜓2(𝑡), 0 ⩽ 𝑡 ⩽ 𝑇. Предполагается, что в угловых точках прямоугольника функция 𝐹 относительно переменной 𝑢 является кубической. Для построения асимптотики решения задачи используется нелинейный метод угловых пограничных функций, который предполагает выполнение следующих шагов: 1) разбиение области на части; 2) построение в каждой подобласти нижних и верхних решений задачи; 3) непрерывная стыковка нижних и верхних решений на общих границах подобластей; 4) последующее сглаживание кусочно-непрерывных нижних и верхних решений. В настоящей работе удалось построить барьерные функции, пригодные сразу во всей области. Вид барьерных функций определяются с помощью погранслойных функций, являющихся решениями обыкновенных дифференциальных уравнений, а также с учетом необходимых свойств искомых решений. В результате построено полное асимптотическое разложение решения при 𝜀 → 0 и обоснована его равномерность в замкнутом прямоугольнике.

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

Похожие темы научных работ по математике , автор научной работы — Денисов Алексей Игоревич, Денисов Игорь Васильевич

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

NONLINEAR METHOD OF ANGULAR BOUNDARY FUNCTIONS IN PROBLEMS WITH CUBIC NONLINEARITIES

In the rectangle Ω = {(𝑥, 𝑡) | 0 < 𝑥 < 1, 0 < 𝑡 < 𝑇} we consider an initial-boundary value problem for a singularly perturbed parabolic equation 𝜀2 ( 𝑎2 𝜕2𝑢 𝜕𝑥2 - 𝜕𝑢 𝜕𝑡 ) = 𝐹(𝑢, 𝑥, 𝑡, 𝜀), (𝑥, 𝑡) ∈ Ω, 𝑢(𝑥, 0, 𝜀) = 𝜙(𝑥), 0 ⩽ 𝑥 ⩽ 1, 𝑢(0, 𝑡, 𝜀) = 𝜓1(𝑡), 𝑢(1, 𝑡, 𝜀) = 𝜓2(𝑡), 0 ⩽ 𝑡 ⩽ 𝑇. It is assumed that at the corner points of the rectangle the function 𝐹 with respect to the variable 𝑢 is cubic. To construct the asymptotics of the solution to the problem, the nonlinear method of angular boundary functions is used, which involves the following steps: 1) splitting the area into parts; 2) construction in each subdomain of lower and upper solutions of the problem; 3) continuous joining of the lower and upper solutions on the common boundaries of the subdomains; 4) subsequent smoothing of piecewise continuous lower and upper solutions. In the present work, we succeeded in constructing barrier functions suitable for the entire region at once. The form of barrier functions is determined using boundary-layer functions that are solutions of ordinary differential equations, as well as taking into account the necessary properties of the desired solutions. As a result, a complete asymptotic expansion of the solution for 𝜀 → 0 is constructed and its uniformity in a closed rectangle is justified.

Текст научной работы на тему «НЕЛИНЕЙНЫЙ МЕТОД УГЛОВЫХ ПОГРАНИЧНЫХ ФУНКЦИЙ В ЗАДАЧАХ С КУБИЧЕСКИМИ НЕЛИНЕЙНОСТЯМИ»

ЧЕБЫШЕВСКИИ СБОРНИК

Том 24. Выпуск 1.

УДК 517.9

DOI 10.22405/2226-8383-2023-24-1-27-39

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

А. И. Денисов, И. В. Денисов

Денисов Алексей Игоревич — аспирант, Тульский государственный педагогический университет им. Л. Н. Толстого (г. Тула). e-mail: den_tspu@mail.ru

Денисов Игорь Васильевич — доктор физико-математических наук, профессор, Тульский государственный педагогический университет им. Л. Н. Толстого (г. Тула). e-mail: den_tspu@mail.ru

Аннотация

В прямоугольнике П = {(x,t) | 0 < х < 1, 0 <t <Т} рассматривается начально-краевая задача для сингулярно возмущенного параболического уравнения

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

1) разбиение области на части;

2) построение в каждой подобласти нижних и верхних решений задачи;

3) непрерывная стыковка нижних и верхних решений на общих границах подобластей;

4) последующее сглаживание кусочно-непрерывных нижних и верхних решений.

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

Ключевые слова: пограничный слой, асимптотическое приближение, сингулярно возмущенное уравнение.

Библиография: 16 названий.

и(х, 0, е) = у(ж), 0 ^ х ^ 1, u(0,t,e) = ^i(t), u(1,t,e) = ^2(t), 0 < t < Т.

Для цитирования:

А. И. Денисов, И. В. Денисов. Нелинейный метод угловых пограничных функций в задачах с кубическими нелинейностями // Чебышевский сборник, 2023, т. 24, вып. 1, с. 27-39.

CHEBYSHEVSKII SBORNIK Vol. 24. No. 1.

UDC 517.9

DOI 10.22405/2226-8383-2023-24-1-27-39

Nonlinear method of angular boundary functions in problems with cubic nonlinearities

A. I. Denisov, I. V. Denisov

Denisov Alexey Igorevich — postgraduate student, Tula State Lev Tolstoy Pedagogical University (Tula). e-mail: den_tspu@mail.ru

Denisov Igor Vasil'evich — doctor of physical and mathematical sciences, professor, Tula State Lev Tolstoy Pedagogical University (Tula). e-mail: den_tspu@mail.ru

In the rectangle Q = {(x,t) 10 < x < 1, 0 <t <T} we consider an initial-boundary value problem for a singularly perturbed parabolic equation

It is assumed that at the corner points of the rectangle the function F with respect to the variable u is cubic. To construct the asymptotics of the solution to the problem, the nonlinear method of angular boundary functions is used, which involves the following steps:

1) splitting the area into parts;

2) construction in each subdomain of lower and upper solutions of the problem;

3) continuous joining of the lower and upper solutions on the common boundaries of the subdomains;

4) subsequent smoothing of piecewise continuous lower and upper solutions.

In the present work, we succeeded in constructing barrier functions suitable for the entire region at once. The form of barrier functions is determined using boundary-layer functions that are solutions of ordinary differential equations, as well as taking into account the necessary-properties of the desired solutions. As a result, a complete asymptotic expansion of the solution for £ ^ 0 is constructed and its uniformity in a closed rectangle is justified.

Keywords: boundary layer, asymptotic approximation, singularly perturbed equation.

Bibliography: 16 titles.

Abstract

u(x, 0, e) = tp(x), 0 ^ x ^ 1,

u(0,t,e) = ^i(i), u(1,t,e) = ^2(t), 0 < t < T.

For citation:

A. I. Denisov, I. V. Denisov, 2023, "Nonlinear method of angular boundary functions in problems with cubic nonlinearities" , Chebyshevskii sbornik, vol. 24, no. 1, pp. 27-39.

1. Введение

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

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

В теории и практике применения дифференциальных уравнений в частных производных основной интерес представляют задачи с краевыми условиями первого рода (задача Дирихле). При рассмотрении таких задач в областях с угловыми точками границы угловой погранс-лой определяется из нелинейных задач, решение которых представляет основную проблему. К таким задачам в 1991 году одному из авторов удалось применить метод верхних и нижних решений. Используя погранслойные функции, получающиеся как решения обыкновенных дифференциальных уравнений, были построены нижние и верхние решения для нелинейных уравнений в частных производных, определяющих угловые пограничные функции (см. [3]). В первых работах рассматривались простейшие квадратичные нелинейности. Впоследствии был сделан переход к нелинейностям общего вида, а для построения угловых пограничных функций был предложен способ, предполагающий следующие шаги:

1) разбиение области на части; 2) построение в каждой подобласти нижних и верхних решений задачи; 3) непрерывная стыковка нижних и верхних решений на общих границах подобластей; 4) последующее сглаживание кусочно-непрерывных нижних и верхних решений.

Так появился нелинейный метод угловых пограничных функций. На основании последних исследований (см. [4-11]) стало возможным завершить формирование этого метода и оформить его в виде законченной теории, имея в виду дальнейшее применение этого метода к многочисленным прикладным задачам.

Для обоснования построенной асимптотики решения вместо применявшегося в первых работах способа впоследствии был использован универсальный метод дифференциальных неравенств, предложенный Н. И. Нефедовым (см. [12]).

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

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

Обозначим через О прямоугольник {(х,Ь) | 0 < х < 1, 0 < Ь < Т}. Рассмотрим начально-краевую задачу вида

(1)

и(х, 0, е) = <р(х), 0 ^ х ^ 1, и(0,г,е)= и(1,г,е)= ^2^), 0 < г < Т.

Предположим, что выполнены следующие условия.

(2) (3)

Условие 1. Функции Р(и,х,Ь,е), ф(х), ф1(Ь) и ф2(Ь) являются достаточно гладкими и в угловых точках прямоугольника, О выполняются условия согласованност,и начально-кра,евых значений

р(0)= ^(0), р(1) = ^(0).

Условие 2. Вырожденное уравнение Р(и, х,1, 0) = 0 в зам,кнут,ом, прямоугольнике О имеет решение, которое обозначается как и = йо(ж,£).

Заметим, что в силу нелинейности это уравнение может иметь и другие решения. Условие 3. Производная, ^(йо (х,Ь),х,Ь, 0) > 0 в зам,кнут,ом, прямоугольнике О. Условие 4. Начальная, задача,

= —Р(йо(х, 0) + По, ж, 0,0), По(х, 0) = <р(х) — йо(х, 0),

ат

имеет решение По(ж,т) при т ^ 0 удовлетворяющее условию По (ж, те) = 0 (здесь параметр х е [0,1];.

Условие 5. Для систем,

^ = *2, о2^ = ^(зд(М) + гьк,1, 0), (4)

прямые г1 = ф1+кЮ — ио(к,Ь) пересекают, сепаратрисы, входящие в точку покоя (г1,г2) = = (0, 0) щи у ^ те (здесь £ - параметр, к = 0 или 1).

В силу условий 1-3 точка (¿1, г2) = (0, 0) является точкой покоя типа седла систем (4). При сделанных предположениях нельзя гарантировать существование решения задачи (1)-(3). Кроме этого, даже если решение задачи существует, его явное представление, как правило, получить не удается. Поэтому для доказательства существования решения задачи (1)-(3) требуются дополнительные условия, которые будут сформулированы ниже.

3. Алгоритм решения задачи

Решение задачи (1)-(3) ищется в виде асимптотического ряда по параметру е ^ 0, состоящего из шести частей:

и(х,г,е)= й + (П + + Я*) + (Р + Р*). (5)

Здесь й- регулярная часть асимптотики, играющая роль внутри прямоугольника О, П, Q и погранслойные функции, играющие роль вблизи сторон прямоугольника О соответственно Ь = 0 х = 0 и х = 1, Ри Р *- угловые пограничные функции, играющие роль вблизи вершин прямоугольника О соответственно (0, 0) и (1, 0).

Формальная процедура построения регулярной части асимптотики и погранслойных функций хорошо отработана (см. [13]) и мы приведем ее схематично. В уравнении (1) функция Р заменяется выражением, аналогичным (6):

Р(и, х,Ь,е) = Р + (ПР + <^Р + + (РР + Р*Р). (6)

Выражения (5) и (6) подставляются в уравнение (1), которое разделяется на части: регулярную, погранслойные и угловые. Регулярная часть асимптотики й строится в виде ряда по степеням е:

те

■й(ж,£, е) = ^ ек ик (ж,í). к=о

Погранслойная часть асимптотики вводится для устранения невязок регулярной части с начальным и граничными условиями. Погранслойные функции П, ЯЖЯ* ищутся в виде рядов

тете те

П(х,т,е) = ^ ^ Щ (х,т), Яа,1,е) = ^ Як (£,1), Я*(£*,1,е) = ^ ^ Як (£*,£),

где

*

к=0 к=0 к=0

^ 1 Ж t

= -, я* =-, т = .

е е е2

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

С целью устранения невязок с начальным и граничными условиями вблизи угловых точек (0, 0) и (1, 0) прямоугольника П вводятся угловые пограничные функции Р(£, т, е) и Р*(£*, т, е), нахождение которых доставляет основные трудности при решении поставленной задачи. Эти функции ищутся в виде рядов

тете

р(с,т,е) = ^екРка,т), р*а*,т,£) = ^екр*ка*,т). к=0 к=0

Задача для определения Р0(£,т) ставится в первой четверти М+ плоскости растянутых переменных (£,т) и имеет вид

я 2 р ар

а2- = Р (ад + П0 + ^ + Р0) - ^ (зд + Пс) - ^ (ад + , (7)

ос,2 от

Р0(0,т) = -П0(0,г), Р0(£, 0) = -^(С, 0), (8)

Р0(£,т) ^ 0 при £ + т ^ ж, (9)

где для краткости используются обозначения

Р (и) = Р (и, 0, 0, 0), ад = ад(0, 0), П к = п к (0, т), Як = Як (£, 0), Рк = Рк (£,т).

Для функций Рк(£,т), к ^ 1, в области М+ получаются линейные задачи

д 2 Рь дРи

а2 -т^Т - = р' (*> +П0 + ^0 + Р0) Рк + Ик, (10)

Рк (0, т) = -Пк (0, т), Рк а, 0) = -Як а, 0), (11)

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

Рк((,т) ^ 0 при £ + т ^ ж, (12)

где неоднородности И к = И к (£,т) удовлетворяют экспоненциальным оценкам вида

И(£,т)| < Сехр(-К(£ + г)), (13)

если подобным оценкам удовлетворяют функции Р0,..., Рк-1 • Здесь С и к - некоторые положительные числа.

Если число ^>(0, 0) - ад(0, 0) = 0, то решением задачи для П0(ж, т) при х = 0 будет функция П0(0,т) = 0, решением задачи для ^(С,^) при t = 0 будет функция Я0(£,, 0) = 0. Решением задачи (7)-(9) будет функция Р0(£,т) = 0 а коэффициент Р' (ад + П0 + Я0 + Р0) в задачах (10)—(12) будет постоянным и положительным:

Р' (ад + П0 + ^0 + Р0) = Р'Ы > 0.

В этом случае решения задач (10)—(12) выписываются в явном виде и для них получаются экспоненциальные оценки вида (13).

Если число ^>(0, 0) — йо(0, 0) = 0, то, вообще говоря, не известно имеет или нет задача (7)-(9) решение и удовлетворяет ли решение в случае существования экспоненциальной оценке вида (13). Кроме этого, в задачах (10)—(12) коэффициент Р' (йо + По + Q0 + Ро) может в зависимости от вида функции Р и величины ^>(0, 0) принимать как положительные, так и отрицательные значения.

Даже в случае разрешимости задач (7)-(9) и (10)—(12) доказательство того, что задача (1)-(3) имеет решение, все равно остается проблемой. Это связано с тем, что, не зная явного вида функции Ро(£, т), мы не можем знать явного вида коэффициента Р' (йо + По + ^о + Ро), который может оказаться как положительным, так и отрицательным. Это обстоятельство, вообще говоря, не позволяет обосновать построенную асимптотику решения.

Таким образом, в результате реализации метода угловых погранфункций для исследования задачи (1)-(3) мы перешли к задачам (7)-(9) и (10)—(12). Дальнейшие исследования предполагают разрешение, по крайней мере, трех основных проблем:

1) Имеет ли задача (7)-(9) решение, удовлетворяющее экспоненциальной оценке убывания вида (13)?

2) Если задача (7)-(9) имеет решение, удовлетворяющее экспоненциальной оценке вида (13), то имеют ли задачи (10)—(12) решения, удовлетворяющие подобным оценкам?

3) Если задачи (7)-(9) и (10)—(12) разрешимы, т. е. если ряд (5) может быть построен, то имеет ли задача (1)-(3) решение, для которого этот ряд будет асимптотическим представлением при £ ^ 0 в замкнутом прямоугольнике О?

Задачи для угловых погранфункций Р*(^*,т), к ^ 0, ставятся аналогично.

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

Для доказательства существования решения задачи (7)-(9) используется метод верхних и нижних решений (см. [14-16]), который заключается в том, что задача

Ь(^) = 0 в области О,

2 = К на границе дИ

имеет решение 2 в границах

2- < 2 <

если в области И выполняются неравенства

ь(г+) < 0, ь(г-) ^ 0, г- < г+,

а на ее границе

г- < к <

Для удобства введем обозначения

Ь(г) := а2-— — — — Р (йо + По + Яо + 2) + Р (зд + По) + Р (зд + £о) . о^2 от

Тогда задача (7)-(9) примет вид

Ь(Ро) = 0 в области М+, (14)

Ро(0,г) = —По(0,т), Ро(£, 0) = — Яо((, 0), (15)

Ро((,т) ^ 0 при £ + т ^ те. (16)

4. Основные результаты

Будем предполагать, что в угловых точках (к, 0) прямоугольника П, где к = 0 или 1, функция Р(и) = Р(и, к, 0, 0) имеет вид

В работе [9] доказана следующая теорема.

Теорема 1. Пусть выполнены, условия 15 и в угловых точках (к, 0) прямоугольника, П, где к = 0 или 1, функция Р(и) = Р(и, к, 0, 0) имеет вид

Если граничные значения р(к) > и0, то для достаточно малых £ задача, (1) (3) имеет решение и(х,Ь,е), для которого ряд

является, асимптотическим, представлением, при е ^ 0 в замкнутом прямоугольнике П.

Заметим, что в условиях теоремы 1 функция Р(и) на промежутке и > ад возрастает и выпукла вниз.

Теперь рассмотрим случай, когда в угловых точках (к, 0) прямоугольника П, где к = 0 или 1, функция Р(и) = Р(и, к, 0, 0) имеет вид

В этом случае функция Р(и^и и > ад сначала выпукла вверх, в точке и = 0 имеет перегиб и далее становится выпуклой вниз. В отличие от предыдущего, когда предполагалось, что ад > 0, "старая"техника не работает. В работе [10] для верхнего решения удалось получить достаточно оптимальный результат, учитывающий влияние точки перегиба.

Теорема 2. Пусть функция Р(и) имеет вид

Р(и) = и3 - и^, где ад = и0(к, 0).

Р(и) = и3 - и0, где числа и0 = и0(к, 0) > 0.

те

^ ек(йк(х, I) + Пк(ж, г) + Як(С, I) + я*к(£*,1) + Рк(£, Т) + Р*(С*,Т))

Р(и) = и3 - и0, где числа ад = и0(к, 0) < 0.

Р(и) = и3 - и0, где и0 = ад(0, 0) < 0.

Если граничное значение (р = ^>(0) находится, в промежутке

(17)

является верхним, решением, задачи, (Ц) (16).

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

Р(и) = и3 - и3, где ад = ад(0, 0) < 0.

Если граничное значение (р = ^>(0) находится, в промежутке

ад <>Р < 0, 88ад < 0,

то функция

г-(^,т) = — 2/По(0,т)Яо((, 0)

является нижним решением, задачи, (1^) (16).

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

Теорема 4. Пусть функция Р(и) имеет вид

Р(и) = и3 — у,о, где ио = йо(0, 0) < 0. Если граничное значение р = ^>(0) удовлетворяет условию (17):

ио

ио <¥ < у < 0,

то функция

г-(£,т ) = —Сехр(—Щ + г)),

где С ик - некоторые положительные числа, является нижним решением задачи (Ц) (16). Доказательство. Сначала нужно доказать неравенство

Ь(г-) = (а2к + 1)к2- — Р(ио + По + ^о + г-) + Р(ио + По) + Р(зд + Яо) > 0. (18)

Для рассматриваемой функции Р(и) имеем

Р (йо + и) = и3 + 3иои2 + Э^о и,

Ь(г-) = (а2к + 1)к2- — (По + ^о + ^-)3 — 3йо(По + ^о + ^-)2 — Эй2(По + ^о + + +П3 + ЭйоПо + Э^По + Оо + ЭйоЯ2, + Эг^о =

= (а2к + 1)кг- — ((По + Яо + г- )3 — П3 — о3) — —Эио ((По + Яо + ^-)2 — по — Я2о) — Эи20 ((По + Яо + г-) — По — Яо) = = (а2к + 1)к2- — (эпо Яо + ЭПо^2 + 3(По + Яо?%- + 3(По + Яо)%- + ) — —Эйо ((2По^о + 2(По + Яо)г- + Я-) — Э^о^- = = [а2^2 + к — Эи2о — Э(По + ^о)(По + Яо + 2од) — Э(По + Яо + йо)2- — Z2-] 2- —

—Э(По + ^о)(По + Яо + 2ио). Так как По, Яо е (0, <р — йо], то По + Яо + 2ио е (2ио, 2^>], где <р < 0. Поэтому

—3(По + ^о)(По + Яо + 2ио) > 0.

Чтобы удовлетворить неравенству (18), в выражении для Ь(2-) достаточно иметь

а2к2 + к — Эи2 — 3(По + ^о)(По + ^о + 2зд) — 3(По + ^о + зд)^ — 2- < 0.

Здесь

По + Яо + ио е (йо,йо + 2(р — ио)] и ио + 2(^> — йо) < 0 в силу условия (17). Поэтому

По + Яо + ио < 0 и — э(По + Яо + ио)г- — г- < 0, однако последнее выражение стремится к нулю при £ + т ^ те.

Рассмотрим функцию

к(з) = -Зф + 2ад), где 8 = П0 + (^0 е (0, 2(ср - ад)].

Парабола имеет ветви, направленные вниз, пересекает ось абсцисс в точках 0 и -2ад, вершина находится в точке с координатами (-ад, Зи^). Так как ад < <р < < 0, то 0 < 2(^> - ад) < -и0. Поэтому

к(2(р - ад)) < к(-и0) = Зи^.

За счет выбора достаточно малого положительного числа к можно добиться отрицательности выражения

а2к2 + к - Зи20 - 3(П0 + ^(П + (¿0 + 2ад) < а2к2 + к - Зи20 + ВДр - ад)) =

= а2к2 + к - Зи2 - 12(^> - и0))<р. Для этого нужно взять к из промежутка

0 <,< -1 + У^Ш2^ + 4(^ - ад^ (19)

2СЬ

При таком условии Ь^^ > 0 внутри области М+. Кроме этого для нижнего решения должны выполняться неравенства

г-(0,т) = -Сехр(-кт) < -П0(0,г), (20)

г-(£, 0) = -Сехр(-Й£) < -Я0(С, 0), (21)

г-(£,т) = -Сехр(-^ + г)) < г+(£,т) = -П°(°,Г^^ 0). (22)

Воспользуемся оценками

0 < П0(0, т) < ( <р - ад)ехр(-^ т), 0 < Я0((, 0) < (<Р - й0)ехр(-к2О,

где к\,2 - некоторые положительные числа. Для выполнения (20)-(22) достаточно взять

С ><р - и0, 0 < к < тт(к1,к2). С учетом (19) получаем окончательные условия выбора С ж к:

(^1 ,-

^ , , -1 + л/1 + 12а2(и2 + 4(¡р - адЬ) \ . ,

С ><р -ад, 0 <к<тт\к1, к2,---^г-—-. (2З)

Это завершает доказательство теоремы 4-Теорема 5. Пусть функция Р(и) имеет вид

Р(и) = и3 -и0, где ад = ад(0, 0) < 0.

Если граничное значение <р = ^>(0) удовлетворяет условию (17):

и0

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

Щ <<р < — < 0,

то задача (7)-(9) имеет решение Ро(^,т) удовлетворяющее экспоненциальной оценке убывания вида (13).

Доказательство. Барьерные функции для Ро(£,т) имеют вид

г< ( и с \\ О (С \ По(0, т )Яо(С, 0)

—Сехр(—к(£ + т)) < Ро(С, т) <-------

<Р — ио

и удовлетворяют оценкам вида (13). Значит, оценке того же вида удовлетворяет и Ро(£,т). Теорем,а доказана.

Теорема 6. Пусть функция Р(и) имеет вид

Р(и) = и3 — й,о, где ио = йо(0, 0) < 0.

Если граничное значение <р> = ^>(0) удовлетворяет условию (17):

ио

ио <Р < — < 0.

то задачи (10) (12) имеют решения Р^(£,т) удовлетворяющие экспоненциальным, оценкам, убывания, вида (13).

Доказательство. Имеем соотношение

По + ^о — ^ = („ — «о) (1 — (1 — ) (1 — )) ,

<Р — ио \ \ <р — щ; \ V — ио))

которое показывает, что величина

По(0, т)Яо((, 0)

ио + По + ^о--=-е (ио; <р].

Р — ио

Поэтому

' ио +По + до + Ро < ио + По + до — По(0,т 0) < <р.

Р — ио

Для и < р производная Р'(и) > Р'(р) > 0, поэтому коэффициенты в задачах (10)—(12)

? (и0 + По + Яо + Л)) > (ф) > 0,

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

Функции Р**(£*,т), к ^ 0, определяются аналогично. Асимптотический ряд (5) оказывается полностью построенным при дополнительном условии (17).

Теорема 7. Пусть выполнены, условия 15 и в угловых точках (к, 0) прямоугольника О, где к = 0 или 1, функция, Р(и) = Р(и, к, 0, 0) имеет вид

Р(и) = и3 — и^,, где числа щ = Щ(к, 0) < 0. Если граничные значения, р = р(к) удовлетворяют условию (17):

ио

Щ <Р < — < 0,

то для достаточно малых £ задача, (1) (3) имеет решение и(х,Ь,£), для которого ряд ; ^ (ик(х, I) + Пк(х, т) + Як(С, $ + Я*(£*+ Рк(£, Г) + Р*(С*,т))

те

к=о

является асимптотическим представлением при £ ^ 0 в замкнутом прямоугольнике О.

Доказательство теоремы основано на разрешимости задач для пограничных функций Щ, Як, Я^ Рк И Р* при к ^ 1 и повторяет доказательство соответствующих теорем в [4-10].

Замечание. Функция Р в различных угловых точках не обязательно должна иметь один и тот же вид. Все результаты работ [3-11] сохраняются, если в каждой угловой точке функция р ИМеет один из рассмотренных в этих работах вид.

СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ

1. Бутузов В.Ф. Асимптотика решения разностного уравнения с малыми шагами в прямоугольной области // Журнал вычисл. матем. и матем. физики. - Т. 12. - № 3. 1972. -С. 582-597. (English transl.: Butuzov V.F. Asymptotic Properties of the Solution of a Finite-Difference Equation with Small Steps in a Rectangular Region // Computational Mathematics and Mathematical Physics. 1972. Vol. 12. № 3. pp. 14-34.)

2. Бутузов В.Ф., Нестеров А.В. Об одном сингулярно возмущенном уравнении параболического типа // Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика. 1978. № 2. - С. 49-56.

3. Денисов И.В. Об асимптотическом разложении решения сингулярно возмущенного эллиптического уравнения в прямоугольнике // Асимптотические методы теории сингулярно -возмущенных уравнений и некорректно поставленных задач: Сб. научн. тр. - Бишкек: II.iii.M. 1991. - С. 37.

4. Денисов И.В. Угловой пограничный слой в краевых задачах для сингулярно возмущенных параболических уравнений с квадратичной нелинейностью // Журнал вычисл. матем. и матем. физики. - Т.57. - № 2. 2017. - С. 255-274 (English transl.: Denisov I.V. Angular Boundary Layer in Boundary Value Problems for Singularly Perturbed Parabolic Equations with Quadratic Nonlinearitv // Computational Mathematics and Mathematical Physics. 2017. Vol. 57. № 2. pp. 253-271.)'

5. Денисов И.В. Угловой пограничный слой в краевых задачах для сингулярно возмущенных параболических уравнений с монотонной нелинейностью // Журнал вычисл. матем. и матем. физики. - Т.58. № 4. 2018. - С. 575-585. (English transl.: Denisov I.V. Corner Boundary Layer in Boundary Value Problems for Singularly Perturbed Parabolic Equations with Monotonic Nonlinearitv // Computational Mathematics and Mathematical Physics. 2018. Vol. 58. № 4. pp. 562-571.)

6. Денисов И.В. О некоторых классах функций // Чебышевский сборник. Т. X. Вып. 2 (30). - Тула: Изд-во Тул. гос. пед. ун-та им. Л.Н. Толстого, 2009. - С. 79-108.

7. Денисов А.И., Денисов И.В. Угловой пограничный слой в краевых задачах для сингулярно возмущенных параболических уравнений с нелинейностями // Журнал вычисл. матем. и матем. физики. - Т.59. № 1. 2019. - С. 102-117. (English transl.: Denisov I.V., Denisov A.I. Corner Boundary Layer in Boundary Value Problems for Singularly Perturbed Parabolic Equations with Nonlinearities // Computational Mathematics and Mathematical Physics. 2019. Vol. 59. № 1. pp. 96-111.)

8. Денисов А.И., Денисов И.В. Угловой пограничный слой в краевых задачах для сингулярно возмущенных параболических уравнений с немонотонными нелинейностями // Журнал вычисл. матем. и матем. физики. - Т.59. № 9. 2019. - С. 1581-1590. (English transl.: Denisov I.V., Denisov A.I. Corner Boundary Layer in Boundary Value Problems for Singularly Perturbed Parabolic Equations with Nonmonotonic Nonlinearities // Computational Mathematics and Mathematical Physics. 2019. Vol. 59. № 9. pp. 1518-1527.)

9. Денисов И.В. Угловой пограничный слой в краевых задачах для сингулярно возмущенных параболических уравнений с кубическими нелинейностями // Журнал вычисл. матем. и матем. физики. - Т.61. № 2. 2021. - С. 256-267. (English transl.: Denisov I.V. Corner Boundary Layer in Boundary Value Problems for Singularly Perturbed Parabolic Equations with Cubic

Nonlinearities // Computational Mathematics and Mathematical Physics. 2021. Vol. 61. № 2. pp. 242-253.)

10. Денисов И.В. Угловой пограничный слой в краевых задачах с нелинейностями, имеющими стационарные точки // Журнал вычисл. матем. и матем. физики. - Т.61. № 11. 2021. - С. 1894-1903. (English transl.: Denisov I.V. Corner Boundary Layer in Boundary Value Problems with Nonlinearities Having Stationary Points // Computational Mathematics and Mathematical Physics. 2021. Vol. 61. № 11. pp. 1855-1863.)

11. Денисов А.И., Денисов И.В. Математические модели процессов горения // Итоги науки и техники. Современная математика и ее приложения. Тематические обзоры, 185, ВИНИТИ РАН, \!.. 2020. - С. 50-57.

12. Нефедов Н.Н. Метод дифференциальных неравенств для некоторых сингулярно возмущенных задач в частных производных. // Дифференц. уравнения. Т.31. № 4. 1995. -С. 719-723. (English transl.: Nefedov N.N. The Method of Differential Inequalities for Some Singularly Pertubed Partial Differential Equations // Differential Equations. 1995. Vol. 31. № 4. pp. 668-671.)

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

14. Amann Н. On the Existence of Positive Solutions of Nonlinear Elliptic Boundary Value Problems // Indiana Univ. Math. J. 1971. Vol.21, № 2. P. 125 - 146.

15. Sattinger D.H. Monotone Methods in Nonlinear Elliptic and Parabolic Boundary Value Problems // Indiana Univ. Math. J. 1972. V. 21. № 11. P. 979 - 1000.

16. Amann H. // Nonlinear Analysis: coll. of papers in honor of E.H. Rothe / Ed. by L. Cesari et al. - New York etc: Acad press, cop. 1978. - XIII. P. 1 - 29.

REFERENCES

1. Butuzov V.F., 1972, "Asymptotic Properties of the Solution of a Finite-Difference Equation with Small Steps in a Rectangular Region" // Computational Mathematics and Mathematical Physics. Vol. 12. № 3. pp. 14-34.

2. Butuzov V.F., Nesterov A.V., 1978, "On one singularly perturbed equation of parabolic type" // Bulletin of the Moscow University. Series 15: Computational Mathematics and Cybernetics. № . 2. S. 49-56.

3. Denisov I.V., 1991, "On the asymptotic expansion of the solution of a singularly perturbed elliptic equation in a rectangle" // Asymptotic methods of the theory of singularly perturbed equations and ill-posed problems: Collection of articles, scientific, tr. - Bishkek: Ilim. p. 37.

4. Denisov I.V., 2017, "Angular Boundary Layer in Boundary Value Problems for Singularly Perturbed Parabolic Equations with Quadratic Nonlinearitv" // Computational Mathematics and Mathematical Physics. Vol. 57. No. 2. pp. 253-271.

5. Denisov I.V., 2018, "Corner Boundary Layer in Boundary Value Problems for Singularly Perturbed Parabolic Equations with Monotonic Nonlinearitv" // Computational Mathematics and Mathematical Physics. Vol. 58. No. 4. Pp. 562-571.

6. Denisov I.V., 2009, "On some classes of functions" // Chebvshevskii Sbornik. Т. X. 2 (30). -Tula: Publishing house Tul. state ped. un-ta them. L.N. Tolstoy, pp. 79-108.

7. Denisov A.I., Denisov I.V., 2019, "Corner Boundary Layer in Boundary Value Problems for Singularly Perturbed Parabolic Equations with Nonlinearities" // Computational Mathematics and Mathematical Physics. Vol. 59. No. 1. pp. 96-111.

8. Denisov A.I., Denisov I.V., 2019, "Corner Boundary Layer in Boundary Value Problems for Singularly Perturbed Parabolic Equations with Nonmonotonic Nonlinearities" // Computational Mathematics and Mathematical Physics. Vol. 59. No. 9. Pp. 1518-1527.

9. Denisov I.V., 2021, "Corner Boundary Layer in Boundary Value Problems for Singularly Perturbed Parabolic Equations with Cubic Nonlinearities" // Computational Mathematics and Mathematical Physics. Vol. 61. № 2. pp. 242-253.

10. Denisov I.V., 2021, "Corner Boundary Layer in Boundary Value Problems with Nonlinearities Having Stationary Points" // Computational Mathematics and Mathematical Physics. Vol. 61. № 11. pp. 1855-1863.

11. Denisov A.I., Denisov I.V., 2020, "Mathematical models of combustion processes" // Results of science and technology. Modern mathematics and its applications. Thematic reviews, 185, VINITI RAN, Moscow - P. 50-57.

12. Nefedov N.N., 1995, "The Method of Differential Inequalities for Some Singularly Pertubed Partial Differential Equations" // Differential Equations. . Vol. 31. № 4. pp. 668-671.

13. Vasilveva А.В., Butuzov V.F., 1990, "Asymptotic methods in the theory of singular perturbations" - M.: Higher school.

14. Amann H., 1971, "On the Existence of Positive Solutions of Nonlinear Elliptic Boundary Value Problems" // Indiana Univ. Math. J. Vol.21, № 2. P. 125 - 146.

15. Sattinger D.H., 1972, "Monotone Methods in Nonlinear Elliptic and Parabolic Boundary Value Problems" // Indiana Univ. Math. J. V. 21. № 11. P. 979 - 1000.

16. Amann H., 1978, "Nonlinear Analysis: coll. of papers in honor of E.H. Rothe" / Ed. by L. Cesari et al. - New York etc: Acad press, cop. - XIII. P. 1 - 29.

Получено: 28.01.2023 Принято в печать: 24.04.2023

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