[论文解读] H^1 and BMO for certain nondoubling metric measure spaces

Antonella Carbonaro, Giancarlo Mauceri+1 more|ArXiv.org|Aug 1, 2008

Advanced Harmonic Analysis Research参考文献 41被引用 11

一句话总结

该论文在满足等周性质和近似中点性质等几何条件的度量测度空间上，构建了原子型 Hardy 空间 $H^1$ 和相应的 $BMO$ 空间，该空间全局非加倍但局部加倍。论文建立了 $H^1$ 与 $BMO$ 的对偶性，证明了小球上的 John–Nirenberg 不等式，并证明了奇异积分算子从 $H^1$ 到 $L^1$ 以及从 $L^\frown$ 到 $BMO$ 的有界性，将经典理论拓展至非加倍测度之外。

ABSTRACT

Suppose that (M,d,m) is an unbounded metric measure space, which possesses two geometric properties, called "isoperimetric property" and "approximate midpoint property", and that the measure m is locally doubling. The isoperimetric property implies that the volume of balls grows at least exponentially with the radius. Hence the measure m is not globally doubling. In this paper we define an atomic Hardy space H1(m), where atoms are supported only on "small balls", and a corresponding space BMO(m) of functions of bounded mean oscillation, where the control is only on the oscillation over small balls. We prove that BMO(m) is the dual of H1(m) and that an inequality of John-Nirenberg type on small balls holds for functions in BMO(m). Furthermore, we show that the Lp(m) spaces are intermediate spaces between H1(m) and BMO(m), and we develop a theory of singular integral operators acting on function spaces on M. Finally, we show that our theory is strong enough to give H1(m)-L1(m) and L1(m)-BMO(m) estimates for various interesting operators on Riemannian manifolds and symmetric spaces which are unbounded on L1(m) and on L\infty(m).

研究动机与目标

• 将经典的 $H^1$ 与 $BMO$ 理论拓展至非全局加倍但局部加倍的度量测度空间。
• 仅使用半径不超过 $b$ 的小球来定义 $H^1$ 与 $BMO$ 空间，通过原子与振荡控制的方式，将经典定义适配于非加倍情形。
• 建立 $H^1$ 与 $BMO$ 之间的对偶性，并在小球范围内证明 John–Nirenberg 不等式。
• 证明在实分析与复分析插值下，$L^p$ 空间是 $H^1$ 与 $BMO$ 之间的中间空间。
• 证明奇异积分算子（包括 Riesz 变换与傅里叶乘子）在这些空间上从 $H^1$ 到 $L^1$ 以及从 $L^\frown$ 到 $BMO$ 有界。

提出的方法

• 通过仅限制在半径不超过 $b$ 的球上使用原子与振荡控制来定义 $H^1_b(\mu)$ 与 $BMO_b(\mu)$，确保定义具有尺度依赖性但保持一致性。
• 引入等周性质（指数体积增长）与近似中点性质（AMP）作为几何假设，以控制测度行为。
• 证明 $H^1_b(\mu)$ 与 $BMO_b(\mu)$ 的定义与尺度参数 $b$ 无关，从而确立定义的鲁棒性。
• 利用 dyadic 分解与通过截断函数 $\psi$ 和 $1-\psi$ 实现的核局部化，将算子拆分为局部与全局部分。
• 通过验证定理 8.2 中的核条件 $\nu_t < \infty$ 与 $\upsilon_t < \infty$，证明局部化算子 $\mathcal{T}_{k_0}$ 的有界性。
• 在管状区域 $\mathbf{T}$ 上应用 Mihlin–Hörmander 乘子条件，以保证 $L^2$ 有界性，并通过插值与对偶性将结果推广至 $H^1$–$L^1$ 与 $L^\frown$–$BMO$ 有界性。

实验结果

研究问题

• RQ1 能否在非全局加倍但局部加倍的度量测度空间上建立行为良好的 $H^1$–$BMO$ 理论？
• RQ2 在非全局加倍但满足几何约束的条件下，$H^1$ 与 $BMO$ 之间的对偶性是否仍然成立？
• RQ3 在非加倍情形下，若仅对小球（半径不超过 $b$）施加控制，能否建立 $BMO$ 函数的 John–Nirenberg 不等式？
• RQ4 在此类空间中，$L^p$ 空间是否在实插值与复插值下均为 $H^1$ 与 $BMO$ 之间的中间空间？
• RQ5 奇异积分算子（如 Riesz 变换与傅里叶乘子）是否能有界地从 $H^1$ 扩展到 $L^1$，并从 $L^\frown$ 扩展到 $BMO$？

主要发现

• 空间 $H^1_b(\mu)$ 与 $BMO_b(\mu)$ 与尺度参数 $b$ 无关，确保了不同尺度下的一致性。
• $H^1(\mu)$ 的对偶空间等距同构于 $BMO(\mu)$，将经典加倍空间中的对偶性关系推广至非加倍情形。
• 在几何假设下，$BMO(\mu)$ 中函数的 John–Nirenberg 不等式在半径不超过 $b$ 的小球范围内成立。
• 对于 $p \in (1,\infty)$，$L^p(\mu)$ 空间在实插值与复插值下均为 $H^1(\mu)$ 与 $BMO(\mu)$ 之间的中间空间。
• 具有 Mihlin–Hörmander 乘子（阶数 $\kappa > (\dim X)/2 + 1$）的奇异积分算子，从 $H^1(\mu)$ 到 $L^1(\mu)$ 以及从 $L^\frown(\mu)$ 到 $BMO(\mu)$ 均有界。
• 局部化 Riesz 变换 $\nabla(\mathcal{L}+\varepsilon)^{-1/2}$ 有界地扩展为从 $H^1(\mu)$ 到 $L^1(\mu)$ 的算子，且在等周性质下，其可通过插值得到 $L^p$ 有界性，$p \in (1,2)$。