Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Стейн И.М. Сингулярные интегралы и дифференциальные свойства функций

.pdf
Скачиваний:
34
Добавлен:
25.10.2023
Размер:
12.91 Mб
Скачать

60 Гл. II. Сингулярные интегралы

=

 

| К (х — у) f (у) dy сходится по норме Ж% для почти всех х и

 

R™

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

U

 

 

W K

j\K(x-y)f(y)\dy^

 

 

 

j\K(x-y)\\f(y)\dy,

 

 

 

 

 

 

 

R"

 

 

R"

 

 

 

 

 

Также

 

 

| | g I K | | / С I I , I I / l i p , если

l / r =

\/p + l/q -

1,

1 < г < о о .

 

 

5.2.

 

Предположим,

что функция

/(х) е

L 1 ( R " , 5^). Тогда мы

можем

 

определить ее преобразование Фурье f(y)—

| e2nix'»f

(x)dx,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R"

 

которое

является элементом

L°°(R*, Ж).

Если

f s L 1

( R N , <3^)П

f U

2

( R

R

T

,

50),

то f {y) = L*(R

,

Ж), причем

|| f || =

|| /1|2 .

Преобразо­

 

 

Фурье

может

n

 

 

 

 

2

 

до уни­

вание

 

 

быть по непрерывности

расширено

тарного отображения

гильбертова пространства

L2(Rn, Ж) на себя.

 

 

Эти факты могут быть легко получены из скалярнозначного слу­

чая, если рассмотреть произвольный ортонормированный базис в Ж.

5.3. Пусть заданы два гильбертовых пространства Ж\ и Ж% и пусть f(x) принимает значения в Ж\ в К(х) принимает значения в В(Ж\,Жг). Тогда оператор

 

 

 

 

 

Tf(x)=

|

K(y)f(x-y)dy

 

 

 

 

 

 

 

 

 

R"

 

 

 

 

 

 

там, где он определен, принимает значения в Жъ-

 

 

 

 

ТЕОРЕМА 5.

Результаты

данной

главы,

в

частности теорема 1,

ее

следствие

и

теоремы 2

и 4, справедливы

для более

общего

случая,

когда

f принимает

значения

в Ж\, К принимает

значения

в

В (Ж и Ж-i),

а Т({)

и Te(f) — в Жъ причем

всюду

абсолютное

зна­

чение

|-| заменено

на соответствующую

норму

в Ж\,

В(ЖиЖ%)

и Жъ соответственно.

 

 

 

 

 

 

 

 

Эта

теорема

ни в коем

случае

не является

очевидным

след­

ствием рассмотренного скалярного случая. Однако для доказа­ тельства надо только в точности повторить рассуждения для ска­ лярнозначного случая с учетом замечаний, сделанных в предыду­

щем

параграфе. Это утверждение может показаться смелым, но

его легко проверить,

терпеливо

рассмотрев все

доказательства;

если

читатель

не захочет этого

делать, он может

найти необхо­

димые детали в литературе, цитируемой в конце данной

главы.

При проведении этого доказательства выявляются

несколько

проясняющих существо дела обстоятельств.

 

 

 

а)

Окончательные

оценки не зависят от гильбертовых

про­

странств Ж\ или Жг, а зависят

только от В, р и п, как и в ска-

лярнозначном

случае.

 

 

 

 

 

б)

Большая

часть

доказательства проходит при более

общих

предположениях, когда

векторнозначные функции

принимают эна*

§ 5. Векторнозначные аналоги 61

чение в соответствующим образом определенных банаховых про­

странствах. Структура

гильбертова

пространства используется

только в /Атеории при применении варианта

формулы

Планше-

реля, описанного в § 5.2.

 

 

 

 

Использование

гильбертовых

пространств

необходимо также

при получении следующего следствия. .

 

 

СЛЕДСТВИЕ. Если

вдобавок к предположениям

теоремы

5

II Т(/) ||2 =

c\\f\\2, О

0,

f €= L2(Rn,

Ж , ) ,

 

ТО\\ПР<ХР\\ТШР

для

