<p>Recent studies have shown that the Sturm-Liouville problem <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(-Au=\lambda u\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mi>A</mi> <mi>u</mi> <mo>=</mo> <mi>λ</mi> <mi>u</mi> </mrow> </math></EquationSource> </InlineEquation> with zero boundary conditions on an interval has no principal eigenvalue when <i>A</i> is the Caputo fractional derivative <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/13540_2026_481_IEq2_HTML.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="120" Type="Linedraw" Width="40" /> </InlineMediaObject> </InlineEquation>, provided that <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> is sufficiently close to 1. It has been shown that the principal eigenvalue, denoted by <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\lambda (\alpha ),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo stretchy="false">(</mo> <mi>α</mi> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> always exists when <i>A</i> is the Riemann-Liouville fractional derivative <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({\mathcal {D}_{a+}^{\alpha }}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="script">D</mi> <mrow> <mi>a</mi> <mo>+</mo> </mrow> <mi>α</mi> </msubsup> </math></EquationSource> </InlineEquation> for any <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(1&lt;\alpha &lt;2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>α</mi> <mo>&lt;</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, highlighting a striking contrast with the Caputo case. We introduce appropriate spaces to develop a systematic study of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\lambda (\alpha )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo stretchy="false">(</mo> <mi>α</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> as a function of the real parameter <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> and show, for example, that although <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\lambda (\alpha )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo stretchy="false">(</mo> <mi>α</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is non-monotonic, the quotient <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\frac{\Gamma (\alpha -1)}{(b-a)^{\alpha -1}}\frac{1}{\lambda (\alpha )}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mrow> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mi>α</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mo stretchy="false">(</mo> <mi>b</mi> <mo>-</mo> <mi>a</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>α</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> </mfrac> <mfrac> <mn>1</mn> <mrow> <mi>λ</mi> <mo stretchy="false">(</mo> <mi>α</mi> <mo stretchy="false">)</mo> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation> is strictly decreasing with respect to <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation>. For the sake of completeness, we shall again show the existence of a principal eigenvalue for each <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\alpha \in (1,2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> using the techniques developed here. Finally, we extend our techniques and results to the more general weighted spectral problem <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(-Au=\lambda p(x) u\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mi>A</mi> <mi>u</mi> <mo>=</mo> <mi>λ</mi> <mi>p</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mi>u</mi> </mrow> </math></EquationSource> </InlineEquation> for a class of coefficient functions <i>p</i>.</p>

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

Existence, comparison, and monotonicity of principal eigenvalues of fractional Sturm-Liouville problems involving Riemann-Liouville derivatives

  • Paul W. Eloe,
  • Yulong Li

摘要

Recent studies have shown that the Sturm-Liouville problem \(-Au=\lambda u\) - A u = λ u with zero boundary conditions on an interval has no principal eigenvalue when A is the Caputo fractional derivative , provided that \(\alpha \) α is sufficiently close to 1. It has been shown that the principal eigenvalue, denoted by \(\lambda (\alpha ),\) λ ( α ) , always exists when A is the Riemann-Liouville fractional derivative \({\mathcal {D}_{a+}^{\alpha }}\) D a + α for any \(1<\alpha <2\) 1 < α < 2 , highlighting a striking contrast with the Caputo case. We introduce appropriate spaces to develop a systematic study of \(\lambda (\alpha )\) λ ( α ) as a function of the real parameter \(\alpha \) α and show, for example, that although \(\lambda (\alpha )\) λ ( α ) is non-monotonic, the quotient \(\frac{\Gamma (\alpha -1)}{(b-a)^{\alpha -1}}\frac{1}{\lambda (\alpha )}\) Γ ( α - 1 ) ( b - a ) α - 1 1 λ ( α ) is strictly decreasing with respect to \(\alpha \) α . For the sake of completeness, we shall again show the existence of a principal eigenvalue for each \(\alpha \in (1,2)\) α ( 1 , 2 ) using the techniques developed here. Finally, we extend our techniques and results to the more general weighted spectral problem \(-Au=\lambda p(x) u\) - A u = λ p ( x ) u for a class of coefficient functions p.