Abstract
As a part of the program 'discrete quantum mechanics', we present general reflectionless potentials for difference Schrödinger equations with pure imaginary shifts. By combining contiguous integer wave number reflectionless potentials, we construct the discrete analogues of the potential with the integer h, which belong to the recently constructed families of solvable dynamics having the q-ultraspherical polynomials with as the main part of the eigenfunctions. For the general () scattering theory for these potentials, we need the connection formulas for the basic hypergeometric function with , which is not known. The connection formulas are expected to contain the quantum dilogarithm functions as the counterparts of the q-gamma functions. We propose a conjecture of the connection formula of the function with . Based on the conjecture, we derive the transmission and reflection amplitudes, which have all the desirable properties. They provide a strong support to the conjectured connection formula.
Export citation and abstract BibTeX RIS
1. Introduction
It is well known that the general reflectionless potentials [1] in ordinary quantum mechanics (QM for short) can be constructed from the vacuum by repeated application of Darboux transformations in terms of the exponential seed solutions (, ) [2, 3]. This fact also explains that the reflectionless potentials are exactly solvable; that is, all the eigenvalues and the corresponding eigenfunctions are obtained explicitly. In this case, all the bound state eigenfunctions are elementary functions expressed as a ratio of determinants. It is also known that the typical exactly solvable potential [4, 5], with integer (reflectionless case), can be constructed by special combinations of the integer wave number reflectionless potentials, , . For this potential with generic h, besides the eigenpolynomial, which is the Jacobi polynomial, the scattering amplitudes are exactly calculable through the connection formulas of the Gaussian hypergeometric functions [6, 7].
The motivation of this paper is to present the parallel results in discrete quantum mechanics with pure imaginary shifts [8, 9]. That is, (i) To construct general reflectionless potentials by multiple Darboux transformations [10–12] in terms of the exponential seed solutions of the vacuum. The corresponding discrete eigenvalues and eigenfunctions are obtained simultaneously. That is, the reflectionless potentials are exactly solvable. (ii) By combining special exponential seed solutions corresponding to contiguous integer wave numbers, the discrete counterpart of the potential is constructed. The obtained potentials are identified as one of the exactly solvable systems introduced in our recent work [13], having the sinusoidal coordinates and . For the generic couplings, the ground state wave functions consist of quantum dilogarithm functions [14]. The excited states wave functions are described by the q-ultraspherical polynomials and/or Heine's hypergeometric functions [15]. For the special couplings realizing the reflectionless potentials, the quantum dilogarithms are shown to degenerate into elementary functions. (iii) We propose a conjecture of the connection formula for the basic hypergeometric function with , built upon the empirical correspondence between the infinite q-shifted factorials and the quantum dilogarithms. The transmission and reflection amplitudes for generic couplings are derived based on the conjectured connection formula for the basic hypergeometric function with . The obtained scattering amplitudes have all the desirable properties, and they provide a strong support for the conjectured connection formula.
Reflectionless potentials in discrete QM with real shifts were reported in [16].
This paper is organized as follows. In section two the general reflectionless potentials in discrete QM with pure imaginary shifts are derived from the trivial potential () by multiple Darboux transformations in terms of exponential seed solutions. The explicit forms of the discrete eigenfunctions and the transmission amplitude are obtained. The discrete counterpart of the potential is constructed in section three. A brief summary of the construction of the potential by the special combination of reflectionless potentials in ordinary QM is given in section 3.1. The derivation of the discrete counterpart is done in two steps. The reflectionless case is derived directly from the special combinations of discrete reflectionless potentials in section 3.2. It is identified with a special case of the discrete exactly solvable systems with the sinusoidal coordinate introduced earlier [13]. The properties of the generic case are explored in some detail in section 3.3. A conjectured connection formula for the basic hypergeometric function with the base is presented in section 3.4. The scattering amplitudes are derived, and their properties are examined. The final section is for a summary and comments. A few supporting evidences for the conjectured connection formula of the basic hypergeometric functions and for the replacement rule between the infinite q-shifted factorial and the quantum dilogarithm function are given in appendix.
2. Reflectionless potentials
Here we derive the general reflectionless potentials in discrete QM with pure imaginary shifts. Let us start with the basic formulation. In discrete QM the momentum operator enters in the Hamiltonian in the exponentiated forms (), which give pure imaginary shifts to the wave function
The Hamiltonian depends on an analytic function of x, V(x), and it has a factorized form:
where is a real parameter, and we assume in the following. The ∗-operation on an analytic function () is defined by , in which is the complex conjugation of an. The trivial choice gives the free Hamiltonian , together with the exponential and wave solutions:
For , we restrict k in the range . Let us call eikx the right moving wave and the left moving wave. In the limit, these quantities reduce to the well-known counterparts in ordinary QM:
and the range of k becomes simply .
We deform by the N-step Darboux transformations [10–12] in terms of the following exponential seed solutions , in this order,
Since the inverse of these seed solutions are locally square integrable at , these transformations are state-adding transformations, and N eigenstates are added if the resulting Hamiltonian is non-singular. First we rewrite as
Then we repeat the Darboux transformations:
The Casoratian of functions is defined by
( for n = 0). The final step Hamiltonian ,
is rewritten as, by setting ,
The Casoratian of exponential functions is
By the choice of the signs of the constants (j = 1,..., N), it is easy to see that the Casoratians are positive for real x:
This means that Hamiltonian is non-singular3 . Its eigenstates () and the right moving wave () are (for example, see [17]):
In (2.20) means that is excluded from the Casoratian. By using this, the asymptotic forms of and at are:
and the asymptotic forms at are:
From these, is indeed square integrable, and the transmission and reflection amplitudes of are
Thus we have established that the general reflectionless potentials are exactly solvable, including the scattering problem. We have
in which and are defined by
Note that the Hamiltonian has N eigenstates of arbitrary eigenvalues . The potential function and the eigenfunction are rational functions of ekj x.
In the rest of this section, we show that some quantities related with the discrete reflectionless potentials have similar expressions to the counterparts in ordinary QM, i.e., the profile of the KdV solitons [1, 3, 18]. By introducing uN(x) by
(), the potential function (2.17) is expressed as
This function uN(x) (2.29) can be expressed in a determinant form,
Here and cj are related by
and the condition means . This determinant has the following expansion,
which is manifestly positive for real x and positive and cj. We define (j = 1,..., N) by
(). Then the eigenfunctions (2.20) are expressed as
This is written as a determinant by the replacement (m = 1,..., N) in (2.31),
In the limit, the Casoratian reduces to the Wronskian,
where fj(x)'s are assumed to be independent of γ. In the limit, under the assumption that kj and are independent of γ ((2.32) implies ), the various quantities (with appropriate overall rescalings) in this section reduce to the counterparts in ordinary QM. For example, the reflectionless potential is
Although the Hamiltonians are related directly, the relation between the potential function and the potential is indirect. The quantity related to more directly is the potential function ,
whose limit is
It is well known that the reflectionless potential in ordinary QM (2.38) with a proper time dependence, that is,
gives the N-soliton solution of the KdV equation [2, 3, 18]. It is an interesting challenge to introduce an appropriate time dependence to , (2.40) so that satisfies certain deformations of the KdV equation.
3. Discrete counterpart of potential
3.1. potential in ordinary QM
First let us summarize fundamental properties of the potential in ordinary QM. It is an exactly solvable system with finitely many discrete eigenlevels, and its scattering problem is also exactly solvable.
It is well known that the reflectionless potential is obtained from the trivial potential by multiple Darboux transformations in terms of a very special choice of the exponential seed solutions (2.8)
In other words, the potential (2.38) with
gives rise to
together with its nth discrete eigenfunction
where is the Jacobi polynomial. To be more precise, the above choice of kj and (3.1) gives rise to the Wronskians of the seed functions (2.8):
and the scattering amplitudes
which is the limit of (2.26) with (j=1,..., N).
Likewise the Hamiltonian with the generic coupling h,
has the eigenvalue and the corresponding eigenfunction (for example, see [19])
where denotes the greatest integer not exceeding and not equal to x. The transmission and the reflection amplitudes [6, 7] are:
The pole of the Gamma function in the denominator of gives the reflectionless potential at . It is elementary to verify the unitarity relation
For deriving the scattering amplitudes of this potential, the Jacobi (Gegenbauer) polynomial in the eigenfunction (3.9) is replaced by the Gaussian hypergeometric function
Then it is analytically continued in the complex k plane by the substitution :
which goes asymptotically to the unit amplitude right moving wave eikx at . By using the connection formula of the Gaussian hypergeometric function,
the asymptotic behaviour of the above wave function (3.12) at is given by
The unit amplitude right moving wave eikx at propagates to at and reflected to the left moving wave at , with the transmission amplitude and the reflection amplitude , as given above (3.10).
3.2. Reflectionless case
Next, the discrete QM counterpart goes as follows. For the choice of kj and in (3.1), the Casoratian of (2.8) becomes
By using this, we obtain a very simple form of the potential function and the ground state wavefunction :
In the limit, this Hamiltonian with (3.16) reduces to the reflectionless potential (3.3) in ordinary QM. Moreover, we have
where is the Askey–Wilson polynomial [20], expressed in terms of the basic hypergeometric function :
The type of parameter restrictions of the Askey–Wilson polynomial in (3.18) is also called the (continuous) q-ultraspherical polynomial [20, 21], which is a q-analogue of the Gegenbauer polynomial. Because of the symmetry of the parameters, the q-ultraspherical polynomial can also be expressed by or [20, 21]:
The change of the sinusoidal coordinates is realized by ((3.39) in [13])
We choose the proportionality constant in the eigenfunction of the reflectionless potential (2.28) as
In [13] we presented the exactly solvable discrete QM system with and the sinusoidal coordinate . Its Hamiltonian (with K = 1) is
For the parameters
its eigenfunctions are
The quantum dilogarithm function [14] plays the main role in the orthogonality weight function for the finitely many orthogonal polynomials (3.26) with . It is a meromorphic function, defined for by the integral representation
and analytically continued to the whole complex plane by the functional equation
For more properties of the quantum dilogarithm functions, see appendix B in [13].
Now let us identify the obtained potential function (3.16) as a special case of the above exactly solvable systems. We assume
and choose the parameters of in (3.25)
Then the two Hamiltonians with (3.16) and (3.23) are equal up to an additive constant
and the ground state wave function (3.27) and the eigenpolynomials (3.26) of become
Namely, (3.27) of agrees with (3.22) of . The additive constant in (3.32) provides the proper eigenvalues of
and the highest level of discrete eigenstates is also . In order to show that the quantum dilogarithm in the ground state wave function (3.27) of reduces to the elementary function (3.33), the functional equation (3.29) is used repeatedly,
Thus the discrete analogue of the reflectionless potential is constructed by the special combination of the discrete reflectionless potential.
3.3. Generic case
Now we turn to the construction of the discrete analogue of the generic potential. Let us consider (3.23) with the parameters,
and define a new Hamiltonian :
The parameter ranges satisfy the previous restrictions (3.25). The eigenstates of are
where we have used the properties
Note that has definite parity , like the Gegenbauer polynomial Pn in (3.9). It should be stressed that this Hamiltonian (3.37) is symmetric under the parameter inversion:
Note that the eigenfunctions (3.39)–(3.41) are not invariant under the parameter inversion, because half of the solutions are discarded to ensure the square integrability. On the other hand, the scattering amplitudes are invariant, since the full two-dimensional solution space is needed for the scattering problem. This Hamiltonian has the correct limit [13],
which has regular singular points at , mod , with the characteristic exponents and . The invariance under the above parameter inversion (3.43) is inherited by the Hamiltonian and by the transmission and reflection amplitudes , (3.10).
3.4. Scattering amplitudes: conjectures
In ordinary QM, scattering problems can be formulated for non-confining potentials, that is, those having finitely many discrete eigenstates defined on a full line or a half line. They are exactly solvable, i.e., the transmission and reflection amplitudes are exactly calculable, if the discrete eigenvalues and eigenfunctions are exactly known [6, 7]. We naturally expect the same situation in discrete QM, and the scattering problem for the Hamiltonian (3.37) should also be exactly solvable. Asymptotically the Hamiltonian (3.37) has the plane wave solutions , since it approaches to the free Hamiltonian (2.4):
The scattering problem is formulated as follows. We pick up a special wave solution , which approaches the unit amplitude right-moving plane wave at :
Analytically continued in x to the region , is a linear combination of the right-and left-moving plane waves:
The transmission t(k) and the reflection r(k) amplitudes are defined by
At a possible zero of A(k) (a pole of t (k)) on the positive imaginary k axis, ():
the special wave solution analytically continued in the complex upper k plane has the asymptotic behaviours of a bound state
with the eigenvalue .
The special plane wave solution is obtained from the discrete eigenfunction (3.40)–(3.41), expressed by the basic hypergeometric function:
where the substitution of the coordinate (3.21) is made corresponding to the sinusoidal coordinates change in the q-ultraspherical polynomial (3.20). Next it is analytically continued into the complex k plane by the substitution as in the ordinary QM:
which approaches the unit amplitude right-moving wave eikx at . Hereafter we exclude the cases of q being a root of unity qn = 1 . The convergence of the basic hypergeometric function with is a subtle problem, and we do not know if the answer is known. We consider that is approached from below, [22], which is realized by adding an infinitesimal negative imaginary part to γ, (). In the following, we assume that the function with has a positive radius of convergence at z = 0, and it is analytically continued to the whole complex z plane.
In order to evaluate in the asymptotic region , we need the connection formula for the basic hypergeometric function with . However, the authors are aware of the connection formula only for (4.3.2) in [15]:
derived by Watson [23]. The underlying logic for the formula is that the basic hypergeometric functions on the right-hand side with the z-depending factors satisfy the same difference equation as the left-hand side:
in which Dz is and . This situation is unchanged when the base is changed from to . For , however, the infinite q-shifted factorial does not converge. We know through the construction of exactly solvable discrete QM systems with [13] that the infinite q-shifted factorials should be replaced by quantum dilogarithm functions (3.28). Experience with q-orthogonal polynomials with [13] has led us to the following replacement rule for the coefficients of the connection formula
The above constant factor is not yet determined, since the infinite q-factorials appear in ratios. By applying this replacement rule to the connection formula with above (3.51), we arrive at the following:
Conjecture 1. The connection formula for the basic hypergeometric function with , reads:
Remark 1. The first factors of the above connection formula and the arguments of have similar structures to those of the corresponding Gaussian hypergeometric function:
Remark 2. It is straightforward to show that both of the basic hypergeometric functions with the z-dependent factors on the right hand side satisfy the same q-difference equation (3.52) as the left hand side. One only has to apply translation rules
The quantum dilogarithm formulas (3.29), (3.42), (3.62)–(3.66) are useful.
Remark 3. Since we do not have an analytic proof for the connection formula (3.54), we will provide several supporting evidences for the conjecture 1 and the replacement rule (3.53) in appendix.
Based on the conjecture 1, the asymptotic form of the plane wave solution at is obtained:
This leads to the transmission and reflection amplitudes for the Hamiltonian (3.37):
They satisfy all the known criteria for the scattering amplitudes. Obviously they are invariant under the parameter inversion (3.43). The pole of the quantum dialog in the numerator of t (k) (, ) at
corresponds to the eigenvalue in (3.39). For , there are no other poles of t (k). The scattering amplitudes satisfy the unitarity relation
When h is a positive integer N, they reduce to the special case obtained in section 2 (2.26) for (j = 1, ..., N):
The pole of the quantum dialog in the denominator of r(k) at h = N is responsible for the reflectionless property. There are no other zeros of r(k). Thus we do believe these scattering amplitudes are correct, and they provide strong evidence for the connection formula, conjecture 1. We do hope experts will provide an analytic proof of the connection formula.
For the verification of these results, on top of (3.29), (3.42), the following properties and formulas are useful [13]:
Functional relations
Poles and zeros
Asymptotic forms
()
4. Summary and comments
In ordinary QM, the scattering problems for non-confining exactly solvable systems defined on the full line or half line are known to be exactly solvable [6, 7]. We have recently developed several exactly solvable systems with non-confining potentials in discrete QM with pure imaginary shifts [13]. The eigenpolynomials are q-orthogonal polynomials with , and their orthogonality weight functions are quantum dilogarithm functions. One of them is the discrete counterpart of the potential. We do expect that its scattering problem is exactly solvable. However, the solutions of scattering problems in general require the connection formulas of the (basic) hypergeometric functions. To the best of our knowledge, the connection formula for with is not known. We made a conjecture of the connection formula conjecture 1 (3.54), built upon the empirical correspondence between the infinite q-shifted factorial and the quantum dilogarithm (3.53). Based on the conjectured connection formula for with , the scattering amplitudes of the discrete analogue of the potential are derived (3.57)–(3.58). They reproduce well the reflectionless limit and retain the proper symmetry of the Hamiltonian. We do believe that conjecture 1 (3.54) is correct and ask experts to provide its analytical proof.
It is also interesting to investigate the scattering problems of the exactly solvable systems with non-confining potentials developed in [13]: the discrete counterpart of the Morse potential with the sinusoidal coordinate , the deformation of the hyperbolic Darboux–Pöschl–Teller potential with , the discrete counterpart of the the hyperbolic symmetric top II with .
As for the discrete QM with real shifts [24], we have not yet developed a satisfactory scattering theory.
After completing the present work, several related papers were brought to our attention. We thank friends and colleagues for the useful information. The analytic difference operators having exponential interaction terms and their eigenfunctions were discussed in [25]. The q-hypergeometric function of the Barnes type with and its connection formula were presented in [26, 27]. Quantum dilogarithm functions appeared in many papers, in particular [28, 29] in connection with the applications to various quantum groups. The analogue of the potential in discrete QM with real shifts [16] was reported in [30].
Acknowledgments
We thank K Aomoto for useful comments. R S thanks Pauchy Hwang and the Department of Physics of National Taiwan University for hospitality. S O is supported in part by a Grant-in-Aid for Scientific Research from the Ministry of Education, Culture, Sports, Science and Technology (MEXT), No. 25400395.
Appendix Some supporting evidences for the conjecture
In this appendix we provide a few supporting evidences for the conjectured connection formula (3.54) and the replacement rule between the q-shifted factorials and quantum dilogarithm functions (3.53).
First we note that
By using this, we can show that (3.54) is consistent with two applications. Namely, applying (3.54) to the rhs of (3.54), we have
The corresponding result for the original connection formula (3.51) can be proven by using the Riemann identity for the theta functions.
: When () in the original connection formula (3.51), the second term on the right-hand side vanishes, , and it reduces to ((0.6.19) of [20] review):
Since both sides are finite sums, this formula is true for all complex q, except for 0 and the root of unities (qm = 1, ). In this case, the conjectured connection formula (3.54) gives rise to the same formula as above. For this, we note that in the denominator of the second term on rhs has a pole at , and the quantum dilogarithms of the first term on rhs give the correct factors:
:
reads for ((10.10.2) of [21])
The replacement rule (3.53) says that the counterpart is
One can show that the rhs satisfies the same difference equation (3.52) as the lhs. At , the basic hypergeometric functions and the factors go to unity, and the equality holds. This is supporting evidence for the replacement rule (3.53).
Footnotes
- 3