Научная статья на тему 'Периодические на бесконечности функции ограниченной вариации'

Периодические на бесконечности функции ограниченной вариации Текст научной статьи по специальности «Математика»

CC BY
270
22
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
БАНАХОВО ПРОСТРАНСТВО / ФУНКЦИЯ ОГРАНИЧЕННОЙ ВАРИАЦИИ / МЕДЛЕННО МЕНЯЮЩАЯСЯ НАБЕСКОНЕЧНОСТИ ФУНКЦИЯ / ПЕРИОДИЧЕСКАЯ НА БЕСКОНЕЧНОСТИ ФУНКЦИЯ / ПЕРИОДИЧЕСКИЙ ВЕКТОР / 𝐿1(ℝ)-МОДУЛЬ / ТЕОРЕМА ВИНЕРА / РЯД ФУРЬЕ / BANACH SPACE / FUNCTION OF BOUNDED VARIATION / SLOWLY VARYING AT INFINITY FUNCTION / PERIODIC ATINFINITY FUNCTION / PERIODIC VECTOR / 𝐿1(ℝ)-MODULE / WIENER''S THEOREM / FOURIER SERIES

Аннотация научной статьи по математике, автор научной работы — Струкова И. И.

В статье рассматриваются функции ограниченной вариации, определенные на ℝ со значениями в комплексном банаховом пространстве. В этом классе функций вводятся понятия медленноменяющихся и периодических на бесконечности функций. Основные результаты статьи связаны с гармоническим анализом периодических на бесконечности функций ограниченной вариации. Вводится понятие обобщенного ряда Фурье, коэффициенты которого являются медленно меняющимися на бесконечности функциями (не обязательно постоянными). Получен аналог теоремы Винера об абсолютно сходящихся рядах Фурье для периодических на бесконечности функций ограниченной вариации. Также получен критерий представимости периодической на бесконечности функции в виде суммы чисто периодической и исчезающей на бесконечности функций. Результаты статьи получены с существенным использованием спектральной теории изометрических представлений.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

We consider functions of bounded variation defined on ℝ with their values in a complex Banachspace. We introduce the notions of slowly varying and periodic at infinity functions with bounded variation. The mainresults of the article are connected with harmonic analysis of periodic at infinity functions with bounded variation. For this class of functions we introduce the notion of a generalized Fourier series; the Fourier coefficients in this case may not be constants, they are functions that are slowly varying at infinity. We derive the analog of Wiener's theorem about absolutely convergent Fourier series for periodic at infinity functions with bounded variation. We also establish a criterion for representation of periodic at infinity functions as the sum of periodic functions and functions converging to zero. Basic results are derived with the use of isometric representations spectral theory.

Текст научной работы на тему «Периодические на бесконечности функции ограниченной вариации»

УДК 517-9

ПЕРИОДИЧЕСКИЕ НА БЕСКОНЕЧНОСТИ ФУНКЦИИ ОГРАНИЧЕННОЙ ВАРИАЦИИ

PERIODIC AT INFINITY FUNCTIONS OF BOUNDED VARIATION

И. И. Струкова 1.1. Strukova

Воронежский государственный университет, Россия, 394006, г.Воронеж, Университетская пл., 1

Voronezh State University, 1 Universitetskaya sq., Voronezh, 394006, Russia

E-mail: [email protected]

Аннотация. В статье рассматриваются функции ограниченной вариации, определенные на R со значениями в комплексном банаховом пространстве. В этом классе функций вводятся понятия медленно меняющихся и периодических на бесконечности функций. Основные результаты статьи связаны с гармоническим анализом периодических на бесконечности функций ограниченной вариации. Вводится понятие обобщенного ряда Фурье, коэффициенты которого являются медленно меняющимися на бесконечности функциями (не обязательно постоянными). Получен аналог теоремы Винера об абсолютно сходящихся рядах Фурье для периодических на бесконечности функций ограниченной вариации. Также получен критерий представимости периодической на бесконечности функции в виде суммы чисто периодической и исчезающей на бесконечности функций. Результаты статьи получены с существенным использованием спектральной теории изометрических представлений.

