Next Article in Journal
Characterization of the Appointment’s Reasons for “P—Psychological” on the ICPC-2 Scale in Primary Health Care Services
Previous Article in Journal
Modeling of Nonlinear Systems: Method of Optimal Injections
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Common Attractor for Hutchinson θ-Contractive Operators in Partial Metric Spaces

1
Abdus Salam School of Mathematical Sciences, Government College University, Lahore 54600, Pakistan
2
Automatic Control Group—ACG, Institute of Research and Development of Processes, Department of Electricity and Electronics, Faculty of Science and Technology, University of the Basque Country—UPV/EHU, 48940 Leioa, Spain
3
Department of Mechanical Engineering Science, Faculty of Engineering and the Built Environment, University of Johannesburg, Johannesburg 2092, South Africa
*
Author to whom correspondence should be addressed.
Math. Comput. Appl. 2025, 30(2), 27; https://doi.org/10.3390/mca30020027
Submission received: 8 February 2025 / Revised: 11 March 2025 / Accepted: 13 March 2025 / Published: 14 March 2025

Abstract

:
This paper investigates the existence of common attractors for generalized θ -Hutchinson operators within the framework of partial metric spaces. Utilizing a finite iterated function system composed of θ -contractive mappings, we establish theoretical results on common attractors, generalizing numerous existing results in the literature. Additionally, to enhance understanding, we present intuitive and easily comprehensible examples in one-, two-, and three-dimensional Euclidean spaces. These examples are accompanied by graphical representations of attractor images for various iterated function systems. As a practical application, we demonstrate how our findings contribute to solving a functional equation arising in a dynamical system, emphasizing the broader implications of the proposed approach.

1. Introduction and Preliminaries

The iterated function system (IFS) originates from the mathematical foundations laid by Hutchinson, as cited in [1]. Hutchinson demonstrated that the operator, consisting of a finite set of contraction mappings on R n and referred to as the Hutchinson operator, has a closed and bounded subset of R n as its fixed point set. This fixed point is known as the attractor [2]. In this context, fixed point theory plays a pivotal role in facilitating the creation of fractals. Figure 1 are the two most common examples of such structures mentioned in [2]:
Many significant results on attractors have been established in the literature. Recently, Iqbal et al. in [3] studied the existence of common attractors for generalized Hutchinson–Wardowski contractive operators, proving that such systems admit a unique common attractor for various classes of these operators. Additionally, Nazir et al. in [4] investigated generalized F-iterated function systems in G-metric spaces, establishing several results on common attractors using generalized F-Hutchinson operators. For a deeper understanding of fractals and attractors, one may refer to [5,6,7,8,9], along with the references therein.
On the other hand, numerous generalizations of the Banach contraction principle have been developed, as many authors have worked on extending this principle either by modifying the underlying metric space or by generalizing the contraction condition through different techniques. In this context, Jleli and Samet [10] introduced the concept of θ -contraction and provided a generalization of the Banach contraction principle. Following this remarkable extension, several researchers further advanced and expanded the results within this framework. Notable contributions to θ -contractions can be found in [11,12,13].
In this paper, we combine the idea of θ -contraction as introduced by Jleli and Samet in [10] with the Hutchinson operator and extends the results of common attractors as derived in [14] for θ -contraction over partial metric space. So, in this regard, our results generalized the concept of common attractors and so the results in [14,15] become the special cases of our main results. Furthermore, we also justify our results with suitable examples and provide their corresponding fractals images. Additionally, we summarize our results by presenting an application derived from our main findings.
Considering a partial metric space ( Υ , p ) , we shall denote by C p ( Υ ) a collection of all non-empty compact subsets of Υ . For any Ω , C p ( Υ ) and v Υ , we define
p ( v , Ω ) = inf { p ( v , μ ) : μ Ω }
and
δ p ( Ω , ) = sup { p ( v , ) : v Ω } .
Thus,
H p ( Ω , ) = max { δ p ( Ω , ) , δ p ( , Ω ) } .
Proposition 1 
([16]). Consider a partial metric space ( Υ , p ) . Then, for all Ω , , C C p ( Υ ) ,
(i) 
H p ( Ω , Ω ) H p ( Ω , ) .
(ii) 
H p ( Ω , ) = H p ( , Ω ) .
(iii) 
H p ( Ω , ) H p ( Ω , C ) + H p ( C , ) inf α C p ( α , α ) .
Corollary 1 
([16]). Consider a partial metric space ( Υ , p ) . Then, for any Ω , C p ( Υ ) , we have
H p ( Ω , ) = 0 implies Ω = .
Thus, by following Proposition 1 and Corollary 1, we shall refer to the mapping H p : C p ( Υ ) × C p ( Υ ) [ 0 , ) as a partial Hausdorff metric induced by p .
Lemma 1 
([14]). Let ( Υ , p ) be a partial metric space. Then, for any Ω , , C , D C p ( Υ ) , the following holds:
(i) 
If C , then sup a Ω p ( a , C ) sup a Ω p ( a , ) ,
(ii) 
sup t Ω p ( t , C ) = max { sup a Ω p ( a , C ) , sup b p ( b , C ) } ,
(iii) 
H p ( Ω , C D ) max { H p ( Ω , C ) , H p ( , D ) } .
Definition 1. 
Consider Θ * to be the collection of all such functions θ : ( 0 , ) ( 1 , ) which satisfy the following:
( θ 1 )
θ is non-decreasing.
( θ 2 )
For any sequence { x n } R + , lim n Θ ( x n ) = 1 iff lim n ( x n ) = 0 .
( θ 3 )
There exist 0 < h < 1 and l ( 0 , ] such that lim α 0 + θ ( α ) 1 α h = l .
Moreover, the class Θ is the collection of all such θ Θ * which are continuous as well.
In the next section, we present our key findings. The organization of this paper is as follows: In Section 1, we provide a necessary literature review and preliminaries. Section 2 contains the main results of the article, where we establish the existence of a common attractor in our generalized setting. Section 3 is dedicated to illustrating our main results through examples in one-, two-, and three-dimensional Euclidean spaces. A particularly interesting aspect of this section is the inclusion of graphical representations, which offer a clearer understanding of our claims regarding common attractors. In Section 4, we discuss an application from dynamical systems, demonstrating the relevance of our results in other fields. Finally, we conclude this manuscript with the conclusion in Section 5.

2. Main Results

