Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Марчук Г.И. Методы вычислительной математики

.pdf
Скачиваний:
63
Добавлен:
25.10.2023
Размер:
13.2 Mб
Скачать

6.1.2. Одномерная задача

Неймана

 

Рассмотрим теперь задачу

Неймана:

 

 

 

 

dx-

 

1'

 

 

 

^

= а

при

х =

0,

(1.8)

 

 

= Ъ

при

х =

1,

 

где а и Ь—-заданные

константы.

 

 

 

Уравнение из

задачи

(1.8)

проинтегрируем по всей обла­

сти определения

решения

и используем граничные

условия.

Тогда приходим к соотношению

 

 

 

 

 

 

 

і

 

 

(1.9)

 

 

a - b =

\f{x)dx,

 

 

 

 

 

о

 

 

 

которое является необходимым условием разрешимости зада­ чи (1.8). Это условие в случае а=Ь=0 означает, что сум­ марное количество источников субстанции равно нулю, т. е. если где-то имеются источники субстанции, то в другом месте субстанция должна поглощаться.

Для получения разностного аналога задачи второго по­ рядка аппроксимации решение задачи при достаточной его гладкости удобно продолжить вне области определения ре­ шения O ^ ^ ^ l еще на один интервал h слева и справа от границ. Это значит, что мы имеем дело с некоторой вспомо­

гательной

сеточной областью

х~\ =—h,

 

х0=0, xk=kh,

xN=l,

xN+\=\-\-h.

На этой

сетке определим

 

аппроксимацию

задачи

в виде

 

 

 

 

 

 

 

 

 

 

=

Л

(

 

 

 

(1.10)

 

~ Ф-і

_ „

 

Ф я + і - Ф к - і

 

Фі+

 

 

 

*

=

о,1, . . . , л о ,

 

 

2k

~~а'

 

 

°-

 

Подготовительную

работу

к решению

задачи (1.8)

начнем

с исключения граничных условий. С этой целью из задачи

(1.10) исключим два новых

неизвестных

cp_i и ф я + і

следу­

ющим образом. Разрешив граничные соотношения из

(1.10)

относительно ф_ь фічч-ь находим

 

 

 

Ф_і

= ф! — 2ha;

q>N+1 =

Ф і У _ і

+ 2/гЬ.

(1-11)

Полученные

значения подставим

в разностные уравнения

из (1.10). Тогда будем иметь

 

 

 

 

 

<Ро — Фі _

fo

а_

 

 

h2

2

h '

Ф й - l + 2 < P h - q > f t + i

(k=l,...,N-l),

(1.12)

= fk

2

 

 

-Фм_і + <P;v

Введем в рассмотрение

матрицу

 

 

 

 

 

 

 

 

1

-

1

0 .. .

0

 

0

 

 

-

1

 

2 -

1 .. .

0

 

 

0

 

 

 

О

-

1

2 .. .

0

 

 

0

 

 

 

 

 

о

 

 

 

 

(1.13)

 

 

 

0

 

0 ..

2

 

 

 

 

 

 

о

 

0 .. ..

- 1

 

- 1

1

и векторы

 

 

 

о

 

 

 

 

 

Фо

#0

 

 

1

 

 

 

=

0),

Чі

ft

 

 

/ o

 

 

 

 

 

2

 

 

 

 

 

ф = Фз .

g =

