Next Article in Journal
Deep Learning on Synthesized Sensor Characteristics and Transmission Spectra Enabling MEMS-Based Spectroscopic Gas Analysis beyond the Fourier Transform Limit
Next Article in Special Issue
Analytical and Qualitative Study of Some Families of FODEs via Differential Transform Method
Previous Article in Journal
Multidimensional Dominance Drawings and Their Applications
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Solvability of a Parametric Fractional-Order Integral Equation Using Advance Darbo G-Contraction Theorem

by
Vishal Nikam
1,2,†,
Dhananjay Gopal
1,3,† and
Rabha W. Ibrahim
4,*,†
1
S.V. National Institute of Technology, Surat 395007, Gujarat, India
2
Guru Ghasidas Vishwavidyalaya (A Central University), Bilaspur 495009, Chhattisgarh, India
3
Arts Commerce and Science College Onde, Vikramgad 401605, Maharashtra, India
4
Institute of Electrical and Electronics Engineers, Kuala Lumpur 94086547, Malaysia
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Foundations 2021, 1(2), 286-303; https://doi.org/10.3390/foundations1020021
Submission received: 15 November 2021 / Revised: 27 November 2021 / Accepted: 30 November 2021 / Published: 3 December 2021
(This article belongs to the Special Issue Recent Advances in Fractional Differential Equations and Inclusions)

Abstract

:
The existence of a parametric fractional integral equation and its numerical solution is a big challenge in the field of applied mathematics. For this purpose, we generalize a special type of fixed-point theorems. The intention of this work is to prove fixed-point theorems for the class of β G, ψ G contractible operators of Darbo type and demonstrate the usability of obtaining results for solvability of fractional integral equations satisfying some local conditions in Banach space. In this process, some recent results have been generalized. As an application, we establish a set of conditions for the existence of a class of fractional integrals taking the parametric Riemann–Liouville formula. Moreover, we introduce numerical solutions of the class by using the set of fixed points.

1. Introduction

