Existence, uniqueness and Ulam stability results for a mixed-type fractional differential equations with p-Laplacian operator

In this paper, we study a nonlinear fractional p-Laplacian boundary value problem containing both left Riemann–Liouville and right Caputo fractional derivatives with initial and integral conditions. Some new results on the existence and uniqueness of a solution for the model are obtained as well as the Ulam stability of the solutions. Two examples are provided to show the applicability of our results.


Introduction
Over the last few decades, fractional differential equations have been of interest to many researchers and have proven to be very powerful tools for describing real problems in physics, chemistry, biology, and other fields (see [6][7][8]11,12,24] for example).
Recently, problems involving a non-linear p-Laplaican operator have gained its popularity and importance as a result of its distinguished applications in many diverse fields of science and engineering, such as viscoelasticity, non-Newtonian mechanics, electrochemistry, and so on.Some results have emerged for the existence and uniqueness of solutions to boundary value problems for fractional differential equations with p-Laplacian operator; we refer the reader to [10,15,[18][19][20]23,27] and the references therein.
An important part of the qualitative theory of linear and nonlinear differential equations is the stability of Ulam-Hyers, originally formulated by Hyers and Ulam in 1940 [9,25].Also, the study of stability analysis of Hyers-Ulam and the Ulam-Hyers-Rassias for non-linear fractional differential equations is a hot topic of research and the study of this area has grown to be one of the most important subjects in the mathematical analysis.A general view of the development of the Ulam-Hyers and the Ulam-Hyers-Rassias stability theory for fractional differential equations can be found in [1,[3][4][5]13,16,17,26,28].
Inspired by the above mentioned work, we are interested in studying the existence and uniqueness of solutions and the Ulam stability analysis for the following fractional p-Laplacian boundary value problem involving both the right Caputo fractional derivative and the left fractional derivative of Riemann-Liouville type: 0 + denote the right Caputo fractional derivative of order β and the left Riemann-Liouville fractional derivative of order α and f : The rest of this paper is organized as follows.We montion in the next section some definitions from fractional calculus theory and necessary lemmas.In Sect.3, we will prove the existence and uniqueness of solution to the problem (P) by using the Banach's contraction principle and Schauder's Fixed Point.In Sect.4, we present Ulam-Hyers and Ulam-Hyers-Rassias stability results for the nonlinear fractional differential equation.Examples are given to demonstrate the application of our main results.

Preliminaries
We recall some definitions and lemmas which are used further in this paper.Definition 2.1 [14] The left and right Riemann-Liouville fractional integrals of order μ > 0 of a function f are defined by Definition 2.2 [14] The left Riemann-Liouville fractional derivative and the right Caputo fractional derivative of ordre μ > 0 of a function f are respectively: denotes the integer part of the real number μ. Lemma 2.3 [22] Let φ p be p-Laplacian operator.Then, Definition 2.4 (Ulam-Hyers stability [21]).The problem (P) is Ulam-Hyers (U H) stable if there exists a real number k > 0 such that for each ε > 0 and for each v ∈ C 1 ([0, 1], R) solution of the inequality then the problem (P) is said generalized Ulam-Hyres stable (GUH).

