Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2022. Т. 26, № 2. С.

1–x
ISSN: 2310-7081 (online), 1991-8615 (print) https://doi.org/10.14498/vsgtu1881
EDN: AAAAAAA

УДК 517.956.4

Сходимость приближенных решений ядром

теплопроводности для уравнения
переноса-диффузии в полуплоскости
М. Аоуаоуда1 , А. Аяди1 , Х. Фуджита Яшима2
1 Университет им. Л. Бен Мхиди,
Алжир, 04000, Оум-эл-Буаги.
2 Высшая нормальная школа им. А. Джебар,
Алжир, 25000, Константина, Али Менжели.

Аннотация
Рассматривается уравнение параболического типа (уравнение пере-
носа-диффузии), которое используется, например, в задачах распростра-
нения загрязняющих веществ в атмосферном воздухе или водной среде.
Имеется нескольких классических методов решения этого параболиче-
ского уравнения, но также хорошо известно и вероятностное представле-
ние решения уравнения переноса-диффузии. Поскольку плотность рас-
пределения винеровского процесса соответствует ядру уравнения теп-
лопроводности, с использованием ядра теплопроводности и оператора
переноса на каждом шаге дискретизации времени можно построить при-
ближенные решения уравнения переноса-диффузии в Rd . В предыдущих
работах была доказана равномерная сходимость этих приближенных
решений к функции, удовлетворяющей уравнению переноса-диффузии
и начальному условию. Так как эти приближенные решения опреде-
ляются только интегральным оператором и оператором переноса, до-
казательство их сходимости проводится без использования вероятност-
ных понятий. В данной работе рассматривается уравнение переноса-
диффузии в полуплоскости R2+ с граничным условием на {x2 = 0}
и доказывается сходимость приближенных решений, построенных яд-
ром теплопроводности и оператором переноса, к функции, удовлетворя-
ющей уравнению переноса-диффузии в R2+ , начальному и граничному
Статья
© Коллектив авторов, 2022
© СамГТУ, 2022 (составление, дизайн, макет)
cb Контент публикуется на условиях лицензии Creative Commons Attribution 4.0
International (https://creativecommons.org/licenses/by/4.0/deed.ru)
Образец для цитирования
А о у а о у д а М., А я д и А., Ф у д ж и т а Я ш и м а Х. Сходимость приближенных решений
ядром теплопроводности для уравнения переноса-диффузии в полуплоскости // Вестн.
Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2022. Т. 26, № 2. С. 1–x. EDN: AAAAAAA.
DOI: 10.14498/vsgtu1881.
Сведения об авторах
Мерием Аоуаоуда https://orcid.org/0000-0002-8826-374X
аспирант-математик; сотрудник лаборатории; лаб. динамических систем и управления;
e-mail: meryem.aouaouda@gmail.com
Абделхамид Аяди https://orcid.org/0000-0002-5600-7493
профессор; руководитель исследовательской группы; лаб. динамических систем и управ-
ления; e-mail: facmaths@yahoo.fr
Хисао Фуджита Яшима https://orcid.org/0000-0001-9937-8406
профессор; руководитель исследовательской группы; лаб. прикладной математики и ди-
дактики; e-mail: hisafujitayashima@yahoo.com; hisaofujitayashima@qq.com

1
 А о у а о у д а М., А я д и А., Ф у д ж и т а Я ш и м а Х.

условиям. Для получения этого результата, используется метод нечет-

ного продолжения заданных в R2+ функций на R2 , поэтому применя-
ются технические приемы предыдущих работ для задач в Rd . Тем не
менее из-за наличия граничного условия остается проблема гладкости
приближенных решений, для разрешения которой получаются оценки
для производных приближенных решений, на которые влияют особен-
ные данные на {x2 = 0}.
Ключевые слова: уравнение переноса-диффузии, приближенное ре-
шение, ядро теплопроводности.
Получение: 26 августа 2021 г. / Исправление: 5 мая 2022 г. /
Принятие: 23 мая 2022 г. / Публикация онлайн: 1 июня 2022 г.

Введение. Процесс переноса-диффузии веществ в газе или жидкости

можно описываться уравнением параболического типа
∂t u(t, x)+v(t, x)·∇u(t, x) = κ∆u(t, x)+f (t, x, u(t, x)), t > 0, x ∈ Ω ⊂ Rd , (1)
где u — плотность вещества, v — вектор скорости переноса, κ — коэффици-
ент диффузии, f (t, x, u) — источник из-за возможной химической реакции и
вклад из-за изменения плотности среды, ∇ = (∂x1 , · · · , ∂xd )> , ∆ — оператор
Лапласа (см., например, [1], гл. VI, [2]). Это уравнение широко используется
в приложениях, например, в задачах о загрязнении воздуха и воды (см. [3–9]
и многие другие). С теоретической точки зрения, хорошо известны некото-
рые методы решения уравнения этого типа, которые можно найти, напри-
мер, в [10–12]. Также хорошо известно вероятностное представление решения
u (см., например, [13], гл. VIII), а в случае, когда f является нелинейной
функцией от u, требуются немного более сложные рассуждения (см. [14–16]).
Используя вероятностное представление, языком теории вероятностей можно
описать поведение решения u при κ → 0 (см. [17]).
Так как функция
2
e|x| /(4κt)
(4πκt)d/2
является ядром уравнения теплопроводности ∂t u − κ∆u = 0, мы считаем, что
семейство функций {uk (x)}k=0,1,2,... , определенных соотношением
|y|2
4κ(tk −tk−1 )
Z
e
uk (x) = uk−1 (x − (tk − tk−1 )v(tk , x) − y)dy +
Rd (4πκ(tk − tk−1 ))d/2
+ f (tk−1 , x, uk−1 (x)), k = 1, 2, . . . , (2)
является естественным приближением решения u(t, x) уравнения (1) в Rd
с начальным условием u(0, x) = u0 (x).
Допуская сходимость определенного в (2) приближения к решению u(t, x),
можно интерпретировать его как одну из аналитических версий вероятност-
ного представления решения u(t, x). Действительно, ядро интегрального опе-
ратора, использованного в (2), соответствует плотности распределения вине-
ровского процесса. Но, поскольку uk (x) определяются только интегрирова-
нием и сложением, свойства приближения (2) и их следствия также могут

2
 Сходимость приближенных решений ядром теплопроводности для уравнения . . .

быть получены на языке математического анализа без использования веро-

ятностных понятий.
Приближение (2) имеет аспекты, немного похожие на метод Эйлера—Ма-
руяма для стохастических уравнений (см. [18]). Действительно, согласно это-
му методу решение Xt стохастического уравнения
dXt = −v(t, Xt )dt + a(t, Xt )dWt
0
(где a(t, x) — матрица размера m × m0 , а Wt — Броуновское движение в Rm )
приближается семейством случайных величин {Xk }k=0,1,2,... , определяемых
соотношением
Xk = Xk−1 − v(tk−1 , Xk−1 )(tk − tk−1 ) + a(tk−1 , Xk−1 )[Wtk − Wtk−1 ].
Изучена сходимость по математическому ожиданию этого приближения Xk
к решению Xt стохастического уравнения [19–21]. Но для построения решения
u(t, x), x ∈ Rd , уравнения (1) с использованием этого приближения требуется
много шагов.
В [22, 23] с использованием дискретизации по времени
[n]
tk = k2−n , k = 0, 1, 2, . . . , n = 1, 2, . . .
[n] [n] [n]
и определением u[n] (tk , x) как в (2) и u[n] (t, x) для tk−1 < t < tk через
соотношение
[n] [n]
tk − t [n] [n] t − tk−1 [n] [n]
u[n] (t, x) = n
u (tk−1 , x) + u (tk , x)
2 2n
в предположении гладкости данных доказана равномерная сходимость функ-
ций u[n] (t, x) и их производных первого и второго порядка по x к решению
u(t, x) и его соответствующим производным в [0, τ ] × Rd для любого τ > 0.
В настоящей работе уравнение (1) рассматривается в полуплоскости R2+
с однородным граничным условием Дирихле. Предполагается, что функция
переноса v(t, x) «параллельна» оси x1 . С использованием нечетного продол-
жение (см., например, [24], гл. III, § 3, n. 2) задача на полуплоскости R2+
преобразуется в задачу на целой плоскости R2 , поэтому мы широко исполь-
зуем технические приемы, разработанные в [22, 23]. Тем не менее для оценки
гладкости приближенных решений наличие граничного условия значительно
усложняет задачу. Для разрешения этой проблемы мы применяем приближе-
ние немного отличное от использованного в [22, 23], а для получения оценок
также используем некоторые элементарные свойства обобщенных функций
(распределений) (см., например, [25]). В результате использования этих под-
ходов мы получили сходимость приближенных решений к функции, которая
удовлетворяет поточечно уравнению, начальному и граничному условиям.
Также приводится простой численный эксперимент, показывающий возмож-
ность использования полученных результатов к решению конкретных задач
математической физики.
Обобщение полученных результатов на случай, когда коэффициент диф-
фузии не обязательно постоянен или перенос не обязательно «горизонтален»,
потребует дополнительного исследования.

3
 А о у а о у д а М., А я д и А., Ф у д ж и т а Я ш и м а Х.

1. Постановка задачи и основной результат. Основным результатом

работы является доказательство сходимости приближенных решений u[n] (t, x),
которые мы определим ниже, к функции, удовлетворяющей уравнению
∂t u(t, x) + v(t, x)∂x1 u(t, x) = κ∆u(t, x) + f (t, x, u(t, x)), t > 0, x∈Ω (3)
и условиям
u(0, x) = u0 (x), x ∈ Ω, (4)
u(t, x1 , 0) = 0, t ∈ R+ , x1 ∈ R, (5)
где
Ω = {x = (x1 , x2 ) ∈ R2 : x2 > 0}, (6)
∂2 ∂2
κ — положительная постоянная, ∆ = + — оператор Лапласа. Ниже
∂x21 ∂x22
уточним условия на функции v(t, x), f (t, x, u) и u0 (x).
1.1. Условия на заданные функции. Для уточнения условий будем
использовать обозначения
∂ |α| ∂ |α|
Dxα = , α
Dx,u = ,
∂xα1 1 ∂xα2 2 ∂xα1 1 ∂xα2 2 ∂uα3
где
|α| = α1 + α2 для α = (α1 , α2 ), α1 , α2 = 0, 1, 2, . . . ,
|α| = α1 + α2 + α3 для α = (α1 , α2 , α3 ), α1 , α2 , α3 = 0, 1, 2, . . . .
Заданные функции и их производные будут рассматриваться в R2+ = Ω (см. (6)).
Для их производных, как обычно, рассматривается непрерывное продолже-
ние на границе ∂Ω = {x2 = 0}. Через Cb (R2+ ) (соотв. Cb (R2+ × R)) обозна-
чим класс непрерывных ограниченных в R2+ (соотв. R2+ × R) функций, а че-
рез Cb,loc (R+ ; Cb (R2+ )) (соотв. Cb,loc (R+ ; Cb (R2+ × R))) — класс непрерывных
в R+ × R2+ (соотв. R+ × R2+ × R) функций, которые ограничены в [0, τ ] × R2+
(соотв. [0, τ ] × R2+ × R) при любом τ > 0.
Предположим, что для функций v(t, x), f (t, x, u) и u0 (x) выполняется сле-
дующее:
Dxα v(t, x) ∈ Cb,loc (R+ ; Cb (R2+ )) ∀α ∈ N2 , |α| 6 3, (7)
∂t Dxα v(t, x) ∈ Cb,loc (R+ ; Cb (R2+ )) ∀α ∈ N2 , |α| 6 2, (8)

∂x v(t, x)
2 = 0,
x2 =0
(9)
f (t, x, u)
∈ Cb,loc (R+ ; Cb (R2+ × R)), (10)
1 + |u|
α
Dx,u f (t, x, u) ∈ Cb,loc (R+ ; Cb (R2+ × R)) ∀α ∈ N2 , 1 6 |α| 6 3, (11)
α
∂t Dx,u f (t, x, u) ∈ Cb,loc (R+ ; Cb (R2+ × R)) ∀α ∈ N2 , |α| 6 2,

f (t, x1 , 0, 0) = 0, (12)
Dxα u0 (x) ∈ Cb (R2+ ) 2
∀α ∈ N , |α| 6 3, (13)
u0 (x1 , 0) = 0 ∀x1 ∈ R. (14)

4
 Сходимость приближенных решений ядром теплопроводности для уравнения . . .

1.2. Определение приближенных решений. Для определения при-

ближенных решений определим шаги

δn = 2−n , n = 1, 2, . . . ,

и соответствующую шагам δn дискретизацию по времени:

[n] [n] [n] [n] [n]
0 = t0 < t1 < · · · < tk−1 < tk < · · · , tk = kδn .

Для каждого n = 1, 2, . . . положим также

1  r2 
ϑn (r) = √ exp − , r ∈ R, (15)
4πδn κ 4δn κ

Θn (x) = Θn (x1 , x2 ) = ϑn (x1 )ϑn (x2 ), x = (x1 , x2 ) ∈ R2 .

Через Λ(·) обозначим оператор нечетного продолжения заданной на {r > 0}

функции на R: 
 ϕ(r), r > 0,
Λ(ϕ( · ))(r) = 0, r = 0,
 −ϕ(−r), r < 0.

Полезно напомнить, что решение η(t, r) задачи

∂t η(t, r) = κ∂r2 η(t, r), t > 0, r > 0;

η(0, r) = ψ(r), r > 0; η(t, 0) = 0, t > 0


может быть построено как сужение η = ηe{r>0} на {r > 0} решения ηe(t, r)
задачи
∂t ηe(t, r) = κ∂r2 ηe(t, r), t > 0, r ∈ R,

 ψ(r), r > 0,
ηe(0, r) = Λ(ψ( · ))(r) = 0, r = 0,
 −ψ(−r), r < 0

(подробности см., например, в [24], гл. III, § 3, п. 2).

Пусть u0 (x) — непрерывная ограниченная функция, определенная в Ω. Ис-
пользуя оператор Λ( · ), определим приближенные решения u[n] (t, x), n =
= 1, 2, . . . , соотношениями
[n]
u[n] (t0 , x) = u0 (x), x ∈ Ω, (16)

[n]
u[n] (tk , x) =
Z Z
[n] [n]
ϑn (y1 )ϑn (y2 )Λ u[n] (tk−1 , x1 − δn v(tk , x) − y1 , · ) (x2 − y2 )dy1 dy2 +


=
ZR R Z x2
[n] [n]
ϑn (y2 )f tk−1 , x1 −y1 , x2 −y2 , u[n] (tk−1 , x1 −y1 , x2 −y2 ) dy2 +


+δn ϑn (y1 )
R −∞

5
 А о у а о у д а М., А я д и А., Ф у д ж и т а Я ш и м а Х.

Z ∞ 
[n] [n] [n]


+ ϑn (y2 ) −f tk−1 , x1 − y1 , y2 − x2 , u (tk−1 , x1 − y1 , y2 − x2 ) dy2 dy1 ,
x2
x ∈ Ω, k = 1, 2, . . . , (17)

[n] [n]
tk − t [n] [n] t − tk−1 [n] [n] [n] [n]
u[n] (t, x) = u (tk−1 , x) + u (tk , x), tk−1 6 t 6 tk , x ∈ Ω.
δn δn
(18)
Функции u[n] (t, x), определенные соотношениями (16), (17) и (18), назовем
приближенными решениями.
1.3. Основный результат. Для определенных в п. 1.2 приближенных
решений справедливо следующее утверждение.
Теорема А. Если функции v(t, x), f (t, x, u) и u0 (x) удовлетворяют усло-
виям (7)–(14), то каково бы ни было τ > 0, определенные в (16)–(18) функ-
ции u[n] (t, x) и их первые производные по x1 и x2 сходятся равномерно на
[0, τ ] × Ω, а их вторые производные по x1 и x2 сходятся поточечно при вся-
ких (t, x), t > 0, x ∈ Ω, причем предельная функция u(t, x) удовлетворяет
уравнению (3) и условиям (4) и (5).
В следующих разделах изложено доказательство теоремы, которое по су-
ществу будет проводиться на продолжении U [n] (t, x) функций u[n] (t, x) на R2 .
После некоторых замечаний, необходимых для последующих шагов, устано-
вим оценки U [n] (t, x) и их производных, а затем, используя эти оценки, до-
кажем сходимость U [n] (t, x) и их производных по x1 и x2 первого и второ-
го порядка. Наконец, путем предельного перехода, докажем, что предельная
функция удовлетворяет уравнению переноса-диффузии.
2. Преобразование задачи и некоторые предварительные заме-
чания. Если положить

x = (x1 , x2 ) ∈ R2 ,


U0 (x) = Λ(u0 (x1 , · )) (x2 ), (19)

V (t, x1 , x2 ) = V (t, x1 , −x2 ) = v(t, x1 , x2 ), t > 0, x1 ∈ R, x2 > 0, (20)


 f (t, x1 , x2 , U ), x2 > 0,
F (t, x1 , x2 , U ) = 0, x2 = 0,
 −f (t, x , −x , −U ), x < 0,
1 2 2

t > 0, (x1 , x2 ) ∈ R2 , U ∈ R, (21)

то приближенные решения u[n] (t, x) можно определять другим способом. Для

этого определим
[n]
U [n] (t0 , x) = U0 (x), x ∈ R2 , (22)

[n]
U [n] (tk , x) =
Z Z
[n] [n]
= ϑn (y1 )ϑn (y2 )U [n] (tk−1 , x1 − δn V (tk , x) − y1 , x2 − y2 )dy1 dy2 +
R R

6
 Сходимость приближенных решений ядром теплопроводности для уравнения . . .

Z
[n] [n]
+ δn Θn (y)F (tk−1 , x − y, U [n] (tk−1 , x − y))dy, x ∈ R2 , k = 1, 2, . . . ,
R2
(23)

[n] [n]
tk − t [n] [n] t − tk−1 [n] [n] [n] [n]
U [n] (t, x) = U (tk−1 , x)+ U (tk , x), tk−1 6 t 6 tk , x ∈ R2 .
δn δn
(24)
Напишем первое слагаемое правой части (23) в виде
Z
[n] [n]
Θn (y)U [n] (tk−1 , x − δn V (tk , x)~e1 − y)dy, ~e1 = (1, 0)> (25)
R2

тогда, когда это удобно.

Напомним, что из условия (9) и определения (20) следует, что V (t, x),
∂x2 V (t, x) и ∂x22 V (t, x) непрерывны в точках {x2 = 0}.
Сужение U [n] (t, x) на Ω совпадает с определенным в (16)–(18) прибли-
женным решением u[n] (t, x). Чтобы убедиться в этом совпадении, вспомним
следующее соотношение.
[n]
Замечание 1. Предположим, что U [n] (tk−1 , x) непрерывна и ограничена
[n]
в R2 и нечетна по x2 . Тогда U [n] (tk , x), определенная в (23), также непре-
рывна и ограничена в R2 и нечетна по x2 .
Д о к а з а т е л ь с т в о. Заметим, что согласно (21), если x2 < 0, то имеем
F (t, x1 , x2 , U ) = −F (t, x1 , −x2 , −U ).
[n]
Итак, учитывая нечетность U [n] (tk−1 , x), имеем
[n] [n] [n] [n]
F tk−1 , x1 , x2 , U [n] (tk−1 , x1 , x2 ) = −F tk−1 , x1 , −x2 , U [n] (tk−1 , x1 , −x2 ) .

[n] [n]
Значит функция F tk−1 , x1 , x2 , U [n] (tk−1 , x1 , x2 ) нечетна по x2 . Таким обра-

зом, учитывая соотношение ϑn (y2 ) = ϑn (−y2 ), имеем

Z Z
[n] [n]
ϑn (y1 )ϑn (y2 )F tk−1 , x1 − y1 , x2 − y2 , U [n] (tk−1 , x1 − y1 , x2 − y2 ) dy1 dy2 =


R R
Z Z
[n] [n]
ϑn (y1 )ϑn (y2 )F tk−1 , x1 − y1 , −x2 − y2 , U [n] (tk−1 , x1 − y1 , −x2 − y2 ) dy1 dy2 .


=−
R R
(26)
[n]
Напомним также, что согласно нашей гипотезе функция U [n] (tk−1 , x) непре-
[n]
рывна по x и нечетна по x2 , поэтому U [n] (tk−1 , x1 , 0) = 0. Таким образом, в
силу (21) и (12) получим
[n] [n] [n] [n]
F tk−1 , x1 , 0, U [n] (tk−1 , x1 , 0) = 0 = f tk−1 , x1 , 0, U [n] (tk−1 , x1 , 0) .



(27)
[n] [n]
Учитывая также (10), видим, что функция F tk−1 , x, U [n] (tk−1 , x) непре-

рывна по x ∈ R2+ , а в силу симметрии между x2 и −x2 она непрерывна

7
 А о у а о у д а М., А я д и А., Ф у д ж и т а Я ш и м а Х.

в R2 . Согласно условию (10), определению (21) и гипотезе ограниченности

[n] [n] [n]
U [n] (tk−1 , x) функция F tk−1 , x, U [n] (tk−1 , x) ограничена.


[n]
С другой стороны, поскольку U [n] (tk−1 , x1 , x2 ) нечетна по x2 , учитывая
опять соотношение ϑn (y2 ) = ϑn (−y2 ), имеем
Z Z
[n] [n]
ϑn (y1 )ϑn (y2 )U [n] tk−1 , x1 − δn V (tk , x1 , x2 ) − y1 , x2 − y2 dy1 dy2 =


RZRZ
[n] [n]
ϑn (y1 )ϑn (y2 )U [n] tk−1 , x1 − δn V (tk , x1 , −x2 ) − y1 , −x2 − y2 dy1 dy2 .


=−
R R
(28)

Что касается ограниченности и непрерывности, из предположения об огра-

[n]
ниченности и непрерывности U [n] (tk−1 , x) и v(t, x) (и следовательно V (t, x))
выводим, что выражение
Z
[n] [n]
Θn (y)U [n] tk−1 , x − δn V (tk , x)~e1 − y dy


R2

ограничено и непрерывно по x ∈ R2 .
Оба слагаемых правой части (23) непрерывны и ограничены в R2 и нечет-
ны по x2 (см (26), (28)), так же как и их сумма, что и требовалось доказать.

Напомним, что функция F (t, x, U ), определенная в (21), не обязательно
непрерывна в точках (x1 , 0). Поэтому, чтобы доказать непрерывность функ-
[n] [n]
ции F tk−1 , x, U [n] (tk−1 , x) , нам нужно равенство (27).


Утверждение замечания 1 и рассуждения, используемые при его доказа-
тельстве, позволяют сформулировать
Замечание 2. Функции U [n] (t, x), определенные в (22)–(24), непрерывны
и ограничены в R2 и нечетны по x2 :

U [n] (t, x1 , x2 ) = −U [n] (t, x1 , −x2 ), t > 0, x = (x1 , x2 ) ∈ R2 .

В частности
U [n] (t, x1 , 0) = 0 ∀(t, x1 ) ∈ R+ × R. (29)
Кроме того, имеет место равенство

U [n] (t, x1 , x2 ) = (Λ(u[n] (t, x1 , · )))(x2 ), t > 0, (x1 , x2 ) ∈ R2 , (30)

где u[n] (t, x) — функция, определенная в (16)–(18).

Д о к а з а т е л ь с т в о. Напомним, что согласно определениям (19), (22)
[n]
и условиям (13)–(14) функция U [n] (t0 , x) непрерывна и ограничена в R2
и нечетна по x2 . Поэтому из утверждения замечания 1 следует, что для всех
[n]
k ∈ N функция U [n] (tk , x) непрерывна и ограничена в R2 и нечетна по x2 .
Из определения (24) следует также, что при любом фиксированном t ∈ R+
функция U [n] (t, x) непрерывна и ограничена в R2 и нечетна по x2 .

8
 Сходимость приближенных решений ядром теплопроводности для уравнения . . .

Рассуждая как при доказательстве замечания 1, нетрудно увидеть, что

если
[n] [n]
U [n] (tk−1 , x1 , x2 ) = Λ(u[n] (tk−1 , x1 , · )) (x2 ), (x1 , x2 ) ∈ R2 ,

то
[n] [n]
U [n] (tk , x1 , x2 ) = Λ(u[n] (tk , x1 , · )) (x2 ), (x1 , x2 ) ∈ R2 .

Определения (18) и (24) позволяют получить (30). 

Равенство (30) позволяет определить u[n] (t, x) соотношением

u[n] (t, x1 , x2 ) = U [n] (t, x1 , x2 ), t > 0, x1 ∈ R, x2 > 0. (31)

В дальнейшем докажем сходимость U [n] (t, x) при n → ∞. Ясно, что из

этого факта в силу равенства (31) следует сходимость u[n] (t, x).
3. Ограниченность приближенных решений и их производных.
В этом разделе докажем ограниченность приближенных решений U [n] (t, x)
и их производных. Для этого воспользуемся приемом из [22, 23] с учетом
того факта, что нам необходимо учитывать поведение производных U [n] (t, x),
вызванное специфическими условиями для U0 (x) и F (t, x, U ) на {x2 = 0}.
Для доказательства следующих лемм введем обозначение
τδ = τ + δ1 , τ > 0. (32)

Лемма 1. Пусть выполнены условия теоремы A. Тогда существует функ-

ция Φ0 (t), которая является непрерывной на R+ , возрастающей, независи-
мой от n и такой, что

sup |U [n] (t, x)| 6 Φ0 (t). (33)

x∈Ω

Д о к а з а т е л ь с т в о. Пусть τ > 0. Положим

[0,n] [n] τδ
Ak = sup |U [n] (tk , x)|, k = 0, 1, 2, . . . , k6 ,
x∈R2 δn

|F (t, x, U )|
Cf = sup .
(t,x,U )∈[0,τδ ]×R2 ×R 1 + |U |
+

Так как Z Z
Θn (y)dy = |Θn (y)|dy = 1,
R2 R2
имеем Z 
 [n] [n] [n]
 [0,n]

 Θn (y)U − δn V
(tk−1 , x − y)dy  6 Ak−1 ,
(tk , x)~e1
R2
Z 
[n] [n] [0,n]
Θn (y)F tk−1 , x − y, U [n] (tk−1 , x − y) dy  6 Cf (1 + Ak−1 ).




R2
Следовательно, из (23) получим
[0,n] [0,n]
Ak 6 (1 + δn Cf )Ak−1 + δn Cf .

9
 А о у а о у д а М., А я д и А., Ф у д ж и т а Я ш и м а Х.

[n]
Отсюда, с учетом соотношения tk = kδn , следует
k
[0,n] [0,n] [0,n] [n] [n]
X
Ak 6 A0 (1+δn Cf )k +δn Cf (1+δn Cf )k−j 6 A0 etk Cf +etk Cf −1 (34)
j=1

[n] [0,n]
для tk 6 τδ . Так как A0 = sup |U0 (x)| не зависит от n, учитывая определе-
x∈R2
ние (24) и произвольность τ > 0, из (34) выведем существование независимой
от n функции Φ0 (t), которая удовлетворяет нераветству (33). 
Лемма 2. Пусть выполнены условия теоремы A. Тогда существует функ-
ция Φ1 (t), которая является непрерывной на R+ , возрастающей, независи-
мой от n и такой, что
2
X  ∂ 
sup  U [n] (t, x) 6 Φ1 (t). (35)
 
i=1 x∈R2 ∂xi

Д о к а з а т е л ь с т в о. Пусть τ > 0. Положим

[1,n] ∂ [n] [n] τδ
wi,k (x) = U (tk , x), i = 1, 2, k = 0, 1, 2, . . . , k6 . (36)
∂xi δn
Так как дифференциальный оператор ∂xi коммутирует со сверткой, вычислив
производную по xi обеих частей (23), получим
[n]
∂V (tk , x) [1,n]
Z h i
[1,n] [1,n]
wi,k (x) = Θn (y) wi,k−1 (ξ(x, y)) − δn w1,k−1 (ξ(x, y)) dy +
Rd ∂xi
[n] [n]
∂F (tk , ξ, U [n] (tk , x)) 
Z 
+ δn Θn (y) +
∂ξi

Rd ξ=x−y
[n]
∂F (tk , x − y, U ) 

[1,n]
+ [n]
wi,k−1 (x − y) dy, (37)
∂U

U =U [n] (tk ,x−y)

где
[n]
ξ(x, y) = x − δn V (tk , x)~e1 − y. (38)
Из равенства (37) и условий теоремы A следует, что, если положим
2
[1,n] [1,n]
X
Ak = sup |wi,k (x)|,
i=1 x∈Rd

то аналогично доказательству леммы 1 получим

[1,n] [1,n]
Ak 6 (1 + δn C)Ak−1 + δn C, (39)
где C — независимая от n постоянная. Учитывая, что
2
[1,n]
X
A0 = sup |∂xi u0 (x)|
i=1 x∈Ω

10
 Сходимость приближенных решений ядром теплопроводности для уравнения . . .

не зависит от n, аналогично доказательству леммы 1 из (39) получим суще-

ствование функции Φ1 (t), удовлетворяющей неравенству (35). 
Чтобы оценить производные второго порядка функции U [n] (t, x) по x, на-
помним, что согласно условиям (13), (14) (см. также (19) и (22)), имеем
∂ 2 [n] [n] ∂ 2 [n] [n]
lim U (t0 , x1 , x2 ) = u0000 (x1 ), lim U (t0 , x1 , x2 ) = −u0000 (x1 ),
x2 →0+ ∂x22 x2 →0− ∂x22
где
∂2
u0000 (x1 ) = lim u0 (x1 , x2 ), (40)
x2 →0+ ∂x22
а вообще u0000 (x1 ) не равняется нулю, поэтому f rac∂ 2 ∂x22 U [n] (t, x) не опреде-
[n]
ляется при 0 6 t < t1 , x2 = 0. Но, так как u0000 (x1 ) равномерно ограничен,
∂2 [n] (t, x). Для упрощения записи,
это не вызывает трудностей для оценки ∂x 2U
2
условимся считать, что
∂ 2 [n] 
[n]
U (t, x) = 0, 0 6 t < t1 = δn .

∂x22

x2 =0

Лемма 3. Пусть выполнены условия теоремы A. Тогда существует функ-

ция Φ2 (t), которая является непрерывной на R+ , возрастающей, независи-
мой от n и такой, что
X
sup Dxα U [n] (t, x) 6 Φ2 (t).
 
(41)
2
|α|=2 x∈R

Д о к а з а т е л ь с т в о. Пусть τ > 0. Для α ∈ {(2, 0), (1, 1), (0, 2)} положим
[2,n] [n] τδ
wα,k (x) = Dxα U [n] (tk , x), k = 0, 1, 2, . . . , k 6 .
δn
Используя введенное в (38) обозначение ξ(x, y), имеем
[n] [2,n]
Dxα U [n] tk−1 , ξ(x, y) = wα,k−1 (ξ(x, y)) +

2
0 [2,n]
X X
+ (−δn )m Pβ,m0 (DV )wβ,k−1 (ξ(x, y)) −
|β|=2 m0 =1
[1,n] [n]
− δn w1,k−1 (ξ(x, y))Dα V (tk , x), (42)

[n] [n]
Dxα F tk−1 , x, U [n] (tk−1 , x) =

∂ [n] [n]
[2,n]

= F tk−1 , x, U [n] (tk−1 , x) wα,k−1 (x) + R(DF, DU [n] ), (43)
∂U
где Pβ,m0 (DV ) — сумма произведений m0 производных первого порядка функ-
ции V по x1 или x2 , а R(DF, DU [n] ) — сумма производных второго порядка
функции F , возможно умноженных на производные первого порядка функ-
[1,n]
ции U [n] (здесь w1,k−1 (·) — функция, определенная в (36)). В случае α = (0, 2),
как правило, производная Dxα F в (43) не определена в точках x ∈ {x2 = 0}.
Но, так как ∂x2 F непрерывна, значение производной ∂x22 F , которое не опреде-

11
 А о у а о у д а М., А я д и А., Ф у д ж и т а Я ш и м а Х.

ляется на одной линии, не влияет на результат вычисления интеграла на R2 ,

[n]
который будем рассматривать для мажорирования |Dxα U [n] (tk , x)|.
Положим
[2,n] [2,n]
X
Ak = sup |wα,k (x)|.
2
|α|=2 x∈R

Применяя дифференциальный оператор Dα к обеим частям (23), подставляя

выражения (42), (43) под интеграл правой части (23) и принимая во внимание
условия теоремы A и результат леммы 2, получим неравенство
[2,n] [2,n] [n]
Ak 6 (1 + δn C1 )Ak−1 + δn R1 (tk )
с независимой от n постоянной C1 и возрастающей непрерывной функци-
ей R1 (t). Рассуждая аналогично доказательству лемм 1 и 2, из последне-
го неравенства обычным способом получим функцию Φ2 (t), удовлетворяю-
щую (41). 
Лемма 4. Пусть выполнены условия теоремы A. Тогда существуют функ-
ция Φ3 (t) и постоянная C 3 , удовлетворяющие следующим условиям:
i) Φ3 (t) не зависит от n и является непрерывной на R+ и возрастающей;
ii) C 3 не зависит от n;
iii) каково бы ни было ε1 > 0, существует такое число n(ε1 ) ∈ N, что при
любом n > n(ε1 ) справедливо неравенство
X 1
sup Dxα U [n] (t, x) 6 Φ3 (t) + √ C 3 ,
 