Approximately, a measure of noncompactness is a function demarcated on the class of all nonempty and bounded subsets of a definite metric space where it is identical to zero on the entire class of comparatively compact sets [1]. A survey of theory and applications of measures of noncompactness is presented in [2]. The normal measures of noncompactness are deliberated, and their possessions are associated. Some consequences regarding normal measures of noncompactness in altered spaces are offered. Additionally, the authors introduced some applications of the measure of noncompactness notion to functional equations involving nonlinear integral equations of arbitrary orders, implicit arbitrary integral equations and q-integral equations of arbitrary orders. The measure of noncompactness plays very significant role in the theory of fixed points and applications. The term measures of noncompactness were initially formulated in the elementary paper of Kuratowski [3]. Furthermore, G. Darbo [4] defined condensing operator and established a fixed-point theorem that involved the idea of a measure of noncompactness which is abundant of applications in functional analysis, integral equations differential equations approximation theory (see for example [4]. Owing to numerous applications of fixed-point theory in proving the existence theorems, this theory has been considered to be an evergreen and considered to be indispensable tool in nonlinear analysis. The Darbo fixed-point theorem extends both the Banach and the Schauder fixed-point theorems. In 2012, Wardowski [5] defined F-contraction and generalized Banach contraction principle in various aspects. Furthermore, Jleli et al. [1] define the F-contraction of Darbo type and established a fixed-point theorem.
In our study, we state and prove fixed-point theorems which are generalized Jleli et al. [1] results. Furthermore, as an application, we demonstrate the applicability of our main result in establishing the existence of solutions of an integral equation of fractional order of the form:
z t = u t + g t , x Γ ( α ) 0 θ t h t , τ , x t θ t τ 1 α d τ , t R + , α > 0 ,
where u , g , h and θ satisfies certain conditions.

2. Methods

Let us recall some notations, definitions and theorems which will be used throughout this paper. In what follows E denotes the Banach space with the norm . and throughout this article we use the following notations;
We proceed with an axiomatic definition of measure of noncompactness;
Definition 1
(Axiomatic Definition of Measure of Noncompactness [6,7,8]).A function σ : M E R + is called M . N . C provided it fulfills the following axioms:
(i) 
(Regularity) σ ( W ) = 0 if and only if W is relatively compact.
(ii) 
The family k e r σ = { W M E : σ ( W ) = 0 } is a nonempty and k e r σ N E .
(iii) 
(Monotonic) W W σ ( W ) σ ( W ) .
(iv) 
(Invariant under closure) σ ( W ) = σ ( W ¯ ) .
(v) 
(Invariant under convex hull) σ ( W ) = σ ( c o W ) .
(vi) 
σ α W + ( 1 α ) W α σ ( W ) + ( 1 α ) σ ( W ) , for all α [ 0 , 1 ] .
(vii) 
(Generalized Cantor’s intersection theorem) If W n M E for n = 1 , 2 , is a decreasing sequence of closed subsets of E and lim n σ ( W n ) = 0 then W = n = 1 W n is nonempty.
The family defined in axiom ( i ) is called the kernel of the M . N . C and denoted by k e r σ . In fact, by the virtue of axiom (vi) we have σ ( Ω ) σ ( Ω n ) for any n, thus σ ( Ω ) = 0 . This yields that Ω k e r σ .
Theorem 1
(Schauder’s fixed-point theorem [9]).Let Ω be the member of the class N . B . C . C of a Banach space E, then every continuous and compact mapping on Ω has at least one fixed point in Ω.
The Darbo’s fixed-point theorem with respect to a M . N . C σ can be stated as below.
Theorem 2
(Darbo’s fixed-point theorem [4]).Let Ω be the member of the class N . B . C . C of a Banach space E and T be the continuous self-mapping defined on every nonempty subset W of Ω such that
σ ( T ( W ) ) λ σ ( W )
for some λ [ 0 , 1 ) . Then T has at least one fixed point in Ω.
Definition 2
( G -function). A function G : ( 0 , η ) R , where η R + is said to be G -function if it satisfies the following conditions;
G 1
G is non-decreasing;
G 2
For each sequence α n ( 0 , η ) of positive real numbers lim n α n = 0 if and only if lim n G α n = ;
G 3
There exists i ( 0 , 1 ) such that lim q q i F q = 0 .
Example 1.
Let G : ( 0 , η ) R defined as below are examples of G -functions
1. 
G ( s ) = 1 s for all s R s + .
2. 
G ( s ) = ln ( s ) for all t R + .
Definition 3
( S -function). A function τ : R + R is said to be a S -function if it satisfies the inequality;
lim inf s t + τ s > 0 , t R + .
Example 2.
The mapping τ : R + R + described by the rule τ ( t ) = ( 2 t ) 1 t : R + is an example of S -function.
Definition 4
( Φ -function). A function ϕ : R + R + is said to be a Φ-function if it fulfills the following assumptions;
( i )
ϕ is non-decreasing;
( i i )
ϕ is right-continuous on R + ;
( i i i )
ϕ ( t ) < t t R + ;
( i v )
lim n ϕ n ( t ) = 0 for each t R + .
Theorem 3.
Let Ω be the member of the class N . B . C . C and T be the self-mapping defined on Ω. The mapping T is said to be a ϕ-condensing if
σ T W ϕ σ W
for some ϕ Φ and every nonempty subset W of Ω.
Definition 5
( Ψ μ -function). A function ψ : ( , μ ) ( , μ ) is called Ψ μ -function if it satisfies the following conditions:
( i )
ψ is increasing;
( i i )
ψ is right-continuous on ( , μ ) ;
( i i i )
ψ ( t ) < t t ( , μ ) ;
( i v )
lim n ψ n ( t ) = for each t ( , μ ) .
Example 3.
 
(1) 
For every μ [ 0 , ) , the mapping ψ : ( , μ ) ( , μ ) , defined by ψ ( t ) = t f ( t ) , where f : ( , μ ) R + is continuous and non-increasing function is an example of Ψ μ -function.
(2) 
Foe each δ < e 1 , let us define ψ δ : R R by the rule ψ δ ( t ) = δ e t is an example of Ψ μ -function.
Definition 6
(G-Contraction of Darbo Type [10]).Let Ω be member of the class N . B . C . C and T is continuous self-operator on Ω. The operator T is called Darbo-type G-contraction if G G and τ S such that
τ σ W + G σ T W G σ W ,
for any nonempty W Ω with σ W , σ T W > 0 , where σ is a M . N . C defined in E .
Theorem 4
([10]).Let Ω be member of the class N . B . C . C of a Banach space E and T is continuous self-operator on Ω. If T is Darbo-type G-contraction for any nonempty subset W Ω , then T has a fixed point in the set Ω.
Definition 7
( β μ -function). A function β : ( , μ ) ( , 1 ) is said to be a β μ -function if it satisfies the condition that β ( t n ) 1 t n .
Example 4.
The mapping β : ( , μ ) ( , 1 ) , defined by
β ( t ) = 1 2 i f t = 0 , 1 τ t otherwise .
for any τ > 0 is an example of β μ -function.

3. Results

In this section, we establish new fixed-point theorems for self-mappings in the setting of measure of noncompactness. Therefore, to obtain our first theorem, we use the following class of functions.
Definition 8.
Let Ω be member of the class N . B . C . C and T is continuous self-operator on Ω. The operator T on Ω is called Darbo-type β G -contraction if G G and β β μ and μ = sup o < t < η G ( t ) > σ ( E ) such that;
G σ T W β G σ W G σ W ,
for any W Ω with σ W > 0 , σ T W > 0 , where σ is a measure of noncompactness defined in E .
Next, we establish the existence of at least one fixed point.
Theorem 5.
Let Ω be member of the class N . B . C . C of a Banach space E and T is Darbo-type β G -contraction on Ω, for G G and β β μ , then T has at least one fixed point in Ω.
Proof. 
The proof begins with the construction of the sequence W n of nonempty, closed and convex subset of W such that the following relation holds:
T W n W n W n 1 for all n N
Let W 0 = W , we construct a sequence W n by the rule W n + 1 = C o n v P W n for n 0 N . For n = 0 , we can easily check that T W 0 T W W = W 0 . Now assume that the rule holds for k = 1 , 2 , 3 , n . Then, by the definition of W n we deduce that
T W n W n implies W n + 1 = c o n v T A n A n ,
Therefore T W n + 1 T W n W n + 1 . If there exist a positive integer K N such that σ W K = 0 , then W K is pre-compact set. Since T W K c o n v T W K = W K + 1 W K , i.e., T is a self-operator on W K . Then Theorem 2.1 concludes that T has a fixed point in W K W . On the other hand, we assume that σ W n > 0 , n 1 and prove that σ W n 0 as n + . Now using assumption v ) of Definition 1 we have,
G σ W n + 1 = G σ c o n v P W n = G σ T W n β G σ W n G σ W n
i.e.,
G σ W n + 1 β G σ W n G σ W n .
If G σ W n G σ W n + 1 then β G σ W n 1 , which is contradiction. Hence G σ W n + 1 G σ W n for all n N . i.e., G σ W n is decreasing sequence of real numbers. Since the sequence G σ W n decreasing sequence hence it must be bounded above and may or may not be bounded below.
Claim that the sequence G σ W n is unbounded below. We will prove the claim by assuming the contradiction that the sequence G σ W n is bounded below. Since the sequence is decreasing and bounded below hence it has a convergent sub-sequence say G σ W n k , and a finite real number r such that G σ W n k r as k + .
G σ W n k + 1 G σ W n k β G σ W n k < 1
which yields,
β G σ W n k 1 a s k + .
Since β Γ μ we obtain r = which is a contradiction. This implies that G σ W n unbounded below and so lim n + G σ W n = . So, from ( G 2 ) of Definition 2 we obtain that σ W n 0 as n + . On the flip side, if G σ W n is unbounded then obviously σ W n 0 as n + . Hence from ( v i ) of the Definition 1, the countable interaction W = n = 1 W n is a nonempty set which is convex & closed invariant under T and relatively compact. Hence applying Theorem 1 to the set W = n = 1 W n we obtain desired result. □
Remark 1.
For ψ Ψ μ and μ [ 0 , ) define β : ( , μ ) ( , 1 ) by
β ( t ) = 1 2 i f t = 0 , ψ ( t ) t o t h e r w i s e .
then β is member of the family β μ .
Proof. 
Assume that β ( r n ) 1 then β Γ μ if r n . Assume the contradiction that r n is bounded below, hence it has convergent sub-sequence say r n k such that r n k r 0 as k + , where r 0 is some finite real number. Now, since ψ is upper semi-continuous, we obtain;
r 0 = lim k r n k = lim sup k ψ ( r n k ) ψ ( r 0 ) .
r 0 ψ ( r 0 )
which contradicts the condition ψ ( t ) < t for t ( , μ ) . Hence the sequence r n is unbounded below, it follows that β β μ .
Definition 9.
Let Ω be the member of the class N . B . C . C and T is continuous self-operator on Ω. The operator T on Ω is called Darbo-type ψ G -contraction if G G , ψ Ψ μ and μ = sup o < t < η G ( t ) such that
G σ P W ψ G σ W ,
for any W Ω with σ W > 0 , σ T W > 0 , where σ is a M . N . C defined on E .
Next, we establish the existence of unique fixed point.
Theorem 6.
Let Ω be the member of the class N . B . C . C of a Banach space E and T be continuous self-operator on Ω . If T is Darbo-type ψ G -contraction for G G and ψ Ψ μ then T has a fixed point in Ω.
Proof. 
The proof begins with the construction of the sequence W n of nonempty, convex & closed subset of W, such that the sequence W n validate following relation:
T W n W n W n 1 for all n N
Let W 0 = W , we construct a sequence W n by the rule W n + 1 = C o n v T W n for n 0 N . For n = 0 we can easily check that T W 0 T W W = W 0 . Now assume that the rule holds for k = 1 , 2 , 3 , n . Then, by the pattern of W n we deduce that
T W n W n implies W n + 1 = c o n v T W n W n ,
Therefore T W n + 1 T W n W n + 1 . If there exist a positive integer K N such that σ W K = 0 , then W K is relatively compact set. Since T W K c o n v T W K = W K + 1 W K , i.e., T is a self-operator on W K . Then Theorem 2.1 concludes that T has a fixed point in W K W .
On the flip side, if σ W n > 0 , n 1 then by the axiomatic definition of M . N . C we have,
G σ W n + 1 = G σ c o n v T W n = G σ T W n ψ G σ W n
Hence, we remain with the inequality,
G σ W n + 1 ψ G σ W n < G σ W n
From Equation (3) we assure that G σ W n is decreasing sequence of real numbers. Since the sequence G σ W n decreasing sequence hence it must be bounded above and may or may not be bounded below.
Claim that the sequence G σ W n is unbounded below. We will prove the claim by assuming the contradiction that the sequence G σ W n is bounded below. Since the sequence is decreasing and bounded below hence it has a convergent sub-sequence say G σ W k , and a finite real number r such that G σ W n k r as k + . By Equation (3) we have,
G σ W n + 1 k ψ G σ W n k < G σ W n k ,
keep in mind that ψ is lower semi-continuous and apply limit as k + we obtain,
r ψ r < r .
Since ψ r < r r ( , μ ) , hence by the Definition 5 we obtain r = which a contradiction. This implies that G σ W n unbounded below and so lim n + G σ W n = . So, from ( G 2 ) , we obtain that σ W n 0 as n + . On the flip side, if G σ W n is unbounded then obviously σ W n 0 as n + . Hence from ( v i ) of the Definition 1, the countable intersection W = n = 1 W n is a nonempty set which is convex & closed invariant under T and relatively compact. Hence applying Theorem 1 to the set W = n = 1 W n we obtain the desired result. □
Corollary 1
([1]).Let Ω be member of class B . N . C . C of the Banach space E. Let a self-operator T on Ω is of Darbo-type G-contraction if there exist G G and τ S such that
τ σ W + G σ T W G σ W ,
for any W Ω with σ W , σ T W > 0 , where σ is a M . N . C defined in E . Then T has a fixed point in the set Ω.
Proof. 
Let us define ψ ( t ) = t τ ( t ) we obtain the required result from Theorem 6 □
Corollary 2.
Let Ω be member of class B . N . C . C of the Banach space E. Let a self-operator T be a of Darbo-type ψ G -contraction, where ψ Ψ μ and G is continuous and non-decreasing function. Then for ϕ Φ such that T is a ϕ-contraction.
Proof. 
Since the function G is monotonic and continuous function, hence G 1 : G ( R + ) R + inverse of G, which is also monotonic.
Now using the Definition 9 we can have,
G σ T W ψ G σ W σ T W G 1 ψ G σ W ,
Denote ϕ ( t ) = ( G 1 ψ G ) ( t )
Notice that
ϕ n t = G 1 ψ G n t = G 1 ψ G . G 1 ψ G . . . G 1 ψ G t = G 1 ψ n G t = G 1 ψ n G t 0 as n
For every W Ω with σ W 0 , G G and ψ Ψ μ , if T is Darbo-type ψ G -contraction then for ϕ Ψ , T is ϕ contraction. □

