1.Hölder不等式的推广以及简单应用
Ho¨lder\Large\color{red}H\ddot{o}lderHo¨lder不等式的推广以及简单应用
这里要大量用到jenson\Large\color{red}jensonjenson不等式(加权),不会的可以先去看看。
一.Ho¨lder推广\Large\color{red}一.\small\color{red}H\ddot{o}lder推广一.Ho¨lder推广
有一个正实数矩阵a1,1...an,ma_{1,1}...a_{n,m}a1,1...an,m,有一个nnn项正实数序列{wi}\{ w_i \}{wi}满足∑i=1nwi=1\sum\limits_{i=1}^{n}w_i=1i=1∑nwi=1。有∏i=1n(∑j=1mai,j)wi≥∑i=1m∏j=1n(aj,i)wj\prod\limits_{i=1}^{n}(\sum\limits_{j=1}^{m}a_{i,j})^{w_i}\ge \sum\limits_{i=1}^{m}\prod\limits_{j=1}^{n}(a_{j,i})^{w_j}i=1∏n(j=1∑mai,j)wi≥i=1∑mj=1∏n(aj,i)wj
引理:证明nnn项的young\color{red}youngyoung不等式:
有一个nnn项正实数序列{wi}\{ w_i \}{wi}满足∑i=1nwi=1\sum\limits_{i=1}^{n}w_i=1i=1∑nwi=1。有nnn项正实数序列{xi}\{ x_i \}{xi}。
有∑i=1nwixi1wi≥∏i=1nxi\large\sum\limits_{i=1}^{n}w_ix_i^{\frac{1}{w_i}}\ge \prod\limits_{i=1}^{n}x_ii=1∑nwixiwi1≥i=1∏nxi。
证:类比朴素young\color{red}youngyoung不等式。由加权jenson\color{red}jensonjenson得:ln(∑i=1nxiwiwi)≥∑i=1n1wiln(xiwi)=∑i=1nln(xi)=ln(∏i=1nxi)\large ln(\sum\limits_{i=1}^{n}\frac{x_i^{w_i}}{w_i})\ge \sum\limits_{i=1}^{n}\frac{1}{w_i}ln(x_i^{w_i})=\sum\limits_{i=1}^{n}ln(x_i)=ln(\prod\limits_{i=1}^{n}x_i)ln(i=1∑nwixiwi)≥i=1∑nwi1ln(xiwi)=i=1∑nln(xi)=ln(i=1∏nxi)。整理得原不等式。
Ho¨lder\Large\color{red}H\ddot{o}lderHo¨lder推广的证明:
类比朴素Ho¨lder\color{red}H\ddot{o}lderHo¨lder不等式
原命题等价于:1≥∑i=1m∏j=1n(aj,i)wj∏i=1n(∑j=1mai,j)wi\Large1\ge \frac{\sum\limits_{i=1}^{m}\prod\limits_{j=1}^{n}(a_{j,i})^{w_j}}{\prod\limits_{i=1}^{n}(\sum\limits_{j=1}^{m}a_{i,j})^{w_i}}1≥i=1∏n(j=1∑mai,j)wii=1∑mj=1∏n(aj,i)wj
又RHS=∑i=1m∏j=1n(aj,i)wj(∑k=1maj,k)wj≤∑i=1m∑j=1nwjaj,i∑k=1maj,k=∑j=1nwj∑i=1maj,i∑k=1maj,k=∑j=1nwj=1\Large RHS=\sum\limits_{i=1}^{m}\prod\limits_{j=1}^{n}\frac{(a_{j,i})^{w_j}}{(\sum\limits_{k=1}^{m}a_{j,k})^{w_j}}\le\sum\limits_{i=1}^{m}\sum\limits_{j=1}^{n}\frac{w_ja_{j,i}}{\sum\limits_{k=1}^{m}a_{j,k}}=\sum\limits_{j=1}^{n}\frac{w_j\sum\limits_{i=1}^{m}a_{j,i}}{\sum\limits_{k=1}^{m}a_{j,k}}=\sum\limits_{j=1}^{n}w_j=1RHS=i=1∑mj=1∏n(k=1∑maj,k)wj(aj,i)wj≤i=1∑mj=1∑nk=1∑maj,kwjaj,i=j=1∑nk=1∑maj,kwji=1∑maj,i=j=1∑nwj=1。(由引理推出不等号)
所以证毕。
二.题目\Large\color{red}二.题目二.题目
1.正实数x,y满足:x+y=11.\ 正实数x,y满足:x+y=11. 正实数x,y满足:x+y=1,证明:1x2+8y2≥27\Large\frac{1}{x^2}+\frac{8}{y^2}\small\geq27x21+y28≥27。
证:1x2+8y2=(x+y)(x+y)(1x2+8y2)≥(13+83)3=27\Large\frac{1}{x^2}+\frac{8}{y^2}=\small(x+y)(x+y)\Large(\frac{1}{x^2}+\frac{8}{y^2})\small\geq(\sqrt[3]{1}+\sqrt[3]{8})^3=27x21+y28=(x+y)(x+y)(x21+y28)≥(31+38)3=27
2.有一个n项正实数数列{xi}满足∑i=1nxi=12.\ 有一个n项正实数数列\{ x_i \}满足\sum\limits_{i=1}^{n}x_i=12. 有一个n项正实数数列{xi}满足i=1∑nxi=1。
证明:∏i=1n(xi+1xi)≥(n+1n)n\prod\limits_{i=1}^{n}(x_i+\Large\frac{1}{x_i}\small)\ge (n+\Large\frac{1}{n}\small)\Large^ni=1∏n(xi+xi1)≥(n+n1)n。
证:∏i=1n(xi+1xi)≥(∏i=1nxin+1∏i=1nxin)n=(t+1t)n(t=(∏i=1nxin)\prod\limits_{i=1}^{n}(x_i+\Large\frac{1}{x_i}\small)\ge (\sqrt[n]{\prod\limits_{i=1}^{n}x_i}+\large\frac{1}{\sqrt[n]{\prod\limits_{i=1}^{n}x_i}}\small)^n=(t+\Large\frac{1}{t}\small)^n\quad(t=(\sqrt[n]{\prod\limits_{i=1}^{n}x_i})i=1∏n(xi+xi1)≥(ni=1∏nxi+ni=1∏nxi1)n=(t+t1)n(t=(ni=1∏nxi)
易知:0<t≤1n,又(x+1x)在(0,1)上单调递减。易知:0<t\le\frac{1}{n},又(x+\frac{1}{x})在(0,1)上单调递减。易知:0<t≤n1,又(x+x1)在(0,1)上单调递减。
∴LHS≥(1n+11n)n=RHS\therefore LHS\ge \Large(\frac{1}{n}+\frac{1}{\frac{1}{n}})^n\small= RHS∴LHS≥(n1+n11)n=RHS
3.若r+s=p+q且r≥p≥q≥s>0。(就是[r,s]≻[p,q])有一个n项正实数数列{xi}。3.\ 若r+s=p+q且r\ge p \ge q \ge s>0。(就是[r,s]\succ[p,q])有一个n项正实数数列\{x_i\}。3. 若r+s=p+q且r≥p≥q≥s>0。(就是[r,s]≻[p,q])有一个n项正实数数列{xi}。
令f(a)=(∑i=1nxi1a)a.证明:f(r)f(s)≥f(p)f(q)。令f(a)=\large(\sum\limits_{i=1}^{n}x_i^{\frac{1}{a}})^a. 证明:\large f(r)f(s)\ge f(p)f(q)。令f(a)=(i=1∑nxia1)a.证明:f(r)f(s)≥f(p)f(q)。
证:考虑f(a)f(b)=((∑i=1nxi1a)aa+b(∑i=1nxi1b)ba+b)a+b≥(∑i=1nxi2a+b)a+b=[f(a+b2)]2(为了凑出Ho¨lder形式)\large f(a)f(b)=((\sum\limits_{i=1}^{n}x_i^{\frac{1}{a}})^{\frac{a}{a+b}}(\sum\limits_{i=1}^{n}x_i^{\frac{1}{b}})^{\frac{b}{a+b}})^{a+b}\ge (\sum\limits_{i=1}^{n}x_i^{\frac{2}{a+b}})^{a+b}=[f(\frac{a+b}{2})]^2\small(为了凑出\color{red}H\ddot{o}lder形式)f(a)f(b)=((i=1∑nxia1)a+ba(i=1∑nxib1)a+bb)a+b≥(i=1∑nxia+b2)a+b=[f(2a+b)]2(为了凑出Ho¨lder形式)
考虑凑出jenson\color{red}jensonjenson,取lnlnln。
令g(x)=ln(f(x))g(x)=ln(f(x))g(x)=ln(f(x)),则g(a)+g(b)≥2g(a+b2)g(a)+g(b)\ge2g(\frac{a+b}{2})g(a)+g(b)≥2g(2a+b)。由jenson\color{red}jensonjenson反向得:g(x)g(x)g(x)为凸函数。
故由karamata\color{red}karamatakaramata得:g(r)+g(s)≥g(p)+g(q)g(r)+g(s)\ge g(p)+g(q)g(r)+g(s)≥g(p)+g(q),整理得原不等式。
1.Hölder不等式的推广以及简单应用相关推荐
- Cauchy-Schwarz不等式、Hölder不等式与Minkowski不等式
本文介绍几个常用的与期望有关的不等式. 1 Cauchy–Schwarz不等式 Cauchy–Schwarz不等式有许多形式,这里只介绍它的期望函数的形式. Cauchy–Schwarz不等式: [E ...
- UA MATH567 高维统计I 概率不等式5 推广Hoeffding不等式与Khintchine不等式
UA MATH567 高维统计I 概率不等式5 推广Hoeffding不等式 我们在第一讲时讨论了Hoeffding不等式,但那个版本时针对有界的随机变量的,我们希望通过亚高斯性推广Hoeffding ...
- 凡客诚品网络推广技巧简单分析
VANCL(凡客诚品)中国最大的自主品牌服饰类电子商务网站,据悉2010年销售额达到20多亿左右,那么是什么力量使的他短短几年内达到如此程度,记得凡客诚品负责人在一起采访中说他们注重在互联网的推广,在 ...
- 霍尔德(Hölder)不等式
引理 设 p,q>0,1p+1q=1.p,q>0,\frac1p+\frac1q=1.p,q>0,p1+q1=1.则x1py1q≤xp+yq, ∀ x,y≥0,x^{\fra ...
- UA MATH567 高维统计I 概率不等式11 Azuma不等式
UA MATH567 高维统计I 概率不等式11 Azuma不等式 前十一讲介绍的不等式的理论基础都是Markov不等式,根据Markov不等式我们导出了Chebyshev不等式.Hoeffding不 ...
- 琴生不等式(Jensen Inequality)
目录 不同表述形式 有限形式 测度与概率形式 在概率论中的广义形式 不等式证明 有限形式 测度和概率形式 概率论中的广义形式 不等式应用 在概率密度函数中的形式 随机变量的偶次矩 其他有限形式 统计物 ...
- 均值不等式中考_不等式(初三不等式100道带答案)
不等式释义:1.用不等号表示出来的两个量之间的不相等性(如用和分别表示小于.大于和不等于)的表达式 2.不等量,小于或者大于另一数量的数学量 网上搜的太简单 高中函数中总让解不等式组 怎么接的> ...
- 切比雪夫不等式例题讲解_「高中数学」柯西不等式,最全解析,高考必备,搞定最后十分...
知识无价,关注点赞 柯西(Cauchy,Augustin-Louis,1789-1857)是法国数学家.力学家.27岁成为巴黎综合工科学校教授,并当选为法国科学院 院士. 他的一生获得了多项重要的成果 ...
- 工厂模式——三个工厂模式(简单工厂模式,工厂方法模式,抽象工厂模式)...
工厂模式在<Java与模式>中分为三类: 1)简单工厂模式(Simple Factory):不利于产生系列产品: 2)工厂方法模式(Factory Method):又称为多形性工厂: 3) ...
- 干货分享:app推广新人如何做好应用商店推广
什么是渠道运营推广 「渠道」一词由来已久,在传统行业里被引入到商业领域,全称为分销渠道,即商品销售路线.举个栗子来讲,古代连接中西方商业贸易路线"丝绸之路"便是最早的渠道. 基于对 ...
最新文章
- 2022-2028年中国SCR脱硝催化剂行业研究及前瞻分析报告
- 关于Debug和Release编译方式
- substring java_Java String.substring()用法
- r语言rank降序_R语言rank函数详细解析
- java static 块 时机_java的static块执行时机
- 【Java】Java趣味分享:try finally
- Fastsocket:高扩展性的 Socket 以及 Linux 内核的底层网络实现
- 图解CSS中padding、margin、border的区别及使用
- 【Brazilian ICPC Regionals - 2018】Soteros【树上启发式合并】
- 坤坤音效键盘(Python实现)
- [渝粤教育] 北京科技大学 离散数学 参考 资料
- 加什么地形就看什么等高线!等高线实时预览就是这么爽
- ICPC Central Europe Regional Contest 2019【山东大学】 部分题解
- android和iOS平台的崩溃捕获和收集
- 交住房公积金的好处及作用
- html-2-禁止手机页面放大缩小
- Python-玩转数据-python网络编程
- pycharm2018破解
- Shape-Aware Meta-Learning 在模型泛化中引入形状约束
- result returns more than one elements 解决办法