On an Energy-Dependent Quantum System with Solutions in Terms of a Class of Hypergeometric Para-Orthogonal Polynomials on the Unit Circle

Abstract

We study an energy-dependent potential related to the Rosen–Morse potential. We give in closed-form the expression of a system of eigenfunctions of the Schrödinger operator in terms of a class of functions associated to a family of hypergeometric para-orthogonal polynomials on the unit circle. We also present modified relations of orthogonality and an asymptotic formula. Consequently, bound state solutions can be obtained for some values of the parameters that define the model. As a particular case, we obtain the symmetric trigonometric Rosen–Morse potential for which there exists an orthogonal basis of eigenstates in a Hilbert space. By comparing the existent solutions for the symmetric trigonometric Rosen–Morse potential, an identity involving Gegenbauer polynomials is obtained.

1. Introduction

An energy-dependent Schrödinger equation appears for the first time in relativistic quantum mechanics with the Pauli–Schrödinger equation, given by Pauli [1] in the description of the spectrum of an electron in the presence of a magnetic field. Further developments in relativistic and non relativistic quantum mechanics was made by many authors [2,3,4,5,6,7,8,9,10]. The list is by no means exhaustive.

These classes of quantum potentials appear frequently in many areas of quantum mechanics. A relativistic scalar particle in presence of an electromagnetic field can be studied by means of a Klein–Gordon equation with an energy dependent potential [4,8]. In [11], the authors have applied energy dependent potentials with emphasis on confining potentials to the description of heavy quark systems. Furthermore, the description of systems of N bosons bound is considered in [12] and the Hamiltonian formulation of the relativistic many-body problem in [4,5,13] also lead to energy dependent potential models. For physical applications in hydrodynamics, see [14].

Mathematical aspects of wave equations with energy-dependent potentials have been studied by several authors. The presence of an energy-dependence in the potential in the nonrelativistic context requires a modification of the underlying quantum theory, principally affecting orthogonality relation and norm [15]. An analogous modification is required in the relativistic framework [16]. An extension of the quantum mechanical formalism of systems with energy-dependent potentials to systems defined by generalized Schrödinger equations including a position-dependent mass was studied in [7]. Energy-dependence in the framework of noncommutative quantum mechanics has been recently considered in [17].

The search of solutions for energy dependent potentials in wave equations has attracted considerable attention since the appearance of Pauli’s work. In the present manuscript we study a quantum system with energy dependent potential related to the Rosen–Morse trigonometric potential, used in describing the interatomic interaction of linear molecules and for describing polyatomic vibration states and energies of the $N{H}_3$ molecule [18]. It has long been known that some mathematical features of quantum systems with an energy-dependent potential have several non-trivial implications; for instance, it is necessary to modify the scalar product to guarantee the conservation of the norm [15,19]. In the present manuscript we give closed-form of solutions, modified relations of orthogonality given by a indefinite (in general) bilinear form and an asymptotic formula of the solutions. Consequently, bound state solutions can be obtained for some values of the parameters that define the model. The solutions are given in terms of a class of functions derived from a sequence of hypergeometric para-orthogonal polynomials on the unit circle. We obtain, as a particular case, the symmetric trigonometric Rosen–Morse potential. In such case, the solutions reduce to an orthogonal basis of eigenfunctions defined in a Hilbert space and are expressed in terms of the Gegenbauer or ultraspherical polynomials. By comparing this solution with other solutions given in the literature we obtain, as a consequence, an identity involving Gegenbauer polynomials. Our procedure to obtain the energy dependent potential is based in a classical technique developed by Bose in [20] to construct solvable one-variable Schrödinger potentials.

The manuscript is organized as follows. In Section 2 we give some background, notations and statement of the results, in Section 3 we give the proofs and in Section 4 we present a discussion and concluding remarks.

2. Basic Notations and Statement of the Results

Let $\mu$ be a measure on the unit circle $\mathbb{T}=\partial \mathbb{D},\mathbb{D}=\{z\in \mathbb{C}:|z|<1\}$ with support consisting of an infinite number of points. We remind that ${({\varphi }_n)}_{n=0}^{\infty }$ is the sequence of orthonormal polynomials on the unit circle associated to $\mu$ (also termed as Szegő polynomials, after their introduction by G. Szegő), if

$${\int }_{\mathbb{T}}{\varphi }_m(z)\overline{{\varphi }_n(z)}d\mu (z)={\delta }_{m,n},$$

where ${\varphi }_n(z)={\kappa }_n{z}^n+a_{n-1}{z}^{n-1}+$ lower order terms and ${\kappa }_n>0$.

An exposition of the theory of orthogonal polynomials systems on the unit circle is presented in the monographs [21,22,23]. More recent surveys in [24,25].

If $P_n$ is a polynomial of degree n, the reciprocal polynomial $P_n^{*}$ is defined as $z^n\overline{P_n(1/\overline{z})}$, or equivalently

$$P_n^{*}(z)=\sum _{k=0}^n{\overline{a}}_k{z}^{n-k}\mathrm{if}{P}_n(z)=\sum _{k=0}^n{a}_k{z}^k\mathrm{and}{a}_n\ne 0.$$

Let ${}_2{F}_1(a,b;c;z)$ denote the Gauss hypergeometric function of the variable z with parameters $a,b,c\in \mathbb{C},c\notin {\mathbb{Z}}_{\le 0}$; cf. [26] (p. 56), given by

$$\begin{array}{c}\hfill {}_2{F}_1(a,b;c;z)=\sum _{k=0}^{\infty }\frac{{(a)}_k{(b)}_k}{{(c)}_k}\frac{z^k}{k!},\end{array}$$

for $z\in \mathbb{D}$ and for other values of $z\in \mathbb{C}$ by analytic continuation appropriately; the Pochhammer symbol is defined by ${(a)}_n=a(a+1)\cdots (a+n-1),{(a)}_0=1$.

For $\alpha \in \mathbb{C}$, the function $z^{\alpha }$ will be defined on the branch for which arguments are restricted between $-\pi$ and $\pi$. We also denote by $\lfloor x\rfloor$ the floor function, defined as the greatest integer less than or equal to x.

A fundamental role in this manuscript is played by the sequence of functions

$$\begin{array}{c}\hfill G_n(x;\lambda ,\eta )=\frac{{(2\lambda )}_n}{{(\lambda )}_n}{(4z)}^{-n/2}{R}_n(z;b),\lambda >-\frac{1}{2},\eta \in \mathbb{R},n\in \mathbb{N}\cup \{0\},\end{array}$$

(1)

where $\lambda ,\eta$ and x are such that $b=\lambda +\eta ı$ and $2x=\sqrt{z}+\frac{1}{\sqrt{z}},z=e^{ı\theta },\theta \in [0,2\pi ]$.

The functions $G_n$ were introduced in [27] and are defined from the sequence ${(R_n)}_{n=0}^{\infty }$ of para-orthogonal polynomials, cf. [28]

$$\begin{array}{c}\hfill \frac{b+\overline{b}}{b}{R}_n(z;b)=S_n(z;b)+\frac{\overline{b}}{b}{S}_n^{*}(z;b),\end{array}$$

(2)

associated to the Szegő hypergeometric polynomials, cf. [29,30]

$$\begin{array}{c}\hfill S_n(z;b)={}_2{F}_1(-n,b+1;b+\overline{b}+1;1-z).\end{array}$$

(3)

These polynomials satisfy the orthogonality relations in the unit disk through the parametrization $z=e^{2ı\theta },\theta \in [0,\pi ]$

$$\begin{array}{c}\hfill \frac{1}{\pi }{\int }_0^{\pi }\overline{S_m(e^{2ı\theta };b)}{S}_n(e^{2ı\theta };b)\omega (\theta ;b)d\theta =\frac{n!}{{(b+\overline{b}+1)}_n}{\delta }_{m,n},\lambda >-\frac{1}{2};m,n\in \mathbb{N}\cup \{0\}\end{array}$$

