[论文解读] Besov Spaces and Frames on Compact Manifolds

Daryl Geller, Azita Mayeli|ArXiv.org|Sep 16, 2007

Mathematical Analysis and Transform Methods参考文献 12被引用 7

一句话总结

本文通过利用拉普拉斯-贝尔特拉米算子谱理论构造的光滑、近乎紧致的框架，建立了在光滑紧致定向黎曼流形上非齐次 Besov 空间的表征。通过离散化 Calderón 型恒等式分解并结合核估计与框架不等式，作者证明了函数在 Besov 空间中的拟范数等价于其框架系数的加权 $\ell^q$-范数，将欧氏空间中的小波表征方法推广至具有完整指标范围的紧致流形。

ABSTRACT

We show that one can characterize the Besov spaces on a smooth compact oriented Riemannian manifold, for the full range of indices, through a knowledge of the size of frame coefficients, using the frames we have constructed in [8].

研究动机与目标

• 将 Besov 空间在欧氏空间中的表征方法推广至紧致黎曼流形，采用框架理论。
• 利用框架系数，建立紧致流形上非齐次 Besov 空间 $B_{p}^{\alpha q}$ 的全范围表征。
• 证明函数在 Besov 空间中的拟范数等价于其框架系数的加权 $\ell^q$-范数。
• 将 Frazier 和 Jawerth 在 $\mathbb{R}^n$ 上的方法推广至紧致流形，调整以处理几何与谱复杂性。

提出的方法

• 利用拉普拉斯-贝尔特拉米算子的谱乘子 $f(t^2\Delta)$，在紧致流形 $\mathbf{M}$ 上构造光滑且近乎紧致的框架。
• 将 Calderón 型恒等式分解 $\int_0^\infty |f(ts)|^2 \frac{dt}{t} = c$ 离散化为框架条件 $A_a \leq \sum_j |f(a^{2j}s)|^2 \leq B_a$，其中 $a$ 接近 1。
• 定义框架元素 $\phi_{j,k}(x) = [\mu(E_{j,k})]^{1/2} \overline{K_{a^j}}(x_{j,k},x)$，其中 $K_t$ 是 $f(t^2\Delta)$ 的 Schwartz 核，$E_{j,k}$ 为直径与测度受控的集合。
• 利用核估计 $\|J_\nu\|_{C^{M_0}} \leq C_0 2^{\nu(n+M_0)}$ 控制点态算子范数，并控制框架系数的 $L^p$-范数。
• 通过 $A_a - C_0 b \leq \sum_{j,k} |(F,\phi_{j,k})|^2 \leq B_a + C_0 b$（$b$ 较小）在 $L^2$ 中建立框架界，确保近乎紧致性。
• 通过证明 $\|F\|_{B_p^{\alpha q}} \asymp \left( \sum_j a^{-j\alpha q} \left[ \sum_k \mu(E_{j,k}) |r_{j,k}|^p \right]^{q/p} \right)^{1/q}$，其中 $r_{j,k}$ 为 $F$ 的级数展开系数，建立 Besov 范数与加权 $\ell^q$-范数的等价性。

实验结果

研究问题

• RQ1 能否通过拉普拉斯-贝尔特拉米算子的谱乘子导出的框架系数，表征紧致黎曼流形上非齐次 Besov 空间 $B_p^{\alpha q}$？
• RQ2 流形上的框架表征与欧氏情形有何不同？需要哪些新的几何与分析工具？
• RQ3 在框架界与几何参数的精确意义下，Besov 拟范数与框架系数的 $\ell^q$-范数之间的等价关系为何？
• RQ4 在何种流形划分与框架元素条件下，$B_p^{\alpha q}$ 中函数的级数展开在 Besov 范数下收敛？
• RQ5 该框架表征能否推广至全部指标范围 $0 < p, q \leq \infty$，包括 $p < 1$ 的情形？需要何种修正？

主要发现

• 函数 $F$ 在 Besov 空间 $B_p^{\alpha q}$ 中的拟范数等价于其框架系数的加权 $\ell^q$-范数：$\|F\|_{B_p^{\alpha q}} \asymp \left( \sum_j a^{-j\alpha q} \left[ \sum_k \mu(E_{j,k}) |r_{j,k}|^p \right]^{q/p} \right)^{1/q}$，当 $p \geq 1$ 时，常数与 $b$ 无关。
• 框架 $\{\phi_{j,k}\}$ 光滑且近乎紧致，其框架界比为 $\frac{B_a + C_0 b}{A_a - C_0 b} = 1 + O(|(a-1)^2 \log|a-1||)$，当 $a \to 1$ 时趋近于 1。
• 对 $F \in B_p^{\alpha q}$，存在系数 $r_{j,k}$，使得 $F = \sum_{j,k} \mu(E_{j,k}) r_{j,k} \varphi_{j,k}$ 成立，且在 $B_p^{\alpha q}$ 中收敛，其中 $\varphi_{j,k}(y) = \overline{K_{a^j}}(x_{j,k},y)$。
• 框架系数展开是稳定的：系数的加权 $\ell^q$-范数的下确界被 $\|F\|_{B_p^{\alpha q}}$ 的常数倍上下控制，且当 $p \geq 1$ 时，下界对 $b$ 一致。
• 证明依赖于核估计 $\|J_\nu\|_{C^{M_0}} \leq C_0 2^{\nu(n+M_0)}$，该估计控制点态算子范数，并实现对框架元素 $L^p$-范数的估计。
• 该表征对所有 $0 < p, q \leq \infty$ 成立，当 $p < 1$ 时需对划分 $\{E_{j,k}\}$ 增加额外假设，包括测度下界 $\mu(E_{j,k}) \geq c_0 (ba^j)^n$（当 $ba^j < \delta_0$ 时）。