{"title":"On Kernels of Invariant Schrödinger Operators with Point Interactions. Grinevich–Novikov Conjecture","authors":"M. M. Malamud, V. V. Marchenko","doi":"10.1134/S1064562424701904","DOIUrl":null,"url":null,"abstract":"<p>According to Berezin and Faddeev, a Schrödinger operator with point interactions –Δ + <span>\\(\\sum\\limits_{j = 1}^m {{\\alpha }_{j}}\\delta (x - {{x}_{j}}),X = \\{ {{x}_{j}}\\} _{1}^{m} \\subset {{\\mathbb{R}}^{3}},\\{ {{\\alpha }_{j}}\\} _{1}^{m} \\subset \\mathbb{R},\\)</span> is any self-adjoint extension of the restriction <span>\\({{\\Delta }_{X}}\\)</span> of the Laplace operator <span>\\( - \\Delta \\)</span> to the subset <span>\\(\\{ f \\in {{H}^{2}}({{\\mathbb{R}}^{3}}):f({{x}_{j}}) = 0,\\;1 \\leqslant j \\leqslant m\\} \\)</span> of the Sobolev space <span>\\({{H}^{2}}({{\\mathbb{R}}^{3}})\\)</span>. The present paper studies the extensions (realizations) invariant under the symmetry group of the vertex set <span>\\(X = \\{ {{x}_{j}}\\} _{1}^{m}\\)</span> of a regular <i>m</i>-gon. Such realizations <b>H</b><sub><i>B</i></sub> are parametrized by special circulant matrices <span>\\(B \\in {{\\mathbb{C}}^{{m \\times m}}}\\)</span>. We describe all such realizations with non-trivial kernels. А Grinevich–Novikov conjecture on simplicity of the zero eigenvalue of the realization <b>H</b><sub><i>B</i></sub> with a scalar matrix <span>\\(B = \\alpha I\\)</span> and an even <i>m</i> is proved. It is shown that for an odd <i>m</i> non-trivial kernels of all realizations <b>H</b><sub><i>B</i></sub> with scalar <span>\\(B = \\alpha I\\)</span> are two-dimensional. Besides, for arbitrary realizations <span>\\((B \\ne \\alpha I)\\)</span> the estimate <span>\\(\\dim (\\ker {{{\\mathbf{H}}}_{B}}) \\leqslant m - 1\\)</span> is proved, and all invariant realizations of the maximal dimension <span>\\(\\dim (\\ker {{{\\mathbf{H}}}_{B}}) = m - 1\\)</span> are described. One of them is the Krein realization, which is the minimal positive extension of the operator <span>\\({{\\Delta }_{X}}\\)</span>.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1134/S1064562424701904","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
According to Berezin and Faddeev, a Schrödinger operator with point interactions –Δ + \(\sum\limits_{j = 1}^m {{\alpha }_{j}}\delta (x - {{x}_{j}}),X = \{ {{x}_{j}}\} _{1}^{m} \subset {{\mathbb{R}}^{3}},\{ {{\alpha }_{j}}\} _{1}^{m} \subset \mathbb{R},\) is any self-adjoint extension of the restriction \({{\Delta }_{X}}\) of the Laplace operator \( - \Delta \) to the subset \(\{ f \in {{H}^{2}}({{\mathbb{R}}^{3}}):f({{x}_{j}}) = 0,\;1 \leqslant j \leqslant m\} \) of the Sobolev space \({{H}^{2}}({{\mathbb{R}}^{3}})\). The present paper studies the extensions (realizations) invariant under the symmetry group of the vertex set \(X = \{ {{x}_{j}}\} _{1}^{m}\) of a regular m-gon. Such realizations HB are parametrized by special circulant matrices \(B \in {{\mathbb{C}}^{{m \times m}}}\). We describe all such realizations with non-trivial kernels. А Grinevich–Novikov conjecture on simplicity of the zero eigenvalue of the realization HB with a scalar matrix \(B = \alpha I\) and an even m is proved. It is shown that for an odd m non-trivial kernels of all realizations HB with scalar \(B = \alpha I\) are two-dimensional. Besides, for arbitrary realizations \((B \ne \alpha I)\) the estimate \(\dim (\ker {{{\mathbf{H}}}_{B}}) \leqslant m - 1\) is proved, and all invariant realizations of the maximal dimension \(\dim (\ker {{{\mathbf{H}}}_{B}}) = m - 1\) are described. One of them is the Krein realization, which is the minimal positive extension of the operator \({{\Delta }_{X}}\).