(4)

where

$$\begin{array}{c}\hfill \omega (\theta ;b)={\tau }^{(b)}{e}^{-2\eta \theta }{sin}^{2\lambda }\theta ,\end{array}$$

here the constant

$${\tau }^{(b)}=\frac{{|\Gamma (b+1)|}^2}{\Gamma (b+\overline{b}+1)}{4}^{\Re (b)}{e}^{\pi \Im (b)}$$

is such that the moment ${\mu }_0^{(b)}=\frac{1}{\pi }{\int }_0^{\pi }\omega (\theta ;b)d\theta =1$.

In the sequel, we denote by ${\widehat{S}}_n$ and $s_n$ the monic and orthonormal polynomials of degree n respectively associated to $S_n$. From (4) it follows that

$${\kappa }_n(b)=\frac{{|(b+1)}_n|}{\sqrt{n!{(b+\overline{b}+1)}_n}},$$

(5)

is the main coefficient of $s_n$.

It should be noted that the $R_n$ polynomials are of hypergeometric type. According to [30] (Th. 5.1), one has

$$R_n(z;b)={}_2{F}_1(-n,b;b+\overline{b};1-z),\Re \left[b\right]>-\frac{1}{2},\Re \left[b\right]\ne 0.$$

This last relation can also be extended to $\Re \left[b\right]=0,\eta \ne 0$ if one takes

$$\underset{\Re \left[b\right]\to 0}{lim}\frac{b+\overline{b}}{b}{R}_n(z;b)=S_n(z;ı\eta )-S_n^{*}(z;ı\eta )=n(z-1){}_2{F}_1(-n+1,1+ı\eta ;2;1-z),$$

for $n\ge 1$.

In the present manuscript we prove the following results.

Theorem 1.

Let $\lambda >-\frac{1}{2},\eta \in \mathbb{R}$. Then, the stationary one-dimensional Schrödinger equation with energy dependent potential

$${\Psi }^{″}(\theta )+(E-V(\theta ,E;\lambda ,\eta ))\Psi (\theta )=0,\theta \in (0,\pi ),$$

(6)

where

$$\begin{array}{ccc}\hfill V(\theta ,E;\lambda ,\eta )& =& -V_0(\theta ;\lambda ,\eta )-(-\lambda +\sqrt{E(n;\lambda ,\eta )+{\eta }^2})V_1(\theta ;\lambda ,\eta ),\hfill \\ \hfill V_0(\theta ;\lambda ,\eta )& =& 2\lambda \eta cot\theta +\lambda (1-\lambda )\frac{1}{{sin}^2\theta },\hfill \\ \hfill V_1(\theta ;\lambda ,\eta )& =& 2\eta cot\theta ,\hfill \\ \hfill E(n;\lambda ,\eta )& =& {(n+\lambda )}^2-{\eta }^2,\hfill \end{array}$$

has by solution the system of wave functions

$${\Psi }_n(\theta ;\lambda ,\eta )=G_n\left(cos\theta ;\lambda ,\eta \right)e^{-\eta \theta }{sin}^{\lambda }\theta ,n\in \mathbb{N}\cup \{0\},$$

in $L^2[0,\pi ]$.

The usual continuity equation

$$\frac{\partial P(\theta ,t)}{\partial t}=-\frac{\partial J(\theta ,t)}{\partial \theta },$$

where P denotes the probability density and J the probability current, governs the conservation of mass, charge, and probability of any closed system. If the potential is energy-dependent, it is necessary to modify the definition of the usual orthogonality relations in order to satisfy the continuity equation, [5,15]. More precisely, let ${({\Psi }_n)}_{n=0}^{\infty }$ be a system of normalizable wave functions solutions of an energy dependent potential Schrödinger equation defined through the boundary value problem

$$\begin{array}{ccc}\hfill {\Psi }^{″}(\theta )+(E-V(\theta ,E))\Psi (\theta )& =& 0,\theta \in (a,b),\hfill \\ \hfill \Psi (a)=\Psi (b)& =& 0,\hfill \end{array}$$

where V is of class $C^1(I)$ with respect to the variable E, being I an open interval of the real line and $a,b\in \overline{\mathbb{R}}$.

The continuity equation read as

$$\begin{array}{c}\hfill \frac{\partial P(\theta ,t)}{\partial t}+ı(V(\theta ,E_{n_2})-V(\theta ,E_{n_1}))\overline{{\widehat{\Psi }}_{n_1}(\theta ,t)}{\widehat{\Psi }}_{n_2}(\theta ,t)=-\frac{\partial J(\theta ,t)}{\partial \theta },\end{array}$$

(7)

and is satisfied by the probability density P and probability current J

$$\begin{array}{ccc}\hfill P(\theta ,t)& =& \overline{{\widehat{\Psi }}_{n_1}(\theta ,t)}{\widehat{\Psi }}_{n_2}(\theta ,t),\hfill \\ \hfill J(\theta ,t)& =& -ı\left(\overline{{\widehat{\Psi }}_{n_1}(\theta ,t)}\frac{\partial {\widehat{\Psi }}_{n_2}(\theta ,t)}{\partial \theta }-\frac{\partial \overline{{\widehat{\Psi }}_{n_1}(\theta ,t)}}{\partial \theta }{\widehat{\Psi }}_{n_2}(\theta ,t)\right),\hfill \end{array}$$

where ${\widehat{\Psi }}_n(\theta ,t)=e^{-ıE_{n}t}{\Psi }_n(\theta )$ is a solution to the time-dependent Schrödinger equation

$$ı\frac{\partial \Psi (\theta ,t)}{\partial t}=\left(-\frac{\partial }{\partial {\theta }^2}+V\left(\theta ,ı\frac{\partial }{\partial t}\right)\right)\Psi (\theta ,t).$$

The orthogonality relation between two states n and m, $n\ne m$ reads as

$$⟨{\Psi }_n,{\Psi }_m⟩={\int }_a^b{\Psi }_n(\theta )\left(1-\frac{V(\theta ,E_n)-V(\theta ,E_m)}{E_n-E_m}\right){\Psi }_m(\theta )d\theta =0,$$

now, by using the smooth dependence of V in relation to E one obtains

$$\begin{array}{c}\hfill ⟨{\Psi }_n,{\Psi }_n⟩={\int }_a^b{\Psi }_n^2(\theta )\left(1-{\left.\frac{V(\theta ,E)}{\partial E}\right|}_{E=E_n}\right)d\theta .\end{array}$$

In that regard, for the present quantum model we have the following relations of orthogonality. Notice that the presence of the function $cot\theta$ in the definition implies that the associated bilinear form is not in general of a definite sign. When $|\eta |<\lambda$, we have bound states solutions.

Theorem 2.

Let $\lambda >0,\eta \in \mathbb{R}$ and ${({\Psi }_n)}_{n=0}^{\infty }$ be the wave functions of Theorem 1. Then, ${({\Psi }_n)}_{n=0}^{\infty }$ satisfy the relation of orthogonality

$$\begin{array}{c}\hfill ⟨{\Psi }_n,{\Psi }_m⟩={\int }_0^{\pi }{\Psi }_n(\theta ;\lambda ,\eta )\left(1-\frac{2\eta cot\theta }{n+m+2\lambda }\right){\Psi }_m(\theta ;\lambda ,\eta )d\theta =c_n(\lambda ,\eta ){\delta }_{n,m},\end{array}$$

(8)

where $n,m\in \mathbb{N}\cup \{0\},c_n\in \mathbb{R}$. When $\lambda >\frac{1}{2}$ and $\eta \in \mathbb{R}$ one has

