Abstract
In this paper, we study the existence of solution for the following non-linear matrix equations:
where Q is a Hermitian positive definite matrix, \(A_{i}\), \(B_{i}\) are arbitrary \(m\times m\) matrices and \(\varUpsilon: \mathcal{H}(m)\rightarrow \mathcal{P}(m)\) is an order preserving continuous map such that \(\varUpsilon (0)=0\). To this aim, we establish several common fixed point theorems for two mapping satisfying a rational \(F_{\mathcal{R}}\)-contractive condition, where \(\mathcal{R}\) is a binary relation.
Similar content being viewed by others
1 Introduction
Non-linear matrix equations play an important role in several problems of engineering and applied mathematics. Various matrix equations are encountered in stability analysis [1], control theory [2, 3] and system theory [4,5,6]. To test the existence of solution to non-linear matrix equations, we can have a number of advanced methods. One of these methods is to use the tools of fixed point theory. Using fixed point results, many researchers checked the existence and uniqueness of solution of non-linear matrix equations [7,8,9,10].
An important result in fixed point theory, commonly known in the literature as the Banach principle, has been established by Banach [11]. This principle has been improved and generalized by several researchers for different kinds of contractions in various spaces. Wardowski [12] presented the concept of F-contraction and demonstrated fixed point theorems for this new type of contractions. Several authors generalized Wardowski’s theorems by extending the concept of F-contraction. Recently, Sawangsup et al. [9] introduced the concept of \(F_{\mathcal{R}}\)-contraction and established fixed point results for such type of contractions.
Throughout this work we use the following notation:
-
\(\mathcal{M}(m) =\) set of \(m\times m\) complex matrices,
-
\(\mathcal{H}(m) =\) set of \(m\times m\) Hermitian matrices,
-
\(\mathcal{P}(m) =\) set of \(m\times m\) positive definite matrices,
-
\(\mathcal{H}^{+}(m) =\) set of \(m\times m\) positive semi-definite matrices.
Here \(\mathcal{P}(m)\subseteq \mathcal{H}(m)\subseteq \mathcal{M}(m)\), \(\mathcal{H}^{+}(m)\subseteq \mathcal{H}(m)\), \(\varOmega_{1}\succ 0\) and \(\varOmega_{1}\succeq 0\) means that \(\varOmega_{1}\in \mathcal{P}(m)\) and \(\varOmega_{1}\in \mathcal{H}^{+}(m)\), respectively; for \(\varOmega_{1}- \varOmega_{2}\succeq 0\) and \(\varOmega_{1}-\varOmega_{2}\succ 0\) we will use \(\varOmega_{1}\succeq \varOmega_{2}\) and \(\varOmega_{1}\succ \varOmega_{2}\), respectively. Moreover, \(\mathbb{N}= \{1,2,3,\ldots\}\), and \(\mathbb{N} _{0} = \mathbb{N}\cup \{0\}\).
The main concern of this paper is to study the following non-linear matrix equations:
where \(Q\in \mathcal{P}(m)\), \(A_{i}\), \(B_{i}\) are arbitrary \(m\times m\) matrices and \(\varUpsilon: \mathcal{H}(m)\rightarrow \mathcal{P}(m)\) is a continuous order preserving map such that \(\varUpsilon (0)=0\). The matrix equations (1.1) often occur in dynamic programming [13, 14], control theory [15, 16], ladder networks [17, 18], etc.
Berzig [7] used coupled fixed point results to prove the existence of the unique positive definite solutions of (1.1). Recently, Sawangsup et al. [9] established fixed point theorems for \(F_{\mathcal{R}}\)-contractions and proved the existence and uniqueness of a positive definite solution of the matrix equation (1.2).
The intention of this work is to introduce the concept of rational \(F_{\mathcal{R}}\)-contractive pair of mappings, under an arbitrary binary relation \(\mathcal{R}\) and using this concept we prove fixed point results. By means of these results, we prove in the last section existence results for positive definite solutions of the two classes of non-linear matrix equations (1.1) and (1.2).
2 Preliminaries
In this section we recall some basic notions.
Definition 2.1
Let \(\mathbb{F}\) be the class of all functions \(\mathsf{f} : [0, \infty \mathclose{[}\rightarrow \mathbb{R}\) satisfying the following properties:
-
(1)
f is strictly increasing;
-
(2)
for every sequence \(\{s_{n}\}_{n\in \mathbb{N}}\) with \(s_{n}> 0\), we have
$$ \underset{n\rightarrow \infty }{\lim } s_{n} = 0 \quad \Longleftrightarrow\quad \underset{n\rightarrow \infty }{\lim } \mathsf{f}(s_{n})=-\infty; $$ -
(3)
there is \(j\in \mathopen{]}0,1[\) such that \(\underset{s\rightarrow 0^{+} }{ \lim }s^{j} \mathsf{f}(s)=0\).
Definition 2.2
([19])
Let \(\mathbb{X}\) be a non-empty set and \(\mathcal{R}\) be a binary relation on \(\mathbb{X}\). Then \(\mathcal{R}\) is transitive if \((\gamma_{2},\gamma_{1})\in \mathcal{R}\) and \((\gamma_{1},\gamma_{3})\in \mathcal{R}\) implies that \((\gamma_{2}, \gamma_{3})\in \mathcal{R}\), for all \(\gamma_{2},\gamma_{1},\gamma _{3}\in \mathbb{X}\).
Definition 2.3
Let \(\mathbb{X}\) be a non-empty set and \(\varPhi:\mathbb{X}\rightarrow \mathbb{X}\). Then a binary relation \(\mathcal{R}\) on \(\mathbb{X}\) is called Φ-closed (equivalently Φ is \(\mathcal{R}\)-non-decreasing) if for any \(\gamma_{1},\gamma _{2}\in \mathbb{X}\), we have
Definition 2.4
([21])
Let \(\gamma_{1},\gamma_{2}\in \mathbb{X}\) and \(\mathcal{R}\) be a binary relation on a non-empty set \(\mathbb{X}\). A path (of length \(n\in \mathbb{N}\)) in \(\mathcal{R}\) from \(\gamma_{1}\) to \(\gamma_{2}\) is a sequence \(\{t_{0}, t_{1}, t_{2},\ldots,t_{n}\} \subseteq \mathbb{X}\) such that
-
(i)
\(t_{0}=\gamma_{1}\) and \(t_{n}=\gamma_{2}\);
-
(ii)
\((t_{j}, t_{j+1})\in \mathcal{R}\) for all \(j\in \{0,1,2,\ldots,n-1 \}\).
Note that \(\varGamma (\gamma_{1},\gamma_{2},\mathcal{R})\) represents the class of all paths from \(\gamma_{1}\) to \(\gamma_{2}\) in \(\mathcal{R}\).
Notice that a path of length n involves \(n+1\) elements of \(\mathbb{X}\), although they are not necessarily distinct.
Definition 2.5
([22])
A metric space \((M,d)\) equipped with a binary relation \(\mathcal{R}\) is \(\mathcal{R}\)-non-decreasing-regular if for all sequences \(\{\kappa_{n}\}\) in M,
Definition 2.6
([9])
Let \((M,d)\) be a metric space, \(\mathcal{R}\) be a binary relation M and \(\varPsi: M\rightarrow M\) be a mapping. Let
Then Ψ is said to be an \(\mathsf{F}_{\mathcal{R}}\)-contraction if there exist \(\xi > 0\) and \(\mathsf{F}\in \mathbb{F}\) such that
3 Main results
First we modify Definition 2.6 for two maps as follows.
Definition 3.1
Let Φ, Ψ be two self-mappings and \(\mathcal{R}\) be a binary relation on a non-empty set \(\mathbb{X}\). Then \(\mathcal{R}\) is \((\varPhi,\varPsi)\)-closed if for each \(a_{1}, a_{2}\in \mathbb{X}\), we have
Definition 3.2
Let \((M,d)\) be a metric space, Φ, Ψ be self-mappings of M and \(\mathcal{R}\) be a binary relation on M. Let
We say that \((\varPhi, \varPsi)\) is a rational \(\mathsf{F}_{\mathcal{R}}\)-contractive pair of mappings if there exist \(\xi > 0\) and \(\mathsf{F}\in \mathbb{F}\) such that
Denote by \(M((\varPhi,\varPsi);\mathcal{R})\) the set of all order pairs \((\kappa_{1},\kappa_{2})\in M\times M\) such that \((\varPhi \kappa_{1}, \varPsi \kappa_{2})\in \mathcal{R}\).
Theorem 3.3
Let \((M,d)\) be a complete metric space, \(\mathcal{R}\) be a binary relation on M and \(\varPhi, \varPsi: M\rightarrow M\). Suppose that the following conditions hold:
- \((C_{1})\) :
-
\(M((\varPhi,\varPsi);\mathcal{R})\) is non-empty;
- \((C_{2})\) :
-
\(\mathcal{R}\) is \((\varPhi,\varPsi)\)-closed;
- \((C_{3})\) :
-
Φ and Ψ are continuous;
- \((C_{4})\) :
-
the pair \((\varPhi, \varPsi)\) is rational \(\mathsf{F} _{\mathcal{R}}\)-contractive.
Then there is a common fixed point of Φ and Ψ.
Proof
Let \((\kappa_{0}, \kappa_{1})\) be any element of \(M((\varPhi,\varPsi); \mathcal{R})\), then \((\varPhi \kappa_{0},\varPsi \kappa_{1})\in \mathcal{R}\). Define the sequence \(\{\kappa_{n}\}\) in M by
where \(n\in \mathbb{N}_{0}\).
If \(\kappa_{2n^{*}}=\kappa_{2n^{*}+1}\) for some \(n^{*}\in \mathbb{N} _{0}\), then \(\kappa_{2n^{*}}\) is a common fixed point of Φ and Ψ. If \(\kappa_{2n}\neq \kappa_{2n+1}\), for all \(n\in \mathbb{N} _{0}\). Then \(d(\varPhi \kappa_{2n} ,\varPsi \kappa_{2n+1}) > 0\), for all \(n\in \mathbb{N}_{0}\) and using assumption \((C_{2})\), we obtain
In general,
Thus \((\kappa_{2n}, \kappa_{2n+1})\in \mathcal{X}\), for all \(n\in \mathbb{N}_{0}\). Now, taking in (3.1) \(\kappa_{1}= \kappa_{2n}\) and \(\kappa_{2}=\kappa_{2n-1}\), we have
for all \(n\in \mathbb{N}\). Similarly, setting \(\kappa_{1}=\kappa_{2n}\) and \(\kappa_{2}=\kappa_{2n+1}\) in (3.1), we can write
In general,
where \(n\in \mathbb{N}\). Now, using inequality (3.3), we can write
that is,
where \(n\in \mathbb{N}\). Thus \(\underset{n\rightarrow \infty }{\lim } \mathsf{F}(d(\kappa_{n},\kappa_{n+1}))=-\infty \), by condition (2) of Definition 2.1, we get
From condition \((3)\) of Definition 2.1, we can find \(\varepsilon \in \mathopen{]}0,1[\) such that
Using (3.4), we have
Taking the limit \(n\rightarrow \infty \) in (3.7), and using (3.5) and (3.6), we get
Hence there exists \(n_{0}\in \mathbb{N}\) such that, for all \(n\geq n_{0}\), \(n ( d(\kappa_{n},\kappa_{n+1}) ) ^{\varepsilon }\leq 1\). Consequently, we have
Now, we show that \(\{\kappa_{n}\}\) is a Cauchy sequence. For this purpose, using (3.9) and the triangular inequality, for all \(m>n\geq n_{1}\), we have
Since \(d(\kappa_{n},\kappa_{m})\leq \sum^{m-1}_{i=n} \frac{1}{i^{\frac{1}{\varepsilon }}}<\infty \), the sequence \(\{\kappa_{n}\}\) is Cauchy in M. Due to completeness of M, one can find \(t\in M\) such that \(\kappa_{n}\rightarrow t\) as \(n \rightarrow \infty \).
Next, we show that \(\varPhi t=\varPsi t=t\). Since Φ and Ψ are continuous and \(\kappa_{2n}, \kappa_{2n-1}\rightarrow t\),
Due to the limit uniqueness, we obtain \(\varPhi t=t\) and \(\varPsi t=t\), which implies that \(\varPhi t=\varPsi t=t\) and hence there is a common fixed point of Φ and Ψ. □
The next result ensures the uniqueness of the common fixed point in Theorem 3.3.
Theorem 3.4
Let \(\mathcal{R}\) be a transitive relation and Φ, Ψ be the self-mappings on a complete metric space M. Assume that the following conditions hold:
- \((C_{0})\) :
-
for all \((\kappa_{1},\kappa_{2})\in \mathcal{X}\), there exists \(\mathsf{F}\in \mathbb{F}\) such that
$$ \xi +\mathsf{F}\bigl(d(\varPhi \kappa_{1},\varPsi \kappa_{2})\bigr) \leq \mathsf{F} \biggl( \frac{1}{2}d( \kappa_{1},\kappa_{2})+\frac{d(\kappa_{2},\varPhi \kappa_{1})d(\kappa_{1},\varPsi \kappa_{2})}{2 [ 1 + d(\kappa_{1}, \kappa_{2}) ] } \biggr), $$(3.10)where \(\xi > 0\);
- \((C_{1})\) :
-
\(M((\varPhi,\varPsi);\mathcal{R})\) and \(\varGamma (\kappa _{1},\kappa_{2},\mathcal{R})\) are non-empty;
- \((C_{2})\) :
-
\(\mathcal{R}\) is \((\varPhi,\varPsi)\)-closed;
- \((C_{3})\) :
-
Φ and Ψ are continuous.
Then there is a unique common fixed point of Φ and Ψ.
Proof
Following the same steps as in the proof of Theorem 3.3, one can easily prove that there is a common fixed point of Φ and Ψ. Thus we have to show that there is a unique common fixed point of Φ and Ψ. For this purpose, assume that λ and \(\lambda^{*}\) are two distinct common fixed points of Φ and Ψ. Then since \(\varGamma (\lambda,\lambda^{*},\mathcal{R})\) is the class of paths in \(\mathcal{R}\) from λ to \(\lambda^{*}\), there is a path of finite length l, i.e. there is a sequence \(\{z_{0}, z _{1}, z_{2},\ldots, z_{l}\}\) in \(\mathcal{R}\) from λ to \(\lambda^{*}\) with
But since \(\mathcal{R}\) is transitive, we have
Now, setting \(\lambda =\lambda \) and \(\lambda^{*}=\lambda^{*}\) in contraction condition (3.10), we have
which is a contradiction. Thus \(\lambda =\lambda^{*}\) and hence λ is the unique common fixed point of Φ and Ψ. □
Taking \(\varPhi =\varPsi \) in Theorems 3.3 and 3.4, we get the following corollaries.
Corollary 3.5
Let \(\mathcal{R}\) be a binary relation and Ψ be the self-mappings on a complete metric space M. Assume that the following conditions hold:
- \((C_{0})\) :
-
for all \((\kappa_{1},\kappa_{2})\in \mathcal{X}\), there exists \(\mathsf{F}\in \mathbb{F}\) such that
$$ \xi +\mathsf{F}\bigl(d(\varPsi \kappa_{1},\varPsi \kappa_{2})\bigr) \leq \mathsf{F} \biggl( d(\kappa_{1}, \kappa_{2})+\frac{d(\kappa_{2},\varPsi \kappa_{1})d( \kappa_{1},\varPsi \kappa_{2})}{1 + d(\kappa_{1},\kappa_{2})} \biggr), $$(3.11)where \(\xi > 0\);
- \((C_{1})\) :
-
\(M(\varPsi;\mathcal{R})\) is non-empty;
- \((C_{2})\) :
-
\(\mathcal{R}\) is Ψ-closed;
- \((C_{3})\) :
-
Ψ is continuous.
Then there is a fixed point of Ψ.
Corollary 3.6
Let \(\mathcal{R}\) be a transitive relation and Ψ be the self-mappings on a complete metric space M. Assume that the following conditions hold:
- \((C_{0})\) :
-
for all \((\kappa_{1},\kappa_{2})\in \mathcal{X}\), there exists \(\mathsf{F}\in \mathbb{F}\) such that
$$ \xi +\mathsf{F}\bigl(d(\varPsi \kappa_{1},\varPsi \kappa_{2})\bigr) \leq \mathsf{F} \biggl( \frac{1}{2}d( \kappa_{1},\kappa_{2})+\frac{d(\kappa_{2},\varPsi \kappa_{1})d(\kappa_{1},\varPsi \kappa_{2})}{2[1 + d(\kappa_{1},\kappa _{2})]} \biggr), $$(3.12)where \(\xi > 0\);
- \((C_{1})\) :
-
\(M(\varPsi;\mathcal{R})\) and \(\varGamma (\kappa_{1},\kappa _{2},\mathcal{R})\) are non-empty;
- \((C_{2})\) :
-
\(\mathcal{R}\) is Ψ-closed;
- \((C_{3})\) :
-
Ψ is continuous.
Then there is a unique fixed point of Ψ.
To avoid the continuity of Φ and Ψ in Theorem 3.3, we present the following result.
Theorem 3.7
Theorem 3.3 remains true if instead of condition \((C_{3})\), we assume that \((M,d)\) is \(\mathcal{R}\)-non-decreasing regular.
Proof
In the proof of Theorem 3.3, we have seen that \((\kappa_{n}, \kappa_{n+1})\in \mathcal{R}\) and \(\kappa_{n}\rightarrow \gamma \) as \(n\rightarrow \infty \), \(\forall n\in \mathbb{N}\). Then since \((M,d)\) is \(\mathcal{R}\)-non-decreasing regular, so \((\kappa_{n}, \gamma)\in \mathcal{R}\) for every \(n\in \mathbb{N}\). Here we discuss two cases which depends on \(\mathcal{\mathcal{M}}=\{n\in \mathbb{N}: \varPhi \kappa_{2n}=\varPsi \gamma \text{ and } \varPsi \kappa_{2n+1}= \varPhi \gamma \}\).
Case (I): If \(\mathcal{M}\) finite, there exist \(n_{0}\in \mathbb{N}\) and \(\varPhi \kappa_{2n}\neq \varPsi \gamma \) and \(\varPsi \kappa_{2n+1}\neq \varPhi \gamma \), for all \(n\geq n_{0}\). Now since \(\kappa_{2n}\neq \gamma \) and \(\kappa_{2n+1}\neq \gamma \) implies that \(d(\kappa_{2n}, \gamma)>0\), \(d(\kappa_{2n+1},\gamma)>0\) and \(d(\varPhi \kappa_{2n}, \varPsi \gamma)>0\) and \(d(\varPsi \kappa_{2n+1}, \varPhi \gamma)>0\), for all \(n\geq n_{0}\).
Now, setting \(\kappa_{1}=\gamma \) and \(\kappa_{2}=\kappa_{2n+1}\) in the contractive condition (3.1), we have
But \(\{\kappa_{n}\}= \{ d(\gamma,\kappa_{2n+1})+\frac{d(\kappa _{2n+1},\varPhi \gamma)d(\gamma,\kappa_{2n+2})}{1 + d(\gamma,\kappa _{2n+1})} \} \) is a sequence of positive terms with \(\underset{n \rightarrow \infty }{\lim } \kappa_{n}=0\), so by condition (2) of Definition 2.1, \(\mathsf{F} ( \kappa_{n} ) \rightarrow -\infty \) implies that \(\mathsf{F}(d(\varPhi \gamma,\kappa_{2n+2})) \rightarrow -\infty \), again by condition (2) of Definition 2.1, \(d(\varPhi \gamma,\kappa_{2n+2})\rightarrow 0\), that is, \(\kappa_{2n+2}\rightarrow \varPhi \gamma \) as \(n \rightarrow \infty \). Also \(\kappa_{2n+2}\rightarrow \gamma \) as \(n \rightarrow \infty \), so by the uniqueness of the limit
and hence γ is the fixed point of Φ.
Similarly, setting \(\kappa_{1}=\kappa_{2n}\) and \(\kappa_{2}=\gamma \) in contractive condition (3.1), we can easily show that \(\mathsf{F}(d(\kappa_{2n+1},\varPsi \gamma))\rightarrow -\infty \). By condition (2) of Definition 2.1, \(d(\kappa_{2n+1},\varPsi \gamma)\rightarrow 0\), that is, \(\kappa_{2n+1}\rightarrow \varPsi \gamma \) as \(n \rightarrow \infty \). Also \(\kappa_{2n+1}\rightarrow \gamma \) as \(n \rightarrow \infty \), so by the uniqueness of the limit
and hence γ is the fixed point of Ψ.
From Eqs. (3.13) and (3.14), we get
Thus γ is a common fixed point of Φ and Ψ.
Case (II): If \(\mathcal{M}\) is infinite, there exists a subsequence \(\{\kappa_{2n(j)}\}\) of \(\{\kappa_{n}\}\) with \(\kappa_{2n(j)+1}= \varPhi \kappa_{2n(j)}=\varPsi \gamma \) such that \(\kappa_{2n(j)+2}=\varPsi \kappa_{2n(j)+1}=\varPhi \gamma \) for all \(j\in \mathbb{N}\). But \(\kappa_{2n(j)+1}, \kappa_{2n(j)+2}\rightarrow \gamma \), so by the uniqueness of the limit \(\varPhi \gamma =\gamma \) and \(\varPsi \gamma = \gamma \) and hence γ is a common fixed point of Φ and Ψ.
In both cases, γ is a common fixed point of Φ and Ψ. □
Theorem 3.8
Theorem 3.4 remains true if, instead of condition \((C_{3})\), we assume that \((M,d)\) is \(\mathcal{R}\)-non-decreasing regular.
Taking \(\varPhi =\varPsi \) in Theorems 3.7 and 3.8, we get the following corollaries.
Corollary 3.9
Let \(\mathcal{R}\) be a binary relation and Ψ be the self-mappings on a complete metric space M. Assume that the following conditions hold:
- \((C_{0})\) :
-
for all \((\kappa_{1},\kappa_{2})\in \mathcal{X}\), there exists \(\mathsf{F}\in \mathbb{F}\) such that
$$ \xi +\mathsf{F}\bigl(d(\varPsi \kappa_{1},\varPsi \kappa_{2})\bigr) \leq \mathsf{F} \biggl( d(\kappa_{1}, \kappa_{2})+\frac{d(\kappa_{2},\varPsi \kappa_{1})d( \kappa_{1},\varPsi \kappa_{2})}{1 + d(\kappa_{1},\kappa_{2})} \biggr), $$(3.16)where \(\xi > 0\);
- \((C_{1})\) :
-
\(M(\varPsi;\mathcal{R})\) is non-empty;
- \((C_{2})\) :
-
\(\mathcal{R}\) is Ψ-closed;
- \((C_{3})\) :
-
M is \(\mathcal{R}\)-non-decreasing regular.
Then there is a fixed point of Ψ.
Corollary 3.10
Let \(\mathcal{R}\) be a transitive relation and Ψ be the self-mappings on a complete metric space M. Assume that the following conditions hold:
- \((C_{0})\) :
-
for all \((\kappa_{1},\kappa_{2})\in \mathcal{X}\), there exists \(\mathsf{F}\in \mathbb{F}\) such that
$$ \xi +\mathsf{F}\bigl(d(\varPsi \kappa_{1},\varPsi \kappa_{2})\bigr) \leq \mathsf{F} \biggl( \frac{1}{2}d( \kappa_{1},\kappa_{2})+\frac{d(\kappa_{2},\varPsi \kappa_{1})d(\kappa_{1},\varPsi \kappa_{2})}{2[1 + d(\kappa_{1},\kappa _{2})]} \biggr), $$(3.17)where \(\xi > 0\);
- \((C_{1})\) :
-
\(M(\varPsi;\mathcal{R})\) and \(\varGamma (\kappa_{1},\kappa _{2},\mathcal{R})\) are non-empty;
- \((C_{2})\) :
-
\(\mathcal{R}\) is Ψ-closed;
- \((C_{3})\) :
-
M is \(\mathcal{R}\)-non-decreasing-regular.
Then there is a unique fixed point of Ψ.
4 Applications
In this section, by using the previous theorems, we obtain existence results for the solutions of the matrix equations (1.1) and (1.2). We use the metric which is induced by the norm \(\|\aleph \|_{\mathrm{tr}}=\sum^{n}_{i=1} \theta_{i}( \aleph)\), where \(\theta_{i}(\aleph)\), \(i = 1,2,\ldots,n\), are the singular values of \(\aleph \in \mathcal{M}(m)\). The set \(\mathcal{H}(m)\) equipped with the trace norm \(\|\cdot\|_{\mathrm{tr}}\) is a complete metric space (see [7, 8, 23]) and partially ordered with partial ordering ⪯, where \(\aleph_{1}\preceq \aleph_{2}\Longleftrightarrow \aleph_{2}\succeq \aleph_{1}\). Also, for every \(\aleph_{1},\aleph_{2} \in \mathcal{H}(m)\) there is a glb and a lub (see [8]).
To establish the existence results we need the following lemmas.
Lemma 4.1
([8])
If \(\aleph_{1}, \aleph_{2}\succeq O\) are \(m\times m\) matrices, then
Lemma 4.2
([24])
If \(\aleph \in \mathcal{H}(m)\) with \(\aleph \prec I_{n}\), then \(\|\aleph \| < 1\).
Define the operator \(\varPsi: \mathcal{H}(m)\rightarrow \mathcal{H}(m)\) by
where the operators \(\varPsi_{1}, \varPsi_{2}: \mathcal{H}(m)\rightarrow \mathcal{H}(m)\) are given by
and
Note that the solutions of the matrix equation (1.1) are the fixed points of the operator Ψ and the fixed points of the operator Ψ are the common fixed points of operators \(\varPsi_{1}\) and \(\varPsi_{2}\).
Theorem 4.3
The class of non-linear matrix equations (1.1) has a solution under the following conditions:
-
1.
there are two positive real numbers \(M_{1}\) and \(M_{2}\) such that \(\sum^{n}_{i=1}A_{i} A^{*}_{i}\prec M_{1} I_{n}\) and \(\sum^{n}_{i=1}B_{i} B^{*}_{i}\prec M_{2}I_{n}\);
-
2.
for every \(\aleph_{1},\aleph_{2}\in \mathcal{H}(m)\) such that \((\aleph_{1},\aleph_{2})\in \preceq \), we have
$$\begin{aligned}& \Vert \aleph_{1} \Vert _{\mathrm{tr}}+ \Vert \aleph_{2} \Vert _{\mathrm{tr}} \\& \quad \leq \bigl( \Vert \aleph_{1}-\aleph_{2} \Vert _{\mathrm{tr}}\bigl(1 + \Vert \aleph_{1}-\aleph _{2} \Vert _{\mathrm{tr}}\bigr)+ \bigl\Vert \aleph_{2}- \varPsi_{1}(\aleph_{1}) \bigr\Vert _{\mathrm{tr}} \bigl\Vert \aleph_{1}-\varPsi _{2}(\aleph_{2}) \bigr\Vert _{\mathrm{tr}}\bigr) \\& \qquad {}\big/\bigl(2M\bigl( \xi \sqrt{ \Vert \aleph_{1}- \aleph_{2} \Vert _{\mathrm{tr}}\bigl(1 + \Vert \aleph_{1}-\aleph_{2} \Vert _{\mathrm{tr}}\bigr)+ \bigl\Vert \aleph_{2}-\varPsi_{1}( \aleph_{1}) \bigr\Vert _{\mathrm{tr}} \bigl\Vert \aleph_{1}-\varPsi_{2}( \aleph_{2}) \bigr\Vert _{\mathrm{tr}}} \\& \qquad {}+\sqrt{1 + \Vert \aleph_{1}-\aleph_{2} \Vert _{\mathrm{tr}}}\bigr) ^{2}\bigr), \end{aligned}$$where \(M=\max \{M_{1},M_{2}\}\) and ξ is positive real number.
Proof
Since \(\varPsi_{1}\) and \(\varPsi_{2}\) are well defined and \((\aleph_{1}, \aleph_{2})\in \preceq \) implies that \((\varPsi_{1}(\aleph_{1}),\varPsi_{2}( \aleph_{2})), (\varPsi_{2}(\aleph_{1}),\varPsi_{1}(\aleph_{2}))\in \preceq \), so that ⪯ on \(\mathcal{H}(m)\) is \((\varPsi_{1},\varPsi_{2})\)-closed.
We have to show that the operators \(\varPsi_{1}\) and \(\varPsi_{2}\) satisfy the rational type \(\mathsf{F}_{\preceq }\)-contractive conditions. For this purpose, let us consider
From conditions (1) and (2) of Theorem 4.3 it follows that
Let \(\mathsf{F}: [0, \infty)\rightarrow \mathbb{R}\) be the mapping defined by \(\mathsf{F}(\kappa_{1})=-\frac{1}{\sqrt{\kappa_{1}}}\). Then \(\mathsf{F}\in \mathbb{F}\) and the above inequality becomes
Thus
That is, the pair \((\varPsi_{1}, \varPsi_{2})\) is rational \(\mathsf{F}_{ \mathcal{R}}\)-contractive. Thus from Theorem 3.3, there is a common fixed point of \(\varPsi_{1}\) and \(\varPsi_{2}\), say \(\aleph^{*}\), i.e., \(\varPsi_{1}( \aleph^{*} )=\varPsi_{2}(\aleph^{*})= \aleph^{*}\). Consequently, Ψ has a fixed point and hence the class of non-linear matrix equation (1.1) has a solution. □
The next existence result ensures the uniqueness of solution to the non-linear matrix equation (1.1) and the proof is similar to the proof of Theorem 4.3, so we omit it.
Theorem 4.4
Under the condition (1) of Theorem 4.3, the class of non-linear matrix equations (1.1) has a unique solution if for every \(\aleph_{1},\aleph_{2}\in \mathcal{H}(m)\) such that \((\aleph_{1},\aleph_{2})\in \preceq \), we have
where \(M=\max \{M_{1},M_{2}\}\) and ξ is positive real number.
Define the operator \(\varPhi: \mathcal{H}(m)\rightarrow \mathcal{H}(m)\) by
Note that the solutions of the matrix equation (1.2) coincide with the fixed points of the operator \(\varPhi (\aleph)\).
Theorem 4.5
The class of non-linear matrix equations (1.2) has a solution under the following conditions:
-
(1)
there is a real positive real number M with \(\sum^{n}_{i=1}A_{i} A^{*}_{i}\prec M I_{n}\);
-
(2)
for every \(\aleph_{1},\aleph_{2}\in \mathcal{H}(m)\) such that \((\aleph_{1},\aleph_{2})\in \preceq \) and \(\sum^{n}_{i=1} A^{*}_{i} \varUpsilon (\aleph_{1}) A _{i}\neq \sum^{n}_{i=1} A^{*}_{i} \varUpsilon (\aleph _{2}) A_{i}\), we have
$$\begin{aligned}& \bigl\Vert \operatorname{tr}\bigl( \varUpsilon (\aleph_{1})- \varUpsilon (\aleph_{2}) \bigr) \bigr\Vert _{\mathrm{tr}} \\& \quad \leq \bigl( \Vert \aleph_{1}-\aleph_{2} \Vert _{\mathrm{tr}}\bigl(1 + \Vert \aleph_{1}-\aleph _{2} \Vert _{\mathrm{tr}}\bigr)+ \bigl\Vert \aleph_{2}-\varPhi ( \aleph_{1}) \bigr\Vert _{\mathrm{tr}} \bigl\Vert \aleph_{1}-\varPhi ( \aleph_{2}) \bigr\Vert _{\mathrm{tr}}\bigr) \\& \qquad {}\big/\bigl(M\bigl( \xi \sqrt{ \Vert \aleph_{1}- \aleph_{2} \Vert _{\mathrm{tr}}\bigl(1 + \Vert \aleph_{1}-\aleph_{2} \Vert _{\mathrm{tr}}\bigr)+ \bigl\Vert \aleph_{2}-\varPhi (\aleph_{1}) \bigr\Vert _{\mathrm{tr}} \bigl\Vert \aleph_{1}-\varPhi (\aleph_{2}) \bigr\Vert _{\mathrm{tr}}} \\& \qquad {}+\sqrt{1 + \Vert \aleph_{1}-\aleph _{2} \Vert _{\mathrm{tr}}}\bigr) ^{2}\bigr), \end{aligned}$$where ξ is positive real number.
Proof
Since Φ is well defined and \((\aleph_{1},\aleph_{2})\in \preceq \) implies that \((\varPhi (\aleph_{1}),\varPhi (\aleph_{2}))\in \preceq \), ⪯ on \(\mathcal{H}(m)\) is Φ-closed.
We have to show that the operator \(\varPhi (\aleph_{1})\) satisfies the rational type \(\mathsf{F}_{\preceq }\)-contraction (3.16).
Let \(\aleph =\{(\aleph_{1},\aleph_{2})\in \preceq: \varUpsilon (\aleph _{1})\neq \varUpsilon (\aleph_{2})\}\). If \(\aleph_{1}, \aleph_{2}\in \aleph \), then \(\aleph_{2}\prec \aleph_{1}\). But ϒ is an order preserving mapping, so that \(\varUpsilon (\aleph_{2})\prec \varUpsilon ( \aleph_{1})\). Therefore,
using condition (2) of Theorem 4.3, we get
From condition (1) of Theorem 4.3 it follows that
Using \(\mathsf{F}(\kappa_{1})=-\frac{1}{\sqrt{\kappa_{1}}}\in \mathbb{F}\), the above inequality becomes
That is, Φ satisfies a rational type \(\mathsf{F}_{\mathcal{R}}\)-contraction (3.16). Thus from Corollary 3.9, there is a fixed point of Φ, say ℵ, i.e., \(\varPhi ({\aleph })= \aleph \). Consequently, the class of non-linear matrix equations (1.2) has a solution. □
Theorem 4.6
Under the conditions (1) and (2) of Theorem 4.5, the class of non-linear matrix equations (1.2) has a unique solution if \(\mathcal{R}\) is transitive and \(\mathcal{H}(m)\) is \(\mathcal{R}\)-non-decreasing-regular.
Proof
Using Corollary 3.10 and proceeding by the same arguments of Theorem 4.3, one can easily obtain a unique solution of the non-linear matrix equations (1.2). □
5 Conclusion
Non-linear matrix equations occur in several problems of engineering and applied mathematics. Some various matrix equations are faced in stability analysis, control theory and system theory. In the current work we obtain a common fixed point theorem via rational type \(F_{\mathcal{R}}\)-contractive conditions with applications to the existence of solutions to non-linear matrix equations.
References
Wu, A.G., Fu, Y.M., Duan, G.R.: On solutions of matrix equations \(V - AVF = BW\) and \(V - A\bar{\mathrm{V}}F = BW\). Math. Comput. Model. 47(11–12), 1181–1197 (2008)
Zhou, B., Lam, J., Duan, G.R.: Convergence of gradient-based iterative solution of the coupled Markovian jump Lyapunov equations. Comput. Math. Appl. 56(12), 3070–3078 (2008)
Wu, A.G., Feng, G., Duan, G.R., Liu, W.Q.: Iterative solutions to the Kalman–Yakubovich-conjugate matrix equation. Appl. Math. Comput. 217(9), 4427–4438 (2011)
Zhang, H.M., Ding, F.: A property of the eigenvalues of the symmetric positive definite matrix and the iterative algorithm for coupled Sylvester matrix equations. J. Franklin Inst. B 351(1), 340–357 (2014)
Zhang, H.M.: Reduced-rank gradient-based algorithms for generalized coupled Sylvester matrix equations and its applications. Comput. Math. Appl. 70(8), 2049–2062 (2015)
Zhang, H.M., Ding, F.: Iterative algorithms for \(X + A^{T} X^{-1} A = I\) by using the hierarchical identification principle. J. Franklin Inst. 353(5), 1132–1146 (2016)
Berzig, M.: Solving a class of matrix equations via the Bhaskar–Lakshmikantham coupled fixed point theorem. Appl. Math. Lett. 25, 1638–1643 (2012)
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 (2003)
Sawangsup, K., Sintunavarat, W., Roldán López de Hierro, A.F.: Fixed point theorems for \(F_{\mathcal{R}}\)-contractions with applications to solution of nonlinear matrix equations. J. Fixed Point Theory Appl. https://doi.org/10.1007/s11784-016-0306-z
Lim, Y.: Solving the nonlinear matrix equation \(X=Q+M_{i}X^{\delta_{i}}M _{i}^{*}\) via a contraction principle. Linear Algebra Appl. 430, 1380–1383 (2009)
Banach, S.: Sur les opérations dans les ensembles abstraits et leurs applications aux equations integrales. Fundam. Math. 3, 133–181 (1922)
Wardowski, D.: Fixed points of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, 94 (2012)
Engwerda, J.C.: On the existence of a positive solution of the matrix equation \(X + A^{T} X^{-1} A = I\). Linear Algebra Appl. 194, 91–108 (1993)
Pusz, W., Woronowitz, S.L.: Functional calculus for sequilinear forms and the purification map. Rep. Math. Phys. 8, 159–170 (1975)
Buzbee, B.L., Golub, G.H., Nielson, C.W.: On direct methods for solving Poisson’s equations. SIAM J. Numer. Anal. 7, 627–656 (1970)
Green, W.L., Kamen, E.: Stabilization of linear systems over a commutative normed algebra with applications to spatially distributed parameter dependent systems. SIAM J. Control Optim. 23, 1–18 (1985)
Ando, T.: Limit of cascade iteration of matrices. Numer. Funct. Anal. Optim. 21, 579–589 (1980)
Anderson, W.N., Morley, T.D., Trapp, G.E.: Ladder networks, fixed points and the geometric mean. Circuits Syst. Signal Process. 3, 259–268 (1983)
Lipschutz, S.: Schaum’s Outlines of Theory and Problems of Set Theory and Related Topics. McGraw-Hill, New York (1964)
Alam, A., Imdad, M.: Relation-theoretic contraction principle. Fixed Point Theory Appl. 17(4), 693–702 (2015)
Kolman, B., Busby, R.C., Ross, S.: Discrete Mathematical Structures, 3rd edn. PHI Pvt., New Delhi (2000)
Roldan Lopez de Hierro, A.F.: A unified version of Ran and Reurings theorem and Nieto and Rodra iguez-LApezs theorem and low-dimensional generalizations. Appl. Math. Inf. Sci. 10(2), 383–393 (2016)
Berzig, M., Samet, B.: Solving systems of nonlinear matrix equations involving Lipschitzian mappings. Fixed Point Theory Appl. 2011, 89 (2011)
Long, J.H., Hu, X.Y., Zhang, L.: On the Hermitian positive definite solution of the nonlinear matrix equation \(X+A^{*} x^{-1} A+B^{*} X ^{-1} B=I\). Bull. Braz. Math. Soc. 39(3), 317–386 (2015)
Acknowledgements
The authors wish to thank the editor and anonymous referees for their comments and suggestions, which helped to improve this paper. The authors are also grateful to Springer International Publishing for granting full fee waiver.
Availability of data and materials
Not applicable.
Authors’ information
Department of Mathematics, University of Malakand, Chakdara, Dir(L), Khyber Pakhtunkhwa, Pakistan.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interest.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zada, M.B., Sarwar, M. Common fixed point theorems for rational \(F_{\mathcal{R}}\)-contractive pairs of mappings with applications. J Inequal Appl 2019, 11 (2019). https://doi.org/10.1186/s13660-018-1952-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1952-z