<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_440_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;p&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, and let <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_440_Article_IEq2.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> be a finite positive Borel measure on the unit disk <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_440_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">D</mi> </math></EquationSource> </InlineEquation>. We study the Hankel matrix <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_440_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="94" /> </InlineMediaObject> <EquationSource Format="TEX">\((\mu [i+j])_{i,j\ge 0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">(</mo> <mi>μ</mi> <mrow> <mo stretchy="false">[</mo> <mi>i</mi> <mo>+</mo> <mi>j</mi> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>i</mi> <mo>,</mo> <mi>j</mi> <mo>≥</mo> <mn>0</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> with entries <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_440_Article_IEq5.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="164" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu [i+j]=\int _{\mathbb {D}}z^{i+j}d\mu (z)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mrow> <mo stretchy="false">[</mo> <mi>i</mi> <mo>+</mo> <mi>j</mi> <mo stretchy="false">]</mo> </mrow> <mo>=</mo> <msub> <mo>∫</mo> <mi mathvariant="double-struck">D</mi> </msub> <msup> <mi>z</mi> <mrow> <mi>i</mi> <mo>+</mo> <mi>j</mi> </mrow> </msup> <mi>d</mi> <mi>μ</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, which formally induces the operator <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_440_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_{p}[\mu ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>S</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">[</mo> <mi>μ</mi> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> defined as <Equation ID="Equ12"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_440_Article_Equ12.gif" Format="GIF" Height="54" Rendition="HTML" Resolution="72" Type="Linedraw" Width="446" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} S_{p}[\mu ](f)(z)=\sum _{n=0}^{\infty }\left( \sum _{k=0}^{\infty }(n+k+1)^{p-1}\mu [n+k ]a_{k}\right) z^{n},\quad z\in \mathbb {D}, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>S</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">[</mo> <mi>μ</mi> <mo stretchy="false">]</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <munderover> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </munderover> <mfenced close=")" open="("> <munderover> <mo>∑</mo> <mrow> <mi>k</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </munderover> <msup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mi>k</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mi>μ</mi> <mrow> <mo stretchy="false">[</mo> <mi>n</mi> <mo>+</mo> <mi>k</mi> <mo stretchy="false">]</mo> </mrow> <msub> <mi>a</mi> <mi>k</mi> </msub> </mfenced> <msup> <mi>z</mi> <mi>n</mi> </msup> <mo>,</mo> <mspace width="1em" /> <mi>z</mi> <mo>∈</mo> <mi mathvariant="double-struck">D</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_440_Article_IEq7.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="132" /> </InlineMediaObject> <EquationSource Format="TEX">\(f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msubsup> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </msubsup> <msub> <mi>a</mi> <mi>n</mi> </msub> <msup> <mi>z</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> is an analytic function in <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_440_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">D</mi> </math></EquationSource> </InlineEquation>. We characterize the positive Borel measures <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_440_Article_IEq2.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> supported on <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_440_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\((-1,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for which <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_440_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_{p}[\mu ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>S</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">[</mo> <mi>μ</mi> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is bounded (resp. compact) from one Dirichlet space <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_440_Article_IEq12.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}_{\alpha }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">D</mi> <mi>α</mi> </msub> </math></EquationSource> </InlineEquation> to another <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_440_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}_{\beta }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">D</mi> <mi>β</mi> </msub> </math></EquationSource> </InlineEquation>. Additionally, we investigate the boundedness (resp. compactness) of <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_440_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_{p}[\mu ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>S</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">[</mo> <mi>μ</mi> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> on Dirichlet-type spaces <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_440_Article_IEq15.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}_{\alpha }^{l}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="script">D</mi> <mrow> <mi>α</mi> </mrow> <mi>l</mi> </msubsup> </math></EquationSource> </InlineEquation>. Our results generalize those of Bao and Wulan when <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_440_Article_IEq16.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha =\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>=</mo> <mi>β</mi> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_440_Article_IEq17.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(l=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>l</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

p-Hankel matrices on Dirichlet-type spaces

  • Xiaofen Lv,
  • Lei Wang,
  • Xiaomin Tang

摘要

Let \(0<p<\infty \) 0 < p < , and let \(\mu \) μ be a finite positive Borel measure on the unit disk \(\mathbb {D}\) D . We study the Hankel matrix \((\mu [i+j])_{i,j\ge 0}\) ( μ [ i + j ] ) i , j 0 with entries \(\mu [i+j]=\int _{\mathbb {D}}z^{i+j}d\mu (z)\) μ [ i + j ] = D z i + j d μ ( z ) , which formally induces the operator \(S_{p}[\mu ]\) S p [ μ ] defined as \(\begin{aligned} S_{p}[\mu ](f)(z)=\sum _{n=0}^{\infty }\left( \sum _{k=0}^{\infty }(n+k+1)^{p-1}\mu [n+k ]a_{k}\right) z^{n},\quad z\in \mathbb {D}, \end{aligned}\) S p [ μ ] ( f ) ( z ) = n = 0 k = 0 ( n + k + 1 ) p - 1 μ [ n + k ] a k z n , z D , where \(f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}\) f ( z ) = n = 0 a n z n is an analytic function in \(\mathbb {D}\) D . We characterize the positive Borel measures \(\mu \) μ supported on \((-1,1)\) ( - 1 , 1 ) for which \(S_{p}[\mu ]\) S p [ μ ] is bounded (resp. compact) from one Dirichlet space \(\mathcal {D}_{\alpha }\) D α to another \(\mathcal {D}_{\beta }\) D β . Additionally, we investigate the boundedness (resp. compactness) of \(S_{p}[\mu ]\) S p [ μ ] on Dirichlet-type spaces \(\mathcal {D}_{\alpha }^{l}\) D α l . Our results generalize those of Bao and Wulan when \(\alpha =\beta \) α = β or \(l=2\) l = 2 .