$$c_n(\lambda ,\eta )=\left(1-\frac{{\eta }^2}{{(n+\lambda )}^2}\right)\frac{\pi n!(\lambda +n)\Gamma (2\lambda +n)}{2^{2n-1}\Gamma (2\lambda +1){\left[{(\lambda )}_n\right]}^2}\left|\frac{b}{b+n}\right|.$$

For the particular case $\eta =0$ we obtain the symmetric trigonometric Rosen–Morse potential, cf. [31] (Prob. 12), [23,32,33] ((4.7.11) p. 81). Let $P_n^{(\lambda )}$, $\lambda >-\frac{1}{2}$ be the Gegenbauer polynomial of degree n cf. [23] (p. 80). As a consequence of Theorem 1 we obtain

Corollary 1.

The stationary one-dimensional Schrödinger equation

$$\begin{array}{c}\hfill {\Psi }^{″}(\theta )+\left(E-\frac{\lambda (\lambda -1)}{{sin}^2\theta }\right)\Psi (\theta )=0,\theta \in (0,\pi ),\lambda >-\frac{1}{2},\end{array}$$

(9)

admits the energy eigenstates

$$\begin{array}{c}\hfill E(n;\lambda )={(n+\lambda )}^2,n\in \mathbb{N}\cup \{0\}.\end{array}$$

and the complete orthogonal system of wave functions

$${\displaystyle {\Psi }_n(\theta ;\lambda ,0)=\frac{2^{-n}{(2\lambda )}_n}{\left(\genfrac{}{}{0pt}{}{n+2\lambda -1}{n}\right){(\lambda )}_n}{P}_n^{(\lambda )}(cos\theta ){sin}^{\lambda }\theta ,n\in \mathbb{N}\cup \{0\},}$$

in the Hilbert space $L^2[0,\pi ]$ with the inner product $⟨f,g⟩={\int }_0^{\pi }f(t)g(t)dt$.

Notice that from this corollary it follows immediately that the ground state energy for the symmetric trigonometric Rosen–Morse potential reduces to

$$E(0;\lambda ,0)={\lambda }^2.$$

The asymmetric trigonometric Rosen–Morse potential or Rosen–Morse I potential, cf. [32,34,35] whose associated Schrödinger equation reads as

$$\begin{array}{c}\hfill {\Phi }^{″}(\theta )+\left(E-\left(2\mathfrak{b}cot\theta +\mathfrak{a}(\mathfrak{a}-1)\frac{1}{{sin}^2\theta }\right)\right)\Phi (\theta )=0,\theta \in (0,\pi ),\mathfrak{a}\ge \frac{3}{2},\end{array}$$

(10)

is among the exactly solvable potentials. Bound state solutions can be given in terms of the Jacobi polynomials with purely imaginary arguments and complex conjugate parameters, cf. [32] (pp. 296–297).

This potential has also been studied in [36,37] and solved in terms of the real Romanovski polynomials [38,39] $R_n^{(\mathfrak{a},\mathfrak{b})}$ (also known as Romanovsky–Routh or Pseudo–Jacobi polynomial as in [40]). These polynomials are defined as the polynomial solution of degree n of the differential equation

$$(1+x^2)\frac{d^{2}y}{d{x}^2}+2((1+\mathfrak{a})x+\mathfrak{b})\frac{dy}{dx}-n(n+2\mathfrak{a}+1)y=0,$$

and can be expressed in terms of the Jacobi polynomials $P_n^{(\alpha ,\beta )}$, cf. [24] [(20.1.1) p. 509], [23] [(4.21.2) p. 62] as

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill R_n^{(\mathfrak{a},\mathfrak{b})}(x)=& {(-ı)}^n{P}_n^{(\mathfrak{a}+\mathfrak{b}ı,\mathfrak{a}-\mathfrak{b}ı)}(ıx)\hfill \\ \hfill =& {(-ı)}^n\left(\genfrac{}{}{0pt}{}{n+\mathfrak{a}+\mathfrak{b}ı}{n}\right){}_2{F}_1\left(-n,n+2\mathfrak{a}+1;1+\mathfrak{a}+\mathfrak{b}ı;\frac{1-ıx}{2}\right)\hfill \end{array}\end{array}$$

(11)

For convenience, we will adopt the parametrization given in [41] for the solution to (10) in terms of the real Romanovski polynomials (expressed also in terms of author’s parametrization), which reads

$$\begin{array}{ccc}\hfill {\displaystyle {\Phi }_n(\theta ;\mathfrak{a},\mathfrak{b})}& \propto & R_n^{(-\frac{2\mathfrak{b}}{n+\mathfrak{a}},1-n-\mathfrak{a})}(cot\theta )e^{-\frac{\mathfrak{b}\theta }{n+\mathfrak{a}}}{sin}^{(\mathfrak{a}+n)}\theta \hfill \\ \hfill & \propto & {(-ı)}^n{P}_n^{(-n-\mathfrak{a}-\frac{ı\mathfrak{b}}{\mathfrak{a}+n},-n-\mathfrak{a}+\frac{ı\mathfrak{b}}{\mathfrak{a}+n})}(ıcot\theta )e^{-\frac{\mathfrak{b}\theta }{n+\mathfrak{a}}}{sin}^{(\mathfrak{a}+n)}\theta ,\hfill \end{array}$$

(12)

for $n\ge 0$, and the corresponding energies

$$\begin{array}{c}\hfill E_{\Phi }(n;\mathfrak{a},\mathfrak{b})={(\mathfrak{a}+n)}^2-\frac{{\mathfrak{b}}^2}{{(\mathfrak{a}+n)}^2}.\end{array}$$

(13)

In particular, the symmetric trigonometric Rosen–Morse is obtained by taking $\eta =0$ in (10). In such case we have that

$${\Phi }_n(\theta ;\mathfrak{a},0)\propto {(-ı)}^n{P}_n^{(-n-\mathfrak{a},-n-\mathfrak{a})}(ıcot\theta ){sin}^{(\mathfrak{a}+n)}\theta ,$$

is a solution for the Schrödinger equation associated to the symmetric Rosen–Morse potential.

By identifying the parameters $\lambda =\mathfrak{a}$ we obtain

$${\Phi }_n(\theta ;\lambda )\propto {(-ı)}^n{P}_n^{(-n-\lambda +\frac{1}{2})}(ıcot\theta ){sin}^{(\lambda +n)}\theta ,$$

(14)

is also a solution of (9), which coincides, up to a multiplicative factor with ${\Psi }_n$, as shows the following identity

Theorem 3.

Let $\lambda \in \mathbb{C}$ and $n\in \mathbb{N}\cup \{0\}$. Then,

$$\begin{array}{c}\hfill {(-ı)}^n\frac{{(\lambda +\frac{1}{2})}_{\lfloor \frac{n}{2}\rfloor }}{{(-n-\lambda +\frac{1}{2})}_n}{P}_n^{(-n-\lambda +\frac{1}{2})}(ıcot\theta ){sin}^n\theta ={(-1)}^{\lfloor \frac{n}{2}\rfloor }\frac{{(1-n-\lambda )}_{\lfloor \frac{n}{2}\rfloor }}{{(\lambda )}_n}{P}_n^{(\lambda )}(cos\theta ).\end{array}$$

For those values of λ, say $\lambda ={\lambda }_0$, for which we have a zero or pole in the expressions ${\displaystyle \frac{{(\lambda +\frac{1}{2})}_{\lfloor \frac{n}{2}\rfloor }}{{(-n-\lambda +\frac{1}{2})}_n}}$ or ${\displaystyle \frac{{(1-n-\lambda )}_{\lfloor \frac{n}{2}\rfloor }}{{(\lambda )}_n}}$ the formula may be interpreted as a limit when $\lambda \to {\lambda }_0$. In such cases, the limit exists and is finite.

