傅里叶级数

在数学中，傅里叶级数（英语：Fourier series，/ˈfʊrieɪ, -iər/）是把类似波的函数表示成简单谐波的方式。更正式地说，对于满足狄利克雷定理的周期函数，其傅里叶级数是由一组正弦与余弦函数的加权和表示的方法。傅里叶级数与用来找出无周期函数的频率信息的傅里叶变换有密切的关系。

方波的傅里叶级数前四项的部分总和。随着增加更多的谐波，这个部分总和收敛成方波。

傅里叶级数是傅里叶分析的一个研究分支，也是采样定理原始证明的核心。傅里叶级数在数论、组合数学、信号处理、概率论、统计学、密码学、声学、光学等领域都有着广泛的应用。

历史

傅里叶级数得名于法国数学家约瑟夫·傅里叶（1768年–1830年），他提出任何函数都可以展开为三角级数。此前数学家欧拉、达朗贝尔和克莱罗，已发现在认定一个函数有三角级数展开后，通过积分方法计算其系数的公式，而拉格朗日等人已经找到了一些非周期函数的三角级数展开。将周期函数分解为简单振荡函数的总和的最早想法，可以追溯至公元前3世纪古代天文学家的均轮和本轮学说。

傅里叶的工作得到了丹尼尔·伯努利的赞助，傅里叶介入三角级数用来解热传导方程，其最初论文虽经西尔维斯特·拉克鲁瓦、加斯帕尔·蒙日同意，但在1807年经拉格朗日、拉普拉斯和勒让德评审后被拒绝出版，他的现在被称为傅里叶逆转定理的理论后来发表于1822年出版的《热的解析理论》。

定义

上图展示了蓝色无周期函数$s(x)$，它只定义在红色区间$[0,P]$之上。可以认为傅里叶级数，是对下图中最初函数的“周期延拓”的分析，傅里叶级数总是周期函数，即使最初函数$s(x)$不是周期函数。

傅里叶级数可以用不同的形式来表达，下面将周期为$P$的一个周期函数${\textstyle s(x),\ x\in \mathbb {R} }$表达为不同形式的傅里叶级数。

正弦-余弦形式

人们常用$\sin(x)$与$\cos(x)$的三角级数来表示${\textstyle s(x)}$，就是将所有$n$阶谐波${\textstyle \sin({\frac {2\pi nx}{P}})}$与${\textstyle \cos({\frac {2\pi nx}{P}})}$，乘以其各自在${\textstyle s(x)}$中的权重，求得它们的总和；这些$n$阶谐波的权重称为傅里叶级数系数，它们可以借由如下积分来获得：

傅里叶级数系数

${\begin{aligned}A_{0}&={\frac {1}{P}}\int _{P}s(x)\,dx\\A_{n}&={\frac {2}{P}}\int _{P}s(x)\cos \left({\frac {2\pi nx}{P}}\right)\,dx\qquad {\text{for }}n\geq 1\qquad \\B_{n}&={\frac {2}{P}}\int _{P}s(x)\sin \left({\frac {2\pi nx}{P}}\right)\,dx\qquad {\text{for }}n\geq 1\end{aligned}}$

Eq.1

符号${\textstyle \int _{P}}$表示在选定区间上的积分，典型的选择为$[-P/2,P/2]$或者$[0,P]$。注意$A_{0}$是函数$s(x)$的平均值，这个性质扩展到了类似的变换比如傅里叶变换。

通过这些系数定义傅里叶级数为：

傅里叶级数，正弦-余弦形式

$s(x)\sim A_{0}+\sum _{n=1}^{\infty }\left(A_{n}\cos \left({\frac {2\pi nx}{P}}\right)+B_{n}\sin \left({\frac {2\pi nx}{P}}\right)\right)$

Eq.2

这里使用符号$\sim$，表示傅里叶级数的求和不一定总是等于$s(x)$。普遍来说$n$是理论上趋近于无限大的，但是就算趋近于无限大，对所有的$x$（例如在某一点上不连续），傅里叶级数也不一定收敛到${\textstyle s(x)}$ 。尽管不收敛的可能性始终存在，在科学和工程领域中经常将Eq. 2中的$\sim$直接替代为$=$。

在傅里叶级数系数中的整数索引$n$，是级数中相应的$\cos$或$\sin$，在这个函数的周期$P$中，形成的圆周（cycle）的数目。因此对应于$A_{n}$和$B_{n}$的项有着：

• 波长等于${\tfrac {P}{n}}$，并且有着同于$x$的单位。
• 频率等于${\tfrac {n}{P}}$，并且有着$x$的倒数单位。

