Riesz transform and its related inequalities for degenerate elliptic operators of Grushin type

技术摘要：Grushin 型退化椭圆算子的 Riesz 变换及其相关不等式

问题陈述
本文研究了一类 Grushin 型退化椭圆算子的 Riesz 变换的 $L^p$ 有界性以及反向 Riesz 不等式的有效性。算子 $L$ 定义在 $\mathbb{R}^{n+m}$ 上为：
$$L = -\nabla_x \cdot (|x|^{2\alpha}\nabla_x) + |x|^{2\beta}\Delta_y,$$
其中 $n, m \ge 1$，$0 < \alpha < 1$，且 $\beta \ge 0$。其相关的内蕴梯度为 $\nabla_L = (|x|^\alpha \nabla_x, |x|^\beta \nabla_y)$。退化发生在奇异集 $\{x=0\}$ 处。

核心问题包括：

1. Riesz 变换有界性： 对于哪些 $p \in (1, \infty)$，不等式 $\|\nabla_L L^{-1/2} f\|_p \le C_p \|f\|_p$ 成立？
2. 反向 Riesz 不等式： 对于哪些 $p$，反向不等式 $\|L^{1/2} f\|_p \le C_p \|\nabla_L f\|_p$ 成立？

由于 Grushin 空间的各向异性几何结构以及 Friedrichs 实现（Friedrichs realization）在奇异集附近的行为随维度 $n$ 和退化参数 $\alpha$ 的变化而显著不同，分析过程变得十分复杂。

方法论
证明策略依赖于建立 $L$-调和函数梯度的反向 Hölder 不等式，并利用这些不等式与 Riesz 变换有界性之间的抽象等价关系（Coulhon, Jiang, Koskela, Sikora）。该方法根据维度和退化程度分为不同的机制（regimes）：

1. 核构造与显式分析：

   • Friedrichs 实现： 作者严格刻画了奇异集 $\{x=0\}$ 处的容许边界条件。对于 $0 < \alpha < 1/2$，其形式域（form domain）具有共同的迹，从而导致通量匹配条件。对于 $1/2 \le \alpha < 1$，奇异集具有零容量，将定义域分隔为两个带有零通量条件的半直线。
   • Poisson 核与 Green 核： 作者构造了适配于 Friedrichs 扩张的显式 Poisson 核和 Green 核。这涉及在 $y$ 变量上进行傅里叶变换，并对球面调和函数进行分解（对于 $n \ge 2$）或对奇偶部分进行分离（对于 $n=1$）。
   • 修正 Bessel 函数： 算子的径向部分简化为修正 Bessel 方程。分析需要对修正 Bessel 函数（$I_\nu$ 和 $K_\nu$）的比值进行精确估计。
     • 在 $n \ge 2$ 的情况下，Bessel 函数的阶数 $\nu_\ell$ 取决于角频率 $\ell$ 且趋于无穷大。作者开发了关于阶数的一致估计（uniform-in-order estimates），这些估计对于控制奇异集的相互作用至关重要。
     • 在 $n=1$ 的情况下，问题简化为半直线上固定阶数的 Bessel 分析，但具有不同的边界条件（偶分量为零通量，奇分量为零迹）。

2. 通过调和湮灭实现反向 Riesz 不等式：

   • 对于反向不等式，特别是在强退化情形（$n=1, \alpha \ge 1/2$）下全局 Poincaré 不等式失效时，作者采用了**调和湮灭（harmonic annihilation）**方法。
   • 该技术隔离了 Riesz 变换核中的主调和项（该项导致了某些机制下的无界性），并通过在双线性形式中进行分部积分将其消除。剩余项则利用适配 Grushin 的 Hardy 不等式进行控制。

