О неравенстве Бернштейна для векторов из банаховых пространств Текст научной статьи по специальности «Математика»

ISSN 2074-1863 Уфимский математический журнал. Том 5. № 4 (2013). С. 77-83.

УДК 517.9

О НЕРАВЕНСТВЕ БЕРНШТЕЙНА ДЛЯ ВЕКТОРОВ ИЗ БАНАХОВЫХ ПРОСТРАНСТВ

Е.Е. ДИКАРЕВ

Аннотация. Для векторов из банахова пространства изометрического представления однопараметрической группы операторов получено неравенство Бернштейна. Вводится понятие целой функции на бесконечности. Для таких функций и для норм операторов коммутирования получено неравенство Бернштейна.

Ключевые слова: банахов модуль, изометрическое представление, спектр Бёрлинга, неравенство Бернштейна, целая функция, оператор коммутирования.

Mathematics Subject Classification: 47A10, 47L10

Введение

Рассмотрим банахово пространство С2П(R) непрерывных 2п — периодических комплекснозначных функций, определённых на R, а также тригонометрические многочлены x е С2П(R) вида

П

x(t) = ^ akelkt, \a-n\ + |an| > 0. (1)

k=-n

С.Н. Бернштейном было получено следующее неравенство:

max |x/(t)| ^ n ■ max \x(t)\. te[0,2n] te[0,2n]

Это неравенство обобщалось в разных направлениях. Так, неравенство Бернштейна было получено для целой функции экспоненциального типа а, ограниченной на вещественной оси (см. [1]):

sup |x/(t) | ^ а ■ sup \x(t) \.

te R te R

Пусть X — комплексное банахово пространство. Через End X обозначим банахову алгебру линейных ограниченных операторов, действующих в X.

Замкнутый линейный оператор A: D(A) С X ^ X назовём корректным (см. [2]) (или самосопряжённым [3, 4]), если оператор iA является генератором (производящим оператором) сильно непрерывной группы изометрических операторов T: R ^ End X.

В частности, в классической теореме Бернштейна оператор A определяется следующим образом: A = i-1^ = —igt, действует в пространстве равномерно непрерывных ограниченных комплексных функций Cbu(R) и является генератором группы сдвигов. Заметим, что спектр оператора а(А) С R (см. [3]). В статье А. Г. Баскакова [5] для ограниченного корректного оператора в банаховом пространстве доказано, что ||А|| = r(A), где r(A) — спектральный радиус оператора А.

В данной статье неравенство Бернштейна получено для векторов банахова пространства, где действует изометрическая группа операторов с генератором iA, который может являться неограниченным оператором. Получены приложения неравенства Бернштейна для функций экспоненциального типа на бесконечности и для оценки оператора коммутирования. В статье для такого оператора получена оценка

||Ax|| ^ r(x) ■ ||x||, x е X, (2)

E.E. Dikarey, On the Bernstein inequality for vectors in Banach spaces.

© Дикарев Е.Е. 2013.

Работа выполнена при поддержке РФФИ (грант 13-01-00378).

Поступила 21 сентября 2013г.

где r(x) — спектральный радиус вектора x, который определяется ниже.

В частности, для x Є C2n(R), являющегося тригонометрическим многочленом вида (1), r(x) = n. Таким образом, оценка (2) является непосредственным обобщением неравенства Бернштейна.

1. Свойства спектра Бёрлинга

Пусть L1 (R) — банахова алгебра всех суммируемых на R комплексных функций со свёрткой функций в качестве умножения с нормой

У/Ух =/ I/(t)I dt, / Є L1(R),

R

и пусть T: R ^ End X (где X — банахово пространство) — сильно непрерывное изометрическое представление. Тогда X наделяется структурой L1(R) — модуля с помощью формулы

fx = | /(t)T(—t)x dt, / Є L1(R), x Є X. (З)

R

Модульная структура на Cb(R) определяется формулой (З) с помощью представления (T(t)^)(s) = ^>(s + t), ^ Є Cb(R), t,s Є R, т.е. с помощью обычной операции свертки функций. С учётом формулы (З) банахов L1(R) — модуль X иногда будет обозначаться через (X,T).

Определение 1 (См. [З, 4, Б]). Спектром Бёрлинга вектора x из банахова L1(R) — модуля X называется множество Л^) из R, являющееся дополнением в R к множеству ^o Є R I существует функция fo Є L1(R) такая, что fo^o) = О и fox = О}.

