[论文解读] Geometric Analysis on the Diederich-Forn\ae ss Index

Steven G. Krantz, Bingyuan Liu+1 more|arXiv (Cornell University)|Jun 7, 2016

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

一句话总结

本文建立了新的解析与几何条件，保证在 ℂ² 中有界拟凸区域的 Diederich-Fornæss 指数等于 1。通过利用微分几何与最优定义函数构造方法，分析定义函数的 Hessian 在 Levi 平面集上的行为，作者证明：若在 Levi 平面集上 Hessₚ(L,N) = 0，则该指数为 1——这一结果推广了 Fornæss–Herbig 定理，并揭示了一个此前定理无法检测的新型区域，其 Diederich-Fornæss 指数为 1。

ABSTRACT

We derive a sufficient condition on a bounded pseudoconvex domain $\\Omega\\subset\\mathbb{C}^2$ with smooth boundary such that $-(-\ ho)^\\eta$ is plurisubharmonic on $\\Omega$ for $\\eta>0$ arbitrarily close to $1$ (the supremum of $\\eta$ is called Diederich-Forn{\\ae}ss index, see Definition (df)). This condition (see Theorem prop) extends a theorem of Forn{\\ae}ss and Herbig in 2007 and only requires restriction on Levi-flat sets of the boundary $\\partial\\Omega$. Since the condition is on Levi-flat sets, it contains more geometric information. As an application of this new condition, we discuss how the geometry of the Levi-flat sets affects the Diederich-Forn{\\ae}ss index. Among other results, we show that the Diederich-Forn{\\ae}ss index is $1$ if only the Levi-flat sets form a real curve transversal to the holomorphic tangent vector fields on $\\partial\\Omega$ (see Theorem [main]). We also give a specific example (see Theorem [example]) on the bounded pseudoconvex domains which verify the application but are neither of finite type nor admit a plurisubharmonic defining function on the boundary.

研究动机与目标

• 通过识别比边界强多复凸性更广泛的一般条件，扩展 Fornæss–Herbig 定理，以保证 Diederich-Fornæss 指数为 1。
• 将解析条件以几何语言解释，揭示该指数如何反映边界在拓扑与几何上的特征。
• 构造一个在 ℂ² 中的特定有界拟凸区域，其 Diederich-Fornæss 指数为 1，但无法通过先前已知定理验证。
• 开发一种结合微分方程与几何分析的方法，用于寻找 Diederich-Fornæss 指数计算的最优定义函数。

提出的方法

• 在 Levi 平面集 Σ 上，利用定义函数 ρ 的 Hessian 沿单位化全纯切向向量场 L 与复法向量场 N 的行为。
• 应用微分几何技术，包括协变导数与曲率恒等式，分析 Hessₚ(L,N) 在 Σ 上的行为。
• 构造一个修改后的定义函数 ρ = -r e^ψ，其中 r = -δ 且 ψ 光滑，以实现边界附近的渐近分析。
• 通过展开 Levi 形式并控制二阶项，估计 -(-ρ)^η 的强多复凸性条件。
• 利用 Hessₚ(L,N) 在 Σ 上恒为零的性质，推导出 -(-ρ)^η 的 Levi 形式的统一下界。
• 使用在 ℂ² 中由曲率与对易子恒等式导出的恒等式 L_r Hess_r(N_r, L_r) = N_r Hess_r(L_r, L_r) 在 Σ 上成立。

实验结果

研究问题

• RQ1 是否存在比定义函数的边界强多复凸性更一般化的条件，可保证 Diederich-Fornæss 指数为 1？
• RQ2 在 Levi 平面集上，解析条件 Hessₚ(L,N) = 0 如何从边界结构的角度进行几何解释？
• RQ3 是否存在一个在 ℂ² 中的有界拟凸区域，其 Diederich-Fornæss 指数为 1，但无法被早期定理（如 Fornæss–Herbig 或 Diederich–Fornæss 定理）检测到？
• RQ4 能否通过几何分析与微分方程构造 Diederich-Fornæss 指数的最优定义函数？

主要发现

• 若定义函数的 Hessian 满足 Hessₚ(L,N) = 0 于 Levi 平面集 Σ，则 ℂ² 中有界拟凸区域的 Diederich-Fornæss 指数为 1。
• 该条件推广了 Fornæss–Herbig 的结果，后者要求定义函数在边界上为强多复凸，而本条件适用于该条件不成立的区域。
• 条件 Hessₚ(L,N) = 0 反映了边界内在的几何与拓扑性质，特别是 Levi 平面集的结构。
• 构造了一个具体区域，其 Diederich-Fornæss 指数为 1，但无法通过早期定理（包括 Fornæss–Herbig 与 Diederich–Fornæss 定理）验证。
• 证明表明，在 Hessₚ(L,N) = 0 条件下，函数 -(-ρ)^η 对 η = 1 严格强多复凸，从而推出指数恰好为 1。
• 分析揭示，该指数对定义函数沿边界复切方向的二阶行为具有敏感性。