Next Article in Journal
On the Nonlinear Integro-Differential Equations
Previous Article in Journal
Fractional Integral Inequalities for Exponentially Nonconvex Functions and Their Applications
Previous Article in Special Issue
Uncertainty Quantification of Random Microbial Growth in a Competitive Environment via Probability Density Functions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Monotone Iterative Method for ψ-Caputo Fractional Differential Equation with Nonlinear Boundary Conditions

by
Zidane Baitiche
1,†,
Choukri Derbazi
1,†,
Jehad Alzabut
2,3,*,†,
Mohammad Esmael Samei
4,5,†,
Mohammed K. A. Kaabar
6,7,*,† and
Zailan Siri
6,*,†
1
Laboratoire Equations Differntielles, Department of Mathematics, Faculty of Exact Sciences, University Frères Mentouri, Constantine 25000, Algeria
2
Department of Mathematics and General Sciences, Prince Sultan University, Riyadh 11586, Saudi Arabia
3
Department of Industrial Engineering, OSTİM Technical University, Ankara 06374, Turkey
4
Department of Mathematics, Faculty of Basic Science, Bu-Ali Sina University, Hamedan 65178, Iran
5
Department of Medical Research, China Medical University Hospital, China Medical University, Taichung 40402, Taiwan
6
Institute of Mathematical Sciences, Faculty of Science, University of Malaya, Kuala Lumpur 50603, Malaysia
7
Department of Mathematics and Statistics, Washington State University, Pullman, WA 99163, USA
*
Authors to whom correspondence should be addressed.
These authors contributed equally to this work.
Fractal Fract. 2021, 5(3), 81; https://doi.org/10.3390/fractalfract5030081
Submission received: 29 May 2021 / Revised: 19 July 2021 / Accepted: 27 July 2021 / Published: 29 July 2021
(This article belongs to the Special Issue Fractional Order Systems: Deterministic and Stochastic Analysis)

Abstract

:
The main contribution of this paper is to prove the existence of extremal solutions for a novel class of ψ -Caputo fractional differential equation with nonlinear boundary conditions. For this purpose, we utilize the well-known monotone iterative technique together with the method of upper and lower solutions. Finally, we provide an example along with graphical representations to confirm the validity of our main results.

1. Introduction

In the mathematical modeling of real life phenomena, the study of fractional differential equations has gained notable importance among interested researchers. It is realized that the use of fractional calculus methods is quite prominent in modeling various processes. The main reason for the widespread use (applications) of fractional operators is the fact that, unlike “integer” operators, these operators possess non-local behavior which enables us to trace the past effects of the involved phenomena [1,2,3,4,5]. Based on some classical approaches, such as Riemann-Liouville, Caputo, and Hadamard fractional operators, there are many new definitions which have attempted to provide a general platform that includes these classical operators [6,7,8]. For the sake of consolidating these different definitions under one single fractional operator, the ψ -fractional operator has been introduced [9,10]. The main feature of the the ψ -fractional operator is that the function in its integral kernel an be adapted to accommodate other definitions when replacing it by specific functions. Other significant features include non-local behavior and the semigroup property which are clearly preserved. It has been recognized that these types of operators have been successfully used to describe and model many real life phenomena; therefore, several related research works have been produced [11,12,13]. Along with the recent developments in fractional differential equations, researchers have contributed many research studies that discus the solutions’ behavior in terms of different types of fractional differential equations [14,15,16,17,18,19,20,21,22,23,24,25,26,27].
There are different types of fractional differential equations involving different fractional operators, which are associated with the various types of initial and boundary conditions that have been investigated by many researchers in various research works [28,29,30]. By exploring the literature, one can figure out that the existence of solutions has been the main target of investigations. In order to prove this, researchers often utilize some fixed point hypothesis along with certain mathematical inequalities. To the best of our observations, the monotone iterative technique combined with the method of upper and lower solutions has not been used to study the existence of solutions for ψ -Caputo fractional differential equation with nonlinear boundary conditions. For more expository details on monotone iterative method, the readers can consult some interesting research works [31,32,33,34,35].
Oriented by the above discussion, we study the following ψ -Caputo fractional differential equation (CpFDE) with nonlinear boundary conditions:
c D a + τ ; ψ c D a + λ ; ψ σ z ( ϑ ) = F ϑ , z ( ϑ ) , c D a + λ ; ψ ( ϑ ) , H c D a + λ ; ψ z ( a ) , c D a + λ ; ψ z ( b ) = 0 , G ( z ( a ) , z ( b ) ) = 0 ,
for ϑ Ω : =   [ a , b ] , where c D a + τ ; ψ and c D a + λ ; ψ denote the ψ -Caputo fractional derivatives of order τ and λ , respectively, such that τ , λ ( 0 , 1 ] , σ > 0 , F C ( Ω × R 2 , R ) , G , H C ( R 2 , R ) . It is worth mentioning here that, unlike the above mentioned relevant works, the CpFDE (1) is subject to nonlinear boundary conditions. The above equation is the deterministic fractional differential equation, therefore, a fractional differential equation with its deterministic solution is only considered in this work without the involvement of any random processes.
The remaining part of the paper is organized as follows: In Section 2, we present some definitions and lemmas that will be used to prove our results. In Section 3, we prove our main results, which conveys the existence of extremal solutions for CpFDE (1). For this purpose, we use the monotone iterative method together with the technique of upper and lower solutions. In Section 4, we apply our results by providing an example and illustrate the solutions of behavior graphically.

2. Relevant Preliminaries

In the current section, we state some basic concepts of fractional calculus that are related to our work. Let Ω = [ a , b ] , 0 a < b < be a finite interval and ψ : Ω R be an increasing differentiable function such that ψ ( ϑ ) 0 , for all ϑ Ω .
Definition 1
([9]). The Riemann–Lebesgue (RL) fractional integral of order τ > 0 for an integrable function z : Ω R with respect to ψ is described by the following:
I a + τ ; ψ z ( ϑ ) = 1 Γ ( τ ) a ϑ ψ ( η ) ψ ( ϑ ) ψ ( η ) τ 1 z ( η ) d η ,
where Γ ( τ ) = 0 + ϑ τ 1 e ϑ d ϑ , τ > 0 is the Gamma function.
Definition 2
([9]). Let ψ , z C n ( Ω , R ) . The RL fractional derivative of a function z of order n 1 < τ < n with respect to ψ is given by the following:
D a + τ ; ψ z ( ϑ ) = D ϑ ψ ( ϑ ) n I a + n τ ; ψ z ( ϑ ) = 1 Γ ( n τ ) D ϑ ψ ( ϑ ) n a ϑ ψ ( η ) ψ ( ϑ ) ψ ( η ) n τ 1 z ( η ) d η ,
where n = [ τ ] + 1 , n N and D ϑ = d d ϑ .
Definition 3
([9]). Let ψ , z C n ( Ω , R ) . The Caputo fractional derivative of z of order n 1 < τ < n with respect to ψ is defined by the following
c D a + τ ; ψ z ( ϑ ) = I a + n τ ; ψ z ψ [ n ] ( ϑ ) ,
where n = [ τ ] + 1 for τ N , n = τ for τ N and z ψ [ n ] ( ϑ ) = D ϑ ψ ( ϑ ) n z ( ϑ ) . From the definition, it is clear that the following is the case.
c D a + τ ; ψ z ( ϑ ) = a ϑ ψ ( η ) ψ ( ϑ ) ψ ( η ) n τ 1 Γ ( n τ ) z ψ [ n ] ( η ) d η , τ N , z ψ [ n ] ( ϑ ) , τ N .
Some basic properties of the ψ -fractional operators are listed in the following Lemma.
Lemma 1
([9]). Let τ, λ > 0 , and z C ( Ω , R ) . Then for each ϑ Ω , we have the following.
  • c D a + τ ; ψ I a + τ ; ψ z ( ϑ ) = z ( ϑ ) ,
  • I a + τ ; ψ c D a + τ ; ψ z ( ϑ ) = z ( ϑ ) z ( a ) for 0 < τ 1 ,
  • I a + τ ; ψ ( ψ ( ϑ ) ψ ( a ) ) λ 1 = Γ ( λ ) Γ ( λ + τ ) ( ψ ( ϑ ) ψ ( a ) ) λ + τ 1 ,
  • c D a + τ ; ψ ( ψ ( ϑ ) ψ ( a ) ) λ 1 = Γ ( λ ) Γ ( λ τ ) ( ψ ( ϑ ) ψ ( a ) ) λ τ 1 ,
  • c D a + τ ; ψ ( ψ ( ϑ ) ψ ( a ) ) k = 0 , for all k { 0 , , n 1 } , n 1 .