指数形式

下面借由欧拉公式$\ e^{ix}=\cos x+i\sin x\$，将傅里叶级数系数简化成复数指数形式。

根据定义，我们可以得到:

复数傅里叶级数系数

${\begin{aligned}c_{0}&=A_{0}&\\c_{n}&=(A_{n}-iB_{n})/2\qquad &{\text{for }}n>0\\c_{n}&=(A_{-n}+iB_{-n})/2\qquad &{\text{for }}n<0\end{aligned}}$

Eq. 3

通过将等式Eq. 1代入Eq. 3，可以证实：

复数傅里叶级数系数

$c_{n}={\frac {1}{P}}\int _{P}s(x)e^{-{\frac {2\pi inx}{P}}}\,dx\qquad {\text{for}}\ n\in \mathbb {Z}$

给定复数傅里叶级数系数，可以用公式复原出$A_{n}$和$B_{n}$：

复数傅里叶级数系数

${\begin{aligned}A_{0}&=c_{0}&\\A_{n}&=c_{n}+c_{-n}\qquad &{\textrm {for}}~n>0\\B_{n}&=i(c_{n}-c_{-n})\qquad &{\textrm {for}}~n>0\end{aligned}}$

通过这些定义，傅里叶级数可以写为：

傅里叶级数，指数形式

$s(x)\sim \sum _{n=-\infty }^{\infty }c_{n}\cdot e^{\frac {2\pi inx}{P}}$

Eq. 4

这是可推广到复数值域函数的惯用形式。$n$的负数值对应于负频率。

复数值函数

人们习惯将${\textstyle s(x)}$的值域普遍化到复数上，设${\textstyle s(x)}$是一个复数值函数，它的实部和虚部，都是实数值函数：

$s(x)=\operatorname {Re} (s(x))+i\cdot \operatorname {Im} (s(x)),\quad x\in \mathbb {R}$

定义$c_{n}\triangleq c_{_{Rn}}+i\cdot c_{_{In}}$则：

$c_{n}={\frac {1}{P}}\int _{P}s(x)\cdot e^{-i{\tfrac {2\pi }{p}}nx}\ dx={\frac {1}{P}}\int _{P}\operatorname {Re} (s(x))\cdot e^{-i{\tfrac {2\pi }{p}}nx}\ dx+i\cdot {\frac {1}{P}}\int _{P}\operatorname {Im} (s(x))\cdot e^{-i{\tfrac {2\pi }{p}}nx}\ dx$

$c_{_{Rn}}={\frac {1}{P}}\int _{P}\operatorname {Re} (s(x))\cdot e^{-i{\tfrac {2\pi }{p}}nx}\ dx$

$c_{_{In}}={\frac {1}{P}}\int _{P}\operatorname {Im} (s(x))\cdot e^{-i{\tfrac {2\pi }{p}}nx}\ dx$

对于这个复数值函数，它的傅里叶级数的实部，是它的实部的傅里叶级数；它的傅里叶级数的虚部，是它的虚部的傅里叶级数：

$s(x)\sim \sum _{n=-\infty }^{\infty }\left(c_{_{Rn}}+i\cdot c_{_{In}}\right)\cdot e^{i{\tfrac {2\pi }{p}}nx}=\sum _{n=\infty }^{\infty }c_{_{Rn}}\cdot e^{i{\tfrac {2\pi }{p}}nx}+i\cdot \sum _{n=-\infty }^{\infty }c_{_{In}}\cdot e^{i{\tfrac {2\pi }{p}}nx}$

振幅-相位形式

还可以利用三角恒等式$\ \cos(\alpha -\beta )=\cos \alpha \cos \beta +\sin \alpha \sin \beta \,$，把正弦-余弦形式中后面的正弦函数跟余弦函数合并起来：

$A_{n}\cdot \cos \left(2\pi {\tfrac {n}{P}}x-\varphi _{n}\right)\ \equiv \ \underbrace {A_{n}\cos(\varphi _{n})} _{a_{n}}\cdot \cos \left(2\pi {\tfrac {n}{P}}x\right)+\underbrace {A_{n}\sin(\varphi _{n})} _{b_{n}}\cdot \sin \left(2\pi {\tfrac {n}{P}}x\right)$

然后定义振幅${\textstyle A_{n}\triangleq {\sqrt {a_{n}^{2}+b_{n}^{2}}}}$，相位${\textstyle \varphi _{n}\triangleq \operatorname {arctan2} (b_{n},a_{n})}$，这里的$a_{n}$和$b_{n}$对应正弦-余弦形式中$A_{n}$和$B_{n}$。${\tfrac {A_{0}}{2}}$是$s(x)$的平均值${\textstyle {\frac {1}{P}}\int _{P}s(x)\,dx}$。

