Next Article in Journal
Accelerated Numerical Simulations of a Reaction-Diffusion- Advection Model Using Julia-CUDA
Previous Article in Journal
Inverse Problem of Identifying a Time-Dependent Source Term in a Fractional Degenerate Semi-Linear Parabolic Equation
Previous Article in Special Issue
Two-Variable q-General-Appell Polynomials Within the Context of the Monomiality Principle
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Exceptional Differential Polynomial Systems Formed by Simple Pseudo-Wronskians of Jacobi Polynomials and Their Infinite and Finite X-Orthogonal Reductions

Independent Researcher, Silver Spring, MD 20904, USA
Mathematics 2025, 13(9), 1487; https://doi.org/10.3390/math13091487
Submission received: 20 March 2025 / Revised: 21 April 2025 / Accepted: 25 April 2025 / Published: 30 April 2025
(This article belongs to the Special Issue Polynomials: Theory and Applications, 2nd Edition)

Abstract

:
The paper advances a new technique for constructing the exceptional differential polynomial systems (X-DPSs) and their infinite and finite orthogonal subsets. First, using Wronskians of Jacobi polynomials (JPWs) with a common pair of the indexes, we generate the Darboux–Crum nets of the rational canonical Sturm–Liouville equations (RCSLEs). It is shown that each RCSLE in question has four infinite sequences of quasi-rational solutions (q-RSs) such that their polynomial components from each sequence form a X-Jacobi DPS composed of simple pseudo-Wronskian polynomials (p-WPs). For each p-th order rational Darboux Crum transform of the Jacobi-reference (JRef) CSLE, used as the starting point, we formulate two rational Sturm–Liouville problems (RSLPs) by imposing the Dirichlet boundary conditions on the solutions of the so-called ‘prime’ SLE (p-SLE) at the ends of the intervals (−1, +1) or (+1, ∞). Finally, we demonstrate that the polynomial components of the q-RSs representing the eigenfunctions of these two problems have the form of simple p-WPs composed of p Romanovski–Jacobi (R-Jacobi) polynomials with the same pair of indexes and a single classical Jacobi polynomial, or, accordingly, p classical Jacobi polynomials with the same pair of positive indexes and a single R-Jacobi polynomial. The common, fundamentally important feature of all the simple p-WPs involved is that they do not vanish at the finite singular endpoints—the main reason why they were selected for the current analysis in the first place. The discussion is accompanied by a sketch of the one-dimensional quantum-mechanical problems exactly solvable by the aforementioned infinite and finite EOP sequences.

1. Introduction

In the recently published paper [1] the author presented the systematic analysis of the Xm–Jacobi ‘differential polynomial systems’ (DPSs), with the term ‘DPS’ used in exactly the same sense as it was done by Everitt et al. [2,3] for the conventional polynomial sequences satisfying the (generally complex) second-order differential equations with polynomial coefficients (PDEs). The polynomial sequences are referred to as ‘exceptional’ [4,5], since each sequence either does not start from a constant or lacks the first-degree polynomial; the discovered polynomials are not covered by Bochner’s classical proof [6]. As initially stressed by Kwon and Littlewood [7], Bochner himself did not mention the orthogonality of the polynomial systems that he found, and made no attempt to expand his argumentation to the real field—the problem initially analyzed in the ‘ill-fated’ [8] paper by Routh [9].
It has been proven by Kwon and Littlejohn [7] more recently that all the real field reductions of the complex DPSs constitute quasi-definite orthogonal polynomial sequences [10], and for this reason, the cited authors refer to the latter as ‘OPSs’. However, this is not true for the X-DPSs, and we thus preserve the term ‘X-OPS’ solely for the sequences formed by positively definite orthogonal polynomials.
By further advancing the formalism put forward in [1], we then apply the sequential rational Rudjak–Zakhariev [11] transformations (RRZTs) to construct the new RCSLEs with quasi-rational solutions (q-RSs). For convenience, we sketch the main features of the generic Rudjak–Zakhariev transformations (RZTs) in Appendix A. We term a RZT rational if it uses a quasi-rational transformation function (q-RTF).
We then take advantage of Schulze–Halberg’s formalism for the so-called ‘foreign auxiliary equations’ [12] to generalize the notion of the Darboux–Crum [13,14] transformations (DCTs) to the CSLEs. It is proven in Appendix B that sequential RZTs give rise to the DCT defined in the aforementioned way. Again, we refer to a DCT of the RCSLE as ‘rational’ (RDCT) if it uses quasi-rational seed functions. Below, these seed functions are represented by the four infinite sequences of the quasi-rational solutions (q-RSs) of the Jacobi-reference (JRef) CSLE, which is defined via (1)–(3) in Section 2.
In this paper, we focus solely on the RDCTs using quasi-rational seed functions with polynomial components formed by Jacobi polynomials with a common pair of the indexes λ , λ + [15]. The resultant net of the RCSLEs is introduced in Section 4. However, before switching the discussion to these RCSLEs, we found it useful to draw the reader’s attention to one of most important element of our technique for generating infinite and finite sequences of exceptional orthogonal polynomials (EOPs), which has been already utilized in [1] for constructing rational Darboux transforms ( RD T s ) of the Romanovski–Jacobi (R–Jacobi) polynomials [16,17,18].
Namely, to formulate the Sturm–Liouville problem (SLP), we introduce the so-called [19] ‘prime’ SLEs (p-SLEs) chosen in such a way that the two characteristic exponents (ChExps) for the poles at the endpoints differ only by sign. As a result, the energy spectrum of the given Sturm–Liouville problem can be obtained by solving the given p-SLE under the Dirichlet boundary conditions (DBCs). This, in turn, allows one to take advantage of the rigorous theorems proven in [20] for eigenfunctions of the generic SLE solved under the DBCs.
In Section 3, we introduce the prime forms of the JRef CSLE on the orthogonalization intervals (−1, +1) and (1, ∞) and then make use of the DBCs to select quasi-rational principal Frobenius solutions (q-RPFSs) near the singular endpoints in question. Our main interests lie in the q-RPFSs lying below the lowest eigenvalue of the JRef CSLEs. We have already used these solutions as the q-RTFs in [1] to construct infinite and finite subsets of Xm-Jacobi DPSs. In this paper, we extend this approach to the RDCTs, using the sequential RRZTs to generate sequences of q-RPFSs (see Appendix B for details).
In Section 5, we again take advantage of Schulze-Halberg’s [12] technique to show that the RCSLEs constructed in Section 4 have four infinite sequences of the q-RSs with the polynomial components. While one of these sequences is formed by Jacobi polynomial Wronskians (JPWs), the polynomial components of the three others are represented by the so-called [1] ‘simple’ pseudo-Wronskian polynomials (p-WPs). Namely, we refer to a pseudo-Wronskian of Jacobi polynomials [21] as ‘simple’ if only a single polynomial in the given set of seed Jacobi polynomials has at least one Jacobi index with a different sign (compared with the sign of the common index of other Jacobi polynomials in the given set). As proven in Section 6, the simple p-WPs obey the Fuchsian differential equations with polynomial coefficients (FPDE), forming a X-Jacobi DPS. We have here a very specific example of Durán’s fundamental theory of the X-Jacobi OPSs [22].
Section 7 constitutes the culminating point of our analysis. Namely, we prove that the rational Darboux-Crum transform ( RDC T ) of eigenfunctions of the Jacobi p-SLEs on either finite or infinite interval in question represent the quasi-rational eigenfunctions of the corresponding Dirichlet problem formulated for the given RDC T of the JRef CSLE and therefore the polynomial components of these q-RSs form an orthogonal polynomial set satisfying (by the way it is constructed) to the FPDE.
While the RDC T s of the classical Jacobi polynomials have been thoroughly covered in [22], the admissibility of the JPWs on the infinite interval (1, ∞) represent the important new result. In Section 7.1, we thus verify our conclusions based on the more general theorems proven in [22] and then formulate the novel approach to the theory of the RDC T s of the R-Jacobi polynomials.
Theorems proven in Section 7 are heavily based on the two cornerstones of the developed formalism thoroughly justified in Appendix C and Appendix D. Namely, Appendix C presents the proof that the RRZ T of the q-RPFS itself is the q-RPFs of the transformed RCSLE. In Appendix D we use this very broad result to prove that the latter RCSLE is exactly solvable and therefore the mentioned q-RPF lies below the lowest eigenvalue. This result in turn lays down the foundation for our crucial proof that the JPWs of our choice do not have zeros inside the given orthogonalization interval.
We illustrate this assertion in Appendix E, using the second-degree JPW as an example.

2. Four Distinguished Infinite Sequences of q-RSs

Let us start our analysis with the Jacobi-reference (JRef) CSLE
d 2 d η 2 + I o [ η ; λ o ] + sgn ( 1 η 2 ) ε ρ [ η ] Φ [ η ; λ o ; ε ] = 0 ,
with the single pole density function
ρ [ η ] : = 1 | η 2 1 | ,
and the reference polynomial fraction (RefPF) parameterized as follows:
I o [ η ; λ o ] = ± 1 λ o ; 2 4 ( 1 η ) 2 + 1 λ o ; + 2 λ o ; 2 4 ( 1 η 2 ) ,
= 1 2 ( 1 η 2 ) = ± 1 λ o ; 2 1 η 1 4 ( 1 η 2 ) ,
where λ o ; ± are the ExpDiffs for the poles at ±1 and the energy reference point is chosen by the requirement that the ExpDiff for the singular point at infinity vanishes at zero energy, i.e.,
lim | η | η 2 I o [ η ; λ o ] = 1 4 .
The energy sign is chosen in such a way
sgn ( ε ) = sgn ( 1 η 2 )
that the sought-for eigenvalues are positive (negative) when the Sturm-Liouville problem in question is formulated on the finite interval 1 < η < 1 (or, respectively on the positive infinite interval 1 < η < ). An analysis of solutions of the CSLE (1) on the negative infinite interval < η < 1 can be skipped without loss of generality due to the symmetry of the RefPF (2) under reflection of its argument, accompanied by the interchange of the exponents differences (ExpDiffs) λ o ; ± for the CSLE poles at ±1.
Let us now consider the gauge transformation
Φ [ η ; λ o ; ε ] = ϕ 0 [ η ; λ o ] F [ η ; λ o ; ε ] ,
where
ϕ 0 [ η ; λ ] : = ( 1 + η ) 1 2 ( λ + 1 ) | 1 η | 1 2 ( λ + + 1 ) ( 1 < η 1 ) .
Keeping in mind that
ld ϕ 0 [ η ; λ ] : = ϕ 0 [ η ; λ ] / ϕ 0 [ η ; λ ] = λ + 1 2 ( η + 1 ) + λ + + 1 2 ( η 1 ) ,
coupled with (3), one finds
ϕ 0 [ η ; λ ] / ϕ 0 [ η ; λ ] = ld 2 ϕ 0 [ η ; λ ] + ld ϕ 0 [ η ; λ ]
= I o [ η ; λ o ] ( λ + λ + + 1 ) 2 4 ( 1 η 2 ) ,
with dot standing for the derivative with respect to η., i.e., the quasi-rational function (8) is the solution of the JRef CSLE at |ε| equal to
ε 0 ( λ ) = 1 4 ( λ + λ + + 1 ) 2 .
It then directly follows from the identity
Φ [ η ; λ ; ε ] / ϕ 0 [ η ; λ ] I o [ η ; λ o ] + ε 0 ( λ ) 1 η 2 F [ η ; λ ; ε ] + F [ η ; λ ; ε ] + 2 ld ϕ 0 [ η ; λ ] × F [ η ; λ ; ε ] ,
that the function (7) satisfies the FPDE
( η 2 1 ) d 2 d η 2 + 2 P 1 ( λ + , λ ) ( η ) d d η + 1 4 ( λ + λ + + 1 ) 2 | ε | × F [ η ; λ ; ε ] = 0
with the polynomial coefficients. It is essential that the resultant FPDE is well-defined for any real values of the variable η, including the border points | λ | = 1 or | λ + | = 1 between the LP and LC regions (which require a special attention and were sidelined for this reason in our current discussion). The FPDE (14) turns into the conventional Jacobi equation
( η 2 1 ) P m ( λ + , λ ) ( η ) + 2 P 1 ( λ + , λ ) ( η ) P m ( λ + , λ ) ( η ) + m ( λ + + λ + m + 1 ) P m ( λ + , λ ) ( η ) = 0
at the energies
| ε | = ε m ( λ ) = 1 4 ( λ + + λ + 2 m + 1 ) 2 .
In following [2,3], we say that the polynomials in question form the Jacobi DPS.
Note that, in addition with the renowned polynomial solutions, the FPDE (14) has 3 other infinite sequences of the q-RSs listed in Table 1 in [22] (or Table 2 in [23]). It is worth pointing out to the difference in our terminology, compared with that in [22,23]. Namely, we restrict the term ‘eigenfunction’ only to a solution of a Sturm–Liouville problem (SLP), i.e., in our terms only the classical Jacobi polynomials constitute the eigenfunctions of the Sturm–Liouville differential expression (15), assuming that the corresponding polynomial SLP (PSLP] is formulated on the interval (−1, +1), using the boundary conditions (10) in [24].
By choosing
λ , λ + , λ + λ + + m k   f o r   a n y   p o s i t i v e   i n t e g e r   k m
(see §4.22(3) in [25]), we assure that the Jacobi polynomial in question has exactly m simple zeros η l ( λ ; m ) , i.e., using its monic form,
P ^ m ( λ + , λ ) ( η ) = Π m [ η ; η ¯ ( λ ; m ) ] ,
where by definition
Π m [ η ; η ¯ ] : = l = 1 m [ η η l ] .
It is crucial that the Jacobi indexes do not depend on the polynomial degree, in contrast with the general case [26,27]. This remarkable feature of the CSLE under consideration is the direct consequence of the fact that the density function (2) has only simple poles in the finite plane [15] and as a result the ExpDiffs for the CSLE poles at ±1 become energy independent [28].
We conclude that the JRef CSLE with the density function (2) has four infinite sequences of the q-RSs
ϕ m [ η ; λ ] = | 1 + η | 1 2 ( λ + 1 ) | 1 η | 1 2 ( λ + + 1 ) P m ( λ + , λ ) ( η ) ( | λ ± | = λ o ; ± )
at the energies (16), with the vector parameter λ restricted to the one of the four quadrants for each sequence.
Each infinite sequence starts from the q-RS (8) with λ restricted to the corresponding quadrant. Substituting (9) into the identity
ϕ 0 [ η ; λ ] / ϕ 0 [ η ; λ ] ld 2 ϕ 0 [ η ; λ ] + ld ϕ 0 [ η ; λ ] ,
where the symbolic expression ld f[η] denotes the logarithmic derivative of the function f[η], we find that the function (8) is the solution of the Riccati equation
ld ϕ 0 [ η ; λ ] ld 2 ϕ 0 [ η ; λ ] + I o [ η ; λ ] + ε 0 ( λ ) 1 η 2 = 0 .

