Научная статья на тему 'Гармонический анализ периодических на бесконечности функций в пространствах Степанова'

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

CC BY
135
15
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
банахово пространство / L1(R)-модуль / пространство Степанова / медленно меняющаяся на бесконечности функция / периодическая на бесконечности функция / ряд Фурье / Banach space / L1(R)-module / Stepanov space / slowly varying at infinity function / periodic at infinity function / Fourier series.

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

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

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

Harmonic Analysis of Periodic at Infinity Functions from Stepanov Spaces

We consider Stepanov spaces of functions defined on R with their values in a complex Banach space. We introduce the notions of slowly varying and periodic at infinity functions from Stepanov space. The main results of the article are concerned with harmonic analysis of periodic at infinity functions from Stepanov space. 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 prove analogs of the classical results on C´esaro summability. Basic results are derived with the use of isometric representations theory.

Текст научной работы на тему «Гармонический анализ периодических на бесконечности функций в пространствах Степанова»

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2017. Т. 17, вып. 2 УДК 517.9

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

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

Струкова Ирина Игоревна, кандидат физико-математических наук, Воронежский государственный университет, 394036, Россия, Воронеж, Университетская пл., 1, [email protected]

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

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

10.18500/1816-9791-2017-17-2-172-182

1. ОСНОВНЫЕ ПРОСТРАНСТВА

Пусть X — комплексное банахово пространство, End X — банахова алгебра линейных ограниченных операторов (эндоморфизмов), действующих в X. Символом Lloc(r, X) обозначим пространство локально суммируемых (измеримых по Бохне-ру) на r функций со значениями в банаховом пространстве X. Через Lp(r, X), p е [1, го], обозначим банахово пространство функций x е Lz1oc(r, X), для которых конечна величина (принимаемая за норму в соответствующем пространстве)

\ i/p

x(t)||Xdt I , p е [1, го), =vraisup ||x(t)||X, p = го.

I teR

Если X = c, то символ X в обозначениях этих пространств будет опускаться.

Через Sp(r, X), где p е [1, го), будет обозначаться пространство Степанова [1], состоящее из функций x е Lloc(r, X), для которых конечна величина

i/p

|x||Sp = sup \ ||x(s + t)||Xdt I , p е [1, го).

seM \ 0

Пространства Степанова играют важную роль при изучении дифференциальных уравнений в банаховом пространстве [2,3].

Также рассматриваются подпространства Cb (r, X) и Cb,u (r, X) пространства Ьж (r, X) соответственно непрерывных ограниченных и равномерно непрерывных ограниченных на r функций с нормой ||x||^ = sup ||x(t)||X.

ter

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

(S(t)x)(s) = x(s + t), s,t G r, x G Sp(r,X). Для любых функций f G L1 (r), x G Sp(r, X) их свертка

(f * x)(t) = J f (t)x(t - T)dT = J f (t)(S(-T)x)(t)dT, t G r, (1)

r r

принадлежит Sp(r, X). Через Sp(r,X) обозначим замкнутое подпространство из Sp(r, X) вида {x G Sp(r, X): функция t ^ S(t)x : r ^ Sp(r, X) непрерывна}. Через Sp(r, X) обозначим наименьшее замкнутое подпространство из Sp(r, X), содержащее все функции ^x, x G Sp(r, X), ^ G Cb(r, X), supp^ — компакт. Если X = c, то вместо Sp(r, X) будем писать просто Sp(r).

2. О ГАРМОНИЧЕСКОМ АНАЛИЗЕ ПЕРИОДИЧЕСКИХ ВЕКТОРОВ

Пусть X — комплексное банахово пространство и End X — банахова алгебра линейных ограниченных операторов, действующих в X. Будем считать, что X является невырожденным банаховым L1 (r)-модулем [4,5], структура которого ассоциирована с некоторым ограниченным изометрическим представлением T : r ^ End X. Это означает, что выполняются два свойства следующего предположения:

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

1) из равенства fx = 0, справедливого для любой функции f G L1(r), следует, что вектор x G X — нулевой (свойство невырожденности банахова модуля X);