Definition 2. 
A pair of self-mappings ( h , g ) defined on a partial metric space ( Υ , p ) is said to be a generalized θ-contraction if there exist θ Θ and k ( 0 , 1 ) such that for all ϱ , ς Υ , we have
p ( h ϱ , g ς ) > 0 θ ( p ( h ϱ , g ς ) ) θ ( p ( ϱ , ς ) ) k .
Theorem 1. 
Consider a partial metric space ( Υ , p ) and h , g : Υ Υ to be two self-mappings which are continuous as well. If the pair ( h , g ) is a generalized θ-contraction on ( Υ , p ) , then the pair ( h , g ) is a generalized θ-contraction on ( C p ( Υ ) , H p ) , where for any Ω C p ( Υ ) , the mappings h , g : C p ( Υ ) C p ( Υ ) are defined as h ( Ω ) = { h ( ϱ ) : ϱ Ω } and g ( Ω ) = { g ( ϱ ) : ϱ Ω } .
Proof. 
Since h , g are continuous mappings, for any Ω C p ( Υ ) , we have h ( Ω ) , g ( Ω ) C p ( Υ ) . Let Ω , C p ( Υ ) , and for all ϱ , ς Υ , there exists k ( 0 , 1 ) , such that
θ ( p ( h ( ϱ ) , g ( ς ) ) ) [ θ ( p ( ϱ , ς ) ) ] k < θ ( p ( ϱ , ς ) ) .
Since θ Θ is non-decreasing and p ( ϱ , ς ) 0 , we obtain p ( h ( ϱ ) , g ( ς ) ) < p ( ϱ , ς ) .
Thus,
p ( h ( ϱ ) , g ( ) ) = inf ς p ( h ( ϱ ) , g ( ς ) ) < inf ς p ( ϱ , ς ) = p ( ϱ , )
and
p ( g ( ς ) , h ( Ω ) ) = inf ϱ Ω p ( g ( ς ) , h ( ϱ ) ) < inf ϱ Ω p ( ς , ϱ ) = p ( ς , Ω ) .
Hence,
H p ( h ( Ω ) , g ( ) ) = max { sup ϱ Ω p ( h ( ϱ ) , g ( ) ) , sup ς p ( g ( ς ) , h ( Ω ) ) } < max { sup ϱ Ω p ( ϱ , ) , sup ς p ( ς , Ω ) } = H p ( Ω , ) .
By applying any θ Θ on both sides, we obtain
θ ( H p ( h ( Ω ) , g ( ) ) ) < θ ( H p ( Ω , ) ) ,
so, there exists k ( 0 , 1 ) such that
θ ( H p ( h ( Ω ) , g ( ) ) ) [ θ ( H p ( Ω , ) ) ] k .
Hence, ( h , g ) is a generalized θ -contraction on ( C p ( Υ ) , H p ) . □
Theorem 2. 
Consider a partial metric space ( Υ , p ) and h i , g i : Υ Υ for i = 1 , 2 , 3 , , r are continuous and each pair ( h i , g i ) is a generalized θ-contraction with a contractive constant k i ( 0 , 1 ) , respectively; then, for any Ω , C p ( Υ ) , the mappings ψ , ϕ : C p ( Υ ) C p ( Υ ) defined as
ψ ( Ω ) = h 1 ( Ω ) h 2 ( Ω ) , , h r ( Ω ) = i = 1 r h i ( Ω ) ,
ϕ ( ) = g 1 ( ) g 2 ( ) , , g r ( ) = i = 1 r g i ( ) ,
satisfy
θ ( H p ( ψ ( Ω ) , ϕ ( ) ) ) [ θ ( H p ( Ω , ) ) ] k ^ ,
where k ^ = max { k 1 , k 2 , , k r } . Moreover, the pair ( ψ , ϕ ) is called a generalized θ-contraction on C p ( Υ ) .
Proof. 
For any Ω , C p ( Υ ) , by using Lemma 1, we obtain the following for r = 2 ,
H p ( ψ ( Ω ) , ϕ ( ) ) = H p h 1 ( Ω ) h 2 ( Ω ) , g 1 ( ) g 2 ( ) max { H p ( h 1 ( Ω ) , g 1 ( ) ) , H p ( h 2 ( Ω ) , g 2 ( ) ) } ,
since θ is non-decreasing; thus, by applying it on both sides, we obtain
θ H p ( ψ ( Ω ) , ϕ ( ) ) θ max { H p ( h 1 ( Ω ) , g 1 ( ) ) , H p ( h 2 ( Ω ) , g 2 ( ) ) } .
If max { H p ( h 1 ( Ω ) , g 1 ( ) ) , H p ( h 2 ( Ω ) , g 2 ( ) ) } = H p ( h 1 ( Ω ) , g 1 ( ) ) , then we have
θ H p ( ψ ( Ω ) , ϕ ( ) ) θ { H p ( h 1 ( Ω ) , g 1 ( ) ) θ ( H p ( Ω , ) ) k 1 θ ( H p ( Ω , ) ) max { k 1 , k 2 } ,
because θ : ( 0 , ) ( 1 , ) and k , k 2 ( 0 , 1 ) . Further, if
max { H p ( h 1 ( Ω ) , g 1 ( ) ) , H p ( h 2 ( Ω ) , g 2 ( ) ) } = H p ( h 2 ( Ω ) , g 2 ( ) ) ,
then we have
θ H p ( ψ ( Ω ) , ϕ ( ) ) θ ( H p ( Ω , ) ) k 2 θ ( H p ( Ω , ) ) max { k 1 , k 2 } .
Now, for r = 3 , by using the above expression for r = 2 and Lemma 1, we obtain
H p ( ψ 3 ( Ω ) , ϕ 3 ( ) ) = H p ψ 2 ( Ω ) h 3 ( Ω ) , ϕ 2 ( ) g 3 ( ) max { H p ( ψ 2 ( Ω ) , ϕ 2 ( ) ) , H p ( h 3 ( Ω ) , g 3 ( ) ) } .
Here, we use the notation ψ r ( Ω ) = i = 1 r h i ( Ω ) and ϕ r ( ) = i = 1 r g i ( ) ; further, by applying θ on both sides and considering both cases of maximum, we obtain
H p ( ψ 3 ( Ω ) , ϕ 3 ( ) ) θ ( H p ( Ω , ) ) max { k 1 , k 2 , k 3 } .
Following a similar pattern, i.e., by using the result for r = 3 , Lemma 1, and the fact that θ is non-decreasing, we obtain the following result for r = 4 :
H p ( ψ 4 ( Ω ) , ϕ 4 ( ) ) θ ( H p ( Ω , ) ) max { k 1 , k 2 , k 3 , k 4 } .
Consequently, following a similar pattern, we can obtain the required relation for any 1 i r .
Definition 3. 
A pair of mappings ψ , ϕ defined on C p ( Υ ) is said to be a generalized Hutchinson θ-contractive operator if there exists a constant k ( 0 , 1 ) such that for any Ω , C p ( Υ ) , the following holds:
θ ( H p ( ψ ( Ω ) , ϕ ( ) ) ) [ θ ( M ψ , ϕ ( Ω , ) ) ] k ,
where
M ψ , ϕ ( Ω , ) = max { H p ( Ω , ) , H p ( Ω , ψ ( Ω ) ) , H p ( , ϕ ( ) ) , H p ( Ω , ϕ ( ) ) + H p ( , ψ ( Ω ) ) 2 } .
Definition 4. 
A pair of mappings ψ , ϕ defined on C p ( Υ ) is said to be a generalized rational Hutchinson θ-contractive operator if there exists a constant k ( 0 , 1 ) such that for any Ω , C p ( Υ ) , the following holds:
θ ( H p ( ψ ( Ω ) , ϕ ( ) ) ) [ θ ( R ψ , ϕ ( Ω , ) ) ] k ,
where
R ψ , ϕ ( Ω , ) = max { H p ( Ω , ϕ ( ) ) ( 1 + H p ( Ω , ψ ( Ω ) ) ) 2 ( 1 + H p ( Ω , ) ) , H p ( , ϕ ( ) ) ( 1 + H p ( Ω , ψ ( Ω ) ) 1 + H p ( Ω , ) , H p ( Ω , ) ( 1 + H p ( Ω , ψ ( Ω ) ) ) 1 + H p ( Ω , ) } .
Definition 5. 
If we consider ( h i , g i ) , i = 1 , 2 , r , to be a pair of continuous self-mappings defined on a partial metric space Υ , where both mappings are generalized θ-contractions as well, then
{ Υ ; ( h i , g i ) , i = 1 , 2 , 3 , , r }
is called a generalized θ-contractive iterative function system.
Definition 6. 
Let Ω Υ be a non-empty compact set. Then, Ω is said to be a common attractor of a generalized θ-contractive iterative function system, if
(i) 
ψ ( Ω ) = Ω = ϕ ( Ω ) .
(ii) 
There exists an open set O Υ such that Ω O and
lim n + ψ n ( ) = Ω = lim n + ϕ n ( ) ,
for any compact set O .
Theorem 3. 
Let ( Υ , p ) be a complete partial metric space and
{ Υ ; ( h i , g i ) , i = 1 , 2 , 3 , , r }
be the a generalized θ-contractive IFS, and the pair ( ψ , ϕ ) is a generalized Hutchinson θ-contractive operator; then, ψ and ϕ have a unique common attractor. Moreover, for any Ω 0 C p ( Υ ) , the sequence
{ Ω 0 , ψ ( Ω 0 ) , ϕ ψ ( Ω 0 ) , ψ ϕ ψ ( Ω 0 ) , }
converges to the common attractor of ψ and ϕ .
Proof. 
Choose Ω 0 C p ( Υ ) and define a sequence ( Ω i ) in C p ( Υ ) as follows:
Ω 1 = ψ ( Ω 0 ) , Ω 3 = ψ ( Ω 2 ) , , Ω 2 i + 1 = ψ ( Ω 2 i ) ,
Ω 2 = ϕ ( Ω 1 ) , Ω 4 = ϕ ( Ω 3 ) , , Ω 2 i + 2 = ϕ ( Ω 2 i + 1 ) ,
for i { 0 , 1 , 2 , , } . Since each pair ( h i , g i ) is a generalized θ -contraction, thus ( ψ , ϕ ) is a Hutchinson θ -contractive operator. Assuming that no three consecutive terms in the sequence are identical, we have
θ ( H p ( Ω 2 i + 1 , Ω 2 i + 2 ) ) [ θ ( M ψ , ϕ ( Ω 2 i , Ω 2 i + 1 ) ) ] k ,
where
M ψ , ϕ ( Ω 2 i , Ω 2 i + 1 ) ) = max { H p ( Ω 2 i , Ω 2 i + 1 ) , H p ( Ω 2 i , ψ ( Ω 2 i ) ) , H p ( Ω 2 i + 1 , ϕ ( Ω 2 i + 1 ) ) , H p ( Ω 2 i , ϕ ( Ω 2 i + 1 ) ) + H p ( Ω 2 i + 1 , ψ ( Ω 2 i ) ) 2 } , = max { H p ( Ω 2 i , Ω 2 i + 1 ) , H p ( Ω 2 i + 1 , Ω 2 i + 2 ) , H p ( Ω 2 i , Ω 2 i + 2 ) + H p ( Ω 2 i + 1 , Ω 2 i + 1 ) 2 } .
By triangular inequality and Lemma 1, we have
θ ( H p ( Ω 2 i + 1 , Ω 2 i + 2 ) ) [ θ ( max { H p ( Ω 2 i , Ω 2 i + 1 ) , H p ( Ω 2 i + 1 , Ω 2 i + 2 ) } ) ] k .
Since max { H p ( Ω 2 i , Ω 2 i + 1 ) , H p ( Ω 2 i + 1 , Ω 2 i + 2 ) } = H p ( Ω 2 i + 1 , Ω 2 i + 2 ) is not possible, we have
θ ( H p ( Ω 2 i + 1 , Ω 2 i + 2 ) ) [ θ ( H p ( Ω 2 i , Ω 2 i + 1 ) ) ] k .
Also, again by definition of a generalized Hutchinson θ -contractive operator and Lemma 1, we obtain
θ ( H p ( Ω 2 i + 2 , Ω 2 i + 3 ) ) θ ( H p ( Ω 2 i + 1 , Ω 2 i + 2 ) ) k .
Thus, for any i { 0 , 1 , 2 , } , we have
θ ( H p ( Ω i , Ω i + 1 ) ) θ ( H p ( Ω i 1 , Ω i ) ) k θ ( H p ( Ω 0 , Ω 1 ) ) k i .
Hence,
θ ( H p ( Ω i , Ω i + 1 ) ) θ ( H p ( Ω 0 , Ω 1 ) ) k i ,
by taking limit as i , k i 0 , so
lim i θ ( H p ( Ω i , Ω i + 1 ) ) 1 ,
and since the range of θ is ( 1 , ) ,
lim i θ ( H p ( Ω i , Ω i + 1 ) ) = 1 .
By the θ 2 condition, we have
lim i ( H p ( Ω i , Ω i + 1 ) ) = 0 .
Also, from θ 3 , there exist 0 < h < 1 and l ( 0 , ] , such that
lim i θ ( H p ( Ω i , Ω i + 1 ) ) 1 ( H p ( Ω i , Ω i + 1 ) ) h = l .
So, when l < , choose β = l 2 > 0 . By the definition of the limit, there exists N 1 such that
| θ ( H p ( Ω i , Ω i + 1 ) ) 1 ( H p ( Ω i , Ω i + 1 ) ) h l | β , i N 1 ,
β θ ( H p ( Ω i , Ω i + 1 ) ) 1 ( H p ( Ω i , Ω i + 1 ) ) h l β , i N 1 ,
or
β = l 2 = l β θ ( H p ( Ω i , Ω i + 1 ) ) 1 ( H p ( Ω i , Ω i + 1 ) ) h , i N 1 .
Thus,
( H p ( Ω i , Ω i + 1 ) ) h 1 β [ θ ( H p ( Ω i , Ω i + 1 ) ) 1 ] ,
and by multiplying i on both sides and taking 1 β = α , we obtain
i [ H ( Ω i , Ω i + 1 ) ] h i α [ θ ( H p ( Ω i , Ω i + 1 ) ) 1 ] .
If l = , let β > 0 be an arbitrary large number; thus, by the definition of the limit, there exists N 2 such that
θ ( H p ( Ω i , Ω i + 1 ) 1 ( H p ( Ω i , Ω i + 1 ) ) h β , i N 2 ,
so
i [ H ( Ω i , Ω i + 1 ) ] h 1 β i [ θ ( H p ( Ω i , Ω i + 1 ) ) 1 ] , i N 2 .
Moreover, for all i N = max { N 1 , N 2 } and by relations (10)–(12) and taking lim i , we obtain
lim i i [ H p ( Ω i , Ω i + 1 ) ] h lim i α i [ θ [ H p ( Ω i , Ω i + 1 ) ] k i 1 ] = 0 .
Hence,
lim i i [ H p ( Ω i , Ω i + 1 ) ] h = 0 ,
and thus, by definition, there exists N * , such that
H p ( Ω i , Ω i + 1 ) 1 i 1 h , i N * .
Now, for any natural numbers m , n with m n N * and by following (13), we obtain
H p ( Ω n , Ω m ) i = n m 1 1 i 1 h i = n 1 i 1 h .
Since h ( 0 , 1 ) , the series on right is convergent; thus, by taking the limits n , m , we obtain
lim n , m H p ( Ω n , Ω m ) lim n , m i = n 1 i 1 h = 0 .
Thus, { Ω n } is a Cauchy sequence in C p ( Υ ) . Since ( C p ( Υ ) , H p ) is complete, there exists £ C p ( Υ ) such that lim i Ω i = £ , that is,
lim i H p ( Ω i , £ ) = lim i H p ( Ω i , Ω i + 1 ) = H p ( £ , £ ) ,
so we have
lim i H p ( Ω n , £ ) = 0 and H p ( £ , £ ) = 0 .
Now, to show that ψ ( £ ) = £ , we assume ψ ( £ ) £ and H p ( ψ ( £ ) , £ ) 0 ; thus, by using the fact that ( ψ , ϕ ) is a generalized Hutchinson θ -contractive operator and θ is continuous, we obtain
θ ( H p ( ψ ( £ ) , £ ) ) = θ ( lim i H p ( ψ ( £ ) , Ω 2 i + 2 ) ) , = lim i θ ( H p ( ψ ( £ ) , ϕ ( Ω 2 i + 1 ) ) ) lim i [ θ ( M ψ , ϕ ( £ , Ω 2 i + 1 ) ) ] k ,
where
M ψ , ϕ ( £ , Ω 2 i + 1 ) = max { H p ( £ , Ω 2 i + 1 ) , H p ( £ , ψ ( £ ) ) , H p ( Ω 2 i + 1 , ϕ ( Ω 2 i + 1 ) ) , H p ( £ , ϕ ( Ω 2 i + 1 ) ) + H p ( Ω 2 i + 1 , ψ ( £ ) ) 2 } .
If M ψ , ϕ ( £ , Ω 2 i + 1 ) = H p ( £ , Ω 2 i + 1 ) , then
θ ( H p ( ψ ( £ ) , £ ) ) lim i [ θ ( H p ( £ , Ω 2 i + 1 ) ) ] k = [ θ ( lim i H p ( £ , Ω 2 i + 1 ) ) ] k = θ ( H p ( £ , £ ) ) k < θ ( H p ( £ , £ ) ) ,
which is a contradiction, because by Lemma 1, we have H p ( £ , £ ) H p ( ψ ( £ ) , £ ) , and θ is non-decreasing.
If M ψ , ϕ ( £ , Ω 2 i + 1 ) = H p ( £ , ψ ( £ ) ) , then θ ( H p ( ψ ( £ ) , £ ) ) < θ ( H p ( £ , ψ ( £ ) ) ) , which is again a contradiction.
If M ψ , ϕ ( £ , Ω 2 i + 1 ) = H p ( Ω 2 i + 1 , ϕ ( Ω 2 i + 1 ) ) , then θ ( H p ( ψ ( £ ) , £ ) ) < θ ( H p ( £ , £ ) ) , which is a contradiction.
If
M ψ , ϕ ( £ , Ω 2 i + 1 ) = H p ( £ , ϕ ( Ω 2 i + 1 ) ) + H p ( Ω 2 i + 1 , ψ ( £ ) ) 2 ,
then
θ ( H p ( ψ ( £ ) , £ ) ) lim i θ ( H p ( £ , ϕ ( Ω 2 i + 1 ) ) ) + H p ( Ω 2 i + 1 , ψ ( £ ) ) 2 k [ θ ( H p ( £ , ψ ( £ ) ) ) ] k < θ ( H p ( £ , ψ ( £ ) ) ,
which gives a contradiction.
Consequently, in all the cases above, we get a contradiction; thus,
H p ( ψ ( £ ) , £ ) = 0 £ = ψ ( £ ) .
Also, to show that ϕ ( £ ) = £ , for the sake of contradiction, we assume that H p ( £ , ϕ ( £ ) ) 0 ; then, we have
θ ( H p ( £ , ϕ ( £ ) ) ) = θ ( lim i H p ( Ω 2 i + 1 , ϕ ( £ ) ) ) = lim i θ ( H p ( ψ ( Ω 2 i ) , ϕ ( £ ) ) ) lim i [ θ ( M ψ , ϕ ( Ω 2 i , £ ) ) ] k ,
where
M ψ , ϕ ( Ω 2 i , £ ) = max { H p ( Ω 2 i , £ ) , H p ( Ω 2 i , ψ ( Ω 2 i ) ) , H p ( £ , ϕ ( £ ) ) , H p ( Ω 2 i , ϕ ( £ ) ) + H p ( £ , ψ ( Ω 2 i ) ) 2 } , = max { H p ( Ω 2 i , £ ) , H p ( Ω 2 i , Ω 2 i + 1 ) , H p ( £ , ϕ ( £ ) ) , H p ( Ω 2 i , ϕ ( £ ) ) + H p ( £ , Ω 2 i + 1 ) 2 } .
Now, we discuss the following possible cases:
If M ψ , ϕ ( Ω 2 i , £ ) = H p ( Ω 2 i , £ ) , then, from (14), we have
θ ( H p ( £ , ϕ ( £ ) ) ) lim i [ θ ( H p ( Ω 2 i , £ ) ) ] k = [ θ ( lim i H p ( Ω 2 i , £ ) ) ] k , = θ ( H p ( £ , £ ) ) k < θ ( H p ( £ , £ ) ) ,
which is a contradiction because θ is non-decreasing.
If M ψ , ϕ ( Ω 2 i , £ ) = H p ( Ω 2 i , Ω 2 i + 1 ) , then from (14), we obtain θ ( H p ( £ , ϕ ( £ ) ) ) < θ ( H p ( £ , £ ) ) , thus presenting a contradiction.
If M ψ , ϕ ( Ω 2 i , £ ) = H p ( £ , ϕ ( £ ) ) , then from (14), we obtain θ ( H p ( £ , ϕ ( £ ) ) ) < θ ( H p ( £ , ϕ ( £ ) ) ) , a contradiction.
If
M ψ , ϕ ( Ω 2 i , £ ) = H p ( Ω 2 i , ϕ ( £ ) ) + H p ( £ , Ω 2 i + 1 ) 2 ,
then from (14), we obtain
θ ( H p ( £ , ϕ ( £ ) ) ) lim i θ ( H p ( Ω 2 i , ϕ ( £ ) ) ) + H p ( £ , Ω 2 i + 1 ) 2 k , [ θ ( H p ( £ , ϕ ( £ ) ) ] k < θ ( H p ( £ , ϕ ( £ ) ) .
a contradiction.
Hence, from all the above cases, we conclude that
H p ( £ , ϕ ( £ ) ) = 0 £ = ϕ ( £ ) ;
thus, ψ ( £ ) = £ = ϕ ( £ ) . Hence, £ is the common attractor for ψ and ϕ . Now, to show that £ is unique for the sake of contradiction, we suppose that V is another common attractor for ψ and ϕ , so we have
θ ( H p ( £ , V ) ) = θ ( H p ( ψ ( £ ) , ϕ ( V ) ) ) [ θ ( M ψ , ϕ ( £ , V ) ) ] k < θ ( H p ( £ , V ) ) ,
a contradiction. □
Remark 1. 
If we take metric space ( Υ , d ) instead of a partial metric and h i = g i for all i = 1 , 2 , 3 , r , in a θ-generalized IFS, then Theorem 2.7 of [15] becomes special cases of our main result Theorem 3.
Remark 2. 
Let S p ( Υ ) be the collection of all singleton subsets of a partial metric space ( Υ , p ) ; then, S p ( Υ ) C p ( Υ ) . Moreover, if we consider h k = h and g k = g for every k, then the pair of operators ( ψ , ϕ ) becomes
( ψ ( { ϱ 1 } ) , ϕ ( { ϱ 2 } ) ) = ( h ( ϱ 1 ) , g ( ϱ 2 ) ) )
Thus, with these settings, we can obtain the following result:
Corollary 2. 
Let ( Υ , p ) be a complete partial metric space, and
{ Υ ; ( h k , g k ) , k = 1 , 2 , , r }
is a generalized IFS, and define a pair of mappings h , g : Υ Υ as in Remark 2. If some k [ 0 , 1 ) and θ Θ exist such that for any ϱ 1 , ϱ 2 Υ , the following condition holds:
θ ( p ( h ( ϱ 1 ) , g ( ϱ 2 ) ) θ ( Z h , g ( ϱ 1 , ϱ 2 ) ) k ,
where
Z h , g ( ϱ 1 , ϱ 2 ) = max { p ( ϱ 1 , ϱ 2 ) , p ( ϱ 1 , h ( ϱ 1 ) ) , p ( ϱ 2 , g ( ϱ 2 ) ) , p ( ϱ 1 , g ( ϱ 2 ) ) + p ( ϱ 2 , h ( ϱ 1 ) ) 2 } .
Then, h and g have a unique common fixed point u 0 Υ . Furthermore, for any u Υ , the sequence { u 0 , h u 0 , g h u 0 , h g h u 0 , } converges to the common fixed point of h and g .
Theorem 4. 
Let ( Υ , p ) be a complete partial metric space and
{ Υ ; ( h i , g i ) , i = 1 , 2 , , r }
be the generalized θ-contractive IFS, and the pair ( ψ , ϕ ) is a generalized rational Hutchinson θ-contractive operator; then, ψ and ϕ have a unique common attractor. Moreover, for any Ω 0 C p ( Υ ) , the sequence
{ Ω 0 , ψ ( Ω 0 ) , ϕ ψ ( Ω 0 ) , , }
converges to the common attractor of ψ and ϕ .
Proof. 
Choose Ω 0 C p ( Υ ) and define a sequence as follows:
Ω 1 = ψ ( Ω 0 ) , Ω 3 = ψ ( Ω 2 ) , , Ω 2 i + 1 = ψ ( Ω 2 i ) ,
Ω 2 = ϕ ( Ω 1 ) , Ω 4 = ϕ ( Ω 3 ) , , Ω 2 i + 2 = ψ ( Ω 2 i + 1 ) ,
for any i { 0 , 1 , 2 , 3 , , } . Assuming that no three consecutive terms in the sequence are identical, then by using the fact that ( ψ , ϕ ) is a generalized rational Hutchinson θ -contractive operator, we have
θ ( H p ( Ω 2 i + 1 , Ω 2 i ) ) [ θ ( R ψ , ϕ ( Ω 2 i , Ω 2 i + 1 ) ) ] k ,
where
R ψ , ϕ ( Ω 2 i , Ω 2 i + 1 ) = max { H p ( Ω 2 i , ϕ ( Ω 2 i + 1 ) ) [ 1 + H p ( Ω 2 i , ψ ( Ω 2 i ) ) ] 2 ( 1 + H p ( Ω 2 i , Ω 2 i + 1 ) ) , H p ( Ω 2 i + 1 , ϕ ( Ω 2 i + 1 ) ) [ 1 + H p ( Ω 2 i , ψ ( Ω 2 i ) ] 1 + H p ( Ω 2 i , Ω 2 i + 1 ) , H p ( Ω 2 i , Ω 2 i + 1 ) [ 1 + H p ( Ω 2 i , ψ ( Ω 2 i ) ] 1 + H p ( Ω 2 i , Ω 2 i + 1 ) } = max H p ( Ω 2 i , Ω 2 i + 2 ) 2 , H p ( Ω 2 i + 1 , Ω 2 i + 2 ) , H p ( Ω 2 i , Ω 2 i + 1 ) max H p ( Ω 2 i , Ω 2 i + 1 ) , H p ( Ω 2 i + 1 , Ω 2 i + 2 ) ,
and since max { H p ( Ω 2 i , Ω 2 i + 1 ) , H p ( Ω 2 i + 1 , Ω 2 i + 2 ) } = H p ( Ω 2 i + 1 , Ω 2 i + 2 ) is not possible, we have
θ ( H p ( Ω 2 i + 1 , Ω 2 i + 2 ) ) [ θ ( H p ( Ω 2 i , Ω 2 i + 1 ) ) ] k ,
and similarly
θ ( H p ( Ω 2 i , Ω 2 i + 1 ) ) [ θ ( H p ( Ω 2 i 1 , Ω 2 i ) ] k .
Thus, for any i { 0 , 1 , 2 , 3 , } , we have
θ ( H p ( Ω i , Ω i + 1 ) ) [ θ ( H p ( Ω i 1 , Ω i ) ) ] k .
Furthermore,
θ ( H p ( Ω i , Ω i + 1 ) ) [ θ ( H p ( Ω 0 , Ω 1 ) ) ] k i .
By taking limit i on both sides, we obtain
lim i θ ( H p ( Ω i , Ω i + 1 ) ) = 1 ,
so, by θ 2 condition, we obtain
lim i H p ( Ω i , Ω i + 1 ) = 0 .
Moreover, by θ 3 condition, there exists h ( 0 , 1 ) such that
lim i i H p ( Ω i , Ω i + 1 ) h = 0 .
By the definition of the limit, there exists N 1 , such that
H p ( Ω i , Ω i + 1 ) 1 i 1 h , i N 1 .
Now, for natural numbers n , m with m > n N 1 , we have
lim n , m H p ( Ω n , Ω m ) lim n , m i = n m 1 1 i 1 h = 0
Therefore, { Ω i } is a Cauchy sequence. Since ( C p ( Υ ) , H p ) is complete, there exists £ C p ( Υ ) such that ( Ω i ) converges to £ . Thus,
lim i + H p ( Ω i , £ ) = lim i + H p ( Ω i , Ω i + 1 ) = H p ( £ , £ ) ,
and thus,
lim i + H p ( Ω i , £ ) = 0 and H p ( £ , £ ) = 0 .
Now, first we show that ψ ( £ ) = £ ; for this, we let H p ( ψ ( £ ) , £ ) 0 . Now, by using the fact that ( ψ , ϕ ) is a generalized rational Hutchinson θ -contractive operator and θ is continuous, we have
θ ( H p ( ψ ( £ ) , £ ) ) = lim i θ ( H p ( ψ ( £ ) , ϕ ( Ω 2 i + 1 ) ) ) lim i [ θ ( R ψ , ϕ ( £ , Ω 2 i + 1 ) ) ] k ,
where
R ψ , ϕ ( £ , Ω 2 i + 1 ) = max { H p ( £ , ϕ ( Ω 2 i + 1 ) ) [ 1 + H p ( £ , ψ ( £ ) ) ] 2 ( 1 + H p ( £ , Ω 2 i + 1 ) ) , H p ( Ω 2 i + 1 , ϕ ( Ω 2 i + 1 ) ) [ 1 + H p ( £ , ψ ( £ ) ) ] 1 + H p ( £ , Ω 2 i + 1 ) , H p ( £ , Ω 2 i + 1 ) [ 1 + H p ( £ , ψ ( £ ) ) ] 1 + H p ( £ , Ω 2 i + 1 ) } = max { H p ( £ , Ω 2 i + 2 ) [ 1 + H p ( £ , ψ ( £ ) ) ] 2 ( 1 + H p ( £ , Ω 2 i + 1 ) ) , H p ( Ω 2 i + 1 , Ω 2 i + 2 ) [ 1 + H p ( £ , ψ ( £ ) ) ] 1 + H p ( £ , Ω 2 i + 1 ) , H p ( £ , Ω 2 i + 1 ) [ 1 + H p ( £ , ψ ( £ ) ) ] 1 + H p ( £ , Ω 2 i + 1 ) } .
For all three possible cases of R ψ , ϕ ( £ , Ω 2 i + 1 ) , we obtain θ ( H p ( ψ ( £ ) , £ ) ) < θ ( 0 ) , but since θ is non-decreasing, we have H p ( ψ ( £ ) , £ ) < 0 , which is not possible. Hence, we reach a contradiction. So our supposition is wrong, and thus, we have H p ( ψ ( £ ) , £ ) = 0 ; hence, ψ ( £ ) = £ . In a similar way, to show that ϕ ( £ ) = £ , for the sake of contradiction, we assume that H p ( £ , ϕ ( £ ) ) 0 , so by continuity of θ , we have
θ ( H p ( £ , ϕ ( £ ) ) = lim i θ ( H p ( ψ ( Ω 2 i ) , ϕ ( £ ) ) ) lim i [ θ ( R ψ , ϕ ( Ω 2 i , £ ) ) ] k ,
where
R ψ , ϕ ( Ω 2 i , £ ) = max { H p ( Ω 2 i , ϕ ( £ ) ) [ 1 + H p ( Ω 2 i , Ω 2 i + 1 ) ] 2 ( 1 + H p ( Ω 2 i , £ ) ) , H p ( £ , ϕ ( £ ) ) [ 1 + H p ( Ω 2 i , Ω 2 i + 1 ) ] 1 + H p ( Ω 2 i , £ ) , H p ( Ω 2 i , £ ) [ 1 + H p ( Ω 2 i , Ω 2 i + 1 ) ] 1 + H p ( Ω 2 i , £ ) } .
Now, we discuss all possible cases for R ψ , ϕ .
If
R ψ , ϕ ( Ω 2 i , £ ) ) = H p ( Ω 2 i , ϕ ( £ ) ) [ 1 + H p ( Ω 2 i , Ω 2 i + 1 ) ] 2 ( 1 + H p ( Ω 2 i , £ ) ) ,
or
R ψ , ϕ ( Ω 2 i , £ ) = H p ( Ω 2 i , £ ) [ 1 + H p ( Ω 2 i , Ω 2 i + 1 ) ] 1 + H p ( Ω 2 i , £ ) ,
then we have θ ( H p ( £ , ϕ ( £ ) ) ) < θ ( 0 ) , which is not possible. Moreover, if
R ψ , ϕ ( Ω 2 i , £ ) ) = H p ( £ , ϕ ( £ ) ) [ 1 + H p ( Ω 2 i , Ω 2 i + 1 ) ] 1 + H p ( Ω 2 i , £ ) ,
then by (18), we obtain θ ( H p ( £ , ϕ ( £ ) ) ) < θ ( H p ( £ , ϕ ( £ ) ) ) , which is again not possible. Hence, in all the possible cases, we get a contradiction, so our supposition is wrong; thus, we have H p ( £ , ϕ ( £ ) ) = 0 , and hence, ϕ ( £ ) = £ . Consequently, we have ψ ( £ ) = £ = ϕ ( £ ) , and hence, £ is the common attractor for ψ and ϕ . Now, we show that £ is unique. For this, for the sake of contradiction, assume that V is another common attractor for ψ and ϕ . Thus,
θ ( H p ( £ , V ) ) = θ ( H p ( ψ ( £ ) , ϕ ( V ) ) ) [ θ ( R ψ , ϕ ( £ , V ) ) ] k < H p ( £ , V ) ,
a contradiction. □
Remark 3. 
Since the function θ ( t ) = e t satisfies all the required conditions to be part of the class Θ, it follows that for this particular choice of θ in Θ, Theorems 3.1 and 3.7 of [14] are special cases of our Theorem 3 and Theorem 4, respectively.

3. Examples

Example 1. 
Let ( Υ , p ) be a partial metric space with Υ = [ 0 , 1 ] , and for any ϱ , ς Υ , p : Υ × Υ R is defined as follows:
p ( ϱ , ς ) = max { ϱ , ς } .
Moreover, we define h i , g i : Υ Υ , i = 1 , 2 , 3 , as follows:
h 1 ( ϱ ) = ϱ 2 , h 2 ( ϱ ) = ϱ 3 , h 3 ( ϱ ) = ϱ 5 , g 1 ( ϱ ) = ϱ 4 , g 2 ( ϱ ) = ϱ 6 , g 3 ( ϱ ) = ϱ 10 .
Thus, for θ ( t ) = e t , we have θ ( ( p ( h 1 ( ϱ ) , g 1 ( ς ) ) ) = e ( p ( h 1 ( ϱ ) , g 1 ( ς ) ) ) = e max { ϱ 2 , ς 4 } = ( e max { ϱ , ς 2 } ) 1 2 ( e max { ϱ , ς } ) 1 2 = θ ( p ( ϱ , ς ) ) 1 2 . Moreover, θ ( p ( h 2 ( ϱ ) , g 2 ( ς ) ) ) θ ( p ( ϱ , ς ) ) 1 3 and θ ( p ( h 3 ( ϱ ) , g 3 ( ς ) ) ) θ ( p ( ϱ , ς ) ) 1 5 . Hence, ( h i , g i ) is a pair of generalized θ-contractive mappings; thus, by Theorem 2, for any Ω , C p ( Υ ) , we have
θ ( H ( ψ ( Ω ) , ϕ ( ) ) ) θ ( H ( Ω , ) ) k
where ψ ( Ω ) = h 1 ( Ω ) h 2 ( Ω ) h 3 ( Ω ) , ϕ ( ) = g 1 ( ) g 2 ( ) g 3 ( ) , and k = max { 1 / 2 , 1 / 3 , 1 / 5 } = 1 / 2 . Since θ is non-decreasing, we have θ ( H ( Ω , ) ) θ ( M ψ , ϕ ( Ω , ) ) . Thus, we have
θ ( H ( ψ ( Ω ) , ϕ ( ) ) ) θ ( M ψ , ϕ ( Ω , ) ) k .
Hence, ( ψ , ϕ ) is a generalized θ-contractive Hutchinson operator, so by Theorem 3, ψ , ϕ have a unique common attractor, which is actually at £ = { 0 } . In Figure 2, Figure 2a–c represent the values of h i ( Ω ) , i = 1 , 2 , 3 for different iterations. The first horizontal line corresponds to Ω = [ 0 , 1 ] , and the second, third, and fourth lines parallel to the horizontal axis represent the images of h i 2 ( Ω ) , h i 3 ( Ω ) , and h i 4 ( Ω ) , respectively. Moreover, the parallel lines in Figure 2d correspond to Ω ,   ψ ( Ω ) ,   ψ 2 ( Ω ) ,   ψ 3 ( Ω ) , and ψ 4 ( Ω ) , respectively. Also, in Figure 3, Figure 3a–c represent the values of g i ( Ω ) , i = 1 , 2 , 3 for different iterations. The first horizontal line corresponds to Ω = [ 0 , 1 ] , and the second, third, and fourth lines parallel to the horizontal axis represent the images of g i 2 ( Ω ) ,   g i 3 ( Ω ) , and g i 4 ( Ω ) , respectively. Moreover, the parallel lines in Figure 3d correspond to Ω ,   ϕ ( Ω ) ,   ϕ 2 ( Ω ) ,   ϕ 3 ( Ω ) , and ϕ 4 ( Ω ) , respectively.
Example 2. 
Let Υ = [ 0 , 1 ] × [ 0 , 1 ] with a partial metric p : Υ × Υ R be defined for any ϱ = ( ϱ 1 , ς 1 ) ,   ς = ( ϱ 2 , ς 2 ) Υ as follows:
p ( ϱ , ς ) = ( ϱ 1 ϱ 2 ) 2 + ( ς 1 ς 2 ) 2 + b ,
where b 0 . Let h i , g i : Υ Υ , f o r i = 1 , 2 , be self-mappings defined as
h 1 ( ϱ , ς ) = s i n ϱ 1 + s i n ϱ , 1 1 + ς , g 1 ( ϱ , ς ) = ϱ 1 + ϱ , 1 1 + ς
and
h 2 ( ϱ , ς ) = s i n ϱ 1 + s i n ϱ , 1 1 + s i n ς , g 2 ( ϱ , ς ) = ϱ 1 + ϱ , 1 1 + s i n ς .
Thus,
p ( h 1 ( ϱ ) , g 1 ( ς ) ) = p ( h 1 ( ϱ 1 , ς 1 ) , g 1 ( ϱ 2 , ς 2 ) ) = s i n ϱ 1 1 + s i n ϱ 1 ϱ 2 1 + ϱ 2 2 + 1 1 + s i n ς 1 1 1 + ς 2 2 + b = ( s i n ϱ 1 ϱ 2 ) 2 ( 1 + s i n ϱ 1 ) 2 ( 1 + ϱ 2 ) 2 + ( ς 1 ς 2 ) 2 ( 1 + ς 2 ) 2 ( 1 + s i n ς 1 ) 2 + b < ( s i n ϱ 1 ϱ 2 ) 2 + ( ς 1 ς 2 ) 2 + b ( ϱ 1 ϱ 2 ) 2 + ( ς 1 ς 2 ) 2 + b = p ( ϱ , ς ) .
Similarly, p ( h 2 ( ϱ ) , g 2 ( ς ) ) < p ( ϱ , ς ) ; hence, for any θ Θ and i = 1 , 2 , we have θ ( p ( h i ( ϱ ) , g i ( ς ) ) ) < θ ( p ( ϱ , ς ) ) , so there exist k i such that θ ( p ( h i ( ϱ ) , g i ( ς ) ) ) θ ( p ( ϱ , ς ) ) k i , and thus ( h i , g i ) is a generalized θ-contraction. Thus, by Theorem 2, ( ψ , ϕ ) is a generalized θ-contractive Hutchinson operator, so by Theorem 3, ψ and ϕ have a unique common attractor, which is actually at £ = { ( 0 , 0 ) } .  Figure 4 and Figure 5 show the images for different iterations of h 1 ,   h 2 ,   ψ and g 1 ,   g 2 ,   ϕ , respectively.
Example 3. 
Let Υ = [ 0 , 1 ] × [ 0 , 1 ] × [ 0 , 1 ] with a partial metric p : Υ × Υ R be defined for any ϱ = ( ϱ 1 , ς 1 , z 1 ) ,   ς = ( ϱ 2 , ς 2 , z 2 ) Υ as follows:
p ( ϱ , ς ) = ( ϱ 1 ϱ 2 ) 2 + ( ς 1 ς 2 ) 2 + ( z 1 z 2 ) 2 + b ,
where b 0 . Let h , g : Υ Υ be self-mappings defined as h ( ϱ 1 , ς 1 , z 1 ) = ( ϱ 1 6 , ς 1 27 , z 1 12 ) and g ( ϱ 2 , ς 2 , z 2 ) = ( ϱ 2 18 , ς 2 9 , z 2 36 ) ; then,
p ( h ( ϱ ) , g ( ς ) ) = ϱ 1 6 ϱ 2 18 2 + ς 1 27 ς 2 9 2 + z 1 12 z 2 36 2 + b 1 6 ϱ 1 ϱ 2 3 2 + ς 1 ς 2 3 2 + z 1 z 2 3 2 + b ϱ 1 ϱ 2 2 + ς 1 ς 2 2 + z 1 z 2 2 + b = p ( ϱ , ς ) .
Thus, for any θ Θ , we have θ ( p ( h ( ϱ ) , g ( ς ) ) ) θ ( ϱ , ς ) ; hence, ( h , g ) is a generalized θ-contractive mapping, and thus, by Theorem 2, ( ψ , ϕ ) is a generalized θ-Hutchinson contractive operator. Here, for any Ω , C p ( Υ ) , ψ ( Ω ) = h ( Ω ) = { h ( ϱ ) ; ϱ Ω } and ϕ ( ) = g ( ) = { g ( ϱ ) ; ϱ } . Hence, by Theorem 3, ψ and ϕ have a unique common fixed attractor, which is actually at { ( 0 , 0 , 0 ) } . In Figure 6, the images show different iterations for ψ, while the images for different iterations of ϕ are similar as shown in Figure 6, so that is why we show the different iterations of ϕ under the influence of ψ in Figure 7; furthermore, Figure 8 provides the different iterations as in the previous two figures for the settings of the common attractors for ψ and ϕ .

4. Application to Functional Equation

In this section, we present an application of our main result by solving a functional equation that arises in dynamic programming. For a deeper understanding of functional equations in dynamic programming, one may refer to [17,18] and the references therein. Consider W 1 , W 2 to be Banach spaces with V 1 , V 2 as their sub spaces, respectively. Suppose k : V 1 × V 2 V 1 , g 1 , g 2 : V 1 × V 2 R , and h 1 , h 2 : V 1 × V 2 × R R . If we consider V 1 and V 2 as the state and decision spaces, respectively, then the problem of dynamic programming reduces to the problem of solving the functional equations:
q 1 ( ϱ ) = sup ς V 2 { g 1 ( ϱ , ς ) + h 1 ( ϱ , ς , q 1 ( k ( ϱ , ς ) ) ) } , ϱ V 1 ,
q 2 ( ϱ ) = sup ς V 2 { g 1 ( ϱ , ς ) + h 2 ( ϱ , ς , q 2 ( k ( ϱ , ς ) ) ) } , ϱ V 1 .
The above equations can be reformulated as
q 1 ( ϱ ) = sup ς V 2 { g 2 ( ϱ , ς ) + h 1 ( ϱ , ς , q 1 ( k ( ϱ , ς ) ) ) } b , ϱ V 1 ,
q 2 ( ϱ ) = sup ς V 2 { g 2 ( ϱ , ς ) + h 2 ( ϱ , ς , q 2 ( k ( ϱ , ς ) ) ) } b , ϱ V 1 ,
where b > 0 . Let ( V 1 ) be the collection of bounded real valued functions which are defined on V 1 , and for any τ ( V 1 ) , the norm . on ( V 1 ) is defined as follows:
τ = sup t V 1 | τ ( t ) | .
Thus, ( V 1 ) along with the above norm is a Banach space. Moreover, the following is the partial metric on ( V 1 ) :
p ( τ , ξ ) = sup t V 1 τ ( t ) ξ ( t ) + b ,
where τ , ξ ( V 1 ) and b 0 . Assume that
( C 1 )
g 1 ,   g 2 ,   h 1 , and h 2 are bounded and continuous.
( C 2 )
For ϱ V 1 , τ ( V 1 ) and b > 0 , take ϑ , ϕ : ( V 1 ) ( V 1 ) as
ϑ τ ( ϱ ) = sup ς V 2 { g 2 ( ϱ , ς ) + h 1 ( ϱ , ς , τ ( k ( ϱ , ς ) ) ) } b , ϱ V 1
ϕ τ ( ϱ ) = sup ς V 2 { g 2 ( ϱ , ς ) + h 2 ( ϱ , ς , τ ( k ( ϱ , ς ) ) ) } b , ϱ V 1 .
Moreover, for every ( ϱ , ς ) V 1 × V 2 , τ , ξ ( V 1 ) and t V 1 , the following is implied:
θ ( p ( h 1 ( τ ) , h 2 ( ϑ ) ) + b ) θ ( Z ϑ , ϕ ( τ ( t ) , ξ ( t ) ) ) k ,
where
Z ϑ , ϕ ( τ ( t ) , ξ ( t ) ) = max { p ( τ ( t ) , ξ ( t ) ) , p ( τ ( t ) , ϑ τ ( t ) ) , p ( ξ ( t ) , ϕ ( ξ ( t ) ) , p ( τ ( t ) , ϕ ξ ( t ) ) + p ( ξ ( t ) , ϑ τ ( t ) ) 2 } .
Theorem 5. 
Assume that the conditions ( C 1 ) and ( C 2 ) hold. Then, the functional equations
q 1 ( ϱ ) = sup ς V 2 { g 2 ( ϱ , ς ) + h 1 ( ϱ , ς , q 1 ( k ( ϱ , ς ) ) ) } b , ϱ V 1 ,
q 2 ( ϱ ) = sup ς V 2 { g 2 ( ϱ , ς ) + h 2 ( ϱ , ς , q 2 ( k ( ϱ , ς ) ) ) } b , ϱ V 1 ,
have a unique common and bounded solution in ( V 1 ) .
Proof. 
Since ( ( V 1 ) , p ) is a complete partial metric space, by ( C 1 ) condition, ϑ and ϕ are self-mappings of ( V 1 ) . Moreover, by the definition of the supremum and the C 2 condition, it follows that for any τ , ξ ( V 1 ) and b > 0 , we can choose ϱ V 1 and ς 1 , ς 2 V 2 such that
ϑ τ < g 2 ( ϱ , ς 1 ) + h 1 ( ϱ , ς 1 , τ ( k ( ϱ , ς 1 ) ) )
ϕ ξ < g 2 ( ϱ , ς 2 ) + h 2 ( ϱ , ς 2 , τ ( k ( ϱ , ς 2 ) ) ) ,
which further implies that
ϑ τ g 2 ( ϱ , ς 2 ) + h 1 ( ϱ , ς 2 , τ ( k ( ϱ , ς 2 ) ) ) b ,
ϕ ξ g 2 ( ϱ , ς 1 ) + h 2 ( ϱ , ς 1 , τ ( k ( ϱ , ς 1 ) ) ) b .
From (25) and (28), we obtain
ϑ τ ( t ) ϕ ξ ( t ) < h 1 ( ϱ , ς 1 , τ ( k ( ϱ , ς 1 ) ) ) h 2 ( ϱ , ς 1 ) , ξ ( k ( ϱ , ς 1 ) ) + b h 1 ( ϱ , ς 1 , τ ( k ( ϱ , ς 1 ) ) ) h 2 ( ϱ , ς 1 ) , ξ ( k ( ϱ , ς 1 ) ) + b = p ( h 1 ( τ ) , h 2 ( ϑ ) ) .
From (26) and (27), we obtain
ϑ τ ( t ) ϕ ξ ( t ) < h 2 ( ϱ , ς 2 , ξ ( k ( ϱ , ς 2 ) ) ) h 1 ( ϱ , ς 2 ) , τ ( k ( ϱ , ς 2 ) ) + b h 1 ( ϱ , ς 2 , τ ( k ( ϱ , ς 2 ) ) ) h 2 ( ϱ , ς 2 ) , ξ ( k ( ϱ , ς 2 ) ) + b = p ( h 1 ( τ ) , h 2 ( ϑ ) ) .
From (29) and (30), we obtain
p ( h 1 ( τ ) , h 2 ( ϑ ) ) ϑ τ ( t ) ϕ ξ ( t ) p ( h 1 ( τ ) , h 2 ( ϑ ) ) .
Hence,
ϑ τ ( t ) ϕ ξ ( t ) p ( h 1 ( τ ) , h 2 ( ϑ ) ) ,
or
ϑ τ ( t ) ϕ ξ ( t ) + b p ( h 1 ( τ ) , h 2 ( ϑ ) ) + b ,
and thus
p ( ϑ τ , ϕ ξ ) p ( h 1 ( τ ) , h 2 ( ϑ ) ) + b .
Since θ is non-decreasing, we have
θ ( p ( ϑ τ , ϕ ξ ) ) θ ( p ( h 1 ( τ ) , h 2 ( ϑ ) ) + b ) .
Hence, by applying C 2 , we obtain
θ ( p ( ϑ τ , ϕ ξ ) ) θ ( p ( h 1 ( τ ) , h 2 ( ϑ ) ) + b ) θ ( Z ϑ , ϕ ( τ ( t ) , ξ ( t ) ) k ,
where Z ϑ , ϕ ( τ ( t ) , ξ ( t ) ) is the same as defined in (24). Thus, all requirements of Corollary 2 are satisfied. Hence, there exists a common fixed point of ϑ and ϕ that is τ * ( V 1 ) , where τ * ( t ) is a common solution of functional Equations (19) and (20). □

5. Conclusions

This work focuses on a generalized framework for the study of attractors, which are among the most fascinating aspects of mathematics due to their intricate and visually appealing patterns. The primary results of this study are Theorems 3 and 4. In Theorem 3, we investigate the existence and uniqueness of common attractors for generalized Hutchinson θ -contractive operators. In Theorem 4, we extend these results to a more generalized setting by considering cases where the Hausdorff metric appears in the denominator. Specifically, we establish the existence and uniqueness of common attractors for generalized rational Hutchinson θ -contractive operators. Consequently, our findings generalize numerous existing results in the literature, as highlighted in Remarks 2 and 3.
A particularly interesting aspect of this work is the illustration of these theoretical results with intuitive and easily comprehensible examples in one-, two-, and three-dimensional Euclidean spaces. We not only justify our theoretical claims but also provide graphical representations of these examples in R , R 2 , and R 3 . The attractors manifest as lines in the one-dimensional case, strips in the two-dimensional case, and cubes in the three-dimensional case. Through iterative computations, we verify the existence of common attractors in each scenario, distinguishing them using different colors for better visualization.
In the final section of this manuscript, we further validate our main results by applying them to a problem in dynamical systems. Specifically, we demonstrate the effectiveness of our approach by solving a functional equation arising in dynamic programming. This application reinforces the practical significance and broad applicability of our findings.
For future research, this framework can be extended by exploring different types of contraction mappings and visualizing their effects on attractor formation. Additionally, instead of relying solely on metric structures, one can investigate more generalized topological or algebraic frameworks to analyze the validity of such results. Another promising direction is the construction of more complex and innovative examples, as this study primarily focuses on cases that are easily understandable for readers. Furthermore, the applicability of these theoretical findings in other mathematical fields can be explored, leading to new results and deeper insights.
Overall, this study contributes to a deeper understanding of attractors and their mathematical properties, providing both theoretical advancements and practical insights into their structure and behavior.

Author Contributions

Conceptualization, A.R. and M.A.; methodology, N.S.; software, N.S. and S.A.; validation, N.S., A.R. and M.D.l.S.; formal analysis, N.S. and M.A.; investigation, M.D.l.S.; writing—original draft preparation, N.S. and A.R.; writing—review and editing, M.A. and M.D.l.S.; funding acquisition, M.D.l.S. All authors have read and agreed to the published version of the manuscript.

Funding

The authors would like to thank the Basque Government for funding this research work through Grant IT1555-22. They also thank MICIU/AEI/10.13039/501100011033 and FEDER/UE for partially funding their research work through Grants PID2021-123543OB-C21 and PID2021-123543OB-C22.

Data Availability Statement

The data presented in this study are available on request from the corresponding author.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Hutchinson, J.E. Fractals and self-similarity. Indiana Univ. Math. J. 1981, 30, 713–747. [Google Scholar] [CrossRef]
  2. Barnsley, M.F.; Rising, H. Fractals Everywhere; Morgan Kaufmann: San Francisco, CA, USA, 1993. [Google Scholar]
  3. Iqbal, B.; Saleem, N.; Iqbal, I.; Aphane, M. Common Attractors of Generalized Hutchinson–Wardowski Contractive Operators. Fractal Fract. 2024, 8, 651. [Google Scholar] [CrossRef]
  4. Nazir, T.; Silvestrov, S. Common Attractors for Generalized F-Iterated Function Systems in G-Metric Spaces. Fractal Fract. 2024, 8, 346. [Google Scholar] [CrossRef]
  5. Ashwin, P.; Fadera, M.; Postlethwaite, C. Network attractors and nonlinear dynamics of neural computation. Curr. Opin. Neurobiol. 2024, 84, 102818. [Google Scholar] [CrossRef] [PubMed]
  6. Gu, H.; Li, C.; Li, Y.; Ge, X.; Lei, T. Various patterns of coexisting attractors in a hyperchaotic map. Nonlinear Dyn. 2023, 111, 7807–7818. [Google Scholar] [CrossRef]
  7. Karatetskaia, E.; Kazakov, A.; Safonov, K.; Turaev, D. Analytic proof of the emergence of new type of Lorenz-like attractors from the triple instability in systems with Z4-symmetry. J. Differ. Equ. 2025. [Google Scholar] [CrossRef]
  8. Shaheryar, M.; Ud Din, F.; Hussain, A.; Alsulami, H. Fixed point results for fuzzy enriched contraction in fuzzy Banach spaces with applications to fractals and dynamic market equilibrium. Fractal Fract. 2024, 8, 609. [Google Scholar] [CrossRef]
  9. Tanveer, M.; Ahmed, I.; Raza, A.; Nawaz, S.; Lv, Y.P. New escape conditions with general complex polynomial for fractals via new fixed point iteration. AIMS Math. 2021, 6, 6. [Google Scholar] [CrossRef]
  10. Jleli, M.; Samet, B. A new generalization of the Banach contraction principle. J. Inequal. Appl. 2014, 2014, 38. [Google Scholar] [CrossRef]
  11. Pasupathi, R.; Miculescu, R. A very general framework for fractal interpolation functions. J. Math. Anal. Appl. 2024, 534, 128093. [Google Scholar] [CrossRef]
  12. Proinov, P.D. Fixed point theorems for generalized contractive mappings in metric spaces. J. Fixed Point Theory Appl. 2020, 22, 21. [Google Scholar] [CrossRef]
  13. Raza, A.; Abbas, M.; Hammad, H.A.; De la Sen, M. Fixed Point Approaches for Multi-Valued Prešić Multi-Step Iterative Mappings with Applications. Symmetry 2023, 15, 686. [Google Scholar] [CrossRef]
  14. Khumalo, M.; Nazir, T.; Makhoshi, V. Generalized iterated function system for common attractors in partial metric spaces. AIMS Math. 2022, 7, 13074–13103. [Google Scholar] [CrossRef]
  15. Ahmad, J.; Al-Mazrooei, A.E.; Rassias, T.M. Fractals of generalized Θ-Hutchinson operator. Int. J. Nonlinear Anal. Appl. 2022, 13, 1–12. [Google Scholar]
  16. Aydi, H.; Abbas, M.; Vetro, C. Partial Hausdorff metric and Nadler’s fixed point theorem on partial metric spaces. Topol. Appl. 2012, 159, 3234–3242. [Google Scholar] [CrossRef]
  17. Bellman, R. The theory of dynamic programming. Bull. Am. Math. Soc. 1954, 60, 503–515. [Google Scholar] [CrossRef]
  18. Bellman, R. Functional equations in the theory of dynamic programming. V. Positivity and quasi-linearity. Proc. Natl. Acad. Sci. USA 1955, 41, 743–746. [Google Scholar] [CrossRef] [PubMed]
Figure 1. Mandelbrot set and Serpinski triangle.
Figure 1. Mandelbrot set and Serpinski triangle.
Mca 30 00027 g001
Figure 2. Iterations for ψ .
Figure 2. Iterations for ψ .
Mca 30 00027 g002
Figure 3. Iterations for ϕ .
Figure 3. Iterations for ϕ .
Mca 30 00027 g003
Figure 4. Iterations for ψ .
Figure 4. Iterations for ψ .
Mca 30 00027 g004
Figure 5. Iterations for ϕ .
Figure 5. Iterations for ϕ .
Mca 30 00027 g005
Figure 6. Iterations for ψ .
Figure 6. Iterations for ψ .
Mca 30 00027 g006
Figure 7. Iterations for ϕ under influence of ψ .
Figure 7. Iterations for ϕ under influence of ψ .
Mca 30 00027 g007
Figure 8. Iterations for understanding of common attractor.
Figure 8. Iterations for understanding of common attractor.
Mca 30 00027 g008
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Shabir, N.; Raza, A.; De la Sen, M.; Abbas, M.; Ahmad, S. Common Attractor for Hutchinson θ-Contractive Operators in Partial Metric Spaces. Math. Comput. Appl. 2025, 30, 27. https://doi.org/10.3390/mca30020027

AMA Style

Shabir N, Raza A, De la Sen M, Abbas M, Ahmad S. Common Attractor for Hutchinson θ-Contractive Operators in Partial Metric Spaces. Mathematical and Computational Applications. 2025; 30(2):27. https://doi.org/10.3390/mca30020027

Chicago/Turabian Style

Shabir, Naila, Ali Raza, Manuel De la Sen, Mujahid Abbas, and Shahbaz Ahmad. 2025. "Common Attractor for Hutchinson θ-Contractive Operators in Partial Metric Spaces" Mathematical and Computational Applications 30, no. 2: 27. https://doi.org/10.3390/mca30020027

APA Style

Shabir, N., Raza, A., De la Sen, M., Abbas, M., & Ahmad, S. (2025). Common Attractor for Hutchinson θ-Contractive Operators in Partial Metric Spaces. Mathematical and Computational Applications, 30(2), 27. https://doi.org/10.3390/mca30020027

Article Metrics

Back to TopTop