傅里叶分析——傅里叶级数

傅里叶分析——傅里叶级数

一些例子和定义

一些约定

实值函数通常用小写字母表示 $f$ ，而复值函数通常用大写字母表示 $F$ 。

处处连续函数

一些复值函数 $f$ 在区间 $[0,L]$ 上处处连续。

分段连续函数

分段连续函数在 $[0,L]$ 上是有界的，并且有有限多个间断点。

黎曼可积函数

黎曼可积函数是有界的，可以有无穷多个间断点。

我们给出黎曼可积函数的定义：

如果一个实值函数 $f$ 定义在 $[0,L]$ 上是黎曼可积的（通常简称为可积），如果他是有界的并且对于任意的 $ϵ>0$ ，对于 $[0,L]$ 存在很多分段子区间 $0=x_0<x_1<\dots <x_{N-1}=L$ ，则有两个上下界和：

$$\begin{gathered} \mathcal{U}=\sum _{j=1}^N[\underset{x_{j-1}\le x\le x_j}{\sup }f(x)](x_j-x_{j-1}) \\ \mathcal{L}=\sum _{j=1}^N[\underset{x_{j-1}\le x\le x_j}{\inf }f(x)](x_j-x_{j-1}) \end{gathered}$$

使得 $\mathcal{U}-\mathcal{L}<ϵ$ 。

其中算子 $\sup$ 为对某区间求上确界， $\inf$ 是下确界。

这和我们微积分的可积性的定义相同。

另外我们定义复值函数是黎曼可积的，当且仅当他的实部和虚部均可积。

两个可积函数相加、相乘同样可积。

对于无限间断点，黎曼可积是可以有无限间断点，极限观点认为这些间断点可以视为 $0$ ，因此对积分忽略不计。但函数必须有界。

本书如果没有特殊说明，提到的函数均为可积函数。

定义在单位圆上的函数

单位圆上的一个点可以表示为 $e^{i\theta }$ ， $\theta$ 是一个实值变量，并且对于 $2\pi$ 的整数倍是唯一的。这很容易理解，这就是欧拉公式。

我们通过复值函数在单位圆取值建立定义在单位圆上的函数：

$$f(\theta )=F(e^{i\theta })$$

此时，称 $f(\theta )$ 为定义在单位圆上的函数。容易发现， $f$ 在 $\mathbb{R}$ 上是关于 $2\pi$ 的周期函数。同时， $f$ 端点值必相等，因为 $f(0)$ 和 $f(2\pi )$ 对应单位圆上同一个点，必须有相同的函数值。相反任何 $f(0)=f(2\pi )$ 在 $[0,2\pi ]$ 的函数都可视为定义在单位圆上的函数。

我们定义在圆上连续，当且仅当 $f$ 在 $[0,2\pi ]$ 上连续，并且 $f(0)=f(2\pi )$。

此时， $F$ 和 $f$ 在单位圆上的可积性、连续性、平滑都是相关联的。

得到上述结论，我们知道下列说法是等价的：

1. 函数 $f$ 在在 $\mathbb{R}$ 上是关于 $2\pi$ 的周期函数。
2. 任何 $f(0)=f(2\pi )$ 在 $[0,2\pi ]$ 的函数 $f$ 。
3. 定义在单位圆上的函数 $f$ 。

定义在区间的实值函数 $f$ 通常有自变量 $x$ ，而我们定义在单位圆上的函数有自变量 $\theta$ 。

傅里叶级数的定义

如果一个函数 $f$ 在给定定长区间 $L$ $[a,b]$ （ $b-a=L$ ） 是可积的，我们定义第 $n$ 个傅里叶系数为：

$$\hat{f}(n)=\frac{1}{L}{\int }_a^{b}f(x)e^{-2\pi inx/L}dx,n\in \mathbb{Z}$$

傅里叶级数定义为：

$$\sum _{n=-\infty }^{\infty }\hat{f}(n)e^{2\pi inx/L}$$

我们有时用 $a_n$ 代表第 $n$ 个傅里叶系数，因此下面的几号表示右边的级数是关于 $f$ 的傅里叶级数：

$$f(x)\sim \sum _{n=-\infty }^{\infty }{a}_n{e}^{2\pi inx/L}$$

作为一个特例，如果 $[a,b]$ 为 $[-\pi ,\pi ]$ ，那么傅里叶级数就变成了：

$$\hat{f}(n)=a_n=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }f(\theta )e^{-in\theta }d\theta ,n\in \mathbb{Z}$$

同样定义在 $[0,2\pi ]$ 具有相同的形式。

我们通常讨论定义在圆上函数的傅里叶系数和傅里叶级数，幸运的是，可以看出，关于 $2\pi$ 的周期函数的积分值和我们选取的定长区间 $2\pi$ 无关，因此定义在圆上函数的傅里叶系数是良定义的。