Ladder operators for generalized Zernike or disk polynomials

TL;DR

This paper develops new ladder operators for generalized Zernike polynomials on the unit disk, leveraging their relation to Jacobi polynomials and complex variables, and demonstrates their application in Sobolev space analysis.

Contribution

It introduces novel proofs for ladder operators of generalized Zernike polynomials using complex variables, expanding the theoretical toolkit for these orthogonal polynomials.

Findings

Derived new ladder operators for generalized Zernike polynomials

Connected ladder operators to Sobolev space orthogonality

Provided systematic proofs for complex-variable ladder operators

Abstract

The aim of this work is to report on several ladder operators for generalized Zernike polynomials which are orthogonal polynomials on the unit disk $\mathbf{D}\,=\,\{(x,y)\in \mathbb{R}^2: \; x^2+y^2\leqslant 1\}$ with respect to the weight function $W_{\mu}(x,y)\,=\,(1-x^2-y^2)^{\mu}$ where $\mu>-1$. These polynomials can be expressed in terms of the univariate Jacobi polynomials and, thus, we start by deducing several ladder operators for the Jacobi polynomials. Due to the symmetry of the disk and the weight function $W_{\mu}$, it turns out that it is more convenient to use complex variables $z\,=\, x+iy$ and $\bar{z}\,=\,x-iy$. Indeed, this allows us to systematically use the univariate ladder operators to deduce analogous ones for the complex generalized Zernike polynomials. Some of these univariate and bivariate ladder operators already appear in the literature. However, to the best of our knowledge, the proofs presented here are new. Lastly, we illustrate the use of ladder operators in the study of the orthogonal structure of some Sobolev spaces.