均值不等式鏈

本文介紹冪平均函數(shù)以及由他得出的冪均值不等式铣猩。


引理:Jensen不等式【琴生不等式】

假設f(x)是區(qū)間I上的凸函數(shù),我們有如下結論:
f(\frac{x_1+x_2+\cdots+x_n}{n}) \leq \frac{f(x_1)+f(x_2)+\cdots+f(x_n)}{n}

反之茴丰,如果f(x)是一個凹函數(shù)达皿,那么上面的不等式變號。


Jensen不等式證明

假設 f(x) 是定義在區(qū)間 I 上的凸函數(shù)贿肩,且 x_1, x_2, \dots, x_nI 上的任意點峦椰。我們需要證明以下不等式:

f\left( \frac{x_1 + x_2 + \cdots + x_n}{n} \right) \leq \frac{f(x_1) + f(x_2) + \cdots + f(x_n)}{n}

步驟 1: 使用凸函數(shù)的定義

函數(shù) f(x) 是凸的,意味著對于任意 x_1, x_2 \in I\lambda \in [0, 1]汰规,有:

f(\lambda x_1 + (1 - \lambda) x_2) \leq \lambda f(x_1) + (1 - \lambda) f(x_2)

這就是凸函數(shù)的核心性質(zhì)汤功。

步驟 2: 歸納法證明

基本情形: n = 2

我們首先考慮 n = 2 的情形,也就是說溜哮,證明以下不等式:

f\left( \frac{x_1 + x_2}{2} \right) \leq \frac{f(x_1) + f(x_2)}{2}

這正是凸函數(shù)的定義滔金。取 \lambda = \frac{1}{2}色解,我們有:

f\left( \frac{1}{2} x_1 + \frac{1}{2} x_2 \right) \leq \frac{1}{2} f(x_1) + \frac{1}{2} f(x_2)

因此,基本情況 n = 2 成立餐茵。

歸納假設:假設 n = k 時成立

假設對于任意 k 個點 x_1, x_2, \dots, x_k科阎,不等式:

f\left( \frac{x_1 + x_2 + \cdots + x_k}{k} \right) \leq \frac{f(x_1) + f(x_2) + \cdots + f(x_k)}{k}

成立。

歸納步驟:證明 n = k + 1 時成立

現(xiàn)在忿族,我們需要證明對于 k + 1 個點 x_1, x_2, \dots, x_{k+1}锣笨,有:

f\left( \frac{x_1 + x_2 + \cdots + x_{k+1}}{k+1} \right) \leq \frac{f(x_1) + f(x_2) + \cdots + f(x_{k+1})}{k+1}

為了證明這一點,我們將 n = k + 1 的問題轉化為兩個部分道批,利用歸納假設和凸函數(shù)的性質(zhì)错英。

首先,設 \bar{x}_k = \frac{x_1 + x_2 + \cdots + x_k}{k} 是前 k 個點的平均值隆豹。根據(jù)歸納假設走趋,我們知道:

f\left( \frac{x_1 + x_2 + \cdots + x_k}{k} \right) \leq \frac{f(x_1) + f(x_2) + \cdots + f(x_k)}{k}

接下來,我們將 \frac{x_1 + x_2 + \cdots + x_k + x_{k+1}}{k+1} 表示為兩個部分的加權平均:

\frac{x_1 + x_2 + \cdots + x_{k+1}}{k+1} = \frac{k}{k+1} \cdot \frac{x_1 + x_2 + \cdots + x_k}{k} + \frac{1}{k+1} \cdot x_{k+1}

即:

\frac{x_1 + x_2 + \cdots + x_{k+1}}{k+1} = \frac{k}{k+1} \bar{x}_k + \frac{1}{k+1} x_{k+1}

由于 f 是凸的噪伊,我們可以應用凸函數(shù)的定義,得到:

f\left( \frac{k}{k+1} \bar{x}_k + \frac{1}{k+1} x_{k+1} \right) \leq \frac{k}{k+1} f(\bar{x}_k) + \frac{1}{k+1} f(x_{k+1})

由歸納假設氮唯,f(\bar{x}_k) \leq \frac{f(x_1) + \cdots + f(x_k)}{k}鉴吹,因此:

f\left( \frac{x_1 + x_2 + \cdots + x_{k+1}}{k+1} \right) \leq \frac{k}{k+1} \cdot \frac{f(x_1) + f(x_2) + \cdots + f(x_k)}{k} + \frac{1}{k+1} f(x_{k+1})

將右邊的兩項合并,得到:

