[论文解读] Harmonic Analysis Operators Associated with Multidimensional Bessel Operators

Jorge J. Betancor, Alejandro J. Castro+1 more|arXiv (Cornell University)|Mar 1, 2010

Advanced Harmonic Analysis Research参考文献 29被引用 3

一句话总结

本文建立了与多维Bessel算子热半群相关的极大算子和Littlewood-Paley g-函数的弱型(1,1)有界性，并证明了在所有 $1 < p < \infty$ 下，多维Bessel设定中Riesz变换的强型(p,p)和弱型(1,1)有界性。结果通过加权测度空间和二元分解技术，将经典调和分析推广至高维Bessel情境。

ABSTRACT

In this paper we establish that the maximal operator and the Littlewood-Paley g-function associated with the heat semigroup defined by multidimensional Bessel operators are of weak type (1,1). Also, we prove that Riesz transforms in the multidimensional Bessel setting are of strong type (p,p), for every $1

研究动机与目标

• 将调和分析算子——极大算子、Littlewood-Paley g-函数与Riesz变换——推广至多维Bessel设定。
• 在关于测度 $\prod x_j^{2\lambda_j} dx$ 的加权 $L^p$ 空间中，建立这些算子的弱型(1,1)与强型(p,p)有界性。
• 通过热半群与Riesz变换理论，将一维Bessel调和分析结果推广至高维（$n \geq 2$）。
• 为多维Bessel设定中的关键调和算子提供完整的 $L^p$-有界性理论，包括热半群的 a.e. 收敛性。

提出的方法

• 借鉴Nowak与Sjögren（2010）的技术，通过二元分解与弱型估计，证明极大算子的弱型(1,1)有界性。
• 使用由多维Bessel算子 $\Delta_{\lambda_1,\dots,\lambda_n}$ 生成的热半群 $\{W_t^{\lambda_1,\dots,\lambda_n}\}_{t>0}$，其为关于测度 $m_{\lambda_1,\dots,\lambda_n}$ 的对称扩散半群。
• 将Littlewood-Paley g-函数定义为 $g^{\lambda_1,\dots,\lambda_n}(f)(x) = \left(\int_0^\infty \left|t \frac{\partial}{\partial t} W_t^{\lambda_1,\dots,\lambda_n}(f)(x)\right|^2 \frac{dt}{t}\right)^{1/2}$，并证明其弱型(1,1)有界性。
• 通过分解 $\Delta_{\lambda_i} = \left(\frac{d}{dx_i}\right)^* \frac{d}{dx_i}$ 定义Riesz变换 $R_i^{\lambda_1,\dots,\lambda_n}$，并利用极大函数估计与二元分解证明其 $L^p$-有界性。
• 采用二元立方体 $\prod_{j=1}^n [2^{m_j}, 2^{m_j+1})$ 局域化算子，并通过极大函数估计控制弱型范数。
• 结合极大算子与g-函数的 $L^p$-有界性及 $L^1$-弱估计，通过插值与标准极限论证，推导出 $1 < p < \infty$ 时Riesz变换的 $L^p$-有界性及其弱型(1,1)性质。

实验结果

研究问题

• RQ1 与多维Bessel热半群相关的极大算子是否关于测度 $\prod x_j^{2\lambda_j} dx$ 为弱型(1,1)？
• RQ2 与多维Bessel热半群相关的Littlewood-Paley g-函数是否将 $L^1$ 映射至弱 $L^1$？
• RQ3 在多维Bessel设定中，Riesz变换是否对所有 $1 < p < \infty$ 在 $L^p$ 上有界？
• RQ4 在多维Bessel设定中，Riesz变换是否为弱型(1,1)？
• RQ5 与多维Bessel算子相关的热半群是否对 $L^p$ 函数几乎处处收敛？

主要发现

• 极大算子 $W_*^{\lambda_1,\dots,\lambda_n}$ 关于测度 $m_{\lambda_1,\dots,\lambda_n}$ 为弱型(1,1)，即 $\|W_*^{\lambda_1,\dots,\lambda_n}(f)\|_{L^{1,\infty}} \leq C \|f\|_{L^1}$。
• Littlewood-Paley g-函数 $g^{\lambda_1,\dots,\lambda_n}$ 有界映射 $L^1((0,\infty)^n, \prod x_j^{2\lambda_j} dx)$ 至弱 $L^1((0,\infty)^n, \prod x_j^{2\lambda_j} dx)$。
• 对每个 $1 < p < \infty$，Riesz变换 $R_i^{\lambda_1,\dots,\lambda_n}$ 在 $L^p((0,\infty)^n, \prod x_j^{2\lambda_j} dx)$ 上有界。
• Riesz变换 $R_i^{\lambda_1,\dots,\lambda_n}$ 为弱型(1,1)，即 $\|R_i^{\lambda_1,\dots,\lambda_n}(f)\|_{L^{1,\infty}} \leq C \|f\|_{L^1}$。
• 对每个 $f \in L^p((0,\infty)^n, \prod x_j^{2\lambda_j} dx)$ 且 $1 \leq p < \infty$，热半群满足 $\lim_{t \to 0^+} W_t^{\lambda_1,\dots,\lambda_n}(f)(x) = f(x)$ 几乎处处成立于 $x \in (0,\infty)^n$。
• Riesz变换几乎处处为奇异积分主值：$R_i^{\lambda_1,\dots,\lambda_n}(f)(x) = \lim_{\varepsilon \to 0^+} \int_{|x-y| > \varepsilon} R_i^{\lambda_1,\dots,\lambda_n}(x,y) f(y) dy$ 几乎处处成立于 $x \in (0,\infty)^n$。