Resume. We consider functions of bounded variation defined on R with their values in a complex Banach space. We introduce the notions of slowly varying and periodic at infinity functions with bounded variation. The main results of the article are connected with harmonic analysis of periodic at infinity functions with bounded variation. For this class of functions we introduce the notion of a generalized Fourier series; the Fourier coefficients in this case may not be constants, they are functions that are slowly varying at infinity. We derive the analog of Wiener's theorem about absolutely convergent Fourier series for periodic at infinity functions with bounded variation. We also establish a criterion for representation of periodic at infinity functions as the sum of periodic functions and functions converging to zero. Basic results are derived with the use of isometric representations spectral theory.

Ключевые слова: банахово пространство, функция ограниченной вариации, медленно меняющаяся на бесконечности функция, периодическая на бесконечности функция, периодический вектор, L1(R)-модуль, теорема Винера, ряд Фурье.

Key words: Banach space, function of bounded variation, slowly varying at infinity function, periodic at infinity function, periodic vector, L1(R)-module, Wiener's theorem, Fourier series.

Основные результаты

Пусть X — комплексное банахово пространство, End X — банахова алгебра линейных ограниченных операторов (эндоморфизмов), действующих в X. Пусть J — один из промежутков R+ = [0, га), R = (-га, га).

Рассмотрим функцию х: [а,Ъ] ^ X и разбиение т: а = t0 < t1 <... < tn = b отрезка [а,Ъ]. Вариацией функции х по разбиению т называется величина Vab(x, т) = У x(tk+1) - x(tk) II*. Полной вариацией функции х называется величина Vj^(x) = supVj'(x,T). Функция х называется

г

функцией ограниченной вариации, если Vab(x) < ю. Класс функций ограниченной вариации на отрезке [а, Ь] обозначим символом V([a, b],X).

Символом V(J,X) обозначим банахово пространство, состоящее из функций x:j^X,

удовлетворяющих условию sup7tt+1(x) < ю, где за норму функции х принимается величина

tej

II х ||v= sup7tt+1(x)+y х У^, где У х |L= sup || х ||х. Если X = С, то вместо V(J,X) будем писать просто

tej tej

V(J).

Пусть L1 (l) - банахова алгебра определенных на l измеримых по Лебегу и суммируемых комплекснозначных функций со сверткой функций в качестве умножения (f * g)(t) = / f(t — т)д(т)йт, tel, f,g e L1(R).

В V(J,X) определена и ограничена полугруппа S(t), tej, операторов сдвигов функций

(S(t)x)(s) = x(s + t), s,tej, x e V(J,X). (1)

Отметим, что S — группа операторов, если J = l.

Через VC(J,X) обозначим замкнутое подпространство из V(J, X) вида {х e V(J, X) : функция t ^ S(t)x : J^V(J,X) непрерывна}.

Через V0(J,X) обозначим наименьшее замкнутое подпространство из V(J,X), содержащее все функции фх, х e V(J, X), ф e Cb (J, X), supp ф - компакт. Такие функции будем называть исчезающими на бесконечности.

Определение 1. Функция xeVc(J,X) называется медленно меняющейся на бесконечности, если (S(t)x — х) e V0(J,X) для любого tej.

Например, медленно меняющейся на бесконечности является функция х e VC(J,X) вида x(t) = с + x0(t), tej, где с - вектор из банахова пространства X и х0 - любая функция из V0(J,X).

В теории дифференциальных уравнений (см. [1, р. 3.6.3]) использовалось эквивалентное (если рассматривать функции из Cbu(},Х)) определение, при этом функции назывались стационарными на бесконечности. Медленно меняющиеся функции находят свое применение в теории тригонометрических рядов (см. [2]), в теории вероятности [3], а также в теории целых функций [4]. Они составляют часть класса регулярно растущих функций, которые впервые в 1925 году ввел в рассмотрение Р. Шмидт [5].

Определение 2. Функция xeVc(J,X) называется периодической на бесконечности периода ш > 0 (ш-периодической на бесконечности), если (Б(ш)х — х) e V0(J,X).

