Sharp trace inequalities for conformally invariant fractional powers of the sublaplacian on the Heisenberg group and the CR sphere

这是一份关于论文《Heisenberg 群和 CR 球面上共形不变分数阶次拉普拉斯算子的锐迹不等式》（Sharp Trace Inequalities for Conformally Invariant Fractional Powers of the Sublaplacian on the Heisenberg Group and the CR Sphere）的详细技术总结。

1. 研究背景与问题 (Problem)

核心问题：
在欧几里得空间 $\mathbb{R}^n$ 中，关于分数阶 Sobolev 空间的锐迹不等式（Sharp Sobolev Trace Inequalities）已被 Einav-Loss、Beckner 以及 Bez-Machihara-Sugimoto 等人建立。这些不等式描述了函数在定义域上的能量（涉及分数阶拉普拉斯算子）与其在边界（或低维子流形）上的迹（Trace）之间的最优常数关系。

本文目标：
将上述欧几里得空间的结果推广到非欧几里得的几何结构中，具体包括：

1. Heisenberg 群 ($H^n$)：具有各向异性伸缩性质的亚椭圆流形。
2. CR 球面 ($S^{2n+1}$)：复结构下的球面，与 Heisenberg 群通过 Cayley 变换相关联。
3. 标准球面 ($S^n$)：作为欧几里得情形的对偶，验证方法的普适性。

具体而言，作者旨在建立涉及共形不变分数阶次拉普拉斯算子（Conformally Invariant Fractional Powers of the Sublaplacian）的锐迹不等式，并确定最佳常数（Best Constants）及取等条件（Extremal Functions）。此外，还研究了极限情况 $s = Q_n$（齐次维数）下的迹 Beckner-Onofri 不等式。

2. 方法论 (Methodology)

本文的证明策略结合了对偶论证（Duality Argument）与Hardy-Littlewood-Sobolev (HLS) 不等式的锐形式。主要技术路线如下：

1. 算子定义与性质：

   • 在 $H^n$ 上定义了共形不变分数阶算子 $L_{s, H^n}$，在 $S^{2n+1}$ 上定义了 $A_{s, S^{2n+1}}$。这些算子通过球谐函数（Spherical Harmonics）的谱分解定义。
   • 利用 Cayley 变换 $C_n$ 建立 $H^n$ 与 $S^{2n+1}$ 之间的算子联系，使得在其中一个空间上的结果可以转化为另一个空间。

2. Bez-Machihara-Sugimoto 的对偶论证：

   • 引入线性算子 $S_m$（从全空间到子空间的限制与逆算子的组合）及其伴随算子 $S_m^*$。
   • 构造投影算子 $P_{s,m}$，将函数分解为“正交”部分和“迹”部分。
   • 利用恒等式：
     $$\|f\|^2 = \|f - P_{s,m}(R_m f)\|^2 + C \cdot \|R_m f\|^2$$
     其中 $R_m$ 是限制算子。通过证明 $P_{s,m}$ 的具体积分表达式，将问题转化为已知的锐 Sobolev 不等式。

3. Frank-Lieb 的锐 HLS 不等式：

   • 利用 Frank 和 Lieb 在 $H^n$ 和 $S^{2n+1}$ 上建立的锐 Hardy-Littlewood-Sobolev 不等式。
   • 通过卷积恒等式和算子的谱性质，计算伴随算子 $S_m S_m^*$ 的常数，从而导出迹不等式中的最佳常数。

4. 极限情况处理：

   • 当 $s \to Q_n$ 时，分数阶算子退化为对数型算子（涉及 $\ln|1-\xi \cdot \zeta|$）。
   • 通过对 $s$ 求导（在 $s=Q_n$ 处），从 Sobolev 型不等式推导出 Beckner-Onofri 型不等式。

3. 主要贡献与结果 (Key Contributions & Results)

A. Heisenberg 群与 CR 球面上的锐迹 Sobolev 不等式

作者建立了三种形式的锐迹不等式（对应定理 1.3, 1.4, 1.5）：

1. Heisenberg 群上的迹 ($H^n \to H^{n-m}$)：

   • 对于 $f \in W^{s,2}(H^n)$，建立了 $L^2$ 范数与子群 $H^{n-m}$ 上迹的 $L^p$ 范数之间的不等式。
   • 最佳常数：显式给出了包含 Gamma 函数和 $\pi$ 的精确常数。
   • 取等条件：函数形式为 $f(u) = c |z''|^{s-2m} \int_{H^{n-m}} |u^{-1}v|^{4m-Q_n-s} \dots dv$。