Пример 1. Спектром Бёрлинга тригонометрического многочлена вида (ї) является множество тех к, для которых ak = О.

Определение 2. Пусть M — произвольное подмножество из банахова модуля X. Спектром Бёрлинга множества M называется множество Л(М) из R, являющееся дополнением в R к множеству ^o Є R I существует функция fo Є L1(R) такая, что fo^o) = О и fox = О для всех x Є M}.

Лемма 1. Имеют место следующие свойства спектра Бёрлинга векторов из банахова L1(R) — модуля (X ,T):

1. Л^) — замкнутое подмножество из R и Л^) = 0 ^ x = О;

2. Л/x) С (supp/)ПЛ^), / Є L1(R) , x Є X .В частности, если x имеет компактный спектр Бёрлинга, то вектор fx также имеет компактный спектр Бёрлинга;

3. fx = О, если / = О на множестве Л^) и (supp /) П Л^) не более чем счётно;

4. fx = x, если множество Л^) компактно и / = 1 в некоторой окрестности множества

Л^).

Замечание 1 (См. [З]). Из свойства fx = О для любой функции / Є L1(R) следует, что x = О.

Определение 3. Линейное подпространство E из L1(R) — модуля (X,T) называется подмодулем, если оно инвариантно относительно всех операторов вида T(t), t Є R, и T(/), / Є L1(R).

Пусть А — замкнутое множество из R. Подмодуль

X(А) = {x Є X I Л^) С А} называется спектральным подмодулем.

Лемма 2. Пусть X — банахов L1(R) — модуль, А — замкнутое множество из R. Тогда X(А) — замкнутый подмодуль, и Л(X(А)) С А.

Лемма 3. Пусть / Є Ь1(М) такова, что вирр / — компакт, и [-а, а], а > 0 — наименьший отрезок, содержащий вирр/. Тогда f бесконечно дифференцируема. Более того, она допускает расширение на С до целой функции /: С ^ С экспоненциального типа ^ а, т.е. справедлива оценка

|/(г)|< т1 тах |/(Л)| ■ е°|г|, г Є С.

2п

Лемма 4. Пусть / = 1 в некоторой окрестности множества Л(х), где х — элемент банахова Ь1(М) — модуля X. Тогда верны следующие равенства:

