§2. Условие представимости функции интегралом Фурье |
471 |
и потому для интеграла Фурье для функции f(x) выполнено
1 |
+∞ |
|
|
|
|
h π |
|
0 |
при |
|x| > a, |
√2π |
|
|
|
|
|
|
π 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f(ξ)eiξxdξ = |
|
|
|
|
1 |
при |
|x| = a, |
|
|
|
|
|
|
|
|
|
−∞ |
6 |
|
|
|
|
|
|
|
|
|
при |
| | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
x < a, |
|
|
|
|
|
1 |
|
|
|
|
|
| | |
< a, |
|
|
|
|
|
|
|
при |
x |
|
|
|
|
= h |
|
|
|
|
|
|
|
| | |
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
при |
x |
= a, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
при |
|
|
|
|
|
|
|
|
0 |
|
|x| > a. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
§2. Условие представимости функции интегралом Фурье
ТЕОРЕМА 2.1. Если функция y = f(x) кусочно липшицева на (−∞, +∞) и
+∞
|f(x)| dx < ∞,
−∞
то ее интеграл Фурье сходится в каждой точке, причем
1 |
1 |
+∞ |
|
|
6 |
(1) |
|
|
|
|
−∞ |
|
|
|
|
2 [f(x + 0) + f(x − 0)] = √2π |
f(ξ) eiξxdξ. |
Доказательство проведем в частном случае, когда функция y = f(x) финитна. Общий случай предлагается рассмотреть самостоятельно, либо найти в математической литературе.
ЛЕММА 2.1. (Риман) Если кусочно непрерывная функция f(x) финитна, то
+∞
f(x) eiλxdx → 0 при λ → ∞.
472 Глава 19. Преобразование Фурье
Доказательство. Так как f(x) финитна, то существует постоянная a > 0 такая, что f(x) = 0 при |x| > a. Поэтому
+∞ |
a |
|
|
|
f(x) eiλxdx = |
|
f(x) eiλxdx. |
(2) |
−∞ |
|
−a |
|
|
Заметим теперь, что f(x) интегрируема на [−a, a] и для любого ε > 0 найдется нижняя сумма Дарбу
n−1
|
|
|
mi ∆xi, |
mi = |
|
|
inf f(x) |
|
|
|
|
=0 |
|
|
|
|
|
x |
[xi,xi+1] |
|
|
|
|
|
|
|
|
|
|
|
|
|
такая, что |
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
n−1 |
|
|
|
|
|
0 ≤ |
|
|
|
|
(3) |
|
|
f(x) dx − i=0 mi ∆xi < ε. |
|
|
|
−a |
|
|
|
|
|
|
Положим |
|
|
|
|
|
|
|
|
|
|
|
g(x) = mi |
при |
x [xi−1, xi), |
i = 1, 2, . . . , n − 1. |
Данная функция кусочно постоянна на [−a, a], причем |
|
|
g(x) ≤ f(x) |
при |
|
|
x [−a, a]. |
|
Отсюда, в силу (3), получаем |
|
|
a g(x) eiλxdx |
|
|
0 |
|
a f(x) eiλxdx |
|
|
|
|
|
≤ |
|
|
|
|
− |
|
|
|
≤ |
|
|
|
a |
|
|
|
− |
a |
|
|
|
a |
|
|
− |
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
≤ |
|f(x) − g(x)| |eiλx| dx = |
f(x) dx − |
g(x) dx = |
−a |
|
|
|
|
|
|
−a |
|
−a |
|
|
|
|
a |
|
|
n−1 |
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
(4) |
|
|
f(x) dx − i=0 mi ∆xi < ε. |
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
С другой стороны, |
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
n−1 |
xi+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
g(x) eiλxdx = i=0 |
|
mi eiλxdx = |
|
−a |
|
|
|
xi |
|
|
|
§2. Условие представимости функции интегралом Фурье |
473 |
|
|
n−1 |
|
|
iλx |
x=xj+1 |
|
|
|
|
|
|
e |
|
|
|
|
|
= j=0 mj |
iλ |
x=xj |
= |
|
= n−1 m eiλxj+1 − eiλxj |
|
0 |
|
|
λ |
(n |
). |
j |
j |
|
→ |
|
при |
→ ∞ |
|
−−фиксировано |
=0 |
iλ |
|
|
|
|
|
|
|
|
|
|
|
Сопоставляя найденное свойство с соотношениями (2) и (4), |
получаем нужное. |
|
Замечания. 1. Утверждение остается в силе и для кусочно непрерывных функций, обладающих свойством
+∞
|f(x)| dx < ∞.
−∞
2. Пользуясь формулой Эйлера, легко заключаем, что
+∞ |
|
|
|
|
|
|
+∞ |
f(x) cos λx dx → 0 и |
|
f(x) sin λx dx → 0. |
−∞ |
|
|
|
|
|
|
−∞ |
|
ЛЕММА 2.2. Если |
|
кусочно |
непрерывная функция |
f : R → R финитна, то |
|
|
(a) |
преобразование Фурье f(ξ) непрерывно при всех |
ξ R; ее |
6 |
|
|
|
+ |
|
|
6 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
∞ |
|
|
(b) sup |f(ξ)| ≤ |
√ |
2π |
|
|
|f(x)| dx; |
ξ R |
−∞ |
|
|
(c) f6(ξ) → 0 при ξ → ∞.
Доказательство. Для доказательства утверждения (a) заметим, что
|
|
6 |
6 |
|
1 |
|
+∞ |
|
|
|
|
|
−∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f(ξ + ∆ξ) − f(ξ) = |
|
√ |
|
|
|
f(x) e−i(ξ+∆ξ)xdx− |
|
|
|
|
2π |
|
|
|
+∞ |
|
|
|
|
+∞ |
|
|
1 |
|
1 |
|
|
|
|
|
|
f(x) e−iξx e−i(∆ξ)x − 1 |
|
−√ |
|
f(x) e−iξxdx = |
√ |
|
|
dx. |
2π |
2π |
474 |
Глава 19. Преобразование Фурье |
Предположим, что f(x) обращается в 0 вне отрезка [−a, a], a > 0. Тогда
|f6(ξ + ∆ξ) − f6(ξ)| ≤
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
≤ |
√ |
|
|f(x)| | cos(∆ξ)x − 1 − i sin(∆ξ)x| dx ≤ |
|
|
2π |
|
|
|
|
|
|
|
|
−a |
|
|
|
|
|
|
|
|
|
|
2a |
|
|
|
|
|
|
|
|
|
|
|
sup |
f x |
max |
|
ξ x |
2 |
2 |
ξ |
x. |
|
|
|
≤ √2π [−a,a] | |
( |
)| x [−a,a] |
(cos(∆ ) |
− 1) |
+ sin (∆ ) |
|
|
Поскольку при x [−a, a] величина |(∆ξ) x| не превышает |a| |∆ξ|, то при ∆ξ → 0 выполнено
sin(∆ξ)x → 0 и cos(∆ξ)x → 1,
что влечет непрерывность f в точке ξ. |
|
|
Докажем утверждение (b6). Справедливо неравенство |
|
1 |
+∞ |
+∞ |
|
1 |
|
|
|f(ξ)| ≤ |
√ |
|
|f(x) e−iξx| dx = |
√ |
|
|
|f(x)| dx. |
2π |
2π |
6 |
|
|
−∞ |
−∞ |
|
Для доказательства утверждения (c) воспользуемся леммой 2.1. Тогда
+∞
6 |
1 |
|
f(x) e−iξxdx → 0 |
при ξ → ∞. |
|
|
−∞ |
|
|
|
|
f(ξ) = √2π |
|
и лемма доказана. |
|
|
|
Доказательство теоремы. По лемме 2.2 преобразование Фурье непрерывно на (−∞, +∞) и, значит, интегрируемо на всяком отрезке [−A, A], A > 0. Поэтому
|
≡ |
2π |
|
|
|
|
|
|
2π |
|
2π |
|
|
IA |
|
√ |
1 |
A f(ξ) eiξxdξ = |
√ |
1 |
|
A |
√ |
1 |
+∞f(t)e−itξdt eiξxdξ = |
|
|
|
|
|
|
|
|
|
−A |
6 |
|
|
+∞ A |
|
−A |
|
|
−∞ |
|
|
|
|
|
|
= |
1 |
|
|
f(t)eiξxe−itξdξ |
dt. |
|
|
|
|
|
|
|
|
|
|
|
|
2π |
|
|
|
|
|
|
|
|
−∞ |
−A |
|
|
|
|
|
|
Смена порядка интегрирования законна, поскольку f финитна и, тем самым, интегрирование производится по конечному промежутку, а подынтегральная функция непрерывна.
§2. Условие представимости функции интегралом Фурье |
475 |
Далее имеем,
|
|
+∞ |
|
|
A |
|
|
|
IA = |
1 |
|
f(t) |
|
ei(x−t)ξdξ |
dt = |
|
2π |
|
|
−∞ |
|
|
−A |
|
|
|
+∞ |
|
|
− |
i(x−− t) |
|
dt = |
= 2π |
f(t) |
|
|
1 |
|
|
|
ei(x |
t)A |
e−i(x−t)A |
−∞
π |
|
|
x − t |
|
|
+∞ |
= |
1 |
|
f(t) |
sin(x − t)A |
dt = |
|
|
|
−∞
|
+∞ |
|
1 |
|
|
Au |
|
|
f(x + u) |
sin |
du = |
π |
u |
−∞
|
|
+∞ |
|
|
1 |
0 |
|
Au |
|
= |
|
[f(x − u) + f(x + u)] |
sin |
du. |
π |
u |
Здесь мы воспользовались преобразованиями:
0
f(x + u)sin Au du = |u = −v, du = −dv| = u
−∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
+∞ |
|
|
|
|
|
|
= − |
f(x − v) |
sin Av |
dv = |
|
f(x − v) |
sin Av |
dv. |
v |
v |
+∞ |
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
Применим формулу Дирихле |
|
|
|
|
|
|
|
|
|
|
|
+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
sin u |
|
π |
|
|
|
|
|
|
|
|
|
du = |
|
. |
|
|
|
|
|
|
|
|
u |
2 |
|
|
|
|
|
|
Мы имеем |
IA(x) − |
|
2 |
|
|
|
− |
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
f(x + 0) + f(x |
|
0) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
π |
|
|
|
− |
|
|
u |
− |
= |
|
1 |
|
+∞[f(x + u) + f(x |
|
u)] |
sin Au |
du |
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
u |
|
|
|
|
|
|
|
π |
|
|
|
|
|
|
|
|
= |
1 |
|
|
∞ |
f(x + u) − f(x + 0) |
sin Au du + |
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
· π |
|
u |
|
|
|
f(x + 0) + f(x − 0) |
2 |
+∞ |
sin u |
du |
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
u |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
∞ |
f(x − u) − f(x − 0) |
sin Au du . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
476 |
Глава 19. Преобразование Фурье |
Положим
|
|
|
f(x u) − f(x ± 0) |
|
|
|
|
|
|
± |
|
0 |
± |
|
|
|
|
|
|
|
|
|
|
|
g |
(u) = |
|
|
|
u |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Так как функция f(x) кусочно липшицева, то функции g±(u) ограничены и кусочно непрерывны. Отсюда следует, что
|
|
|
|
|
f |
x |
|
+ f(x |
|
0) |
|
|
|
|
|
|
IA(x) − |
( |
|
+ 0) |
|
|
− |
|
|
= |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
+ |
|
|
|
|
+ |
∞ |
|
|
|
|
1 |
|
|
∞ |
|
|
|
|
|
|
|
|
|
π |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−∞ |
|
|
|
−∞ |
|
|
|
|
= |
|
|
|
g+(u) sin Au du + g−(u) sin Au du . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Правая часть стремится к 0 при A → ∞ (см. замечание после леммы 2.1) и потому
1 |
+∞ |
|
|
f(x + 0) + f(x |
|
0) |
|
|
f ξ eixξdξ |
lim I |
(x) = |
|
, |
|
|
|
−∞ |
|
− |
|
|
|
|
6 |
= A→+∞ A |
2 |
|
|
√2π |
( ) |
|
|
что и требуется. |
|
|
|
|
|
|
§3. Гладкость функции и скорость убывания ее преобразования Фурье
ТЕОРЕМА 3.1. Если функция f(x) определена на (−∞, +∞), k раз непрерывно дифференцируема и
+∞ |
|
|
|
|
|
|
|
|
|f(s)(x)| dx < ∞ |
|
при всех |
s = 0, 1, . . . , k, |
|
−∞ |
|
|
|
|
|
|
|
|
|
|
то для любого s = 0, 1, . . . , k выполнено |
|
|
f(s) |
ξ |
|
iξ |
6 |
ξ |
|
|
|
s f |
|
|
и |
7( |
|
) = ( ) |
|
( ) |
(1) |
|
f(ξ) = o |
ξ1k |
при |
|
ξ → ∞. |
(2) |
|
6 |
|
|
|
|
|
|
|
|
|
§3. Гладкость функции и скорость убывания ее преобразования Фурье |
477 |
Доказательство проведем для случая, когда функция f(x) финитна. В общем случае — провести самостоятельно, либо найти в математической литературе. Пусть k = 0. Тогда утверждение (1) тривиально, а утверждение (2) следует из леммы Римана.
Предположим, что k > 0. На основании формулы интегрирования по частям имеем
+∞
|
|
|
|
|
7 |
1 |
|
−∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f(k)(ξ) = |
√ |
|
|
|
f(k)(x) e−iξxdx = |
|
|
|
= √1 |
2π |
|
|
|
|
|
f(k−1)(x) e−iξx |
+∞ + (iξ) +∞f(k−1)(x) e−iξxdx = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2π |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−∞ |
|
+ |
|
|
= |
√ |
1 |
(iξ) f(k−2)(x) e−iξx |
|
+∞ + (iξ)2 |
|
∞f |
(k−2)(x) e−iξxdx |
= |
|
|
|
2π |
|
|
|
|
|
|
|
|
+ |
|
|
−∞ |
|
|
−∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(iξ)k |
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= . . . = |
√ |
|
|
|
f(x) e−iξxdx = (iξ)k f(ξ), |
|
|
|
|
|
|
|
2π |
|
|
|
что доказывает (1). |
|
−∞ |
|
|
|
|
|
|
|
|
|
|
6 |
|
Тем самым, |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ξ |
|
|
|
|
|
|
f(k) |
ξ |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(2). |
|
|
|
|
|
|
|
|
|
|
f((k)) = |
(iξ)k |
7( ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
7 |
( |
) |
|
→ |
0 |
при |
|
→ ∞ |
|
Но по лемме Римана |
6 |
|
|
|
|
|
ξ |
|
|
|
, что доказывает |
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
|
|
ξ |
|
|
|
|
|
|
|
|
|
|
|
ПРИМЕР 1. Решим уравнение
a0 u (x) + a1 u (x) + a2 u(x) = g(x),
где a0, a1, a2 – постоянные и g(x) – кусочно непрерывная на (−∞, +∞) функция такая, что
+∞
|g(x)| dx < ∞.
−∞
Применяя к обеим частям равенства преобразование Фурье, имеем
|
|
+∞ |
+∞ |
1 |
|
1 |
|
|
√ |
|
(a0 u (x) + a1 u (x) + a2 u(x)) e−iξxdx = |
√ |
|
g(x) e−iξxdx |
2π |
2π |
478 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Глава 19. Преобразование Фурье |
и по формуле (1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
iξ |
|
2 u |
ξ |
|
a |
iξ |
|
u ξ) + a |
u(ξ) = g(ξ). |
|
Отсюда |
|
0( |
|
) |
6( |
|
) + |
1( |
|
) 6(g(ξ) |
|
2 6 |
6 |
|
|
|
|
|
|
|
|
|
u(ξ) = |
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
a0(iξ)2 + a1(iξ) + a2 |
|
Пользуясь |
теперь интегралом Фурье,6 |
|
находим |
|
|
|
|
|
|
6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
+∞ |
|
|
|
|
|
1 |
+∞ |
|
|
g(ξ)eiξx |
|
|
|
|
|
|
−∞ |
6 |
|
|
|
|
|
|
|
|
−∞ |
|
|
6 |
dξ. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
u(x) = √2π |
|
u(ξ) eiξxdξ = |
√2π |
a0(iξ)2 + a1(iξ) + a2 |
Таким образом, вместо решения уравнения нам достаточно вычислить интеграл.
Замечание. Априори нам не известно удовлетворяет ли решение u(x) необходимым условиям для применимости нужных формул. Поэтому после того как решение u(x) будетнайдено необходима проверка. Кроме того, данным приемом можно отыскать только решения, достаточно быстро стремящиеся к 0 при x → ∞. 

ТЕОРЕМА 3.2. Предположим, |
что при некотором |
k = 0, 1, 2, . . . функция xk f(x) |
кусочно непрерывна и |
абсолютно интегрируема на (−∞, +∞). Тогда
7
(i) преобразование Фурье f(x)(ξ) является k раз непрерывно дифференцируемым;
(ii) справедливо равенство
f6(k)(ξ) = (−i)kxkf(x)(ξ). (3)
Доказательство. Доказательство, как и выше, проведем лишь для случая финитной f(x). При k = 0 утверждение очевидно. Пусть k ≥ 1. Мы имеем
+∞
6 |
1 |
|
f(x) e−iξx dx. |
|
|
−∞ |
|
|
f(ξ) = √2π |
|
Пользуясь теоремой о дифференцировании по параметру интеграла с конечными пределами интегрирования, находим
|
√2π |
|
6 |
|
|
+∞ |
(f(ξ)) = |
(−i) |
x f(x) e−iξx dx ; |
|
|
|
|
§4. Пространство быстро убывающих функций |
479 |
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6 |
|
i)k |
+∞ |
|
|
|
−∞ |
|
(f(ξ))(k) = |
(√− |
2π |
|
|
xk f(x) e−iξx dx = (−i)kxk f(x)(ξ). |
По лемме 2.2 последняя величина непрерывна по ξ при всех |
ξ (−∞, +∞). Теорема доказана. |
|
ПРИМЕР 2. Ранее было найдено преобразование Фурье для
функции |
f(x) = |
h |
|
при |
|x| ≤ a, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
при |
|x| > a. |
|
|
Именно |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2h sin ξa |
|
|
|
|
|
|
f(ξ) = |
√ |
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
ξ |
|
|
|
|
|
|
2π |
|
|
|
|
|
|
Найдем |
преобразование Фурье функции xkf(x). Пользуясь |
|
6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(3), имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(k) |
|
|
|
|
√ |
|
h |
sin ξa |
(k) |
|
|
|
|
|
|
|
2 |
xkf(x)(ξ) = ikf(x) (ξ) = ik · |
|
|
|
|
|
. |
π |
|
ξ |
§4. Пространство быстро убывающих функций
4.1.Пространство S
Говорят, что функция ϕ, определенная на (−∞, +∞), принадлежит пространству S (Л. Шварц1), если она комплекснозначна (т.е. ϕ = ϕ1 + i ϕ2, ϕ1, ϕ2 – действительны), бесконечно дифференцируема и для произвольной пары неотрицательных чисел (l, k), k-целое, выполнено
sup(1 |
+ x |
l) |
ϕ(k)(x) |
< |
∞ |
. |
(1) |
x |
| | |
| |
| |
|
|
1Шварц Лоран (5.3.1915–4.7.2002) – французский математик, член группы "Бурбаки". Основные труды по топологии, гармоническому и функциональному анализу, математической физике. Большое значение имеет его теория распределений (теория обобщенных функций).
480 |
Глава 19. Преобразование Фурье |
ПРИМЕР 1. Функция ϕ(x) = e−x2 принадлежит пространству S.
ПРИМЕР 2. Всякая бесконечно дифференцируемая, финитная функция ϕ(x) S (привести пример). 

Если функции ϕm, ϕ S при m = 1, 2, . . . и для произвольной пары чисел (l, k) (здесь и далее подразумеваются пары (l, k) указанного выше вида) выполнено
sup(1 + |
| |
x |
l) |
ϕ(k)(x) |
− |
ϕ(k)(x) |
| → |
0, |
(2) |
x |
| |
| |
m |
|
|
то говорят, что последовательность {ϕm} сходится к ϕ в топологии пространства S.
ЗАМЕЧАНИЕ. Из (2) следует, что при любом k = 0, 1, . . .
sup |
ϕ(k) x |
) − |
ϕ(k) x |
)| → 0 |
при |
m |
→ ∞ |
, |
x | |
m ( |
( |
|
|
т.е. сами функции ϕm(x) и любые их производные сходятся к ϕ(x) (и ее производным) равномерно на (−∞, +∞).
Отметим, что пространство S линейно, т.е. из условия ϕ, ψ S и a, b – комплексные числа следует, что линейная комбинация aϕ + bψ принадлежит пространству S (проверить!).
4.2.Понятие оператора
Пусть S1, S2 – некоторые пространства. Если задано правило A, по которому каждому элементу ϕ S1 ставится в соответствие элемент ψ S2, то говорят, что задан оператор A с областью определения S1 и областью значений S2 и пишут ψ = Aϕ.
ПРИМЕР 3. Оператор дифференцирования Dϕ = ϕ действует из S в S (проверить!). 

Оператор A : S1 → S2 называется линейным, если для любых ϕ, ψ S1 и произвольных комплексных чисел a, b выполнено
A(aϕ + bψ) = a Aϕ + b Aψ.
ПРИМЕР 4. Оператор дифференцирования Dϕ = ϕ линеен (проверить!). 
