книги из ГПНТБ / Марчук, Г. И. Численное решение задач динамики атмосферы и океана
.pdf£ = 0, на которой поставлены условия (1.33), Функции |
считаем |
|||
непрерывными вместе со своими первыми производными на S. В каче |
||||
стве начальных данных примем |
|
|
|
|
и = и0, ѵ = ѵ0, |
Г = Г 0, S' = Sf0, |
(1.35) |
||
Р'=Ро |
при |
2 = 0. |
||
|
||||
В результате для разности решений получим функционал |
||||
J j j nd-D = — J I (it/я + unp')dS, |
|
|||
D |
D |
|
|
|
где |
|
|
|
|
J J(Kn + unp') dS = I J (ulnn + unp') dS + |
|
|||
S |
2 |
|
|
|
-Г J J (K n 4- unp‘) dS + |
J J (u'nn + unp‘) dS. |
(1.36) |
||
ff |
|
a0 |
|
Первый интеграл в правой части (1.36) обращается в нуль вследствие условия на твердой части контура
ип —0, |
ип{ = 0 на |
2 - |
(1-37) |
||
Второй интеграл обращается в нуль вследствие условия |
|
||||
и = 0, у = |
0, |
Т* —0, S* = 0 на а. |
(1.38) |
||
Поскольку на поверхности 0О(z = 0) |
|
|
|||
и = 0, |
і7 = 0, |
Г = 0, |
£* = 0, |
(1.39) |
|
|
_ |
1 |
др’ |
|
|
dp dt ’
то последний интеграл приводится к виду
1 1 « л + ипР) dS= |
^ 4 r \ \ Ir ds- |
(1'40) |
|
<т0 |
™ |
°о |
|
Таким образом, приходим к |
|
тгМ=°- |
<*•«) |
|
|
||
I X ) |
°о |
) |
|
Поскольку под знаком интеграла стоят квадратичные функции, задача при однородных начальных данных будет иметь только три виальное решение. Таким образом, единственность такой поста
новки задачи также доказана.
Следует отметить, что впервые теорема единственности для си стемы уравнений динамики океана, линеаризованной относительно состояния покоя, была доказана Л. В. Овсянниковым. 1
1 См. О всянников Л . В . «Теорема единственности для линеаризованной си стемы уравнений динамики океана».
61
В заключение отметим одно важное обстоятельство, связанное с решением указанных задач. А именно, если не производить лине аризацию исходной системы и в качестве граничных условий выбрать
условия (1.34), положив |
/,■ = |
0, то существует закон |
сохранения |
энергии в виде (1.41) или |
|
|
|
\1Jя1d |
D |
1f 4 -ds= const- |
<142> |
При этом константа определяется начальными данными задачи. Аналогичным образом могут быть доказаны теоремы единствен
ности и в случае, когда в уравнениях динамики присутствуют силы турбулентной вязкости.
3.2. ОПЕРАТО РНА Я ЗАПИСЬ ЗА Д А Ч
И ОСНОВНОЙ А ЛГОРИТМ РА СЩ ЕП Л ЕН И Я
Рассмотрим одну из постановок задач на базе системы уравне ний (1.12). В качестве граничных условий примем равенство нулю нормального компонента вектора скорости на всей поверхности, охватывающей область определения решения D. В начальный момент времени считаются заданными величины и, ѵ, Т и S.
Итак, в окончательной формулировке имеем следующую задачу:
-|т-+ dіѵ и’и — Іѵ + -4- |
= 0, |
|
|||||
dt ' |
|
|
|
|
р ах |
’ |
|
+ div ufa -f Іи -f і |
= 0, |
|
|||||
dt |
|
|
|
|
р ду |
|
|
^ - ^ g ( a TT +asS) |
в D x D t, |
|
|||||
ди |
, |
дѵ |
, |
dw |
_р. |
|
|
дх |
' |
ду |
' |
dz |
|
’ |
|
+ |
div u' T -|- yTw = 0, |
|
|||||
/fc |
div u!S + Ys^ = 0. |
(2.1) |
|||||
+ |
Здесь штрихи при функциях р, S и Т ради простоты опущены и ис ключено из рассмотрения р. Предположим, что в этой системе вектор скорости и1 задан. В конце настоящего параграфа при обсуждении вопроса об организации вычислительного процесса этот вопрос обсужден весьма детально.
К системе (2.1) присоединим граничные условиям
w = 0 при z = 0,
w = 0 при 2 = Я, |
(2.2) |
ия = 0 на о,
62
где а — береговая цилиндрическая поверхность, которую будем «читать состоящей из кусков координатных плоскостей.
В качестве начальных данных примем
и = и°, ѵ = ѵ \ T = T ° n S = S° при t = 0. |
(2.3) |
Будем предполагать, что входные данные задачи обладают доста точной гладкостью, обеспечивающей единственность решения задачи.
Введем теперь в рассмотрение векторы cp, |
F и матрицы А и В |
|||||||||
и |
р div u; |
-Z p |
|
0 |
|
д |
|
0 |
|
0 |
|
|
|
|
|
|
дх |
|
|
|
|
V |
Zp |
р div uZ |
0 |
|
д |
|
0 |
|
0 |
|
|
|
|
|
|
|
ду |
|
|
|
|
W |
0 |
0 |
|
0 |
|
д |
—gaT |
|
~gas |
|
|
|
dz |
|
|||||||
, А = |
д |
д |
|
д |
|
|
|
|
|
|
|
|
0 |
|
0 |
|
0 |
||||
р |
дх |
ду |
|
dz |
|
|
|
|||
|
|
|
|
|
|
|
|
|||
Т |
0 |
0 |
|
gaT |
|
0 |
gaT |
|
i |
0 |
|
|
-----divu' |
|
|||||||
|
|
|
|
|
|
|
gT |
|
|
|
S |
0 |
0 |
|
S a s |
|
0 |
|
0 |
|
gas divuZ |
|
|
|
|
|
|
|
|
|
|
Уs |
|
u° |
p |
0 |
0 |
0 |
|
0 |
0 |
|
|
|
v° |
0 |
p |
0 |
0 |
|
0 |
0 |
|
|
|
0 |
0 |
0 |
0 |
0 |
|
0 |
0 |
|
|
F = |
0 |
0 |
0 |
0 |
0 |
|
0 |
0 |
|
|
JiQ |
|
|
|
|
|
gaT |
|
|
|
|
|
0 |
0 |
0 |
0 |
|
0 |
|
|
||
|
|
|
|
|
|
|
Ут |
gas |
|
|
|
S° |
0 |
0 |
0 |
0 |
|
0 |
|
||
|
|
ys |
|
|||||||
|
|
|
|
|
|
|
|
|
||
Систему уравнений (2.1) запишем в виде |
|
|
|
|||||||
|
|
В%-+А<г = 0 |
|
|
|
(2.4) |
||||
11 в качестве начальных данных примем |
|
|
|
|
|
|||||
|
|
В<р — BF при t = 0. |
|
|
(2.5) |
Для записи системы уравнений (2.1) в форме (2.4) мы предвари тельно изменили вид уравнений (2.1), умножив их соответственно
gaT gas
на р, р, 1, 1 —- и —- .
Ут Уs
63
Умножим теперь (2.4) скалярно на <р. Тогда получим
Ф) + (4 Ф» Ф) = °* |
(2-6)' |
Нетрудно проверить, что с учетом условий (2.2) имеет место следующее соотношение:
(А<р, <р) = 0, |
(2.7) |
где скалярное произведение определено обычным образом |
|
|||
6 |
г |
|
|
|
(а, і>) = 2 la 'f r d D . |
|
|
|
|
1=1 D |
|
|
|
|
Где а1 и Ь* — компоненты вектор-функций а и |
Ъ. Это значит, |
что |
||
( В ф, ф) = (B F , |
ф°) = const, |
|
(2.8) |
|
где ф° — начальный вектор (при t |
= 0). |
|
|
|
Расписывая выражение (2.8) в покоординатной форме, приходим |
||||
к соотношению |
|
|
|
|
(Вц>, ф) = 2J J\ n d D = 2 J J jn ° d D , |
(2.9) |
|||
D |
D |
|
|
|
где |
|
|
|
|
i_ p (u*+ v*) + ~ - T * |
Sas |
S2 |
|
|
2 |
VT |
Ys |
|
|
|
|
|
—функция, ранее определенная формулой (1.15). Введем далее в рассмотрение матрицы
|
р div и> |
0 |
0 |
0 |
0 |
|
0 |
|
0 |
р div и' |
0 |
0 |
0 |
|
0 |
|
0 |
0 |
0 |
0 |
0 |
|
0 |
А |
0 |
0 |
0 |
0 |
0 |
|
0 |
|
|
|
|
£ат 1. |
J |
|
|
|
0 |
0 |
0 |
0 |
0 |
||
|
-----diviH |
|
|||||
|
|
|
|
|
Ут |
|
|
|
0 |
0 |
0 |
0 |
0 |
|
e(*s div ul |
|
|
|
|
â |
|
|
Уs |
|
0 |
-Г р |
0 |
0 |
|
0 |
|
|
дх |
|
|||||
|
|
|
|
|
|
|
|
|
1Р |
0 |
0 |
д |
0 |
|
0 |
|
Ту |
|
|||||
|
0 |
0 |
0 |
д |
- g a T |
|
- g a s • |
|
dz |
|
|||||
|
|
д |
д |
0 |
0 |
|
0 |
|
дх |
Ту |
dz |
|
|||
|
|
|
|
|
|||
|
0 |
0 |
gaT |
0 |
0 |
|
0 |
|
0 |
0 |
gas |
' 0 |
0 |
|
0 |
64
Матрица А связана с А х и А 2 соотношением
А = Аг-|- А 2.
Нетрудно проверить, что при удовлетворении компонентами ре шения условий (2.2) имеют место следующие соотношения:
(АіЧ>, ф) = 0, {А2ф, ф) = 0. |
(2.10) |
Условия (2.10) являются необходимыми для построения устой чивых разностных схем расщепления, обладающих вторым поряд ком точности по т. Такие схемы построим на основе двухциклического
метода покомпонентного расщепления (см. § |
2.3). С этой целью пред |
|||
положим, что весь временной интервал 0 |
t |
^ |
Т разбит на равные |
|
интервалы tj_ х ^ t |
ti шириной tj — t]-^1 |
= |
т, и для реализа |
ции двухциклического метода расщепления рассмотрим более ши рокий интервал tJ-_1 ^ t ^ tj+1, состоящий из двух интервалов.
Далее важно подчеркнуть, что в уравнениях (2.1) вектор-функ ция u ' берется одной и той же для всего интервала tt _ x t ^ t]+1. Только в этом случае двухциклический метод приводит к решению
второго порядка точности по т. |
tj_ x ^ t sg tj запишем |
систему |
|||||
Тогда на |
первом |
интервале |
|||||
расщепленных |
уравнений |
в |
виде |
|
|
||
|
В ^ Г + АгФ! = 0, Бф /-і=Бф /-і, |
|
|||||
|
В ^ - + Агф2 = 0, |
£фМ = £ф{, |
(2.11) |
||||
в затем на интервале |
tj ==s |
t ^ |
tj+1 |
|
|
||
|
В ^ Г + А*Фз = 0. |
Bqt = B<plt, |
|
||||
|
В ~ И + А ^ 4 = 0» |
#ФІ = #ФІ+1, |
(2.12) |
||||
где ф/_1 — решение задачи |
(2.1) |
— (2.3) в момент времени |
Заметим, кстати, что второе уравнение из системы (2.11) и первое Уравнение из системы (2.12) совпадают, поэтому их можно решать в едином цикле сразу на интервале iy .j ^ і ^ tj+1. Тогда схема расщепления (2.12) может быть представлена всего из трех урав нений:
|
£ф/-і = .ВфЫ, |
’ |
|
В ~W~ |
= 0 |
(tj-i ^ |
^ £/+і)> |
|
Bcp'fi = Вср{, |
|
|
в ^ Г + Ахф3 = 0 |
( t j ^ t ^ t j+1), |
||
|
ВуІг= Вч!+К |
(2.13) |
5 Заказ 674 |
65 |
|
В |
покомпонентной |
форме |
задачу |
(2.13) |
перепишем |
на |
первом |
||||||
шаге |
(tj _1 иг t |
t}) |
в виде |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
- ^ - + div u^ux = 0, |
|
|
|
|||||||
|
|
|
|
|
|
+ d iv и^ѵг = О, |
|
|
|
|||||
|
|
|
|
дТг |
- div uiTx= 0, |
|
|
|
||||||
|
|
|
|
дТ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dSi |
div uiS1= 0 |
|
|
(2.14) |
||||||
при |
условии |
|
dt |
|
|
|||||||||
|
|
div ui = 0, |
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|||||
и |
начальных данных |
|
ui = 0 |
|
на |
о |
|
|
|
(2.15) |
||||
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
uff1 —и!-1, |
v[-1 = v>~1, |
Т[~1 = Ті-1, S'{~1 — S'-1; |
(2.16) |
|||||||||
на |
втором шаге |
(t]-_1 ^ t |
tj+1) |
|
в |
виде |
|
|
|
|||||
|
|
|
|
ди2 |
— |
In- -1- |
1 |
dPi |
=0, |
|
|
|
||
|
|
|
|
d t |
P |
d x |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
dv2 |
b Iй 2 ~b 1 |
d p 2 |
|
|
|
|
||||
|
|
|
|
dt |
|
|
|
P |
dy |
|
|
|
|
|
|
|
|
|
|
дт |
y Tw2 = 0, |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dt |
+ YsW2 —0, |
|
|
|
(2.17) |
||||
где между компонентами решения имеются связи в форме |
уравнений |
|||||||||||||
|
|
|
|
|
— 8 (атТ2+ &sS2), |
|
|
|
||||||
|
|
|
|
âu2 |
, |
дѵ2 |
1 |
|
|
=о, |
|
|
(2.18) |
|
при условии |
|
дх |
|
ду |
|
dz |
|
|
||||||
|
w2 = 0 при Z — О, |
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
w2 = 0 при z = H, |
|
|
|
|
||||||
и |
начальных данных |
(и2)п=она а |
|
|
|
(2.19) |
||||||||
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
ul~i=u[, |
ѵІ~і = Ыѵ |
Гі-i = Т[, |
S{r^ = S{; |
|
( 2.20) |
66
наконец, на последнем шаге расщепления |
^ t ^ tj+1) в виде |
+div и!щ = О,
^f - + di\ulv3 = 0,
-jf - + div u' Г3 = О,
^ - + divu/58 = 0 |
(2.21) |
при условии |
|
divu' = 0, |
|
и>п = О на а |
(2.22) |
и начальных данных |
|
u'a = u!+i, vL = vt+i, Т{ = Т{™, St = S{+\ |
(2.23) |
Заметим, что сами функции сра не имеют определенного физиче ского смысла, они являются вспомогательными величинами, с по мощью которых находится приближенное решение задачи
- |
Фан1=^Фі+1> |
(2.24) |
имеющее физический смысл |
решения задачи |
(2.1) — (2.3), ф/+1 = |
= ф(*у + і)-
Переходим теперь к анализу аппроксимации задачи (2.1) — (2.3) с помощью расщепленных систем (2.11), (2.12). Следует отметить, что если бы исходная задача (2.1) — (2.3) являлась эволюционной, то вопрос об аппроксимации по времени этой задачи системой рас щепленных уравнений решался бы тривиально на основе общей теории, изложенной в § 2.3.
Однако наша задача, к сожалению, не является эволюционной, поскольку она не разрешена относительно первых производных по времени от всех компонентов решения. В самом деле, мы не можем
непосредственно определить из |
системы такие производные, как |
||
dp |
dw |
т, |
- |
-qj- и |
—. |
Поэтому для решения вопроса об аппроксимации проведем |
некоторые дополнительные исследования, к которым и приступаем.
3.3.ЭВОЛЮЦИОННАЯ ФОРМУЛИРОВКА
ЗАДАЧИ
Покажем, что исходная задача (2.1) — (2.3) может быть сведена к эволюционной. С этой целью сначала рассмотрим задачу (2.1)' —
(2.3) с более общими граничными условиями. |
А именно, рассмотрим |
|
систему уравнений: |
’ |
|
Jg. + divu/u — l v + j ^ = 0 , |
... |
... |
i f + divu/o + Zn+ 4 - ^ - 0 ,
5* |
62 |
-£; — g (а т Т + a sS),
ди |
. |
дѵ |
, |
dw |
_„ |
|
дх |
' |
ду |
' |
dz |
’ |
|
+ |
div UlT + yTw = 0, |
|
||||
4^-+ div u'S + Vs«’= 0 |
(3.1) |
при граничных условиях
||- + gpw = 0 при 2 = 0,
IV —0 при z = H,
и начальных данных |
ип = О на а |
(3.2) |
|
|
|
и = и°, ѵ= ѵ°, |
Т — Т°, S — S0 |
при t = О, |
р — р ° |
при Z —0. Z= О, |
(3.3) |
Рассмотрим первое из условий (3.2) более подробно. Можно по казать, что это условие является следствием того, что поверхность океана представляет собой свободную поверхность, уравнение ко торой запишем в виде
z = l(z, у, t).
Продифференцируем далее это уравнение по t. Тогда будем иметь
|
W ■ d t |
д% , |
dt |
|
|
||
|
д х + Ѵ^ ПРИ |
* = 6 (*. У. |
0 , |
||||
d x |
и = |
d u |
w — |
d z |
|
|
|
где u = — , |
d t |
— — компоненты вектора скорости. Оче- |
|||||
d % |
|
|
d t |
уровнем |
свободной |
поверхности Е |
|
видно, давление p |
связано с |
соотношением
P |
= P a — g p l |
при z = 0, |
|
|
где ра — атмосферное |
давление. |
Поскольку |
решение |
задачи да |
ется с точностью до р = const, |
то положим |
ра = 0. |
Знак минус |
|
перед членом gp£ является следствием того, что координатная |
ось 2 ориентирована вертикально вниз. Из последнего равенства величину \ можно выразить через р. Тогда, считая возмущения Е
малыми (порядка |
метра) и пренебрегая величинами |
и -Ц- -\- v 4^- |
|
по сравнению с |
ді., приходим к |
соотношению |
дУ |
|
^ - + gpw0 = Q |
при 2 = 0. |
|
68
В граничном условии положим z — 0 и перепишем его в виде
[öpo
dt ë9wo = О,
где индексом «нуль» отмечен тот факт, что величины р и w берутся при z — 0.
Из уравнения статики имеем
2 |
|
Р — Po+ g J (атТ+ а 8S) dz. |
(3.4) |
о |
|
Проинтегрируем далее уравнение неразрывности при условии
w = 0 при z = H,
тогда получим
-К£+£)* (3.5)
Z
И, следовательно,
(3.6)
С учетом соотношения (3.6) первое из выражения (3.2) примет вид
( £ + - ! ) * = °- |
(3.7) |
о
Исключим теперь из системы (3.1) функции р и w с помощью соотношений (3.4) и (3.5). В результате приходим к эволюционной задаче
! f + divu'U- Z y + 4 ^ L |
+ ! - i _ |
J (атТ + otgS)dz = 0, |
|
||
± . + div nb + Іи + 4 |
+ |
1 |
I (агГ + as5) dz = О, |
|
|
^ |
+ divu'T+Yr |
f |
( - g + - ^ ) d z = 0, |
|
|
dS_ |
-f- div u'S + ys |
f |
( |
I dr \ |
|
dt |
J |
\ da: |
"t " dy ) dz = 0, |
|
|
|
4M-» J (т +^)Л-° |
<3.3) |
69
при условии |
ип = 0 на а |
(3.9) |
|
и начальных |
|||
данных |
|
||
и = и°, |
ѵ = ѵ°, Т = Т°, S = S°, р = р° n p n f= 0 . |
(3.10) |
Задача (3.8) — (3.10) является эквивалентной задаче (3.1) — (3.3). Поскольку для эволюционной задачи метод расщепления обо сновывается весьма просто, проведем двухциклическое расщепление задачи (3.8) — (3.10) на интервале t}_x ^ t sg tj +1. Тогда на пер вом шаге (tj-i sg t sg tj) будем иметь задачу переноса субстанций:
+ div u>u1= 0,
-^j- + divu/t»1 = 0,
|
^ |
+ divu/T -^O , |
|
|
|
|
- ^ - + divu/5x = 0 |
|
(ЗЛ1> |
||
при условии, |
что |
и{ = 0 |
на а |
|
(3.12) |
и начальных |
данных |
|
|||
|
|
|
|
||
и{-і = иМ, |
= |
= |
= |
(3.13) |
|
Задачу адаптации полей формулируем на интервале~£; _ х ^ |
t ^ + |
||||
|
|
|
(“ Л - |
“«Щ & = 0, |
|
■^г + |
Ів, + |
- |
|
|
|
І<'‘ тТг- v.s S jd z = - .0 , |
||
|
|
W |
н |
Г |
|
О |
|
|
|
дТ2 |
/ |
Su2 |
. |
<?l>2 |
|
||
|
f |
^jdz —0, |
||||||
|
dt ■+ Yr |
J |
\ |
dx |
^ |
dy |
||
|
|
|
z |
|
|
|
|
|
|
dS2 |
H |
|
|
|
dv2 |
^ dz = 0, |
|
|
f |
0 & -+ |
||||||
|
dt |
-+Ys |
dy |
|||||
|
|
|
z |
|
|
|
|
|
|
дРо |
|
H |
|
|
dv2 N |
||
|
+ £ P |
|
|
|
||||
при условии |
dt |
1 +Sy j) dz = 0 |
||||||
|
|
u„ = 0 |
на а |
|
||||
и начальных данных |
|
|
||||||
|
bS—«. |
|
- |
|
S’i |
i = 5{. ~Р!-'=Р{-У |
||
и/-1 = ы{, |
v{-i = v{. |
|
II M1—. |
|
||||
|
|
|
1 |
|
|
|
|
|
(3.14)
(3.15)
(3.16)
70