Cauchy Schwarz不等式，各种形式总结

2018-10-24  本文已影响0人  流星落黑光

参考https://wenku.baidu.com/view/656419a1284ac850ad0242a6
《Cauchy Schwarz不等式之本质与意义》，林琦焜

Cauchy不等式（实数有限数列）

条件：a_i,b_i \in R ,\forall i= 1,\cdots,n
不等式：\left(\sum_{i=1}^n a_i b_i\right)^2 \le \left(\sum_{i=1}^n a_i^2\right) \left(\sum_{i=1}^n b_i^2\right)
等式成立的充要条件：a_i = \lambda b_i,\lambda \in R, \forall i= 1,\cdots,n

扩展到复数（复数有限数列）

条件：a_i,b_i \in C ,\forall i= 1,\cdots,n
不等式：\left | \sum_{i=1}^n a_i b_i \right | ^2 \le \left (\sum_{i=1}^n \left |a_i \right |^2 \right ) \left (\sum_{i=1}^n \left | b_i \right | ^2 \right )
等式成立的充要条件：a_i = \lambda b_i,\lambda \in C, \forall i= 1,\cdots,n

向量形式

令\alpha = \left ( a_1, a_2, \cdots , a_n \right )、\beta = \left ( b_1, b_2, \cdots , b_n \right )并取向量范数为二范数：\left \| \alpha \right \| = \sqrt{ |a_1|^2 + |a_2|^2 + \cdots + |a_n|^2 }
不等式：
\left | \alpha \cdot \beta \right | \le \left \| \alpha \right \| \left \| \beta \right \|
事实上，由数值分析中，向量范数的性质，本形式对任何向量范数都成立，不局限于二范数。
等式成立条件为\alpha,\beta同向，即线性相关且内积为正。

扩展到无穷数列

条件：a_i,b_i \in C ,\forall i= 1,\cdots,\infty
不等式：\left | \sum_{i=1}^\infty a_i b_i \right | \le \left (\sum_{i=1}^\infty \left |a_i \right |^2 \right )^{\frac{1}{2}} \left (\sum_{i=1}^\infty \left | b_i \right | ^2 \right )^{\frac{1}{2}}
等式成立的充要条件：a_i = \lambda b_i,\lambda \in C, \forall i= 1,\cdots,\infty
简单的推论：如果\sum_{i=1}^\infty |a_i|^2 < \infty、\sum_{i=1}^\infty |b_i|^2 < \infty，则\left | \sum_{i=1}^\infty a_i b_i \right |< \infty
对此结论的应用……原文中提到了实变函数论、泛函分析、l^2空间、量子力学，由于本人知识有限就不说了。

推广到定积分形式

从分析学的思考过程，无穷级数可以很自然的延伸到积分。
条件：f,g \in C[a,b]，即f、g是定义在区间[a,b]内的连续函数。
不等式：\left | \int_a^b f(x)g(x)dx \right | ^2 \le \int_a^b\left | f(x) \right |^2dx \int_a^b\left | g(x) \right |^2dx
更宽泛的，我们只需要求f、g是平方可积函数，即f,g \in L^2[a,b]，而不需要连续，就可以保证不等式成立。

推广：H\ddot{o}lder不等式

H\ddot{o}lder不等式（有限/无限复级数形式）

条件：a_i,b_i \in C ,\forall i= 1,\cdots,n，且p,q \ge 1,\frac{1}{p} + \frac{1}{q}=1
不等式：\left | \sum_{i=1}^n a_i b_i \right | \le \left (\sum_{i=1}^n \left |a_i \right |^p \right )^{\frac{1}{p}} \left (\sum_{i=1}^n \left | b_i \right | ^q \right )^{\frac{1}{q}}
等式成立的充要条件：a_i = \lambda b_i,\lambda \in C, \forall i= 1,\cdots,n
对n\rightarrow \infty也成立

H\ddot{o}lder不等式（定积分形式）

条件：f,g \in C[a,b]，即f、g是定义在区间[a,b]内的连续函数，且p,q \ge 1,\frac{1}{p} + \frac{1}{q}=1。
不等式：\left | \int_a^b f(x)g(x)dx \right | \le \left ( \int_a^b\left | f(x) \right |^pdx \right )^\frac{1}{p} \left ( \int_a^b\left | g(x) \right |^qdx \right ) ^\frac{1}{q}

H\ddot{o}lder不等式（定积分形式，多个函数）

条件：f_1,f_2,\dots,f_n \in C[a,b]，且p_i \ge 1,\sum_{i=1}^n \frac{1}{p_i} =1。
不等式：\left | \int_a^b \prod_{i=1}^n f_i(x)dx \right | \le \prod_{i=1}^n\left ( \int_a^b\left | f_i(x) \right |^{p_i}dx \right )^\frac{1}{p_i}

其他介绍

引用的文章（《Cauchy Schwarz不等式之本质与意义》，林琦焜）中提到，柯西不等式的最简单解释是利用“角度”的概念，用几何学中的余弦定理可以很清楚的表示并证明出二三维的柯西不等式。而H\ddot{o}lder不等式的证明是数学分析课程中的经典题目。更详细的证明可以参考本文开头的文章。

上一篇 下一篇

猜你喜欢

热点阅读