傅里叶级数

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

在数学中，傅里叶级数（Template:Lang-en，Template:IPAc-en）是把类似波的函数表示成简单谐波的方式。更正式地说，对于满足狄利克雷定理的周期函数，其傅里叶级数是由一组正弦与余弦函数的加权和表示的方法。傅里叶级数与用来找出无周期函数的频率信息的傅里叶变换有密切的关系。

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

歷史

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

傅里叶的工作得到了丹尼尔·伯努利的赞助，傅里叶介入三角级数用來解热传导方程，其最初论文雖經Template:Le、加斯帕尔·蒙日同意，但在1807年经拉格朗日、拉普拉斯和勒讓德评審后被拒绝出版，他的现在被称为Template:Le的理论后来发表于1822年出版的《热的解析理论》。

定義

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

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

正弦-余弦形式

人们常用$\sin (x)$與$\cos (x)$的三角級數來表示$s(x)$，就是将所有$n$階諧波$\sin (\frac{2\pi nx}{P})$與$\cos (\frac{2\pi nx}{P})$，乘以其各自在$s(x)$中的權重，求得它们的總和；这些$n$階諧波的權重稱爲傅立葉級數係數，它们可以藉由如下積分來獲得：

傅立葉級數係數

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

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

傅立葉級數，正弦-余弦形式

这里使用符号$\sim$，表示傅里叶级数的求和不一定总是等于$s(x)$。普遍來說$n$是理論上趨近於無限大的，但是就算趨近於無限大，對所有的$x$（例如在某一點上不連續），傅立葉級數也不一定收斂到$s(x)$ 。尽管不收斂的可能性始终存在，在科学和工程领域中经常将Template:EquationNote中的$\sim$直接替代为$=$。

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

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

指数形式

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

根據定義，我們可以得到:

复数傅里叶级数系数

通过将等式Template:EquationNote代入Template:EquationNote，可以证实：

复数傅里叶级数系数

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

给定复数傅里叶级数系数，可以用公式复原出$A_n$和$B_n$：

复数傅里叶级数系数

$\begin{array}{ccc}{A}_0& =c_0& \\ A_n& =c_n+c_{-n}& \text{for}n>0\\ B_n& =i(c_n-c_{-n})& \text{for}n>0\end{array}$

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

傅立葉級數，指數形式

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

複數值函數

人们習慣將$s(x)$的值域普遍化到複數上，设$s(x)$是一個複數值函數，它的實部和虛部，都是實數值函數：

$s(x)=\mathrm{Re}(s(x))+i\cdot \mathrm{Im}(s(x)),x\in ℝ$

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

$c_n=\frac{1}{P}\underset{P}{\int }s(x)\cdot e^{-i\frac{2\pi }{p}nx}dx=\frac{1}{P}\underset{P}{\int }\mathrm{Re}(s(x))\cdot e^{-i\frac{2\pi }{p}nx}dx+i\cdot \frac{1}{P}\underset{P}{\int }\mathrm{Im}(s(x))\cdot e^{-i\frac{2\pi }{p}nx}dx$

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

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

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

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

振幅-相位形式

還可以利用三角恆等式$\cos (\alpha -\beta )=\cos \alpha \cos \beta +\sin \alpha \sin \beta$，把正弦-余弦形式中後面的正弦函數跟餘弦函數合併起來：

$A_n\cdot \cos (2\pi \frac{n}{P}x-{\phi }_n)\equiv \underset{a_n}{\underbrace{A_n\cos ({\phi }_n)}}\cdot \cos \left(2\pi \frac{n}{P}x\right)+\underset{b_n}{\underbrace{A_n\sin ({\phi }_n)}}\cdot \sin \left(2\pi \frac{n}{P}x\right)$

然後定義振幅$A_n\triangleq \sqrt{a_n^2+b_n^2}$，相位${\phi }_n\triangleq \mathrm{arctan2}(b_n,a_n)$，这里的$a_n$和$b_n$对应正弦-余弦形式中$A_n$和$B_n$。$\frac{A_0}{2}$是$s(x)$的Template:Le$\frac{1}{P}\underset{P}{\int }s(x)dx$。

傅立葉級數，振幅-相位形式

部份求和算子

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

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

假設$f(x)$與$g(x)$是在$ℝ$上的可積函數，$f(x)$與$g(x)$在$[-\pi ,\pi ]$的捲積$(f*g)(x)$為:

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

周期为$2\pi$的函數$f(x)$的傅立葉級數的部份求和，可以经由$f(x)$与狄利克雷核$D_n(x)={\sum }_{k=-n}^n{e}^{ikx}$的摺積来表示：

