CC BY
46
2013 Механика № 3
УДК 517.958
И.Б. Бадриев1, Л.А. Нечаева2
Казанский (Приволжский) федеральный университет, Казань, Россия 2Институт информатики Академии наук Республики Татарстан, Казань,
Россия
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ УСТАНОВИВШЕЙСЯ ФИЛЬТРАЦИИ С МНОГОЗНАЧНЫМ ЗАКОНОМ
Рассматривается установившийся процесс фильтрации несжимаемой высоковязкой жидкости, следующей многозначному закону фильтрации. Обобщенная постановка данной задачи формулируется в виде смешанного вариационного неравенства с монотонным оператором и сепарабельным, вообще говоря, недифференцируемым функционалом в гильбертовом пространстве. К данной задаче сводится задача об определении границ предельно равновесных целиков остаточной вязкопластической нефти. Установлены свойства оператора, входящего в это неравенство (обратная сильная монотонность, коэрцитивность), а также свойства функционала (липшиц-непрерывность и выпуклость). Это дало возможность применить для доказательства теоремы существования известные результаты теории монотонных операторов. Для решения вариационного неравенства предложен итерационный метод, не требующий обращения исходного оператора. Каждый шаг итерационного процесса сводится фактически к решению краевых задач для оператора Лапласа. Исследование сходимости итерационного процесса удалось провести благодаря сведению его к методу последовательных приближений для отыскания неподвижной точки некоторого оператора (оператора перехода). Получена связь решения исходного вариационного неравенства с компонентами неподвижной точки этого оператора перехода. Доказано, что оператор перехода является нерастягивающим, сверх того, получено неравенство, более сильное, чем неравенство нерастягиваемости. Установлено также, что оператор перехода является асимптотически регулярным. Это и позволило доказать слабую сходимость последовательных приближений. Проведено исследование сходимости итерационного процесса. Метод был реализован численно. Проведенные для модельных задач численные эксперименты подтвердили эффективность итерационного метода. Следует отметить, что предложенные методы позволяют находить приближенные значения не только самого решения, но и его характеристик, для задач фильтрации - это приближенные значения градиента решения, а также приближенные значения скоростей фильтрации на множествах, соответствующих точкам многозначности в законе фильтрации, что весьма полезно с практической точки зрения.
Ключевые слова: математическое моделирование, установившаяся фильтрация, вариационное неравенство, недифференцируемый функционал, обратно сильно монотонный оператор, итерационный метод.
I.B. Badriev1, L.A. Nechaeva2
1Kazan Federal University, Kazan, Russian Federation
Institute of Informatics of the Tatarstan Republic Academy of Sciences, Kazan, Russian Federation
MATHEMATICAL SIMULATION OF STEADY FILTRATION WITH MULTIVALUED LAW
We consider a steady process of filtration of the incompressible high-viscosity fluid, following multivalued filtration law. Generalized statement of this problem is formulated in the form of mixed variational inequality with monotone operator and separable generally nondifferentiable functional in Hilbert space. To this problem the problem of finding the boundaries of limit-equilibrium unrecovered viscoplastic oil in multilayer beds can be reduced. We establish the properties of operator (inverse strong monotonicity, coerciveness) and functional (Lipschitz continuity, convexity) contained in this variational inequality. This makes it possible to apply the known results in the theory of monotone operators to prove the existence theorem. To solve the variational inequality, we suggest iterative method that does not require the inversion of the original operator. Each step of the iterative process can essentially be reduced to the solution of the boundary-value problem for the Laplace operator. The investigation of the convergence of the iterative process is performed by its reduction to the successive approximation method for finding a fixed point of some operator (the transition operator). We obtain a relationship between the solution of the original variational inequality and the components of the fixed point of this transition operator. We show that the transition operator is nonexpanding; moreover, we obtain an inequality stronger than the nonexpansion inequality. We also show that the transition operator is asymptotically regular. This permits one to prove the weak convergence of the successive approximations. This method was realized numerically. The numerical experiments made for the model problems confirmed the efficiency of the iterative method. It is must to be mentioned that the suggested methods permit one to find approximate values not only of the solution itself but also of its characteristics (for filtration problems, these are approximate values of the solution gradient and also the approximate values of filtration rate on the sets according to the points of multivalence in filtration law), which is very useful from the practical viewpoint.
Keywords: mathematical simulation, steady filtration, variational inequality, nondifferentiable functional, inverse strongly monotone operator, iterative method.
Введение
В работе рассматривается задача об определении границ предельно равновесных целиков остаточной вязкопластичной нефти в многослойных пластах (см., например, [1-4]). Предельно равновесный целик остаточной нефти представляет собой наибольшую область, которая может быть занята остаточной вязкопластичной жидкостью неограниченно долго, то есть характеризует вклад пластических свойств жидкости в остаточные потери нефти. Таким образом, расчет предельно равновесных целиков представляет собой один из подходов к оценке влияния пластических свойств нефти на предельную нефтеотдачу.
Такой расчет полезен для оценки целесообразности бурения новых скважин. Рассматриваемая задача об определении границ предельно равновесных целиков остаточной вязкопластичной нефти сводится к стационарной задаче фильтрации несжимаемой жидкости с эффективным многозначным законом, состоящей в нахождении полей давления и скорости фильтрации, удовлетворяющих уравнению неразрывности и граничным условиям. В [1-4] для областей фильтрации простого вида и конкретных законов фильтрации было проведено решение рассматриваемой задачи. Однако в случае произвольных областей фильтрации и законов фильтрации, определяемых нелинейной функцией общего вида, необходимо применять приближенные методы. Исследованию корректности таких задач, построению приближенного метода ее решения и исследованию его сходимости и посвящена данная работа.
Обобщенная постановка сформулирована относительно давления в виде вариационного неравенства второго рода [5, 6] с обратно сильно монотонным оператором [7] в гильбертовом пространстве. Функционал, входящий в это вариационное неравенство, является суммой нескольких полунепрерывных снизу, выпуклых, собственных, вообще говоря, недифференцируемых функционалов. Доказана теорема существования этого вариационного неравенства, а также установлено существование поля скоростей фильтрации, построенного согласно многозначному закону по решению вариационного неравенства, удовлетворяющего уравнению неразрывности.
Для решения вариационного неравенства предложен итерационный метод расщепления, не требующий обращения исходного оператора. Отметим, что ранее [8, 9] для решения вариационных неравенств второго рода предлагался метод расщепления. Основная трудность при его реализации состояла в решении возникающей на каждом шаге метода задачи минимизации. В случае однослойного пласта (когда в вариационном неравенстве присутствует лишь один недифференцируемый функционал) эта задача минимизации была решена в [9] в явном виде благодаря тому, что удалось вычислить субдифференциал функционала, сопряженного с минимизируемым. Этот прием был применен и для рассматриваемой в настоящей работе задачи. Таким образом, каждый шаг метода сводится фактически к обращению оператора Лапласа.
Следует отметить, что метод позволяет находить приближенные значения не только самого решения, но и его характеристик, для задач
фильтрации - это приближенные значения градиента решения, что весьма полезно с практической точки зрения. Для численной реализации указанного итерационного метода были построены конечноэлементные аппроксимации вариационного неравенства и итерационного метода. Был составлен комплекс программ в среде МаЙаЬ. Для модельных задач были проведены численные эксперименты для различных исходных данных, при этом эмпирически определялись оптимальные (по количеству итераций) итерационные параметры. Результаты экспериментов свидетельствуют об эффективности итерационного метода.
В работах [1-4] рассматривались задачи об определении границ предельно равновесных целиков остаточной вязкопластичной нефти. Расчет целиков остаточной нефти в многослойных (т слоев) пластах, в осредненной постановке, сведен ([3, с. 135]) к решению стационарной задачи фильтрации вытесняющей жидкости относительно полей давления р и скорости фильтрации w с эффективным многозначным законом (рис. 1)
Здесь коэффициенты а1,в 1, / = 1,2,...,т, являются исходно заданными
величинами.
Множества точек области фильтрации О
соответствуют зонам пласта с номером i, в которых пласт промыт полностью, промыт частично или не промыт.
Далее рассмотрим задачу фильтрации с несколько более общим, чем (1)-(3), законом. Пусть QcRn - ограниченная область с непрерывной по Липшицу границей Г = Г1 U Г2, Г11Г2 = 0, mesГ1 > 0, на
1. Постановка задачи
■Vp єф(| w |)-^7,
| w |
(1)
(2)
Q + = {x eQ :|Vp( x) |> в i}, Q0 = {x eQ :| Vp( x)|=p t}, Q -={x eQ :|Vp( x)|<p i}
Г1 давление равно нулю, Г2 непроницаема. Требуется определить стационарные поля давления р и скорости w фильтрующейся в области О жидкости, удовлетворяющие уравнению неразрывности и граничным условиям
Шуw(x) = /(х),хеО, р(х) = 0,хеГ1, (w(x),n) = 0,хеГ2, (5)
где / - заданная функция, характеризующая плотность внешних источников; п - внешняя нормаль к Г 2 при многозначном законе фильтрации (рис. 2),
- w е^(1ррV р, х еО. (6)
- |Ур|є<%|)
/к а
/1 03
Л—{
/I 02
VI |
г^ = 0 \ г2 1 г3 г = |\у|
Рис. 1. Закон фильтрации Рис. 2. Многозначная функция g
Считается, что многозначная функция g может быть представлена в виде
т
g й) = g о(4)+Ее Н (^-в г),
г=1
где 9г > 0, вг > 0, г = 1,2,к,т, - заданные постоянные, многозначная функция Н (функция Хевисайда) и однозначная функция g0 задаются соотношениями (рис. 3)
н (?)=
0, ?<0, , 0 ,
I 0, 4<у,
[0,1], 4 = 0, ^(4) = ] ’Ь Ь> (7)
[^-уХ 4>у,
, 1, 4>0,
где у> 0 - заданная постоянная, функция g: [0,+да) ^ Я1 непрерывна
и удовлетворяет условиям
¿1(0) = 0, ¿й)>¿(С) V?>C>0, (8)
существуют такие постоянные с0 > 0, с1 > 0, 4 * > 0, что
С04<¿(4)<С14 (9)
Рис. 3. Функции g0 и
-1
Заметим, что обратное ф к многозначному отображению, определенному формулами (2), (3), удовлетворяет всем условиям, наложенным на многозначное отображение g .
Очевидно, что
И(4)-И(0>г(4-0 VzеН(4),к', где ц(4) = |° 4>0’ (10)
Перейдем к построению вариационной формулировки задачи (5), (6). Зададим оператор О: Яп ^ Яп следующим образом:
0, у = 0,
О (у) =
g 0(1 УI) IУ1
у, у * 0.
(11)
Обозначим через Cj°°(Q) множество бесконечно дифференцируемых
в Q функций, равных нулю в окрестности Г. Пусть p и w - решение задачи (5), (6). Тогда функция p удовлетворяет неравенству
j f ( x) П( x)dx =j (w( x), Vn( x))dx < j (G (Vp ( x)), Vn( x))dx +
Q Q Q
m
+Ze , j^(| V(p(x)+ n(x))|-P)dx - (12)
i=1 Q
m
-£e,Jtf|Vp(x)|-P)dx VneC”(Q).
i=1 Q
Пусть V = (neW2(1)(Q):n(x) = 0,xеГ1} - пространство Соболева с нормой ll П llV = (jl Vn(x) |2dx)1/2 . Обозначим a(p,n) = j(G(Vp(x)),
Q Q
Vn(x))dx. Форма a (•,•) линейна по второму аргументу. C учетом в (7), (11) имеем
la(p,n)l<j|G(vp)|1 Vn|dx = jlgo(|vpl)lVn|dx = j #(|vpl- Y)lVn|dx
Q Q Q( p, y )
где Q( p, y) = (x eQ :| Vp( x)| >y}. Из (9) с учетом неубывания в силу (8) функции g получаем
|a(p,n)|< j g(|vp|)|Vn|dx<jg(|Vp|)|Vn|dx<
Q( p, y ) Q
< cx jl Vp || Vn |dx < Cill p 11vll n 11v,
Q
то есть форма a (y) ограничена по второму аргументу, а значит, в силу теоремы Рисса-Фишера порождает оператор A : V ^ V по формуле
(Ap,n)v = a(p,n) = j (G (vp( x)),Vn( x))dx. (13)
Q
Далее, имеем
| j^(|Vp(x)| -P i)dx |= j (|Vp(x)| -P,)dx < [mes Q]1/2yp V (14)
Q Q( p,e, )
то есть на V определены функционалы , i = 1,2,...,m, по формулам
Р',(Р) = 0г 1^(1 ^Р(х)| “Р^. (15)
а
Таким образом, в соответствии с (12) под решением рассматриваемой стационарной задачи фильтрации несжимаемой жидкости, следующей многозначному закону фильтрации, будем понимать функцию p е V, являющуюся решением вариационного неравенства
m m
(Ар-/,л-p)v +^(П)-^(p)>0 ^е^ (16)
;=1 ;=1
где элемент / е V определяется по формуле (f ,п)к = |/(х)п(х)йх.
а
Запишем функционалы Fi в виде Fi = ¥ 1 о Л, где Л = У, ¥ 1 -функционалы, определенные на Y = [L 2(0)]п по формулам
^i(У) = ei|^(|у(x)|-Рi)dx, i' = 1,2,---,т. (17)
а
Тогда вариационное неравенство (16) может быть записано в виде
m m
(АР - /,Ц- p)V + ^¥ , (ЛП) -^¥ ; (ЛP) > 0 (18)
;=1 ;=1
Формулировка задачи в виде вариационного неравенства (18) будет использована при построении итерационного метода для его решения.
2. Существование решения
Докажем предварительно ряд результатов.
Лемма 1. Оператор О, определенный в (11), является монотонным, то есть
(Оу -Ог,у -2) > 0 Vy,2 е Яп. (19)
Доказательство. Применяя неравенство Коши-Буняковского, имеем
(|Gy-Gz, y- z) = ^ g 0|У•y|) y-g 0|(zZ Z ^ z, У-zj = go(| y 1)1 УI + go(| z|)| z|--[gc(|yl) l z l +go(l z l)l y|] y^zl > go(l у l)l у l + go(l Z l)l Z l -
-[go(l У l)l z l +go(l z l)l У |]= [go(l У l)-go(l z |)](| Уl -1 z l).
Если l y |>y, l z |>y, то
(Gy - Gz, y -z) >[go(| y|) - go (| z |)](| y | - | z |) =
=[g(| y| -Y)-g(| z | -Y)][(| y| -Y) - (| z | -Y)] > o
в силу монотонного возрастания g .
Пусть | У |>Y>|z | .
Тогда в силу (8)
(Gy-Gz,y-z) >go(|y|)(|у1 -1 z|) = g(| у1 -Y)(| у1 -| z|) > o. Аналогичное неравенство получается при | z |>y>| У | . Неравенство (19) доказано.
Следствие 1. Оператор A, определенный согласно (13), является монотонным.
Лемма 2. Оператор A, определенный в (13), является коэрцитивным [10], причем
(AP, p)y > coH p ||2V -c2|1 p ||V -Сз Vp eV, (2o)
где с2 = [mes Q]1/2 co y , c3 = [mes Q]co y 2 .
Доказательство. Используя (9), имеем
(Ap,p)v = jgo(|Vp|)|Vp|dx = j £(|Vp|-y)|Vp|dx>
Q Q( p, Y )
> co j (| vp |-Y)| vp |dx = co j| vp |2 dx - co Yj| vp |dx -
Q ( p, y ) Q Q
-co j | Vp |2dx > Co|1 p ||2v С211 p ||V -c3.
Q\Q ( p, y )
ибо | Vp ( x )| <y на Q \ Q( p, y).
Лемма доказана.
Лемма 3. Оператор A, определенный в (13), является непрерывным.
Доказательство. Из условий (7)-(9) вытекает, что оператор G, определенный в (11), является оператором Немыцкого (см. [11, с. 213]). В силу (9)
jI G(lУ I2dx = JI£о(1 Уl)|2 dx = J I#(|У\-T)|2dx<c2 J ||y\-y)|2dx<
Q Q Q (p, у) Q (p, y )
< cf J| y |2dx = c2 ||y||2 <+rc Vує Y = [L2(fi)]",
Q
то есть G действует из Y в Y .
Для любых p,u є V имеем
| (Ap,u)V |<J| (G(Vp),Vu) \dx <J| G(Vp) || Vu \dx <
Q Q
<|| G (Vp)||r || Vu ||г ,
поэтому для любых p,n из V
|| Ap - An ||v = sup | (AP|-UA|n,U)v ' <||G(Vp) - G(Vn)|Y
uєV,u^0 \\ U \\V
Но тогда непрерывность оператора A следует из непрерывности оператора Немыцкого (см. теорему 19.2 [11, стр. 213] ).
Лемма 4. Функционалы Ft, определенные согласно (15), являются выпуклыми, полунепрерывными снизу [12], собственными.
Доказательство. В силу (14) функционалы Ft являются ограниченными, а значит, собственными. Функция ц, определенная в (10), очевидно, является выпуклой, а значит, выпуклыми будут и функционалы Ft. Далее, функция ц может быть записана в виде
ц(^) = ^+ = (^+1 2, |)/2. Поскольку а - b <| a - b |, | а | -1 b |<| a - b | для любых чисел a,b, то a + - b += (a - b+ | а | -1 b |)/2 <| a - b |, поэтому для любых p,n є V
(\Vn\-p;) +-(|Vp |-рг) + <|| Vn\-| Vp ||<|V(n-p)|, следовательно,
IF(п)-F,(p)|<е, J|(|Vn|-P,)*-(|Vp|-p,)*|dx <
Q
<е, J1 V(n-p)|dx<dt||n-p||2,
где dj = Qi[mesQ]12, то есть функционалы Ft являются линшиц-
непрерывными, а значит, полунепрерывными снизу.
Теорема 1. Пусть выполнены условия (8), (9). Тогда вариационное неравенство (16) имеет непустое, выпуклое, замкнутое множество решений.
Доказательство. Из лемм 1-4 следует, что оператор A является непрерывным, монотонным, а значит, псевдомонотонным [10] и коэрцитивным, функционалы F, i = 1,2,...,m , - выпуклыми, полунепре-
m
рывными снизу, собственными. Функционал F = ^ F также является
i=1
выпуклым, полунепрерывным снизу, собственным. Поэтому вариационное неравенство (16) имеет непустое, выпуклое, замкнутое множество решений (см., например, [12]).
Следует отметить, что исходная задача (5), (6) формулируется относительно полей давления p и скорости фильтрации w, в то время как обобщенная постановка (16) - относительно давления p. Тем не менее имеет место
Теорема 2. Пусть выполнены условия (8), (9). Если p - решение вариационного неравенства (16), то существует функция w ef, такая, что почти всюду на Q справедливы включение (6) и интегральное тождество (то есть w удовлетворяет вариационному уравнению неразрывности).
|(w(x),Vn(x))dx = |f (x)n(x)dx V^e Cj”(Q). (21)
Q Q
Доказательство. Пусть p - решение вариационного неравенства (16), которое согласно определению субдифференциала эквивалентно включению
^ m ^
f - Aped Y.F, (p) ■ (22)
V i=1 У
Q
Так как функционалы выпуклы и непрерывны, то (см. [12])
С т Л т
д ^(р) 1 = ^й^1 (р) . Проводя рассуждения, подобные содержащим-
V■=1 ) ■=1
ся в [13], имеем, что в точке р субдифференциал функционала есть
множество линейных непрерывных на V функционала ^ вида
с X ■ (х)
(¡iP,vдv = 11 уР(х) | (ур(х),УП(х))йх, п е V,
где X 1р еЪ»(ОХ X,р(х)еб,Ц(| Ур(х)|-рД (23)
Поэтому соотношение (22) означает, что выполнено равенство
| / (х )п( х )дх = | (О (Ур (х)), Уп( х))ёх +
О о
т X (х)
+Х11УР(х)|(УР(х),уп(х))йх = |(м(х),уп(х))^х ^ е с”(О).
т X ■ (х)
где w( х) = -О (Ур( х)) | уР( х) | Ур( х), причем м е7 при выполне-
нии (8), (9).
Таким образом, вектор-функция м удовлетворяет уравнению неразрывности (21), а в силу (23) - соотношению (6). Теорема доказана.
3. Итерационный метод решения смешанного вариационного неравенства
Для решения вариационного неравенства (18) по аналогии с [8] рассмотрим следующий итерационный процесс. Пусть р(0) еV,
у(0) е У, X(0) еУ - произвольные элементы. Положим ¥ = ^¥■ . Для
,(°)
С 1 5 /ъ С= 1 — ниииовилвпвх^ ал^ш^шсх. ХХ\^Л\^УГ^Г11У1 х —
■=1
7 = 0,1,..., зная р(1), у(1), X(у), определим р(1+1),
р(3+1) = р(3) -т[Ар(3) -/ + гр(3) + Л*(Х(3) -гу(3))]. (24)
Затем находим у(3+1), решая задачу минимизации
r (У'*1’, z - у +T(z)-¥(у <"■>) > (25)
> (r Лр('+1) + X(' z. - у('+1)) Y Vz е Y.
Наконец, вычисляем X('+1),
X('+1) = X(') + г[Лр('+1) - у('+1) ]. (26)
Здесь т>0 и r > 0 - итерационные параметры; Л * Y ^ V - сопряженный к Л оператор: (Л * y,n)V = (У,Лп)7 , neV, у eY, (-,-)Y - скалярное произведение в Y : (у,z)Y = J(у(х),z(x))dx, у,z е Y .
Q
Нетрудно убедиться в том, что задача (25) однозначно разрешима. При исследовании сходимости итерационного процесса будем предполагать, что наряду с (8), (9) функция g липщиц-непрерывна с постоянной L > 0, то есть
1Ш-Ш|<L(£-£) V£,Z>0. (27)
Лемма 5. Оператор G, определенный в (12), удовлетворяет условию
| Gy - Gz |2 < L(Gy - Gz, у - z) Vy, z е Rn, (28)
то есть G - обратно сильно монотонный (см. [7, 14, 15] ) оператор с константой 1/ L, и, следовательно, он является липшиц-непрерывным с константой L .
Доказательство. При у = z неравенство (28) выполняется тривиальным образом. Предположим поэтому, что у ^ z. По аналогии с [16] рассмотрим выражение
D = | Gy-Gz|2 = g02 (| у D+gc2 (| z D - 2 gp(| у D g0(| z |)(У, z) /| у11 z 1 =
(<3у - Gz, у - z) g0(| у D! у + g0(| z И z |- (g0(| у ^ /| у + g0(| z |)/| z |)( y, z)
=____________g02 (| у D+g02 (| z D- 2 g0(| у D g0(| z |)cos a_=Dl
g0(| у|)| у |+g0(| z |)| z |- (g0(| у D /| у + g0(| z M z Ыу11 z Ь,z )cos a D2 ’
где cos a = (у, z)/| у || z |. Если знаменатель D2 обращается в нуль, то в силу условия (8) (из которого следует, что g 0 - неубывающая функция) и неравенства 1 - cos a > 0 имеем
0 = D2 = g0(| у|)| у |+g0(| z |)| z |- g0(| у|)| z |- g0(| z |)| у |+
+[g0(| у|)| z |+g0(| z |)| у|](1 -cos a) >[g0(| у|)- g0(| z |)](| у|-1 z |) > 0,
следовательно, [g0(| у |)-g0(| z |)](| у |-1 z |) = 0, то есть либо | у |=| z |, и тогда D1 = 0 , а значит, требуемое неравенство выполнено, либо
g0 (|у|) = g0 (z|) и тогда 0 = D2 =[g0(| у|)| z |+g0(| z|)| у|](1 -cos a), откуда в силу неотрицательности обоих сомножителей, по крайней мере, один из них равен нулю. Если g0 (| у |) = g0 (| z |) = 0 или | у |=| z |= 0, то Dl = 0,
и требуемое неравенство выполнено. Если же cos a = 1, то снова имеем
Di = g2(| у|) + g2(| z |) - 2g0(| у|)g0(| z |)=[g0(| у |)- g0(| z |)]2 = °.
Рассмотрим случай, когда знаменатель D2 ^ 0. Функция cos a ^ D(cos a) является дробно-линейной, поэтому ее максимум достигается при cos a = ±1.
При cos a =1 в силу (27)
D = (g(|у|)-g(| z |))2 = g*(| у|-в)-g*(| z |-в) <
(g0(| у|) -g0(| z |))(| у|) -| z |) | у|-1 z | " '
При cos a = -1 в силу неравенства (27) с Z = 0
(g(| у|) + g(| z |))2 =
D =
(gcd У I) + go(lz 1))(1 У I) +1 z I)
= g i\yl-ß) + g (lzl-ß)<LIУl+lzI-2ß<L
I У l+l z l _ l У l+l z l
Лемма доказана.
Следствие 2. Оператор A, определенный согласно (13), является обратно сильно монотонным с постоянной 1/ L > 0.
Нетрудно убедиться в том, что задача (25) однозначно разрешима.
Предполагаем, что решение вариационного неравенства (18) существует, для функционалов Yi, определяемых по формулам (17), выполнено следующее условие невырожденности задачи [12, с. 35]:
m
3z = Aw* е I dom Y : lim Y (y) = Y (z), (29)
y^z
J=1
а оператор Л*Л: V ^ V является каноническим изоморфизмом, то есть
Л *Лп = п . (30)
Для исследования сходимости итерационного метода выпишем явный вид оператора перехода метода. Будем считать, что т и г связаны соотношением гт< 1. Введем гильбертово пространство Q = V х У х У со скалярным произведением (•,) = а1(-,-)(/ + а2(-,-)У + а3(-,-)У, а1 = (1 -тг)/ т, а2 =г, а3 = 1/г . Элементы из Q будем обозначать Ч = (Ч^Ч2,Ч3). Определим оператор Т: Q ^ Q , Тч = (Тч,Т2ч,Т3ч) , сле-
дующим образом:
ТіЧ = Чі - т[^Чі - f + Л*Ч3 + г(Чі - Л*Ч2)], (31)
Т2 Ч = Ргох Т/г (ЛТ1 Ч + г (32)
Т3 Ч = Ч3 + г (ЛТ1 Ч - Т2 Ч). (33)
Здесь Ргох р :У ^ 7 - проксимальное отображение [12], ставящее в соответствие произвольному элементу у е У единственный элемент г = Ргох р (у), являющийся решением задачи минимизации (см., например, [12])
р(г) + 2||г - У1У2 = ™р(Р(Ч) + ^Ч - У1У2}.
При этом данная задача минимизации эквивалентна вариационному неравенству
(г - у,ч - г)у + Р(Ч) - Р(г) > 0 Уче У. (34)
Отметим также (см., например, предложение 2.1 [17, с. 285]), что проксимальное отображение является жестко нерастягивающим, то есть
(Ргох р (у)- Ргох р (г), у - г)у >| | Ргох р (у)- Ргох р (г) ||2 > 0 Уу, ге У.
Переписывая (25) в виде
г (у(у+1) - [Лр(у+1) + г _1Х(у)], г - у (у+1)) у + г _1¥ (г) - г _1¥ (у (у+1)) > 0 Уг еУ
и используя определение проксимального отображения на основе вариационного неравенства (34) с Р = Т/г и у = Лр(і+1) + г_1А,(і), перепишем итерационный процесс (31)-(33) в виде
Ч(і+1) = Тч(і), ч(і) = (р(і),у(і)Д(і)), і = 0,1,2,..., (35)
где ч (0) є Q - произвольный элемент, то есть Т - оператор перехода
этого итерационного процесса.
Теорема 3. Точка ч = (Р, уЛ) является неподвижной точкой оператора Т в том и только том случае, когда выполнены условия
У = ЛР, (36)
ХєдТ(Л р), (37)
-Л*Х = Ар - /. (38)
При этом первая компонента р любой неподвижной точки оператора Тявляется решением задачи (18).
Доказательство. Пусть ч = (Р,уЛ) - неподвижная точка оператора Т, то есть
р = р -т[ Ар-/ + Л*Х + г Л*(Лр - у)], (39)
у = Ргох 1/г (Лр + г “Ч), (40)
А, = Х + г(Лр - у). (41)
Равенство (41) эквивалентно (36), ибо г > 0. Равенство (40) эквивалентно неравенству
(у-Лр - г_1Х,г - у)У + г_1[Т(г)-Т(у)] > 0 Уг є У
или с учетом (36) - неравенству
-(X,г - Лр)У + Т(г) - Т(Лр) > 0 Уг є У, (42)
которое, в свою очередь, эквивалентно включению (37).
Наконец, равенство (39), очевидно, эквивалентно (38).
Проверим, чтор - решение задачи (18). Из (39) с учетом равенства (36) следует, что Ар-/ = -Л. В неравенстве (42) заменим, используя (3 6), у на Лр и положим г = Лп , где п - произвольный элемент из V . Тогда получим
-(Х,Лп - Лр)У + Т(Лп) - Т(Л р) = -(Л\п - р )у + Т(Лп) - Т(Л р) =
= (Ар - /,Лп - Лp)V + Т(Лп) - Т(Лр) > 0 Уп є V,
то есть р - решение задачи (18). Теорема доказана.
Теорема 4. Пусть существует по крайней мере одно решение задачи (18), и выполнено условие (29). Тогда множество неподвижных точек оператора Т не пусто.
Доказательство. Пусть р - решение задачи (18), у = Лр . Вариационное неравенство (18) эквивалентно включению
/ - Ар єд(Т о Л)р . (43)
Из условия (29) и теоремы 13.3 [18] получаем следующее равенство:
д(Т о Л)р = Л*дТ(Лр). (44)
Из (43) вытекает, что найдется элемент р * є д(Т о Л) р, для которого выполнено равенство / - Ар = р*, а соотношение (44) означает существование такого элемента ХєдТ(Лр), что р* =Л, то есть -Л*Х = - р * = Ар - / . Итак, для ч = (р, у А) имеют место соотношения (36), (37), а значит, в силу теоремы 3 ч - неподвижная точка оператора Т . Теорема доказана.
Из теоремы 4 следует, что исследование сходимости итерационного процесса (24)-(26) сводится к исследованию сходимости метода последовательных приближений (35) отыскания неподвижной точки оператора Т . Установим свойства этого оператора.
Теорема 5. Пусть а : V ^ V - обратно сильно монотонный оператор с константой а>0, и выполнено следующее условие:
0 <т<2а/(2аг + 1). (45)
Тогда оператор Т, определяемый соотношениями (30)-(32), является нерастягивающим. Более того, для любых ч = (Ч1,Ч2,Ч3), ^ = (51,я2,я3) из Q справедливо неравенство
IIТЧ-Т^ Л(АЧ1 -Ац -^ + г|| (Ч2 -ЛТ1Ч)-(^2 -ЛТЛ>11г +
1 (46)
+ т(1 -тг) II(1 - тг )[(Ч1 - Т1Ч) - (^1 - Т1*)] - т( АЧ1 - А$Ж ^ Ч - я ^,
где Л = 2 - т / [а(1 - тг)].
Доказательство. По условию настоящей теоремы A - обратно сильно монотонный оператор с константой а > 0 :
(Au - An,u -n)V >а|| Au - An!!,2 Vu,n^V. (47)
Заметим, что в силу условия (45) выполнены неравенства тr < 1 и d > 0, а значит, из (46) и (47) будет следовать нерастягиваемость оператора T . Докажем неравенство (46). Перепишем равенство (31) в виде
T1q = Rq1 -т(Л *q3 - гЛ *q2), где оператор R :V ^ V определяется соотношением Rn = (1 - тг)n— тA n + т f . Используя (47), получаем
!| Rq1- Rs1!| V=(1 -тг)2 !| qi- s1||2 -2т(1 -тг)(А- As1, qx- , +
+т21| Aq1- As1||2 ^(1 -тг )2 ||q1 -s1||2 - (48)
-т(2(1 - тг) - та-1)(Aq1 - Asiq -Sj), .
Далее,
|| Tq- Tis\\V=(Tiq- T1s Rq1- Rs1)v -
-т(т - Т1^,Л* (q3 - s3) - rK\qv - sv))V,
откуда, используя очевидное равенство
(P,n)V = 2“|| P||V ^|| P-sn||V +f|| n||V 'VP,n^V, V:> 0, (49)
с P = Rq1 -RS1, n = Tq-Ts, имеем
|| T1q - T1s ||2=|| Rq1- Rs1||2 -2:|| Rq1- Rsi -s(T1q - M2 +
+2|| Txq - Txs 11V -т(Tlq - ^,Л - s3) - r Л *(q2- s2)) v .
Отсюда (после деления на т /2) с учетом (48) вытекает, что
“т|| Rqi- Rsi -:(Tiq-T^V + || Txq-T^V=77|| Rqx- Rsi||2 -
О L L О L
-2(T1q-TisA*(q3-s3)-гЛ*(q2-s2)), ^(1 т) ||qi-s||2 -1 (2(1 - тг) - та-1)(Aqi - Asiq -sj, - 2(Tq - T^Xq - S3) --r Л *(q2- s 2)) v.
Выбирая 8=1 - тг , на основании определения оператора Я , получим
1 2 ||(1 - тг )[(Ч1 - Т1Ч) - (я1 - Т1я)] - т( АЧ1 - +
т(1 - тг)
1 + тг ^ ^ 2 1 -тг 2
| Т1Ч Тя||К — || Ч1 я1 ||К Л(Ац1 Ая1,Ч1
т т
-2(Т1Ч- Т1я,Л*(Ч3 - S3))V -2г(Т1Ч- Т1я,Л*(Ч2 - = (50)
1 тг
= -^-|| Ч1 - -Л(АЧ1 - АЧ -S1)V - 2(Л(Т1Ч - Т1я), Ч3 - я3)У +
+2г (Л(Т1Ч - Т1^Х Ч2 - я2 ) У .
Положим 8 = 1, р = ч2 - я2, п = Л(Тч - Т5) в равенстве (49) и преобразуем (50) к следующему виду:
1
||(1-тг )[(Ч1 -Т1Ч)-(я1 -Т1я)]-т(АЧ1- ^1^1 +
-5,)„ +
(51)
т(1 -т г)
+ г ||(Ч2-ЛТ1Ч) - (я2 -ЛТ1я)] -т( АЧ1- Л (АЧ1- АЧ- ^ +
і + тг 1_тг
+ —— ||Т1Ч-—-^~||Ч1-я1||2 -2(Л(Т1Ч-ТЛЧ3-я3)У +
+г || Ч2 - Я2||У + г||Л(Т1Ч - Т1я )||У.
Далее, из (32) с учетом жесткой нерастягиваемости проксимального отображения имеем, что
|| Т2Ч - Т2я || 2 — (ЛТ1 Ч + г _1Ч3 -ЛТ1 я - г "Ч,Т2Ч - Т2я) У ,
откуда
г || Т2Ч - Т2Я || 2 — г (ЛТ1 Ч - ЛТ1 Я,Т2Ч - Т2Я) У + (Ч3 - *»ЛЧ - Т2я) У . (52)
Из (33) следует соотношение
г_11| Т3ч -Т3я ||2 — г_11| ч3 - я31|2 +2(ч3 - я3,Л(Т1 ч -Т1 я))У -
-2(ч3 - я3, Т2 Ч -Т2 я) У + г || Л (Т1 Ч -Т1 я) - (Т2 Ч -Т2 я) || Г = г || Ч3 - я3 || 7 +
+2(Ч3 - ^3,Л(Т1 ч -Т я)) у -2(Ч3 - ^3, Т2 ч -Тг я) у + г| | Л(Т Ч -Т я)|| У +
+г|| Т2 ч -Т2 я ||2 -2г (Л(Т1 ч -Т1 я), Т2 ч -Т2 я) У.
Складывая получившееся соотношение с (51) и (52) и учитывая, что в силу (30) имеет место равенство || Л(Т д-Т1 я)||¥ =||Т1 д-Т1 я\\у , получаем, что справедливо неравенство (46). Теорема доказана.
Теорема 6. Пусть А : V ^ V - обратно сильно монотонный оператор с константой а>0, выполнены условия (29), (45), задача (18) имеет по крайней мере одно решение, итерационная последовательность {?(3)} “=0 построена согласно (35). Тогда эта последовательность сходится слабо в Q при к ^+сю, ее предел д * является неподвижной точкой оператора Т, и справедливы равенства
Нш|| У(3)-Л р(3 )|| г = 0, (53)
3
ПшИ?0*1’ -= 0. (54)
Доказательство. Воспользуемся неравенством (46), положив в нем ? = ?(3) и считая я неподвижной точкой оператора Т (в силу теоремы 4 существует хотя бы одна такая точка). Учитывая, что по определению итерационной последовательности Т?{-3) = ?(3+1), а для неподвижной точки я согласно теореме 3 выполнены равенства
я2 -ЛТ1 я = я2 -Ля1 = 0, я1 -Т1 я = 0, получаем
|| ?(3+1) - я |^ +й (Ар(3) - Ая1, р(3) - s1)V + г || у(3) -Л р(3+1) |* +
+т(1 -т г)|| (1 - т г )(р(3) - р(3+1)) - т( Ар(3) - <у ?(3) - я ||Q.
Из этого неравенства следует, что ограниченная снизу (нулем) числовая последовательность {|| ?(3) - я || Q}“=1 не возрастает и, следовательно, имеет конечный предел Нш || ?(3) - я || (? = ая, и, значит, выполнены
соотношения
Нш(Ар(3) - А^,р(3) -Sl)v = 0, (55)
3
Нш || У(3)-Л р (3+1)|| 7 = 0, (56)
3
Нш|| (1 - тг)(р(3) - р(3+1)) - т(Ар(3) - Ая1)|| V =0. (57)
Используя (47) и (55), получаем
Нш|| Ар(3) - А^! || V = 0. (58)
3
Из (57) и (58) следует, что
Нш|| р(3+1) -р(3) || V = 0. (59)
3^<ю
Далее, используя (56), (59) и неравенство
|| у(3) -Лр(3) || 7 < || у(3) -Лр(3+Х) || 7 +1| Л(р(3) -р(3+Х) )|| 7, получаем соотношение (53), из которого с учетом (59) и равенства
у(3) - у(3+Х) = (у(3) -Л р(3)) + (Л р(3) - Л р(3+1)) + (Л р(3+Х) - у(3+1)) следует, что
Нш || у(3+1) - у(3)|| 7 = 0. (60)
3
Наконец, используя (26) и (53), имеем
Нш|| X (3+1)-X (3)|| 7 = г Нш|| Л р(3) - у (3)|| 7 = 0. (61)
Равенства (59)—(61) означают, что выполнено соотношение (54), и поскольку ?(0) е Q - произвольно заданный элемент, то оператор Т является асимптотически регулярным (см. [19]). Кроме того, оператор Т является нерастягивающим в силу теоремы 5, поэтому (см. [20]) итерационная последовательность {?(3)} “=0 сходится слабо в Q при 1 *
к ^ +сю, и ее предел ? является неподвижной точкой оператора Т. Теорема доказана.
4. Итерационный метод решения задач установившейся фильтрации с многозначным законом
Как было сказано выше, оператор А , определенный на
V = {пеЖ2(1)(0):п(^) = 0, х еГ1} согласно (13), при выполнении условий (8), (9), (27) является обратно сильно монотонным с постоянной
а = 1/Ь, а функционалы ¥,,/ = 1,2,...,т, задаваемые с помощью соотношений (17), - полунепрерывными снизу, выпуклыми, собственными на 7 = [Ь 2(0)]п . Поэтому выполнены условия сходимости итерационного процесса (24)-(26) и справедлив следующий результат:
Теорема 7. Пусть выполнены условия (8), (9), (27),
0 <т< 2 / (2 г + Ь), итерационные последовательности {р(3)} “=0, {у(3)}3=о, {X(3)}3=0 построены согласно (24)-(26). Тогда:
1) последовательность {р(3)}“=0 сходится слабо в V к некоторому решению р вариационного неравенства (18);
2) последовательность {у(3)}“=0 сходится слабо в 7 к Vр;
3) последовательность {X(3)} “=0 сходится слабо в 7 к X, такому, что X е р), -Л^ = Ар - /;
4) справедливо соотношение Нш|| у(3) - Vр ||7 = 0.
Остановимся теперь на особенностях применения итерационного метода (24)-(26) для решения задач установившейся фильтрации с многозначным законом.
Первый шаг (24) сводится в силу теоремы Рисса-Фишера к обращению оператора Лапласа:
-Ар(3+1) =-(1 -тг)Ар(3) + тсЦу(С(Vр(3)) + X(3) -гу(3)) + т/,
третий шаг (соотношение (26)) - к вычислениям по явным формулам.
Основную трудность в реализации итерационного метода представляет второй шаг - решение задачи минимизации (25), то есть согласно определению проксимального отображения в виде вариационного неравенства (см. (34)) задачи безусловной минимизации сильно выпуклого, полунепрерывного снизу, собственного функционала
¥г :7¥г(г) = -Г|к||72 +¥(г) + (Vp(з+1) +X(з),z)7 . Следуя [21], можно проверить, что решение этой задачи имеет вид
у(3+1) = gГ■ (| * |)* /1*1, * = V р(3+1) + X(3),
где (рис. 4)
3 =ЕеI • 90 =в0 = 0.
1 =1
Таким образом, каждый шаг итерационного метода сводится фактически к обращению оператора Лапласа.
Рис. 4. Функция gr Рис. 5. Вид застойных зон
Следует отметить, что метод позволяет находить приближенные значения не только самого решения р(3), но и его характеристик, для задач фильтрации - это приближенные значения у(3) градиента решения, что весьма полезно с практической точки зрения, при построении предельно равновесных целиков остаточной вязкопластичной нефти в соответствии с формулами (4). Кроме того, как это следует из п.п. 2), 3) теоремы 7, приближенное значение скорости фильтрации, удовлетворяющей уравнению неразрывности, может быть вычислено по формуле V = -£0(|у(3) |)у(3)/|у(3) |-Х(3). Для численной реализации указанного итерационного метода были построены конечноразностные аппроксимации вариационного неравенства и итерационного метода, составлен комплекс программ в среде Matlab, проведены расчеты для модельной задачи фильтрации в единичном квадратном пласте
е'Я) =
□ = (0,1) х(0,1) с центром в начале координат, в котором находится скважина с дебитом д = 1. Полагалось, что Г = Г1. В качестве функции £ выбиралась функция ¿(^) = £ . Во всех расчетах принимались следующие значения: т = 1, р 1 = 1, 31 = 1, при этом эмпирически определялись оптимальные (по количеству итераций) итерационные параметры. На □ строилась сетка размером п1 х п2. Результаты экспериментов свидетельствуют об эффективности итерационного метода. На рис. 5 для п1 = 300 , п2 = 300 приведены границы застойных зон, на которых
|Ур| = 1.
Работа выполнена при финансовой поддержке РФФИ (гранты №12-01-00955, 12-01-97022, 11-01-00667).
Библиографический список
1. О расчете предельно равновесных целиков при вытеснении вязкопластической нефти из слоисто-неоднородного пласта / В.М. Ен-тов, Т.А. Малахова, В.Н. Панков, С.В. Панько // Прикладная математика и механика. - 1980. - Т. 44, № 1. - С. 113-123.
2. Ентов В.М., Панков В.Н., Панько С.В. К расчету целиков остаточной вязкопластической нефти // Прикладная математика и механика. - 1980. - Т. 44, № 5. - С. 847-856.
3. Ентов В. М., Панков В. Н., Панько С. В. Математическая теория целиков остаточной вязкопластичной нефти. - Томск: Изд-во Том. унта, 1989. - 196 с.
4. Ентов В.М., Панько С.В. К вариационной формулировке задачи о целиках остаточной нефти // Прикладная математика и механика. -1984. - Т. 48, № 6. - С. 966-972.
5. Лапин А.В. Об исследовании некоторых нелинейных задач теории фильтрации // Журнал вычислительной математики и математической физики. - 1979. - Т. 19, № 3. - С. 689-700.
6. Ляшко А.Д., Карчевский М.М. Разностные методы решения нелинейных задач теории фильтрации // Изв. вузов. Математика. -
1983. - № 7. - С. 28-45.
7. Гольштейн Е.Г., Третьяков Н.В. Модифицированные функции Лагранжа. - М.: Наука, 1989. - 400 с.
8. Badriev I.B., Zadvornov O.A. A Decomposition Method for Variational Inequalities of the Second Kind with Strongly Inverse-Monotone Operators // Differential Equations. - 2003. - Vol. 39. - No. 7. - P. 936-944.
9. Badriev I. B., Zadvornov O. A. Analysis of the Stationary Filtration Problem with a Multi-valued Law in the Presence of a Point Source // Differential Equations. - 2005. - Vol. 41. - No. 7. - P. 915-922
10. Лионс Ж.-Л. Некоторые методы решения нелинейных краевых задач. - М.: Мир, 1972. - 588 с.
11. Вайнберг М.М. Вариационные методы исследования нелинейных операторов. - М.: Гостехиздат, 1956. - 344 с.
12. Экланд И., Темам Р. Выпуклый анализ и вариационные проблемы. - М.: Мир, 1979. - 400 c.
13. Карчевский М.М., Бадриев И.Б. Нелинейные задачи теории фильтрации с разрывными монотонными операторами // Численные методы механики сплошной среды. - Новосибирск: Изд-во ин-та тео-рет. и прикл. мех. СО АН СССР. - 1979. - Т. 10, № 5. - С. 63-78.
14. Tzeng P. Futher Applications of a Splitting Algorithm to Decomposition in Variational Inequalities and Convex Programming// Mathematical Programming. - 1990. - Vol. 48. - P. 249-264.
15. Zhu D., Marcotte P. New classes of generalized monotonicity // Journal of Optimization Theory and Applications. - 1995. - Vol. 87. -No. 2. - P. 457-471.
16. Ляшко А. Д., Карчевский М.М. О решении некоторых нелинейных задач теории фильтрации // Изв. вузов. Математика. - 1975. -№ 6. - С. 73-81.
17. Résolution numériques de problèmes aux limites par des méthodes de Lagrangien augmenté / Ed. M. Fortin, R. Glowinski. - Paris: Dunod, 1983. -320 p.
18. Бадриев И.Б., Задворнов О. А. Итерационные методы решения вариационных неравенств в гильбертовых пространствах. - Казань: Изд-во Казан. гос. ун-та, 2007. - 152 с.
19. Browder F.E., Petryshin W.V. The solution by iteration of nonlinear functional equations in Banach spaces // Bulletin of the American Mathematical Society. - 1966. - Vol. 72. - P. 571-575
20. Opial Z. Weak convergence of the sequence of successive approximations for nonexpansive mappings // Bulletin of the American Mathematical Society. - 1967. - Vol. 73. - No. 4. - P. 591-597.
21. Бадриев И.Б., Задворнов О.А., Исмагилов Л.Н. Применение метода декомпозиции для численного решения некоторых нелинейных стационарных задач теории фильтрации // Исследования по прикладной математике и информатике. - Казань: Изд-во Казан. гос. ун-та. -2003. - Вып. 24. - С. 12-24.
References
1. Entov V.M., Malakhova T. A., Pankov V.N., Pan'ko S.V. Calculation of the Limit-equilibrium of Retained Viscoplastic Oil Extracted from a Nonuniform Stratified Layer by Water. Journal of Applied Mathematics and Mechanics, 1980, vol. 44, iss. 1, pp. 76-82.
2. Entov V.M., Pankov V.N., Pan'ko S.V. On the Analysis of Retained Residual Viscoplastic Petroleum. Journal of Applied Mathematics and Mechanics, 1980, vol. 44, iss. 5, pp. 597-603.
3. Entov V.M., Pankov V.N., Pan’ko S.V. Matematicheskaya teoriya tselikov ostatochnoi vyazkoplastichnoi nefti [Mathematical Theory of Unrecovered Visco-Plastic Oil]. Tomskij universitet, 1989.
4. Entov V.M., Pan'ko S.V. Variational Formulation of the Problem of Retained Viscoplastic Oil. Journal of Applied Mathematics and Mechanics,
1984, vol. 48, iss. 6, pp. 707-712.
5. Lapin A.V. Investigation of Some Non-linear Problems of Filtering Theory. USSR Computational Mathematics and Mathematical Physics, 1979, vol. 19, no 3, pp. 135-148.
6. Lyashko A.D., Karchevskii M.M. Difference Methods of Solving Nonlinear Problems in the Theory of Filtration. Soviet Mathematics, 1983, vol. 27, no.7, p. 34-56.
7. Gol'shtein E.G., Tret'yakov N.V. Modifitsirovannye funktsii La-granzha [Modified Lagrangians]. Moscow: Nauka, 1989.
8. Badriev I.B., Zadvornov O.A. A Decomposition Method for Variational Inequalities of the Second Kind with Strongly Inverse-Monotone Operators. Differential Equations, 2003, vol. 39, no. 7, pp. 936-944.
9. Badriev I.B., Zadvornov O.A. Analysis of the Stationary Filtration Problem with a Multivalued Law in the Presence of a Point Source. Differential Equations, 2005, vol. 41, no. 7, pp. 915-922.
10. Lions J.-L. Quelque problèmes méthodes de résolution des problèmes aux limites nonlinéaires. Paris: Dunod, 1969.
11. Vainberg M.M. Variatzionnye metody issledovania nelineinykh operatorov [Variationa Methods of Research of Nonlinear Operators]. Moscow: Gostekhizdat, 1956.
12. Ekeland I, Temam R. Convex Analysis and Variational Problems. Amsterdam: North Holland Publishing Company, New York: Oxford American Elsevier Publishing Company, 1976.
13. Karchevskiy M.M., Badriev I.B. Nelineynye zadachi teorii filtrazii s razryvnymi monotonnymi operatorami [Nonlinear Problems of Filtration Theory with Discontinuous Monotone Operators]. Chislennye metody mek-haniki sploshnoj sredy, Novosibirsk: Institut teoreticheskoj i prikladnoj mekhaniki, 1979, vol. 10, no. 5, pp. 63-78.
14. Tzeng P. Futher Applications of a Splitting Algorithm to Decomposition in Variational Inequalities and Convex Programming. Mathematical Programming, 1990, vol. 48, pp. 249-264.
15. Zhu D., Marcotte P. New Classes of Generalized Monotonicity. Journal of Optimization Theory and Applications, 1995, vol. 87, no 2, pp. 457-471.
16. Lyashko A.D., Karchevskiy M.M. On the Solution of Some Nonlinear Problems of the Seepage Theory. Soviet Mathematics, 1975, vol. 19, no. 6, pp. 60-66.
17. Résolution numériques de problèmes aux limites par des méthodes de Lagrangien augmenté. Ed. M. Fortin, R. Glowinski. Paris: Dunod, 1983, 320 p.
18. Badriev I.B., Zadvornov O.A. Iteratzionnye metody reshenia vari-atzionnykh neravenstv v gil’bertovykh prostransyvakh [Iterative Methods for Variational Inequalities in Hilbert Spaces]. Kazanskiy gosudarstvenniy universitet, 2007.
19. Browder F.E., Petryshin W.V. The Solution by Iteration of Nonlinear Functional Equations in Banach Spaces. Bulletin of the American Mathematical Society, 1966, vol. 72, pp. 571-575
20. Opial Z. Weak Convergence of the Sequence of Successive Approximations for Nonexpansive Mappings. Bulletin of the American Mathematical Society, 1967, vol. 73, no 4, pp. 591-597.
21. Badriev I.B., Zadvornov O.A., Ismagilov L.N. Primenenie metoda decompozicii dlya chislennogo resheniya nelineynyh stacionarnyh zadach teorii filtracii [The Use of the Decomposition Method for the Numerical Solution of Some Nonlinear Steady-State Problems of Filtration Theory]. Issledovanija po prikladnoj matematike i informatike. Kazanskiy gosu-darstvenny universitet, 2003, iss. 24, pp. 12-24.
Об авторах
Бадриев Ильдар Бурханович (Казань, Россия) - доктор физикоматематических наук, профессор, профессор кафедры вычислительной математики Казанского (Приволжского) федерального университета (420008, г. Казань, ул. Кремлевская, 18, e-mail: ildar.badriev@ksu.ru).
Нечаева Людмила Анатольевна (Казань, Россия) - научный сотрудник Института информатики Академии наук Республики Татарстан (420111, г. Казань, ул. Лево-Булачная, д. 36А, e-mail:
nechaeva.ludmila64@mail.ru).
About the authors
Badriev Ildar Burkhanovich (Kazan, Russian Federation) - Doctor of Physical and Mathematical Sciences, Professor, Department of Calculation Mathematics, Kazan Federal University (18, Kremlevskaja st., 420008, Kazan, Russian Federation, e-mail: ildar.badriev@ksu.ru).
Nechaeva Ludmila Anatol’evna (Kazan, Russian Federation) - research associate, Institute of Informatics of the Tatarstan Republic Academy of Sciences (36A, Levo-Bulachnaja st., 420111, Kazan, Russian Federation, e-mail: nechaeva.ludmila 64@mail.ru).
Получено 15.03.2013