t > ε1 . (44)
|α|=3 x∈R
2 t

Замечание 3. При каждом ε1 > 0 существует убывающая функция cε1 (%),

% > 0, такая, что
lim cε1 (%) = +∞, lim cε1 (%) = 0;
%→0+ %→∞
X
sup |Dxα U [n] (t, x)| 6 Φ3 (t) + cε1 (%), 0 6 t 6 ε1 .
|α|=3 |x2 |>%

Д о к а з а т е л ь с т в о л е м м ы 4. Введем вспомогательные функции ν(x)

и H[n]k (x). Функция ν(x) = ν(x1 , x2 ) определяется соотношением

x2

u0000 (x1 )ζ(x2 ) 2 , x2 > 0,



ν(x1 , x2 ) = 2 (45)
x 2
 −u0000 (x1 )ζ(−x2 ) 2 , x2 6 0,


2
где u0000 (x1 ) — определенное в (40) значение, а ζ(x2 ) — убывающая функция
класса C ∞ (R+ ), такая, что
(
1, 0 6 x2 6 1,
ζ(x2 ) =
0, x2 > 2.

12
 Сходимость приближенных решений ядром теплопроводности для уравнения . . .

Функция H[n]k (x) = H[n]k (x1 , x2 ) определяется соотношением

∂2

[n] [n] [n]


 r→0+ ∂r2 F tk , x1 , r, U (tk , x1 , r) , x2 > 0,
lim



H[n]k (x1 , x2 ) = 0, x2 = 0, (46)
2
 lim ∂ F t[n] , x1 , r, U [n] (t[n] , x1 , r) , x2 < 0.




k k
r→0− ∂r 2

Нетрудно видеть, что свойства, употребленные в доказательстве леммы 3,

гарантируют существование пределов, находящихся в правой части (46). По-
ложим также
0 ∂
H[n]k (x1 , x2 ) = H (x1 , x2 ).
∂x2 [n]k
Здесь производная должна пониматься как обобщенная функция. Как хоро-
0 (x , x ) можно выражать с помощью δ-функции Дирака.
шо известно, H[n]k 1 2
Но, чтобы избежать неоднозначностей из-за слишком похожих символов, мы
0 (x , x ).
используем обозначение H[n]k 1 2
Введем оператор
Z
[n]
Gn (ϕ)(x) = Gn,k0 (ϕ)(x) = Θn (y)ϕ(x − δn V (tk0 , x)~e1 − y)dy. (47)
R2

[n]
Даже если оператор Gn,k0 зависит от tk0 , для упрощения записи мы пишем

G1n (ϕ)(x) = Gn (ϕ)(x) = Gn,k0 (ϕ)(x), Gk+1 k

n (ϕ)(x) = Gn (Gn (ϕ))(x).

[n]
Действительно, зависимость оператора Gn,k0 от tk0 не влияет на его основные
свойства, которые мы будем использовать. Используя оператор Gn , опреде-
лим
[3,n]
zeα,k (x) = Dxα (Gkn ν)(x),
[n] [3,n] [3,n]
и разложим Dxα U [n] (tk , x) на w
eα,k (x) и zeα,k (x):

[n] [3,n] [3,n]

Dxα U [n] (tk , x) = w
eα,k (x) + zeα,k (x). (48)

Сначала рассмотрим вклад производной первого интегрального слагае-

мого правой части (23). Рассуждая аналогично (42) и принимая во внима-
ние (48), имеем

[n] [3,n] [3,n]

Dxα U [n] (tk−1 , ξ(x, y)) = w
eα,k−1 (ξ(x, y)) + zeα,k−1 (ξ(x, y))+
3
0 [3,n] [3,n]
X X
(−δn )m Pα,β,m0 (DV ) w


+ eβ,k−1 (ξ(x, y)) + zeβ,k−1 (ξ(x, y))
|β|=3 m0 =1
2
0 [|β|,n]
X X
+ (−δn )m Qα,β,m0 (DV )wβ,k−1 (ξ(x, y)). (49)
16|β|62 m0 =1

13
 А о у а о у д а М., А я д и А., Ф у д ж и т а Я ш и м а Х.

Здесь ξ(x, y) — введенная в (38) функция, Pα,β,m0 (DV ) — сумма произведений

m0 производных первого порядка функции V по x1 или x2 , Qα,β,m0 (DV ) —
сумма произведений m0 производных q-го порядка функции V по x1 или x2 ,
q 6 3. Напомним, что, поскольку перенос V (t, x)~e1 идет только в направлении
x1 , вычисление производной сложной функции (от U [n] и V ) показывает, что
для всех α, |α| = 3, и для всех x ∈ R2 , имеем

Pα,(0,3),m0 (DV ) = 0. (50)

Что касается вклада производной второго интегрального слагаемого пра-

вой части (23), напомним, что из условия (11) относительно гладкости функ-
ции f (t, x, u) и нечетного продолжения с условием (12), с учетом соотноше-
2 [n] [n]
ния (29), следует, что ∂x∂1 ∂x2 F (tk−1 , x, U [n] (tk−1 , x)) непрерывна и в точках
3 [n] [n]
{x2 = 0}, и, следовательно, даже если ∂x∂∂x2 F (tk−1 , x, U [n] (tk−1 , x)) не опре-
1 2
делена в точках {x2 = 0}, мы можем пренебречь этим тогда, когда выполняем
интегрирование.
С другой стороны, предельные значения

∂2 [n] [n]
lim F (tk , x1 , x2 , U [n] (tk , x1 , x2 ))
x2 →0+ ∂x22
и
∂2 [n] [n]
lim F (tk , x1 , x2 , U [n] (tk , x1 , x2 )),
x2 →0− ∂x22
как правило, не совпадают. Следовательно, когда выполняем интегрирование
функции
∂3 [n] [n]
F (tk , x1 , x2 , U [n] (tk , x1 , x2 )),
∂x32
нужно рассмотреть обобщенную функцию, имеющую ненулевую меру, сосре-
доточенную на {x2 = 0}. Для этого нам удобно отделить часть производной
[n] [n]
Dxα F (tk−1 , x, U [n] (tk−1 , x)) на {x2 = 0} от ее части на R2 \{x2 = 0}. Ясно, что
часть на {x2 = 0} должна рассматриваться как обобщенная функция. Итак,
рассуждая аналогично (43), имеем

[n] [n]
Dxα F (tk−1 , x, U [n] (tk−1 , x)) =
h ∂
[n] [n] [3,n] [3,n]
= F (tk−1 , x, U [n] (tk−1 , x))(w
eα,k−1 (x) + zeα,k−1 (x))+
∂U i
+ Rα (DF, DU [n] ) + Iα,k−1 (x),
R2 \{x2 =0}

где Rα (DF, DU [n] ) — сумма произведений производных первого, второго или

третьего порядка функции F и производных первого или второго порядка
функции U [n] , а
 0
H[n]k−1 (x), α = (0, 3),
Iα,k−1 (x) = (51)
0, α 6= (0, 3).
14
 Сходимость приближенных решений ядром теплопроводности для уравнения . . .

Положим
[3,n] [3,n] [3,n] [3,n] [3,n]

w
ek (x) = w
e(3,0),k (x), w
e(2,1),k (x), w
e(1,2),k (x), w
e(0,3),k (x) ,

[3,n] [3,n] [3,n] [3,n] [3,n]

zek (x) = ze(3,0),k (x), ze(2,1),k (x), ze(1,2),k (x), ze(0,3),k (x) .

Введем оператор
3
X X   ∂F 
m0 −1
e α = −Gn
(Πw) (−δn ) Pα,β,m0 (DV )w
eβ + Θn ∗ w
eα , (52)
∂U
|β|=3 m0 =1

который действует на we = (w
e(3,0) , w
e(2,1) , w e(0,3) ). Здесь и в дальнейшем ∗
e(1,2) , w
обозначает свертку. Введем также функцию

 X 2 
m0 −1 [|β|,n]
X
(Ψk )α = −Gn (−δn ) Qα,β,m0 (DV )wβ,k +
16|β|62 m0 =1

+ Θn ∗ Rα (DF, DU [n] ) R2 \{x2 =0} . (53)

 

Кроме того, запишем соотношение (51) в виде

0


Ik = 0, 0, 0, H[n]k (·) .

Оператор Π также зависит от k. Но, так как его зависимость от k не влияет на

интересующие нас оценки, для упрощения записи мы пишем его без указания
зависимости от k. Наконец положим

Dx[3] = (Dx(3,0) , Dx(2,1) , Dx(1,2) , Dx(0,3) ).

С этими обозначениями часть на R2 \{x2 = 0} производных третьего порядка

формулой (23) можно переписать в виде
[3,n] [3,n] [3,n]
w
ek = (Gn + δn Π)w
ek−1 + δn Πe
zk−1 + δn Ψk−1 + δn G0,n (Ik−1 ), k > 1, (54)

где
G0,n (Ik−1 ) = Θn ∗ Ik−1 . (55)
[3,n]
Так как w
e0 не зависит от n, положим
[3,n]
w
e0 = w
e0 = Dx[3] (U0 − ν).

Тогда в частности имеем

[3,n] [3,n]
w
e1 = (Gn + δn Π)w
e0 + δn Πe
z0 + δn Ψ0 + δn G0,n (I0 ),

15
 А о у а о у д а М., А я д и А., Ф у д ж и т а Я ш и м а Х.

2−1
[3,n] [3,n]
X
w
e2 = (Gn + δn Π)2 w
e0 + δn (Gn + δn Π)2−1−j Πe
zj +
j=0
2−1
X 2−1
X
+ δn (Gn + δn Π)2−1−j Ψj + δn Gn2−1−j G0,n (Ij ) +
j=0 j=0
2−2
X 2−2−h
X
+ δn2 (Gn + δn Π)h Π G2−2−h−j
n G0,n (Ij ). (56)
h=0 j=0

[3,n]
Кроме того, если wk имеет выражение

k−1
[3,n] [3,n]
X
k
w
ek = (Gn + δn Π) w
e0 + δn (Gn + δn Π)k−1−j Πe
zj +
j=0
k−1
X k−1
X
k−1−j
+ δn (Gn + δn Π) Ψj + δn Gnk−1−j G0,n (Ij ) +
j=0 j=0
k−2
X k−2−h
X
+ δn2 (Gn + δn Π) Πh
Gk−2−h−j
n G0,n (Ij ), (57)
h=0 j=0

[3,n]
то из (54) следует, что w
ek+1 имеет выражение (57), где k заменяется на k + 1.
[3,n]
Таким образом, учитывая (56), выводим, что при k > 2, w
ek имеет выраже-
ние (57).
Будем оценивать слагаемые правой части (57). Для этого введем обозна-
чение X
kwk
e A= sup |w
eα (x)|. (58)
2
|α|=3 x∈R

Теперь рассмотрим фиксированное число τ > 0 и целые числа k, удо-

влетворяющие условию 0 6 k 6 τδ /δn . Тогда, согласно определению (52)
(см. также (7), (11)), существует постоянная Cπ , такая, что

kΠwk
e A 6 Cπ kwk
e A (59)

для Π, определенного в отрезке [0, τδ ]. Аналогично, согласно определению

(53) (см. также (7), (9), (11) и лемму 3), существует постоянная Cψ , такая,
что τδ
kΨk kA 6 Cψ , k = 0, 1, 2, . . . , k 6 . (60)
δn
Чтобы оценить слагаемые, относящиеся к Ij и ν, используем лемму 3,
которую докажем ниже. Действительно, поскольку, согласно условию (11)
и лемме 3, для функции H[n]k (x), определенной в (46), существует постоянная
CH , такая, что
τδ
sup |H[n]k (x)| 6 CH , k = 0, 1, 2, . . . , k6 ,
x∈R2 δn
16
 Сходимость приближенных решений ядром теплопроводности для уравнения . . .

в силу леммы 3 имеем

2 1
kGk−1−j
n G0,n (Ij )kA 6 p CH ≡ p Cη . (61)
4πκ(k − j)δn (k − j)δn
[3,n]
Что касается zej , имеющей вид
Z
[3,n] [3] j
Θn (y)Dx[3] Gj−1
 
zej (x) = Dx Gn ν(x) = n ν(ξ(x, y)) dy
R2

(см. (47), (38)), полезно напомнить равенство

[3,n]
Dxα Gj−1
 
n ν(ξ(x, y)) = z
eα,j−1 (ξ(x, y)) +
3
0 [3,n]
X X
+ (−δn )m Pα,β,m0 (DV )e
zβ,j−1 (ξ(x, y)) +
|β|=3 m0 =1
2
0
(−δn )m Qα,β,m0 (DV )Dξβ Gj−1
X X 
+ n ν(ξ) ξ=ξ(x,y) , (62)

16|β|62 m0 =1

которое получается аналогично (49).

Напомним также, что, рассуждая аналогично доказательству лемм 2 и 3
(но с F = 0), нетрудно проверить, что существует возрастающая функция
Φν,0 (t), такая, что
X
sup |Dxβ Gjn ν(x)| 6 Φν,0 (jδn ).
2
16|β|62 x∈R

Для α = (3, 0), (2, 1), (1, 2) положим

X
kDx[3] Gjn νkA0 = sup |Dxα Gjn ν(x)|.
2
α∈{(3,0),(2,1),(1,2)} x∈R

Если α ∈ {(3, 0), (2, 1), (1, 2)}, то в силу (50) правая часть (62) не зависит
от ∂x32 Gj−1
n ν(ξ(x, y)), что позволяет вывести из равенства (62) и определения
оператора Gn (см. (47)) неравенство

kDx[3] Gjn νkA0 6 (1 + C1 δn )kDx[3] Gj−1

n νkA0 + δn C1 Φν,0 ((j − 1)δn ),

где C1 — независимая от n постоянная. Из этого неравенства обычным обра-

зом выводим, что существует возрастающая функция Φν,1 (t), такая, что

kDx[3] Gjn νkA0 6 Φν,1 (jδn ). (63)

[3,n]
Что касается ze(0,3),j (x) = ∂x32 Gjn ν(x), проверим соотношение

∂3 j
G (ν)(x) = Iν,j (x) + fν,j (x) + gν,j (x), j = 1, 2, . . . , (64)
∂x32 n
17
 А о у а о у д а М., А я д и А., Ф у д ж и т а Я ш и м а Х.

где
 ∂3    ∂3  
Iν,j = Gjn ν , fν,j = Gjn ν ,
 
∂x32 {x2 =0} ∂x32 R2 \{x2 =0}
 

а gν,j — такая функция, что существует независимая от n возрастающая

функция Φν,g ( · ), удовлетворяющая неравенству

sup |gν,j (ξ)| 6 Φν,g (jδn ).

ξ∈R2

Действительно, имеем

∂ 3 j−1 ∂ 3 j−1 
G (ν)(ξ(x, y)) = G (ν)(ζ) + δn gej−1 ,

3 n 3 n 
∂x2 ∂ζ2 ζ=ξ(x,y)

[n]
где ξ(x, y) = x−δn V (tj , x)~e1 −y, а gej−1 является суммой произведений произ-
водной первого, второго или третьего порядка функции Gj−1 n (ν) и производ-
[n]
ных первого, второго или третьего порядка функции V (tj , x) по x2 . Итак,
имеем
∂3 j  ∂3
j−1

G (ν)(x) = G n G (ν) (x) + δn Gn (e
gj−1 )(x).
∂x32 n ∂x32 n
Повторяя это рассуждение j раз, мы получим
j−1
∂3 j j
 ∂3  X 0
3 Gn (ν)(x) = Gn 3 ν (x) + δn Gj−j
n (e
gj 0 )(x).
∂x2 ∂x2 0 j =0

0
Так как P(0,3),(0,3),m0 (DV ) = 0 (см. (50)), внутри членов Gj−j
n (e
gj 0 )(x) нет про-
3j 0
∂
изводной ∂ζ 3 Gn (ν). Поэтому можно их оценить мажорированиями, которые
2
мы уже проверили. Следовательно, существует независимая от n возрастаю-
щая функция Φν,g ( · ), удовлетворяющая неравенству
j−1
 X 0
Gnj−j (e

sup δn gj 0 )(x) 6 Φν,g (jδn ).
x∈R2 j 0 =0

Тем самым, если положим

j−1
0
X
gν,j = δn Gnj−j (e
gj 0 )(x),
j 0 =0

то получим (64).
∂3 

Напомним, что, в силу (45), ν
∂x32 {x2 =0}
удовлетворяет соотношению

∞
∂ 3 
Z
ϕ(x2 ) 3 ν  (x1 , x2 )dx2 = 2u0000 (x1 )ϕ(0) ∀ϕ ∈ C(R),
−∞ ∂x2 {x2 =0}
18
 Сходимость приближенных решений ядром теплопроводности для уравнения . . .

∂3 

т.е. ν (x , x ) является δ-функцией Дирака
∂x32 {x2 =0} 1 2
на −∞ < x2 < ∞, умно-
00
женной на 2u00 (x1 ). Итак, согласно лемме 3, имеем

CI  x2 
|fν,j (x)| 6 C f , |Iν,j (x)| 6 √ exp − 2 ,
4πjδn κ 4jδn κ
где
 ∂3 
Cf = sup ν(x), C I = 2 sup |u0000 (x1 )|.
 
 3
2
x∈R \{x2 =0} ∂x2 x1 ∈R

Следовательно, имеем
 ∂3  CI  x2 
j
 3 (Gn ν)(x) 6 C f + √ exp − 2 + Φν,g (jδn ). (65)
 
∂x2 4πjδn κ 4jδn κ
[3] [3,n]
Положив Φν (t) = Φν,1 (t) + Φν,g (t) и напомнив Dx Gjn ν = zej , из соотно-
шений (59)–(61), (63), (65) следует, что при t = kδn справедливы неравенства

k(Gn + δn Π)k w
e0 kA 6 (1 + δn Cπ )k kw
e0 kA 6 etCπ kw
e0 kA ,
k−1 Z t
X k−1−j [3,n] (t−s)Cπ
 CI 
δn (Gn + δn Π) Πe
zj
6 C π e Φν (s) + C f + √ ds,

j=0

A 0 4πκs

k−1
X Z t
k−1−j
e(t−s)Cπ ds,

δn (Gn + δn Π) Ψj 6 Cψ


j=0 A 0

k−1 Z t
X k−1−j 1
δn Gn G (I )
0,n j
6 C η √ ds,

j=0 A 0 t−s

k−2 k−2−h
2X h
X
k−2−h−j

δn (Gn + δn Π) Π Gn G0,n (Ij )
6
h=0 j=0 A
Z t Z t−s
sCπ 1
6 Cπ e √ drds.
0 0 t−s−r
Так как правая часть этих неравенств ограничена постоянной, которая зави-
сит от τδ , но не зависит ни от t = kδn ∈ [0, τδ ], ни от n, из этих неравенств
и равенства (57) следует, что существует функция Φ e 3 (τ ), такая, что
[3,n] τδ
kw
ek kA 6 Φ
e 3 (τ ), k = 0, 1, 2, . . . , k6 . (66)
δn
[n]
Учитывая определения (48) и (58) и переход от {tk } к t ∈ [0, τ ] (см. (24)),
с учетом произвольности τ > 0, из неравенств (63), (65) и (66) мы выводим,
что существуют независимая от n возрастающая функция Φ3 (t) и независи-
мая от n постоянная C 3 , которые удовлетворяют соотношению (44). Лемма
доказана. 

19
 А о у а о у д а М., А я д и А., Ф у д ж и т а Я ш и м а Х.

Д о к а з а т е л ь с т в о з а м е ч а н и я 3. Уделяя внимание выражению

C  x2 
√ I exp − 2 ,
4πjδn κ 4jδn κ

находящемуся в правой части (65), из (63), (65), (66) получаем утверждение

замечания. 
Лемма 5. Пусть Gn — определенный в (47) оператор.
i) Пусть f (x1 , x2 ) — измеримая функция, определенная на R2 . Пусть g(x2 ) —
неотрицательная измеримая функция, определенная на R. Если

