[論文レビュー] Global representations of the Heat and Schrödinger equation with singular potential

José A. Franco, Mark R. Sepanski|arXiv (Cornell University)|Oct 5, 2011

Mathematical and Theoretical Analysis参考文献 5被引用数 3

ひとこと要約

本稿は、非標準的帰納法を用いて、$n$次元のシュレーディンガー方程式および熱方程式の解空間のグローバル表現を、逆2乗特異ポテンシャル $V_\lambda(x) = \lambda \|x\|^{-2}$ を持つ場合に構成する。$\widetilde{SL(2,\mathbb{R})} \times O(n)$-不変な解空間を実現し、$K$-有限ベクトルが存在するための $\lambda$ の許容値を特定する。その上で、合流超幾何関数と調和多項式を用いて明示的に特徴づけ、このような解空間の直和が、完全な合成系列を持つ $\mathfrak{g}$-加群をなすことを示す。

ABSTRACT

We study the $n$-dimensional Schrödinger equation with singular potential $V_λ(x)=λ|x|^{-2}$. Its solution space is studied as a global representation of $\widetilde{SL(2,\R)} imes O(n)$. A special subspace of solutions for which the action globalizes is constructed via nonstandard induction outside the semisimple category. The space of $K$-finite vectors is calculated, obtaining conditions for $λ$ so that this space is non-empty. The direct sum of solution spaces, over such admissible values of $λ$ is studied as a representation of the $2n+1$-dimensional Heisenberg group.

研究の動機と目的

• 逆2乗特異ポテンシャル $V_\lambda(x) = \lambda \|x\|^{-2}$ を持つシュレーディンガー方程式および熱方程式の解空間に対するグローバル表現を構成すること。
• 解空間内に $K$-有限ベクトルが存在するための $\lambda$ の条件を同定すること。
• 許容される $\lambda$ 値の範囲で解空間の直和を、$2n+1$ 次元ヘイゼンベルク群の表現として実現すること。
• 解空間上の $\mathfrak{g}$-加群構造の合成系列を特定すること。ここで $\mathfrak{g}$ は $\widetilde{SL(2,\mathbb{R})} \times O(n) \ltimes H_{2n+1}$ のリー代数である。

提案手法

• 半単純なカテゴリー外の非標準的帰納法を用い、微分方程式 $4s\partial_t + \Delta_n = \frac{2\lambda}{\|x\|^2}$ の解空間上にグローバルなリー群表現を構成する。
• 群 $G = \widetilde{SL(2,\mathbb{R})} \times O(n) \ltimes H_{2n+1}$ の類パラボリック部分群 $\overline{P}$ に対して、誘導表現 $I(q,r,s) = \operatorname{Ind}_{\overline{P}}^G(\chi_{q,r,s})$ を構成する。
• 解空間を、$\mathfrak{sl}(2,\mathbb{R})$ と $\mathfrak{so}(n)$ のキャスミア作用素を組み合わせた作用素 $\Omega'$ に対する $\Omega' - 2\lambda$ の核として特定する。
• コンpact図式を用いて $K$-有限ベクトルを分析し、合流超幾何関数と調和多項式を用いて表現する。
• ヘイゼンベルク代数および $\mathfrak{sl}_2 \times O(n)$ の作用を用いて、解空間の構造とその合成系列を同定する。
• $K$-有限ベクトルの存在基準から導かれる明示的条件を用いて、許容される $\lambda$ 値を分類する。

実験結果

リサーチクエスチョン

• RQ1 逆2乗ポテンシャルを有するシュレーディンガー方程式の解空間に、非自明な $K$-有限ベクトルが存在する $\lambda$ の値は何か？
• RQ2 解空間は、どのようにして $\widetilde{SL(2,\mathbb{R})} \times O(n) \ltimes H_{2n+1}$ のグローバル表現として実現可能か？
• RQ3 すべての許容される $\lambda$ 値についての解空間の直和は、$\mathfrak{g}$-加群としてどのように構造を持つか？
• RQ4 ヘイゼンベルク代数の生成子 $E_j^\pm$ の作用は、異なる解部分空間間の $K$-有限ベクトルをどのように写像するか？
• RQ5 許容される $\lambda$ について $\ker(\Omega' - 2\lambda)$ の直和によって形成される $\mathfrak{g}$-加群の合成系列は何か？

主な発見

• 許容される $\lambda$ 値の集合 $A_n$ は明示的に特定され、非自明な $K$-有限ベクトルが存在するのは、$\mathfrak{sl}_2$ および $\mathfrak{so}(n)$ の表現論から導かれる特定の代数的条件を満たす $\lambda$ のときである。
• $\ker(\Omega' - 2\lambda)$ 内の $K$-有限ベクトルは、第一種合流超幾何関数と調和多項式の線形結合として表現され、量子数 $m, l, k$ に明示的な依存関係を示す。
• $\lambda = 0$ のとき、解空間 $\ker(\Omega')$ はヘイゼンベルク代数の作用に関して不変であるが、$\lambda \neq 0$ のとき、ヘイゼンベルク代数の作用は $\ker(\Omega' - 2\lambda)_K$ を保存しない。
• 直和 $\ker(\Omega') \oplus \bigoplus_{\lambda \in A_n} \ker(\Omega' - 2\lambda)_K$ は、群 $G$ のリー代数 $\mathfrak{g}$ の作用に関して明確な $\mathfrak{g}$-加群構造を持つ。
• この $\mathfrak{g}$-加群の合成系列は完全に特定されており、$q \in \mathbb{Z}_4$ の $4$ を法とする値に依存し、$n$ と $q$ の合同条件に基づく4つの異なるケースが存在する。
• $E_j^\pm$ の作用は、$K$-有限ベクトルを、異なる固有値 $\lambda \pm (2k + 2l + n - 2)$ および $\lambda \pm l$ を持つ解空間に対応する $K$-有限ベクトルの線形結合へ写像する。これにより、固有値部分空間間の非自明な混合が生じる。