2) для всех f G L1(r), x G X, t G r, имеют место равенства (свойство ассоциированности модульной структуры на X с представлением T : r ^ End X):

T (t)(fx) = (T (t)f )x = f (T (t)x).

Далее символом T(f) g End X обозначается оператор свертки T(f)x = fx вектора x G X с функцией f G L1(r). Если T : r ^ End X — сильно непрерывное ограниченное представление, то формула

T(f)x = fx = У f (t)T(-t)xdt, f G L1(r), x G X, (2)

r

определяет на X структуру банахова L1(r)-модуля, удовлетворяющего условиям предположения 2, причем эта модульная структура ассоциирована с представлением T [6].

Замечание 1. С каждым невырожденным банаховым L1 (r)-модулем X ассоциировано единственное представление T : r ^ End X [2,4,6-9]. Чтобы это подчеркнуть, иногда используется обозначение (X,T).

Определение 1. Вектор из банахова L1 (r)-модуля X назовем T-непрерывным, если функция : r ^ X, (t) = T(t)x, t G r, непрерывна в нуле (и, значит, непрерывна на r).

Совокупность всех T-непрерывных векторов из банахова L1 (r)-модуля X обозначим через Xc. Непосредственно из последнего определения следует, что Xc — замкнутый подмодуль из X, причем представление T на нем сильно непрерывно.

Пространства Sp(r, X) являются банаховыми L1 ^-модулями с модульной структурой, определяемой равенствами (1), и эта структура ассоциирована с представлением (группой сдвигов функций) S : r ^ End Sp(r, X). Далее через f : r ^ c обозначается преобразование Фурье

f(À) = y f (t)e-iAtdt, Л G r, (3)

функции f G L1(r).

Определение 2. Пусть ш > 0. Вектор x0 G X назовем ш-периодическим (относительно представления T), если T(ш)ж0 = x0.

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

Из равенств T(t+ш)x-T(t)x = T(t)(T(ш)ж-ж) =0, t G r, для любого x G X следует, что функция : r ^ X, (t) = T(t)x, является непрерывной периодической

2 ^ 2 функцией. Рассмотрим ее ряд Фурье (t) ~ X) xnег1, где xn = 1 J T(т)xe-iтdr,

nez ш о

n G z.

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

x ~ xn (4)

ne z

назовем рядом Фурье вектора x G X, а векторы xn, n G z, — коэффициентами Фурье вектора x.

Лемма 1. Для любой функции f G L1 (r) и x G X вектор fx G X и имеет

ж ^

