PHYS20672 Summary 6
Integral Transforms
- 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.
- 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
- 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
- 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.$$
- The normalisation, and the sign of $i$ in the exponential are conventions, and should be checked when other sources
are used.
- 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.
- The inverse of the transformation is $$f(x)=\frac 1 {\sqrt{2\pi}}\int_{-\infty}^\infty \e^{i k x} F(k) \d k.$$
- The Fourier transform of a Gaussian $\e^{-x^2/(2a^2)}$ is another Gaussian $a\e^{-k^2a^2/2}$.
- 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.
- 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.
- $\frac \kappa \pi$sinc$(\kappa x)$ is a delta sequence (parameter $\kappa$).
- 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$).
- Parseval's theorem: $$\int_{-\infty}^\infty f^*(x)g(x)\d x=\int_{-\infty}^\infty F^*(k)G(k)\d k$$
- 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