2016, Т. 158, кн. 4 С. 482-499
УЧЕНЫЕ ЗАПИСКИ КАЗАНСКОГО УНИВЕРСИТЕТА. СЕРИЯ ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ
ISSN 1815-6088 (Print) ISSN 2500-2198 (Online)
УДК 519.6
О ПРИБЛИЖЕННОМ МЕТОДЕ РЕШЕНИЯ ЗАДАЧИ СОВМЕСТНОГО ДВИЖЕНИЯ ПОВЕРХНОСТНЫХ И ПОДЗЕМНЫХ ВОД С ТОЧНОЙ АППРОКСИМАЦИЕЙ
ЛИНИИ РАЗРЕЗА
Л.Л. Глазырина, М.Ф. Павлова
Казанский (Приволжский) федеральный университет, г. Казань, 420008, Россия
Аннотация
В работе рассматривается начально-краевая задача для системы двух нелинейных параболических уравнений, одно из которых задано в ограниченной области П С R2 , второе - вдоль кривой, расположенной в П. Оба уравнения относятся к классу параболических уравнений с двойным вырождением: вырождение может присутствовать в пространственном операторе, и кроме того, нелинейная функция, стоящая под знаком частной производной по переменной t, может быть не отделена от нуля. Рассматриваемая задача имеет прикладной характер: подобная структура возникает при математическом описании процесса совместного движения поверхностных и подземных вод. В этом случае искомая функция определяет уровень воды над заданным непроницаемым основанием, разрез моделирует русло реки или канала. Для математического описания процесса фильтрации подземных вод в области П используется уравнение Буссинеска, на разрезе для описания процесса изменения уровня воды в открытом русле - диффузионный аналог системы Сен-Венана.
Ранее авторами были доказаны теоремы существование и единственности обобщенного решения рассматриваемой задачи из классов функций, которые в литературе получили название усиленных пространств Соболева. При получении этих результатов существенно была использована техника, созданная немецкими математиками Х.В. Альтом (H.W. Alt), С. Лукхаусом (S. Luckhaus) и Ф. Отто (F. Otto) для установления корректности задач с двойным вырождением.
В настоящей работе предлагается и исследуется приближенный метод решения указанной выше задачи, построенный с помощью полудискретизации по переменной t и метода конечных элементов по пространственным переменным. Триангуляция области осуществляется треугольниками, при этом на линии разреза задается сетка. На каждом участке линии разреза, расположенном между соседними точками сетки, с обеих сторон строятся треугольники с общей стороной, совпадающей с выбранным участком линии разреза. Триангуляция оставшейся области проводится традиционно обычными треугольниками. В работе доказаны существование приближенного решения. Получен ряд априорных оценок. Доказана сходимость построенного алгоритма.
Ключевые слова: двойное вырождение, нелокальные краевые условия, метод полудискретизации, метод конечных элементов, обобщенное решение
1. Постановка задачи
Пусть П - ограниченная область пространства Д2 , Г - граница П, П - разрез, проведенный внутри П и делящий ее на две связные области. В области Qт = П х х (0, Т) рассмотрим следующую начально-краевую задачу
д^ (и) 2 д
——— (х,г) дх (Ьг(х,и(х,г),Уи(х,г))) = Ь(х,г), х е Пп, (1)
г=1 г
д^2(и) ( д ( , ( ди ~аг (х,Ь) — х>и(хЛда
г 2
+
(х,ь) — —(кп(х,и(х,г), ди(х+ 2
к^(х, и(х, Ь), Vи(х, Ь)) сов(п, х¿)
4=1
п
= ¡2(х,г), х е п, ь е (0,Т), [и]п = 0, (2)
и(х, 0) = ио(х), х е О, и(х,ь) = 0, х е г, ь е (0,т). (3)
Здесь Оп = О \П, [-]п - скачок функции при переходе через разрез П, п - нормаль
к п.
Задача (1)-(3) описывает (см. [1, 2]) процесс совместного движения поверхностных и подземных вод, при этом разрез П соответствует руслу реки или канала, искомая функция и определяет высоту свободной поверхности воды над непроницаемым основанием.
Будем предполагать, что ^(£), г = 1, 2, - абсолютно непрерывные, строго возрастающие функции, удовлетворяющие при любом £ е Я1 неравенствам
«
boi | £ г —bli < = 1 (Ь)Ь Л < b2i | £ Г +Ъ3, а > 1, (4)
о
| ¥А£) 1< b4i | £ Г-1 +Ъ5, (5)
где bij - постоянные, удовлетворяющие условиям
boi > 0, ЪК > 0, b2i > 0, bзi > 0, b4i > 0, ъ5а > 0, г = 1, 2.
Функции к^х,£о,£), г = 1,2, предполагаются непрерывными по £о и £, измеримыми по х и удовлетворяющими при любых х е О, £о е Я1, £1,£2,£ е Я2 условиям
2
10^ А ^ |Р1-1 + М1Ь Мо1
| к(х,£о,£) К Ыо1^2 | ^ г-1 +М11, Мо1 > 0, М11 > 0, р > 1, (6) j=l
22 ^к*(х,£о,£)£г > М2^ | ^ р —М31, М21 > 0, М31 > 0, (7)
i=l i=l 2
Х^х,^1) — кАх,£о,е))(£1 — £2) > 0, (8)
i=l
| Ых,£о,£) К Мо2 | £ Г-1 +М12, Мо2 > 0, М12 > 0, р2 > 1, (9)
кп(х, £о, £)£ > М22 | £ Р —М32, М22 > 0, М32 > 0, (10)
(кп(х, £о, £1) — кп(х, £о, £2))(£1 — £2) > 0 V£,£1,£2 е Я1. (11)
При определении обобщенного решения задачи (1)-(3) используются специальные нормированные пространства, называемые усиленными пространствами Собо-
о о о
лева, будем обозначать через V, V (0,Т), Ш (0,Т) банаховы пространства функций, полученные замыканием Оо°(О) и Сж(0,Т; Со°(О)) в следующих нормах:
1М1 ° = ||и|| о 1 + ||и|| о 1 ,
V (п) "жР2 (П)'
1М1 ч = \\и\\ °1 + \\и\\ °1 1
(0,Т) = \\и\\у(0,Т) + \\и\\Ьж(0,Т;Ьа1 (П)) + \\и\\ь^(0,Т;Ьа2 (П))-
о
В работе [3] доказано, что пространство V совпадает с множеством функций
о 1 о 1
из Шр1 (О), след которых на П принадлежит Шр2 (П). Аналогичный результат
о
получен в [4] и для V (0, Т).
о
Пусть, далее, г - некоторый элемент из V (0,Т). Обозначим через . (г(г))
о
функционал, значение которого при г € [0, Т] на элементах V €V определяется по правилу
.(г(г))^)* = Ф1(г(ь)^(х) ах + I ф2(г(г)^(з) ,
ПП
оо
здесь и далее (Д^)* - значение функционала Е € (V)* на элементе V €У -
о
Определение 1. Функцию и € Ш (0,Т) такую, что и(х, 0) = и0(х) п.в. в О ив П,
Т
!'( . (и) , •)* ¿1 € (V0 (0,Т ))*, (12)
0
назовем обобщенным решением задачи (1)-(3), если для любой функции V из про-
о
странства Ш (0, Т) справедливо интегральное тождество
Т Т 2
т(и), V
I ( .1 (и) , V )* & + 11 кг (х, и, ~Чи) дд—^ ¿х сМ +
0 0 п ®=1
Т Т Т
+ Л кп ^х, и, = !(11, V) ¿г + !(¡2^)п ¿г, (13)
где (/^) ((//о)п) -значение функционала / € (0,Т; Шр,1(О)) (соответственно
-I °
/ € Ьр>(0,Т; Ш- 1(П))) на элементе V из Ш (0,Т).
Отметим, что в работах [5-7] доказаны теоремы существования и единственности обобщенного решения рассматриваемой задачи, в [8, 9] аналогичные результаты получены для вариационного неравенства, возникающего при моделировании процесса совместного движения поверхностных и грунтовых вод. Проблемы численной реализации моделей, взаимосвязи и организации вычислительного процесса рассмотрены в работах [10-13]. Методы исследований, проводимые в настоящей работе, схожи с [14-16].
2. Описание приближенного метода. Апприорные оценки
Для задачи (1)-(3) с помощью метода полудискретизации по переменной г и МКЭ по пространственным переменным строится приближенный метод решения. Для этого на [0, Т] задается сетка Сдт = {0, т,..., Мт = Т}, где т - шаг сетки.
Далее, в предположении, что О - выпуклая область, определяется вписанный в О многоугольник Он с границей Гн, удовлетворяющий следующим условиям:
1) для любой точки х € Г существует точка £ € Гн, находящаяся на расстоянии не большем Н (Н - шаг сетки по пространственным переменным);
2) точки пересечения Г и П являются вершинами многоугольника Он • Триангуляция области Он осуществляется треугольниками по следующему
правилу: для каждой из подобластей ОН С Он и О'Н С Он, на которые разрез П делит Он, триангуляция проводится автономно, но так, что множества узлов построенных на ОI и на ОН сеток, принадлежащих П, совпадают. В окрестности П элементами триангуляции являются треугольники с одной криволинейной сторо-
о о
ной, принадлежащей П. Обозначим через Vн множество функций из V, сужение которых на каждый конечный элемент есть образ линейной по каждому из аргументов функции на базисном элементе (см. [17, с. 113], [18, с. 47] ).
о
Определение 2. Функцию у(£) €Vн для £ € {0,т,... ,Т = Мт} назовем реше-
о
нием полудискретной задачи, если для любой функции г €Vн и всех £ € {0, т, Т—т} выполнены равенства
У ии(у(г)) г(х) + X Ых,у, Уу) (1х+
+ У (^Р2гШ) г(в) + кп(х,у,ду^ =
п
2
= / X fir (t) dx + / (t)z(s)+ Цт(t)^ZS) ds
(14)
\ dS I
п
y(x, 0) = u°(x) п.в. в Qh и на П. (15)
Здесь функции /1, /2 выбраны так, что
2
Эх/1' J z J1 ds'
f = r° v^ д fi f = д f1 fl = f1 - дх f1, f2 = f2 - dsf2,
i=1
t+T
jT(x,t) = 1 f /j(x,0 d£, j = 1, 2, y(t) = y(t + T).
J3y
t
В дальнейшем будем использовать обозначение /° = д/°/дх°. Лемма 1. Если
/1 е Lp[ (0,T; W-Am, /2 е Lp, (0,T; W-1(П)), u° е Lai (Q) П La2 (П),
тогда задача (14) -(15) разрешима.
Доказательство. Очевидно, достаточно доказать, что при известном
y(t) е Lai (Qh) n La2 (П)
задача (14) разрешима относительно у (г). Для этого (14) запишем в виде
/ (^+т ¿; ^ V« £ )*+
пн 1=1
/( д«' д С ( 2 • д
{^2(У)г + ткп(х,у,д« -7^) ¿8 = (р1(у)г + Т^2/г,т (г) дх~.) ¿х+
П пн г=0 1
+ 1 ^р2(у)г + т/0т(г)г + т/2,т(г)^¡¿8 Vг €Т°н . (16)
П
Отметим, что задача (16) является системой нелинейных уравнений относительно значений функции у в узлах Он сетки. Обозначим через N число узлов сетки, через с(г) € К1 вектор значений функции г в узлах сетки. С помощью формул
^ = / г(ф(х) ¿х + 1 фШ
Пн П
(Е(с(г)), ф))я, =
/[ 2 дV 2 дv \
{(Ыг) - + т^кг(х,у, Чг) - т^/1 ,т (г) -¿Ч ¿х+
г-, ^ г=1 1 г=0 1 '
Пн
+ ¡{(Р2(г) - Ыу)> + ткП(х,у, ) - т/°,т(г> - т/1 т(г) ¿8
П
определим скалярное произведение в К1 и оператор Е : К1 ^ К1, порождаемый
о
задачей (16). Здесь 2 и V - произвольные элементы из Vн - Разрешимость (16) будет следовать из топологической леммы (см. [19, с. 66]) при условии, что оператор Е непрерывен и существует р такое, что
(Д(с), с)т > 0 Vс € К1 : \\c\R, > р. (17)
Непрерывность оператора Е следует из непрерывности функций кг(х,^0,С) и кП(х,^0,С) по аргументу Докажем справедливость неравенства (17). Используя неравенства (см. [20, с. 1439])
ЫО - <РгШ > ФЛО - Фг(п) V€ Кь (18)
свойства (4), (7), (10), неравенства Гельдера и е-неравенство, получим (Е (ф)),ф))я, =
/( 2 дV 2 дV \
( (^l(v) - Ыу)) V + т^кг(х,у, Vv) -V - т^Л ,т (г) -т£ )dx+
О ^ 1=1 1 1=0 1 '
Пн
/( дv дv до \
( (^2 (V) - чъ(у)) V + ткП(х,у,д8) д8 - т/2, т (г) V - т /1 т (г) д^) ¿8 >
П
> Ъ01\Паьа (Пн) + Ь02Мь,а (П) + т (М21 - ер1 )\М\р0\ + т (М22 - е22 )\М\р21 -
! Wp1 (Пн) Жр2 (П)
- &211Ы1?1 (Q.) + ^ "y""2
Lai (Qh)
b22|
1 2 i ' 1 1 i '
Z2 (П) + TX "ьр, (Qh) + T~2 "f2,T "LP (П) +
£1 i=0 1 £2 i=0 2
+ T(bii + M31) mesnh + т(bu + M32) mesП }. (19) Из соотношения (19) следует справедливость неравенства (17) при
Р = b
21 "
"Ьа1 (Qh)
+ b
La2 (П) + T к Xi l-'1,HlLp,(Qh)
£1 i=0 1
22 |
ip1
+
+ т^г X "f2,r "PLp, (П) + т (bu + M31 ) mes Qh + т (b12 + M32) mes П
£22 i=0 "2
а значит, разрешимость задачи (16) относительно y(t). Лемма доказана. □
Отметим, что по построению
(F(c(y)), c(v))RN =0, v &Vh . Из этого равенства и неравенства (19), очевидно, вытекает оценка
M "vrnz 1 (Qh) -Ы^ (ад) + b22
Ta2 (П) "У"Та2 (П)
}+
+ T (M21 - £p1 )"y(t)"p011 + T (M22 - £Pp2 )"y(t)\\pt 1 < WP1 (Qh) Wp2 (П)
1 2 / 1 1 / < T^Y, "flr "t, (Qh) + T^ X "fï,T\\Z (П) +
£1 i=0 1 £2 i=0
+ T(b11 + M31) mes Qh + t(612 + M32 ) mes П. (20)
Лемма 2. Пусть
f1 e Lp1 (0,T; WpT1 (Q)), f2 e Lp,2 (0,T; W-1 (П)), U0 e Lai (Q^ P| L^ (П). Тогда для решения задачи (14), (15) справедливы априорные оценки
"y(t')"l1ai (Qh) + \\y(t')\\Z2(П) [ < const,
х-
i=0
\\y(t)\\p01 + \\y(t)\\pt1
Wp1 (Qh ) Wp2 (n)J
< const, t' e шТ,
(21) (22)
T-kT
- У
kT ^
t' = 0
4>1 (y(t' + kT) - w (t')
y(t' + kT) - y(t')
dx+
+
My(t' + kT) - n(t')
y(t' + kT) - y(t')
ds> < const, (23)
где к € {1, 2,.. ., N}.
Доказательство. Для получения оценок (21), (22) просуммируем неравенства (20) по Ь от 0 до Ь' — т, Ь' € шт :
w Ша1 (Oh) + WvV )WZ2 (П)+ t'
+т(M21 - £f ) E \rnni + T(M22 - £2) e Wvmpïi <
b W (oh) b ^
1
t=0 WPI (Oh) Ь t=0 WP2 (П)
t' 2
<Wy(o)WLL1 (Пк) + Wy(°)WL:2 (п) + W/î, WLp,(,h)+
£1 b t=0 ¿=0 1
+ -¿7 E т £ W /2, (t) WL2, (п) + т mes +
£2 b t=0 i=0 2
+ (bi2 + M32 ) n .... + т-ь-mes П. (24)
Здесь b = màii{b21,b22}. Из (24) следуют оценки (21), (22).
Для доказательства оценки (23) просуммируем соотношение (14) по t от t' до t' + (к — 1)т, где t' - произвольная точка из множества П [0, T — (к — 1)т], затем положим т
z = тк (y(t' + кт ) — y(t')),
результат просуммируем по t' от 0 до T — кт. В итоге, обозначив через J правую часть неравенства (23), будем иметь
T-кт t' + (k-1)T ... 2 „
^ ^ ^ Шгл, . . . .. д
1 1 -кт t -T(k-1)T s / 2 д
J = — Е ту {Y/к¿(x,y(t), Vy(t)) — (y(t' + кт ) — y(t')) —
t'=0 t=t' i=1 Oh
— E /1,т(t)yt' + кт) — y(t'))) dx + j (hn(x, y(t), ^S-) JS (y(t' + кт) — y(t')) —
¿=0 П
— /0т(t)(y(t' + кт) — y(t')) — /1т(t) JS(y(t' + кт) — y(t'))^ ds}. Используя условия (6), (9), неравенство Гельдера, нетрудно показать, что
1 T-кт t' + (к-1)т .
J<тЕ Е тЦмошт-1 + ми х к ¿=0 =' IV wP1 (°h) J
х \\у(г' + кт)\р11 + ыг'т 1 +
V Ш р1 (Пн) Ш р1 (Пн)/
+ Е \\/1т (г'Ш, {пи){\\у(г' + кт)\р1г + Мг')\П1 V
1=0 н' \ Шр 1 (Пн) Шр 1 (Пн)/
М02\\у(г)\\р2-1 + М12) (\\у(г> + кт)\ро21 ++\\у(г')\\р21 V
Шр 2 (П) /V Шр 2 (П) Шр 2 (П)У
+ Е \\й,т(гЖ,(п/\\у(г' + кт)\\ро21 + \\у(г')\\р11 ) I (25) 1=0 Ьр 2 (ПЧ Шр 2 (П) Шр 2 (П)Л
Докажем, что правая часть неравенства (25) ограничена постоянной, не зависящей от Н и т. Рассмотрим слагаемое
1 Т-кт г' + (к-1)т
.1 = .Е Е тМ01\у(г)\р1-1 \\у(г' + кт )\\ро21 . к =' Шр 1 (Пн) Шр 1 (Пн)
Оценивая его с помощью неравенства Гельдера, нетрудно получить
T-кт ч 1/pl , T-кт ч i/pi
M / 1 - N 1/pi / 1 - N ■
J < M^l k X гшн^ k £ г||y(i)||po\
k V 7=0 WVP1 (nh)J V 7=0 Wpi (nh)/
Из последнего неравенства, оценки (22) следует ограниченность . сверху постоянной, не зависящей от Н и т. Оценка остальных слагаемых проводится аналогично. Лемма доказана.
□
3. Исследование сходимости метода
Функцию у продолжим нулем на множестве О \сохранив за продолжением то же обозначение. Определим кусочно-постоянные восполнения функции г по формулам
П-г(г') = {г(Ь), кт, (к - 1)т < г' < кт}, П+г(г') = {г(г), кт, кт < г' < (к + т)}. Из леммы 2 следуют равномерные по Н и т оценки для кусочно-постоянных
I о
восполнений П±у в пространствах V (0,Т), Ьж(0,Т; Ьа1 (О)), Ьж(0,Т; Ьа2 (П)) и справедливость неравенства, аналогичного (23), с интегрированием по О. По-
о
этому найдутся функция и €Ш (0,Т) и последовательности {Нп}^=0 и {тп}^==0 такие, что при п ^ выполняются предельные соотношения
°
n±yn —и в У (0,Т); (26)
П±уп — и * -слабо в Ьж(0,Т; Lai (Q)); (27)
П±уп — и * -слабо в L^(0,T; La2 (П)). (28)
Здесь yn — решение задачи (14)—(15) при h = hn, т = тп.
Оценки (21)—(23) и теорема компактности (см. [21]) позволяют выделить подпоследовательности {Нп}~=0 С {Нп}^=0 и {тп'}£?=0 С {тп}™=о, для которых наряду с (26)—(28) будет справедливым и предельное соотношение
П±уп' ^ и п. в. в Qт и на Пт. (29)
В силу непрерывности функций г = 1, 2, из (29) следует, что
(уп') ^ ^г(и) п. в. в Qт; (30)
П±^2(уп') ^ Ф2(и) п. в. в Пт. (31)
Докажем, что функция, определенная соотношениями (26)—(29), является обобщенным решением задачи (1)—(3).
Из оценки (22) и условий (6), (9) следует равномерная ограниченность последовательностей {П^к^х/уп, ууп)} в Ь^ (0,Т; Ь^ (О)) и {П±кп(х,уп,дуТ1'/дв)} в Ьр'2 (0,Т; Ьр'2 (П)). Тогда найдутся подпоследовательности {Нп»}^?'=о и {тп''}^'=о указанных последовательностей и функции К^ € Ьр1 (0,Т; Ьр1 (О)), Кп € Ьр2 (0,Т; Ьр2 (П)) такие, что при п'' ^ ж
П±Ь(х,уп'', ЪУп") в Ьр1 (0,Т; Ьр1 (О)); (32)
П±Кп{х,уп" ^Кп в Ьр2 (0,Т; Ьр>2 (П)). (33)
В дальнейшем за подпоследовательностями {Нп"}^'=0 и {тп«}^'=0, для которых справедливы (26)-(33), сохраним обозначение {Нп}^==0, {тп}%==0. Пусть V - про-
о
извольная функция из пространства Со°(О), vн €Ун - интерполянт функции V. В (14) положим г = vнnт, где пт - сеточная функция, полученная сносом в точки сетки и)т функции п € Сж(0,Т) такой, что ц(Т) = 0. Полученное равенство умножим на т, просуммируем по г от 0 до Т - т, первое и третье слагаемое преобразуем с помощью формулы суммирования по частям. Результат, используя кусочно-постоянные восполнения, запишем в виде
Т
л+,п. (Я (+))„. П+
II П+<Р1(Уп(г)) Vн П+(пт)г <Ъ<Ь ^У ¥>1(и0(х)) Vн п(0) ¿х +
т
0 П П
0П
Т
(Я (+))„. П+
+ ^2п+к1(х,уп, Ч«п) дх. П+Пт ¿х ¿г-
II П+ ^2(уп(г)) vн П+(пт)? ¿8йг (х)) vhп(0) ¿8 +
0П
Т
+ JJ П+кп(х, Уп, ~дХ) дд8 П+r/тd8dг =
0П
Т 2 Т
// С/1(г)дХП+Птdxdг +Ц/гн + /1 ^ П+Птd8dг. (34)
0П
В равенстве (34) перейдем к пределу при п ^ ж. Используя соотношения (29)-(33), гладкость функций V и п, получим следующее равенство:
Т
П дп [
Ф1(и(х,г)) v(x) — (г) ¿х¿г - ^1(и0(х)) v(x) п(0) ¿х +
0 П П
Т 2 Т
+ К —— (х) п(г) (1х(И - р2(и(х,г)) v(x) —¿8 ¿г-
0 П 1=1 0 П
Т
^2(щ(х)) V(х) п(0) ¿8 + Ц Кп(8) п(г) ¿8 ¿г =
П 0 П
Т 2 Т
// С/1(г)§—i(х)п(г)¿хаь +Ц/02(г)v(8) + / (8)) п(г)¿8¿г. (35)
Из плотности вложения Со°(О) в V П ^а1 (О) следует справедливость (35) для
о
произвольной функции V € V П (О). Полагая далее п € Со°(0,Т), запишем (35) в виде
Т
i 1 —п
¥1(и(х,г)) v(x) ¿х + щ(и(8,г)) v(8) ¿8 — (г) ¿г =
дг
0П
л С г
(М- Т,Кг -X (х) + (Ь,у)п - Кп (в) =
т
= I(36)
Из равенства (36) следует, что
а
(о(г), V)* = ¿г | ^1(и)уах + != .(и(г))^)*,
¿г _
4 п п
и справедливо следующее включение
т
( и( г )), •) * I
1
I(.(и(г)), ) ¿г € (V (0,Т))*.
0
В силу плотности множества функций
( т о 1
К(х,г) = ^2 Vk (х)щ (г), Vk € V, Пк € С™ (0,Т), т € N
^ к=1 '
о
в Щ (0, Т) из (36) и последнего соотношения следует справедливость равенства т т „
дю
.(и(г)),ю)* ¿г = (/1 ,ю) - ХК —— ¿х
дхг
¿г +
+
/о
Кп -в ¿в ¿г (37)
для любой функции ю €Ш (0,Т).
Докажем, что и(х, 0) = ио(х) почти всюду в О и на П. Для этого выберем
о
в (37) ю(х,г) = v(x)n(г), где V €V, п € СЖ(0,Т), ц(Т) = 0; результат, используя равенство (35), запишем в виде
т т
J(.J(u(г)),v^^ п¿г = — J! р1(и(х,г)) v(x) -П(г) ¿хёь-
о о п
—J ф1(ио(х)) v(x) п(0) ¿х —J <(и(в,г)^(в) -п(г) ¿в ¿г —J<2(ио(х)) v(x) п(0) ¿в.
п п п
Из последнего равенства и формулы интегрирования по частям следует, что
<1(ио(х)) - <1(и(х, 0))^ v(x)n(0) ¿х+
+ ] ^<2(ио(в)) - <2(и(в, 0))^ v(в)n(0) ¿в = 0 (38)
для любой функции V из V . В силу произвольности функции V и взаимооднозначности функций г = 1, 2 из (38) следует, что и(х, 0) = и0(х) почти всюду в О и на П.
Осталось доказать, что
Т 2 Т
Едт I I дт
Кг —— ¿х ¿г + Кп ¿8 ¿г =
0 П 1=1 1 0 П
Т 2 Т
Е дт [[ ди дт
к1(х,и, Vи)—— dxdг + кП(8,и,— d8dг. (39) . дхН } } -8-8
0 П 1=1 0 П
С этой целью рассмотрим неравенство
Г Ыуп(г)) - Ыуп(г)) уп(г) ¿х + [ V2(уп(г)) - Ыуп(г)) уп(г) ¿8+
т
2
+ ! "Е (к1(х,Уп, Чуп) - Ых,ун, ЧУн)^ —«д- « ¿х +
п 1=1 1
. [(, ( дуп \ , ( дун Л д(Уп - Ън) , .
+ У VНх, уп, -д7) - кЛх,Ун, 18)) д8 ¿8 >
П
> 11(фЛУп(г)) - $1(уп(г))) ¿х + Ц(ф2(Уп(г)) - Ыуп(г))) ¿8. (40)
ПП
Здесь через Vh обозначена функция, определенная на множестве Он х шт и яв-
о
ляющаяся при г € шт интерполянтом из Vh функции V из Сж(0,Т; (О)). Справедливость неравенства (40) следует из свойств (8), (11) и соотношения (18). Используя (14), запишем неравенство (40) в виде
(/1т(г),Уп) + (/2т(г),Уп)П -
2 ду д« д«
- I Е к%(х, Уп, ЧУп) -х ¿х - I кП^х,Уп,^уп^ -д«- ¿8 -п 1=1 П
[ ( ^ ) д(уп - Ун) г1 Л ( ^н \ д(уп - Ун) , .
- 2-^к1(х,Уп, ЧУн) -дхх- ¿х - кП[х,Уп ,^8)-78-¿8 >
П 1=1 П
> 11(ф (Уп(г)) - Ф1(уп(г))) ¿х + 11 (ф2(Уп(г)) - ЫУп(г))) ¿8.
ПП Полученное неравенство с помощью кусочно-постоянных восполнений запишем для всех г € [0, Т]. Интегрируя результат по отрезку [0,г1], г1 € [0, Т], получим
¿1 ¿1 11 = ! п+(/1т (г),уп)сг + i п+ (/2т (г),уп)псг-
0 о
¿1 2 —у ¿1 д« д«
- II ^~2п+к1(х,уп, ууп)п+ -х dxdг - ^ п+кп(х,уп,—Х) П+ —т ¿8 ¿г -
//У,П+кг(х,уп,т)П+ (д(упдх ^¿г-о п = г
- // П+кп(х, уп, §) П+ (—^^) ¿в ¿г >
оп
> - J ¡ФЛП+Ш)¿x¿г - !Ф1(ио)¿х + Ь1 -т п п
t1
! J Ф2(П+Уп(г)) ¿в ¿г - ! Ф2(uо)¿в.
Ь1
1
+ -т
11-т п
Учитывая, что
!фг(П+Уп(г))¿x¿г >!Фг(Луп(г1))¿х,
11-т п» п»
будем иметь
11 > ¿у (фг(Луп(г1)) ¿х - I Фг(ио (х))) ¿х, (41)
2
(х
п»
где О1 = О, О2 = П, Л^ - линейное восполнение функции г.
В неравенстве (41), используя соотношения (26)-(33), перейдем к пределу при Н,т ^ 0. В результате получим
%1 %1 ,и
I(Ш,и) ¿г +1(¡2(г),и)п ¿г - Ц¿К ^ ¿хОг-
оо
Яд^^^ -(и V)
Кп —в ¿в ¿г - ^^ кг(х, и, Vv) ——-¿х ¿г -
о п о п г=1 г
. дV д(и - V)
кп(х,и,—)---¿в ¿г >
дв дв
оп
> ш0{/Ф1(Луп(г1)) ¿х - JФ1(ио) ¿х + !Ф2(Луп(г1)) ¿в¿г - ^Ф2(ио) ¿в|. ' п ~
Последнее неравенство преобразуем, используя (37), следующим образом:
2
12(г1) = I (. (и(г)),и)* ¿г + ^ ¿(к< - кг(х,и, Vv^ д(и—- ^ ¿хйь +
о
г1
+ 11 ( Кп - кп(х,и,дв Л -(ида ^ ¿в ¿г >
0п
> Шо{/Ф1(Луп(г1)) ¿х Ф1 (ио) ¿х Ф2(Луп(г1)) ¿в¿г Ф2(uо)¿^. (42) п
Проинтегрируем (42) по г1 от Т - А до Т, где А > 0. В результате будем иметь
т т
12 (г1) ¿г1 > Иш Ф1(Луп(г1)) ¿x¿гl +
т-х т-х п
т
+ Иш Ф2 (Луп(г{)) ¿в¿г
1 - А / Ф1(ио(х)) ¿х - А Ф2(ио(х)) ¿в. (43) ] т,к^о} } }
т-х п п п
т
Из слабой полунепрерывности снизу функционало^ ¡МО¿^ г = 12
т-х п
в пространстве Ьж(0,Т; Ьа. (Ог)) вытекает, что
т т
Иш Фг(Луп(г1)) ¿в¿г1 > Фг(и(г1)) ¿хаь1, г = 1, 2. (44)
] т,К^о] } }
т-х п т-хп
Левую часть неравенства (43) преобразуем с помощью теоремы о среднем значении. Затем получившееся неравенство поделим на А и перейдем к пределу при А ^ 0, откуда с учетом оценок (44) вытекает, что
т т 2
У (.(и(г)),и)* ¿г + ^ {к* - кг(х, и, Vv)^ д(и- ^ ¿^^г +
о
+ 11 (Кп - кп(х, и, —в)) д(и—а ^ ¿в ¿г >
оп
> Ит !(/Ф1(и) ¿х - ! Ф1(ио) ¿х + ! Ф2(и) ¿в - J Ф2 (ио) ¿в(45) п п п п
Используя равенство т
'т(и(г)),ик ¿г = ит - > | I Фг(и
!.(и(г)),и)* ¿г = Ит JФ*(и)¿х - !Фг(ио)¿х
о г=1 п п
(46)
справедливость, которого установить нетрудно, следуя доказательству леммы 1.5 работы [21], из (45) имеем
т 2
УУ - кг(х, и, Vv)^ д(и- ^ ¿х^г +
о п *=1 *
т
+ II (кп - кп{х,и, ¿в ¿г > 0. (47)
Полагая в (47) V = и - Аю, где А - произвольное положительное число, ю -
о
произвольная функция из Щ (0,Т), перейдем после деления на А в полученном
неравенстве к пределу при А ^ 0, в результате будем иметь
I j (Kj — kj(x,u, Vu)^ дд— dxdt +
В силу произвольности функции и> из последнего неравенства вытекает равенство (39).
Сформулируем основной результат работы.
Теорема 1. Пусть И - выпуклая область пространства К2, функции к^, г = I, 2, кп удовлетворяют условиям (4)—(11),
/ € Ьр/1 (0,Т; W-11(Q)), /2 € ЬР,2 (0,Т; Wp;12(П)), п0 € Ьа1 (П) П Ьа2 (П).
Тогда подпоследовательность кусочно-постоянных восполнений решения схемы (14)—(15), удовлетворяющая соотношениям (26)—(29), сходится к обобщенному решению .задачи (1)—(3). В условиях единственности решения (см. [6]) вся указанная последовательность обладает этим свойством.
Благодарности. Работа выполнена при поддержке РФФИ (проекты № 15-0105686, 15-41-02315).
Литература
1. Антонцев С.Н., Мейрманов А.М. Математические модели совместного движения поверхностных и подземных вод. - Новосибирск: Изд-во НГУ, 1979. - 80 с.
2. Антонцев С.Н., Епихов Г.Р., Кашеваров А.А. Системное математическое моделирования процессов водообмена. - Новосибирск: Наука, 1986. - 250 с.
3. Тимербаев М.Р. Пространства с нормой графика и усиленные пространства Соболева I // Изв. вузов. Матем. - 2003. - № 5. - С. 55-65.
4. Тимербаев М.Р. Пространства с нормой графика и усиленные пространства Соболева II // Изв. вузов. Матем. - 2003. - № 9. - С. 46-53.
5. Glazyrina, L.L., Pavlova, M.F. Convergence of implicit difference scheme for the problem of conjunctive ground water and surface flow with an arbitrary channel cross section // J. Math. Sci. - 1994. - V. 71, No 6. - P. 2744-2756
6. Глазырина Л.Л., Павлова М.Ф. Теорема о единственности решения одной задачи теории совместного движения русловых и подземных вод // Изв. вузов. Матем. -2000. - № 11. - С. 11-25.
7. Глазырина Л.Л., Павлова М.Ф. Теорема о единственности решения одной задачи теории совместного движения русловых и подземных вод с нестационарными граничными условиями // Исслед. по прикл. матем. и информатике. - Казань: Казан. гос. ун-т, 2003. - Вып. 24. - С. 31-42.
8. Глазырина Л.Л., Павлова М.Ф. О единственности решения вариационного неравенства теории совместного движения русловых и подземных вод при неоднородном ограничении и неоднородных краевых условиях // Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки. - 2007. - Т. 149, кн. 4. - С. 73-89.
9. Глазырина Л.Л., Павлова М.Ф. О разрешимости задачи задачи теории совместного движения поверхностных и подземных вод при неоднородном ограничении на решение // Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки. - 2012. - Т. 154, кн. 1. -С. 147-161.
10. Glazyrina L.L., Pavlova M.F. Numerical solution of the nonstationary problem of conjunctive motion of ground and surface water //J. Sov. Math. - 1992. - V. 61, No 6. -P. 2417-2421.
11. Glazyrina L.L., Pavlova M.F. The finite element method explicit scheme for a solution of one problem of surface and ground water combined movement // IOP Conf. Ser.: Mater. Sci. Eng. - 2016. - V. 158, No 1. - Art. 012041, P. 1-7.
12. Кашеваров А.А. Приближенный учет вертикального потока в гидравлических моделях фильтрации // Краевые задачи фильтрации (Динамика сплошной среды) -Новосибирск: Ин-т гидродинамики СО РАН, 1994. - Вып. 108. - С. 3-13.
13. Nobi N., Das Gupta A. Simulation of regional flow and salinity intrusion in an integrated stream-aquifer system in coastal region: Southwest region of Bangladesh // Ground Water. - 1997. - V. 35, No 5. - P. 786-796.
14. Glazyrina O.V., Pavlova M.F. Study of the convergence of the finite-element method for solving parabolic equations with a nonlinear nonlocal space operator // Differ. Equations. - 2015. - V. 51, No 7. - P. 876-889. - doi: 10.1134/S001226611507006X.
15. Glazyrina O.V., Pavlova M.F. On the solvability of an evolution variational inequality with a nonlocal space operator // Differ. Equations. - 2014. - V. 50, No 7. - P. 873-887. -doi: 10.1134/S0012266114070040.
16. Pavlova M.F. On the solvability of nonlocal nonstationary problems with double degeneration // Differ. Equations. - 2011. - V. 47, No 8. - P. 1161-1175. - doi: 10.1134/S0012266111080106.
17. Даутов Р.З., Карчевский М.М. Введение в теорию метода конечных элементов. -Казань: Казан. ун-т., 2011. - 240 с.
18. Корнеев В.Г. Схемы метода конечных элементов высоких порядков точности. - Л.: ЛГУ, 1977. - 206 с.
19. Лионс Ж.-Л. Некоторые методы решения нелинейных краевых задач. - М.: Мир, 1972. - 588 с.
20. Павлова М.Ф. Исследование уравнений нестационарной нелинейной фильтрации // Дифференц. уравнения. - 1987. - Т. 23, № 7. - С. 1436-1446.
21. Alt H.W., Luckhaus S. Quasilinear elliptic-parabolic differential equation // Mat. Z. -1983. - Bd. 183, H. 8. - S. 311-341.
Поступила в редакцию 23.08.16
Глазырина Людмила Леонидовна, кандидат физико-математических наук, доцент
кафедры вычислительной математики
Казанский (Приволжский) федеральный университет
ул. Кремлевская, д. 18, г. Казань, 420008, Россия E-mail: glazyrina-ludmila@ya.ru
Павлова Мария Филипповна, доктор физико-математических наук, профессор кафедры вычислительной математики
Казанский (Приволжский) федеральный университет
ул. Кремлевская, д. 18, г. Казань, 420008, Россия E-mail: mpavlova@kpfu.ru
ISSN 1815-6088 (Print)
ISSN 2500-2198 (Online)
UCHENYE ZAPISKI KAZANSKOGO UNIVERSITETA. SERIYA FIZIKO-MATEMATICHESKIE NAUKI
(Proceedings of Kazan University. Physics and Mathematics Series)
2016, vol. 158, no. 4, pp. 482-499
On an Approximate Solution Method for the Problem of Surface and Groundwater Combined Movement with Exact Approximation on the Section Line
L.L. Glazyrina* , M.F. Pavlova**
Kazan Federal University, Kazan, 420008 Russia E-mail: *glazyrina-ludmila@ya.ru, ** mpavlova@kpfu.ru
Received May 12, 2016 Abstract
In this paper, the initial-boundary problem for two nonlinear parabolic combined equations has been considered. One of the equations is set on the bounded domain fi C R2, another equation is set along the curve lying in fi. Both of the equations are parabolic equations with double degeneration. The degeneration can be present at the space operator. Furthermore, the nonlinear function which is under the sign of partial derivative with respect to the variable t, can be bound to zero. This problem has an applied character: such structure is needed to describe the process of surface and ground water combined movement. In this case, the desired function determines the level of water above the given impenetrable bottom, the section simulates the riverbed. The Bussinesk equation has been used for mathematical description of the groundwater filtration process in the domain fi; a diffusion analogue of the Saint-Venant's system has been used on the section for description of the process of water level change in the open channel. Earlier, the authors proved the theorems of generalized solution existence and uniqueness for the considered problem from the functions classes which are called strengthened Sobolev spaces in the literature. To obtain these results, we used the technique which was created by the German mathematicians (H.W. Alt, S. Luckhaus, F. Otto) to establish the correctness of the problems with a double degeneration.
In this paper, we have proposed and investigated an approximate solution method for the above-stated problem. This method has been constructed using semidiscretization with respect to the variable t and the finite element method for space variables. Triangulation of the domain has been accomplished by triangles. The mesh has been set on the section line. On each segment of the line section lying between the nearby mesh points, on both side of this segment we have constructed the triangles with a common side which matches with the picked segment of the section line. Triangulation of the rest of domain has been accomplished by triangles as commonly accepted. A list of a priori estimates has been obtained. The convergence of the constructed method has been proved.
Keywords: double degeneration, non-local boundary conditions, method of semidiscreti-zation, finite element method, generalized solution
Acknowledgments. The study was supported by the Russian Foundation for Basic Research (projects nos. 15-01-05686 and 15-41-02315).
498
r,HA3bIPHHA, M.O. nAB^OBA
References
1. Antontsev S.N., Meirmanov A.M. Mathematical Models of Simultaneous Motions of Surface and Ground Waters. Novosibirsk, Izd. Novosib. Gos. Univ., 1979. 80 p. (In Russian)
2. Antontsev S.N., Epikhov G.R., Kashevarov A.A. Mathematical System Modelling of Water Exchange Processes. Novosibirsk, Nauka, 1986. 250 p. (In Russian)
3. Timerbaev M.R. Spaces with a graph norm and strengthened Sobolev spaces. I. Russ. Math., 2003, vol. 47, no. 5, pp. 52-62.
4. Timerbaev M.R.Spaces with a graph norm and stengthened Sobolev spaces. II. Russ. Math., 2003, vol. 47, no. 9, pp. 43-49.
5. Glazyrina, L.L., Pavlova, M.F. Convergence of implicit difference scheme for the problem of conjunctive ground water and surface flow with an arbitrary channel cross section. J. Math. Sci., 1994, vol. 71, no. 6, pp. 2744-2756.
6. Glazyrina, L.L., Pavlova, M.F. A uniqueness theorem for the solution of a problem in the theory of the joint motion of channel and underground waters. Russ. Math., 2000, no. 11, pp. 10-22.
7. Glazyrina L.L., Pavlova M.F. A uniqueness theorem for the solution of a problem in the theory of the joint motion of channel and underground waters with nonstationary boundary conditions. Isseld. Prikl. Mat. Inf., 2003, no. 24, pp. 31-42. (In Russian)
8. Glazyrina L.L., Pavlova M.F. On uniqueness of the solution of a variational inequality of the coupled movement of the underground and surface waters theory with nonhomogeneous bounds and nonhomogeneous boundary conditions. Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 2007, vol. 149, no. 4, pp. 73-89. (In Russian)
9. Glazyrina L.L., Pavlova M.F. On the solvability of the problem of the coupled movement of underground and surface waters with nonhomogeneous bounds to the solution. Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 2012, vol. 154, no. 1, pp. 147161. (In Russian)
10. Glazyrina L.L., Pavlova M.F. Numerical solution of the nonstationary problem of conjunctive motion of ground and surface water. J. Sov. Math., 1992, vol. 61, no. 6, pp. 2417-2421.
11. Glazyrina L.L., Pavlova M.F. The finite element method explicit scheme for a solution of one problem of surface and ground water combined movement. IOP Conf. Ser.: Mater. Sci. Eng., 2016, vol. 158, no. 1, art. 012041, pp. 1-7.
12. Kashevarov A.A. Boundary Problems of Filtration (Continuous Medium Dynamics) Priblizhennyi uchet vertikal'nogo potoka v gidravlicheskkh modelyakh fil'tratsii [Approximated Recording of the Vertical Flow in Hydraulic Filtration Models]. Novosibirsk, Inst. Gidrodin. Sib. Otd. Ross. Akad. Nauk, 1994, no. 108, pp. 3-13. (In Russian)
13. Nobi N., Das Gupta A. Simulation of regional flow and salinity intrusion in an integrated stream-aquifer system in coastal region: Southwest region of Bangladesh. Ground Water, 1997, vol. 35, no. 5, pp. 786-796.
14. Glazyrina O.V., Pavlova M.F. Study of the convergence of the finite-element method for solving parabolic equations with a nonlinear nonlocal space operator. Differ. Equations, 2015, vol. 51, no. 7, pp. 876-889. doi: 10.1134/S001226611507006X.
15. Glazyrina O.V., Pavlova M.F. On the solvability of an evolution variational inequality with a nonlocal space operator. Differ. Equations, 2014, vol. 50, no. 7, pp. 873-887. doi: 10.1134/S0012266114070040.
16. Pavlova M.F. On the solvability of nonlocal nonstationary problems with double degeneration. Differ. Equations, 2011, vol. 47, no. 8, pp. 1161-1175. doi: 10.1134/S0012266111080106.
17. Dautov R.Z., Karchevskii M.M. An Introduction to the Theory of Finite Element Methods. Kazan, Kazan. Univ., 2011. 240 p. (In Russian)
18. Korneev V.G. Schemes of the Method of Finite Elements for High Orders of Accuracy. Leningrad, LGU, 1977. 206 p. (In Russian)
19. Lions J.-L. Some Methods of Solving Non-Linear Boundary Value Problems. Moscow, Mir, 1972. 588 p. (In Russian)
20. Pavlova M.F. Investigation of the equations of nonstationary nonlinear filtration. Differ. Uravn., 1987, vol. 23, no. 7, pp. 1436-1446. (In Russian)
21. Alt H.W., Luckhaus S. Quasilinear elliptic-parabolic differential equation. Mat. Z., 1983, Bd. 183, H. 8, S. 311-341.
Для цитирования : Глазырина Л.Л., Павлова М.Ф. О приближенном методе ре/ шения задачи совместного движения поверхностных и подземных вод с точной ап-\ проксимацией линии разреза // Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки. -2016. - Т. 158, кн. 4. - С. 482-499.
For citation : Glazyrina L.L., Pavlova M.F. On an approximate solution method for the / problem of surface and groundwater combined movement with exact approximation on \ the section line. Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 2016, vol. 158, no. 4, pp. 482-499. (In Russian)