[论文解读] The tangential Cauchy-Riemann complex on the Heisenberg group Via Conformal Invariance

Chin-Yu Hsiao, Po‐Lam Yung|arXiv (Cornell University)|Mar 26, 2013

Holomorphic and Operator Theory参考文献 12被引用 5

一句话总结

该论文通过将 Heisenberg 群 𝕳¹ 与 CR 球面 𝕊³∖{p} 之间的共形等价性相结合，利用 𝕊³ 上已知的结果，求解了 Heisenberg 群上的切向 Cauchy-Riemann 方程，证明了在 L⁴ 和 L² 空间中解的存在性与正则性。关键贡献在于提出了一种新方法，通过共形权函数 h 克服 L²-伴随问题中的障碍，从而在正交性条件下建立了可解性。

ABSTRACT

The Heisenberg group $\mathbb{H}^1$ is known to be conformally equivalent to the CR sphere $\mathbb{S}^3$ minus a point. We use this fact, together with the knowledge of the tangential Cauchy-Riemann operator on the compact CR manifold $\mathbb{S}^3$, to solve the corresponding operator on $\mathbb{H}^1$.

研究动机与目标

• 在 Heisenberg 群 𝕳¹ 的 L⁴ 和 L² 空间中建立切向 Cauchy-Riemann 算子的可解性。
• 通过共形几何方法克服 𝕳¹ 上 L²-伴随问题中缺乏紧致性与非平凡核的问题。
• 通过立体投影与共形缩放，将问题从 𝕳¹ 转移到紧致的 CR 流形 𝕊³∖{p}。
• 在正交于核的条件下，证明 𝕳¹ 上方程 ∂̄_b u = f 和 ∂̄_b* u = f 的解的存在性。
• 开发一种共形权函数 h，使其在保持 ∂̄_b 算子结构的同时，实现从 𝕊³ 到 𝕳¹ 的解的提升。

提出的方法

• 利用立体投影建立 Heisenberg 群 𝕳¹ 与 CR 球面 𝕊³∖{p} 之间的共形等价性，共形因子为 G = 1/|1 + ζ₂|。
• 通过 θ = G²ĥθ 将 𝕳¹ 上的标准接触形式 θ 拉回到 𝕊³∖{p}，在共形变换下保持 CR 结构不变。
• 利用共形因子 G 在两个流形上定义加权 L² 和 L⁴ 范数，满足恒等式 ‖f‖_{L^p(ℍ¹)} = ‖G^{4/p}f‖_{L^p(𝕊³)}。
• 在 𝕊³∖{p} 上引入一个截断函数 h，使得 ĥZ̄h = 0，确保 h 在拉回时保持 ∂̄_b 结构。
• 通过乘以 h 将 𝕳¹ 上的方程转化为 𝕊³ 上的等价方程，使得 ∂̄_b u = f 变为 ĥZ̄(hu) = hGf。
• 对变换后的方程应用 𝕊³ 上已知的可解性结果（推论 12 和 13），利用对核的正交性确保可解性。

实验结果

研究问题

• RQ1 能否利用紧致 CR 几何的方法，在 L⁴ 和 L² 空间中求解非紧致 Heisenberg 群 𝕳¹ 上的切向 Cauchy-Riemann 算子？
• RQ2 𝕊³∖{p} 和 𝕳¹ 上 CR 结构的共形不变性如何促进两个流形之间解理论的转移？
• RQ3 共形权函数 h 在解决 𝕳¹ 上 L²-伴随问题中可解性障碍方面起到什么作用？
• RQ4 当 f ∈ L²(ℍ¹) 正交于 ∂̄_b* 的核时，方程 ∂̄_b u = f 在 𝕳¹ 上在何种条件下可解？
• RQ5 如何通过共形变换与加权范数，将紧致 CR 流形 𝕊³ 上的解理论适配到 𝕳¹ 的非紧致情形？

主要发现

• 对于所有 f ∈ L²(ℍ¹) 且正交于 L²(ℍ¹) 中 ∂̄_b* 的核，方程 ∂̄_b u = f 在 𝕳¹ 上关于 L⁴(ℍ¹) 可解。
• 解 u 属于 L⁴(ℍ¹)，且可在 L⁴ 范数下由光滑紧支集函数列逼近。
• 对于所有 f ∈ L²(ℍ¹) 且正交于 L²(ℍ¹) 中 ∂̄_b 的核，方程 ∂̄_b* u = f 在 𝕳¹ 上关于 L⁴(ℍ¹) 可解。
• 在 𝕊³ 上变换数据 hGf 的 L² 范数等于在 𝕳¹ 上 f 的 L² 范数，共形变换下保持可积性不变。
• 共形权 h 确保在 𝕊³∖{p} 上有 ĥZ̄h = 0，使得变换后的方程保持 ∂̄_b 结构，从而实现解的提升。
• 𝐻¹ 上的解 u 通过拉回 𝕊³ 上的解 û ∈ L⁴(𝕊³) 得到，即 u = h⁻¹û，且满足 u_j → u 在 L⁴(ℍ¹) 中收敛，以及 ∂̄_b u_j → f 在 L²(ℍ¹) 中收敛。