научная статья по теме АБСТРАКТНАЯ ТЕОРЕМА КОЛМОГОРОВА, ПРИЛОЖЕНИЕ К МЕТРИЧЕСКИМ ПРОСТРАНСТВАМ И ТОПОЛОГИЧЕСКИМ ГРУППАМ Математика

Текст научной статьи на тему «АБСТРАКТНАЯ ТЕОРЕМА КОЛМОГОРОВА, ПРИЛОЖЕНИЕ К МЕТРИЧЕСКИМ ПРОСТРАНСТВАМ И ТОПОЛОГИЧЕСКИМ ГРУППАМ»

ДОКЛАДЫ АКАДЕМИИ НАУК, 2015, том 462, № 6, с. 633-636

МАТЕМАТИКА

УДК 517.5

АБСТРАКТНАЯ ТЕОРЕМА КОЛМОГОРОВА, ПРИЛОЖЕНИЕ К МЕТРИЧЕСКИМ ПРОСТРАНСТВАМ И ТОПОЛОГИЧЕСКИМ ГРУППАМ © 2015 г. С. В. Бочкарев

Представлено академиком РАН Б.С. Кашиным 22.12.2014 г. Поступило 29.12.2014 г.

БО1: 10.7868/80869565215180036

Одним из наиболее ярких фактов гармонического анализа является результат А.Н. Колмогорова о расходящемся тригонометрическом ряде, установленный в 1923 г. (см. [1]).

Теорема I. Существует функция ¥ е Х1(0, 2я), тригонометрический ряд Фурье которой расходится почти всюду.

Долгое время оставался открытым вопрос, привлекавший внимание специалистов еще в 30-х годах прошлого века, о распространении этой фундаментальной теоремы Колмогорова на все ограниченные ортонормированные системы. Но так как при построении расходящегося почти всюду ряда Фурье использовались тонкие специфические свойства тригонометрической системы, то представлялось невозможным осуществить подобную конструкцию в общей ситуации, где необходимо оценивать связанную с распределением знаков интерференцию заданных неявно ядер Дирихле, соответствующих 5-функциям с различными носителями.

В 1975 г. автор [2] разработал новый метод построения расходящихся рядов Фурье, применимый к любой ограниченной ортонормированной системе.

Теорема II. Пусть {/п}Г = 1 — ортонормиро-ванная на [0, 1] система, удовлетворяющая при некотором А > 1 условию

||/П||г < А, п = 1, 2, ...