Т(і)х = Т(і)(/х) = /*х, і Є М, где /4(з) = (5(і)/)(«) = /(і + 8), 8 Є М, х Є X. Доказательство. Первое равенство следует из свойства 4 леммы 1. Далее,

Т(і)(/х) = Т(*) у /(т)Т(-т)хёт /(т)Т(і)Т(-т)х ёт =

к к

= У /(т)Т(і - т)х ёт = 1 (5(і)/ )(^)Т(—$)х = /*х.

к к

□

Далее используются степени Ап: Б(Ап) С X ^ X оператора А, которые определим согласно книге [6].

Определение 4. Для п = 0,1,... оператор Ап определяется по индукции соотношениями А0 = I, А1 = А и

Б(Ап) = {х Є XI х Є Б(Ап-1), Ап-1х Є Б(А)},

Апх = А(Ап-1х), х Є Б(Ап).

Лемма 5. Пусть вектор х из Ь1(М) — модуля (X, Т) имеет компактный спектр Бёрлинга Л(х), и функция f Є Ь1 (М) такова, что /(Л) = Л в некоторой окрестности и множества Л(х). Тогда х Є Б(Ап) при любом п ^ 1 и /х = Ах.

Доказательство. Выберем функцию^ Є Ь1(М) такую, что (р = 1 в окрестности V множества Л(х) и вирр р — компактное множество. В силу леммы 1, (х = х. Кроме того, ( можно выбрать так, чтобы выполнялись следующие свойства: ( — бесконечно дифференцируема, (' Є Ь1(М), и (('(Л) = іЛр(Л). Рассмотрим функцию ф = —і(, ф Є Ь1(М). Следовательно, ф' (Л) = Л('(Л). Кроме того, f — ф Є Ь1(М), и f — ф' = 0 в окрестности И П V множества Л(х). Следовательно, по свойству 2 леммы 1, (/ — ф')х = 0, откуда /х = ф'х. Таким образом, утверждение леммы достаточно доказать для функции ф'.

Поскольку функция ( удовлетворяет условиям леммы 4, то имеют место равенства

Т(і)х — х Т(і)((х) — (х (*х — (х ((* — ()х , . ..

Ііт ———-----= Ііт 7—— = Ііт —-— = Ііт ——— = (' х = іф'х = і Ах.

і^0 І і^0 І і^0 і і^0 і

Таким образом, х Є Б(А). Кроме того, из равенства ('х = іАх следует, что ф'х = Ах, или /х = Ах.

Из полученного представления Ах = /х и свойства 2 леммы 1 следует, что вектор /х имеет компактный спектр Бёрлинга, и поэтому по доказанному /х = Ах Є Б(А), причём А2х = /Ах. Из определения оператора Ап следует, что х Є Б(Ап) при любом п ^ 1. □

Теорема 1. Если х Є X имеет компактный спектр Бёрлинга, то х Є Б(Ат) для всех т Є М, Л(Атх) С Л(х) и справедливы оценки

||Атх|| ^ г(х)т ■ ||х||

при т ^ 1.

Доказательство. Тот факт что х Є Б(Ат) следует из леммы 5.

Покажем, что Л(Атх) С Л(х). Пусть Л0 Є Л(х). Тогда по определению существует функция /0 Є Ь1(М) такая, что /0(Л0) = 0 и /0х = 0. Тогда /0(Ах) = А/0х = 0, откуда

Л(Ах) С Л(х), Л(Апх) С Л(х). (4)

Рассмотрим вектор у вида

Т х

У V/ /

к=-те (п/2 - кп)

Пусть функция ф £ Ь1(М) такова, что ф(Л) = Л в некоторой окрестности множества Л(ж). Тогда в силу леммы 5 выполнено равенство Аж = фж. Для любой функции / £ Ь1(М) из леммы 4 получим следующие равенства:

/ (у - Аж) = / (у - фж) =

го / к

= г(х) ■ V ( г(х) )2 ) х — (ф * /)х = #х — (ф * /)х = (х,

\к=-го (п/2 —

где д Є Ь1(М) имеет преобразование Фурье вида

А кп — п \

Р(Л)= г(х) £ //2П^ к=-те (П/2 —

и ( = д — ф * /. Поскольку х имеет компактный спектр Бёрлинга, то г(х) < то. Ряд в правой части равенства (5) сходится абсолютно. Функция ( удовлетворяет условиям свойства 3 леммы 1. Таким образом, /(у — Ах) = 0 для каждой функции / Є Ь1(М), и поэтому у — Ах = 0 в силу замечания 1. Имеют место оценки

||Ах|| = г(х)

^ г(х) V --------------------------2 ' 1|х|| = г(х) ■ ||х|

*=_те (п/2 — Лп)

к=-те (п/2 — Лп)2 Из включения (4) и доказанного получаем, что

||Апх|| = ||Ап-1Ах|| ^ г(х)п||х||, п ^ 2.

□

2. Неравенство Бернштейна для целой функции на бесконечности

Через Сьи(М) обозначим замкнутое подпространство равномерно непрерывных ограничен-{ых комплексных функций из Сь(М). Через С0(М) обозначим замкнутое подпространство {х Є Сьи(М) | Ііт |х(і)|=0}.

1 |і|^го 1 1

Определение 5. Функцию х Є Сьи(М) назовём, целой на бесконечности функцией экспоненциального типа а ^ 0, если для каждого є > 0 найдётся х0 Є Сьи(М), допускающая расширение на С до целой функции ж0: С ^ С экспоненциального типа а + є такая, что х(і) = х0(і) + У0(і), где у0 Є С0(М).

Лемма 6. Любая функция / Є Ь1(М) со свойством вирр / Є [—а, а] допускает расширение на С до целой функции экспоненциального типа а. Более того, функция /(в) = /(в + г), в Є М, для каждого г Є С принадлежит алгебре Ь1 (М), и функция ^: С ^ Ь1(М), ^(г) = / является целой функцией экспоненциального типа а.

Доказательство. Покажем, что / допускает расширение до функции экспоненциального типа а. Запишем функцию / в виде

а

/(І) = 2П / /(Л)еІЛ* ёЛ = 2П / •р'(Л)еІЛ* ёЛ,

и положим

а

f (z) = 2П / .(Л)єіЛ: dЛ, z є C.

—а

Справедлива оценка

|f(z)| ^ —2a ■ max |/(Л)Ь ea|z|.

2п ЛЄ[—а,а]

Таким образом, получено расширение функции f на C до целой функции экспоненциального типа a.

Поскольку (^)(s) = df(d~s), z є C, s є R, то функция F является целой функцией экспоненциального типа a. □

Лемма Т. Функция x є Cbu(R) допускает расширение до функции экспоненциального типа a тогда и только тогда, когда Л^) С [-a, a].

Доказательство. Необходимость. Пусть найдётся Ло > a + б для некоторого б > О. Выберем fQ є L1(R) так, чтобы ^(Ло) = О, и пусть xQ = fQ * x, тогда Л^о) С [Л0 - б, Л0 + б]. Рассмотрим функцию yo(t) = (fo * x)(t)e—іЛ°*, Л(уо) С [-б, б]. Таким образом, построена функция (fo * x)(z) = yo(z)e^0Z экспоненциального типа ^ a + б. Достаточность. Пусть Л^) С [-a, a]. Выберем f є L1(R) такую, что f = І в окрестности спектра, и supp/ С [-a - є, a + є] для некоторого є > О. Тогда f * x = x, f — целая функция со свойствами из леммы б. Тем же символом x будем обозначать продолжение x на C. Положим x(z) = J f (z - s)x(s)ds. Имеет место оценка

R

x(z) ^ / |f(z - s)|x(s) ds ^ ||fzУ, ■ ||x||, z є C, s є R.

R1

Поскольку ||fzУ, ^ Const ■ e(a+e)|z|, z є C s є R, то x — функция экспоненциального типа ^ a + є. Ввиду произвольности выбора є > О получаем, что x — функция экспоненциального типа a. □

Лемма 8. Функция x є Cbu(R) является целой на бесконечности функцией экспоненциального типа a ^ О тогда и только тогда, когда (x - f * x) є Cq(R) для каждой суммируемой функции f со свойством f = І на [-a, a].

Определение б. Функцию x є Cbu(R) назовём, медленно меняющейся на бесконечности функцией, если для каждого a є R выполнено свойство S(a)x - x є Cq(R) или, другими словами, для любого a є R справедливо равенство

lim |x(t + a) - x(t) = О.

|t|^^ 1 1

Множество всех медленно меняющихся на бесконечности функций из Cbu(R) будем обозначать через Csi(R).

Отметим, что каждая медленно меняющаяся на бесконечности функция эквивалентна целой функции на бесконечности экспоненциального типа 0 (см. [7]).

Рассмотрим сильно непрерывную группу сдвигов S: R ^ EndCbu(R), действующую по правилу: (S(t)x)(s) = x(s + t), s,t є R. Через S: R ^ End Cbu(R)/Co обозначим представление,

определённое по правилу: S(t)y = S'(t)x. Модульная структура определяется формулой

fy = J f(t)Sy(-t)ydt, f є L1(R), г є Cbu(R).

R

Пусть x є Cq(R), и y є Cbu(R) — представитель класса у. Введём норму класса у по правилу:

ЦуУ = inf Уу + xll.

11 11 xGCo(R) " У

Теорема 2. Функция x является целой на бесконечности функцией экспоненциального типа порядка a ^ О, если Л(г) С [-a, a], или, что эквивалентно, если в классе x существует дифференцируемая функция xq, для которой справедлива оценка ||xQ|| ^ a||y||.

Доказательство. следует из приведённых выше результатов и теоремы 1. □

Здесь используется терминология и результаты из статей [8, 9, 10]. Пусть Xi, X2 — банаховы пространства и пусть iAi, iA2, A& G End X&, k = 1, 2 — генераторы изометрических групп Ti(t) и T2(t) соответственно:

Банахово пространство Нот (X, Х2) наделяется структурой банахова модуля по представлению

T: R ^ EndHom(XL, X2) вида T(t)X = T2(t)XTL(-1), t є R, X є Hom(XL, X2). Модульная

Отметим, что представление Т является непрерывным в сильной операторной топологии.

Обозначим символом аёАьА2 оператор вида аёАьА2Х = А2Х — ХАі. В случае, когда Аі = А2 = А, аё^!,А2X = аё^Х = АХ—ХА — коммутатор. Оператор X принадлежит Б(аёАьА2), если ХБ(Аі) С Б(А2), и оператор А2Х—ХАі допускает ограниченное расширение на Хі. В дальнейшем это расширение будет обозначаться тем же символом А2Х — ХАі. Отметим, что спектром оператора аёАьА2 является множество

где ст(Аі), ст(А2) — соответственно спектры операторов Аі, А2.

Лемма 9. Если Х Є Нот(Хі, Х2) имеет компактный спектр Бёрлинга, то Х Є Б(а^ьА2) (т.е. корректно определен оператор А2Х------ХАі Є Нот(Хі, Х2)).

Теорема 3. Если спектр Бёрлинга Л(Х, Т) оператора Х Є Нот (Хі, Х2) является компактным множеством, то справедливо следующее неравенство:

Пусть X., X2 — сепарабельные бесконечномерные банаховы пространства с безусловными ба-

Пусть определены сильно непрерывные изометрические представления Tfc : R ^ End X&, k = 1, 2, определённые равенствами:

Tl : R ^ End Xl , T2: R ^ End X2

структура определяется с помощью формулы

(fX)x = У f (t)(T(t)X)xdr f (r)(T2(t)XTi(-t))x dr.

R

R

CT(adA1,A2) = {Л2 - Л1 : Л1 є ^^1^ Л2 є ^(A2^ ,

A2X - XAj < r(X) ■ ||Xу.

Доказательство. следует из теоремы 1 и приведённых выше результатов.

□

зисами (e'fc) и (ejk) соответственно. Матрица (xmn) оператора X є Hom(Xi, X2) определяется из равенств

ГО

m=1

00 00

Ti(t)x = ^2 eirata„en, T2(t)x = ^2 eiratene|n.

n=1 n=1

Рассмотрим ограниченное представление

T: R ^ EndHom(Xi, X2), T(t)X = T2(t)XTi(-t), где x є Xi, f є Ll(R), t є R, X є Hom(XL, X2), и оператор вида

(fX)x = J f (r)T2(r)XTi(-r)xdr.

R

При x = єП получаем равенства:

(fX)en = J f (r)T2(r)XTi(-r)en dr = J f (r)T2(r)Xe-inTen dr =

ГО

= J f(r)T2(r)e-inTXen dr = J f (r)T2(r)e-inT

R

R

ГО

£ / f (r)ei(m-n)

w^_1 J

ГО

xmnem dr — ^ ' /(n m)xmnem.

m=1

Таким образом, матрица оператора Х имеет вид (/(п — т)жтга). Следовательно, /Х = 0 тогда и только тогда, когда /(п — т) =0, т, п Є М, для которых жтга = 0, то есть спектр Бёрлинга оператора Х имеет вид:

1. Ахиезер Н.И. Лекции по теории аппроксимации. М.: Наука. 1965.

2. Любич Ю.И. Об условиях полноты системы собственных векторов корректного оператора

3. Баскаков А.Г. Теория представлений банаховых алгебр, абелевых групп и полугрупп в спектральном анализе линейных операторов // Функциональный анализ. СМФН. № 9. МАИ. М. 2004. С. 3-151.

4. Баскаков А.Г. Гармонический анализ линейных операторов. Воронеж. ВГУ. 1987.

5. Баскаков А.Г. Неравенства бернштейновского типа в абстрактном гармоническом анализе // Сиб. матем. журн. Т. 20, № 5. 1979. С. 942-952.

6. Данфорд Н. Линейные операторы: Общая теория. М.: Едиториал УРСС. 2010. 896 с.

7. Калужина Н.С. Медленно меняющиеся на бесконечности функции, периодические на бесконечности функции и их свойства // Вестник ВГУ. Серия физика, математика. № 2. 2010.

8. Баскаков А.Г. Спектральный анализ возмущенных неквазианалитических и спектральных операторов // Изв. РАН. Сер. матем. Т. 58:4 1994. С. 3—320.

9. Баскаков А.Г., Криштал И.А. Гармонический анализ каузальных операторов и их спектральные свойства // Изв. РАН. Сер. матем. Т. 69:3. 2005. С. 3—54.

10. Баскаков А.Г., Калужина Н.С. Теорема Бёрлинга для функций с существенным спектром из однородных пространств и стабилизация решений параболических уравнений // Матем. заметки. 2012. Т. 92, № 5. С. 643—661.

Егор Евгеньевич Дикарев,

Воронежский государственный университет,

Университетская площадь, 1,

394006, г. Воронеж, Россия E-mail: heiligenkreuz@gmail.com

Л^) = {m,n є N | существует f є Ll(R) такая, что /(n — m) = 0 и xmn = 0}.

СПИСОК ЛИТЕРАТУРЫ

jj УМН, Т.18:1(Ю9). 19б3. С. 1бБ-171.

С. 97-1G2.