Мультипликаторы Фурье и Шура тема автореферата и диссертации по , 01.00.00 ВАК РФ

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

32 11/91

МУЛЬТИПЛИКАТОРЫ ФУРЬЕ И ШУРА

Виктор Олевский

РЬ. Б. ТЬеяз

Руководитель - проф. М. Соломяк

Институт Вейцмана, 1997

/3 ^ ?

/Т "

Содержание

Введение ............................................................................................................2

Глава I ............................................................................................................8

Глава II ............................................................................................................15

Глава III ............................................................................................................23

Глава IV ............................................................................................................32

Литература..........................................................................................................39

Аннотация

Настоящая работа посвящена исследованию классических понятий мультипликаторов Фурье и Шура.

В главе I дается точная оценка нормы матрицы как мультипликатора Шура в классах Шаттена Sp.

В главе II доказывается метрическое достаточное условие, при котором функция на окружности является мультипликатором Фурье в 1р.

В главе III содержится достаточно полное описание топологически инвариантных мультипликаторов Фурье.

В главе IV рассматривается связь между мультипликаторами Шура для интегральных операторов и мультипликаторами Фурье, и строится неожиданный контрпример.

ВВЕДЕНИЕ.

Данная работа посвящена исследованию мультипликаторов Фурье и

Шура.

1. Понятие мультипликатора Фурье является важным и естественным обобщением классического преобразования Гильберта (подробный обзор см. в [EG]).

Пусть функция / принадлежит пространству L^ на окружности Т = R/Z. Рассмотрим линейный оператор F в

F : и I—У / • ti,

где через " и " обозначаются прямое и обратное преобразования Фурье:

и н> u(t) = 5>пе2?гЫ; №) ^ fin) = I f {t)e~2™lt dt.

nez

Если при заданном p> 1 оператор F, рассматриваемый на множестве U^lp, ограничен в 1Р- норме, то он допускает единственное продолжение на все пространство 1Р.

Функция / в этом случае называется мультипликатором Фурье, в 1Р :

/ G Мр(Т) .

Пространство МР(Т) является банаховой алгеброй по отношению к поточечному умножению и операторной норме

||/||мр(Т) = ll^lilp^p-

Аналогично определяются мультипликаторы Фурье на двойственной группе Z и на группе вещественных чисел Е.

Фундаментальная важность понятия мультипликатора объясняется тем, что оператор F коммутирует с операторами сдвига в 1р, и обратно, каждый линейный оператор в 1Р, инвариантный относительно сдвигов, может быть записан в такой форме. Легко видеть, что

М2(Т) = L0oÇT).

Алгебра МЦТ) также допускает адекватное описание, в терминах преобразования Фурье. Она совпадает с алгеброй Винера

И/(Т)= {/: £|/(п)|<оо}.

пег

Нетрудно доказать, что

Мр(Т) С М9(Т), 1<P<CI<2., и, в силу двойственности,

Мр(Т) = М?У(Т), 1 + 1 = 1.

р р

Однако, для р, отличных от 1, 2 и оо, явного описания этих алгебр

не существует. Распознать, является ли данная ограниченная функция мультипликатором, или оценить ее норму в пространстве МР(Т), - весьма трудная проблема: какой-либо общий подход к ней неизвестен.

Следующие примеры мультипликаторов Фурье являются классическими.

1°. (М. Рисс). Характеристическая функция /(¿) = Х7 интервала I является мультипликатором в 1Р при всех 1 < р < оо. Соответствующий оператор ^ - аналог преобразования Гильберта на Е.

2°. (Литтлвуд - Пэли - Марцинкевич). Пусть функция / постоянна, или имеет равномерно ограниченную вариацию, на двоичных интервалах (р-, ^¿т), к —- 1,2,... Тогда / € Мр(Т) , причем, как и в предыдущем случае, при всех 1< р <оо.

Такая ситуация типична. Как отмечено в книге Стейна [Б^ гл. IV], „представляется необходимым создание более далеко идущей теории, предоставляющей достаточные условия принадлежности функции / к алгебре Мр при некотором р ф 2, которые, однако, не влекли бы ее принадлежности ко всем Мр."

Один из основных результатов данной работы представляет собой некоторый шаг в этом направлении.