f e L » ( R n ,

Ж{),

1 < р < о о .

 

ДОКАЗАТЕЛЬСТВО. Заметим, что L 2 (R", Ж^ — гильбертовы про­ странства. Действительно, пусть (•, •)/ обозначает скалярное произведение в Ж^ \—\, 2, и пусть (•, •)/ обозначает соответ­ ствующее скалярное произведение в L 2 ( R " , M j ) , т. е.

if,

g)i= j (fix),

g(x)),dx.

 

Тогда T — ограниченное

линейное

отображение гильбертова про­

странства L 2 ( R " , Жх)

в

гильбертово пространство L2(Rn,

Ж{), и

в силу общей теории скалярных произведений существует един­

ственное

сопряженное f

из

L2(Rn, Ж2)

в

Z,2 (R*, Жх),

удовлетво­

ряющее

характеристическому

свойству

 

 

 

 

 

 

 

 

 

 

{Т!ь

/ 2 ) 2 = ( / . ,

f/2 >„

// s

L 2 (Rn,

Ж,).

 

 

Но

наше предположение эквивалентно тождеству

 

 

 

 

(Tf,Tg)2

=

c2(f, £ ) ,

для всех

/, ge=L2(Rn,

Ж,).

 

Таким

образом, в

силу

определения

сопряженного оператора

(TTf,

g)i

 

— c2(f,

g)u

и условие следствия

может

быть

переформу­

лировано

так:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

TTf = c2f,

f&L2

(Rn,

Ж{).

 

 

(30)

Оператор

Т — того

же типа,

что и

Т,

но

он

переводит

функ­

ции

со

значениями

в Ж2

в функции

со

значениями в Ж\, и для

его

ядра

R(х)

справедливо

равенство

 

К (х) =

К* (— х),

где *

означает

 

взятие сопряженного

элемента в пространстве

В(Ж\>Ж2).

62 Гл. //. Сингулярные интегралы

Формально это очевидно, поскольку

 

 

(Tfи f2)2-

f

J (K(x-y)fl(y),

f2(x))2dydx

=

 

R"

R"

 

 

=

J

j (fi (У), К* ( - (У ~

* ) ) /2

dxdy =

 

R"

R"

 

 

= < / . ,

772>..

 

 

Строгое доказательство этого тождества достигается простым предельным переходом. Не будем утомлять читателя обычными деталями.

После всего сказанного осталось заметить, что К*{х) удов­ летворяет тем же условиям, что и К(х), поэтому для него спра­ ведливы те же утверждения, что и для К (с теми же оценками). Поэтому в силу (30)

с211/11р = 11 П 7 | | Р < Л , | | 7 Н .

Тем самым следствие доказано при А' = Ар2. Это следствие можно применить, например, к сингулярным интегралам из § 4; тогда требуемое условие заключается в том, что мультипликатор т(х) имеет постоянную абсолютную величину, например случаи,

когда Т—гильбертово

преобразование, К{х)—-~^-

и щ(х) =

= i sign х. Обобщение этого замечания будет дано ниже в § 6.6.

 

 

 

 

 

 

§

 

6.

Дальнейшие результаты

 

 

 

 

 

 

6 . 1 .

Пусть

К (х)

=

" y j " p r

 

удовлетворяет условиям

теоремы 3

и

Q Ф

0.

 

а)

Если

f e L ^ R " ) ,

/

^

0, то

Tf<£U(Rn)

 

при f Ф 0. Указание:

 

m(x)f(x)

не может быть непрерывной в 0, поскольку т(х)

однородна

степени

0

и непо­

стоянна

и f (0) >

0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б)

Существует

непрерывная

функция

/, равная нулю вне единичного

шара

В

и такая, что

функция

T(f)

неограничена

вблизи

каждой

точки

из

В.

 

 

 

 

6.2. а)

Если Ар

есть

 

константа

в LP-неравенстве для

оператора

Т в

теоремах

1, 2 или 3, то Ар

<

 

_

 

^

для

1 <

р

2 и Ар

^

Ар

для 2

р <

а

(см. заме­

чание в конце § 4 гл. I ) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б)

Если

/ имеет

носитель

в шаре В

и функция

|/|1п(2+

|/|)

суммируема

на В, то функция Tf также суммируема на В.

 

 

 

 

 

 

 

 

 

 

в)

Если

функция

/

 

ограничена

и ее

носитель

содержится

в В,

то

функция

g o | r f | С

у М

М И

р у е

м а н

а

в

при соответствующем образом

подобранном

