[论文解读] Exponential asymptotics, transseries, and generalized Borel summation for analytic rank one systems of ODE's

Ovidiu Costin|ArXiv.org|Aug 16, 2006

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

一句话总结

本文证明了具有不规则奇点的解析非线性秩一常微分方程组的形式渐近级数解是广义Borel可求和的，建立了在某扇形内衰减的实际解与其渐近级数展开之间的一一对应关系。证明了广义Borel求和重求和可恢复精确解，并推导出保持指数增长的再现性与平均化公式。

ABSTRACT

For analytic nonlinear systems of ordinary differential equations, under some non-degeneracy and integrability conditions we prove that the formal exponential series solutions (trans-series) at an irregular singularity of rank one are Borel summable (in a sense similar to that of Ecalle). The functions obtained by re-summation of the trans-series are precisely the solutions of the differential equation that decay in a specified sector in the complex plane. We find the dependence of the correspondence between the solutions of the differential equation and trans-series as the ray in the complex plane changes (local Stokes phenomenon). We study, in addition, the general solution in $\lloc$ of the convolution equations corresponding, by inverse Laplace transform, to the given system of ODE's, and its analytic properties. Simple analytic identities lead to ``resurgence'' relations and to an averaging formula having, in addition to the properties of the medianization of Ecalle, the property of preserving exponential growth at infinity.

研究动机与目标

• 建立具有不规则奇点的解析非线性秩一ODE实际解与其形式渐近级数展开之间的一致性关系。
• 证明形式渐近级数解在广义意义下是Borel可求和的，可恢复在复平面上特定扇形内衰减的精确解。
• 分析局部Stokes现象，描述当复平面上方向变化时，解与渐近级数展开之间对应关系的变化。
• 研究通过逆Laplace变换导出的卷积方程在 $L^1_{\text{loc}}$ 中的一般解，并表征其解析性质。
• 推导再现性关系，并引入一种保持无穷远处指数增长的平均化公式，扩展Ecalle的中值化方法。

提出的方法

• 使用指数渐近分析与渐近级数形式化方法，将解表示为包含幂级数与指数小项的渐近展开。
• 应用广义Borel求和处理发散的渐近级数，证明其在复平面上某扇形内收敛于实际解。
• 推导出渐近级数项系数的递归线性系统 (1.5)，其非齐次项依赖于低阶分量。
• 采用逆Laplace变换将渐近级数映射到Laplace域中的卷积方程，从而实现对 $L^1_{\text{loc}}$ 解的分析。
• 引入一种平衡平均化过程（AC），其与卷积可交换，并保持解析结构与指数增长。
• 利用解析延拓与Laplace域中同伦不变的延拓方法，分析Stokes现象以及解析延拓与卷积之间的非交换性。

实验结果

研究问题

• RQ1 具有不规则奇点的解析非线性秩一ODE的形式渐近级数解能否通过Borel求和得到实际解？
• RQ2 当复平面上的方向变化时，渐近级数与实际解之间的对应关系如何变化（局部Stokes现象）？
• RQ3 再现性关系在连接不同渐近级数分量并保持解析结构方面起什么作用？
• RQ4 所提出的平均化过程是否保持无穷远处的指数增长，并与卷积运算可交换？
• RQ5 在何种条件下，渐近级数的逆Laplace变换会给出具有受控解析行为的 $L^1_{\text{loc}}$ 解？

主要发现

• 形式渐近级数解 (1.4) 是Borel可求和的，重求和可得到唯一的实际解，其在指定扇形 $\Re(xe^{-i\phi})>0$ 内衰减。
• 在扇形内衰减的实际解与渐近级数展开之间存在一一对应关系，其中 (1.4) 中的自由参数 $C$ 参数化了解流形 $M^+$。
• 局部Stokes现象被完整描述：当射线 $\phi$ 穿过Stokes线时，解的表示在不同渐近级数分量之间切换。
• 卷积方程在 $L^1_{\text{loc}}$ 中的一般解通过渐近级数的Borel求和获得，所得函数除孤立分支点外处处解析。
• 平衡平均化过程（AC）与系统中所有运算可交换，并保持无穷远处的指数增长，扩展了Ecalle的中值化方法。
• 解析延拓与卷积之间的非交换性是普遍存在的：$AC(f*g) \neq AC(f)*AC(g)$，如例A.4所示，这是由于Laplace变换中存在分支点。