Abstract <p> Given a self-adjoint operator <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_0\)</EquationSource> </InlineEquation> bounded from below in a complex, separable Hilbert space <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal H\)</EquationSource> </InlineEquation>, the corresponding scale of spaces <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="288" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal H_{+1}(H_0) \subset \mathcal H \subset \mathcal H_{-1}(H_0)=[\mathcal H_{+1}(H_0)]^*\)</EquationSource> </InlineEquation>, and a fixed <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="193" /> </InlineMediaObject> <EquationSource Format="TEX">\(V\in \mathcal B(\mathcal H_{+1}(H_0),\mathcal H_{-1}(H_0))\)</EquationSource> </InlineEquation>, we define the operator-valued map <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="166" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_V(\,\cdot\,)\colon \rho(H_0)\to \mathcal B(\mathcal H)\)</EquationSource> </InlineEquation> by <Equation ID="Equi"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_Equi.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="489" /> </MediaObject> <EquationSource Format="TEX">\(A_V(z):=-(H_0-zI_{\mathcal H} )^{-1/2}V(H_0-zI_{\mathcal H} )^{-1/2}\in \mathcal B(\mathcal H), \qquad z\in \rho(H_0),\)</EquationSource> </Equation> where <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho(H_0)\)</EquationSource> </InlineEquation> denotes the resolvent set of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_0\)</EquationSource> </InlineEquation>. Assuming that <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_V(z)\)</EquationSource> </InlineEquation> is compact for some <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="109" /> </InlineMediaObject> <EquationSource Format="TEX">\(z=z_0\in \rho(H_0)\)</EquationSource> </InlineEquation> and has norm strictly less than one for some <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="130" /> </InlineMediaObject> <EquationSource Format="TEX">\(z=E_0\in (-\infty,0)\)</EquationSource> </InlineEquation>, we employ an abstract version of Tiktopoulos’ formula to define an operator <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(H\)</EquationSource> </InlineEquation> in <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal H\)</EquationSource> </InlineEquation> that is formally realized as the sum of <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_0\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(V\)</EquationSource> </InlineEquation>. We then establish a Birman–Schwinger principle for <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(H\)</EquationSource> </InlineEquation> in which <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_V(\,\cdot\,)\)</EquationSource> </InlineEquation> plays the role of the Birman–Schwinger operator: <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq17.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda_0\in \rho(H_0)\)</EquationSource> </InlineEquation> is an eigenvalue of <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(H\)</EquationSource> </InlineEquation> if and only if <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq19.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(1\)</EquationSource> </InlineEquation> is an eigenvalue of <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq20.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_V(\lambda_0)\)</EquationSource> </InlineEquation>. Furthermore, the geometric (but not necessarily the algebraic) multiplicities of <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq21.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda_0\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq19.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(1\)</EquationSource> </InlineEquation> as eigenvalues of <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(H\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq20.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_V(\lambda_0)\)</EquationSource> </InlineEquation>, respectively, coincide. </p> <p> As a concrete application, we consider one-dimensional Schrödinger operators with <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1179_Article_IEq25.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^{-1}(\mathbb{R})\)</EquationSource> </InlineEquation> distributional potentials. </p>

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

A Generalized Birman–Schwinger Principle and Applications to One-Dimensional Schrödinger Operators with Distributional Potentials

  • Fritz Gesztesy,
  • Roger Nichols

摘要

Abstract

Given a self-adjoint operator \(H_0\) bounded from below in a complex, separable Hilbert space \(\mathcal H\) , the corresponding scale of spaces \(\mathcal H_{+1}(H_0) \subset \mathcal H \subset \mathcal H_{-1}(H_0)=[\mathcal H_{+1}(H_0)]^*\) , and a fixed \(V\in \mathcal B(\mathcal H_{+1}(H_0),\mathcal H_{-1}(H_0))\) , we define the operator-valued map \(A_V(\,\cdot\,)\colon \rho(H_0)\to \mathcal B(\mathcal H)\) by \(A_V(z):=-(H_0-zI_{\mathcal H} )^{-1/2}V(H_0-zI_{\mathcal H} )^{-1/2}\in \mathcal B(\mathcal H), \qquad z\in \rho(H_0),\) where \(\rho(H_0)\) denotes the resolvent set of \(H_0\) . Assuming that \(A_V(z)\) is compact for some \(z=z_0\in \rho(H_0)\) and has norm strictly less than one for some \(z=E_0\in (-\infty,0)\) , we employ an abstract version of Tiktopoulos’ formula to define an operator \(H\) in \(\mathcal H\) that is formally realized as the sum of \(H_0\) and \(V\) . We then establish a Birman–Schwinger principle for \(H\) in which \(A_V(\,\cdot\,)\) plays the role of the Birman–Schwinger operator: \(\lambda_0\in \rho(H_0)\) is an eigenvalue of \(H\) if and only if \(1\) is an eigenvalue of \(A_V(\lambda_0)\) . Furthermore, the geometric (but not necessarily the algebraic) multiplicities of \(\lambda_0\) and \(1\) as eigenvalues of \(H\) and \(A_V(\lambda_0)\) , respectively, coincide.

As a concrete application, we consider one-dimensional Schrödinger operators with \(H^{-1}(\mathbb{R})\) distributional potentials.