For the next result, let ${ϵ}_1,{ϵ}_2>0$ be fixed quantities sufficiently small so that the interval $[{ϵ}_1,\pi -{ϵ}_2]$ lies wholly in $(0,\pi )$. We have that

Theorem 4.

Let $\lambda >-\frac{1}{2},\eta \in \mathbb{R}$. Then,

$$\begin{array}{c}\hfill 2^{n-1}{\Psi }_n(\theta ;\lambda ,\eta )=\Re \left[\frac{\Gamma (\lambda )}{\Gamma (b)}{e}^{ı(n\theta +\eta lnn)}{(1-e^{-2ı\theta })}^{-\overline{b}}\right]e^{-\eta \theta }{sin}^{\lambda }\theta +o(1),asn\to \infty .\end{array}$$

The bound for the error holds uniformly in $\theta \in [{ϵ}_1,\pi -{ϵ}_2]$.

2.1. Some Basic Facts about the Functions $G_n$

We recall that a polynomial ${\displaystyle P_n(z)=\sum _{j=0}^n{a}_j{z}^j,a_j\in \mathbb{C}}$ is conjugate reciprocal if $P_n$ satisfies the identity,

$$P_n(z)=P_n^{*}(z),$$

that is, $\overline{a_j}=a_{n-j},j=0,1,\dots ,n$. From (1), it follows that $G_n,n\ge 0$ takes real values.

Let $\lambda >0$, define the sequences

$$\begin{array}{cc}\hfill {\alpha }_{n+1}^{(\lambda )}=\frac{1}{4}\frac{n(n+2\lambda -1)}{(n+\lambda -1)(n+\lambda )},& {\displaystyle {\beta }_n^{(\lambda ,\eta )}=\frac{\eta }{\lambda +n-1},n\ge 1,}\end{array}$$

it follows from [42] (Section 2) that the functions $G_n$ satisfy the recurrence relation

$$\begin{array}{cc}{G}_{n+1}(cos\theta ;\lambda ,\eta )=\hfill & \\ & \hfill (cos\theta -{\beta }_{n+1}^{(\lambda ,\eta )}sin\theta )G_n(cos\theta ;\lambda ,\eta )-{\alpha }_{n+1}^{(\lambda )}{G}_{n-1}(cos\theta ;\lambda ,\eta ),\theta \in [0,\pi ],\end{array}$$

(15)

where $G_0(cos\theta ;\lambda ,\eta )=1$ and $G_1(cos\theta ;\lambda ,\eta )=cos\theta -{\beta }_1^{(\lambda ,\eta )}sin\theta$.

Let $\lambda >\frac{1}{2}$ and $n,m\in \mathbb{N}\cup \{0\}$. It follows from [42] (Th. 5.2),

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill {\int }_0^{\pi }{G}_{2n}\left(cos\theta ;\lambda ,\eta \right)G_{2m+1}\left(cos\theta ;\lambda ,\eta \right)\frac{\omega \left(\theta ;b\right)}{sin\theta }d\theta & =0,\hfill \\ \hfill {\int }_0^{\pi }{G}_{2n}\left(cos\theta ;\lambda ,\eta \right)G_{2m}\left(cos\theta ;\lambda ,\eta \right)\omega (\theta ;b)d\theta & ={\tau }^{(b)}{\delta }_{2n}^{(b)}{\delta }_{n,m},\hfill \\ \hfill {\int }_0^{\pi }{G}_{2n+1}\left(cos\theta ;\lambda ,\eta \right)G_{2m+1}\left(cos\theta ;\lambda ,\eta \right)\omega (\theta ;b)d\theta & ={\tau }^{(b)}{\delta }_{2n+1}^{(b)}{\delta }_{n,m},\hfill \end{array}\end{array}$$

(16)

where

$${\delta }_n^{(b)}=\frac{\pi n!(\lambda +n)\Gamma (2\lambda +n)}{2^{2\lambda +2n-1}{e}^{\eta \pi }{|\Gamma (b+n+1)|}^2}\frac{1}{{\left[{(\lambda )}_n\right]}^2}[{(\Re \left[{(b)}_n\right])}^2+{(\Im \left[{(b)}_n\right])}^2].$$

Let $\mu$ be a finite positive Borel measure supported in $[-\pi ,\pi )$ and $d\mu =w(\theta )\frac{d\theta }{2\pi }+d{\nu }_s$ its Lebesgue decomposition. Recall that for $z\in \mathbb{D}$, the Szegő function, cf. [25] (§2.4 p. 143, Part I), $D(d\mu ;z)$ is defined as

$${\displaystyle D(d\mu ;z)=exp\left(\frac{1}{4\pi }{\int }_0^{2\pi }\frac{e^{ı\theta }+z}{e^{ı\theta }-z}log(w(\theta ))d\theta \right),}$$

whenever $\mu$ is the Szegő class. For almost every $t\in [-\pi ,\pi )$, the boundary value $D(d\mu ;e^{ıt})$ is defined as the radial limit:

$$D(d\mu ;e^{ıt})=\underset{r\uparrow 1}{lim}D(d\mu ;r{e}^{ıt}).$$

From [30] (Th. 4.3), the Szegő function $D(\omega (\theta )d\theta ;z)$, (or $D(z;b)$ for short) reads as

$$\begin{array}{c}\hfill D(z;b)=\frac{|\Gamma (b+1)|}{\sqrt{\Gamma (b+\overline{b}+1)}}{(1-z)}^b.\end{array}$$

(17)

The function $G_n(x)$ satisfy the differential equation, [27] (Th. 2.2)

$$\begin{array}{c}\hfill \begin{array}{c}\hfill (1-x^2)y^{″}-((2\lambda +1)x-2\eta \sqrt{1-x^2})y^{\prime }+n\left(n+2\lambda +\frac{2\eta x}{\sqrt{1-x^2}}\right)y=0,\\ \hfill x\in (-1,1),n\in \mathbb{N}\cup \{0\}.\end{array}\end{array}$$

(18)

When $\eta =0$, we obtain the differential equation that defines the ultraspherical polynomials cf. [23] (p. 80). Notice that from (1) and (2), $G_n$ reduces to a polynomial. Therefore, $G_n$ coincides, up to a constant factor, with the n degree Gegenbauer polynomial.

Remark 1.

We remark that in [27] (Th. 2.2), the term m should be corrected in the last summand of the left hand side of the differential equation.

The Schrödinger Invariant of a Second Order Differential Equation

Quantum systems with energy-dependent potentials have been studied following several approaches such as supersymmetric quantum mechanics, Darboux transformations, exceptional orthogonal polynomials, among others, see [7] for a review. In this subsection we summarize the method we followed, introduced by Bose in [20] in order to construct one-variable Schrödinger solvable potentials.

Let us have a second order differential equation

$$u^{″}(x)+p(x)u^{\prime }(x)+q(x)u(x)=0,x\in I,$$

(19)

being I an open subset of the real line and where p and q are functions defined on I. A straightforward calculation shows that the middle term in (19) can be eliminated by taking the substitution

$$u=v{e}^{-\frac{1}{2}\int p(t)dt}.$$

Under the above substitution, the Equation (19) transforms to the canonical form

$$v^{″}(x)+I(x)v=0,$$

where I is given by

$$I(x)=q(x)-\frac{1}{2}{p}^{\prime }(x)-\frac{1}{4}{(p(x))}^2,$$

(20)

the term I is named by Milson in [43] as the Bose invariant.

By applying now the transformation $v=\sqrt{x^{\prime }}\psi ,x^{\prime }=\frac{dx}{d\theta }$, we obtain the normal form

$${\psi }^{″}(\theta )+I_S(\theta )\psi (\theta )=0,$$

being

$$I_S={(x^{\prime })}^{2}I(x)+\frac{1}{2}\{x,\theta \},$$

the Schrödinger invariant, named by Bose in [20] and $\{x,\theta \}$ is the Schwartzian derivative

