<p>Given a radial doubling weight <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> on the unit disc <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb {D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">D</mi> </math></EquationSource> </InlineEquation> of the complex plane and its odd moments <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mu _{2n+1}=\int _0^1 s^{2n+1}\mu (s)\, ds\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>μ</mi> <mrow> <mn>2</mn> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo>=</mo> <msubsup> <mo>∫</mo> <mn>0</mn> <mn>1</mn> </msubsup> <msup> <mi>s</mi> <mrow> <mn>2</mn> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <mi>μ</mi> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mi>d</mi> <mi>s</mi> </mrow> </math></EquationSource> </InlineEquation>, we consider the fractional derivative <Equation ID="Equ57"> <EquationSource Format="TEX">\( D^\mu (f)(z)=\sum _{n=0}^{\infty } \frac{\widehat{f}(n)}{\mu _{2n+1}}z^n, \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msup> <mi>D</mi> <mi>μ</mi> </msup> <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> <mfrac> <mrow> <mover accent="true"> <mi>f</mi> <mo stretchy="true">^</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> <msub> <mi>μ</mi> <mrow> <mn>2</mn> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> </mfrac> <msup> <mi>z</mi> <mi>n</mi> </msup> <mo>,</mo> </mrow> </math></EquationSource> </Equation>of a function <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\( f(z)=\sum _{n=0}^{\infty }\widehat{f}(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> <mover accent="true"> <mi>f</mi> <mo stretchy="true">^</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mi>z</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> analytic in <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathbb {D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">D</mi> </math></EquationSource> </InlineEquation>. We also consider the fractional integral operator <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\( I^\mu (f)(z)=\sum _{n=0}^{\infty } \mu _{2n+1}\widehat{f}(n)z^n, \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>I</mi> <mi>μ</mi> </msup> <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> <msubsup> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </msubsup> <msub> <mi>μ</mi> <mrow> <mn>2</mn> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mover accent="true"> <mi>f</mi> <mo stretchy="true">^</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mi>z</mi> <mi>n</mi> </msup> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and the fractional Volterra-type operator <Equation ID="Equ58"> <EquationSource Format="TEX">\( V_{\mu ,g}(f)(z)= I^\mu (f\cdot D^\mu (g))(z),\quad f\in \mathcal {H}(\mathbb {D}), \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mi>V</mi> <mrow> <mi>μ</mi> <mo>,</mo> <mi>g</mi> </mrow> </msub> <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> <msup> <mi>I</mi> <mi>μ</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo>·</mo> <msup> <mi>D</mi> <mi>μ</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>g</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mspace width="1em" /> <mi>f</mi> <mo>∈</mo> <mi mathvariant="script">H</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">D</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </Equation>for any fixed <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(g\in \mathcal {H}(\mathbb {D})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>∈</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">D</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We prove that <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(V_{\mu ,g}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>V</mi> <mrow> <mi>μ</mi> <mo>,</mo> <mi>g</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> is bounded (compact) on a Hardy space <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(H^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>H</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq10"> <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>, if and only if <i>g</i> belongs to <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathord {\textrm{BMOA}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>BMOA</mtext> </math></EquationSource> </InlineEquation> (<InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathord {\textrm{VMOA}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>VMOA</mtext> </math></EquationSource> </InlineEquation>). Moreover, if <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\int _0^1 \frac{\left( \int _r^1 \mu (s)\, ds\right) ^p}{(1-r)^2}\,dr=+\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mo>∫</mo> <mn>0</mn> <mn>1</mn> </msubsup> <mfrac> <msup> <mfenced close=")" open="("> <msubsup> <mo>∫</mo> <mi>r</mi> <mn>1</mn> </msubsup> <mi>μ</mi> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mi>d</mi> <mi>s</mi> </mfenced> <mi>p</mi> </msup> <msup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <mi>r</mi> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> </mfrac> <mspace width="0.166667em" /> <mi>d</mi> <mi>r</mi> <mo>=</mo> <mo>+</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, we prove that <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(V_{\mu ,g}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>V</mi> <mrow> <mi>μ</mi> <mo>,</mo> <mi>g</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> belongs to the Schatten class <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(S_p(H^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>S</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi>H</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> if and only if <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(g=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. On the other hand, if <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\frac{\left( \int _r^1 \mu (s)\, ds\right) ^p}{(1-r)^2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <msup> <mfenced close=")" open="("> <msubsup> <mo>∫</mo> <mi>r</mi> <mn>1</mn> </msubsup> <mi>μ</mi> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mi>d</mi> <mi>s</mi> </mfenced> <mi>p</mi> </msup> <msup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <mi>r</mi> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> </mfrac> </math></EquationSource> </InlineEquation> is a radial doubling weight it is proved that <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(V_{\mu ,g} \in S_p(H^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>V</mi> <mrow> <mi>μ</mi> <mo>,</mo> <mi>g</mi> </mrow> </msub> <mo>∈</mo> <msub> <mi>S</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi>H</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> if and only if <i>g</i> belongs to the Besov space <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(B_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>B</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>. En route, we obtain descriptions of <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(H^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>H</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(\mathord {\textrm{BMOA}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>BMOA</mtext> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(\mathord {\textrm{VMOA}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>VMOA</mtext> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(B_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>B</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation> in terms of the fractional derivative <InlineEquation ID="IEq24"> <EquationSource Format="TEX">\(D^\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>D</mi> <mi>μ</mi> </msup> </math></EquationSource> </InlineEquation>.</p>

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

Fractional Volterra-type operator induced by radial weight acting on Hardy space

  • Carlo Bellavita,
  • Álvaro Miguel Moreno,
  • Georgios Nikolaidis,
  • José Ángel Peláez

摘要

Given a radial doubling weight \(\mu \) μ on the unit disc \(\mathbb {D}\) D of the complex plane and its odd moments \(\mu _{2n+1}=\int _0^1 s^{2n+1}\mu (s)\, ds\) μ 2 n + 1 = 0 1 s 2 n + 1 μ ( s ) d s , we consider the fractional derivative \( D^\mu (f)(z)=\sum _{n=0}^{\infty } \frac{\widehat{f}(n)}{\mu _{2n+1}}z^n, \) D μ ( f ) ( z ) = n = 0 f ^ ( n ) μ 2 n + 1 z n , of a function \( f(z)=\sum _{n=0}^{\infty }\widehat{f}(n)z^n\) f ( z ) = n = 0 f ^ ( n ) z n analytic in \(\mathbb {D}\) D . We also consider the fractional integral operator \( I^\mu (f)(z)=\sum _{n=0}^{\infty } \mu _{2n+1}\widehat{f}(n)z^n, \) I μ ( f ) ( z ) = n = 0 μ 2 n + 1 f ^ ( n ) z n , and the fractional Volterra-type operator \( V_{\mu ,g}(f)(z)= I^\mu (f\cdot D^\mu (g))(z),\quad f\in \mathcal {H}(\mathbb {D}), \) V μ , g ( f ) ( z ) = I μ ( f · D μ ( g ) ) ( z ) , f H ( D ) , for any fixed \(g\in \mathcal {H}(\mathbb {D})\) g H ( D ) . We prove that \(V_{\mu ,g}\) V μ , g is bounded (compact) on a Hardy space \(H^p\) H p , \(0<p<\infty \) 0 < p < , if and only if g belongs to \(\mathord {\textrm{BMOA}}\) BMOA ( \(\mathord {\textrm{VMOA}}\) VMOA ). Moreover, if \(\int _0^1 \frac{\left( \int _r^1 \mu (s)\, ds\right) ^p}{(1-r)^2}\,dr=+\infty \) 0 1 r 1 μ ( s ) d s p ( 1 - r ) 2 d r = + , we prove that \(V_{\mu ,g}\) V μ , g belongs to the Schatten class \(S_p(H^2)\) S p ( H 2 ) if and only if \(g=0\) g = 0 . On the other hand, if \(\frac{\left( \int _r^1 \mu (s)\, ds\right) ^p}{(1-r)^2}\) r 1 μ ( s ) d s p ( 1 - r ) 2 is a radial doubling weight it is proved that \(V_{\mu ,g} \in S_p(H^2)\) V μ , g S p ( H 2 ) if and only if g belongs to the Besov space \(B_p\) B p . En route, we obtain descriptions of \(H^p\) H p , \(\mathord {\textrm{BMOA}}\) BMOA , \(\mathord {\textrm{VMOA}}\) VMOA and \(B_p\) B p in terms of the fractional derivative \(D^\mu \) D μ .