Теория Литлвуда-Пэли: некоторые новые результаты тема автореферата и диссертации по математике, 01.01.01 ВАК РФ

Осипов, Николай Николаевич АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Санкт-Петербург МЕСТО ЗАЩИТЫ
2010 ГОД ЗАЩИТЫ
   
01.01.01 КОД ВАК РФ
Диссертация по математике на тему «Теория Литлвуда-Пэли: некоторые новые результаты»
 
Автореферат диссертации на тему "Теория Литлвуда-Пэли: некоторые новые результаты"

084608943

Осипов Николай Николаевич

Теория Литлвуда-Пэли: некоторые новые результаты

Специальность 01.01.01 — вещественный, комплексный и функциональный анализ

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук

Санкт-Петербург 2010

И 6 СЕН 2010

004608043

Работа выполнена в лаборатории математического анализа Учреждения Российской академии наук Санкт-Петербургское отделение Математического института им. В. А. СтекловаРАН

НАУЧНЫЙ РУКОВОДИТЕЛЬ: доктор физико-математических наук, чл.-корр. РАН Кисляков Сергей Витальевич

ОФИЦИАЛЬНЫЕ ОППОНЕНТЫ: доктор физико-математических наук, профессор Хавин Виктор Петрович

доктор физико-математических наук, профессор Коточигов Александр Михайлович ВЕДУЩАЯ ОРГАНИЗАЦИЯ: Российский университет дружбы народов

Защита диссертации состоится 20 сентября 2010 года в 15 часов на заседании диссертационного совета Д.002.202.01 в Учреждении Российской академии наук Санк-Петербургском отделении Математического "института им. В. А. Стеклова РАН по адресу. 191023. Санкт-Петербург, наб. р. Фонтанки, д. 27, к. 311.

С диссертацией можно ознакомиться в библиотеке Учреждения Российской академии наук Санк-Петербургское отделение Математического института им. В. А. Стеклова РАН.

Автореферат разослан "73 " яёьусгяь 2010 года.

Ученый секретарь диссертационного совета, доктор физико-математических м[\

наук А. Ю. Зайцев

Общая характеристика работы

Объект исследования и научные положения, выносимые на защиту. Исследуются два объекта из области гармонического анализа: неравенство Литлвуда-Пэли и квадратичная функция Что касается неравенства Литлвуда-Пэли, то удалось доказать его односторонний вариант для параллелепипедов вК" в ХЛметрике при 0 < р < 2. Это является первым результатом, который выносится на защиту. Вторым результатом является тот факт, что квадратичную функцию Сд можно трактовать как норму в гильбертовом пространстве от значений некоторого оператора Кальдерона-Зигмунда (также на защиту выносятся следствия из этого факта).

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

Методы исследования. Результаты, касающиеся неравенства Литлвуда-Пэли, получены методами теории сингулярных интегральных операторов типа Кальдерона-Зигмунда на многопараметрических классах Харди. Квадратичная функция й*х исследовалась методами теории операторов Кальдерона-Зигмунда на функциях со значениями в банаховых пространствах. Также во многих местах использовалась теория интерполяции.

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

Научная новизна. Все результаты, выносимые на защиту, являются новыми.

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

Апробация работы. Результаты диссертации докладывались на общегородском семинаре по линейному и комплексному анализу в Санкт-Петербурге.

Публикации. Результаты, выносимые на защиту, опубликованы в работах [16, 17, 18]. Все три статьи напечатаны в журналах из списка ВАК.

Структура и объем работы. Диссертация состоит из введения и трех глав, разбитых в общей сложности на 14 параграфов и занимает 72 страницы. Библиография содержит 25 наименований.

Содержание работы

"Теория Литлвуда-Пэли" — несколько размытый термин. Под ним обычно понимают многочисленные и, на первый взгляд, разнородные неравенства в анализе Фурье, выражающие принадлежность функции лебеговым классам Ьр или классам Хар-ди Нр в терминах оценок на //-нормы различных "квадратичных" выражений. Приведем здесь два таких выражения и соответствующие неравенства для них.

Пусть / € ЬР(Ш), 1 < р < оо. Определим квадратичное выражение !>(/) по формуле

£(/)(*) = (£|мд/|2)1/2,

Дет?

где V — двоичное разложение прямой, то есть набор всех отрезков вида [2*, 2к+1} и [-2м, ~2к], к в Ъ, а Мй/ = (/Хл)У ~ соответствующие мультипликаторы Фурье. Классическая теорема Литлвуда-Пэли утверждает (см., например, [3, §1У.5]), что верна следующая двусторонняя оценка:

\т)\\щп) ~ и\\щщ. (1)

Второе квадратичное выражение, которое мы собираемся

рассматривать, это оператор определяемый по формуле:

Са(Л(*)

Основная оценка для этого оператора выглядит следующим образом:

\\СШР < И/И, - А > 1 и р > тах(1, 2/А), (2)

(см. [3, §1У.2] и [8]).

Из многочисленных приложений указанных неравенств мы упомянем лишь, что теорема Литлвуда-Пэли, то есть оценка (1), представляет собой основной ингредиент в доказательстве классической теоремы Марцинкевича о мультипликаторах. Второй из примеров — функция й*х — тоже достаточно эффективно использовался для оценок мультипликаторов Фурье. Диссертация посвящена новым результатам, относящимся к этим двум инструментам.

Что касается соотношения (1), то в 1983 году Рубио де Фран-сиа в работе [14] доказал, что в одну сторону это неравенство выполняется для произвольного набора отрезков. А именно, он установил, что если 2 < р < оо, то выполняется оценка

||(Е1мАт/12)1/2|| <ср\\п\щщ, (3)

т

где Ат — произвольные попарно непересекающиеся интервалы на прямой Е, а константа Ср не зависит ни от функции /, ни от интервалов Дто. Вскоре после этого Журне (см. [12]) обобщил этот результат на Е", то есть доказал, что оценка, аналогичная неравенству (3), верна в случае, когда функция / задана

на ЗИП, а Аш — попарно непересекающиеся параллелепипеды в К" со сторонами, параллельными осям координат. Заметим, что га-мерный вариант неравенства (3) нельзя доказать просто п-кратным применением одномерного. В [12] Журне для этой цели описывает, а затем использует теорию многопараметрических операторов Кальдерона-Зигмунда на прямых произведениях евклидовых пространств, причем оператор, к ограниченности которого сводится вопрос, не является в точном смысле многопараметрическим сингулярным интегральным оператором (см. определения в [9] и [12]) и оказывается ограниченным только благодаря некоторым особенностям своей структуры.

Далее, заметим, что, используя двойственность, оценку (3) можно переписать следующим образом:

||У"/т|1 <СР {/т} , 1 < р < 2, (4)

где {/т} — набор функций, таких, что эирр /гп С Дт. В 1984 году Бургейн (см. [4]) доказал, что неравенство (2) остается верным и при р — 1, при этом его доказательство было значительно сложнее, чем у Рубио де Франсиа (были использованы мартингальные преобразования, сингулярные интегральные операторы и вариант леммы Котляра). В 2005 году Кисляков и Парилов (см. [2]), используя теорию операторов Кальдерона-Зигмунда на классах Харди, с помощью метода, сходного с методом Рубио де Франсиа, установили, что оценка (4) выполняется при всех 0 < р < 2 (в [2] рассматривается случай окружности, а не прямой, но существенной роли это не играет). С другой стороны, в 1985 году Р, Фефферман (см. [9]) описал теорию, позволяющую проверять ограниченность некоторых линейных операторов на двухпараметрических классах

Харди х В^2) (здесь нижний индекс обозначает чис-

ло параметров). Его методы в некотором смысле двойственны упомянутой теории Журне, который работал, в основном, в терминах пространства В МО. В 2009 году автор (см. [16]), совместив технику Кислякова и Парилова с методами Р. Феф-фермана, доказал, что аналог неравенства (4) выполняется, если Дт — попарно-непересекающиеся прямоугольники в К2 и 0 < р < 2.