Definition 4
([36]). The Mittag–Leffler functions (MLFs) of one and two parameters are given by:
E ν ( ϖ ) = k = 0 ϖ k Γ ( ν k + 1 ) , ( ϖ R , ν > 0 ) ,
and
E ν , λ ( ϖ ) = k = 0 ϖ k Γ ( ν k + λ ) , ( ν , λ > 0 , ϖ R ) ,
respectively. It is obvious that E 1 , 1 ( ϖ ) = E 1 ( ϖ ) = e ϖ .
We denote the set X by the following.
X = C λ ( Ω ) = x : c D a + λ ; ψ x ( ξ ) C ( Ω ) .
Equipped with the norm, we have the following:
x X = x + c D a + λ ; ψ x ,
where x = max ξ Ω | x ( ξ ) | and one can conclude that ( X , · X ) is a Banach space.
Lemma 2.
For a given C ( Ω , R ) , λ , τ ( 0 , 1 ] and σ > 0 , the linear fractional initial value problem is as follows:
c D a + τ ; ψ c D a + λ ; ψ σ z ( ϑ ) = ( ϑ ) , c D a + λ ; ψ z ( a ) = z λ , z ( a ) = z a ,
for ϑ Ω is equivalent to the following Volterra integral equation.
z ( ϑ ) = z a + z λ σ z a Γ ( λ + 1 ) ( ψ ( ϑ ) ψ ( a ) ) λ + σ I a + λ ; ψ z ( ϑ ) + I a + τ + λ ; ψ ( ϑ ) .
Moreover, the explicit solution of the Volterra integral Equation (7) can be represented by the following.
z ( ϑ ) = z a + z λ ψ ( ϑ ) ψ ( a ) λ E λ , λ + 1 σ ψ ( ϑ ) ψ ( a ) λ + a ϑ ψ ( η ) ψ ( ϑ ) ψ ( η ) λ + τ 1 × E λ , λ + τ σ ψ ( ϑ ) ψ ( η ) λ ( η ) d η .
Proof. 
Applying the ψ -Riemann-Liouville fractional integral of order τ to both sides of (6) and by using Lemma 1, we obtain the following.
c D a + λ ; ψ z ( ϑ ) = z λ + σ ( z ( ϑ ) z a ) + I a + τ ; ψ ( ϑ ) .
Hence, we have the following.
z ( ϑ ) = z a + z λ σ z a Γ ( λ + 1 ) ( ψ ( ϑ ) ψ ( a ) ) λ + σ I a + λ ; ψ z ( ϑ ) + I a + τ + λ ; ψ ( ϑ ) .
The converse can be proven by direct computation. Now, we apply the method of successive approximations in order to prove that the integral Equation (7) can be expressed by the following.
z ( ϑ ) = z a + z λ ( ψ ( ϑ ) ψ ( a ) ) λ E λ , λ + 1 σ ( ψ ( ϑ ) ψ ( a ) ) λ + a ϑ ψ ( η ) ( ψ ( ϑ ) ψ ( η ) ) λ + τ 1 × E λ , λ + τ σ ( ψ ( ϑ ) ψ ( η ) ) λ ( η ) d η .
For this, we set the following.
z 0 ( ϑ ) = z a + z λ σ z a Γ ( λ + 1 ) ( ψ ( ϑ ) ψ ( a ) ) λ , z m ( ϑ ) = z 0 ( ϑ ) + σ I a + λ ; ψ z m 1 ( ϑ ) + I a + τ + λ ; ψ ( ϑ ) .
It follows from Equation (11) and Lemma 1 that the following is the case.
z 1 ( ϑ ) = z 0 ( ϑ ) + σ I a + λ ; ψ z 0 ( ϑ ) + I a + λ + τ ; ψ ( ϑ ) = z a + z λ σ z a Γ ( λ + 1 ) ( ψ ( ϑ ) ψ ( a ) ) λ + σ z a Γ ( λ + 1 ) ψ ( ϑ ) ψ ( a ) λ + σ z λ σ z a Γ ( 2 λ + 1 ) ( ψ ( ϑ ) ψ ( a ) ) 2 λ + I a + λ + τ ; ψ ( ϑ ) .
Similarly, Equations (11) and (12) and Lemma 1 yield the following.
z 2 ( ϑ ) = z 0 ( ϑ ) + σ I a + λ ; ψ z 1 ( ϑ ) + I a + λ + τ ; ψ ( ϑ ) = z a + z λ σ z a Γ ( λ + 1 ) ( ψ ( ϑ ) ψ ( a ) ) λ + σ I a + λ ; ψ ( z a + z λ σ z a Γ ( λ + 1 ) ( ψ ( ϑ ) ψ ( a ) ) λ + σ z a Γ ( λ + 1 ) ( ψ ( ϑ ) ψ ( a ) ) λ + σ z λ σ z a Γ ( 2 λ + 1 ) ( ψ ( ϑ ) ψ ( a ) ) 2 λ + I a + λ + τ ; ψ ( ϑ ) ) + I a + λ + τ ; ψ ( ϑ ) = z a + k = 0 2 σ k Γ ( k λ + 1 ) ( ψ ( ϑ ) ψ ( a ) ) k λ + ( z λ σ z a ) k = 0 2 σ k Γ ( k λ + λ + 1 ) ( ψ ( ϑ ) ψ ψ ( a ) ) k λ + λ + σ I a + 2 λ + τ ; ψ ( ϑ ) + I a + λ + τ ; ψ ( ϑ ) = z a + k = 0 2 σ k Γ ( k λ + 1 ) ( ψ ( ϑ ) ψ ( a ) ) k λ + ( z λ σ z a ) k = 0 2 σ k Γ ( k λ + λ + 1 ) ( ψ ( ϑ ) ψ ( a ) ) k λ + λ + a ϑ ψ ( η ) k = 1 2 σ k 1 ψ ( ϑ ) ψ ( η ) k λ + τ 1 Γ ( k λ + τ ) ( η ) d η .
In continuing this process, we derive the following relation.
z m ( ϑ ) = z a + k = 0 m σ k Γ ( k λ + 1 ) ( ψ ( ϑ ) ψ ( a ) ) k λ + ( z λ σ z a ) k = 0 m σ k Γ ( k λ + λ + 1 ) ( ψ ( ϑ ) ψ ( a ) ) k λ + λ + a ϑ ψ ( η ) k = 1 m σ k 1 ( ψ ( ϑ ) ψ ( η ) ) k λ + τ 1 Γ ( k λ + τ ) ( η ) d η = z a + k = 0 m σ k Γ ( k λ + 1 ) ( ψ ( ϑ ) ψ ( a ) ) k λ + ( z λ σ z a ) σ k = 1 m σ k Γ ( k λ + 1 ) ( ψ ( ϑ ) ψ ( a ) ) k λ + a ϑ ψ ( η ) ( ψ ( ϑ ) ψ ( η ) ) λ + τ 1 k = 1 m σ k 1 ψ ( ϑ ) ψ ( η ) k λ λ Γ ( k λ + τ ) ( η ) d η .
Taking the limit as m , we obtain the following explicit solution z ( ϑ ) of the integral Equation (7).
z ( ϑ ) = z a + k = 0 σ k Γ ( k λ + 1 ) ( ψ ( ϑ ) ψ ( a ) ) k λ + ( z λ σ z a ) σ k = 1 σ k Γ ( k λ + 1 ) ( ψ ( ϑ ) ψ ( a ) ) k λ + a ϑ ψ ( η ) ( ψ ( ϑ ) ψ ( η ) ) λ + τ 1 k = 0 σ k ( ψ ( ϑ ) ψ ( η ) ) k λ Γ ( k λ + λ + τ ) ( η ) d η = z a + z λ σ k = 1 σ k Γ ( k λ + 1 ) ( ψ ( ϑ ) ψ ( a ) ) k λ + a ϑ ψ ( η ) ( ψ ( ϑ ) ψ ( η ) ) λ + τ 1 E λ , λ + τ σ ( ψ ( ϑ ) ψ ( η ) ) λ ( η ) d η = z a + z λ ( ψ ( ϑ ) ψ ( a ) ) λ E λ , λ + 1 σ ( ψ ( ϑ ) ψ ( a ) ) λ + a ϑ ψ ( η ) ( ψ ( ϑ ) ψ ( η ) ) λ + τ 1 E λ , λ + τ σ ( ψ ( ϑ ) ψ ( η ) ) λ ( η ) d η .
Then, the proof is completed. □
Lemma 3
(Comparison Result). Let λ, τ ( 0 , 1 ] , and σ > 0 . If Δ C ( Ω , R ) fulfills the following inequalities:
c D a + τ ; ψ c D a + λ ; ψ σ Δ ( ϑ ) 0 , ϑ ( a , b ] , Δ ( a ) 0 , c D a + λ ; ψ Δ ( a ) 0 ,
then Δ ( ϑ ) 0 and c D a + λ ; ψ Δ ( ϑ ) 0 for all ϑ Ω .
Proof. 
Since E ρ 1 , ρ 2 ( x ) 0 for ρ 1 ( 0 , 1 ] , ρ 2 ρ 1 , x R , we allow the following:
( ϑ ) = c D a + τ ; ψ c D a + λ ; ψ σ Δ ( ϑ ) 0 ,
Δ ( a ) = z a 0 and c D a + λ ; ψ Δ ( a ) = z λ 0 in Lemma 2. Then, it follows by Equations (8) and (9) that the conclusion of Lemma 3 holds. □
Let ( X , T ) be a topological Hausdorff space and g 1 , g 2 : X R be a lower semi-continuous function and an upper semi-continuous function, respectively. This means that for every r R , the subsets of the following:
g 1 > r : =   x X : g 1 ( x ) > r , g 2 < r : =   x X : g 2 ( x ) < r ,
are open in X . Suppose that g 1 ( x ) g 2 ( x ) for all x X and we allow the interval [ g 1 , g 2 ] consist of those upper or lower semi-continuous functions h : X R such that g 1 ( x ) h ( x ) g 2 ( x ) for all x X . Let Ω : [ g 1 , g 2 ] [ g 1 , g 2 ] be a monotone mapping in the sense that g 1 h 1 h 2 g 2 implies g 1 Ω ( h 1 ) Ω ( h 2 ) g 2 . In addition, suppose that the sequence { Ω ( h n ) } n N [ g 1 , g 2 ] consist of lower semi-continuous functions that increase pointwise to Ω ( h ) whenever the sequence { h n } n N [ g 1 , g 2 ] consist of lower semi-continuous functions that increase pointwise to h. A similar assumption is made when the sequence { h n } n N [ g 1 , g 2 ] consist of upper semi-continuous functions, which decreases pointwise to h [ g 1 , g 2 ] . In particular, assume that Ω ( h ) is lower semi-continuous whenever h is lower semi-continuous and that Ω ( h ) is upper semi-continuous whenever h is so. Then for every n N , we have the following.
g 1 Ω n ( g 1 ) Ω n + 1 ( g 1 ) Ω n + 1 ( g 2 ) Ω n ( g 2 ) g 2 .
Substitute ω 1 = sup n N Ω n ( g 1 ) and ω 2 = sup n N Ω n ( g 2 ) . Then, ω 1 and ω 2 belong to the interval [ g 1 , g 2 ] , the function ω 1 is lower semi-continuous, the function ω 2 is upper semi-continuous, and the equalities Ω ( ω 1 ) = ω 1 and Ω ( ω 2 ) = ω 2 are valid. If the monotone mapping Ω has at most one fixed point, then ω 1 = ω 2 = Ω ( ω 1 ) = Ω ( ω 2 ) is a continuous function. When the mapping Ω : [ g 1 , g 2 ] [ g 1 , g 2 ] does not posses this sequential continuity property, then one needs a more subtle version of the Tarski–Knaster fixed point theorem. More precisely, define the functions h p r e f i x and h p o s t f i x , respectively, by the following:
h prefix = inf   h [ g 1 , g 2 ] Ω ( h ) h , h is upper semi-continuous ,
and the following.
h postfix = sup   h [ g 1 , g 2 ] Ω ( h ) h , h is lower semi-continuous .
Then, we obtain the following.
Ω ( h prefix ) = h prefix inf n N Ω n ( g 2 ) , Ω ( h postfix ) = h postfix sup n N Ω n ( g 1 ) .
Moreover, the function h prefix is upper semi-continuous and the function h postfix is lower semi-continuous. Consequently, if Ω has at most one fixed point, then
Ω ( h prefix ) = h prefix = Ω ( h postfix ) = h postfix ,
and, therefore, this unique fixed point is a continuous function.

