Lipschitz spaces adapted to Schrödinger operators on the Heisenberg group

技术摘要：适应海森堡群上薛定谔算子的 Lipschitz 空间

问题陈述
本文研究了适应海森堡群 $\mathbb{H}^n$ 上的薛定谔算子 $L = -\Delta_{\mathbb{H}^n} + V$ 的 Lipschitz（或 Hölder-Zygmund）空间的特征化。虽然在分层李群上的 Lipschitz 空间 $\Lambda_\alpha(G)$ 以及适应欧几里得空间 $\mathbb{R}^n$ 上薛定谔算子的空间已被广泛研究，但仍缺乏一个将非负势函数 $V$ 纳入海森堡群的统一框架。具体而言，作者旨在通过两种不同的途径——一种是基于点状二阶差分条件的途径，另一种是基于热半群特征化的途径——来定义适应 $L$ 的 Lipschitz 空间，并建立它们的等价性。本研究受到 De León-Contreras 和 Torrea [6] 在欧几里得设定下工作的启发，同时也受到近期 Dai [5] 在 $\mathbb{H}^n$ 上关于 Campanato 型空间研究进展的启发，而后者并未充分解决热半群特征化或 $L$ 的分数幂正则性问题。

方法论与框架
作者在海森型群 $\mathbb{H}^n$ 的背景下开展工作，这是一个具有齐次维度 $Q = 2n+2$ 的非交换分层李群。假设势函数 $V$ 是非负的，且属于反向 Hölder 类 $RH_q(\mathbb{H}^n)$，其中 $q > Q/2$。

1. 临界半径函数： 一个核心工具是临界半径函数 $\rho(x)$，它基于势函数 $V$ 的局部行为定义。该函数控制了势函数显著影响算子行为的尺度。
2. 两种 Lipschitz 空间的定义：
   • 点状定义 ($\Lambda_\alpha^L(\mathbb{H}^n)$)： 对于 $0 < \alpha < 2$，该空间通过包含加权 $L^\infty$ 项和二阶差分商上确界的范数来定义：
     $$\|f\|_{\Lambda_\alpha^L} \approx \|\rho(\cdot)^{-\alpha}f\|_{L^\infty} + \sup_{|y|>0} \frac{\|f(xy) + f(xy^{-1}) - 2f(x)\|_{L^\infty}}{|y|^\alpha}$$
     其中的差分项 $f(xy) + f(xy^{-1}) - 2f(x)$ 取代了欧几里得形式的 $f(x+h) + f(x-h) - 2f(x)$，以适应群结构。
   • 热半群定义 ($\Gamma_{\alpha/2}^L(\mathbb{H}^n)$)： 对于 $0 < \alpha < \infty$，该空间通过热半群 $T_t^L = e^{-tL}$ 的时间导数的衰减来定义：
     $$\|f\|_{\Gamma_{\alpha/2}^L} \approx \sup_{t>0} t^{k-\alpha/2} \|\partial_t^k T_t^L f\|_{L^\infty}$$
     其中 $k = \lfloor \alpha/2 \rfloor + 1$。
3. 分析工具： 证明过程依赖于：
   • 针对亚拉普拉斯算子 $-\Delta_{\mathbb{H}^n}$ 和薛定谔算子 $L$ 的精确热核估计，这些估计表现出各向异性的衰减，并依赖于 $\rho(x)$。
   • 利用左不变向量场在 $\mathbb{H}^n$ 上建立的有限增量公式（类泰勒展开）。
   • 比较热半群 $T_t^L$ 与 $T_t = e^{t\Delta_{\mathbb{H}^n}}$，从而将估计从经典设定转移到薛定谔设定。

主要贡献与结果

1. 空间的等价性（主定理）：
   主要结果（定理 1.1）确立了在范围 $0 < \alpha < 2 - Q/q$ 内，点状空间 $\Lambda_\alpha^L(\mathbb{H}^n)$ 与热半群空间 $\Gamma_{\alpha/2}^L(\mathbb{H}^n)$ 是一致的，且范数等价。
   $$\Lambda_\alpha^L(\mathbb{H}^n) = \Gamma_{\alpha/2}^L(\mathbb{H}^n)$$
   由于 $\mathbb{H}^n$ 的非交换性质以及势函数 $V$ 的存在，使得直接将群差分归约为欧几里得平移变得不再直接，因此这一等价性的证明是非平凡的。

2. 技术引理与辅助结果：

   • 作者推导了涉及临界半径函数的热核 $K_t^L(x,y)$ 导数的特定估计。
   • 他们证明了 $\Gamma_{\alpha/2}^L(\mathbb{H}^n)$ 中的函数满足必要的增长条件，以确保热半群是良定义的且收敛于原函数。
   • 关键步骤在于证明 $L$ 的热半群与亚拉普拉斯算子的热半群之间的差异受势函数性质的控制，从而允许转移正则性估计。

3. 对分数幂的应用：
   本文应用新建立的空间 $\Gamma_{\alpha/2}^L(\mathbb{H}^n)$ 来研究 $L$ 的分数幂的正则性。具体而言，定理 4.1 和 4.2 表明：

   • Bessel 势 $(I+L)^{-\beta/2}$ 和分数积分 $L^{-\beta/2}$ 将 $\Gamma_{\alpha/2}^L(\mathbb{H}^n)$ 映射到 $\Gamma_{(\alpha+\beta)/2}^L(\mathbb{H}^n)$（平滑效应）。
   • 分数“亚拉普拉斯算子” $L^{\beta/2}$ 将 $\Gamma_{\alpha/2}^L(\mathbb{H}^n)$ 映射到 $\Gamma_{(\alpha-\beta)/2}^L(\mathbb{H}^n)$（正则性损失），前提是 $0 < \beta < \alpha$。

意义与主张
本文声称将适应薛定谔算子的 Lipschitz 空间的理论从欧几里得设定扩展到了海森堡群。作者强调，$\mathbb{H}^n$ 的非交换性和各向异性扩张结构引入了实质性的困难，特别是在处理二阶差分条件以及控制沿非交换向量场的导数方面。

通过建立点状定义与半群定义之间的等价性，本文为分析涉及 $L$ 的方程的正则性提供了一个稳健的框架。这项工作填补了文献中的空白，因为之前的 $\mathbb{H}^n$ 研究（如 Dai [5]）仅限于 $\alpha \le 1$ 的 Hölder 空间，或者未调查热半群特征化及分数幂正则性。其结果推广了之前的欧几里得发现（De León-Contreras 和 Torrea [6]），并为非欧几里得设定下的薛定谔算子调和分析奠定了基础。