傅里叶级数，振幅-相位形式

$s(x)\sim {\frac {A_{0}}{2}}+\sum _{n=1}^{\infty }A_{n}\cdot \cos \left(2\pi {\tfrac {n}{P}}x-\varphi _{n}\right)$

Eq. 5

部分求和算子

在描述傅里叶级数行为的时候，经常会为一个函数$f(x)$介入部分求和算子$S_{N}$：

$S_{N}(f)=\sum _{n=-N}^{N}c_{n}e^{\frac {2\pi inx}{P}}$

Eq. 6

这里的$c_{n}$是$f$的傅里叶系数。不同于微积分中的级数，傅里叶级数的部分求和必须采用对称形式，否则收敛结果可能不成立。

假设$f(x)$与$g(x)$是在${\textstyle \mathbb {R} }$上的可积函数，$f(x)$与$g(x)$在$[-\pi ,\pi ]$的卷积$(f*g)(x)$为:

$(f*g)(x)=\int _{-\pi }^{\pi }f(\tau )g(x-\tau )d\tau$

周期为$2\pi$的函数$f(x)$的傅里叶级数的部分求和，可以经由$f(x)$与狄利克雷核${\textstyle D_{n}(x)=\sum _{k=-n}^{n}e^{ikx}}$的卷积来表示：

${\begin{aligned}S_{N}(f)(x)&=\sum _{n=-N}^{N}c_{n}e^{inx}\\&=\sum _{n=-N}^{N}\left({\frac {1}{2\pi }}\int _{-\pi }^{\pi }f(\tau )e^{-in\tau }d\tau \right)\cdot e^{inx}={\frac {1}{2\pi }}\int _{-\pi }^{\pi }f(\tau )\left(\sum _{n=-N}^{N}e^{in(x-\tau )}\right)d\tau \\&={\frac {1}{2\pi }}(f*D_{N})(x)\end{aligned}}$

收敛性概要

$s_{N}(x)$在$[x_{0},\ x_{0}+P]$近似了$s(x)$，该近似程度会随着$N\rightarrow \infty$逐渐改善。这个无穷和$s_{\infty }(x)$叫做 $s$的傅里叶级数表示。傅里叶级数的收敛性取决于函数有限数量的极大值和极小值，这就是通常称为傅里叶级数的狄利克雷条件。参见傅里叶级数的收敛性之一。对于广义函数或分布也可以用范数或弱收敛定义傅里叶系数。在$s(x)$的不可导点上，如果我们只取无穷级数中的有限项求和，那么在这些点上会有幅度不随$N$增大而持续变小的起伏，这叫做吉布斯现象，一个简单的例子是方波信号。

在工程应用中，一般假定傅里叶级数除了在不连续点以外处处收敛，原因是工程上遇到的函数比数学家提供的这个假定的反例表现更加良好。特别地，傅里叶级数绝对收敛且一致收敛于$s(x)$，只要在$s(x)$的导数（或许不会处处存在）是平方可积的。如果一个函数在区间$[x_{0},x_{0}+P]$上是平方可积的，那么此傅里叶级数在几乎处处的点都收敛于该函数。

• 
  一个相同幅度和频率的锯齿波的近似的可视化
• 
  另一个分别采用傅里叶级数的前 1, 2, 3, 4 项近似方波的可视化。（可以在这里看到一个交互式的动画）
• 
  收敛于某个任意函数的例子。注意其中的吉布斯现象

其他常用表示法

符号$c_{n}$在讨论多个不同函数的傅里叶系数时是不够用的。因此习惯上将其替代为函数（这里是函数$s$）的某种修改形式，即采用函数式符号比如${\hat {s}}[n]$或$S[n]$，来替代下标式符号：

$s(x)=\sum _{n=-\infty }^{\infty }{\hat {s}}(n)\cdot e^{2\pi inx/P}\quad$常用的数学符号

$s(x)=\sum _{n=-\infty }^{\infty }S[n]\cdot e^{i\,2\pi nx/P}\quad$常用的工程符号

在工程上，特别是在变量$x$表示时间的时候，系数序列叫做频域表示。经常使用方括号来强调这个函数的定义域是频率的离散集合。

另一个常用频域表示，使用傅里叶级数系数，调制像梳子一样的狄拉克采样函数：

$S(f)\ \triangleq \ \sum _{n=-\infty }^{\infty }S[n]\cdot \delta \left(f-{\frac {n}{P}}\right)$

