<p>The spectral structure of realizations for a matrix three-term Sturm–Liouville operator <Equation ID="Equ46"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7993_Article_Equ46.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="490" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \mathcal {L}(P,Q,R)y:=R^{-1}(x)\bigl (-(P(x)y')'+Q(x)y\bigr ), \qquad y=(y_1,\ldots ,y_m)^{\top }, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi mathvariant="script">L</mi> <mrow> <mo stretchy="false">(</mo> <mi>P</mi> <mo>,</mo> <mi>Q</mi> <mo>,</mo> <mi>R</mi> <mo stretchy="false">)</mo> </mrow> <mi>y</mi> <mo>:</mo> <mo>=</mo> <msup> <mi>R</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mo>-</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mi>P</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mi>y</mi> <mo>′</mo> </msup> <mo stretchy="false">)</mo> </mrow> <mo>′</mo> </msup> <mo>+</mo> <mi>Q</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mi>y</mi> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mo>,</mo> <mspace width="2em" /> <mi>y</mi> <mo>=</mo> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>y</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>y</mi> <mi>m</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mi>⊤</mi> </msup> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>with singular potential <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7993_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="104" /> </InlineMediaObject> <EquationSource Format="TEX">\(Q(\,\cdot \,) = Q(\,\cdot \,)^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mrow> <mo stretchy="false">(</mo> <mspace width="0.166667em" /> <mo>·</mo> <mspace width="0.166667em" /> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>Q</mi> <msup> <mrow> <mo stretchy="false">(</mo> <mspace width="0.166667em" /> <mo>·</mo> <mspace width="0.166667em" /> <mo stretchy="false">)</mo> </mrow> <mo>∗</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> on both the half-line and the line is investigated. It is shown that under certain conditions on the coefficients <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7993_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(P(\,\cdot \,)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mo stretchy="false">(</mo> <mspace width="0.166667em" /> <mo>·</mo> <mspace width="0.166667em" /> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7993_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(R(\,\cdot \,)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo stretchy="false">(</mo> <mspace width="0.166667em" /> <mo>·</mo> <mspace width="0.166667em" /> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, the Dirichlet realization <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7993_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^D\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>D</mi> </msup> </math></EquationSource> </InlineEquation> (as well as other selfadjoint realizations) in the case of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7993_Article_IEq7.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="183" /> </InlineMediaObject> <EquationSource Format="TEX">\(Q(\,\cdot \,)\in W^{-1,1}(\mathbb {R}_+;\mathbb {C}^{m\times m})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mrow> <mo stretchy="false">(</mo> <mspace width="0.166667em" /> <mo>·</mo> <mspace width="0.166667em" /> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mi>W</mi> <mrow> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">R</mi> <mo>+</mo> </msub> <mo>;</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mrow> <mi>m</mi> <mo>×</mo> <mi>m</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> has Lebesgue nonnegative spectrum with constant multiplicity <i>m</i>. In particular, the Schrödinger operator with matrix potential <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7993_Article_IEq7.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="183" /> </InlineMediaObject> <EquationSource Format="TEX">\(Q(\,\cdot \,)\in W^{-1,1}(\mathbb {R}_+;\mathbb {C}^{m\times m})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mrow> <mo stretchy="false">(</mo> <mspace width="0.166667em" /> <mo>·</mo> <mspace width="0.166667em" /> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mi>W</mi> <mrow> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">R</mi> <mo>+</mo> </msub> <mo>;</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mrow> <mi>m</mi> <mo>×</mo> <mi>m</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> on the half-line <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7993_Article_IEq9.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}_+\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">R</mi> <mo>+</mo> </msub> </math></EquationSource> </InlineEquation> has Lebesgue spectrum with constant multiplicity <i>m</i>. This result is applied to the Sturm–Liouville expression <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7993_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {L}(P,Q,R)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">L</mi> <mo stretchy="false">(</mo> <mi>P</mi> <mo>,</mo> <mi>Q</mi> <mo>,</mo> <mi>R</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with delta-interactions on the line <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7993_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation>. It is shown that if the minimal operator <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7993_Article_IEq12.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\(L:= L_{\text {min}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mo>:</mo> <mo>=</mo> <msub> <mi>L</mi> <mtext>min</mtext> </msub> </mrow> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7993_Article_IEq13.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="91" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2(\mathbb {R};R;\mathbb {C}^m)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">R</mi> <mo>;</mo> <mi>R</mi> <mo>;</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mi>m</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is selfadjoint, then the nonnegative spectrum of <i>L</i> is Lebesgue of constant multiplicity 2<i>m</i> whenever <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7993_Article_IEq14.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="231" /> </InlineMediaObject> <EquationSource Format="TEX">\(Q(\,\cdot \,)\textbf{1}_{\mathbb {R}_+}(\,\cdot \,)\in W^{-1,1}(\mathbb {R}_+;\mathbb {C}^{m\times m})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mrow> <mo stretchy="false">(</mo> <mspace width="0.166667em" /> <mo>·</mo> <mspace width="0.166667em" /> <mo stretchy="false">)</mo> </mrow> <msub> <mn mathvariant="bold">1</mn> <msub> <mi mathvariant="double-struck">R</mi> <mo>+</mo> </msub> </msub> <mrow> <mo stretchy="false">(</mo> <mspace width="0.166667em" /> <mo>·</mo> <mspace width="0.166667em" /> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mi>W</mi> <mrow> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">R</mi> <mo>+</mo> </msub> <mo>;</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mrow> <mi>m</mi> <mo>×</mo> <mi>m</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. In particular, if the minimal Schrödinger operator <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7993_Article_IEq15.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{H}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">H</mi> </math></EquationSource> </InlineEquation> on the line with potential matrix <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7993_Article_IEq16.gif" Format="GIF" Height="31" Rendition="HTML" Resolution="72" Type="Linedraw" Width="234" /> </InlineMediaObject> <EquationSource Format="TEX">\(Q(\,\cdot \,)=Q_1(\,\cdot \,)+\sum \limits _{k\in \mathbb {Z}}\alpha _k\delta (\,\cdot \,-x_k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mrow> <mo stretchy="false">(</mo> <mspace width="0.166667em" /> <mo>·</mo> <mspace width="0.166667em" /> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>Q</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mspace width="0.166667em" /> <mo>·</mo> <mspace width="0.166667em" /> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <munder> <mo movablelimits="false">∑</mo> <mrow> <mi>k</mi> <mo>∈</mo> <mi mathvariant="double-struck">Z</mi> </mrow> </munder> <msub> <mi>α</mi> <mi>k</mi> </msub> <mi>δ</mi> <mrow> <mo stretchy="false">(</mo> <mspace width="0.166667em" /> <mo>·</mo> <mspace width="0.166667em" /> <mo>-</mo> <msub> <mi>x</mi> <mi>k</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is selfadjoint, <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7993_Article_IEq17.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{H} = \textbf{H}^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">H</mi> <mo>=</mo> <msup> <mi mathvariant="bold">H</mi> <mo>∗</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>, then its nonnegative spectrum is Lebesgue with constant multiplicity 2<i>m</i> whenever <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7993_Article_IEq18.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="190" /> </InlineMediaObject> <EquationSource Format="TEX">\(Q_1(\,\cdot \,)\textbf{1}_{\mathbb {R}_+}\in L^1(\mathbb {R}_+;\mathbb {C}^{m\times m})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>Q</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mspace width="0.166667em" /> <mo>·</mo> <mspace width="0.166667em" /> <mo stretchy="false">)</mo> </mrow> <msub> <mn mathvariant="bold">1</mn> <msub> <mi mathvariant="double-struck">R</mi> <mo>+</mo> </msub> </msub> <mo>∈</mo> <msup> <mi>L</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">R</mi> <mo>+</mo> </msub> <mo>;</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mrow> <mi>m</mi> <mo>×</mo> <mi>m</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7993_Article_IEq19.gif" Format="GIF" Height="39" Rendition="HTML" Resolution="72" Type="Linedraw" Width="95" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum \limits _{k=1}^{\infty }|\alpha _k|&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <munderover> <mo movablelimits="false">∑</mo> <mrow> <mi>k</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </munderover> <mrow> <mo stretchy="false">|</mo> <msub> <mi>α</mi> <mi>k</mi> </msub> <mo stretchy="false">|</mo> </mrow> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>. Bibliography: 21 titles.</p>

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

STURM–LIOUVILLE OPERATORS WITH \(W^{-1,1}\)-MATRIX POTENTIALS

  • Ya. I. Granovskiy,
  • M. M. Malamud

摘要

The spectral structure of realizations for a matrix three-term Sturm–Liouville operator \(\begin{aligned} \mathcal {L}(P,Q,R)y:=R^{-1}(x)\bigl (-(P(x)y')'+Q(x)y\bigr ), \qquad y=(y_1,\ldots ,y_m)^{\top }, \end{aligned}\) L ( P , Q , R ) y : = R - 1 ( x ) ( - ( P ( x ) y ) + Q ( x ) y ) , y = ( y 1 , , y m ) , with singular potential \(Q(\,\cdot \,) = Q(\,\cdot \,)^*\) Q ( · ) = Q ( · ) on both the half-line and the line is investigated. It is shown that under certain conditions on the coefficients \(P(\,\cdot \,)\) P ( · ) and \(R(\,\cdot \,)\) R ( · ) , the Dirichlet realization \(L^D\) L D (as well as other selfadjoint realizations) in the case of \(Q(\,\cdot \,)\in W^{-1,1}(\mathbb {R}_+;\mathbb {C}^{m\times m})\) Q ( · ) W - 1 , 1 ( R + ; C m × m ) has Lebesgue nonnegative spectrum with constant multiplicity m. In particular, the Schrödinger operator with matrix potential \(Q(\,\cdot \,)\in W^{-1,1}(\mathbb {R}_+;\mathbb {C}^{m\times m})\) Q ( · ) W - 1 , 1 ( R + ; C m × m ) on the half-line \(\mathbb {R}_+\) R + has Lebesgue spectrum with constant multiplicity m. This result is applied to the Sturm–Liouville expression \(\mathcal {L}(P,Q,R)\) L ( P , Q , R ) with delta-interactions on the line \(\mathbb {R}\) R . It is shown that if the minimal operator \(L:= L_{\text {min}}\) L : = L min in \(L^2(\mathbb {R};R;\mathbb {C}^m)\) L 2 ( R ; R ; C m ) is selfadjoint, then the nonnegative spectrum of L is Lebesgue of constant multiplicity 2m whenever \(Q(\,\cdot \,)\textbf{1}_{\mathbb {R}_+}(\,\cdot \,)\in W^{-1,1}(\mathbb {R}_+;\mathbb {C}^{m\times m})\) Q ( · ) 1 R + ( · ) W - 1 , 1 ( R + ; C m × m ) . In particular, if the minimal Schrödinger operator \(\textbf{H}\) H on the line with potential matrix \(Q(\,\cdot \,)=Q_1(\,\cdot \,)+\sum \limits _{k\in \mathbb {Z}}\alpha _k\delta (\,\cdot \,-x_k)\) Q ( · ) = Q 1 ( · ) + k Z α k δ ( · - x k ) is selfadjoint, \(\textbf{H} = \textbf{H}^*\) H = H , then its nonnegative spectrum is Lebesgue with constant multiplicity 2m whenever \(Q_1(\,\cdot \,)\textbf{1}_{\mathbb {R}_+}\in L^1(\mathbb {R}_+;\mathbb {C}^{m\times m})\) Q 1 ( · ) 1 R + L 1 ( R + ; C m × m ) and \(\sum \limits _{k=1}^{\infty }|\alpha _k|<\infty \) k = 1 | α k | < . Bibliography: 21 titles.