El uso de diferenciación bajo el signo integral para calcular una integral definida

Question

Quiero calcular la integral $$\int^{\pi/2}_0\frac{\log(1+\sin\phi)}{\sin\phi}d\phi$$ using differentiation with respect to parameter in the integral $$\int^{\pi/2}_0\frac{\log(1+a\sin\phi)}{\sin\phi}d\phi$$

Sé que tengo que resolver de diferenciar en la integral y debo uso de un adecuado para la sustitución de integrands que involucran funciones trigonométricas pero no puedo completar la solución. ¿Podría usted ayudarme?

Answer 1

Consideremos la integral

\begin{align}I(\alpha)&=\int_0^{\Large\frac{\pi}{2}}\frac{\ln\,(1+\cos\alpha\,\sin\,\phi)}{\sin\,\phi}\;d\phi\quad\Rightarrow\quad\phi\mapsto \frac{\pi}{2}-\phi\\ &=\int_0^{\Large\frac{\pi}{2}}\frac{\ln\,(1+\cos\alpha\,\cos\,\phi)}{\cos\,\phi}\;d\phi, \qquad 0 < \alpha < \pi.\end{align}

La diferenciación $I(\alpha)$ con respecto al $\alpha$, tenemos

\begin{align} {I}'(\alpha) &= \int_0^{\Large\frac{\pi}{2}} \frac{\partial}{\partial\alpha} \left(\frac{\ln(1 + \cos\alpha \cos \phi)}{\cos \phi}\right)\,d\phi \\ &=-\int_0^{\Large\frac{\pi}{2}}\frac{\sin \alpha}{1+\cos \alpha \cos \phi}\,d\phi \\ &=-\int_0^{\Large\frac{\pi}{2}}\frac{\sin \alpha}{\left(\cos^2 \frac{\phi}{2}+\sin^2 \frac{\phi}{2}\right)+\cos \alpha\,\left(\cos^2\,\frac{\phi}{2}-\sin^2 \frac{\phi}{2}\right)}\,d\phi \\ &=-\frac{\sin\alpha}{1-\cos\alpha} \int_0^{\Large\frac{\pi}{2}} \frac{1}{\cos^2\frac{\phi}{2}}\frac{1}{\left[\left(\frac{1+\cos \alpha}{1-\cos \alpha}\right) +\tan^2 \frac{\phi}{2} \right]}\,d\phi \\ &=-\frac{2\,\sin\alpha}{1-\cos\alpha} \int_0^{\Large\frac{\pi}{2}}\,\frac{\frac{1}{2}\,\sec^2\,\frac{\phi}{2}}{\left[\,\left(\dfrac{2\,\cos^2\,\frac{\alpha}{2}}{2\,\sin^2\,\frac{\alpha}{2}}\right) + \tan^2\,\frac{\phi}{2} \right]} \,d\phi \\ &=-\frac{2\left(2\,\sin\,\frac{\alpha}{2}\,\cos\,\frac{\alpha}{2}\right)}{2\,\sin^2\,\frac{\alpha}{2}}\,\int_0^{\Large\frac{\pi}{2}}\,\frac{1}{\left[\left(\dfrac{\cos \frac{\alpha}{2}}{\sin\,\frac{\alpha}{2}}\right)^2\,+\,\tan^2\,\frac{\phi}{2}\,\right]}\,d\left(\tan\,\frac{\phi}{2}\right)\\ &=-2\cot \frac{\alpha}{2}\,\int_0^{\Large\frac{\pi}{2}}\,\frac{1}{\left[\,\cot^2\,\frac{\alpha}{2} + \tan^2\,\frac{\phi}{2}\,\right]}\,d\left(\tan \frac{\phi}{2}\right)\,\\ &=-2\,\left.\tan^{-1} \left(\tan \frac{\alpha}{2} \tan \frac{\phi}{2} \right) \right|_0^{\Large\frac{\pi}{2}}\\ &=-\alpha \end{align}

Por lo tanto:

$$I(\alpha) = C - \frac{\alpha^2}{2}$$

Sin embargo, por definición, $I\left(\frac{\pi}{2}\right) = 0$, por lo tanto $C = \dfrac{\pi^2}{8}$ y

$$I(\alpha) = \frac{\pi^2}{8}-\frac{\alpha^2}{2}.$$

La integral que queremos evaluar es

$$I(0) = \int_0^{\Large\frac{\pi}{2}}\frac{\ln\,(1+\sin\,\phi)}{\sin\,\phi}\;d\phi=\frac{\pi^2}{8}.$$

Answer 2

Definir

$$I(a) = \int_0^{\pi/2} d\phi \frac{\log{(1+a\sin{\phi})}}{\sin{\phi}} $$

Entonces

$$I'(a) = \int_0^{\pi/2} \frac{d\phi}{1+a\sin{\phi}} $$

Para evaluar la segunda integral, sub $t=\tan{\phi/2}$. A continuación, $d\phi = 2/(1+t^2) dt$ (por qué?), y $\sin{\phi} = 2 t/(1+t^2)$ (¿por qué otra vez?), y la integral es