这里的$f$表示连续频域。在变量$x$以秒为单位的时候，$f$以赫兹为单位。采样的间隔为基本频率${\tfrac {1}{P}}$的$n$倍（即为谐波）。 $s_{\infty }(x)$可以通过逆傅里叶变换从这种表示恢复出来:

${\begin{aligned}{\mathcal {F}}^{-1}\{S(f)\}&=\int _{-\infty }^{\infty }\left(\sum _{n=-\infty }^{\infty }S[n]\cdot \delta \left(f-{\frac {n}{P}}\right)\right)e^{i2\pi fx}\,df\\&=\sum _{n=-\infty }^{\infty }S[n]\cdot \int _{-\infty }^{\infty }\delta \left(f-{\frac {n}{P}}\right)e^{i2\pi fx}\,df\\&=\sum _{n=-\infty }^{\infty }S[n]\cdot e^{i\,2\pi nx/P}\ \ \triangleq \ s_{\infty }(x)\end{aligned}}$

构造出的函数$S(f)$，因而通常称为“傅里叶变换”，即使一个周期函数的傅里叶积分在这个谐波频率上不收敛。

常用的傅里叶级数

下表列出常用的周期函数及其傅里叶级数系数。

• $s(x)$指示周期$P$的周期函数。
• $A_{0}$、$A_{n}$和$B_{n}$指示周期函数$s(x)$的傅里叶级数系数（正弦-余弦形式）。

时域 $s(x)$	绘图	频域（正弦-余弦形式） ${\begin{aligned}&A_{0}\\&A_{n}\quad {\text{for }}n\geq 1\\&B_{n}\quad {\text{for }}n\geq 1\end{aligned}}$	注释	引用
$s(x)=A\left|\sin \left({\frac {2\pi }{P}}x\right)\right|\quad {\text{for }}0\leq x<P$		${\begin{aligned}A_{0}=&{\frac {2A}{\pi }}\\A_{n}=&{\begin{cases}{\frac {-4A}{\pi }}{\frac {1}{n^{2}-1}}&\quad n{\text{ even}}\\0&\quad n{\text{ odd}}\end{cases}}\\B_{n}=&0\\\end{aligned}}$	全波整流正弦
$s(x)={\begin{cases}A\sin \left({\frac {2\pi }{P}}x\right)&\quad {\text{for }}0\leq x<P/2\\0&\quad {\text{for }}P/2\leq x<P\\\end{cases}}$		${\begin{aligned}A_{0}=&{\frac {A}{\pi }}\\A_{n}=&{\begin{cases}{\frac {-2A}{\pi }}{\frac {1}{n^{2}-1}}&\quad n{\text{ even}}\\0&\quad n{\text{ odd}}\end{cases}}\\B_{n}=&{\begin{cases}{\frac {A}{2}}&\quad n=1\\0&\quad n>1\end{cases}}\\\end{aligned}}$	半波整流正弦
$s(x)={\begin{cases}A&\quad {\text{for }}0\leq x<D\cdot P\\0&\quad {\text{for }}D\cdot P\leq x<P\\\end{cases}}$		${\begin{aligned}A_{0}=&AD\\A_{n}=&{\frac {A}{n\pi }}\sin \left(2\pi nD\right)\\B_{n}=&{\frac {2A}{n\pi }}\left(\sin \left(\pi nD\right)\right)^{2}\\\end{aligned}}$	$0\leq D\leq 1$
$s(x)={\frac {Ax}{P}}\quad {\text{for }}0\leq x<P$		${\begin{aligned}A_{0}=&{\frac {A}{2}}\\A_{n}=&0\\B_{n}=&{\frac {-A}{n\pi }}\\\end{aligned}}$	锯齿函数
$s(x)=A-{\frac {Ax}{P}}\quad {\text{for }}0\leq x<P$		${\begin{aligned}A_{0}=&{\frac {A}{2}}\\A_{n}=&0\\B_{n}=&{\frac {A}{n\pi }}\\\end{aligned}}$	反锯齿函数
$s(x)={\frac {4A}{P^{2}}}\left(x-{\frac {P}{2}}\right)^{2}\quad {\text{for }}0\leq x<P$		${\begin{aligned}A_{0}=&{\frac {A}{3}}\\A_{n}=&{\frac {4A}{\pi ^{2}n^{2}}}\\B_{n}=&0\\\end{aligned}}$	反全波整流

基本性质

下表展示在时域中的一些数学运算及其对应的在傅里叶级数系数上的效果。

