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

книги из ГПНТБ / Годунов С.К. Разностные схемы. Введение в теорию учеб. пособие

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

10 ПРЕДИСЛОВИЕ

параметров, где этот эксперимент возможен, и с помощью дру­

гих методов, которые

нельзя

считать математически строгими.

Но понимание существа дела, необходимое для

построения

пригодных

разностных

схем,

достигается

путем

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

серии правильно подобранных

модельных задач, достаточно про­

стых для

детального изучения

на принятом

в математике уров­

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

Делая ударение на математически строгий разбор модель­ ных задач, мы старались в то же время донести до читателя правильное представление о соотношении теории и эксперимен­

та

на вычислительной машине при создании разностных схем

для

практических расчетов.

Появлению этой книги способствовала предшествующая ра­ бота авторов над книгой [8], а также работа одного из них над лекционными курсами, которые он читал в течение ряда послед­ них лет в Московском физико-техническом институте. На ста­ новление этих курсов большое влияние оказали многочислен­ ные плодотворные дискуссии с О. М. Белоцерковским (по ини­ циативе которого эти курсы начали читаться), В. Ф. Дьяченко, О. В. Локуциевским, Р. П. Федоренко, Э. Э. Шнолем и Л. А. Чудовым.

Ряд полезных замечаний сделали Н. С. Бахвалов и

Б.Л. Рождественский, прочитавшие книгу в рукописи. Всем им мы сердечно благодарны.

Авторы

ВВЕДЕНИЕ

Многие прикладные и теоретические задачи современного естествознания приводят к дифференциальным уравнениям. Ис­ следование задачи может считаться законченным только после того, как эти уравнения решены.

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

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

ложения

решения

в степенной или

тригонометрический

ряд.

Здесь

излагается

теория численного

решения дифференциаль­

ных уравнений с

помощью метода конечных разностей. Сущ­

ность

этого наиболее

универсального

численного метода

со­

стоит в том, что за искомый набор чисел принимается

таблица

значений

решения

в

точках некоторого

множества,

называе­

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

12

ВВЕДЕНИЕ

Поясним это на простейшем примере разностной схемы для приближенного вычисления решения уравнения

 

 

и'(х)+

Аи(х)

= 0,

 

 

удовлетворяющего

начальному условию

ы(0) = 1.

Зададим

h > 0 и

вместо функции

и(х)

будем искать таблицу

ее значе­

ний

и(0),

и(h),

и(2h),

...,и(nh),

. . .

 

 

 

Заменим

производную разностным

отношением

 

 

 

и (х +

К) —- и (х)

 

 

 

 

 

 

h

 

 

 

ее приближающим. Шаг h таблицы должен быть выбран доста­ точно малым. После такой замены вместо дифференциального уравнения мы получаем приближающее его разностное уравне­ ние

 

 

"(* + *)-«(*)

+Аи(х) =

0,

 

которое

позволяет приближенно

вычислить

искомую

таблицу.

Для

этого перепишем

разностное

уравнение

в виде

рекуррент­

ной

формулы

 

 

 

 

 

 

 

 

u(x

+ h) =

(l

Ah)u(x).

 

 

Полагая

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

0, h,

2h, , . . ,

получим

 

 

 

 

«(A) =

(1 -

 

Ah),

 

 

 

 

и(2А) =

(1 -

 

Ah)2,

 

 

 

 

u(Nh) =

(l -

 

Ah)N.

 

 

Выбрав h = l/N, получим

