- Research
- Open access
- Published:
Existence results for coupled sequential ψ-Hilfer fractional impulsive BVPs: topological degree theory approach
Boundary Value Problems volume 2024, Article number: 93 (2024)
Abstract
In this paper, the coupled system of sequential ψ-Hilfer fractional boundary value problems with non-instantaneous impulses is investigated. The existence results of the system are proved by means of topological degree theory. An example is constructed to demonstrate our results. Additionally, a graphical analysis is performed to verify our results.
1 Introduction
The concept of impulsive differential equations has gathered a lot of attention in recent times, considering its significance for the precise mathematical modelling of a variety of real-world situations, including epidemics, population ecology, optimal control, mechanical engineering, astronomy, and others [1, 2]. In particular, impulsive fractional differential equations (FDEs) have proven to be an efficient tool for describing the hereditary and memory properties of evolutionary systems characterised by sudden changes in their state at various instants. A non-instantaneous impulse refers to a force or an impulse exerted on a system over a finite duration. Hernandez and O’Regan [3] introduced the theory of non-instantaneous impulsive differential equations. We refer to [4–6] for recent studies on the non-instantaneous impulsive FDEs.
Sequential FDEs can capture the combined effects of multiple fractional derivatives. The sequential FDEs have several applications in real-world problems and can be used to model complex dynamics. For example, the Langevin equation, developed by Langevin, explains the progress of physical processes in changing environments [7]. An essential feature to be examined is the existence of such physical problems [8–14].
The study of qualitative aspects of the solutions to mathematical problems is crucial in various fields due to its implications for the understanding, analysis, and application of mathematical models [15, 16]. For investigating the existence of solutions, several methods, including fixed point theory, monotone iterative technique, topological degree theory (TDT), etc., are employed. The advantages of topological degree theory in investigating FDEs lie in its abstract framework, adaptability to infinitedimensional spaces, ability to handle nonlinearity, and applicability to global and qualitative analysis of solutions. It offers a powerful and unified approach to study the qualitative aspects of solutions. Atta Ullah et al. [17] investigated the impulsive Caputo FDE under Robin boundary conditions using the TDT. J. Xie and L. Duan [18] established the existence results via TDT for a coupled system of Caputo FDEs.
While there are several fractional derivatives available to investigate the FDEs, the ψ-Hilfer fractional derivative proposed by Sousa and Oliveira in [19] has the advantage of a choice of the differential operator. Only a few researchers have used degree theory to study the FDEs [20]. There are numerous applications for FDEs with integral boundary conditions in viscoelasticity, optimisation theory, fluid mechanics, etc. [21–23]. Motivated by the above works, we consider the coupled system of ψ-Hilfer sequential fractional boundary value problems with non-instantaneous impulses
where \({^{H}}D^{\delta _{1},\alpha _{1}:\psi}_{a^{+}} \), \({^{H}}D^{\delta _{2},\alpha _{2}:\psi}_{a^{+}} \), \({^{H}}D^{\tau _{1},\beta _{1};\psi}_{a^{+}}\) and \({^{H}}D^{\tau _{2},\beta _{2};\psi}_{a^{+}}\) are the ψ-Hilfer fractional derivatives of order \(\delta _{1}\), \(\delta _{2}\), \(\tau _{1}\) and \(\tau _{2}\), respectively, with \(0<\delta _{1},\delta _{2},\tau _{1}\), \(\tau _{2} < 1\) and type \(0\leq \alpha _{1},\alpha _{2},\beta _{1}\), \(\beta _{2} \leq 1\) such that \(1<\delta _{1}+\delta _{2}<2\), \(1<\tau _{1}+\tau _{2}<2\). \(I^{\theta _{m}:\psi}_{a^{+}}\) and \(I^{\eta _{n}:\psi}_{a^{+}}\) are the ψ-Riemann–Liouville (RL) fractional integrals of order \(\theta _{m}\) and \(\eta _{n}\), respectively. \(a=\varepsilon _{0}<\mathfrak{s}_{0}<\varepsilon _{1}<\mathfrak{s}_{1}<\cdots< \varepsilon _{r}<\mathfrak{s}_{r}=b\), \(d_{1},d_{2} \in \mathcal{R} \backslash \{0\}\) and \(\lambda _{n},\mu _{n} \in \mathcal{R^{+}}\). Also, \(\zeta _{m}, \eta _{n} \in [a,b]\). The state variables \(\varphi ,\rho :[a,b] \rightarrow \mathcal{R}\), and the functions \(f,g : [a,b] \times \mathcal{R} \times \mathcal{R} \rightarrow \mathcal{R} \) and \(\mathcal{M}_{j},\mathcal{N}_{j}:[\mathfrak{s}_{j-1},\varepsilon _{j}] \times \mathcal{R} \rightarrow \mathcal{R}\) are continuous for all \(j=1,2,\ldots,r\).
We highlight that the present study is novel and makes notable contributions to the existing literature on the topic. The proposed problem includes:
-
A coupled system of fractional differential equations in which fractional derivatives appear sequentially.
-
ψ-Hilfer fractional boundary value problems with non-instantaneous impulses.
-
Investigation of the existence of a solution to the coupled system with non-instantaneous impulses via topological degree theory.
2 Preliminaries
The fundamental ideas, theorems, and lemmas that influence our analysis are stated below:
Let \(\mathcal{T}=[a,b]\). Denote by \(C(\mathcal{T},\mathcal{R})\) the space of all continuous functions, and by \(AC(\mathcal{T},\mathcal{R})\) the space of all absolutely continuous functions. Let X be a Banach space, and let \(\mathcal{B} \subset P(X)\) denote the family of all bounded subsets of X. Also, let \(\psi \in C(\mathcal{T},\mathcal{R})\) be an increasing function such that \(\psi ^{\prime}(\varepsilon )>0\) for all \(\varepsilon \in \mathcal{T}\).
Definition 1
[24] Let \(F:\mathcal{K}\longrightarrow X\) be a bounded continuous map, where \(\mathcal{K}\subseteq X\). Then F is
-
1.
σ-Lipschitz if there exists \(k\geq 0\) such that \(\sigma (F(S))\leq k \sigma (S)\) for all bounded subsets \(S\subseteq \mathcal{K}\);
-
2.
a strict σ-contraction if there exists \(0\leq k<1\) such that \(\sigma (F(S))\leq k \sigma (S)\);
-
3.
σ-condensing if \(\sigma (F(S))<\sigma (S)\) for all bounded subsets \(S \subseteq \mathcal{K} \) with \(\sigma (S)>0\). In other words, \(\sigma (F(S))\geq \sigma (S)\) implies \(\sigma (S)=0\),
where σ is the Kuratowski measure of non-compactness.
Proposition 1
[25] If F, \(G:\mathcal{K} \longrightarrow X\) are σ-Lipschitz with respective constants \(a_{1}\) and \(a_{2}\), then \(F+G\) is σ-lipschitz with constant \(a_{1}+a_{2}\).
Proposition 2
[25] If \(F:\mathcal{K} \longrightarrow X\) is Lipschitz with constant a, then F is σ-lipschitz with the same constant a.
Proposition 3
[25] If \(F:\mathcal{K} \longrightarrow X\) is compact, then F is σ-lipschitz with constant \(a=0\).
Let \(\curlywedge =\{(I-F,\mathcal{K},y) : \mathcal{K}\subseteq X \text{ open and bounded, } F \in C_{\sigma}(\bar{\mathcal{K}}), \ y \in X \backslash (I-F)(\partial \mathcal{K}) \}\) be the family of admissible triplets, where \(C_{\sigma}(\bar{\mathcal{K}})\) represents the class of all σ-condensing maps \(F:\bar{\mathcal{K}}\rightarrow X\).
Theorem 4
[25] Let \(F:\mathcal{K} \longrightarrow X\) is σ-condensing and
If ⋏ is a bounded set in X, then there exists \(r>0\) such that \(\curlywedge \subset B_{i}(0)\) and
Thus, F has at least one fixed point, and the set of all fixed points of F lies in \(B_{i}(0)\).
Definition 2
[26] Let \((a,b)\; ( {- \infty \leq \ a < b \leq \ \infty}) \) be a finite or infinite interval of the real line \(\mathcal{R}\) and ϑ> 0. The ψ-RL fractional integral \(I^{\vartheta ;\psi}_{a^{+}}(\cdot ) \) of a function \(h \in AC^{n}([a,b],\mathbb{R})\) on \([a,b]\) is defined by
where \(\Gamma (\vartheta )= \int \limits _{0}^{\infty} t^{\vartheta -1} e^{-t} dt\) represents the Gamma function.
Definition 3
[19] Let \([a,b] \) be the interval such that \({- \infty \leq \ a < b \leq \ \infty}\), \(\ n \in \mathbb{N}\), \(n-1 < \vartheta < n \) and \(h \in C^{n}([a,b]\). The ψ-Hilfer fractional derivative \(^{H}D^{\vartheta ,\kappa ;\psi}_{a^{+}} (\cdot )\) of a function h of order ϑ and type \(0 \leq \ \kappa \leq \ 1 \) is defined by
where \(n=[\vartheta ]+1\) and \([\vartheta ]\) is the integer part of the real number ϑ with \(\gamma =\vartheta +\kappa (n-\vartheta )\).
Lemma 1
[26] For \(\vartheta ,\tau >0\), we have the following semigroup property:
Lemma 2
[19] If \(h \in C^{n}([a,b],\mathcal{R})\), \(n-1 < \vartheta < n \) and \(0 \leq \ \kappa \leq \ 1 \) and \(\gamma =\vartheta +\kappa (n-\vartheta )\), then
for all \(\varepsilon \in [a,b]\), where \(h^{[n]}_{\psi} h(\varepsilon )= \big( \frac{1}{\psi ^{\prime}(\varepsilon )} \frac{d}{dt} \big)^{n} h( \varepsilon )\).
Proposition 5
[19, 26] Let \(\vartheta \geq 0\), \(l>0\) and \(\varepsilon >a\). Then the ψ-fractional integral and derivative of a power function are given by:
-
1.
\(I^{\vartheta ;\psi}_{a^{+}} (\psi (\varepsilon )-\psi (a))^{l-1}( \varepsilon ) = \frac{\Gamma (l)}{\Gamma (l+\vartheta )} (\psi ( \varepsilon )-\psi (a))^{l+\vartheta -1} \).
-
2.
\(^{H}D^{\vartheta ,\kappa ;\psi}_{a^{+}} (\psi (\varepsilon )-\psi (a))^{l-1}( \varepsilon ) = \frac{\Gamma (l)}{\Gamma (l-\vartheta )} (\psi ( \varepsilon )-\psi (a))^{l-\vartheta -1} \), \(l>\gamma =\vartheta + \kappa (n-\vartheta )\).
3 Solution framework
The solution of the BVPs (1) is derived in this section.
Define \(\mathcal{Z}=PC(\mathcal{T},\mathcal{R})\), the space of all piece-wise continuous functions, by
with the norm \(\Vert \varphi \Vert _{\mathcal{Z}}= \underset{\varepsilon \in \mathcal{T}}{\sup}\{ \vert \varphi ( \varepsilon ) \vert : \varepsilon \in \mathcal{T} \} \). Under this norm, \(\mathcal{Z}\) is a Banach space. Consequently, \(\mathcal{Z} \times \mathcal{Z}\) is a Banach space with the norm \(\Vert (\varphi ,\rho )\Vert _{\mathcal{Z}}=\Vert \varphi \Vert _{ \mathcal{Z}}+\Vert \rho \Vert _{\mathcal{Z}}, \ (\varphi ,\rho ) \in \mathcal{Z} \times \mathcal{Z}\).
To demonstrate the existence and uniqueness of (1), it is essential to prove the following lemma.
We consider the following notation throughout the paper: \(\mathfrak{S}(l,s) = \frac{(\psi (l)-\psi (a))^{s}}{\Gamma (s+1)}\).
Lemma 3
Let \(\gamma _{1}=\delta _{1}+\alpha _{1}(1-\delta _{1})\), \(\gamma _{2}= \delta _{2}+\alpha _{2}(1-\delta _{2})\), \(\bar{\gamma _{1}}=\tau _{1}+ \beta _{1}(1-\tau _{1})\), and \(\bar{\gamma _{2}}=\tau _{2}+\beta _{2}(1-\tau _{2})\). Let \(f,g : \mathcal{T} \times \mathcal{R} \times \mathcal{R} \rightarrow \mathcal{R} \), and \(\Lambda _{1_{j}},\Lambda _{2_{j}},\Lambda _{3_{j}},\Lambda _{4_{j}} \neq 0\). Then the solution of the coupled sequential impulsive fractional BVPs (1) is given by
where
Proof
Let φ and ρ be the solution of (1).
Case 1: For \(\varepsilon \in [a,\mathfrak{s}_{0}]\), consider
Using Lemma 2 and applying operators \(I^{\delta _{1};\psi}_{a^{+}}\) and \(I^{\delta _{2};\psi}_{a^{+}}\) on both sides of the above sequential differential equation, we have
When \(\varphi (a)=0\), we get \(c_{2}=0\). Then the above equation is reduced to
Applying the boundary condition and simplifying, we get
Thus,
Similarly, for
For \(\varepsilon \in (\mathfrak{s}_{0},\varepsilon _{1}]\), \(\varphi (\varepsilon _{1})=\mathcal{M}_{1}(\varepsilon ,\varphi ( \varepsilon ))\), \(\rho (\varepsilon _{1})=\mathcal{N}_{1}( \varepsilon ,\rho (\varepsilon ))\).
Case 2: For \(\varepsilon \in (\varepsilon _{1},\mathfrak{s}_{1}]\), consider
Repeating the same process as above, we obtain
and
Solving for \(c_{1}\) and \(c_{2}\) and substituting, we obtain
Similarly, for
Generally, for \(\varepsilon \in (\mathfrak{s}_{j-1},\varepsilon _{j}]\), \(\varphi (\varepsilon _{j})=\mathcal{M}_{j}(\varepsilon _{j},\varphi ( \varepsilon _{j}))\) and \(\rho (\varepsilon _{j})=\mathcal{N}_{j}(\varepsilon _{j},\rho ( \varepsilon _{j}))\).
Case 3: For \(\varepsilon \in (\varepsilon _{j},\mathfrak{s}_{j}]\), consider
and
Proceeding in the same way, we obtain (6) and (7), which are the solutions of the impulsive fractional BVPs (1).
Conversely, by using standard steps, we verify that (6) and (7) satisfy (1). □
4 Main results
The existence of a solution to (1) are determined in this section.
We transform our system into a fixed-point problem.
Define the operators \(\mathcal{F}, \mathcal{G}, \mathcal{J}:\mathcal{Z} \times \mathcal{Z} \longrightarrow \mathcal{Z} \times \mathcal{Z} \) by
where \(\mathcal{F}_{1},\mathcal{F}_{2},\mathcal{G}_{1},\mathcal{G}_{2}: \mathcal{Z} \longrightarrow \mathcal{Z}\) are given by
The fixed points of the operator equation \(\mathcal{J}(\varphi ,\rho )=(\varphi ,\rho )\) are the solution of equation (1).
In order to obtain the existence results, we need the following hypotheses:
- \(({H_{1}})\):
-
Let \(f,g \in C(\mathcal{T} \times \mathcal{R} \times \mathcal{R}, \mathcal{R})\). For each \((\varepsilon ,\varphi ,\rho ) \in \mathcal{T}\times \mathcal{R} \times \mathcal{R}\), there exist constants \(l_{f_{1}}\), \(l_{f_{2}}\), \(M_{f}\), \(l_{g_{1}}\), \(l_{g_{2}}\), \(M_{g} \in [0,1)\) such that
$$ \begin{aligned} \vert f(\varepsilon ,\rho ,\varphi ) \vert \leq & \ l_{f_{1}} \vert \rho (\varepsilon ) \vert + l_{f_{2}} \vert \varphi ( \varepsilon ) \vert +M_{f}, \\ \vert g(\varepsilon ,\varphi ,\rho ) \vert \leq & \ l_{g_{1}} \vert \varphi (\varepsilon ) \vert + l_{g_{2}} \vert \rho (\varepsilon ) \vert +M_{g}. \end{aligned} $$ - \(({H_{2}})\):
-
Let \(f,g \in C(\mathcal{T} \times \mathcal{R} \times \mathcal{R}, \mathcal{R})\). For each \((\varepsilon ,\varphi ,\rho ),(\varepsilon ,\bar{\varphi},\bar{\rho}) \in \mathcal{T}\times \mathcal{R} \times \mathcal{R}\), there exist constants \(\lambda _{1},\lambda _{2} \in [0,1)\) such that
$$ \begin{aligned} \vert f(\varepsilon ,\rho ,\varphi )- f(\varepsilon , \bar{\rho},\bar{\varphi}) \vert \leq & \ \lambda _{1} \big( \vert \rho (\varepsilon ) - \bar{\rho}(\varepsilon ) \vert + \vert \varphi ( \varepsilon )-\bar{\varphi}(\varepsilon ) \vert \big), \\ \vert g(\varepsilon ,\varphi ,\rho )- g(\varepsilon ,\bar{\varphi}, \bar{\rho}) \vert \leq & \ \lambda _{2} \big( \vert \varphi ( \varepsilon ) - \bar{\varphi}(\varepsilon ) \vert + \vert \rho ( \varepsilon )-\bar{\rho}(\varepsilon ) \vert \big). \end{aligned} $$ - \(({H_{3}})\):
-
Let \(\mathcal{M}_{j},\mathcal{N}_{j} \in C((\mathfrak{s}_{j-1}, \varepsilon _{j}] \times \mathcal{R} ,\mathcal{R})\). For each \((\varepsilon ,\varphi ,\rho ) \in \mathcal{T}\times \mathcal{R} \times \mathcal{R}\), there exist constants \(L_{1},M_{1},L_{2},M_{2} \in [0,1)\) such that
$$ \begin{aligned} \vert \mathcal{M}_{j}(\varepsilon ,\varphi ) \vert \leq & \ L_{1} \vert \varphi (\varepsilon ) \vert + M_{1} , \\ \vert \mathcal{N}_{j}(\varepsilon ,\rho ) \vert \leq & \ L_{2} \vert \rho (\varepsilon ) \vert + M_{2}. \end{aligned} $$ - \(({H_{4}})\):
-
Let \(\mathcal{M}_{j},\mathcal{N}_{j} \in C((\mathfrak{s}_{j-1}, \varepsilon _{j}] \times \mathcal{R} ,\mathcal{R})\). For each \(\varepsilon \in (\mathfrak{s}_{j-1},\varepsilon _{j}] \), and φ, φ̄, \(\rho ,\bar{\rho} \in \mathcal{R}\), there exist constants \(P_{\mathcal{M}_{j}},P_{\mathcal{N}_{j}} \in [0,\frac{1}{r}]\) such that
$$ \begin{aligned} \vert \mathcal{M}_{j}(\varepsilon ,\varphi )- \mathcal{M}_{j}(\varepsilon ,\bar{\varphi}) \vert \leq & \ P_{ \mathcal{M}_{j}} \vert \varphi (\varepsilon )-\bar{\varphi}( \varepsilon ) \vert , \\ \vert \mathcal{N}_{j}(\varepsilon ,\rho )-\mathcal{N}_{j}( \varepsilon ,\bar{\rho}) \vert \leq & \ P_{\mathcal{N}_{j}} \vert \rho (\varepsilon )-\bar{\rho}(\varepsilon ) \vert . \end{aligned} $$
For easy understandability, we use the following notations:
Theorem 6
The operator \(\mathcal{F}\) is Lipschitz with constant ϖ. Consequently, \(\mathcal{F}\) is σ-Lipschitz with the same constant ϖ and satisfies the growth condition
Proof
Let \(\varphi ,\bar{\varphi},\rho , \bar{\rho} \in \mathcal{Z}\). Using \(({H_{1}})-({H_{4}})\), we proceed as follows:
Case 1: For \(\varepsilon \in [a,\mathfrak{s}_{0}]\),
Similarly,
Thus,
Case 2: For \(\varepsilon \in (\varepsilon _{j},\mathfrak{s}_{j}]\),
Similarly,
Thus,
Case 3: For \(\varepsilon \in (\mathfrak{s}_{j-1},\varepsilon _{j}]\),
Thus,
Consequently,
Thus, \(\mathcal{F}\) is Lipschitz with constant ϖ.
According to Proposition 2, \(\mathcal{F}\) is σ-Lipschitz with constant ϖ.
Next, we proceed to derive the growth condition.
Case 1: For \(\varepsilon \in [a,\mathfrak{s}_{0}]\),
Similarly,
Thus,
Case 2: For \(\varepsilon \in (\varepsilon _{j},\mathfrak{s}_{j}]\),
Similarly,
Thus,
Case 3: For \(\varepsilon \in (\mathfrak{s}_{j-1},\varepsilon _{j}]\),
Thus,
Consequently,
Hence the growth condition is satisfied. □
Theorem 7
The operator \(\mathcal{G}\) is continuous and satisfies the following growth condition:
Proof
Consider a bounded subset \(\mathcal{B}_{\varsigma}=\{\Vert (\varphi ,\rho ) \Vert _{\mathcal{Z}} \leq \varsigma : (\varphi ,\rho ) \in \mathcal{Z} \times \mathcal{Z} \}\).
Let \(\{(\varphi _{n},\rho _{n})\}\) be a sequence such that \((\varphi _{n},\rho _{n}) \longrightarrow (\varphi ,\rho )\) as \(n \longrightarrow \infty \) within \(\mathcal{B}_{\varsigma}\).
To show that \(\mathcal{G}\) is continuous. Let \(\varphi ,\bar{\varphi},\rho ,\bar{\rho} \in \mathcal{B}_{\varsigma}\).
For \(\varepsilon \in [a,\mathfrak{s}_{0}]\) and \(\varepsilon \in (\varepsilon _{j},\mathfrak{s}_{j}]\),
Using \(({H_{1}})-({H_{4}})\), we obtain that
Similarly,
Thus,
For \(\varepsilon \in (\mathfrak{s}_{j-1},\varepsilon _{j}]\),
Consequently,
⟹ \(\mathcal{G}\) is continuous.
For \(\varepsilon \in [a,\mathfrak{s}_{0}]\) and \(\varepsilon \in (\varepsilon _{j},\mathfrak{s}_{j}]\),
Using \(({H_{1}})-({H_{4}})\), we obtain
Similarly,
Thus,
For \(\varepsilon \in (\mathfrak{s}_{j-1},\varepsilon _{j}]\),
Consequently,
Hence the growth condition is satisfied. □
Theorem 8
The operator \(\mathcal{G}\) is compact.
Proof
Let \(\chi \subset \mathcal{B}_{\varsigma}\) be bounded and \(\{(\varphi _{n},\rho _{n})\}\) be a sequence in χ.
From the growth condition of \(\mathcal{G}\), it is clear that \(\mathcal{G}\chi \) is uniformly bounded in \(\mathcal{Z} \times \mathcal{Z}\).
To show that \(\mathcal{G}\) is equicontinuous.
Let \(a \leq \varepsilon _{1} \leq \varepsilon _{2} \leq b\).
For \(\varepsilon \in [a,\mathfrak{s}_{0}]\) and \(\varepsilon \in (\varepsilon _{j},\mathfrak{s}_{j}]\), we obtain
Using \(({H_{1}})-({H_{4}})\), we get
Similarly,
Thus,
For \(\varepsilon \in (\mathfrak{s}_{j-1},\varepsilon _{j}]\),
Consequently,
This implies that \(\mathcal{G}\) is equicontinuous. By the Arzela–Ascoli theorem [27], \(\mathcal{G}\) is compact.
According to Proposition 3, \(\mathcal{G}\) is σ-Lipschitz with constant 0. □
Theorem 9
If \(({H_{1}})-({H_{4}})\) hold and \(\varpi = \max \big\{\Omega , \Upsilon , \Delta \big\} \in [0,1)\), where
then the coupled system has at least one solution \((\varphi ,\rho ) \in \mathcal{Z} \times \mathcal{Z}\) and the solution set of (1) is bounded in \(\mathcal{Z} \times \mathcal{Z}\).
Proof
We observe that \(\mathcal{F}\) is σ-Lipschitz with constant \(\varpi \in [0,1)\) from Theorem 6 and \(\mathcal{G}\) is σ-Lipschitz with constant 0 from Theorem 7. By Proposition 1 and Definition 1, \(\mathcal{J}\) is a strict σ-contraction with constant ϖ. Hence \(\mathcal{J}\) is σ-condensing.
Now consider the set
We need to show that \(\mathcal{S}\) is bounded in \(\mathcal{Z} \times \mathcal{Z}\).
Let \((\varphi ,\rho ) \in \mathcal{S}\). Then from the growth conditions of Theorem 6 and Theorem 7, we have
and
Thus, \(\mathcal{S}\) is bounded in \(\mathcal{Z} \times \mathcal{Z} \). According to Theorem 4, there exists \(\varsigma>0\) such that \(\mathcal{S} \subset \mathcal{B}_{\varsigma}(0)\), hence
Therefore, \(\mathcal{J}\) has at least one fixed point, and thus the coupled system (1) has at least one solution. □
5 Example
In this section, we provide an example to demonstrate our results. The following boundary value problem finds applications in various fields where complex dynamics, memory effects, and non-local interactions play a significant role. A few examples include population dynamics with delays, chemical reaction networks, epidemiological models, financial systems with delayed reactions, and many more.
In particular, we can explain the following boundary value problem in the context of a biological system. The state variables \(\varphi (\varepsilon )\) and \(\rho (\varepsilon )\) may represent the concentration of a hormone in the bloodstream and the concentration of a cytokine produced by immune cells in response to the hormone, respectively. The sequential derivatives corresponding to \(\varphi (\varepsilon )\) help to capture the complex temporal behaviour and memory effects of hormone levels in the bloodstream, while the sequential derivatives corresponding to \(\rho (\varepsilon )\) model the delayed and memory-dependent response of cytokine production. The functions \(\mathcal{M}_{j}\) and \(\mathcal{N}_{j}\) describe gradual changes in hormone and cytokine levels, respectively, over certain intervals. This model could be used to predict how the hormone and cytokine levels evolve over time, to design medical treatments by understanding the delayed responses and interactions between hormones and cytokines, and to analyse biological rhythms and cycles, where the past states significantly influence future behaviour.
Investigating the existence of a solution is essential for ensuring the mathematical validity, practical applicability, and predictive capability of the model.
Example 1
Let us consider the coupled system of ψ-Hilfer sequential fractional boundary value problem with non-instantaneous impulses
where
Here,
We calculate:
Comparing with \(({H_{1}})-({H_{4}})\), we observe that
We determine \(\varpi = \max \big\{\Omega , \ \Upsilon , \ \Delta \big\}= 0.3462<1\).
This implies that \(\mathcal{F} \) is σ-Lipschitz with constant 0.3462, and thus, \(\mathcal{G}\) is σ-Lipschitz with constant zero. Consequently, \(\mathcal{J}\) is σ-Lipschitz with constant 0.3462.
Since \(\mathcal{S}=\Big\{ (\varphi ,\rho )\in \mathcal{Z} \times \mathcal{Z} : \text{there exist } \omega \in [0,1], \ (\varphi ,\rho ) = \omega \ \mathcal{J}(\varphi ,\rho ) \Big\}\), by calculation, we obtain \(\Vert (\varphi ,\rho )\Vert \approx 0.0586 \).
Then \(\mathcal{S}\) is bounded, and by Theorem 9, the BVP (10) has at least one solution.
Moreover, the numerical results of Ω for all \(\varepsilon \in [\frac{1}{4},\frac{3}{4}]\) and ϒ for all \(\varepsilon \in [1,\frac{3}{2}]\) for various values of order \(0<\delta _{1},\delta _{2},\tau _{1}\), \(\tau _{2}<1\) are obtained and are graphically presented in Fig. 1a and Fig. 1b, respectively.
We observe that \(\Delta =0.1714\) for all \(\varepsilon \in (\frac{3}{4},1]\).
We observe that for an increase in time, ϖ increases gradually and is clearly less than 1. Also, when the order increases, ϖ decreases gradually. The results are shown in Table 1 and graphically presented in 2.
6 Conclusion
In this paper, we investigated the coupled system of ψ-Hilfer sequential fractional BVPs with non-instantaneous impulses. In a piece-wise continuous space, we derived the solution of the system. On the basis of TDT, the existence results of the system were proved. An example was constructed to demonstrate the results. Additionally, a graphical analysis was carried out to verify the results.
Data Availability
No datasets were generated or analysed during the current study.
References
Joelianto, E., Sutarto, H.Y.: Controlled switching dynamical systems using linear impulsive differential equations. In: Intelligent Unmanned Systems: Theory and Applications, pp. 227–244 (2009)
Malti, A., Benchohra, M., Graef, J., Lazreg, J.E.: Impulsive boundary value problems for nonlinear implicit Caputo-exponential type fractional differential equations. Electron. J. Qual. Theory Differ. Equ. 2020(78), 1–17 (2020)
Hernandez, E., O’Regan, D.: On a new class of abstract impulsive differential equations. Proc. Am. Math. Soc. 141(5), 1641–1649 (2013)
Benchohra, M., Karapinar, E., Lazreg, J.E., Salim, A.: Fractional differential equations with non-instantaneous impulses. In: Advanced Topics in Fractional Differential Equations: A Fixed Point Approach, pp. 117–168 (2023)
Fernandez, A., Ali, S., Zada, A.: On non-instantaneous impulsive fractional differential equations and their equivalent integral equations. Math. Methods Appl. Sci. 44(18), 13979–13988 (2021)
Ibrahim, A.G., Elmandouh, A.A.: Existence and stability of solutions of ψ-Hilfer fractional functional differential inclusions with non-instantaneous impulses. AIMS Math. 6(10), 10802–10832 (2021)
Baghani, H.: Existence and uniqueness of solutions to fractional Langevin equations involving two fractional orders. J. Fixed Point Theory Appl. 20, 1–7 (2018)
Ahmad, B., Hamdan, S., Alsaedi, A., Ntouyas, S.K.: On a nonlinear mixed-order coupled fractional differential system with new integral boundary conditions. AIMS Math. 6(6), 5801–5816 (2021)
Afshari, H., Karapinar, E.: A discussion on the existence of positive solutions of the boundary value problems via ψ-Hilfer fractional derivative on b-metric spaces. Adv. Differ. Equ. 2020(1), 616 (2020)
Alruwaily, Y., Ahmad, B., Ntouyas, S.K., Alzaidi, A.S.: Existence results for coupled nonlinear sequential fractional differential equations with coupled Riemann-Stieltjes integro-multipoint boundary conditions. Fractal Fract. 6(2), 123 (2022)
Boutiara, A., Alzabut, J., Selvam, A.G.M., et al.: Analysis and applications of sequential hybrid-Hilfer fractional differential equations and inclusions in Banach algebra. Qual. Theory Dyn. Syst. 22, 12 (2023)
Benchohra, M., Karapinar, E., Lazreg, J.E., Salim, A.: Hybrid fractional differential equations. In: Fractional Differential Equations: New Advancements for Generalized Fractional Derivatives, pp. 31–76 (2023)
Krim, S., Salim, A., Benchohra, M.: On implicit Caputo tempered fractional boundary value problems with delay. Lett. Nonlinear Anal. Appl. 1(1), 12–29 (2023)
Waheed, H., Zada, A., Popa, I.L., et al.: On a system of sequential Caputo-type p-Laplacian fractional BVPs with stability analysis. Qual. Theory Dyn. Syst. 23, 128 (2024)
Li, P., Xu, C., Farman, M., Akgul, A., Pang, Y.: Qualitative and stability analysis with Lyapunov function of emotion panic spreading model insight of fractional operator. Fractals 32(02), 1–24 (2024)
Xu, C., Zhao, Y., Lin, J., Pang, Y., Liu, Z., Shen, J., et al.: Mathematical exploration on control of bifurcation for a plankton–oxygen dynamical model owning delay. J. Math. Chem., 1–31 (2023)
Ullah, A., Shah, K., Abdeljawad, T., Khan, R.A., Mahariq, I.: Study of impulsive fractional differential equation under Robin boundary conditions by topological degree method. Bound. Value Probl. 2020(1), 98 (2020)
Xie, J., Duan, L.: Existence of solutions for a coupled system of fractional differential equations by means of topological degree theory. Adv. Differ. Equ. 2021(1), 309 (2021)
Sousa, J.V.D.C., De Oliveira, E.C.: On the ψ-Hilfer fractional derivative. Commun. Nonlinear Sci. Numer. Simul. 60, 72–91 (2018)
Faree, T.A., Panchal, S.K.: Topological degree theory in fractional order boundary value problem. Turk. J. Comput. Math. Educ. 13(3), 395–401 (2022)
Ahmad, I., Shah, K., ur Rahman, G., Baleanu, D.: Stability analysis for a nonlinear coupled system of fractional hybrid delay differential equations. Math. Methods Appl. Sci. 43(15), 8669–8682 (2020)
Feng, M., Zhang, X., Ge, W.: New existence results for higher-order nonlinear fractional differential equation with integral boundary conditions. Bound. Value Probl. 2011, 720702 (2011)
Salim, A., Bouriah, S., Benchohra, M., Lazreg, J.E., Karapinar, E.: A study on k-generalized ψ-Hilfer fractional differential equations with periodic integral conditions. Math. Methods Appl. Sci. (2023)
Deimling, K.: Nonlinear Functional Analysis. Courier Corporation (2010)
Isaia, F.: On a nonlinear integral equation without compactness. Acta Math. Univ. Comen. 75(2), 233–240 (2006)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Green, J.W., Valentine, F.A.: On the Arzela-Ascoli theorem. Math. Mag. 34(4), 199–202 (1961)
Funding
The authors declare that no funds, grants, or other support were received during the preparation of this manuscript.
Author information
Authors and Affiliations
Contributions
All authors equally contributed to the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare 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
Latha Maheswari, M., Keerthana Shri, K.S. & Muthusamy, K. Existence results for coupled sequential ψ-Hilfer fractional impulsive BVPs: topological degree theory approach. Bound Value Probl 2024, 93 (2024). https://doi.org/10.1186/s13661-024-01901-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-024-01901-y