|f (x1 , x2 )| 6 g(x2 ) ∀(x1 , x2 ) ∈ R2 , (67)

то имеем
y2 
Z
1 
|(Gkn f )(x1 , x2 )| 6 √ exp − 2 g(x2 − y2 )dy2 . (68)
R 4πkδn κ 4kδn κ

ii) Пусть η(x1 ) — ограниченная измеримая функция, определенная на R.

Тогда имеем
1  x2 
|(Gkn (η( · )δ( · )))(x1 , x2 )| 6 √ exp − 2 sup |η(x01 )|, (69)
4πkδn κ 4kδn κ x01 ∈R

где δ( · ) — δ-функция Дирака на −∞ < x2 < ∞.

В неравенствах (68), (69) Gkn можно заменить на Gk−1
n G0,n , где G0,n —
определенное в (55) оператор.
Д о к а з а т е л ь с т в о. Поскольку перенос V ~e1 действует только в направ-
лении x1 , из условия (67) следует, что при любом (t, x) ∈ R+ × R2 имеем

|f (x1 − δn V (t, x), x2 )| 6 g(x2 ) ∀(x1 , x2 ) ∈ R2 ,

откуда следует

|(Gn,k0 f )(x1 , x2 )| 6 (ϑn ∗ g)(x2 ) ∀(x1 , x2 ) ∈ R2

