Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
14
Добавлен:
28.03.2016
Размер:
186.15 Кб
Скачать

1

§9 Преобразование Фурье

Формальное определение преобразования Фурье функции f(x), x 2 Rn.

Определение 1.

Преобразованием Фурье функции f(x), x 2 Rn называется оператор F , переводящий функцию f(x) в функцию fb(»):

Z

n fb(») = F f(x) =Rn

e¡2¼i(x;»)f(x)dx;

(1)

где » 2 Rn, (x; ») = P xk»k, dx = dx1 ¢ ¢ ¢ dxn.

 

k=1

Определение 2.

Обратным преобразованием Фурье функции g(»), » 2 Rn называется оператор F , переводящий g(») в функцию '(x):

Z

(2)

'(x) = F g(») = e2¼i(x;»)g(»)d»;

Rn

где = 1 ¢ ¢ ¢ d»n.

Лемма 1.

Если f(x) 2 J , то fb(») = F f(x) 2 J , т.е. оператор F : J ! J . Доказательство.

а) Если f(x) 2 J , то fb(») - определена и непрерывна. Действительно:

jf(»)j · Z

jf(x)jdx · Ck Z

dx

 

;

 

 

(1 + x

2)k

b

 

j j

 

 

Rn

Rn

 

 

 

т.к. по определению пространства J существуют такие постоянные k, Ck > 0,

что

 

Ck

 

 

jf(x)j ·

 

:

 

(1 + jxj2)k

Оценим интеграл

 

 

 

 

RZn

 

dx

;

 

 

 

(1 + jxj2)k

 

для чего сделаем замену переменных, переходя от переменных x к полярным координатам r, '1, ..., '1:

x1 = r cos '1,

x2 = r sin '1 cos '2,

x3 = r sin '1 sin '2 cos '3,

: : : : : :

x1 = r sin '1 ¢ ¢ ¢ sin '2 cos '1, xn = r sin '1 ¢ ¢ ¢ sin '2 sin '1,

0 · '1; : : : ; '2 · ¼, 0 · '1 < 2¼, r ¸ 0. Элемент объема в полярных координатах равен

dx = r1 sin2 '1 sin3 '2 ¢ ¢ ¢ sin '2drd'1 ¢ ¢ ¢ d'1 = r1drdS1 = drdSr;

где dS1 - элемент поверхности единичной сферы, dSr = r1dS1 - элемент

поверхности сферы радиуса r. Поэтому:

 

Z0

(1 + r2)k ;

RZn

(1 + jxj2)k

=

Z0

dr

Z

(1 + rr2)k

= ¾n

 

dx

 

1

 

 

dS

 

1

r1dr

jxj=r

2

где ¾n =

 

n

 

 

- площадь единичной сферы.

 

¼ 2

 

 

 

n

)

 

 

¡(

2

 

 

 

Последний интеграл сходится, если 2k ¡ n + 1 > 1, т.е. при k > n2 (т.е.

8f(x) 2 J является интегрируемой функцией).

b

 

b

 

 

e

» Rn

Итак jf(»)j · C < 1 для всех » 2 Rn. Это означает, что f(») определена,

непрерывна, т.к. подынтегральная функция непрерывна, а интеграл сходится

равномерно по параметру

 

 

2 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б) Покажем теперь, что

 

f(»)

 

0 при

»

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

Поскольку

 

 

µ

 

¡ 4¼2

j bk

 

 

j !

 

 

 

j

j ! 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

2

 

 

 

1

 

 

 

4x

 

 

e¡2¼i(x;») = (1 + »

2)ke¡2¼i(x;»);

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, k ¸ 0 - любое целое число;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4x =

=1

@

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

@xj2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то:

jP

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1 + j»j2)kf(») = (1 + j»j2)k RRn e¡2¼i(x;»)f(x)dx =

 

 

 

 

= Rn (1 + j»j2)ke¡2¼i(x;»)f(x)dx = Rn ½µ1 ¡