Однако теория Р. Феффермана применима только к произведению двух евклидовых пространств. Тем не менее, в работе Кэрбэри и Сигера [6] описывается теория, являющаяся развитием идей Журне и Р. Феффермана, которая позволяет рассматривать произвольное число евклидовых сомножителей. В 2010 году автору (см. [17]) с помощью этой теории удалось распространить оценку (4) на случай произвольной размерности, то есть доказать следующую теорему (первый основной результат диссертации).

Теорема 1. Пусть задана последовательность функций {/т} такая, что /,„ е ¿1(М") и эирр /т С Дт, где Дт — непересекающиеся параллелепипеды в М" со сторонами, параллельными осям координат. Тогда при 0 < р < 2 выполняется оценка

причем константа СР1п не зависит ни от функций, ни от прямоугольников.

Теперь обсудим квадратичную функцию С\. ^-ограниченность других квадратичных выражений, таких как ^-функции Литлвуда-Пэли или интеграл площадей Лузина, может быть проверена с помощью теории операторов Кальдерона-Зигмун-

да для функций со значениями в гильбертовом пространстве. Однако для доказательства оценки (2) использовался иной подход (см, например, [3, §Г\Л2] или [8]) и считалось, что теория сингулярных интегральных операторов в этом контексте неприменима. Тем не менее, в 2004 году Анисимов и Кис-ляков заметили (см. [1]), что в квадратичной функции С — аналоге функции С?2 на окружности, все же спрятан некоторый сингулярный интегральный оператор Т. Он действовал в пространство функций со значениями во вспомогательном гильбертовом пространстве, а функция С выражалась через норму в этом пространстве. Строго говоря, рассматривался не сам оператор Т, а оператор Т*, сопряженный к нему. Было проверено, что Т* — оператор Кальдерона-Зигмунда, то есть, что его ядро удовлетворяет определенному условию гладкости. Из этого сразу следовало, что квадратичная функция С ^-ограничена при 2 < р < оо. Также были сформулированы некоторые следствия, имеющие отношение к теории интерполяции. А именно, рассмотрим функцию / е Ьр(Т), 2 < р < оо. Грубым разрезанием функции |/| по уровню а > 0 получим функцию д £ Ь°°(Т), такую что ИзЦоо < Са 11 II/ ~ <?|12 ^ Са2-р\\П\р. Тот факт, что оператор С выражается через оператор Кальдерона-Зигмунда, позволяет, применив общие соображения, впервые описанные Бургейном в [5], изменить функцию д так, чтобы в дополнение к этим оценкам (в них изменятся лишь оценочные постоянные) выполнялось неравенство ||С?(<?)||оо < Са. Заметим, что такое утверждение о "разрезании" функции было доказано еще раньше Джонсом и Мюллером с помощью броуновского движения (см. [11]), а результат Кислякова и Анисимова заключался в том, что этот факт может быть проверен иначе, если воспользоваться пред-

ставлением функции С? в виде нормы от значений оператора Кальдерона-Зигмунда. Автор в работе [18] показал, что аналогичные методы применимы не только для круга, но и для пространства Е™ и что параметр Л = 2 не исключение. Таким образом, функция как и функция ¿7, выражается через норму от значений некоторого оператора Т, сопряженный к которому оказывается оператором Кальдерона-Зигмунда. Дополнительно было доказано, что при некотором ограничении на показатель Л прямой оператор Т также является сингулярным интегральным оператором. Приведем точные формулировки этих результатов. Для оператора выполняется представление <3д(/)(х) = \\Т(/){х)\\ж, где Ж — вспомогательное гильбертово пространство функций, действующих из верхнего полупространства К++1 в пространство Сп+1, таких, что

ЦЛ|Вг = Г I (|7пЬУП Шу)\2у1~^у < оо,

а оператор Т действует в пространство «^-значных функций и определяется формулой

Т(/)(*)(*,у)= [ ЪРУ(Х-Ь-У)ПЬ)С1У. Jшn

Здесь Ру — ядро Пуассона, а градиент берется по всем переменным, в том числе и по у. Вторым основным результататом диссертации является следующая теорема.

Теорема 2. 1. Т* является оператором типа Калъдерона Зигмупда при А > 1.

2. Т — оператор Кальдерона-Зигмунда при А > 2 + 2/п.

Первый пункт теоремы позволяет получить для оператора интерполяционное утверждение, аналогичное тому, которое мы описали выше для оператора (7.

Следствие. Пусть 2 < р < оо, / е Х^К"), Л > 1 и а > 0. Тогда существует функция д € Ь°°(Шп) такая, что ||</||оо < С*, II/ " 5112 < Со?-р\\Щ и при этом ИС^И*, < Са.

Следует отметить, что в диссертации это следствие формулируется несколько по другому — в терминах /¿"-замкнутости. Два пункта теоремы вместе позволяют сформулировать аналогичное утверждение сразу для всех 1 < р < оо, если только Л >2 + 2/п.

Описание диссертации по главам и параграфам. В

первой главе описаны общие понятия и методы, используемые в диссертации: сингулярные интегральные операторы типа Кальдерона-Зигмунда, классы Харди, в том числе многопараметрические, и некоторые факты из теории интерполяции.

В §1.1 обсуждаются сингулярные интегральные операторы типа Кальдерона-Зигмунда и приводится общее определение таких операторов, действующих на функциях со значениями в банаховых пространствах. Отмечается, что такие операторы действуют ограниченно в ¿^-пространствах при 1 < р < 2, а сопряженные к ним — при 2 < р < оо (см. [3] или [15]). Затем мы приводим определение "действительных" классов Харди Нр(Шп) через некасательную максимальную функцию (теперь 0 < р < оо). При 1 < р < оо классы Н? и пространства V' в некотором смысле совпадают, а при 0 < р < 1 для функций из класса Нр существует атомное разложение (см. [15, §111.2]). Это означает, что если / Е Нр, 0 < р < 1, то существует разложение / = А¿а^, где числа А* такие, что (ЕМР)1/Р ж ||/||яр, а у функций йк, называемых атомами, выполняются некоторые ограничения на "размер" и несколько

первых моментов равны нулю. Как известно, с помощью атом-, ного разложения можно доказать, что операторы Кальдерона-Зигмунда действуют ограниченно из Нр в Л? при 0 < р < 1 (см. [15, §111.3]).

В §1.2 речь идет о многопараметрических классах Харди, на которых ограниченно действуют многопараметрические операторы Кальдерона-Зигмунда. Вначале дается определение многопараметрических аналитических классов Харди ••• хМ) = (здесь нижний индекс п обозначает число

параметров). Ввиду важности данного понятия приведем его определение также и здесь: функция и, заданная на прямом произведении п верхних комплексных полуплоскостей и аналитическая по всем переменным, принадлежит классу ^(Кп), если

||и||я£ = вир / \и(х\ +гу1,...,хп + iyn)\pdx < оо.

В этом определении функция и может быть как скалярно-значной, так и ¿2-значной (то есть под пространством Н£(МП) мы часто понимаем пространство ^(Мп,12), не оговаривая этого явно). Затем формулируется лемма, которая используется во второй главе диссертации, для того чтобы заменять в оценках ¿/-нормы 7-^-нормами. По суги эта лемма утвержает, что если у функции д <Е Ьг'(Шп) П ¿^(ИГ), 0 < р < 2, носитель преобразования Фурье лежит в параллелепипеде с положительными координатами, то эта функция принадлежит многопараметрическому классу Харди причем ее Тт^-норма оценивается V-нормой. Эта лемма элементарна, но в литературе, по видимому, отсутствует, поэтому там же мы приводим набросок ее доказательства. Также мы описываем более общие "действительные" классы Харди НЦ(Ш х-■ - хЖ) = Щ(Шп), ко-

торые определяются через многопараметрическую некасательную максимальную функцию. Известно, что Н? С Щ, причем нормы этих пространств эквивалентны на (см. [10]). Для многопараметрических классов Харди Н^Ш1) существует аналог атомного разложения (см. [7] или [9]) и ключевым фактом, позволяющим получить такое разложение, является ограниченность на классах Щ(Ш.п) п-параметрической квадратичной функции (это - п-параметрический аналог интеграла площадей Лузина, построенный по быстро убывающему гладкому свертывателю ф). То, что оператор Зф действует ограниченно из Щ в 1/, считается хорошо известным, но похоже, что нигде в литературе это в явном виде не проверяется, поэтому в конце §1.2 диссертации приводится набросок доказательства этого факта.