Тогда существует такая функция ¥ е Х1(0, 1), ряд Фурье которой по системе {[„} неограниченно расходится на множестве Е, ц(Е > у (А) > 0.

Замечание 1. Множество Е точек расходимости здесь необязательно имеет полную меру

(даже для полной системы У„}). Однако в классических случаях (тригонометрическая система, система Уолша, системы характеров, а также любые перестановки указанных систем) из расходимости на множестве положительной меры непосредственно выводится существование рядов Фурье, расходящихся почти всюду (см. [3, с. 247— 249]), поскольку указанные системы допускают сдвиги.

В настоящем сообщении теореме Колмогорова придана наиболее общая форма. Здесь рассматриваются любые ограниченные биортонор-мированные системы комплекснозначных функций, определенных на произвольном измеримом пространстве. Для этих систем установлен результат, дающий точную нижнюю логарифмическую оценку мажоранты отрезков частных сумм двух сопряженных рядов Фурье, взятых от набора 5-функций со специально подобранными носителями. Полученная абстрактная теорема применена для построения расходящихся на множестве положительной меры рядов Фурье—Лебега по ограниченным биортонормированным системам комплекснозначных функций, определенных на метрических пространствах и топологических группах.

Пусть (X, ц) — пространство с мерой, S есть ст-алгебра ц-измеримых множеств, цХ = 1, и пусть

{Л, 8п} Г = 1 — биортонормированная система ком-плекснозначных функций, определенных на X, т.е.

\fn(x)8m М ФМ = S„

n, m = 1, 2,

(1)

Математический институт им. В.А. Стеклова Российской Академии наук, Москва E-mail: bochkarv@mi.ras.ru

где 5И, т — символ Кронекера.

Через Хр(Х, ц), 1 < р < да, обозначим пространство Лебега комплекснозначных функций на X (см. [4, гл. 1], а также [5]). В статье рассматриваются такие системы {[„, gn}, для которых^, & е п = 1, 2, ...

Для любой F е L1(X, ц), система {fn, gn} порождает два ряда Фурье, называемых сопряженными рядами:

да да

£ (F, gn )fn (x), £ (F, fn)(x). (2)

n = 1 n = 1

Через ~ и <§ обозначаются эквивалентность и неравенство с абсолютными постоянными, С(-) и у(-) обозначают положительные постоянные, которые зависят от указанных параметров и могут быть разными в разных формулах, ц(Е есть ц-ме-ра измеримого множества E с X, log — натуральный логарифм.

Имеет место общая теорема, дающая нижнюю оценку Lj-норм частных сумм двух рядов по сопряженным системам {fn}, {gn} с произвольными комплексными коэффициентами (см. (1), (2)).

Теорем а 1. Пусть {an}, {bn} — две последовательности комплексных чисел. Тогда для любого N = 2, 3, ... выполняется неравенство

max (||aj\„ + \\bn

1 < n < N

) x

О/

N

£11

m = 1 X

£ afn( x)

£ bngn (x )

ф( x) >

> log N

N

£ ^nanbnI 1 -

n

N + 1

n = 1

(3)

где {Кп} — последовательность положительных чисел, причем

К - 1, п = 1,2,... (4)

Из теоремы 1 выводятся логарифмические нижние оценки средних арифметических от сим-метризованных функций Лебега для системы {/п, gn} в точке и на множестве положительной меры (см. (3)).

Теорема 2. Для почти всех х е X при любом N = 2, 3, ... выполняется неравенство

max (Ifnllда • \\gn\\да) x

1 < n < N

N

£f

m = 1 X

£ fn( x ) gn (0)

: = 1

+

£ gn(x)fn(0)

dp,(x) >

> log N

N

£ ^nfn (x ) gn (x )

1 - -

n

N+ 1

n = 1

(5)

где {Кп} удовлетворяет соотношению (4).

Определение. Назовем биортонормиро-ванную систему {/П, gn} ограниченной, если существует положительная постоянная А > 1, для которой

Ида • Ыда <А; п = 1, 2,... (6)

Используя (1), (5), (6), получим оценку средних арифметических от функций Лебега ограниченной биортонормированной системы {/П, gn}.

Те о р е м а 3. Пусть {/п, gn} — комплекснознач-ная ограниченная биортонормированная система. Тогда для любого N = 2, 3, ... существует множество ЕN с X,

(Е) > у(А), (7)

для которого при всех х е EN справедлива оценка

£ fn( x ) gn (0)

: = 1

+

£ gn(x)fn(0)

dц(0)>

1

> — log N. A

(8)

В вещественном случае теоремы 1—3 установлены в работах автора [1, 6, 7].

Следующий результат содержит абстрактную формулировку теоремы Колмогорова для любой ограниченной биортонормированной системы, определенной на произвольном измеримом пространстве.

Тео р е ма 4. Для любой ограниченной биортонормированной системы комплекснозначных

функций {/п, gn}да = 1, определенных на измеримом пространстве X, при каждом N = 2, 3, ... существует множество Q.Nс Xш + 1, состоящее из точек (01, 02, ..., 0^; х), для которого выполняется неравенство (см. (6))

((О^ > У(А), (9)

и существует последовательность номеров {тр (х)}, ^ < тр (х) < N(p + 1), зависящая от точки х е X, а также существуют функции п/0) = 0, 1; где 0 = = (01, 02, ..., 0^),] = 1, 2, ..., такие что при всех

(01, ^ 08№ х) е ^ выполняется следующее соотношение:

4 N

lim - £

j = 1

mp(x)

In2j - 1(0) £ fn (x ) gn (02j - 1) +

^ n = Np

mp(x) \

> C(A) log N. (10)

+ Л2/С0) £ gn(*)/п(02,)

п = Ир '

Подобная теорема в вещественном случае была установлена в работе автора [7].

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

x

x

АБСТРАКТНАЯ ТЕОРЕМА КОЛМОГОРОВА

635

ограничение на биортонормированную систему {fn, 8n} (см. [7]):

lim

Jf(x f(x) d^x) = 0,

(11)

lim [F(x) gn (x) d^(x) = 0

n ^ да J X

для любой F e Lrrj.

Соотношения типа (11) использовались в первоначальной конструкции, разработанной для ортонормированных систем (см. [2]). Но в случае биортонормированной системы соотношения (11) могут не выполняться (см. [7]), и поэтому они были введены в качестве дополнительного условия на систему {fn, gn}, от которого в этой работе удалось освободиться.

Для того чтобы на основе теоремы 2 получить ряд Фурье—Лебега, расходящийся на множестве положительной меры, нужно аппроксимировать 5-функции Дирака ступенчатыми функциями, а для этого в пространстве X должна иметь место теорема о дифференцировании неопределенного интеграла. Тогда в силу соотношений (9) и (10) можно выбрать такую систему 5-функций с носителями в точках 01, 02, ..., 08N, где

(01, 02, ..., 08N; x) e Q, N = 2, 3, ..., соответствующая аппроксимация которых позволяет построить расходящийся ряд Фурье—Лебега.

Пусть теперь X — метрическое пространство, в котором задана борелевски регулярная внешняя мера ц*. Согласно Каратеодори внешняя мера ц* порождает на X полную меру ц (см. [8, с. 44—49]).

Далее, пусть {Pm = х — регулярная последовательность сетей в X, где каждая сеть Pm образует борелевское разбиение пространства X на ячейки S, для которых выполняется соотношение (см. [4, с. 230])

lim sup{diam(S): S e Pm} = 0.

m ^ да

Тогда эта последовательность сетей образует ц*-покрытие Витали и для любой функции F e e L1(X, ц) при почти всех x e Xимеет место равенство

lim-1-

m ^дац(Sm(X))

J F(0)d^0) = F(x),

F2 е Ьх(Х, |) ) и найдется множество Е е X, такие что

|(Е) > у(А), и при всех х е Е выполняется соотношение

lim

N ^ да

N

£ ((Fx, gn)fn(X) + (F2, fn)gn(X))

В частности, для евклидова пространства К™ и классической меры Лебега получаем следующее утверждение.

Теорема 6. Пусть Е — измеримое множество в К™, где т = 1, 2, ..., и |(Е) < да. Тогда для любой ограниченной биортонормированной на Е системы

комплекснозначных функций {/п, gn}" = х существует ряд Фурье, неограниченно расходящийся на множестве

Е1 с Е, |(Е1) > у(А, |(Е)).

Отметим, что вещественный вариант теорем 5 и 6 при дополнительном условии (11) был установлен в работе [7].

Применим абстрактную теорему Колмогорова (теорема 4) к топологическим группам. Пусть О — компактная абелева группа и пусть | — инвариантная нормированная мера Хаара на О (см. [10, гл. 5; 11, гл. 2; 12, гл. 4; 13, гл. 3]). Будем использовать следующую теорему о дифференцировании неопределенного интеграла, которую доказали Э. Хьюитт и Р. Эдвардс (см. [14; 12, т. 2, с. 762— 770]) для локально компактных групп с левоинва-риантной мерой Хаара.

Через Б' обозначим последовательность боре-левских множеств и„, таких что

и ^ и ^ ... ^ ип ^ ...

и для некоторой положительной постоянной С при всех п = 1, 2, . выполняется неравенство

0 < |(оп и—1) < С|(Ц,).

Предположим также, что каждая окрестность единицы группы О содержит некоторое Лп. (В частности, конечномерный тор и все группы Ли допускают Б '-последовательность (см. [14])). Тогда для любой комплекснозначной функции / е Х1(О, |) при

Для дальнейшего прочтения статьи необходимо приобрести полный текст. Статьи высылаются в формате PDF на указанную при оплате почту. Время доставки составляет менее 10 минут. Стоимость одной статьи — 150 рублей.

Показать целиком

Пoхожие научные работыпо теме «Математика»