Abstract
In this paper, the authors investigate the case of discrete multiple orthogonal polynomials with two weights on the step line, which satisfy Pearson equations. The discrete multiple orthogonal polynomials in question are expressed in terms of \(\tau \)-functions, which are double Wronskians of generalized hypergeometric series. The shifts in the spectral parameter for type II and type I multiple orthogonal polynomials are described using banded matrices. It is demonstrated that these polynomials offer solutions to multicomponent integrable extensions of the nonlinear Toda equations. Additionally, the paper characterizes extensions of the Nijhoff–Capel totally discrete Toda equations. The hypergeometric \(\tau \)-functions are shown to provide solutions to these integrable nonlinear equations. Furthermore, the authors explore Laguerre–Freud equations, nonlinear equations for the recursion coefficients, with a particular focus on the multiple Charlier, generalized multiple Charlier, multiple Meixner II, and generalized multiple Meixner II cases.
Similar content being viewed by others
1 Introduction
Discrete multiple orthogonal polynomials, \(\tau \)-functions, generalized hypergeometric series, Pearson equations, Laguerre–Freud equations, and Toda type equations are intriguing mathematical objects that have attracted considerable attention due to their deep connections with various areas of mathematics and physics. These intertwined concepts play a fundamental role in understanding the underlying structures and dynamics of discrete systems, integrable models, and special functions. In this paper, we delve into the rich mathematical theory of discrete multiple orthogonal polynomials, explore their relationship with \(\tau \)-functions and generalized hypergeometric series, and investigate their applications in Laguerre–Freud equations and Toda type equations.
Orthogonal polynomials [18, 26, 46] are a fascinating and powerful tool in Applied Mathematics and Theoretical Physics, with a wide range of applications in various fields. They possess remarkable properties and have been extensively studied for their applications in approximation theory, numerical analysis, and many other areas. Among the vast family of orthogonal polynomials, two special classes that have attracted significant attention are multiple orthogonal polynomials and discrete orthogonal polynomials.
Back in 1895, Pearson [62], in the context of fitting curves to real data, introduced his famous family of frequency curves by means of the differential equation \(\frac{f'(x)}{f (x)} = \frac{p_1(x)}{p_2(x)}\), where f is the probability density and \(p_i\) is a polynomial in x of degree at most i, \(i = 1, 2\). Since then, a vast bibliography has been developed regarding the properties of Pearson distributions. The connection between Pearson equations and orthogonal polynomials lies in the fact that the solutions to Pearson equations often coincide with or are closely related to certain families of orthogonal polynomials. They are characterized by a weight function, which determines the orthogonality properties of the associated orthogonal polynomials. These equations have been extensively studied due to their close relationship with special functions, such as the classical orthogonal polynomials (e.g., Legendre, Hermite, Laguerre) and their generalizations. In this work, we will use the Gauss–Borel approach to orthogonal polynomials, for a review paper see [53]. In previous papers, we have explored the application of this technique to the study of discrete hypergeometric orthogonal polynomials, Toda equations, \(\tau \)-functions, and Laguerre–Freud equations, see [35,36,37, 55].
Multiple orthogonal polynomials [5, 46, 57, 61] arise when multiple weight functions are involved in the orthogonality conditions. Unlike classical orthogonal polynomials, where a single weight function is used, multiple orthogonal polynomials exhibit a more intricate structure due to the interplay of multiple weight functions. These polynomials have been studied extensively and find applications in areas such as simultaneous approximation, random matrix theory, and statistical mechanics. For the appearance and use of the Pearson equation in multiple orthogonality, see [21, 29], see also [22]. On the other hand, discrete orthogonal polynomials [46, 60] emerge when the orthogonality conditions are defined on a discrete set of points. These polynomials find applications in various discrete systems, such as combinatorial optimization, signal processing, and coding theory. Discrete orthogonal polynomials provide a valuable tool for analyzing and solving problems in discrete settings, where the underlying structure is often characterized by a finite or countable set of points. Discrete Pearson equations play an important role in the classification of classical discrete orthogonal polynomials [60]. When a discrete Pearson equation is fulfilled by the weight, we are dealing with semiclassical discrete orthogonal polynomials, see [30, 32,33,34]. Multiple discrete orthogonal polynomials were discussed in [17].
Integrable discrete equations [45] have emerged as a fascinating and important field of study in Mathematical Physics, providing insights into the behavior of discrete dynamical systems with remarkable properties. These equations possess a rich algebraic and geometric structure, allowing for the existence of soliton solutions, conservation laws, and integrability properties. The concept of integrability in discrete equations goes beyond mere solvability and extends to the existence of an abundance of conserved quantities and symmetries [4]. This integrability property enables the development of powerful mathematical methods for studying and understanding their behavior. One of the key features of integrable discrete equations is their connection to the theory of orthogonal polynomials. These polynomials play a central role in the construction of discrete equations with special properties. The link between discrete equations and orthogonal polynomials provides a deep understanding of their solutions, recursion relations, and symmetry properties.
The \(\tau \)-function [44] is a key concept in the theory of integrable systems and serves as a bridge between the spectral theory of linear operators and the dynamics of soliton equations. It has profound connections with algebraic geometry, representation theory, and special functions. Semiclassical orthogonal polynomials, along with their corresponding functionals supported on complex curves, have been extensively studied in relation to isomonodromic tau functions and matrix models by Bertola, Eynard, and Harnad [20]. In the context of discrete multiple orthogonal polynomials, the \(\tau \)-function captures the underlying integrable structure and provides insights into the dynamics and symmetries of the corresponding discrete systems. Its study enables us to uncover deep connections between different mathematical objects and uncover hidden patterns.
Generalized hypergeometric series, another important topic in this research, constitute a class of special functions that arise in diverse mathematical contexts [6, 24]. They possess remarkable properties and have been extensively studied due to their connections with combinatorics, number theory, and mathematical physics. Generalized hypergeometric series play a key role in expressing solutions of differential equations, evaluating integrals, and understanding the behavior of various mathematical models. They have a pivotal role in the Askey scheme that gathers together different important families of orthogonal families within a chain of limits [47]. See [19] for an extension of the Askey scheme to multiple orthogonality. Recently, we have completed a part of the multiple Askey scheme by finding hypergeometric expressions for the Hahn type I multiple orthogonal polynomials and their descendants in the multiple Askey scheme [23] (but for the multiple Hermite case).
Laguerre–Freud equations are a family of differential equations that emerge in the study of orthogonal polynomials associated with exponential weights. For orthogonal polynomials, these Laguerre–Freud equations represent nonlinear relations for the recursion coefficients in the three-term recurrence relation. In other words, we are dealing with a set of nonlinear equations for the coefficients \(\{\beta _n,\gamma _n\}\) of the three-term recursion relations \(zP_n(z) = P_{n+1}(z) + \beta _nP_n(z) + \gamma _nP_{n-1}(z)\) satisfied by the orthogonal polynomial sequence. These Laguerre–Freud equations take the form \(\gamma _{n+1} = \mathcal {G}(n, \gamma _n, \gamma _{n-1}, \dots , \beta _n, \beta _{n-1},\dots )\) and \(\beta _{n+1} = \mathcal {B}(n,\gamma _{n+1},\gamma _n,\dots ,\beta _n,\beta _{n-1},\dots )\). Magnus [49,50,51,52], referring to [42, 48], named these types of relations Laguerre–Freud relations. Several papers discuss Laguerre–Freud relations for the generalized Charlier, generalized Meixner, and type I generalized Hahn cases [27, 30, 38,39,40, 64].
Laguerre–Freud equations are also connected to Painlevé equations. The Painlevé equations are a set of nonlinear ordinary differential equations that were first introduced by the French mathematician Paul Painlevé in the early 20th century. These equations have attracted significant attention due to their integrability properties and the rich mathematical structures associated with their solutions. The connection between orthogonal polynomials and Painlevé equations lies in the fact that certain families of orthogonal polynomials can be related to solutions of specific Painlevé equations. This relationship provides deep insights into the solvability and analytic properties of the Painlevé equations and allows for the construction of explicit solutions using the theory of orthogonal polynomials. For an account of the connection between these fields of study, see [27, 28, 65].
Moreover, building upon the mentioned studies [35,36,37, 55], this paper investigates the relationship between discrete multiple orthogonal polynomials, \(\tau \)-functions, generalized hypergeometric series, and specific equations such as Laguerre–Freud equations and Toda type equations.
Toda type equations, on the other hand, are nonlinear partial differential-difference equations with wide-ranging applications in mathematical physics and integrable systems [44, 45]. Exploring the connections between these equations and the aforementioned mathematical objects sheds light on the interplay between discrete systems, special functions, and integrable models.
In this paper, we aim to provide a comprehensive overview of the theory of discrete multiple orthogonal polynomials, \(\tau \)-functions, generalized hypergeometric series, Laguerre–Freud equations, and Toda type equations. We will delve into the mathematical properties, explicit representations, and recurrence relations of discrete multiple orthogonal polynomials. Furthermore, we will explore the relationship between these polynomials, \(\tau \)-functions, and generalized hypergeometric series. Finally, we will investigate the applications of these concepts to Laguerre–Freud equations and Toda type equations, including both continuous and totally discrete types, showcasing their relevance in the field of mathematical physics and integrable systems.
The layout of the paper is as follows. We continue this section with a basic introduction to discrete multiple orthogonal polynomials and their associated tau functions. In the second section, we delve into Pearson equations for multiple orthogonal polynomials, generalized hypergeometric series, and the corresponding hypergeometric discrete multiple orthogonal polynomials. We discuss their properties, including the Laguerre–Freud matrix that models the shift in the spectral variable, as well as contiguity relations and their consequences.
In the third section, we present two of the main findings discussed in this paper. In Theorem 3.9, we present nonlinear partial differential equations of the Toda type, specifically of the third order, for which the hypergeometric tau functions provide solutions. Additionally, in Theorem 3.20, we provide a completely discrete system, extending the completely discrete Nikhoff–Capel Toda equation, and its solutions in terms of the hypergeometric tau functions.
Finally, in the fourth section, we present explicit Laguerre–Freud equations for the first time for the multiple versions of the generalized Charlier and generalized Meixner II orthogonal polynomials.
1.1 Discrete multiple orthogonality on the step line with two weights
Let us introduce the following vectors of monomials in the independent variable x
Let us also consider a couple of weights \(w^{(1)},w^{(2)}:\mathbb {N}_0\rightarrow \mathbb {C}\) defined on the homogeneous lattice \(\mathbb {N}_0\). The corresponding moment matrix is given by
We also consider the matrices
and shift matrices
and \(\Lambda ^{(a)}{:}{=}\Lambda ^2 I^{(a)}\), \(a\in \{1,2\}\). The following equations are satisfied
The moment matrix satisfies
so that we say that a matrix is bi-Hankel matrix.
The Gauss-Borel or LU factorization of the moment matrix is
where S and \(\tilde{S}\) are lower unitriangular matrices and H is a diagonal matrix.
We define the truncated matrix \({\mathscr {M}}^{[n]}\) as the n-th leading principal submatrix of the moment matrix \( {\mathscr {M}}\), i.e. built up with the first n rows and columns. Then, we introduce the so called \(\tau \)-function, as
Factorization (1) exists whenever \(\tau _n\ne 0\) for \(n\in \mathbb {N}_0\).
Matrices S and \(\tilde{S}\) expand as power series in \(\Lambda ^{\mathsf {\scriptscriptstyle T}}\) with diagonal matrices coefficients
In particular, the following equations hold
and matrices \(\tilde{S}^{[-1]}\) and \(\tilde{S}^{[-2]}\) fulfill analogous relations.
In what follows we will use lowering and rising shift matrices given by
Any diagonal matrix D fulfills the following algebraic properties:
Multiple orthogonal polynomials of type II and I on the step-line are given as entries of certain vector of polynomials. Type II multiple orthogonal polynomial \(B_n\) are the entries of the vector B, while type I multiple orthogonal polynomials \(A_n^{(a)}\), \(a\in \{1,2\}\), are the entries of the vectors \(A^{(a)}\) where
The degrees of these polynomials, for perfect sytems of weights, are easily seen to be
here \(\lceil x\rceil \) is the the smallest integer that is greater than or equal to x. The following multiple orthogonality relations are satisfied
According to [5, Proposition 7] the type II polynomials can be expressed as the following quotient of determinants
Hence, for the coefficients \(p^j_n\) of the type II multiple orthogonal polynomials
we get determinantal expressions. For that aim, let us consider the associated \(\tau \)-functions \(\tau ^j_n\), \(j\in \{1,\dots ,n-1\}\), as the determinants of the matrix \({\mathscr {M}}^{[n,j]}\), \(j\in \{1,\dots ,n-1\}\), obtained from \({\mathscr {M}}^{[n]}\) by removing the \((n-j)\)-th row and adding as last row the row . Then, by expanding the determinant in the RHS of (3) by the last column we get
Similarly [5] we have
The Hessenberg matrix \(T{:}{=}S\Lambda S^{-1}\) and its transposed matrix is \(T^{{\mathsf {\scriptscriptstyle T}}} =H^{-1}\tilde{S}\Lambda ^2 \tilde{S}^{-1}H\) give the 4-term recursion relations related to these multiple orthogonal polynomials. Indeed, the following recurrence relations hold
Notice that T is a tetradiagonal Hessenberg matrix, i.e.,
where \(\alpha \), \(\beta \), and \(\gamma \) are the following diagonal matrices
The diagonal matrices \(\alpha \), \(\beta \), and \(\gamma \) are related with S, \(\tilde{S}\) and H matrices by the following equations:
We introduce the following matrices \(T^{(1)}\) and \(T^{(2)}\)
These matrices satisfy
as well as \(T^{\mathsf {\scriptscriptstyle T}}=T^{(1)}+T^{(2)}\). Hence, \(T^{(a)}\) are matrices with all its superdiagonals but for the first and the second have zero entries.
The Pascal matrices \(L=(L_{n,m})\) have entries given by
while its inverse \(L^{-1}=({\tilde{L}}_{n,m})\) have entries
These matrices act on the monomial vectors as follows
and can be expanded as
with \(D{:}{=}{\text {diag}}(1,2,3,\dots )\) and \(D^{[n]}{:}{=}\frac{1}{n}{\text {diag}}(n^{(n)},(n+1)^{(n)},\dots )\) where \(x^{(n)}=x(x-1)\cdots (x-n+1)\). In terms of Pascal matrices we define the dressed Pascal matrices
For type II multiple orthogonal polynomials we find the following properties:
We can proceed similarly for the type I multiple orthogonal polynomials. We introduce the matrices \(L^{\pm (a)}\), \(a\in \{1,2\}\), with nonzero entries
and zero for any other couple sub-indexes. We will also use \(L^{(a)}=L^{+(a)}\). These matrices satisfy
The partial Pascal matrices can be expressed as band matrices, but in this case the even or odd diagonals are null, i.e.,
where we have
Analogously, dressed Pascal matrices are defined by
and the following relations are satisfied
2 Discrete Multiple Orthogonal Polynomials and Pearson equations
2.1 Pearson equation
Let us consider that weights \(w^{(1)},w^{(2)}\) subject to the following discrete Pearson equations
where \(\theta \), \(\sigma ^{(1)}\) and \(\sigma ^{(2)}\) are polynomials, and \(\theta (0)=0\). An important result regarding these type of weights is:
Theorem 2.1
Let us assume that the weights \(w^{(1)},w^{(2)}\) solve the Pearson equations (9). Then, the corresponding moment matrix \({\mathscr {M}}\) satisfy the following matrix equation
Proof
For the moment matrix is \( {\mathscr {M}}\) we find
\(\square \)
This matrix property implies for the tetradiagonal Hessenberg recursion matrix T the following
Proposition 2.2
Let us assume that the weights \(w^{(1)},w^{(2)}\) solve the Pearson equations (9), for the recursion matrix T in (7), the following relation holds
Proof
Using Eq. (10) and the Gauss–Borel factorization we get
grouping S on one side and \(\tilde{S} \) on the other side of the equation:
it can be written as
and finally we get Eq. (11). \(\square \)
2.2 Hypergeometric discrete multiple orthogonal polynomials
Let us write the polynomials \(\theta \) and \(\sigma ^{(a)}\), \(a\in \{1,2\}\), in Eq. (9) as follows
In the subsequent discussion we require of generalized hypergeometric series, see [6, 63],
where we use the Pochhammer symbol \((b)_k{:}{=}b(b+1)\cdots (b+k-1)\) and \((b)_0=1\),
Pearson equations (9) determine uniquely the weights \(w^{(1)},w^{(2)}\), up to multiplicative constant, to be
In what follows we will use logarithmic derivatives
as well as
We introduce \( t^{(a)}{:}{=}\log {\eta ^{(a)}}\), \(a\in \{1,2\}\) and
so that \(\eta ^{(1)}={\text {e}}^{t+{\tilde{t}}}\) and \(\eta ^{(2)}={\text {e}}^{t-{\tilde{t}}}\)
Lemma 2.3
For the differential operators \(\vartheta \) and \({\tilde{\vartheta }}\) we find
Proof
It follows from
\(\square \)
An open question is whether the system of weights \(\{w^{(1)},w^{(2)}\}\) is perfect. That is the case if we are dealing with AT systems, see [46]. Following [17, Examples 2.1 and 2.2] we can give two families satisfying this condition:
Lemma 2.4
(Perfect & AT systems) The system of weights \(\{w^{(1)},w^{(2)}\}\) with:
-
(i)
$$\begin{aligned} w^{(a)}(k)&= \dfrac{\big (b_1\big )_k\cdots \big (b_M\big )_k}{(c_1)_k\cdots (c_N)_k} \dfrac{(\eta ^{(a)})^k}{k!},&a&\in \{1,2\}, \end{aligned}$$
where \(\eta ^{(a)},b_i,c_j>0\), and
-
(ii)
$$\begin{aligned} w^{(a)}(k)&=\dfrac{\big (b_1\big )_k\cdots \big (b_{M-1}\big )_k(b^{(a)})_k}{(c_1)_k\cdots (c_N)_k}\dfrac{\eta ^k}{k!},&a&\in \{1,2\}, \end{aligned}$$
with \(\eta ,b_i,c_j,b^{(a)}>0\)
are AT systems and consequently a perfect systems.
Proof
\(\square \)
Proposition 2.5
In terms of generalized hypergeometric functions, the moment matrix can be written as a block matrix
where the moments are expressed in terms of generalized hypergeometric series as follows
Proof
It follows from the definition of the moment matrix \({\mathscr {M}}\). Equation (15) determining the moments in terms of two families of generalized hypergeometric series follows from Eq. (14) and [55].\(\square \)
Given a function \(f=f(\eta )\) we consider the covector . For two functions \(f_1(\eta ^{(1)})\) we consider the double Wronskian of the covectors \(\delta _n(f_1)\) and \(\delta _n(f_2)\) given by
the double Wronskian of the covectors \(\delta _{n+1}(f_1)\) and \(\delta _n(f_2)\) given by
We refer to these objects as double \(\delta \)-Wronskians. Then, the \(\tau \)-function (2) can be written as the double \(\delta \)-Wronskian of two generalized hypergeometric series as follows
Double or 2-component Wronskians were first considered, within the context of integrable systems, by Freeman, Gilson and Nimmo in [41], see also [43].
Lemma 2.6
For the associated \(\tau \)-function we find
Proof
It follows from the multi-linearity of the determinant and Equation (14) in where the even columns depend only on \(\eta ^{(1)}\) and the odd columns on \({\eta ^{(2)}}\). \(\square \)
Proposition 2.7
The following expressions in terms of the \(\tau \) functions hold true
Proof
It can be proven [5]
Then, using the previous Lemma 2.6 we get the result. \(\square \)
Proposition 2.8
The moment matrix satisfies
Proof
It follows from Eq. (15). \(\square \)
Remark 2.9
The previous results apply to more general situations than those provided by the Pearson equation and the generalized hypergeometric series. We only need to assume that \(\vartheta w^{(a)}(k)=kw^{(a)}(k)\). Using the double \(\delta \)-Wronskian, we can construct a tau function as follows:
Then, Lemma 2.6 and Propositions 2.7 and 2.8 hold true.
2.3 Laguerre-Freud matrix
Theorem 2.10
(Laguerre–Freud matrix)Let us assume that the weights fulfill discrte Pearson equation (9), where \(\theta \), \(\sigma ^{(1)}\) and \(\sigma ^{(2)}\) are polynomials with \(\deg {\theta }=N\) and \(\max {(\deg {\sigma ^{(1)}},\deg {\sigma ^{(2)}})}=M\).Then, the Laguerre-Freud matrix given by
is a banded matrix with lower bandwidth 2M and upper bandwidth N, as follows:
Moreover, the following connection formulas are fulfilled:
Proof
If \(\deg {\theta }=N\) then \(\theta (T)=\Lambda ^N+M^{(N-1)}\Lambda ^{N-1}+\cdots \) so it will have N possible nonzero superdiagonals and using the same argument we conclude that it has 2M subdiagonals possibly nonzero.
For the type II polynomials B(z) we have
and for the type I polynomials \(A^{(a)}\) we find
\(\square \)
Lemma 2.11
If the matrix M is such that \(MX(z)=0\) then \(M=0\).
Proof
From \(MX(z)=0\) we conclude that \(M \frac{1}{n!}X^{(n)}(0)=0\) but \(\frac{1}{n!}X^{(n)}(0)=e_n\), where \(e_n\) is the vector with all its entries zero but for a unit at the n-th entry. Therefore, we conclude that the n-th column of M has all its entries equal to zero. Consequently, \(M=0\) \(\square \)
Proposition 2.12
(Compatibility I) For recursion and Freud–Laguerre matrices the following compatibility relation is fulfilled
Proof
Therefore, \(([\Psi ,T]-\Psi )B(z)=0\). Consequently, we get \(([\Psi ,T]-\Psi )S X(z)=0\) and according to Lemma 2.11 we deduce that \(([\Psi ,T]-\Psi )S =0\), and as S is an unitriangular matrix, with inverses, we deduce that \([\Psi ,T]-\Psi \) is the zero matrix. \(\square \)
2.4 Contiguous hypergeometric relations
For generalized hypergeometric series we have the following contiguous relations
Let us denote by \( {}_i\Theta ^{(a)}\) the shifting the \(b^{(a)}_i\rightarrow b^{(a)}_i+1\) and by \(\Theta _j\) the shifting \(c_j\rightarrow c_j+1\). These contiguity relations translate into the moment matrix as follows:
Theorem 2.13
(Contiguous relations for the moment matrix) The following equations for the moment matrix hold:
Proof
To prove Eq. (22) we notice that, according to (14), we can write the following equations for moment matrix entries
with \(n,m\in \mathbb {N}_0\). Let us prove Eq. (23) by noticing that the entries of the moment matrix satisfy
so that
\(\square \)
2.5 Connection matrices
Definition 2.14
Connection matrices are defined as
Lemma 2.15
The following relations between connection matrices are fulfilled
Proof
Let us prove Eq. (28). From the definition (22) and the Gauss–Borel factorization (1) of the moment matrix \({\mathscr {M}}\) we find
that after some cleaning leads to
Analogously, Eq. (29) can be proved using (23) and (1). \(\square \)
Proposition 2.16
Connection matrices have a banded triangular structure with three non-null diagonals. In the one hand, for \(i\in \{1,\dots ,M^{(a)}\}\), \(a\in \{1,2\}\), we have
with
where \(\pi \in S_2\) is the permutation \(\pi (1)=2\) and \(\pi (2)=1\). In the other hand, for \(j\in \{1,\dots ,N\}\), we find
with
Proof
Above relations are found using Eq. (28), (24) and (25). Let us show only the cases \({}_i\omega ^{(1)}\) and \({}_i\Omega ^{(1)}\), as the others cases are proven similarly. Departing from Eqs. (24) and (25) we see that
and using (28) we get the result. \(\square \)
Theorem 2.17
Vectors of polynomials \(A^{(a)}\), \(a\in \{1,2\}\), and B fulfill the following connection formulas
with \(i\in \{1,\dots ,M^{(a)}\}\), \(a\in \{1,2\}\), and \(j\in \{1,\dots ,N\}\).
Proof
Equations (34), (35), (36) and (37) can be proved through the action of connection matrix on vectors \(A^{(a)}\) and B. Let us check (34):
and immediately (34) is proved. \(\square \)
3 Multiple Toda systems and hypergeometric \(\tau \)-functions
3.1 Continuous case
Let us now explore how the hypergeometric discrete multiple orthogonal polynomials leads to solutions, in terms of \(\tau \)-functions, which are double Wronskians of generalized hypergeometric series, to multiple Toda type systems.
Let us start by introducing the strictly lower triangular matrices
For them we have the following two lemmas
Lemma 3.1
The following relations are fulfilled
Proof
From \(B=SX\) we get
\(\square \)
Lemma 3.2
The following relations are fulfilled
Proof
We have that
\(\square \)
Proposition 3.3
The following equations are fulfilled
Proof
Recall that \({\mathscr {M}}=S^{-1}H\tilde{S}^{-{\mathsf {\scriptscriptstyle T}}}\) so that
so
\(\square \)
We will denote:
Proposition 3.4
The following equations hold
Proof
From (40) we obtain
Diagonal by diagonal we get the equations. \(\square \)
Proposition 3.5
The following relations are fulfilled
Proof
Relations (42a) and (42b) can be obtained from (41b) if we consider the equation in the form \(\vartheta S=-((\Lambda ^\top )^2\gamma +\Lambda ^\top )S\) equating by diagonals. Analogously, (42d) and (42c) con be obtained from (41c). \(\square \)
Proposition 3.6
For the step-line recursion coefficients the following expressions hold
Proof
It is proven using Eq. (8) and Proposition 3.3, just split (41b) by diagonals. \(\square \)
Corollary 3.7
In terms of tau functions the entries in recursion Hessenberg matrix can be expressed as follows
Proof
It follows from Eqs. (43) and (16). \(\square \)
Proposition 3.8
(Multiple Toda equations) The functions \(q_n{:}{=}\log H_n\) and \(f_n{:}{=}S^{[1]}_n=p^1_{n+1}\) solve the system
Proof
Using Eq. (43) we write
Acting with \(\vartheta \) on the first equation an using then the second equation we get
Then, the equation reads
that after some clearing leads to Eq. (44). \(\square \)
Theorem 3.9
The \(\tau \)-function satisfies the following nonlinear third order differential–difference equation
Proof
Notice that the first equation \(\vartheta q_n=f_{n-1}-f_n\), when the \(\tau \) function is used, becomes an identity, indeed
Then, the second equation reads
that expanding the differentiations leads to
and after some clearing we get
from where we immediately find Eq. (45). \(\square \)
Remark 3.10
For the discrete hypergeometric orthogonal polynomials the standard Toda equation, see for example [55, Equation (168)], can be written in terms of the \(\tau \)-function as the following nonlinear second order differential–difference equation
We clearly see that (45) is an extension to the multiple orthogonal realm of the standard Toda equation.
Next we write this multiple Toda equations as the following Toda system for the recursion coefficients \(\alpha \), \(\beta \) and \(\gamma \):
Proposition 3.11
For multiple orthogonality with two weights we have the following Toda type system:
Proof
Equation (46) is immediately obtained from (41a). From (41b), analyzing diagonal by diagonal we can obtain two different equations:
using equations above and expressions for \(\alpha \), \(\beta \) and \(\gamma \) depending of \(S^{[2]}\) and \(S^{[1]}\) we obtain (46), (47) and (48). \(\square \)
Proposition 3.12
(Lax pair) The matrices T and \(\phi \) are a Lax pair, i.e. the following Lax equation is satisfied
where
Proof
We have \(T=S\Lambda S^{-1}\) so that
and we get Eq. (49). The other form can be proved with (41b) and:
\(\square \)
Remark 3.13
As mentioned in Remark 2.9, the previous results are applicable to more general situations beyond generalized hypergeometric series. The only requirement is that \(\vartheta w^{(a)}(k)=kw^{(a)}(k)\). Once again, we utilize the tau function defined as \(\tau _n={\mathscr {W}}_n[\rho ^{(1)}_0,\rho ^{(2)}_0]\), where \(\rho ^{(a)}_0=\sum _{n=0}^\infty w^{(a)}(k)\).
Coming back to the hypergeometric situation, there is another compatibility equation for Laguerre-Freud matrix, when we make calculations for concrete cases of multiple orthogonal polynomials we will name it Compatibility II.
Proposition 3.14
The following compatibility conditions hold for recursion and Laguerre-Freud matrices
with lower triangular matrices \(\mu {:}{=}\mu ^{(1)}+\mu ^{(2)}\) and \(\mu ^{(a)}{:}{=}(\vartheta _{(a)}H^{-1})H+H^{-1}\tilde{\phi }^{(a)}H.\)
Proof
We have that
Therefore,
then
We also have
Equating above relations and grouping terms and using Lemma 2.11 we find that
To prove (51) we need to show first \(\vartheta ^{(1)}A^{(1)}=\mu ^{(1)}A^{(1)}\), \(\vartheta ^{(2)}A^{(1)}=\mu ^{(2)}A^{(1)}\), \(\vartheta ^{(1)}A^{(2)}=\mu ^{(1)}A^{(2)}\) and \(\vartheta ^{(2)}A^{(2)}=\mu ^{(2)}A^{(2)}\).We will prove equations for \(A^{(1)}\) because for \(A^{(2)}\) it is analogous:
Hence, we get
and
Consequently,
if we add both last equations we have \(\vartheta A^{(1)}=\mu A^{(1)}\) (and for \(A^{(2)}\) there is the same equation). The compatibility Toda–Pearson must hold:
On the one hand
On the other hand
Consequently, equating both:
and using Lemma 3.21 we finally get
\(\square \)
3.2 Multiple Nijhoff–Capel discrete Toda equations
We will now study the compatibility conditions between shifts in the three families of hypergeometric parameters:
for functions \(u_n\). We will use the following notation:
-
(i)
\({\hat{u}}\) denotes a shift in one and only one parameter in the first family of parameters, i.e., \(b^{(1)}_r\rightarrow b^{(1)}_r+1\) for only one given \(r\in \{1,\dots ,M^{(1)}\}\). The corresponding tridiagonal connection matrix is denoted by \(\Omega ^{(r)}\), and we define \({\hat{d}}{:}{=}b^{(1)}_r\).
-
(ii)
\({\check{u}}\) denotes a shift in one and only one parameter in the second family of parameters, i.e., \(b^{(2)}_s\rightarrow b^{(2)}_s+1\) for only one given \(q\in \{1,\dots ,M^{(1)}\}\). The corresponding tridiagonal connection matrix is denoted by \(\Omega ^{(q)}\), and we define \({\check{d}}{:}{=}b^{(2)}_q\).
-
(iii)
\({\tilde{u}}\) denotes a shift in one and only one parameter in the third family of parameters, i.e., \(c_s\rightarrow c_s-1\) for only one given \(s\in \{1,\dots ,N\}\). The corresponding tridiagonal connection matrix is denoted by \(\Omega ^{(s)}\), and we define \({\tilde{d}}{:}{=}c_s-1\).
-
(iv)
\({\bar{u}}\) denotes the shift \(n\rightarrow n+2\).
Lemma 3.15
Connection matrices fulfill the following compatibility conditions:
Proof
In the one hand, connection formulas can be written as follows
so that \(\tilde{\Omega }^{(r)}\tilde{\hat{B}}=\tilde{B} \) and, consequently, \(\Omega ^{(s)}\tilde{\Omega }^{(r)}\tilde{\hat{B}}=\Omega ^{(s)}\tilde{B}=B\). On the other hand, we have \(\hat{\Omega }^{(s)}\hat{\tilde{B}}=\hat{B}\) so that \(\Omega ^{(r)}\hat{\Omega }^{(s)}\hat{\tilde{B}}=\Omega ^{(r)}\hat{B}=B\). Hence, the compatibility \(\tilde{\hat{P}}=\hat{\tilde{P}}\) leads to (52a). Relations (52b) and (52c) are proven analogously. \(\square \)
From this point we will use the following notation:
Theorem 3.16
(Multiple Nijhoff–Capel Toda systems) The four functions u, v, f and g satisfy the following 3D system of four nonlinear difference equations:
-
(i)
For the shifts \(\hat{}\), \( \tilde{}\) and \(\bar{}\):
$$\begin{aligned} g(\tilde{f}-\hat{f})+\tilde{g}(\tilde{\hat{f}}-\tilde{f})+\hat{g}(\hat{f}-\hat{\tilde{f}})&= \frac{1}{\tilde{d}}\left( \frac{\hat{\bar{u}}}{\hat{\tilde{u}}}-\frac{\bar{u}}{\tilde{u}}\right) + \frac{1}{\hat{d}}\left( \frac{\bar{u}}{\hat{u}}-\frac{\tilde{\bar{u}}}{\tilde{\hat{u}}}\right) , \end{aligned}$$(53a)$$\begin{aligned} \bar{f}(\hat{g}-\tilde{g})+\tilde{\bar{f}}(\tilde{g}-\tilde{\hat{g}})+\hat{\bar{f}}(\hat{\tilde{g}}-\hat{g})&= \frac{1}{\tilde{d}}\left( \frac{\bar{v}}{\tilde{v}}-\frac{\hat{\bar{v}}}{\hat{\tilde{v}}}\right) ,\end{aligned}$$(53b)$$\begin{aligned} \frac{1}{\tilde{d}}\frac{\hat{\bar{u}}}{\hat{\tilde{u}}}(\hat{\bar{f}}-\bar{f})+\frac{1}{\hat{d}}\frac{\tilde{\bar{u}}}{\tilde{\hat{u}}}(\bar{f}-\tilde{\bar{f}})+\frac{1}{\tilde{d}}\frac{\bar{v}}{\tilde{v}}(\tilde{f}-\tilde{\hat{f}})&=0,\end{aligned}$$(53c)$$\begin{aligned} \frac{1}{\hat{d}}\frac{\bar{\bar{u}}}{\hat{\bar{u}}}(\hat{g} -\hat{\tilde{g}})+\frac{1}{\tilde{d}} \frac{\bar{\bar{u}}}{\tilde{\bar{u}}}(\tilde{\hat{g}}-\tilde{g})+\frac{1}{\tilde{d}} \frac{\hat{\bar{v}}}{\hat{\tilde{v}}}(\bar{g}-\hat{\bar{g}})&=0. \end{aligned}$$(53d) -
(ii)
For the shifts \(\check{}\), \( \tilde{}\) and \(\bar{}\):
$$\begin{aligned} g(\tilde{f}-\check{f})+\tilde{g}(\check{\tilde{f}}-\tilde{f}) +\check{g}(\check{f}-\check{\tilde{f}})&= \frac{1}{\tilde{d}}\left( \frac{\check{\bar{u}}}{\check{\tilde{u}}} -\frac{\bar{u}}{\tilde{u}}\right) \end{aligned}$$(54a)$$\begin{aligned} \bar{f}(\tilde{g}-\check{g})+\tilde{\bar{f}}(\tilde{\check{g}}-\tilde{g}) +\check{\bar{f}}(\check{g}-\check{\tilde{g}})&= \frac{1}{\tilde{d}} \left( \frac{\check{\bar{v}}}{\check{\tilde{v}}}-\frac{\bar{v}}{\tilde{v}}\right) +\frac{1}{\check{d}}\left( \frac{\bar{v}}{\check{v}}-\frac{\tilde{\bar{v}}}{\check{\tilde{v}}}\right) ,\end{aligned}$$(54b)$$\begin{aligned} \frac{1}{\tilde{d}}\frac{\check{\bar{u}}}{\check{\tilde{u}}}(\bar{f}-\check{\bar{f}})+\frac{1}{\check{d}}\frac{\bar{v}}{\check{v}}(\check{f}-\check{\tilde{f}})+\frac{1}{\tilde{d}}\frac{\bar{v}}{\tilde{v}}(\tilde{\check{f}}-\tilde{f})&=0,\end{aligned}$$(54c)$$\begin{aligned} \frac{1}{\tilde{d}}\frac{\bar{\bar{u}}}{\tilde{\bar{u}}}(\tilde{g}-\tilde{\check{g}}) +\frac{1}{\check{d}}\frac{\tilde{\bar{v}}}{\tilde{\check{v}}}(\bar{g}-\tilde{\bar{g}}) +\frac{1}{\tilde{d}}\frac{\check{\bar{v}}}{\check{\tilde{v}}}(\check{\bar{g}}-\bar{g})&=0. \end{aligned}$$(54d) -
(iii)
For the shifts \(\hat{}\), \( \check{}\) and \(\bar{}\):
$$\begin{aligned} \frac{1}{{\hat{d}}}\frac{\check{\bar{u}}}{\check{\hat{u}}}(\bar{f}-\check{\bar{f}})+ \frac{1}{{\check{d}}}\frac{\bar{v}}{\check{v}}(\check{f}-\check{\hat{f}})&=0, \end{aligned}$$(55a)$$\begin{aligned} \frac{1}{{\hat{d}}}\frac{\bar{\bar{u}}}{\hat{\bar{u}}}(\hat{\check{g}}-\hat{g})+ \frac{1}{{\check{d}}}\frac{\hat{\bar{v}}}{\check{\hat{v}}}(\hat{\bar{g}}-\bar{g})&= 0, \end{aligned}$$(55b)$$\begin{aligned} g(\check{f}-\hat{f})+\check{g}(\check{\hat{f}}-\check{f})+\hat{g}(\hat{f}-\check{\hat{f}})&=\frac{1}{\hat{d}}\left( \frac{\bar{u}}{\hat{u}}-\frac{\check{\bar{u}}}{\hat{\check{u}}}\right) , \end{aligned}$$(55c)$$\begin{aligned} \bar{f}(\check{g}-\hat{g})+\check{\bar{f}}(\check{\hat{g}}-{\check{g}})+\hat{\bar{f}}(\hat{g}-\check{\hat{g}})&= \frac{1}{\check{d}}\left( \frac{\hat{\bar{v}}}{\check{\hat{v}}}-\frac{\bar{v}}{\check{v}}\right) . \end{aligned}$$(55d)
Proof
-
(i)
From (52a) we can find the following two non-trivial equations for matrices \(S^{[1]}\) and H from second and third subdiagonals:
$$\begin{aligned}{} & {} \frac{1}{\tilde{d}}({\mathfrak {a}}_{-}^2\hat{H})\hat{\tilde{H}}^{-1}+({\mathfrak {a}}_{-}S^{[1]} -{\mathfrak {a}}_{-}\hat{S}^{[1]})(\hat{S}^{[1]}-\hat{\tilde{S}}^{[1]}) +\frac{1}{\hat{d}}I^{(1)}\hat{H}^{-1}{\mathfrak {a}}_{-}^2H\nonumber \\{} & {} \quad =\frac{1}{\hat{d}}\tilde{\hat{H}}^{-1}({\mathfrak {a}}_{-}^2 \tilde{H})I^{(1)}+({\mathfrak {a}}_{-}S^{[1]}-{\mathfrak {a}}_{-}\hat{S}^{[1]}) (\tilde{S}^{[1]}-\tilde{\hat{S}}^{[1]})+\frac{1}{\tilde{d}}({\mathfrak {a}}_{-}^2H)\tilde{H}^{-1}\qquad \end{aligned}$$(56)and
$$\begin{aligned}{} & {} \frac{1}{\tilde{d}}({\mathfrak {a}}_{-}^2\hat{H})\hat{\tilde{H}}^{-1}({\mathfrak {a}}_{-}^2S^{[1]} -{\mathfrak {a}}_{-}^2\hat{S}^{[1]})+\frac{1}{\hat{d}}I^{(2)} ({\mathfrak {a}}_{-}^3H)({\mathfrak {a}}_{-}\hat{H}^{-1}) (\hat{S}^{[1]}-\tilde{\hat{S}}^{[1]})\nonumber \\{} & {} \quad =\frac{1}{\hat{d}}I^{(1)}({\mathfrak {a}}_{-}^2\tilde{H}) \tilde{\hat{H}}^{-1}+\frac{1}{\tilde{d}}({\mathfrak {a}}_{-}^3H) ({\mathfrak {a}}_{-}\tilde{H}^{-1})(\tilde{S}^{[1]}-\tilde{\hat{S}}^{[1]}). \end{aligned}$$(57)From (56), equating by one side the terms that multiplied \(I^{(1)}\) we obtain (53a) and from the terms multiplied by \(I^{(2)}\) it is obtained (53b). From (57), equating terms in \(I^{(1)}\) it is obtained (53c) and from terms in \(I^{(2)}\) we get (53d).
-
(ii)
From (52b), we find two non-trivial equations for matrices \(S^{[1]}\) and H from second and third subdiagonals:
$$\begin{aligned}{} & {} \frac{1}{\tilde{d}}({\mathfrak {a}}_{-}^2\check{H})\check{\tilde{H}}^{-1} +({\mathfrak {a}}_{-}S^{[1]}-{\mathfrak {a}}_{-} \check{S}^{[1]})(\check{S}^{[1]}-\check{\tilde{S}}^{[1]}) +\frac{1}{\check{d}}I^{(2)}\check{H}^{-1}{\mathfrak {a}}_{-}^2H\nonumber \\{} & {} \quad =\frac{1}{\check{d}}I^{(2)}\tilde{\check{H}}^{-1}{\mathfrak {a}}_{-}^2\tilde{H}+({\mathfrak {a}}_{-}S^{[1]}-{\mathfrak {a}}_{-}\tilde{S}^{[1]})(\tilde{S}^{[1]}-\tilde{\check{S}}^{[1]})+\frac{1}{\tilde{d}}({\mathfrak {a}}_{-}^2H)\tilde{H}^{-1} \end{aligned}$$(58)and
$$\begin{aligned}{} & {} \frac{1}{\tilde{d}}({\mathfrak {a}}_{-}^2\check{H})\check{\tilde{H}}^{-1}({\mathfrak {a}}_{-}^2S^{[1]} -{\mathfrak {a}}_{-}^2\check{S}^{[1]})+\frac{1}{\check{d}}I^{(1)} ({\mathfrak {a}}_{-}\check{H}^{-1})({\mathfrak {a}}_{-}^3H)(\check{S}^{[1]} -\check{\tilde{S}}^{[1]})\nonumber \\{} & {} \quad =\frac{1}{\check{d}}I^{(2)}\tilde{\check{H}}^{-1}{\mathfrak {a}}_{-}^2\tilde{H}+\frac{1}{\tilde{d}}({\mathfrak {a}}_{-}^3H)({\mathfrak {a}}_{-}\tilde{H}^{-1})(\tilde{S}^{[1]}-\tilde{\check{S}}^{[1]}). \end{aligned}$$(59)From (58), equating by one side the terms that multiplied \(I^{(1)}\) we obtain (54a) and from the terms multiplied by \(I^{(2)}\) it is obtained (53b). From Eq. (59), equating terms in \(I^{(1)}\) it is obtained (54c) and from terms in \(I^{(2)}\) we obtain (54d).
-
(iii)
From (52c), from third subdiagonal we can obtain
$$\begin{aligned}{} & {} \frac{1}{\tilde{d}}({\mathfrak {a}}_{-}^2\tilde{H}^{-1})I^{(1)}({\mathfrak {a}}_{-}^3H) (\tilde{S}^{[1]}-\tilde{\hat{S}}^{[1]})+\frac{1}{\hat{d}}I^{(1)} \tilde{\hat{H}}^{-1}({\mathfrak {a}}_{-}^2\tilde{H})({\mathfrak {a}}_{-}^2S^{[1]} -{\mathfrak {a}}_{-}^2\tilde{S}^{[1]})\nonumber \\{} & {} \quad =\frac{1}{\hat{d}}I^{(2)}({\mathfrak {a}}_{-}\hat{H}^{-1})({\mathfrak {a}}_{-}^3H)(\hat{S}^{[1]}-\hat{\tilde{S}}^{[1]})+\frac{1}{\tilde{d}}I^{(2)}\hat{\tilde{H}}^{-1}{\mathfrak {a}}_{-}^2\hat{H} \end{aligned}$$(60)and from the terms of \(I^{(1)}\) we can obtain (55a), and from terms of \(I^{(2)}\) we can obtain (55b).
From second subdiagonal we get the following equation:
$$\begin{aligned}{} & {} \frac{1}{ \tilde{d}}I^{(2)}\tilde{H}^{-1}{\mathfrak {a}}_{-}^2H+({\mathfrak {a}}_{-}S^{[1]})\tilde{S}^{[1]}-({\mathfrak {a}}_{-}\tilde{S}^{[1]})(\tilde{S}^{[1]}-\tilde{\hat{S}}^{[1]})+\frac{1}{\hat{d}}I^{(1)}\tilde{\hat{H}}^{-1}{\mathfrak {a}}_{-}^2\tilde{H}\nonumber \\{} & {} \quad =\frac{1}{\hat{d}}I^{(1)}\hat{H}^{-1}{\mathfrak {a}}_{-}^2H+({\mathfrak {a}}_{-}S^{[1]})\hat{S}^{[1]}-({\mathfrak {a}}_{-}\hat{S}^{[1]})(\hat{S}^{[1]}-\hat{\tilde{S}}^{[1]})+\frac{1}{\tilde{d}}I^{(2)}\hat{\tilde{H}}^{-1}{\mathfrak {a}}_{-}^2\hat{H},\nonumber \\ \end{aligned}$$(61)from terms of \(I^{(1)}\) we obtain (55c) and from terms of \(I^{(2)}\) we deduce (55d).
\(\square \)
Remark 3.17
Each set of Eqs. (3.16), (3.16) and (3.16) is a nonlinear system of four equations of discrete partial difference equations in three variables for four functions. The first two systems (3.16) and (3.16) are equivalent under the interchange of \(\hat{}\longleftrightarrow \check{}\), \(u\longleftrightarrow v\) and \(f\longleftrightarrow g\).
Remark 3.18
Notice that Eqs. (3.16) and (3.16) can be considered for the AT systems of weights described Lemma 2.4. Therefore, we are sure that the multiple orthogonal polynomials do exist. For other cases, one needs to proof perfectness or that the system is AT, which is still a open issue.
Remark 3.19
In [55], we discovered the Nijhoff–Capel Toda equation (Equation (128)) for standard non-multiple hypergeometric orthogonal polynomials [55]. It can be expressed as:
This equation is obtained by considering Equation (53a) with \(v=g=0\). Consequently, we refer to these systems as multiple Nijhoff–Capel Toda systems, namely (3.16), (3.16), and (3.16). The mentioned equation is the fifth equation among the canonical types for consistency equations corresponding to an octahedral sub-lattice, as described in [4] and [45, Equation (3.107c) and §3.9].
Theorem 3.20
The multiple Nijhoff–Capel system (3.16) reads
Notice that we have large families of solutions to this system of equations in terms of double Wronskians of generalized hypergeometric functions.
Proof
Use the \(\tau \)-function parametrization
\(\square \)
Lemma 3.21
If a matrix M is such that \(MX^{(1)}(z)=MX^{(2)}(z)=0\) then \(M=0\).
Proof
We have that
Observe that \(\frac{1}{n!}\frac{{\text {d}}^n X^{(1)}(z)}{{\text {d}}z^n}\big |_{z=0}\) is the vector with all its entries equal to zero but for a 1 in the 2n-th entry. Similarly, \(\frac{1}{n!}\frac{{\text {d}}^n X^{(2)}(z)}{{\text {d}}z^n}\big |_{z=0}\) is the vector with all its entries equal to zero but for a 1 in the \((2n+1)\)-th entry. Therefore, all the columns of M have 0 all its entries. \(\square \)
Lemma 3.22
The following equations are satisfied
holds.
Proof
From eigenvalue equation for \(T^{\mathsf {\scriptscriptstyle T}}\) and \(A^{(a)}\), \({A^{(a)}}^{\mathsf {\scriptscriptstyle T}}T =z{A^{(a)}}^{\mathsf {\scriptscriptstyle T}}\), and (34) for this case, \(\hat{A}^{(a)}(z)=\frac{\omega ^{(r)}}{z+\hat{d}}A^{(a)}(z)\) it can be seen
so that
Hence, if we denote \(M=(\hat{T}^{\mathsf {\scriptscriptstyle T}}\omega ^{(r)}-\hat{T}^{\mathsf {\scriptscriptstyle T}}\omega ^{(r)}T)H^{-1}{\tilde{S}}\) we find \(MX^{(a)}=0\) so that, according to Lemma 3.21, we get that \(M=0\) and as \(H^{-1}{\tilde{S}}\) is a lower triangular invertible matrix we conclude the result. and finally we get
For Eqs. (63) and (64) it can be proven analogously. \(\square \)
Theorem 3.23
The six functions u, v, f, g, F and G fulfill the following system of six 2D nonlinear difference equations
-
(i)
For the shifts \( \tilde{}\) and \(\bar{}\):
$$\begin{aligned}&\tilde{d}(G-\bar{F}+\tilde{\bar{F}}-\tilde{G}+\tilde{\bar{f}}(\bar{g}-\bar{\tilde{g}})+\tilde{g}(\tilde{\bar{f}}-\bar{f}))=\frac{\bar{v}}{\tilde{v}}-\frac{\bar{\bar{u}}}{\tilde{\bar{u}}}, \end{aligned}$$(65a)$$\begin{aligned}&\tilde{d}(F-G+\tilde{G}-\tilde{F}+\tilde{g}(\bar{f}-\tilde{\bar{f}})+\tilde{f}(\tilde{g}-g))=\frac{\bar{u}}{\tilde{u}}-\frac{\bar{v}}{\tilde{v}},\end{aligned}$$(65b)$$\begin{aligned}&\frac{\bar{\bar{u}}}{\tilde{\bar{u}}}(\tilde{g}-\tilde{\bar{f}})+\tilde{d}(\bar{g}-\tilde{\bar{g}}) (\tilde{G}-\tilde{\bar{F}}-\tilde{\bar{f}}(\tilde{\bar{f}}-\tilde{\bar{g}})) +\tilde{d}\frac{\tilde{\bar{\bar{u}}}}{\tilde{\bar{u}}} =\tilde{d}\frac{\bar{\bar{u}}}{\bar{u}}+\frac{\bar{\bar{u}}}{\tilde{\bar{u}}}(\bar{g}-\bar{\bar{f}})\nonumber \\&\quad +\tilde{d}(\bar{f}-\tilde{\bar{f}})(\bar{F}-\bar{G}-\bar{g}(\bar{g}-\bar{\bar{f}})),\end{aligned}$$(65c)$$\begin{aligned}&\frac{\bar{v}}{\tilde{v}}(\tilde{f}-\tilde{g})+\tilde{d}(\bar{f}-\tilde{\bar{f}})(\tilde{F}-\tilde{G} -\tilde{g}(\tilde{g}-\tilde{\bar{f}}))+\tilde{d}\frac{\tilde{\bar{v}}}{\tilde{v}} =\tilde{d}\frac{\bar{v}}{v}+\frac{\bar{v}}{\tilde{v}}(\bar{f}-\bar{g})\nonumber \\&\quad +\tilde{d}(g-\tilde{g})(G-\bar{F}-\bar{f}(\bar{f}-\bar{g})), \end{aligned}$$(65d)$$\begin{aligned}&\frac{\bar{\bar{v}}}{\tilde{\bar{v}}}(\tilde{G}-\tilde{\bar{F}}-\tilde{\bar{f}}(\tilde{\bar{f}} -\tilde{\bar{g}}))+\tilde{d}\frac{\tilde{\bar{\bar{u}}}}{\tilde{\bar{u}}}(\bar{f}-\tilde{\bar{f}}) =\tilde{d}\frac{\bar{\bar{v}}}{\bar{v}}(\bar{f}-\tilde{\bar{f}}) +\frac{\bar{\bar{u}}}{\tilde{\bar{u}}}(\bar{G}-\bar{\bar{F}}-\bar{\bar{f}}(\bar{\bar{f}}-\bar{\bar{g}})), \end{aligned}$$(65e)$$\begin{aligned}&\frac{\bar{\bar{u}}}{\tilde{\bar{u}}}(\tilde{F}-\tilde{G}-\tilde{g}(\tilde{g}-\tilde{\bar{f}}))+\tilde{d}\frac{\tilde{\bar{v}}}{\tilde{v}}(\bar{g}-\tilde{\bar{g}})=\tilde{d}\frac{\bar{\bar{u}}}{\bar{u}}(g-\tilde{g})+\frac{\bar{v}}{\tilde{v}}(\bar{F}-\bar{G}-\bar{g}(\bar{g}-\bar{\bar{f}})). \end{aligned}$$(65f) -
(ii)
For the shifts \(\check{}\) and \(\bar{}\):
$$\begin{aligned}&\frac{\bar{v}}{\check{v}}=\check{d}(G-\bar{F}-\check{G}+\check{\bar{F}} +\check{\bar{f}}(\bar{g}-\check{\bar{g}})+\check{g}(\check{\bar{f}}-\bar{f})), \end{aligned}$$(66a)$$\begin{aligned}&\check{d}(F-G-\check{F}+\check{G}+\check{g}(\bar{f}-\check{\bar{f}}) +\check{f}(\check{g}-g)=-\frac{\bar{v}}{\check{v}}, \end{aligned}$$(66b)$$\begin{aligned}&\frac{\check{\bar{\bar{u}}}}{\check{\bar{u}}}+(\bar{g}-\check{\bar{g}})(\check{G} -\check{\bar{F}}-\check{\bar{f}}(\check{\bar{f}}-\check{\bar{g}})) =\frac{\bar{\bar{u}}}{\bar{u}}+(\bar{f}-\check{\bar{f}})(\bar{F}-\bar{G}-\bar{g}(\bar{g} -\bar{\bar{f}})), \end{aligned}$$(66c)$$\begin{aligned}&\frac{\bar{v}}{\check{v}}(\check{f}-\check{g})+\check{d}(\bar{f} -\check{\bar{f}})(\check{F}-\check{G}-\check{g}(\check{g}-\check{\bar{f}})) +\check{d}\frac{\check{\bar{v}}}{\check{v}}\nonumber \\&\quad =\check{d}\frac{\bar{v}}{v}+\check{d}(g-\check{g})(G-\bar{F} -\bar{f}(\bar{f}-\bar{g}))+\frac{\bar{v}}{\check{v}}(\bar{f}-\bar{g}), \end{aligned}$$(66d)$$\begin{aligned}&\frac{\bar{\bar{v}}}{\check{\bar{v}}}(\check{G}-\check{\bar{F}}-\check{\bar{f}}(\check{\bar{f}} -\check{\bar{g}}))+\check{d}\frac{\check{\bar{\bar{u}}}}{\check{\bar{u}}}(\bar{\bar{f}} -\check{\bar{\bar{f}}})=\check{d}\frac{\bar{\bar{v}}}{\bar{v}}(\bar{f}-\check{\bar{f}}), \end{aligned}$$(66e)$$\begin{aligned}&\check{d}\frac{\check{\bar{v}}}{\check{v}}(\bar{g}-\check{\bar{g}}) =\check{d}\frac{\bar{\bar{u}}}{\bar{u}}(g-\check{g})+\frac{\bar{v}}{\check{v}} (\bar{F}-\bar{G}-\bar{g}(\bar{g}-\bar{\bar{f}})) .\end{aligned}$$(66f) -
(iii)
For the shifts \( \hat{}\) and \(\bar{}\):
$$\begin{aligned}&\hat{d}(G-\bar{F}-\hat{G}+\hat{\bar{F}}+\hat{g}(\hat{\bar{f}}-\bar{f}) +\hat{\bar{f}}(\bar{g}-\hat{\bar{g}}))=-\frac{\bar{\bar{u}}}{\hat{\bar{u}}}, \end{aligned}$$(67a)$$\begin{aligned}&\hat{d}(F-G-\hat{\bar{F}}+\hat{G}+\hat{f}(\hat{g}-g)+\hat{g}(\bar{f}-\hat{\bar{f}}) =\frac{\bar{u}}{\hat{u}},\end{aligned}$$(67b)$$\begin{aligned}&\hat{d}\left( \frac{\hat{\bar{\bar{u}}}}{\hat{\bar{u}}}+(\bar{g}-\hat{\bar{g}}) (\hat{G}-\hat{\bar{F}}-\hat{\bar{f}}(\hat{\bar{f}}-\hat{\bar{g}}))\right) +\frac{\bar{\bar{u}}}{\hat{\bar{u}}}(\hat{g}-\hat{\bar{f}})\nonumber \\&\quad =\frac{\bar{\bar{u}}}{\hat{\bar{u}}}(\bar{g}-\bar{\bar{f}}) +\hat{d}\left( \frac{\bar{\bar{u}}}{\bar{u}}+(\bar{f}-\hat{\bar{f}}) (\bar{F}-\bar{G}-\bar{g}(\bar{g}-\bar{\bar{f}}))\right) ,\end{aligned}$$(67c)$$\begin{aligned}&\frac{\hat{\bar{v}}}{\hat{v}}+(\bar{f}-\hat{\bar{f}})(\hat{F}-\hat{G} -\hat{g}(\hat{g}-\hat{\bar{f}}))=\frac{\bar{v}}{v}+(g-\hat{g})(G-\bar{F}-\bar{f}(\bar{f}-\bar{g})),\end{aligned}$$(67d)$$\begin{aligned}&\hat{d}\frac{\hat{\bar{u}}}{\hat{u}}(\bar{f}-\hat{\bar{f}})=\hat{d} \frac{\bar{v}}{v}(f-\hat{f})+\frac{\bar{u}}{\hat{u}}(G-\bar{F}-\bar{f}(\bar{f}-\bar{g})), \end{aligned}$$(67e)$$\begin{aligned}&\frac{\bar{v}}{\hat{v}}(\hat{F}-\hat{G}-\hat{g}(\hat{g}-\hat{\bar{f}}))+\hat{d} \frac{\hat{\bar{v}}}{\hat{v}}(\bar{g}-\hat{\bar{g}})=\hat{d}\frac{\bar{\bar{u}}}{\bar{u}}(g-\hat{g}). \end{aligned}$$(67f)
Proof
From (64) we obtained three non-null diagonals. From first diagonal
if we take \(I^{(1)}\) part we obtain (65a) and from \(I^{(2)}\) we obtain (65b); from second diagonal
from part coming from \(I^{(1)}\) it can be obtained (65c) and from part of \(I^{(2)}\) it can be obtained (65d); from third superdiagonal
from part of \(I^{(1)}\) it can be obtained (65e) and from part of \(I^{(2)}\) it can be obtained (65f). From (63) we can obtain three non-null diagonals. From first superdiagonal
from part of \(I^{(1)}\) it can be obtained (66a) and from part of \(I^{(2)}\) it can be obtained (66b); from second superdiagonal
from part of \(I^{(1)}\) it can be obtained (66c) and from part of \(I^{(2)}\) it can be obtained (66d); and from third superdiagonal
from part of \(I^{(1)}\) we can obtain (66e) and from \(I^{(2)}\) we can obtain (66f). \(\square \)
Remark 3.24
Notice that
As we did in Proposition 3.20 for the multiple Nijhoff–Capel Toda system we can get \(\tau \)-function representation of the system (3.23).
4 Laguerre–Freud equations for generalized multiple Charlier and Meixner II
We will begin by applying the previous developments to the multiple orthogonal polynomials discussed in [17], specifically the multiple Charlier and Meixner II sequences of multiple orthogonal polynomials. It has been proven in [17] that in all these cases, the system is AT, indicating that we are dealing with perfect systems. Subsequently, we will proceed with the study of generalizations of these two cases. The original polynomials were found in [25] and [58], respectively.
We will demonstrate that it is possible to discuss Laguerre–Freud equations in all these examples. In this multiple scenario, we extend the concept of Laguerre–Freud equations to encompass nonlinear equations satisfied by the coefficients of the recursion relation in the form:
4.1 Charlier multiple orthogonal polynomials
In this case we set
if \({\eta ^{(1)}},{\eta ^{(2)}}>0\), it is an AT system, and polynomials \(\theta \), \(\sigma ^{(1)}\) and \(\sigma ^{(2)}\) are:
Now, \(\sigma ^{(1)}\) and \(\sigma ^{(2)}\) are degree zero polynomials and \(\theta \) is a degree one polynomial, consequently there are not non-zero subdiagonals and there is only one non-zero superdiagonal, this is:
To obtain Laguerre-Freud matrix firstly it is used \(\Psi =\sigma ^{(1)}(T^{\mathsf {\scriptscriptstyle T}}_1)\Pi ^{\mathsf {\scriptscriptstyle T}}_1+\sigma ^{(2)}(T^{\mathsf {\scriptscriptstyle T}}_2)\Pi ^{\mathsf {\scriptscriptstyle T}}_2\), from this expression it is obtained:
From the expression \(\Psi =\Pi ^{-1}\theta (T)\) we get
Attending to the above results the Laguerre-Freud structure matrix is
Let us discuss \([\Psi ,T]=\Psi \). First we obtain that \([\Psi ,T]=\Lambda ^{\mathsf {\scriptscriptstyle T}}\tilde{\psi }^{(-1)}+\tilde{\psi }^{(0)}+\tilde{\psi }^{(1)}\Lambda \), i.e.,
equating these to Laguerre–Freud matrix \(\Psi \) we obtain three non-trivial equations:
From compatibility equations we get
where \(n \in \lbrace 0,1,2,\dots \rbrace \). These results have been found previously in [17].
4.2 Meixner of second kind multiple orthogonal polynomials
In this case we have:
The weights are:
if \(b_1,b_2,\eta >0\), according with Lemma 2.4, it is an AT system.
The Laguerre-Freud matrix has four non-trivial diagonals:
The main diagonal and the first super diagonal can be obtained by means of \(\Psi =\Pi ^{-1}\theta (T)\):
Both subdiagonals are obtained through \(\Psi =\sigma ^{(1)}(T_1^{\mathsf {\scriptscriptstyle T}})\Pi _1^{\mathsf {\scriptscriptstyle T}}+\sigma ^{(2)}(T^{\mathsf {\scriptscriptstyle T}}_2)\Pi _2^{\mathsf {\scriptscriptstyle T}}\):
Using Compatibility I we can obtain three non trivial equations from first superdiagonal, first subdiagonals and the main diagonal, respectively:
Equating both expressions for \(\psi ^{(0)}\) we obtain expressions for \(\alpha \):
From compatibility conditions we obtain:
As we can see, results for \(\alpha _{2n}, \alpha _{2n+1}, \beta _{2n}, \beta _{2n+1}, \gamma _{2n}\) and \(\gamma _{2n+1}\) agree with results obtained in [17].
4.3 Generalized Charlier multiple orthogonal polynomials
In this case we have that:
The weights are
are for \(c>-1,\eta ^{(1)},\eta ^{(2)}>0\), according to the Lemma 2.4, AT systems. Due to the \(\sigma ^{(1)}\), \(\sigma ^{(2)}\) and \(\theta \) polynomials degrees, Laguerre-Freud matrix has three non-trivial diagonals:
By means of \(\Psi =\Pi ^{-1}\theta (T)\) we can obtain expressions for first and second subdiagonals and through \(\Psi =\Pi ^{\mathsf {\scriptscriptstyle T}}_1\sigma ^{(1)}(T_1^{\mathsf {\scriptscriptstyle T}})+\Pi ^{\mathsf {\scriptscriptstyle T}}_2\sigma ^{(2)}(T_2^{\mathsf {\scriptscriptstyle T}})\) the main diagonal is obtained:
From Compatibility I non-trivial equations for first superdiagonal, main diagonal and first subdiagonal are obtained:
These equations can be written element by element respectively as
From Compatibility II we obtain three non-trivial equations from first superdiagonal, main diagonal and first subdiagonal, respectively:
Proposition 4.1
(Laguerre–Freud equations) Laguerre–Freud Equations (68) for generalized Charlier multiple orthogonal polynomials are
4.4 Generalized Meixner of second kind multiple orthogonal polynomials
In this case we have
The weights are:
if \(b_1, b_2, \eta >0\) and \(c>-1\), according with Lemma 2.4, it is an AT system.
In this case Laguerre–Freud matrix has five non-null diagonals, it is:
Second and first superdiagonals are obtained using \(\Psi =\Pi ^{-1}\theta (T)\):
Using \(\Psi =\sigma ^{(1)}(T_1^{\mathsf {\scriptscriptstyle T}})\Pi _1^{\mathsf {\scriptscriptstyle T}}+\sigma ^{(2)}(T^{\mathsf {\scriptscriptstyle T}}_2)\Pi _2^{\mathsf {\scriptscriptstyle T}}\):
From Compatibility I we get three non-trivial equations from the first subdiagonal, the main diagonal and the first superdiagonal, respectively:
Equations above can be expressed as
respectively.
From Compatibility II we obtain
as we can see that first and second equations appear in compatibility I.
Proposition 4.2
(Laguerre–Freud equations) Laguerre–Freud equations (68) for generalized Meixner II multiple orthogonal polynomials are
5 Conclusions and outlook
Adler and van Moerbeke extensively utilized the Gauss–Borel factorization of the moment matrix in their studies of integrable systems and orthogonal polynomials [1,2,3]. We have also employed these ideas in various contexts, including CMV orthogonal polynomials, matrix orthogonal polynomials, multiple orthogonal polynomials, and multivariate orthogonal polynomials [5, 7,8,9,10,11,12,13,14,15,16]. For a comprehensive overview, refer to [53].
In a recent work [55], we applied this approach to investigate the implications of the Pearson equation on the moment matrix and Jacobi matrices. To describe these implications, we introduced a new banded matrix called the Laguerre-Freud structure matrix, which encodes the Laguerre–Freud relations for the recurrence coefficients. We also discovered that the contiguous relations satisfied generalized hypergeometric functions, determining the moments of the weight described by the squared norms of the orthogonal polynomials. This led to a discrete Toda hierarchy known as the Nijhoff–Capel equation [59].
In [54], we further examined the role of Christoffel and Geronimus transformations in describing the aforementioned contiguous relations and used Geronimus–Christoffel transformations to characterize shifts in the spectral independent variable of the orthogonal polynomials. Building on this program, we delved deeper into the study of discrete semiclassical cases, discovering Laguerre–Freud relations for the recursion coefficients of three types of discrete orthogonal polynomials: generalized Charlier, generalized Meixner, [37] and generalized Hahn of type I [36].
In [35], we completed this program by obtaining Laguerre-Freud structure matrices and equations for three families of hypergeometric discrete orthogonal polynomials.
In this paper, we extend the previous lines of research to multiple orthogonal polynomials on the step line with two weights. We derive hypergeometric \(\tau \)-function representations for these multiple orthogonal polynomials and introduce a third-order integrable nonlinear Toda-type equation for these \(\tau \)-functions. Additionally, we discover systems of nonlinear discrete Nijhoff–Capel Toda-type equations satisfied by these objects. Finally, we apply the Laguerre–Freud matrix structure and compatibilities to derive Laguerre–Freud equations for the multiple generalized Charlier and multiple generalized Meixner of the second type.
As a future outlook, we highlight the following five lines of research:
-
(i)
Finding larger families of hypergeometric AT systems.
-
(ii)
Analyzing the case of p weights with \(p>2\).
-
(iii)
Studying the connections between the topics discussed in this paper and the transformations presented in [21, 22] and quadrilateral lattices [31, 56].
-
(iv)
Exploring the relationship with multiple versions of discrete and continuous Painlevé equations involving the coefficients \(\alpha _n\), \(\beta _n\), and \(\gamma _n\). The results presented in this paper constitute progress in this direction, as identifying this connection is a nontrivial problem that can be further investigated in future works.
-
(v)
Discussing higher-order integrable flows and finding applications to multicomponent KP-type equations.
Data availability
This paper has no associated data.
References
Adler, M., van Moerbeke, P.: Vertex operator solutions to the discrete KP hierarchy. Commun. Math. Phys. 203, 185–210 (1999)
Adler, M., van Moerbeke, P.: Generalized orthogonal polynomials, discrete KP and Riemann–Hilbert problems. Commun. Math. Phys. 207, 589–620 (1999)
Adler, M., van Moerbeke, P.: Darboux transforms on band matrices, weights and associated polynomials. Int. Math. Res. Not. 18, 935–984 (2001)
Adler, V.E., Bobenko, A.I., Suris, Y.B.: Classification of integrable discrete equations of octahedron type. Int. Math. Res. Not. 2012, 1822–1889 (2012)
Álvarez-Fernández, C., Fidalgo, U., Mañas, M.: Multiple orthogonal polynomials of mixed type: Gauss–Borel factorization and the multi-component 2D Toda hierarchy. Adv. Math. 227, 1451–1525 (2011)
Andrews, G.E., Askey, R., Roy, R.: Special Functions. Cambridge University Press, Cambridge (1999)
Álvarez-Fernández, C., Mañas, M.: Orthogonal Laurent polynomials on the unit circle, extended CMV ordering and 2D Toda type integrable hierarchies. Adv. Math. 240, 132–193 (2013)
Álvarez-Fernández, C., Ariznabarreta, G., García-Ardila, J.C., Mañas, M., Marcellán, F.: Christoffel transformations for matrix orthogonal polynomials in the real line and the non-Abelian 2D Toda lattice hierarchy. Int. Math. Res. Not. 2017(5), 1285–1341 (2017)
Ariznabarreta, G., García-Ardila, J.C., Mañas, M., Marcellán, F.: Matrix biorthogonal polynomials on the real line: Geronimus transformations. Bull. Math. Sci. 9, 195007 (2019). ((68 pages))
Ariznabarreta, G., García-Ardila, J.C., Mañas, M., Marcellán, F.: Non-Abelian integrable hierarchies: matrix biorthogonal polynomials and perturbations. J. Phys. A Math. Theor. 51, 205204 (2018)
Ariznabarreta, G., Mañas, M.: Matrix orthogonal Laurent polynomials on the unit circle and Toda type integrable systems. Adv. Math. 264, 396–463 (2014)
Ariznabarreta, G., Mañas, M.: Multivariate orthogonal polynomials and integrable systems. Adv. Math. 302, 628–739 (2016)
Ariznabarreta, G., Mañas, M.: Christoffel transformations for multivariate orthogonal polynomials. J. Approx. Theory 225, 242–283 (2018)
Ariznabarreta, G., Mañas, M.: Multivariate orthogonal Laurent polynomials and integrable systems. Publ. RIMS Kyoto Univ. 56, 79–195 (2022)
Ariznabarreta, G., Mañas, M.: Multivariate Toda hierarchies and biorthogonal polynomials. Physica D 434, 33202 (2022)
Ariznabarreta, G., Mañas, M., Toledano, A.: CMV biorthogonal Laurent polynomials: perturbations and Christoffel formulas. Stud. Appl. Math. 140, 333–400 (2018)
Arvesú, J., Coussement, J., Van Assche, W.: Some discrete multiple orthogonal polynomials. J. Comput. Appl. Math. 153, 19–45 (2003)
Beals, R., Wong, R.: Special Functions and Orthogonal Polynomials, Cambridge studies in advances mathematics, vol. 153. Cambridge (2016)
Beckermann, B., Coussement, J., Van Assche, W.: Multiple Wilson and Jacobi–Piñeiro polynomials. J. Approx. Theory 132, 155–181 (2005)
Bertola, M., Eynard, B., Harnad, J.: Semiclassical orthogonal polynomials, matrix models and isomonodromic tau functions. Commun. Math. Phys. 263, 401–437 (2006)
Branquinho, A., Foulquié-Moreno, A., Mañas, M.: Multiple orthogonal polynomials: Pearson equations and Christoffel formulas. Anal. Math. Phys. 12(6), 1–59 (2022)
Branquinho, A., Foulquié-Moreno, A., Mañas, M.: Bidiagonal factorization of tetradiagonal matrices and Darboux transformations. Anal. Math. Phys. 13(42), 1–59 (2023)
Branquinho, A., Díaz, J.E.F., Foulquié-Moreno, A., Mañas, M.: Hahn multiple orthogonal polynomials of type I: hypergeometric expressions. J. Math. Anal. Appl. 528, 1277471 (2023)
Branquinho, A., Fernández-Díaz, J.E., Foulquié-Moreno, A., Mañas, M.: Hypergeometric Multiple Orthogonal Polynomials and Random Walks (2021). arXiv:2107.00770
Charlier, C.V.L.: Über die Darstellung willkürlicher Funktionen, Arkiv för Matematik, Astronomi och Fysic 2, 20 (1905-06)
Chihara, T.S.: An Introduction to Orthogonal Polynomials, Gorodn and Breach, New York (1978). Reprinted by Dover, New York, 2011
Clarkson, P.A.: Recurrence coefficients for discrete orthonormal polynomials and the Painlevé equations. J. Phys. A Math. Theor. 46, 185205 (2013)
Clarkson, P.A.: Classical solutions of the degenerate fifth Painlevé equation. J. Phys. A Math. Theor. 56, 134002 (2023)
Coussement, J., Van Assche, W.: Some classical multiple orthogonal polynomials. J. Comput. Appl. Math. 1, 317–347 (2001)
Dominici, D.: Laguerre–Freud equations for generalized Hahn polynomials of type I. J. Differ. Equ. Appl. 24, 916–940 (2018)
Doliwa, A., Santini, P.M., Mañas, M.: Transformations of quadrilateral lattices. J. Math. Phys. 41, 944–990 (2000)
Dominici, D.: Matrix factorizations and orthogonal polynomials. Random Matrices Theory Appl. 9, 2040003, 33 (2020)
Dominici, D., Marcellán, F.: Discrete semiclassical orthogonal polynomials of class one. Pac. J. Math. 268(2), 389–411 (2012)
Dominici, D., Marcellán, F.: Discrete semiclassical orthogonal polynomials of class 2. In: Huertas, E., Marcellán, F. (eds.) Orthogonal Polynomials: Current Trends and Applications. SEMA SIMAI Springer Series, vol. 22, pp. 103–169. Springer, Berlin (2021)
Fernández-Irrisarri, I., Mañas, M.: Laguerre–Freud Equations for three families of hypergeometric discrete orthogonal polynomials. Stud. Appl. Math. 151, 509–535 (2023)
Fernández-Irisarri, I., Mañas, M.: Laguerre–Freud equations for the Gauss hypergeometric discrete orthogonal polynomials. Mathematics 11, 4866 (2023)
Fernández-Irisarri, I., Mañas, M.: Matrix factorizations for the generalized Charlier and Meixner orthogonal polynomials. Linear Algebra Appl. (2024). https://doi.org/10.1016/j.laa.2024.01.012
Filipuk, G., Van Assche, W.: Recurrence coefficients of generalized Charlier polynomials and the fifth Painlevé equation. Proc. Am. Math. Soc. 141, 551–62 (2013)
Filipuk, G., Van Assche, W.: Recurrence coefficients of a new generalization of the Meixner polynomials, symmetry. Integr. Geom. Methods Appl. (SIGMA) 7, 068 (2011)
Filipuk, G., Van Assche, W.: Discrete orthogonal polynomials with hypergeometric weights and Painlevé VI, symmetry. Integr. Geom. Methods Appl. (SIGMA) 14, 088, 19 (2018)
Freeman, N.C., Gilson, C.R., Nimmo, J.J.C.: Two-component KP hierarchy and the classical Boussinesq equation. J. Phys. A Math. Gen. 23, 4793–4803 (1990)
Freud, G.: On the coefficients in the recursion formulae of orthogonal polynomials. Proc. R. Irish Acad. Sect. A 76(1), 1–6 (1976)
Guil, F., Mañas, M.: Finite-rank constraints on linear flows and the Davey–Stewartson equation. J. Phys. A Math. Gen. 28, 1713–1726 (1995)
Harnad, J., Balogh, F.: Tau Functions and Their Applications, Cambridge Monographs in Mathematical Physics. Cambridge University Press, Cambridge (2021)
Hietarinta, J., Joshi, N., Nijhoff, F.W.: Discrete Systems and Integrability, Cambridge Texts in Applied Mathematics. Cambridge University Press, Cambridge (2016)
Ismail, M.E.H.: Classical and Quantum Orthogonal Polynomials in One Variable. Cambridge University Press, Cambdridge (2005)
Koekoek, R., Lesky, P.A., Swarttouw, R.F.: Hypergeometric Orthogonal Polynomials and their q-Analogues. Sprimger, Berlin (2010)
Laguerre, E.: Sur la réduction en fractions continues d’une fraction qui satisfait à une équation différentielle linéaire du premier ordre dont les coefficients sont rationnels. Journal de Mathématiques Pures et Appliquées 4\(^{{\rm e}}\) série, tome 1, 135–165 (1885)
Magnus, A.P.: A proof of Freud’s conjecture about the orthogonal polynomials related to \(|x|\rho \exp (-x^{2m})\), for integer \(m\). In: Orthogonal polynomials and applications (Bar-le-Duc, 1984), Lecture Notes in Mathematics, vol. 1171, pp. 362–372. Springer, Berlin (1985)
Magnus, A.P.: On Freud’s equations for exponential weights. J. Approx. Theory 46(1), 65–99 (1986)
Magnus, A.P.: Painlevé-type differential equations for the recurrence coefficients of semi-classical orthogonal polynomials. J. Comput. Appl. Math. 57, 215–237 (1995)
Magnus, A.P.: Freud’s equations for orthogonal polynomials as discrete Painlevé equations. In: Symmetries and integrability of difference equations (Canterbury, 1996), London Mathematical Society Lecture Note Series, vol. 255, pp. 228–243. Cambridge University Press, Cambridge (1999)
Mañas, M.: Revisiting Biorthogonal Polynomials. An LU factorization discussion. In: Huertas, E., Marcellán, F. (eds.) Orthogonal Polynomials: Current Trends and Applications, SEMA SIMAI Springer Series, vol. 22, pp. 273–308. Springer, Berlin (2021)
Mañas, M.: Pearson Equations for Discrete Orthogonal Polynomials: III. Christoffel and Geronimus transformations, Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas, vol. 116, Article number: 168 (2022)
Mañas, M., Fernández-Irrisarri, I., González-Fernández, O.: Pearson equations for discrete orthogonal polynomials: I. Generalized hypergeometric functions and Toda equations. Stud. Appl. Math. 148, 1141–1179 (2022)
Mañas, M., Doliwa, A., Santini, P.M.: Darboux transformations for multidimensional quadrilateral lattices, I. Phys. Lett. A 232, 99–105 (1997)
Martínez-Finkelshtein, A., Van Assche, W.: What is a multiple orthogonal polynomial? Not. AMS 63(9), 1029–1031 (2016)
Meixner, J.: Orthogonale Polynomsysteme Mit Einer Besonderen Gestalt Der Erzeugenden Funktion. J. Lond. Math. Soc. S1–9(1), 6 (1934)
Nijhoff, F.W., Capel, H.W.: The direct linearisation approach to hierarchies of integrable PDEs in 2 + 1 dimensions: I. Lattice equations and the differential-difference hierarchies. Inverse Prob. 6, 567–590 (1990)
Nikiforov, A.F., Suslov, S.K., Uvarov, V.B.: Classical Orhogonal Polynomials of a Discrete Variable. Springer Series in Computational Physics. Springer, Berlin (1991)
Nikishin, E.M., Sorokin, V.N.: Rational Approximations and Orthogonality, Translations of Mathematical Monographs 92. American Mathematical Society, Providence (1991)
Pearson, K.: Contributions to the mathematical theory of evolution. Philos. Trans. R. Soc. Lond. Ser. A 186, 343–414 (1895)
Slater, L.J.: Generalized Hypergeometric Functions. Cambridge University Press, Cambridge (2008)
Smet, C., Van Assche, W.: Orthogonal polynomials on a bi-lattice. Constr. Approx. 36, 215–242 (2012)
Van Assche, W., Polynomials, O., Equations, P.: Australian Mathematical Society Series 27. Cambridge University Press, Cambridge (2018)
Acknowledgements
The authors acknowledges Spanish “Agencia Estatal de Investigación” research project [PID2021- 122154NB-I00], Ortogonalidad y Aproximación con Aplicaciones en Machine Learning y Teoría de la Probabilidad.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Contributions
All the authors have contribute equally.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no conflict of interest.
Additional information
In memory of the late Diego Dominici.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Fernández-Irisarri, I., Mañas, M. Toda and Laguerre–Freud equations and tau functions for hypergeometric discrete multiple orthogonal polynomials. Anal.Math.Phys. 14, 30 (2024). https://doi.org/10.1007/s13324-024-00876-4
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13324-024-00876-4
Keywords
- Pearson equations
- Discrete multiple orthogonal polynomials
- Toda type integrable equations
- Tau functions
- Generalized hypergeometric series
- Laguerre–Freud equations