Next Article in Journal
Dynamic Failure Mechanism and Fractal Features of Fractured Rocks Under Quasi-Triaxial Static Pressures and Repeated Impact Loading
Next Article in Special Issue
Existence of Positive Solutions for a Class of Nabla Fractional Boundary Value Problems
Previous Article in Journal
Fractional-Order Complex Systems: Advanced Control, Intelligent Estimation and Reinforcement Learning Image-Processing Algorithms
Previous Article in Special Issue
Positive Solution Pairs for Coupled p-Laplacian Hadamard Fractional Differential Model with Singular Source Item on Time Variable
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

New Results on a Nonlocal Sturm–Liouville Eigenvalue Problem with Fractional Integrals and Fractional Derivatives

School of Mathematics and Statistics, Shandong University, Weihai 264209, China
*
Author to whom correspondence should be addressed.
Fractal Fract. 2025, 9(2), 70; https://doi.org/10.3390/fractalfract9020070
Submission received: 13 November 2024 / Revised: 21 January 2025 / Accepted: 22 January 2025 / Published: 23 January 2025

Abstract

In this paper, we investigate the eigenvalue properties of a nonlocal Sturm–Liouville equation involving fractional integrals and fractional derivatives under different boundary conditions. Based on these properties, we obtained the geometric multiplicity of eigenvalues for the nonlocal Sturm–Liouville problem with a non-Dirichlet boundary condition. Furthermore, we discussed the continuous dependence of the eigenvalues on the potential function for a nonlocal Sturm–Liouville equation under a Dirichlet boundary condition.

1. Introduction

This paper discuss the nonlocal Sturm–Liouville problem
y + q ( x ) y + μ ( D 1 α I 0 + α + I 1 α D 0 + α ) y = λ y
subject to
y ( 0 ) = 0 = y ( 1 ) + d y ( 1 ) ,
where D 0 + α ( D 1 α ) denotes the left-sided (right-sided) Riemann–Liouville fractional derivatives of order α , and I 0 + α ( I 1 α ) represents the left-sided (right-sided) Riemann–Liouville fractional integrals of order α , whose definitions are given later. Here, 0 < α < 1 , q ( x ) L 2 ( 0 , 1 ) is a real-valued potential function, μ and d are real constants, and λ is the spectral parameter.
From the eigenvalue properties of a class of nonlocal Sturm–Liouville problems in [1], it is known that for 0 < α < 1 / 2
y ( x ) + q ( x ) y ( x ) + μ ( D 1 α I 0 + α + I 1 α D 0 + α ) y ( x ) = λ y ( x ) on ( 0 , 1 ) , y ( 0 ) = 0 = y ( 1 ) .
has real algebraic simple and discrete eigenvalues under certain conditions. These eigenvalues satisfy
< λ 1 ( μ ) < λ 2 ( μ ) < < λ n ( μ ) < , λ n ( μ ) π 2 n 2 , n ,
where λ n ( μ ) is the n-th eigenvalue of (3). Additionally, the associated eigenfunctions form a complete orthogonal basis. Furthermore, [1] discusses the number of zeros present in the eigenfunctions, as well as the characteristics of solutions to the nonlocal Sturm–Liouville equation under specific initial conditions.
Nonlocal Sturm–Liouville problems, which incorporate both left-sided and right-sided fractional derivatives, arise from the field of nonlocal continuum mechanics (please refer to [2,3,4,5] for more details). In reference [4], the equilibrium equation governing an elastic bar of finite length, L, which includes long-range interactions among non-adjacent particles, can be expressed as
d 2 u ( x ) d x η E D α u ( x ) = f ( x ) E .
Here, u ( x ) denotes the axial displacement of the bar at position x, while f ( x ) represents the longitudinal force per unit volume and η is an opportune constant of proportionality. E signifies the longitudinal modulus, and D α = D 0 + α + D 1 α , where D 0 + α and D 1 α correspond to the left and right Riemann–Liouville fractional derivatives of order α , respectively.
Generally, a nonlocal Sturm–Liouville problem is characterized as a Sturm–Liouville-type problem that contains both integer and fractional derivatives, a topic that was the subject of extensive investigation in [6,7,8,9,10]. The form explored in [6,7,8,9,10] can be summarized as follows:
y + q ( x ) y + μ T α y = λ y ,
where T α is a self-adjoint fractional differential operator with both left-sided and right-sided fractional derivatives, such as T α = D 0 + α + D 1 α , or T α = D 0 + α D 1 α c .
Additionally, the fractional Sturm–Liouville problem, which is closely related to the nonlocal Sturm–Liouville problem, is often obtained by replacing the integer derivative operators in a classical Sturm–Liouville problem, ( p ( x ) y ) + q ( x ) y = λ ω ( x ) y , by the fractional derivative operators, such as
L α y + q ( x ) y = λ ω ( x ) y ,
where L α = D b α c ( p ( x ) D a + α ) , or L α = D a + α ( p ( x ) D b α c ) . For more details, please refer to [11,12,13,14,15,16,17,18,19,20,21,22,23] and reference therein. In [23] the authors employ a change of variables to transform D b a c ( p ( x ) D a + α ) + q ( x ) y = λ ω ( x ) y into a modified version of a differential equation with a principal term structured in the classical form ( p ( x ) z ) + D b 1 α ( ( q ( x ) λ ω ( x ) ) D a + 1 α z ) = 0 . Thereafter, the resulting equation is similar to the one considered in this manuscript.
In this study, we present novel findings on the eigenvalue properties of (1)–(2). We first consider the eigenvalue problem of (1)–(2) with d 0 in Section 3. We obtained results showing that the eigenvalues of (1)–(2) with d 0 are real values, and the corresponding eigenfunctions are orthogonal. Moreover the geometric multiplicity of the eigenvalues is simple. Then we discuss the eigenvalue problem of (1)–(2) with d = 0 in Section 4. We introduced an auxiliary two-parameter nonlocal Sturm–Liouville problem in Section 4.1. With the aid of the eigenvalue properties of this two-parameter nonlocal Sturm–Liouville problem, we obtained the continuous dependence of eigenvalues on the potential function in Section 4.2.

