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

Вычислительные технологии

Том 8, № 3, 2003

РЕДУКЦИЯ ВЕКТОРНОЙ ТРЕХТОЧЕЧНОЙ СХЕМЫ НА БЕСКОНЕЧНОМ ИНТЕРВАЛЕ К СХЕМЕ С КОНЕЧНЫМ ЧИСЛОМ УЗЛОВ*

А. И. Задорин, А. В. Чеканов Омский филиал Института математики им. С. Л. Соболева

СО РАН,, Россия e-mail: zadorin@iitam.omsk.net.ru, andy@omskplast.com

Three-point vector difference scheme on the infinite interval is considered. The scheme corresponds to the approximation of elliptic equation in a strip. The reduction method of the scheme to the scheme with a finite number of grid points is investigated on the basis of the extraction of the variety of difference equation solutions, which satisfy the limit conditions at infinity. The results of numerical experiments are provided.

Рассматривается трехточечная векторная разностная схема с бесконечным числом узлов и предельными условиями на бесконечности. Такая схема соответствует сеточной аппроксимации двумерного эллиптического уравнения в бесконечной полосе с условием стремления решения к нулю на бесконечности. Для компьютерной реализации такой схемы необходимо редуцировать схему с бесконечным числом узлов к схеме с конечным числом узлов.

Цель работы состоит в разработке метода редукции разностных схем с бесконечным числом узлов к схемам с конечным числом узлов. Предлагается сделать это выделением многообразия всех решений разностного уравнения, удовлетворяющих предельным условиям на бесконечности. Выделенное многообразие будет задаваться в виде двухточечного разностного уравнения и может рассматриваться в качестве недостающего граничного условия при переходе к схеме с конечным числом узлов. Метод выделения устойчивых многообразий для переноса краевых условий из особых точек в случае обыкновенных дифференциальных уравнений предложен А. А. Абрамовым в 1961 году [1] и развит в ряде работ, например в [2]. Настоящая работа продолжает работы [3, 4]. В [3] рассмотрена векторная разностная схема для полубесконечного интервала, в [4] — скалярная разностная схема для бесконечного интервала. В настоящей работе исследуется векторная разностная схема для бесконечного интервала.

Остановимся на обозначениях. Определим векторную и согласованную с ней матричную нормы:

N

IIZI = max |Zj1 < j < N, ||G|| = maxV |Gj

j * и

Под векторным неравенством будем понимать покомпонентные неравенства.

* Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований, грант № 02-01-01166.

© А. И. Задорин, А. В. Чеканов, 2003.

1. Выделение устойчивых многообразий

Рассмотрим исходную векторную схему

¿¿и = - + = -то < г < то,

и — 0 при г — ±то.

(1) (2)

Предполагаем, что при каждом г и и — N-мерные векторы, Сг и Вг — положительные диагональные матрицы порядка N, Сг — М-матрицы [5, с. 269]:

Сг —► Сг —* С

В

— о, г — +то,

Сг — Сг — Д — Вг — 0, г — -то;

+ а < 1, Qг

Q? > V |Qjk| + А, А > 0, -то < г < то, 1 < э < N.

к=?

(за)

(зб)

(4)

Лемма 1. Справедлива оценка

тах ||иг|| < А-1 тах ||Вг||.

гг

Доказательство. Покажем, что для оператора Ь справедлив принцип максимума, в соответствии с которым из условий

Ит Фг > 0, ЬгФ < 0, -то < г < то,

(5)

следует, что для векторов Фг при любом значении г выполнено Фг > 0.

Пусть для некоторых г, э Ф? < 0. Без ограничения общности можно считать, что в (г,э) достигается локальный минимум функции Ф, который, очевидно, существует. Тогда

N

