[论文解读] Galoisian Approach to integrability of Schrödinger Equation

Primitivo B. Acosta-Humánez, Juan J. Morales-Ruiz+1 more|arXiv (Cornell University)|Aug 20, 2010

Quantum Mechanics and Non-Hermitian Physics参考文献 32被引用 5

一句话总结

本文应用微分伽罗瓦理论分析一维薛定谔方程在各种势能下的可积性。通过使用通过拉回实现的代数化方法和科瓦奇茨算法，确定了精确可解和形状不变势能下的精确可解条件、本征值、本征函数以及微分伽罗瓦群，建立了一套系统方法，用于识别解何时为代数式或刘维尔式。

ABSTRACT

In this paper, we examine the non-relativistic stationary Schrödinger equation from a differential Galois-theoretic perspective. The main algorithmic tools are pullbacks of second order ordinary linear differential operators, so as to achieve rational function coefficients ("algebrization"), and Kovacic's algorithm for solving the resulting equations. In particular, we use this Galoisian approach to analyze Darboux transformations, Crum iterations and supersymmetric quantum mechanics. We obtain the ground states, eigenvalues, eigenfunctions, eigenstates and differential Galois groups of a large class of Schrödinger equations, e.g. those with exactly solvable and shape invariant potentials (the terms are defined within). Finally, we introduce a method for determining when exact solvability is possible.

研究动机与目标

• 开发一个伽罗瓦理论框架，用于确定具有任意势能的一维薛定谔方程的可积性。
• 基于微分伽罗瓦群，对势能进行分类，判断其解是否为代数式或刘维尔式。
• 提供一种算法化方法，以确定薛定谔方程在何时精确可解，特别是针对形状不变势能和准精确可解势能。
• 在统一的伽罗瓦理论形式下，整合达布变换、克鲁姆迭代与超对称量子力学。
• 通过代数化方法将科瓦奇茨算法的应用范围扩展至超越势能，实现系统化的解分析。

提出的方法

• 应用二阶线性微分算子的拉回，将具有超越系数的方程转化为有理系数方程（代数化）。
• 使用科瓦奇茨算法对变换后方程的微分伽罗瓦群进行分类，以确定可积性与解的类型。
• 通过算子 $\widehat{\partial_z}$ 实现代数化方法，将具有有理或超越势能的方程映射为等价的有理系数形式。
• 将该算法应用于具有多项式、有理函数及形状不变势能的薛定谔方程，通过解的结构计算本征值与本征函数。
• 利用本征环与皮卡德-维西奥特理论分析伽罗瓦群结构，区分 $SL(2,\mathbb{C})$、$\mathbb{G}_m$、$\mathbb{G}_a$ 与有限单值群。
• 通过分析其对伽罗瓦群与解类型的影响，将达布变换与克鲁姆迭代整合进伽罗瓦理论框架。

实验结果

研究问题

• RQ1 在何种条件下，给定势能的一维薛定谔方程在微分伽罗瓦理论意义下是精确可解的？
• RQ2 如何系统地应用代数化方法于超越势能，将其简化为可应用科瓦奇茨算法的有理系数方程？
• RQ3 超对称量子力学中的形状不变性与相应薛定谔方程的微分伽罗瓦群之间存在何种关系？
• RQ4 达布变换与克鲁姆迭代如何影响薛定谔方程的可积性与伽罗瓦群结构？
• RQ5 能否利用伽罗瓦理论工具，对一大类精确可解与准精确可解势能实现本征值与本征函数的完整分类？

主要发现

• 本文建立了一套完整的算法方法，通过代数化与科瓦奇茨算法，确定了具有有理与超越势能的薛定谔方程的精确可解性。
• 对于满足 $\circ(r_c) = 1$ 的势能，可能的本征值集合为 $E_c = \{4\}$；当 $\circ(r_c) = 2$ 时，$E_c = \{2 + k\sqrt{1+4b} : k = 0, \pm 2\}$；当 $\circ(r_c) > 2$ 时，$E_c = \{v\}$，在无穷远处有类似结果。
• 当 $\circ(r_\infty) > 2$ 时，无穷远处的本征值集合为 $E_\infty = \{0, 2, 4\}$；当 $\circ(r_\infty) = 2$ 时，$E_\infty = \{2 + k\sqrt{1+4b} : k = 0, \pm 2\}$。
• 当 $\circ(r_\infty) = v < 2$ 时，本征值集合为 $E_\infty = \{v\}$；当 $\circ(r_\infty) \geq 2$ 时，$E_\infty = \{6 + \frac{12k}{m}\sqrt{1+4b} : k = 0, \pm1, \dots, \pm6, m \in \{4,6,12\}\}$。
• 若存在一个首一多项式 $P_n$ 满足特定的三阶常微分方程，则可确定方程的可积性，其解通过 $\zeta = e^{\int \omega}$ 构造，其中 $\omega$ 是一个 $m$ 次多项式方程的解。
• 若在情形1–3中均无解，则方程不可积，其伽罗瓦群为 $SL(2,\mathbb{C})$，确认存在非刘维尔式解。