All lectures pdfs / Ур.мат.физ / Lecture_9 / Лекция_9
.pdf1
§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
где d» = d»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, ..., 'n¡1:
x1 = r cos '1,
x2 = r sin '1 cos '2,
x3 = r sin '1 sin '2 cos '3,
: : : : : :
xn¡1 = r sin '1 ¢ ¢ ¢ sin 'n¡2 cos 'n¡1, xn = r sin '1 ¢ ¢ ¢ sin 'n¡2 sin 'n¡1,
0 · '1; : : : ; 'n¡2 · ¼, 0 · 'n¡1 < 2¼, r ¸ 0. Элемент объема в полярных координатах равен
dx = rn¡1 sinn¡2 '1 sinn¡3 '2 ¢ ¢ ¢ sin 'n¡2drd'1 ¢ ¢ ¢ d'n¡1 = rn¡1drdS1 = drdSr;
где dS1 - элемент поверхности единичной сферы, dSr = rn¡1dS1 - элемент
поверхности сферы радиуса r. Поэтому: |
|
Z0 |
(1 + r2)k ; |
||||||
RZn |
(1 + jxj2)k |
= |
Z0 |
dr |
Z |
(1 + rr2)k |
= ¾n |
||
|
dx |
|
1 |
|
|
dS |
|
1 |
rn¡1dr |
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=1Rn¡1 ·@xj f(x)¸¯¯xj=¡1dx1 ¢ ¢ ¢ dxj¡1dxj+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; |
µ¶k¡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)d» = RR1 |
e |
d» = |
|||||||||||||||||
|
|
|
|
|
|
1+4¼2»2 |
|
|||||||||||||||
|
|
|
R |
e2¼ix» |
R |
|
|
|
|
|
2 |
|
|
|
|
|
||||||
|
|
|
= R1 |
|
µR1 |
e¡2¼iy»[f(y) ¡ Dyf(y)]dy¶d» = |
|
|
||||||||||||||
= R1 |
|
|
1+4¼2»2 |
2 e¡j ¡ j¶dy = |
||||||||||||||||||
[f(y) ¡ Dyf(y)]µR1 1+4¼2»2 d»¶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(»)d»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(»)d»¶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¶d» = Rn |
f(»)g(»)d» = (f; g)L2(Rn): |
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
R |
b |
|
|
|
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R |
b |
|
b |
|
b b |
|
|||||
Если f = g, то |
|
|
|
|
|
|
|
Z |
|
|
|
|
|
|
|
|
|
|
Z |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
jfb(»)j2d» = 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 |
|
j· |
|
|
|
||
то 8f(x) 2 J |
|
µ |
®j·m jDx®f(x)j2¶dx = 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) |
|||
® |
j· |
m j(2¼i»)®j2 |
¶jf(»)j2d»: |
|||||||
|
P |
R |
|
|
P |
|
|
|
|
|
Заметим, что P(») = |
j(2¼i»)®j2 |
|
j |
(4¼2)j®jj»1j2®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 d») |
|
|
|||||||||
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(»)j2d» |
¶ |
µZn |
|
|
|
1 |
|
|
|
b |
2 |
|
R |
|
|
R |
d» |
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.