 Research
 Open access
 Published:
Multipled fixed point theorems in cone metric spaces
Fixed Point Theory and Applications volume 2014, Article number: 43 (2014)
Abstract
In this paper, the concept of common multipled fixed points of wcompatible nonlinear contractive maps in cone metric spaces, which are generalizations of common coupled fixed points, is introduced. A new concept of product cone metric spaces is used to establish the existence and uniqueness of their multipled fixed points. Our results generalize several results in the literature including those of Olaleru (Fixed Point Theory Appl. 2009:657914, 2009), Sabetghadam et al. (Fixed Point Theory Appl. 2009:125426, 2009) and Abbas et al. (Appl. Math. Comput. 217:195202, 2010; Appl. Math. Comput. 216:8086, 2010). In addition, the methodology of proof in this manuscript shows that some fixed point results in cone metric spaces are equivalent to multipled fixed point results and vice versa.
MSC: 47H10, 47H09, 54H25.
1 Introduction
Over the years, fixed point theory has evolved from onedimensional fixed point in metric spaces to multidimensional fixed points in metrictype spaces. Among such spaces are cone metric spaces and partially ordered metric spaces whose structures are induced implicitly or explicitly by partial orderings.
Huang and Zhang [1] top the chronological list of authors who have established fixed point results in cone metric spaces. They proved some fixed point theorems for single maps in cone metric spaces. Their results were followed by several other fixed point results on existence and uniqueness of fixed points for single contractive maps and common fixed point results of pairs of maps, sets of three selfmaps and quartets of maps (see [2–8]). Theorems with nonuniqueness of fixed points of Cirictype maps were later proved by Karapinar [9] in cone metric spaces.
Sabetghadam et al. in [10] introduced the concept of coupled fixed points in cone metric spaces and established some coupled fixed point theorems in cone metric spaces. Lakshmikantham and Ciric [11] proved coupled coincidence and coupled common fixed point theorems for nonlinear contractive mappings in partially ordered complete metric spaces. Later, Abbas et al. [12] extended their results to cone metric spaces. Karapinar [13] proved some coupled fixed point theorems for nonlinear contractions in cone metric spaces, Shatanawi et al. [14] proved some coupled fixed point theorems in ordered cone metric spaces with a cdistance, and Kadelburg and Radenović [15] established coupled fixed point results under TVScone metric and wconedistance.
Berinde in [16] and [17], and AminiHarandi [18] discussed coupled and tripled fixed points of mixed monotone maps in partially ordered metric spaces, while Karapinar in [19] studied quadruple fixed point theorems for weak Φcontractions.
Recently, Samet and Vetro [20] generalized the notion of coupled fixed points to fixed points of Norder and proved existence results for single maps in complete metric spaces. Their results came as an extension of the theory of fixed points to finite dimensions. Roldán et al. [21] then added more variation to the definition of multidimensional fixed points in partially ordered complete metric spaces by exploiting the notions of permutations and partitions. Their definition, though more general than that of Samet and Vetro [20], can hardly be used to establish fixed point theorems beyond the Banach contraction principle for two maps.
The main purpose of this article is to prove results on common fixed points of Norder of some contractive wcompatible mappings in cone metric spaces for as many as four maps, with generalized inequalities of Ciric type. Furthermore, we prove that multipled fixed point results can, in fact, generate fixed point results of lower dimensions.
We recall some notions in the concept of cone metric spaces.
Definition 1.1 [3]
Let E be a real Banach space. A subset P of E is called a cone if and only if:

(a)
P is closed, nonempty and P\ne \{\theta \};

(b)
a,b\in R, a,b\ge 0, x,y\in P imply that ax+by\in P;

