最后更新: 2025-11-29 16:30 查看: 471 次纠错评论(0) 课件开VIP

Bessel 贝塞尔不等式

## Bessel 贝塞尔不等式
定理6．8（贝塞尔（Bessel）不等式）设 $\left\{\varphi_k\right\}_{k=1}^{\infty}$ 是 $L^2$ 的标准正交系，$f \in L^2$ ， $C_k=\left\langle f, \varphi_k\right\rangle$ 是 $f$ 相应于 $\left\{\varphi_k\right\}$ 的坐标，则

$$
\sum_{k=1}^{\infty}\left|C_k\right|^2 \leqslant\|f\|_2^2
$$

证明 对任意的正整数 $m$ ，有

$$
\begin{aligned}
0 & \leqslant\left\langle f-\sum_{k=1}^m C_k \varphi_k, f-\sum_{k=1}^m C_k \varphi_k\right\rangle \\
& =\langle f, f\rangle-2 \sum_{k=1}^m C_k\left\langle f, \varphi_k\right\rangle+\sum_{j, k=I}^m C_k C_j\left\langle\varphi_k, \varphi_j\right\rangle \\
& =\langle f, f\rangle-2 \sum_{k=1}^m C_k^2+\sum_{k=1}^m C_k^2 \\
& =\|f\|_2^2-\sum_{k=1}^m\left|C_k\right|^2,
\end{aligned}
$$

因此

$$
\sum_{k=1}^m\left|C_k\right|^2 \leqslant\|f\|_2^2
$$

令 $m \rightarrow \infty$ ，便得所要证的结果．
这定理说明，$f \in L^2$ 的必要条件是它相对于任意 $L^2$ 的标准正交系 $\left\{\varphi_k\right\}$ 的坐标（广义 Fourier 系数）$C_k$ ，必须满足 $\sum_{k=1}^{\infty}\left|C_k\right|^2<+\infty$ ．

## 贝塞尔不等式

它和上一节的标准正交系紧密相关，是理解傅里叶分析的一个关键步骤。

### 一句话概括

**贝塞尔不等式说的是：用一个“标准正交系”去近似一个函数，无论你用了多少项，你所能捕捉到的“能量”绝不会超过这个函数本身的总能量。**

---

### 回到乐高比喻

还记得我们“标准正交系”的乐高比喻吗？
*   **复杂模型** $f$：一个你想拼的复杂巨龙。
*   **标准正交积木** $\{\mathbf{e}_1, \mathbf{e}_2, ...\}$：你那一套功能纯粹、尺寸为1的乐高积木。
*   **投影/系数** $c_n = \langle f, \mathbf{e}_n \rangle$：表示拼这个巨龙需要“第n种积木”的数量。

现在，假设你的积木种类不是无限的，你只有前N种积木（比如只有长条、厚块、平板，而没有轮子、弧形等）。你用这有限的积木去拼那只巨龙，拼出来的结果肯定是个**近似品**，我们称之为 $f_N$。

### 贝塞尔不等式在说什么？

贝塞尔不等式关心的是一个**能量守恒**的问题：

1.  **函数的总能量**：巨龙本身所代表的“总材料量”或“总复杂度”，用其范数的平方表示：$\|f\|^2$。
2.  **近似品捕捉到的能量**：你用有限的N种积木拼出的模型所包含的能量。数学上，这就是你所用到的所有积木的“数量”的平方和：$|c_1|^2 + |c_2|^2 + ... + |c_N|^2$。

**贝塞尔不等式指出：**
> **你用有限种积木拼出的模型，其能量（所用积木的总量）绝对不会超过原始巨龙本身的能量。**

用数学公式写出来就是：
$$
\sum_{n=1}^N |c_n|^2 \leq \|f\|^2
$$
或者，即使你的积木库是无限的（N趋于无穷），这个关系依然成立：
$$
\sum_{n=1}^{\infty} |c_n|^2 \leq \|f\|^2
$$

### 为什么这个不等式重要？它有什么含义？

1.  **它设立了一个上限**：它告诉你，你通过分解所能得到的各项系数（$c_n$）不是任意大的。它们的平方和是收敛的，并且被一个固定值（$\|f\|^2$）所控制。这保证了分解过程的稳定性。

2.  **它是“完全性”的试金石**：贝塞尔不等式是一个“小于等于”的关系。一个很自然的问题是：**什么时候能取等号？**
    *   如果取等号，即 $\sum_{n=1}^{\infty} |c_n|^2 = \|f\|^2$，这意味着你用这套积木可以**100%地、毫无损失地**还原出原始巨龙。这时，我们称这个标准正交系是**完全的**（例如，傅里叶级数中的正弦余弦函数就是完全的）。
    *   如果只能取小于号，说明你的积木库还不够丰富，缺少一些关键部件，无法完美还原原物。总有一部分“能量”是你用现有积木无法表示的。

3.  **直观的几何解释**：在三维空间中，一个向量 $\vec{f}$ 在三个坐标轴上的投影的平方和（$c_1^2 + c_2^2 + c_3^2$）正好等于它自身长度的平方（勾股定理）。贝塞尔不等式是勾股定理在无限维空间的推广，但因为是无限维，所以可能不会完全相等（除非你的“坐标系”是完备的）。

### 总结

你可以这样理解贝塞尔不等式：

*   **它是一条“能量守恒定律”**：部分之和不能大于整体。
*   **它是一个“质量评估标准”**：它衡量了一个标准正交系能在多大程度上表示一个函数。等号是否成立，直接判断了这个正交系是否“完备”。
*   **它是通向“帕塞瓦尔定理”的台阶**：当标准正交系是完备的时候，贝塞尔不等式就变成了**帕塞瓦尔定理**（即取等号），这个定理是信号处理中能量守恒的数学基础。

简单说，**贝塞尔不等式是一个保证，保证你用标准正交系去分解函数时，不会莫名其妙地“创造”出额外的能量。**

科数题库(单机版) 会议室预约系统(book)

今日还可看 0 篇未注册用户每天查看4篇，注册用户每天8篇，开通VIP会员无限制查看。

免费注册

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

上一篇：标准正交系

下一篇： Riesz－Fisher 里斯－费舍尔定理

本文对您是否有用？有用 (0) 无用 (0)