Мы рассматриваем подалгебру топологически инвариантных мультипликаторов:

М!(Т) = { / : / о в е Мр(Т) для всех гомеоморфизмов в : Т ТГ} .

Оказывается, такие мультипликаторы допускают точную характери-зацию в явных метрических терминах.

Пусть число (5 > 1. Говорят, что функция / имеет ограниченную ¡5-вариацию, если

п

вд)= sup (x;i/(í»)-/(íí-i)H¿ <сх)-

t0<...<tn - = 1

Класс функций ограниченной [3 - вариации обозначается Vв (Т). Этот класс играет важную роль в теории рядов Фурье.

Мы доказываем следующий результат:

ТЕОРЕМА. Пусть q > 2. Непрерывная функция f принадлежит всем пространствам, М°(Т), — || < ^ , тогда и только тогда, когда / е v/(T) для всех (5 > q.

Этот результат доказан в главах II-III (теоремы 2.9 и 3.1). Мы даем также соответствующую версию этого результата без предположения непрерывности функции / (теорема 3.3).

2. Понятие мультипликатора Фурье естественным образом укладывается в рамки общей концепции мультипликаторов Шура.

Пусть (X. /л) - сепарабельное пространство с мерой. При р > 1. рассмотрим в гильбертовом пространстве Н = L-¿ (X, /л) класс Шаттена Sp линейных компактных операторов К, удовлетворяющих условию

\ШsP = ||А||гр < ос,

где А - последовательность сингулярных чисел оператора К, т. е. собственных чисел положительного самомопряженного оператора (К*К) з.

Класс S'2 состоит из интегральных операторов Гильберта-Шмидта

(Ки)(у)= [ ф, у) и(х)с1ф) JX

с квадратично суммируемым ядром:

||A||Sa = ||k||L2(XxX) < оо.

Пусть Lp - функция из пространства L^ на „квадрате" X х X. Через <р о К будем обозначать интегральный оператор с ядром ip(x, у) к(х, у).

Отображение

Ф : К м- ср о К представляет собой линейное преобразование в 52 с нормой

ll$l|.S2^2 = IMU» •

Если для заданного р > 1 оператор Ф, суженный на подпространство SzHSp , ограничен в Sp-норме, то существует единственное продолжение этого оператора на все пространство Sp.

Функция ср в этом случае называется мультипликатором Шура в Sp :

<р 6 М(Sp).

Пространство М(Sp) является банаховой алгеброй относительно поточечного умножения и операторной нормы

IMIm(Sp) = 11Ф1!.5р->5р-

Как и ранее, справедливы следующие утверждения:

М(52) = Loo(X х X); М(Sp) С М(Sq) , 1 < р < q < 2 ;

М(Sp) = М(SV) , 1 + = 1 •

р р'

Алгебра мультипликаторов Шура в пространстве В(Н) всех линейных ограниченных операторов, действующих в гильбертовом пространстве Я = L2(X, /í) , определяется аналогичным образом и обозначается М.

Заметим, что

м = M(Si) = M(Seo) ,

поскольку ||ii ¡¡Seo " это обычная норма оператора К.

Полное описание алгебры М дается глубокой теоремой Гротендика (см. [Р, гл. V]).

Исследование пространств М(Sp) при р ф 1, 2, оо, представляет собой весьма сложную проблему. Важные оценки были получены М. Бирманом и М. Соломяком в рамках так называемой теории „двойных операторных интегралов" (см. по этому поводу обзор [BS5]).

Хорошо известно следующее фундаментальное соотношение между мультипликаторами Фурье и Шура. Пусть X = Т, и ¡л - мера Лебега. Зададим функцию <р равенством:

= f(x~y) ■

Рассмотрим действие Ф на операторы К с ядрами, зависящими от разности переменных: к(х,у) = к(х-у). Легко видеть, что

1№„ = 11*11»,,

и, следовательно,

Отсюда вывод: если <р - .мультипликатор Шура в Sp, то f - мультипликатор Фурье в 1р , причем

||/||мр(т) < IIvIImcs,,) •

Несложно проверить, что для р — 1,2 и ос верно и обратное. В силу этого факта естественно возникает следующая гипотеза:

/ € Мр(Т) f(x-y) е М(5р) Ур > 1.