(ЬгФГ = С? (Ф?_1 - Ф{) + В? ? - Ф'г ) - £ С?" (Ф? - Ф?)"

к= 1

N

N

-Ф? Е (С?к - С? - В?к) > - £ (Фк - Ф?) - Ф? £ Q

к

к=1

к=

к=1

Используя (4), получаем (ЬгФ)? > 0, что противоречит предположению (5). Таким образом, для оператора Ь справедлив принцип максимума. Рассмотрим сеточную функцию

Ф? = А-1 тах ||Вг|| ± и?

Для нее, очевидно, выполнены условия (5), поэтому при всех значениях г Фг > 0. Лемма доказана.

Из леммы 1 следует единственность решения задачи (1), (2).

Выделим многообразия решений разностного уравнения (1), которые, как будет показано ниже, удовлетворяют предельным условиям на плюс и минус бесконечности соответственно:

(6а)

= А+и+1 + В

+

и- = А" и~+1 + В", (6б) где А± и В± — матрицы и векторы, являющиеся решениями следующих задач:

А+ = (С - ДгА++1 )-1С, А+ ^ г ^ го, (7а)

А- = (Сг - СгА" 1 )-1Д, А- ^ А-те, г ^ -го, (7б)

ДВ+1 - (С - АА+1)В+ = Ъ, В+ ^ 0, г ^ го, (8а)

СгВ"_1 - (Сг - СгА"_1 )В- = Ъ, В- ^ 0, г ^ -го. (8б)

Матрицы в (7) зададим по норме меньшими единицы как решения квадратных матричных уравнений:

Д+^А2 - С+^А + = 0, (9а)

С-^А2 - С-^А + = 0. (9б)

Лемма 2. Существуют решения и уравнений (9а) и (9б) соответственно, удовлетворяющие условиям

||А±те|| <а. (10)

Доказательство. Рассмотрим уравнение (9а). Будем искать его решение как предел последовательности:

Ti = Q, Tra+i = PTra2 + Q,

где

P = G+COD+C Q = G—COC+C

Очевидно, что если существует предел Т+С = lim Tn, то T+C будет решением уравне-

n—C

ния (9а).

Учитывая, что G+C — M-матрица, заключаем, что у матриц P и Q все элементы неотрицательны. В силу (4) ||P|| + ||Q|| < а < 1. Так как

N / N \

ТП+1 = £ Pik Е « + Qij,

k=i \z=i /

то

T2ij > Tij = Qij > 0, 1 < i,j < N.

Пусть при всех значениях i, j Tnj — Tnj_1 > 0. Тогда

NN

Tj+i — Tnj = £ Pik {Y, TT — Tnk- iTj-iH > 0, 1 < i, j < N, n > 1.

n n— i

NN

■ 'Т^ТЩ — Tnk— iTn— i) l > 0, 1 < i,j < N, n k=i k 1=i )

Итак, при всех (i,j) последовательность {Tnj} является неубывающей. Кроме того, так как ||Ti|| = ||Q|| < а, по индукции получаем, что при всех n

||Tn+i|| < ||P|| ■ ||Tn||2 + ||Q|| < ||P|| ■ а2 + ||Q|| < ||P|| + ||Q|| < а,

т.е. последовательность {Tnj} ограничена сверху числом а. Таким образом, существует предел Т+С = lim Tn, являющийся решением уравнения (9а) и удовлетворяющий условию

n—

||Т+С|| < а. Равенство ||Т+С|| = а невозможно, так как в этом случае

а = ||T+c|| = ||PT+ с + Q|| < ||P||а2 + ||Q|| < а. Для уравнения (9б) рассуждения проводятся аналогичным образом. Лемма доказана.

Лемма 3. Пусть

Р±ж = я±ж =

Имеют место следующие оценки:

||А+ж|| < -т2^-,-т, (11а)

+ 9+ж + 2(1 - а) + -

||А_ж|| < -т2^-,-г. (11б)

р_ж + я-ж + 2(1 - а) + - 9_ж| Доказательство. Докажем неравенство (11а). Из уравнения (9а) следует, что

Р+ж||А+ж||2 -|А+ж| + я+ж > 0. (12)

Учитывая, что ||А+ж|| < а, из неравенства (12) получаем

2я+ж

||А+ж || <

1 + ^1 - 4р+ жЯ+ж

Учитывая, что р+ж + я+ж < а, получаем (11а). Доказательство неравенства (11б) проводится аналогичным образом.

Заметим, что матрицы А+ж и А_ж невырождены. Это следует из того, что

С+ж = (^+ж - ^+жА+ж)А+ж; О_ж = (с_ж - С_жА_ж)А_ж;

а матрицы С+ж и О_ж невырождены. Лемма 4. Для всех г 0 < ||А±|| < а.

Доказательство. Неравенство ||А+1| < а для решения задачи (7а) доказано в [3]. Случай задачи (7б) разбирается аналогично. Невырожденность матриц А± является следствием неравенства ||А±|| < а и уравнений (7).

Лемма 5. Решения уравнений (6а), (6б) удовлетворяют предельным условиям (2) соответственно на плюс и минус бесконечности.

Доказательство. Пусть и+ — решение (6а). Тогда при г > 0

г

||и+||< аЩ+н + £а_кЦБк||. к= 1

Учитывая, что ||Бк|| ^ 0 при к ^ то, а а < 1, можно показать, что 11Ц+1 ^ 0, г ^ то. Аналогично можно убедиться в том, что 11| ^ 0, г ^ -то. Лемма доказана.

Таким образом, мы показали, что уравнения (6а), (6б) действительно выделяют многообразия решений уравнения (1), удовлетворяющих предельным условиям соответственно на плюс и минус бесконечности.

2. Исследование вопроса существования и единственности

Для того чтобы многообразия в виде уравнений (6а), (6б) были заданы корректно, необходимо, чтобы коэффициенты А± и Bi были из своих задач однозначно определены, поэтому исследуем вопрос существования и единственности решений задач (7), (8). Будем использовать результаты работы [6], где исследовались матричные уравнения Риккати с бесконечным числом узлов.

Пусть — собственные числа матрицы v+— собственные числа матрицы

B+^ = G+ж — — собственные числа матрицы , v_— собственные

числа матрицы = C-^— Для доказательства существования и единствен-

ности решений задач (7) и (8) нам понадобятся следующие условия отделения: при всех j выполнены неравенства

|v+J > 1, (13а)

|v_J > 1. (13б)

Так как для всех собственных чисел верно

|A±J < шах(||А+те ||, ||А_те ||) <а< 1,

из (13) следует, что при всех i, j выполнены и такие неравенства:

|A+J < |v+J, (14а)

|A_J < |v_J. (14б)

Лемма 6. Пусть выполнены условия отделения (13а). Тогда существуют единственные решения задач (7а), (8а). Пусть выполнены условия отделения (13б). Тогда существуют единственные решения задач (7б), (8б).

Доказательство. Пусть выполнены условия (13а). Запишем уравнение (7а) в следующем виде:

(Gi — Di А++1)А+ = Ci.

Пусть Zi = А+ — Тогда

= (D__1Gi — А+^Zi — Zi+iZi + (D_ — — D"1^. (15)

В соответствии с теоремой 2 из [6] при всех достаточно больших i (i > K) для матричного разностного уравнения Риккати

xi+1ai = bixi + xi+1dixi + gi

определено и единственно решение такое, что xi ^ 0, i ^ то, в случае, если матрицы di ограничены,

|df| < d, 1 < М < N,

матрицы ai невырождены, существуют пределы

lim gi = 0, lim ai = lim bi =

' ' i—

i—

i—

а для собственных чисел матрицы и собственных чисел v+матрицы b+^ выполнены условия отделения (14а). Легко видеть, что

di =-I, lim a = lim bi = - = B+^,

i—<x i—

кроме того, в соответствии с (9а)

lim gi = - - = 0.

Так как из условий (13а) следуют условия (14а), в соответствии с теоремой 2 из [6] уравнение (15) имеет единственное решение, удовлетворяющее условию lim Zi = 0. Это решение

i—<x

определено при i > K. Но из условий (4) и леммы 4 следует, что при всех i матрицы Gi - DiA+_1 невырождены, следовательно, решение уравнения (7а) также определено единственным образом и при i < K.

Аналогичным образом уравнение (8а) переписывается в виде

B+1 = (D-1Gi - A+i)B+ + Di-1 Fi. (16)

В этом случае

di = 0, lim a = I, lim bi = D-ЖG+^ - = B+^, lim gi = 0.

i—<x i—<x i—<x

В силу условий (13а) уравнение (16) имеет единственное решение, удовлетворяющее условию lim B+ = 0. Рассуждения для задач (7б), (8б) проводятся аналогично. Лемма дока-

i—<x

зана.

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

Лемма 7. Пусть C+x > D+^, 1 < i < N,

или матрицы C+^; D+^, скалярны. Тогда выполнено (13а). Пусть D-^ > C-^, 1 < i < N, или матрицы D-(X, C-(X скалярны. Тогда выполнено (13б).

Доказательство. Докажем (13а). Пусть при всех i C+^ > D+^. В силу (9а)

в+ж = D-L> - = D-1>

Так как матрица B+cx невырождена, для всех собственных чисел v+ верно

1 111

|v+J > ,, D-i и > -ггл-iiii^-i п-¡Т > - ■ 7^-Г

IB+ЖН " ||A+J|||C+^D+^|| а ||C+^D+«|

— ^^ivI ||C+ooJ

Так как C+^ > D+^, имеем ||C+^D+^|| < 1, откуда получаем неравенство

К<»1 > 1 > 1,

а

что завершает доказательство.

Пусть теперь матрицы скалярны. В этом случае

> 1 = 1 ||с+

В силу скалярности матриц С+с, В+с имеем

1С

+с |

||С+Со|

||С

+с 1

||с

-1 С I

З+с

|В+с|| ||с

-1

+с |

|В

+с |

г

-1 В I

+с В+с 1

Р+с

Так как в соответствии с леммой 3

\|А+с|| <

2з+с

<

З+с

Р+с + з+с + 2(1 - а) + |р+с - Р+<

получаем, что с| > 1. Доказательство выполнения условий (13б) проводится аналогично. Лемма доказана.

В дальнейшем будем предполагать, что задачи (7), (8) имеют единственные решения.

3. Переход к схеме с конечным числом узлов

Используя выделенные многообразия, определим ио. Подставим в уравнение (1) соотношения (6а) и (6б) при г = 1 и г = —1 соответственно:

(Со — СоА-1 — Во А+)и = СоВ-1 + ВоВ+ — Во. (17)

Так как < 1, матрица Со — СоА-1 — ВоА+ является строго диагонально преоблада-

ющей, поэтому уравнение (17) имеет единственное решение. Используя (17), а также соотношения (6), определим задачу

иг = А+иг_1 + В+, г > 1,

ио = (Со — СоА_1 — ВоА+)-1(СоВ_1 + ВоВ+ — Во),

иг = А_иг+1 + В_, г < —1. (18)

Так как коэффициенты А±, Вг± из задач (7), (8) определяются однозначно, решение задачи (18) существует и единственно.

Покажем, что решения задач (1), (2) и (18) совпадают. В силу единственности решения этих задач достаточно показать, что решение задачи (18) удовлетворяет задаче (1), (2). Учитывая соотношения (7), (8), можно показать, что решение задачи (18) удовлетворяет уравнениям (1) при г = 0. Уравнение (1) при г = 0 выполнится на решении задачи (18) в силу уравнения (17) и соотношений (7), (8). Наконец, предельные условия на бесконечности (2) выполнятся в соответствии с леммой 5. Таким образом, решение задачи (1), (2) существует и единственно.

Принимая во внимание соотношения (6), для некоторых М < 0, К > 0 перейдем от (1), (2) к задаче с конечным числом узлов:

Ьги = Сгиг_1 — № + Вг^+1 = Вг, М < г < К,

им = А-м им+1 + В-, ик = А+ ик-1 + В+. (19)

Данная задача, в отличие от (1), (2), имеет конечное число узлов, ее решение может быть найдено методом матричной прогонки или другим методом. В силу условий (4) задача (19) имеет единственное решение [7, с. 106]. Как было сказано выше, соотношения (6) справедливы для решения задачи (1), (2), поэтому ее решение удовлетворяет задаче (19), с учетом единственности решения этих задач совпадают при всех М < г < К. Таким образом, посредством (19) задача (1), (2) точным образом редуцирована к схеме с конечным числом узлов.

4. Устойчивость к возмущениям коэффициентов

Коэффициенты АМ, В—, А+, В+ из задач (7), (8) могут быть вычислены приближенно. Оценим влияние погрешности при их вычислении на решение задачи (19). Перейдем от (19) к разностной схеме с возмущенными АМ, , А+, В+:

иЬ = Сгйг—1 - агиг + Ай+1 = Я, М < г < к,

йы = АйМ Ьйм+1 + В—, Ьк = А+ Ьк—1 + В+ . (20)

Теорема 1. Пусть Ь — решение задачи (20). Пусть

\\А~м - АМII < Дъ ЦА+ - АКII < Дь ||А1МII < 1, РК II < 1, ЦВМ - ВМII < Д2, ЦВ+ - В+ II < д2.

Тогда

maX - ^" " 1 - max (|| AM И, № ||) + + Д2>-

Доказательство. Пусть Zi = Ui — U. Тогда Z является решением задачи:

LZ = CZ_! — GZ + AZ+1 = 0, M < i < K, ZM = AM ZM+1 + (AM — AM )UM+1 + BM — BM , Zk = A+K Zk _i + (A+ — AK )Uk_i + B+ — .

Для оператора L, как и в случае бесконечного числа узлов, справедлив принцип максимума. Определим сеточную вектор-функцию Ф:

Ф^' = Ai(||Um+i|| + ||Uk_i||) + Д2 + max(||AMИ, ||AKИ) ■ max ||Zi|| ± Zj,

г

тогда

Фм > о, ФК > 0, LiФ < 0, M < i < K.

В силу принципа максимума Фi > 0 для всех M < i < K, что доказывает теорему.

Итак, решение задачи (19) устойчиво к возмущению коэффициентов в краевых условиях.

Для получения оценок устойчивости задач (7), (8) к возмущениям коэффициентов исходной схемы (1) нам понадобятся неравенства

— £ |Gf | — Dj — ||A+i|| > A, i > K > 0, (21а)

k=j

Gj — £ |Gf | — Cj — Cj ||A"i| > A, i < M < 0. (216)

k=j

Две следующие леммы дают возможные условия выполнения неравенств (21).

Лемма 8. Пусть при всех г > К

С? > В?, 1 < э < N.

Тогда при г > К выполнено неравенство (21а). Пусть при всех г < М

В? > С?, 1 < э < N. Тогда при г < М выполнено неравенство (21б).

Доказательство. Так как при всех I ||А±|| < 1, с учетом (4) получаем требуемые неравенства. Лемма доказана.

Лемма 9. Пусть при всех г > К матрицы Сг, Вг скалярны и

аРй-10+11 < (1 - а) ЙВг+ГЙ' (22а)

Тогда при всех г > К выполнено неравенство (21а). Пусть при всех г < М матрицы Сг, Вг скалярны и

а «^-та^ (1 - <226>

Тогда при всех г < М выполнено неравенство (21б).

Доказательство. Докажем неравенство (21а). Покажем, что в случае скалярных матриц Сг, Вг имеет место оценка

|сг

|Вг

11А++11 < -|Сгт. (23)

Тогда требуемое неравенство будет вытекать из (4). Докажем (23). При доказательстве леммы 7 установлено, что

1В+^ |

откуда следует, что неравенство (23) выполнено при всех достаточно больших г (г > К). Покажем теперь, что оно выполнено и при К < г < К. Пусть

|№»|| < ИВ11!•

|| Вг+1||

Тогда

|| А++11 = ||(1 - С_+11Вг+1А++2)_1(С_+11Сг+1)| < ||(1 - С_+11Вг+1А++2)_1| ■ || ||.

Используя неравенство [5, с. 110]

||(1 - Я)-1||< при ||Я|| < 1,

получаем

|а++1| < Сг+'|—

1 -|с_Л В,+1| ■ |А++2|'

Из (4) с учетом скалярности матриц Ci+i, Di+i имеем

-1 ^ и / ц^-1 П и / ^Pi+i!

< ||C .....D и , HG¿+iA+i|| <

*||С+ ||

||Ci+i| + ||Di+if 11 t+1 - ||Ci+i|| + ||Di+i|

Тогда

||A++i || <

||Ci+i| + ||D+i||- a||Ci+i||

В свою очередь, условие (22а) можно записать в виде

^||Ci+i|| < ||Ci|

||Ci+i| + ||Di+i|- ||Di|'

что завершает доказательство. Рассуждения в случае i < M проводятся аналогично. Лемма доказана.

Рассмотрим следующие линейные операторы:

S+ = Di(Zi+i - Zi) - MiZi, S- = Ci(Zi-i - Zi) - MiZi,

где матрицы M¿ имеют строгое диагональное преобладание:

Mj(1 - n) |Mjfcо < п < 1, Mj > 9 > 0,1 < j < N. (24)

Лемма 10. Пусть выполнены условия (24)- Пусть Z — произвольная сеточная функция. Если существует предел Z на плюс бесконечности, то при i > K справедлива оценка

max ||Zi| < n-1{9-1 max ||S+Z|| + || lim Zi|},K > 0. (25а)

i>K i>K i—

Если существует предел Z на минус бесконечности, то при i < M справедлива оценка max ||Zi| < n-1{9-1 max ||S"Z|| + || lim Zi||},M< 0. (256)

i<M i<M i—-<^

Доказательство. Оценка (25а) получена в [3]. Доказательство оценки (256) проводится аналогичным образом.

Лемма 11. Для решений задач (8) справедливы оценки

C C

max ||B-|| < — max ||Fi|, M< 0; max ||B+|| < — max ||Fi|, K> 0.

i<M 11 i 11 " Д i<M 11 i|h ' i>K 11 i 11 - Д i>K 11 i|h

Доказательство. Пусть i > K. Введем матрицы Pi = Gi - Di - DiA++1. Докажем, что для матриц Pi выполнены условия (24) при

9 = min P/J, n =--.

i ' T~>33

max Pi

С учетом (21а) можно показать, что

pj = - Df - Dj(A++ij > А.

Кроме того, из (21а) следует, что матрицы Pi имеют строгое диагональное преобладание:

Pjj (1 — п) — £ IPjkl> k=j

> Gjj — Djj — Djj(A+hi)jj — £ |Gjk — Djj(A+hi)jk| — А >

k=j

> Gjj — £ |Gjk| — Djj — Djj||A+i| — А > 0.

k=j

Теперь оценка

Ci

maxi|Д+|| < — maxiIFAI i>K А i>K

следует из леммы 10. Аналогичным образом получается оценка

maxi |Д— II < C2 max | |Fj||.

i<M А i<M

Лемма доказана.

Докажем, что решения задач (7), (8) устойчивы к возмущению коэффициентов исходной схемы (1).

Теорема 2. Пусть коэффициенты задачи (1), (2) возмущены, при всех i < M, i > K

||Ci — Cj|| < 5, ||Gi — Gj|| < 5, ||Di — Dj|| < 5, ||F — Fj|| < 5,

коэффициенты Ci, Git Di, F удовлетворяют условиям, аналогичным (3), (4). Пусть A±, являются решениями задач (7), (8) в случае возмущенных коэффициентов Cj, Gi, D^ -Pi. Пусть, кроме того, выполнены условия леммы 8 или леммы 9 как для коэффициентов исходной, так и для коэффициентов возмущенной задач. Тогда для некоторой постоянной C, не зависящей от 5, при всех i < M, i > K

||A± — A±||< C5, ||B± — ||< C5. (26)

Доказательство. Начнем с первой оценки в (26). Пусть i > K. Пусть также Zi = A+ — A+. Непосредственными вычислениями проверяется, что

Zi = G—iDiA++iZi + G—iDiZi+i A+ + Pi, (27)

где

P = G—i (C. C ) i G—i(D D ) A1.+i

Оценим Z+C. Для Z+C выполняется соотношение

Pi = G—i(Ci — Ci) + G—i(Di — Di)A++iA+ + G—i((5 i — Gi)A+.

Z+C — G+CD+CA+CZ+C = (1 — G+CD+CA+C)Z+C =

= G+C C+CA+CoZ+C = G+CoD+CZ+CA+C + P+c

где

P+C = G+Cc(C+c — C+C + G+C(D+C — D+с)А+с + G+C(G+C — G+c)A+c

причем || < C0í. Тогда

В силу рассуждений, приведенных в леммах 8, 9, имеет место оценка

D+^|| < ||Л+те|| ■ ЦС+ЖD+^|| < 1,

откуда получаем

||Z+^|| < (1 - < Cí.

Отсюда следует, что требуемая оценка на Zi выполняется также при всех достаточно больших i (i > К). При i < К в силу соотношений (27) и (4) получаем

||Z¿|| < a||Zi|| + ||Zi+i| + ||Pi| < a||Zi|| + C2Í,

откуда ||Z¿|| < Cí. Рассуждения в случае i < M проводятся аналогичным образом.

Теперь докажем вторую оценку в (26). Пусть i > К и Zi = B+ — B+. Тогда для Zi справедливы соотношения

S+ Z = D4 i(Z¿+i — Zi) — PiZi = Ri,

где

P = ggi — d i — DiA+i, R = (dDí — Di)B++i + (Fi — Fi) + (Gi — Gi)B+ + (dDí — Di )A++iBi+ + Д(Л+ц — A++i)B+

Для матриц Pi выполнены условия (24), кроме того, lim Zi = 0. Таким образом, нужная

i—>+^0

оценка следует из леммы 10. Рассуждения в случае i < M проводятся аналогично. Теорема доказана.

Докажем вспомогательную лемму.

Лемма 12. Пусть Z — решение задачи:

LiZ = CiZi_i — GiZi + DiZi+i = 0, Z_t = V_t, ZT = VT, T > 0.

Пусть

и <«vtИ <,, q=m* {||CiсЦщ + 4• q <1

Тогда при всех —T < i < T верно ||Zi| < eqT-|i|.

Доказательство. Рассмотрим следующую сеточную вектор-функцию:

Ф^' = eqT-|i| ± Zj. Тогда Ф±т > 0. Покажем, что при всех i ^Ф < 0. При i = 0 имеем

N

(W = eqT[(C0j + )q_i — £ G0k] < eqT[(Cj + )q_i — Cj — — A]

k=i

По условию

^ ||Со|| + ||Во

д >

||Со || + ||Во| +А'

В силу того что матрицы Со, Во диагональны и положительны, при всех ]

С- + В-7 д > Со + Во

С^ + В^ + А Следовательно, ¿оФ < 0. При г < 0 имеем

N

(ЬгФ)- = едТ+г[С-'д-1 + В-д — ^ ] < едт+г[С--д-1 + В--д — С- — В-- — А].

к=1

Так как

д > ||Сг| + ||Вг|| > ||Сг|| > С-

||Сг|| + ||Вг| + А " ||Сг| + А " С- + А'

¿гФ < 0 при г < 0. Аналогичным образом можно показать, что ¿гФ < 0 и при г > 0. Применяя принцип максимума, получаем, что при всех г Фг > 0. Лемма доказана.

5. Нахождение коэффициентов в краевых условиях

Предположим, что коэффициенты схемы (1) разложимы в ряд по степеням г-к, при достаточно больших г (г > К) до некоторого г > 0 справедливы разложения

Г С(к) /1 \г+1 Г / 1 \ г+1

Сг = Е %- + ЧЛ . Сг = £ + аП

к ' \ ■ ' ' / у • к

гк \ г гк V г

к=о 4 7 к=о 4

г В(к) /1 \ Г+1 г В(к) /1 \ Г+1

Вг = Е + Чт ' Вг = £ В+Т + < 1

к=о у 7 к=о у

Здесь под 0(г-к) понимается матрица или вектор с нормой порядка 0(г-к) Коэффициенты А+ и Вг+ из (7а), (8а) при г > К будем искать в виде

р А (к) р В (к)

А+(Р) = Е ^, ^г+(р)^ , Р < Г. (28)

к=о к=о

Подставляя эти разложения в уравнения (7а), (8а), получим рекуррентные формулы относительно коэффициентов А+к), В+):

(С -В А )А(к)- В А(к) А = С(к)-

(С+с В+сА+с)А+ В+сА+ А+с = С+

к к-1 к к-1

С- А+к--) + (В+с £ 7кА+ + £ £ - В(+)А(:+))А+с + -=1 -=о 1=1 -=о

к-1 к-тк-т-1

+ ££ £ тк-т-^А^, к > 1, А+о) = А+с, (29)

т=1 1=о -=о

(В+те + - С+те)В+) = В+ ) -

к_1 к_1 к_1 к_1 - В+^ 7ГВ+т) -ЕЕ Т^В^ + £ С+^В? -

т=1 1=1 т=1 1=1

к_1 к_? к_?_1

- ЕЕ Е 7Г_?_1В^)А+-)В+?), к > 1, В+0) = 0, (30)

?=1 1=0 т=0

где коэффициенты 7гт определяются по формулам

7о = 1, т0 = 0, т0 = 0, т1 = (-1)'_1, 1> 0,

I

7Г+1 = 0 при I < т, тД1 = Е (-1)?_1^т+1_? при I > 0, т > 0.

?=1

На каждом шаге по к уравнение (29) имеет вид

ВХ + ХА = В. (31)

Это непрерывное уравнение Сильвестра, оно имеет единственное решение [8, с. 92], если спектры матриц А и В разделены. В данном случае в соответствии с (14а) спектры матриц и В_1> - В+^А+те) разделены, поэтому на каждой итерации задача (29) однозначно разрешима.

В свою очередь, матрица - - является матрицей со строгим диа-

гональным преобладанием (это можно показать аналогично тому, как это выполнено в лемме 11 для матриц Рг), что обеспечивает однозначную разрешимость уравнения (30). Аналогично пусть при г < М < 0 для некоторого г справедливы разложения

Коэффициенты А_ и Вг из (7б), (8б) при г < М будем искать в виде

р А(к) Р В (к)

Л_(р) = Е-¡т, В*_(р) = Е, р < г. (32)

к=0 к=0

Тогда получим

к к_1 к к_1 - £ С?А(к_ ? + (С_^-а? + £ £-к _ IС(1)А(_?))А _+ ?=1 ?=0 1=1 ?=0

к_1 к_тк_т_ I

+ ЕЕ Е-к _ т_IС^А^, к > 1, А(_0) = А_(33)

т=1 1=0 ?=0

(С—ж + С—жА—ж — ж)в—) — р— )—

-1 к— 1 к—1 к—1 с—ж £ ^тв(_т) - £ £ СРв^ + £ с(_к—1)в

- ' - ' ^к в— - ^к—Iс— в— + * - в -

г=1 1=1 г=1 1=1

к—1 к—] к—]—I