числе

а >

0.

Указание:

запишем

J* e a

' r f l йх

=

^

||Г/||"

 

и используем

пункт

а ) .

 

 

г) Такой же результат справедлив для максимального оператора Т* из тео­ ремы 4. (Об этом см. у Кальдерона и Зигмунда [1] и в книге Зигмунда [8], гл. X I I . )

 

 

 

 

 

 

 

§

6. Дальнейшие

 

результаты

 

 

 

 

63

6.3.

Пусть

(77)

(*) =

lim

 

[

 

к

(х, у) f (у) dy, где | К (х, у)

 

 

 

 

 

 

 

 

 

- * о

 

J

 

 

 

 

 

 

 

 

 

 

 

 

 

I х— у Г

 

 

 

 

 

 

 

8-»0

 

•>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

\х-у\>е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Предположим,

что оператор

Т ограничен

в

L P ( R U

) .

 

Тогда

оператор

Т ограничен

в пространстве

L?(RN)

с

мерой

\x]adx

 

(вместо

dx),

где —п <

а <

п(р1)

(см.

Стейн

[2]);

отсюда

легко

получить

 

такой

же

результат

для

меры

(1 +

\x\)*dx.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6.4. Описываемый ниже подход связывает

воедино

теорию

максимальных

функций, теоремы о дифференцировании

из гл. I и многое из теории сингулярных

интегралов, изложенной в данной главе. Пусть

функция L(x)

суммируема

на R" ,

и пусть L(x)

=

О при \х\ >

2,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

\L(X)

dx =

 

•( 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и"

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f \L(x-y)-L

 

 

 

 

 

 

 

(x)\dx^B\y\.

 

 

 

 

 

 

 

 

 

 

r"

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

*=/

 

Для каждой

пары i

и /

определим

Л*. /

формулой

L i , / (х) =

 

2

2nkL

(2kx).

Запишем

7";, jf —

 

 

Тогда

если

T J =

sup | Ti, jf (x)

 

 

k=-i

 

 

j * f.

|, то справедливы сле-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

,

/

 

 

 

 

 

 

 

 

дующие

утверждения.

 

 

 

 

 

 

 

 

 

 

 

'

 

 

 

 

 

 

 

 

а) Отображение f->-T*f

— слабого

типа

(1,1).

 

 

 

 

 

 

 

 

б) Отображение f-*-T*f

 

 

ограничено

на L P , 1 <

р <

оо.

 

 

 

 

в)

Если / <= L P , 1 ^ р <

оо, то

 

li m Т{, jf

 

существует почти

всюду, а

также

 

 

 

 

 

 

 

 

 

 

 

 

1->оо

 

 

 

 

 

 

 

 

 

 

 

 

 

в смысле L P , если

1 <

р.

 

 

 

 

 

/->оо

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Приведем

два интересных

примера:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1)

L(x)

=

1 2 П

при

|х| ^

1,

1

при

1 ^

|х| ^

2

и

нулю

в

остальных

случаях.

Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

{TL

of) (х)

= 2~nl

 

 

j

 

f (х

у)

dy

2п

 

j

1 ( х - у) dy.

 

 

 

 

 

 

 

 

|SH<2' + I

 

 

 

 

 

 

\У\<1

 

 

 

 

2)

L (x)

=

^

 

при 1 <

I x I ^

 

2 и нулю

в остальных

случаях.

Тогда

 

 

 

 

I х |

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( 7 Y / f ) ( * ) =

 

 

 

J

 

 

 

 

 

Ш . П х - у ) й у .

 

 

 

 

 

 

 

 

 

 

 

 

2- '<|j,|<2/ + I

 

 

 

 

 

 

 

 

 

 

 

(Подробности

см. у Котляра [2].)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6.5. а) Пусть

у' — единичный

вектор

в R". Определим гильбертово пре*

образование

в направлении

у

как

lim H^)(f)(x),

 

где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е-»о

 

у

 

 

 

 

 

 

 

 

 

 

 

 

 

^

(/)(*)-

 

|

