1 votos

0+0 autointeractuante QFT - $ e^{-\sin^2 x}$ integral de tipo -- expansión de la función de Bessel alrededor del infinito

En un artículo sobre física ( aquí ) He encontrado esta variante de la función de Bessel del primer tipo.

$$ \tag{1} Z(g) ~=~ \frac{1}{\sqrt{g}} \int_{-\frac{\pi}{2}}^{\frac{\pi}{2}} e^{-\frac{1}{2g} \sin^2 x} \, dx = \frac{\pi}{\sqrt{g}}e^{-\frac{1}{4g}}I_0(\tfrac{1}{4g}). $$

Más adelante en el documento proporcionan una "expansión en torno a 0" que me cuesta entender:

\begin{eqnarray*} Z(g)|_{y=0} &=& \int_{-\frac{\pi}{2\sqrt{g}}}^{\frac{\pi}{2\sqrt{g}}} e^{-\tfrac{1}{2g} \sin^2 (y g^{1/2})} \, dy \\ &=& \int_{-\frac{\pi}{2\sqrt{g}}}^{\frac{\pi}{2\sqrt{g}}} \bigg[ e^{-\tfrac{y^2}{2}} + \frac{1}{6}y^2 e^{-\tfrac{y^2}{2}} + \dots \bigg] dy \\ &=&\tag{5} \sqrt{2\pi} \sum_{k=0}^\infty \frac{\Gamma(k+\tfrac{1}{2})^2 }{\Gamma(k+1) \Gamma(\tfrac{1}{2})^2} (2g)^k. \end{eqnarray*}

Los momentos de la gaussiana se conocen por Fórmula mecha . No estoy seguro de cómo obtiene todos los coeficientes en esta expansión.

Un posible punto de partida es que $\sin x \approx x$ para $x\ll 1$ para que

$$ \frac{1}{2g} \sin^2 (y g^{1/2}) \approx \frac{y^2}{2} \left(\frac{\sin (y g^{1/2})}{y g^{1/2}} \right)^2 \approx \frac{y^2}{2} \left(1 - \frac{g y^2 }{3!} + \dots \right)^2 $$

Luego tenemos que tomar el exponente de esto e integrar, así que no estoy seguro de cómo calcularon todos los términos.

2voto

Stefano Puntos 763

Comentario a la pregunta (v2):

Sí, los autores de la Ref. 1 hacen trampa. Hacen no utilizando Teorema de Wick (aunque una en principio podría hacerlo). Saben que la función de Bessel modificada $I_0$ de primer tipo tiene un expansión asintótica en serie en términos de función hipergeométrica generalizada $^1$

$$e^{\frac{1}{4g}} \frac{Z(g)}{\sqrt{2\pi}}~=~\frac{1}{\sqrt{2\pi g}}\int_0^{\pi}d\theta~ e^{\frac{1}{4g}\cos\theta}~=~\sqrt{\frac{\pi}{2g}} I_0\left( \frac{1}{4g}\right)$$

$$\tag{A} ~\sim~ e^{\frac{1}{4g}} {}_2 F_{0}(\frac{1}{2},\frac{1}{2};2g)+e^{-\frac{1}{4g}} {}_2 F_{0}(\frac{1}{2},\frac{1}{2};-2g) \quad\text{for} \quad g\to 0.$$

Referencias:

  1. A. Cherman, P. Koroteev y M. Unsal, arXiv:1410.0388 .

--

$^1$ En la expansión asintótica en serie (A) hemos sido arrogantes con los cortes de rama y los sectores de Stokes. Pero ese es más o menos el tema principal de la Ref. 1, así que no nos extenderemos más en esta respuesta.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X