4
$\begingroup$

Consider the integral:

$ \int_0^{\pi/2}\sqrt{\sin t}e^{-x\sin^4 t} \, dt $

I'm trying to use Laplace's method to find its leading asymptotic behavior as $x\rightarrow\infty$, but I'm running into problems because the maximum of $\phi(t)$ (i.e. $-\sin^{4}t$) is $0$ and occurs at $0$ (call this $c$). In my notes on the Laplace Method, it specifically demands that $f(c)$ (in this case $f(t)=\sqrt{\sin t}$) cannot equal zero--but it does. How do I get around this?

  • 0
    Answered here: https://math.stackexchange.com/a/1951154.2018-05-12

1 Answers 1

3

Plot integrand for few values of $x$:

enter image description here

It is apparent that the maximum shifts closer to the origin as $x$ grows.

Let's rewrite the integrand as follows: $ \int_0^{\pi/2} \sqrt{\sin(t)} \exp\left(-x \sin^4(t)\right) \mathrm{d}t = \int_0^{\pi/2} \exp\left(\frac{1}{2} \log(\sin(t))-x \sin^4(t)\right) \mathrm{d}t $ The maximum of the integrand is determined by $ 0 = \frac{\mathrm{d}}{\mathrm{d}t} \left(\frac{1}{2} \log(\sin(t))-x \sin^4(t)\right) = \cot(t) \left( \frac{1}{2} - 4 x \sin^4(t)\right) $ that is at $t_\ast = \arcsin\left((8 x)^{-1/4}\right)$. Then using Laplace's method: $ \int_0^{\pi/2} \sqrt{\sin(t)} \exp\left(-x \sin^4(t)\right) \mathrm{d}t \approx \int_{0}^{\pi/2} \exp\left(\phi(t_\ast) + \frac{1}{2} \phi^{\prime\prime}(t_\ast) (t-t_\ast)^2 \right) \mathrm{d}t = \exp\left(\phi(t_\ast)\right) \sqrt{\frac{2\pi}{-\phi^{\prime\prime}(t_\ast)}} $ Easy algebra gives $\exp\left(\phi(t_\ast)\right) = (8 \mathrm{e} x)^{-1/8}$, $-\phi^{\prime\prime}(t_\ast) = 4 \sqrt{2 x} - 2$, giving $ \int_0^{\pi/2} \sqrt{\sin(t)} \exp\left(-x \sin^4(t)\right) \mathrm{d}t \approx (8 \mathrm{e} x)^{-1/8} \sqrt{ \frac{\pi}{2 \sqrt{2 x} -1}} $ enter image description here