Next Article in Journal
The Role of Axions in the Formation of the Photoluminescence Spectrum in Dispersive Media
Next Article in Special Issue
On Fractional Lyapunov Functions of Nonlinear Dynamic Systems and Mittag-Leffler Stability Thereof
Previous Article in Journal / Special Issue
Existence and Uniqueness of Solutions to a Nabla Fractional Difference Equation with Dual Nonlocal Boundary Conditions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Analytical Study of a ϕ− Fractional Order Quadratic Functional Integral Equation

by
Ahmed M. A. El-Sayed
1,*,†,
Hind H. G. Hashem
1,† and
Shorouk M. Al-Issa
2,3,†
1
Faculty of Science, Alexandria University, Alexandria 21544, Egypt
2
Department of Mathematics, Faculty of Arts and Sciences, The International University of Beirut, Beirut 1107, Lebanon
3
Department of Mathematics, Faculty of Arts and Sciences, Lebanese International University, Saida 1600, Lebanon
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Foundations 2022, 2(1), 167-183; https://doi.org/10.3390/foundations2010010
Submission received: 9 December 2021 / Revised: 11 January 2022 / Accepted: 12 January 2022 / Published: 25 January 2022
(This article belongs to the Special Issue Recent Advances in Fractional Differential Equations and Inclusions)

Abstract

:
Quadratic integral equations of fractional order have been studied from different views. Here we shall study the existence of continuous solutions of a ϕ fractional-orders quadratic functional integral equation, establish some properties of these solutions and prove the existence of maximal and minimal solutions of that quadratic integral equation. Moreover, we introduce some particular cases to illustrate our results.

1. Introduction

Quadratic integral equations have gained much attention and many authors studied the existence of solutions for several classes of nonlinear quadratic integral equations (see e.g., [1,2,3,4,5,6,7,8,9,10,11]).
Quadratic integral equations have been appeared in many useful application and problems of the real world. For example, in the theory of radiative transfer, the kinetic theory of gases, the theory of neutron transport, the queuing theory and the traffic theory [2,5,6,12].
In [13], we generalized the Carathéodory theorem for the nonlinear quadratic integral equation
x ( t ) = a ( t ) + 0 t f ( s , x ( s ) ) d s 0 t g ( s , x ( s ) ) d s ,
and proved the existence of at least one positive nondecreasing continuous solution to the Equation (1) under the assumption that the functions f and g satisfy the conditions of the Carathèodory Theorem [14]. Furthermore, we proved the existence of the maximal and minimal solutions of the quadratic integral Equation (1).
Let J = [ 0 , T ] , ϕ 1 , ϕ 2 : J R be increasing and absolutely continuous and ψ i : J J , i = 1 , 2 be continuous. Let α , β ( 0 , 1 ] and t J .
Consider the ϕ fractional-orders quadratic functional integral equation
x ( t ) = a ( t ) + 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s , t J , α , β ( 0 , 1 ] .
Now, we shall generalize these results and obtain similar ones for the fractional quadratic ϕ integral Equation (2), which in turn gives the existence as well as the existence of many key integral and functional equations that arise in nonlinear analysis and its applications. Finally, we discuss the existence of maximal and minimal solutions of (2).
Now, we shall denote by L ϕ 1 = L ϕ 1 [ 0 , T ] the space of all real functions defined on J . such that ϕ ( t ) f ( t ) L 1 ( J ) and 0 T | ϕ ( t ) f ( t ) | d t . Where ϕ is an increasing function and absolutely continuous on J and we introduce the norm [9]
| | f ( t ) | | L ϕ 1 = 0 T | ϕ ( t ) f ( t ) | d t t J .
Definition 1
([9]). The ϕ fractional integral of order α 0 of the function f ( t ) L ϕ 1 is defined as
I ϕ α f ( t ) = 0 t ( ϕ ( t ) ϕ ( s ) ) α 1 Γ ( α ) ϕ ( s ) f ( s ) d s .
I ϕ α may be known as the fractional integral of the function f ( t ) with respect to ϕ ( t ) , which is defined for any monotonic increasing function ϕ ( t ) 0 , with a continuous derivative.

2. Main Results

Consider the functional quadratic ϕ integral equation of fractional order (2) under the following assumptions:
(i)
a : J R + is continuous and sup t J | a ( t ) | = k ;
(ii)
f 1 , f 2 : J × R R + satisfy the Carathéodory condition (i.e., measurable in t for all x R and continuous in x for all t J ).
(iii)
There exist two functions m 1 , m 2 L 1 and nonnegative constants b 1 , b 2 such that | f i ( t , x ( t ) ) | | m i ( t ) | + b i | x | , i = 1 , 2 .
(iv)
ϕ i : J R , i = 1 , 2 are increasing and absolutely continuous.
(v)
ψ i : J J , i = 1 , 2 are continuous.
(vi)
I ϕ i γ i m i M i , i = 1 , 2 γ 1 α , γ 2 β .
(vii)
r is a positive solution of the inequality:
k + M 1 M 2 T α + β γ 1 γ 2 Γ ( α γ 1 + 1 ) Γ ( β γ 2 + 1 ) + b 1 M 2 r T α + β γ 2 Γ ( α + 1 ) Γ ( β γ 2 + 1 ) + b 2 M 1 r T β + α γ 1 Γ ( β + 1 ) Γ ( α γ 1 + 1 ) + b 1 b 2 r 2 T α + β Γ ( α + 1 ) Γ ( β + 1 ) r .
With the aim of proving the existence of at least one solution for the Equation (2), firstly we construct an iterative scheme (as done in the original Carathéodory theorem) and secondly we apply the Schauder fixed point theorem.

2.1. Existence Results of QFIE (2) via Iterative Scheme