4. Discussion

Presently, there are several results available in the literature about study of existence and behavior of solutions of various types of fractional-order integral equations. The fractional-order integral equations have numerous applications in porous media, control theory, rheology, viscoelasticity, elector chemistry, electromagnetism fluid dynamics (see [11,12,13,14]).
In this article, we will use the measures of noncompactness in B C ( R + ) ; the space of all bounded and continuous functions defined on R + [7]. Let z = z ( t ) be any real valued bounded and continuous function defined on R + , then the norm on B C ( R + ) is defined as;
| | z | | B C ( R + ) = sup { | z ( t ) | : t 0 } .
Let us take W ϕ be subset of the Banach space B C ( R + ) and fix ϵ > 0 , M > 0 and z W . Now, let us recall the term usually known as modulus of continuity of z on [ 0 , M ] :
ω M ( z , ϵ ) = sup { | z ( t ) z ( s ) | ; t , s [ 0 , M ] , | t s | ϵ } .
The modulus of continuity of W on the interval [ 0 , M ] is expressed by the following term,
ω M ( W , ϵ ) = sup { ω M ( z , ϵ ) : z C } .
Furthermore, we define the term ω ( W ) in the following fashion:
ω ( W ) = lim M + ω 0 M ( W )
where
ω 0 M ( W ) = lim ϵ 0 ω M ( W , ϵ )
Next, define the quantity B ( W ) as:
B W = lim n sup z C sup z t z s ; t , s M
Finally, we will define the quantity which satisfies the axioms of M . N . C in the following manner;
σ W = ω W + B W
We have, σ ( W ) = ω W + B W is the M . N . C in the space B C ( R + ) and satisfies regularity, monotonically, invariant under closure, invariant under convex hull, generalized Cantor intersection theorem etc. [7].