$$\{x,\theta \}=\frac{x^{‴}}{x^{\prime }}-\frac{3}{2}{\left(\frac{x^{″}}{x^{\prime }}\right)}^2.$$

3. Proof of the Results

Proof of Theorem 1.

Under the transformation

$$y=v{\left(1-x^2\right)}^{-\frac{\lambda }{2}-\frac{1}{4}}{e}^{\eta arccos(x)},x\in (-1,1),$$

(21)

the Equation (18) reduces to its normal form

$$\begin{array}{c}\hfill v^{″}+I(x)v=0,\end{array}$$

(22)

where

$$\begin{array}{c}\hfill {\displaystyle I(x)=\frac{2-4{\eta }^2+4\lambda +4n^2+8\lambda n+x^2\left(4{\eta }^2-4{(\lambda +n)}^2+1\right)+8\eta nx\sqrt{1-x^2}}{4{\left(x^2-1\right)}^2}+\frac{8\eta \lambda x\sqrt{1-x^2}}{4{\left(x^2-1\right)}^2}.}\end{array}$$

By applying the transformations to (22)

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill x& =cos\theta ,\theta \in (0,\pi ),\hfill \\ \hfill v& ={(x^{\prime })}^{1/2}\Psi ,\hfill \end{array}\end{array}$$

(23)

we obtain the Schrödinger normal form

$$\begin{array}{c}\hfill {\Psi }^{″}+(\kappa (n;\lambda ,\eta )-V(\theta ;n,\lambda ,\eta ))\Psi =0,\theta \in (0,\pi ),\end{array}$$

(24)

where $\kappa (n;\lambda ,\eta )={(n+\lambda )}^2-{\eta }^2$ and

$$\begin{array}{ccc}\hfill V(\theta ;n,\lambda ,\eta )& =& -V_0(\theta ;\lambda ,\eta )-n{V}_1(\theta ;\lambda ,\eta ),\hfill \\ \hfill V_0(\theta ;\lambda ,\eta )& =& 2\lambda \eta cot\theta +\lambda (1-\lambda )\frac{1}{{sin}^2\theta },\hfill \\ \hfill V_1(\theta ;\lambda ,\eta )& =& 2\eta cot\theta .\hfill \end{array}$$

By identifying $\kappa (n;\lambda ,\eta )$ with the energy term we get

$$\begin{array}{c}\hfill E(n;\lambda ,\eta )={(n+\lambda )}^2-{\eta }^2,\end{array}$$

(25)

therefore

$$\begin{array}{c}\hfill n=-\lambda +\sqrt{E+{\eta }^2}.\end{array}$$

(26)

Substituting (25) and (26) into (24) we obtain (6).

Since $G_n$ is a solution of (18), it follows from (21) and (23) that

$${\Psi }_n(\theta ;\lambda ,\eta )=G_n\left(cos\theta ;\lambda ,\eta \right)e^{-\eta \theta }{sin}^{\lambda }\theta ,n\in \mathbb{N}\cup \{0\},$$

is a solution of (24). □

Proof of Theorem 2.

On the one hand, by applying iterated integration to the left hand side of (7) and taking into account the definition of P we obtain

$$\begin{array}{c}{\int }_0^{\pi }{\int }_0^t\left(\frac{\partial P(\theta ,t^{\prime })}{\partial t^{\prime }}+ı(V(\theta ,E_m)-V(\theta ,E_n))\overline{{\widehat{\Psi }}_n(\theta ,t^{\prime })}{\widehat{\Psi }}_m(\theta ,t^{\prime })\right)d{t}^{\prime }d\theta =\\ \left(e^{ı(E_n-E_m)t}-1\right){\int }_0^{\pi }{\Psi }_n(\theta )\left(1-\frac{V(\theta ,E_n)-V(\theta ,E_m)}{E_n-E_m}\right){\Psi }_m(\theta )d\theta .\end{array}$$

(27)

On the other hand, for the right hand side of (7) we have

$$\begin{array}{c}\hfill {\int }_0^{\pi }{\int }_0^t\frac{\partial J(\theta ,t^{\prime })}{\partial \theta }d{t}^{\prime }d\theta ={\int }_0^t{\int }_0^{\pi }\frac{\partial J(\theta ,t^{\prime })}{\partial \theta }d\theta d{t}^{\prime }\end{array}$$

(28)

Now, from the definition of J and the fact that ${\Psi }_n(0;\lambda ,\eta )={\Psi }_n(\pi ;\lambda ,\eta )=0$ when $\lambda >0$ one has

$$\begin{array}{c}\hfill {\int }_0^{\pi }\frac{\partial J(\theta ,t^{\prime })}{\partial \theta }d\theta =0.\end{array}$$

(29)

Hence, from (27), (28) and (29)

$$\begin{array}{c}\hfill {\int }_0^{\pi }{\Psi }_n(\theta ;\lambda ,\eta )\left(1-\frac{V(\theta ,E_n)-V(\theta ,E_m)}{E_n-E_m}\right){\Psi }_m(\theta ;\lambda ,\eta )d\theta =0,n\ne m.\end{array}$$

By substituting the value of V given in Theorem 1 we obtain (8).

To evaluate the numerical value of the constant $c_n$, notice that if $\lambda >\frac{1}{2},\eta \in \mathbb{R}$, from the recurrence relations (15) and (16) we have

$${\int }_0^{\pi }{\Psi }_n^2(\theta ;\lambda ,\eta )cot\theta d\theta =\frac{\eta }{\lambda +n}{\int }_0^{\pi }{\Psi }_n^2(\theta ;\lambda ,\eta )d\theta ,$$

hence,

$$c_n(\lambda ,\eta )=\left(1-\frac{{\eta }^2}{{(n+\lambda )}^2}\right)\frac{\pi n!(\lambda +n)\Gamma (2\lambda +n)}{2^{2n-1}\Gamma (2\lambda +1){\left[{(\lambda )}_n\right]}^2}\left|\frac{b}{b+n}\right|.$$

This completes the proof of the theorem. □

Proof of Corollary 1.

From Theorem 1, the eigenstates are given by the system of real functions

$$\begin{array}{c}\hfill {\Psi }_n(\theta ;\lambda )=G_n\left(cos\theta ;\lambda ,0\right){sin}^{\lambda }\theta ,n\in \mathbb{N}\cup \{0\},\end{array}$$

From (18), $G_n$ reduces, up to a multiplicative constant $c_n$ factor, to the Gegenbauer polynomial of degree n, cf. [23] (§4.7 p. 80). To find the multiplicative constant $c_n$, note that from (1), (2) and (3) we deduce that

$$G_n\left(1;\lambda ,0\right)=2^{-n}\frac{{(2\lambda )}_n}{{(\lambda )}_n}=c_n{P}_n^{(\lambda )}(1),$$

therefore, from [23] [(4.7.3) p. 80] one obtains

$${\displaystyle c_n=\frac{2^{-n}{(2\lambda )}_n}{\left(\genfrac{}{}{0pt}{}{n+2\lambda -1}{n}\right){(\lambda )}_n}.}$$

The corresponding energy eigenstates read as

$$\begin{array}{c}\hfill E(n;\lambda )={\left(n+\lambda \right)}^2,n\in \mathbb{N}\cup \{0\}.\end{array}$$

From the orthogonality relation for Gegenbauer polynomials

$${\int }_{-1}^1{P}_n^{(\lambda )}(x){(1-x^2)}^{\lambda }dx,$$

one has that ${\Psi }_n(\theta ;\lambda )$ is an orthogonal system in the Hilbert space $L_2[0,\pi ]$ with the scalar product

$$⟨f,g⟩={\int }_0^{\pi }f(t)g(t)dt.$$

 □

Proof of Theorem 3.

From Corollary 1 and the relation (14) we have that ${\Phi }_n$ and ${\Psi }_n$ are solutions of the differential equation