2. Preliminaries

In this section, we give some preliminary knowledge from such topics as fractional calculus and the spectral theory of nonlocal Sturm–Liouville problems, which will be used later. More detailed information can be found in [1,24].
We denote by A C [ 0 , 1 ] the set of all the absolutely continuous, complex-valued functions on [0,1]. Let L 2 = L 2 ( 0 , 1 ) be the Hilbert space, with the usual inner product f , g and the norm | | f | | = f , f 1 / 2 .
Definition 1.
( c f . [24] p. 69) The Riemann–Liouville fractional integrals I 0 + α f and I 1 α f of order α C ( R ( α ) > 0 ) are defined by
( I 0 + α f ) ( x ) = 1 Γ ( α ) 0 x f ( t ) ( x t ) 1 α d t , x ( 0 , 1 ] ; ( I 1 α f ) ( x ) = 1 Γ ( α ) x 1 f ( t ) ( t x ) 1 α d t , x [ 0 , 1 ) ,
where Γ ( α ) is the Gamma function. These integrals are called the left-sided and the right-sided fractional integrals.
Definition 2.
( c f . [24] p. 70) Let 0 < α < 1 , D = d / d x . The left-sided and right-sided Riemann–Liouville derivatives of order α are defined by (when they exist)
( D 0 + α f ) ( x ) = D ( I 0 + 1 α f ) ( x ) = d d x 0 x f ( t ) ( x t ) α d t Γ ( 1 α ) , x ( 0 , 1 ] ; ( D 1 α f ) ( x ) = ( D ) ( I 1 1 α f ) ( x ) = d d x x 1 f ( t ) ( t x ) α d t Γ ( 1 α ) , x [ 0 , 1 ) .
Proposition 1.
( c f . [1] Theorem 4.1) If | μ | < Γ ( 2 α ) Γ ( 1 + α ) e 0 1 | q ( t ) | d t ( 1 + 6 e 0 1 | q ( t ) | d t ) , then the nonlocal initial value problem
y ( x ) + ( q ( x ) λ ) y ( x ) + μ ( D 1 α I 0 + α + I 1 α D 0 + α ) y ( x ) = 0 , y D ̲ , y ( 0 ) = k 1 , y ( 0 ) = k 2 ,
has, at most, one solution, where μ, k 1 , k 2 , and λ > 0 are real constants, and D ̲ = { y L 2 : y , y A C [ 0 , 1 ] } .
Proposition 2.
( c f . [1] Theorem 3.11) There exists μ 0 > 0 , such that for | μ | < μ 0 , all the eigenvalues of y + q ( x ) y + μ ( D 1 α I 0 + α + I 1 α D 0 + α ) y = λ y subject to y ( 0 ) = 0 = y ( 1 ) are simple and satisfy
< λ 1 ( μ ) < λ 2 ( μ ) < < λ n ( μ ) < , λ n ( μ ) π 2 n 2 , n .
Definition 3.
( c f . [25] p.375) Let C ( X , Y ) denote the set of all closed operators from X to Y. A family, T ( κ ) C ( X , Y ) , defined for κ in a domain D 0 of the complex plane, is said to be holomorphic of type (A) if
(i) 
D ( T ( κ ) ) = D is independent of κ;
(ii) 
T ( κ ) u is holomorphic for κ D 0 for every u D .
Proposition 3.
( c f . [25] Theorem 2.6) Let T be a closable operator from X to Y, with D ( T ) = D . Let T ( n ) , n = 1 , 2 , be operators from X to Y with domains containing D , and let there be constants a , b , c 0 such that
T ( n ) u c n 1 ( a u + b T u ) , u D , n = 1 , 2 ,
Then the series
T ( κ ) u = T u + κ T ( 1 ) u + κ 2 T ( 2 ) u + , u D
defines an operator, T ( κ ) , with domain D for κ < 1 / c . If κ < 1 b + c , T ( κ ) is closable and the closures T ˜ ( κ ) for such κ form a holomorphic family of type (A).

3. Eigenvalue Problem with Non-Dirichlet Boundary Condition and 0 < α < 1

