UML_4256
.pdf
|
a |
|
a |
|
|
|
|
|
|
|
|
|
|
|
||||||
αn = ±nm+1 |
|
n , βn = ±nm+1 |
|
n |
|
|
|
|
|
|
|
|
|
|
||||||
|
|
b |
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
n |
|
|
|
|
εn |
|
|
|
|
|
|
εn |
|
|
|||
α2 |
+ β2 = ε |
n |
= nm+1 a2 +b2 |
|
|
a |
|
≤ |
и |
|
b |
|
|
≤ |
. |
Что и |
||||
|
|
|
|
|||||||||||||||||
|
|
|
||||||||||||||||||
|
|
|
|
|||||||||||||||||
n |
n |
|
n |
n |
|
|
n |
|
|
nm+1 |
|
|
n |
|
|
|
nm+1 |
|
||
требовалось доказать. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Смысл следствия 3 в следующем: чем выше степень гладкости |
||||||||||||||||||||
функции |
f (x), |
тем быстрее |
убывают |
ее |
коэффициенты |
Фурье. |
||||||||||||||
(Сравните коэффициенты рядов для функций |
f1 (x) , |
|
f2 (x) и |
f3 (x) в |
||||||||||||||||
§10). |
|
|
|
|
f (x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема 2. |
Если функция |
|
периодическая, |
кусочно-гладкая |
или кусочно-монотонная на периоде, то классический ряд Фурье этой функции сходится к f (x) в каждой точке числовой оси, а в точках
разрыва S(x) = 12 ( f (x − 0) + f (x + 0)) (без доказательства).
§ 12. Преобразование Фурье. Интеграл Фурье
|
|
|
Если функция |
f (x) |
абсолютно интегрируема на всей числовой |
||||||||||||||||||||||||||
оси, то говорят, что она принадлежит к классу L1 (−∞, +∞) , то есть |
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
∫ |
|
f (x) |
|
dx < ∞, f (x) L1 (−∞,+∞) . |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
−∞ |
|
|
|
|
|
f (x) L1 (−∞, +∞) , |
то для ω (−∞,+∞) |
||||||||||||
|
|
|
Теорема 1. |
Если |
|||||||||||||||||||||||||||
несобственный интеграл |
∞ |
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (ω) = ∫ f (x)e−iωxdx |
(1) |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−∞ |
|
|
|
||||||
сходится, |
функция |
|
непрерывная на |
всей числовой оси и |
|||||||||||||||||||||||||||
f (ω) |
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
f (ω) |
|
→ 0 при |
|
ω |
|
→ 0 . |
|
|
f (x) e−iωx |
|
= |
|
f (x) |
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
Доказательство. Так как |
|
|
|
|
, |
|||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
а |
|
f (ω) |
|
≤ |
∫ |
|
f (x) |
|
dx < ∞, то по признаку Вейерштрасса (см. §2 гл. 10) |
||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
−∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
интеграл (1) сходится равномерно, а функция f (ω) непрерывная (см. §3
гл. 10). И первая часть теоремы доказана. Докажем теперь вторую часть.
491
∞
Из сходимости несобственного интеграла ∫ f (x) dx следует, что
−∞
для ε > 0 существует A > 0 такое, что
|
∫ |
|
f (x) |
|
dx < ε |
2 |
. |
(2) |
|
|
|||||||
x |
≥A |
|
|
|||||
|
|
|
Тогда с учетом (2) имеем
|
∞ |
|
|
|
|
|
∫ f (x)e−iωxdx + ∫ f (x)e−iωxdx |
|
|||||||||||||
|
|
|
|
|
|
|
|||||||||||||||
|
∫ f (x) e−iωxdx |
= |
|
≤ |
|||||||||||||||||
|
−∞ |
|
|
|
|
|
x |
≤A |
|
|
x |
≥A |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|||||||||||||
≤ |
∫ f (x) e−iωx dx |
+ ε . |
|
|
|
|
(3) |
||||||||||||||
|
|
|
x |
|
≤A |
|
|
|
2 |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Интеграл |
|
|
|
|
|
|
A |
|
|
A |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
f (x) e−iωxdx = |
|
|
|
|
||||||||
|
|
|
|
|
|
|
∫ |
∫ |
f (x)cosωx dx −i ∫ |
f (x)sinωx dx = |
|||||||||||
|
|
|
|
|
|
x |
≤A |
|
|
|
|
|
|
−A |
|
|
−A |
|
|
||
|
|
|
|
|
|
|
|
1 |
|
A |
|
A |
|
||||||||
= |
|
|
∫ f (x) d (sinωx) + i ∫ f (x) d (cosωx) |
||||||||||||||||||
ω |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
−A |
|
−A |
|
является интегралом Стилтьеса (см. §8 гл.8). Поскольку он существует,
то из последнего равенства имеем ∫ f (x) e−iωx dx → 0 при ω → ∞, то
x ≤A
есть найдется такое ω1 , что
|
|
|
∫ f (x)e−iωxdx |
< |
ε |
, если |
|
ω |
|
>ω1. |
(4) |
|||
|
|
|
|
|
||||||||||
|
|
x |
≤A |
∞ |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x)e−iωxdx |
|
|
|
|||||||
|
|
|
|
|
|
|||||||||
Подставляя (4) в (3), получим |
∫ |
< ε , или |
f (ω) |
|
< ε , если |
|||||||||
|
|
|
|
−∞ |
|
|
|
|
|
|
|
|
|
|
ω >ω1, что и означает f (ω) → 0 при ω → ∞. Теорема доказана.
Интеграл (1) называют прямым преобразованием (образом) Фурье функции f (x).
|
Следствие. Если f (x) L1 |
(−∞, +∞) , то lim |
∞ |
|
∫ f (x)cosωx dx = 0 , |
||
|
|
ω→∞ −∞ |
|
lim |
∞ |
|
|
∫ f (x)sinωx dx = 0. |
|
|
|
ω→0 |
−∞ |
|
|
|
|
492 |
|
Говорят, |
что функция |
|
|
|
|
|
f (x) |
удовлетворяет в точке x условию |
||||||||||||||||||||||||||||||||||
Дини, если существует интеграл |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
l |
|
|
f (x +t) − f (x) |
dt . |
|
|
|
|
(5) |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−l |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Можно убедиться, например, что условие Дини выполняется, если |
||||||||||||||||||||||||||||||||||||||||||
функция удовлетворяет условию Липшица порядка α |
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
f (x + t) −t(x) |
|
≤ c |
|
t |
|
α , 0 <α ≤1, c = const . |
|
|
|
(6) |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
В частности, если функция имеет конечные левую |
f−′(x) и правую |
|||||||||||||||||||||||||||||||||||||||||
f+′(x) производные в точке x , |
|
то выполняются условия Липшица при |
||||||||||||||||||||||||||||||||||||||||
α =1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x) L1 (−∞, +∞) |
|
|
|
|
|||||||||
Теорема |
2. |
Если |
|
|
функция |
и |
|
удовлетворяет |
||||||||||||||||||||||||||||||||||
условию (5) Дини, то справедливо следующее представление: |
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
f (x) = |
|
|
|
|
|
|
|
|
∫ |
f (ω)eiωx dω . |
|
|
|
(7) |
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
2π |
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
определяется формулой (1), несобственный интеграл |
||||||||||||||||||||||||||||||||||
Здесь f (ω) |
||||||||||||||||||||||||||||||||||||||||||
понимается в смысле главного значения (см. §13 гл. 8), а под |
f (x) |
|||||||||||||||||||||||||||||||||||||||||
понимается полусумма левого и правого пределов: |
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
f (x) = |
1 |
( f (x − 0) + f (x + 0)) . |
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Доказательство. |
|
Поскольку функция |
|
непрерывна |
(см. |
|||||||||||||||||||||||||||||||||||||
|
|
f (ω) |
||||||||||||||||||||||||||||||||||||||||
теорему 1), то существует интеграл |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
l |
|
|
|
|
|
|
|
|
(1) |
|
|
l |
∞ |
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
fl (x) = |
|
|
|
|
|
∫ |
|
|
f (ω)eiωxdω = |
|
|
|
∫ dω ∫ f (u) eiω( x−u)du . |
(8) |
||||||||||||||||||||
|
|
|
|
|
|
|
2π |
|
|
2π |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
−l |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−l |
−∞ |
|
|
|
|
|||||||||
Так как интеграл (1) сходится равномерно, то в (8) можно |
||||||||||||||||||||||||||||||||||||||||||
поменять порядок интегрирования. Тогда |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
1 |
|
∞ |
|
|
|
|
|
|
l |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
fl (x) |
= |
|
|
|
|
∫ f (u) du ∫ eiω( x−u)dω = |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
2π −∞ |
|
|
|
−l |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
1 |
|
∞ |
|
|
|
|
|
|
eil( x−u) |
−e−il( x−u) |
|
1 |
|
∞ |
|
|
|
|
sin(x −u)l |
|
|
||||||||||||||||||||
= |
|
|
∫ f (u) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
du = |
|
|
|
∫ f (u) |
|
|
|
du = |
|
|||||||||||
2π |
|
|
|
i(x −u) |
|
|
π |
|
x −u |
|
|
|||||||||||||||||||||||||||||||
|
−∞ |
|
|
|
|
|
|
|
|
|
|
|
−∞ |
|
|
|
|
|
|
|||||||||||||||||||||||
= |
x −u = −t |
|
= 1 ∫ |
|
f (x + t) sin(lt) dt. |
|
|
|
|
|
|
|
|
(9) |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
du = dt |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
π −∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Известно, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
493
|
|
|
|
1 |
∞ sin(lt) |
dt = |
1 |
∞ |
|
sin(lt) |
d(lt) = sgn l . |
(10) |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫ |
|
|
|
|
|
|
∫ |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
π |
|
|
t |
|
π |
|
|
et |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
−∞ |
|
|
|
|
−∞ |
|
|
|
|
|
|
|||||||||||||||||
(см.§10 гл. 8). Умножая (10) на f (x) |
и вычитая результат из (9) (считая |
||||||||||||||||||||||||||||||||||||||||
l = a > 0 ), получим |
1 |
∞ |
f (x +t) − f (x) |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
fl (x) − f (x) = |
sin nt dt = |
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
∫ |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
π |
|
|
|
t |
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
= |
1 |
|
|
|
|
∫ |
f (x +t) − f (x) |
sin nt dt |
+ |
1 |
|
|
|
|
|
∫ |
f (x +t) |
sin nt |
dt − |
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
π |
|
|
t |
|
≤T |
|
|
t |
|
|
|
|
|
|
|
|
|
|
π |
|
|
|
t |
|
≥T |
|
t |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
− |
1 |
|
|
|
f (x) ∫ |
sin nt |
dt. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(11) |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
π |
|
|
|
|
|
|
t |
|
≥T |
|
t |
|
|
|
|
|
|
|
|
|
f (x) и условия Дини следует, что |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
Из ограниченности функции |
|
первый интеграл в (11) можно рассматривать как коэффициент ряда
Фурье для функции ϕ (t) = |
|
f (x + t) − f (x) |
(см. теорему 2 |
|
§12, |
здесь |
|||||||||||||||||||
|
|
|
|
|
t |
|
|||||||||||||||||||
l = n считаем натуральным). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
1 |
|
|
|
|
|
f (x + t) − f (x) |
sin nt dt |
= |
T 1 |
T f (x + t) − f (x) |
sin nt dt |
|
= |
|
T |
bn . |
|||||||||
|
|
|
|
|
|
∫ |
|
|
|
|
∫ |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
π |
|
|
t |
|
≤T |
t |
|
|
|
π T |
−T |
t |
|
|
|
|
|
π |
|
||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
Согласно неравенству Бесселя bn → 0при |
n = l → ∞, |
поэтому первый |
|||||||||||||||||||||||
интеграл в правой части (11) |
можно сделать меньше |
ε |
3 |
при достаточно |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
больших l = n > N . Второй и третий интегралы в правой части (11)
также можно |
сделать |
меньше |
ε |
3 |
|
при |
достаточно большом T и |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
произвольном l >1. Это следует из сходимости интеграла (10). |
|
|||||||||||||||||
Итак, из (11) следует |
|
|
fl (x) − f (x) |
|
< ε |
при l > N . Это и означает, |
||||||||||||
|
|
|||||||||||||||||
|
1 |
l |
|
|
|
|
|
|
1 |
|
∞ |
|
|
|
||||
что f (x) = lim |
|
∫ |
f (ω) eiωx dx = |
|
|
|
∫ |
f (ω) eiωx dx . Теорема доказана. |
||||||||||
2π |
2π |
|||||||||||||||||
l→∞ |
−l |
|
|
|
|
|
|
−∞ |
|
|
||||||||
Интеграл |
(7) |
называют |
обратным |
преобразованием |
Фурье. |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Формула (7) позволяет по образу Фурье f (ω) восстановить прообраз |
||||||||||||||||||
f (x). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Подставляя (1) в (7), получим |
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
1 ∞ |
∞ |
f (t)eiω ( x−t ) dt . |
|
|||||||||||
|
f (x) = |
|
∫ |
dω ∫ |
(12) |
|||||||||||||
|
|
|||||||||||||||||
|
|
|
|
2π −∞ |
−∞ |
|
|
|
|
|
|
|
|
Формулу (12) называют интегралом Фурье функции f (x) .
494
|
Сравним |
прямое |
и |
|
|
обратное |
|
преобразования |
Фурье |
||||||||
|
∞ |
|
|
|
|
|
1 |
|
∞ |
|
|
|
|
|
|
|
|
f (ω) = ∫ |
f (x) e−iω x dx , |
f (x) |
= |
|
|
|
∫ |
f (ω)eiω x dω с рядом |
Фурье в |
||||||||
|
|
|
|||||||||||||||
|
−∞ |
|
|
|
|
|
2π −∞ |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
1 |
|
l |
|
− |
ikn x dx , |
|
∞ |
|
||
комплексной форме записи cn |
= |
|
|
|
∫ f (x)e |
|
f (x) = |
∑ cneikn x . |
|||||||||
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
2l −l |
|
|
|
|
|
n=−∞ |
|
||
|
Из |
сравнения видно, |
|
что |
образ |
Фурье |
соответствует |
||||||||||
|
|
f (ω) |
|||||||||||||||
коэффициенту |
Фурье |
cn . |
Суммирование |
по |
дискретным |
частотам |
|||||||||||
kn = |
π n заменяется интегрированием по параметру ω . Таким образом, |
||||||||||||||||
|
l |
|
f (x) |
периодическая |
с |
периодом |
2l , |
то она |
|||||||||
если |
функция |
представляется в виде суммы гармоник. Ее спектр дискретный. При l →∞ функция перестает быть периодической. Ее нельзя разложить в ряд Фурье, но можно представить интегралом Фурье (12).
|
|
|
|
– |
|
|
|||
Функцию f (ω) называют спектральной характеристикой, |
|
f (ω) |
|
|
|
|
|
|
|
амплитудным спектром, а arg f (ω) – фазовым спектром. Как видно из
теоремы 1, амплитудный спектр непрерывный. Пример. Представить интегралом Фурье функцию
sgn x, |
|
x |
|
<1, |
|||||
|
|
||||||||
|
|
|
x |
|
|
|
|
|
|
0, |
|
|
>1, |
||||||
|
|
||||||||
f (x) = |
|
|
|||||||
|
0,5, x =±1. |
||||||||
|
Найти амплитудный спектр.
Решение. Функция удовлетворяет теореме 1, поэтому воспользуемся (1). Получим
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
0 |
1 |
|
|
|
|
||
|
f (ω) = |
|
∫ f (x) e−iω x dx = − ∫ e−iω x dx + ∫ e−iωx dx = |
|||||||||||||||||||
|
|
|
|
|
−∞ |
|
|
|
|
|
|
|
|
−1 |
0 |
|
|
|
|
|||
= |
1 |
(2 |
−e |
iω |
−e |
−iω |
) = |
2 |
(1−cosω) = |
4 |
sin |
2 |
ω |
. |
||||||||
iω |
|
|
|
|
ω |
iω |
iω |
|
2 |
|||||||||||||
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
sin2 |
|
|
|
|
|
|
|
|
|||||||
|
f (ω) |
= |
|
|
– амплитудный спектр. |
|
|
|
||||||||||||||
|
|
|
ω |
|
|
2 |
|
|
|
|||||||||||||
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Воспользуемся формулой (7)
495
Аналогично для нечетной функции f (x) получим прямое и обратное синус-преобразование Фурье:
|
2 |
∞ |
∞ |
|
|
f (ω) = |
|
|
∫ f (t)sinωt dt , f (x) = ∫ f (ω)sinωx dω . |
(6) |
|
|
π |
||||
|
|
0 |
0 |
|
|
Замечание. |
Если функция |
f (x) задана на полуинтервале [0,∞), |
то продолжая ее четным или нечетным образом на всю числовую ось, можно написать косинус-или синус-преобразования Фурье.
= e−αx , x ≥ 0,
Пример. Представить функцию f (x) интегралом
0, x < 0,α > 0,
∞ cosαx
Фурье в действительной форме. Найти интеграл 0∫ α2 + x2 dx .
Решение. Продолжим функцию f (x) на всю числовую ось четным образом и воспользуемся формулой (4):
|
|
|
|
|
2 |
∞ |
|
|
|
|
|
|
|
|
|
|
|
2 |
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
f (ω) = |
|
|
|
|
∫ f (t)cosωt dt = |
|
∫ e−αt |
cosωt dt = |
|
|
||||||||||||||||||||||||||||
|
π |
|
π |
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
= |
|
u = e−αt , |
|
|
du = −αe−αt dt |
|
|
= |
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
dv =cosωt dt, v = |
|
1 |
|
sin |
ωt |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ω |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
2 |
|
1 |
|
|
|
|
|
|
|
|
|
∞ |
|
|
α |
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
= |
|
|
|
|
e−αt sin |
ωt |
|
+ |
|
|
|
∫ e−αt sinωt dt |
= |
|
|
|
|
|||||||||||||||||||||
π |
ω |
ω |
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
= |
|
u = e−αt , |
|
du = −αe−αt dt |
|
= |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
dv =sinωt dt |
|
v = − |
|
1 |
cosωt |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ω |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
2α |
|
|
|
|
1 |
|
|
e−αt |
|
|
|
|
|
∞ |
|
|
|
α |
2 |
|
2 |
∞ |
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
= |
|
|
|
− |
|
|
|
|
cosωt |
|
|
|
|
|
− |
ω2 |
|
|
|
|
|
∫ |
f (t)cosωt dt |
|
|
|||||||||||||
πω |
|
ω |
|
|
|
π |
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
2α |
|
α2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
α |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
f (ω) = |
|
|
|
− |
|
|
|
f (ω) f (ω) = |
|
|
|
|
|
– |
косинус- |
|||||||||||||||||||||||
|
|
πω2 |
ω2 |
|
π |
α2 |
+ω2 |
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
преобразование данной функции.
Подставляя f (ω) в (5), получим представление данной функции интегралом Фурье в действительной форме
e−αt = |
2α ∞ |
cosωx |
dω. |
(7) |
|
|
0∫ |
|
|||
π |
α2 +ω2 |
||||
|
497 |
|
|
|
∞ |
cosωx dω |
∞ |
cosαx dx |
|
|
|
π |
e−α2 . |
||
Из (7) видно, что ∫ |
= ∫ |
= |
||||||||
α2 +ω2 |
α2 + x2 |
|
||||||||
0 |
0 |
|
|
2α |
|
|||||
|
|
|
∞ xsinαx |
dx . |
||||||
Упражнение. Вычислить интеграл ∫ |
|
|
|
|
||||||
|
α2 + x2 |
|||||||||
|
|
|
0 |
|
|
Указание. Воспользоваться синус-преобразованием Фурье.
498
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1.Ильин В.А., Позняк Э.Г. Основы математического анализа. Т. 1,2.
–М.: Наука, 1985.
2.Кудрявцев Л.Д. Курс математического анализа. Т. 1–3. – М.: Высшая школа, 1988.
3.Никольский С.М. Курс математического анализа. Т. 1,2. – М.:
Наука, 1983.
4.Ефимов Л.В. Математический анализ. Т. 1,2. – М.: Высшая школа, 1980.
5.Шилов Г.Е. Математический анализ. – М.: Наука, 1982.
6.Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления. Т. 1–3. – М.: Наука, 1979.
7.Рудин У. Основы математического анализа. – М.: Мир, 1976.
499
Фирсов Иван Парфёнович
Конспект лекций по математическому анализу
Редакторы: Кочергина Т.Ф., Лунева Н.И.
Корректоры: Чиканенко Л.В., Надточий З.И.
|
ЛР №020565 от 23.06.97 г. |
Формат 60×84 116 |
Подписано к печати |
Печать офсетная |
Бумага офсетная |
Усл. п. л. – 31,25 |
Уч.-изд. л. – 31,22 |
Заказ № |
Тираж 100 экз. |
|
«С» |
Издательство Технологического института Южного федерального университета ГСП 17А, Таганрог, 28, Некрасовский, 44
Типография Технологического института Южного федерального университета ГСП 17А, Таганрог, 28, Энгельса, 1
500