4.1. Fractional Integral Equation

In this section, we will validate the existence of the solution of fractional ordered integral Equation (1), using the results of Section 2 of this paper. Let us assume that the integral Equation (1) will satisfies the following conditions;
(a)
The function u ( t ) is a member of the space B C ( R + ) which has finite limit at infinity.
(b)
The function g t , z = g : R + × R R is continuous and M g = max g t , 0 : z R + , moreover there exist continuous function ρ t : R + R with ρ ( 0 ) = 0 such that the following inequality will satisfies;
g t , z g t , y ρ t z y
for all t R + and z , y R .
(c)
The function h t , τ , z ( τ ) is continuous and there exists a non-decreasing and continuous function ϕ : R + R + and η : R + R such that;
h t , τ , z ( τ ) η t ϕ | | z | |
for all t , τ R + and z B C ( R + ) .
(d)
The function h t , τ , z ( τ ) is uniformly continuous on R + × R + × r , r for any r > 0 , moreover, for any t , τ R + such that τ t and z B C ( R + ) the following equality hold:
lim M sup h t , τ , z h s , τ , z : t , s M , τ R + , τ t , τ s , z r = 0 .
(e)
The functions ξ , ϑ , ψ : R + R defined as ξ t = ρ t η ( t ) θ t α , ϑ t = ρ t θ t α and ψ t = g t , 0 θ t α are bounded on R + . The functions ϑ and ψ are vanishes at infinity.
(f)
There exist a positive number r 0 and κ R + satisfying the inequality
u Γ α + 1 + ϕ b ξ b r + ψ b r Γ α + 1 and ξ b ϕ r 0 e κ Γ α + 1
where ξ b = sup ξ t | t R + , ψ b = sup ψ t | t R + .
Theorem 7.
Under the assumptions (a)–(f), there exist at least one solution v = v ( s ) of Equation (1) in the space B C R + converges to a finite limit at infinity.
Proof. 
For the sake of calculations let us define the operators H , I , and T on the Banach space B C R + in the following manner;
H z t = g t , z t , I z t = 1 Γ ( α ) 0 θ t h t , τ , z τ θ t τ 1 α d τ , T z t = f t + H z t I z t ,
for t R + . Obviously Equation (1) can be written in the from z ( t ) = ( T z ) ( t ) . We know that T z is operator on the interval R + for fixed z B C R + , now we prove that T z is continuous operator on R + .
To do this, fix M > 0 and ϵ > 0 . Choose the numbers s , t [ 0 , M ] with | t s | ϵ . For s < t we obtain;
I z t I z s = 1 Γ ( α ) 0 θ t h t , τ , z τ θ t τ 1 α d τ 0 θ s h s , τ , z τ θ s τ 1 α d τ 1 Γ ( α ) 0 θ t h t , τ , z τ θ t τ 1 α d τ 0 θ s h t , τ , z τ θ t τ 1 α d τ + 1 Γ ( α ) 0 θ s h t , τ , z τ θ t τ 1 α d τ 0 θ s h t , τ , z τ θ s τ 1 α d τ + 1 Γ ( α ) 0 θ ( s ) h t , τ , z τ θ s τ 1 α d τ 0 θ s h s , τ , z τ θ s τ 1 α d τ ϕ | | z | | η t Γ ( α ) θ s θ t h t , τ , z τ θ t τ 1 α d τ + ϕ | | z | | η t Γ ( α ) 0 θ s 1 θ t τ 1 α 1 θ s τ 1 α d τ + M , | | z | | h Γ ( α ) 0 θ s 1 θ s τ 1 α d τ
where we denoted
M , ϵ K h = sup h t , τ , z h s , τ , z : t , s , τ 0 , M , t s ε , z K , K
Next, from the expression (8) we obtain
I z t I z s ϕ | | z | | η t Γ α + 1 θ t θ s α + ϕ | | z | | η t Γ α + 1 θ t θ s α + θ s α θ t α + M , | | z | | g Γ α + 1 θ s α
Since, M , ϵ | | z | | g 0 as ϵ 0 , hence we infer that the function ( I z ) is continuous on [ 0 , M ] . As M is arbitrary, hence we can say that ( I z ) is continuous on R + .
Additionally, from the assumption ( b ) we deduce the following expression;
H z s H z t = g s , z s g t , z t g s , z s g s , z t + g s , z t g t , z t ρ s z t z s + M , ϵ | | z | | q
where
M , ϵ δ g = sup g t , z t g s , z s : t , s 0 , M , t s ε , z δ , δ
for an arbitrary δ > 0 .
By the virtue of assumption ( c ) we have M , ϵ | | z | | g 0 as ϵ 0 . Thus, the expression (10) we conclude that ( H z ) is continuous on [ 0 , M ] , and hence continuous on the interval R + .
Hence, representation (7) and assumption (a) implies that ( T z ) is continuous on the interval R + .
Furthermore, let us choose z B C ( R + ) and arbitrarily t , τ R + , we will derive the following expression;
T z t u t + g t , z t Γ ( α ) 0 θ t h t , τ , z τ θ t τ 1 α d τ u t + g t , z t g t , 0 + g t , 0 Γ ( α ) 0 θ t ϕ | | z | | η ( t ) θ t τ 1 α d τ u + 1 Γ ( α + 1 ) ρ t z + g t , 0 ϕ | | z | | η ( t ) θ t α u + ϕ | | z | | Γ ( α + 1 ) ξ t z + ψ t u + ϕ | | z | | Γ α + 1 ξ b z + ψ b
The above estimation shows that the function ( T z ) is bounded on the interval R + . Since The operator ( T z ) is bounded and continuous on R + therefore we conclude that the operator T transforms the space B C ( R + ) into itself. Moreover, form the assumptions we deduce that there exist number r 0 > 0 such that H maps the ball B r 0 into itself.
Next, we will show that the operator T is continuous on the ball B r 0 .
To do this, let us fix an arbitrary positive number ϵ and choose z , y B r 0 such that z y ϵ . Let us choose an arbitrary t R + then we can obtain the following expression by the virtue of assumptions ( c ) & ( d ) ;
I z t I y t | g t , z t Γ ( α ) 0 θ t h t , τ , z τ θ t τ 1 α d τ g t , y t Γ ( α ) 0 θ t h t , τ , y τ θ t τ 1 α d τ | g t , z t g t , y t Γ ( α ) 0 θ t h t , τ , z τ θ t τ 1 α d τ + g t , y t Γ ( α ) 0 θ t h t , τ , z τ h t , τ , y τ θ t τ 1 α d τ ρ t | | z y | | Γ ( α + 1 ) ϕ | | z | | η t θ t α + g t , y t g t , 0 + g t , 0 Γ ( α + 1 ) ω 2 h , ε θ t α ρ t | | z y | | Γ ( α + 1 ) ϕ | | z | | η t θ t α + ρ t | | z | | + g t , 0 Γ ( α + 1 ) ω 2 h , ε θ t α ϕ | | z | | Γ ( α + 1 ) ξ t | | z y | | + ω 2 h , ε Γ ( α + 1 ) ρ t θ t α | | z | | + g t , 0 θ t α ϕ | | z | | Γ ( α + 1 ) ξ t | | z y | | + ω 2 h , ε Γ ( α + 1 ) β t | | z | | + ψ t
where
ω 2 h , ε = sup h t , τ , z τ h t , τ , y τ : t , τ R + , z , y R , | | z y | | ε .
From assumption (e), it follows that ω 2 h , ε 0 as ε 0 .
From Equations (7)–(9) we conclude that ( I z ) is continuous on the ball B r 0 . The operator I z is continuous and bounded on the ball B r 0 which implies that the operator I transform the ball B r 0 into itself.
Let us fix an arbitrary nonempty subset W of the ball B r 0 . Choose z W and fix the positive numbers M and ϵ such that t , s [ 0 , M ] and | t s | ϵ . Then from the above estimated expressions (7)–(10) we obtain
T z t T z s M | | z | | u + H z t I z t H z s I z s M | | z | | u + H z t I z t I z s + I z s H z t H z s M | | z | | u + ρ t | | z | | + g s , 0 { η ( t ) ϕ | | z | | Γ α + 1 ( θ t θ s α + η ( t ) ϕ | | z | | Γ α + 1 θ t θ s α + θ s α θ t α ) + M | | z | | h Γ α + 1 θ s α } + η ( s ) ϕ | | z | | Γ α + 1 θ s α ρ s z t z s + M | | z | | g
Applying the supreme to both sides we obtain
ω M T z , ε M | | z | | u + ρ ^ M | | z | | + g ^ M , 0 M | | z | | h Γ α + 1 ϕ | | z | | η ^ M θ ^ M α + ϕ | | z | | Γ α + 1 θ ^ M α η ^ M ρ ^ M ω M z , ε + M | | z | | g
Applying ε 0 we obtain
ω 0 M T z ϕ | | z | | Γ α + 1 θ ^ M α η ^ M ρ ^ M ω 0 M z
At length as M we have with the following expression,
ω T z ϕ | | z | | Γ α + 1 ξ b ω z
In what follows let us take a nonempty set W B r 0 . Then, for arbitrary t R + and z , y B C ( R + ) such that | | z y | | ϵ using the assumptions ( b ) , ( c ) & ( e ) we can derive the following expression,
T z t T y t | g t , z t Γ ( α ) 0 θ t h t , τ , z τ θ t τ 1 α d τ g t , y t Γ ( α ) 0 θ t h t , τ , y τ θ t τ 1 α d τ | g t , z t g t , y t Γ ( α ) 0 θ t h t , τ , x τ θ t τ 1 α d τ + g t , y t Γ ( α ) 0 θ t h t , τ , z τ h t , τ , y τ θ t τ 1 α d τ ρ t | | z y | | Γ ( α + 1 ) η t ϕ | | z | | θ t α + g t , y t g t , 0 + g t , 0 Γ ( α + 1 ) ω 2 h , ε θ s α ρ t | | z y | | Γ ( α + 1 ) ϕ | | z | | η t θ t α + ρ t | | z | | + g t , 0 Γ ( α + 1 ) ω 2 h , ε θ t α ϕ | | z | | Γ α + 1 ξ t | | z y | | + ω 2 h , ε Γ ( α + 1 ) ρ t θ t α | | z | | + g t , 0 θ t α ϕ | | z | | Γ ( α + 1 ) ξ s | | z y | | + ω 2 h , ε Γ ( α + 1 ) ϑ t | | z | | + ψ t
Hence, we can easily deduce the following inequality,
d i a m ( T W ) ϕ | | v | | Γ α + 1 ξ b d i a m ( W )
Hence, from assumption ( f ) and expression (5) we can deduce the following inequality,
B ( T W ) ϕ | | v | | Γ ( α + 1 ) ξ b B ( W )
From Equations (6), (15) and (16) we obtain
σ T W = ω ( T W ) + B ( T W ) ϕ | | v | | Γ ( α + 1 ) ξ b ( ω ( W ) ) + ϕ | | v | | Γ ( α + 1 ) ξ b B ( W ) ϕ | | v | | Γ ( α + 1 ) ξ b σ W
By the virtue of assumption ( f ) and properties of functions G & ψ we derive the following expression,
G σ T W ψ G σ W
where G : ( 0 , η ) R by G y = ln y and ψ : , 0 , 0 by ψ w = w τ . Linking the expression (18) with Theorem 6 of Section 2 and assuming the properties of G & ψ we obtain the desired result. In the view of the definition of measure of noncompactness we conclude that the solution of an integral Equation (1) has a finite limit at infinity. □
Now we will discuss an illustrative example for the obtained result.

