[論文レビュー] The group classification of one class of nonlinear wave equations

V. Lahno, Olena Magda|ArXiv.org|Oct 23, 2003

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

ひとこと要約

本稿では、非線形双曲型波動方程式のクラス $ u_{tx} = g(t,x)u_x + f(t,x,u) $ および $ u_{tx} = f(t,x,u) $ について、対称性解析と同値群手法を用いて (1+1)次元における完全な群分類を提示する。主な貢献は、次元3までのすべての可能なリー対称性代数の完全な分類に加え、それに対応する $ f $ および $ g $ の不変形の特定であり、非自明な対称性を有するすべての同値でない方程式の完全なリストを提供する。

ABSTRACT

The problem of group classification of one class of quasilinear equations of hyperbolic type with two independent variables has been solved completely.

研究の動機と目的

• 2つの独立変数をもつ特定の準線形双曲型波動方程式の群分類という長年の問題を解決すること。
• $ f_{uu} \neq 0 $ の条件下で、方程式 $ u_{tx} = g(t,x)u_x + f(t,x,u) $ および $ u_{tx} = f(t,x,u) $ が実現可能なすべての可能なリー対称性代数を同定すること。
• 同値群を用いて対称性作用素の標準形を構成し、非自明な点対称性を有するすべての同値でない方程式を分類すること。
• 1次元および2次元リー代数のすべての可能な実現を、可解的および半単純的ケースを含めて、完全なリストとして提供すること。
• このクラスに対して可能な最大の対称性代数を確立し、次元 ≤3 であることを示し、各ケースにおける $ f $ および $ g $ の明示的な関数形を導出すること。

提案手法

• 点対称性生成子 $ Q = \tau(t,x,u)\partial_t + \xi(t,x,u)\partial_x + \eta(t,x,u)\partial_u $ の形式に対して、リー対称性法を用いて決定系を導出する。
• 同値変換群 $ \bar{t} = T(t), \bar{x} = X(x), \bar{u} = U(t,x,u) $ を用いて、一般対称性作用素を標準形に簡略化し、分類を容易にする。
• 同値群下での線形偏微分作用素（LPDO）の標準形の方法を適用し、対称性代数の体系的分類を実施する。
• 可能なリー代数型（例：$ A_{2.1}, A_{2.2}, sl(2,\mathbb{R}) $）を仮定し、$ f $ および $ g $ に対するPDE系を解くことで、対称性代数の構造を分析する。
• $ f_{uu} \neq 0 $ の条件を用いて非線形性を保証し、退化を回避し、滑らかな関数の局所解に焦点を当てる。
• 代入および変数変換を用いて、各対称性代数実現に対する $ f $ および $ g $ の明示的な関数形（自己相似形や指数関数的形を含む）を導出する。

実験結果

リサーチクエスチョン

• RQ1 非線形双曲型波動方程式 $ u_{tx} = g(t,x)u_x + f(t,x,u) $ が $ f_{uu} \neq 0 $ を満たす場合に、実現可能なすべての可能なリー対称性代数は何か？
• RQ2 同値変換群をどのように用いて対称性作用素を標準形に分類し、群分類問題を簡略化できるか？
• RQ3 与えられたリー代数の同値でない実現に対応する $ f $ および $ g $ の明示的な関数形は何か？
• RQ4 アーベル型、可解型、半単純型などのどの対称性代数が出現可能であり、この方程式クラスにおけるそれらの代数の最大次元は何か？
• RQ5 特に $ A_{2.2} $、$ sl(2,\mathbb{R}) $、および $ A_{3.6} $ に対して、$ f $ および $ g $ の不変形は対称性代数の構造にどのように依存するか？

主な発見

• 方程式 (1.1) の対称性代数は、$ f $ および $ g $ を含むPDE系を満たす関数 $ \tau, \xi, h, r $ を用いて $ Q = \tau(t)\partial_t + \xi(x)\partial_x + (h(t)u + r(t,x))\partial_u $ の形で生成される。
• 方程式 (1.1) に対して、1次元リー代数の同値でない実現が3つ存在し、それぞれ異なる $ f $ および $ g $ の関数形に対応する。
• 2次元可解代数 $ A_{2.2} $ の同値でない実現は3つあり、それぞれ異なる関数形に対応する：$ g = [mt + (k-m)x]t^{-1}(t-x)^{-1} $、$ g = t^{-2}(kx + mt) $、$ g = (tx)^{-1}(mx - t) $。$ f $ は自己相似変数で表現される。
• 方程式 (1.2) に対して完全な分類を実施した結果、9つの同値でないケースが得られ、そのうち2つが $ A_{2.1} $、2つが $ A_{2.2} $、1つが $ sl(2,\mathbb{R}) $、残りが $ A_{2.2} \oplus A_1 $ および $ A_{2.2} \oplus A_{2.2} $ に対応する。各ケースの $ f $-形は、$ f = e^t \tilde{f}(\omega) $ や $ f = (t-x)^{-3} \tilde{f}(\omega) $ のように特定される。
• このクラスの最大対称性代数は $ A_{3.6} $ であり、$ f = \tilde{f}(u) $ のとき実現され、対称性生成子は $ \partial_t, \partial_x, -t\partial_t - x\partial_x $ であり、$ f_{uu} \neq 0 $ を満たすため、高い不変性を示す。
• 本稿では、すべての可能な対称性代数が次元3以下であり、このクラスの式に対しては次元がそれ以上の代数は存在しないことを確立した。