$${\Psi }^{″}(\theta )+\left(E-\frac{\lambda (\lambda -1)}{{sin}^2\theta }\right)\Psi (\theta )=0,\theta \in (0,\pi ),\lambda \ge \frac{3}{2},$$

hence, the transformations (21) and (23) give that

$$\begin{array}{c}\hfill y_1(x)={(x^{\prime })}^{\frac{1}{2}}{(1-x^2)}^{-\frac{\lambda }{2}-\frac{1}{4}}{\Psi }_n(\theta ;\lambda ),\end{array}$$

(30)

$$\begin{array}{c}\hfill y_2(x)={(x^{\prime })}^{\frac{1}{2}}{(1-x^2)}^{-\frac{\lambda }{2}-\frac{1}{4}}{\Phi }_n\theta ;\lambda ),\end{array}$$

(31)

are solutions of the differential equation

$$\begin{array}{c}\hfill (1-x^2)y^{″}-(2\lambda +1)x{y}^{\prime }+n\left(n+2\lambda \right)y=0,x\in (-1,1),\lambda \ge \frac{3}{2},\end{array}$$

(32)

notice that $y_1$ reduces, up to a constant factor, to the Gegenbauer polynomial of degree n.

From (14) and (31) one has

$$\begin{array}{c}\hfill y_2(x)={(-ı)}^n{P}_n^{(-n-\lambda +\frac{1}{2})}\left(ı\frac{x}{\sqrt{1-x^2}}\right){(1-x^2)}^{\frac{n}{2}},\end{array}$$

(33)

and from [44] [(6.4.12) p. 303],

$$\begin{array}{c}\hfill P_n^{(-n-\lambda +\frac{1}{2})}\left(ı\frac{x}{\sqrt{1-x^2}}\right)=\frac{{(-n-\lambda +\frac{1}{2})}_n{(2ı)}^n}{n!}\frac{x^n}{{(1-x^2)}^{\frac{n}{2}}}{}_2{F}_1\left(-\frac{n}{2},\frac{1-n}{2};\lambda +\frac{1}{2};\frac{x^2-1}{x^2}\right),\end{array}$$

hence, from (33)

$$\begin{array}{c}\hfill {(1-x^2)}^{\frac{n}{2}}{P}_n^{(-n-\lambda +\frac{1}{2})}\left(ı\frac{x}{\sqrt{1-x^2}}\right)=\frac{{(-n-\lambda +\frac{1}{2})}_n{(2ı)}^n}{n!}{x}^n{}_2{F}_1\left(-\frac{n}{2},\frac{1-n}{2};\lambda +\frac{1}{2};\frac{x^2-1}{x^2}\right).\end{array}$$

(34)

Notice that the relation (34) defines the left hand side as a polynomial of degree n whose coefficients are rational functions of the variable $\lambda$ varying in $\mathbb{C}$.

Now, (33) is a solution to (32). Since this solution is a polynomial of degree n, it follows from [23] (Th. 4.2.2 p. 61) that

$$\begin{array}{c}\hfill y_2=const.y_1,\end{array}$$

(35)

when $\Re \left[\lambda \right]\ge \frac{3}{2}$. Using formula [44] [(6.4.12) p. 303], by comparing $P_{2k}^{(-n-\lambda -1)}(0)$ with $P_{2k}^{(\lambda )}(0)$ and ${\left(P_{2k+1}^{(-n-\lambda -1)}\right)}^{\prime }(0)$ with ${\left(P_{2k+1}^{(\lambda )}\right)}^{\prime }(0)$, from (35) we obtain

$$\begin{array}{c}\hfill {(-ı)}^n\frac{{(\lambda +\frac{1}{2})}_{\lfloor \frac{n}{2}\rfloor }}{{(-n-\lambda +\frac{1}{2})}_n}{P}_n^{(-n-\lambda +\frac{1}{2})}(ıcot\theta ){sin}^n\theta ={(-1)}^{\lfloor \frac{n}{2}\rfloor }\frac{{(1-n-\lambda )}_{\lfloor \frac{n}{2}\rfloor }}{{(\lambda )}_n}{P}_n^{(\lambda )}(cos\theta ),\Re \left[\lambda \right]\ge \frac{3}{2}.\end{array}$$

(36)

Let us consider n fixed. Since the coefficients of $y_2$ and $y_1$ are rational functions of $\lambda$ and are equal when $\Re \left[\lambda \right]\in [\frac{3}{2},+\infty )$, it follows from [45] (Th. 17.1 p. 369) that the relation is valid for $\lambda \in \mathbb{C}$, with exception of a finite number of special values of $\lambda$. Notice that from [44] [(6.4.12) p. 303], the zeros of the functions ${(-n-\lambda +\frac{1}{2})}_n$ and ${(\lambda )}_n$ are removable singularities of the left hand side and right hand side respectively of (36). Furthermore, when $\lambda$ is a zero of ${(\lambda +\frac{1}{2})}_{\lfloor \frac{n}{2}\rfloor }$ or ${(1-n-\lambda )}_{\lfloor \frac{n}{2}\rfloor }$ we have simple poles in the main coefficients of the left hand side or right hand side accordingly. For these values of ${\lambda }_0$, the formula may be interpreted as a limit as $\lambda \to {\lambda }_0$. This completes the proof of the theorem. □

To prove Theorem 4 a preliminary lemma is necessary.

Lemma 1.

Let $\lambda >-\frac{1}{2}$ and $\eta \in \mathbb{R}$ be fixed and define for $\theta \in (0,\pi )$,

$$\begin{array}{ccc}\hfill a_n(\theta )& =& \frac{D^{-1}(0;b)}{\pi }{\int }_0^{\pi }\frac{D^{-1}(e^{ı{\theta }^{\prime }};b)-D^{-1}(e^{ı\theta };b)}{1-e^{ı(\theta -{\theta }^{\prime })}}\overline{s_n^{*}(e^{ı{\theta }^{\prime }};b)}\omega ({\theta }^{\prime };b)d{\theta }^{\prime },\hfill \\ \hfill b_n(\theta )& =& \frac{D^{-1}(0;b)}{\pi }{\int }_0^{\pi }\frac{D^{-1}(e^{ı{\theta }^{\prime }};b)-D^{-1}(e^{ı\theta };b)}{1-e^{ı(\theta -{\theta }^{\prime })}}\overline{s_n(e^{ı{\theta }^{\prime }};b)}\omega ({\theta }^{\prime };b)d{\theta }^{\prime }.\hfill \end{array}$$

Then,

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}{a}_n(\theta )=0,\forall \theta \in [{ϵ}_1,\pi -{ϵ}_2],\\ \hfill \underset{n\to \infty }{lim}{b}_n(\theta )=0,\forall \theta \in [{ϵ}_1,\pi -{ϵ}_2],\end{array}$$

being ${ϵ}_1,{ϵ}_2>0$ any fixed quantities sufficiently small so that $[{ϵ}_1,\pi -{ϵ}_2]\subset (0,\pi )$.

Proof. 

Let us denote

$$K({\theta }^{\prime },\theta )=D^{-1}(0;b)\left(\frac{D^{-1}(e^{ı{\theta }^{\prime }};b)-D^{-1}(e^{ı\theta };b)}{1-e^{ı(\theta -{\theta }^{\prime })}}\right).$$

From (17), we have that for $\theta \in (0,\pi )$ fixed, $K({\theta }^{\prime },\theta )$ is continuous as a function of ${\theta }^{\prime }\in [0,\pi ]$, hence

$$K({\theta }^{\prime },\theta )\in L^2(\omega ({\theta }^{\prime };b)d{\theta }^{\prime }),$$

therefore, from Lemma [21] (Lem. 4.2 p. 220)

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}{a}_n(\theta )=0,\end{array}$$

