New fixed point theorems via measure of noncompactness and its application on fractional integral equation involving an operator with iterative relations

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.


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][4][5][6][7][8][9][10][11][12][13][14][15][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 ∈ L = [0, 1] and the operator T m on the Banach space ℵ = C(L) is defined by the following iterative relation: to R, and Euler's gamma function is denoted by (, ) 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( , ϕ) represents the closed ball in the Banach space ℵ with center and with radius ϕ.Also, we use B ϕ to represent B(θ , ϕ), (θ is the zero element), all nonempty bounded subsets of Banach space ℵ are gathered in X ℵ , Also, R = (-∞, ∞) and R + = [0, ∞).To begin with, we have the following preliminaries.

Preliminaries
Definition 2.1 [10] Let μ : X ℵ → R + be a mapping.μ is called an MNC on the Banach space ℵ provided that: (1) for each N ∈ X ℵ , μ(N ) = 0 if and only if N is a precompact set; (2) for each pair (N , N 1 ) ∈ X ℵ × X ℵ , we have (3) for each N ∈ X ℵ , one has where N is the closure of N and conv N is the convex hull of N ; (4) μ(λN We have the following theorems from [26,27] in this section.Now, some important definitions of functions are given below. Definition 2.2 [28] Let F : (R + ) 4 → R be a function that satisfies: (1) Also, we denote this class of functions by Z.
Definition 2.3 [29] Let , : R + → R + be two functions.The pair ( , ) is said to be a pair of shifting distance functions if the following conditions hold: (1) For all s, t ∈ R + , if (s) ≤ (t), then s ≤ t; (2) For all {s n }, {t n } ⊆ R + with lim n→∞ s n = lim n→∞ t n = t 0 and (s n ) ≤ (t n )∀n, then t 0 = 0.
Definition 2.4 [28] Let A be the collection of all functions E : R + → R + such that For example, let E(s 0 ) = s 0 for all s 0 ∈ R + .

Definition 2.5
Let A be the collection of all functions α : R For example, let α(s 0 ) = | sin(s 0 )| for all s 0 ∈ R + .

Definition 2.6
Let Ā be the collection of all functions β : R + → R + such that For example, let β(s 0 ) = 1 + s 0 for all s 0 ∈ R + .
Also, we denote this class of functions by Ł.

Definition 2.11
Let Y be the collection of all functions f : R + → R + such that f (s 0 ) > s 0 for all s 0 ∈ R + and f (0) = 0.
For example, let f (s 0 ) = W • s 0 , where W > 1 and With the help of these classes of functions, we obtain new generalizations of Darbo's fixed point theorem.

New fixed point theory
Theorem 3.1 Let T : → be a continuous mapping where is a nonempty, bounded, closed, and convex subset of ℵ such that where and γ : R + → R + .Then there is at least one fixed point for T in .
Proof Take X 0 = , X n+m = conv(T m X n ) for n = 0, 1, 2, . . . .Evidently, {X n } n∈N is a sequence of nonempty, bounded, closed, and convex subsets such that If for an integer N ∈ N one has μ(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 μ(X n ) > 0 for all n ∈ N ∪ {0}.Now, from (2) we have for n = 0, 1, 2, . . ., 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 Consequently, we conclude that μ(X n ) → 0 as n → ∞.Therefore, by Definition 2.1 (6), X ∞ = ∞ n=0 X n is nonempty, closed, and convex.The set X ∞ under the operation T is also invariant and X ∞ ∈ ker μ.Thus, by using Theorem 2.1 the proof is finished.Corollary 3.2 Let T : → be a continuous mapping where is a nonempty, bounded, closed, and convex subset of ℵ such that where for each ∅ = X ⊆ , where μ is an arbitrary MNC, ( , ) ∈ ϒ, E ∈ A, α ∈ A , β ∈ Ā, and γ : R + → R + .Then there is at least one fixed point for T in .

Corollary 3.3
Let T : → be a continuous mapping where is a nonempty, bounded, closed, and convex subset of ℵ such that where for each ∅ = X ⊆ , where μ is an arbitrary MNC.Then there is at least one fixed point for T in .
Proof Taking X 0 = , X n+m = conv(T m X n ) for n = 0, 1, 2, . . . .Evidently, {X n } n∈N is a sequence of nonempty, bounded, closed, and convex subsets such that If for an integer N ∈ N one has μ(X N ) = 0, then X N is relatively compact, and so Schauder's theorem guarantees the existence of a fixed point for T.
Theorem 3.6 Let T : → be a continuous self-mapping on a nonempty, bounded, closed, and convex subset of where for each ∅ = X ⊆ , and μ is an arbitrary MNC, h ∈ Ł, υ ∈ Y, ω ∈ Ȳ, and f ∈ Y .Then there is at least one fixed point for T in .
Then there is at least one fixed point for T in .

Measure of noncompactness on C([0, 1])
Let ℵ = 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( = ∅) ⊆ ℵ is bounded.For given £ ∈ J and arbitrary d 0 > 0, η(£, d 0 ) is the modulus of the continuity of £ written as Also, we define The MNC in ℵ is denoted by the function η 0 , and the Hausdorff MNC is denoted by Z, which is defined as Z(J) = 1  2 η 0 (J) (see [33]).

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 ∈ L and the operator T m on ℵ = C(L) is defined by the following iterative relation: where 0 < D < 1.
For example, for case m = 2, the integral equation is as follows: We assume that We now take into account the following hypotheses: Furthermore, the function r → K(r, 0) is a member of ℵ = C(L).
(ii) Let g : L × L × R → R be a continuous and bounded function such that g(r, , x( )) ≤ P.
(iii) There is a positive solution b 0 for where r q : r ≥ 0 .

Theorem 5.1 The integral equation (17) has at least one solution in C(L) according to hypotheses (i)-(iii).
Proof First, we show that T m is a self-mapping on C(L).Because all the functions involved in the operator T m are continuous, T m x(r) : R + → R is a continuous function.
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: cos( We have  ).Therefore, as a number b 0 , we can catch b 0 = 2( 7+ ( 5 4 ) 7 ( 54 ) ).
Therefore, we draw the conclusion that the integral equation (5.1) has at least one solution, which is in the ball D b 0 in C(L) in accordance with the Theorem 5.1.

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.