3. Use of ‘Prime’ Forms of JRef CSLE to Select q-RPFSs

The gauge transformation
Ψ p [ η ; λ ; ε ] = p 1 2 [ η ; λ ] Φ [ η ; λ ; ε ] ,
with an arbitrarily chosen positive function p [ η ] , converts the JRef CSLE (1) into the SLE of the generic form:
{ d d η p [ η ; λ ] d d η q p [ η ; λ ] + sgn ( 1 η 2 ) ε w p [ η ; λ ] } Ψ [ η ; λ ; ε ] = 0 ,
with the weight
w p [ η ; λ ] : = ρ [ η ] / p [ η ; λ ] .
The PF representing the zero-energy free term is given by the following generic formula [19]:
q p [ η ; λ ] = p [ η ; λ ] I o [ η ; λ ] + I { p [ η ; λ ] }
with
I ˜ { f [ η ] } : = 1 4 f 2 [ η ] / f [ η ] 1 2 f [ η ]
and the sign of the sought-for spectral parameter ε is dictated by the constraint (6).
Let us choose the leading coefficient function in such a way:
p [ η ] = p [ η ] : = 1 η 2 for 1 < η < + 1 , η 1 for η > 1
that the SLP of our interest can be formulated as the Dirichlet problem:
lim η η ψ j [ η ; λ ] = 0
at the ends of the given interval of orthogonalization η = 1 or η = 1 , η + = . It has been proven in [20] that the eigenfunctions of this Dirichlet problem must be square-integrable:
η η + d η ψ j 2 [ η ; λ ] w [ η ] < ,
and mutually orthogonal:
η η + d η ψ j [ η ; λ ] ψ j [ η ; λ ] w [ η ] = 0 ( j j ) ,
with the weight
w [ η ] : = w p [ η ] = 1 for 1 < η < + 1 , ( 1 + η ) 1 < 1 2 for η > 1 .
Due to the very special choice of the leading coefficient function (28) for the p-SLE (24), the two ChExps for each singular endpoint differ by sign, while having exactly the same absolute value, which assures [19] that each DBC unambiguously selects PFS near the given end. In other words, the DBCs (28) unequivocally determine the PFSs nea both singular ends of the given interval of orthogonalization.
Substituting (28) into (27) gives [29]:
I { p [ η ] } = ( 1 η 2 ) 1 for 1 < η < + 1 , 1 4 ( η 1 ) 1 for η > 1 ,
which shows the free-energy term of the p-SLE with the leading coefficient function (28) has simple poles in the finite plane.
As illuminated in Section 7, the concept of the p-SLEs allows one to select the sequences of the nodeless PFSs, which assures that the corresponding ‘X-Bochner operators’ (in terms of [30]) are regular inside the given orthogonalization interval. This is one of the most important achievements of this paper.

3.1. Dirichlet Problem on Interval (−1, +1)

The crucial advantage of representing the conventional Jacobi equation in the p-SLE form is that the q-RS
ψ j [ η ; λ ] = ( 1 + η ) 1 2 λ ( 1 η ) 1 2 λ + P j ( λ + , λ ) ( η )
represents the PFS near the poles at 1 iff the corresponding Jacobi index λ is positive. In particular, the q-RSs
ψ j [ η ; λ o ] = ( 1 + η ) 1 2 λ o ; ( 1 η ) 1 2 λ o ; + P j ( λ o ; + , λ o ; ) ( η ) ( 1 < η < 1 )
formed by the classical Jacobi polynomials with positive indexes necessarily satisfy the DBCs at 1 and as a result constitute the eigenfunctions of the given Dirichlet problem. The orthogonality relations (30) thus turn into the conventional orthogonality relations for the classical Jacobi polynomials
1 + 1 d η P j ( λ o ; + , λ o ; ) ( η ) P j ( λ o ; + , λ o ; ) ( η ) W m [ η ; λ o ] = 0 ( j j )
with the weight function
W m [ η ; λ ] : = ( 1 + η ) λ ( 1 η ) λ +   f o r 1 < η < 1 .
Since the (j + 1)-th solution has exactly j zeros between −1 and +1 and the positive eigenvalues converges to 0 as the polynomial degree tends to infinity, the Dirichlet problem in question may not have any other eigenfunctions.
One still needs to prove that the q-RSs (34) form the complete set of the eigenfunctions of the given Dirichlet problem. This can be performed, for example, by converting the JRef CSLE (1) to the hypergeometric equation on the interval (0, +1) and then follow the arguments presented by the author [26] for the exactly solvable JRef CSLE with the properly chosen density function.
On other hand, choosing
p [ η ; λ ] : = ( 1 η 2 ) W [ η ; λ ] = ( 1 + η ) λ + 1 ( 1 η ) λ + + 1 ,
we come to the Sturm–Liouville form [31] of the Jacobi equation:
{ d d η p [ η ; λ ] d d η q p [ η ; λ ] + ε j ( λ ) W [ η ; λ ] } P j ( λ + , λ ) ( η ) = 0 .
It is crucial that the leading coefficient function (38) for λ > 1 vanishes at the ends of the interval [−1, +1], which assures that the ‘generalized’ [32] Wronskian (g-W) of two classical Jacobi polynomials
W p { P j ( λ + , λ o ; ) ( η ) , P j ( λ + , λ ) ( η ) } : = p [ η ; λ ] W { P j ( λ + , λ o ; ) ( η ) , P j ( λ + , λ ) ( η ) } f o r 0 j < j j max
vanishes at ±1.
Our next step is first to consider all the q-RSs of the given p-SLE, which vanish at one of the endpoints of the infinite interval (−1, +1) and then select the subsets of the collected PFSs below the lowest eigenvalue.
Since our approach allows one to formulate the spectral problem only for positive values of the Jacobi indexes, this limitation restricts one’s ability to construct the X-Jacobi OPSs formed by the RDC T s of the classical Jacobi polynomials with negative indexes, as it has already become clear from our analysis [1] of the Xm-Jacobi OPSs. However, as demonstrated in [1], the certain advantage of our approach is that it allows one to treat in parallel the RSLPs for both intervals (−1, +1) and (1, ∞) and moreover to prove that the RDC T s of the PFSs of the JRef CSLE are themselves the PFSs of the resultant RCSLEs. We refer the reader to Appendix C, where we present the proof of the latter assertion representing one of the pillars of our formalism.
In following our olden study [33] on the Darboux transforms ( D T s ) of radial potentials, we use the letters a and b to specify the PFS near the singular endpoints 1 (cases I and II in Quesne’s [34] commonly used classification scheme of q-RSs. According to their behavior near the endpoints). We use the letters c and d [33] to identify the n c ˜ eigenfunctions and, respectively all the q-RSs (34) not vanishing at both ends (case III in Quesne’s classification scheme). For the given SLP there is the one-to-one correlation between the labels t = a , b ,   c ,   d and the sign σ of the Jacobi indexes λ , as specified in Table 1.
Re-writing the dispersion Formula (16) for σ = ± as
ε ± , m ( λ ο ) = ( λ o ; ± λ o ; + 2 m 1 ) 2 ,
we find that the PFSs of either type a or type b lie below the lowest eigenvalue
ε c , 0 ( λ ο ) = ( λ o ; + λ o ; + + 1 ) 2 ,
iff
m < λ + = λ o ; +   ( λ = ± λ o ; ) ,
or
m < λ = λ o ;   ( λ = λ o ; ) ,
accordingly.
Using the Klein formulas [25], we have proved [28] that the m-degree Jacobi polynomial with the indexes λ and λ + does not have zeros between −1 and +1 iff
m 1 2 | λ | λ + | λ + | λ +
and
( ) m λ + 1 m λ + + 1 m = λ m m λ + + 1 m = λ + 1 m λ + m m > 0 ,
where ν m is the rising factorial [35]. One can easily verify that the latter conditions do hold under both constraints (43) and (44).

3.2. Dirichlet Problem on Interval (1, ∞)

