Abstract:The "time-and-band limiting" commutative property was found and exploited by D. Slepian, H. Landau and H. Pollak at Bell Labs in the 1960's, and independently by M. Mehta and later by C. Tracy and H. Widom in Random matrix theory. The property in question is the existence of local operators with simple spectrum that commute with naturally appearing global ones. Here we give a general result that insures the existence of a commuting differential operator for a given family of exceptional orthogonal polynomials satisfying the "bispectral property". As a main tool we go beyond bispectrality and make use of the notion of Fourier Algebras associated to the given sequence of exceptional polynomials. We illustrate this result with two examples, of Hermite and Laguerre type, exhibiting also a nice Perline's form for the commuting differential operator.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is, in the time - and - band limiting framework, to find a local differential operator that commutes with a naturally occurring global operator for a special class of orthogonal polynomials - exceptional polynomials. Specifically, the authors focus on how to ensure the existence of a differential operator \(T\) that satisfies the bispectral property with a given family of exceptional orthogonal polynomials and can commute with the integral operator \(S\) constructed from these polynomials. ### Background and Motivation The time - and - band limiting problem originated from signal processing and was first proposed by Claude Shannon. It aims to explore how to use the Fourier transform values within a finite frequency band to recover a signal with finite - time support. This problem was solved in the 1960s by David Slepian, Henry Landau and Henry Pollak at Bell Labs. They discovered an important integral operator \(S\), whose kernel function is composed of exponential functions in the Fourier transform and exhibits the "spectral gap" property. This means that only approximately \(2W\times2T\) eigenvalues are non - zero, and the eigenfunctions corresponding to these non - zero eigenvalues can be used to reconstruct the signal. ### Main Contributions of the Paper 1. **General Results**: The authors present general results that guarantee the existence of a differential operator \(T\) that commutes with a given family of exceptional orthogonal polynomials when the bispectral property is satisfied. This result is applicable not only to traditional orthogonal polynomials but also to exceptional orthogonal polynomials. 2. **Fourier Algebra**: To find this commuting differential operator, the authors go beyond the bispectral property and introduce the concept of Fourier algebra. The Fourier algebra is associated with a given sequence of exceptional polynomials, and by calculating the dimensions of certain subspaces, one can determine whether the required commuting operator exists. 3. **Specific Examples**: The paper gives two specific examples, namely the Hermite - type and Laguerre - type exceptional polynomials, showing how to construct the commuting differential operators for these polynomials and presenting the specific forms of these operators. ### Mathematical Tools - **Bispectral Property**: If a function \(f(x, n)=q_n(x)\) is simultaneously an eigenfunction of the differential operator \(D\) in the \(x\)-variable and the difference operator \(L\) in the \(n\)-variable, that is: \[ Dq_n(x)=\lambda_nq_n(x),\quad Lq_n(x)=\mu_xq_n(x), \] where the eigenvalue \(\lambda_n\) depends only on \(n\), and \(\mu_x\) depends only on \(x\). - **Fourier Algebra**: Defined as the set of differential operators and difference operators related to a given sequence of exceptional polynomials, satisfying specific commutation relations. ### Conclusion By introducing the concept of Fourier algebra, the authors successfully prove that in the time - and - band limiting framework, for a family of exceptional orthogonal polynomials, there exists a local differential operator that commutes with a naturally occurring global operator. This result not only extends the research on traditional orthogonal polynomials but also provides new tools and methods for fields such as signal processing and random matrix theory.

Time and band limiting for exceptional polynomials

A new commutativity property of exceptional orthogonal polynomials

Limit Operators, Compactness and Essential Spectra on Bounded Symmetric Domains

On singular pencils with commuting coefficients

Matrix valued discrete-continuous functions with the prolate spheroidal property and bispectrality

On Spectral Inclusion Sets and Computing the Spectra and Pseudospectra of Bounded Linear Operators

The spectrum of the Poincar{é} operator in an ellipsoid

Outliers of perturbations of banded Toeplitz matrices

Commutativity and orthogonality of similarity orbits in Banach algebras

Spectral inclusions of perturbed normal operators and applications

Cubic algebras, induced representations and general solution of the exceptional Laguerre equation $X_1$

Boundedness of metaplectic operators within $L^p$ spaces, applications to pseudodifferential calculus, and time-frequency representations

Spectral Properties of Limit-Periodic Operators

Exceptional Bannai-Ito polynomials

Duality and difference operators for matrix valued discrete polynomials on the nonnegative integers

Boundedness of Metaplectic Operators Within Spaces, Applications to Pseudodifferential Calculus, and Time–Frequency Representations

Limit theorems for general functionals of Brownian local times

Minimal commutant and double commutant property for analytic Toeplitz operators

Limit Points for Browder Spectrum of Operator Matrices

On the $L^p$-to-$L^q$ boundedness and compactness of commutators along monomial curves

Matrix exceptional Laguerre polynomials