О мере объединения множеств точек, покрытых k раз k-кратными растяжениями интервалов Текст научной статьи по специальности «Математика»

УДК 519.999

О МЕРЕ ОБЪЕДИНЕНИЯ МНОЖЕСТВ ТОЧЕК, ПОКРЫТЫХ к РАЗ к-КРАТНЫМИ РАСТЯЖЕНИЯМИ

ИНТЕРВАЛОВ1

© 2006 К.Е. Тихомиров2

В работе рассматривается проблема оценки меры объединения точечных множеств, покрытых к раз в к раз расширенными интервалами, которая была поставлена в 1992 году (труды международной конференции в Израиле). Доказано, что эта проблема эквивалентна некоторой комбинаторной матричной задаче. Кроме того, показано, что ее положительное решение позволяет усилить теорему Марцин-кевича, связанную со структурой замкнутых множеств на прямой, и установить некоторые новые свойства суммируемых функций.

Введение

Отправной точкой для настоящей работы послужила следующая проблема, поставленная И.Я. Новиковым на международной конференции "Интерполяционные пространства и смежные области" (Израиль, 1992 год) [1]. Пусть п е М; щ, 8г е К; 8(- ^ 0 (г = 1,.., п). Определим множество:

П(а1;..,ап, 81,.., 6п) = [геК : Зке{1,..,п}: сагЩг : ге(щ,щ + к8г)} ^ к}, (г)

где, как обычно, еагёЕ — количество элементов множетва Е. Иначе говоря,

п

П содержит и (аг, аг + 8г), пересечения вида (аг, аг + 28г) П (aj, а^ + 28^ (г ф ]) г=1

и т.д. Пусть |П| — лебегова мера множества П.

Проблема 1. Существует ли константа С, не зависящая от п, аг, 8,-,

п

такая, что |П| ^ С 2 8г?

г=1

Несложный анализ показывает, что решение проблемы 1 является весьма важным в связи с теорией интегралов Марцинкевича, введенных в [2]

1 Представлена доктором физико-математических наук, профессором С.В. Асташки-ным.

2Тихомиров Константин Евгеньевич ([email protected]), кафедра функционального анализа и теории функций Самарского государственного университета, 443011, Россия, г.Самара, ул.Акад. Павлова, 1.

(см. также [3] и [4, гл. 1, § 2]). Напомним, что свойства интегралов Мар-цинкевича существенным образом используются при доказательстве целого ряда замечательных результатов в теории рядов Фурье [5, гл. 4].

Буквально полгода назад было анонсировано положительное решение проблемы 1 [6]. Тем не менее полное доказательство, насколько нам известно, еще не опубликовано.

Центральным в настоящей работе является § 3, в котором приведено доказательство эквивалентности проблемы 1 и комбинаторной проблемы 2, связанной с некоторым свойством (0,1)-матриц. Перед этим в § 2 изучаются свойства множеств П, используемые в дальнейшем. В последней части работы рассматривается следствие положительного решения проблемы 1 для суммируемых функций. Начнем же мы с доказательства того, что предположение о существовании абсолютной константы С для множеств П является усилением известной теоремы, утверждающей сходимость почти всюду интеграла Марцинкевича [4, гл. 1].

1. Связь с теоремой Марцинкевича

Пусть F — замкнутое множество на К; Ь(г) обозначает расстояние от F до г; у > 0.

Теорема 1.1 (Марцинкевич). Интеграл

1

ГЬ(х + у)Ч

1(х) =