• 复数共轭指示为上标星号$\ ^{*}\$。
• $s(x)$和$r(x)$指示周期为$P$的函数或只定义在$x\in [0,P]$中的函数。
• $S[n]$和$R[n]$指示$s$和$r$的傅里叶级数系数（指数形式）。

性质	时域	频域（指数形式）	注释	引用
线性	$a\cdot s(x)+b\cdot r(x)$	$a\cdot S[n]+b\cdot R[n]$	$a,b\in \mathbb {C}$
时间反转/频率反转	$s(-x)$	$S[-n]$
时间共轭	$s^{*}(x)$	$S^{*}[-n]$
时间反转且共轭	$s^{*}(-x)$	$S^{*}[n]$
时间实部	$\operatorname {Re} {(s(x))}$	${\frac {1}{2}}(S[n]+S^{*}[-n])$
时间虚部	$\operatorname {Im} {(s(x))}$	${\frac {1}{2i}}(S[n]-S^{*}[-n])$
频率实部	${\frac {1}{2}}(s(x)+s^{*}(-x))$	$\operatorname {Re} {(S[n])}$
频率虚部	${\frac {1}{2i}}(s(x)-s^{*}(-x))$	$\operatorname {Im} {(S[n])}$
时间移位/频率调制	$s(x-x_{0})$	$S[n]\cdot e^{-i{\frac {2\pi }{P}}nx_{0}}$	$x_{0}\in \mathbb {R}$
频率移位/时间调制	$s(x)\cdot e^{i{\frac {2\pi }{P}}n_{0}x}$	$S[n-n_{0}]\!$	$n_{0}\in \mathbb {Z}$

对称性质

所有的函数都可以分解成唯一性的偶部和奇部：$f(x)=f_{\text{e}}(x)+f_{\text{o}}(x)$，这里的${\textstyle f_{\text{e}}(x)={\frac {f(x)+f(-x)}{2}}}$而${\textstyle f_{\text{o}}(x)={\frac {f(x)-f(-x)}{2}}}$。实数参数的复数值函数$f:\mathbb {R} \to \mathbb {C}$，对于所有$x\in \mathbb {R}$，如果$f(x)={\overline {f(-x)}}$则称其为“偶对称”，如果$f(x)=-{\overline {f(-x)}}$则称其为“奇对称”，这里${\overline {z}}$的上顶横线指示复数共轭。

一个复数值函数的实部和虚部，分解成各自的偶部和奇部，就有了四个分量，分别用下标标明为RE、RO、IE和IO。一个复数值时间参数函数的四个分量，与它的复数频率变换的四个分量之间，有着一一映射：

${\begin{array}{rccccccccc}{\text{时 域}}&s&=&s_{_{\text{RE}}}&+&s_{_{\text{RO}}}&+&i\ s_{_{\text{IE}}}&+&i\ s_{_{\text{IO}}}\\&{\Bigg \Updownarrow }{\mathcal {F}}&&{\Bigg \Updownarrow }{\mathcal {F}}&&\ \ {\Bigg \Updownarrow }{\mathcal {F}}&&\ \ {\Bigg \Updownarrow }{\mathcal {F}}&&\ \ {\Bigg \Updownarrow }{\mathcal {F}}\\{\text{频 域}}&S&=&S_{\text{RE}}&+&\,i\ S_{\text{IO}}\,&+&i\ S_{\text{IE}}&+&S_{\text{RO}}\end{array}}$

由此可见，各种关系是显而易见的，例如：

• 实数值函数s_RE + s_RO的变换，是偶对称函数S_RE + i S_IO。反过来说，偶对称变换蕴含了实数值时域。
• 虚数值函数i s_IE + i s_IO的变换，是奇对称函数S_RO + i S_IE，反过来说也成立。
• 偶对称函数s_RE + i s_IO的变换，是实数值函数S_RE + S_RO，反过来说也成立。
• 奇对称函数s_RO + i s_IE的变换，是虚数值函数i S_IE + i S_IO，反过来说也成立。

范例

一个简单的傅里叶级数

锯齿波周期函数的图

前五个部分傅里叶级数的动态图

我们现在用上面的公式给出一个简单函数的傅里叶级数展开式。考虑一个锯齿波：

$s(x)={\frac {x}{\pi }},\quad \mathrm {for} -\pi <x<\pi$

$s(x+2\pi k)=s(x),\quad \mathrm {for} -\infty <x<\infty {\text{ and }}k\in \mathbb {Z}$

在这种情况下，傅里叶级数为：