f\left( \frac{x_1 + x_2 + \cdots + x_{k+1}}{k+1} \right) \leq \frac{f(x_1) + f(x_2) + \cdots + f(x_{k+1})}{k+1}

結論

通過歸納法惩琉,我們證明了對于任意正整數(shù) n豆励,不等式:

f\left( \frac{x_1 + x_2 + \cdots + x_n}{n} \right) \leq \frac{f(x_1) + f(x_2) + \cdots + f(x_n)}{n}

對于任意凸函數(shù) f(x) 和任意 x_1, x_2, \dots, x_n 成立。


冪平均函數(shù)

假設x_1,x_2,\cdots,x_n>0,則冪平均函數(shù)定義如下:
M(r)=(\frac{x_1^r+x_2^r+\cdots+x_n^r}{n})^{\frac{1}{r}}, (當r \neq 0時)

M(0)=\sqrt[n]{x_1x_2\cdots x_n}
接下來我們說明這樣一個冪平均函數(shù)在實數(shù)集上是連續(xù)并且單調(diào)遞增的瞒渠。


冪平均函數(shù)的單調(diào)性證明良蒸。

取函數(shù)f(x)=x^{\frac{\beta}{\alpha}}(x>0),則

f''(x)=\frac{\beta}{\alpha}(\frac{\beta}{\alpha}-1)x^{\frac{\beta}{\alpha}-1}

①當0< \alpha <\beta時伍玖,f''(x)>0嫩痰,此時f(x)是一個凸函數(shù)。那么根據(jù)我們的引理琴生不等式窍箍,有
f(\frac{a_1^\alpha+a_2^\alpha+\cdots+a_n^\alpha}{n})\leq \frac{f(a_1^\alpha)+f(a_2^\alpha)+\cdots+f(a_n^\alpha)}{n}
f(x)的具體形式帶入串纺,隨后兩邊\frac{1}{\beta}次方.
可以得到
(\frac{x_1^\alpha+x_2^\alpha+\cdots+x_n^\alpha}{n})^{\frac{1}{\alpha}}\leq(\frac{x_1^\beta+x_2^\beta+\cdots+x_n^\beta}{n})^{\frac{1}{\beta}}
這樣就證明了M(x)(0,+\infty)這個區(qū)間上是遞增的。

②當\alpha<\beta<0時椰棘,f''(x)<0纺棺,此時f(x)是一個凹函數(shù)。那么根據(jù)我們的引理琴生不等式邪狞,有
f(\frac{a_1^\alpha+a_2^\alpha+\cdots+a_n^\alpha}{n})\geq \frac{f(a_1^\alpha)+f(a_2^\alpha)+\cdots+f(a_n^\alpha)}{n}
f(x)的具體形式帶入祷蝌,隨后兩邊\frac{1}{\beta}次方.這時候需要注意\frac{1}{\beta}是一個負數(shù),因此要改變不等式符號的方向帆卓。
可以得到
(\frac{x_1^\alpha+x_2^\alpha+\cdots+x_n^\alpha}{n})^{\frac{1}{\alpha}}\leq(\frac{x_1^\beta+x_2^\beta+\cdots+x_n^\beta}{n})^{\frac{1}{\beta}}
這樣就證明了M(x)(-\infty巨朦,0)這個區(qū)間上是遞增的米丘。

于是我們就得到了如下的均值不等式鏈:
M(-1)\leq M(0)\leq M(1)\leq M(2)
他們從左到右依次被稱為a_1,a_2,\cdots,a_n的調(diào)和均值,幾何均值罪郊,算術均值蠕蚜,平方均值。

