Applications of a Fixed Point Result for Solving Nonlinear Fractional and Integral Differential Equations

: In this article, we apply one ﬁxed point theorem in the setting of b -metric-like spaces to prove the existence of solutions for one type of Caputo fractional differential equation as well as the existence of solutions for one integral equation created in mechanical engineering.


Introduction and Preliminaries
It is well known that fixed point theory has applications in various fields of research. These fields include engineering, economics, natural sciences, game and graph theory, etc. The first known and perhaps most applicable result comes from Stefan Banach in 1922. It is known as the Banach contraction mapping principle. This principle claims that every contraction in a complete metric space has a unique fixed point. It is useful to say that this fixed point is also a unique fixed point for all iterations of the given contractive mapping.
After 1922, a large number of authors generalized Banach's famous result. Hundreds of papers have been written on the subject. The generalizations went in two important directions: (1) New conditions were introduced in the given contractive relation using new relations (Kannan, Chatterje, Reich, Hardy-Rogers,Ćirić, ...). (2) The axioms of metric space have been changed.
By using F-contraction, Wardowski [11] proved the following fixed point theorem that generalizes Banach's [3] contraction principle. Theorem 1. Ref. [11] Let X, d be a complete metric space and T : X → X an F-contraction.
Then T has a unique fixed point x * ∈ X and for every x ∈ X the sequence T n x n∈N converges to x * .
Since Wardowski's main result is true if the function F satisfies only (F1) (see [20][21][22]), it is natural to ask whether it is also true for the other five classes of generalized metric spaces: b-metric spaces, partial metric spaces, metric like spaces, partial b-metric spaces, and b-metric like spaces. Clearly, it is sufficient to check it for b-metric-like spaces.
Let us recall the definitions of the b-metric like space as well as of the generalized (s, q)− Jaggi-F-contraction type mapping.

Definition 1.
A b-metric-like on a nonempty set X is a function d bl : X × X → [0, +∞) such that for all x, y, z ∈ X and a constant s ≥ 1, the following three conditions are satisfied: In this case, the triple X, d bl , s ≥ 1 is called b-metric-like space with constant s or b-dislocated metric space by some author. It should be noted that the class of b-metric-like spaces is larger that the class of metric-like spaces, since a b-metric-like is a metric like with s = 1. For some examples of metric-like and b-metric-like spaces (see [13,15,23,24]).
The definitions of convergent and Cauchy sequences are formally the same in partial metric, metric-like, partial b-metric and b-metric-like spaces. Therefore we give only the definition of convergence and Cauchyness of the sequences in b-metric-like space. Herein, we discuss first some fixed points considerations for the case of b-metric-like spaces. Then we give a (s, q)−Jaggi-Fcontraction fixed point theorem in 0 − d bl −complete b-metric-like space without conditions (F2) and (F3) using the property of strictly increasing function defined on (0, +∞). Moreover, using this fixed point result we prove the existence of solutions for one type of Caputo fractional differential equation as well as existence of solutions for one integral equation created in mechanical engineering.

Fixed Point Remarks
Let us start this section with an important remark for the case of b-metric-like spaces.

Remark 1.
In a b-metric-like space the limit of a sequence does not need to be unique and a convergent sequence does not need to be a d bl −Cauchy one. However, if the sequence {x n } is a 0 − d bl −Cauchy sequence in the d bl −complete b-metric-like space X, d bl , s ≥ 1 , then the limit of such sequence is unique. Indeed, in such case if x n → x as n → +∞ we get that d bl (x, x) = 0. Now, if x n → x and x n → y where x = y, we obtain that: From (d bl 1) follows that x = y, which is a contradiction.
We shall use the following result, the proof is similar to that in the paper [25] (see also [26,27]).
for some λ ∈ [0, 1 s ) and for each n ∈ N. Then {x n } is a 0 − d bl −Cauchy sequence.

Remark 2.
It is worth noting that the previous Lemma holds in the setting of b-metric-like spaces for each λ ∈ [0, 1). For more details see [26,28].

Definition 3.
Let T be a self-mapping on a b-metric-like space X, d bl , s ≥ 1 . Then the mapping T is said to be generalized (s, q)−Jaggi F−contraction-type if there is strictly increasing F : (0, +∞) → (−∞, +∞) and τ > 0 such that for all x, y ∈ X : Remark 3. Due to division by d bl (x, y)in previously it must be d bl (x, y) > 0. Hence, we improved Definition 6 from [13].
We give further, various results using only some conditions of the definition of Fcontractions. Then, we prove a (s, q)−Jaggi-Fcontraction fixed point theorem in 0 − d bl −complete b-metric-like space without conditions (F2) and (F3) using the property of strictly increasing function defined on (0, +∞). For all details on monotone real functions see [29].
Let us give the following main result of this section.

