Next Article in Journal
Control Theory Application for Swing Up and Stabilisation of Rotating Inverted Pendulum
Next Article in Special Issue
The Behavior and Structures of Solution of Fifth-Order Rational Recursive Sequence
Previous Article in Journal
Challenges and Open Problems of Legal Document Anonymization
Previous Article in Special Issue
Solutions to Nonlinear Evolutionary Parabolic Equations of the Diffusion Wave Type
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Positive Solutions of a Fractional Boundary Value Problem with Sequential Derivatives

1
Department of Computer Science and Engineering, Gh. Asachi Technical University, 700050 Iasi, Romania
2
Department of Mathematics, Gh. Asachi Technical University, 700506 Iasi, Romania
*
Author to whom correspondence should be addressed.
Symmetry 2021, 13(8), 1489; https://doi.org/10.3390/sym13081489
Submission received: 17 June 2021 / Revised: 21 July 2021 / Accepted: 11 August 2021 / Published: 13 August 2021

Abstract

:
We investigate the existence of positive solutions of a Riemann-Liouville fractional differential equation with sequential derivatives, a positive parameter and a nonnegative singular nonlinearity, supplemented with integral-multipoint boundary conditions which contain fractional derivatives of various orders and Riemann-Stieltjes integrals. Our general boundary conditions cover some symmetry cases for the unknown function. In the proof of our main existence result, we use an application of the Krein-Rutman theorem and two theorems from the fixed point index theory.

1. Introduction

In this paper, we consider the ordinary fractional differential equation with sequential derivatives
D 0 + α q ( t ) D 0 + β v ( t ) = λ r ( t ) g ( t , v ( t ) ) , t ( 0 , 1 ) ,
subject to the integral-multipoint boundary conditions
v ( k ) ( 0 ) = 0 , k = 0 , , n 2 , D 0 + β v ( 0 ) = 0 , q ( 1 ) D 0 + β v ( 1 ) = a q ( ξ ) D 0 + β v ( ξ ) , D 0 + γ 0 v ( 1 ) = j = 1 p 0 1 D 0 + γ j v ( t ) d H j ( t ) ,
where α ( 1 , 2 ] , β ( n 1 , n ] , n N , n 3 , p N , γ i R , i = 0 , , p , 0 γ 1 < γ 2 < < γ p γ 0 < β 1 , γ 0 1 , λ > 0 , a 0 , ξ ( 0 , 1 ) , q : [ 0 , 1 ] ( 0 , ) is a continuous function, g : [ 0 , 1 ] × ( 0 , ) [ 0 , ) is a continuous function which may have singularity at the second variable in the point 0, the function r : ( 0 , 1 ) [ 0 , ) is continuous and may be singular at t = 0 and/or t = 1 , D 0 + ς is the Riemann-Liouville fractional derivative of order ς , for ς = α , β , γ 0 , γ 1 , , γ p , and in (2) we have Riemann-Stieltjes integrals, where H j , j = 1 , , p are bounded variation functions. The general boundary conditions (2) cover some symmetry cases for the unknown function. For example, in the case p = 1 , γ 0 = γ 1 and H 1 is a step function given by H 1 ( t ) = { 0 , t = 0 ; 1 , t ( 0 , 1 ] } , the last condition from (2) becomes the symmetry condition D 0 + γ 0 v ( 1 ) = D 0 + γ 0 v ( 0 ) for the fractional derivative of order γ 0 of the unknown function v. Besides, if γ 0 = γ 1 = 1 , then we find the periodicity condition for the first derivative of function v, namely v ( 1 ) = v ( 0 ) .
We present some assumptions on the functions g and r, and intervals for the parameter λ such that problem (1), (2) has at least one positive solution. By a positive solution of (1), (2) we mean a function v C [ 0 , 1 ] satisfying (1) and (2) with v ( t ) > 0 for all t ( 0 , 1 ] . In the proof of our main theorem we use some results from the fixed point index theory. Positive solutions for such fractional problems are of great practical importance for describing nonlocal processes with memory, which determines the relevance of the chosen research topic. In what follows we present some recent results connected with our problem (1), (2). In [1], the authors studied the fractional differential equation
D 0 + γ w ( t ) + μ h ( t ) g ( t , w ( t ) ) = 0 , t ( 0 , 1 ) ,
subject to nonlocal boundary conditions
w ( 0 ) = w ( 0 ) = = w ( n 2 ) ( 0 ) = 0 , D 0 + ζ 0 w ( 1 ) = i = 1 m 0 1 D 0 + ζ i w ( t ) d K i ( t ) ,
where γ R , γ ( n 1 , n ] , n N , n 3 , m N , ζ j R for all j = 0 , , m , 0 ζ 1 < ζ 2 < < ζ m ζ 0 < γ 1 , ζ 0 1 , K j , j = 1 , , m are bounded variation functions, μ is a positive parameter, the function g ( t , w ) is nonnegative and it may have singularity at w = 0 and the function h ( t ) is nonnegative and it may be singular at the points t = 0 and/or t = 1 . They gave various assumptions for the functions h and g, and established intervals for the parameter μ such that problem (3), (4) has at least one positive solution. The expression for intervals of μ are given by using the principal characteristic value of an associated linear operator. The fixed point index theory was used in the proof of the main theorems. By using the Guo-Krasnosel’skii fixed point theorem, a related semipositone problem is also studied in [1]. In [2], the authors studied the system of fractional differential equations with sequential derivatives
D 0 + γ 1 D 0 + δ 1 v ( t ) + μ ϕ ( t , v ( t ) , w ( t ) ) = 0 , t ( 0 , 1 ) , D 0 + γ 2 D 0 + δ 2 w ( t ) + ν ψ ( t , v ( t ) , w ( t ) ) = 0 , t ( 0 , 1 ) ,
with the coupled boundary conditions
v ( k ) ( 0 ) = 0 , k = 0 , , p 2 ; D 0 + δ 1 v ( 0 ) = 0 , D 0 + α 0 v ( 1 ) = j = 1 n 0 1 D 0 + α j w ( t ) d H j ( t ) , w ( k ) ( 0 ) = 0 , k = 0 , , q 2 ; D 0 + δ 2 w ( 0 ) = 0 , D 0 + β 0 w ( 1 ) = j = 1 m 0 1 D 0 + β j v ( t ) d K j ( t ) ,
where γ 1 , γ 2 ( 0 , 1 ] , δ 1 ( p 1 , p ] , δ 2 ( q 1 , q ] , p , q N , p , q 3 , n , m N , α j R for all j = 0 , 1 , , n , 0 α 1 < α 2 < < α n β 0 < δ 2 1 , β 0 1 , β j R for all j = 0 , 1 , , m , 0 β 1 < β 2 < < β m α 0 < δ 1 1 , α 0 1 , μ > 0 , ν > 0 , ϕ and ψ are continuous functions which change sign and they may be singular at the points t = 0 and/or t = 1 , H j , j = 1 , , n and K j , j = 1 , , m are bounded variation functions. They present various assumptions for the nonsingular/singular functions ϕ and ψ , and intervals for parameters μ and ν such that problem (5), (6) has at least one or two positive solutions. They applied the nonlinear alternative of Leray-Schauder type and the Guo-Krasnosel’skii fixed point theorem in the proofs of the main existence results. We also mention the papers [3,4,5,6,7], and the books [4,8,9,10,11,12,13,14,15,16,17,18] with their references for other results obtained in the last years and for applications of the fractional differential equations and systems in various fields.
The structure of the paper is as follows. In Section 2 we study a linear fractional boundary value problem associated to our problem (1), (2), and we present the associated Green functions with their properties and bounds. Section 3 is concerned with the main existence theorem for (1), (2), and an example illustrating our result is presented in Section 4.

