[论文解读] Non extendability from any side of the domain of definition as a generic property of smooth or simply continuous functions on an analytic curve

E. Bolkas, Vassili Nestoridis+1 more|arXiv (Cornell University)|Nov 27, 2015

Analytic and geometric function theory参考文献 6被引用 8

一句话总结

本文证明，在各种函数空间中，从解析曲线任一侧延伸光滑或连续函数的非延拓性是一种典型性质。通过傅里叶分析、柯西变换及复分析方法——包括蒙特尔定理与贝尔范畴论证——本文证明，一般来说，$ C^\infty(T) $、$ C^k([0,1]) $ 与 $ A^\infty(\Omega) $ 中的函数在边界处均无法在任何地方进行实解析延拓，即使采用弧长参数化亦然。

ABSTRACT

In this article we show that extendability from one side of a simple analytic curve is a rare phenomenon in the topological sense in various spaces of functions. Our result can be proven using Fourier methods combined with other facts or by complex analytic methods and a comparison of the two methods is possible.

研究动机与目标

• 建立从解析曲线任一侧出发的非延拓性在 $ C^\infty(T) $、$ C^k([0,1]) $ 与 $ A^\infty(\Omega) $ 等函数空间中为典型性质。
• 证明处处非解析函数的集合在这些空间中为稠密的 $ G_\delta $ 子集，从而强化了关于 $ C^\infty([0,1]) $ 的先前结果。
• 比较并统一两种方法：基于傅里叶分析与博雷尔定理、迈克尔选择定理的方法，与基于 Hardy 空间与蒙特尔定理的复分析方法。
• 证明非延拓性在共形映射下保持不变，且弧长参数化不会改变边界函数的解析性质。
• 证明当区域 $ \Omega $ 由有限条解析若尔当曲线围成时，$ A^\infty(\Omega) $ 中的函数在边界上几乎处处非实解析。

提出的方法

• 利用柯西变换将 $ C^\infty(T) $ 分解为 $ A^\infty(D) $ 与补空间 $ Y $，从而分析边界行为。
• 应用贝尔范畴定理与贝尔残集论证，证明在 $ C^\infty(T) $ 与 $ C^k([0,1]) $ 中，非延拓函数的集合为稠密且 $ G_\delta $。
• 运用博雷尔定理构造在某一点具有任意 jets 序列的 $ C^\infty $ 函数，从而实现对非延拓性的局部控制。
• 使用迈克尔选择定理，连续地将 $ C^\infty $ 函数分配给导数序列，确保构造过程的连续性。
• 应用非延拓性的局部判别准则：单位圆盘 $ D $ 上的全纯函数在 $ 1 \in \partial D $ 附近不可延拓，当且仅当对所有 $ \zeta \in D $（或在 $ 1 $ 附近稠密的子集）有 $ R_\zeta \leq |\zeta - 1| $。
• 在复分析方法中使用蒙特尔定理，提取全纯函数列的一致收敛子列，从而保证极限的连续性。

实验结果

研究问题

• RQ1 在 $ C^\infty $ 与连续函数空间中，从解析曲线的一侧或双侧出发的非延拓性是否为典型现象？
• RQ2 能否通过共形映射将单位圆 $ T $ 上函数的非延拓性推广至子弧、线段或实直线？
• RQ3 傅里叶方法与复分析方法在证明非延拓性的典型性方面有何异同？二者在何种方式下可被统一？
• RQ4 参数化方式的选择（如弧长与共形参数化）是否会影响解析边界上非延拓性的典型性？
• RQ5 当 $ \Omega $ 由有限条不相交的解析若尔当曲线围成时，$ A^\infty(\Omega) $ 中在 $ \partial\Omega $ 上处处非实解析的函数集合是否为稠密的 $ G_\delta $ 子集？

主要发现

• $ C^\infty([0,1]) $ 中处处非解析函数的集合本身是稠密的 $ G_\delta $ 子集，强化了先前结果。
• 在 $ C^\infty(T) $ 中，从单位圆任一侧不可延拓的函数集合是稠密的 $ G_\delta $ 子集，意味着非延拓性是典型的。
• 在 $ C^k([0,1]) $（$ k=0,1,2,\dots,\infty $）中，从区间任一侧不可延拓的函数集合是稠密的 $ G_\delta $ 子集。
• 使用 $ H^\infty(D) $、蒙特尔定理与径向极限的复分析方法，所得结果与傅里叶方法一致，但论证更简洁自然。
• 非延拓性的局部判别准则——对所有 $ \zeta \in D $（或在 $ 1 $ 附近稠密的子集）有 $ R_\zeta \leq |\zeta - 1| $——既是必要条件也是充分条件，从而可有效用于构造。
• 对于由有限条互不相交的解析若尔当曲线围成的区域 $ \Omega $，$ A^\infty(\Omega) $ 中的函数在 $ \partial\Omega $ 上几乎处处非实解析，无论参数化方式如何（包括弧长参数化）。