(для ϑn см. (15)). Повторив это рассуждение и напомнив соотношение свертка

между гауссовскими распределениями, получим (68).
Чтобы доказать второе утверждение, достаточно вспомнить, что
(ϑn ∗ δ( · ))(x2 ) = ϑn (x2 ), что позволяет получить непосредственно неравен-
ство (69) при k = 1. Тогда, согласно первому утверждению, имеем (69) при
любом k ∈ N. Оператор G0,n есть случай Gn , когда V = 0. 
4. Сходимость приближенных решений. В этом разделе, исполь-
зуя ограниченность функций U [n] (t, x) и их производных первого, второго
и третьего порядка по x, доказанную в леммах 1–4, мы докажем сходимость
U [n] (t, x) и их производных первого и второго порядка. Для равномерной схо-
димости U [n] (t, x) и их производных первого порядка будем следовать схеме
предложений 5.1 и 6.1 статьи [22], а для поточечной сходимости производных

20
 Сходимость приближенных решений ядром теплопроводности для уравнения . . .

второго порядка будем использовать другое рассуждение. Когда аргумен-

ты доказательства аналогичны изложенным в [22] аргументам (даже если
определение приближенных решений несколько отличается), для подробно-
сти расчета будем ссылаться на [22].
Лемма 6. Пусть выполнены условия теоремы A. Тогда, каково бы ни было
τ > 0, функции U [n] (t, x), n = 1, 2, . . . , определенные в (22)–(24), сходятся
равномерно на [0, τ ] × R2 к предельной функции U (t, x) при n → ∞.
Д о к а з а т е л ь с т в о. Воспользуемся идеей доказательства предложения
[n] [n]
5.1 из статьи [22]. Пусть τ > 0 и моменты времени tk таковы, что 0 6 tk 6 τδ
(для τδ см. (32)). Если положим
[n0 ] [n0 ]
ξk0 (x, y) = x − δn0 V (tk0 , x)~e1 − y (70)

