Файл: Марчук, Г. И. Численное решение задач динамики атмосферы и океана.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 19.10.2024
Просмотров: 97
Скачиваний: 0
Такой анализ разностных схем был предложен А. И. Жуковым Анализ соотношения (6.8) показывает, что при
Jux
1
Ах
соотношение (6.8) можно толковать как уравнение с областью опре деления решения xk_ х ^ х ^ xk, t;- sg t sg tj +1.
Если положить, что отброшенные члены в (6.8) малы, то в резуль тате приходим к уравнению теплопроводности
дф дф 02ф
dt ' |
дх ^ д х * ' |
где
и Ах — м2т
является так называемым коэффициентом искусственной или «счет ной» вязкости. Заметим, кстати, что если
их .
ДГ = 1’
то [I — 0 и будут равны нулю все другие отброшенные слагаемые, и явная схема (6.3) окажется схемой бесконечного порядка аппрокси мации по Дх и т.
Особо следует отметить тот случай, |
когда |
|
||
|
|
> 1. |
|
|
В этом случае приходим к уравнению |
|
|
||
£ф_, |
7. і £ |
— |ц |
д2ф |
(6.9) |
dt |
дх |
д~хі - |
||
Легко видеть, что уравнение (6.9) при начальном условии |
|
|||
ф = ф° (х) |
при t = 0 |
(6.10) |
приводит к задаче, некорректно поставленной по Адамару. Решение этой задачи неустойчиво по отношению к малым вариациям в началь ных данных. При построении разностных уравнений для задач вида (6.1) необходимо всегда учитывать условие корректности задачи
Исследуем теперь проблему счетной устойчивости схемы (6.3). С этой целью сначала рассмотрим спектральную задачу
|
(A ^)k = u - Ад^ |
— - |
(6.11) |
1 |
См. Рож дественский Б . Л ., Я ненко Н . |
Н . «Системы квазилинейны х у р ав |
|
нений |
и их прилож ения к газовой динамике». |
|
на бесконечном сеточном интервале Dh = (—°о <; хк < |
оо).^ Реше |
ние уравнения (6.11), ограниченное в Dh, имеет вид |
|
щ = еікРд*, |
(6.12) |
где р — произвольное целое число. Подставляя (6.12) в (6.11), при ходим к выражению для собственного числа
Кр — |
^2 ein2 - ~ 2 |
х + i sin р Ax^j. |
(6.13) |
Уравнение (6.3) запишем в операторной форме |
|
||
|
+ Л Ѵ = 0. |
(6.14) |
|
Решение уравнения (6.14) будем искать в виде |
|
||
|
Ф'-= 2 |
Ф ^ рДх, |
(6.15) |
|
/7=—ОО |
|
где ф£ — коэффициент Фурье |
функции |
ср*. Для коэффициентов фр |
получаем уравнение |
|
|
Фр+1-Фр ■ЬЯрфр — 0. |
||
Отсюда |
|
(6.16) |
фГ |
= Урфр, |
где Гр = 1 — тЯр — множитель перехода для коэффициентов Фурье. Найдем условие, при котором все компоненты ф|, не возрастают
по модулю. Таким условием будет |
|
|
|
|
|
|
|||||||
|
|
|
|
|
11 — тЯр I SC 1. |
|
|
|
|
(6.17) |
|||
Это неравенство имеет место, |
если |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
U% |
^ |
л |
|
|
|
|
|
|
|
|
|
|
|
- г - |
1. |
|
|
|
|
|
|
самом деле, |
|
|
|
|
Дх |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
11 — тЯр I2 = ( |
|
|
|
|
|
|
|
|
|
|
||
= |
1 — 4 |
Ах s in 2 |
|
|
|
|
|
|
|
|
|
|
|
а |
1 их t а р Ах . |
, / иг \2 |
. „ р Ах |
( |
. „ р Дя , |
О р Дя |
|||||||
= 1 - |
4 -т — s in 2 |
2 |
+ |
4 ( д я ) ЗШ |
2 |
( 8Ш |
2 + C0S 2 |
) - |
|||||
|
Дя |
|
|||||||||||
|
|
= |
1 - |
|
|
|
|
|
|
|
|
|
|
Если |
> 1 , |
то |
11 — тЯр I > 1 . |
Поэтому |
|
остается |
рассмотреть |
||||||
область изменения | 1 |
— тЯр | |
при 0 < |
^ |
^ |
1 (напомним, |
что мы |
44
предполагали |
u > 0 ) . |
Функция |
|
|
А |
в |
этом интервале |
|
принимает наибольшее значение, равное |
|
|
||||||
— при |
|
|||||||
|
|
|
их |
_ 1 |
|
|
|
|
|
|
|
Ах |
2 |
|
|
|
|
И в этом случае 11 — хК | = 1 — sin2 |
|
= |
cos2 |
При осталь- |
||||
|
|
|
|
|
L i |
|
L i |
|
ных значениях |
Ы-Т |
|
|
л |
Ц Т |
^ |
л |
положительная |
|
из интервала 0 ^ |
|
1 эта |
|||||
функция, уменьшаясь, |
стремится к нулю на концах при дх = О |
и= 1. Это значит, что имеет место неравенство
Отсюда следует справедливость высказанного выше утверждения. Таким образом, мы приходим к условию счетной устойчивости разно стной схемы. Легко видеть, что в рассматриваемом случае устано вленный критерий устойчивости совпадает с условием корректности уравнения (6.8).
Переходим теперь к обсуждению неявной разностной схемы (6.4). Методом, изложенным выше, нетрудно показать, что схема (6.4) также имеет первый порядок аппроксимации по Ах и т. С помощью разложения в ряд Тейлора при х = xk и t = tj получаем уравнение, аналогичное (6.8)
(6.18)
где
и Дх + и2т
Уже здесь можно констатировать принципиальное различие соотношений (6.8) и (6.18). В последнем уравнении коэффициент счетной вязкости всегда положителен. Следовательно, уравнение (6.18) при соответствующих достаточно гладких начальных данных всегда корректно. Нетрудно показать, что разностное уравнение (6.4) устойчиво при любом соотношении шагов, т. е. абсолютно устойчиво, поскольку множитель перехода для каждого коэффи циента Фурье равен
Отсюда следует, что
Из интересных и весьма употребительных разностных схем, кроме (6.3) и (6.4), можно привести следующие:
ф£+1- ф£ , |
фЙі -Ѵ Д л |
(6.19) |
||
|
^ |
2Дя |
|
|
и |
|
|
||
|
|
|
|
|
ф £+ 1- ф £ , |
ф £+-‘і 2— y j - ' i 2 |
А |
( 6. 20) |
|
т |
W |
2 Ах |
|
|
|
’ |
|||
где |
|
|
|
|
|
фГ ‘/2 = |
-|(фі+1 + фй)- |
|
|
Нетрудно установить, что схема (6.19) является схемой первого порядка аппроксимации по т и второго по Ах. Соответствующее этой схеме дифференциальное уравнение будет иметь вид (6.18), где
Что касается устойчивости, то она определяется операторами перехода для коэффициентов Фурье. Получаем спектральную задачу
( A 4 k = « Щ*12 ^ к~1 = Ь>*. |
(6.21) |
Решение уравнения (6.21) будем искать в виде (6.12). В результате для Хр будем иметь
Хр = i-^ -sin рАх, |
(6.22) |
откуда непосредственно следует, что для коэффициентов Фурье имеем уравнения
Фр+1-Ф{,
+ К ч’р'1= 0
фр+1 = трф'> |
(6.23) |
где
т= — -—
р1 + тХр‘
С учетом (6.22)
Т —______ і______
Рих
1 + І |
sin р Ах |
и, следовательно,
________1__________ 1.
/ 1+ ( 1 7 ) 2sin2/,A*
Отсюда следует абсолютная счетная устойчивость схемы (6.19). Наиболее интересной в приложениях является схема Кранка —
Николсона (6.20). Нетрудно убедиться, что эта схема второго по рядка аппроксимации по т и Ах и не диссипативна. Это значит, что
4В
в дифференциальном уравнении (6.18) имеем р = 0, а отброшенные члены имеют порядок т Дж, т2 и Дж2. Что касается счетной устой чивости , то в данном случае мы имеем
Т |
=■ |
2 Az sin р Ах |
* р |
1-Н |
ит |
|
2Дж sin р Ах |
и, следовательно,
Тр 1= 1-
Таким образом, эта схема является абсолютно устойчивой. Необ ходимо отметить, что если в схеме (6.3) разностное выражение для
и ^ в форме
„ ф£ - фL i
ид5
заменить на
Дж ’
то полученная разностная схема при и > 0 окажется неустойчивой при любом соотношении шагов. Доказательство очевидно.
В заключение рассмотрим еще один интересный метод численного решения задачи (6.1) на основе так называемой схемы «бегущего счета». Предложенная Л. Д. Ландау, Н. Н. Нейманом и И. М. Халатшшовым эта схема имеет вид
Нетрудно показать, что эта схема второго порядка аппроксимации по г и первого по х. Она реализуется рекуррентным соотношением
|
их |
|
ит |
|
|
|
<РІ+1‘ |
2 Ах |
ФЛ- |
2 Ах |
(ф і-і + фл-і) |
(6.25) |
|
их |
А_і_ их |
|||||
1+ |
|
|
|
На основе анализа устойчивости по Нейману с помощью метода Фурье нетрудно доказать, что схема (6.24) абсолютно устойчива.
Аналогичным образом можно построить абсолютно устойчивую схему «бегущего счета» для многомерной задачи движения и доказать абсолютную ее устойчивость в случае уравнения с постоянными коэффициентами.
Обратим внимание теперь на тот факт, что всюду выше пред полагалось, что и постоянна и положительна. Если и отрицательна, то заменой х на —х приходим к уравнению, которое рассмотрено выше. Однако особый интерес для приложений имеет случай, когда и = и (ж, і). Уже самый простой анализ показывает, что в этом слу чае даже при использовании неявных диссипативных разностных схем возможно нарушение счетной устойчивости. Особенно это
47