[論文レビュー] Symmetries of Differential Equations via Cartan's Method of Equivalence

Oleg I. Morozov|arXiv (Cornell University)|May 16, 2001

Nonlinear Waves and Solitons参考文献 10被引用数 18

ひとこと要約

本稿では、カルタンの等価法および移動標構法を用いて、微分方程式の対称性擬群の不変1次形式および構造方程式を計算するアルゴリズム的手法を提示する。無限小定義系の計算、解析、あるいは積分を回避する本手法は、微分および線形代数にのみ依存し、直接的に対称性構造を導出可能である。本手法は2階偏微分方程式系に適用され、1変数の任意関数2つに依存する対称性擬群が得られ、リーマンの結果と整合的であることが確認された。

ABSTRACT

We formulate a method of computing invariant 1-forms and structure equations of symmetry pseudo-groups of differential equations based on Cartan's method of equivalence and the moving coframe method introduced by Fels and Olver. Our apparoach does not require a preliminary computation of infinitesimal defining systems, their analysis and integration, and uses differentiation and linear algebra operations only. Examples of its applications are given.

研究の動機と目的

• 無限小定義系の積分を必要としない、直接的でアルゴリズム的な対称性擬群不変量の計算手法を開発すること。
• ジェット空間内の微分方程式にカルタンの等価法および移動標構法を体系的に適用すること。
• 微分および線形代数操作のみを用いて、対称性擬群の構造方程式および不変1次形式を導出すること。
• 本手法を2階偏微分方程式系に適用し、既知の対称性次元および構造を回復すること。

提案手法

• 本手法はまず、系を1階ジェット空間に持ち上げ、ファイバーマニフォールドの1階ジェットバンドル内の部分バンドルとして扱う。
• 接触変換擬群のためのカルタンの移動標構を計算するために、カルタンの等価法を適用する。
• 接触擬群の不変1次形式を、微分方程式系によって定義される部分バンドルに制限する。
• 得られた制限形式間の線形従属条件に対して正規化手順を適用し、対称性不変量を抽出する。
• コフレームを拡張して外微分を計算することで、構造方程式を導出し、カルタンの構造方程式系を得る。
• カルタンの可積分性テストのチェックと、解に含まれる任意関数の数の特定により、プロセスの妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 微分方程式の対称性擬群は、無限小定義系を解いたり積分したりせずに計算可能か？
• RQ2 カルタンの等価法および移動標構法を、対称性擬群の不変1次形式を体系的に計算するためにどのように適用できるか？
• RQ3 与えられた微分方程式系の対称性擬群の構造、特にカルタンの構造方程式の観点から、どのように規定されるか？
• RQ4 構造方程式から直接的に、対称性擬群に含まれる任意関数の数をどのように特定できるか？
• RQ5 本手法は、系 $u_t = v$, $v_x = e^u$ の対称性群についてリーマンの分類と整合的結果をもたらすか？

主な発見

• 本手法は、微分および線形代数にのみ依存し、定義系の積分を回避することで、系 $u_t = v$, $v_x = e^u$ の対称性擬群の構造方程式を効果的に計算した。
• 拡張後のコフレームは可積分性を満たし、カルタンのテストを満たす。特徴数は $s'_1 = 2$, $s'_2 = \text{...} = s'_9 = 0$ に減少し、1変数の任意関数2つに依存することが示された。
• 対称性擬群が1変数の任意関数2つに依存することは、リーマンの古典的結果と整合的であることが確認された。
• 構造方程式 (23) および (25) はねじれがなく、外微分に対して閉じており、対称性構造の可積分性が裏付けられた。
• 吸収および正規化の手続きにより、システムが標準形に簡略化され、無限小系の事前解析を経ずに、対称性不変量を直接抽出可能となった。
• 本手法は原則としてアルゴリズム的ではあるが、計算的に複雑である。今後、高階ジェットバンドル上での標準接触形式を用いた最適化が示唆される。