ГЬ(х + у1

-1

сходится для почти всех х е F.

Предположение о положительной разрешимости проблемы 1 является

усилением теоремы 1.1, что будет показано в дальнейшем.

Рассмотрим конечную или счетную систему интервалов {Г;}. Обозначим

через г;(х) расстояние от х до г-го интервала, а через Х;(х) — относительное г;(х)

расстояние, равное -.

Лемма 1.1. Пусть {Г;}°=1 —система попарно непересекающихся интер-

оо оо

валов, причем множество и Г; ограничено; F = К\ и Г;; у > 0. Тогда для

;=1 ;=1 почти всех х е F сходимость интеграла (1.1) эквивалентна сходимости ряда

о

у 1 .

£ >ч(х)1+У

Доказательство. Так как множество CF, по условию, ограничено, то вместо интеграла (1.1) можно рассматривать интеграл

Г 6(х + у)У Г Ь(гУ х^ Г Ь(гУ ^

Поскольку на интервале Т, функция 6(г) равна шш^ир Т, -z, z -^ Т,), справедлива следующая оценка:

««< (гА^.пт- -

\z - x|1+Y 2Yy\ ri(x)Y (r¡(x) + | Ti 2y

Ti

где bi = - ) < 00 > если ^«'W > Если же ^«'W ^ h то для любых a,be T¡: < 2, и поэтому

8ирГ;-±|Г;| - чу

Г Г (41 г I)

J |z-x|1+^ J

Ti infr;+i|r;|

1/1 У Г dz 1

^ТТг 4|Гг| J =

Ti

CC

Так как \{x e F : 3i ^ m : X¿(x) < 1}\ ^ 2 £ \Ti\ ^ 0 при m ^o, то получаем,

i=m

что для почти всех x, начиная с некоторого номера m(x):

11 -йг(*) < /г(х) < —bi(x),

3 .47 2У

со

то есть сходимость интеграла (1.1) эквивалентна сходимости ряда £ Ь(х).

г=1

Нетрудно проверить, что общий член этого ряда стремится к нулю тогда и только тогда, когда А,-(х) ^о; в этом случае

у In 11 — 1

1

^i(x)1+Y'

А(х) + 1, Лемма доказана.

Вернемся опять к множествам П. Формулу (1) легко распространить на случай бесконечной системы интервалов {(а,-, а, + б,-))0^, а именно:

Пс = {г е К : Зк е N : сагЩг : г е (щ, щ + кб,)) ^ к)

Наряду с множеством Пс, рассмотрим множество П-, которое строится аналогично и в некотором смысле симметрично Пс относительно интервалов (аа, + б;):

Псс = {г е К : Зк е N : сагЩг : г е (а, - (к - 1)б,-, а1 + б,-)) ^ к).

Определение 1.1. Перестановку {А*(х)) последовательности {А,-(х)) будем называть неубывающей, если для всех А*(х) ^ А*+1(х).

сс

Лемма 1.2. Пусть х £ Пс и П- и и (а, - б;, а, + 2б,). Тогда неубывающая

;=1

перестановка последовательности {А,-(х)) является мажорантой для последовательности + !}•

Доказательство. Неубывающая перестановка последовательности {А,-(х)) существует, так как А,-(х) ^то (в противном случае х принадлежал

бы Псо или П~). Предположим, что существует т е М: У^*т(х) < +

+ 1. Если т е {1,.., 4}, то Хт(х) < 1, и сразу приходим к противоречию, так как х £ (ат - Ьт, ат + 2Ьт). Если же т > 4, то, учитывая, что сагЩ; : Л*(х) ^ Хт(х)} ^ т, получаем:

^ 4

саМ |; : х е | а; -т1

т1

+ 1 = 2

4

т1

+ 1| б;, а; + т1

т1

+ 2 + 2

4

- 31 ^ 2

+ 2\ б^ ^ т ^ т1

+ 2 - 1,

откуда, очевидно, следует, что х е Пто или х е Пто. Таким образом, для всех г е № Ц(х) ^ + 1.

Следствие 1.1. Пусть {Т;}, F определены как раньше. Тогда если проблема 1 имеет положительное решение, то для почти каждой точки х е F существует такое т(х) е М, что неубывающая перестановка последовательности мажорирует последовательность ™(х> ^ + 1| ^

Доказательство. Выберем натуральное т и определим множества Пто и П- для подсистемы интервалов {Т;}ТО , положив а; = inf Т;, б; = |Т;|. Пусть

М(т) = и и у (а; - б;, а; + 2б;).

Тогда, в силу предположения, |М(т)| ^ (2С + 1) 2 б; ^ 0 при т ^ то.

;=т

Поэтому для почти всех х е F существует т(х) е М такое, что х £ М(т(х)), и утверждение справедливо, согласно лемме 1.2.

Замечание 1.1. Теорема 1.1 с учетом леммы 1.1 может быть сформулирована следующим образом: при любом расположении ограниченной системы попарно непересекающихся интервалов на числовой прямой ряд " 1

сходится почти всюду. Если абсолютная константа С существу-

5 ЧхУ+ч

ет для множеств П, следствие 1.1 дает более сильное ограничение на Х;(х):

ТО 1

почти везде ряд ^ —-— сходится, и его остаток мажорируется рядом

;=1 ;( )

то л

У——

1+у '

2. Свойства множеств П

Так как

П(ах,.., а;,.., ау,,.., ап, бх,.., б;,.., бj,.., бп) =

= П(а1,.., ау,.., а;,,.., ап, б1,.., б у,.., б;,.., бп),

то в дальнейшем будем предполагать, что a,+1 ^ a,, и только такие значения ,.., an считать допустимыми. Формулу (i) можно переписать в следующем виде:

П(а1;.., an, bv.., &n) = [J p|(a,., ai + cardM6,). (2.1)

Mc(1,..,n) ieM

Предложение 2.1. Функция 2n переменных П^,.., an, 6^.., 6n)| непрерывна в Rn X R+.

Доказательство. Пусть a,, 6,, i = 1,.., n — некоторые значения аргументов; A(a,), A(6,), i = 1,.., n — соответствующие приращения; A(a) = max |A(a,)|,

i

A(6) = max |A(6,)|; a*i = a, + A(a,), 6i = 6, + A(6,), i = 1,.., n. Используя формулу (2.1), оценим приращение рассматриваемой функции:

||H(a1,.., a*n, 61,.., 6n)| - |H(a1,.., an, 61,.., 6n)|| ^

^ |H(a1,.., a*n, 61,.., 6*n) A H(a1,.., an, 61,.., 6n) ^

^ ^ |Pa, a*i + cardM6i) A P(a, ai + cardM6,) ^ Mc(1,..,n) ieM ieM