В §1.3 обсуждаются уже упоминавшиеся теории Р. Феффер-мана (см. [9]) и Кэрбэри-Сигера (см. [6]), которые позволяют проверять ограниченность некоторых операторов на многопараметрических классах Харди Нр(Шп), 0 < р < 1. Эти теории затем применяются во второй главе диссертации для изучения операторов, к ограниченности которых сводится вопрос о неравенстве Литлвуда-Пэли. В начале параграфа приводятся определения многопараметрических атома и предато-ма, а затем формулируется теорема об атомном разложении для многопараметрических классов Харди (см. [7] или [9]), которая утверждает примерно следующее: если / € Я£(М"), то / = гДе числа Ь такие, что |Лс|р < С||/||%, а

каждая из функций а^ сосредоточена на открытом множестве конечной меры. Функции а* называются атомами и каждая из них, в свою очередь, представима в виде линейной комбинации (возможно, бесконечной) предатомов — сосредоточенных

на диадических параллелепипедах функций, у которых равно нулю определенное число моментов по каждой переменной. Затем формулируется теорема Р. Феффермана, позволяющая доказывать ограниченность некоторых операторов на двухпа-раметрических классах Харди Щ(№?). Очень приблизительно идею этой теоремы можно описать следующим образом: несмотря на то, что функция из двухпараметрического класса Харди прямо не представляется в виде линейной комбинации предатомов (функций с носителями в прямоугольниках и нулевыми моментами по каждой переменной) с коэффициентами, контролируемыми ее Я£-нормой, для доказательства ограниченности некоторого оператора Т достаточно проверить, что он в некотором смысле "хорошо ведет" себя на предатомах. Отмечается, что двухпараметрические операторы Кальдерона-Зигмунда удовлетворяют условиям теоремы Р. Феффермана. Затем описывается более общий подход Кэрбэри и Сигера, позволяющий проверять ограниченность операторов с ядром на классах Я£(К"), п > 2. Их метод заключается приблизительно в следующем: умножением на функции, являющиеся разбиением единицы, "разрезается" ядро рассматриваемого оператора, а затем изучается поведение операторов с полученными таким "разрезанием" ядрами на "частичных" предатомах — функциях, у которых свойства предатомов выполняются лишь по части переменных.

В §1.4 в терминах Х-замкнутости (там же приводится определение этого понятия) формулируется довольно давно известная (см., например, обзор [13]) интерполяционная1 теорема, из

1 Имеется в виду вещественная интерполяция, которая при широком взгляде на вещи и есть наука о разрезании функции на две части с предписанными оценками.

которой следует, что если Т и Т* — операторы Кальдерона-Зигмунда (где Т* — оператор, сопряженный к Т), то любую функцию / G L?, 1 < р < оо, можно разбить на сумму двух функций g G и b G Ll так, что не только ||g||oo < Са и ||6||i < Cal~v\\f\\l, но и НадЦоо < Са для любого уровня а > 0.

В §1.5 мы для полноты приводим подробное доказательство двух элементарных утверждений о многопараметрических классах Харди из §1.2 диссертации. Первое утверждение о том, что функция, преобразование Фурье которой сосредоточено в параллелепипеде с положительными координатами, принадлежит аналитическому многопараметрическому классу Харди с удобной оценкой нормы, и второе о том, что многопараметрическая квадратичная функция S^ действует ограниченно из Щ{Шп) в L^IT1).

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

В §2.1 вкратце описывается история вопроса и приводится формулировка теоремы.

Принципиальный момент в доказательстве этой теоремы состоит в том, что по сути мы имеем дело с оценкой в классах Харди, а не в лебеговых пространствах. В §2.2 демонстрируется, как именно теорема сводится к вопросу об ограниченности двух вспомогательных операторов на многопараметрических классах Харди. Во избежание громоздких выкладок, мы рассматриваем ситуацию п = 2 (ввиду того, что используется общая теория Кэрбэри-Сигера, которая, в отличие от теории Р. Феффермана, применима к ситуации п> 2, наши рассуждения затем легко распространяются на случай произвольного п, см. §2.5 диссертации). Вначале рассматривается частный слу-

чай, когда все прямоугольники Ат — "почти" диадические (а именно, получены из диадических увеличением длин сторон в 8 раз с сохранением координат левой нижней вершины; требование о том, чтобы они попарно не пересекались, при этом сохраняется). Теорема в этом частном случае сводится к ограниченности некоторого оператора 5" на пространствах Щ(К2,12), О < р < 2 (в этом месте используется лемма из §1.2 диссертации о том, что функция, преобразование Фурье которой сосредоточено в прямоугольнике с положительными координатами, принадлежит классу Харди). Оператор 5 не сверточный и, что еще важнее, действие этого оператора не выражается через последовательное применение его одномерных аналогов отдельно по каждой переменной. Далее, отложив доказательство ограниченности оператора 5, мы обсуждаем, как свести нашу теорему к рассмотренному частному случаю с помощью другого вспомогательного оператора Я. Действие этого оператора заключается в том, что он некоторым образом "разрезает на части" носитель преобразования Фурье функции, к которой он применяется. В отличие от оператора оператор Я сверточный и легко выражается через свои одномерные аналоги. Нам требуется его ограниченность на классах Щ{К2, /2), проверку которой мы также откладываем. Из этих утверждений с отложенными доказательствами основной результат главы получается мгновенно.

В §2.3 мы доказываем ограниченность операторов 5 и Я. Их ^-ограниченность сразу следует из теоремы Планшере-ля. Если доказать ограниченность этих операторов на классах Щ(Ш2) при 0 < р < 1, то для остальных р она последует из интерполяционных соображений. Вначале рассматривается оператор 5. Он не является в точном смысле многопарамет-

рическим оператором Кальдерона-Зигмунда (например, он не укладывается в определения из статей [9, 12]), однако мы формулируем лемму, которая служит заменой условию гладкости для его ядра. Затем вкратце объясняется как, используя эту лемму, проверять для оператора 5 условие теоремы Р. Феф-фермана об ограниченности операторов на двухпараметриче-ских классах Харди. После чего, уже со всеми подробностями, проводится доказательство ограниченности оператора 5 методами теории Кэрбэри-Сигера. Когда это проделано, остается разобраться с оператором Я. Мы предварительно формулируем оценку, которая является условием гладкости для ядра одномерного аналога оператора Д. Затем, используя эту оценку, методами теории Кэрбэри-Сигера мы проверяем ограниченность оператора Л на многопараметрических классах Харди, причем выкладки оказываются значительно проще, чем для оператора 5 (ввиду того, что оператор Я более стандартен и действие этого оператора на функцию выражается через последовательное применение его одномерных аналогов отдельно по каждой переменной).

В §2.4 проверяются условия гладкости для ядер операторов Б и Я, упомчнутые выше. Подобные условия проверялись и раньше многими авторами, но ввиду некоторых технических отличий мы не можем сослаться ни на одну из их работ.

В §2.5 мы рассматриваем ситуацию произвольного п (напомним, что до этого момента мы рассматривали случай п = 2). Мы демонстрируем, что все наши рассуждения легко переносятся на случай п > 2.

В третьей главе идет речь о квадратичной функции Сд. Доказывается теорема 2 и различные следствия из нее.

В §3.1 приводится определение оператора бд, после чего

формулируется основная теорема (теорема 2).

В §3.2 обсуждаются следствия из основной теоремы. В начале параграфа мы приводим определение квадратичной функции (3 — аналога опреатора С\ в единичном круге. Затем формулируется интерполяционная лемма, впервые доказанная Джонсом и Мюллером (см. [11]) с помощью броуновского движения, которая утверждает, что при 2 < р < сю функцию / 6 Нр(Т) (здесь НР(Т) — аналитические классы Харди на окружности) можно разбить на сумму двух функций д £ Н°°(Т) и Ь € ЩТ) так, что не только \\д\\ж < СХ и \\Ь\\22 < СА2-р|[/||£, но и ЦС^Цоо < С А для любого уровня А > 0. Однако Аниси-мов и Кисляков в работе [1] показали, что функцию б можно трактовать как норму от значений сингулярного интегрального оператора, что позволяет доказать это утверждение о "разрезании" функции общими методами, не апеллирующими к броуновскому движению. Но мы уже знаем, что функция С?д также выражается через оператор Кальдерона-Зигмунда. Используя этот факт (если говорить точно, то мы пользуемся тем, что Т* — оператор Кальдерона-Зигмунда), мы доказываем аналог утверждения Джонса и Мюллера для оператора (7д. Теперь заметим, что наша основная теорема дополнительно утверждает, что при А > 2 + 2/п прямой оператор Т также является оператором типа Кальдерона-Зигмунда. Это, во-первых, позволяет нам формулировать аналог утверждения о разбиении функции сразу для всех 1 < р < оо, а во-вторых, отсюда следует, что (7д — оператор слабого типа (1,1) (причем эта оценка оказывается точной: проверяется, что оператор б?д не действует из Ь1 в Ь1).

В §3.3 мы проверяем условие гладкости для ядра оператора Т* и тем самым доказываем первую часть теоремы.

В §3.4 мы доказываем вторую часть теоремы, проверяя другой вариант условия гладкости для ядра прямого оператора Т.

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

[1] Анисимов Д. С., Кисляков С. В., Двойные сингулярные интегралы: интерполяция и исправление, Алгебра и анализ, Том 16, №5 (2004), 1-33

[2] Кисляков С. В., Парилов Д. В., О теореме Литлвуда-Пэли для произвольных интервалов, Записки научных семинаров ПОМЙ им. В. А. Стеклова Российской академии наук, Том 327 (2005), 98-114

[3] Стейн И., Сингулярные интегралы и дифференциальные свойства функций, Издательство "Мир" Москва, 1973

[4] Bourgain J., On square functions on the trigonometric system, Bull. Soc. Math. Belg., Vol. 37, No. 1 (1985), 20-26

[5] Bourgain J., Some consequences of Pisier's approach to interpolation, 1st. J. Math., Vol. 77 (1992), 165-185

[6] Garbery Anthony and Seeger Andreas, Hp- and V-variants of multiparameter Calderon-Zygmund theory, Trans. Amer. Math. Soc., Vol. 334, No. 2 (1992), 719-747

[7] Chang Sun-Yung A. and FefFerman Robert, A continuous version of duality of H1 with BMO on the bidisc, Ann. of Math., Vol. 112, No. 1 (1980), 179-201

[8] Fefferman C., Inequalities for strongly singular convolution operators, Acta Math., Vol. 124 (1970), 9-36

[9] Fefferman Robert, Calderön-Zygmund theory for product domains: Hp spaces, Proc. Natl. Acad. Sei. USA, Vol. 83 (1986), 840-843

[10} Gundy R. F. and Stein E. M., Hp theory for the poly-disc, Proc. Natl. Acad. Sei. USA, Vol. 76 (1979), 1026-1029

[11] Jones P. W. and Müller P. F. X., Conditioned Brownian motion and multipliers into SL°°, Geom. Funct. Anal., Vol. 14 (2004), 319-379

[12] Journe Jean-Lin, Calderön-Zygmund operators on product spaces, Rev. Mat. Iberoamer., Vol. 1 , No. 3 (1985), 55-91

[13] Kislyakov S. V., Interpolation of Hp-spaces: some recent developments, Israel Math. Conf. Proc., Vol. 13 (1999), 102140

[14] Rubio de Francia J. L., A Littlewood-Paley inequality for arbitrary intervals, Rev. Mat. Iberoamer., Vol. 1, No. 2 (1985), 1-14

[15] Stein Elias M., Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals, Princeton, New Jersey (1993)

Публикации автора по теме диссертации

[16] Осипов Н. Н., Неравенство Литлвуда-Пэли для произвольных прямоугольников в R2 при 0 < р < 2, Алгебра и анализ, Том 22, №2 (2010), 164-184

[17] Осипов Н. Н., Одностороннее неравенство Литлвуда-Пэли в R" для 0 < р < 2, Записки научных семинаров ПОМИ им. В. А. Стеклова Российской академии наук, Том 376 (2010), 88-115

[18] Осипов Н. Н., Функция как норма оператора Кальдеро-на-Зигмунда, Математические заметки, Том 86, №3 (2009), 421-428

Отпечатано в ООО «Издательство АЛЕКС», Санкт-Петербург, В.О., 22 линия, д. 3, к. 2 Подписано в печать 02.08.2010. Усл. печ. л. 2,5. Зак. № 64т. Тираж 60 экз.

 
Содержание диссертации автор исследовательской работы: кандидата физико-математических наук, Осипов, Николай Николаевич

Введение

1 Общие сведения

1.1 Сингулярные интегралы и классы Харди.

1.2 Пространства Щ(Ж х • ■ ■ х К).

1.3 Ограниченность операторов на Я£(Ж х • • • х Ш).

1.4 Теорема о /Г-замкнутости.

1.5 Утверждения о классах Харди.

2 Неравенство Литлвуда—Пэли

2.1 Формулировка результата и история вопроса.

2.2 Вспомогательные операторы S и R.

2.3 Ограниченность операторов S и R.

2.4 Условия гладкости.

2.5 Замечания по поводу n-мерного случая.

3 Функция G\

3.1 Формулировка результата.

3.2 Обсуждение и следствия.

3.3 Доказательство теоремы: оператор Т*

3.4 Доказательство теоремы: оператор Т.

 
Введение диссертация по математике, на тему "Теория Литлвуда-Пэли: некоторые новые результаты"

Теория Литлвуда-Пэли" — несколько размытый термин. Под ним обычно понимают многочисленные и, на первый взгляд, разнородные неравенства в анализе Фурье, выражающие принадлежность функции лебеговым классам LP или классам Харди Нр в терминах оценок на //'-нормы различных "квадратичных" выражений. Не претендуя на то, чтобы дать исчерпывающий список, приведем несколько таких неравенств.

Пусть / е //(М), 1 < р < оо. Определим квадратичное выражение L(f) по формуле де£> где Т> — двоичное разложение прямой, то есть набор всех отрезков вида [2к)2кп] и [—2fc+1, —2fc], к е Z, а Мд/ = (ТхаУ — соответствующие мультипликаторы Фурье. Необходимо заметить, что здесь и далее мы пользуемся следующим определением преобразования Фурье: m = f f e <S(JT).

Здесь «S(M") — класс Шварца, и наше определение распространяется на пространство медленно растущих распределений <S'(Kn) (а значит и на все пространства 17{К"), 1 < р < оо) известным способом (см., например, [21, §1.3]). Классическая теорема Литлвуда-Пэли утверждает (см. [4, §IV.5]), что верна следующая двусторонняя оценка: l|b(/)|UP(E) х ||/||LP(R). (i)

Далее, пусть / G L^M"), 1 < р < оо. Рассмотрим квадратичную ^-функцию Литлвуда-Пэли, которая определяется выражением где: / — продолжение Пуассона функции /, а градиент берется по всем переменным, в том числе и по у. Известно (см. [4, §IV.l]), что

Если дифференцировать только по х или только по у, получим квадратичные функции

0у(/)(*) = ( I itt^y) ydy 2

1/2 и

Для них также выполняются двусторонние оценки

9у(1)\\ьр{Ш") ~ ||/||lp(R") и \\gx(f)\\lp(Rn) ~ \\I\\lp(R")- (2)

Следующей квадратичной функцией, которую мы рассмотрим, будет интеграл площадей Лузина A(f), который определяется по формуле

Л(1)(х) =(ff IV/(i,y)|V"n^dy) где Г(.т) = {(t, у) Е | |t — < у} — конус с вершиной в точке х. Заметим, что в случае ^-функций мы брали интеграл по перпендикулярному лучу, выходящему из точки х, здесь же мы интегрируем по конусу Г(х); и, таким образом, возникает аналогия с соответствующими способами приближения к граничной точке: с приближением вдоль луча в первом случае и некасательным приближением внутри конуса во втором. Снова верна (см. [4, §VII.3.3]) двусторонняя оценка: ih(/)||lp(r") ^ ||/||lp(R"), 1 < р < оо. (3)

Интеграл площадей Лузина довольно эффективно использовался при изучении классов Харди Нр(Шп). В [10, стр. 161-167] доказано, что

IH(/)||LP(R") ~ ||/||яр(К"), 0 < р < 1. (4)

Теперь заметим, что V/(i,y) = (f*VPy)(t), где Py(t) = Cy/{\t\2 + у — ядро Пуассона. Иногда вместо VPy используют иные свертыватели. Например, мы можем рассмотреть квадратичную функцию где ipy(t) = у~пчр(1/у), а функция '0, в свою очередь, принадлежит классу Шварца <S(Rn). причем J ф — 0. Оператор S-ф является, в некотором смысле, обобщением интеграла площадей Лузина A(f) и для него выполняются аналог оценки (3):

II^C/OIUpcr") - ||/||lp(r«), i < р < оо.

Если же дополнительно потребовать, чтобы нескольких первых моментов функции ф равнялись нулю (чем меньше показатель р, тем большее число моментов должно обнуляться), то будет также верна оценка

Up(Mn) ж И/Ндрскп), О < р < 1. (5)

Если ^-функция "соответствовала" приближению точки (t,y) к границе вдоль луча, а оператор А — некасательному приближению внутри конуса, то произвольному приближению точки (t, у) к точке (ж, 0) "соответствует" квадратичная функция Сд, определяемая по формуле: вШх) = (Г L Ш"1 v/<* - 8)1 "2 ■

Основная оценка для этого оператора выглядит следующим образом:

1|Сл(/)11р < Ср,л \\f\\p , а > 1 и Р > шах(1, 2/А), (6) см. [4, §IV.2] и [9]). Дополнительно заметим, что три оператора из перечисленных удовлетворяют следующему поточечному соотношению: g(f)(x)<CA(f)(x)<CxGl(f)(x).

Помимо формального общего признака — присутствия всюду тех или иных квадратичных выражений — все перечисленные оценки роднит и общность (хотя и не полное тождество) методов их получения. Очень часто для доказательства привлекается теория сингулярных интегральных операторов в разных вариантах (так, кстати, будет и в этой диссертации) . Из многочисленных приложений указанных неравенств мы упомянем лишь, что теорема Литлвуда-Пэли, то есть оценка (1), представляет собой основной ингредиент в доказательстве классической теоремы Мар-цинкевича о мультипликаторах (см., например, [4, §IV.6]). Последний из примеров — функция G\ — тоже достаточно эффективно использовался для оценок мультипликаторов Фурье (см. [4, §IV.3]). Диссертация посвящена новым результатам в теории именно этих двух инструментов — неравенства Литлвуда-Пэли и оператора G"x. Обсудим их более подробно.

Что касается соотношения (1), то его доказательство сводится к проверке ^-ограниченности довольно простого сверточного сингулярного интегрального оператора. В действительности в неравенстве (1) вовсе не обязательно, чтобы разбиение Т> имело указанный вид — вместо точек 2к гам может выступать любая последовательность, растущая как геометрическая прогрессия. Довольно легко, однако, понять, что, вообще говоря, без дополнительных предположений о структуре разбиения это неравенство нарушается. Тем не менее, в 1983 году Рубио де Франсиа в работе [17] доказал, что ситуация кардинально меняется, если двустороннюю оценку заменить односторонней. А именно, он установил, что если 2 < р < оо, то выполняется оценка где Ат — произвольные попарно непересекающиеся интервалы на прямой R, а константа Ср не зависит ни от функции /, ни от интервалов Дш. Из соображений двойственности вытекает, что при 1 < р < 2 будет выполнено неравенство в обратную сторону, то есть для набора функций {/т}, таких, что supp fm С Am, верна оценка

В доказательстве Рубио де Франсиа фигурировал уже более сложный несверточный сингулярный интегральный оператор типа Кальдерона-Зигмунда и проверялось, что этот оператор действует ограниченно из L°° в В МО (после чего применялись интериоляционные соображения).

Вскоре после того, как Рубио де Франсиа получил упомянутый результат, Журне опубликовал работу [14], посвященную многонарамет-рическим операторам Кальдерона- Зигмунда па прямых произведениях евклидовых пространств. Простейшим примером такого оператора являeiMAm/r)1/2|| <cph/iilp(r),

7) m

1 < р < 2.

8) ется двойное преобразование Гильберта:

Я(/)(Х1,®2) = lim [[ ---Му2

2-*U |Ж2-У2|>£2

Ограниченность оператора Н на пространствах i/'(R2). 1 < р < оо, сразу вытекает из ^-ограниченности преобразования Гильберта по одной переменной и из теоремы Фубини. Если же у оператора, заданного на функциях от нескольких переменных, ядро не является произведением однонараметрических ядер типа Кальдерона -Зигмунда, то для его изучения требуется специальная теория, являющаяся обобщением од-попараметрической теории сингулярных интегральных операторов. До того как Журне опубликовал свою работу [14], такая теория была известна только для сверточных операторов. Методы Журне позволили, во-первых, рассматривать более общие несверточные операторы, а во-вторых, проверять, что такие операторы действуют ограниченно из пространства L°°(M.dl+'"+dn) в специальное мпогопараметрическое пространство ВМОп(Rfil х ■ • - xR.dn). //-ограниченность получалась из интерполяционных соображений. В конце своей работы Журне, используя методы построенной им теории, доказал, что результат Рубио де Франсиа можно распространить на пространство Мп, то есть, что аналог неравенства (7) выполняется в случае, когда Ат С R" — попарно непересекающиеся параллелепипеды со сторонами, параллельными осям координат. Стоит отметить, что оператор, к ограниченности которого сводится вопрос, не вполне укладывается в теорию Журне, и ему пришлось обходить эту трудность, используя структурные особенности этого оператора.

С другой стороны, в 2005 году Кисляков и Парилов в работе |3] доказали, что оценка (8) верна для всех 0 < р < 2 (что, конечно, уже нельзя получить, просто применив к оценке (7) соображения двойственности). Основой доказательства послужило то, что фигурирующий у Рубио де Франсиа оператор обладает дополнительными свойствами, а именно, оператор, сопряженный к нему, действует ограниченно на классах Харди НР(Ш), 0 < р < 2. Возникает естественный вопрос: нельзя ли распространить результат Кислякова и Парилова на пространство R™, то есть доказать аналог неравенства (8) для 0 < р < 2 в случае, когда Дт С Мп — попарно непересекающиеся параллелепипеды со сторонами, параллельными осям координат? Для этого нужны методы, двойственные" упомянутой теории Журне, такие, которые бы позволяли проверять ограниченность операторов на многопараметрических классах Харди H^(M.dl х ■ • • х Mdn) (определение таких пространств будет дано в §1.2). Подходящая теория, посвященная операторам Кальдерона-Зигмунда на двухпараметрических классах Харди х Ш1'2), была изложена Р. Фефферманом в работе [11] 1986 года. Используя эту теорию, автору удалось доказать (см. [23]), что аналог результата Кислякова и Парилова выполняется в случае, когда Дт — произвольные попарно непересекающиеся прямоугольники на плоскости М2 со сторонами, параллельными осям координат.

Теперь заметим, что Р. Фефферман рассматривал лишь двухпарамет-рическую ситуацию. При этом он использовал геометрическую лемму о покрытиях, полученную Журне в [14], и атомное разложение в двухпараметрических классах Харди, которое Чанг и Р. Фефферман получили в работе [8]. Поскольку эти инструменты легко обобщались на случай произвольного числа параметров, видимо некоторое время считалось, что теорию Р. Феффермана об операторах Кальдерона-Зигмунда на двухпараметрических классах Харди также легко можно распространить на ситуацию произвольного п. Однако в 1988 году была опубликована работа Журне [15], в которой, помимо прочего, был построен контрпример, показывающий, что прямое обобщение результатов Р. Феффермана на ситуацию, когда число евклидовых сомножителей больше двух, неверно (рассматривался некоторый оператор, действующий на пространстве Яз(Кх R х М)). Однако позже появились теории, более тонкие и громоздкие, чем теория Р. Феффермана, но основанные на сходных идеях, позволяющие все же проверять ограниченность некоторых сингулярных интегральных операторов на многопараметрических классах Харди 77£(Krfl х • • • xRd"). Наиболее общий метод работы с такими операторами, в основе которого лежали идеи Журне, был описан Кэрбэри и Сигером в 1990 году (см. [7]). Как оказалось, применить теорию Кэрбэри-Сигера к вопросу о неравенстве Литлвуда-Пэли в пространстве М™ не сильно сложнее, чем применить теорию Р. Феффермана в случае плоскости R2. В статье [24] автору удалось показать, используя методы Кэрбэри и Си-гера, что аналог оценки (8) выполняется в ситуации, когда 0 < р < 2 и Ат — произвольные попарно непересекающиеся параллелепипеды в К" со сторонами, параллельными осям координат.

Итак, первое, что будет обсуждаться в этой работе, это применение теорий Р. Феффермана и Кэрбэри-Сигера к вопросам об одностороннем неравенстве Литлвуда-Пэли на плоскости К2 и в пространстве произвольной размерности Rn.

Теперь обсудим функцию G\. В [4, §IV.3] оценка (6) используется для доказательства теоремы Михлина-Хёрмандсра о мультипликаторах. Дело в том, что если функция v удовлетворяет условиям той теоремы (то есть v достаточно гладкая и ее производные определенным образом ограничены), то оказывается верной поточечная оценка

9y(Mvf)(x) < CAGJ(/)(z), (9) где Mvf = (/ ■ v)v — мультипликаторный оператор, соответствующий функции v. Из соотношений (2), (6) и (9) вытекает //-ограниченность мультипликатора Mv.

Отметим, что оператор G\ стоит несколько особняком в ряду квадратичных операторов, перечисленных в начале введения, //-ограниченность других квадратичных функций, таких как д-функции Литлвуда-Пэли или интеграл площадей Лузина, может быть проверена с помощью теории операторов Кальдерона-Зигмунда для функций со значениями в гильбертовом пространстве. Однако для доказательства оценки (6) использовался иной подход (см, например, [4, §IV.2] или [9]) и считалось, что теория сингулярных интегральных операторов в этом контексте неприменима. Тем не менее, в 2004 году Анисимов и Кисляков заметили (см. [1]), что в квадратичной функции G — аналоге функции G?2 на окружности, все же спрятан некоторый сингулярный интегральный оператор Т. Он действовал в пространство функций со значениями во вспомогательном гильбертовом пространстве, а функция G выражалась через норму в этом пространстве. Строго говоря, рассматривался не сам оператор Т, а оператор Т*, сопряженный к нему. Было проверено, что Т* — оператор Кальдерона-Зигмунда, то есть, что его ядро удовлетворяет определенному условию гладкости. Из этого сразу следовало, что квадратичная функция G //-ограничена при 2 < р < оо. Также были сформулированы некоторые следствия, имеющие отношение к теории интерполяции. А именно, рассмотрим функцию / € //(Т), 2 < р < оо. Грубым разрезанием функции |/| по уровню а > 0 получим функцию д Е L°°(T), такую что \\д\\оо < Cot и \\f — gW^ < Ca2~p\\f\\^. Тот факт, что оператор G выражается через оператор Кальдерона-Зигмупда, позволяет, применив общие соображения, впервые описанные Бургейном в [6], изменить функцию д так, чтобы в дополнение к этим оценкам (в них изменятся лишь оценочные постоянные) выполнялось неравенство |[С?(д)||оо < Са. Заметим, что такое утверждение о "разрезании" функции было доказано еще раньше Джонсом и Мюллером с помощью броуновского движения (см. [13]), а результат Кислякова и Анисимова заключался в том, что этот факт может быть проверен иначе, если воспользоваться представлением функции G в виде нормы от значений оператора Кальдерона-Зигмупда. Автор в работе [25] показал, что аналогичные методы применимы не только для круга, но и для пространства М" и что параметр Л = 2 не исключение. Таким образом, функция G*x, как и функция G, выражается через норму от значений некоторого оператора Т, сопряженный к которому оказывается оператором Кальдерона-Зигмупда. Дополнительно было доказано, что при некотором ограничении на показатель Л прямой оператор Т также является сингулярным интегральным оператором, что позволило формулировать следствия (аналогичные тем, которые были получены для функции G) сразу для всех 1 < р < ос.

Итак, is последней главе мы рассмотрим квадратичную функцию G\ с точки зрения теории сингулярных интегральных операторов типа Каль-дерона-Зигмунда на векторнозначных функциях.

Объект исследования и научные положения, выносимые на защиту. Исследуются два объекта из области гармонического анализа: неравенство Литлвуда—Пэли и квадратичная функция G*x. Что касается неравенства Литлвуда-Пэли, то удалось доказать его односторонний вариант для параллелепипедов в К™ в //-метрике при 0 < р < 2. Это является первым результатом, который выносится на защиту. Вторым результатом является тот факт, что квадратичную функцию G\ можно трактовать как норму в гильбертовом пространстве от значений некоторого оператора Кальдерона—Зигмунда (также на защиту выносятся следствия из этого факта).

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

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

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

Научная новизна. Все результаты, выносимые на защиту, являются новыми.

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

Апробация работы. Результаты диссертации докладывались на общегородском семинаре по линейному и комплексному анализу в Санкт-Петербурге.

Публикации. Результаты, выносимые на защиту, опубликованы в работах [23, 24, 25]. Все три статьи напечатаны в журналах из списка ВАК.

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

В §1.1 мы обсудим сингулярные интегральные операторы типа Кальдерона-Зигмунда и дадим общее определение таких операторов, действующих на функциях со значениями в банаховых пространствах. Мы заметим, что такие операторы действуют ограниченно в //'-пространствах при 1 < р < 2 (а сопряженные к ним — при 2 < р < оо). Затем мы через некасательную максимальную функцию дадим определение "действительных" классов Харди Нр(Шп), 0 < р < оо. При 1 < р < оо классы Нр и пространства // в некотором смысле совпадают, а при 0 < р < 1 для функций из класса Нр существует атомное разложение. Это означает, что если / е Нр, 0 < р < 1, то существует разложение f = Y1 ^к^-к, где числа Xk такие, что ( ^ |А&|р)1/,р х ||/||яр> а У функций aназываемых атомами, выполняются некоторые ограничения на "размер" и несколько первых моментов равны нулю. Как известно, с помощью атомного разложения можно доказать, что операторы Кальдерона-Зигмунда действуют ограниченно из Нр в LF при 0 < р < 1.

В §1.2 мы обсудим многопараметрические классы Харди, на которых ограниченно действуют многопараметрические операторы Кальдерона-Зигмунда (например, уже упоминавшееся двойное преобразование Гильберта). Вначале будет дано определение многопараметрических аналитических классов Харди х • • • х R) = Tip(M.n) (здесь нижний индекс п обозначает число параметров). Ввиду важности данного понятия продублируем здесь его определение: функция и, заданная на прямом произведении п верхних комплексных полуплоскостей и аналитическая по всем переменным, принадлежит классу если

В этом определении функция и может быть как скалярпо-значной, так и /2-значной (то есть под пространством мы часто будем понима ть пространство ?^(Rn,/2), не оговаривая этого явно). Затем мы сформулируем лемму, которую мы будем использовать во второй главе, чтобы заменять в оценках //-нормы ^-нормами. По сути эта лемма утвержа-ет, что если у функции д G Z/(Rn) П L1(Rn), 0 < р < 2, носитель преобразования Фурье лежит в параллелепипеде с положительными координатами, то эта функция принадлежит многопараметрическому классу Харди 7i^(Rn), причем ее 7-££-норма оценивается //-нормой. Эта лемма элементарна, но в литературе, по видимому, отсутствует, поэтому мы там же приведем набросок ее доказательства. Также мы опишем более общие "действительные" классы Харди ff£(Rx ■ ■ • xR) = /7£(Rn), которые определяются через многопараметрическую некасательную максимальную функцию. Известно, что С причем нормы этих пространств эквивалентны на Н? (см. [12]). Мы заметим, что для многопараметрических классов Харди Rn) существует аналог атомного разложения (см. [8] или [11]) и что ключевым фактом, позволяющим получить такое разложение, является ограниченность на классах Н^(Ш.п) п-1гараметрической квадратичной функции S^ (ее однопараметрический вариант Ь'ф мы уже обсуждали в самом начале). То, что оператор действует ограниченно из IIЦ в //, считается хорошо известным, но похоже;, что нигде в литературе это в явном виде не проверяется, поэтому там же для полноты будет приведен набросок доказательства этого факта.

В §1.3 мы обсудим уже упоминавшиеся теории Р. Феффермана (см. [11]) и Кэрбэри-Сигера (см. [7]), позволяющие проверять ограниченность некоторых операторов на многоиараметрических классах Харди О < р < 1. Эти теории будут применяться во второй главе для изучения операторов, к ограниченности которых сводится вопрос о неравенстве Литлвуда-Пэли. В начале параграфа мы, предварительно выписав определения атома и предатома, сформулируем теорему об атомном разложении для многопараметрических классов Харди (см. [8] или [11]), которая утверждает примерно следующее: если / G Rn), то / = гДе числа Afc такие, что У] |AJP < С||/||7',,, а каждая из функций а/г сосредоп п точена на открытом множестве конечной меры. Функции называются атомами и каждая из них, в свою очередь, представима в виде линейной комбинации (возможно, бесконечной) предатомов — сосредоточенных на диадических параллелепипедах функций, у которых равно нулю определенное число моментов по каждой переменной. Затем мы сформулируем теорему Р. Феффермана, позволяющую доказывать ограниченность некоторых операторов на двухпараметрических классах Харди //f(М2). Очень приблизительно идею этой теоремы можно описать следующим образом: несмотря на то, что функция из двухпараметрическо-го класса Харди прямо не представляется в виде линейной комбинации предатомов (функций с носителями в прямоугольниках и нулевыми моментами по каждой переменной) с коэффициентами, контролируемыми ее Я^-нормой, для доказательства ограниченности некоторого оператора Т достаточно проверить, что он в некотором смысле "хорошо ведет" себя на предатомах. Мы заметим, что двухпараметрические операторы Кальдерона-Зигмунда удовлетворяют условиям теоремы Р. Феффермана. Затем будет описан более общий подход Кэрбэри и Сигера, позволяющий проверять ограниченность операторов с ядром на классах Я£(КП), п > 2. Их метод заключается приблизительно в следующем: умножением на функции, являющиеся разбиением единицы, "разрезается" ядро рассматриваемого оператора, а затем изучается поведение операторов с полученными таким "разрезанием" ядрами на "частичных" предатомах — функциях, у которых свойства предатомов выполняются лишь по части переменных.