Таким образом, каждая ш -периодическая на бесконечности функция х является решением разностного уравнения вида x(t + ш) — x(t) = y(t), tej, где yeV0(J,X), а каждая медленно меняющаяся на бесконечности функция является периодической на бесконечности любого периода. В [6 - 8] получены аналоги теоремы Винера об абсолютно сходящихся рядах Фурье для непрерывных периодических на бесконечности функций с абсолютно сходящимися рядами Фурье и с рядами Фурье, суммируемыми с весом. В работах [9, 10] изучаются вопросы гармонического анализа непрерывных периодических на бесконечности функций нескольких переменных. В [11] описан спектр алгебры непрерывных периодических на бесконечности функций, определенных на полуоси.

Множества медленно меняющихся и периодических на бесконечности функций из VC(J,X) обозначим через Vsi^(J,X) и V^(J,X) соответственно. Отметим,что они оба образуют

линейные замкнутые подпространства банахова пространства VC(J,X). Таким образом, имеют место включения VsijM(J,/) с с VC(J,X), при этом все указанные пространства

инвариантны относительно операторов S(t), t Е j.

Символом ¥ы Q, X) обозначим подпространство банахова пространства ¥с Q, X), состоящее из ш -периодических функций, т.е. функций хЕ¥с 0, X), для которых выполнено условие Б(ш)х = х.

Примерами периодических на бесконечности функций из Vc0, X) являются:

1) предельно периодические функции, т.е. функции x:j^X, представимые в виде х = у + у0, где у Е Уша,Х), у0 Е V0Q,X);

2) функция х Е VC(R,X) такая, что она совпадает с х Е ¥Ш(Е,Х) на R+ и lim У x(t) ||х= 0;

3) любая функция из Vsi^(J,X);

,2пк

4) любая функция х Е VC(J,X), представимая в виде х = Yk=-n xk(t)el ш , t Е j, п Е М, где Е VS^(J,X), кЕЪ.

Далее введем определение рядов Фурье функций из V^(J, X).

Определение 3. Каноническим рядом Фурье функции х Е V^0,X) будем называть ряд

вида

.2ПП

Ъпет. xn(t)eL "\ЬЕЪ где функции xn:j^X, п ЕЪ, определяются формулами

xn(t) = !ff x(t + T)e-l—(t+r)dT, t E j, n E Ъ, (2)

и называются каноническими коэффициентами Фурье функции х.

1 ш ■2пк

Ясно, что если х Е СШ($,Х), то xk(t) = хк = х(т)е lardr, tEj, кЕЪ, - обычные коэффициенты Фурье непрерывной периодической функции х.

Определение 4. Обобщенным рядом Фурье функции х Е VMM0,X) называется любой ряд вида

ЪПЕЖ yn(t)el tEj, (3)

где уп, п ЕЪ, - такие функции из Vc (J, X), для которых уп — хпЕ V0 (J, X), п ЕЪ, а функции хп, п ЕЪ, определяются формулой (2).

Лемма 1. Канонические коэффициенты Фурье хп, п ЕЪ, (определенные формулой (2)) являются медленно меняющимися на бесконечности функциями, т.е. хп Е Wsi^(j,X), п ЕЪ.

Утверждение леммы следует из равенств xn(t + ш) — xn(t) = 1ff (S(w)x — x)(t +

T)e-l~(t+T)dT, tEj, пЕЪ.

Непосредственно из определения 4 и леммы 1 следует, что коэффициенты любого обобщенного ряда Фурье обладают свойством: уп Е V^O^), пЕЪ.

Определение 5. Будем говорить, что обобщенный ряд Фурье (3) периодической на бесконечности функции х Е VM M(J,X) сходится к х относительно подпространства V0(J,X), если существует последовательность функций (х°) из V0 (J, X) такая, что

lim || х — Т11^=-п ykek + х° ||v= 0,

■ 2nk

где функции ек, кЕЪ, задаются формулами ek(t) = el v , t Е j.

Важно отметить, что данное определение корректно, т.е. сходимость не зависит от выбора обобщенного ряда Фурье функции х. Это объясняется тем, что у„ — х„ 6 ¥0 0, X), где х„, пб2, - канонические коэффициенты Фурье функции х, определяемые по формуле (2). Символом || у„ ||~, п 6 Ъ, обозначим величину М У у„ — х0 ||у.

Хо6¥о(ЛД)

