
книги из ГПНТБ / Годунов С.К. Разностные схемы. Введение в теорию учеб. пособие
.pdf10 ПРЕДИСЛОВИЕ
параметров, где этот эксперимент возможен, и с помощью дру
гих методов, которые |
нельзя |
считать математически строгими. |
|||
Но понимание существа дела, необходимое для |
построения |
||||
пригодных |
разностных |
схем, |
достигается |
путем |
рассмотрения |
серии правильно подобранных |
модельных задач, достаточно про |
||||
стых для |
детального изучения |
на принятом |
в математике уров |
не строгости, но все же улавливающих те или иные интересую щие нас черты исходной задачи, недоступной для строгого изучения либо ввиду сложности, либо ввиду недостатка времени.
Делая ударение на математически строгий разбор модель ных задач, мы старались в то же время донести до читателя правильное представление о соотношении теории и эксперимен
та |
на вычислительной машине при создании разностных схем |
для |
практических расчетов. |
Появлению этой книги способствовала предшествующая ра бота авторов над книгой [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)— 2ц (х) + и (х — 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) |
||
В §§ 1—4 мы займемся |
изучением |
разностных |
уравнений |
||||
вида (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 |
|
может быть представлено в виде |
|
|
= |
+ оУп, |
|
где ип— какое-нибудь частное |
решение этого |
неоднородного |
уравнения, а а — произвольная |
постоянная. |
|
Аналогичное утверждение и |
аналогичными |
рассуждениями |
можно доказать и для разностного уравнения второго порядка. Мы не будем эти рассуждения приводить (читатель их без тру да восстановит), а только сформулируем окончательный ре зультат.