(k 0 = k + 1 или = 2k + 1 или = 2k + 2 и n0 = n или = n + 1), то имеем

[n+1] [n+1] [n+1] [n+1]
U [n+1] (t2k+2 , x) = I2k + Ja,2k + Jb,2k , (71)

где
Z Z
[n+1] [n+1]
I2k = Θn+1 (y (1) )Θn+1 (y (2) )U [n+1] (t2k , ξ ∗ (y (1) , y (2) ))dy (1) dy (2) , (72)
R2 R2

[n+1] [n+1] [n+1]

ξ ∗ (y (1) , y (2) ) = ξ2k+2 (x, y (1) ) − δn+1 V (t2k+1 , ξ2k+2 (x, y (1) )~e1 − y (2) ,

Z
[n+1]
Ja,2k = δn+1 Θn+1 (y (1) ) ×
R2
[n+1] [n+1]
[n+1]
× Θn+1 ∗ F (t2k , · , U [n+1] (t2k , · )) (ξ2k+2 (x, y (1) ))dy (1) , (73)
Z
[n+1] [n+1]
Jb,2k = δn+1 Θn+1 (y (1) )F (t2k+1 , x − y (1) , U 1 + U 2 )dy (1) , (74)
R2
Z
[n+1] [n+1]
U1 = Θn+1 (y (2) )U [n+1] (t2k , ξ2k+1 (x − y (1) , y (2) ))dy (2) ,
R2
[n+1] [n+1]
U 2 = U 2 (x − y (1) ) = δn+1 (Θn+1 ∗ F (t2k , · , U [n+1] (t2k , ·)))(x − y (1) ).
Здесь и далее используем запись со сверткой ∗, если с ней запись выражений
становится проще.
[n+1]
Для I2k , используя соотношение
Z
[n] [n]
Θn (z)U [n] (tk , ξk+1 (x, z))dz =
R2 Z Z
[n] [n]
= Θn+1 (y (1) )Θn+1 (y (2) )U [n] (tk , ξk+1 (x, y (1) + y (2) ))dy (1) dy (2) (75)
R2 R2

и неравенство

21
 А о у а о у д а М., А я д и А., Ф у д ж и т а Я ш и м а Х.

 [n+1] (1) [n+1] [n+1] (1) (2) [n]

− ξk+1 (x, y (1) + y (2) ) 6

2k+2 (x, y ) − δn+1 V (t2k+1 , ξ2k+2 (x, y )) − y
ξ
2
6 δn+1 sup |∂t V | + δn+1 sup |∇V |(δn+1 sup |V | + |y (1) |)

(здесь и далее для простоты записи пишем sup |∂t V | и т. д., если из контекста
ясно, на каком множестве берется sup), получим
 Z 
 [n+1] [n] [n] [n] 
I
 2k − Θn (y)U (tk , x − δn V (tk+1 , x)~e1 − y)dy  6
R2
[n+1] [n+1] [n] [n+1]
6 sup |U (t2k , y) − U [n] (tk , y)| + K1 δn3/2 sup |∇U [n+1] (t2k , y)|, (76)
y∈R2 y∈R2

где K1 — независимая от n постоянная (подробнее см. [22, лемма 5.1]).

С другой стороны, для
[n+1] [n+1] [n] [n]
Ja,2k + Jb,2k − δn (Θn ∗ F (tk , · , U [n] (tk , · )))(x),

используя предположения о гладкости V (t, x) и F (t, x, U ), получим

 [n+1] [n] [n] [n]

a,2k − δn+1 (Θn ∗ F (tk , · , U (tk , · )))(x) 6
J 
2 [n+1]
6 K2 δn+1 (1 + sup |∇U [n+1] (t2k , y)|) +
y∈R2
[n+1] [n]
+ K2 δn+1 |U [n+1] (t2k , x) − U [n] (tk , x)|, (77)

 [n+1] [n] [n] [n]


b,2k − δn+1 (Θn ∗ F (tk , · , U (tk , · )))(x) 6
J 
2 [n+1] 3/2

6 K3 δn+1 (1 + sup |∇U [n+1] (t2k , y)|) + δn+1 +
y∈R2
[n+1] [n]
+ K3 δn+1 |U [n+1] (t2k , x) − U [n] (tk , x)|, (78)

где K2 и K3 — независимые от n постоянные (подробнее см. [22, леммы 5.2

и 5.3]).
[n+1]
Оценивая supy∈R2 |∇U [n+1] (t2k , y)| в (76)–(78) с помощью леммы 2, из
соотношений (71), (76)–(78) выводим, что существует независимая от n по-
стоянная K4 такая, что

[n+1] [n]
|U [n+1] (t2k+2 , x) − U [n] (tk+1 , x)| 6
[n+1] [n] 3/2
6 (1 + K4 δn+1 ) sup U [n+1] (t2k , y) − U [n] (tk , y) + K4 δn+1 .
 
y∈R2

В частности при k = 0 на основании равенства

[n+1] [n]
U [n+1] (t0 , y) = U0 (y) = U [n] (t0 , y)

имеем
[n+1] [n] 3/2
|U [n+1] (t2 , x) − U [n] (t1 , x)| 6 K4 δn+1 .

22
 Сходимость приближенных решений ядром теплопроводности для уравнения . . .

Отсюда следует, что при t = 2kδn+1 имеет место неравенство

 p
sup U [n+1] (t, x) − U [n] (t, x) 6 δn+1 etK4 .

(79)
x∈R2

Так как
∞ p ∞
X X 1
δn+1 = n/2
< ∞,
n=1 n=1
2
из неравенства (79)
 и определения
∞ (24) следует, что при любом τ > 0 по-
следовательность U [n] (t, x) n=1 сходится равномерно на [0, τ ] × R2 к одной
функции, которую обозначим через U (t, x). 
Лемма 7. Пусть выполнены условия теоремы A. Пусть U [n] (t, x) — функ-
ции, определенные в (22)–(24), n = 1, 2, . . . . Тогда, каково бы ни было τ > 0,
их производные первого порядка ∂x∂ j U [n] (t, x) (j = 1, 2) сходятся равномер-
∂
но на [0, τ ] × R2 к
∂xj U (t, x) при n → ∞, где U (t, x) — предельная функция
∞
последовательности U [n] (t, x) n=1 .


Д о к а з а т е л ь с т в о. Воспользуемся идеей доказательства предложения

6.1 из статьи [22]. Пусть τ > 0. Дифференцируя по xi обе части (71) (см. также
[1,n] [n0 ]
(72)–(74)) и пользуяся обозначениями wi,k (x) и ξk0 (x, y), введенными в (36)
и (70), имеем
[1,n+1] [1,n+1] [1,n+1] [1,n+1] [1,n+1]
wi,2k+2 (x) = Ia,2k + Ib,2k + Ja,2k + Jb,2k , (80)
Z Z
[1,n+1] [1,n+1]
Ia,2k = Θn+1 (y (1) )Θn+1 (y (2) )wi,2k (ξ ∗ )dy (1) dy (2) ,
R2 R2

Z Z
[1,n+1] [1,n+1]
Ib,2k = −δn+1 Θn+1 (y (1) )Θn+1 (y (2) )w1,2k (ξ ∗ ) ×
R2 R2
 2 
[n+1] [n+1]
X
0 0
× Vi,2k+2 (x) + Vj,2k+1 (ξ2k+2 (x, y (1) ))∂xi ξ2k+2,j (x, y (1) ) dy (1) dy (2) ,
j=1

Z  2 
[1,n+1] [n+1]
X
(1) 0
Ja,2k = δn+1 Θn+1 (y ) Θn+1 ∗ Fj,2k ( · , U2k ( · )) +
R2 j=1
 
0 [n+1] [1,n+1] [n+1] [n+1]
+ Fu,2k ( · , U2k ( · ))wj,2k ( · ) ∂xi ξ2k+2,j (x, y ) ξ2k+2 (x, y (1) ) dy (1) ,
(1)

Z
[1,n+1] 0
Jb,2k = δn+1 Θn+1 (y (1) )Fi,2k+1 (x − y (1) , U 1 + U 2 )dy (1) +
R2 Z
0
+ δn+1 Θn+1 (y (1) )Fu,2k+1 (x − y (1) , U 1 + U 2 ) ×
R2

23
 А о у а о у д а М., А я д и А., Ф у д ж и т а Я ш и м а Х.

Z 2
[n+1] [n+1] [n+1]
X
× Θn+1 (y (2) ) wj,2k (ξ2k+1 (x − y (1) , y (2) ))∂xi ξ2k+1,j (x − y (1) , y (2) )dy (2) +
R2 j=1
   
0 [n+1] 0 [n+1] [n+1] (1)
+δn+1 Θn+1 ∗ Fi,2k ( · , U2k ( · ))+Fu,2k ( · , U2k ( · ))wi,2k (x−y ) dy (1) ,

где
[n+1] [n+1] [n+1] [n] [n]
ξ ∗ = ξ2k+2 (x, y (1) )−δn+1 V (t2k+1 , ξ2k+2 (x, y (1) ))~e1 −y (2) , Uk (x) = U [n] (tk , x),

0 [n+1] 0 [n] 0 [n]

Vj,2k+1 = ∂xj V (t2k+1 , x), Fi,k = ∂xi F (tk , x, U ), Fu,k = ∂U F (tk , x, U ).
С другой стороны, дифференцируя по xi обе части (23) (см. также (25),
(75)), получим
[1,n] [1,n] [1,n] [1,n]
wi,k+1 (x) = Ia,k + Ib,k + 2Jk , (81)
[1,n] [1,n]
[n]
Ia,k = Θn+1 ∗ Θn+1 ∗ wi,k (x − δn V (tk+1 , x)~e1 ),
[1,n] 0 [1,n]
[n]
Ib,k = −2δn+1 Vi,2k+2 (x) Θn+1 ∗ Θn+1 ∗ w1,k (x − δn V (tk+1 , x)~e1 ),
[1,n] [n] [n]

Jk = δn+1 Θn+1 ∗ Θn+1 ∗ ∂xi F (tk , · , Uk ( · )) (x).
Из (80) и (81) следует, что

[1,n+1] [1,n]
wi,2k+2 (x) − wi,k+1 (x) =
[1,n+1] [1,n] [1,n+1] [1,n] [1,n+1] [1,n] [1,n+1] [1,n]
= Ia,2k − Ia,k + Ib,2k − Ib,k + Ja,2k − Jk + Jb,2k − Jk . (82)

[1,n+1] [1,n]
Чтобы оценить Ia,2k − Ia,k , отметим, что

[n]
ξ ∗ − (x − δn V (tk+1 , x)~e1 − y (1) − y (2) ) =
[n+1] [n+1] [n+1]
= δn+1 (V (t2k+2 , x) − V (t2k+1 , ξ2k+2 (x, y (1) )))~e1 ,

откуда
 [1,n+1] ∗ [1,n] [n]
(ξ ) − wi,k (x − δn V (tk+1 , x)~e1 − y (1) − y (2) ) 6

w
i,2k
 [1,n+1] [1,n] 
6 sup wi,2k (y) − wi,k (y) +
y∈R2
[1,n+1] 
+ δn+1 sup∇wi,2k  δn+1 sup |∂t V | + sup |∇V |(δn+1 sup |V | + |y (1) |) .


Следовательно, с учетом леммы 3 имеем

 [1,n+1] [1,n]   [1,n+1] [1,n]  2 3/2
I
a,2k − Ia,k  6 sup wi,2k (y) − wi,k (y) + C(δn+1 + δn+1 ), (83)
y∈R2

где C — независимая от n постоянная.

24
 Сходимость приближенных решений ядром теплопроводности для уравнения . . .

 [1,n+1] [1,n]   [1,n+1] [1,n]   [1,n+1] [1,n] 

Чтобы оценить Ib,2k − Ib,k , Ja,2k − Jk , Jb,2k − Jk , напом-
ним, что, согласно условиям (7), (8) и (11), производные V и F , находящиеся
в их оценке, равномерно ограничены, и, согласно лемме 3, производные второ-
го порядка U [n+1] (t, x) по x также равномерно ограничены. Итак, делая явные
вычисления, которые немного длинны, но довольно элементарны, мы можем
 [1,n+1] [1,n]   [1,n+1] [1,n]   [1,n+1] [1,n] 
оценить Ib,2k − Ib,k , Ja,2k − Jk , Jb,2k − Jk . Так как вычис-
ления аналогичны вычислениям, сделанным в доказательстве предложения
6.1 статьи [22] (даже если определение приближенных решений формально
отличается, аргументы довольно аналогичны), отсылаем детали вычисления
[1,n+1] [1,n]
к [22]. Уделяя внимание наличию фактора δn в слагаемых Ib,2k − Ib,k ,
[1,n+1] [1,n] [1,n+1] [1,n]
Ja,2k − Jk , Jb,2k − Jk , и напоминая оценку (83), из (82) получим

 [1,n+1] [1,n] 
i,2k+2 (x) − wi,k+1 (x) 6
w 
[1,n+1] [1,n] 2 3/2 [1]
6 sup |wi,2k (y) − wi,k (y)| + C0 (δn+1 + δn+1 ) + δn+1 C0 (Yk + Yk ), (84)
y∈R2

где C0 — независимая от n постоянная в отрезке [0, τ ], а

2
[n+1] [n] [1]  [1,n+1] [1,n]
X
Yk = sup U [n+1] (t2k , x)−U [n] (tk , x),
  
Yk = sup wi,2k (x)−wi,k (x).
x∈R2 i=1 x∈R
2

Из неравенства (84)
 выведем обычным ∞ образом равномерную сходимость
последовательности ∂x∂ j U [n] (t, x) n=1 (j = 1, 2) на [0, τ ] × R2 (подробнее
∂ [n]
см. [22, предложение 6.1]). Так как ∂xj U (t, x) сходятся равномерно, пре-
дельная функция совпадает с ∂x∂ j U (t, x), где U (t, x) — предельная функция
∞
последовательности U [n] (t, x) n=1 .


Лемма 8. Пусть выполнены условия теоремы A. Пусть U [n] (t, x) — функ-
ции, определенные в (22)–(24), n = 1, 2, . . . . Тогда их производные второ-
2
го порядка ∂x∂j ∂xi U [n] (t, x) (i, j = 1, 2) поточечно сходятся на (0, ∞) × R2
∂2
к ∂xj ∂xi U (t, x) при n → ∞, где U (t, x) — предельная функция последователь-
∞
ности U [n] (t, x) n=1 .


Д о к а з а т е л ь с т в о. Пусть t > 0. Рассмотрим число M > 0 и замкнутое

множество
QM = {(x1 , x2 ) ∈ R2 : |x1 | 6 M, |x2 | 6 M }.
2
В силу лемм 3 и 4 функции ∂x∂j ∂xi U [n] (t, x) равномерно ограничены и равно-
мерно липшицевы в R2 (при фиксированном t > 0). Следовательно, согласно
теореме Асколи—Арцела, существует подпоследовательность
 ∂2 [nm ]
∞
∂xj ∂xi U (t, · ) m=1 ,

сходящая равномерно на QM .

25
 А о у а о у д а М., А я д и А., Ф у д ж и т а Я ш и м а Х.

 ∂ [n] ∞
Так как согласно лемме 7 последовательность ∂x i
U (t, · ) n=1 сходится
∂
к ∂x i
U (t, · ), предельная функция сходящейся равномерно на QM подпо-
 2 ∞ 2
следовательности ∂x∂j ∂xi U [nm ] (t, · ) m=1 равна ∂x∂j ∂xi U (t, x). Итак, нетрудно
убедиться, что не существует подпоследовательности,  2 которая не сходится
2 ∞
к функции ∂x∂j ∂xi U (t, x). Т. е. последовательность ∂x∂j ∂xi U [n] (t, · ) n=1 схо-
2
дится к ∂x∂j ∂xi U (t, x) на QM . Следовательно, если построить последователь-
 ∞
ность QMq q=1 такую, что
∞
[
QMq ⊂ QMq+1 , QMq = R2 ,
q=1

∂2
то можно расширить предельную функцию ∂xj ∂xi U (t, x) на R2 , т.е.

∂2 ∂2
lim U [n] (t, x) = U (t, x)
n→∞ ∂xj ∂xi ∂xj ∂xi
поточечно на R2 . Лемма доказана. 
5. Предельный переход. Чтобы доказать, что предельная функция
U (t, x) последовательности приближенных решений U [n] (t, x) удовлетворяет
уравнению переноса-диффузии, сначала напомним следующие свойства при-
ближенных решений U [n] (t, x).
Лемма 9. Пусть выполнены условия теоремы A. Пусть ε1 и τ — действи-
[n]
тельные числа такие, что 0 < ε1 < τ < ∞. Пусть U [n] (tk , x) — определен-
[n] [n]
ная в (22), (23) функция. Тогда при ε1 6 tk−1 6 tk 6 τ имеем

[n] [n]
U [n] (tk , x) − U [n] (tk−1 , x) [n] [n]
= −V (tk , x)∂x1 U [n] (tk−1 , x) +
δn
[n] [n] [n]
+ κ∆U [n] (tk−1 , x) + F (tk−1 , x, U [n] (tk−1 , x)) + R, (85)
где
|R| 6 δn1/2 C0 , (86)
а C0 — независимая от n постоянная.
Д о к а з а т е л ь с т в о. Согласно формуле Тейлора имеем
[n] [n]
U [n] (tk−1 , x − δn V (tk , x)~e1 − y) =
[n] [n] [n] [n]
= U [n] (tk−1 , x) − δn V (tk , x)∂x1 U [n] (tk−1 , x) − y · ∇U [n] (tk−1 , x) +
[n]
2 [n]
1 [n] ∂ 2 U [n] (tk−1 , x) X [n] ∂ 2 U [n] (tk−1 , x)
+ δn2 (V (tk , x))2 + δn V (tk , x)y j +
2 ∂x21 j=1
∂x1 ∂xj
2 [n] 2 [n]
1 X ∂ 2 U [n] (tk−1 , x) 1 X ∂ 3 U [n] (tk−1 , x
e)
+ yi yj + µi µj µh , (87)
2 ∂xi ∂xj 6 ∂xi ∂xj ∂xh
i,j=1 i,j,h=1

26
 Сходимость приближенных решений ядром теплопроводности для уравнения . . .

[n]
где µ1 = −δn V − y1 , µ2 = −y2 , а x
e ∈ (x, x − δn V (tk , x)~e1 − y).
Так как
Z Z Z
Θn (y)yj dy = 0; Θn (y)yi yj dy = 0, i 6= j; Θn (y)yi2 dy = 2δn κ,
R2 R2 R2

имеем Z
[n]
Θn (y)y · ∇U [n] (tk−1 , x)dy = 0, (88)
R2

[n]
∂ 2 U [n] (tk−1 , x)
Z 
1 [n]
Θn (y) δn2 (V (tk , x))2 +
R2 2 ∂x21
2
∂ 2 U [n] (t[n] , x) 2 [n]
∂ 2 U [n] (tk−1 , x)

X [n] k−1 1 X
+ δn V (tk , x)yj + yi yj dy =
∂x1 ∂xj 2 ∂xi ∂xj
j=1 i,j=1

∂ 2 U [n] (t[n] , x)
[n] [n] 1 [n] k−1
= δn κ∆U (tk−1 , x) + δn2 (V (tk , x))2 . (89)
2 ∂x21

С другой стороны, поскольку |µ1 | 6 δn |V | + |y1 | и |µ2 | = |y2 |, существует

постоянная C такая, что
2 [n]  ∂ 3 U [n] (t[n] , x
1 X ∂ 3 U [n] (tk−1 , x
e)  3 k−1 e) 

µ µ µ 6 C(δ |V | + |y|) .

i j h n
6 ∂xi ∂xj ∂xh ∂xi ∂xj ∂xh
  
i,j,h=1

[n]
Так как согласно лемме 4 производные третьего порядка функции U [n] (tk−1 , · )
[n]
при 0 < ε1 6 tk−1 < τ равномерно ограничены, существует постоянная C 0 та-
кая, что
2 [n]
∂ 3 U [n] (tk−1 , x
Z 
1 X e) 
dy  6 (δn3 + δn3/2 )C 0 .

 Θn (y) µi µj µh (90)

R2 6 ∂x i ∂x j ∂xh
i,j,h=1

Что касается слагаемого, относящегося к F , имеем

[n] [n]
F (tk−1 , x − y, U [n] (tk−1 , x − y)) =
2
[n] [n] [1,n]
X
0 0
= F (tk−1 , x, U [n] (tk−1 , x)) − yi (Fi,k−1 (e
x) + Fu,k−1 (e
x)wi,k−1 (e
x)),
i=1

0
где Fi,k−1 (e 0
x) и Fu,k−1 (e
x) — введенные в (80) обозначения (вычисленные в x
e
[1,n]
e ∈ (x, x−y). Поскольку
вместо x) и wi,k−1 — введенные в (36) обозначения, а x
0 0 [1,n]
согласно условию (11) и лемме 2 функции Fi,k−1 , Fu,k−1 и wi,k−1 равномерно
ограничены, получим оценку

27
 А о у а о у д а М., А я д и А., Ф у д ж и т а Я ш и м а Х.

Z
[n] [n]
Θn (y)F (tk−1 , x − y, U [n] (tk−1 , x − y))dy −



R2

[n] [n]
p
F (tk−1 , x, U [n] (tk−1 , x)) 6 C 00

− δn , (91)

где C 00 — независимая от n постоянная.

Из (87)–(91) следует, что

[n] [n] [n] [n]

U [n] (tk , x) − U [n] (tk−1 , x) = −δn V (tk , x)∂x1 U [n] (tk−1 , x) +
[n] [n] [n]
+ δn κ∆U [n] (tk−1 , x) + δn F (tk−1 , x, U [n] (tk−1 , x)) + R0 ,

|R0 | 6 (δn3 + δn3/2 )C0 ,

где C0 — независимая от n постоянная. Отсюда, разделив обе части этого
равенства на δn , получим (85). 
Следствие. Пусть ε1 и τ — действительные числа такие, что 0 < ε1 <
< τ < ∞. Тогда существует постоянная K, которая зависит от ε1 и τ, но
не зависит от n и удовлетворяет соотношениям

|U [n] (t1 , x) − U [n] (t2 , x)| 6 K|t1 − t2 | ∀t1 , t2 ∈ [ε1 , τ ], ∀x ∈ Rd , (92)

∀t1 , t2 ∈ [ε1 , τ ], ∀x ∈ Rd ,
|U (t1 , x) − U (t2 , x)| 6 K|t1 − t2 | (93)
∞
где U (t, x) — предельная функция последовательности U [n] (t, x) n=1 .


Д о к а з а т е л ь с т в о. Так как правая часть (85) ограничена постоян-

ной K, неравенство (92) следует из (85) и (24).
Неравенство (93) следует из (92) и предельного перехода. 
Теперь положим

U [n] (t, x) − U [n] (t − δn , x)

ζ [n] (t, x) = .
δn

Лемма 10. Пусть выполнены условия теоремы A. Пусть ε1 и τ — дей-

[n]
ствительные числа такие, что 0 < ε1 < τ < ∞. Пусть U [n] (tk , x) — опре-
деленная в (22), (23) функция. Тогда при ε1 + 2δn 6 t 6 τ − δn и x ∈ R2
имеем

ζ [n] (t, x) = −V (t, x)∂x1 U [n] (t − δn , x) + κ∆U [n] (t − δn , x) +

+ F (t − δn , x, U [n] (t − δn , x)) + R1 , (94)

где
|R1 | 6 δn1/2 C0 , (95)
а C0 — постоянная, которая зависит от ε1 и τ, но не зависит от n.

28
 Сходимость приближенных решений ядром теплопроводности для уравнения . . .

Д о к а з а т е л ь с т в о. Если t = kδn (k ∈ N), то соотношения (94), (95)

[n] [n]
совпадают с (85), (86). Если tk < t < tk+1 , то согласно (24) имеем
[n] [n]
[n]
tk+1 − t [n] [n] t − tk [n] [n]
ζ (t, x) = ζ (tk , x) + ζ (tk+1 , x). (96)
δn δn
Следовательно, если положим

h t[n] − t
[n] [n]
DV = − k+1 (V (tk , x) − V (t, x))∂x1 U [n] (tk−1 , x) +
δn
[n]
t − tk [n] [n]
i
+ (V (tk+1 , x) − V (t, x))∂x1 U [n] (tk , x) ,
δn

[n]
t − t [n] [n]
DF = k+1 F (tk−1 , x, U [n] (tk−1 , x)) − F (t − δn , x, U [n] (t − δn , x)) +

δn
[n]
t − tk  [n] [n]
F (tk , x, U [n] (tk , x)) − F (t − δn , x, U [n] (t − δn , x)) ,

+
δn
то из (85) и (24) следует, что

ζ [n] (t, x) = −V (t, x)∂x1 U [n] (t − δn , x) + κ∆U [n] (t − δn , x) +

+ F (t − δn , x, U [n] (t − δn , x)) + DV + DF + R, |R| 6 δn1/2 C0 .
Кроме того, из условий о гладкости функций v и f , леммы 2 и следствия
леммы 9 вытекает неравенство
|DV + DF | 6 δn C0 ,
где C0 — постоянная, которая зависит от ε1 и τ , но не зависит от n. Суммируя
эти соотношения, получим (94). 
Теперь перейдем к доказательству теоремы A.
Д о к а з а т е л ь с т в о т е о р е м ы A. Леммы 6, 7, 8 позволяют перейти
к пределу в (94), так что мы имеем

lim ζ [n] (t, x) ≡ ζ [∗] (t, x) =

n→∞
= −V (t, x)∂x1 U (t, x) + κ∆U (t, x) + F (t, x, U (t, x)). (97)
С другой стороны, из соотношений (96) и (24) вытекает, что
Z t2 Z t2 Z 1 Z t2 −δn h
[∗] [n]
ζ (t, x)dt = lim ζ (t, x)dt = lim dh ∂t U [n] (t, x)dt =
t1 n→∞ t n→∞ 0 t1 −δn h
1
Z 1
dh U [n] (t2 − δn h, x) − U [n] (t1 − δn h, x) = U (t2 , x) − U (t1 , x),
 
= lim
n→∞ 0

29
 А о у а о у д а М., А я д и А., Ф у д ж и т а Я ш и м а Х.

откуда следует
ζ [∗] (t, x) = ∂t U (t, x). (98)
Так как u[n] (t, x) = U [n] (t, x) при t > 0, x2 > 0 (см. (31)), имеем

U (t, x){x2 >0} = lim U [n] (t, x){x2 >0} = lim u[n] (t, x) ≡ u(t, x).
 
(99)
n→∞ n→∞

Следовательно, принимая во внимание равномерную сходимость U [n] (t, x)

и их производных первого порядка по x на [0, τ ] × R2 при любом τ > 0 (см.
леммы 6 и 7) и поточечную сходимость их производных второго порядка по x
при t > 0, x ∈ R2 (см. лемму 8), из (97) и (98) выводим, что предельная функ-
ция u(t, x) удовлетворяет уравнению (3) (t > 0). Кроме того, из начального
условия (22) для U [n] (t, x) и соотношения (99) непосредственно следует, что
u(t, x) удовлетворяет начальному условию (4). Аналогично, из соотношений
(29) и (99), с учетом непрерывности U [n] (t, x) и U (t, x), следует, что u(t, x)
удовлетворяет граничному условию (5). Теорема доказана. 
6. Численный эксперимент для задач испарения и диффузии во-
дяного пара над морем. Чтобы показать возможность использования по-
лученных результатов к решению конкретных задач математической физики,
приведем простой численный эксперимент для задач испарения и диффузии
водяного пара над морем. Данные процессы могут быть описаны поставлен-
ной в п. 1 задачей.
6.1. Физические предпосылки. Испарение воды с поверхности теплого
моря и диффузия водяного пара в воздух играют важную роль в формиро-
вании штормовых явлений типа тропического циклона или Эль-Ниньо (см.,
например, [26–30]). Поэтому поиск действенного математического описания
этого процесса является актуальным.
Напомним, что когда действительная плотность пара превышает плот-
ность насыщенного пара, начинается процесс конденсации, который может
вызвать грозовое явление, а плотность насыщенного пара определяется тем-
пературой (см., например, [31]). Поэтому нас интересует эволюция плотности
пара в ситуации, когда влажность воздуха над морем близка к насыщению
при возможном горизонтальном ветре.
6.2. Численная схема. Будем использовать сетку

0 = t0 < t1 < · · · < tk < tk+1 < · · · , tk − tk−1 = δt , (100)

0 = x0 < x1 < · · · < xi < xi+1 < · · · < xNx = X 1 , xi − xi−1 = δx , (101)

0 = y0 < y1 < · · · < yj < yj+1 < · · · < yNy = Y 1 , yj − yj−1 = δy , (102)
где tk , xi , yj — текущий момент времени, текущее горизонтальное положе-
ние и текущая высота, соответственно. Пусть v(tk , xi , yj ) — скорость переноса
(только в горизонтальном направлении). Для простоты предположим, что
v(tk , xi , yj ) > 0. На этой сетке с переносом v(tk , xi , yj ) и дискретизируемой
диффузией построим функцию u(tk , xi , yj ), представляющую плотность во-
дяного пара.

30
 Сходимость приближенных решений ядром теплопроводности для уравнения . . .

Для k = 0 это просто начальное условие u(t0 , xi , yj ) = u0 (xi , yj ). Ес-

ли известны u(tk−1 , xi0 , yj 0 ), i0 = 0, 1, . . . , Nx , j 0 = 0, 1, . . . , Ny , то определим
u(tk , xi , yj ) соотношением

u(tk , xi , yj ) =
x̃ − xi∗ −1 h
= (1 − ε)u(tk−1 , xi∗ , yj ) +
δx
ε ε i
+ u(tk−1 , xi∗ , yj+1 ) + u(tk−1 , xi∗ , yj−1 ) +
2 2
xi∗ − x̃ h
+ (1 − ε)u(tk−1 , xi∗ −1 , yj ) +
δx
ε ε i
+ u(tk−1 , xi∗ −1 , yj+1 ) + u(tk−1 , xi∗ −1 , yj−1 ) , (103)
2 2
где ε — такой параметр, что 0 < ε < 1, а xi∗ −1 и xi∗ — два положения, такие
что
xi∗ −1 < xi − δt v(tk , xi , yj ) 6 xi∗ .
В случае, когда xi − δt v(tk , xi , yj ) 6 0, то u(tk−1 , xi∗ , yj 0 ) и u(tk−1 , xi∗ −1 , yj 0 )
заменяются данными условия входа. Определение (103) является простейшим
дискретным вариантом определения (17).
Поскольку при схеме (103) в определении u(tk , xi , yj ) участвуют только
значения уровней yj−1 , yj и yj+1 , то можно построить u( · , · , · ) непосред-
ственно с ненулевым граничным условием.
6.3 Результаты численного эксперемента. В (101), (102) и (103) вы-
берем δx = 50 м, Nx = 400, δy = 40 м, Ny = 25, ε = 0.4 и
y + η  5
j
v(tk , xi , yj ) = 2 ln , η= .
η e−1
Для температуры T (yj ) и плотности насыщенного пара uvs (T (yj )) на каждой
высоте yj примем использованные в [30] значения, которые соответствуют
распределению температуры в гидростатическом состоянии влажного возду-
ха. Выберем граничные условия

u(tk , xi , y0 ) = uvs (T (y0 )), i = 0, 1, . . . , Nx , k = 0, 1, 2, . . . ,

u(tk , xi , yNy ) = 0.95 · uvs (T (yNy )), i = 0, 1, . . . , Nx , k = 0, 1, 2, . . . ;

условия входа

u(tk , · , yj ) = 0.95 · uvs (T (yj )), j = 1, 2, . . . , Ny ; u(tk , · , y0 ) = uvs (T (y0 ))

и начальное условие

u(t0 , xi , yj ) = 0.95 · uvs (T ), i = 0, 1, . . . , Nx , j = 0, 1, . . . , Ny .

Результаты расчетов приводятся в таблице.В первом столбце указана вы-

сота y (м) каждого уровня. Во втором и третьем столбцах — температура
T (K) и плотность насыщенного пара uvs (г/м3 ), соответственно. В следую-
щих столбцах приведены значения плотности пара в моменты времени k = 0,

31
 А о у а о у д а М., А я д и А., Ф у д ж и т а Я ш и м а Х.

Эволюция плотности пара при x = 18 км на шкале времени 0 6 k 6 500 (t = kδt )

[Vapor density evolution at x = 18 km on the time scale 0 6 k 6 500 (t = kδt )]
y, m T, K uvs , (g/m3 ) k=0 k = 100 k = 200 k = 300 k = 400 k = 500
600 294.1 183.3 174.2 175.9 178.1 179.9 180.7 180.7
480 295.3 196.2 186.4 188.8 191.6 193.7 194.7 194.7
360 296.5 209.9 199.4 203.0 206.3 208.4 209.3 209.3
240 297.7 224.4 213.2 219.1 222.0 223.7 224.5 224.5
120 298.8 239.7 227.8 236.9 238.7 239.7 240.2 240.2
0 300.0 255.9 255.9 255.9 255.9 255.9 255.9 255.9

100, 200, 300, 400 и 500. Отметим, что согласно расчетам при k = 400 (t = kδt )
на уровнях y = 120 м и y = 240 м плотность пара u достигает плотности
насыщенного пара uvs (T (y)), что приводит к конденсации водяного пара и,
следовательно, может начаться процесс «конденсация – нагревание воздуха –
восходящее движение воздуха», характеризующийся своим бурным развити-
ем.
Выводы. В данной работе доказана сходимость приближенных решений
для уравнения переноса-диффузии с горизонтальным переносом в полуплос-
кости R2+ , построенных ядром теплопроводности и переносом на каждом ша-
ге дискретизации времени, к функции, удовлетворяющей уравнению в по-
луплоскости, начальному условию и однородному граничному условию Ди-
рихле на {x2 = 0}. Равномерна сходимость приближенных решений и их
производных по x1 и x2 первого порядка, а сходимость их производных по x1
и x2 второго порядка поточечна. Тем самым мы дали ответ на основной во-
прос об приближении ядром тепдопроводности решения уравнения переноса-
диффузии с граничным условием. На основе этого результата придется про-
водить исследование случаев более общих условий с новыми разработками.
Конкурирующие интересы. Мы заявляем об отсутствии явных и потенциальных
конфликтов интересов, связанных с публикацией настоящей статьи.
Авторский вклад и ответственность. Мы несем полную ответственность за
предоставление окончательной версии рукописи в печать. Окончательной версии
рукописи нами одобрена.
Финансирование. Исследование выполнялось без финансирования.

Библиографический список
1. Ландау Л. Д., Лифшиц Е. М. Гидродинамика / Теоретическая физика. Т. 6. М.: Наука,
1986. 736 с.
2. Алоян А. Е. Моделирование динамики и кинетики газовых примесей и аэрозолей в
атмосфере. М.: Наука, 2008. 415 c. EDN: QKHODT.
3. Носов А. В., Крылов А. Л., Киселев В. П., Казаков С. В. Моделирование миграции
радионуклидов в поверхностных водах. М.: Наука, 2010. 253 c. EDN: YLEGPB.
4. Moreira D. M., Moraes A. C., Goulart A. G., Toledo de Almeida Albuquerque T. A contri-
bution to solve the atmospheric diffusion equation with eddy diffusivity depending on source
distance // Atmospheric Environment, 2014. vol. 83. pp. 254–259. DOI: https://doi.org/
10.1016/j.atmosenv.2013.10.045.
5. Цыденов Б. О. Численное исследование распространения примеси в пресном озере
на основе распределения мутности // Вычислительные технологии, 2017. Т. 22 (спец.
вып. 1). С. 113–124. EDN: YPLUKT.

32
 Сходимость приближенных решений ядром теплопроводности для уравнения . . .

6. Esmail S., Agrawal P., Shaban Aly A novel analytical approach for advection diffusion equa-
tion for radionuclide release from area source // Nuclear Eng. Techn., 2020. vol. 6. pp. 816–
826. DOI: https://doi.org/10.1016/j.net.2019.09.018.
7. Essa Kh. S. M., El-Otaify M. S. Mathematical model for atmospheric dispersion equation
(a review) // J. Rad. Nucl. Appl., 2021. vol. 52, no. 2. pp. 119–128. DOI: https://doi.org/
10.18576/jrna/060203.
8. Давыдова М. А., Еланскй Н. Ф., Захарова С. А., Постыляков О. В. Применение
численно-асимптотического подхода в задаче восстановления параметров локально-
го стационарного источника антропогенного загрязнения // Докл. РАН. Матем., ин-
форм., проц. упр., 2021. Т. 496. С. 34–39. EDN: RBHKAN. DOI: https://doi.org/10.31857/
S2686954321010021.
9. Khoshgou H., Neyshabouri S. A. A. S. Using the backward probability method in con-
taminant source identification with a finite-duration source loading in a river // Envi-
ron. Sci. Pollut. Res., 2021. vol. 29, no. 4. pp. 6306–6316. DOI: https://doi.org/10.1007/
s11356-021-15372-6.
10. Ладыженская О. А., Солонников В. А., Уральцева Н. Н. Линейные и квазилинейные
уравнения параболического типа. М.: Наука, 1967. 736 с. EDN: VLRBIL.
11. Полянин А. Д., Вязьмин А. В., Журов А. И., Казенин Д. А. Справочник по точным
решениям уравнений тепло- и массопереноса. М.: Факториал, 1998. 368 c. EDN: TVLOTF.
12. Evans L. C. Partial Differential Equations / Graduate Studies in Mathematics. vol. 19. Provi-
dence, RI: American Mathematical Society, 2010. xxii+749 pp. DOI: https://doi.org/
10.1090/gsm/019.
13. Гихман И. И., Скороход А. В. Введение в теорию случайных процессов. М.: Наука,
1977. 567 с.
14. Pardoux É., Peng S. Backward doubly stochastic differential equations and systems of quasi-
linear SPDEs // Prob. Theory Rel. Fields, 1994. vol. 98, no. 2. pp. 209–227. DOI: https://
doi.org/10.1007/bf01192514.
15. Pardoux É., Veretennikov A. Yu. Averaging of backward stochastic differential equations,
with application to semi-linear PDE’s // Stochastics Stochastics Rep., 1997. vol. 60, no. 3–4.
pp. 255–270. DOI: https://doi.org/10.1080/17442509708834109.
16. Pardoux É., Răşcanu A. Stochastic Differential Equations, Backward SDEs, Partial Dif-
ferential Equations / Stochastic Modelling and Applied Probability. vol. 69. Heidelberg:
Springer, 2014. xvii+667 pp. DOI: https://doi.org/10.1007/978-3-319-05714-9.
17. Freidlin M. I., Wentzell A. D. Random Perturbations of Dynamical Systems /
Grundlehren der mathematischen Wissenchafften. vol. 260. Berlin, Heidelberg: Springer,
2012. xxviii+458 pp. DOI: https://doi.org/10.1007/978-3-642-25847-3.
18. Milstein G. N., Tretyakov M. V. Stochastic Numerics for Mathematical Physics / Scientific
Computation. Berlin, Heidelberg: Springer, 2004. xix+596 pp. DOI: https://doi.org/10.
1007/978-3-662-10063-9.
19. Desmond J. H., Mao X., Stuart A. M. Strong convergence of Euler-type methods for nonlin-
ear stochastic differential equations // SIAM J. Numer. Anal., 2002. vol. 40, no. 3. pp. 1041–
1063. DOI: https://doi.org/10.1137/s0036142901389530.
20. Higham D. J. Stochastic ordinary differential equations in applied and computational mathe-
matics // IMA J. Appl. Math., 2011. vol. 76, no. 3. pp. 449–474. DOI: https://doi.org/
10.1093/imamat/hxr016.
21. Mao X. The truncated Euler–Maruyama method for stochastic differential equations //
J. Comput. Appl. Math., 2015. vol. 290. pp. 370-384. EDN: USCFLN DOI: https://doi.org/
10.1016/j.cam.2015.06.002.
22. Taleb L., Selvaduray S., Fujita Yashima H. Approximation par une moyenne locale de la
solution de l’équation de transport-diffusion // Afr. Math. Ann., 2020. vol. 8. pp. 71–90 (In
French).
23. Smaali H., Fujita Yashima H. Une généralisation de l’approximation par une moyenne locale
de la solution de l’équation de transport-diffusion // Afr. Math. Ann., 2021. vol. 9. pp. 89–108
(In French).

