<p>Let <i>X</i> be a translation-invariant Banach function space on the unit circle <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {T}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">T</mi> </math></EquationSource> </InlineEquation> with the associate space <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(X'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>X</mi> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation>, let <i>w</i> be a weight such that <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(w\in X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>w</mi> <mo>∈</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(1/w\in X'\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mi>w</mi> <mo>∈</mo> <msup> <mi>X</mi> <mo>′</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>, let <i>X</i>(<i>w</i>) consist of measurable functions <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(f:\mathbb {T}\rightarrow \mathbb {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>:</mo> <mi mathvariant="double-struck">T</mi> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">C</mi> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(fw\in X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mi>w</mi> <mo>∈</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation>, and let <i>H</i>[<i>X</i>] and <i>H</i>[<i>X</i>(<i>w</i>)] denote the abstract Hardy spaces built upon <i>X</i> and <i>X</i>(<i>w</i>), respectively. Extending Rudin’s arguments (1962), we show that if <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathcal {P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">P</mi> </math></EquationSource> </InlineEquation> is a bounded projection from <i>X</i>(<i>w</i>) onto <i>H</i>[<i>X</i>(<i>w</i>)], then the Riesz projection <i>P</i> is bounded from <i>X</i> onto <i>H</i>[<i>X</i>] and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\Vert aI+bP\Vert _{\mathcal {B}(X)}\le \Vert aI+b\mathcal {P}\Vert _{\mathcal {B}(X(w))}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>a</mi> <mi>I</mi> <mo>+</mo> <mi>b</mi> <mi>P</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </msub> <mo>≤</mo> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>a</mi> <mi>I</mi> <mo>+</mo> <mi>b</mi> <mi mathvariant="script">P</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">(</mo> <mi>w</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(a,b\in \mathbb {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>,</mo> <mi>b</mi> <mo>∈</mo> <mi mathvariant="double-struck">C</mi> </mrow> </math></EquationSource> </InlineEquation>. Further, for <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(m\in \mathbb {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation>, let <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(T(\textbf{e}_{-m})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="bold">e</mi> <mrow> <mo>-</mo> <mi>m</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be the Toeplitz operator with symbol <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\textbf{e}_{-m}(t)=t^{-m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="bold">e</mi> <mrow> <mo>-</mo> <mi>m</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mi>t</mi> <mrow> <mo>-</mo> <mi>m</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>. We prove that <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\Vert T(\textbf{e}_{-m})\Vert _{\mathcal {B}(H[X])} \le \Vert T(\textbf{e}_{-m})\Vert _{\mathcal {B}(H[X(w)])}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">‖</mo> <mi>T</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="bold">e</mi> <mrow> <mo>-</mo> <mi>m</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <msub> <mrow> <mo stretchy="false">‖</mo> </mrow> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi>H</mi> <mo stretchy="false">[</mo> <mi>X</mi> <mo stretchy="false">]</mo> <mo stretchy="false">)</mo> </mrow> </msub> <mo>≤</mo> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>T</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="bold">e</mi> <mrow> <mo>-</mo> <mi>m</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">‖</mo> </mrow> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi>H</mi> <mo stretchy="false">[</mo> <mi>X</mi> <mo stretchy="false">(</mo> <mi>w</mi> <mo stretchy="false">)</mo> <mo stretchy="false">]</mo> <mo stretchy="false">)</mo> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(m\in \mathbb {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Minimality of the Riesz Projection Among Projections onto Abstract Hardy Spaces and Related Topics

  • Oleksiy Karlovych,
  • Eugene Shargorodsky

摘要

Let X be a translation-invariant Banach function space on the unit circle \(\mathbb {T}\) T with the associate space \(X'\) X , let w be a weight such that \(w\in X\) w X and \(1/w\in X'\) 1 / w X , let X(w) consist of measurable functions \(f:\mathbb {T}\rightarrow \mathbb {C}\) f : T C such that \(fw\in X\) f w X , and let H[X] and H[X(w)] denote the abstract Hardy spaces built upon X and X(w), respectively. Extending Rudin’s arguments (1962), we show that if \(\mathcal {P}\) P is a bounded projection from X(w) onto H[X(w)], then the Riesz projection P is bounded from X onto H[X] and \(\Vert aI+bP\Vert _{\mathcal {B}(X)}\le \Vert aI+b\mathcal {P}\Vert _{\mathcal {B}(X(w))}\) a I + b P B ( X ) a I + b P B ( X ( w ) ) for all \(a,b\in \mathbb {C}\) a , b C . Further, for \(m\in \mathbb {N}\) m N , let \(T(\textbf{e}_{-m})\) T ( e - m ) be the Toeplitz operator with symbol \(\textbf{e}_{-m}(t)=t^{-m}\) e - m ( t ) = t - m . We prove that \(\Vert T(\textbf{e}_{-m})\Vert _{\mathcal {B}(H[X])} \le \Vert T(\textbf{e}_{-m})\Vert _{\mathcal {B}(H[X(w)])}\) T ( e - m ) B ( H [ X ] ) T ( e - m ) B ( H [ X ( w ) ] ) for all \(m\in \mathbb {N}\) m N .