Научная статья на тему 'Модификация метода минимальных поправок для решения сеточных уравнений с несамосопряженным оператором'

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

CC BY
463
57
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СЕТОЧНЫЕ УРАВНЕНИЯ С НЕСАМОСОПРЯЖЕННЫМ ОПЕРАТОРОМ / МЕТОД МИНИМАЛЬНЫХ ПОПРАВОК / СКОРОСТЬ СХОДИМОСТИ / GRID EQUATIONS WITH NONSELFADJOINT OPERATOR / ADAPTIVE SSOR WITH PRECONDITIONING / PARALLEL ALGORITHM / DOMAIN DECOMPOSITION

Аннотация научной статьи по математике, автор научной работы — Сухинов Александр Иванович, Чистяков Александр Евгеньевич, Шишеня Александр Владимирович

Рассматриваются вариант метода минимальных поправок и оценки скорости его сходимости для сеточных уравнений с несамосопряженным оператором. Основная идея получения оценки заключается в разделении предобусловленного оператора на симметричную и кососимметрическую части. Полученная оценка может быть использована для построения итерационного метода с адаптивным выбором параметра ω предобуславливателя. Разработанный метод может быть применен для решения задач для сеточных уравнений диффузии-конвекции-реакции, которые возникают в задачах моделирования гидродинамики, тепломассопереноса, геофильтрации, динамики популяций и других процессов.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Сухинов Александр Иванович, Чистяков Александр Евгеньевич, Шишеня Александр Владимирович

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

MODIFICATION OF MINIMAL RESIDUALS ITERATIVE METHOD FOR SOLVING GRID EQUATIONS WITH NONSELFADJOINT OPERATORS

The work is dedicated to the development of Krilov-type methods for solving finite-difference equations with nonselfadjoint operators and obtaining the estimation of the convergence rate of the method. The idea to obtain the estimation is to split up the preconditioned operator into selfadjoint and skew-symmetric parts. The given estimation can be used for developing an adaptive algorithm for finding parameter ω of preconditioner. The created method can be applied for solving convection-diffusion-reaction mesh equations that arise when modeling hydrodynamics, heat and mass transport, filtration in soils, bio cycles and so on.

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

Раздел V. Методы решения задач математической физики

УДК 519.6:532.5

А.И. Сухинов, А.Е. Чистяков, А.В. Шишеня

МОДИФИКАЦИЯ МЕТОДА МИНИМАЛЬНЫХ ПОПРАВОК ДЛЯ РЕШЕНИЯ СЕТОЧНЫХ УРАВНЕНИЙ С НЕСАМОСОПРЯЖЕННЫМ

ОПЕРАТОРОМ

Рассматриваются вариант метода минимальных поправок и оценки скорости его сходимости для сеточных уравнений с несамосопряженным оператором. Основная идея получения оценки заключается в разделении предобусловленного оператора на симметричную и кососимметрическую части. Полученная оценка может быть использована для построения итерационного метода с адаптивным выбором параметра а> предобуславлива-теля. Разработанный метод может быть применен для решения задач для сеточных уравнений диффузии-конвекции-реакции, которые возникают в задачах моделирования гидродинамики, тепломассопереноса, геофильтрации, динамики популяций и других процессов.

Сеточные уравнения с несамосопряженным оператором; метод минимальных поправок; скорость сходимости.

A.I. Sukhinov, A.E. Chistyakov, A.V. Shishenya

MODIFICATION OF MINIMAL RESIDUALS ITERATIVE METHOD FOR SOLVING GRID EQUATIONS WITH NONSELFADJOINT OPERATORS

The work is dedicated to the development of Krilov-type methods for solving finite-difference equations with nonselfadjoint operators and obtaining the estimation of the convergence rate of the method. The idea to obtain the estimation is to split up the preconditioned operator into selfadjoint and skew-symmetric parts. The given estimation can be used for developing an adaptive algorithm for finding parameter a> of preconditioner. The created method can be applied for solving convection-diffusion-reaction mesh equations that arise when modeling hydrodynamics, heat and mass transport, filtration in soils, bio cycles and so on.

Grid equations with nonselfadjoint operator; adaptive SSOR with preconditioning; parallel algorithm; domain decomposition.

Введение. Часто в прикладных задачах, например при математическом моделировании гидродинамики, тепломассопереноса, геофильтрации, динамики популяций и других процессов, возникает необходимость решать уравнения вида конвекции-диффузии. В случае использования неявных схем и схем с весами такие задачи приводят к линейным алгебраическим уравнениям с несамосопряженным оператором. Одним из подходов к решению подобных задач является метод симметризации по Гауссу [3]. Недостатком данного метода является увеличение в квадрат раз числа обусловленности оператора задачи.

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

