[论文解读] Resurgent functions and splitting problems

David Sauzin|arXiv (Cornell University)|Jun 1, 2007

Quantum chaos and dynamical systems参考文献 13被引用 34

一句话总结

本文引入Écalle的重生函数理论与外来微积分作为分析动力系统中指数级小分隔线分裂的框架，特别通过非线性差分方程和Abel方程展开。它建立了重生理论与 Stokes 现象之间的联系，通过 Borel-Laplace 求和与黎曼面上的卷积，展示了余上同调方程中的参数重生现象。

ABSTRACT

The present text is an introduction to Écalle's theory of resurgent functions and alien calculus, in connection with problems of exponentially small separatrix splitting. An outline of the resurgent treatment of Abel's equation for resonant dynamics in one complex variable is included. The emphasis is on examples of nonlinear difference equations, as a simple and natural way of introducing the concepts.

研究动机与目标

• 为动力系统与渐近分析领域的研究人员提供Écalle重生函数与外来微积分理论的自包含导论。
• 将重生理论与复动力系统中指数级小分隔线分裂联系起来。
• 展示非线性差分方程作为理解重生结构的自然切入点。
• 通过在单位根附近 Borel 变换的行为，分析余上同调方程中的参数重生现象。
• 建立差分方程形式解与其在黎曼面 R 上通过卷积实现的解析延拓之间的桥梁。

提出的方法

• 使用形式 Borel 变换将 $ z^{-1} $ 的形式幂级数映射为 $ \zeta $ 的形式幂级数，通过 Laplace 变换实现解析延拓。
• 应用精细 Borel-Laplace 求和，将重生函数定义为扇形域内 Laplace 变换的渐近展开。
• 构造黎曼曲面 $ \mathcal{R} $，以解决卷积与重生函数解析延拓中的多值性问题。
• 引入卷积代数 $ \widehat{\mathcal{H}}(\mathcal{R}) $ 与形式模型 $ \tilde{\mathcal{H}} $，描述重生函数的代数结构。
• 通过 Fatou 坐标与角映射分析切于恒等的芽的 Abel 方程，揭示非线性 Stokes 现象。
• 应用外来微分与桥方程，将 Stokes 自同构与重生的对数结构联系起来。

实验结果

研究问题

• RQ1 如何通过 Borel-Laplace 求和赋予动力系统中出现的发散形式幂级数以解析意义？
• RQ2 黎曼曲面 $ \mathcal{R} $ 在解决卷积与重生函数解析延拓的多值性问题中起到什么作用？
• RQ3 外来微分如何编码抛物芽中非线性 Stokes 现象的信息？
• RQ4 在具有单位根处奇点的余上同调方程中，参数重生以何种方式显现？
• RQ5 非线性差分方程形式解的 Borel 变换如何反映其奇点结构？

主要发现

• 形式 Borel 变换 $ \mathcal{B} $ 将 $ \tilde{\varphi}(z) \in z^{-1}\mathbb{C}[[z^{-1}]] $ 映射为指数型整函数 $ \hat{\varphi}(\zeta) $，从而实现 Borel-Laplace 求和。
• 对于收敛半径有限的函数 $ \hat{\varphi} $，Laplace 变换 $ \mathcal{L}^\theta \hat{\varphi} $ 在半平面内给出扇形和，实现 $ \tilde{\varphi} $ 的渐近展开。
• 参数方程 $ \partial_t^2 \psi = \beta + \Gamma(\varepsilon \partial_t) \beta $ 的解 $ \psi $ 可表示为 $ \hat{\psi}(\zeta,t) = \hat{\Gamma}(\zeta \partial_t) \partial_t^{-1} \beta $，其中 $ \hat{\Gamma}(\xi) = \sum_{\nu \in 2\pi i \mathbb{Z}^*} \nu^{-2} \xi e^{\nu^{-1} \xi} $。
• 非线性方程 (88) 解的 Borel 变换预计在 $ \omega_{a,b}(t) = 2\pi i a(t - (2b+1)t^*) $ 处具有奇点，表明其具有重生结构。
• 在单位根 $ \Lambda $ 附近，参数重生现象在渐近展开中显现，其中当 $ q \to \Lambda $ 非切向时，有 $ (q - \Lambda)f(q,z) \to \mathcal{L}_\Lambda(z) $。
• 方程 (88) 的形式解 $ \tilde{x}_\varepsilon(t) $ 预期表现出主分支，其形态类似于线性化近似解的亚纯 Borel 变换，且可通过控制法（majorant methods）加以控制。