CC BY
28
УДК 519.711.3
О КОРРЕКТНОСТИ КРАЕВЫХ ЗАДАЧ, ОПИСЫВАЮЩИХ РАССЕЯНИЕ ПРИМЕСИ В ТУРБУЛЕНТНОЙ АТМОСФЕРЕ
UDC 519.11.3
ABOUT A CORRECTNESS OF THE PROBLEM OF DESCRIBING DISPERSION OF AN IMPURITY IN TURBULENT ATMOSPHERE
Семенчин Евгений Андреевич д.ф.-м.н., профессор
Кубанский государственный университет, Краснодар, Россия
Лайпанова Зульфа Мисаровна соискатель, ст. преподаватель
Карачаево-Черкесский государственный Университет им. У. Дж. Алиева
В статье дан обзор результатов разрешимости начально-граничной задачи, описывающей рассеяние примеси в турбулентной атмосфере, корректности математических моделей, описывающих рассеяние примеси в атмосфере и представленной задачей Коши, первой и третьей краевой задачами
Semenchin Evgeniy Andreevich Dr.Sci.Phys.-Math., professor
Kubansky State University, Krasnodar, Russia
Laipanova Zulfa Misarovna competitor, senior lecturer
Karachaevo-Circassian State University of U. D. Aliev
The review of resolvability of the beginning-boundary problem describing dispersion of an impurity in turbulent atmosphere, correctness of mathematical models, describing impurity dispersion in atmosphere and Koshi’s problem, the first right problem, the third right problem is given in the article
Ключевые слова: КОРРЕКТНОСТЬ, НАЧАЛЬНОКРАЕВЫЕ ЗАДАЧИ, ЗАДАЧА КОШИ, УСТОЙЧИВОСТЬ РЕШЕНИЯ, ЕДИНСТВЕННОСТЬ РЕШЕНИЯ, ФУНДАМЕНТАЛЬНОЕ РЕШЕНИЕ УРАВНЕНИЯ, ДИФФУЗИЯ
Keywords: CORRECTNESS, BEGINNING-EDGED PROBLEMS, KOSHI’S PROBLEM, SOLUTION STABILITY, SINGULARITY OF SOLUTION, FUNDAMENTAL DECISION OF EQUATION, DIFFUSION
1. Разрешимость задач, описывающих рассеяние примеси в
атмосфере
В теории и практике современных исследований рассеяния примеси в турбулентной атмосфере используются две начально-граничные задачи, которые в самой общей постановке имеют вид [3]:
Эд ^ Эд Э V дд г (Л\
Э Эхг Ц Л Эхг Эх}
Кч = Кг , г, ] = ',2,3,
= 0, (2)
И Эхг
^ е [0, Т], 0 < Т < +¥, (X', х2, х3) е О , д(1,хх,х2,х3) > 0, Iе [0,Т), (х',х2,х3)е О, (3)
q(0, Хі,X2, Х3) = ф(*1, х2, Х3),
q(t, *1,Х2, Хз) |эо = У(X1, Х2, Хз);
или (1)-( 4), где вместо (5) рассматривается граница
(4)
(5)
(6)
Здесь q(t, х1, х2, х3) - функция, значения которой в каждый момент времени t є [0, Т) совпадает со средним значением концентрации примеси
в связной области О, ЭО = ЭО0 и ЭО1 и ЭО2, ЭО0 - нижняя, ЭОх - боковая, д02 -верхняя части границы ЭО, G = G и ЭG; иі = иі (t, х1, х2 , х3 ), і = 1,2,3, - функции, значения которых совпадают со значениями средней скорости ветра в момент t в точке (х1, х2, х3) соответственно вдоль осей Ох1, Ох2, Ох3 (рассматривается декартова прямоугольная система координат);
а = а(^ х1, х2, х3) - функция, характеризующая убыль примеси в момент t в точке (х1, х2, х3) за счет либо ее радиоактивного распада, либо за счет вступления в химические реакции с веществами, находящимися в атмосфере, и компонентами атмосферного воздуха; Кг] = Кг] ^, х1, х2 , х3 ),
і, _/ = 1,2,3, - элементы матрицы коэффициентов турбулентной диффузии; / = / (t, х1, х2, х3) - функция, моделирующая источник выбросов вещества в атмосферу (функция источника); ф = ф(х1, х2, х3) - функция, значения
которой в точке (х1, х2 , х3 ) є О в момент времени t0 = 0 совпадает со значениями концентрации примеси в атмосфере (функция, описывающая
фоновую концентрацию); - производная по внутренней нормали ЭО0:
Э V
у є К
X = х(х1, х2, х3), у = у (х1, х2, х3),
N - внутренняя нормаль к ЭG0 в точке х єЭG0• K - конечный, замкнутый конус с вершиной х єЭG0• который содержится в G + {x}, b (t, х1, х2, х3), -
функция, характеризующая гравитационное осаждение примеси на ЭG0• V(t, х1, х2, х3) - скорость сухого осаждения примеси на ЭG0• t є [0, T),
(XL х2 ^ хз) є G0.
Функция источника примеси f задается в виде [3, 4]:
f (t^ xl X2 ^ хз) = Q(t^ xl X2 ^ X3 )S (t^ XL X2 ^ X3) ^ (8)
где Q(t, х) - мощность источника примеси (масса примеси, выбрасываемой в области G в момент t в точке х є G), S(t, х) - дельта функция Дирака. При этом, если источник является (10 - момент начала действия источника):
1) точечным, сосредоточенным в точке х0 = (х0, х0, х30) є G ,
1.1) мгновенного действия, то Q (t, х) = Q = const, f (t, х1, х2, х3) = QS(t)S(х1 - Xj0)d(х2 - x2° )d(х3 - x°) ,
1.2) непрерывного действия, то
Q(t^ X) = Q(tb f (t^ XL XL X3) = Q(t)S(X1 - X10)S(X2 - X2 )S(X3 - X30);
2) линейным, сосредоточенным на интервале [a, b] числовой прямой, параллельной оси Ox2 и пересекающей ось Ox3 в точке (0,0, х30)
2.1) мгновенного действия, то
Q(X2), X2 є [a, b],
0, х2 Ї [a,b],
Q(t, X1, X 2, хз) =
f (t^ xl X2 ^ хз) = Q(X2 )S(t)S(X1 - X1 )S(хз - хз);
2.2) непрерывного действия, то
Q(t, x2), tє [0,T], x2 є [a,b], Q(t, rb X2, X3) = ■ 0, x2 t[a,b],
f(t ^ xl X f X3 ) = Q(t. X2)S (X1 - x0 )S (X3 - X30 ) ;
3) площадным, сосредоточенным на площадке Б, лежащей на плоскости ххОхг, и пересекающей ось Ох3 в точке (0,0,х30)
3.1) мгновенного действия, то
Q(XI, х2), XI, х2 е 5,
0, XI, Х2 € 5,
д($, *1, * 2, *3) =
/V, х1, х2, х3) = ^Х1, Х2 )8^)8(х3 - х30);
3.2) непрерывного действия, то
Q(t, х1, х2 ), t е [0, Т], х1, х2 е 5,
д^, *1, *2, Х3) =
*1, *2 Ї S,
/(t, х!, х2, х3) = Q(t, х! , х2 )8(t)d(х3 - х30);
4) поверхностным, сосредоточенным на поверхности 5П тела П
4.1) мгновенного действия, то
Q(xь х2, х3), (х1, х2, х2) е 5П,
д^, *1, *2, *3) =
(Х1, *2, X 2) Ї 5 п ,
/ (X x1, x2, х3) = ^ х1, x2, х3 )8(t);
4.2) непрерывного действия, то
Q(t, хь х2, х3), tе [0,Т], (х1, х2, х2) е 5П,
0, (хь х2, х2) € 5п ,
д^, *1, *2, Х3) =
/(t, x1, Х2 , Х3) = д(X1, Х2 , Х3) •
Уравнение (1) можно переписать в эквивалентном виде:
—+ Х ъ, Э
Эt Эх
3 3
Э2 q
Иг = иг “X
ЭК.
г=1 ,=1 Эх, Эх;
і = 1,2,3 .
(9)
(10)
=1 Эх, ’
Следует заметить, что уравнение (9) (а значит и (1)) совпадает с уравнением
0
0
Ьи = /ф , (11)
т 'П'ТГ Э 2и V; Эи Эи
Ьи = > > аг,-+ > Ь, — + си--------------------------------, (12)
£ £ у Эх, Эх; 1=1 г Эх, Зґ ’ V 7
из [6] при п=3 с точностью до знака у / и /Ф : / и /Ф имеют
противоположные знаки (см. (7.1) из гл.1, (3.2) из гл.2, (2.12) из гл. 3, (1.1),
(1.3) из гл. 5 [6]). Этот факт будет учитываться в приводимых ниже
результатах исследования.
Уравнению (1) поставим в соответствие уравнение
дл+±и,Э1+сщ = ЦЭ-К„ Эйд, (13)
Зґ Эх, а % Эх, Эх%
уравнению (9) - уравнение
Э + > Э1 + Щ = Х>К, , (14)
Ш ,=1 Эх і і=1 і=1 Эх і Эху
отличающиеся соответственно от (1) и (9) лишь видом функции / вместо / задаваемой выражением (8), здесь рассматривается мощность источника примеси д.
В данном параграфе исследуем следующую задачу: найти (указать) условия, при выполнении которых задачи (1)-(5). (1)-(4), (6) имеют единственное решение (под решением каждой из этих задач будем понимать обобщенное решение в смысле [2]).
Несмотря на очевидную необходимость проведения таких исследований (решению аналитическими и численными методами указанных начально-граничных задач посвящено значительное число работ, в которых изначально явно или неявно допускается, что решение рассматриваемой задачи существует и единственно), подобных исследований в этом направлении до настоящего времени не проводилось. Как правило, авторы публикаций, посвященных различным проблемам математического моделирования рассеяния примеси в атмосфере либо вообще не затрагивают этот вопрос (о существовании и единственности
решения), либо без должного на то основания ссылаются на классические работы [2], [6]. Ниже можно будет убедиться: достаточно ясное и четкое освещение данного вопроса не является тривиальным и требует скрупулезного анализа результатов из [2], [6]. Исключение составляет монография [3], однако в этой работе найдены лишь достаточные условия единственности решения задач типа (9) - (5), (1) (9) - (4), (6). Вопрос о существовании их решения в [3] не затрагивался.
Далее всюду будем использовать обозначения из [2], [6].
Теорема 1. Пусть коэффициенты иг, Кп, а, і, і = 1,2,3, принадлежат
р,— —т т
классу Н 2 (Б 4) и ограничены на Д , кроме того иг, К. непрерывно дифференцируемы по х, г, у = 1,2,3 в ДТ, Q > 0, р > 0, 2, р ограничены,
2 удовлетворяет условию Гёльдера с показателем р, р непрерывна в ДТ, дО удовлетворяет условиям Ляпунова. Тогда задача (1) - (5) при у = 0 имеет единственное решение, совпадающее с решением задачи (13), (2) -
(5).
Доказательство.
◄ Так как иг, К., г, у = 1,2,3 непрерывно дифференцируемы по хг в ДТ,
то уравнение (1) эквивалентно уравнению (9), уравнение (13) -уравнению (14).
Рассмотрим задачу (13), (2) - (5), которая эквивалентна задаче (14), (2)- (5). При выполнении условий данной теоремы, очевидно, выполняются условия теоремы 16.2 из гл. 4 § 16 [2], а значит, решение задачи (14) (13), (2), (4), (5) существует, теоремы 5.2 из гл. 4 § 5 [2], а значит решение задачи (14) (13), (2), (4), (5) единственно и оно представимо в виде:
q{t, х!, х2, х3) = | ёт до 0, Х1, х2, х3; т, у19 у 2, У3 )2ёу йу 2 йуъ +
0 О
+ д0 0, х1, х2. х3;т, У\, у 2, У3 )р (У:, у 2. У3 )йУхйУ 2 йУ3 (15)
О
(см. соотношение (16.17) из гл. 4 [2]),
где д0(^ х1, х2, х3;т, у1, у2, у3) - функция Грина для задачи (14) (13), (2), (4), (5) в области ДТ, т.е. д0 удовлетворяет уравнению:
ЦгТ + Х Иг + ад0 = Х ХК® дЭ д° + ^{t - Т)8(х1 - У1)^(х2 - У2)^(х3 - У3). (16)
дt г=1 дхг г=1 .=1 дхгдх.
( ^дТ + Х иг ^ + ад° =^1 X дд^Кг. ^ + ^ - Т)^(х1 - У1)^(х2 - У2)^(х3 - У3)) (17)
и условиями:
д0(^ х1. х2. х3т У\, У2, У3) =0> (18)
д0(^ ^ х2, х3;т, У^ У 2 ’ У3 ^ (хг, х2, х3)едО = 0. (19)
Кроме того, в условиях данной теоремы выполняются условия теоремы 2.1 и следствия 2.1 из гл. 1 § 2 [2].
А тогда
д(^ х1, х2, х3) > 0 , ^, х1, х2, х3) е ДТ . (20)
Из данных рассуждений, (20) и условий 2 > 0, р > 0 следует, что если выполнены условия данной теоремы, то решение задачи (14) ((13)), (2)-( 5) существует и единственно.
Учитывая равенство (8) и используя свойства 8 - функции Дирака [2], соотношение (15) можно переписать в эквивалентном виде:
1
д(>, х1, х2, х3) = |йт q{)(t, х1, х2, х3; т, у 1, у 2, у 3) !йух йу2 йуъ +
0О
Л!д0(^х1.х2.х3;Т,У1.У2,У3)р(У\,У2,У3)йУ1ёУ2йУ3. (21)
Снова воспользовавшись свойствами 8 - функции,
непосредственным подсчетом можно убедиться, что функция (21) удовлетворяет уравнению (9), а, следовательно, и уравнению (1). Учитывая, что д0^, х1, х2, х3;т, у1, у 2, у3) является функцией Грина для задачи
(13), (2)-( 5) (т.е. решением задачи (17) - (19)), заключаем, что функция (21) удовлетворяет условиям (3), (4), (5). Значит, решение (1) - (5) существует и единственно. ►
Теорема 2. Пусть выполнены все условия теоремы 1. Тогда задача (1) - (5) при f = 0, j = 0 имеет единственное решение.
Доказательство.
◄ Если выполнены условия данной теоремы, то: 1) выполнены все условия теоремы 16.1 из гл. 4 § 16 [2], а значит, решение задачи (9), (2), (4), (5) при f = 0, j = 0 существует; 2) выполнены все условия теоремы 5.2 из гл. 4 § 5 [2], а значит, решение задачи (9), (2), (4), (5) при f = 0, j = 0 единственно; 3) выполнены все условия теоремы 2.1 из гл. 1 § 2 [2], а
значит, согласно следствию 2.1 из этой теоремы, решение задачи (9), (2), (4), (5) при f = 0, j = 0 неотрицательно, т.е. выполняется условие (3).
Уравнение (9) эквивалентно уравнению (1). А тогда, согласно 1) - 3), решение задачи (1) - (5) при f = 0, j = 0 существует и единственно. ►
Теорема 3. Пусть выполнены все условия теоремы 1. Тогда (1) - (5) имеет единственное решение, совпадающее с решением (13), (2) - (5).
Доказательство.
◄ Все условия теоремы 3 те же, что и условия теоремы 1.2. Обозначим через qj(t,xx,x2,x3) решение задачи (1) - (5) при у = 0, через q2 (t, Xj, x2, x3) - решение этой задачи при f = 0, j = 0 . Непосредственным подсчетом легко убедиться, что q (t, Xj, x2, x3) = qj (t, Xj, x2, x3) + q2 (t, xx, x2, x3) является решением (1) - (5). Так как qj(t, x13 x2, x3), согласно теореме 1, -единственное решение задачи (1) - (5) при у = 0, согласно теореме 2, -единственное решение задачи (1) - (5) при f = 0, j = 0, то q(t, x13 x2, x3), очевидно, будет единственным решением задачи (1) - (5). ►
Перейдем к анализу задачи (1) - (4), (6).
Рассмотрим оператор
з 3
Lq =
Э 2q
гд -t k — - lq -~, определенный в Da , где k. имеет
і=l j=1 Эхг Эх;- г=1 Эхг Эt
Эq
вид (10). Будем предполагать, что Ь удовлетворяет следующим условиям.
а) Ь - параболический оператор в , т. е. при всех (г,х) є Б и любого вещественного вектора X = (Х1,Х2, X3)ф (0,0,0) выполняется условие
£ £ К, (г, х)ХЛ, > 0.
І=1 j=1
—т
4
в) Коэффициенты L непрерывны D 4 и для всех (t, x) е D
—T
(t0, x0) е D4 и некоторого b = const, 0 < /3 < 1, выполнены условия:
Kj (t, х) - Kj (t0, x0) < A(
X - X
+
t-t
)
kl(t ^X) - kl(t ^X 0) a(t, x) - a(t, x0)
<A
<A
X - X
X - X
i, j = 1,2,3, A = const > 0 .
Теорема 4. Пусть выполнены условия а), b), ui, Ktj непрерывно дифференцируемы по xt, i = 1,2,3, в DT, граница до е С 1+“, Q непрерывна по Гёльдеру по х с показателем g равномерно в d4, j непрерывна в О и равна нулю в некоторой 8 - окрестности границы ЭО, b, v непрерывны
на ЭО0 х [0, T ]. Тогда решение задачи (1) - (4), (6) существует и единственно. Доказательство.
◄ По условию иг, K, i = 1,2,3, непрерывно дифференцируемы по xt в
Дт4 . Поэтому уравнение (1) эквивалентно уравнению (9), уравнение (13) -уравнению (14).
Аналогично тому, как мы это делали при доказательстве теоремы 1, рассмотрим задачу (13), (2) - (4), (6), эквивалентную задаче (14), (2) - (4), (6).
2
b
b
Если выполнены условия данной теоремы, то, очевидно, выполняются условия теоремы 2 из гл. 5 § 3 [6] (случай п=3). Откуда следует, что
решение q задачи (14) ((13)), (2), (4), (6) существует, единственно и представимо в виде:
q(t, х1, х2, х3) = | йх |Ц Г (/, х1, х 2, х3;х, С ,Л ,в )г (х, С ,Л ,в )йБ +
0 до
+ Л! Г (/, х1, х 2, х3;х, С ,п, в) V (С ,п, в) йСйцйв + (22)
о
t
+1 йх|Ц Г(/, х1, х2, х3; х, С ,Л, в)б(х, С ,Л, в)йСйцйв,
0о
где г(х, С ,ц ,в) - непрерывная на до х [0, Т ] функция, являющаяся решением интегрального уравнения (3.8), которое представимо в виде (3.10) из гл. 5 § 3 [6], йБ - элемент поверхности до, Г - фундаментальное решение уравнения Lq = 0 ,
ц.) ^ + £*, ^ + а(.)-££к, = 0 (23)
’ дt £ ' дх, -и"=1 "Эх,дх" У '
( =117 4 ¥+а () -Ё Ё эхк" дх) -0)- (24)
Обозначим в (7) (а значит и в (6))
3
Ь, (/, х) = Ё К" (/, х) соб( N, х), , = 1,2,3.
"=1
В условиях нашей теоремы выполняются (для случая п=3) все условия теоремы 2.2 из гл. 1 § 2 [2] (принцип максимума). А тогда, согласно этой теореме, q(t, х) удовлетворяет неравенству
Г уе 1(/1-t0) 1 1
q(t1,х) > Биршш<0, тт———; е1/1 ттм(х,0); ---------------тт(QeЯ(tl-0))?, (25)
1 >а0 I О Ь о 1 - а0 I
Ь = - Ь2 + Ь22 + Ь32
а0 = тах(-К(/, х) ),
х = (х1, х2, х3), /1 > /0 > 0 .
Рассмотрим выражение
г
д(г, х1, х2, х3) = | йх |Ц Г (г, х1, х2, х3;х, С ,Л ,в )г (х, С ,Л ,в )^ +
0 до
+ |Ц Г (г, х1, х 2, х3;х, С ,Л, в )ф (С ,Л, в) йСйцйв + (26)
о
I
+1йх|ЦГ(г,х1, х2,х3;х, С,Л,в)/(х,С,Л,в)йСйцйв ,
0о
полученное из (22) путем замены в последнем слагаемом (22) 2 на f. Из (8) и свойств 8 - функции Дирака следует, что (26) эквивалентно в Б (22), т.е.
д(г, х1, х2, х3) = д(г, х1, х2, х3), (г, х1, х2, х3) е ВТА . (27)
Из (27) вытекает, что д(г, х1, х2, х3) удовлетворяет условиям (3), (4), (6), так как этим условиям в удовлетворяет д(г, х1, х2, х3).
Подставим формально (26) в (1), т.е. вычислим Ьд(г,х1,х2,х3),
(г, х1, х2, х3) е бТ , (х1, х2, х3) ^ до, где Ь(.) имеет вид (24).
Согласно (26), (24)
Ьд(г, х1, х2, х3) = Ь | йх |Ц Г (г, х1, х2, х3;х, С ,Л ,в )г (х, С ,Л ,в )й£ +
0 до
+ Ь |Ц Г (г, х1, х 2, х3; х, С ,Л, в ) ф (С ,Л, в ) йСй цйв + (28)
о
г
+ Ь | йх |Ц Г (г, х1, х2, х3;х, С ,Л, в)/ (х, С ,Л, в)йСйцйв
0о
Вычислим выражение в правой части (28), упростив для этого каждое слагаемое:
Ь1 йх |Ц Г (г, х1, х2, х3;х, С ,Л ,в )г (х, С ,Л ,в )й£ =
0 до
= 111Г (г, х1, х2, х3;х ,С ,Л ,в )г (х ,С ,Л ,в )й£ + (29)
до
+ 1 йхЩ\ЬГ(г,х1,х2,х3;х,С,Л,в)]г(х,С,Л,в)й£ ° 0.
0 до
так как по условию Г (г, х1, х2, х3;т, £ ,Л ,0) - фундаментальное решение
уравнения Ьд = 0, а согласно определения Г
Г(г, х1, х2, х3;т,£,Л,0) ° 0, при (х1, х2, х3) £ дО , (£,Ц,0) е дО, и
ЬГ (г, х1, х2, х3;т ,£ ,0) = 0. (30)
Ь |Ц Г (г, х1, х 2, х 3; т, £ ,Л, 0 )р (т, £ ,Л, 0) ё£ёцё0 =
О
= 1Ц[ЬГ (г, х1, х 2, х3;т, £ ,Л ,0 )]р(т,£ ,Л ,0 ')ё£ёцй0 = 0, (31)
О
г
Ь | ёт |Ц Г (г, х1, х 2, х 3; т, £ ,Ц, 0) / (т, £ ,Ц, 0) ё£ёцё0 =
0 О
= Л! Г (г, х1, х 2, х3;т, £ ,ц, 0) / (т, £ ,Ц, 0) ё£ёцё0 + (32)
О
г
+ |ёт|Ц[ЬГ(г,х1,х2,х3;т,£,Ц,0)]/(т,£,Ц,0)ё£ёцё0 = /(г,х1,х2,х3).
0О
Равенство (32) вытекает из равенств
Г (г, х1, х2, х3;т, £ ,Ц ,0) = 8 (х - £ )8 (у - ц )8 (г - 0),
/(г, £,Ц,0)8(х - £)8(у -ц)8(г -0)ё£ёцё0 = /(г,х1,х2,х3)
О
и равенства (30).
Из (28), (29), (31), (32) следует, что
Ьд(г, х1, х2, х3) = /(г, х1, х2, х3) .
Из (33) заключаем, что д(г, х1, х2, х3) является решением уравнения (1), из (27) - что решение единственно и оно удовлетворяет условиям (3), (4), (6) (в силу того, что этим условиям удовлетворяет д(г, х1, х2, х3)). ►
2. Разрешимость математических моделей рассеяния примеси в атмосфере, используемых в прикладных исследованиях.
Полученные результаты применяются для анализа математических моделей, часто используемых на практике.
Убедимся, что для основных начально-граничных задач,
используемых в прикладных исследованиях рассеяния примеси в
турбулентной атмосфере, выполняются все условия теорем 1 -4 из пункта 1. В этих задачах обычно полагают, что коэффициенты и функции в задачах (1) - (5), (1) - (4), (6) имеют следующий вид [1] (для полного соответствия с обозначениями, используемыми на практике, будем считать, что х1 = х,
X = у, хз = г).
(этот случай означает, что ось Ох сориентирована по направлению вектора скорости ветра, а скорость ветра вдоль оси О2 изменяется по логарифмическому закону),
т.е. в матрице коэффициентов диффузии учитываются только диагональные элементы, а все элементы, не расположенные на главной диагонали, считают равными нулю; при этом K11 = K22 = c2ul, c2 = const > 0, где и1 задается выражением (34), K33 = c3z + c4, c3 = const > 0, c4 = const > 0.
В качестве G часто выбирают [3] прямой круговой цилиндр высоты H с достаточно большим радиусом R основания, расположенного на подстилающей поверхности z= 0. Предполагается, что H меньше высоты так называемого пограничного слоя атмосферы [1]. Такой способ задания G удобен при аналитических (если это возможно в отдельных случаях [4]) и численных решениях рассматриваемых начально-граничных задач.
Функции a, Q, o,y, b, v задают таким образом, что выполняются условия теорем 1-4. Чаще всего полагают, что эти функции являются постоянными величинами в G.
При данном выборе ui, i = 1,2,3, условие (2) выполняется тождественно.
u1 = u1(z) = c1 ln z, c1 = const > 0, u2 = u3 = 0
(34)
Kij * °, i = j Kij = Ї = 0, i * j, i = 1,2,3,
Для указанных и і, а, К І, р, у, /3, V, О условия теорем 1- 4
выполняются. Поэтому используемые в прикладных исследованиях задачи вида (1) - (5), (1) - (4), (6) всегда имеют (и при том одно) решение.
Обратим внимание на следующее обстоятельство. При численном решении задач (1) - (5), (1) -(4), (6) в уравнении (1) часто / заменяют на Q без должного на то обоснования. Однако, результаты численных расчетов в этом случае удовлетворительно согласуются с экспериментальными данными. Объяснить этот факт можно следующим образом. Из доказательств теорем 1-4 следует, что вид д(г, х1, х2, х3) не зависит от выбора в уравнении (1) в качестве свободного члена / или Q (см. (15) и (21), (22) и (26), (27)). Поэтому и результаты численных расчетов (при замене / на Q в уравнении (1)) всегда будут хорошо согласованы с экспериментальными данными (если только, конечно, сама модель (1) - (5) или (1) - (4), (6) адекватно экспериментальным данным описывает изменения значений д(г, х1, х2, х3) в О).
3. Корректность задач, описывающих рассеяние примеси в атмосфере
В работе [5] было показано, что при выполнении определенных условий задача Коши (1)-(4) так же описывает процесс рассеяния примеси в турбулентной атмосфере. В п. 1 эта задача отдельно не была рассмотрена и исследована на предмет ее разрешимости, т.к. этот результат автоматически вытекает из теоремы 12 (§7 гл. 2) и 10 (§4 гл. 2) монографии
[6]. На основе этих теорем можно доказать корректность задачи (1)- (4).
Теорема 5. Пусть выполнены условия
К = 0 і * j, і, І = 1,2,3
Ьх < ¥, Ь2 = ¥ или Ьх = ¥ ,
z0 1 s
L=J-т- Jexp ■
0 K33 0
J
u3 (s)
KJs)
ds
dz
J u3(s) -0 K 33( s)
ds \da,
(35)
z0 = const > 0, из [5], кроме того, выполнены условия:
33
ЯX XX, £ Я,X
i=1 j=1
(36)
X = (X X2 X3), l0 = const > 0, Я = const > 0 , h Kj непрерывно дифференцируемы и ограничены в G х [0, T ] и удовлетворяет при всех (t, x), (t0, x0) е G х[0, T] и некотором
r е (0,1) условиям
K j (t, x) - Kj (t0, x0) £ A(
x - x
+
r\2
),
hi(t, x) - hi(t.x 0)
£A
x-x
(37)
a(t, x) - a(t, x0)
£A
x- x
, A = const > 0,
j(x) > 0, Q(t, x) непрерывны соответственно в G, G х [0, T] и удовлетворяют условиям:
I I I 12
|Q(t, x)| £ B exp (c|x| ) ,
2
j (x) £ B exp(c x ),
B = const > 0, c = const > 0 . (38)
Тогда задача Коши (1)- (4) является корректно поставленной.
Доказательство. ◄ Если выполнены условия теоремы из [5], то имеет смысл постановка задачи Коши (1)-( 4) в G х [0, T ].
Если выполнены указанные в данной теореме условия, то выполнены условия теорем 12 (§7 гл.1) и 10 (§4 гл. 2) из [6]. А тогда задача Коши (1)-
(4) в G х [0, T ] разрешима.
Докажем непрерывную зависимость решения q(t, x) задачи (1)-( 4) от изменений Q(t, x) и j(x). Пусть Q(t, x) и j(x) изменились (увеличились)
z
0
2
r
r
соответственно на е 1 > 0 и е2 > 0, тогда вместо (1) и (2)-( 4) имеем задачу Коши
^ + > и ^ Щ = > У к £!«£* + (0 + е ) (39)
Ы Эх, и'е2 £ % ’ Эх,Эх/ К- У ’
3 Эи
У—= 0, і є [0, Т ], 0 < Т < +¥ , х = (х1, х2, х3) є О, g (0, х) = р (х) + е 2. (40)
,=1 Эх,
Вычитая (1), (4) соответственно (39) и (40) будем иметь:
Э(Ч - Че,,е2) Э(Ч - ^Є1Є2) , , Э "(Ч - Че,,е2)
--------+ > к------— + а(а - ае е ) = >> к„---------------------+ е, ,
ді £ ' Эх, ^ ^ £ % у Эх, Эх; 15
д(0,х) - ^е1е 2 (0, х) = е 2-
Положим О = Я3 (это допущение возможно, т. к. в этом случае разрешимость задачи (1)-(4) остается справедливой - см. теорему 12 (§7 гл. 1) и теорему 10 (§4 гл.2) из [6]. В этом случае (см. теорему 12 (§7 гл. 1))
+
Ч(і, х) - Че,,е2(і, х) = | ¥ (і, х; X ,0)е 2 йХ-}}¥ (і, х;т, X )егйтйХ ,
Я3 0 Я3
где
¥ (і, х;т, X) - фундаментальное решение уравнения
Э(Ч-и Э(Ч-^е1,е2) , ( ^ , Э2(ц- Це^е)
+ >и, -Эх- + а(Ч - ^2 ) = »к,]
Эt ' Эх, % % у Эх, Эх;
Откуда, очевидно,
Я - ^ £ е 2 + т ■е 1-
Из этого неравенства следует непрерывная зависимость ^(г, х) от изменений Q(t, х) и ср(х). ►
В параграфе 1 были указаны условия, при выполнении которых задача (1)-( 5) является разрешимой, т. е. имеет единственное решение. Исследуем теперь эту задачу на устойчивость решения я к возмущениям функций Q,р,y.
Теорема 6. Пусть выполнены условия теоремы 3 из п. 1. Кроме того, дополнительно выполняются условия: в каждой точке (г, х)е ДТ,
Д = (0, Т) х О, и для любого действительного вектора X = (Х1, X2, X3), \Х\ ф
Тогда задача (1)-( 5) является корректно поставленной (относительно параметров Q,р ,у).
Доказательство. ◄ Если выполнены условия теоремы 3 из п.1, то задача (1)-(5) имеет, согласно этой теореме, единственное решение (разрешима). Покажем, что если в дополнение к этим условиям выполнены остальные условия данной теоремы, то решение я будет непрерывно зависеть от Q, р,у ,а, следовательно устойчивым к возмущениям в Q, р,у. Это в свою очередь будет означать корректность поставленной задачи (1)-
(5) относительно Q,р,y.
Согласно доказательству теоремы 1 из п.1 уравнение (1) эквивалентно уравнениям (9), (13), (14). Этот факт будем использовать в дальнейших рассуждениях.
Согласно [6] (см.§3 гл. 2) имеет место неравенство:
3 3
XX Kt (t, x)Xi X, > о,
(39)
i=1 j=1
a(t, x) < 0 при (t, x) e Dt4 и для некоторого l = const > 0 в DT4
(40)
max|q < max|q| |t=0 +(l - 1)max|Q\
(41)
где a = const > 0 определяется в [6] (см. см.§3 гл. 2, с. 60-61).
Откуда
maxiq < max j(Xj, x2, x3) + max y(Xj, x2, x3) + (•1d -1) maxIqI . (42)
—T G dG DT4
Пусть Q,j ,y получили (соответственно) возмущения e J, e 2, e 3. Обозначим через qe = qe(t,x), x = (x1,x2,x3), возмущенное решение (1)-(5) или (13), (2)-(5). Имеем задачу:
%-+ X+aq, = £Xl^~Kj -T+(Q+e,)> (43)
-t tt -x i t! ~ -x i -xj
qe (t, x13 x2, x3) > 0, t e [0, T), (x13 x2, x3) e G,
q,(0, x1, x2, x3) = j(x1, x2, x3) + e 2> (44)
q,(t, x1, x2, x3) U = У(X1, x2,x3) + e3. (45)
Вычтем почленно (13) из (43), (4) из (4.5.6), (44) из (45):
-(q, -q) v -(q, -q) / \ v -(q, -q) (46)
———— +X u, ———— + a(q, -q) = X X ---------K^—— + ,,, (46)
at £ г dxt УЧе 4) £ £ ax, ij axj 15 v y
(q,- q)|t=0=,2, (47)
(q,- q)|3G=, 3. (48)
Используя неравенство (42) применительно к задаче (46)-(48), будем иметь:
maxlq,-q| < к2I+Kl+(i^-1)• Ы. (49)
D4
Из (49) вытекает непрерывная зависимость значений q от значений Q,jУ. ►
В параграфе 1 были указаны условия, при выполнении которых задача (1)-(4), (6) является разрешимой (имеет единственное решение). Исследуем теперь эту задачу на устойчивость решения q к возмущениям
функций Q, jу. Если q окажется устойчивым к возмущениям этих функций, то указанная задача (1)-(4), (6) будет корректно поставленной.
Теорема 7. Пусть выполнены условия теоремы 4. Тогда задача (1)-(4), (6) является корректно поставленной (относительно параметров Q, j ,n).
Доказательство. ◄ Воспользуемся схемой доказательства,
использованной при доказательстве теоремы 6 п. 3. Как отмечалось ранее
уравнение (1) эквивалентно уравнениям (9), (13), (14). Согласно [6] (см. лемму
2 из §3 гл. 5) при выполнении условий данной теоремы в области d4 = [0, T ]х G
справедливо неравенство
|q(t, x)| < к (sup IQ + sup \v\ + sup I j|), (50)
DT4 -Gx[0,T ] DT
где к = const > 0, к зависит только от D4, b (см. (6), уравнения (14)).
Пусть Q, j, v испытали соответственно возмущения e 1, e2, e3; через
qe = qe (t, x), x = (x1, x2, x3), обозначим возмущенное решение (1)-(4), (6),
удовлетворяющее задаче:
Эк. + >u,q + aq, = >>ЭЭ-Kj Эк + (Q + «1), (51)
Эt 1= Эx і t! j=; Эx і Эx]
qe (t, x) > 0 , t є [0, T], x є G ,
qe(0, x) = j(x)+e 2 , (52)
+ bqe \ 1 = v(t> x) + e3. (53)
Вычтем почленно (13) из (51), (4) из (52), (6) из (53):
Э(qe -q) v Э^, -q) ^ ^ Э Э(qe -q) (54)
———— +> и ———— + a(qe - q) => > --K —^—— + e 1, (54)
Эt 1=1 1 ЭXl We 4J 1=1 £ ЭXl ij Эx; 15 V ^
(qe-q)U=e2, (55)
{^+b (qe- q)}1 ^=e 3. (56)
Применяя неравенство (50) к решению задачи (54)-(56), будем иметь:
|q e -q| < к (|e J + le 21 + le 3^. (57)
—T
Из (57), очевидно, вытекает непрерывная зависимость на D4 значений g от Q, j, v . Согласно теореме 4 из п. 1, в условиях данной теоремы, задача (1)-(4), (6) разрешима. Следовательно, она является корректно поставленной. ►
Литература
1. Современные проблемы атмосферной диффузии и загрязнения атмосферы: Монография / М. Е. Берлянд. Л.: Гидрометеоиздат, 1975. 392с.
2. Линейные и квазилинейные уравнения параболического типа: Монография /
О. А. Ладыженская, В. А. Солоников, Н. Н. Уральцева. М.: Наука, 1967. 736с.
3. Математическое моделирование в проблеме охраны окружающей среды: Монография / Г. И. Марчук. М.: Наука, 1982. 320с.
4. Аналитические решения краевых задач в математической модели атмосферной диффузии: Монография / Е. А. Семенчин. Изд-во СККИУУ, 1993. 142с.
5. Семенчин Е. А. О граничных условиях в задаче атмосферной диффузии. // Обозрение прикладной и промышленной математики. Т. 12, вып. 3. С 635-639.
6. Уравнения с частными производными параболического типа: Монография / А. Н. Фридман. М.: Мир, 1968. 428с.
