[論文レビュー] On the non-extendability of quasianalytic germs

Vincent Thilliez|arXiv (Cornell University)|Jun 21, 2010

Advanced Topology and Set Theory参考文献 7被引用数 3

ひとこと要約

本稿は、$[0,+\infty)$ 上の Denjoy-Carleman 系列に属する特定の準解析的ジェルムが、その系列が実解析的ジェルムと一致しない限り、$\mathbb{R}$ 上の準解析的ジェルムに拡張できないことを示している。この結果は、非負実軸を超えて準解析的構造を拡張する際の根本的な障害を確立し、このような系列の挙動における厳密な二分法を強調している。

ABSTRACT

Let $\mathcal{E}_1(M)^+$ be the local ring of germs at 0 of functions belonging to a given Denjoy-Carleman quasianalytic class in a neighborhood of 0 in $[0,+\infty[$. We show that the ring $\mathcal{E}_1(M)^+$ contains elements that cannot be extended quasianalytically in a neighborhood of 0 in $\mathbb{R}$, unless it coincides with the ring of real-analytic germs.

研究の動機と目的

• 定義域が $[0,+\infty)$ 上の準解析的ジェルムが、全実数直線 $\mathbb{R}$ 上の準解析的ジェルムに拡張可能かどうかを調査すること。
• このような拡張が可能となる条件、特に Denjoy-Carleman 準解析的系列の構造との関係を特定すること。
• ジェルムの環 $[0,\infty)$ 上で実解析的ジェルムの環と一致する条件を同定し、拡張のための必要条件とする。

提案手法

• $[0,+\infty)$ 上の Denjoy-Carleman 準解析的系列に属する関数の 0 におけるジェルムの局所環 $\mathcal{E}_1(M)^+$ を分析する。
• 準解析的系列の理論と、制限や拡張などの操作に対する安定性を応用する。
• 準解析性が系列内でのテイラー級数の一意性を意味することを用い、$\mathbb{R}$ への拡張においてそれがいかに失敗するかを検討する。
• 拡張可能性を仮定する背理法を用い、系列が解析的でない限り矛盾に至ることを示す。
• 実解析関数が 0 を中心として対称的拡張を許す唯一の準解析関数であるという事実に依拠する。
• Borel写像および Borel-Ritt 定理の準解析的系列における性質を考察し、拡張の障害を分析する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で $[0,+\infty)$ 上の準解析的ジェルムが $\mathbb{R}$ 上の準解析的ジェルムに拡張可能か？
• RQ2 非解析的 Denjoy-Carleman 準解析的系列であって、$[0,+\infty)$ 上のジェルムが $\mathbb{R}$ に拡張できないものは存在するか？
• RQ3 拡張が可能であることを保証する系列の構造的性質は何か？
• RQ4 $\mathcal{E}_1(M)^+$ の環に、系列が解析的でない限り本質的に拡張不能な要素が存在するか？
• RQ5 Denjoy-Carleman 系列を定義する列 $M$ の成長に関するものとして、拡張の障害を純粋に特徴づけられるか？

主な発見

• $\mathcal{E}_1(M)^+$ に、系列 $\mathcal{E}_1(M)^+$ が実解析的ジェルムの環と一致しない限り、$\mathbb{R}$ 上の準解析的ジェルムに拡張できない要素が存在する。
• このような拡張が可能な唯一のケースは、Denjoy-Carleman 系列が実際に実解析関数の系列である場合に限る。
• 拡張の障害は、定義域 $[0,+\infty)$ の非対称性と、負の側での準解析性の制御の欠如に起因する。
• この結果は、解析的であるか、それ以外は $[0,+\infty)$ を超えて本質的に拡張不能なジェルムを含むという厳密な二分法を示唆する。
• 非拡張性は成長率そのものではなく、非解析的系列では 0 を超えて準解析的一意性が伝播しないという本質的失敗に起因する。
• 列 $M$ が解析的でない準解析的系列を定める限り、特定の $M$ の値に依存せず、結論は成立する。