Определение 6. Будем говорить, что функция х6¥шк,0,Х) имеет абсолютно сходящийся ряд Фурье, если существует обобщенный ряд Фурье (з) этой функции такой, что

£п62 || Уп ||~<

Отметим также, что если функция х имеет абсолютно сходящийся ряд Фурье, то ее канонический ряд Фурье сходится к х относительно подпространства ¥О0,Х). Однако канонический ряд Фурье функции х может не быть абсолютно сходящимся, хотя функция имеет абсолютно сходящийся ряд Фурье в смысле определения 6.

Если X - банахова алгебра, то функции из ¥ШК,0,Х), имеющие абсолютно сходящийся ряд Фурье, образуют замкнутую подалгебру в ¥ШК,0,Х), обозначаемую символом (символом если X = С).

Одним из основных результатов статьи является теорема 2, в которой следующая знаменитая теорема Н. Винера распространяется на функции из

Теорема 1. [12]. Если функция / 6 обладает свойством /(£) Ф 0 для всех £ 6 Е,

то функция 1// также имеет абсолютно сходящийся ряд Фурье.

Пусть X - банахова алгебра с единицей е.

Определение 7. Функцию х 6 ¥(1, X) назовем обратимой относительно подпространства ¥О0,Х) (или обратимой на бесконечности), если существует функция у6¥0,Х) такая, что ху — е,ух — е 6 ¥О0,Х), где е(£) = е, £ 6 Функцию у будем называть обратной к х относительно подпространства ¥О0,Х).

Если у1,у2 - обратные к х 6 ¥0,Х) относительно подпространства ¥О0,Х) функции, то

У1—У2 6¥о0,Х).

Основным результатом данной работы является следующая

Теорема 2. Пусть X - банахова алгебра с единицей. Если функция а6¥шк,0,Х) обратима относительно подпространства ¥О0,Х) и имеет абсолютно сходящийся ряд Фурье, то любая обратная к ней относительно подпространства ¥О0,Х) функция имеет абсолютно сходящийся ряд Фурье.

Рассмотрим последовательность операторов из ¥С0,Х) следующего вида

^ = N > 1, причем || ^ ||= 1, N > 1.

В статье получен критерий представимости периодической на бесконечности функции из пространства ¥с 0, X) в виде суммы периодической и исчезающей на бесконечности функций.

Теорема 3. Для того, чтобы функция х 6 ¥Ш^0,Х) была представима в виде х = х1 + х0, где х16¥ш0,Х), хО6¥О0,Х), необходимо и достаточно, чтобы в ¥С0,Х) существовал /¿шЛ^х.

О гармоническом анализе периодических векторов и операторов

Пусть X - комплексное банахово пространство и X - банахова алгебра линейных ограниченных операторов, действующих в X. Будем считать, что X является невырожденным банаховым /^(Е)-модулем (см. [13, 14]), структура которого ассоциирована с некоторым ограниченным изометрическим представлением Г: Е ^ X. Это означает, что выполняются два свойства следующего предположения:

Предположение 1. Для банахова Ь1(Е)-модуля X выполняются следующие условия:

1. из равенства /х = 0, справедливого для любой функции / 6 ¿1(Е), следует, что вектор х 6 X - нулевой (свойство невырожденности банахова модуля X);

2. для всех /6/,1(Е), х 6 X, £ 6 Е, имеют место равенства (свойство ассоциированности модульной структуры на X с представлением Г: Е ^ X):

П0(А) = (П0/)* = /(П0*).

