[论文解读] Homogeneous Besov spaces on stratified Lie groups and their wavelet characterization

Hartmut Führ, Azita Mayeli|arXiv (Cornell University)|Jul 23, 2010

Mathematical Analysis and Transform Methods参考文献 6被引用 4

一句话总结

本文通过连续和离散小波系统，建立了分层李群上齐次Besov空间的小波表征。证明了不同次拉普拉斯算子生成的Besov空间是等价的，并为所有 $\dot{B}_{p,q}^{s}$ 构造了通用的Banach框架，其中 $1\leq p,q<\infty$，$s\in\mathbb{R}$，通过小波系数确保无条件收敛性和范数等价性。

ABSTRACT

We establish wavelet characterizations of homogeneous Besov spaces on stratified Lie groups, both in terms of continuous and discrete wavelet systems. We first introduce a notion of homogeneous Besov space $\dot{B}_{p,q}^s$ in terms of a Littlewood-Paley-type decomposition, in analogy to the well-known characterization of the Euclidean case. Such decompositions can be defined via the spectral measure of a suitably chosen sub-Laplacian. We prove that the scale of Besov spaces is independent of the precise choice of Littlewood-Paley decomposition. In particular, different sub-Laplacians yield the same Besov spaces. We then turn to wavelet characterizations, first via continuous wavelet transforms (which can be viewed as continuous-scale Littlewood-Paley decompositions), then via discretely indexed systems. We prove the existence of wavelet frames and associated atomic decomposition formulas for all homogeneous Besov spaces ${\dot B}_{p,q}^{s}$, with $1 \le p,q &lt; \infty$ and $s \in \mathbb{R}$.

研究动机与目标

• 将Besov空间的小波表征从欧几里得空间推广到分层李群。
• 基于次拉普拉斯算子的谱测度，通过Littlewood-Paley型分解定义分层李群上的齐次Besov空间 $\dot{B}_{p,q}^{s}$。
• 证明Besov空间的尺度与次拉普拉斯算子的选择无关，确保与群结构的一致性。
• 建立 $\dot{B}_{p,q}^{s}$ 的连续和离散小波表征，包括框架和原子分解性质。
• 通过群上足够密集的正规采样集，为所有 $\dot{B}_{p,q}^{s}$ 空间构造通用的Banach框架。

提出的方法

• 通过分层李群 $G$ 上次拉普拉斯算子的谱演算，利用Littlewood-Paley分解定义齐次Besov空间 $\dot{B}_{p,q}^{s}$。
• 使用广义 $\phi$-函数框架，证明不同次拉普拉斯算子生成的Besov空间是等价的，确保群内蕴的一致性。
• 通过一类广泛适用的容许小波，利用连续小波变换表征 $\dot{B}_{p,q}^{s}$，其中包含热半群作为特例。
• 引入系数空间 $\dot{b}_{p,q}^{s}$，将小波系数与Besov范数联系起来，实现离散表征。
• 利用振荡估计连接连续与离散分解，确保采样下的稳定性。
• 证明当采样集 $\Gamma$ 足够密集且为正规集时，离散小波系统 $\{\psi_{j,\gamma}\}_{j\in\mathbb{Z}, \gamma\in\Gamma}$ 构成所有 $\dot{B}_{p,q}^{s}$ 的通用Banach框架，且满足范数等价性 $\|f\|_{\dot{B}_{p,q}^{s}} \asymp \|\{r_{j,\gamma}\}\|_{\dot{b}_{p,q}^{s}}$。

实验结果

研究问题

• RQ1 能否基于次拉普拉斯算子的Littlewood-Paley分解，在分层李群上一致地定义齐次Besov空间，且不依赖于次拉普拉斯算子的具体选择？
• RQ2 如何利用连续小波变换表征分层李群上的齐次Besov空间？
• RQ3 在分层李群上，何种条件可确保离散小波系统构成所有 $\dot{B}_{p,q}^{s}$ 空间的Banach框架？
• RQ4 振荡估计是否可用于连接齐次Besov空间背景下连续与离散小波分解？
• RQ5 是否存在一个适用于所有 $\dot{B}_{p,q}^{s}$ 空间（$1\leq p,q<\infty$ 且 $s\in\mathbb{R}$）的通用小波框架？

主要发现

• 在分层李群上，齐次Besov空间 $\dot{B}_{p,q}^{s}$ 的尺度与次拉普拉斯算子的选择无关，确保与群结构的内蕴一致性。
• 使用广泛适用的容许小波的连续小波变换可有效表征 $\dot{B}_{p,q}^{s}$，其中热半群为特例。
• 任意 $f\in\dot{B}_{p,q}^{s}$ 的小波系数序列属于系数空间 $\dot{b}_{p,q}^{s}$，从而建立了离散表征。
• 当采样集 $\Gamma$ 足够密集且为正规集时，离散小波系统 $\{\psi_{j,\gamma}\}_{j\in\mathbb{Z}, \gamma\in\Gamma}$ 构成所有 $\dot{B}_{p,q}^{s}$（$1\leq p,q<\infty$，$s\in\mathbb{R}$）的通用Banach框架。
• 小波重构公式 $f = \sum_{j,\gamma} 2^{-jQ} \langle f, \tilde{\psi}_{j,\gamma} \rangle \psi_{j,\gamma}$ 在 $\dot{B}_{p,q}^{s}$ 中无条件收敛，且系数满足 $\|\{r_{j,\gamma}\}\|_{\dot{b}_{p,q}^{s}} \asymp \|f\|_{\dot{B}_{p,q}^{s}}$。
• 当采样密度增加时，小波框架的紧致性趋近于1，尤其当使用同一窗口 $\psi$ 的Besov范数测量时更为明显。