3. Main Results

In this section, we prove the existence of extremal solutions for problem (1). Before proceeding, we provide the definitions of lower and upper solutions of the problem (1).
Definition 5.
A function z 0 X is called a lower solution of (1), if it satisfies the following:
c D a + τ ; ψ c D a + λ ; ψ σ z 0 ( ϑ ) F ϑ , z 0 ( ϑ ) , c D a + λ ; ψ z 0 ( ϑ ) , H c D a + λ ; ψ z 0 ( a ) , c D a + λ ; ψ z 0 ( b ) 0 , G z 0 ( a ) , z 0 ( b ) 0 ,
for ϑ Ω .
Definition 6.
A function z ˜ 0 X is called an upper solution of (1), if it satisfies the following:
c D a + τ ; ψ c D a + λ ; ψ σ z ˜ 0 ( ϑ ) F ϑ , z ˜ 0 ( ϑ ) , c D a + λ ; ψ z ˜ 0 ( ϑ ) , H c D a + λ ; ψ z ˜ 0 ( a ) , c D a + λ ; ψ z ˜ 0 ( b ) 0 , G z ˜ 0 ( a ) , z ˜ 0 ( b ) 0 ,
for each ϑ Ω .
Theorem 1.
Let F : Ω × R 2 R be a continuous function such that the following assumptions hold:
(H1) 
There exist z 0 and z ˜ 0 as lower and upper solutions of (1) in X , respectively, with z 0 ( ϑ ) z ˜ 0 ( ϑ ) and;
c D a + λ ; ψ z 0 ( ϑ ) c D a + λ ; ψ z ˜ 0 ( ϑ ) , ϑ Ω .
(H2) 
F satisfies the following condition:
F ( ϑ , y ( ϑ ) , c D a + λ ; ψ y ( ϑ ) ) F ( ϑ , z ( ϑ ) , c D a + λ ; ψ z ( ϑ ) ) ,
for y 0 ( ϑ ) y ( ϑ ) z ( ϑ ) z 0 ( ϑ ) and the following:
c D a + λ ; ψ y 0 ( ϑ ) c D a + λ ; ψ y ( ϑ ) c D a + λ ; ψ z ( ϑ ) c D a + λ ; ψ z 0 ( ϑ ) ,
for each ϑ Ω .
(H3) 
There exist constants c > 0 and d 0 , such that for z 0 ( a ) ξ 1 ξ 2 z ˜ 0 ( a ) and z 0 ( b ) ζ 1 ζ 2 z ˜ 0 ( b ) ,
G ( ξ 2 , ζ 2 ) G ( ξ 1 , ζ 1 ) c ( ξ 2 ξ 1 ) d ( ζ 2 ζ 1 ) .
(H4) 
There exist constants e > 0 and f 0 , such that for the following:
c D a + λ ; ψ z 0 ( a ) ξ 1 ξ 2 c D a + λ ; ψ z ˜ 0 ( a ) ,
c D a + λ ; ψ z 0 ( b ) ζ 1 ζ 2 c D a + λ ; ψ z ˜ 0 ( b ) ,
and the following obtains.
H ( ξ 2 , ζ 2 ) H ( ξ 1 , ζ 1 ) e ( ξ 2 ξ 1 ) f ( ζ 2 ζ 1 ) .
Then, there exist monotone iterative sequences { z n } and { z ˜ n } ,which converge uniformly on Ω to the extremal solutions of (1) in the sector [ z 0 , z ˜ 0 ] , where
z 0 , z ˜ 0 = z X : z 0 ( ϑ ) z ( ϑ ) z ˜ 0 ( ϑ ) , ϑ Ω .
Proof. 
For any z 0 , z ˜ 0 X , we define the following:
c D a + τ ; ψ c D a + λ ; ψ σ z n + 1 ( ϑ ) = F ϑ , z n ( ϑ ) , c D a + λ ; ψ z n ( ϑ ) , ϑ Ω , c D a + λ ; ψ z n + 1 ( a ) = c D a + λ ; ψ z n ( a ) 1 e H c D a + λ ; ψ z n ( a ) , c D a + λ ; ψ z n ( b ) , z n + 1 ( a ) = z n ( a ) 1 c G z n ( a ) , z n ( b ) ,
and the following as well.
c D a + τ ; ψ c D a + λ ; ψ σ z ˜ n + 1 ( ϑ ) = F ϑ , z ˜ n ( ϑ ) , c D a + λ ; ψ z ˜ n ( ϑ ) , ϑ Ω , c D a + λ ; ψ z ˜ n + 1 ( a ) = c D a + λ ; ψ z ˜ n ( a ) 1 e H c D a + λ ; ψ z ˜ n ( a ) , c D a + λ ; ψ z ˜ n ( b ) , z ˜ n + 1 ( a ) = z ˜ n ( a ) 1 c G z ˜ n ( a ) , z ˜ n ( b ) .
By Lemma 2, we know that (13) and (14) have unique solutions in X that are the following.
z n + 1 ( ϑ ) = z n ( a ) 1 c G z n ( a ) , z n ( b ) + c D a + λ ; ψ z n ( a ) 1 e H c D a + λ ; ψ z n ( a ) , c D a + λ ; ψ z n ( b ) × ( ψ ( ϑ ) ψ ( a ) ) λ E λ , λ + 1 σ ( ψ ( ϑ ) ψ ( a ) ) λ + a ϑ ψ ( η ) ψ ( ϑ ) ψ ( η ) λ + τ 1 × E λ , λ + τ σ ψ ( ϑ ) ψ ( η ) λ F η , z n ( η ) , c D a + λ ; ψ z n ( η ) d η , z ˜ n + 1 ( ϑ ) = z ˜ n ( a ) 1 c G z ˜ n ( a ) , z ˜ n ( b ) + c D a + λ ; ψ z ˜ n ( a ) 1 e H ( c D a + λ ; ψ z ˜ n ( a ) , c D a + λ ; ψ z ˜ n ( b ) ) × ( ψ ( ϑ ) ψ ( a ) ) λ E λ , λ + 1 σ ( ψ ( ϑ ) ψ ( a ) ) λ + a ϑ ψ ( η ) ( ψ ( ϑ ) ψ ( η ) ) λ + τ 1 × E λ , λ + τ σ ( ψ ( ϑ ) ψ ( η ) ) λ F η , z ˜ n ( η ) , c D a + λ ; ψ z ˜ n ( η ) d η .
First, we show that the sequences z n ( ϑ ) and z ˜ n ( ϑ ) ( n 1 ) are lower and upper solutions of (1), respectively, and z n ( ϑ ) and z ˜ n ( ϑ ) ( n 1 ) satisfy the following relations:
z 0 ( ϑ ) z 1 ( ϑ ) z n ( ϑ ) z ˜ n ( ϑ ) z ˜ 1 ( ϑ ) z ˜ 0 ( ϑ ) ,
for ϑ Ω and the following is the case:
c D a + λ ; ψ z 0 ( ϑ ) c D a + λ ; ψ z 1 ( ϑ ) c D a + λ ; ψ z n ( ϑ ) c D a + λ ; ψ z ˜ n ( ϑ ) c D a + λ ; ψ z ˜ 1 ( ϑ ) c D a + λ ; ψ z ˜ 0 ( ϑ ) ,
for ϑ Ω , respectively. Now, we show that z 0 ( ϑ ) z 1 ( ϑ ) z ˜ 1 ( ϑ ) z ˜ 0 ( ϑ ) , for ϑ Ω and
c D a + λ ; ψ z 0 ( ϑ ) c D a + λ ; ψ z 1 ( ϑ ) c D a + λ ; ψ z ˜ 1 ( ϑ ) c D a + λ ; ψ z ˜ 0 ( ϑ ) ,
for each ϑ Ω . For this end, set Δ ( ϑ ) = z 1 ( ϑ ) z 0 ( ϑ ) . From (13) and Definition 5, we obtain the following.
c D a + τ ; ψ c D a + λ ; ψ σ Δ ( ϑ ) = c D a + τ ; ψ c D a + λ ; ψ σ z 1 ( ϑ ) c D a + τ ; ψ c D a + λ ; ψ σ z 0 ( ϑ ) = F ϑ , z 0 ( ϑ ) , c D a + λ ; ψ z 0 ( ϑ ) c D a + τ ; ψ c D a + λ ; ψ σ z 0 ( ϑ ) 0 .
Again, this is because the following is the case.
Δ ( a ) = 1 c G ( z 0 ( a ) , z 0 ( b ) ) 0 , c D a + λ ; ψ Δ ( a ) = 1 e H ( c D a + λ ; ψ z 0 ( a ) , c D a + λ ; ψ z 0 ( b ) ) 0 .
Invoking Lemma 3, we obtain Δ ( ϑ ) 0 and c D a + λ ; ψ Δ ( ϑ ) 0 for ϑ Ω . Thus, z 0 ( ϑ ) z 1 ( ϑ ) and the following is the case:
c D a + λ ; ψ z 0 ( ϑ ) c D a + λ ; ψ z 1 ( ϑ ) ,
ϑ Ω . In a similar manner, we can find that z ˜ 1 ( ϑ ) z ˜ 0 ( ϑ ) and the following:
c D a + λ ; ψ z ˜ 1 ( ϑ ) c D a + λ ; ψ z ˜ 0 ( ϑ ) ,
ϑ Ω . Now, let Δ ( ϑ ) = z ˜ 1 ( ϑ ) z 1 ( ϑ ) . Using (13) and (14) together with assumptions (H 1 )–(H 3 ) we obtain the following.
c D a + τ ; ψ c D a + λ ; ψ σ Δ ( ϑ ) = F ϑ , z ˜ 0 ( ϑ ) , c D a + λ ; ψ z ˜ 0 ( ϑ ) F ϑ , z 0 ( ϑ ) , c D a + λ ; ψ z 0 ( ϑ ) 0 .
Notice the following inequalities:
Δ ( a ) = z ˜ 0 ( a ) z 0 ( a ) 1 c G z ˜ 0 ( a ) , z ˜ 0 ( b ) G z 0 ( a ) , z 0 ( b ) d c z ˜ 0 ( b ) z 0 ( b ) 0 ,
and the following is the case.
c D a + λ ; ψ Δ ( a ) = c D a + λ ; ψ z ˜ 0 ( a ) c D a + λ ; ψ z 0 ( a ) 1 e H c D a + λ ; ψ z ˜ 0 ( a ) , c D a + λ ; ψ z ˜ 0 ( b ) H c D a + λ ; ψ z 0 ( a ) , c D a + λ ; ψ z 0 ( b ) f e c D a + λ ; ψ z ˜ 0 ( b ) c D a + λ ; ψ z 0 ( b ) 0 .
According to Lemma 3, we obtain z 1 ( ϑ ) z ˜ 1 ( ϑ ) and
c D a + λ ; ψ z 1 ( ϑ ) c D a + λ ; ψ z ˜ 1 ( ϑ ) ,
ϑ Ω . Next, we show that the functions z 1 ( ϑ ) , z ˜ 1 ( ϑ ) are a lower and an upper solution of the equation in (1), respectively. Since z 0 and z ˜ 0 are lower and upper solutions of (1), by (H 2 ) and (H 3 ), it follows that the following is the case:
c D a + τ ; ψ c D a + λ ; ψ σ z 1 ( ϑ ) = F ϑ , z 0 ( ϑ ) , c D a + λ ; ψ z 0 ( ϑ ) F ϑ , z 1 ( ϑ ) , c D a + λ ; ψ z 1 ( ϑ ) G ( z 1 ( a ) , z 1 ( b ) ) G ( z 0 ( a ) , z 0 ( b ) ) + c z 1 ( a ) z 0 ( a ) d ( z 1 ( b ) z 0 ( b ) ) = d ( z 1 ( b ) z 0 ( b ) ) 0 ,
and the following obtains.
H c D a + λ ; ψ z 1 ( a ) , c D a + λ ; ψ z 1 ( b ) H c D a + λ ; ψ z 0 ( a ) , c D a + λ ; ψ z 0 ( b ) + e c D a + λ ; ψ z 1 ( a ) c D a + λ ; ψ z 0 ( a ) f ( c D a + λ ; ψ z 1 ( b ) c D a + λ ; ψ z 0 ( b ) ) = f ( c D a + λ ; ψ z 1 ( b ) c D a + λ ; ψ z 0 ( b ) ) 0 .
Therefore, z 1 ( ϑ ) is a lower solution of (1). Analogously, it can be obtained that z ˜ 1 ( ϑ ) is an upper solution of (1). By the above arguments and mathematical induction, we can show that the sequences z n ( ϑ ) , z ˜ n ( ϑ ) , ( n 1 ) are lower and upper solutions of (1), respectively, and the relations (15) and (16) are true. On the contrary, by employing the earlier arguments, together with Ascoli–Arzela’s Theorem, we can show that the following:
z n z * X 0 , z ˜ n z ˜ * X 0 ,
when n . Finally, it remains to show that z * and z ˜ * are extremal solutions of (1) in [ z 0 , z ˜ 0 ] . To conduct this, let z [ z 0 , z ˜ 0 ] be any solution of (1). Suppose for some n N * that the following is the case:
z n ( ϑ ) z ( ϑ ) z ˜ n ( ϑ ) , c D a + λ ; ψ z n ( ϑ ) c D a + λ ; ψ z ( ϑ ) c D a + λ ; ψ z ˜ n ( ϑ ) ,
for ϑ Ω . Setting Δ ( ϑ ) = z ( ϑ ) z n + 1 ( ϑ ) . It follows that the following obtains.
c D a + τ ; ψ c D a + λ ; ψ σ Δ ( ϑ ) = F ϑ , z ( ϑ ) , c D a + λ ; ψ z ( ϑ ) F ϑ , z n ( ϑ ) , c D a + λ ; ψ z n ( ϑ ) 0 .
Notice the inequalities in the following:
z n + 1 ( a ) = z n ( a ) + 1 c G ( z ( a ) , z ( b ) ) G ( z n ( a ) , z n ( b ) ) z ( a ) d c z ( b ) z n ( b ) z ( a ) ,
and the following.
c D a + λ ; ψ z n + 1 ( a ) = c D a + λ ; ψ z n ( a ) + 1 e H z ( a ) , z z ( b ) H z n ( a ) , z z n ( b ) c D a + λ ; ψ z ( a ) f e c D a + λ ; ψ z ( b ) c D a + λ ; ψ z n ( b ) c D a + λ ; ψ z ( a ) .
By Lemma 3, we obtain Δ ( ϑ ) 0 , ϑ Ω , which implies z n + 1 ( ϑ ) z ( ϑ ) and the following:
c D a + λ ; ψ z n + 1 ( ϑ ) c D a + λ ; ψ z ( ϑ ) ,
for almost all ϑ Ω .
By using the same method, we can show that z ( ϑ ) z ˜ n + 1 ( ϑ ) and
c D a + λ ; ψ z ( ϑ ) c D a + λ ; ψ z n + 1 ( ϑ ) ,
for each ϑ Ω . Hence, z n + 1 ( ϑ ) z ( ϑ ) z ˜ n + 1 ( ϑ ) , for ϑ Ω , and the following is the case:
c D a + λ ; ψ z n + 1 ( ϑ ) c D a + λ ; ψ z ( ϑ ) c D a + λ ; ψ z ˜ n + 1 ( ϑ ) ,
for ϑ Ω . Therefore, (17) holds on Ω for all n N . Taking the limit as n on both sides of (17), we obtain z * ( ϑ ) z ( ϑ ) z ˜ * ( ϑ ) and the following:
c D a + λ ; ψ z * ( ϑ ) c D a + λ ; ψ z ( ϑ ) c D a + λ ; ψ z ˜ * ( ϑ ) ,
for each ϑ Ω . This means that z * , z ˜ * are the extremal solutions of (1) in [ z 0 , z ˜ 0 ] . Thus, the proof of Theorem 1 is complete. □

