Search arXivSearch

arXiv · 2609.01751

Orthogonal polynomials which are eigenfunctions of a partial differential operator

Abstract

We study orthogonal polynomials of $d = d_1+d_2$ variables with respect to a wrapped product weight function ${\bm W}({\bm x},{\bm y}) = W_1({\bm x}/ρ({\bm y})) W_2(\bm y)$ for $(\bm x, \bm y) \in \mathbb{R}^{d_1} \times \mathbb{R}^{d_2}$, where $ρ$ is either linear or the square root of a nonnegative quadratic polynomial, and identify all such polynomials that are eigenfunctions of a second-order linear differential operator. For $d =2$, it is known that there are primarily, up to affine transformations, five families of such polynomials, which are products or wrapped products of classical orthogonal polynomials of one variable; all five families have their counterparts in higher dimensions, but no characterization is known in dimension three or higher. Our study explores viable wrapped product families, finds explicit second-order differential operators for two new families of orthogonal polynomials in $d= d_1+d_2$ variables that have not been studied before if either $d_1>1$ or $d_2 > 1$, and provides, in particular, a complete list of such operators among all wrapped product orthogonal polynomials when $d = 3$. The list also includes four families that are eigenfunctions of a fourth-order differential operator, whereas no second-order operator is available. Moreover, orthogonal polynomials on the wrapped quadratic surfaces that are eigenvalues of a second-order differential operator on the surface are also studied.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yuan Xu. 2026-09-01. Orthogonal polynomials which are eigenfunctions of a partial differential operator. https://arxiv.org/abs/2609.01751

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

KEEP EXPLORING

Related papers

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

Prevalent smoothness in inhomogeneous Besov spaces

In this article, we prove that, under some assumptions on the so-called environment, prevalent functions in inhomogeneous Besov spaces recently introduced by Barral-Seuret in 2023 are multifractal, with a singularity spectrum that we determine. This completes the previous Baire generic results already obtained.

math.CA

Lebesgue Covering Theorem and level sets of continuous functions

We formulate and prove a dimension-theoretic generalization of a version of the Lebesgue Covering Theorem. A generalized $n$-dimensional version of the Steinhaus Chessboard Theorem, recently proved algorithmically by Turzański and Ziajor, is a particular case of this result. Moreover, we study two types of sets associated with a continuous function $g \colon [0,1]^n \to \mathbb{R}$. Namely, the set of all points $p \in \mathbb{R}$ such that the fiber $g^{-1}[\left\{p\right\}]$ connects $i$th opposite faces of $[0,1]^n$, and the set of all points $p \in \mathbb{R}$ such that the fiber $g^{-1}[\left\{p\right\}]$ separates $i$th opposite faces of $[0, 1]^n$.

math.CA