${\begin{aligned}A_{n}&={\frac {1}{\pi }}\int _{-\pi }^{\pi }s(x)\cos(nx)\,dx=0,\quad n\geq 0\\[4pt]B_{n}&={\frac {1}{\pi }}\int _{-\pi }^{\pi }s(x)\sin(nx)\,dx\\[4pt]&=-{\frac {2}{\pi n}}\cos(n\pi )+{\frac {2}{\pi ^{2}n^{2}}}\sin(n\pi )\\[4pt]&={\frac {2\,(-1)^{n+1}}{\pi n}},\quad n\geq 1\end{aligned}}$

可以证明，当$s$可微时，傅立叶级数在每个点$x$都收敛于$s(x)$，于是：

${\begin{aligned}s(x)&=A_{0}+\sum _{n=1}^{\infty }\left(A_{n}\cos \left(nx\right)+B_{n}\sin \left(nx\right)\right)\\[4pt]&={\frac {2}{\pi }}\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}\sin(nx),\quad \mathrm {for} \quad x-\pi \notin 2\pi \mathbb {Z} \end{aligned}}$

Eq.1

当$x=\pi$时，傅里叶级数收敛于$0$，为在$x=\pi$ 处$s$的左极限和右极限之和的一半。这是傅里叶级数的狄利克雷定理的特例。

这个例子为我们引出了巴塞尔问题的一种解法。

傅里叶诱导

金属板内的热分布，使用傅里叶方法求解

在上例中我们的函数的傅里叶级数展开式看起来不比$s(x)={\tfrac {x}{\pi }}$简单，因此人们需要傅里叶级数的原因也就不会立即显现出来。但还有很多应用，我们举用傅里叶诱导解热方程的例子。考虑边长为$\pi$米的方形金属版，坐标为$(x,y)\in [0,\pi ]\times [0,\pi ]$。如果板内没有热源，并且四个边中三个都保持在$0$摄氏度，而第四条边$y=\pi$，对于$x\in (0,\pi )$，保持在温度梯度$T(x,\pi )=x$摄氏度。在这种情况下，稳态（或者说很长时间过后的）热分布函数$T(x,y)$不能得出解析解，但却可以证明：

$T(x,y)=2\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}\sin(nx){\sinh(ny) \over \sinh(n\pi )}$

这里的$\sinh$是双曲正弦函数。热方程的这个解是通过将$\pi s(x)$的傅里叶级数的每一项乘以${\tfrac {\sinh(ny)}{\sinh(n\pi )}}$得到的。尽管示例的函数$s(x)$的傅里叶级数似乎很复杂，用傅里叶的方法却可以求解这个热分布问题。

其他例子

我们也可以应用傅里叶级数去证明等周不等式，或是构造处处连续处处不可微的函数。

收敛性

主条目：傅里叶级数的收敛性

至今还没有判断傅里叶级数的收敛性充分必要条件，但是对于实际问题中出现的函数，有很多种判别条件可用于判断收敛性。比如$x(t)$的可微性或级数的一致收敛性。在闭区间上满足狄利克雷条件的函数表示成的傅里叶级数都收敛。狄利克雷条件如下：

1. 在定义区间上，$x(t)$须绝对可积；
2. 在任一有限区间中，$x(t)$只能取有限个极值点；
3. 在任何有限区间上，$x(t)$只能有有限个第一类间断点。

满足以上条件的$x(t)$傅里叶级数都收敛，且：

1.当$t$是$x(t)$的连续点时，级数收敛于$x(t)$；

2.当$t$是$x(t)$的间断点时，级数收敛于${\frac {1}{2}}[x(t^{-})+x(t^{+})]$。

1966年，里纳特·卡尔松证明了勒贝格二次可积函数的傅立叶级数一定是几乎处处收敛的，即级数在除了一个勒贝格零测集外均收敛。

傅里叶级数收敛证明

假设一个函数在$f(x)$在$[0,2\pi ]$上是平方可积，则会有:

${\frac {1}{2\pi }}\int _{0}^{2\pi }|f(x)-S_{N}(f)(x)|^{2}dx\rightarrow 0$ 当$N\rightarrow \infty$

证明的第一步:

考虑一系列正交基底，$\{e_{n}\}_{n\in \mathbb {Z} }$，其中$e_{n}(x)=e^{-inx}$，且有

$(e_{n},e_{m})={\begin{cases}1,&{\text{if }}n=m\\0,&{\text{if }}n\neq m\end{cases}}$

然后有$(f,e_{n})={\frac {1}{2\pi }}\int _{0}^{2\pi }f(x)e^{-inx}dx={\hat {f}}(n)$

特别的有，$f(x)$的傅里叶级数的部分和$S_{N}(f)(x)=\sum _{|n|\leq N}{\hat {f}}(n)e_{n}$

