Abstract
We propose a new class of implicit relations and an implicit type contractive condition based on it in the relational metric spaces under w-distance functional. Further we derive fixed points results based on them. Useful examples illustrate the applicability and effectiveness of the presented results. We apply these results to discuss sufficient conditions ensuring the existence of a unique positive definite solution of the nonlinear matrix equation (NME) of the form \(\mathcal{U}=\mathcal{Q} + \sum_{i=1}^{k}\mathcal{A}_{i}^{*} \mathcal{G}\mathcal{(U)}\mathcal{A}_{i}\), where \(\mathcal{Q}\) is an \(n\times n\) Hermitian positive definite matrix, \(\mathcal{A}_{1}\), \(\mathcal{A}_{2}\), …, \(\mathcal{A}_{m}\) are \(n \times n\) matrices and \(\mathcal{G}\) is a nonlinear self-mapping of the set of all Hermitian matrices which are continuous in the trace norm. In order to demonstrate the obtained conditions, we consider an example together with convergence and error analysis and visualisation of solutions in a surface plot.
Similar content being viewed by others
1 Introductory notes
Several mathematicians have established fixed point findings for contraction type mappings in metric spaces with partial order in recent years. Turinici established some early results in this approach in [21, 22]; it should be noted that their beginning points were amorphous contributions in the area due to Matkowski [10, 11]. Ran and Reurings [16], as well as Nieto and Ródríguez-López [13, 14], have looked at these kinds of findings. Turinici’s findings were expanded upon and refined in articles [13, 14]. Fixed point theorems for nonlinear contraction under symmetric closure of an arbitrary relation were recently developed by Samet and Turinici [18]. Alam and Imdad used an amorphous relation to show a relation-theoretic counterpart of the Banach contraction principle, which combines a number of well-known relevant order-theoretic fixed point theorems. According to Mizoguchi and Takahashi [12], Kada et al. [4] developed the idea of ω-distance on a metric space in 1996 and proved a modified Caristi fixed point theorem, Ekeland’s ϵ-variational principle and the nonconvex minimisation theorem. Rouzkard et al. [17] used the ω-distance function to find a generalised \((\psi ,\phi )\)-weakly contractive condition for orbital continuous maps. Lakzian et al. [6, 7] established various fixed point theorems for \((\alpha ,\psi )\)-contractive mappings and Kannan contraction in the presence of a ω-distance. Senapati and Dey [19] recently published a modified version of the ω-distance function and demonstrated that Alam and Imdad [1]’s conclusion is false. For more details about the ω-distance functional, see [3].
1.1 Motivation
One of the most visually attractive applications of contraction mapping is found in nonlinear matrix equations. The question now is whether the previously described contraction can be improved and generalised. In relational metric spaces with w-distance functional, we investigate a novel class of implicit relations and implicit type contractions. We establish fixed point findings by justifying the applicability and usefulness of the provided results. Contraction and rational type contraction mappings are included in the proposed implicit contraction. We use these findings to examine the necessary conditions for the existence of a unique positive definite solution to the nonlinear matrix equation (NME) of the form \(\mathcal{U}=\mathcal{Q} + \sum_{i=1}^{k}\mathcal{A}_{i}^{*} \mathcal{G}\mathcal{(U)}\mathcal{A}_{i}\), where \(\mathcal{Q}\) is an \(n\times n\) Hermitian positive definite matrix, \(\mathcal{A}_{1}\), \(\mathcal{A}_{2}\), …, \(\mathcal{A}_{m}\) are \(n \times n\) matrices and \(\mathcal{G}\) is a nonlinear self-mapping of the set of all Hermitian matrices which are continuous in the trace norm. In order to demonstrate the obtained conditions, we consider an example together with convergence and error analysis, and visualisation of solutions in a surface plot.
2 Preliminaries
2.1 Relational metric spaces
Throughout this article, the notations \(\mathbb{Z}\), \(\mathbb{N}\), \(\mathbb{R}\), \(\mathbb{R}^{+}\) have their usual meanings, and \(\mathbb{N}^{*}=\mathbb{N} \cup \{0\}\).
We call \(({\mathcal{W}},\mathcal{R})\) a relational set if (i) \({\mathcal{W}} \neq \emptyset \) is a set and (ii) \(\mathcal{R}\) is a binary relation on \(\mathcal{W}\).
In addition, if \(({\mathcal{W}},d)\) is a metric space, we call \(({\mathcal{W}},d,\mathcal{R})\) a relational metric space (RMS, for short).
The following are some standard terms used in the theory of relational sets (see, e.g. [1, 5, 8, 9, 18]).
Let \(({\mathcal{W}},\mathcal{R})\) be a relational set, \((\mathcal{W}, d, \mathcal{R})\) be an RMS, and let \(\mathcal{K} \) be a self-mapping on \(\mathcal{W}\). Then:
-
1
\(\nu \in \mathcal{W}\) is \(\mathcal{R}\)-related to \(\vartheta \in \mathcal{W}\) if and only if \((\nu , \vartheta ) \in \mathcal{R}\).
-
2
The set \(({\mathcal{W}},\mathcal{R})\) is said to be complete if for all \(\nu ,\vartheta \in \mathcal{W}\), \([\nu ,\vartheta ]\in \mathcal{R}\), where \([\nu ,\vartheta ]\in \mathcal{R}\) means that either \((\nu , \vartheta )\in \mathcal{R}\) or \((\vartheta ,\nu )\in \mathcal{R}\).
-
3
A sequence \((\nu _{n})\) in \(\mathcal{W}\) is said to be \(\mathcal{R}\)-preserving if \((\nu _{n}, \nu _{n+1})\in \mathcal{R}\), \(\forall n\in \mathbb{N}\cup \{0\}\).
-
4
\((\mathcal{W}, d, \mathcal{R})\) is said to be \(\mathcal{R}\)-complete if every \(\mathcal{R}\)-preserving Cauchy sequence converges in \(\mathcal{K}\).
-
5
\(\mathcal{R}\) is said to be \(\mathcal{K} \)-closed if \((\nu , \vartheta ) \in \mathcal{R} \Rightarrow (\mathcal{K} \nu , \mathcal{K} \vartheta )\in \mathcal{R}\). It is said to be weakly \(\mathcal{K} \)-closed if \((\nu , \vartheta ) \in \mathcal{R} \Rightarrow [\mathcal{K} \nu , \mathcal{K} \vartheta ] \in \mathcal{R}\).
-
6
\(\mathcal{R}\) is said to be d-self-closed if for every \(\mathcal{R}\)-preserving sequence with \(\nu _{n}\rightarrow \nu \) there is a subsequence \((\nu _{n_{k}})\) of \((\nu _{n})\) such that \([\nu _{n_{k}},\nu ]\in \mathcal{R}\) for all \(k\in \mathbb{N}\cup \{0\}\).
-
7
A subset \(\mathfrak{Z}\) of \(\mathcal{W}\) is called \(\mathcal{R}\)-directed if for each \(\nu ,\vartheta \in \mathfrak{Z}\) there exists \(\mu \in \mathcal{W}\) such that \((\nu ,\mu )\in \mathcal{R}\) and \((\vartheta ,\mu )\in \mathcal{R}\). It is called \((\mathcal{K} ,\mathcal{R})\)-directed if for each \(\nu , \vartheta \in \mathfrak{Z}\) there exists \(\mu \in \mathcal{W}\) such that \((\nu ,\mathcal{K} \mu )\in \mathcal{R}\) and \((\vartheta , \mathcal{K} \mu )\in \mathcal{R}\).
-
8
\(\mathcal{K} \) is said to be \(\mathcal{R}\)-continuous at ν if for every \(\mathcal{R}\)-preserving sequence \((\nu _{n})\) converging to ν we get \(\mathcal{K} (\nu _{n})\rightarrow \mathcal{K} (\nu )\) as \(n\rightarrow \infty \). Moreover, \(\mathcal{K} \) is said to be \(\mathcal{R}\)-continuous if it is \(\mathcal{R}\)-continuous at every point of \(\mathcal{W}\).
-
9
For \(\nu ,\vartheta \in \mathcal{W}\), a path of length k (where k is a natural number) in \(\mathcal{R}\) from ν to ϑ is a finite sequence \(\{\mu _{0}, \mu _{1}, \mu _{2}, \ldots , \mu _{k}\}\subset \mathcal{W}\) satisfying the following conditions:
-
(i)
\(z_{0}=\nu \) and \(\mu _{k}=\vartheta \),
-
(ii)
\((\mu _{i}, \mu _{i+1})\in \mathcal{R}\) for each i \((0\leq i\leq k-1)\),
then this finite sequence is called a path of length k joining ν to ϑ in \(\mathcal{R}\).
-
(i)
-
10
If, for a pair of \(\nu ,\vartheta \in \mathcal{W}\), there is a finite sequence \(\{\mu _{0}, \mu _{1}, \mu _{2}, \ldots , \mu _{k}\}\subset \mathcal{W}\) satisfying the following conditions:
-
(i)
\(\mathcal{K} \mu _{0}=\nu \) and \(\mathcal{K} \mu _{k}=\vartheta \),
-
(ii)
\((\mathcal{K} \mu _{i}, \mathcal{K} \mu _{i+1})\in \mathcal{R}\) for each i \((0\leq i\leq k-1)\),
then this finite sequence is called a \(\mathcal{K} \)-path of length k joining ν to ϑ in \(\mathcal{R}\).
-
(i)
Notice that a path of length k involves \(k+1\) elements of \(\mathcal{W}\), although they are not necessarily distinct.
We fix the following notation for a relational space \(({\mathcal{W}},\mathcal{R})\), a self-mapping \(\mathcal{K} \) on \(\mathcal{W}\) and an \(\mathcal{R}\)-directed subset \(\mathfrak{D}\) of \(\mathcal{W}\):
-
(i)
\(\operatorname{Fix}(\mathcal{K} ) :=\) the set of all fixed points of \(\mathcal{K} \),
-
(ii)
\(\mathfrak{X}(\mathcal{K} ,\mathcal{R}):=\{\nu \in \mathcal{W} : ( \nu , \mathcal{K} \nu )\in {\mathcal{R}}, (\mathcal{K} \nu , \nu ) \in {\mathcal{R}}\}\),
-
(iii)
\(\mathfrak{P}(\nu ,\vartheta ,\mathcal{R}):=\) the class of all paths in \(\mathcal{R}\) from ν to ϑ in \(\mathcal{R}\), where \(\nu ,\vartheta \in \mathcal{W}\).
2.2 Relational metric spaces with w-distance
The corresponding definitions and lemmas, in the setting of metric spaces endowed with an arbitrary binary relation \(\mathcal{R}\), are as follows.
Definition 2.1
([19])
Let \((\mathcal{W},d,\mathcal{R})\) be a relational metric space. A function \(\omega \colon \mathcal{W} \times \mathcal{W} \to [0,+\infty )\) is called a w-distance on \(\mathcal{W}\) if it satisfies the following properties:
- (W1):
-
\(\omega (\vartheta , \mu ) \leq \omega (\vartheta , \nu ) + \omega ( \nu , \mu )\) for any \(\vartheta , \nu , \mu \in \mathcal{W}\);
- (W2′):
-
w is \(\mathcal{R}\)-LSC in its second variable; i.e. if \(\vartheta \in \mathcal{W}\) and \(\nu _{n} \to \nu \in \mathcal{W}\) such that \(\nu _{n}\mathcal{R}\nu _{n+1}\), then \(\omega (\vartheta , \nu ) \leq \liminf_{n\to \infty }\omega ( \vartheta , \nu _{n})\);
- (W3):
-
for each \(\epsilon > 0\), there exists \(\delta > 0\) such that \(\omega (\mu , \vartheta ) \leq \delta \) and \(\omega (\mu , \nu )\leq \delta \) imply \(d(\vartheta , \nu ) \leq \epsilon \).
The following lemma is a modified version of Kada et al. [4] due to Senapati and Dey [19].
Lemma 2.2
([19])
Let \((\mathcal{W}, d,\mathcal{R})\) be a relational metric space, and let ω be a w-distance on \(\mathcal{W}\). Suppose that \(\{\vartheta _{n}\}\) and \(\{\nu _{n}\}\) are \(\mathcal{R}\)-preserving sequences in \(\mathcal{W}\), \(\{\alpha _{n}\}\) and \(\{\beta _{n}\}\) are sequences in \([0,+\infty )\) converging to 0, and let \(\vartheta , \nu , \mu \in \mathcal{W}\). Then the following assertions hold:
-
(i)
If \(\omega (\vartheta _{n}, \nu ) \leq \alpha _{n}\) and \(\omega (\vartheta _{n}, \mu ) \leq \beta _{n}\) for all \(n \in \mathbb{N}\), then \(\nu = \mu \), particularly, if \(\omega (\vartheta , \nu ) = \omega (\vartheta , \mu ) = 0\), then \(\nu = \mu \);
-
(ii)
If \(\omega (\vartheta _{n}, \nu _{n}) \leq \alpha _{n}\) and \(\omega (\vartheta _{n}, \nu ) \leq \beta _{n}\) for all \(n \in \mathbb{N}\), then \(\{\nu _{n}\}\) converges to ν;
-
(iii)
If \(\omega (\vartheta _{n}, \vartheta _{m}) \leq \alpha _{n}\) for all \(n,m \in \mathbb{N}\) with \(m > n\), then \(\{\vartheta _{n}\}\) is a Cauchy sequence;
-
(iv)
If \(\omega (\nu , \vartheta _{n}) \leq \alpha _{n}\) for all \(n \in \mathbb{N}\), then \(\{\vartheta _{n}\}\) is a Cauchy sequence.
Lemma 2.3
Let ω be a w-distance on a metric space \((\mathcal{W}, d)\) and \(\{\vartheta _{n}\}\) be a sequence in \(\mathcal{W}\) such that for each \(\epsilon > 0\) there exists \(N_{\epsilon }\in \mathbb{N}\) such that \(m > n > N_{\epsilon }\) implies \(\omega (\vartheta _{n}, \vartheta _{m}) < \epsilon \), i.e. \(\lim_{m,n\to \infty } \omega (\vartheta _{n}, \vartheta _{m}) = 0\). Then \(\{\vartheta _{n}\}\) is a Cauchy sequence.
3 New class of implicit relations
In this section we introduce a modified version of implicit relations and examples discussed in [2, 15].
Let \(\Omega : = \{\mathcal{H} : \mathbb{R}_{+}^{6} \to \mathbb{R} \text{ is continuous function } \}\) satisfy the following conditions:
- (\(\mathcal{H}_{1}\)):
-
\(\mathcal{H}\) is nonincreasing in the fifth and sixth variables;
- (\(\mathcal{H}_{2}\)):
-
There exists \(\hbar \in [0,1)\) such that, for all \(\zeta , \xi , \mu \geq 0\),
- (\(\mathcal{H}_{2a}\)):
-
\(\mathcal{H}( \zeta , \xi , \xi , \zeta , \zeta + \xi , \mu ) \leq 0 \) implies that \(\zeta \leq \hbar \xi \) and
- (\(\mathcal{H}_{2b}\)):
-
\(\mathcal{H}( \zeta , \xi , \xi , \zeta , \mu , \zeta + \xi ) \leq 0\) implies that \(\zeta \leq \hbar \xi \);
- (\(\mathcal{H}_{3}\)):
-
\(\mathcal{H}( \zeta , \zeta ,0,0,\zeta ,\zeta ) > 0\) and \(\mathcal{H}(\zeta , 0,0,\zeta , \zeta , 0) > 0\) for \(\zeta >0\).
Example 3.1
Let \(\mathcal{H}(q_{1}, q_{2}, q_{3}, q_{4}, q_{5}, q_{6})=q_{1}^{2}-aq_{2}^{2} + b\frac{q_{3}^{2}+q_{4}^{2}}{q_{5}+q_{6}+1}\), \(a \in (1/2, 1)\), \(b \in (0,1/2)\).
- (\(\mathcal{H}_{2a}\)):
-
Then, for \(\zeta , \xi , \mu \geq 0\), we have
$$ \mathcal{H}(\zeta , \xi , \xi , \zeta , \zeta + \xi , \mu )=\zeta ^{2} - a \xi ^{2} + b \frac{\zeta ^{2} + \xi ^{2}}{1+\zeta + \xi + \mu }. $$It is evident that \(\mathcal{H}(\zeta , \xi , \xi , \zeta , \zeta + \xi , \mu )\leq 0\), then \(\zeta ^{2} \leq a \xi ^{2} - b \frac{\zeta ^{2} + \xi ^{2}}{1+\zeta + \xi + \mu } \). Then \(\zeta ^{2} \leq a \xi ^{2}\). Hence, \(\zeta \leq \hbar \xi \), \(\hbar = \sqrt{a}<1\).
- (\(\mathcal{H}_{2b}\)):
-
Similar to (\(\mathcal{H}_{2a}\)), if \(\mathcal{H}(\zeta , \xi , \xi , \zeta , \mu , \zeta + \xi )\leq 0\), then \(\zeta \leq \hbar \xi \).
- (\(\mathcal{H}_{3}\)):
-
For all \(\zeta >0\), \(\mathcal{H}( \zeta , \zeta , 0,0, \zeta , \zeta )=(1 -a)\zeta ^{2}>0\).
Example 3.2
Let \(\mathcal{H}(q_{1}, q_{2}, q_{3}, q_{4}, q_{5}, q_{6})=q_{1}^{2}-aq_{2}^{2} + b\frac{q_{3}^{2}+q_{4}^{2}}{q_{5}^{2}+q_{6}^{2}+1}\), \(a \in (1/2, 1)\), \(b \in (0,1/2)\).
- (\(\mathcal{H}_{2a}\)):
-
Then, for \(\zeta , \xi , \mu \geq 0\), we have
$$ \mathcal{H}(\zeta , \xi , \xi , \zeta , \zeta + \xi , \mu )=\zeta ^{2} - a \xi ^{2} + b \frac{\zeta ^{2} + \xi ^{2}}{1+ (\zeta + \xi )^{2} + \mu ^{2}}. $$It is evident that \(\mathcal{H}(\zeta , \xi , \xi , \zeta , \zeta + \xi , \mu )\leq 0\), then \(\zeta ^{2} \leq a \xi ^{2} - b \frac{\zeta ^{2} + \xi ^{2}}{1+ (\zeta + \xi )^{2} + \mu ^{2}} \). Then \(\zeta ^{2} \leq a \xi ^{2}\). Hence, \(\zeta \leq \hbar \xi \), \(\hbar = \sqrt{a}<1\).
- (\(\mathcal{H}_{2b}\)):
-
Similar to (\(\mathcal{H}_{2a}\)), if \(\mathcal{H}(\zeta , \xi , \xi , \zeta , \mu , \zeta + \xi )\leq 0\), then \(\zeta \leq \hbar \xi \).
- (\(\mathcal{H}_{3}\)):
-
For all \(\zeta >0\), \(\mathcal{H}( \zeta , \zeta , 0,0, \zeta , \zeta )=(1 -a)\zeta ^{2}>0\).
4 \(\mathcal{R}_{\omega }\)-implicit contractive condition under w-distance
We define an \(\mathcal{R}_{\omega }\)-implicit contractive mapping in the metric space under w-distance using the above introduced implicit relation.
Definition 4.1
Let \((\mathcal{W}, d, \mathcal{R})\) be a relational metric space with w-distance w and \(\mathcal{K} \colon \mathcal{W} \to \mathcal{W}\) be a given mapping. We say that \(\mathcal{K}\) is an \(\mathcal{R}_{\omega }\)-implicit contractive mapping if there exists a function \(\mathcal{H} \in \Omega \) such that
for all \((\vartheta ,\nu ) \in \mathcal{R}\).
Now, we are equipped to state and prove our first main result as follows.
Theorem 4.2
Let \((\mathcal{W}, d, \mathcal{R})\) be an RMS with w-distance ω and \(\mathcal{K} \colon \mathcal{W} \to \mathcal{W}\). Suppose that the following conditions hold:
- (\(A_{1}\)):
-
\(\mathfrak{X}(\mathcal{K} ,\mathcal{R}) \neq \emptyset \);
- (\(A_{2}\)):
-
\(\mathcal{R}\) is \(\mathcal{K} \)-closed and \(\mathcal{K} \)-transitive;
- (\(A_{3}\)):
-
\(\mathcal{W}\) is \(\mathcal{K} \)-\(\mathcal{R}\)-complete;
- (\(A_{4}\)):
-
\(\mathcal{K}\) is a \(\mathcal{R}_{\omega }\)-implicit contractive;
- (\(A_{5}\)):
-
\(\mathcal{K} \) is \(\mathcal{R}\)-continuous.
Then there exists a point \(\omega \in \operatorname{Fix}(\mathcal{K} )\). In addition, \(\omega (\vartheta ^{*}, \vartheta ^{*}) = 0\) provided \((\vartheta ^{*},\vartheta ^{*}) \in \mathcal{R}\) holds.
Proof
Let \(\theta _{0}\in \mathfrak{X}(\mathcal{K},\mathcal{R})\) be a point as given in (\(A_{1}\)). If \(\mathcal{K}^{n}\theta _{0}=\mathcal{K}^{n+1}\theta _{0}\) for some \(n\in \mathbb{N}\cup \{0\}\), then there is nothing to prove. Construct a sequence \(\{\theta _{n}\}\) of Picard iterates \(\theta _{n} = \mathcal{K}^{n}(\theta _{0})\) for all \(n\in \mathbb{N}^{*}\).
Using (\(A_{1}\))–(\(A_{2}\)), we have that \((\mathcal{K}\theta _{0}, \mathcal{K}^{2} \theta _{0}) \in \mathcal{R}\). Continuing this process inductively, we obtain
for any \(n \in \mathbb{N}\cup \{0\}\). Hence, \(\{\theta _{n}\}\) is an \(\mathcal{R}\)-preserving sequence.
Next, we show that
Using (1) for \(\vartheta =\theta _{n-1}\), \(\nu =\theta _{n}\),
Denoting \(\varrho _{n} = \omega (\mathcal{K} ^{n} \theta _{0}, \mathcal{K} ^{n+1}\theta _{0} )\) for all \(n \in \mathbb{N}^{*}\) and applying \((\mathcal{H}_{1})\) in the fifth variables, we have
It follows from \((\mathcal{H}_{2a})\) that there is \(\hbar \in [0,1)\) such that
that is, the sequence \(\{\varrho _{n}\}\) is a nonincreasing sequence of real numbers. Therefore there exists ζ such that
Applying the limit in (4), by the continuity of \(\mathcal{H}\), we get
a contradiction, and therefore \(\zeta =0\). Thus we conclude that \(\lim_{n \to \infty } \varrho _{n}= \lim_{n \to \infty } \omega (\mathcal{K} ^{n} \theta _{0}, \mathcal{K} ^{n+1}\theta _{0} ) =0\). Similarly, from (i) \((\mathcal{K} \theta _{0}, \theta _{0})\in \mathcal{R}\), using condition (ii), we get \((\theta _{n+1},\theta _{n})\in \mathcal{R} \) for all \(n \in \mathbb{N}^{*}\). Using this conclusion and above arguments, it can be shown that
Next, we show that \(\{ \mathcal{K} ^{n} \theta _{0} \}\) is a Cauchy sequence in \(\mathcal{W}\). For this we show that
On the contrary, suppose that condition (6) does not hold. Then we can find \(\delta >0\) and increasing sequences \(\{m_{k}\}_{k=1}^{\infty }\), \(\{n_{k}\}_{k=1}^{\infty }\) of positive integers with \(m_{k}>n_{k}\) such that
By (3), there exists \(k_{0} \in \mathbb{N}\) such that \(n_{k} > k_{0}\) implies that
In view of the two last inequalities, we observe that \(m_{k} \neq n_{k+1}\). We may assume that \(m_{k}\) is the minimal index such that (7) holds, so that
Now, making use of (7), we get
Thus,
Using the triangle inequality, we have
Taking the limit on both sides and making use of (3), (5) and (8), we obtain
Again, using the triangle inequality, we have
Taking the limit on both sides and making use of (3), (5) and (8), we obtain
Combining (9) and (10), we have
Now, since \(\mathcal{R}\) is transitive and since \(\{\theta _{n}\}\) is an \(\mathcal{R}\)-preserving sequence, we must have \((\mathcal{K}^{n_{k}} \theta _{0}, \mathcal{K}^{m_{k}} \theta _{0}) \in \mathcal{R}\) for all \(r\in \mathbb{N}\). Therefore, on applying condition (1), we get
Now applying \((\mathcal{H}_{1})\) in the fifth and sixth variables, we have
Applying the limit and using the continuity of \(\mathcal{H}\), we get
a contradiction to \((\mathcal{H}_{3})\). Hence, \(\{\mathcal{K} ^{n} \theta _{0}\} \) must be a Cauchy sequence in \(\mathcal{W}\).
From \(\mathcal{R}\)-completeness of \(\mathcal{W}\), there exists a point \(\vartheta ^{*} \in \mathcal{W}\) such that \(\lim_{n \to \infty }\mathcal{K} ^{n} \theta _{0}= \vartheta ^{*}\). We shall show that \(\vartheta ^{*}\) is a fixed point of \(\mathcal{K} \).
Using the \(\mathcal{R}\)-continuity of \(\mathcal{K} \) (due to condition (\(A_{5}\))), we have \(\lim_{n \to \infty }\mathcal{K} \mathcal{K} ^{n} \theta _{0} = \mathcal{K} \vartheta ^{*}\). Owing to the uniqueness of the limit, we obtain \(\mathcal{K} \vartheta ^{*}=\vartheta ^{*}\).
Finally, assume that \(\omega (\vartheta ^{*}, \vartheta ^{*}) > 0\). Then, by (1), we have
or
It follows from \((\mathcal{H}_{2a})\) and \((\mathcal{H}_{1})\) (for \(\zeta =\xi =\mu =\vartheta ^{*}\)) that there is \(\hbar \in [0,1)\) such that
a contradiction. Therefore, \(\omega (\vartheta ^{*}, \vartheta ^{*}) = 0\). □
Next, we have the following result.
Theorem 4.3
The conclusion of Theorem 4.2remains true if condition \((A_{5})\) is replaced with the following one:
- (\(A_{5}'\)):
-
For every \(\nu \in \mathcal{W}\) with \(\nu \neq \mathcal{K} \nu \), \(\inf \{ \omega (\vartheta ,\nu ) + \omega (\vartheta , \mathcal{K} \vartheta ) \mid \vartheta \in \mathcal{W}\}>0\).
Proof
Following the proof of Theorem 4.2, we observe that the sequence \(\{\mathcal{K} ^{n}\theta _{0}\}\) is a Cauchy sequence, and so there exists a point \(\vartheta ^{*}\) in \(\mathcal{W}\) such that \(\lim_{n \to \infty } \mathcal{K} ^{n}\theta _{0} = \vartheta ^{*}\). Since \(\lim_{m,n \to \infty } \omega (\mathcal{K} ^{n}\theta _{0}, \mathcal{K} ^{m}\theta _{0}) = 0\) for each \(\epsilon > 0\), there exists \(N_{\epsilon } \in \mathbb{N}\) such that \(n > N_{\epsilon }\) implies \(\omega (\mathcal{K} ^{N_{\epsilon }}\theta _{0}, \mathcal{K} ^{n} \theta _{0}) < \epsilon \). Since \(\lim_{n \to \infty } \mathcal{K} ^{n}\theta _{0} = \vartheta ^{*}\) and \(\omega (\vartheta , \cdot )\) is lower semi-continuous,
Therefore, \(\omega (\mathcal{K} ^{N_{\epsilon }}\theta _{0}, \vartheta ^{*}) \leq \epsilon \). Set \(\epsilon = 1/k\), \(N_{\epsilon } = n_{k}\) so that
Assume that \(\mathcal{K} \vartheta ^{*} \neq \vartheta ^{*}\). Then, by hypothesis (v’), we have
which contradicts our assumption. Therefore, \(\mathcal{K} \vartheta ^{*}=\vartheta ^{*}\).
The last conclusion is derived as in the proof of Theorem 4.2. □
In what follows, we give a sufficient condition for the uniqueness of the fixed point in Theorems 4.2 and 4.3.
To obtain uniqueness, we add the following additional conditions for the functions \(\mathcal{H} \in \Omega \) and call them by \(\Omega '\): for all \(\zeta , \xi > 0\),
- \((\mathcal{H}_{4})\):
-
\(\mathcal{H}(\zeta , \xi , 0, 0, \xi , \zeta ) \leq 0\) implies that there exists \(\hbar \in [0,1)\) such that \(\zeta \leq \varphi (\xi )\).
Theorem 4.4
In addition to the hypotheses of Theorem 4.2 (or Theorem 4.3), if any of the following conditions is fulfilled:
-
(I)
For all \(\vartheta , \nu \in \mathcal{W}\), there exists \(z \in \mathcal{W}\) such that
$$ \bigl\{ (z,\mathcal{K}z),(z, \vartheta ),(z,\nu )\bigr\} \subseteq \mathcal{R}; $$(13) -
(II)
The set \(\mathcal{K}(\mathcal{W})\) is \(\mathcal{R}\)-directed;
-
(III)
\(\mathcal{R}|_{\mathcal{K(W)}}\) is complete;
-
(IV)
\(\mathfrak{P}(\vartheta ,\nu ,\operatorname{Fix}(\mathcal{K}),\mathcal{R}^{s})\) is nonempty for each \(\vartheta ,\nu \in \operatorname{Fix}(\mathcal{K})\),
then \(\mathcal{K}\) has a unique fixed point.
Proof
In view of Theorem 4.2 (or Theorem 4.3), \(\operatorname{Fix}(\mathcal{T}) \neq \emptyset \) and \(w(\vartheta ,\vartheta )=0\) for each \(\vartheta \in \operatorname{Fix}(\mathcal{T})\).
-
Assumption (I). Suppose that there exist distinct fixed points ϑ and ν of \(\mathcal{K}\). We will consider the following two cases.
Case (A): ϑ and ν are \(\mathcal{R}\)-comparable. Then \(\mathcal{K}^{n} \vartheta = \vartheta \) and \(\mathcal{K}^{n} \nu = \nu \) are comparable for \(n = 0, 1,\ldots \) . Therefore, using condition (1),
$$\begin{aligned} &\mathcal{H} \begin{pmatrix} \omega (\mathcal{K}^{n} \vartheta , \mathcal{K}^{n-1}\nu ), \omega ( \mathcal{K}^{n-1}\vartheta , \mathcal{K}^{n-1} \nu ), \omega ( \mathcal{K}^{n-1} \vartheta , \mathcal{K}^{n} \vartheta ), \\ \omega ( \mathcal{K}^{n-1} \nu , \mathcal{K}^{n} \nu ), \omega ( \mathcal{K}^{n-1} \vartheta , \mathcal{K}^{n} \nu ), \omega ( \mathcal{K}^{n} \vartheta , \mathcal{K}^{n-1} \nu ) \end{pmatrix}\leq 0 \end{aligned}$$or
$$\begin{aligned} &\mathcal{H} \begin{pmatrix} \omega (\vartheta , \nu ), \omega (\vartheta , \nu ), 0, 0, \omega ( \vartheta , \nu ), \omega (\vartheta , \nu ) \end{pmatrix}\leq 0 \end{aligned}$$which contradict \((\mathcal{H}_{3})\), then \(w(\vartheta ,\nu )=0\). Since \(w(\vartheta ,\vartheta )=0\), by using Lemma 2.2, we have \(\vartheta = \nu \); i.e. the fixed point of \(\mathcal{K}\) is unique.
Case (B): By assumption (I), there exists \(z \in \mathcal{W}\), satisfying condition (13). Due to the \(\mathcal{K}\)-closedness of \(\mathcal{R}\), we get
$$ \bigl(\mathcal{K}^{n-1}z,\vartheta \bigr) \in \mathcal{R},\qquad \bigl(\mathcal{K}^{n-1}z, \nu \bigr) \in \mathcal{R}, $$and, using (1), it follows that
$$ \mathcal{H} \begin{pmatrix} \omega (\mathcal{K}^{n}z, \nu ), \omega (\mathcal{K}^{n-1}z, \nu ), \omega (\mathcal{K}^{n-1}z,\mathcal{K}^{n}z), \\ \omega (\nu , \mathcal{K} \nu ), \omega (\mathcal{K}^{n-1}z, \mathcal{K} \nu ), \omega ( \mathcal{K}^{n}z, \nu ) \end{pmatrix}\leq 0. $$(14)Using \((z,\mathcal{K}z)\in \mathcal{R}\), similarly as in the proof of Theorem 4.2, it can be shown that \(w(\mathcal{K}^{n-1}z,\mathcal{K}^{n}z)\to 0\) as \(n\to \infty \). Therefore, for n sufficiently large, from (14), we have
$$ \mathcal{H} \begin{pmatrix} \omega (\mathcal{K}^{n}z, \nu ), \omega (\mathcal{K}^{n-1}z, \nu ), 0, 0, \omega (\mathcal{K}^{n-1}z, \mathcal{K} \nu ), \omega ( \mathcal{K}^{n}z, \nu ) \end{pmatrix}\leq 0. $$(15)It follows from \((\mathcal{H}_{4})\) that there is \(\hbar \in [0,1)\) such that
$$ \omega \bigl(\mathcal{K}^{n}z, \nu \bigr) \leq \hbar \omega \bigl( \mathcal{K}^{n-1}z, \nu \bigr). $$It follows that the sequence \(\{w(\mathcal{K}^{n} z, \nu )\}\) is nonincreasing. As earlier, we have
$$ \lim_{n \to \infty }w\bigl(\mathcal{K}^{n} z, \nu \bigr)=0. $$Also, since \((z,\vartheta )\in \mathcal{R}\), proceeding as earlier, we can prove that
$$ \lim_{n \to \infty }w\bigl(\mathcal{K}^{n} z, \vartheta \bigr)=0, $$and by using Lemma 2.2 we infer that \(\nu =\vartheta \); i.e. the fixed point of \(\mathcal{K}\) is unique.
-
Assumption (II). For any two fixed points ϑ, ν of \(\mathcal{K}\), there must be an element \(z\in \mathcal{K}(\mathcal{W})\) such that
$$(z,\vartheta )\in \mathcal{R}\quad \text{and}\quad (z,\nu )\in \mathcal{R}. $$As \(\mathcal{R}\) is \(\mathcal{K}\)-closed, so for all \(n \in \mathbb{N}\cup \{0\}\),
$$(\mathcal{K}^{n}z,\vartheta )\in \mathcal{R}\quad \text{and} \quad (\mathcal{K}^{n}z,\nu )\in \mathcal{R}. $$In the line of proof of Case(B) (I), we obtain \(\vartheta =\nu \), i.e. \(\mathcal{K}\) has a unique fixed point.
-
Assumption (III). Suppose that \(\vartheta ^{*}\), \(\nu ^{*}\) are two fixed points of \(\mathcal{K}\). Then we must have \((\vartheta ^{*},\nu ^{*})\in \mathcal{R}\) or \((\nu ^{*},\vartheta ^{*})\in \mathcal{R}\). For \((\vartheta ^{*},\nu ^{*})\in \mathcal{R}\), we obtain
$$\begin{aligned} \mathcal{H} \begin{pmatrix} \omega (\mathcal{K} \vartheta ^{*}, \mathcal{K} \nu ^{*}), \omega ( \vartheta ^{*},\nu ^{*}), \omega (\vartheta ^{*},\mathcal{K} \vartheta ^{*}), \\ \omega (\nu ^{*},\mathcal{K} \nu ^{*}), \omega (\vartheta ^{*}, \mathcal{K} \nu ^{*}), \omega (\mathcal{K} \vartheta ^{*}, \nu ^{*}) \end{pmatrix}\leq 0, \end{aligned}$$that is,
$$\begin{aligned} \mathcal{H}\bigl(\omega \bigl(\vartheta ^{*}, \nu ^{*} \bigr), \omega \bigl(\vartheta ^{*}, \nu ^{*}\bigr), 0,0, \omega \bigl(\vartheta ^{*},\nu ^{*}\bigr), \omega \bigl( \vartheta ^{*}, \nu ^{*}\bigr)\bigr)\leq 0, \end{aligned}$$which contradicts \((\mathcal{H}_{3})\), then \(w(\vartheta ^{*},\nu ^{*})=0\). Since \(w(\vartheta ^{*},\vartheta ^{*})=0\), by using Lemma 2.2, we have \(\vartheta ^{*} = \nu ^{*}\); i.e. the fixed point of \(\mathcal{K}\) is unique.
In a similar way, if \((\nu ^{*},\vartheta ^{*})\in \mathcal{R}\), we have \(\vartheta ^{*}=\nu ^{*}\).
-
Assumption (IV). Suppose that \(\vartheta ^{*}\), \(\nu ^{*}\) are two fixed points of \(\mathcal{K}\). Let \(\{z_{0},z_{1},\dots ,z_{k}\}\) be an \(\mathcal{R}^{s}\)-path in \(\operatorname{Fix}(\mathcal{K})\) connecting \(\vartheta ^{*}\) and \(\nu ^{*}\). As in Case (I,A), it must be \(z_{i-1}=z_{i}\) for each \(i=1,2,\dots ,k\), and it follows that \(\vartheta ^{*}=\nu ^{*}\).
□
By choosing \(\mathcal{H} \in \Omega \) from Example 3.1–Example 3.2, we have the following consequences.
Corollary 4.5
Let all the conditions of Theorem 4.2–Theorem 4.3be satisfied, except that the assumption of orbitally ω-implicit contractive mapping for \(\mathcal{H} \in \Omega \) is replaced with either of the forms
-
(I)
$$\begin{aligned} \bigl[\omega (\mathcal{K}\vartheta ,\mathcal{K} \nu ) \bigr]^{2} &\leq a \bigl[ \omega (\vartheta ,\nu ) \bigr]^{2}- b \frac{[\omega (\vartheta ,\mathcal{K}\vartheta )]^{2} + [\omega (\nu ,\mathcal{K} \nu )]^{2}}{ 1+ \omega (\vartheta ,\mathcal{K} \nu ) + \omega (\mathcal{K}\vartheta , \nu )}, \end{aligned}$$(16)
where \(1/2< a<1\), \(0< b<1/2\), or
-
(II)
$$\begin{aligned} \bigl[ \omega (\mathcal{K}\vartheta ,\mathcal{K} \nu ) \bigr]^{2} &\leq a \bigl[ \omega (\vartheta ,\nu ) \bigr]^{2} - b \frac{[\omega (\vartheta ,\mathcal{K}\vartheta )]^{2} + [\omega (\nu ,\mathcal{K} \nu )]^{2}}{ 1+ [ \omega (\vartheta ,\mathcal{K} \nu )]^{2} + [\omega (\mathcal{K}\vartheta , \nu )]^{2}}, \end{aligned}$$(17)
where \(1/2< a<1\), \(0< b<1/2\).
Then \(\operatorname{Fix}(\mathcal{K} )\) is a singleton.
5 Illustrations
In this part, we show how important our results are when compared to metric distances.
Example 5.1
(Inspired by [19])
Consider the set \(\mathcal{W} = [0,\frac{3}{2}]\) with the usual metric d. Define a w-distance \(\omega \colon \mathcal{W} \times \mathcal{W} \to [0,\infty )\) by \(\omega (\vartheta ,\nu ) = \nu \) for all \(\vartheta , \nu \in \mathcal{W}\) and the binary relation \(\mathcal{R}\) by
Consider the self-mapping \(\mathcal{K}\) on \(\mathcal{W}\) given by
It is clear that \(\mathcal{W}\) is \(\mathcal{K}-\mathcal{R}\) is complete, \(\mathfrak{X}(\mathcal{K},\mathcal{R})\neq \emptyset \) and \(\mathcal{R}\) is \(\mathcal{K}\)-closed.
Considering Example 3.2, we can define \(\mathcal{H} \in \Omega \) as
where \(1/2< a<1\), \(0< b<1/2\). Then (1) reduces to
where \(1/2< a<1\), \(0< b<1/2\).
We show that \(\mathcal{K} \) satisfies (18). We divide the proof into three parts for \(\vartheta \leq 1 \). Similarly, we can show for \(\nu \leq 1 \).
Case 1: Let \(\vartheta =0\), then \(\nu \in [0,\frac{3}{2}]\) such that \((\vartheta , \nu )\in \mathcal{R}\). Then
-
Let \(0 \leq \nu \leq \frac{2}{3}\). Then \(\omega (\mathcal{K} \vartheta , \mathcal{K} \nu )= \nu /3\), \(\omega (\vartheta , \nu )= \nu \), \(\omega ( \vartheta , \mathcal{K}\vartheta ) =0\), \(\omega (\nu , \mathcal{K} \nu ) = \nu /3\), \(\omega (\vartheta , \mathcal{K}\nu )=\nu /3\), \(\omega (\mathcal{K} \vartheta ,\nu )=\nu \). Therefore, condition (18) reduces to
$$ \frac{\nu ^{2}}{9} \leq a \nu ^{2} - b \frac{\nu ^{2}}{2\nu ^{2}+9}. $$ -
Let \(\frac{2}{3}<\nu <1\), then \(\mathcal{K} \nu \in (0, \frac{1}{3})\). Then \(\omega (\mathcal{K}\vartheta , \mathcal{K}\nu ) =1-\nu \), \(\omega (\vartheta , \nu )= \nu \), \(\omega ( \vartheta , \mathcal{K}\vartheta ) =0\), \(\omega (\nu , \mathcal{K} \nu ) = 1- \nu \), \(\omega (\vartheta , \mathcal{K}\nu )=1-\nu \), \(\omega (\mathcal{K} \vartheta ,\nu ) = \nu \). Therefore, condition (18) reduces to
$$ (1 - \nu )^{2} \leq a \nu ^{2} - b \frac{(1-\nu )^{2}}{2+2\nu ^{2}-2\nu }. $$ -
Let \(\nu =1\). Then \(\omega (\mathcal{K}0, \mathcal{K}1)=\frac{3}{4}\), \(\omega (\vartheta , \nu )= 1\), \(\omega ( \vartheta , \mathcal{K}\vartheta ) =0\), \(\omega (\nu , \mathcal{K} \nu ) = 3/4\), \(\omega (\vartheta , \mathcal{K}\nu )=3/4\), \(\omega (\mathcal{K} \vartheta , \nu )=1\). Therefore, condition (18) reduces to
$$ \frac{9}{16} \leq a - b \frac{9}{41}. $$ -
Let \(\nu >1\). Then we have \(\omega (\mathcal{K} \vartheta , \mathcal{K} \nu ) = \nu - \frac{1}{2}\), \(\omega (\vartheta , \nu )= \nu \), \(\omega ( \vartheta , \mathcal{K}\vartheta ) = 0\), \(\omega (\nu , \mathcal{K} \nu ) = \nu - 1/2\), \(\omega ( \vartheta , \mathcal{K}\nu )= \nu -1/2\), \(\omega (\mathcal{K} \vartheta , \nu )= \nu \). Therefore, condition (18) reduces to
$$ \biggl(\nu - \frac{1}{2}\biggr)^{2} \leq a \nu ^{2} - b \frac{(\nu -1/2)^{2}}{2\nu ^{2} - \nu + 5/4}. $$
Case 2: Let \(\vartheta \in [0,3/2]\) and \(\nu =0\). Then \(\omega (\mathcal{K} \vartheta , \mathcal{K} \nu )=0\), and condition (18) is trivially true.
Case 3: Let \(\vartheta \neq 0\). Then \(\nu \leq 1\). Therefore, we have:
-
Let \(0 \leq \nu \leq \frac{2}{3}\), \(\omega ( \mathcal{K} \vartheta , \mathcal{K}\nu )= \nu /3 \), \(\omega (\vartheta , \nu )= \nu \), \(\omega ( \vartheta , \mathcal{K}\vartheta ) = \mathcal{K}\vartheta \), \(\omega (\nu , \mathcal{K} \nu ) = \nu /3\), \(\omega ( \vartheta , \mathcal{K}\nu )= \nu /3\), \(\omega (\mathcal{K} \vartheta , \nu )= \nu \). Therefore, condition (18) reduces to
$$ \frac{\nu ^{2}}{9} \leq a \nu ^{2} - b \frac{(\mathcal{K}\vartheta )^{2}+\nu ^{2}}{1 + \nu ^{2}/9 + \nu ^{2}}. $$ -
Let \(\frac{2}{3} < \nu <1\), \(\omega (\mathcal{K} \vartheta , \mathcal{K} \nu ) = 1- \nu \), \(\omega (\vartheta , \nu )= \nu \), \(\omega ( \vartheta , \mathcal{K}\vartheta ) = \mathcal{K}\vartheta \), \(\omega (\nu , \mathcal{K} \nu ) = 1- \nu \), \(\omega ( \vartheta , \mathcal{K}\nu )= 1- \nu \), \(\omega (\mathcal{K} \vartheta , \nu )= \nu \). Therefore, condition (18) reduces to
$$ (1- \nu )^{2} \leq a \nu ^{2} - b \frac{(\mathcal{K}\vartheta )^{2}+(1-\nu )^{2}}{2+2\nu ^{2}-2\nu }. $$ -
Let \(\nu =1\), \(\omega (\mathcal{K}\vartheta ,\mathcal{K} 1)=\frac{3}{4}\), \(\omega (\vartheta , \nu )= 1\), \(\omega ( \vartheta , \mathcal{K}\vartheta ) = \mathcal{K}\vartheta \), \(\omega (1, \mathcal{K}1) = 3/4\), \(\omega (\vartheta , \mathcal{K}1)=3/4\), \(\omega (\mathcal{K} \vartheta , \nu )=1\). Therefore, condition (18) reduces to
$$ \frac{9}{16} \leq a - b \frac{(\mathcal{K}\vartheta )^{2}+9}{\frac{41}{16}}. $$ -
Let \(\vartheta \leq 1\) and \(\nu >1\). Then \(\omega (\mathcal{K} \vartheta , \mathcal{K} \nu ) = \nu - 1/2\), \(\omega (\vartheta , \nu )= \nu \), \(\omega ( \vartheta , \mathcal{K}\vartheta ) = \mathcal{K} \vartheta \), \(\omega (\nu , \mathcal{K} \nu ) = \nu - 1/2\), \(\omega ( \vartheta , \mathcal{K}\nu )= \nu - 1/2 \), \(\omega (\mathcal{K} \vartheta , \nu )= \nu \). Therefore, condition (18) reduces to
$$ \biggl(\nu - \frac{1}{2}\biggr)^{2} \leq a \nu ^{2} - b \frac{(\mathcal{K}\vartheta )^{2}+(\nu -1/2)^{2}}{2\nu ^{2} - \nu + 5/4}. $$
It can be easily checked that the above cases hold true for \(a= 9/10\), \(b=1/10\).
Thus \(\mathcal{K}\) is an \(\mathcal{R}_{\omega }\)-implicit contractive mapping.
Note that \(\mathcal{K}\) is not \(\mathcal{R}\)-continuous at \(\vartheta =1\) and \(\vartheta = \frac{2}{3}\).
Finally, we will show that condition (\(\mathcal{A}_{5}\)’) of Theorem 4.3 holds true. If \(\nu >0\), we have \(\nu \neq \mathcal{K} \nu \) so that
Thus, all the conditions of Theorem 4.3 are satisfied and \(\operatorname{Fix}(\mathcal{K}) = \{0\}\).
Remark 5.2
In the above example, it is noted that (18) is not true in a metric space, that is,
For instance, if \(\vartheta =1\), \(\nu =3/4\), (19) implies that
which is not true for any \(1/2< a<1\), \(0< b<1/2\).
Example 5.3
Consider the set \(\mathcal{W} = \{0,1,2\}\) with the usual metric d, and order relation \(\mathfrak{R}\) is defined as \((\vartheta , \nu ) \in \mathcal{R }\Leftrightarrow \vartheta \leq \nu \). Define a w-distance \(\omega \colon \mathcal{W} \times \mathcal{W} \to [0,\infty )\) by \(\omega (\vartheta ,\nu ) = \nu \) for all \(\vartheta , \nu \in \mathcal{W}\). Define a mapping \(\mathcal{K}: \mathcal{W} \to \mathcal{W}\) by
It is clear that \(\mathcal{W}\) is \(\mathcal{K}-\mathcal{R}\) is complete, \(\mathfrak{X}(\mathcal{K},\mathcal{R})\neq \emptyset \) and \(\mathcal{R}\) is \(\mathcal{K}\)-closed.
Considering Example 3.1, we can define \(\mathcal{H} \in \Omega \) as
where \(1/2< a<1\), \(0< b<1/2\). Then (1) reduces to
where \(1/2< a<1\), \(0< b<1/2\), \(\vartheta \leq \nu\).
It is easy to check that \(\mathcal{K} \) satisfies (20). Thus, by Theorem 4.2, \(\operatorname{Fix}(\mathcal{K}) = \{0\}\).
It is noted that (20) is not true in metric distance d. For instance, if \(\vartheta =1\), \(\nu =2\), (20) implies that
which is not true for any \(1/2< a<1\), \(0< b<1/2\).
Example 5.4
Consider the set \(\mathcal{W} = [0,1]\) with the usual metric d. Define a w-distance \(\omega \colon \mathcal{W} \times \mathcal{W} \to [0,\infty )\) by \(\omega (\vartheta ,\nu ) = \vartheta + \nu \) for all \(\vartheta , \nu \in \mathcal{W}\) and the binary relation \(\mathcal{R}\) by
Consider the self-mapping \(\mathcal{K}\) on \(\mathcal{W}\) given by
It is clear that \(\mathcal{W}\) is \(\mathcal{K}-\mathcal{R}\) is complete, \(\mathfrak{X}(\mathcal{K},\mathcal{R})\neq \emptyset \) and \(\mathcal{R}\) is \(\mathcal{K}\)-closed.
Considering Example 3.2, we can define \(\mathcal{H} \in \Omega \) as
where \(1/2< a<1\), \(0< b<1/2\). Then (1) reduces to
where \(1/2< a<1\), \(0< b<1/2\).
We show that \(\mathcal{K} \) satisfies (21).
Case 1: If \((\vartheta ,\nu ) \in \{ (0,0), (\frac{1}{4},0), (0, \frac{1}{4}), (\frac{1}{4}, \frac{1}{4}) \} \), then \(\omega (\mathcal{K} \vartheta , \mathcal{K} \nu ) = 0\), and condition (21) is trivially satisfied.
Case 2: If \((\vartheta ,\nu ) \in \{ (0,1), (\frac{1}{4},1) \} \).
-
Let \((\vartheta ,\nu ) = (0,1)\). Then \(\omega (\mathcal{K} \vartheta , \mathcal{K} \nu ) = 1/4\), \(\omega (\vartheta , \nu )= 1\), \(\omega ( \vartheta , \mathcal{K}\vartheta ) = 0\), \(\omega (\nu , \mathcal{K} \nu )=5/4\), \(\omega ( \vartheta , \mathcal{K}\nu )= 1/4\), \(\omega (\mathcal{K} \vartheta , \nu )= 1\). Therefore, condition (21) reduces to
$$ \frac{1}{16} \leq a - \frac{25c}{33}. $$ -
Let \((\vartheta ,\nu ) = (\frac{1}{4},1)\). Then \(\omega (\mathcal{K} \vartheta , \mathcal{K} \nu ) = 1/4\), \(\omega (\vartheta , \nu )= 5/4\), \(\omega ( \vartheta , \mathcal{K}\vartheta ) = 1/4\), \(\omega (\nu , \mathcal{K} \nu )=5/4\), \(\omega ( \vartheta , \mathcal{K}\nu )= \frac{1}{2}\), \(\omega (\mathcal{K} \vartheta , \nu )= 1\). Therefore, condition (21) reduces to
$$ \frac{1}{16} \leq \frac{5a}{4} - \frac{13b}{18}. $$
It can be easily checked that the above cases hold true for \(a= 3/4\), \(b=1/10\). Thus \(\mathcal{K}\) is an \(\mathcal{R}_{\omega }\)-implicit contractive mapping.
Finally, we will show that condition (\({\mathcal{A}_{5}}'\)) of Theorem 4.3 holds true. If \(\nu >0\), we have \(\nu \neq \mathcal{K} \nu \) so that
Thus, all the conditions of Theorem 4.3 are satisfied and \(\operatorname{Fix}(\mathcal{K}) = \{0\}\).
Example 5.5
Consider the set \(\mathcal{W} = \{0, 1, \frac{1}{2}, \frac{1}{2^{2}},... \} \) with \(d(\vartheta ,\nu )=|\vartheta -\nu |\), where \((\vartheta , \nu ) \in \mathcal{R} \Leftrightarrow \vartheta < \nu \). Define a w-distance \(\omega \colon \mathcal{W} \times \mathcal{W} \to [0, +\infty )\) by \(\omega (\vartheta , \nu ) = \nu \) for all \(\vartheta , \nu \in \mathcal{W}\).
Consider the self-mapping \(\mathcal{K} \) on \(\mathcal{W}\) given by
Considering Example 3.1, (1) reduces to
where \(1/2< a<1\), \(0< b<1/2\), \(\vartheta < \nu \).
Consider two cases:
-
If \(\vartheta =0\) and \(\nu =1/2^{n}\), \(n\in \mathbb{N}\), then (22) reduces to
$$\begin{aligned} \frac{1}{2^{2n+2}} &\leq a \frac{1}{2^{2n}} -b \frac{\frac{1}{4} + \frac{1}{2^{2n+2}} }{1+ \frac{1}{2^{n+1}}+ \frac{1}{2^{n}}} \end{aligned}$$and is fulfilled for \(1/2< a<1\), \(0< b<1/2\).
-
Let \(\vartheta , \nu \in \{1/2^{n} \mid n \in \mathbb{N} \cup \{0\} \}\). Consider \(\vartheta = \frac{1}{2^{m}}\) and \(\nu = \frac{1}{2^{n}}(m>n)\). Then inequality (22) has the form
$$\begin{aligned} \frac{1}{2^{2n+2}} &\leq a \frac{1}{2^{2n}} - b \frac{\frac{1}{2^{2m+2}} + \frac{1}{2^{2n+2}}}{1+ \frac{1}{2^{n+1}} + \frac{1}{2^{n}}}, \end{aligned}$$which is obviously true for \(1/2< a<1\), \(0< b<1/2\).
For instance, both of the above cases are true for \(a=\frac{99}{100}\), \(b=\frac{2}{100}\).
It can be noted that, for \(0\neq \mathcal{K} 0\), we have
Thus, all the conditions of Theorem 4.3 are satisfied except (\({ \mathcal{A}_{5}}'\)). Clearly, \(\mathcal{K} \) has no fixed points in \(\mathcal{W}\).
Remark 5.6
It is observed that for \(0\neq \mathcal{K} 0\) in the metric space
That is, condition (\({\mathcal{A}_{5}}'\)) of Theorem 4.3 is also not satisfied in the metric space.
6 Application to nonlinear matrix equations
Let \(\mathcal{H}(n)\) (resp. \(\mathcal{K}(n)\), \(\mathcal{P}(n)\)) denote the set of all \(n\times n\) Hermitian (resp. positive semi-definite, positive definite) matrices over \(\mathbb{C}\) and \(\mathcal{M}(n)\) be the set of all \(n\times n\) matrices over \(\mathbb{C}\). Denote by \(s(\mathcal{U})\) any singular value of a matrix \(\mathcal{U}\), and its trace norm by \(s^{+}(\mathcal{U})=\|\mathcal{U}\|\). For \(\mathcal{C},\mathcal{D}\in \mathcal{H}(n)\), \(\mathcal{C}\succeq \mathcal{D}\) (resp. \(\mathcal{C}\succ \mathcal{D}\)) will mean that the matrix \(\mathcal{C}-\mathcal{D}\) is positive semi-definite (resp. positive definite).
Theorem 6.1
Consider the equation
where \(\mathcal{Q}\in \mathcal{P}(n)\), \(\mathcal{A}_{i}\in \mathcal{M}(n)\), \(i=1,\dots ,k\), and the operator \(\mathcal{G} \colon \mathcal{P}(n)\to \mathcal{P}(n)\) is continuous in the trace norm. Let, for some \(M,N_{1}\in \mathbb{R}\) and for any \(\mathcal{U}\in \mathcal{P}(n)\) with \(\Vert \mathcal{U}\Vert \leq M\), \(s(\mathcal{G}(\mathcal{U}))\leq N_{1}\) hold for all singular values of \(\mathcal{G}(\mathcal{U})\). Assume that:
-
(I)
\(\Vert \mathcal{Q} \Vert \leq M-NN_{1}n\), where \(\sum_{i=1}^{k}\Vert \mathcal{A}_{i}^{*}\Vert \, \Vert \mathcal{A}_{i} \Vert =N\);
-
(II)
For any \(\mathcal{Q}\in \mathcal{P}(n)\) with \(\Vert \mathcal{Q}\Vert \leq M\), \(\sum_{i=1}^{k}\mathcal{A}_{i}^{*} \mathcal{G}(\mathcal{Q}) \mathcal{A}_{i}\succeq O\) holds;
-
(III)
There exist \(1/2< a<1\), \(0< b<1/2\) such that, for any \(s(\mathcal{Q})\),
$$ 2NN_{1} + 2 s(\mathcal{Q}) \leq \bigl[\Upsilon ( \mathcal{U,V})\bigr]^{1/2} $$(24)holds for all \(\mathcal{U}, \mathcal{V}\in \mathcal{P}(n)\) with \(\Vert \mathcal{U}\Vert , \Vert \mathcal{V}\Vert \leq M\), \(\mathcal{U}\preceq \mathcal{V}\) and
\(\sum_{i=1}^{k}\mathcal{A}_{i}^{*}\mathcal{G}(\mathcal{U}) \mathcal{A}_{i} \neq \sum_{i=1}^{k}\mathcal{A}_{i}^{*}\mathcal{G}( \mathcal{V})\mathcal{A}_{i}\), where
$$\begin{aligned} & \Upsilon (\mathcal{U,V}) \\ &\quad = a \bigl( \bigl\vert s^{+}(\mathcal{U}) \bigr\vert + \bigl\vert s^{+}( \mathcal{V}) \bigr\vert \bigr)^{2} \\ &\qquad {}-b \frac{( \vert s^{+}(\mathcal{U}) \vert + \vert s^{+}(\mathcal{Q} + \sum_{i=1}^{k}\mathcal{A}_{i}^{*}\mathcal{G}(\mathcal{U})\mathcal{A}_{i}) \vert )^{2} + ( \vert s^{+}(\mathcal{V}) \vert + \vert s^{+}(\mathcal{Q} + \sum_{i=1}^{k}\mathcal{A}_{i}^{*}\mathcal{G}(\mathcal{V})\mathcal{A}_{i}) \vert )^{2}}{1 + \vert s^{+}(\mathcal{U}) \vert + \vert s^{+}(\mathcal{Q} + \sum_{i=1}^{k}\mathcal{A}_{i}^{*}\mathcal{G}(\mathcal{V})\mathcal{A}_{i}) \vert + \vert s^{+}(\mathcal{Q} + \sum_{i=1}^{k}\mathcal{A}_{i}^{*}\mathcal{G}(\mathcal{U})\mathcal{A}_{i}) \vert + \vert s^{+}(\mathcal{V}) \vert }. \end{aligned}$$(25)
Then NME (23) has a unique solution \(\widehat{\mathcal{U}}\in \mathcal{P}(n)\) with \(\Vert \widehat{\mathcal{U}}\Vert \leq M\). Further, the solution can be obtained as the limit of the iterative sequence \(\{\mathcal{U}_{n}\}\), where for \(j\geq 0\),
and \(\mathcal{U}_{0}\) is an arbitrary element of \(\mathcal{P}(n)\) satisfying \(\Vert \mathcal{U}_{0}\Vert \leq M\).
Proof
Denote by \(\Lambda : = \{\mathcal{U}\in \mathcal{P}(n):\Vert \mathcal{U}\Vert \leq M\}\) a closed subset of \(\mathcal{P}(n)\). According to (II), any solution of (23) in Λ has to be positive definite. We have, for any \(\mathcal{U}\in \Lambda \),
Since all singular values of \(\mathcal{U}\) satisfy \(s(\mathcal{G}(\mathcal{U})) \leq N_{1}\), it follows that \(\Vert \mathcal{G}(\mathcal{U})\Vert \leq N_{1}n\). Thus, (27) implies
Define now an operator \(\mathcal{K} : \Lambda \rightarrow \Lambda \) by
Also, define a binary relation
It is clear that finding positive definite solution(s) of equation (23) is equivalent to finding fixed point(s) of \(\mathcal{K}\). Notice that \(\mathcal{K}\) is well defined, \(\mathcal{R}\)-continuous and \(\mathcal{R}\) is \(\mathcal{K}\)-closed. Since
for some \(\mathcal{Q} \in \Lambda \), we have \((\mathcal{Q}, \mathcal{K}(\mathcal{Q}))\in \mathcal{R}\) or \((\mathcal{K}(\mathcal{Q}), \mathcal{Q})\in \mathcal{R}\), and hence \(\Lambda (\mathcal{K};\mathcal{R})\neq \emptyset \).
Now, for \((\mathcal{U}, \mathcal{V})\in \mathcal{R}\), we have
Thus, for any \(\mathcal{U}, \mathcal{V}\in \Lambda \) with \(\mathcal{U}\preceq \mathcal{V}\), we have
For some fixed \(\mathcal{U}, \mathcal{V}\in \Lambda \) with \((\mathcal{U}, \mathcal{V}) \in \mathcal{R}\), from (24) and (25), we have
The above relation holds for every singular value of \(\mathcal{Q}\), so adding up, we obtain
Therefore, from (28) we get
Let \(\omega \colon \Lambda \times \Lambda \to \mathbb{R}_{+}\) be defined by
Then \((\Lambda ,\|\cdot\|, \omega )\) is a complete relational metric space with the above ω-distance. It follows from (29) that
Taking \(\mathcal{H} \in \Omega \) as Example 3.1, (30) can be rewritten as
Now, all the hypotheses of Theorem 4.2 are satisfied, and therefore there exists \(\hat{\mathcal{X}}\in \mathcal{P}(n)\) such that \(\mathcal{K}(\hat{\mathcal{X}})=\hat{\mathcal{X}}\). Hence, matrix equation (23) has a solution in \(\mathcal{P}(n)\). Furthermore, due to the existence of the least upper bound and the greatest lower bound for each pair \(\mathcal{U},\mathcal{V}\in \mathcal{K}(\mathcal{P}(n))\), we have \(\mathcal{Y}(\mathcal{U}, \mathcal{V};\mathcal{R}|_{\mathcal{K}( \mathcal{P}(n))})\neq \emptyset \) for all \(\mathcal{U},\mathcal{V}\in \mathcal{K}(\mathcal{P}(n))\). Hence, using Theorem 4.4, \(\mathcal{K}\) has a unique fixed point, and hence we conclude that matrix equation (23) has a unique solution in \(\mathcal{P}(n)\). □
7 Numerical analysis
Example 7.1
Consider NME (23) for \(a=0.75\), \(b=0.1\) with \(\mathcal{G}(\mathcal{X}) = \mathcal{X}^{1/4}\), i.e.
where
The conditions of Theorem 31 can be checked numerically by considering different particular values of matrices involved. For instance, it can be tested (and verified to be true) for
To see the behaviour of convergence of the sequence \(\{\mathcal{U}_{n}\}\) defined in (26), we take up three different initial values:
with \(\Vert \mathcal{U}_{0} \Vert =0.0755\), \(\Vert \mathcal{V}_{0} \Vert =1\), with \(\Vert \mathcal{W}_{0} \Vert =87.8286\).
After 10 successive iterations, the approximations of the unique PDS of NME (23) are the following:
It can be also verified that the elements of each sequence are order-preserving. The convergence behaviour (see Fig. 1) and the solution surface plot (see Fig. 2) are shown graphically.
Availability of data and materials
Not applicable.
References
Alam, A., Imdad, M.: Relation-theoretic contraction principle. J. Fixed Point Theory Appl. 17(4), 693–702 (2015)
Aliouche, A., Djoudi, A.: Common fixed point theorems for mappings satisfying an implicit relation without decreasing assumption. Hacet. J. Math. Stat. 36(1), 11–18 (2007)
Gopal, D., Agarwal, P., Kumam, P.: Metric Structures and Fixed Point Theory, pp. 67–102. CRC Press, Boca Raton (2021)
Kada, O., Suzuki, T., Takahashi, W.: Nonconvex minimization theorems and fixed point theorems in complete metric spaces. Math. Jpn. 44, 381–391 (1996)
Kolman, B., Busby, R.C., Ross, S.: Discrete Mathematical Structures, 3rd edn. PHI Pvt. Ltd., New Delhi (2000)
Lakzian, H., Gopal, D., Sintunavarat, W.: New fixed point results for mappings of contractive type with an application to nonlinear fractional differential equations. J. Fixed Point Theory Appl. 18(2), 251–266 (2016)
Lakzian, H., Rakočević, V., Aydi, H.: Extensions of Kannan contraction via w-distances. Aequ. Math. 93(6), 1231–1244 (2019)
Lipschutz, S.: Schaum’s Outlines of Theory and Problems of Set Theory and Related Topics. McGraw-Hill, New York (1964)
Maddux, R.D.: Relation Algebras. Studies in Logic and Foundations of Mathematics, vol. 150. Elsevier, Amsterdam (2006)
Matkowski, J.: Integrable solutions of functional equations. Diss. Math. 127, 1–68 (1975)
Matkowski, J.: Fixed point theorems for mappings with a contractive iterate at a point. Proc. Am. Math. Soc. 62, 344–348 (1977)
Mizoguchi, N., Takahashi, W.: Fixed point theorems for multivalued mappings on complete metric spaces. J. Math. Anal. Appl. 141(1), 177–188 (1989)
Nieto, J.J., López, R.R.: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 22, 223–239 (2005)
Nieto, J.J., López, R.R.: Fixed point theorems in ordered abstract spaces. Proc. Am. Math. Soc. 135, 2505–2517 (2007)
Popa, V., Mocanu, M.: Altering distance and common fixed points under implicit relations. Hacet. J. Math. Stat. 38(3), 329–337 (2009)
Ran, A.C.M., Reurings, M.C.B.: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 132, 1435–1443 (2004)
Rouzkard, F., Imdad, M., Gopal, D.: Some existence and uniqueness theorems on ordered metric spaces via generalized distances. Fixed Point Theory Appl. 2013, 45 (2013)
Samet, B., Turinici, M.: Fixed point theorems on a metric space endowed with an arbitrary binary relation and applications. Commun. Math. Anal. 13, 82–97 (2012)
Senapati, T., Dey, L.K.: Relation-theoretic metrical fixed-point results via w-distance with applications. J. Fixed Point Theory Appl. 19(4), 2945–2961 (2017)
Suzuki, T.: Several fixed point theorems in complete metric space. Yokohama Math. J. 44, 61–72 (1997)
Turinici, M.: Abstract comparison principles and multivariable Gronwall-Bellman inequalities. J. Math. Anal. Appl. 117, 100–127 (1986)
Turinici, M.: Fixed points for monotone iteratively local contractions. Demonstr. Math. 19, 171–180 (1986)
Acknowledgements
This research is funded by the Foundation for Science and Technology Development of Ton Duc Thang University (FOSTECT), website: http://fostect.tdtu.edu.vn, under Grant FOSTECT.2019.14. The authors are grateful to the Basque Government for Grant IT1207-19. We are also indebted to the academic reviewers for their insightful comments, which assisted us in improving the text in some places.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Jain, R., Nashine, H.K. & De la Sen, M. An implicit relation, relational theoretic approach under w-distance and application to nonlinear matrix equations. J Inequal Appl 2021, 169 (2021). https://doi.org/10.1186/s13660-021-02704-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-021-02704-w