Primera aproximación : EDIT: No me gusta mucho este, el segundo me parece mejor.Voy a escribir $a = -\frac{\mu}{\sigma}$ y $b = \frac{1-\mu}{\sigma}$ y asumir $\mu \neq 0$ .
$$I = \frac{1}{\sqrt{2\pi}D}\int_{a}^{b}\log\left(\sigma u+\mu\right)\exp\left(-\frac{1}{2}u^2\right)\mathrm{d}u.$$
Si $\mu \neq 0$ podemos reescribir $\log(\sigma u + \mu) = \log(\frac{1}{\mu}) + \log(1+\frac{\sigma}{\mu}u)$ . Dotaré $c := \frac{\sigma}{\mu}$ . Podemos dividir esto en dos integrales $I = I_1 + I_2$ , donde
$$ I_1 = \frac{1}{\sqrt{2\pi}D} \int_{a}^{b} -\log(\mu) \exp\left(-\frac{1}{2}u^2\right)\mathrm{d}u = \frac{-\log(\mu)}{D}\text{erf}(u)\Big|_{a}^{b},$$ y $$I_2 = \frac{1}{\sqrt{2\pi}D}\int_{a}^{b}\log\left(1+ cu\right)\exp\left(-\frac{1}{2}u^2\right)\mathrm{d}u.$$ Aquí veo dos posibilidades para continuar: Enchufar la expansión de taylor para $\log(1+cu)$ o la ampliación de taylor para $\exp(u)$ . Empezaré por la primera. Intercambiando suma e integral (que todavía no estoy seguro de que sea legal), e integrando por partes obtenemos \begin{align} I_2 &= \frac{1}{\sqrt{2\pi}D}\int_{a}^{b}\sum_{n=1}^{\infty} \frac{(-1)^n}{n} (cu)^n\exp\left(-\frac{1}{2}u^2\right)\mathrm{d}u \\ &=\frac{1}{\sqrt{2\pi}D}\sum_{n=1}^{\infty}\int_{a}^{b} \frac{(-c)^n}{n} u^n\exp\left(-\frac{1}{2}u^2\right)\mathrm{d}u\\ &=\frac{1}{D}\sum_{n=1}^{\infty} (-c)^n \left[ \frac{u^n}{n}\text{erf}(u)\Big|_{a}^{b} - \int_{a}^{b}u^{n-1}\text{erf}(u) \mathrm{d}u\right]\\ \end{align}
Buscando la última integral en esta tabla integral (página 5, número 7) obtenemos
\begin{align} I_2 = \frac{1}{D}\sum_{n=1}^{\infty} \frac{(-c)^n}{\sqrt{\pi}(n+1)} \left[ e^{-u^2}\sum_{k=0}^{l-1}\frac{\Gamma(\frac{n}{2}+1)}{\Gamma(\frac{n}{2}-k+1)} u^{n-2k} - (1-j)\Gamma\left(l+\frac{1}{2}\right)\text{erf}(u)\right]_{a}^{b} \end{align}
donde $j = 0$ o $j=1$ tal que $2l-j = n+1$ . Ahora, el segundo enfoque, que produce una suma mucho más bonita.
Segundo enfoque : A partir de
$$I = \frac{1}{\sqrt{2\pi\sigma^2}D}\int_{0}^{1}\log(x)\exp\left(-\frac{1}{2}\left(\frac{x-\mu}{\sigma}\right)^2\right)\mathrm{d}x$$
Voy a ampliar la función exponencial: \begin{align} \sqrt{2\pi\sigma}D\cdot I &= \int_{0}^{1} \log(x) \sum_{n=0}^{\infty} \frac{(-1)^n}{2^n \cdot n!}\left(\frac{x-\mu}{\sigma}\right)^{2n} \mathrm{d}x \\ &= \sum_{n=0}^{\infty} \frac{(-1)^n}{\sigma^{2n}\cdot 2^n \cdot n!} \int_{0}^{1} \left(x-\mu\right)^{2n} \log(x) \mathrm{d}x \\ &= \sum_{n=0}^{\infty} \frac{(-1)^n}{\sigma^{2n}\cdot 2^n \cdot n!} \sum_{k=0}^{2n} \binom{2n}{k}(-\mu)^{2n-k} \int_{0}^{1}x^{k} \log(x) \mathrm{d}x \\ \end{align}
Aplicando la fórmula $$\int x^{k}\ln x\,dx=\frac{x^{k+1}((k+1)\ln x-1)}{(k+1)^2}$$ obtenemos
$$ I = \frac{1}{\sqrt{2\pi\sigma^2}D} \sum_{n=0}^{\infty} \frac{(-1)^{n+1}}{\sigma^{2n}\cdot 2^n \cdot n!} \sum_{k=0}^{2n} \binom{2n}{k}(-\mu)^{2n-k} \frac{1}{(k+1)^2} $$
No es muy difícil ver que se permite intercambiar integral y suma usando Fubini. Podemos encontrar otra representación para $I$ : Utilizando el teorema del binomio, vemos que
$$ \int_{0}^{1}\int_{0}^{1} (xy - \mu)^n \mathrm{d}x\mathrm{d}y = \sum_{k=0}^{2n} \binom{2n}{k}(-\mu)^{2n-k} \frac{1}{(k+1)^2}$$
Así, podemos escribir \begin{align} I &= \frac{1}{\sqrt{2\pi\sigma^2}D} \sum_{n=0}^{\infty} \frac{(-1)^{n+1}}{\sigma^{2n}\cdot 2^n \cdot n!} \int_{0}^{1}\int_{0}^{1} (xy - \mu)^n \mathrm{d}x\mathrm{d}y \\ &= -\int_{0}^{1} \int_{0}^{1} \frac{1}{\sqrt{2\pi\sigma^2}D} \exp\left(-\frac{1}{2}\left(\frac{xy - \mu}{\sigma}\right)^2\right) \mathrm{d}x\mathrm{d}y \end{align} Ahora tenemos un integrando suave en nuestro dominio. Por lo tanto, debería ser posible obtener buenos resultados numéricos aplicando fórmulas de producto tensorial bidimensional de alto grado de las fórmulas de cuadratura univariante de Gauss-Legendre.
0 votos
¿Se supone que sus integrales son de $0$ a $\infty$ o de $-\infty$ a $\infty$ como los tiene usted?
0 votos
@SarthakC Me gustaría ver lo que sucede cuando es de $-\infty$ a $\infty$ pero si eso ayuda, supongamos por ahora que es de $0$ a $\infty$ . En el primer caso el resultado es complejo, ¿no?
0 votos
¿Qué es log (-1) para ti? ¿Qué rama toma?
0 votos
@Ian, bueno, es imaginario pero me gustaría ver cómo trabajamos en este caso. Vamos a simplificar las cosas. Por favor, déjame editar mi pregunta. Gracias por el comentario :)
0 votos
@SarthakC, gracias por el comentario; he editado mi pregunta. Vamos a hacer que los límites sean $0$ y $+\infty$ .
0 votos
¿tiene ciertos límites en minf? como pequeño/grande $\mu,\sigma$ ?
0 votos
@tired, por ahora, no puedo pensar en esos límites.
0 votos
@tired, he hecho algunas modificaciones importantes en mi pregunta original. Lo que realmente necesito es la integral de $0$ a $1$ , concedido que $f$ es el pdf de una distribución normal truncada. Espero que ahora esté más claro. También he iniciado una recompensa.Gracias por su tiempo.
0 votos
@Ian, he hecho algunas suposiciones adicionales; ¿podrías informarme sobre tu opinión al respecto? En realidad, lo que quiero calcular es el valor medio de la cantidad $\log(x)$ cuando $x$ se distribuye como una variable normal truncada en $(0,1)$ . ¿Crees que es una suposición/formulación significativa? Gracias por su tiempo :)