[論文レビュー] Group classification of nonlinear Schrödinger equations

A. G. Nikitin, Roman O. Popovych|ArXiv.org|Jan 9, 2003

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

ひとこと要約

本稿では、任意の要素 $F$ に関する分類系の整合性を分析することにより、形式 $i\psi_t + \Delta\psi + F(\psi, \psi^*) = 0$ の非線形シュレーディンガー方程式の群分類の新規手法を提示する。この手法により、非自明な対称性代数を有するすべての同値でない方程式の完全な分類が可能となり、15の異なるケースが得られ、既知の可積分モデルと新たなモデルが含まれる。対称性代数と同値変換が体系的に導出された。

ABSTRACT

The authors suggest a new powerful tool for solving group classification problems, that is applied to obtaining the complete group classification in the class of nonlinear Schrödinger equations of the form $iψ_t+Δψ+F(ψ,ψ^*)=0$.

研究の動機と目的

• 偏微分方程式における群分類問題を解くための新規で体系的な手法を開発すること、特に任意の非線形性 $F(\psi, \psi^*)$ を有する非線形シュレーディンガー方程式に特化すること。
• 定義方程式の直接積分に依存する従来の手法の限界を克服すること。この手法は計算量が多く、複雑なクラスではしばしば実行不可能である。
• 非自明なリー対称性代数を有するすべての同値でない非線形シュレーディンガー方程式の完全かつ包括的な分類を達成すること。
• 最大対称性代数の核と、クラスの同値群を特定することにより、対称性削減と可積分性解析の基盤を提供すること。
• 核代数のすべての拡張を特定・分類すること。特に、$F$ の特定の形から生じる非自明な対称性代数を含む。

提案手法

• 任意の要素 $F$ に関する分類系の整合性分析に基づく新規アプローチを導入し、無差別なケースバイケースの積分を回避する。
• 方程式およびその共役に無限小不変性基準を適用することにより、リー対称性生成子 $Q = \xi^0 \partial_t + \xi^a \partial_a + \eta \partial_\psi + \eta^* \partial_{\psi^*}$ の定義方程式を導出する。
• 定義方程式 (2) を統合し、係数 $\xi^0$, $\xi^a$, $\eta$, $\eta^*$ を任意関数および定数の関数として表現することで、核代数の構造を明らかにする。
• 非自明な対称性のための $F$ に関する制約を特定するため、分類条件 (3) — $\eta F_\psi + \eta^* F_{\psi^*} + (\xi^0_t - \eta_\psi)F + i\eta_t + \eta_{aa} = 0$ — を用いる。
• 変数を分離し、$\tilde{c}_j, \tilde{d}_j, \tilde{e}_j$ の複素結合を導入することで、$F$, $F_\psi$, $F_{\psi^*}$ における線形系への問題の簡略化を行う。
• スケーリング、平行移動、位相シフトを含む拡張同値群 $G^{\rm equiv}$ の同値変換を適用し、方程式を標準形に簡略化し、同値でないケースに分類する。

実験結果

リサーチクエスチョン

• RQ1 非自明なリー対称性代数を有するすべての同値でない非線形シュレーディンガー方程式 $i\psi_t + \Delta\psi + F(\psi, \psi^*) = 0$ の完全な集合は何か？
• RQ2 定義方程式の体系的ケース解析に依存せずに、群分類問題を体系的かつ効率的に解く方法は何か？
• RQ3 任意の要素 $F$ に作用する同値群 $G^{\rm equiv}$ の構造は何か？ そして、それが標準形への簡略化を可能にする仕組みは何か？
• RQ4 どの特定の $F$ の形が核代数 $A^{\rm ker} = e(1) \oplus e(n)$ の拡張をもたらし、それに対応する対称性代数は何か？
• RQ5 従来の分類手法で見逃されていた、新しい可積分的または物理的に関連のある方程式は存在するか？

主な発見

• このクラスの最大対称性代数の核は $A^{\rm ker} = e(1) \oplus e(n)$ であり、$\partial_t$, $\partial_a$, $J_{ab} = x_a \partial_b - x_b \partial_a$ によって生成され、それぞれ時間並進、空間並進、回転に対応する。
• 同値群 $G^{\rm equiv}$ は10個のベクトル場によって生成され、スケーリング、平行移動、位相シフト、ゲージ変換を含む。明示的な変換は $\tilde{t} = \delta^2 t$, $\tilde{x} = \delta x$, $\tilde{\psi} = \alpha \psi + \beta$, $\tilde{F} = \delta^{-2} \alpha F$ である。
• 完全な分類により、非自明な対称性代数を有する15の同値でない非線形シュレーディンガー方程式のケースが得られ、$F = \sigma |\psi|^2 \psi$ や $F = \sigma \ln|\psi| \, \psi$ の既知のケースに加え、新たなケースも含まれる。
• 最大対称性代数は、$F$ の特定の形においてのみ核代数を拡張する。具体的には、$F = \gamma \psi + \delta \psi^* + \varepsilon$（ケース2.5）、$F = \gamma |\psi|^2 \psi$（ケース2.3）、$F = \gamma \psi \ln|\psi|$（ケース2.4）など、パrameterに依存する。
• 本研究は [4] の先行研究を確認・改善し、非自明な対称性を有する同値でない方程式のリストを完成させ、曖昧さを解消した。
• 本手法は、$F$, $F_\psi$, $F_{\psi^*}$ における線形系への還元により、分類系のすべての解を効果的に同定できることを示した。さらに、3つの独立な方程式が満たされる場合、$F$ は $\psi$, $\psi^*$ に関して線形でなければならないことが証明された。