(c)
P\cap (P)=\{\theta \}.
Given a cone P, a partial ordering ⪯ with respect to P is defined by x\u2aafy if and only if yx\in P. We shall write x\ll y for yx\in intP, where intP stands for the interior of P. Also, we will use x\prec y to indicate that x\u2aafy and x\ne y.
The cone P in a normed space E is called normal whenever there is a real number k>0 such that for all x,y\in E, \theta \u2aafx\u2aafy implies \parallel x\parallel \le k\parallel y\parallel. The least positive number satisfying this norm inequality is called the normal constant of P. Janković et al. in [22] proved that only fixed point results in nonnormal cones improve the existing fixed point results in metric spaces.
Definition 1.2 [1]
Let X be a nonempty set and let E be a real Banach space equipped with the partial ordering ⪯ with respect to the cone P\subset E. Suppose that the mapping d:X\times X\u27f6E satisfies:
(d_{1}) \theta \u2aafd(x,y) for all x,y\in X and d(x,y)=\theta if and only if x=y;
(d_{2}) d(x,y)=d(y,x) for all x,y\in X;
(d_{3}) d(x,y)\u2aafd(x,z)+d(z,y) for all x,y,z\in X.
Then d is called a cone metric on X and (X,d) is called a cone metric space.
The concept of a cone metric space is obviously more general than that of a metric space.
Definition 1.3 [1]
Let (X,d) be a cone metric space, \{{x}_{n}\} be a sequence in X and x\in X. We say that \{{x}_{n}\} is
(c_{1}) a Cauchy sequence if for every c\in E with \theta \ll c, there is some k\in \mathbb{N} such that, for all n,m\ge k, d({x}_{n},{x}_{m})\ll c;
(c_{2}) a convergent sequence if for every c\in E with \theta \ll c, there is some k\in \mathbb{N} such that, for all n\ge k, d({x}_{n},x)\ll c. Such x is called limit of the sequence \{{x}_{n}\}.
Note that every convergent sequence in a cone metric space X is a Cauchy sequence. A cone metric space X is said to be complete if every Cauchy sequence in X is convergent in X.
Example 1.4 Let E={\mathbb{R}}^{n}, P=\{({x}_{1},{x}_{2},\dots ,{x}_{n})\in E:{x}_{i}\ge 0\phantom{\rule{0.25em}{0ex}}\mathrm{\forall}i=1,2,\dots ,n\}, X=\mathbb{R}, d:X\times X\to E such that d(x,y)=\alpha xy, where \alpha \in P is a constant. Then (X,d) is a cone metric space.
Example 1.5 [23]
Let E={l}^{p} (1\le p<\mathrm{\infty}), P=\{{\{{x}_{n}\}}_{n\ge 1}\ge 0\text{for all}n\}, (X,\rho ) be a metric space, and d:X\times X\to E be defined by d(x,y)={\{\rho (x,y)/{2}^{n}\}}_{n\ge 1}. Then (X,d) is a cone metric space.
Example 1.6 [12]
Let X=[0,\mathrm{\infty}), E={C}_{\mathbb{R}}^{1}[0,1] and P=\{\phi \in E:\phi (t)\ge 0,t\in [0,1]\}. The mapping d:X\times X\to E defined by d(x,y)=xy\phi, where \phi (t)={e}^{t}, gives (X,d) the structure of a complete cone metric space. The cone P is nonnormal.
Olaleru in [23] and later Abbas et al. in [24] proved the existence of the fixed points of single maps and the common fixed points of pairs and quartets of wcompatible maps satisfying some general contractive conditions. Below are some of their main results.
Theorem 1.7 [23]
Let (X,d) be a complete cone metric space and f:X\to X be a mapping such that
for all x,y\in X, where {a}_{1},{a}_{2},{a}_{3},{a}_{4},{a}_{5}\in [0,1) and {a}_{1}+{a}_{2}+{a}_{3}+{a}_{4}+{a}_{5}<1. Then the mapping f has a unique fixed point. Moreover, for any x\in X, the sequence \{{f}^{n}(x)\} converges to the fixed point.
Theorem 1.8 [23]
Let (X,d) be a complete cone metric space and let f,g:X\to X be mappings such that
for all x,y\in X, where {a}_{1},{a}_{2},{a}_{3},{a}_{4},{a}_{5}\in [0,1) and {a}_{1}+{a}_{2}+{a}_{3}+{a}_{4}+{a}_{5}<1.
Suppose that f and g are weakly compatible and f(X)\subseteq g(X) such that f(X) or g(X) is a complete subspace of X. Then the mappings f and g have a unique common fixed point. Moreover, for any {x}_{0}\in X, the sequence \{{x}_{n}\} defined by g({x}_{n})=f({x}_{n1}) for all n, converges to the fixed point.
Theorem 1.9 [24]
Let f, g, S and T be selfmappings of a cone metric space X (with the cone P having a nonempty interior) such that f(X)\subset T(X), g(X)\subset S(X) and
for all x,y\in X, where p,q,r,t\in [0,1) satisfy p+q+r+2t<1.
If one of f(X), g(X), S(X) or T(X) is a complete subspace of X, then \{f,S\} and \{g,T\} have a unique point of coincidence in X. Moreover if \{f,S\} and \{g,T\} are weakly compatible, then f, g, S and T have a unique common fixed point which is the limit of the sequences \{{u}_{n}\} and \{{x}_{n}\} defined by:
We now show that results on common multipled fixed points (and of course common coupled fixed points) for single maps, pairs of maps and four maps in cone metric spaces can be derived from known results (e.g., Theorems 1.71.9) on fixed points of contractive maps in cone metric spaces. In order to show this, we make use of the concept of product cone metric spaces.
2 Multipled fixed points and wcompatibility
Definition 2.1 (see [20])
Let X be a nonempty set. An element x=({x}_{1},{x}_{2},\dots ,{x}_{m})\in {X}^{m}, m\ge 2, is said to be a fixed point of morder of a mapping F:{X}^{m}\to X if
Observe that (2.1) can be written as
where {t}_{i} is the i th line of the circular matrix of x,
x is called a fixed point, a coupled fixed point, a tripled fixed point, and a quadruple fixed point of F if m=1,2,3,4, respectively. All through this paper, we will refer to ‘fixed points of morder’ simply as ‘multipled fixed points’; the integer m is defined as the multiplicity or the order of the multipled fixed point x.
Now, we introduce the following definitions of multipled coincidence points, common multipled fixed points and wcompatibility for maps defined in finitedimensional product spaces.
Definition 2.2 An element x=({x}_{1},{x}_{2},\dots ,{x}_{m})\in {X}^{m} is said to be a coincidence point of morder (or a multipled coincidence point) of mappings F:{X}^{m}\to X and g:X\to X if
or simply if
where {t}_{i} is the i th line of the circular matrix of x, t(x), as defined previously in (2.3). The element u=({u}_{1},\dots ,{u}_{m}) is called the multipled point of coincidence of F and g.
If all the coordinates {x}_{i} of such an element x are fixed points of g, x is called a common multipled fixed point of F:{X}^{m}\to X and g:X\to X. In such a case, the equalities below are satisfied:
i.e., F({t}_{i}(x))=g({x}_{i})={x}_{i} for all i\in \{1,2,\dots ,m\}, with t(x), the circular matrix of x as previously defined.
When m=1,2,3,4, x is a common fixed point, a common coupled fixed point, a common tripled fixed point and a common quadruple fixed point, respectively.
Definition 2.3 The mappings F:{X}^{m}\to X and g:X\to X are called wcompatible if g(F({x}_{1},{x}_{2},\dots ,{x}_{m}))=F(g{x}_{1},g{x}_{2},\dots ,g{x}_{m}) whenever
There is a natural relationship between fixed points of morder in X and fixed points in {X}^{m}. Consider the mappings F:{X}^{m}\to X and g:X\to X and their ‘associate’ mappings \tilde{F}:{X}^{m}\to {X}^{m} and \tilde{g}:{X}^{m}\to {X}^{m} defined for all x=({x}_{1},{x}_{2},\dots ,{x}_{m})\in {X}^{m} by
where {t}_{i}(x) is the i th line of the circular matrix t(x) of x as defined in (2.3). It is obvious that a point x\in {X}^{m} is a multipled fixed point of F if and only if it is a fixed point of \tilde{F}.
Recall that:

(i)
x=({x}_{1},\dots ,{x}_{m})\in {X}^{m} is a fixed point of \tilde{F}, a coincidence point of \tilde{F} and \tilde{g}, or a common fixed point of \tilde{F} and \tilde{g} if x=\tilde{F}(x), \tilde{F}(x)=\tilde{g}(x) or x=\tilde{F}(x)=\tilde{g}(x), respectively;

(ii)
\tilde{F} and \tilde{g} are wcompatible if \tilde{F}(\tilde{g}(x))=\tilde{g}(\tilde{F}(x)) whenever \tilde{F}(x)=\tilde{g}(x).
Example 2.4 Let X=\mathbb{R} and let F:{X}^{m}\to X be defined for all x=({x}_{1},{x}_{2},\dots ,{x}_{m}) by F(x)=2{x}_{1}+{x}_{2}+{x}_{3}+\cdots +{x}_{m}1. The system F({t}_{i}(x))={x}_{i} \mathrm{\forall}i\in \{1,\dots ,m\} is satisfied by all x such that {\sum}_{j=1}^{m}{x}_{j}=1. In particular, (\frac{1}{m},\dots ,\frac{1}{m}) and (1,0,\dots ,0) are both multipled fixed points of F. Observe that they are also fixed points of the mapping defined by
We also state the following proposition.
Proposition 2.5

(i)
An element x=({x}_{1},{x}_{2},\dots ,{x}_{m})\in {X}^{m} is a multipled coincidence point (or a common multipled fixed point) of F:{X}^{m}\to X and g:X\to X if and only if x=({x}_{1},{x}_{2},\dots ,{x}_{m}) is a coincidence point (or a common fixed point) of the associate mappings \tilde{F}:{X}^{m}\to {X}^{m} and \tilde{g}:{X}^{m}\to {X}^{m} defined in (2.7).