f(x-y't)

y '

t

dt

_

f

^

[f(x-y't)-f(x

 

 

+ y't)]

dt

 

 

 

 

n

x -

) d t

= =

 

 

 

 

 

 

 

 

 

 

 

t

64

 

 

Гл.

It.

Сингулярные

интегралы

 

 

Тогда

\НуН\рр1\П\р

для

f е= V

( R " ) ,

1 < р < о о , где Л р

не

зависит от

и е.

 

 

 

 

 

 

 

 

 

 

 

б)

Пусть

функция

Q (у')

однородна степени

0, суммируема

на

единичной

сфере

S ™ - 1

и нечетна,

т. е. Q (у')

= — Q (—

(/')•

Пусть

 

 

 

 

г* (/)(*)=

J

- ^ - / ( * -

 

 

Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ге

=

1

J

fi(/)flWrfo(/)

 

 

 

 

 

 

 

s

n - l

 

 

 

 

 

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

в) Если

Q — четная функция, то

верен похожий,

но

более

сложный

резуль­

тат. В этом.случае требуется, чтобы

функция

| й (у')

| In (2 +

(у')\)

 

была сум­

мируема

на

S " - 1 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

г) Поведение Te(f)

при J E L ' I R " )

для

рассматриваемых

здесь

общих

функ­

ций Q пока не изучено.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Подробнее относительно а ) , б) и в) см. у Кальдерона и Зигмунда

[3]. Эта

часть

теории

представлена также в книге «Анализ Фурье»,

гл. V I , в

 

несколько

менее

общем

виде.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6.6. Пусть

функция

пг(х)

однородна

степени

0 и

непрерывна

на

S n _

1 .

Для

f e L !

( R " )

определим

77

следующим образом:

(Tf)

"

(х) =

m(x)f

(х).

 

Предполо­

жим,

что IIГ(/) Hp ^

Ap\\f\\P

при

f е

L 2 (] L " для

некоторого

р,

1 <

р

<

оо.

Если

\т(х)\^

О

 

О, то

llfllp

<

ВрЦГ/Нр. (См. Кальдерой

и

Зигмунд

[4],

Хёрмандер

[1], Бенедек, Кальдерон. Панцоне [1].)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6.7.

Пусть

Т — гильбертово

преобразование

(1)

и

— характеристическая

функция подмножества конечной меры Е из R1.

Тогда

функция

распределения

функции

Т%Е

 

зависит только

от

меры Е;

точнее, если

обозначить

эту

функцию

 

 

 

 

 

 

 

 

 

 

2m

(Е)

 

 

 

 

 

 

 

 

 

 

 

 

распределения

через

к(а),

то Я ( а ) =

: — £ — . (См. Стейн и Вейс [1].)

 

 

 

 

6.8. Как

уже было

указано,

растяжение * - > - е л г =

 

(ехи

ех2,

 

е х „ )

играет

важную роль в этой главе. Справедливы модификации многих результатов этой главы, когда эти однородные растяжения заменяются на неизотропные растяже-

ния,

т. е. x->z°x

=

\e

xlte

гх2,

. . . , е пхп),

0.

где

at, а%,

 

ап — положитель­

ные

фиксированные

показатели

и

е >

Тогда

операция

над

ядром.

К{х)-+ гпК(ех)

заменяется

на

К(х)-*- г"К{г

° х),

где

а =

at + a 2

+ . . .

+ a „ .

Подробности см. у Джонса [1], Фаба

и Ривьера [1], Крэ

[1] и Бесова, Ильина и

Лизоркина [1].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6.9. Пусть преобразование Т

и

ядро К(х)

= -.—щ-,

такие же, как в тео-

реме 3. Предположим, что 0 <

a

<

1 и что / — непрерывная

функция с компакт­

ным носителем, удовлетворяющая

неравенству

 

 

 

 

 

 

 

 

 

 

\1(x+t)-Hx)\<A\t\*.

 

 

 

 

 

 

 

Тогда, если g(x)

T(f),

то

 

 

 

t) g(x)

| ^

B\t\a.

(Указание.

Если

функ­

ция Q достаточно гладкая, доказательство «элементарно».)

См. Привалов [ 1 ] ,

Кальдерон и Зигмунд

[2] и, в

общем

случае,

Тейблсон { ! ] .

 

 

 

 

 

 

 

 

 

 

§ 6. Дальнейшие

результаты

 

 

 

63

6.10.. Пусть Q — однородная

функция

степени 0, суммируемая

на единичной

сфере, и

Г Qda

=

0.

Предположим, что sup

Г \Q,(r(x'))

— Q (х')

|do"<co(6),

 

 

J

 

 

 

 

 

 

 

 

I г |<в J

 

 

 

Г

в

) db

з

 

,

 

 

 

 

 

 

причем

а (б)dd

 

 

 

 

 

 

 

 

оI

 

^

<

оо. Здесь /• обозначает вращение

вокруг начала

кворди-

 

 

нат, а |г|—расстояние от единичного вращения, измеряемое в любой

гладкой

римановой

метрике на группе вращений.

Тогда

 

 

 

 

 

а)

J

| Q | l n + | й | do<

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

применить/, р - теорию из

 

s n - l

 

 

 

 

 

 

 

 

 

 

 

 

 

§ 6.5.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б)

Если

К М

=

J j p r .

то

J

| К (х -

у) -

К (х) | dx <

В

и, следо-

\х\>2\у\

вательно, применима также L'-теория из § 3.1. (См. Кальдерой, Вейс и Зиг­ мунд [1].)

6.11. Небольшое изменение в доказательстве § 3.3 позволяет получить следующее утверждение. Пусть К, (х) — заданная функция, удовлетворяющая следующим предположениям:

1)

J"

\x\\K(x)\dx<BR,

 

 

Q<R<ooi

 

 

 

 

 

 

 

[ * l < «

 

 

 

 

 

 

 

 

 

 

 

 

 

2)

j "

 

 

 

 

\K(x-y)-K(x)\dxKB;

 

 

 

 

 

 

 

\x\>2\y\

 

 

 

 

 

 

 

 

 

 

 

 

3)

 