In this section, we consider the eigenvalue problem
y ( x ) + q ( x ) y ( x ) + μ ( D 1 α I 0 + α + I 1 α D 0 + α ) y ( x ) = λ y ( x ) on ( 0 , 1 ) , y ( 0 ) = 0 = y ( 1 ) + d y ( 1 ) ,
where d 0 is a real constant, and 0 < α < 1 .
The fractional operator T ˜ , associated with (8), is defined by
T ˜ y = y + q y + μ T α y ,   T α y : = ( D 1 α I 0 + α + I 1 α D 0 + α ) y ,   y D ( T ˜ ) , D ( T ˜ ) : = { y L 2 : y ,   y A C [ 0 ,   1 ] ,   y ( 0 ) = 0 = y ( 1 ) + d y ( 1 ) } .
Proposition 4.
For y 1 , y 2 D ( T ˜ ) , it holds that
0 1 y 1 ( x ) · T ˜ y 2 ( x ) d x = 0 1 y 2 ( x ) · T ˜ y 1 ( x ) d x .
Proof. 
If y 1 ,   y 2 D ( T ˜ ) , by the definition of operator T ˜ , we have y 1 ( 0 ) = 0 = d y 1 ( 1 ) + y 1 ( 1 )
0 1 y 1 ( x ) · T ˜ y 2 ( x ) d x = 0 1 y 1 ( x ) · [ y 2 ( x ) + q ( x ) y 2 ( x ) + μ T α y 2 ( x ) ] d x = y 1 ( 0 ) y 2 ( 0 ) y 1 ( 1 ) y 2 ( 1 ) + 0 1 y 1 ( x ) y 2 ( x ) d x + 0 1 q ( x ) y 1 ( x ) y 2 ( x ) d x + μ 0 1 y 1 ( x ) T α y 2 ( x ) d x = d y 1 ( 1 ) y 2 ( 1 ) + 0 1 y 1 ( x ) y 2 ( x ) d x + 0 1 q ( x ) y 1 ( x ) y 2 ( x ) d x + μ 0 1 y 1 ( x ) T α y 2 ( x ) d x
and
0 1 y 2 ( x ) · T ˜ y 1 ( x ) d x = 0 1 y 2 ( x ) · [ y 1 ( x ) + q ( x ) y 1 ( x ) + μ T α y 1 ( x ) ] d x = d y 2 ( 1 ) y 1 ( 1 ) + 0 1 y 2 ( x ) y 1 ( x ) d x + 0 1 q ( x ) y 2 ( x ) y 1 ( x ) d x + μ 0 1 y 2 ( x ) T α y 1 ( x ) d x .
It follows from y 1 , y 2 D ( L ) that y 1 ( 0 ) = 0 = y 2 ( 0 ) . By integrating by parts and exchanging the order of integration, we get
0 1 y 1 ( x ) T α y 2 ( x ) d x = 1 Γ ( α ) Γ ( 1 α ) 0 1 y 1 ( x ) d d x x 1 ( t x ) α 0 t y 2 ( s ) ( t s ) 1 α d s d t d x + 1 Γ ( α ) Γ ( 1 α ) 0 1 y 1 ( x ) x 1 ( t x ) α 1 d d t 0 t y 2 ( s ) ( t s ) α d s d t d x = 1 Γ ( α ) Γ ( 1 α ) 0 1 0 t ( t s ) α 1 y 2 ( s ) d s 0 t ( t x ) α y 1 ( x ) d x d t + 1 Γ ( α ) Γ ( 1 α ) 0 1 0 t ( t x ) α 1 y 1 ( x ) d x 0 t ( t s ) α y 2 ( s ) d s d t = 0 1 y 2 ( x ) T α y 1 ( x ) d x ,
for y 1 , y 2 D ( T ˜ ) , which proves (10). □
Theorem 1.
The eigenvalues of the nonlocal Sturm–Liouville eigenvalue problem (8) are real numbers.
Proof. 
Let λ be an eigenvalue for (8) corresponding to eigenfunction y . Then for y and its complex conjugate y ¯ , we obtain
T ˜ y = λ y , y ( 0 ) = 0 = y ( 1 ) + d y ( 1 ) ,
and
T ˜ y ¯ = λ ¯ y ¯ , y ¯ ( 0 ) = 0 = y ¯ ( 1 ) + d y ¯ ( 1 ) .
Multiplying two sides of (11) by y ¯ and integrating on the interval [ 0 , 1 ] , we get
0 1 y ¯ ( x ) T ˜ y ( x ) d x = λ 0 1 y ( x ) y ¯ ( x ) d x .
A similar method for (12) leads to the relation
0 1 y ( x ) T ˜ y ¯ ( x ) d x = λ ¯ 0 1 y ( x ) y ¯ ( x ) d x .
Using Proposition 4, the following identity is worked out using (13) and (14),
( λ λ ¯ ) 0 1 y ( x ) y ¯ ( x ) d x = ( λ λ ¯ ) 0 1 | y ( x ) | 2 d x = 0 .
Since y is a nontrivial solution, | | y | | 2 > 0 . Then λ = λ ¯ implies that the eigenvalue of (8) is a real number. □
Theorem 2.
The eigenfunctions of the nonlocal Sturm–Liouville eigenvalue problem (8) corresponding to the distinct eigenvalues are orthogonal on the interval [ 0 , 1 ] .
Proof. 
Let λ 1 and λ 2 be two distinct eigenvalues and y 1 and y 2 be the corresponding eigenfunctions. Then we obtain
T ˜ y 1 = λ 1 y 1 ,
and
T ˜ y 2 = λ 2 y 2 .
Multiplying both sides of (15) by y 2 and (16) by y 1 implies the identity
y 2 ( x ) T ˜ y 1 ( x ) y 1 ( x ) T ˜ y 2 ( x ) = ( λ 1 λ 2 ) y 1 ( x ) y 2 ( x ) .
Integrating (17) on the interval [ 0 , 1 ] , we obtain the relationship
0 1 ( y 2 ( x ) T ˜ y 1 ( x ) y 1 ( x ) T ˜ y 2 ( x ) ) d x = ( λ 1 λ 2 ) 0 1 y 1 ( x ) y 2 ( x ) d x .
According to Proposition 4, the Formula (10) leads to the equation
( λ 1 λ 2 ) 0 1 y 1 ( x ) y 2 ( x ) d x = 0 ,
which implies that 0 1 y 1 ( x ) y 2 ( x ) d x = 0 as λ 1 λ 2 . This is exactly what we want to prove. □
The following theorem obtained the geometric multiplicity of the eigenvalues for the nonlocal Sturm–Liouville problem (8).
Theorem 3.
The eigenvalues of the nonlocal Sturm–Liouville eigenvalue problem (8) are simple for | μ | < 1 7 Γ ( 2 α ) ( 1 + α ) and λ > 0 .
Proof. 
Let ψ 1 ( x ) and ψ 2 ( x ) be the two eigenfunctions of the eigenvalue problem (8), with the corresponding eigenvalue being λ 0 .
Denote
ψ ( x ) = ψ 1 ( x ) c ψ 2 ( x ) ,
where c is an arbitrary constant.
It follows from (8) that ψ ( 0 ) = 0 . One can check that ψ ( x ) = ψ 1 ( x ) c ψ 2 ( x ) .
Now we need to show that ψ 2 ( 0 ) 0 . If not, then ψ 2 ( x ) is a solution of the initial value problem (5), with k 1 = k 2 = 0 . Hence, through Proposition 1, we conclude that ψ 2 0 , which is a contradiction.
Choose c = ψ 1 ( 0 ) ψ 2 ( 0 ) . It follows that ψ ( 0 ) = 0 . That is, ψ satisfies the fractional initial value problem (5) with k 1 = k 2 = 0 .
According to Proposition 1, if | μ | < Γ ( 2 α ) Γ ( 1 + α ) e 0 1 | q ( t ) | d t ( 1 + 6 e 0 1 | q ( t ) | d t ) < 1 7 Γ ( 2 α ) ( 1 + α ) , one sees that ψ ( x ) 0 on ( 0 , 1 ) , which implies that ψ 1 ( x ) and ψ 2 ( x ) are linearly dependent on ( 0 , 1 ) , which completes the proof. □

