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

книги / Течения газа около тупых тел. Метод расчета и анализ течений А. Н. Любимов, В. В. Русанов

.pdf
Скачиваний:
22
Добавлен:
12.11.2023
Размер:
14.64 Mб
Скачать

Ри = р-С'5^2

Р1З = р^^Ьз»

 

 

Р*з =

р2с2Ь2Ь31

Ри =

— 5Х50,

Рм =

— 5260,

 

 

(^34 =

ЬцЬ0,

Ра =

Рг2»

 

Р31 =

0137

 

 

Рз2 = Р-237

Ра — ГєРх4,

 

Р42 = р2С2р24,

 

 

043 =

р2С2Рз4,

Ф* =

771^15“Ь И'З, 771 25 ”4" |*3, 771Рзз “Г 1^4, т1^457 5 = 1, 2, 3,4,

 

=

фха0

Ф4р2с2Ьь

 

 

= ф2СС0-

 

ООТ

Кт-Л

 

 

“ ф4р-С“&27

— ф3а0 — Ф Р2С%,

^2, 771-г1 —

 

К ™~1

К», 771т1 =

=ф4а0 —

 

 

 

 

 

 

 

• ФА — ф А фаЬл,

®772+1 =

ФхЯ1 +

'ф2Я2 +

фзЯ3 + ф4Я4 “

 

&771^7

 

 

 

 

| = шах | |л5,ш+1 I

5 =

Г, 2, 3, 4,

 

 

И-ш-и —

 

&ТП+1

&т-т1

(5.23)

 

 

 

 

 

 

 

 

И^ТП.1

 

 

 

 

 

 

После нахождения соотношения (5.21) при т = М оно разрешается совместно с граничными условиями на волне относительно Х ти В и производится обратная про­

гонка, т. е. последовательное вычисление Хм-и Х М-2 и т. д., вплоть до Х0. Для полу­ чения формул обратной прогонки заменим в (5.20) последнее уравнение прогоноч-

ным соотношением и из полученной системы найдем Х т через Х т+1. После этого, ис­ пользуя отброшенное пятое уравнение системы (5.16), найдем выражение рт+х через

Рт и Х т.

В результате получаем:

— Я 1 — а 0 и т + 1 + ^1^771+11

Я2 =

Я2 -- ^0^771+1 +

^2^771+17

 

Я3 =

я3 -- 00^771+1 +

^3^771+1»

 

__

Ь о В т ~

(1^1, 771Л1 +

^2, 771 л 2 +

Н'З, 7тгя з^

т

^ 4 , т

( ^ 1 ,

771 +

771 +

т ) *

ит = Ъ11 (п1 — Ъ1рт),

=Ьо1 («: — ь2рт),

=К 1 (п3— Ь3рт),

Рт = К 1(Я8 — ЯоРт+1 — Р2 А (“т — ит+1)

(5.24)

Ъ-1 (Ут "»т,1) +Ъ3(У)т— и'т+а)]}.

Из приведенных формул

следует, что исходными величинами для одного шага

прогонки являются р^т , $т;

Ь0, Ьъ

Ь2, Ь3; р2с2,

я2, я 3, я4, т. е. всего 14 величин.

В обратной прогонке используются

также 14 величин: рЬ т, ^т ; 50, Ъи Ь2, Ь3; р2;

л г, я2, я3, я б, которые только и нужно запоминать во время прямой прогонки. Этим

достигается весьма существенно экономия памяти, так как без учета специфики матриц

а и Ъ было бы необходимо на каждом шаге прогонки запоминать

около 30 величин.

7.

Формулы прогонки для

центрального луча. Прямая, прогонка для централь­

ного луча

производится в точности по тем же

формулам, что

и для внутреннего

луча, за исключением формул для [х0, Ь0 и 6б, которые имеют

вид:

 

Ро =

Ь , 1 у, 0, О}?;*,

 

 

#0 =

0,

 

 

 

 

 

 

Ьо =

1

- 2 а х( ,I +

Ъг И

+ ЪХУ +

0,

 

=

 

2эСХ1 (р

 

 

01

 

 

Ь2=

- 2 а х 1( р - '|Х ^ . )о,о,

 

 

Ь3= - 2 * х1(рЧ^Ж о, о,

 

 

а = 2 — Ъ0.

 

 

 

 

Формулы обратной прогонки для центрального луча получаются из формул (5.24)

путем замены и, г>, м, на

{/,

И'’.

 

Пусть в результате прямой прогонки на внут­

8.

Решение уравнений на волне.

реннем или граничном луче получено соотношение

 

 

 

 

 

 

 

= #м.

 

или, в развернутом виде, опуская индексы

 

 

 

 

 

Май + +

+ Ц4Р = 8-

(5.25)

Присоединяя (5.25) к граничным условиям на волне (3.17) в точке (М, /с, 1Лп+ (/+1))*

получим

систему шести

уравнений

для

компонент

и скорости волны

п*Т°Ч1).

Пусть V г 2, *у3 — компоненты нормали к ударной волне, вычисленные для /-й

итерации по формуле (3.16). Введем обозначения:

 

Х = Х - Х ос,

 

 

Й =

р [ртс (%„оо

П)] 1,

 

8 =

8 Р^оо— Р2*>оо— М-З^оо — щр*.,

(5.26)

=

V1м0О+

V2^;оо +

V3гцэо,

 

Р* =

Р Л +

[Х2У2 +

р ^ 3.

 

Запишем систему уравнений на волне относительно неизвестных 72, 7;, и), &, р, Бч.

— V.2И+ V!*; =

0,

 

 

Л^31? —

'УаЭД =

0 ,

 

 

 

+

у2т; -[

V3и; — Я =

0,

 

РгИ +

р31; +

[1— Р4рот (%оо — В)

 

 

 

 

Роо(^оо-^)

(5.27).

 

 

р

%УОО- . о + о •

 

 

 

М р . р ) + Ч1Ь2 - а д =

+ ^ с о /2 - а д а ,

 

V== ^уоо

= % ,о о

“р У х И -р 'У2У -р'УзIV —ЭДуоо“р ^•

 

Для решения системы (5.27) применим итерационный способ. А именно, задавая некоторое приближение 2)М, найдем 72, 7;, й, Й, р из первых пяти уравнений, после чего найдем 7)0+1] из последнего уравнения. Произведя выкладки, получим

= ф (/)И )1 где функция Ф (#) определена формулами:

 

Й (0) ~

^ - ^ Р е о ^ о о - '^ Г

 

 

 

р(С) =

рсо- р ео( ^ с о - 1>)Й,

и * » - о

 

Р = «.во-■

0 + 0

 

11(0) = Н(р, р),

 

 

(5.28)

 

 

к (С) — Ле + о (О)

+ 0 (Л)/2]

 

 

 

 

ф (Д )=

Оф)

 

В качестве 2)1°1 удобно брать значение I)

с предыдущей итерации 2)м __ д«+о

Так как, вообще говоря, может оказаться, что |Ф'(1>) | >

1, то для обеспечения

сходимости итераций следует применять

формулу

 

 

 

д [т 1 = В [з] + Ь[5] [Ф (В[з]) 2)[5]],

(5.29)

 

 

 

 

 

выбирая

так, чтобы модуль производной правой части по ВМ был меньше едини­

цы. Выбор лучше всего производить методом Ньютона, полагая №1 = И __ Ч'УлДп-1

где У(В) = Ф'(В).

 

 

 

 

 

К ”

Для Чг(1>) имеем формулы:

 

 

 

 

 

\1Г ( т\\ _ 1

 

I ( ^ ___ ^

^°° ^ ^

 

а

<ш+ \2

 

й2

у 5 5 »

с?Л

__дк Ар

дк

А (р-1)

(5.30)

Ш ~

+

3(р-1)

сЮ

Й

- Рвв[ о

- ( * * - в

) 5

] .

1 ё 1 = Р 5С К « -,.О Г -{ й +

- 0 ) § } ,

Й =-

^^«РооГ1-

 

 

Эти формулы удобно применять в случае совершенного газа, когда к и производ­ ные дк/др и д к /д ^ 1) вычисляются в конечном виде. В других случаях удобнее вы­ числять У (О) как разностное отношение, например

Х1Л/ пМч _ Ф(Д[3]~Ф (Р ^ 1])

(5.31)

 

Так как при расчете стационарного течения В п -*-0, то целесообразно, начиная с не­ которого момента времени, фиксировать значения к на каждом луче и использовать их при расчете следующих слоев.

Итерации заканчиваются, если выполняется

неравенство

 

 

|Ф (Л м ) - Л м |< в ь ,

(5.32)

где еь — заданная константа.

 

 

 

Тогда полагаем:

 

 

 

рп+О+1) = Д М