. gh = • /*

 

(k

=

 

l,2,...,N- 1),

 

 

 

 

 

/JV

 

(k

=

N).

Флі

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда приходим

к задаче

 

 

 

 

 

 

 

 

 

 

Aq>=g.

 

 

 

 

(1.14)

Первый вопрос, который следует поставить при анализе матрицы Л,— это определенность. Известно, что матрица Л в разностной задаче Неймана сингулярна, поскольку ее наи­ меньшее собственное число обращается в нуль. В этом убе­ диться совсем просто, рассмотрев спектральную задачу

Аи=Ки,

которая имеет своим собственным вектором и0 с равными компонентами и соответствующее собственное число А,=0.

Естественно, что в такой ситуации, когда оператор Л вы­ рождается, необходимо наложить определенную связь на

источники{gh }к=о, которая, подобно

условию (1.9), гаранти­

ровала бы разрешимость задачи. Сделаем это иначе,

чем

было

выше. Известно, что для разрешимости задачи (1.14) не­

обходимо

обеспечить

ортогональность

g вектору и0 . Для это­

го из компонентов gh нужно удалить

постоянную составляю­

щую,

что

можно

сделать,

заменив в

(1.14) величины

gh

на

gh—g,

где g = 7

г Г Х Т

У) gh

• Решение задачи (1.14)

произ-

"" Г " 1 h=o

водится методом факторизации.

16 г. И. Марчук

241

6.1.3. Двумерное уравнение Пуассона

 

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

 

Пуассона

 

 

 

 

[дх-

' ду-

/

 

в D,

 

 

 

 

 

 

 

 

 

 

 

 

 

Ф = £

на dD,

 

 

(1.15)

 

 

 

 

 

 

где областью

определения

решения

D является

квадрат

{ О ^ х - ^ 1 , O s ^ t / ^ l } ,

a g(x,

у)

—заданная на

границе квадра­

та функция, обладающая определенной гладкостью.

 

В области D выберем сеть узловых точек

(xh, уг)

на пере­

сечении координатных

линий

x=xh

и у—Уь

Тогда

приходим

к разностному

уравнению

 

 

 

 

 

 

 

 

 

 

 

р - :

 

 

 

 

/ М

,

 

 

Фо,/ =

а , ,

 

4>N,i =

b,,

 

(1.16)

 

• ф;і,о =

С/, , ф/е ,;у

=

di,

 

 

 

(k,

1=1,

2,

 

 

N-\),

 

 

где

 

 

 

 

 

 

 

 

 

 

: £ о , / >

bl=gN,l,

 

 

Ck=gk,a,

 

 

di,—gl,,N.

 

Вразностном уравнении (1.16) исключим граничные

условия

и результат запишем

в

векторно-матричной

форме.

С этой

целью

сначала

введем

в

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

матрицу А и

векторы

 

Ш1 - 1

 

 

 

 

 

 

 

{ Ф і ; gi}?-

 

 

 

 

 

 

 

 

2

-4=1

 

 

 

.

0

0

 

 

 

- 1

0

- 0 . .

 

 

фіг

А = 1

— 1

2

— 1

- 0 . .

 

.

0

0

ф, =

Ф2І

0

- 1

2

- 1 . .

 

.

0

0

ФЗ!

 

0

0

0

0 . .

 

.

- 1

2

 

ФЛ-1,1

 

 

 

 

hi

 

 

 

 

 

 

 

 

 

 

h

 

 

 

 

 

 

 

 

 

 

і

 

і

1

 

 

 

 

 

 

 

/ iV 1,1

Т д З

 

 

 

Определив матрицу

B=h*A+2E,

запишем

систему уравнений

(1.16)

в виде

 

^ ( - ф

/ _ 1 + Вф,

_ ф 1

+ 1 )

= б 1

(1=1,2,...,N-1)

(1.17)

при условии, что

 

 

 

 

 

 

 

 

 

Фо=с,

q>N =

d,

(1.18)

где

 

 

 

 

 

 

 

 

с

=

сг

,

d

= d,

 

 

 

 

C j V - 1

 

 

dx—i

 

Из уравнения (1.17) исключим граничные условия (1.18). Тог­ да будем иметь

^ ( - Ф і - і

 

+ Вфі-q>«+i) = g' (1 = 2,3,...,

N-2),

(1-19)

^

(— фл_2 + 5 ф и - і ) = g w _ i

 

 

A

2

 

 

 

Систему уравнений (1.19) запишем с помощью блочных матриц и векторов

 

В

0

0 . . .

О О

 

I — Е

В —Е

0 . . .

О О

Л = р

О —Е

В - Е . . .

О О

 

О

0

0

о .

-Е В

 

Фі

 

 

 

 

 

Ф2

 

 

 

 

ф

=

,

F =

 

 

Флг-1

где Е—-единичная матрица. Тогда система уравнений (1.19) примет вид

Лф—F. (1.20)

16*

243

Матрицу Л представим теперь в виде суммы

Л = Л і + Л 2

двух

матриц:

 

 

 

 

 

 

 

 

А О 0 . . . О

 

 

—Е О

О . . . О

О А О . . . О

 

 

- Е —Е

О . . . О

О О А . . . О

 

 

О —Е 2Е- Е . .. о •

О О О . . . А

 

 

О

О 0 • О . . . 2Е

Нетрудно установить,

что

 

 

 

 

 

 

 

 

 

 

 

2фі — Ф2

 

 

Лф2

 

 

 

 

 

 

 

 

ЛіФ =

Л2 ф =

р

Фі_і +

2ф,

Фі+і

(1.21)

Aq>N.

 

 

 

 

 

 

 

 

 

 

 

 

фл--2 +

2 Ф л - _ 1

 

Введем новые обозначения

векторов:

 

 

 

 

(Л,ф), =

Л ф 1

( / = 1 , 2

Л / - 1 ) ;

 

 

р> (2фі — ф2(J-

=

1).

 

 

 

 

 

2 ф)л

= ^ ( - Ф , _ , + 2 ф « - Ф і + О л (/ = 2 , 3 , . . . . y V - 2 ) , ( 1 . 2 2 )

 

р ( — Ф і У - 2

+ 2 Ф л , _ і Ь (l = N— 1).

При

такой записи

отчетливо видно, что выражения (Ліф)г

и (Л2 ф)й являются компонентами векторов Ліф и Лгф, и при этом имеют место весьма удобные покомпонентные их пред­ ставления:

2фі,г — ф 2 , .

(Ліф)« = Т 5 — Фл_і,/ +

Л ,( — Фл+і,

— ф і У - 2 , 1 +

2флі_і,і

(1=2, . . . ,

N-2),

 

 

 

 

 

2фя,і Фм

 

2ф)й =

р

— Ф;,,і_і +

к і і — фь.і+і

 

 

 

 

фй,Л/-2 +

2ф;г > ^ _ ]

( / = 1 , 2,

 

y V - І ; £ = 1 , 2,

tf-l).

Аналогичным

образом

вектор

F

представляется в форме

 

 

 

 

 

 

F ,

 

 

 

 

 

 

 

 

 

F 2

 

 

 

 

 

 

F

=

 

 

 

 

 

 

 

 

 

 

F j v - i

 

 

 

/ ї ї +

1,2

 

2

 

 

 

 

 

Л2

 

/21

+

2

 

 

 

 

 

 

F I =

/зі "Ь "рГ

 

 

 

 

 

/зі

 

 

 

 

 

 

 

 

 

f

4-

C N - ! _ L/ ; l

 

 

 

/ЛГ-І,І +

 

 

 

 

 

 

 

 

 

 

 

 

( / = 2 , . . . . i V - 2 ) ,

 

 

 

 

 

 

 

 

 

' N - l

 

 

 

 

 

 

 

2

1

ft2

 

 

 

/г,л'—і

+

А2

 

 

 

F f V - l

=

/з,лг—і

+

Л2

 

 

 

/ IV —1.ЛГ —1 І

да 1

В результате приходим к покомпонентной записи задачи

при фиксированном индексе /:

 

 

( Л 1 ф ) г + ( Л 2 ф ) г = Рг .

 

(1.23)

Если теперь потребовать, чтобы индекс / в (1.23)

прини­

мал все значения 1=1, 2, . . . , Л/—I, то приходим

к

оконча­

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

(1.16):

(Ai+A 2 )q> = F.

 

(1.24)

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

Для формирования алгоритма найдем верхнюю и нижнюю границы спектра оператора Л.

Поскольку ненормированные собственные функции матри­

цы Л имеют вид (см. 1.1.7)

 

limp = smmnkhs'mpnlh

(к,I = 1 , 2 , . . . , N — 1), (1.25)

то находим

ЯшР = - д г s i n - — + s i n - ( 1 . 2 6 )

Отсюда следует, что

а = - г<

т - s i r r - K - ,

B = - r r C O S - — ,

(1.27)

А

2

2

 

 

где

а = а ( Л ) , |3 = В(Л).

Для решения уравнения (1.28) воспользуемся одним из итерационных методов, рассмотренных в главе 3:

ф л + 1 = ^ - т л ( Л ф ^ - / = " ) .

(1.28)

Итерационному процессу можно придать форму

 

 

ф' + 1 =

ф'—XjV,

 

 

|і=Лф*—F.

 

 

Итерационный процесс (1.28)

необходимо продолжать

до

тех пор, пока не будет выполнено неравенство

 

 

|| фі—фЦ^Є,

 

 

где е — априорная константа. Эта оценка имеет

место,

если

||£'||<а(Л)е.

(1.29)

Скорость .сходимости итерационного процесса, вообще говоря, может быть повышена, если вместо итерационного

процесса (1.28) рассматривается метод

последовательных

приближений с чебышевским ускорением

 

ф і + і = , ф і _ Т ; . / 3 - і ( Л ф ; ' - £ ) ,

(1.30)

где

 

В = (Е + аЛО + сЛ2 ); о = - ^ = ; а = а(Л); 6 = 6 (Л).

Найдем границы спектра оператора В~'Л. Поскольку матрицы Лі и Л2 имеют общий базис, то собственные числа Хі матрицы Лі и Яг матрицы Лг будут связаны с собственны­ ми числами задачи

Я - 1 Л и = Л ( 5 - ' Л ) и

следующим соотношением:

 

 

 

 

 

b(B-lV=-,

 

Л У "

 

2 х — .

0-31)

 

 

1 / а З Д '

'

/ а ?

 

-77- Л і ^

'

~2~ ^

2

~2~'

 

Выражение (1.31) приведем к виду

 

 

K{B-iA)

=

¥^-f(x,y),

 

 

(1.32)

где

 

 

 

 

 

/ с ф

У

V

(! + * ) ( ! + «/)

V

'

Таким образом, для того чтобы определить границы спектра матрицы В~1А, нам достаточно определить наи­ меньшее и наибольшее значения функции f(x, у) в квадрате

у . ^ j / " J L . Анализируя производные этой функции

dt

_ 1 — у

 

'

df __

1 — л-

1

 

п о4\

дх

l + y '

(l+xf

'

_

1

' (1 Л-у?

'

;

нетрудно показать, что максимальное значение f(x, у) при­ нимает в двух угловых точках:

/

f

/ ( . , , )

(1.35)

а минимальное в двух других:

(1.35а)

Отсюда и из (1.32) следует, что

а (В-.Л) _

, f, (В-.Л) - 4- ] / |

"*+ ">

А)

(1.36) Это значит, что асимптотически при Р(Л)^>а(Л) имеем

« ( В - ' Л )

2

Усф

2 Р а

2 ^ /1

 

 

 

 

(1.37)

 

 

= 23

(А).

(1.38)

У Р О В - ' Л )

Рассмотрим теперь схему реализации итерационного процесса (1.30):

# = Л Ф J — F,

(Е+аЛ,)

^ + , / ' =

&J,

 

 

 

(1.39)

+ аЛ2 ) & j + 1 =

ф j + 1 = ф3 - т ^ ' + 1 ,

где Tj вычисляется на основе

избранного метода оптимизации.

В покомпонентном представлении

второе

и третье уравне­

ния системы (1.39) расписываются следующим образом: сна­

чала

решается

задача

при

фиксированных

1=1,

2,

N— 1

 

 

( l + 2 a ) S f t ^ - a E ^ =

E{.„

 

 

 

 

- o f e i t 1 , ! , + ( 1 +2оПьУ2-о1№2

 

=

 

(1.40)

 

-

а&+ _£« +

(1 +

2a)

=

 

 

 

затем

решается

задача

при

фиксированных k = 1, 2 , А ? — 1

 

 

( І + г а Н ^ - а І Й 1 ^ 1 ' 2 ,

 

 

 

 

-

+

(2а + 1) UV - oUti-i

=

£ # " 2

,

(1.41)

 

o"£ft,'jv_2

+

(1 +

2а) Eftjv1—і =

%L,'N-I-

 

 

Уравнения (1.40) и (1.41) решаются с помощью метода фак­ торизации.

В заключение отметим, что если мы имеем дело с двумер­

ной задачей Неймана, то аналогично

предыдущему приходим

к задаче

(1.24), которая отличается от рассматриваемой

только тем, что число

компонентов

решения, подлежащих

определению, будет не

(N—I)2,

как это имело место в задаче

Дирихле, а

( y V + l ) 2 .

 

 

 

Существенное отличие схемы реализации разностного ана­ лога задачи Неймана от задачи Дирихле в том, что в задаче Неймана а ( Л ) = 0 . Поэтому правая часть F и приближенное

решение ф;

должны быть

на каждом шаге

ортогональными

к вектору

с одинаковыми

компонентами.

Это значит, что

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

При такой процедуре ортогонализации, когда векторы с одинаковыми компонентами исключаются из элементов ис­ ходного гильбертова пространства, переводя его в подпрост­ ранство Ф, и пробные векторы выбираются из этого подпро­ странства, в качестве нижней границы спектра можно взять наименьшее ненулевое собственное число. Как известно, спектр задачи Неймана для разностного аналога оператора Лапласа находится по формуле

b ^ = ^ ( s i n « ^ +

s i n » ^ ) ,

(1.42)

и в качестве границ спектров

имеем

 

 

« * ( A ) = - | - s i n * - ^ ,

р(Л) = -|г.

(1-43)

В этом случае параметр а следует

выбрать по

формуле

a =

/ J .

 

(1.44)

а вместо оценки для окончания итерационного процесса (1.29) необходимо принять

|||і||<а*(Л)Е. (1-45)

В остальном алгоритм численного решения задачи Неймана для уравнения Пуассона не отличается от рассмотренного алгоритма решения задачи Дирихле.

Аналогичным образом может быть рассмотрен более об­ щий итерационный процесс для задачи Неймана в форме (1.30).

6.1.4. Проблема граничных условий

На основе рассмотренных выше подходов к решению урав­ нения Пуассона молено сделать важное и довольно общее заключение по поводу формирования эффективных алгорит­ мов решения краевых задач математической физики. Это прежде всего относится к проблеме граничных условий. Выше была последовательно проведена идея исключения граничных условий, налагаемых в качестве дополнительных связей на решение задачи, и модификации их с учетом разностных аналогов исследуемых задач. В таком подходе заложен глу­ бокий смысл: если при решении задач математической физики разностными методами граничные условия из рассмотрения

Соседние файлы в папке книги из ГПНТБ