1. Двухслойный итерационный метод

В конечномерном гильбертовом пространстве Н рассматривается задача об отыскании решения операторного уравнения:

Ах = /, А: Н ^ Н , (1)

где А - линейный, положительно определенный оператор (А > 0). Для нахождения задачи (1) будем использовать неявный итерационный процесс

хт+1 — хт

В--— + Ахт = /, В: Н ^ Н . (2)

т

В уравнении (2) т - номер итерации, т > 0 - итерационный параметр, а В -некоторый обратимый оператор. Обращение оператора В в (2) должно быть существенно проще, чем непосредственное обращение исходного оператора А в (1).

2. Вариационная оптимизация двухслойных итерационных методов В нестационарном итерационном методе вариационного типа

т+1 — хт

Вх-+ Ахт = у (3)

Тт+1

итерационные параметры Тт+1 выбираются из соображений минимизации [1], [4]: (Вгт+1, гт+1) ^ ш1п, В = В* > 0. (4)

Критерий (4) вместе с г"+1 = гт — Тт+1В 1Агт дает

(Вгт —тБВ —1 Агт, гт — тт+1В1 Агт) ^ ш1п (5)

или

(Вт, гт)—ТИ+1(ВВ-1 Агт, гт)—тт+1(Бгт, ВТ'АгГ) + О^1 Агт, В—Агт)

Минимум достигается при решении уравнения

(ВВ2А£т1£т) + СО£т,В_1 Агт) 2( ВВАгт, В-1 Агт)

Итерационные методы вариационного типа (4), (6), для которых В = А* В—1А дают следующее решение:

= (А* В-1 АВ-1 Агт, гт) + (А* В Агт, В Агт) =