Предположение о справедливости этого соотношения хотя бы для непрерывной / было высказано Ацмоном [А].

Заметим, что импликация немедленно вытекала бы, если бы пространства мультипликаторов образовывали бы интерполяционную шкалу.

Существует дополнительный аргумент в пользу указанной гипотезы. Именно, В. Мацаев доказал (см. [GK1, гл. IV]), что для функции / = хь отвечающей преобразованию Гильберта, функция f(x — y) принадлежит М(Sp) при всех 1 < р <ос.

Тем не менее оказывается, что приведенная выше гипотеза неверна. Контрпример строится нами в главе IV (теорема 4.8).

ТЕОРЕМА. Существует непрерывная функция / на окружности, обладающая следующими свойствами:

(i) f(t) - мультипликатор Фурье в 1Р при всех 1 <р <оо;

(ii) (р(х,у) = f(x — y) не является мультипликатором Шура в Sp ни при каком 1 < р < ею , р ф 2.

3. В главе I рассматривается дискретная версия мультипликаторов Шура. В качестве пространства (X, /¿) берется множество натуральных чисел N со „считающей" мерой.

Матрица А = (сц/) (которую мы отождествляем с соответствующим оператором в Н = U) - мультипликатор Шура в Sp, или в В(Н), если линейное преобразование

Q = {Qij) AoQ = (cnj qvj)

ограничено в соответствующем пространстве. Все указанные свойства алгебр М(5р) и М сохраняются в дискретном случае.

Существуют, однако, и специфические отличия. В частности, оценка Шура

|И||м < |И||й(Я) не имеет аналога для интегральных операторов.

Теория матричных мультипликаторов Шура в В(Н) восходит к классической работе Шура [S]. Она послужила предметом многочисленных исследований (см. обзор [Но]).

Мультипликаторы в классах Шаттена изучены далеко не так полно.

Нами получены точные оценки для М(,9р)-норм (теорема 1.4).

Пусть {cij}, j е N - столбцы матрицы А. При г > 1, определим пространство 1М матриц с конечной нормой

11^11 ММ = SUP \\aj\\lr • 3

ТЕОРЕМА. Пусть г > 2 и - < Тогда для любой матрицы A G loo(lr) имеет место неравенство:

|И||м(5р) < 1ИНыМ'

В „крайних" случаях j = \ ± \ константа 1 в правой части - точная.

Кроме того, оценка точна по параметру р: если > \ , то мат-

рица А Е loo{lr), вообще говоря, не принадлежит, пространству M(SP).

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

ГЛАВА I.

Матричные мультипликаторы Шура в классах Шаттена.

1. Основное определение. Произведением Шура двух бесконечных матриц А = (ау) и А' = (х^) называется матрица их поэлементных произведений

А о X = (а^Су).

Данное понятие, впервые исследованное И. Шуром в его классической работе [8], появляется затем в различных областях анализа. Подробный обзор и обширную библиографию можно найти в [Но].

В дальнейшем мы будем отождествлять матрицу с соответствующим оператором в гильбертовом пространстве Н = 12. Фиксируя матрицу А, рассмотрим линейное отображение

Ма \ х I—у Аох.

Изучением свойств этого преобразования в различных пространствах операторов и занимается теория мультипликаторов Шура. Для данного

класса 5 определим множество

М(5) = {Л: ЦМдЦ^ < оо} .

Матрица А е М(5) называется мультипликатором Шура в 3.

Исследованию мультипликаторов Шура в пространстве В(Н) всех линейных ограниченных операторов посвящено множество работ. Далее мы приведем наиболее важные результаты.

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

2. Мультипликаторы Шура в В(Н). Обозначим через ЦАЦ норму Ма как оператора в В(Н); обычная операторная норма обозначается ЦАЦ. Тогда, по определению,

М = М(В(Я)) = {А : IIЛII < со}.

Пусть теперь a,j = {ац.ащ,...}, j = 1.2,... - столбцы матрицы А. Для каждого г б [1,оо] определим класс ¿oc (¿г) матриц с конечной "смешанной" нормой

INLcM = suPINk-j

Так как операторная норма А не меньше нормы любого столбца, имеем:

P!L(72)<II-4|I- (i-i)

Приведем некоторые важные результаты теории мультипликаторов Шура в В(Н). Наиболее известно классическое неравенство Шура:

1И1 < 1И11 • (1.2)

Нам понадобится следующая оценка, полученная в работе [Ong]:

1И1 < • (1-3)

Ввиду (1.1) данное неравенство сильнее, чем (1.2).

Фактически, оно непосредственно вытекает из формулы для нормы IA ¡I, выведенной Хаагерупом в неопубликованной рукописи [На]:

1И111 = : В*С = А} . (1.4)

