Next Article in Journal
On the Truncated Multidimensional Moment Problems in Cn
Next Article in Special Issue
Asymptotic Behavior of Resolvents of a Convergent Sequence of Convex Functions on Complete Geodesic Spaces
Previous Article in Journal
The Influence Factor Analysis of Symmetrical Half-Bridge Power Converter through Regression, Rough Set and GM(1,N) Model
Previous Article in Special Issue
Approximation of Fixed Points for Enriched Suzuki Nonexpansive Operators with an Application in Hilbert Spaces
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

New Fixed Point Theorem on Triple Controlled Metric Type Spaces with Applications to Volterra–Fredholm Integro-Dynamic Equations

by
Kalpana Gopalan
1,*,
Sumaiya Tasneem Zubair
1,
Thabet Abdeljawad
2,3,* and
Nabil Mlaiki
2
1
Department of Mathematics, Sri Sivasubramaniya Nadar College of Engineering, Kalavakkam, Chennai 603 110, India
2
Department of Mathematics and Sciences, Prince Sultan University, P.O. Box 66833, Riyadh 11586, Saudi Arabia
3
Department of Medical Research, China Medical University, Taichung 40402, Taiwan
*
Authors to whom correspondence should be addressed.
Axioms 2022, 11(1), 19; https://doi.org/10.3390/axioms11010019
Submission received: 19 November 2021 / Revised: 11 December 2021 / Accepted: 16 December 2021 / Published: 2 January 2022
(This article belongs to the Special Issue Theory and Application of Fixed Point)

Abstract

:
The objective of the research article is two-fold. Firstly, we present a fixed point result in the context of triple controlled metric type spaces with a distinctive contractive condition involving the controlled functions. Secondly, we consider an initial value problem associated with a nonlinear Volterra–Fredholm integro-dynamic equation and examine the existence and uniqueness of solutions via fixed point theorem in the setting of complete triple controlled metric type spaces. Furthermore, the theorem is applied to illustrate the existence of a unique solution to an integro-dynamic equation.

1. Introduction

In science and technology, the solution of integral and integro-differential equations plays a significant role. A differential equation, an integral equation, or an integro-differential equation is obtained whenever a physical system is modeled in the differential context. On the other hand, Hilger [1] first introduced a time scale (or a measure chain) in 1988. Several researchers have built on different perspectives of the theory as Hilger developed the concepts of a derivative and integral on a time scale [2,3,4,5,6]. It has been demonstrated that time scales can be applied to any area that can be represented using discrete or continuous models.
Fixed point theory provides a basis in solving existence and uniqueness problems involving all types of differential and integral equations. Many researchers have examined the question of the existence and uniqueness of integrodifferential equations (see [7,8,9,10,11,12,13,14,15,16]). Recently, the authors in [17] discussed a particular kind of integro-dynamic equation.
Fixed point theory, on the other hand, is a significant idea with multiple applications in diverse fields of mathematics. The existence of fixed points has broad implications in a variety of disciplines of analysis and topology. It has its own implications and has progressed immensely over the last one and half centuries.
Banach’s contraction principle, however, in the case of a metric space setting, is the basis of metric fixed point theory. Banach’s contraction principle is a very useful tool in nonlinear analysis since it is an easy and flexible tool for defining existence and uniqueness theorems for operator equations. This fact prompted researchers to seek to expand and extrapolate it in order to broaden its scope of application as far as possible.
In recent times, we have seen a number of generalized metric spaces, such as extended b-metric spaces [18], controlled metric type spaces [19], double-controlled metric type spaces [20], controlled b-Branciari metric type spaces [21], triple controlled metric type spaces [22], and extended hexagonal b-metric spaces [23]; several authors concentrated their attention in order to acquire fixed point theorems in these kinds of spaces.
Although only a few investigations have been carried out on the existence and uniqueness of solutions of integro-dynamic equations, the main purpose of this research is to discuss the existence and uniqueness of Volterra–Fredholm integro-dynamic equations on time scales. We analyze the problem in the framework of complete triple controlled metric type spaces and apply a fixed point theorem with a contractive condition involving the controlled functions.

2. Preliminaries

We begin with a brief overview of the fundamental concepts of time scales.
Definition 1
([4,7]). 1. A time scale is an arbitrary non-empty closed subset of the real numbers. A time scale is usually denoted by the symbol T .
2. For t T , the forward jump operator σ : T T is defined as
σ ( t ) = inf { s T : s > t } .
3. For t T , the backward jump operator ρ : T T is defined as
ρ ( t ) = sup { s T : s < t } .
4. We set
inf = sup T , sup = inf T .
Remark 1
([17]). It is easy to see that, for any t T , we have σ ( t ) t and ρ ( t ) t .
Definition 2
([4,7]). We define the set T K as
T K = T ( ρ ( sup T ) , sup T ] , if sup T < T , o t h e r w i s e
Definition 3
([4,7]). Let g : T R be a function and let t T K . We define g Δ ( t ) to be the number, provided that it exists, as follows: for any ϵ > 0 , there is a neighborhood U of t, U = ( t δ , t + δ ) T for some δ > 0 , such that
g ( σ ( t ) ) g ( s ) g Δ ( t ) ( σ ( t ) s ) ϵ | σ ( t ) s | for all s U , s σ ( t ) s .
g Δ ( t ) is called the delta or Hilger derivative of g at t.
g is the delta or Hilger differentiable or, in brielf, differentiable in T K if g Δ ( t ) exists for all t T K .
The function g Δ : T R is said to be the delta derivative or Hilger derivative or, in brief, the derivative, of g in T K .
Remark 2
([17]). If T = R , then the delta derivative coincides with the classical derivative. Note that the delta derivative is well-defined.
It is worth noting that the nabla derivative, which is given in [7], is another form of derivative defined on time scales. We suggest some recent research upon these two types of fractional-order derivatives in [4,7,24].
Definition 4
([4,7]). A function G : T R is called a delta antiderivative of g : T R provided that G Δ ( t ) = g ( t ) holds for all t T K . Then, the delta integral of g is defined by
a b g ( t ) Δ t = G ( b ) G ( a ) .
Eventually, we define the monomials on time scales and consider a few of its properties.
Definition 5
([4,5]). The following is a recursive definition of monomials on time scales.
h 0 ( t , α ) = 1 , h 1 ( t , α ) = α t h 0 ( t , α ) Δ ( t ) = t α , h k ( t , α ) = α t h k 1 ( t , α ) Δ ( t ) ,
for k 2 .
Theorem 1
([5]). For each k N 0 , the inequality
h k ( t , α ) ( t α ) k k !
holds for each t , α T , t α .
On the other hand, M. Frechet [25] developed the well-known conception of metric space as an outgrowth of conventional distance. In the literature, the notion of metric space is enlarged in a number of different ways (for instance, see [26,27,28]). The definition of triple controlled metric type space is described below, which is used extensively in our main results.
Definition 6
([22]). Let X be a non-empty set and R , S , T : X × X [ 1 , ) .A function d T : X × X [ 0 , ) is called a triple controlled metric type if it satisfies:
( 1 ) d T ( w , v ) = 0 if and only if w = v for all w , v X ;
( 2 ) d T ( w , v ) = d T ( v , w ) for all w , v X ;
( 3 ) d T ( w , v ) R ( w , e ) d T ( w , e ) + S ( e , f ) d T ( e , f ) + T ( f , v ) d T ( f , v )
for all w , v X and for all distinct points e , f X , each distinct from w and v, respectively. The pair ( X , d T ) is called a triple controlled metric type space (in short, TCMTS ).
The extension of the rectangular inequality is the most important feature of triple controlled metric type spaces. The recent research pertaining to TCMTS can be found at [22,29,30,31].
Example 1
([22]). Let X = P Q where P = { 1 n : n N } and Q is the set of all positive integers.Define d T : X × X [ 0 , ) such that ’ d T ’ is symmetric and, for all w , v X
d T ( w , v ) = 0 , if w = v w + 8 , if w P , v { 6 , 7 } or w { 6 , 7 } , v P 2 , o t h e r w i s e
Let R , S , T : X × X [ 1 , ) be defined as
R ( w , v ) = 1 w , if w P , v Q 1 , o t h e r w i s e
S ( w , v ) = w + v , if w P , v Q 2 , o t h e r w i s e
and
T ( w , v ) = w + 1 , if both w , v P or w , v Q 3 2 , o t h e r w i s e
Therefore, ( X , d T ) is a TCMTS .
Remark 3.
By employing the same function(s), a triple controlled metric type becomes a controlled b-Branciari metric type space. In fact, the converse is not true (see Example 3.2 in [22]).
Contractive mappings have aroused renewed interest, known for their ability to reduce the number of iterations required when working with numerical calculations of fixed point type problems. In the next section, we establish a fixed point theorem in the context of TCMTS under a new contractive condition employing the controlled functions.

