Мультипликаторы Фурье и Шура тема автореферата и диссертации по , 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 = / • й ,
где и ' обозначают, соответственно, прямое и обратное преобразовани