Existence of the Solutions of Nonlinear Fractional Differential Equations Using the Fixed Point Technique in Extended b -Metric Spaces

: The purpose of this paper is to prove ﬁxed point theorems for cyclic-type operators in extended b -metric spaces. The well-posedness of the ﬁxed point problem and limit shadowing property are also discussed. Some examples are given in order to support our results, and the last part of the paper considers some applications of the main results. The ﬁrst part of this section is devoted to the study of the existence of a solution to the boundary value problem. In the second part of this section, we study the existence of solutions to fractional boundary value problems with integral-type boundary conditions in the frame of some Caputo-type fractional operators.


Introduction and Preliminaries
In 1922, Banach proved an interesting fixed point theorem for metric spaces (see [1]), known as the famous "Banach contraction principle". Since then, different generalisations of this theorem have been established.
Generalising the Banach contraction principle has been considered in a variety of ways. One of these is the consideration of different types of operators that satisfy some contraction conditions. Recently, different authors proved fixed point theorems for operators that satisfy a cyclic-type contraction condition. One important paper that deals with fixed point theory for cyclic contractions is [2], where some fixed point results for cyclic mappings are proved. The results are then extended in the paper [3], where the authors considered generalisation of the contraction condition. R. George et al. in [4] considered various types of cyclic contractions, such as Kannan, Chatterjee, andĆirić, and proved the existence and uniqueness theorems for these classes of operators. Other results that involve the notion of cyclic contraction, including applications to integral equations, can be found in [5][6][7][8]. We also note that the cyclic operator idea has been applied in deriving synchronisation conditions of complex dynamical systems-see [9].
Concerning the other direction in generalising the "Banach contraction principle"changing the working space, a popular concept is that of b-metric space (also known as quasimetric space). This was introduced by Bakhtin in 1989 in [10] and formally defined by Czerwik in 1993 in [11]. Since then, many authors have proved different fixed point theorems in the context of a b-metric space (see [12][13][14]). One of the major difference between the concepts of metric and b-metric is that fact that the latter is not necessary continuous (see [15,16]).
The purpose of this paper is to extend the previous results to the class of extended b-metric spaces and also to discuss the well-posedness and the limit shadowing property of the fixed point problem. Some examples are provided in order to support the results.
The constant s is 2 1/p .
With the paper [4] as a starting point, we consider the case of cyclic operators in extended b-metric spaces. In [2], we found a generalisation of the well-known Banach contraction principle, where the notion of cyclic contraction is inductively introduced for the first time. Let us recall the definition of the cyclic operator in the context of a complete metric space as follows: ). Let (X, d) be a b-metric space. Let p be a positive integer; p ≥ 2, A 1 , A 2 , ..., A p be nonempty and closed subsets of X, Y = p i=1 A i and T : Y → Y. Then, T is called a cyclic operator if In [20], T. Kamran et al. introduced the notion of extended b-metric space as follows: Definition 3. Let X be a nonempty set and θ : X × X → [1, ∞). The function d θ : X × X → [0, ∞) is said to be an extended b-metric if the following conditions are satisfied: for all x, y, z ∈ X. A pair (X, d θ ) is called an extended b-metric space.
It is obvious that if θ(x, z) = s with s ≥ 1, the notion reduces to that of b-metric space. As a remark, we must emphasise the symmetry of the extended b-metric, which appears in the second axiom in the previous definition.
The operator T is a contraction if k ∈ [0, 1) exists such that d( f (x), f (y)) ≤ kd(x, y), for all x, y ∈ X.
In the following, the concepts of convergence, Cauchy sequence, and completeness are introduced in the framework of an extended b-metric space. Definition 4. Let (X, d θ ) be an extended b-metric space. Then, a sequence {x n } in X is said to be (i) Convergent if and only if x ∈ X exists such that d θ (x n , x) → 0 as n → ∞ we write lim n→∞ x n = x.
(ii) Cauchy if and only if d θ (x n , x m ) → 0 as n, m → ∞.
The extended b-metric space (X, d θ ) is complete if every Cauchy sequence converges in X. We note that the extended b-metric d θ is not in general a continuous function. Lemma 1. Let (X, d θ ) be an extended b-metric space. Then, every convergent sequence has a unique limit.