44¼x2

e¡2¼i(x;»)¾f(x)dx =

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= Rn ·µ1 ¡ 4¼2 ¶ ¸ ( ) = Rn

( ) ¡ 4¼2 j=1Rn @xj

( ) =

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

P R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

n

 

@

2G

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

4

 

 

G f x dx

 

 

 

 

Gf x dx

 

 

 

 

 

 

 

P R

2

f x dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

n

 

 

 

@

 

@G

 

 

 

 

 

 

 

 

1

 

 

n

 

@G

 

@f

 

 

= Rn Gf(x)dx ¡

4¼2 j=1Rn @xj

µ

@xj f(x)dx +

4¼2

j=1Rn @xj

@xj

dx =

= Rn Gf(x)dx ¡ 4¼2 j=1R1 ·@xj f(x)¸¯¯xj=¡1dx1 ¢ ¢ ¢ dx1dxj+1 ¢ ¢ ¢ dxn +

 

R

 

n

 

 

 

 

 

 

 

 

n

 

R

 

 

 

 

n

 

xj=+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

@G

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+4¼2 j=1Rn @xj µ

@xj

 

 

¡ 4¼2 j=1Rn

@xj

 

= Rn

 

 

·µ1 ¡ 4¼2 ( )¸

 

1

 

P

R

@

 

 

 

@f

 

 

 

 

 

 

 

1

 

P

R

@2f

 

 

 

 

R

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¯

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

G

 

 

 

dx

 

 

 

 

 

 

 

G

 

2 dx

 

 

 

 

 

 

G

 

 

 

 

f x dx;

µ1

где G = 1 ¡ 44¼x2 e¡2¼i(x;»), f(x) 2 J !

Проделывая выше описанную выкладку k раз, мы в итоге получим:

b

Z

e¡2¼i(x;»)g(x)dx;

(1 + j»j2)kf(») =

Rn

µk

где g(x) =

1 ¡

44¼x2

f(x) 2 J

 

 

 

 

 

 

 

 

и снова, как и выше, можно показать, что

e

 

 

 

 

т.е.

 

 

 

(1 + j»j ) jf(»)j ·

1

 

 

 

 

 

 

 

2 k

b

e

 

 

 

 

 

 

 

 

 

 

 

 

C <

 

;

 

 

 

 

 

jf(»)j · (1 +ej»j2)k ! 0 при j»j ! 1:

 

 

 

 

 

 

C

 

 

 

 

 

 

 

Поскольку

 

 

b

 

e

 

 

 

 

 

 

e

 

(1 + j»j ) jf(»)j = (1 + j»j ) (1 + j»j ) jf(»)j ·

 

 

 

2 k

b

 

 

2 l

 

2 k¡l

b

e

 

 

 

 

 

 

 

 

C;

то

(1 + j»j2)ljfb(»)j ·

для любых k и l (l < k).

e e

C

(1 + j»j2)k¡l ! 0 при j»j ! 1

3

в) Далее, формально продифференцируем функцию fb(»):

Z

D»®fb(») = (¡2¼ix)®e¡2¼i(x;»)f(x)dx; (¡2¼ix)® = (¡2¼i)j®jx®:

Rn

Для любого ® эта функция существует и непрерывна. Следовательно, как и выше, можно показать, что

(1 + j»j2)kjD»®fb(»)j ! 0 при j»j ! 1;

для любых k и ®. Итак fb(») 2 J что и требовалось доказать.

Замечание.

Аналогично можно показать, что F : J ! J .

Теорема 1.

Пусть n = 1 и f(x) 2 J . Тогда f(x) = F F f(x), т.е. F является обратным оператором к оператору F .

Рассмотрим преобразование Фурье функции Dx®f(x):

Z

F Dx®f(x) = e¡2¼ix»Dx®f(x)dx =

 

 

 

 

 

 

 

 

 

 

 

 