3. Hodge 投影算子论证：

   • 在强退化一维情形（$n=1, 1/2 \le \alpha < 1$）中，由于缺乏全局 Poincaré 不等式，无法直接应用标准的反向 Hölder 特征化。作者将反向 Riesz 不等式与 Hodge 投影算子的有界性结果（Shen 的判据）相结合，从而恢复了完整的 Riesz 变换有界性范围。

主要贡献与结果

• $n \ge 2$ 的全范围有界性：
  定理 1.1 确立了对于 $n \ge 2$ 且 $0 < \alpha < 1$，Riesz 变换在 $L^p$ 上对于全范围 $1 < p < \infty$ 是有界的。这是通过证明在奇异集附近满足端点反向 Hölder 估计 $(RH_\infty)$ 来实现的。

• 弱退化 $n=1$ 的锐利范围与端点障碍：
  对于 $n=1$ 且 $0 < \alpha < 1/2$，定理 1.2 证明了 Riesz 变换有界的充要条件是 $1 < p < \alpha^{-1}$。

  • 机制： 解的奇分量满足原点处的零迹条件，其行为类似于 $\text{sgn}(x)|x|^{1-2\alpha}$。其内蕴梯度按 $|x|^{-\alpha}$ 缩放，产生了一个在 $p \ge \alpha^{-1}$ 时阻碍有界性的奇异性。
  • 锐利性： 作者构造了一个反例，展示了在端点处反向 Hölder 不等式的失效。

• 所有机制下的反向 Riesz 不等式：
  定理 1.3 确立了所有 $n, m \ge 1$ 下的反向 Riesz 不等式。

  • 对于 $n \ge 2$，它对所有 $1 < p < \infty$ 成立。
  • 对于 $n=1$，它对 $p \in (1, (1-\alpha)^{-1}) \cup ((1-\alpha)^{-1}, \infty)$ 成立。排除的指数 $p = (1-\alpha)^{-1}$ 对应于 Hardy 阈值。
  • 至关重要的是，在强退化情形（$n=1, \alpha \ge 1/2$）下，尽管全局 Poincaré 不等式失效，但得益于调和湮灭技术，反向不等式对所有 $1 < p < \infty$ 仍然成立。

• 强退化 $n=1$ 的全范围有界性：
  定理 1.4 证明了对于 $n=1$ 且 $1/2 \le \alpha < 1$，Riesz 变换在全范围 $1 < p < \infty$ 内是有界的。

  • 机制： Friedrichs 实现将两个半直线分离，并选择了每个分量上的零通量分支。虽然全局 Poincaré 不等式失效，但这种分离结构允许使用强化的局部反向 Hölder 估计。通过将此与反向 Riesz 不等式及 Hodge 投影算子的有界性相结合，得到了全范围有界性的结果。

意义与主张
本文声称提供了 Grushin 算子在所有参数机制下 Riesz 变换 $L^p$ 有界性的完整描述。

• 行为转变： 一个关键发现是奇异集行为中的“显著转变”。在弱退化一维情形下，奇异集作为一个屏障，制造了特定的阻碍（$p < \alpha^{-1}$）。在强退化情形下，奇异集有效地分隔了空间，但分离结构上的零通量条件恢复了全范围有界性。
• 技术新颖性： 本工作引入了在 Grushin 算子背景下关于修正 Bessel 函数的一致阶数估计，这对于高维情况是必要的。此外，它还改进了调和湮灭方法，以处理奇异集具有零容量的退化算子，从而绕过了反向 Riesz 分析中对全局 Poincaré 不等式的需求。
• 局限性： 文中指出，端点情况 $p = \alpha^{-1}$（对于 $n=1, \alpha < 1/2$）以及 $p = (1-\alpha)^{-1}$（对于反向不等式）仍是开放问题，或者已知是失效的精确阈值，但本文并未解决这些精确点处的有界性问题。

结果表明，Riesz 变换的有界性不仅对热核几何敏感，而且特别对调和函数在奇异集处的局部端点行为以及 Friedrichs 实现与内蕴梯度之间的相互作用敏感。