4.2. Numerical Example

Consider the following fractional-order integral equation in the Banach space B C ( R + ) ;
z s = s 2 s 2 + 1 + 1 1 + s 3 arctan a + z s Γ ( α ) 0 s τ 2 s 2 e s ( z ( s ) ) 2 + s 4 τ 1 4 + 1 sin z ( s ) 2 s τ 1 α d τ .
α ( 0 , 1 ] , s B C ( R + )
Suppose that α = 1 / 4 then we obtain
z s = s 2 s 2 + 1 + 1 1 + s 3 arctan a + z s Γ ( 1 / 4 ) 0 s τ 2 s 2 e s ( z ( s ) ) 2 + s 4 τ 1 4 + 1 sin z ( s ) 2 s τ 1 1 4 d τ ,
where s R + , & a R { 0 } .
Notice that the integral Equation (20) is particular case of integral Equation (1).
Indeed, if we replace α = 1 4 and
u s = a s s 2 + 1
g s , z s = 1 1 + s 6 arctan a + v s
h s , t , z t = t 2 s 2 e s z 2 + s 4 t 1 4 + 1 sin z 2 .
In fact, we have functions u s = a s s 2 + 1 and g s , z s = 1 1 + s 6 arctan a + z s satisfies assumption (a) and (b). The function g s , z s satisfies assumption (b) with ρ ( s ) = 1 1 + s 6 and g s , 0 = 1 1 + s 6 arctan a . The function
h s , t , z t = t 2 s 2 e s z 2 + s 4 t 1 4 + 1 sin z 2
satisfies the assumption (c) with η s = s 4 e s + s 4 s 1 4 + 1 and ϕ ( r ) = r 2 .
Now to show the functions ξ , ϑ , ψ satisfies the assumption ( e ) we have the following expressions,
ξ s = s 4 . e s s 4 + 1 + s 4 s 1 4 s 1 4 + 1 s 4 + 1 , ϑ ( s ) = s 1 4 1 + s 4 , ψ s = s 1 4 1 + s 6 arctan s .
It has been easily seen that all the above-defined functions are bounded on R + among them ψ , ϑ vanishes at infinity i.e., lim s ψ s = lim s ϑ ( s ) = 0 . So all the conditions of Theorem 7 are satisfied by the integral Equation (20). Hence, the integral equation admits at least one solution in the space B C ( R + ) .
To find the set of fixed points of Equation (20), using (c), we have the approximated solution for a = 1
z ( s ) = 2.93379 s 1 / 4 z ( s ) arctan ( z ( s ) + 1 ) s 3 + 1 + s 2 s 2 + 1 .
A calculation implies that the set of fixed points f i x α ( a , s ) is
f i x 1 / 4 ( 1 , s ) = { s 1 = 0 , s 2 = 0.188507 , s 3 = 1.35044 } .
For α = 1 / 2 , we have the solution formula
z ( s ) = 1.46689 s z ( s ) arctan ( z ( s ) + 1 ) s 3 + 1 + s 2 s 2 + 1 .
A computation yields that the set of fixed points is
f i x 1 / 2 ( 1 , s ) = { s 1 = 0 , s 2 = 0.304319 , s 3 = 1.42606 } .
Finally, we consider α = 3 / 4 and a = 1 , then we obtain the solution
z ( s ) = 1.41421 s 3 / 4 z ( s ) arctan ( z ( s ) + 1 ) s 3 + 1 + s 2 s 2 + 1 ;
consequently, the set of fixed point is as follows:
f i x 3 / 4 ( 1 , s ) = { s 1 = 0 , s 2 = 0.411379 , s 3 = 1.47203 } .
Figure 1 shows the stable periodicity solutions of the integral equation z ( s ) depending on the fixed points. Figure 2 indicates the solution for the ordinary case when α = 1 and a = 1 . In this case, we obtain
z ( s ) = 1.3 s z ( s ) arctan ( z ( s ) + 1 ) s 3 + 1 + s 2 s 2 + 1
and
f i x 1 ( 1 , s ) = { s 1 = 0 , s 2 = 0.513503 , s 3 = 1.50813 } .
Figure 3 represents the solution for the ordinary case when α = 1 and a = 2 . In this case, we have
z ( s ) = 1.3 s z ( s ) arctan ( z ( s ) + 2 ) s 3 + 1 + s 2 s 2 + 1
and
f i x 1 ( 2 , s ) = { s 1 = 0 , s 2 = 0.436612 , s 3 = 1.58647 } .