R1

 

 

 

 

 

 

 

 

 

интегрируя по частям и пользуясь тем, что f 2 J

 

 

 

 

 

 

 

= (2¼i»)® Z1

e¡2¼ix»f(x)dx = (2¼i»)®F f(x):

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

При ® = 2:

 

 

 

F Dx2f(x) = ¡4¼2»2F f(x)

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F f(x) ¡ F Dx2f(x)

 

 

F (f(x) ¡ Dx2f(x))

 

 

 

 

F f(x) =

 

=

 

 

 

 

 

 

 

 

 

1 + 4¼2»2

 

 

 

 

1 + 4¼2»2

 

 

 

 

(в силу линейности оператора F ).

 

 

 

 

 

 

 

 

 

Далее

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2¼ix»

 

 

 

 

 

2¼ix» F (f(x)¡Dx2f(x))

 

 

 

 

F F f(x) = RR1

e

F f(x)= RR1

e

=

 

 

 

 

 

 

1+4¼2»2

 

 

 

 

R

e2¼ix»

R

 

 

 

 

 

2

 

 

 

 

 

 

 

 

= R1

 

µR1

e¡2¼iy»[f(y) ¡ Dyf(y)]dy=

 

 

= R1

 

 

1+4¼2»2

2 e¡j ¡ jdy =

[f(y) ¡ Dyf(y)]µR1 1+4¼2»2 dy = R1

[f(y) ¡ Dyf(y)]µ

R

2

 

 

R

 

e2¼i(x¡y)»

R

 

2

 

 

1 x y

 

 

 

 

 

 

 

 

 

 

 

 

 

= 21 RR1 f(y)e¡jx¡yjdy ¡ 21 RR1 Dy2f(y)e¡jx¡yjdy =

 

 

 

= 21 R1 f(y)e¡jx¡yjdy ¡ 21

½¡1 Dy2f(y)e¡(x¡y)dy + x Dy2f(y)ex¡ydy¾ =

 

R

 

 

 

 

 

 

 

 

R

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

1

 

 

 

 

= 21 R1 f(y)e¡jx¡yjdy ¡

21 ½Dyf(y)e¡(x¡y)j¡1x

+ Dyf(y)ex¡yjx1 ¡ f(y)e¡(x¡y)j¡1x +

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f(y)ex¡ydy¾

 

 

 

 

 

+f(y)ex¡yjx1 +¡1 f(y)e¡(x¡y)dy + x

= f(x);

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

1

 

 

 

 

 

 

что и требовалось доказать.

4

В общем случае. В силу теоремы Фубини (f(x) 2 J !, т.е. f(x) - интегрируемая функция)

F f(x) = R e¡2¼i(x;»)f(x)dx =

Rn

 

= RR1

e¡2¼ix1»1 dx1 RR1

e¡2¼ix2»2 dx2 ¢ ¢ ¢RR1

e¡2¼ixn»n f(x)dxn = F1F2 ¢ ¢ ¢ Fnf(x);

 

где Fjf(x) =

e¡2¼ixj»j f(x)dxj.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

АналогичноR

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F g(») = F n ¢ ¢ ¢ F 1g(»);

 

 

 

 

 

где

F

jg(») =

e2¼ixj»j g(»)j.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда приRRn > 1:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F F f(x) = F n ¢ ¢ ¢ F 1F1 ¢ ¢ ¢ Fnf(x) = F n ¢ ¢ ¢ F 2F 1F1(F2 ¢ ¢ ¢ Fnf(x)) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= F n ¢ ¢ ¢ F 2F2 ¢ ¢ ¢ Fnf(x) = f(x);

 

 

 

что и требовалось доказать.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 3.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Сверткой двух функций f и g называется функция

 

 

 

 

 

 

 

 

 

 

h(x) = [f ¤ g](x) =RZn

f(y)g(x ¡ y)dy =RZn

