簡森不等式[1](英語:Jensen's inequality,中國大陸稱作琴生不等式,台灣稱作簡森不等式[1]),或稱延森不等式,以丹麥數學家約翰·延森命名。它給出積分的凸函數值和凸函數的積分值間的關係,在此不等式最簡單形式中,闡明了對一平均做凸函數轉換,會小於等於先做凸函數轉換再平均。若將簡森不等式應用在二點上,就回到了凸函數的基本性質:過一個凸函數上任意兩點所作割線一定在這兩點間的函數圖象的上方,即:
一般形式
假設是集合的正測度,使得。若是勒貝格可積的實值函數,而是在的值域上定義的凸函數,則
以概率論的名詞,是個概率測度。函數換作實值隨機變量(就純數學而言,兩者沒有分別)。在空間上,任何函數相對於概率測度的積分就成了期望值。這不等式就說,若是任一凸函數,則
特例
假設是實軸上的可測子集,而是非負函數,使得
以概率論的語言,是個概率密度函數。
延森不等式變成以下關於凸積分的命題:
若是任一實值可測函數,在的值域中是凸函數,則
若,則這形式的不等式簡化成一個常用特例:
若是有限集合,而是上的正規計數測度,則不等式的一般形式可以簡單地用和式表示:
其中。
若是凹函數,只需把不等式符號調轉。
假設是正實數,,及。上述和式便成了
這不等式也有無限項的離散形式。
統計物理學中,若凸函數是指數函數,延森不等式特別重要:
其中方括號表示期望值,是以隨機變量X的某個概率分佈算出。這個情形的證明很簡單(參見Chandler, Sec. 5.5):在以下等式的第三個指數函數
套用不等式
即得出所求的不等式。
參考書目
- Walter Rudin. Real and Complex Analysis. McGraw-Hill. 1987. ISBN 0-07-054234-1.
- David Chandler. Introduction to Modern Statistical Mechanics. Oxford. 1987. ISBN 0-19-504277-8.
註釋
外部連結
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.