j "

К (x) dx

<

B ,

0 < # 1 < # 2

< о о .

 

 

 

 

 

 

 

Ri<]x\<R2

 

 

 

 

 

 

 

 

 

 

 

Пусть

далее

Кг, ц(х) = К (х),

если е < [ х | < г\ и Ке,

i\ (*) ет

0 в

противном

случае.

Тогда

| Ks,

•ц (х)

I <

СВ,

где С не

зависит

от 8 и

т]. (См. Бенедек,

Кальдерон и Панцоне [1].)

 

 

 

 

 

 

 

 

 

 

6.12. Пусть

функция f

ограничена и имеет ограниченный

носитель.

Пусть

р (f)(x)=

J" f (х — y)\y\~n+a+it

 

dy, a>0, s =

a +

lt. Тогда для л ю б о г о в > 0

 

R™

 

 

 

 

 

 

 

 

 

 

 

 

/ * ( / ) ( * )

=

j "

{f(*-y)-fW}\yrn+s

 

dy+

J

f(x-y)\y\-n+s

dy

+

 

 

 

 

 

 

 

 

 

 

 

+

 

а>п-1{83/8)}(х).

Это показывает, что если t^O

и f s

С 1 , то существует / " / (л:) =

l i m I

a

+ t t

(f) (х).

Наконец мы можем

применить рассуждения

§ 6.11 для ядра К (х) =

\ х

\~n+it

и теорему 1 данной

главы. Тем самым мы докажем, что оператор

 

 

 

 

 

 

 

/->/е'(/)=

J

f(x-y)\yFn+itdy

 

 

 

 

3 И. Стейн

66

/ л .

// .

Сингулярные

интегралы

 

ограничен в V

