Romanovski polynomials

In mathematics, the Romanovski polynomials are one of three finite subsets of real orthogonal polynomials discovered by Vsevolod Romanovsky^[1] (Romanovski in French transcription) within the context of probability distribution functions in statistics. They form an orthogonal subset of a more general family of little-known Routh polynomials introduced by Edward John Routh^[2] in 1884. The term Romanovski polynomials was put forward by Raposo,^[3] with reference to the so-called 'pseudo-Jacobi polynomials in Lesky's classification scheme.^[4] It seems more consistent to refer to them as Romanovski–Routh polynomials, by analogy with the terms Romanovski–Bessel and Romanovski–Jacobi used by Lesky for two other sets of orthogonal polynomials.

In some contrast to the standard classical orthogonal polynomials, the polynomials under consideration differ, in so far as for arbitrary parameters only a finite number of them are orthogonal, as discussed in more detail below.

The differential equation for the Romanovski polynomials

The Romanovski polynomials solve the following version of the hypergeometric differential equation

${\displaystyle {\begin{aligned}&s(x){R_{n}^{(\alpha ,\beta )}}''(x)+t_{1}^{(\alpha ,\beta )}(x){R_{n}^{(\alpha ,\beta )}}'(x)+\lambda _{n}R_{n}^{(\alpha ,\beta )}(x)=0,\\[4pt]&\qquad x\in (-\infty ,+\infty ),\quad s(x)=\left(1+x^{2}\right),\quad t_{1}^{(\alpha ,\beta )}(x)=2\beta x+\alpha ,\quad \lambda _{n}=-n(2\beta +n-1).\end{aligned}}}$

(1)

Curiously, they have been omitted from the standard textbooks on special functions in mathematical physics^[5][6] and in mathematics^[7][8] and have only a relatively scarce presence elsewhere in the mathematical literature.^[9][10][11]

The weight functions are

${\displaystyle w^{(\alpha ,\beta )}(x)=\left(1+x^{2}\right)^{\beta -1}\exp \left(-\alpha \operatorname {arccot} x\right);}$

(2)

they solve Pearson's differential equation

${\displaystyle [s(x)w(x)]'=t(x)w(x),\quad s(x)=1+x^{2},}$

(3)

that assures the self-adjointness of the differential operator of the hypergeometric ordinary differential equation.

For α = 0 and β < 0, the weight function of the Romanovski polynomials takes the shape of the Cauchy distribution, whence the associated polynomials are also denoted as Cauchy polynomials^[12] in their applications in random matrix theory.^[13]

The Rodrigues formula specifies the polynomial R^(α,β)
_n(x) as

${\displaystyle R_{n}^{(\alpha ,\beta )}(x)=N_{n}{\frac {1}{w^{(\alpha ,\beta )}(x)}}{\frac {\mathrm {d} ^{n}}{\mathrm {d} x^{n}}}\left(w^{(\alpha ,\beta )}(x)s(x)^{n}\right),\quad 0\leq n,}$

(4)

where N_n is a normalization constant. This constant is related to the coefficient c_n of the term of degree n in the polynomial R^(α,β)
_n(x) by the expression

${\displaystyle N_{n}={\frac {(-1)^{n}n!\,c_{n}}{\prod _{k=0}^{n-1}\lambda _{n}^{(k)}}},\quad \lambda _{n}=-n\left({t_{n}^{(\alpha ,\beta )}}'+{\tfrac {1}{2}}(n-1)s''(x)\right),}$

(5)

which holds for n ≥ 1.

Relationship between the polynomials of Romanovski and Jacobi

As shown by Askey this finite sequence of real orthogonal polynomials can be expressed in terms of Jacobi polynomials of imaginary argument and thereby is frequently referred to as complexified Jacobi polynomials.^[14] Namely, the Romanovski equation (1) can be formally obtained from the Jacobi equation,^[15]

${\displaystyle {\begin{aligned}&\left(1-x^{2}\right){P_{n}^{(\gamma ,\delta )}}''(x)+t_{1}^{(\gamma ,\delta )}(x){P_{n}^{(\gamma ,\delta )}}'(x)+\lambda _{n}P_{n}^{(\gamma ,\delta )}(x)=0,\\[4pt]&\qquad t_{1}^{(\gamma ,\delta )}(x)=\delta -\gamma -(\gamma +\delta +2)x,\quad \lambda _{n}=n(n+\gamma +\delta +1),\quad x\in \left[-1,1\right],\end{aligned}}}$

(6)

via the replacements, for real x,

${\displaystyle x\to ix,\quad {\frac {\mathrm {d} }{{\mathrm {d} }x}}\to -i{\frac {\mathrm {d} }{{\mathrm {d} }x}},\quad \gamma =\delta ^{\ast }=\beta -1+{\frac {\alpha i}{2}},}$

(7)

in which case one finds

${\displaystyle R_{n}^{(\alpha ,\beta )}(x)=i^{n}P_{n}^{\left(\beta -1+{\frac {i}{2}}\alpha ,\beta -1-{\frac {i}{2}}\alpha \right)}(ix),}$

(8)

(with suitably chosen normalization constants for the Jacobi polynomials). The complex Jacobi polynomials on the right are defined via (1.1) in Kuijlaars et al. (2003)^[16] which assures that (8) are real polynomials in x. Since the cited authors discuss the non-hermitian (complex) orthogonality conditions only for real Jacobi indexes the overlap between their analysis and definition (8) of Romanovski polynomials exists only if α = 0. However examination of this peculiar case requires more scrutiny beyond the limits of this article. Notice the invertibility of (8) according to

${\displaystyle P_{n}^{(\alpha ,\beta )}(x)=(-i)^{n}R_{n}^{\left(i(\alpha -\beta ),{\frac {1}{2}}(\alpha +\beta )+1)\right)}(-ix),}$

(9)

where, now, P^(α,β)
_n(x) is a real Jacobi polynomial and

${\displaystyle R_{n}^{\left(i(\alpha -\beta ),{\frac {1}{2}}(\alpha +\beta )+1)\right)}(-ix)}$

would be a complex Romanovski polynomial.

Properties of Romanovski polynomials

Explicit construction

For real α, β and n = 0, 1, 2, ..., a function R^(α,β)
_n(x) can be defined by the Rodrigues formula in Equation (4) as

${\displaystyle R_{n}^{(\alpha ,\beta )}(x)\equiv {\frac {1}{w^{(\alpha ,\beta )}(x)}}{\frac {{\rm {d}}^{n}}{{\rm {d}}x^{n}}}\left(w^{(\alpha ,\beta )}(x)s(x)^{n}\right),}$

(10)

where w^(α,β) is the same weight function as in (2), and s(x) = 1 + x² is the coefficient of the second derivative of the hypergeometric differential equation as in (1).

Note that we have chosen the normalization constants N_n = 1, which is equivalent to making a choice of the coefficient of highest degree in the polynomial, as given by equation (5). It takes the form

${\displaystyle c_{n}={\frac {1}{n!}}\prod _{k=0}^{n-1}{\bigl (}2\beta (n-k)+n(n-1)-k(k-1){\bigr )},\quad n\geq 1.}$

(11)

Also note that the coefficient c_n does not depend on the parameter α, but only on β and, for particular values of β, c_n vanishes (i.e., for all the values

${\displaystyle \beta ={\frac {k(k-1)-n(n-1)}{2(n-k)}}}$

where k = 0, ..., n − 1). This observation poses a problem addressed below.

For later reference, we write explicitly the polynomials of degree 0, 1, and 2,

${\displaystyle {\begin{aligned}R_{0}^{(\alpha ,\beta )}(x)&=1,\\[6pt]R_{1}^{(\alpha ,\beta )}(x)&={\frac {1}{w^{(\alpha ,\beta )}(x)}}\left(w'^{(\alpha ,\beta )}(x)s(x)+s'(x)w^{(\alpha ,\beta )}(x)\right)\\[6pt]&=t^{(\alpha ,\beta )}(x)=2\beta x+\alpha ,\\[6pt]R_{2}^{(\alpha ,\beta )}(x)&={\frac {1}{w^{(\alpha ,\beta )}(x)}}{\frac {\mathrm {d} }{{\mathrm {d} }x}}\left(s^{2}(x)w'^{(\alpha ,\beta )}(x)+2s(x)s'(x)w^{(\alpha ,\beta )}(x)\right)\\&={\frac {1}{w^{(\alpha ,\beta )}(x)}}{\frac {\mathrm {d} }{{\mathrm {d} }x}}\left(s(x)w^{(\alpha ,\beta )}(x)\left(t^{(\alpha ,\beta )}(x)+s'(x)\right)\right)\\[6pt]&=\left(2x+t^{(\alpha ,\beta )}(x)\right)t^{(\alpha ,\beta )}(x)+\left(2+t'^{(\alpha ,\beta )}(x)\right)s(x)\\[6pt]&=(2\beta +1)(2\beta +2)x^{2}+2(2\beta +1)\alpha x+\left(2\beta +\alpha ^{2}+2\right),\end{aligned}}}$

which derive from the Rodrigues formula (10) in conjunction with Pearson's ODE (3).

Orthogonality

The two polynomials, R^(α,β)
_m(x) and R^(α,β)
_n(x) with m ≠ n, are orthogonal,^[3]

${\displaystyle \int _{-\infty }^{+\infty }w^{(\alpha ,\beta )}(x)R_{m}^{(\alpha ,\beta )}(x)R_{n}^{(\alpha ,\beta )}(x)=0}$

(12)

if and only if,

${\displaystyle m+n<1-2\beta .}$

(13)

In other words, for arbitrary parameters, only a finite number of Romanovski polynomials are orthogonal. This property is referred to as finite orthogonality. However, for some special cases in which the parameters depend in a particular way on the polynomial degree infinite orthogonality can be achieved.

This is the case of a version of equation (1) that has been independently encountered anew within the context of the exact solubility of the quantum mechanical problem of the trigonometric Rosen–Morse potential and reported in Compean & Kirchbach (2006).^[17] There, the polynomial parameters α and β are no longer arbitrary but are expressed in terms of the potential parameters, a and b, and the degree n of the polynomial according to the relations,

${\displaystyle {\begin{aligned}\alpha \to \alpha _{n}={\frac {2b}{n+1+a}},\quad \beta \to \beta _{n}=-(a+n+1)+1,\quad n=0,1,2,\ldots ,\infty .\end{aligned}}}$

(14)

Correspondingly, λ_n emerges as λ_n = −n(2a + n − 1), while the weight function takes the shape

${\displaystyle \left(1+x^{2}\right)^{-(a+n+1)}\exp \left(-{\frac {2b}{n+a+1}}\operatorname {arccot} x\right).}$

Finally, the one-dimensional variable, x, in Compean & Kirchbach (2006)^[17] has been taken as

${\displaystyle x=\cot \left({\frac {r}{d}}\right),}$

where r is the radial distance, while ${\displaystyle d}$ is an appropriate length parameter. In Compean & Kirchbach^[17] it has been shown that the family of Romanovski polynomials corresponding to the infinite sequence of parameter pairs,

${\displaystyle \left(\alpha _{1},\beta _{1}\right),\left(\alpha _{2}\beta _{2}\right),\ldots ,\left(\alpha _{n}\beta _{n}\right),\ldots ,\quad n\longrightarrow \infty ,}$

(15)

is orthogonal.

Generating function

In Weber (2007)^[18] polynomials Q^{(α_n, β_n + n)}
_ν(x), with β_n + n = −a, and complementary to R^{(α_n, β_n)}
_n(x) have been studied, generated in the following way:

${\displaystyle Q_{\nu }^{\left(\alpha _{n},\beta _{n}+n\right)}(x)={\frac {1}{w^{\left(\alpha _{n},\beta _{n}+n-\nu \right)}}}{\frac {{\mathrm {d} }^{\nu }}{{\mathrm {d} }x^{\nu }}}w^{\left(\alpha _{n},\beta _{n}\right)}(x)\left(1+x^{2}\right)^{n}.}$

(16)

In taking into account the relation,

${\displaystyle w^{\left(\alpha _{n},\beta _{n}\right)}(x)\left(1+x^{2}\right)^{\delta }=w^{\left(\alpha _{n},\beta _{n}+\delta \right)}(x),}$

(17)

Equation (16) becomes equivalent to

${\displaystyle {\begin{aligned}Q_{\nu }^{\left(\alpha _{n},\beta _{n}+n\right)}(x)&={\frac {1}{w^{\left(\alpha _{n},\beta _{n}+n-\nu \right)}}}{\frac {{\mathrm {d} }^{\nu }}{{\mathrm {d} }x^{\nu }}}w^{\left(\alpha _{n},\beta _{n}+n-\nu \right)}(x)\left(1+x^{2}\right)^{\nu }\\[4pt]&=R_{\nu }^{\left(\alpha _{n},\beta _{n}+n-\nu \right)}(x),\end{aligned}}}$

(18)

and thus links the complementary to the principal Romanovski polynomials.

The main attraction of the complementary polynomials is that their generating function can be calculated in closed form.^[19] Such a generating function, written for the Romanovski polynomials based on Equation (18) with the parameters in (14) and therefore referring to infinite orthogonality, has been introduced as

${\displaystyle G^{\left(\alpha _{n},\beta _{n}\right)}(x,y)=\sum _{\nu =0}^{\infty }R_{\nu }^{\left(\alpha _{n},\beta _{n}+n-\nu \right)}(x){\frac {y^{\nu }}{\nu$ !}}.}

(19)

The notational differences between Weber^[18] and those used here are summarized as follows:

• G^{(α_n, β_n)}(x,y) here versus Q(x,y;α,−a) there, α there in place of α_n here,
• a = −β_n − n, and
• Q^(α,−a)
  _ν(x) in Equation (15) in Weber^[18] corresponding to R^{(α_n, β_n + n − ν)}
  _ν(x) here.

The generating function under discussion obtained in Weber^[18] now reads:

${\displaystyle G^{(\alpha _{n},\beta _{n})}(x,y)=\left(1+x^{2}\right)^{-\beta _{n}-n+1}\exp \left(\alpha _{n}\operatorname {arccot} x\right)\left(1+\left(x+y\left(1+x^{2}\right)\right)^{2}\right)^{-\left(-\beta _{n}-n+1\right)}\exp \left(-\alpha _{n}\operatorname {arccot} \left(x+y\left(1+x^{2}\right)\right)\right.}$

(20)

Recurrence relations

Recurrence relations between the infinite orthogonal series of Romanovski polynomials with the parameters in the above equations (14) follow from the generating function,^[18]

${\displaystyle \nu {\bigl (}\nu +1-2(\beta _{n}+n){\bigr )}R_{\nu -1}^{\left(\alpha _{n},\beta _{n}+n-\nu +1\right)}(x)+{\frac {\mathrm {d} }{{\mathrm {d} }x}}R_{\nu }^{\left(\alpha _{n},\beta _{n}+n-\nu \right)}(x)=0,}$

(21)

and

${\displaystyle R_{\nu +1}^{\left(\alpha _{n},\beta _{n}+n-\nu -1\right)}(x)={\bigl (}\alpha _{n}-2x(-\beta _{n}-n+\nu +1){\bigr )}R_{\nu }^{\left(\alpha _{n},\beta _{n}+n-\nu \right)}-\nu \left(1+x^{2}\right){\bigl (}2(-\beta _{n}-n)+\nu +1{\bigr )}R_{\nu -1}^{\left(\alpha _{n},\beta _{n}+n-\nu +1\right)},}$

(22)

as Equations (10) and (23) of Weber (2007)^[18] respectively.

See also

• Associated Legendre functions
• Gaussian quadrature
• Gegenbauer polynomials
• Legendre rational functions
• Turán's inequalities
• Legendre wavelet
• Jacobi polynomials
• Legendre polynomials
• Spherical harmonics
• Trigonometric Rosen–Morse potential

References

1. Romanovski, V. (1929). "Sur quelques classes nouvelles de polynomes orthogonaux". C. R. Acad. Sci. Paris (in French). 188: 1023–1025.
2. Routh, E. J. (1884). "On some properties of certain solutions of a differential equation of second order". Proc. London Math. Soc. 16: 245. doi:10.1112/plms/s1-16.1.245.
3. Raposo, A. P.; Weber, H. J.; Álvarez Castillo, D. E.; Kirchbach, M. (2007). "Romanovski polynomials in selected physics problems". Cent. Eur. J. Phys. 5 (3): 253–284. arXiv:0706.3897. Bibcode:2007CEJPh...5..253R. doi:10.2478/s11534-007-0018-5. S2CID 119120266.
4. Lesky, P. A. (1996). "Endliche und unendliche Systeme von kontinuierlichen klassischen Orthogonalpolynomen". Z. Angew. Math. Mech. (in German). 76 (3): 181. Bibcode:1996ZaMM...76..181L. doi:10.1002/zamm.19960760317.
5. Abramowitz, M.; Stegun, I. (1972). Handbook of Mathematical Functions with Formulas, Graphs and Mathematical Tables (2nd ed.). New York, NY: Dover. ISBN 978-0-486-61272-0.
6. Nikiforov, Arnol'd F.; Uvarov, Vasilii B. (1988). Special Functions of Mathematical Physics: A Unified Introduction with Applications. Basel: Birkhäuser Verlag. ISBN 978-0-8176-3183-3.
7. Szego, G. (1939). Orthogonal Polynomials. Colloquium Publications. Vol. 23 (1st ed.). Providence, RI: American Mathematical Society. ISBN 978-0-8218-1023-1.
8. Ismail, Mourad E. H. (2005). Classical and Quantum Orthogonal Polynomials in One Variable. With two chapters by Walter V. Assche. Cambridge: Cambridge University Press. ISBN 978-0-521-78201-2.
9. Askey, R. (1987). "An integral of Ramanujan and orthogonal polynomials". Journal of the Indian Mathematical Society. 51 (1–2): 27.
10. Askey, R. (1989). "Beta integrals and the associated orthogonal polynomials". In Alladi, Krishnaswami (ed.). Number Theory, Madras 1987: Proceedings of the International Ramanujan Centenary Conference, Held at Anna University, Madras, India, December 21, 1987. Lecture Notes in Math. Vol. 1395. Berlin: Springer-Verlag. pp. 84–121. doi:10.1007/BFb0086401. ISBN 978-3-540-51595-1.
11. Zarzo Altarejos, A. (1995). Differential Equations of the Hypergeometric Type (PhD) (in Spanish). Faculty of Science, University of Granada.
12. Witte, N. S.; Forrester, P. J. (2000). "Gap probabilities in finite and scaled Cauchy random matrix ensembles". Nonlinearity. 13 (6): 13–1986. arXiv:math-ph/0009022. Bibcode:2000Nonli..13.1965W. doi:10.1088/0951-7715/13/6/305. S2CID 7151393.
13. Forrester, P. J. (2010). Log-Gases and Random Matrices. London Mathematical Society Monographs. Princeton: Princeton University Press. ISBN 978-0-691-12829-0.
14. Cotfas, N. (2004). "Systems of orthogonal polynomials defined by hypergeometric type equations with application to quantum mechanics". Cent. Eur. J. Phys. 2 (3): 456–466. arXiv:math-ph/0602037. Bibcode:2004CEJPh...2..456C. doi:10.2478/bf02476425. S2CID 15594058.
15. Weisstein, Eric W. "Jacobi Differential Equation". MathWorld.
16. Kuijlaars, A. B. J.; Martinez-Finkelshtein, A.; Orive, R. (2005). "Orthogonality of Jacobi polynomials with general parameters". Electron. Trans. Numer. Anal. 19: 1–17. arXiv:math/0301037. Bibcode:2003math......1037K.
17. Compean, C. B.; Kirchbach, M. (2006). "The trigonometric Rosen–Morse potential in supersymmetric quantum mechanics and its exact solutions". J. Phys. A: Math. Gen. 39 (3): 547–558. arXiv:quant-ph/0509055. Bibcode:2006JPhA...39..547C. doi:10.1088/0305-4470/39/3/007. S2CID 119742004.
18. Weber, H. J. (2007). "Connection between Romanovski polynomials and other polynomials". Central European Journal of Mathematics. 5 (3): 581. arXiv:0706.3153. doi:10.2478/s11533-007-0014-4. S2CID 18728079.
19. Weber, H. J. (2007). "Connections between real polynomial solutions of hypergeometric-type differential equations with Rodrigues formula". Central European Journal of Mathematics. 5 (2): 415–427. arXiv:0706.3003. doi:10.2478/s11533-007-0004-6. S2CID 115166725.