Если Г: Е ^ X - сильно непрерывное ограниченное представление, то формула Г(/)х = /х = /(£)Г(-/ 6 /1 (Е), х 6 X, определяет на X структуру банахова ¿1(Е)-модуля, удовлетворяющего условиям предположения 1, причем эта модульная структура ассоциирована с представлением Г.

Замечание 1. С каждым невырожденным банаховым Ь1(Е)-модулем X ассоциировано единственное представление Г: Е ^ X (см. [13-18]).

Определение 8. Вектор из банахова /^(Е)-модуля X назовем Т-непрерывным, если функция Е ^ X, = Г(£)х, ^6 1, непрерывна в нуле (и, значит, непрерывна на Е).

Совокупность всех Г-непрерывных векторов из банахова ¿1(Е)-модуля X обозначим через Хс. Непосредственно из последнего определения следует, что Хс - замкнутый подмодуль из X, причем представление Т на нем сильно непрерывно.

Банахово пространство ¥(Е,Х) наделяется структурой банахова ¿1(Е) —модуля (см. [14, 15]) с помощью операции свертки

(/ * *)(0 = /(т)(5(—т)х)(^т = /(т)х(£ — т)^т = /(£ — т)х(т)Дт, I 6 Е, (4)

где / 6 ¿1(Е), х 6 ¥(Е,Х). Однако, формула (4) не позволяет корректно задать структуру ¿1(Е) —модуля в ¥(Е+,Х). Тем не менее, такой структурой наделяется фактор-пространство ¥0,Х)/¥о0,Х).

Далее через /: Е ^ С обозначается преобразование Фурье

/(Л) = 4 /(Ое-шЛ, Я 6 Е,

функции / 6 ¿1(Е).

Определение 9. Спектром Бёрлинга вектора х 6 X называется множество чисел Л (х) из Е вида Л(х) = (А0 6 Е : /х Ф 0 для любой функции / 6 ¿1(Е) с /(Л0) Ф 0 }.

Из определения следует, что Л(х) = Е\{и0 6 Е : существует функция / 6 ¿1(Е) такая, что /(и0) Ф 0 и /х = 0}.

Справедливы следующие свойства спектра Берлинга векторов из банахова пространства X (см. [13, 14, 19]):

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Лемма 2. Для любых / 6 ¿1(Е) и х 6 X справедливы свойства:

1) из условия fx = 0 для любой функции f Е L1(1) следует, что х = 0 (т.е. Ь1(1)-модуль X невырожден);

2) Л(х) — замкнутое подмножество из 1, причем Л(х) = 0 тогда и только тогда, когда

х = 0;

3)A(fx) с ( suppf) пЛ(х);

4) fx = 0, если ( suppf) пЛ(х) = 0, и fx = х, если множество Л(х) компактно и f = 1 в некоторой его окрестности;

5) Л(х) = {А0} — одноточечное множество тогда и только тогда, когда вектор х Ф 0 удовлетворяет равенствам T(t)x = exp(iA0t)x, iE 1;

6) функция t ^ T(t)x: 1 ^ X для х с компактным Л(х) допускает расширение до целой функции.

Определение 10. Пусть ш > 0. Вектор х0 Е X назовем ш-периодическим (относительно представления Т), если Т(ш)х0 = х0.

Множество ш-периодических векторов обозначим через Хш = ХШ(Т). Оно образует замкнутое подпространство в X, инвариантное относительно операторов T(t), t Е 1.

Теорема 4. Для того, чтобы вектор х0 Е X был ш-периодическим (т.е. х0 Е Хш), необходимо и достаточно, чтобы имело место включение

Л(х0) с—Ъ.

Доказательство теоремы 4 приводится в [8].

Из равенств nT(t + ш)х — T(t)x = T(t)(T(u)x — х) = 0,t Е Ж, для любого Пх Е Хш, следует, что функция yx(t) = T(t)x, является непрерывной периодической

функцией. Рассмотрим ее ряд Фурье

¿2nnt

9x(t)~'£nEi xnel~ ,

где

1 Ol .2ПП

xn = 1f0 T(r)xe l~^rdr, n ЕЪ.

Определение 11. Ряд

назовем рядом Фурье вектора х Е Хш, а векторы xn, п ЕЪ, — коэффициентами Фурье вектора х.

Если ряд Фурье вектора х Е X абсолютно сходится, т.е. выполнено условие £пЕЪ || хп ||< <х>, то справедливо равенство х = £пЕЪ xn = lim £t^=-N xn.

Наряду с изометрическим (не обязательно периодическим) представлением End X рассмотрим представление End (End X), T(t)A = T(t)AT(—t), tER, AE End X.

Определение 12. Пусть ш > 0. Оператор А Е End X назовем ш —периодическим (относительно представления Т), если

