Real-Root Preserving Differential Operator Representations of Orthogonal Polynomials

Abstract

In this paper, we study linear transformations of the form $T[x^n]=P_n(x)$ where $\{P_n(x)\}$ is an orthogonal polynomial system. Of particular interest is understanding when these operators preserve real-rootedness in polynomials. It is known that when the $P_n(x)$ are the Hermite polynomials or standard Laguerre polynomials, the transformation $T$ has this property. It is also known that the transformation $T[x^n]=H_n^α(x)$, where $H_n^α(x)$ is the $n$th generalized Hermite Polynomial with real parameter $α$, has the differential operator representation $T[x^n]=e^{-\fracα{2}D^2}x^n$. The main result of this paper is to prove that a differential operator of the form $\sum_{k=0}^\infty \frac{γ_k}{k!} D^k$ induces a system of monic orthogonal polynomials if and only if $\sum_{k=0}^\infty \frac{γ_k}{k!} D^k=γ_0e^{-\frac{ α}{2}D^2-βD}$ where $γ_0,α,β\in \mathbb{C}$ and $α,γ_0 \neq 0$. This operator will produce a shifted set of generalized Hermite polynomials when $α\in \mathbb{R}$. We also express the transformation from the standard basis to the standard Laguerre basis, $T[x^n]=L_n(x)$ as a differential operator of the form $\sum_{k=0}^\infty \frac{p_k(x)}{k!} D^k$ where the $p_k$ are polynomials, an identity that has not previously been shown.