( R " ) , 1 < р < ° ° ,

равномерно

по е. Выбирая

подходящую после­

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

е, с х о д я щ у ю с я

к

нулю

(т. е. такую, что e l t - > 0 для каждого

фиксированного

t Ф 0), получаем,

что I й может

быть расширен до ограничен­

ного оператора

на L p (R™),

1

< р < о о .

М о ж н о

проверить,

что, применив рас­

суждения § 3.3 гл. I I I , мы

получим

 

 

 

 

(/" (f)f <*)-?„, „|* Г"/(*).

где

v

_Лп,2-и

 

T(it/2)

V ° . "

*

Г (п/2 -

it/2)'

О б относящихся с ю д а результатах см. Макенхаут [1] .

 

6.13.

Пусть

Ki (х) =

^ ' ^ j n

и Кг (*) =

 

 

 

С

У Т

Ь

д в а

я Д Р а

т и п а >

Рас­

смотренного

 

в

§ 4,

определенные

соответственно

 

для Rn

и Цт.

Определим

на

L P ( R n + m

)

преобразование

f->Te<u(f),

где Г е > а

=

Г' ®

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^ i ( y ' )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

U ! l > e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

< n M _ f М П * - * v .

 

 

 

 

 

 

 

Оператор

Г е

fl

можио

определить как произведение

оператора

Г ] , действующего

на

первые п

переменных,

и оператора т\, действующего

на последние

m пе­

ременных

функций,

 

заданной

на

R

n + m .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а)

Если

 

/ < = Z . p ( R n + m ) ,

то

li m Те, a (f) (*) — Т ({) (х)

 

существует

почти

 

 

 

 

 

 

 

 

 

 

 

 

 

е->0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

всюду

и в смысле

 

 

где 1 <

 

в-»о

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

р < оо. (См. Сокол-Соколовский [1] и Котляр [1].

В

последней

 

статье,

 

однако,

доказательство

 

для случая

L In L

проведено

не­

четко.)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б)

Имеется

похожий,

но

более

тонкий

результат,

 

который

верен,

если f

принадлежит

 

классу

L I n L . Случай,

когда

Ti и Т2

— одномерные

 

гильбертовы

преобразования,

рассмотрен

у

Зигмунда [3]; в его методе,

правда,

 

используется

теория

функций

комплексного

переменного. Общий

случай

см. у Феффермана [2].

 

6.14. Пусть

К — обобщенная

функция

с

компактным

носителем,

равная ло­

кально

интегрируемой

вне нуля

функции,

и

пусть

ее

преобразование

Фурье R

есть функция. Предположим,

что для фиксированного

0, 0 ^

9 <

1, мы имеем

 

1)

 

 

 

 

 

 

 

 

 

| / Ш 1 < Л ( 1 + | * | Г " е / 2 ,

 

 

 

 

 

 

 

 

 

 

2)

 

 

 

 

 

 

 

J"

 

 

 

 

 

 

 

\K{x-y)-K{x)\dx*ZA.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i*l>2|j,i«-e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда

преобразование

f-*-K*f,

 

определенное

вначале

на множестве

 

функций

из

С°° с компактным

 

носителем,

может быть

расширено

до преобразования

сла­

бого типа

(1.1) и ограниченного

в

1 <

р <

оо

(Фефферман [1]). Примером

является

оператор

li m

 

 

К (у) f (х у) dy, где К(х) —

\х\'п

exp

{i|*|~Y},

Y > 0.

Это

тесно

связано

с

мульрпдикаторными

 

преобразованиями,

 

описан­

ными ниже в § 7.4 гл. I V ,

Замечания

67

Замечания

§ 1. Подробное

изложение материала, описанного

в

данном

параграфе,

имеется в книге «Анализ Фурье», гл. I . Исследование с

точки

зрения

абстракт­

ных локально компактных

групп см. у Рудина [1] и

Хьюитта

и

Росса

[г].

§ 2—5. Впервые

эти

вопросы рассматривались

одномерном случае) ме­

тодами теории функций комплексного переменного. Подробности см. в книгах Зигмунда [7], гл. V I I , и [8], гл. V I I , там же можно найти и исторические ссылки. Применение теории функций действительного переменного к изучению гильбер­ товых преобразований восходит к Безиковичу [1], [2], Титчмаршу [1] и Марцинкевичу [1]. Представленная здесь л-мерная теория берет начало в работе Каль-

дерона и

Зигмунда [1].

Дальнейшее

развитие она получила

в

работах:

Котляр

[2], Стейн

[3], Хёрмандер

[1], Шварц

[1], Бенедек, Кальдерон

и

Панцоне

[1] и др.

Читатель может обратиться также к обзорным статьям Зигмунда [5] и Кальдерона [7].

Глава I I I

ПРЕОБРАЗОВАНИЯ РИССА, ИНТЕГРАЛЫ ПУАССОНА

И СФЕРИЧЕСКИЕ ГАРМОНИКИ

Читателю, добравшемуся вместе с нами до этого места, при­ шлось иметь дело с некоторыми сугубо техническими аспектами теории. Ему пришлось карабкаться шаг за шагом по областям сухим и бесплодным. Можно вполне понять его, если он не раз уже терял охоту читать дальше.

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