2. Preliminary Results

We consider the fractional differential equation
D 0 + α ( q ( t ) D 0 + β v ( t ) ) = z ( t ) , t ( 0 , 1 ) ,
with the boundary conditions (2), where q C ( [ 0 , 1 ] , ( 0 , ) ) and z C ( 0 , 1 ) L 1 ( 0 , 1 ) . We introduce the following numbers
Δ 1 = 1 a ξ α 1 , Δ 2 = Γ ( β ) Γ ( β γ 0 ) i = 1 p Γ ( β ) Γ ( β γ i ) 0 1 ϑ β γ i 1 d H i ( ϑ ) .
Lemma 1.
If Δ 1 0 and Δ 2 0 , then problem (2), (7) has the unique solution v C [ 0 , 1 ] given by
v ( t ) = 0 1 G 2 ( t , ϑ ) 1 q ( ϑ ) 0 1 G 1 ( ϑ , ζ ) z ( ζ ) d ζ d ϑ , t [ 0 , 1 ] ,
where
G 1 ( t , ϑ ) = g 1 ( t , ϑ ) + a t α 1 Δ 1 g 1 ( ξ , ϑ ) , ( t , ϑ ) [ 0 , 1 ] × [ 0 , 1 ] ,
with
g 1 ( s , ϑ ) = 1 Γ ( α ) s α 1 ( 1 ϑ ) α 1 ( s ϑ ) α 1 , 0 ϑ s 1 , s α 1 ( 1 ϑ ) α 1 , 0 s ϑ 1 ,
and
G 2 ( t , ϑ ) = g 2 ( t , ϑ ) + t β 1 Δ 2 i = 1 p 0 1 g 3 i ( τ , ϑ ) d H i ( τ ) , ( t , ϑ ) [ 0 , 1 ] × [ 0 , 1 ] ,
with
g 2 ( s , ϑ ) = 1 Γ ( β ) s β 1 ( 1 ϑ ) β γ 0 1 ( s ϑ ) β 1 , 0 ϑ s 1 , s β 1 ( 1 ϑ ) β γ 0 1 , 0 s ϑ 1 , g 3 i ( s , ϑ ) = 1 Γ ( β γ i ) s β γ i 1 ( 1 ϑ ) β γ 0 1 ( s ϑ ) β γ i 1 , 0 ϑ s 1 , s β γ i 1 ( 1 ϑ ) β γ 0 1 , 0 s ϑ 1 . i = 1 , , p .
Proof. 
We denote by q ( t ) D 0 + β v ( t ) = w ( t ) . Then problem (2), (7) is equivalent to the following two boundary value fractional problems
( I ) D 0 + α w ( t ) = z ( t ) , t ( 0 , 1 ) , w ( 0 ) = 0 , w ( 1 ) = a w ( ξ ) ,
and
( I I ) D 0 + β v ( t ) = w ( t ) / q ( t ) , t ( 0 , 1 ) , v ( k ) ( 0 ) = 0 , k = 0 , , n 2 , D 0 + γ 0 v ( 1 ) = j = 1 p 0 1 D 0 + γ j v ( ϑ ) d H j ( ϑ ) .
By Lemma 4.1.5 from [12], problem ( I ) has the unique solution w C [ 0 , 1 ] given by
w ( t ) = 0 1 G 1 ( t , ϑ ) z ( ϑ ) d ϑ , t [ 0 , 1 ] ,
where G 1 is defined in (10). By Lemma 2.4.2 from [9], problem ( I I ) has the unique solution v C [ 0 , 1 ] given by
v ( t ) = 0 1 G 2 ( t , ϑ ) w ( ϑ ) / q ( ϑ ) d ϑ , t [ 0 , 1 ] ,
where G 2 is defined in (12). Now by using (14) and (15) we obtain the solution v for problem (2), (7) which is given by relation (9). □
By applying some properties of functions g 1 , g 2 , g 3 i , i = 1 , , p presented in (11) and (13) (see [9,12]), we deduce the following result.
Lemma 2.
If H j , j = 1 , , p are nondecreasing functions, Δ 1 > 0 , Δ 2 > 0 , then the Green functions G 1 and G 2 given by (10) and (12) have the following properties:
(a) G 1 , G 2 : [ 0 , 1 ] × [ 0 , 1 ] [ 0 , ) are continuous functions;
(b) G 1 ( t , ϑ ) J 1 ( ϑ ) , ( t , ϑ ) [ 0 , 1 ] × [ 0 , 1 ] , where
J 1 ( ϑ ) = h 1 ( ϑ ) + a Δ 1 g 1 ( ξ , ϑ ) , ϑ [ 0 , 1 ] ,
and h 1 ( ϑ ) = 1 Γ ( α ) ( 1 ϑ ) α 1 , ϑ [ 0 , 1 ] ;
(c) G 2 ( t , ϑ ) J 2 ( ϑ ) , ( t , ϑ ) [ 0 , 1 ] × [ 0 , 1 ] , where
J 2 ( ϑ ) = h 2 ( ϑ ) + 1 Δ 2 i = 1 p 0 1 g 3 i ( τ , ϑ ) d H i ( τ ) , ϑ [ 0 , 1 ] ,
and h 2 ( ϑ ) = 1 Γ ( β ) ( 1 ϑ ) β γ 0 1 ( 1 ( 1 ϑ ) γ 0 ) , ϑ [ 0 , 1 ] .
(d) G 2 ( t , ϑ ) t β 1 J 2 ( ϑ ) , ( t , ϑ ) [ 0 , 1 ] × [ 0 , 1 ] .
By using Lemma 2, we easily obtain the following lemma (see also [12]).
Lemma 3.
If Δ 1 > 0 , Δ 2 > 0 , H j , j = 1 , , p are nondecreasing functions, and z C ( 0 , 1 ) L 1 ( 0 , 1 ) with z ( s ) 0 for all s ( 0 , 1 ) , then the solution v of problem (2), (7) given by (9) satisfies the properties v ( s ) 0 for all s [ 0 , 1 ] and v ( s ) t β 1 v ( η ) for all s , η [ 0 , 1 ] .