= р ( 0 Ы)л

р« $ р =

р(1) \

и З ®

= и„в, *., + О(ДИ)ъ,

(5.33)

РДГ,(1М = *>оо.

^ (2 )Ы ) У2 1

^М ,( М = ^оо, к, I + О ( - 0 ^ ) Vз,

К Т ? «=к*1- о) (й +$

+

жт\

 

К Т ^ К . у + \А {« К Т ? + Р К , К ,},

 

 

(5.34)

чем и заканчивается расчет функций на волне.

 

 

из формул для внут­

Все формулы для расчета центрального луча получаются

реннего луча путем замены величин X, ^2,

^г,

на

X* 5** ^х»

т* Д«

9. Расчет функции 1 Формула (5.34) дает предварительное значение Р, содер­ жащее, как правило, знакопеременную погрешность (см. § 8). Для ее исключения вы­ полняется операция усреднения по индексу к, дающая окончательные значения Р. Эти значения входят во все расчетные формулы, за исключением формулы (5.6а)

для вычисления производной Р которая вычисляется по Р. Расчет значений Р про­ изводится по следующим формулам:

а) внутренний или граничный лучи:

 

 

К Т

= 4 ( К Т

+

2 К Т ,+ К Т ) ;

(5.35)

б) центральный луч

 

 

 

 

 

 

 