«(»-('-4Г

вместо точного решения

u(l)*=e-A.

Однако, как это хорошо известно из курса математического анализа, при достаточно малом h или, что то же самое, при достаточно большом N величина (\ — A/N)N мало отличается от е~л. Тем самым показано, что приближенное решение, полу­ ченное по этой разностной схеме и зависящее от шага h, при из­ мельчении шага сходится к точному решению дифференциаль­ ного уравнения.

 

ВВЕДЕНИЕ

13

Другой пример разностного уравнения, приближающего то

же дифференциальное

уравнение

 

 

и'(*) + Аи(х)

= 0,

мы получим, заменяя

производную

разностным отношением

и (х + h) — и (х — h) 2h '

Это уравнение имеет вид

u{x + h)-u{x-h)

+ А и { х ) = = 0 .

Для дифференциального уравнения

и"(х) + А и' {х) + В u(x) = f (х)

можно построить разностный аналог, заменяя и"{х), например, следующим приближенным выражением:

и (х + h) — и (х) h

и (х) — и (х — h)

 

 

 

h

 

и (х -\- h)— (х) + и (х — h)

h

~~

Р

*

Первую производную и'(х) можно заменить одним из уже употреблявшихся разностных отношений. После таких замен получим разностное уравнение

и (х + h) 2и (х) + u(x — h) _j_ ^ и{х + h) — и(х — h) _j_ ^ ц ^ _ ^ ^

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

и'(х)+-А(х)и(х)

= 0,

у которого коэффициент А является функцией от х, то это мож­ но сделать с помощью разностного уравнения

u(x + h)-u(x)

+ А { х ) и { х ) = = ^

Так же легко «справляются» разностные схемы и с нели­ нейными уравнениями. Например, уравнение

и' {х) + sin (х и (х)) = О

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

и (х +

h) и (х) ,

- 1

, w

п

и

— +

sin (х и (х)) =

0.

14

ВВЕДЕНИЕ

Из рассмотрения

примеров может сложиться впечатление,

что составление разностной схемы и решение по ней дифферен­ циального уравнения не представляет трудностей. Это впечат­ ление обманчиво.

Уже в самых простых случаях, даже при решении линей­ ных уравнений с постоянными коэффициентами, часто бывает,

что, казалось

бы,

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

схема

имеет

решение,

не сходящееся

при

измельчении

сетки

к искомому

решению

дифференциального

уравнения.

Понятно,

что

по такой схеме

нельзя вычислить искомую функцию со сколь угодно высокой точностью.

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

выбрав

сходящуюся разностную

схему другой

конструкции

так, чтобы возникающую

систему

линейных

уравнений

легко

было решить точно; в некоторых других случаях

разработаны

приемы

приближенного вычисления

решений

разностных

задач

с любой

наперед заданной

точностью.

 

 

 

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

ЧАСТЬ ПЕРВАЯ

О Б Ы К Н О В Е Н Н Ы Е Р А З Н О С Т Н Ы Е УРАВНЕНИЯ

Г Л А В А 1

РАЗНОСТНЫЕ УРАВНЕНИЯ ПЕРВОГО И ВТОРОГО ПОРЯДКА

ПРИМЕРЫ РАЗНОСТНЫХ СХЕМ

§1. Простейшие разностные уравнения

1.Разностные уравнения. Для дифференциального уравне­ ния первого порядка

и' (х) + Au(x)

= f

(х)

 

 

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

 

»(* + *)""(*)

+Au(x)

=

f(x),

 

и(х - f h) — и (х — h)

 

 

 

 

 

2h

 

 

 

 

 

 

которые можно записать

соответственно

в виде

 

-1^TLu(x)

+

iti(x

+

h) = f(x),

(1)

— ~и(х-h)+

Аи{х)

+

-^и(х

+

h)==f(x).

(2)

Для дифференциального уравнения второго

и"(х)+Au'(x) + Bu(x) = f(x)

во введении было построено разностное уравнение

и (х + h)— 2и(х) + и(х — h) л и (х + h) — u(x — h) .

порядка

D

.

.

 

h~2

г A

2h

\-Bu(x)

=

f (x),

или,

в другой

записи,

 

 

 

 

л К 1

- ^ ) и ( * - Л ) — ж ( 2 - 5 А 2 ) " М +

 

 

 

 

 

+

- ^ ( 1 + i T - ) « ( *

+ A) =

/ W -

(3)

16

ГЛ. 1. РАЗНОСТНЫЕ УРАВНЕНИЯ 1-ГО И 2-ГО ПОРЯДКА

Приведенные здесь примеры разностных уравнений, прибли­ жающих простейшие дифференциальные, принадлежат к од­ ному из следующих двух видов:

 

au(x)

+ bu(x

+ h) = f(x),

 

 

(Г)

аи(х-h)

+ bu(x)

+ си(х

+

h) = f(x).

 

 

(2')

Если последовательность точек, делящих ось Ох на отрезки

длины h, занумеровать слева

направо так, чтобы хп

= хп-\

-+- h,

и обозначить и(хп)

через ип,

a f(xn)

через fn,

то

мы

можем

переписать наши разностные схемы в виде уравнений

 

 

аип + bun+l=fn,

 

 

(4)

 

а«„_, + bun + сиа+1

— fn.

 

 

(5)

В §§ 14 мы займемся

изучением

разностных

уравнений

вида (4) и (5), причем не будем интересоваться,

являются ли

эти уравнения разностными схемами для каких-либо диффе­ ренциальных уравнений.

В уравнениях (4) и (5) неизвестные ип образуют последо­ вательность п}:

Мы будем часто сопоставлять эту последовательность с после­

довательностью

точек, занумерованных

числами

 

 

 

 

. . . .

- 3 , - 2 ,

-

1,

0,

1,

2,

3, . . . .

 

 

 

или, как иногда говорят, с сеткой.

 

 

 

 

 

 

 

 

Последовательность п} можно

