Научная статья на тему 'Эволюция двумерной нестационарной контрастной структуры в неоднородной среде с адвекцией'

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

CC BY
0
0
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
нелинейные дифференциальные уравнения / асимптотические методы / nonlinear differential equations / asymptotics methods

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

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

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

Two-dimensional transient contrasting structure evolution in an inhomogeneous media with the advection

The inner transition layer evolution for two-dimensional quasi-linear initial-boundary value problem for the reaction-advection-diffusion equation in an inhomogeneous media with a small parameter within the high order derivatives is considered. Within the framework of the main (zero order) sum of the asymptotic series, the position of the inner transition layer is described by the Hamilton–Jacobi equation. The potential is calculated as an integrated density function of the reaction sources within the limits of the equilibrium levels. The front line of the transition layer evolves in the same way as the constant-eikonal line (the wavefront line in the other words) for the problem of wave propagation in an inhomogeneous medium in short-wave (geometro-optical) asymptotics. The sum of the asymptotic series of zero order and first order is found, the existence gap of a smooth front line, the time of destruction of the contrasting structure are calculated.

Текст научной работы на тему «Эволюция двумерной нестационарной контрастной структуры в неоднородной среде с адвекцией»

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

Эволюция двумерной нестационарной контрастной структуры в неоднородной

среде с адвекцией

А. А. Быков1' *

1 Московский государственный университет имени М. В. Ломоносова, физический факультет, кафедра математики. Россия, 119991, Москва, Ленинские горы, д. 1, стр. 2 (Поступила в редакцию 25.01.2024; подписана в печать 09.02.2024)

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

PACS: 02.60.Lj. УДК: 517.958.226.

Ключевые слова: нелинейные дифференциальные уравнения, асимптотические методы. БОТ: 10.55959/MSU0579-9392.79.2420101

ВВЕДЕНИЕ

Мы изучаем эволюцию концентрации примеси в двухкомпонентной двумерной неоднородной среде, в которой носитель перемещается с заданной скоростью, примесь описывается уравнением реакции-адвекции-диффузии (РАД) [1].

Примесь участвует в процессах генерации, адвекции, диффузии. Процесс генерации описывается функцией плотности источников (ФПИ), которая зависит от концентрации и от координат (ж, у) на плоскости. Мы предполагаем, что имеются три значения концентрации ^1;2;з(ж, у), в которых ФПИ, проходя через нулевое значение, меняет знак. Меньшее и большее соответствует устойчивым состояниям, некоторое среднее значение концентрации неустойчиво (в однородной среде при малом возмущении эволюционирует к меньшему или большему). После завершения быстропротекающих процессов установления профиля концентрации в направлении градиента, решение принимает форму контрастной структуры (КС). Это означает, что имеются большие области с малым градиентом решения (пятна КС), разделяемые узкими областями с большим градиентом, которые называют внутренними переходными слоями (ВПС). Внутри ВПС мы определяем центральную линию ВПС, это гладкая кривая, на которой концентрация проходит через значения ^2(ж,у). Для одномерной модели с простыми корням ФПИ перемещение ВПС исследовано в [2, 3] и в цитированных там работах. Модели

* Е-таП: abykovmsu@mail.ru

ФПИ с кратными корнями исследованы в [4, 5]. Стационарное положение ВПС для двумерной задачи исследовано в [6, 7]. Дрейф ВПС, вызванный искривлением линии ВПС, исследован в [8, 9] для двумерной задачи, для трёхмерной КС в [10], только для сбалансированной ФПИ. В [11] уравнение движения фронта горения лесного пожара выведено исходя из предположения о заданной скорости горения фронта в направлении нормали, скорость находится исходя из уравнений конвективного, диффузионного, радиационного переноса тепла. Найдены точные уравнения динамики линии фронта на основе решения уравнений Гамильтона-Якоби.

В настоящей работе мы рассматриваем уравнение РАД с малым параметром при старших производных, как и в классической работе А.Н.Тихонова [12]. Мы найдем решение уравнения РАД на плоскости в виде частичной суммы асимптотического ряда, построим точное решение уравнений нулевого порядка методом Гамильтона-Якоби. В отличие от [11], мы построим частичную сумму асимптотического ряда. После появления особых точек на семействе лучей в нулевом порядке линия ВПС складывается из нескольких ветвей, в точках сопряжения претерпевает излом. В первом порядке в окрестности излома формируется гладкая сглаживающая кривая, радиус кривизны которой мы также найдем. Постановка задачи аналогична [9] за исключением того, что в [9] рассматривался только случай сбалансированной ФПИ, для которого прямолинейный ВПС в однородной среде с нулевой адвекцией будет неподвижен. В настоящей работе мы рассматриваем несбалансированную ФПИ, так что ВПС указанного вида будет перемещаться. Уравнения

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

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

