<p>A fundamental result of B. Sz. Nazy states that every contraction <i>T</i> on a Hilbert space <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation> has a unitary unitary dilation <i>U</i> to some Hilbert space <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq7.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> containing <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation> as a subspace such that <Equation ID="Equ21"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_Equ21.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="210" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} T^n=P_{{\mathcal {H}}}U^n_{|_{{\mathcal {H}}}}~{\textrm{for}}~n=1,2,\ldots , \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msup> <mi>T</mi> <mi>n</mi> </msup> <mo>=</mo> <msub> <mi>P</mi> <mi mathvariant="script">H</mi> </msub> <msubsup> <mi>U</mi> <msub> <mrow> <mo stretchy="false">|</mo> </mrow> <mi mathvariant="script">H</mi> </msub> <mi>n</mi> </msubsup> <mspace width="3.33333pt" /> <mtext>for</mtext> <mspace width="3.33333pt" /> <mi>n</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq9.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 a projection from <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq10.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="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq11.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> We can extend this theory sensibly to families of operators by considering the isometric dilation of a contraction on a Hilbert space. It is natural to ask whether this idea can be generalised, where the contraction <i>T</i> is substituted by a commuting <i>n</i>-tuple of operators <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="86" /> </InlineMediaObject> <EquationSource Format="TEX">\((S_1,\ldots , S_n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>S</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>S</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> acting on some Hilbert space having <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq13.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma _n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Γ</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> as a spectral set. We derive the necessary conditions for the existence of a <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma _n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Γ</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>-isometric dilation for <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq15.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma _n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Γ</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>-contractions. Also, we discuss an example of a <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq16.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma _3\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Γ</mi> <mn>3</mn> </msub> </math></EquationSource> </InlineEquation>-contraction <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq17.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\((S_1, S_2, S_3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>S</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>S</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>S</mi> <mn>3</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> acting on some Hilbert space <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq18.gif" Format="GIF" Height="17" 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> which has a <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq19.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma _3\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Γ</mi> <mn>3</mn> </msub> </math></EquationSource> </InlineEquation>-isometric dilation, but it fails to satisfy the following condition: <Equation ID="Equ22"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_Equ22.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="226" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} E_1^*E_1-E_1E_1^*= E_2^*E_2-E_2E_2^*, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msubsup> <mi>E</mi> <mn>1</mn> <mo>∗</mo> </msubsup> <msub> <mi>E</mi> <mn>1</mn> </msub> <mo>-</mo> <msub> <mi>E</mi> <mn>1</mn> </msub> <msubsup> <mi>E</mi> <mn>1</mn> <mo>∗</mo> </msubsup> <mo>=</mo> <msubsup> <mi>E</mi> <mn>2</mn> <mo>∗</mo> </msubsup> <msub> <mi>E</mi> <mn>2</mn> </msub> <mo>-</mo> <msub> <mi>E</mi> <mn>2</mn> </msub> <msubsup> <mi>E</mi> <mn>2</mn> <mo>∗</mo> </msubsup> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq20.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(E_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq21.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(E_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> are the fundamental operators of <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq22.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="84" /> </InlineMediaObject> <EquationSource Format="TEX">\((S_1, S_2, S_3),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>S</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>S</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>S</mi> <mn>3</mn> </msub> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq23.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\((S_1,S_2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>S</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>S</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a pair of commuting contractions, and <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq24.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_3\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>S</mi> <mn>3</mn> </msub> </math></EquationSource> </InlineEquation> is a partial isometry. Thus, the set of sufficient conditions for the existence of a <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq25.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma _3\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Γ</mi> <mn>3</mn> </msub> </math></EquationSource> </InlineEquation>-isometric dilation breaks down, in general, to be necessary, even when the <InlineEquation ID="IEq26"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq26.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma _3\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Γ</mi> <mn>3</mn> </msub> </math></EquationSource> </InlineEquation>-contraction <InlineEquation ID="IEq27"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq27.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\((S_1, S_2, S_3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>S</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>S</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>S</mi> <mn>3</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> has the special structure described above. We develop an explicit <InlineEquation ID="IEq28"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq28.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma _3\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Γ</mi> <mn>3</mn> </msub> </math></EquationSource> </InlineEquation>-isometric dilation for each member <InlineEquation ID="IEq29"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq29.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="91" /> </InlineMediaObject> <EquationSource Format="TEX">\((S_1^{(\alpha )}, S_2,S_3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msubsup> <mi>S</mi> <mn>1</mn> <mrow> <mo stretchy="false">(</mo> <mi>α</mi> <mo stretchy="false">)</mo> </mrow> </msubsup> <mo>,</mo> <msub> <mi>S</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>S</mi> <mn>3</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of a family of <InlineEquation ID="IEq30"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq30.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma _3\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Γ</mi> <mn>3</mn> </msub> </math></EquationSource> </InlineEquation>- contractions indexed by a parameter <InlineEquation ID="IEq31"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2024_1652_Article_IEq31.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> on the closed unit disc. We show that the dilation space is the same for any member of the family.</p>

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

Necessary Conditions of \(\Gamma _n\)-Isometry Dilation and the Dilation of a Certain Family of \(\Gamma _3\)-Contractions

  • Shubhankar Mandal,
  • Avijit Pal

摘要

A fundamental result of B. Sz. Nazy states that every contraction T on a Hilbert space \({\mathcal {H}}\) H has a unitary unitary dilation U to some Hilbert space \({\mathcal {K}}\) K containing \({\mathcal {H}}\) H as a subspace such that \(\begin{aligned} T^n=P_{{\mathcal {H}}}U^n_{|_{{\mathcal {H}}}}~{\textrm{for}}~n=1,2,\ldots , \end{aligned}\) T n = P H U | H n for n = 1 , 2 , , where \(P_{{\mathcal {H}}}\) P H is a projection from \({\mathcal {K}}\) K onto \({\mathcal {H}}.\) H . We can extend this theory sensibly to families of operators by considering the isometric dilation of a contraction on a Hilbert space. It is natural to ask whether this idea can be generalised, where the contraction T is substituted by a commuting n-tuple of operators \((S_1,\ldots , S_n)\) ( S 1 , , S n ) acting on some Hilbert space having \(\Gamma _n\) Γ n as a spectral set. We derive the necessary conditions for the existence of a \(\Gamma _n\) Γ n -isometric dilation for \(\Gamma _n\) Γ n -contractions. Also, we discuss an example of a \(\Gamma _3\) Γ 3 -contraction \((S_1, S_2, S_3)\) ( S 1 , S 2 , S 3 ) acting on some Hilbert space \({\mathcal {H}},\) H , which has a \(\Gamma _3\) Γ 3 -isometric dilation, but it fails to satisfy the following condition: \(\begin{aligned} E_1^*E_1-E_1E_1^*= E_2^*E_2-E_2E_2^*, \end{aligned}\) E 1 E 1 - E 1 E 1 = E 2 E 2 - E 2 E 2 , where \(E_1\) E 1 and \(E_2\) E 2 are the fundamental operators of \((S_1, S_2, S_3),\) ( S 1 , S 2 , S 3 ) , \((S_1,S_2)\) ( S 1 , S 2 ) is a pair of commuting contractions, and \(S_3\) S 3 is a partial isometry. Thus, the set of sufficient conditions for the existence of a \(\Gamma _3\) Γ 3 -isometric dilation breaks down, in general, to be necessary, even when the \(\Gamma _3\) Γ 3 -contraction \((S_1, S_2, S_3)\) ( S 1 , S 2 , S 3 ) has the special structure described above. We develop an explicit \(\Gamma _3\) Γ 3 -isometric dilation for each member \((S_1^{(\alpha )}, S_2,S_3)\) ( S 1 ( α ) , S 2 , S 3 ) of a family of \(\Gamma _3\) Γ 3 - contractions indexed by a parameter \(\alpha \) α on the closed unit disc. We show that the dilation space is the same for any member of the family.