[论文解读] Existence and convergence of Puiseux series solutions for first order autonomous differential equations

José Cano, Sebastian Falkensteiner+1 more|arXiv (Cornell University)|Aug 24, 2019

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

一句话总结

本文证明了所有一阶自治常微分方程 F(y, y') = 0 的形式 Puiseux 级数解在有限点及无穷远处均收敛。作者提出了一种构造性算法来计算这些解，并证明复平面上任意一点都位于一条由 Puiseux 级数定义的解析解曲线上，从而确立了 Puiseux 型解的全局存在性与收敛性。

ABSTRACT

Given an algebraic first order autonomous ordinary differential equation F(y,y')=0, we prove that every formal Puiseux series solution of F(y,y')=0, expanded around any finite point or at infinity, is convergent. The proof is constructive and we provide an algorithm to describe all such Puiseux series solutions. Moreover, we show that for any point in the complex plane there exists a solution of the differential equation which defines an analytic curve passing through this point.

研究动机与目标

• 证明所有一阶自治常微分方程 F(y, y') = 0 的形式 Puiseux 级数解在任意有限点或无穷远处均收敛。
• 开发一种构造性算法，以显式计算所有此类 Puiseux 级数解。
• 证明复平面上任意一点都位于一条通过该点的解析解曲线上，且该曲线由 Puiseux 级数定义。
• 弥合自治代数常微分方程背景下形式幂级数解与收敛解析解之间的差距。

提出的方法

• 利用代数几何技术分析 (y, y')-平面上代数曲线 F(y, y') = 0 的结构。
• 应用 Puiseux 级数展开理论，对代数曲线在奇点或正则点附近的分支进行参数化。
• 采用递归的算法过程来计算 Puiseux 级数的系数，通过严格控制系数的增长率来确保收敛性。
• 利用常微分方程的自治性（对自变量无显式依赖）将问题简化为曲线拟合与参数化任务。
• 应用复分析中的收敛性判别准则，证明所构造的 Puiseux 级数解在展开点的去心邻域内收敛。
• 证明解曲线是解析的，且可通过适当的参数化扩展至复平面上任意点。

实验结果

研究问题

• RQ1 所有一阶自治常微分方程 F(y, y') = 0 的形式 Puiseux 级数解是否都收敛？
• RQ2 能否构造一种系统性算法来计算所有此类 Puiseux 级数解？
• RQ3 复平面上每一点是否都位于一条由 Puiseux 级数定义的解析解曲线上？
• RQ4 代数曲线 F(y, y') = 0 的哪些结构性质能保证其 Puiseux 参数化的收敛性？
• RQ5 常微分方程的自治性如何影响 Puiseux 解的存在性与收敛性？

主要发现

• 所有形式 Puiseux 级数解 F(y, y') = 0 在有限点及无穷远处均收敛。
• 提供了一种构造性算法，可显式计算所有此类 Puiseux 级数解。
• 对于复平面上任意一点，均存在一条通过该点的解析解曲线，且其由 Puiseux 级数表示。
• Puiseux 级数解的收敛性由常微分方程的代数与自治结构所保证。
• 解曲线在复平面上形成由解析曲线构成的全局叶状结构，每条曲线均由收敛的 Puiseux 级数定义。
• 该方法确保 Puiseux 级数解不仅为形式解，且在展开点邻域内实际表示收敛解。