Boyarshinov_ChM_T2
.pdfУравнения гиперболического типа
Рассмотрим уже упоминавшееся дифференциальное уравнение гиперболического типа, которое описывает механические колебания тонкой однородной струны плотностью , растянутой усилием F:
2u |
2 2u |
|
f t,x , |
|
F |
|||
t |
2 |
|
x |
2 |
(5.27) |
|||
|
|
|
|
|
|
|
с заданными начальными
u 0,x |
|
U x , |
˙ |
|
V x |
(5.28) |
|
u 0,x |
|
и граничными условиями
u t,0 U0 t , |
u t,L UL t . |
(5.29) |
Схема “крест”
Для построения разностного аналога дифференциального уравнения (5.27) используем шаблон, представленный на рис. 5.4 :
1 |
|
|
|
2uj |
uj |
|
|
2 |
uj 1 |
|
2uj |
|
uj 1 |
|
fj . |
(5.30) |
||
|
2 |
|
u |
j |
|
|
|
2 |
|
|
|
|||||||
|
|
|
|
|
h |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Оценим погрешность аппроксимации уравнения (5.27) этой разностной
схемой с помощью рядов Тейлора:
u ti 1 |
,xj u ti |
,xj u˙ ti |
,xj u˙˙ ti |
,xj |
2 |
˙˙˙u ti |
,xj |
3 |
u˙˙ ti |
|
4 |
|
˙˙ |
|
|
|
,xj |
5 |
, |
|
|||||||||||||||||||||
2 |
6 |
,xj 24 |
˙˙˙u ti |
120 |
|
||||||||||||||||||||||||||||||||||||
u t |
|
,x |
|
|
u t |
|
,x |
|
u˙ |
t |
|
,x |
|
u˙˙ t |
|
,x |
|
2 |
˙˙˙u t |
|
,x |
|
3 |
u˙˙ t |
|
,x |
4 |
|
˙˙ |
|
t |
|
,x |
|
5 |
, |
|
||||
|
|
|
|
j |
|
|
|
j |
2 |
|
j |
6 |
|
j 24 |
˙˙˙u |
|
j |
120 |
|
||||||||||||||||||||||
|
i 1 |
|
j |
|
i |
|
|
|
i |
|
j |
|
|
i |
|
|
|
i |
|
|
|
i |
|
|
|
|
|
i |
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
3 |
|
|
|
|
|
|
|
4 |
|
|
|
|
|
5 |
|
u ti ,xj 1 |
u ti |
,xj u ti ,xj h u ti ,xj h2 |
u ti ,xj |
h6 |
uiv ti |
,xj 24h |
uv ti ,xj 120h |
, |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
3 |
|
|
|
|
|
|
|
4 |
|
|
|
|
|
5 |
|
u ti ,xj 1 |
u ti |
,xj u ti ,xj h u ti ,xj h2 |
u ti ,xj |
h6 |
uiv ti |
,xj 24h |
uv ti ,xj 120h |
|
139
Заменяя узловые значения в выражении (5.30) с помощью этих
соотношений, получаем:
ij |
|
,xj u˙˙ ti |
,xj |
2 |
|
|
,xj uiv ti |
,xj h |
2 |
u˙˙ ti |
|
O 4 2 |
u ti |
|
|||||
|
|
|
12 |
|
|
|
12 |
4
O h f j .
Учитывая исходное уравнение (5.27), получаем:
ij |
˙˙ |
,xj |
2 |
2 |
u |
iv |
ti |
,xj |
h2 |
4 |
|
4 |
. |
u ti |
C |
|
|
O h |
|
|
|||||||
|
|
|
12 |
|
|
|
|
|
12 |
|
|
|
|
Теперь становится очевидным, что погрешность аппроксимации
ij O h2 2
имеет второй порядок относительно шагов интегрирования и h.
Понятно, что полученная явная разностная схема (5.30) является трехслойной. В начальный момент времени (t = 0) решение известно из начального условия (5.28). Для следующего временного слоя (t = ), используя второе начальное условие, получаем выражение
1 uj U xj V xj ,
из которого следует соотношение для нахождения решения на втором временном слое:
|
(5.31) |
uj uj V xj . |
Теперь, зная решение для двух слоев, можно с помощью формул (5.30) найти искомые узловые значения uj для третьего слоя, и так далее.
Нетрудно показать, что формула (5.31) дает первый порядок
аппроксимации начального условия |
(5.28) по шагу , |
что приводит к |
|||
повышенной погрешности по сравнению со схемой (5.30). |
|
||||
Для построения более точной аппроксимации может быть использован |
|||||
прием, уже рассмотренный ранее: |
|
|
|
|
|
u ,xj u 0,xj u˙ 0,xj u˙˙ 0,xj |
2 |
|
|
|
|
2 O 3 |
|
||||
U xj V xj 2U xj f 0,xj |
2 |
|
|||
|
2 O 3 . |
|
|||
В этом выражении использованы формулы (5.28) и (5.30). Отсюда |
|||||
получаются разностные соотношения для узловых значений: |
|
||||
2 |
|
|
2 |
|
|
U xj f j |
|
. |
(5.32) |
||
uj U xj V xj |
|
|
|||
|
|
2 |
|
|
140
Для оценки устойчивости схемы (5.30) по отношению к возмущению начальных данных воспользуемся методом Неймана. Разностная схема, записанная относительно погрешностей имеет вид:
1 |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
0. |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
2 |
|
uj |
|
|
uj |
uj 1 |
||||||||||
|
|
2 uj |
uj |
|
|
h |
2 |
uj 1 |
2 |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Положим, как и ранее,
uj akeikxj ,
uj k uj kakeikxj ,
uj 2k uj 2kakeikxj .
Подстановка этих формул в предыдущее выражение приводит к
соотношению
1 |
|
2 |
|
|
|
ikxj |
|
2 |
|
|
ik xj h |
|
ikxj |
|
ik xj |
h |
|
||
|
2 k 2 k 1 e |
|
|
|
2 |
|
e |
|
2 e |
|
e |
|
|
0, |
|||||
|
|
h |
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
2 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
2 k |
1 2 |
|
|
|
|
|
|
0, |
|
|
|
||||||
2k |
e ikh 2 eikh eikxj |
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
h |
|
|
|
|
|
|
|
|
|
|
|
|
2k |
|
|
2 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
2 |
h |
2 |
e ikh 2 eikh 1 0. |
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Учитывая, что
e ikh 2 eikh 4sin2 kh2 ,
получаем квадратное уравнение относительно коэффициента роста гармоник
2 |
|
2 |
2 |
2 kh |
||
k |
2 1 2 |
h |
2 |
sin |
2 |
1 0. |
|
|
|
|
|
Корни этого уравнения равны
141
|
|
|
2 2 |
sin |
2 |
kh |
|
|
|
2 2 |
sin |
2 |
kh |
2 |
1, |
||
k1 |
1 2 |
h2 |
|
|
|
1 2 |
h2 |
|
|
|
|
||||||
|
|
|
|
|
2 |
|
|
|
|
|
|
2 |
|
|
|||
|
|
|
2 2 |
sin |
2 |
kh |
|
|
|
2 2 |
sin |
2 |
kh |
2 |
1 |
||
k2 |
1 2 |
h2 |
|
|
1 2 |
h2 |
|
|
|
|
|||||||
|
|
|
|
|
2 |
|
|
|
|
|
|
2 |
|
|
|||
Поскольку произведение корней |
k1 |
k2 |
1, разностная схема (5.30) будет |
||||||||||||||
устойчивой лишь в случае |
k1 |
1, |
k2 |
1 для всех гармоник. Для квадратного |
уравнения с действительными коэффициентами это равносильно требованию, чтобы корни образовывали комплексно - сопряженную пару. Отсюда следует:
|
2 |
2 |
2 |
kh 2 |
1, |
1 2 |
h2 |
sin |
|
|
|
|
|
|
2 |
|
1 2 2 2 sin2 kh 1, h2 2
1 1 2 2 2 sin2 kh 1, h2 2
2 2 2 2 sin2 kh 0. h2 2
Поскольку правая часть неравенства выполняется тождественно, определим условия, при которых справедлива левая часть
2 2 sin2 kh 1. h2 2
Наименьшая |
величина комплекса |
2 |
2 |
|
h2 |
достигается при наибольшем |
|||
|
sin2 kh 1 |
|
|
|
значении |
. В этом случае |
|
|
|
|
2 |
|
|
|
2 2 1, h2
h.
Итак, устойчивость разностной схемы (5.30) обеспечивается при выполнении условия Куранта25.
Разностная схема с “весами”
Разностный аналог дифференциального уравнения (5.27) для шаблона, показанного на рис. 5.8а, имеет вид:
25 В последнем выражении стоит знак строгого неравенства, поскольку согласно [2] при t = h схема обладает слабой неустойчивостью счета.
142
1 |
|
|
|
|
2 |
uj 2uj |
uj |
|
|
|
(5.33)
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
j 1 |
|
|
j |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
2 |
|
|
|
|
2u |
u |
j 1 |
1 |
uj 1 |
2uj |
uj 1 |
|
|
fj , |
||||||||||||||||||||||||
|
|
|
h |
|
|
u |
|
|
|
|
|
|
|
2 |
|
|
|
|
uj 1 |
|
2uj |
uj 1 |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0,1 2 |
|
- весовой коэффициент. При |
= 0 получаем схему “крест” (5.30). |
||||||||||||||||||||||||||||||||||||||
Для |
|
1 2 |
|
|
выражение (5.33) преобразуется к виду, соответствующему |
||||||||||||||||||||||||||||||||||||
шаблону на рис 5.8б: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
1 |
|
|
|
|
u |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
u |
|
|
2u |
|
u |
|
|
f |
|
|
|
|
|
|
||||||||
|
uj 2u |
j |
j |
|
|
2 |
|
uj 1 2uj uj 1 |
|
j 1 |
j |
j 1 |
j . |
|
|
|
|
(5.34) |
|||||||||||||||||||||||
|
2 |
|
|
|
|
|
|
|
|
|
2h |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t
|
|
|
|
i+1 |
i |
|
|
|
|
|
|
|
i -1 |
|
|
|
|
|
|
|
|
0 |
0 j-1 |
j |
j+1 |
x |
0 |
j-1 |
j |
j+1 |
x |
|
|
|
|
|
а |
|
|
|
б |
|
|
|
Рис. 5.8. Шаблоны с “весами” для аппроксимации одномерного дифференциального уравнения гиперболического типа.
Устойчивость рассмотренных схем по начальным данным имеет место при выполнении условия
2 2 |
1 4 1. |
(5.35) |
h2 |
|
|
Очевидно, что в случае 1 4 схема (5.33) |
абсолютно устойчива. При |
|
1 4 условие (5.35) преобразуется к виду |
|
|
|
h . |
|
|
1 4 |
|
Многомерные уравнения
Исследуем пространственное уравнение гиперболического типа, частным случаем которого является выражение (5.27):
2u |
2 |
2u |
|
2u |
|
2u |
x,y,z G |
(5.36) |
||||||
t |
2 |
|
x |
2 |
y |
2 |
z |
2 |
f t,x,y,z , |
|||||
|
|
|
|
|
|
|
|
|
|
|
с начальными
143
u 0,x,y,z U x,y,z , u˙ 0,x,y,z V x,y,z , |
x,y,z G |
|
(5.37) |
|
и граничными условиями |
|
|
|
|
u t,x,y,z U t,x,y,z , |
x,y,z . |
|
|
(5.38) |
Как и в случае с пространственным уравнением параболического типа для |
||||
области G построим разностную сетку (рис. 5.9) |
|
|
||
|
|
|
,k 0,s; |
|
ti ,xj ,yk ti i ,i 0,m; xj j hx , j 0,n; yk k hy |
zj q hz ,q 0,p , |
причем шаги интегрирования будем считать постоянными по каждому направлению,
Tm, hx Ln, hy Hs, hz Wp.
Введем обозначения:
|
|
|
2 |
|
ui 1jk , |
|
xuijk |
|
2 ui 1jk |
2uijk |
|
||
|
|
|
hx |
|
|
|
|
yuijk |
|
2 |
2uijk |
uij 1k , |
(5.39) |
|
2 uij 1k |
|||||
|
|
|
hy |
|
|
|
|
|
|
2 |
|
|
|
|
|
2 uijk 1 |
2uijk |
uijk 1 |
|
|
zuijk |
|
|
||||
|
|
|
hz |
|
|
|
для разностных операторов вторых производных по соответсвующим направлениям.
z |
|
|
y |
t |
x |
Рис. 5.9. Шаблон для аппроксимации пространственного дифференциального уравнения гиперболического типа.
Разностный аналог для пространственного дифференциального уравнения
(5.36):
1 |
|
|
uijk |
|
xuijk |
yuijk |
zuijk |
fijk |
|
uijk |
fijk . |
(5.40) |
|
|
2 |
uijk 2uijk |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
x,y,z |
|
|
Порядок аппроксимации этой схемой дифференциального уравнения (5.36) определяется выражением O 2 hx2 hy2 hz2 .
Решение разностного уравнения (5.40) устойчиво при выполнении обощенного критерия Куранта
144
1
|
1 |
|
1 |
|
1 |
. |
(5.41) |
hx2 |
hy2 |
|
|||||
|
|
|
hz2 |
|
Факторизация разностной схемы с “весами”
Рассмотрим разностный аналог дифференциального уравнения (5.36):
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 2 uijk uijk |
|
fijk |
, |
0,1 2 . (5.42) |
||||||||||||||||||||||||||
|
2 |
uijk 2uijk |
uijk |
|
|
|
uijk |
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
x,y,z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Аппроксимации этой схемой дифференциального уравнения (5.36) |
||||||||||||||||||||||||||||||||||||||||||||
производится с погрешностью |
O 2 |
|
hx2 |
|
hy2 |
hz2 . |
При весовом коэффициенте |
|||||||||||||||||||||||||||||||||||||
1 4 схема безусловно устойчива. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
Преобразуем схему (5.42) к виду: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
2 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
2 |
|
|
|
|
|
|
|
|
ijk 2 |
|
|
|
|
|
ijk |
|
|
|||||||||||
|
|
|
2uijk |
|
|
uijk |
u |
u |
fijk |
, |
||||||||||||||||||||||||||||||||||
uijk |
|
|
uijk |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
x,y,z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x,y,z |
|
|
|
|
|
|
|
|
|
|
x,y,z |
|
|
|
|
|
|
|
||||||
|
|
2 |
|
|
|
|
|
|
|
|
|
|
1 |
|
2 |
|
|
|
|
|
|
|
2 |
|
|
|
|
ijk |
|
|||||||||||||||
E |
|
|
|
2E |
|
uijk |
E |
u |
fijk . |
|||||||||||||||||||||||||||||||||||
|
|
uijk |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
x,y,z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x,y,z |
|
|
|
|
|
|
|
|
|
x,y,z |
|
|
|
|
|
|||||||
Обозначим: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
B E 2 |
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
x,y,z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
2E 1 2 |
2 |
|
|
uijk |
|
E 2 |
|
uijk fijk . |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
x,y,z |
|
|
|
|
|
|
|
|
|
|
|
|
x,y,z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
С учетом этого выражение (5.42) можно представить как систему линейных алгебраических уравнений относительно искомых узловых значений
uijk :
Buijk .
Рассмотрим произведение трех операторов:
E 2 x E 2 y E 2 z E 2 x 2 y 2 z O 4 B O 4 .
Последнее выражение означает, что с точностью |
O 4 возможно |
расщепление оператора B на три одномерных оператора: |
|
Buijk E 2 x E 2 y E 2 z uijk . |
(5.43) |
Введем обозначения |
|
W |
|
6444447444448 |
|
E 2 x E 2 y E 2 z uijk . |
|
1442443 |
|
V |
|
145
и перепишем полученное выражение в виде трех систем алгебраических уравнений:
E 2 x W ,
|
E 2 y V W , |
(5.44) |
|||
|
|||||
|
|
|
z uijk |
|
|
|
|
2 |
V. |
|
|
E |
|
|
|||
|
|
|
|
|
|
Решая последоватеьно эти три системы уравнений, получаем искомое решение - узловые значения uijk .
Факторизованная система имеет порядок аппроксимации O 2 hx2 hy2 hz2 .
Условие устойчивости:
2 1 4 2 |
12 |
1 |
. |
|
x,y,z h |
|
Очевидно, что при весовом коэффициенте 14 имеет место безусловная устойчивость разностной схемы.
Контрольные вопросы и задания
Полагая f(t, x) = 0 в уравнении (5.27), определите, при каком условии порядок его аппроксимации схемой (5.30) становится ij O h4 4 .
Оцените порядок аппроксимации разностными схемами (5.31) и (5.32)
˙ |
|
V x . |
начального условия u 0,x |
|
Оцените порядок аппроксимации дифференциального уравнения (5.27) разностной схемой (5.33) и проверьте условие (5.35) ее устойчивости.
Оцените порядок аппроксимации разностной схемой (5.34) дифференциального уравнения (5.27) и проверьте условие (5.35) ее устойчивости.
Оцените порядок аппроксимации разностной схемой (5.40) дифференциального уравнения (5.36) и проверьте условие (5.41) ее устойчивости.
Оцените порядок аппроксимации разностной схемой (5.42) дифференциального уравнения (5.36) и определите условие ее устойчивости.
Поясните геометрический (физический) смысл замены системы уравнений (5.42) системой уравнений (5.44).
146
Уравнения эллиптического типа
Для двумерного уравнения Пуассона26
2u2 |
2u2 |
W x,y 0, |
x,y G |
(5.45) |
x |
y |
|
|
|
рассмотрим задачу: найти функцию u(x,y), непрерывную вместе со своими производными второго порядка, удовлетворяющую уравнению (5.45) в области G и граничным условиям
- первого рода
u x,y U x,y , |
x,y GU ; |
|
(5.46) |
|
- второго рода |
|
|
|
|
u x,y q x,y , |
x,y Gq ; |
|
(5.47) |
|
n |
|
|
|
|
- третьего рода |
|
|
|
|
u x,y u x,y U x,y , |
x,y G . |
(5.48) |
||
n |
|
|
|
|
Последнее выражение можно представить как смешанное граничное условие, включающее комбинацию условий первого и второго родов:
u x,y u x,y U x,y , |
x,y G . |
n |
|
С помощью пятиточечного шаблона “крест”, изображенного на рис. 5.10, для всех внутренних точек сеточной области
|
|
|
xj |
j hx , j |
0,n; |
yk k |
|
hx L n, |
hy H s, |
|
|
|
xj ,yk |
hy ,k 0,s , |
|||||||
построим разностный аналог уравнения (5.45): |
|
|
||||||||
uj 1k |
2ujk |
uj 1k |
ujk 1 2ujk |
ujk 1 |
Wjk |
0. |
|
(5.49) |
||
|
2 |
|
|
|
2 |
|
|
|||
|
hx |
|
|
|
hy |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
k |
|
|
|
|
|
|
|
|
|
k+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k-1 |
|
|
|
|
26 Симеон Дени Пуассон [21.6.1781 - 25.4.1840] - французкий механик, физик, математик. Закончил Политехническую школу в Париже в 1800 году, с 1806 года - преподаватель этой школы. В 1809 году становится профессором Парижского университета. С 1812 года - член Парижской академии наук. В 1826 году избран иностранным почетным членом Петербургской академии наук.
148