大家好,欢迎来到IT知识分享网。
[高等数学]-不等式专题之一:
Young不等式Holder不等式Minkowski不等式等
前言:本文重要贡献是给出了一个不等式组的关系结构图,清晰显示了各不等式之间的继承与演化关系,对掌握不等式组将有极大帮助;其次用表格清晰表示了每个不等式等号成立的条件;另外对全部不等式都给出了简要的证明。
目录
- 加权平均值不等式 (Chebyshev)
- 杨氏不等式 (Young)
- 赫尔德不等式 (Hölder)
- 闵可夫斯基不等式 (Minkowski)
- 琴生不等式 (Jensen)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图1 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-axegupay5k/2b5857dffe414a11ac70902b5690eb98~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=9W1YBqbJOG7%2F2E8mQZi9A8S3s74%3D)
正文
0 加权平均值不等式 (Chebyshev)
加权平均值不等式 (Chebyshev 不等式): 对于非负实数 x1 , x2 , x3 ,⋯, xn 和 w1 , w2 , w3 ,⋯, wn 为正实数,并且 w1 + w2 + w3 + ⋯+ wn = 1,有以下不等式成立:
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图3 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/c05fd870c9a14d21addf6d4e594d5fc7~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=fRiFlyXbMGy10VYpeQCctZka0%3D)
证明 对(1)两边取对数得
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图5 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/f6bd92846f4b4af89538f407c4cd2ae5~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=rMwRIc7jJAH0LCO8PKrydI0kEKw%3D)
于是 (1) ⇔ (2)
∵ ln(x) 是上凸函数, 由琴生不等式可得(2)成立。
∴ (1)成立。证毕。
——————————————————————–
1 杨氏不等式 (Young)
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图7 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/aa55066794684c0293942fc14f3e3997~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=FtYx8NbS4KjqrOoR6h7sJWM66Fc%3D)
杨氏不等式(Young‘s Inequality)又称Young不等式 ,是加权算术-几何平均值不等式的一种特例,杨氏不等式也是证明赫尔德不等式的一个快捷方法。
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图9 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/4176e04c0ebb489c90446922775f7b4d~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=lNZnaicM7X4SocDQJ81TjSuPLi4%3D)
推广
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图11 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/388b8ed1400a4020a1faab5092fe7778~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=SM3bxFRbMipK6hf%2B1APbFPkJNQs%3D)
证明
方法1
由加权均值不等式得
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图13 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/d6bf893bd5bd4b2391c34b0a6542bbec~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=cxqaHYoy9JfFx9v2xKcwvmY75Tg%3D)
证毕。
方法 2
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图15 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p26-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/7580b4931e334c91b1fb38d253e5c3c5~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=f8pNGuDzMQH3h0XZv3fMCoLfdWo%3D)
——————————————————————-
2 赫尔德不等式 (Hölder)
赫尔德不等式是数学分析的一条不等式,取名自奥图·赫尔德(Otto Hölder)。这是一条揭示Lp空间相互关系的基本不等式。赫尔德不等式有许多证明,主要的想法是利用杨氏不等式。
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图17 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/6f704c92204041ed996ec8aa7a39462e~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=C6KXKp%2Bo91PqADfjX9%2B9pI6q2os%3D)
证明 赫尔德不等式左边除以右边公式得,
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图19 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/cd2b48e2e2864f51a0d32d2c19f65be9~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=K1BUIyREW8FyKmQ7RWB1todqKD0%3D)
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图21 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p26-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/a8f1e58e1b78494dbdbfc640c2726227~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=Woc1xT92MEBveHtqpQzR9t7bp1s%3D)
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图23 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/c5dc8d6182254df29af80652728b5859~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=SlmuS0TJm170pQMlX9ZiEcoGu8k%3D)
证毕。
——————————————————————————-
3 闵可夫斯基不等式 (Minkowski)
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图25 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/92dd47d6526d41d89aadfb989a9e9798~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=yPDRnni58giwrSj6729bA0kw1Oo%3D)
证明 1/p+1/q=1 , (p-1)q=p ,
用裂项法,
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图27 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/4a73fc4bf0d84117b876616b8df4ce9d~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=fA%2BgHdVZ1FxdZohvu70HRoufWnA%3D)
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图29 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/d9ec9cbe6b2d4bcba23bcff380359e1f~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=4D4dOuCEvS192%2FnVIISMLJgvXi4%3D)
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图31 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/f25ceaaced3e45eb8426bf5ab45c5558~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=7BIMEPLC8Iyi4zYvaX7eSw4ec8M%3D)
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图33 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/463fa31f2d794cd4a155b6933cabd0ae~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=6OBgUmgRYNYJQZBCr1IaZ0AvPaE%3D)
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图35 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/c4aff1714e784fafa43d15eec7d82489~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=ASkKW%2FC1Ai%2F%2F6ZgWMmWeL4MQ6BQ%3D)
两边同取p次方得
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图37 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/1e6b60f0232c49cf9e2da51d9ab29ef6~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=D4Vtaq7zM%2BF%2BszQ%2BxuXtfPEG7GI%3D)
证毕。
——————————————————————————-
4 琴生不等式 (Jensen)
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图39 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/e0bc4cc1e3e543b68784f7605784aaab~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=f4RR1R19%2FZyk5LAIZu0WQkB6cSs%3D)
琴生不等式以丹麦技术大学数学家约翰·延森(Johan Jensen)命名。它给出积分的凸函数值和凸函数的积分值间的关系。琴生(Jensen)不等式(也称为詹森不等式),使用时注意前提、等号成立条件。
琴生不等式在证明不等式中发挥了巨大的作用。它实质上就是对凸函数性质的应用,它给出积分的凸函数值和凸函数的积分值间的关系,能够很好的为高中数学压轴证明题服务。 [3]
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图41 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/d93959612f1449ee927d614708f5b142~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=3LCyQG9DDRQRdGvjkPL40nPdL%2Bc%3D)
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图43 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/4bfc584f99cf4e4e987e344d15a6c5cd~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=w8PI1jEqUNhHuRtl2csOPzaddcc%3D)
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图45 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/e969dfbad4b24558a60b996c2ff64dde~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=TV5H%2FmMwRe6F2N8n4l2CA9le3u8%3D)
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图47 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/84c7bbed30134b72ad7fe9e03ce39fad~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=RsuXE8RcnMhQqBM%2F%2FcNIzWDPP5w%3D)
图1 不等式组关系结构图
![[高等数学]- 不等式专题之一 – Young’s, Holder, Minkowski 不等式等插图49 [高等数学]- 不等式专题之一 - Young's, Holder, Minkowski 不等式等](https://p3-sign.toutiaoimg.com/tos-cn-i-6w9my0ksvp/d12af3cf3cbb4e4783ccc712c80432f1~tplv-tt-origin-web:gif.jpeg?_iz=58558&from=article.pc_detail&lk3s=953192f4&x-expires=1756762189&x-signature=NMEIzIAdttbz%2FqHgZ6Dqdpa0qms%3D)
表1 不等式取等号条件
注1:不同数学教材对凸函数的定义是不同的。函数图像有上凸下凸之分,同济大学出版的高等数学把下凸的称为凸函数,而有些教材把上凸的称为凸函数。为了避免歧义,本文术语使用上凸函数。
参考文献
- 百度百科.”杨氏不等式”,“赫尔德不等式”,“琴生不等式”
- 豆包APP. “闵可夫斯基不等式等号存在的条件”
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
本账号“星辰博士讲数学”专注大学理工科教育科研和数学思维训练。
如果本文对你有用,请关注作者。欢迎点赞评论转发收藏。
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
免责声明:本站所有文章内容,图片,视频等均是来源于用户投稿和互联网及文摘转载整编而成,不代表本站观点,不承担相关法律责任。其著作权各归其原作者或其出版社所有。如发现本站有涉嫌抄袭侵权/违法违规的内容,侵犯到您的权益,请在线联系站长,一经查实,本站将立刻删除。 本文来自网络,若有侵权,请联系删除,如若转载,请注明出处:https://haidsoft.com/186662.html