Fornisci la prova che è convesso . Qui, e sono rispettivamente il normale PDF e CDF standard. ∀x>0ϕ$Q\left(x\right)=x^{2}+x\frac{\phi\left(x\right)}{\Phi\left(x\right)}$$\forall x>0$$\phi$$\mathbf{\Phi}$

PASSAGGI PROVATI

1) METODO DI CALCOLO

Ho provato il metodo di calcolo e ho una formula per il secondo derivato, ma non sono in grado di dimostrare che è positivo $\forall x > 0$ . Per favore fatemi sapere se avete bisogno di ulteriori dettagli.

Infine,

$$\begin{eqnarray*} \text{Let }Q\left(x\right)=x^{2}+x\frac{\phi\left(x\right)}{\Phi\left(x\right)} \end{eqnarray*}$$ ∂ Q ( x $$\begin{eqnarray*} \frac{\partial Q\left(x\right)}{\partial x} & = & 2x+x\left[-\frac{x\phi\left(x\right)}{\Phi\left(x\right)}-\left\{ \frac{\phi\left(x\right)}{\Phi\left(x\right)}\right\} ^{2}\right]+\frac{\phi\left(x\right)}{\Phi\left(x\right)} \end{eqnarray*}$$ ∂ 2 Q(x $$\begin{eqnarray*} \left.\frac{\partial Q\left(x\right)}{\partial x}\right|_{x=0} & = & \frac{\phi\left(0\right)}{\Phi\left(0\right)}>0 \end{eqnarray*}$$ $$\begin{eqnarray*} \frac{\partial^{2}Q\left(x\right)}{\partial x^{2}} & = & 2+x\phi\left(x\right)\left[\frac{-\Phi^{2}\left(x\right)+x^{2}\Phi^{2}\left(x\right)+3x\phi\left(x\right)\Phi\left(x\right)+2\phi^{2}\left(x\right)}{\Phi^{3}\left(x\right)}\right]+2\left[-x\frac{\phi\left(x\right)}{\Phi\left(x\right)}-\left\{ \frac{\phi\left(x\right)}{\Phi\left(x\right)}\right\} ^{2}\right] \end{eqnarray*}$$ $$\begin{eqnarray*} & = & 2+\phi\left(x\right)\left[\frac{x^{3}\Phi^{2}\left(x\right)+3x^{2}\phi\left(x\right)\Phi\left(x\right)+2x\phi^{2}\left(x\right)-3x\Phi^{2}\left(x\right)-2\phi\left(x\right)\Phi\left(x\right)}{\Phi^{3}\left(x\right)}\right]\\ \end{eqnarray*}$$ Let, K(x)=2Φ3(x)+2xϕ3(x)+Φ2(x)ϕ(x)x[x2-3]+ϕ2(x)Φ(x)[3x2-2] $$\begin{eqnarray*} & = & \left[\frac{2\Phi^{3}\left(x\right)+x^{3}\Phi^{2}\left(x\right)\phi\left(x\right)+3x^{2}\phi^{2}\left(x\right)\Phi\left(x\right)+2x\phi^{3}\left(x\right)-3x\Phi^{2}\left(x\right)\phi\left(x\right)-2\phi^{2}\left(x\right)\Phi\left(x\right)}{\Phi^{3}\left(x\right)}\right] \end{eqnarray*}$$ $$\begin{eqnarray*} \text{Let, }K\left(x\right)=2\Phi^{3}\left(x\right)+2x\phi^{3}\left(x\right)+\Phi^{2}\left(x\right)\phi\left(x\right)x\left[x^{2}-3\right]+\phi^{2}\left(x\right)\Phi\left(x\right)\left[3x^{2}-2\right] \end{eqnarray*}$$ Perx≥ $$\begin{eqnarray*} K\left(0\right)=\frac{1}{4}-\frac{1}{2\pi}>0 \end{eqnarray*}$$ . Perx∈ ( 0,$x\geq\sqrt{3},K\left(x\right)>0$, K ′ ( x $x\in\left(0,\sqrt{3}\right)$ $$\begin{eqnarray*} K'\left(x\right) & = & 6\Phi^{2}\left(x\right)\phi\left(x\right)+2\phi^{3}\left(x\right)-6x^{2}\phi^{3}\left(x\right)+2\Phi\left(x\right)\phi^{2}\left(x\right)\left[x^{3}-3x\right]-\Phi^{2}\left(x\right)\phi\left(x\right)\left[x^{4}-3x^{2}\right]+\Phi^{2}\left(x\right)\phi\left(x\right)\left[3x^{2}-3\right]\\ & & -2\phi^{2}\left(x\right)\Phi\left(x\right)\left[3x^{3}-2x\right]+\phi^{3}\left(x\right)\left[3x^{2}-2\right]+\phi^{2}\left(x\right)\Phi\left(x\right)6x \end{eqnarray*}$$ $$\begin{eqnarray*} K'\left(x\right) & = & 6\Phi^{2}\left(x\right)\phi\left(x\right)-3\Phi^{2}\left(x\right)\phi\left(x\right)+2\phi^{3}\left(x\right)-2\phi^{3}\left(x\right)+6x\Phi\left(x\right)\phi^{2}\left(x\right)-6x\Phi\left(x\right)\phi^{2}\left(x\right)+3x^{2}\Phi^{2}\left(x\right)\phi\left(x\right)+3x^{2}\Phi^{2}\left(x\right)\phi\left(x\right)\\ & & +2x^{3}\Phi\left(x\right)\phi^{2}\left(x\right)-6x^{3}\Phi\left(x\right)\phi^{2}\left(x\right)+3x^{2}\phi^{3}\left(x\right)-6x^{2}\phi^{3}\left(x\right)+4x\Phi\left(x\right)\phi^{2}\left(x\right)-x^{4}\Phi^{2}\left(x\right)\phi\left(x\right) \end{eqnarray*}$$ $$\begin{eqnarray*} & = & 3\Phi^{2}\left(x\right)\phi\left(x\right)+6x^{2}\Phi^{2}\left(x\right)\phi\left(x\right)+4x\Phi\left(x\right)\phi^{2}\left(x\right)-3x^{2}\phi^{3}\left(x\right)-x^{4}\Phi^{2}\left(x\right)\phi\left(x\right)-4x^{3}\Phi\left(x\right)\phi^{2}\left(x\right) \end{eqnarray*}$$ $$\begin{eqnarray*} =\phi\left(x\right)\left[3\Phi^{2}\left(x\right)+x\left\{ 6x\Phi^{2}\left(x\right)-3x\phi^{2}\left(x\right)-x^{3}\Phi^{2}\left(x\right)+4\Phi\left(x\right)\phi\left(x\right)\left[1-x^{2}\right]\right\} \right] \end{eqnarray*}$$

2) METODO GRAFICO / NUMERICO

Sono stato anche in grado di vederlo numericamente e visivamente tracciando i grafici come mostrato sotto; ma sarebbe utile avere una prova adeguata.

$Q$$x \ge 0$$\Phi$$\phi$

Per definizione,

$$\frac{d}{dx}\Phi(x) = \phi(x) = \frac{1}{\sqrt{2\pi}} \exp(-x^2/2).$$

$$\frac{d}{dx}\phi(x) = -x \phi(x).$$

Applicando questo risultato ad altri rendimenti derivati

$$\frac{d^2}{dx^2}\phi(x) = (-1 + x^2)\phi(x).$$

Usando questi risultati, insieme alle solite regole di differenziazione del prodotto e del quoziente, troviamo che il numeratore della seconda derivata è la somma di sei termini. (Questo risultato è stato ottenuto intorno al centro della domanda.) È conveniente disporre i termini in tre gruppi:

$$\eqalign{ \Phi(x)^3\frac{d^2}{dx^2}Q(x)= &2 x \phi(x)^3 \\ &+\,3 x^2 \phi(x)^2 \Phi(x)+x^3 \phi(x) \Phi(x)^2 \\ &+\,\Phi(x) \left(-2 \phi(x)^2-3 x \phi(x) \Phi(x)+2 \Phi(x)^2\right). }$$

$\phi$$\Phi$$x\ge 0$

$$R(x) = -2 \phi(x)^2-3 x \phi(x) \Phi(x)+2 \Phi(x)^2.$$

Esistono molti modi per dimostrare che questo fattore non può essere negativo. Uno è da notare che

$$R(0) = -2\phi(0) + 2\Phi(0) = 1 - \sqrt{\frac{2}{\pi}} \gt 0.$$

La differenziazione - usando le stesse semplici tecniche di prima - dà

$$\frac{d}{dx} R(x) = \phi(x)(x \phi(x) + (1 + 3x^2)\Phi(x))$$

$x\ge 0$$R(x)$$[0, \infty)$$R(0) \gt 0$$R(x)\gt 0$$x \ge 0$

$Q$$x \ge 0$