Cálculo de la integral de la $\int\exp \left(-\alpha \sin^2 \left(\frac{x}{2} \right) \right) dx$

Question

Dado $\alpha$ es una constante. Cómo calcular la siguiente integral?

\begin{equation} \int \exp \bigg(-\alpha \sin^2 \bigg(\frac{x}{2} \bigg) \bigg) dx \end{equation}

Gracias por tu respuesta.

Answer 1

La integral indefinida no se puede expresar en términos de funciones elementales. Ver el teorema de Liouville y el algoritmo de Risch para obtener más detalles. Sin embargo, para $n\in$ Z se tiene la siguiente identidad en términos que implican funciones de Bessel:

$$\int_0^{n\pi}e^{-\alpha\sin^2\Big(\tfrac x2\Big)}dx=\frac{n\cdot\pi}{\sqrt{e^\alpha}}\cdot\text{Bessel I}_0\bigg(\frac\alpha2\bigg)$$

Answer 2

Una solución de la serie se da a través de la Jacobi-la Ira de expansión: $$-\alpha\, \left( \sin \left( \frac{1}{2}\,x \right) \right) ^{2}=\frac{1}{2}\,\alpha \, \left( \cos \left( x \right) -1 \right) $$ $${{\rm e}^{\frac{1}{2}\,\alpha\, \left( \cos \left( x \right) -1 \right) }}={ {\rm e}^{-\frac{1}{2}\,\alpha}}\,{{\rm I}_0\left(\frac{1}{2}\,\alpha\right)}+2\,{ {\rm e}^{-\frac{1}{2}\,\alpha}}\sum _{n=1}^{\infty } {{\rm I}_n\left(\frac{1}{2}\,\alpha\right)}\cos \left( nx \right)$$ donde: $${i}^{n}{{\rm J}_n\left(-\frac{1}{2}\,i\alpha\right)}= {{\rm I}_n\left(\frac{1}{2}\,\alpha\right)}$$ se utiliza para relacionar la función de Bessel de primera especie $J$ a la función Bessel modificada $I$. La integración término a término se obtiene: $$\int \!{{\rm e}^{\frac{1}{2}\,\alpha\, \left( \cos \left( x \right) -1 \right) }}{dx}={{\rm e}^{-\frac{1}{2}\,\alpha}} {{\rm I}_0\left(\frac{1}{2}\,\alpha\right)}x+2\,{{\rm e}^{-\frac{1}{2}\,\alpha}} \la suma de _{n=1}^{\infty }{\frac {{{\rm I}_n\left(\frac{1}{2}\alpha\right)} \sin \left( nx \right) }{n}}$$

Para la integración entre cero y múltiplos enteros de $\pi$ la suma claridad se desvanece y recuperar @Lucian solución.

Answer 3

Deje $u=\dfrac{x}{2}$ ,

A continuación, $x=2u$

$dx=2~du$

$\therefore\int e^{-\alpha\sin^2\frac{x}{2}}~dx$

$=2\int e^{-\alpha\sin^2u}~du$

$=2\int\sum\limits_{n=0}^\infty\dfrac{(-1)^n\alpha^n\sin^{2n}u}{n!}du$

$=2\int\left(1+\sum\limits_{n=1}^\infty\dfrac{(-1)^n\alpha^n\sin^{2n}u}{n!}\right)du$

Para $n$ es cualquier número natural,

$\int\sin^{2n}u~du=\dfrac{(2n)!u}{4^n(n!)^2}-\sum\limits_{k=1}^n\dfrac{(2n)!((k-1)!)^2\sin^{2k-1}u\cos u}{4^{n-k+1}(n!)^2(2k-1)!}+C$

Este resultado puede ser hecho por los sucesivos integración por partes.

$\therefore2\int\left(1+\sum\limits_{n=1}^\infty\dfrac{(-1)^n\alpha^n\sin^{2n}u}{n!}\right)du$