Т(ш)А = Т(—ш)АТ(ш) = А, (т.е. оператор А перестановочен с оператором Т(ш)) и функция t ^ T(t)AT(—t): 1 ^ End X непрерывна в равномерной операторной топологии.

Множество ш —периодических операторов образует замкнутую подалгебру X =

Х)ш из алгебры X. В соответствии с определением 10 рассмотрим ряд Фурье

(5)

- 1 со — -2Л:П

оператора А относительно представления 7\ где Л„=—/0 Г(т)ЛГ(—т)е '"^йт.

Концепция рядов Фурье периодических операторов рассматривалась в [13, 18, 20, 21]. В работах [20, 22] была установлена

Теорема 5. Пусть А 6 - ш —периодический непрерывно обратимый оператор с

абсолютно сходящимся рядом Фурье (5). Тогда обратный оператор В = Л-1 также является ш —периодическим и его ряд Фурье Л-1~ £и6Ъ также абсолютно сходится.

Доказательства основных теорем

Далее через X обозначается банахова алгебра с единицей.

Рассмотрим фактор-пространство X = ¥с0,Х)/¥О0,Х), которое является банаховым пространством с нормой || х ||= М || у ||, где х = х + ¥О0,Х) - класс эквивалентности,

у6х+¥о01Д)

содержащий функцию х 6 ¥С0,Х). Символом Хш обозначим подпространство ¥шк,0,Х)/¥О0,Х) фактор-пространства X.

Отметим, что банахово пространство X становится банаховой алгеброй, если умножение вводится следующим образом

ху = ху, х, у 6 X.

В пространстве ¥С(Е,Х)/¥0(Е,Х) действует сильно непрерывная изометрическая группа операторов ¥с(Е, Х)/¥0(Е, X), действующая по правилу 5(£:)х = 5(£)х, х6¥с(Е,Х),

С 6 Е. Фактор-пространство ¥С(Е,Х)/¥0(Е,Х) наделяется структурой банахова ¿—(Е) —модуля с помощью формулы

/ * х = ТГх, / 6 ]}(Е), х 6 ¥С(Е,Х). Ясно, что подпространства ¥ШК,(Е,Х), ¥С(Е,Х) являются замкнутыми подмодулями из ¿—(Е) —модуля ¥(Е,Х). Однако, формула (4) не позволяет корректно задать структуру ¿—(Е) —модуля в ¥С(Е+,Х). Тем не менее, такой структурой наделяются фактор-пространства X и

Хш.

Пусть } = Е+. В фактор-пространстве ¥С(Е+,Х)/¥0(Е+,Х) корректно определяется сильно

непрерывная группа изометрий Е ^ £п^(¥с(Е+,Х)/¥0(Е+,Х)), действующая по правилу

= ОДх, С 6 Е, зс 6 ¥С(Е+,Х)/¥0(Е+,Х),

где 5(£)х - сдвиг функции х влево (см. формулу (1)) для £ > 0, а для £ < 0 символ 5(£)х

обозначает класс эквивалентности, содержащий функцию х4 6 ¥с(Е+, X) вида

(х^ + 0 , 5 + £ > 0, = {— £-1х(0)5 , 5 + £ < 0, 5 > 0.

Структура банахова ¿—(Е) —модуля на X ( Хш в частности) наделяется формулой /х = Г /(т)5(—т)х^т, / 6 ¿—(Е), 16!,} = {Е+, Е}.

Непосредственно из определения представления 5: Е ^ X следует, что 5(^)х = х,

Таким образом, функция £ ^ 5(£:)х: Е ^ Хш является непрерывной ш —периодической функцией, т.е. она принадлежит банахову пространству СШ(Е,ХШ). Следовательно, имеет место

Теорема 6. Функция х 6 ¥С0,Х) является ш —периодической на бесконечности тогда и только тогда, когда класс эквивалентности х = х + ¥00,Х) является ш—периодическим вектором относительно представления $ 6 X.

Доказательство теоремы 2. Пусть функция а 6 обратима на бесконечности

и Ь 6 ¥С0,Х) - одна из обратных к а (относительно подпространства ¥о0,Х)) функций. Следовательно, ай = ¿¡а = е - единица алгебры X = ¥с0,Х)/¥00,Х). Рассмотрим оператор А 6 X вида Лх = ах, х 6 Х.Этот оператор является ш —периодическим относительно представления 5 6 X, и коэффициенты Л„, п6 2, его ряда Фурье относительно