然后根据$f=f-\sum _{|n|\leq N}{\hat {f}}(n)e_{n}+\sum _{|n|\leq N}{\hat {f}}(n)e_{n}$ 以及毕氏定理，可以有:

$||f||^{2}=||f-\sum _{|n|\leq N}{\hat {f}}(n)e_{n}||^{2}+||\sum _{|n|\leq N}{\hat {f}}(n)e_{n}||^{2}$ 替换一下后有 $||f||^{2}=||f-S_{N}(f)(x)||^{2}+||\sum _{|n|\leq N}{\hat {f}}(n)e_{n}||^{2}$

如果右边第一项收敛到0，再根据正交的性质，可以看出上述式子中的右手边第二项:

$||\sum _{|n|\leq N}{\hat {f}}(n)e_{n}||^{2}=\sum _{|n|\leq N}|{\hat {f}}(n)|^{2}$，这就证明了帕塞瓦尔定理。

证明的第二步:

回到证明右边第一项，因为函数$f(x)$可积，找到一个连续函数$g(x)$，然后根据最佳逼近引理，可以找到一个三角多项式p(x)，使得

$|f-S_{N}(f)(x)|\leq |f(x)-g(x)|+|g(x)-S_{N}(f)(x)|$

故当$N\rightarrow \infty$，函数$f(x)$跟$S_{N}(f)(x)$的差为0。

其他性质

傅里叶级数的唯一性

如果有一个定义在$[-\pi ,\pi ]$的函数$f(x)$和$g(x)$,其中函数$f(x)$和$g(x)$的傅里叶系数${\hat {f}}(n)$还有${\hat {g}}(n)$相同，且傅里叶级数都收敛到函数本身，那么可以证明此傅里叶级数具有唯一性，也就是$f(x)=g(x)$。换句话说，如果函数$f(x)$在$[-\pi ,\pi ]$上可积，傅里叶系数${\hat {f}}(n)$为0，对所有的$n\in \mathbb {N}$，那么函数$f(x)=0$

卷积定理

主条目：卷积定理

给定周期为$P$的函数$s_{_{P}}$和$r_{_{P}}$，它们具有傅里叶级数系数$S[n]$和$R[n]$，这里的$n\in \mathbb {Z}$。

• 逐点乘积$h_{_{P}}(x)\triangleq s_{_{P}}(x)\cdot r_{_{P}}(x)$，也是周期为$P$，并且它的傅里叶级数系数是序列$S$和$R$的离散卷积：$H[n]=(S*R)[n]$。
• 周期卷积${\textstyle h_{_{P}}(x)\triangleq (s_{_{P}}*r)(x)=(s*r_{_{P}})(x)=\int _{P}s_{_{P}}(\tau )\cdot r_{_{P}}(x-\tau )\,d\tau }$，也是周期为$P$，它具有傅里叶级数系数：$H[n]=P\cdot S[n]\cdot R[n]$。
• 在$c_{0}(\mathbb {Z} )$中的双无限序列$\left\{c_{n}\right\}_{n\in Z}$，是在$L^{1}([0,2\pi ])$中的傅里叶系数的序列，当且仅当它是在$\ell ^{2}(\mathbb {Z} )$中的两个序列的卷积。

微分性质

我们说$f(x)$属于在$C^{k}(\mathbb {T} )$ $\Rightarrow$ 如果$f(x)$是一个在实数上以$2\pi$为周期的函数，且$k$次可微而且$k$阶连续。