4.3. Convergence to the Fixed Point

In this place, we iterate the solution of the integral Equation (19). We start with α = 1 / 4 , the iteration solution imposes (see Figure 4)
z ( n + 1 ) = 2.9 n 1 / 4 z ( n ) arctan ( z ( n ) + 1 ) n 3 + 1 + n 2 1 + n 2 = n 1 / 4 n 7 / 4 + n 19 / 4 + 2.9 n 2 z ( n ) arctan ( z ( n ) + 1 ) + 2.9 z ( n ) arctan ( z ( n ) + 1 ) ( n 2 + 1 ) ( n 3 + 1 ) .
For α = 1 / 2 we obtain the iteration solution
z ( n + 1 ) = 1.4 n 1 / 2 z ( n ) arctan ( z ( n ) + 1 ) n 3 + 1 + n 2 1 + n 2 = n 1 / 2 n 9 / 2 + n 3 / 2 + 1.4 n 2 z ( n ) arctan ( z ( n ) + 1 ) + 1.4 z ( n ) arctan ( z ( n ) + 1 ) ( n 2 + 1 ) ( n 3 + 1 ) .
Moreover, for α = 3 / 4 we obtain
z ( n + 1 ) = 1.4 n 3 / 4 z ( n ) arctan ( z ( n ) + 1 ) n 3 + 1 + n 2 1 + n 2 = n 3 / 4 n 5 / 4 + n 17 / 4 + 1.4 n 2 z ( n ) arctan ( z ( n ) + 1 ) + 1.4 z ( n ) arctan ( z ( n ) + 1 ) ( n 2 + 1 ) ( n 3 + 1 ) .
Finally, we assume that α = 1 then we have
z ( n + 1 ) = 1.3 n z ( n ) arctan ( z ( n ) + 1 ) n 3 + 1 + n 2 1 + n 2 = n n 4 + 1.3 n 2 z ( n ) arctan ( z ( n ) + 1 ) + 1.3 z ( n ) arctan ( z ( n ) + 1 ) ( n 2 + 1 ) ( n 3 + 1 ) .
Table 1 shows the number of iterations and the error, which calculated by | z ( n ) s i | , i = 1 , 2 , 3 .

