CC BY
7
УДК 517.9
DOI 10.18413/2075-4639-2019-51-3-387-401
ТЕОРЕМА ВИНЕРА В ИССЛЕДОВАНИИ ПОЧТИ ПЕРИОДИЧЕСКИХ НА БЕСКОНЕЧНОСТИ ФУНКЦИЙ
WIENER THEOREM FOR STUDYING ALMOST PERIODIC AT INFINITY FUNCTIONS
B.E. Струков, И.И. Струкова
V.E. Strukov, I.I. Strukova
Воронежский государственный университет, Россия, 394006, г. Воронеж, Университетская пл., 1 Voronezh State University, 1 Universitetskaya sq., Voronezh, 394006, Russia
E-mail: sv.post.of.chaos@gmail.com, irina.k.post@yandex.ru
Аннотация
Статья посвящена некоторым избранным вопросам гармонического анализа непрерывных медленно меняющихся pi почти периодических па бесконечности функций. На основе знаменитой теоремы Випера вводится понятие множества, удовлетворяющего условию Випера. Рассматриваются различные подпространства непрерывных исчезающих па бесконечности (в различных смыслах) функций, не обязательно стремящихся к нулю па бесконечности. Например, функции, интегрально исчезающие па бесконечности, pi функции, которые в свертке с любой функцией из множества, удовлетворяющего условию Випера, дают стремящуюся к нулю функцию. Вводятся пространства медленно меняющихся pi почтрт периодических на бесконечности функций относительно введенных подпространств. Доказывается, что все такие пространства совпадают с пространствами обычных медленно меняющихся pi почтрт периодических на беско-нечностр! функций соответственно (вне зависимости от выбора подпространства исчезающих па бесконечности функций). Для почтрт периодических на бесконечности функций (относительно подпространства) приводятся четыре различных определения pi доказывается их эк-врталептпость. Полученные результаты применены к исследованию свойств решений дифференциальных уравнений. Результаты статьи получены с существенным использованием теорий изометрических представлений pi банаховых модулей.
Abstract
The article under consideration is devoted to some problems of harmonic analysis of continuous slowly varying and almost periodic at infinity functions. We consider a number of various subspaces of continuous functions disappearing at infinity. On the basis of the well-known Wiener theorem we introduce a concept of a set satisfying Wiener condition. We consider various subspaces of continuous functions vanishing at infinity in different senses, not necessarily tending to zero at infinity. For example, integrally vanishing at infinity functions and functions whose convolution with any function from the set satisfying Wiener condition give a function tending to zero at infinity. Then we construct the spaces of slowly varying and periodic at infinity functions with respect to any of those subspaces. The constructed spaces are proved to coincide with the ordinary spaces of slowly varying and periodic at infinity functions respectively (regardless of the choice of a subspace). For functions, almost periodic at infinity ( with respect to a subspace) four various definitions are
given and their equivalence is proved. The results are applied to the research of the properties of differential equations solutions. The results of the article are received with essential use of methods of isometric representations and Banach modules theories.
Ключевые слова: почти периодическая па бесконечности функция, медленно меняющаяся на бесконечности функция, исчезающая на бесконечности функция, теорема Випера, дифференциальное уравнение, банахов модуль.
Key words: almost periodic at infinity function, slowly varying at infinity function, vanishing at infinity function, Wiener theorem, differential equation, Banach module.
1. Медленно меняющиеся на бесконечности функции относительно
подпространства C0(R,X; M)
Пусть L^R) — банахова алгебра определенных на R измеримых по Лебегу и суммируемых комплекснозначньтх (классов эквивалентности) функций со сверткой функций в качестве умножения (f1 * f2)(t) = f f1(t — s)f2(s)ds, t E R, f1,f2 E L1(M). Символом
R
f : R ^ С обозначается преобразование Фурье /(А) = J f (t)e-iXtdt, А E R, функции
R
f E L1 (R).
В данной статье существенно используется следующая теорема Винера (см. [Гель-фанд и др.. 1946]):
Теорема 1. Пусть I — идеал алгебры L1(R). Он совпадает со всей алгеброй L1(R), если функции р, ф E J, разделяют точки из R, т. е. дл. я любых чисел A1 = А2 E R найдется функция Ф E I такая, что р(А1) = р(А2).
Будем говорить, что подмножество M функций из алгебры L1(R) удовлетворяет,
R.
Лемма 1. Наименьший замкнутый идеал алгебры L1(R), содержащий множество M, удовлетворяющее условию Винера, совпадает со всей алгеброй L1(R).
□ Пусть I(M) — наименьший замкнутый идеал из алгебры L1(R), содержащий M, т.е. I(M) = {f * g,f E L1(R),g E M}. Покажем, что множество I(M) удовлетворяет
A1 = A2 E R.
M удовлетворяет условию Винера, найдется функция g E M такая, что р(А1) = р(А2). Тогда для функции ф E I(M) гада ф = f * g, где g — указанная функция из M, a f — произвольная функция из L1(R), выполняется условие <р(А1) = р(А2). Тогда из теоремы следует, что I(M) = L1(R). ■
Пусть X — комплексное банахово пространство, End X — банахова алгебра линейных ограниченных операторов (эндоморфизмов), действующих в X.
Рассматривается банахово пространство Cb = Cb(R,X) непрерывных и ограниченных на R функций со значени ями в X и норм ой ||x||^ = sup ||x(t)||, Cb,u = Cb,u(R,X) —
teR
замкнутое подпространство равномерно непрерывных функций из Cb(R, X), C0(R, X) = {x E Cb(R,X) : lim ||x(t)|| = 0} — подпространство исчезающих на бесконечности
функций из Cb(R,X). В банаховом
пространстве Cb(R,X) рассмотрим группу S : R ^ End Cb(R,X) операторов, действующих по правилу
(S (t)x)(r ) = x(t + т), x E Cb(R, X), t,T E R. (1)
Определение 1. Функция x Е Cb,u(R,X) н&зыв&ется медленно меняющейся на бесконечности, если S(a)x — x Е C0 (R,X) для любо го а Е R.
Множество медленно меняющихся на бесконечности функций обозначим символом Cs¡,^(R, X). Такие функции изучались в работах [Baskakov, Strukova, 2016; Баскаков, 2013; Баскаков, 2015; Баскаков, Калужина, 2012; Струкова, 2015; Струкова, 2016]. В частности, в [Баскаков, Калужина, 2012] установлено, что решения уравнения теплопроводности являются медленно меняющимися на бесконечности (по времени) функциями. В работах [Струков, Струкова, 2018а; Струков, Струкова, 20186; Струкова, 2017] изучались медленно меняющиеся и периодические на бесконечности функции из однородных пространств (например, пространств Степанова, Гельдера, Лебега). Примерами медленно меняющихся на бесконечности функций ЯВЛЯЮТСЯ I 1) xi(í) = sinln(1 + \t\), t Е R; 2) X2(t) = arctg t,t Е R;
3) любая непрерывно дифференцируемая функция x Е Cb(R) со свойством lim xx(t) = 0.
Наряду с C0(R,X) рассмотрим подпространство функций из Cb(R,X) вида C0(R,X; M) = {x Е Cb(R,X) : f * x Е C0(R,X) для всex f Е M}, где множество M С L (R) удовлетворяет условию Винера. Такие функции также будем
Н&ЗЫВ&ТЬ исчезающими на бесконечности.
Во всех рассматриваемых подпространствах из Cb(R,X) символ X опускается, если X = С (например, Co(R, C) = Co(R), Co(R, C; M) = Co(R; M)).
Пример 1. Рассмотрим множество функций {fa, а > 0} из алгебры L1(R) вида
í e-at, t > 0, fa(t) = \ 0, t < 0.
Их преобразования Фурье имеют вид fa(A) = а+х> A Е R, а > 0. Тогда для любого а > 0 множество Ma = {fa} удовлетворяет условию Винера. Следующие функции принадлежат пространству C0(R; Ma) :
1) xi(t) = eit2;
2) x2(t) = sin at2; 3) x3(t) = cos at2, t Е R, a > 0.
Выберем произвольное а > 0 и покажем, что x1 Е C0(R; Ma), т.е. что fa * x1 Е C0(
оо
Действительно, (fa * x1)(t) = f e a(t т)вгт dr = e*" e at f eiT dr.
0 ia
2
oo 0 oo
Вычислим последний интеграл отдельно: f егт dr = f егт dr + f егт dr =
_ia _ia 0
2 2
erf (t^ + + iyfi, Г'л'е символом erf обозначена функция ошибок,
z
,-т 2
задаваемая формулой erf (z) = ~i= f e T dr, z E C. Отсюда получаем, что
о
(fa * x1)(t) = e -aie¥ erf + ^f + i^) ,t E R, т.е. fa * xi E Со
Пример 2. Если в качестве множества M взять всю алгебру L1 (R), то множество
a
Co(R,X; M) будет иметь вид C0(R,X; M) = {x E Cb(R,X) : lim || Ц x(s + t)ds\\ = 0 равномерно относительно t E R}.
а^те a о
Покажем это, т.е. для любой функции x Е Cb(R,X) докажем эквивалентность следующих двух условий:
а
1) lim ||а Гx(s + t)ds\\ = 0 равномерно относительно t Е R;
а^те а 0
2) f * x Е C0(R,X) для любой функции f из алгебры L1(R). Рассмотрим множество M = {fa,a > 0} функций из алгебры L1(R) вида
f (t) = { а, t Е [0,Ч fa( ) \ 0, t Е [0, а],
каждая из которых имеет преобразование Фурье вида Д(А) = ^(1 — в-гХа), А Е R. Тогда условие 1) можно записать в виде f * x Е C0(R,X) для любо го а > 0.
Поскольку преобразования Фурье f№ функций f№, а > 0, разделяют точки из R, то множество M удовлетворяет условию Винера. Следовательно, из леммы вытекает, что f * x Е C0(R,X) для любой фун кции f из алгебры L1(R).
Если выполнено свойство 2), то да*x Е C0(R,X) для любой направленности (да, а > 0) из алгебры L1(R), в частности, для (f№,а > 0), т.е. выполнено свойство 1).
Определение 2. Далее символом C0 = C0(R,X) обозначим замкнутое (с нормой из Cb) подпространство функций из Cb(R,X), обладающих свойствами:
1) S (t)x Е C0 для любо го t Е R и любой фун кции x Е C0;
2) C0(R,X) С C0(R,X) С C0(R,X;M), где множество M С L1(R) удовлетворяет условию Винера;
3) e\x Е C0 для любо го А Е М, где e\(t) = eiXt, t Е R.
Каждое такое подпространство будем называть подпространством исчезающих на бесконечности функций.
Примерами таких подпространств являются определенные ни^ке подпространства C0int(R,X) и C0,p(M,X), р Е [1, го).
Функцию x из Cb,u(R,X) назовем интегрально исчезающей на бесконечности, если
а
lim — sup ||x(t + s)|| ds = 0. а teR J 0
Множество интегрально исчезающих на бесконечности функций будем обозначать символом C0,int = C0,int(R, X). Отметим, что C0,int(R,X) является замкнутым подпространством из Cb,u(R,X). В работе [Баскаков и др., 2018] были введены почти периоди~ ческие на бесконечности функции относительно подпространства C0(R,X), удовлетворяющего условию C0(R,X) С C0(R,X) С C0,int(R,X).
Рассмотрим также семейство замкнутых в Cb,u(R,X) подпространств
а
C0p = C0 p(R, X) = {x Е Cb u(R, X) : lim -sup / ||x(s + t)\\p ds = 0},
а teR J 0
гдер Е [1, го). Таким образ ом, C0 ,1(R,X) = C0 , int(R,X) — подпространство интегрально исчезающих на бесконечности функций.
Пусть C0(R,X) — одно из подпространств исчезающих на бесконечности функций, удовлетворяющее всем условиям определения 2.
Определение 3. Функцию х Е СЬ(М,Х) будем называть медленно меняющейся на бесконечности относительно подпространства C0(R,X), если S(а)х — x Е C0(R,X) для любого а Е R.
Множество медленно меняющихся на бесконечности функций относительно подпространства C0(R,X) обозначим символом Csi,x(R,X; C0). Непосредственно из определения следует, что любое пространство Cslx(R,X; C0) является замкнутым подпространством в C^R, X).
Рассмотрим множество Csl,x(M) = {х Е C^(R,X) : S(а)х — х Е C0(R,X;M) для любого а Е К}, где множество M С L^R) удовлетворяет условию Винера. Из определений 2 и 3 следует, что Cslx(R,X; C0) С Csl,x(M) для любого подпространства C0(R,X), удовлетворяющего условиям определения 2.
Далее нам потребуется определение ограниченной аппроксимативной единицы [Баскаков, Криштал, 2005] алгебры L1(R).
Определение 4. Ограниченная последовательность (en, n > 1) функций из алгебры L1(R) называется ограниченной аппроксимативной единицей (о.а.е.) алгебры L1 (К), если выполняются два свойства!
1) en(0) = 1 для всex n > 1;
2) lim en * f = / для всех f из L1(R).
Справедлива следующая
Теорема 2. Пусть C0(R,X) — одно из подпространств исчезающих на бесконечности функций, удовлетворяющее всем условиям определения 2. Тогда Cslx(R,X; C0) = Cslx^, X)•
□ Достаточно доказать равенство Csl,x(M) = Csl,x(R,X). Включение Csl,x(R,X) С Csl,x(M) очевидно. Покажем обратное включение. Пусть х Е Csl,x(M), тогда ф = S (а)х — х Е C0(R,X; M), т.е. f * ф Е C0(R,X) для вс ex / Е M. Пуст ь (en, n > 1) — произвольная о.а.е. алгебры L1(R). Из леммы следует, что
en * ф = en * (S(а)х — х) = S(a)(en * х) — (en * х) Е C0(R, X), откуда получаем, что y = en * х Е Csl,x(R, X), а, значит, их Е Csl,x(R, X). ■
2. Банаховы L1 ^-модули и спектр Берлинга.
Почти периодические векторы
В данном разделе будут приведены некоторые определения и факты из теории банаховых модулей, существенно используемые в дальнейшем.
Пусть X — комплексное банахово пространство и End X — банахова алгебра линейных ограниченных операторов^ действующих в X.
X
является невырожденным банаховым ^^^модулем [Баскаков, Криттттал, 2005; Хьюитт, Росс, 1975], структура которого ассоциирована с некоторым ограниченным изометрическим представлением T : R ^ End X. Это означает, что выполняются два свойства следующего предложения.!
Предположение 1. Для банахова ^^^модуля X выполняются следующие уело-
1) из равенства fx = 0, справедливого для любой функции f Е L1(R), следует, что вектор x Е X — нулевой (свойство невырожденности банахова модуля X);
2) для всех x Е X имеют место равенства (свойство ассоциированности модульной структуры на X с представлен нем T : R ^ End X):
T(t)(fx) = (T(t)f)x = f (T(t)x), t Е R, f Е L1(R).
Если T : R ^ End X — сильно непрерывное ограниченное представление, то формула
T(f )x = fx = J f (t)T(-t)xdt, f Е L1(R), x Е X (2)
R
определяет на X структуру банахова ^^^модуля, удовлетворяющего условиям предположения 2, причем эта модульная структура будет ассоциирована с представлени-T.
Замечание 1. С каждым невырожденным банаховым ^^^модулем X ассоциировано единственное представление T : R ^ End X [Баскаков, Криштал, 2005]. Чтобы это
( X, T) .
Теория банаховых ^^^модулей изложена в [Baskakov, Krishtal, 2016; Баскаков, 1978; Баскаков, 2004; Баскаков, 2016; Баскаков, Криттттал, 2005; Хьюитт, Росс, 1975].
Определение 5. Вектор из банахова ^^^модуля X назовем непрерывным (относительно представления T) или T-непрерывном, если функция фх : R ^ X, px(t) = T(t)x, t Е R, непрерывна в нуле (и, значит, непрерывна на R).
Совокупность T банахова L1(R)-мoдyля X обозначим
через Xc или (X,T)c. Оно образует замкнутый подмодуль из X, т. е. Xc — замкнутое линейное подпространство из X, инвариантное относительно всех операторов T(f), T(t), f Е L1 (R), t Е R.
Пространство Cb(R,X) является банаховым L1(R)-мoдyлeм с модульной структурой, определяемой равенствами (2), и эта структура ассоциирована с представлением (группой СДВИГОВ функций) S : R ^ End Cb(R,X).
Далее символом Y обозначим фактор-пространство Cfe(R,X)/C0(R,X), являющееся банаховым пространством с нормой ЦжЦ = inf ||у||, где S = x + C0 — класс эквива-
y€x+Co
лентности, содержащий функцию x Е Cb,u(R,X). В иространстве Y действует сильно непрерывная группа изометрий S : R ^ End Y вида S(t)x = S(t)x, t Е R, x Е Y-
Тогда структура банахова на Y [Баскаков, 2013; Баскаков, Криштал,
2005; Баскаков и др., 2018] определяется с помощью представления S и задается формулой fx = ff (т)S(-t)Sdr,f Е L1(R), S Е Y.
R
Определение 6. Спектром Берлине a вектора x Е X называется множество чисел Л^) R
Л(x) = {А0 Е R : fx = 0 для любой функции f Е L^R) с /(А0) = 0}.
Из определения следует, что Л(х) = К\{^,0 Е К ¡существует фун кция / Е Ь1( такая, что /(^0) = 0 и /х = 0}.
Справедливы следующие свойства спектра Берлинга векторов из банахова пространства X [Баскаков, 2004; Баскаков, Криштал, 2005]:
Лемма 2. Для любых / Е ^(К) и х Е X справедливы свойства!
1) из условия /х = 0 для любой функции / Е ^(К) следует, что х = 0 (т. е. Ь1(М)-модуль X невырожден);
2) Л(х) — замкнутое подмножество из К, причем Л(х) = 0 тогда и только тогда, когда х = 0;
3) Л(/х) С (вирр/) П Л(х);
4) /х = 0, еслн (вирр/) ПЛ(х) = 0, и /х = х, если множество Л(х) компактно и / = 1 в некоторой его окрестности;
5) Л(х) = {А0} — одноточечное множество тогда и только тогда, когда вектор х = 0 удовлетворяет равенствам Т(Ь)х = вгЛ°гх, Ь Е К, х собственный вектор банахова ^(К^модуля (X,Т);
6) если вектор х Е X имеет компактный спектр Берлинга Л(х) со спектральным
радиусом г(х) = тах |А|, то функция фх : К м X вида фх(Ь) = Т(Ь)х, Ь Е К, допус-леЛ(х)
кает расширение на С до целой функции экспоненциального типа, равного г(х) (т.е. = г(х)).
Определение 7. Вектор х0 из банахова ^(К^модуля (X,T) называется почти пери-
Т
валентных условии!
1) для любого £ > 0 множество П(х0,£) = {ш Е К : \\Т(ш)х0 — х0\\ < £}, называемое множеством £-периодов вектора х0, относительно плот но на К (множест во П С К называется относительно плотным на К, если существует число I > 0 такое, что любой промежуток [Ь,Ь + I], Ь Е К, содержит хотя бы одну точку множества П);
2) орбита {Т (Ь)х0,Ь Е К} вектор а х0 предкомпактна в X;
3) функция Ь м- ф(Ь) = Т(Ь)х0, Ь Е К, — непрерывная почти периодическая функция, т. е. ф Е АР (К, X) [Баскаков, 2004; Левитан, Жиков, 1978];
4) для любого £ > 0 существуют вещественные числа А1,...,А. и собственные векторы х^ ..., х. представления Т, соответствующие этим числам (т. е. Т(Ь)хк = вгЛк*хк,
N
Ь Е К, 1 < к < X) такие, что \\х0 — ^ хк\\ < £.
к=1
Множество АР(X) = АР(X, Т) почти периодических векторов из X образует замкнутое подпространство в X и является замкнутым подмодулем из банахова Ь1(К)-модуля X. Кроме того, имеет место включение АР(X) С Xc. Приводимые понятия и результаты содержатся в работах [Баскаков, 2004; Баскаков, 2013; Баскаков, 2015].
3. Почти периодические на бесконечности функции относительно подпространства С0(К,Х)
Сформулируем определения почти периодической на бесконечности функции и определения почти периодической на бесконечности функции относительно подпространства С0(К,Х) исчезающих на бесконечности функций, удовлетворяющего всем условиям определения 2.
Первое определение, используемое в данной работе, основано на понятии е-периода на бесконечности. Оно соответствует классическому определению Бора почти периодической функции (см. [Левитан, Жиков, 1978]).
Определение 8. Пусть е > 0. Число ш Е R+ нэзы веется е~ периодом функции x Е Cb(R,X) на бесконечности, если существует число а(е) > 0 такое, что sup ||x(t + ш) —
\t\>a(e)
x(t)|| < е.
Множество е-иериодов функции x Е Cb(R,X) на бесконечности обозначим символом (x, е) -
Определение 9. Множество П из R называется относительно плотным на R , если существует такое l > 0, что [t,t + l] П П = 0 для любо го t Е R.
Определение 10. Функция x из Cb)U(R,X) называется почти периодической на бесконечности, если для любого е > 0 множество е) ее е-иериодов относительно R
Из определений 8, 10 следует, что каждая непрерывная функция x Е Ch,u(R,X) почти периодическая по Бору (в обычном смысле; см. [Левитан, Жиков, 1978]) является почти периодической на бесконечности. Множество классических почти периодических функций обозначим символом AP(R,X), а множество почти периодических на бесконечности — символом AP^(R,X).
Приведем второе (эквивалентное; см. [Баскаков и др.. 2018]) определение почти периодической на бесконечности функции:
Определение 11. Функция x Е Cb,u(R,X) называется почти периодической на беско-
е > 0
А1,..., An и функции x1}..., xN из X) такие, что
N
sup ||x(t) — V xk(t)eiXk< е. teR k=1
В работе [Баскаков и др.. 2018] изучались почти периодические на бесконечности функции относительно подпространств C0(R,X) С C0(R,X) С C0)int(R,X). В этой работе были введены четыре определения таких функций и доказана их эквивалентность. Для C0(R, X) = C0(R, X) определения 10 и 11 совпадают с определениями 7 и 10 из [Баскаков и др.. 2018] соответственно.
В данной работе мы приведем аналогичные им определения почти периодической на бесконечности функции относительно более широкого набора подпространств C0(R, X), удовлетворяющих определению 2, докажем их эквивалентность и покажем, что все эти пространства совпадают с пространством AP^(R,X).
Определение 12. Пусть е > 0. Число ш Е R+ е периодом функции x Е
Cb(R,X) на бесконечности относительно подпространства C0(R,X), если существует функция x0 Е C0 такая, что ||S(ш^ — x — x0|| < е.
Множество функции x Е Cb(R,X) на бесконечности относительно под~
пространства C0(R,X) обозначим символом C0; е) Если C0 = C0(R,X), то опре-
деление 12 эквивалентно определению 8.
Определение 13. Функция х из C5(R,X) называется почти периодической на бесконечности относительно подпространства C0(R,X), если для любого е > 0 множество C0; е) ее е-периодов относительно плотно на R.
Множество почти периодических на бесконечности функций относительно подпространства C0(R,X) обозначим символом AP^(R,X; C0). Непосредственно из определения 3 следует, что если C0; е) = R для любо го е > 0, то х Е Csl;^(R,X; C0). Таким образом, имеет место включение Qsi,^(R,X; C0) С AP^(R,X; C0).
Определение 14. Множество функций M С Съ(М,Х) называется предкомпактным на бесконечности относительно подпространства C0(R,X) исчезающих на бесконечности функций, если для любого е > 0 существует конечное число функций bi,...,bN (е-сеть на бесконечноети) из M таких, что для любой функции х Е M существует функция bk, k Е {1,... , N}, и функция а£ Е C0(R,X), для которых имеет место оценка \\х - bk - а£\\ < е.
Определение 15. Функция х Е Cfe(R,X) называется почти периодической на бесконечности относительно подпространства C0(R,X) исчезающих на бесконечности функций, если множество ее сдвигов S(t)x, t Е R, является предкомпактным на бесконечности относительно подпространства C0(R,X).
N
Заметим, что функции вида x(t) = Y1 xk (t)eiXkt, xl,...,xN Е Csl;^(R,X; C0),
k=i
Xl,...,XN Е R, t Е R, (обобщенные тригонометрические полиномы) почти периодичны на бесконечности в смысле определения 15.
Определение 16. Функция х Е Cfe(R,X) называется почти периодической на бесконечности относительно подпространства C0(R,X) исчезающих на бесконечности
е > 0
Аь AN и функции х1,..., xN из пространства Qs¡,^(R,X; C0) такие, что
N
sup \\x(t) - V xk(t)eiXk< е. teR k=i
Определение 17. Функция х Е C¿(R,X) называется почти периодической на бесконечности относительно подпространства C0(R,X), если класс эквивалентности х = х + C0(R,X) Е X является почти периодическим вектором в X = Cb(R,X)/C0(R,X) относительно изометрического представления S : R ^ End X.
Почти периодические на бесконечности функции (относительно подпространства C0(R,X)) впервые были введены в рассмотрение в статьях [Баскаков, 2013; Баскаков, 2015]. При этом использовалось определение, аналогичное определению 17. Основные результаты этих статей были связаны с асимптотическим поведением ограниченных полугрупп операторов. В работах [Baskakov, Strukova. 2016; Струкова, 2015; Струко-ва, 2016] изучались периодические на бесконечности функции (относительно подпространства C0(R,X)). В [Струков, Струкова, 20186] изучались почти периодические на бесконечности функции из однородных пространств.
Теорема 3. Все определения почти периодической на бесконечности функции относительно подпространства C0(R,X) (определения 13, 15, 16, 17) эквивалентны.
□ Рассмотрим фактор-пространство X = Ch,u(R,X)/C0(R,X) и определенную вы— ше группу изометрий T = S : R ^ End X. Для этого представления определение 16 соответствует свойству 4) из определения 7. Поскольку все свойства из определения 7 эквивалентны, достаточно показать, что первые три его свойства эквивалентны определениям 13, 15 и 16 соответственно.
Пусть x Е Ch,u(R,X) и S— класс эквивалента ости в X, построенный по функции x. Тогда для любого е > 0 множество C0; е)U(—C0; е)) совпадает с множеством
П(Х, е) е xS
Эквивалентность определения 15 и свойства 2) определения 7 непосредственно еле-дует из определения фактор-модуля X = Ch,u(R,X)/C0(R,X).
Докажем эквивалентность аппроксимационного определения 16 и свойства 3) из определения 7. Для доказательства достаточно установить, что спектр Берлинга Л(у) класса эквивалентности S Е X,y = y + C0, является одноточечным множеством (Л(Х) = {А0}) тогда и только тогда, когда функция y Е Cbu(R,X) представима в виде y(t) = y0(t)eiXot, t Е R, где y0 Е e^(R, X; 60).
Если Л(Х) = {А0}, то S?(t)S = eiXoty для любо го t Е R (см. свойство 5) из леммы ). Следовательно, Л(у0) = {0}, где y0(s) = y(s)e-iXos, s Е R, и поэтому S(t)y0 = So Для любого t Е R. Таким образом, S(t)y0 — y0 Е C0(R,X), t Е R, т. e. y0 Е Csl)^(R,X; C0).
И обратно: если y(t) = y0(t)eiXot, t Е R, где y0 Е C0(R,X)^o S(t)y = eiXotS, t Е R, и поэтому в силу свойства 5) из леммы получим, что Л(г/) = {А0}. ■
Теорема 4. Пусть C0(R,X) — одно из подпространств исчезающих на бесконечности функций, удовлетворяющее всем условиям определения 2. Тогда AP^(R,X; C0) =
AP^(R,X).
□
нечности функции относительно подпространства C0(R,X) для доказательства можно взять любое из них. Пусть функция x Е Cbu(R,X) удовлетворяет определению 16, т. е. x Е AP^(R,X; C0). Тогда в силу теоремы она удовлетворяет и определению 11, т. е. x Е AP^(R,X). ■
4. Почти периодические на бесконечности решения дифференциальных уравнений
Пусть A : D(A) С X ^ X — линейный ограниченный оператор с областью определения D(A), являющийся генератором сильно непрерывной полугруппы операторов U : R+ ^ End X. Рассматривается дифференциальное уравнение
x = Ax + ■ф, (3)
где ф Е Cb(R,X). Классическим решением дифференциального уравнения (3) ется дифференцируемая функция x : R ^ X такая, что x(t) Е D(A) для любо го t Е R,
t Е R.
Сформулируем два определения слабого решения (mild solution) дифференциального уравнения (3), где ф Е Cb(R,X).
Определение 18. Непрерывная функция x : R ^ X н аз ы в ается слабым решением
t
дифференциального уравнения (3), если функция г : R ^ X, z(t) = f x(s) ds, t E R,
0
обладает следующими свойствами:
1) z(t) E D(A) для любоro t E R;
t
2) x(t) - x(0) = Az(t) + / ds, t E R.
0
Определение 19. Непрерывная функция x : R ^ X н аз ы в ается слабым, решением дифференциального уравнения (3), если для всех s,t E R, s < t,, имеют место равенства
t
x(t) = U(t - s)x(s) + j U(t - т)ф(т) dr. (4)
s
Оба определения слабого решения уравнения (3) эквивалентны [Arendt и др. 20111. В банаховом пространстве Cb,u = Cb>u(R,X) рассмотрим линейный оператор
d
L = - - A : D(L) С Cb>u ^ Cb,u. (5)
Определение 20. Функцию x E Cb,u(R,X) отнесем к области определения D(L) оператора L, если существует функция ф E Cb,u(R, X) такая, что для всех s < t из R имеют место равенства (5).
Для x E D(L) мы положим Lx = ф, если x и ф удовлетворяют равенствам (5). Такое определение оператора L использовалось в работах [Baskakov, Krishtal, 2016; Баскаков, 1978; Баскаков, 2013].
Далее символом S(f) : Cb,u(R,X) ^ Cb,u(R,X) обозначим оператор свертки
S(f)x = f * x
функции x E Cb,u с функцией f из алгебры L1(
В [Baskakov. Krishtal. 2016] установлена следующая теорема о перестановочности операторов S (f), f E L^R), с оператор ом L.
Теорема 5. Для любой функции f из алгебры L1(R) и любой функции x из D(L) функция S(f)x принадлежит D(L) и имеет место равенство LS(f)x = S(f)Lx.
В дальнейшем будет использоваться следующая
Теорема 6. (Баскаков и др., 2018) Пусть функция ф из уравнения (3) принадлежит пространству C0(R,X) и множество a(A) П (iR) не имеет предельных точек на iR. Тогда каждое ограниченное слабое решение x E Cb,u(R,X) дифференциального уравнения (3) принадлежит AP^(R, X) и для люб ого е > 0 можно указать ч исла iA1,..., i\m E a (A) П (iR) и функции x1,. . . ,xm из Csi,^(R, X) такие, что
m
sup ||x(t) - V xk(t)eiXk4|| < е, ieR k=i
m
причем x(t) = Y1 xk (t)eiXk t E R, есл и a (A) П (iR) = {iA1,..., iAm} — конечное множе-k=1
Следствие 1 (Баскаков и др., 2018). Пусть X — конечномерное банахово пространство, A — оператор из End X и ф Е C0(R,X).Тогда каждое ограниченное решение x : R ^ X дифференциального уравнения (3) принадлежит AP^(R,X) и допускает представление
вида
m
x(t) = Xk(t)eiXkxk Е Csi,^(R,X), t Е R, k=l
если a(A) П (¿R) = {¿Ai,..., i\m}.
На основе указанных выше результатов была получена следующая
X A End X
и ф Е C0(R,X; M).Тогда для любого ограниченного решения x : R ^ X дифференциального уравнения (3) и любой функции f Е M функция y = f * x принадлежит AP^(R,X) и допускает представление вида
m
y(t) = ^2Ук(t)eiXkyk Е Csl^(R,X), t Е R, k=i
если a(A) П (¿R) = {¿Ai,..., iAm}.
□ Пусть x Е Cb,M(R,X) — ограниченное решение дифференциального уравнения (3) с функцией ф Е C0(R,X; M). Тогда в силу теоремы для любой функции f Е M справедливо равенство
f * x = A(f * x) + f * ф.
Из условия ф Е C0(R,X; M) следует, что функция ф = f * ф принадлежит C0(R,X). Тогда из следствия 1 вытекает, что при условии a(A) П (¿R) = {¿Ai,... ,iAm} функция y = f * x принадлежит пространству AP^(R,X). ■ Из теоремы и леммы следует
XA EndX и ф Е C0(R, X; M).Тогда каждое ограниченное решение x : R ^ X дифференциального уравнения (3) принадлежит пространству AP^(R,X) и допускает представление вида
m
x(t) = ^2 xk(t)eiXkxk Е Csi,^(R,X), t Е R, k=i
если a(A) П (¿R) = {¿Ai,..., iAm}.
□ Пусть x Е Cb,u(R,X) — ограниченное решение дифференциального уравнения (3) с функцией ф Е C0(R, X; M). Тогда в силу леммы для любой функции f Е M функция y = f * x принадлежит AP^RX). Пусть (en, n Е N) — произвольная о.а.е. алгебры Li(R). Из леммы следует, что en * x Е AP^(R,X), а, значит, и x Е AP^(R,X). ■
Аналогичным образом [Баскаков и др.. 2018] доказывается следующая
ф
C0(R,X; M) и множество a(A) П (iR) не имеет предельных точек на ¿R. Тогда каждое ограниченное слабое x Е Cb,u(R,X) дифференциального уравнения (3) принад-
лежит AP^(R, X) и для люб ого е > 0 можно указать ч исла ¿Ai,..., ¿Am Е a(A) П (¿R) и функции xi,... ,xm из Csl,^(R, X) такие, что
m
sup ||x(t) -^2 xk(t)eiXki < е,
причем x(t) = xk(t)eiXkt Е R, если a(A) П (¿R) = {¿Ai,..., ¿Am} — конечное множе-k=i
Непосредственно из определения 2 следует, что теоремы и остаются справедливыми, если функция ф принадлежит любому из подпространств C0(R,X), удовлетворяющих условиям определения 2.
Работа первого автора выполнена при финансовой поддержке РФФИ в рамках научного проекта № 18-31-00097, работа второго автора выполнена при финансовой поддержке РФФИ в рамках научного проекта № 19-01-00732 А.
The first author was supported by RFBR according to the research project no. 18-31-00097 and the second author was supported by RFBR according to the research project no. 19-01-00732 A.
Список литературы References
1. Баскаков AT. 1978. Спектральные критерии почти периодичности решений функциональных уравнений. Матем. заметки. 24(2) : 195-206.
Baskakov A. G. 1978. Spectral tests for the almost periodicity of the solutions of functional equations. Math. Notes. 24(1-2) : 606-612. (in Russian).
2. Баскаков AT. 2004. Теория представлений банаховых алгебр, абелевых групп pi полугрупп в спектральном анализе линейных операторов. СМФН. 9 : 3-151.
Baskakov A.G. 2006. Theory of representations of Banach algebras, and abelian groups and semigroups in the spectral analysis of linear operators. ,J. Math. Sci. (N. Y.) 137(4) : 48855036.
3. Баскаков AT. 2013. Исследование линейных дифференциальных уравнений методами спектральной теории разностных операторов pi линейных отношений. УМН. 68(1) : 77128.
Baskakov A.G. 2013. Analysis of linear differential equations by methods of the spectral theory of difference operators and linear relations. Russian Mathematical Surveys. 68(1) : 69-116.
4. Баскаков AT. 2015. Гармонический pi спектральный анализ операторов с ограниченными степенями pi ограниченных полугрупп операторов па банаховом пространстве. Матем. заметки. 97(2) : 174-190.
Baskakov A.G. 2015. Harmonic and spectral analysis of power bounded operators and bounded semigroups of operators on Banach spaces. Math. Notes. 97(2) : 164-178.
5. Баскаков AT. 2016. Гармонический ешсшиз в банаховых модулях pi спектральная теория линейных операторов. Воронеж: Изд. дом ВГУ, 152.
Baskakov A.G. 2016. Harmonic analysis in Banach modules and linear operators spectral theory. Voronezh: VSU, 152.
6. Баскаков AT., Калужина И.С. 2012. Теорема Берлинга для функций с существенным спектром pi3 однородных пространств pi стабилизация решений параболических уравнений. Матем. заметки. 92(5) : 643-661.
Baskakov A.G., Kaluzhina N.S. 2012. Beurling's Theorem for Functions with Essential Spectrum from Homogeneous Spaces and Stabilization of Solutions of Parabolic Equations. Math. Notes. 92(5) : 587-605.
7. Баскаков А.Г., Крштттал И.А. 2005. Гармонический анализ каузальных операторов pi их спектральные свойства. Изв. РАН. Серия матем. 69(3) : 3-54.
Baskakov A.G., Krishtal I.А. 2005. Harmonic analysis of causal operators and their spectral properties. Izv. Math. 69(3) : 439-486.
8. Баскаков А.Г., Струкова И.И., Триптитта И.А. 2018. Почти периодические па бесконечности решения дифференциальных уравнений с неограниченными операторными коэффициентами. Сиб. матем. жури. 59(2) : 293-308.
Baskakov A.G., Strukova I.I., Trishina I.А. 2018. Solutions almost periodic at infinity to differential equations with unbounded operator coefficients. Siberian Math. ,J. 59(2) : 231— 242.
9. Гельфаттд И.М., Райков Д.А., Шилов Г.Е. 1946. Коммутативные нормированные кольца. УМН. 1(2) : 48-146.
G elf and I.M., Raikov D.A., Shilov G.E. 1946. Commutative Normed Rings. UMN. 1(2) : 48-146. (in Russian).
10. Левитан Б.М, Жнков В.В. 1978. Почти-периодические функции pi дифференциальные уравнения. М.: МГУ, 206.
Levitan В.М., Zhikov V.V. 1978. Almost, periodic functions and differential equations. Cambridge University Press, 224.
11. Струков В.E., Струкова И.И. 2018 а. О медленно меняющихся pi периодических на беско-нечностр! функциях pi3 однородных пространств pi гармоничных распределениях. Вести. ВГУ. Серртя: Физика. Математика. № 4 : 195-205.
Strukov V. Е., Strukova I. I. 2018 a. About, slowly varying and periodic at. infinity functions from homogeneous spaces and harmonic distributions. Vest.nik VSU. Ser. Physica. Mat.emat.ika. № 4 : 195-205. (in Russian).
12. Струков В.E., Струкова И.И. 2018 б. О четырех определениях почтрт периодической на бесконечности функции из однородного пространства. Научные ведомости Белгородского государственного университета. Сер. Математика. Физика. 50(3) : 254-264. Strukov V.E., Strukova I.I. 2018 b. About, four definitions of almost, periodic at. infinity functions from homogeneous space. Nauchnye vedomost.i Belgorodskogo gosudarst.vennogo universit.et.a. 50(3) : 254-264. (in Russian).
13. Струкова И.И. 2015. Спектры алгебр медленно меняющихся pi периодических на беско-нечностр! функций pi банаховы пределы. Вести. ВГУ. Серия: Физика. Математика. № 3 : 161-165.
Strukova I.I. 2015. Spectra of algebras of slowly varying and periodic at. infinity functions and Banach limits. Vest.nik VSU. Ser. Physica. Mat.emat.ika. № 3 : 161-165. (in Russian).
14. Струкова И.И. 2016. О теореме Випера для периодических па бесконечности функций. Сиб. матем. жури. 57(1) : 186-198.
Strukova I.I. 2016. About. Wiener theorem for periodic at. infinity functions. Siberian Math. J. 57(1) : 186-198. (in Russian).
15. Струкова И.И. 2017. Гармонический анализ периодических па бесконечности функций в однородных пространствах. Вестник ВолГУ. Сер. 1. Математика. Физика. № 2(39) : 29-38.
Strukova I.I. 2017. Harmonic analysis of periodic at. infinity functions in homogeneous spaces. Vest.nik VolGU. Ser. 1. Mat.emat.ika. Fizika. № 2(39) : 29-38. (in Russian).
16. Хьтоитт Э., Росс К.А. 1975. Абстрактный гармонический анализ. Т. 2. М.: Мир, 899. Hewitt Е., Ross К.А. 1963. Abstract harmonic analysis. Vol. 2. Springer, 771.
17. Arendt. W., Batty C.J.K., Hieber M., Neubrander F. 2011. Vector-valued Laplace transforms and Cauchy problems. Birkhauser, Monographs in Mathematics. Vol. 96. 553 p.
Arendt W., Batty C.J.K., Hieber M., Neubrander F. 2011. Vector-valued Laplace transforms and Cauchy problems. Birkhauser, Monographs in Mathematics. Vol. 96. 553 p.
18. Baskakov A.G., Krishtal I.A. 2016. Spectral Analysis of Abstract Parabolic Operators in Homogeneous Function Spaces. Mediterranean Journal of Mathematics. 13(5) : 2443-2462. Baskakov A.G., Krishtal I.A. 2016. Spectral Analysis of Abstract Parabolic Operators in Homogeneous Function Spaces. Mediterranean Journal of Mathematics. 13(5) : 2443-2462.
19. Baskakov A., St.rukova I. 2016. Harmonic analysis of functions periodic at infinity. Eurasian Math. J. 7(4) : 9-29.
Baskakov A., St.rukova I. 2016. Harmonic analysis of functions periodic at infinity. Eurasian Math. J. 7(4) : 9-29.
Ссылка для цитирования статьи Reference to article
Струков В.E., Струкова И.И. 2019. Теорема Випера в исследовании почта периодических па бесконечности функций. Научные ведомости Белгородского государственного университета. Серия: Математика. Физика. 51 (3): 387-401. Doi: 10.18413/2075-4639-2019-51-3-387-401.
St.rukov V. Е., St.rukova I.I. 2019. Wiener theorem for studying almost, periodic at. infinity functions. Belgorod State University Scientific Bulletin. Mathematics. Physics. 51 (3): 387-401 (in Russian). Doi: 10.18413/2075-4639-2019-51-3-387-401.
