<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_945_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {B}}(H)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi>H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be the <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_945_Article_IEq2.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>-algebra of all bounded linear operators on a complex Hilbert space <i>H</i>. For <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_945_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="96" /> </InlineMediaObject> <EquationSource Format="TEX">\(A,B\in {\mathcal {B}}(H)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>,</mo> <mi>B</mi> <mo>∈</mo> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi>H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, define the basic elementary operator <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_945_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_{A,B}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>M</mi> <mrow> <mi>A</mi> <mo>,</mo> <mi>B</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> by <Equation ID="Equ17"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_945_Article_Equ17.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="235" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} M_{A,B}(X)=AXB, \, (X\in {\mathcal {B}}(H)). \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>M</mi> <mrow> <mi>A</mi> <mo>,</mo> <mi>B</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>A</mi> <mi>X</mi> <mi>B</mi> <mo>,</mo> <mspace width="0.166667em" /> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>∈</mo> <mi mathvariant="script">B</mi> <mrow> <mo stretchy="false">(</mo> <mi>H</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>If <i>J</i> is a symmetric norm ideal of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_945_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {B}}(H)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi>H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, we denote <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_945_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_{J,A,B}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>M</mi> <mrow> <mi>J</mi> <mo>,</mo> <mi>A</mi> <mo>,</mo> <mi>B</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> the restriction of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_945_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_{A,B}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>M</mi> <mrow> <mi>A</mi> <mo>,</mo> <mi>B</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> to <i>J</i>. In this paper, we study the generalized Daugavet equation <Equation ID="Equ18"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_945_Article_Equ18.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="363" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \Vert I+M_{J,A,B}+M_{J,C,D}\Vert =1+\Vert A\Vert \Vert B\Vert +\Vert C\Vert \Vert D\Vert , \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mrow> <mo stretchy="false">‖</mo> <mi>I</mi> <mo>+</mo> </mrow> <msub> <mi>M</mi> <mrow> <mi>J</mi> <mo>,</mo> <mi>A</mi> <mo>,</mo> <mi>B</mi> </mrow> </msub> <mo>+</mo> <msub> <mi>M</mi> <mrow> <mi>J</mi> <mo>,</mo> <mi>C</mi> <mo>,</mo> <mi>D</mi> </mrow> </msub> <mrow> <mo stretchy="false">‖</mo> <mo>=</mo> <mn>1</mn> <mo>+</mo> <mo stretchy="false">‖</mo> <mi>A</mi> <mo stretchy="false">‖</mo> <mo stretchy="false">‖</mo> <mi>B</mi> <mo stretchy="false">‖</mo> <mo>+</mo> <mo stretchy="false">‖</mo> <mi>C</mi> <mo stretchy="false">‖</mo> <mo stretchy="false">‖</mo> <mi>D</mi> <mo stretchy="false">‖</mo> <mo>,</mo> </mrow> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>here <i>I</i> stands for the identity operator on <i>H</i>. In particular, we give necessary and sufficient conditions on positive operators <i>A</i> and <i>B</i> to satisfy this equality in the special case where <i>J</i> is the Hilbert-Schmidt ideal of operators in <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_945_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {B}}(H)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi>H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

On the Daugavet equation for basic elementary operators

  • Abdelghani Sougrati,
  • Mohamed Boumazgour,
  • Zakaria Taki

摘要

Let \({\mathcal {B}}(H)\) B ( H ) be the \(C^{*}\) C -algebra of all bounded linear operators on a complex Hilbert space H. For \(A,B\in {\mathcal {B}}(H)\) A , B B ( H ) , define the basic elementary operator \(M_{A,B}\) M A , B by \(\begin{aligned} M_{A,B}(X)=AXB, \, (X\in {\mathcal {B}}(H)). \end{aligned}\) M A , B ( X ) = A X B , ( X B ( H ) ) . If J is a symmetric norm ideal of \({\mathcal {B}}(H)\) B ( H ) , we denote \(M_{J,A,B}\) M J , A , B the restriction of \(M_{A,B}\) M A , B to J. In this paper, we study the generalized Daugavet equation \(\begin{aligned} \Vert I+M_{J,A,B}+M_{J,C,D}\Vert =1+\Vert A\Vert \Vert B\Vert +\Vert C\Vert \Vert D\Vert , \end{aligned}\) I + M J , A , B + M J , C , D = 1 + A B + C D , here I stands for the identity operator on H. In particular, we give necessary and sufficient conditions on positive operators A and B to satisfy this equality in the special case where J is the Hilbert-Schmidt ideal of operators in \({\mathcal {B}}(H)\) B ( H ) .