4. Illustration

The theoretical outcomes are verified by a particular example with specific values. All the experiments are carried out in MATLAB Ver. 8.5.0.197613 (R2015a) on a computer equipped with a CPU AMD Athlon(tm) II X2 245 at 2.90 GHz running under the operating system Windows 7.
Example 1.
Consider problem (1) with the following.
τ = λ = 0.5 ,   σ = π 2 , a = 0 ,   b = 1 ,   ψ ( ϑ ) = ϑ .
In order to illustrate Theorem 1, we take the following:
F ϑ , z ( ϑ ) , c D 0 + λ ; ψ z ( ϑ ) = ( 1 ϑ ) × exp z ( ϑ ) + c D 0 + λ ; ψ z ( ϑ ) 2 π 2 ,
for ϑ [ 0 , 1 ] and obtain.
H c D 0 + λ ; ψ z ( 0 ) , c D 0 + λ ; ψ z ( 1 ) = c D 0 + λ ; ψ z ( 0 ) , G z ( 0 ) , z ( 1 ) = z ( 0 ) 1 .
Obviously, F , G and H are continuous. In addition, we can easily verify that z 0 ( ϑ ) = 1 and z ˜ 0 ( ϑ ) = 1 + ϑ are lower and upper solutions of (1), respectively. Moreover, we can obtain z 0 ( ϑ ) z ˜ 0 ( ϑ ) and the following:
c D 0 + λ ; ψ z 0 ( ϑ ) c D 0 + λ ; ψ z ˜ 0 ( ϑ ) ,
for all ϑ [ 0 , 1 ] . On the other hand, one can observe that the assumptions(H2)–(H4) of Theorem 1 are fulfilled. So, An application of Theorem 1 shows that the problem (1) with the data (18) and (19) has extremal solutions in [ z 0 , z ˜ 0 ] , which can be approximated by the following iterative sequences:
z n + 1 ( ϑ ) = 1 + 0 ϑ E 0.5 π ( ϑ η ) 2 ( 1 η ) × exp z n ( η ) + c D 0 + λ ; ψ z n ( η ) 2 π 2 d η ,
with z 0 ( ϑ ) = 1 and the following:
z ˜ n + 1 ( ϑ ) = 1 + 0 ϑ E 0.5 π ( ϑ η ) 2 ( 1 η ) × exp z ˜ n ( η ) + c D 0 + λ ; ψ z ˜ n ( η ) 2 π 2 d η ,
with z ˜ 0 ( ϑ ) = 1 + ϑ . Table 1 and Table 2 show the numerical results of the iterative sequences of z n + 1 ( ϑ ) for ϑ = 0 , 0.1 , 0.2 , 0.3 , 0.4 and 0.5 , 0.6 , 0.7 , 0.8 , 0.9 , respectively. We plot these results in Figure 1a,b.
Table 3 and Table 4 show the numerical results of the iterative sequences of z ˜ n + 1 ( ϑ ) for ϑ = 0 , 0.1 , 0.2 , 0.3 , 0.4 and 0.5 , 0.6 , 0.7 , 0.8 , 0.9 , respectively. We plot these results in Figure 2a,b.

