魏尔施特拉斯逼近定理

维库，知识与思想的自由文库

(重定向自维尔斯特拉斯逼近定理)

跳转到: 导航, 搜索

2个分类: 微积分 | 定理

[编辑] 基本定理

魏尔斯特拉斯逼近定理有两个：

闭区间上的连续函数可用多项式级数一致逼近。
闭区间上周期为 $2π$ 的连续函数可用三角函数级数一致逼近。

[编辑] 证明

第一逼近定理可以从第二逼近定理直接推出。
第二逼近定理的证明；

设f(t)为周期为 $2π$ 的连续函数，定义 $f_a(t) = \sum _{n=-\infty}^{+\infty} c_n a^{\left| n\right|} e^{int}$ 为一三角级数。

- 首先证明 $\left\{{e^{int}}\right\}_{n=-\infty}^{+\infty}$ ，为一个正交函数系：

$<e^{int},e^{imt}> = \frac{1}{2\pi}\int _{2\pi}^{0} e^{i(n-m)t}\, dx = 0$

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

$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)\, dx$ 。

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

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