[论文解读] Algebraic and qualitative remarks about the family $yy'= (\alpha x^{m+k-1} + \beta x^{m-k-1})y + \gamma x^{2m-2k-1}$

Primitivo B. Acosta-Humánez, Alberto Reyes-Linero+1 more|arXiv (Cornell University)|Jul 10, 2018

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

一句话总结

本文修正了Polyanin与Zaitsev所著《常微分方程精确解手册》中第11题长期存在的笔误，完整求解了包含Van der Pol方程在内的五参数方程族 $yy' = (\alpha x^{m+k-1} + \beta x^{m-k-1})y + \gamma x^{2m-2k-1}$，并运用微分伽罗瓦理论与奇点理论进行了完整的代数与定性分析，推导出多项式向量场的条件，对有限奇点进行分类，特别研究了双参数二次情形，揭示了其稳定性行为（如稳定节点与鞍点）取决于参数符号。

ABSTRACT

The aim of this paper is the analysis, from algebraic point of view and singularities studies, of the 5-parametric family of differential equations \begin{equation*}\label{folpz} yy'=(\alpha x^{m+k-1}+\beta x^{m-k-1})y+\gamma x^{2m-2k-1}, \quad y'=\frac{dy}{dx} \end{equation*} where $a,b,c\in \mathbb{C}$, $m,k\in \mathbb{Z}$ and $$\alpha=a(2m+k) \quad \beta=b(2m-k), \quad \gamma=-(a^2mx^{4k}+cx^{2k}+b^2m).$$ This family is very important because include Van Der Pol equation. Moreover, this family seems to appear as exercise in the celebrated book of Polyanin and Zaitsev. Unfortunately, the exercise presented a typo which does not allow to solve correctly it. We present the corrected exercise, which corresponds to the title of this paper. We solve the exercise and afterwards we make algebraic and of singularities studies to this family of differential equations. To illustrate the qualitative and algebraic techniques we present an example of a biparametric quadratic Polyanin-Zaitsev vector field.

研究动机与目标

• 修正Polyanin与Zaitsev手册中第11题的长期笔误，该笔误导致原解无效。
• 为更正后的五参数ODE族提供完整解法与代数分析，包括多项式向量场的条件。
• 通过奇点理论与庞加莱紧化法，对系统进行定性分析，分类有限奇点及其稳定性。
• 在先前对Polyanin-Zaitsev向量场研究的基础上，通过微分伽罗瓦理论分析可积性，并以双参数二次情形为例说明结果。
• 为包含Van der Pol方程作为特例的系统提供完整勘误与解答。

提出的方法

• 通过参数代换与变换（包括 $z = x^k$，$y = x^m(t + ax^k + bx^{-k})$）推导出ODE族的更正形式。
• 通过变量替换 $z = \frac{mt^2 + c_0}{ak} \frac{w'}{w}$ 将系统转化为Riccati方程，再进一步转化为二阶线性ODE。
• 应用微分伽罗瓦理论评估可积性，确认该Riccati方程在该理论意义下始终可解。
• 利用奇点理论与定理1.1，根据向量场在原点附近的展开首项，分类有限奇点的性质。
• 通过 $U_1$ 与 $U_2$ 图册实施庞加莱紧化，特别分析二次情形在无穷远处的行为。
• 应用庞加莱紧化与定理3.5，对 $U_2$ 图册原点处的无穷远奇点进行分类，依据参数符号确定其为节点类型。

实验结果

研究问题

• RQ1 Polyanin与Zaitsev手册中第11题的正确形式是什么？与原始存在笔误的版本有何不同？
• RQ2 在参数 $\alpha, \beta, \gamma, m, k$ 满足何种条件下，系统会产生多项式向量场？
• RQ3 如何对系统的有限奇点进行分类？其稳定性（如节点、鞍点、焦点）由什么决定？
• RQ4 系统在无穷远处的行为如何？庞加莱紧化如何揭示全局相图的结构？
• RQ5 系统的可积性与微分伽罗瓦理论有何关联？该系统是否始终在该意义下可解？

主要发现

• 更正后的ODE族为 $yy' = (\alpha x^{m+k-1} + \beta x^{m-k-1})y + \gamma x^{2m-2k-1}$，其中 $\alpha = a(2m + k)$，$\beta = b(2m - k)$，$\gamma = -(a^2 m x^{4k} + c x^{2k} + b^2 m)$，且系统在微分伽罗瓦理论意义下可积。
• 在双参数二次情形下（$a=0$，$m=3/2$，$k=1/2$），系统有两个有限奇点：$(0,0)$ 与 $(-3b^2/(2c), 0)$。
• 原点 $(0,0)$ 在 $b < 0$ 时为稳定节点，在 $b > 0$ 时为不稳定节点，其特征值为 $\lambda_1 = 3b/2$，$\lambda_2 = b$。
• 第二个奇点 $(-3b^2/(2c), 0)$ 为鞍点，其特征值为 $\lambda_1 = 3b$，$\lambda_2 = -b/2$，确认其为双曲点。
• 在无穷远处，$U_2$ 图册揭示原点处存在一个幂零奇点，根据定理3.5中的参数依赖条件，当 $c > 0$ 时为排斥节点，当 $c < 0$ 时为吸引节点。
• 当 $c = 0$ 时，系统无其他有限奇点，此时 $(0,0)$ 为唯一奇点，如命题5.3所示。