Abstract:We study the family of quantum integrable systems that arise from separating the Schrödinger equation in all 6 separable orthogonal coordinates on the 3 sphere: ellipsoidal, prolate, oblate, Lamé, spherical and cylindrical. On the one hand each separating coordinate system gives rise to a quantum integrable system on S2 x S2, on the other hand it also leads to families of harmonic polynomials in R4. We show that separation in ellipsoidal coordinates yields a generalised Lamé equation - a Fuchsian ODE with 5 regular singular points. We seek polynomial solutions so that the eigenfunctions are analytic at all finite singularities. We classify eigenfunctions by their discrete symmetry and compute the joint spectrum for each symmetry class. The latter 5 separable coordinate systems are all degenerations of the ellipsoidal coordinates. We perform similar analyses on these systems and show how the ODEs degenerate in a fashion akin to their respective coordinates. For the prolate system we show that there exists a defect in the joint spectrum which prohibits a global assignment of quantum numbers: the system has quantum monodromy. This is a companion paper to our previous work where the respective classical systems were studied.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study quantum integrable systems on the three - dimensional sphere \(S^3\) by the method of separation of variables. Specifically, the authors explored the quantum integrable systems generated by separating the Schrödinger equation in all six separable orthogonal coordinate systems on \(S^3\) (ellipsoidal coordinates, prolate spheroidal coordinates, oblate spheroidal coordinates, Lame coordinates, spherical coordinates, and cylindrical coordinates). These coordinate systems not only give quantum integrable systems on \(S^2\times S^2\), but also lead to families of harmonic polynomials in \(R^4\). In particular, the authors showed that separating variables in ellipsoidal coordinates can obtain a generalized Lame equation - a Fuchsian ordinary differential equation with five regular singularities. They seek polynomial solutions to ensure that the eigenfunctions are analytic at all finite singularities, classify the eigenfunctions according to discrete symmetries, and calculate the joint spectra of each symmetry class.
In addition, the paper also analyzed the other five separable coordinate systems (i.e., prolate spheroidal, oblate spheroidal, Lame, spherical, and cylindrical coordinate systems), which are all degenerated from the ellipsoidal coordinate system, and showed how the corresponding ordinary differential equations change as the coordinate system degenerates. For the prolate spheroidal system, the authors pointed out that there is a defect that prohibits the global assignment of quantum numbers, that is, the system has quantum monodromy. This is in contrast to the previously studied classical systems.
Overall, this paper aims to gain a deep understanding of quantum integrable systems on \(S^3\) and their corresponding special functions and ordinary differential equations through the method of separation of variables, especially the degeneration cases in different coordinate systems. This research not only expands the understanding of quantum integrable systems but also provides a new perspective for exploring broader physical and mathematical problems.