Abstract
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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 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:
where \(1<\alpha <2,\) \(0<\beta <1,\) \(\lambda >0,\) \(0<\eta <1\), \(0<\lambda \eta ^{\alpha }<\alpha \) and \(\phi _{p}(u)=\left| u\right| ^{p-2}u,\) \( \phi _{p}^{-1}=\phi _{q},\frac{1}{p}+\frac{1}{q}=1.\) \(^{C}D_{1^{-}}^{\beta } \) and \(D_{0^{+}}^{\alpha }\) denote the right Caputo fractional derivative of order \(\beta \) and the left Riemann–Liouville fractional derivative of order \(\alpha \) and \(f:[0,1]\times \mathbb {R} \rightarrow \mathbb {R}\) is a continuous function.
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.
2 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 \(\mu >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 \(\mu >0\) of a function f are respectively:
where \(n=\left[ \mu \right] +1,\) \(\left[ \mu \right] \) denotes the integer part of the real number \(\mu \).
Lemma 2.3
[22] Let \(\phi _{p}\) be p-Laplacian operator. Then,
-
(i)
If \(1<p\le 2,\) \(uv>0\) and \(\left| u\right| ,\) \( \left| v\right| \ge m>0,\) then
$$\begin{aligned} \left| \phi _{p}(u)-\phi _{p}(v)\right| \le (p-1)m^{p-2}\left| u-v\right| . \end{aligned}$$ -
(ii)
If \(p>2\) and \(\left| u\right| ,\) \(\left| v\right| \le M,\) then
$$\begin{aligned} \left| \phi _{p}(u)-\phi _{p}(v)\right| \le (p-1)M^{p-2}\left| u-v\right| . \end{aligned}$$
Definition 2.4
(Ulam–Hyers stability [21]). The problem (P) is Ulam–Hyers (UH) stable if there exists a real number \(k>0\) such that for each \(\varepsilon >0 \) and for each \(v\in C^{1}([0,1], \mathbb {R})\) solution of the inequality
there exists a solution \(u\in C^{1}([0,1],\mathbb {R})\) of the problem (P) such that
Definition 2.5
(Generalized Ulam–Hyers stablility [21]). Assume that \(v\in C^{1}([0,1], \mathbb {R})\) satisfies the inequality (2.1) and \(u\in C([0,1], \mathbb {R})\) is a solution of problem (P). If there exists a function \(\theta _{f}\) \( \in \) \(C( \mathbb {R}^{+}, \mathbb {R}^{+})\) with \(\theta _{f}(0)=0\) satisfying
then the problem (P) is said generalized Ulam-Hyres stable (GUH).
Definition 2.6
(Ulam–Hyers-Rassias stablility [21]). The problem (P) is Ulam–Hyers-Rassias stable (UHR) with respect to \(\theta _{f}\) \(\in \) \( C([0,1], \mathbb {R} ^{+})\) if there exists a real number \(k>0\) such that for each \(\varepsilon >0 \) and for each \(v\in C^{1}([0,1], \mathbb {R})\) solution of the inequality
there exists a solution \(u\in C([0,1], \mathbb {R})\) of the problem (P) such that
Definition 2.7
(Generalized Ulam–Hyers–Rassias stablility [21]). Assume that \( v\in C^{1}([0,1], \mathbb {R})\) satisfies the inequality in (2.2) and \(u\in C([0,1], \mathbb {R})\) is a solution of the problem (P). If there exists a real number \( k_{\theta _{f}}>0\ \)such that
then the problem (P) is said to be generalized Ulam-Hyres-Rassias stable (GUHR).
Remark 2.8
A function \(v\in C^{1}([0,1], \mathbb {R})\) is a solution of the inequality (2.1). If there is a function \(\Phi \in C([0,1], \mathbb {R}),\) which depends on v, such that
-
1.
\(\left| \Phi (t)\right| \le \varepsilon ,\) for all \(t\in [0,1],\)
-
2.
\(^{C}D_{1^{-}}^{\beta }(\phi _{p}(D_{0^{+}}^{\alpha }v(t)))=-f(t,v(t))+\Phi (t),\) \(t\in [0,1].\)
Remark 2.9
A function \(v\in C^{1}([0,1], \mathbb {R})\) is a solution of the inequality (2.2). If there is a function \(\Phi \in C([0,1], \mathbb {R}),\) which depends on v, such that
-
1.
\(\left| \Phi (t)\right| \le \varepsilon \theta _{f}(t),\) for all \(t\in [0,1],\)
-
2.
\(^{C}D_{1^{-}}^{\beta }(\phi _{p}(D_{0^{+}}^{\alpha }v(t)))=-f(t,v(t))+\Phi (t),\) \(t\in [0,1].\)
Theorem 2.10
(Arzela-Ascoli Theorem [2]). Let \(X\subset C([0,1], \mathbb {R})\). X is relatively compact if and only if X is uniformly bounded and equicontinuous.
Theorem 2.11
(Schauder fixed point theorem [2]). If \(\Omega \) is a nonempty closed bounded convex subset of a Banach space X and \(T: \Omega \rightarrow \Omega \) is completely continuous, then T has a fixed point in \(\Omega \).
Theorem 2.12
(Banach’s fixed point theorem [2]). Let \(\Omega \) be a nonempty closed convex subset of a Banach space X, then any contraction mapping \(T: \Omega \rightarrow \Omega \) has a unique fixed point.
3 Existence and uniqueness
Lemma 3.1
The boundary value problem
has a unique solution, which is given by
where
Proof
Applying the fractional integral operator \(I_{1^{-}}^{\beta }\) to the first equation of (P1), we get
By the boundary value condition \(\phi _{p}(D_{0^{+}}^{\alpha }u(1))=0\), we have \(c=0,\) consequently,
and then,
Letting
so
we arrive at
Condition \(\left. t^{2-\alpha }u(t)\right| _{t=0}=0\), imply that \(c_{2}=0\); i.e.,
By using the condition \(u(1)=\lambda \int _{0}^{\eta }u(s)ds,\) we obtain
which implies
Hence
As a result,
where \(G_{1}\) is defined by (3.3). From (3.11), we have
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\in C([0,1], \mathbb {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
or
then
we conclude that
\(\square \)
Lemma 3.2
The function G defined by (3.2) is continuous on \([0,1]\times [0,1]\) and satisfies
-
1.
\(G(t,s)\ge 0\) for \(t,s\in [0,1],\)
-
2.
\(G(t,s)\le \delta \), where \(\delta =\frac{\alpha -\lambda \eta ^{\alpha }+\alpha \lambda \eta }{\Gamma (\alpha )(\alpha -\lambda \eta ^{\alpha })}\) for \(t,s\in [0,1].\)
Proof
Firstly, observing the expression of function G, it is easy to see that \(G(t,s)\ge 0\) for \(t,s\in [0,1].\)
Secondly, by definition of function \( G_{1}\), it is clear that \(G_{1}(t,s)\le \frac{1}{\Gamma (\alpha )}\) for all \(t,s\in [0,1],\) on the other hand,
then
\(\square \)
for all \(t,s\in [0,1].\)
Let the Banach space \(E=C([0,1], \mathbb {R} )\) be endowed with the norm
We define the operator \(T:E\rightarrow E\) by
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
$$\begin{aligned} \left| f(t,u(t))\right| \le w(t),\text { }\left( t,u\right) \in [0,1]\times \mathbb {R}. \end{aligned}$$ - (H2):
-
There exists a positive constant L such that for all \( u,v\in \mathbb {R}\)
$$\begin{aligned} \left| f(t,u)-f(t,v)\right| \le L\left| u-v\right| ,\text { for all }t\in [0,1]. \end{aligned}$$
Theorem 3.3
Suppose that \(1<p\) \(\le 2\). Assume (H1) and (H2) holds. If
where
then the problem (P) has a unique solution.
Proof
By condition (H1), we have that
By Lemma (2.3)(i) and by (3.13), for any \(u,v\in E\), we obtain
This implies that \(T:E\rightarrow 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). \(\square \)
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:
- (H3):
-
There exist \(a_{1},a_{2}\in C([0,1], \mathbb {R}_{+})\) , \(0\le \nu <p-1\) such that
$$\begin{aligned} \left| f(t,u(t))\right| \le a_{1}(t)+a_{2}(t)\left| u\right| ^{\nu },\text { }\left( t,u\right) \in [0,1]\times \mathbb {R}. \end{aligned}$$
Let
where R is chosen such that
where \(A_{1}=\underset{t\in [0,1]}{\max }a_{1}(t),\) \(A_{2}=\underset{ t\in [0,1]}{\max }a_{2}(t).\)
Theorem 3.4
Assume (H3) hold. Then the problem (P) has at least one solution in \( \Omega \).
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\in [0,1]\) we have
From the continuity of f, \(\phi _{q}\) and by the dominated convergence theorem, we get \(\left\| Tu_{n}-Tu\right\| _{\infty }\rightarrow 0\) as \(n\rightarrow \infty .\) So, the operator T is continuous.
Claim 2. We show that \(T(\Omega )\subset \Omega \).
By condition (H3), for all \(t\in [0,1]\) and \(u\in \Omega ,\) we have
which implies that \(T(\Omega )\subset \Omega \) and the set \(T(\Omega )\) is uniformly bounded.
Claim 3. We show that the \(T\left( \Omega \right) \) is an equicontinuous set.
Let \(u\in \Omega ,\) \(0\le t_{1}\le t_{2}\le 1.\) We have
where \(\lambda ^{*}=\frac{\lambda \eta }{\left( \alpha -\lambda \eta ^{\alpha }\right) \Gamma \left( \alpha -1\right) }.\) As \(t_{2}\rightarrow t_{1}\), the right-hand side of the above inequality tends to zero, therefore \(T\left( \Omega \right) \) 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\in \Omega \) which is a solution of the problem (P). \(\square \)
4 Ulam stability results
Theorem 4.1
Assume \(1<p\) \(\le 2.\) Suppose that (H1) and (H2) holds. If
then the problem (P) is UH stable.
Proof
Assume \(1<p\) \(\le 2.\) Suppose v is a solution of the following inequality for \(\varepsilon \in (0,1]\)
By Remark 2.8, we have
Other hand, from (H1) 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
then
where \( M_{0}=M+\frac{1}{\Gamma (\beta +1)} \). Setting
we obtain
Therefore, the problem (P) is UH stable. \(\square \)
Remark 4.2
By setting \(\theta _{f}(\varepsilon )=k\varepsilon \) in (4.2), we obtain \(\theta _{f}(0)=0\) and then Problem (P) is GUH stable.
Theorem 4.3
Assume that \(1<p\) \(\le 2\). Suppose that the conditions (H1) and (H2) holds. If
and if there exists a constant \(k_{\theta _{f}}>0\) such that
where \(\theta _{f}\in C([0,1], \mathbb {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 \(\varepsilon \in (0,1].\) We have
then
Suppose v is a solution of the inequality (4.1), we have
then
setting
we obtain
Therefore, the problem (P) is UHR stable. \(\square \)
Remark 4.4
By putting \(\varepsilon =1\) in (4.4), we deduce that problem (P) is GUHR stable.
5 Illustrative examples
5.1 Example 1
Consider the fractional boundary value problem
We have \(\alpha =\frac{4}{3},\) \(\beta =\frac{3}{5},\) \(p=3,\) \(q=\frac{3}{2},\) \( \eta =\frac{1}{2},\) \(\lambda =2,\) \(\delta =3.\,8868\) and
satisfy
Then, we get \(\nu =\frac{1}{5}\), \( A_{1}=A_{2}=\frac{1}{50} \) and \( R=\frac{1}{2} \ge \max \lbrace 1. 0683,1. 1163\rbrace \) such that condition (H3) hold. By Theorem (3.4), we get that the problem (P2) has at least one solution.
5.2 Example 2
Consider the following boundary value problem
Here, we have \(\alpha =\frac{3}{2},\) \(\beta =\frac{1}{2},\) \(p=\frac{3}{2},\) \(q=3,\) \( \eta =\frac{1}{2},\) \(\lambda =4,\) \(\delta =40.\,588\) and
There exists a function \(w(t)=\frac{1}{10}(1-t)^{2}\ge 0\), for all \(t\in \left[ 0,1\right] \). Such that
and
In view of Theorem (3.3)
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.\,35\) and hence GUH stable. By setting
we ensure that the conditions of Theorem (4.3) are satisfied. So, the problem (P3) is UHR stable by respect to \(\theta _{f}\) with \(d=474.\,35\) and also, GUHR stable.
6 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.
Data Availability
Not applicable.
References
Abbas, S.; Benchohra, M.; Lagreg, J.; Alsaedi, A.; Zhou, Y.: Existence and ulam stability for fractional differential equations of Hilfer–Hadamard type. Adv. Differ. Equ. 180 (2017)
Abbas, S.; Benchohra, M.; Lazreg, J.E.; Nieto, J.J.; Zhou, Y.: Fractional differential equations and inclusions. Class. Adv. Top (2023)
Ahmad, D.; Agarwal, R.P.; Rahman, G.U.R.: Formulation, solution’s existence, and stability analysis for multi-term system of fractional-order differential equations. Symmetry 14(7) (2022)
Chen, C.; Bohner, M.; Jia, B.: Ulam–Hyers stability of Caputo fractional difference equations. Math. Meth. Appl. Sci. 42(18), 7461–7470 (2019). https://doi.org/10.1002/mma.5869
Dai, Q.; Gao, R.; Li, Z.; Wang, C.: Stability of Ulam–Hyers and Ulam–Hyers–Rassias for a class of fractional differential equations. Adv. Differ. Equ. 103 (2020). https://doi.org/10.1186/s13662-020-02558-4
Diethelm, K.: The Analysis of Fractional Differential Equations. Lecture Notes in Mathematics. Springer-Verlag, Berlin, Heidelberg (2010)
Guezane Lakoud, A.; Khaldi, R.; Kılıçman, A.: Existence of solutions for a mixed fractional boundary value problem. Adv. Differ. Equ. 164 (2017)
Heymans, N.; Podlubny, I.: Physical interpretation of initial conditions for fractional differential equations with Riemann–Liouville fractional derivatives. Rheol. Acta. 45(5), 765–771 (2006)
Hyers, D.H.: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 27(4), 222–224 (1941)
Jafari, H.; Baleanu, D.; Khan, H.; Khan, R.A.; Khan, A.: Existence criterion for the solutions of fractional order p-Laplacian boundary value problems. Bound. Value Probl. 164 (2015)
Jin, B.: Fractional Differential Equations. Springer International Publishing, Berlin (2021)
Kenef, E.; Guezane-Lakoud, A.: Impulsive mixed fractional differential equations with delay. Progr. Fract. Differ. Appl. 7(3), 203–215 (2021)
Khan, H.; Chen, W.; Sun, H.: Analysis of positive solution and Hyers–Ulam stability for a class of singular fractional differential equations with p-Laplacian in Banach space. Math. Methods Appl. Sci. 41(9), 3430–3440 (2018)
Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies. Elsevier, Amsterdam (2006)
Liang, S.; Zhang, J.: Existence and uniqueness of positive solutions for integral boundary problems of nonlinear fractional differential equations with p-Laplacian operator. Rocky Mountain. J. Math. 44(3), 953–974 (2014)
Liu, K.; Wang, J.; Zhou, Y.; O’Regan, D.: Hyers–Ulam stability and existence of solutions for fractional differential equations with Mittag–Leffler kernel. Chaos Soliton. Fract 132, 109534 (2020)
Luo, D.; Luo, Z.; Qiu, H.: Existence and Hyers–Ulam stability of solutions for a mixed fractional-order nonlinear delay difference equation with parameters. Math. Prob. Eng. 1–12 (2020)
Mahmudov, N.I.; Unul, S.: Existence of solutions of fractional boundary value problems with p-Laplacian operator. Bound. Value Probl. 99 (2015)
Merzoug, I.; Guezane-Lakoud, A.; Khaldi, R.: Existence of solutions for a nonlinear fractional p-Laplacian boundary value problem. Rendiconti del Circolo Matematico di Palermo Series 2 69(3), 1099–1106 (2019). https://doi.org/10.1007/s12215-019-00459-4
Ramdane, S.; Guezane Lakoud, A.: Existence of positive solutions for p-Laplacian systems involving left and right fractional derivatives. Arab J. Math. Sci. 27(2), 235–248 (2021) https://www.emerald.com/insight/1319-5166
Rus, I.A.: Ulam stabilities of ordinary differential equations in a Banach space. Carpathian J. Math. 26, 103–107 (2010)
Shen, T.; Liu, W.; Shen, X.: Existence and uniqueness of solutions for several BVPs of fractional differential equations with p-Laplacian operator. Mediterr. J. Math. 13, 4623–4637 (2016)
Siricharuanun, P.; Chasreechai, S.; Sitthiwirattham, T.: On a coupled system of fractional sum-difference equations with p-Laplacian operator. Adv. Differ. Equ. 361 (2020)
Song, S.; Cui, Y.: Existence of solutions for integral boundary value problems of mixed fractional differential equations under resonance. Bound. Value Probl. 23 (2020). https://doi.org/10.1186/s13661-020-01332-5
Ulam, S.M.: A Collection of Mathematical Problems. Interscience Publishers, New York (1960)
Wang, J.; Li, X.: Ulam–Hyers stability of fractional Langevin equations. Appl. Math. Comput. 258, 72–83 (2015)
Zhai, C.; Ma, Y.; Li, H.: Unique positive solution for a p-Laplacian fractional differential boundary value problem involving Riemann–Stieltjes integral. AIMS Math. 5(5), 4754–4769 (2020)
Zhang, L.; Zhang, N.; Zhou, B.: Solutions and stability for p-Laplacian differential problems with mixed type fractional derivatives. International Journal of Nonlinear Sciences and Numerical Simulation (2022). https://doi.org/10.1515/IJNSNS-2021-0204
Funding
The authors have not disclosed any funding.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Informed consent
Not applicable.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
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/.
About this article
Cite this article
Kenef, E., Merzoug, I. & Guezane-Lakoud, A. Existence, uniqueness and Ulam stability results for a mixed-type fractional differential equations with p-Laplacian operator. Arab. J. Math. 12, 633–645 (2023). https://doi.org/10.1007/s40065-023-00436-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40065-023-00436-x