Ladder operators for generalized Zernike or disk polynomials (2405.02988v1)

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.