Обоснование метода слабой аппроксимации для уравнений мелкой воды

Тип работы:
Реферат
Предмет:
Физико-математические науки


Узнать стоимость

Детальная информация о работе

Выдержка из работы

МАТЕМАТИКА
УДК 517. 9
ОБОСНОВАНИЕ МЕТОДА СЛАБОЙ АППРОКСИМАЦИИ ДЛЯ УРАВНЕНИЙ МЕЛКОЙ ВОДЫ
Н. А. Кучер, М. А. Горобец
RATIONALE FOR WEAK APPROXIMATION METHOD FOR SHALLOW WATER EQUATIONS
N. A. Kucher, M. A. Gorobets
В работе рассматривается дифференциальная схема расщепления по физическим процессам и пространственным направлениям для уравнений «мелкой воды» и доказывается ее сходимость в шкале пространств
С. А. Соболева. Результаты работы являются основой построения и математического анализа экономичной конечно-разностной схемы расщепления.
The paper considers the differential scheme of splitting into physical processes and spatial directions for the equations of & quot-shallow water& quot- and proves its convergence in the scale of S. A. Sobolev’s spaces. The results are the basis of the construction and mathematical analysis of economical finite difference splitting scheme.
Ключевые слова: схема расщепления, сходимость, уравнения мелкой воды.
Keywords: splitting scheme, convergence, shallow water equations.
Уравнения «мелкой воды» в случае ровного дна могут быть представлены в виде [4]:
du, ди, ди, dh
— + u- + ц- + -=0,
dt дх ду дх
ди, dv, dv, dh
— + u-+n — + - =0,
dt дх ду dy
(1а)
ou 0 OH n OH. ~ OU r °V f
— + 8cT- =0, — + 2cT- =0, — =0,
dt T dx dt T dx dt
i i
ПТ + -T & lt- t& lt- ПТ + -T,
4 2
(IIn)
= Ят ((п+ i) r) —
dh. dh. dh. 7, du. dv4 …
----Yu------Yv----Yh (-----1---) = 0,
dt dx dy Kdx dx''-
где {u, v} - компоненты вектора скорости частиц в прямоугольной системе координат, х, у, h — глубина жидкости, связанная с давлением р по формуле р= -ft. Размерности переменных выбраны так, что ускорение силы тяжести д = 1 и плотность жидкости
р =.
Уравнения (1а) должны быть дополнены начальными условиями:
ut=0 = и0(х, у), vt=0 = v°(x, y),
ht=o = h°(x, y), (1б)
в П= {(х, у): 0& lt-х<-1, 0& lt-у<-1] и граничными условиями, в качестве которых примем условия периодичности искомой вектор-функции U = {и, v, ft] по каждой пространственной переменной Hx=0 = Hx=1,0& lt-y<-1,te (0,7'-) (1с)
Uy=0 = Uy=1,0 & lt-х & lt-1, te{0, Г).
Для системы дифференциальных уравнений (1а) рассмотрим расщепление по физическим процессам и пространственным направлениям, заключающаееся в том, что на каждом целом шаге [пт, (п + 1) т], п = 0,.N — 1, (N — целое число) системе (1а) сопоставляются следующие, последовательно интегрируемые системы уравнений
dt 1 dx ' dt dvndH dH «
aT — =0 ,-YaT — = 0,
T dx dt T dx
m & lt-t & lt-m + -T (I»)
здесь ar = 4 u™ = 4nT (nT), h = H2-
du, du dv, dv dH dH
— + bT- = 0, — + bT-=0, — +bT-=0,
dt ~ dy dt ~ dy dt ~ dy
3
| T & lt- t & lt- ПТ + 4T (III")
(n+2)
bT = 4 г?
— + 8dT- =0, — +2dT- =0, — =0,
dt T dy ' dt T dy ' dt '
3
ПТ + - T & lt- t & lt- ПТ
4
(IV")
Для каждой из систем уравнений (I") — (IV") ставятся граничные условия в виде условий периодичности вида (1с) по пространственным переменным. В качестве начальных данных для каждой из систем уравнений (I") — (IV") принимаются решения, полученные на предыдущем дробном шаге.
Сформулированную выше схему расщепления назовем для краткости задачей Рт.
Априорные оценки вспомогательной задачи РТ В работе используются общепринятые обозначения функциональных пространств [3- 5].
Через С1п (П) обозначается множество функций, имеющих непрерывные производные на плоскости х, у до порядка I включительно и периодических (с единичным периодом) по каждой переменной х, у. Таким образом П= {(х, у): 0& lt-х<-1,0<-у<-1] -прямоугольник периодов функций С1пф).
— Гильбертово пространство, полученное пополнением пространства функций С17Т (Й) по норме:
M^(n) =Г^оаи2йхйу
П а& lt-1
62
Н. А. Кучер, М. А. Горобсц
МАТЕМАТИКА
Da = D"1D"2, DX = -,?& gt-=-.
x У x дх У dy
Как известно [ ], элементы пространства Н^Л) -периодические по каждой переменной х, у функции (с прямоугольником периодичности П), обладающие обобщенными производными в смысле С. А. Соболева до порядка I включительно, суммируемыми по Л с квадратом.
Если (x, y, t)^f (x, y, t) — функция, зависящая от пространственных переменных (х, у) е Л и времени t € (0, Г), то положим:
/(О =" (х, у) ^/(x, y, t) & gt->- и будем рассматривать / как функцию аргумента t со значениями в пространстве функций, определенных на Л. Например, С ([0,7]- Н^Л)) — совокупность непрерывных отображений /: [0, Г] ^НЦЛ) с нормой
||/||С ([0,Г]- Н^П)) =SUPt 6 (0,Г||/(0|И?(Л).
Основной результат этого раздела сформулирован в следующей лемме.
Лемма 1. Пусть начальные данные U°{x, y) = {u0(x, y), v0(x, y), h0(x, y)} h°{x, y) & gt-0 в (1 b) удовлетворяют следующим условиям жидкости:
u°, v0eHnin), H° = WeHUti).
Тогда:
(i) на произвольном конечном промежутке 0 & lt-t & lt-Т задача Рг для каждого т е (0, Т) однозначно разрешима в классе
[щ (t), vT (t), HT (t)}eC ([0, Т]- Н^П)) —
(ii) на некотором промежутке [0,7], определяемом нормой в Н^Л), 1 & gt- 4 начальной векторфункции:
U°{x, y) = {u0(x, y), v0(x, y), h0(x, y),} имеют место следующие равномерные относительно т оценки
\ит (^)\с ([0,Г]- н?(Ц)) ,
\Ут (^)\с ([0,Г]- н?(Ц)) ,
\^т (0\с ([0/г]- н?(Ц)) -К (2)
П"(?:)11с ([о:г]- н’к~1{П)) — ^ (3)
Приведем краткую схему доказательства леммы 1. Поскольку при фиксированном т на каждом дробном шаге соответствующая система уравнений имеет гладкое периодическое по переменным х, у решение, если таковыми являются соответствующие начальные функции, то доказательство леммы 1 сводится к получению априорных оценок в С ([0,7]- Н^Л) для каждой из систем (I") — (IV") и равномерных относительно параметра т неравенств (2),(3) для схемы расщепления Рт.
Для получения априорных оценок решений задач Рт на отдельных дробных шагах воспользуемся следующим результатом [1,2] относительно модельной задачи:
^ + а (х, у)^ =° в Qtoiti =nx (t0,t1) (4)
ut=0 =и0(х, у) в Л. (5)
Лемма 2. Предположим, что а (х, у) е#4(Я)Д & gt- 3.
Тогда для произвольной начальной функции
и0(х, у) еНп (Л) в (5) существует единственное классическое решение u (t)eC ([t0,t1]- Н"(Л)) задачи
(4),(5) и для него имеет место неравенство:
1К (0|| Н^(П)^\и°\н^(П)* (6)
*exp[Ml\a\H^in)*it-t0)},
где положительная постоянная М- зависит только от числа I и области Л.
Модельная задача, соответствующая задачам (nn),(IVn) заключается в отыскании в цилиндре Qt0, t1 =. flx (t0,t1) периодического по х, у решения систем уравнений акустики
— + 8с (х, у) — = 0, — +2с (х, у) — =0 (7)
dt v iJfJ дх dt v iJfJ дх v }
удовлетворяющей начальным условиям
ut=0=u0(x, y), Ht=0 =Н°(х, у). (8)
Лемма 3. Пусть С (х, у) еН4(Я) и начальные функции и°, Н° в (8) также принадлежат классу Н^(Л), 1 & gt- 4. Тогда задача (7),(8) имеет единственное классическое решение v{t) = (u (t), H (t))eC ([0,7]- Н^(Л)) и для него имеет место оценка
11^(011 Н1(я) & lt- \v (to)\Hi (fl)*
*exp{мг|г|Иi^(fi)*(t-to)}, (9)
v (t0) = (и0(х, у), Н0(х, у)), где положительная постоянная М- зависит только от числа I и области Л.
Относительно доказательства леммы 3 (см. [2]). Утверждения леммы 1 и равномерные оценки (2),(3) получаем применением к задачам (I"), (Ш") результатов вспомогательной леммы 2, а к задачам (nn),(IVn) — результатов леммы 3.
Сходимость схемы расщепления РТ
Докажем сходимость решений
UT (t) = [uT (t), vT (t), HT (t)} к точному решению задачи (1). Поскольку векторфункция Urit) удовлетворяет системе уравнений (In) — (IV"), то для средних функций
t+T
К (t)=-J UT (s)ds
получаем следующую систему уравнений (для определенности t = пт):
f + + (10)
1 uT (t) 0 2Hrit + -4 Т)
где Кь т = 1 0 ur (t) 0),
^(t + -4Т) 0 Ur (t))
(v?(t + ^ т) 0 0 ^
К2, т = 0 vr (t + ±T) 2Hrit + 3~ т)
0 + vT (t+^T) у
Вестник Кемеровского государственного университета 2014 № 4 (60) Т. 2 63
МАТЕМАТИКА
t+T
FT = 1 j [KliT (t) -MT (s)] (s)ds +
t
t+T
+ ~f [K2,r (f) ~NT (s)]-: ^(s)ds-
^ (0 ^ * - слабо в i"([0, ПН^Щ.
Поскольку имеет место компактное вложение Н^(П) в пространство С1~2(П), то из (11),(12), в частности, следует DaUTkDaU равномерно в
Ях (0,7), |а|& lt-/-2. (13)
MT (t) = a1(t, r) Ar (t) + a2(t, r) CT (t), Nr (t) = a3(t, f) BT (t) + a4(t, r) DT (t),
«г (t, r) = {4 при f e ((n + (П + i) T]
v 0 в противном случае i = 1,2,3,4.
Матрицы AT (t), Br (t), Cr (t), Dr (t) определяются
посредством следующих формул:
AT (t) = uT (t)E3, BT (t) = vT (t + 2т) E3,
CT (t) =
0
0
0 2HT (t + ^y
y-HT (t + - t) 0
2 TV 4 7
cT (t) =
0 0
0 -HT (t± t)
^ 2 TV 4 7
2HT (t + ^r)
E3 — единичная матрица третьего порядка.
В силу оценок (2),(3) можно выделить подпоследовательность {rfc} с {т} такую, что
UTk (t) ^ U (t) * - слабо в Ц°([0,Т], Н^(П)) (11)
UTft (t) ^ Я (0 сильно в С ([0, Г], Я41(^)) (12)
Из свойств оператора усреднения Тт и соотношений (11),(12) вытекает, что средняя функция {UTk} обладает свойствами, аналогичными (11), (12). Это обстоятельство позволяет совершить предельный переход в системе уравнений (1), в результате которого получим, что предельные функции
U{t) = {u (t), v (t), H (t)}
удовлетворяют системе уравнений эквивалентной исходной системе (1).
Таким образом, доказана следующая теорема о сходимости.
Теорема. Предположим, что начальные функции u0(X'У)'V0(X'У)'h0(X'У) принадлежат пространству Н^(П), 1 & gt- 4. Тогда на некотором промежутке (0,7) последовательность решений ZT = (uT, vT, hT) вспомогательной задачи Рт при т0 сходится к точному решению Z = (и, v, h) задачи (1) в следующем смысле:
ZT (t) ^ Z (t) * - слабо в слабо в Я°([0, Г], Я4(Я)) ZT (t) Z (t) — сильно в С ([0,Т], Н!^~1(П))
if Ю ^ 1й~ * - слабо в L°°([0, T], HjT~1(n)).
При этом вектор-функции Zr = (uT, vT, hT) сходятся к Z = (и, v, h) равномерно в цилиндре Пх (0, Г), а производные до порядка I — 2 сходятся равномерно в этом цилиндре к соответствующим производным от Z.
Литература
1. Кучер Н. А. Метод слабой аппроксимации и анализ схем расщепления в газовой динамике. Кемерово: КемГУ, 1997. 188 с.
2. Кучер Н. А. Некоторые замечания о схемах расщепления для уравнений газовой динамики, используемых в методе «крупных частиц» // Вычислительные технологии. 2006. Т. 11. С. 94 — 108.
3. Никольский С. М. Приближенные функции многих переменных и теоремы вложения // С. М. Никольский. М.: Наука, 1977. 456 с.
4. Рождественский Б. Л., Яненко Н. Н. Системы квазилинейных уравнений и их приложения к газовой динамике. М.: Наука, 1978. 687 с.
5. Соболев С. Л. Некоторые применения функционального анализа в математической физике. М.: Наука, 1988. 320 с.
Информация об авторах:
Кучер Николай Алексеевич — доктор физико-математических наук, профессор кафедры дифференциальных уравнений математического факультета КемГУ, nakvcher@rambler. ru.
Nikolay A. Kycher — Doctor of Physics and Mathematics, Professor at the Department of Differential Equations, Kemerovo State University.
Горобец Марина Анатольевна — студентка математического факультета КемГУ, gorobetsmar@mail. ru.
Marina A. Gorobets — student at the Faculty of Mathematics, Kemerovo State University.
(Научный руководитель — Н. А. Кучер).
Статья поступила в редколлегию 21. 10. 2014 г.
64 Вестник Кемеровского государственного университета 2014 № 4 (60) Т. 2

ПоказатьСвернуть
Заполнить форму текущей работой