[论文解读] The Diederich-Fornæss index I: for domains of non-trivial index

Bingyuan Liu|arXiv (Cornell University)|Jan 1, 2017

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

一句话总结

本文通过边界上的复分析新技巧和微分方程估计，建立了一个与复欧几里得空间中有界强伪凸域的 Diederich–Fornæss 指数等价的基于边界的几何指标。证明了 $\beta$-worm 域的 Diederich–Fornæss 指数恰好为 $\pi/(2\beta)$，表明该指数在 $(0,1]$ 范围内是连续不变量而非离散不变量。

ABSTRACT

We study bounded pseudoconvex domains in complex Euclidean space. We define an index associated to the boundary and show this new index is equivalent to the Diederich-Fornæss index defined in 1977. This connects the Diederich-Fornæss index to boundary conditions and refines the Levi pseudoconvexity. We also prove the $β$-worm domain is of index $π/{(2β)}$. It is the first time that a precise non-trivial Diederich-Fornæss index in Euclidean spaces is obtained. This finding also indicates that the Diederich-Fornæss index is a continuum in $(0,1]$, not a discrete set. The ideas of proof involve a new complex geometric analytic technique on the boundary and detailed estimates on differential equations.

研究动机与目标

• 通过基于边界几何分析的新指标，对 Levi 强伪凸性进行细化，该指标与 Diederich–Fornæss 指数等价。
• 解决长期以来在非平凡域上计算 Diederich–Fornæss 指数的困难。
• 证明 Diederich–Fornæss 指数在 $(0,1]$ 范围内是连续不变量而非离散不变量。
• 为 $\beta$-worm 域的 Diederich–Fornæss 指数提供精确值，该域是复分析中的关键例子。

提出的方法

• 基于 Levi 形及其曲率条件的几何分析，定义一个新的边界指标。
• 通过恒等式和二次型分析，建立新边界指标与经典 Diederich–Fornæss 指数之间的等价性。
• 使用复微分方程，特别是 Riccati 型方程，来建模拟凸性条件。
• 应用比较原理和常微分方程的振荡解，推导出指数的上下界。
• 利用极坐标和角平均化方法，将偏微分方程约化为径向变量的常微分方程。
• 构造相关常微分方程的显式解，以证明指数边界的精确性。

实验结果

研究问题

• RQ1 Diederich–Fornæss 指数能否通过边界几何量来表征，而不仅仅是通过定义函数幂的拟凸性？
• RQ2 $\beta$-worm 域的 Diederich–Fornæss 指数的确切值是什么？
• RQ3 Diederich–Fornæss 指数在 $(0,1]$ 范围内是离散不变量还是连续不变量？
• RQ4 能否通过微分几何与分析技巧，严格证明新边界指标与 Diederich–Fornæss 指数之间的等价性？

主要发现

• 首次在欧几里得空间中精确计算出非平凡的 Diederich–Fornæss 指数值：$\beta$-worm 域的 Diederich–Fornæss 指数恰好为 $\pi/(2\beta)$。
• 证明了新定义的边界指标与经典 Diederich–Fornæss 指数等价，从而对 Levi 强伪凸性概念进行了精细化。
• Diederich–Fornæss 指数在 $(0,1]$ 范围内是连续不变量而非离散不变量，这一点由 $\beta$-worm 域族得到证实。
• 证明依赖于从拟凸性条件导出的 Riccati 型常微分方程的有界解的构造。
• 该方法建立了边界几何与 Diederich–Fornæss 指数之间的完全等价关系，从而实现了有效计算。
• 结果确认了 $\beta$-worm 域是具有非平凡指数的域，其指数值与参数 $\beta$ 直接相关。