В §1.4 мы сформулируем в терминах /^-замкнутости (предварительно определив это понятие) довольно давно известную (см., например, обзор [16]) интерполяционную 1 теорему, из которой будет следовать, что если Т иТ* — операторы Кальдерона-Зигмунда (где Т* — оператор, сопряженный к Т), то любую функцию / G U\ 1 <р < оо, можно разбить на сумму двух функций g 6 L°° и Ь G L1 так, что не только ||#||оо < Со. и ||b||i < Cal-p\\f\\p, но и ЦТ^Цоо < Са для любого уровня а > 0.

В §1.5 мы для полноты приводим подробное доказательство двух элементарных утверждений о многопараметрических классах Харди из §1.2. Первое утверждение о том, что функция, преобразование Фурье которой сосредоточено в параллелепипеде с положительными координатами, принадлежит аналитическому многопараметрическому классу Харди с удобной оценкой нормы, и второе о том, что многопараметрическая квадратичная функция Бф действует ограниченно из Мп) в ЬР(ШП).

Вторая глава будет посвящена обобщению одностороннего неравен

1Имеется в виду вещественная интериоляция, которая при широком взгляде на вещи и есть наука о разрезании функции на две части с предписанными оценками. ства Литлвуда-Пэли при 0 < р < 2 на пространстве) М". А именно, мы докажем, что при 0 < р < 2 выполняется оценка где Дт — непересекающиеся параллелепипеды в Ж™ со сторонами, параллельными осям координат, а функции /т Е L1 (Rn) такие, что supp/m С Дто. Константа СР)П не зависит ни от функций, ни от параллелепипедов.