$=2u+2\sum\limits_{n=1}^\infty\dfrac{(-1)^n\alpha^n(2n)!u}{4^n(n!)^3}-2\sum\limits_{n=1}^\infty\sum\limits_{k=1}^n\dfrac{(-1)^n\alpha^n(2n)!((k-1)!)^2\sin^{2k-1}u\cos u}{4^{n-k+1}(n!)^3(2k-1)!}+C$

$=\sum\limits_{n=0}^\infty\dfrac{(-1)^n\alpha^n(2n)!2u}{4^n(n!)^3}-\sum\limits_{n=1}^\infty\sum\limits_{k=1}^n\dfrac{(-1)^n\alpha^n(2n)!((k-1)!)^2\sin^{2k-1}u\cos u}{2^{2n-2k+1}(n!)^3(2k-1)!}+C$

$=\sum\limits_{n=0}^\infty\dfrac{(-1)^n\alpha^n(2n)!x}{4^n(n!)^3}-\sum\limits_{n=1}^\infty\sum\limits_{k=1}^n\dfrac{(-1)^n\alpha^n(2n)!((k-1)!)^2\sin^{2k-1}\dfrac{x}{2}\cos\dfrac{x}{2}}{2^{2n-2k+1}(n!)^3(2k-1)!}+C$

O usted puede expresar en términos de la incompleta de bessel K función:

$\int e^{-\alpha\sin^2\frac{x}{2}}~dx$

$=\int e^\frac{\alpha(\cos x-1)}{2}~dx$

$=e^{-\frac{\alpha}{2}}\int e^\frac{\alpha\cos x}{2}~dx$

$=e^{-\frac{\alpha}{2}}\int e^\frac{\alpha(e^{ix}+e^{-ix})}{4}~dx$

$=e^{-\frac{\alpha}{2}}\int e^{\frac{\alpha e^{-ix}}{4}+\frac{\alpha}{4e^{-ix}}}~dx$

Deje $u=e^{-ix}$ ,

A continuación, $x=i\ln u$

$dx=\dfrac{i}{u}du$

$\therefore e^{-\frac{\alpha}{2}}\int e^{\frac{\alpha e^{-ix}}{4}+\frac{\alpha}{4e^{-ix}}}~dx$

$=ie^{-\frac{\alpha}{2}}\int\dfrac{e^{\frac{\alpha u}{4}+\frac{\alpha}{4u}}}{u}du$

$=ie^{-\frac{\alpha}{2}}\int_0^u\dfrac{e^{\frac{\alpha t}{4}+\frac{\alpha}{4t}}}{t}dt+C$

$=ie^{-\frac{\alpha}{2}}\int_0^1\dfrac{e^{\frac{\alpha ut}{4}+\frac{\alpha}{4ut}}}{ut}d(ut)+C$

$=ie^{-\frac{\alpha}{2}}\int_0^1\dfrac{e^{\frac{\alpha ut}{4}+\frac{\alpha}{4ut}}}{t}dt+C$

$=ie^{-\frac{\alpha}{2}}\int_\infty^1te^{\frac{\alpha u}{4t}+\frac{\alpha t}{4u}}~d\left(\dfrac{1}{t}\right)+C$

$=ie^{-\frac{\alpha}{2}}\int_1^\infty\dfrac{e^{\frac{\alpha t}{4u}+\frac{\alpha u}{4t}}}{t}dt+C$

$=ie^{-\frac{\alpha}{2}}K_0\left(-\dfrac{\alpha}{4u},-\dfrac{\alpha u}{4}\right)+C$ (de acuerdo a http://artax.karlin.mff.cuni.cz/r-help/library/DistributionUtils/html/incompleteBesselK.html)

$=ie^{-\frac{\alpha}{2}}K_0\left(-\dfrac{\alpha e^{ix}}{4},-\dfrac{\alpha e^{-ix}}{4}\right)+C$