<p>For a positive finite Borel measure <i>μ</i> compactly supported in the complex plane, the space <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11854_2025_380_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathscr{P}^{2}(\mu)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msup> <mrow> <mi mathvariant="script">P</mi> </mrow> <mrow> <mn class="MJX-tex-caligraphic" mathvariant="script">2</mn> </mrow> </msup> <mo class="MJX-tex-caligraphic" mathvariant="script" stretchy="false">(</mo> <mi>μ</mi> <mo class="MJX-tex-caligraphic" mathvariant="script" stretchy="false">)</mo> </math></EquationSource> </InlineEquation> is the closure of the analytic polynomials in the Lebesgue space <i>L</i><sup>2</sup>(<i>μ</i>). According to Thomson’s famous result, any space <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11854_2025_380_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathscr{P}^{2}(\mu)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msup> <mrow> <mi mathvariant="script">P</mi> </mrow> <mrow> <mn class="MJX-tex-caligraphic" mathvariant="script">2</mn> </mrow> </msup> <mo class="MJX-tex-caligraphic" mathvariant="script" stretchy="false">(</mo> <mi>μ</mi> <mo class="MJX-tex-caligraphic" mathvariant="script" stretchy="false">)</mo> </math></EquationSource> </InlineEquation> decomposes as an orthogonal sum of pieces which are essentially analytic, and a residual <i>L</i><sup>2</sup>-space. We study the structure of this decomposition for a class of Borel measures <i>μ</i> supported on the closed unit disk <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11854_2025_380_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\overline{\mathbb{D}}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mover> <mrow> <mi mathvariant="double-struck">D</mi> </mrow> <mo accent="false">¯</mo> </mover> </math></EquationSource> </InlineEquation> for which the part <i>μ</i><sub>ⅅ</sub>, living in the open disk ⅅ, is radial and decreases at least exponentially fast near the boundary of the disk. For the considered class of measures, we give a precise form of the Thomson decompsition. In particular, we confirm a conjecture of Kriete and MacCluer from 1990, which gives an analog to Szegö’s classical theorem.</p>

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

Revisiting mean-square approximation by polynomials in the unit disk

  • Bartosz Malman

摘要

For a positive finite Borel measure μ compactly supported in the complex plane, the space \(\mathscr{P}^{2}(\mu)\) P 2 ( μ ) is the closure of the analytic polynomials in the Lebesgue space L2(μ). According to Thomson’s famous result, any space \(\mathscr{P}^{2}(\mu)\) P 2 ( μ ) decomposes as an orthogonal sum of pieces which are essentially analytic, and a residual L2-space. We study the structure of this decomposition for a class of Borel measures μ supported on the closed unit disk \(\overline{\mathbb{D}}\) D ¯ for which the part μ, living in the open disk ⅅ, is radial and decreases at least exponentially fast near the boundary of the disk. For the considered class of measures, we give a precise form of the Thomson decompsition. In particular, we confirm a conjecture of Kriete and MacCluer from 1990, which gives an analog to Szegö’s classical theorem.