[论文解读] Holomorphic extension from the unit sphere in $\mathbb C^n$ into complex lines passing through a finite set

Mark Agranovsky|arXiv (Cornell University)|Oct 19, 2009

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

一句话总结

本文证明，若一个在 $$\mathbb{C}^n$$ 中单位球面上的实解析函数，沿通过闭单位球内两个不同点中任一点的每条复直线均能解析延拓，则该函数必可整体解析延拓至单位球内部。关键结果表明，通过两个点的两组复直线束已足够用于检验全局解析延拓性，从而解决了单位球边界上 Hartogs 分离解析性定理的边界类比问题。

ABSTRACT

Let $B^n$ be the $n$-dimensional unit complex ball and let $a$ and $b$ be two distinct points in its closure. Let $f$ be a real-analytic function on the complex unit sphere $\partial B^n.$ Suppose that for any complex line $L,$ meeting the two points set $\{a,b\},$ the function $f$ admits one-dimensional holomorphic extension in the cross-section $L \cap B^n.$ Then $f$ is the boundary value of a function holomorphic in $B^n$. Two points can not be replaced by a single point. The proof essentially uses recent result of the author about characterization of polyanalytic functions in the complex plane.

研究动机与目标

• 确定在 $$\mathbb{C}^n$$ 中单位球面上，实解析边界函数全局解析延拓所需的最小复直线族。
• 解决单一直线束是否足够的问题，证明其不足，但两组此类直线束足够。
• 通过基于直线的解析延拓，建立 Hartogs 分离解析性定理的边界版本。
• 以通过两个固定点的复直线上的逐维解析延拓为工具，刻画全纯函数的边界值。

提出的方法

• 通过 Möbius 自动同构将问题约化至 $n=2$ 情形，假设两点位于 $z_2 = 0$ 平面内。
• 在 $z_2$-变量上应用傅里叶展开，将问题转化为 $z_1$-圆盘上的解析延拓问题。
• 利用近期关于复平面上圆链的亚纯延拓结果，推导出二维情形下的全纯性。
• 通过在所有包含两个固定点 $a$ 和 $b$ 的复二维平面中应用二维结果，将结论推广至高维情形。
• 利用唯一性定理，将相交二维平面上的局部全纯延拓拼接为整体全纯函数。
• 在 Möbius 变换将 $a$ 和 $b$ 映至过原点的坐标直线后，应用 Forelli 定理，得出函数在所有过原点的复直线上全纯，从而整体全纯。

实验结果

研究问题

• RQ1 能否通过全纯函数在单位球内边界值沿通过单一定点的复直线的全纯延拓来刻画其性质？
• RQ2 是否通过两个点的直线族——每条直线通过闭球内两个不同点之一——足以保证球面上实解析函数的全局全纯延拓？
• RQ3 给定边界函数依赖于 $2n-1$ 个实变量，测试全局全纯延拓所需的直线族中最小参数个数是多少？
• RQ4 沿通过两点的直线的一维全纯延拓性质，是否足以推出全局全纯性，即使函数在球内本身并非全纯？

主要发现

• 若一个实解析函数在 $\partial B^n$ 上，且沿通过闭单位球内两个不同点 $a$ 或 $b$ 的每条复直线均能全纯延拓，则该函数必为 $B^n$ 中全纯函数的边界值。
• 仅通过一个点的复直线族不足以用于检验全局全纯延拓，反例为 $f(z) = |z_1|^2$。
• 证明的关键在于通过包含 $a$ 和 $b$ 的复二维平面，将 $n$ 维问题约化至二维情形，其中利用基于圆的延拓定理建立结论。
• 通过在二维平面上的局部延拓进行拼接构造全局全纯延拓，公共直线 $L_{a,b}$ 上的一致性由唯一性定理保证。
• 在 Möbius 变换将 $a$ 和 $b$ 映至过原点的坐标直线后，函数在所有过原点的复直线上全纯，因此由 Forelli 定理，其在整个球内全纯。
• 该结果证实了一个猜想：$$n+1$$ 个仿射无关的点在 $$\overline{B^n}$$ 中可能已足够用于此类测试，而对实解析函数而言，两个点已足够。