5. Conclusions

In our current work, we defined β G-contraction and ψ G-contraction of Darbo type and proved corresponding fixed-point theorems using M . N . C . Furthermore, the fixed-point theorem proved in Section 2 is applied to demonstrate the existence of a solution of fractional-order integral equation. At the end, an example is given to validate the result. We indicate that the values of the fixed-point increase whenever the values of α increase in ( 0 , 1 ] . Moreover, the set of fixed points imposed the periodicity and stability of the fractional integral Equation (20). All figures are presented with the help of Mathematica 11.2.

Author Contributions

Conceptualization, V.N. and D.G.; methodology, V.N. and D.G.; formal analysis, R.W.I.; investigation, V.N. and D.G. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Acknowledgments

The authors would like to express their full thanks to the respected editorial office.

Conflicts of Interest

The authors declare no conflict of interest.

Abbreviations

B ( x , r ) The closed ball centered at x with radius r
N . B . C . C The class of nonempty, bounded, closed and convex sets.
M . N . C Measure of noncompactness.
R Set of all real numbers.
R + Set of all positive real numbers.
N Set of all positive integers.
Ω ¯ Closer of set Ω .
M E The family of all bounded subsets of the space E
N E The subfamily of M E consisting only relatively compact sets.
co ( Ω ) , co ( Ω ¯ ) The convex hull and closed convex hull of Ω respectively.