(ii)
The maps F and g are wcompatible if and only if \tilde{F} and \tilde{g} are wcompatible in {X}^{m}.
It is interesting to note the form of multipled fixed points, multipled coincidence points or common multipled fixed points, when they are unique. Rearranging equalities (2.1), (2.4) or (2.6), we can state the following.
Proposition 2.6 If x=({x}_{1},{x}_{2},\dots ,{x}_{m})\in {X}^{m} is a multipled coincidence (or common multipled fixed) point of F and g, then the elements {t}_{i}(x), 1\le i\le m (where t(x) is the circular matrix of x) are also multipled coincidence (or common multipled fixed) points of F and g. Hence, if x is a unique multipled coincidence (or common multipled fixed) point of F and g, then x={t}_{i}(x) for all i\in \{2,3,\dots ,m\}. Thus {x}_{1}={x}_{2}=\cdots ={x}_{m}.
Example 2.7 Let X=\mathbb{R} and let F:{X}^{m}\to X be defined by F(x)=1m+{\sum}_{j=1}^{m}{x}_{j}.
F({t}_{i}(x))={x}_{i} \mathrm{\forall}i\in \{1,\dots ,m\}\u27fa{\sum}_{j\ne i}{x}_{j}=m1. The determinant of the system
hence the system has a unique solution, (1,\dots ,1), which is the unique multipled fixed point of F.
3 Multipled fixed point theorems in cone metric spaces
We start the section by introducing and defining some notions on fixed point results in product cone metric spaces.
Definition 3.1 Let ({X}_{i},{d}_{i}), i\in \{1,2,\dots ,m\}, be m cone metric spaces with respect to cones {P}_{i} in a Banach space E such that {P}_{i}\cap ({P}_{j})=\{\theta \} for all i, j. The set Z={\prod}_{i=1}^{i=m}{X}_{i}, together with d:Z\times Z\to E defined by d(x,y)={\sum}_{i=1}^{m}{d}_{i}({x}_{i},{y}_{i}), where x=({x}_{1},{x}_{2},\dots ,{x}_{m}), y=({y}_{1},{y}_{2},\dots ,{y}_{m}), is a cone metric space with respect to the cone P={\sum}_{i=1}^{m}{P}_{i}. Z is called a product cone metric space.
When {X}_{i}=X for each i\in \{1,2,\dots ,m\}, where (X,d) is a cone metric space with respect to the cone P\subset E, we define the cone product metric space {X}^{m} with respect to P by considering the cone metric D:{X}^{m}\times {X}^{m}\to E such that
where x={({x}_{i})}_{1\le i\le m}, y={({y}_{i})}_{1\le i\le m}.
The proof of the following follows immediately.
Proposition 3.2 Let (X,d) be a cone metric space with respect to d and ({X}^{m},D) the product cone metric space.
(p_{1}) A sequence \{{x}_{n}\}=\{({x}_{n}^{1},{x}_{n}^{2},\dots ,{x}_{n}^{m})\} converges to x=({x}^{1},{x}^{2},\dots ,{x}^{m}) if and only if the sequences \{{x}_{n}^{i}\} converge to {x}^{i} for all i\in \{1,2,\dots ,m\}.
(p_{2}) A sequence \{{x}_{n}\}=\{({x}_{n}^{1},{x}_{n}^{2},\dots ,{x}_{n}^{m})\} is a Cauchy sequence in {X}^{m} if and only if the sequences \{{x}_{n}^{i}\} are Cauchy sequences in X for all i\in \{1,2,\dots ,m\}.
(p_{3}) ({X}^{m},D) is complete if and only if (X,d) is complete.
Example 3.3 Let {X}_{1}=[0,1], {X}_{2}={\mathbb{R}}^{n} (n\in \mathbb{N}), E={\mathbb{R}}^{2}, P={\mathbb{R}}_{+}^{2}, {d}_{1}:{X}_{1}\times {X}_{1}\to E and {d}_{2}:{X}_{2}\times {X}_{2}\to E such that {d}_{1}(u,v)=(uv,2uv) and {d}_{2}(x,y)=(0,\sqrt{{\sum}_{i=1}^{n}{x}_{i}{y}_{i}}), x={({x}_{i})}_{1\le i\le n}, y={({y}_{i})}_{1\le i\le n}. ({X}_{1},{d}_{1}) and ({X}_{2},{d}_{2}) are cone metric spaces. The set Z={X}_{1}\times {X}_{2}=[0,1]\times {\mathbb{R}}^{n} with d:Z\times Z\to E defined as
is the product cone metric space of {X}_{1} and {X}_{2}.
It should be noted that Theorems 1.71.9 can be extended to product cone metric spaces endowed with metric D as defined in (3.1).
Now, we state the following theorem for a single map.
Theorem 3.4 Let (X,d) be a complete cone metric space, F:{X}^{m}\to X be a mapping satisfying, for some j\in \{1,\dots ,m\},
for all x=({x}_{1},{x}_{2},\dots ,{x}_{m}), u=({u}_{1},{u}_{2},\dots ,{u}_{m})\in {X}^{m}, where {t}_{ji}x is the element in the jth line and ith column of t(x), and {a}_{1},{a}_{2},{a}_{3},{a}_{4},{b}_{1},\dots ,{b}_{m}\in (0,1) satisfy {a}_{1}+{a}_{2}+{a}_{3}+{a}_{4}+{\sum}_{i=1}^{m}{b}_{i}<1. Then the mapping F has a unique multipled fixed point ({x}^{\ast},\dots ,{x}^{\ast})\in {X}^{m}. Moreover, for any ({x}^{1},{x}^{2},\dots ,{x}^{m})\in {X}^{m}, the sequences \{{x}_{n}^{1}\},\{{x}_{n}^{2}\},\dots ,\{{x}_{n}^{m}\}\subset X defined by
converge to {x}^{\ast}\in X for each i\in \{1,2,\dots ,m\}.
Proof Due to the symmetry of d, we can assume without loss of generality that {a}_{1}={a}_{2} and {a}_{3}={a}_{4}. Hence we have
and by simple interchanges
for all k\in \{1,\dots ,m\}.
Summing the minequalities, we have
In view of (2.7) and (3.1), we get
Applying Theorem 1.7 to product cone metric spaces, it follows that \tilde{F} has a unique fixed point, which is the unique multipled fixed point of F. Since, the multipled fixed point is unique, it is of the form ({x}^{\ast},{x}^{\ast},\dots ,{x}^{\ast}) with {x}^{\ast}\in X (from Proposition 2.6).
Also, from Theorem 1.7, for any ({x}^{1},{x}^{2},\dots ,{x}^{m})\in {X}^{m}, the sequence {\tilde{F}}^{n}({x}^{1},{x}^{2},\dots ,{x}^{m}) converges to the fixed point ({x}^{\ast},{x}^{\ast},\dots ,{x}^{\ast}). If we set
then the sequences \{{x}_{n}^{1}\},\{{x}_{n}^{2}\},\dots ,\{{x}_{n}^{m}\}\subset X converge each to {x}^{\ast}\in X and we have
as defined in (3.3). □
Theorem 3.5 Let (X,d) be a cone metric space, F:{X}^{m}\to X and g:X\to X be mappings satisfying, for some j\in \{1,\dots ,m\},
for all x=({x}_{1},{x}_{2},\dots ,{x}_{m}),u=({u}_{1},{u}_{2},\dots ,{u}_{m})\in {X}^{m}, where {a}_{1},{a}_{2},{a}_{3},{a}_{4},{b}_{1},\dots ,{b}_{m}\in [0,1) and {a}_{1}+{a}_{2}+{a}_{3}+{a}_{4}+{\sum}_{i=1}^{m}{b}_{i}<1. If

