Abstract
This paper deals with some existence and uniqueness results for a class of deformable fractional differential equations. These problems encompassed nonlinear implicit fractional differential equations involving boundary conditions and various types of delays, including finite, infinite, and state-dependent delays. Our approach to proving the existence and uniqueness of solutions relied on the application of the Banach contraction principle and Schauder’s fixed-point theorem. In the last section, we provide different examples to illustrate our obtained results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Recently, fractional differential equations have been used in engineering, mathematics, physics, and other applied disciplines. The existence of solutions to the ordinary and fractional differential equations with various conditions has received much attention; see the monographs [1, 2, 4, 5, 17, 33, 34, 38] and the papers [3, 6, 8, 13, 23, 27, 29,30,31,32]. Several results of implicit fractional differential equations have been recently provided, see [18,19,20,21, 28], and the references therein.
As a model of equations, functional differential equations with delay are commonly used. Several authors studied differential equations with delay [10,11,12, 14, 15]. For more details, see the papers which are concerned with finite delay [29, 30], infinite delay [1, 3, 10, 13], and state-dependent delay [1, 12].
In their work [39], Zulfeqarr et al. introduced a novel concept known as the deformable fractional derivative. This derivative is constructed using a limit technique, similar to the standard derivative, and is named “deformable” because of its unique ability to continuously transform a function into its derivative. Deformable derivatives can be considered as fractional order derivatives, which is supported by their linear relationship with functions and their corresponding derivatives. The study of various properties of deformable derivatives includes investigations into forms of Rolle’s theorem, Mean Value theorem, and Taylor’s theorem. It is worth noting that most definitions of fractional derivatives typically rely on integral forms. In contrast, R. Khalil introduced a limit-based definition of the fractional derivative, referred to as the conformable fractional derivative, in 2014 [16]. However, Khalil’s definition has limitations, particularly in its inability to handle zero and negative numbers. Zulfeqarr et al. claim that the deformable derivative offers a simpler and more versatile approach compared to Khalil’s definition, overcoming not only this limitation but also encompassing a broader class of functions.
The author of Ref. [24] investigated further properties of the new concept of deformable derivative and used the results to study the following Cauchy problem with non-local condition:
where \({\mathfrak {D}}_{0}^{\alpha }\) is the deformable derivative of order \(\alpha \in (0,1)\), and \(g: {\mathcal {C}} \rightarrow {\mathbb {R}}\) is a continuous function. Their arguments are based on Krasnoselskii’s fixed-point theorem.
In Ref. [26], Meraj and Pandey studied the existence and uniqueness of mild solution for the following initial value problem:
where \(A: D(A) \subset X \rightarrow X\) is an infinitesimal generator of a \(C_{0}\)-semigroup \(T(t)(t \geqslant 0)\) on a suitable space \(X, x_{0} \in X\), and \(J=[0, b], b>0\) is a constant. The results are obtained with the help of semigroup theory, Banach fixed-point theorem, and Schauder fixed-point theorem.
Given the scarcity of existing papers on deformable differential equations and with the goal of extending prior results in the field to contribute to the advancement of fractional calculus, this paper aims to investigate a specific class of deformable fractional differential equations with boundary condition, instantaneous impulses and finite delay:
where \({\mathfrak {D}}_{0}^{\alpha } {{x}}({{t}})\) is the deformable fractional derivative starting from the initial time a of the function \({\Psi }\) of order \(\alpha \in (0,1)\), \({\Psi }: {\Theta }\times C([-{\kappa },0],{{\mathbb {R}}})\times {{\mathbb {R}}}\), \(\zeta \in C((-{\kappa },0],{{\mathbb {R}}})\), \(0<\varpi <+\infty \), \({x}_\varpi \in {{\mathbb {R}}}\), \(\hbar _\ell : C((-{\kappa },0],{{\mathbb {R}}})\rightarrow {\mathbb {R}}\) are given continuous functions, and \({\kappa }>0\) is the time delay and \(0={t}_0<{t}_1<\cdots<{t}_{\mathfrak {m}}<{t}_{{\mathfrak {m}}+1}={\varpi }<\infty \), \({x}_{{t}_\ell ^+}=\lim \limits _{\epsilon \rightarrow 0^+} {x}({{t}_\ell +\epsilon })\) and \({x}_{{t}_\ell ^-}=\lim \limits _{\epsilon \rightarrow 0^-} {x}({{t}_\ell -\epsilon })\) represent the right and left hand limits of x(t) at \({t}={t}_\ell \), \(\Delta {x}\left| _{{t}={t}_\ell }={x}({t}_\ell ^+)-{x}({t}_\ell ^-) \right. \).
For any \({{t}}\in {\Theta },\) we give \({{x}}_{{t}}\) by
Next, we consider the following deformable fractional differential boundary problem with instantaneous impulses and infinite delay:
where \({\Psi }:{\Theta }\times {{{\mathcal {G}}}}\times {{\mathbb {R}}}\rightarrow {{\mathbb {R}}}\), \(\zeta :(-\infty ,0]\rightarrow {{\mathbb {R}}}\), \(\hbar _\ell :{{{\mathcal {G}}}}\rightarrow {\mathbb {R}}\) are given continuous functions, and \({{{\mathcal {G}}}}\) is a phase space. For \({{t}}\in {\Theta },\) we define \({{x}}_{{t}}\in {{{\mathcal {G}}}}\) by
In the next segment, we look into the following deformable fractional differential boundary problem with instantaneous impulses and state-dependent finite delay:
where \({\Psi }\in C((0,{\varpi }],{{\mathbb {R}}})\), \(\rho :{\Theta }\times C([-{\kappa },{\varpi }],{{\mathbb {R}}})\rightarrow {{\mathbb {R}}}\), \(\zeta \in C((-{\kappa },{\varpi }],{{\mathbb {R}}})\) are given continuous functions.
Finally, we study the following deformable fractional differential boundary problem with instantaneous impulses and state-dependent infinite delay:
where \({\Psi }:{\Theta }\times {{{\mathcal {G}}}}\times {{\mathbb {R}}}\rightarrow {{\mathbb {R}}}\), \(\zeta :(-\infty ,0]\rightarrow {{\mathbb {R}}}\) are given continuous functions.
The paper is organized as follows: Section 2 introduces some preliminaries, definitions, lemmas and auxiliary results about the deformable fractional derivative. In Sect. 3, we give some existence and uniqueness results for the first problem (1) that are based on the Banach contraction principle and Schauder’s fixed-point theorem. Section 4 deals with the deformable fractional boundary problem with instantaneous impulses and infinite delay (2). The same methods are used with the inclusion of the properties of the phase space \({{{\mathcal {G}}}}\). In Sections 5 and 7, we mention the problems (3) and (4), the results can be obtain using the same steps of the previous sections. Finally, we present several examples to show the validity of our results.
2 Preliminaries
First, we give the definitions and the notations that we will use throughout this paper. We denote by \(C(\Theta ,{{\mathbb {R}}})\) and \(C([-{\kappa },0],{{\mathbb {R}}})\) the Banach spaces of all continuous functions from \(\Theta \) and \([-{\kappa },0]\) into \({{\mathbb {R}}}\), respectively, with the following norms:
and
Let \({{{\mathcal {C}}}}:=C([-{\kappa },{\varpi }])\) be a Banach space with the norm
Let \(L^{1}(\Theta )\) be the Banach space of measurable and Lebesgue integrable functions \({x}:\Theta \rightarrow {\mathbb {R}}\) with
\(C^n(\Theta )\) denotes the set of mappings having n times continuously differentiable on \(\Theta \), where \(n\in {\mathbb {N}}\).
Consider the Banach space
with the norm
Definition 2.1
(The deformable fractional derivative [24, 39]). Let \({\Psi }:[0,+\infty ) \longrightarrow {{\mathbb {R}}}\) be a given function, the deformable fractional derivative of \({\Psi }\) of order \(\alpha \) is defined by
where \(\alpha +\beta =1\) and \(\alpha \in (0,1].\) If the deformable fractional derivative of \({\Psi }\) of order \(\alpha \) exists, then we simply say that \({\Psi }\) is \(\alpha \)-differentiable.
Definition 2.2
(The \(\alpha \)-fractional integral [24, 25]). For \(\alpha \in (0,1]\) and a continuous function \({\Psi }\), let
Lemma 2.3
([24, 25]) If \(\alpha ,\alpha _1 \in (0,1]\) such that \(\alpha +\beta =1\), \(\Psi \) and \(\Phi \) are two \(\alpha \)-differentiable functions at a point t and m, n are two given numbers, then the deformable fractional derivative satisfies the following properties:
-
1.
\({\mathfrak {D}}_{0}^{\alpha }(\lambda )=\beta \lambda \), for any constant \(\lambda \);
-
2.
\({\mathfrak {D}}_{0}^{\alpha }(m \Psi +n \Phi )=m {\mathfrak {D}}_{0}^{\alpha }(\Psi )+n {\mathfrak {D}}_{0}^{\alpha }(\Phi )\);
-
3.
\({\mathfrak {D}}_{0}^{\alpha }(\Psi \Phi )= \Phi {\mathfrak {D}}_{0}^{\alpha }(\Psi )+\alpha \Psi \Phi ^\prime \);
-
4.
\({}{{\mathcal {J}}}_{0^+}^{\alpha }\ {}{{\mathcal {J}}}_{0^+}^{\alpha _1}\Psi ={}{{\mathcal {J}}}_{0^+}^{\alpha +\alpha _1}\Psi \).
Lemma 2.4
([24, 25]) If \(\alpha \in (0,1]\) and f is continuous function, then we have:
-
1.
\(\left( {}{{\mathcal {J}}}_{0^+}^{\alpha }\ {\mathfrak {D}}_{0}^{\alpha }(\Psi )\right) ({t})=\Psi ({t})-e^{\frac{-\beta }{\alpha }{t}}\Psi (0);\)
-
2.
\({\mathfrak {D}}_{0}^{\alpha }\left( {}{{\mathcal {J}}}_{0^+}^{\alpha }\Psi \right) ({t})=\Psi ({t}).\)
Lemma 2.5
Let \(\Phi \in L^1(\Theta )\) and \(0<\alpha \le 1\). Then, the boundary value problem
has a unique solution defined by
Proof
Applying the \(\alpha \)-fractional integral of order \(\alpha \) to both sides the equation \(\left( {\mathfrak {D}}_{0}^{\alpha } {x}\right) ({t})= \Phi ({t})\), and using the first property from Lemma 2.4 and if \({t}\in [0,{t}_1]\), we get
Hence, we get
If \({t}\in ({t}_1,{t}_2]\), then using the first property from Lemma 2.4,
If \({t}\in ({t}_2,{t}_3]\), then using the first property from Lemma 2.4,
If \({t}\in ({t}_3,{t}_4]\), then using the first property from Lemma 2.4,
Hence, if \({t}\in ({t}_\ell ,{t}_\ell +1]\), we get
From the mixed boundary conditions \(\imath {x}(0)+\jmath {x}(\varpi )=\varrho \), we get
Thus,
Hence, we obtain (6).
Conversely, using the first property from Lemma 2.3 and the second property from Lemma 2.4, we can easily show that if x verifies equation (6) then it satisfied the problem (5). \(\square \)
Theorem 2.6
(Banach’s fixed-point theorem [9]). Let D be a non-empty closed subset of a Banach space X, then any contraction mapping T of D into itself has a unique fixed point.
Theorem 2.7
(Schauder’s fixed-point theorem [9]) . Let X be a Banach space, D be a bounded closed convex subset of X and \(T:D\rightarrow D\) be a compact and continuous map. Then T has at least one fixed point in D.
3 Existence results for the first problem
Definition 3.1
A solution of problem (1) is a function \({{x}}\in C([-{\kappa },{\varpi }],{{\mathbb {R}}})\) where
where \(\imath e^{\frac{\beta }{\alpha }\varpi }+\jmath e^{\frac{-\beta }{\alpha }\sum _{k=1}^{k={\mathfrak {m}}}{t}_k}\ne 0\) and \({\Phi }\in C({\Theta })\), with \({\Phi }({{t}})={\Psi }({{t}},{{x}}_{{t}},{\Phi }({{t}}))\).
The hypotheses:
- \((H_1)\):
-
There exist constants \(\omega _1>0,\ 0<\omega _2<1\) such that
$$\begin{aligned} |{\Psi } ({{t}},{{x}}_1, \Im _1)-{\Psi } ({{t}},{{x}}_2, \Im _2)|\le \omega _1\Vert {{x}}_1- {{x}}_2\Vert _{[-{\kappa },0]}+ \omega _2|\Im _1 -\Im _2|, \end{aligned}$$for any \({{x}}_1,{{x}}_2\in C([-{\kappa },0],{{\mathbb {R}}}),\ \Im _1,\Im _2\in {\mathbb {R}},\) and each \({{t}}\in {\Theta }.\)
- \((H_{01})\):
-
There exists a constant \(\omega '_1>0\) such that
$$\begin{aligned} |\hbar _\ell ({x})-\hbar _\ell (\Im )|\le \omega '_1\Vert {{x}}- {\Im }\Vert _{[-{\kappa },0]}, \end{aligned}$$for any \({{x}},{\Im }\in C([-{\kappa },0],{{\mathbb {R}}})\) and each \({{t}}\in {\Theta }.\)
Remark 3.2
We note that by taking
where \({\Psi }^*=\displaystyle \sup _{{{t}}\in [0,{\varpi }]}{\Psi }({{t}},0,0)\). Then, hypothesis \((H_1)\) implies that
and hypothesis \((H_{01})\) implies that
for any \({{x}}\in C([-{\kappa },0],{{\mathbb {R}}}),\ \Im \in {\mathbb {R}},\) and each \({{t}}\in {\Theta }.\)
Now, we will give our first existence and uniqueness result that is based on Banach’s fixed-point theorem [9].
Theorem 3.3
Assume that the hypotheses \((H_1)\) and \((H_{01})\) hold. If
then problem (1) has a unique solution on \([-{\kappa },{\varpi }].\)
Proof
Consider the operator \({{\mathcal {H}}}:{{{\mathcal {C}}}}\rightarrow {{{\mathcal {C}}}}\) such that,
where \({\Phi }\in C({\Theta })\), with \({\Phi }({{t}})={\Psi }({{t}},{{x}}_{{t}},{\Phi }({{t}}))\).
Let \({{x}},\Im \in C({\Theta }).\) Then, for each \({{t}} \in [-{\kappa },0],\) we get
and for each \({{t}} \in [0,{t}_1],\) we obtain
where \({\Phi },\ {\Upsilon }\in C({\Theta })\) such that
From \((H_1),\) we have
Thus,
Then, we get
and for each \({{t}} \in ({t}_\ell ,{t}_\ell +1],\) we obtain
where \({\Phi },\ {\Upsilon }\in C({\Theta })\) such that
Then, we get
Hence, we get
Consequently, by Banach’s fixed-point theorem, the operator \({{\mathcal {H}}}\) has a unique fixed point, which is the unique solution of our problem (1) on \([-{\kappa },{\varpi }].\) \(\square \)
Theorem 3.4
If \((H_1)\) and \((H_{01})\) hold, and
then problem (1) has at least one solution on \([-{\kappa },{\varpi }].\)
Proof
Consider the operator \({{\mathcal {H}}}\) defined in (10). Let \({\delta }>0\) such that
Consider the ball
Claim 1. \({{\mathcal {H}}}\) is continuous.
Let \(\{{{x}}_n\}_n\) be a sequence such that \({{x}}_n\rightarrow {{x}}\) on \({\Xi }_{\delta }.\) For each \({{t}} \in [-{\kappa },0],\) we have
and for each \({{t}}\in [0,{t}_1],\) we have
and for each \({{t}}\in ({t}_\ell ,{t}_\ell +1],\) we have
where \({\Phi }_n,\ {\Phi }\in C({\Theta },{\mathbb {R}})\) such that
Since
and \({\Psi },{\Phi }\) and \({\Phi }_n\) are continuous, we deduce that
Hence, \({{\mathcal {H}}}\) is continuous.
Claim 2. \({{\mathcal {H}}}({\Xi }_{\delta })\subset {\Xi }_{\delta }.\)
Let \({{x}}\in {\Xi }_{\delta },\) If \({{t}}\in [-{\kappa },0]\) then \(\Vert ({{\mathcal {H}}}{{x}})({{t}})\Vert \le \Vert \zeta \Vert _{C}\le {\delta }.\) From Remark 3.2, for each \({{t}}\in [0,{t}_1],\) we have
Then,
Thus,
and for each \({{t}} \in ({t}_\ell ,{t}_\ell +1],\) we obtain
Hence,
Consequently, \({{\mathcal {H}}}({\Xi }_{\delta })\subset {\Xi }_{\delta }.\)
Claim 3. \({{\mathcal {H}}}({\Xi }_{\delta })\) is equicontinuous.
For \(0\le {{\varrho }}_1\le {{\varrho }}_2\le {\varpi },\) and \({x}\in {\Xi }_{\delta },\) we get
As \({{\varrho }}_2\rightarrow {{\varrho }}_1\) then \(|{{\mathcal {H}}}({{x}})({{\varrho }}_1) -{{\mathcal {H}}}({{x}})({{\varrho }}_2)|\rightarrow 0\). We deduce that \({{\mathcal {H}}}({\Xi }_{\delta })\) is equicontinuous.
Consequently, Arzelá–Ascoli theorem implies that \({{\mathcal {H}}}\) is continuous and compact. Thus, by Schauder’s fixed-point theorem [9], we deduce that \({{\mathcal {H}}}\) has at least a fixed point which is a solution of (1). \(\square \)
4 Existence results for the second problem
In this section, we are concerned with the existence results of (2). Let the space \(({{{\mathcal {G}}}},\Vert \cdot \Vert _{{{\mathcal {G}}}})\) be a seminormed linear space of functions mapping \((-\infty ,0]\) into \({\mathbb {R}}\) given by
and verifying the following axioms which were derived from Hale and Kato’s originals [10]:
-
\((Ax_1)\) If \(y:(-\infty ,0]\rightarrow {\mathbb {R}},\) and \({{x}}_0 \in {{{\mathcal {G}}}},\) then there exist constants \({\xi _1},{\xi _2},{\xi _3}>0\), such that for each \({{t}}\in {\Theta };\) we have:
- (a):
-
\({{x}}_{{t}}\ is\ in\ {{{\mathcal {G}}}},\)
- (b):
-
\(\Vert {{x}}_{{t}}\Vert _{{{\mathcal {G}}}}\le {\xi _1} \Vert {{x}}_1\Vert _\mathcal{G}+ {\xi _2} \sup _{{\vartheta }\in [0,{{t}}]}|{{x}}({\vartheta })|,\)
- (c):
-
\(\Vert {{x}}({{t}})\Vert \le {\xi _3}\Vert {{x}}_{{t}}\Vert _{{{\mathcal {G}}}}.\)
-
\((Ax_2)\) For the function \({{x}}(\cdot )\ in\ (Ax_1)\), \(y_{t}\) is a \({{{\mathcal {G}}}}-\) valued continuous function on \({\Theta }.\)
-
\((Ax_3)\) The space \({{{\mathcal {G}}}}\) is complete.
Consider the space
Definition 4.1
By a solution of problem (2), we mean a function \({{x}}\in \Xi \) such that
where \(\imath e^{\frac{\beta }{\alpha }\varpi }+\jmath e^{\frac{-\beta }{\alpha }\sum _{k=1}^{k={\mathfrak {m}}}{t}_k}\ne 0\) and \({\Phi }\in C({\Theta })\), with \({\Phi }({{t}})={\Psi }({{t}},{{x}}_{{t}},{\Phi }({{t}}))\).
The hypothesis:
- \((H_2)\):
-
The function \({\Psi }\) verifies:
$$\begin{aligned} |{\Psi } ({{t}},{{x}}_1,\Im _1)-{\Psi } ({{t}},{{x}}_2,\Im _2)|\le b_1\Vert {{x}}_1- {{x}}_2\Vert _{{{\mathcal {G}}}} + b_2|\Im _1 -\Im _2|, \end{aligned}$$for any \({{x}}_1,x_2\in {{{\mathcal {G}}}}\), \(\Im _1,\Im _2\in {\mathbb {R}},\) and each \({{t}}\in {\Theta },\) where \(b_1>0\) and \(0<b_2<1.\)
- \((H_{02})\):
-
There exists a constant \(b'_1>0\) such that:
$$\begin{aligned} |\hbar _\ell ({x})-\hbar _\ell (\Im )|\le b'_1\Vert {{x}}- {\Im }\Vert _\mathcal{G}, \end{aligned}$$for any \({{x}},{\Im }\in {{{\mathcal {G}}}}\).
Remark 4.2
We note that by taking:
where \({\Psi }^*=\displaystyle \sup _{{{t}}\in [0,{\varpi }]}{\Psi }({{t}},0,0)\). Then, hypothesis \((H_2)\) implies that
and hypothesis \((H_{02})\) implies that
for any \({{x}}\in {{{\mathcal {G}}}},\ \Im \in {\mathbb {R}},\) and each \({{t}}\in {\Theta }.\)
Theorem 4.3
If \((H_2)\) and \((H_{02})\) hold, and
then (2) admit a unique solution on \((-\infty ,{\varpi }].\)
Proof
Define the operator \(N_1:\Xi \rightarrow \Xi \) where
where \({\Phi }\in C({\Theta })\), with \({\Phi }({{t}})={\Psi }({{t}},{{x}}_{{t}},{\Phi }({{t}}))\).
Let \({\varkappa _1}:(-\infty ,{\varpi }]\rightarrow {\mathbb {R}}\) be a function given by
Then \({\varkappa _1}_0=\zeta \). For each \({\varkappa _2}\in C({\Theta }),\) with \({\varkappa _2}(0)=0,\) we denote by \(\overline{{\varkappa _2}}\) the function defined by
If \({{x}}(\cdot )\) satisfies the integral equation
We can decompose \({{x}}(\cdot )\) as \({{x}}({{t}}) = \overline{{\varkappa _2}}({{t}}) + {\varkappa _1}({{t}});\) for \({{t}}\in {\Theta },\) which implies that \({{x}}_{{t}} =\overline{ {\varkappa _2}}_{{t}} + {\varkappa _1}_{{t}}\) for every \({{t}}\in {\Theta },\) and the function \({\varkappa _2}(\cdot )\) satisfies
where
Set
and let \(\Vert \cdot \Vert _\varpi \) be the norm in \({{\mathcal {D}}_0}\) defined by
where \({{\mathcal {D}}_0}\) is a Banach space with norm \(\Vert \cdot \Vert _T.\) Define the operator \({{\mathcal {K}}}: {{\mathcal {D}}_0} \rightarrow {{\mathcal {D}}_0}\) by
where
We shall show that \({{\mathcal {K}}}:{{\mathcal {D}}_0}\rightarrow {{\mathcal {D}}_0}\) is a contraction map. Let \({\varkappa _2},{\varkappa _2}'\in {{\mathcal {D}}_0},\) then we have for each \({{t}}\in [0,{t}_1]\)
where \({\Phi },\ {\Upsilon }\in C({\Theta })\) such that
For each \({{t}} \in {\Theta }\), we have
Then, for each \({{t}} \in {\Theta },\) we get
and for each \({{t}} \in ({t}_\ell ,{t}_\ell +1],\) we obtain
where \({\Phi },\ {\Upsilon }\in C({\Theta })\) such that
Then, we get
Thus, we get
Hence, from the Banach contraction principle, \({{\mathcal {K}}}\) has a unique fixed point. Thus, the existence of the unique solution of problem (2). \(\square \)
Theorem 4.4
If \((H_2)\) and \((H_{02})\) hold. Then (2) admit at least one solution on \((-\infty ,{\varpi }].\)
Proof
Consider \({{\mathcal {K}}}:{{\mathcal {D}}_0}\rightarrow {{\mathcal {D}}_0}\) given in (13), For \({\delta }>0,\) let
Claim 1. \({{\mathcal {H}}}\) is continuous.
Let \({{\varkappa _2}_n}\) be a sequence where \({\varkappa _2}_n\rightarrow {\varkappa _2}\) in \({{\mathcal {D}}_0}.\) For \({{t}}\in [0,{t}_1],\) we have
and for each \({{t}}\in ({t}_\ell ,{t}_\ell +1],\) we have
where \({\Phi }_n,\ {\Phi }\in C({\Theta })\) such that
Since \(\Vert {\varkappa _2}_n-{\varkappa _2}\Vert _{{\varpi }}\rightarrow 0\text { as } n\rightarrow \infty \) and \({\Psi },{\Phi }\) and \({\Phi }_n\) are continuous, then
Hence, \({{\mathcal {K}}}\) is continuous.
Claim 2. \({{\mathcal {K}}}({\Xi }_{\delta })\) is bounded.
Let \({\varkappa _2}\in {\Xi }_{\delta },\) for \({{t}}\in [0,{t}_1],\) we obtain
Therefore,
Thus,
and for each \({{t}} \in ({t}_\ell ,{t}_\ell +1],\) we obtain
Hence,
Claim 3. \({{\mathcal {K}}}({\Xi }_{\delta })\) is equicontinuous.
For \(0\le {\varrho }_1\le {\varrho }_2\le {\varpi },\) and \({\varkappa _2}\in {\Xi }_{\delta },\) we have
As \({\varrho }_2\rightarrow {\varrho }_1\) then \(|{{\mathcal {H}}}({{x}})({\varrho }_1)-{{\mathcal {H}}}({{x}})({\varrho }_2)|\rightarrow 0\). Thus, \({{\mathcal {K}}}:{{\mathcal {D}}_0}\rightarrow {{\mathcal {D}}_0}\) is completely continuous.
Claim 4. The priori bounds.
We prove that the set
is bounded. Let \({\varkappa _2}\in {{\mathcal {D}}_0}.\) Let \(u\in {{\mathcal {D}}_0},\) such that \({\varkappa _2}=\lambda {{\mathcal {K}}}({\varkappa _2})\); for some \(\lambda \in (0,1).\) Then for each \({{t}}\in {\Theta },\) we have
By Remark 4.2 we have
This gives
Thus, for each \({{t}}\in [0,{t}_1],\) we obtain
and for each \({{t}} \in ({t}_\ell ,{t}_\ell +1],\) we obtain
Hence,
This shows that the set \({{{\mathcal {E}}}}\) is bounded. Thus, by Schaefer’s fixed-point theorem [9], \({{\mathcal {H}}}\) has a fixed point which is a solution of problem (2). \(\square \)
5 Existence results for the third problem
Definition 5.1
A solution of (3) is a function \({{x}}\in C([-{\kappa },{\varpi }],{{\mathbb {R}}})\) where
where \(\imath e^{\frac{\beta }{\alpha }\varpi }+\jmath e^{\frac{-\beta }{\alpha }\sum _{k=1}^{k={\mathfrak {m}}}{t}_k}\ne 0\) and \({\Phi }\in C({\Theta })\), with \({\Phi }({{t}})={\Psi }({{t}},{{x}}_{\rho ({{t}},{{x}}_{{t}})},{\Phi }({{t}}))\).
The hypotheses:
- \((H_3)\):
-
The function \({\Psi }\) verifies
$$\begin{aligned} |{\Psi } ({{t}},{{x}}_1, \Im _1)-{\Psi } ({{t}},{{x}}_2, \Im _2)|\le \omega _4\Vert {{x}}_1- {{x}}_2\Vert _{[-{\kappa },0]}+ \omega _5|\Im _1 -\Im _2|, \end{aligned}$$for any \({{x}}_1,x_2\in C([-{\kappa },0],{\mathbb {R}}),\ \Im _1,\Im _2\in {\mathbb {R}},\) and each \({{t}}\in {\Theta },\) where \(\omega _4>0,\ 0<\omega _5<1.\)
- \((H_{03})\):
-
There exist a constant \(\omega '_4>0\) such that
$$\begin{aligned} |\hbar _\ell ({x})-\hbar _\ell (\Im )|\le \omega '_4\Vert {{x}}- {\Im }\Vert _{[-{\kappa },0]}, \end{aligned}$$for any \({{x}},{\Im }\in C([-{\kappa },0],{{\mathbb {R}}})\).
Remark 5.2
We note that by taking:
where \({\Psi }^*=\displaystyle \sup _{{{t}}\in [0,{\varpi }]}{\Psi }({{t}},0,0)\). Then, hypothesis \((H_3)\) implies that
and hypothesis \((H_{03})\) implies that
for any \({{x}}\in C([-{\kappa },0],{\mathbb {R}}),\ v\in {\mathbb {\Im }},\) and each \({{t}}\in {\Theta }.\)
As in Theorems 3.3 and 3.4, we obtain the following.
Theorem 5.3
If \((H_3)\) and \((H_{03})\) hold and
then (3) admit a unique solution on \([-{\kappa },{\varpi }].\)
Theorem 5.4
Assume that the hypotheses \((H_3)\) and \((H_{03})\) hold. If
then (3) admit at least one solution on \([-{\kappa },{\varpi }].\)
6 The existence results for the fourth problem
Definition 6.1
A solution of (4) is a function \({{x}}\in \Xi \) where
where \(\imath e^{\frac{\beta }{\alpha }\varpi }+\jmath e^{\frac{-\beta }{\alpha }\sum _{k=1}^{k={\mathfrak {m}}}{t}_k}\ne 0\) and \({\Phi }\in C({\Theta })\), with \({\Phi }({{t}})={\Psi }({{t}},{{x}}_{\rho ({{t}},{{x}}_{{t}})},{\Phi }({{t}}))\).
Set
Suppose that \(\rho :{\Theta }\times {{{\mathcal {G}}}}\rightarrow {\mathbb {R}}\) is continuous and \({{t}}\rightarrow {{x}}_{{t}}\) is continuous from \({{\delta }}'\) into \({{{\mathcal {G}}}}.\) \((H_\eta )\) There exists a continuous bounded function \({\varrho }:{{\delta }}'_{\rho ^-}\rightarrow (0,\infty )\) where
Lemma 6.2
If \({{x}}\in \Xi \), then
where
The hypotheses:
- \((H_4)\):
-
The function \({\Psi }\) verifies
$$\begin{aligned} |{\Psi } ({{t}},{{x}}_1, \Im _1) - {\Psi } ({{t}},{{x}}_2, \Im _2)|\le b_3\Vert {{x}}_1- {{x}}_2\Vert _{{{\mathcal {G}}}} + b_4|\Im _1 -\Im _2|, \end{aligned}$$for any \({{x}}_1,x_2\in {{{\mathcal {G}}}}\), \(\Im _1,\Im _2\in {\mathbb {R}},\) and each \({{t}}\in {\Theta },\) where \(b_3>0\) and \(0<b_4<1.\)
- \((H_{04})\):
-
There exists a constant \(b'_4>0\) such that
$$\begin{aligned} |\hbar _\ell ({x})-\hbar _\ell (\Im )|\le b'_4\Vert {{x}}- {\Im }\Vert _\mathcal{G}, \end{aligned}$$for any \({{x}},{\Im }\in {{{\mathcal {G}}}}\).
Remark 6.3
We note that by taking
where \({\Psi }^*=\displaystyle \sup _{{{t}}\in [0,{\varpi }]}{\Psi }({{t}},0,0)\). Then, hypothesis \((H_4)\) implies that
and hypothesis \((H_{04})\) implies that
for any \({{x}}\in {{{\mathcal {G}}}},\ \Im \in {\mathbb {R}},\) and each \({{t}}\in {\Theta }.\)
As in Theorems 4.3 and 4.4, we have the following.
Theorem 6.4
If \((H_4)\) and \((H_{04})\) hold and
then (4) admit a unique solution on \((-\infty ,{\varpi }].\)
Theorem 6.5
If \((H_\zeta )\), \((H_4)\) and \((H_{04})\) are met, then (4) admit at least one solution on \((-\infty ,{\varpi }].\)
7 Some examples
We give now some examples that illustrate our obtained results throughout the paper.
Example 7.1
Consider the following problem:
where \(\Theta _0=[0,\frac{1}{2}]\),\(\Theta _1=(\frac{1}{2},1]\), \({t}_0=0\) and \({t}_1=1\).
Set
For any \({{x}},\widetilde{{{x}}}\in {{{\mathcal {C}}}},\ {{x}},\widetilde{{{x}}}\in {\mathbb {R}},\) and \({{t}}\in [0,1],\) we have
and
Hence, hypothesis \((H_1)\) is satisfied with
and hypothesis \((H_{01})\) is satisfied with
Some calculations indicate that all of the requirements of Theorem 3.3 are verified. Thus, (17) has a unique solution.
Example 7.2
Consider the following example:
Let \(\gamma \) be a positive real constant and
The norm of \(B_\gamma \) is given by
Let \({{x}}:(-\infty ,0]\rightarrow {\mathbb {R}}\) be such that \({{x}}_0\in B_\gamma .\) Then,
Hence, \({{x}}_{{t}}\in B_\gamma .\) Finally, we prove that
where \({\xi _1}={\xi _2}=1\) and \({\xi _3}=1.\) We have
If \({{t}}+{\tau }\le 1,\) we get
For \({{t}}+{\tau }\ge 0,\) then we have
Thus, for all \({{t}}+{\tau }\in {\Theta },\) we get
Then,
It is clear that \((B_\gamma ,\Vert \cdot \Vert )\) is a Banach space. We can conclude that \(B_\gamma \) is a phase space.
Set
For any \({{x}},\tilde{{{x}}}\in {B_\gamma },\ \Im ,{\tilde{\Im }}\in {\mathbb {R}}\) and \({{t}}\in [0,1],\) we have
and
Hence, hypothesis \((H_2)\) is satisfied with
and hypothesis \((H_{02})\) is satisfied with
All requirements of Theorem 4.4 are met. Then, problem (18) has at least one solution defined on \((-\infty ,1].\)
Example 7.3
We consider the following problem:
where \(\sigma \in C({\mathbb {R}},[0,1]).\) Set
For \({{x}},\widetilde{{{x}}}\in {{{\mathcal {C}}}},\ \Im ,{\widetilde{\Im }}\in {\mathbb {R}}\) and \({{t}}\in [0,1],\) we have
and
Hence, hypothesis \((H_3)\) is satisfied with
and hypothesis \((H_{03})\) is satisfied with
All requirements of Theorem 5.3 are verified. Thus, (20) has a unique solution defined on \([-1,1].\)
Example 7.4
Consider now the problem:
Define
and set
where \({{t}}\in [0,2],\ {{x}}\in {B_\gamma },\ \Im \in {\mathbb {R}}\). We can demonstrate that all conditions of Theorem 4.4 are verified. Then, (21) has at least one solution defined on \((-\infty ,2].\)
8 Conclusion
In this research, we have established the existence and uniqueness of solutions for a class of deformable fractional differential problems. These problems encompassed nonlinear implicit fractional differential equations that were accompanied by boundary conditions and various types of delays, including finite, infinite, and state-dependent delays. Our approach to proving the existence and uniqueness of solutions relied on the application of the Banach contraction principle and Schauder’s fixed-point theorem. To illustrate the practicality of our key findings and to demonstrate that the prerequisites of our theorems can be satisfied, we provided several specific examples. Our results in this particular configuration represent a novel contribution to the literature in this emerging field of study. Given the limited number of publications on deformable differential equations, we believe there are numerous potential research avenues to explore. These may include investigating coupled systems, problems involving non-local conditions, hybrid problems, problems with non-instantaneous impulses, and various qualitative studies such as Ulam stability. We aspire for this article to serve as a point for further exploration in these directions.
Availability of data and materials
Data sharing not applicable to this paper as no data sets were generated or analyzed during the current study.
References
Abbas, S.; Benchohra, M.; Graef, J.R.; Henderson, J.: Implicit Fractional Differential and Integral Equations: Existence and Stability. De Gruyter, Berlin (2018)
Abbas, S.; Benchohra, M.; N’Guérékata, G.M.: Advanced Fractional Differential and Integral Equations. Nova Science Publishers, New York (2015)
Benchohra, M.; Bouazzaoui, F.; Karapinar, E.; Salim, A.: Controllability of second order functional random differential equations with delay. Mathematics. 10, 16 (2022). https://doi.org/10.3390/math10071120
Benchohra, M.; Karapınar, E.; Lazreg, J.E.; Salim, A.: Advanced Topics in Fractional Differential Equations: A Fixed Point Approach. Springer, Cham (2023)
Benchohra, M.; Karapınar, E.; Lazreg, J.E.; Salim, A.: Fractional Differential Equations: New Advancements for Generalized Fractional Derivatives. Springer, Cham (2023)
Benkhettou, N.; Aissani, K.; Salim, A.; Benchohra, M.; Tunc, C.: Controllability of fractional integro-differential equations with infinite delay and non-instantaneous impulses. Appl. Anal. Optim. 6, 79–94 (2022)
Bouriah, S.; Salim, A.; Benchohra, M.: On nonlinear implicit neutral generalized Hilfer fractional differential equations with terminal conditions and delay. Topol. Algebra Appl. 10, 77–93 (2022). https://doi.org/10.1515/taa-2022-0115
Derbazi, C.; Hammouche, H.; Salim, A.; Benchohra, M.: Measure of noncompactness and fractional Hybrid differential equations with Hybrid conditions. Differ. Equ. Appl. 14, 145–161 (2022). https://doi.org/10.7153/dea-2022-14-09
Granas, A.; Dugundji, J.: Fixed Point Theory. Springer-Verlag, New York (2003)
Hale, J.; Kato, J.: Phase space for retarded equations with infinite delay. Funkc. Ekvac. 21, 11–41 (1978)
Hale, J.; Verduyn, K.; Lunel, S.M.: Introduction to Functional-Differential Equations. Springer, New York (1991)
Hernández, E.: On abstract differential equations with state dependent non-local conditions. J. Math. Anal. Appl. 466(1), 408–425 (2018)
Heris, A.; Salim, A.; Benchohra, M.; Karapinar, E.: Fractional partial random differential equations with infinite delay. Results Phys. (2022). https://doi.org/10.1016/j.rinp.2022.105557
Hino, Y., Murakami, S., Naito, T.: Functional Differential Equations with Infinite Delay, Lecture Notes in Math., 1473, Springer-Verlag, Berlin, Heidelberg, New York (1991)
Hino, Y.; Murakami, S.; Naito, T.; Minh, N.V.: A variation-of-constants formula for abstract functional differential equations in phase space. J. Differ. Equ. 179, 336–355 (2002)
Khalil, R.; Al-Horani, M.; Yousef, A.; Sababheh, M.: A new definition of fractional derivative. J. Comput. Appl. Math. 264, 65–70 (2014)
Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Krim, S.; Abbas, S.; Benchohra, M.; Darwish, M.A.: Boundary value problem for implicit Caputo-Fabrizio fractional differential equations. Int. J. Differ. Equ. 15(2), 493–510 (2020)
Krim, S.; Abbas, S.; Benchohra, M.: Caputo-Hadamard implicit fractional differential equations with delay. Pãulo J. Math. Sci. 15(1), 463–484 (2021)
Krim, S., Abbas, S., Benchohra, M., Karapinar, E.: Terminal value problem for implicit Katugampola fractional differential equations in b-metric spaces. J. Funct. Spaces, Article ID 5535178, 7 pages (2021)
Kucche, K.D.; Nieto, J.J.; Venktesh, V.: Theory of nonlinear implicit fractional differential equations. Differ. Equ. Dynam. Syst. 28, 1–17 (2020)
Laledj, N.; Salim, A.; Lazreg, J.E.; Abbas, S.; Ahmad, B.; Benchohra, M.: On implicit fractional \(q\)-difference equations: Analysis and stability. Math. Meth. Appl. Sci. 45(17), 10775–10797 (2022). https://doi.org/10.1002/mma.8417
Lazreg, J.E.; Benchohra, M.; Salim, A.: Existence and Ulam stability of \(k\)-Generalized \(\psi \)-Hilfer Fractional Problem. J. Innov. Appl. Math. Comput. Sci. 2, 01–13 (2022)
Mebrat, M.; N’Guérékata, G.: A Cauchy problem for some fractional differential equation via deformable derivatives. J. Nonlinear Evol. Equ. Appl. 2020, 55–63 (2020)
Mebrat, M.; N’Guérékata, G.: An existence result for some fractional-integro differential equations in Banach spaces via deformable derivative. J. Math. Ext. 16, 1–19 (2022)
Meraj, A.; Pandey, D.N.: Existence and uniqueness of mild solution and approximate controllability of fractional evolution equations with deformable fractional derivative. J. Nonlinear Evol. Equ. Appl. 2019, 85–100 (2018)
Salim, A.; Abbas, S.; Benchohra, M.; Karapinar, E.: Global stability results for Volterra-Hadamard random partial fractional integral equations. Rend. Circ. Mat. Palermo (2022). https://doi.org/10.1007/s12215-022-00770-7
Salim, A.; Benchohra, M.; Graef, J.R.; Lazreg, J.E.: Initial value problem for hybrid \(\psi \)-Hilfer fractional implicit differential equations. J. Fixed Point Theory Appl. 24, 14 (2022). https://doi.org/10.1007/s11784-021-00920-x
Salim, A., Benchohra, M., Lazreg, J. E., Henderson, J.: On k-generalized \(\psi \)-Hilfer boundary value problems with retardation and anticipation. Adv. Theory Nonlinear. Anal. Appl. 6, 173–190 (2022). https://doi.org/10.31197/atnaa.973992
Salim, A., Benchohra, M., Lazreg, J. E., Karapinar, E.: On k-generalized \(\psi \)-Hilfer impulsive boundary value problem with retarded and advanced arguments. J. Math. Ext. 15, 1–39 (2021). https://doi.org/10.30495/JME.SI.2021.2187
Salim, A.; Benchohra, M.; Lazreg, J.E.; N’Guérékata, G.: Existence and \(k\)-Mittag-Leffler-Ulam-Hyers stability results of \(k\)-generalized \(\psi \)-Hilfer boundary value problem. Nonlinear Stud. 29, 359–379 (2022)
Salim, A.; Lazreg, J.E.; Ahmad, B.; Benchohra, M.; Nieto, J.J.: A Study on \(k\)-Generalized \(\psi \)-Hilfer Derivative Operator. Vietnam J. Math. (2022). https://doi.org/10.1007/s10013-022-00561-8
Samko, S. G., Kilbas, A. A., Marichev, O. I.: Fractional Integrals and Derivatives. Theory and Applications. Gordon and Breach, Amsterdam (1987) Engl. Trans. from the Russian.
Tarasov, V.E.: Fractional Dynamics: Application of Fractional Calculus to Dynamics of Particles, Fields and Media, Springer. Heidelberg; Higher Education Press, Beijing (2010)
Tenreiro-Machado, J.A.; Kiryakova, V.: The chronicles of fractional calculus. Fract. Calc. Appl. Anal. 20, 307–336 (2017)
Toledano, J.M.A.; Benavides, T.D.; Acedo, G.L.: Measures of Noncompactness in Metric Fixed Point Theory. Birkhauser, Basel (1997)
Yang, M.; Wang, Q.: Existence of mild solutions for a class of Hilfer fractional evolution equations with nonlocal conditions. Fract. Calc. Appl. Anal. 20, 679–705 (2017)
Zhou, Y.: Basic Theory of Fractional Differential Equations. World Scientific, Singapore (2014)
Zulfeqarr, F., Ujlayan, A., Ahuja, P.: A new fractional derivative and its fractional integral with some applications (2017). arXiv:1705.00962v1, 11 pages.
Funding
Not available.
Author information
Authors and Affiliations
Contributions
The study was carried out in collaboration of all the authors. All the authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Conflict of interest
It is declared that authors has no competing interests.
Ethical approval
This article does not contain any studies with human participants or animals performed by any of the authors.
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
Krim, S., Salim, A. & Benchohra, M. On deformable fractional impulsive implicit boundary value problems with delay. Arab. J. Math. 13, 199–226 (2024). https://doi.org/10.1007/s40065-023-00450-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40065-023-00450-z