About the Project
30 Spheroidal Wave FunctionsApplications

§30.15 Signal Analysis

Contents
  1. §30.15(i) Scaled Spheroidal Wave Functions
  2. §30.15(ii) Integral Equation
  3. §30.15(iii) Fourier Transform
  4. §30.15(iv) Orthogonality
  5. §30.15(v) Extremal Properties

§30.15(i) Scaled Spheroidal Wave Functions

Let \tau(>0) and \sigma(>0) be given. Set \gamma=\tau\sigma and define

30.15.1 \phi_{n}(t)=\sqrt{\frac{2n+1}{2\tau}}\sqrt{\Lambda_{n}}\mathsf{Ps}^{0}_{n}%
\left(\frac{t}{\tau},\gamma^{2}\right),n=0,1,2,\dots,

see §30.11(v).

§30.15(ii) Integral Equation

§30.15(iii) Fourier Transform

where

30.15.6 \chi_{\sigma}(\omega)=\begin{cases}1,&\mbox{$|\omega|\leq\sigma$},\\
0,&\mbox{$|\omega|>\sigma$}.\end{cases}

Equations (30.15.4) and (30.15.6) show that the functions \phi_{n} are \sigma-bandlimited, that is, their Fourier transform vanishes outside the interval [-\sigma,\sigma].

§30.15(iv) Orthogonality

30.15.7 \int_{-\tau}^{\tau}\phi_{k}(t)\phi_{n}(t)\,\mathrm{d}t=\Lambda_{n}\delta_{k,n},
30.15.8 \int_{-\infty}^{\infty}\phi_{k}(t)\phi_{n}(t)\,\mathrm{d}t=\delta_{k,n}.

The sequence \phi_{n}, n=0,1,2,\dots forms an orthonormal basis in the space of \sigma-bandlimited functions, and, after normalization, an orthonormal basis in L^{2}(-\tau,\tau).

§30.15(v) Extremal Properties

The maximum (or least upper bound) \mathrm{B} of all numbers

taken over all f\in L^{2}(-\infty,\infty) subject to

30.15.10
\int_{-\infty}^{\infty}|f(t)|^{2}\,\mathrm{d}t=1,
\int_{-\tau}^{\tau}|f(t)|^{2}\,\mathrm{d}t=\alpha,

for (fixed) \Lambda_{0}<\alpha\leq 1, is given by

30.15.11 \operatorname{arccos}\sqrt{\mathrm{B}}+\operatorname{arccos}\sqrt{\alpha}=%
\operatorname{arccos}\sqrt{\Lambda_{0}},

or equivalently,

30.15.12 \mathrm{B}=\left(\sqrt{\Lambda_{0}\alpha}+\sqrt{1-\Lambda_{0}}\sqrt{1-\alpha}%
\right)^{2}.

The corresponding function f is given by

30.15.13
f(t)=a\phi_{0}(t)\chi_{\tau}(t)+b\phi_{0}(t)(1-\chi_{\tau}(t)),
a=\sqrt{\frac{\alpha}{\Lambda_{0}}},
b=\sqrt{\frac{1-\alpha}{1-\Lambda_{0}}}.

If 0<\alpha\leq\Lambda_{0}, then \mathrm{B}=1.

For further information see Frieden (1971), Lyman and Edmonson (2001), Papoulis (1977, Chapter 6), Slepian (1983), and Slepian and Pollak (1961).