<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(T:H\rightarrow H\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>:</mo> <mi>H</mi> <mo stretchy="false">→</mo> <mi>H</mi> </mrow> </math></EquationSource> </InlineEquation> be a bounded operator on Hilbert space <i>H</i>. We say that <i>T</i> has a polygonal type if there exists an open convex polygon <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta \subset {\mathbb {D}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Δ</mi> <mo>⊂</mo> <mi mathvariant="double-struck">D</mi> </mrow> </math></EquationSource> </InlineEquation>, with <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="78" /> </InlineMediaObject> <EquationSource Format="TEX">\(\overline{\Delta }\cap {\mathbb {T}}\ne \emptyset \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover> <mi mathvariant="normal">Δ</mi> <mo>¯</mo> </mover> <mo>∩</mo> <mi mathvariant="double-struck">T</mi> <mo>≠</mo> <mi mathvariant="normal">∅</mi> </mrow> </math></EquationSource> </InlineEquation>, such that the spectrum <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma (T)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is included in <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\overline{\Delta }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <mi mathvariant="normal">Δ</mi> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation> and the resolvent <i>R</i>(<i>z</i>,&#xa0;<i>T</i>) satisfies an estimate <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="301" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Vert R(z,T)\Vert \lesssim \max \{\vert z-\xi \vert ^{-1}\,:\, \xi \in \overline{\Delta }\cap {\mathbb {T}}\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">‖</mo> <mi>R</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo>,</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">‖</mo> <mo>≲</mo> <mo movablelimits="true">max</mo> <mo stretchy="false">{</mo> <mo stretchy="false">|</mo> <mi>z</mi> <mo>-</mo> <mi>ξ</mi> <msup> <mo stretchy="false">|</mo> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mspace width="0.166667em" /> <mo>:</mo> <mspace width="0.166667em" /> <mi>ξ</mi> <mo>∈</mo> <mover> <mi mathvariant="normal">Δ</mi> <mo>¯</mo> </mover> <mo>∩</mo> <mi mathvariant="double-struck">T</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq7.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(z\in \overline{\mathbb {D}}^c\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>z</mi> <mo>∈</mo> <msup> <mover> <mi mathvariant="double-struck">D</mi> <mo>¯</mo> </mover> <mi>c</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>. The class of polygonal type operators (which goes back to De Laubenfels and Franks–McIntosh) contains the class of Ritt operators. Let <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq8.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_1,\ldots ,T_d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>T</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>T</mi> <mi>d</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> be commuting operators on <i>H</i>, with <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(d\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>. We prove functional calculus properties of the <i>d</i>-tuple <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="84" /> </InlineMediaObject> <EquationSource Format="TEX">\((T_1,\ldots ,T_d)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>T</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>T</mi> <mi>d</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> under various assumptions involving poygonal type. The main ones are the following. (1) If the operator <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_k\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mi>k</mi> </msub> </math></EquationSource> </InlineEquation> is a contraction for all <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq12.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(k=1,\ldots ,d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>d</mi> </mrow> </math></EquationSource> </InlineEquation> and if <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq13.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_1,\ldots ,T_{d-2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>T</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>T</mi> <mrow> <mi>d</mi> <mo>-</mo> <mn>2</mn> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> have a polygonal type, then <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="84" /> </InlineMediaObject> <EquationSource Format="TEX">\((T_1,\ldots ,T_d)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>T</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>T</mi> <mi>d</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> satisfies a generalized von Neumann inequality <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq15.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="206" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Vert \phi (T_1,\ldots ,T_d)\Vert \le C\Vert \phi \Vert _{\infty ,{\mathbb {D}}^d}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">‖</mo> <mi>ϕ</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi>T</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>T</mi> <mi>d</mi> </msub> <mo stretchy="false">)</mo> </mrow> <msub> <mrow> <mo stretchy="false">‖</mo> <mo>≤</mo> <mi>C</mi> <mo stretchy="false">‖</mo> <mi>ϕ</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <mi>∞</mi> <mo>,</mo> <msup> <mrow> <mi mathvariant="double-struck">D</mi> </mrow> <mi>d</mi> </msup> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> for polynomials <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq16.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ϕ</mi> </math></EquationSource> </InlineEquation> in <i>d</i> variables; (2) If <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq17.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_k\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mi>k</mi> </msub> </math></EquationSource> </InlineEquation> is polynomially bounded with a polygonal type for all <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq18.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(k=1,\ldots ,d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>d</mi> </mrow> </math></EquationSource> </InlineEquation>, then there exists an invertible operator <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq19.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="86" /> </InlineMediaObject> <EquationSource Format="TEX">\(S:H\rightarrow H\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mo>:</mo> <mi>H</mi> <mo stretchy="false">→</mo> <mi>H</mi> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq20.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="106" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Vert S^{-1}T_kS\Vert \le 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msup> <mi>S</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <msub> <mi>T</mi> <mi>k</mi> </msub> <mrow> <mi>S</mi> <mo stretchy="false">‖</mo> <mo>≤</mo> <mn>1</mn> </mrow> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_407_Article_IEq21.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(k=1,\ldots ,d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>d</mi> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Commuting families of polygonal type operators on Hilbert space

  • Christian Le Merdy,
  • M. N. Reshmi

摘要

Let \(T:H\rightarrow H\) T : H H be a bounded operator on Hilbert space H. We say that T has a polygonal type if there exists an open convex polygon \(\Delta \subset {\mathbb {D}}\) Δ D , with \(\overline{\Delta }\cap {\mathbb {T}}\ne \emptyset \) Δ ¯ T , such that the spectrum \(\sigma (T)\) σ ( T ) is included in \(\overline{\Delta }\) Δ ¯ and the resolvent R(zT) satisfies an estimate \(\Vert R(z,T)\Vert \lesssim \max \{\vert z-\xi \vert ^{-1}\,:\, \xi \in \overline{\Delta }\cap {\mathbb {T}}\}\) R ( z , T ) max { | z - ξ | - 1 : ξ Δ ¯ T } for \(z\in \overline{\mathbb {D}}^c\) z D ¯ c . The class of polygonal type operators (which goes back to De Laubenfels and Franks–McIntosh) contains the class of Ritt operators. Let \(T_1,\ldots ,T_d\) T 1 , , T d be commuting operators on H, with \(d\ge 3\) d 3 . We prove functional calculus properties of the d-tuple \((T_1,\ldots ,T_d)\) ( T 1 , , T d ) under various assumptions involving poygonal type. The main ones are the following. (1) If the operator \(T_k\) T k is a contraction for all \(k=1,\ldots ,d\) k = 1 , , d and if \(T_1,\ldots ,T_{d-2}\) T 1 , , T d - 2 have a polygonal type, then \((T_1,\ldots ,T_d)\) ( T 1 , , T d ) satisfies a generalized von Neumann inequality \(\Vert \phi (T_1,\ldots ,T_d)\Vert \le C\Vert \phi \Vert _{\infty ,{\mathbb {D}}^d}\) ϕ ( T 1 , , T d ) C ϕ , D d for polynomials \(\phi \) ϕ in d variables; (2) If \(T_k\) T k is polynomially bounded with a polygonal type for all \(k=1,\ldots ,d\) k = 1 , , d , then there exists an invertible operator \(S:H\rightarrow H\) S : H H such that \(\Vert S^{-1}T_kS\Vert \le 1\) S - 1 T k S 1 for all \(k=1,\ldots ,d\) k = 1 , , d .