柯西-施瓦茨不等式积分形式的证明

debug_running_Hu

于 2024-10-28 17:02:23 发布

阅读量1.8k

点赞数 18

文章标签：算法数学积分不等式柯西考研高数

本文链接：https://blog.csdn.net/weixin_49342084/article/details/143307238

版权

柯西-施瓦茨不等式的积分形式叙述如下：对于在区间 $[a, b]$ 上平方可积的函数 $f (x)$ 和 $g (x)$ ，有：

$\left( \int_a^b f(x)g(x) dx \right)^2 \le \left( \int_a^b f(x)^2 dx \right) \left( \int_a^b g(x)^2 dx \right)$

证明方法有多种，这里介绍两种常用的方法：

方法一：利用二次函数的非负性

考虑以下二次函数：

$\phi(t) = \int_a^b (tf(x) + g(x))^2 dx$

由于被积函数 $g(x))^2 \ge 0$ ，因此积分 $\phi(t) \ge 0$ 对任意实数 $t$ 成立。展开 $\phi(t)$ ，得到：

$\phi(t) = \int_a^b (t^2 f(x)^2 + 2t f(x)g(x) + g(x)^2) dx = t^2 \int_a^b f(x)^2 dx + 2t \int_a^b f(x)g(x) dx + \int_a^b g(x)^2 dx$

这是一个关于 $t$ 的二次函数，由于 $\phi(t) \ge 0$ 对所有 $t$ 成立，这意味着其判别式必须是非正的。即：

$\left( 2 \int_a^b f(x)g(x) dx \right)^2 - 4 \left( \int_a^b f(x)^2 dx \right) \left( \int_a^b g(x)^2 dx \right) \le 0$

化简后得到柯西-施瓦茨不等式的积分形式：

$\left( \int_a^b f(x)g(x) dx \right)^2 \le \left( \int_a^b f(x)^2 dx \right) \left( \int_a^b g(x)^2 dx \right)$

方法二：利用向量内积的性质

我们可以将函数 $f (x)$ 和 $g (x)$ 看作是函数空间中的向量。定义函数空间中的内积为：

$\langle f, g \rangle = \int_a^b f(x)g(x) dx$

以及向量的范数为：

$\|f\| = \sqrt{\langle f, f \rangle} = \sqrt{\int_a^b f(x)^2 dx}$

那么柯西-施瓦茨不等式可以写成：

$|\langle f, g \rangle| \le \|f\| \|g\|$

这个不等式是内积空间中柯西-施瓦茨不等式的直接应用。其证明方法类似于有限维向量空间中的证明：

考虑向量 $\lambda g$ ，其中 $\lambda$ 为实数。则：

$\|f - \lambda g\|^2 = \langle f - \lambda g, f - \lambda g \rangle = \langle f, f \rangle - 2\lambda \langle f, g \rangle + \lambda^2 \langle g, g \rangle \ge 0$

令 $\lambda = \frac{\langle f, g \rangle}{\langle g, g \rangle}$ (假设 $\langle g, g \rangle \ne 0$ )，代入上式，化简后即可得到柯西-施瓦茨不等式。如果 $\langle g, g \rangle = 0$ ，则 $\langle f, g \rangle = 0$ ，不等式也成立。