обходимые для

дальнейшего.

 

Стиль

изложения

в этой

главе будет,

естественно, отличаться

от стиля

первых

двух

глав.

В частности,

основное ударение будет

сделано на важные формальные стороны теории и будут детально изучены некоторые важные примеры. В основе этих формальных аспектов и конкретнх примеров лежат два соображения, которые мы сейчас кратко опишем. Во-первых, ясно, что группа вращений, действующая на R™, должна играть центральную роль в гармони­ ческом анализе в Rn , наряду с группами переносов и растяжений. Если рассмотреть с этой точки зрения простейшие нетривиальные «инвариантные» операторы, то мы придем к преобразованиям Рисса. Второе соображение — это тесная связь классического гар­ монического анализа (для R1 ) с теорией функций комплексных переменных. Попытки распространить ее, насколько это возможно, на R" с помощью теории гармонических функций снова приводят

кпреобразованиям Рисса.

§1. Преобразования Рисса

1.1.Мы начнем с нескольких замечаний, касающихся преоб­ разования Гильберта:

Очевидно,

мы рассматриваем случай

R1 с

 

 

Из формулы ( 2 6 ) §

4.2 предыдущей

главы

непосредственно

сле­

дует, что

в терминах

преобразования

Фурье

(Hf)~ (х) = т (x)f

(х),

 

§ 1.

Преобразования

Рисса

 

 

69

где

мультипликатор т{х)

задается формулой

т(х) =

i s i g n x .

От­

сюда ясно, что преобразование Я унитарно

на

L 2 ( R ' )

и Я 2 = — / .

 

Обратимся теперь вновь к оператору

растяжения

(x&f) (х) —

=

f(bx); в случае одного

переменного

этот

оператор удобно

опре­

делить для всех ненулевых б, как положительных, так и отрица­

тельных. Очевидно, что при б >

О

 

 

 

 

 

 

 

f

{Ьх-Ьу)

 

 

 

е_>0

п

j

 

у

 

 

 

е' -»0

л

•>

 

У

 

 

 

 

 

\У\>г'

 

 

 

т. е. Ят 6 == т 6 Я .

Точно

так же

очевидно,

что т 6 Я =

— Я т 6 , если

б < 0.

 

 

 

 

 

 

 

Эти простые

соображения об

«инвариантности»

относительно

растяжения и очевидная

инвариантность

относительно переноса

на самом деле полностью характеризуют гильбертово преобразо­ вание.

ПРЕДЛОЖЕНИЕ

1.

Предположим,

что оператор

Т ограничен

в

L 2 ( R * )

и удовлетворяет

 

следующим

условиям:

 

 

 

 

 

а)

 

Т коммутирует с

 

переносами;

 

 

 

 

 

 

 

б)

 

Т

коммутирует

 

с

положительными

расширениями;

 

в)

 

Т антикоммутирует с отражением

/ ( * ) - > / ( х ) .

 

 

Тогда

 

Т отличается только

постоянным

множителем

от

преобразо­

вания

Гильберта.

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказать

это

нетрудно. Поскольку

оператор

Т

коммути­

рует

с

переносами, то, согласно предложению из § 1.4 предыду­

щей главы, существует ограниченная функция пг(х),

такая,

что

(Tf)~

(х)~

m(x)f

(х).

Обозначим через

&~ преобразование Фурье

gr\ =

 

f.

Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

оо

 

 

 

 

 

 

 

 

 

 

 

 

 

($~г6П(у)=

 

j

 

e^yf{bx)dx

=

 

 

 

 

 

 

 

 

 

 

 

 

 

— оо

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

оо

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

1 6 Г 1

J

e W * /

(х) dx =

\ 6> Г 1

6 - <#7) (у);

 

 

 

 

 

 

 

 

 

 

— ОО

 

 

 

 

 

 

 

 

 

таким

образом, &гх& =

\ б | - 1

 

 

 

 

 

 

 

 

Определение мультипликатора можно символически записать

так: ЗГТ =

т&~ (где

 

под

т мы

понимаем

оператор

умножения

на т\). Далее, предположения б)

и в) можно

записать так: Тх&

=

= sign (6)х6Т.

Подставляя

эти

равенства

в

вышеприведенные

Соседние файлы в папке книги из ГПНТБ