33
 А о у а о у д а М., А я д и А., Ф у д ж и т а Я ш и м а Х.

24. Тихонов А. Н., Самарский А. А. Уравнения математической физики. М.: Наука, 1977.
735 с.
25. Владимиров В. С. Обобщенные функции в математической физике. М.: Наука, 1979.
280 с.
26. Emanuel K. A similarity hypothesis for air-sea exchange at extreme wind speeds // J. Atmos.
Sci., 2003. vol. 60, no. 11. pp. 1420–1428. DOI: https://doi.org/10.1175/1520-0469(2003)
060<1420:ASHFAE>2.0.CO;2.
27. Du Y., Xie S., Huang G., Hu K. Role of air-sea interaction in the long persistence of El
Niño-induced North Indian Ocean warming // J. Climate, 2009. vol. 22, no. 8. pp. 2023–2038.
DOI: https://doi.org/10.1175/2008JCLI2590.1.
28. Власова Г. А., Нгуен Ба Суан, Деменок М. Н. Циркуляция вод Южно-Китайского
моря в зоне Вьетнамского течения в условиях южного тропического циклона весной
1999 г.: результаты численного моделирования // Фундам. прикл. гидрофиз., 2016. Т. 9,
№ 4. С. 25–34. EDN: XELWBN.
29. Shi Y., Zhang Q., Wang S., Yang K., Yang Y., Ma Y. Impact of typhoon on evapora-
tion dust in the Northwest Pacific Ocean // IEEE Access, 2019. vol. 7. pp. 109111–109119.
DOI: https://doi.org/10.1109/access.2019.2932969.
30. Аоуаоуда М., Аяди А., Фужита-Яшима Х. Математическое моделирование тропиче-
ских циклонов на основе описания траекторий ветра // Ж. вычисл. матем. и ма-
тем. физ., 2019. Т. 59, № 9. С. 1554–1569. EDN: JJUVVC. DOI: https://doi.org/10.1134/
S0044466919090047.
31. Cotton W., Bryan G., van den Heever S. Storm and Cloud Dynamics. The Dyna-
mics of Clouds and Precipitating Mesoscale Systems / International Geophysics Series.
vol. 99. Amsterdam: Academic Press, 2011. xvi+809 pp. DOI: https://doi.org/10.1016/
c2009-0-02127-8.

