In one-dimensional quantum mechanics, or the Sturm-Liouville theory, Crum's theorem describes the relationship between the original and the associated Hamiltonian systems, which are iso-spectral except for the lowest energy state. Its counterpart in `discrete' quantum mechanics is formulated algebraically, elucidating the basic structure of the discrete quantum mechanics, whose Schrödinger equation is a difference equation.
Crum's theorem in one-dimensional quantum mechanics asserts the existence of an associated Hamiltonian system for any given Hamiltonian with the complete set of eigenvalues and eigenfunctions. The associated system is iso-spectral to the original one except for the lowest energy state, which is deleted. A modification due to Krein-Adler provides algebraic construction of a new complete Hamiltonian system by deleting a finite number of energy levels. Here we present a discrete version of the modification based on the Crum's theorem for the `discrete' quantum mechanics developed by two of the pr…
In this paper, we develop discrete versions of Darboux transformations and Crum's theorems for two second order difference equations. The difference equations are discretised versions (using Darboux transformations) of the spectral problems of the KdV quation, and of the modified KdV equation or sine-Gordon equation. Considering the discrete dynamics created by Darboux transformations for the difference equations, one obtains the lattice potential KdV equation, the lattice potential modified KdV equation and the lattice Schwarzian KdV equation, that are prototypes of integrable lattice equatio…
A comprehensive review of exactly solvable quantum mechanics is presented with the emphasis of the recently discovered multi-indexed orthogonal polynomials. The main subjects to be discussed are the factorised Hamiltonians, the general structure of the solution spaces of the Schroedinger equation (Crum's theorem and its modifications), the shape invariance, the exact solvability in the Schroedinger picture as well as in the Heisenberg picture, the creation/annihilation operators and the dynamical symmetry algebras, coherent states, various deformation schemes (multiple Darboux transformations)…
Crum's theorem and its modification a la Krein-Adler are formulated for the discrete quantum mechanics with real shifts, whose eigenfunctions consist of orthogonal polynomials of a discrete variable. The modification produces the associated polynomials with a finite number of degrees deleted. This in turn provides the well known Christoffel transformation for the dual orthogonal polynomials with the corresponding positions deleted.
Infinite families of multi-indexed orthogonal polynomials are discovered as the solutions of exactly solvable one-dimensional quantum mechanical systems. The simplest examples, the one-indexed orthogonal polynomials, are the infinite families of the exceptional Laguerre and Jacobi polynomials of type I and II constructed by the present authors. The totality of the integer indices of the new polynomials are finite and they correspond to the degrees of the `virtual state wavefunctions' which are `deleted' by the generalisation of Crum-Adler theorem. Each polynomial has another integer n which co…
A comprehensive review of the discrete quantum mechanics with the pure imaginary shifts and the real shifts is presented in parallel with the corresponding results in the ordinary quantum mechanics. The main subjects to be covered are the factorised Hamiltonians, the general structure of the solution spaces of the Schroedinger equation (Crum's theorem and its modification), the shape invariance, the exact solvability in the Schroedinger picture as well as in the Heisenberg picture, the creation/annihilation operators and the dynamical symmetry algebras, the unified theory of exact and quasi-ex…
In this paper, we continue to study factorization of supersymmetric (SUSY) transformations in one-dimensional Quantum Mechanics into chains of elementary Darboux transformations with nonsingular coefficients. We define the class of potentials that are invariant under the Darboux - Crum transformations and prove a number of lemmas and theorems substantiating the formulated formerly conjectures on reducibility of differential operators for spectral equivalence transformations. Analysis of the general case is performed with all the necessary proofs.
We study deformations of the quantum conformal mechanics of De Alfaro-Fubini-Furlan with rational additional potential term generated by applying the generalized Darboux-Crum-Krein-Adler transformations to the quantum harmonic oscillator and by using the method of dual schemes and mirror diagrams. In this way we obtain infinite families of isospectral and non-isospectral deformations of the conformal mechanics model with special values of the coupling constant $g=m(m+1)$, $m\in {\mathbb N}$, in the inverse square potential term, and for each completely isospectral or gapped deformation given b…
As the second stage of the project multi-indexed orthogonal polynomials, we present, in the framework of `discrete quantum mechanics' with real shifts in one dimension, the multi-indexed (q-)Racah polynomials. They are obtained from the (q-)Racah polynomials by multiple application of the discrete analogue of the Darboux transformations or the Crum-Krein-Adler deletion of `virtual state' vectors, in a similar way to the multi-indexed Laguerre and Jacobi polynomials reported earlier. The virtual state vectors are the `solutions' of the matrix Schrödinger equation with negative `eigenvalues', ex…
The annihilation-creation operators $a^{(\pm)}$ are defined as the positive/negative frequency parts of the exact Heisenberg operator solution for the `sinusoidal coordinate'. Thus $a^{(\pm)}$ are hermitian conjugate to each other and the relative weights of various terms in them are solely determined by the energy spectrum. This unified method applies to most of the solvable quantum mechanics of single degree of freedom including those belonging to the `discrete' quantum mechanics.
In this paper we implement the Darboux transformation, as well as an analogue of Crum's theorem, for a discrete version of Schrödinger equation. The technique is based on the use of first order operators intertwining two difference operators of second order. This method, which has been applied successfully for differential cases, leads also to interesting non trivial results in the discrete case. The technique allows us to construct the solutions for a wide class of difference Schrödinger equations. The exact solutions for some special potentials are also found explicitly.
Various examples of exactly solvable `discrete' quantum mechanics are explored explicitly with emphasis on shape invariance, Heisenberg operator solutions, annihilation-creation operators, the dynamical symmetry algebras and coherent states. The eigenfunctions are the (q-)Askey-scheme of hypergeometric orthogonal polynomials satisfying difference equation versions of the Schrödinger equation. Various reductions (restrictions) of the symmetry algebra of the Askey-Wilson system are explored in detail.
Brief introduction to the discrete quantum mechanics is given together with the main results on various exactly solvable systems. Namely, the intertwining relations, shape invariance, Heisenberg operator solutions, annihilation/creation operators, dynamical symmetry algebras including the $q$-oscillator algebra and the Askey-Wilson algebra. A simple recipe to construct exactly and quasi-exactly solvable Hamiltonians in one-dimensional `discrete' quantum mechanics is presented. It reproduces all the known ones whose eigenfunctions consist of the Askey scheme of hypergeometric orthogonal polynom…
We present a simple recipe to construct exactly and quasi-exactly solvable Hamiltonians in one-dimensional `discrete' quantum mechanics, in which the Schrödinger equation is a difference equation. It reproduces all the known ones whose eigenfunctions consist of the Askey scheme of hypergeometric orthogonal polynomials of a continuous or a discrete variable. The recipe also predicts several new ones. An essential role is played by the sinusoidal coordinate, which generates the closure relation and the Askey-Wilson algebra together with the Hamiltonian. The relationship between the closure relat…
Several kinds of q-orthogonal polynomials with |q|=1 are constructed as the main parts of the eigenfunctions of new solvable discrete quantum mechanical systems. Their orthogonality weight functions consist of quantum dilogarithm functions, which are a natural extension of the Euler gamma functions and the q-gamma functions (q-shifted factorials). The dimensions of the orthogonal spaces are finite. These q-orthogonal polynomials are expressed in terms of the Askey-Wilson polynomials and their certain limit forms.
Two sets of infinitely many exceptional orthogonal polynomials related to the Wilson and Askey-Wilson polynomials are presented. They are derived as the eigenfunctions of shape invariant and thus exactly solvable quantum mechanical Hamiltonians, which are deformations of those for the Wilson and Askey-Wilson polynomials in terms of a degree \ell (\ell=1,2,...) eigenpolynomial. These polynomials are exceptional in the sense that they start from degree \ell\ge1 and thus not constrained by any generalisation of Bochner's theorem.
In our previous papers, the Wronskian identities for the Hermite, Laguerre and Jacobi polynomials and the Casoratian identities for the Askey-Wilson polynomial and its reduced form polynomials were presented. These identities are naturally derived through quantum mechanical formulation of the classical orthogonal polynomials; ordinary quantum mechanics for the former and discrete quantum mechanics with pure imaginary shifts for the latter. In this paper we present the corresponding identities for the discrete quantum mechanics with real shifts. Infinitely many Casoratian identities for the $q$…
Shape invariance is an important ingredient of many exactly solvable quantum mechanics. Several examples of shape invariant ``discrete quantum mechanical systems" are introduced and discussed in some detail. They arise in the problem of describing the equilibrium positions of Ruijsenaars-Schneider type systems, which are "discrete" counterparts of Calogero and Sutherland systems, the celebrated exactly solvable multi-particle dynamics. Deformed Hermite and Laguerre polynomials are the typical examples of the eigenfunctions of the above shape invariant discrete quantum mechanical systems.
We present new exactly solvable systems of the discrete quantum mechanics with pure imaginary shifts, whose physical range of the coordinate is the whole real line. These systems are shape invariant and their eigenfunctions are described by the multi-indexed continuous Hahn and Meixner-Pollaczek orthogonal polynomials. The set of degrees of these multi-indexed polynomials are $\{\ell_{\mathcal{D}},\ell_{\mathcal{D}}+1,\ell_{\mathcal{D}}+2,\ldots\}$, where $\ell_{\mathcal{D}}$ is an even positive integer ($\mathcal{D}$ : a multi-index set), but they form a complete set of orthogonal basis in th…
The multi-indexed orthogonal polynomials (the Meixner, little $q$-Jacobi (Laguerre), ($q$-)Racah, Wilson, Askey-Wilson types) satisfying second order difference equations were constructed in discrete quantum mechanics. They are polynomials in the sinusoidal coordinates $η(x)$ ($x$ is the coordinate of quantum system) and expressed in terms of the Casorati determinants whose matrix elements are functions of $x$ at various points. By using shape invariance properties, we derive various equivalent determinant expressions, especially those whose matrix elements are functions of the same point $x$.…
Certain aspects of the integrability/solvability of the Calogero-Sutherland-Moser systems and the Ruijsenaars-Schneider-van Diejen systems with rational and trigonometric potentials are reviewed. The equilibrium positions of classical multi-particle systems and the eigenfunctions of single-particle quantum mechanics are described by the same orthogonal polynomials: the Hermite, Laguerre, Jacobi, continuous Hahn, Wilson and Askey-Wilson polynomials. The Hamiltonians of these single-particle quantum mechanical systems have two remarkable properties, factorization and shape invariance.
The three-dimensional potential equation, motivated by representations of quantum mechanics, is investigated in four different scenarios: (i) In the usual Euclidean space $\mathbb{E}_{3}$ where the potential is singular but invariant under the continuous inhomogeneous orthogonal group $\mathcal{I}O(3)$. The invariance under the translation subgroup is compared to the corresponding unitary transformation in the Schrödinger representation of quantum mechanics. This scenario is well known but serves as a reference point for the other scenarios. (ii) Next, the discrete potential equation as a part…
We construct the exponential map associated to a nonholonomic system that allows us to define an exact discrete nonholonomic constraint submanifold. We reproduce the continuous nonholonomic flow as a discrete flow on this discrete constraint submanifold deriving an exact discrete version of the nonholonomic equations. Finally, we derive a general family of nonholonomic integrators.
In this paper, we use the quantum variational calculus related to Hahn's discrete time derivative construct the deformed version for the classical mechanics related to the Hahn's calculus. We deal with the deformed dynamics such as the motion with constant velocity and the motion with constant acceleration. Moreover, we extend our work to the motion of a body in a resisting medium by using the new identity for an infinite ($q,w$)-series, where the retarding force is assumed to be proportional to the deformed average velocity.
We propose the difference discrete variational principle in discrete mechanics and symplectic algorithm with variable step-length of time in finite duration based upon a noncommutative differential calculus established in this paper. This approach keeps both symplicticity and energy conservation discretely. We show that there exists the discrete version of the Euler-Lagrange cohomology in these discrete systems. We also discuss the solution existence in finite time-length and its site density in continuous limit, and apply our approach to the pendulum with periodic perturbation. The numerical …
We consider discrete and integer-valued cellular automata (CA). A particular class of which comprises "Hamiltonian CA" with equations of motion that bear similarities to Hamilton's equations, while they present discrete updating rules. The dynamics is linear, quite similar to unitary evolution described by the Schroedinger equation. This has been essential in our construction of an invertible map between such CA and continuous quantum mechanical models, which incorporate a fundamental discreteness scale. Based on Shannon's sampling theory, it leads, for example, to a one-to-one relation betwee…
The asymptotic of the solution of the discrete Wheeler-DeWitt equation is found in the vicinity of small scale factors. It is shown that this problem is equivalent to the solution of the stationary Schrödinger equation in the (super) space of negative constant curvature. The minimum positive eigenvalue is found from which a continuous spectrum begins.
Employing a phase space which includes the (Riemann-Liouville) fractional derivative of curves evolving on real space, we develop a restricted variational principle for Lagrangian systems yielding the so-called restricted fractional Euler-Lagrange equations (both in the continuous and discrete settings), which, as we show, are invariant under linear change of variables. This principle relies on a particular restriction upon the admissible variation of the curves. In the case of the half-derivative and mechanical Lagrangians, i.e. kinetic minus potential energy, the restricted fractional Euler-…
The purpose of this paper is to describe geometrically discrete Lagrangian and Hamiltonian Mechanics on Lie groupoids. From a variational principle we derive the discrete Euler-Lagrange equations and we introduce a symplectic 2-section, which is preserved by the Lagrange evolution operator. In terms of the discrete Legendre transformations we define the Hamiltonian evolution operator which is a symplectic map with respect to the canonical symplectic 2-section on the prolongation of the dual of the Lie algebroid of the given groupoid. The equations we get include as particular cases the classic…
In this paper, we continue the construction of variational integrators adapted to contact geometry started in \cite{VBS}, in particular, we introduce a discrete Herglotz Principle and the corresponding discrete Herglotz Equations for a discrete Lagrangian in the contact setting. This allows us to develop convenient numerical integrators for contact Lagrangian systems that are conformally contact by construction. The existence of an exact Lagrangian function is also discussed.
We provide in this paper the discrete equations of motion for the newtonian $n$-body problem deduced from the quantum calculus of variations (Q.C.V.) developed in \cite{Cre,CFT,RS1,RS2}. These equations are brought into the usual lagrangian and hamiltonian formulations of the dynamics and yield sampled functional equations involving generalized scale derivatives. We investigate especially homographic solutions to these equations that we obtain by solving algebraic systems of equations similar to the classical ones. When the potential forces are homogeneous, homographic solutions to the discret…
Universidad de la Laguna（拉帕鲁纳大学）；Instituto de Ciencias Matemáticas, CSIC-UAM-UC3M-UCM（西班牙国家研究委员会-马德里自治大学-马德里理工大学-马德里康普顿斯大学数学科学研究所）；Universidad de Zaragoza（萨拉戈萨大学）
By adapting Feynman's sum over paths method to a quantum mechanical system whose phase space is a torus, a new proof of the Landsberg-Schaar identity for quadratic Gauss sums is given. In contrast to existing non-elementary proofs, which use infinite sums and a limiting process or contour integration, only finite sums are involved. The toroidal nature of the classical phase space leads to discrete position and momentum, and hence discrete time. The corresponding `path integrals' are finite sums whose normalisations are derived and which are shown to intertwine cyclicity and discreteness to giv…
We develop a geometric version of the inverse problem of the calculus of variations for discrete mechanics and constrained discrete mechanics. The geometric approach consists of using suitable Lagrangian and isotropic submanifolds. We also provide a transition between the discrete and the continuous problems and propose variationality as an interesting geometric property to take into account in the design and computer simulation of numerical integrators.