Ь—1

 

 

К Т

=

(2ь Ы

2

Р и 1 + Ь К о}П+°')

 

 

 

4=0

 

 

при отсутствии симметрии, 0 =

2я,

 

 

 

 

Ь—1

 

 

 

 

К Т = (21-Г1 { 2

? !., +

7 а(?!.о + ^ 1.ь) + ^о,о}п+(Л

(5.36)

4=1

 

 

 

 

при наличии симметрии, 0 «< 2л.

10. Вычисления коэффициентов операторов 6Х, бу, 6**, буу. Заметим прежде всего,

что эти операторы должны быть таковы, что

 

^х/о,о (5)

~

^Лг/х, о, оЙ)»

 

^у/<Ь0(5)

~

2Лз/у, 01 о (5)»

 

^хх/о, о (5)

~

7^/хх, о^ о (I)»

(5.37)

^1/у/о,|о (&) ~

^з/VI/» о, 0(6

 

$ху/о, 0Й) ~

2/г-2^з/ху, о, о (!)•

 

Здесь функция / — любая функция от (^, ц, 6*, г), причем в силу определения опера­ торов 6 в левые части (5.37) входят значения / на лучах кольца к = 1 и центральном луче /с=0. Так как операторы 6 не содержат сдвигов по тп и и, то в (5.37) эти индексы опущены. Однако существенно, что сами операторы б зависят от как это будет видно из дальнейшего. Таким образом, в левые части (5.37) входят значения /^ (5 )

при

/с =

1; / =

0,..., Ь — 1 и

значение / 0|0(^) = /о,* =

/ Для всех I.

це

Пусть х1% =

г^соз 0*, уъ1 =

г ^ з т 0г — координаты

точек, лежащих на коль­

к =

1 , вг =

1к3. Будем предполагать сначала,

что

симметрия отсутствует и

к3 = 2 я/Ь. Разложим / в ряд Тейлора вблизи точки (0,0)

 

 

 

 

л

1

о +

хи Ши (/ху, о +

 

 

/ 1,1 = / + хи г/«с, о +

У\у1/у, о + у ^

+у У?,Ли.О+О(ГЬ>- *=0-1, • • •’1 - 1-

<5-38)

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

Х1 Ч~ У1 ,//у ,0 Н---- 2~ 2х1,г&1,1/хг,0 "Р У1 ,(/т/,о ] = ?1,1 — / . (5 .3 9 )

Так как в системе (5.39) число уравнений, вообще говоря, больше числа неизвест­ ных, то ее можно решать различными способами, например отбрасывать часть урав­ нений так, чтобы оставшиеся определяли искомые производные однозначно. Рассмот­ рим, например, случай, когда число Ь делится на 4, и оставим уравнения с I = О,. Ь/4, 2Ь)4, ЗЬ/4. Обозначая = /3 и аналогично для хии уи1, гг1у получим

Яо = г0,

Уо = 0\

^1 =

0,

 

У1 = Г1]