3. Fixed Point Theorem

Theorem 2.
Let ( X , d T ) be a complete triple controlled metric type space and A : X X be a self mapping on X. Assume that R ( w , v ) S ( w , v ) > T ( w , v ) for any w , v X and there exists β [ 0 , 1 ) such that
d T ( A w , A v ) β R ( w , v ) S ( w , v ) T ( w , v ) d T ( w , v ) , for all w , v X .
For each w 0 X and w n = A n w 0 , n N , we have
sup m lim n T ( w n , w m ) R ( w n , w n + 1 ) S ( w n 1 , w n ) T ( w n 1 , w n ) < 1 β 2
and
sup m lim n T ( w n , w m ) R ( w n , w n + 1 ) S ( w n + 1 , w n + 2 ) T ( w n , w n + 1 ) < 1 β 2 ,
then, w n w as n . Moreover, if
lim n + R ( w , w n ) S ( w , w n ) T ( w , w n ) and lim n + R ( w n , w ) S ( w n , w ) T ( w n , w )
exist and are finite, then A has a fixed point in X. Furthermore, A has a unique fixed point if
R ( A w , A v ) S ( A w , A v ) T ( A w , A v ) < 1 β ,
for any two fixed points w , v X of A.
Proof. 
Let w 0 X and define an iterative sequence { w n } by
w 0 , A w 0 = w 1 , A w 1 = w 2 w 2 = A 2 w 0 , , w n + 1 = A n + 1 w 0 .
Consider
d T ( w n , w n + 1 ) = d T ( A w n 1 , A w n ) β R ( w n 1 , w n ) S ( w n 1 , w n ) T ( w n 1 , w n ) d T ( w n 1 , w n ) β n l = 1 n R ( w l 1 , w l ) S ( w l 1 , w l ) T ( w l 1 , w l ) d T ( w 0 , w 1 ) .
By using a similar method, we obtain
d T ( w n , w n + 2 ) β n l = 1 n R ( w l 1 , w l + 1 ) S ( w l 1 , w l + 1 ) T ( w l 1 , w l + 1 ) d T ( w 0 , w 2 ) .
It is indeed significant to note that if we take the limit of each of the inequalities above as n , we obtain
lim n d T ( w n , w n + 1 ) = lim n d T ( w n , w n + 2 ) = 0 .
If w n = w m for some n m , i.e., for m > n , we have A m n ( w n ) = w n . Choose v = w n and q = m n , and then we obtain A q v = v , i.e., v is a periodic point of A. Thus,
d T ( v , A v ) = d T ( A q v , A q + 1 v ) β q l = 1 q R ( A l 1 w , A l w ) S ( A l 1 w , A l w ) T ( A l 1 w , A l w ) d T ( w , A w ) .
As β ( 0 , 1 ) , we obtain d T ( v , A v ) = 0 . Hence, v is a fixed point of A.
Assume that w n w m for some n m . To verify that { w n } is a Cauchy sequence, we need to show lim n , m d T ( w n , w m ) = 0 . Consider d T ( w n , w m ) with odd m; we obtain the desired result by continuously applying the controlled rectangular inequality.
d T ( w n , w m ) R ( w n , w n + 1 ) d T ( w n , w n + 1 ) + S ( w n + 1 , w n + 2 ) d T ( w n + 1 , w n + 2 ) + T ( w n + 2 , w m ) d T ( w n + 2 , w m ) R ( w n , w n + 1 ) d T ( w n , w n + 1 ) + S ( w n + 1 , w n + 2 ) d T ( w n + 1 , w n + 2 ) + i = n 2 + 1 m 1 2 R ( w 2 i , w 2 i + 1 ) d T ( w 2 i , w 2 i + 1 ) j = n 2 + 1 i T ( w 2 j , w m ) + i = n 2 + 1 m 3 2 S ( w 2 i + 1 , w 2 i + 2 ) d T ( w 2 i + 1 , w 2 i + 2 ) j = n 2 + 1 i T ( w 2 j , w m ) i = n 2 m 1 2 R ( w 2 i , w 2 i + 1 ) d T ( w 2 i , w 2 i + 1 ) j = n 2 i T ( w 2 j , w m ) + i = n 2 m 3 2 S ( w 2 i + 1 , w 2 i + 2 ) d T ( w 2 i + 1 , w 2 i + 2 ) j = n 2 i T ( w 2 j , w m ) i = n 2 m 1 2 R ( w 2 i , w 2 i + 1 ) j = n 2 i T ( w 2 j , w m ) β 2 i l = 1 2 i R ( w l 1 , w l ) S ( w l 1 , w l ) T ( w l 1 , w l ) d T ( w 0 , w 1 ) + i = n 2 m 3 2 S ( w 2 i + 1 , w 2 i + 2 ) j = n 2 i T ( w 2 j , w m ) β 2 i + 1 l = 1 2 i + 1 R ( w l 1 , w l ) S ( w l 1 , w l ) T ( w l 1 , w l ) d T ( w 0 , w 1 ) .
Let
a i = j = n 2 i T ( w 2 j , w m ) β 2 i l = 1 2 i + 1 R ( w l 1 , w l ) l = 1 2 i S ( w l 1 , w l ) T ( w l 1 , w l ) d T ( w 0 , w 1 )
and
b i = j = n 2 i T ( w 2 j , w m ) β 2 i + 1 l = 1 2 i + 1 R ( w l 1 , w l ) T ( w l 1 , w l ) l = 1 2 i + 2 S ( w l 1 , w l ) d T ( w 0 , w 1 ) .
Through using Equation (4) and Equation (5), we obtain
sup m 1 lim i a i + 1 a i = sup m 1 lim i β 2 T ( w 2 i + 2 , w m ) R ( w 2 i + 2 , w 2 i + 3 ) S ( w 2 i + 1 , w 2 i + 2 ) T ( w 2 i + 1 , w 2 i + 2 ) < 1
and
sup m 1 lim i b i + 1 b i = sup m 1 lim i β 2 T ( w 2 i + 2 , w m ) R ( w 2 i + 2 , w 2 i + 3 ) S ( w 2 i + 3 , w 2 i + 4 ) T ( w 2 i + 2 , w 2 i + 3 ) < 1 .
Thereby, we infer
i = n 2 + β 2 i j = n 2 i T ( w 2 j , w m ) l = 1 2 i + 1 R ( w l 1 , w l ) l = 1 2 i S ( w l 1 , w l ) T ( w l 1 , w l ) d T ( w 0 , w 1 ) < +
and
i = n 2 + β 2 i + 1 j = n 2 i T ( w 2 j , w m ) l = 1 2 i + 1 R ( w l 1 , w l ) T ( w l 1 , w l ) l = 1 2 i + 2 S ( w l 1 , w l ) d T ( w 0 , w 1 ) < + .
Consequently,
i = n 2 m 1 2 β 2 i j = n 2 i T ( w 2 j , w m ) l = 1 2 i + 1 R ( w l 1 , w l ) l = 1 2 i S ( w l 1 , w l ) T ( w l 1 , w l ) d T ( w 0 , w 1 )
and
i = n 2 m 3 2 β 2 i + 1 j = n 2 i T ( w 2 j , w m ) l = 1 2 i + 1 R ( w l 1 , w l ) T ( w l 1 , w l ) l = 1 2 i + 2 S ( w l 1 , w l ) d T ( w 0 , w 1 )
are Cauchy sequences in R . Hence, lim n , m d T ( w n , w m ) = 0 , for odd m .
From the other end, if we consider d T ( w n , w m ) with even m, and applying controlled rectangular inequality continuously, we obtain
d T ( w n , w m ) i = n 2 m 4 2 R ( w 2 i , w 2 i + 1 ) d T ( w 2 i , w 2 i + 1 ) + S ( w 2 i + 1 , w 2 i + 2 ) d T ( w 2 i + 1 , w 2 i + 2 ) × j = n 2 i T ( w 2 j , w m ) + i = n 2 + 1 m 2 2 R ( w 2 i , w m ) d T ( w m 2 , w m ) i = n 2 m 4 2 R ( w 2 i , w 2 i + 1 ) j = n 2 i T ( w 2 j , w m ) β 2 i l = 1 2 i R ( w l 1 , w l ) S ( w l 1 , w l ) T ( w l 1 , w l ) d T ( w 0 , w 1 )
+ i = n 2 m 4 2 S ( w 2 i + 1 , w 2 i + 2 ) j = n 2 i T ( w 2 j , w m ) β 2 i + 1 l = 1 2 i + 1 R ( w l 1 , w l ) S ( w l 1 , w l ) T ( w l 1 , w l ) d T ( w 0 , w 1 ) + i = n 2 + 1 m 2 2 R ( w 2 i , w m ) β m 2 l = 1 m 2 R ( w l 1 , w l + 1 ) S ( w l 1 , w l + 1 ) T ( w l 1 , w l + 1 ) d T ( w 0 , w 2 ) .
By following the procedure above, we can deduce that
i = n 2 m 4 2 β 2 i j = n 2 i T ( w 2 j , w m ) l = 1 2 i + 1 R ( w l 1 , w l ) l = 1 2 i S ( w l 1 , w l ) T ( w l 1 , w l ) d T ( w 0 , w 1 )
and
i = n 2 m 4 2 β 2 i + 1 j = n 2 i T ( w 2 j , w m ) l = 1 2 i + 1 R ( w l 1 , w l ) T ( w l 1 , w l ) l = 1 2 i + 2 S ( w l 1 , w l ) d T ( w 0 , w 1 )
are Cauchy sequences in R . Therefore, we conclude that lim n , m d T ( w n , w m ) = 0 , for even m . Hence, in all the cases, we obtain
d T ( w n , w m ) 0 as n , m
i.e., { w n } is a Cauchy sequence in X. Therefore, by the above equation, as well as the completeness property of ( X , d T ) , we obtain lim n + w n = w for w X . We will now illustrate that w is a fixed point of A. From inequalities (6) and (12), it is simple to prove
lim n + d T ( w n + 2 , w ) = 0 .
Consider
d T ( A w , w ) R ( A w , w n + 1 ) d T ( A w , w n + 1 ) + S ( w n + 1 , w n + 2 ) d T ( w n + 1 , w n + 2 ) + T ( w n + 2 , w ) d T ( w n + 2 , w ) = R ( A w , A w n ) d T ( A w , A w n ) + S ( w n + 1 , w n + 2 ) d T ( w n + 1 , w n + 2 ) + T ( w n + 2 , w ) d T ( w n + 2 , w ) R ( A w , A w n ) β R ( w , w n ) S ( w , w n ) T ( w , w n ) d T ( w , w n ) + S ( w n + 1 , w n + 2 ) d T ( w n + 1 , w n + 2 ) + T ( w n + 2 , w ) d T ( w n + 2 , w ) .
By Equation (13) and the assumption of the theorem, we obtain d T ( A w , w ) 0 as n . Therefore, d T ( A w , w ) = 0 , i.e., A w = w . Hence, w is a fixed point of A.
Finally, we show the uniqueness of the fixed point. Let w , v be two distinct fixed points of A; then, A w = w and A v = v . By employing the inequality (7),one can obtain
d T ( w , v ) = d T ( A w , A v ) β R ( w , v ) S ( w , v ) T ( w , v ) d T ( w , v ) < d T ( w , v ) ,
which is a contradiction. Thereby, w is a unique fixed point of A. □
One of the most significant applications of our result is to prove the existence and uniqueness of the Volterra–Fredholm integro-dynamic equation of the second kind, which is defined below.