представления 5 имеют вид Л„х = о^х, а: 6 X, где аи6¥хг^0,Х), п6 2, - канонические коэффициенты Фурье функции а. Поскольку У х ||= inf У а„ + х0 У, то ряд £п6Ъ У || =

Ип6Ъ У X У абсолютно сходится. Оператор А непрерывно обратим, и обратный к нему оператор В = Л-1 6 X, имеет вид £х = Ьх. В силу теоремы 5 оператор В также является ш —периодическим относительно представления 5 и его ряд Фурье 5~Цп6Ъ также абсолютно сходится.

Поскольку 5„х = Ь„х, л?ЕХ, где Ь„, п 6 Ъ, - коэффициенты Фурье класса Ь, и У У = У Ьи У, то Цп6Ъ У У= £и6Ъ У Ь„ У< ю. Откуда получаем абсолютную сходимость ряда Фурье функции Ь. Теорема доказана.

Доказательство теоремы 3. Необходимость. Пусть функция х6¥ш^0,Х) представима в виде х = х1 + х0, где х1 6 ¥Ш0,Х), х0 6 ¥00,Х). Тогда + х0) = х1 + Л^х0, N > 1. Поскольку х0 6 ¥00,Х), то Нт.Дих0 = 0, и, следовательно, НтЛ^х = х1.

Достаточность. Пусть для некоторой функции х6¥ш^(|,Х) существует предел НтА^х = у. Покажем, что х представима в виде х = х1 + х0, где х1 6 ¥Ш(|,Х), х0 6 ¥00,Х). В силу

равенств

5(^)у - у = lim (-££-- S((fc + 1)w)x — 5(fc^)x) =

функция у является периодической, т.е. у 6 ¥Ш(|,Х), откуда вытекает, что Л^у = у для любого N > 1. Обозначив х — у = х0 6 получим следующую цепочку равенств:

lim^wx0 = lim^w(x — у) = lim (4wx — у) = у — у = 0. (6)

По функции х0 построим класс 2J6X, который в силу теоремы 6 является w-периодическим вектором в пространстве Хш = ¥^(J,X)/¥0(J,X). Наряду с операторами N > 1, рассмотрим последовательность операторов (Д^), N > 1, из £nd X следующего вида

4 = -Ц/iLo1 S(fcw). Тогда 4,х0 = х0 для любого N > 1. С другой стороны, из (6) следует

справедливость равенства НтЛ^х,, = 0, откуда непосредственно получаем, что а0 = 0. А значит,

х0 е V0(J,X), т.е. функция х представима в виде х = у + х0, где у е V^(J,X), х0 е V0(J,X). Теорема доказана.

Постановка задачи и теорема 2 выполнены при финансовой поддержке РФФИ (проект № 16-01-00197, выполняемый в Воронежском госуниверситете), остальные результаты — при финансовой поддержке РНФ (проект № 14-21-00066, выполняемый в Воронежском госуниверситете).

Список литературы

1. Далецкий Ю.Л., Крейн М.Г. 1970. Устойчивость решений дифференциальных уравнений в банаховом пространстве. М. : Наука, 534.

Daletsky Yu. L., Krein M. G. 1970. Stability of Solutions of Differential Equations in Banach Space. Nonlinear Analysis and Its Applications. Nauka, Moscow, 534. (in Russ).

2. Hardy G.H. 1928. A theorem concerning trigonometrical series. J. London Math. Soc., 3 : 12-13.

3. Сенета Е. 1985. Правильно меняющиеся функции. М. : Наука, 144.

Seneta E. 1976. Regularly varying functions. Lecture Notes in Mathematics. V. 508, Springer-Verlag,

Berlin.

4. Левин Б.Я. 1956. Распределение корней целых функций. М.: Гостехиздат, 632.

Levin B. Ya. 1956. Distribution of zeros of entire functions. Gostekhizdat, Moscow, 632. (in Russ).

5. Schmidt M.R. 1925. Uber divergent Folgen und linear Mittelbildurgen. Math. Z., 22(1) : pp. 89-152.