х2= — г2,

у2 = 0;

х3 = 0,

у3 = г3.

Система уравнений примет

вид:

 

 

 

 

 

 

 

х о1х,г)

 

(Хо/2) / л*л* ,0 =

 

 

х2.1х,о+

о

 

Л

 

 

(д?г/2) /л-.х,о =

/)

 

 

У \1у,о

 

1/ 2) /от,о =

/1 = |/>

 

Отсюда находим:

Уз!у,о +

(Рз/2) /да,о =

/•

 

 

 

 

 

 

 

 

,

 

г2 (/о — /) —г0</2

 

/)

 

Г х ’ ° ~

 

гог3 (г0 +

гг)

 

 

 

±

_ 9 гг ( / о — /) +

го(/г

/)

 

,

_

 

Г0Г2 (Г0 + Г2)

 

 

Гд(А—/) —г \ (/з —/)

 

У ’ °

 

Г1Гз {Г1+

Гз)

 

1

 

4

_

О

гз (/1 — / ) +

П (/з — /) .

 

/VI/,° —“

Г1Г3(п+ Гз)

 

 

(5.40)

(5.41)

(5.42),

Ив (5.42) легко получить формулы для коэффициентов операторов б. Например,.

6*/о,о =

гоМго+г»)

^

1’° ~~ г^1>аь/4+'(Г®—

 

 

 

1 * ’° =

Го (го +

Г2)

Тж.гЬ/4 —

Г* (ГО +

г3)

 

Г*,1 = 0

при

1фО,2Ь/Ь;

 

 

 

 

 

Аналогично

 

 

 

 

 

 

 

 

 

^1/, Ь/4

п (Г1 +

Гз)

*

^1/. з1 /4

Г3 (Г1 +

Г«)

*

(5.43),

 

0 при

1Ф ЦЬ,

 

Гу = Ч 1ГзГ8) •

 

 

Гу, I =

ЗЬ/4,

 

 

 

Если имеется симметрия относительно плоскости 0 =

0 ч- я, то г* — г3 и

 

Чу,щ = ~ ?у,зц* = 1/г г1|

Т =

0>

 

 

 

 

 

 

 

 

