<p>In this paper, we study a problem of the boundedness of integral operators on Hardy–Sobolev space. By using an equivalence between this kind of space and weighted Bergman space, we transform the corresponding problem to the latter. That is, we show that for an analytic function <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1670_Article_IEq1.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation> on the unit ball <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1670_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {B}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">B</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1670_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta &lt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>&lt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, the integral operator <Equation ID="Equ2"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1670_Article_Equ2.gif" Format="GIF" Height="53" Rendition="HTML" Resolution="72" Type="Linedraw" Width="353" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} S_\varphi f(z)=\int \limits _{\mathbb {B}_n}f(w)\varphi (z\cdot {\overline{w}})dv_{-1-2\beta }(w), \qquad z\in \mathbb {B}_n \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>S</mi> <mi>φ</mi> </msub> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <munder> <mo movablelimits="false">∫</mo> <msub> <mi mathvariant="double-struck">B</mi> <mi>n</mi> </msub> </munder> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> <mi>φ</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo>·</mo> <mover> <mi>w</mi> <mo>¯</mo> </mover> <mo stretchy="false">)</mo> </mrow> <mi>d</mi> <msub> <mi>v</mi> <mrow> <mo>-</mo> <mn>1</mn> <mo>-</mo> <mn>2</mn> <mi>β</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mspace width="2em" /> <mi>z</mi> <mo>∈</mo> <msub> <mi mathvariant="double-struck">B</mi> <mi>n</mi> </msub> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>is bounded on <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1670_Article_IEq4.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(A^2_{-1-2\beta }(\mathbb {B}_n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>A</mi> <mrow> <mo>-</mo> <mn>1</mn> <mo>-</mo> <mn>2</mn> <mi>β</mi> </mrow> <mn>2</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">B</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> if and only if there exists a sequence <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1670_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="107" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{a_k\}\in l^\infty (\mathbb {Z}_+^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">{</mo> <msub> <mi>a</mi> <mi>k</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mo>∈</mo> <msup> <mi>l</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msubsup> <mi mathvariant="double-struck">Z</mi> <mo>+</mo> <mi>n</mi> </msubsup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> such that <Equation ID="Equ3"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1670_Article_Equ3.gif" Format="GIF" Height="52" Rendition="HTML" Resolution="72" Type="Linedraw" Width="239" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \varphi (z)=\sum _{k\in \mathbb {Z}_+^n}\frac{\Gamma (n+|k|-2\beta )}{k!\Gamma (n-2\beta )}a_k z^k, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>φ</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <munder> <mo>∑</mo> <mrow> <mi>k</mi> <mo>∈</mo> <msubsup> <mi mathvariant="double-struck">Z</mi> <mo>+</mo> <mi>n</mi> </msubsup> </mrow> </munder> <mfrac> <mrow> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mo stretchy="false">|</mo> <mi>k</mi> <mo stretchy="false">|</mo> <mo>-</mo> <mn>2</mn> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>k</mi> <mo>!</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>2</mn> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> </mfrac> <msub> <mi>a</mi> <mi>k</mi> </msub> <msup> <mi>z</mi> <mi>k</mi> </msup> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1670_Article_IEq6.gif" Format="GIF" Height="9" Rendition="HTML" Resolution="72" Type="Linedraw" Width="8" /> </InlineMediaObject> <EquationSource Format="TEX">\(\cdot \)</EquationSource> <EquationSource Format="MATHML"><math> <mo>·</mo> </math></EquationSource> </InlineEquation> represents coordinatewise multiplication, <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1670_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}_+^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="double-struck">Z</mi> <mo>+</mo> <mi>n</mi> </msubsup> </math></EquationSource> </InlineEquation> is the set of multi-indexes of nonnegative integers and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1670_Article_IEq8.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="295" /> </InlineMediaObject> <EquationSource Format="TEX">\(dv_{-1-2\beta }(w)=c_{-1-2\beta }(1-|z|^2)^{-1-2\beta }dv(w)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <msub> <mi>v</mi> <mrow> <mo>-</mo> <mn>1</mn> <mo>-</mo> <mn>2</mn> <mi>β</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>c</mi> <mrow> <mo>-</mo> <mn>1</mn> <mo>-</mo> <mn>2</mn> <mi>β</mi> </mrow> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <mo stretchy="false">|</mo> <mi>z</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <msup> <mrow> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mn>1</mn> <mo>-</mo> <mn>2</mn> <mi>β</mi> </mrow> </msup> <mi>d</mi> <mi>v</mi> <mrow> <mo stretchy="false">(</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is the normalized weighted volume measure. Then we indicate that the set of all bounded operators <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1670_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>S</mi> <mi>φ</mi> </msub> </math></EquationSource> </InlineEquation> happen to be the set of the radial operators on <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1670_Article_IEq10.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(A^2_{-1-2\beta }(\mathbb {B}_n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>A</mi> <mrow> <mo>-</mo> <mn>1</mn> <mo>-</mo> <mn>2</mn> <mi>β</mi> </mrow> <mn>2</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">B</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Besides, we get the adjoint operator, normality, compactness and spectrum of the bounded operator <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1670_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>S</mi> <mi>φ</mi> </msub> </math></EquationSource> </InlineEquation>. Moreover, the <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1670_Article_IEq12.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^*-\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>C</mi> <mo>∗</mo> </msup> <mo>-</mo> </mrow> </math></EquationSource> </InlineEquation>algebra property of the Banach space <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1670_Article_IEq13.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {L}(A^2_{-1-2\beta })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">L</mi> <mo stretchy="false">(</mo> <msubsup> <mi>A</mi> <mrow> <mo>-</mo> <mn>1</mn> <mo>-</mo> <mn>2</mn> <mi>β</mi> </mrow> <mn>2</mn> </msubsup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, consisting of bounded linear operators on <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1670_Article_IEq14.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(A^2_{-1-2\beta }(\mathbb {B}_n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>A</mi> <mrow> <mo>-</mo> <mn>1</mn> <mo>-</mo> <mn>2</mn> <mi>β</mi> </mrow> <mn>2</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">B</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, and even the common reducing subspaces of all bounded <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1670_Article_IEq15.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>S</mi> <mi>φ</mi> </msub> </math></EquationSource> </InlineEquation>, are both characterized.</p>

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

Boundedness of Integral Operators on Hardy–Sobolev Space

  • Li He,
  • Yifang Li,
  • Shuqing Zhang

摘要

In this paper, we study a problem of the boundedness of integral operators on Hardy–Sobolev space. By using an equivalence between this kind of space and weighted Bergman space, we transform the corresponding problem to the latter. That is, we show that for an analytic function \(\varphi \) φ on the unit ball \(\mathbb {B}_n\) B n and \(\beta <0\) β < 0 , the integral operator \(\begin{aligned} S_\varphi f(z)=\int \limits _{\mathbb {B}_n}f(w)\varphi (z\cdot {\overline{w}})dv_{-1-2\beta }(w), \qquad z\in \mathbb {B}_n \end{aligned}\) S φ f ( z ) = B n f ( w ) φ ( z · w ¯ ) d v - 1 - 2 β ( w ) , z B n is bounded on \(A^2_{-1-2\beta }(\mathbb {B}_n)\) A - 1 - 2 β 2 ( B n ) if and only if there exists a sequence \(\{a_k\}\in l^\infty (\mathbb {Z}_+^n)\) { a k } l ( Z + n ) such that \(\begin{aligned} \varphi (z)=\sum _{k\in \mathbb {Z}_+^n}\frac{\Gamma (n+|k|-2\beta )}{k!\Gamma (n-2\beta )}a_k z^k, \end{aligned}\) φ ( z ) = k Z + n Γ ( n + | k | - 2 β ) k ! Γ ( n - 2 β ) a k z k , where \(\cdot \) · represents coordinatewise multiplication, \(\mathbb {Z}_+^n\) Z + n is the set of multi-indexes of nonnegative integers and \(dv_{-1-2\beta }(w)=c_{-1-2\beta }(1-|z|^2)^{-1-2\beta }dv(w)\) d v - 1 - 2 β ( w ) = c - 1 - 2 β ( 1 - | z | 2 ) - 1 - 2 β d v ( w ) is the normalized weighted volume measure. Then we indicate that the set of all bounded operators \(S_\varphi \) S φ happen to be the set of the radial operators on \(A^2_{-1-2\beta }(\mathbb {B}_n)\) A - 1 - 2 β 2 ( B n ) . Besides, we get the adjoint operator, normality, compactness and spectrum of the bounded operator \(S_\varphi \) S φ . Moreover, the \(C^*-\) C - algebra property of the Banach space \(\mathcal {L}(A^2_{-1-2\beta })\) L ( A - 1 - 2 β 2 ) , consisting of bounded linear operators on \(A^2_{-1-2\beta }(\mathbb {B}_n)\) A - 1 - 2 β 2 ( B n ) , and even the common reducing subspaces of all bounded \(S_\varphi \) S φ , are both characterized.