[論文レビュー] Vector spaces on non-extendable holomorphic functions

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

Holomorphic and Operator Theory被引用数 1

ひとこと要約

本稿は、境界を越えて解析接続が不可能な、非拡張可能と呼ばれる正則関数の線形的・代数的構造を、複素領域において調査する。線形性と代数的構造の理論的手法を用いて、著者らは、境界正則関数やハーディー型空間を含むさまざまな関数空間において、このような関数が最大次元の稠密な線型空間を形成することを証明した。これは、複素解析および関数解析における先行研究を補完・拡張するものである。

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.

研究の動機と目的

• 本稿の目的は、境界 ∂G を越えて解析接続が不可能な正則関数の集合 He(G) の線形構造を分析することにある。
• He(G) が稠密な線型空間、閉無限次元部分空間、および代数的構造を含むような大きな代数的部分構造を含むかどうかを調査することである。
• 境界正則関数（A∞(G)）に焦点を当て、複素バナッハ空間への結果の拡張を行う。
• 著者らの目的は、非連続関数の線形性と代数的構造に関する先行研究を補完・拡張することにある。
• He(G) が H(G) で稠密に代数的構造を持つ、あるいは c-代数的構造を持つかどうかを、特に有限次元および可分バナッハ空間の設定で検討する。

提案手法

• 著者らは、線形性理論からの位相的・代数的道具を用い、残留性およびベールのカテゴリーアーギューメントを含む。
• 定理 1.1 を適用して、ハーディー空間やバーグマン空間を含む特定の部分空間 X ⊂ H(G) に対して、He(G) ∩ X が残留であることを示した。
• 稠密な線形性の証明は、テイラー級数の収束性とバランス型領域の性質を用いて、He(G) 内部に稠密な部分空間を構成することで行われた。
• 代数的構造の構築には、非拡張可能関数との合成によって代数を生成する指数型関数 ϕ を用いた。
• c-代数的構造の構築は、濃度論的議論とベールのカテゴリ一意識を用いて、可算生成の可能性を除外することで行われた。
• ドメイン固有の性質——例えば、ジョルダン領域、性質 (P) を満たす正則領域、またはバナッハ空間におけるバランス型領域——を用いて、望ましい代数的構造を保証した。

実験結果

リサーチクエスチョン

• RQ1 複素平面 C の領域 G に対して、非拡張可能正則関数の族 He(G) は、H(G) において稠密な代数を含むか？
• RQ2 適切な条件下で、He(G) は最大次元の稠密な線型空間、無限次元閉部分空間、および大きな代数を含むか？
• RQ3 He(G) 内の境界正則関数の部分族は、A∞(G) において稠密に線形的構造を持ち、代数的構造を持つか？
• RQ4 可分な複素バナッハ空間 E の領域 G に対して、He(G) は H(G) において最大稠密線形的構造を持つか？
• RQ5 有限次元の存在領域 G ⊂ CN に対して、He(G) は H(G) で c-代数的構造を持つか？

主な発見

• 任意の領域 G ⊂ C に対して、He(G) は H(G) 内で零関数以外の稠密な代数を含む。
• 性質 (P) を満たす正則領域では、He(G) は H(G) において最大稠密線形的構造を持つ。同様に、適切な条件下で A∞(G) に対しても同様の結果が成り立つ。
• G が性質 (P) を満たす正則領域であるとき、He(G) 内の境界正則関数の部分族は、A∞(G) において強く c-代数的構造を持つ。
• 可分な複素バナッハ空間において、G が存在領域であり、G − x₀ がバランス型であるとき、He(G) は H(G) において最大稠密線形的構造を持つ。
• 有限次元の存在領域 G ⊂ CN に対して、He(G) は H(G) において最大稠密線形的構造かつ c-代数的構造の両方を持つ。
• c-代数的構造の証明は背理法に依拠しており、He(G) 内の代数が可算生成されると仮定すると、ベールのカテゴリ一意識が示す非可算次元性と矛盾する。