Examination of the q-RSs
ψ j [ [ η ; λ o ; , λ o ; + ] = ( 1 + η ) 1 2 1 2 λ o ; ( η 1 ) 1 2 λ o ; + P j ( λ o ; + , λ o ; ) ( η )
reveals that they satisfy the DBCs at both ends of the interval (1, ∞) for
0 j < 1 2 ( λ o ; , λ o ; + 1 ) ,
And, therefore, represent the eigenfunctions of the RSLP in question, which brings us to the orthogonality relations
1 d η P j ( λ o ; + , λ o ; ) ( η ) P j ( λ o ; + , λ o ; ) ( η ) W m [ η ; λ o ] = 0     ( j j ) ,
with the weight function
W m [ η ; λ o ] : = ( 1 + η ) λ o ; ( η 1 ) λ o ; +   f o r   η > 1 .
One can easily verify that (49) is nothing but another form of the conventional orthogonality relations for the R-Jacobi polynomials
0 d z J j ( α , β ) ( z ) J j ( α , β ) ( z ) ω α , β [ z ] = 0     j j ,
with the weight function
ω α , β [ z ] : = z α ( z + 1 ) | β | for η [ 1 , )
under constraint α > 0, β < 0, where we adopted Askey’s [36] definition of the R–Jacobi polynomials which, as proven by Chen and Srivastava [37], is equivalent to the elementary formula
J n ( α , β ) ( z ) : = P n ( α , β ) ( 2 z + 1 ) for α > 1 , β + 2 n < 0 ,
with
z : = 1 2 ( η 1 ) .
Note that we [38] (see also [39]) changed the symbol R for J to avoid the confusion with R–Routh (Romanovski/pseudo-Jacobi [17,18]) polynomials denoted in the recent publications [40,41,42,43] by the same letter ‘R’.
Our next step is to determine all the q-RSs vanishing at one of the endpoints of the infinite interval [+1, +∞] and then select the subsets of the collected PFSs which lie below the lowest eigenvalue. To explicitly reveal the behavior of the Jacobi-seed (JS) q-RSs (54) near the singular endpoints in question, we label them as indicated in Table 2 below, with σ specifying either the decay (+) or growth (−) of the given JS at infinity.
To indicate that the classification of the JS solutions is done on the infinite interval (1, ∞), we underline the symbol t by tilde. We then mark the given symbol by prime if the polynomial components of the given sequence of the q-RSs do not include a constant. (Note that the ‘secondary’ sequences of such a type do not exist for the potentials with infinitely many discrete energy levels which were the focal point of Quesne’s analysis [34]).
By definition
ε ˜ t ˜ σ , m , m ( λ ο ) ε σ , m ( λ ο ) .
Note that the PFSs of the series b ˜ may exist only if the SLE does not have the discrete energy spectrum. We thus need to consider the three sequences of the quasi-rational PFSs: two ‘primary’ (starting from m = 0) sequences a ˜ and b ˜ as well as the infinite ‘secondary’ sequence a ˜ (starting from m = n c ˜ ).
The primary sequence a ˜ is formed by classical Jacobi polynomials and consequently may not have zeros between 1 and ∞. As expected, all the PFSs of this type lie at the energies.
ε ˜ a ˜ , m ( λ ο ) ε + + , m ( λ ο )
below the lowest eigenvalue
ε ˜ c ˜ , 0 ( λ ο ) ε + , 0 ( λ ο ) .
The PFSs from the primary sequence b ˜ at the energies
ε ˜ b ˜ , m ( λ ο ) ε , m ( λ ο )
for
0 m < 1 2 ( λ o ; + λ o ; + 1 )
do not have real zeros larger than 1 iff
ε ˜ b ˜ , m ( λ ο ) ε ˜ c ˜ , 0 ( λ ο ) = 4 ( λ o ; m 1 ) ( λ o ; + m ) < 0 ,
i.e., iff
0 m < λ o ; + < λ o ; 1 .
Similarly, the PFSs from the secondary sequence a ˜ at the energies
ε ˜ a ˜ , m ( λ ο ) = ε + , m ( λ ο )   f o r   m n c ˜
do not have real zeros larger than 1 iff
ε ˜ a ˜ , m ( λ ο ) ε ˜ c ˜ , 0 ( λ ο ) = 4 m ( λ o ; + λ o ; + m + 1 ) < 0
or, in other words, iff
m > λ o ; λ o ; + 1 .

4. RDCTs of JRef SLE Using Seed Jacobi Polynomials with Common Pair of Indexes

We call the DCT rational if it uses quasi-rational seed functions. In this section, we focus solely on the RDCTs using the seed functions (20) with the common Jacobi indexes λ . Let us consider the RDCT using an arbitrary set of p seed functions,
M ¯ p : = m 1 , , m p .
Denoting the Jacobi polynomial Wronskian (JPW) as
W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ] : = W { P m k = 1 , , p ( λ + , λ ) ( η ) }
and substituting the Wronskian
W { ϕ m k = 1 , , p [ η ; λ ] } = ϕ 0 p [ η ; λ ] W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ]
into (A18), we come to the RCSLE
d 2 d η 2 + I o [ η ; λ | M ¯ p ] + sgn ( 1 η 2 ) ε ρ [ η ] Φ [ η ; λ ; ε | M ¯ p ] = 0
with the RefPF [12]
I o [ η ; λ | M ¯ p ] = I o [ η ; λ o ] + 2 p ρ [ η ] d d η ld ϕ 0 [ η ; λ ] ρ [ η ] p ( p 2 ) J { ρ [ η ] } + 2 ρ [ η ] d d η ld W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ] ρ [ η ] .
Let us now show that the first three summands can be then re-arranged as
I o [ η ; λ + p 1 ] = I o [ η ; λ o ] + 2 p ρ [ η ] d d η ld ϕ 0 [ η ; λ ] ρ [ η ] + 2 ρ [ η ] d d η ld W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ] ρ [ η ] p ( p 2 ) J { | 1 η 2 | }
and then prove that
I o [ η ; λ | M ¯ p ] = I o [ η ; λ + p 1 ] + 2 ld W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ] ld ρ [ η ] ld W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ]
which represents one of the most important results of this section. To prove (70), we first re-write the second summand in (69) as
2 p ρ [ η ] d d η ld ϕ 0 [ η ; λ ] ρ [ η ] = 2 p ld ϕ 0 [ η ; λ ] p ld ρ [ η ] ld ϕ 0 [ η ; λ ] .
Taking into account (9), coupled with
ld ρ [ η ] = 1 η + 1 1 η 1 ,
gives
2 p ρ [ η ] d d η ld ϕ 0 [ η ; λ ] ρ [ η ] = 2 p ld ϕ 0 [ η ; λ ] p ld ρ [ η ] ld ϕ 0 [ η ; λ ]
= p ( λ + + 1 ) 2 ( η 1 ) 2 p ( λ + 1 ) 2 ( η + 1 ) 2 + p ( λ + λ + + 2 ) 2 ( η 2 1 ) .
Combining (74) with the definition (3) of the RefPF of the JRef CSLE (1), and also taking into account that [29]
J { | 1 η 2 | } = 1 4 ( η 1 ) 2 + 1 4 ( η + 1 ) 2 1 2 ( η 2 1 ) ,
one can directly confirm that the three distinguished singularities appearing in the right-hand side of (74) can be grouped as follows
2 p ρ [ η ] d d η ld ϕ 0 [ η ; λ ] ρ [ η ] = I o [ η ; λ + p 1 ] I o [ η ; λ o ] + + p ( p 2 ) J { | 1 η 2 | } .
Before proceeding with the further analysis of the RefPF (70), let us first illuminate some remarkable features of the JPW (65). First, let us prove that the Wronskian of the Jacobi polynomials with the common positive integer does not vanish at the corresponding pole of the JRef CSLE (1), which simplifies the computation of the ExpDiffs for the pole of the RefPF (66) at this point.
Theorem 1. 
The JPW (65) is finite at the singular point  1  if  λ > 0 .
Proof. 
To verify this assertion, we take advantage of our generic observation that any DCT can be decomposed into the sequence of RZTs with the TFs given by the recurrence formulas (A19) in Appendix B. Making use of (66), one can easily verify that these TFs for the RDCTs under consideration have the following quasi-rational form
ϕ m p + 1 [ η ; λ | M ¯ p ] = ϕ 0 [ η ; λ ] W N ( M ¯ p + 1 ) ( λ + , λ ) [ η | M ¯ p + 1 ] ρ 1 2 p [ η ] W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ] ,
i.e., taking into account (2) and (8),
ϕ m p + 1 [ η ; λ | M ¯ p ] = ϕ 0 [ η ; λ + p 1 ] W N ( M ¯ p + 1 ) ( λ + , λ ) [ η | M ¯ p + 1 ] W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ] .
Let us assume that the JPW in the denominator of the PF on the right remains finite at 1 . Then examination of the RefPF (70), coupled with the definition of the Jref RefPF (3), reveals that the power exponent of η ± 1 in the numerator of the PF (78) coincides with the positive ChExp for the pole of the RCSLE (67) at 1 . Since the second ChExp, according to (3), is negative, the TF (78) necessarily represents the PFS near the pole in question if λ > 0 , and therefore the numerator of the PF may not have the zero at 1 . This completes the proof of Theorem 1 by mathematical induction, since the theorem necessarily holds for p = 1 due to the constraint (17) imposed on the seed Jacobi polynomial. □
In Appendix E, we explicitly confirm the theorem for the simplest second-degree JPW Wronskian formed by the Jacobi polynomials of degrees 1 and 2.
Corollary 1.
The Wronskian of the classical Jacobi polynomials with positive indexes may not have zeros at  1 .
As illuminated in Section 7.1, this corollary plays the crucial role in the theory of the RDC T s of the R-Jacobi polynomials using the quasi-rational seed functions formed by the classical Jacobi polynomials with positive indexes.
We were unable to prove Theorem 1 for the case when the 2D vector λ lies in the third quarter so we make the following assumption specifically for this case:
Corollary 2.
The JPW does not generally have zeros at  1 , regardless of the sign of  λ .
Proof. 
After representing the JPW as a polynomial in either η 1 or η + 1 (instead of η), let us take advantage of the fact that the common leading coefficient is the polynomial in both λ and λ + . According to Theorem 1, this coefficient remains finite at positive values of λ and therefore does not vanish identically for any values of λ , which completes the proof. □
In [1], we implicitly used this assumption to construct the finitely many sequences of the RD T s of the R-Jacobi polynomials using the TFs of type b ˜ ( λ < 0 , without going into more details.
As explained below, we also have to disregard some specially designed exceptions [44], when the quasi-rational function (77) becomes regular at the two poles of the RCSLE (67), which leads us to the following assertion:
Preposition 1.
As a rule, the JPWs in the numerator and denominator of the fraction (77) do not have common zeros.
Theorem 2.
The JPW in the numerator of the fraction (77) has only simple zeros as far as the Preposition 1 holds.
Proof. 
Based on our prepositions, any zero of the JPW in the numerator of the fraction (77) is a regular point of the RCSLE (67) and therefore the polynomial in question may not have zeros of order higher than 1. (Otherwise, the solution (77) of the RCSLE (67) and its first derivative would vanish at the same point which is possible only for the trivial solution identically equal to zero). □
Let
η ¯ ( λ | M ¯ p ) : = η l = 1 , , N ( M ¯ p ) ( λ | M ¯ p )
be the N ( M ¯ p ) zeros of the JPW (65), i.e.,
W ^ N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ] = Π N ( M ¯ p ) [ η ; η ¯ ( N ) ( λ | M ¯ p ) ] : = l = 1 N ( M ¯ p ) [ η η l ( λ | M ¯ p ) ]
Re-writing (72) as
ld ρ [ η ] = 2 η η 2 1
and taking into account that
Q [ η ; η ¯ ] : = ld Π m [ η ; η ¯ ] = l = 1 m 1 [ η η l ] 2 ,
we can decompose the RefPF (70) as follows
I o [ η ; λ | M ¯ p ] = I o [ η ; λ + p 1 ] l = 1 N ( M ¯ p ) 2 [ η η l ( λ | M ¯ p ) ] 2 + 2 η η 2 1 l = 1 N ( M ¯ p ) 1 η η l ( λ | M ¯ p ) ,
in agreement with (87) in [1] for p = 1.
The indicial equation for all the extraneous poles of the RCSLE (67) has exactly the same form:
ρ(ρ – 1) – 2 = 0.
The equation has two roots −1 and 2, which implies that the JPW in the numerator of the fraction (78) can formally have a zero of the third order [44]. However, as it becomes obvious from the analysis presented in [44], this is a relatively exotic case, when the solution becomes regular at two singular points, which will be simply disregarded here.

5. Four Infinite Sequences of q-RSs with Polynomial Components Represented by Simple p - W P s

In addition to (77), the RCSLE (67) has three infinite sequences of the q-RSs:
ϕ σ , j [ η ; λ | M ¯ p ] = W { ϕ m k = 1 , , p [ η ; λ ] , ϕ j [ η ; λ ] } ρ 1 2 p [ η ] W { ϕ m k = 1 , , p [ η ; λ ] }   ( λ λ ) ,
where the indexes λ may differ only by sign from the common indexes λ of the seed Jacobi polynomials:
λ = σ λ
and
| λ | = | λ | = λ o ; .
Here, we come to the most important result of this section: introducing the notion of the simple p-WPs which, by analogy with the JPWs, remain finite at 1 .
Theorem 3.
The quasi-rational numerators of the fractions (85) can be expressed in terms of simple p-WPs defined via (92) below.
Proof. 
In following [22], let us first introduce the eigenfunctions of the Jacobi operator:
f [ η ; λ | σ , j ] : = f [ η ; λ | σ , 0 ] P j ( σ + λ + , σ λ ) ( η ) ,
where
f [ η ; λ | σ , 0 ] : = ϕ 0 [ η ; σ × λ ] / ϕ 0 [ η ; λ ] ,
= = ± | 1 η | 1 2 ( σ 1 1 ) λ ,
(see Table 1 in [45] for details). We can then re-write the Wronskian in the numerator of the PF (85) as
W { ϕ m k = 1 , , p [ η ; λ ] , ϕ j [ η ; λ ] } = ϕ 0 p + 1 [ η ; λ ] × W { P m k = 1 , , p ( λ + , λ ) ( η ) , f [ η ; λ | σ , j ] } .
Though this paper is devoted solely to the EOP sequences associated with the particular case σ = + (as advocated in [45]), it seems enlightening to discuss in parallel all the three sequences of the simple p - W P s . First, it is worth noting that the net of X-Jacobi OPSs of our choice starts from the Xm-Jacobi OPSs of series J1, but not with the traditional Xm-Jacobi OPSs [24,46], referred to in our works [1,38] as being of series J2.
This is true [45] that the Xm-Jacobi OPSs in case σ = can be obtained by eliminating certain pairs of juxtaposed eigenfunctions [47,48]; however, the analysis of the RDC T s of the JRef CSLE (1) obtained by sequential RRZTs is much easier as illustrated by the proofs presented in Appendix C and Appendix D. While the admissibility of the partitions composed of even-length segments for X-Jacobi OPSs has been proven by Durán in his renowned treatise [21], an extension of this assertion to the RDC T s of the R–Jacobi polynomials constitutes a much more challenging problem (cf. the bulky arguments presented by us in [49] for the RDC T s of the R-Routh polynomials).
Making use of Jacobi polynomial relations (92) in [21], we can tn represent the derivatives of functions (88) in in the explicitly quasi-rational form:
d l d η l f [ η ; λ | σ , j ] = d σ , j ( l ) ( λ ) f [ η ; λ | σ , 0 ] Θ σ l [ η ] P j [ σ ] l 2 ( λ + + σ + l , λ + σ l ) ( η ) ,
where
Θ σ [ η ] : = = ± ( 1 η ) 1 2 1 σ 1 ,
[ σ ] : = σ + 1 + σ 1 ,
and the indexes λ appearing on the right are related to the indexes λ of the seed Jacobi polynomials via (86). The constant coefficient factors in (92) are determined by the elementary formulas [21]:
d σ , j ( l ) ( λ ) = 2 l λ + + λ + j + 1 l i f σ = + + , ( 2 ) l j + 1 l i f σ = , ( 1 ) l j + λ + l i f σ = + , j + λ l i f σ = + . ,
The listed formulas can be directly verified by expressing the hypergeometric functions in terms of Jacobi polynomials in 2.1(20), 2.1(27), 2.1(24), and 2.1(22) in [50], with a = −m. While all four Jacobi polynomial relations (92) were obtained in [21] based on the translational shape-invariance of the trigonometric Pöschl–Teller (t-PT) potential, we prefer to refer the reader to the more general relations 2.1(7), 2.1(9), 2.1(8), and 2.1(22) for hypergeometric functions in [50], as the starting point for validating (92). The cited relations are valid within a broader range of the parameters, beyond the limits of the Liouville transformation implicitly used in [21].
Substituting the derivatives (92) into the Wronskian in the right-hand side of (86), we can represent the quasi-rational form
W { P m k = 1 , , p ( λ + , λ ) ( η ) , f [ η ; λ | σ , j ] } = f [ η ; λ | σ , 0 ] Θ σ p [ η ] P N ( M ¯ p ; σ , j ) [ η ; λ | M ¯ p ; σ , j ] ,
with the polynomial component represented by the simple p - WP ( σ + + ) :
P N ( M ¯ p ; σ , j ) [ η ; λ | M ¯ p ; σ , j ] : = P m 1 ( λ + , λ ) ( η ) P m 2 ( λ + , λ ) ( η ) Θ σ p [ η ] P j ( λ + , λ ) ( η ) d d η P m 1 ( λ + , λ ) ( η ) d d η P m 2 ( λ + , λ ) ( η ) P n j ; [ σ ] ( p 1 ) ( p , 1 ) [ η ; λ | σ ] d p d p η P m 1 ( λ + , λ ) ( η ) d p d p η P m 2 ( λ + , λ ) ( η ) P n j ; [ σ ] ( 0 ) ( p , p ) [ η ; λ | σ ] ,
where
P n j ; [ σ ] ( p l ) ( p , l ) [ η ; λ | σ ] : = d σ , j ( l ) ( λ ) Θ σ p l [ η ] P j [ σ ] l 2 ( λ + + σ + l , λ + σ l ) ( η )
are the polynomials of the degree
n j ; [ σ ] ( k ) = j 1 + ( k + 1 ) ( 1 1 2 [ σ ] ) ,
with the integer [ σ ] defined via (94), which completes the proof. □
Here and below we use the symbol P for the polynomials forming a X-Jacobi DPS, with N standing for their degrees, while the nonnegative integer j counts the polynomials within the given X-DPS which is constructed using p seed Jacobi polynomials of degrees m 1 , , m p with the common pair of the indexes λ . The polynomial (97) thus represents the RDC T of the Jacobi polynomial of the degree j with the indexes λ defined via (86) and (87).
Keeping in mind that
n j ; [ σ ] ( 0 ) = j 1 2 [ σ ] ,
and using the cofactor expansion of the determinant (99) in terms of the ( p l , p + 1) minors ( l = 0,…,p), we find that the first term in the sum has the degree
N ( M ¯ p ; σ , j ) = N ( M ¯ p ) + j 1 2 [ σ ] ,
where [51]
N ( M ¯ p ) = k = 1 p m k 1 2 p ( p 1 ) .
One can directly verify that
N ( M ¯ p ; + + , m p + 1 ) = N ( M ¯ p ) + m p + 1 1 = N ( M ¯ p + 1 ) ,
as expected. Taking into account that [ ± ] = 0 , we also find
n j ; ± ( k ) = j + k
and
N ( M ¯ p ; ± , j ) = N ( M ¯ p ) + j .
Preposition 2.
In general, the degree of the simple p-WP (97) is equal to the positive integer specified by (101).
Proof. 
One can easily verify that the degree of the ( p + 1 l )-th column element and degree of the corresponding cofactor polynomial minor increases and, respectively decreases by 1 as l grows, confirming that all the polynomial summands have the common degree (101). Based on Bonneux’s [45] formula (2.10), we assert that the simple p-WP (97) has the degree (101) iff
λ + + λ + m k { 1 , 2 , , m k } , λ + + λ + j { 1 , 2 , , j } .
The simplest way to avoid the degree reduction is to assume that the Jacobi indexes λ are non-integers. □
In [45], the positive integer (102) is termed ‘length’ | λ | of the partition λ : = λ 1 , λ 2 , λ p with λ k : = m k + p k (k = 1, …, p). Setting σ = + ,   μ = j = | μ | ,   r 1 = p ,   r 2 = 1 confirms that the derived formula for the degree of the simple p - WP of the given type agrees with the more general formula | λ | + | μ | for the two partitions λ and μ [45].
To relate our analysis to Durán’s theory [21], let us elaborate the case σ = + in more details, Keeping in mind that
Θ + [ η ] = 1 + η
and choosing λ + = α , λ = β , so the function (89) takes form:
f [ η ; β , α | + , 0 ] = ( 1 + η ) β ,
we can re-write the Wronskian in the denominator of the fraction (85) as
W { ϕ m k = 1 , 2 , , p [ η ; β , α ] } = ϕ 0 p [ η ; β , α ] Ω 0 , μ ( α , β ) ,
where the polynomial
Ω 0 , μ ( α , β ) = ( 1 + η ) p β W { f [ η ; β , α | + , m 1 ] , , f [ η ; β , α | + , m p ] }
is defined via (2.7) in [45] with μ : = m 1 + p 1 , m 2 + p 2 , m p and we also took into account that
ϕ 0 [ η ; β , α ] ( 1 + η ) β = ϕ 0 [ η ; β , α ] .
Comparing (109) with (66), we conclude that
Ω 0 , μ ( α , β ) = W N ( M ¯ p ) ( α , β ) [ η | M ¯ p ] ,
And, therefore, the requirement for the JPW in question not to have zeros in the closed interval [−1, +1] is the particular case of Lemma 5.1 and Theorem 6.3 in [22].
Similarly, we re-write the Wronskian in the numerator of the fraction (85) as
W { ϕ m k = 1 , , p [ η ; β , α ] , ϕ j [ η ; β , α ] } = ϕ 0 p + 1 [ η ; β , α ] × W { f [ η ; α , β | + , m 1 ] , , f [ η ; α , β | + , m p ] , P j ( α , β ) ( η ) } ,
while setting σ = + and λ + = α , λ = β , in (91) and (96) gives
W { ϕ m k = 1 , , p [ η ; β , α ] , ϕ j [ η ; β , α ] } = ϕ 0 p + 1 [ η ; β , α ] × ( 1 + η ) β p P N ( M ¯ p ) + j [ η ; β , α | M ¯ p ; + , j ] .
Re-expressing (113) in terms of X-Jacobi polynomials (2.31) in [45]:
P 0 , μ , p + j ( α , β ) : = ( 1 + η ) ( β + 1 ) p × W { f [ η ; α , β | + , m 1 ] , , f [ η ; α , β | + , m p ] , P j ( α , β ) ( η ) } ,
making use of (111), and comparing the resultant expression
W { ϕ m k = 1 , , p [ η ; β , α ] , ϕ j [ η ; β , α ] } = ϕ 0 p + 1 [ η ; β , α ] ( 1 + η ) β p P 0 , μ , p + j ( α , β )
with (114) shows that
P 0 , μ , p + j ( α , β ) P N ( M ¯ p ) + j [ η ; β , α | M ¯ p ; + , j ] .
Coming back to the q-RSs (85) for the simple p-WPs of the general type σ + + , note that the numerator of the fraction has the form:
W { ϕ m k = 1 , , p [ η ; λ ] , ϕ j [ η ; λ ] } = ϕ 0 p [ η ; λ ] Θ σ p [ η ] ϕ 0 [ η ; λ ] × P N ( M ¯ p ; σ , 0 ) + j [ η ; λ | M ¯ p ; σ , j ]
Making use of the identity
Θ σ p [ η ] ϕ 0 [ η ; λ ] = ϕ 0 [ η ; λ + p ( σ × 1 1 ) ] ,
we can then re-write (118) as
W { ϕ m k = 1 , , p [ η ; λ ] , ϕ j [ η ; λ ] } = ϕ 0 p [ η ; λ ] ϕ 0 [ η ; λ + p ( σ × 1 1 ) ] × P N ( M ¯ p ; σ , 0 ) + j [ η ; λ | M ¯ p ; σ , j ] ,
so the fraction takes the sought-for form:
ϕ σ , j [ η ; λ | M ¯ p ] = ϕ 0 [ η ; σ × ( λ + p 1 ) ] P N ( M ¯ p ; σ , 0 ) + j [ η ; λ | M ¯ p ; σ , j ] W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ] .
Setting p = 1, M ¯ 1 = m brings us to (124)–(125) in [1], as expected.
Let us now point to the very unique feature of the simple p - W P in the numerator of the PF in the right-hand side of (121):
Theorem 4.
The simple p-WP (97) does not have zeros at  1 , assuming that both Jacobi indexes are non-integers.
Proof. 
First, let us remind the reader that the ExpDiff for the pole of the RCSLE (67) at 1 and the corresponding ChExps are equal to | λ ± + p | and, respectively 1 2 + | λ ± + p | , 1 2 | λ ± + p | . On other hand, examination of the power function in front of the PF reveals that the power exponent of η ± 1 coincides with one of these ChExps. For the p - WP in question to vanish at 1 , the corresponding ExpDiff must be a positive integer, contradicts to the assumption that both Jacobi indexes are non-integers. □
As illuminated in the next Section, Theorem 4 assures that the p-WPs in question satisfy a FPDE and, therefore, form a X-DPS in our terminology.