2. CR 球面上的迹 ($S^{2n+1} \to S^{2(n-m)+1}$)：

   • 利用 Cayley 变换将 $H^n$ 的结果转化到 $S^{2n+1}$。
   • 建立了涉及算子 $A_{s, S^{2n+1}}$ 的锐迹不等式。
   • 取等条件：涉及复数 $\xi$ 和球面几何距离 $|1-\zeta \cdot \eta|$ 的特定核函数。

3. 混合情形 ($H^n \to S^{2(n-m)+1}$)：

   • 建立了从 Heisenberg 群到 CR 球面子流形的迹不等式。

B. 极限情况：迹 Beckner-Onofri 不等式

在 $s = Q_n$（齐次维数）的极限情况下，作者推导了迹版本的 Beckner-Onofri 不等式（定理 1.7）：

• 形式：涉及对数项 $\ln(\int e^F)$ 和算子 $A'_{Q_n}$（Branson-Fontana-Morpurgo 算子）。
• 意义：这是该几何背景下首次建立的此类迹不等式，填补了文献空白。
• 取等函数：形式为 $F(\zeta) \sim -Q_n \ln|1-\xi \cdot \eta| + c$ 的积分变换。

C. 标准球面上的迹 Beckner-Onofri 不等式

• 利用相同的方法，作者推导了标准欧几里得球面 $S^n$ 上的迹 Beckner-Onofri 不等式（定理 1.9）。
• 创新性：此前文献中尚未考虑过标准球面上的此类迹版本，本文通过统一框架将其补全。

4. 技术细节与公式亮点

• 算子表示：
  算子 $A_{s, S^{2n+1}}$ 被表示为：
  $$A_{s, S^{2n+1}} = \frac{\Gamma(\sqrt{D-T^2} - iT + \frac{2+s}{4})\Gamma(\sqrt{D-T^2} + iT + \frac{2+s}{4})}{\Gamma(\sqrt{D-T^2} - iT + \frac{2-s}{4})\Gamma(\sqrt{D-T^2} + iT + \frac{2-s}{4})}$$
  其中 $D$ 是共形次拉普拉斯算子，$T$ 是横向向量场。

• 投影算子构造：
  在证明中，关键的投影算子 $P_{s,m}$ 具有显式的积分核形式，例如在 $H^n$ 上：
  $$P_{s,m}(R_m f)(u) \propto |z''|^{s-2m} \int_{H^{n-m}} |u^{-1}v|^{4m-Q_n-s} R_m f(v) dv$$
  这种显式构造使得取等函数的形式得以精确确定。

• Cayley 变换的 Jacobian：
  利用 $|JC_n(z,t)| = \frac{2^{2n+1}}{((1+|z|^2)^2+t^2)^{n+1}}$ 进行空间变换，确保了共形不变性在不等式中的保持。

5. 研究意义 (Significance)

1. 理论推广：成功将欧几里得空间中的经典分析工具（锐迹不等式、Bez-Machihara-Sugimoto 对偶法）推广到了非交换、非各向同性的 Heisenberg 群和 CR 几何结构中。
2. 最佳常数：提供了所有不等式的精确最佳常数，这对于理解相关变分问题的极值函数性质至关重要。
3. 统一框架：展示了通过 Cayley 变换和对偶论证，可以统一处理 Heisenberg 群、CR 球面以及标准球面上的问题，揭示了不同几何背景下的深层联系。
4. 极限情形突破：在 $s=Q_n$ 处建立了迹 Beckner-Onofri 不等式，这是共形几何中关于极值问题的重要进展，为后续研究 CR 几何中的共形不变量提供了新的工具。
5. 应用潜力：这些不等式在非线性偏微分方程（如分数阶次拉普拉斯方程）、几何分析（如共形曲率问题）以及量子场论的边界理论中具有重要的潜在应用价值。

总结：
Yang 和 Yu 的这篇论文通过精妙的算子构造和对偶论证，在 Heisenberg 群和 CR 球面上建立了分数阶次拉普拉斯算子的锐迹不等式，并推导了极限情况下的 Beckner-Onofri 不等式。这项工作不仅扩展了经典欧几里得分析的结果，还丰富了 CR 几何和亚椭圆分析的理论体系，提供了精确的最佳常数和极值函数描述。