Title:Karlin-McGregor polynomials, Geronimus polynomials and Haar measures of hypergroups

Abstract:Many symmetric orthogonal polynomial sequences $(P_n(x))_{n\in\mathbb{N}_0}$, normalized by $P_n(1)\equiv1$, satisfy nonnegative linearization of products, i.e., the product of any two $P_m(x),P_n(x)$ is a convex combination w.r.t. the basis $\{P_k(x):k\in\mathbb{N}_0\}$. Such polynomials are accompanied by a hypergroup structure and a corresponding Haar measure. The latter is the counting measure on $\mathbb{N}_0$ weighted by the values of the function $h:\mathbb{N}_0\rightarrow[1,\infty)$, $h(n):=1/\int_\mathbb{R}\!P_n^2(x)\,\mathrm{d}\mu(x)$, where $\mu$ denotes the orthogonalization measure and the orthogonality implies that $h(n)>1$ for all $n\in\mathbb{N}$. Our research was motivated by the observation that many naturally occurring examples even satisfy the stronger property $h(n)\geq2\;(n\in\mathbb{N})$. We give sufficient criteria which cover important examples like ultraspherical or generalized Chebyshev polynomials. In particular, we show that $h(n)\geq2\;(n\in\mathbb{N})$ is always satisfied if $\widehat{\mathbb{N}_0}$ equals the full interval $[-1,1]$, where $\widehat{\mathbb{N}_0}$ corresponds to the Hermitian structure space (this is fulfilled by an abundance of examples). Concerning our sufficient criteria, we particularly study the role of nonnegative linearization of products (and of the resulting harmonic analysis). Moreover, we construct two example types which do not satisfy the property $h(n)\geq2\;(n\in\mathbb{N})$. To our knowledge, these are the first such examples. The first type is based on Karlin-McGregor polynomials and belongs to the class of Geronimus polynomials; we compute explicit formulas for the corresponding orthogonalization measures, recurrence coefficients and Haar measures. The second type is orthogonal w.r.t. discrete measures.