Question 3 of 7: Fourier Transform of a Two-Sided Exponential
Nivaar worked solution (AI-drafted; not reviewed by a licensed engineer)
Notes on this paper
National Examinations, December 2017 — 04-BS-5 Advanced Mathematics, 3 hours, closed book (approved Casio/Sharp calculator and one double-sided aid sheet permitted). Any five of the seven questions constitute a complete paper and all questions are of equal value; all seven are answered below as a full study resource.
Reference texts: Kreyszig, Advanced Engineering Mathematics, 10th ed. (Wiley) — Ch. 11 (Sturm–Liouville Problems, Fourier Series, Fourier Integrals and Transforms), Ch. 19 (Numerics in General: interpolation, numerical differentiation, Romberg integration, iterative equation solving), Ch. 20 (Numeric Linear Algebra: LU/Crout factorization). Supporting: Chapra & Canale, Numerical Methods for Engineers, 7th ed. — Ch. 5–6 (bracketing and open root-finding methods), Ch. 18 (interpolation), Ch. 22 (Romberg integration); Strang, Introduction to Linear Algebra, 6th ed. — Ch. 2 (LU factorization).
Question 3: Fourier Transform of a Two-Sided Exponential (a: 5; b: 9; c: 3; d: 3 marks)
Given. The odd, two-sided decaying exponential $f(x)$ with rate parameter $a\gt0$: amplitude $2/a$ at $x=0^{\pm}$, decaying/growing with time constant $a$.
Find. (a) Total area between $f$ and the $x$-axis, with sketches for $a=1,0.5$. (b) $F(\omega)$ in closed form. (c) Sketches of $F(\omega)$ for $a=1,0.5$. (d) The limiting behaviour as $a\to0$.
Approach. Confirm $f$ is odd; integrate $|f|$ over each half-line for the area; split the Fourier integral at $x=0$ into two convergent one-sided exponential integrals for $F(\omega)$; then use the closed form to describe the $a\to0$ limit.
(a) Total (unsigned) area. By symmetry $f(-x)=-f(x)$ (odd), so the signed integral is zero, but the area bounded by the curve and the axis is the unsigned area:
$$A=\int_0^{\infty}\dfrac{2}{a}e^{-x/a}\,dx+\int_{-\infty}^{0}\dfrac{2}{a}e^{x/a}\,dx=2+2=\boxed{4}$$
independent of $a$ — a smaller $a$ makes the spike taller and narrower but the enclosed area is conserved.
(b) Split the transform at $x=0$.
$$F(\omega)=\dfrac{1}{\sqrt{2\pi}}\left[\int_{-\infty}^{0}\!\!\left(-\dfrac2a e^{x/a}\right)e^{-i\omega x}dx+\int_{0}^{\infty}\!\dfrac2a e^{-x/a}e^{-i\omega x}dx\right]$$
Each piece is a convergent one-sided exponential integral: $\displaystyle\int_0^\infty\dfrac2a e^{-x(1/a+i\omega)}dx=\dfrac{2}{1+i\omega a}$ and $\displaystyle-\int_{-\infty}^0\dfrac2a e^{x(1/a-i\omega)}dx=-\dfrac{2}{1-i\omega a}$.
Combine over a common denominator.
$$\dfrac{2}{1+i\omega a}-\dfrac{2}{1-i\omega a}=\dfrac{2(1-i\omega a)-2(1+i\omega a)}{1+\omega^2a^2}=\dfrac{-4i\omega a}{1+\omega^2a^2}$$
Box the transform.
$$\boxed{F(\omega)=\dfrac{-4ia\omega}{\sqrt{2\pi}\,\big(1+a^2\omega^2\big)}}$$
$F(\omega)$ is purely imaginary and odd in $\omega$ (as expected: the Fourier transform of a real odd function is purely imaginary and odd).
(c) Magnitude and sketch. $|F(\omega)|=\dfrac{4a|\omega|}{\sqrt{2\pi}(1+a^2\omega^2)}$; the sketches below plot $\mathrm{Im}\{F(\omega)\}$ (the non-zero part) for $a=1$ and $a=0.5$ — both are odd, single-humped curves through the origin.
(d) Locate the peak of $|F(\omega)|$. Differentiating $|F|$ with respect to $\omega$ and setting the result to zero gives $\omega_{\text{peak}}=1/a$, at which
$$|F(1/a)|=\dfrac{4a(1/a)}{\sqrt{2\pi}\,(1+1)}=\dfrac{2}{\sqrt{2\pi}}\approx0.797885$$
— a height that is the same for every $a$. As $a\to0$: for any fixed $\omega$, $F(\omega)=-4ia\omega/[\sqrt{2\pi}(1+a^2\omega^2)]\to0$, but the peak location $\omega_{\text{peak}}=1/a\to\infty$ while the peak height stays fixed at $2/\sqrt{2\pi}$. So in the time domain $f(x)$ sharpens into an increasingly tall, narrow odd pair of spikes at the origin (a "doublet") while conserving the total area found in (a); correspondingly its transform does not vanish but spreads its energy over an ever wider band of frequencies, exactly the time–frequency trade-off (uncertainty principle) expected when a signal concentrates in $x$.
Figure: $f(x)$ for $a=1$ (solid) and $a=0.5$ (dashed) — taller/narrower for smaller $a$, equal area $4$.
Figure: $\mathrm{Im}\{F(\omega)\}$ for $a=1$ (solid) and $a=0.5$ (dashed) — both peak at height $2/\sqrt{2\pi}\approx0.798$, at $\omega=1/a$.