1. УРАВНЕНИЕ РЕАКЦИИ-АДВЕКЦИИ-ДИФФУЗИИ

Мы рассматриваем двумерную по пространственным координатам начально-краевую задачу для уравнения РАД в ограниченной области Б. В соответствии с методикой А.Н.Тихонова [12] вводим в уравнение малый параметр е:

+ e2Vx u'x + e2Vy u

Vu'y

e2(KUX)X + е2(киУ)У - f (1)

yy

0,

с граничными условиями

(x,y) e D, t > to

второго рода: — = фАх,у) на кривой Г, которая dn

является границей области D, и с начальным условием u(x,y,to) = u start (x, y). Начально-краевая задача для уравнения (1) является сингулярно возмущенной, так как при е = 0 уравнение (1) переходит в алгебраическое уравнение f (u, x, y) = 0. Расстановка степеней малого параметра обеспечивает возможность существования решения типа контрастной структуры [14].

Поверхностью равновесия S: {(u, x, y): (x, y) e D, u = y(x, y)} назовем гладкое решение уравнения f (u, x, y) = 0. Назовем величиной дисбаланса функцию

J (x,y) =

rV3 (x,y)

' Vl(x,y)

f (u, x, y)du.

(2)

Предположим, что выполнены следующие условия, накладываемые на ФПИ /(и, х, у):

У1. ФПИ есть гладкая функция в области (х, у) е Б, и е (-то,

У2. В области Б имеется ровно три поверхности 'равновесия Б1;2;3: и = <^>1;2;3(х, у), причем ¥>1(х,у) < ^2(х, у) < ^3(х, у) в Б.

У3. В окрестности ) поверхности равновесия Б^, £ {1; 2; 3}, ФПИ представляется в виде /(и, х, у) = Fj (и — (х,у),х, у), причем ^ (^,х,у)[= =0, х, у))^ > 0,

^(ш,х,у))< 0. Здесь П(...) есть окрестность указанного объекта.

У4. Всюду внутри Б верно условие знакоопределенности дисбаланса: 7(х, у) > 0.

Сформулируем начальные условия. Пусть С^ал _ связная область с гладкой границей Т^агъ С^ал с Б, расстояние от Т^ал до г больше нуля. Пусть ио(х, у) = <£ч(х,у) вне ,

ио(х, у) = уз(х,у) внутри С^ал, значение ио(х,у) на Tstart несущественно. Начальная функция (х, у) получается из ио(х, у) сглаживанием с помощью усредняющего ядра ^е(г) так, как это описано в [15], гл. 2, § 1.

Более точно начальные условия можно взять в виде суммы асимптотического ряда первого порядка ((3), (4), (5), (21)), найденной для заданной гладкой кривой

Назовем пятном КС область С(£), в которой ^2(х,у) < и(х, у, < уз(х,у). В частности, в начальный момент времени функция концентрации Ustart (х, у) порождает пятно , граница кото-

рого отстоит от на расстояние порядка е.

Рассмотрим КС, которая состоит из ровно одного пятна С(£), границу которого назовем линией ВПС и обозначим Т(£) = {(х, у) : и(х, у,£) = у>2(х, у)}.

Мы сформулируем и обоснуем далее закон эволюции Т(£). Мы покажем, что найдется промежуток времени [¿о,^1) такой, что кривая Т(£) будет гладкой замкнутой кривой без особых точек, значение ¿1 соответствует моменту разрушения пятна КС или выхода пятна на границу области Б.

2. АСИМПТОТИЧЕСКИЙ РЯД

Частичную сумму асимптотического ряда для решения задачи РАД будем искать в виде [3] суммы разрывного решения вырожденного уравнения, функций внутреннего переходного слоя и функций пограничного слоя:

u(x, y, t, е) = | U(+)(x,y,t,e) При (x,y) e G(t), 1 U(-)(x,y,t,e) при (x,y) e G(t),

U(+)(x, y, t, е) = -U(-) (x, y, t, е) = -

x,y,е) + Q(+)(x,y, t,е), (x,y) e G(t), (x,y,e) + Q(-)(x, y, t, е) + n(x, y, е), (x, y) £ G(t),

(3)

(4)

, y, е) =

u(x, y, t, е) = (x, y), u(-)(x, y, е) = (x, y).

x,y, е) при s(x, y) e G(t), (-)(x, y, е) при s(x,y) e G(t),

(5)

Функции переходного слоя в (4), а также линию

x

ВПС Т(£) представим в виде рядов по степеням малого параметра е:

N

N

д(±) = £ екдк±), П = £ екПк,

к=о

к=0

N

(6)

1(4) =То(*) + £) екТк (¿),

к=1