6. X-Jacobi DPSs Composed of Simple p-WPs

Our next step is to prove that both JPW (65) and all three p-WPs in the numerator of the fraction in the right-hand side of (121) for σ + + constitute polynomial solutions of the second-order FPDEs. To construct the latter FPDEs, we make the four alternative gauge transformations
Φ [ η ; λ o ; ε | M ¯ p ] = ϕ 0 [ η ; λ | M ¯ p ; σ ] × F [ η ; λ o ; ε | M ¯ p ; σ ] ,
with the gauge functions
ϕ 0 [ η ; λ | M ¯ p ; σ ] = ϕ 0 [ η ; σ × ( λ + p 1 ) ] W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ] ,
satisfying the RCSLE
ϕ 0 [ η ; λ | M ¯ p ; σ ] + I 0 o [ η ; λ | M ¯ p ] ε 0 ( λ + σ × p 1 ) η 2 1 ϕ 0 [ η ; λ | M ¯ p ; σ ] = 0 ,
where
I 0 o [ η ; λ | M ¯ p ] : = I o [ η ; λ + p 1 ] + 2 Q [ η ; η ¯ ( N ) ( λ | M ¯ p ) ] + 2 ld ϕ 0 [ η ; σ × ( λ + p 1 ) ] ld W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ] ,
with [28]
Q [ η ; η ¯ ] : = 1 2 Π m [ η ; η ¯ ] d 2 d η 2 Π m 1 [ η ; η ¯ ]
= 1 2 Π m [ η ; η ¯ ] Π m [ η ; η ¯ ] Π m 2 [ η ; η ¯ ] Π m 2 [ η ; η ¯ ] .
The PF (126) is related to the Quesne PF [52,53,54]
Q [ η ; η ¯ ] : = Π m [ η ; η ¯ ] Π m [ η ; η ¯ ] Π m 2 [ η ; η ¯ ] Π m 2 [ η ; η ¯ ]
in the elementary fashion:
Q [ η ; η ¯ ] = Q [ η ; η ¯ ] + Π m [ η ; η ¯ ] 2 Π m [ η ; η ¯ ] ,
= l = 1 m 1 [ η η l ] 2 + Π m [ η ; η ¯ ] 2 Π m [ η ; η ¯ ] .
In our earlier works [28,55], we adopted the Quesne PF in the form (127) (see, i.g., (39) in [54], with g μ ( α ) standing for Π m [ η ; η ¯ ] here), overlooking its alternative form (82), without any mixed simple poles at η l = 1 , , m .
We are now ready to prove the assertion made by us at the beginning of the section:
Theorem 5.
The polynomials (97) satisfy the second-order FPDEs and, therefore, form four distinguished X-Jacobi DPSs.
Proof. 
Substituting (122) into the RCSLE (67) and taking advantage of (125), coupled with (83), (124) and (129), we come to the second-order PDE:
{ D η ( λ | M ¯ p ; σ ) + C N ( M ¯ p ) [ η ; λ ; ε | M ¯ p ; σ ] } F [ η ; λ o ; ε | M ¯ p ; σ ] = 0 ,
where D η ( λ | M ¯ p ; σ ) is an abbreviated notation for the second-order differential operator in η:
D η ( λ | M ¯ p ; σ ) = ( 1 η 2 ) W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ] d 2 d η 2 + 2 B N ( M ¯ p ) + 1 [ η ; λ | M ¯ p ; σ ] d d η
with the polynomial coefficient function of the first derivative
B N ( M ¯ p ) + 1 [ η ; λ | M ¯ p ; σ ] : = ( 1 η 2 ) W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ] × = ± σ ( λ + p ) + 1 2 ( η 1 ) l = 1 N ( M ¯ p ) 1 η η l ( λ ; M ¯ p ) .
The ε-dependent polynomial of degree m representing the free term of the PDE (130) is linear in the energy:
C N ( M ¯ p ) [ η ; λ ; ε | M ¯ p ; σ ] = C N ( M ¯ p ) [ η ; λ | M ¯ p ; σ ] ε W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ] ,
with the energy-independent part represented by the following polynomial of degree N ( M ¯ p ) :
C N ( M ¯ p ) [ η ; λ | M ¯ p ; σ ] + ε 0 ( λ + σ × p 1 ) W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ] = ( 1 η 2 ) W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ] I o [ η ; λ | M ¯ p ] I 0 o [ η ; λ | M ¯ p ] = 2 P 1 ( λ + + σ + p 1 , λ + σ p 1 ) ( η ) W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ]
+ ( 1 η 2 ) W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ] .
The crucial point is that the polynomial coefficient of the second derivative in (131) has exactly N ( M ¯ p ) + 2 simple zeros while the degrees of the polynomials (132) and (134) are equal to N ( M ¯ p ) + 1 and N ( M ¯ p ) [25], which completes the proof. □
Setting σ = + , λ = β , λ + = α in (132) and (134), we come to the FPDE cited in Durán’s Theorem 5.2 in [22] with k 1 = 0 , k 2 = p :
h 1 ( η ) : = 2 B N ( M ¯ p ) + 1 [ η ; β , α | M ¯ p ; ] W N ( M ¯ p ) ( α , β ) [ η | M ¯ p ] = β α 2 p ( α + β + 2 ) η ( 1 η 2 ) W N ( M ¯ p ) ( α , β ) [ η | M ¯ p ] h 0 ( η ) : = C N ( M ¯ p ) [ η ; β , α | M ¯ p ; + ] + ε 0 ( β p , α + p ) W N ( M ¯ p ) ( α , β ) [ η | M ¯ p ] = α β + 2 p + ( α + β ) η W N ( M ¯ p ) ( α , β ) [ η | M ¯ p ] ( η 2 1 ) W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ]

7. Prime Forms of RDC T s of the J-Ref CSLE Solved Under DBCs on Intervals (−1, +1) and (1, ∞)