f(x ¡ y)g(y)dy:

 

Покажем, что если f; g 2 J , то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F h(x) = F f(x) ¢ F g(x):

 

 

 

 

 

В самом деле

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F f(x) ¢ F g(x) = RRn e¡2¼i(x;»)f(x)dxRRn e¡2¼i(y;»)g(y)dy =

 

 

 

 

 

 

 

 

= RRn e¡2¼i(x;»)f(x)dxRRn e¡2¼i([z¡x])g(z ¡ x)dz =

 

 

 

 

 

 

 

 

 

= RRn e¡2¼i(z;»)dzRRn g(z ¡ x)f(x)dx = F h(x):

 

Равенство Парсеваля. Пусть f; g 2 J . Тогда

e2¼i(x;»)f(»)g(x)dx =

 

 

 

 

 

 

(f; g)L2

(Rn) = Rn f(x)g(x)dx = Rn µRn

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

R

R

 

 

 

 

 

b

 

 

 

 

 

 

 

 

= Rn

f(»)µRn e2¼i(x;»)g(x)dx= Rn

f(»)g(»)= (f; g)L2(Rn):

 

 

 

 

 

 

R

b

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

b

 

b

 

b b

 

Если f = g, то

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

jfb(»)j2= jjfbjjL2

 

 

(3)

 

 

 

 

 

 

jjfjjL2

2(Rn) =Rn

 

jf(x)j2dx =Rn

 

2(Rn)

- формула Парсеваля.

Определим теперь преобразование Фурье функции f(x) из L2(Rn). Пусть f(x) 2 L2(Rn) и fk(x), k = 1; 2; : : : - последовательность функций из J таких,

что

½(fk ¡ f) ! 0; k ! 1 L2(Rn):

5

Далее, последовательность ffbk(»)g: fbk(») = F fk(x), k = 1; 2; : : : фундаментальна в L2(Rn), поскольку в силу (3) имеем

jjfk ¡ fpjj2L2(Rn) = jjfbk ¡ fbpjj2L2(Rn)

и при k; p ! 1:

jjfk ¡ fpjj2L2(Rn) ! 0

(сходящаяся последовательность fk(x), k = 1; 2; : : : в L2(Rn) является фундаментальной в L2(Rn)), а значит и

jjfbk ¡ fbpjj2L2(Rn) ! 0:

Следовательно, существует функция fb(») 2 L2(Rn) такая, что

½(fbk ¡ fb) ! 0; k ! 1 L2(Rn)):

Тогда положим

fb(») = F f(x) = lim fbk(»):

k!1

Далее

fk(x) = F F fk(x) = F fbk(»):

Переходя к пределу при k ! 1 получим

f(x) = F fb(») = F F f(x):

Записывая для любого k равенство Парсеваля (3) и переходя к пределу в нем при k ! 1 получим, что для предельных функций выполнено равенство Парсеваля. Итак, на пространстве L2(Rn) определим оператор F , обратимый

F F f(x) = f(x)

и унитарный, поскольку в силу (3)

(f; g)L2(Rn) = (F f; F g)L2(Rn):

Пример.

Вычислим преобразование Фурье от функции e¡ajxj2 , a > 0. Ясно, что e¡ajxj2 2 J .

В силу теоремы Фубини (см. x8):

 

n

 

Yj

F e¡ajxj2

= Fje¡axj2 ;

 

=1

Fje¡ax2j - одномерные преобразования Фурье. e¡at2 , t 2 R1

 

 

2

 

R

 

 

 

 

 

 

2

 

 

 

 

 

R

 

 

 

p

 

¼i»

2 ¼2»2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

¡(

 

 

F e¡

at

 

= e¡

2¼it»

e¡

at

 

 

 

 

 

 

 

 

at+ p

 

 

)

e¡

 

a

dt =

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

dt = e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R1

 

 

 

 

 

 

 

 

 

¡1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¼i»

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1+ p

 

 

 

 

 

 

 

 

 

 

 