Fixed Point Results
We begin this section with the following main results: , where p is a positive integer, be nonempty closed subsets of X, and suppose T : A i , is a cyclic operator that satisfies the following conditions: Thus, T has a fixed point x * . Moreover, for each y ∈ X, T n y → x * .
Thus, we define a sequence {x n } by x n+1 = Tx n for all n ≥ 0. We can show that {x n } is a Cauchy sequence.
If x n = x n+1 , then x n is a fixed point of T. We suppose that x n = x n+1 for all n ≥ 0. From (ii), it follows that If we repeat the process we obtain Additionally, we assume that x 0 is a nonperiodic point of T. If x 0 = x n using (1), for any n ≥ 2, we obtain d(x 0 , T(x 0 )) = d(x n , Tx n ).
Therefore, d(x 0 , x 1 ) = 0, i.e., x 0 = x 1 , and x 0 is a fixed point of T. Thus, we assume that x n = x m for all n, m ∈ N with m = n.
For any m, n with m > n we obtain The sequence {x n } has an infinite number of terms in each A i for all i ∈ {1, 2, . . . , p}.
We shall now show that x * is a fixed point of T. For any n ∈ N we have We note that d θ (Tx * , x * ) ≤ 0 as n → ∞. Hence, d θ (Tx * , x * ) = 0, which is equivalent to x * = Tx * . Thus, we proved that x * is the fixed point of T.
For the uniqueness, let ν be another fixed point of T.
In the following theorem, we present a result which assures the well-posedness of the fixed point problem.
A i be a cyclic operator defined as in Theorem 1. Then, the fixed Proof. Applying Theorem 1, for any initial value We consider the following inequality: .
Letting n → ∞, the hypothesis that d θ (x n , Tx n ) → 0 is formed. Hence, d θ (x n , x * ) = 0. Thus, our conclusion is supported. The next theorem assures the limit shadowing property of the cyclic operator.
A i , be a cyclic operator defined as in Theorem 1. Then, T has the limit shadowing property, i.e., if a convergent sequence {y n } ∈ p i=1 A i with d(y n+1 , Ty n ) → 0, A i exists such that d(y n , T n x) → 0, as n → ∞.
Proof. As in the proof of Theorem 1, for any initial value A i is the unique fixed point of T. Thus, d(y n , x * ) and d(y n+1 , x * ) are well defined.
Let y ∈ X exist as the limit of the convergent sequence {y n } ∈ p i=1 A i .
We consider the following estimation: Letting n → ∞, from the hypothesis, we have d θ (y n+1 , Ty n ) → 0.
this inequality is true only for the case of d θ (y, x * ) = 0. Thus, y = x * and we have d θ (y n , T n x) → d(y, x * ) = 0 as n → ∞.
In order to support our results, let us present the following example: Example 2. Let X = R + endowed with d θ : X × X → R + defined by d θ = |x − y| 3 , and let θ : X × X → [1, ∞) defined by θ(x, y) = x + y + 2. It is easy to check that (X, d θ ) is a complete extended b-metric space.
Let 1 3 ] be three subsets of X = R + . Define T : A i is a cyclic representation with respect to T.
The contraction condition is also verified.
Taking into account for each x ∈ 3 i=1 A i , T n x = x 2 n , we obtain lim n,m→∞ Therefore, all conditions of Theorem 1 are satisfied, meaning that 0 ∈ 3 i=1 A i is the unique fixed point of T.

