簡森不等式

琴生不等式

Template:地區用詞，或稱延森不等式，以丹麥數學家約翰·延森命名。它給出積分的凸函數值和凸函數的積分值間的關係，在此不等式最簡單形式中，闡明了對一平均做凸函數轉換，會小於等於先做凸函數轉換再平均。若將簡森不等式應用在二點上，就回到了凸函數的基本性質：过一个凸函数上任意两点所作割线一定在这两点间的函数图象的上方，即：

$tf(x_1)+(1-t)f(x_2)\ge f(t{x}_1+(1-t)x_2),0\le t\le 1.$

一般形式

延森不等式可以用測度論或概率論的語言給出。這兩種方式都表明同一個很一般的結果。

測度論的版本

假設$\mu$是集合$\mathrm{\Omega }$的正測度，使得$\mu (\mathrm{\Omega })=1$。若$g$是勒貝格可積的實值函數，而$\phi$是在$g$的值域上定義的凸函數，則

$\phi \left(\underset{\mathrm{\Omega }}{\int }gd\mu \right)\le \underset{\mathrm{\Omega }}{\int }\phi \circ gd\mu$

概率論的版本

以概率論的名詞，$\mu$是個概率測度。函數$g$換作實值隨機變數$X$（就純數學而言，兩者沒有分別）。在$\mathrm{\Omega }$空間上，任何函數相對於概率測度$\mu$的積分就成了期望值。這不等式就說，若$\phi$是任一凸函數，則

$\phi (E(X))\le E(\phi (X))$

特例

機率密度函數的形式

假設$\mathrm{\Omega }$是實數軸上的可測子集，而$f(x)$是非負函數，使得

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}f(x)dx=1.$

以概率論的語言，$f$是個機率密度函數。

延森不等式变成以下關於凸積分的命題：

若$g$是任一實值可測函數，$\phi$在$g$的值域中是凸函數，則

$\phi (\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}g(x)f(x)dx)\le \underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\phi (g(x))f(x)dx.$

若$g(x)=x$，則這形式的不等式簡化成一個常用特例：

$\phi (\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}xf(x)dx)\le \underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\phi (x)f(x)dx.$

有限形式

若$\mathrm{\Omega }$是有限集合$\{x_1,x_2,\dots ,x_n\}$，而$\mu$是$\mathrm{\Omega }$上的正規計數測度，則不等式的一般形式可以簡單地用和式表示：

$\phi (\sum _{i=1}^{n}g(x_i){\lambda }_i)\le \sum _{i=1}^n\phi (g(x_i)){\lambda }_i,$

其中${\lambda }_1+{\lambda }_2+\cdots +{\lambda }_n=1,{\lambda }_i\ge 0$。

若$\phi$是凹函數，只需把不等式符號調轉。

假設$x_1,x_2,\dots ,x_n$是正實數，$g(x)=x$，${\lambda }_i=1/n$及$\phi (x)=\log (x)$。上述和式便成了

$\log \left(\sum _{i=1}^n\frac{x_i}{n}\right)\ge \sum _{i=1}^n\frac{\log (x_i)}{n},$

兩邊取取以$e$为底数的指数函数就得出熟悉的-{zh-cn:均值不等式; zh-hant:平均數不等式}-：

$\frac{x_1+x_2+\cdots +x_n}{n}\ge \sqrt[n]{x_1{x}_2\cdots x_n}.$

這不等式也有無限項的離散形式。

統計物理學

統計物理學中，若凸函數是指數函數，延森不等式特別重要：

$e^{⟨X⟩}\le ⟨e^X⟩,$

其中方括號表示期望值，是以隨機變數X的某個概率分佈算出。這個情形的證明很簡單（參見Chandler, Sec. 5.5）：在以下等式的第三個指數函數

$⟨e^X⟩=e^{⟨X⟩}⟨e^{X-⟨X⟩}⟩$

套用不等式

$e^X\ge 1+X,$

即得出所求的不等式。

參考書目

• Template:Book reference
• Template:Book reference

外部連結

• MathWorld上的延森不等式網頁 Template:Wayback