Starting from this point, we discuss only the admissible sets M ¯ p = m 1 , , m p of JS solutions assuring that the corresponding JPWs do not have nodes within the given orthogonalization interval for the specified ranges of the parameters λ , λ + .
Using the gauge transformations
Ψ [ η ; λ ; ε | M ¯ p ] = ( 1 η 2 ) 1 2 Φ [ η ; λ ; ε | M ¯ p ]
and
Ψ [ η ; λ ; ε ˜ | M ¯ p ] = ( η 1 ) 1 2 Φ [ η ; λ ; ε ˜ | M ¯ p ] ,
we then convert the RCSLE (67) to its prime forms on the intervals ( 1 , + 1 ) and ( + 1 , ) :
{ d d η ( 1 η 2 ) d d η q [ η ; λ | M ¯ p ] + ε } Ψ [ η ; λ ; ε | M ¯ p ] = 0 f o r η ( 1 , + 1 )
and
{ d d η ( η 1 ) d d η q [ η ; λ | M ¯ p ] + ε ˜ η + 1 } Ψ [ η ; λ ; ε ˜ | M ¯ p ] = 0 f o r η ( 1 , ) ,
with the leading coefficient function and weight function defined via to (28) and (32), respectively. It is worth reminding the reader the main reasoning behind these particular transformations [19], namely, the leading coefficient functions in both cases were chosen in such a way that the ChExps at each of the singular endpoints have opposite signs and as a result the DBC imposed at the given end unambiguously determines the regular solution (or the PFS as we term it here).
In this paper we only discuss the seed solutions represented by the PFSs near the same endpoint under condition that they lie below the lowest eigenvalue. Since the RDCTs using the seed functions of types + − and − + are specified by same series of the Maya diagrams [21], any RCSLE using an arbitrary combination of these seed functions can be alternatively obtained by considering only infinitely many combinations M ¯ p : = { m 1 , m 2 , , m p } of the PFSs of the same type + − or − + [21,56,57]. In particular, the Jacobi polynomial of order m with the indexes λ can be represented as the Wronskian of Jacobi polynomials of the sequential degrees m ˜ = 1 , , m with the indexes λ . The simplest case m = 2 is discussed in Appendix E.
Note that Gómez-Ullate et al. [24,45] derived the general expression for the Xm-Jacobi OPS, taking advantage of the Klein formulas [25] to select all the Jacobi polynomials without zeros between −1 and +1 under the constraint
λ + = α 1 < 0 , λ = β 1 > 2 ,
whereas our approach allows us to identify only the bulk part of those polynomials with one of the first Jacobi indexes restricted solely to positive values. For the multi-indexed X-Jacobi OPSs the admissibility of the given set of seed Jacobi polynomials for the finite orthogonalization interval was thoroughly analyzed by Durán [22].
In this Section we consider the admissibility problem in parallel for both the finite and infinite orthogonalization intervals. While our study of the multi-indexed X-Jacobi OPSs constitutes the particular case of Durán’s analysis, the results for the RDC T s of the R-Jacobi polynomials constitute the state-of-the-art development. In particular, we prove that the Wronskians of the R-Jacobi polynomials with the common first and second Jacobi indexes, respectively positive and negative do not have zeros in the interval [−1, +1] while the Wronskians of the classical Jacobi polynomials with common positive indexes may only have real zeros smaller than 1.
To determine the admissible sets M ¯ p of seed Jacobi polynomials, we introduce the sequence of the q-RTFs
ψ + + , m p + 1 [ η ; λ | M ¯ p ] = ψ 0 [ η ; λ + p , λ + + p ] P N ( M ¯ p + 1 ) [ η ; λ | M ¯ p ; + + , m p + 1 ] W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ]
by setting σ = + , + in (85) and also taking into account that the solutions of the p-SLEs (138) and (139) are related to the solutions of the RCSLE (67) via the gauge transformations (136) and (137), i.e.,
ψ 0 [ η ; β , α ] = ( 1 + η ) 1 2 β ( 1 η ) 1 2 α f o r | η | < 1 , ( 1 + η ) 1 2 ( β + 1 ) ( η 1 ) 1 2 α f o r η > 1 .
While the sequences of the q-RSs (140) on the infinite interval are unlimited, we have to truncate the chain of the sequential RRZTs of the p-SLE (138) when the ExpDiff for the pole at −1 reaches its minimum value
0 < * λ o ; ( p max ) = λ o ; p max < 1
with
p max = λ o ; .
Below we always assume that p in (140) for | η | < 1 does not exceed (143), without explicitly mentioning this restriction.
Below we consider only the Wronskian net of the Jacobi polynomials with the indexes
λ = λ o ;     f o r   η < 1   a n d   λ = λ o   f o r   η > 1 ,
while
λ = λ     ( σ = + )     i n   b o t h   c a s e s .
We refer to the X-Jacobi DPS constructed using p seed Jacobi polynomials of the degrees m 1 , m 2 , , m p as being of series J1(p). The selection (144), (145) for the p - W E O P sequences under consideration is consistent with (2.9) in [45], with α = λ o ; + , β = λ o ; .
Our next step is to prove that the q-RSs (140) constitute the PFSs near the singular endpoint +1 whether or not the polynomial denominator of the PF on the right has zeros inside the corresponding orthogonalization interval. Though the theorem stated below represents the very specific case of the general proposition proven in Appendix C, we feel useful to present an independent proof for the case of our current interest, which may be more appealing to the reader due to its simplicity.
Theorem 6.
The q-RSs (140) satisfy the DBC at the endpoint + 1.
Proof. 
Based on Theorem 1, we first confirm that the JPW in the denominator of the PF in the right-hand side of (140) remains finite at η = +1, keeping in mind that λ + = λ o ; + > 0 in both cases. Examination of the q-RS (140) with α = λ o ; + + p then shows that it vanishes at η = +1, which completes the proof. □
It will be proven later that the q-RSs
ψ , j [ η ; λ | M ¯ p ] = ψ 0 [ η ; λ p , λ + + p ] P N ( M ¯ p , + , 0 ) + j [ η ; λ | M ¯ p ; , j ] W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ]   f o r   0 j j max
represent the eigenfunctions of the p-SLEs (138) or (139) if M ¯ p is an admissible set, but before making the latter assumption, let us first show that
Theorem 7.
The q-RSs (146), with  λ  given by (144), satisfy the DBCs at the ends of the corresponding orthogonalization interval, l whether or not the JPW at the denominator of the PF in the right-hand side of (146) have zeros inside this interval.
Proof. 
Setting α = λ o ; + + p , β = ± λ o ; p in (146) confirms that the q-RSs in question vanishes at both ends of the interval [−1, +1] as well as at the lower end of the interval (1, ∞).
Furthermore, since the functions ϕ 0 [ η ; λ o , , λ o ; + ] and ϕ 0 [ η ; λ o , p , λ o ; + + p ] have exactly the same asymptotics at infinity and the eigenfunction (47) of the p-SLE (24) on the interval (+1, ∞) vanishes at the upper end by definition, we conclude that the q-RSs (146) also obey the DBC at infinity. □
Starting from this point, we assume that all the RCSLEs generated by the RDCTs with the seed solutions m 1 , M ¯ 2 ,…, M ¯ p have exactly the same energy spectrum and also that none of their poles lies inside the corresponding orthogonalization interval. We then need to prove that this also true for the set M ¯ p , m p + 1 .
Corollary 3.
If  M ¯ p  is an admissible set then the q-RSs (146) on the interval (−1, +1) or (1,∞) represent the eigenfunctions of the p-SLE (138) or, respectively (139).
Proof. 
The assertion directly follows from Theorem 6, since the RCSLE in question does not have singularities inside the orthogonalization interval. □
As pointed out in Section 3.1, the q-RS solutions of the JRef CSLE (1) with the polynomial components composed of the R-Jacobi polynomials (type b ) represent PFSs of the p-SLE (24) near the pole at the upper end of the interval (−1, +1) and lie below the lowest eigenvalue (42) of the corresponding SLP. We thus conclude that the PFSs (140) of the p-SLE (138) lie below the eigenvalue ε 0 ( λ ) .
Similarly, the q-RS solutions of the JRef CSLE (1) with the polynomial components composed of the classical Jacobi polynomials (type a ˜ ) represent PFSs of the p-SLE (24) near the pole at the lower end of the interval (1, ∞) and lie below the lowest eigenvalue (56). We thus conclude that the PFSs (140) of the p-SLE (139) lie below the eigenvalue ε ˜ 0 ( λ ) = ε 0 ( λ ) .
To confirm that the q-RPFs (140) do not have zeros inside the orthogonalization interval (−1, +1) or (1, ∞), we first need to prove that there is no eigenfunctions below the energies ε 0 ( λ ) or accordingly ε ˜ 0 ( λ ) , i.e., that the latter are indeed the lowest eigenvalues of the p-SLE (138) or, respectively (139). To verify the latter assertion, we take advantage of the powerful theorem proven in Appendix D, which assures that the q-RPF (140), starting the sequence (j = 0), does not have zeros inside the given the orthogonalization interval.
The final preposition to prove that the PFSs lying below the eigenvalue in question do not have zeros inside this interval either.
Theorem 8.
A PFS near one of the endpoints ± 1 may not have zeros inside the given interval of orthogonalization if it lies below the lowest eigenvalue of the given Sturm-Liouville problem.
Proof. 
For the Sturm–Liouville problem on the orthogonalization interval (−1, +1) the formulated assertion directly follows from the Sturm comparison theorem (see, i.g., Theorem 3.1 in Section XI of Hartman’s monograph [58]), keeping in mind that the logarithmic derivatives for all the PFSs (including the eigenfunction in question) have the same asymptotics near the pole in question:
lim η 1 ( 1 η 2 ) l d Ψ [ η ; λ o ; , λ + ; ε | + M ¯ p ] = * λ o ; ( p ) ,
and as a result the condition (3.4) in [58] turns into the identity. To apply the Sturm Theorem to the PFSs near the upper end +1, one simply needs to replace η for the reflected argument −η.
It is a more challenging problem to satisfy Sturm’s constraint for the logarithmic derivatives in the limit η → ∞ and we refer the reader to the proof of this assertion given in Appendix B in [1] for the PFSs of the p-SLE (24) solved under the DBCs at the ends of the interval (+1, ∞). The arguments presented in support of this proof are equally applied to the p-SLE (139) without any modification. □
Corollary 4.
The JPW (65) does not have zeros inside the corresponding orthogonalization interval assuming that the Jacobi indexes restricted by the conditions (144) and (145) and the order of the given RDCT on the interval (−1, +1) does not exceed the upper bound (143).
It has been proven in [20] that the eigenfunctions of the generic SLE solved under the DBCs must be mutually orthogonal with the SLE weight function on the interval in question. Therefore,
η η + d η ψ c , j [ η ; λ | M ¯ p ] ψ c , j [ η ; λ | M ¯ p ] w [ η ] = 0         f o r 0 j < j j max , p p max .
Consequently, the polynomial components of the quasi-rational eigenfunctions (146) must be mutually orthogonal with the weight function
W [ η ; λ | M ¯ p ; + ] : = ψ 0 2 [ η ; λ p , λ + + p ] W N ( M ¯ p ) ( λ + , λ ) [ η | M ¯ p ] w [ η ]     ( p p max )         f o r   η < 1   o r   η > 1 ;
namely,
η η + d η P N ( M ¯ p ) + j [ η ; λ | M ¯ p ; + , j ] P N ( M ¯ p ) +   j   [ η ; λ | M ¯ p ; + ,   j   ] W [ η ; λ | M ¯ p ; + ] = 0         f o r 0 j < j j max ,     p p max .
In the following two subsections we discuss separately the X–Jacobi OPSs on the interval (−1, +1) and the RDC T s of the R–Jacobi polynomials forming finite EOP sequences on the infinite interval (1, ∞).

7.1. Finite Net of X-Jacobi OPSs Generated Using JPWs of R-Jacobi Polynomials with Positive First Index

As mentioned above, the purpose of this subsection is to discuss the finite net of the exactly solvable RCSLEs generated using the JPWs of R–Jacobi polynomials with the positive Jacobi index λ + .
Let us set λ = λ o ; , λ o ; + , λ = λ o = β , α , p max = λ o ; , and j max = . This brings us to the net of the X-Jacobi OPSs composed of the p - W E O P s
P N ( M ¯ p ) + j [ η ; β , α | M ¯ p ; + , j ] : = , P m 1 ( α , β ) ( η ) P m 2 ( α , β ) ( η ) ( 1 + η ) β P j ( α , β ) ( η ) d d η P m 1 ( α , β ) ( η ) d d η P m 2 ( α , β ) ( η ) P j + p 1 ( 1 ) [ η ; β , α | + ] d p d p η P m 1 ( α , β ) ( η ) d p d p η P m 2 ( α , β ) ( η ) P j ( p ) [ η ; β , α | + ] .
Note that the first p elements of the first row are represented by the R–Jacobi polynomials, while the last element is the classical Jacobi polynomial multiplied by the p-th power of the first–first degree polynomial (93) with σ = + . The weight function (149) takes the form:
W [ η ; α , β | M ¯ p ; + ] : = ψ 0 2 [ η ; β p , α + p ] W N ( M ¯ p ) ( α , β ) [ η | M ¯ p ] 2         f o r 1 < η < 1     ( p λ o ; ) ,
where the polynomial Wronskian in the denominator is formed by the orthogonal R–Jacobi polynomials and, therefore is the subject of the general conjectures formulated in [51] for zeros of the Wronskians of orthogonal polynomials inside the normalization interval (real zeros larger than 1 in our case). Corollary 4 assures that this JPW remains finite inside the interval (−1, +1).
Substituting (141) into (152) and comparing the resultant expression
W [ η ; α , β | M ¯ p ; + ] : = ( 1 + η ) α + p ( 1 η ) β p W N ( M ¯ p ) ( α , β ) [ η | M ¯ p ] 2         f o r 1 < η < 1     ( p λ o ; ) ,
with (2.36) in [22] once again confirms that our definition of the X-Jacobi OPSs apparently corresponds to the partition 0 , μ with μ k : = m k + p k (k = 1, …, p).
Our observation that the seed Jacob polynomials for the X-Jacobi OPSs composed of the simple p - W P s constitutes the finite orthogonal sequence of the R-Jacobi polynomials [1,38] may be useful for deriving some nontrivial properties of the JPWs in question. In particular, based on Theorem 2.1 in [51] (summarizing Karlin and Szego’s results [59]), we assert that any Wronskian of an even number of the R–Jacobi polynomials of sequential degrees may have only negative real zeros smaller than −1.

7.2. Infinite Net of Finite EOPS Sequences Generated Using JPWs of Classical Jacobi Polynomials with Positive Indexes

Finally, we come to the discussion of the infinite net of the exactly solvable RCSLEs generated using the JPWs of classical Jacobi polynomials with the positive Jacobi indexes. Conjecture 4 assures that the JPW composed of the seed polynomials in question has no zeros larger than 1, which constitutes the question of fundamental significance for this study. Below we focus solely on the RDCTs using the infinitely many PFS of type a ˜ as the seed functions, i.e., by definition λ = λ o and p max = . The corresponding eigenfunctions of the p-SLE (24) solved under the DBCs on the interval (1, ∞) are formed by the R-Jacobi polynomials with the Jacobi indexes λ = λ o ; , λ o ; + , and their total number is equal to
n c ˜ = j max + 1 = λ o ; .
This brings us to the finite net of the finite EOP sequences composed of the p-PWs
P N ( M ¯ p ) + j [ η ; λ o ; , λ o ; + | M ¯ p ; + , j ] : = P m 1 ( λ o ; + , λ o ; ) ( η ) P m 2 ( λ o ; + , λ o ; ) ( η ) Θ 1 p [ η ] P j ( λ o ; + , λ o ; ) ( η ) d d η P m 1 ( λ o ; + , λ o ; ) ( η ) d d η P m 2 ( λ o ; + , λ o ; ) ( η ) P j + p 1 ( 1 ) [ η ; λ o ; , λ o ; + | + ] d p d p η P m 1 ( λ o ; + , λ o ; ) ( η ) d p d p η P m 2 ( λ o ; + , λ o ; ) ( η ) P j ( p ) [ η ; λ o ; , λ o ; + | + ] .
This time the first p elements of the first row are represented by the classical Jacobi polynomials with positive indexes while the last element is the R–Jacobi polynomial multiplied by a constant. The weight function (149) takes the form:
W [ η ; λ o ; , λ o ; + | + M ¯ p ] : = ψ 0 2 [ η ; λ o ; p , λ o ; + + p ] ( η + 1 ) W N ( M ¯ p ) ( λ o ; + , λ o ; ) [ η | M ¯ p ] ,
where the Wronskian in the denominator is formed by the classical Jacobi polynomials with positive indexes.
Corollary 4 can be now reformulated as
Corollary 5.
The Wronskian of the classical Jacobi polynomials with positive indexes may not have real zeros larger than 1.
In Appendix E, we explicitly confirm this corollary for the simplest second-degree JPW Wronskian formed by the Jacobi polynomials of degrees 1 and 2.