ряд Фурье вида fx ~ X) f (xk•

к=-ж

Доказательство. Непосредственно из формулы (2) следует, что fx G X. Далее вектор fx обозначим через y. Для коэффициентов Фурье периодического вектора y

справедлива формула ук = Ш/ Т(т)(/х)е 1 * т¿т. Используя формулы (2) и (3) и

ш о

меняя порядок интегрирования, получаем следующую цепочку равенств:

ш

Ук = Ц т(т) ( / /(в)Т(—1 е-^т¿т =

= 1 / ( / /(Й)Т(т - 1 е-^т¿т = I /(в) I 1 У Т(т - в)хе"г¿т 1 ¿в =

о \м / м V о

= I /(в) | ^X / Т(г)хе-^^1 ^ = | /(в)хке-^«¿в = / (^ Хк.

о / м

Отметим работы [8,9], в которых многие классические результаты теории рядов Фурье для периодических функций обобщались на векторы из банаховых пространств, в которых действует однопараметрическая группа операторов. Подпространство ХШ периодических векторов и следующая лемма фактически рассматривались в [10, теорема 16.7.2]. Из указанных источников следует

Лемма 2. Пусть х е ХШ. Тогда операторы

ш

I • 2 пп

РПХ = - Т(т)хе-г~т¿т, п е Z, о

являются проекторами, xn = Pnx, n G z, — коэффициенты Фурье вектора x, T(t)Pn = e^1 Pn, t G r, n G z, и ||PJ = 1, если Pn = 0.

Лемма 3. Для любого x G ХШ справедливо соотношение

lim ||xn|| = 0,

где xn, n G z, — коэффициенты Фурье вектора x.

Доказательство. Возьмем произвольный вектор x из области определения D(A) генератора A («infinitesimal generator» в [11]) полугруппы операторов T. Справедлива следующая оценка:

LO LO

||xn|| = ||- T(T)xe-i~TdT|| = ||- T(т)Ax—е-г~TdT|| < , n G z\{0}, о о L

т.е. lim ||xnУ = 0. Поскольку D(A) плотно в ХШ, то свойство lim ||xn|| = 0 верно

n—n—

для любого x G ХШ. □

Определение 4. Функция ^(-,х) : ^ м+, ^(£, х) = зир^^ ||Т(£)х — х||, называется модулем непрерывности вектора х.

Теорема 1. Для любого х е X с рядом Фурье вида (4) справедливо равенство

|к|

lim Уж - V (1 --^L) XkII =0.

г—те У П + 1 /

k=—n

Доказательство. Возьмем произвольным периодическим вектор х е хХ^. Рассмотрим функции /п е Ь1 (Е) следующего вида:

^ sin2 (n+Uni /п(t) = W

t G r, n G n.

4п4 £2(п + 1)'

Отметим, что преобразование Фурье данных функций имеет вид

1 _ ^|А| | л | 2п(п+1)

Т (Л) = I 1 2п(п+1) ' |Л| ^ ^ '

МЛ) ^ 0, |Л| > 2ПП+), Л е е, П е n.

Тогда

/п

2nk

1 - _1М_

1 п+1 0,

|k| < n + 1,

|k| >n + 1, k G z, n G n,

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

и из леммы 1 следует, что свертка функции /п с вектором х определяется равенством

fnx = Y1 ( 1

k=—п

|k|

П + 1

xk, n G n.

Тогда имеет место оценка

x —

1

k=—п

|k|

n + 1

Xfc

11 x fn x|

/п (т )xdr — /п (т )T (—т )xdr

fn(т) (x — T(—т)x) dT

<

J /п(тM^x^I + 2||x|||| J /п(т)dт

— ¿n R\( —¿n .¿n )

<

< k>(#n,x) / /п(т)dт + 2|| x|| I /п(т) dт ^

— ¿n R\( —¿n .¿n )

2 (п+1)пт

те

n J x) I fn (т) dт + —те

^iixi

sin

2n4 (n + 1) J т2

R\( — ¿n .¿n )

< ^(^n, x) +

^Nx|

П4 (n + 1) У т2

d-т ^||x|

— < ^(Ön,x) +

П4 (n + 1Я

dт ^

0, n ^ ro,

для любой последовательности {£n, удовлетворяющей условиям lim = 0 и

n—те

lim (n + 1)£n = ro. □

n

n

те

—>

n—>те

3. МЕДЛЕННО МЕНЯЮЩИЕСЯ И ПЕРИОДИЧЕСКИЕ НА БЕСКОНЕЧНОСТИ ФУНКЦИИ ИЗ ПРОСТРАНСТВ СТЕПАНОВА

Определение 5. Функция x G Sp(r, X) называется медленно меняющейся на бесконечности, если (S(t)x — x) G Sp(r, X) для любого t G r.

Например, медленно меняющейся на бесконечности является функция x G G Sp(r,X) вида x(t) = c + x0(t), t G r, где c — вектор из банахова пространства X и x0 — любая функция из Sp(r, X). В теории дифференциальных уравнений [12, п. 3.6.3] использовалось эквивалентное (если рассматривать функции из Оъ,и(r, X)) определение, при этом функции назывались стационарными на бесконечности. Медленно меняющиеся функции находят свое применение в теории тригонометрических рядов [13], в теории вероятности [14], а также в теории целых функций [15].

Определение 6. Функция x G Sp(r, X) называется периодической на бесконечности периода ш > 0 (ш-периодической на бесконечности), если (S(^)x — x) G

G Sp(r, X) или, что эквивалентно, lim ||x(t + ш) — x(t)||X = 0.

|t|—(

Таким образом, каждая ш-периодическая на бесконечности функция x является решением разностного уравнения вида x(t+ш) — x(t) = y(t), t G r, где y G Sp(r, X), а каждая медленно меняющаяся на бесконечности функция является периодической на бесконечности любого периода. В [16,17] получены аналоги теоремы Винера об абсолютно сходящихся рядах Фурье для непрерывных периодических на бесконечности функций с абсолютно сходящимися рядами Фурье и с рядами Фурье, суммируемыми с весом. В работах [18,19] изучаются вопросы гармонического анализа непрерывных периодических на бесконечности функций нескольких переменных. В [20] описан спектр алгебры непрерывных периодических на бесконечности функций, определенных на полуоси.

Множества медленно меняющихся и периодических на бесконечности функций из Sp(r, X) обозначим через S^ = Sp,((r,X) и Sp( = Sp( (r, X) соответственно. Отметим,что они оба образуют линейные замкнутые подпространства банахова пространства Sp(r,X). Таким образом, имеют место включения SJ ((r,X) с С Spp (r,X) с Sp(r,X), при этом все указанные пространства инвариантны относительно операторов S(t), t G r. Символом Sp (r, X) обозначим подпространство банахова пространства Sp(r, X), состоящее из ш-периодических функций, т. е. функций x G Sp(r, X), для которых выполнено условие S(ш^ = x. Примерами периодических на бесконечности функций из Sp(r, X) являются:

1) предельно периодические функции, т. е. функции x : r ^ X, представимые в виде x = y + yo, где y G Sp(r,X), yo G Sp(r,X);

2) функция x G Sp(r, X) такая, что она совпадает с x G S£(r, X) на r+ и

lim ||x(t)||X = 0; t—-(

3) любая функция из Sp1((r, X);

n -2-кк,

4) любая функция x G Sp(r,X), представимая в виде x = ^ xk(t)e'~ , t G r,

k=-n

п е n где хк е (е, X), к е z. Далее введем определение рядов Фурье функций из ).

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

5>п(г)е*^г е е,

иеЪ

где функции хп : е ^ X, п е z, определяются формулами

ш

хп(г) = - х(г + т)е—^г е е, п е z, (5)

^ У

о

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

ш ^ к

Ясно, что если х е СЩ(е, X), то хк(г) = хк = х(т)е—^т^т, г е е, к е z, —

ш

О

обычные коэффициенты Фурье непрерывной периодической функции x.

Определение 8. Обобщенным рядом Фурье функции x G X) называется

любой ряд вида

5>«(*у ^ t g e, (6)

nez

где yn, n G z, — такие функции из Sp(e, X), для которых yn — xn G Sg(e, X), n G z, а функции Xn, rn G z, определяются формулой (5).

Лемма 4. Канонические коэффициенты Фурье xn, n G z (определенные формулой (5)) являются медленно меняющимися на бесконечности функциями

из S°(e,X), т. е. xn G S°^(e,X), n G z.

Утверждение леммы следует из равенств

ш

xn(t + и) — xn(t) = — I (S(^)x — x)(t + T)e-i^) dr, t G e, n G z. ^ J

0

Непосредственно из определения 8 и леммы 4 следует, что коэффициенты любого обобщенного ряда Фурье обладают свойством: yn G Sf1œ(e,X), n G z. Введем в

• 2 nk j.

рассмотрение функции ek, k G z, вида ek(t) = ег~ , t G e. Основными результатами данной статьи являются следующие две теоремы:

Теорема 2. Для любой функции x G £Ш, œ(e,X) существует последовательность функций (xn) из Sp(e, X) такая, что

n / Ikl \

lim ||x — У^ (1--— ) xfcefc + x0

n^œ ' \ n + 1 /

fc=—n

где xk, k G z, — канонические коэффициенты Фурье функции x.

xfc efc + xJsp = 0,

n + 1

Теорема 3. Для любой функции х е X) и для любого е > 0 существу-

ет последовательность функций (х£) из (Е, X) и последовательность функций (уп) из X) такие, что

п ( Ikl \

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

lim - У^ (1--— ) efc + жП||sp = 0.

п^ж \ n + 1

k=- n

При этом каждая из функций (к е ъ) эквивалентна функции х^, определяемой формулой (5), и допускает продолжение на всю комплексную плоскость до целой функции экспоненциального типа не выше е.

Определение 9. Будем говорить, что обобщенный ряд Фурье (6) периодической на бесконечности функции х е ££ (е, X) сходится к х относительно подпространства $о(е> X), если существует последовательность функций (х£) из $о(е, X)

такая, что lim

ж - £ yfcefc + жП

,0 п

k=-n

= 0.

s p

Важно отметить, что данное определение корректно, т. е. сходимость не зависит от выбора обобщенного ряда Фурье функции ж. Это объясняется тем, что уп жп е So(r, X), где Жп, n е z, — канонические коэффициенты Фурье функции ж, определяемые по формуле (5).

4. ДОКАЗАТЕЛЬСТВА ОСНОВНЫХ ТЕОРЕМ

Рассмотрим фактор-пространство X = Sp(r, X)/Sp(r, X), которое является банаховым пространством с нормой ||ж|| = inf ||у||, где ж = ж + Sp(r, X) —

yex+Sp (r,x )" 11 0V

класс эквивалентности, содержащий функцию ж е Sp(r, X). Отметим, что банахово пространство X становится банаховой алгеброй, если умножение вводится следующим образом: жж = жу, ж, ж е X. В X действует сильно непрерывная изометрическая группа операторов S : r ^ End X, действующая по правилу ж(£)ж = S(£> = S(£)ж + SJ(r,X), ж е Sp(r,X), t е r. Фактор-пространство X наделяется структурой банахова L1 (r)-модуля с помощью формулы /ж = f f (r)S?(-т)ж^т, f е L1(r), ж е X. Подпространство

r

= S£ (r, X)/Sp(r, X) является замкнутым подмодулем из L1 (r)-модуля X. Непосредственно из определения представления S : r ^ End X следует, что ж(ш)ж = ж, ж е X. Таким образом, функция t ^ : r ^ XL,ж, ж е XL,ж,

является непрерывной ш-периодической функцией, т. е. она принадлежит банахову пространству CL(r, Следовательно, имеет место

Теорема 4. Функция ж е Sp(r, X) является ш-периодической на бесконечности тогда и только тогда, когда класс эквивалентности ж = ж + Sp(r, X) является ш-периодическим вектором относительно представления S е End X.

Доказательства теорем 2 и 3 следуют из теорем 4 и 1, где в качестве пространства XL взято пространство (r,X)/Sg(r,X).

Благодарности. Работа выполнена при финансовой поддержке РФФИ (проект № 16-01-00197, выполняемый в Воронежском госуниверситете).

Библиографический список

1. Левитан Б. М, Жиков В. В. Почти-периодические функции и дифференциальные уравнения. М. : Изд-во Моск. ун-та, 1978. 206 с.

2. Баскаков А. Г. Исследование линейных дифференциальных уравнений методами спектральной теории разностных операторов и линейных отношений // УМН. 2013. Т. 68, № 1. С. 77-128. DOI: 10.4213/rm9505.

3. Баскаков А. Г. Спектральный анализ дифференциальных операторов с неограниченными операторными коэффициентами, разностные отношения и полугруппы разностных отношений // Изв. РАН. Сер. матем. 2009. Т. 73, № 2. С. 3-68. DOI: 10.4213/im2643.

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

5. Баскаков А. Г. Гармонический анализ линейных операторов. Воронеж : Изд-во Воронеж. гос. ун-та, 1987. 165 с.

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

7. Баскаков А. Г. Гармонический и спектральный анализ операторов с ограниченными степенями и ограниченных полугрупп операторов на банаховом пространстве // Матем. заметки. 2015. Т. 97, № 2. С. 174-190. DOI: 10.4213/mzm10285.

8. Баскаков А. Г. Спектральные критерии почти периодичности решений функциональных уравнений // Матем. заметки. 1978. Т. 24, № 2. С. 195-206.

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

10. Хилле Э., Филлипс Р. Функциональный анализ и полугруппы. М. : Изд-во иностр. лит., 1962. 829 с.

11. Engel K.-J., Nagel R. A short course on operator semigroups. N. Y. : Universitext, Springer, 2006. 247 p.

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

13. Hardy G. H. A theorem concerning trigonometrical series // J. London Math. Soc. 1928. iss. 3. P. 12-13.

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

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

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

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

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

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

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

Образец для цитирования:

Струкова И. И. Гармонический анализ периодических на бесконечности функций в пространствах Степанова // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2017. Т. 17, вып. 2. С. 172-182. DOI: 10.18500/1816-9791-2017-17-2-172-182.

Harmonic Analysis of Periodic at Infinity Functions from Stepanov Spaces

1.1. Strukova

Irina I. Strukova, Voronezh State University, 1, Universitetskaya pl., Voronezh, Russia, 394036, [email protected]

We consider Stepanov spaces of functions defined on r with their values in a complex Banach space. We introduce the notions of slowly varying and periodic at infinity functions from Stepanov space. The main results of the article are concerned with harmonic analysis of periodic at infinity functions from Stepanov space. 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 prove analogs of the classical results on Cesaro summability. Basic results are derived with the use of isometric representations theory.

Key words: Banach space, L1 (r)-module, Stepanov space, slowly varying at infinity function, periodic at infinity function, Fourier series.

Acknowledgements: This work was supported by the Russian Foundation for Basic Research (project no. 16-01-00197 performed in Voronezh State University).

References

1. Levitan B. M., Zhikov V. V. Almost periodic functions and differential equations. Cambridge, Cambridge Univ. Press, 1983. 224 p. (Russ. ed. : Levitan B. M., Zhikov V. V. Pochti-periodicheskye funkcii i differencialnye uravneniya. Moscow, Moscow. Univ. Press, 1978. 206 p.)

2. 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: 10.4213/rm9505.

3. 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: 10.4213/im2643.

4. Baskakov A. G. Theory of representations of Banach algebras, and abelian groups and semigroups in the spectral analysis of linear operators. J. Math. Sci., 2006, vol. 137, iss. 4, pp. 4885-5036. DOI: 10.1007/s10958-006-0286-4.

5. Baskakov A. G. Harmonic analysis of linear operators. Voronezh, Voronezh Univ. Press, 1987. 165 p. (in Russian).

6. 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: 10.4213/im639.

7. 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: 10.4213/mzm10285.

8. 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.

9. Baskakov A. G. Bernstein-type inequalities in abstract harmonic analysis. Siberian Math. J., 1979, vol. 20, no. 5, pp. 665-672.

10. Hille E., Phillips R. Functional analysis and semi-groups. Amer. Math. Soc. Colloquim Publ., vol. 31. R. I., Amer. Math. Soc., 1957. 808 p.

11. Engel K.-J., Nagel R. A short course on operator semigroups. New York, Universitext, Springer, 2006. 247 p.

12. Daletsky Yu. L., Krein M. G. Stability of Solutions of Differential Equations in Banach Space. Moscow, Nauka, 1970. 535 p. (in Russian)

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

14. Seneta E. Regularly varying functions. Lecture Notes in Mathematics, vol. 508, Berlin, Heidelberg, New York, Springer-Verlag, 1976. 112 p. DOI: 10.1007/BFb0079658.

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

16. Strukova I. I. Wiener's theorem for periodic at infinity functions. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2012, vol. 12, iss. 4, pp. 34-41 (in Russian).

17. Strukova I. I. About Wiener theorem for periodic at infinity functions. Siberian Math. J., 2016, vol. 57, no. 1, pp. 186-198 (in Russian).

18. 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).

19. Strukova I. I. Harmonic analysis of periodic vectors and functions periodic at infinity. J. Math. Sci., 2015, vol. 211, no. 6, pp. 874-885.

20. Strukova I. I. Spectra of algebras of slowly varying and periodic at infinity functions and Banach limits. Proc. Voronezh State Univ. Ser. Physics. Mathematics, 2015, no. 3, pp. 161-165 (in Russian).

Cite this article as:

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: 10.18500/1816-9791-2017-17-2-172-182.

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