причем Т(£) задана в параметрической форме: х = х(4, в), у = у(4, в), параметр в определяет точку на кривой, в € [ва, вь]. Функции х(4, в) и у(4, в) периодические по в, дважды непрерывно дифференцируемые, X(¿, в)]2 + у (¿, в)]2 > 0, представляются рядами по степеням параметра е того же вида, что и (6), значения в1 и в2 определяют одну и ту же точку на Т(£) для каждого 4 > ¿о, отображение Т(£) ^ [в1, в2) взаимно-однозначное для любого Зададим на Т(£) гладкое поле внутренней нормали п(в, ¿). Положение ВПС определяется из сшивания решений ((4)) на линии Т(£) :

и(-)

Т(4)

и (+)

ди(-)

Т(4)

д п

ди(+)

Т(4)

дп

Т(4)

(7)

имеются в виду односторонние производные в точке на Т(£) соответственно с наружной и внутренней по отношению к сторонах линии сопряжения.

Пусть в € [¿о, ¿1) есть некоторый момент времени, для которого ВПС уже сформирован, текущее положение линии ВПС: Т = Т(£), в параметрической форме: Х(в) = х(в, в), у(в) = у(4, в). Понятие сформированного ВПС введем позднее, когда запишем явные выражения разложения нулевого порядка. Рассмотрим уравнение (1) в П(Т), т.е. в некотором открытом связном множестве, содержащем Т. В каждой точке (х, у) € Т на линии нормали п(в,4) введем координату в так, что на нормали ¿в2 = ¿х2 + ¿у2, на Т верно в = в, в направлении п переменная в возрастает, в — некоторая константа, ее значение неважно (например, в = ¿). Так как якобиан Б(х, у)/Б( в, в) отличен от нуля на Т и есть непрерывная функция от (х, у), найдется П(Т), в которой отображение (х, у) ^ ( в, в) является взаимно однозначным (с учетом периодичности по в). Координаты в (вдоль Т(£)) и в (поперек Т(£)) выражаются через (х, у, ¿), эти выражения мы далее выпишем. Уравнение (1) запишем в системе координат ( , в) в виде

