Let $F(a):=\int_0^\infty e^{-(x^2+a^2/x^2)}dx$ with $a>0$. My questions are as follows:
(1) Calculate $\lim_{a \to 0^+}F(a)$.
(2) Show that $F'(a)=-2F(a)$.
(3) Calculate $F(a)$.
It seems to me that the well-known Gaussian integral $\int_0^\infty e^{-x^2}dx=\sqrt \pi/2$ plays some role here. However, if I set $t=x+a/x$ then $dt=(1-a/x^2)dx$. I'm stuck in finding a function $f$ so that $1-a/x^2=f(t).$ For part (2), I don't quite understand how to find the derivative of $F(a)$. It seems that we need to find the closed-form of $F(a)$ first. Assume that I am given part (2) to solve part (3). Is it true that $F(a)=e^{-2a+\ln(\sqrt \pi/2)}$?
Any help would be much appreciated.