Е Е Ё •—^А^В^, к > 1, в(0) — 0. (34)

3=1 1=0 т=0

Здесь коэффициенты определяются следующим образом:

^0 — 1, ^0 — 0, ц1 — 0, ^ — 1, 1 > 0,

I

^т+1 — 0 при I < т, — £ —3 при I > 0, т > 0.

3 = 1

Однозначную разрешимость уравнений (33), (34) относительно Аи В (к) можно обосновать аналогично тому, как это выполнено для уравнений (29), (30).

Таким образом, если в редуцированной к конечному числу узлов схеме (19) коэффициенты АК и В+ находить по формуле (28), а АМ и ВМ — по формуле (32), то в соответствии с теоремой 2 при г < М, г > К для некоторой постоянной С

||А± - А±||, ||В± - В±|| < 5, 5 — С[|М|—(р+1) + К—(р+1)].

В соответствии с теоремой 1 при всех М < г < К для некоторой постоянной С1

||и» - ¿/¿|| < С1[|М|—(р+1) + К—(р+1)]. (35)

Таким образом, разностную схему (1), (2), увеличивая число членов разложений (28) и (32), можно редуцировать к схеме (19) с заданным числом узлов с заранее определенной точностью.

6. Численные эксперименты

Остановимся на результатах численных экспериментов. Рассмотрим эллиптическое уравнение в бесконечной полосе вдоль х:

