[论文解读] Vector spaces on non-extendable holomorphic functions

L. Bernal-González|arXiv (Cornell University)|Oct 21, 2014

Holomorphic and Operator Theory被引用 1

一句话总结

本文研究了复域中无法在其边界之外解析开拓的全纯函数（即非延拓全纯函数）的线性与代数结构。通过线性化与代数化理论的技术，作者证明了在满足适当区域条件时，此类函数在各种函数空间（包括边界正则空间与 Hardy 型空间）中构成具有最大维数的稠密线性空间——从而完成了并拓展了复分析与泛函分析中先前的相关结果。

ABSTRACT

In this paper, the linear structure of the family $H_e(G)$ of holomorphic functions in a domain $G$ of the complex plane that are not analytically continuable beyond the boundary of $G$ is analyzed. We prove that $H_e(G)$ contains, except for zero, a dense algebra; and, under appropriate conditions, the subfamily of $H_e(G)$ consisting of boundary-regular functions contains dense vector spaces with maximal dimension, as well as infinite dimensional closed vector spaces and large algebras. The case in which $G$ is a domain of existence in a complex Banach space is also considered. The results obtained complete or extend a number of previous ones by several authors.

研究动机与目标

• 本文旨在分析 Hₑ(G)，即在区域 G 内全纯但不能在 ∂G 之外解析开拓的全纯函数集合的线性结构。
• 研究 Hₑ(G) 是否包含大型代数子结构，如稠密线性空间、闭的无限维子空间以及代数结构。
• 研究重点为边界正则函数（A∞(G)），并进一步将结果推广至复 Banach 空间。
• 作者旨在完成或拓展复分析中关于非可开拓函数线性化与代数化性质的先前研究结果。
• 本文探讨 Hₑ(G) 在 H(G) 中是否为稠密代数化或 c-代数化，特别是在有限维与可分 Banach 空间设定下。

提出的方法

• 作者运用线性化理论中的拓扑与代数工具，包括剩余性与 Baire 一类性论证。
• 他们应用定理 1.1，证明 Hₑ(G) ∩ X 在 H(G) 的某些子空间 X ⊂ H(G)（如 Hardy 空间与 Bergman 空间）中为剩余集。
• 稠密线性化的证明依赖于利用泰勒级数收敛性与对称区域的性质，在 Hₑ(G) 内构造稠密子空间。
• 对于代数化，作者使用指数型函数 ϕ，通过与非延拓函数的复合生成代数结构。
• c-代数化结构的构造依赖于基数论证与 Baire 一类性定理，以排除可数生成的可能性。
• 本文利用区域特定性质——如若 G 为 Jordan 区域、具有性质 (P) 的正则区域，或 Banach 空间中的对称区域——以确保所需的代数结构。

实验结果

研究问题

• RQ1 对于复平面中的区域 G，非延拓全纯函数族 Hₑ(G) 是否在 H(G) 中包含一个稠密代数？
• RQ2 在适当条件下，Hₑ(G) 是否可包含最大维数的稠密线性空间、无限维闭子空间以及大代数？
• RQ3 Hₑ(G) 中边界正则全纯函数的子族在 A∞(G) 中是否为稠密线性化与代数化？
• RQ4 当 G 是可分复 Banach 空间 E 中的存在区域时，Hₑ(G) 是否在 H(G) 中为最大稠密线性化？
• RQ5 对于有限维存在区域 G ⊂ Cᴺ，Hₑ(G) 是否在 H(G) 中为 c-代数化？

主要发现

• 对于任意 G ⊂ C，Hₑ(G)（除去零函数）在 H(G) 中包含一个稠密代数。
• 对于满足性质 (P) 的正则区域，Hₑ(G) 在 H(G) 中为最大稠密线性化，且在适当条件下，A∞(G) 中亦成立。
• 当 G 为满足性质 (P) 的正则区域时，Hₑ(G) 中边界正则函数的子族在 A∞(G) 中为强 c-代数化。
• 在可分复 Banach 空间中，若 G 为存在区域且 G − x₀ 为对称区域，则 Hₑ(G) 在 H(G) 中为最大稠密线性化。
• 对于有限维存在区域 G ⊂ Cᴺ，Hₑ(G) 在 H(G) 中既为最大稠密线性化，也为 c-代数化。
• c-代数化证明依赖于反证法：假设 Hₑ(G) 中代数可由可数生成，与 Baire 一类性定理所暗示的不可数维数矛盾。