3. Existence of Positive Solutions

In this section we present some conditions on the functions g and r, and intervals for λ such that there exists at least one positive solution of (1), (2). We introduce the Banach space X = C [ 0 , 1 ] with supremum norm v = sup s [ 0 , 1 ] | v ( s ) | , and we introduce the cones
C = { v X , v ( s ) 0 , s [ 0 , 1 ] } , S = { v X , v ( s ) s β 1 v , s [ 0 , 1 ] } C .
We define the operator E : C C and the linear operator F : X X by
E v ( t ) = λ 0 1 G 2 ( t , ϑ ) 1 q ( ϑ ) 0 1 G 1 ( ϑ , τ ) r ( τ ) g ( τ , v ( τ ) ) d τ d ϑ , t [ 0 , 1 ] , v C , F v ( t ) = 0 1 G 2 ( t , ϑ ) 1 q ( ϑ ) 0 1 G 1 ( ϑ , τ ) r ( τ ) v ( τ ) d τ d ϑ , t [ 0 , 1 ] , v X .
We observe that v is a solution of problem (1), (2) if and only if v is a fixed point of operator E . For θ > 0 we introduce the sets S θ = B θ S and S ¯ θ = B ¯ θ S , ( B θ = { v X , v < θ } , B ¯ θ = { v X , v θ } , B θ = { v X , v = θ } ).
We give now the assumptions that we will use in this section.
(H1)
α ( 1 , 2 ] , β ( n 1 , n ] , n N , n 3 , p N , γ i R , i = 0 , , p , 0 γ 1 < γ 2 < < γ p γ 0 < β 1 , γ 0 1 , λ > 0 , a 0 , ξ ( 0 , 1 ) , q : [ 0 , 1 ] ( 0 , ) is a continuous function, H i : [ 0 , 1 ] R , i = 1 , , p are nondecreasing functions, λ > 0 , and Δ 1 > 0 , Δ 2 > 0 ( Δ 1 , Δ 2 are given by (8)).
(H2)
The function r C ( ( 0 , 1 ) , [ 0 , ) ) and 0 < 0 1 r ( ϑ ) d ϑ < .
(H3)
The function g C ( [ 0 , 1 ] × ( 0 , ) , [ 0 , ) ) and for any 0 < θ 1 < θ 2 we have
lim m sup v S ¯ θ 2 S θ 1 I m r ( ϑ ) g ( ϑ , v ( ϑ ) ) d ϑ = 0 ,
where I m = 0 , 1 m m 1 m , 1 .
Lemma 4.
We suppose that assumptions ( H 1 ) ( H 3 ) hold. Then for any 0 < θ 1 < θ 2 , the operator E : S ¯ θ 2 S θ 1 S is a completely continuous operator.
Proof. 
By using ( H 3 ) , we find that there exists a number m 1 3 with the property
sup v S ¯ θ 2 S θ 1 I m 1 r ( ϑ ) g ( ϑ , v ( ϑ ) ) d ϑ < 1 .
For v S ¯ θ 2 S θ 1 , we find that there exists ω 0 [ θ 1 , θ 2 ] such that v = ω 0 , and then
t β 1 θ 1 t β 1 ω 0 v ( t ) ω 0 θ 2 , t [ 0 , 1 ] .
Let M 1 = max g ( t , y ) , t 1 m 1 , m 1 1 m 1 , y 1 m 1 β 1 θ 1 , θ 2 . By Lemma 2, ( H 2 ) , ( H 3 ) and (16), we deduce
sup v S ¯ θ 2 S θ 1 E v ( t ) = sup v S ¯ θ 2 S θ 1 λ 0 1 G 2 ( t , ϑ ) 1 q ( ϑ ) 0 1 G 1 ( ϑ , τ ) r ( τ ) g ( τ , v ( τ ) ) d τ d ϑ sup v S ¯ θ 2 S θ 1 λ 0 1 J 2 ( ϑ ) 1 q ( ϑ ) 0 1 J 1 ( τ ) r ( τ ) g ( τ , v ( τ ) ) d τ d ϑ sup v S ¯ θ 2 S θ 1 λ 0 1 J 2 ( ϑ ) 1 q ( ϑ ) I m 1 J 1 ( τ ) r ( τ ) g ( τ , v ( τ ) ) d τ d ϑ + sup v S ¯ θ 2 S θ 1 λ 0 1 J 2 ( ϑ ) 1 q ( ϑ ) 1 m 1 m 1 1 m 1 J 1 ( τ ) r ( τ ) g ( τ , v ( τ ) ) d τ d ϑ λ J 10 0 1 J 2 ( ϑ ) 1 q ( ϑ ) d ϑ + λ M 1 ( 0 1 J 2 ( ϑ ) 1 q ( ϑ ) d ϑ ) 1 m 1 m 1 1 m 1 J 1 ( τ ) r ( τ ) d τ λ J 10 ( 0 1 J 2 ( ϑ ) 1 q ( ϑ ) d ϑ ) ( 1 + M 1 0 1 r ( τ ) d τ ) <
where J 10 = m a x s [ 0 , 1 ] J 1 (s) > 0. This gives us that the operator E is well defined.
Next we show that E : S ¯ θ 2 S θ 1 S . Indeed, for any v S ¯ θ 2 S θ 1 and t [ 0 , 1 ] , we have
E v ( t ) = λ 0 1 G 2 ( t , ϑ ) 1 q ( ϑ ) 0 1 G 1 ( ϑ , τ ) r ( τ ) g ( τ , v ( τ ) ) d τ d ϑ λ 0 1 J 2 ( ϑ ) 1 q ( ϑ ) 0 1 G 1 ( ϑ , τ ) r ( τ ) g ( τ , v ( τ ) ) d τ d ϑ ,
and then
E v λ 0 1 J 2 ( ϑ ) 1 q ( ϑ ) 0 1 G 1 ( ϑ , τ ) r ( τ ) g ( τ , v ( τ ) ) d τ d ϑ .
By Lemma 2, we also obtain
E v ( t ) λ t β 1 0 1 J 2 ( ϑ ) 1 q ( ϑ ) 0 1 G 1 ( ϑ , τ ) r ( τ ) g ( τ , v ( τ ) ) d τ d ϑ t β 1 E v , t [ 0 , 1 ] ,
hence E v S . Then E ( S ¯ θ 2 S θ 1 ) S .
We prove now that E : S ¯ θ 2 S θ 1 S is a completely continuous operator. We assume that D S ¯ θ 2 S θ 1 is an (arbitrary) bounded set. By using the first part of the proof, we deduce that E ( D ) is uniformly bounded. We show next that E ( D ) is equicontinuous. For ϵ > 0 there exists a natural number m 2 3 satisfying the condition
sup v S ¯ θ 2 S θ 1 I m 2 r ( ϑ ) g ( ϑ , v ( ϑ ) ) d ϑ < ϵ 4 λ J 10 0 1 J 2 ( ϑ ) q ( ϑ ) d ϑ 1 .
Because G 2 ( s , ϑ ) is uniformly continuous on [ 0 , 1 ] × [ 0 , 1 ] , then for the above ϵ > 0 we deduce that there exists ρ > 0 such that for any t 1 , t 2 [ 0 , 1 ] with | t 1 t 2 | < ρ and ϑ [ 0 , 1 ] we have
| G 2 ( t 1 , ϑ ) G 2 ( t 2 , ϑ ) | < ϵ 2 λ r 0 J 10 M 2 0 1 1 q ( ϑ ) d ϑ 1 .
Here M 2 = max 1 , max g ( t , y ) , t 1 m 2 , m 2 1 m 2 , y 1 m 2 β 1 θ 1 , θ 2 and r 0 = max 1 , max r ( ϑ ) , ϑ 1 m 2 , m 2 1 m 2 .
Therefore for any v D , t 1 , t 2 [ 0 , 1 ] with | t 1 t 2 | < ρ , we find
| ( E v ) ( t 1 ) ( E v ) ( t 2 ) | = λ 0 1 ( G 2 ( t 1 , ϑ ) G 2 ( t 2 , ϑ ) ) 1 q ( ϑ ) 0 1 G 1 ( ϑ , τ ) r ( τ ) g ( τ , v ( τ ) ) d τ d ϑ 2 λ sup v D 0 1 J 2 ( ϑ ) 1 q ( ϑ ) I m 2 J 1 ( τ ) r ( τ ) g ( τ , v ( τ ) ) d τ d ϑ + λ sup v D 0 1 | G 2 ( t 1 , ϑ ) G 2 ( t 2 , ϑ ) | 1 q ( ϑ ) 1 m 2 m 2 1 m 2 J 1 ( τ ) r ( τ ) g ( τ , v ( τ ) ) d τ d ϑ ϵ 2 + ϵ 2 = ϵ .
So we obtain that E ( D ) is equicontinuous. By the Arzela-Ascoli theorem, we deduce that E : S ¯ θ 2 S θ 1 S is compact.
We prove next that E : S ¯ θ 2 S θ 1 S is continuous. We assume that v n , v 0 S ¯ θ 2 S θ 1 for all n 1 , and v n v 0 0 as n . Then θ 1 v n θ 2 for all n 0 . By ( H 3 ) , for ϵ > 0 there exists a natural number m 3 3 satisfying the condition
sup v S ¯ θ 2 S θ 1 I m 3 r ( ϑ ) g ( ϑ , v ( ϑ ) ) d ϑ < ϵ 4 λ J 10 0 1 J 2 ( ϑ ) 1 q ( ϑ ) d ϑ 1 .
Because g is uniformly continuous in 1 m 3 , m 3 1 m 3 × 1 m 3 β 1 θ 1 , θ 2 , we find
lim n | g ( ϑ , v n ( ϑ ) ) g ( ϑ , v 0 ( ϑ ) ) | = 0 , uniformly for ϑ 1 m 3 , m 3 1 m 3 .
Therefore by using the Lebesgue dominated convergence theorem, we deduce
1 m 3 m 3 1 m 3 r ( ϑ ) | g ( ϑ , v n ( ϑ ) ) g ( ϑ , v 0 ( ϑ ) ) | d ϑ 0 , as n .
So, for the above ϵ > 0 there exists another natural number m 4 such that for all n > m 4 we obtain
1 m 3 m 3 1 m 3 r ( ϑ ) | g ( ϑ , v n ( ϑ ) ) g ( ϑ , v 0 ( ϑ ) ) | d ϑ < ϵ 2 λ J 10 0 1 J 2 ( ϑ ) 1 q ( ϑ ) d ϑ 1 .
By (17) and (18) we conclude that
E v n E v 0 sup v S ¯ θ 2 S θ 1 λ 0 1 J 2 ( ϑ ) 1 q ( ϑ ) I m 3 J 1 ( τ ) r ( τ ) | g ( τ , v n ( ϑ ) ) g ( τ , v 0 ( τ ) ) | d τ d ϑ + sup v S ¯ θ 2 S θ 1 λ 0 1 J 2 ( ϑ ) 1 q ( ϑ ) 1 m 3 m 3 1 m 3 J 1 ( τ ) r ( τ ) | g ( τ , v n ( τ ) ) g ( τ , v 0 ( τ ) ) | d τ d ϑ ϵ 2 + ϵ 2 = ϵ , n > m 4 .
So we find that E : S ¯ θ 2 S θ 1 S is a continuous operator. Therefore E is a completely continuous operator. □
Under assumptions ( H 1 ) ( H 3 ) , by using the extension theorem, the operator E has a completely continuous extension (we also denoted it by E ) from S to S .
By using the Krein-Rutman theorem in the space C [ 0 , 1 ] and similar methods as those used in the proof of Lemma 3.2 from [1], we obtain the following lemma.
Lemma 5.
We suppose that assumptions ( H 1 ) and ( H 2 ) hold. Then the spectral radius r ( F ) 0 and F has an eigenfunction ζ 1 C { 0 } which corresponds to the principal eigenvalue r ( F ) , that is F ζ 1 = r ( F ) ζ 1 . So r ( F ) > 0 .
By using a similar approach as that used in the proof of Lemma 4 for operator E , we deduce that F ( S ) S .
Theorem 1.
We suppose that assumptions ( H 1 ) ( H 3 ) hold. If
0 g s : = lim sup y max t [ 0 , 1 ] g ( t , y ) y < g 0 i : = lim inf y 0 + min t [ 0 , 1 ] g ( t , y ) y ,
then for any λ 1 g 0 i r ( F ) , 1 g s r ( F ) there exists at least one positive solution v ( t ) , t [ 0 , 1 ] of problem (1), (2), (we use here the conventions 1 0 + = and 1 = 0 + ).
Proof. 
Let λ 1 g 0 i r ( F ) , 1 g s r ( F ) . For g 0 i , there exists ω 1 > 0 such that g ( τ , y ) y λ r ( F ) for all τ [ 0 , 1 ] and y [ 0 , ω 1 ] . Hence for any v S ω 1 we obtain
E v ( t ) = λ 0 1 G 2 ( t , ϑ ) 1 q ( ϑ ) 0 1 G 1 ( ϑ , τ ) r ( τ ) g ( τ , v ( τ ) ) d τ d ϑ 1 r ( F ) 0 1 G 2 ( t , ϑ ) 1 q ( ϑ ) 0 1 G 1 ( ϑ , τ ) r ( τ ) v ( τ ) d τ d ϑ = 1 r ( F ) F v ( t ) , t [ 0 , 1 ] .
We suppose that E has no fixed point on S ω 1 (if not, the proof is finished). We will prove that
v E v ν ζ 1 , v S ω 1 , ν 0 ,
where ζ 1 is given in Lemma 5. We assume that there exist v 1 S ω 1 and ν 1 0 such that v 1 E v 1 = ν 1 ζ 1 . Then ν 1 > 0 and v 1 = E v 1 + ν 1 ζ 1 ν 1 ζ 1 . We denote by ν 0 = sup { ν , v 1 ν ζ 1 } . Then ν 0 ν 1 , v 1 ν 0 ζ 1 and
E v 1 1 r ( F ) F v 1 1 r ( F ) ν 0 F ζ 1 = ν 0 ζ 1 .
So v 1 = E v 1 + ν 1 ζ 1 ν 0 ζ 1 + ν 1 ζ 1 = ( ν 0 + ν 1 ) ζ 1 , which represents a contradiction with the definition of ν 0 . Then relation (19) holds, and by [19] we conclude that
i ( E , S ω 1 , S ) = 0 .
For g s , we deduce that there exist η ( 0 , 1 ) and ω 2 > ω 1 such that g ( τ , y ) η 1 λ r ( F ) y for all τ [ 0 , 1 ] and y [ ω 2 , ) . We introduce the linear operator F 1 : X X by
F 1 v ( t ) = η 1 r ( F ) F v ( t ) = η r ( F ) 0 1 G 2 ( t , ϑ ) 1 q ( ϑ ) 0 1 G 1 ( ϑ , τ ) r ( τ ) v ( τ ) d τ d ϑ ,
for all t [ 0 , 1 ] and v X . The above operator F 1 is bounded, and F 1 ( S ) S . Because η ( 0 , 1 ) we find r ( F 1 ) = η < 1 . We consider the set U = { v S B ω 1 , ν v = E v with ν 1 } . For v S , we denote by K ( v ) = { t [ 0 , 1 ] , v ( t ) ω 2 } . Then for v S , we have v ( t ) ω 2 for all t K ( v ) , and so
g ( t , v ( t ) ) η 1 λ r ( F ) v ( t ) , t K ( v ) .
By relation (21) and the definition of linear operator F , we find for any v U , ν 1 and t [ 0 , 1 ] that
v ( t ) ν v ( t ) = ( E v ) ( t ) = λ 0 1 G 2 ( t , ϑ ) 1 q ( ϑ ) 0 1 G 1 ( ϑ , τ ) r ( τ ) g ( τ , v ( τ ) ) d τ d ϑ = λ 0 1 G 2 ( t , ϑ ) 1 q ( ϑ ) K ( v ) G 1 ( ϑ , τ ) r ( τ ) g ( τ , v ( τ ) ) d τ d ϑ + λ 0 1 G 2 ( t , ϑ ) 1 q ( ϑ ) [ 0 , 1 ] K ( v ) G 1 ( ϑ , τ ) r ( τ ) g ( τ , v ( τ ) ) d τ d ϑ η r ( F ) 0 1 G 2 ( t , ϑ ) 1 q ( ϑ ) K ( v ) G 1 ( ϑ , τ ) r ( τ ) v ( τ ) d τ d ϑ + λ 0 1 J 2 ( ϑ ) 1 q ( ϑ ) 0 1 J 1 ( τ ) r ( τ ) g ( τ , v ˜ ( τ ) ) d τ d ϑ η r ( F ) 0 1 G 2 ( t , ϑ ) 1 q ( ϑ ) 0 1 G 1 ( ϑ , τ ) r ( τ ) v ( τ ) d τ d ϑ + λ J 10 0 1 J 2 ( ϑ ) 1 q ( ϑ ) d ϑ M 3 = F 1 v ( t ) + λ J 10 0 1 J 2 ( ϑ ) 1 q ( ϑ ) d ϑ M 3 ,
where v ˜ ( τ ) = min { v ( τ ) , ω 2 } for any τ [ 0 , 1 ] ; this function satisfies the inequalities ω 1 τ β 1 v ˜ ( τ ) ω 2 for all τ [ 0 , 1 ] ; J 10 = sup s [ 0 , 1 ] J 1 ( s ) and M 3 = sup v S ¯ ω 2 S ω 1 0 1 r ( ϑ ) × g ( ϑ , v ( ϑ ) ) d ϑ , (as in the proof of Lemma 4 we find that M 3 < ). By the Gelfand formula we know that ( I F 1 ) 1 exists and ( I F 1 ) 1 = i = 1 F 1 i , which gives us ( I F 1 ) 1 ( S ) S . This together with (22) imply
v ( t ) ( I F 1 ) 1 λ J 10 M 3 0 1 J 2 ( ϑ ) 1 q ( ϑ ) d ϑ , t [ 0 , 1 ] ,
and so
v ( t ) λ J 10 M 3 0 1 J 2 ( ϑ ) 1 q ( ϑ ) d ϑ ( I F 1 ) 1 , t [ 0 , 1 ] ,
which implies that the set U is bounded. We choose now ω 3 > max { ω 2 , sup { v , v U } } . We find ν v E v for all v S ω 3 and ν 1 . By [19], we deduce that
i ( E , S ω 3 , S ) = 1 .
By (20), (23) and the properties of the fixed point index, we conclude that
i ( E , S ω 3 S ¯ ω 1 , S ) = i ( E , S ω 3 , S ) i ( E , S ω 1 , S ) = 1 .
Then operator E has at least one fixed point on S ω 3 S ¯ ω 1 which represents a positive solution of problem (1), (2). □

