CC BY
32
УДК 519.62
ЧИСЛЕННОЕ РЕШЕНИЕ УРАВНЕНИЯ С ТОЧЕЧНЫМ ИСТОЧНИКОМ НА БЕСКОНЕЧНОМ ИНТЕРВАЛЕ
О.В. Величко, А.И. Задорин
The second order equation of the type reaction-diffusion with a small parameter effecting a higher derivative and a point source on the infinite interval is considered. The question of the transformation of the boundary conditions to the finite interval is investigated. For reduced to finite interval problem difference scheme is constructed. The uniform convergence of the difference scheme is proved.
При математическом моделировании стационарного распространения примеси от точечного источника возникает краевая задача для уравнения с малым параметром при старшей производной и Источниковым членом в виде 8-функции Дирака. Краевые условия для такой задачи могут ставиться на бесконечном удалении от источника. При применении к такой задаче конечноразностной схемы необходимо предварительно решить вопрос редукции краевых условий к ограниченной области.
В данной работе эти вопросы рассматриваются в случае обыкновенного дифференциального уравнения типа реакция-диффузия. В случае уравнения типа диффузия-конвекция данный вопрос был рассмотрен в [1]. Точечному источнику соответствует условие на скачок производной.
Итак, рассмотрим исходную краевую задачу:
Lu = е2и"(х) — с2(х)и(х) = /(ж), ж ф- 0, (1а)
Ь0и = еаД+О) — еи'(—0) = —Q, (16)
и(х) —>■ 0, ж —>■ —оо, и(х) —>■ 0, ж —>■ Too. (1в)
Предполагаем, что
с(ж) > (3 > 0, е > 0, Q > 0.
0 2000 О.В. Величко, А.И. Задорин
E-mail: zadorin@iitam.omsk.net.ru Омский государственный университет Омский филиал Института математики СО РАН
с(ж) -У Ci, /(ж) —> 0, ж —> — оо, с(ж) —> с2, /(ж) —> 0, ж —> +оо, (2) функции а, с, /— достаточно гладкие.
Решение и(ж) является дважды непрерывно дифференцируемой функцией всюду, кроме точки нуль, где сама функция непрерывна, а ее первая производная имеет разрыв первого рода.
При моделировании распространения примеси предполагается, что и(ж) -концентрация примеси, г - коэффициент диффузии, с(ж) - коэффициент поглощения примеси, Q - мощность точечного источника, /(ж) - несосредоточенный источник или сток примеси.
Всюду ниже под С будут подразумеваться положительные постоянные, не зависящие от параметра г и шагов разностной сетки. Под нормой функции непрерывного аргумента р(ж) будем понимать ||р(ж)|| = таж|р(ж)|, где ж пробегает область определения функции.
1. Анализ решения исходной задачи
Нетрудно показать, что для оператора задачи (1) справедлив принцип максимума:
Пусть Ф(ж) - непрерывно дифференцируемая функция всюду, кроме точки ж = 0, где производная может иметь разрыв первого рода. Тогда из условий
LФ(ж) < О, Ф(ж) < 0, lim Ф(ж) > 0 (3)
х—>-=Ьоо
следует Ф(ж) >0, |ж| < оо.
Нетрудно показать, что при /(ж) = 0 и(ж) возрастает при ж < 0 и убывает при ж > 0.
Лемма 1. При всех ж
Кж)1 < ^ехР(~ ^~1\х\) +
Доказательство. Определим функцию
Ф(ж) = ^|ежр(-/3е“1|ж|) + ± и(х).
Можно показать, что тогда выполнены условия (3). В силу принципа максимума Ф(ж) > 0. Это доказывает лемму. ■
Лемма 2.
Для некоторой постоянной С
\и
С?)|
ж)| < С
1 +
—еж р( — Ве 1
£з
(4)
Доказательство. Докажем (4) для j = 1, ж < 0. Перейдем к краевой задаче на полубесконечном интервале:
Lu(ж) = е2и//(ж) — с2(ж)и(ж) = /(ж), и(ж) —> 0, ж —> —оо, и(0) = А, (5)
где в соответствии с леммой 1 \А\ < С. Покажем, что
м'(0)| < С/е.
(О
Определим
u±(x) = u(0) ± С{1 — ехр(е~1х)}, z(ж) = u+(x) — и(х).
Несложно показать, что
Lz(x) < 0, lim z(ж) > 0, о(0) = 0.
х—У — оо
В силу принципа максимума z(ж) > 0. Таким образом, u+(x) > и(х),
u.|_(0) = и(0). Следовательно, г/(0) > —С/е. Аналогично можно показать, что
и_(х) < и(ж), u_(0) = и(0). Это доказывает оценку (6). Определим
С
Ф(ж) = С1 Н----ехр((3е~1х) ± и(х).
£
Дифференцируя уравнение (5) и применяя принцип максимума к полученному уравнению, убедимся, что для некоторых С\ и С2 Ф(ж) > 0. Это доказывает (4) при j = 1,ж < 0. Другие случаи аналогичны. Лемма доказана. ■
2. Перенос краевых условий из бесконечности
Рассмотрим вопрос переноса краевых условий из ±оо. Выделим многообразия решений исходного уравнения (1а), которые удовлетворяют предельным условиям на (+оо) и ( —оо). Для этого используем подход [2]. Начнем с переноса условия из ( —оо). Многообразие решений уравнения (1а) зададим уравнением первого порядка:
£и'( ж) = 71(ж)и(ж) + /Л(ж), (7)
где функции 7i и /Д являются решениями задач:
£7i(ж) + 7i(x) — с2(ж) = 0, lim 7ДЖ) = сь (8)
х —У — ОО
е/Д(ж) + (3i(x)yi(x) = /(ж), lim /Д(ж) = 0. (9)
х —У — ОО
Аналогичным образом предельное краевое условие на +оо выделяет многообразие решений:
еи'(х) = у2(ж)и(ж) + Д2(ж), (10)
где функции 72 и (32 являются решениями задач:
(П)
£Т2(ж) + т!(ж) — С2(ж) = 0, lim 72(ж) = —с2,
х—>- + оо
£/ДЦ) + = /(^'), lim = 0.
(12)
Лемма 3. Справедливы оценки:
ъ{х) > (3, х < 0; 7г(ж) < -/3, х > 0. (13)
Доказательство. Докажем первую оценку в (13). Так как уДж) не зависит от /(ж), положим /(ж) = 0. Тогда из (7) получим:
и(ж) = и(0) ежр
X
О
С другой стороны, согласно лемме 1
и(ж) < и(0) ежр
Из этих двух соотношений следует:
о
(3
— х
£
1
[71
(3]ds > 0
для произвольного ж < 0. Следовательно, 7i(0) > [3. Учитывая, что с\ > (3, а в точках экстремума 7i(s) = c(s), получим первую оценку в (13). Вторая оценка доказывается аналогично. Лемма доказана. ■
Используя соотношения (7), (10), от задачи (1) можно перейти к задаче на конечном интервале:
е2и"(ж) — с2(ж)н(ж) = /(ж), ж ф 0, ег/(+0) — еи(—0) = —Q,
£u(Li) = yi(Li)u(Li) + f3i(Li), £и (L2) = y2(L2)u(L2)-\-(32(Ь2). (14)
Можно показать, что вследствие условий 71 (ж) > 0, 72(ж) < 0, к дифференциальному оператору задачи (14) можно применять принцип максимума. Используя принцип максимума, нетрудно убедиться, что решения задач (1) и (14) совпадают при всех ж £ [L1, Ь2\.
Коэффициенты уг- и /Д из задач (8),(9),(11),(12) могут быть найдены приближенно. Исследуем влияние погрешностей в этих коэффициентах на решение задачи (14).
Теорема 1. Пусть
hi(Li) ~ ii{Li)\ У Ai, \(3i{Li) — (3i{Li)\ < Ai,
(72(^2) — 72(^2)! У а2, \[32(Ь2) — 02{L2)| У а2.
Тогда для некоторой постоянной С
\и(х) — й(х)\ < CAi ехр(— /Зе_1(ж — Ь\)) + СА2 ехр(/3е_1(ж — Ь2)).
Доказательство. Определим z(ж) = и(х) — й(х). Тогда z(x) является решением задачи:
Lz = e2z"(x) — c2(x)z(x) = 0, L0z = ez'(-\- 0) — ez'(—0) = 0,
Dxz = yiz{Li) - £z'{Li) = /Д - /Д + u{Li){yi - 71),
D2Z = £z'(L2) — P2z{L2) = 02 — @2 + u(L2)(y2 — Тг)- (15)
Определим
Ф(ж) = ^-(1 + |u(Ti)|) exp(-/Зе_1(ж - Ti)) +
P
H—~y{l + \u(L2)\) ехр(/3е_1(ж - L2)) ± z(ж).
P
Тогда
ТФ < 0, Т0Ф = 0, 1ДФ > 0, Аф > 0.
В силу принципа максимума Ф(ж) > 0. Это доказывает теорему. ■
Уравнения (8),(9),(11),(12) содержат малый параметр при старшей производной. В связи с этим решения этих уравнений можно найти на основе асимптотических разложений по параметру е. Остановимся на первом приближении для этих разложений:
7i(t) = с(ж), /Д(ж) = /(ж)/с(ж), 72(ж) = —с(ж), (32(х) = -f(x)/c(x). (16)
Докажем, что формулы (16) определяют коэффициенты с точностью О(е). Остановимся на коэффициенте 71 (ж). Докажем, что
\yi{x) - yi{x)\ <С£. (17)
Пусть z(ж) = 71(ж) — уДж). Тогда z(ж) является решением задачи:
Rez = £z'(ж) + (дг(ж) + yi(x))z(x) = — £yi(x), lim z(ж) = 0.
X—У — ОО
Определим
Тогда
ф(ж) = е||71/(ж)||/(2Д) ± z(x). lim Ф(ж) > 0, 7?еФ(ж) > 0.
X —У — ОО
Тогда, как нетрудно убедиться рассуждениями от противного, Ф(ж) > 0. Оценка (17) доказана.
3. Построение разностной схемы
Итак, задачу (1) свели к задаче (14), сформулированной на конечном интервале. Построим разностную схему для задачи (14). Пусть Ь2 = —L\ = L, h - шаг равномерной сетки О = {хп : —N < п < N, ж_дг = —L, х0 = 0, ждг = L}.
Выделим в решении задачи (1) составляющую, задающую экспоненциальный рост решения в окрестности нуля:
и( ж) = р( ж) + У(ж),
V(x) = 0ехр(—с(0)е-1 |ж|), |(ж)| < е1~3 ехр(—/Зе_1|ж|), j < 4. (18)
Строя разностную схему на основе того, чтобы она была точной на погран-слойной функции V(x) [3], получим:
т h h ~
L „ и — с
ojh' _____2nh ?/^
2 п+1 " ДНА _ с2 uh = fni п ф 0, ф| < IV, Сп = с(ж„), fn = /(хп),
h2
Lh0uh = - 2uh0 + u\ = - —
Co
1 / c°h\ 1 — exp (----1
£ = £
c0h/( 2e)
sinh(c0h/(2e)) ’
7-h n.h _ ^ U-N+l U-N „„./г _ p г h „,h _ _ UN
'• \ " — £ , 7iu-jv — Kb '• \ " — £
U ]\t u
N-1
-l2UhN = (^2- (19)
Теорема 2. Пусть u(x) - решение задачи (14), uh - решение схемы (19). Тогда для некоторой постоянной С при всех п = —N, ...,1V выполнится
— и(хп)\ < Ch.
Доказательство. Пусть zh = uh — [и]. Учитывая представление решения (18), можно показать:
\Lhnzh\<Ch, п = -N,-N + 1,...,У].
Используя принцип максимума для оператора схемы (19), получим утверждение теоремы. ■
Литература
1. Задорин А.И. Численное решение уравнения с малым параметром и точечным источником на бесконечном интервале // Сибирский журнал вычислительной математики. 1998. Т.1. N 3. С.249-260.
2. Абрамов А.А., Балла К., Конюхова Н.Б. Перенос граничных условий из особых точек для систем обыкновенных дифференциальных уравнений // Сообщ. по вы-числ. матем. М.: ВЦ АН СССР, 1981.
3. Ильин А.М. Разностная схема для дифференциального уравнения с малым параметром при старшей производной // Матем. заметки. 1969. Т.6. N 7. С.237-248.