^ ^ ^ |(ap a* + cardM6*p A (a,, ai + cardM6,)| ^

Mc(1,..,n) ieM

Yu (|A(a,)| + cardM|A(6,)|) < 2nn (A(a) + nA(6)) ^ 0

Mc(1,..,n) ieM

при A(a), A(6) ^ 0.

В общем случае множество n(a^.., an, 61,.., 6n) может состоять из нескольких интервалов, попарно непересекающихся и не имеющих общих граничных точек. Тем не менее, в контексте проблемы 1 достаточно рассматривать только множества П со связными замыканиями П; это будет доказано ниже, но сначала рассмотрим лемму.

Лемма 2.1. Пусть a^.., an, 61,.., 6n — допустимые значения параметров; A > 0 таково, что a,+1 ^ a, + A;

0 = n(a1,.., an, 61,.., 6n) П (a,+1, +м);

©A = n(ab.., a,, a,+1 - A,.., an - A, 61,.., 6n) П (a,+1 - A, +ю),

тогда |0| < |©a|.

Доказательство. Пусть t e 0, тогда, в соответствии с (2.1), существует M c{1,.., n):

t e P (ay, aj + cardM6 j) П P (a^, a ■ + cardM6) П (ai+1, +ra). jeMn(1,..,i) jeMn(i+1,..,n)

Так как t > a,+1 ^ ay + A для любого j e (1,., i), то из принадлежности t интервалу (a.,a■ + cardM6j), где j ^ i, следует принадлежность t - A тому же интервалу, то есть

t - A e P (aj, aj + cardM6j).

jeMn(1,..,i)

Кроме того, очевидно, что

t - Д е (aj - Д, aj - Д + card Mb j) П (ai+\ - Д, +то).

yeMn(i'+1,..,n}

Таким образом, t- Д е 0д. Получаем, что {t : t - Д е 0д| э 0, откуда следует соотношение для мер.

Предложение 2.2. Для любых допустимых значений параметров ai,.., an, бр.., bn существуют такие a1,.., a^, что

|n(ai,.., an, bi,.., bn)| ^ |n(a1,.., a*n, bi,.., 6n)|,

и H(a1,.., an, bi,.., bn) — связное множество (отрезок).

Доказательство. Пусть ai,.., an, bi,.., bn — некоторые значения параметров. Введем обозначения:

П; = H(ai,.., a;, bi,.., b;).

Тогда П; с П'+i, i = i,.., n - i. Далее, из (i) следует, что

П; П (-то, a'+i] = П'+i П (-то, a'+i]; П'+i э (a;+i, sup П'+i),

поэтому П'+i = П;U(a;+i, sup П'+i). Множества П; и (a;+i, sup П'+i) имеют непустое пересечение, если sup П; > a;+i. В этом случае

(a;+i, sup П;) с (a;, sup П;) С П;,

то есть П'+i = П; U [sup П;, sup П'+i). Таким образом,

П'+i = П; U (max(a;+i, sup П;), sup П'+i)

Значит, если множество П; несвязное, то П'+i тоже. Поэтому для доказательства предложения достаточно показать, что если

max{; : П; — связное} = ;'о < n,

то существуют ai,..,a'n такие, что

max{; : П- = П(a1,.., a'i, bi,.., b;) — связное} ^ 'о + i,

и

|ПЦ,..,an,bi,..,bn)| = |П'| ^ |П|.

Рассмотрим следующие значения параметров: af. = aj, j = i,.., 'о; af. = aj - Д,

j J J J

j = 'о+i,..,n, где Д = a;o+i-supП^. Тогда П = П;, ' = i,..,'о; a'k+i = ak+i-(a;o+i-—sup П;о) = sup , поэтому множество П;о+i связное. Используя лемму (2.1), получаем:

|П'| = |П'\(П' П (a^+i, +то))| + |П' П (a^+i, +то)| ^

^ |П'П (-то, «;о+1]| + |П П (aio+i, +то)| = |П;о| + |П П (aio+i, +то)| =

= |П П (-то, a-()+i]| + |П П (оо+i, +то)| = = |П\(П П (a^, +то))| + |П П (a^+i, +то)| = |П|.

Следующая теорема определяет способ нахождения параметров a,, соответствующих множествам П с максимально возможной при данных 61,.., 6n мерой.

Теорема 2.1. Для любых допустимых значений параметров

a1 6n:

|n(a1,.., an, 61,.., 6n)| ^ |n(a1,.., a*n, 61,.., 6n)|,

где

ai = sup n(a1,.., ai-1,61,.., 6i-1), i = 2,.., n.

Доказательство. Пусть a^.., an, 61,.., 6n — допустимые значения параметров. Тогда, в соответствии с предложением 2.2, существуют a1,.., a'n такие, что замыкание множества П' = n(a1,.., a'n, 61,.., 6n) является связным, и |n(a1,.., a'n, 61,.., 6n)| ^ |П(а^„, an, 61,.., 6n)|. Определим параметры a1,.., a*n:

a1 = a1, ai = sup П(а1,.., a*_1,61,.., 6,_ 1), i = 2,.., n.

Поскольку (ai,supП(а1,..,ai,61,..,6,)) c П(а1,..,ai,61,..,6,), то замыкание множества П* = П^1,.., an, 61,.., 6n) связное. Рассмотрим две возможные ситуации.

1. Для любого i, соответствующего строго положительному 6,: a' ^ ai. Если t е П' П (—оо,то t е Ц,<] = (а\,а*п] с П*.

Если же t e П'П (an, +гс>), то, согласно (2.1), существует M c{1,.., n):

t e (a', a' + cardM6,) n (an, +м), ieM

а поскольку пересечение непусто, то для всех i e M: 6, > 0 и a' ^ ai ^ a^ и поэтому

t e Р(an, a' + cardM6,) c p|(а*, a* + cardM6,) c П* ieM ieM

Таким образом, П' c П i, откуда: |П'| ^ |П i |.

2. Существует j e{1,.., n): 6 j > 0 и a'. > a*-. Пусть

jj

l = min{j : 6j > 0; a' > a**) > 1.

Для любого i e (1,.., l - 1), такого, что 6, > 0, справедливо неравенство: а' ^ а*. Поэтому, в соответствии с пунктом 1, |П(а1,.., а'_ 1,61,.., 6i-1)| ^ ^ |П(а1,.., а *1,61,.., 6^ 1)|. Это означает, что

sup П(а1,.., а'-1, 61,.., 61-1) = а1 + |П(а1,.., а'-1,61,.., 6/_1>| ^

^ а1 + |П(а1,.., а*-1,61,.., 6l-1)| = а* < а'.

Тогда точки из непустого интервала (sup П(а1,.., а'_ 1,61,.., 6i-1), а') не принадлежат П', хотя (а', а' + 61) c П', и 61 > 0. Это возможно только в том случае, если П' — несвязное множество, что противоречит условию. Таким образом, доказано, что

|П*| ^ |П'| ^ |П(а1,.., an, 61,.., 6n)|.

3. Приведение к комбинаторной проблеме

Рассмотрим матрицу D = [й--} порядка п X п, удовлетворяющую следующим условиям:

1) й-у е [0; 1}, у = 1,.., п;

2) й-у = 0, если у > 1 + п _ г;

3) для любого г е [1,.., п}: В[ = [у : й-+1_у,у = 1} ^ 0.

Условие 5 говорит о том, что на каждой диагонали, содержащей элементы

й(+1_уу, у е[1,.., г}, имеется хотя бы одна единица.

Для каждого столбца матрицы D определим величину

- • й-у

тах

ге[1,..,п_у+1} CardDí•+у_l '

а затем найдем сумму

о(П) = > max

г • й-у

>б[1,..,п_у+1} cardDí•+ у— 1

Здесь cardDí•+у_l — количество единиц на г+у_1 -й диагонали.

Проблема 2. Существует ли такая константа С;, что для любой матрицы D (произвольного порядка), удовлетворяющей условиям 1-3, выполняется С'о(Р) ^ п?

Мы покажем, что проблемы 1 и 2 эквивалентны. Для этого нам понадобится следующая

Лемма 3.1. Проблема 1 имеет положительное решение в том и только том случае, когда абсолютная константа С' существует для множеств П = П(«1,.., ат, 81,.., 8т) со связными замыканиями, определяемых параметрами «1,.., ат, 81,.., 8т, такими, что:

а2 _ а1 = а3 _ а2 =.. = ат _ ат_1 = sup П _ ат.

Доказательство. Пусть а^.., ап, 81,.., 8п — допустимые значения пара-

п п

метров; 2 8; > 0 (случай, когда 2 8,- = 0, является тривиальным). Тогда,

г=1 г=1

в силу непрерывности меры как функции от а-, 8-, для любого е > 0 существуют такие 81,.., 8п е Q П (0; +м), что

|П(а1,.., ап, 81,.., 8п)| |П(а1,.., ап, 81,.., 8п)| --->------е.

п п

2 8; Е 8-

>=1 >=1

Далее воспользуемся теоремой 2.1. Поскольку для любого Н е К: |П(аь.., ап, 81,.., 8п)| = |П(а1 + Н,.., ап + Н, 81,.., 8п)|,

то параметр а1 можно выбирать произвольно. Возьмем а1 е Q и определим а;, - = 2,.., п, следующим образом: а* = sup П(а1,.., а*_1,81,.., 8;_ 1).

' Пусть П;=П(а1,.., ап, 81,.., 8п), ' тогда | ^ |П(аь„, 'ат 81,.., 8п)|. Если все параметры а1,.., а*^, 81,.., 8;_ 1 рациональны, то, очевидно,

sup П(а1,.., а*_i, bi,.., b'_i) е Q, поэтому ai,.., a*n, sup П* е Q. Поскольку все b; больше нуля, то ai < a*2 <... < a*n < supП*, и, значит, существуют натуральные mi,..,mn, такие, что

а2 ~а1 = а3 ~а2 = ап - ап-1 = sup П* - а*п =а>0 mi т2 mn-i тп

Рассмотрим теперь новый список параметров (a",.., a^, b",.., bm), который получается из (ai,.., a*n, bi,.., b'n) присоединением точек a'j = a* + ak, к е {i,.., mi -— i}, i = i,.., n; соответствующие b'j = о. Тогда множества П^,.., an, bi,.., bn) и П(а",.., a'm, bi',.., b'm) равны друг другу и оба имеют связные замыкания; a" - ai' = a" - a" = .. = am - a'^ = sup П(а",.., a'm, b",.., b'm) - a'm = a. Таким образом,

|ПЦ',„,dm, bi',.., b'm)| |П*| |П(о1,..,an, bi,.., bn)|

- — - > - — £,

m nn

I b'' Z b' 2 b;

i= i i= i i= i

а поскольку e изначально выбиралось произвольно, получаем утверждение леммы.

Теорема 3.1. Проблема 2 эквивалентна проблеме 1. Доказательство. Допустим, что проблема 1 решается положительно. Выберем n е N. Пусть D — матрица порядка n, удовлетворяющая условиям 1-3. Построим для нее множество П(а^.., an, bi,.., bn), где

i ' d;j

щ = i — 1, i = 1,..,«; 6/ = max ---.

i6{i,..,n-j+i} cardD;+j-i

Оценим снизу меру этого множества. Возьмем произвольное i е{!,.., n - i}. Для любого j е D;:

s ^ (' - j + i)d;-j+i,j i - j + i O; ¿i - = -,

cardD; cardD;

поскольку d;-j+i,j = i. Следовательно, i ^ j - i + cardD;bj, или a;+i ^ aj + + cardD;bj. Таким образом,

a;+i е (aj, aj + card Mb j],

jеM

где M = D;. Это означает, что sup П(а^.., ai, bi,.., b;) ^ a;+i, то есть П(ар.., an, bi,.., bn) — связное множество. Аналогичным образом доказывается, что sup П^,.., an, bi,.., bn) ^ n. Тогда меру можно оценить так: По,.., an, bi,.., bn)| ^ n - ai = n. С другой стороны, мы предположили, что

n

существует константа C такая, что C 2 bj ^ |П(а^.., an, bi,.., bn)|. Получаем:

j=1

n

Zl ' d;j

max - ^ n.

. i6{i,..,n-j+i} cardD;+ j-1 j=1 J

Поэтому, если положить C' = C, то для матрицы D: C'o(D) ^ n.

Допустим теперь, что проблема 2 разрешима положительно. Пусть П(а1;..,an,6n) — множество со связным замыканием; «2 - а1 = аз - а2 = = ... = an - an-i = sup П(а1;.., an, 6^.., 6n) - an = a > 0. Для удобства введем обозначение: an+i = sup П^,.., an, 6^.., 6n). Согласно формуле (2.1), а также с учетом связности, имеем: для любого i e{i,.., n} существует Mi с{1,.., г):

a;+i е (aj, a^ + cardM,-6 j

jzMi

Рассмотрим матрицу D порядка n; определим ее через диагонали: Di = = Mi, i = 1,.., n. Тогда, в силу предположения: C'o(D) ^ n. Элемент dij равен единице в том и только том случае, когда j е D(-+j_i, или, то же самое, j е Mi-+j-i. Тогда a+j е (a., a■ + card M+j-i6 j]. В частности, a+j ^ aj + + cardMi+j-i6j. Таким образом,

g . > ai+j ~ai _ a • г

1 " сагсШ,+/_| сагсШ,+/-|

Это выполняется для всех г, для которых = 1. Следовательно,

г • ф;

« ^ " Ч о/ ^ a • max ---

ie{i,..,n-j+i) cardDi+^-i

Поэтому

С^ С'ао(Б) ^ ап = ап+1 - «1 = |П(а1,.., аи, б1;.., 6И)|. ;=1

Согласно лемме 3.1, этот результат распространяется на все множества П.

4. Следствие для суммируемых функций

Теорема, рассматриваемая в этом разделе, является следствием положительного решения проблемы 1; ее формулировка приведена в [6]. Теорема 4.1. Если функция f суммируема на R, то

|{х : sup а|{г > 0 : |/(х + t)\ ^ аг}| ^ х}| ^ ^ Г I/Idx>

a>0 Л J

R

где C — некоторая константа (не зависящая от f и Л).

Замечание 4.1. Утверждение теоремы является корректным в том смысле, что измеримо множество \x : sup a|{t > 0 : |f(x + t)| ^ at}| ^ ,

a>0

поскольку измерима функция g(x) = sup a|{t > 0 : |f(x + t)| ^ at}|.

a>0

Действительно, так как функция |f | суммируема на всей прямой, то множество {t > 0 : |f (x +1)| ^ at) имеет конечную меру при любых допустимых x, a. Далее, из того, что для любой последовательности yn ^ +0:

{t > 0 : |f(x + t)| ^ at) = р|{t > 0 : |f(x + t)| ^ (a - yjt),

следует непрерывность \{t > 0 : |f(x + t)\ ^ at}| слева как функции от а. Значит, g(x) представима в виде:

g(x) = sup a\{t > 0 : \f(x + t)\ ^ at}\ = lim gn(x);

aeQ+

gn(x) = maxa\{t > 0 : \f(x + t)\ ^ at}\, где максимум берется по первым n по-

а

ложительным рациональным числам (если их как-нибудь пронумеровать). Также для любой последовательности yn — +0 справедливо:

{t > 0 : \f(x + t)\ ^ at} = р|{t > 0 : \f(x + t)\ ^ a(t - Yn)},

n

а поскольку

\{t > 0 : \f(x + t)\ ^ a(t - Yn)}\ = Yn + \{t > Yn : \f(x + t)\ ^ a(t - Yn)}\ =

= Yn + \{t > 0 : \f(x + Yn + t)\ ^ at}\,

то мера множества {t > 0 : \f(x + t)\ ^ at} непрерывна справа как функция от x. Следовательно, функции gn(x) измеримы, что влечет за собой измеримость g(x) [7, гл. IV, § 2].

В дальнейшем через ф^^), m, n е N будем обозначать финитную

ограниченную функцию на R, принимающую значения из множества 1 — 1,

ImJ

^ Iii + 11 ^ „

j е Z+, и постоянную на полуинтервалах —;- , i е Z. Пусть также

mn mn

MZix(a; b) = [x : sup a\{t > 0 : \z(x + t)\ ^ at}\ > A},

ae(a;b)

где z(x) — некоторая суммируемая на R функция.

Прежде чем мы приступим к доказательству теоремы 4.1, рассмотрим лемму, которая позволит упростить постановку задачи, сделав ее "более дискретной".

Лемма 4.1. Для того чтобы утверждение теоремы 4.1 было верным для всех суммируемых на R функций, достаточно, чтобы для любой функции фт,п(х) И любого А ^ — ВЫПОЛНЯЛОСЬ

\М^п,х(0-,п)\ ^ ^ ^ Фт,п(1х.

к

Доказательство. Пусть / — суммируемая на К неотрицательная функция; X > 0. Очевидно следующее:

то

М/,х(0; то) = и Mf•x(0; к); МА(0; к) с МА(0; к + 1), к=1

то есть |Муд(0;оо)| = Пт |Муд(0;&)|. Таким образом, |Муд(0;оо)| ^ у/у тогда

и только тогда, когда для всех к: |Мд(0;£)| ^ у//, где /у = £/с!х.

к

Зафиксируем к. Выберем любое е > 0. В силу суммируемости /, существует такое г е Q П (0; то), что

г

|{х : /(х) ^ е; х £ (-г; г]}| < е; I/ - ^/ах < е.

—г

Пусть [/(х)]/ — срезка функции /(х) числом I ^ — такая, что

I/ - J[/(х)]гйх < е; |{х : /(х) Ф [/(х)],}| < е

К

Согласно теореме Лузина [7, гл. XVII, § 2], существует такая непрерывная на К функция ш(х), что

е

|{х : [/(*)], Ф со(х)}| < -; 0 < со(х) < I

Поскольку ш(х) равномерно непрерывна на отрезке [-г; г], то существует такое ^ > 0, что для любых хь х2 е [-г; г] с условием |х2 - х11 < ^ выполняется: |ш(х1) - ш(х2)| ^ е2. Выберем теперь натуральные т, п, для которых:

/ 2 1 2г \ 1

т ^ тах —, —, — ; п ^ к; тп ^ —; тпг е N. \Л е2 е / ^

Для таких т и п существует функция фт,п(х), равная нулю на множестве К\(-г; г] и удовлетворяющая условию:

|ш(х) - фш,и(х)| ^ тш^е2, ^

на полуинтервале (-г; г]. Из последнего неравенства следует, что

r

ш(x) dx - фш,п(x) dx

R

^ 2r sup |w(x) - <fm,n(x)\ ^ e.

xe(-r;r]

Возьмем произвольную точку x e Mfлл(0; к). Тогда для нее существует а e (0; к): a|(t > 0 : f(x +t) ^ at}| > Л. Учитывая условия, которым удовлетворяют функции f, [f]i, ш, фш,п, запишем цепочку неравенств:

Л < a|(t > 0 : f (x + t) ^ at}\ = a\(t : f(x + t) ^ at; t e (0; e/a)}|+

+a|(t : f(x + t) ^ at; t ^ e/a; x + t <£ (-r; r]}|+

+a|(t : f(x + t) ^ at; t ^ e/a; x + t e (-r; r]}| ^

^ e + ae + a|(t : f(x + t) ^ at; t ^ e/a; x + t e (-r; r]}| ^

^ (1 + 2a)e + a|(t : [f(x + t)] ^ at; t ^ e/a; x + t e (-r; r]}| ^

^ (1 + 3a)e + a|(t : u>(x + t) ^ at; t ^ e/a; x + t e (-r; r]}| ^

^ (1+3a)e+a|(t : w(x+t)-e2 ^ (a-ae)t; t ^ e/a; x+t e (-r; r]}| ^

^ (1 + 3a)e + a|(t > 0 : фш,^ + t) ^ (a - ae)t}| =

= (1 + 3a)e н--(a - ae)|{í > 0 : фш„(х + t) ^ (a - ae)í}|.

1e

Значит,

(а - ае)|(г > 0 : фт,п(х + г) ^ (а - ае)г}| > (X - (1 + 3к)е)(1 - е) = Хе,

и, следовательно, х е Мфтп,хе(0; п). Таким образом,

М/,х(0; к) с Мфга,п,Хе(0; п). По предположению леммы,

|МфгалЛ(0;И)| фт,п<1х,

к

поэтому

\М/лф-,к)\ ^ ^фш,и <1х ^ со(х)й?х

+ е ^

к

-Г

г

Переходя к пределу при е ^ 0, получаем требуемое соотношение.

Доказательство теоремы 4.1 Пусть фтп(х) — некоторая функция,

2

удовлетворяющая ранее перечисленным условиям; X ^ —. Обозначим через

фт,пИ значение функции на полуинтервале

щие множества:

г г + 1

т

тп тп

Определим следую-

; фт,п[г] ^ аг\,

: г > 0; фт,п[г] ^ аг

Р = {г : фт,п[г] Ф 0 ,

Г I г г +1

Ла х = < г : Зг > 0 : г е--х;--х

тп тп

Г I г г + 1

= 1 г : V? е--х;--х

тп тп

Замечание 4.2. График функции фт,п(г) на плоскости гу представляет собой совокупность горизонтальных промежутков — множеств вида /г г + 1

—;- х{фш«[']}• определяет, какие из этих множеств имеют непу-

тп тп

стое пересечение с частью плоскости, ограниченной лучами

г = х; у > 0 и у = а(г - х); у > 0.

В Ва,х содержатся г, соответствующие только тем промежуткам, которые целиком принадлежат упомянутой части плоскости. Очевидно, что для любых допустимых х и а:

С У — ч г . фш,„[г] ^ , 23а х т

Если а ^ п, то также справедливо ¿Яа,х с ¿>а/з Л- • Действительно

Х = <г':3г>0:г + хе —;

г г + 1

тп тп

; фт,п[г] ^ а^ =

= ii : 3г'(0 > — : t'(i) + (х - — I e (—;

mn \ mn \ mn mn

; фт,пМ ^ at (0--

mn

1 \ / i i + 1

Рассмотрим г e J?lax. Если t таково, что t +\x--e

mn mn mn

— г'(г)! < —, и, значит, t" > 0. mn

, то \t" -

а а ,3

Далее, если М (г)--< —г , то ? (г) < —

тп 3 2

11 — + - i'(0) mn 3

34 1

2

<

2 3 mn mn'

а а 1 а

откуда следует -г < — ^ —, поэтому фш,„[г] ^ -г .

3 тп т 3

а а а а

Если же аг (г)--^ —г , то фш„[г] ^ аг (г)--^ —г .

тп 3 тп 3

Таким образом, для любого числа г", такого, что г" + (х--) е (—;-

тп тп тп а

выполняется г" > 0; фш,пй ^ то есть г е 5 ,,__и имеет место при-

3 ' ' тп

веденное выше включение.

Рассмотрим систему отрезков {5г}, г е Р, определяемых следующим обра-

а г 12фт,п [г] _ 12фт,п [г] „

зом: Л = |аг;я> + 0(]> ГДе =---:-> о,- = —--. Пусть также

тп Хтп Хтп

П- = {г е К : Зк е N : сагЩг : г е [« - (к - 1)8г; « + бг]} ^ к}

Покажем, что |Мфт,пд(0;п)| ^ |П-|:

\M9m,n,^(0; n)\ = ||x : sup a\{t > 0 : x + t)\ ^ at}\ > X}| <

ae(Q;n)

<

x : 3 j e N : -j

t > 0 : |фш,и(х + Ol ^ ~t

2

<

<

n1

x : 3 j e N : -—cardS

i >

n 1 \

X : 3j e N :--cardj?h x > -

jmn '' 2

j mn

3j'X mn 2

x : 3j e N : card2^iX >

У'

hnj\

2 J

<

г п I г + 1

Если г £ Вл. х, то х ^ — и фш„[г] ^ —--х|, откуда заключаем, что х е

ши ' Ъ] \ ши

i + 1 фm,n[i] i

mn n/3 j ' mn

. Длина отрезка

i + 1 фm,n[i] i

mn n/3 j mn

оценивается сверху

г , ,фт,п[г] 1 , ,фт,п[г] , Хтп 3' Хт;'

следующим образом: 3]---< 5]- = о,——--= —— о,-, значит,

п тп п 12 п 4

x

i ~km j ^ i mn 4 i mn

x : 3j e N : cardS>

Xmj

<

1

>

<

x ; 3 j e N ; card |i ; x e

fx i 3j e N i card Ii i x e ^ < x i 3 j e N i card < i i x e

i Xmj g г

mn 4 i mn

hnj \ i

ai - I —--1 b¡; —

4 mn

ai

km j

-1 ô,-; —

mn

kmj

<

>

2

< |п-|.

Предпоследнее неравенство выполняется в силу того, что km ^ 2, и, как

следствие,

km j

kmj

Если проблема 1 имеет положительное решение, то |П j ^ С 2 ô(-, и поэтому:

i

l29m,n[i]

|мф„,п,k(0; n)j < |П-| < с ^

kmn

12С у (рт,п[Ц 12С к 2-к

mn

I

фm,n(x) dx.

R

Если положить С = 12С, то придем к утверждению теоремы.

Литература

[1] Novikov, I. A list of open problems j I. Novikov jj Israel Math. Conf. Proc. - 1992. - V. 5. - P. 290.

[2] Marcinkievicz, J. Sur quelques integrales du type de Dini j J. Marcinkievicz jj An. Soc. Polon. Math. - 1938. - V. 17. - P. 42-50.

[3] Calderon, A.P. On an integral of Marcinkiewicz / A.P. Calderon // Studia Math. - 1976. - V. 57. - P. 279-284.

[4] Стейн, И. Сингулярные интегралы и дифференциальные свойства функций / И. Стейн. - М.: Мир, 1973. - 342 с.

[5] Зигмунд, А. Тригонометрические ряды / А. Зигмунд. Т. 1. - М.: Мир, 1965. - 615 с.

[6] Лукашенко, Т.П. Множества точек, покрытых n раз n -кратными расширениями отрезков, и мера их объединения / Т.П. Лукашенко // Сборник тезисов 13-й Саратовской зимней школы "Современные проблемы теории функций и их приложения". - Саратов, 2006. -С. 106-107.

[7] Натансон, И.П. Теория функций вещественной переменной / И.П.Натансон. - M.: Наука, 1974. - 480 с.

Поступила в редакцию 1jV777j2006;

в окончательном варианте — 1jV777j2006.

ON MEASURE OF A UNION OF POINT SETS k TIMES COVERED BY k-FOLD EXTENDED INTERVALS3

© 2006 K.E. Tikhomirov4

In the paper the problem of estimating a measure of a union of point sets covered k times by k-fold extended intervals is formulated. It was formulated in 1992 (Proceedings of Israel Mathematical Conference). It is proved that this problem is equivalent to a combinatorial matrix problem. Moreover, the positive answer on it allows to strengthen the Marcinkiewicz theorem related to the structure of closed sets of reals and to establish new properties of integrable functions.

Paper received 1/V7///2006. Paper accepted 1/V////2006.

3Communicated by Dr. Sci. (Phys. & Math.), Prof. S.V. Astashkin.

4Tikhomirov Konstantin Evgenyevich ([email protected]), Dept. of Functional Analysis and Theory of Functions, Samara State University, Samara, 443011, Russia.