Theorem 1.
Let assumptions (i)–(vii) be satisfied, then the functional quadratic integral equation of fractional order (2) has at least one positive solution x C ( J ) .
Proof. 
Consider the ball S r in the space C ( J ) defined as
S r = { x C ( I ) : | x ( t ) | r for t J } .
Define the sequence { x n ( t ) } , t [ 0 , T 1 n ]
x n ( t ) = a ( t ) + 0 t + 1 n ( ϕ 1 ( t + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x n ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t + 1 n ( ϕ 2 ( t + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( α ) f 2 ( s , x n ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s .
The sequence { x n ( t ) } , t [ 0 , T 1 n ] is uniformly bounded
| x n ( t ) | | a ( t ) | + 0 t + 1 n ( ϕ 1 ( t + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) [ | m 1 ( s ) | + b 1 | x n ( ψ 1 ( s ) ) | ] ϕ 1 ( s ) d s . 0 t + 1 n ( ϕ 2 ( t + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( α ) [ | m 2 ( s ) | + b 2 | x n ( ψ 2 ( s ) ) | ] ϕ 2 ( s ) d s , | a ( t ) | + 0 t + 1 n ( ϕ 1 ( t + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) | m 1 ( s ) | ϕ 1 ( s ) d s . 0 t + 1 n ( ϕ 2 ( t + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) | m 2 ( s ) | ϕ 2 ( s ) d s + 0 t + 1 n ( ϕ 1 ( t + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) b 1 | x n ( ψ 1 ( s ) ) | ϕ 1 ( s ) d s . 0 t + 1 n ( ϕ 2 ( t + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) | m 2 ( s ) | ϕ 2 ( s ) d s + 0 t + 1 n ( ϕ 2 ( t + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) b 2 | x n ( ψ 2 ( s ) ) | ϕ 2 ( s ) d s . 0 t + 1 n ( ϕ 1 ( t + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) | m 1 ( s ) | ϕ 1 ( s ) d s + 0 t + 1 n ( ϕ 1 ( t + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) b 1 | x n ( ψ 1 ( s ) ) | ϕ 1 ( s ) d s . 0 t + 1 n ( ϕ 2 ( t + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) b 2 | x n ( ψ 2 ( s ) ) | ϕ 2 ( s ) d s k + M 1 M 2 0 t + 1 n ( ϕ 1 ( t + 1 n ) ϕ 1 ( s ) ) α γ 1 1 Γ ( α γ 1 ) ϕ 1 ( s ) d s . 0 t + 1 n ( ϕ 2 ( t + 1 n ) ϕ 2 ( s ) ) β γ 2 1 Γ ( β γ 2 ) ϕ 2 ( s ) d s + b 1 M 2 r 0 t + 1 n ( ϕ 1 ( t + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) ϕ 1 ( s ) d s . 0 t + 1 n ( ϕ 2 ( t + 1 n ) ϕ 2 ( s ) ) β γ 2 1 Γ ( β γ 2 ) ϕ 2 ( s ) d s + b 2 M 1 r 0 t + 1 n ( ϕ 1 ( t + 1 n ) ϕ 1 ( s ) ) α γ 1 1 Γ ( α γ 1 ) ϕ 1 ( s ) d s . 0 t + 1 n ( ϕ 2 ( t + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) | ϕ 2 ( s ) d s + b 1 b 2 r 2 0 t + 1 n ( ϕ 1 ( t + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) ϕ 1 ( s ) d s . 0 t + 1 n ( ϕ 2 ( t + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) ϕ 2 ( s ) d s
k + M 1 M 2 ( ϕ 1 ( t + 1 n ) ) α γ 1 Γ ( α γ 1 + 1 ) ( ϕ 2 ( t + 1 n ) ) β γ 2 Γ ( β γ 2 + 1 ) + b 1 M 2 r ( ϕ 1 ( t + 1 n ) ) α Γ ( α + 1 ) . ( ϕ 2 ( t + 1 n ) ) β γ 2 Γ ( β γ 2 + 1 ) + b 2 M 1 r ( ϕ 2 ( t + 1 n ) ) β Γ ( β + 1 ) . ( ϕ 1 ( t + 1 n ) ) α γ 1 Γ ( α γ 1 + 1 ) + b 1 b 2 r 2 ( ϕ 1 ( t + 1 n ) ) α Γ ( α + 1 ) . ( ϕ 2 ( t + 1 n ) ) β Γ ( β + 1 )
k + M 1 M 2 T α γ 1 Γ ( α γ 1 + 1 ) T β γ 2 Γ ( β γ 2 + 1 ) + b 1 M 2 r T α Γ ( α + 1 ) . T β γ 2 Γ ( β γ 2 + 1 ) + b 2 M 1 r T β Γ ( β + 1 ) . T α γ 1 Γ ( α γ 1 + 1 ) + b 1 b 2 r 2 T α Γ ( α + 1 ) . T β Γ ( β + 1 ) k + M 1 M 2 T α + β γ 1 γ 2 Γ ( α γ 1 + 1 ) Γ ( β γ 2 + 1 ) + b 1 M 2 r T α + β γ 2 Γ ( α + 1 ) Γ ( β γ 2 + 1 ) + b 2 M 1 r T β + α γ 1 Γ ( β + 1 ) Γ ( α γ 1 + 1 ) + b 1 b 2 r 2 T α + β Γ ( α + 1 ) Γ ( β + 1 ) r .
Also, the sequence is equi-continuous.
For t 1 , t 2 [ 0 , T 1 n ] such that t 1 < t 2 , we have
| x n ( t 2 ) x n ( t 1 ) | = | a ( t 2 ) a ( t 1 ) + 0 t 2 + 1 n ( ϕ 1 ( t 2 + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x n ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t 2 + 1 n ( ϕ 2 ( t 2 + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x n ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s 0 t 1 + 1 n ( ϕ 1 ( t 1 + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x n ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t 1 + 1 n ( ϕ 2 ( t 1 + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x n ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s | = | a ( t 2 ) a ( t 1 ) + 0 t 1 + 1 n ( ϕ 1 ( t 2 + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x n ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t 2 + 1 n ( ϕ 2 ( t 2 + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x n ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s + t 1 + 1 n t 2 + 1 n ( ϕ 1 ( t 2 + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x n ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t 2 + 1 n ( ϕ 2 ( t 2 + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x n ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s 0 t 1 + 1 n ( ϕ 1 ( t 1 + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x n ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t 1 + 1 n ( ϕ 2 ( t 1 + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x n ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s |
| a ( t 2 ) a ( t 1 ) + 0 t 1 + 1 n ( ϕ 1 ( t 2 + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x n ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t 1 + 1 n ( ϕ 2 ( t 2 + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x n ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s + 0 t 1 + 1 n ( ϕ 1 ( t 2 + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x n ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . t 1 + 1 n t 2 + 1 n ( ϕ 2 ( t 2 + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x n ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s + t 1 + 1 n t 2 + 1 n ( ϕ 1 ( t 2 + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x n ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t 2 + 1 n ( ϕ 2 ( t 1 + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x n ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s 0 t 1 + 1 n ( ϕ 1 ( t 1 + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x n ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t 1 + 1 n ( ϕ 2 ( t 1 + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x n ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s | | a ( t 2 ) a ( t 1 ) + 0 t 1 + 1 n [ ( ϕ 1 ( t 2 + 1 n ) ϕ 1 ( s ) ) α 1 ( ϕ 1 ( t 1 + 1 n ) ϕ 1 ( s ) ) α 1 ] Γ ( α ) f 1 ( s , x n ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t 1 + 1 n ( ϕ 2 ( t 2 + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x n ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s + 0 t 1 + 1 n [ ( ϕ 1 ( t 2 + 1 n ) ϕ 1 ( s ) ) α 1 ( ϕ 1 ( t 1 + 1 n ) ϕ 1 ( s ) ) α 1 ] Γ ( α ) f 1 ( s , x n ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t 1 + 1 n ( ϕ 2 ( t 1 + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x n ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s + 0 t 1 + 1 n ( ϕ 1 ( t 2 + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x n ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . t 1 + 1 n t 2 + 1 n ( ϕ 2 ( t 2 + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x n ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s + t 1 + 1 n t 2 + 1 n ( ϕ 1 ( t 2 + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x n ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t 2 + 1 n ( ϕ 2 ( t 1 + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x n ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s | | a ( t 2 ) a ( t 1 ) | + 0 t 1 + 1 n [ ( ϕ 1 ( t 2 + 1 n ) ϕ 1 ( s ) ) α 1 ( ϕ 1 ( t 1 + 1 n ) ϕ 1 ( s ) ) α 1 ] Γ ( α ) | f 1 ( s , x n ( ψ 1 ( s ) ) ) | ϕ 1 ( s ) d s . 0 t 1 + 1 n ( ϕ 2 ( t 2 + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) | f 2 ( s , x n ( ψ 2 ( s ) ) ) | ϕ 2 ( s ) d s + 0 t 1 + 1 n [ ( ϕ 1 ( t 2 + 1 n ) ϕ 1 ( s ) ) α 1 ( ϕ 1 ( t 1 + 1 n ) ϕ 1 ( s ) ) α 1 ] Γ ( α ) | f 1 ( s , x n ( ψ 1 ( s ) ) ) | ϕ 1 ( s ) d s . 0 t 1 + 1 n ( ϕ 2 ( t 1 + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) | f 2 ( s , x n ( ψ 2 ( s ) ) ) | ϕ 2 ( s ) d s
+ 0 t 1 + 1 n ( ϕ 1 ( t 2 + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) | f 1 ( s , x n ( ψ 1 ( s ) ) ) ϕ 1 ( s ) | d s . t 1 + 1 n t 2 + 1 n ( ϕ 2 ( t 2 + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) | f 2 ( s , x n ( ψ 2 ( s ) ) ) | ϕ 2 ( s ) d s + t 1 + 1 n t 2 + 1 n ( ϕ 1 ( t 2 + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) | f 1 ( s , x n ( ψ 1 ( s ) ) ) | ϕ 1 ( s ) d s . 0 t 2 + 1 n ( ϕ 2 ( t 1 + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) | f 2 ( s , x n ( ψ 2 ( s ) ) ) | ϕ 2 ( s ) d s + t 1 + 1 n t 2 + 1 n ( ϕ 1 ( t 1 + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) | f 1 ( s , x n ( ψ 1 ( s ) ) ) | ϕ 1 ( s ) d s . t 1 + 1 n t 2 + 1 n ( ϕ 2 ( t 1 + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( β ) | f 2 ( s , x n ( ψ 2 ( s ) ) ) | ϕ 2 ( s ) d s .
Then we obtain
| x n ( t 2 ) x n ( t 1 ) | | a ( t 2 ) a ( t 1 ) | + 0 t 1 + 1 n [ ( ϕ 1 ( t 2 + 1 n ) ϕ 1 ( s ) ) α 1 ( ϕ 1 ( t 1 + 1 n ) ϕ 1 ( s ) ) α 1 ] Γ ( α ) [ m 1 ( s ) + b 1 r ] ϕ 1 ( s ) d s . 0 t 1 + 1 n [ ( ϕ 2 ( t 2 + 1 n ) ϕ 2 ( s ) ) β 1 ( ϕ 2 ( t 1 + 1 n ) ϕ 2 ( s ) ) β 1 ] Γ ( β ) [ m 2 ( s ) + b 2 r ] ϕ 2 ( s ) d s + M 1 T α γ 1 Γ ( α γ 1 + 1 ) + b 1 r T α Γ ( α + 1 ) . M 2 ( ϕ 2 ( t 1 + 1 n ) ϕ 2 ( t + 1 n ) β γ 2 Γ ( β γ 2 + 1 ) + b 2 r ( ϕ 2 ( t 1 + 1 n ) ϕ 2 ( t 2 + 1 n ) ) β Γ ( β + 1 ) + M 1 ( ϕ 1 ( t 1 + 1 n ) ϕ 1 ( t 2 + 1 n ) ) α γ 1 Γ ( α γ 1 + 1 ) + b 1 r ( ϕ 1 ( t 1 + 1 n ) ϕ 1 ( t 2 + 1 n ) ) α Γ ( α + 1 ) . M 2 ( ϕ 2 ( t 1 + 1 n ) ϕ 2 ( t 2 + 1 n ) ) β γ 2 Γ ( β γ 2 + 1 ) + b 2 r ( ϕ 2 ( t 1 + 1 n ) ϕ 2 ( t 2 + 1 n ) ) β Γ ( β + 1 ) + M 1 ( ϕ 1 ( t 1 + 1 n ) ϕ 1 ( t 2 + 1 n ) ) α γ 1 Γ ( α γ 1 + 1 ) + b 1 r ( ϕ 1 ( t 1 + 1 n ) ϕ 1 ( t 2 + 1 n ) ) α Γ ( α + 1 ) . M 2 ( ϕ 2 ( t 1 + 1 n ) ϕ 2 ( t 2 ) + 1 n ) β γ 2 Γ ( β γ 2 + 1 ) + b 2 r ( ϕ 2 ( t 1 + 1 n ) ϕ 2 ( t 2 + 1 n ) ) β Γ ( β + 1 ) .
This implies
| t 2 t 1 | 0 | x n ( t 2 ) x n ( t 1 ) | 0
and this proves the equi-continuity of the sequence { x n ( t ) } . Hence, { x n ( t ) } is a sequence of equi-continuous and uniformly bounded functions.
By Arzela–Ascoli Theorem [14], then there exists a subsequence { x n k ( t ) } of continuous functions which converges uniformly to a continuous function x as k .
Now we show that this limit function is the required solution.
From assumptions (ii) and (iii) we have
| f i ( s , x n k ( ψ 1 ( s ) ) ) | | m i ( s ) | + b i r L 1 ,
and the functions f i ( s , x n k ( ψ i ( s ) ) ) , i = 1 , 2 are continuous in the second argument,
i . e . , f i ( s , x n k ( ψ i ( s ) ) ) f i ( s , x ( ψ i ( s ) ) ) as k .
For s ( 0 , t ) and t J
( ϕ 1 ( t + 1 n k ) ϕ 1 ( s ) ) > ( ϕ 1 ( t ) ϕ 1 ( s ) ) ( ϕ 1 ( t + 1 n k ) ϕ 1 ( s ) ) α 1 < ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 ,
and
( ϕ 2 ( t + 1 n k ) ϕ 2 ( s ) ) > ( ϕ 2 ( t ) ϕ 2 ( s ) ) ( ϕ 2 ( t + 1 n k ) ϕ 2 ( s ) ) β 1 < ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 ,
therefore the sequences { ( ϕ 1 ( t + 1 n k ) ϕ 1 ( s ) ) α 1 f 1 ( s , x n k ( ψ 1 ( s ) ) ) } ,
( ϕ 2 ( t + 1 n k ) ϕ 2 ( s ) ) β 1 f 2 ( s , x n k ( ψ 2 ( s ) ) ) , α , β ( 0 , 1 ] satisfy the Lebesgue dominated convergence theorem [14].
0 t + 1 n ( ϕ 1 ( t + 1 n ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x n ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t + 1 n ( ϕ 2 ( t + 1 n ) ϕ 2 ( s ) ) β 1 Γ ( α ) f 2 ( s , x n ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( α ) f 2 ( s , x ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s .
Similarly we have
x ( t ) = lim k x n k ( t ) = a ( t ) + 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( α ) f 2 ( s , x ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s .
which proves the existence of a positive solution x C ( J ) of the quadratic integral Equation (2).  □

2.2. Existence Results of QFIE (2) via the Fixed Point Theorem

In this subsection, we shall prove another existence result for the functional quadratic ϕ integral of fractional order (2) by applying the Schauder fixed point.
Theorem 2.
Let assumptions (i)–(vii) hold. Then the ϕ fractional-orders quadratic functional integral Equation (2) has at least one solution x C ( J ) .
Proof. 
Fix a number r > 0 and the ball S r in the space C ( J ) as defined above.
Let T be the operator defined on S r by the formula
( T x ) ( t ) = a ( t ) + 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s , x S r , t J .
Then, in view of our assumptions, for x S r and t J we obtain
| T x ( t ) | | a ( t ) | + 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) [ m 1 ( s ) + b 1 | x ( ψ 1 ( s ) ) | ] ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( α ) [ m 2 ( s ) + b 2 | x ( ψ 2 ( s ) ) | ] ϕ 2 ( s ) d s , | a ( t ) | + 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) | m 1 ( s ) | ϕ 1 ( s ) d s 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) | m 2 ( s ) | ϕ 2 ( s ) d s + 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) | b 1 | x ( ψ 1 ( s ) ) | ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) | m 2 ( s ) | ϕ 2 ( s ) d s + 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) | b 2 | x ( ψ 2 ( s ) ) | ϕ 2 ( s ) d s . 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) | m 1 ( s ) | ϕ 1 ( s ) d s + 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) | b 1 | x ( ψ 1 ( s ) ) | ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) | b 2 | x ( ψ 2 ( s ) ) | ϕ 2 ( s ) d s k + M 1 M 2 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α γ 1 1 Γ ( α γ 1 ) ϕ 1 ( s ) d s 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β γ 2 1 Γ ( β γ 2 ) ϕ 2 ( s ) d s + b 1 M 2 r 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β γ 2 1 Γ ( β γ 2 ) ϕ 2 ( s ) d s + b 2 M 1 r 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) | ϕ 2 ( s ) d s . 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α γ 1 1 Γ ( α γ 1 ) ϕ 1 ( s ) d s + b 1 b 2 r 2 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) ϕ 2 ( s ) d s k + M 1 M 2 ( ϕ 1 ( t ) ) α γ 1 Γ ( α γ 1 + 1 ) ( ϕ 2 ( t ) ) β γ 2 Γ ( β γ 2 + 1 ) + b 1 M 2 r ( ϕ 1 ( t ) ) α Γ ( α + 1 ) . ( ϕ 2 ( t ) ) β γ 2 Γ ( β γ 2 + 1 ) + b 2 M 1 r ( ϕ 2 ( t ) ) β Γ ( β + 1 ) . ( ϕ 1 ( t ) ) α γ 1 Γ ( α γ 1 + 1 ) + b 1 b 2 r 2 ( ϕ 1 ( t ) ) α Γ ( α + 1 ) . ( ϕ 2 ( t ) ) β Γ ( β + 1 ) k + M 1 M 2 T α γ 1 Γ ( α γ 1 + 1 ) T β γ 2 Γ ( β γ 2 + 1 ) + b 1 M 2 r T α Γ ( α + 1 ) . T β γ 2 Γ ( β γ 2 + 1 ) + b 2 M 1 r T β Γ ( β + 1 ) . T α γ 1 Γ ( α γ 1 + 1 ) + b 1 b 2 r 2 T α Γ ( α + 1 ) . T β Γ ( β + 1 ) k + M 1 M 2 T α + β γ 1 γ 2 Γ ( α γ 1 + 1 ) Γ ( β γ 2 + 1 ) + b 1 M 2 r T α + β γ 2 Γ ( α + 1 ) Γ ( β γ 2 + 1 ) + b 2 M 1 r T β + α γ 1 Γ ( β + 1 ) Γ ( α γ 1 + 1 ) + b 1 b 2 r 2 T α + β Γ ( α + 1 ) Γ ( β + 1 ) r .
Hence, in view of the assumption ( v i i ) , we have that T transforms the ball S r into itself.
Now, for t 1 a n d t 2 I (without loss of generality assume that t 1 < t 2 ), we have
| ( T x ) ( t 2 ) ( T x ) ( t 1 ) | = | a ( t 2 ) a ( t 1 ) + 0 t 2 ( ϕ 1 ( t 2 ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t 2 ( ϕ 2 ( t 2 ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s 0 t 1 ( ϕ 1 ( t 1 ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t 1 ( ϕ 2 ( t 1 ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s | = | a ( t 2 ) a ( t 1 ) + 0 t 1 ( ϕ 1 ( t 2 ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t 2 ( ϕ 2 ( t 2 ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s + t 1 t 2 ( ϕ 1 ( t 2 ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t 2 ( ϕ 2 ( t 2 ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s 0 t 1 ( ϕ 1 ( t 1 ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t 1 ( ϕ 2 ( t 1 ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s | | a ( t 2 ) a ( t 1 ) + 0 t 1 ( ϕ 1 ( t 1 ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t 1 ( ϕ 2 ( t 1 ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s + 0 t 1 ( ϕ 1 ( t 1 ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . t 1 t 2 ( ϕ 2 ( t 1 ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s + t 1 t 2 ( ϕ 1 ( t 2 ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t 2 ( ϕ 2 ( t 1 ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s 0 t 1 ( ϕ 1 ( t 1 ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t 1 ( ϕ 2 ( t 1 ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x ( ψ 2 ( s ) ) ) ϕ 2 ( s ) | | a ( t 2 ) a ( t 1 ) | + 0 t 1 ( ϕ 1 ( t 1 ) ϕ 1 ( s ) ) α 1 Γ ( α ) | f 1 ( s , x ( ψ 1 ( s ) ) ) | ϕ 1 ( s ) d s . t 1 t 2 ( ϕ 2 ( t 1 ) ϕ 2 ( s ) ) β 1 Γ ( β ) | f 2 ( s , x ( ψ 2 ( s ) ) ) | ϕ 2 ( s ) d s
+ t 1 t 2 ( ϕ 1 ( t 2 ) ϕ 1 ( s ) ) α 1 Γ ( α ) | f 1 ( s , x ( ψ 1 ( s ) ) ) | ϕ 1 ( s ) d s . 0 t 2 ( ϕ 2 ( t 1 ) ϕ 2 ( s ) ) β 1 Γ ( β ) | f 2 ( s , x ( ψ 2 ( s ) ) ) | ϕ 2 ( s ) d s | a ( t 2 ) a ( t 1 ) | + 0 t 1 ( ϕ 1 ( t 1 ) ϕ 1 ( s ) ) α 1 Γ ( α ) | f 1 ( s , x ( ψ 1 ( s ) ) ) | ϕ 1 ( s ) d s . t 1 t 2 ( ϕ 2 ( t 1 ) ϕ 2 ( s ) ) β 1 Γ ( β ) | f 2 ( s , x ( ψ 2 ( s ) ) ) | ϕ 2 ( s ) d s + t 1 t 2 ( ϕ 1 ( t 1 ) ϕ 1 ( s ) ) α 1 Γ ( α ) | f 1 ( s , x ( ψ 1 ( s ) ) ) | ϕ 1 ( s ) d s . 0 t 2 ( ϕ 2 ( t 1 ) ϕ 2 ( s ) ) β 1 Γ ( β ) | f 2 ( s , x ( ψ 2 ( s ) ) ) | ϕ 2 ( s ) d s + t 1 t 2 ( ϕ 1 ( t 1 ) ϕ 1 ( s ) ) α 1 Γ ( α ) | f 1 ( s , x ( ψ 1 ( s ) ) ) | ϕ 1 ( s ) d s . t 1 t 2 ( ϕ 2 ( t 1 ) ϕ 2 ( s ) ) β 1 Γ ( β ) | f 2 ( s , x ( ψ 2 ( s ) ) ) | ϕ 2 ( s ) d s .
Then we obtain
| ( T x ) ( t 2 ) ( T x ) ( t 1 ) | | a ( t 2 ) a ( t 1 ) | + M 1 T α γ 1 Γ ( α γ 1 + 1 ) + b 1 r T α Γ ( α + 1 ) . M 2 ( ϕ 2 ( t 1 ) ϕ 2 ( t 2 ) ) β γ 2 Γ ( β γ 2 + 1 ) + b 2 r ( ϕ 2 ( t 1 ) ϕ 2 ( t 2 ) ) β Γ ( β + 1 ) + M 1 ( ϕ 1 ( t 1 ) ϕ 1 ( t 2 ) ) α γ 1 Γ ( α γ 1 + 1 ) + b 1 r ( ϕ 1 ( t 1 ) ϕ 1 ( t 2 ) ) α Γ ( α + 1 ) . M 2 ( ϕ 2 ( t 1 ) ϕ 2 ( t 2 ) ) β γ 2 Γ ( β γ 2 + 1 ) + b 2 r ( ϕ 2 ( t 1 ) ϕ 2 ( t 2 ) ) β Γ ( β + 1 ) + M 1 ( ϕ 1 ( t 1 ) ϕ 1 ( t 2 ) ) α γ 1 Γ ( α γ 1 + 1 ) + b 1 r ( ϕ 1 ( t 1 ) ϕ 1 ( t 2 ) ) α Γ ( α + 1 ) . M 2 ( ϕ 2 ( t 1 ) ϕ 2 ( t 2 ) ) β γ 2 Γ ( β γ 2 + 1 ) + b 2 r ( ϕ 2 ( t 1 ) ϕ 2 ( t 2 ) ) β Γ ( β + 1 ) .
Then
| ( T x ) ( t 2 ) ( T x ) ( t 1 ) | 0 a s t 2 t 1 .
This means that the functions from T S r are equi-continuous on J . Then, by the Arzela–Ascoli Theorem [14], the closure of T S r is compact.
It is clear that the set S r is nonempty, bounded, closed and convex.
Assumptions (ii) and (iv) imply that T : S r C ( J ) is a continuous operator in x .
Since all conditions of the Schauder fixed-point theorem hold, then T has a fixed point in S r .  □

3. Special Cases and Remarks

In Section 2, we prove an existence result for the functional quadratic ϕ integral equation of fractional order (2) which in turn gives the existence as well as the existence of many key integral and functional equations that arise in nonlinear analysis and its applications.
Corollary 1.
Let the assumptions (i)–(vii) be satisfied with ψ 1 = ψ 2 = ψ then there exists at least one solution for the functional quadratic ϕ integral equation of fractional order
x ( t ) = a ( t ) + 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( ψ ( s ) ) ) ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x ( ψ ( s ) ) ) ϕ 2 ( s ) d s , t J .
Corollary 2.
Let the assumptions (i)–(vii) be satisfied with ψ 1 = ψ 2 = ψ , ϕ 1 = ϕ 2 = ϕ and α = β then there exists at least one solution for the functional quadratic ϕ integral equation of fractional order
x ( t ) = a ( t ) + 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( ψ ( s ) ) ) ϕ 1 ( s ) d s 2 t J .
Corollary 3.
Let the assumptions (i)–(vii) be satisfied with ϕ 1 ( t ) = ϕ 2 ( t ) = ϕ ( t ) , ψ 1 ( t ) = ψ 2 ( t ) = t then there exists at least one solution for the functional quadratic ϕ integral equation of fractional order
x ( t ) = a ( t ) + 0 t ( ϕ ( t ) ϕ ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( s ) ) ϕ ( s ) d s . 0 t ( ϕ ( t ) ϕ ( s ) ) β 1 Γ ( β ) f 2 ( s , x ( s ) ) ϕ ( s ) d s , t J .
Corollary 4.
Let the assumptions (i)–(vii) be satisfied with ϕ 1 ( t ) = ϕ 2 ( t ) = t m , m > 0 then there exists at least one solution for the Erdélyi-Kober functional quadratic equation of fractional order
x ( t ) = a ( t ) + 0 t ( t m s m ) α 1 Γ ( α ) f 1 ( s , x ( ψ 1 ( s ) ) ) m s m 1 d s . 0 t ( t m s m ) β 1 Γ ( β ) f 2 ( s , x ( ψ 2 ( s ) ) ) m s m 1 d s , t J .
Corollary 5.
Let the assumptions (i)–(vii) be satisfied with ϕ 1 ( t ) = ϕ 2 ( t ) = t m , m > 0 and ψ 1 ( t ) = ψ 2 ( t ) = t then there exists at least one solution for the Erdélyi-Kober functional quadratic equation of fractional order
x ( t ) = a ( t ) + 0 t ( t m s m ) α 1 Γ ( α ) f 1 ( s , x ( s ) ) m s m 1 d s . 0 t ( t m s m ) β 1 Γ ( β ) f 2 ( s , x ( s ) ) m s m 1 d s , t J .
Corollary 6.
Let the assumptions (i)–(vii) be satisfied with ϕ 1 ( t ) = ϕ 2 ( t ) = t , ψ 1 = ψ 2 = ψ then there exists at least one solution for the functional quadratic integral equation of fractional order
x ( t ) = a ( t ) + 0 t ( t s ) α 1 Γ ( α ) f 1 ( s , x ( ψ ( s ) ) ) d s . 0 t ( t s ) β 1 Γ ( β ) f 2 ( s , x ( ψ ( s ) ) ) d s , t J .
The same result is obtained in [15].
Corollary 7.
Let the assumptions (i)–(vii) be satisfied with ϕ 1 ( t ) = ϕ 2 ( t ) = t , ψ 1 ( t ) = ψ 2 ( t ) = t then there exists at least one solution for the functional quadratic integral equation of fractional order
x ( t ) = a ( t ) + 0 t ( t s ) α 1 Γ ( α ) f 1 ( s , x ( s ) ) d s . 0 t ( t s ) β 1 Γ ( β ) f 2 ( s , x ( s ) ) d s , t J .
The same result is obtained in [7].
Letting α , β 1 , we obtain
Corollary 8.
Let the assumptions (i)–(vii) be satisfied with α , β 1 , and ψ 1 ( t ) = ψ 2 ( t ) = t and letting α , β 1 , then there exists at least one solution for the functional quadratic integral equation of fractional order
x ( t ) = a ( t ) + 0 t f 1 ( s , x ( s ) ) d s . 0 t f 2 ( s , x ( s ) ) d s , t J .
The same result is obtained in [13]. When a ( t ) = 0 , f 1 = f 2 , we have
x ( t ) = 0 t f 1 ( s , x ( s ) ) d s , t J .

4. Properties of Solutions

In this section, we give the sufficient conditions for the uniqueness of the solution of the quadratic integral Equation (2) and study some of its properties.

4.1. Uniqueness of Solutions of QFIE (2)

Let us assume the following assumptions
(i*)
a : J R + is continuous and sup t J | a ( t ) | = k ;
(ii*)
f 1 , f 2 : J × R R + satisfy the Carathéodory condition (i.e., measurable in t for all x R and continuous in x for all t J ).
(iii*)
There exist two nonnegative constants λ 1 , λ 2 L 1 such that
| f i ( t , x ) f i ( t , y ) | λ i | x y | , x , y R , t J
(iv*)
ϕ i : J J , i = 1 , 2 are increasing and absolutely continuous.
(v*)
ψ i : J J , i = 1 , 2 are continuous.
(vi*)
m i ( t ) = | f i ( t , 0 ) | , t J , I ϕ i γ i m i M i , i = 1 , 2 γ 1 α , γ 2 β .
(vii*)
r is a positive solution of the inequality:
k + M 1 M 2 T α + β γ 1 γ 2 Γ ( α γ 1 + 1 ) Γ ( β γ 2 + 1 ) + b 1 M 2 r T α + β γ 2 Γ ( α + 1 ) Γ ( β γ 2 + 1 ) + b 2 M 1 r T β + α γ 1 Γ ( β + 1 ) Γ ( α γ 1 + 1 ) + b 1 b 2 r 2 T α + β Γ ( α + 1 ) Γ ( β + 1 ) r .
Theorem 3.
Let the assumptions (i)–(vii) be satisfied. If
λ 2 λ 1 r T β + α Γ ( β + 1 ) Γ ( α + 1 ) + M 1 λ 2 T α + β γ 1 Γ ( α γ 1 + 1 ) Γ ( β + 1 ) + λ 2 λ 1 r T β + α Γ ( β + 1 ) Γ ( α + 1 ) + M 2 λ 1 T α + β γ 2 Γ ( β γ 2 + 1 ) Γ ( α + 1 ) < 1 ,
then the quadratic integral Equation (2) has a unique positive solution x C ( J ) .
Proof. 
| f i ( t , x ) f i ( t , 0 ) | λ i | x 0 | | f i ( t , x ) | | f i ( t , 0 ) | + λ i | x | m i ( t ) + λ i | x | , m i ( t ) = | f i ( t , 0 ) | , x R , t J .
Equation (2) can be written as
x ( t ) = a ( t ) + I ϕ 1 α f 1 ( t , x ( ψ 1 ( t ) ) ) I ϕ 2 β f 2 ( t , x ( ψ 2 ( t ) ) ) = a ( t ) + I ϕ 1 α γ 1 I ϕ 1 γ 1 f 1 ( t , x ( ψ 1 ( t ) ) ) I ϕ 1 β γ 2 I ϕ 2 γ 2 f 2 ( t , x ( ψ 2 ( t ) ) ) , t J .
Define the operator F by:
F x ( t ) = a ( t ) + 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s , t J .
The operator F maps C ( J ) into itself. For this, let t 1 , t 2 J , t 1 < t 2 such that | t 2 t 1 | δ , then in similar way as before using the condition (vi) and the relation (3), we can prove that
| ( F x ) ( t 2 ) ( F x ) ( t 1 ) | 0 a s t 2 t 1 .
Which proves that the operator F is continuous.
Now, we will prove that F is a contraction. Let x , y C ( J ) , then we have
| F x ( t ) F y ( t ) | = | 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , x ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , y ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , y ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s + 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , y ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ( s , x ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ( s , y ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s | 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) | f 1 ( s , x ( ψ 1 ( s ) ) ) | ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) | f 2 ( s , x ( ψ 2 ( s ) ) ) f 2 ( s , y ( ψ 2 ( s ) ) ) | ϕ 2 ( s ) d s
+ 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) | f 1 ( s , x ( ψ 1 ( s ) ) ) f 1 ( s , y ( ψ 1 ( s ) ) ) | ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) | f 2 ( s , y ( ψ 2 ( s ) ) ) | ϕ 2 ( s ) d s λ 2 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) | f 1 ( s , x ( ψ 1 ( s ) ) ) | ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) | x ( ψ 2 ( s ) ) y ( ψ 2 ( s ) ) | ϕ 2 ( s ) d s + λ 1 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) | x ( ψ 1 ( s ) ) y ( ψ 1 ( s ) ) | ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) | f 2 ( s , y ( ψ 2 ( s ) ) ) | ϕ 2 ( s ) d s λ 2 | | x y | | 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) | f 1 ( s , x ( ψ 1 ( s ) ) ) | ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) ϕ 2 ( s ) d s + λ 1 | | x y | | 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) | f 2 ( s , y ( ψ 2 ( s ) ) ) | ϕ 2 ( s ) d s λ 2 | | x y | | Γ ( β + 1 ) 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) | f 1 ( s , x ( ψ 1 ( s ) ) ) | ϕ 1 ( s ) d s + λ 1 | | x y | | Γ ( α + 1 ) 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) | f 2 ( s , y ( ψ 2 ( s ) ) ) | ϕ 2 ( s ) d s λ 2 T β | | x y | | Γ ( β + 1 ) T α λ 1 r Γ ( α + 1 ) + M 1 T α γ 1 Γ ( α γ 1 + 1 ) + λ 1 T α | | x y | | Γ ( α + 1 ) M 2 T β γ 2 Γ ( β γ 2 + 1 ) + λ 2 T β r Γ ( β + 1 ) [ λ 2 λ 1 r T β + α Γ ( β + 1 ) Γ ( α + 1 ) + M 1 λ 2 T α + β γ 1 Γ ( α γ 1 + 1 ) Γ ( β + 1 ) + λ 2 λ 1 r T β + α Γ ( β + 1 ) Γ ( α + 1 ) + M 2 λ 1 T α + β γ 2 Γ ( β γ 2 + 1 ) Γ ( α + 1 ) ] | | x y | | .
Then
| F x ( t ) F y ( t ) | Λ | | x y | | , Λ ( 0 , 1 ) ,
where
Λ = λ 2 λ 1 r T β + α Γ ( β + 1 ) Γ ( α + 1 ) + M 1 λ 2 T α + β γ 1 Γ ( α γ 1 + 1 ) Γ ( β + 1 ) + λ 2 λ 1 r T β + α Γ ( β + 1 ) Γ ( α + 1 ) + M 2 λ 1 T α + β γ 2 Γ ( β γ 2 + 1 ) Γ ( α + 1 ) .
Then F is a contraction. Therefore, by the Banach contraction fixed point Theorem [8], the operator F has a unique fixed point x C ( J ) (i.e., the quadratic integral Equation (2) has a unique solution x C ( J ) ). which completes the prLet the assumptions of Theorem 1 be satisfied. Furthermoreoof.  □

4.2. Maximal and Minimal Solutions

Definition 2
([16]). Let q ( t ) be a solution x ( t ) of (2) Then q ( t ) is said to be a maximal solution of (2) if every solution of (2) on J satisfies the inequality x ( t ) q ( t ) , t J . A minimal solution s ( t ) can be defined in a similar way by reversing the above inequality, i.e., x ( t ) s ( t ) , t J .
We need the following lemma to prove the existence of maximal and minimal solutions of (2).
Lemma 1.
Let f i ( t , x ) , i = 1 , 2 satisfy the assumptions in Theorem 2 and let x ( t ) , y ( t ) be continuous functions on J satisfying
x ( t ) a ( t ) + I ϕ 1 α f 1 ( t , x ( ψ 1 ( t ) ) ) I ϕ 2 β f 2 ( t , x ( ψ 2 ( t ) ) ) y ( t ) a ( t ) + I ϕ 1 α f 1 ( t , y ( ψ 1 ( t ) ) ) I ϕ 2 β f 2 ( t , y ( ψ 2 ( t ) ) )
where one of them is strict.
Suppose f i ( t , x ) is a nondecreasing function in x . Then
x ( t ) < y ( t ) , t J .
Proof. 
Let the conclusion (4) be false; then there exists t 1 such that
x ( t 1 ) = y ( t 1 ) , t 1 > 0
and
x ( t ) < y ( t ) , 0 < t < t 1 .
From the monotonicity of the function f i in x , we obtain
x ( t 1 ) a ( t 1 ) + I ϕ 1 α f 1 ( t 1 , x ( ψ 1 ( t 1 ) ) ) I ϕ 2 β f 2 ( t 1 , x ( ψ 2 ( t 1 ) ) ) < a ( t 1 ) + I ϕ 1 α f 1 ( t 1 , x ( ψ 1 ( t 1 ) ) ) I ϕ 2 β f 2 ( t 1 , x ( ψ 2 ( t 1 ) ) ) < y ( t 1 ) .
This contradicts the fact that x ( t 1 ) = y ( t 1 ) ; then
x ( t ) < y ( t ) , t J .
Theorem 4.
Let the assumptions of Theorem 1 be satisfied. Furthermore, if f i , i = 1 , 2 is a nondecreasing function in x , then there exist maximal and minimal solutions of (2).
Proof. 
Firstly, we shall prove the existence of the maximal solution of (2). Let ϵ > 0 be true. Now consider the fractional-order quadratic functional integral equation
x ϵ ( t ) = a ( t ) + 0 t ( ϕ 1 ( t ) ϕ 1 ( s ) ) α 1 Γ ( α ) f 1 ϵ ( s , x ϵ ( ψ 1 ( s ) ) ) ϕ 1 ( s ) d s . 0 t ( ϕ 2 ( t ) ϕ 2 ( s ) ) β 1 Γ ( β ) f 2 ϵ ( s , x ϵ ( ψ 2 ( s ) ) ) ϕ 2 ( s ) d s , t J ,
where
f i ϵ ( t , x ϵ ( ψ i ( t ) ) ) = f i ( t , x ϵ ( ψ i ( t ) ) ) + ϵ , i = 1 , 2 .
Clearly the functions f i ϵ ( t , x ϵ ) , i = 1 , 2 satisfy assumptions (ii), (iv) and
| f i ϵ ( t , x ϵ ) | m i ( t ) + ϵ + b i | x | = m i ( t ) + b | x | .
Therefore, the quadratic integral Equation (5) has a continuous solution x ϵ ( t ) according to Theorem 2.
Let ϵ 1 and ϵ 2 be such that 0 < ϵ 2 < ϵ 1 < ϵ . Then
x ϵ 1 ( t ) = a ( t ) + I ϕ 1 α f 1 ϵ 1 ( t , x ϵ 1 ( ψ 1 ( t ) ) ) I ϕ 2 β f 2 ϵ 1 ( t , x ϵ 1 ( ψ 2 ( t ) ) ) ,
x ϵ 1 ( t ) = a ( t ) + I ϕ 1 α f 1 ϵ 1 ( t , x ϵ 1 ( ψ 1 ( t ) ) ) I ϕ 2 β f 2 ϵ 1 ( t , x ϵ 1 ( ψ 2 ( t ) ) ) , = a ( t ) + I ϕ 1 α ( f 1 ( t , x ϵ 1 ( ψ 1 ( t ) ) ) + ϵ 1 ) I ϕ 2 β ( f 2 ( t , x ϵ 1 ( ψ 2 ( t ) ) ) + ϵ 1 ) , > a ( t ) + I ϕ 1 α ( f 1 ( t , x ϵ 1 ( ψ 1 ( t ) ) ) + ϵ 2 ) I ϕ 2 β ( f 2 ( t , x ϵ 1 ( ψ 2 ( t ) ) ) + ϵ 2 ) ,
x ϵ 2 ( t ) = a ( t ) + I ϕ 1 α ( f 1 ( t , x ϵ 2 ( ψ 1 ( t ) ) ) + ϵ 2 ) I ϕ 2 β ( f 2 ( t , x ϵ 2 ( ψ 2 ( t ) ) ) + ϵ 2 ) .
Applying Lemma 1, (6) and (7) then we obtain
x ϵ 2 ( t ) < x ϵ 1 ( t ) f o r t J .
As shown before in the proof of Theorem 1, the family of functions x ϵ ( t ) defined by (5) is uniformly bounded and of equi-continuous functions. Hence by the Arzela–Ascoli Theorem, there exists a decreasing sequence ϵ n such that ϵ n 0 as n , and lim n x ϵ n ( t ) exists uniformly in J . We denote this limit by q ( t ) . From the continuity of the functions f 1 , ϵ n and f 2 , ϵ n in the second argument, we obtain
q ( t ) = lim n x ϵ n ( t ) = a ( t ) + I ϕ 1 α f 1 ( t , q ( ψ 1 ( t ) ) ) I ϕ 2 β f 2 ( t , q ( ψ 2 ( t ) ) )
which proves that q ( t ) is a solution of (2).
Finally, we shall show that q ( t ) is maximal solution of (2). To do this, let x ( t ) be any solution of (1). Then
x ϵ ( t ) = a ( t ) + I ϕ 1 α f 1 ϵ ( t , x ϵ ( ψ 1 ( t ) ) ) I ϕ 2 β f 2 ϵ ( t , x ϵ ( ψ 2 ( t ) ) ) > a ( t ) + I ϕ 1 α f 1 ( t , x ϵ ( ψ 1 ( t ) ) ) I ϕ 2 β f 2 ( t , x ϵ ( ψ 2 ( t ) ) ) x ( t ) = a ( t ) + I ϕ 1 α f 1 ( t , x ( ψ 1 ( t ) ) ) I ϕ 2 β f 2 ( t , x ( ψ 2 ( t ) ) )
Applying Lemma 1, we obtain
x ϵ ( t ) > x ( t ) f o r t J .
From the uniqueness of the maximal solution (see [16,17]), it is clear that x ϵ ( t ) tends to q ( t ) uniformly in t J a s ϵ 0 .
In a similar way we can prove that there exists a minimal solution of (2).

5. Conclusions

Fractional integral differential equations have been studied in many studies and monographs (see [18,19,20,21]). Especially quadratic integral equations of fractional order, for example [7,10,15,18,20].
In this work, we discussed a ϕ fractional order quadratic integral equation. Some exiting results were established by constructing an iterative scheme in aim of proving the analogous result for the Carathéodory theorem [14], and by applying Banach contraction mapping to demonstrate the existence of the unique solution of that equation. Furthermore, the existence of maximal and minimal solutions of the ϕ fractional order quadratic integral equation is proved.

Author Contributions

Author Contributions: Conceptualization, A.M.A.E.-S., H.H.G.H. and S.M.A.-I. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Acknowledgments

The authors thank the editors and the reviewers for their useful comments that improved our work.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Argyros, I.K. Quadratic equations and applications to Chandrasekhar’s and related equations. Bull. Austral. Math. Soc. 1985, 32, 275–292. [Google Scholar] [CrossRef] [Green Version]
  2. Argyros, I.K. On a class of quadratic integral equations with perturbations. Funct. Approx. 1992, 20, 51–63. [Google Scholar]
  3. Banas, J.; Lecko, M.; El-Sayed, W.G. Existence theorems of some quadratic integral equation. J. Math. Anal. Appl. 1998, 227, 276–279. [Google Scholar] [CrossRef] [Green Version]
  4. Banaś, J.; Martinon, A. Monotonic Solutions of a quadratic Integral Equation of Volterra Type. Comput. Math. Appl. 2004, 47, 271–279. [Google Scholar] [CrossRef] [Green Version]
  5. Banaś, J.; Caballero, J.; Rocha, J.; Sadarangani, K. Monotonic Solutions of a Class of Quadratic Integral Equations of Volterra Type. Comput. Math. Appl. 2005, 49, 943–952. [Google Scholar] [CrossRef] [Green Version]
  6. Chandrasekhar, S. Radiative Transfer; Oxford University Press: London, UK, 1950. [Google Scholar]
  7. El-Sayed, A.M.A.; Mohamed, M.S.; Mohamed, F.F.S. Existence of positive continuous solution of a quadratic integral equation of fractional orders. J. Fract. Calc. Appl. 2011, 1, 1–7. [Google Scholar]
  8. Goebel, K.; Kirk, W.A. Topics in Metric Fixed Point Theory; Cambridge University Press: Cambridge, UK, 1990. [Google Scholar]
  9. Hashem, H.H.G. On the solution of a generalized fractional order integral equation and some applications. J. Fract. Calc. Appl. 2015, 6, 120–130. [Google Scholar]
  10. Hashem, H.H.G.; El-Sayed, A.M.A. Existence results for a quadratic integral equation of fractional order by a certain function. Fixed Point Theory 2020, 21, 181–190. [Google Scholar] [CrossRef]
  11. Hashem, H.H.G.; Zaki, M.S. Carathéodory theorem for quadratic integral equations of ErdyéliKober type. J. Fract. Calc. Appl. 2013, 4, 1–8. [Google Scholar]
  12. Caballero, J.; Mingarelli, A.B.; Sadarangani, K. Existence of solutions of an integral equation of Chandrasekhar type in the theory of radiative transfer. Electr. J. Differ. Equ. 2006, 57, 1–11. [Google Scholar]
  13. El-Sayed, A.M.A.; Hashem, H.H.G. Carathèodory type theorem for a nonlinear quadratic integral equation. Math. Sci. Res. J. 2008, 12, 71–95. [Google Scholar]
  14. Curtain, R.F.; Pritchard, A.J. Functional Analysis in Modern Applied Mathematics; Academic Press: London, UK; Cambridge, MA, USA, 1977. [Google Scholar]
  15. El-Sayed, A.M.A.; Hashem, H.H.G.; Omar, Y.M.Y. Positive continuous solution of a quadratic integral equation of fractional orders. Math. Sci. Lett. 2013, 2, 1–9. [Google Scholar] [CrossRef]
  16. Lakshmikantham, V.; Leela, S. Differential and Integral Inequalities; Academic Press: New York, NY, USA; London, UK, 1969; Volume 1. [Google Scholar]
  17. Rao, M.R. Ordinary Differential Equations; East-West Press Pvt Ltd., New Delhi-Madras: New Delhi, India, 1980. [Google Scholar]
  18. Banaś, J.; Rzepka, B. Monotonic solutions of a quadratic integral equations of fractional order. J. Math. Anal. Appl. 2007, 332, 1370–1378. [Google Scholar] [CrossRef] [Green Version]
  19. El-Sayed, A.M.A.; Gaafar, F.M.; Hashem, H.H.G. On the maximal and minimal solutions of arbitrary-orders nonlinear functional integral and differenbtial equations. Math. Sci. Res. J. 2004, 8, 336–348. [Google Scholar]
  20. El-Sayed, A.M.A.; Hashem, H.H.G. Existence results for nonlinear quadratic functional integral equations of fractional order. Miskolc Math. Notes 2013, 14, 79–87. [Google Scholar] [CrossRef]
  21. El-Sayed, A.M.A.; Hashem, H.H.G.; Al-Issa, S.M. An Implicit Hybrid Delay Functional Integral Equation: Existence of Integrable Solutions and Continuous Dependence. Mathematics 2021, 9, 3234. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

El-Sayed, A.M.A.; Hashem, H.H.G.; Al-Issa, S.M. Analytical Study of a ϕ− Fractional Order Quadratic Functional Integral Equation. Foundations 2022, 2, 167-183. https://doi.org/10.3390/foundations2010010

AMA Style

El-Sayed AMA, Hashem HHG, Al-Issa SM. Analytical Study of a ϕ− Fractional Order Quadratic Functional Integral Equation. Foundations. 2022; 2(1):167-183. https://doi.org/10.3390/foundations2010010

Chicago/Turabian Style

El-Sayed, Ahmed M. A., Hind H. G. Hashem, and Shorouk M. Al-Issa. 2022. "Analytical Study of a ϕ− Fractional Order Quadratic Functional Integral Equation" Foundations 2, no. 1: 167-183. https://doi.org/10.3390/foundations2010010

Article Metrics

Back to TopTop