No Arabic abstract
We introduce a new family of orthogonal polynomials on the disk that has emerged in the context of wave propagation in layered media. Unlike known examples, the polynomials are orthogonal with respect to a measure all of whose even moments are infinite.
Starting from the moment sequences of classical orthogonal polynomials we derive the orthogonality purely algebraically. We consider also the moments of ($q=1$) classical orthogonal polynomials, and study those cases in which the exponential generating function has a nice form. In the opposite direction, we show that the generalized Dumont-Foata polynomials with six parameters are the moments of rescaled continuous dual Hahn polynomials.
Let $p_n(x)$, $n=0,1,dots$, be the orthogonal polynomials with respect to a given density $dmu(x)$. Furthermore, let $d u(x)$ be a density which arises from $dmu(x)$ by multiplication by a rational function in $x$. We prove a formula that expresses the Hankel determinants of moments of $d u(x)$ in terms of a determinant involving the orthogonal polynomials $p_n(x)$ and associated functions $q_n(x)=int p_n(u) ,dmu(u)/(x-u)$. Uvarovs formula for the orthogonal polynomials with respect to $d u(x)$ is a corollary of our theorem. Our result generalises a Hankel determinant formula for the case where the rational function is a polynomial that existed somehow hidden in the folklore of the theory of orthogonal polynomials but has been stated explicitly only relatively recently (see [arXiv:2101.04225]). Our theorem can be interpreted in a two-fold way: analytically or in the sense of formal series. We apply our theorem to derive several curious Hankel determinant evaluations.
We present a formula that expresses the Hankel determinants of a linear combination of length $d+1$ of moments of orthogonal polynomials in terms of a $dtimes d$ determinant of the orthogonal polynomials. This formula exists somehow hidden in the folklore of the theory of orthogonal polynomials but deserves to be better known, and be presented correctly and with full proof. We present four fundamentally different proofs, one that uses classical formulae from the theory of orthogonal polynomials, one that uses a vanishing argument and is due to Elouafi [J. Math. Anal. Appl. 431} (2015), 1253-1274] (but given in an incomplete form there), one that is inspired by random matrix theory and is due to Brezin and Hikami [Comm. Math. Phys. 214 (2000), 111-135], and one that uses (Dodgson) condensation. We give two applications of the formula. In the first application, we explain how to compute such Hankel determinants in a singular case. The second application concerns the linear recurrence of such Hankel determinants for a certain class of moments that covers numerous classical combinatorial sequences, including Catalan numbers, Motzkin numbers, central binomial coefficients, central trinomial coefficients, central Delannoy numbers, Schroder numbers, Riordan numbers, and Fine numbers.
For the weight function $W_mu(x) = (1-|x|^2)^mu$, $mu > -1$, $lambda > 0$ and $b_mu$ a normalizing constant, a family of mutually orthogonal polynomials on the unit ball with respect to the inner product $$ la f,g ra = {b_mu [int_{BB^d} f(x) g(x) W_mu(x) dx + lambda int_{BB^d} abla f(x) cdot abla g(x) W_mu(x) dx]} $$ are constructed in terms of spherical harmonics and a sequence of Sobolev orthog onal polynomials of one variable. The latter ones, hence, the orthogonal polynomials with respect to $la cdot,cdotra$, can be generated through a recursive formula.
Let $x_1$ and $x_k$ be the least and the largest zeros of the Laguerre or Jacobi polynomial of degree $k.$ We shall establish sharp inequalities of the form $x_1 <A, x_k >B,$ which are uniform in all the parameters involved. Together with inequalities in the opposite direction, recently obtained by the author, this locates the extreme zeros of classical orthogonal polynomials with the relative precision, roughly speaking, $O(k^{-2/3}).$