[论文解读] Vanishing moment conditions for wavelet atoms in higher dimensions

Hartmut Führ|arXiv (Cornell University)|Mar 13, 2013

Mathematical Analysis and Transform Methods被引用 1

一句话总结

该论文为高维空间中一般膨胀群下的小波原子建立了明确且可验证的消失矩条件，从而在 L²(Rᵈ) 及更广泛的巴拿赫函数空间中实现了小波框架与原子分解的构造。通过将共形理论应用于一大类膨胀群（包括剪切小波与各向异性系统），该研究提供了一个统一框架，使得具有紧支集或衰减性质、满足适度光滑性与矩条件的小波能够生成框架，并通过系数的可 summability 性质表征齐次 Besov 空间。

ABSTRACT

We provide explicit criteria for wavelets to give rise to frames and atomic decompositions in ${ m L}^2(\mathbb{R}^d)$, but also in more general Banach function spaces. We consider wavelet systems that arise by translating and dilating the mother wavelet, with the dilations taken from a suitable subgroup of ${ m GL}(\mathbb{R}^d)$, the so-called {\em dilation group}.The paper provides a unified approach that is applicable to a wide range of dilation groups, thus giving rise to new atomic decompositions for homogeneous Besov spaces in arbitrary dimensions, but also for other function spaces such as shearlet coorbit spaces. The atomic decomposition results are obtained by applying the coorbit theory developed by Feichtinger and Gr\"ochenig, and they can be informally described as follows: Given a function $\psi \in { m L}^2(\mathbb{R}^d)$ satisfying fairly mild decay, smoothness and vanishing moment conditions, {\em any} sufficiently fine sampling of the translations and dilations will give rise to a wavelet frame. Furthermore, the containment of the analyzed signal in certain smoothness spaces (generalizing the homogeneous Besov spaces) can be decided by looking at the frame coefficients, and convergence of the frame expansion holds in the norms of these spaces. We motivate these results by discussing nonlinear approximation.

研究动机与目标

• 开发一个统一框架，利用一般膨胀群在 L²(Rᵈ) 和巴拿赫函数空间中构造小波框架与原子分解。
• 为具有紧支集或衰减性质的小波提供明确且易于验证的条件，使其能生成框架，从而克服以往带限原子构造的局限性。
• 将齐次 Besov 空间的波分析表征推广至任意维度与非 dyadic 膨胀群，包括剪切小波与各向异性系统。
• 通过推导必要且充分的消失矩条件，使实用小波（如紧支集小波）能够应用于共形理论。
• 在一般膨胀群下建立小波系统的强温合嵌入性与框架性质，确保在光滑性空间中的收敛性。

提出的方法

• 将共形理论应用于一般膨胀群 H ≤ GL(Rᵈ) 关联的连续小波变换，从而实现共形空间与原子分解的构造。
• 推导出 L²(Rᵈ) 中小波 ψ 的显式消失矩条件，确保在对平移与膨胀进行足够精细且均匀离散采样时，其关联的小波系统构成框架。
• 利用共形空间框架证明：属于光滑性空间（如齐次 Besov 空间）的成员，其特征由框架系数的加权 ℓp,q-可 summability 性质决定。
• 通过在仿射群上分析哈尔测度与模函数，验证温合嵌入性与框架界所需的可积性条件。
• 应用引理 3.2 并对对偶轨道进行估计，推导出剪切小波系数的衰减估计，从而得出温合嵌入的充分条件。
• 证明：对于给定权函数 w₀，若嵌入条件中的指数 ℓ 满足涉及 u₁, u₂, s 与 c 的特定不等式，则强 (s, w₀)-温合嵌入成立。

实验结果

研究问题

• RQ1 对于小波（以消失矩、衰减与光滑性为条件），在何种明确且可验证的条件下，其平移与膨胀能构成一般膨胀群下 L²(Rᵈ) 中的框架？
• RQ2 如何将共形理论应用于将齐次 Besov 空间的小波表征推广至任意维度与非 dyadic 膨胀群？
• RQ3 小波系统在何种充分条件下能生成共形空间（包括剪切小波共形空间）中的原子分解，且原子具有紧支集或快速衰减？
• RQ4 如何为一般膨胀群建立对偶轨道的温合嵌入性？权函数在此过程中起什么作用？
• RQ5 这些结果能否扩展至各向异性系统（如剪切小波）？此类系统需要何种消失矩条件？

主要发现

• 满足适度衰减、光滑性与消失矩条件的任意小波 ψ ∈ L²(Rᵈ)，只要在仿射群上进行足够精细且均匀离散的采样，其平移与膨胀即构成框架，且该结论对任意膨胀群 H 均成立。
• 当且仅当框架系数满足加权 ℓp,q-可 summability 条件时，L²(Rᵈ) 中函数 f 的框架展开在齐次 Besov 空间 ˙Bsₚ,ₚ(Rᵈ) 的范数下收敛。
• 对于剪切小波系统，本文推导出衰减估计 |Wψf(x, h)| ≤ C(1 + |x|)−m(|a| + |a|−1)−r₁(1 + |b|)−r₂，该估计在充分消失矩与光滑性条件下成立。
• 若嵌入条件中的指数 ℓ 满足 ℓ ≥ 3r₁ + (3 + 6|c|)r₂ + 6|c| + 2，则膨胀群 H 的开对偶轨道为强 (s, w₀)-温合嵌入，其中 r₁ 与 r₂ 以 u₁, u₂, s 与 c 表示。
• 当 d = 2 时，任意满足 y 轴上阶数为 k 的消失矩且其直到 2k 阶导数可积的小波 ψ ∈ L²(R²)，只要 k ≥ 127，即为所有 Co(Lᵖ(G)) 共形空间（1 ≤ p ≤ 2）的原子。
• 结果在膨胀群的共轭与有限指数变换下保持稳定，确保在二维空间中所有合理可接受群的适用性。