?著作權歸作者所有,轉載或內(nèi)容合作請聯(lián)系作者
  • 序言:七十年代末悔橄,一起剝皮案震驚了整個濱河市靶累,隨后出現(xiàn)的幾起案子,更是在濱河造成了極大的恐慌癣疟,老刑警劉巖挣柬,帶你破解...
    沈念sama閱讀 216,544評論 6 501
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件,死亡現(xiàn)場離奇詭異睛挚,居然都是意外死亡邪蛔,警方通過查閱死者的電腦和手機,發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 92,430評論 3 392
  • 文/潘曉璐 我一進店門扎狱,熙熙樓的掌柜王于貴愁眉苦臉地迎上來侧到,“玉大人,你說我怎么就攤上這事淤击〗晨梗” “怎么了?”我有些...
    開封第一講書人閱讀 162,764評論 0 353
  • 文/不壞的土叔 我叫張陵污抬,是天一觀的道長汞贸。 經(jīng)常有香客問我,道長印机,這世上最難降的妖魔是什么矢腻? 我笑而不...
    開封第一講書人閱讀 58,193評論 1 292
  • 正文 為了忘掉前任,我火速辦了婚禮射赛,結果婚禮上多柑,老公的妹妹穿的比我還像新娘。我一直安慰自己楣责,他們只是感情好顷蟆,可當我...
    茶點故事閱讀 67,216評論 6 388
  • 文/花漫 我一把揭開白布。 她就那樣靜靜地躺著腐魂,像睡著了一般帐偎。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發(fā)上蛔屹,一...
    開封第一講書人閱讀 51,182評論 1 299
  • 那天削樊,我揣著相機與錄音,去河邊找鬼。 笑死甸箱,一個胖子當著我的面吹牛,可吹牛的內(nèi)容都是我干的迅脐。 我是一名探鬼主播,決...
    沈念sama閱讀 40,063評論 3 418
  • 文/蒼蘭香墨 我猛地睜開眼豌骏,長吁一口氣:“原來是場噩夢啊……” “哼!你這毒婦竟也來了隐锭?” 一聲冷哼從身側響起窃躲,我...
    開封第一講書人閱讀 38,917評論 0 274
  • 序言:老撾萬榮一對情侶失蹤钦睡,失蹤者是張志新(化名)和其女友劉穎蒂窒,沒想到半個月后荞怒,有當?shù)厝嗽跇淞掷锇l(fā)現(xiàn)了一具尸體洒琢,經(jīng)...
    沈念sama閱讀 45,329評論 1 310
  • 正文 獨居荒郊野嶺守林人離奇死亡,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點故事閱讀 37,543評論 2 332
  • 正文 我和宋清朗相戀三年褐桌,在試婚紗的時候發(fā)現(xiàn)自己被綠了纬凤。 大學時的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片撩嚼。...
    茶點故事閱讀 39,722評論 1 348
  • 序言:一個原本活蹦亂跳的男人離奇死亡挖帘,死狀恐怖完丽,靈堂內(nèi)的尸體忽然破棺而出拇舀,到底是詐尸還是另有隱情,我是刑警寧澤骄崩,帶...
    沈念sama閱讀 35,425評論 5 343
  • 正文 年R本政府宣布,位于F島的核電站要拂,受9級特大地震影響,放射性物質(zhì)發(fā)生泄漏脱惰。R本人自食惡果不足惜,卻給世界環(huán)境...
    茶點故事閱讀 41,019評論 3 326
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望旧乞。 院中可真熱鬧,春花似錦尺栖、人聲如沸。這莊子的主人今日做“春日...
    開封第一講書人閱讀 31,671評論 0 22
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽皮胡。三九已至赏迟,卻和暖如春,著一層夾襖步出監(jiān)牢的瞬間锌杀,已是汗流浹背甩栈。 一陣腳步聲響...
    開封第一講書人閱讀 32,825評論 1 269
  • 我被黑心中介騙來泰國打工糕再, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留,地道東北人突想。 一個月前我還...
    沈念sama閱讀 47,729評論 2 368
  • 正文 我出身青樓,卻偏偏與公主長得像猾担,于是被迫代替她去往敵國和親。 傳聞我的和親對象是個殘疾皇子绑嘹,可洞房花燭夜當晚...
    茶點故事閱讀 44,614評論 2 353

推薦閱讀更多精彩內(nèi)容

  • 和迭不等式 (NEQ. Hardy) G.H.Hardy 提出一個關于序列加權平均值與個體值冪次和之間關系的凸函數(shù)...
    上海山米閱讀 60評論 0 0
  • 符號說明 矩陣:矩陣的譜范數(shù): 矩陣的核范數(shù): 矩陣的F范數(shù)表示矩陣的秩工腋。 [Jensen’s inequalit...
    饅頭and花卷閱讀 440評論 0 0
  • 一種基于均值不等式的Listwise損失函數(shù) 1 前言 1.1 Learning to Rank 簡介 Learn...
    infgrad閱讀 1,732評論 0 1
  • 動態(tài)規(guī)劃相關通常需要排除一些不可能的決策點或者排序,以滿足最優(yōu)子結構擅腰。這通常在常數(shù)優(yōu)化時被 oier 考慮到。 四...
    Loboqui閱讀 972評論 0 0
  • 基礎準備 1.定比分點公式 點為上一點筋现,則設,則 證明: 2.凸函數(shù)性質(zhì) 設,為凸函數(shù)一膨,則 3.markov不等式...
    熱愛生活的大川閱讀 1,072評論 0 0