Asymptotic form of Fourier type integral

[bruno67]

I have an integral like

F(\lambda)=\int_{-\infty}^\infty e^{i\lambda x} f(x) dx,
where \lambda is a real parameter and f(x) is an integrable function of x. I am looking for a method to calculate an approximate form of F(\lambda) for very small |\lambda|. Methods like stationary phases or steepest descent can sometimes be used to calculate similar asymptotic expressions for large values of the parameter, but I am not sure how to proceed in case \lambda is small.

Thanks.

 

[Mute]

A couple of ideas:

You could try changing variables. For example, letting y = \lambda x gives

F(\lambda) = \frac{1}{\lambda}\int_{-\infty}^{\infty} dy e^{iy} f\left(\frac{y}{\lambda}\right).

If you know the large argument asymptotics of f(x), you could then expand f(y/lambda) in an asymptotic series and hopefully the resulting integrals for that are simpler. There is an issue with the y = 0 contribution to the integral - however, since it's just a point I don't think it contributes.

The other option is to expand

F(\lambda) \approx F(0) + F'(0)\lambda

where

F(0) = \int_{-\infty}^\infty dx~f(x)
F'(0) = i\int_{-\infty}^{\infty} dx~x f(x)

This assumes of course that you can do these integrals and that they exist.

 

[bruno67]

Thanks, but the problem with the first suggestion is that f(x) only admits a Taylor expansion for large values of its argument, so the expansion of f(y/\lambda) is not integrable from -\infty to +\infty. To give its exact form, f(x) is given by

f(x)=\frac{(a^2+x^2)^{-b}}{x+ic},
where a,b,c>0 and b<<1.

Unfortunately the second suggestion doesn't work either, since x f(x) is not integrable.

 

[Mute]

Thanks, but the problem with the first suggestion is that f(x) only admits a Taylor expansion for large values of its argument, so the expansion of f(y/\lambda) is not integrable from -\infty to +\infty. To give its exact form, f(x) is given by

f(x)=\frac{(a^2+x^2)^{-b}}{x+ic},
where a,b,c>0 and b<<1.

The expansion you would need to do is a large-argument expansion, because y/lambda would be large. It looks like the leading contribution from a large y/lambda expansion would be (\lambda/y)^{1-2b}, although wolframalpha claims the Fourier transform of that is zero for 0 < Re(b) < 1/2. Hopefully the leading correction to the asymptotic series for f(y/\lambda) is non-zero and integrable.

Unfortunately the second suggestion doesn't work either, since x f(x) is not integrable.

Yes, if F(\lambda) is not an analytic function of lambda, this won't work.

 

[bruno67]

The expansion you would need to do is a large-argument expansion, because y/lambda would be large. It looks like the leading contribution from a large y/lambda expansion would be (\lambda/y)^{1-2b}, although wolframalpha claims the Fourier transform of that is zero for 0 < Re(b) < 1/2. Hopefully the leading correction to the asymptotic series for f(y/\lambda) is non-zero and integrable.

I am probably missing something but, y/\lambda is not large on the whole interval of integration: no matter how small \lambda is, there will always be an interval around y=0 over which y/\lambda is small. In this particular case, the Taylor expansion of the integrand is only valid for large enough y/\lambda; to be exact, for y/\lambda&gt;\max(a,c). Even if we wanted to integrate this expansion, the leading term, which I think is actually (y/\lambda)^{-1-2b}, is not integrable over \mathbb{R}, due to its behavior near the origin.

 

[Antiphon]

Whether you can use stationary phase/steepest descent depends on the derivatives of f(x) in relation to lambda. You might still be able to use it.

What's your f?

 

[bruno67]

Whether you can use stationary phase/steepest descent depends on the derivatives of f(x) in relation to lambda. You might still be able to use it.

What's your f?

Hi, my f is
f(x)=\frac{(a^2+x^2)^{-b}}{x+ic}.

 

[Antiphon]

For some rational values of b you might find a closed form solution via complex contour integration.

My gut tells me you are going to see the gamma function and simple confluent hypergeometric functions but only for some b.

Have you got access to a copy of Gradshteyn & Ryzhik? Or Abramowitz & Stegun? Your library should have these, and frankly so should you.

 

[Antiphon]

Also, you could do a Taylor series using the first two or three terms of the exponential, leave f(x) as it is. You will probably find closed form integrals for those, especially in the two references I gave.

 

[bruno67]

b is usually not rational, and I don't think it's possible to solve this integral by contour integration for irrational b. Expanding the exponential in a Taylor series doesn't work, unfortunately (see posts 3-4).