Using \D-operators to construct orthogonal polynomials satisfying higher order difference or differential equations

We introduce the concept of \D-operators associated to a sequence of polynomials $(p_n)_n$ and an algebra \A of operators acting in the linear space of polynomials. In this paper, we show that this concept is a powerful tool to generate families of orthogonal polynomials which are eigenfunctions of a higher order difference or differential operator. Indeed, given a classical discrete family $(p_n)_n$ of orthogonal polynomials (Charlier, Meixner, Krawtchouk or Hahn), we form a new sequence of polynomials $(q_n)_n$ by considering a linear combination of two consecutive $p_n$: $q_n=p_n+\beta_np_{n-1}$, \beta_n\in \RR. Using the concept of \D-operator, we determine the structure of the sequence $(\beta_n)_n$ in order that the polynomials $(q_n)_n$ are common eigenfunctions of a higher order difference operator. In addition, we generate sequences $(\beta_n)_n$ for which the polynomials $(q_n)_n$ are also orthogonal with respect to a measure. The same approach is applied to the classical families of Laguerre and Jacobi polynomials.Comment: 43 page

Constructing bispectral dual Hahn polynomials

Using the concept of $\mathcal{D}$-operator and the classical discrete family of dual Hahn, we construct orthogonal polynomials $(q_n)_n$ which are also eigenfunctions of higher order difference operators

Wronskian type determinants of orthogonal polynomials, Selberg type formulas and constant term identities

Let $(p_n)_n$ be a sequence of orthogonal polynomials with respect to the measure $\mu$. Let $T$ be a linear operator acting in the linear space of polynomials \PP and satisfying that \dgr(T(p))=\dgr(p)-1, for all polynomial $p$. We then construct a sequence of polynomials $(s_n)_n$, depending on $T$ but not on $\mu$, such that the Wronskian type $n\times n$ determinant $\det \left(T^{i-1}(p_{m+j-1}(x))\right)_{i,j=1}^n$ is equal to the $m\times m$ determinant $\det \left(q^{j-1}_{n+i-1}(x)\right)_{i,j=1}^m$, up to multiplicative constants, where the polynomials $q_n^i$, $n,i\ge 0$, are defined by $q_n^i(x)=\sum_{j=0}^n\mu_j^is_{n-j}(x)$, and $\mu_j^i$ are certain generalized moments of the measure $\mu$. For $T=d/dx$ we recover a Theorem by Leclerc which extends the well-known Karlin and Szeg\H o identities for Hankel determinants whose entries are ultraspherical, Laguerre and Hermite polynomials. For $T=\Delta$, the first order difference operator, we get some very elegant symmetries for Casorati determinants of classical discrete orthogonal polynomials. We also show that for certain operators $T$, the second determinant above can be rewritten in terms of Selberg type integrals, and that for certain operators $T$ and certain families of orthogonal polynomials $(p_n)_n$, one (or both) of these determinants can also be rewritten as the constant term of certain multivariate Laurent expansions.Comment: 36 page