$\begin{array}{cc}{S}_N(f)(x)& =\sum _{n=-N}^N{c}_n{e}^{inx}\\ & =\sum _{n=-N}^N(\frac{1}{2\pi }\underset{-\pi }{\overset{\pi }{\int }}f(\tau )e^{-in\tau }d\tau )\cdot e^{inx}=\frac{1}{2\pi }\underset{-\pi }{\overset{\pi }{\int }}f(\tau )\left(\sum _{n=-N}^N{e}^{in(x-\tau )}\right)d\tau \\ & =\frac{1}{2\pi }(f*D_N)(x)\end{array}$

收敛性概要

$s_N(x)$在$[x_0,x_0+P]$近似了$s(x)$，该近似程度会随着$N\to \mathrm{\infty }$逐渐改善。这个无穷和$s_{\mathrm{\infty }}(x)$叫做 $s$的傅里叶级数表示。傅里叶级数的收敛性取决于函数有限数量的极大值和极小值，这就是通常称为傅里叶级数的狄利克雷条件。参见Template:Le之一。对于广义函数或分布也可以用范数或Template:Le定义傅里叶系数。在$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=-\mathrm{\infty }}^{\mathrm{\infty }}\hat{s}(n)\cdot e^{2\pi inx/P}$常用的数学符号

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

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

另一个常用频域表示，使用傅里叶级数系数，调制像梳子一样的Template:Le：

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

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

$\begin{array}{cc}{ℱ}^{-1}\{S(f)\}& =\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}(\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}S[n]\cdot \delta (f-\frac{n}{P}))e^{i2\pi fx}df\\ & =\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}S[n]\cdot \underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\delta (f-\frac{n}{P})e^{i2\pi fx}df\\ & =\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}S[n]\cdot e^{i2\pi nx/P}\triangleq s_{\mathrm{\infty }}(x)\end{array}$

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

常用的傅里叶级数

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

• $s(x)$指示周期$P$的周期函数。
• $A_0$、$A_n$和$B_n$指示周期函数$s(x)$的傅里叶级数系数（正弦-余弦形式）。

