(a) Consider the integral
I(k)=∫0∞f(t)e−ktdt,k>0
Suppose that f(t) possesses an asymptotic expansion for t→0+of the form
f(t)∼tαn=0∑∞antβn,α>−1,β>0
where an are constants. Derive an asymptotic expansion for I(k) as k→∞ in the form
I(k)∼n=0∑∞kγ+βnAn
giving expressions for An and γ in terms of α,β,n and the gamma function. Hence establish the asymptotic approximation as k→∞
I1(k)=∫01ektt−a(1−t2)−bdt∼2−bΓ(1−b)ekkb−1(1+k(a+b/2)(1−b))
where a<1,b<1.
(b) Using Laplace's method, or otherwise, find the leading-order asymptotic approximation as k→∞ for
I2(k)=∫0∞e−(2k2/t+t2/k)dt
[You may assume that Γ(z)=∫0∞tz−1e−tdt for Rez>0,
and that ∫−∞∞e−qt2dt=π/q for q>0.]