[論文レビュー] Exact solutions to homogeneous and quasi-homogeneous systems of nonlinear ODEs

Andrei D. Polyanin, Alexei I. Zhurov|arXiv (Cornell University)|Jul 22, 2021

Nonlinear Waves and Solitons参考文献 2被引用数 5

ひとこと要約

本稿では、べき則および指数関数的アンザッツを用いて、一階非線形常微分方程式系の準同次系および二階非線形常微分方程式系の同次系に対する正確な解析的解を提示する。解が初等関数で表現可能となる条件を導出し、主な結果として、解が初期条件と系内の任意関数を結ぶ代数的制約に依存することを示している。

ABSTRACT

This note considers fairly general quasi-homogeneous systems of first-order nonlinear ODEs and homogeneous systems of second-order nonlinear ODEs that contain arbitrary functions of several arguments. It presents several exact solutions to these systems in terms of elementary functions.

研究の動機と目的

• 任意関数を含む準同次および同次構造に一般化することで、非線形常微分方程式系を解く既存の手法を拡張すること。
• 広範な非線形常微分方程式系のクラスに対して、初等関数を用いた閉形式での正確な解を提供すること。
• 特に初期値に関する代数的制約を通じて、正確な解が存在する条件を確立すること。
• 多項式非線形性を有する既存の同次系に関する結果を統合・一般化すること。
• 対称性の仮定の下で、二階系を解ける二階常微分方程式に還元すること。

提案手法

• 一階系に対してべき則アンザッツを提案：$ x_n(t) = a_n(1 + Ct)^{-1/m_n} $ であり、初期値 $ a_n $ に対する代数的制約が得られる。
• 比例解アンザッツ $ x_n(t) = a_n y(t) $ を適用し、二階系を $ y(t) $ に関する単一の二階常微分方程式に還元する。
• 還元された二階常微分方程式：$ y'' = y^m (y')^k F_n(\text{比}) $ は、特定のパrameter条件の下で解ける。
• パラメータ $ m + k - 1 \neq 0 $ の場合に $ y = A(1 + Ct)^\rho $ をアンザッツとし、$ m + k - 1 = 0 $ の場合に $ y = B e^{Ct} $ をアンザッツとすることで、明示的解が得られる。
• 任意関数 $ F_n $、初期値 $ a_n $、パラメータ $ C, A, B $ の間の整合性条件を代数的または超越的方程式により導出する。
• 関数値が初期比において定数 $ \lambda $ と一致する場合に解が存在することを示している。

実験結果

リサーチクエスチョン

• RQ1 準同次的一階非線形常微分方程式系が、初等関数で表現可能な正確な解を有するための条件は何か？
• RQ2 同次的一階非線形常微分方程式系が、単一の解ける二階常微分方程式にどのように還元できるか？
• RQ3 比の任意関数を含む二階系に対して、正確な解の形はどのようなものか？
• RQ4 非線形項におけるパラメータ $ m $ と $ k $ が正確な解の存在および形に与える影響は何か？
• RQ5 スケーリング対称性を示す系において、正確な解が構成可能か。その場合、初期条件にどのような制約が生じるか？

主な発見

• 系 (1) は、定数 $ a_n $ が代数的制約 $ a_n^{m_n} m_n F_n(\text{比}) + C = 0 $ を満たす形で、$ x_n(t) = a_n(1 + Ct)^{-1/m_n} $ の形の正確な解を有する。
• 同次系の場合 $ m_1 = \cdots = m_N = m $ では、解の形は $ x_n(t) = a_n(1 + Ct)^{-1/m} $ に簡略化され、$ a_n $ は $ a_n^m m F_n(\text{比}) + C = 0 $ に従う。
• 退化系 $ m = 0 $ では、解は指数関数的になる：$ x_n(t) = a_n e^{-Ct} $、かつ $ F_n(\text{比}) + C = 0 $ を満たす。
• 二階系では、解 $ x_n(t) = a_n y(t) $ を用いることで、系が $ y(t) $ に関する単一の常微分方程式に還元され、$ m + k - 1 \neq 0 $ の場合に $ y = A(1 + Ct)^\rho $ のべき則解が得られる。
• $ m + k - 1 = 0 $ の場合、解は指数関数的：$ y = B e^{Ct} $ となり、$ \lambda = C^{2-k} $ を満たす。
• $ m = -3, k = 0 $ の場合、解は $ x_n(t) = a_n (C_1 t^2 + C_2 t + C_3)^{1/2} $ となり、$ C_1 C_3 - \frac{1}{4} C_2^2 = \lambda $ を満たし、$ a_n $ は初期比における $ F_n $ の評価を含む制約を満たす。