Критерий Хаагерупа является мощным инструментом в исследовании мультипликаторов Шура в В{Н). Доказательства и различные следствия (1.4) имеются в [АО], [PPS], [М] и [CDS],

3. Классы Шаттена. Напомним определение и основные факты: подробное изложение можно найти в [GK1],

Пусть А : Н Н - компактный оператор. Его сингулярными числами называются элементы последовательности {Aj} собственных значений компактного положительного самосопряженного оператора \А\ = (Л*Л)з, занумерованной по убыванию с учетом кратностей:

Всякий компактный оператор допускает разложение Шмидта вида

3

где и {г/^} - некоторые ортонормальные системы.

Классом Шаттена - фон Неймана порядка р, р Е [1,оо), называется пространство Бр всех компактных операторов ,4 с конечной нормой

3

Наиболее

важными в шкале <5^ являются класс ¿>оо всех компактных операторов, класс ядерных операторов б'х, и класс Гильберта-Шмидта

6'2 = {А е 5«, : ||А||2 = = (][>,|¥ < «>}■

3 V

4. Предварительные сведения. Обозначим через ||| А|||р норму МА как оператора в Sp:

|И|р = 8ир{|ИоХ!!Р:||Х||г,<1}.

По определению.

M (Sp) = {А : ||Л|р < оо} - соответствующее пространство мультипликаторов Шура.

Ясно, что M (Sp) и M с умножением Шура являются коммутативными банаховыми алгебрами. Некоторые их элементарные свойства описаны в следующих двух предложениях. Как обычно, р' = ^ - сопряженный показатель.

Лемма 1.1. (i) M (Sp) = M (S?) (1 <p< oo), M = M(5X) = M(S!X), включая равенство соответствующих норм;

(ii) M(S2) = IM, 1|Л||2 = |И||ММ;

(iii) M(SP) С M(Sq) (q e (pf,p), p > 2), ¡A\lg < IAIp .

Доказательство, (i) вытекает из соображений двойственности, (ii) очевидно, (iii) выводится с помощью комплексной интерполяции (см. [GK2], Теорема 3.5.2). •

Заметим, что лемма 1.1 представляет собой частный случай [BS5, §8].

Определим теперь для всяких матрицы А и натурального числа п усеченную матрицу

АЫ = (а%>), =

Лемма 1.2. Последовательности норм А^ как мультипликаторов Шура в Sp и В(Н) возрастают, и

(i) ¡,4¡p = suppW|p, 1<р<оо:

п

(Ü) IАII =sup |И(п)||. 11

Доказательство, (i) Обозначим К^ = {Аг : А" = Х^}. Множество К = Уп К^ всюду плотно в Sp, 1 < р < со. Отсюда

|И|Р = sup{||A о Х\\р : X £ К, \\Х\\Р < 1} .

Зафиксируем с < |||А|||р, и выберем такой X £ К, ЦА'Цр < 1, чтобы ||А о Х\\р > с. X € К^ для некоторого п. Очевидно, А о X = А^ о X, откуда ЩА^Цр > с, из чего немедленно вытекает неравенство "<" в (i). Обратное неравенство тривиально. С учетом леммы 1, (И) следует из (i) при р = ос. •

Для полноты изложения приведем также доказательство неравенства (1.3) из [Ong].

Лемма 1.3. ||А||| < \\A\\loo(h).

Доказательство. Заметим, что ||А о А|| = ЦА7' о АГТ||. Пусть а = IHILfe) и С = ||*TIL(b>- Ввиду (1.1) имеем £ < ||А||. Тогда для любого

U = {Uj} £ 12

i 3

^ Е(Еы2-Еы2ы2)

i j 3

3 i

СЩ fox i,j<n 0 otherwise.

5. Основной результат. Мы дадим точную верхнюю оценку нормы матрицы А как мультипликатора Шура в классах Шаттена 5Р. Результат опубликован в работе [ОБ].

Теорема 1.4. Пусть г > 2 и

\--т;\<-' (1-5)

р 2 г

Тогда УАе 1^{1Г)

1И11Р < 1И||М!,.;). (1.6)

