[論文レビュー] Group Classification of Generalised Eikonal Equations

Roman O. Popovych, Irina Yehorchenko|ArXiv.org|Dec 22, 2001

Nonlinear Waves and Solitons被引用数 3

ひとこと要約

本稿では、同値群、対称性代数の構造解析、および決定方程式の分類を統合した手法を用いて、一般化されたアイゾナール方程式 $ u_a u_a = F(t, u, u_t) $ の完全な群分類を提示する。非同値な拡張された対称性代数を有する方程式を同定し、新しい非線形1階偏微分方程式（広い対称性群を有する）を同定し、次元や対称性代数の同型型といった代数的不変量を用いて非同値性を証明する。

ABSTRACT

A new approach to the problem of group classification is applied to the class of first-order non-linear equations of the form $u_a u_a=F(t,u,u_t)$. It allowed complete solution of the group classification problem for a class of equations for functions depending on multiple independent variables, where highest derivatives enter nonlinearly. Equivalence groups of the class under consideration and algebraic properties of the symmetry algebra are studied. The class of equations considered presents generalisation of the eikonal and Hamilton-Jacobi equations. The paper contains the list of all non-equivalent equations from this class with symmetry extensions, and proofs of such non- equivalence. New first order non-linear equations possessing wide symmetry groups were constructed.

研究の動機と目的

• 微分項における非線形性を有する1階非線形偏微分方程式のクラスに対する群分類問題を解くこと。これは、アイゾナール方程式やハミルトン＝ヤコビ方程式を一般化する。
• 一般状況を上回る対称性拡張を許容する、このクラスに属するすべての方程式を同定すること。
• 代数的および変換的基準を用いて、拡張された対称性代数を有する非同値な方程式の完全なリストを確立すること。
• 同値群、対称性代数の構造、決定方程式の解法を統合した手法が、偏微分方程式における複雑な群分類問題を解く有効性を示すこと。

提案手法

• 同値群解析、対称性代数の構造解析、およびリー対称性の決定方程式の解法を統合した手法の適用。
• 同値変換を用いて分析すべきケース数を削減し、特に任意要素 $ A(u) $ を単純化する変換を含む。
• 対称性拡張を引き起こす特定の微分条件を満たす関数 $ A(u) $ の分類、例えば $ (A_u/A)_u = 0 $ または $ A_u/A = \nu A + \mu $。
• 特に次元や代数的構造の比較により、最大対称性代数の非同型性を用いて、得られた方程式の非同値性を証明する。
• 同値変換を用いた体系的ケース削減、例えば $ \widetilde{t} = t, \widetilde{u} = |u + \mu|^{1 - \nu/2} $ を用いて類似ケースを統合する。
• リー群論および対称性分類の既知の結果を活用し、特に $ \text{sech}^2 u $、$ \text{csch}^2 u $、三角関数などの特殊関数の標準形の使用。

実験結果

リサーチクエスチョン

• RQ1 クラス $ u_a u_a = F(t, u, u_t) $ に属するどの方程式が一般状況を上回る対称性拡張を許容するか？
• RQ2 このクラスに属する、拡張された対称性代数を有する非同値な方程式の完全な集合は何か？
• RQ3 多変数の任意関数を含む偏微分方程式の群分類において、同値変換をどのようにしてケース数の削減に用いることができるか？
• RQ4 非同値な方程式の対称性代数を区別する代数的性質（例：次元、同型型）は何か？
• RQ5 対称性代数の構造解析と同値群手法を統合した手法は、決定方程式の直接積分では解けない群分類問題を解けるか？

主な発見

• 本稿では、クラス $ u_a u_a = F(t, u, u_t) $ に属するすべての非同値な方程式の完全な分類を提示し、そのリストはすべて表1に明示されている。
• 分類された方程式の最大対称性代数は非同型であり、次元は3から6の範囲にあり、その構造が非同値性を決定づける。
• 新しい1階非線形偏微分方程式（広い対称性群を有する）が構成され、$ \varepsilon_2 / \cosh^2 u $、$ \varepsilon_2 / \sinh^2 u $、$ \varepsilon_2 / \cos^2 u $ の形の $ A(u) $ を有する方程式が、$ \varepsilon_1, \varepsilon_2 $ に関する特定の条件下で得られる。
• $ (A_u/A)_u = 0 $、$ A_u \neq 0 $ を満たす $ A(u) $ は、対称性拡張の第9のケースをもたらし、他のケースとは非同値である。
• $ A_u/A = \nu A + \mu $ の場合、3つの標準形が得られる：$ \varepsilon_2 / \cosh^2 u $、$ \varepsilon_2 / \sinh^2 u $、$ \varepsilon_2 / \cos^2 u $。同値性の条件は $ \varepsilon_0 \widetilde{\varepsilon}_0 = \varepsilon_1 \widetilde{\varepsilon}_1 = \varepsilon_2 \widetilde{\varepsilon}_2 $ である。
• 上記以外の関数 $ A(u) $ については、対称性拡張は発生せず、分類の完全性が裏付けられる。