- Research
- Open Access
- Published:
Applying fixed point methodologies to solve a class of matrix difference equations for a new class of operators
Advances in Continuous and Discrete Models volume 2022, Article number: 52 (2022)
Abstract
The goal of this paper is to present a new class of operators satisfying the Prešić-type rational η-contraction condition in the setting of usual metric spaces. New fixed point results are also obtained for these operators. Our results generalize, extend, and unify many papers in this direction. Moreover, two examples are derived to support and document our theoretical results. Finally, to strengthen our paper and its contribution to applications, some convergence results for a class of matrix difference equations are investigated.
1 Introduction and preliminaries
In 1922, Banach [1] presented his principle which states: A self-mapping ℶ defined on a complete metric space \((\mho ,\varpi )\) has a unique fixed point (FP), i.e., \(\zeta ^{\ast }\in \mho \), \(\zeta ^{\ast }=\beth \zeta ^{\ast }\), provided ℶ is a contraction, that is, for a constant \(\alpha \in (0,1)\), we have
Due to the ease of this principle and its essence, which is related to many applications in various branches of mathematics, many researchers have created various supplements and additions. For example, see [2–8].
From now until the end of our manuscript, we will consider z as a positive integer and \((\mho ,\varpi )\) as a complete metric space.
In 1965, Banach FP theorem was extended by Prešić [9]. He used his results to ensure the convergence of a certain type of sequences as follows:
Theorem 1.1
([9])
Let \(\beth :\mho ^{z}\rightarrow \mho \) be a mapping satisfying the condition below:
for all \(\zeta _{1},\dots ,\zeta _{z+1}\in \mho \), where \(\gamma _{1},\gamma _{2},\dots ,\gamma _{z}\) are nonnegative constants so that \(\sum _{j=1}^{z}\gamma _{j}<1\). Then there is a unique point \(\zeta ^{\ast }\in \mho \) so that \(\beth ( \zeta ^{\ast },\dots ,\zeta ^{\ast } ) =\zeta ^{ \ast }\). Also if, for any chosen points \(\zeta _{1},\dots ,\zeta _{z}\) in ℧ and for \(l\in \mathbb{N} \),
then the sequence \(\{\zeta _{l}\}\) is convergent and \(\zeta ^{\ast }=\lim_{l\rightarrow \infty }\zeta _{l}=\beth ( \lim_{l\rightarrow \infty }\zeta _{l},\lim_{l \rightarrow \infty }\zeta _{l},\dots , \lim_{l\rightarrow \infty }\zeta _{l} ) \).
Remark 1.2
From Theorem 1.1, we note the following:
-
An operator \(\beth :\mho ^{z}\rightarrow \mho \) fulfilling (1.1) is said to be a Prešić operator;
-
A point \(\zeta ^{\ast }\in \mho \) is called an FP of ℶ if \(\beth ( \zeta ^{\ast },\dots ,\zeta ^{\ast } ) =\zeta ^{ \ast }\);
-
If we put \(z=1\), we directly obtain the Banach contraction principle (BCP).
The results of Prešić [9] have been generalized by Ćirić and Prešić [10] as follows:
Theorem 1.3
([10])
Assume that \(\beth :\mho ^{z}\rightarrow \mho \) satisfies
for any \(\zeta _{1},\dots ,\zeta _{z+1}\in \mho \), where \(\gamma \in (0,1)\). Then there is \(\zeta ^{\ast }\in \mho \) so that \(\beth ( \zeta ^{\ast },\dots ,\zeta ^{\ast } ) =\zeta ^{ \ast }\). Further, for any chosen points \(\zeta _{1},\dots ,\zeta _{z}\in \mho \), the sequence \(\{\zeta _{l}\}\) described in (1.2) is convergent and
Also, if
holds for all \(\zeta ^{\ast },\zeta ^{{\prime }}\in \mho \) with \(\zeta ^{\ast }\neq \zeta ^{{\prime }}\), then the FP is unique in ℧.
Pâcurar [11] was able to present a convergence theorem for Prešić–Kannan contraction. For more details along this line of research, we refer the readers to [12–14].
Theorem 1.4
([11])
Suppose that \(\beth :\mho ^{z}\rightarrow \mho \). If there is \(\gamma \in \mathbb{R} \) with \(\gamma z(1+z)\in (0,1)\) so that the inequality
is satisfied for each \(( \zeta _{1},\dots ,\zeta _{z+1} ) \in \mho ^{z+1}\), then
-
ℶ possesses a unique FP \(\zeta ^{\ast }\in \mho \),
-
for any chosen points \(\zeta _{1},\dots ,\zeta _{z}\in \mho \), the sequence \(\{\zeta _{l}\}\) described in (1.2) converges to \(\zeta ^{\ast }\).
In 2014, a new contribution to the extension of the BCP was highlighted by Jleli and Samet [15]. They presented a new type of contraction, called η-contraction, and obtained generalized results under appropriate conditions.
Definition 1.5
([15])
Let \(\eta :(0,\infty )\rightarrow (1,\infty )\) be a mapping such that:
- \((\eta _{1})\):
-
η is nondecreasing;
- \((\eta _{2})\):
-
for each \(\{r_{l}\}\subseteq \mathbb{R} ^{+}\), \(\lim_{l\rightarrow \infty }\eta (r_{l})=1\) iff \(\lim_{l\rightarrow \infty }r_{l}=0\);
- \((\eta _{3})\):
-
there are \(\ell \in (0,1)\) and \(u\in (0,\infty ) \) so that \(\lim_{r\rightarrow 0^{+}} ( \frac{\eta (r)-1}{r^{\ell }} ) =u\).
A mapping \(\beth :\mho \rightarrow \mho \) is called an η-contraction if \(\exists \gamma \in (0,1)\) and a function η satisfying \((\eta _{1})\)–\((\eta _{3})\) so that
The set of all mappings \(\eta :(0,\infty )\rightarrow (1,\infty )\) will be denoted by ∇.
Theorem 1.6
([15])
An operator \(\beth :\mho \rightarrow \mho \) has a unique FP provided that ℶ is an η-contraction.
Numerous academics have discussed the concept of η-contraction, and important theoretical and practical findings have been documented that justify the use of FPs in nonlinear analysis under different spatial constraints. We advise the reader to view [16, 17] for further details.
In [18], two classes of matrix equations have been investigated by Ran and Reurings as follows:
where ⅁ is an \(n\times n\) positive definite matrix and \(\wp _{j}\) are arbitrary \(n\times n\) matrices. Under some hypotheses, they established the existence and uniqueness of positive definite solutions to (1.5). Duan et al. [19] generalized system (1.5) by making a small change as follows:
where \(0< \vert \rho _{j} \vert <1\). They investigated the existence and uniqueness of a positive definite solution to such an equation on the basis of a fixed point theorem for mixed monotone mappings. This form of matrix equation frequently occurs in a variety of fields, including ladder networks [20, 21], dynamic programming [22, 23], control theory [24, 25], etc.
In the setting of η-contraction and matrix equations, our paper is organized as follows. Section 1 is devoted to providing previous contributions to our studied problem in terms of definitions and theory useful in understanding our manuscript. In Sect. 2, the convergence of iterative sequences of the Presšíc-type rational η-contraction mappings in complete metric spaces is discussed. Also, nontrivial examples are obtained to support the theoretical results. Ultimately, in Sect. 3, the obtained results are applied to obtain convergence results for a class of matrix difference equations as a kind of application.
2 Main results
We start this part with the following definition:
Definition 2.1
We say that a mapping \(\beth :\mho ^{z}\rightarrow \mho \) is a Prešić-type rational η-contraction (PTR η-C, for short) if there is some \(\gamma \in (0,1)\) so that
for each \(( \zeta _{1},\dots ,\zeta _{z+1} ) \in \mho ^{z+1}\) with \(\beth ( \zeta _{1},\dots ,\zeta _{z} ) \neq \beth ( \zeta _{2},\dots ,\zeta _{z+1} ) \).
It should be noted that if \(\eta (r)=e^{\sqrt{r}}\), then PTR η-C reduces to
for each \(( \zeta _{1},\dots ,\zeta _{z+1} ) \in \mho ^{z+1}\), \(\beth ( \zeta _{1},\dots ,\zeta _{z} ) \neq \beth ( \zeta _{2},\dots ,\zeta _{z+1} ) \).
In addition, if \(( \zeta _{1},\dots ,\zeta _{z+1} ) \in \mho ^{z+1}\) is such that \(\beth ( \zeta _{1},\dots ,\zeta _{z} ) =\beth ( \zeta _{2},\dots ,\zeta _{z+1} ) \), then condition (2.2) is more general than (1.3), so the mapping ℶ in (2.2) extends and unifies Cirić–Prešić contraction.
Remark 2.2
Every PTR η-C ℶ is a Prešić mapping by \((\eta _{1})\) and (1.4), that is,
for each \(( \zeta _{1},\dots ,\zeta _{z+1} ) \in \mho ^{z+1}\) with \(\beth ( \zeta _{1},\dots ,\zeta _{z} ) \neq \beth ( \zeta _{2},\dots ,\zeta _{z+1} ) \). Thus, each PTR η-C ℶ is a continuous function.
Now, our first result is as follows:
Theorem 2.3
Suppose that \(\beth :\mho ^{z}\rightarrow \mho \) is a PTR η-C. Then for any chosen points \(\zeta _{1},\dots ,\zeta _{z}\in \mho \), the sequence \(\{\zeta _{l}\}\) described in (1.2) is convergent to \(\zeta ^{\ast }\in \mho \) and \(\zeta ^{\ast }\) is an FP of ℶ. In addition, if \(\beth ( \zeta ^{\ast },\dots ,\zeta ^{\ast } ) \neq \beth ( \zeta ^{\prime },\dots ,\zeta ^{{\prime }} ) \) with
for \(\zeta ^{\ast },\zeta ^{{\prime }}\in \mho \) such that \(\zeta ^{\ast }\neq \zeta ^{{\prime }}\), then the point \(\zeta ^{\ast }\) is unique.
Proof
Let \(\zeta _{1},\dots ,\zeta _{z}\) be arbitrary z elements in ℧ and for \(l\in \mathbb{N} \) the sequence \(\{\zeta _{l}\}\) is defined in (1.2). If for some \(l_{0}=\{1,2,\dots ,z\}\) one has \(\zeta _{l_{0}}=\zeta _{l_{0}+1}\), then
which means that \(\zeta _{l_{0}+z}\) is an FP of ℶ and there is no further proof needed. So, we consider \(\zeta _{l+z}\neq \zeta _{l+z+1}\) for all \(l\in \mathbb{N} \). Put \(\gimel _{l+z}=\varpi ( \zeta _{l+z},\zeta _{l+z+1} ) \) and
Then for all \(l\in \mathbb{N} \) and \(\phi >0\), we have \(\gimel _{l+z}>0\). Thus, for \(l\leq z\), we obtain
Also,
Continuing in the same pattern, for \(l\geq 1\), we get
Taking \(l\rightarrow \infty \) in (2.3) and using \((\eta _{2})\), we have
Based on \((\eta _{3})\), there are \(\ell \in (0,1)\) and \(u\in (0,\infty )\) so that
Assume that \(u<\infty \) and \(v=\frac{u}{2}>0\). By the definition of the limit, there is \(l_{1}\in \mathbb{N} \) such that
It follows that
Set \(\frac{1}{v}=q\), then
Suppose that \(u=\infty \) and \(v>0\). By the definition of the limit, there is \(l_{1}\in \mathbb{N} \) such that
This implies after taking \(\frac{1}{v}=q\) that
Thus, in both cases, there are \(l_{1}\in \mathbb{N} \) and \(q>0\) so that
Applying (2.3), we get
and, when \(l\rightarrow \infty \), have
Thus, there is \(l_{2}\in \mathbb{N} \) and \(q>0\) such that
Hence we can write
Now, we clarify that \(\{\zeta _{l}\}\) is a Cauchy sequence. For \(b>l>l_{2}\), one can write
hence it follows that \(\{\zeta _{l}\}\) is a Cauchy sequence in \((\mho ,\varpi )\). The completeness of ℧ yields that there is \(\zeta ^{\ast }\in \mho \) such that
Because ℶ is continuous, we have
For uniqueness, assume that \(\zeta ^{\ast }\) and \(\zeta ^{{\prime }}\) are two distinct FP of the mapping ℶ, i.e., \(\zeta ^{\ast }=\beth ( \zeta ^{\ast },\zeta ^{\ast },\dots , \zeta ^{\ast } ) \) and \(\zeta ^{{\prime }}=\beth ( \zeta ^{{\prime }},\zeta ^{{\prime }}, \dots ,\zeta ^{{\prime }} ) \) with \(\zeta ^{\ast }\neq \zeta ^{{\prime }}\). Hence, by hypothesis (2.1), we can write
a contradiction, as \(\gamma \in (0,1)\). Therefore, \(\zeta ^{\ast }=\zeta ^{{\prime }}\). This ends the proof. □
The following examples support Theorem 2.3.
Example 2.4
Let \(\{\zeta _{l}\}\) be a sequence defined as follows:
Assume that \(\mho = \{ \zeta _{l}:l\in \mathbb{N} \} \) and \(\varpi ( \widetilde{\zeta },\widehat{\zeta } ) = \vert \widetilde{\zeta }-\widehat{\zeta } \vert \). Clearly, \(( \mho ,\varpi ) \) is a complete metric space. Define a mapping \(\beth :\mho ^{3}\rightarrow \mho \) by
For \(l>5\), we have
and
Now,
Thus,
does not hold for \(\gamma \in (0,1)\), which implies that assumption (1.1) of Theorem 1.1 is not fulfilled. Now, define the mapping \(\eta :(0,\infty )\rightarrow (1,\infty )\) by \(\eta (s)=e^{\frac{se^{s}}{1+s}}\). We can easily verify that \(\eta \in \nabla \) and ℶ is PTR η-C. Indeed, the inequality
holds for \(\beth ( \zeta _{i},\zeta _{i+1},\zeta _{i+2} ) \neq \beth ( \zeta _{i+2},\zeta _{i+3},\zeta _{i+4} ) \), \(i=1,2,\dots \), and for some \(\gamma \in (0,1)\). Inequality (1.1) is equivalent to
So, for some \(\gamma \in (0,1)\), we can write
Now, we will discuss the following cases:
(i) If \(i=l=1\), we get
(ii) If \(i=l>1\), we obtain
with \(\gamma =\frac{1}{e}\). Hence all requirements of Theorem 2.3 are fulfilled and the point \((1,1,1)\) is the unique FP of ℶ.
Example 2.5
Assume that \(\mho =[0,1]\), \(\varpi ( \widetilde{\zeta },\widehat{\zeta } ) = \vert \widetilde{\zeta }-\widehat{\zeta } \vert \), and \(\beth :\mho ^{z}\rightarrow \mho \) is described by
Let \(\eta :(0,\infty )\rightarrow (1,\infty )\) be a mapping defined by \(\eta (s)=e^{\sqrt{\frac{s}{1+s}}}\). Since \(e^{\sqrt{\frac{s}{1+s}}}\leq e^{\sqrt{s}}\), we can see from [15] that \(\eta \in \nabla \). Now, for \(\zeta _{1},\zeta _{2},\dots ,\zeta _{l+1}\in \mho \), one can write
and
with \(\gamma =\frac{1}{\sqrt{2}}\). In addition, for all \(\zeta ^{\ast },\zeta ^{\prime }\in \mho \) with \(\zeta ^{\ast }\neq \zeta ^{\prime }\), we obtain
and
with \(\gamma =\frac{1}{\sqrt{2}}\). Hence, all assumptions of Theorem 2.3 are fulfilled. In addition, for some chosen \(\zeta _{1},\dots ,\zeta _{l}\in \mho \), the sequence \(\{\zeta _{l}\}\) defined in (2.3) converges to \(\zeta ^{\ast }=0\), which is the unique FP of ℶ.
If we put \(\eta (s)=e^{\sqrt{s}}\) in Theorem 2.3, we get the result below.
Corollary 2.6
Consider \(\beth :\mho ^{z}\rightarrow \mho \) is a given mapping and suppose there is \(\gamma \in (0,1)\) such that
Then for any chosen points \(\zeta _{1},\dots ,\zeta _{z}\in \mho \), the sequence \(\{\zeta _{l}\}\) described in (1.2) converges to \(\zeta ^{\ast }\in \mho \) and \(\zeta ^{\ast }=\beth (\zeta ^{\ast },\dots ,\zeta ^{\ast })\). Moreover, if
holds for all \(\zeta ^{\ast },\zeta ^{{\prime }}\in \mho \) with \(\zeta ^{\ast }\neq \zeta ^{{\prime }}\), Then the point \(\zeta ^{\ast }\) is a unique FP of the mapping ℶ.
Corollary 2.7
Assume that \(\beth :\mho ^{z}\rightarrow \mho \) is a given mapping and there are nonnegative constants \(\gamma _{1},\gamma _{2},\dots ,\gamma _{z}\) with \(\gamma _{1}+\gamma _{2}+\cdots +\gamma _{z}<1\) such that
for each \(( \zeta _{1},\dots ,\zeta _{z+1} ) \in \mho ^{z+1}\) with \(\beth ( \zeta _{1},\dots ,\zeta _{z} ) \neq \beth ( \zeta _{2},\dots ,\zeta _{z+1} ) \). Then for any chosen points \(\zeta _{1},\dots ,\zeta _{z}\in \mho \), the sequence \(\{\zeta _{l}\}\), given by (1.2) converges to \(\zeta ^{\ast }\in \mho \), where \(\zeta ^{\ast }\) is a unique FP of ℶ.
Proof
It is clear that (2.6) implies (2.5) with \(\gamma ^{2}=\gamma _{1}+\gamma _{2}+\cdots +\gamma _{z}\).
Now, suppose that \(\zeta ^{\ast },\zeta ^{{\prime }}\in \mho \) with \(\zeta ^{\ast }\neq \zeta \), Based on (2.6), one can obtain
Thus, the conditions of Corollary 2.6 hold. □
If we take a large class of functions ∇, for example,
where \(\theta \in (0,1)\) and \(s>0\), we obtain the following theorem from Theorem 2.3.
Theorem 2.8
Suppose that \(\beth :\mho ^{z}\rightarrow \mho \) is a given mapping. If there are a mapping \(\eta \in \nabla \) and constants \(\gamma ,\theta \in (0,1)\) such that
for each \(( \zeta _{1},\dots ,\zeta _{z+1} ) \in \mho ^{z+1}\) with \(\beth ( \zeta _{1},\dots ,\zeta _{z} ) \neq \beth ( \zeta _{2},\dots ,\zeta _{z+1} ) \), then for any chosen points \(\zeta _{1},\dots ,\zeta _{z}\in \mho \), the sequence \(\{\zeta _{l}\}\), given by (1.2) converges to \(\zeta ^{\ast }\in \mho \). Then \(\zeta ^{\ast }\) is a unique FP of ℶ. Moreover, if
holds for \(\zeta ^{\ast },\zeta ^{{\prime }}\in \mho \) with \(\zeta ^{\ast }\neq \zeta ^{{\prime }}\), then the point \(\zeta ^{\ast }\) is a unique FP of the mapping ℶ.
Remark 2.9
It should be noted that:
-
Our Theorem 2.3 unifies and extends Theorem 1.3 in [10] and Theorem 1.2 in [9].
-
Corollary 1 in [15] can be obtained directly from Theorem 2.3 putting \(\gamma =1\) and neglecting the denominator of the contractive condition (2.1).
-
If we take \(\gamma =1\) and neglect the denominators of the contractivity conditions of Corollaries 2.6 and 2.7, we obtain the BCP [1].
3 Application to matrix difference equations
In this part, the symbols \(\aleph (N)\) for (\(N\geq 2\)), ⅁, ℘, \(\wp ^{\ast }\), and φ refer to the family of \(N\times N\) Hermitian positive definite matrices, an \(N\times N\) Hermitian positive semidefinite matrix, an \(N\times N\) nonsingular matrix, the conjugate transpose of ℘, and the function from \(\aleph (N)\) to \(\aleph (N)\), respectively.
Now, the definition of the equilibrium point is stated as follows:
Definition 3.1
Consider \(\beth :\mho ^{z}\rightarrow \mho \) as a given mapping. For any \(\zeta _{1},\dots ,\zeta _{z}\in \mho \), define a recursive sequence \(\{\zeta _{l}\}\) by
for each \(l\in \mathbb{N} \). We say that a point \(\overline{\zeta }\in \mho \) is an equilibrium point of (3.1) if the hypothesis below holds:
Definition 3.2
If for all \(\zeta _{1},\zeta _{2},\dots ,\zeta _{z}\in \mho \) one has \(\varpi ( \zeta _{l},\overline{\zeta } ) \rightarrow 0\) as \(l\rightarrow \infty \), then an equilibrium point is called a global attractor.
Here, we explore the global attractivity for the following recursive sequence:
Before applying the theoretical results, we analyze the Thompson metric ϖ on \(\aleph (N)\), which is described as
for \(\wp _{1},\wp _{2}\in \aleph (N)\), where \(W ( \frac{\wp _{1}}{\wp _{2}} ) =\inf \{ \Lambda >0: \wp _{1}\leq \Lambda \wp _{2} \} =\Lambda ^{+} ( \wp _{2}^{- \frac{1}{2}}\wp _{1}^{\frac{-1}{2}}\wp _{2} ) \), that is, W is the maximal eigenvalue of \(\wp _{2}^{-\frac{1}{2}}\wp _{1}^{\frac{-1}{2}}\wp _{2}\). Here \(\wp _{1}\leq \wp _{2}\) means that \(\wp _{2}-\wp _{1}\) is positive semidefinite and \(\wp _{1}<\wp _{2}\) means that \(\wp _{2}-\wp _{1}\) is positive definite.
Based on ϖ, which defined as
\(\aleph (N)\) is a complete metric space [26], where \(\Vert \cdot \Vert \) is a spectral norm [27].
Now, let us start with the exciting characteristics of ϖ, i.e., for any nonsingular matrix W,
The second important result is the nonpositive curvature property of ϖ in the form of
Based on (3.4) and (3.5), we can write
for all \(\wp _{1},\wp _{2}\in \aleph (N)\).
Lemma 3.3
([28])
For each \(\wp _{1},\wp _{2},\wp _{3},\wp _{4}\in \aleph (N)\), we get
Moreover, for all positive semidefinite \(\wp _{1},\wp _{2},\wp _{3}\in \aleph (N)\), we have
Consider that \(\varphi :\aleph (N)\rightarrow \aleph (N)\) is an η-contraction related with ϖ. For \(W_{1},W_{2},\dots ,W_{z}\in \aleph (N)\), let \(\{W_{l}\}\subset \aleph (N)\) be a sequence defined by (3.3).
Now, we can state and prove our main theorem for this part.
Theorem 3.4
Equation (3.3) has a global attractor \(\overline{\zeta }\in \aleph (N)\), which is a unique equilibrium point.
Proof
Define an operator \(\beth :\aleph (N)^{z}\rightarrow \aleph (N)\) by
for all \(W_{1},W_{2},\dots ,W_{z}\in \aleph (N)\).
Let \(W_{1},W_{2},\dots ,W_{z+1}\in \aleph (N)\). According to Lemma 3.3, we obtain
Set \(\Delta =\frac{1}{\sqrt{z}}\wp \). Then by Lemma 3.3, we have
for \(k=1,2,\dots ,z\). Because ℘ is nonsingular, Δ is also nonsingular. Using (3.6) for all \(k=1,2,\dots ,z\), we can write
Since φ is an η-contraction, for all \(k=1,2,\dots ,z\), we have
for some \(\gamma \in (0,1)\). Thus, we get
for \(W_{1},W_{2},\dots ,W_{z+1}\in \aleph (N)\). Hence, by Theorem 2.3, there exists an FP of the mapping ℶ, which is a global attractor equilibrium point \(\overline{\zeta }\in \aleph (N)\). Moreover, for \(W_{1},W_{2}\in \aleph (N)\), such that \(\beth ( W_{1},W_{1},\dots ,W_{1} ) \neq \beth ( W_{2},W_{2}, \dots ,W_{2} ) \), one can write
Again, based on Theorem 2.3, the equilibrium point is unique. □
4 Conclusion and future work
In this study, a new concept of Prešić-type rational η-contraction mappings has been introduced and the convergence of iterative sequences of such contractions has been discussed in the setting of complete metric spaces. The new theory improves and extends many results existing in the literature. Some nontrivial examples have been provided to support the results obtained herein. Moreover, some convergence results for a class of matrix difference equations have been derived. As future works, the authors are looking for generalizations of these results to multivalued Prešić-type rational η-contraction mappings and studying the convergence of the matrix difference equations numerically.
Availability of data and materials
The data used to support the findings of this study are available from the corresponding author upon request.
References
Banach, S.: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 3, 133–181 (1922)
Al-Sulami, H.H., Hussain, N., Ahmad, J.: Some generalized fixed point results with applications to dynamic programming. J. Funct. Spaces 2020, Article ID 8130764 (2020)
Hussain, A., Tanzeela, K., Mitrović, Z.D., Radenović, S.: Optimal solutions and applications to nonlinear matrix and integral equations via simulation function. Filomat 32(12), 6087–6106 (2018)
Vetro, F.: A generalization of Nadler fixed point theorem. Carpath. J. Math. 31(3), 403–410 (2015)
Nussbaum, R.: Hilbert’s projective metric and iterated nonlinear maps. Mem. Am. Math. Soc. 75, 1–137 (1988)
Rashwan, R.A., Hammad, H.A., Mahmoud, M.G.: Common fixed point results for weakly compatible mappings under implicit relations in complex valued g-metric spaces. Inf. Sci. Lett. 8(3), 111–119 (2019)
Hammad, H.A., de la Sen, M.: A tripled fixed point technique for solving a tripled-system of integral equations and Markov process in CCbMS. Adv. Differ. Equ. 2020, 567 (2020)
Hammad, H.A., Agarwal, P., Guirao, J.L.G.: Applications to boundary value problems and homotopy theory via tripled fixed point techniques in partially metric spaces. Mathematics 9(16), 2012 (2021)
Prešić, S.B.: Sur une classe d’inéquations aux différences finies et sur la convergence de certaines suites. Publ. Inst. Math. 5, 75–78 (1965)
Ćirić, L.B., Prešić, S.B.: On Prešić type generalization of the Banach contraction mapping principle. Acta Math. Univ. Comen. 76, 143–147 (2007)
Pâcurar, M.: A multi-step iterative method for approximating fixed points of Prešić–Kannan operators. Acta Math. Univ. Comen. 79, 77–88 (2010)
Abbas, M., Berzig, M., Nazir, T., Karapınar, E.: Iterative approximation of fixed points for Prešić type F-contraction operators. UPB Sci. Bull., Ser. A 78, 1–14 (2016)
Pâcurar, M.: Approximating common fixed points of Prešić–Kannan type operators by a multi-step iterative method. An. Ştiinţ. Univ. ‘Ovidius’ Constanţa, Ser. Mat. 17, 153–168 (2009)
Shukla, S.: Prešić type results in 2-Banach spaces. Afr. Math. 25(4), 1043–1051 (2014)
Jleli, M., Samet, B.: A new generalization of the Banach contraction principle. J. Inequal. Appl. 2014, 38 (2014)
Al-Sulami, H.H., Hussain, N., Ahmad, J.: Some generalized fixed point results with applications to dynamic programming. J. Funct. Spaces 2020, Article ID 8130764 (2020)
Li, X., Hussain, A., Adeel, M., Savas, E.: Fixed point theorems for \(Z_{e}\)-contraction and applications to nonlinear integral equations. IEEE Access 7, 120023–120029 (2019)
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)
Duan, X., Liao, A., Tang, B.: On the nonlinear matrix equation \(\xi =\Game \pm \sum_{j=1}^{m}\wp _{j}^{\ast }\xi ^{\rho _{j}} \wp _{j} \). Linear Algebra Appl. 429, 110–121 (2008)
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)
Engwerda, J.C.: On the existence of a positive solution of the matrix equation \(\xi +\wp ^{T}\xi ^{-1}\wp =I\). Linear Algebra Appl. 194, 91–108 (1993)
Pusz, W., Woronowitz, S.L.: Functional calculus for sesquilinear 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)
Nussbaum, R.: Hilbert’s projective metric and iterated nonlinear maps. Mem. Am. Math. Soc. 75, 1–137 (1988)
Thompson, A.C.: On certain contraction mappings in a partially ordered vector space. Proc. Am. Math. Soc. 14(3), 438–443 (1963)
Lim, Y.: Solving the nonlinear matrix equation \(X=Q+\sum_{i=1}^{m}A_{i}X^{\delta _{i}}A_{i}^{\ast }\) via a contraction principle. Linear Algebra Appl. 430, 1380–1383 (2009)
Acknowledgements
Authors are thankful to the editor and anonymous referees for their valuable comments and suggestions.
Funding
This research received no external funding.
Author information
Authors and Affiliations
Contributions
All authors contributed equally and significantly in writing this article. 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
Hammad, H.A., Elmursi, M., Rashwan, R.A. et al. Applying fixed point methodologies to solve a class of matrix difference equations for a new class of operators. Adv Cont Discr Mod 2022, 52 (2022). https://doi.org/10.1186/s13662-022-03724-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-022-03724-6
MSC
- 54H25
- 47H10
- 46T99
Keywords
- Rational η-contraction mapping
- Fixed point technique
- Difference equations
- Global attractor
- Equilibrium point