8. Discussion

Let us first point to the most essential element of our RSLP formalism—the advanced technique for selecting the sequences of the admissible RRZTs, using PFRs below the lowest eigenvalue as the q-RTFs. Each such sequence can then be re-interpreted as the admissible RDCT. To be more precise, we laid down the mathematical grounds for this innovation in Section 7 by converting the RCSLE (67) to its prime forms (138) and (139) on the intervals (−1, +1) and (1, ∞) accordingly and solving the resultant SLEs under the DBCs. The formulated SLPs allowed us to prove [19] that each R D T of the PFS itself constitutes the PFS of the transformed SLE at the same energy.
In summary, we have constructed three infinite nets of the X-Jacobi DPSs composed of the simple p-WPs. The current analysis was focused on the X-DPSs containing both the X-Jacobi OPSs formed by the RDC T s of the classical Jacobi polynomials and finite EOP sequences formed by the RDC T s of the R-Jacobi polynomials (using the seed R-Jacobi polynomials with the common pair of indexes and, respectively a set of the classical Jacobi polynomials with common pair of positive indexes). For σ = + , λ = β , λ + = α the constructed X-DPSs obey the second-order FPDEs cited in Theorem 5.2 in [22] with k 1 = 0 , k 2 = p .
The fourth net of the X–Jacobi DPSs is composed of the Wronskians of the Jacobi polynomials with common pair of the indexes. Since the RDCTs generating these X-DPSs cannot be decomposed into the sequence of the admissible RRZTs, we skipped their analysis in this paper. However the infinite and finite orthogonal subsets of these X-DPSs form the eigenfunctions of the RCSLEs constructed from the JRef CSLE (1) using the ‘juxtaposed’ [60] pairs of its eigenfunctions, provided that the partition λ with λ k : = m k + p k (k = 1, …, p) is composed of the even-length segments. For the X–Jacobi OPSs this assertion has been proven by Durán [22]. Comparing the weight
W [ η ; α , β | M ¯ p ; + + ] : = ( 1 + η ) α + p ( 1 η ) β + p W N ( M ¯ p ) ( α , β ) [ η | M ¯ p ] 2 ,
with (2.36) in [45] reveals that we deal with the partition λ , 0 with λ k : = m k + p k (k = 1, …, p).
The ‘extension of the Adler theorem [61] to the Wronskians of the R-Jacobi polynomials can be done using the argumentation put forward by us in [49] for the Wronskians of the R-Routh polynomials.
The net of the trigonometric (|η| < 1) or radial (η > 1) quantum-mechanical potentials exactly solvable in terms of the constructed infinite or accordingly finite EOP sequences can be obtained in following the prescriptions outlined by us in [1] for p = 1.
The Liouville potentials quantized via the EOPs introduced in Section 7.1 and Section 7.2 have the generic form:
V [ η ; λ o ; , λ o ; + | M ¯ p ] = V t P T [ η ; λ o ] + ( 1 η 2 ) I o [ η ; λ o ] I o [ η ; λ o ; , λ o ; + | M ¯ p ] for 1 < η < 1 ,
and
V [ η ; λ o | M ¯ p ] = V h P T [ η ; λ o ] + ( η 2 1 ) I o [ η ; λ o ] I o [ η ; λ o | M ¯ p ] for η > 1
after being expressed in terms of the variables:
η ( x ) = cos x   ( π < x < 0 )
and
η ( r ) = cosh r   ( 0 < r < ) ,
respectively, where the t-PT potential on the finite interval and the radial h-PT potential are parametrized as follows:
V t P T [ η ( x ) ; λ o ; + , λ o ; ] = λ ο ; + 2 1 4 4 sin 2 x 2 + λ ο ; 2 1 4 4 cos 2 x 2 ( π < x < 0 ) ,
and
V h P T ( r ; λ o ; + , λ o ; ) = λ ο ; + 2 1 4 4 sinh 2 r 2 + λ ο ; 2 1 4 4 cosh 2 r 2 ( 0 < r < ) .
As mentioned in [1], the rigorous mathematical studies [30,47] on the X–Jacobi and X-Laguerre OPSs made a few misleading references to the quantum-mechanical applications of the EOPs. To a certain extent this misinformation is traceable to the fact that the cited applications do not properly distinguish between the terms ‘X–Jacobi DPS’, ‘X–Jacobi OPS’, and ‘finite EOP’ sequences’ (formed by the RD T s of the R-Jacobi polynomials), simply referring to the representatives of all the three manifolds as ‘X–Jacobi polynomials’.
To be more precise, one has to distinguish between the X–Jacobi OPSs and the finite EOP sequences formed by the RDC T s of the three families of the Romanovski polynomials [16]; namely, the finite EOP sequences composed of the Romanovski–Bessel (R–Bessel) and Romanovski–Routh (R–Routh) polynomials analyzed by us in [62] and [49], respectively, as well as the RDC T s of the R–Jacobi polynomials discussed in this paper. The associated Liouville potentials all belong to group A in Odake and Sasaki’s [48] classification scheme of the translationally shape-invariant potentials (TSIPs) and as a result their eigenfunctions are expressible via the finite EOP sequences.
In the general case of the rational density function, allowing the solution of the JRef CSLE in terms of hypergeometric functions [26], the energy-dependent PF in (1) has second-order poles in the finite plane and as a result the associated Liouville potentials are quantized by the Jacobi polynomials with degree-dependent indexes. If the numerator of the given rational density function has no zeros at regular points of the JRef CSLE (or similarly of its confluent counterpart), then the associated Liouville potential turns into a TSIP of group B, with eigenfunctions expressible via the Jacobi (or, respectively Laguerre) polynomials with at least one degree-dependent index, which have no direct relation to the theory of the EOPs.
To conclude, let us point to the crucial difference between the RDC T s of the R-Jacobi polynomials and those of the R-Bessel and R-Routh polynomials analyzed by us in [62] and [49], respectively. The common feature of the latter RDCT nets is that each net is specified by a single series of Maya diagrams and, as a result, any finite EOP sequence allows the Wronskian representation [57]. On the other hand, the complete net of the RDCT T s of the R–Jacobi polynomials is specified by the two series of Maya diagrams, similar to the RDC T s in the classical Jacobi and classical Laguerre polynomials forming the X-Jacobi and X-Laguerre OPSs accordingly [21]. This implies that we managed to construct only a narrow manifold of the finite EOP sequences composed of the RDC T s of the R–Jacobi polynomials.
For example, we can use different combinations of the PFSs a ˜ , k and a ˜ ,   k   below the lowest eigenvalue to construct the PFSs of the transformed RCSLEs. We refer the reader to [21] for the scrupulous analysis of the equivalence relations between the various p-WPs. It should be however stressed that grouping the equivalent p-WPs together represents only a part of the problem. The next step would be to select the preferable representation. For example, the RD T of the h-PT with the TF b ˜ , m seems easier to deal with, compared with the RDC T of this potential with the m seed functions a ˜ , k = 1 , 2 , , m , though the final results will be absolutely the same.
The additional complication comes from the fact that one has to analyze the order of p - W P zeros at 1 to construct the appropriate X-Jacobi DPSs. In this respect, Lemma 2.9 and Theorem 5.2 in [22] present the powerful alternative tool to generate the solved-by-polynomials FPDEs which, as proven in [22], do not have poles inside the interval (−1, +1). However, to select finite EOP sequences from the constructed X-DPSs, one has to find the ranges of the parameters λ such that the poles in question lie outside the infinite interval (−1, ∞), which is the challenging problem of its own.

Funding

This research received no external funding.

Data Availability Statement

The original contributions presented in this study are included in the article.

Conflicts of Interest

The author declares no conflicts of interest.

Abbreviations

ChExpcharacteristic exponent
CSLEcanonical Sturm-Liouville equation
DBCDirichlet boundary condition
DPSdifferential polynomial system
DCTDarboux-Crum transformation
DC T Darboux-Crum transform
DTDarboux deformation
D T Darboux transform
EOPexceptional orthogonal polynomial
ExpDiffexponent difference
FPDEFuchsian differential equation with polynomial coefficients
GDTgeneralized Darboux transformation
h-PThyperbolic Pöschl-Teller
JPWJacobi-polynomial Wronskian
JRefJacobi-reference
JSJacobi-seed
LClimit circle
LDTLiouville-Darboux transformation
LPlimit point
ODEordinary differential equation
OPSorthogonal polynomial system
PDpolynomial determinant
PDEpolynomial differential equation
PFpolynomial fraction
PFSprincipal Frobenius solution
p-SLEprime Sturm-Liouville equation
p - W P pseudo-Wronskian polynomial
p - W E O P pseudo-Wronskian exceptional orthogonal polynomial
p - W T pseudo-Wronskian transform
q-RPFSsquasi-rational principal Frobenius solution
q-RSquasi-rational solution
q-RTFquasi-rational transformation function
RCSLErational canonical Sturm-Liouville equation
RDCrational Darboux-Crum
RDCTrational Darboux-Crum transformation
R D C T rational Darboux-Crum transform
RDTrational Darboux transformation
R D T rational Darboux transform
R-JacobiRomanovski-Jacobi
R-RouthRomanovski-Routh
R R Z T rational Rudjak-Zakharov transform
TFtransformation function
W T Wronskian transform

Appendix A. RZT of Generic CSLE

Let ϕ τ [ η ; λ o ] be a nodeless solution of a CSLE
d 2 d η 2 + I o [ η ; λ o ] + ε ρ [ η ] Φ [ η ; λ o ; ε ] = 0
at the energy
ε = ε τ ( λ o ) ,
i.e.,
d 2 d η 2 + I o [ η ; λ o ] + ε τ ( λ o ) ρ [ η ] ϕ τ [ η ; λ o ] = 0 .
We define the RZT of the given CSLE via the requirement that the function
* ϕ τ [ η ; λ o ] = ρ 1 2 [ η ] ϕ τ [ η ; λ o ]
is the solution of the transformed CSLE:
d 2 d η 2 + I o [ η ; λ o | τ ] + ε ρ [ η ] Φ [ η ; λ o ; ε | τ ] = 0
at the same energy (A2), i.e.,
d 2 d η 2 + I o [ η ; λ o | τ ] + ε τ ( λ o ) ρ [ η ] * ϕ τ [ η ; λ o ] = 0 .
Representing both CSLEs (A3) and (A6) in the Riccati form:
I o [ η ; λ o ] = l d 2 ϕ τ [ η ; λ o ] ld ϕ τ [ η ; λ o ] ε τ ( λ o ) ρ [ η ]
and
I o [ η ; λ o | τ ] : = l d 2 * ϕ τ [ η ; λ o ] ld * ϕ τ [ η ; λ o ] ε τ ( λ o ) ρ [ η ] ,
subtracting one from another, and also taking into account that the logarithmic derivatives of the TF ϕ τ [ η ; λ o ] and its reciprocal (A4) are related in the elementary fashion:
ld * ϕ τ [ η ; λ o ] = ld ϕ τ [ η ; λ o ] 1 2 ld ρ [ η ]
one finds [63]
I o [ η ; λ o | τ ] = I o [ η ; λ o ] + 2 ρ [ η ] d d η ld ϕ τ [ η ; λ o ] ρ [ η ] + J { ρ [ η ] } ,
where the last summand represents the so-called [19] ‘universal correction’ defined via the generic formula
J { f [ η ] } : = 1 2 f [ η ] d d η ld f [ η ] f [ η ] .

Appendix B. DCT of the Generic CSLE as a Sequence of RZTs

