On the Direct Limit from Pseudo Jacobi Polynomials to Hermite Polynomials

Abstract

In this short communication, we present a new limit relation that reduces pseudo-Jacobi polynomials directly to Hermite polynomials. The proof of this limit relation is based upon2F1-type hypergeometric transformation formulas, which are applicable to even and odd polynomials separately. This limit opens the way to studying new exactly solvable harmonic oscillator models in quantum mechanics in terms of pseudo-Jacobi polynomials.

1. Introduction

Polynomials with an orthogonality property under some continuous or discrete measure play a major role in the exact solution of a number of phenomena expressed by means of differential or finite-difference equations. Some well-known problems of quantum mechanics and quantum computing, as well as stochastic processes, probability theory, and statistical finance, are among of these phenomena [1]. Hermite, Laguerre, and Jacobi polynomials, as exact solutions of a second-order differential equations of the hypergeometric type, are among the most widely used classical polynomials. The Askey scheme or table of orthogonal polynomials, introduced in the 1980s, exhibited “hidden” properties of these polynomials and their higher-order generalizations (and their q-deformed or basic analogues [2]). This scheme is a way of organizing orthogonal polynomials of the hypergeometric type (or basic hypergeometric type) into a directed graph, with Wilson polynomials and Racah polynomials (or Askey–Wilson polynomials and q-Racah polynomials) on the top level, and other polynomials arranged on lower levels, roughly speaking, according to the number of variables. A beautiful aspect of the scheme is that it is possible to establish connections between almost all polynomials located at the nearest or almost nearest neighbor nodes in the graph via exact limit relations or special cases, which are indicated by arrows in the graph. For example, the Hermite polynomials described by_{2 F0} hypergeometric functions are located at the lowest level of the scheme, and the generalized Laguerre polynomials located on next level of the scheme are connected to the Hermite polynomials both via an exact limit relation [2] (9.12.13) and through a well-known special case that is separately valid for even and odd polynomials [2] (p. 244) (see Equations (16) and (19) in this paper). Some other interesting properties of these polynomials are a general limit relation between these two polynomials in terms of the Srivastava–Singhal polynomials [3] and the appearance as a generic polynomial solution of a differential equation [4]. In general, one easily observes from the Askey table that all orthogonal polynomials within this scheme are special or limiting cases of the Wilson polynomials or Racah polynomials (or Askey–Wilson or q-Racah polynomials).

In the early days of the Askey scheme [5,6], four classes of polynomials appear at the_{2 F1} level. Nowadays, a fifth class, pseudo-Jacobi polynomials, is usually included in the scheme at this level [2] (p. 183). These pseudo-Jacobi polynomials are among the least studied polynomials of the Askey scheme. These polynomials were first obtained by Routh [7], and later, were independently introduced by V. Romanovski as a finite system of Jacobi-like polynomials [8]. They are sometimes referred to as Routh–Romanovski polynomials. Their q-analogues were studied in [9], wherein further references can be found. An attractive property of the pseudo-Jacobi polynomials is their orthogonality relation for a weight function with support over the whole real line (see Equation (4)). Furthermore, it is known that the pseudo-Jacobi polynomials can be recovered from the continuous Hahn polynomials under a certain limit (see Equation (5)); hence, there is an arrow in the Askey scheme from continuous Hahn polynomials to pseudo-Jacobi polynomials. On the other hand, only a special case of the Bessel polynomials can be obtained as a limit of the pseudo-Jacobi polynomials [2,10]. In that sense, there is no arrow in the Askey scheme from pseudo-Jacobi polynomials to a class of polynomials at a lower level.

The main goal of this short communication is to show that there exists a direct limit from pseudo-Jacobi polynomials to Hermite polynomials, and hence, an extra arrow can be drawn in the Askey scheme.

The paper is structured as follows: In Section 2, some basic properties of both Hermite and pseudo-Jacobi polynomials are recalled. These properties include their hypergeometric expressions, orthogonality relations, and differential equations. In Section 3, the limit relation between these two polynomials is presented. Conclusions with some further discussions are presented in Section 4.

2. Basic Properties of Hermite and Pseudo-Jacobi Polynomials

In this section, we give the main formulas for Hermite and pseudo-Jacobi polynomials. All of these can be found in [2], but it is convenient to list them here for further reference.

Hermite polynomials are defined in terms of_{2 F0} hypergeometric functions as follows [2] (9.15.1):

_Hnx=^2xn_{2 F0}−n/2,−n−1/2−;−1^x2.

They are exact solutions of the following second-order differential equation [2] (9.15.5):

^y″x−2x^y′x+2nyx=0,

whereyx=_Hnx . Hermite polynomials satisfy an orthogonality relation [2] (9.15.2) on the interval(−∞,∞):

1π∫−∞∞^e−x2 _Hmx_Hnxdx=²ⁿn!_δmn.

Pseudo-Jacobi polynomials belong to a higher level in the Askey scheme, and are defined in terms of_{2 F1} hypergeometric functions as follows [2] (9.9.1):

_Pnx;ν,N=⁻²ⁱⁿ _{−N+iνnn−2N−1n2 F1}−n,n−2N−1−N+iν;1−ix2

=^x+in _{2 F1}−n,N+1−n−iν2N+2−2n;21−ix,n=0,1,2,…,N.

Herein,νis an arbitrary real parameter and N is an arbitrary positive integer. The polynomials_Pnx;ν,N are real polynomials in x of degree n, and n is restricted by N. They are also the exact solution of a second-order differential equation, namely [2] (9.9.5):

1+^x2y″x+2ν−Nx^y′x−nn−2N−1yx=0,

whereyx=_Pnx;ν,N . Pseudo-Jacobi polynomials also satisfy an orthogonality relation [2] (9.9.2) on the interval(−∞,∞):

12π∫−∞∞^{1+x2−N−1 e2νarctanx} _Pmx;ν,N_Pnx;ν,Ndx=Γ2N+1−2nΓ2N+2−2n^22n−2N−1n!Γ2N+2−n^{ΓN+1−n+iν2}_δmn.

The pseudo-Jacobi polynomials can be related to Jacobi polynomials_Pnα,βx in the following way [2] (p. 233):

_Pnx;ν,N=⁻²ⁱⁿn!_{n−2N−1nPn−N−1+iν,−N−1−iν}x,

but this is only a formal relation, only referring to the_{2 F1}structure. They follow from the continuous Hahn polynomials_pnx;a,b,c,d under the limit relation [2] (p. 233):

limt→∞_pnxt;12−N+iν−2t,12−N−iν+2t,12−N+iν−2t,12−N−iν+2t=_n−2N−1nn!_Pnx;ν,N.

A special case of the Bessel polynomials_ynx;acan be obtained from them as follows:

limν→∞_Pnνx;ν,N^νn=²ⁿ _{n−2N−1nyn}x;−2N−2.

3. Direct Limit Relation between Pseudo-Jacobi and Hermite Polynomials

Before presenting the main theorem, we have a lemma with two transformation formulas (which appeared already in [11], but were not derived there).

Lemma 1.

For m a non-negative integer, the following transformation formulas hold:

_{2 F1}−2m,2m+2λλ+1/2;1−ξ2=^−1m_{1/2m λ+1/2m2 F1}−m,λ+m1/2;^ξ2,

_{2 F1}−2m−1,2m+2λ+1λ+1/2;1−ξ2=^−1m_{3/2m λ+1/2m}ξ_{2 F1}−m,λ+m+13/2;^ξ2.

Proof.

First, apply the quadratic transformation formula 2.11.2 in [12] on the left-hand side of (6):

_{2 F1}−2m,2m+2λλ+1/2;1−ξ2=_{2 F1}−m,m+λλ+1/2;1−^ξ2.

Next, apply the linear transformation formula 15.8.7 of [13]:

_{2 F1}−m,m+λλ+1/2;1−^ξ2=_{(−m+1/2)m (λ+1/2)m2 F1}−m,m+λ1/2;^ξ2,

yielding (6).

For the second formula, apply the quadratic transformation formula 2.11.3 in [12] on the left-hand side of (7):

_{2 F1}−2m−1,2m+2λ+1λ+1/2;1−ξ2=ξΓ(λ+1/2)Γ(−1/2)Γ(−m−1/2)Γ(m+λ+1/2)_{2 F1}−m,m+λ+13/2;^ξ2.

After simplification of the Gamma functions, this yields (7). □

The main result of this note is the following:

Theorem 1.

(Limit relation from_Pnx;ν,Nto_Hnx ) The Hermite polynomials (1) follow from the pseudo-Jacobi polynomials given by (3a) or (3b) by settingx→x/Nandν→ν/Nand then lettingN→∞in the following way:

limN→∞^Nn2 _PnxN;νN,N=1²ⁿ_Hnx.

Proof.

Using (3a), the left-hand side of Equation (8) can be rewritten as follows:

limN→∞^Nn2 _PnxN;νN,N=⁻²ⁱⁿlimN→∞^Nn2_{−N+iνNn n−2N−1n2 F1}−n,n−2N−1−N+iνN;1−ixN2.

It is directly clear that

limN→∞_{−N+iνNn n−2N−1n}=²⁻ⁿ.

Hence,

limN→∞^Nn2 _PnxN;νN,N=⁻ⁱⁿlimN→∞^Nn2 _{2 F1}−n,n−2N−1−N+iνN;1−ixN2.

In the denominator of the hypergeometric series, the term+iνNplays no role in the limit, leading to

limN→∞^Nn2 _PnxN;νN,N=⁻ⁱⁿlimN→∞^Nn2 _{2 F1}−n,n−2N−1−N;1−ixN2.

After these straightforward simplifications, one has to take more care in order to proceed. In particular, it is now necessary to distinguish the cases for even and odd n. Forn=2m, we have

limN→∞^Nm _P2mxN;νN,N=^−1mlimN→∞^Nm _{2 F1}−2m,2m−2N−1−N;1−ixN2.

Using (6), this leads to

limN→∞^Nm _P2mxN;νN,N=_1/2mlimN→∞^Nm _{−Nm2 F1}−m,m−N−1/21/2;−^x2N=^−1m _1/2mlimN→∞_{2 F1}−m,m−N−1/21/2;−^x2N=^−1m _{1/2m 1 F1}−m1/2;^x2.

For the last step, one can simply use

limN→∞_{(−m)k (m−N−1/2)k(1/2)k}k!^−x2Nk=_{(−m)k(1/2)k}k!^(x2)k

in each term of the hypergeometric series. Taking into account the definition of generalized Laguerre polynomials_Lnαx [2] (9.12.1)

_Lnαx=_α+1nn!_{1 F1}−nα+1;x,

and the following connection between Hermite and generalized Laguerre polynomials [2] (p. 244)

_H2mx=^−1mm!^22m _Lm−12^x2,

one obtains that

limN→∞^Nm _P2mxN;νN,N=1^22m_H2mx.

Next, consider the casen=2m+1 in (12):

limN→∞^Nm+12 _P2m+1xN;νN,N=i^−1m+1limN→∞^Nm+12 _{2 F1}−2m−1,2m−2N−N;1−ixN2.

Here, one can use (7), leading to

limN→∞^Nm+12 _P2m+1xN;νN,N=_3/2mxlimN→∞^Nm _{−Nm2 F1}−m,m−N−1/23/2;−^x2N=^−1m _3/2mxlimN→∞_{2 F1}−m,m−N−1/23/2;−^x2N=^−1m _3/2mx_{1 F1}−m3/2;^x2.

According to (15), the hypergeometric series in the right-hand side of (18) is again a generalized Laguerre polynomial, withα=12 . Taking into account the relation [2] (p. 244)

_H2m+1x=^−1mm!^22m+1x_Lm12^x2,

one obtains that

limN→∞^Nm+12 _P2m+1xN;νN,N=1^22m+1_H2m+1x.

This proves the limit relation (8). □

It is interesting to observe that under this limit, the orthogonality relation for pseudo-Jacobi polynomials actually reduces to the orthogonality for Hermite polynomials. This is because the weight function for pseudo-Jacobi polynomials behaves under this limit as

limN→∞^{1+x2N−N−1 e2νNarctanxN}=^e−x2,

by using the classical limit

limn→∞^1+tnn=^et.

For the norm squared of the polynomials under this limit, it is sufficient to use Stirling’s approximations

n!∼2πn^nen

and

Γz∼2πz^zez

in order to relate the right-hand side of (4) to the right-hand side of (2).

4. Discussion and Conclusions

Taking into account the existence of a direct limit from pseudo-Jacobi polynomials_Pnx;ν,Nto Hermite polynomials_Hnxby settingx→x/Nandν→ν/Nand then lettingN→∞ , let us explore this relation in more detail. In particular, let us examine the graphs of the corresponding polynomials. In Figure 1, we have plotted Hermite polynomials_Hnxand pseudo-Jacobi polynomials^{2n Nn2} _PnxN;νN,Nfor certain values of n and of the variables. Taking into account that the Hermite polynomial_H0xis constant and_H1xis equal to2x, we concentrate on the plots forn=2andn=3, the simplest cases for even and odd degrees. In addition, taking into account the dependence of the weight function for pseudo-Jacobi polynomials onν, we have chosen two values ofνwith opposite signs, namelyν=±10.

In both plots, one observes that the value ofν plays the role of shifting the pseudo-Jacobi polynomial to the left or right of the Hermite polynomial depending on the sign of this parameter. Actually, as the limit relation (8) holds for the parameterν→ν/N, the plots of pseudo-Jacobi polynomials tend to the plots of the Hermite polynomials as N increases. Both plots clearly demonstrate the limit behavior and how the value of the parameterνno longer plays a role as it disappears under the limit. Similar plots with similar behavior can be made for the polynomials with a degree n higher than 3.

To conclude, we emphasize again that we have obtained a proper limit relation that reduces the pseudo-Jacobi polynomials to the Hermite polynomials and, moreover, transfers the orthogonality relation from pseudo-Jacobi polynomials to that of Hermite polynomials. To prove the limit, we had to use_{2 F1}-type hypergeometric transformation formulas for even and odd polynomials separately. We think that the consequences of our result can be of major importance in quantum mechanical models. It is well known that Hermite polynomials play a vital role as exact solutions of the quantum mechanical harmonic oscillator problem. In the context of non-relativistic quantum theory under the canonical approach, where the commutation relation between the one-dimensional momentum and position operators is a c-number, the exact solution of the time-independent Schrödinger equation for the one-dimensional non-relativistic harmonic oscillator with homogeneous effective mass_m0leads to wave functions of stationary states in terms of the Hermite polynomials_Hnx [14]. The exact solution of same problem, but with an additional external homogeneous field, leads to wave functions of the stationary states in terms of the Hermite polynomials with a shifted variable as_Hnx+_x0. The solution of the same Schrödinger equation under the non-canonical approach leads to wave functions of stationary states in terms of the generalized Laguerre polynomials_Lnα^x2 [15], sometimes referred to as generalized Hermite polynomials [16]. Therefore, in view of the established limit (8), we think that it is interesting to study new exactly solvable harmonic oscillator models in terms of pseudo-Jacobi polynomials_PnxN;νN,N, where, for example, the parameterν takes the role of a shifting parameter. Even beyond that, in view of the limit (5), one could examine new quantum oscillator models where the continuous Hahn polynomials_pnx;a,b,c,d [17], subject to certain parameter restrictions, play the role of wave functions.

Figure 1. Hermite polynomialsHn(x)vs. pseudo-Jacobi polynomials2nNn2PnxN;νN,N. Panel (a) depictsn=2and panel (b) depictsn=3. The Hermite polynomials are plotted by a solid line. The pseudo-Jacobi polynomials withν=-10are plotted by a dash-dotted line, and the pseudo-Jacobi polynomials withν=10are plotted by a dashed line. The plots are given forN=5andN=15, where the caseN=15is closest to the solid line.

Author Contributions