<Уо,0 = (Л3Л1) (/1,1/4

А, ЗЬ/4^'

 

 

 

(5.44)/

бв

Если к тому же в силу условий симметрии /1,3174 = ± /1,174, то

6 А о = ( Л з / г 1 ) ( 1 ± 1 ) / 1 > ь /4 .

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

Бз = 8 ,

(5.45)

И о

/у . 0

/х х , 0 /2

Н

о

/уу .0 /2

А ,о —

/

1 о

 

II Со

 

^1, Г-4

1

Х1,0

Уио

х21.0

^1,0^1,0

^1,0

*1,1

У1,1

X2

*1,1У1,1

У\.1

1.1

 

 

^ - 1

А,Ь-1

У\щЬ-1,

Пусть Б т— транспонированная матрица Б. Применяя метод наименьших квадра­ тов к системе (5.45), найдем

8 = (БТБ Г 1Б Т8 = (?$.

Для получения коэффициентов операторов бх, 6У, 6ХЛ, 6Х1/, буу нужно строки матри­ цы (? умножить (считая сверху вниз) на 2/^, 2к3, 2к22, 2к2 к3у 2к32.

§ 6 . Аппроксимация и устойчивость разностной схемы

Несмотря на принципиальную простоту схем постоянного направления, общего кри­ терия их устойчивости для произвольной гиперболической системы не удается уста­ новить даже в Ь2. Здесь мы рассмотрим аппроксимацию и устойчивость описанного в § 5 алгоритма на некоторых простых, но достаточно полно отражающих суть дела примерах. Другие виды схемы постоянного направления исследованы в работе од­ ного из авторов [161].

1. Основные понятия и обозначения. Рассмотрим для гиперболической системы

 

= °

<61>

задачу Коши с начальными данными на всей плоскости

х3г

1»Х%, ^з)»

Здесь А, В , С — постоянные матрицы порядка Д,

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

условию

гиперболичности.

Применим для решения этой задачи разностную схему (5.3), которую, несколько изменяя обозначения, запишем в виде:

Д|,}+1 + 2X1-4Дх,,;+1+"2 Ах*,34"^^Ах,,;}М?”# ;=0,

(6.2)

где и>т,ь,I = и?п (х^, х2<к, хы ) =

шп (тНи /ск2, 1к3), ха = т/к$, а + Р = 1 и операто-

ры

и Дх$>, определены формулами:

 

Д<| 3| Р} - 1

- ^ 6**, - ^ бэ д } (Тг + 1) ,

= («Р’ + Ы )(Т1- I),

Ах,.; = :(аР> + р1)(Т2 - ■Т31)(Т 1 + 1), А*»,;’ = («р Ч Р Л ^ з - Т?) (Тг + 1),

***«= Т2 - 2 1 + Т3\ = Т 3- 2 1 + Т 1 \

Р]и;п = +0),