5. Conclusions

This paper is devoted to the study of a new type of ψ -Caputo fractional differential equation. The addressed problem is considered in the framework of nonlinear boundary value conditions. Our work is different from the existing results in the literature, which are basically based on fixed point approaches. However, we have proved our main results with the help of monotone iterative techniques along with the method of upper and lower solutions. It is observed that these methods are closely related to the Tarski–Knaster theorem and that, essentially speaking, also results in fixed point results. The main results have been verified and demonstrated by an example with explicit numerical values.

Author Contributions

Conceptualization, Z.B., C.D., M.K.A.K., J.A., and M.E.S.; methodology, Z.B., C.D., M.K.A.K., J.A., M.E.S. and Z.S.; software, M.E.S.; validation, C.D., M.E.S., J.A. and M.K.A.K.; formal analysis, Z.B., C.D.; investigation, M.E.S., J.A., and M.K.A.K.; resources, M.K.A.K., J.A., Z.S.; data curation, M.E.S. and M.K.A.K.; writing—original draft preparation, Z.B., C.D., M.K.A.K., J.A., M.E.S., and Z.S.; writing—review and editing, M.K.A.K., J.A., M.E.S.; visualization, M.E.S.; supervision, M.K.A.K., J.A., M.E.S., and Z.S.; project administration, M.K.A.K.; funding acquisition, M.K.A.K. All authors have read and agreed to the published version of the manuscript.

Funding

Not applicable.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Data sharing not applicable.

Acknowledgments

The third author was supported by Prince Sultan University and OSTİM Technical University. The fourth author was supported by Bu-Ali Sina University.

Conflicts of Interest

The authors declare that they have no competing interest.

References

  1. Hilfer, R. Applications of Fractional Calculus in Physics; World Scientific: Singapore, 2000. [Google Scholar]
  2. Podlubny, I. Fractional Differential Equations; Academic Press: San Diego, CA, USA, 1999. [Google Scholar]
  3. Sabatier, J.; Agrawal, O.P.; Machado, J.A.T. Advances in Fractional Calculus-Theoretical Developments and Applications in Physics and Engineering; Springer: Dordrecht, The Netherlands, 2007. [Google Scholar]
  4. Tarasov, V.E. Fractional Dynamics, Nonlinear Physical Science; Springer: Berlin/Heidelberg, Germany, 2010. [Google Scholar]
  5. Pratap, A.; Raja, R.; Alzabut, J.; Dianavinnarasi, J.; Rajchakit, G. Finite-time Mittag-Leffler stability of fractional-order quaternion-valued memristive neural networks with impulses. Neural Process. Lett. 2020, 51, 1485–1526. [Google Scholar] [CrossRef]
  6. Caputo, M.; Fabrizio, M. A new definition of fractional derivative without singular kernel. Progr. Fract. Differ. Appl. 2015, 1, 1–13. [Google Scholar]
  7. Jarad, F.; Abdeljawad, T.; Alzabut, J. Generalized fractional derivatives generated by a class of local proportional derivatives. Eur. Phys. J. Spec. Top. 2017, 226, 3457–3471. [Google Scholar] [CrossRef]
  8. Khalil, R.; Horani, M.A.; Yousef, A.; Sababheh, M. A new definition of fractional derivative. J. Comput. Appl. Math. 2014, 264, 65–70. [Google Scholar] [CrossRef]
  9. Almeida, R. A Caputo fractional derivative of a function with respect to another function. Commun. Nonlinear Sci. Numer. Simul. 2017, 44, 460–481. [Google Scholar] [CrossRef] [Green Version]
  10. Almeida, R.; Malinowska, A.; Monteiro, M. Fractional differential equations with a Caputo derivative with respect to a kernel function and their applications. Math. Meth. Appl. Sci. 2018, 41, 336–352. [Google Scholar] [CrossRef] [Green Version]
  11. Abdo, M.; Panchal, S.K.; Saeed, A.M. Fractional boundary value problem with Ψ-Caputo fractional derivative. Proc. Math. Sci. 2019, 129, 65. [Google Scholar] [CrossRef]
  12. Jarad, F.; Abdeljawad, T.; Rashid, S. More properties of the proportional fractional integrals and derivatives of a function with respect to another function. Adv. Differ. Equ. 2020, 2020, 303. [Google Scholar] [CrossRef]
  13. Promsakon, C.; Suntonsinsoungvon, E.; Ntouyas, S.K. Impulsive boundary value problems containing Caputo fractional derivative of a function with respect to another function. Adv. Differ. Equ. 2019, 2019, 486. [Google Scholar] [CrossRef] [Green Version]
  14. da C. Sousa, J.V.; de Oliveira, E.C. On the ψ-Hilfer fractional derivative. Commun. Nonlinear Sci. Numer. Simul. 2018, 60, 72–91. [Google Scholar]
  15. Alzabut, J.; Viji, J.; Muthulakshmi, V.; Sudsutad, W. Oscillatory behavior of a type of generalized proportional fractional differential equations with forcing and damping terms. Mathematics 2020, 8, 1037. [Google Scholar] [CrossRef]
  16. Alzabut, J.; Mohammadaliee, B.; Samei, M.E. Solutions of two fractional q–integro–differential equations under sum and integral boundary value conditions on a time scale. Adv. Differ. Equ. 2020, 2020, 304. [Google Scholar] [CrossRef]
  17. Samei, M.E.; Hedayati, V.; Rezapour, S. Existence results for a fraction hybrid differential inclusion with caputo-hadamard type fractional derivative. Adv. Differ. Equ. 2019, 2019, 163. [Google Scholar] [CrossRef]
  18. Abbas, S.; Benchohra, M.; Hamidi, N.; Henderson, J. Caputo–Hadamard fractional differential equations in Banach spaces. Fract. Calc. Appl. Anal. 2018, 2139, 1027–1045. [Google Scholar] [CrossRef]
  19. Matar, M.M.; Lubbad, A.A.; Alzabut, J. On p-Laplacian boundary value problem involving Caputo-Katugampula fractional derivatives. Math. Methods Appl. Sci. 2020, 51, 1485–1526. [Google Scholar] [CrossRef]
  20. Rezapour, S.; Imran, A.; Hussain, A.; Martínez, F.; Etemad, S.; Kaabar, M.K.A. Condensing Functions and Approximate Endpoint Criterion for the Existence Analysis of Quantum Integro-Difference FBVPs. Symmetry 2021, 13, 469. [Google Scholar] [CrossRef]
  21. Matar, M.M.; Abbas, M.I.; Alzabut, J.; Kaabar, M.K.A.; Etemad, S.; Rezapour, S. Investigation of the p-Laplacian nonperiodic nonlinear boundary value problem via generalized Caputo fractional derivatives. Adv. Differ. Equ. 2021, 2021, 1–18. [Google Scholar]
  22. Abbas, S.; Benchohra, M.; Samet, B.; Zhou, Y. Coupled implicit Caputo fractional q-difference systems. Adv. Differ. Equ. 2019, 2019, 527. [Google Scholar] [CrossRef]
  23. Kucche, K.D.; da, C.; Sousa, J.V. On the nonlinear Ψ-Hilfer fractional differential equations. Comput. Appl. Math. 2019, 38, 25. [Google Scholar] [CrossRef]
  24. Zhou, Y. Basic Theory of Fractional Differential Equations; World Scientific: Singapore, 2014. [Google Scholar]
  25. Zhou, Y. Fractional Evolution Equations and Inclusions: Analysis and Control; Elsevier: Amsterdam, The Netherlands, 2016. [Google Scholar]
  26. Samei, M.E.; Ghaffari, R.; Yao, S.W.; Kaabar, M.K.A.; Martínez, F. Existence of Solutions for a Singular Fractional q-Differential Equations under Riemann–Liouville Integral Boundary Condition. Symmetry 2021, 13, 1235. [Google Scholar] [CrossRef]
  27. Mohammadi, H.; Kaabar, M.K.A.; Alzabut, J.; Selvam, A.G.M.; Rezapour, S. A Complete Model of Crimean-Congo Hemorrhagic Fever (CCHF) Transmission Cycle with Nonlocal Fractional Derivative. J. Funct. Spaces 2021, 2021, 1–12. [Google Scholar] [CrossRef]
  28. Kaabar, M.K.A.; Martínez, F.; Gómez-Aguilar, J.F.; Ghanbari, B.; Kaplan, M.; Günerhan, H. New approximate analytical solutions for the nonlinear fractional Schrödinger equation with second-order spatio-temporal dispersion via double Laplace transform method. Math. Methods Appl. Sci. 2021, 1–19. [Google Scholar] [CrossRef]
  29. Alzabut, J.; Selvam, A.; Dhineshbabu, R.; Kaabar, M.K.A. The Existence, Uniqueness, and Stability Analysis of the Discrete Fractional Three-Point Boundary Value Problem for the Elastic Beam Equation. Symmetry 2021, 13, 789. [Google Scholar] [CrossRef]
  30. Etemad, S.; Souid, M.S.; Telli, B.; Kaabar, M.K.A.; Rezapour, S. Investigation of the neutral fractional differential inclusions of Katugampola-type involving both retarded and advanced arguments via Kuratowski MNC technique. Adv. Differ. Equ. 2021, 2021, 1–20. [Google Scholar]
  31. Al-Refai, M.; Hajji, M.A. Monotone iterative sequences for nonlinear boundary value problems of fractional order. Nonlinear Anal. 2011, 74, 3531–3539. [Google Scholar] [CrossRef]
  32. Chen, C.; Bohner, M.; Jia, B. Method of upper and lower solutions for nonlinear Caputo fractional difference equations and its applications. Fract. Calc. Appl. Anal. 2019, 22, 1307–1320. [Google Scholar] [CrossRef]
  33. Kucche, K.D.; Mali, A.D. Initial time difference quasilinearization method for fractional differential equations involving generalized Hilfer fractional derivative. Comput. Appl. Math. 2020, 39, 33. [Google Scholar] [CrossRef]
  34. Wang, G. Monotone iterative technique for boundary value problems of a nonlinear fractional differential equation with deviating arguments. J. Comput. Appl. Math. 2012, 236, 2425–2430. [Google Scholar] [CrossRef] [Green Version]
  35. Zhang, S. Monotone iterative method for initial value problem involving Riemann-Liouville fractional derivatives. Nonlinear Anal. 2009, 71, 2087–2093. [Google Scholar] [CrossRef]
  36. Gorenflo, R.; Kilbas, A.A.; Mainardi, F.; Rogosin, S.V. Mittag–Leffler Functions, Related Topics and Applications; Springer: New York, NY, USA, 2014. [Google Scholar]