2

2

 

 

 

 

 

 

 

 

 

 

2

2

 

a

 

 

 

 

 

 

 

 

¼ »

 

 

2

 

 

 

 

1

 

¼

»

 

¡1R

 

2

 

 

 

= e¡

a

 

¡1

e¡¿

dt = p

a

e¡

a

 

 

+ pa

e¡¿

d¿;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¼i»

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

¼i»

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¿ =

 

at + p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

Поскольку функция e¡¿2 - аналитическая, то контур интегрирования можно

6

деформировать в вещественную ось Ot и поэтому

 

 

1

 

¼2»2

1

 

 

 

 

 

 

 

¼

 

1

¼2»2

 

2

 

 

 

 

2

 

 

 

 

2

F e¡at

 

= p

 

e¡

 

a

 

Z

 

e¡t

 

dt =

µ

 

 

e¡

a

:

 

 

 

 

 

a

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

¡1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¼

 

¼2

 

2

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

2

»

 

 

 

 

 

 

 

F e¡ajxj

 

= µ

 

 

e¡

 

aj j

 

:

 

 

 

(4)

 

 

 

a

 

 

 

 

 

Поскольку J плотно в W2m(Rn), то для функции f(x) 2 W2m(Rn) тоже определено преобразование Фурье, причем поскольку скалярное произведение в W2m определено так

 

(f; g)W2m(Rn) = Zn

µ

jX

 

 

 

 

 

 

 

 

 

 

®

m Dx®f(x)Dx®g(x)dx;

 

 

 

 

R

 

 

 

 

то 8f(x) 2 J

 

µ

®j·m jDx®f(x)j2dx = j®j·m jjDx®f(x)jjL2

 

jjfjjW2 2m(Rn)

= Rn

2(Rn) =

 

R

j

P

 

 

P

d»:

(5)

= j®j·m jjF Dx®f(x)jjL2 2(Rn) = Rn µ

®j·m jF Dx®f(x)j2

 

P

 

 

 

R

j

P

 

 

 

Поскольку при f(x) 2 J (это же равенство справедливо и при f(x) 2 W2m(Rn))

то

 

F Dx®f(x) = (2¼i»)®fb(»);

 

 

jjfjjW2

2m(Rn) = Zn µ

jX

 

 

b

 

(50)

®

m j(2¼i»)®j2

jf(»)j2d»:

 

P

R

 

 

P

 

 

 

 

Заметим, что P(») =

j(2¼i»)®j2

 

j

(4¼2)j®j1j2®1

¢ ¢ ¢ j»nj2®n - полином

 

=

 

j®j·m

 

 

 

 

®j·m

 

 

 

от »1; ¢ ¢ ¢ ; »n степени 2m и существует такая постоянная C1

= C1(m; n) > 0,

что

 

P(») ¸ C1¡1(1 + j»j2)m

 

(¤)

 

 

 

и постоянная C2 = C2(m; n) > 0 такая, что

 

 

 

 

 

 

P(») · C2(1 + j»j2)m

 

 

(¤¤)

В заключении этого параграфа приведем простейшую теорему вложения.

Теорема 2.

7

Если k = [n2 ]+1+m, то пространство Соболева W2k(Rn) ½ Bm(Rn) и для любой функции f(x) 2 W2k(Rn):

jjfjjBm(Rn) · CjjfjjW2k(Rn); C = const:

(6)

Замечание к формулировке Теоремы 2.

1)Постоянная C не зависит от f(x) (зависит от m; n)

2)W2k(Rn) ½ Bm(Rn)?

если f(x) 2 W2k(Rn), то она (по теореме 2) f(x) 2 Bm(Rn). Наоборот нет. Пример: f(x) ´ 1. Ясно, что она принадлежит Bm(Rn) при любом m. Но эта функция не принадлежит даже L2(Rn), поскольку R 1dx неограничен.