4. Volterra–Fredholm Integro-Dynamic Equation of Second Kind

Let T be a time scale with delta differential operator Δ and forward jump operator σ , respectively.
Definition 7.
A Volterra–Fredholm integro-dynamic equation of the second kind is given as
u Δ n ( w ) = h ( w ) + w 0 w C ( s , w , σ ( s ) , σ ( w ) , u ( s ) ) Δ s + w 0 v 0 D ( s , w , σ ( s ) , σ ( w ) , u ( s ) ) Δ s , w [ w 0 , v 0 ] T
where h : [ w 0 , v 0 ] T R and C , D : ( [ w 0 , v 0 ] T ) 4 × R R are given functions, and u is the unknown function.
In this work, we deal with the case where Equation (3) has a first-order Δ -derivative, i.e., an equation of the type
u Δ ( w ) = h ( w ) + w 0 w C ( s , w , σ ( s ) , σ ( w ) , u ( s ) ) Δ s + w 0 v 0 D ( s , w , σ ( s ) , σ ( w ) , u ( s ) ) Δ s , w [ w 0 , v 0 ] T .

Existence and Uniqueness Theorem

In this segment, we focus on an initial value problem concerned with the nonlinear Volterra–Fredholm integro-dynamic equations and examine whether its solution exists and is unique in the T C M T S setting.
Let T be a time scale with delta differential operator Δ and forward jump operator σ , respectively. Consider the initial value problem
u Δ ( w ) = h ( w ) + w 0 w K 1 ( s , w , σ ( s ) , σ ( w ) ) F ( u ( s ) ) Δ s + w 0 v 0 K 2 ( s , w , σ ( s ) , σ ( w ) ) G ( u ( s ) ) Δ s , w [ w 0 , v 0 ] T u ( w 0 ) = a ,
where h : [ w 0 , v 0 ] T R , K 1 , K 2 : ( [ w 0 , v 0 ] T ) 4 R , F , G : R R are given functions. Let C [ w 0 , v 0 ] T be the space of continuous functions on [ w 0 , v 0 ] T and d T : C [ w 0 , v 0 ] T × C [ w 0 , v 0 ] T [ 0 , ) be defined as
d T ( w , v ) = sup t [ w 0 , v 0 ] T | w ( t ) v ( t ) | 2 .
Consequently, ( C [ w 0 , v 0 ] T , d T ) is a complete triple controlled metric space with the below given controlled functions:
R ( w , v ) = 66 + 23 sup t [ w 0 , v 0 ] T | w ( t ) v ( t ) | 2 , if w ( t ) v ( t ) 1 , if w ( t ) = v ( t )
S ( w , v ) = sup t [ w 0 , v 0 ] T ( 1 + | w ( t ) | 2 ) ( 1 + | v ( t ) | 2 ) , if w ( t ) v ( t ) 1 , if w ( t ) = v ( t ) T ( w , v ) = 1 + sup t [ w 0 , v 0 ] T | w ( t ) v ( t ) | 2 , if w ( t ) v ( t ) 1 , if w ( t ) = v ( t )
Firstly, we reveal that the initial value problem specified in Equation (16) can be rewritten as
u ( t ) = a + w 0 t h ( w ) Δ w + w 0 t w 0 w K 1 ( s , w , σ ( s ) , σ ( w ) ) F ( u ( s ) ) Δ s Δ w + w 0 t w 0 v 0 K 2 ( s , w , σ ( s ) , σ ( w ) ) G ( u ( s ) ) Δ s Δ w , t [ w 0 , v 0 ] T
when both sides of [ w 0 , t ] have their delta integrals taken, where t [ w 0 , v 0 ] T . It is evident that if the functions h ,   K 1   , K 2   ,   F and G are delta integrable, then the right-hand side of Equation (18) is a continuous function on [ w 0 , v 0 ] T . Define the mapping A : C [ w 0 , v 0 ] T C [ w 0 , v 0 ] T as
A u ( t ) = a + w 0 t h ( w ) Δ w + w 0 t w 0 w K 1 ( s , w , σ ( s ) , σ ( w ) ) F ( u ( s ) ) Δ s Δ w + w 0 t w 0 v 0 K 2 ( s , w , σ ( s ) , σ ( w ) ) G ( u ( s ) ) Δ s Δ w , t [ w 0 , v 0 ] T .
A solution to the problem mentioned in Equation (16) (equivalently Equation (18)) is, evidently, a fixed point of A. The existence uniqueness theorem for the solution of Equation (16) is presented in the following section.
Theorem 3.
Let T be a time scale and [ w 0 , v 0 ] T be a finite interval for some w 0 , v 0 T . Assume that the following conditions are satisfied:
1. The functions h ,   K 1 and K 2 are delta integrable on [ w 0 , v 0 ] T .
2. The functions F and G are delta integrable on [ w 0 , v 0 ] T and satisfy
( i ) | F ( u ( s ) ) F ( z ( s ) ) | 66 β | u ( s ) z ( s ) | | u ( s ) | | z ( s ) | 1 + | u ( s ) z ( s ) | 2 , ( i i ) | G ( u ( s ) ) G ( z ( s ) ) | 23 β | u ( s ) z ( s ) | 5 2 1 + | u ( s ) z ( s ) | 2
for some β 0 , 1 178 ( 1 + [ a + sup t | h ( t ) | + sup t , s | K 1 ( s , t , σ ( s ) , σ ( t ) ) | | F ( u ( s ) ) | + sup t , s | K 2 ( s , t , σ ( s ) , σ ( t ) ) | | G ( u ( s ) ) | ] 2 ) 6 .
3.
( i ) w 0 t w 0 w K 1 ( s , w , σ ( s ) , σ ( w ) ) 2 Δ s Δ w F 1 , ( i i ) w 0 t w 0 v 0 K 2 ( s , w , σ ( s ) , σ ( w ) ) 2 Δ s Δ w F 2 , w , t [ w 0 , v 0 ] T
for some F 1 < 1 ( t w 0 ) 2 , F 2 < 1 2 ( v 0 w 0 ) 2 .
4.
( i ) F ( a + w 0 t h ( w ) Δ w + w 0 t w 0 w K 1 ( s , w , σ ( s ) , σ ( w ) ) F ( u ( s ) ) Δ s Δ w + w 0 t w 0 v 0 K 2 ( s , w , σ ( s ) , σ ( w ) ) G ( u ( s ) ) Δ s Δ w ) < F ( u ( s ) ) , ( i i ) G ( a + w 0 t h ( w ) Δ w + w 0 t w 0 w K 1 ( s , w , σ ( s ) , σ ( w ) ) F ( u ( s ) ) Δ s Δ w + w 0 t w 0 v 0 K 2 ( s , w , σ ( s ) , σ ( w ) ) G ( u ( s ) ) Δ s Δ w ) < G ( u ( s ) ) .
Hence, the map A specified in Equation (19) has a unique fixed point, implying that the integral equation in Equation (18) has a unique solution in C [ w 0 , v 0 ] T .
Proof. 
According to the definition of the map A defined in Equation (19) and the Cauchy–Schwarz inequality for integrals on time scales [2], we have
A u ( t ) A z ( t ) 2 = A u ( t ) A z ( t ) 2 = [ w 0 t w 0 w K 1 ( s , w , σ ( s ) , σ ( w ) ) F ( u ( s ) ) F ( z ( s ) ) Δ s Δ w + w 0 t w 0 v 0 K 2 ( s , w , σ ( s ) , σ ( w ) ) G ( u ( s ) ) G ( z ( s ) ) Δ s Δ w ] 2 2 w 0 t w 0 w K 1 ( s , w , σ ( s ) , σ ( w ) ) F ( u ( s ) ) F ( z ( s ) ) Δ s Δ w 2 + 2 w 0 t w 0 v 0 K 2 ( s , w , σ ( s ) , σ ( w ) ) G ( u ( s ) ) G ( z ( s ) ) Δ s Δ w 2 2 w 0 t w 0 w K 1 ( s , w , σ ( s ) , σ ( w ) ) 2 Δ s Δ w w 0 t w 0 w F ( u ( s ) ) F ( z ( s ) ) 2 Δ s Δ w + 2 w 0 t w 0 v 0 K 2 ( s , w , σ ( s ) , σ ( w ) ) 2 Δ s Δ w w 0 t w 0 v 0 G ( u ( s ) ) G ( z ( s ) ) 2 Δ s Δ w 2 F 1 w 0 t w 0 w 66 β | u ( s ) z ( s ) | 2 | u ( s ) | 2 | z ( s ) | 2 1 + | u ( s ) z ( s ) | 2 Δ s Δ w + 2 F 2 w 0 t w 0 v 0 23 β | u ( s ) z ( s ) | 5 1 + | u ( s ) z ( s ) | 2 Δ s Δ w 2 F 1 w 0 t w 0 w 66 β | u ( s ) z ( s ) | 2 ( 1 + | u ( s ) | 2 ) ( 1 + | z ( s ) | 2 ) 1 + | u ( s ) z ( s ) | 2 Δ s Δ w + 2 F 2 w 0 t w 0 v 0 23 β | u ( s ) z ( s ) | 4 ( 1 + | u ( s ) | 2 ) ( 1 + | z ( s ) | 2 ) 1 + | u ( s ) z ( s ) | 2 Δ s Δ w .
Taking the supremum over [ w 0 , v 0 ] T and in accordance with the metric’s definition given in Equation (17), we obtain
d T ( A u , A z ) β d T ( u , z ) sup t 1 + u ( t ) 2 1 + z ( t ) 2 1 + sup t u ( t ) z ( t ) 2 132 F 1 w 0 t w 0 w Δ s Δ w + 46 F 2 sup t u ( t ) z ( t ) 2 w 0 t w 0 v 0 Δ s Δ w .
Notice that
F 1 w 0 t w 0 w Δ s Δ w = F 1 w 0 t ( w w 0 ) Δ w = F 1 w 0 t h 1 ( w , w 0 ) Δ w = F 1 h 2 ( t , w 0 ) F 1 ( t w 0 ) 2 2 < 1 2
and
F 2 w 0 t w 0 v 0 Δ s Δ w = F 2 w 0 t ( v 0 w 0 ) Δ w = F 2 ( v 0 w 0 ) ( t w 0 ) < F 2 ( v 0 w 0 ) 2 < 1 2 ,
at which h 1 and h 2 are the time scale monomials described in Equation (1). Hence, Equation (22) can be modified as
d T ( A u , A z ) β d T ( u , z ) sup t 1 + u ( t ) 2 1 + z ( t ) 2 1 + sup t u ( t ) z ( t ) 2 66 + 23 sup t u ( t ) z ( t ) 2 = β R ( u , z ) S ( u , z ) T ( u , z ) d T ( u , z ) ,
where R ( u , z ) = 66 + 23 sup t [ w 0 , v 0 ] T | u ( t ) z ( t ) | 2 , S ( u , z ) = sup t [ w 0 , v 0 ] T 1 + | u ( t ) | 2 1 + | z ( t ) | 2 and T ( u , z ) = 1 + sup t [ w 0 , v 0 ] T | u ( t ) z ( t ) | 2 , respectively. It is obvious that R ( u , z ) S ( u , z ) > T ( u , z ) , for all u , z C [ w 0 , v 0 ] T . Consider
( A n u ) ( t ) = A ( A n 1 u ( t ) ) = a + w 0 t h ( w ) Δ w + w 0 t w 0 w K 1 ( s , w , σ ( s ) , σ ( w ) ) F ( A n 1 u ( t ) ) Δ s Δ w + w 0 t w 0 v 0 K 2 ( s , w , σ ( s ) , σ ( w ) ) G ( A n 1 u ( t ) ) Δ s Δ w = a + w 0 t h ( w ) Δ w + w 0 t w 0 w K 1 ( s , w , σ ( s ) , σ ( w ) ) F ( A ( A n 2 u ( t ) ) ) Δ s Δ w + w 0 t w 0 v 0 K 2 ( s , w , σ ( s ) , σ ( w ) ) G ( A ( A n 2 u ( t ) ) ) Δ s Δ w = a + w 0 t h ( w ) Δ w + w 0 t w 0 w K 1 ( s , w , σ ( s ) , σ ( w ) ) F ( a + w 0 t h ( w ) Δ w + w 0 t w 0 w K 1 ( s , w , σ ( s ) , σ ( w ) ) F ( A n 2 u ( t ) ) Δ s Δ w + w 0 t w 0 v 0 K 2 ( s , w , σ ( s ) , σ ( w ) ) G ( A n 2 u ( t ) ) Δ s Δ w ) Δ s Δ w + w 0 t w 0 v 0 K 2 ( s , w , σ ( s ) , σ ( w ) ) G ( a + w 0 t h ( w ) Δ w + w 0 t w 0 w K 1 ( s , w , σ ( s ) , σ ( w ) ) F ( A n 2 u ( t ) ) Δ s Δ w + w 0 t w 0 v 0 K 2 ( s , w , σ ( s ) , σ ( w ) ) G ( A n 2 u ( t ) ) Δ s Δ w ) Δ s Δ w < a + w 0 t h ( w ) Δ w + w 0 t w 0 w K 1 ( s , w , σ ( s ) , σ ( w ) ) F ( A n 2 u ( t ) ) Δ s Δ w + w 0 t w 0 v 0 K 2 ( s , w , σ ( s ) , σ ( w ) ) G ( A n 2 u ( t ) ) Δ s Δ w = A n 1 u ( t ) .
As a result, we observe that ( A n u ( t ) ) n is strictly decreasing for all t [ w 0 , v 0 ] and a sequence bounded below; hence, it converges to some L. As ( A n ) n is a monotone sequence, it is known from Dini theorem that sup t | A n u ( t ) | converges to some L a + sup t | h ( t ) | + sup t , s | K 1 ( s , t , σ ( s ) , σ ( t ) ) | | F ( u ( s ) ) | + sup t , s | K 2 ( s , t , σ ( s ) , σ ( t ) ) | | G ( u ( s ) ) | . Observe that
T ( u n , u m ) R ( u n , u n + 1 ) S ( u n 1 , u n ) T ( u n 1 , u n ) = T ( A n u , A m u ) R ( A n u , A n + 1 u ) S ( A n 1 u , A n u ) T ( A n 1 u , A n u ) = 1 + sup t | A n u ( t ) A m u ( t ) | 2 × 66 + 23 sup t | A n 1 u ( t ) A n u ( t ) | 2 sup t 1 + | A n u ( t ) | 2 1 + | A n + 1 u ( t ) | 2 1 + sup t | A n 1 u ( t ) A n u ( t ) | 2 1 + sup t 1 + | A n u ( t ) | 2 1 + | A n + 1 u ( t ) | 2 × 66 + 23 sup t 1 + | A n u ( t ) | 2 1 + | A n + 1 u ( t ) | 2 sup t 1 + | A n u ( t ) | 2 1 + | A n + 1 u ( t ) | 2 1 + sup t | A n 1 u ( t ) A n u ( t ) | 2 178 ( 1 + L 2 ) 6 .
Therefore,
sup m lim n T ( u n , u m ) R ( u n , u n + 1 ) S ( u n 1 , u n ) T ( u n 1 , u n ) 178 ( 1 + L 2 ) 6 178 ( 1 + [ a + sup t | h ( t ) | + sup t , s | K 1 ( s , t , σ ( s ) , σ ( t ) ) | | F ( u ( s ) ) | + sup t , s | K 2 ( s , t , σ ( s ) , σ ( t ) ) | | G ( u ( s ) ) | ] 2 ) 6 < 1 β 2 .
In a similar manner, we can verify the inequalities (5), (6) and (7), respectively. Thereby, A fulfils all the hypotheses of the Theorem 2, the map A described in Equation (19) has a unique fixed point, and the integral Equation (16) has a unique solution in C [ w 0 , v 0 ] T . □

