Esta es casi la condición para que la función de distribución acumulativa sea log-cóncava , que es una propiedad muy útil con muchas aplicaciones. Pero casi .
Una función F(x) es log-cóncavo si
∂2lnF(x)∂x2≤0⇒F′′(x)F(x)−[F′(x)]2≤0
Escribe en términos deϕ(x)F(x)
ϕ(x)≡F′(x)F(x)+xF′(x)
y queremos
∂ϕ(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
... que no es suficiente para la concavidad logarítmica, debido a la existencia del factor . 2
Suponga que la condición se cumple. Si dividimos entre y reorganizamos obtenemos[F(x)]2
∂ϕ(x)∂x≤0⇒∂2lnF(x)∂x2≤(F′(x)F(x))2=(∂lnF(x)∂x)2