Abstract
Due to the importance of some physical systems, in this paper, we aim to investigate a generalized impulsive \(\rho \)-Caputo differential equation equipped with a p-Laplacian operator. In fact, our problem is a generalization of fractional differential equations equipped with the integral boundary conditions, impulsive forms and p-Laplacian operators under the Nemytskii operators. In this direction, we prove some theorems on the existence property along with the uniqueness of solutions under the Nemytskii operator. More precisely, we use the Schauder’s and Schaefer’s fixed point theorems, along with the Banach contraction principle. In the sequel, two examples are provided to show the validity of the obtained results in practical.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, our focus is on addressing the concept of existence and uniqueness of solutions for a boundary value problem involving the following nonlinear non-symmetric \(\rho \)-Caputo fractional p-Laplacian impulsive differential equation
where \(p,p^{\star }>1\), \(0<\nu , \beta , \gamma \le 1, \psi _{p}\) is an operator of p-Laplacian type, i.e., \(\psi _{p}(\xi ) = \mid \xi \mid ^{p-2} \xi \), \({t, \varkappa , \eta \in C([a, K],} {\mathbb {R}}^\star _+)\), \(f \in \) \(C([a,K] \times {\mathbb {R}}, {\mathbb {R}}), \omega _{0}, \omega _{1},\lambda \in {\mathbb {R}}\), and for \(q=1,2, \ldots , k, i=1,2\) we take \( I_{q}^{i} \in C({\mathbb {R}}, {\mathbb {R}})\) \(,a=\xi _{0}<\xi _{1}<\cdots<\xi _{q}<\cdots<\xi _{k}<\xi _{k+1}=K.\) Moreover, \(\Delta \omega \left( \xi _{q}\right) =\omega \left( \xi _{q}^{+}\right) -\omega \left( \xi _{q}^{-}\right) \) such that \(\omega \left( \xi _{q}^{+}\right) \) and \(\omega \left( \xi _{q}^{-}\right) \) denote the right and left limits of \(\omega (\xi )\) at \(\xi =\xi _{q}~(q=1,2, \ldots , k)\), respectively and \(\Delta \psi _{p}\left( ^{\rho _{1};C}\!_{\xi }{\mathcal {D}}^{\nu }_{a^{+}} \omega \right) \left( \xi _{q}\right) \) has the same meaning for \(\psi _{p}\left( ^{\rho _{1};C}\!_{\xi }{\mathcal {D}}^{\nu }_{a^{+}} \omega \right) \left( \xi _{q}\right) \).
During the past decade, theory of differential equations involving fractional derivatives of non-integer order has undergone significant development and found numerous applications in many areas such as biology, physics, rheology, mechanics, electricity, signal and image processing, control theory, aerodynamics. This field has attracted the attention of many researchers constantly to study fractional differential equations. Moreover, the fractional-order models are considered as powerful mathematical structures than the classical-order models. For more details and applications about fractional calculus, see [1,2,3] and references therein.
Very recently, Almeida, in [4], gave a generalized version of the Caputo fractional derivative with some interesting properties. For a special case of the increasing function \(\rho \), one can realize that the \(\rho \)–Caputo fractional derivative can be reduced to some well-known classical kinds of the Caputo fractional operator [5,6,7]. Those models that employ generalized fractional derivatives could potentially give the greater accuracy than models that rely on classical derivatives.
As the operators of p-Laplacian type have natural applications in many areas of science, and are commonly used in mathematical modeling of physical and natural phenomena, such as turbulent filtration in porous media, blood flow problems, rheology, and viscoelasticity, it is important to study the fractional p-Laplacian differential equations. As it is well-known, the formulation of an ordinary operator of p-Laplacian type was done by Leibenson in 1983 [8]. In the context of the p-Laplacian differential equations, the p-Laplacian operator \(\psi _{p}\) is often used to model the nonlinearity in a differential equation, and the behavior of solutions of the given differential equation is influenced by the specific value of the parameter p. More precisely, these operators exhibit different behaviors depending on the value of the parameter p. Here are some characteristics based on the range of p:
-
1.
For \(p>2\):
-
Superlinear Growth: As p increases, the function exhibits superlinear growth. This means that the function grows faster than a linear function.
-
Dominance of \(\mid \xi \mid ^p\): The term \(\mid \xi \mid ^p\) dominates the behavior contributing to the superlinear growth.
-
-
2.
For \(1<p < 2\):
-
Sublinear Growth: As p decreases but stays above 1, the operator exhibits sublinear growth. This means that the opertor grows more slowly than a linear function.
-
Dominance of \(\mid \xi \mid \): In this range, the term \(\mid \xi \mid \) dominates the behavior contributing to the sublinear growth.
-
-
3.
For \(p=2\): Linear Growth: When p is exactly 2, the operator simplifies to \(\psi _{p}(\xi )=\xi \), which shows a linear growth.
It’s important to note that these observations are based on the form of the operator \(\psi _{p}\) itself. There are various researches of fractional boundary value problems with p-Laplacian operators published recently such as [9,10,11,12,13,14,15,16,17,18,19].
Numerous processes and phenomena in the real world undergo brief external influences during their evolution. However, these brief durations are insignificant when we compare to the total duration of the processes and phenomena under study. As a result, these external influences are often considered “instantaneous” in nature, manifesting in the form of impulses. Moreover, differential equations that incorporate impulsive effects are prevalent in various real-world phenomena and are utilized to model processes that involve sudden and discontinuous jumps. Many readers interested in gaining a comprehensive understanding of the fundamental theory and practical applications of impulsive differential equations are encouraged to refer to several references in the literature such as [20,21,22]. In particular, the existence of solutions to impulsive fractional differential equations and other types of fractional differential equations has been examined using different tools and approaches, including topological degree theory, fixed point theory, upper and lower solution methods, and monotone iterative techniques. See, for example, [23,24,25,26,27,28] and the references therein.
In 2020, Linda et al. [29] studied the existence of weak solutions for the following form of a p-Laplacian impulsive differential equation equipped with boundary conditions, employing the variational technique and theory of critical point, given by
where \(p>1\), \( \psi _{p}\) is an operator of p-Laplacian type, \(t, \varkappa \in L^{\infty }([0, K])\), \(f \in \) \(C([a,K] \times {\mathbb {R}}, {\mathbb {R}})\), for \(q=1,2, \ldots , k,\) \(I_{q} \in C({\mathbb {R}}, {\mathbb {R}})\), \( 0=\xi _{0}<\xi _{1}<\cdots<\xi _{q}<\cdots<\xi _{k}<\xi _{k+1}=K.\) Also, \(\Delta \left( \psi _{p}\left( \omega ^\prime (\xi _{q})\right) \right) =\psi _{p}\left( \omega ^\prime \left( \xi _{q}^{+}\right) \right) -\psi _{p}\left( \omega ^\prime \left( \xi _{q}^{-}\right) \right) \) so that \(\omega \left( \xi _{q}^{+}\right) \) and \(\omega \left( \xi _{q}^{-}\right) \) denote the right and left limits of \(\omega (\xi )\) at \(\xi =\xi _{q}~(q=1,2, \ldots , k)\), respectively.
In [30], Liu, Lu and Szántó considered the solvability of a new form of impulsive fractional differential equation given by
where \(p>1\), \(0<\nu , \beta , \gamma \le 1, 1<\nu + \beta , \gamma \le 2, \psi _{p}\) is an operator of p-Laplacian type, \(f \in \) \(C([0,1] \times {\mathbb {R}}, {\mathbb {R}}), \omega _{0}, \omega _{1},\lambda \in {\mathbb {R}}\), for \(q=1,2, \ldots , k, i=1,2\), \(I_{q} \in C({\mathbb {R}}, {\mathbb {R}})\), \(0=\xi _{0}<\xi _{1}<\cdots<\xi _{q}<\cdots<\xi _{k}<\xi _{k+1}=1.\) Also, \(\Delta \omega \left( \xi _{q}\right) =\omega \left( \xi _{q}^{+}\right) -\omega \left( \xi _{q}^{-}\right) \) such that \( \omega \left( \xi _{q}^{+}\right) \) and \(\omega \left( \xi _{q}^{-}\right) \) denote the right and left limits of \(\omega (\xi )\) at \(\xi =\xi _{q}~(q=1,2, \ldots , k)\), respectively and \(\Delta \psi _{p}\left( ^{C}\!_{\xi }{\mathcal {D}}^{\nu }_{a^{+}} \omega \right) \left( \xi _{q}\right) \) has a similar meaning for \(\psi _{p}\left( ^{C}\!_{\xi }{\mathcal {D}}^{\nu }_{a^{+}} \omega \right) \left( \xi _{q}\right) \). By using the Banach contraction principle, they obtained some results on the existence and uniqueness of solutions for the given model.
The main contribution and novelty of this paper is that we try to investigate the existence results for a generalized fractional differential equation equipped with the integral boundary conditions, impulsive forms and p-Laplacian operators under the Nemytskii operators simultaneously. In this direction, we get help from the well-known fixed point theorems.
The structure of this paper is as follows. Section 2 offers a comprehensive background on fractional calculus and fixed point theory. In Section 3, we establish some theorems on the existence and uniqueness of solutions for the given p-Laplacian impulsive fractional boundary value problem (1.1) by using the Schauder’s and Schaefer’s fixed point theorems, as well as the principle of the Banach contraction mapping. Lastly, Section 4 presents two illustrative examples that highlight the validity and significance of our main results.
2 Preliminaries
This section of the paper deals with some preliminaries on fractional calculus and some definitions that are essential for the proofs presented later.
Throughout this paper, let \(Q =[a,K] \subset (0,\infty )\) and \(Q_{0}=\left[ a, \xi _{1}\right] , Q_{1}=\left( \xi _{1}, \xi _{2}\right] , \ldots , Q_{k-1}=\left( \xi _{k-1}, \xi _{k}\right] , Q_{k}=\) \(\left( \xi _{k}, K\right] ,\) \(n=[\nu ]+1\), where \([\nu ]\) is the largest integer less than or equal to \(\nu \).
-
1.
The Banach space of continuous functions h on Q is denoted by C( Q) and is equipped with the norm
$$\begin{aligned} \Vert h\Vert _{C} = \max _{\upsilon \in Q}| h(\upsilon ) |. \end{aligned}$$ -
2.
AC(Q) is the space of absolutely continuous functions on Q, and \(C^n(Q)\) is the set of all functions on Q with n continuous derivatives.
-
3.
The set of all Lebesgue integrable functions on (a, K) is denoted by \(L^{p}(a, K)\).
2.1 Fractional Calculus that Involves a Function \(\rho \)
Here, we recall the fundamental definitions and lemmas from fractional calculus theory, which involve an increasing function \(\rho \). It is straightforward to observe that by selecting appropriate functions \(\rho \), we can obtain several commonly used fractional operators, including the Riemann-Liouville (RL), Caputo, Hadamard, Katugampola, and Erd\(\acute{e}\)lyi-Kober fractional derivatives. Several works in the literature, such as [31,32,33], have studied and used these fractional operators.
Definition 2.1
(PC-Function space) Let \(P C(Q, {\mathbb {R}})=\left\{ \omega : Q \rightarrow {\mathbb {R}}: \omega \in C\left( Q_{q}, {\mathbb {R}}\right) \right. \) for \(q=1,2, \ldots , k\) and there exist \(\omega \left( \xi _{q}^{+}\right) \) and \(\omega \left( \xi _{q}^{-}\right) \) at \(\xi =\xi _{q}\) with \( \omega \left( \xi _{q}^{-}\right) =\omega \left( \xi _{q}\right) \}\). Then \(P C(Q, {\mathbb {R}})\) is a Banach space equipped with the norm \(\Vert \omega \Vert =\sup _{\xi \in Q} |\omega (\xi )|\).
Definition 2.2
Let \(\rho \) be a strictly increasing and n-times differentiable function on Q. Then, \(AC^{n}_{\rho }(~Q)=\left\{ \omega :~Q\rightarrow {\mathbb {R}}~~ \text { and}~ \delta _{\rho }^{[n-1]} \omega \in AC(~Q),~~ \delta _{\rho }^{[n-1]}\omega =\left( \frac{1}{\rho ^{\prime }(\xi )}\frac{\textrm{d}}{\textrm{d}\xi }\right) \omega \right\} \) denotes a Banach space of n-times absolutely continuous functions with respect to the strictly increasing differentiable function \(\rho \).
Definition 2.3
(Heaviside function H) The Heaviside function is given by
Proposition 2.4
Let \(\omega \) be a piecewise continuous function (\(\omega \in PC(Q,{\mathbb {R}})\)), and let \(t_1,t_2,\dots ,t_k\) be the fixed moments of impulsive effect for \(q=1,2,\dots ,k\). Denote \(\varrho ^q=\omega (t_k^+)-\omega (t_k^-)\) as the magnitude and direction of the impulsive effect at \(t_k\). Then \(\omega \) can be formulated as the sum of a continuous function g and a series of Heaviside functions, i.e.,
such that \(~\varrho ^0 =0 \).
Now, we recall the definitions of the \(\rho \)-Riemann-Liouville and \(\rho \)-Caputo fractional integrals and derivatives [4, 34].
Definition 2.5
[4, 34] Let \(\nu >0\) and \(\rho : Q \longrightarrow {\mathbb {R}}\) be a strictly increasing differentiable function with \(\rho ^{\prime }(\xi ) \ne 0\) for all \(\xi \in \textrm{Q}\). The left and right \(\rho -\)Riemann-Liouville (\(\rho \)-RL) fractional integrals of order \(\nu \) for an integrable function \(\omega : Q \longrightarrow {\mathbb {R}}\) with respect to another function \(\rho \) are defined by
where \(\Gamma \) is the Gamma function.
Definition 2.6
[4, 34] Let \(\rho \in C^{n}({\textrm{Q}}, {\mathbb {R}})\) be a function where \(\rho \) is strictly increasing and \(\rho ^{\prime }(\xi ) \ne 0\) for all \(\xi \in \textrm{Q}.\) The left and right \(\rho -\)Riemann-Liouville (\(\rho \)-RL) fractional derivatives of order \(\nu \in (n-1,n) \) for a function \(\omega :Q \rightarrow {\mathbb {R}}\) with respect to another function \(\rho \) are defined by
provided that the right-hand side integrals are defined on Q.
Definition 2.7
[4, 34] For each \(n \in {\mathbb {N}}\), let \(\rho \) and \(\omega \) be two functions in \(C^{n}(Q,{\mathbb {R}})\), where \(\rho \) is an increasing function with \(\rho ^{\prime }(\xi ) \ne 0\) for all \(\xi \in Q\). The left and right \(\rho \)-Caputo (\(\rho \)-C) fractional derivatives of order \(\nu \) for the function \(\omega :Q \rightarrow {\mathbb {R}}\) with respect to another function \(\rho \) are defined by
where \(n=[\nu ]+1\) for \(\nu \notin {\mathbb {N}}, n=\nu \) for \(\nu \in {\mathbb {N}}\), and \( \delta ^{[n]}_{\rho } \omega (\xi )=\left( \dfrac{1}{\rho ^{\prime }(\xi )} \frac{d}{d \xi }\right) ^{n} \omega (\xi ) \).
Lemma 2.8
The left and right \(\rho \)-Caputo fractional derivatives for the function \(\omega \in C^{n}(Q)\) of order \(\nu \) with respect to \(\rho \) can also be formulated as
Lemma 2.9
[35] Assume that \(\psi _{p}: {\mathbb {R}} \rightarrow {\mathbb {R}}\) is a p-Laplacian operator as \(\psi _{p}(\upsilon )=|\upsilon |^{p-2} \upsilon \) for each \(\upsilon \in {\mathbb {R}}.\) Then \(\frac{d}{d \upsilon } \psi _{p}(\upsilon )=(p-1)|\upsilon |^{p-2}(\upsilon \ne 0\) if \(1<p<2)\). The following items are some fundamental properties of this operator.
-
1.
The p-Laplacian operator \(\psi _{p}\) is a homeomorphism from \({\mathbb {R}}\) to \({\mathbb {R}}\) and its inverse is \(\psi _{p^{\star }}(\upsilon )=|\upsilon |^{p^{\star }-2} \upsilon \) with \(p^{\star }=\frac{p}{p-1}\).
-
2.
Let \(1<p<2, \upsilon \zeta >0,\) and \(|\upsilon |,|\zeta | \ge k>0\). Then,
$$\begin{aligned} \left| \psi _{p}(\upsilon )-\psi _{p}(\zeta )\right| \le (p-1) k^{p-2}|\upsilon -\zeta |. \end{aligned}$$ -
3.
Let \(p \ge 2\) and \(|\upsilon |,|\zeta | \le M\). Then,
$$\begin{aligned} \left| \psi _{p}(\upsilon )-\psi _{p}(\zeta )\right| \le (p-1) M^{p-2}|\upsilon -\zeta |. \end{aligned}$$
Lemma 2.10
([36], The Arzelá-Ascoli theorem of PC-type) Let \(\Theta \subset \) \(PC(Q, {\mathbb {R}}).\) Then
-
1.
\(\Theta \) is a subset of \(PC(Q, {\mathbb {R}})\) that is uniformly bounded;
-
2.
If \(\Theta \) is equicontinuous in \(Q_{q}\) for all \(q=0,1,2, \ldots , k\), then \(\Theta \) is a subset of \(PC(Q,{\mathbb {R}})\) and hence is relatively compact.
2.2 Fixed Point Theorems
Two important theorems in fixed-point theory are given below.
Definition 2.11
A completely continuous operator preserves continuity and maps bounded sets to precompact sets.
Theorem 2.12
(The Schauder’s fixed point theorem) Let \({\mathcal {X}}\) be a Banach space and \(\Theta \subset {\mathcal {X}}\) be an open, bounded subset containing a point \(\theta \in \Theta \). Let \({\mathcal {L}}: \Theta \rightarrow {\mathcal {X}}\) be a completely continuous operator, where \(|{\mathcal {L}}\omega | \leqslant |\omega |\) for all \(\omega \in \partial \Theta \). Then there exists a fixed point of \({\mathcal {L}}\) in \(\Theta \).
Theorem 2.13
(The Schaefer’s fixed point theorem) Consider a Banach space \({\mathcal {X}}\) and a completely continuous operator \({\mathcal {L}}: {\mathcal {X}} \rightarrow {\mathcal {X}}\). If the set
is bounded, then \({\mathcal {L}}\) has at least a fixed point.
3 Main Results
This section of the paper deals with the investigation of the existence of solution and uniqueness results for the p-Laplacian impulsive fractional boundary value problem (1.1), which has an integral representation including the inverse of a given Nemytskii operator.
3.1 Fractional Functional Differential Equations and Integral Structure
Before starting and proving the main results, we shall provide the following lemmas.
Lemma 3.1
Let \(\nu \in (0,1)\) and \(w \in C(Q, {\mathbb {R}})\). Then, the linear initial value problem
has a solution \(\omega \in C(Q, {\mathbb {R}})\) given by the following integral equation
Lemma 3.2
Let \(\beta \in (0,1)\) and \(\varpi \in C(Q, R)\). Then, the linear initial value problem
has a solution \(\zeta \in C(Q, R)\) given by the following integral equation
Lemma 3.3
Suppose that \(\nu \in (0,1]\) and \(h: Q \rightarrow {\mathbb {R}}\) is continuous. Then, \(\omega \in P C(Q, {\mathbb {R}})\) is a solution of the fractional integral equation
if and only if \(\omega \) is a solution of the linear impulsive problem
where H is the Heavside function and \(I^1 _0 =0\).
Proof
Let \(h\in C(Q,{\mathbb {R}}).\) Assume that \(\omega (\xi )\) is a solution of the linear impulsive problem (3.6). If \(\xi \in \left[ a, \xi _{1}\right] \), then
By applying Lemma 3.1, we get
If \(\xi \in (t_1, t_2]\), then
In this case, Lemma 3.1 implies that
If \(\xi \in \left( \xi _{2}, \xi _{3}\right] \), then by using Lemma 3.1 one more step, we get
If \(\xi \in J_k\) for \(q=1,2,\dots , k\), then from Lemma 3.1 again and noting the boundary condition
one can obtain
By a simple calculation, we get
hence from Proposition 2.1, we get (3.5).
Now, suppose that (3.5) holds for \(\omega \). Then we have the following assumption: If \(\xi \in [ca,t_1]\), then \( \omega (a) =\omega _{0}+\lambda \left| ^{\rho _{3}}\!_\xi {\mathcal {I}}_{a^{+}}^{\gamma } \eta (\xi ) \left| \omega (\xi )\right| ^{p-1} \right| ^{p^\star -1} _{\xi =K}\) and using the fact that \({}^{\rho _{1}; C}\! _{\xi } {\mathcal {D}}_{a^{+}}^{\nu }\) is the left inverse of \({}^{ \rho _1}\!_\xi {\mathcal {I}}_{a^{+}}^{\nu }\), we get (3.7). If \(\xi \in J_k, q = 1,2, \ldots , k \) and using the fact that the (\(\rho \)-Caputo fractional derivative of a constant equals to zero, we obtain \({}^{\rho _{1}; C}\! _{\xi } {\mathcal {D}}_{a^{+}}^{\nu } \omega (\xi ) =h(\xi ), \xi \in (t_k, \xi _{q+1}]\) and \(\Delta (\omega (t_k))=I_{q}^{1} (\omega (t_k)) \). So, the proof is completed. \(\square \)
Lemma 3.4
Assume that \(\varphi (\xi ) \in C(Q, {\mathbb {R}}), \nu , \beta \in (0,1].\) Then the solution of the fractional impulsive boundary value problem
is equivalent to the following integral equation
where
and H is the Heavside function and \(I_0 ^i =0\) for \(i=1,2.\)
Proof
Let \(\nu \in (0,1]\) and \(\varphi \in C(~Q, {\mathbb {R}})\). Let \(v(\xi )=\psi _{p}\left( {}^{\rho _{1};C}\!_\xi {\mathcal {D}}^{\nu }_{a^{+}} \omega (\xi ) \right) \), then from (3.8), we get the following linear impulsive problem
with \(b_{q}= I^2_{q}(\omega (t_k), q=1,2, \ldots , k\), \(b_0=0\).
Then by applying Lemma 3.2, (3.11)–(3.13) are equivalent to
hence by \(v(\xi )=\psi _{p}\left( {}^{\rho _{1};C}\!_\xi {\mathcal {D}}^{\nu }_{a^{+}} \omega (\xi ) \right) = {\mathfrak {F}}(\varphi (\xi )), \xi \in ~Q, q=0,1,2, \ldots , k\), one can find that the problem (3.8) has the equivalent form
Then, by applying Lemma 3.1 again, we get the desired result. \(\square \)
3.2 Existence and Uniqueness Results
Here, two main properties including the existence and uniqueness of solutions will be investigated.
Lemma 3.5
If \(f\in C(~Q \times {\mathbb {R}},{\mathbb {R}})\), then the function \(\omega (\xi )\in PC(~Q, {\mathbb {R}})\) is a solution of the the p-Laplacian impulsive fractional boundary value problem (1.1) if and only if it satisfies the integral equation
where
and \({\mathcal {N}}\) is the Nemytskii operator associated to the p-Laplacian impulsive fractional boundary value problem (1.1) definded by
Now, we consider the integral operator \({\mathcal {L}}: PC(Q, {\mathbb {R}}) \rightarrow PC(Q, {\mathbb {R}})\) defined as
It is obvious that a solution of the p-Laplacian impulsive fractional boundary value problem (1.1) will be the fixed point of the operator \({\mathcal {L}}\).
Lemma 3.6
The operator \({\mathcal {L}}: PC(Q, {\mathbb {R}}) \rightarrow PC(Q, {\mathbb {R}})\) is completely continuous.
Proof
Firstly, let us prove the continuity of the operator \({\mathcal {L}}: PC(Q, {\mathbb {R}}) \rightarrow PC(Q, {\mathbb {R}})\). Assume that \(\left\{ u_n\right\} \subseteq PC(Q, {\mathbb {R}})\) is a sequence so that \(u_n \rightarrow \omega \) in \(PC(Q, {\mathbb {R}})\). In view of the continuity of \(f (\xi ,\omega )\), \(I_{q}^{i}\) for \(i=1,2\) and the first item of Lemma (), one can write
uniformly for \(\xi \in ~Q\), \( q=0,1, \ldots , k\). This shows the continuity of the operator \({\mathcal {L}}: PC(Q, {\mathbb {R}}) \rightarrow PC(Q, {\mathbb {R}})\).
Next, we show that \({\mathcal {L}}\) is compact. Let \(\Theta = \left\{ \omega \in PC(Q, {\mathbb {R}}), \parallel \omega \parallel <{\mathcal {R}} \right\} \). Then from the continuity of f and \(I_{q}^{i}\), there exist the constants \( M_{0},M_{1}, M_{2}> 0\) such that \(\mid f(\xi ,\omega (\xi )\mid \le M_0\) and \(\mid I_{q}^{i}(\omega (t_k)\mid \le M_i\) (\(q = 1, 2,\ldots , k\), \(i=1,2\)) for all \(\xi \in ~Q\) and each \(\omega \in \Theta \). We have
where \(M_3 = \frac{1}{\min _{\xi \in Q} \left( \varkappa (\xi )\right) }\), \(M_5 =\max _{\xi \in Q}\left( t(\xi )\right) \), \(M_0\) and \(M_2\) are given above. It implies that
here \(M_4 =\max _{\xi \in Q} \left( \eta (\xi )\right) \).
Therefore, we find that \(\mid {\mathcal {L}} \omega \mid \le L^\star \) for each \(\omega \in \Theta \). Consequently, \({\mathcal {L}}(\Theta )\) is uniformly bounded in \(PC(Q, {\mathbb {R}})\).
Now, we need to prove that \({\mathcal {L}}(\Theta ) \subset PC(Q, {\mathbb {R}})\) is equicontinuous in \(J_k\) by the Arzelá-Ascoli theorem of PC-typ. For this, let \(\omega \in \Theta \) and \(\tau _1, \tau _2 \in [a, t_1]\) such that \(a\le \tau _1 < \tau _2 \le t_1\). We have
In other words, we have
for \(Q_k\), where \(t_k \le \tau _1 < \tau _2 \le \xi _{q+1}\), \(q=1,2, \ldots , k\).
As \(\rho _1(\xi )^\nu \) is uniformly continuous on \({\mathbb {Q}}_k\) and \(\tau _2 \rightarrow \tau _1\), the right-hand side of the above inequality tends to zero. Therefore, \(K(\Theta ) \) is equicontinuous. Then, the Arzelá-Ascoli theorem of PC-typ implies that \( {\mathcal {L}}(\Theta )\) is relatively compact in \(PC(Q, {\mathbb {R}} )\). \(\square \)
To investigate the existence and uniqueness of solutions to the p-Laplacian impulsive fractional boundary value problem (1.1), we consider some assumptions below.
(\({{\textbf {H}}}_1\)) Let \(f:Q \times {\mathbb {R}} \rightarrow {\mathbb {R}}\) be continuous with the following conditions: there exist non-negative constants \(r, e \in {\mathbb {R}}\) and \(0 \le \ell < p-1\) such that \(\vert f(\xi ,\omega ) \vert \le r + e \vert \omega \vert ^{\ell }\) for all \(\xi \in Q\) and \(\omega \in {\mathbb {R}}\).
(\({{\textbf {H}}}_2\)) For \(q = 1,2,\ldots ,k\), \(i=1,2\), \(I_{q}^{i} \in C({\mathbb {R}},{\mathbb {R}})\), and there exist constants \(r^{i}, e^{i}\ge 0\), \(0 \le \ell ^{1} < 1\) and \(0 \le \ell ^{2}_k < p-1\) such that \(\vert I^{i}_k (\omega )\vert \le r^{i}_{q} + e^{i}_{q}\vert \omega \vert ^{\ell ^{i}_k }, \omega \in {\mathbb {R}}.\)
(\({{\textbf {H}}}_3\)) Let \(f: Q \times {\mathbb {R}} \rightarrow {\mathbb {R}}\) be a continuous function. Also, there exist non-negative constants \(r, e, {\mathcal {R}}_1\in \ {\mathbb {R}}\) and \(0 \le \ell < p - 1\) such that \(\vert f(\xi , \omega )\vert \le r + e\vert \omega \vert ^\ell \), \(\xi \in Q, \omega \in [0, {\mathcal {R}}_1];\)
(\({{\textbf {H}}}_4\)) For \(q = 1,2,\ldots ,k\), \(i=1,2\), \(I_{q}^{i} \in C({\mathbb {R}},{\mathbb {R}})\), and there exist constants \(r^{i}_k, e^{i}_k, {\mathcal {R}}_1\ge 0\), \(0 \le \ell ^{1}_k < 1\) and \(0 \le \ell ^{2}_k < p-1\) such that \(\vert I^{i}_k (\omega )\vert \le r^{i}_{q} + e^{i}_{q}\vert \omega \vert ^{\ell ^{i}_k }, \omega \in [0, {\mathcal {R}}_1];\)
(\({{\textbf {H}}}_3 ^\star \)) \(f: Q \times {\mathbb {R}} \rightarrow {\mathbb {R}}\) is continuous. Also, there exist non-negative constants \(r, e, {\mathcal {R}}_1 \in {\mathbb {R}}\) such that \(\vert f(\xi , \omega )\vert \le r + e\vert \omega \vert ^{p - 1}\), \(\xi \in Q, \omega \in [0, {\mathcal {R}}_1];\)
(\({{\textbf {H}}}_4 ^\star \)) For \(q = 1,2,\ldots ,k\), \(i=1,2\), \(I_{q}^{i} \in C({\mathbb {R}},{\mathbb {R}})\), and also, there exist constants \(r^{i}_k, e^{i}_k, {\mathcal {R}}_1\ge 0\) and \(0 \le \ell ^{1}_k < 1\) such that \(\vert I^{i}_k (\omega )\vert \le r^{i}_{q} + e^{i}_{q}\vert \omega \vert ^{ p-1}, \omega \in [0, {\mathcal {R}}_1];\)
(\({{\textbf {H}}}_5 )\) \(f: Q \times {\mathbb {R}} \rightarrow {\mathbb {R}}\) is continuous. Also, there exist non-negative constant \(L \in {\mathbb {R}}\) such that
(\({{\textbf {H}}}_6\)) For \(q = 1,2,\ldots ,k\), \(i=1,2\), \(I_{q}^{i} \in C({\mathbb {R}},{\mathbb {R}})\), and also, there exist constants \(L^{i}_k > 0\) such that
(\({{\textbf {H}}}_5 ^\star )\) \(f: Q \times {\mathbb {R}} \rightarrow {\mathbb {R}}\) is continuous. Also, there exist non-negative function \(\Phi (\xi )\in C(~Q)\) and the constant \(L \in {\mathbb {R}}\) such that
(\({{\textbf {H}}}_6 ^\star \)) For \(q = 1,2,\ldots ,k\), \(i=1,2\), \(I_{q}^{i} \in C({\mathbb {R}},{\mathbb {R}})\). Also, there exist the positive functions \(\Psi _k ^i \in C(Q,{\mathbb {R}})\) and constants \(L^{i}_k, e^{1}_k> 0\) such that
(\({{\textbf {H}}}_5 ^{\star \star } )\) \(f: Q \times {\mathbb {R}} \rightarrow {\mathbb {R}}\) is a continuous function. Also, there exist non-negative constants \(L \in {\mathbb {R}}\) and e such that
(\({{\textbf {H}}}_6 ^{\star \star }\)) For \(q = 1,2,\ldots ,k\), \(i=1,2\), \(I_{q}^{i} \in C({\mathbb {R}},{\mathbb {R}})\), and also, there exist the positive functions \(\Psi _k ^1 \in C(Q,{\mathbb {R}})\) and constants \(L^{i}_k, e^{i}_k> 0\) such that
\(({{\textbf {H}}}_5 ^{\star \star \star } )\) \(f: Q \times {\mathbb {R}} \rightarrow {\mathbb {R}}\) is continuous. Also, there exist the non-negative function \(\Pi (\xi )\in C(Q)\) and constant \(L \in {\mathbb {R}}\) such that
(\({{\textbf {H}}}_6 ^{\star \star \star } \)) For \(q = 1,2,\ldots ,k\), \(i=1,2\), \(I_{q}^{i} \in C({\mathbb {R}},{\mathbb {R}})\), and also, there exist the positive functions \(\chi _k ^i \in C({\mathbb {R}},{\textbf{R}})\) and constants \(L^{i}_k, e^{1}_k> 0\) such that
Now, we prove the first existence theorem.
Theorem 3.7
Suppose that the assumptions \(({{\textbf {H}}}_1)\) and \(({{\textbf {H}}}_2)\) are satisfied. If
then the p-Laplacian impulsive fractional boundary value problem (1.1) has at least one solution.
Proof
Firstly, Lemma 3.6 implies that the integral operator \({\mathcal {L}}(~Q,{\mathbb {R}}) \rightarrow PC(~Q,{\mathbb {R}})\) is completely continuous. Next, suppose that \(({{\textbf {H}}}_1)\) and \(({{\textbf {H}}}_2)\) hold. We show that the set \( E( {\mathcal {L}})=\{\omega \in PC(~Q,{\mathbb {R}}): \omega =\sigma {\mathcal {L}} \omega \text{ for } \text{ some } \sigma \in [0,1]\} \) is bounded.
Let \(\omega \in E( {\mathcal {L}})\). Then we have \(\omega =\sigma {\mathcal {L}}\omega \) for each \(\xi \in Q\), \(q=0, 1, 2, \ldots ,k\) and
So, one can find a positive constant \(\varpi \) such that \(\parallel {\mathfrak {F}} {\mathcal {N}}\omega \parallel < \varpi \). Now, we have
Consequently,
By taking into account that \(0 \le \ell ^{1}_j<1\) and \(\frac{\mid \lambda \mid M_{4}^{p^{\star }-1}}{\Gamma (\gamma +1)} (\rho _{3}(K)-\rho _3 (a))^{\gamma }<1\), we can deduce that there exists a positive constant \(\varpi ^\star \) such that \(\parallel \omega \parallel \le \varpi ^\star \) for any solution of the functional equation \(\omega =\sigma {\mathcal {L}} \omega \), \(0<\sigma <1\). Therefore, by using Theorem 2.13, we obtain the existence of a fixed point for \({\mathcal {L}}\) implying the existence of at least one solution for the p-Laplacian impulsive fractional boundary value problem (1.1). \(\square \)
Before starting the second existence theorem, we consider the following notations for the sake of convenience:
Now, we are ready to prove the second existence theorem.
Theorem 3.8
Assume that the assumptions \(({{\textbf {H}}}_3)\) and \(({{\textbf {H}}}_4)\) are satisfied. If
then the p-Laplacian impulsive fractional boundary value problem (1.1) has at least one solution.
Proof
We shall prove that the p-Laplacian impulsive fractional boundary value problem (1.1) has at least one solution. Suppose that \(({{\textbf {H}}}_3)\) and \(({{\textbf {H}}}_4)\) hold and \(C^2,C^6\) satisfy (3.21), and let \(\Omega _1 = \left\{ \omega \in PC(Q,{\mathbb {R}}), \parallel \omega \parallel <{\mathcal {R}}_1 \right\} \), where
for \( \forall \omega \in \Theta \), \(\xi \in Q\). We have
This implies that
Thus,
which implies that \({\mathcal {L}}(\Theta )\subseteq \Theta \) for every \(\omega \in \Omega _1\). Hence, from Lemma 3.6, the integral operator \({\mathcal {L}}:\Theta \rightarrow \Theta \) is completely continuous. By applying the Schauder’s fixed point theorem, we can say that the operator \({\mathcal {L}}\) has a fixed point, which is also a solution to the p-Laplacian impulsive fractional boundary value problem (1.1). \(\square \)
Remark 3.9
Let the assumptions (\({{\textbf {H}}}_{3}^{\star }\)) and (\({{\textbf {H}}}_{4}^{\star }\)) be satisfied. If
then, by using a similar method given in the proof of Theorem 3.8, we can follow that the p-Laplacian impulsive fractional boundary value problem (1.1) also has at least one solution.
Theorem 3.10
Let \(f(\xi ,\omega )\) be continuous on \(~Q\times {\mathbb {R}}\) and \(I_k ^i (\omega )\) be continuous on \({\mathbb {R}}\). Assume that \(\lim _{\omega \rightarrow 0} \frac{f(\xi ,\omega )}{r+ e\mid \omega \mid ^\ell } =0\) and \(\lim _{\omega \rightarrow 0} \frac{I_k ^i (\omega )}{r_k ^i + e_k ^i \mid \omega \mid ^{\ell _k ^i}}=0\) for \(i=1,2\), \(q=1,2, \ldots , k\), where \(r,e,r_k ^i,e_k ^i\) are nonegative constants and \(0\le \ell , \ell _k ^2 <p-1\), \(0\le \ell _k ^1 <1\). Then the p-Laplacian impulsive fractional boundary value problem (1.1) has at least one solution.
Proof
In view of \(\lim _{\omega \rightarrow 0} \frac{f(\xi ,\omega )}{r+ e\mid \omega \mid ^\ell } =0\) and \(\lim _{\omega \rightarrow 0} \frac{I_k ^i (\omega )}{r_k ^i + e_k ^i \mid \omega \mid ^{\ell _k ^i}}=0\), for \(i=1,2\), \(q=1,2, \ldots , k\), there exists a constant \({\mathcal {R}}_1>0\) such that \(\mid f(\xi ,\omega )\mid \le \epsilon \left( r+ e\mid \omega \mid ^\ell \right) \) and \(\mid I^i _k (\omega )\mid \le \epsilon ^i _k \left( r_k ^i + e_k ^i \mid \omega \mid ^{\ell _k ^i} \right) \) for \(0< \mid \omega \mid < {\mathcal {R}}_1\), where \(\epsilon ,\epsilon ^i _k >0\).
As \(f(\xi ,\omega )\) is continuous on \(~Q\times {\mathbb {R}}\) and \(I_k ^i (\omega )\)’s are continuous on \({\mathbb {R}}\), we find that the conditions (\({{\textbf {H}}}_{3}\)) and (\({{\textbf {H}}}_{4}\)) hold. The proof follows a similar process as in Theorem 3.8. \(\square \)
Remark 3.11
Consider the continuous functions \(f(\xi ,\omega )\) on \(~Q\times {\mathbb {R}}\) and \(I_k ^i (\omega )\) on \({\mathbb {R}}\) for \(i=1,2\), \(q=1,2, \ldots , k\). Let \(\lim _{\omega \rightarrow 0} \frac{f(\xi ,\omega )}{r+ e\mid \omega \mid ^{p-1}} =0\), \(\lim _{\omega \rightarrow 0} \frac{I_k ^1 (\omega )}{r_k ^1 + e_k ^1 \mid \omega \mid }=0\) and \(\lim _{\omega \rightarrow 0} \frac{I_k ^2 (\omega )}{r_k ^2 + e_k ^1 \mid \omega \mid ^{p-1}}=0\), where \(r,e,r_k ^i,e_k ^i\) are non-negative constants. The same technique used in the proof of Theorem 3.10 can be applied to show that the p-Laplacian impulsive fractional boundary value problem (1.1) has at least one solution.
In the rest of study, we will give the uniqueness results to the p-Laplacian impulsive fractional boundary value problem (1.1). For this, let us use the principle of the Banach contraction mapping. For ease of understanding, define
Theorem 3.12
Suppose that there exist the constants \(\Theta _1,\Theta _2,\Theta _3,\Theta _4,\Theta _5,\Theta _6>0\) such that
for each \( \xi \in Q,\omega \in PC(Q, {\mathbb {R}})\). If the assumptions \(({{\textbf {H}}}_{5})\) and \(({{\textbf {H}}}_{6})\) hold, then the p-Laplacian impulsive fractional boundary value problem (1.1) has a unique solution.
Proof
Let the assumptions \(({{\textbf {H}}}_{5})\) and \(({{\textbf {H}}}_{6})\) be satisfied. We only consider the case \(1<p<2\); as the other case \(p\ge 2\) is straigtforward. If \(1 < p\le 2\), we have \( p^{\star }\ge 2\) by \(\frac{1}{p} +\frac{1}{p^{\star }} =1\), and by applying (3.24)–(3.26) and Lemma 2.9 for every \(\xi \in Q\), \(\omega \in PC(Q, {\mathbb {R}} )\), we obtain
and
So, for every \(\xi \in Q\), \(\omega ,v \in PC(Q, {\mathbb {R}} )\), we obtain
Hence, for each \(\omega ,v \in PC(Q, {\mathbb {R}}) \), we get
otherwise,
for each \(\omega ,v \in PC(~Q, {\mathbb {R}}) \), where
Since \(0< \Lambda ^\star ,\Lambda ^{\star \star } < 1\), we can follow that \({\mathcal {L}}: PC(Q, {\mathbb {R}})\rightarrow PC(Q, {\mathbb {R}})\) is a contraction mapping. By applying the Banach contraction principle, we can say that \({\mathcal {L}}\) has a unique fixed point in \(PC(Q, {\mathbb {R}})\), which is a solution of the p-Laplacian impulsive fractional boundary value problem (1.1). \(\square \)
Theorem 3.13
Assume that the assumptions \(({{\textbf {H}}}_{5}^\star )\) and \(({{\textbf {H}}}_{6}^\star )\) are satisfied. If
where
then there exists a unique solution for the p-Laplacian impulsive fractional boundary value problem (1.1).
Proof
Assume that the assumptions \(({{\textbf {H}}}_{5}^\star )\) and \(({{\textbf {H}}}_{6}^\star )\) are satisfied and let \(\omega \in PC(Q, {\mathbb {R}} )\). Then for every \(\xi \in [a,t_1]\), we obtain
and so,
As \(C^8<1\), then
and
On the other hand, from the positivity of \({\mathfrak {F}} {\mathcal {N}}\omega (\xi ),~\lambda ,~u_0\) and \(I^i _k\) for \(i=1,2\), \(q=1,2, \ldots , k\), for each \( \xi \in [a,t_1], \omega \in PC(Q, {\mathbb {R}})\), we have
By using the same process above, we get
for any \(\xi \in J_k\), \(\omega \in PC( Q, {\mathbb {R}} ),~ q = 1,~ 2,~\ldots ,~ k\). Hence, by applying Theorem 3.12, one can deduce that the p-Laplacian impulsive fractional boundary value problem (1.1) has a unique solution. \(\square \)
Theorem 3.14
Suppose that the assumptions \(({{\textbf {H}}}_{5}^{\star \star })\) and \(({{\textbf {H}}}_{6}^{\star \star })\) are satisfied. If
where
then a unique solution exists for the p-Laplacian impulsive fractional boundary value problem (1.1).
Proof
Assume that the assumptions \(({{\textbf {H}}}_{5}^{\star \star })\) and \(({{\textbf {H}}}_{6}^{\star \star })\) are satisfied and let \(\omega \in PC(Q, {\mathbb {R}} )\). Then for every \(\xi \in [a,t_1]\), we obtain
From(3.29) and (3.30), we have
as \(C^9<1\), then
and
On the other hand, from the positivity of \({\mathfrak {F}} {\mathcal {N}}\omega (\xi ),~\lambda ,~u_0\) and \(I^i _k\) for \(i=1,2\), \(q=1,2, \ldots , k\), for each \( \xi \in [a,t_1], \omega \in PC(Q, {\mathbb {R}})\), we have
By using the same process above, we get
for each \(\xi \in J_k\), \(\omega \in PC( Q, {\mathbb {R}} ),~ q = 1,~ 2,~\ldots ,~ k\). Hence, by applying Theorem 3.12, one can deduce that the p-Laplacian impulsive fractional boundary value problem (1.1) has a unique solution. \(\square \)
Theorem 3.15
Suppose that the assumptions \(({{\textbf {H}}}_{5}^{\star \star \star })\) and \(({{\textbf {H}}}_{6}^{\star \star \star })\) are satisfied. If
where
then the p-Laplacian impulsive fractional boundary value problem (1.1) has a unique solution.
Proof
By following the similar steps as in the proof of Theorem 3.12, we can complete the proof of this theorem. \(\square \)
4 Applications
In this section, we provide two examples to validate the applicability of the theorems proved in the previous section.
Example 4.1
Consider the following boundary value problem of impulsive differential equation
here \(u \in (e^1, e^2)\) and
Also, \(^{C-H}\!{\mathcal {D}}^{\frac{3}{4} }_{e^{1^+}}\) and \(^{C-H}\!{\mathcal {D}}^{\frac{3}{4} }_{e^{2^-}}\) are the left and right Caputo-Hadamard fractional derivatives.
It is easy to show that (4.1) is a special form of the p-Laplacian impulsive fractional boundary value problem (1.1).
Set
Set
Also,
-
It is straightforward to show that the assumptions in Theorem 3.7 hold. Therefore, it follows that the p-Laplacian impulsive fractional boundary value problem (4.1) has a solution in \(PC([e^1, e^2], {\mathbb {R}})\).
-
It is straightforward to show that all the conditions of Theorem 3.8 satisfy the p-Laplacian impulsive fractional boundary value problem (4.1). Therefore, we can conclude that there is one solution for the p-Laplacian impulsive fractional boundary value problem (4.1) in the space of piecewise continuous functions on the interval \([e^1, e^2]\) with values in the set of real numbers.
Example 4.2
Consider the following boundary value problem of impulsive differential equation
where
here
It is easy to show that (4.2) is a special form of the p-Laplacian impulsive fractional boundary value problem (1.1). Moreover, there exists a function \( \Phi (\xi )(\xi ) = \frac{1}{19 +e^\xi } +\frac{\xi ^2}{5} +\frac{1}{20}\) such that \(\vert f(\xi , \omega (\xi ))- t(\xi )\psi _{\frac{3}{2}}\left( \omega (\xi )\right) \vert \le \Phi (\xi )\).
One can see that the solution \(\omega (\xi )\) of the p-Laplacian impulsive fractional boundary value problem (4.2), which is given by the integral equation (3.16), is well-defined and satisfies
where
It is straightforward to show that \(f(\xi , \omega )\), \(I_1 (\omega )\) and \(I_2 (\omega )\) satisfy
and
Also, we have
Consequently, the conditions (\({{\textbf {H}}}_5^\star \)) and (\({{\textbf {H}}}_6^\star \)) hold, where \(L^1=L^2= \frac{1}{10}\), \(L=\frac{6 + \sqrt{2}\sin (2)}{20}\). By some calculations, we get \(\Lambda ^\star \approx 0.1134991 <1\).
Obviously, the p-Laplacian impulsive fractional boundary value problem (4.2) satisfies all the conditions of Theorem 3.13. Hence, the p-Laplacian impulsive fractional boundary value problem (4.2) has a unique solution.
5 Conclusion
Throughout this study, we explored the boundary value problem of impulsive differential equations with a nonlinear non-symmetric \(\rho -\)Caputo fractional derivative and an operator of p-Laplacian type. By utilizing the Schauder’s and Schaefer’s fixed point theorems, together with the Banach contraction principle, we established the existence and uniqueness of solutions for the impulsive p-Laplacian boundary value problem given by (1.1). Moreover, we provided two examples to show the applicability and significance of our main results. Furthermore, we derived a new representation formula for the integral solution of the p-Laplacian impulsive fractional boundary value problem (1.1) using the Heaviside function. Additionally, we established the existence and uniqueness of solutions under different conditions. These results shed light on the importance and relevance of the study of impulsive differential equations with nonlinear generalized fractional and p-Laplacian operators. Future work can be extended and delved deeper into the underlying mechanisms, potentially employing specific methodologies or techniques of functional analysis for generic p-Laplacian boundary value problems with (\(\psi ,k\))-Hilfer fractional derivatives to gain a more nuanced understanding. Additionally, investigating the long-term effects of the specific conditions on related outcomes can provide valuable insights into the persistence of the observed patterns during the time.
Data Availability
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
References
Baleanu, D., Machado, J.A.T., Luo, A.C.J.: Fractional Dynamics and Control. Springer, New York (2011)
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
Benchohra, M., Hamani, S., Ntouyas, S.K.: Boundary value problems for differential equations with fractional order and nonlocal conditions. Nonlinear Anal. Theory Methods Appl. 71(7–8), 2391–2396 (2009)
Almeida, R.: A Caputo fractional derivative of a function with respect to another function. Commun. Nonlinear Sci. Numer. Simul. 44, 460–481 (2017)
Kiryakova, V.S.: Generalized Fractional Calculus and Applications. CRC Press, New York (1993)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations, vol. 204. Elsevier, Amsterdam (2006)
Webb, J.R.L.: Initial value problems for Caputo fractional equations with singular nonlinearities. Elect. J. Differ. Equ. 2019(117), 1–32 (2019)
Leibenson, L.S.: General problem of the movement of a compressible fluid in a porous medium. Izv. Akad. Nauk Kirg. SSSR 9(1), 7–10 (1983)
Chabane, F., Abbas, S., Benbachir, M., Benchohra, M., N’Guérékata, G.: Existence of concave positive solutions for nonlinear fractional differential equation with \(p\)-Laplacian operator. Vietnam J. Math. 2022, 1–39 (2022)
Chen, T., Liu, W., Hu, Z.: A boundary value problem for fractional differential equation with \(p\)-Laplacian operator at resonance. Nonlinear Anal. Theory Methods Appl. 75(6), 3210–3217 (2012)
Liang, R., Peng, J., Shen, J.: Double positive solutions for a nonlinear four-point boundary value problem with a \(p\)-Laplacian operator. Nonlinear Anal. Theory Methods Appl. 68(7), 1881–1889 (2008)
Su, H.: Positive solutions for \(n\)-order \(m\)-point \(p\)-Laplacian operator singular boundary value problems. Appl. Math. Comput. 199, 122–132 (2008)
Su, H., Wei, Z., Wang, B.: The existence of positive solutions for a nonlinear four-point singular boundary value problem with a \(p\)-Laplacian operator. Nonlinear Anal. Theory Methods Appl. 66(10), 2204–2217 (2007)
Tang, X., Yan, C., Liu, Q.: Existence of solutions of two-point boundary value problems for fractional \(p\)-Laplace differential equations at resonance. J. Appl. Math. Comput. 41(1–2), 119–131 (2013)
Torres, F.J.: Positive solutions for a mixed-order three-point boundary value problem for Laplacian. Abstr. Appl. Anal. 2013, 912576 (2013)
Zhao, D., Wang, H., Ge, W.: Existence of triple positive solutions to a class of \(p\)-Laplacian boundary value problems. J. Math. Anal. Appl. 238(2), 972–983 (2007)
Bai, C.: Existence and uniqueness of solutions for fractional boundary value problems with \(p\)-Laplacian operator. Adv. Differ. Equ. 2018, 4 (2018)
Baitiche, Z., Derbazi, C., Wang, G.: Monotone iterative method for nonlinear fractional \(p\)-Laplacian differential equation in terms of \(\psi \)-Caputo fractional derivative equipped with a new class of nonlinear boundary conditions. Math. Methods Appl. Sci. 45(2), 967–976 (2022)
Derbazi, C., Baitiche, Z., Abdo, M.S., Shah, K., Abdalla, B., Abdeljawad, T.: Extremal solutions of generalized Caputo-type fractional-order boundary value problems using monotone iterative method. Fractal Fract. 6(3), 146 (2022)
Dishlieva, K.G.: Differentiability of solutions of impulsive differential equations with respect to the impulsive perturbations. Nonlinear Anal. Real World Appl. 12(6), 3541–3551 (2011)
Dai, B., Su, H., Hu, D.: Periodic solution of a delayed ratio-dependent predator-prey model with monotonic functional response and impulse. Nonlinear Anal. Theory Methods Appl. 70(1), 126–134 (2009)
Shen, J., Li, J.: Existence and global attractivity of positive periodic solutions for impulsive predator-prey model with dispersion and time delays. Nonlinear Anal. Real World Appl. 10(1), 227–243 (2009)
Bonanno, G., Rodríguez-López, R., Tersian, S.: Existence of solutions to boundary value problem for impulsive fractional differential equations. Fract. Calc. Appl. Anal. 17, 717–744 (2014)
Cao, J., Chen, H.: Impulsive fractional differential equations with nonlinear boundary conditions. Math. Comput. Model. 55(3–4), 303–311 (2012)
Abuasbeh, K., Kanwal, A., Shafqat, R., Taufeeq, B., Almulla, M.A., Awadalla, M.: A method for solving time-fractional initial boundary value problems of variable order. Symmetry 15(2), 519 (2023)
Awadalla, M., Subramanian, M., Abuasbeh, K.: Existence and Ulam-Hyers stability results for a system of coupled generalized Liouville-Caputo fractional Langevin equations with multipoint boundary conditions. Symmetry 15(1), 198 (2023)
Arab, M., Awadalla, M., Manigandan, M., Abuasbeh, K., Mahmudov, N.I., Gopal, T.N.: On the existence results for a mixed hybrid fractional differential equations of sequential type. Fractal Fract. 7(3), 229 (2023)
Al Elaiw, A., Manigandan, M., Awadalla, M., Abuasbeh, K.: Existence results by Monch’s fixed point theorem for a tripled system of sequential fractional differential equations. AIMS Math. 8(2), 3969–3996 (2023)
Linda, M., Tahar, B., Rafik, G., Mohamad, B.: Existence of weak solutions for \(p\)-Laplacian problem with impulsive effects. Appl. Sci. 22, 128–145 (2020)
Liu, Z., Lu, L., Szántó, I.: Existence of solutions for fractional impulsive differential equations with \(p\)-Laplacian operator. Acta Math. Hung. 141(3), 203–219 (2013)
Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Oldham, K., Spanier, J.: The Fractional Calculus Theory and Applications of Differentiation and Integration to Arbitrary Order. Elsevier, New York (1974)
Kilbas, A.A., Marichev, O.I., Samko, S.G.: Fractional Integrals and Derivatives. Gordon and Breach, Switzerland (1993)
Ledesma, C.E.T., Nyamoradi, N.: \((k,\psi )\)-Hilfer variational problem. J. Elliptic Parabol. Equ. 8, 681–709 (2022)
ElMfadel, A., Melliani, S., Elomari, M.H.: Existence and uniqueness results for \(\psi \)-Caputo fractional boundary value problems involving the \(p\)-Laplacian operator. Univ. Politech. Buch. Sci. Bull. Ser. A. 84, 37–46 (2022)
Guo, D., Sun, J., Liu, Z.: Functional Methods for Nonlinear Ordinary Differential Equations. Shandong Science and Technology Press, Jinan (1995)
Acknowledgements
The third and fourth authors would like to thank Azarbaijan Shahid Madani University. Also, all authors would like to thank dear reviewers for their constructive comments to improve the quality of the paper.
Funding
Open access funding provided by the Scientific and Technological Research Council of Türkiye (TÜBİTAK). Not applicable.
Author information
Authors and Affiliations
Contributions
The authors declare that the study was realized in collaboration with equal responsibility. All authors read and approved the final manuscript.
Corresponding authors
Ethics declarations
Conflict of interest
The authors declare that they have no competing interests.
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
Chabane, F., Benbachir, M., Etemad, S. et al. On the \(\rho \)-Caputo Impulsive p-Laplacian Boundary Problem: An Existence Analysis. Qual. Theory Dyn. Syst. 23, 133 (2024). https://doi.org/10.1007/s12346-024-00989-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12346-024-00989-y
Keywords
- Nemytskii operator
- \(\rho \)-Caputo derivative
- Impulsive differential equation
- Boundary value problem
- Banach contraction principle
- p-Laplacian