4. Eigenvalue Problem with Dirichlet Boundary Condition and 0 < α < 1 / 2

Due to the limited results of the initial value theory for nonlocal Sturm–Liouville problems (1), it is not possible to study the continuous dependence of eigenvalues on potential functions using the initial value theory, as in references [26,27,28]. We will use the two-parameter method to conduct research below.

4.1. Eigenvalue Properties of a Two-Parameter Nonlocal Sturm–Liouville Problem

In this section, we discuss the properties of the eigenvalues of the following two-parameter nonlocal Sturm–Liouville problem
y ( x ) + q ( x ) y ( x ) + γ ( q 1 ( x ) q ( x ) ) y ( x ) + μ ( D 1 α I 0 + α + I 1 α D 0 + α ) y ( x ) = λ y ( x ) , y ( 0 ) = 0 = y ( 1 ) ,
where 0 < α < 1 / 2 , q 1 , q L 2 ( 0 , 1 ) , γ [ 0 , 1 ] , λ is the spectral parameter, μ ( μ 0 , μ 0 ) is fixed, and μ 0 is defined as in Proposition 2. These properties are important to get the continuous dependence of the eigenvalues on the potential function.
Define the fractional operator, T, by
T y = y + q y + μ T α y , T α y : = ( D 1 α I 0 + α + I 1 α D 0 + α ) y , y D ,
where
D : = { y L 2 ( 0 , 1 ) : y , y A C [ 0 , 1 ] , y + q y L 2 ( 0 , 1 ) , y ( 0 ) = 0 = y ( 1 ) } .
For fixed μ ( μ 0 , μ 0 ) , assume that λ n ( 0 ) and n 1 are the eigenvalues of the nonlocal Sturm–Liouville problem, T y = y + q ( x ) y + μ T α y = λ y , y ( 0 ) = 0 = y ( 1 ) , y D , which satisfies (6):
< λ 1 ( 0 ) < λ 2 ( 0 ) < < λ n ( 0 ) < , λ n ( 0 ) π 2 n 2 , n .
Denote by T ( γ ) the operator given in (18) as
T ( γ ) y : = T y + γ T 1 y = T y + γ ( q 1 ( x ) q ( x ) ) y , y D , γ > 0 .
Let λ n ( γ ) and n 1 be the eigenvalues of the two-parameter nonlocal Sturm–Liouville problem
T ( γ ) y = T y + γ T 1 y = λ y , y ( 0 ) = 0 = y ( 1 ) .
Theorem 4.
Let μ ( μ 0 , μ 0 ) be fixed. There exists γ 0 > 0 , such that for 0 < γ < γ 0 , all the eigenvalues of (21) are simple and satisfy
< λ 1 ( γ ) < λ 2 ( γ ) < < λ n ( γ ) < , λ n ( γ ) π 2 n 2 , n .
Proof. 
By virtue of Definition 3, Proposition 3, and discussions similar to Theorem 3.8 in [1], we can prove that { T ( γ ) , γ R } is a self-adjoint holomorphic family of type (A). Then for fixed μ ( μ 0 , μ 0 ) , there exists exactly one simple eigenvalue λ n ( γ ) of T ( γ ) near each unperturbed eigenvalue λ n ( 0 ) for suitably small γ , since λ n ( 0 ) is simple. Moreover,
| | T 1 y | | q 1 q y .
Therefore, the perturbation expansion near each λ n ( 0 ) has a positive convergence radius, ρ n .
According to (4.74) in ([25], p. 406), the following inequality holds
ρ n 2 ( a + b | λ n | ) d n + 2 b 1 .
Then we obtain
ρ n d n 2 q 1 q .
Here a = q 1 q , b = 0 , and d n is the isolation distance of the eigenvalue λ n ( 0 ) , defined as
d n = min | λ n ( 0 ) λ n 1 ( 0 ) | , | λ n + 1 ( 0 ) λ n ( 0 ) | .
Then, if γ < ρ n , there exists exactly one eigenvalue λ n ( γ ) of T ( γ ) , such that
| λ n ( γ ) λ n ( 0 ) | < d n / 2 .
Now we will prove that there exists γ 0 > 0 , such that ρ n γ 0 for all n 1 . According to Proposition 2, we have λ n ( 0 ) n 2 π 2 as n . Hence,
d n ( 2 n 1 ) π 2 , n ,
ρ n c n : = d n 2 q 1 q ( n 1 2 ) q 1 q π 2 .
Let γ < δ 1 , where δ 1 = π 2 4 q 1 q . Then there exists N, such that for n > N ,
ρ n c n > δ 1 > γ .
Therefore, there exists exactly one simple eigenvalue λ n ( γ ) of T ( γ ) , such that
| λ n ( γ ) λ n ( 0 ) | < d n / 2 , n > N .
For 1 n N , we choose
d n = min { | λ j ( 0 ) λ k ( 0 ) | : 1 j k N } : = d .
By (24), we have
ρ n d 2 q 1 q : = δ 2 , 1 n N .
Set γ 0 = min { δ 1 , δ 2 } . Then
ρ n γ 0 for all n 1 .
Denote by O n the disc | λ λ n ( 0 ) | < d n / 2 , n 1 . If γ < γ 0 , then each O n contains exactly one simple eigenvalue of T ( γ ) for n 1 .
Let A = n = 1 O n . We need to prove that A contains all the eigenvalues of T ( γ ) .
Set A ˜ = C A . We will prove that for γ < γ 0 ,   A ˜ P ( T ( γ ) ) , where P ( T ( γ ) ) is the resolvent of T ( γ ) .
Suppose λ A ˜ . If λ R , it follows from Theorem 3.8 in [1] that
λ P ( T ( γ ) ) .
If λ R , then for some n 1 , the following inequality holds
λ < λ 1 ( 0 ) d 1 / 2 , or λ n ( 0 ) + d n / 2 < λ < λ n + 1 ( 0 ) d n + 1 / 2 ,
where d n is defined as in (25) for n > N , and as in (27) for 1 n N .
We now prove λ P ( T ( γ ) ) .
Suppose, to the contrary, that λ is an eigenvalue of T ( γ ) . By Theorem 4.21 ([25], p. 408), there exist 0 < δ < γ 0 and k N , such that if γ < δ , the inequality | λ λ k ( 0 ) | < d k / 2 holds, which implies that there exists k N such that λ O k .
Each O k contains exactly one simple eigenvalue of T ( γ ) for k 1 . Therefore, we obtain a contradiction. Hence, λ P ( T ( γ ) ) .
For γ < γ 0 , we obtain
< λ n ( γ ) < λ n + 1 ( γ ) , n 1 .
By (25) and (27), we have
λ n ( γ ) n 2 π 2 .