Applications to Nonlinear Fractional Differential Equations
Our first application of this section is devoted to the existence of a solution of a boundary value problem. Thus, we recall the following problem given by Nieto and Lopez in [21].
where a > 0 and f : [0, a] × R → R is a continuous function. A solution to (2) is the function u ∈ C 1 ([0, a], R) satisfying (2), where C 1 ([0, a], R) is the set of all continuous differentiable functions on [0, a]. We suggest that (2) has a lower solution if function u ∈ C 1 ([0, a], R) exists, satisfying It is well known [22] that the existence of a lower solution a and an upper solution b with a ≤ b implies the existence of a solution of the boundary value problem between a and b.
In [21], we find the following results: Thus, the existence of a lower solution of (2) provides the existence of a unique solution of (2).
Furthermore, let us provide a generalisation of Theorem 4 using cyclic operators for the case of extended b-metric spaces.
Proof. We can rewrite problem (2) as follows: This problem is equivalent to the following integral equation: and u ∈ C 1 ([0, 1], R).

Let us define the operator
A i as follows: for u ∈ C([0, a], R) and t ∈ [0, a). For x, y ∈ C([0, a], R) and t ∈ [0, a] we have For any x, y ∈ 3 i=1 A i we have the following estimation: Thus, for x, y ∈ C([0, a], R), we have d θ (Tx, Ty) ≤ β α d θ (x, y). Since lim n,m→∞ θ(x n (t), x m (t)) = 1 < α β , we fulfilled all of the conditions of Theorem 3. Hence, using Theorem 3, we obtained the existence and uniqueness of fixed points of T. Remark 1. Theorem 5 still holds (with the reverse inequality) if we replace the existence of a lower solution of the boundary value problem by the existence of an upper solution of the same problem.
In the last part of this section, we present an application of our main theorem for nonlinear fractional differential equations. Some results concerning the fixed point technique for determining the solutions of fractional differential equations can also be found in [19,23].
In [24,25], the definition of the Caputo derivative of functional g : [0, ∞) → R of order β > 0 is given, where g is a continuous function as follows: where [β] represents the integer part of the positive real number β, and Γ is a gamma function. Let us recall the Caputo type nonlinear fractional differential equation with the integral boundary conditions: where 1 < β ≤ 2, 0 < η < 1, x ∈ C[0, 1] and T : [0, 1] × R → R is a continuous given function (see [26]). Since f is continuous, Equation (5) is inverted as the following integral equation: In addition, we provide an existence theorem. Theorem 6. Taking into account the nonlinear fractional differential Equation (5) Thus, the Caputo type nonlinear fractional differential Equation (5) has a unique solution. Moreover, for each x 0 ∈ C[0, 1], the sequence of the successive approximation {x n } defined by for all n ∈ N, converges to a unique solution of the nonlinear fractional differential equation of Caputo type (5).
Proof. Let X = C[0, 1]. The operator is defined as follows: T : Using the properties of the module, we obtain Taking the supremum over s ∈ [0, 1], we obtain Since lim n,m→∞ θ(x n , x m ) = 1 < 2, we fulfilled all of the conditions of Theorem 1. Thus, a unique solution of the Caputo-type nonlinear fractional differential Equation exists (5).

Conclusions
Fixed point theory is a powerful tool for proving the existence and uniqueness of different types of equations. Recently, there has been an increase in papers that use the concept of the cyclic operator. This notion has many projections in physics and astrophysics. We also know that one of the most researched areas of mathematics is partial differential calculus. It is used in modeling many real world phenomena. This paper unifies both fields. First, a fixed point result translating the Banach contraction principle for the case of cyclic operators in extended b-metric spaces is given. Then, it is proved that one can obtain fixed point results in extended b-metric spaces for the case of this type of operator. The Application Section 3 is devoted to the study of the existence and uniqueness of a boundary value problem given by Nieto and Lopez in [21]. Then, an application to fractional differential equations is presented.

Conflicts of Interest:
The authors declare no conflict of interest.