Использование асимптотического анализа для разработки одномерной модели переноса в случае пространственной неоднородности
А. А. Квас1, Н.Т. Левашова2'0, А. К. Сальник2
Московский государственный университет имени М. В. Ломоносова, физический факультет, 1 кафедра физики атмосферы; 2 кафедра математики. Россия, 119991, Москва, Ленинские горы, д. 1, стр. 2.
E-mail: a [email protected]
Статья поступила 21.11.2016, подписана в печать 08.12.2016.
Исследуется решение с внутренним переходным слоем одномерной краевой задачи для стационарного дифференциального уравнения типа реакция-адвекция-диффузия, возникающего при математическом моделировании явлений переноса в приповерхностном слое атмосферы в случае неоднородной растительности в предположении изотропности пространства вдоль одной из горизонтальных осей при условии нейтральной атмосферной стратификации. В работе приведены параметры модели, при которых краевая задача имеет устойчивое стационарное решение с внутренним переходным слоем, локализованным вблизи границы раздела различных типов растительности; доказано существование, локальная устойчивость по Ляпунову и локальная единственность этого решения. Результаты работы могут быть использованы при разработке многомерных моделей переноса в случае пространственной неоднородности.
Ключевые слова: контрастные структуры, внутренний переходный слой, метод дифференциальных неравенств, уравнение переноса.
УДК: 51-72. PACS: 02.30.Hq, 92.60.Fm.
Введение
В настоящей работе исследуется одномерная краевая задача для дифференциального уравнения типа реакция-адвекция-диффузия, допускающая решение вида контрастной структуры (КС). Контрастной структурой называется функция, внутри области определения которой есть интервал, на котором происходит резкое изменение значений этой функции. Эта область называется внутренним переходным слоем.
Краевые задачи типа реакция-адвекция-диффузия, допускающие решения вида КС, могут быть использованы при математическом моделировании явлений переноса в приповерхностном слое атмосферы в случае неоднородной растительности. В частности, график горизонтальной компоненты скорости ветра на границе лес — открытая местность имеет резкий переходный слой, в области которого величина скорости изменяется от своего значения на открытой местности до значения внутри растительного покрова, поэтому для моделирования скорости ветра в этом случае весьма уместно использование теории КС.
В предположении изотропности пространства вдоль одной из горизонтальных осей при условии нейтральной атмосферной стратификации для моделирования явлений переноса, таких как перенос газовой примеси или воздушного потока, можно использовать одномерное описание. В этом случае уравнение переноса при наличии растительной неод-
нородности записывается следующим образом: ди . .ди д2и .
т + а(х) ах = д^ + Р(и х), (1)
где а(х) — усредненная величина горизонтальной компоненты скорости ветра, и(х) — искомая характеристика среды, например концентрация газовой примеси или какая-либо из компонент скорости ветра, Р(и, х) — функция, описывающая влияние растительности.
В настоящей работе для учета влияния растительной неоднородности используется модель, основанная на теории КС [1, 2]. Согласно этой модели, функция Р(и, х) в уравнении (1) имеет вид кубической зависимости от и :
Р(и, х) = — *М(и — и0)(и — и!)(и — ф(х)).
и
Здесь з(х) — функция, описывающая плотность растительного покрова. Эта функция принимает значения в диапазоне 0.2—0.6 мвнутри растительного покрова [3] и непрерывно изменяется до нуля при переходе к открытой местности. Величины и0 и и/ — значения искомой характеристики среды вдали от границ растительности соответственно на открытой местности и внутри лесного массива; функцию ф(х) мы будем подбирать таким образом, чтобы на границе двух типов растительности образовывался устойчивый стационарный переходный слой; множитель и* имеет размерность м/с и добавлен для согласования размерностей в левой и правой частях уравнения (1).
Уравнение (1) рассматривается на отрезке х е [—Ь, Ь], где Ь выбирается таким образом, чтобы
15 ВМУ. Физика. Астрономия. № 6
ширина переходного слоя была существенно меньше 2Ь, а область переходного слоя находилась на достаточном удалении от краев отрезка. Для проведения аналитического исследования перепишем уравнение (1) в безразмерных переменных, выбрав в качестве масштабов длины и скорости соответственно так называемую «длину Монина-Обухова» (около 7 м) [4] и скорость и* ~ 0.3 м/с. Затем введем малый параметр е = 1/Ь и проведем замену переменной х на ех. Тогда уравнение (1) примет вид
ди ди 32и
— + еа(х) — = е2д^^ - я(х)(и - ио)(и - и/)(и - ф(х)),
- 1< х <1. (2)
В работе [5] получены условия существования и устойчивости решения стационарных начально-краевых задач для уравнения (2), имеющие внутренний переходный слой. Однако в этой работе точка локализации переходного слоя является неизвестной. Наша цель — определить условия, которым должна удовлетворять функция ф(х), для того чтобы стационарный переходный слой был локализован в окрестности заранее заданной точки вблизи границы раздела двух типов растительности.
1. Постановка задачи
Стационарное уравнение, отвечающее (2), имеет следующий вид:
,йЧ
йи
е2 = а(х)йх + я(х)(и - и0)(и - и/)(и - ф(х)),
- 1< х <1. (3)
В качестве дополнительных условий на краях отрезка [-1,1] зададим однородные условия Неймана:
йи йх
х=^ 1
= 0.
(4)
Эти условия означают отсутствие внешних факторов, оказывающих влияние на процессы, происходящие внутри рассматриваемой области.
Пусть воздушный поток распространяется в положительном направлении оси ОХ. В этом случае выполняется неравенство
а(х) >0, х е [-1,1].
(5)
Будем для определенности рассматривать подветренную границу леса, за которой расположена открытая местность, и полагать, что и/ < и0. Будем считать, что точка локализации переходного слоя нам заранее известна и обозначим ее х. Безразмерная функция з(х) в уравнении (3) принимает значения в диапазоне 2-4 на части отрезка [-1, 1] , соответствующей области лесного массива, и непрерывно изменяется до нуля при переходе к открытой местности. Будем считать, что з(х) = О(1).
В постановке задачи (3), (4) существенным является выбор такой функции ф(х), чтобы у задачи существовало устойчивое по Ляпунову решение
с внутренним переходным слоем. С этой целью потребуем выполнения следующих условий в точке х. Условие А1. Пусть выполняется неравенство
и/ < ф(х) < и0.
Условие A2. Пусть значение функции ф(х) в точке х определяется выражением
ф(х) =
ио + иI а(х)
2 у/Щх)'
Следствием условий А1 и А2 является неравенство, связывающее значение функции а(х) в точке х с величинами и0 и и/, которое будем считать еще одним условием применимости рассматриваемой модели.
Условие А3. Пусть выполняется неравенство
а(х) < %/0.5х (и0 - иI). (6)
Следует отметить, что для физических объектов, в целях описания которых разрабатывалась настоящая модель, условие А3, как правило, реализуется.
2. Исследование присоединенной системы
Рассмотрим систему уравнений первого порядка относительно функций и(£) и Ф(£) при -то < £ < :
йи
Ф = —,
й£'
йФ _ _ _ _ _
—— = а(х)Ф + з(х)(и - и0)(и - и/)(и - ф(х)).
(7)
Эта система уравнений называется «присоединенной системой» для уравнения (3).
Точки (и/;0), (ф(х);0) и (и0;0) фазовой плоскости (и; Ф) являются точками покоя присоединенной системы (7). Для определения типа каждой из точек покоя рассмотрим линеаризованную систему
йи
— = Ф,
й£ '
йФ ^ ^ ~
— = а{х)Ф + з{х)Ри (и*)и,
(8)
где через Ри обозначено значение производной функ-
ции
Р(и) = з(х)(и - и0)(и - и/)(и - ф(х)),
и* — значение переменной и в какой-либо точке покоя.
Характеристические числа системы (8) для каждой из точек покоя определяются выражениями
А 1,2 = 0.5а(х) ± 0.5 Vа2(х) + 4в(х)Ри(и*). (9)
Запишем выражения для производной Ри(и*) при и* = и/, и* = и0 и и* = ф(х):
Ри(и) = (и/ - ф(х))(щ - и),
Ри(и0) = (и0 - ф(х))(и0 - и/)
Ри(ф(х)) = (ф(х) - и0)(ф(х) - и/).
В силу условия А1 выполняются неравенства
Ри(щ) > 0, Ри(и0) > 0, Ри(ф(х)) < 0,
поэтому характеристические числа системы (8), вычисленные согласно (9) при и* = и/ и и* = и0, вещественные и имеют разные знаки. Отсюда следует, что точки покоя (и^;0) и (и0;0) являются седлами на фазовой плоскости (и; Ф). Точка (ф(х);0) — неустойчивая и в зависимости от знака подкоренного выражения в (9) может быть либо неустойчивым узлом, либо неустойчивым фокусом.
3. Построение асимптотического приближения решения
В настоящей работе мы будем строить функцию и1 — асимптотическое приближение первого порядка по параметру е решения задачи (3), (4).
Точка х делит отрезок [—1,1] на две части. Согласно стандартному алгоритму [5, 6], для построения асимптотических приближений решений краевых задач с внутренними переходными слоями используются два пространственных масштаба: один связан с переменной х, а другой — с растянутой переменной £ = , которую вводят для детального описания поведения решения в области переходного слоя.
Асимптотические приближения будем строить отдельно слева и справа от точки х:
Ц =
'ц! = 4(х)+ ей[ (х) + Ql0 (£) + (£),
х е [—1, х], £ < 0; и0 = й°0(х)+ ей°°(х) + ^ + е^х(£), х е [х, 1], £ ^ 0.
(10)
= и0(Х) + ей01(Х) + QЮ(0) + еО!(0).
(Гй!. dQ0 dQ0 (Х) + е-1 + (0) + (0) =
(11)
(х
(х
(£
(£
= (Х) + е-х (Х) +
(х (х
dQ
(0) + (0). (12)
е и + 1 ) =еа(х) (ьс\и0 + еи1 ) +
+ х(х) ^ (и^0 + ей0'^ — ^ (^"0'0 + ей0'^ — и^ х
х ( ("о° + е"o'0) — ф(х)) .
Выделяя в этом равенстве отдельно слагаемые при е0, получим уравнение для определения коэффициентов й°0 :
(х)
и! 'О.
(4° — и^ (и0° — ф(х)) = 0.
Положим
и! =
и0 = и0
Верхним индексом «!» отмечены функции, определенные при значениях х и £, отвечающих области расположения лесного массива, а верхним индексом « о » — функции, определенные при значениях х и £, отвечающих открытой местности. Суммы и!00(х) + еи'0^) называются регулярной частью разложения, они описывают поведение решения вдали от точки локализации переходного слоя. Суммы Qo'0(£) + еQ!'0(£) описывают решение в окрестности переходного слоя.
Функции и! и Ц0 будем гладко сшивать в точке х:
и10(Х) + еи[ (х) + Q0 (0) + еQ0 (0) =
3.1. Регулярные члены асимптотического представления
Уравнения для функций ^^(х) получим, приравнивая слагаемые при одинаковых степенях е в разложении по формуле Тейлора функций в левой и правой частях равенств
Для определения коэффициентов и['°(х) получим уравнения
з(х)(и! — и0)(и! — ф(х))и1 = 0, з(х)(и° — и! )(и0 — ф(х))и0 = 0, откуда следует, что и['0(х) = 0.
3.2. Функции переходного слоя
Уравнения для функций Q0 1 (£) при £ < 0 и для функций Q01 (£) при £ ^ 0 получим, приравнивая слагаемые при одинаковых степенях е в левой и правой частях равенств
— (V 'О (£2 °
^0'° + еО!'0) = а(х + е£) ( (Q0'o + еО!'0) + + х(х + е£) ( (и!,о + Ql0•o + еQ[•oЛj — х
х ( (и!,о + Qo'0 + еQl1•oЛj — и^ х
х ( (и!'О + Qo'0 + — ф(х + е£)) ' (13)
предварительно разложив входящие в них функции по формуле Тейлора по степеням е.
Дополнительные условия при £ = 0 для каждой из этих функций будем получать из условий непрерывного сшивания (11). Кроме того, потребуем выполнения условий убывания на бесконечности:
Q0'0(TTO)|= 0.
Функции переходного слоя нулевого порядка
Введем бозначения
т = \и!+^ £ <0' ф(£)
{и° + Q°(£)' £ ^ 0,
= (Ы (14)
и° + Q00(£)' £ Приравняем коэффициенты при е0 в равенстве (13), затем используем обозначения (14) и тогда получим уравнение для функций и(£)
(2 и (ы ^ ^ ^
= а(х) — + з(х) (и — и°) (и — и) (ы — ф(х)),
— то < £ < (15)
Мы будем искать такое решение уравнения (15), для которого выполняются следующие граничные условия:
ы(—ж) = и!, ы(+ж) = и°. (16)
Доказательство теоремы о существовании и единственности решений краевых задач типа (15), (16) приведено, например, в [7].
Уравнению (15) эквивалентна присоединенная система (7), для которой точки (и0;0) и (и/;0) являются точками покоя типа седла на фазовой плоскости (и; Ф). Существование решения этой системы, для которой выполнено условие (16), означает, что на фазовой плоскости (и; Ф) существует непрерывная кривая, соединяющая седла. Эта кривая называется соединительной сепаратрисой.
Соединительная сепаратриса седел (и0;0) и (и/;0) на фазовой плоскости (и; Ф) системы (7) имеет вид параболы [8]
Ф(и) = С (и - и0)(и - и/).
(17)
Разделим второе уравнение системы (7) на первое, затем домножим левую и правую части на Ф(и) и получим уравнение первого порядка относительно функции Ф(и)
Фйи = а(х)Ф + з(х) (и - и0) (и - и/) (и - ф(х)) .
Подставим в это уравнение функцию Ф(и) в виде (17) и после сокращения на произведение (и - и0) (и - и/) получим равенство
С2(2и - и0(х) - и/(х)) = а(х)С + х(х)(и - ф(х)).
Приравняв коэффициенты при ии1 и ии0 в левой и правой частях последнего равенства, получим
2С2 = х(х), ф(х) = 0.5(и0 + и/) + Са(х)/з(х).
Квадратное уравнение относительно неизвестной константы С имеет два корня, один из которых положительный, другой — отрицательный. Для того чтобы выполнялось условие А2, следует выбрать С = -у/0.5в(х). В этом случае функция Ф(и), определенная выражением (17), будет принимать положительные значения, а решение системы (7) с условием (16) — возрастать от значения и/ до значения и0.
Учитывая, что Ф = ййи/й£, из выражения (17) получим дифференциальное уравнение первого порядка для определения функций и(£). Выпишем решение этого уравнения с условием и(0) = ф(х):
и = (и0(х){ф(х) - Щ(х)) +
+ и/(х)(и0(х) - ф(х)) ехр (С(^(х) - и/(х))£)^ х х ф(х)—и/(х)+(и0(х)-ф(х)) ехр(С(^(х) - и/(х))£)
где С = -у/0.5х(х).
Функции переходного слоя первого порядка
Будем считать, что функция ф(х) дифференцируема на отрезке [-1, 1].
Функции переходного слоя первого порядка определяются из уравнений
й2ф( •' й£2
= а(х)+вюш^0 + +
/ ,0
йа
й£
йх
+ йх(£)£ - з(2)(й(£) - и0)(и(£) - и/)йф(х)£.
Здесь введены обозначения
йх
(19)
/(£) = Ш - и0(х))(и(£) - ф(х))Ш - и,(х)),
/и(£) = (Щ) - ф(Щ &(£) - и/(Щ +
+ (и(£) - и0(х))(и(0 - и/(х)) + + (и(£) - ^(х)) (и(£) - ф(х)) .
(20)
Задача для функции рассматривается при £ <0, а для функции 00 — при £ >0. Для каждого из уравнений (19) поставим следующие дополнительные условия:
О/,0(0) = 0, о/,0(тто)= 0. (21)
Для каждого из уравнений (19) функция
Ф(£) = йии (£) является решением соответствующего й£
однородного уравнения. Это можно заметить, если продифференцировать по £ уравнение (15). Зная одно из решений однородного уравнения, можно, применяя стандартные способы понижения порядка дифференциального уравнения, получить решения задач (19), (21) в явном виде:
0[,0(£) = -8(х) йф (х)Ф(£)
£
1
Ф2 (£')
0
еаш —)Ф(п)(щ(п) - ио)(и(п) - и/)пйпй£' +
+ Ф(£)
£ £ 1
Ф2 (£')
е
а(х)(£' —
п)Ф(п)
0 ТТО
/ йа т „ ч йз
(18)
х ^йх(*)Ф(п) + йх(*)/(п)) Пйпй£'. (22)
4. Существование и устойчивость решения вида контрастной структуры
4.1. Верхнее и нижнее решения
Доказательство существования решения задачи (3), (4) опирается на метод дифференциальных неравенств для эллиптических краевых задач, развитый в [9]. Согласно этому методу, существование решения краевой задачи вытекает из существования так называемых верхнего и нижнего решений этой задачи, т. е. непрерывных функций, для которых выполняется следующая система дифференциальных неравенств.
1°. Упорядоченность верхнего и нижнего решений:
а(х, е) < в(х, е), при всех х е [-1, 1].
х
х
х
2°. Действие дифференциального оператора в уравнении (3) на верхнее и нижнее решения:
Г rol 2d2e , d
L[e]:= £dx~2 - ea(x) dx -
- s(x)(e - Uo(x))(e - Uf (х))(в - ф(х)) < 0 < L[a],
при всех x e [-1,3c] UX 1]. 3o. Условия на краях отрезка:
d0, „ da. da... » dB ...
-X(-i) <o < -¡x(-i), -¡x(i) <o < dX(i).
dx dx dx dx
4o. Условия на производные в точке x: da -. da dB _ „. dB _
-(x -o) < dx(33 +0), dx(x -0) > dx(x +0).
Для того чтобы доказать, что для решения задачи (3), (4) построенная функция U1 (см. (10)) является асимптотическим приближением, используем методику, развитую в работах [10, 11], и будем строить верхнее и нижнее решения этих задач как модификацию их асимптотических приближений:
'u¡ + Q0 (Í) + eQ{ (Í) +
-2 ,
^(x, e) = <
(23)
a(x, e) = <
de
di
- s(x) (ш - flu(3)) p = 0. (24)
Здесь использованы обозначения (20), а также введены новые:
!и(х) = (и! — ф(х)) (и! — и°), Ц(х) = (и° — ф(х)) (и° — и!).
Зададим дополнительные условия для уравнений (24) следующим образом:
д! ,°(0) = 6 — р— ш!д! '°(т*>) = 0' (25) где 6 > 0, ш!'° = е ехр ^7. Заметим, что величины ш!'° имеют порядок о (еп) для любого п >0.
Будем решать задачу для функции ц! при £ <0, а задачу для функции ц° — при £ >0.
Решения задач (24), (25) выпишем в явном виде:
¡(»=(' -p - ^') ф§ +
+ т
а а 1
Ф2(а')
еаШ'-n)$(v)s(X) х
х (Ш — ^(х)) р(п(£', (26)
4.2. Проверка дифференциальных неравенств
Для проверки неравенства 1 ° запишем разность
верхнего и нижнего решений:
+ е (р + (£)) + е2ехр— ,
— 1 < х < х, £ < 0, и° + Q0(£) + еQ0(£) + + е (р + я°(£)) + е2 ехр ^7,
х < х < 1, £ ^ 0,
и! + Q0 (£) + еQ0 (£) —
— е (р + (£)) — е2 ехр(~-7,
— 1 < х < х, £ < 0, и° + Q0(£) + еQ0(£) —
— е (р + д°(£)) — е2 ехр ,
х < х < 1, £ ^ 0.
В последнем выражении константы р >0 и 7 >0 выбираются достаточно большими, чтобы выполнялись условия 1°-3°.
Функции ц!'°(£) устраняют невязки, возникающие в неравенстве 2° в результате модификации регулярной части за счет слагаемого ер в верхнем решении или —ер в нижнем решении. Они определяются как решения следующих уравнений:
^ — а(Зс)— 8(5)1 (£)Ч! ° —
в1 ,o (x, e) - a¡,o(x, e) = 2e ( 1 + (S - p) +
1
ф(а)
+ m
1
ф2 (^)
ea(x)(a'-n)<b(n)s(X) x
х (ш — их) р (п (£+ 0(е2). (27)
При выборе достаточно большой величины 6 в выражениях (26) для функций ц!'°(£) правая часть последнего равенства окажется положительной при —то < £ < +то. Действительно, исходя из явного
вида функций ы (см. (18)) и Ф = — можно прийти к неравенствам
Л2ехр 0.55(х)(ио — и!)|£^ <
< Ф(£) < Л2 ехр 0.58(2)(и° — и!)|£^,
ф(а)
а а' 1
Ф2(а)
еаш'-n)$(v)s(x) x
<
х (/и(п) — Ц(х)) р (п (£'
< Л1 ехр 0.5s(З)(uo — и!)|£^,
где Л1, А2, А2 — положительные константы (А2< А2).
Выберем положительные величины 6 и N достаточно большими, чтобы выполнялись неравенства
(6¡р^2 > А1, А1 ехр (—V°^(З)(uo — и!<2.
При таком выборе чисел 6 и N выражение в правой части равенства (27) принимает положительные значения на отрезке —N < £ < N за счет слагаемого
2е(5 — ^)Ф(£)Ф_1(0), а при |£| > N — за счет слагаемого 2eß.
Условие упорядоченности выполнено. В результате действия оператора L[ß] на верхнее решение получаем
2 d2ßf 0 л dßi0
— sa(x)-
Ц/3]= е й 2 й
йх2 йх
- 8(х)( в 0 - и0(х)) в 0 - и/ (х)) в 0 - ф(х)) =
= -ез(х)/;°(х)» + О(е2). (28)
Неравенство 2° для верхнего решения оказывается выполненным при ц >0 и достаточно малых значениях е. Аналогично проверяется выполнение этого неравенства для нижнего решения.
Неравенство 3° оказывается выполненным при достаточно большом значении 7:
йв (Т1) = те7 + О(е2), ^ (Т1) = ±е1 + О(е2).
Запишем выражение для разности левой и правой производных верхнего решения в точке х:
Тх (х - 0) - йв (х+0) =
dQf ,,Q = (0) — (0) + ^т(0) — Ц- (0).
dQ0
d£
d£
dql, d"'
dq0 d
Здесь учтена гладкость функции и(£).
Подставим сюда явные выражения (22) и (26) для функций ,0(£) и ц/,0 (£). В результате придем к равенству
^ (х - 0) - ^ (х + 0)= В + О(еп), йх йх
где п >1, а величина В определяется следующим выражением:
В := -5(х)^(х) х йх
1
+ СЮ
Ф(0)
+
Ф(0)
+ ß
s(x) Ф(0)
e-a(x)iф($ [fu — flu(х)} d£ +
+ ß
s(xc) Ф(0)
С
+ С
е-а(^Ф(£) (fu — fix) d£. (29)
Потребуем выполнения следующего условия.
Условие А4. Пусть функция ф(х) дифференцируема на отрезке [-1,1], а ее производная в точке х такова, что величина В, заданная выражением (29), положительна.
При выполнении этого условия неравенство 4° для верхнего решения оказывается выполненным.
Аналогично проверяется выполнение этого неравенства для нижнего решения.
Условие А4 играет важную роль в постановке задачи (3), (4), поскольку его выполнение вместе с условиями А1-А3 гарантирует существование у этой задачи устойчивого по Ляпунову решения с внутренним переходным слоем, а именно справедлива следующая теорема.
Теорема. При выполнении условий А1-А4 и достаточно малых е существует классическое решение из(х, е) задачи (3), (4), для которого функция и является асимптотическим приближением порядка О(е), т. е.
\из(х, е) - и\ = О(е), (30)
причем это решение устойчиво по Ляпунову с областью влияния не меньше, чем сегмент [а(х, е), в(х, е)] при х е [-1,1] и единственно на этом сегменте.
Согласно методу дифференциальных неравенств [9], существование решения из(х, е) задачи (3), (4), для которого справедливы неравенства
а(х, е) < из(х, е) < [3(х, е), (31)
следует из существования верхнего и нижнего решений вида (23), а из неравенств (31) в свою очередь следует оценка (30).
Для доказательства устойчивости решения из(х, е) рассмотрим следующую начально-краевую задачу для функции и(х, г, е):
d2u du
дХ2 — dt
du
= еа(х) д—+ s(x)(u — u0(x))(u — uf (x))(u — ф(х)),
- 1 < x < 1,
du dx
x=^ 1
= 0,
е-аХ)«Ф(£)(£(0 — uo)(f(ö — uf )£ d£ +
a(i)i Ф(° (da (Х)Ф(°^+dx x)f dt+
и(х, 0, е) = и;Пй(х, е),
при а(х, е) < и;пи(х, е) < [3(х, е), (32)
и покажем, что решение задачи (32) существует, единственно и справедливо предельное равенство
lim lu(x, t, е) — us(x, е)| = 0.
(33)
Опираясь на метод дифференциальных неравенств [9], построим функции /3(х, г, е) и а(х, г, е) — верхнее и нижнее решения задачи (32), из существования которых будет вытекать существование и единственность решения и(х, г, е) этой задачи, лежащего на сегменте
а(х, г, е) < и(х, г, е) < /3(х, г, е)
при х е [-1, 1], г ^ 0. (34)
Согласно определению [9], верхним и нижним решениями задачи (32) называются непрерывные при х е [-1, 1], г ^ 0 функции, для которых выполняется следующая система неравенств. 1. Упорядоченность верхнего и нижнего решений:
а(х, г, е) < в(х, г, е), х е [-1,1], г >0.
х
1
за
e
2. Действие дифференциального оператора в уравнении (32) на верхнее и нижнее решения:
и\в]-= £23!Х_ 3Х_ еа(х)3'I-Ьг \р]- £ дх2 зг (х) дх
- ,(х)ф - П0{х))ф - щ(х))ф - ф(х)) < 0 < и\Х],
при х е \-1, х]Ц\х, 1], г ^ 0. 3. Условие в начальный момент времени:
Х(х, 0, е) < щпц(х, е) < Х(х, 0, е), х е \ —1,1].
Кроме того, для верхнего и нижнего решений задачи (32) в каждый момент времени г ^ 0 должны выполняться неравенства на краях отрезка, аналогичные 3°, и неравенства на производные в точке X, аналогичные 4°.
Опираясь на работы [12, 13], построим верхнее и нижнее решения задачи (32) в следующем виде:
Х(х, г, е) = и,(х, е) + (в(х, е) - и,(х, е))е а(х, г, е) = и,(х, е) + (а(х, е) - и,(х, е))е
-лг
-лг
(35)
где функции /3(х, е) и а(х, е) определены в (23), Л — достаточно малое положительное число.
Для этих функций выполняются условия 1 и 3, а также условия на краях отрезка \-1, 1] и условия на производные в точке х в каждый момент времени г ^ 0 в силу неравенств 1°, 3°, 4° и выбора начального условия задачи (32).
Покажем, что выполнено неравенство 2. В результате действия оператора Ьг на верхнее решение (35) придем к равенству
и \Х] = е
2 1 'й2щ /- йЬ, \ — , +
(1х2 у йх2 йх2 ( йи,
+ ДО - и, ^ - еа^у £ + ( | - £|е
К")
- ,(х)[(X, х).
Здесь и далее используется обозначение [(и,х) = = ,(х)(и - и0)(и - иI)(и - ф(х)).
К правой части равенства добавим слагаемые ,(х)[(и,, х), ,(х)[(¡3, х)е-лг, -,(х)[(и,, х)е-лг, а затем вычтем эти же слагаемые, чтобы выражение в правой части не изменилось. После группировки получим равенство
Ьг Щ = е2¿-щ - еа(х)¿и - я(х)[(и,, х) -
Л2
2,
йи.
йх2 йх2
- еа(х)- ,(х)1 (и,, х) ) е"А' + йх
+ (е2йх? - еа(х) й£ - ,(хГ(в, х)) е~х* +
+ Л(/3 - и,)е-лг + ,(х)Г(¡3, х) -1(и,, х))е-лг -
- з(х)Гф, х) - !(и,,х)).
Учтем теперь, что функция и, (х, е) является решением уравнения (3), а также равенство (28) и оценку
(!(в, х) - !(и,, х))е-л - (!(X, х) - !(и,, х)) =
= ГШ - и,)2е
2„-лг
где
Пи = Г ии {и, + 01 (в - и,) + в3 (01 - в2е-*) (в - и,))
- 1 < 01,2,3 < 1,
тогда придем к равенству
Ьг ф] = -ер8(х)]1;0(х)е-лг + л (в - и,) е-лг +
~2\„-лг
+ Г *и(р - и,) е-л + 0(е )е
(36)
Из неравенств (31) следует оценка /3(х, е) -- и,(х, е) = 0(е), поэтому, выбирая константу л достаточно малой, можно добиться, чтобы выражение в правой части равенства (36) принимало отрицательные значения и тем самым выполнялось неравенство 2 для верхнего решения. Аналогично доказывается, что при том же значении л будет выполнено и неравенство 2 для нижнего решения.
Из существования верхнего и нижнего решений задачи (32) следует существование единственного решения (х, г, е) этой задачи, для которого справедливы оценки (34), а из вида (35) верхнего и нижнего решений вытекает, что при г ^ выполняется предельное равенство (33), означающее асимптотическую устойчивость по Ляпунову решения задачи (3), (4).
Пример
В качестве примера рассмотрим задачу (3), (4),
где
е = 0.02, а = 1, щ = 3, и0 = 10,
,(х) =
3 шт\ехр (0.6 - 2х) - 1,1], х < 0.3,
х > 0.3.
Будем считать, что точка локализации переходного слоя X = 0.1, и зададим функцию ф(х) следующим образом:
ф(х) = А ехр(-В(х - X)),
где А = (и0 + щ)/2 - а/^/2я(Х) ~ 5.92, В = 5.
Неравенства 1° -4° окажутся выполненными, если в выражениях (23) для верхнего и нижнего решений положить ц = 0.4, 5 = 7, 7 = 0.5.
Численная реализация решения проводилась при помощи метода стационирования решения параболической задачи (32) с начальным условием щпц, заключенным между верхним, (х, е), и нижним, а(х, е), решениями стационарной задачи к решению задачи (3), (4). Результаты проиллюстрированы на рисунке.
Вычисляя интегралы, входящие в выражение (29), по формуле трапеций, получаем Б ~ 0.12.
Заключение
Краевые задачи, допускающие решения с устойчивыми переходными слоями, хорошо подходят для моделирования процессов переноса при наличии
(
е
10 8 6 4 2
0.06
0.08
0.10
0.12
0.14
Численное решение примера: черная кривая — решение задачи (3), (4), сиреневая — начальное приближение, зеленая — функция s(x), оранжевая — функция ф(х), красная — верхнее решение стационарной задачи,
синяя — нижнее решение стационарной задачи
0
пространственной неоднородности. В ходе разработки моделей для выбора параметров краевых задач весьма эффективным оказывается использование асимптотического метода дифференциальных неравенств. Результаты, полученные в работе для одномерной модели, могут быть использованы при разработке многомерных моделей переноса в случае пространственных неоднородностей.
Исследование выполнено в рамках проекта Российского научного фонда (грант 14-14-00956).
Список литературы
1. Левашова Н.Т., Мухартова Ю.В., Давыдова М.А. и др. // Вестн. Моск. ун-та. Физ. Астрон. 2015. № 3. С. 3. (Levashova N.T., Muhartova Yu.V., Davy-dova MA. et al. // Moscow Univ. Phys. Bull. 70, N 3. P. 167.)
2. Левашова Н.Т., Мухартова Ю.В., Ольчев А.В. // Компьют. исследования и моделирование. 2016. 8, № 2. С. 355.
3. Дубов А.С., Быкова Л.П., Марунич С.В. Турбулентность в растительном покрове. Ленинград, 1978.
4. Зилитинкевич С.С. Динамика пограничного слоя атмосферы. Ленинград, 1970.
5. Нефедов Н.Н., Давыдова М.А. // Дифференц. уравнения. 2013. 8, № 6. С. 715.
6. Васильева А.Б., Бутузов В.Ф. Асимптотические методы в теории сингулярных возмущений. М., 1990.
7. Volpert A.I., Volpert Vit.A, Volpert Vl.A. Traveling Wave Solutions of Parabolic Systems. Rhode Island, 1993.
8. Зельдович Я.Б., Баренблатт Г.И., Либрович В.Б., Махвиладзе Г.М. Математическая теория горения и взрыва. М., 1980.
9. Pao C.V. Nonlinear Parabolic and Elliptic Equations. New York, 1992.
10. Васильева А.Б., Бутузов В.Ф., Нефедов Н.Н. // Тр. МИАИ. 2010. 268. С. 268.
11. Давыдова М.А., Левашова Н.Т., Захарова С.А. // Моделир. и анализ информ. систем. 2016. 23, № 3. С. 283.
12. Нефедов Н.Н. // Дифференц. уравнения. 2000. 36, № 2. С. 262.
13. Волков В.Т., Нефедов Н.Н. // Журн. вычисл. матем. и матем. физ. 2006. 46, № 4. С. 614.
Using asymptotic analysis for developing a one-dimensional substance transport model in the case of spatial heterogeneity
A. A. Kvas1, N. T. Levashova2 a, A. K. Salnik2
1 Department of Physics of Atmosphere; 2Department of Mathematics, Faculty of Physics, Lomonosov Moscow State University. Moscow 119991, Russia. E-mail: a [email protected].
We study a solution with an internal transition layer of a one-dimensional boundary value problem for the stationary reaction—advection—diffusion differential equation that arises in mathematical modeling of transport phenomena in the surface layer of the atmosphere in the case of non-uniform vegetation on the assumption of space isotropy along one of the horizontal axes and neutral atmospheric stratific ation. The parameters of the model at which a boundary value problem has a stable stationary solution with an internal transition layer localized near the boundary between different vegetation types are provided. The existence of such a solution and its local Lyapunov stability and uniqueness are proven. The results can be used for developing multidimensional substance transfer models in the case of a spatial heterogeneity.
Keywords: contrast structures, internal transition layer, method of differential inequalities, transport equation. PACS: 02.30.Hq, 92.60.Fm. Received 21 November 2016.
English version: Moscow University Physics Bulletin. 2017. 72, No. 6. Pp. 518-526.
Сведения об авторах
1. Квас Александр Андреевич — магистр, 2-й курс; тел.: (495) 939-15-41, e-mail: [email protected].
2. Левашова Наталия Тимуровна — канд. физ.-мат. наук, доцент; e-mail: [email protected].
3. Сальник Александра Константиновна — магистр, 2-й курс; тел.: (495) 939-10-33, e-mail: [email protected].