Estoy interesado en $Var(x | x\le \tau)$ está aumentando en $\tau$ , donde $x$ es alguna variable aleatoria con cdf diferenciable. Puedo demostrar que $E[x | x\le \tau]$ está aumentando en $\tau$ , lo cual es intuitivamente obvio, mediante el siguiente cálculo: $$ \frac{\partial}{\partial\tau}E[x\mid x\le\tau]=\frac{\partial}{\partial\tau}\left(\int_{-\infty}^{\tau}\frac{xf(x)}{F(\tau)}dx\right)=\frac{f(\tau)}{F(\tau)}(\tau-E[x\mid x\le\tau]). $$
En una línea similar, probé lo siguiente: $$ \begin{align*} \frac{\partial}{\partial\tau}Var[x\mid x\le\tau] & =\frac{\partial}{\partial\tau}\left(E[x^{2}\mid x\le\tau]-E[x\mid x\le\tau]^{2}\right)\\ & =\frac{\partial}{\partial\tau}\left(\int_{-\infty}^{\tau}\frac{x^{2}f(x)}{F(\tau)}dx-(\int_{-\infty}^{\tau}\frac{x f(x)}{F(\tau)}dx)^{2}\right)\\ & =\frac{f(\tau)}{F(\tau)}\left[\tau^{2}-E[x^{2}\mid x\le\tau]-2(E[x\mid x\le\tau]-\tau)\right] \end{align*} $$
¿Es esto correcto? Tengo una duda porque (i) un resultado de simulación no coincide con la fórmula analítica que tengo aquí (aunque la derivada de $E[x\mid x\le \tau]$ se verifica mediante una simulación) y (ii) no está claro si $Var[x\mid x\le \tau]$ está aumentando en $\tau$ del resultado, aunque un montón de simulaciones sugieren que está aumentando. Si $Var(x\mid x\le \tau)$ no aumenta en general, ¿en qué condiciones aumentan? Por ejemplo, ¿qué pasa si $x$ se apoya en valores positivos?