[論文レビュー] Contact Equivalence Problem for Linear Hyperbolic Equations

Oleg I. Morozov|ArXiv.org|Jun 1, 2004

Material Science and Thermodynamics参考文献 7被引用数 4

ひとこと要約

本稿では、カルタンの等価法と移動標構法を用いて、2変数の線形2階双曲型方程式の局所接触同値問題を解き、微分不変量と不変微分作用素に基づいて6つの不変部分類に分類する。重複する分類多様体を用いて、同値性の必要十分条件を提示する。

ABSTRACT

We consider the local equivalence problem for the class of linear second order hyperbolic equations in two independent variables under an action of the pseudo-group of contact transformations. E. Cartan's method is used for finding the Maurer - Cartan forms for symmetry groups of equations from the class and computing structure equations and complete sets of differential invariants for these groups. The solution of the equivalence problem is formulated in terms of these differential invariants.

研究の動機と目的

• 線形2階双曲型方程式の接触変換の下での局所同値問題を解く。
• 対称性群の構造と微分不変量に基づいて方程式を不変部分類に分類する。
• 各部分類に対して完全な微分不変量と不変微分作用素の集合を特定する。
• 分類多様体を用いて、局所同値性の必要十分条件を確立する。
• 移動標構法がPDE同値問題における構造的に非推移的対称性群に適用可能であることを示す。

提案手法

• フェルスとオルバーが発展させた形のエリ・カルタンの等価法を適用し、ムーレル＝カルタン形式と構造方程式を計算する。
• 移動標構法を用いて、方程式の対称性群の不変1形式と構造方程式を体系的に導出する。
• 2階ジェットをモデル化し、接触形式を定義するために、座標 $(t,x,u,u_t,u_x,u_{tx})$ を持つジェットバンドル枠組み $J^2(υ)$ を用いる。
• ブロック行列からなるリー群への写像 $S$ を用いて、接触変換が標構に与える作用を記述する。
• ねじれ吸収と拡張を実行し、帰納的標構を達成することで、微分不変量の抽出を可能にする。
• 不変微分作用素を計算し、各部分類に対して微分不変量でパrameter化された分類多様体を構成する。

実験結果

リサーチクエスチョン

• RQ1 2つの線形双曲型方程式が接触変換の下で局所的に同値であるための必要十分条件は何か？
• RQ2 このような方程式の対称性群の構造は、微分不変量を用いてどのように分類できるか？
• RQ3 各対称性クラスに対して、完全な微分不変量と不変微分作用素の集合は何か？
• RQ4 移動標構法は、この文脈における構造的に非推移的対称性群をどのように処理するか？
• RQ5 微分不変量による分類多様体のアプローチは、このクラスの局所同値問題を完全に解消できるか？

主な発見

• 線形双曲型方程式のクラスは、$H$, $K$, $P$, $Q$ に関する条件に基づき、6つの不変部分類 $\mathcal{S}_1$ から $\mathcal{S}_6$ に分割される。
• $\mathcal{S}_1$ に属する方程式は、波動方程式 $u_{tx} = 0$ と局所的に同値である。
• $\mathcal{S}_6$ に属する方程式は、$Q=0$ の場合 $u_{tx} = \lambda (t+x)^{-2} u$、$Q \neq 0$ の場合 $u_{tx} = \mu (t+x)^{-2} u$ と局所的に同値である。
• $\mathcal{S}_2$ では、基本不変量は $P$, $Q$, $J_2$ であり、不変微分作用素は $\mathbb{D}_1 = P_t^{-1} D_t$, $\mathbb{D}_2 = P_t H^{-1} D_x$ である。
• $\mathcal{S}_3$ では、基本不変量は $P$, $Q$, $L$ であり、$\mathbb{D}_1 = P_x H^{-1} D_t$, $\mathbb{D}_2 = P_x^{-1} D_x$ である。
• $\mathcal{S}_2$, $\mathcal{S}_3$, $\mathcal{S}_4$, または $\mathcal{S}_5$ に属する2つの方程式が局所的に同値であるための必要十分条件は、それらの分類多様体が局所的に重複することである。