魏尔施特拉斯逼近定理

斯通-魏尔施特拉斯逼近定理（Stone–Weierstrass theorem）有两个：

• 闭区间上的连续函数可用多项式级数一致逼近。
• 闭区间上周期为${\displaystyle 2\pi }$的连续函数可用三角函数级数一致逼近。

第一逼近定理可以推广至${\displaystyle \mathbb {R} ^{n}}$上的有界闭集

证明

• 第一逼近定理与第二逼近定理可以互相推导^[1][2]。
• 第二逼近定理的证明：

设${\displaystyle f(t)}$为周期为${\displaystyle 2\pi }$的连续函数，定义${\displaystyle f_{a}(t)=\sum _{n=-\infty }^{+\infty }c_{n}a^{\left|n\right|}e^{int}}$为一三角级数。 首先证明${\displaystyle \left\{{e^{int}}\right\}_{n=-\infty }^{+\infty }}$，为一个正交函数系：

${\displaystyle \langle e^{int},e^{imt}\rangle ={\frac {1}{2\pi }}\int _{0}^{2\pi }e^{i(n-m)t}\,dt=0}$

${\displaystyle \langle e^{int},e^{int}\rangle =||e^{int}||^{2}={\frac {1}{2\pi }}\int _{0}^{2\pi }\left|e^{int}\right|^{2}\,dt=1}$(因为${\displaystyle \left|e^{int}\right|=1}$)。 故令${\displaystyle f(t)=\sum _{n=-\infty }^{+\infty }c_{n}e^{int}}$，于是我们可以求出${\displaystyle c_{n}=\langle f(t),e^{int}\rangle ={\frac {1}{2\pi }}\int _{2\pi }^{0}f(t)e^{-int}\,dt}$。 将${\displaystyle c_{n}}$代入 ${\displaystyle f_{a}(t)}$ 的定义式中，有：

${\displaystyle f_{a}(t)={\frac {1}{2\pi }}\int _{2\pi }^{0}(\sum _{n=-\infty }^{+\infty }a^{\left|n\right|}e^{in(t-s)})f(s)\,ds}$。

下面对积分号中的和式S求和，令${\displaystyle w=ae^{i(t-s)}}$，那么就有：${\displaystyle S=...+{\bar {w}}^{2}+{\bar {w}}+1+w+w^{2}+...}$，分成正负两部分求和，可知:

${\displaystyle S=1+W+{\bar {W}}=1+2Re\{W\}={\frac {1-a^{2}}{1-2a\cos(t-s)+a^{2}}}}$ 代回原积分，有${\displaystyle f_{a}(t)={\frac {1}{2\pi }}\int _{2\pi }^{0}{\frac {1-a^{2}}{1-2a\cos(t-s)+a^{2}}}f(s)\,ds}$，这就是f(s)的泊松积分。其中${\displaystyle p_{a}(\theta )={\frac {1}{2\pi }}{\frac {1-a^{2}}{1-2a\cos(\theta )+a^{2}}}}$称为泊松核。故有：

${\displaystyle f_{a}(t)=\int _{-\pi }^{\pi }p_{a}(x)f(t-x)\,dx}$

我们要检验的的是${\displaystyle \left|f_{a}(t)-f(t)\right|}$在${\displaystyle a\to 1}$时的情况，可以证明：

${\displaystyle \left|f_{a}(t)-f(t)\right|<\int _{-\pi }^{\pi }p_{a}(x)\left|f(t-x)-f(t)\right|\,dx}$

由${\displaystyle f(t)}$的一致连续性，可以证明，上式在${\displaystyle a\to 1}$时，满足一致收敛的条件，故我们可以用${\displaystyle f_{a}(t)}$来一致逼近${\displaystyle f(t)}$。

参阅

• 傅里叶级数

参考资料

1. 柯朗; 希尔伯特. 数学物理方法. 北京: 科学出版社. 2011: 57–58. ISBN 978-7-03-031361-4.
2. 菲赫金哥尔茨. 微积分学教程 3. 路见可, 余家荣, 吴亲仁 译. 北京: 高等教育出版社. 2006: 480–481. ISBN 978-7-04-018305-4.