Interlacing Properties of Coefficient Polynomials in Differential Operator Representations of Real-Root Preserving Linear Transformations
Authors:
David A. Cardon,
Evan L. Sorensen,
Jason C. White
Abstract:
We study linear transformations $T \colon \mathbb{R}[x] \to \mathbb{R}[x]$ of the form $T[x^n]=P_n(x)$ where $\{P_n(x)\}$ is a real orthogonal polynomial system. Such transformations that preserve or shrink the location of the complex zeros of polynomials is a recent object of study, motivated by the Riemann Hypothesis. In particular, we are interested in linear transformations that map polynomial…
▽ More
We study linear transformations $T \colon \mathbb{R}[x] \to \mathbb{R}[x]$ of the form $T[x^n]=P_n(x)$ where $\{P_n(x)\}$ is a real orthogonal polynomial system. Such transformations that preserve or shrink the location of the complex zeros of polynomials is a recent object of study, motivated by the Riemann Hypothesis. In particular, we are interested in linear transformations that map polynomials with all real zeros to polynomials with all real zeros. It is well known that any transformation $T \colon \mathbb{C}[x] \rightarrow \mathbb{C}[x]$ has a differential operator representation $T = \sum_{k = 0}^\infty \frac{Q_k(x)}{k!} D^k$. Motivated by the work of Chasse \cite{Chasse-PhD-2011}, Forgács, and Piotrowski \cite{Forgacs-Piotrowski-Hermite-2015}, we seek to understand the behavior of the transformation $T$ by studying the roots of the $Q_k(x)$. We prove four main things. First, we show that the only case where the $Q_k(x)$ are constant and $\{P_n(x)\}$ are an orthogonal system is that when the $P_n$ form a shifted set of generalized probabilist Hermite polynomials. Second, we show that the coefficient polynomials $Q_k(x)$ have real roots when the $P_n(x)$ are the physicist Hermite polynomials or the Laguerre polynomials. Next, we show that in these cases, the roots of successive polynomials strictly interlace, a property that has not yet been studied for coefficient polynomials. We conclude by discussing the Chebyshev and Legendre polynomials, proving a conjecture of Chasse, and presenting several open problems.
△ Less
Submitted 20 December, 2021; v1 submitted 30 December, 2019;
originally announced December 2019.
Real-Root Preserving Differential Operator Representations of Orthogonal Polynomials
Authors:
David A. Cardon,
Evan L. Sorensen,
Jason C. White
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 tra…
▽ More
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.
△ Less
Submitted 17 July, 2017;
originally announced July 2017.