• 如果$f(x)$属于在$C^{1}(\mathbb {T} )$，那么$f'(x)$傅里叶系数${\hat {f'}}(n)$可以被用$f(x)$傅里叶系数${\hat {f}}(n)$的表示，借由公式${\hat {f'}}(n)=in{\hat {f}}(n)$

• 如果$f(x)$属于在$C^{k}(\mathbb {T} )$，${\hat {f^{(k)}}}(n)=(in)^{k}{\hat {f}}(n)$。特别的，当固定$k\geq 1$，我们有${\hat {f^{(k)}}}(n)$趋近于0当$n\rightarrow \infty$，且有${\hat {f^{(k)}}}(n)=O(1/n^{k})$。

黎曼-勒贝格定理

主条目：黎曼-勒贝格定理

如果$S$是可积函数，则${\textstyle \lim _{|n|\to \infty }S[n]=0}$，${\textstyle \lim _{n\to +\infty }a_{n}=0}$而${\textstyle \lim _{n\to +\infty }b_{n}=0}$。

帕塞瓦尔定理

主条目：帕塞瓦尔定理

如果函数$f(x)$属于在$L^{2}([-\pi ,\pi ])$之中，那么便有${\textstyle \sum _{-\infty }^{\infty }|{\hat {f}}(n)|^{2}={\frac {1}{2\pi }}\int _{-\pi }^{\pi }|f(x)|^{2}dx=||f||}$。

普朗歇尔定理

主条目：普朗歇尔定理

如果$c_{0},\,c_{\pm 1},\,c_{\pm 2},\ldots$是系数，并且${\textstyle \sum _{n=-\infty }^{\infty }|c_{n}|^{2}<\infty }$，则有一个唯一的函数$s\in L^{2}(P)$使得对于所有$n$有着$S[n]=c_{n}$。

延伸

希尔伯特空间的解读

主条目：希尔伯特空间

正弦和余弦形成了正交集合。正弦、余弦及其乘积的积分，当m与n不同或二函数不同时是0(绿色和红色区域相等抵消)，仅当m和n相等并且函数相同时为π。

所谓的两个不同向量正交是指它们的内积为0，这也就意味着这两个向量之间没有任何相关性,例如，在三维欧氏空间中，互相垂直的向量之间是正交的。事实上，正交是垂直在数学上的一种抽象化和一般化。一组n个互相正交的向量必然是线性无关的，所以必然可以张成一个n维空间，也就是说，空间中的任何一个向量可以用它们来线性表出。

在希尔伯特空间释义下，函数的集合{e_n = e^inx; n ∈ Z}是[−π, π]平方可积函数L²([−π, π])的正交基。这个空间实际上是一个希尔伯特空间，有着针对任何两个的元素f和g的如下内积:

$\langle f,\,g\rangle \;{\stackrel {\mathrm {def} }{=}}\;{\frac {1}{2\pi }}\int _{-\pi }^{\pi }f(x){\overline {g(x)}}\,dx.$

三角函数族的正交性用公式表示出来就是：

$\int _{-\pi }^{\pi }\cos(mx)\,\cos(nx)\,dx=\pi \delta _{mn},\quad m,n\geq 1,\,$

$\int _{-\pi }^{\pi }\sin(mx)\,\sin(nx)\,dx=\pi \delta _{mn},\quad m,n\geq 1$

(这里的δ_mn是克罗内克函数)，而

$\int _{-\pi }^{\pi }\cos(mx)\,\sin(nx)\,dx=0;\,$

参阅

• 离散时间傅里叶级数
• 傅里叶变换
• 维尔斯特拉斯逼近定理

延伸阅读

• William E. Boyce; Richard C. DiPrima. Elementary Differential Equations and Boundary Value Problems 8th. New Jersey: John Wiley & Sons, Inc. 2005. ISBN 0-471-43338-1. 
• Joseph Fourier, translated by Alexander Freeman. The Analytical Theory of Heat. Dover Publications. 2003. ISBN 0-486-49531-0.  2003 unabridged republication of the 1878 English translation by Alexander Freeman of Fourier's work Théorie Analytique de la Chaleur, originally published in 1822.
• Enrique A. Gonzalez-Velasco. Connections in Mathematical Analysis: The Case of Fourier Series. American Mathematical Monthly. 1992, 99 (5): 427–441. JSTOR 2325087. doi:10.2307/2325087. 
• Fetter, Alexander L.; Walecka, John Dirk. Theoretical Mechanics of Particles and Continua. Courier. 2003. ISBN 978-0-486-43261-8. 
• Felix Klein, Development of mathematics in the 19th century. Mathsci Press Brookline, Mass, 1979. Translated by M. Ackerman from Vorlesungen über die Entwicklung der Mathematik im 19 Jahrhundert, Springer, Berlin, 1928.
• Walter Rudin. Principles of mathematical analysis 3rd. New York: McGraw-Hill, Inc. 1976. ISBN 0-07-054235-X.  含有内容需登入查看的页面 (link)
• A. Zygmund. Trigonometric Series third. Cambridge: Cambridge University Press. 2002. ISBN 0-521-89053-5.  The first edition was published in 1935.
• 电机电子类科《工程数学》，ISBN 978-957-584-377-9，作者 陈锡冠、曾致煌，高立出版社。

外部链接

• Hazewinkel, Michiel (编), Fourier series, 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4 
• Hobson, Ernest. Fourier's Series. Encyclopædia Britannica 10 (第11版). London: 753–758. 1911. 
• 埃里克·韦斯坦因. Fourier Series. MathWorld. 

本条目含有来自PlanetMath《example of Fourier series》的内容，版权遵守知识共享协议：署名-相同方式共享协议。