[論文レビュー] Noether Symmetries and Conservations Laws For Non-critical Kohn-Laplace Equations on Three-Dimensional Heisenberg Group

Igor Leite Freire|ArXiv.org|Jun 12, 2007

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

ひとこと要約

本稿では、3次元ヘイゼンベルク群上の非臨界半線形コーン＝ラプラス方程式に対して、ネーター対称性を同定し、それに対応する保存則を導出する。変分構造とリー点対称性解析を用いて、平行移動、回転、および特定のベクトル場が、非ユークリッド的で部分リーマン的幾何におけるネーター対称性である条件を特定し、ネーター定理の枠組みで保存則を導出する。

ABSTRACT

We show which Lie point symmetries of non-critical semilinear Kohn-Laplace equations on the Heisenberg group $H^1$ are Noether symmetries and we establish their respectives conservations laws.

研究の動機と目的

• 非臨界半線形コーン＝ラプラス方程式のヘイゼンベルク群 $H^1$ 上のリー点対称性のうち、どの対称性がネーター対称性であるかを特定すること。
• 方程式の変分構造を用いて、これらのネーター対称性に対応する明示的な保存則を導出すること。
• 非線形性 $f(u)$ に基づく対称性の分類を行い、追加の対称性が生じる場合（例：$f(u) = 0$、$f(u) = u$、$f(u) = u^p$）を区別すること。
• $Z$、$U$、および $V_1, V_2, V_3$ などのベクトル場がネーター対称性である条件を特定すること。
• ヘイゼンベルク群上でのネーター定理を用いた、部分リーマン的設定における保存則導出の体系的フレームワークを構築すること。

提案手法

• $H^1$ 上のコーン＝ラプラス方程式は、ラグランジアン $\mathcal{L} = \frac{1}{2}u_x^2 + \frac{1}{2}u_y^2 + 2(x^2+y^2)u_t^2 + 2y u_x u_t - 2x u_y u_t - F(u)$ を持つ変分構造を持つ。ここで $F' = f$ である。
• リー点対称性は関数 $f(u)$ に基づいて分類され、$T = \partial_t$、$R = y\partial_x - x\partial_y$、$\tilde{X} = \partial_x - 2y\partial_t$、$\tilde{Y} = \partial_y + 2x\partial_t$ に加え、特別な $f(u)$ に対して追加の対称性が存在する。
• ネーター対称性は、ベクトル場の1次までの延長がネーター条件を満たすかどうかを検証することによって同定される：$\mathcal{L}^{(1)}\mathcal{L} + \mathcal{L} \cdot \text{Div}(\xi) = \text{Div}(\mathbf{J})$。
• 各ネーター対称性に対して、ネーター公式を用いて保存電流 $\mathbf{J}$ を明示的に計算し、ラグランジアンおよび対称性ベクトル場から成分を導出する。
• 解析では、$\Delta_{H^1}\beta = 0$ のとき $W_\beta$ がネーター対称性であることが示され、一方 $Z$、$U$、および $V_1, V_2, V_3$ は特定の条件下で非ネーター対称性であることが判明する。
• Mathematica を用いたコンピュータ支援の検証により、保存則の成分が確認されており、コードは要請に応じて提供可能である。

実験結果

リサーチクエスチョン

• RQ1 非臨界半線形コーン＝ラプラス方程式の $H^1$ 上のリー点対称性のうち、どの対称性がネーター対称性であるか？
• RQ2 $f(u)$ にどのような条件下で $V_1, V_2, V_3$ や $D_p$ のような追加の対称性がネーター対称性となるか？
• RQ3 $f(u) = 0$、$f(u) = u$、$f(u) = u^p$ のような場合において、ネーター対称性に対応する保存則はどのように異なるか？
• RQ4 なぜ $Z = x\partial_x + y\partial_y + 2t\partial_t$ や $U = u\partial_u$ のような対称性は、リー対称性ではあるがネーター対称性でないのか？
• RQ5 コーン＝ラプラス作用素の核が、$W_\beta$ を通じてネーター対称性を生成する役割を果たすのはなぜか？

主な発見

• 対称性 $T = \partial_t$、$R = y\partial_x - x\partial_y$、$\tilde{X} = \partial_x - 2y\partial_t$、$\tilde{Y} = \partial_y + 2x\partial_t$ はすべての $f(u)$ に対してネーター対称性であり、ネーター電流から保存則が導出される。
• $W_\beta = \beta\partial_u$ は $\Delta_{H^1}\beta = 0$ のときネーター対称性であり、その保存則は $\beta$ と $u$ を含む電流の発散から生じる。
• 生成子 $Z = x\partial_x + y\partial_y + 2t\partial_t$ はネーター対称性でない。その作用はネーター条件を満たす発散形式と一致しない。
• 対称性 $U = u\partial_u$ はネーター対称性でない。これは、ネーター条件 $U^{(1)}\mathcal{L} + \mathcal{L} \cdot \text{Div}(U) = \text{Div}(\mathbf{J})$ が満たされないことで示される。
• $f(u) = 0$ のとき、対称性 $V_1, V_2, V_3$ はネーター対称性であり、$f(u) = u^3$ の既知の結果と同様に保存則が導出される。
• $f(u) = u^p$ で $p \neq 0,1,3$ のとき、拡大対称性 $D_p = x\partial_x + y\partial_y + 2t\partial_t + \frac{2}{1-p}u\partial_u$ はネーター対称性であり、その保存則は明示的に構成される。