4.2. The Continuous Dependence of the Eigenvalues on the Potential Function

In this section, by the aid of the two-parameter method, we investigate the continuous dependence of the eigenvalues of
y ( x ) + q ( x ) y ( x ) + μ ( D 1 α I 0 + α + I 1 α D 0 + α ) y ( x ) = λ y ( x ) on ( 0 , 1 ) , y ( 0 ) = 0 = y ( 1 ) .
where 0 < α < 1 / 2 , q L 2 ( 0 , 1 ) , λ is the spectral parameter, μ ( μ 0 , μ 0 ) is fixed, and μ 0 is defined as in Proposition 2.
When γ = 0 , equation
y ( x ) + q ( x ) y ( x ) + γ ( q 1 ( x ) q ( x ) ) y ( x ) + μ ( D 1 α I 0 + α + I 1 α D 0 + α ) y ( x ) = λ y ( x )
degenerates into equation
y ( x ) + q ( x ) y ( x ) + μ ( D 1 α I 0 + α + I 1 α D 0 + α ) y ( x ) = λ y ( x ) ,
and when γ = 1 , equation
y ( x ) + q ( x ) y ( x ) + γ ( q 1 ( x ) q ( x ) ) y ( x ) + μ ( D 1 α I 0 + α + I 1 α D 0 + α ) y ( x ) = λ y ( x )
can be transformed into
y ( x ) + q 1 ( x ) y ( x ) + μ ( D 1 α I 0 + α + I 1 α D 0 + α ) y ( x ) = λ y ( x ) .
Therefore, the continuous dependence of the eigenvalue of y ( x ) + q ( x ) y ( x ) + μ ( D 1 α I 0 + α + I 1 α D 0 + α ) y ( x ) on the potential function q ( x ) can be transformed into the continuous dependence of the eigenvalue of y ( x ) + q ( x ) y ( x ) + γ ( q 1 ( x ) q ( x ) ) y ( x ) + μ ( D 1 α I 0 + α + I 1 α D 0 + α ) y ( x ) = λ y ( x ) on the parameter γ .
Theorem 5.
Let μ ( μ 0 , μ 0 ) , n 1 , and q 0 L 2 ( 0 , 1 ) be fixed. For any ε > 0 , there exists δ n > 0 , such that if | | q 1 q 0 | | δ n for any q 1 L 2 ( 0 , 1 ) , then | λ n , q 1 λ n , q 0 | < ε , where λ n , q i ( i = 0 , 1 ) are the n-th eigenvalue of y + q i y + μ T α y = λ y subject to y ( 0 ) = 0 = y ( 1 ) .
Proof. 
For two-parameter nonlocal Sturm–Liouville problem
y ( x ) + q 0 ( x ) y ( x ) + γ ( q 1 ( x ) q 0 ( x ) ) y ( x ) + μ T α y ( x ) = λ y ( x ) , y ( 0 ) = 0 = y ( 1 ) ,
λ n ( γ ) ( n 1 ) are corresponding eigenvalues.
It suffices to show that for any ε > 0 , there exists δ n > 0 , such that for any q 1 L 2 ( 0 , 1 ) , if γ < δ n , then | λ n ( γ ) λ n ( 0 ) | < ε .
For the sake of simplicity in writing, we dropped the variable x and the subscript n. By Theorem 4, each eigenvalue λ ( γ ) is simple on ( 0 , γ 0 ) . Choose 0 < | Δ | 1 , such that 0 < γ + Δ < γ 0 . Assume λ ( γ ) and λ ( γ + Δ ) are different eigenvalues of (29). Let eigenfunctions φ ( γ ) and φ ( γ + Δ ) denote the corresponding normalized eigenfunctions of λ ( γ ) and λ ( γ + Δ ) , respectively. Then we obtain
φ ( γ ) + q 0 ( x ) φ ( γ ) + γ ( q 1 ( x ) q 0 ( x ) ) φ ( γ ) + μ T α φ ( γ ) = λ ( γ ) φ ( γ ) , φ ( 0 , γ ) = 0 = φ ( 1 , γ )
and
φ ( γ + Δ ) + q 0 ( x ) φ ( γ + Δ ) + ( γ + Δ ) ( q 1 ( x ) q 0 ( x ) ) φ ( γ + Δ ) + μ T α φ ( γ + Δ ) = λ ( γ + Δ ) φ ( γ + Δ ) , φ ( 0 , γ + Δ ) = 0 = φ ( 1 , γ + Δ ) .
(31) ×   φ ( γ ) (30) ×   φ ( γ + Δ ) , and integrating on [0, 1], we have
( λ ( γ + Δ ) λ ( γ ) ) 0 1 φ ( γ ) φ ( γ + Δ ) = Δ 0 1 ( q 1 ( x ) q 0 ( x ) ) φ ( γ ) φ ( γ + Δ ) + μ 0 1 ( φ ( γ ) ( T α φ ( γ + Δ ) ) φ ( γ + Δ ) ( T α φ ( γ ) ) ) .
Moreover, we obtain
0 1 φ ( γ ) ( T α φ ( γ + Δ ) ) = 0 1 φ ( γ + Δ ) ( T α φ ( γ ) ) .
Therefore,
λ ( γ ) = lim Δ 0 λ ( γ + Δ ) λ ( γ ) Δ = 0 1 q ˜ φ 2 ( γ ) ,
where q ˜ ( x ) : = q 1 ( x ) q 0 ( x ) .
Define
Q ˜ ( x ) = 0 x q ˜ ( t ) d t , x [ 0 , 1 ] , Q ˜ 0 = max x [ 0 , 1 ] { | Q ˜ ( x ) | } ,
Q ( x ) = 0 x q 0 ( t ) d t , x [ 0 , 1 ] , Q 0 = max x [ 0 , 1 ] { | Q ( x ) | } .
Since | | φ ( γ ) | | = 1 ,   φ ( 1 , γ ) = φ ( 0 , γ ) = 0 , then we obtain
| 0 1 q ˜ φ ( γ ) | 2 | | φ ( γ ) | | 2 4 γ + 4 Q ˜ 0 2 γ , | 0 1 q 0 φ ( γ ) | 2 | | φ ( γ ) | | 2 4 + 4 Q 0 2 ,
and
| 0 1 q ˜ φ ( γ ) | 2 | | φ ( γ ) | | 2 4 + 4 Q ˜ 0 2 ,
Because T α y = ( D 1 α I 0 + α + I 1 α D 0 + α ) y , by Definitions 1 and 2, we get the relationship
T α y = M α 0 1 y ( s ) ( 1 s ) 1 α d s ( 1 x ) α x 1 0 t d d s y ( s ) ( t s ) 1 α d s ( t x ) α d t + x 1 0 t d d s y ( s ) ( t s ) α d s ( t x ) 1 α d t ,
where M α = 1 Γ ( α ) Γ ( 1 α ) . Therefore,
T α y M α x 1 0 t d d s y ( s ) ( t s ) 1 α d s ( t x ) α d t + x 1 0 t d d s y ( s ) ( t s ) α d s ( t x ) 1 α d t + 0 1 y ( s ) ( 1 s ) 1 α d s ( 1 x ) α = M α 0 1 x 1 0 t y ( s ) ( t s ) 1 α d s ( t x ) α d t 2 d x 1 / 2 + M α 0 1 x 1 0 t y ( s ) ( t s ) α d s ( t x ) 1 α d t 2 d x 1 / 2 + M α 0 1 0 1 y ( s ) ( 1 s ) 1 α d s ( 1 x ) α 2 d x 1 / 2 .
Denoted by
C 1 = 0 1 x 1 0 t y ( s ) ( t s ) 1 α d s ( t x ) α d t 2 d x 1 / 2 , C 2 = 0 1 x 1 0 t y ( s ) ( t s ) α d s ( t x ) 1 α d t 2 d x 1 / 2 , C 3 = 0 1 0 1 y ( s ) ( 1 s ) 1 α d s ( 1 x ) α 2 d x 1 / 2 .
It follows that
T α y M α ( C 1 + C 2 + C 3 ) .
Utilizing the Cauchy–Schwarz inequality in conjunction with the integration by parts formula many times yields the following results
C 1 2 0 1 x 1 ( t x ) α d t x 1 0 t y ( s ) d s ( t s ) 1 α 2 ( t x ) α d t d x , 1 1 α 0 1 0 t ( t x ) α d x 0 t y ( s ) ( t s ) 1 α d s 2 d t 1 α ( 1 α ) 2 0 1 0 t | y ( s ) | 2 ( t s ) 1 α d s d t 1 α 2 ( 1 α ) 2 y 2
C 2 2 0 1 x 1 ( t x ) α 1 d t x 1 0 t y ( s ) d s ( t s ) α 2 ( t x ) 1 α d t d x 1 / 2 1 α 2 ( 1 α ) 0 1 0 t | y ( s ) | 2 ( t s ) α d s d t 1 α 2 ( 1 α ) 2 y 2
C 3 = 0 1 ( 1 x ) 2 α d x 1 / 2 0 1 y ( s ) ( 1 s ) 1 α d s = 1 1 2 α 0 1 y ( s ) ( 1 s ) 1 α d s y α 1 2 α .
Hence,
T α y M α ( C 1 + C 2 + C 3 ) C α y ,
where C α = 1 α + 2 1 4 α 2 Γ ( 1 + α ) Γ ( 2 α ) 1 4 α 2 .
By calculation, we find that
T α φ ( γ ) , φ ( γ ) C α φ ( γ ) φ ( γ ) 1 4 | μ | φ ( γ ) 2 + | μ | C α 2 φ ( γ ) 2 .
By (30), we have
| | φ ( γ ) | | 2 + 0 1 q | φ ( γ ) | 2 + γ 0 1 q ˜ | φ ( γ ) | 2 + μ T α φ ( γ ) , φ ( γ ) = λ ( γ ) .
By means of (34), (36), and (37), we obtain
| | φ ( γ ) | | 2 4 ( λ ( γ ) + 4 Q 0 2 + 4 Q ˜ 0 2 γ 2 + | μ | 2 C α 2 ) .
A combination of (33), (35), and (38) gives that
| λ ( γ ) | = | 0 1 q ˜ φ ( γ ) | 2 | | φ ( γ ) | | 2 4 + 4 Q ˜ 0 2 λ ( γ ) + c ,
where c = 4 Q 0 2 + 4 Q ˜ 0 2 γ 2 + | μ | 2 C α 2 + 4 Q ˜ 0 2 . Solving the differential inequality (39), we have
λ ( γ ) + c e γ ( λ ( 0 ) + c ) .
Therefore,
| λ ( γ ) | e γ ( λ ( 0 ) + c ) .
Hence, for any ε > 0 , and for any q 1 L 2 ( 0 , 1 ) , if | γ | < δ n = min { γ 0 , ε e γ ( λ ( 0 ) + c ) } , we have
| λ ( γ ) λ ( 0 ) | = | 0 γ λ ( t ) d t | | γ | e γ ( λ ( 0 ) + c ) < ε ,
which completes the proof. □

