[论文解读] Lower bound of Riesz transform kernels revisited and commutators on stratified Lie groups

Xuan Thinh Duong, Hong-Quan Li+3 more|arXiv (Cornell University)|Mar 4, 2018

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

一句话总结

本文在分层李群上建立了Riesz变换核的改进下界，使Riesz变换与BMO函数的换乘子在端点处的表征成为可能。研究证明了Heisenberg群上Riesz换乘子的弱型(1,1)有界性，表明这种有界性通过精确的范数估计刻画了BMO函数，将经典的Calderón-Zygmund理论推广至非欧几里得环境，并实现了精确的定量控制。

ABSTRACT

Let $\mathcal G$ be a stratified Lie group and $\{\X_j\}_{1 \leq j \leq n}$ a basis for the left-invariant vector fields of degree one on $\mathcal G$. Let $Δ= \sum_{j = 1}^n \X_j^2 $ be the sub-Laplacian on $\mathcal G$ and the $j^{\mathrm{th}}$ Riesz transform on $\mathcal G$ is defined by $R_j:= \X_j (-Δ)^{-\frac{1}{2}}$, $1 \leq j \leq n$. In this paper we give a new version of the lower bound of the kernels of Riesz transform $R_j$ and then establish the Bloom-type two weight estimates as well as a number of endpoint characterisations for the commutators of the Riesz transforms and BMO functions, including the $L\log^+L(\mathcal G)$ to weak $L^1(\mathcal G)$, $H^1(\mathcal G)$ to $L^1(\mathcal G)$ and $L^\infty(\mathcal G)$ to BMO$(\mathcal G)$. Moreover, we also study the behaviour of the Riesz transform kernel on a special case of stratified Lie group: the Heisenberg group, and then we obtain the weak type $(1,1)$ characterisations for the Riesz commutators.

研究动机与目标

• 在分层李群上改进Riesz变换核的下界估计，超越[9]中的先前结果。
• 在分层李群上建立Bloom型两权估计和换乘子的端点表征。
• 表征Heisenberg群上Riesz换乘子的弱型(1,1)有界性，证明其成立当且仅当符号属于BMO。
• 证明Heisenberg群上Riesz变换核几乎处处非零，这是弱型(1,1)结果的关键技术要素。

提出的方法

• 利用群结构和伸缩不变性，推导出分层李群上Riesz变换更强的核下界版本。
• 应用改进的核下界，通过 dyadic 分解和极大函数技术分析 $[b, R_j]$ 与 $b \in \text{BMO}(\mathcal{G})$ 的换乘子。
• 利用Heisenberg群上Riesz变换核几乎处处非零的性质，构造弱型(1,1)估计的测试集。
• 采用涉及球体和水平集的测试函数构造，利用齐次维数 $Q$ 和常数 $C_{d_K}, C_{K_j}$ 比较测度。
• 建立涉及 $[b,R_j]$ 的分布函数的一系列不等式，从而导出 $b$ 的 $L^\infty$ 范数关于算子范数的统一有界性。
• 利用单位球面 $\omega_Q$ 的Radon测度和几何估计，推导出 $\|b\|_{L^\infty}$ 的精确定量界，以 $\|[b,R_j]\|_{L^1 \to L^{1,\infty}}$ 表示。

实验结果

研究问题

• RQ1 能否在分层李群上建立比已知更强的Riesz变换核下界？
• RQ2 换乘子的端点表征——如 $L\log^+L$ 到弱 $L^1$、$H^1$ 到 $L^1$、$L^\infty$ 到 BMO——在分层李群上是否成立，且具有相应的精确常数？
• RQ3 在Heisenberg群上，换乘子 $[b,R_j]$ 的弱型(1,1)有界性是否等价于 $b \in \text{BMO}$？
• RQ4 Riesz变换核在Heisenberg群上是否在正测度集合上消失，这对有界性理论有何影响？
• RQ5 能否通过 $[b,R_j]$ 在 $L^1$ 到弱 $L^1$ 上的算子范数，对 $b$ 在 $L^\infty$ 中的范数实现定量控制？

主要发现

• 在分层李群上建立了Riesz变换核的新更强下界，优于[9]中的版本，使更强的端点估计成为可能。
• 换乘子 $[b,R_j]$ 从 $L\log^+L(\mathcal{G})$ 到弱 $L^1(\mathcal{G})$ 有界当且仅当 $b \in \text{BMO}(\mathcal{G})$，将经典结果推广至子黎曼几何环境。
• 换乘子 $[b,R_j]$ 从 $H^1(\mathcal{G})$ 到 $L^1(\mathcal{G})$ 有界当且仅当 $b$ 几乎处处为常数，确认了经典 $H^1$-有界性条件的精确性。
• 在Heisenberg群 $\mathbb{H}^n$ 上，换乘子 $[b,R_j]$ 为弱型$(1,1)$当且仅当 $b \in L^\infty(\mathbb{H}^n)$，并给出了定量范数估计。
• Riesz变换核在 $\mathbb{H}^n$ 上几乎处处非零，这是本文中证明的关键技术结果。
• 导出了一个精确的定量界：$\|b\|_{L^\infty(\mathbb{H}^n)} \leq \max\left\{2^Q, \frac{2^{Q+1}Q}{C_{K_j}\omega_Q}\left(1 + \frac{2^Q C_{d_K}^Q}{2^Q - 1}\right)\|[b,R_j]\|_{L^1 \to L^{1,\infty}}\right\}$，证明了弱型(1,1)的表征。