【数学分析】定积分等式、不等式的证明方法

最新推荐文章于 2023-09-14 11:14:45 发布

__hairypotter

最新推荐文章于 2023-09-14 11:14:45 发布

阅读量564

点赞数

文章标签：算法概率论

本文链接：https://blog.csdn.net/m0_72920663/article/details/128884139

版权

定积分等式和不等式的证明是数学分析中非常重要的一个知识点，同时也是一个比较困难的知识点

使用定积分换元证明等式：

这种题目一般比较简单，其核心思想是利用定积分的换元将积分区间进行一定变换，同时利用函数的性质（以某点中心对称、轴对称、周期函数等等）
例：

$f(x)是以T为周期的周期函数，证明：\newline\int_0^Tf(x)\mathrm dx=\int_a^{a+T}f(x)\mathrm dx,\forall a\in \bold R\newline 证：左边=\int_a^0 f(x)\mathrm dx+\int_0^Tf(x)\mathrm dx+\int_T^{a+T}f(x)\mathrm dx\newline =-\int_0^af(x)\mathrm dx+\int_0^Tf(x)\mathrm dx +\int_0^af(x+T)\mathrm dx\newline 再由f(x+T)=f(x),得证$

利用分部积分证明等式

这种题目有一定的难度，一般来说，需要证明的等式往往并不那么显然。
例：

$f(x)在[a,b]上二阶连续可微，f''(x)>0,\newline 证：\int_a^b f(x)\mathrm dx -\frac{1}{2}(b-a)[f(a)+f(b)]=\frac{1}{2}\int_a^bf''(x)(x-a)(x-b)\mathrm dx\newline证：\int_a^b f(x)\mathrm dx=\int_a^bf(x)\mathrm d(x-a)=f(b)(b-a)-\int_a^b(x-a)f'(x)\mathrm dx\newline 类似地，\int_a^b f(x)\mathrm dx =f(a)(b-a)-\int_a^bf'(x)\mathrm dx\newline \int _a^bf(x)\mathrm dx=\frac{f(a)+f(b)}{2}(b-a)-\frac{1}{2}\int_a^b[(x-a)+(x-b)]f'(x)dx\newline \red {这时注意到等号右边的定积分有：\mathrm d(x-a)(x-b)=2x-a-b,\newline 并且(x-a)(x-b)|_a^b=0}\newline 所以右边可以写成：\frac{f(a)+f(b)}{2}(b-a)-\frac{1}{2}\int_b^af''(x)(x-a)(x-b)\mathrm dx$

           最后一步省去了分部积分的过程.

利用函数的凹凸性，构造切线辅助证明不等式：

例：

$f''(x)>0,\forall x\in(0,1).证明：\int_0^1f(x^\lambda)\mathrm dx \geq f(\frac{1}{\lambda+1}),\lambda>0\newline证：由于f(x)是下凸函数，考虑x=\frac{1}{\lambda-1}处函数的切线，有：\newline f(x)\geq f(\frac{1}{1+\lambda})+f'(\frac{1}{1+\lambda})(x-\frac{1}{\lambda+1})\newline 将x^\lambda代入，得到\newline f(x^\lambda)\geq f(\frac{1}{1+\lambda})+f'(\frac{1}{1+\lambda})(x^\lambda-\frac{1}{1+\lambda})\newline 两边分别积分，得到\newline\int_0^1f(x^\lambda)\mathrm dx\geq f(\frac{1}{1+\lambda})+f'(\frac{1}{\lambda+1})\int_0^1(x^\lambda-\frac{1}{\lambda+1})\mathrm dx\newline 右边就是f(\frac{1}{1+\lambda})$

利用积分定理证明不等式：

例：

$f(x)在[a,b]连续单调增加，证明：\newline \int_a^bxf(x)\mathrm dx\geq \frac{a+b}{2}\int_a^bf(x)\mathrm dx \newline\int_a^b(x-\frac{a+b}{2})f(x)\mathrm dx=\int_a^{\frac{a+b}{2}}(x-\frac{a+b}{2})f(x)\mathrm dx+\int_{\frac{a+b}{2}}^b(x-\frac{a+b}{2})f(x)\mathrm dx\newline 这里将积分区间分成两段，这里面保证g(x)=x=\frac{a+b}{2}不变号，进而用积分第一中值定理，\newline =[f(\xi_2)-f(\xi_1)]\int_\frac{a+b}{2}^b (x-\frac{a+b}{2})\mathrm dx,因为f(x)单调，大于零.\newline 原不等式成立.$

构造函数证明不等式

这是一类比较诡异的题目
例：

$f(x)在[0,1]上连续可导，f(0)=0,f(1)=1,求证：\int_0^1|f(x)-f'(x)|\geq e^{-1}\newline 只要构造函数|f(x)-f'(x)|\geq \frac{|f(x)-f'(x)|}{e^x},\forall x\geq1,又有\newline \frac{f(x)}{e^x}的导数是：\frac{f'(x)-f(x)}{e^x}就容易得证$

用泰勒展开证明不等式：

这是一类模版题，关键在于一般而言要在区间的中点考虑泰勒展开，这样精度才能比较高。
- 例：
$设f((c)x)二阶可微，证明：\exists \xi\in[a,b],s.t.|\int_a^bf(x)\mathrm dx-(b-a)f(\frac{a+b}{2})|\leq \frac{M_2}{24}(b-a)^3,M_2=max|f''(x)|\newline记c=\frac{a+b}{2},则\newline f(x)=f(c)+f'(c)(x-c)+\frac{f''(\xi)}{2}(x-c)^2\newline 代回原不等式，得到左边=｜\frac{f''(\xi)}{24}(b-a)^3｜\leq \frac{M_2}{24}(b-a)^3$