Ткизп+(’>(х1<т, х.и к, X.,',) = гкп*(Цхит + ки х2~к, х3, ;) и т. д.

Мы будем предполагать, что значения сеточной функции и?0 на нулевом слое сов­ падают со значениями функции и0 на сетке, т. е. ю°(хиту х2чкУя3,*) = и°(хЬтп, х2уку я3,0 - Для исследования удобно рассматривать разностные уравнения (6.2) на «плаваю­ щей сетке», т. е. полагать, что аргументы сеточных функций и>п(х1у х2Ух3) принимают не только кратные Н8Уно и любые действительные значения. Тогда ю°(х1Ух2Уя3) про­ сто совпадает с и?(х1Ух2Ух3). Будем также предполагать, не оговаривая этого специ­ ально, что функции и>п(х1Ух2у х3)укак и функция и(х1Ух2у х3у 2), непрерывны и диффе­

ренцируемы нужное число раз. Формулу (6.2) можно записать так:

 

 

(Г.) />,'+ч+ '151 (Г.) Р*+ |$ 0(Г.)} юп (хи х2, х3) =

0, / = 0, 1

 

1,

(6.4;

где 1$0, |519 3 2 — многочлены от операторов сдвига Т8 (5= 1 , 2, 3) с матричными коэф­

фициентами

 

 

 

 

 

 

 

 

 

 

 

 

$ 0

=

-

Е { / +

( Г ,

- 2 1

+ Т?) + * *

( Т 3 - 21 +

Г ^ 1)} ( 7 \ + 1) +

2? х к А

( Г х-

1) +

 

 

 

 

+ ^

В

(Т2 -

Т?) +

^

С (Т3 -

Г ;1)}(Тх+ 1 ),

 

 

 

^

= { ^ В ( Т 3 -

Т?) + ^ С

(Т3 - *?;} (Г, + 1),

 

 

 

 

 

3 2 = Е (Тг + /) -}-2а

г— 1).

 

 

 

 

 

 

(6.5)

/ =

Предполагая,

что

(6.4)

позволяет последовательно вычислить по шп все

шп+(Л,

1 , 2 ,..., / , запишем: 1»п+(<П=

ууп+г =

3бьипу где 35 — некоторый оператор, перево­

дящий у)п в и?п+1. Последовательное применение оператора 35 позволяет выразить шп

для любого п через иР : юп =

Х п ю°.

 

 

 

 

 

 

 

 

2.

Аппроксимация дифференциального оператора разностным. В соответствии с

обычным определением понятия аппроксимации будем говорить,

что разностный

оператор Х х аппроксимирует дифференциальный оператор X с точностью до О (тр),

если

при т — 0 для любой

достаточное

число

раз

дифференцируемой

функции

V (х1у

х 2у х 3у I) выполняется условие [162]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

<5т [ у ] - д

а | | = 0|(тр).

 

 

 

(6.6)

Здесь Ы обозначает функцию, полученную из V проектированием в область опреде­ ления разностного оператора Х%у а у} — результат проектирования функции Х 0

в область значений оператора Хх. В нашем случае

переход от г; к [г;] означает введе­

ние сеточной функции

 

 

 

 

 

 

 

 

(хъ х2, х3) =

V (хи х2, х3,

+ пх) = у (х1ч х2, х3, *п)>

 

а у} означает,

что Ху вычисляется в

точке с координатами (ат11т +

х2%\ +

+ '0'2к2, хз1к +

*п +

Фт)- Иными словами, мы относим значение разностного опе­

ратора Xт [г;] к некоторой точке пространства, не обязательно совпадающей с узлом

сетки (последнее будет только, если ^

 

^ = Фд = Ф = 0).

 

 

Число р называется порядком аппроксимации или просто порядком разностной

схемы.

 

 

 

 

 

 

 

 

 

Оператор X определен однозначно

формулой (6.1). Оператор Xт определяется

формулой Хч и) = т-1 Ж(и?п+1 Хи>п),

где СК— некоторый оператор,

зависящий

от

параметров

схемы

и выбранный так,

чтобы число р в

(6.6) было

возможно

большим.

 

 

 

 

 

 

 

 

 

В результате для схемы (6.2) получаем условие аппроксимации:

 

 

 

