[论文解读] Boundedness of maximal functions on non-doubling manifolds with ends

Xuan Thinh Duong, Ji Li+1 more|arXiv (Cornell University)|Feb 1, 2013

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

一句话总结

该论文建立了非一致加倍黎曼流形上具有端点的 Hardy-Littlewood极大函数与热流极大函数的弱类型 (1,1) 和强类型 (p,p) 有界性。通过在形如 $Σ^{m} \times \mathbb{S}^{N-m}$ 的流形上使用热核估计与 dyadic 分解，作者在加倍条件不成立的情况下证明了有界性，将经典的 Calderón-Zygmund 理论推广至非一致加倍的几何设定。

ABSTRACT

Let $M$ be a manifold with ends constructed in \cite{GS} and $Δ$ be the Laplace-Beltrami operator on $M$. In this note, we show the weak type $(1,1)$ and $L^p$ boundedness of the Hardy-Littlewood maximal function and of the maximal function associated with the heat semigroup $\M_Δf(x)=\sup_{t> 0} |\exp (-tΔ)f(x)| $ on $L^p(M)$ for $1 < p \le \infty$. The significance of these results comes from the fact that $M$ does not satisfies the doubling condition.

研究动机与目标

• 将经典的 Calderón-Zygmund 理论推广至加倍条件不成立的具有端点的非一致加倍黎曼流形。
• 在这些流形上建立 Hardy-Littlewood 极大函数与热流极大函数的有界性。
• 通过针对混合维数端点设计的几何与分析技术，克服加倍性缺失的问题。
• 将 $L^p$ 有界性结果推广至非一致加倍设定，特别是针对 $1 < p \leq \infty$。

提出的方法

• 流形 $M$ 构造为连通和 $\mathcal{R}^{n} \sharp \mathcal{R}^{m}$，其中 $2 < n < m$，且 $\mathcal{R}^{m} = \mathbb{R}^{m} \times \mathbb{S}^{N-m}$，导致体积增长非一致。
• 以 [2] 中的热核估计为基础，特别是对所有 $t > 0$ 的 $\exp(-t\Delta)$ 的上界与下界。
• 通过将定义域划分为中心部分 $K$、端点 $\mathcal{R}^{n} \setminus K$ 与另一端点 $\mathcal{R}^{m}$，对极大函数 $\mathcal{M}_{\Delta}f(x) = \sup_{t>0} |\exp(-t\Delta)f(x)|$ 进行分析。
• 将函数 $f$ 分解为分别在 $\mathcal{R}^{n} \setminus K$、$K$ 与 $\mathcal{R}^{m}$ 上有紧支集的 $f_1$、$f_2$ 与 $f_3$，以实现估计的局部化。
• 对每个分量，利用热核衰减与体积增长，推导出 $|\exp(-t\Delta)f_i(x)|$ 的点态界，按时间尺度 $t > 1$ 与 $t \leq 1$ 分情况讨论。
• 通过利用半群的次马尔可夫性，结合 $L^1$ 范数与弱型控制，获得弱类型 (1,1) 估计。

实验结果

研究问题

• RQ1 在非一致加倍且具有端点的流形上，Hardy-Littlewood 极大函数是否仍有界？
• RQ2 热流极大函数 $\mathcal{M}_{\Delta}$ 在此类流形上是否为弱类型 (1,1)？
• RQ3 当加倍条件不成立时，$\mathcal{M}_{\Delta}$ 是否可延拓为 $L^p(M)$ 上的有界算子（$1 < p < \infty$）？
• RQ4 在混合维数端点上，体积增长与热核衰减如何影响极大函数的估计？

主要发现

• Hardy-Littlewood 极大函数在 $M$ 上为弱类型 (1,1)，其分布函数满足 $C \|f\|_{L^1}/\lambda$ 的上界。
• 热流极大函数 $\mathcal{M}_{\Delta}$ 为弱类型 (1,1)，满足 $\mu(\{x : \mathcal{M}_{\Delta}f(x) > \lambda\}) \leq C \|f\|_{L^1}/\lambda$。
• $\mathcal{M}_{\Delta}$ 在所有 $1 < p < \infty$ 上有界，这是由弱类型 (1,1) 与强类型 ($\infty,\infty$) 之间的插值所得。
• $\mathcal{M}_{\Delta}$ 的 $L^\infty$ 有界性源于半群 $\exp(-t\Delta)$ 的次马尔可夫性。
• $M = \mathcal{R}^{n} \sharp \mathcal{R}^{m}$（其中 $2 < n < m$）不满足加倍条件，因为对某些 $x$ 与 $r$，有 $V(x,2r)/V(x,r)$ 无界。
• 估计依赖于基于时间尺度（$t > 1$ 与 $t \leq 1$）与空间位置（端点与中心部分）的分类讨论，相应地，体积增长由 $r^n$ 或 $r^m$ 主导。