<p>In a coupling theorem from 2001 we described a special class of canonical self-adjoint extensions of the direct sum of symmetric linear relations <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1812_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>S</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1812_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>S</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> in Krein spaces <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1812_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {H}_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="fraktur">H</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1812_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {H}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="fraktur">H</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> and assigned a unique parameter to each of these extensions. In this paper we assume that <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1812_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(\dim \mathfrak {H}_2 \in \mathbb {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>dim</mo> <msub> <mi mathvariant="fraktur">H</mi> <mn>2</mn> </msub> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation> and that <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1812_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>S</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> is an operator without eigenvalues and construct a model for <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1812_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\((\mathfrak {H}_2, S_2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="fraktur">H</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>S</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> based on an essentially unique polynomial matrix <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1812_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {P}(z)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">P</mi> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. The families of Shtraus subspaces associated with the self-adjoint extensions are characterized as restrictions of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1812_Article_IEq9.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_1^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>S</mi> <mn>1</mn> <mo>∗</mo> </msubsup> </math></EquationSource> </InlineEquation> by polynomial boundary conditions involving <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1812_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {P}(z)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">P</mi> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and the parameters. We establish necessary and sufficient conditions on the parameters under which the extensions are similar and the corresponding families of Shtraus subspaces coincide. Related to our results is the equation <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1812_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="142" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {W}(z) \mathcal {P}(z)=\mathcal {P}(z)\textsf{V}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">W</mi> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> <mi mathvariant="script">P</mi> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi mathvariant="script">P</mi> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> <mi mathvariant="sans-serif">V</mi> </mrow> </math></EquationSource> </InlineEquation> in which the unimodular matrix polynomial <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1812_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {W}(z)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">W</mi> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and the invertible matrix <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1812_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{V}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">V</mi> </math></EquationSource> </InlineEquation> are the unknowns. Explicit examples are given.</p>

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

Operators Without Eigenvalues in Finite-Dimensional Vector Spaces: Self-Adjoint Couplings and Shtraus Subspaces

  • B. Ćurgus,
  • A. Dijksma

摘要

In a coupling theorem from 2001 we described a special class of canonical self-adjoint extensions of the direct sum of symmetric linear relations \(S_1\) S 1 and \(S_2\) S 2 in Krein spaces \(\mathfrak {H}_1\) H 1 and \(\mathfrak {H}_2\) H 2 and assigned a unique parameter to each of these extensions. In this paper we assume that \(\dim \mathfrak {H}_2 \in \mathbb {N}\) dim H 2 N and that \(S_2\) S 2 is an operator without eigenvalues and construct a model for \((\mathfrak {H}_2, S_2)\) ( H 2 , S 2 ) based on an essentially unique polynomial matrix \(\mathcal {P}(z)\) P ( z ) . The families of Shtraus subspaces associated with the self-adjoint extensions are characterized as restrictions of \(S_1^*\) S 1 by polynomial boundary conditions involving \(\mathcal {P}(z)\) P ( z ) and the parameters. We establish necessary and sufficient conditions on the parameters under which the extensions are similar and the corresponding families of Shtraus subspaces coincide. Related to our results is the equation \(\mathcal {W}(z) \mathcal {P}(z)=\mathcal {P}(z)\textsf{V}\) W ( z ) P ( z ) = P ( z ) V in which the unimodular matrix polynomial \(\mathcal {W}(z)\) W ( z ) and the invertible matrix \(\textsf{V}\) V are the unknowns. Explicit examples are given.