| х-\Ж{и (хи

х3, х3, 1п +

х) —

х2, [х3,

(")}—

 

+ А

 

+ С

у

 

хг+

^ 2 , *з +

&аК 1п + ет)|| = О(-г»),

 

 

 

 

 

 

 

 

 

(6.7)

При переходе к пределу при т - > 0 в (6.7) предполагается, что шаги квсуть известные функции т и ка(т) 0 при т 0. Мы будем в дальнейшем предполагать, что х8= = сопзЪ и ка= хрт, 5 = 1 , 2, 3.

В формулах (6.6) и (6.7) V является произвольной функцией из области опреде-’ ления оператора X. Однако при практическом решении задачи нас интересует в пер­ вую очередь близость решения разностных уравнений к решению системы (6.1). Заменяя в (6.6) произвольную функцию у точным решением и(хх, х2, х31) уравнения Хи = 0, приходим к понятию аппроксимации на точном решении и условия (6.6) и (6.7) переходят соответственно в

И2 * МИ = ОХхр0,

(6.8)

1!“ (*1> *2> *8. <П|+ Т) — 35и|(*1. Х2, >3, <п)1 = О(тР‘+1).

(6.9)

Смысл введения понятия аппроксимации на решении состоит в том, что р^во многих случаях (особенно для явных и итерационных схем) оказывается больше р.

Имея в виду применение нестационарного процесса для получения стационар­ ного решения й(х^ х21 х3) системы (6.1), удовлетворяющего сисгеме

 

 

 

 

 

 

 

 

(6.10)

применим (6.6) для оценки аппроксимации оператора

«стационарным» разност­

ным

оператором

Й?т. Последний получается из 5?*, если положить в разностной схе­

ме гип = гуп+№=

ш (а^, х2, х3), что соответствует

замене

в (6.4) операторов РСт) на

тождественные.

получим

 

 

 

 

В

результате

 

 

 

 

 

 

 

 

Хч1У== 2 (Та) ги(хи х2л

х3) = 0,

 

 

(6.11)

где

 

 

 

 

 

 

 

 

2 =

т-1 {$0+ ^

+

з*} =

К А (Тг - / ) + ! {к?В (Т2 -

Т?) +

К?С (Т3 -

Т?)} х

 

X (Тг + 1) -

1

Е

(Т3 - 2 1 + Т?) +

(Т3 -

21 +

7?)> (Тг +

/). (6.12)

 

 

 

 

«

 

 

 

 

Условия (6.7) и (6.9) примут вид

 

 

 

 

Ц2 (^в) V(^1»Д:2»Х?) ^~дХ1

~дх2

^ ~дхз) ** (Ж1 Н“

 

+

'®*2^2'2» ХЪ+ ^З^з) || =

 

 

 

=

0(*9),

 

 

(6.13)

 

 

| 2 (Т) и(х1л ж„, х3) | = 0 (т««).

 

(6-14)

3.

Метод Фурье. Для фактического исследования

аппроксимации,, а также устой­

чивости разностной схемы (6.2) применим метод Фурье [163]. Предполагая здесь и

далее, что функции м;п+0) (а^, х2, х3) удовлетворяют условиям,

обеспечивающим за­

конность преобразования по всем переменным, выпишем формулы, связывающие

грп+Щхц х2л х3) и

ее преобразование Фурье РРЛ+(Я (^1?

 

^3):

 

 

 

 

оо

 

 

 

 

 

^

П+(,) (^1. Ег! 1з) =

$ $ $гип+0) (X!, х2, х3)е’а*‘<1х1'д,хъс1,х3,

 

и'"+У) (*к.**• * ) =

 

со

Ь)

(6.15)

 

 

