解析数论基础:Fourier积分和Fourier变换
讨论定义在 ( − ∞ , ∞ ) (-\infty,\infty) (−∞,∞)上,只有第一类间断点的实值函数 f ( x ) f(x) f(x),且积分
∫ − ∞ ∞ ∣ f ( x ) ∣ d x < + ∞ \int^{\infty}_{-\infty}|f(x)|dx<+\infty ∫−∞∞∣f(x)∣dx<+∞
如果 f ( x ) f(x) f(x)是复值函数,则要求实部和虚部都满足上述条件,分开实部和虚部来讨论,本文所述定理也成立。
设
f
ˉ
(
x
)
=
1
2
(
f
(
x
+
0
)
+
f
(
x
−
0
)
)
\bar{f}(x)=\frac{1}{2}(f(x+0)+f(x-0))
fˉ(x)=21(f(x+0)+f(x−0)) 把积分
1
2
π
∫
−
∞
∞
d
y
∫
−
∞
∞
f
(
u
)
c
o
s
(
y
(
u
−
x
)
)
d
u
=
∫
−
∞
∞
d
y
∫
−
∞
∞
f
(
u
)
c
o
s
(
2
π
y
(
u
−
x
)
)
d
u
\frac{1}{2\pi}\int^{\infty}_{-\infty}dy\int^{\infty}_{-\infty}f(u)cos(y(u-x))du=\int^{\infty}_{-\infty}dy\int^{\infty}_{-\infty}f(u)cos(2\pi y(u-x))du
2π1∫−∞∞dy∫−∞∞f(u)cos(y(u−x))du=∫−∞∞dy∫−∞∞f(u)cos(2πy(u−x))du称为
f
(
x
)
f(x)
f(x)的Fourier积分。复数形式为:
lim
A
→
∞
∫
−
A
A
e
(
−
x
y
)
d
y
∫
−
∞
∞
f
(
u
)
e
(
y
u
)
d
u
\lim_{A\rightarrow\infty}\int^{A}_{-A}e(-xy)dy\int^{\infty}_{-\infty}f(u)e(yu)du
A→∞lim∫−AAe(−xy)dy∫−∞∞f(u)e(yu)du
注:Fourier积分式不一定收敛,收敛性可由Dirichlet-Jordan判别法给出。
定理 1 若存在正数
h
>
0
h>0
h>0,
s
.
t
.
s.t.
s.t.
f
(
x
)
f(x)
f(x)在区间
[
x
0
,
−
h
,
x
+
0
+
h
]
[x_0,-h,x_+0+h]
[x0,−h,x+0+h]上是有界变差,则
f
ˉ
(
x
0
)
=
∫
−
∞
∞
d
y
∫
−
∞
∞
f
(
u
)
c
o
s
(
2
π
y
(
u
−
x
0
)
)
d
u
\bar{f}(x_0)=\int_{-\infty}^{\infty}dy\int_{-\infty}^{\infty}f(u)cos(2\pi y(u-x_0))du
fˉ(x0)=∫−∞∞dy∫−∞∞f(u)cos(2πy(u−x0))du或
f
ˉ
(
x
0
)
=
lim
A
→
∞
∫
−
A
A
e
(
−
x
0
y
)
d
y
∫
−
∞
∞
f
(
u
)
e
(
y
u
)
d
u
\bar{f}(x_0)=\lim_{A\rightarrow\infty}\int^{A}_{-A}e(-x_0y)dy\int^{\infty}_{-\infty}f(u)e(yu)du
fˉ(x0)=A→∞lim∫−AAe(−x0y)dy∫−∞∞f(u)e(yu)du如果
f
(
x
)
f(x)
f(x)在任一有限区间上是有界变差,则上式在
−
∞
<
x
0
<
∞
-\infty<x_0<\infty
−∞<x0<∞上成立。
把函数
f
^
(
y
)
=
∫
−
∞
∞
f
(
u
)
e
(
y
u
)
d
u
\hat{f}(y)=\int^{\infty}_{-\infty}f(u)e(yu)du
f^(y)=∫−∞∞f(u)e(yu)du称为
f
(
x
)
f(x)
f(x)的Fourier变换。
定理 2
f
^
(
y
)
\hat{f}(y)
f^(y)是
(
−
∞
,
∞
)
(-\infty,\infty)
(−∞,∞)上的有界连续函数,且
lim
∣
y
∣
→
∞
f
^
(
y
)
=
0.
\lim_{|y|\rightarrow\infty} \hat{f}(y)=0.
∣y∣→∞limf^(y)=0.即Riemann-Lebesgue定理。