(37)

pointwise in the interval $(0,\pi )$.

Let ${ϵ}_1,{ϵ}_2>0$ be any fixed quantities sufficiently small so that $[{ϵ}_1,\pi -{ϵ}_2]\subset (0,\pi )$. Since $K({\theta }^{\prime },\theta )$ is continuous in the compact set $[0,\pi ]\times [{ϵ}_1,\pi -{ϵ}_2]$, the Heine–Cantor Theorem cf. [46] (Th. 2 p. 201) implies that $K({\theta }^{\prime },\theta )$ is uniformly continuous in $[0,\pi ]\times [{ϵ}_1,\pi -{ϵ}_2]$. Hence, for every $ϵ>0$ there exists $\delta >0$ such that if ${\theta }_1,{\theta }_2\in [{ϵ}_1,\pi -{ϵ}_2],|{\theta }_1-{\theta }_2|<\delta$, then

$$|K({\theta }^{\prime },{\theta }_1)-K({\theta }^{\prime },{\theta }_2)|<ϵ,\forall {\theta }^{\prime }\in [0,\pi ],$$

therefore,

$$\begin{array}{c}\hfill |a_n({\theta }_1)-a_n({\theta }_2)|\le {\left(\frac{1}{\pi }{\int }_0^{\pi }{|K({\theta }^{\prime },{\theta }_1)-K({\theta }^{\prime },{\theta }_2)|}^2\omega ({\theta }^{\prime };b)d{\theta }^{\prime }\right)}^{\frac{1}{2}}<ϵ,\forall n\in \mathbb{N}\cup \{0\},\end{array}$$

this shows that the family ${(a_n(\theta ))}_{n\ge 0},\theta \in [{ϵ}_1,\pi -{ϵ}_2]$ is equicontinuous.

On the other hand, we have also that there exists $M>0$ such that

$$|a_n(\theta )|\le \frac{1}{\pi }{\int }_0^{\pi }{|K({\theta }^{\prime },\theta )|}^2\omega ({\theta }^{\prime };b)d{\theta }^{\prime }\le M,\forall \theta \in [{ϵ}_1,\pi -{ϵ}_2],\forall n\in \mathbb{N}\cup \{0\},$$

this shows that the family ${(a_n(\theta ))}_{n\ge 0},\theta \in [{ϵ}_1,\pi -{ϵ}_2]$ is uniformly bounded.

From Arzela’s Theorem, cf. [47] (p. 54) it follows that the family of functions ${(a_n)}_{n\ge 0}$ is compact in $C[{ϵ}_1,\pi -{ϵ}_2]$ equipped the uniform norm. Therefore, from (37) every uniform convergent subsequence of ${(a_n)}_{n\ge 0}$ converges to the same limit, hence for the whole sequence we have

$$\underset{n\to \infty }{lim}{a}_n(\theta )=0,\forall \theta \in [{ϵ}_1,\pi -{ϵ}_2].$$

By using a similar argument, we also conclude that

$$\underset{n\to \infty }{lim}{b}_n(\theta )=0,\forall \theta \in [{ϵ}_1,\pi -{ϵ}_2].$$

 □

Proof of Theorem 4.

From (2)–(4) it follows that

$$\frac{b+\overline{b}}{b}{R}_n(z;b)=\frac{{(b+1)}_n}{{(\overline{b}+b+1)}_n}{\widehat{S}}_n(z;b)+\frac{\overline{b}}{b}\frac{{(\overline{b}+1)}_n}{{(\overline{b}+b+1)}_n}{\widehat{S}}_n^{*}(z;b),n\ge 1,$$

hence, from (1)

$$\begin{array}{c}{G}_n(cos\theta ;\lambda ,\eta )=\hfill \\ \hfill \frac{2^{-n-1}{(2\lambda )}_n}{{(\lambda )}_n{\kappa }_n(b)}\left(\frac{b{(b+1)}_n}{\lambda {(\overline{b}+b+1)}_n}{z}^{-\frac{n}{2}}{s}_n(z;b)+\frac{\overline{b}{(\overline{b}+1)}_n}{\lambda {(\overline{b}+b+1)}_n}{z}^{-\frac{n}{2}}{s}_n^{*}(z;b)\right),z=e^{2ı\theta },\theta \in [0,\pi ],\end{array}$$

where ${\kappa }_n$ is given by (5).

From [21] [(2.7) p. 200] we have that

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}{\kappa }_n(b)={\delta }^{-1}(b),\end{array}$$

(38)

where ${\displaystyle \delta (b)=e^{\frac{1}{2\pi }{\int }_0^{\pi }log(\omega (\theta ))d\theta }>0}$ is the solution of the Szegő extremum problem, [21] (p. 200 & Th. 2.5 p. 204).

From the relation [21] (p. 206)

$${\delta }^{-2}(b)=\Delta (0;b),$$

where

$$\Delta (z;b)=D^{-1}(z;b){\delta }^{-1}(b),$$

cf. [21] [(3.4) p. 209], one finds that

$$\delta (b)=D(0;b).$$

The representation [21] [(4.6) p. 220] gives

$$\begin{array}{c}\hfill e^{-ın\theta }{s}_n(e^{2ı\theta };b)=\frac{{\kappa }_n(b)e^{ın\theta }\overline{D^{-1}(e^{2ı\theta };b)}-a_n(\theta )e^{ın\theta }\overline{D^{-1}(e^{2ı\theta };b)}+b_n(\theta )e^{-ın\theta }{D}^{-1}(e^{2ı\theta };b)}{\delta (b)(|{\kappa }_n(b)-a_n(\theta ){|}^2+|b_n(\theta ){|}^2)},\end{array}$$

(39)

with $a_n$ and $b_n$ defined as in Lemma 1.

Taking into account the representation

$${(z)}_n=\frac{\Gamma (z+n)}{\Gamma (z)},$$

from [26] [(4) p. 47] one has

$$\begin{array}{c}\hfill \frac{{({\gamma }_1)}_n}{{({\gamma }_2)}_n}=\frac{\Gamma ({\gamma }_2)}{\Gamma ({\gamma }_1)}{n}^{{\gamma }_1-{\gamma }_2}\left(1+O\left(\frac{1}{n}\right)\right),asn\to \infty .\end{array}$$

(40)

Hence, from (38)–(40)

$$\begin{array}{cc}{2}^{n+1}{\Psi }_n(\theta ;\lambda ,\eta )=\hfill & \\ & \hfill \left(\frac{2\Gamma (\lambda )}{\Gamma (b)}{n}^{ı\eta }{e}^{ın\theta }{(1-e^{-2ı\theta })}^{-\overline{b}}+\frac{2\Gamma (\lambda )}{\Gamma (\overline{b})}{n}^{-ı\eta }{e}^{-ın\theta }{(1-e^{2ı\theta })}^{-b}\right)e^{-\eta \theta }{sin}^{\lambda }\theta +r_n(\theta ).\end{array}$$

Now, Lemma 1 gives us that,

$$\begin{array}{c}{r}_n(\theta )=\hfill \\ \Re \left[\left(-\frac{1}{\Gamma (b)}{a}_n(\theta )e^{ın\theta }{(1-e^{-2ı\theta })}^{-\overline{b}}+\frac{1}{\Gamma (b)}{b}_n(\theta )e^{-ın\theta }{(1-e^{-2ı\theta })}^{-b}\right)O(1)\right]+O\left(\frac{1}{n}\right)=o(1),\\ \hfill asn\to \infty ,\end{array}$$

uniformly in $\theta \in [{ϵ}_1,\pi -{ϵ}_2]$, being ${ϵ}_1,{ϵ}_2>0$ any fixed quantities sufficiently small so that $[{ϵ}_1,\pi -{ϵ}_2]\subset (0,\pi )$. This completes the proof of the theorem. □

4. Discussion

