A determinant identity for moments of orthogonal polynomials that implies Uvarov's formula for the orthogonal polynomials of rationally related densities

TL;DR

This paper derives a determinant identity for moments of orthogonal polynomials with rationally modified densities, generalizing Uvarov's formula and enabling new Hankel determinant evaluations.

Contribution

It introduces a new determinant formula linking moments of modified densities to orthogonal polynomials, extending existing results in the theory.

Findings

Derived a general determinant identity for moments of rationally modified densities.

Revealed that Uvarov's formula is a special case of the new theorem.

Produced several novel Hankel determinant evaluations.

Abstract

Let $p_n(x)$, $n=0,1,\dots$, be the orthogonal polynomials with respect to a given density $d\mu(x)$. Furthermore, let $d\nu(x)$ be a density which arises from $d\mu(x)$ by multiplication by a rational function in $x$. We prove a formula that expresses the Hankel determinants of moments of $d\nu(x)$ in terms of a determinant involving the orthogonal polynomials $p_n(x)$ and associated functions $q_n(x)=\int p_n(u) \,d\mu(u)/(x-u)$. Uvarov's formula for the orthogonal polynomials with respect to $d\nu(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.