is relatively compact if and only if X is uniformly bounded and equicontinuous.
Theorem 2.11 (Schauder fixed point theorem [2]).If is a nonempty closed bounded convex subset of a Banach space X and T : → is completely continuous, then T has a fixed point in .Theorem 2.12 (Banach's fixed point theorem [2]).Let be a nonempty closed convex subset of a Banach space X , then any contraction mapping T : → has a unique fixed point.

ds, has a unique solution, which is given by
where Proof Applying the fractional integral operator I β 1 − to the first equation of (P1), we get By the boundary value condition φ p (D α 0 + u( 1)) = 0, we have c = 0, consequently, , and then, which implies Hence As a result, where G 1 is defined by (3.3).From (3.11), we have (3.12) Substituting (3.12) into (3.11),we obtain where G and G 2 are defined by (3.2) and (3.4) respectively.Inversement, we prove that the function u ∈ C([0, 1], R) defined by (3.1) is solution of problem (P1).It is easy to verify that the function u satisfies the first equation of the problem (P1), and it is easy to prove the first and second condition of the problem (P1).
For the last condition we have, Other hand, we have Let the Banach space E = C([0, 1], R) be endowed with the norm We define the operator T : To prove the uniqueness of the solution of the problem (P), we used the Banach contraction mapping principle.For this, we make the following assumptions: (H1) There exists a positive continuous function w(t) such that (H2) There exists a positive constant L such that for all u, v ∈ R where then the problem (P) has a unique solution.
Proof By condition (H 1), we have that By Lemma (2.3)(i) and by (3.13), for any u, v ∈ E, we obtain This implies that T : E → E is a contraction mapping.By means of the Banach contraction mapping principle, we get that T has a unique fixed point which is a solution of problem (P).Now, we use the Schauder's fixed point theorem to investigate the existence results for the problem (P).To prove the main result, we make the following assumption: where R is chosen such that

Theorem 3.4 Assume (H 3) hold. Then the problem (P) has at least one solution in .
Proof For convenience, the proof will be done in several steps.Claim 1.We shall show that T is continuous.Consider the sequence (u n ) n converges to u in E, then for every t ∈ [0, 1] we have 123 From the continuity of f, φ q and by the dominated convergence theorem, we get T u n − T u ∞ → 0 as n → ∞.So, the operator T is continuous.Claim 2. We show that T ( ) ⊂ .By condition (H 3), for all t ∈ [0, 1] and u ∈ , we have which implies that T ( ) ⊂ and the set T ( ) is uniformly bounded.Claim 3. We show that the T ( ) is an equicontinuous set.Let u ∈ , 0 ≤ t 1 ≤ t 2 ≤ 1.We have where λ * = λη (α−λη α ) (α−1) .As t 2 → t 1 , the right-hand side of the above inequality tends to zero, therefore T ( ) is an equicontinuous set.Therefore by the Arzela-Ascoli implies that T is completely continuous.According to the Schauder's fixed point theorem, the operator T has at least one fixed point u ∈ which is a solution of the problem (P).
Proof Assume 1 < p ≤ 2. Suppose v is a solution of the following inequality for ε ∈ (0, 1] By Remark 2.8, we have Other hand, from (H 1) we obtain then, by Remark 2.8 and by Lemma (2.3)(i), we have Suppose v is a solution of the inequality (4.1), we obtain where Therefore, the problem (P) is UH stable.Theorem 4.3 Assume that 1 < p ≤ 2. Suppose that the conditions (H 1) and (H 2) holds.If L M q−2 δ(q − 1) and if there exists a constant k where θ f ∈ C([0, 1], R + ).Then the problem (P) is UHR stable.
Proof Suppose v is a solution of the following inequality From Remark 2.9, we have Other hand, for ε ∈ (0, 1].We have Suppose v is a solution of the inequality (4.1), we have Therefore, the problem (P) is UHR stable.

Example 2
Consider the following boundary value problem There exists a function w and In view of Theorem (3.3)

Conclusion
In this article, we have discussed the existence and uniqueness of solution for the nonlinear mixed-type fractional differential equations by applying some fixed point theorems (Banach's Contraction Principle, Schauder's Fixed Point Theorem).We have also show the Ulam stability of the solutions.The presence of the p-Laplacian operator, with left Riemann-Liouville and right Caputo fractional derivatives in the posed problem makes it more complicated and interesting.Similar problems can be generalized to fractional differential equations with other type of derivative and with higher order in future works.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material.If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funding The authors have not disclosed any funding.
Proof Firstly, observing the expression of function G, it is easy to see that G(t, s) ≥ 0 for t, s ∈ [0, 1].Secondly, by definition of function G 1 , it is clear that G 1 (t, s) ≤ 1 (α) for all t, s ∈ [0, 1], on the other hand, .459 36 < 1.Therefore, we conclude that the problem (P3) has a unique solution.Similarly, this implies that the solution of problem (P3) is UH stable with k = 474.35andhence GUH stable.By settingθ f (t) = 1.128 4 + 39. 46t 1/2 , t ∈ [0, 1] ,we ensure that the conditions of Theorem (4.3) are satisfied.So, the problem (P3) is UHR stable by respect to θ f with d = 474.35 and also, GUHR stable.