Научная статья на тему 'Мультипликаторы рядов Фурье из пространств Орлича и Лоренца по мультипликативным системам'

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

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

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

Н.Ю. АГАФОНОВА

УДК 517.51

Мультипликаторы рядов Фурье из пространств Орлича и Лоренца по мультипликативным системам

Введение

Пусть Р = {рХ=1 — последовательность натуральных чисел, такая что 2 ^ рп ^ N для всех п £ N Положим то определению т0 = 1, тп = р1.. .рп при п £ N Тогда каждое х £ [0,1) имеет разложение

то

х = Хп/тп, 0 < Хп < Рп, Хп £ Ъ. (1)

п=1

Разложение (1) будет определяться однозначно, если для х = к/т/, к,1 £ N,k < т/, брать разложение с конечным числом ненулевых хп.

то

Если у £ [0,1) имеет вид (1), то по определению х © у = г = гп/тп,

п= 1

где гп = хп + уп(то(рп), 0 ^ гп < рп, гп £ Ъ. Аналогично определяется х © у. Если к £ Ъ+ записано в виде

то

к = ^^ к?т-1, 0 ^ к? < pj, к £ Ъ, (2)

3=1

то для х £ [0,1) полагаем по определению

Хк(х) = ехр ^2пг ^^ хзк/рз

Известно, что {xk(x)}£=0 _ ортонормированная, полная в L[0,1) система [1,§1.5], и что Хп(x © y) = Хп(x)Xn(y) для п.в. y G [0,1) при фиксированном x G [0,1) и n G Z+. Коэффициенты Фурье и частичная сумма ряда Фурье по системе {xn(x)}^=0 задаются формулами

л __п— 1 л

f (n) = f0 f (t)Xn(t) dt, n G Z+, и Sn(f )(x) = £ /(fc)xk(x), n G N.

k=0

п— 1

Сумма £ xk(x) =: Dn(x) называется n-м ядром Дирихле. Извест-k=0

но, что Dmn (x) = mnX[0;1/mj(x), где XE — характеристическая функция множества E Если f,g G L[0,1) то по определению f * д = 1

= I f (x © t)g(t) dt. Легко видеть, что Sn(f )(x) = f * Dn(x) и что 0

(f * g)(n) = f (n)g(n), n G Z+. В частности, если f является полиномом по системе {xn(x)}^=0, то f * g является таким же полиномом.

Определим пространства Орлича и Лоренца. Пусть Ф(и) — возрастающая, непрерывная па [0, то) выпуклая функция, такая что Ф(0) = 0, lim = и lim = 0 (такая функция называется N-

и^оо и и—> 0 и

и

функцией). В этом случае справедливо равенство Ф(и) = /р^) (£,

о

где р(£)^правосторонняя производная Ф(м), непрерывная справа. Если

V

д(я) = вир{£ : р(£) ^ й}, й С и Ф(^) = / д(я) (й, V С то Ф

о

называется сопряженной по Юнгу функцией к Ф. При этом Ф выпукла и обладает теми же свойствами, что и Ф. Пространство Орлича Ьф[0,1) состоит из измеримых на [0,1) функций /, для которых конечна норма

|f ||ф = < sup

1

f(x)g(x) dx

1

[ ^(jg(x)j) dx) ^ 1

Относительно этой нормы Ьф[0,1) является банаховым пространством. При этом, если / С Ьф[0,1) и д С Ь^[0,1), то имеет место неравенство Гёльдера

< II/Уф • 1Ы1ф. (3)

J /(x)g(x) dx 0

Все эти факты можно найти в [2, §1,2,8,9]. Частным случаем пространств Ьф[0,1) при Ф(х) = xp/p, p > 1 являются пространства 1)

(1 \ltV

с нормой II/||p = I / |/(x)|p dx I При p =1 рассматриваем пространство L1[0,1) также с нор мой || • Пр и p = ж далее используются пространство ограниченных измеримых функций B [0,1) с конечной нормой ||/||о = sup |/(x)| и пространство Р^непрерывных функций

же[0,1)

C*[0,1) = {/ Е B[0,1) : lim ||/(x © h) — /(х)|ж = 0} также с нормой || • || оо- Для измеримой на [0,1) функции / можно рассмотреть функцию распределения Л/(y) = |x Е [0,1) : |/(x)| > y| и невозрастающую перестановку /*(t) = inf{y > 0 : Л/(y) < t}, t > 0. Из определения ясно, что / *(t) = 0 при t ^ 1. Пространство Л о ренца Wq [0,1) состоит из измеримых функций / на [0,1), для которых ||/||pq < оо, где

fL = S ^ 0

1 \ 1tq

pj[t1tp/*(t)]qfl , 1 < p<oo, 1 < q < оо;

supt1/p/*(t), 1 < p < oo, q = oo.

t>0

Пространства L00q [0,1), 1 < q < oo не рассматриваются из-за их тривиальности. Известно, что ^р[0,1) = L^[0,1) при 1 ^ p ^ oo, Wq[0,1) являются банаховыми при 1 <p ^ oo, 1 ^ q ^ oo, и p = q = 1, и что II/\\*pq2 < ||/||pqi ПРИ 1 ^ Р ^ oo, 1 ^ q1 ^ q2 ^ oo. Соотношения между LPq при различпых p см. в лемме 6. Сопряженным пространством к LPq[0,1) где 1 < p < oo, 1 < q < oo, пли 1 ^ p < oo, q = 1, является пространство Lpq [0,1), где p'— сопряженный показатель Гёльдера для p Е [1, oo ] (то есть p' = oo при p = 1, p' = 1 при p = oo, p' = p/(p — 1) при p Е (1, oo )). При 1 < p < oo, 1 ^ q ^ oo имеет место неравенство Гёльдера

II/ • gill ^ CII/IU • \\g\\P>q>, f e Lpq[0,1), g e Lp'q'[0,1). (4)

Эти факты можно найти в [3] или [4, глава 5,§3]. Пусть

Pn = {/ e L1[0,1) : / (k) = 0, k ^ n}, n e N,

En(f)ф = inf{If - Уф : tn e Pn}, n e N, wn(f)Ф = sup If(x © h) — f(ж)Цф, n e Z+.

0<h<1/mn

Аналогично определяются En(f)p, wn(f)p, 1 ^ p ^ то, и En(f)p,q, wn(f )p,q, 1 ^ p< то, 1 ^ q ^ то. Имеют место неравенства A.B. Ефимова 1, глава 10, 510.51

Em„ (f )p ^ IIf — Sm„ (f )Ip ^ wn(f )p ^ 2Em„ (f ^ (5)

где f e L^[0,1) при 1 ^ p < то ми f e C*[0,1) при p = то. Для того, чтобы lim En(f)ф = 0, достаточно потребовать сепарабельность

n—>то

пространства Еф[0,1), которая равносильна выполнению А2^условия на функцию Ф : Ф(2и) ^ CФ(и), u e R+(cm. [2, §10.2]). В этом же случае сопряженным к Еф[0,1) является L^[0,1) (см. [2, §14.2 ]). Из леммы 6 легко следует сепарабельность Lp'q [0,1) при 1 <p< то, 1 ^ q ^ то. В указанных случаях доказательство (3) из [1, §10.5] переносится на случай Еф[0,1) и Lp'q[0,1) (см. лемму 7). Если {<^n}TO=0 _ убывающая к пулю последовательность, то по определению

Нф = {f e Еф[0, 1) : wn(f)ф ^ C^n,n e Z+},

где C зависит от f, но не от n. Аналогично вводятся Нр , 1 ^ p ^ то, и Hp,q, 1 <p< то, 1 ^ q ^ то Естественной нор мой в Нф, от-

p,q Mr

посительпо которой данное пространство является банаховым, будет If Цф,^ = IIf Цф + supwn(f)ф/ып. то же можно отметить для Hp и Hpq.

Пусть X и некоторые функциональные пространства на [0,1), вложенные в L1 [0,1). Если последовательность {Ап}то=0 такова, что для

оо

любой / Е X ряд Е Лп/(п)хп(х) является рядом Фурье (по системе

п=0

(Хп}0==0) функции # Е У, то по определению {Лп}0=0 Е (X, У) или {Лп}0=0 является мультипликатором класса (X, У).

В данной работе изучаются необходимые и достаточные условия принадлежности последовательности {Лп}^=0 класс у (X, У), где в качестве X берутся пространства В, Ь1, а в качестве У^ пространства

В С*, а также пространства У и АС функций ограниченной вариации и абсолютно непрерывных функций на [0,1). Результаты, связанные с Ьф являются аналогами утверждений для тригонометрического случая из работы М.Г. Скворцовой [5].

Необходимо сделать несколько замечаний по поводу пространств

п

V[0,1) и АС[0,1) Как известно, / Е V[0,1) если вир Е |/(х) —

¿=1

—/(ж^-1)| < оо, где вир берется то всем разбиениям {х^}п=0 отрезка [0,1]. Пространство V [0,1) вводится как множество сужений / Е V [0,1] на [0,1). Ус лов ие f Е V [0,1) равносильно следующему: су ществует С > 0, такая что для любой системы попарно непересекающихся полуинтервалов {(«¿,в^]}П=1 С [0,1) имеем

^ С.

Е (/(А) — / (а))

¿=1

В самом деле, пусть выполнено последнее условие. Тогда для любого разбиения {х}П=-0 отрезка [0,1 — г], 0 < £ < 1 имеем

п—1 п—1 п—1

^ |/(х) — /(хг—1)| = (х) — /(хг—1))+ + (х) — f (х—1))— ^ 2С,

¿=1 ¿=1 ¿=1

где 2+ = шах(г, 0) 2— = тах(—г, 0).

В частности, для всехх Е [0,1) имеем /(х) ^ 2С +|/(0)|. Доопределяя ] (х) произвольным образ ом при х = 1 получаем для разб иения {х}П=0 отрезка [0,1]:

£ |/(х) — /(хг—1 )| ^ 2С + |/(1) + /(хп—1)| ^ 4С + |/(0)| + |/(1)|

¿=1

и / Е V[0,1]. Обратное утверждение очевидно.

Рассмотрим класс V (1, Ф) функций ^ С Ьф[0,1), таких что для некоторой константы С > 0 и любого набора попарно непересекающихся полуинтервалов {(аг,вг]}п=1 ^ [0,1) верно неравенство

¿(f (в © t) — f (ai © t))

¿=1

^ C.

ф

Аналогично вводятся классы V(1,р), 1 ^ р < то, и V(1,р, д), 1 < р < то, 1 ^ д ^ то В периодическом случае аналоги классов V(1,р) рассмат-

р = 1 р > 1 торые получили критерии принадлежности классу (Ь, V) в периодическом случае. Как показано в [8, глава 9, §1], функция / С АС[0,1] тогда и только тогда, когда для любого £ > 0 найдется 6 > 0, такое что для любой системы попарно непересекающихся полуинтервалов {(аг,вг]}п=1 ^

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

E(f (А) — f Ы)

¿=1

^ £. Сно-

С [0,1] со свойством ^(вг — аг) < 6 имеем

¿=1

ва пусть АС[0,1) — множество сужений пространства АС[0,1] на [0,1). Тогда условие / С АС [0,1) равносильно тому, что для любого £ > 0 най-6>0

п

полуинтервалов {(аг,вг]}П=1 с [0,1) со свойством ХХвг — аг) <6 спра-

¿=1

ведлпво неравенство

E(f (^¿) — f (ai))

¿=1

^ e.

В самом деле, если это так, то стандартным методом (см. [8, глава 9 показывается, что f G V[0,1) и поэтому существует lim f (x) = a. По-

x—^ 1—0

лагая f (1) = a и рассматривая систему непересекающихся полуинтерва-

n

лов {(ai,ei]}n=1 ^ [0,1], таких что ХХА — ai) < 6 и = 1 находим, i i=1

E(f (^¿) — f (ai))

i=1

n— 1

1—Д ¿(f (^i) — f (ai)) + f (1 — y) — f (an)

^ e,

откуда следует, что f G AC[0,1].

Поэтому по определению ^ Е АС(Ф), если для любого £ > 0 найдется б(г) > 0, такое что для любой системы попарно непересекающихся

п

полуинтервалов {(а, А]}п= С [0,1) со свойством Е(А — а) < б верно

¿=1

неравенство

^(^(А © г) — © £))

¿=1

Ф

Аналогично вводятся классы АС(р, д), 1 < р < оо, 1 ^ д ^ оо. Везде далее Ф и Ф — пара сопряженных по Юнгу Х-функций, ар'(д')— сопряженный по Гёльдеру показатель кр(д).

1. Вспомогательные утверждения

Пространство Ьф[0,1) является сопряженным к Ьф[0,1) только в случае, когда функция Ф удовлетворяет Д2^условпю, тем не менее справедливо следующее утверждение.

Лемма 1. [9, глава 4, теорема (10.7)] Если для любой / Е Ьф[0,1)

1

последовательность = / /(х)дп(х) ¿х ограничена, то дп Е для всех

0

пи 1Ы1* = о(1).

При Ф(м) = мр/р, р > 1, имеем Ф(м) = м9'/д', поэтому заключение леммы выглядит так: ||дп||9' = 0(1).

Напомним, что множество функций О на [0,1] называется равностепенно абсолютно непрерывным, если для любого £ > 0 существует б > 0, такое, что для любой системы неперекрывающихся интервалов

п

{(а, А]}п= С [0,1] со свойством Е(А — а) < б и любой функции д Е О

¿=1

п

имеем

Е(д(А)— дЫ)

¿=1

Лемма 2. [9, глава 4, §5)]. Если множество О измеримых на [0,1)

1

функций таково, что / Ф(|д(х)|) ¿х ^ С для всех д Е О (С не зависит от

0

х

д), то множество {^(д)(х) := / д(£) д Е О} равностепенно абсолютно

0

непрерывно.

то П—1

Лемма 3. Пусть дан ряд ^ с*х*(ж) и £п(ж) = ^ с*х*(ж). Если мно-

*=0 *=0

X

жество {Еп(ж)}ТО=0, где Еп(ж) = / 5тп(£) равностепенно абсолютно

о

непрерывно, то существует / Е Ь[0,1) такая, что /(к) = с*, к Е Z+.

Доказательство

Из равностепенной абсолютной непрерывности {Еп}ТО=0 следует, что все Еп Е V[0,1] и их вариации на [0,1] ограничены. В самом деле, подбирая 6 по £ = 1, находим разбиение {ж^}=0 отрезка [0,1] диаметра меньше 6 и получаем, что вариация каждой функции Еп(ж) на любом из отрезков [жг—1,жг], г = 1,...,п не превосходит 1. Поэтому вариация каждой функции Еп(ж) на отрезке [0,1] не превосходит N. По теореме Хелли [8, глава 8, §4] существует подпоследовательность {ЕПк (ж)}£=15 сходящаяся всюду на [0,1] к некоторой функции Е(ж) Е V[0,1]. При

этом, если

Е(Епк (А) — Епк ы)

¿=1

< £ для всех к, то в пределе полу-

чаем

Е(Е (А) — Е Ы)

< £. Таким образом, из равностепенной абсо-

¿=1

лютпой непрерывности {Еп}ТО=0 следует абсолютная непрерывность Е. Пусть к Е г Е Ъ+. Тогда прп п/ ^ г + 1 имеем

1 1

п,

0

К их* (*) ^ = ^ (%* и ^ = с*. (6)

С другой стороны, поскольку х*(ж) постоянна па 1]г+1) := := [;/шг+1, + 1)/шг+1), 0 < ] < шг+1 — 1, имеем

1 тт —1

К(*)х*Ш^ = ^ х*С/М+ОИ»,((; + 1)/т<+0 — ЕП,(¿М+О). 0 -?=0

Последняя сумма при I ^ то сходится к

тт — 1

^ х*О'М+О (Е((; + 1)/шг+1) — Е(;/тг+1)) = ¿=0

и

= Е Fni (t)xk(t) dt = F'(t)Xk(t) dt. j=0 ■/ 0

Таким образом для f = F' G L[0,1) имеем ck = /(k), k G N. Равенство c0 = /(0) легко получить, прибавляя к f константу. Лемма доказана.

x

Замечание 1. Аналогичный результат имеет место для Fn(x) = J an(t)dt,

o

где an(t) = (S1(t) + .... + Sn(t))/n. Вместо равенства (6) будем иметь 1

/ F^(t)xk(t) dt = (1 — k/n)Ck. В остальном доказательство остается

onl

прежним.

Пусть X — банахово пространство функций па [0,1), такое, что {xn}0=o С X С L1[0,1) Оно называется однородным, если 1) ||f ||1 ^ ^ C||f ||X для всех f G X; 2) для всех h G [0,1) имеем ||f (x © h)||X = = ||f (x) ||x 3) линейная оболочка {xn}0=0 плотна bX. Следующая лемма доказана в [10, с.155] для случая pn = 2. В общем случае доказательство аналогично.

Лемма 4. Пусть Х^ однородное банахово пространство на [0,1), f G X, g G L[0,1). Тогда f * g G X и ||f * g||x < ||f ||x • ||g||b

Очевидно, это неравенство верно и приХ = B[0,1). Во введении было отмечено, что (L1^[0,1))* = L1'^'[0,1) при 1 < p < оо, 1 ^ q < оо. Из теоремы Банаха^Штейнгауза вытекает

Лемма 5. Пусть 1 <р<оо, 1 ^ q < оо, и для любой f G L1'9 [0,1) по-

1

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

следовательпость dn = f f (x)gn(x) dx ограничена. Тогда gn G [0,1)

o

для всех n и ||gn||p',q' = O(1).

Лемма 6. Пусть 1 <p<oo и 1 ^ p1 < p < p2 <оо, 1 <q<oo. Тогда

Lp2[0,1) С Lp'1[0,1) С [0,1) С L^'00 С Lpi[0,1), причем все вложения непрерывны.

Оценим норму ||/||рд через ||/||Р2. С помощью неравенства Гёльдера

1

||f ||р,1 = Р /t1/pf*(t)/tdt ^

p J

0

i 1 \ 1/P2 i 1 \ 1/P2 ^ p-1 U (fW2 dt 1 • I у tp2(1/p-1) dt 1 ^ CJf |p2, (7)

поскольку x/(x — 1) убывает пpn x > 1 и p'2 = p2/(p2 — 1) < p/(p — 1), то есть показатель при t в правой части (7) больше —1. Пусть теперь

||f |U = sup t1/pf*(t) < ГС. Тогда ||f ||g = f (f*(t))pi dt ^ f ||f • te(0,1) о 0

t—pi/pdt ^ C2||f так как — p1/p > —1. Средние вложения отмечены во введении. Лемма доказана.

Следствие 1. Если множество G измеримых на [0,1) функций таково, что ||g||p,q ^ C для всех g Е G и некоторых p Е (1, то), q Е [1, то], то множество {F(g)(x) : g Е G} равностепенно абсолютно непрерывно.

Вытекает из лемм 2 и 6, если взять Ф(и) = upi, где 1 < p1 < p.

Лемма 7. 1) Пусть Ф удовлетворяет Д2-условию. Тогда линейная оболочка {xn}ГС=0 плотна в L$[0,1) и

Em„ (f )Ф < ||f — Sm„ (f )|Ф < ^n (f )Ф < 2Em„ (f )ф. (50

2) Пусть 1 <p< то 1 ^ q ^ то Тогда линейная оболочка {xn }ГС=0 плотна в [0,1) и

Em„ (f )pq ^ ||f — Sm„ (f) ^pq ^ (f )pq ^ 2Em„ (f )pq. (5 )

Доказательство

Из абсолютной непрерывности || • ||ф при Д2-условпп па Ф (см. [2, §10, теорема 10.3]) и теоремы Лузина следует плотность пространства

непрерывных функций С[0,1] в Ьф[0,1). Плотность же линейной оболочки {Хп}0=о в С[0,1] хорошо известпа(см., например, неравенство (5) при р = оо ). Также из неравенства (5) следует плотность линейной оболочки {Хп}0=о в любом 1)1 ^ р < оо, а в силу леммы бив любом [0,1), где 1 <р<оо и 1 ^ д ^ оо. Кроме того, ясно, что нормы || • ||ф и || • ||Р;д инвариантны относительно сдвига, и что Ьф[0,1) и Ь^9[0,1) при условиях 1) или 2) вложены непрерывно в Ь[0,1). Значит, пространства Ьф[0,1) и Ь^9 [0,1) являются однородными и левые неравенства (5') и (5") доказываются аналогично (5) с применением леммы 4. В доказательстве же правых неравенств (5') и (5'') используется только инвари- антность нормы относительно сдвига и постоянство £п (х © к) при условиях £п Е РТОп и к Е [0,1/тп) (см. [1, §10.5]). Лемма доказана.

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

оо

Теорема 1.1) Ряд Е Х&(х) является рядом Фурье функции д Е

&=о

ш„-1

Ьф[0,1) тогда и только тогда, когда для Бтп(£) := Е Х&(х) справед-

п ^=о

лмео неравенство |^ТОп||ф ^ С, где С не зависит оти.

оо

^ Ряд Е Х&(х) является рядом Фурье функции, д Е Ь^9[0,1)7 &=о

1 <р<оо; 1 ^ д ^ оо 7 тогда и тол ько тогда, когда |^ТОп ^ С7 Си

Доказательство

1) Для Ф(х), удовлетворяющей Д2-условию, необходимость условия ||^шп ||ф ^ С легко следует из лемм 4 и 7. В общем случае доказательство менее тривиально. Пусть д Е Ьф[0,1) и ||д||ф = 0. Как известно (см. [2, §9, неравенство(9.21)])

1

/ Ф(|д(х)|/||д||ф) ¿х < 1.

Отсюда с помощь,о неравенства Йепсепа (см. [8, глава 10, §5], где оно

приведено в более общей форме), имеем

Ф (|Smn(g)(x)|/||gУф) ^ Ф (| Dmn(x © t) • |g(t)| • Hg^i1 dt ) ^

i 1 ^f Dmn (X © t^(|g (t)|/||g|^) dt/ J Dmn (X © t) dt —

0 0 1

= f Dmn(x © Ф(1д(t)|/||g|^) dt. 0

Поэтому

1 1 1

Пд (t)l\

(д)(х)|/|д|ф) dx ^J J Dmn (x © t) dx Ф^ J^J dt — 0 0 0

1

- / ф (S) ' <

0

Из неравенства Юнга [2, §2] следует, что

llSm.(g)(x)\/Hghh — sup И\Smn(g)(x)|/||gy/(x)| dx : j Ф(|/|)(x) dx < 1 )> ^

l 0 0

1

^JФ (|Smn(g)(x)|/||g|W dx + 1 ^ 2. 0

Значит, ||Smn(g)|^ ^ 21g|ф при n G Z+.

Пусть теперь ||Smn ||ф ^ C. Тогда, как отмечено выше,

1 x

j Ф(\Smn(x)|/C) dx ^ 1 и no лемме 2 функции Fn(x) — f Smn(t)/Cdt 0 0 равностепенно абсолютно непрерывны. В свою очередь, по лемме

3 существует g G L[0,1) такая, что g(k) — Ck для всех к G Z+.

Известно, что 5тп(д)(х) сходятся п.в. к д(х) для д Е Ь[0,1)(см. [1,

п 1

§2.8]). Пусть / — такова, что / Ф(|/|)(х) ¿х ^ 1. Тогда из неравенства

о

1

/ |5тп(д)(х)||/(х)| ¿х ^ С в пределе по теореме Фату получаем

оп

1

I |д(х)Н/(х)| ¿х ^ С,

о

откуда ||д|ф ^ С.

2) Необходимость условия ||5тп ^ С вытекает их леммы 4 (при помощи леммы 7): ||5тп(д)||рд ^ ||д||рд • |^ТОп||1 = ЦдЦр^. Пусть теперь ||5тп ^ С, 1 <р< о, 1 ^ д ^ о. Тогда в силу леммы 6 выполнены условия леммы 2 для Ф(и) = иР1, где 1 < р1 < р. Снова по леммам 2 и 3 (пли следствию 1 и лемме 3) существует д Е Ь[0,1) такая, что д(к) = , к Е Ъ+. Известно, что из сходимости дп(£) к д(£) п.в. на [0,1) следует сходимость дП (£) к д*(£) во всех точках непрерывности д*(£), т.е. почти всюду (см. [11, глава 2, §2, свойство 11°]). Снова применяя теорему Фату, получаем, что ^ С.

оо

Следствие 2. 1) Ряд Е с&Х& (х) является рядом Фурье функцпн д Е Нф, где Ф удовлетворяет Д2^условию, в том и только том случае, когда существуют констнанты С1,С2 > 0, такие, что при всех к, и Е Н, к Е [0,1/тй) справедливы неравенства

|5тп (х © к) - (х) ||ф < С^, (8)

||5тп(х)11ф ^ С2; (9)

оо

2) Ряд ^ Х&(х) является рядом Фурье функции д Е Нр^, 1 < р < о, 1 ^ д ^ о, в том и только том случае, когда существуют константы С1,С2 > 0 такие, что при всех к,и Е Н, к Е [0,1/т&) справедливы неравенства

Ц^ (х © к) - (х)|р,9 < С^, (8')

№тп(х)\\р>д ^ С2. (90

Доказательство

1) Пусть д Е Нф С Ьф[0,1) и Н Е [0,1/тк). Тогда (9) имеет место по теореме 1, а в силу лемм 4 и 7

\\Smn(х © Н) - Бтп(х)\\ф < \\Dmn|| 1 Пд(х © Н) - д(х)\\ф < шк(д)ф < Сзш,

то есть (8) также выполнено. Если выполнены (8) и (9), то по теореме 1 существует д Е Ьф[0,1), такая, что д(к) = ск при всех к Е Ъ+ и £тп(х) = = Бтп(д)(х) при всех п Е Ж+. Используя сходимость п.в. Бтп(д)(х) к д(х)

\\д(х © Н) - д(х)\\ф < Сцшк,

откуда д Е Нф.

2) Доказательство аналогично доказательству 1) и также использует леммы 4, 7 и теорему 1.

Замечание 2. Аналогичный следствию 2 результат можно доказать Нф Н1ф

\\Зтп (х © Н) — Бтп (х)\\р ^ С1шк „где р = ^и р = то. Условие же (9) следует заменить на фундаментальность {Бтп (х)}ТО=о в ^1[0,1) или С*[0,1) (ср. с теоремами (4.2) и (5.5) в [9, глава 4], а также с теоремами 15 и 17 в [12]).

Теорема 2. 1) Включение {АкЕ (ЬФ,Е), где Е = В[0,1) или Е = С*[0,1) равно- сильно существованию д Е Ь^[0,1)7 такой, что д(к) = Ак при всех к Е Ъ+.

2) Включение {Ак}^=о Е (ЕРЛ,Е), где Е = В[0,1) шш Е = С*[0,1), 1 < р < то 1 ^ Я < ТО равносильно существ ованию д Е [0,1)7 такой, что д(к) = Ак при вс ех к Е Ъ+.

1) Необходимость условия д Е Ь^[0,1) мы докажем для Е = В[0,1), а достаточность — для Е = С*[0,1) Пусть / Е Ьф[0,1) {Л^}0=о Е (Ьф, В), то есть существует р Е В[0,1), такая что к(к) = Л&/(к) при к Е Ъ+. Поскольку (к * Дтп)(к) равны Л&/(к) при 0 ^ к < тп и равны нулю

тп — 1

при к ^ шп, а для /п = Ё Л&коэффициенты (/ * /п)(к) имеют те же значения, то по теореме единственности к * Дтп = / * /п. В частности, значения

1

|к * Втп(0)| = |/* /п(0)| = /(¿)Ц0 © *)

о

ограничены для любой / Е Ь ф[0,1). По лемме 1 получаем ||/п||ф ^ С1? и по теореме 1 найдется д Е Ь^[0,1) такая, что д(к) = Л&, к Е Обратно, пусть / Е Ьф[0,1) д Е Ьф[0,1). Тогда благодаря неравенству Гёльдера (3) имеем

|/* д(х © к) — / * д(х)| < ||/(• © к) — /(•)|ф|д|ф,

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

откуда / * д Е С*[0,1) и {д(к)}0=о = {Л&}0=о Е (Ьф, С*).

2) В обозначениях пункта 1) при / Е Ь^'9[0,1) снова имеем ограниченность / * /п(0), откуда по лемме 5 Ц/пЦу^' ^ Сь Так как 1 < р' < о, по теореме 1 находим д Е Ь^''9'[0,1) такую, что д(к) = Л&, к Е Ъ+. Обратное утверждение следует из неравенства Гёльдера (4). Теорема доказана.

Сформулируем аналоги теоремы 2 для случаев Ь1[0,1) и В [0,1).

Теорема 3.1) Включение {Л&}о=о Е (В, С*) равносильно существованию д Е Ь1[0,1) такой, что д(к) = Л& для всех к Е Ъ+.

2) Включение {Л&}о=о Е (Ь1,В) (или (Ь1,С*)У) равносильно существованию д Е В [0,1) такой, ч то д(к) = Л& для вс ех к Е Ъ+.

Доказательство

1) Пусть / Е В[0,1) и {Л^}о=о Е (В, С*). Тогда существует к Е

С*[0,1), такая, что Н(к) = Ак¡(к) при к Е Ъ+ и |Н * Бтп(0)| =

1 п-1

= I / I(Шег) &| сходятся к Н(0) (снова 1п = ^ ск\к)- Согласно след-

о к=о

ствию из теоремы Банаха^Штейнгауза [9, глава 4, теорема(9.11)] нормы \/п\1 ограничены, а согласно теореме (9.13) из [9, глава 4] функции

X

Ьп(х) = / 1п(и) <1и равностепенно абсолютно непрерывны. В силу леммы о

3 существует д Е Ь1[0,1), такая, что д(к) = Ак, к Е Ъ+. Обратно, если / Е В[0,1) д Е Ь[0,1) д(к) = Ак, к Е Ж+, то для Н = / * д имеем Н(к) = Ак/ (к) и

ЦН(- © ¿) - Н(-)\\то < \\/\У\д(• © *) - д(*)\\1 ^ 0

при I ^ 0, т.е. Н Е С*[0,1).

2) Пусть / Е Ь1[0,1) {Ак}ТО=о Е (Ь1, В), тогда существует Н Е В[0,1),

такая что Н(к) = Ак / (к) к Е Ъ+. Снов а Н * Бтп = / * 1п и последователь-

1 " ность |Н* Лтп(0)| = | / /(£)/п(©£) ограничена. Снова по теореме (9.11)

о

из [9, глава 4] функции 1п(х) равномерно ограничены. Отсюда согласно лемме 2 из [13] следует существование д Е В[0,1), такой, что д(к) = Ак, к Е Ъ+. Обратно, если / Е В[0,1) д Е В[0,1) д(к) = Ак, к Е Ж+, то аналогично доказательству пункта 1) имеем / * д Е С * [0,1) С В [0,1). Теорема доказана.

Замечание 3. При рп = 2 достаточность в пункте 1) теоремы 3 была доказана Моргента- лером [12, теорема 19].

Теорема 4. Последовательность {Ак}£=о принадлежит, классу (Е, Нф )

1) при Е = Ь[0,1) существует д(/) Е Нф, такая, что д(к) = Ак, к Е

2) при Е = В [0,1) существу ет д Е Нф, такая, ч то д(к) = Ак, к Е Ъ+;

3) при Е = Ьф[0,1) существу ет д Е Нф, такая, ч то д(к) = Ак, к Е Ъ+;

4) при, Е = Ьрл[0,1)7 1 < р < то 1 ^ Я < ТО существует д Е Нф, ,,

такая, что д(к) = Лк? к Е Ъ+.

1) Пусть Е = Ь[0,1) / Е Ь[0,1) и {Лк}о=о Е (Ь,Я^). Тогда существует д(/) Е С*[0,1) для шторой д(к) = Лк/(к), к Е Ъ+. По теореме 3 найдется ^ Е В[0,1), такая, что ^(к) = Лк при к Е Ж+, причем д = ^ * /. По лемме [6.5.2] из [14] оператор д(/) ограничен из Ь в НХ- Поэтому при ||/11 ^ 1 величины

|(д(х © к) — д(х))М! =

у /(¿)(^(х © к © ¿) — <р(х © ¿))/^п ^ о

ограничены постоянной С1? выбор которой не зависит от х Е [0,1) и к Е [0,1/шп), п Е Ж+. Поэтому при любом п Е и к Е [0,1/тп) по теореме 9.11 из [9,глава 4]

||<р(- © к) — < С1.

В общем случае здесь стоит норма в Ьо[0,1), то так как ^ Е В[0,1), здесь можно рассматривать равномерную норму.

Обратно, если / Е Ь[0,1) ^ Е НХ? ^(к) = Лк, к Е Ж+, то (/ * д) ( к) = = Лк/(к) к Е Ж+, и при этом по лемме 4 ||(/ * ^)(х © к) — (/ * ^)(х)||о ^ ^ ||/© к) — ^(м)||о ^ С2ып при всех к Е [0,1/тп), то есть / * ^ Е

Ях

2) Пусть / Е В[0,1) и {Лк}°=о Е (В,ЯХ) с (В, С*). По теореме 3 найдем ^ Е Ь[0,1) такую, что Лк = ^>(к), к Е Ъ+. Снова используя теорему (9.11) из [9, глава 4], получаем (аналогично 1)), что ||^(х © к) — ^(х)|1 /ып ^ Сз равномерно по п Е Ъ+ и к Е [0,1/шп). Обратное утверждение, как и в 1), следует из леммы 4.

3) Пусть / Е Ьф[0,1) и {Лк}о=о Е (Ьф, НХ). Пусть д Е НХ с С*[0,1) такова, что д(к) = Лк/(к) к Е Ж+. По теореме 2 найдем ^ Е Ь^[0,1) та-

1

кую, что Ак = ф(к), к Е По лемме 1 из равномерной ограниченности

д(ж © Н) - д(ж)

^ф(ж © Н © ¿) - ф(ж © ¿) ^

по ж Е [0,1) и Н Е [0,1/тп) выводим ограниченность ||ф(и © Н) — ф(м)|

ф Е Если же / Е Ь ф [0,1) ф Е то, согласно неравенству Гёльдера (3), имеем

|/ * ф(ж © Н) — / * ф(ж)| ^ ||/||ф • ||ф(и © Н) — ф(м)||ф < С2^п,

откуда / * ф Е НХ-

4) Доказательство аналогично доказательству 3), только вместо леммы 1 используется лемма 5, а вместо леммы 3 — лемма 4.

Теорема 5. 1) Последовательность {Ак}£=0 принадлежит, классу (Ьф,У) тогда и только тогда, когда существует ф Е V (1, Ф); такая что Ак = ф(к) при всех к Е Ъ+.

2) Последовательность {Ак}£=0 принадлежит, классу , V), 1 < р < оо, 1 ^ д<оо тогда и только тогда, когда существует ф Е V (1, р/, д/); такая что Ак = ф(к) при вс ех к Е Ъ+.

Доказательство

1) Пусть / Е Ьф[0,1) {Ак}£=0 Е (Ьф, V) С (Ьф,В). По теореме 2 существует ф Е Ьф[0,1), такая что ф(к) = Ак, к Е Если д = / * ф и {(«¿, А]}£=1 _ совокупность непересекающихся полуинтервалов из [0,1), то

оо

¿=1

оо

f (¿)^(ф(Д © *) — ф(а © *)) ^

¿=1

(10)

По лемме 1 из ограниченности левой части (10) следует ограниченность норм

^(ф(А © г) — ф(а © £))

¿=1

ф

1

1

Другими словами, р Е V(1, Ф).

Обратно, если ] Е ЬФ[0,1) р Е V(1, Ф), д = / * р, то по неравенству Гёльдера из (10) мы выводим, что

^2(д(в) - д(аг))

г=1

Ф •

£(р(в © г) - р(аг © г))

г=1

^ С1

ф

где {(аг, вг]}ТО=1 _ совокупность непересекающихся полуинтервалов из [0,1), а С1 зависит от / и р.

2) Доказывается аналогично 1) с использованием леммы 5 и неравенства Гёльдера (4). Теорема доказана.

Теорема 6. 1) Последовательность {Хк}ТО=0 принадлежит, классу (Ь^,АС) тогда и только тогда, когда существуетр Е АС(Ф)7 такая что Хк = р(к) при, всех к Е Ъ+;

2) Последовательность {Хк}£=0 принадлежит, классу (Ьр,ч,ЛС), 1 < р < то 1 ^ Я < то, тогда, и только тогда, когда существует р Е АС (р/, я/), такая ч то Хк = р(к) при вс ех к Е Ъ+.

Доказательство

2) Достаточность условия р Е АС(р/, д/), как и в теореме 5, следует из неравенства Гёльдера (4). Пусть ] Е Ьр'4[0,1) 1 < р < то 1 ^ Я < то, а функцияд Е АС[0,1) такова, чтод(к) = Хк/(к) Рп = {(а(п),вг(п)]}^=(1Г) _ последовательность совокупностей непересекающихся полуинтервалов, такая что

N (п)

11Ш £

п

г=1

(п) (п)

v — а =0.

(11)

Так как д Е АС[0,1) то существует {7п}, такая что 7п > 0 при всех п Е N 1*ш 7п = 0 и

п

N (п)

£ (д(в,(п)) - д(а(п))

г=1

откуда аналогично доказательству теоремы 5 по лемме 5 выводится огра-

ниченность

N (п)

£ (ф(А(п) ег) - ф(«(п) е о)

¿=1

• 7"1.

I п

Здесь ф Е V(1,р',д') — функция, существование которой доказано в теореме 5. Значит, для любой последовательности Рп с указанными выше

свойствами

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

N (п)

£ (ф(Д(п) е г) - ф(а(п) е г))

¿=1

0

при п ^ оо. Если, несмотря на это, ф Е АС(р',д'), то найдутся ео и последовательность Рп со свойством (11), такая что

N (п

£ (ф(Д<п) е г) - ф(«(п) е г))

¿=1

что противоречит доказанному выше. 1) Доказывается аналогично 2). Теорема доказана.

Последняя теорема при выполнении Д2— условия для Ф совпадает с одним из утверждений теоремы 6 из 15.

Теорема 7. 1) Условие {Ак}0=о Е \ где Ф удовлетворяет

д2^ условию, равносильно существованию ф Е Ьф[0,1)7 такой что ф (к) = Ак при всех к Е

2) Условие {Ак}0=о Е ), 1 < р < оо7 1 < д < оо 7 равносильно

существованию ф Е Ьр/,?'[0,1) такой ч то ф(к) = Ак прм ее еж к Е Ж+.

Доказательство

2) Пусть / Е Ь1[0,1) {Ак}°=0 Е (Ь1,^), а й Е ¿^'[0,1). По теореме 2 имеем }0=о Е , В), поэтому {Ак}0=о Е (£, В) для любой ^ Е Ьр/,?'[0,1) По теореме 3 существует д Е В[0,1), такая что Ак= д(к), к Е Ж+. Таким образом, {Ак}0=о Е ,В). Снова по

теореме 2 существует ф е № q[0,1) такая что ф(k) = k G Z+. Обратное утверждение следует из леммы 4 для X = LP'q[0,1). Утверждение 1) доказывается аналогично 2). Ввиду применения леммы 4 приходится вводить Д2 — условие на Ф.

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

1. Голубое Б.И., Ефимов А.В., Скворцов В.А. Ряды и преобразования Уолша: Теория и применения. М.: Наука, 1987.

2. Красносельский М.А., Рутицкий Я.Б. Выпуклые функции и пространства Орлича. М.: Физматгиз, 1958.

3. Hunt R.A. On L(p,q) spases. L'Enseignement Math., 1966. V.12. № 4.

4. Стейн П., Вейс Г. Введение в гармонический анализ на евклидовых пространств. М.:Мир, 1974.

5. Скворцова М.Г. Свойства мультипликаторов тригонометрических рядов Фурье// Матем. записки Уральского ун^та, 1972. Т. 8. Вып. 2.

6. Verblunsky S. On some classes of Fourier series// Proc. London Math. Soc., 1932. V. 33.

7. Kaczmarz S. On some classes of Fourier series// J. London Math. Soc., 1933. V. 8.

8. Натансон Н.П. Теория функций вещественной переменной// М.: Наука, 1974.

9. Зигмунд А. Тригонометрические ряды. М.: Мир, 1965. Т. 1.

10. Schipp F., Wade W. R., Simon P. Walsh series. An introduction to dyadyc analysis. Budapest: Akademiai Kiado. 1990.

11. Крейн С.Г., Пет,унин Ю.И., Семенов E.M. Интерполяция линейных операторов. М.: Наука, 1974.

12. Morgenthaler С. W. On Walsh^Fourier series// Trans. Amer. Math. Soc., 1957. V. 87. № 2.

13. Агафонова Н.Ю. О мультипликаторах рядов борелевских мер// Ис-

следования по алгебре, теории чисел, функциональному анализу и смежным вопросам: Межвуз. сб. науч. тр. Саратов: Изд-во Сарат. ун-та, 2007. Вып. 4.

14. Качмаж С., Штейнгауз Г. Теория ортогональных рядов. М.: Физ-матгиз, 1958.

15. Волосивец С. С., Агафонова Н.Ю. О мультипликаторах равномерной сходимости рядов по мультипликативным системам// Исследования по алгебре, теории чисел, функциональному анализу и смежным вопросам: Межвуз. сб. науч. тр. Саратов: Изд-во Сарат. ун-та, 2005. Вып. 3

А.Е. КОРОТКОВ, Е.В. СЕЦИНСКАЯ

Об одном классе степенных рядов, принимающих трансцендентные значения в алгебраических точках

В 1881 году Линдеман доказал, что функция е^ в алгебраических точках а = 0 принимает трансцендентные значения [1]. Позднее, в 1885 году К. Вейерштрасс доказал более общее утверждение о том, что, если а1,..., ап, п ^ 2, различные алгебраические, а с1,..., сп — алгебраические, не все равные нулю, то

В данной работе доказывается одно утверждение, позволяющее расширить класс функций, для которых имеет место аналог теоремы Лин-демана.

Имеет место

Теорема. Пусть степенной ряд

УДК 511.3

С1еа1 + ••• + Спеа" = 0.

оо

п=о

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