Тт+1 = 2( А* В-1 АВ1 Агт, В"1 Агт) =

= (АВ-1 Агт, В-1 Агт) + (А* В Агт, В Агт) =

= 2( В_1 АВ_1 Агт, АВ Агт) =

(АВ—1 Агт, В"1 Агт) + (АВ Агт, В"1 Агт) (АВ Агт, В"1 Агт)

>шш.

Тт+1 =--—, -- . (6)

2( В—1 АВ—1 Агт, АВ Агт) (В АВ—1 Агт, АВ—1 Агт)

Тогда итерационные параметры для метода минимальных поправок вычисляются по формуле

т„+1 = 7""—-Ц, Вмт = Ахт — у т = 0,1,....

т+1 (В'1 Амт, Амт)

V > (7)

В случае А = А > 0 , итерационные параметры Тт+1 можно рассчитывать согласно методу скорейшего спуска (В = А):

(wm, rm)

, m = 0,1,....

"+1 (Амт, п>т) 3. Сходимость метода минимальных поправок

т^т т т т}-1 л т

Если х — X = г - вектор погрешности, м = В Аг - вектор поправки, то из уравнений (1), (2) получаем

Вгт+1 = Вгт —тт+1 Агт, (8)

Данное выражение можно записать в следующем виде:

wm+1 = мт — тт+1В—Awm,

1/2 * с-1/2

т г>112 т ^ п—1/2 л г>

используя замену V = В w , С = В АВ получим

или

B-^vm+i = B~i/2vm - г +,B-1 AB

m+1

V = V -Tm+1Cv = (E -Tm+1C)V

(9)

Оценим +1:

|М| =|(Я —^т+1С ) = (Е —С ) + (( — '^"+1 ) — *т+С1) ) V"

где С = С0 + С1, С0 = С0*, С1 =—С1*.

Воспользуемся неравенством треугольника:

( ^ Л

vm+1|| <в

m+1

v

+

((1 ^m+1 )EТС )

(10)

т+1 у

Оценим первое слагаемое в правой части неравенства (10):

2 (( г Л Г

В12 М"

f т А E —mi С

V вгп+1 j

f т А E —mi С

V вгпЛ J

B>J2 - m+1 ffy2,

V

в

w,

- m+1 B в

А А

w

J J

= ( wm, B1'2 wm)- 2в (a, wm, wm)

в+1 V em+1 J

Y

(a, wm, B1 Ao wm)

с учетом того, что минимум отношения "Гш+1 / достигается при

+1 = (, м" )

em+1 (B1 Ao wm, Ao wm )'

получим вариант метода минимальных поправок и оценка запишется:

f т А E —m±L С

в

y0

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

V ^m+1 J f

I A m m 1

= (B1/2wm, B1/2wm) - 9 (A)w 'w ^ (A,wm, wm ) + v ' (b-1 A, wm, a, wm ) '

(a,wm,wm) а^ N / „, „, \ (A,wm,wm)2

, -^ —Ц- ((wm,BlA,wm) = (B1/2wm,b1'2wm)-—=

(B-1A,wm,A,wm)J v y v ; (B4Awm,Awm)

(А,В шут,В-у2ут— . (В-1/2АВ-у2ут,ут—

:(ут у" -'—г = (ут У" — V '

V ) ( В—1 Л Д—т А Д—,т\ V /

(В- А В У2ут, А0 В-у2ут)

(В"1'2 А0 В-у2ут, В'12 А0 В-у2ут)

, (у", ут )2 Г (у", ут )2 = (ут ут )—-!— = 1---1-

У ' ' (С0ут, С0ут) ^ (С0ут, С0ут —т, ут)

Здесь А = А0 + А1, А0 = А , А1 = — А1 . Оценка первого слагаемого, стоящего в правой части неравенства (10), запишется в следующем:

' (т т\2

1__(У , У —_|Ы| . (11)

(С0ут, С0ут —, ут — 11 Для второго слагаемого (11) с учетом (СхУт,ут) = 0 имеем:

1 — ^+1 — — Т+С — 112 = ((1- вт+1 )ут, (1 — вт+1 )ут — (Су", (1 — вт+1 )ут) +

/ \

+ (Су", Т+Су" — = (1 - ^+1 — (ут, у" — в,

Е С Iут

2

т+1

в

V т+1

С1ут Су"

в

. (12)

т+1 у

Подстановка (11), (12) в (10) дает: Г Л

.т+1

у

т+1

Е — Ът+к с

в

у

т+1 У

+

((1- в+1 — — ТС —

1 (, у" —2 'С0ут, С0ут —, ут —

|уЦ+< (1—в—(ут, ут—в

(г г \

Т т

т+1 С у" "+1 С у"

в 1 в 1

V т+1 т+1 у

'1

2

1 — ( С^ , V)

( С0ут, С0у" Ц, ут)

\\ут\\ + у (1 — в — +<

Для удобства введем обозначения:

Т±к Сут ,^±1 С1ут

|2 V т+1

( у , у

^т+1

1 (ду", у" — (С ут, С0ут —ут, ут)

Л

, /т+1

ГТ т л

^ Сут Сут

в 1 в

V т+1 т+1 у

(ут,ут—

Тт+1

(( —

(13)

(В -1 А0^т, \а)т — Оценка ||утс учетом (13) примет вид:

и < (в„+1^,+1 ^>/(1—в+1—+вв+1^+1——|=+>/ 1—2в+1+1 (1—ут.

1 — ^т+1 .

Введем замену переменных вт+1 =

1 +Гт+1

vm+i <

1 -Vm+l

1 + У+1

1 -n

_f_m

1 + v

' m

Sm+1 +

m+1

<

. „ + I1 +rm+1-2 + 2nm+1 +(1 nm+1 )

Sm+1 + \ 1 ,

V 1 +^m+1

I1 + У+1 - 2 + 2nm+1 + 1 - 2Vm+1 + П

' 1 + У+1

1 - I-- ^

1 П m+1 + I Ym+1 + П m+1

V =

f

1 + У+1

1 + У+1

V"

(14)

V ' "'"Г1 ' ' "'"Г1 У

Найдем оптимальный параметр Тт+1, для этого возьмем производную правой части (14):

(

\

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

1 nm+1 s + I Ym+1 + П• +1

m+1 T

1 + v

m

1 + У

m

n

m

' Vm+1

1 +rm+1 >/(1 +^m+1 )( + Vi +1 )

= 0. (15)

Оптимальный Тт+1 равен:

n

Sm+1 У m+1

m+1

+ym+1 - 4+1 )

(16)

в силу (15) и

f 1 - I-- А

1 ym+1 s + I ym+1 +П m+1

1 + k

V

m+1

1 + У m+1

> 0.

J

Vm+1

Подставим (16) в (14):

f

Vm+1 <

1 -

Sm+1ym+1

1 + ym+1 Sm+1

1+ У+1

Sm+1 + '

У.+1 +

Sm+1ym+1

1 + ym+1

m+1

1 + У+1

V =

Sm+1ym+1

1 + ym+1 Sm+1

1 + ym+1

Sm+1 +

ym+1 (1 + ym+1 Sm+1 ) + Sm+1У«+1

(1+у«+1 )(+У«+1 -sm+1)

Sm+1 Sm+1.

ym+1

1 + ym+1 Sm+1

1 + У m+1

+

_ym+1

^ + У m+1

m+1

Ят+1 +( + Ут+1 — Я"+1)

_Ут+1

1 + Ут+1 — £

1 + Ут+1

у =

-д/Ут+1 ( + Ут+1 — £+1 —

1 + Ут+1

Таким образом, получим оценку сходимости:

(

Р

<

Ят+1 +-^Ут+1 (1 +Ут+1 Ят+1 —

1 + Ут+1

Скорость сходимости метода минимальных поправок зависит от:

(17)

Я ™+1

1

1 —

(С0ут, ут —

(С0ут, С0ут —ут, ут —

1

1 —

(( мт, мт —

(( В-1 А мт, мт —Вмт, мт —

Воспользуемся неравенством ху <(ах + у / а——4. Данное неравенство выполняется для всех а .

4 ((мт, мт —2_=

Я"+1 < 1 —

= 1—-

(а (А, В-1 А0 мт, мт — , мт — /а—

_4_

(а (С0ут, С0ут —(С0ут, ут — + (ут, ут — / а (С0 ут, ут —

<

4

< 1-- 2

(( (С0 — +1/аЛшп (С0 — где Лш1п (С0 —, Лштх (С0 — - минимальное и максимальное собственные числа оператора С0 .

Возьмем в качестве а = ■^Лш1п (С0 — /Лшяк (С0 — , при этом нетрудно убедиться, что выражение, стоящее в правой части (17), меньше единицы при Ят+1 < 1. Для Ят+1 и ут+1 имеют место оценки:

4 V—1

Я <

\

1—

(у1'2 +у-1/2 —2

• =

(18)

= (В'1 Амт,Амт — , — 2 — (В'1 Амт, Амт —

Ут+ = (В1 Адмт, Адмт —( — +1 — < (В-1 Адмт, А0мт —'

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

где V - число обусловленности оператора С0. Введем обозначение

(В—А1мт, А1мт — ( 2 —

кт+1 = (АМУАМг—, Уm±'=кт+1 (1—Ят+1—.

(19)

Возьмем производную по Sm+1 от правой части (17) с учетом (19):

Sm+1 + (1 - Sm +1 )km+1 (km+1 + 1) v 1 + km+1 (1- S2m+1 )

= (1 + km+1 ) - 2Sm+^km+1 (km+1 + 1) + km+1S,

2

m+1

(1 + km+1 (1-Sm+1 ))

> 0.

(20)

Оценка (17) с учетом (20) запишется в виде

(

Р

<

Smax +yjym+1 ( + Ул+1 Smax )

(21)

1 + У»+1

Умножим числитель и знаменатель выражения (21) на

Smaxym+1 +^Vm+1 (1 + У»+1 - SL ) )(1 + У m+1 ) , в результате получим:

'max + \jУ»+1 (1 + У«+1 - Smax ) )( SmaxУm+1 + -\jV.m+1 (1 + V.m+1 - Smax ) )^(1 + Уm+1 )

Smax ^+1 + \J У»+1 (1 + ^+1 - Smax ) xУm+1 + Smax (у»+1 + 1 ^У»+1 (1 + У»+1 - Smax ) + У»+1 (1 + У»+1 - Smax ))/(1 + У.+1 )

Р<

SmaxYm+1 (1 + У»+1 - Smax )

(Ул+1 (1 + Уш+1 ) + Smax (у.+1 + 1)Ул+1 ( + Ул+1 - Smax ) )(1 + У.+1 ) Smax Уm±1 + ( + Ул+1 - Smax )

или

Р< Sn

В силу (18) получим:

f

^J Smax + \j Ул+1 (1 ±Уm±1 Smax ) Smax + V У«+1 (1 -sL )

p<

или

где

JУ»+1 (1 + Уя+1 Smax ) + У»+1 „ / '4Уm±1 ( 1 + У»+1 Smax ) + Уя+1 V, --1 / V \ -+ 1

■ЦУm±1 (-1 + Уя+1 -Smax Уя+1 / (-1 + Уя+1 - Smax Уя+1

Р<-

* 1 V -1

* л

V +1

(22)

(

( + У1 - 5тах — Ут+1 ^^ 5тах — Уm±'

V = V

(23)

V =у

Выражение (23) с учетом (19),(20) примет вид:

кт+1 ( 5т+1 — ( + кт+1 ( Sm±' } 5тах — + кт+1 ( Sm±' —

= V

4кт+1 (1 + кт+1 —+ кт+1 ( ( + кт+1 — кт+1 — ( - г/, ( , — , = (-к-- ((уД + кт+1 + л/ кт

\ кт+1 + кт+1 — кт

vm±1 ' "+1

Таким образом, оценка скорости сходимости метода минимальных поправок запишется в следующем виде:

(24)

( =у(1 + кт+1 + — ,

где V - число обусловленности матрицы С0.

Следует отметить, что кт+1 характеризует отношение нормы кососиммет-ричной части оператора А к симметричной:

• л ~

С иЛ2

к =

А! 1 Г —к! <

\\А м"

шах

М- ||С0у|[

Будем называть Ыс = Со^ССо^2

числом «кососимметричности»

=у(4 1+N 2 + N

оператора.

Оценку скорости сходимости метода минимальных поправок можно записать в следующем виде:

\ 2

V

(25)

(26)

Алгоритм расчета сеточных уравнений запишется в виде: мт = В-1 (Ахт — / — ,

5 = 1 —

т+1 1

(( мт, мт —2

к=

т+1

(В"1А мт, Ам мт — (ВМ", мт — ((1 А1мт, А1мт — (АмГАМ") ,

в

т+1

5 2 к

1 — I т+1Л т+1

(1 + кт+1 —

+ кт+1 (1 — +1 Ц,

(27)

(28)

В

(A wm, wm)

(29)

((1 A, wm, A, wm )'

m

(30)

m+1

Выводы. В работе построен вариант метода минимальных поправок для решения сеточных уравнений с несамосопряженным оператором и выполнены оценки скорости сходимости. Отметим, что разработанный вариант метода минимальных поправок (29) совпадает c классическим вариантом данного метода (7) в самосопряженном случае. Разработанный метод позволяет решить задачу построения оператора переобуславливателя B так, чтобы минимизировать число обусловленности самосопряженного оператора C0. Данная задача существенно проще по сравнению задачей минимизации числа обусловленности несамосопряженного оператора C , которая возникает при использовании классического варианта метода минимальных поправок.

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Самарский А.А. Теория разностных схем. - М.: Наука, 1989.

2. Коновалов А.Н. К теории попеременно-треугольного итерационного метода // Сибирский математический журнал. - 2002. - № 43:3. - С. 552-572.

3. Самарский А.А., Вабищевич П.Н. Численные методы решения задач конвекции-диффузии. - М.: Эдиториал УРСС, 1999.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

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

5. Чистяков А.Е. Теоретические оценки ускорения и эффективности параллельной реализации ПТМ скорейшего спуска // Известия ЮФУ. Технические науки. - 2010. - № 6 (107). - С. 237-249.

6. Сухинов А.И., Чистяков А.Е., Алексеенко Е.В. Численная реализация трехмерной модели гидродинамики для мелководных водоемов на супервычислительной системе // Математическое моделирование. - 2011. - № 23:3. - С. 3-21.

Статью рекомендовал к опубликованию д.т.н., профессор Я.Е. Ромм.

Сухинов Александр Иванович - Федеральное государственное автономное образовательное учреждение высшего профессионального образования «Южный федеральный университет»; e-mail: [email protected]; 347928, г. Таганрог, пер. Некрасовский, 44; тел.: 89281021106; д.ф.-м.н.; профессор.

Чистяков Александр Евгеньевич - e-mail: [email protected]; тел.: 88634371606; кафедра высшей математики; доцент.

Шишеня Александр Владимирович - e-mail: [email protected]; тел.: +79081761837;

кафедра высшей математики; аспирант.

Sukhinov Alexander Ivanovich - Federal State-Owned Autonomy Educational Establishment of Higher Vocational Education "Southern Federal University"; e-mail: [email protected]; 44, Nekrasovskiy, Taganrog, 347928, Russia; phone: +79281021106; dr. of phis.-math. sc.; professor.

Chistyakov Alexander Evgenjevich - Federal State-Owned Autonomy Educational Establishment of Higher Vocational Education "Southern Federal University"; e-mail: [email protected]; 44, Nekrasovskiy, Taganrog, 347928, Russia; phone: +78634371606; the department of higher mathematics; associate professor.

Shishenya Alexandr Vladimirovich - e-mail: [email protected]; phone: +79081761837; the department of higher mathematics; postgraduate student.

1978.

i Надоели баннеры? Вы всегда можете отключить рекламу.