4. An Example

Let α = 4 3 , β = 7 2 ( n = 4 ), p = 2 , a = 11 10 , ξ = 1 3 , γ 0 = 9 4 , γ 1 = 1 6 , γ 2 = 5 3 , q ( τ ) = 1 τ + 1 for all τ [ 0 , 1 ] , H 1 ( τ ) = τ 4 for all τ [ 0 , 1 ] , H 2 ( τ ) = 1 3 , τ [ 0 , 1 2 ) ; 14 9 , τ [ 1 2 , 1 ] , r ( τ ) = 1 τ ( 1 τ ) 3 4 for all τ ( 0 , 1 ) , g ( τ , x ) = x 3 + τ 2 + 1 x 2 7 for all τ [ 0 , 1 ] and x > 0 .
We consider the fractional differential equation
D 0 + 4 / 3 1 t + 1 D 0 + 7 / 2 v ( t ) = λ t ( 1 t ) 3 4 v ( t ) 3 + t 2 + 1 v 2 ( t ) 7 , t ( 0 , 1 ) ,
with the boundary conditions
v ( 0 ) = v ( 0 ) = v ( 0 ) = 0 , D 0 + 7 / 2 v ( 0 ) = 0 , D 0 + 7 / 2 v ( 1 ) = 33 20 D 0 + 7 / 2 v 1 3 , D 0 + 9 / 4 v ( 1 ) = 1 4 0 1 D 0 + 1 / 6 v ( t ) d t + 11 9 D 0 + 5 / 3 v 1 2 .
We have Δ 1 0.23730259 > 0 and Δ 2 1.15334282 > 0 , and so assumption ( H 1 ) is satisfied. In addition we find 0 1 r ( ϑ ) d ϑ 4.44288294 ( 0 , ) , and then assumption ( H 2 ) is also satisfied.
For 0 < θ 1 < θ 2 , v S ¯ θ 2 S θ 1 and I m = 0 , 1 m m 1 m , 1 , we obtain
Λ m = I m r ( ϑ ) g ( ϑ , v ( ϑ ) ) d ϑ = I m 1 ϑ ( 1 ϑ ) 3 4 v ( ϑ ) 3 + ϑ 2 + 1 v 2 ( ϑ ) 7 d ϑ I m 1 ϑ ( 1 ϑ ) 3 4 θ 2 3 + 1 + 1 ( ϑ 5 / 2 θ 1 ) 2 7 d ϑ = ( θ 2 3 + 1 ) I m d ϑ ϑ ( 1 ϑ ) 3 4 + 1 θ 1 2 7 I m 1 ϑ 27 / 28 ( 1 ϑ ) 3 / 4 d ϑ ,
and then lim m sup v S ¯ θ 2 S θ 1 Λ m = 0 , because g 1 ( ϑ ) = 1 ϑ 1 / 4 ( 1 ϑ ) 3 / 4 L 1 ( 0 , 1 ) and g 2 ( ϑ ) = 1 ϑ 27 / 28 ( 1 ϑ ) 3 / 4 L 1 ( 0 , 1 ) . So assumption ( H 3 ) is satisfied. In addition we find g s = 0 and g 0 i = . Then by applying Theorem 1, we conclude that for any λ ( 0 , ) there exists at least one positive solution v ( t ) , t [ 0 , 1 ] of problem (24), (25), satisfying the condition v ( t ) t 5 / 2 v for all t [ 0 , 1 ] .

