<p>In this paper, we study the function spaces <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11425_2024_2386_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\({\cal D}(\mu)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">D</mi> </mrow> <mo stretchy="false">(</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> by Richter (1991) and Aleman (1993), and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11425_2024_2386_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\cal D}_{\vec \mu}}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mrow> <mi mathvariant="script">D</mi> </mrow> <mrow> <mrow> <mover> <mi>μ</mi> <mo stretchy="false">→</mo> </mover> </mrow> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> by Rydhe (2019). It is known that the forward shift <i>M</i><sub><i>z</i></sub> is bounded and expansive on <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11425_2024_2386_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\({\cal D}(\mu)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">D</mi> </mrow> <mo stretchy="false">(</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation>, and therefore <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11425_2024_2386_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\({\cal D}(\mu)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">D</mi> </mrow> <mo stretchy="false">(</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> coincides with a de Branges-Rovnyak space <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11425_2024_2386_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\({\cal H}[B]\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">H</mi> </mrow> <mo stretchy="false">[</mo> <mi>B</mi> <mo stretchy="false">]</mo> </math></EquationSource> </InlineEquation>. We show that such a <i>B</i> is rational if and only if <i>μ</i> is finitely atomic, and this happens exactly when the corresponding defect operator has finite rank. We also outline a method for calculating the reproducing kernel of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11425_2024_2386_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\({\cal D}(\mu)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">D</mi> </mrow> <mo stretchy="false">(</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> for finitely atomic <i>μ</i>. Similarly, we characterize the allowable tuples <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11425_2024_2386_Article_IEq7.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="166" /> </InlineMediaObject> <EquationSource Format="TEX">\({\vec \mu}=({\vert dz \vert \over 2 \pi}, \mu_{1},\cdots,\mu_{n-1})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mrow> <mover> <mi>μ</mi> <mo stretchy="false">→</mo> </mover> </mrow> </mrow> <mo>=</mo> <mo stretchy="false">(</mo> <mrow> <mfrac> <mrow> <mo fence="false" stretchy="false">|</mo> <mi>d</mi> <mi>z</mi> <mo fence="false" stretchy="false">|</mo> </mrow> <mrow> <mn>2</mn> <mi>π</mi> </mrow> </mfrac> </mrow> <mo>,</mo> <msub> <mi>μ</mi> <mrow> <mn>1</mn> </mrow> </msub> <mo>,</mo> <mo>⋯</mo> <mo>,</mo> <msub> <mi>μ</mi> <mrow> <mi>n</mi> <mo>−</mo> <mn>1</mn> </mrow> </msub> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> such that <i>M</i><sub><i>z</i></sub> on <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11425_2024_2386_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\({\cal D}_{\vec \mu}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mi mathvariant="script">D</mi> </mrow> <mrow> <mrow> <mover> <mi>μ</mi> <mo stretchy="false">→</mo> </mover> </mrow> </mrow> </msub> </math></EquationSource> </InlineEquation> is expansive with a finite rank defect operator. This investigation provides many interesting examples of normalized allowable tuples <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11425_2024_2386_Article_IEq9.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\({\vec \mu}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mrow> <mover> <mi>μ</mi> <mo stretchy="false">→</mo> </mover> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

On Dirichlet-type and n-isometric shifts in finite rank de Branges-Rovnyak spaces

  • Shuaibing Luo,
  • Eskil Rydhe

摘要

In this paper, we study the function spaces \({\cal D}(\mu)\) D ( μ ) by Richter (1991) and Aleman (1993), and \({{\cal D}_{\vec \mu}}\) D μ by Rydhe (2019). It is known that the forward shift Mz is bounded and expansive on \({\cal D}(\mu)\) D ( μ ) , and therefore \({\cal D}(\mu)\) D ( μ ) coincides with a de Branges-Rovnyak space \({\cal H}[B]\) H [ B ] . We show that such a B is rational if and only if μ is finitely atomic, and this happens exactly when the corresponding defect operator has finite rank. We also outline a method for calculating the reproducing kernel of \({\cal D}(\mu)\) D ( μ ) for finitely atomic μ. Similarly, we characterize the allowable tuples \({\vec \mu}=({\vert dz \vert \over 2 \pi}, \mu_{1},\cdots,\mu_{n-1})\) μ = ( | d z | 2 π , μ 1 , , μ n 1 ) such that Mz on \({\cal D}_{\vec \mu}\) D μ is expansive with a finite rank defect operator. This investigation provides many interesting examples of normalized allowable tuples \({\vec \mu}\) μ .