считать

функцией

и,

за­

данной в точках

сетки. Тогда

Uh есть

значение

сеточной функ-

 

 

 

 

ции и в точке, имеющей но-

*

 

 

 

мер к. На рис. 1 приведен

\

( Х > и

j

 

график

некоторой

 

сеточной

fl*

 

 

функции

и.

Этот

график

 

/

 

 

есть

совокупность

 

точек

 

 

 

•х

(xk,

uh)

 

на

плоскости

Охи.

0

хл

 

 

После

того как

мы

отка­

 

 

зались от рассмотрения свя-

 

 

 

 

Р и с - '•

 

 

зи

разностных

уравнений

 

 

 

 

с дифференциальными,

нам

вовсе не обязательно считать, что расстояние между двумя со­ седними точками равно h. Можно выбрать его произвольным, например равным единице, а в качестве х0 взять точку нуль.

Тогда сеточная функция и будет определена

в точках с целыми

координатами xh

=

k.

коэффициенты

а, Ь, с

. ...Будем-считать

для простоты, что

уравнений (4),

(5)

постоянны. Говоря,

что

изучаемые

уравне-

 

 

 

 

§ I. ПРОСТЕЙШИЕ РАЗНОСТНЫЕ УРАВНЕНИЯ

 

 

17

ния

являются

уравнениями

с

постоянными

коэффициентами,

мы

имеем в

виду

независимость этих

 

коэффициентов

от

но­

мера п; например,

уравнение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

«„-i + 5 \/пип

+ un+i

 

= О

 

 

 

 

 

не является уравнением с постоянными

 

коэффициентами.

 

Мы

будем

рассматривать только

такие

уравнения

(4), у

которых а и b отличны от нуля. В уравнении

(5) отличными от

нуля будем считать коэффициенты а и с.

правой

частью

 

Последовательность

{/„}

называется

рас­

сматриваемых

уравнений.

 

 

 

 

 

 

 

 

 

 

Если

 

предполагать,

что

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

{«„}

опреде­

лена

во

 

всех

целых

точках

п,

—оо <

п < сю, и не

наклады­

вать

на эту последовательность

никаких

дальнейших

ограниче­

ний,

то

легко

видеть,

что уравнения

(4) и (5) имеют много

решений.

Например,

уравнение

qun

un+i — 0

допускает

как

решение и„ =

0, так и решение ип =

qn.

 

 

 

 

 

 

Чтобы

выделить

е д и н с т в е н н о е

 

решение

уравнения

(4)

 

 

 

 

 

 

 

aun +

 

bun+l—fn,

 

 

 

 

 

 

достаточно задать значение этого решения в какой-нибудь од­

ной

целой

точке

пг, т. е. задать ит.

В самом

деле, уравнение

(4)

можно записать в виде рекуррентной формулы

 

 

 

 

Un+i=j(fn~

аип),

 

 

из

которой при

п = т,

m - f - 1 , •••

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

опреде­

ляются

wm +2,

• • •. т. е. все ы„ при п > т. Записывая

урав­

нение в виде другой рекуррентной формулы:

 

 

 

 

 

i i - i

 

 

 

 

мы таким

же путем определим все ип

 

при п <

т.

 

Для выделения е д и н с т в е н н о г о

решения уравнения (5)

 

 

 

aun-i

+ bun + cun+i

 

=fn

 

 

достаточно задать произвольно значения и в каких-нибудь двух последовательных целых точках, например задать значения um-i и ит. Доказательство немедленно следует из того, что рассматриваемое уравнение может быть переписано в виде следующих двух рекуррентных формул:

ип+х = j(fn — bun a«„_i),

 

M-i — — (fn Ьип C«„+ J |,

T-*a. nv6!»" чач

 

виблио i e n ) С Оi. t*

 

э к з е м п л я р

ЧИТАЛЬНОГО ЗАЛА

18 ГЛ. I. РАЗНОСТНЫЕ УРАВНЕНИЯ 1-ГО И 2-ГО ПОРЯДКА

2. Порядок разностного уравнения. Повторим еще раз полу­ ченный результат и сформулируем понятие порядка для раз­

ностных уравнений (4) и (5).

 

Для выделения единственного

решения уравнения (4)

aun +

bun+l=fn

достаточно задать значение и в одной точке. Такое уравнение

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

первого

порядка.

Для выделения един­

ственного решения уравнения

(5)

 

'

+

Ьип

+ сип+1

=/„

нужно задать значения решения в двух последовательных точ­

ках. В связи с этим

такое уравнение

называется

уравнением

второго

порядка.

 

 

 

 

Можно было бы еще рассмотреть

простейшее уравнение

 

 

atin = fn,

афО,

 

решение

которого

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

единственным

образом без

наложения каких-либо предварительных ограничений на после­

довательность {«„}. Такое

уравнение

естественно назвать урав­

нением нулевого

порядка.

 

 

 

 

 

 

Простейшая разностная схема (1) для дифференциального

уравнения

первого

порядка

и' + Аи

— f

является разностным

уравнением

первого

порядка.

 

 

 

 

 

Схема (3) для дифференциального уравнения второго поряд­

ка и" + Аи' + Ви — f имеет второй порядок.

 

 

Пример

схемы (2)

 

 

 

 

 

 

 

и (х — К) +

А и (х) +

и (х +

К) = / (*)

 

для уравнения

и' +

Аи

=

f

показывает,

что

порядок

разност­

ного уравнения

может

быть б о л ь ш е

порядка дифференциаль­

ного уравнения.

В этом примере дифференциальное

уравнение

имеет первый порядок, а соответствующее ему разностное урав­ нение — второй.

3. Общее решение разностного уравнения. Опишем теперь структуру решений изучаемых разностных уравнений. Сначала рассмотрим однородное уравнение

айп + Ьйп+1 = 0.

(6)

Обозначим через У„ решение уравнения (6), удовлетворяющее начальному условию Ко = 1. Очевидно, что ы« = aYn также будет решением однородного уравнения при произвольном вы­ боре постоянной а. Нетрудно показать, что любое решение од­

нородного уравнения

(6) может быть

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

виде. В самом деле,

каждое решение

однозначно определяется

§ 1. ПРОСТЕЙШИЕ РАЗНОСТНЫЕ УРАВНЕНИЯ

 

19

своим значением при

п

= 0. Но

решение

йп,

принимающее

за­

данное значение щ, получается по формуле

йп = а У п ,

если

в

качестве множителя а взять число йо.

 

 

 

 

 

Рассмотрим теперь неоднородное уравнение (4)

 

 

 

 

аип + bun+l

=

fn.

 

 

 

 

Пусть {«„} и {и*п} — два

каких-нибудь

его

решения.

Вычитая

друг из друга равенства

 

 

 

 

 

 

 

 

 

айп + Ьйп+Х

—fn,

 

 

 

 

мы видим, что разность йп — и*п

= йп

удовлетворяет

однород­

ному уравнению (6) айп + bun+i

0.

Поэтому любое

решение

{?7„} мо'жно записать в

виде

 

 

 

 

 

 

йп

= и*п+ йп = и*„ +

oYn

 

 

 

при подходящем выборе постоянной а. Легко проверить, с дру­

гой

стороны,

что

при

произвольном

выборе

а

формула

ип •-—ип-\-aYn

 

задает

некоторое

решение

неоднородного

уравнения:

 

 

 

 

 

 

 

 

 

аип

+ bun+ i =

a(un

+

aY„) +

b (и*п+1 +

аУп-н) =

 

 

 

 

=

К

+

K +

i ) + a K »

+

ыя+1)=/„

+

„.<>=/„.

Итак, мы показали, что общее решение однородного уравне­ ния (6)

айп + Ьй„+1 = 0

имеет вид

йп = aYn,

где Уп — частное решение этого уравнения, удовлетворяющее начальному условию Yo = 1, а a — произвольная постоянная. Общее решение неоднородного уравнения (4)

aun +

bun+l=fn

 

может быть представлено в виде

 

=

+ оУп,

 

где ипкакое-нибудь частное

решение этого

неоднородного

уравнения, а а — произвольная

постоянная.

 

Аналогичное утверждение и

аналогичными

рассуждениями

можно доказать и для разностного уравнения второго порядка. Мы не будем эти рассуждения приводить (читатель их без тру­ да восстановит), а только сформулируем окончательный ре­ зультат.

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