Theorem 2.
Let (X, d bl , s ≥ 1) be 0 − d bl −complete and T : X → X be a generalized (s, q)-Jaggi-F-contraction-type mapping. Then, T has a unique fixed point x * ∈ X, if it is d bl −continuous and lim n→+∞ T n x = x * , for every x ∈ X.
Proof. First of all, we will prove the uniqueness of a possible fixed point. If the mapping T has a two distinct fixed point x * and y * in X then since d bl Tx * , Ty * > 0 and d bl (x * , y * ) > 0 we get by to (4): where or equivalently, The last obtained relation is in fact, a contradiction. Indeed, In the previously we used that for all s ≥ 1, q > 1 and x, y ∈ X whenever d bl Tx, Ty > 0 and d bl (x, y) > 0. Now, consider the following Picard sequence x n = Tx n−1 , n ∈ N where x 0 is arbitrary point in X. if x k = x k−1 for some k ∈ N then x k−1 is a unique fixed point of the mapping T. Therefore, suppose that x n = x n−1 for all n ∈ N. In this case we have that d bl (x n−1 , x n ) > 0 for all n ∈ N. Since, d bl Tx n−1 , Tx n > 0 and d bl (x n−1 , x n ) > 0 then according to (4) we get The relation (9) yields As B+2sC 1−A < 1 then, by Lemma 1 and Remark 2, we have that the sequence {x n } n∈N is a 0 − d bl −Cauchy in 0-complete b-metric-like space X, d bl , s ≥ 1 . This means that exists a unique point x * ∈ X such that lim n,m→+∞ Now, we will prove that x * is a fixed point of T. Since, the mapping T is continuous, then we get d bl Tx n , Tx * → d bl Tx * , Tx * , i.e., d bl x n+1 , Tx * → d bl Tx * , Tx * , as n → +∞. The conditions (11) and (12) show that Tx * = x * ,, i.e., x * is a fixed point of T. This completes the proof of Theorem 2.
Now we give some corollaries of Theorem 2.

Corollary 1.
Putting in (4) A = C = 0 we get that result of D. Wardowski holds true for all five classes of generalized metric spaces (partial metric, metric-like, b-metric, partial b-metric and b-metric-like) for continuous mapping T. Indeed, it this case, (4) yields for all x, y ∈ X, with d bl Tx, Ty > 0 and d bl (x, y) > 0. Further, from (13) follows that is., D. Wardowski F-contractive condition. This means that continuous mapping T has a unique fixed point x * in X and d bl T n x, Tx * = d bl T n x, x * → d bl (x, x * ) as n → +∞, for all x ∈ X.
Then, continuous mapping T : X → X has a unique fixed point x * ∈ X and d bl T n x, Tx * = d bl T n x, x * → d bl (x, x * ) as n → +∞, for all x ∈ X.
The immediately corollaries of Theorem 2 have new contraction conditions that generalize and complement results from [30,31]. Corollary 3. Let X, d bl , s ≥ 1 be a 0 − d bl −complete b-metric-like space and T be a self mapping satisfying a generalized (s, q)−Jaggi F-contraction-type (4) where C i > 0, i = 1, 3 such that for all x, y ∈ X with d bl Tx, Ty > 0 and d bl (x, y) > 0 the following inequalities hold true.
Then T has a unique fixed point x * ∈ X if it is continuous and then for every x ∈ X the sequence T n x n∈N converges to x * .