В §2.1 мы еще раз вкратце повторим историю вопроса и дадим точную формулировку теоремы, которую мы собираемся доказывать.

Принципиальный момент в доказательстве этой теоремы состоит в том, что по сути мы имеем дело с оценкой в классах Харди, а не в лебеговых пространствах. В §2.2 мы покажем, как именно теорема сводится к вопросу об ограниченности двух вспомогательных операторов на многопараметрических классах Харди. Чтобы избежать громоздких выкладок, мы будем рассматривать ситуацию п = 2 (ввиду того, что мы будем пользоваться общей теорией Кэрбэри-Сигера, которая, в отличие от теории Р. Феффермана, применима к ситуации п > 2, рассуждения легко распространяются на случай произвольного п, см. §2.5). Для начала мы рассмотрим частный случай, когда все прямоугольники Дш — "почти" диадические (а именно, получены из диадических увеличением длин сторон в 8 раз с сохранением координат левой нижней вершины; требование о том, чтобы они попарно не пересекались, при этом сохраняется) . Теорема в этом частном случае будет сводиться к ограниченности некоторого оператора S на пространствах (К2, /2); 0 < р < 2 (в этом месте используется лемма из §1.2 о том, что функция, преобразование Фурье которой сосредоточено в прямоугольнике с положительными координатами, принадлежит классу Харди). Оператор S не сверточный и, что еще важнее, действие этого оператора не выражается через последовательное применение его одномерных аналогов отдельно по каждой переменной. Далее, отложив доказательство ограниченности оператора S до следующего параграфа, мы обсудим, как свести нашу теорему к рассмотренному частному случаю с помощью другого вспомогательного оператора R. Действие этого оператора заключается в том, что он некоторым образом "разрезает на части" носитель преобразования Фурье функции, к которой он применяется. В отличие от оператора S, оператор