$$I'(a) = 2 \int_0^1 \frac{dt}{1+t^2} \frac1{1+2 a t/(1+t^2)} = 2 \int_0^1 \frac{dt}{1+2 a t+t^2}$$

Esto es fácilmente evaluados por completar el cuadrado en el denominador:

$$\begin{align}I'(a) &= 2 \int_0^1 \frac{dt}{(t+a)^2+1-a^2} \\ &= \frac{2}{\sqrt{1-a^2}} \left [\arctan{\frac{t+a}{\sqrt{1-a^2}}} \right ]_0^1 \\ &=\frac{2}{\sqrt{1-a^2}} \left [\arctan{\frac{1+a}{\sqrt{1-a^2}}}- \arctan{\frac{a}{\sqrt{1-a^2}}}\right ]\\ &= \frac{2}{\sqrt{1-a^2}} \arctan{}\frac{\sqrt{1-a^2}}{1+a+a^2} \end{align}$$

Ahora debemos integrar con respecto a $a$. Para ello, se integran en cada uno de los términos independientes en la penúltima línea. Para empezar

$$\int da \, \frac{2}{\sqrt{1-a^2}} \arctan{\frac{a}{\sqrt{1-a^2}}}$$

Sub $a=\sin{\theta}$, y debería ser sencillo de ver que esta antiderivada es simplemente

$$2 \int d\theta \, \theta = \theta^2 = \arcsin^2{a} $$

(Sí, estoy omitiendo la constante de integración por ahora.)

Ahora la segunda parte:

$$\int da \, \frac{2}{\sqrt{1-a^2}} \arctan{\frac{1+a}{\sqrt{1-a^2}}}$$

Sub $a=\cos{\theta} $. Tenga en cuenta que el argumento de la arctan se convierte en $\cot{(\theta/2)}$, por lo que la integral se convierte en

$$-2 \int d\theta \left (\frac{\pi}{2} - \frac{\theta}{2} \right ) = \frac12 \theta^2 - \pi \theta = \frac{\pi}{2} \arcsin{a} + \frac12 \arcsin^2{a}-\frac{3 \pi^2}{8}$$

Incluyendo la constante de integración, entonces,

$$I(a) = \frac12 \theta^2 - \pi \theta = \frac{\pi}{2} \arcsin{a} - \frac12 \arcsin^2{a}-\frac{3 \pi^2}{8} + C$$

Dado $I(0)=0$,$I(a) = \frac{\pi}{2} \arcsin{a} - \frac12 \arcsin^2{a}$. El deseado integral es $I(1)$, por lo que

$$\int_0^{\pi/2} d\phi \frac{\log{(1+\sin{\phi})}}{\sin{\phi}} = \frac{\pi^2}{4} - \frac{\pi^2}{8} = \frac{\pi^2}{8} $$

EDITAR

Yo debería haber mencionado que $a$ está restringida a valores tales que el $|a| \le 1$ en el análisis anterior.

Answer 3

Podemos utilizar la siguiente expansión de Taylor de $\ln(1+x)$ a evaluar \begin{eqnarray} \ln(1+x)&=&\sum_{n=1}^\infty\frac{(-1)^{n-1}}{n}x^n. \end{eqnarray} Entonces \begin{eqnarray} \int_0^{\pi/2}\frac{\ln(1+\sin\phi)}{\sin\phi}d\phi&=&\int_0^{\pi/2}\sum_{n=1}^\infty\frac{(-1)^{n-1}}{n}\sin^{n-1}\phi d\phi\\ &=&\sum_{n=1}^\infty\frac{(-1)^{n-1}}{n}\frac{\sqrt{\pi}\Gamma(\frac{n}{2})}{2\Gamma(\frac{n+1}{2})}\\ &=&\frac{\sqrt{\pi}}{2}\sum_{n=1}^\infty\frac{\Gamma(\frac{2n-1}{2})}{(2n-1)\Gamma(n)}-\frac{\sqrt{\pi}}{4}\sum_{n=1}^\infty\frac{\Gamma(n)}{n\Gamma(\frac{2n+1}{2})}\\ \end{eqnarray} Vamos $$ f(x)=\frac{\sqrt{\pi}}{2}\sum_{n=1}^\infty\frac{\Gamma(\frac{2n-1}{2})}{(2n-1)\Gamma(n)}x^{2n}, g(x)=\frac{\sqrt{\pi}}{4}\sum_{n=1}^\infty\frac{\Gamma(n)}{n\Gamma(\frac{2n+1}{2})}x^{2n}. $$ Entonces $$ \left(\frac{f(x)}{x}\right)'=\frac{\sqrt{\pi}}{2}\sum_{n=1}^\infty\frac{\Gamma(\frac{2n-1}{2})}{\Gamma(n)}x^{2n-2}=\frac{\pi}{2\sqrt{1-x^2}} $$ y por lo tanto $$ f(x)=\frac{\pi}{2} x\arcsin x. $$ También $$ g(x)=\frac{1}{2}\arcsin^2x. $$ Por lo $f(1)=\frac{\pi^2}{4}, g(1)=\frac{\pi^2}{8}$ y por lo tanto $$ \int_0^{\pi/2}\frac{1+\sin\phi}{\sin\phi}d\phi=\frac{\pi^2}{8}. $$