Conceptualization, E.I.J. and A.M.M.; Methodology, J.V.d.J.; Validation, E.I.J., A.M.M. and J.V.d.J.; Formal Analysis, E.I.J., A.M.M. and J.V.d.J.; Investigation, E.I.J., A.M.M. and J.V.d.J.; Resources, E.I.J., A.M.M. and J.V.d.J.; Writing-Original Draft Preparation, E.I.J., A.M.M. and J.V.d.J.; Writing-Review & Editing, J.V.d.J.; Visualization, E.I.J. All authors have read and agreed to the published version of the manuscript.

Funding

E.I.J. kindly acknowledges that this work was supported by the Science Development Foundation under the President of the Republic of Azerbaijan-Grant No. EIF-KETPL-2-2015-1(25)-56/01/1. J.V.d.J. was supported by the EOS Research Project 30889451.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

1. Schoutens, W. Stochastic Processes and Orthogonal Polynomials; Springer: New York, NY, USA, 2000.

2. Koekoek, R.; Lesky, P.A.; Swarttouw, R.F. Hypergeometric Orthogonal Polynomials and Their q-Analogues; Springer: Berlin, Germany, 2010.

3. Chen, K.Y.; Srivastava, H.M. A limit relationship between Laguerre and Hermite polynomials. Integral Transform. Spec. Funct. 2005, 16, 75-80.

4. Koepf, W.; Masjed-Jamei, M. A generic polynomial solution for the differential equation of hypergeometric type and six sequences of orthogonal polynomials related to it. Integral Transform. Spec. Funct. 2006, 17, 559-576.

5. Labelle, J. Tableau d'Askey. Lect. Notes Math. 1985, 1171, xxxvi-xxxvii.

6. Askey, R.; Wilson, J. Some basic hypergeometric orthogonal polynomials that generalize Jacobi polynomials. Mem. Am. Math. Soc. 1985, 54, 319.

7. Routh, E.J. On some properties of certain solutions of a differential equation of the second order. Proc. Lond. Math. Soc. 1884, 16, 245-261.

8. Romanovski, V.I. Sur quelques classes nouvelles de polynomes orthogonaux. CR Acad. Sci. Paris 1929, 188, 1023-1025.

9. Masjed-Jamei, M.; Saad, N.; Koepf, W.; Soleyman, F. On the Finite Orthogonality of q-Pseudo-Jacobi Polynomials. Mathematics 2020, 8, 1323.

10. Lesky, P.A. Einordnung der Polynome von Romanovski-Bessel in das Askey-Tableau. Z. Angew. Math. Mech. 1998, 78, 646-648.

11. Jafarov, E.I.; Nagiyev, S.M.; Oste, R.; Van der Jeugt, J. Exact solution of the position-dependent effective mass and angular frequency Schrödinger equation: Harmonic oscillator model with quantized confinement parameter. J. Phys. A Math. Theor. 2020, 53, 485301.

12. Erdelyi, A.; Magnus, W.; Oberhettinger, F.; Tricomi, F.G. Higher Transcendental Functions; McGraw-Hill Book Company, Inc.: New York, NY, USA; Toronto, ON, Canada; London, UK, 1953; Volume I.

13. Olver, F.W.J.; Daalhuis, A.B.O.; Lozier, D.W.; Schneider, B.I.; Boisvert, R.F.; Clark, C.W.; Miller, B.R.; Saunders, B.V.; Cohl, H.S.; McClain, M.A. (Eds.) NIST Digital Library of Mathematical Functions. Available online: http://dlmf.nist.gov/ (accessed on 15 December 2020).

14. Landau, L.D.; Lifshitz, E.M. Quantum Mechanics: Non-Relativistic Theory; Pergamon Press: Oxford, UK, 1982.

15. Ohnuki, Y.; Kamefuchi, S. Quantum Field Theory and Parastatistics; Springer: New York, NY, USA, 1982.

16. Bouzeffour, F.; Jedidi, W. Fractional Supersymmetric Hermite Polynomials. Mathematics 2020, 8, 193.

17. Atakishiyev, N.M.; Suslov, S.K. The Hahn and Meixner polynomials of an imaginary argument and some of their applications. J. Phys. A Math. Gen. 1985, 18, 1583-1596.