Math 2.0

Harmonic analysis on Euclidean spaces Definition

Admissibility condition for wavelets

Builds on Lp spaceFourier transform

Definition

Let ψ∈L2(ℝ)\psi \in L^2(\R) (see Lp space), and let ψ^(ξ)=∫ℝψ(t)e−2πitξ dt\hat\psi(\xi) = \int_\R \psi(t) e^{-2\pi i t \xi} \, dt be its Fourier transform. The function ψ\psi satisfies the admissibility condition, and is called an admissible wavelet, if Cψ=∫ℝ∣ψ^(ξ)∣2∣ξ∣ dξ<∞.C_\psi = \int_\R \frac{\abs{\hat\psi(\xi)}^2}{\abs{\xi}} \, d\xi < \infty.

Remarks

If ψ\psi is also in L1(ℝ)L^1(\R), then ψ^\hat\psi is continuous, and admissibility implies ψ^(0)=∫ℝψ(t) dt=0\hat\psi(0) = \int_\R \psi(t) \, dt = 0. Conversely, if ∫ℝ(1+∣t∣)∣ψ(t)∣ dt<∞\int_\R (1 + \abs{t}) \abs{\psi(t)} \, dt < \infty and ∫ℝψ=0\int_\R \psi = 0, then ψ^\hat\psi is Lipschitz with ψ^(0)=0\hat\psi(0) = 0, and ψ\psi is admissible. The constant CψC_\psi is the factor in Calderón's identity for the continuous wavelet transform.

Example: the Mexican hat ψ(t)=(1−t2)e−t2/2\psi(t) = (1 - t^2) e^{-t^2/2} is admissible. It decays fast and ∫ℝψ=∫ℝe−t2/2 dt−∫ℝt2e−t2/2 dt=2π−2π=0\int_\R \psi = \int_\R e^{-t^2/2} \, dt - \int_\R t^2 e^{-t^2/2} \, dt = \sqrt{2\pi} - \sqrt{2\pi} = 0, so the converse criterion applies.

Non-example: the Gaussian ψ(t)=e−πt2\psi(t) = e^{-\pi t^2} has ψ^(ξ)=e−πξ2\hat\psi(\xi) = e^{-\pi \xi^2}. Near ξ=0\xi = 0 the integrand behaves like 1/∣ξ∣1/\abs{\xi}, which is not integrable, so Cψ=∞C_\psi = \infty.

Reading path

To understand this page from the ground up, read these 3 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. Fourier transform concept
  2. Lp space concept
  3. Admissibility condition for wavelets definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Continuous_wavelet_transform
About this page
TagP270MSQ0SZ
URIm2://P270MSQ0SZ
Kinddefinition
WritingW0 stub
MSC42C40, 42A38
DefinesAdmissibility condition for wavelets
UsesLp space, Fourier transform

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.