еи£ + е2А1 Уд < + е2А2 и^ = ке2 ( Аци^ + 2^12«^'^ + А22ие0 + +

- / (и'

(8)

А11 = ( в X)2 + ( в у )2,

А

12

в 'хв'х + вУ, А

22

с)2 + (ву )2,

(9)

В1 в XX + в у у,

В2 = вХ'х + в

(10)

( в,в) = Убш а, У (в,в) = Vсов а, V = (Ух2 + Уу2)1/2, а есть угол между осями Ох и О в в точке ( в, в). Мы будем указывать координаты (х, у) или (в, в) в аргументах функций, не указывая каждый раз диффеоморфизм (х, у) ^ (в, в).

3. УРАВНЕНИЕ РАД В СОПУТСТВУЮЩИХ КООРДИНАТАХ

Пусть семейство кривых Т(£) уже известно. Пусть ( в, в) — точка на Т = Т(£). Выполним замену

в = в + е£, в = в + п, 4 = ет. (11) Получим уравнение

и'т + еА1Уд Ц + е2А2Уе и'п =

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

= к(Ац и^ + 2еА12М^'п + е2А22и^) + екВ^+

+ е2кВ2иП - /(и, в + е£,в + п). (12)

Подставим в (12) частичную сумму и(£, п, т, в, в, е) = ио + еи1 + е2и2 + • • • + е"и„. Оставим члены порядка О(1), получим задачу для вычисления функции нулевого порядка ио(£, т):

(ио)Т = кАц(ио)^? - /(ио),

ио(-го,т) = , ио(+то, т) = .

(13)

Функция ио зависит также от в, в, п, е как от параметров (по ним дифференцирование не производится), здесь и далее эту зависимость подразумеваем, но явно не указываем. Переменные в и п входят только в виде комбинации в + п, имеется также уравнение связи ( в, в) € Т. Здесь и далее в этом параграфе /(и) = /(и, в, в + п), <£>1;3 = ¥>1;з(в, в + п), имеет место диффеоморфизм (х, у) ^ ( в, в + п). Уравнение (13) совпадает с изученным в работе [16] одномерным уравнением РАД, из этой работы мы заимствовали постановку граничных условий, обеспечивающих примыкание решения к равновесным значениям. Последующие члены разложения по степеням е можно получить из (12), последовательно собирая слагаемые порядка е, е2 и т.д. Частное решение задачи (13) будем искать в виде бегущей квазиволны:

ио(£, т) = ад(х), где х = С - ^от. (14)

Теорема 1. Для любой точки (х, у) € Б существует единственное значение при котором задача (13) имеет решение вида бегущей квазиволны (14). Величина не зависит от направляющего вектора кривой Т(£), проходящей через точку (х, у).

□ Из (13) получим краевую задачу для автономно-

го обыкновенного дифференциального уравнения второго порядка:

к Yo(t) в точке го(t, 0),

-WowX = kAiiwxx - f (w). w(—ro) = +0, w(+ro) = ^з — 0.

(15)

Операция понижения порядка: т'х = р(т), = рр^ приводит к краевой задаче первого порядка с двумя условиями на р(т), обеспечивающими решение типа КС с одним ВПС, соединяющим уровни ¥>1 и ^3:

I —Wop = кАц ppW — f (w), lp(^i + 0) = +0, р(^з — 0) = +0,

(16)

к тому же р(т) > 0 при у>1 < т < <^>з .В [17] показано, что существует единственное значение ^о, при котором переопределенная задача (16) разрешима, причем решение этой задачи также единственно. Поэтому существует гладкая функция , в + п) такая, что при её подстановке в (16) существует единственная гладкая функция р(т), для которой верны условия (16). Из явных выражений (9) для коэффициентов уравнения (13) следует, что А и не зависит от направляющего вектора кривой Т(£), проходящей через точку (ж, у), то же верно и для ^о. I

Из У1 следует, что ^о(ж,у) есть непрерывно дифференцируемая функция в Б, ^о(ж,у) > > 0. Из (15) следует, что значение можно найти в явной форме, если известен профиль квазиволны т(х):

с + ^о

-1

Wo(x,y)

где x = x(t, 0 + n), y = y(t , 0 + n)-

f (w, x, y)dw, (17)

4. УРАВНЕНИЕ ЭВОЛЮЦИИ ВПС В НУЛЕВОМ ПОРЯДКЕ АСИМПТОТИЧЕСКОГО РЯДА

Пусть векторная функция го(4, в) : (жо(£, в), уо(£, в)) есть решение задачи Коши

9го

= n(x,y) • Wo(x,y), Го (to,0) = Гstart (0),

(18)

где rstart (0) = (xstart (0) , ystart start:

Wo(x, y) — найденная ранее (17) скорость перемещения линии ВПС Yo(t) в направлении нормали

n(x y) = (y'e, —xe) [(xe)2 + Ы)2]

21-1/2

(19)

Задача (18) есть начально-краевая задача для системы двух дифференциальных уравнений в частных производных первого порядка. Из У1-У4 следует [18], что задача (18) разрешима на некотором промежутке £ € [¿съ^), ¿1 > ¿о. При £ ^ ¿1 — 0 величина вир [(ж^)2 + (у^)2] ^ в (18) (если

бы это было не так, то решение можно было бы продолжить далее до некоторого ¿1 + Д£). Кривую Со(Мьв) = {(жоМ),уоМ))}, £ € [¿' дем называть траекторией точки ВПС нулевого порядка. Назовем временем пробега траектории функцию

То(£оЛ,в)= ¿1— ¿о = / ^о-1(жо(£),уо(£))^г.

./Со («о,«1,0)

(20)

Кривую То(г) = {го(£, в)}, в € [в1 ,в2), назовем линией ВПС нулевого порядка. Из (18) следует, что в-параметризованное семейство траекторий {Со(¿о, £ 1, в)} в каждой своей точке ортогонально ¿-параметризованному семейству {То(£)} линий ВПС.

5. ФУНКЦИИ ПЕРЕХОДНОГО СЛОЯ НУЛЕВОГО ПОРЯДКА

Найдем функции ^о(ж,у) и т(£,ж,у) из (15), затем семейства То(2), Со(в) из (18). Для заданных ж, у, 2 найдем в = в(ж, у) такое, что Со (в) проходит через точку (ж, у). Функция в(ж, у) существует и определяется единственным образом для € [¿о,¿1). Так как семейство {Со(в)} в-параметризовано, а каждая кривая этого семейства Со(в(ж, у)) ¿-параметризована, одновременно найдем функцию То (ж, у), определяющую момент времени прохождения линии ВПС нулевого порядка через точку (ж, у). Затем найдем (ж*, у*) = го(¿, в), это точка пересечения Со(в) и То(4). Найдем растянутую переменную вдоль траектории Функция переходного слоя нулевого порядка определяется следующим образом:

Qo+)(x,y,t) = w(£ — Wot, s, 0 + n) — ^3(x, y) при (x, y) e Go(t), Qo—)(x, y, t) = w(£ — Wot, s , 0 + n) — ^i(x,y)+no при (x, y) £ Go(t),