(i)
F and g are such that F({X}^{m})\subset g(X),

(ii)
F({X}^{m}) or g(X) is a complete subset of X, and

(iii)
F and g are wcompatible,
then F and g have a unique common multipled fixed point ({x}^{\ast},\dots ,{x}^{\ast})\in {X}^{m}. Moreover, for any {x}_{0}=({x}_{0}^{1},{x}_{0}^{2},\dots ,{x}_{0}^{m})\in {X}^{m}, the sequence \{{x}_{n}\}=\{({x}_{n}^{1},{x}_{n}^{2},\dots ,{x}_{n}^{m})\} in {X}^{m} defined by g{x}_{n}^{i}=F{t}_{i}{x}_{n1} for all i\in \{1,2,\dots ,m\}, i.e.,
converges to ({x}^{\ast},\dots ,{x}^{\ast}).
Proof Due to the symmetry of d, we can assume without loss of generality that {a}_{1}={a}_{2} and {a}_{3}={a}_{4}. Hence we have
and by simple interchanges
for all k\in \{1,\dots ,m\}.
Summing the minequalities, we have
In view of (2.7) and (3.1), we get
Since F({X}^{m})\subset g(X), F({X}^{m}) or g(X) is complete in X and F and g are wcompatible, then \tilde{F}({X}^{m})\subset \tilde{g}({X}^{m}), \tilde{F}({X}^{m}) or \tilde{g}({X}^{m}) is complete in {X}^{m} and \tilde{F} and \tilde{g} are wcompatible. From Theorem 1.8 applied to product cone metric spaces, \tilde{F} and \tilde{g} have a unique common fixed point which is the common multipled fixed point of F and g. From Proposition 2.6, it is of the form ({x}^{\ast},{x}^{\ast},\dots ,{x}^{\ast}), {x}^{\ast}\in X. By Theorem 1.8, the sequence \{{x}_{n}\}=\{{x}_{n}^{1},\dots ,{x}_{n}^{m}\}\subset {X}^{m} defined by \tilde{g}({x}_{n}^{1},\dots ,{x}_{n}^{m})=\tilde{F}({x}_{n1}^{1},\dots ,{x}_{n1}^{m}) for any {x}_{0}=({x}_{0}^{1},\dots ,{x}_{0}^{m})\in {X}^{m} converges to ({x}^{\ast},\dots ,{x}^{\ast}). Hence, the coordinate sequences \{{x}_{n}^{1}\},\{{x}_{n}^{2}\},\dots ,\{{x}_{n}^{m}\} converge each to {x}^{\ast} and satisfy (3.5) since
□
Theorem 3.6 Let (X,d) be a cone metric space, f:{X}^{m}\to X, g:{X}^{m}\to X, S:X\to X and T:X\to X be four mappings such that f({X}^{m})\subset T(X), g({X}^{m})\subset S(X) and for some j\in \{1,\dots ,m\},
for all x=({x}_{1},{x}_{2},\dots ,{x}_{m}), u=({u}_{1},{u}_{2},\dots ,{u}_{m})\in {X}^{m}, where {p}_{i} (i=1,2,\dots ,m), q,r,t\in (0,1) and {\sum}_{i=1}^{m}{p}_{i}+q+r+2t<1.
If one of f({X}^{m}), g({X}^{m}), S(X) or T(X) is a complete subspace of X, then \{f,S\} and \{g,T\} have a unique mtupled point of coincidence in X.
Moreover, if \{f,S\} and \{g,T\} are wcompatible, then f, g, S and T have a unique multipled common fixed point (u,\dots ,u)\in {X}^{m} and for every ({x}_{0}^{1},{x}_{0}^{2},\dots ,{x}_{0}^{m})\in {X}^{m}, the sequences \{{x}_{n}\}=\{({x}_{n}^{1},{x}_{n}^{2},\dots ,{x}_{n}^{m})\}\subset {X}^{m} and \{{u}_{n}\}=\{({u}_{n}^{1},{u}_{n}^{2},\dots ,{u}_{n}^{m})\} defined by
converge both to (u,u,\dots ,u).
Proof From (3.6) and by simple interchanges, we have
for every k\in \{1,\dots ,m\}.
Summing the m inequalities, we have
In view of (2.7) and (3.1), we get
where \tilde{f}, \tilde{g}, \tilde{S} and \tilde{T} are defined for all x={({x}_{i})}_{1\le i\le m}\in {X}^{m} and u={({u}_{i})}_{1\le i\le m}\in {X}^{m} by
The contractive condition in Theorem 1.9 is satisfied for \tilde{f}, \tilde{g}, \tilde{S} and \tilde{T}.
We have
If one of f({X}^{m}), g({X}^{m}), S(X) or T(X) is complete, then \tilde{f}({X}^{m}), \tilde{g}({X}^{m}), \tilde{S}({X}^{m}) or \tilde{T}({X}^{m}) is complete in {X}^{m}, hence by Theorem 1.9 applied to the product cone metric space {X}^{m}, the pairs \{\tilde{f},\tilde{S}\} and \{\tilde{g},\tilde{T}\} have unique points of coincidence which are unique multiple coincidence points of \{f,S\} and \{g,T\}.
If, in addition, \{f,S\} and \{g,T\} are wcompatible, then \{\tilde{f},\tilde{S}\} and \{\tilde{g},\tilde{T}\} are wcompatible. By Theorem 1.9, \tilde{f}, \tilde{g}, \tilde{S} and \tilde{T} have a unique common fixed point which is the unique multiple common fixed point of f, g, S and T. Because of the uniqueness, it is of the form (u,\dots ,u) for some u\in X.
Also, from Theorem 1.9, for any ({x}_{0}^{1},{x}_{0}^{2},\dots ,{x}_{0}^{m})\in {X}^{m}, the sequences \{{x}_{n}\}=\{{({x}_{n}^{i})}_{1\le i\le m}\} and \{{u}_{n}\}=\{{({u}_{n}^{i})}_{1\le i\le m}\} defined by
converge to (u,\dots ,u)\in {X}^{m} and (3.8) is equivalent to
Hence the sequences \{{x}_{n}\} and \{{u}_{n}\} defined in (3.7) converge to (u,u,\dots ,u)\in {X}^{m}. □
Remark 3.7 Theorem 3.4 extends Theorem 1.7 (Olaleru [23]), the results of Sabetghadam et al. [10] and Theorem 4.1.1 of Olaleru and Olaoluwa [25] to multipled fixed points. Theorem 3.5 is an extension of Theorem 2.4 of Abbas et al. [12] and Theorem 4.2.1 of Olaleru and Olaoluwa [25] to multipled fixed points. Theorem 3.6 generalizes Theorems 3.4 and 3.5 and extends the results of Abbas et al. [24] (Theorem 1.9) and Theorem 4.3.1 of Olaleru and Olaoluwa [25] to multipled fixed points. To the best of our knowledge, it is the most general theorem in the theory of multipled fixed points that deals with four maps.
Example 3.8 Let (X,d) be the cone metric space defined in Example 1.6. Consider the mappings F:{X}^{m}\to X and g:X\to X defined by F({x}_{1},{x}_{2},\dots ,{x}_{m})=\frac{1}{m}{\sum}_{i=1}^{m}{x}_{i} and g(x)=mx, where m\ge 2.
F({X}^{m})=g(X)=X is complete. Also, F and g are wcompatible. The condition (3.4) of Theorem 3.5 is satisfied for j=1 and {a}_{1}={a}_{2}={a}_{3}={a}_{4}=\frac{1}{10}, {b}_{i}=\frac{1}{2m}, \mathrm{\forall}i\in \{1,\dots ,n\}. That is,
for all x=({x}_{1},\dots ,{x}_{m}), u=({u}_{1},\dots ,{u}_{m})\in {X}^{m}, and \frac{1}{10}+\frac{1}{10}+\frac{1}{10}+\frac{1}{10}+{\sum}_{i=1}^{m}\frac{1}{2m}=\frac{9}{10}<1. Hence F and g have a unique common multipled fixed point ({x}^{\ast},\dots ,{x}^{\ast})\in {X}^{m}. It is easy to notice that {x}^{\ast}=0.
Example 3.9 Let E={\mathbb{R}}^{2}, P=\{(x,y)\in E:x,y\ge 0\}, X=\{{2}^{p}:p\in \mathbb{N}\} and d:X\times X\to X be defined by d({2}^{p},{2}^{r})=(pr,{2}^{p}{2}^{r}). (X,d) is a cone metric space. Let f,g:X\times X\to X and S,T:X\to X be defined by f({x}_{1},{x}_{2})=g({x}_{1},{x}_{2})={x}_{1}{x}_{2} and Sx=Tx={x}^{3}. f, g, S, T satisfy the conditions of Theorem 3.6 with m=2, j\in \{1,2\}, {p}_{1}={p}_{2}=\frac{1}{3} and q=r=t=0. The couple (1,1) is the unique common coupled fixed point of the four maps f, g, S and T.
4 Retrieving lower multiplicity fixed points
It would be interesting to show that fixed point of morder results can be used to obtain parallel results on fixed points of a lower order k. That is, fixed point results (which are fixed point of 1order results) can be generated from similar results on coupled, tripled or even quadruple fixed points. In the sequel, we prove Theorem 3.6 for order k, using the same theorem for a higherorder m.
Let X be a cone metric space and ({X}^{i},{D}_{i}) be a product cone metric space, i\in \mathbb{N}. Consider the mappings S,T:X\to X and f,g:{X}^{k}\to X. Also consider the maps \overline{f},\overline{g}:{X}^{m}\to X defined by \overline{f}(\overline{x})=f(x) and \overline{g}(\overline{x})=g(x) for all \overline{x}=({x}_{1},\dots ,{x}_{k},\dots ,{x}_{m})\in {X}^{m}, where x=({x}_{1},\dots ,{x}_{k})\in {X}^{k} (k and m are integers such that k<m).
Obviously, \overline{f}({X}^{m})=f({X}^{k}) and \overline{g}({X}^{m})=g({X}^{k}); hence the conditions \overline{f}({X}^{m})\subset T(X) and \overline{g}({X}^{m})\subset S(X) imply that f({X}^{k})\subset T(X) and g({X}^{k})\subset S(X), respectively. Also, if \overline{f}({X}^{m}) or \overline{g}({X}^{m}) is complete, then f({X}^{k}) or g({X}^{k}) is complete, respectively.
Now consider inequality (3.6) in Theorem 3.6 for maps f,g:{X}^{k}\to X and S,T:X\to X, i.e.,
for all x=({x}_{1},{x}_{2},\dots ,{x}_{k}),u=({u}_{1},{u}_{2},\dots ,{u}_{k})\in {X}^{k}, where {p}_{1},\dots ,{p}_{k},q,r,t\in [0,1) and q+r+2t+{\sum}_{i=1}^{k}{p}_{i}<1.
It is obvious that for any {x}_{k+1},\dots ,{x}_{m},{u}_{k+1},\dots ,{u}_{m}\in X, the mappings \overline{f},\overline{g}:{X}^{m}\to X and S,T:X\to X are such that
for all \overline{x}=({x}_{1},{x}_{2},\dots ,{x}_{m}),\overline{u}=({u}_{1},{u}_{2},\dots ,{u}_{m})\in {X}^{m}, where q,r,t,{p}_{1},\dots ,{p}_{k}\in [0,1), {p}_{k+1}=\cdots ={p}_{m}=0 and q+r+2t+{\sum}_{i=1}^{m}{p}_{i}=q+r+2t+{\sum}_{i=1}^{k}{p}_{i}<1. If f, g, S, T are such that f({X}^{k})\subset T(X), g({X}^{k})\subset S(X) and either f({X}^{k}), g({X}^{k}), S(X) or T(X) is complete, then \overline{f}({X}^{m})\subset T(X), \overline{g}({X}^{m})\subset S(X) and either \overline{f}({X}^{m}), \overline{g}({X}^{m}), S(X) or T(X) is complete. Under these conditions, \{\overline{f},S\} and \{\overline{g},T\} have unique points of coincidence of order m. From Proposition 2.6, they are of the form (u,\dots ,u)\in {X}^{m} and (v,\dots ,v)\in {X}^{m}.
If, in addition, \{f,S\} and \{g,T\} are wcompatible, they commute at their respective coincidence points (u,\dots ,u),(v,\dots ,v)\in {X}^{k} and so, obviously, \{\overline{f},S\} and \{\overline{g},T\} also commute at their respective coincidence points (u,\dots ,u),(v,\dots ,v)\in {X}^{m}. The coincidence points being unique, \{\overline{f},S\} and \{\overline{g},T\} are wcompatible; from Theorem 3.6, \overline{f}, \overline{g}, S and T have a unique common fixed point of order m, (z,\dots ,z)\in {X}^{m}. It obviously follows that f, g, S, T have a unique common fixed point (z,\dots ,z)\in {X}^{k} of korder.
The choice of Theorem 3.6 does not lessen the generality given that the notion of wcompatibility is used. The same method can be used for Theorem 3.4 or Theorem 3.5. We summarize by stating the following theorem.
Theorem 4.1 Theorems of existence of multipled fixed points of maps satisfying some contractive conditions can be considered as applications of corresponding results of fixed points of higher multiplicity. In particular, the fixed point results are applications of coupled fixed point results or tripled fixed point results, coupled fixed point results are applications of tripled fixed point results, etc.
Remark 4.2 Our methodology of proof shows that some results in cone metric spaces (CMSs) of fixed point (FP) of higher order can be obtained through corresponding fixed point results via product cone metric spaces (PCMSs). Theorem 4.1 is sort of the converse. We can sketch the following diagram in terms of applications or corollaries:
References
Huang LG, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 2007, 332(2):1468–1476. 10.1016/j.jmaa.2005.03.087
Abbas M, Jungck G: Common fixed point results for noncommuting mappings without continuity in cone metric spaces. J. Math. Anal. Appl. 2008, 341(1):416–420. 10.1016/j.jmaa.2007.09.070
Abbas M, Rhoades BE: Fixed and periodic point results in cone metric spaces. Appl. Math. Lett. 2009, 22(4):511–515. 10.1016/j.aml.2008.07.001
Arshad A, Azam A, Vetro P: Some common fixed point results in cone metric spaces. Fixed Point Theory Appl. 2009., 2009: Article ID 493965
Ilić D, Rakoc̆ević V: Common fixed points for maps on cone metric space. J. Math. Anal. Appl. 2008, 341(2):876–882. 10.1016/j.jmaa.2007.10.065
Olaleru JO: Common fixed points of three selfmappings in cone metric spaces. Appl. Math. ENotes 2011, 11: 41–49.
Rezapour S, Hamlbarani R: Some notes on the paper: ‘Cone metric spaces and fixed point theorems of contractive mappings’. J. Math. Anal. Appl. 2008, 345(2):719–724. 10.1016/j.jmaa.2008.04.049
Vetro P: Common fixed points in cone metric spaces. Rend. Circ. Mat. Palermo 2007, 56(3):464–468. 10.1007/BF03032097
Karapinar E: Some nonunique fixed point theorems of Ciric type on cone metric spaces. Abstr. Appl. Anal. 2009., 2010: Article ID 574387
Sabetghadam F, Masiha HP, Sanatpour A: Some coupled fixed point theorems in cone metric spaces. Fixed Point Theory Appl. 2009., 2009: Article ID 125426
Lakshmikantham V, Cirić L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric space. Nonlinear Anal. 2009, 70: 4341–4349. 10.1016/j.na.2008.09.020
Abbas M, Ali Khan M, Radenović S: Common coupled fixed point theorems in cone metric spaces for w compatible mappings. Appl. Math. Comput. 2010, 217: 195–202. 10.1016/j.amc.2010.05.042
Karapinar E: Couple fixed point theorems for nonlinear contractions in cone metric spaces. Comput. Math. Appl. 2010, 59(12):3656–3668. 10.1016/j.camwa.2010.03.062
Shatanawi W, Karapinar E, Aydi H: Coupled coincidence points in partially ordered cone metric spaces with a c distance. J. Appl. Math. 2012., 2012: Article ID 312078
Kadelburg Z, Radenović S: Coupled fixed point results under TVScone metric and Wconedistance. Adv. Fixed Point Theory 2012, 2(1):29–46.
Berinde V, Borcut M: Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces. Nonlinear Anal. 2011, 74(15):4889–4897. 10.1016/j.na.2011.03.032
Berinde V: Generalized coupled fixed point theorems for mixed monotone mappings in partially ordered metric spaces. Nonlinear Anal. 2011, 74: 7347–7355. 10.1016/j.na.2011.07.053
AminiHarandi A: Coupled and tripled fixed point theory in partially ordered metric spaces with applications to initial value problem. Math. Comput. Model. 2013, 57: 2343–2348. 10.1016/j.mcm.2011.12.006
Karapinar E: Quadruple fixed point theorems for weak Φcontractions. ISRN Math. Anal. 2011., 2011: Article ID 989423
Samet B, Vetro C: Coupled fixed point, F invariant set and fixed point of N order. Ann. Funct. Anal. 2011, 1(2):46–56.
Roldán A, MartínezMoreno J, Roldán C: Multidimensional fixed point theorems in partially ordered complete metric spaces. J. Math. Anal. Appl. 2012, 396(2):536–545. 10.1016/j.jmaa.2012.06.049
Janković S, Kadelburg Z, Radenović S: On cone metric spaces: a survey. Nonlinear Anal. 2010, 74: 2591–2601.
Olaleru JO: Some generalizations of fixed point theorems in cone metric spaces. Fixed Point Theory Appl. 2009., 2009: Article ID 657914
Abbas M, Rhoades BE, Nazir T: Common fixed points for four maps in cone metric spaces. Appl. Math. Comput. 2010, 216: 80–86. 10.1016/j.amc.2010.01.003
Olaleru, JO, Olaoluwa, H: On coupled fixed points in cone metric spaces (submitted)
Acknowledgements
The authors would like to thank their referees for the helpful suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Olaoluwa, H., Olaleru, J. Multipled fixed point theorems in cone metric spaces. Fixed Point Theory Appl 2014, 43 (2014). https://doi.org/10.1186/16871812201443
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16871812201443