Rn

3) Что означает, что W2k(Rn) ½ Bm(Rn)?

Это значит, что функцию f(x) 2 W2k(Rn) можно превратить в непрерывную ограниченную функцию, имеющую непрерывные ограниченные производные до порядка m включительно, если изменить ее значение на множестве меры нуль.

Докажем теорему только в случае k = [n2 ] + 1, m = 0, B0(Rn) = B(Rn). Доказательство теоремы 2.

Пусть f(x) 2 C01(Rn). Тогда эта функция принадлежит и W2k(Rn), и Bm(Rn) (при любых k, m). Поскольку C01(Rn) ½ J , то

f(x) = F fb(»); F Dx®f(x) = (2¼i»)®fb(»):

Далее, в силу (50) и (¤):

 

(1 +

 

»

2

)

k

f(»)

2

 

 

C1

(k; n) f

2

 

 

n ;

 

 

jj

j

j

 

jjL2

(R

n

k

 

 

 

 

 

 

 

2

b

 

 

)2·1 [ n ]+ 1

jj jjW2

(R )

 

 

R

b

 

 

 

 

 

R

 

 

 

 

 

 

b

 

 

j

j

 

 

jf(x)j · Zn

jf(»)jd» = Zn

(1 + j»j )2 2

2 jf(»)j

(1 +

 

» 2)21 [ n2

]+ 21

·

неравенство Коши-Буняковского

· µZn

(1 + j»j2)[ n2

]+1jf(»)j2

µZn

 

 

 

1

 

 

 

b

2

 

R

 

 

R

1

 

 

 

2

2

 

 

 

 

 

 

 

 

 

n

 

(1 + j»j2)[ n2 ]+1

 

· C(n)jjfjjW2[

]+1(Rn)

 

2

в силу доказанной леммы

 

 

 

 

 

 

 

 

 

 

jj

f

n

 

= sup

f(x)

j ·

C(n) f

2 [ n ]+1

 

:

 

 

(7)

 

jjB(R

)

x2Rn j

 

 

jj

jjW2 2

(Rn)

 

 

 

 

 

 

 

(7) получено при условии, что f(x)

2

C1(Rn). По-

Напомним, что неравенство [ n ]+1

 

 

 

 

[ n ]+1

 

0

скольку C01(Rn) плотно в W2 2

 

(Rn), то для 8f(x) 2 W2

2

(Rn) существует

последовательность fflg, l = 1; 2; : : :, fl(x) 2 C01(Rn) такая, что

 

 

 

jjfl ¡ fjjW2[ n2 ]+1(Rn) ! 0;

l ! 1:

 

 

 

 

[ n ]+1 n

Поскольку последовательность fflg, l = 1; 2; : : : сходящаяся в W2 2 (R ), то она фундаментальна в этом пространстве.

В силу (7)

jjfl ¡ fpjjB(Rn) · C(n)jjfl ¡ fpjj [ n ]+1 ! 0

W2 2 (Rn)

при l; p ! 1, т.е. fflg фундаментальна в B(Rn). В силу полноты пространства B(Rn)

fl ! g; l ! 1

 

 

 

 

 

 

 

 

8

Rn)

к функции

g(x)

2 B

(Rn)

. При этом

f(x) = g(x)

п.в., т.е.

f(x) = g(x)

в B([ n ]+1

 

 

 

 

в W2 2

(Rn).

 

 

 

 

 

 

 

Ясно, что если f(x) вместо взять g(x), то

 

 

 

jjfk ¡ gjjB(Rn) ! 0; jjfk ¡ gjjW2[ n2 ]+1(Rn) ! 0;

k ! 1:

 

Переходя к пределу в неравенстве (7), записанному для 8l:

 

jjfljjB(Rn) · C(n)jjfljj [ n ]+1 ! 0

W2 2 (Rn)

мы и доказываем теорему 2.

Соседние файлы в папке Lecture_9