с учетом диффеоморфизма (ж, у, ^ ( в, в + п) и замены (в, в) ^ (С, п). Функция нулевого порядка строится относительно точки (ж*,у*) на линии фронта, в которой в данный момент времени 4 находится траектория. Не зависящее от времени по-

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

6. УРАВНЕНИЯ ГАМИЛЬТОНА ДЛЯ КОНТРАСТНОЙ СТРУКТУРЫ

Задача (18) есть задача Коши для дифференциального уравнения в частных производных первого порядка, существование решения на некотором промежутке времени ненулевой протяженности доказано в [18], гл.2. Сформулируем равносильную задачу для семейства обыкновенных дифференциальных уравнений второго порядка, зависящих от параметра. Используя для доказательства теорию Гамильтона-Якоби [19], мы покажем, что законы эволюции ВПС совпадают с законами распространения волнового фронта [20] вплоть до момента появления первой особой точки. Для того, чтобы не входить в проблемы, связанные с возможной ситуацией, в которой точки самоналожения на То(£) появятся раньше, чем кривизна То(£) станет неограниченной, добавим ещё одно условие:

У5. Пусть Т^ал есть замкнутая выпуклая гладкая кривая, заданная в параметрической форме: г(0) = Г^аЛ (0), 0 е [01,02), Г^аЛ (0) = = (ж^ал(0),^ал(0)) — дважды непрерывно дифференцируемая периодическая функция с периодом © = 02 — 01, 01 и 02 определяют одну и ту же точку на Т^ал, [(ж^ал)']2 + [ЫаЛ )']2 > 0.

Заметим, что (У5) для однородной среды гарантирует отсутствие самопересечений и самоналожений на всем времени существования пятна КС.

Теорема 2. Пусть выполнены условия У1-У5. Тогда найдется промежуток £ е [¿о¿1 > t0, такой, что

(1) семейство задач Коши (18) однозначно разрешимо на [¿о,£1), при каждом 0 кривая Со(0) гладкая, (2) при каждом £ е [¿о, £ 1) функция

ro(i,<

(xo (t,0),yo M))L

гладкая пе-

риодическая, кривая Yo(t) гладкая, без особых точек, замкнутая. (3) В некоторой окрестности кривой Yo(t) отображение (t, 0) ^ (x, у) является диффеоморфизмом. (4) Для случая однородной среды Wo = const, значение ti равно

h = £0 +

Дп

Wo '

(22)

Rmin есть наименьшее значение радиуса кривизны линии Ysiari в начальный момент времени. □ Определим функцию Гамильтона для уравнения

эйконала:

(VS)2 = Wo-2(x,y),

(23)

где Н(ж, у,р1,р2) = Р2 + Р2 — ^о-2(ж, у). Запишем семейство задач Коши для системы уравнений Гамильтона [19]:

dx ^ dy dt ' dt dPi dWo-2

dt

dx

2P2,

dp2 dt

dWo

-(x,y),

с начальными условиями, параметризованными параметром 0:

X(to, 0) = Xstart (0), y(to, 0) = У/start (0), Pi (to) = Pi. start (0), P2(to) = P2.start (0),

(25)

Жstart (0) = Ж^аЛ (0), У81аг1(0) = Уstart (0), здесь можно выбрать также любую другую параметризацию к ривой . Векторную функцию Pstart (0) = (Рl.start (0),Р2.start (0)) находим как гладкое (с учетом периодичности по 0) решение системы уравнений

H(Жstart (0), У^а^ (0), Рl.start (0),Рl.start (0)) = 0,

(Pstart (0), (0))=о,

(26)

lstart(0) — касательный вектор к Т^^, ортогональный п(0), п(0) — гладкое поле нормали. Направление вектора р(0) (одно из двух решений квадратного уравнения (26)) выбираем так, что этот вектор и вектор внутренней нормали (0) к были

сонаправлены.

Решения системы (24) называют бихарактеристиками, проекцию бихарактеристики из пространства М4 :{(Ж, у,рьр2)} в пространство М2:{(Ж,у)} называют лучом. Обозначим £(0) = {Ж(£, 0), у(£, 0)}, £ е [£о,£*) - луч, исходящий из точки (Жьал(0), У^а^(0)). Значение £*(0) определяется только тем, в какой момент луч выходит на границу области, в которой определена ФПИ. Зададим начальные условия для эйконала в виде Я (ж, у) ]т =0 (или любая другая константа). Эйконал найдем в явном виде [19]:

Я (ж,у) = Я 1тв4аг4 + / (р,^ж) =

= Яо + / ^}-1(ж, у)й/, (27)

причем точку на Т^^ и значение £(ж,у) следует выбрать так, чтобы £(£о,£, 0) — часть луча £(0), начинающегося в точке на Т^щ^, для момента £ оканчивалась в точке с координатами (ж, у). Семейство линий равной величины эйконала обозначим {Т(£)}. Далее будем называть две параметрически заданные кривые Т(£) и Т(£) совпадающими, если существует гладкая замена параметризации 0 ^ 0, после выполнения которой кривые совпадают как множества точек на плоскости. В [19] (и множестве других работ) показано, что в наших обозначениях (1) семейство кривых {То(£)} совпадает с семейством {Т(£)}. (2) На лучах выполнены уравнения