R сверточный и легко выражается через свои одномерные аналоги. Нам потребуется его ограниченность на классах Н^Ш2,1'2), проверка которой будет также отложена до следующего параграфа. Из этих утверждений с отложенными доказательствами основной результат главы получается мгновенно.

В §2.3 мы докажем ограниченность операторов S и R. Их ^-ограниченность будет сразу следовать из теоремы Планшереля, и если доказать, что эти операторы ограничены на классах Щ(Ш2) при 0 < р < 1, то для остальных р это последует из интерполяционных соображений. Вначале будем рассматривать оператор S. Он не является в точном смысле многопараметрическим оператором Кальдеропа-Зигмунда (например, он не укладывается в определения из статей [11, 14]), однако мы сформулируем лемму, которая в некотором смысле послужит заменой условию гладкости для его ядра. Затем кратко опишем как, используя эту лемму, проверять для оператора S условие теоремы Р. Феффермана об ограниченности операторов на двухпараметрических классах Харди. После чего, уже со всеми подробностями, проведем доказательство ограниченности оператора S методами теории Кэрбэри-Сигера. Нам останется разобраться с оператором R. Мы предварительно сформулируем оценку, которая является условием гладкости для ядра одномерного аналога оператора R. Затем, используя эту оценку, методами теории Кэрбэри-Сигера проверим ограниченность оператора R на многопараметрических классах Харди, иричем выкладки окажутся значительно проще, чем для оператора S (ввиду того, что оператор R более стандартен и действие этого оператора на функцию выражается через последовательное применение его одномерных аналогов отдельно по каждой переменной).