Figure 1. Graphical representation of z n + 1 ( ϑ ) in Example 1.
Figure 1. Graphical representation of z n + 1 ( ϑ ) in Example 1.
Fractalfract 05 00081 g001
Figure 2. Graphical representation of z ˜ n + 1 ( ϑ ) in Example 1.
Figure 2. Graphical representation of z ˜ n + 1 ( ϑ ) in Example 1.
Fractalfract 05 00081 g002
Table 1. Numerical results of z n + 1 ( ϑ ) for n = 1 , 2 , , 20 and ϑ = 0 , 0.1 , 0.2 , 0.3 , 0.4 by using (21) in Example 1.
Table 1. Numerical results of z n + 1 ( ϑ ) for n = 1 , 2 , , 20 and ϑ = 0 , 0.1 , 0.2 , 0.3 , 0.4 by using (21) in Example 1.
n ϑ
00.10.20.30.4
1 1.000000 1.000000 1.000000 1.000000 1.000000
2 1.000000 1.011901 1.023786 1.035626 1.047386
3 1.000000 1.012044 1.024359 1.036918 1.049685
4 1.000000 1.012045 1.024373 1.036966 1.049799
5 1.000000 1.012045 1.024373 1.036968 1.049805
6 1.000000 1.012045 1.024373 1.036968 1.049805
7 1.000000 1.012045 1.024373 1.036968 1.049805
8 1.000000 1.012045 1.024373 1.036968 1.049805
9 1.000000 1.012045 1.024373 1.036968 1.049805
10 1.000000 1.012045 1.024373 1.036968 1.049805
11 1.000000 1.012045 1.024373 1.036968 1.049805
12 1.000000 1.012045 1.024373 1.036968 1.049805
13 1.000000 1.012045 1.024373 1.036968 1.049805
14 1.000000 1.012045 1.024373 1.036968 1.049805
15 1.000000 1.012045 1.024373 1.036968 1.049805
16 1.000000 1.012045 1.024373 1.036968 1.049805
17 1.000000 1.012045 1.024373 1.036968 1.049805
18 1.000000 1.012045 1.024373 1.036968 1.049805
19 1.000000 1.012045 1.024373 1.036968 1.049805
20 1.000000 1.012045 1.024373 1.036968 1.049805
Table 2. Numerical results of z n + 1 ( ϑ ) for n = 1 , 2 , , 20 and ϑ = 0.5 , 0.6 , 0.7 , 0.8 , 0.9 by using (21) in Example 1.
Table 2. Numerical results of z n + 1 ( ϑ ) for n = 1 , 2 , , 20 and ϑ = 0.5 , 0.6 , 0.7 , 0.8 , 0.9 by using (21) in Example 1.
n ϑ
0.50.60.70.80.9
1 1.000000 1.000000 1.000000 1.000000 1.000000
2 1.059021 1.070482 1.081716 1.092662 1.103258
3 1.062609 1.075629 1.088674 1.101659 1.114490
4 1.062834 1.076019 1.089293 1.102578 1.115784
5 1.062848 1.076049 1.089348 1.102672 1.115933
6 1.062849 1.076051 1.089353 1.102682 1.115951
7 1.062849 1.076051 1.089353 1.102683 1.115953
8 1.062849 1.076051 1.089353 1.102683 1.115953
9 1.062849 1.076051 1.089353 1.102683 1.115953
10 1.062849 1.076051 1.089353 1.102683 1.115953
11 1.062849 1.076051 1.089353 1.102683 1.115953
12 1.062849 1.076051 1.089353 1.102683 1.115953
13 1.062849 1.076051 1.089353 1.102683 1.115953
14 1.062849 1.076051 1.089353 1.102683 1.115953
15 1.062849 1.076051 1.089353 1.102683 1.115953
16 1.062849 1.076051 1.089353 1.102683 1.115953
17 1.062849 1.076051 1.089353 1.102683 1.115953
18 1.062849 1.076051 1.089353 1.102683 1.115953
19 1.062849 1.076051 1.089353 1.102683 1.115953
20 1.062849 1.076051 1.089353 1.102683 1.115953
Table 3. Numerical results of z ˜ n + 1 ( ϑ ) for n = 1 , 2 , , 20 and ϑ = 0 , 0.1 , 0.2 , 0.3 , 0.4 by using (22) in Example 1.
Table 3. Numerical results of z ˜ n + 1 ( ϑ ) for n = 1 , 2 , , 20 and ϑ = 0 , 0.1 , 0.2 , 0.3 , 0.4 by using (22) in Example 1.
n ϑ
00.10.20.30.4
1 1.000000 1.100000 1.200000 1.300000 1.400000
2 1.000000 1.018793 1.048121 1.089222 1.144311
3 1.000000 1.017327 1.041341 1.072265 1.111752
4 1.000000 1.017302 1.041061 1.071050 1.108172
5 1.000000 1.017301 1.041050 1.070964 1.107785
6 1.000000 1.017301 1.041049 1.070958 1.107743
7 1.000000 1.017301 1.041049 1.070957 1.107739
8 1.000000 1.017301 1.041049 1.070957 1.107738
9 1.000000 1.017301 1.041049 1.070957 1.107738
10 1.000000 1.017301 1.041049 1.070957 1.107738
11 1.000000 1.017301 1.041049 1.070957 1.107738
12 1.000000 1.017301 1.041049 1.070957 1.107738
13 1.000000 1.017301 1.041049 1.070957 1.107738
14 1.000000 1.017301 1.041049 1.070957 1.107738
15 1.000000 1.017301 1.041049 1.070957 1.107738
16 1.000000 1.017301 1.041049 1.070957 1.107738
17 1.000000 1.017301 1.041049 1.070957 1.107738
18 1.000000 1.017301 1.041049 1.070957 1.107738
19 1.000000 1.017301 1.041049 1.070957 1.107738
20 1.000000 1.017301 1.041049 1.070957 1.107738
Table 4. Numerical results of z ˜ n + 1 ( ϑ ) for n = 1 , 2 , , 20 and ϑ = 0.5 , 0.6 , 0.7 , 0.8 , 0.9 , 1 by using (22) in Example 1.
Table 4. Numerical results of z ˜ n + 1 ( ϑ ) for n = 1 , 2 , , 20 and ϑ = 0.5 , 0.6 , 0.7 , 0.8 , 0.9 , 1 by using (22) in Example 1.
n ϑ
0.50.60.70.80.91.0
1 1.500000 1.600000 1.700000 1.800000 1.900000 2.000000
2 1.216106 1.307784 1.422976 1.565785 1.740782 1.953002
3 1.162695 1.229793 1.320631 1.447644 1.631747 1.909249
4 1.154233 1.212553 1.289440 1.397764 1.566487 1.870324
5 1.152934 1.208920 1.280551 1.378410 1.530698 1.837098
6 1.152735 1.208162 1.278068 1.371156 1.512041 1.809741
7 1.152705 1.208004 1.277379 1.368474 1.502577 1.787890
8 1.152700 1.207972 1.277187 1.367487 1.497842 1.770860
9 1.152699 1.207965 1.277134 1.367124 1.495491 1.757843
10 1.152699 1.207963 1.277120 1.366991 1.494327 1.748043
11 1.152699 1.207963 1.277116 1.366942 1.493752 1.740747
12 1.152699 1.207963 1.277115 1.366925 1.493469 1.735363
13 1.152699 1.207963 1.277114 1.366918 1.493329 1.731414
14 1.152699 1.207963 1.277114 1.366916 1.493260 1.728532
15 1.152699 1.207963 1.277114 1.366915 1.493225 1.726435
16 1.152699 1.207963 1.277114 1.366914 1.493209 1.724913
17 1.152699 1.207963 1.277114 1.366914 1.493200 1.723811
18 1.152699 1.207963 1.277114 1.366914 1.493196 1.723013
19 1.152699 1.207963 1.277114 1.366914 1.493194 1.722437
20 1.152699 1.207963 1.277114 1.366914 1.493193 1.722021
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Baitiche, Z.; Derbazi, C.; Alzabut, J.; Samei, M.E.; Kaabar, M.K.A.; Siri, Z. Monotone Iterative Method for ψ-Caputo Fractional Differential Equation with Nonlinear Boundary Conditions. Fractal Fract. 2021, 5, 81. https://doi.org/10.3390/fractalfract5030081

AMA Style

Baitiche Z, Derbazi C, Alzabut J, Samei ME, Kaabar MKA, Siri Z. Monotone Iterative Method for ψ-Caputo Fractional Differential Equation with Nonlinear Boundary Conditions. Fractal and Fractional. 2021; 5(3):81. https://doi.org/10.3390/fractalfract5030081

Chicago/Turabian Style

Baitiche, Zidane, Choukri Derbazi, Jehad Alzabut, Mohammad Esmael Samei, Mohammed K. A. Kaabar, and Zailan Siri. 2021. "Monotone Iterative Method for ψ-Caputo Fractional Differential Equation with Nonlinear Boundary Conditions" Fractal and Fractional 5, no. 3: 81. https://doi.org/10.3390/fractalfract5030081

Article Metrics

Back to TopTop