The present work is devoted to the study an energy-dependent potential related to the Rosen–Morse potential. The system is obtained by the addition of a potential term which depends on the function $cot\theta$ and an energy dependence through a square root.

In order to show some numerical comparisons we will identify accordingly the parameters $\lambda ,\eta$ of the quantum model given by Theorem 1 and the parameters $\mathfrak{a},\mathfrak{b}$ of the asymmetric trigonometric Rosen–Morse model, following the form given in [41]. In effect, by identifying the parameters one has $\mathfrak{b}=-\lambda \eta ,\mathfrak{a}=\lambda$. Consequently, the quantum system defined by Theorem 1, in terms of the parameters $\mathfrak{a}$ and $\mathfrak{b}$ reads as,

$$\begin{array}{c}{\Psi }^{″}(\theta )+\left(E-\left(2\mathfrak{b}cot\theta +\mathfrak{a}(\mathfrak{a}-1)\frac{1}{{sin}^2\theta }+2\frac{\mathfrak{b}}{\mathfrak{a}}\left(-\mathfrak{a}+\sqrt{E+{\left(\frac{\mathfrak{b}}{\mathfrak{a}}\right)}^2}\right)cot\theta \right)\right)\Psi (\theta )=0,\hfill \\ \hfill \theta \in (0,\pi ),\mathfrak{a}\ge -\frac{1}{2},\mathfrak{a}\ne 0,\end{array}$$

which has, when $n\in \mathbb{N}\cup \{0\}$, the system of solutions

$$\begin{array}{c}{\Psi }_n\left(\theta ;\mathfrak{a},-\frac{\mathfrak{b}}{\mathfrak{a}}\right)=G_n\left(cos\theta ;\mathfrak{a},-\frac{\mathfrak{b}}{\mathfrak{a}}\right)e^{\frac{\mathfrak{b}}{\mathfrak{a}}\theta }{sin}^{\mathfrak{a}}\theta =\frac{{(2\mathfrak{a})}_n{2}^{-n}}{{(\mathfrak{a})}_n}\times \\ {(cos\theta +ısin\theta )}^{-n}{}_2{F}_1\left(-n,\mathfrak{a}-ı\frac{\mathfrak{b}}{\mathfrak{a}};2\mathfrak{a};1-{(cos\theta +ısin\theta )}^2\right)e^{\frac{\mathfrak{b}}{\mathfrak{a}}\theta }{sin}^{\mathfrak{a}}\theta ,\mathfrak{a}\ge -\frac{1}{2},\mathfrak{a}\ne 0,\end{array}$$

(41)

and the corresponding energy levels,

$$\begin{array}{c}\hfill E_{\Psi }\left(n;\mathfrak{a},-\frac{\mathfrak{b}}{\mathfrak{a}}\right)={(n+\mathfrak{a})}^2-{\left(\frac{\mathfrak{b}}{\mathfrak{a}}\right)}^2.\end{array}$$

(42)

On the other hand, following Theorem 3, we will multiply by an adequate numerical constant ${\gamma }_n$ the expression that defines the ${\Phi }_n$ functions (12),

$${\gamma }_n={(-1)}^{\lfloor \frac{n}{2}\rfloor }\frac{2^{-n}{(2\mathfrak{a})}_n{(\mathfrak{a}+\frac{1}{2})}_{\lfloor \frac{n}{2}\rfloor }}{\left(\genfrac{}{}{0pt}{}{n+2\mathfrak{a}-1}{n}\right){(-n-\mathfrak{a}+\frac{1}{2})}_n{(1-n-\mathfrak{a})}_{\lfloor \frac{n}{2}\rfloor }}\frac{{(1-2n-2\mathfrak{a})}_n}{{(1-n-\mathfrak{a})}_n}.$$

By (11) and (12), we have that the rescaled function ${\Phi }_n,n\in \mathbb{N}\cup \{0\}$ can be expressed as

$$\begin{array}{c}{\displaystyle {\Phi }_n(\theta ;\mathfrak{a},\mathfrak{b})={\gamma }_n{(-ı)}^n{P}_n^{(-n-\mathfrak{a}-\frac{ı\mathfrak{b}}{a+n},-n-\mathfrak{a}+\frac{ı\mathfrak{b}}{\mathfrak{a}+n})}(ıcot\theta )e^{-\frac{\mathfrak{b}\theta }{n+\mathfrak{a}}}{sin}^{(\mathfrak{a}+n)}\theta =}\\ {\gamma }_n{(-ı)}^n\left(\genfrac{}{}{0pt}{}{-\mathfrak{a}-\frac{ı\mathfrak{b}}{a+n}}{n}\right){}_2{F}_1\left(-n,1-n-2\mathfrak{a};1-n-\mathfrak{a}-\frac{ı\mathfrak{b}}{a+n};\frac{1-ıcot\theta }{2}\right)e^{-\frac{\mathfrak{b}\theta }{n+\mathfrak{a}}}{sin}^{(\mathfrak{a}+n)}\theta .\end{array}$$

(43)

Notice that, by virtue of Corollary 1 and [23] [(4.7.1) p. 80] one has now that

$${\Phi }_n(\theta ;\mathfrak{a},0)={\Psi }_n(\theta ;\mathfrak{a},0),\mathfrak{a}>-\frac{1}{2},\mathfrak{a}\ne 0,$$

we recover in particular, the symmetric trigonometric Rosen–Morse oscillator.

In Figure 1 and Figure 2 we plotted the wave functions for several toy values of the parameters. In Figure 3 and Figure 4 we plotted the densities $\left(1+\frac{\mathfrak{b}cot\theta }{\mathfrak{a}(n+\mathfrak{a})}\right){|{\Psi }_n(\theta ;\mathfrak{a},\mathfrak{b})|}^2$ (see Theorem 2) and $|{\Phi }_n{(\theta ;\mathfrak{a},\mathfrak{b})|}^2$ for the same values of the parameters $\mathfrak{a},\mathfrak{b}$ with n fixed ($n=5$). As can be appreciated, by fixing $\mathfrak{b}$ and making $\mathfrak{a}$ variable, the abscissas of the local maxima of the densities tend to be localized at the same points in both models, as $\mathfrak{a}$ increases. These points correspond to the regions where it is most likely the particle to be found. It should be also noticed from the expressions of the energies (13) and (42) that

$$\begin{array}{c}\hfill \underset{\mathfrak{a}\to \infty }{lim}{E}_{\Psi }(n;\mathfrak{a},\mathfrak{b})-E_{\Phi }(n;\mathfrak{a},\mathfrak{b})=0,\end{array}$$

for $\mathfrak{b}$ and n fixed. It could be interesting the further study of these facts.

Figure 1. ${\Psi }_n(\theta ;\mathfrak{a},\mathfrak{b})$ in green and ${\Phi }_n(\theta ;\mathfrak{a},\mathfrak{b})$ in red with $n=5$, $\mathfrak{b}=1$ and $\mathfrak{a}=3,5,7$.

Figure 2. ${\Psi }_n(\theta ;\mathfrak{a},\mathfrak{b})$ in green and ${\Phi }_n(\theta ;\mathfrak{a},\mathfrak{b})$ in red with $n=5$, $\mathfrak{b}=3$ and $\mathfrak{a}=3,5,7$.

Figure 3. Density $\left(1+\frac{\mathfrak{b}cot\theta }{\mathfrak{a}(n+\mathfrak{a})}\right){|{\Psi }_n(\theta ;\mathfrak{a},\mathfrak{b})|}^2$ with $n=5$, $\mathfrak{b}=1$ and $\mathfrak{a}=3,5,7$.

Figure 4. Density $|{\Phi }_n{(\theta ;\mathfrak{a},\mathfrak{b})|}^2$ with $n=5$, $\mathfrak{b}=1$ and $\mathfrak{a}=3,5,7$.