Let ϕ τ 2 [ η ; λ o ] be another solution of a CSLE (A1) at the energy ε τ 2 ( λ o ) . Then the CSLE (A6) with τ τ 1 has the solution [63]
ϕ τ 2 [ η ; λ o | τ 1 ] = W { ϕ τ k = 1 , 2 [ η ; λ o ] } ρ 1 2 [ η ] ϕ 1 [ η ; λ o ] .
Using this solution as the TF for the next RZT, we come to the CSLE
d 2 d η 2 + I o [ η ; λ o | τ ] + ε ρ [ η ] Φ [ η ; λ o ; ε | τ ] = 0
with the zero-energy free term
I o [ η ; λ o | τ k = 1 , 2 ] = I o [ η ; λ o | τ 1 ] + 2 ρ [ η ] d d η l d ϕ τ 2 [ η ; λ o | τ 1 ] ρ [ η ] + J { ρ [ η ] } .
Substituting (A12) into (A14), coupled with (A10) and (A11), then gives [63]
I o [ η ; λ o | τ k = 1 , 2 ] = I o [ η ; λ o ] + 2 ρ [ η ] d d η l d W { ϕ τ k = 1 , 2 [ η ; λ o ] } ρ [ η ] .
Let us now assume that the function [12,64]
ϕ τ [ η ; λ o | τ k = 1 , , p ] = W { ϕ τ k = 1 , , p [ η ; λ o ] , ϕ τ [ η ; λ o ] } ρ p 2 [ η ] W { ϕ τ k = 1 , , p [ η ; λ o ] }
satisfies the CSLE
d 2 d η 2 + I o [ η ; λ o | τ k = 1 , , p ] + ε ρ [ η ] Φ [ η ; λ o ; ε | τ k = 1 , , p ] = 0
with the zero-energy free term [12]
I o [ η ; λ o | τ k = 1 , , p ] = I o [ η ; λ o ] + 2 ρ [ η ] d d η l d W { ϕ τ k = 1 , , p [ η ; λ o ] } ρ [ η ] p ( p 2 ) J { ρ [ η ] } .
The RDT of the CSLE (A17) with the TF (A16) then results in the CSLE with the zero-energy free term defined by (A18) with p and τ k = 1 , , p replaced for p + 1 and τ k = 1 , , p + 1 accordingly.
Theorem A1.
The function (A16) is the solution of the CSLE (A17) at the energy  ε τ p ( λ o ) .
Proof. 
Suppose that both functions ϕ τ p [ η ; λ o | τ k = 1 , , p 1 ] and ϕ τ p + 1 [ η ; λ o | τ k = 1 , , p 1 ] are solutions of the CSLE (A17) with p replaced by p − 1. It is also assumed that the energies are equal to ε τ p ( λ o ) and ε τ p + 1 ( λ o ) accordingly. Then, by definition of the CSLE (17), the function
ϕ τ p + 1 [ η ; λ o | τ k = 1 , , p ] = W { ϕ τ p [ η ; λ o | τ k = 1 , , p 1 ] , ϕ τ p + 1 [ η ; λ o | τ k = 1 , , p 1 ] } ρ 1 2 [ η ] ϕ τ p [ η ; λ o | τ k = 1 , , p 1 ]
must be its solution at the energy ε τ p + 1 ( λ o ) . Replacing p and τ k = 1 , , p in the right-hand side of (A16) for p − 1 and τ k = 1 , , p 1 accordingly and then setting τ = τ p , τ p + 1 we can re-write (A19) as
ϕ τ p + 1 [ η ; λ o | τ k = 1 , , p ] = W W { ϕ τ k = 1 , , p [ η ; λ o ] } , W { ϕ τ p [ η ; λ o | τ k = 1 , , p 1 ] , ϕ τ p + 1 [ η ; λ o ] } ρ 1 2 p [ η ] W { ϕ τ k = 1 , , p 1 [ η ; λ o ] } .
Choosing m = p − 1, n = p + 1, n − m = 2 in the general Wronskian decomposition formula in [65] then gives:
W { ϕ τ k = 1 , , p + 1 [ η ; λ o ] } W W { ϕ τ k = 1 , , p [ η ; λ o ] } , W { ϕ τ p [ η ; λ o | τ k = 1 , , p 1 ] , ϕ τ p + 1 [ η ; λ o ] } W { ϕ τ k = 1 , , p 1 [ η ; λ o ]
then brings us back to (A16) with τ = τ p + 1 , which completes the proof. □
Here and in the other publications we refer to the CSLE (A17) with the zero-energy free term (A18) as ‘Darboux-Crum transform’ ( DC T ) of the CSLE (1) with the seed functions τ k = 1 , , p .

Appendix C. RDC Sequences of PFSs Near a 2nd-Order Pole with an Energy-Independent ExpDiff

Let Φ [ η ; λ ; ε | M ¯ p ] be the PFS of the RCSLE (67) near the pole at 1 . Then the functions
Ψ [ η ; λ ; ε | M ¯ p ] = ( 1 η 2 ) 1 2 Φ [ η ; λ ; ε | M ¯ p ]     f o r | η | < 1
and
Ψ + [ η ; λ ; ε | M ¯ p ] = ( 1 η 2 ) 1 2 Φ + [ η ; λ ; ε | M ¯ p ] f o r | η | < 1 , ( η 1 ) 1 2 Φ + [ η ; λ ; ε | M ¯ p ] f o r η > 1
are the solutions of the p-SLEs (138) and accordingly (1390), satisfying the DBCs at the corresponding singular endpoints:
lim η η Ψ [ η ; λ ; ε | M ¯ p ] = 0 .
Representing the RRZ T s of the PFSs (A22) and (A23),
Ψ [ η ; λ ; ε | M ¯ p + 1 ; ] = W { Ψ [ η ; λ ; ε m p + 1 ( λ ) | M ¯ p ] , Ψ [ η ; λ ; ε | M ¯ p ] } ρ 1 2 [ η ] Ψ [ η ; λ ; ε m p + 1 ( λ ) | M ¯ p ] ,
as
Ψ [ η ; λ ; ε | M ¯ p + 1 ; ] = | 1 η 2 | 1 2 Ψ [ η ; λ ; ε | M ¯ p ] | 1 η 2 | 1 2 l d Ψ [ η ; λ ; ε m p + 1 ( λ ) | M ¯ p ] Ψ [ η ; λ ; ε | M ¯ p ]
shows that
lim η 1 Ψ [ η ; λ ; ε | M ¯ p + 1 ; ] = 0
and therefore
Ψ [ η ; λ ; ε | M ¯ p + 1 ; ] Ψ [ η ; λ ; ε | M ¯ p + 1 ]
iff the ExpDiff for the corresponding pole of the RCSLE (67) lies within the LP range:
* λ o ; ( p ) = | λ + p | > 1 .
Finally let us prove that the RRZ T of the PFS Ψ [ η ; λ ; ε ˜ | M ¯ p ] of the p-SLE (139) near the pole at infinity vanishes in the limit η → ∞. Taking into account that differentiating of the function η α decreases the power exponent, we find that both summands in
Ψ [ η ; λ ; ε ˜ | M ¯ p + 1 ] = ( η 2 1 ) 1 2 Ψ [ η ; λ ; ε ˜ | M ¯ p ] ( η 2 1 ) 1 2 l d Ψ [ η ; λ ; ε m p + 1 ( λ ) | M ¯ p ] Ψ [ η ; λ ; ε ˜ | M ¯ p ] ,
vanish at infinity which confirms that the q-RS (A30) is indeed the PFS of the transformed RCSLE near its pole at infinity.

Appendix D. Exact Solvability of the p-SLEs (138) and (139) Under the DBCs

The proof presented below constitutes the special of the general technique developed by the author [19] in support of the assertion that the RRZT of an exactly solvable R D C T of the JRef CSLE results in an exactly solvable RCSLE. In context of this paper we show that the q-RSs (146) represent the complete set of the eigenfunctions of the corresponding p-SLE (138) or (139). This proof assures that this set of the eigenfunctions starts from the nodeless solution, which in turns confirms that all the PFSs (146) under the conditions (144) and (145) lie below of the lowest eigenvalue of the p-SLE in question and therefore do not have zeros inside the orthogonalization interval under consideration.
Theorem A2.
All the Dirichlet problems for the p-SLEs (138) or alternatively (139) under the conditions (144) and (145) in both cases (coupled with the upper bound (143) for the degrees of the seed Jacobi polynomials in case of the former p-SLE), have exactly the same discrete energy spectrum as the precursor p-SLE (24) solved under the DBCs on the intervals (−1, +1) or (1, ∞) accordingly.
Proof. 
For the p-SLE (139) with p = 1 this assertion has been proven in [1] and below reproduce similar arguments for the finite interval. We shall come back to these arguments, while proving the general case of p > 1. For now let us just assume that the cited statement is correct for both p-SLEs (138) and (139) with p = 1.
Re-writing (78) with p = 1 as
ψ + , m 2 [ η ; λ o ; , λ o ; + | m 1 ] = ψ 0 [ η ; λ o ; 1 , λ o ; + + 1 ] × W m 1 + m 2 1 ( λ o ; , λ o ; + ) [ η | m 1 , m 2 ] P m 1 ( λ o ; , λ o ; + ) ( η ) ,
we find that the power exponents of η ± 1 coincide with halves of the corresponding ExpDiffs
* λ o ; ( p ) = | λ + p | = λ o ; p > 0 .
Keeping in mind that the exponent power ( λ o ; + + 1 ) / 2 is positive for the both intervals (−1, +1) and (1, ∞), we conclude that the listed solution vanishes in the limits η 1 and therefore represents the PFS of the corresponding p-SLEs (138) or (139) near this singular endpoint. Since we assume that the formulated Dirichlet problems are exactly solvable for p = 1, this PFS lies below the lowest eigenvalue of the given p-SLE and therefore the JPW in the numerator of the PF in the right-hand side of (A31) may not have zeros inside the orthogonalization interval in question as far as the Jacobi indexes are restricted by the conditions (144).
Since the p-SLEs in question are exactly solvable for p = 1 and M ¯ 2 is the admissible set of the polynomial seed solutions, we use the mathematical induction, assuming that the p-SLE (138) or (139) for the admissible set of the polynomial seed solutions, M ¯ p = M ¯ P 1 , has exactly the same discrete energy spectrum as the p-SLE (24) with the leading coefficient function (28). Under the latter assumption one can then repeat the above arguments to prove that the JPW (65) with M ¯ p = M ¯ P is nodeless inside the corresponding orthogonalization interval and therefore M ¯ P is the admissible set of the polynomial seed solutions. Our final step is to prove that the given p-SLE with M ¯ p = M ¯ P has exactly the same discrete energy spectrum as the p-SLE (24).
Suppose that the given p-SLE has another eigenfunction ψ c , n [ η ; λ | M ¯ P ] at an energy E n with the absolute value | E n | ε j ( λ ) for any j jmax and therefore, by definition, it must obey the DBCs
lim η η ψ c , n [ η ; λ | M ¯ P ] = 0 .
If * λ o ; ( P ) > 1 (which assures ExpDiffs * λ o ; ( P 1 ) lie within the LP range) then we can take advantage of the arguments presented in Appendix C to show that the RRZT with the TF
* ϕ m P [ η ; λ | M ¯ P 1 ] = ρ 1 2 [ η ] ϕ m P [ η ; λ | M ¯ P 1 ]
converts the extraneous eigenfunction into the eigenfunction of the p-SLE (138) or (139) with M ¯ p = M ¯ P 1 . However this conclusion contradicts the assumption that the p-SLE in question has exactly the same energy spectrum as the p-SLE (24). We thus assert that q-RSs (146) represent all possible eigenfunctions of the p-SLEs (138) and (139) accordingly.
Finally, one can easily verify that the presented arguments are fully applied to the starting instance p = 1, since we only need the presumption that the p-SLEs (24) with the leading coefficient functions (28) are exactly solvable under the DBCs imposed at the ends of the corresponding orthogonalization interval and that the TF of the given RRZT does not have zeros inside of this interval. □
The direct consequence of the proven theorem is that the p - W P s (97) with M ¯ p = M ¯ p and σ = + have exactly j real zeros larger than 1.

Appendix E. Xm-Jacobi DPS in the Second-Order Darboux-Crum Representation

It has been proven by the author in [66] that the JPW of degree 2 can be reduced to the second-degree Jacobi polynomial as follows
W 2 ( λ + , λ ) [ η | 1 , 2 ] = 1 2 ( λ + + λ + 4 ) P 2 ( λ + 3 , λ 3 ) ( η ) .
At that time the author did not realized that it deals with the very special case of the equivalence theorem initially sketched in [47,48] and then scrutinized in great detail [21] (see [57] for additional comments).
In particular, this implies the Wronskian of two classical Jacobi polynomials with positive indexes can be written as
W 2 ( λ o ; + , λ o ; ) ( η | 1 , 2 ) = 1 2 ( λ o ; + + λ o ; + 4 ) P 2 ( λ o ; + 3 , λ o ; 3 ) ( η ) .
Examination of the explicit formula for the second-degree Jacobi polynomial:
P 2 ( λ + , λ ) ( η ) = 1 8 [ ( λ + 2 ) ( λ + 1 ) ( 1 + η ) 2 + ( λ + + 2 ) ( λ + + 1 ) ( 1 η ) 2 2 ( λ 0 + 2 ) ( λ 1 + 2 ) ( 1 η 2 ) ]
reveals that that the polynomial in the right-hand side of (A36) may not have a zero at η = 1 since both Jacobi indexes are smaller than −3, in agreement with Theorem 1.
It can be shown that the discriminant of the polynomial (A37) is given by the simple formula:
Δ ( λ ) = 1 32 ( λ + + λ + 3 ) ( λ + 2 ) ( λ + + 2 )
and therefore the second-degree Jacobi polynomial of our interest has the negative discriminant. Firstly, this observation confirms Theorem 2 stating all the zeros of the JPW with positive indexes may have only simple zeros. Secondly, we conclude that the second-degree polynomial (A36) has a pair of complex conjugated zeros and therefore remains finite on the interval [1, ∞), in line with Corollary 5.

References

  1. Natanson, G. On finite exceptional orthogonal polynomial sequences composed of rational Darboux transforms of Romanovski-Jacobi polynomials. Axioms 2025, 14, 218. [Google Scholar] [CrossRef]
  2. Everitt, W.N.; Littlejohn, L.L. Orthogonal polynomials and spectral theory: A survey. In Orthogonal Polynomials and Their Applications; Brezinski, C., Gori, L., Ronveaux, A., Eds.; IMACS Annals on Computing and Applied Mathematics; J. C. Baltzer AG Publishers: Red Bank, NJ, USA, 1991; Volume 9, pp. 21–55. [Google Scholar]
  3. Everitt, W.N.; Kwon, K.H.; Littlejohn, L.L.; Wellman, R. Orthogonal polynomial solutions of linear ordinary differential equations. J. Comput. Appl. Math. 2001, 133, 85–109. [Google Scholar]
  4. Gómez-Ullate, D.; Kamran, N.; Milson, R. An extended class of orthogonal polynomials defined by a Sturm–Liouville problem. J. Math. Anal. Appl. 2009, 359, 352–367. [Google Scholar] [CrossRef]
  5. Gómez-Ullate, D.; Kamran, N.; Milson, R. An extension of Bochner’s problem: Exceptional invariant subspaces. J. Approx. Theory 2010, 162, 987–1006. [Google Scholar] [CrossRef]
  6. Bochner, S. Über Sturm-Liouvillesche Polynomsysteme. Math. Z. 1929, 29, 730–736. [Google Scholar] [CrossRef]
  7. Kwon, K.H.; Littlejohn, L.L. Classification of classical orthogonal polynomials. J. Korean Math. Soc. 1997, 34, 973–1008. [Google Scholar]
  8. Natanson, G. Rediscovery of Routh polynomials after hundred years in obscurity. In Recent Research in Polynomials; Özger, F., Ed.; IntechOpen: London, UK, 2023; 27p. [Google Scholar]
  9. Routh, E.J. On some properties of certain solutions of a differential equation of the second order. Proc. Lond. Math. Soc. 1884, 16, 245–262. [Google Scholar] [CrossRef]
  10. Chihara, T.S. An Introduction to Orthogonal Polynomials; Gordon and Breach: New York, NY, USA, 1978. [Google Scholar]
  11. Rudyak, B.V.; Zakhariev, B.N. New exactly solvable models for Schrödinger equation. Inverse Probl. 1987, 3, 125–133. [Google Scholar]
  12. Schulze-Halberg, A. Higher-order Darboux transformations with foreign auxiliary equations and equivalence with generalized Darboux transformations. Appl. Math. Lett. 2012, 25, 1520–1527. [Google Scholar] [CrossRef]
  13. Darboux, G. Leçons sur la Théorie Générale des Surfaces et les Applications Géométriques du Calcul Infinitésimal; Gauthier-Villars: Paris, France, 1915; Volume 2, pp. 210–215. [Google Scholar]
  14. Crum, M.M. Associated Sturm-Liouville systems. Q. J. Math. 1955, 6, 121–127. [Google Scholar] [CrossRef]
  15. Natanson, G. Use of Wronskians of Jacobi Polynomials with Common Complex Indexes for Constructing X-DPSs and Their Infinite and Finite Orthogonal Subsets. 2019. Available online: https://www.researchgate.net/publication/331638063 (accessed on 10 March 2019).
  16. Romanovski, V.I. Sur quelques classes nouvelles de polynomes orthogonaux. CR Acad. Sci. 1929, 188, 1023–1025. [Google Scholar]
  17. Lesky, P.A. Vervollstandigungderklassischen Orthogonalpolynomedurch Erganzungen zum Askey—Schema der hypergeometrischen orthogonalen Polynome. Ost. Ak. Wiss 1995, 204, 151–166. [Google Scholar]
  18. Lesky, P.A. Endliche und unendliche Systeme von kontinuierlichen klassichen Othogonalpolynomen. Z. Angew. Math. Mech. 1996, 76, 181–184. [Google Scholar]
  19. Natanson, G. Darboux-Crum Nets of Sturm-Liouville Problems Solvable by Quasi-Rational Functions I. General Theory. 2018. Available online: https://www.researchgate.net/publication/323831953 (accessed on 1 March 2018).
  20. Gesztesy, F.; Simon, B.; Teschl, G. Zeros of the Wronskian and renormalized oscillation theory. Am. J. Math. 1996, 118, 571–594. [Google Scholar]
  21. Gómez-Ullate, D.; Grandati, Y.; Milson, R. Shape invariance and equivalence relations for pseudo-Wronskians of Laguerre and Jacobi polynomials. J. Phys. A Math. Theor. 2018, 51, 345201. [Google Scholar]
  22. Durán, A.J. Exceptional Hahn and Jacobi orthogonal polynomials. J. Approx. Theory 2017, 214, 9–48. [Google Scholar]
  23. Garcia-Ferrero, M.; Gomez-Ullate, D.; Milson, R. Classification of Exceptional Jacobi Polynomials. arXiv 2024, arXiv:2409.02656v1. [Google Scholar]
  24. Gómez-Ullate, D.; Kamran, N.; Milson, R. On orthogonal polynomials spanning a non-standard flag. Contemp. Math 2012, 563, 51–71. [Google Scholar]
  25. Szego, G. Orthogonal Polynomials; American Mathematical Society: New York, NY, USA, 1959. [Google Scholar]
  26. Natanzon, G.A. Study of the one-dimensional Schrödinger equation generated from the hypergeometric equation. Vestn. Len ingr. Univ. 1971, 10, 22–28. (In Russian) [English translation is available online: https://doi.org/10.48550/arXiv.physics/9907032] [Google Scholar] [CrossRef]
  27. Natanson, G. Survey of nodeless regular almost-everywhere holomorphic solutions for exactly solvable Gauss-reference Liouville potentials on the line I. Subsets of nodeless Jacobi-seed solutions co-existent with discrete energy spectrum. arXiv 2016, arXiv:1606.08758. [Google Scholar]
  28. Natanson, G. Gauss-seed nets of Sturm-Liouville problems with energy-independent characteristic exponents and related sequences of exceptional orthogonal polynomials I. Canonical Darboux transformations using almost-everywhere holomorphic factorization functions. arXiv 2013, arXiv:1305.7453v1. [Google Scholar]
  29. Natanson, G. Breakup of SUSY Quantum Mechanics in the Limit-Circle Region of the Darboux/Pöschl-Teller Potential. 2019. Available online: https://www.researchgate.net/publication/334960618 (accessed on 1 October 2019).
  30. Garcia-Ferrero, M.; Gomez-Ullate, D.; Milson, R. A Bochner type characterization theorem for exceptional orthogonal polynomials. J. Math. Anal. Appl. 2019, 472, 584–626. [Google Scholar] [CrossRef]
  31. Everitt, W.N. A Catalogue of Sturm-Liouville differential equations. In Sturm-Liouville Theory, Past and Present; Amrein, W.O., Hinz, A.M., Pearson, D.B., Eds.; Birkhäuser Verlag: Basel, Switzerland, 2005; pp. 271–331. [Google Scholar]
  32. Weidmann, J. Spectral Theory of Sturm-Liouville Operators Approximation by Regular Problems. In Sturm-Liouville Theory, Past and Present; Amrein, W.O., Hinz, A.M., Pearson, D.B., Eds.; Birkhäuser Verlag: Basel, Switzerland, 2005; pp. 75–98. [Google Scholar]
  33. Natanzon, G.A. Use of the Darboux theorem for constructing the general solution of the Schrödinger equation with the Pöschl-Teller potential. Vestn. Leningr. Univ. 1977, 33–39. Available online: https://www.researchgate.net/publication/316150022 (accessed on 1 January 2010). (In Russian).
  34. Quesne, C. Solvable rational potentials and exceptional orthogonal polynomials in supersymmetric quantum mechanics. Symmetry Integr. Geom. Methods Appl. 2009, 5, 84. [Google Scholar] [CrossRef]
  35. Comtet, L. Advanced Combinatorics: The Art of Finite and Infinite Expansions; Reidel: Dordrecht, The Netherlands, 1974. [Google Scholar]
  36. Askey, R. An integral of Ramanujan and orthogonal polynomials. J. Indian Math. Soc. 1987, 51, 27–36. [Google Scholar]
  37. Chen, M.P.; Srivastava, H.M. Orthogonality relations and generating functions for Jacobi polynomials and related hypergeometric functions. Appl. Math. Comput. 1995, 68, 153–188. [Google Scholar] [CrossRef]
  38. Natanson, G. Biorthogonal Differential Polynomial System Composed of X-Jacobi Polynomials from Different Sequences. 2018. Available online: https://www.researchgate.net/publication/322851312 (accessed on 22 January 2018).
  39. Alhaidari, A.D.; AssiI, A. Finite-series approximation of the bound states for two novel potentials. Physics 2022, 4, 1067–1080. [Google Scholar] [CrossRef]
  40. Raposo, A.P.; Weber, H.J.; Alvarez-Castillo, D.E.; Kirchbach, M. Romanovski polynomials in selected physics problems. Open Phys. 2007, 5, 253–284. [Google Scholar] [CrossRef]
  41. Weber, H.J. Connections between Romanovski and other polynomials. Cent. Eur. J. Math. 2007, 5, 581–595. [Google Scholar] [CrossRef]
  42. Avarez-Castillo, D.E.; Kirchbach, M. Exact spectrum and wave functions of the hyperbolic Scarf potential in terms of finite Romanovski polynomials. Rev. Mex. Física E 2007, 53, 143–154. [Google Scholar]
  43. Martınez-Finkelshtein, A.; Silva Ribeiro, L.L.; Sri Ranga, A.; Tyaglov, M. Complementary Romanovski-Routh polynomials: From orthogonal polynomials on the unit circle to Coulomb wave functions. Proc. Am. Math. Soc. 2019, 147, 2625–2640. [Google Scholar] [CrossRef]
  44. Ho, C.-L.; Sasaki, R.; Takemura, K. Confluence of apparent singularities in multi-indexed orthogonal polynomials: The Jacobi case. J. Phys. A Math. Theor. 2013, 46, 115205. [Google Scholar] [CrossRef]
  45. Bonneux, N. Exceptional Jacobi polynomials. J. Approx. Theory 2019, 239, 72–112. [Google Scholar] [CrossRef]
  46. Gómez-Ullate, D.; Marcellan, F.; Milson, R. Asymptotic and interlacing properties of zeros of exceptional Jacobi and Laguerre polynomials. J. Math. Anal. Appl. 2013, 399, 480–495. [Google Scholar] [CrossRef]
  47. Gómez-Ullate, D.; Grandati, Y.; Milson, R. Extended Krein-Adler theorem for the translationally shape invariant poten-1220 tials. J. Math. Phys. 2014, 55, 043510. [Google Scholar] [CrossRef]
  48. Odake, S.; Sasaki, R. Krein–Adler transformations for shape-invariant potentials and pseudo virtual states. J. Phys. A Math. Theor. 2013, 46, 245201. [Google Scholar] [CrossRef]
  49. Natanson, G. Uniqueness of finite exceptional orthogonal polynomial sequences composed of Wronskian transforms of Romanovski-Routh polynomials. Symmetry 2024, 16, 282. [Google Scholar] [CrossRef]
  50. Erdelyi, A.; Bateman, H. Transcendental Functions; McGraw Hill: New York, NY, USA, 1953; Volume 1. [Google Scholar]
  51. Durán, A.J.; Pérez, M.; Varona, J.L. Some conjectures on Wronskian and Casorati determinants of orthogonal polynomials. Exp. Math. 2015, 24, 123–132. [Google Scholar] [CrossRef]
  52. Quesne, C. Rationally-extended radial oscillators and Laguerre exceptional orthogonal polynomials in kth-order SUSYQM. Int. J. Mod. Phys. A 2011, 26, 5337–5347. [Google Scholar] [CrossRef]
  53. Quesne, C. Higher-order SUSY, exactly solvable potentials, and exceptional orthogonal polynomials. Mod. Phys. Lett. A 2011, 26, 1843–1852. [Google Scholar] [CrossRef]
  54. Quesne, C. Exceptional orthogonal polynomials and new exactly solvable potentials in quantum mechanics. J. Phys. Conf. Ser. 2012, 380, 012016. [Google Scholar] [CrossRef]
  55. Natanson, G. Single-source nets of algebraically-quantized reflective Liouville potentials on the line I. Almost-everywhere holomorphic solutions of rational canonical Sturm-Liouville equations with second-order poles. arXiv 2015, arXiv:1503.04798v2. [Google Scholar]
  56. Odake, S. Equivalences of the multi-indexed orthogonal polynomials. J. Math. Phys. 2014, 55, 013502. [Google Scholar] [CrossRef]
  57. Natanson, G. Equivalence Relations for Darboux-Crum Transforms of Translationally Form-Invariant Sturm-Liouville Equations. 2021. Available online: https://www.researchgate.net/publication/353131294 (accessed on 9 August 2021).
  58. Hartman, P. Ordinary Differential Equations; John Wiley: New York, NY, USA, 1964. [Google Scholar]
  59. Karlin, S.; Szegő, G. On Certain Determinants Whose Elements Are Orthogonal Polynomials. J. d’Analyse Math. 1960, 8, 1–157. [Google Scholar] [CrossRef]
  60. Bagrov, V.G.; Samsonov, B.F. Darboux transformation and elementary exact solutions of the Schrödinger equation. Pramana 1997, 49, 563–580. [Google Scholar] [CrossRef]
  61. Adler, V.E. A modification of Crum’s method. Theor. Math. Phys. 1994, 101, 1381–1386. [Google Scholar] [CrossRef]
  62. Natanson, G. Quantization of rationally deformed Morse potentials by Wronskian transforms of Romanovski-Bessel polynomials. Acta Polytech. 2022, 62, 100–117. [Google Scholar] [CrossRef]
  63. Schnizer, W.A.; Leeb, H. Exactly solvable models for the Schrödinger equation from generalized Darboux transformations. J. Phys. A Math. Gen. 1993, 26, 5145–5156. [Google Scholar] [CrossRef]
  64. Pozdeeva, E.; Schulze-Halberg, A. Propagators of generalized Schrödinger equations related by higher-order supersymmetry. Int. J. Mod. Phys. A 2011, 26, 191–207. [Google Scholar] [CrossRef]
  65. Muir, T. A Treatise on the Theory of Determinants; Revised and enlarged by W. H. Metzler; Dover Publications: New York, NY, USA, 1960; p. 198. [Google Scholar]
  66. Natanson, G. Quartet of Rationally-Deformed Non-PT-Symmetric Scarf II Potentials with Real Energy Spectra and Eigenfunctions Expressible in Terms of Complex X1 Differential Polynomial Systems. 2019. Available online: https://www.researchgate.net/publication/336839321 (accessed on 27 October 2019).
Table 1. Correlation between labels t and signs of Jacobi indexes.
Table 1. Correlation between labels t and signs of Jacobi indexes.
t a b c d
σ  σ++ −− ++ ++ −
Table 2. Classification of JS solutions on the infinite interval (1, ∞) based on their asymptotic behavior near the endpoints.
Table 2. Classification of JS solutions on the infinite interval (1, ∞) based on their asymptotic behavior near the endpoints.
t ˜ σ , m σ σ + σ m
a ˜ + + − 0 m <
a ˜ − + − m n c ˜ = j max + 1
b ˜ − − + 0 m < 1 2 ( λ o ; + λ o ; + 1 )
b ˜ − + + 0 m < 1 2 ( λ o ; + λ o ; 1 )
c ˜ − + + 0 m j max
d ˜ + − − 1 2 ( λ o ; + λ o ; 1 ) m <
d ˜ − − − m > 1 2 ( λ o ; + λ o ; + 1 )
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Natanson, G. Exceptional Differential Polynomial Systems Formed by Simple Pseudo-Wronskians of Jacobi Polynomials and Their Infinite and Finite X-Orthogonal Reductions. Mathematics 2025, 13, 1487. https://doi.org/10.3390/math13091487

AMA Style

Natanson G. Exceptional Differential Polynomial Systems Formed by Simple Pseudo-Wronskians of Jacobi Polynomials and Their Infinite and Finite X-Orthogonal Reductions. Mathematics. 2025; 13(9):1487. https://doi.org/10.3390/math13091487

Chicago/Turabian Style

Natanson, Gregory. 2025. "Exceptional Differential Polynomial Systems Formed by Simple Pseudo-Wronskians of Jacobi Polynomials and Their Infinite and Finite X-Orthogonal Reductions" Mathematics 13, no. 9: 1487. https://doi.org/10.3390/math13091487

APA Style

Natanson, G. (2025). Exceptional Differential Polynomial Systems Formed by Simple Pseudo-Wronskians of Jacobi Polynomials and Their Infinite and Finite X-Orthogonal Reductions. Mathematics, 13(9), 1487. https://doi.org/10.3390/math13091487

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop