CC BY
36
series: coefficients criteria. Studia Math., 2009, vol. 193, no. 3, pp. 285-306.
7. Moricz F. On Walsh series with coefficients tending monotonically to zero. Acta Math. Hung., 1983, vol. 38, no. 1-4, pp. 183-189.
8. Timan M. F., Rubinstein A.I. On embedding of function classes defined on zero-dimensional groups. Izvestiya vuzov. Matematika. [Soviet Math.], 1980, no. 6, pp. 6676 (in Russian).
9. Volosivets S. S. On certain conditions in the theory of series with respect to multiplicative systems. Analysis Math., 2007, vol. 33, no. 3, pp. 227-246 (in Russian).
10. Volosivets S. S., Fadeev R. N. Estimates of best approximations in integral metrics and Fourier coefficients with respect to multiplicative systems. Analysis Math., 2011, vol. 37, no. 3, pp. 215-238.
11. Askey R., Wainger S. Integrability theorems for Fourier series. Duke Math. J., 1966, vol. 33, no. 2, pp. 223228.
12. Vukolova T. M., Dyachenko M. I. On the properties
of trigonometric series sums with monotone coefficients. Vestnik Mosk. Universiteta. Ser. Matem. mech., 1994, no. 3, pp. 22-31 (in Russian).
13. Agaev G. N., Vilenkin N. Ya., Dzhafarli G. M., Rubinstein A. I. Mul'tiplikativnye sistemy funkcii i garmonicheskii analiz na nul'-mernyh gruppah [Multiplicative systems of functions and harmonic analysis on zero-dimensional groups]. Baku, Elm, 1980 (in Russian).
14. Hardy G. H., Littlewood J. E., Polya G. Inequalities. Cambridge, Cambridge University Press, 1934.
15. Leindler L. Inequalities of Hardy - Littlewood type. Analysis Math., 1976, vol. 2, no. 2, pp. 117-123.
16. Leindler L. Generalization of inequalities of Hardy andf Littlewood. Acta Sci. Math. (Szeged), 1970, vol. 31, no. 1-2, pp. 279-285.
17. Iofina T. V., Volosivets S. S. On the degree of approximation by means of Fourier - Vilenkin series in Holder and Lp norm. East J. Approximations., 2009, vol. 15, no. 2, pp. 143-158.
УДК 517.937, 517.983
О СОСТОЯНИЯХ ОБРАТИМОСТИ ЛИНЕЙНЫХ ДИФФЕРЕНЦИАЛЬНЫХ ОПЕРАТОРОВ С НЕОГРАНИЧЕННЫМИ ПЕРИОДИЧЕСКИМИ КОЭФФИЦИЕНТАМИ
В. Б. Диденко
Кандидат физико-математических наук, научный сотрудник кафедры математических методов исследования операций, Воронежский государственный университет, [email protected]
Исследуемому линейному дифференциальному оператору (уравнению) с неограниченными периодическими операторными коэффициентами, действующему в одном из банаховых пространств векторных функций, определенных на всей оси, сопоставляется разностный оператор (разностное уравнение) с постоянным операторным коэффициентом, определенный в соответствующем банаховом пространстве двусторонних векторных последовательностей. Для дифференциального и разностного оператора доказаны утверждения о совпадении размерностей их ядер и кообразов, одновременной дополняемости ядер и образов, одновременной обратимости, получены утверждения о взаимосвязи спектров.
Ключевые слова: дифференциальные операторы, разностные операторы, состояния обратимости, спектр.
1. ВВЕДЕНИЕ. ПОСТАНОВКА ЗАДАЧИ
Рассматривается линейное дифференциальное уравнение
-^ + Л(г)х = /(г), г е К, (1)
где Л(*) : В(Л(Ь)) с X ^ X — семейство линейных замкнутых операторов, действующих в комплексном банаховом пространстве X.
Предполагается корректная разрешимость задачи Коши [1]
х(в) = хо е Я(Л(в)), в е К, (2)
для однородного дифференциального уравнения
^ = Л(г)х, г > в. (3)
Она ведет к существованию семейства эволюционных операторов U : А ^ End X, где А = {(t, s) е е R2 : s < t} и EndX — банахова алгебра линейных ограниченных операторов, действующих в X.
Определение 1. Отображение U : А ^ End X называется сильно непрерывным семейством эволюционных операторов («вперед»), если выполнены следующие условия:
1) U(t,t) = I — тождественный оператор для любого t е R;
2) U(t, s)U(s, т) = U(t, т) для всех t < s < т из R;
3) отображение (t, s) i—► U(t, s)x : А ^ X непрерывно для любого x е X;
4)существуют такие постоянные M > 1 и а е R, что ||U(t, s)^ < Mexp(a(t — s)), (t, s) е А.
Если для U выполняется условие периодичности
5) U(t + w, s + w) = U(t, s) для всех (t, s) из А,
то семейство U называется периодическим периода w (w-периодическим).
Будем говорить, что семейство эволюционных операторов U : А ^ EndX решает абстрактную задачу Коши (2), (3), если для любого s е R существует плотное в X подпространство Xs из D(A(s)) такое, что для каждого x0 е Xs функция x(t) = U(t, s)x0 дифференцируема при всех t > s, x(t) е D(A(t)), и выполнены равенства (2), (3). При наличии такого семейства эволюционных операторов U будем говорить, что задача Коши корректно разрешима.
Отметим, что если функция A из уравнений (1), (3) периодична периода w (A(t + w) = A(t), t е R) и семейство U решает задачу Коши (2), (3), то семейство эволюционных операторов U также периодично (выполнено условие 5 из определения 1).
Если функция f : R ^ X принадлежит линейному пространству Ljoc (R, X) локально суммируемых измеримых по Бохнеру (классов) функций, определенных на R со значениями в X, то слабым решением уравнения (1) (при условии, что семейство U решает задачу Коши (2), (3)) называется любая непрерывная функция x : R ^ X, удовлетворяющая при всех (t, s) е А равенствам
t
x(t) = U(t, s)x(s) — J U(t, т)f (т) dT. (4)
s
В дальнейшем слово «слабое» будет опускаться.
В статье рассматриваются следующие функциональные пространства. Символом Cb = Cb(R, X) будем обозначать банахово пространство непрерывных и ограниченных на всей вещественной оси R функций, принимающих свои значения в пространстве X, с нормой, определяемой равенством ||x|| = suptGR ||x(t)||. Через C0(R, X) обозначим замкнутое подпространство из Cb(R, X) функций, стремящихся к нулю на бесконечности. Символом Cw = Cw (R, X) будем обозначать замкнутое подпространство из Cb(R, X) периодических периода w функций. Через Lp = Lp(R, X), p е [1, го], обозначим банахово пространство измеримых по Бохнеру функций, действующих из R в X, для которых ко-
( \ 1/р
нечна величина (принимаемая за норму в соответствующем пространстве) ||x||p = ( fR ||x(т)||p d^ , p = го, ||x||ro = esssupTgR ^(т)! p = го. Символом Sp(R,X), p е [1, го), обозначим пространство Степанова локально суммируемых со степенью p измеримых на R со значениями в X функ-
( 1 \i/p
ций, для которых конечна величина (принимаемая за норму) ||x||Sp = supteR( /0 ||x(s + t)||p dsl . Через Lp = Lp(R, X), p е [1, го], обозначим банахово пространство измеримых по Бохнеру периодических периода w (классов) функций, действующих из R в X, для которых конечна величина (принимаемая за норму в соответствующем пространстве) ||x||p = ^/Р |^(т)||pdr^j , p = го, ||x||ro = esssupTe[0;W] ||x(т)||, p = го. Отметим, что Lp(R, X), p е [1, го) — замкнутое подпространство в пространстве Степанова Sp (R, X).
Далее символом F = F(R,X) обозначается одно из перечисленных выше пространств Lp(R,X), p е [1, го], Sp(R, X), p е [1, го), Cb(R, X), Co(R,X), Lpw(R, X), p е [1, го], Cw(R,X). Через Fw = Fw(R, X) обозначим пространства периодических функций Lp(R,X), p е [1, го], Cp(R, X). Символом F = F(R,X) будем обозначать пространства непериодических функций Lp(R,X), p е [1, го], Sp(R,X), p е [1, го), Cb(R,X), Co(R,X).
Пусть U : А ^ End X — семейство эволюционных операторов, обладающее описанными выше свойствами 1)-4) и не обязательно порожденное задачей Коши для дифференциального уравнения (3).
Определим линейный замкнутый оператор LU : D(LU) С F(R, X) ^ F(R, X) по следующему правилу. Непрерывная функция x из F включается в область определения оператора LU , если существует функция f G F такая, что для пары функций (x, f) выполняются равенства (4). Функция f определяется однозначно, при этом полагается LUx = f.
Отметим, что введенное определение для оператора LU применимо к произвольному(не обязательно периодическому) семейству U : А ^ End X, если F(R, X) совпадает с одним из банаховых пространств непериодических функций F(R, X). Для корректности его определения в пространствах периодических функций требуется свойство периодичности семейства U.
Для рассматриваемого оператора LU, построенного по периодическому семейству эволюционных операторов U, получены необходимые и достаточные условия конечномерности ядра и кообраза, инъективности, сюръективности, дополняемости ядра и образа, непрерывной обратимости, фредголь-мовости, получены формулы для обратного оператора, представление спектра.
2. ОСНОВНЫЕ РЕЗУЛЬТАТЫ
Символом S(t), t G R, обозначим изометрическую группу операторов сдвигов функций из F, т.е.
(S(t)x)(s) = x(s + t), s,t G R, x G F.
Непосредственно из определения оператора LU вытекает следующая
Лемма 1. Для любого т G R оператор S(т)LUS(—т) совпадает с оператором Lg(r)U, где семейство эволюционных операторов ^(т)U определяется по формуле
(S(t)U)(t,s) = U(t + t,s + т), (t,s) G А, x G F.
Имеет место (вытекающая из леммы 1) следующая
Лемма 2. Для того, чтобы оператор LU : D(LU) С F ^ F обладал свойством (перестановочности LU с S(w))
LuS(w)x = S(w)Lux, x G D(Lu), (5)
для некоторого числа w > 0, необходимо и достаточно, чтобы семейство U было периодическим периода w.
Оператор LU, удовлетворяющий равенству (5), назовем периодическим. Оператор LU, действующий в пространстве Fw (R, X) периодических функций будем обозначать символом Lw. В дальнейшем (за исключением теорем 1, 2) рассматривается оператор LU, порожденный периодическим семейством эволюционных операторов.
По семейству U построим полугруппу операторов Хоулэнда TU : R+ = [0, го) ^ End F(R, X), определяя ее равенствами
(TU(t)x)(s) = U(s,s - t)x(s - t), s G R, t > 0, x G F(R,X).
Полугруппа TU была введена в рассмотрение Хоулэндом (J. S. Howland) [2] в гильбертовом пространстве L2(R,X), где X — гильбертово пространство, при условии, что операторы U(t,s), (t,s) G R, унитарны. Следующие две теоремы позволяют использовать теорию полугрупп операторов, а также теорию разностных операторов.
Теорема 1 [3,4]. Оператор LU является генератором (инфинитезимальным оператором [5]) сильно непрерывной полугруппы TU в любом из банаховых пространств Lp (R, X), Lpw (R, X), p G [1, го), Co(R, X), CW (R, X).
Пусть A : D(A) С Y ^ Y — линейный замкнутый оператор с областью определения D(A) из комплексного банахова пространства Y. Он называется непрерывно обратимым, если его ядро Ker A = {x G D(A) : Ax = 0} состоит только из нуля и образ Im A = {Ax,x G D(A)} оператора A совпадает со всем пространством Y. По теореме Банаха о замкнутом графике оператор A непрерывно обратим тогда и только тогда, когда обратный оператор A-1 принадлежит банаховой алгебре End Y.
Теорема 2. Спектр o"(LU) оператора LU и спектр {ct(Tu(t))} операторов TU(t), t > 0, связаны соотношением
a(Tu (t))\{0} = exp(a(Lu)t) = {exp(At) : t G a(Lu)}.
В частности, оператор непрерывно обратим тогда и только тогда, когда обратим разностный оператор DV = I — TV (w), имеющий вид
(DVx)(s) = x(s) — U(s,s — w)x(s — w), x е F, s е R.
Важно отметить, что в теореме 2 отсутствуют ограничения на пространство F(R,X), которое может совпадать с одним из следующих пространств Cb(R, X), C0(R, X), Lp(R, X), p е [1, го], Sp(R, X), p е [1, го). Теорема 2 была доказана в работе [4].
Лемма 3. Следующие условия эквивалентны:
1) семейство U периодично с периодом w;
2) оператор периодичен с периодом w > 0;
3) операторы TV (t), t > 0, перестановочны с оператором S(w).
Пространство двусторонних последовательностей Fd = F(Z, X) будем называть ассоциированным с пространством F(R, X), если оно совпадает с банаховым пространством последовательностей lp(Z, X), суммируемых со степенью 1 < p < го, в случае, когда F совпадает с пространством Lp; совпадает с банаховым пространством ограниченных последовательностей l^(Z, X) в случае, когда F совпадает с одним из пространств Sp, 1 < p < го, L^ или Cb; совпадает с подпространством из l^(Z, X) стремящихся к нулю на бесконечности последовательностей c0(Z, X) в случае, когда F совпадает с C0; совпадает с банаховым пространством s(Z, X) стационарных последовательностей, т.е. таких последовательностей x, что x(n) = x(k), для всех k, n е Z, если F совпадает с одним из пространств периодических функций Cw или Lp. Пространство s(Z, X) изометрически изоморфно пространству X, поэтому в дальнейшем они будут отождествляться.
Введем в рассмотрение разностный оператор D : Fd ^ Fd, определяемый равенствами
(Dxd)(n) = xd(n) — U(w, 0)xd(n — 1), xd е Fd, n е Z.
Замечание 1. Оператор D (при указаном выше отождествлении пространства s(Z, X) c X) для Fd = s(Z,X) будет совпадать с оператором I — U(w, 0).
В статьях [3, 4] были доказаны следующие теоремы.
Теорема 3. Оператор , действующий в пространстве F, обратим тогда и только тогда, когда обратим разностный оператор D е End Fd.
Теорема 4. Спектр оператора в пространстве непериодических функций F(R, X) имеет вид
o-(L) = {А : exp(Aw) е o-(U(w, 0))T} = {А : е o"(U(w, 0)) : |д| = | exp(Aw)|}.
В частности, оператор непрерывно обратим тогда и только тогда, когда выполнено условие ct(U(w, 0)) П T = 0, где T — единичная окружность на комплексной плоскости.
Далее, всюду считается, что семейство эволюционных операторов U будет периодическим периода w.
Периодическую периода w сильно непрерывную функцию P : R ^ End X, P(t) = U(t,t — w) — I, t е R назовем функцией Пуанкаре (в монографии [6] операторы U(t, t — w) — I, t е R, назывались операторами Пуанкаре, а оператор U(w, 0) назывался оператором монодромии).
Теорема 5. Следующие условия в пространстве F(R, X) е {Lp(R, X), Cb(R, X)} эквивалентны:
1) оператор непрерывно обратим;
2) CT(U(w, 0)) П T = 0;
3) o-(u(t + w, t)) П T = 0, t е R.
Доказательство этой теоремы можно вывести как из основных результатов статьи, так и из статей [4,7]. Важно отметить, что оператор TV (w) е End Fw (R, X) имеет вид (TV (w)x)(s) = U (s, s — w)x(s), s е R, x е Fw (R, X), т.е. является оператором умножения на опера-торнозначную функцию (P + I)(s) = U(s, s — w) = U(s + w, s), x е R.
Определение 2. Пусть A : D(A) с Y ^ Y — замкнутый линейный оператор. Рассмотрим следующие условия:
1) KerA = {0} (т.е. оператор A инъективен);
2) 1 < n = dim Ker A < го;
3) Ker A — бесконечномерное подпространство из Y (dim Ker A = го);
4) КегЛ — дополняемое подпространство либо в ^(Л) (с нормой графика), либо в У;
5) 1т Л = 1т Л, что эквивалентно положительности величины (минимального модуля оператора Л)
7 (Л) = 1п£ ——-Т—хт—ГТ =
xGD(A)\Ker A dist(x, Ker A) y=Ax,x/Ker A dist(x, Ker A)'
где dist(x, Ker A) = inf ||x — x01|;
xo EKer A
6) оператор A корректен (равномерно инъективен), т.е. Ker A = {0} и y (A) > 0;
7) Im A — замкнутое дополняемое в Y подпространство;
8) Im A — замкнутое подпространство из Y конечной коразмерности codimlm A = m < го;
9) Im A — замкнутое подпространство из Y бесконечной коразмерности;
10) Im A = Y, т. е. A — сюръективный оператор;
11) ImA = Y;
12) оператор A непрерывно обратим.
Если для A выполнены все условия из совокупности условий S = {i1,...,ik}, где 1 < i1 < < i2 < ... < ik < 12, то будем говорить, что оператор A находится в состоянии обратимости S. Множество состояний обратимости оператора A обозначим символом Stinv(A).
Согласно классификации спектра o"(A) оператора A, принятой в [8], он представляется в виде o-(A) = CTd(A) U CTc(A) U иr(A) взаимно непересекающихся трех множеств: дискретного спектра (совокупность собственных значений оператора A) ad(A) = {A G ct(A) : Ker (A — AI) = {0}}, непрерывного спектра o"c(A) = {A G a(A)\o-d(A) : Im(A — AI) = Y, Im(A — AI) = Y}, остаточного спектра ar(A) = {A G o-(A)\o-d(A) : Im (A — AI) = Y}. Таким образом, A G ar(A) ^ {1,11} G Stinv(A — AI), A G ^(A) ^ {1,10} G Stinv (A — AI).
Далее используются
Определение 3. Будем говорить, что линейный оператор A : D(A) С Y ^ Y перестановочен с оператором B G End Y, если BD(A) С D(A) и ABx = BAx для любого x G D(A).
Определение 4. Два линейных оператора A1 : D(A1) С Y ^ Y, A2 : D(A2) С Z ^ Z, где Y, Z — банаховы пространства, называются подобными, если существует обратимый оператор U G Hom(Y, Z), где Hom(Y, Z) — банахово пространство ограниченных операторов, действующих из Y в Z такой, что UD(A1) = D(A2) и A2Ux = UA1x, x G D(A1). Оператор U называется оператором преобразования оператора A1 в оператор A2.
Непосредственно из определения 4 следует, что для подобных операторов A1 ,A2 имеют место равенства UKer A1 = Ker A2 и Im A2 = UIm A1. Поэтому имеет место
Лемма 4. Если A^ : D(A^) с Y ^ Y, i = 1, 2, — подобные операторы, то Stinv (A1) = Stinv(A2).
Следствие 1. Если A1 : D(A1) с Y ^ Y, A2 : D(A2) с Z ^ Z — подобные операторы, то o-(A1) = ct(a2).
Замечание 2. Из леммы 1 следует, что операторы LU и Lg(T)U подобны и, значит, из леммы 4 вытекает, что множества их состояний обратимости совпадают.
Определение 5. Линейный замкнутый оператор A : D(A) С X ^ X называется фредгольмовым, если его ядро Ker A конечномерно, образ ImA замкнут и имеет конечную коразмерность. Число ind A = dim Ker A — codim A называется индексом фредгольмова оператора A. Оператор A называется полуфредгольмовым, если он находится в одном из состояний {2, 7, 9} или {3, 4, 8}.
Следующие две теоремы содержат основные результаты статьи.
Теорема 6. Для операторов LU и DU имеет место равенство их состояний обратимости
Stinv (LU ) = Stinv (Du ).
В частности, оператор LU фредгольмов (полуфредгольмов) тогда и только тогда, когда фредгольмовым (полуфредгольмовым) является оператор DU, их индексы совпадают: ind Lu = ind DU, dim Ker LU = dim Ker DU, codim Im LU = codim Im DU.
Отметим что в случае, когда эволюционное семейство U может быть продолжено на множество R x R с сохранением свойств 1)-5), результаты теоремы 6 могут быть получены из статей [9] и [10].
Теорема 7. Для оператора Lw справедливы следующие равенства:
Stinv (Lw) = Stinv (I — U (w, 0)) = Stinv (P(t)), t е [0, w).
В частности, оператор Lw фредгольмов (полуфредгольмов) тогда и только тогда, когда фредгольмовым (полуфредгольмовым) является один из операторов P(t), t е [0, w] (и, следовательно, все эти операторы будут фредгольмовы), их индексы совпадают: ind Lw = ind P(t), dim Ker Lw = dim Ker P (t), codim Im Lw = codim Im P (t).
Замечание 3. Из равенств (4), определяющих оператор LV, следует, что для любого А е C оператор LV — AI задается (с помощью тех же равенств) по семейству эволюционных операторов UA : А ^ End X вида
UA(t, s) = exp(A(t — s))U(t, s), (t, s) е А. Из сделанного замечания и теоремы 7 следует
Теорема 8. Пусть Fw = Fw(R, X) е {Cw, Lw, p е [1, го]}. Тогда для полугруппы операторов TV : R+ ^ End Fw имеют места равенства
(w))\{0} = ct(U(w, 0))\{0} = ct(U(t + w, t))\{0}, t е [0, w), (6)
exp(a(Lw)) = {exp(A) : А е a(Lw)} = a(U(w, 0))\{0}.
Равенства ct(U(w, 0))\{0} = ct(U(t + w,t))\{0} были получены в монографии [6, лемма 7.2.2]. Из равенств (6) следует, что экспоненциальная устойчивость решений дифференциального уравнения (3) имеет место тогда и только тогда, когда спектральный радиус r(U(w, 0)) оператора моно-дромии U(w, 0) меньше единицы.
Определение 6. Будем говорить, что эволюционное семейство U : А ^ EndX из алгебры EndX допускает экспоненциальную дихотомию на R с показателем в > 0 и коэффициентом M > 0, если существует ограниченная сильно непрерывная проекторозначная функция P такая, что
1) U(t, s)P(s) = P(t)U(t, s) при t > s;
2) ||U(t, s)P(s)|| < Mexp(—в(t — s)) при t > s;
3) при t > s сужение U(t, s)|ImQ(s) оператора U(t, s) на образ ImQ(s) проектора Q(s) = I — P(s) является изоморфизмом подпространств ImQ(s) и ImQ(t);
4) ||U(t, s)Q(s)|| < Mexp(e(t — s)) при s > t.
Теорема 9. Оператор LV непрерывно обратим тогда и только тогда, когда непрерывно обратимым является оператор D. Обратный оператор в пространстве непериодических функций может быть представлен в виде
(Lvf )(t) = y G(t,s)f(s) ds, t е R,
R
где функция (Грина) G : R2 ^ End X имеет вид
G(t,s) = /"U(t'')P("' s <
\U(t, s)Q(s), s > t,
а проекторы P(s), Q(s), s е R, можно найти по формулам
P(s) = — /W — U(s, s — w))-1 d7, s е R, (7)
2ni J
T
Q(s) = I — P(s), s е R,
где U(t, s)x = U-1(s,t)x для всех x е ImQ(s), s > t. Под U-1 (s,t)x понимается значение обратного оператора к сужению U(s,t)|Im Q(t) (которое является изоморфизмом пространств Im Q(t) и ImQ(s)) на векторе x.
В этой теореме новым является представление проекторнозначной функции P в виде (7).
Теорема 10. Для обратимости оператора ^ : ) с ^ необходимо и достаточно, чтобы был обратим оператор Пуанкаре Р (ад) = и (ад, 0) — I. Если он обратим, то обратный к ^ оператор определяется формулой
(Lw-1 )(t)= / G(t,т)f(т)dr, f е F
(8)
где функция Грина G : [0, w] х [0, w] ^ End X имеет вид
[P(t)-1U(t,T), 0 < т < t < w,
G(t, т) =
[P(t)-1U(t,T — w), t < т < w.
Отметим, что формула для обратного оператора была приведена в [11].
Используя интегральные представления обратного оператора в виде (8), можно получить оценки обратного оператора L—1 в разных функциональных пространствах. Отметим, что по аналогии со статьями А. И. Перова [12,13] можно получить условия разрешимости нелинейных уравнений с периодическими коэффициентами.
Пусть A(t) = A : D(A) с X ^ X — генератор(инфинитезимальный оператор [5]) сильно непрерывной полугруппы операторов T : R+ ^ End X. Тогда соответствующее семейство эволюционных операторов U : А ^ EndX представимо в виде U(^т) = T(t — т), t, т е R, т < t. Поэтому оператор монодромии U (w, 0) совпадает с оператором T(w), а операторная функция Пуанкаре P : R ^ End X является постоянной функцией P (t) = T(w) — I, t е R. В этом случае функция Грина приобретает
G(t, т) =
(T(w) — I)-1T(t — т), 0 < т < t < w,
(T(w) — I)-1T(t — т + w), t < т < w.
Полученные результаты позволяют использовать теорию разностных операторов при исследовании линейных параболических дифференциальных операторов с переменными периодическими коэффициентами и, следовательно, для дифференциальных операторов с частными производными. Например, к рассматриваемым операторам относятся примеры из статей [14,15], если дополнительно потребовать периодичность коэффициентов.
Отметим, что полученные в работе результаты могут быть распространены на дифференциальные операторы с периодическими коэффициентами, определенных в пространстве функций на полуоси, при этом используются результаты статей [14-19].
Работа выполнена при финансовой поддержке РФФИ (проекты № 13-01-00378, № 14-01-31196).
Библиографический список
1. Крейн С. Г. Линейные дифференциальные уравнения в банаховом пространстве. М. : Наука, 1967. 464 с.
2. Howland J. S. Stationary scattering theory for time-dependent Hamiltonians // Math. Ann. 1974. Vol. 207, № 4. P. 315-335.
3. Баскаков А. Г. Спектральный анализ линейных дифференциальных операторов и полугруппы разностных операторов // Докл. РАН, 1995. Т. 343, № 3. С. 295298.
4. Баскаков А. Г. Полугруппы разностных операторов в спектральном анализе линейных дифференциальных операторов // Функц. анализ и его прил. 1996. Т. 30, № 3. C. 1-11.
5. Хилле Э., Филлипс Р. Функциональный анализ и полугруппы. М. : Изд-во иностр. лит., 1962. 830 с.
6. Хенри Л. Геометрическая теория полулинейных параболических уравнений. М. : Мир, 1985.
7. Баскаков А. Г., Пастухов А. И. Спектральный анализ оператора взвешенного сдвига с неограниченными операторными коэффициентами // Сиб. мат. журн. 2001. Т. 42, № 6. С. 1231-1243.
8. Данфорд Н., Шварц Дж. Т. Линейные операторы : в 3 т. Т. 1. Общая теория. М .: Изд-во иностр. лит., 1962. 896 с.
9. Диденко В. Б. О спектральных свойствах дифференциальных операторов с неограниченными операторными коэффициентами, определяемых линейным отношением // Мат. заметки. 2011. Т. 89, № 2. С. 226-240.
10. Диденко В. Б. О непрерывной обратимости и фред-гольмовости дифференциальных операторов с многозначными импульсными воздействиями. // Изв. РАН. Сер. математическая. 2013. Т. 77, № 1. С. 5-22.
11. Баскаков А. Г., Кобычев К. С. Оценки оператора вложения пространства Соболева периодических функ-
W
ций и оценки решений дифференциальных уравнений с периодическими коэффициентами // Дифференциальные уравнения, 2011. Т. 47, № 5. С. 611-620.
12. Перов А. И. Частотные признаки существования ограниченных решений // Дифференциальные уравнения. 2007. Т. 43, № 7. С. 896-904.
13. Перов А. И. Частотные методы в теории ограниченных решений нелинейных дифференциальных уравнений п-го порядка (существование, почти периодичность, устойчивость) // Дифференциальные уравнения. 2012. Т. 48, № 5. С. 663-673.
14. Баскаков А. Г. О корректности линейных дифференциальных операторов // Мат. сб. 1999. Т. 190, № 3. С. 3-28.
15. Баскаков А. Г. Исследование линейных дифференциальных уравнений методами спектральной теории разностных операторов и линейных отношений // УМН. 2013. Т. 68, № 1. С. 77-128.
16. Баскаков А. Г. Линейные дифференциальные операторы с неограниченными операторными коэффициентами и полугруппы разностных операторов // Мат. заметки. 1996. Т. 59, № 6. С. 811-820.
17. Баскаков А. Г. Спектральный анализ дифференциальных операторов и полугруппы разностных операторов I. // Дифференциальные уравнения. 1997. Т. 33, № 10. С. 1299-1306.
18. Баскаков А. Г. Спектральный анализ дифференциальных операторов и полугруппы разностных операторов II. // Дифференциальные уравнения. 2001. Т. 37, № 1. С. 3-11.
19. Баскаков А. Г., Синтяев Ю. Н. Разностные операторы в исследовании дифференциальных операторов; оценки решений // Дифференциальные уравнения. 2010. Т. 46, № 2. С. 1-10.
About Reversibility States of Linear Differential Operators with Periodic Unbounded Operator Coefficients
V. B. Didenko
Voronezh State University, 1, Universitetskaya pl., 394006, Voronezh, Russia, [email protected]
For investigated linear differential operator (equation) with unbounded periodic operator coefficients defined at one of the Banach space of vector functions defined on all real axis difference operator (equation) with constant operator coefficient defined at appropriate Banach space of two-side vector sequences is considered. For differential and difference operators propositions about kernel and co-image dimensions coincidence, simultaneous complementarity of kernels and images, simultaneous reversibility, spectrum interrelation are proved.
Key words: differential operators, difference operators, reversibility states, spectrum.
This work was supported by the Russian Foundation for Basic Research (projects no. 13-01-00378, no. 14-01-31196).
References
1. Krein S. G. Linear Differential Equations in Banach Space. American Math. Soc., 1971. 390 p.
2. Howland J . S. Stationary scattering theory for time-dependent Hamiltonians. Math. Ann., 1974, vol. 207, no. 4., pp. 315-335.
3. Baskakov A. G. Spectral analysis of linear differential operators and semi-groups of difference operators. Doklady Mathematics, 1995, vol. 343, no. 3, pp. 295298 (in Russian).
4. Baskakov A. G. Semigroups of difference operators in spectral analysis of linear differential operators. Functional Analysis and Its Applications, 1996, vol. 30, no. 3, pp. 149-157. DOI: 10.1007/BF02509501.
5. Hille E., Phillips R. S. Functional Analysis and Semigroups. American Math. Soc., 1957, 808 p.
6. Henry D. Geometric Theory of Semilinear Parabolic Equations. Springer, 1993. 350 p.
7. Baskakov A. G., Pastukhov A. I. Spectral Analysis of a Weighted Shift Operator with Unbounded Operator Coefficients. Siberian Math. J., 2001, vol. 42, no. 6, pp. 1026-1036. DOI: 10.1023/A:1012832208161.
8. Dunford N., Schwartz J. T. Linear Operators: General theory. Interscience Publishers, 1958. 2592 p.
9. Didenko V. B. On the spectral properties of differential operators with unbounded operator coefficients determined by a linear relation. Math. Notes, 2011, vol. 89, no. 2, pp. 224-237. DOI: 10.1134/S00014346110 10287.
10. Didenko V. B. On the continuous invertibility and the Fredholm property of differential operators with multivalued impulse effects. Izvestiya : Mathematics, 2013, vol. 77, no. 1, pp. 3-19. DOI: 10.1070/IM2013v077n01 ABEH002626.
11. Baskakov A. G., Kobychev K. S. Estimates for the embedding operator of a sobolev space of periodic functions and for the solutions of differential equations with periodic coefficients. Differential Equations, 2011, vol. 47, no. 5, pp. 609-619. DOI: 10.1134/S0012266111050016.
12. Perov A. I. Frequency tests for the existence of boundary solutions. Differential Equations, 2007, vol. 43, no. 7, pp. 916-924. DOI: 10.1134/S001226610707004X.
13. Perov A. I. Frequency methods in the theory of boun-
ded solutions of nonlinear nth-order differential equations (existence, almost periodicity, and stability). Differential Equations, 2012, vol. 48, no. 5, pp. 670-680. DOI: 10.1134/S0012266112050059.
14. Baskakov A. G. On correct linear differential operators. Sbornik : Mathematics, 1999, vol. 190, no. 3, pp. 323-348. DOI: 10.1070/SM1999v190n03ABEH000 390.
15. Baskakov A. G. Analysis of linear differential equations by methods of the spectral theory of difference operators and linear relations. Russian Math. Surv., 2013, vol. 68, no. 1, pp. 69-116. DOI: RM2013v068n01ABEH 004822.
16. Baskakov A. G. Linear differential operators with unbounded operator coefficients and semigroups of bounded
YflK 517.5
operators. Math. Notes, 1996, vol. 59, no. 6, pp. 586-593. DOI: 10.1007/BF02307207.
17. Baskakov A. G. Spectral analysis of differential operators and semi-groups of difference operators I. Differential Equations, 1996, vol. 33, no. 10, pp. 12991306 (in Russian).
18. Baskakov A. G. Spectral analysis of differential operators and semi-groups of difference operators II. Differential Equations, 2001, vol. 37, no. 1, pp. 1-10. DOI: 10.1023/A:1019298028556.
19. Baskakov A. G., Sintyaev Yu. N. Finite-difference operators in the study of differential operators: Solution estimates. Differential Equations, 2010, vol. 46, no. 2, pp. 214-223. DOI: 10.1134/S0012266110020072.
ОДИН ОТРИЦАТЕЛЬНЫЙ ПРИМЕР ФОРМОСОХРАНЯЮЩЕГО ПРИБЛИЖЕНИЯ
М. Г. Плешаков1, С. В. Тышкевич2
1 Кандидат физико-математических наук, доцент кафедры теории функций и приближений, Саратовский государственный университет им. Н. Г. Чернышевского, [email protected]
2Кандидат физико-математических наук, доцент кафедры теории функций и приближений, Саратовский государственный университет им. Н. Г. Чернышевского, [email protected]
Пусть даны 2s точек yi: —п < y2s < ... < yi < п. Отправляясь от этих точек, определим точки y для всех целых i при помощи равенства yi = yi+2s + 2п. Будем писать f е Д(1) (Y), если f (x) — 2п-периодическая непрерывная функция и f (x) не убывает на [yi, yi-1 ], если i нечетное; f (x) не возрастает на [yi ,yi-i], если i четное. Обозначим через E^1)(f; Y) величину наилучшего равномерного приближения функции f е △(1)(Y) тригонометрическими полиномами из того же множества Д(1) (Y). В статье доказан следующий контрпример формосохраняющего приближения. Пример. Для любых k е N, k > 2, и n е N существует функция f (x) := f (x; s,Y,n, k) такая, что f е Д(1) (Y) и
En\f; Y) >By n k-1 f; П) ,
где BY =const, зависит только от Y и k; o>k — модуль непрерывности порядка k функции f. Ключевые слова: тригонометрические полиномы, аппроксимация полиномами, формосохранение.
Получение оценки уклонения при равномерном приближении непрерывных функций алгебраическими многочленами и тригонометрическими полиномами является одной из основных задач в теории приближения функций. Наиболее широкое применение в теоретических исследованиях и в прикладных областях математики получили неравенства типа Джексона - Зигмунда - Стечкина [1-3], Никольского - Тимана - Дзядыка - Фройда - Теляковского - Брудного [4-9]. Особый интерес представляет случай, когда приближение является формосохраняющим (Shape-preserving Approximation), т.е. когда аппарат приближения сохраняет некоторые свойства приближаемой функции (монотонность, выпуклость и т.д.). В 1969 г. G. G. Lorentz и K. L. Zeller [10] построили пример, который показывает, что величина наилучшего монотонного приближения алгебраическими многочленами монотонной функции по порядку, вообще говоря, «хуже» величины наилучшего приближения без ограничений. В работах И. А. Шевчука [11] и А. С. Шведова [12,13] построены примеры, показывающие, что оценки типа Джексона - Стечкина величины приближения монотонной функции монотонными многочленами через модуль непрерывности порядка 3 и выше вообще неверны, в отличие от приближения без ограничений.
Однако результаты по комонотонному приближению периодических функций тригонометрическими полиномами, за исключением результата, полученного G. G. Lorentz и K. L. Zeller 1968 г. и касающегося так называемых «колоколообразных» функций, долгое время не были известны.
