Abstract
In this article, a generalization of Darbo’s fixed point theorem using a new contraction operator is obtained to solve our proposed hybrid differential and fractional hybrid differential equations in a Banach space. The applicability of our results with the help of a suitable example has also been shown.
1 Introduction
Fractional integrals and fractional derivatives have a history as old as calculus. Fractional differential equations involving fractional-order derivatives have gained much importance in recent years because of their variety of practical applications in different fields of science and engineering. Fixed point theory and measures of noncompactness (m.n.c.) are widely used in solving different types of differential and integral equations. m.n.c. was first introduced by Kuratowski [17] in 1930. After that, Darbo [6] generalized Schauder’s fixed point theorem with the help of Kuratowski m.n.c. Presently, a huge number of new research works related to different types of integral and differential equations have been done by several mathematicians. Arab et al. [2] studied the solvability of fractional functional-integral equations using m.n.c. In [8], the authors established some new fixed point theorems involving m.n.c. and control functions. Furthermore, by employing this m.n.c., they discussed the existence of solutions to integral equations in a Banach space. In [7], the authors presented the existence of solutions to the nonlinear functional integral equations in two variables with the help of fixed point theory. In [15], the authors discussed the existence of solutions to functional integral equations by using m.n.c. and operator-type contractions. Das et al. [10] analyzed the problem of the existence of solutions to a generalized proportional fractional integral equation via new fixed point theorems.
In [5], the authors considered the applications of m.n.c. in the study of asymptotic stability. Deb et al. [11] discussed new fixed point theorems via m.n.c. and their applications on fractional equations involving an operator with iterative relations. In [4], the authors discussed the existence of solutions for infinite systems of differential equations in tempered sequence spaces. In [20], the authors worked on the solvability of nonlinear functional integral equations of two variables in a Banach algebra. In [19], the authors first introduced a new tempered sequence space and introduced an m.n.c. in this space. Furthermore, by using m.n.c. and generalizing Darbo’s fixed point theorem, they discussed the existence of solutions to an infinite system of fractional differential equations. In [12], the authors presented a generalization of Darbo’s fixed point theorem, and they used it to investigate the solvability of an implicit fractional order integral equation in \(\ell _{p}\) (\(1 \leq p< \infty \)) spaces. In [13], the authors established a new tempered sequence space, i.e., the tempered sequence space \(\ell ^{\alpha}_{p}\) (\(p \geq 1\)) and obtained an m.n.c. in this space. Also, they studied the solvability of an infinite system of Langevin fractional differential equations in this space by using m.n.c. with Darbo’s fixed point theorem. In [18], the authors discussed the solvability of an infinite system of fractional differential equations in a new tempered sequence space. In [14], the authors studied the existence of solutions for an infinite system of Hilfer fractional boundary value problems in tempered sequence spaces by using Meir-Keeler condensing operators with some numerical examples. Das et al. investigated the solvability of generalized fractional integral equations of two variables in [9]. They developed a fixed point theorem that broadened Darbo’s fixed point theorem (DFPT) by employing the measure of noncompactness and a contraction operator. Additionally, they discovered the associated coupled fixed point theorem, used this generalized DFPT to solve generalized fractional integral equations of two variables, and presented an example to explain their conclusions.
In this investigation, we study the following hybrid differential equation
and the following fractional hybrid differential equation
where
and \([\alpha ]\) denotes the integer part of number α.
2 Preliminaries
First, we recall the definition of an m.n.c. (see [3]).
Assume that \(\Vert \cdot \Vert _{H} \) is a norm on a real Banach space H and \(\mathcal{W}(\pi ,d_{0})= \lbrace \theta \in H:\Vert \theta - \pi \Vert _{H} \leq d_{0} \rbrace \).
Let,
-
The collection of all non-empty and bounded subsets of H be denoted by \(M_{H}\) and the collection of all non-empty relatively compact subsets of H be denoted by \(N_{H}\),
-
The closure and the convex closure of \(\mathcal{V}\subseteq H\) be denoted by \(\bar{\mathcal{V}} \) and \(\operatorname{Conv} \mathcal{V}\), respectively,
-
\(\mathcal{R}=(-\infty , \infty )\), and \(\mathcal{R}^{+}= [ 0, \infty )\).
Definition 2.1
[3] An m.n.c. in H is a function \(\mathcal{G} :M_{H} \rightarrow \mathcal{R}^{+}\) that satisfies the given conditions:
-
(i)
\(\forall \mathcal{V} \in M_{H}\), \(\mathcal{G}(\mathcal{V})=0\) gives \(\mathcal{V}\) is relatively compact,
-
(ii)
ker \(\mathcal{G} = \lbrace \mathcal{V} \in M_{H}: \mathcal{G} ( \mathcal{V} )=0 \rbrace \neq \emptyset \),
-
(iii)
\(\mathcal{V} \subseteq \mathcal{V}_{1} \implies \mathcal{G} ( \mathcal{V} ) \leq \mathcal{G} ( \mathcal{V}_{1} )\),
-
(iv)
\(\mathcal{G} ( \bar{\mathcal{V}} )=\mathcal{G} ( \mathcal{V} )\),
-
(v)
\(\mathcal{G} ( \operatorname{Conv} \mathcal{V} )=\mathcal{G} ( \mathcal{V} )\),
-
(vi)
\(\mathcal{G} ( \kappa \mathcal{V} + (1- \kappa ) \mathcal{V}_{1} ) \leq \kappa \mathcal{G} ( \mathcal{V} )+ (1- \kappa )\mathcal{G} ( \mathcal{V}_{1} )\) for all \(\kappa \in [ 0, 1 ]\),
-
(vii)
if \(\mathcal{V}_{p} \in M_{H}\), \(\mathcal{V}_{p}= \bar{\mathcal{V}}_{p}\), \(\mathcal{V}_{p+1} \subset \mathcal{V}_{p}\) for all \(p=1,2,3,4,\ldots \) and \(\lim_{p \rightarrow \infty}\mathcal{G} ( \mathcal{V}_{p} )=0\) then \(\bigcap_{p=1}^{\infty}\mathcal{V}_{p} \neq \emptyset \).
The subfamily \(\ker \mathcal{G} \), defined by (ii), represents the kernel of measure \(\mathcal{G}\), and since \(\mathcal{G}(\mathcal{V}_{\infty}) \leq \mathcal{G}(\mathcal{V}_{p})\) for any p, we can say that \(\mathcal{G}(\mathcal{V}_{\infty})=0\). Then, \(\mathcal{V}_{\infty}=\bigcap_{p=1}^{\infty}\mathcal{V}_{p} \in \ker \mathcal{G}\).
2.1 Useful theorems and definitions
First, we state some important theorems:
Theorem 2.2
(Schauder [1])
Assume that \(\mathcal{Q}\) is a non-empty, bounded, closed and convex subset (n.b.c.c.s.) of a Banach Space H. Then every compact continuous mapping \(\mathfrak{J}: \mathcal{Q} \rightarrow \mathcal{Q}\) has at least one fixed point.
Theorem 2.3
(Darbo [6])
Assume that \(\mathcal{Q}\) is an n.b.c.c.s. of a Banach Space H, and let \(\mathfrak{J}: \mathcal{Q} \rightarrow \mathcal{Q}\) be a continuous mapping. Let us have a constant \(\chi \in [ 0,1 ) \) such that
Then, there exists at least one fixed point for \(\mathfrak{J}\) in \(\mathcal{Q}\).
Now, we define some functions that are important for generalization of the Darbo’s fixed point theorem (\(\mathcal{D}\mathcal{F}\mathsf{P}\mathsf{T}\)).
Definition 2.4
A pair of operators \((\psi , \phi )\), where \(\psi , \phi :(0, \infty ) \rightarrow (0, \infty )\), is a pair of generalized altering distance functions if subsequent postulates hold:
-
(1)
ψ is nondecreasing and continuous;
-
(2)
\(\lim_{n \rightarrow \infty}\phi (t_{n})=0 \implies \lim_{n \rightarrow \infty}t_{n}=0\).
Definition 2.5
[16] A simulation function is an operator \(\Theta : [0, \infty )^{2} \rightarrow [0, \infty )\) satisfying the following conditions:
-
(1)
\(\Theta (0,0)=0\);
-
(2)
\(\Theta (a,b)< b-a\), \(a,b>0\);
-
(3)
if \(\lbrace a_{n} \rbrace \) and \(\lbrace b_{n} \rbrace \) are sequences in \((0, \infty )\) so that \(\lim\limits_{n \rightarrow \infty} a_{n}=\lim\limits_{n \rightarrow \infty} b_{n}>0\), then \(\limsup\limits_{n \rightarrow \infty} \Theta (a_{n}, b_{n})<0\).
3 Fixed point theorems
Theorem 3.1
Assume that \(\mathbb{E}\) is an n.b.c.c.s. of a Banach space H. Also, let \(\mathcal{K}:\mathbb{E} \rightarrow \mathbb{E}\) be a continuous mapping with
where \(\alpha , \beta : [0,\infty ) \rightarrow [0, 1)\) are continuous, \((\psi , \phi )\) is a pair of generalized altering distance functions, \(\mathfrak{P} \subset \mathbb{E}\) and \(\mathcal{G}\) is an arbitrary m.n.c. Then, \(\mathcal{K}\) has at least one fixed point in \(\mathbb{E}\).
Proof
First, we consider the sequence \(\lbrace \mathbb{E}_{r} \rbrace _{r=1}^{\infty}\) with \(\mathbb{E}_{1}=\mathbb{E}\) and \(\mathbb{E}_{r+1}=\overline{\operatorname{Conv}}(\mathcal{K}\mathbb{E}_{r})\) for all \(r \in \mathbb{N}\) (the set of natural numbers). So, \(\mathcal{K}\mathbb{E}_{1}=\mathcal{K}\mathbb{E} \subseteq \mathbb{E}= \mathbb{E}_{1}\), \(\mathbb{E}_{2}=\overline{\operatorname{Conv}}(\mathcal{K}\mathbb{E}_{1})\subseteq \mathbb{E}=\mathbb{E}_{1}\). By proceeding in the same manner, we get \(\mathbb{E}_{1} \supseteq \mathbb{E}_{2}\supseteq \mathbb{E}_{3} \supseteq \cdots \supseteq \mathbb{E}_{r}\supseteq \mathbb{E}_{r+1} \supseteq \cdots \) .
If \(\mathcal{G}(\mathbb{E}_{r_{0}})=0\) for some \(r_{0}\in \mathbb{N}\), then \(\mathbb{E}_{r_{0}}\) is a compact set. Then, using Theorem 2.2, we can say that \(\mathcal{K}\) has a fixed point in \(\mathbb{E}\).
So, let \(\mathcal{G}(\mathbb{E}_{r})>0\) for all \(r \in \mathbb{N}\).
Now,
Since \(\lbrace \mathcal{G}(\mathbb{E}_{r}) \rbrace _{r=1}^{ \infty} \) is a nonnegative decreasing sequence; therefore, it is convergent to some nonnegative number a (say), i.e., \(\lim\limits_{r \rightarrow \infty}\mathcal{G}(\mathbb{E}_{r})=a\). Let \(a\neq 0\). So, as \(r\rightarrow \infty \), we get,
which implies
which contradicts our assumption. Hence, \(a=0\), which gives
As we have \(\mathbb{E}_{r}\supseteq \mathbb{E}_{r+1} \), from part (vii) of Definition 2.1, we get \(\mathbb{E}_{\infty}=\bigcap_{r=1}^{\infty}\mathbb{E}_{r}\) is a non-empty, closed, convex set, which is invariant under \(\mathcal{K}\) and belongs to \(\operatorname{ker} \mathcal{G}\). Thus, by Schauder’s theorem (Theorem 2.2), \(\mathcal{K}\) has at least one fixed point in \(\mathbb{E}\). □
Corollary 3.2
Assume that \(\mathbb{E}\) is an n.b.c.c.s. of H. Also, let \(\mathcal{K}:\mathbb{E} \rightarrow \mathbb{E}\) be a continuous mapping with
where \(\chi \in [0, 1)\), \(\mathfrak{P} \subset \mathbb{E}\) and \(\mathcal{G}\) is an arbitrary m.n.c. Then, \(\mathcal{K}\) has at least one fixed point in \(\mathbb{E}\).
Proof
Putting \(\alpha \equiv \chi \in [0,1)\) and \(\beta \equiv 0\) in equation (3.1) of Theorem 3.1, we can get the above result. □
Remark 3.3
If we chose \(\psi (t)=t\) for all \(t\in [0,\infty )\) in equation (3.2), then we get
Hence, we conclude that our fixed point theorem is a generalization of \(\mathcal{D}\mathcal{F}\mathsf{P}\mathsf{T}\).
Theorem 3.4
Assume that \(\mathbb{E}\) is an n.b.c.c.s. of H. Also, let \(\mathcal{K}:\mathbb{E} \rightarrow \mathbb{E}\) be a continuous mapping with
where \(\beta : [0,\infty ) \rightarrow [0, 1)\) is continuous, \(\mathfrak{P} \subset \mathbb{E}\) and \(\mathcal{G}\) is an arbitrary m.n.c. Then, \(\mathcal{K}\) has at least one fixed point in \(\mathbb{E}\).
Proof
First, we consider the sequence \(\lbrace \mathbb{E}_{r} \rbrace _{r=1}^{\infty}\) with \(\mathbb{E}_{1}=\mathbb{E}\) and \(\mathbb{E}_{r+1}=\overline{\operatorname{Conv}}(\mathcal{K}\mathbb{E}_{r})\) for all \(r \in \mathbb{N}\) (the set of natural numbers). Also, \(\mathcal{K}\mathbb{E}_{1}=\mathcal{K}\mathbb{E} \subseteq \mathbb{E}= \mathbb{E}_{1}\), and \(\mathbb{E}_{2}=\overline{\operatorname{Conv}}(\mathcal{K}\mathbb{E}_{1})\subseteq \mathbb{E}=\mathbb{E}_{1}\). Proceeding in the same manner, we get \(\mathbb{E}_{1} \supseteq \mathbb{E}_{2}\supseteq \mathbb{E}_{3} \supseteq \cdots \supseteq \mathbb{E}_{r}\supseteq \mathbb{E}_{r+1} \supseteq \cdots \) .
Let \(\mathcal{G}(\mathbb{E}_{r_{0}})=0\) for some \(r_{0}\in \mathbb{N}\). So, \(\mathbb{E}_{r_{0}}\) is a compact set. Then, using Theorem 2.2, we conclude that \(\mathcal{K}\) has a fixed point in \(\mathbb{E}\).
Let \(\mathcal{G}(\mathbb{E}_{r})>0\) for all \(r \in \mathbb{N}\).
Now,
Since \(\mathcal{G} ( \mathbb{E}_{r+1} )+l>l\), \(\mathcal{G} ( \mathbb{E}_{r+1} )\leq \beta ( \mathcal{G} ( \mathbb{E}_{r} ) )\mathcal{G} ( \mathbb{E}_{r} ) \). Also, as \(\beta(\mathcal{G}(\mathbb{E}_{r} )) \in [0,1)\), so \(\mathcal{G} ( \mathbb{E}_{r+1} )<\mathcal{G} ( \mathbb{E}_{r} )\).
Since \(\lbrace \mathcal{G}(\mathbb{E}_{r}) \rbrace _{r=1}^{ \infty} \) is a nonnegative decreasing sequence, it is convergent to some nonnegative number a (say), i.e., \(\lim_{r \rightarrow \infty}\mathcal{G}(\mathbb{E}_{r})=a\). So, as \(r\rightarrow \infty \), we get
If \(a>0\), then
which contradicts our assumption. Hence, \(a=0\), which gives
Thus, we have \(\mathbb{E}_{r}\supseteq \mathbb{E}_{r+1} \). Now, from part (vii) of Definition 2.1, \(\mathbb{E}_{\infty}=\bigcap_{r=1}^{\infty}\mathbb{E}_{r}\) is a non-empty, closed, convex set, which is invariant under \(\mathcal{K}\) and belongs to \(\operatorname{ker} \mathcal{G}\). Thus, by Schauder’s theorem (Theorem 2.2), \(\mathcal{K}\) has at least one fixed point in \(\mathbb{E}\). □
Theorem 3.5
Assume that \(\mathbb{E}\) is an n.b.c.c.s. of a Banach space H. Also, let \(\mathcal{K}:\mathbb{E} \rightarrow \mathbb{E}\) be a continuous mapping with
where Θ is a simulation function, \(\beta : [0,\infty ) \rightarrow [0, 1)\) is continuous, \(\mathfrak{P} \subset \mathbb{E}\) and \(\mathcal{G}\) is an arbitrary m.n.c. Then, \(\mathcal{K}\) has at least one fixed point in \(\mathbb{E}\).
Proof
First, we consider the sequence \(\lbrace \mathbb{E}_{r} \rbrace _{r=1}^{\infty}\) with \(\mathbb{E}_{1}=\mathbb{E}\) and \(\mathbb{E}_{r+1}=\overline{\operatorname{Conv}}(\mathcal{K}\mathbb{E}_{r})\) for all \(r \in \mathbb{N}\) (the set of natural numbers). It is obvious that \(\mathcal{K}\mathbb{E}_{1}=\mathcal{K}\mathbb{E} \subseteq \mathbb{E}= \mathbb{E}_{1}\) and \(\mathbb{E}_{2}=\overline{\operatorname{Conv}}(\mathcal{K}\mathbb{E}_{1})\subseteq \mathbb{E}=\mathbb{E}_{1}\). By proceeding in the same manner, we get \(\mathbb{E}_{1} \supseteq \mathbb{E}_{2}\supseteq \mathbb{E}_{3} \supseteq \cdots \supseteq \mathbb{E}_{r}\supseteq \mathbb{E}_{r+1} \supseteq \cdots \) .
Let \(\mathcal{G}(\mathbb{E}_{r_{0}})=0\) for some \(r_{0}\in \mathbb{N}\). So, \(\mathbb{E}_{r_{0}}\) is a compact set. Then, using Theorem 2.2, we conclude that \(\mathcal{K}\) has a fixed point in \(\mathbb{E}\).
Let \(\mathcal{G}(\mathbb{E}_{r})>0\) for all \(r \in \mathbb{N}\).
If we apply the properties of simulation functions, then
implies
Now, we can apply the steps of the above theorem to get the desired result. □
4 Measure of noncompactness on \(\mathcal{C}([0,b])\)
Let us consider the set of all real continuous functions on \(J=[0,b]\), which is denoted by \(H=\mathcal{C}(J)\). Then, H is a Banach space with the norm
Assume that \(\Omega (\neq \emptyset ) \subseteq H\) is bounded. For \(\mathfrak{X} \in \Omega \) and for a \(\sigma >0\), \(\mu (\mathfrak{X},\sigma )\) is the modulus of the continuity of \(\mathfrak{X}\) that is written as
We also define
and
where the m.n.c. in H is denoted by the function \(\mu _{0}\), and the Hausdorff m.n.c. is denoted by ζ and defined by \(\zeta (\Omega )=\frac{1}{2}\mu _{0}(\Omega )\) (see [3]).
5 Solvability of a hybrid differential equation
In this portion, we will check the existence of a solution to the following hybrid differential equation in the Banach space H:
Equation (5.1) is equivalent to the hybrid integral equation (5.2) given as
Let
To establish the existence of a solution to (5.1), we need the following assumptions:
-
(I)
\(\mathfrak{F}:J\times \mathbb{R} \rightarrow \mathbb{R}\) is continuous, and there is a constant \(\text{\pounds }_{1} > 0\) satisfying
$$ \bigl\vert \mathfrak{F}\bigl( \varrho , {\L}_{1}(x)\bigr)- \mathfrak{F}\bigl(\varrho ,{ \L}_{2}(y) \bigr) \bigr\vert \leq \text{\pounds }_{1} \bigl\vert {\L}_{1}(x) - { \L}_{2}(y) \bigr\vert , $$for all \(\varrho ,x,y \in J\) and \({\L}_{1},{\L}_{2}\in H\).
Also, for all \(\varrho \in J\),
$$ \mathfrak{F}( \varrho , 0 ) = z_{0}>0 . $$ -
(II)
\(\Lambda :J\times \mathbb{R} \rightarrow \mathbb{R}\) is continuous, and there is a constant \(\Lambda _{1} > 0\) satisfying
$$ \bigl\vert \Lambda \bigl( \varrho , {\L}_{1}(x)\bigr)-\Lambda \bigl(\varrho ,{\L}_{2}(y) \bigr) \bigr\vert \leq \Lambda _{1} \bigl\vert {\L}_{1}(x) - {\L}_{2}(y) \bigr\vert , $$for all \(\varrho , x, y \in J\) and \({\L}_{1},{\L}_{2}\in H\).
Also, for all \(\varrho \in J\),
$$ \Lambda ( \varrho , 0 ) = 0 . $$ -
(III)
There is a positive number \(g_{0} \) such that
$$ b ( \text{\pounds }_{1}g_{0}+z_{0} ) \Lambda _{1}< 1 . $$
Theorem 5.1
Under assumptions (I)-(III), the equation (5.2) has at least one solution in H.
Proof
We consider the operator \(\mathcal{S} : H \rightarrow H\) defined as
Step (1): In this step, we will prove that the operator \(\mathcal{S}\) maps \(\mathbb{Y}_{g_{0}}\) into \(\mathbb{Y}_{g_{0}}\). Let \({\L} \in \mathbb{Y}_{g_{0}}\). Now, we have
Hence, \(\Vert {\L}\Vert \leq g_{0}\) gives
due to assumption (III). So, \(\mathcal{S}\) maps \(\mathbb{Y}_{g_{0}}\) to \(\mathbb{Y}_{g_{0}}\).
Step (2): In this section, the continuity of \(\mathcal{S}\) on \(\mathbb{Y}_{g_{0}}\) will be established. Let \(\sigma >0\) and \({\L} , {\L}^{\prime} \in \mathbb{Y}_{g_{0}}\) such that \(\Vert {\L} - {\L}^{\prime} \Vert < \sigma \). Then,
If \(\sigma \rightarrow 0\), then \(\vert (\mathcal{S}{\L})(\varrho ) - (\mathcal{S}{\L}^{\prime})( \varrho ) \vert \rightarrow 0\), i.e., \(\Vert \mathcal{S}{\L}-\mathcal{S}{\L}^{\prime}\Vert \rightarrow 0\). Hence, \(\mathcal{S}\) is continuous on \(\mathbb{Y}_{g_{0}}\).
Step (3): Now, assume that \(\Delta _{{\L}}\ (\neq \emptyset ) \subseteq \mathbb{Y}_{g_{0}}\). Let \(\sigma >0\) be arbitrary and choose \({\L} \in \Delta _{{\L}}\) and \(\varrho _{1}, \varrho _{2} \in J\) such that \(\vert \varrho _{2}-\varrho _{1} \vert \leq \sigma \) with \(\varrho _{2} \geq \varrho _{1}\).
We have,
where
Since \(\mathfrak{F}\) is continuous, \(\vert \mathfrak{F}(\varrho _{2},{\L}(\varrho _{2}))-\mathfrak{F}( \varrho _{1},{\L}(\varrho _{2})) \vert \rightarrow 0\) as \(\sigma \rightarrow 0\).
Therefore,
As \(\sigma \rightarrow 0 \), via taking the \(\sup_{{\L} \in \Delta _{{\L}}}\), we get
Thus, by Corollary 3.2, \(\mathcal{S}\) has a fixed point in \(\Delta _{{\L}} \subseteq \mathbb{Y}_{g_{0}}\), i.e., equation (5.1) has a solution in \(H=\mathcal{C}(J)\). □
Now, we consider an example to demonstrate Theorem 5.1.
Example 5.2
Let us take the following \(\mathcal{H}\mathcal{D}\mathcal{E}\):
where \(\varrho \in [0 , 1]=J\) and \({\L}(0)=0 \).
Here,
and
It is also trivial that \(\mathfrak{F}\) is continuous and
for all \(\varrho ,x,y \in J\) and \({\L}_{1},{\L}_{2}\in H\). Therefore, \(\text{\pounds }_{1} = 1 \) and \(z_{0}=\mathfrak{F}(\varrho , 0)=\frac{2}{1+\varrho ^{2}}\leq 2\). Λ is also continuous such that
for all \(\varrho ,x,y \in J\) and \({\L}_{1},{\L}_{2}\in H\).
Therefore, \(\Lambda ( \varrho ,0)=0\) and \(\Lambda _{1}=\frac{1}{3}\).
Now, from the inequality of assumption (III), we have \(\frac{g_{0}+2}{3}<1\) and \(g_{0}<1\). Then, we can say that assumption (III) is also fulfilled for the value
Thus, all the presumptions from (I) to (III) of Theorem 5.1 are fulfilled. According to Theorem 5.1, we can say that there exists a solution for the equation (5.3) in \(H=\mathcal{C}(J)\).
6 Solvability of fractional hybrid differential equation
In this portion, the existence of a solution to a hybrid fractional differential equation in a Banach space H will be established.
Consider the following fractional hybrid differential equation:
Equation (6.1) is equivalent to the following hybrid integral equation:
Let
To establish the existence of a solution of (6.2), we need the following assumptions:
-
(I)
\(\mathfrak{F}:J\times \mathbb{R} \rightarrow \mathbb{R}\) is continuous, and there exists a constant \(\text{\pounds }_{1} > 0\) satisfying
$$ \bigl\vert \mathfrak{F}\bigl( \varrho , {\L}_{1}(x)\bigr)- \mathfrak{F}\bigl(\varrho ,{ \L}_{2}(y) \bigr) \bigr\vert \leq \text{\pounds }_{1} \bigl\vert {\L}_{1}(x) - { \L}_{2}(y) \bigr\vert , $$for all \(\varrho ,x,y \in J\) and \({\L}_{1},{\L}_{2}\in H\).
Also, let, for all \(\varrho \in J\),
$$ \mathfrak{F}( \varrho , 0 ) = z_{0}>0 . $$ -
(II)
\(\Lambda :J\times \mathbb{R} \rightarrow \mathbb{R}\) is continuous, and there is a constant \(\Lambda _{1} > 0\) such that
$$ \bigl\vert \Lambda \bigl( \varrho , {\L}_{1}(x)\bigr)-\Lambda \bigl(\varrho ,{\L}_{2}(y) \bigr) \bigr\vert \leq \Lambda _{1} \bigl\vert {\L}_{1}(x) - {\L}_{2}(y) \bigr\vert , $$for all \(\varrho ,x,y \in J\) and \({\L}_{1},{\L}_{2}\in H \).
Also, for all \(\varrho \in J\),
$$ \Lambda ( \varrho , 0 ) = 0 . $$ -
(III)
There is a positive number \(g_{0} \) such that
$$ \frac{ b^{q} ( \text{\pounds }_{1}g_{0}+z_{0} ) \Lambda _{1}}{\Gamma (q+1)} \leq 1 . $$
Theorem 6.1
Under assumptions (I)-(III), equation (6.2) has at least one solution in \(H=\mathcal{C}(J)\).
Proof
We consider the operator \(\mathcal{S} : H \rightarrow H\) defined as
Step (1): In this step, we will prove that the operator \(\mathcal{S}\) maps \(\mathbb{Y}_{g_{0}}\) into \(\mathbb{Y}_{g_{0}}\). Let \({\L} \in \mathbb{Y}_{g_{0}}\). Now, we have
Hence, \(\Vert {\L}\Vert \leq g_{0}\) gives
Due to assumption (III), \(\mathcal{S}\) maps \(\mathbb{Y}_{g_{0}}\) to \(\mathbb{Y}_{g_{0}}\).
Step (2): In this section, continuity of \(\mathcal{S}\) on \(\mathbb{Y}_{g_{0}}\) will be established. Let \(\sigma >0\) and \({\L} , {\L}^{\prime} \in \mathbb{Y}_{g_{0}}\) such that \(\Vert {\L} - {\L}^{\prime} \Vert < \sigma \). Then,
If \(\sigma \rightarrow 0\), then \(\vert (\mathcal{S}{\L})(\varrho ) - (\mathcal{S}{\L}^{\prime})( \varrho ) \vert \rightarrow 0\), i.e., \(\Vert \mathcal{S}{\L}-\mathcal{S}{\L}^{\prime}\Vert \rightarrow 0\). Hence, \(\mathcal{S}\) is continuous on \(\mathbb{Y}_{g_{0}}\).
Step (3): Now, assume that \(\Delta _{{\L}} (\neq \emptyset ) \subseteq \mathbb{Y}_{g_{0}}\). Let \(\sigma >0\) be arbitrary and choose \({\L} \in \Delta _{{\L}}\) and \(\varrho _{1}, \varrho _{2} \in J\) such as \(\vert \varrho _{2}-\varrho _{1} \vert \leq \sigma \) with \(\varrho _{2} \geq \varrho _{1}\).
Now,
where
Since \(\mathfrak{F}\) is continuous, \(\vert \mathfrak{F}(\varrho _{2},{\L}(\varrho _{2}))-\mathfrak{F}( \varrho _{1},{\L}(\varrho _{2})) \vert \rightarrow 0\) as \(\sigma \rightarrow 0\).
As \(\sigma \rightarrow 0 \), taking \(\sup_{{\L} \in \Delta _{{\L}}}\), we get
Thus, by Corollary 3.2, \(\mathcal{S}\) has a fixed point in \(\Delta _{{\L}} \subseteq \mathbb{Y}_{g_{0}}\), i.e., the equation (6.1) has a solution in \(H=\mathcal{C}(J)\). □
Now, with the help of the following example, Theorem 6.1 will be verified.
Example 6.2
Consider the following \(F \mathcal{H}\mathcal{D}E\):
for \(\varrho \in [0 , 1]=J\) and \({\L}(0)=0 \).
Here,
and
It is also trivial that \(\mathfrak{F}\) is continuous and
Therefore, \(\text{\pounds }_{1} = 1 \) and \(z_{0}=\mathfrak{F}(\varrho , 0)=\frac{2}{1+\varrho ^{2}}\leq 2\). Λ is also continuous such that
Therefore, \(\Lambda ( \varrho ,0)=0\) and \(\Lambda _{1}=\frac{1}{3}\).
Now, from the inequality in assumption (III), we have
Then, we can say that assumption (III) is also fulfilled for the value \(g_{0} =\frac{1}{2} \). Thus, all the presumptions of Theorem 6.1 are fulfilled. According to Theorem 6.1, we can say that there exists a solution for equation (6.3) in \(H=\mathcal{C}(J)\).
Availability of data and materials
Not applicable.
References
Agarwal, R.P., O’Regan, D.: Fixed Point Theory and Applications. Cambridge University Press, Cambridge (2004)
Arab, R., Nashine, H.K., Can, N.H., Binh, T.T.: Solvability of functional-integral equations (fractional order) using measure of noncompactness. Adv. Differ. Equ. 2020, 12 (2020). https://doi.org/10.1186/s13662-019-2487-4
Banaś, J., Goebel, K.: Measure of Noncompactness in Banach Spaces. Lecture Notes in Pure and Applied Mathematics, vol. 60. Dekker, New York (1980)
Banaś, J., Krajewska, M.: Existence of solutions for infinite systems of differential equations in spaces of tempered sequences. Electron. J. Differ. Equ. 60, 1–28 (2017)
Banas, J., Rzepka, B.: An application of a measure of noncompactness in the study of asymptotic stability. Appl. Math. Lett. 16, 1–6 (2003)
Darbo, G.: Punti uniti in trasformazioni a codominio non compatto (Italian). Rend. Semin. Mat. Univ. Padova 24, 84–92 (1955)
Das, A., Hazarika, B., Arab, R., Mursaleen, M.: Applications of a fixed point theorem to the existence of solutions to the nonlinear functional integral equations in two variables. Rend. Circ. Mat. Palermo Ser. 2 68(1), 139–152 (2019)
Das, A., Hazarika, B., Kumam, P.: Some new generalization of Darbo’s fixed point theorem and its application on integral equations. Mathematics 7(3), 214 (2019). https://doi.org/10.3390/math7030214
Das, A., Hazarika, B., Parvaneh, V., Mursaleen, M.: Solvability of generalized fractional order integral equations via measures of noncompactness. Math. Sci. 15, 241–251 (2021). https://doi.org/10.1007/s40096-020-00359-0
Das, A., Suwan, I., Deuri, B.C., Abdeljawad, T.: On solution of generalized proportional fractional integral via a new fixed point theorem. Adv. Differ. Equ. 2021, 427 (2021). https://doi.org/10.1186/s13662-021-03589-1
Deb, S., Jafari, H., Das, A., Parvaneh, V.: New fixed point theorems via measure of noncompactness and its application on fractional integral equation involving an operator with iterative relations. J. Inequal. Appl. 2023, 106 (2023). https://doi.org/10.1186/s13600-023-03003-2
Haque, I., Ali, J., Mursaleen, M.: Solvability of implicit fractional order integral equation in \(\ell _{p}\) (\(1 \leq p < \infty \)) space via generalized Darbo’s fixed point theorem. J. Funct. Spaces 2022, 1674243 (2022)
Haque, I., Ali, J., Mursaleen, M.: Solvability of an infinite system of Langevin fractional differential equations in a new tempered sequence space. Fract. Calc. Appl. Anal. 26, 1894–1915 (2023). https://doi.org/10.1007/s13540-023-00175-y
Haque, I., Ali, J., Mursaleen, M.: Existence of solutions for an infinite system of Hilfer fractional boundary value problems in tempered sequence spaces. Alex. Eng. J. 65, 575–583 (2023)
Hazarika, B., Arab, R., Mursaleen, M.: Applications of measure of noncompactness and operator type contraction for existence of solution of functional integral equations. Complex Anal. Oper. Theory 13, 3837–3851 (2019)
Khojasteh, F., Shukla, S., Radenović, S.: A new approach to the study of fixed point theory for simulation functions. Filomat 26(6), 1189–1194 (2015)
Kuratowski, K.: Sur les espaces complets. Fundam. Math. 1(15), 301–309 (1930)
Mursaleen, M., Savas, E.: Solvability of an infinite system of fractional differential equations with p-Laplacian operator in a new tempered sequence space. J. Pseudo-Differ. Oper. Appl. 14, 57 (2023)
Rabbani, M., Das, A., Hazarika, B., Arab, R.: Measure of noncompactness of a new space of tempered sequences and its application on fractional differential equations. Chaos Solitons Fractals 140, 110221 (2020). https://doi.org/10.1016/j.chaos.2020.110221
Srivastava, H.M., Das, A., Hazarika, B., Mohiuddine, S.A.: Existence of solution for non-linear functional integral equations of two variables in Banach algebra. Symmetry 11, 674 (2019). https://doi.org/10.3390/sym11050674
Acknowledgements
Not applicable.
Funding
This research received no external funding.
Author information
Authors and Affiliations
Contributions
Conceptualization, AD, SD, RG and TA; formal analysis, ZI and VP; investigation, AD, SD, RG and TA; methodology, AD, SD, RG and TA; project administration, ZI and VP; software, AD, SD, RG and TA; supervision, ZI and VP; writing–original draft, AD, SD, RG and TA; writing–review and editing, ZI and VP. All authors have read and agreed to the published version of 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
Das, A., Deb, S., Goswami, R. et al. A generalized Darbo’s fixed point theorem and its applications to different types of hybrid differential equations. Bound Value Probl 2023, 112 (2023). https://doi.org/10.1186/s13661-023-01800-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-023-01800-8