[论文解读] On Borel summation and Stokes phenomena of nonlinear differential systems

Ovidiu Costin|ArXiv.org|Aug 16, 2006

Polynomial and algebraic computation参考文献 6被引用 14

一句话总结

本论文为非线性常微分方程在不规则奇点处的拟解建立了广义Borel求和方法，证明了在指数衰减的方向上，形式渐近解是Borel可求和的。它展示了实际解与拟解的广义Borel和之间存在一一对应关系，且由于局部Stokes现象，解析延拓在Stokes线上发生不连续。

ABSTRACT

In this paper we study analytic (linear or) nonlinear systems of ordinary differential equations, at an irregular singularity of rank one, under nonresonance conditions. It is shown that the formal asymptotic exponential series solutions (transseries solutions: countable linear combinations of formal power series multiplied by small exponentials) are Borel summable in a generalized sense along any direction in which the exponentials decay. Conversely, any solution that decreases along some direction is the Borel sum of a transseries. The summation procedure introduced is an extension of Borel summation which is linear, multiplicative, commutes with differentiation and complex conjugation. The summation algorithm uses the formal solutions alone (and not the differential equation that they solve). Along singular (Stokes) directions, the functions reconstructed by summation are shown to be given by Laplace integrals along special paths, a subset of Ecalle's median paths. The one-to-one correspondence established between actual solutions and generalized Borel sums of transseries is constant between Stokes lines and changes if a Stokes line is crossed (local Stokes phenomenon). We analyze the connection between local and classical Stokes phenomena.

研究动机与目标

• 为具有不规则奇点的秩一非线性常微分方程的形式拟解发展一种广义Borel求和程序。
• 证明沿某一方向衰减的每个解均可作为唯一拟解的Borel和而得到。
• 刻画拟解分量的Borel变换的解析结构及其奇点。
• 建立重生性、局部Stokes现象与拟解结构之间的联系。
• 对非共振非线性系统，系统分类所有Borel求和的适当推广，并推导出重生方程。

提出的方法

• 引入一种广义Borel求和程序，其具有线性性、乘法性，与微分和复共轭运算可交换，且仅依赖于形式解。
• 沿Écalle的中线路径应用Laplace积分，以在指数衰减的方向上重构解。
• 推导出拟解分量的Borel变换的一系列卷积方程，其在超函数空间中求解。
• 使用形式逆Laplace变换，将拟解分量的微分方程转化为Laplace域中的卷积方程。
• 分析Borel变换的奇点，并证明其为Écalle意义下的重生函数。
• 推导出连接拟解不同分量的重生方程，将其与局部Stokes现象联系起来。

实验结果

研究问题

• RQ1 能否将秩一非线性常微分方程的形式拟解求和，以在指数衰减方向上得到实际解？
• RQ2 拟解分量的Borel变换的解析性质如何与微分系统的结构相关？
• RQ3 局部Stokes现象与拟解的重生结构之间的确切联系是什么？
• RQ4 如何系统性地将Borel求和推广至非共振非线性系统的拟解？
• RQ5 Écalle的中线路径在通过广义Borel求和重构解的过程中起什么作用？

主要发现

• 在指数衰减的任意方向上，形式拟解是Borel可求和的，且每个此类解均可作为唯一拟解的Borel和而得到。
• 广义Borel求和程序具有线性性、乘法性，与微分和复共轭运算可交换，且仅依赖于形式解。
• 通过求和重构的解由Écalle中线路径上的Laplace积分给出，这些路径是标准中线路径的子集。
• 实际解与广义Borel和之间在Stokes线之间存在一一对应关系，但穿越Stokes线时发生不连续（局部Stokes现象）。
• 拟解分量的Borel变换满足一系列卷积方程，其通解在超函数空间中构造而成。
• Borel变换为Écalle意义下的重生函数，其重生结构与局部Stokes现象及所导出的重生方程直接相关。