Для крайних значений ~ = | ± ^ константа 1 в неравенстве (1.6) точна. Кроме того, эта оценка точна по паралтпрур: если — > ^ то матрица А Е 1оо{1г), вообще говоря, не является мультипликатором.; Шура в

Доказательство. Ввиду леммы 1.1, достаточно рассмотреть случай А = | — Вследствие леммы 1.2, можно ограничиться конечномерным случаем. Рассмотрим билинейное отображение

Г : (А, X) • > ,1 о Л". действующее на множестве матриц размера п х п. Согласно лемме 1.3,

Г: 1<£>(1^)хВ^В,

а по лемме 1.1 (И),

Г: гН(/Н)х52^52.

Здесь В = В(4'^) и 52 = 52(4'^)- Обе константы в соответствующих неравенствах для норм равны единице. Используя метод комплексной

билинейной интерполяции (см. [ВЬ], теорема 4.4.1), V 9 Е (0,1) получаем:

Г: х [В, 52]{? и- [В,32]е,

где - стандартное обозначение для интерполяционного функтора. Соответствующая постоянная опять же равна единице. Как известно (см. [Т], 1.19.7); 9

[£,52]е = 5р, р = -,

включая равенство норм.

Далее,

&(&)]* = Ш = , (1-7)

1 _ 1 - в _ 1 1

г ~~ 2 ~ 2 ~ р '

также с равенством норм. Первое неравенство в (1.7) есть немедленное следствие результата Кальдерона ([С], 13.6), второе - хорошо известно. Таким образом,

||г(дх)|!р = ЦАохЦр <

что доказывает оценку (1.6).

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

Докажем теперь точность неравенства (1.6). Рассмотрим матрицы размера п х п

А = (е^) и .V • • .

Тогда А о X = ■], где ■] - матрица, состоящая из одних единиц. Ее ранг

равен 1, единственное ненулевое собственное значение равно п, поэтому ||,/||р = п. Матрица ^А" унитарна, что влечет \\Х\\Р = п2 ? . Наконец,

Н^Нм'О = пг при всех г.

Таким образом, для любого р > 2 имеем:

114

11 111

1И||р > = п*-? = ||А||1оо(,г). (1.8)

ПА Нр

Отсюда следует, что константу 1 в неравенстве (1.6) нельзя улучшить для ^ = | - 1, равно как, тем самым, и для А = \ + А . Кроме того, (1.8) показывает, что оценка типа (1.6), пусть и с другим постоянным множителем в правой части, невозможна вне интервала (1.5). •

Следствие 1.5. Для каждого р £ [1, оо] и любого натурального п найдется матрица А размера п х п такая, что = 1 и

ii_.ii

IА Цр = п'2 р1.

6. В заключение, докажем следующее утверждение. Пусть h = {hj}, j £ Z, - числовая последовательность. Обозначим Ah = {hj — /ij_i}, и введем матрицу Ah = (a¿¿), a¿¿ = -pj1' ^ an = 0 (частный случай так называемых матриц Левнера).

Лемма 1.6. Пусть г > 2, — || < и последовательность h такова, что Ah е /,•. Тогда

ПАЯ, < ^ || .

Доказательство. По теореме 1.4, достаточно проверить аналогичное неравенство с левой частью, равной ||A||loo(|r). Но оно непосредственно вытекает из хорошо известного дискретного неравенства Харди ([HLP], теорема 326):

00 оо

£|-Г < (^-У £ k - «n-i|r («о = 0). .

п г - 1 ^

ГЛАВА И.

Ограниченная вариация и мультипликаторы Фурье

1. Основное определение. Пусть f(t) - ограниченная измеримая функция на окружности: / е L^(Т), Т = M/Z. Для последовательности и = {ип} £ h П 1Р (Z) положим

(Fu)n = f if(t) ]Г uke2*ikt] er2'ninidt, (2.1)

к

и рассмотрим линейное отображение

и и» Fu = / • й ,

где и ' обозначают, соответственно, прямое и обратное преобразовани