[論文レビュー] 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) $ などの関数空間において一般性を持つ性質であることを確立する。フーリエ解析、コーシー変換、複素解析的技法（モンテルの定理およびバナッハ・カリーの定理を含む）を用いて、一般に、$ 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]) $ に関する先行結果を強化すること。
• 2つのアプローチを比較・統合すること：フーリエ解析とボレルの定理、マイケルの選択定理を用いる方法と、ハーディー空間およびモンテルの定理を用いる複素解析的アプローチ。
• 非拡張性がコンformal写像のもとで保存されることを示し、境界関数の解析的性質が弧長パラメータ化によって変化しないこと。
• 有限個の解析的ジョルダン曲線で囲まれた領域 $ \Omega $ に対して、$ A^\infty(\Omega) $ に属する関数が境界上で一般にどこにも実解析的でないことを証明すること。

提案手法

• コーシー変換を用いて、$ C^\infty(T) $ を $ A^\infty(D) $ と補空間 $ Y $ に分解し、境界挙動の解析を可能にする。
• バナッハ・カリーの定理とバナッハ・カリーの残渣集合の議論を用いて、非拡張可能な関数の集合が $ C^\infty(T) $ および $ C^k([0,1]) $ において稠密かつ $ G_\delta $ であることを示す。
• ボレルの定理を用いて、点における任意のジェット列を持つ $ C^\infty $ 関数を構成し、非拡張性の局所的制御を可能にする。
• マイケルの選択定理を用いて、微分列に対し $ C^\infty $ 関数を連続的に割り当て、構成における連続性を保証する。
• 非拡張性の局所的基準を適用：単位円板 $ D $ 上の正則関数が $ 1 \in \partial D $ の近傍で拡張できないのは、すべての $ \zeta \in D $（または $ 1 $ に集積する稠密部分集合）に対して $ R_\zeta \leq |\zeta - 1| $ が成り立つときである。
• 複素解析的アプローチにおいてモンテルの定理を用いて、正則関数列の一様収束部分列を抽出し、極限の連続性を保証する。

実験結果

リサーチクエスチョン

• RQ1 解析的曲線の片側または両側から関数を拡張できないことは、$ C^\infty $ および連続関数空間において一般現象であるか？
• RQ2 単位円周 $ T $ 上の関数の非拡張性は、コンformal写像を用いて、部分円弧、区間、あるいは実数直線へ拡張可能か？
• RQ3 フーリエ法と複素解析的法の両者を用いた非拡張性の一般性の証明において、それらの比較と統合はどのように可能か？
• RQ4 パラメータ化の選択（例：弧長 vs. conformal）が、解析的境界上での非拡張性の一般性に影響を与えるか？
• RQ5 有限個の互いに交わらない解析的ジョルダン曲線で囲まれた領域 $ \Omega $ に対して、$ \partial\Omega $ 上でどこにも実解析的でない $ A^\infty(\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 $ に対して $ R_\zeta \leq |\zeta - 1| $）は、$ 1 \in \partial D $ の近傍での非拡張性に対して必要かつ十分であり、効果的な構成を可能にする。
• 有限個の互いに交わらない解析的ジョルダン曲線で囲まれた領域 $ \Omega $ に対して、$ A^\infty(\Omega) $ に属する関数は、境界上で一般にどこにも実解析的でない。これは、パラメータ化（弧長を含む）にかかわらず成り立つ。