Abstract
In this paper, Darbo’s fixed point theorem is generalized and it is applied to find the existence of solution of a fractional integral equation involving an operator with iterative relations in a Banach space. Moreover, an example is provided to illustrate the results.
Similar content being viewed by others
1 Introduction
In the nonlinear analysis, the concept of measure of noncompactness (MNC) technique plays an important role in addressing the problems in functional analysis. Kuratowski [1] was the first to describe the concept of MNC. After that, Darbo [2] developed a result on fixed point theory by using the concept of MNC. In recent times, the concept of MNC and its applications in the mathematical sciences have been generalized by many authors in various ways (see [3–16]).
In [17], the authors established some new generalizations of Darbo’s fixed point theorem and studied the solvability of an infinite system of weighted fractional integral equations of a function with respect to another function. In [18], the authors studied the existence of solutions for an infinite system of Hilfer fractional differential equations in tempered sequence spaces via Meir–Keeler condensing operators. In [19], the authors first introduced the concept of a double sequence space and constructed a Hausdorff measure of noncompactness on this space. Furthermore, by employing this measure of noncompactness, they discussed the existence of solutions for infinite systems of third-order three-point boundary value problems in a double sequence space. In [20], the authors discussed an existence result for the solution of an infinite system of fractional differential equations with a three point boundary value condition. In [21], the authors studied the existence of solutions for an implicit functional equation involving a fractional integral with respect to a certain function, which generalizes the Riemann–Liouville fractional integral and the Hadamard fractional integral. In [22], the authors presented a generalization of Darbo’s fixed point theorem, and they used it to investigate the solvability of an infinite system of fractional order integral equations. In [23], the authors work on the problem of the existence of positive solutions of a fractional integral equation via measures of noncompactness with the help of Darbo’s fixed point theorem.
Motivated by the above mentioned works, in this article we establish a new fixed point theorem with the help of a newly defined condensing operator using a class of functions. The suggested fixed point theorem has the advantage of relaxing the constraint of the domain of compactness, which is necessary for several fixed point theorems. For particular cases of these classes of functions, the established fixed point theorems will reduce to Darbo’s fixed point theorem.
Is there a contractive condition that ensures the existence of a fixed point but does not demand that the mapping be continuous at the fixed point? This is an open problem put up by Rhoades. The authors of [24] were inspired by [9] and used the MNC tool to investigate the existence of fixed points for mappings satisfying various contractive requirements. For JS-contractive type mappings in a Banach space, they also put forth expansions of Darbo’s fixed point theorem.
Also, we investigate the existence of a solution for the following integral equation:
where \(r \in L=[0,1]\) and the operator \(T^{m}\) on the Banach space \(\aleph =\mathbb{C}(L)\) is defined by the following iterative relation:
where \(0<\mathcal{D} <1 \), \(0<\xi <1\), \(\mathcal{K}\) is a function from \(L\times \mathbb{R}\) to \(\mathbb{R}\), g is a function from \(L\times L \times \mathbb{R} \) to \(\mathbb{R} \), and Euler’s gamma function is denoted by \(\Gamma (,)\) and defined as follows:
Fractional derivatives and integrals are quite flexible for describing the behaviors of different types of real life situations. They can be applied to study the heat transfer problem, non-Newtonian fluids, etc. In the above equation, we have used the Erdèlyi–Kober operator, which is a fractional integration operator introduced by Arthur Erdèlyi and Hermann Kober in 1940. This integral is given by [25]
where f is a continuous function. It is a generalization of the Riemann–Liouville fractional integral. This makes this integral a better choice for our problem.
In this note, we consider ℵ as a Banach space and \(B(\Delta , \varphi )\) represents the closed ball in the Banach space ℵ with center Δ and with radius φ. Also, we use \(B_{\varphi}\) to represent \(B(\theta , \varphi )\), (θ is the zero element), all nonempty bounded subsets of Banach space ℵ are gathered in \(\mathfrak{X}_{\aleph} \), Also, \(\mathbb{R}=(-\infty , \infty )\) and \(\mathbb{R}^{+}=[ 0, \infty )\). To begin with, we have the following preliminaries.
2 Preliminaries
Definition 2.1
[10] Let \(\mu :\mathfrak{X}_{\aleph}\rightarrow \mathbb{R}^{+}\) be a mapping. μ is called an MNC on the Banach space ℵ provided that:
(1) for each \(\mathcal{N}\in \mathfrak{X}_{\aleph}\), \(\mu (\mathcal{N}) =0\) if and only if \(\mathcal{N}\) is a precompact set;
(2) for each pair \((\mathcal{N}, \mathcal{N}_{1})\in \mathfrak{X}_{\aleph} \times \mathfrak{X}_{\aleph}\), we have
(3) for each \(\mathcal{N}\in \mathfrak{X}_{\aleph}\), one has
where \(\overline{\mathcal{N}}\) is the closure of \(\mathcal{N}\) and \(\operatorname{conv} \mathcal{N}\) is the convex hull of \(\mathcal{N}\);
(4) \(\mu (\lambda \mathcal{N}+(1-\lambda )\mathcal{N}_{1})\leq \lambda \mu (\mathcal{N})+(1-\lambda )\mu (\mathcal{N}_{1}) \) for \(\lambda \in [0, 1]\);
(5) if \(\{\mathcal{N}_{n}=\overline{\mathcal{N}_{n}}\}^{ +\infty}_{0} \subseteq \mathfrak{X}_{\aleph}\) is decreasing and \(\lim_{n\rightarrow +\infty}\mu (\mathcal{N}_{n})=0\), then \(\mathcal{N}_{ \infty} =\bigcap^{ \infty}_{n=0}\mathcal{N}_{n}\neq \emptyset \).
We have the following theorems from [26, 27] in this section.
Theorem 2.1
(Schauder) Let \(T: \mho \rightarrow \mho \) be a compact and continuous operator where ℧ is a nonempty, closed, and convex subset of the Banach space ℵ. As a result, T has at least one fixed point.
Theorem 2.2
(Darbo) Let \(T: \mho \rightarrow \mho \) be a continuous operator where ℧ is a nonempty, bounded, closed, and convex subset of the Banach space ℵ. Assume that for each \(X \subseteq \mho \), \(\mu (T X) \leq \mathcal{H}\mu (X)\), where \(\mathcal{H}\in [0, 1)\). Consequently, T has a fixed point.
Theorem 2.3
(Brouwer) Let ℧ be a nonempty, compact, and convex subset of a finite dimensional normed space, and let \(T:\mho \rightarrow \mho \) be a continuous operator. Then T has a fixed point.
Now, some important definitions of functions are given below.
Definition 2.2
[28] Let \(\mathfrak{F}: (\mathbb{R}^{+})^{4} \rightarrow \mathbb{R}\) be a function that satisfies:
(1) \(\mathfrak{F} ( 1 , 1 , s_{2} , s_{3} ) \) is continuous;
(2) \(0 \leq s_{0} \leq 1 \), \(s_{1} \geq 1 \Rightarrow \mathfrak{F} ( s_{0} , s_{1} , s_{2} , s_{3} ) \leq \mathfrak{F} ( 1 , 1 , s_{2} , s_{3} ) \leq s_{2}\);
(3) \(\mathfrak{F} ( 1 , 1 ,s_{2} , s_{3} ) = s_{2} \Rightarrow s_{2} = 0\) or \(s_{3} =0 \).
Also, we denote this class of functions by Z̄.
For example, \(\mathfrak{F}( s_{0} , s_{1} , s_{2} , s_{3} )= s_{0} s_{2}-s_{1} s_{3} ; s_{0} , s_{1} , s_{2} \), \(s_{3} \in \mathbb{R}^{+} \) is an element of Z̄.
Definition 2.3
[29] Let \(\Psi , \Phi : \mathbb{R}^{+} \rightarrow \mathbb{R}^{+} \) be two functions. The pair \(( \Psi , \Phi ) \) is said to be a pair of shifting distance functions if the following conditions hold:
(1) For all \(s , t \in \mathbb{R}^{+} \), if \(\Psi (s ) \leq \Phi (t)\), then \(s \leq t \);
(2) For all \(\{s_{n}\} , \{t_{n}\} \subseteq \mathbb{R}^{+} \) with \(\lim_{n \rightarrow \infty} s_{n} = \lim_{n \rightarrow \infty} t_{n} = t_{0}\) and \(\Psi ( s_{n} ) \leq \Phi ( t_{n} ) \forall n \), then \(t_{0} = 0 \).
We denote the class of all these pairs \(( \Psi , \Phi )\) of shifting distance function by ϒ.
For example, assume that \(\Psi ( s_{0})=\ln (\frac{1+2 s_{0}}{2})\) and \(\Phi ( s_{0} )=\ln (\frac{1+s_{0}}{2})\), where \(s_{0} \in \mathbb{R}^{+} \).
Definition 2.4
[28] Let \(\mathcal{A}\) be the collection of all functions \(\mathcal{E} : \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}\) such that
for all \(s_{0} \in \mathbb{R}^{+}\).
For example, let \(\mathcal{E}(s_{0}) = s_{0}\) for all \(s_{0} \in \mathbb{R}^{+}\).
Definition 2.5
Let \(\mathcal{A}'\) be the collection of all functions \(\alpha : \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}\) such that
for all \(s_{0} \in \mathbb{R}^{+}\).
For example, let \(\alpha (s_{0}) = |\sin ( s_{0})|\) for all \(s_{0} \in \mathbb{R}^{+}\).
Definition 2.6
Let \(\bar{\mathcal{A}}\) be the collection of all functions \(\beta : \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}\) such that
for all \(s_{0} \in \mathbb{R}^{+}\).
For example, let \(\beta (s_{0}) = 1 + s_{0}\) for all \(s_{0} \in \mathbb{R}^{+}\).
Definition 2.7
[30] Let \({\L ^{\prime }}\) be the collection of all functions \(\mathcal{S}: \mathbb{R}^{+} \times \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}\) that satisfy:
(1) \(\max \{ s_{0}, s_{1} \} \leq \mathcal{S}( s_{0} , s_{1} ) \) for all \(s_{0}, s_{1} \geq 0\);
(2) \(\mathcal{S}\) is continuous and nondecreasing;
(3) \(\mathcal{S} ( s_{0}+s_{1} , s'_{0}+s'_{1} ) \leq \mathcal{S}( s_{0} , s'_{0} ) + \mathcal{S}( s_{1} , s'_{1} ) \).
For example, let \(\mathcal{S}( s_{0} , s_{1} )= s_{0} + s_{1} \) for all \(s_{0} , s_{1} \in \mathbb{R}^{+}\).
Definition 2.8
[31] A continuous function \(h: \mathbb{R}^{+} \times \mathbb{R}^{+} \rightarrow \mathbb{R}\) is a function of class \(\mathcal{C}\) if the following conditions are satisfied:
(1) \(h(s_{0} , s_{1} ) \leq s_{0}\),
(2) \(h ( s_{0} , s_{1} ) = s_{0} \) implies that either \(s_{0}=0\) or \(s_{1}=0 \). Also, \(h(0,0)=0 \).
Also, we denote this class of functions by Ł̄.
For example, let
(1) \(h(s_{0},s_{1})=s_{0}-s_{1}\),
(2) \(h(s_{0},s_{1})= \mathcal{V} s_{0} \); \(0<\mathcal{V}<1 \),
for all \(s_{0},s_{1} \in \mathbb{R}^{+}\).
Definition 2.9
[32] A function \(\upsilon : \mathbb{R} \rightarrow \mathbb{R}\) is an alternating function if:
(1) \(\upsilon ( s_{0})=0 \) if and only if \(s_{0}=0\),
(2) υ is continuous and increasing.
Also, we use \(\mathcal{Y}\) to denote this class of functions.
For example, let \(\upsilon ( s_{0} )= (1-\bar{a})s_{0}\), where \(0\leq \bar{a} < 1\) and \(s_{0} \in \mathbb{R} \).
Definition 2.10
[31] Let \(\bar{\mathcal{Y}}\) be the collection of all functions \(\omega : \mathbb{R} \rightarrow \mathbb{R}\) such that \(\omega ( 0 ) \geq 0\) and \(\omega (s_{0}) >0\) for all \(s_{0} >0 \).
Definition 2.11
Let \(\mathcal{Y}'\) be the collection of all functions \(f : \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}\) such that
\(f ( s_{0} ) > s_{0}\) for all \(s_{0} \in \mathbb{R}^{+}\) and \(f(0)=0\).
For example, let \(f(s_{0}) = \mathcal{W}\cdot s_{0}\), where \(\mathcal{W}>1\) and \(s_{0} \in \mathbb{R}^{+}\).
With the help of these classes of functions, we obtain new generalizations of Darbo’s fixed point theorem.
3 New fixed point theory
Theorem 3.1
Let \(T:\mho \rightarrow \mho \) be a continuous mapping where ℧ is a nonempty, bounded, closed, and convex subset of ℵ such that
where
for each \(\emptyset \neq X\subseteq \mho \), where μ is an arbitrary MNC, \(( \Psi , \Phi ) \in \Upsilon \), \(\mathfrak{F} \in \bar{\mathcal{Z}} \), \(\mathcal{E} \in \mathcal{A} \), \(\alpha \in \mathcal{A}' \), \(\beta \in \bar{\mathcal{A}} \), and \(\gamma : \mathbb{R}^{+}\rightarrow \mathbb{R}^{+}\). Then there is at least one fixed point for T in ℧.
Proof
Take \(X_{0}=\mho \), \(X_{n+m}=\overline{\operatorname{conv}(T^{m}X_{n})}\) for \(n=0,1,2,\ldots \) .
Evidently, \(\{X_{n}\}_{n\in \mathbb{N}}\) is a sequence of nonempty, bounded, closed, and convex subsets such that
If for an integer \(N\in \mathbb{N}\) one has \(\mu (X_{N})=0\), then \(X_{N}\) is relatively compact, and so Schauder’s theorem guarantees the existence of a fixed point for T.
So, we can assume \(\mu (X_{n})>0\) for all \(n\in \mathbb{N}\cup \{0\}\).
Now, from (2) we have
for \(n=0,1,2,\ldots \) , where
On the other hand,
So, from equations (3) and (4), we get
Now, let
Thus, by using condition (2) of Definition 2.3, equation (5), and equation (6), we get
i.e.,
Consequently, we conclude that \(\mu (X_{n})\rightarrow 0\) as \(n\rightarrow \infty \). Therefore, by Definition 2.1 (6), \(X_{\infty }=\bigcap_{n=0}^{\infty}X_{n}\) is nonempty, closed, and convex. The set \(X_{\infty }\) under the operation T is also invariant and \(X_{\infty }\in \ker\mu \). Thus, by using Theorem 2.1 the proof is finished. □
Corollary 3.2
Let \(T:\mho \rightarrow \mho \) be a continuous mapping where ℧ is a nonempty, bounded, closed, and convex subset of ℵ such that
where
for each \(\emptyset \neq X\subseteq \mho \), where μ is an arbitrary MNC, \(( \Psi , \Phi ) \in \Upsilon \), \(\mathcal{E} \in \mathcal{A} \), \(\alpha \in \mathcal{A}' \), \(\beta \in \bar{\mathcal{A}} \), and \(\gamma : \mathbb{R}^{+}\rightarrow \mathbb{R}^{+}\). Then there is at least one fixed point for T in ℧.
Proof
Putting \(\mathfrak{F}( s_{0} , s_{1} , s_{2} , s_{3} )= s_{0} s_{2}-s_{1} s_{3}\) for all \(s_{0} , s_{1} , s_{2} , s_{3} \in \mathbb{R}^{+} \) in equation (2) of Theorem 3.1, we can get the above result. □
Corollary 3.3
Let \(T:\mho \rightarrow \mho \) be a continuous mapping where ℧ is a nonempty, bounded, closed, and convex subset of ℵ such that
where
for each \(\emptyset \neq X\subseteq \mho \), where μ is an arbitrary MNC. Then there is at least one fixed point for T in ℧.
Proof
Putting \(\mathcal{E}(s_{0}) = s_{0}\), \(\gamma (s_{0})=0\), \(\alpha (s_{0}) = 1\), \(\Psi (s_{0})=s_{0} \), and \(\Phi (s_{0})=s_{0}\) for all \(s_{0} \in \mathbb{R}^{+}\) in equation (7) of Corollary 3.2, we can get the above result. □
Theorem 3.4
Let \(T:\mho \rightarrow \mho \) be a continuous mapping where ℧ is a nonempty, bounded, closed, and convex subset of ℵ such that
where
for each \(\emptyset \neq X\subseteq \mho \), and μ is an arbitrary MNC, \(\mathcal{S} \in {\L ^{\prime }}\), \(h \in \bar{{\L}} \), \(\upsilon \in \mathcal{Y} \), \(\omega \in \bar{\mathcal{Y}} \), \(f \in \mathcal{Y}' \), and \(\sigma : \mathbb{R}^{+}\rightarrow \mathbb{R}^{+}\). Then there is at least one fixed point for T in ℧.
Proof
Taking \(X_{0}=\mho \), \(X_{n+m}=\overline{\operatorname{conv}(T^{m}X_{n})}\) for \(n=0,1,2,\ldots \) .
Evidently, \(\{X_{n}\}_{n\in \mathbb{N}}\) is a sequence of nonempty, bounded, closed, and convex subsets such that
If for an integer \(N\in \mathbb{N}\) one has \(\mu (X_{N})=0\), then \(X_{N}\) is relatively compact, and so Schauder’s theorem guarantees the existence of a fixed point for T.
So, we can assume \(\mu (X_{n})>0\) for all \(n\in \mathbb{N}\cup \{0\}\).
Now, from (9) we have
for \(n=0,1,2,\ldots \) , where
Also,
Clearly, \(\{\upsilon [\mathcal{S}(\mu (X_{n+m}), \sigma (\mu (X_{n+m}))) ] \}_{n=1}^{\infty}\) is a nonnegative and nonincreasing sequence. Hence, \(\exists\ \delta \geq 0 \) such that
If possible, let \(\delta >0\). As \(n \rightarrow \infty \), we get
which is a contradiction. Hence, \(\delta =0\), i.e.,
that is,
which gives
Therefore, by Definition 2.1 (6), \(X_{\infty }=\bigcap_{n=0}^{\infty}X_{n}\) is nonempty, closed, and convex.
Additionally, the set \(X_{\infty } \) under operator T is invariant and \(X_{\infty }\in \ker\mu \). The proof is finished by using Theorem 2.1. □
Theorem 3.5
Let \(T:\mho \rightarrow \mho \) be a continuous mapping where ℧ is a nonempty, bounded, closed, and convex subset of ℵ such that
where
for each \(\emptyset \neq X\subseteq \mho \), and μ is an arbitrary MNC, \(h \in \bar{{\L}} \), \(\upsilon \in \mathcal{Y} \), \(\omega \in \bar{\mathcal{Y}} \), \(f \in \mathcal{Y}' \), and \(\sigma : \mathbb{R}^{+}\rightarrow \mathbb{R}^{+}\). Then there is at least one fixed point for T in ℧.
Proof
Putting \(\mathcal{S}(s_{0} , s_{1} ) = s_{0}+s_{1}\) (\(s_{0},s_{1} \in \mathbb{R}^{+}\)) in equation (9) of Theorem 3.4, we can get the above result. □
Theorem 3.6
Let \(T:\mho \rightarrow \mho \) be a continuous self-mapping on a nonempty, bounded, closed, and convex subset ℧ of ℵ such that
where
for each \(\emptyset \neq X\subseteq \mho \), and μ is an arbitrary MNC, \(h \in \bar{{\L}} \), \(\upsilon \in \mathcal{Y} \), \(\omega \in \bar{\mathcal{Y}}\), and \(f \in \mathcal{Y}' \). Then there is at least one fixed point for T in ℧.
Proof
Putting \(\sigma (s_{0} ) = 0 \), (\(s_{0} \in \mathbb{R}^{+}\)) in equation (13) of Theorem 3.5, we can get the above result. □
Theorem 3.7
Let \(T:\mho \rightarrow \mho \) be a continuous self-mapping on a nonempty, bounded, closed, and convex subset ℧ of ℵ such that
where
for each \(\emptyset \neq X\subseteq \mho \), and μ is an arbitrary MNC, \(\upsilon \in \mathcal{Y} \), \(\omega \in \bar{\mathcal{Y}} \), \(f \in \mathcal{Y} '\), and \(\sigma : \mathbb{R}^{+}\rightarrow \mathbb{R}^{+} \). Then there is at least one fixed point for T in ℧.
Proof
Putting \(h(s_{0} , s_{1})\leq s_{0}\), \(( s_{0} , s_{1}\in \mathbb{R}^{+})\) in equation (9) of Theorem 3.4, we can get the above result. □
Corollary 3.8
Putting \(\mathcal{S}(s_{0},s_{1})=s_{0}+s_{1}\), \(\sigma (s_{0})=0 \), \(\upsilon (t')=t'\), \(h(s_{0},s_{1})=\mathcal{V}\cdot s_{0} \), and \(f(s_{0})=\mathcal{W}\cdot s_{0} \), where \(0<\mathcal{V}<1 \), \(\mathcal{W}>1 \), \(s_{0} , s_{1} \in \mathbb{R}^{+} \), and \(t'\in \mathbb{R}\) in equation (9) of Theorem 3.4, we obtain
where \(\zeta =\frac{\mathcal{V}}{\mathcal{W}} \in (0,1)\) and
4 Measure of noncompactness on \(\mathbb{C}([0,1])\)
Let \(\aleph =\mathbb{C}(L)\) be the set of all real continuous functions on \(L=[0,1]\). Then ℵ is a Banach space with the norm
Assume that \(J(\neq \emptyset ) \subseteq \aleph \) is bounded. For given \(\textit{\pounds}\in J\) and arbitrary \(d_{0}>0\), \(\eta (\textit{\pounds},d_{0})\) is the modulus of the continuity of £ written as
Also, we define
and
The MNC in ℵ is denoted by the function \(\eta _{0}\), and the Hausdorff MNC is denoted by \(\mathfrak{Z}\), which is defined as \(\mathfrak{Z}(J)=\frac{1}{2}\eta _{0}(J)\) (see [33]).
5 Solvability of a fractional integral equation
The aim of this section is to investigate the existence of a solution for the integral equation
where \(r \in L\) and the operator \(T^{m}\) on \(\aleph =\mathbb{C}(L)\) is defined by the following iterative relation:
where \(0<\mathcal{D} <1 \).
For example, for case \(m=2\), the integral equation is as follows:
or equivalently
We assume that
We now take into account the following hypotheses:
-
(i)
Let \(\mathcal{K}:L\times \mathbb{R}\rightarrow \mathbb{R}\) be a continuous function such that
$$ \bigl\vert \mathcal{K}\bigl(r,x(r)\bigr)-\mathcal{K}\bigl(r,y(r)\bigr) \bigr\vert \leq \bigl\vert x(r)-y(r) \bigr\vert ,\quad r\in L,\ x,y\in \mathbb{C}(L). $$
Furthermore, the function \(r\rightarrow \mathcal{K}(r,0)\) is a member of \(\aleph =\mathbb{C}(L)\).
-
(ii)
Let \(g:L\times L \times \mathbb{R}\rightarrow \mathbb{R}\) be a continuous and bounded function such that
$$ \bigl\vert g( r , \hbar , x(\hbar) ) \bigr\vert \leq \mathfrak{P}. $$ -
(iii)
There is a positive solution \(b_{0}\) for
$$ \mathcal{D} (b_{0}+\mathcal{Q}m)\leq b_{0}, $$where
$$ \mathcal{Q}=\sup \biggl\lbrace \bigl\vert \mathcal{K}(r,0) \bigr\vert + \frac{\mathfrak{P}}{\Gamma (\xi +1) } r^{q} :r\geq 0 \biggr\rbrace . $$
Theorem 5.1
The integral equation (17) has at least one solution in \(\mathbb{C}(L)\) according to hypotheses (i)–(iii).
Proof
First, we show that \(T^{m}\) is a self-mapping on \(\mathbb{C}(L)\).
Because all the functions involved in the operator \(T^{m}\) are continuous, \(T^{m}x(r):\mathbb{R}^{+}\rightarrow \mathbb{R}\) is a continuous function.
On the other hand, for an arbitrary fixed function \(x\in \mathbb{C}(L)\), using the above hypotheses, we get
Therefore, the above discussion shows that \(T^{m}:\mathbb{C}(L)\rightarrow \mathbb{C}(L)\) is well defined. Moreover, applying assumption (iii) for each \(x\in \mathfrak{D}_{b_{0}}\), we have
So, the function \(T^{m}\) is a self-mapping on the ball \(\mathfrak{D}_{b_{0}}\).
To show that \(T^{m}\) is continuous on \(\mathfrak{D}_{b_{0}}\), we take \(d_{0} >0\) and \(x,y\in \mathfrak{D}_{b_{0}}\) such that \(\Vert x-y\Vert < d_{0} \). So, we get
i.e.,
The operator \(T^{m}\) on the ball \(\mathfrak{D}_{b_{0}}\) is therefore continuous.
Next, we elect an arbitrary nonempty subset \(\mathcal{G}\) of the ball \(\mathfrak{D}_{b _{0}}\). We consider a constant number \(d_{0} >0\). We take arbitrary numbers \(r,r^{\prime \prime }\in [ 0,1]\) such that \(|r-r^{\prime \prime }|\leq d_{0} \). It can be assumed that \(r^{\prime \prime }< r\) without losing generality. So, for \(x\in \mathcal{G}\) we obtain
where
and
So, we have
As \(d_{0} \rightarrow 0 \), one has \(r \rightarrow r^{\prime \prime }\), \(\eta _{b_{0}}(g,d_{0})\rightarrow 0\) and \(\Omega (r,r^{\prime \prime }) \rightarrow 0\), and so we get
i.e.,
So, from (16) and using Corollary 3.8, the result is obtained. □
Example 5.1
Let us define the functional integral equation, a special type of equation (17), as follows:
where
In other words,
where
In fact, we check the existence of the solution to the following integral equation:
We have
Now we examine the conditions of Theorem 5.1.
-
(i)
\(\mathcal{K}(r,x(r)) = \frac{x(r)+1}{7+r^{2}} \) is a continuous function such that
for each \(r\in L\) and \(x,y\in \mathbb{R}\).
Furthermore, \(\mathcal{K}(r,0)=\frac{1}{7+r^{2}} \) is continuous and \(\vert \mathcal{K}(r,0) \vert \leq \frac{1 }{7}\).
So, the function \(r\rightarrow \mathcal{K}(r,0)\) is a member of \(\mathbb{C}(L)\).
-
(ii)
\(g(r,\hbar ,x(\hbar )) =\cos ( \frac{r^{2}{x(\hbar )^{2}}}{1+\hbar ^{2}} )\) is a continuous and bounded function,
as
-
(iii)
Now, we calculate the constant \(\mathcal{Q}\):
$$\begin{aligned} \mathcal{Q} =&\sup \biggl\lbrace \bigl\vert \mathcal{K}(r,0) \bigr\vert + \frac{\mathfrak{P}}{\Gamma (\frac{1}{4}+1) } r^{q} :r\geq 0 \biggr\rbrace \\ =&\sup \biggl\lbrace \frac{1}{7+r^{2}}+ \frac{\mathfrak{P}}{\Gamma (\frac{5}{4}) } r^{q} :r \geq 0 \biggr\rbrace \\ =& \frac{1}{7}+\frac{1}{\Gamma (\frac{5}{4})} \\ =& \frac{7+\Gamma (\frac{5}{4})}{7 \Gamma (\frac{5}{4})}, \end{aligned}$$
where the inequality
holds for every \(b_{0}\geq 2 ( \frac{7+\Gamma (\frac{5}{4})}{7 \Gamma (\frac{5}{4})} )\). Therefore, as a number \(b_{0}\), we can catch \(b_{0}=2 (\frac{7+\Gamma (\frac{5}{4})}{7 \Gamma (\frac{5}{4})} )\).
Therefore, we draw the conclusion that the integral equation (5.1) has at least one solution, which is in the ball \(\mathfrak{D}_{b_{0}}\) in \(\mathbb{C}(L)\) in accordance with the Theorem 5.1.
6 Conclusion
In this article, we have established a new fixed point theorem with the help of newly defined condensing operators using a class of functions. This newly established theorem is a generalization of the Darbo’s fixed point theorem. We have applied this theorem to find the existence of a solution of a fractional integral equation involving an operator with iterative relations in a Banach space, which is an extension of simple fractional integral equations. Finally, we have justified our findings with the help of a suitable example. So, our work is an extension of some previous generalizations in fixed point theory.
Availability of data and materials
Not applicable.
References
Kuratowski, K.: Sur les espaces complets. Fundam. Math. 15, 301–309 (1930)
Darbo, G.: Punti uniti in trasformazioni a codominio non compatto (Italian). Rend. Semin. Mat. Univ. Padova 24, 84–92 (1955)
Aghajani, A., Aliaskari, M.: Measure of noncompactness in Banach algebra and application to the solvability of integral equations in \(BC(\mathcal{R}_{+})\). Inf. Sci. Lett. 4(2), 93–99 (2015). https://doi.org/10.12785/isl/040206
Aghajani, A., Banas’, J., Sabzali, N.: Some generalizations of Darbo fixed point theorem and applications. Bull. Belg. Math. Soc. Simon Stevin 20, 2 (2013). https://www.researchgate.net/publication/236151631
Akhmerov, R.R., Kamenski, M.I., Potapov, A.S.W., Rodkina, A.E., Sadowskii, B.N.: Measure of Noncompactness and Condensing Operators. A. Iacob, Ed. Operator Theory: Advances and Applications, vol. 55. Birkhäuser, Basel (1992)
Appell, J.: Measures of noncompactness, condensing operators and fixed points: an application-oriented survey. Fixed Point Theory 2(2), 157–229 (2005). http://www.math.ubbcluj.ro/nodeacj/sfptcj.htm
Banas’, J.: Measures of noncompactness in the study of solutions of nonlinear differential and integral equations. Cent. Eur. J. Math. 10(6), 2003–2011 (2012). https://doi.org/10.2478/s11533-012-0120-9
Banas’, J.: On measures of noncompactness in Banach spaces. Comment. Math. Univ. Carol. 21(1), 131–143 (1980). http://dml.cz/dmlcz/105982
Baghani, H.: A new contractive condition related to Rhoades’s open question. Indian J. Pure Appl. Math. 51(2), 565–578 (2020)
Banas’, J., Goebel, K.: Measures of Noncompactness in Banach Spaces. Lect. Notes Pure Appl. Math., vol. 60. Dekker, New York (1980)
Goebel, K., Kirk, W.A.: Topics in Metric Fixed Point Theory. Cambridge University Press, Cambridge (1990)
Jleli, M., Karapinar, E., Samet, B.: Further generalizations of the Banach contraction principle. J. Inequal. Appl. 2014, 439 (2014). http://www.journalofinequalitiesandapplications.com/content/2014/1/439
Hosseinzadeh, H., Isik, H., Hadi Bonab, S., George, R.: Coupled measure of noncompactness and functional integral equations. Open Math. 20, 38–49 (2022)
Matani, B., Roshan, J.R.: Multivariate generalized Meir-Keeler condensing operators and their applications to systems of integral equations. J. Fixed Point Theory Appl. 22, 87 (2020)
Nasiri, H., Roshan, J.R., Mursaleen, M.: Solvability of system of Volterra integral equations via measure of noncompactness. Comput. Appl. Math. 40, 1–25 (2021)
Roshan, J.R.: Existence of solutions for a class of system of functional integral equation via measure of noncompactness. J. Comput. Appl. Math. 313, 129–141 (2017)
Das, A., Paunović, M., Parvaneh, V., Mursaleen, M., Bagheri, Z.: Existence of a solution to an infinite system of weighted fractional integral equations of a function with respect to another function via a measure of noncompactness. Demonstr. Math. 56, 20220192 (2023)
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)
Mehravaran, H., Kayvanloo, H.A., Mursaleen, M.: Solvability of infinite systems of fractional differential equations in the double sequence space \(2^{c} (\Delta )\). Fract. Calc. Appl. Anal. 25, 2298–2312 (2022)
Mursaleen, M., Bilalov, B., Rizvi, S.M.H.: Applications of measures of noncompactness to infinite system of fractional differential equations. Filomat 31(11), 3421–3432 (2017)
Nieto, J.J., Samet, B.: Solvability of an implicit fractional integral equation via a measure of noncompactness argument. Acta Math. Sci. 37B(1), 195–204 (2017)
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, Article ID 1674243 (2022)
Nashine, H.K., Arab, R., Agarwal, R.P., De la Sen, M.: Positive solutions of fractional integral equations by the technique of measure of noncompactness. J. Inequal. Appl. 2017, 225 (2017)
Hadi Bonab, S., Parvaneh, V., Roshan, J.R.: The solvability of an iterative system of functional integral equations with self-composition of arbitrary order. Submitted
Das, A., Rabbani, M., Hazarika, B., Panda, S.K.: A fixed point theorem using condensing operators and its applications to erdályi–Kober bivariate fractional integral equations. Turk. J. Math. 46, 2513–2529 (2022)
Bonsall, F.F.: Lectures on Some Fixed Point Theorems of Functional Analysis. Tata, Bombay (1962)
Deng, G., Huang, H., Cvetković, M., Radenović, S.: Cone valued measure of noncompactness and related fixed point theorems. Bull. Soc. Math. Banja Luka 8, 233–243 (2018). https://www.researchgate.net/publication/320552064
Ansari, A.H., Tomar, A., Joshi, M.: A survey of C-class and pair upper-class functions in fixed point theory. Int. J. Nonlinear Anal. Appl. 13(1), 1870–1896 (2022). https://doi.org/10.22075/ijnaa.2021.21162.2239
Berzig, M.: Generalization of banach contraction principle (2013). arXiv:1310.0995
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
Ansari, A.H.: Note on \(\phi -\psi \) contraction type mappings and related fixed point. In: The 2nd Regional Conference on Mathematics and Applications, pp. 377–380. Payeme Noor University (2014)
Khan, M.S., Swaleh, M., Sessa, S.: Fixed point theorems by altering distances between the points. Bull. Aust. Math. Soc. 30, 1–9 (1984)
Banaś, J., Goebel, K.: Measure of Noncompactness in Banach Spaces. Lecture Notes in Pure and Applied Mathematics, vol. 60. Dekker, New York (1980)
Acknowledgements
Not applicable.
Funding
This research received no external funding.
Author information
Authors and Affiliations
Contributions
All authors have contributed equally to the writing of this paper. Also, they read and approved the final 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
Deb, S., Jafari, H., Das, A. et al. 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/s13660-023-03003-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-023-03003-2