[論文レビュー] 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

ひとこと要約

この論文は、ポリャニンとザイツェフの『常微分方程式の正確解のハンドブック』の演習問題11における長年のタイプミスを是正し、ヴァン・デル・ポール方程式を含む5パラメータ族の方程式 $yy' = (\alpha x^{m+k-1} + \beta x^{m-k-1})y + \gamma x^{2m-2k-1}$ を完全に解明する。微分ガロア理論と特異性理論を用いて代数的および定性的な解析を実施し、多項式ベクトル場の条件を導出し、有限臨界点を分類する。特に、パラメータの符号に応じて安定ノードとサドル点を示す2パラメータ二次系の詳細な解析がなされている。

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.

研究の動機と目的

• ポリャニンとザイツェフのハンドブックの演習問題11における長年のタイプミスを是正し、元の解法が無効であることを是正する。
• 是正された5パラメータODE族について完全な解法と代数的解析を提供し、多項式ベクトル場の条件を含む。
• 特異性理論およびポアンカレコンパクト化を用いて、有限臨界点の分類と安定性の定性的解析を実施する。
• ポリャニン＝ザイツェフのベクトル場に関する先行研究を拡張し、微分ガロア理論を用いて可積分性を解析し、2パラメータ二次系を用いて結果を具体化する。
• ヴァン・デル・ポール方程式が特殊ケースとして含まれる系について、完全な是正と解法を提示する。

提案手法

• パラメータの置換と変換を用いて、ODE族の是正形を導出する。これには $z = x^k$、$y = x^m(t + ax^k + bx^{-k})$ が含まれる。
• 変数変換 $z = \frac{mt^2 + c_0}{ak} \frac{w'}{w}$ を用いて、系をリッカチ方程式に変換し、その後2階線形ODEに変換する。
• 微分ガロア理論を適用して可積分性を評価し、リッカチ方程式が理論的に常に解けることを確認する。
• 特異性理論および定理1.1を用いて、原点近傍におけるベクトル場展開の主要項に基づき、有限臨界点の性質を分類する。
• チャート $U_1$ および $U_2$ を用いたポアンカレコンパクト化を実施し、特に二次系に対して無限遠における挙動を解析する。
• ポアンカレコンパクト化および定理3.5を適用して、$U_2$ チャートの原点における無限遠臨界点を分類し、パラメータの符号に応じてノード型を特定する。

実験結果

リサーチクエスチョン

• RQ1 ポリャニンとザイツェフのハンドブックの演習問題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)$ である。この系は微分ガロア理論の意味で可積分である。
• 2パラメータ二次系（$a=0$、$m=3/2$、$k=1/2$）では、2つの有限臨界点 $(0,0)$ と $(-3b^2/(2c), 0)$ が存在する。
• 原点 $(0,0)$ は $b < 0$ のとき安定ノード、$b > 0$ のとき不安定ノードであり、固有値 $\lambda_1 = 3b/2$、$\lambda_2 = b$ に基づく。
• 2番目の臨界点 $(-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で示されている。