PHYS20672 Summary 6

Integral Transforms

  1. An integral transform of a function $f(x)$ has the form $$F(p)=\int K(p,x) f(x) \d x$$ where $K(p,x)$ is called the kernel of the transformation and the limits of integration are to be specified.
  2. Up to normalisation factors, the kernel $\e^{-i p x}$ gives the Fourier transform, $\e^{- p x}$ gives the Laplace transform, $J_n(p x)$ (a Bessel function) gives the Hankel or Fourier-Bessel transform and $x^p$ gives the Mellin transform
  3. Integral transforms are used for three broad reasons: $F(p)$ may summarise the information content of $f(x)$ more succinctly; the equation for $F(p)$ may be simpler than that for $f(x)$ (though once $F(p)$ is found it may not be easy to invert the transform to find $f(x)$); and the dependence of the physical system on the variable $p$ might be interesting in its own right (wavelength or frequency in optics, momentum in quantum mechanics).

Fourier Transforms and delta functions

  1. The Fourier transform of $f(x)$ is $$F(k)=\frac 1 {\sqrt{2\pi}}\int_{-\infty}^\infty \e^{-i k x} f(x) \d x.$$
  2. The normalisation, and the sign of $i$ in the exponential are conventions, and should be checked when other sources are used.
  3. In physics $x$ usually represents space and $k$, wavenumber (or momentum over "hbar"). Where the initial variable is time $t$, the conjugate variable is angular frequency $\omega$, and the kernel $\e^{i \omega t}$is often used.
  4. The inverse of the transformation is $$f(x)=\frac 1 {\sqrt{2\pi}}\int_{-\infty}^\infty \e^{i k x} F(k) \d k.$$
  5. The Fourier transform of a Gaussian $\e^{-x^2/(2a^2)}$ is another Gaussian $a\e^{-k^2a^2/2}$.
  6. The delta function is defined by the sifting property $\int_a^b f(x')\delta(x-x')\d x'=f(x)$ if $a < x < b$ and 0 otherwise.
  7. A delta sequence of functions $\phi_n(x)$ has the property $\lim_{n\to\infty}\int_{-\infty}^\infty \phi_n(x')f(x')\d x'=f(0)$. An example is the "top hat" functions $\phi_n(x)=n$ for $-1/(2n) < x < 1/(2n)$ and 0 otherwise.
  8. $\frac \kappa \pi$sinc$(\kappa x)$ is a delta sequence (parameter $\kappa$).
  9. The identity $$f(x)=\frac 1 {\sqrt{2\pi}}\int_{-\infty}^\infty \e^{i k x} \left( \frac 1 {\sqrt{2\pi}}\int_{-\infty}^\infty \e^{-i k x'} f(x') \d x'\right)\d k$$ implies $$\frac 1 {2\pi}\int_{-\infty}^\infty \e^{i k (x-x')}\d k=\delta(x-x'),$$ which follows from the previous point (taking the integration limits to be $\pm \kappa$).
  10. Parseval's theorem: $$\int_{-\infty}^\infty f^*(x)g(x)\d x=\int_{-\infty}^\infty F^*(k)G(k)\d k$$
  11. Convolution: If $h(x)$ is the convolution of $f(x)$ and $g(x)$: $h(x)=f(x)*g(x)\equiv \int_{-\infty}^\infty f(y)*g(x-y)\d y$ then $H(k)=\sqrt{2\pi}F(k)G(k)$.
Arfken 15.1-6, Riley 11.1, Boas 7.12, 8.11