これは、累積分布関数がlog-concaveになるためのほぼ条件です。これは、多くのアプリケーションで非常に有用なプロパティです。しかし、ほとんど。
関数は、F(x)
∂2lnF(x)∂x2≤0⇒F′′(x)F(x)−[F′(x)]2≤0
書き込み面でϕ(x)F(x)
ϕ(x)≡F′(x)F(x)+xF′(x)
そして私たちは欲しい
∂ϕ(x)∂x≤0⇒F′′(x)(F(x)+xF′(x))−F′(x)(F′(x)+F′(x)+xF′′(x))≤0
⇒F′′(x)F(x)−2[F′(x)]2≤0
...因子存在するため、ログの凹みには不十分です。 2
条件が満たされていると仮定します。割って並べ替えると、[F(x)]2
∂ϕ(x)∂x≤0⇒∂2lnF(x)∂x2≤(F′(x)F(x))2=(∂lnF(x)∂x)2