5. Application

Theorem 3 is applied to an illustration of Volterra–Fredholm integro-dynamic equations of the second kind in this section.
Example 2.
Let T = 3 N 0 . Take into consideration the following nonlinear Volterra–Fredholm integro-dynamic equation:
u Δ ( t ) = 1 3 t 2 t 4 4000 5597 12000 + 1 t ( 1 + s 3 ) 100 1 1 + | u ( s ) | 3 Δ s + 1 9 ( 2 s 2 + 1 ) 600 1 2 + | u ( s ) | 2 Δ s , t [ 1 , 9 ] T ,
along with the initial condition u ( 1 ) = 3 . Take note of the fact that
σ ( t ) = inf { s T = 3 N 0 : s > t } = inf { 3 t , 9 t , } = 3 t , t T .
In actuality, u ( t ) = 1 t is an immediate solution to the specified nonlinear Volterra integro-dynamic Equation (23). Indeed,
u Δ ( t ) = 1 σ ( t ) 1 t σ ( t ) t = 1 t σ ( t ) = 1 3 t 2 , t [ 1 , 9 ] T .
Let f ( t ) = t 4 10 1 10 and g ( t ) = t 3 5 + 1 5 , t [ 1 , 9 ] T . The delta derivatives of f ( t ) and g ( t ) can then be determined as follows:
f Δ ( t ) = 1 10 [ σ ( t ) ] 4 t 4 σ ( t ) t = 1 10 ( σ ( t ) + t ) [ σ ( t ) ] 2 + t 2 = 4 t 3 ,
and
g Δ ( t ) = 1 5 [ σ ( t ) ] 3 t 3 σ ( t ) t = 1 5 σ ( t ) ) 2 + t σ ( t ) + t 2 = 13 t 2 5 , t [ 1 , 9 ] T .
Henceforth, the right-hand side of the nonlinear Volterra–Fredholm integro-dynamic Equation (23) is therefore
1 3 t 2 t 4 4000 5597 12000 + 1 t ( 1 + s 3 ) 100 1 1 + | u ( s ) | 3 Δ s + 1 9 ( 2 s 2 + 1 ) 600 1 2 + | u ( s ) | 2 Δ s = 1 3 t 2 t 4 4000 5597 12000 + 1 t ( 1 + s 3 ) 100 s 3 1 + s 3 Δ s + 1 9 ( 2 s 2 + 1 ) 600 s 2 2 s 2 + 1 Δ s = 1 3 t 2 t 4 4000 5597 12000 + 1 400 1 t 4 s 3 Δ s + 1 1560 1 9 13 s 2 5 Δ s = 1 3 t 2 t 4 4000 5597 12000 + 1 400 1 t f Δ ( s ) Δ s + 1 1560 1 9 g Δ ( s ) Δ s = 1 3 t 2 t 4 4000 5597 12000 + 1 400 f ( s ) s = 1 t + 1 1560 g ( s ) s = 1 9 = 1 3 t 2 t 4 4000 5597 12000 + t 4 4000 1 4000 + 91 195 = u Δ ( t ) , t [ 1 , 9 ] T .
The map A given in Equation (19) is defined by
A u ( t ) = 3 + 1 t 1 3 t 2 t 4 4000 5597 12000 Δ w + 1 t 1 w ( 1 + s 3 ) 100 1 1 + | u ( s ) | 3 Δ s Δ w + 1 t 1 9 ( 2 s 2 + 1 ) 600 1 2 + | u ( s ) | 2 Δ s Δ w t [ 1 , 9 ] T ,
so that K 1 ( s , w , σ ( s ) , σ ( w ) ) = 1 + s 3 100 , K 2 ( s , w , σ ( s ) , σ ( w ) ) = 2 s 2 + 1 600 , F ( u ( s ) ) = 1 1 + | u ( s ) | 3 and G ( u ( s ) ) = 1 2 + | u ( s ) | 2 . The Cauchy–Schwarz inequality and the definition of the map A in Equation (24) lead to the conclusion that
A u ( t ) A z ( t ) 2 = A u ( t ) A z ( t ) 2 = 1 t 1 w ( 1 + s 3 ) 100 1 1 + | u ( s ) | 3 1 1 + | z ( s ) | 3 Δ s Δ w + 1 t 1 9 ( 2 s 2 + 1 ) 600 1 2 + | u ( s ) | 2 1 2 + | z ( s ) | 2 Δ s Δ w 2 2 1 t 1 w ( 1 + s 3 ) 2 ( 100 ) 2 Δ s Δ w ( 1 t 1 w 1 1 + | u ( s ) | 3 1 1 + | z ( s ) | 3 | 2 Δ s Δ w + 2 1 t 1 9 ( 2 s 2 + 1 ) 2 ( 600 ) 2 Δ s Δ w 1 t 1 9 1 2 + | u ( s ) | 2 1 2 + | z ( s ) | 2 2 Δ s Δ w .
Observe that
| 1 1 + | u ( s ) | 3 1 1 + | z ( s ) | 3 | 2 = | u ( s ) | 3 | z ( s ) | 3 1 + | u ( s ) | 3 1 + | z ( s ) | 3 2 | u ( s ) | | z ( s ) | 2 | u ( s ) | 2 + 2 | u ( s ) | | z ( s ) | + | z ( s ) | 2 1 + | u ( s ) | 3 + | z ( s ) | 3 + | u ( s ) | 3 | z ( s ) | 3 2 | u ( s ) | | z ( s ) | 2 | u ( s ) | + | z ( s ) | 2 1 + | u ( s ) | 3 + | z ( s ) | 3 2 = | u ( s ) | | z ( s ) | 2 4 | u ( s ) | | z ( s ) | + | u ( s ) | | z ( s ) | 2 1 + | u ( s ) | 3 + | z ( s ) | 3 2 = | u ( s ) z ( s ) | 2 16 | u ( s ) | 2 | z ( s ) | 2 + | u ( s ) | | z ( s ) | 4 + 8 | u ( s ) | | z ( s ) | 2 | u ( s ) | | z ( s ) | 1 + | u ( s ) | 3 + | z ( s ) | 3 2 , | 1 2 + | u ( s ) | 2 1 2 + | z ( s ) | 2 | 2 = | u ( s ) | | z ( s ) | 2 | u ( s ) | + | z ( s ) | 2 + | u ( s ) | 2 2 + | z ( s ) | 2 2 = | u ( s ) | | z ( s ) | 2 4 | u ( s ) | | z ( s ) | + | u ( s ) | | z ( s ) | 2 4 + 2 | u ( s ) | 2 + 2 | z ( s ) | 2 + | u ( s ) | 2 | z ( s ) | 2 2 | u ( s ) | | z ( s ) | 2 4 | u ( s ) | | z ( s ) | + | u ( s ) | | z ( s ) | 2 4 + 2 | u ( s ) | 2 + 2 | z ( s ) | 2 2 .
Consequently, Equation (25) becomes
A u ( t ) A z ( t ) 2 1 t 1 w ( 1 + s 3 ) 2 5000 Δ s Δ w ( 1 t 1 w u ( s ) z ( s ) 2 × 16 | u ( s ) | 2 | z ( s ) | 2 + u ( s ) z ( s ) 4 + 8 u ( s ) z ( s ) 2 | u ( s ) | | z ( s ) | 1 + | u ( s ) | 3 + | z ( s ) | 3 2 Δ s Δ w ) + 1 t 1 9 ( 2 s 2 + 1 ) 2 180000 Δ s Δ w 1 t 1 9 u ( s ) z ( s ) 2 4 | u ( s ) | | z ( s ) | + u ( s ) z ( s ) 2 4 + 2 | u ( s ) | 2 + 2 | z ( s ) | 2 2 Δ s Δ w .
Thereafter, by evaluating the delta integral and utilizing the fact that | t | 9 , we acquire
A u ( t ) A z ( t ) 2 1 5000 t 8 3585040 + t 5 2420 + t 2 4 22973 t 21860 108606989 433789840 ( 1 t 1 w u ( s ) z ( s ) 2 × 16 | u ( s ) | 2 | z ( s ) | 2 + u ( s ) z ( s ) 4 + 8 u ( s ) z ( s ) 2 | u ( s ) | | z ( s ) | 1 + | u ( s ) | 3 + | z ( s ) | 3 2 Δ s Δ w ) + 17472 180000 1 t 1 9 u ( s ) z ( s ) 2 4 | u ( s ) | | z ( s ) | + u ( s ) z ( s ) 2 4 + 2 | u ( s ) | 2 + 2 | z ( s ) | 2 2 Δ s Δ w 46.949 5000 1 t 1 w u ( s ) z ( s ) 2 16 | u ( s ) | 2 | z ( s ) | 2 + u ( s ) z ( s ) 4 + 8 u ( s ) z ( s ) 2 | u ( s ) | | z ( s ) | 1 + | u ( s ) | 3 + | z ( s ) | 3 2 Δ s Δ w + 17472 180000 ( 1 t 1 9 u ( s ) z ( s ) 2 4 | u ( s ) | | z ( s ) | + u ( s ) z ( s ) 2 4 + 2 | u ( s ) | 2 + 2 | z ( s ) | 2 2 Δ s Δ w F 1 1 t 1 w u ( s ) z ( s ) 2 16 ( 1 + | u ( s ) | 2 ) ( 1 + | z ( s ) | 2 ) + | u ( s ) z ( s ) | 2 ( 1 + | u ( s ) | 2 ) ( 1 + | z ( s ) | 2 ) + 8 | u ( s ) z ( s ) | 2 ( 1 + | u ( s ) | 2 ) ( 1 + | z ( s ) | 2 ) 1 + | u ( s ) z ( s ) | 2 Δ s Δ w + 2 F 2 ( 1 t 1 9 u ( s ) z ( s ) 2 4 ( 1 + | u ( s ) | 2 ) ( 1 + | z ( s ) | 2 ) + | u ( s ) z ( s ) | 2 1 + | u ( s ) z ( s ) | 2 Δ s Δ w
where F 1 = 46.949 5000 and F 2 = 8736 180000 . When the supremum over t [ 1 , 9 ] T is combined with the metric’s definition given in Equation (17), one obtains
d T ( A u , A z ) sup t [ 1 , 9 ] T ( 1 + | u ( t ) | 2 ) ( 1 + | z ( t ) | 2 ) 1 + sup t [ 1 , 9 ] T | u ( t ) z ( t ) | 2 [ F 1 16 + 9 sup t [ 1 , 9 ] T | u ( t ) z ( t ) | 2 1 t 1 w Δ s Δ w + 2 F 2 4 + sup t [ 1 , 9 ] T | u ( t ) z ( t ) | 2 1 t 1 9 Δ s Δ w ] d T ( u , z ) .
By Theorem 3, we have
d T ( A u , A z ) sup t [ 1 , 9 ] T ( 1 + | u ( t ) | 2 ) ( 1 + | z ( t ) | 2 ) 1 + sup t [ 1 , 9 ] T | u ( t ) z ( t ) | 2 [ F 1 16 + 9 sup t [ 1 , 9 ] T | u ( t ) z ( t ) | 2 ( t 1 ) 2 2 + 128 F 2 4 + sup t [ 1 , 9 ] T | u ( t ) z ( t ) | 2 ] d T ( u , z ) ,
where F 1 = 46.949 5000 and t , w [ 1 , 9 ] T , i.e., | t | 9 and | w | 9 , then F 1 ( t 1 ) 2 2 46.949 5000 . 64 2 < 1 2 and 128 F 2 = 128 . 8736 180000 = 6.21 . Hence, the equation is further transformed into
d T ( A u , A z ) 1 2 66 + 23 sup t [ 1 , 9 ] T | u ( t ) z ( t ) | 2 sup t [ 1 , 9 ] T ( 1 + | u ( t ) | 2 ) ( 1 + | z ( t ) | 2 ) 1 + sup t [ 1 , 9 ] T | u ( t ) z ( t ) | 2 d T ( u , z ) = β R ( u , z ) S ( u , z ) T ( u , z ) d T ( u , z )
where β = 1 2 , R ( u , z ) = 66 + 23 sup t [ 1 , 9 ] T | u ( t ) z ( t ) | 2 , S ( u , z ) = sup t [ 1 , 9 ] T ( 1 + | u ( t ) | 2 ) ( 1 + | z ( t ) | 2 ) and T ( u , z ) = 1 + sup t [ 1 , 9 ] T | u ( t ) z ( t ) | 2 . Thereby, the map A specified in Equation (24) has a unique fixed point by Theorem 3, i.e., the integral equation stated in Equation (23) has a unique solution in C [ 1 , 9 ] T .

6. Conclusions

This article explores the existence and uniqueness of solutions for a class of nonlinear Volterra–Fredholm integro-dynamic equations of the second kind on time scales. We approach the problem in the context of triple controlled metric type spaces, which adopts a different perspective on its solution. Eventually, we demonstrate an example to ensure the existence of a unique solution to an integro-dynamic problem. In future studies, we can extend this technique to higher-order delta derivatives with fixed point theorems of different types to acquire further general conditions for the existence and uniqueness of IVPs correlated with Volterra–Fredholm integro-dynamic equations on time scales.

Author Contributions

Conceptualization, K.G., S.T.Z. and T.A.; methodology, S.T.Z., T.A. and N.M.; validation, T.A. and N.M.; investigation, T.A. and N.M.; writing—original draft preparation, K.G. and S.T.Z.; writing—review and editing, K.G. and S.T.Z.; supervision, K.G.; funding acquisition, T.A. and N.M. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Not applicable.

Acknowledgments

The authors Kalpana Gopalan and Sumaiya Tasneem Zubair would like to thank the Management of Sri Sivasubramaniya Nadar College of Engineering for their continuous support and encouragement to carry out this research work. The authors Thabet Abdeljawad and Nabil Mlaiki would like to thank Prince Sultan University for paying the APC and for the support through the TAS research lab.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Hilger, S. Ein Maβkettenkalkül mit Anvendung auf Zentrumsmannigfaltigkeiten. Ph.D. Thesis, Universität at Würzburg, Würzburg, Germany, 1988. [Google Scholar]
  2. Agarwal, R.P.; Bohner, M.; Peterson, A. Inequalities on time scales: A survey. Math. Inequalities Appl. 2001, 4, 535–557. [Google Scholar] [CrossRef]
  3. Guseinov, G.S. Integration on time scales. J. Math. Anal. Appl. 2003, 285, 107–127. [Google Scholar] [CrossRef] [Green Version]
  4. Georgiev, S. Integral Equations on Time Scales; Atlantis Press: Paris, France, 2016. [Google Scholar]
  5. Georgiev, S. Fractional Dynamic Calculus and Fractional Dynamic Equations on Time Scales; Springer: Cham, Switzerland, 2018. [Google Scholar]
  6. Hilger, S. Analysis on measure chains-a unified approach to continuous and discrete calculus. Results Math. 1990, 18, 18–56. [Google Scholar] [CrossRef]
  7. Bohner, M.; Peterson, A. Dynamic Equations on Time Scales: An Introduction with Applications; Birkhäuser: Boston, MA, USA, 2003. [Google Scholar]
  8. Atalan, Y.; Karakaya, V. Stability of nonlinear Volterra-Fredholm integro differential equation: A fixed point approach. Creat. Math. Inform. 2017, 26, 247–254. [Google Scholar] [CrossRef]
  9. Marzban, H.R.; Hoseini, S.M. Solution of nonlinear Volterra-Fredholm integro differential equations via hybrid of block-pulse functions and lagrange interpolating polynomials. Adv. Numer. Anal. 2012, 2012, 868279. [Google Scholar] [CrossRef]
  10. Araghi, M.A.F.; Behzadi, S.H.S. Solving nonlinear Volterra-Fredholm integro-differential equations using the modified adomian decomposition method. Comput. Methods Appl. Math. 2009, 9, 321–331. [Google Scholar] [CrossRef]
  11. Al-Saar, F.M.; Ghadle, K.P. Solving nonlinear Fredholm integro-differential equations via modifications of some numerical methods. Adv. Theory Nonlinear Anal. Its Appl. 2021, 5, 260–276. [Google Scholar] [CrossRef]
  12. Hamoud, A.; Mohammed, N.; Ghadle, K. Existence and uniqueness results for Volterra-Fredholm integro-differential equations. Adv. Theory Nonlinear Anal. Its Appl. 2020, 4, 361–372. [Google Scholar] [CrossRef]
  13. Harikrishnan, S.; Kanagarajan, K.; Vivek, D. Some existence and stability results for integro-differential equation by hilfer-katugampola fractional derivative. Palest. J. Math. 2020, 9, 254–262. [Google Scholar]
  14. Malar, K.; Anguraj, A. Existence results for fractional integrodifferential systems with interval impulse via sectorial operator. Results Nonlinear Anal. 2019, 2, 169–181. [Google Scholar]
  15. Sudsutad, W.; Alzabut, J.; Nontasawatsri, S.; Thaiprayoon, C. Stability analysis for a generalized proportional fractional Langevin equation with variable coefficient and mixed integro-differential boundary conditions. J. Nonlinear Funct. Anal. 2020, 2020, 23. [Google Scholar]
  16. Houas, M.; Bezziou, M. Existence of solutions for neutral Caputo-type fractional integro-differential equations with nonlocal boundary conditions. Commun. Optim. Theory 2021, 2021, 9. [Google Scholar]
  17. Svinik-Adıgüzel, R.; Karapınar, E.; Erhan, I.M. A Solution to nonlinear Volterra integro-dynamic equations via fixed point theory. Filomat 2019, 33, 5333–5345. [Google Scholar] [CrossRef] [Green Version]
  18. Kamran, T.; Samreen, M.; Ain, Q.U.L. A generalization of b-metric space and some fixed point theorems. Mathematics 2017, 5, 19. [Google Scholar] [CrossRef] [Green Version]
  19. Mlaiki, N.; Aydi, H.; Souayah, N.; Abdeljawad, T. Controlled metric type spaces and the related contraction principle. Mathematics 2018, 6, 194. [Google Scholar] [CrossRef] [Green Version]
  20. Abdeljawad, T.; Mlaiki, N.; Aydi, H.; Souayah, N. Double controlled metric type spaces and some fixed point results. Mathematics 2018, 6, 320. [Google Scholar] [CrossRef] [Green Version]
  21. Tasneem, Z.S.; Kalpana, G.; Abdeljawad, T. Controlled b-Branciari metric type spaces and related fixed point theorems with applications. Filomat 2020, 34, 4253–4269. [Google Scholar]
  22. Tasneem, Z.S.; Kalpana, G.; Abdeljawad, T. A different approach to fixed point theorems on triple controlled metric type spaces with a numerical experiment. Dyn. Syst. Appl. 2021, 30, 111–130. [Google Scholar]
  23. Kalpana, G.; Tasneem, Z.S. Some fixed point results in extended hexagonal b-metric spaces approach to the existence of a solution to fredholm integral equations. J. Math. Anal. 2020, 11, 1–17. [Google Scholar]
  24. Abdeljawad, T.; Abdalla, B. Monotonicity results for delta and nabla Caputo and Reimann fractional differences via dual identities. Filomat 2017, 31, 3671–3683. [Google Scholar] [CrossRef]
  25. Frechet, M. Sur quelques points duo calcul fonctionel. Rendicouti Mah. Palermo 1906, 22, 1–72. [Google Scholar] [CrossRef] [Green Version]
  26. Ali, M.U.; Kamran, T.; Postolache, M. Solution of Volterra integral inclusion in b-metric spaces via new fixed point theorem. Nonlinear Anal. Model. Control. 2017, 22, 17–30. [Google Scholar] [CrossRef]
  27. Abodayeh, K.; Karapınar, E.; Pitea, A.; Shatanawi, W. Hybrid contractions on Branciari type distance spaces. Mathematics 2019, 7, 994. [Google Scholar] [CrossRef] [Green Version]
  28. Kamran, T.; Postolache, M.; Ali, M.U.; Kiran, Q. Feng and Liu type F-contraction in b-metric spaces with an appliation to integral equations. J. Math. Anal. 2016, 7, 18–27. [Google Scholar]
  29. Kalpana, G.; Tasneem, Z.S. Existence of fixed point results in C*-algebra-valued triple controlled metric type spaces. In Proceedings of the Mathematical Analysis and Computing: ICMAC 2019, Kalavakkam, India, 23–24 December 2019. [Google Scholar] [CrossRef]
  30. Salman, F.; Hüseyin, I.; Saleem, N. Fuzzy triple controlled metric spaces and related fixed point results. J. Funct. Spaces 2021, 2021, 9936992. [Google Scholar]
  31. Mlaiki, N.; Abdeljawad, T.; Shatanawi, W.; Aydi, H.; Gaba, Y.U. On complex-valued triple controlled metric spaces and applications. J. Funct. Spaces 2021, 2021, 5563456. [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

Gopalan, K.; Zubair, S.T.; Abdeljawad, T.; Mlaiki, N. New Fixed Point Theorem on Triple Controlled Metric Type Spaces with Applications to Volterra–Fredholm Integro-Dynamic Equations. Axioms 2022, 11, 19. https://doi.org/10.3390/axioms11010019

AMA Style

Gopalan K, Zubair ST, Abdeljawad T, Mlaiki N. New Fixed Point Theorem on Triple Controlled Metric Type Spaces with Applications to Volterra–Fredholm Integro-Dynamic Equations. Axioms. 2022; 11(1):19. https://doi.org/10.3390/axioms11010019

Chicago/Turabian Style

Gopalan, Kalpana, Sumaiya Tasneem Zubair, Thabet Abdeljawad, and Nabil Mlaiki. 2022. "New Fixed Point Theorem on Triple Controlled Metric Type Spaces with Applications to Volterra–Fredholm Integro-Dynamic Equations" Axioms 11, no. 1: 19. https://doi.org/10.3390/axioms11010019

APA Style

Gopalan, K., Zubair, S. T., Abdeljawad, T., & Mlaiki, N. (2022). New Fixed Point Theorem on Triple Controlled Metric Type Spaces with Applications to Volterra–Fredholm Integro-Dynamic Equations. Axioms, 11(1), 19. https://doi.org/10.3390/axioms11010019

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop