[论文解读] Pointwise Characterizations of Besov and Triebel-Lizorkin Spaces and Quasiconformal Mappings

Pekka Koskela, Dachun Yang+1 more|arXiv (Cornell University)|Apr 30, 2010

Advanced Harmonic Analysis Research参考文献 27被引用 8

一句话总结

本文在具有加倍与反加倍性质的度量测度空间上，利用分数次 Hajłasz 梯度，建立了齐次 Besov 与 Triebel-Lizorkin 空间的逐点刻画。证明了拟共形映射保持 Triebel-Lizorkin 空间 $\dot{F}^{s}_{n/s,q}(\mathbb{R}^n)$ 对所有 $s \in (0,1)$ 和 $q \in (n/(n+s), \infty]$ 不变，扩展了已知的不变性结果，并建立了该同构性质在度量空间中的版本。

ABSTRACT

In this paper, the authors characterize, in terms of pointwise inequalities, the classical Besov spaces $\dot B^s_{p,\,q}$ and Triebel-Lizorkin spaces $\dot F^s_{p,\,q}$ for all $s\in(0,\,1)$ and $p,\,q\in(n/(n+s),\,\infty],$ both in ${\mathbb R}^n$ and in the metric measure spaces enjoying the doubling and reverse doubling properties. Applying this characterization, the authors prove that quasiconformal mappings preserve $\dot F^s_{n/s,\,q}$ on $ n$ for all $s\in(0,\,1)$ and $q\in(n/(n+s),\,\infty]$. A metric measure space version of the above morphism property is also established.

研究动机与目标

• 在 $\mathbb{R}^n$ 与加倍度量测度空间中，为 $s \in (0,1)$ 且 $p,q \in (n/(n+s), \infty]$ 的齐次 Besov 与 Triebel-Lizorkin 空间 $\dot{B}^{s}_{p,q}$ 和 $\dot{F}^{s}_{p,q}$ 提供逐点刻画。
• 建立 Triebel-Lizorkin 空间 $\dot{F}^{s}_{n/s,q}(\mathbb{R}^n)$ 在 $s \in (0,1)$ 与 $q \in (n/(n+s), \infty]$ 下的拟共形不变性。
• 将拟共形不变性结果推广至具有适当几何与测度性质的 Ahlfors 正则度量测度空间。
• 证明由拟共形映射诱导的复合算子在这些函数空间上是有界的，对 $f$ 与 $f^{-1}$ 均成立。

提出的方法

• 作者利用分数次 Hajłasz 梯度定义逐点不等式，刻画具有加倍与反加倍性质的度量测度空间中的齐次 Triebel-Lizorkin 与 Besov 空间。
• 通过证明在给定参数范围内，这些逐点定义的空间与经典 Triebel-Lizorkin 空间等价，建立了其与经典空间之间的联系。
• 拟共形不变性的证明依赖于通过球体的畸变与 Hölder 不等式估计函数拉回在拟共形映射下的行为。
• 作者分析雅可比行列式与畸变函数 $L_f(x,r)$ 的增长，以控制逐点定义中梯度分量的 $L^{n/s}$-范数。
• 使用覆盖论证与 dyadic 分解，估计度量空间上梯度序列的 $\ell^{n/s}$-范数。
• 证明利用了拟共形映射满足受控畸变条件的事实，从而可在映射间传递可积性与光滑性性质。

实验结果

研究问题

• RQ1 在具有加倍与反加倍性质的度量测度空间中，齐次 Besov 与 Triebel-Lizorkin 空间能否通过涉及分数次 Hajłasz 梯度的逐点不等式刻画？
• RQ2 对于所有 $s \in (0,1)$ 与 $q \in (n/(n+s), \infty]$，Triebel-Lizorkin 空间 $\dot{F}^{s}_{n/s,q}(\mathbb{R}^n)$ 是否在拟共形映射下保持不变？
• RQ3 是否可将 $\dot{F}^{s}_{n/s,q}$ 的拟共形不变性结果推广至具有 Poincaré 不等式的 Ahlfors 正则度量测度空间？
• RQ4 逐点刻画在多大程度上允许在拟共形映射下实现函数空间范数的转移？

主要发现

• 作者为 $s \in (0,1)$ 与 $q \in (n/(n+s), \infty]$ 的齐次 Triebel-Lizorkin 空间 $\dot{F}^{s}_{n/s,q}(\mathbb{R}^n)$ 建立了基于分数次 Hajłasz 梯度的逐点刻画。
• 拟共形映射保持空间 $\dot{F}^{s}_{n/s,q}(\mathbb{R}^n)$ 对所有 $s \in (0,1)$ 与 $q \in (n/(n+s), \infty]$ 不变，意味着 $f$ 与 $f^{-1}$ 均在该空间上诱导有界复合算子。
• 该结果可推广至具有 Poincaré 不等式的 Ahlfors 正则度量测度空间，且在相同参数约束下保持拟共形不变性。
• 作者证明了当 $n_1/s_1 = n_2/s_2$ 且 $f$ 为拟共形映射时，复合算子 $u \mapsto u \circ f$ 从 $\dot{M}^{s_2}_{n_2/s_2, q}({\mathcal{Y}})$ 有界映射到 $\dot{M}^{s_1}_{n_1/s_1, q}({\mathcal{X}})$。
• 建立了该不变性结果的度量空间版本，表明在相同参数条件下，拟共形映射保持逐点定义的 Triebel-Lizorkin 空间。
• 证明依赖于通过球体畸变与 Hölder 不等式估计梯度拉回的 $L^{n/s}$-范数，且相关 dyadic 尺度的数量均匀有界。