[Math] Use contour integration to compute the Fourier transform,

complex-analysiscontour-integrationfourier analysisresidue-calculussingularity-theory

The problem statement is:

Use contour integration to determine the Fourier transform,
$\large \hat f(ξ)=∫_{-\infty}^{\infty}f(x)e^{−iξx}dx$,

of $\large f(x)=\frac{1}{2−2x−x^2}$.

Some issues that I am running into are:

Attempt #1

I originally chose a lower semi-circular contour, since the negative i on the exponential function will help give the needed estimate of zero along the semi-circular contour, as we let it grow to infinity – on the upper semi-circular contour, the positive imaginary axis poses problems for the factor $e^{-i\xi x}$.

But then the two simple poles of the function are lying on the real axis.

So I had thought of perhaps, when integrating along the real axis, perhaps jump over the two poles, and estimate the integrand on those two tiny circles and show it goes to zero.

But then, my contour would enclose…no poles…and my function would be analytic on and inside the closed contour, and by Cauchy's theorem, my integration yields zero.

Attempt #2

Now, in hopes of enclosing the two (or at least one?) poles, I chose a box contour instead. A box of height 8, so 4 units above and below the real axis. This is a square box to start, and ensures that both poles are enclosed. I then parameterized fixing the width of the box and hoping to let the length of the box grow to infinity. Then perhaps, integration along the top and bottom edges of this box, which will be integration with respect to the x variable, will give me two desired integrals. Unfortunately, it looks like these desirable integrals are canceling each other out (of course, by the parametrization of the box).

Now I'm not sure what to do.

Any hints or suggestions are welcome.

Thanks,

Best Answer

Consider for $\xi \lt 0$ the contour integral

$$\oint_C dz \frac{e^{-i \xi z}}{2-2 z-z^2} $$

where $C$ is a semicircle of radius $R$ in the upper half plane, with a small semicircular indent into the upper half-plane of radius $\epsilon$ at each pole $z_{\pm}=-1 \pm \sqrt{3}$. The contour integral is then

$$PV \int_{-R}^R dx \frac{e^{-i \xi x}}{2-2 x-x^2} +i \epsilon \int_{\pi}^0 d\phi \, e^{i \phi} \frac{e^{-i \xi (z_-+\epsilon e^{i \phi})}}{3-(-\sqrt{3}+\epsilon e^{i \phi})^2}\\ + i \epsilon \int_{\pi}^0 d\phi \, e^{i \phi} \frac{e^{-i \xi (z_++\epsilon e^{i \phi})}}{3-(\sqrt{3}+\epsilon e^{i \phi})^2}+ i R \int_0^{\pi} d\theta \, e^{i \theta} \frac{e^{-i \xi R e^{i \theta}}}{2-2 R e^{i \theta} - R^2 e^{i 2 \theta}}$$

In the limit as $R \to \infty$, the fourth integral vanishes as $1/R^2$. As $\epsilon \to 0$, the sum of the second and third integrals converge to

$$i \frac{\pi}{2 \sqrt{3}} \left (-e^{-i \xi z_-} + e^{-i \xi z_+} \right ) $$

By Cauchy's theorem, the contour integral is equal to zero. Thus, for $\xi \lt 0$ we have

$$PV \int_{-\infty}^{\infty} dx \frac{e^{-i \xi x}}{2-2 x-x^2} = -\frac{\pi}{\sqrt{3}} e^{i \xi} \sin{\left (\sqrt{3} \xi \right )} $$

For $\xi \gt 0$, one uses a contour in the lower half plane.

Related Question