1.13 函数空间

函数空间

向量空间中每个点是向量，向量可以由基向量唯一表示，这个概念可以推广到函数空间。函数空间中每个点是一元函数，函数可以由基函数唯一表示。可以简单认为，函数空间的函数是满足一定条件（比如闭区间连续函数）的任意函数，如 $x^{\alpha },sinx,cosx,e^x,lnx,sin{x}^{2}ln(1+x)$ 。那基函数是什么？和向量空间有什么不同？

先看函数空间和向量空间的相似之处。假设闭区间连续的任意函数 $f(x)$ ，在闭区间等间隔取 $m$ 个点，得到 $m$ 个函数值 $\mathbf{v}=(f(1),f(2),\cdots ,f(m))$ ，这 $m$ 个函数值是对函数 $f(x)$ 的近似，也可以看作 $m$ 维空间的向量，所以任意函数都对应 $m$ 维空间的一个向量！根据向量空间基的存在性，任意函数都可以由基唯一表示。

当 $m$ 趋于无穷时，向量 $\mathbf{v}$ 就是函数 $f(x)$ ，此时空间是无穷维空间，所以称为函数空间，不是有限维的向量空间，这是第一个差别，但都是线性空间。

有限维的向量空间中内积是分量之和，在无穷维函数空间，分量之和取极限，就是积分，所以函数空间中内积定义为两个函数闭区间的定积分 $(f(x),g(x))={\int }_{[a,b]}f(x)g(x)dx$ ，这是第二个差别。当内积为零时，也称两个函数正交。函数范数就是闭区间的函数平方的定积分的平方根 $\Vert f(x)\Vert =\sqrt{{\int }_{[a,b]}f(x{)}^{2}dx}$ 。

函数空间的基称为基函数。向量空间的基 $E=({\mathbf{e}}_{\mathbf{i}}=(0,\cdots ,1,\cdots ,0),i\in [1,m])$ ，$m$ 维向量 ${\mathbf{e}}_{\mathbf{i}}$ 有 $m$ 个分量，只有第 $i$ 个分量为1，其他分量均为0。此时基函数只在某个实数点等于1，其它位置均为0，即
$$\delta (x,x0)=1ifx=x0,0elsex\ne x0$$

当 $x0$ 取遍闭区间 $[a,b]$ 内任意值时，就得到一组基函数。由于实数不可数，所以这种基函数个数也不可数。

另一组常用的基函数就是多项式函数 $1,x,x^2,\cdots$ ，注意是无穷多，但是可数可列的。闭区间上任意连续函数都可唯一表示为
$$f(x)=a_{0}1+a_{1}x+a_2{x}^2+\cdots$$

$(a_0,a_1,a_2,\cdots )$ 是系数。这类似于高数中著名的泰勒展开式，但不完全相同。泰勒展开式定理要求函数是 $m$ 阶可微的，有余项，不是无穷项之和。而函数空间理论，只要求函数闭区间连续即可，没有余项。函数连续是个很低的条件，而 $m$ 阶可微是比较高的条件，故函数空间理论适用更多的函数。很可惜多项式基函数不正交，可通过正交化使之正交，此时基函数称为Legendre(勒让德)多项式，它们在闭区间 $[-1,1]$ 正交。

最最重要的基函数就是三角函数 $1/2,sinx,cosx,sin2x,cos2x,,\cdots ,sinnx,cosnx,\cdots$ ，注意是无穷多，但是可数可列的。闭区间上周期为 $2\pi$ 的任意连续函数都可唯一表示为

$$f(x)=a_{0}1/2+a_{1}sinx+b_{1}cosx+a_{2}sin2x+b_{2}cos2x+\cdots$$

$(a_0,a_1,b_1,a_2,b_2,\cdots )$ 是系数。这就是著名的傅立叶级数！三角函数最大的优点是正交的，${\int }_{[0,2\pi ]}sinmxdx=0$ ， ${\int }_{[0,2\pi ]}cosnxdx=0$ ${\int }_{[0,2\pi ]}sinmxcosnxdx=0$ ，${\int }_{[0,2\pi ]}sinmxsinnxdx=0,m\ne n$ ，${\int }_{[0,2\pi ]}cosmxcosnxdx=0,m\ne n$ 。由于正交，系数 $(a_0,a_1,b_1,a_2,b_2,\cdots )$ 解耦，可以独立计算出来。而且还是标准的 ${\int }_{[0,2\pi ]}si{n}^{2}mxdx=\pi$ ，${\int }_{[0,2\pi ]}co{s}^{2}mxdx=\pi$ ，三角函数如同向量空间的标准正交基！上式对任意基函数取内积，得
$$\begin{gathered} {\int }_{0,2\pi }f(x)dx={\int }_{0,2\pi }{a}_{0}1/2dx=\pi a_0 \\ {\int }_{0,2\pi }f(x)sinnxdx={\int }_{0,2\pi }{a}_{n}sinnxsinnxdx=\pi a_n \\ {\int }_{0,2\pi }f(x)cosnxdx={\int }_{0,2\pi }{b}_{n}cosnxcosnxdx=\pi b_n \end{gathered}$$
傅立叶级数实际应用非常广泛，不仅数学性能好，而且对应很强的物理意义：频率，每个表示系数对应一个频率的能量，如 $a_0$ 是直流能量，$(a_1,b_1)$ 是基频能量等。

当函数不是闭区间上的周期函数只是连续函数时，傅立叶级数变成傅立叶变换，基函数还是三角函数，只是不可数可列了。

实际中不可能取无穷多项的和，一般截取前 $m$ 项的和，舍弃后面项的和，这就会产生误差。幸好，对于实际函数，后面项的和占比很少，而且取的项越多，占比越小。所以只要取足够多项的和，误差对实际影响很小。

函数空间的数学理论基础是：魏尔斯特拉斯逼近定理：1、闭区间上的连续函数可用多项式级数一致逼近。2、闭区间上周期为 $2\pi$ 的连续函数可用三角函数级数一致逼近。