В §2.4 мы проверим условия гладкости для ядер операторов S и R. Подобные условия проверялись и раньше во многих работах, но ввиду некоторых технических отличий мы не сможем сослаться пи на одну из этих работ.

В §2.5 мы рассмотрим ситуацию произвольного п (напомним, что до этого момента мы рассматривали случай п = 2). Мы покажем, что все наши рассуждения легко переносятся на случай п > 2.

В третьей главе пойдет речь о квадратичной функции С\. Мы покажем, что функция G*x выражается через норму от значений оператора Кальдерона-Зигмунда, действующего в пространство векторнозначных функций, и сформулируем следствия из этого факта.

В §3.1 мы напомним определение оператора G*x, после чего заметим, что для него выполняется представление G*x(f)(x) = \\T(f)(x)\\j?>, где Ж — вспомогательное гильбертово пространство функций, действующих из верхнего полупространства R"+1 в пространство С"+1, таких, что = Г I (тТ^)ХПНШ2у1-пМАу<<Х>,

J о Jtmn \\с\ + У/ а оператор Т действует в пространство ^-значных функций и определяется формулой

T(f)(x)(t,y) = [ VPy(x - I - v)f(v)dv.

Здесь Ру — ядро Пуассона, а градиент берется по всем переменным, в том числе и по у. Затем мы выпишем ядро сопряженного оператора Т* и сформулируем основную теорему, которая, во-первых, утверждает, что Т* — оператор Кальдерона-Зигмунда при всех Л > 1, а во-вторых, в дополнение к этому, что прямой оператор Т также является оператором Кальдерона-Зигмунда при Л > 2 + 2/п (то есть ядра операторов Т и Т* удовлетворяют определенным условиям гладкости).

В §3.2 мы обсудим следствия из основной теоремы. В начале параграфа мы приведем определение квадратичной функции G — аналога опре-атора G*2 в единичном круге. Затем будет сформулирована интерполяционная лемма, впервые доказанная Джонсом и Мюллером (см. [13]) с помощью броуновского движения, которая утверждает, что при 2 < р < оо функцию / € ЛР(Т) (здесь 7YP(T) — аналитические классы Харди на окружности) можно разбить на сумму двух функций д G 7i°°(T) и Ъ е Н2{Т) так, что не только ЦдЦ^ < С\ и \\Ь\Ц < СА2-р||/||£, но и ИОДИоо < для любого уровня А > 0. Однако Анисимов и Кисля-ков в работе [1] показали, что функцию G можно трактовать как норму от значений сингулярного интегрального оператора, что позволяет доказать это утверждение о "разрезании" функции общими методами, которые используют теорему о /f-замкнутости (см. §1.4) и не апеллируют к броуновскому движению. Но мы уже знаем, что функция G'x также выражается через оператор Кальдерона-Зигмунда. Используя этот факт (если говорить точно, то мы воспользуемся тем, что Т* — оператор Кальдерона-Зигмунда), мы с помощью теоремы о /^-замкнутости получим аналог утверждения Джонса и Мюллера для оператора С'*х. Теперь заметим, что наша основная теорема дополнительно утверждает, что при Л > 2 + 2/п прямой оператор Т также является оператором типа Кальдерона-Зигмунда. Это, во первых, позволит нам сформулировать аналог утверждения о разбиении функции сразу для всех 1 < р < оо, а во вторых отсюда будет следовать, что G'x — оператор слабого типа (1,1) (причем эта оценка окажется точной: мы покажем, что оператор G*x не действует из L1 в L1).

В §3.3 мы проверим условие гладкости для ядра оператора Т* и тем самым докажем первую часть основной теоремы.

В §3.4 мы докажем вторую часть теоремы, проверив другой вариант условия гладкости для ядра прямого оператора Т.

 
Список источников диссертации и автореферата по математике, кандидата физико-математических наук, Осипов, Николай Николаевич, Санкт-Петербург

1. Анисимов Д. С., Кисляков С. В., Двойные сингулярные интегралы: интерполяция и исправление, Алгебра и анализ, Том 16, №5 (2004), 1-33

2. Кисляков С. В., Теорема Литлвуда-Пэли для произвольных интервалов: весовые оценки, Записки научных семинаров ПОМИ им. В. А. Стеклова Российской академии наук, Том 355 (2008), 180-198

3. Кисляков С. В., Парилов Д. В., О теореме Литлвуда-Пэли для произвольных интервалов, Зап. научн. сем. ПОМИ, Том 327 (2005), 98114

4. Стейн И., Сингулярные интегралы и дифференциальные свойства функций, Издательство "Мир" Москва, 1973

5. Bourgain J., On square junctions on the trigonometric system,, Bull. Soc. Math. Belg., Vol. 37, No. 1 (1985), 20-26

6. Bourgain J., Some consequences of Pisier's approach to interpolation, Isr. J. Math., Vol. 77 (1992), 165-185

7. Carbery Anthony and Sceger Andreas, Hp- and LP-variants of multiparameter Calderon-Zygmund theory, Trans. Amer. Math. Soc., Vol. 334, No. 2 (1992), 719-747

8. Chang Sun-Yung A. and Fefferman Robert, A continuous version of duality of H1 with BMO on the bidisc, Ann. of Math., Vol. 112, No. 1 (1980), 179-201

9. Fefferman C., Inequalities for strongly singular convolution operators, Acta Math., Vol. 124 (1970), 9-36

10. Fefferman С. and Stein E. M., Hp spaces of several variables, Acta Math., Vol. 129 (1972), 137-193

11. Fefferman Robert, Calderon-Zygmund theory for product domains: Hp spaces, Proc. Natl. Acad. Sci. USA, Vol. 83 (1986), 840-843

12. Gundy R. F. and Stein E. M., Hp theory for the poly-disc, Proc. Natl. Acad. Sci. USA, Vol. 76 (1979), 1026-1029

13. Jones P. W. and Muller P. F. X., Conditioned Brownian motion and multipliers into SL°°, Geom. Funct. Anal., Vol. 14 (2004), 319-379

14. Journe Jean-Lin, Calderon-Zygmund operators on product spaces, Rev. Mat. Iberoamer., Vol. 1 , No. 3 (1985), 55-91

15. Journe Jean-Lin, Two problems of Calderon-Zygmund theory on product-spaces, Ann. Inst. Fourier., Vol. 38, No. 1 (1988), 111-132

16. Kislyakov S. V., Interpolation of Hp-spaces: some recent developments, Israel Math. Conf. Proc., Vol. 13 (1999), 102-140

17. Rubio de Francia J. L., A Littlewood-Paley inequality for arbitrary intervals, Rev. Mat. Iberoamer., Vol. 1, No. 2 (1985), 1-14

18. Sato Shuichi, Lusin functions and nontangential maximal functions in the Hp theory on the product of upper half-spaces, Tohoku Math. Journ., Vol. 37 (1985), 1-13

19. Soria Fernando, A note on a Littlewood-Paley inequality for arbitrary intervals in M2, J. of London Math. Soc. (2), Vol. 36, Pt. 1 (1987), 137142

20. Stein Elias M., Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals, Princeton, New Jersey (1993)

21. Stein Elias M. and Weiss Guido, Introduction to Fourier Analysis on Euclidean Spaces, Princeton, New Jersey (1971)

22. Xu Quanhua, Some properties of the quotient space (L1(Td)/H1(Dd)), Illinois J. of Math., Vol. 37, No. 3 (1993), 437-454

23. Осипов Н. Н., Неравенство Литлвуда Пэли для произвольных прямоугольников в К2 при 0 < р < 2, Алгебра и анализ, Том 22, №2 (2010), 164-184

24. Осипов Н. Н., Одностороннее неравенство Литлвуда-Пэли в для 0 < р < 2, Записки научных семинаров ПОМИ им. В. А. Стек-лова Российской академии наук, Том 376 (2010), 88-115

25. Осипов Н. Н., Функция G*x как норма оператора Кальдерона-Зигмупда, Математические заметки, Том 86, №3 (2009), 421-428