$ $^П+(Л(1ь

Ъя<*6,

где условно обозначено х1 = х ^

+ х2\ г + я3| 3.

 

 

 

 

Формулы (6.15) и аналогичные им устанавливают взаимно однозначное соответ­

ствие между функциями

]Уп+(з\

и, V

и

их преобразованиями Фурье ЙРп+0‘)

С/

у

которое сокращенно обозначается

знаком

 

 

*

™ПНП(* Ь

*». *3> ~

И^”+(Л (Бь

Ь ,

|з ) |

 

 

I; (а?!, х2, х3, 2) ~

У (5х, ^а>5з> 0

и

т.^д.

 

 

Если принять в качестве нормы ю и норму Х2, то преобразование (6.15) будет

сохранять ее:

 

 

 

 

 

'

 

 

1^

1 = 11^

1,

|„ | = | 7 | и х . д.

 

 

Это обстоятельство существенно облегчает исследование устойчивости и аппрокси­ мации в норме Х2, которое проводится в этом параграфе.

Из (6.15) легко получить хорошо известные соотношения

 

 

2>

П+(Л ~ е-***\УпМ-л ,

— • шп+а) ■

*|.ИГП+(Я,

(6.16)

 

 

 

д у ____... у

ду

дУ

 

 

 

 

 

дх

Ъ 8У1

Я*

яГ •

 

 

 

 

 

 

 

д1

дЬ

 

 

Используя (6.4) и (6.16), получим формулу, связывающую И/П4(;+1), руп+<»>

 

(*"&)

+

<?!(«"“А) ШпН11 + ^ (е^А) ЦГп = 0.

(6.17)

Условие разрешимости системы (6.4) относительно ц>п+&+1) эквивалентно сущест­

вованию при

всех

6,

обратной

матрицы {8 2(е"^»)}-1.

Поэтому П,п+(5+1) можно

выравить явно {через И',п+У) и \Уп

 

 

 

 

 

 

 

 

(?1И^"+<У) +

<?0ТГ\

 

 

 

 

 

О х - - Я Х

<?0 =

- ф й о .

 

(6Л8)

Матрицы <?0 и

являются рациональными матричными функциями от своих аргу-

! мёнтов Т $ или

г"****».

 

 

 

 

 

 

*>

Применяя (6.18) /

раз, получим выражение

 

через \Уп

где

 

 

м п+1 = жп+(Л=

о а й л , е л , е л х и ^,

 

(6.19)

 

 

 

 

 

 

 

 

 

С/ =

+

{# +

@* + . . . ~Г ^1

^0 = ^1 ^

9 *) ^

1

(6-20)

И

 

 

 

С/ =

+ (?0,

&0 =

 

 

 

 

 

 

 

 

Матрица О], называемая матрицей перехода разностной схемы [1631, определяет

в пространстве

преобразований Фурье оператор,

эквивалентный 25, однако значи­

тельно более

простой

структуры.

 

 

 

 

 

Применяя преобразование Фурье к системе (6.1), получим для ЩЪх, Ез» Е3, I) на

основании (6.16) систему обыкновенных уравнений относительно I

с парамет­

рами 1Я:

 

 

 

 

 

 

 

 

 

 

 

 

 

™ --Ц А Ъ 1 + В Ь+ С Ъ я)1Г = 0.

 

(6.21)

Решение (6.21) дается известной формулой [164]

 

 

 

 

 

 

и (Еь Ёз, Б., *) =

 

(Еь Е>, Ба, *о),

 

(6.22)

где В = АЕХ+

+

б'Бз*

 

 

 

 

 

Стоящая в правой части (6.22) экспоненциальная функция с матричным показа­

телем определяется всюду сходящимся матричным рядом

 

 

 

 

 

 

е™ = Д +. +

4 - .. •

 

 

Рассмотрим

теперь

преобразование

Фурье

выражения т“1«#(г/п+1— 26г;п) — {2л;}9

которое имеет

вид:

 

 

 

 

 

 

 

х-Ж (Уп+11-

С ,Г ) -

ехр[[—I

д,й,6. +

# Л Ь )]

 

(* + <*),

где А —■оператор в пространстве преобразований Фурье, эквивалентный ЯГ.

Так как преобразование Фурье сохраняет норму в Ь2, то условие (6.7) эквивалент­

но условию

 

 

 

 

 

|г* Х [7 (« п +

т ) - С ,7 ( * 4) ] -

 

 

- ехр [ - I(О Л Ь +

 

-

ш ) V (<” +

Фт) | = О(т*).

(6.23)

Аналогично (6.9) эквивалентно условию

 

 

 

 

Iг-1 [17 (*п +

т) -

СV (*я)] II = О (тр0.

 

 

Но И8 (6.22) следует, что Щ1п +

т) =

Э17п(*п),

где 5? =

— матрица перехода

для то чного решения. Окончательно получаем, что (6.9) эквивалентно условию

 

1 (9 |- С/) г7[(^)[|| =К(ЭК<?/)>и)|П^ 01 = О (*Р1+1).

(6.24)

Так как С/° — произвольная функция ив

то (6.24) означает, что разложения

$ ж по степеням т совпадают до членов порядка 0(т*>') включительно. Эта форму­ лировка условия аппроксимации на точном решении наиболее удобна для практиче­

ской проверки. Учитывая, что&3=

х,""1?,

положим ср, = НаЪа, <р = ] / ф5 + <р* -)-ф8

и будем рассматривать матрицы

и ^ к а к

функции переменных фв. Очевидно, что

Соседние файлы в папке книги