5. Conclusions

In this paper, we considered a nonlocal Sturm–Liouville problem (1)–(2) with fractional integrals and fractional derivatives. We obtained that the eigenvalues of (1)–(2) with d 0 are real values, and the corresponding eigenfunctions are orthogonal; see Theorems 1 and 2. In Theorem 3, based on these properties, we obtained results that show the geometric multiplicity of the eigenvalues is simple. Thereafter, we discussed the eigenvalue problem of (1)–(2) with d = 0 . We led into an auxiliary two-parameter nonlocal Sturm–Liouville problem (18). In Theorem 4, we derived that the corresponding eigenvalue problem consists of a countable number of real eigenvalues, and the algebraic multiplicity of each eigenvalue is simple. With the aid of the eigenvalue properties of this nonlocal problem, we came to the conclusion that the eigenvalues are continuous with respect to the potential function; see Theorem 5.

Author Contributions

Data curation, Y.Z. and S.C.; writing—original draft preparation, J.L.; writing—review and editing, Y.Z. and S.C.; funding acquisition, J.L. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by the Natural Science Foundation of Shandong Province (ZR2024MA005) and National Nature Science Foundation of China (Grant Nos.12071254, 12271299).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

No data were used to support this study.

Acknowledgments

The authors are grateful to the referee for his/her valuable comments, which greatly improved the original manuscript of this paper. The authors are grateful to X. Yuan for his valuable suggestions.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Li, J.; Wang, M.R. Spectral problem and initial value problem of a nonlocal Sturm–Liouville problem. Qual. Theor. Dyn. Syst. 2021, 20, 1–22. [Google Scholar] [CrossRef]
  2. Cottone, G.; Paola, M.D.; Zingales, M. Dynamics of non-local systems handled by fractional calculus. In Proceedings of the 6th WESEAS International Conference, Cairo, Egypt, 29–31 December 2007; pp. 81–89. [Google Scholar]
  3. Paola, M.D.; Zingales, M. Non-local continuum: Fractional Calculus approach. In Proceeding of the XVIII AIMETA, Brescia, Italy, 11–14 September 2007; pp. 11–16. [Google Scholar]
  4. Paola, M.D.; Zingales, M. Long-range cohesive interactions of non-local continuum mechanics faced by fractional calculus. Int. J. Solids Struct. 2008, 45, 5642–5659. [Google Scholar] [CrossRef]
  5. Carpinteri, A.; Cornetti, P.; Sapora, A. A fractional calculus approach to nonlocal elasticity. Eur. R. Phys. J. Spec. Top. 2011, 193, 193–204. [Google Scholar] [CrossRef]
  6. Qi, J.G.; Chen, S.Z. Eigenvalue problems of the model from nonlocal continuum mechanics. J. Math. Phys. 2011, 52, 073516. [Google Scholar] [CrossRef]
  7. Li, J.; Qi, J.G. Eigenvalue problem for fractional differential equations with right and left fractional derivatives. Appl. Math. Compu. 2015, 256, 1–10. [Google Scholar] [CrossRef]
  8. Li, J.; Qi, J.G. Note on a nonlocal Sturm–Liouville problem with both right and left fractional derivatives. Appl. Math. Lett. 2019, 97, 14–19. [Google Scholar] [CrossRef]
  9. Li, J.; Qi, J.G. On a nonlocal Sturm–Liouville problem with composite fractional derivatives. Math. Meth. Appl. Sci. 2021, 44, 1931–1941. [Google Scholar] [CrossRef]
  10. Li, J.; Qi, J.G. Continuous dependence of eigenvalues on potential functions for nonlocal Sturm–Liouville equations. Math. Meth. Appl. Sci. 2023, 46, 10617–10623. [Google Scholar] [CrossRef]
  11. Klimek, M.; Agrawal, O.P. Fractional Sturm–Liouville problem. Comput. Math. Appl. 2013, 66, 795–812. [Google Scholar] [CrossRef]
  12. Zayernouri, M.; Karniadakis, G.E. Fractional Sturm–Liouville eigen-problems: Theory and numerical approximation. J. Comput. Phys. 2013, 252, 495–517. [Google Scholar] [CrossRef]
  13. Bas, E.; Metin, F. Fractional singular Sturm–Liouville operator for coulomb potential. Adv. Differ. Equ. 2013, 1, 300. [Google Scholar] [CrossRef]
  14. Klimek, M.; Odzijewicz, T.; Malinowska, A.B. Variational methods for the fractonal Sturm–Liouville problem. J. Math. Anal. Appl. 2014, 416, 402–426. [Google Scholar] [CrossRef]
  15. Bas, E.; Ozarslan, R.; Baleanu, D.; Ercan, A. Comparative simulations for solutions of fractional Sturm–Liouville problems with non-singular operators. Adv. Differ. Equ. 2018, 1, 350. [Google Scholar] [CrossRef]
  16. Aleroev, T.S.; Aleroeva, H.T. Problems of Sturm–Liouville type for differential equations with fractional derivatives. In Volume 2 Fractional Differential Equations; Kochubei, A., Luchko, Y., Eds.; De Gruyter: Berlin, Germany; Boston, MA, USA, 2019; pp. 21–46. [Google Scholar]
  17. Derakhshan, M.H.; Ansari, A. Fractional Sturm–Liouville problems for weber fractional derivatives. Int. J. Comput. Math. 2019, 96, 217–237. [Google Scholar] [CrossRef]
  18. Ozarslan, R.; Ercan, A.; Bas, E. β-type fractional Sturm–Liouville coulomb operator and applied results. Math. Meth. Appl. Sci. 2019, 42, 6648–6659. [Google Scholar] [CrossRef]
  19. Dehghan, M.; Mingarelli, A.B. Fractional Sturm–Liouville eigenvalue problems, I. RACSAM 2020, 114, 46. [Google Scholar] [CrossRef]
  20. Maralani, E.M.; Saei, F.D.; Akbarfam, A.J.; Ghanbari, K. Eigenvalues of fractional Sturm–Liouville problems by successive method. Comput. Methods Differ. Equ. 2021, 9, 1163–1175. [Google Scholar]
  21. Dehghan, M.; Mingarelli, A.B. Fractional Sturm–Liouville eigenvalue problems, II. Fractal Fract. 2022, 6, 487. [Google Scholar] [CrossRef]
  22. Al-Jararha, M.; Al-Refai, M.; Luchko, Y. A self-adjoint fractional Sturm–Liouville problem with the general fractional derivatives. J. Differ. Equ. 2024, 413, 110–128. [Google Scholar] [CrossRef]
  23. Dehghan, M.; Mingarelli, A.B. Spectral and Oscillation Theory for an Unconventional Fractional Sturm–Liouville Problem. Fractal Fract. 2024, 8, 238. [Google Scholar] [CrossRef]
  24. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; Elsevier: Amsterdam, The Netherlands, 2006. [Google Scholar]
  25. Kato, T. Perturbation Theory for Linear Operators; Springer: New York, NY, USA, 1966. [Google Scholar]
  26. Kong, Q.; Zettl, A. Eigenvalues of regular Sturm–Liouville problem. J. Diff. Equ. 1996, 131, 1–19. [Google Scholar] [CrossRef]
  27. Zettl, A. Sturm–Liouville Theory; American Mathematical Society: Providence, RI, USA, 2005; Volume 121. [Google Scholar]
  28. Xie, B.; Guo, H.J.; Li, J. Continuity of eigenvalues in weak topology for regular Sturm–Liouville problems. Dynam. Syst. Appl. 2018, 27, 353–365. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Zhang, Y.; Chen, S.; Li, J. New Results on a Nonlocal Sturm–Liouville Eigenvalue Problem with Fractional Integrals and Fractional Derivatives. Fractal Fract. 2025, 9, 70. https://doi.org/10.3390/fractalfract9020070

AMA Style

Zhang Y, Chen S, Li J. New Results on a Nonlocal Sturm–Liouville Eigenvalue Problem with Fractional Integrals and Fractional Derivatives. Fractal and Fractional. 2025; 9(2):70. https://doi.org/10.3390/fractalfract9020070

Chicago/Turabian Style

Zhang, Yunyang, Shaojie Chen, and Jing Li. 2025. "New Results on a Nonlocal Sturm–Liouville Eigenvalue Problem with Fractional Integrals and Fractional Derivatives" Fractal and Fractional 9, no. 2: 70. https://doi.org/10.3390/fractalfract9020070

APA Style

Zhang, Y., Chen, S., & Li, J. (2025). New Results on a Nonlocal Sturm–Liouville Eigenvalue Problem with Fractional Integrals and Fractional Derivatives. Fractal and Fractional, 9(2), 70. https://doi.org/10.3390/fractalfract9020070

Article Metrics

Back to TopTop