时域 $s(x)$	绘图	频域（正弦-余弦形式） $\begin{array}{cc}& A_0\\ & A_n\text{for }n\ge 1\\ & B_n\text{for }n\ge 1\end{array}$	注释	引用
$s(x)=A|\sin \left(\frac{2\pi }{P}x\right)|\text{for }0\le x<P$		$\begin{array}{cc}{A}_0=& \frac{2A}{\pi }\\ A_n=& \{\begin{array}{cc}\frac{-4A}{\pi }\frac{1}{n^2-1}& n\text{ even}\\ 0& n\text{ odd}\end{array}\\ B_n=& 0\\ \end{array}$	全波整流正弦	Template:Rp
$s(x)=\{\begin{array}{cc}A\sin \left(\frac{2\pi }{P}x\right)& \text{for }0\le x<P/2\\ 0& \text{for }P/2\le x<P\end{array}$		$\begin{array}{cc}{A}_0=& \frac{A}{\pi }\\ A_n=& \{\begin{array}{cc}\frac{-2A}{\pi }\frac{1}{n^2-1}& n\text{ even}\\ 0& n\text{ odd}\end{array}\\ B_n=& \{\begin{array}{cc}\frac{A}{2}& n=1\\ 0& n>1\end{array}\\ \end{array}$	半波整流正弦	Template:Rp
$s(x)=\{\begin{array}{cc}A& \text{for }0\le x<D\cdot P\\ 0& \text{for }D\cdot P\le x<P\end{array}$		$\begin{array}{cc}{A}_0=& AD\\ A_n=& \frac{A}{n\pi }\sin \left(2\pi nD\right)\\ B_n=& \frac{2A}{n\pi }{(\sin \left(\pi nD\right))}^2\\ \end{array}$	$0\le D\le 1$
$s(x)=\frac{Ax}{P}\text{for }0\le x<P$		$\begin{array}{cc}{A}_0=& \frac{A}{2}\\ A_n=& 0\\ B_n=& \frac{-A}{n\pi }\\ \end{array}$	锯齿函数	Template:Rp
$s(x)=A-\frac{Ax}{P}\text{for }0\le x<P$		$\begin{array}{cc}{A}_0=& \frac{A}{2}\\ A_n=& 0\\ B_n=& \frac{A}{n\pi }\\ \end{array}$	反锯齿函数	Template:Rp
$s(x)=\frac{4A}{P^2}{(x-\frac{P}{2})}^2\text{for }0\le x<P$		$\begin{array}{cc}{A}_0=& \frac{A}{3}\\ A_n=& \frac{4A}{{\pi }^2{n}^2}\\ B_n=& 0\\ \end{array}$	反全波整流	Template:Rp

基本性質

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

• 复数共轭指示为上标星号${}^{*}$。
• $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 ℂ$
时间反转/频率反转	$s(-x)$	$S[-n]$		Template:Rp
时间共轭	$s^{*}(x)$	$S^{*}[-n]$		Template:Rp
时间反转且共轭	$s^{*}(-x)$	$S^{*}[n]$
时间实部	$\mathrm{Re}(s(x))$	$\frac{1}{2}(S[n]+S^{*}[-n])$
时间虚部	$\mathrm{Im}(s(x))$	$\frac{1}{2i}(S[n]-S^{*}[-n])$
频率实部	$\frac{1}{2}(s(x)+s^{*}(-x))$	$\mathrm{Re}(S[n])$
频率虚部	$\frac{1}{2i}(s(x)-s^{*}(-x))$	$\mathrm{Im}(S[n])$
时间移位/频率调制	$s(x-x_0)$	$S[n]\cdot e^{-i\frac{2\pi }{P}n{x}_0}$	$x_0\in ℝ$	Template:Rp
频率移位/时间调制	$s(x)\cdot e^{i\frac{2\pi }{P}{n}_{0}x}$	$S[n-n_0]$	$n_0\in \mathbb{Z}$	Template:Rp

对称性质

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

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

$\begin{array}{cccccccccc}\text{时 域}& s& =& s_{{}_{\text{RE}}}& +& s_{{}_{\text{RO}}}& +& i{s}_{{}_{\text{IE}}}& +& i{s}_{{}_{\text{IO}}}\\ & \Updownarrow ℱ& & \Updownarrow ℱ& & \Updownarrow ℱ& & \Updownarrow ℱ& & \Updownarrow ℱ\\ \text{频 域}& S& =& S_{\text{RE}}& +& i{S}_{\text{IO}}& +& i{S}_{\text{IE}}& +& S_{\text{RO}}\end{array}$

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

• 实数值函数Template:Math的变换，是偶对称函数Template:Math。反过来说，偶对称变换蕴含了实数值时域。
• 虚数值函数Template:Math的变换，是奇对称函数Template:Math，反过来说也成立。
• 偶对称函数Template:Math的变换，是实数值函数Template:Math，反过来说也成立。
• 奇对称函数Template:Math的变换，是虚数值函数Template:Math，反过来说也成立。

範例

一个简单的傅里叶级数

锯齿波周期函数的图

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

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

$s(x)=\frac{x}{\pi },\mathrm{f}\mathrm{o}\mathrm{r}-\pi <x<\pi$

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

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

$\begin{array}{cc}{A}_n& =\frac{1}{\pi }\underset{-\pi }{\overset{\pi }{\int }}s(x)\cos (nx)dx=0,n\ge 0\\ B_n& =\frac{1}{\pi }\underset{-\pi }{\overset{\pi }{\int }}s(x)\sin (nx)dx\\ & =-\frac{2}{\pi n}\cos (n\pi )+\frac{2}{{\pi }^2{n}^2}\sin (n\pi )\\ & =\frac{2(-1{)}^{n+1}}{\pi n},n\ge 1\end{array}$

可以证明，当$s$可微时，傅立叶级数在每个点$x$都收敛于$s(x)$，于是： Template:NumBlk 当$x=\pi$时，傅里叶级数收敛于$0$，为在$x=\pi$ 处$s$的左极限和右极限之和的一半。这是傅里叶级数的狄利克雷定理的特例。

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

傅里叶诱导

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

在上例中我们的函数的傅里叶级数展开式看起来不比$s(x)=\frac{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}^{\mathrm{\infty }}\frac{(-1{)}^{n+1}}{n}\sin (nx)\frac{\sinh (ny)}{\sinh (n\pi )}$

这里的$\sinh$是双曲正弦函数。热方程的这个解是通过将$\pi s(x)$的傅里叶级数的每一项乘以$\frac{\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 }\underset{0}{\overset{2\pi }{\int }}|f(x)-S_N(f)(x){|}^{2}dx\to 0$ 當$N\to \mathrm{\infty }$

證明的第一步:

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

$(e_n,e_m)=\{\begin{array}{cc}1,& \text{if }n=m\\ 0,& \text{if }n\ne m\end{array}$

然後有$(f,e_n)=\frac{1}{2\pi }\underset{0}{\overset{2\pi }{\int }}f(x)e^{-inx}dx=\hat{f}(n)$

特別的有，$f(x)$的傅立葉級數的部分和$S_N(f)(x)=\sum _{|n|\le N}\hat{f}(n)e_n$

然後根據$f=f-\sum _{|n|\le N}\hat{f}(n)e_n+\sum _{|n|\le N}\hat{f}(n)e_n$ 以及畢氏定理，可以有:

$||f|{|}^2=||f-\sum _{|n|\le N}\hat{f}(n)e_n|{|}^2+||\sum _{|n|\le N}\hat{f}(n)e_n|{|}^2$ 替換一下後有 $||f|{|}^2=||f-S_N(f)(x)|{|}^2+||\sum _{|n|\le N}\hat{f}(n)e_n|{|}^2$

如果右邊第一項收斂到0，再根據正交的性質，可以看出上述式子中的右手邊第二項:

$||\sum _{|n|\le N}\hat{f}(n)e_n|{|}^2=\sum _{|n|\le N}|\hat{f}(n){|}^2$，這就證明了帕塞瓦尔定理。

证明的第二步:

回到證明右邊第一項，因為函數$f(x)$可積，找到一個連續函數$g(x)$，然後根據最佳逼近引理，可以找到一個三角多項式p(x)，使得

$|f-S_N(f)(x)|\le |f(x)-g(x)|+|g(x)-S_N(f)(x)|$

故當$N\to \mathrm{\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]$。
• 周期卷积$h_{{}_P}(x)\triangleq (s_{{}_P}*r)(x)=(s*r_{{}_P})(x)=\underset{P}{\int }{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(𝕋)$ $\Rightarrow$ 如果$f(x)$是一個在實數上以$2\pi$為週期的函數，且$k$次可微而且$k$階連續。

• 如果$f(x)$屬於在$C^1(𝕋)$，那麼$f^{\prime }(x)$傅立葉係數$\widehat{f^{\prime }}(n)$可以被用$f(x)$傅立葉係數$\hat{f}(n)$的表示，藉由公式$\widehat{f^{\prime }}(n)=in\hat{f}(n)$

• 如果$f(x)$屬於在$C^k(𝕋)$，$\widehat{f^{(k)}}(n)=(in{)}^k\hat{f}(n)$。特別的，當固定$k\ge 1$，我們有$\widehat{f^{(k)}}(n)$趨近於0當$n\to \mathrm{\infty }$，且有$\widehat{f^{(k)}}(n)=O(1/n^k)$。

黎曼-勒贝格定理

Template:Main 如果$S$是可积函数，则$\underset{|n|\to \mathrm{\infty }}{\lim }S[n]=0$，$\underset{n\to +\mathrm{\infty }}{\lim }{a}_n=0$而$\underset{n\to +\mathrm{\infty }}{\lim }{b}_n=0$。

帕塞瓦尔定理

Template:Main 如果函數$f(x)$屬於在$L^2([-\pi ,\pi ])$之中，那麼便有${\sum }_{-\mathrm{\infty }}^{\mathrm{\infty }}|\hat{f}(n){|}^2=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }|f(x){|}^{2}dx=||f||$。

普朗歇爾定理

Template:Main 如果$c_0,c_{\pm 1},c_{\pm 2},\dots$是系数，并且${\sum }_{n=-\mathrm{\infty }}^{\mathrm{\infty }}|c_n{|}^2<\mathrm{\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的如下內積:

$⟨f,g⟩\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}\frac{1}{2\pi }\underset{-\pi }{\overset{\pi }{\int }}f(x)\overline{g(x)}dx.$

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

$\underset{-\pi }{\overset{\pi }{\int }}\cos (mx)\cos (nx)dx=\pi {\delta }_{mn},m,n\ge 1,$

$\underset{-\pi }{\overset{\pi }{\int }}\sin (mx)\sin (nx)dx=\pi {\delta }_{mn},m,n\ge 1$

(這裡的δ_mn是克羅內克函數)，而

$\underset{-\pi }{\overset{\pi }{\int }}\cos (mx)\sin (nx)dx=0;$

参阅

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

延伸阅读

• Template:Cite book
• Template:Cite book 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.
• Template:Cite journal
• Template:Cite book
• 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.
• Template:Cite book
• Template:Cite book The first edition was published in 1935.
• 電機電子類科《工程數學》，ISBN 978-957-584-377-9，作者 陳錫冠、曾致煌，高立出版社。

外部链接

• Template:Springer
• Template:Cite EB1911
• Template:MathWorld