34
Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki
[J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2022, vol. 26, no. 2, pp. 1–x
ISSN: 2310-7081 (online), 1991-8615 (print) https://doi.org/10.14498/vsgtu1881

MSC: 35K20, 35K58, 35K08

Convergence of approximate solutions by heat kernel for

transport-diffusion equation in a half-plane
M. Aouaouda1 , A. Ayadi1 , H. Fujita Yashima2
1 Université Larbi Ben M’hidi,
Oum El Bouaghi, 04000, Algeria.
2 École Normale Supérieure Assia Djebar,
Ali Mendjeli, Constantine, 25000, Algeria.

Abstract
In this paper, by using the heat kernel and the transport operator on each
step of time discretization, approximate solutions for the transport-diffusion
equation on the half-plane R2+ are constructed, and their convergence to a
function which satisfies the transport-diffusion equation and the initial and
boundary conditions is proved. These approximate solutions can be con-
sidered as a deterministic version of (the approximation of) the stochastic
representation of the solution to parabolic equation, realized by the rela-
tionship between the heat kernel and the Brownian motion. But as they
are defined only by an integral operator and transport, their properties and
their convergence are proved without using probabilistic notions. The re-
sult of this paper generalizes that of recent papers about the convergence of
analogous approximate solutions on the whole space Rn . In case of the half-
plane, it is necessary to elaborate (not trivial) estimates of the smoothness
of the approximate solutions influenced by boundary condition.
Keywords: transport-diffusion equation, approximate solution, heat kernel.
Received: 26th August, 2021 / Revised: 5th May, 2022 /
Accepted: 23rd May, 2022 / First online: 1st June, 2022

Article
© Authors, 2022
© Samara State Technical University, 2022 (Compilation, Design, and Layout)
c b The content is published under the terms of the Creative Commons Attribution 4.0
International License (http://creativecommons.org/licenses/by/4.0/)
Please cite this article in press as:
A o u a o u d a M., A y a d i A., F u j i t a Y a s h i m a H. Convergence of approximate solutions by
heat kernel for transport-diffusion equation in a half-plane, Vestn. Samar. Gos. Tekhn. Univ.,
Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2022, vol. 26, no. 2,
pp. 1–x. EDN: AAAAAAA. DOI: 10.14498/vsgtu1881 (In Russian).
Authors’ Details:
Meryem Aouaouda https://orcid.org/0000-0002-8826-374X
PhD Student; Member of Laboratry; Lab. of Dynamical System and Control;
e-mail: meryem.aouaouda@gmail.com
Abedlhamid Ayadi https://orcid.org/0000-0002-5600-7493
Professor; Chief of Research Team; Lab. of Dynamical System and Control;
e-mail: facmaths@yahoo.fr
Hisao Fujita Yashima https://orcid.org/0000-0001-9937-8406
Professor; Chief of Research Team; Lab. of Applied Mathematics and Didactics;
e-mail: hisafujitayashima@yahoo.com; hisaofujitayashima@qq.com

35
 A o u a o u d a M., A y a d i A., F u j i t a Y a s h i m a H.

Competing interests. We declare that we have no apparent or potential conflicts of

interest related to the publication of this article.
Authors’ contributions and responsibilities. We take full responsability for submit
the final manuscript to print. We approved the final version of the manuscript.
Funding. This research received no specific grant from any funding agency in the public,
commercial, or not-for-profit sectors.

References
1. Landau L. D., Lifchitz E. M. Gidrodinamika / Teoreticheskaia fizika [Hydrodynamics /
Theoretical Physics] Vol. 6. Moscow, Nauka, 1986, 736 pp. (In Russian)
2. Aloyan A. E. Modelirovanie dinamiki i kinetiki gazovykh primesei i aerozolei v atmosfere
[Modeling, Dynamics and Kinetics of Gas Admixtures in the Atmosphere]. Moscow, Nauka,
2008, 415 pp. (In Russian)
3. Nosov A. V., Krylov A. L., Kiselev V. P., Kazakov S. V. Modelirovanie migratsii radionukli-
dov v poverkhnostnykh vodakh [Modeling of Migration of Radioactive Substances in Surface
Water]. Moscow, Nauka, 2010, 253 pp. (In Russian)
4. Moreira D. M., Moraes A. C., Goulart A. G., Toledo de Almeida Albuquerque T. A con-
tribution to solve the atmospheric diffusion equation with eddy diffusivity depending on
source distance, Atmospheric Environment, 2014, vol. 83, pp. 254–259. DOI: https://doi.
org/10.1016/j.atmosenv.2013.10.045.
5. Tsydenov B. O. A numerical study of impurity propagation in a freshwater lake on the basis
of water turbidity distribution, Vych. Tekhn., 2017, vol. 22, no. 1 (Special Issue), pp. 113–124
(In Russian).
6. Esmail S., Agrawal P., Shaban Aly A novel analytical approach for advection diffusion
equation for radionuclide release from area source, Nuclear Eng. Techn., 2020, vol. 6, pp. 816–
826. DOI: https://doi.org/10.1016/j.net.2019.09.018.
7. Essa Kh. S. M., El-Otaify M. S. Mathematical model for atmospheric dispersion equation
(a review), J. Rad. Nucl. Appl., 2021, vol. 52, no. 2, pp. 119–128. DOI: https://doi.org/
10.18576/jrna/060203.
8. Davydova M. A., Zakharova S. A., Elansky N. F., Postylyakov O. V. Application of a
numerical-asymptotic approach to the problem of restoring the parameters of a local sta-
tionary source of anthropogenic pollution, Dokl. Math., 2021, vol. 103, no. 1, pp. 26–31.
EDN: RLGVGG. DOI: https://doi.org/10.1134/S1064562421010026.
9. Khoshgou H., Neyshabouri S. A. A. S. Using the backward probability method in con-
taminant source identification with a finite-duration source loading in a river, Environ.
Sci. Pollut. Res., 2021, vol. 29, no. 4, pp. 6306–6316. DOI: https://doi.org/10.1007/
s11356-021-15372-6.
10. Ladyzhenskaya O. A., Solonnikov V. A., Uraltseva N. N. Linear and Quasi-Linear Equa-
tions of Parabolic Type, Translations of Mathematical Monographs, vol. 23. Providence, RI,
American Mathematical Society, 1968, xi+648 pp. EDN: VLRBJF.
11. Polyanin A. D., Vyazmin A. V., Zhurov A. I., Kazenin D. A. Spravochnik po tochnym
resheniiam uravnenii teplo- i massoperenosa [Handbook of Exact Solutions of Heat- and
Mass-Transfer Equations]. Moscow, Faktorial, 1988, 368 pp. (In Russian)
12. Evans L. C. Partial Differential Equations, Graduate Studies in Mathematics, vol. 19. Provi-
dence, RI, American Mathematical Society, 2010, xxii+749 pp. DOI: https://doi.org/
10.1090/gsm/019.
13. Gikhman I., Skorokhod A. Introduction à la théorie des processus aléatoires. Moscow, Mir
Publ., 1980, 557 pp. (In French)
14. Pardoux É., Peng S. Backward doubly stochastic differential equations and systems of quasi-
linear SPDEs, Prob. Theory Rel. Fields, 1994, vol. 98, no. 2, pp. 209–227. DOI: https://doi.
org/10.1007/bf01192514.

36
 Convergence of approximate solutions for transport-diffusion equation

15. Pardoux É., Veretennikov A. Yu. Averaging of backward stochastic differential equations,
with application to semi-linear PDE’s, Stochastics Stochastics Rep., 1997, vol. 60, no. 3–4,
pp. 255–270. DOI: https://doi.org/10.1080/17442509708834109.
16. Pardoux É., Răşcanu A. Stochastic Differential Equations, Backward SDEs, Partial Dif-
ferential Equations, Stochastic Modelling and Applied Probability, vol. 69. Heidelberg,
Springer, 2014, xvii+667 pp. DOI: https://doi.org/10.1007/978-3-319-05714-9.
17. Freidlin M. I., Wentzell A. D. Random Perturbations of Dynamical Systems, Grundlehren der
mathematischen Wissenchafften, vol. 260. Berlin, Heidelberg, Springer, 2012, xxviii+458 pp.
DOI: https://doi.org/10.1007/978-3-642-25847-3.
18. Milstein G. N., Tretyakov M. V. Stochastic Numerics for Mathematical Physics, Scientific
Computation. Berlin, Heidelberg, Springer, 2004, xix+596 pp. DOI: https://doi.org/10.
1007/978-3-662-10063-9.
19. Desmond J. H., Mao X., Stuart A. M. Strong convergence of Euler-type methods for nonlin-
ear stochastic differential equations, SIAM J. Numer. Anal., 2002, vol. 40, no. 3, pp. 1041–
1063. DOI: https://doi.org/10.1137/s0036142901389530.
20. Higham D. J. Stochastic ordinary differential equations in applied and computational mathe-
matics, IMA J. Appl. Math., 2011, vol. 76, no. 3, pp. 449–474. DOI: https://doi.org/10.
1093/imamat/hxr016.
21. Mao X. The truncated Euler–Maruyama method for stochastic differential equations,
J. Comput. Appl. Math., 2015, vol. 290, pp. 370-384. EDN: USCFLN DOI: https://doi.org/
10.1016/j.cam.2015.06.002.
22. Taleb L., Selvaduray S., Fujita Yashima H. Approximation par une moyenne locale de la
solution de l’équation de transport-diffusion, Afr. Math. Ann., 2020, vol. 8, pp. 71–90 (In
French).
23. Smaali H., Fujita Yashima H. Une généralisation de l’approximation par une moyenne locale
de la solution de l’équation de transport-diffusion, Afr. Math. Ann., 2021, vol. 9, pp. 89–108
(In French).
24. Tikhonov A. N., Samarskii A. A. Equations of Mathematical Physics, International Series of
Monographs on Pure and Applied Mathematics, vol. 39. New York, Pergamon Press, 1963,
xvi+765 pp.
25. Vladimirov V. S Generalized Functions in Mathematical Physics. Moscow, Mir Publ., 1979,
280 pp.
26. Emanuel K. A similarity hypothesis for air-sea exchange at extreme wind speeds, J. Atmos.
Sci., 2003, vol. 60, no. 11, pp. 1420–1428. DOI: https://doi.org/10.1175/1520-0469(2003)
060<1420:ASHFAE>2.0.CO;2.
27. Du Y., Xie S., Huang G., Hu K. Role of air-sea interaction in the long persistence of El
Niño-induced North Indian Ocean warming, J. Climate, 2009, vol. 22, no. 8, pp. 2023–2038.
DOI: https://doi.org/10.1175/2008JCLI2590.1.
28. Vlasova G. A., Nguen Ba Suan, Demenok M. N. The water circulation of the South China
Sea in a zone of the Vietnamese Current under the influence of southern tropical cyclone in
spring of 1999: Results of numerical modeling, Fundam. Prikl. Gidrofiz., 2016, vol. 9, no. 4,
pp. 25–34 (In Russian).
29. Shi Y., Zhang Q., Wang S., Yang K., Yang Y., Ma Y. Impact of typhoon on evapora-
tion dust in the Northwest Pacific Ocean, IEEE Access, 2019, vol. 7, pp. 109111–109119.
DOI: https://doi.org/10.1109/access.2019.2932969.
30. Aouaouda M., Ayadi A., Fujita Yashima H. Mathematical modeling of tropical cyclones on
the basis of wind trajectories, Comput. Math. Math. Phys., 2019, vol. 59, no. 9, pp. 1493–
1507. EDN: FMCFRG. DOI: https://doi.org/10.1134/S0965542519090045.
31. Cotton W., Bryan G., van den Heever S. Storm and Cloud Dynamics. The Dyna-
mics of Clouds and Precipitating Mesoscale Systems, International Geophysics Series,
vol. 99. Amsterdam, Academic Press, 2011, xvi+809 pp. DOI: https://doi.org/10.1016/
c2009-0-02127-8.

37