<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\textrm{Hol}(\mathbb D)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Hol</mtext> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">D</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be the space of all analytic functions in the unit disc <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb D\,=\,\{ z\in \mathbb C : \vert z\vert &lt;1\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">D</mi> <mspace width="0.166667em" /> <mo>=</mo> <mspace width="0.166667em" /> <mo stretchy="false">{</mo> <mi>z</mi> <mo>∈</mo> <mi mathvariant="double-struck">C</mi> <mo>:</mo> <mo stretchy="false">|</mo> <mi>z</mi> <mo stretchy="false">|</mo> <mo>&lt;</mo> <mn>1</mn> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>. For each <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\alpha \in \mathbb R\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> we let <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal D^2_\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="script">D</mi> <mi>α</mi> <mn>2</mn> </msubsup> </math></EquationSource> </InlineEquation> be the space of functions <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(f\in \textrm{Hol}(\mathbb D)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <mtext>Hol</mtext> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">D</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(|a_0|^2+\sum _{n=1}^\infty n^{1-\alpha } |a_n|^2&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msub> <mi>a</mi> <mn>0</mn> </msub> <msup> <mrow> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mo>+</mo> <msubsup> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> <msup> <mi>n</mi> <mrow> <mn>1</mn> <mo>-</mo> <mi>α</mi> </mrow> </msup> <msup> <mrow> <mo stretchy="false">|</mo> <msub> <mi>a</mi> <mi>n</mi> </msub> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(f(z)=\sum _{n=0}^\infty a_nz^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>.</p><p>If <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\((\eta )=\{ \eta _n\}_{n=0}^\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>η</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msubsup> <mrow> <mo stretchy="false">{</mo> <msub> <mi>η</mi> <mi>n</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation> is a sequence of complex numbers and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(f\in \textrm{Hol}(\mathbb D)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <mtext>Hol</mtext> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">D</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(f(z)=\sum _{n=0}^\infty a_nz^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> (<InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(z\in \mathbb D\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>z</mi> <mo>∈</mo> <mi mathvariant="double-struck">D</mi> </mrow> </math></EquationSource> </InlineEquation>), <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathcal C_{(\eta )}(f)=\mathcal C_{(\{\eta _n\})}(f)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">C</mi> <mrow> <mo stretchy="false">(</mo> <mi>η</mi> <mo stretchy="false">)</mo> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi mathvariant="script">C</mi> <mrow> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">{</mo> <msub> <mi>η</mi> <mi>n</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is formally defined by <Equation ID="Equ15"> <EquationSource Format="TEX">\( \mathcal C_{(\eta )}(f)=\mathcal C_{\{\eta _n\}}(f)(z)=\sum _{n=0}^\infty \eta _n\left( \sum _{k=0}^na_k\right) z^n. \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mi mathvariant="script">C</mi> <mrow> <mo stretchy="false">(</mo> <mi>η</mi> <mo stretchy="false">)</mo> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi mathvariant="script">C</mi> <mrow> <mo stretchy="false">{</mo> <msub> <mi>η</mi> <mi>n</mi> </msub> <mo stretchy="false">}</mo> </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> <munderover> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </munderover> <msub> <mi>η</mi> <mi>n</mi> </msub> <mfenced close=")" open="("> <munderover> <mo>∑</mo> <mrow> <mi>k</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>n</mi> </munderover> <msub> <mi>a</mi> <mi>k</mi> </msub> </mfenced> <msup> <mi>z</mi> <mi>n</mi> </msup> <mo>.</mo> </mrow> </math></EquationSource> </Equation>The operator <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathcal C_{(\eta )}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">C</mi> <mrow> <mo stretchy="false">(</mo> <mi>η</mi> <mo stretchy="false">)</mo> </mrow> </msub> </math></EquationSource> </InlineEquation> is a natural generalization of the Cesàro operator. If <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> is a complex Borel measure on <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\mathbb D\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">D</mi> </math></EquationSource> </InlineEquation> and, for <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(n=0, 1, 2, \dots \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mo>⋯</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\mu _n=\int _{\mathbb D}w^nd\mu (w)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>μ</mi> <mi>n</mi> </msub> <mo>=</mo> <msub> <mo>∫</mo> <mi mathvariant="double-struck">D</mi> </msub> <msup> <mi>w</mi> <mi>n</mi> </msup> <mi>d</mi> <mi>μ</mi> <mrow> <mo stretchy="false">(</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, the operator <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\mathcal C_{\{\mu _n\} }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">C</mi> <mrow> <mo stretchy="false">{</mo> <msub> <mi>μ</mi> <mi>n</mi> </msub> <mo stretchy="false">}</mo> </mrow> </msub> </math></EquationSource> </InlineEquation> is denoted by <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\mathcal C_\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">C</mi> <mi>μ</mi> </msub> </math></EquationSource> </InlineEquation>.</p><p>In a recent paper [J. Funct. Anal. <b>288</b> (2025), no. 6, Paper No.&#xa0;110813], Lin and Xie have studied the question of characterizing the complex Borel measures <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(\mathbb D\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">D</mi> </math></EquationSource> </InlineEquation> for which the operator <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(\mathcal C_\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">C</mi> <mi>μ</mi> </msub> </math></EquationSource> </InlineEquation> is bounded (compact) from <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(\mathcal D^2_\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="script">D</mi> <mi>α</mi> <mn>2</mn> </msubsup> </math></EquationSource> </InlineEquation> into <InlineEquation ID="IEq24"> <EquationSource Format="TEX">\(\mathcal D^2_\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="script">D</mi> <mi>β</mi> <mn>2</mn> </msubsup> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq25"> <EquationSource Format="TEX">\(\alpha ,\beta &gt;-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo>&gt;</mo> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, corresponding to the spaces of analytic functions <InlineEquation ID="IEq26"> <EquationSource Format="TEX">\(f\in \textrm{Hol}(\mathbb D)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <mtext>Hol</mtext> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">D</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq27"> <EquationSource Format="TEX">\(f'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>f</mi> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation> belongs to the Bergman spaces <InlineEquation ID="IEq28"> <EquationSource Format="TEX">\(A^2_\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>A</mi> <mi>α</mi> <mn>2</mn> </msubsup> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq29"> <EquationSource Format="TEX">\(A^2_\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>A</mi> <mi>β</mi> <mn>2</mn> </msubsup> </math></EquationSource> </InlineEquation> respectively, and also from <InlineEquation ID="IEq30"> <EquationSource Format="TEX">\(\mathcal D^2_{-1}=S^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="script">D</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> <mn>2</mn> </msubsup> <mo>=</mo> <msup> <mi>S</mi> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, corresponding to the space of analytic functions <InlineEquation ID="IEq31"> <EquationSource Format="TEX">\(f\in \textrm{Hol}(\mathbb D)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <mtext>Hol</mtext> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">D</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq32"> <EquationSource Format="TEX">\(f'\in H^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>f</mi> <mo>′</mo> </msup> <mo>∈</mo> <msup> <mi>H</mi> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, into itself. They have solved the question for <InlineEquation ID="IEq33"> <EquationSource Format="TEX">\(\alpha &gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. For the other values of <InlineEquation ID="IEq34"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> they have given a number of conditions which are either necessary or sufficient. They have also obtained a number of conditions which are either necessary or sufficient for the boundedness (compactness) of <InlineEquation ID="IEq35"> <EquationSource Format="TEX">\(\mathcal C_\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">C</mi> <mi>μ</mi> </msub> </math></EquationSource> </InlineEquation> from <InlineEquation ID="IEq36"> <EquationSource Format="TEX">\(S^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>S</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> into itself.</p><p>In this paper we give a complete characterization of the sequences of complex numbers <InlineEquation ID="IEq37"> <EquationSource Format="TEX">\((\eta _n )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>η</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for which the operator <InlineEquation ID="IEq38"> <EquationSource Format="TEX">\(\mathcal C_{(\eta )}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">C</mi> <mrow> <mo stretchy="false">(</mo> <mi>η</mi> <mo stretchy="false">)</mo> </mrow> </msub> </math></EquationSource> </InlineEquation> is bounded (compact) from <InlineEquation ID="IEq39"> <EquationSource Format="TEX">\(\mathcal D^2_\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="script">D</mi> <mi>α</mi> <mn>2</mn> </msubsup> </math></EquationSource> </InlineEquation> into <InlineEquation ID="IEq40"> <EquationSource Format="TEX">\(\mathcal D^2_\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="script">D</mi> <mi>β</mi> <mn>2</mn> </msubsup> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq41"> <EquationSource Format="TEX">\(\alpha , \beta \in \mathbb R\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Cesàro-type operators acting on dirichlet spaces

  • Óscar Blasco,
  • Petros Galanopoulos,
  • Daniel Girela

摘要

Let \(\textrm{Hol}(\mathbb D)\) Hol ( D ) be the space of all analytic functions in the unit disc \(\mathbb D\,=\,\{ z\in \mathbb C : \vert z\vert <1\}\) D = { z C : | z | < 1 } . For each \(\alpha \in \mathbb R\) α R we let \(\mathcal D^2_\alpha \) D α 2 be the space of functions \(f\in \textrm{Hol}(\mathbb D)\) f Hol ( D ) such that \(|a_0|^2+\sum _{n=1}^\infty n^{1-\alpha } |a_n|^2<\infty \) | a 0 | 2 + n = 1 n 1 - α | a n | 2 < where \(f(z)=\sum _{n=0}^\infty a_nz^n\) f ( z ) = n = 0 a n z n .

If \((\eta )=\{ \eta _n\}_{n=0}^\infty \) ( η ) = { η n } n = 0 is a sequence of complex numbers and \(f\in \textrm{Hol}(\mathbb D)\) f Hol ( D ) , \(f(z)=\sum _{n=0}^\infty a_nz^n\) f ( z ) = n = 0 a n z n ( \(z\in \mathbb D\) z D ), \(\mathcal C_{(\eta )}(f)=\mathcal C_{(\{\eta _n\})}(f)\) C ( η ) ( f ) = C ( { η n } ) ( f ) is formally defined by \( \mathcal C_{(\eta )}(f)=\mathcal C_{\{\eta _n\}}(f)(z)=\sum _{n=0}^\infty \eta _n\left( \sum _{k=0}^na_k\right) z^n. \) C ( η ) ( f ) = C { η n } ( f ) ( z ) = n = 0 η n k = 0 n a k z n . The operator \(\mathcal C_{(\eta )}\) C ( η ) is a natural generalization of the Cesàro operator. If \(\mu \) μ is a complex Borel measure on \(\mathbb D\) D and, for \(n=0, 1, 2, \dots \) n = 0 , 1 , 2 , , \(\mu _n=\int _{\mathbb D}w^nd\mu (w)\) μ n = D w n d μ ( w ) , the operator \(\mathcal C_{\{\mu _n\} }\) C { μ n } is denoted by \(\mathcal C_\mu \) C μ .

In a recent paper [J. Funct. Anal. 288 (2025), no. 6, Paper No. 110813], Lin and Xie have studied the question of characterizing the complex Borel measures \(\mu \) μ on \(\mathbb D\) D for which the operator \(\mathcal C_\mu \) C μ is bounded (compact) from \(\mathcal D^2_\alpha \) D α 2 into \(\mathcal D^2_\beta \) D β 2 for \(\alpha ,\beta >-1\) α , β > - 1 , corresponding to the spaces of analytic functions \(f\in \textrm{Hol}(\mathbb D)\) f Hol ( D ) such that \(f'\) f belongs to the Bergman spaces \(A^2_\alpha \) A α 2 and \(A^2_\beta \) A β 2 respectively, and also from \(\mathcal D^2_{-1}=S^2\) D - 1 2 = S 2 , corresponding to the space of analytic functions \(f\in \textrm{Hol}(\mathbb D)\) f Hol ( D ) such that \(f'\in H^2\) f H 2 , into itself. They have solved the question for \(\alpha >1\) α > 1 . For the other values of \(\alpha \) α they have given a number of conditions which are either necessary or sufficient. They have also obtained a number of conditions which are either necessary or sufficient for the boundedness (compactness) of \(\mathcal C_\mu \) C μ from \(S^2\) S 2 into itself.

In this paper we give a complete characterization of the sequences of complex numbers \((\eta _n )\) ( η n ) for which the operator \(\mathcal C_{(\eta )}\) C ( η ) is bounded (compact) from \(\mathcal D^2_\alpha \) D α 2 into \(\mathcal D^2_\beta \) D β 2 for \(\alpha , \beta \in \mathbb R\) α , β R .