[论文解读] On the resurgent approach to Ecalle-Voronin's invariants

Artem Dudko, David Sauzin|arXiv (Cornell University)|Jul 30, 2013

Advanced Differential Equations and Dynamical Systems参考文献 6被引用 3

一句话总结

本文通过使用奇异算子分析博雷尔平面上的奇点，提出了一种复兴的Écalle-Voronin不变量方法，适用于具有简单抛物不动点的全纯芽。证明了每个不变量均可通过解析延拓和博雷尔求和表示为一个收敛的数值级数，从而建立了一个基于再生函数和博雷尔平面上卷积结构的自包含、严格的框架。

ABSTRACT

Given a holomorphic germ at the origin of C with a simple parabolic fixed point, the Fatou coordinates have a common asymptotic expansion whose formal Borel transform is resurgent. We show how to use Ecalle's alien operators to study the singularities in the Borel plane and relate them to the horn maps, providing each of Ecalle-Voronin's invariants in the form of a convergent numerical series. The proofs are original and self-contained, with ordinary Borel summability as the only prerequisite.

研究动机与目标

• 通过再生函数理论提供Écalle-Voronin不变量的新、自包含推导。
• 将形式Fatou坐标博雷尔变换的奇点与奇异算子所编码的单值数据联系起来。
• 证明每个Écalle-Voronin不变量可通过博雷尔平面中特定路径上的解析延拓表示为一个收敛的数值级数。
• 建立抛物动力系统中的角映射与渐近展开再生结构之间的严格联系。
• 将博雷尔-拉普拉斯求和技术扩展至处理具有受控指数增长的$2/\pi i\bbZ$-再生级数。

提出的方法

• 在$\zeta^\beta\bbC\{\zeta\}$上引入一个扩展的卷积积，其中$\operatorname{Re}\beta > -1$，从而定义广义渐近级数的形式博雷尔变换。
• 将$2\pi i\bbZ$-再生级数定义为那些其博雷尔变换在避开$2\pi i\bbZ$的路径上收敛并可解析延拓的级数。
• 为这类级数引入$(\omega, \Gamma)$-单纯性的概念，其中围绕$\omega$的单值性产生一个留数为$c$的对数奇点和一个正则部分。
• 通过留数$c$和单值系数$\hat{\chi}$的形式博雷尔变换定义奇异算子$\mathscr{A}^\Gamma_\omega$，从而在$\bbC[[z^{-1}]]$中产生元素。
• 在空间$\mathscr{E}_{d}$和$V_{\varepsilon,L;d}$上使用加权范数框架，控制迭代奇异算子的增长，并证明级数$\sum \hat{\Phi}_k$的收敛性。
• 应用一致收敛性和解析延拓，构造一个函数方程的解$\tilde{\Phi}$，该方程涉及$C_{\operatorname{id}-1}$和$C_{\operatorname{id}+b}$，并将其与形式Fatou坐标联系起来。

实验结果

研究问题

• RQ1 如何从形式Fatou坐标博雷尔变换的奇点重构Écalle-Voronin不变量？
• RQ2 奇异算子在编码来自抛物芽的$2\pi i\bbZ$-再生级数的单值数据中起何精确作用？
• RQ3 是否可仅通过博雷尔求和与解析延拓将不变量表示为收敛的数值级数？
• RQ4 抛物动力系统中的角映射如何与渐近展开的再生结构相关联？
• RQ5 在$2\pi i\bbZ$-再生函数的背景下，什么条件能确保迭代奇异算子级数的收敛性？

主要发现

• 每个Écalle-Voronin不变量被证明可表示为一个收敛的数值级数，该级数由博雷尔变换沿路径至$\omega + 1$的解析延拓的留数导出。
• 奇异算子$\mathscr{A}^\Gamma_\omega$将形式级数映射至$\bbC[[z^{-1}]]$，其留数$c$和单值系数$\hat{\chi}$通过$\mathscr{B}^{-1}\hat{\chi}$确定不变量。
• 函数方程$C_{\operatorname{id}-1}\tilde{\Phi} = C_{\operatorname{id}+b}\tilde{\Phi} + b_\alpha$的解$\tilde{\Phi}$被构造为一个收敛级数$\sum \hat{\Phi}_k$，其各项范数具有统一有界性。
• 逆博雷尔变换$\tilde{\Phi} = z^{-\alpha}\{\tilde{\varphi}\}_N$被证明与方程$C_{\operatorname{id}-1}\tilde{\psi} = C_{\operatorname{id}+b}\tilde{\psi} + b_N$在$z^{-1}\bbC[[z^{-1}]]$中的唯一解一致。
• $\lVert\hat{\Phi}_k\rVert$和$\lVert\hat{\chi}_k\rVert$的估计表明，解析延拓的单值性和留数数据一致收敛，从而保证了完整解的存在性。
• 该方法证明了$\hat{\phi}$是$2\pi i\bbZ$-再生的，且在非竖直方向具有有限指数型，从而确保了拉普拉斯型积分$\mathcal{L}^\theta\hat{\phi}$的收敛性。