Main Results
Fixed point theory is an important tool for developing studies and calculations of solutions to differential and integral equations, dynamical systems, models in economy, game theory, physics, computer science, engineering, neural networks and many others. In this section, let us give two applications of our fixed point theorems previously discussed in fractional differential equations and in an initial value problem from mechanical engineering.
Let p : [0, +∞) → R be a continuous function. Next, we recall the definition of Caputo derivative of function p order β > 0 (see [32,33]): where β denotes the integer part of the positive real number β and Γ is a gamma function.
Further, we will provide an application of the Theorem 2 for proving the existence of a solution of the following nonlinear fractional differential equation with the boundary conditions  [34][35][36][37]). The Green function connected with the problem (21) is 1] |x(t) + y(t)| q , for all x, y ∈ X.
We can prove easily that X, d bl , s ≥ 1 is a 0 − d bl −complete b-metric-like space with parameter s = 2 q−1 . For simplicity let us denote the triple X, d bl , s ≥ 1 by X. Obviously x * ∈ X is a solution of (21) if and only if x * ∈ X is a solution of the equation Let us give our first main result of this section. Theorem 3. Consider the nonlinear fractional order differential Equation (21). Let ϑ: R × R → R be a given mapping and f : [0; 1] × R → R be a continuous function. Suppose that the following assertions are true: there exists x 0 ∈ X such that ϑ x 0 (t), (ii) there exists τ > 0 such that for all x, y ∈ X : A, B, C ≥ 0 with A + B + 2Cs < 1 and q > 1; Then problem (21) has a solution.
Proof. It is obvious that the problem (21) can be reduced to find an element x * ∈ X, which is a fixed point for the mapping T.
Let x, y ∈ X such that ϑ(x(t), y(t)) ≥ 0 for all t ∈ [0, 1]. By (iii) we have ϑ Tx, Ty ≥ 0. Then by hypothesis (i) and (ii) we have the following inequalities This means sup Then we get s q d bl Tx, Ty ≤ N A,B,C bl (x, y)e −τ .
If we take F(ω) = ln(ω) for all ω > 0 and since F ∈ F we get ln s q d bl Tx, Ty ≤ ln N A,B,C bl (x, y)e −τ or τ + ln s q d bl Tx, Ty ≤ ln N A,B,C bl (x, y) .
Applying Theorem 2, we deduce that T has a fixed point, which yields that Equation (21) has at least one solution.
Next, we will give a new application of Theorem 2, in mechanical engineering. Then, an automobile suspension system is the practicable application for the spring-mass system in engineering matters. Let us study the motion of an automobile spring when motion of it is upon a rugged and pitted road, where the forcing term is the rugged road and shock absorbers provide the damping. The possible external forces acting on the system are the gravity, the tension force, the earthquake, etc. We denote by m be the spring mass and by Φ the external force acting on it. Then, the next initial value problem express the critical damped motion of the spring-mass system under the action of an external force Φ.
where π > 0 denote the dumping constant and Φ : [0, θ] × R + → R is a continuous map. Obviously, the problem (31) with the following integral equation are equivalent.
where G(t, s) is the corresponding Green's function, defined as follows where ξ = π m is a constant ratio. Let us consider X = C [0, θ], R be the set of real continuous functions defined on [0, θ]. Then, for q ≥ 1 we consider the following b-metric-like where Then, it is easy to check that X, d bl , s ≥ 1 form a 0 − d bl −complete b-metric-like space with the coefficient s = 2. Let us denote again the triple X, d bl , s ≥ 1 by X.
Then, we have the prove that the problem (31) admits a solution if and only if there exists x * ∈ X, a solution of the equation Further, let us give the following second main theorem of this section. Suppose that: (i) the function Φ : [0, θ] × R + → R is a continuous function; (ii) there exists τ > 0 such that, for all x, y ∈ X, we have: d bl Tx, Ty > 0 and d bl (x, y) > 0 yields for all t ∈ [0, θ] and τ > 1, where A, B, C ≥ 0 with A + B + 2Cs < 1 and q > 1.
Then, the integral Equation (31) has a unique solution.
Proof. Then problem (31) can be considered to find an element x * ∈ X, which is a fixed point for the operator T.
Let x, y ∈ X such that d bl (x(t), y(t)) > 0 for all t ∈ [0, θ]. By hypothesis (iii) we have d bl (Tx, Ty) > 0. According with the hypothesis (i) and (ii) of the theorem, we have the following inequalities Then, we have Since θ 0 G(t, s)ds ≤ 1 and taking supremum on both sides, results Then For F(w) = ln w, for all w > 0 and F(w) ∈ F we obtain Equivalently By Theorem 2 with the coefficient q = 2, we get that T has a fixed point, which is the unique solution of the problem 31.

Numerical Example
In this section, we provide a numerical example to sustain our applications. For the case of the first application of the previous section, Theorem 3, let us consider the following nonlinear differential equation Then, we consider the operator T : It is easy to check that, for q = 1 and s = 1, under the assumptions of Theorem 3, the integral Equation (41) has a unique solution, such that x(t) = Tx(t) = t 3 . Further, we shall use the iteration method to underline the validity of our approaches Let α ∈ (1, 2). Then, we consider α = 1.5 and x 0 (t) = 0 as starting point. Table 1 show that for t = 0.1 the sequence x n+1 (t) = 1 0 (t(1 − s)) α−1 − (t − s) α−1 cos(x n (s))ds converge to the exact solution x(0.1) = T(x(0.1)) = 0.033. x 2 (0.1) 0.0307 2.6 * 10 −3 2 x 3 (0.1) 0.0307 2.6 * 10 −3 Using Python, a well known scientific computer program, in order to obtain the interpolated graphs of nonlinear integral equation for two cases, t = 0.1 and t = 0.9, we get the following interpolated graphs, Figure 1 respectively, Figure 2.

Conclusions
In this manuscript, among other things, using one theorem from the fixed point theory, we prove the following: • One type of Caputo fractional differential equation has at least one solution. national funds through the FCT/MCTES (PIDDAC) and MAGIC project, reference POCI-01-0145-FEDER-032485, funded by P2020|COMPETE-Projects in All Scientific Domains through FCT" are acknowledged.

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