[论文解读] 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$ 均成立。