<p>Consider a regular Sturm-Liouville problem <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1752_Article_IEq1.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="84" /> </InlineMediaObject> <EquationSource Format="TEX">\(-f'' = \lambda r f\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <msup> <mi>f</mi> <mrow> <mo>′</mo> <mo>′</mo> </mrow> </msup> <mo>=</mo> <mi>λ</mi> <mi>r</mi> <mi>f</mi> </mrow> </math></EquationSource> </InlineEquation> with a weight function <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1752_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="94" /> </InlineMediaObject> <EquationSource Format="TEX">\(r \in L^1[-1,1]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>∈</mo> <msup> <mi>L</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">[</mo> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, equipped with Neumann boundary conditions. If <i>r</i> is positive then <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1752_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="132" /> </InlineMediaObject> <EquationSource Format="TEX">\([f,g]_r:= \int f \overline{g} r \, dx\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mo stretchy="false">[</mo> <mi>f</mi> <mo>,</mo> <mi>g</mi> <mo stretchy="false">]</mo> </mrow> <mi>r</mi> </msub> <mo>:</mo> <mo>=</mo> <mo>∫</mo> <mi>f</mi> <mover> <mi>g</mi> <mo>¯</mo> </mover> <mi>r</mi> <mspace width="0.166667em" /> <mi>d</mi> <mi>x</mi> </mrow> </math></EquationSource> </InlineEquation> defines a Hilbert space inner product and with the normed orthogonal eigenfunctions <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1752_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(f_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>f</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> the Parseval equation <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1752_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="142" /> </InlineMediaObject> <EquationSource Format="TEX">\([f,f]_r = \Sigma \, |[f,f_n]_r|^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mo stretchy="false">[</mo> <mi>f</mi> <mo>,</mo> <mi>f</mi> <mo stretchy="false">]</mo> </mrow> <mi>r</mi> </msub> <mo>=</mo> <mi mathvariant="normal">Σ</mi> <mspace width="0.166667em" /> <msup> <mrow> <mo stretchy="false">|</mo> <msub> <mrow> <mo stretchy="false">[</mo> <mi>f</mi> <mo>,</mo> <msub> <mi>f</mi> <mi>n</mi> </msub> <mo stretchy="false">]</mo> </mrow> <mi>r</mi> </msub> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> is well known. If <i>r</i> changes its sign, say <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1752_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(x r(x) &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mi>r</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1752_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\([\cdot , \cdot ]_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">[</mo> <mo>·</mo> <mo>,</mo> <mo>·</mo> <mo stretchy="false">]</mo> </mrow> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation> induces a Krein space. In this case a Parseval type equation is obtained if and only if the eigenfunctions <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1752_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(f_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>f</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> form a Riesz basis. The setting from Fleige, A.: Positive and negative eigenfunction expansion results for indefinite Sturm-Liouville problems. Integr. Equ. Oper. Theory 95, 5 (2023) is used in order to present an example for its failure. A similar result is obtained for the eigenvalue problem <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1752_Article_IEq9.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="88" /> </InlineMediaObject> <EquationSource Format="TEX">\(-(\frac{u'}{r})' = \lambda u\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mfrac> <msup> <mi>u</mi> <mo>′</mo> </msup> <mi>r</mi> </mfrac> <mo stretchy="false">)</mo> </mrow> <mo>′</mo> </msup> <mo>=</mo> <mi>λ</mi> <mi>u</mi> </mrow> </math></EquationSource> </InlineEquation> with Dirichlet boundary conditions.</p>

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

A Failing Parseval Type Equation Associated with an Indefinite Sturm-Liouville Problem

  • Andreas Fleige

摘要

Consider a regular Sturm-Liouville problem \(-f'' = \lambda r f\) - f = λ r f with a weight function \(r \in L^1[-1,1]\) r L 1 [ - 1 , 1 ] , equipped with Neumann boundary conditions. If r is positive then \([f,g]_r:= \int f \overline{g} r \, dx\) [ f , g ] r : = f g ¯ r d x defines a Hilbert space inner product and with the normed orthogonal eigenfunctions \(f_n\) f n the Parseval equation \([f,f]_r = \Sigma \, |[f,f_n]_r|^2\) [ f , f ] r = Σ | [ f , f n ] r | 2 is well known. If r changes its sign, say \(x r(x) > 0\) x r ( x ) > 0 , then \([\cdot , \cdot ]_r\) [ · , · ] r induces a Krein space. In this case a Parseval type equation is obtained if and only if the eigenfunctions \(f_n\) f n form a Riesz basis. The setting from Fleige, A.: Positive and negative eigenfunction expansion results for indefinite Sturm-Liouville problems. Integr. Equ. Oper. Theory 95, 5 (2023) is used in order to present an example for its failure. A similar result is obtained for the eigenvalue problem \(-(\frac{u'}{r})' = \lambda u\) - ( u r ) = λ u with Dirichlet boundary conditions.