1. Introduction
The branch of metric fixed point theory has been initiated with the appearance of classical Banach contraction principle, which was acclaimed by Banach [
1] in 1922. This classical result remains a cornerstone result of nonlinear functional analysis. Later various researchers generalized and extended the Banach contraction principle in different directions, viz., by enlarging the ambient space (e.g., [
2,
3]), weakening underlying contraction conditions (e.g., [
4,
5,
6]) and enhancing the number of involved mappings (e.g., [
7,
8,
9]) etc.
In the 1970s, an extensive literature was developed in order to enlarge the class of contraction mappings. In 1977, Rhoades [
10] came up with the comparison of various types of contractive mappings in which 149 different conditions are analyzed and compared. In 1979, Browder [
11] subsumed the major part of the work of Rhoades [
10] under an intuitive and simple mode of arguments.
Recall that a self-mapping
T on a metric space
is called weak
-contraction (or simply, weak contraction) if there exists an auxiliary function
such that
The notion of weak contraction was initiated by Krasnosel’skii [
12], wherein he imposed that
is a continuous function such that
. Thereafter, Alber and Guerre-Delabriere [
13] established a fixed point theorem employing weak contractivity conditions in the setting of Hilbert space. In this continuation, Rhoades [
14] extended the Banach contraction principle for weak contraction mappings and observed that the fixed point result of Alber et al. [
13] was also valid in complete metric spaces.
Turinici [
15] initiated the order-theoretic aspects of metric fixed point theory. Ran and Reurings [
16] and Nieto and Rodríguez-López [
17] extended Banach contraction principle in the context of ordered metric spaces. Both results [
16,
17] are indeed natural versions of the results of Turinici [
15]. In the same continuation, Harjani and Sadarangani [
18] extended the results of Nieto and Rodríguez-López [
17] to weak contractions. In 2015, Alam and Imdad [
19] investigated a novel generalization of the Banach contraction principle employing an amorphous binary relation instead of partial order. Soon after, various relation-theoretic results were proposed by several researchers (e.g., [
20,
21,
22,
23]). Such results involve weak contraction conditions which hold for the pairs of comparative elements only.
Due to such restrictive nature, these results are applied for solving certain matrix equations, boundary value problems in ordinary differential equations and integral equations, fractional differential equations, elastic beam equations, nonlinear elliptic problems and delayed hematopoiesis models satisfying specific prescribed auxiliary conditions, e.g., [
24,
25,
26,
27,
28,
29,
30,
31,
32,
33].
The aim of this article is to prove certain results on the existence and uniqueness of fixed points via weak contractions in a metric space endowed with a certain binary relation. An example is also furnished to demonstrate our newly proved results. Finally, as an application of our main results, we investigated a result regarding the unique solution of certain system of matrix equations.
2. Preliminaries
In this section, we recollect some basic notions and auxiliary results, which are required in proving our main results. Throughout this paper, stands for the set of all natural numbers and stands for the set of all whole numbers, i.e., .
Definition 1 ([
34])
. Let M be a nonempty set. A subset ℜ of is called a binary relation on M. If , then we say that “ is related to ” or “ relates to ” under ℜ. The subsets, and ∅ of are called the universal relation and empty relation, respectively.
Definition 2 ([
35])
. M be a nonempty set endowed with a binary relation ℜ. Given a subset , the restriction of ℜ to E, denoted by , is defined as . Indeed, is a relation on E induced by ℜ.
Definition 3 ([
34])
. Let M be a nonempty set equipped with a binary relation ℜ. Then- (i)
The dual relation, inverse or transpose of ℜ, denoted by , and is defined by .
- (ii)
The symmetric closure of ℜ, often denoted by , is defined to be the set (i.e., ). Indeed, is the smallest symmetric relation on M containing ℜ.
Definition 4 ([
19])
. Let ℜ be a binary relation on a nonempty set M and . We say that and are ℜ-comparative if either or . It is denoted by Definition 5 ([
34])
. Let ℜ be a binary relation on a set M; then, ℜ is said to be complete if each pair of elements of M is ℜ-comparative, i.e., Definition 6 ([
19])
. Let M be a nonempty set and T a self-mapping on M. A binary relation ℜ defined on M is called T-closed if for any Proposition 1 ([
19])
. is T-closed, if ℜ is T-closed. Proposition 2 ([
36])
. For each , ℜ is -closed, if ℜ is T-closed. Definition 7 ([
37])
. Let M be a nonempty set endowed with a binary relation ℜ. A subset D of M is called ℜ-directed if for each , there exists such that and . Definition 8 ([
35])
. Let M be a nonempty set and ℜ a binary relation on M. For a pair , a path in ℜ from to is a finite sequence satisfying the following conditions:- (i)
and ;
- (ii)
for all .
Apparently, a path of length k comprises points of M; it is not obligatory that those elements need to be distinct.
Definition 9 ([
36])
. Given a nonempty set M equipped with a binary relation ℜ, a subset D of M is called ℜ-connected if each pair of elements of D has a path in ℜ. By using the symmetric property of metric d and Definition 4, we propose the following result.
Proposition 3. Given a metric space equipped with a binary relation ℜ, a mapping T: and an auxiliary function ψ: , the following contractivity conditions are equivalent:
- (a)
.
- (b)
.
Definition 10 ([
19])
. Given a nonempty set M and a binary relation ℜ on M, a sequence is called ℜ-preserving if Definition 11 ([
38])
. Let ℜ be a binary relation defined on M. We say that is ℜ-complete if every ℜ-preserving Cauchy sequence in M converges. Remark 1 ([
38])
. Every complete metric space is ℜ-complete, for any binary relation ℜ. Specifically, under the universal relation, the notion of ℜ-completeness coincides with usual completeness. Definition 12 ([
38])
. Let be a metric space endowed with a binary relation ℜ. A mapping is said to be ℜ-continuous at an element if for any ℜ-preserving sequence such that is convergent to , we have is convergent to . Moreover, T is called ℜ-continuous if it is ℜ-continuous at each point of M. Remark 2 ([
38])
. Every continuous mapping is ℜ-continuous, for any binary relation ℜ. Specifically, under the universal relation, the notion of ℜ-continuity coincides with usual continuity. Definition 13 ([
19])
. Given a metric space , a binary relation ℜ defined on M is called d-self-closed if for an ℜ-preserving sequence converging to , there exists a subsequence of such that for all . Given
and a mapping
, the set
is called the orbit of
. We write
instead of
, whenever
T is understood. A sequence whose range remains
for some
is called a
T-orbital sequence (c.f. [
39]).
Definition 14 ([
39])
. Let be a metric space endowed with a binary relation ℜ and T: a mapping. We say that is ()-complete if each T-orbital ℜ-preserving Cauchy sequence in M converges. Definition 15 ([
39])
. Let be a metric space endowed with a binary relation ℜ and T: a mapping. We say that T is ()-continuous at a point if for any T-orbital ℜ-preserving sequence such that , we have . Definition 16 ([
39])
. Given a metric space and a mapping T:, a binary relation ℜ defined on M is called ()-self-closed if for every T-orbital ℜ-preserving sequence converging to , there exists a subsequence such that for all . In the last three definitions, if the orbital properties are ignored, these conventions give us relational notions, i.e., Definitions 11–13, respectively. While under the universal relation, Definition 14 reduces to the notion of
-completeness (initiated by [
40]) and Definition 15 reduces to the notion of
-continuity (initiated by [
41]).
Definition 17 ([
42])
. Given , a binary relation ℜ defined on a nonempty set M is called N-transitive if for any , Thus, the notion of 2-transitivity coincides with transitivity.
Definition 18 ([
43])
. A binary relation ℜ defined on a nonempty set M is called finitely transitive if it is N-transitive for some . Definition 19 ([
43])
. A binary relation ℜ defined on a nonempty set M is called locally finitely transitive if for each denumerable subset E of M, there exists , such that is N-transitive. Definition 20 ([
44])
. Let M be a nonempty set and T a self-mapping on M. A binary relation ℜ on M is called locally finitely T-transitive if for each denumerable subset E of , there exists , such that is N-transitive. The following result establishes the superiority of the idea of ‘locally finitely T-transitivity’over other variants of ‘transitivity’:
Proposition 4 ([
44])
. Let M be a nonempty set, ℜ a binary relation on M and T a self-mapping on M. Then- (i)
ℜ is T-transitive ⇔ is transitive,
- (ii)
ℜ is locally finitely T-transitive ⇔ is locally finitely transitive,
- (iii)
ℜ is transitive ⟹ℜ is finitely transitive ⟹ℜ is locally transitive ⟹ℜ is locally finitely T-transitive,
- (iv)
ℜ is transitive ⟹ℜ is T-transitive ⟹ℜ is locally finitely T-transitive.
Lemma 1 ([
45])
. Let be a metric space and a sequence in M. If is not a Cauchy sequence, then there exist and two subsequences and of such that- (i)
,
- (ii)
,
- (iii)
.
In addition to this, if also verifies , then
- (iv)
.
Lemma 2 ([
43])
. Let M be a nonempty set, ℜ a binary relation on M and an ℜ-preserving sequence. If the relation ℜ is N-transitive on for some natural number , then 3. A New Class of Weak Contraction
Let be a family of functions : satisfying the following axioms:
- :
- :
Notice that this family of auxiliary functions is suggested by Alam et al. [
46]. We shall utilize the family
to define a new class of weak contractions.
Remark 3 ([
46])
. Axiom is equivalent to the following:- :
If there exists such that , then .
Proposition 5 ([
46])
. If is a continuous function, which satisfies axiom , then- (i)
,
- (ii)
.
Proposition 6 ([
46])
. If is a lower semicontinuous function, which satisfies axiom , then- (i)
,
- (ii)
.
Proposition 7. If there exists an auxiliary function , which satisfies axiom , such that for all and ,then Proof. By
, we have
, which is equivalent to
. Now,
□
Proposition 8. Let be a metric space and T a self-mapping on M. If there exists an auxiliary function , which satisfies axiom , such that T is a weak ψ-contraction, then T is contractive and hence is continuous.
Proof. Take two distinct elements
so that
. Applying contractivity condition on this pair, we get
By Proposition 7, we have
It follows that T is contractive. Consequently, T is continuous. □
4. Main Results
Given a nonempty set
M endowed with a binary relation
ℜ and a mapping
, let us define the following subset of
MNow, we are equipped to prove the following result regarding the existence of a fixed point in relational metric space satisfying weak contractivity conditions.
Theorem 1. Let be a metric space, ℜ a binary relation on M and T a self-mapping on M. Suppose that the following conditions hold:
- (a)
is -complete,
- (b)
is nonempty,
- (c)
ℜ is T-closed and locally finitely T-transitive,
- (d)
either T is -continuous or ℜ is ()–self closed,
- (e)
there exists such that
Then T has a fixed point.
Proof. In view of condition
, choose
such that
. Then, we can construct a Picard sequence
with initial point
such that
Since
and
ℜ is
T-closed, using Proposition 2, we have
which, by using (
1), reduces to
Hence,
is a
ℜ-preserving sequence. In view of (
1),
. Therefore
is also
T-orbital.
Denote
. If there exists
such that
, then by using (
1), we conclude that
so that
is a fixed point of
T. Otherwise, we have
for all
Applying contractivity condition (e), we get
so that
In view of Proposition 7, Equation (
2) gives rise to
which yields that the sequence
is a decreasing sequence of positive real numbers. Since it is bounded below by 0 (as a lower bound), there exists an element
such that
Now, we claim that
. On the contrary, suppose that
. Taking the upper limit in (
2), we get
Using (
3), above inequality reduces to
implying thereby
which contradicts the property of
. Therefore we have
Now, we show that is a Cauchy sequence.
Let on contrary that
is not a Cauchy sequence. Therefore, by Lemma 1, there exists
and two subsequences
and
of
such that
and
where
Furthermore, using (
4) and Lemma 1, we have
Since
is
ℜ-preserving and
(owing to (
1)), therefore, the range
(of the sequence
) is a denumerable subset of
. By locally finitely
T-transitivity of
ℜ, there exists a natural number
, such that
is
N-transitive.
As
and
, by Division Algorithm, we have
Here,
and
are natural numbers such that
can assume a positive integer in interval
. Hence, without loss of generality, we can choose subsequences
and
of
satisfying Equation (
5) such that
remains constant say
, which is independent of
k. Write
where
is constant. Owing to (
5) and (
6), we obtain
Using triangular inequality, we have
and
The last two inequalities give rise to
which, on letting
and using (
4) and (
7), yields that
In view of (
6) and Lemma 2, we have
. Denote
. Using (
1) and the contractivity condition (e), we obtain
so that
Taking upper limit in inequality (
9), we get
which, on using (
7) and (
8), becomes
so that
which contradicts
. It follows that
is a Cauchy sequence. As
is also
T-orbital as well as
ℜ-preserving, by
-completeness of
, there exists
such that
.
Now, we apply condition
. First, we suppose that
T is
-continuous. Then, we have
But owing to uniqueness of convergence limit, we get
. Hence,
is a fixed point of
T. Otherwise, suppose that
ℜ is
-self closed. As
is a
T-orbital
ℜ-preserving sequence in
M with
, by
-self closedness property of
ℜ, there exists subsequence
of
such that
for all
. By assumption
, and Proposition 3, we have
Letting
in above inequality and using
, we obtain
Again, by uniqueness of convergence limit, we get . Thus, is a fixed point of T. □
Theorem 2. In addition to the hypotheses of Theorem 1, if is -connected, then T has a unique fixed point.
Proof. In view of Theorem 1, the set of fixed point is nonempty. If
are two fixed points of
T, then for all
, we have
By
-connectedness of
, there exists a path
of finite length
l in
from
to
, so that
Using
T-closedness of
ℜ, Propositions 1 and 2, we get
By triangular inequality, we have
For each
and for each
, define
. We claim that
To prove the claim, first fix
i and consider two cases. First, suppose that
for some
, i.e.,
, which implies that
. Consequently, we get
. By induction, we get
for all
, yielding thereby
. On the other hand, suppose that
for all
, then by (
11) and assumption (e), we get
Therefore,
is a decreasing sequence of positive real numbers, and hence, it converges to some
. We conclude that
. Otherwise if
, then by taking upper limit in (
13), we obtain
yielding thereby
, which contradicts the condition
. Hence
. Now (
12) can be re-written as
which implies that
. Hence
T has a unique fixed point. □
Making use of Proposition (4), we have the following consequences of Theorem 1.
Corollary 1. Theorem 1 remains true if locally finitely T-transitivity condition is replaced by any one of the following conditions:
- 1.
ℜ is transitive,
- 2.
ℜ is finitely transitive,
- 3.
ℜ is T-transitive,
- 4.
ℜ is locally finitely transitive.
Corollary 2. In addition to the hypotheses of Theorem 1, if anyone of the following assumptions holds,
- (i)
is a complete binary relation,
- (ii)
is -directed,
then T has a unique fixed point.
Proof. If (i) is used, then for any , , that is to say that is a path of length 1 in from to . Hence, is -connected; consequently, Theorem 2 gives the conclusion.
Else if (ii) holds then for each , there exists such that and , that amounts to say that is a path of length 2 in from to . Thus, is -connected and hence by Theorem 2, the conclusion is immediate. □
Example 1. Suppose is a metric space with usual metric d. Consider a binary relation and a mapping defined by It is clear that is -complete, ℜ is T-closed and T is -continuous. Now, we havewhich implies that T satisfies the assumption for . Therefore, all the conditions of Theorem 1 are satisfied and hence T admits a fixed point. Furthermore, the fixed point is also unique as all assumptions of Theorem 2 are also satisfied. Notice that here is the fixed point of T. Here, it can be pointed out that the weak
-contractivity condition holds for merely
ℜ-comparative elements, not for all elements of
M, e.g., if we take
and
, then
. Also, this pair does not satisfy the weak
-contractivity condition. The above example can be viewed by
Figure 1.
5. An Application
The following notions, considered by Ran and Reurings [
16], are utilized in our subsequent discussion.
- 1.
:=the set of all complex matrices,
- 2.
:=the set of all Hermitian matrices,
- 3.
:=the set of all positive definite matrices,
- 4.
:=the set of all positive semidefinite matrices.
On
, define an ordered relation ≺ by
Proposition 9 ([
16])
. For every pair , there always exist a greatest lower bound and a least upper bound (w.r.t. ≺). The spectral norm of a matrix
B is denoted by
=
such that
is the largest eigenvalue of
, where
is the conjugate transpose of
B. We use the metric induced by the trace norm
defined by
, where
,
are the singular values of
. The set
with the metric induced by this norm is ≺-complete metric space. Now, consider the matrix equation
where
is an arbitrary
matrix,
U is a Hermitian positive definite matrix and
is a continuous ≺-preserving operator such that
.
Lemma 3 ([
16])
. Let A and B be two positive semidefinite matrices. Then Lemma 4 ([
47])
. If satisfies , then Theorem 3. Suppose that there is a positive number N such that
- 1.
there exists such that for all verifying , we have - 2.
and
Then, the matrix Equation (14) has a unique solution. Moreover, the iterationwhere such that converges in the sense of the trace norm to the solution of the matrix Equation (14). Proof. Define the mapping
by
Then, ≺ is
T-closed and the fixed point of
T is the solution of (
14). Let
such that
. Then, we have
This shows that T satisfies weak -contractivity condition for each ≺-comparative pair.
In particular, if we take
in (
14), then we get
This yields that
and hence
is nonempty. Now from Theorem 1, there exists
such that
, i.e., the matrix Equation (
14) has a solution. Furthermore, in view of Proposition 9, the set
is
-connected. Consequently, by Theorem 2, we get a unique solution of the matrix Equation (
14). □
Intending to illustrate Theorem 3, we consider the following example:
Example 2. Let , ,,
Define by . Consider the matrix Equation (14) with , i.e.,It can be easily seen that all the conditions of Theorem 3 are satisfied with . Now, we consider the iterationwhere , and the error (See below Figure 2). From the graph(see below) of the error and the number of iteration we have that after five iteration, we can approximate a solution of (16) bywith the error of (Calculate on MatLab 2021(b)). To understand the error value generated for different values of n(where ) better, see Figure 2, given as below: 6. Conclusions
We provided the existence and uniqueness of the fixed points for a relation-theoretic weak contraction in the –complete metric spaces. Additionally, an application is provided to find the unique solution of certain matrix equations. The similar results of the recent literature utilized the relational contraction conditions, which are weaker than the corresponding usual contractions. This restrictive nature provides the applicability of such results in areas of certain nonlinear matrix equations and boundary value problems.
As some future works, we can demonstrate these results in various spaces such as b-metric space, quasimetric space, cone metric space etc; or we can generalize these results for a pair of self-mappings; or we can apply the same results to obtain a unique solution of certain boundary value problems.
Several existing outcomes can be deduced from Theorems 1 and 2 in the following respects:
Under
, partial order on
M, Theorems 1 and 2 reduce to the fixed point theorems of Harjani and Sadarangani [
18].
Corollary 1 improves the result of Prasad and Dimri [
5]. In fact, the authors [
5] used the locally transitive relation, while we utilized the locally finitely
T-transitive relation.
Under the universal relation
, Theorem 2 reduces to a sharpened version of classical fixed point theorem of Rhoades [
10], which again by setting
reduces to an enriched version of fixed point theorem of Geraghty [
48].
Particularly for
, Theorems 1 and 2 reduce to the fixed point theorems of Alam and Imdad [
19] (after removing the locally finitely
T-transitivity requirement on
ℜ).
Putting
, where
is a lower semicontinuous function from the right, in Theorems 1 and 2, we get the fixed point results of Alam and Imdad [
36].
Author Contributions
Methodology, A.A. and S.S.; Conceptualization, A.H., A.A. and Q.H.K.; Software, A.H.; Validation, S.S.; Formal analysis, A.A. and Q.H.K.; Investigation, A.H. and Q.H.K.; Writing—original draft, A.H. and A.A.; Writing—review and editing, A.A.; Supervision, S.S. All authors read and agreed the final version of the manuscript.
Funding
This research received no external funding.
Data Availability Statement
Not applicable.
Acknowledgments
All authors are thankful to three referees for their lucrative remarks and pertinent comments that helped us improve the depth of present manuscript.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Banach, S. Sur les operations dans les ensembles abstraints er leur application aux equations intgrales. Fund. Math. 1922, 3, 133–181. [Google Scholar] [CrossRef]
- Matthews, S.G. Partial Metric Topology: Papers on General Topology and Applications; New York Academy of Sciences: New York, NY, USA, 1994. [Google Scholar]
- Romaguera, S.; Sapena, A.; Tirado, P. The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words. Topol. Appl. 2007, 154, 2196–2203. [Google Scholar] [CrossRef]
- Boyd, D.W.; Wong, J.S. On nonlinear contractions. Proc. Am. Math. Soc. 1969, 20, 458–464. [Google Scholar] [CrossRef]
- Dimri, R.C.; Prasad, G. Fixed point theorems for weakly contractive mappings in relational metric spaces with an application. J. Anal. 2018, 26, 151–162. [Google Scholar]
- Hossain, A.; Khan, Q.H.; Sk, F. Relation-theoretic metrical coincidence theorems under weak C-contractions and K-contractions. AIMS Math. 2021, 6, 13072–13091. [Google Scholar]
- Machuca, R. A coincidence theorem. Am. Math. Mon. 1967, 74, 569–572. [Google Scholar] [CrossRef]
- Goebel, K. A coincidence theorem. Bull. Acad. Pol. Sci. Se´r. Sci. Math. Astron. Phys. 1968, 16, 733–735. [Google Scholar]
- Jungck, G. Commuting maps and fixed points. Am. Math. Mon. 1976, 83, 261–263. [Google Scholar] [CrossRef]
- Rhoades, B.E. A comparison of various definitions of contractive mappings. Trans. Am. Math. Soc. 1977, 226, 257–290. [Google Scholar] [CrossRef]
- Browder, F.E. Remarks on fixed point theorems of contractive type. Nonlinear Anal. 1979, 3, 693–702. [Google Scholar] [CrossRef]
- Krasnosel’skii, M.A.; Vainikko, G.M.; Zabreiko, P.P.; Rutitskii, Y.B.; Stetsenko, V.Y. Approximate Solution of Operator Equations; Louvish, D., Translator; Wolters-Noordhoff: Groningen, The Netherlands, 1972. [Google Scholar]
- Alber, Y.I.; Guerre-Delabriere, S. Principle of Weakly Contractive Maps in Hilbert Spaces, New Results in Operator Theory and Its Applications; Springer: Berlin/Heidelberg, Germany, 1997; pp. 7–22. [Google Scholar]
- Rhoades, B. Some theorems on weakly contractive map. Nonlinear Anal. 2001, 47, 2683–2693. [Google Scholar] [CrossRef]
- Turinici, M. Fixed points for monotone iteratively local contractions. Demonstr. Math. 1986, 19, 171–180. [Google Scholar]
- Ran, A.C.; Reurings, M.C. A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 2004, 132, 1435–1443. [Google Scholar] [CrossRef]
- Nieto, J.J.; Rodríguez-López, R. Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 2005, 22, 223–239. [Google Scholar] [CrossRef]
- Harjani, J.; Sadarangani, K. Fixed point theorems for weakly contractive mappings in partially ordered sets. Nonlinear Anal. 2009, 71, 3403–3410. [Google Scholar] [CrossRef]
- Alam, A.; Imdad, M. Relation-theoretic contraction principle. J. Fixed Point Theory Appl. 2015, 17, 693–702. [Google Scholar] [CrossRef]
- Hossain, A.; Khan, F.A.; Khan, Q.H. A Relation-Theoretic Metrical Fixed Point Theorem for Rational Type Contraction Mapping with an Application. Axioms 2021, 10, 316. [Google Scholar] [CrossRef]
- Abbas, M.; Iqbal, H.; Petrusel, A. Fixed points for multivalued Suzuki type (θ,)-contraction mapping with applications. J. Funct. Spaces 2019, 9565804, 1–13. [Google Scholar] [CrossRef]
- Nashine, H.K.; Jain, R.; Parvaneh, V. A relational-theoretic approach to get solution of nonlinear matrix equations. J. Inequal. Appl. 2022, 79, 1–19. [Google Scholar] [CrossRef]
- Ahmadullah, M.; Imdad, M.; Gurban, R. Relation-theoretic metrical fixed point theorems under nonlinear contractions. Fixed Point Theory 2019, 20, 3–18. [Google Scholar] [CrossRef]
- Sawangsup, K.; Sintunavarat, W.; Rolda´n-Lo´pez-de-Hierro, A.F. Fixed point theorems for Fℜ-contractions with applications to solution of nonlinear matrix equations. J. Fixed Point Theory Appl. 2017, 19, 1711–1725. [Google Scholar] [CrossRef]
- Al-Sulami, H.H.; Ahmad, J.; Hussain, N.; Latif, A. Relation-theoretic (θ,ℜ)-contraction results with applications to nonlinear matrix equations. Symmetry 2018, 10, 767. [Google Scholar] [CrossRef]
- Gopal, D.; Budhia, L.M.; Jain, S. A relation theoretic approach for ϕ-fixed point result in metric space with an application to an integral equation. Commun. Nonlinear Anal. 2019, 6, 89–95. [Google Scholar]
- Shukla, S.; Dubey, N. Some fixed point results for relation theoretic weak φ-contractions in cone metric spaces equipped with a binary relation and application to the system of Volterra type equation. Positivity 2020, 24, 1041–1059. [Google Scholar] [CrossRef]
- Choudhury, B.S.; Metiya, N.; Kundu, S. Existence, well-posedness of coupled fixed points and application to nonlinear integral equations. Cubo (Temuco) 2021, 23, 171–190. [Google Scholar] [CrossRef]
- Hossain, A.; Arif, M.; Sessa, S.; Khan, Q.H. Nonlinear relation-theoretic Suzuki-generalized Ćirić-Type contractions and application to fractal spaces. Fractal Fract. 2022, 6, 711. [Google Scholar] [CrossRef]
- Saleh, S.M.; Alfaqih, W.M.; Sessa, S.; Martino, D. New relation-theoretic fixed point theorems in fuzzy metric spaces with an application to fractional differential equations. Axioms 2022, 11, 117. [Google Scholar] [CrossRef]
- Zhai, C.; Hao, M. Fixed point theorems for mixed monotone operators with perturbation and applications to fractional differential equation boundary value problems. Nonlinear Anal. 2012, 75, 2542–2551. [Google Scholar] [CrossRef]
- Wu, J.; Liu, Y. Fixed point theorems for monotone operators and applications to nonlinear elliptic problems. Fixed Point Theory Appl. 2013, 1, 1–14. [Google Scholar] [CrossRef]
- Jleli, M.; Rajić, V.C.; Samet, B.; Vetro, C. Fixed point theorems on ordered metric spaces and applications to nonlinear elastic beam equations. J. Fixed Point Theory Appl. 2012, 12, 175–192. [Google Scholar] [CrossRef]
- Lipschutz, S. Schaum’s Outline of Theory and Problems of Set Theory and Related Topics; McGraw-Hill: New York, NY, USA, 1964. [Google Scholar]
- Kolman, B.; Busby, R.C.; Ross, S. Discrete Mathematical Structures; PHI Pvt. Ltd.: New Delhi, India, 2000. [Google Scholar]
- Alam, A.; Imdad, M. Nonlinear contractions in metric spaces under locally T-transitive binary relations. Fixed Point Theory 2018, 19, 13–24. [Google Scholar] [CrossRef]
- Samet, B.; Turinici, M. Fixed point theorems on a metric space endowed with an arbitrary binary relation and applications. Commun. Math. Anal. 2012, 13, 82–97. [Google Scholar]
- Alam, A.; Imdad, M. Relation-theoretic metrical coincidence theorems. Filomat 2015, 31, 693–702. [Google Scholar] [CrossRef]
- Turinici, M. Contractive Operators in Relational Metric Spaces, Handbook of Functional Equations, Springers Optimization and Its Applications; Springer: Berlin/Heidelberg, Germany, 2014; Volume 95, pp. 419–458. [Google Scholar]
- Ciríc, L.B. A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 1974, 45, 267–273. [Google Scholar] [CrossRef]
- Browder, F.E.; Petryshyn, W.V. Construction of fixed points of nonlinear mappings in Hilbert spaces. J. Math. Anal. Appl. 1967, 20, 197–228. [Google Scholar] [CrossRef]
- Berzig, M.; Karapinar, E. Fixed point results for (αψ,αϕ)-contractive mappings for a generalized altering distance. Fixed Point Theory Appl. 2013, 2013, 205. [Google Scholar] [CrossRef]
- Turinici, M. Contractive maps in locally transitive relational metric spaces. Sci. World J. 2014, 2014, 169358. [Google Scholar] [CrossRef]
- Alam, A.; Arif, M.; Imdad, M. Metrical fixed point theorems via locally finitely T-transitive binary relations under certain control functions. Miskolc Math. Notes 2019, 20, 59–73. [Google Scholar] [CrossRef]
- Berzig, M.; Karapınar, E.; Roldán-López-de-Hierro, A.F. Discussion on generalized-(αψ, β)-contractive mappings via generalized altering distance function and related fixed point theorems. Abstr. Appl. Anal. 2014, 2014, 259768. [Google Scholar] [CrossRef]
- Alam, A.; Sk, F.; Khan, Q.H. Discussion on genaralized nonlinear contractions. U.P.B. Sci. Bull. Ser. A 2022, 84, 23–34. [Google Scholar]
- Long, J.H.; Hu, X.Y.; Zhang, L. On the Hermitian positive defnite solution of the nonlinear matrix equation X + A*X−1A + B*X−1B = I. Bull. Braz. Math. Soc. 2008, 39, 371–386. [Google Scholar] [CrossRef]
- Geraghty, M.A. On contractive mapping. Proc. Am. Math. Soc. 1973, 40, 604–608. [Google Scholar] [CrossRef]
| 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. |
© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).