イェンゼンの不等式の証明と等号成立条件について考える
勉強を進めていて,確率論の文脈におけるイェンゼンの不等式(Jensen's inequality)の証明が気になってモヤモヤしてしまいました.グラフをイメージすれば直感的には理解しやすいですが,きちんとした(?)数学的な証明を調べることにしました.また,応用で用いるにあたり等号の成立条件を気にしなければならない場合を目にしたので,その点についても考えることにしました.
問題を設定するため,以下の定義をしておきます.Williams(1991)と文献[2]を参考にしています.
--------------------------------------------------------------------------------------------------------------------------------------------
定義.
を 上の開区間とする. について,関数 が以下を満たすとき, は凸(convex)であるという.
について以下を満たすとき, は狭義凸(strictly convex)であるという.
について以下を満たすとき, はアフィン(affine)であるという.
--------------------------------------------------------------------------------------------------------------------------------------------
アフィン関数は凸関数です.また,以下の証明で示すように は凸ならば 上で連続になります.
以上の設定のもとで,本記事の1つ目の目的に進みます.以下の定理と証明は,Williams(1991)からほぼ引用したものです.
--------------------------------------------------------------------------------------------------------------------------------------------
定理. (イェンゼンの不等式)
を の開区間 上の凸関数とし,確率変数 が
を満たすとする.このとき以下が成り立つ.
証明.
は凸なので, について以下が成り立つ.
これより は で連続であり, は任意にとれるので, は 上で連続であることがわかる(文献[3]に参考になる絵があります).よって について以下を満たす極限 が存在する.
と は非減少関数なので,あらゆる について を任意にとって は凸なので以下を得る.
特に, として
(※)
とできるので,両辺の期待値をとって以下を得る.
(※※)
(証明終わり)
--------------------------------------------------------------------------------------------------------------------------------------------
以下を準備します.
がほどんど確実に定数,すなわち
本記事の2つ目の目的に進みます.等号の成立条件について考えていきます.上の証明から以下のことがわかります(文献[4]を参考にしています).
・ がほどんど確実に定数のとき,( (※)に関係なく)(※※)で等号が成り立ちます.
・(※)で等号が成り立つとき,(※※)で等号が成り立ちます.
・ が(凸であり)狭義凸のとき,(※)で等号は成り立ちません.
・ が(凸であり)狭義凸でないとき,(※)で等号は成り立つ場合があります.
・ が(凸であり)(狭義凸でなく)アフィンのとき,(※)で等号は成り立ちます.
まとめると,以下の結論を得ます.
かつ は(凸であり)狭義凸
かつ は(凸であり)狭義凸でない
かつ は(凸であり)(狭義凸でなく)アフィン
かつ は(凸であり)狭義凸
かつ は(凸であり)狭義凸でない となる場合がある
かつ は(凸であり)(狭義凸でなく)アフィン
以上,イェンゼンの不等式の証明と等号成立条件について考えてみました.
参考文献
[1] Williams, D. (1991), Probability with Martingales, Cambridge University Press.
[2] Princeton University Amir Ali Ahmadi先生のノート http://www.princeton.edu/~amirali/Public/Teaching/ORF523/S16/ORF523_S16_Lec7_gh.pdf
[3] Mathematics Stack Exchange https://math.stackexchange.com/questions/258511/proof-of-every-convex-function-is-continuous
[4] Mathematics Stack Exchange https://math.stackexchange.com/questions/1160095/convexity-and-equality-in-jensen-inequality
[5] Wikipedia Degenerate distributionのページ https://en.wikipedia.org/wiki/Degenerate_distribution
[6] Stanford University Andrew Ng先生のノート http://cs229.stanford.edu/notes/cs229-notes8.pdf