<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_411_Article_IEq1.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(\big \{A_{n}\big \}_{n\ge 1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">{</mo> </mrow> <msub> <mi>A</mi> <mi>n</mi> </msub> <msub> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">}</mo> </mrow> <mrow> <mi>n</mi> <mo>≥</mo> <mn>1</mn> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> be a sequence of bounded linear operators on a complex Hilbert space <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_411_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {H}}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">H</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Then a bounded operator <i>B</i> on a Hilbert space <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_411_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {K}} \supseteq {\mathcal {H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">K</mi> <mo>⊇</mo> <mi mathvariant="script">H</mi> </mrow> </math></EquationSource> </InlineEquation> is said to be a dilation of this sequence if <Equation ID="Equ35"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_411_Article_Equ35.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="211" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} A_{n} = P_{{\mathcal {H}}}B^{n}|_{{\mathcal {H}}} \quad \text {for all}\ n\ge 1, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>A</mi> <mi>n</mi> </msub> <mo>=</mo> <msub> <mi>P</mi> <mi mathvariant="script">H</mi> </msub> <msup> <mi>B</mi> <mi>n</mi> </msup> <msub> <mrow> <mo stretchy="false">|</mo> </mrow> <mi mathvariant="script">H</mi> </msub> <mspace width="1em" /> <mtext>for all</mtext> <mspace width="4pt" /> <mi>n</mi> <mo>≥</mo> <mn>1</mn> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_411_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_{{\mathcal {H}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mi mathvariant="script">H</mi> </msub> </math></EquationSource> </InlineEquation> is the projection of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_411_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {K}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">K</mi> </math></EquationSource> </InlineEquation> onto <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_411_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {H}}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">H</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> The question of the existence of dilation is a generalization of the classical moment problem. We obtain the necessary and sufficient conditions for the existence of self-adjoint dilation. Then we provide explicit block operator representations for these dilations. For example, the self-adjoint dilations can be put in block tri-diagonal form. Given a positive invertible operator <i>A</i>,&#xa0; an operator <i>T</i> is said to be in the <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_411_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {C}}_{A}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">C</mi> <mi>A</mi> </msub> </math></EquationSource> </InlineEquation>-class if the sequence <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_411_Article_IEq8.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="121" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{ A^{-\frac{1}{2}}T^nA^{-\frac{1}{2}}\}_{n\ge 1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msup> <mi>A</mi> <mrow> <mo>-</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </mrow> </msup> <msup> <mi>T</mi> <mi>n</mi> </msup> <msup> <mi>A</mi> <mrow> <mo>-</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </mrow> </msup> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>n</mi> <mo>≥</mo> <mn>1</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> admits a unitary dilation. We identify a tractable collection of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_411_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {C}}_A\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">C</mi> <mi>A</mi> </msub> </math></EquationSource> </InlineEquation>-class operators for which isometric and unitary dilations can be written explicitly in block operator form. This includes the well-known <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_411_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {C}}_{\rho }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">C</mi> <mi>ρ</mi> </msub> </math></EquationSource> </InlineEquation>-class for positive scalars <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_411_Article_IEq11.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho .\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ρ</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Here the special cases <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_411_Article_IEq12.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho =1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ρ</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_411_Article_IEq13.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho =2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ρ</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> correspond to Schäffer representation for contractions and Ando’s representation for operators with a numerical radius not more than one respectively.</p>

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

Block decompositions of operator moment dilations

  • B. V. Rajarama Bhat,
  • Anindya Ghatak,
  • Santhosh Kumar Pamula

摘要

Let \(\big \{A_{n}\big \}_{n\ge 1}\) { A n } n 1 be a sequence of bounded linear operators on a complex Hilbert space \({\mathcal {H}}.\) H . Then a bounded operator B on a Hilbert space \({\mathcal {K}} \supseteq {\mathcal {H}}\) K H is said to be a dilation of this sequence if \(\begin{aligned} A_{n} = P_{{\mathcal {H}}}B^{n}|_{{\mathcal {H}}} \quad \text {for all}\ n\ge 1, \end{aligned}\) A n = P H B n | H for all n 1 , where \(P_{{\mathcal {H}}}\) P H is the projection of \({\mathcal {K}}\) K onto \({\mathcal {H}}.\) H . The question of the existence of dilation is a generalization of the classical moment problem. We obtain the necessary and sufficient conditions for the existence of self-adjoint dilation. Then we provide explicit block operator representations for these dilations. For example, the self-adjoint dilations can be put in block tri-diagonal form. Given a positive invertible operator A,  an operator T is said to be in the \({\mathcal {C}}_{A}\) C A -class if the sequence \(\{ A^{-\frac{1}{2}}T^nA^{-\frac{1}{2}}\}_{n\ge 1}\) { A - 1 2 T n A - 1 2 } n 1 admits a unitary dilation. We identify a tractable collection of \({\mathcal {C}}_A\) C A -class operators for which isometric and unitary dilations can be written explicitly in block operator form. This includes the well-known \({\mathcal {C}}_{\rho }\) C ρ -class for positive scalars \(\rho .\) ρ . Here the special cases \(\rho =1\) ρ = 1 and \(\rho =2\) ρ = 2 correspond to Schäffer representation for contractions and Ando’s representation for operators with a numerical radius not more than one respectively.