книги / Течения газа около тупых тел. Метод расчета и анализ течений А. Н. Любимов, В. В. Русанов
.pdfРи = р-С'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; + |
[13т — Р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
в область значений оператора Хх. В нашем случае |
переход от г; к [г;] означает введе |
||||||||
ние сеточной функции |
|
|
|
|
|
|
|
||
|
Vй (хъ х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) экспоненциальная функция с матричным показа |
|||||||||
телем определяется всюду сходящимся матричным рядом |
|
|
|||||||
|
|
|
|
е™ = Д +. 1Ш + |
<а 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 |
и будем рассматривать матрицы |
и ^ к а к |
функции переменных фв. Очевидно, что |