[論文レビュー] Classification of Darboux transformations for operators of the form $\partial_x\partial_y +a \partial_x + b\partial_y +c$

Ekaterina Shemyakova|arXiv (Cornell University)|Apr 26, 2013

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

ひとこと要約

本稿では、$∂_x∂_y + a∂_x + b∂_y + c$ の形をした2次元作用素に対するダーブー変換を、十分なラプラース鎖長のもとで、2つの基本的1次元アトミックダーブー変換—ワロンスキー型と因数分解型—の合成に分解できることを証明することによって分類する。分類は、$NL = L_1M$ の形をした相互作用関係に依拠し、変換作用素およびそのポテンシャル項に対する完全な代数的特徴付けと、それらのドレスフォーミュラが得られる。

ABSTRACT

Darboux transformations are non-group type symmetries of linear differential operators. One can define Darboux transformations algebraically by the intertwining relation $ML=L_1M$ or the intertwining relation $ML=L_1N$ in the cases when the first one is too restrictive. Here we show that Darboux transformations for operators of the form $\partial_x\partial_y +a \partial_x + b\partial_y +c$ (often referred to as 2D Schrödinger operators) are always compositions of atomic Darboux transformations of two different types. This is in contrast with the case of 1D Schrödinger operators and other 1D operators, where there is only one atomic kind of Darboux transformations.

研究の動機と目的

• 作用素 $\partial_x\partial_y + a\partial_x + b\partial_y + c$ の2階線形微分作用素に対するすべてのダーブー変換を、一般化された相互作用関係 $NL = L_1M$ を用いて分類すること。
• ラプラース鎖長が十分である場合、このような変換が基本的1次元ダーブー変換の合成に分解されることを確立すること。
• 変換作用素 $M$ と $N$ の完全な代数的特徴付けを提供し、ポテンシャル項 $a, b, c$ の明示的ドレスフォーミュラを含めること。
• 非群型・非制限型の場合におけるダーブー変換の構造を解明するため、$(M,N)$ のペアに柔軟な同値関係を導入すること。

提案手法

• ダーブー変換の定義的条件として、$M$ が可逆である必要がない非可逆性を許容する一般化された相互作用関係 $NL = L_1M$ を用いる。
• 変換ペアの正規化と可逆ダーブー変換の定義のため、同値関係 $(M,N) \sim (M + AL, N + L_1A)$ を適用する。
• 作用素 $L$ の核に属する非ゼロ解 $\psi$ を用いたワロンスキー型構成を用い、$M_\psi = \partial_x - \psi_x\psi^{-1}$ および $N_\psi$ の明示的公式を導出する。
• 変換の2つの異なるケースを導出する：ケースIでは $T = \psi_x\psi^{-1} + b \neq 0$ であり、$N_\psi = \partial_x - \partial_x\ln(T\psi)$ を得る。ケースIIでは $\psi_x + b\psi = 0$ であり、$L = (\partial_y + a)(\partial_x + b)$ と因数分解可能となる。
• 核の共通部分と交差に関する議論および可換図式を用いて、変換の非退化性と $M$ と $M_y$ の共通核の自明性を証明する。
• 既存の因数分解可能作用素に関する先行研究（例：[39]）の結果と新規定理を統合し、ラプラース鎖長の条件下で完全な分類を確立する。

実験結果

リサーチクエスチョン

• RQ1 作用素 $\partial_x\partial_y + a\partial_x + b\partial_y + c$ のすべてのダーブー変換は、基本的1次元変換の合成に分解可能か？
• RQ2 このような作用素に対して、$NL = L_1M$ を満たす変換ペア $(M,N)$ の代数的構造は何か？
• RQ3 ポテンシャル項 $a, b, c$ はダーブー変換によってどのように変化し、明示的ドレスフォーミュラは何か？
• RQ4 どのような条件下で変換がワロンスキー型または因数分解型に帰着するか？
• RQ5 ラプラース鎖長は、高階ダーブー変換の分解を保証するために果たす役割は何か？

主な発見

• 作用素 $L = \partial_x\partial_y + a\partial_x + b\partial_y + c$ のすべてのダーブー変換は、左側で $d_1$ 以上、右側で $d_2$ 以上の長さのラプラース鎖を持つ場合、$d_1, d_2$ は変換作用素 $M$ のバイ次数であるが、1次元アトミックダーブー変換の合成に分解可能である。
• 変換は2つのケースで完全に特徴付けられる：ケースI（$T \neq 0$）では $b_1 = b - \partial_x(\ln T)$、$c_1 = a_x - a\partial_x\ln(T\psi) - T\partial_y(\ln\psi)$ であり、$T = \psi_x\psi^{-1} + b$ である。
• ケースII（$\psi_x + b\psi = 0$）では、作用素 $L$ は $L = (\partial_y + a)(\partial_x + b)$ と因数分解可能であり、任意の $n$ に対して $b_1 = n$、$c_1 = na + a_x$、$a_1 = a$ と定義される。
• 核に属する任意の非ゼロ $\psi$ に対して、このような変換が存在し、それに応じた $M_\psi$ と $N_\psi$ はワロンスキー型の公式により明示的に構成可能である。
• 分類は完全かつ代数的であり、体 $K$ に制限はなく、ラプラース鎖長が分解を可能にする条件下で成立する。
• 証明は核の交差に関する議論と、$L$、$M$、$N$、$L_1$ を含む可換図式の可換性に依拠し、変換が適切に定義され非退化であることを保証する。