CC BY
11
Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2019. Т. 19, вып. 2 УДК 517.9
Гармонический анализ медленно меняющихся на бесконечности
полугрупп операторов
В. Е. Струков, И. И. Струкова
Струков Виктор Евгеньевич, кандидат физико-математических наук, научный сотрудник кафедры системного анализа и управления, Воронежский государственный университет, Россия, 394036, Воронеж, Университетская пл., д. 1, [email protected]
Струкова Ирина Игоревна, кандидат физико-математических наук, научный сотрудник кафедры системного анализа и управления, Воронежский государственный университет, Россия, 394036, Воронеж, Университетская пл., д. 1, [email protected]
Статья посвящена изучению сильно непрерывных ограниченных полугрупп операторов. В пространстве равномерно непрерывных функций со значениями в комплексном банаховом пространстве рассматривается подпространство интегрально исчезающих на бесконечности функций, включающее в себя подпространство исчезающих на бесконечности функций. Изучаются свойства данного подпространства. Вводится понятие медленно меняющейся на бесконечности относительно этого подпространства функции, получены условия, при которых равномерно непрерывная функция будет являться таковой. Вводится понятие медленно меняющейся на бесконечности (относительно подпространства интегрально исчезающих на бесконечности функций) полугруппы операторов и изучаются их свойства. Получены условия, при которых сильно непрерывная ограниченная полугруппа операторов является медленно меняющейся на бесконечности относительно данного подпространства. Полученные результаты будут полезны при исследовании вопросов стабилизации решений параболических уравнений при неограниченном возрастании времени.
Ключевые слова: полугруппа операторов, медленно меняющаяся на бесконечности функция, медленно меняющаяся на бесконечности полугруппа операторов, спектр Бёрлинга, банахов модуль.
Поступила в редакцию: 05.05.2018 / Принята: 03.02.2019 / Опубликована онлайн: 28.05.2019 DOI: https://doi.org/10.18500/1816-9791-2019-19-2-152-163
1. ОСНОВНЫЕ РЕЗУЛЬТАТЫ
Пусть X — комплексное банахово пространство, End X — банахова алгебра линейных ограниченных операторов (эндоморфизмов), действующих в X. Пусть J — один из промежутков R+ = [0, то), R = (-то, то). Символом Cb = Cb(J,X) обозначим банахово пространство непрерывных и ограниченных на J функций с нормой ||х||о = sup ||x(t)||X, Cb,u = Cb,u(J,X) — замкнутое подпространство равномерно te J
непрерывных функций из Cb, C0 = C0(J,X) - замкнутое подпространство исчезающих на бесконечности функций, т.е. функций, для которых выполняется условие lim ||x(t)||x = 0.
В банаховом пространстве Cb,u(J,X) рассмотрим (полу-)группу операторов сдвига S : J ^ End Cb,u(J, X), действующих по правилу (S(t)x)(T) = x(t + т), t, т е J. Наряду с подпространством C0(J, X) рассмотрим более широкое подпространство
оо
C0(J,X) = {x е Cbu(J,X) : lime|| f e-et-iA°tS(t)xdt|| = 0 для любого Ao е R} инте-
o
грально исчезающих на бесконечности функций из Cb,u(J,X).
Лемма 1. Подпространство С0(Л,Х) обладает следующими свойствами:
1) подпространство С0(Л,Х) образует замкнутое подпространство из Сь,и(Л,Х), инвариантное относительно операторов Б(¿), I е Л;
2) подпространство С0(Л, X) является банаховым Ь1^)-модулем;
3) функция х е СЬи(Л,Х) принадлежит подпространству С0(Л, X) тогда и только тогда, когда для любой почти периодической функции f е АР(Л,Х) выполняется условие
lim 1|| / x(s + t)f(s)ds|| = 0;
а^ж a J 0
4) если функция x G C0(J, X), то fx G C0(J, X) для любой почти периодической функции f G AP(J, X);
5) функция x G (J,X) принадлежит пространству C0(J,X) тогда и только тогда, когда для любого А0 G R для любой А0-направленности (fa) выполняется условие lim fa * x = 0.
a
Утверждения леммы 1 следуют из определения пространства C0(J, X), свойств направленностей (fa) и того факта, что почти периодическая функция является равномерным пределом линейных комбинаций экспонент.
Определение 1. Функция x G Cb,u(J,X) называется медленно меняющейся на бесконечности относительно подпространства C0(J,X), если для любого t G J выполняется условие
(S(t)x - x) G Co(J,X).
Если в данном определении заменить подпространство C0(J, X) подпространством CO(J,X), то получим определение медленно меняющейся на бесконечности функции в обычном смысле (см. [1-6]).
Множество медленно меняющихся относительно подпространства C0(J, X) функций обозначим символом Св1>ж = CsijTO(J,X). Оно образует замкнутое подпространство из Cb,u(J, X), инвариантное относительно операторов S(t), t G J, и является банаховым LX(R)-модулем. Кроме того, любое продолжение y G Cb,u(R,X) функции x G Csl ж(R+ ,X) на R со свойством lim ||y(t)||X = 0 принадлежит Csl ж(R, X).
В данной статье рассматривается сильно непрерывная ограниченная полугруппа операторов (полугруппа класса C0) T : R+ ^ End X с генератором (инфини-тезимальным оператором) A : D(A) с X ^ X. Из условия ограниченности полугруппы T следует, что спектр a(A) ее генератора расположен в полуплоскости C- = {A G C : Re А < 0}.
Определение 2. Полугруппа операторов T : R+ ^ End X называется медленно меняющейся на бесконечности относительно подпространства C0(R+ ,X), если
ж
limб|| / e-et-iAotT(t)(T(т)x - x)dt|| =0
e^O J 0
для любого А0 е R и для любого вектора х е X (т.е. (¿) = Т(¿)х, I > 0, принадлежит пространству С8\,ж(R+ ,Х)).
Медленно меняющиеся на бесконечности (в обычном смысле) полугруппы операторов рассматривались в [7].
Основными результатами статьи являются следующие теоремы
Теорема 1. Пусть непрерывный спектр ac(A) генератора A сильно непрерывной ограниченной полугруппы T обладает свойством
ас(A) п (Ж) С ac(A)\{0}. (1)
Тогда полугруппа T является медленно меняющейся на бесконечности относительно подпространства C0(R+ , X).
Теорема 2. Пусть сильно непрерывная ограниченная полугруппа T является медленно меняющейся на бесконечности относительно подпространства C0(R+ , X). Тогда для любого е > 0 существует медленно меняющаяся на бесконечности относительно подпространства C0 (R+ , X) функция B : R+ ^ End X, допускающая голоморфное расширение на C до целой функции экспоненциального типа б и такая, что T(t) = B(t) + B0(t), t > 0, где B0(t)x, t > 0, принадлежит пространству C0 (R+ , X) для каждого x e X.
2. БАНАХОВЫ L1 (R)-МОДУЛИ И МЕДЛЕННО МЕНЯЮЩИЕСЯ НА БЕСКОНЕЧНОСТИ ФУНКЦИИ
Пусть L1 (R) — банахова алгебра определенных на R измеримых по Лебегу и суммируемых комплекснозначных функций со сверткой функций (f * g)(t) = J f (t — т)g(t)dr, t e R, f,g e L1 (R), в качестве умножения. Пусть
R
X — комплексное банахово пространство и End X — банахова алгебра линейных ограниченных операторов, действующих в X. Будем считать, что X является невырожденным банаховым L1(R)-модулем (см. [8,9]). Невырожденность банахова модуля X означает, что из равенства fx = 0, справедливого для любой функции f e L1 (R), следует, что вектор x e X — нулевой.
Далее через f : R ^ C обозначается преобразование Фурье /(А) = J f (t)e-iAidt,
R
А e R, функции f e L1 (R).
Определение 3. Спектром Бёрлинга вектора x e X называется множество чисел Л(х) из R вида Л(х) = {А0 e R : fx = 0 для любой функции f e L1 (R) c /(А0) = 0}.
Из определения следует, что Л(х) = R\{^0 Е ^ : существует функция / Е Ь1 такая, что /(^0) =0 и /х = 0}.
Справедливы следующие свойства спектра Бёрлинга векторов из банахова Ь1 модуля X (см. [8-12]):
Лемма 2. Для любых / Е Ь1 (R) и х Е X справедливы свойства:
1) из условия /х = 0 для любой функции / Е Ь1 следует, что х = 0 (т.е. Ь1^) -модуль X невырожден);
2) Л(х) — замкнутое подмножество из R, причем Л(х) = 0 тогда и только тогда, когда х = 0;
3) Л(/х) С (5прр/) П Л(х);
4) f х = 0, если (suppf) П Л(х) = 0, и f х = х, если множество Л(х) компактно и f = 1 в некоторой его окрестности;
5) Л(х) = {Л0} — одноточечное множество тогда и только тогда, когда вектор х = 0 удовлетворяет равенствам U(t)x = ехр(гЛ0t)x, t G R, при условии, что структура банахова L1 (R) -модуля на X задается равенством
f * х = J f (т)U(-Т)xdT, х G X, f G L1 (R), (2)
т.е. структура L1 (Ж)-модуля на X ассоциирована с сильно непрерывным изометрическим представлением (группой изометрий) U : R ^ End X (для того чтобы это подчеркнуть, иногда будет использоваться обозначение (X, U));
6) функция t ^ U(t)x : R ^ X для X с компактным спектром Бёрлинга допускает расширение до целой функции.
Банахово пространство Cb, u(R,X) является банаховым L1 ^)-модулем с модульной структурой, определяемой равенствами
(f * x)(t) = J f (т )x(t - т )dT = Jf (т )(S (-т )x)(t)dT, t G R, (3)
R R
и эта структура ассоциирована с представлением (группой сдвигов функций) S : R ^ End Cb,u(R,X).
Подпространства C0 (R,X ), C0(R, X ) и (R,X ) банахова пространства
Cb,u(R,X) являются замкнутыми подмодулями L1 ^)-модуля Cb,u(R, X) с модульной структурой, задаваемой формулой (3).
Рассмотрим фактор-пространство F (J, X ) = Cb,u (J,X )/C0 (J,X ), которое является банаховым пространством с нормой ||х|| = inf ||у||, где х = х + C0(J,X) —
yex+Cо (J,X )
класс эквивалентности, содержащий функцию х G Cb,u(J, X). Банахово пространство F(J,X) становится банаховой алгеброй, если умножение вводится следующим образом ху = ху, х, х G F (J, X ).
В фактор-пространстве F(J,X) структура банахова L1 ^)-модуля задается формулой (2), где в качестве представления U берется сильно непрерывная группа изометрических операторов S : R ^ End F (J, X ), описанная ниже. Для t > 0 под 5(t) будем понимать фактор-оператор, построенный по оператору S (t), т.е. = S(t^ для любой функции х G Cb,u(J,X). Если t < 0, то 5(t) = S(-1),
если J = R. Для J = R+ оператор S(t), t < 0, определим формулой 5(t)üc = S(t)y, х G F(R+, X), а х — класс эквивалентности, построенный по функции у G Cb,u(J,X). Здесь у G Cb,u(R,X) — произвольное равномерно непрерывное продолжение функции х G Cbu(R+ ,X) на R, удовлетворяющее условию lim ||y(t)||X = 0. Отметим, что
данное определение корректно, т.е. не зависит от выбора продолжения у функции х на R.
Замечание 1. Непосредственно из определения следует, что фактор-пространство Cb,u(R+ ,X)/C0(R+ ,X) вкладывается в фактор-пространство Cb,u(R,X)/C0(R,X), являясь в нем замкнутым подпространством. Поэтому в дальнейшем при доказательстве утверждений будем рассматривать банахов L1 (R)-модуль
F(R, X) = Cb,u(R,X)/C0(R,X), в котором действует изометрическая группа операторов ф : R ^ End F(R,X).
Лемма 3. Для того чтобы функция x G Cb,u(R,X) была медленно меняющейся на бесконечности относительно подпространства C0(R,X), необходимо и достаточно, чтобы выполнялось одно из следующих трех эквивалентных условий:
1) Л(Ф) С {0} для класса x = x + C0(R, X);
2) f * x G C0(R,X) для любой функции f G L1 (R), удовлетворяющей условию f(0) = 0;
3) f *x—x G C0(R,X) для любой функции f G L1 (R), удовлетворяющей условию f(0) = 1.
Для того чтобы функция x0 G Cb,u(R+ ,X) была медленно меняющейся на бесконечности относительно подпространства C0(R+,X), необходимо и достаточно, чтобы выполнялось одно из трех перечисленных условий для некоторого продолжения x G Cb,u (R, X) функции x0 на R, удовлетворяющего условию lim ||x(t)||x = 0.
Утверждения леммы 3 следуют из теоремы 3 и лемм 5 и 6.
Лемма 4. Пусть Ф : R+ ^ End X — сильно непрерывная ограниченная функция, для которой все функции (t) = Ф(^, t > 0, принадлежат Cs1)((R+ ,X). Тогда для любого б > 0 функция Ф представима в виде Ф = Ф1 + Ф0, где каждая функция t ^ Ф0(^, x G X, принадлежит C0(R+ ,X) и Ф1 : R+ ^ End X допускает голоморфное расширение (обозначаемое тем же символом) на C до целой функции экспоненциального типа б, причем Ф1 G (R,EndX).
Доказательство. Рассмотрим функцию f G L1(R), обладающую свойствами /(0) = 1, suppf С [—б, б] и функция f бесконечно дифференцируема. Тогда из формулы f (t) = 1-е /(A)eiAtdA, t G R, следует, что функция f допускает расширение (обозначаемое тем же символом)
f(z) = — [ f(A)eiAzdA = — i f(A)eate—aAdA, z = t + ia G C, (4)
J-е J-е
которое является целой функцией экспоненциального типа б.
Из формулы (4) следует, что семейство функций fz, z G C, вида fz(t) = f (z — t), t G R, z G C, принадлежит алгебре L1 (R), а функция F : C ^ L1 (R) вида F(z) = fz, z G C, является целой функцией экспоненциального типа не выше б. При этом для любого b > 0 конечна величина
sup ||F(z)||L! = sup ||fz||L1.
|/mz|^b |/mz|^b
Положим Ф1 = f * Ф, где Ф :JR ^ End X — продолжение Ф на R со свойством сильной непрерывности и lim Ф(t)x = 0 для x G X. Ее голоморфным продолжением на C является функция Ф1 (z) = f( f (z — t)x(t)dt, z G C. Отметим, что
Ф 1 (t + z) = (fz * ф)(t), t G R, z G C. Следовательно, функция Ф1 является целой функцией экспоненциального типа не выше б. Непосредственно из определения следует, что Ф 1 : R ^ End X непрерывна в равномерной операторной топологии (ввиду
непрерывности функции t ^ ft : R ^ L1 (R)) и каждая из функций : R ^ X, x е X, вида ^x(t) = Ф1 (t)x : R ^ X является медленно меняющейся на бесконечности относительно подпространства C0(R, X) функцией.
Из свойства 3) леммы 3 следует, что функция Ф0 вида Ф0(t) = Ф^) — Ф1 (t), t > 0, принадлежит пространству C0(R,X). □
Определение 4. Вектор x из банахова L1 ^)-модуля (X,T) называется почти периодическим, если x е Xc и множество {T(t)x,t е R} (орбита вектора x) пред-компактно в X.
Отметим, что множество AP(X) почти периодических векторов из X образует замкнутый подмодуль из X.
Для доказательства основных результатов статьи нам понадобится ряд определений (см. [8,9]).
Определение 5. Пусть M — некоторое направленное множество и Л е R. Ограниченная направленность (fa), а е M, функций из алгебры L1 (R) называется Л-направленностью, если выполнены условия:
1) fa (Л) = 1 для всех а е M;
2) lim fa * f = 0 для любой функции f е L1 (R) со свойством /(Л) = 0.
a
Примерами 0-направленностей в алгебре L1 (R) являются направленности
,п т= I (2а)-1. t е [—а,а],
Va(t) 1 0, t е [—а,а], а > 0,
f (t) 10, t < 0, s > 0. Первая из них направлена по возрастанию а, а вторая — по убыванию s.
Определение 6. Число Л0 е R отнесем к существенному спектру Kess(x) вектора x из банахова L1 (R)-модуля (X,T), если существует Л0-направленность (fa) из алгебры L1(R), для которой выполнено условие
limilfax|| > 0. (5)
a
Отметим, что Aess(x) С A(x), x е (X,T).
Определение 7. Пусть x — ненулевой вектор из L1(R)-модуля (X,T). Число Л0 е R из A(x) назовем эргодической точкой вектора x, если для некоторой Л0-направленности из алгебры L1 (R) существует
lim fax = x0 е X.
a
Множество эргодических точек вектора будем обозначать символом Aerg(x). Если при этом x0 = 0, то число Л0 отнесем к дискретному спектру Ad(x) вектора x. Отметим, что для x0 выполняется свойство T(t)x0 = Л0x0 для всех t е R. Если же x0 = 0, то число Л0 отнесем к непрерывному спектру Лс(x) вектора x.
Замечание 2. Из [8, теорема 2.2.7] следует, что предел в формуле (5) не зависит от выбора Л0-направленности (fa), причем если он существует для некоторой Л0-направленности, то он существует и для любых других Л0-направленностей. Следовательно, определения дискретного и непрерывного спектров корректны, а знак неравенства (5) не зависит от выбора Л0-направленности (fa).
Замечание 3. Также из определения 7 следует, что для Л-направленности (fa) свойство Л е Aerg(x) U (R\A(x)) имеет место тогда и только тогда, когда lim fax
a
существует хотя бы для одной, а значит, для всех Л-направленностей.
3. СВОЙСТВА МЕДЛЕННО МЕНЯЮЩИХСЯ НА БЕСКОНЕЧНОСТИ ФУНКЦИЙ
Пусть М — некоторое направленное множество, на котором определена ограниченная направленность (еа) из алгебры Ь1
Определение 8. Ограниченная направленность (ea) из алгебры L1 (R) называется ограниченной аппроксимативной единицей (о.а.е.) в алгебре L1 (R), если выполняются следующие условия:
1) "a(0) = 1 для всех а е M;
2) lim ea * f = f для всех f е L1
a
Из леммы 4.3 в [9] следует, что lim ea * x = x для всех x е u(R,X). Этот
a
результат будет существенно использоваться при доказательстве следующих двух лемм.
Лемма 5. Для того чтобы функция x е , u(R, X) принадлежала пространству Csl, (R, X), необходимо и достаточно, чтобы f * x е C0(R, X) для любой функции f е L1 (R), удовлетворяющей условию /"(0) = 0.
Доказательство. Необходимость. Рассмотрим функцию f е L1 (R) вида f = S(a)g — g, g е L1 (R), а е R. Данная функция обладает свойством /(0) = 0. Согласно тауберовой теореме Винера [13], множество таких функций плотно в максимальном идеале M = {f е L1 (R) : /(0) = 0}. Поэтому утверждение леммы достаточно доказать для функции f рассматриваемого вида.
Возьмем произвольную функцию x е (R,X). Из определения медлен-
но меняющейся относительно подпространства C0(R,X) функции следует, что S(a)x — x е C0(R, X), откуда f * x = (S(a)g — g) * x = g * (S(a)x — x) е C(R, X).
Достаточность. Пусть x е Cb,u(R,X) и f * x е C0(R, X) для любой функции f е L1(R) с /(0) = 0. Пусть (ea) — о.а.е. из алгебры L1 (R) и t е R. Из равенств ea * (S(t)x — x) = (S(t)ea — ea) * x = fa * x и /"с(0) = 0 следует, что ea * (S(t)x — x) е C0(R,X). Но в силу того, что S(t)x — x = lim ea * (S(t)x — x) е C0(R,X), получаем, что x е Csl ^(R,X). □
a
Лемма 6. Для того чтобы функция x е , u(R,X) принадлежала пространству Csl, (R,X), необходимо и достаточно, чтобы f *x — x е C0(R, X) для любой функции f е L1 (R), удовлетворяющей условию /(0) = 1.
Доказательство. Необходимость. Пусть x е (R,X). Пусть f — произвольная функция из L1 (R) со свойством /"(0) = 1, а (ea) — о.а.е. из алгебры L1 (R). Справедливо равенство lim ea * (x — f * x) = x — f * x. Кроме того,
ea * (x - f * ж) = (ea * f - ea) * x = fa * x, где fa = ea * f - ea. Учитывая, что fa(0) = ea(0)/(0) — ea(0) = 0, из леммы 5 следует, что fa * x G C0(R, X), а значит, и f * x - x G Co(R,X).
Достаточность. Пусть x G Cb,u(R,X) и x - f * x G C0(R, X) для любой функции f G L1 (R), удовлетворяющей условию /(0) = 1. Тогда с учетом того, что (5(i)7)(0) = 1, имеем f * (S(t)x - x) = (S(t)f - f) * x = = ((S(t)f) * x - x) + (x - f * x) G Co(R,X) для любого t G R. Поскольку ea(0) = 1, то lim ea * (S(t)x - x) = S(t)x - x G C0(R,X) для любого t G R, откуда следует, что
a
x G C8l(X(R,X). □
Лемма 7. Если x G Cs1)TO(R,X) то множество A(x)\{0} содержится в непрерывном спектре Лс(x) функции x и Aess(x) с {0}.
Доказательство. Пусть 0 = Y0 G A(x). Рассмотрим функцию f G L1 (R), обладающую свойствами y0 G SUPP f и /(0) = 1. Из леммы 6 следует, что функция x0 = x - f * x принадлежит пространству C0(R,X). Следовательно, для любой y0-направленности (fa) из L1 (R) справедлива цепочка равенств 0 = lim fa * x0 = lim(fa * x - fa * f * x) = lim fa * x. В соответствии с определе-
a a a
нием 7 это означает, что Y0 G Ac(x). □
Теорема 3. Функция x G Cbu(R,X) принадлежит подпространству Csl,((R, X) тогда и только тогда, когда Л(х) = Л(х, S) С {0}.
Доказательство. Из леммы 5 следует, что функция x G Cbu(R, X) принадлежит подпространству Csl,((R,X) тогда и только тогда, когда f * x G C0(R,X) для любой функции f G L1 (R) с /(0) = 0. Значит, x G Csl,((R,X) тогда и только тогда, когда f * X = 0, х G CM(R,X)/C0(R,X), для любой функции f G L1 (R) с f(0) = 0. Непосредственно из определения 3 следует, что x G Csl,((R,X) тогда и только тогда, когда Л(х) С {0}. □
4. ДОКАЗАТЕЛЬСТВА ОСНОВНЫХ РЕЗУЛЬТАТОВ
Рассмотрим линейное дифференциальное уравнение
x(t) - Ax(t) = y(t), t G J, (6)
где y G C0(J, X) и A : D(A) С X ^ X — генератор (инфинитезимальный оператор) сильно непрерывной ограниченной полугруппы операторов T : R+ ^ End X
Определение 9. Непрерывная функция x : J ^ X называется слабым решением (mild solution) уравнения (6) (см. [14]), если для всех s < t из J имеет место равенство
x(t) = T(t - s)x(s) + J T(t - т)y(т)dr, s < t, s,t G J. (7)
При J = R+ равенство должно быть выполнено при s = 0 и t > 0. Ясно, что функция x равномерно непрерывна.
Уравнение (6) запишем в виде Lx = y, где оператор L : D(L) с Cb(J, X) ^ ^ Cb(J,X) имеет вид L = d — A (см. [15-19]). Функция x G Cb(J,X) принадлежит области определения D(L) оператора L, если существует функция y G Cb(J, X) такая, что для всех s < t из J верны равенства (7).
Лемма 8. Пусть спектр генератора A полугруппы T удовлетворяет условию (1). Тогда каждое ограниченное на J слабое решение x0 уравнения (6) является медленно меняющейся на бесконечности функцией относительно подпространства C0(J, X).
Доказательство. Пусть сначала J = R. Число А0 G R выберем таким образом, чтобы А0 > а, где число а удовлетворяет условию ||T(t)|| < Meat, t > 0, для некоторой постоянной M > 0. Тогда согласно [15] оператор L — А01 непрерывно обратим и обратный оператор B = (L — А01 )-1 G End Cb(R, X) представим в виде Bx = G0 * x, x G Cb(J,X), где G(т) = T(т)e-A°T, т > 0, и G(т) = 0 для т < 0. Следовательно, оператор B перестановочен с оператором свертки, т.е. B(f * x) = f * Bx, для любых f G L1 (R), x G Cb(R, X). Таким же свойством обладает и оператор L. В частности, f * x0 G D(L) и для любой функции f G L1 (R) имеет место равенство
Рассмотрим произвольное ненулевое число £ В силу условия (1) существует 5 > 0 такое, что отрезок — 5, + 5] не содержит точки 0. Рассмотрим бесконечно дифференцируемую функцию /0 : R ^ С, для которой /0(^0) = 0 и Бирр/о С [^0 — 5, + 5]. Тогда она является преобразованием Фурье некоторой функции /0 £ Ь1 а функция
является преобразованием Фурье некоторой суммируемой функции F : R ^ End X. Тогда из (8) получаем, что F * L(f0 * x0) = F * f0 * y G C0(R, X).
Отметим, что f0 * x0 (ввиду ее бесконечной дифференцируемости) есть классическое решение уравнения (6) с правой частью f0 * y. Из последнего равенства следует, что f0x0 = 0 для х0 = x0 + C0(R,X). Следовательно, G А(ж0). Ввиду произвольности выбора числа = 0 из R получаем, что А(ж0) с {0}. Тогда из условия 1) леммы 3 следует, что x0 G (R,X).
Пусть теперь J = R+. Рассмотрим непрерывно дифференцируемую функцию ^ : R ^ R, обладающую свойствами supp^ с [1, то) и ^(t) = 1 для всех t G [2, то). Далее символом ^x0 обозначена функция, равная нулю на промежутке (—то, 0] и являющаяся произведением функций ^ и x0 на R+. Но тогда из определения оператора L следует, что ^x0 G D(L) и L(^x0) = 0x0 + ^y G C0(R,X), где функция ^y считается равной нулю на промежутке (—то, 0]. При этом оператор L считается действующим в пространстве Cb(R,X). Таким образом, случай J = R+ сводится к случаю J = R. □
Доказательство теоремы 1. Поскольку каждая из функций (t) = T(t)x, t > 0, x G X, принадлежащая пространству Cb , u(R+ ,X), является слабым решением уравнения (6), где y = 0, то из леммы 8 следует, что все эти функции являются медленно меняющимися на бесконечности относительно подпространства C0(R+ ,X). Значит,
L(f * x0) = f * y G C0(R, X).
(8)
Е(А)
f0(А)(гА/ — A)-1, А G [^0 — 5,^0 + 5],
А G [^0 — M0 +
согласно определению 2, полугруппа T : R+ ^ End X является медленно меняющейся на бесконечности относительно подпространства C0(R+ , X).
Доказательство теоремы 2 следует из леммы 4.
Благодарности. Работа первого автора выполнена при финансовой поддержке
РФФИ (проект № 18-31-00097), работа второго автора выполнена при финансовой
поддержке РФФИ (проект № 19-01-00732A).
Библиографический список
1. Баскаков А. Г., Калужина Н. С. Теорема Бёрлинга для функций с существенным спектром из однородных пространств и стабилизация решений параболических уравнений // Матем. заметки. 2012. Т. 92, № 5. С. 643-661. DOI: https://doi.org/10.4213/mzm8963
2. Струкова И. И. Спектры алгебр медленно меняющихся и периодических на бесконечности функций и банаховы пределы // Вестн. ВГУ. Сер. Физика. Математика. 2015. № 3. С. 161-165.
3. Baskakov A., Strukova I. Harmonic analysis of functions periodic at infinity // Eurasian Math. J. 2016. Vol. 7, № 4. P. 9-29.
4. Струкова И. И. О теореме Винера для периодических на бесконечности функций // Сиб. матем. журн. 2016. Т. 57, № 1. С. 186-198. DOI: https://doi.org/10.17377/smzh.2016.57.114
5. Струкова И. И. О гармоническом анализе периодических на бесконечности функций // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2014. Т. 14, вып. 1. С. 28-38.
6. Струкова И. И. Гармонический анализ периодических на бесконечности функций в пространствах Степанова // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2017. Т. 17, вып. 2. С. 172-182. DOI: https://doi.org/10.18500/1816-9791-2017-17-2-172-182
7. Баскаков А. Г., Калужина Н. С., Поляков Д. М. Медленно меняющиеся на бесконечности полугруппы операторов // Изв. вузов. Матем. 2014. № 7. С. 3-14. DOI: https://doi.org/10.3103/S1066369X14070019
8. Баскаков А. Г. Теория представлений банаховых алгебр, абелевых групп и полугрупп в спектральном анализе линейных операторов // СМФН. 2004. Т. 9. С. 3-151. DOI: https://doi.org/10.1007%2Fs10958-006-0286-4
9. Баскаков А. Г., Криштал И. А. Гармонический анализ каузальных операторов и их спектральные свойства // Изв. РАН. Сер. матем. 2005. Т. 69, № 3. С. 3-54. DOI: https://doi.org/10.4213/im639
10. Баскаков А. Г. Гармонический анализ линейных операторов. Воронеж : Изд-во Воронеж. ун-та, 1987. 165 с.
11. Баскаков А. Г. Спектральные критерии почти периодичности решений функциональных уравнений // Матем. заметки. 1978. Т. 24, № 2. С. 195-206.
12. Баскаков А. Г. Неравенства бернштейновского типа в абстрактном гармоническом анализе // Сиб. матем. журн. 1979. Т. 20, № 5. С. 942-952.
13. Винер Н. Интеграл Фурье и некоторые его приложения. М. : Физматлит, 1963. 256 с.
14. Chicone C., Latushkin Y. Evolution Semigroups in Dynamical Systems and Differential Equations // Amer. Math. Soc. 1999. Vol. 70. 361 p.
15. Баскаков А. Г. Полугруппы разностных операторов в спектральном анализе линейных дифференциальных операторов // Функц. анализ и его прил. 1996. Т. 30, вып. 3. С. 1-11.
16. Баскаков А. Г. Линейные дифференциальные операторы с неограниченными операторными коэффициентами и полугруппы разностных операторов // Матем. заметки. 1996. Т. 59, № 6. С. 811-820.
17. Баскаков А. Г. Спектральный анализ дифференциальных операторов с неограниченными операторными коэффициентами, разностные отношения и полугруппы разностных отношений // Изв. РАН. Сер. матем. 2009. Т. 73, № 2. С. 3-68. 001: https://doi.org/10.4213/im2643
18. Баскаков А. Г. Исследование линейных дифференциальных уравнений методами спектральной теории разностных операторов и линейных отношений // УМН. 2013. Т. 68, № 1. С. 77-128. 001: https://doi.org/10.4213/rm9505
19. Баскаков А. Г. Гармонический и спектральный анализ операторов с ограниченными степенями и ограниченных полугрупп операторов на банаховом пространстве // Матем. заметки. 2015. Т. 97, № 2. С. 174-190. 001: https://doi.org/10.4213/mzm10285
Образец для цитирования:
Струков В. Е., Струкова И. И. Гармонический анализ медленно меняющихся на бесконечности полугрупп операторов // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2019. Т. 19, вып. 2. С. 152-163. 001: https://doi.org/10.18500/1816-9791-2019-19-2-152-163
Harmonic Analysis of Operator Semigroups Slowly Varying at Infinity
V. E. Strukov, 1.1. Strukova
Victor E. Strukov, https://orcid.org/0000-0002-5113-2375, Voronezh State University, 1 Universitetskaya Sq., Voronezh 394036, Russia, [email protected]
Irina I. Strukova, https://orcid.org/0000-0003-2355-0091, Voronezh State University, 1 Universitetskaya Sq., Voronezh 394036, Russia, [email protected]
The article focuses on studying of strongly continuous bounded operator semigroups. In the space of uniformly continuous functions with values in a complex Banach space we consider the subspace of integrally vanishing at infinity functions. This subspace includes the subspace of vanishing at infinity functions, but it is wider. We study the properties of the subspace under consideration. We introduce the definition of slowly varying at infinity (with regard to the subspace of integrally vanishing at infinity functions) function and study the conditions under which a uniformly continuous function belongs to this type. We also introduce the definition of slowly varying at infinity (with regard to the subspace of integrally vanishing at infinity functions) operator semigroup, study its properties and derive the conditions under which a strongly continuous bounded operator semigroup belongs to this type. The results derived in the article might be useful for research of stabilization of parabolic equations solutions with unlimited increase of time.
Keywords: operator semigroup, slowly varying at infinity function, slowly varying at infinity operator semigroup, Beurling spectrum, Banach module.
Received: 05.05.2018 / Accepted: 03.02.2019 / Published online: 28.05.2019
Acknowledgements: The first author was supported by Russian Foundation for Basic Research (project No. 18-31-00097) and the second author was supported by Russian Foundation for Basic Research (project No. 19-01-00732A).
References
1. Baskakov A.G., Kaluzhina N.S. Beurling's theorem for functions with essential spectrum from homogeneous spaces and stabilization of solutions of parabolic equations. Math. Notes, 2012, vol. 92, no. 5, pp. 587-605. DOI: https://doi.org/10.1134/S0001434612110016
2. Strukova I. I. Spectra of algebras of slowly varying and periodic at infinity functions and Banach limits. Proceedings of Voronezh State University. Ser. Physics. Mathematics,
2015, no. 3, pp. 161-165 (in Russian).
3. Baskakov A., Strukova I. Harmonic analysis of functions periodic at infinity. Eurasian Math. J., 2016, vol. 7, no. 4, pp. 9-29.
4. Strukova I. I. About Wiener theorem for periodic at infinity functions. Siberian Math. J.,
2016, vol. 57, iss. 1, pp. 145-154. DOI: https://doi.org/10.1134/S0037446616010146
5. Strukova I. I. About harmonic analysis of periodic at infinity functions. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2014, vol. 14, iss. 1, pp. 28-38 (in Russian).
6. Strukova I. I. Harmonic analysis of periodic at infinity functions from Stepanov spaces. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2017, vol. 17, iss. 2, pp. 172-182 (in Russian). DOI: https://doi.org/10.18500/1816-9791-2017-17-2-172-182
7. Baskakov A. G., Kaluzhina N. S., Polyakov D. M. Slowly varying at infinity operator semigroups. Russian Math. (Iz. VUZ), 2014, vol. 58, no. 7, pp. 1-10. DOI: https://doi.org/10.3103/S1066369X14070019
8. Baskakov A. G. Theory of representations of Banach algebras, and abelian groups and semigroups in the spectral analysis of linear operators. J. Math. Sci. (N. Y.), 2006, vol. 137, no. 4. pp. 4885-5036. DOI: https://doi.org/10.1007%2Fs10958-006-0286-4
9. Baskakov A. G., Krishtal I. A. Harmonic analysis of causal operators and their spectral properties. Izv. Math., 2005, vol. 69, no. 3, pp. 439-486. DOI: https://doi.org/10.1070/IM2005v069n03ABEH000535
10. Baskakov A. G. Garmonicheskij analiz linejnykh operatorov [Harmonic analysis of linear operators]. Voronezh, VSU Publ., 1987. 165 p. (in Russian).
11. Baskakov A. G. Spectral tests for the almost periodicity of the solutions of functional equations. Math. Notes, 1978, vol. 24, no. 1-2, pp. 606-612. DOI: https://doi.org/10.1007/BF01105312
12. Baskakov A. G. Bernstein-type inequalities in abstract harmonic analysis. Siberian Math. J., 1979, vol. 20, no. 5, pp. 665-672.
13. Wiener N. The Fourier Integral and Certain of its Applications. Cambridge Univ. Press, reprint by Dover, CUP Archive, 1988, 201 p. (Russ. ed.: Moscow, Fizmatlit, 1963. 256 p.).
14. Chicone C., Latushkin Y. Evolution Semigroups in Dynamical Systems and Differential Equations. Amer. Math. Soc., 1999, vol. 70, 361 p.
15. Baskakov A. G. Semigroups of difference operators in spectral analysis of linear differential operators. Funct. Anal. Its Appl., 1996, vol. 30, iss. 3. pp. 149-157. DOI: https://doi.org/10.1007/BF02509501
16. Baskakov A. G. Linear differential operators with unbounded operator coefficients and semigroups of bounded operators. Math. Notes, 1996, vol. 59, no. 6, pp. 586-593. DOI: https://doi.org/10.1007/BF02307207
17. Baskakov A. G. Spectral analysis of differential operators with unbounded operator-valued coefficients, difference relations and semigroups of difference relations. Izv. Math., 2009, vol. 73, no. 2, pp. 215-278. DOI: https://doi.org/10.1070/IM2009v073n02ABEH002445
18. Baskakov A. G. Analysis of linear differential equations by methods of the spectral theory of difference operators and linear relations. Russian Math. Surveys, 2013, vol. 68, no. 1, pp. 69-116. DOI: https://doi.org/10.1070/RM2013v068n01ABEH004822
19. Baskakov A. G. Harmonic and spectral analysis of power bounded operators and bounded semigroups of operators on Banach spaces. Math. Notes, 2015, vol. 97, no. 2, pp. 164-178. DOI: https://doi.org/10.1134/S0001434615010198
Cite this article as:
Strukov V. E., Strukova I. I. Harmonic Analysis of Operator Semigroups Slowly Varying at Infinity. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2019, vol. 19, iss. 2, pp. 152-163 (in Russian). DOI: https://doi.org/10.18500/1816-9791-2019-19-2-152-163
