<p>A Hilbert space operator <i>T</i> is said to be an <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathbb {A}_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">A</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation>-<i>contraction</i> if the closure of the annulus <Equation ID="Equ18"> <EquationSource Format="TEX">\( \mathbb {A}_r=\{z \in \mathbb {C} \ : \ r&lt;|z|&lt;1\} \qquad (0&lt;r&lt;1) \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mi mathvariant="double-struck">A</mi> <mi>r</mi> </msub> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <mi>z</mi> <mo>∈</mo> <mi mathvariant="double-struck">C</mi> <mspace width="4pt" /> <mo>:</mo> <mspace width="4pt" /> <mi>r</mi> <mo>&lt;</mo> <mo stretchy="false">|</mo> <mi>z</mi> <mo stretchy="false">|</mo> <mo>&lt;</mo> <mn>1</mn> <mo stretchy="false">}</mo> </mrow> <mspace width="2em" /> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>&lt;</mo> <mi>r</mi> <mo>&lt;</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </Equation>is a spectral set for <i>T</i>. An <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathbb {A}_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">A</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation>-unitary is a normal operator with spectrum inside the boundary <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\partial \mathbb {A}_r\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <msub> <mi mathvariant="double-struck">A</mi> <mi>r</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>. An <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathbb {A}_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">A</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation>-isometry is a subnormal <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathbb {A}_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">A</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation>-contraction whose minimal normal extension is an <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathbb {A}_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">A</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation>-unitary. A pure <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathbb {A}_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">A</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation>-isometry is an <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathbb {A}_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">A</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation>-isometry that has no <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathbb {A}_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">A</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation>-unitary part. Agler proved the success of rational dilation on <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\overline{\mathbb {A}}_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mover> <mi mathvariant="double-struck">A</mi> <mo>¯</mo> </mover> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation>, i.e., every <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\mathbb {A}_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">A</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation>-contraction admits a normal boundary dilation. For the class of invertible operators <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(C_{1, r}=\{T: \Vert T\Vert , \Vert rT^{-1}\Vert \le 1\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>C</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>r</mi> </mrow> </msub> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <mi>T</mi> <mo>:</mo> <mo stretchy="false">‖</mo> <mi>T</mi> <mo stretchy="false">‖</mo> <mo>,</mo> <mo stretchy="false">‖</mo> <mi>r</mi> </mrow> <msup> <mi>T</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">‖</mo> <mo>≤</mo> <mn>1</mn> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <Equation ID="Equ19"> <EquationSource Format="TEX">\( C_\alpha =\{T: \ T~{\text {is invertible and}} \ \alpha (T^*, T)=-T^{*2}T^2+(1+r^2)T^*T-r^2I \ge 0\}. \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mi>C</mi> <mi>α</mi> </msub> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <mi>T</mi> <mo>:</mo> <mspace width="4pt" /> <mi>T</mi> <mspace width="3.33333pt" /> <mrow> <mtext>is invertible and</mtext> </mrow> <mspace width="4pt" /> <mi>α</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>T</mi> <mo>∗</mo> </msup> <mo>,</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mo>-</mo> <msup> <mi>T</mi> <mrow> <mrow /> <mo>∗</mo> <mn>2</mn> </mrow> </msup> <msup> <mi>T</mi> <mn>2</mn> </msup> <mo>+</mo> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>+</mo> <msup> <mi>r</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> <msup> <mi>T</mi> <mo>∗</mo> </msup> <mi>T</mi> <mo>-</mo> <msup> <mi>r</mi> <mn>2</mn> </msup> <mi>I</mi> <mo>≥</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> <mo>.</mo> </mrow> </math></EquationSource> </Equation>Bello and Yakubovich proved that <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\{T: \ T \ {\text {is an}}~ \mathbb {A}_r-{\text {contraction}}\} \subsetneq C_\alpha \subsetneq C_{1,r}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">{</mo> <mi>T</mi> <mo>:</mo> <mspace width="4pt" /> <mi>T</mi> <mspace width="4pt" /> <mrow> <mtext>is an</mtext> </mrow> <mspace width="3.33333pt" /> <msub> <mi mathvariant="double-struck">A</mi> <mi>r</mi> </msub> <mo>-</mo> <mtext>contraction</mtext> <mo stretchy="false">}</mo> </mrow> <mo>⊊</mo> <msub> <mi>C</mi> <mi>α</mi> </msub> <mo>⊊</mo> <msub> <mi>C</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>r</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> and provided a model theorem for <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(C_\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mi>α</mi> </msub> </math></EquationSource> </InlineEquation> class of operators. Capitalizing their model for operators in <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(C_\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mi>α</mi> </msub> </math></EquationSource> </InlineEquation>, we obtain a model theorem for <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\mathbb {A}_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">A</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation>-contractions <i>T</i> satisfying <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(T^n \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>T</mi> <mi>n</mi> </msup> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\((rT^{-1})^n \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mo stretchy="false">(</mo> <mi>r</mi> <msup> <mi>T</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> <mi>n</mi> </msup> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> strongly as <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(n \rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>. Models for <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(\mathbb {A}_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">A</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation>-isometries and pure <InlineEquation ID="IEq24"> <EquationSource Format="TEX">\(\mathbb {A}_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">A</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation>-isometries are provided. Furthermore, canonical decomposition and Levan type decomposition are found for operators in <InlineEquation ID="IEq25"> <EquationSource Format="TEX">\(C_\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mi>α</mi> </msub> </math></EquationSource> </InlineEquation> class.</p>

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

A Model Theory for a Subclass of \(\mathbb {A}_r\)-Contractions

  • Sourav Pal,
  • Nitin Tomar

摘要

A Hilbert space operator T is said to be an \(\mathbb {A}_r\) A r -contraction if the closure of the annulus \( \mathbb {A}_r=\{z \in \mathbb {C} \ : \ r<|z|<1\} \qquad (0<r<1) \) A r = { z C : r < | z | < 1 } ( 0 < r < 1 ) is a spectral set for T. An \(\mathbb {A}_r\) A r -unitary is a normal operator with spectrum inside the boundary \(\partial \mathbb {A}_r\) A r . An \(\mathbb {A}_r\) A r -isometry is a subnormal \(\mathbb {A}_r\) A r -contraction whose minimal normal extension is an \(\mathbb {A}_r\) A r -unitary. A pure \(\mathbb {A}_r\) A r -isometry is an \(\mathbb {A}_r\) A r -isometry that has no \(\mathbb {A}_r\) A r -unitary part. Agler proved the success of rational dilation on \(\overline{\mathbb {A}}_r\) A ¯ r , i.e., every \(\mathbb {A}_r\) A r -contraction admits a normal boundary dilation. For the class of invertible operators \(C_{1, r}=\{T: \Vert T\Vert , \Vert rT^{-1}\Vert \le 1\}\) C 1 , r = { T : T , r T - 1 1 } and \( C_\alpha =\{T: \ T~{\text {is invertible and}} \ \alpha (T^*, T)=-T^{*2}T^2+(1+r^2)T^*T-r^2I \ge 0\}. \) C α = { T : T is invertible and α ( T , T ) = - T 2 T 2 + ( 1 + r 2 ) T T - r 2 I 0 } . Bello and Yakubovich proved that \(\{T: \ T \ {\text {is an}}~ \mathbb {A}_r-{\text {contraction}}\} \subsetneq C_\alpha \subsetneq C_{1,r}\) { T : T is an A r - contraction } C α C 1 , r and provided a model theorem for \(C_\alpha \) C α class of operators. Capitalizing their model for operators in \(C_\alpha \) C α , we obtain a model theorem for \(\mathbb {A}_r\) A r -contractions T satisfying \(T^n \rightarrow 0\) T n 0 and \((rT^{-1})^n \rightarrow 0\) ( r T - 1 ) n 0 strongly as \(n \rightarrow \infty \) n . Models for \(\mathbb {A}_r\) A r -isometries and pure \(\mathbb {A}_r\) A r -isometries are provided. Furthermore, canonical decomposition and Levan type decomposition are found for operators in \(C_\alpha \) C α class.