Теперь равенство (9.6.7) заменим с точностью О (Л
2
+Р) другим, про-
делывая следующие операции: разделим его на I, затем прибавим к
левой части член <т
0
тв
ф1> а к правой—член о^т
6
Q
1/2
, где положитель-
ные числа а
0
, а
г
выберем позднее; наконец, вместо / подставим выра-
жение (9.6.11). В результате получим
(1 + ог
0
т
в
) Фх — ф
0
+ т (ф
0
+ Фх) + т
2
(Q
0
— Qi + Фх — Фо)/3 =
= (2т + а^) Q
1/2
(9.6.12)
или __
Ф1
= «оФо + Ро Ql/2, (9.6.13)
где
а
0
= а (<т
0
, т) = (1 - т + т
2
/3) (1 + т + т
2
/3 +
^x
6
)-
1
;
(9.6.14)
Ро = т (1 + т + т
2
/3 + (Тот
8
)-
1
;
(
9
-
6
-
15
)
Qi/2 = (2 +
а
2
т
б
)
Q
1/2
+ т (Qx
—Q
0
)/3.
(9.6.16)
Схема (9.6.13) имеет точность локальной аппроксимации
0(h
l
+*),
где р задано формулой (9.6.10). Величины а
0
, а
2
выберем
так, чтобы схема (9.6.13) давала точное решение в случае, когда ре-
шением уравнения (9.6.1) является постоянная [т. е. когда
Q
= const
на (lo. £i) и ф = Q]. Подставляя в (9.6.12) значения Фх = Фо
=
Qi
=
— Qo
==
Q» получаем, что а
0
= а
х
= а, где а — любое положительное
число.
Осталось рассмотреть схему (9.6.13) на устойчивость и монотон-
ность. С этой целью исследуем поведение функции а (а, т).
Известно
[117],
что при а = 0 функция
а (0, т) = (1 — т + т
2
/3) (1 + т + т
2
/3)-
х
(9.6.17)
является подходящей дробью в разложении функции ехр (—2 т) в цеп-
ную дробь; при этом ехр (—2 т) <; а (0, т) ^ а (0,0) = 1 и
0 <1п (ехр (2т) а (0, т)) = О (т
б
) при т ->0. Таким образом, наиболее
простая при а = 0 схема (9.6.13) является устойчивой и монотонной
при любых т > 0, а а (0, т) достаточно точно аппроксимирует
ехр (—2т) при т ->0. Однако поведение функций ехр (—2 т) и а (0, т)
различно при т ->оо: если ехр (—2т) -^0, то а (0, т) ->1. Функция
а (0, т) при т = }/li имеет положительный минимум, равный
(7+41/3J"-
1
, да/дх < 0 при 0 < т < Уъ и да/дх > 0 при т > УК
Следовательно, для того чтобы решения разностных уравнений
(9.6.13) при а = 0 правильно сохраняли свойства решений уравнения
(9.6.1),
необходимо, чтобы 0<т<]/1Гили
h <
21/3/.
(9.6.18)
Чтобы избавиться от ограничения (9.6.18), распорядимся теперь
величиной а > 0; выберем ее так, чтобы а (а, т) наилучшим образом
приближала функцию ехр (—2т) при т > 0. Можно убедиться, что
при о > 0 будем иметь In (ехр(2т)а, (а, т)) =0 (т
б
). Это соотношение
получается разложением а (а, т) в ряд по степени т
4
Функция а (а, т)
212