References

  1. Jleli, M.; Karapinar, E.; O’Regan, D.; Samet, B. Some generalizations of Darbos theorem and applications to fractional integral equations. Fixed Point Theory Appl. 2016, 2016, 11. [Google Scholar] [CrossRef] [Green Version]
  2. Mursaleen, M.; Rizvi, S.M.H.; Samet, B. Measures of Noncompactness and Their Applications. In Advances in Nonlinear Analysis via the Concept of Measure of Noncompactness; Banaś, J., Jleli, M., Mursaleen, M., Samet, B., Vetro, C., Eds.; Springer: Singapore, 2017. [Google Scholar]
  3. Kuratowski, K. Topology: Volume I; Elsevier: Amsterdam, The Netherlands, 2014; Volume 1. [Google Scholar]
  4. Darbo, G. Punti uniti in trasformazioni a codominio non compatto. Rend. del Semin. Mat. della Univ. di Padova 1955, 24, 84–92. [Google Scholar]
  5. Wardowski, D. Fixed points of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, 2012, 94. [Google Scholar] [CrossRef] [Green Version]
  6. Banas, J. On measures of noncompactness in banach spaces. Comment. Math. Univ. Carol. 1980, 21, 131–143. [Google Scholar]
  7. Banas, J.; Merentes, N.; Rzepka, B. Measures of noncompactness in the space of continuous and bounded functions defined on the real half-axis. In Advances in Nonlinear Analysis via the Concept of Measure of Noncompactness; Springer: Berlin/Heidelberg, Germany, 2017; pp. 1–58. [Google Scholar]
  8. Banas, J.; Zajac, T. Solvability of a functional integral equation of fractional order in the class of functions having limits at infinity. Nonlinear Anal. Theory Methods Appl. 2009, 71, 5491–5500. [Google Scholar] [CrossRef]
  9. Schauder, J. Derxpunktsatz in funktionalraumen. Stud. Math. 1930, 2, 171–180. [Google Scholar] [CrossRef] [Green Version]
  10. Vetro, C.; Vetro, F. The class of f-contraction mappings with a measure of noncompactness. In Advances in Nonlinear Analysis via the Concept of Measure of Noncompactness; Springer: Berlin/Heidelberg, Germany, 2017; pp. 297–331. [Google Scholar]
  11. Agarwala, R.P.; Samet, B. An existence result for a class of nonlinear integral equations of fractional orders. Nonlinear Anal. Model. Control 2016, 21, 716–729. [Google Scholar] [CrossRef]
  12. Aghajani, A.; Pourhadi, E.; Trujillo, J.J. Application of measure of noncompactness to a Cauchy problem for fractional differential equations in Banach spaces. Fract. Calc. Appl. Anal. 2013, 16, 962–977. [Google Scholar] [CrossRef]
  13. Darwish, M.A. On monotonic solutions of a singular quadratic integral equation with supremum. Dynam. Syst. Appl. 2008, 17, 539–550. [Google Scholar]
  14. Darwish, M.A. On Erdelyi-kober fractional urysohn-Volterra quadratic integral equations. Appl. Math. Comput. 2016, 273, 562–569. [Google Scholar] [CrossRef]
Figure 1. The stable periodicity solution of z ( s ) based on the set of fixed points when α = 1 / 4 , 1 / 2 , 3 / 4 respectively.
Figure 1. The stable periodicity solution of z ( s ) based on the set of fixed points when α = 1 / 4 , 1 / 2 , 3 / 4 respectively.
Foundations 01 00021 g001
Figure 2. The stable periodicity solution of z ( s ) based on the set of fixed points when α = 1 and a = 1 .
Figure 2. The stable periodicity solution of z ( s ) based on the set of fixed points when α = 1 and a = 1 .
Foundations 01 00021 g002
Figure 3. The solution of z ( s ) based on the set of fixed points when α = 1 and a = 2 .
Figure 3. The solution of z ( s ) based on the set of fixed points when α = 1 and a = 2 .
Foundations 01 00021 g003
Figure 4. The iteration solution of z ( n ) for α = 1 / 4 , 1 / 2 , 3 / 4 , 1 respectively.
Figure 4. The iteration solution of z ( n ) for α = 1 / 4 , 1 / 2 , 3 / 4 , 1 respectively.
Foundations 01 00021 g004
Table 1. Iteration solution of Equation (19).
Table 1. Iteration solution of Equation (19).
α n01234Error = | z ( n ) s i |
1/4z(n)100.50.988291.048830.301
1/2z(n)100.50.9081020.985570.41
3/4z(n)100.50.9285551.015620.454
1z(n)100.50.9419591.04370.464
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Nikam, V.; Gopal, D.; Ibrahim, R.W. Solvability of a Parametric Fractional-Order Integral Equation Using Advance Darbo G-Contraction Theorem. Foundations 2021, 1, 286-303. https://doi.org/10.3390/foundations1020021

AMA Style

Nikam V, Gopal D, Ibrahim RW. Solvability of a Parametric Fractional-Order Integral Equation Using Advance Darbo G-Contraction Theorem. Foundations. 2021; 1(2):286-303. https://doi.org/10.3390/foundations1020021

Chicago/Turabian Style

Nikam, Vishal, Dhananjay Gopal, and Rabha W. Ibrahim. 2021. "Solvability of a Parametric Fractional-Order Integral Equation Using Advance Darbo G-Contraction Theorem" Foundations 1, no. 2: 286-303. https://doi.org/10.3390/foundations1020021

APA Style

Nikam, V., Gopal, D., & Ibrahim, R. W. (2021). Solvability of a Parametric Fractional-Order Integral Equation Using Advance Darbo G-Contraction Theorem. Foundations, 1(2), 286-303. https://doi.org/10.3390/foundations1020021

Article Metrics

Back to TopTop