Bất đẳng thức Jensen

Minh họa trực quan của bất đẳng thức Jensen: Trên đoạn lồi của hàm số, dây cung nối hai điểm bất kỳ trên đồ thị hàm số đều nằm trên đoạn đồ thị nằm giữa hai điểm đó.

Trong toán học, bất đẳng thức Jensen (tiếng Anh: Jensen's inequality), được đặt theo tên nhà toán học người Đan Mạch Johan Jensen, biểu hiện mối quan hệ giữa tổng các giá trị của một hàm lồi. Bất đẳng thức này được chứng minh bởi Jensen vào năm 1906,^[1] dựa trên một chứng minh từ trước đó cho hàm khả vi cấp hai của Otto Hölder vào năm 1889.^[2] Bất đẳng thức này xuất hiện ở nhiều dạng khác nhau dựa trên sự cần thiết, một vài trong số chúng sẽ được trình bày dưới đây. Trong ngữ nghĩa đơn giản nhất, bất đẳng thức Jensen khẳng định rằng giá trị hàm lồi của một tổ hợp lồi luôn nhỏ hơn hoặc bằng tổ hợp lồi của các giá trị tương ứng, và khi hàm số được xét là hàm lõm, bất đẳng thức sẽ đổi chiều.^[3]

Bất đẳng thức Jensen khi đó cũng khẳng định đối với một đoạn đồ thị của một hàm lồi, dây cung nối hai điểm đầu và cuối sẽ luôn nằm phía trên đoạn đồ thị đó, đây là trường hợp hai biến số của bất đẳng thức Jensen: Dây cung biểu thị cho tổ hợp lồi của giá trị hàm lồi (với t ∈ [0,1]),

${\displaystyle tf(x_{1})+(1-t)f(x_{2}),}$

còn phần đồ thị hàm số biểu thị cho giá trị hàm số của tổ hợp lồi,

${\displaystyle f(tx_{1}+(1-t)x_{2}).}$

Khi đó, ta có bất đẳng thức Jensen:

${\displaystyle f(tx_{1}+(1-t)x_{2})\leq tf(x_{1})+(1-t)f(x_{2}).}$

Trong lý thuyết xác suất, bất đẳng thức Jensen được phát biểu dưới dạng: Nếu X là một biến ngẫu nhiên và φ là hàm lồi, khi đó

${\displaystyle \varphi (\operatorname {E} [X])\leq \operatorname {E} \left[\varphi (X)\right].}$

Sự chênh lệch giữa hai đại lượng của bất đẳng thức ${\displaystyle \operatorname {E} \left[\varphi (X)\right]-\varphi \left(\operatorname {E} [X]\right)}$ được gọi là chênh lệch Jensen.^[4]

Xem thêm

• Bất đẳng thức Popoviciu
• Bất đẳng thức Karamata

Chú thích

1. Jensen, J. L. W. V. (1906). "Sur les fonctions convexes et les inégalités entre les valeurs moyennes". Acta Mathematica. 30 (1): 175–193. doi:10.1007/BF02418571.
2. Guessab, A.; Schmeisser, G. (2013). "Necessary and sufficient conditions for the validity of Jensen's inequality". Archiv der Mathematik. 100 (6): 561–570. doi:10.1007/s00013-013-0522-3. MR 3069109. S2CID 56372266.
3. Dekking, F.M.; Kraaikamp, C.; Lopuhaa, H.P.; Meester, L.E. (2005). A Modern Introduction to Probability and Statistics: Understanding Why and How. Springer Texts in Statistics. London: Springer. doi:10.1007/1-84628-168-7. ISBN 978-1-85233-896-1.
4. Gao, Xiang; Sitharam, Meera; Roitberg, Adrian (2019). "Bounds on the Jensen Gap, and Implications for Mean-Concentrated Distributions" (PDF). The Australian Journal of Mathematical Analysis and Applications. 16 (2). arXiv:1712.05267.

Tham khảo

• David Chandler (1987). Introduction to Modern Statistical Mechanics. Oxford. ISBN 0-19-504277-8.
• Tristan Needham (1993) "A Visual Explanation of Jensen's Inequality", American Mathematical Monthly 100(8):768–71.
• Nicola Fusco, Paolo Marcellini, Carlo Sbordone (1996). Analisi Matematica Due. Liguori. ISBN 978-88-207-2675-1.
• Walter Rudin (1987). Real and Complex Analysis. McGraw-Hill. ISBN 0-07-054234-1.
• Sáng tạo Bất đẳng thức, Phạm Kim Hùng, Nhà xuất bản Tri Thức, năm 2006

Liên kết ngoài

• Hàm lồi (tiếng Anh), Wolfram|Alpha