Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1506.07580

Moment Representations of the Exceptional $X_1$-Laguerre Orthogonal Polynomials

Constanze Liaw·John Osborn
View original source ↗Read source document ↗Export metadata ↓

Abstract

Exceptional orthogonal Laguerre polynomials can be viewed as an extension of the classical Laguerre polynomials per excluding polynomials of certain order(s) from being eigenfunctions for the corresponding exceptional differential operator. We are interested in the (so-called) Type I $X_1$-Laguerre polynomial sequence $\{L_n^α\}_{n=1}^\infty$, $\text{deg} \,p_n = n$ and $α>0$, where the constant polynomial is omitted. We derive two representations for the polynomials in terms of moments by using determinants. The first representation in terms of the canonical moments is rather cumbersome. We introduce adjusted moments and find a second, more elegant formula. We deduce a recursion formula for the moments and the adjusted ones. The adjusted moments are also expressed via a generating function. We observe a certain detachedness of the first two moments from the others.

Explore related subjects

math.CAmath.SP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Constanze Liaw, John Osborn. 2015-06-24. Moment Representations of the Exceptional $X_1$-Laguerre Orthogonal Polynomials. https://doi.org/10.1002/mana.201500250

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Dimension-free estimates for the full discrete Euclidean ball maximal function

Let $M_t$ denote the normalized average over the lattice points in the Euclidean ball of radius $t$ in $\mathbb{Z}^d$. We prove that the full maximal operator $f\mapsto\sup_{t\geq0}\lvert M_t f\rvert$ is bounded on $\ell^p(\mathbb{Z}^d)$, for every $1<p\leq\infty$, with a constant independent of the dimension. In particular, this resolves a question of E.M. Stein from the mid 1990s. The principal ingredient in our proof is that, when $t\lesssim d$ with $t$ sufficiently large, the associated multiplier $\mathfrak{m}_{\sqrt{\lfloor t^2\rfloor}}(ξ)$ admits an asymptotic expansion of arbitrary prescribed order, uniform in $ξ$, whose resulting maximal operators can be controlled by the discrete normalized Gaussian maximal function studied by Mirek--Szarek--Wróbel \cite{MSW25}.

math.CA↗
arXiv2026

Regular specular differentiation in Euclidean spaces

We study the regular specular derivative, a generalized derivative defined at every point where both one-sided derivatives exist and are finite. Geometrically, it is the slope of the mirror that reflects the left tangent ray into the right one. In one variable we derive computational formulas, prove inverse function and rotation rules, establish Quasi-Rolle's Theorem and the Quasi-Mean Value Theorem, and obtain a derivative-limit theorem, which shows that twice regularly specularly differentiable functions are continuously differentiable. We also prove both parts of the Fundamental Theorem of Calculus. In several variables we introduce specular gradients, directional derivatives, tangent hyperplanes, and normal vectors, show that a continuous specular gradient forces classical differentiability, and characterize when the specular tangent hyperplane is unique.

math.CA↗