dr

d

= Wo(x,y)VS,

dr

= Wo2 (x,y)VS, (28)

(24)

d 1 d

так как — = -ггг — . Время существования глад-d в 1го

кой линии ВПС нулевого порядка определяется временем достижения волновым фронтом ближайшей

2

точки сборки [21]. Для однородной среды таковая находится на эволюте Т^ал, откуда следует (22). I

Теорема 3. Функция Т(ж, у), найденная из (20), удовлетворяет уравнению эйконала (23) (с учетом диффеоморфизма (¿, в) ^ (ж, у)).

□ Следует из (18), (20) и (27), (28). I

Из теорем 1-3 следует, что линии ВПС нулевого порядка совпадают с линиями константного эйконала в задаче Гюйгенса-Френеля [23]. В отличие от [11] и множества аналогичных прикладных работ, мы нашли скорость ВПС непосредственно из уравнения РАД методом разложения в ряд про степеням малого параметра, не привлекая уравнений состояния реагирующей среды.

7. СУММА ПЕРВОГО ПОРЯДКА АСИМПТОТИЧЕСКОГО РЯДА

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

Пусть ^ € (¿о,¿1). Найдем частичную сумму асимптотического ряда первого порядка:

«(£,П,^) = мо(£,п^) + £«!(£, п,г), = ^о +

(29)

Соберем в (12) слагаемые первого порядка относительно £:

