[論文レビュー] Group classification of the general evolution equation: local and quasi-local symmetries

Renat Zhdanov, V. Lahno|ArXiv.org|Oct 3, 2005

Nonlinear Waves and Solitons参考文献 1被引用数 4

ひとこと要約

本稿では、$ F_{u_{xx}} \neq 0 $ を満たす一般非線形発展方程式 $ u_t = F(t,x,u,u_x,u_{xx}) $ に対して、対称性の決定方程式から導かれる過剰決定系の偏微分方程式を解くという、新規な戦略に基づいた包括的な群分類手法を提示する。主な貢献は、次元が3以下のすべての可能なリー対称代数を体系的に分類する方法であり、$ A_{3.8} $、$ A_{3.9} $、および $ so(3) $ のような代数の明示的実現と不変方程式を提供する。この枠組みは、より高い次元へも拡張可能である。

ABSTRACT

We expand our group classification of quasilinear evolution equations (Acta Appl.Math., v.69, 2001) to the case of general evolution equation in one spatial variable. This enables obtaining several new classes of evolution equations with nontrivial Lie symmetry. As a by-product, we derive a number of nonlinear evolution equations admitting quasilocal symmetries.

研究の動機と目的

• 非自明な $ F_{u_{xx}} $ を有する1次元空間変数における一般非線形発展方程式の完全な群分類問題を解くこと。
• 対称性の決定方程式から導かれる過剰決定系のPDEを統合するという、体系的な手法を開発すること。
• 一般発展方程式の対称性生成子としての低次元リー代数（次元3まで）のすべての可能な実現を分類すること。
• 既知の次元6までの実リー代数の分類を活用して、対称代数の整合性条件を解くことにより、群分類問題を簡略化する枠組みを確立すること。
• 各対称代数が許容する明示的不変方程式を提供し、変数変換を用いて準局所的対称性を構成可能とする。

提案手法

• 一般発展方程式のすべての無限小対称性 $ Q = \tau \partial_t + \xi \partial_x + \eta \partial_u $ を記述する決定方程式 (3) を導出する。
• 決定方程式の解がリー代数 $ \ell $ を張ることを認識し、構造定数 $ C_{ij}^k $ を含む過剰決定系 (4) として問題を再定式化する。
• 変換 $ \bar{t} = T(t), \bar{x} = X(t,x,u), \bar{u} = U(t,x,u) $ からなる同値群 (5) を用いて分類を正規化し、方程式を標準形に簡略化する。
• 特定の構造定数を用いて系 (4) を解き、抽象リー代数（次元3まで）の実現を構築する。これにより、閉包性と可換関係の整合性を保証する。
• $ \partial_u $ や $ \partial_t + \tan(t+x)u\partial_u $ に関して不変な方程式に対して $ u_x \to v $ の変換を適用し、(6) の形の準線形方程式を導出し、準局所的対称性を明らかにする。
• 既知の実リー代数の分類（例：ムバラクジヤノフの研究）を活用して探索空間を制限し、次元 $ n_0 $ まで完全性を保証する。

実験結果

リサーチクエスチョン

• RQ1 一般発展方程式 $ u_t = F(t,x,u,u_x,u_{xx}) $ において $ F_{u_{xx}} \neq 0 $ を満たす場合、次元が3以下のすべての可能なリー対称代数は何か？
• RQ2 一般発展方程式の群分類問題は、構造定数を含む過剰決定系のPDEを解くことへどのように還元可能か？
• RQ3 $ A_{3.8} $、$ A_{3.9} $、および $ so(3) $ のリー代数に対応する明示的不変方程式は何か？また、それらはどのように対称生成子から導かれるか？
• RQ4 分類から準局所的対称性はどのように生じるか？また、それらは方程式の準線形形態とどのように関連するか？
• RQ5 この手法は次元3を超える対称代数の分類に拡張可能か？最大次元 $ n_0 $ を制限する要因は何か？

主な発見

• 一般発展方程式の最大不変群は、$ \tau, \xi, \eta $ が決定方程式 (3) を満たすベクトル場 $ Q = \tau \partial_t + \xi \partial_x + \eta \partial_u $ によって生成される。
• リー代数 $ so(3) $ に対して、$ Q_1 = \partial_u $、$ Q_2 = \cos u \partial_x + \tan x \sin u \partial_u $、$ Q_3 = -\sin u \partial_x + \tan x \cos u \partial_u $ の実現が得られ、不変方程式 $ u_t = \sqrt{\sec^2 x + u_x^2} \cdot \tilde{F}(t, \dots) $ が得られる。
• $ A_{3.8} $ に対しては2つの実現が得られた。1つ目は $ Q_1 = \partial_u $、$ Q_2 = x\partial_u $、$ Q_3 = -(x^2+1)\partial_x - xu\partial_u $ であり、$ u_t = \sqrt{1+x^2} \cdot \tilde{F}(t, u_{xx}(1+x^2)^{3/2}) $ を得る。
• $ A_{3.9} $ に対しては、$ Q_3 = -(x^2+1)\partial_x + (q - x)u\partial_u $（$ q \neq 0 $）の実現が得られ、$ u_t = e^{-q \arctan x} \sqrt{1+x^2} \cdot \tilde{F}(t, u_{xx} e^{q \arctan x} (1+x^2)^{3/2}) $ が得られる。
• $ A_{3.9} $ の2番目の実現として、$ Q_3 = \partial_t + \tan(t+x)u\partial_u $ を用いることで、$ u_t = u_x + \sec(t+x) \cdot F(x, u_{xx}\cos(t+x) - 2u_x\sin(t+x)) $ が得られ、微分および変数変換により準局所的対称性が生成される。
• $ \mathcal{L}_2 $ 発展方程式（すなわち、準局所的対称性を許容する方程式）の分類は未解決のままであるが、次元3を超える分類への拡張に向けた枠組みは確立されている。