[论文解读] Holomorphic extension from a convex hypersurface

Luca Baracco|ArXiv.org|Nov 8, 2009

Holomorphic and Operator Theory参考文献 3被引用 4

一句话总结

本文通过利用不动圆族的方法，建立了在 $\mathbb{C}^n$ 中严格强凸区域的边界上定义的实解析函数向其内部进行全纯延拓的充分条件。关键结果表明，若该函数沿有限个 $(2n-2)$-参数的不动圆族全纯延拓，且这些族的提升覆盖了某一固定不动圆的提升，则该函数可全纯延拓至整个区域。

ABSTRACT

We discuss a general result of holomorphic extension of a real analytic function $f$ defined on the boundary $\partial D$ of a real analytic strictly convex subset $D\subset\subset \C^n$. We show that this follows from the hypothesis of separate holomorphic extension along stationary/extremal discs.

研究动机与目标

• 建立 $\mathbb{C}^n$ 中严格强凸区域边界上实解析函数向其内部全纯延拓的一般准则。
• 识别能保证全纯延拓的最小测试不动圆族。
• 阐明CR几何与全纯提升在延拓过程中的作用。
• 通过通过内部或边界点的圆族，提供明确的充分条件。

提出的方法

• 该方法依赖于Lempert意义下的不动圆理论，即具有到余切丛射影化空间的梅瑞诺姆提升的全纯圆。
• 利用 $\mathbb{C}^n$ 内部每一点均存在唯一一条通过它的不动圆，且提升映射是从射影化余切丛到提升空间的实解析微分同胚这一事实。
• 将函数 $f$ 提升为每个族中圆的提升并集上的CR函数 $F$，利用这些提升在 $\mathbb{P}T^*\mathbb{C}^n$ 中不重叠的性质。
• 通过柯西积分公式沿圆传播全纯延拓，利用提升函数的有界性与解析性。
• 关键步骤是证明提升函数 $F$ 可全纯延拓至固定不动圆提升的整个邻域，进而延拓至 $D$ 上射影化余切丛的全空间。
• 最终通过将 $F$ 与柯西积分识别，得到一个在 $D$ 上全纯且延拓 $f$ 的函数。

实验结果

研究问题

• RQ1 在 $\mathbb{C}^n$ 中严格强凸区域的边界上定义的实解析函数在何种条件下可全纯延拓至内部？
• RQ2 是否可仅通过不动圆族而非所有可能的圆来测试全纯延拓？
• RQ3 能保证全纯延拓的不动圆族的最小规模（以参数计）是多少？
• RQ4 不动圆提升上的CR结构在延拓过程中起什么作用？
• RQ5 是否可仅通过一个边界点或两个内部点的圆族来保证延拓？

主要发现

• 若实解析函数 $f$ 在 $\partial D$ 上沿有限个 $(2n-2)$-参数不动圆族中的每条圆全纯延拓，则 $f$ 可全纯延拓至 $D$。
• 这些圆的提升覆盖了某一固定不动圆 $A_o^*$ 的提升，且覆盖条件确保了全纯延拓可传播至整个区域。
• 若函数沿通过 $D$ 内部两个点的所有不动圆全纯延拓，则 $f$ 可全纯延拓至 $D$。
• 若函数沿通过单个边界点的所有不动圆全纯延拓，则 $f$ 可全纯延拓至 $D$，即使该族在边界点处可能存在奇点。
• 在族的提升并集上定义的提升函数 $F$ 在族的正则部分上为CR函数，且可全纯延拓至固定圆提升的全邻域。
• 最终在 $D$ 上的全纯函数通过将提升函数与柯西积分识别得到，这使得其与纤维坐标无关，因而仅为 $z$ 的函数。