(мо)Т + £("1)Т + (мо)^ = к (Ац(ио)^^+ +£Ац(и1)^^ + 2£А12(мо)^^) + £кВ1(мо)^ —

— / («о (С, в ) + £М1, в + £С, в + п) . (30)

Выражение ФПИ в точке, сдвинутой относительно точки на линии Т, требует внимания:

/ (мо(С, в, в) + £М1, в + £С, в + п) = / (мо(е, в, в), в, в) • п + /е'„ (мо(е, в, в ), в, в + • п • £ • «1 +

+/£ (мо(е,в ,в), в , в+• п • £ • с+£/и (мо(е,в А в , в) • М1+/ (мо(е,в А в , в) • е+/ (ы^ А в , в

где V € (0;1). Из определения кривой Т следует, что / (мо(е, в, в ), во, в = 0.

Профиль и скорость квазиволны первого порядка найдем из (30) и (31), положив п = 0:

—— кАи(м1)^5 + /и(мо(е,в, в )) • «1 = = Т^1(мо)^ + 2кА12(мо)^, м1(—то)=0, м1(+то) = 0,

(32)

где

= ^ — V, + кВ1,

(33)

В1 = + . Задача (32) есть линейная краевая задача для неоднородного обыкновенного дифференциального уравнения второго порядка с однородными граничными условиями, причем соответ-ствуюшая однородная краевая задача

— ^о^ — + /и(мо(С)) • V = 0, «(±то) = 0,

(34)

имеет нетривиальное решение V = (мо)^. Поэтому задача (32) разрешима при условии ортогональности правой части всем частным решениям однородной задачи (в данном случае пространство решений однородной задачи — одномерное):

(мо)е • (Т^1(мо)е + 2кА12(мо)^д¿С = 0, (35)

найдем отсюда

с+ж

=

-1 л+ж

(мо)^ •2кА12(мо)Сп ¿С.

(36)

(31)

В работе [3] (и в указанных там публикациях) детально описан другой алгоритм вычисления 14^1, основанный на построении решения уравнения (32) на двух полупрямых: Б(-) = (—то, Со] и Б(+) = [Со, +то), где Со есть единственное решение уравнения мо(С) = , и последующего гладкого сшивания в точке Со. Найденное из условия сшивания значение ТУ1 в точности совпадает с (36). Теперь найдем из (33) скорость дрейфа первого порядка:

14 = + V, — кВ1,

(37)

которая складывается из (1) компоненты скорости адвекции V3, направленной перпендикулярно линии ВПС, (2) скорости дрейфа кривизны кВ1, (3) скорости градиентного дрейфа Т4Л1, найденной из (36).

8. ОБОСНОВАНИЕ СУЩЕСТВОВАНИЯ И ЕДИНСТВЕННОСТИ РЕШЕНИЯ

Для обоснования корректности полученных уравнений нулевого и первого порядков асимптотического ряда мы используем метод дифференциальных неравенств [1], применение которого для задач РАД детально описано в [3]. Так как уравнение (32) отличается от рассмотренного в этой работе уравнения первого приближения только наличием дополнительного слагаемого градиентного дрейфа 2кА12(мо)^'п, обоснование принципиально не отличается и в настоящей работе не приводится.

— ж

— ж

— ж

в € [0;2п]. Выберем внутреннюю нормаль к Т^агъ направление скорости дрейфа дисбаланса в сторону внутренней нормали. Тогда в любом порядке асимптотического ряда линия ВПС — окружность х(Ь, в) = Д(Ь)еов в, у(Ь,в) = Д(фт в,, Д(Ь) = До(Ь) + еД1(£) + .... Главный член найдем из задачи Коши (Д) = -^о(Д), До (¿о) = Дstart. В первом порядке положение линии ВПС найдем из

/(«, х, у) = 3аДаЧИ КоШИ = " ВД' =

7 = 3,5, <1 = -1, <^>2 = 0,12, <з = 1.

Задача РАД решалась методом полной дискретизации на прямоугольной сетке из х N х = = (210 х 210 х 214) ячеек. Система нелинейных уравнений для сеточной функции решалась итерационным методом, детали и метод решения дискретной модели описаны в [24].

9. ЧАСТНЫЕ СЛУЧАИ

9.1. Методика численного моделирования

Приводимые далее результаты компьютерного моделирования уравнения (1) получены для области х € [-4; 4], у € [-4; 4], Ь € [0;8], £ = 2-4, функция плотности источников

9.2. Прямолинейный фронт в однородной среде

Пусть W0(x,y) = const, V(x,y) = (Vx, Vy) = const, стартовая линия ВПС — прямая: xstart (в) = в cos а, У start (в) = e sin а. Тогда из (37) следует: W1 = sin а — Vy cos а, линия ВПС определяется явно:

x(t, в) = в cos а +t • (Wo + eWi) sin а, y(t, в) = в sin а - t • (W0 + £W1) cos а.

(38)

В однородной среде точное решение уравнения РАД даётся формулой м0(£, п, т) = w(£ — Wt), причём W и w(x) вычисляются из (16), (17), (29), (33). Прямолинейный фронт КС перемещается без деформации с постоянной скоростью. Мы приведем результат компьютерного моделирования для начальной конфигурации пятна КС в форме остроугольного треугольника и £ = 2-4. Непосредственно применить (38) невозможно, так как прямолинейный отрезок имеет конечную длину. Для угла (двух лучей) уравнения эволюции первого порядка с учетом кривизны линии КС (37) решаются в явном виде, в области пересечения под углом прямолинейных участков образуется сглаженная линия сопряжения, аналитическое решение в первом порядке асимптотического ряда выходит за рамки настоящей работы. Приведем только результат компьютерной модели. На рис. 1, a показано семейство карт функции u(x, y,t*) для нескольких значений t*, представляющих основные этапы формирования и разрушения пятна КС теугольной начальной формы. Карты совмещены на одном чертеже (это возможно, так как линии Y(t*) не пересекаются).

9.3. Круговой однородный фронт

Пусть W(x, y) = W(r), скорость адвекции также

г

аксиально симметрична: V(x,y) = —V(r)~,

r

стартовая кривая задана в виде окружности: Xstart (в) = Rstart COs в, ystart (в) = Rstart sin в,

9.4. Гладкий фронт в среде без адвекции

Опишем процесс разрушения пятна КС для случая, когда стартовая кривая Tstart выпуклая, имеет две ортогональных оси симметрии, между которыми радиус кривизны меняется монотонно от минимального значения Rmin в точках 01;з до максимального Rmax в точках 02;4- Пусть диаметр кривой Tstart (измеряемый между двумя точками 02;4 с максимальным радиусом кривизны) в начальный момент времени равен Dmin, в точках 01;з функция Д(0) имеет морсовский [21] минимум (например, такая кривая-эллипс), и W = const. В момент вре-Дп

мени tmjn =

W

на линии ВПС образуются две

точки сборки [22], после этого линия ВПС нулевого порядка имеет самопересечение и некорректна. Однако можно склеить две дуги То(Ь) между точками излома и получить замкнутую выпуклую кусочно-гладкую кривую, корректно описывающую положение ВПС.

Точки излома линии ВПС нулевого порядка сближаются и совмещаются в момент времени

¿тах = , пятно КС превращается в точку (разрушается) в момент Ь < Ьтах. Время существования пятна КС меньше Ьтах и стремится к Ьтах — 0 при £ ^ +0. Для невыпуклой области точка самокасания То(Ь) может появиться раньше точки сборки, в результате чего пятно КС разделится на несколько изолированных пятен. Процесс финального разрушения пятна в рамках асимптотической модели не описывается. Строгое обоснование нескольких сформулированных в этом абзаце утверждений выходит за рамки настоящей работы.

9.5. Пятно КС в виде эллипса

Приведем пример численного моделирования уравнения РАД для стартовой конфигурации пятна КС в виде эллипса: оцх2 + 2о^ху + «22У2 < «о, «11 = «22 = 1, «12 = 0.75 в области х € [—4;4], у € [—4; 4]. На рис. 1, б показана карта линий равного уровня и(х, у,Ь*) для нескольких моментов времени Ь*, в том числе для момента времени Ь*, когда на линии ВПС нулевого порядка образовались две особые точки. График является гладким из-за влияния функции переходного слоя первого порядка, обеспечивающей конечный радиус кривизны ВПС

Рис. 1. а — Семейство карт функции и(х,у,^) для нескольких моментов времени, стартовая линия ВПС угольный треугольник. б — Семейство карт функции и(х,у,£*) для эллиптического пятна КС на старте

остро-

порядка е.

Автор выражает благодарность профессору Н. Н. Нефедову за обсуждение работы.

[1

[2

[3

[4

[5

[6

[7 [8

[9

[10 [11 [12 [13

Pao C. V. Nonlinear parabolic and elliptic equations. [14 New York: Plenum, 1992.

Fife P.O., Неiao L. // Nonlin. Anal. Theory Methods Appl. 12, N 1. 19 (1998). [15

Нефедов Н.Н. // Ж. вычисл. матем. и матем. физ. 61, № 12. 2074 (2021). [16

Бутузов В.Ф. // Дифференциальные уравнения. 51, № 12. 1593 (2015). [17

Быков А.А., Ермакова К.Е. // Математическое моделирование. 31, № 9. 101. (2019). [18 Давыдова М.А., Захарова С.А. // Ж. вычисл. матем. и матем. физ. 56, № 7. 849 (2020). Davydova М.А. // Math. Notes. 98, N 6. 45 (2015). [19 Быков А.А., Воеводин В.В., Козырева О.В. et al. // Докл. АН СССР. 364, № 3. 319 (1999). Быков А.А., Воеводин В.В., Попов В.Ю., Соко- [20 лов Д.Д. и др. // Ж. вычисл. матем. и матем. физ. 39, N 5. 801 (1999).

Быков А.А., Майков А.Р., Попов В.Ю. // Ж. вы- [21

числ. матем. и матем. физ. 47, № 1. 64 (2007).

Доррер Г.А. // Динамика лесных пожаров. Новоси- [22

бирск: изд-во Сиб. отделения РАН, 2008.

Тихонов А.Н. // Матем. сборник. 22(64), № 2. 193 [23

(1948).

Васильева А.Б., Бутузов В.Ф., Нефедов Н.Н. // [24 Фунд. прикл. матем. 4, № 3. 799 (1998).

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

Михлин С.Г. // Линейные уравнения в частных производных. М.: Высшая школа, 1977. Нефедов Н.Н. // Математическое моделирование. 4, N 8. 58 (1992).

Божевольнов Ю.В., Нефедов Н.Н. // Ж. вычисл. матем. и матем. физ. 50, № 2. 276 (2010). Гюнтер Н.М. // Интегрирование уравнений первого порядка в частных производных.Л., ОНТИ, 1934.

Вайнберг Б.Р. // Асимптотические методы в уравнениях математический физики, М.: изд-во МГУ, 1982.

Бабич В.М., Булдырев В.С. // Асимптотические методы в задачах дифракции коротких волн. М.: Наука, 1972.

Арнольд В.И. // Теория катастроф. М.: Наука, 1990.

Постон Т., Стюарт И. // Теория катастроф и ее приложения. Мир, 1979.

Борн М., Вольф Э. // Основы оптики. М.: Наука, 1973.

Быков А.А. // Моделирование и анализ информационных систем. Изд-во Яросл. гос. ун-та (Ярославль). 23, № 3. 259 (2016).

Two-dimensional transient contrasting structure evolution in an inhomogeneous

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

media with the advection A. A. Bykov

Department of Mathematics, Faculty of Physics, Lomonosov Moscow State University. Moscow 119991, Russia

E-mail: abykovmsu@mail.ru

The inner transition layer evolution for two-dimensional quasi-linear initial-boundary value problem for the reaction-advection-diffusion equation in an inhomogeneous media with a small parameter within the high

order derivatives is considered. Within the framework of the main (zero order) sum of the asymptotic series, the position of the inner transition layer is described by the Hamilton-Jacobi equation. The potential is calculated as an integrated density function of the reaction sources within the limits of the equilibrium levels. The front line of the transition layer evolves in the same way as the constant-eikonal line (the wavefront line in the other words) for the problem of wave propagation in an inhomogeneous medium in short-wave (geometro-optical) asymptotics. The sum of the asymptotic series of zero order and first order is found, the existence gap of a smooth front line, the time of destruction of the contrasting structure are calculated.

PACS: 02.60.Lj.

Keywords: nonlinear differential equations, asymptotics methods. Received 25 January 2024-

English version: Moscow University Physics Bulletin. 2024. 79, No. 2. Pp. . Сведения об авторе

Быков Алексей Александрович — доктор физ.-мат. наук, профессор, тел.: (495) 939-1351, e-mail: abykovmsu@mail.ru.

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