Math 2.0

Harmonic analysis on Euclidean spaces Definition

Curvelet

Builds on Fourier transformLp space

Definition

This is the second-generation curvelet system on ℝ2\R^2. Let W ⁣:(0,∞)→[0,∞)W \colon (0,\infty) \to [0,\infty) and V ⁣:ℝ→[0,∞)V \colon \R \to [0,\infty) be smooth windows with WW supported in (1/2,2)(1/2, 2) and VV supported in [−1,1][-1, 1], such that ∑j∈ℤW(2jr)2=1 for r>0,∑l∈ℤV(t−l)2=1 for t∈ℝ.\sum_{j \in \Z} W(2^j r)^2 = 1 \text{ for } r > 0, \qquad \sum_{l \in \Z} V(t - l)^2 = 1 \text{ for } t \in \R. For an integer j≥0j \ge 0, let φj\varphi_j be the function whose Fourier transform is, in polar coordinates (r,θ)(r, \theta) of the frequency plane, φ^j(r,θ)=2−3j/4 W(2−jr) V(2⌊j/2⌋θ2π).\hat\varphi_j(r, \theta) = 2^{-3j/4} \, W(2^{-j} r) \, V\left(\frac{2^{\floor{j/2}}\theta}{2\pi}\right). Let RθR_\theta be the rotation of ℝ2\R^2 by the angle θ\theta. For ll with 0≤l<2⌊j/2⌋0 \le l < 2^{\floor{j/2}}, put θl=2π⋅2−⌊j/2⌋ l\theta_l = 2\pi \cdot 2^{-\floor{j/2}} \, l. For k=(k1,k2)∈ℤ2k = (k_1, k_2) \in \Z^2, put xk(j,l)=Rθl−1(k12−j,k22−j/2)x_k^{(j,l)} = R_{\theta_l}^{-1}(k_1 2^{-j}, k_2 2^{-j/2}). The curvelet at scale 2−j2^{-j}, orientation θl\theta_l and position xk(j,l)x_k^{(j,l)} is φj,l,k(x)=φj(Rθl(x−xk(j,l))),x∈ℝ2.\varphi_{j,l,k}(x) = \varphi_j\left(R_{\theta_l}\left(x - x_k^{(j,l)}\right)\right), \qquad x \in \R^2. The curvelet coefficients of f∈L2(ℝ2)f \in L^2(\R^2) are c(j,l,k)=⟨f,φj,l,k⟩c(j,l,k) = \ip{f}{\varphi_{j,l,k}}.

Remarks

Each φ^j\hat\varphi_j lives on a polar wedge with radial size about 2j2^j and angular width about 2−j/22^{-j/2}. In space, φj\varphi_j is then a needle of length about 2−j/22^{-j/2} and width about 2−j2^{-j}. This is parabolic scaling: width ≈\approx length2^2. The number of orientations doubles at every second scale. Together with a coarse-scale family at low frequencies, the curvelets form a tight frame of L2(ℝ2)L^2(\R^2) in the sense that ∑∣c(j,l,k)∣2=∥f∥22\sum \abs{c(j,l,k)}^2 = \norm{f}_2^2.

Example: any pair of smooth windows with these supports and partition conditions, such as the Meyer-type windows used for the Meyer wavelet, gives a curvelet system.

Non-example: if the angular window is not narrowed with scale, that is, V(2⌊j/2⌋θ/(2π))V(2^{\floor{j/2}}\theta/(2\pi)) is replaced by a fixed angular window, the elements keep the same aspect ratio at all scales. They then behave like directional wavelets and lose the parabolic scaling, which is the defining feature of curvelets.

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. Curvelet definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Curvelet
About this page
TagXJMGD9V64J
URIm2://XJMGD9V64J
Kinddefinition
WritingW0 stub
MSC42C40, 42C15, 94A08
DefinesCurvelet
UsesFourier transform, Lp space

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • 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.