6. Струкова И.И. 2012 Теорема Винера для периодических на бесконечности функций. Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика., 12(4) : 34-41.

Strukova I. I. 2012. Wiener's theorem for periodic at infinity functions. Izv. Sarat. univ. Nov. ser. Ser. Matematika. Mekhanika. Informatika, 12(4) : 34-41. (in Russ).

7. Струкова И.И. 2013. Теорема Винера для периодических на бесконечности функций с рядами Фурье, суммируемыми с весом. Уфимск. матем. журн., 5(3) : 144-152.

Strukova I. I. 2013. Wiener's theorem for periodic at infinity functions with summable weighted Fourier series. Ufa Math. J., 5(3) : 144-152.

8. Струкова И.И. 2016 О теореме Винера для периодических на бесконечности функций. Сиб. матем. журн., 57(1) : 186-198.

Strukova I. I. 2016. On Wiener's theorem for functions periodic at infinity. Siberian Math. J., 57(1) : 145-154.

9. Струкова И.И. 2014. О гармоническом анализе периодических на бесконечности функций. Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика, 14(1) : 28-38.

Strukova I. I. 2014. About harmonic analysis of periodic at infinity functions. Izv. Sarat. univ. Nov. ser. Ser. Matematika. Mekhanika. Informatika, 14(1) : 28-38. (in Russ).

10. Струкова И.И. 2014. Гармонический анализ периодических векторов и периодических на бесконечности функций. Вестн. НГУ. Сер. матем., мех., информ., 14(1) : 98-111.

Strukova I. I. 2015. Harmonic analysis of periodic vectors and functions periodic at infinity. Journal of Mathematical Sciences, 211(6) : 874-885.

11. Струкова И.И. 2015. Спектры алгебр медленно меняющихся и периодических на бесконечности функций и банаховы пределы. Вестн. ВГУ. Серия: Физика. Математика, 3 : 161-165.

Strukova I. I. 2015. Spectra of algebras of slowly varying and periodic at infinity functions and Banach limits. Vestnik VSU. Ser. Physica. Matematika, 3 : 161-165. (in Russ).

12. Wiener N. 1932. Tauberian theorems. Ann. of Math., 33(1) : 1-100.

13. Баскаков А.Г. 2004. Теория представлений банаховых алгебр, абелевых групп и полугрупп в спектральном анализе линейных операторов. СМФН, 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) : 4885-5036.

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

Baskakov A. G., Krishtal I. A. 2005. Harmonic analysis of causal operators and their spectral properties. Izv. Math., 69(3) : 439-486.

15. Баскаков А.Г. 2013. Исследование линейных дифференциальных уравнений методами спектральной теории разностных операторов и линейных отношений. УМН, 68(1) : 77-128.

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.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

16. Баскаков А.Г. 2015. Гармонический и спектральный анализ операторов с ограниченными степенями и ограниченных полугрупп операторов на банаховом пространстве. Матем. Заметки, 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.

17. Баскаков А.Г. 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.

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

Baskakov A. G. 1979. Bernste n-type inequalities in abstract harmonic analysis. Siberian Math. J., 20(5) : 665-672.

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

Baskakov A. G. 1987. Harmonic analysis of linear operators. Voronezh : VSU, 165. (in Russ).

20. Баскаков А.Г. 1992. Абстрактный гармонический анализ и асимптотические оценки элементов обратных матриц. Матем. Заметки, 52(2) : 17-26.

Baskakov A. G. 1992. Abstract haemonic analysis and asymptotic estimates of elements of inverse matrices. Math. Notes., 52(2) : 764-771.

21. Баскаков А.Г. 1997. Оценки элементов обратных матриц и спектральный анализ линейных операторов. Изв. РАН. Сер. матем., 61(6) : 3-26.

Baskakov A. G. 1997. Estimates for the entries of inverse matrices and the spectral analysis of linear operators. Izvestiya: Mathematics, 61(6) : 1113-1135.

22. Balan R., Krishtal I. 2010. An almost periodic noncommutative Wiener's Lemma. J. Math. Anal. Appl., 370(2) : 339-349.

i Надоели баннеры? Вы всегда можете отключить рекламу.