[论文解读] 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

一句话总结

本文通过非标准归纳法，构造了具有反平方奇异势 $V_\lambda(x) = \lambda \|x\|^{-2}$ 的 $n$ 维薛定谔方程与热方程的全局解空间表示，实现了 $\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.

研究动机与目标

• 构造具有奇异反平方势 $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})$。
• 将解空间识别为算子 $\Omega' - 2\lambda$ 的核，其中 $\Omega'$ 综合了 $\mathfrak{sl}(2,\mathbb{R})$ 与 $\mathfrak{so}(n)$ 的卡西米尔元。
• 通过紧致图像分析 $K$-有限向量，将其表达为合流超几何函数与调和多项式的组合。
• 利用海森堡代数与 $\mathfrak{sl}_2 \times O(n)$ 的作用，确定解空间及其合成列的结构。
• 通过 $K$-有限向量存在性准则导出的显式条件，对可允许 $\lambda$ 值进行分类。

实验结果

研究问题

• RQ1 对于哪些 $\lambda$ 值，带有反平方势的薛定谔方程解空间中存在非平凡的 $K$-有限向量？
• 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$ 被显式确定，且当 $\lambda$ 满足由 $\mathfrak{sl}_2$ 与 $\mathfrak{so}(n)$ 表示理论导出的特定代数条件时，$K$-有限向量非平凡存在。
• $\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$ 装备有明确的 $\mathfrak{g}$-模结构，其中 $\mathfrak{g}$ 是群 $G$ 的李代数。
• 该 $\mathfrak{g}$-模的合成列完全确定，其结构取决于 $q \in \mathbb{Z}_4$ 模 4 的取值，根据 $n$ 与 $q$ 的同余条件分为四种不同情形。
• $E_j^\pm$ 对 $K$-有限向量的作用，将其映射到对应于不同特征值 $\lambda \pm (2k + 2l + n - 2)$ 与 $\lambda \pm l$ 的解空间中的 $K$-有限向量的线性组合，表明在不同特征值子空间之间存在非平凡的混合。