<p>In this paper, we investigate the compactness of semicommutators of Toeplitz operators on Hardy spaces and Bergman spaces, focusing on the operators of the form <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1513_Article_IEq1.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\(T^{H}_{|f|^{2}}-T^{H}_{f}T^{H}_{\overline{f}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>T</mi> <msup> <mrow> <mo stretchy="false">|</mo> <mi>f</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mi>H</mi> </msubsup> <mo>-</mo> <msubsup> <mi>T</mi> <mi>f</mi> <mi>H</mi> </msubsup> <msubsup> <mi>T</mi> <mover> <mi>f</mi> <mo>¯</mo> </mover> <mi>H</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1513_Article_IEq2.gif" Format="GIF" Height="29" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\(T^{H}_{|\tilde{f}|^{2}}-T^{H}_{\tilde{f}}T^{H}_{\overline{\tilde{f}}} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>T</mi> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <mover accent="true"> <mi>f</mi> <mo stretchy="false">~</mo> </mover> <msup> <mrow> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> </mrow> <mi>H</mi> </msubsup> <mo>-</mo> <msubsup> <mi>T</mi> <mover accent="true"> <mi>f</mi> <mo stretchy="false">~</mo> </mover> <mi>H</mi> </msubsup> <msubsup> <mi>T</mi> <mover> <mover accent="true"> <mi>f</mi> <mo stretchy="false">~</mo> </mover> <mo>¯</mo> </mover> <mi>H</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1513_Article_IEq3.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="102" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tilde{f}(z)=f(z^{-1})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>f</mi> <mo stretchy="false">~</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>z</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We establish that the compactness of these operators can be characterized through the convergence of the sequence <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1513_Article_IEq15.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="197" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{T^{H}_{n}(|f|^{2})-T^{H}_{n}(f)T^{H}_{n}(\overline{f})\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">{</mo> </mrow> <msubsup> <mi>T</mi> <mi>n</mi> <mi>H</mi> </msubsup> <msup> <mrow> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <mi>f</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mrow> <mo stretchy="false">)</mo> <mo>-</mo> <msubsup> <mi>T</mi> <mi>n</mi> <mi>H</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <msubsup> <mi>T</mi> <mi>n</mi> <mi>H</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mover> <mi>f</mi> <mo>¯</mo> </mover> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> in the sense of singular value clustering. This provides a method for determining the compactness of semicommutators by examining the corresponding Toeplitz matrices derived from the Fourier coefficients of the symbol functions.Furthermore, we identify the function space <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1513_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="112" /> </InlineMediaObject> <EquationSource Format="TEX">\(VMO \cap L^{\infty}(\mathbb{T})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mi>M</mi> <mi>O</mi> <mo>∩</mo> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> as the largest <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1513_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mi>C</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> </math></EquationSource> </InlineEquation>-subalgebra of <InlineEquation ID="IEq1000"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1513_Article_IEq1000.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^{\infty}(\mathbb{T})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> such that, for any <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1513_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="159" /> </InlineMediaObject> <EquationSource Format="TEX">\(f, g \in VMO \cap L^{\infty}(\mathbb{T}) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>,</mo> <mi>g</mi> <mo>∈</mo> <mi>V</mi> <mi>M</mi> <mi>O</mi> <mo>∩</mo> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, sequence <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1513_Article_IEq8.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="188" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{T^{H}_{n}(fg)-T^{H}_{n}(f)T^{H}_{n}(g)\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <msubsup> <mi>T</mi> <mi>n</mi> <mi>H</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mi>g</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <msubsup> <mi>T</mi> <mi>n</mi> <mi>H</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <msubsup> <mi>T</mi> <mi>n</mi> <mi>H</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>g</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> converges in terms of singular value clustering. It is already known that <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1513_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="112" /> </InlineMediaObject> <EquationSource Format="TEX">\( VMO \cap L^{\infty}(\mathbb{T})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mi>M</mi> <mi>O</mi> <mo>∩</mo> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is the largest <InlineEquation ID="IEq1001"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1513_Article_IEq1001.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mi>C</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> </math></EquationSource> </InlineEquation>-subalgebra of <InlineEquation ID="IEq1002"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1513_Article_IEq1002.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^{\infty}(\mathbb{T})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> such that, for any <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1513_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="159" /> </InlineMediaObject> <EquationSource Format="TEX">\(f, g \in VMO \cap L^{\infty}(\mathbb{T}) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>,</mo> <mi>g</mi> <mo>∈</mo> <mi>V</mi> <mi>M</mi> <mi>O</mi> <mo>∩</mo> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, the operator <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1513_Article_IEq12.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="94" /> </InlineMediaObject> <EquationSource Format="TEX">\(T^{H}_{fg}-T^{H}_{f}T^{H}_{g}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>T</mi> <mrow> <mi mathvariant="italic">fg</mi> </mrow> <mi>H</mi> </msubsup> <mo>-</mo> <msubsup> <mi>T</mi> <mi>f</mi> <mi>H</mi> </msubsup> <msubsup> <mi>T</mi> <mi>g</mi> <mi>H</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation> is compact. Similar considerations are made for Bergman spaces <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1513_Article_IEq13.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(A^{2}(\mathbb{D})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>A</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">D</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where we obtain partial results. This work links operator theory, numerical linear algebra, and function spaces, providing new insights into the compactness properties of Toeplitz operators and their semicommutators.</p>

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

A characterization result for compactness of semicommutators of Toeplitz operators

  • R. Rajan

摘要

In this paper, we investigate the compactness of semicommutators of Toeplitz operators on Hardy spaces and Bergman spaces, focusing on the operators of the form \(T^{H}_{|f|^{2}}-T^{H}_{f}T^{H}_{\overline{f}}\) T | f | 2 H - T f H T f ¯ H and \(T^{H}_{|\tilde{f}|^{2}}-T^{H}_{\tilde{f}}T^{H}_{\overline{\tilde{f}}} \) T | f ~ | 2 H - T f ~ H T f ~ ¯ H , where \(\tilde{f}(z)=f(z^{-1})\) f ~ ( z ) = f ( z - 1 ) . We establish that the compactness of these operators can be characterized through the convergence of the sequence \(\{T^{H}_{n}(|f|^{2})-T^{H}_{n}(f)T^{H}_{n}(\overline{f})\}\) { T n H ( | f | 2 ) - T n H ( f ) T n H ( f ¯ ) } in the sense of singular value clustering. This provides a method for determining the compactness of semicommutators by examining the corresponding Toeplitz matrices derived from the Fourier coefficients of the symbol functions.Furthermore, we identify the function space \(VMO \cap L^{\infty}(\mathbb{T})\) V M O L ( T ) as the largest \(C^{*}\) C -subalgebra of \(L^{\infty}(\mathbb{T})\) L ( T ) such that, for any \(f, g \in VMO \cap L^{\infty}(\mathbb{T}) \) f , g V M O L ( T ) , sequence \(\{T^{H}_{n}(fg)-T^{H}_{n}(f)T^{H}_{n}(g)\}\) { T n H ( f g ) - T n H ( f ) T n H ( g ) } converges in terms of singular value clustering. It is already known that \( VMO \cap L^{\infty}(\mathbb{T})\) V M O L ( T ) is the largest \(C^{*}\) C -subalgebra of \(L^{\infty}(\mathbb{T})\) L ( T ) such that, for any \(f, g \in VMO \cap L^{\infty}(\mathbb{T}) \) f , g V M O L ( T ) , the operator \(T^{H}_{fg}-T^{H}_{f}T^{H}_{g}\) T fg H - T f H T g H is compact. Similar considerations are made for Bergman spaces \(A^{2}(\mathbb{D})\) A 2 ( D ) , where we obtain partial results. This work links operator theory, numerical linear algebra, and function spaces, providing new insights into the compactness properties of Toeplitz operators and their semicommutators.