Linearization Problem for Third-Order ODEs with Four- and Five-Dimensional Lie Symmetry Algebras under Contact Transformations

技術的概要：接触変換における 4 次元および 5 次元リー対称性代数を持つ 3 階常微分方程式の線形化

問題提起
本論文は、$u''' = f(x, u, u', u'')$ の形のスカラー 3 階常微分方程式（ODE）の線形化問題を取り扱う。具体的には、独立変数、従属変数、および 1 階微分を含む変換である接触変換を通じて、そのような方程式が線形標準形に変換可能となる条件を調査する。本研究は、リー対称性代数によって特徴づけられる 2 つの特定の線形化可能方程式のクラスに焦点を当てている。すなわち、4 次元リー代数を許容するもの、および5 次元リー代数を許容するものである。

従来の研究（Chern、Neut、Petitot、Ibragimov、Meleshko、Al-Dweik ら）は、点変換における線形化の基準を確立するか、線形形式との同値性の条件を提供してきたが、本研究は以下の点を目的としている：

1. これらの結果を、より広範な接触変換のクラスに一般化すること。
2. 4 つの対称性と 5 つの対称性を許容する標準形を明確に区別すること。
3. 単に存在条件を述べるのではなく、与えられた非線形 ODE をその線形標準形に還元する接触変換を構成するための明示的かつアルゴリズム的な手順を提供すること。

手法
著者らは、この問題を解決するためにカルタンの同値性法を採用している。手法は以下の技術的ステップを経て進行する：

1. 幾何学的設定：問題は、局所座標 $(x, u, p, q)$（ここで $p=u'$、$q=u''$）を持つ 2 階ジェット空間 $J^2$ 上で定式化される。基底余接枠が定義され、接触変換による 2 つの ODE の同値性は、9 次元の構造群 $G$ によるこの余接枠の引き戻しを含む基本的な同値条件として表現される。
2. 還元プロセス：著者らは、構造方程式における捩率係数を正規化することにより、構造群の体系的な還元を行う。これには以下が含まれる：
   • 捩率項を群パラメータに吸収すること。
   • 相対不変量（$I_1, I_2, \dots, I_{15}$）として機能する本質的な捩率係数を特定すること。
   • これらの不変量の消滅または非消滅に基づいて分析を分岐させること。
3. 分岐と分類：還元プロセスは、不変量 $I_3$（シュンスマン型不変量の非消滅に関連する）に基づいて 2 つの主要な分岐へと至る。
   • 分岐 $I_3 \neq 0$：さらに還元を行うと、ある不変量群（$I_6, I_8, I_{10}, I_{11}, I_{12}$）の消滅によって定義される部分分岐に至る。この中で、不変量 $K = I_9/J_3^2$ に基づいてさらに区別がなされる：
     • ケース $K$ が定数：5 つの対称性を持つ標準形 $\bar{u}''' = s\bar{u}' + \bar{u}$ に対応する。
     • ケース $K$ が定数でない：$K$ の微分に関する追加の消滅条件に従う、4 つの対称性を持つ標準形 $\bar{u}''' = \bar{a}_3(\bar{x})\bar{u}$ に対応する。
4. 変換の構成：標準形に対して不変余接枠が確立されると、著者らは明示的な接触変換を構成するための偏微分方程式（PDE）系を導出する。これらの系は線形またはリッカチ型であり、非線形 PDE 系を直接解くことに対する構成論的な代替手段を提供する。

主要な結果

• 定理 3.1（5 つの対称性）：3 階 ODE が接触変換を通じて標準形 $\bar{u}''' = s\bar{u}' + \bar{u}$（ここで $s$ は定数）と同値であるための必要十分条件は、相対不変量 $I_6, I_8, I_{10}, I_{11}, I_{12}$ が恒等的に消滅し、かつ不変量 $K$ が定数（具体的には $K=s$）であることである。
• 定理 3.2（4 つの対称性）：3 階 ODE が接触変換を通じて標準形 $\bar{u}''' = \bar{a}_3(\bar{x})\bar{u}$（ここで $\bar{a}_3$ は定数でない）と同値であるための必要十分条件は、相対不変量 $I_6, I_8, I_{10}, I_{11}, I_{12}$ が消滅し、さらに $K$ の微分を含む追加の不変量 $I_{13}, I_{14}, I_{15}$ が消滅し、かつ $K$ が定数でない（$\hat{D}_x K \neq 0$）ことである。
• 構成的手順（命題 4.1 および 4.2）：本論文は、接触変換 $(\bar{x}, \bar{u}, \bar{p}) = (\phi, \psi, \chi)$ を見つけるための明示的アルゴリズムを提供する：
  • 5 つの対称性のケースでは、変換は補助関数 $a_1, \phi, \eta, \chi, \psi$ に関する 1 階線形 PDE 系を解くことで見出される。
  • 4 つの対称性のケースでは、手順には補助関数 $H$ に関するリッカチ型方程式を解く追加のステップが含まれ、それに続いて $b, a_1, \phi, \eta, \chi, \psi$ に関する線形系を解く。
• 図示例：
  • 方程式 $u''' = \alpha (u'')^2 / u'$ は、接触変換の下では 5 つの対称性の形に線形化可能であることが示されるが、点変換の下では線形化不可能である（接触枠の必要性を実証）。
  • 方程式 $u''' = -x(u')^4(u'')^3 + u(u')^3(u'')^3$ は、接触変換の下では 4 つの対称性の形に線形化可能であることが示され、これも点変換による線形化の基準を満たさない。

意義と主張
著者らは、自らの研究が同値性問題に内在する複雑さと式の増大を効果的に管理するカルタンの手法を実装するための新たな枠組みを提供すると主張している。主な貢献は以下の通りである：

1. 一般化：線形化の基準を点変換からより一般的な接触変換へと拡張し、それによってより広範な線形化可能 ODE のクラスを捉えること。
2. 区別：接触変換の文脈では以前は明確に区別されていなかった、リー対称性代数の次元（4 対 5）に基づいて標準形を明確に分離すること。
3. アルゴリズム的構成：非線形 PDE 系の解決を必要とするか、変換の構成に言及しなかった従来のアプローチとは異なり、本論文は構成論的かつアルゴリズム的な手順を提供する。不変余接枠から導出された線形またはリッカチ型 PDE 系へと問題を還元することで、この手法は明示的な変換を計算するための実用的な道筋を提供する。
4. 幾何学的明瞭性：不変余接枠の使用は、線形化可能方程式の完全な幾何学的特徴付けを提供し、同値性に対する必要十分条件を定義する。

本論文は、この枠組みが接触変換を構成するための効果的な計算経路を提供し、カルタンの同値性法の有用性を以前よりも広範な文脈において 3 階 ODE の線形化に拡張すると結論づけている。