<p>The aim of this work is to report on several ladder operators for generalized Zernike polynomials which are orthogonal polynomials on the unit disk <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_748_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="241" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{D}\,=\,\{(x,y)\in \mathbb {R}^2: \; x^2+y^2\leqslant 1\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">D</mi> <mspace width="0.166667em" /> <mo>=</mo> <mspace width="0.166667em" /> <mo stretchy="false">{</mo> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> <mo>:</mo> <mspace width="0.277778em" /> <msup> <mi>x</mi> <mn>2</mn> </msup> <mo>+</mo> <msup> <mi>y</mi> <mn>2</mn> </msup> <mo>⩽</mo> <mn>1</mn> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> with respect to the weight function <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_748_Article_IEq2.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="197" /> </InlineMediaObject> <EquationSource Format="TEX">\(W_{\mu }(x,y)\,=\,(1-x^2-y^2)^{\mu },\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>W</mi> <mi>μ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mo>=</mo> <mspace width="0.166667em" /> <msup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <msup> <mi>x</mi> <mn>2</mn> </msup> <mo>-</mo> <msup> <mi>y</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> <mi>μ</mi> </msup> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_748_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu &gt;-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>&gt;</mo> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. 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 <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_748_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(W_{\mu }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>W</mi> <mi>μ</mi> </msub> </math></EquationSource> </InlineEquation>, it turns out that it is more convenient to use complex variables <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_748_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(z\,=\, x+iy\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>z</mi> <mspace width="0.166667em" /> <mo>=</mo> <mspace width="0.166667em" /> <mi>x</mi> <mo>+</mo> <mi>i</mi> <mi>y</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_748_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="84" /> </InlineMediaObject> <EquationSource Format="TEX">\(\bar{z}\,=\,x-iy\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mrow> <mi>z</mi> </mrow> <mrow> <mo stretchy="false">¯</mo> </mrow> </mover> <mspace width="0.166667em" /> <mo>=</mo> <mspace width="0.166667em" /> <mi>x</mi> <mo>-</mo> <mi>i</mi> <mi>y</mi> </mrow> </math></EquationSource> </InlineEquation>. 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.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Ladder operators for generalized Zernike or disk polynomials

  • Misael E. Marriaga

摘要

The aim of this work is to report on several ladder operators for generalized Zernike polynomials which are orthogonal polynomials on the unit disk \(\textbf{D}\,=\,\{(x,y)\in \mathbb {R}^2: \; x^2+y^2\leqslant 1\}\) D = { ( x , y ) R 2 : x 2 + y 2 1 } with respect to the weight function \(W_{\mu }(x,y)\,=\,(1-x^2-y^2)^{\mu },\) W μ ( x , y ) = ( 1 - x 2 - y 2 ) μ , where \(\mu >-1\) μ > - 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 }\) W μ , it turns out that it is more convenient to use complex variables \(z\,=\, x+iy\) z = x + i y and \(\bar{z}\,=\,x-iy\) z ¯ = x - i y . 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.