解析数论 1: Fourier积分和Fourier变换

设$\bar{f}(x)=\frac{1}{2}(f(x+0)+f(x-0))$ 把积分
$$\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$$称为$f(x)$的Fourier积分。复数形式为：
$$\underset{A\to \infty }{\lim }{\int }_{-A}^{A}e(-xy)dy{\int }_{-\infty }^{\infty }f(u)e(yu)du$$
注：Fourier积分式不一定收敛，收敛性可由Dirichlet-Jordan判别法给出。

定理 1 若存在正数$h>0$，$s.t.$ $f(x)$在区间$[x_0,-h,x_{+}0+h]$上是有界变差，则
$$\bar{f}(x_0)={\int }_{-\infty }^{\infty }dy{\int }_{-\infty }^{\infty }f(u)cos(2\pi y(u-x_0))du$$或
$$\bar{f}(x_0)=\underset{A\to \infty }{\lim }{\int }_{-A}^{A}e(-x_{0}y)dy{\int }_{-\infty }^{\infty }f(u)e(yu)du$$如果$f(x)$在任一有限区间上是有界变差，则上式在$-\infty <x_0<\infty$上成立。
把函数$\hat{f}(y)={\int }_{-\infty }^{\infty }f(u)e(yu)du$称为$f(x)$的Fourier变换。

定理 2 $\hat{f}(y)$是$(-\infty ,\infty )$上的有界连续函数，且
$$\underset{|y|\to \infty }{\lim }\hat{f}(y)=0.$$即Riemann-Lebesgue定理。