Math 2.0

Special functions Definition

Prolate spheroidal wave functions

Builds on EigenvalueSelf-adjoint operatorCompact operatorBand-limited function

Definition

Let c≥0c \ge 0 be a real parameter, called the bandwidth parameter. Consider the differential equation on (−1,1)(-1, 1) ddx((1−x2)dψdx)−c2x2ψ=−χψ,\frac{d}{dx}\Big( (1 - x^2) \frac{d\psi}{dx} \Big) - c^2 x^2 \psi = -\chi \psi, where χ\chi is a real number. There is an increasing sequence χ0<χ1<χ2<⋯\chi_0 < \chi_1 < \chi_2 < \cdots that tends to ∞\infty and has the following property. The equation has a nonzero bounded solution on (−1,1)(-1, 1) exactly when χ=χm\chi = \chi_m for some mm. For each χm\chi_m this solution is unique up to a constant factor. The prolate spheroidal wave functions with parameter cc are these solutions ψ0,ψ1,ψ2,…\psi_0, \psi_1, \psi_2, \dots, normalized by ∫−11∣ψm(x)∣2 dx=1\int_{-1}^1 \abs{\psi_m(x)}^2\, dx = 1 and taken real.

Remarks

Example: for c=0c = 0 the equation is Legendre's equation ((1−x2)ψ′)′=−χψ((1 - x^2)\psi')' = -\chi \psi. Its bounded solutions are the Legendre polynomials PmP_m with χm=m(m+1)\chi_m = m(m + 1), so ψm=(2m+1)/2 Pm\psi_m = \sqrt{(2m + 1)/2}\, P_m; for instance ψ0=1/2\psi_0 = 1/\sqrt{2} satisfies the equation with χ0=0\chi_0 = 0.

Non-example: for c=0c = 0 and χ=0\chi = 0, the function ψ(x)=12log⁡1+x1−x\psi(x) = \frac12 \log \frac{1 + x}{1 - x} also solves the equation, since (1−x2)ψ′(x)=1(1 - x^2)\psi'(x) = 1. It is not bounded near ±1\pm 1, so it is not a prolate spheroidal wave function.

For c>0c > 0, the functions ψm\psi_m are also the eigenfunctions of the integral operator Qcψ(x)=∫−11sin⁡c(x−y)π(x−y) ψ(y) dyQ_c \psi(x) = \int_{-1}^1 \frac{\sin c(x - y)}{\pi (x - y)}\, \psi(y)\, dy on L2(−1,1)L^2(-1, 1), which is self-adjoint, positive and compact. Its eigenvalues satisfy 1>λ0>λ1>⋯>01 > \lambda_0 > \lambda_1 > \cdots > 0. The kernel of QcQ_c is that of the projection onto functions whose Fourier transform, in the convention ∫f(t)e−iωt dt\int f(t) e^{-i\omega t}\, dt, vanishes outside [−c,c][-c, c]. Extending ψm\psi_m to ℝ\R by the same integral, divided by λm\lambda_m, gives a band-limited function, and λm\lambda_m is the fraction of its energy that lies in [−1,1][-1, 1].

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Band-limited function concept
  2. Compact operator concept
  3. Eigenvalue concept
  4. Self-adjoint operator concept
  5. Prolate spheroidal wave functions definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Prolate_spheroidal_wave_function
About this page
TagSDYEK7HEZQ
URIm2://SDYEK7HEZQ
Kinddefinition
WritingW0 stub
MSC33E10, 42A38, 94A12
DefinesProlate spheroidal wave functions
UsesEigenvalue, Self-adjoint operator, Compact operator, Band-limited function

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.