5. Conclusions

In this paper we study the fractional differential Equation (1) with sequential derivatives and a positive parameter, subject to general nonlocal boundary conditions (2) containing Riemann-Stieltjes integrals and fractional derivatives of various orders. The function g from the equation is a nonnegative continuous function and it may be singular at the second variable in the point 0, and the function r is also nonnegative continuous one and it may be singular at the points t = 0 and t = 1 . The general boundary conditions (2) cover some symmetry cases (as periodicity conditions for derivatives) for the unknown function. By using an application of the Krein-Rutman theorem in the space C [ 0 , 1 ] , and some theorems from the fixed point index theory, we prove that problem (1), (2) has at least one positive solution v ( t ) , t [ 0 , 1 ] . To illustrate our main existence theorem, we finally present an example.

Author Contributions

Conceptualization, R.L.; Formal analysis, A.T. and R.L.; Methodology, A.T. and R.L. Both authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Tudorache, A.; Luca, R. On a singular Riemann–Liouville fractional boundary value problem with parameters. Nonlinear Anal. Model. Control 2021, 26, 151–168. [Google Scholar] [CrossRef]
  2. Henderson, J.; Luca, R.; Tudorache, A. Positive solutions for a system of coupled semipositone fractional boundary value problems with sequential fractional derivatives. Mathematics 2021, 9, 753. [Google Scholar] [CrossRef]
  3. Ahmad, B.; Alsaedi, A.; Ntouyas, S.K.; Shammakh, W. On more general boundary value problems involving sequential fractional derivatives. Adv. Differ. Equ. 2019, 290, 1–25. [Google Scholar] [CrossRef]
  4. Fazli, H.; Nieto, J.J.; Bahrami, F. On the existence and uniqueness results for nonlinear sequential fractional differential equations. Appl. Comput. Math. 2018, 17, 36–47. [Google Scholar]
  5. Su, X.; Zhang, S.; Zhang, L. Periodic boundary value problem involving sequential fractional derivatives in Banach space. AIMS Math. 2020, 5, 7510–7530. [Google Scholar] [CrossRef]
  6. Wei, Z.; Li, Q.; Che, J. Initial value problems for fractional differential equations involving Riemann–Liouville sequential fractional derivative. J. Math. Anal. Appl. 2010, 367, 260–272. [Google Scholar] [CrossRef] [Green Version]
  7. Ye, H.; Huang, R. Initial value problem for nonlinear fractional differential equations with sequential fractional derivative. Adv. Differ. Equ. 2015, 291, 1–13. [Google Scholar] [CrossRef] [Green Version]
  8. Ahmad, B.; Alsaedi, A.; Ntouyas, S.K.; Tariboon, J. Hadamard-Type Fractional Differential Equations, Inclusions and Inequalities; Springer: Cham, Switzerland, 2017. [Google Scholar]
  9. Ahmad, B.; Henderson, J.; Luca, R. Boundary Value Problems for Fractional Differential Equations and Systems, Trends in Abstract and Applied Analysis 9; World Scientific: Hackensack, NJ, USA, 2021. [Google Scholar]
  10. Baleanu, D.; Diethelm, K.; Scalas, E.; Trujillo, J.J. Fractional Calculus Models and Numerical Methods; Series on Complexity, Nonlinearity and Chaos; World Scientific: Boston, MA, USA, 2012. [Google Scholar]
  11. Das, S. Functional Fractional Calculus for System Identification and Controls; Springer: New York, NY, USA, 2008. [Google Scholar]
  12. Henderson, J.; Luca, R. Boundary Value Problems for Systems of Differential, Difference and Fractional Equations. Positive Solutions; Elsevier: Amsterdam, The Netherlands, 2016. [Google Scholar]
  13. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations, North-Holland Mathematics Studies, 204; Elsevier Science B.V.: Amsterdam, The Netherlands, 2006. [Google Scholar]
  14. Klafter, J.; Lim, S.C.; Metzler, R. (Eds.) Fractional Dynamics in Physics; World Scientific: Singapore, 2011. [Google Scholar]
  15. Podlubny, I. Fractional Differential Equations; Academic Press: San Diego, CA, USA, 1999. [Google Scholar]
  16. Sabatier, J.; Agrawal, O.P.; Machado, J.A.T. (Eds.) Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering; Springer: Dordrecht, The Netherlands, 2007. [Google Scholar]
  17. Samko, S.G.; Kilbas, A.A.; Marichev, O.I. Fractional Integrals and Derivatives. Theory and Applications; Gordon and Breach: Yverdon, Switzerland, 1993. [Google Scholar]
  18. Zhou, Y. Basic Theory of Fractional Differential Equations; World Scientific: Singapore, 2014. [Google Scholar]
  19. Amann, H. Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces. SIAM Rev. 1976, 18, 620–709. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Tudorache, A.; Luca, R. Positive Solutions of a Fractional Boundary Value Problem with Sequential Derivatives. Symmetry 2021, 13, 1489. https://doi.org/10.3390/sym13081489

AMA Style

Tudorache A, Luca R. Positive Solutions of a Fractional Boundary Value Problem with Sequential Derivatives. Symmetry. 2021; 13(8):1489. https://doi.org/10.3390/sym13081489

Chicago/Turabian Style

Tudorache, Alexandru, and Rodica Luca. 2021. "Positive Solutions of a Fractional Boundary Value Problem with Sequential Derivatives" Symmetry 13, no. 8: 1489. https://doi.org/10.3390/sym13081489

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop