[論文レビュー] Algebraic method for group classification of (1+1)-dimensional linear Schr\\"odinger equations

Célestin Kurujyibwami, P. Basarab-Horwath+1 more|arXiv (Cornell University)|Jul 14, 2016

Advanced Fiber Laser Technologies被引用数 8

ひとこと要約

本稿では、一様な半正規化に基づく新しい代数的手法を用いて、複素数値ポテンシャルを有する (1+1)次元線形シュレーディンガー方程式の完全な群分類を提示する。クラスが一様に半正規化されていることを示し、同値代数の低次元部分代数の分類に分類問題を還元することで、不変量 $k_1 \leq 3$ および $k_2 \in \{0,2\}$ を持つ、$G^\sim$-同値でないポテンシャル族の2つの同値なリストを導出し、最大対称性代数に対して $k_1 \neq 2$ を証明する。

ABSTRACT

We carry out the complete group classification of the class of (1+1)-dimensional linear Schr\\"odinger equations with complex-valued potentials. After introducing the notion of uniformly semi-normalized classes of differential equations, we compute the equivalence groupoid of the class under study and show that it is uniformly semi-normalized. More specifically, each admissible transformation in the class is the composition of a linear superposition transformation of the corresponding initial equation and an equivalence transformation of this class. This allows us to apply the new version of the algebraic method based on uniform semi-normalization and reduce the group classification of the class under study to the classification of low-dimensional appropriate subalgebras of the associated equivalence algebra. The partition into classification cases involves two integers that characterize Lie symmetry extensions and are invariant with respect to equivalence transformations.

研究の動機と目的

• 複素数値ポテンシャルを有する (1+1)次元線形シュレーディンガー方程式の群分類に関する未解決問題を解くこと。
• 一様な半正規化に基づく新しいバージョンの代数的手法を開発し、分類プロセスを簡略化・体系化すること。
• 同値代数の $G^\sim$-同値でない部分代数の特定により、方程式のすべての可能なリー対称性拡張を分類すること。
• 物理的に重要なクラス（実数値ポテンシャル）を別個に取り扱う完全かつ一貫性のある分類リストを提供すること。
• クラスの半正規化性により、余分な同値変換が生じないことを確立すること。

提案手法

• 微分方程式のクラスが一様に半正規化可能であるという概念を導入し、一貫性のある同値群族構造を保証すること。
• (1+1)次元線形シュレーディンガー方程式のクラスの同値群族を計算し、それが一様に半正規化されていることを証明すること。
• すべての許容変換が線形重ね合わせ変換と同値変換の合成であることを示すこと。
• 群分類問題を、$G^\sim$-同値性に関しての関連同値代数の低次元部分代数の分類に還元すること。
• 2つの不変量 $k_1$ と $k_2$ を用いて分類ケースを分割し、$k_1 \leq 3$ および $k_2 \in \{0,2\}$ とし、最大対称性代数に対して $k_1 \neq 2$ を証明すること。
• 実数値ポテンシャルを有するクラス（$\mathrm{Sch}_{\mathbb{R}}$）に分類を適用し、同様に一様に半正規化されていることを利用し、独立した分類リストを導出すること。

実験結果

リサーチクエスチョン

• RQ1 複素数値ポテンシャルを有する (1+1)次元線形シュレーディンガー方程式の、リー対称性拡張の完全な集合は何か？
• RQ2 クラスが一様に半正規化されている場合、代数的手法を用いて群分類問題をどのように体系的に簡略化できるか？
• RQ3 同値性に関して対称性拡張を分類する不変量（不変量）は何か？
• RQ4 なぜ $k_1 = 2$ のケースが分類から除外されるのか、その背後にある構造的根拠は何か？
• RQ5 実数値ポテンシャルを有するクラスの分類は、全複素ポテンシャルケースとどのように関係し、物理的意味は何か？

主な発見

• 複素数値ポテンシャルを有する (1+1)次元線形シュレーディンガー方程式のクラスは、一様に半正規化されており、余分な同値変換が生じないことを保証する。
• 群分類は、同値代数の部分代数の $G^\sim$-同値性に関しての分類に還元され、分類ケースは2つの不変量 $k_1$ と $k_2$ でパrameter化される。
• 不変量 $k_2$ は 0 または 2 のみを取り、$k_1$ は 3 以下であり、最大対称性代数に対して $k_1 = 2$ は除外される。
• $k_2 = 2$ の場合、分類はクラス (12) の群分類に還元され、これは一様に半正規化されており、$\mathrm{sl}(2,\mathbb{R})$ の部分代数の既知の分類を許容する。
• 分類により、$k_1$ を主不変量とする8つの $G^\sim$-同値でないポテンシャル族のリストと、$k_2$ を主不変量とする別の同値なリストが得られる。
• 実数値ポテンシャルを有するクラス（$\mathrm{Sch}_{\mathbb{R}}$）も一様に半正規化されており、同じ枠組み内で一貫性があり完全な分類が可能である。