[论文解读] Characterizations of Besov and Triebel-Lizorkin Spaces on Metric Measure Spaces

Амиран Гогатишвили, Pekka Koskela+1 more|arXiv (Cornell University)|Jun 13, 2011

Advanced Harmonic Analysis Research参考文献 14被引用 5

一句话总结

本文在具有加倍测度和 Poincaré 不等式的度量测度空间上，建立了齐次 Besov 与 Triebel-Lizorkin 空间的最优逐点刻画，证明了涉及精确极大函数与振荡的各类光滑性半范数之间的等价性。关键贡献在于证明了这些刻画中参数范围的最优性，且空间的非退化性完全由底层的几何与分析结构决定。

ABSTRACT

On a metric measure space satisfying the doubling property, we establish several optimal characterizations of Besov and Triebel-Lizorkin spaces, including a pointwise characterization. Moreover, we discuss their (non)triviality under a Poincaré inequality.

研究动机与目标

• 在具有加倍测度的度量测度空间上，提供齐次 Besov 与 Triebel-Lizorkin 空间的逐点、最优刻画。
• 确定不同光滑性半范数（涉及振荡、平均与下确界）与经典 Besov 范数等价的最优参数范围。
• 在弱 (1,p)-Poincaré 不等式假设下，研究这些函数空间的非退化性。
• 建立某些 Besov 空间平凡性的必要与充分条件，特别是当 $ s = n/p $ 时。

提出的方法

• 作者基于涉及 $ t^{-s} $ 与半径为 $ t $ 的球上 $ L^\sigma $-振荡的逐点光滑性半范数，定义了新的函数空间，使用 $ \vec{C}^{s,\sigma} $、$ \vec{A}^{s,\sigma} $、$ \vec{I}^{s,\sigma} $ 与 $ \vec{S}^{s,\epsilon,\sigma} $ 算子。
• 他们证明了经典 Besov 空间 $ \dot{B}^{s}_{p,q}({\mathcal{X}}) $ 在 $ \sigma $、$ \epsilon $ 与 $ p $ 的最优参数范围内，与这些新空间 $ \vec{E}\dot{B}_{p,q}({\mathcal{X}}) $ 一致。
• 证明依赖于测度的加倍性质与弱 (1,p)-Poincaré 不等式，以控制振荡并将其与极大函数关联。
• 作者使用精确极大函数估计与 dyadic 分解技术，比较不同半范数并建立等价性。
• 他们通过在 $ \mathbb{R}^n $ 中构造显式反例，证明了刻画中参数范围的最优性，即当参数超过临界阈值时，存在属于 $ \dot{B}^{s}_{p,q} $ 但不属于相应 $ \vec{E}\dot{B}_{p,q} $ 空间的函数。
• 对于非退化性结果，他们利用 Cantor 型集合构造了 Ahlfors 2-正则的度量空间（通过平方构造），证明即使弱 (1,2)-Poincaré 不等式成立，$ \dot{B}^{s}_{2/s,2/s}({\mathcal{X}}) $ 仍可为非平凡空间。

实验结果

研究问题

• RQ1 在何种 $ \sigma $、$ p $ 与 $ q $ 条件下，经典 Besov 空间 $ \dot{B}^{s}_{p,q}({\mathcal{X}}) $ 与基于 $ \vec{C}^{s,\sigma} $ 的空间等价？
• RQ2 对于 $ \vec{I}^{s,\sigma} $-基刻画，$ \sigma $ 的最优范围为何？
• RQ3 能否通过 $ \vec{S}^{s,\epsilon,\sigma} $ 算子的尺度刻画 $ \dot{B}^{s}_{p,q} $ 中函数的光滑性？最优 $ \epsilon $ 是多少？
• RQ4 当 $ s \geq 1 $ 时，弱 (1,n)-Poincaré 不等式是否为 $ \dot{B}^{s}_{n/s,n/s}({\mathcal{X}}) $ 平凡性的必要条件？
• RQ5 在仅支持弱 (1,p)-Poincaré 不等式的空间上，是否存在非平凡的 Besov 空间 $ \dot{B}^{s}_{2/s,2/s}({\mathcal{X}}) $，其中 $ p>2 $？

主要发现

• 当且仅当 $ \sigma \in (0,p] $ 时，空间 $ \dot{B}^{s}_{p,q}({\mathcal{X}}) $ 与 $ \vec{C}^{s,\sigma}\dot{B}_{p,q}({\mathcal{X}}) $ 等距同构，且该范围为最优。
• 当且仅当 $ \sigma \in (0, p_*(s)) $ 时，空间 $ \dot{B}^{s}_{p,q}({\mathcal{X}}) $ 与 $ \vec{I}^{s,\sigma}\dot{B}_{p,q}({\mathcal{X}}) $ 一致，其中 $ p_*(s) = np/(n - ps) $ 当 $ p < n/s $ 时，且该范围为最优。
• 当 $ \epsilon \in [0,s) $ 时，$ \dot{B}^{s}_{p,q}({\mathcal{X}}) = \vec{S}^{s,\epsilon,\sigma}\dot{B}_{p,q}({\mathcal{X}}) $ 成立当且仅当 $ \sigma \in (0, p_*(s)) $，且该范围为最优。
• 当 $ p \in (n/(n+s), \infty] $ 时，$ \dot{B}^{s}_{p,q}({\mathcal{X}}) = \vec{A}^{s,\sigma}\dot{B}_{p,q}({\mathcal{X}}) $ 成立当且仅当 $ \sigma \in (0, p_*(s)) $，且该范围为最优。
• 当 $ s \in (0,1) $、$ p \in (0, n/s) $ 且 $ \sigma > p_*(s) $ 时，存在一个函数属于 $ \dot{B}^{s}_{p,q}({\mathbb{R}}^n) $ 但不属于 $ L^\sigma_{\text{loc}}({\mathbb{R}}^n) $，因此它位于 $ \vec{E}\dot{B}_{p,q}({\mathbb{R}}^n) $ 之外，其中 $ \vec{E} = \vec{A}^{s,\sigma}, \vec{I}^{s,\sigma}, \vec{S}^{s,\epsilon,\sigma} $，从而证明了最优性。
• 存在一个 Ahlfors 2-正则空间，支持弱 (1,p)-Poincaré 不等式（$ p>2 $），但对所有 $ s \in (0,\infty) $，均有 $ \dot{B}^{s}_{2/s,2/s}({\mathcal{X}}) $ 为非平凡空间，表明当 $ s \geq 1 $ 时，弱 (1,n)-Poincaré 不等式是 $ \dot{B}^{s}_{n/s,n/s}({\mathcal{X}}) $ 平凡性的必要条件。