д 2м д 2м дм дм , . <•/ \

-7Г- 7Г- с(Х У)м — /(Х У) дх2 ду2 дх ду

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

с(х,у) — у2 + , / (х,у) ——у е [0,10].

1 + х2 1 + |х|

Применение схемы направленных разностей приводит к задаче вида (1), (2), где С^, — постоянные диагональные матрицы с числами 1/Л,2 и 1/Л,2 + 1/^ на диагоналях, матрица

Gi имеет вид

Gi =

( Eii -B -A Ei2 -B

-A Ei3

A

1 h2:

B

h2 + h'

B

-A EiN /

4 2 h2 + h + C(xi'yj

вектор В^ имеет вид В^ = (/(гЛ, Л.),/ (гЛ, 2Л), ••• , / (¿Л,ЖЛ)). Условия (3), (4) для данной задачи выполнены, кроме того, при всех г верны условия лемм 7 и 9.

Так как точное решение задачи (1), (2) неизвестно, для достаточно большого Т решим вспомогательную задачу

CiUi-i - GiUi + DiUi+i = Fi, U-T = Ut = 0.

(36)

В редуцированной задаче (19) принималось M = -K, причем K ^ T. В соответствии с леммой 12 при -K < i < K

IIUi - Ui|| < max{||U-t||, ||Ut||}qT-|i|, q< 1.

Таким образом, при K ^ T на конечной сетке при -K < i < K решения задач (1), (2) и (36) достаточно близки, т.е. в численных экспериментах решение задачи (36) можно принять в качестве решения задачи (1), (2).

В численных экспериментах предполагалось, что N = 9, h =1, T = 10 000 и K < 1000. Предлагаемый способ переноса краевых условий с различным числом членов рядов (28) и (32) сравнивался с классическим способом переноса на основе условий Дирихле и Неймана при переходе к схеме с конечным числом узлов:

I. U

±к =

0.

II. Uk = Uk-i, U-

K

U-

K+1.

III. В (19) A±K = A±K(0), B

±

±K

IV. В (19) A±k = A±k(1), B

±

±

±K

V. В (19) a4±k = A4±k(2), B

±

±K

B±K (0). B±K (1). B±k (2).

VI. В (19) A±k = Ai±K(3), B±k = B±k(3).

±

±

±

Здесь коэффициенты А±к(р), В>±к (р) рассчитывались по формулам (28), (32). Для вычисления = применялся итерационный процесс, предложенный в лемме 2. Для решения непрерывного уравнения Сильвестра (31) использован алгоритм Бартелса — Стьюарта [8, с. 109]. Редуцированные к конечному интервалу задачи решались методом матричной прогонки [7, с. 103].

0

0

Способ переноса условия N = 10 N = 100 N = 1000

I 0.557E — 1 0.577E — 2 0.577E — 3

II 0.864E — 2 0.100E — 3 0.102E — 5

III 0.425E — 1 0.490E — 2 0.498E — 3

IV 0.732E — 2 0.862E — 4 0.880E — 6

V 0.152E — 2 0.213E — 5 0.221E — 8

VI 0.591E — 3 0.103E — 6 0.582E — 10

Вычислялась норма погрешности s = maxi ||и/ — U7i||, где Ui — решение задачи (1), (2),

Ui — решение испытываемой схемы.

В таблице приведена норма погрешности s в зависимости от способа переноса краевых

условий. Результаты вычислений подтверждают оценку точности (35), имеющую место

при предлагаемом способе перехода к схеме с конечным числом узлов.

Список литературы

[1] Абрамов А. А. О переносе условия ограниченности для некоторых систем обыкновенных линейных дифференциальных уравнений // Журн. вычисл. математики и мат. физики. 1961. Т. 1, № 4. C. 733-737.

[2] Абрамов А. А., Балла К., КонюховА Н. Б. Перенос граничных условий из особых точек для систем обыкновенных дифференциальных уравнений // Сообщ. по вычисл. математике. М.: ВЦ АН СССР, 1981.

[3] Задорин А. И. Редукция краевой задачи для линейного векторного разностного уравнения второго порядка к конечному числу узлов // Журн. вычисл. математики и мат. физики. 2000. Т. 40, № 4. С. 546-556.

[4] Задорин А. И., Чеканов А. В. Редукция трехточечной разностной схемы на бесконечном интервале к схеме с конечным числом узлов // Сиб. журн. вычисл. математики. 2002. Т. 5, № 2. C. 149-161.

[5] Воеводин В. В., Кузнецов Ю. А. Матрицы и вычисления. М.: Наука, 1984.

[6] BALLA K. Asymptotic behavior of certain Riccati difference equations // Comp. Math. Appl. 1998. Vol. 36, No 10-12, P. 243-250.

[7] Самарский А. А., Николаев Е. С. Методы решения сеточных уравнений. М.: Наука, 1978.

[8] ИкрАмов Х. Д. Численное решение матричных уравнений. М.: Наука, 1984.

Поступила в редакцию 29 ноября 2002 г.