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

Boyarshinov_ChM_T2

.pdf
Скачиваний:
308
Добавлен:
13.03.2016
Размер:
2.93 Mб
Скачать

Уравнения гиперболического типа

Рассмотрим уже упоминавшееся дифференциальное уравнение гиперболического типа, которое описывает механические колебания тонкой однородной струны плотностью , растянутой усилием 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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]