CC BY
63
УДК 517.9
АППРОКСИМАЦИИ ВЫРОЖДЕННЫХ Оо-ПОЛУГРУПП
В последнее время результаты теории уравнений соболевского типа активно применяются для измерения динамически искаженных сигналов. При численном решении таких задач используются формулы, полученные для относительно р-радиального случая уравнений соболевского типа. В статье рассматриваются аппроксимации Хилле-Уиддера-Поста для операторов разрешающей сильно непрерывной полугруппы для однородных уравнений. Показывается, что в качестве таких аппроксимаций операторов разрешающей полугруппы можно применять более простую формулу.
Статья состоит из введения и двух частей. В первой части приводятся сведения, касающиеся относительных резольвент и теории относительно р-радиальных операторов, а во второй рассматриваются формулы аппроксимации.
Ключевые слова: уравнения соболевского типа, разрешающие полугруппы операторов, аппроксимации Хилле-Уиддера-Поста.
при некоторых условиях на пару операторов Ь и М, гарантирующих существование семейства разрешающих операторов. Здесь Ь € £(Я; 3) (т.е. линеен и непрерывен) и М € С1(&; 3)
Ь
Уравнения соболевского типа, т.е. вида (1) с вырожденным оператором при старшей производной, являются абстрактной формой представления для многих уравнений, лежащих в основе ттеклассических моделей математической физики (см. например [1-4]). В последнее время уравнения такого вида нашли свое применение в теории измерения динамически искаженных сигналов [о, 6]. Среди уравнений соболевского типа можно выделить 3 основных класса в зависимости от расположения относительного спектра па комплексной плоскости, а именно:
1) случай относительной ^-ограниченности, при котором разрешающее семейство операторов для уравнения (1) является аналитической группой;
2) случай относительной р-секториальпости, при котором разрешающее семейство операторов для уравнения (1) является аналитической полугруппой;
3) случай относительной р-радиальности, при котором разрешающее семейство операторов для уравнения (1) является сильно непрерывной полугруппой.
Построение численных экспериментов для уравнений соболевского типа базируется па
р [6]. В пункте 2.4 работы [3]
в качестве аппроксимаций Хилле-Уиддера-Поста для операторов разрешающей полугруппы была предложена формула вида:
которая оказалась не слишком удобной при численных расчетах [6]. В работе показано, что при р > 0 можно использовать формулу для операторов вырожденной сильно непрерывной полугруппы (вырожденной Со-полугруппы), предложенную для случая р = 0 в работе [7] .
М.А. Сагадеева, А.Н. Шулепов
Введение
Пусть и и 3 _ банаховы пространства. Рассмотрим уравнение
Ы1,({) = Ми(1)
(1)
1. Относительно р-радиальный оператор
Пусть U и F _ банаховы пространства, оператор L Є L(U; F) с нетривиальным ядром ker L = {0} и M ECl(U; F).
Множества pL(M) = {ß Є C : (ßL — M)-1 Є L(F;U)} и aL(M) = C \ pL(M) называются соответственно ¡^резольвентным множеством и L-спектром оператора M.
Видно, что если ker L П ker M = {0}, то pL(M) = 0. В дальнейших рассмотрениях нам понадобятся тождества, справедливые при любых ß, X Є pL(M):
(ßL — M)-1(XL — M)u = u + (X — ß)(ßL — M)-1Lu, u Є dom M,
(XL — M )(ßL — M )-1 = I + (X — ß)L(ßL — M )-1, (2)
(ß — X)(ßL — M )-1L(XL — M )-1 = (XL — M )-1 — (ßL — M )-1.
Для комплексной переменной ß Є C определим операторнозначные функции (ßL — M)-,
RL(M) = (ßL — M)-1L, LL(M) = L(ßL — M)-1 с областью определения pL(M) и будем их называть соответственно L-резолъвентой, правой и левой L-резольвентами оператора M.
L
полезные тождества, справедливые при любых X, ß Є pL(M):
(ß — X)RL(M)rL(M) = rL(M) — rL(M), (ß — X)lL(M)lL(M) = lL(M) — lL(M). (3)
Пусть kerL = {0}. Вектоp ф0 Є kerL \ {0} будем называть собственным вектором оператора L. Упорядоченное множество векторов {ф1,ф2,..-} называется цепочкой M-присоединенных векторов собственного вектора ф0, если
Lpq+1 = Mpq, q = 0,1,..., фі Є kerL, l = 1, 2,....
ML M-корневым линеалом оператора, L. M-корневым пространством будем называть замкну-ML
Правой (левой) (L, р)-резолъвентой оператора M называется операторнозначная функция p + 1 комплексного переменного Xo. ,Xp с областью определения (pL (M ))p+1 вида
p ( p
Ri>r) (M) = П RL (M) L<>.?) (M) = П LL m )
k=0 \ k=0
M p L
( L, p)
(i) 3a Є R 4ß > a ß Є pL(M):
(ii) 3K > 0 4ßk > a, k = 0,p, Чи Є N
K
max{W(RLß,p)(M ))ralku), \\(LLß,p)(M ))ra|U(F)} <~p-----•
П (ßk — а)П
k=o
a=0
Теорема 1. [3] Пусть Xk,ßk Є pL(M), k = 0,p. Тогда
(і) kerRj-‘x p)(M) состоит из M-присоединенных высоты, не большей p, векторов оператора L, imRLx p)(M) = imRLß ,p)(M);
(и) kerLLx p)(M) = {мф :. ф є kerRLx p)(M) n domM}, \mLLx p)(M) = imLLß p)(M).
Обозначим через U0 (F0) ядро ker R^up)(M) (kerL^ p)(M)), которое, понятно, является линейным подпространством.
M ( L, p)
(і) множество kerR^ p)(M) совпадавm с M-корневым пространством оператора L;
(И) kerRLß p)(M )П iiR ^(M ) = {0}, kerL^ p(M )П imL^ p)(M ) = {0}.
Лемма 2. [3J Пуст,ь оператор M (Ь,р)-радиален. Тогда выполнены, равенства im (RL(M ))р+2 = , im (LL (M ))p+2 = hnLMW+[ ■
Через U1 (F1) обозначим замыкание лииеала irnRßß p)(M) (imL^p)(M)), через U (F) -замыкание линеала U0+imRLßp)(M) (F^imL^p)(M)) в норме пространства U (F)-
Лемма 3. [3J Пусть оператор M (L,p)-pa,duaMH. Тогда
(i) lim (ßRL(M))p+1u = u Vu €U1, lim (ßLL(M))p+1f = f Vf €F1/
ß^+X ß ß^ + X ß
(ii)U = U0 ® U1, F = F0 ® F1.
2. Аппроксимации Хилле-Уиддера-Поста
Пусть pL(M) = 0 тогда уравнение (1): LU = Mu будем рассматривать вместе с эквивалентными ему при а € pL(M) уравнениями
RL(M)U = (aL — M)-1Mu, (4)
LL(M)f = M(aL — M)-1f (5)
как конкретные интерпретации уравнения Av = Bv, (6)
с операторами A, B € L(V) (в силу первых двух равенств из (2) при Л = 0) в некотором
банаховом пространстве V.
Под решением уравнения (6) будем понимать вектор-функцию v € С 1(R+; V), удовлетворяющую (6) при R+.
Определение 2. Сильно непрерывное отображение V• : R+ ^ L(V) называется силъ-
C0
полугруппои) уравнения (6), если
(i)V - V * = Vs+t Vs, t > 0-,
(ii) v(t) = V*vo есть решение этого уравнения для любого vo из плотного в V линеала.
Теорема 2. Пуст,ь M (L,p)-paдиален, тогда существует равномерно ограниченная разрешающая С0-полугруппа уравнения (4) ((5)), определенная, на подпространстве U (F)-
Доказательство. Рассмотрим аппроксимации Хилле-Уиддера-Поста в виде:
VI = ^ —lM) " L) = (ktR\ м)'-
Заметим, что для всех u € U0 U'u = 0.
Так как оператор M (L, р)-радиален, то аппроксимации Хилле-Уиддера-Поста равномерно ограничены константой K из определения 1: ||U'Идя) < K Vt € R+ Vk € N.
Возьмем элемент u € dom M и найдем производную
dUlu = U'iL — j'M^ Mu Vu € dom M■
dt V kJ
Теперь, пусть u € imR(ßßp)(M), т.е. u = (RL(M))p+1v для некоторых ß € R+ и v € U. Докажем при k > p + 1 равенство *lirn U'u = u■
Заменим ц = k/t и рассмотрим lim U'u = lim (pRL(M))ku =
i^0+ ß^+x ß
k-1
= ßim^ E RL(M))m+1 — (ßRL(M)Du + (ßRL(M))p+1u■ (7)
m=p+1
В силу (L, р)-радиальности оператора M и леммы 2 первое слагаемое в (7) стремится к нулю, а второе — стремится к u € imRLßp)(M) в силу леммы 3 (i).
Фундаментальность последовательности {Uf : k € N,k > p+1} показывается аналогично п. 2.4 работы [3]. Соответственно, существует предел, равномерный по t € (0,T]
Ut = s- lim Uf, Ut € C(Ü), \\U< K Vt € R+.
Далее, также как в работе [3], можно показать полугрупповое свойство pi остальные свойства полугруппы {Ut : t € R+}, в частности, для всех u € im (R^(M))p+‘2 + Ü0
RL(M) Jt{U U = RL(M )U*(RL(M ))p+1(ßL — M )-lMv = (aL — M )-1 MUtu.
И из лемм 2 и 3 (ii) следует, что множество im (R^L(M))p+2 + Ü0 плотно в Ü Аналогично показывается существование полугруппы для уравнения (5)
/к \ f F = s~ ¿5^ Ff = s~ hSLxt Lf/t(M^ > t € R+-
Замечание 2. Ясно, что, если полугруппа {Ut : t € R+} разрешает уравпение LU = Mи с оператором M = M — aL являющимся (L, р)-радиальным с константой a = 0 из определения 1, тогда разрешающей полугруппой исходного уравнения (1) будет семейство {Wt = eatUt : t € R+}. Соответственно, для этой полугруппы в формулировке теоремы 2 вместо равномерной ограниченности имеет место экспоненциальная ограниченность \№\\т < Keat Vt € R+.
В заключение авторы выражают свою искреннюю благодарность профессору Г.А. Сви-ридюку за плодотворные дискуссии и интерес, проявленный к данной работе.
Литература
1. Favini, A. Degenerate Differential Equations in Banach Spaces / A. Favini, A. Yagi. - N.Y.; Basel; Hong Kong: Marcel Dekker, Inc, 1999. - 236 p.
2. Pyatkov, S.G. Operator Theory Nonclassical Problems / S.G. Pyatkov. - Utrecht; Boston; Köln; Tokyo: VSP, 2002. - 353 p.
3. Sviridyuk, G.A. Linear Sobolev Type Equations and Degenerate Semigroups of Operators / G.A. Sviridyuk, V.E. Fedorov. - Utrecht; Boston: VSP, 2003. - 216 p.
4. Arshin, A.B. Blow-up in Nonlinear Sobolev Type Equations / A.B. Arshin, M.O. Korpusov, A.G. Sveshnikov. - Berlin: de Gruyter, 2011. - 648 p.
5. Шестаков, А.Л. Новый подход к измерению динамически искаженных сигналов / А.Л. Шестаков, Г.А. Свиридток // Вестпик ЮУрГУ. Серрга: Математртческое моделрт-роватше pi программирование. - 2010. - № 16 (192), вып. 5. - С. 88-92.
6. Шестаков, А.Л. Численное решение задачи оптимального измерения / А.Л. Шестаков, A.B. Келлер, Е.И. Назарова /'/ Автоматика pi телемехатшка. - 2012. - № 1. - С. 107-115.
7. Сврфртдюк, Г. А. Лршейпые уравпепрш тртпа Соболева pi сртльпо непрерывные полугруппы разрешающих операторов с ядрамрт / Г.А. Свртррщюк // ДАН. - 1994. - Т. 337, № 5. -С. 581-584.
Мршзртля Алмасовпа Сагадеева, кандртдат фртзртко-математртческртх паук, доцент, кафедра «Информационно-измерительная техника:», Южно-Уральский государственный университет (г. Челябинск, Российская Федерация), [email protected].
Андрей Николаевич Шулепов, студент 4-го курса механико-математического факультета, Южно-Уральский государственный университет (г. Челябинск, Российская Федерация), @
Bulletin of the South Ural State University. Series «Mathematical Modelling, Programming & Computer Software:»,
2013, vol. 6, no. 2, pp. 133-137.
MSC 34G10, 47D06, 47D60
The Approximations for Degenerate Co-semigroup
M.A. Sagadeyeva, South Ural State University, Chelyabinsk, Russian Federation,
@
A.N. Shulepov, South Ural State University, Chelyabinsk, Russian Federation,
@
The results from the theory of Sobolev type equations have been actively used to measure the dynamically distorted signals recently. The formulas obtained for relatively p-radial case of Sobolev type equations are used for the numerical solution of such problems. Hille-Widder-Post approximations for the operators of strongly continuous resolving semigroup for homogeneous equations are considered in the article. The authors show that a simpler formula can be used as approximations of operators of a resolving semigroup.
The article consists of introduction and two parts. The information regarding the relative resolutions and theories of relatively p-radial operators are given in the first part. The approximation formulas are covered in the second part.
Keywords: Sobolev type equation, resolving semigroup of operators, Hille-Widder-Post approximations.
References
1. Favini A., Yagi A. Degenerate Differential Equations in Banach Spaces. N.Y., Basel, Hong Kong, Marcel Dekker, Inc, 1999. 236 p.
2. Pyatkov S.G. Operator Theory. Nonclassical Problems. Utrecht, Boston, Köln, Tokyo, VSP, 2002. 353 p.
3. Sviridyuk G.A., Fedorov V.E. Linear Sobolev Type Equations and Degenerate Semigroups of Operators. Utrecht, Boston, Köln, VSP, 2003. 216 p.
4. Arshin A.B., Korpusov M.O., Sveshnikov A.G. Blow-Up in Nonlinear Sobolev Type Equations. Berlin, de Gruyter, 2011. 648 p.
5. Shestakov A.L., Sviridyuk G.A. A New Approach to Measurement Dynamically Perturbed Signals [Novyy podkhod k izmereniyu dinamicheski iskazhennykh signalovj. Bulletin of the South Ural State University. Series «Mathematical Modelling, Programming & Computer
»
6. Shestakov A.L., Keller A.V., Nazarova E.I. Numerical Solution of the Optimal Measurement Problem. Automation and Remote Control. 2012, no. 1, pp. 107-115.
7. Sviridyuk G.A. Linear Equations of Sobolev Type and Strongly Continious Semigroups of Resolving Operators with Kernels [Lineiniye uravneniya sobolevskogo tipa i sil’no nepreryvnye polugruppy razreshayushikh operatorov s yadramij. Dokl. Akad. Na.uk USSR.. 1994, vol. 337, no. 5, pp. 581-584.
Поступила в редакцию 27 февраля 2018 г.
