Skip to content

Advertisement

• Research
• Open Access

A note on ‘N-fixed point theorems for nonlinear contractions in partially ordered metric spaces’

Fixed Point Theory and Applications20132013:310

https://doi.org/10.1186/1687-1812-2013-310

• Received: 23 August 2013
• Accepted: 29 October 2013
• Published:

Abstract

In this note we prove that a kind of mappings depending on k arguments introduced in (Paknazar et al. in Fixed Point Theory Appl. 2013:111, 2013) only depend on their first argument. Therefore, results in that paper reduce to the unidimensional case. We also include some commentaries about the different notions of multidimensional fixed point.

MSC:46T99, 47H10, 47H09, 54H25.

Keywords

• partially ordered set
• fixed point
• contractive mapping
• mixed monotone property

Recently, Paknazar et al. [1] introduced the concept of new g-monotone property for a mapping $F:{X}^{k}\to X$ as follows.

Definition 1 (Paknazar et al. [1], Definition 2.2)

Let X be a non-empty set (provided with a partial order ), and let $g:X\to X$ and $F:{X}^{k}\to X$ ($k\ge 2$) be two given mappings. F is said to have the new g-monotone property if F is monotone g-non-decreasing in its first argument. That is, for any $\left({x}_{1},{x}_{2},\dots ,{x}_{k}\right),\left({y}_{1},{y}_{2},\dots ,{y}_{k}\right)\in {X}^{k}$,
$g\left({x}_{1}\right)\preccurlyeq g\left({y}_{1}\right)\phantom{\rule{1em}{0ex}}⇒\phantom{\rule{1em}{0ex}}F\left({x}_{1},{x}_{2},\dots ,{x}_{k}\right)\preccurlyeq F\left({y}_{1},{y}_{2},\dots ,{y}_{k}\right).$

We prove that there is not a wide range of mappings verifying this condition.

Theorem 2 Let $\left(X,\preccurlyeq \right)$ be a partially ordered set, and let $g:X\to X$ and $F:{X}^{k}\to X$ ($k\ge 2$) be two given mappings such that F has the new g-monotone property. Then there exists a unique g-non-decreasing mapping $f:X\to X$ such that
(1)

Therefore, F only depends on its first variable and all results in [1] can be reduced to the unidimensional case.

Proof Fix a point $\left({z}_{2},{z}_{3},\dots ,{z}_{k}\right)\in {X}^{k-1}$ and define $f:X\to X$ by $f\left(x\right)=F\left(x,{z}_{2},{z}_{3},\dots ,{z}_{k}\right)$ for all $x\in X$. To prove (1), let $\left({x}_{1},{x}_{2},\dots ,{x}_{k}\right)\in {X}^{k}$ be arbitrary. Since $g\left({x}_{1}\right)\preccurlyeq g\left({x}_{1}\right)$, the new g-monotone property yields
$\begin{array}{c}F\left({x}_{1},{x}_{2},{x}_{3},\dots ,{x}_{k}\right)\preccurlyeq F\left({x}_{1},{z}_{2},{z}_{3},\dots ,{z}_{k}\right)\phantom{\rule{1em}{0ex}}\text{and}\hfill \\ F\left({x}_{1},{z}_{2},{z}_{3},\dots ,{z}_{k}\right)\preccurlyeq F\left({x}_{1},{x}_{2},{x}_{3},\dots ,{x}_{k}\right),\hfill \end{array}$

which means that $F\left({x}_{1},{x}_{2},{x}_{3},\dots ,{x}_{k}\right)=F\left({x}_{1},{z}_{2},{z}_{3},\dots ,{z}_{k}\right)=f\left({x}_{1}\right)$.

Furthermore, suppose that $x,y\in X$ are such that $g\left(x\right)\preccurlyeq g\left(y\right)$. By the new g-monotone property, we observe that
$f\left(x\right)=F\left(x,{z}_{2},{z}_{3},\dots ,{z}_{k}\right)\preccurlyeq F\left(y,{z}_{2},{z}_{3},\dots ,{z}_{k}\right)=f\left(y\right),$

that is, f is a g-non-decreasing mapping. The unicity of f is obvious. □

The main result in Paknazar et al. [1] is the following theorem.

Theorem 3 (Paknazar et al. [1], Theorem 2.5)

Let $\left(X,\preccurlyeq ,d\right)$ be a partially ordered complete metric space, and let $F:{X}^{k}\to X$ and $g:X\to X$ be two given mappings such that F has a new g-monotone property, g is continuous, $F\left({X}^{k}\right)\subset g\left(X\right)$ and g commutes with F. Assume that there exists a continuous function $\phi :\left[0,+\mathrm{\infty }\right)\to \left[0,+\mathrm{\infty }\right)$, satisfying
1. (i)

$\phi \left(t\right) for $t>0$ and $\phi \left(0\right)=0$,

2. (ii)

${lim}_{r\to {t}^{+}}\phi \left(r\right) for each $t>0$,

such that
$d\left(F\left({x}_{1},\dots ,{x}_{k}\right),F\left({y}_{1},\dots ,{y}_{k}\right)\right)\le \phi \left(\frac{d\left(g{x}_{1},g{y}_{1}\right)+\cdots +d\left(g{x}_{k},g{y}_{k}\right)}{k}\right)$
for all ${x}_{j}$, ${y}_{j}$ ($j\in \left\{1,2,\dots \right\}$) so that $g\left({x}_{2i-1}\right)\preccurlyeq g\left({y}_{2i-1}\right)$ for all $i\in \left\{1,2,\dots ,\left[\frac{k+1}{2}\right]\right\}$ and $g\left({y}_{2i}\right)\preccurlyeq g\left({x}_{2i}\right)$ for all $i\in \left\{1,2,\dots ,\left[\frac{k}{2}\right]\right\}$, and suppose that there exist ${x}_{1}^{0},{x}_{2}^{0},\dots ,{x}_{k}^{0}\in X$ such that
Also suppose that either
1. (a)

F is continuous, or

2. (b)
X has the following property:
1. (i)

If a non-decreasing sequence $\left\{{x}_{n}\right\}\to x$, then ${x}_{n}\preccurlyeq x$ for all n;

2. (ii)

If a non-increasing sequence $\left\{{y}_{n}\right\}\to y$, then ${y}_{n}\succcurlyeq y$ for all n.

Then there exist ${x}_{1},{x}_{2},\dots ,{x}_{k}\in X$ such that

That is, F and g have a k-coincidence point.

Firstly, notice that if φ is continuous and $\phi \left(t\right) for all $t>0$, then $\phi \left(0\right)=0$, so the condition $\phi \left(0\right)=0$ in (i) can be avoided. But mainly, we claim that this theorem is an immediate consequence of the following unidimensional result (a two-dimensional version of the following result can be found in [2], a multidimensional version is in [3]), which can be seen as a natural extension of Ran and Reurings’ theorem [4] and Nieto and Rodríguez-López’s theorem [5].

Theorem 4 Let $\left(X,d,\preccurlyeq \right)$ be a complete partially ordered metric space, and let $T,g:X\to X$ be two mappings such that T is g-non-decreasing and g is continuous. Suppose that there exists $\phi :\left[0,+\mathrm{\infty }\right)\to \left[0,+\mathrm{\infty }\right)$ such that $\phi \left(t\right) and ${lim}_{r\to {t}^{+}}\phi \left(r\right) for each $t>0$, verifying

Also assume that T is continuous or $\left(X,d,\preccurlyeq \right)$ is regular (that is, it verifies condition (b) of the previous theorem). If there exists a point ${x}_{0}\in X$ such that $g\left({x}_{0}\right)\preccurlyeq T\left({x}_{0}\right)$, then T and g have a coincidence point, that is, a point $x\in X$ such that $g\left(x\right)=f\left(x\right)$.

To prove our claim, notice that if F verifies the new g-monotone property, we have showed that there exists a mapping $f:X\to X$ such that

When f is continuous, then f is continuous; since F and g commute, then f and g commute; since $F\left({X}^{k}\right)\subset g\left(X\right)$, then $f\left(X\right)\subset g\left(X\right)$; $g\left({x}_{1}^{0}\right)\preccurlyeq F\left({x}_{1}^{0},{x}_{2}^{0},\dots ,{x}_{k}^{0}\right)=f\left({x}_{1}^{0}\right)$ and similarly $g\left({x}_{2}^{0}\right)\succcurlyeq f\left({x}_{1}^{0}\right)$; furthermore, the contractivity condition is similarly proved. Classical techniques assure that f and g have a coincidence point, that is, there is $x\in X$ such that $g\left(x\right)=f\left(x\right)$. Therefore $\left(x,x,\dots ,x\right)\in {X}^{k}$ is a k-coincidence point between F and g, that is, $g\left(x\right)=f\left(x\right)=F\left(x,x,\dots ,x\right)$.

To end this note, we include some considerations about the notion of multidimensional fixed point that researchers could take into account. Let $F:{X}^{k}\to X$ be a mapping. After the appearance of Guo and Lakshmikantham’s notion of coupled fixed point (see [6]),
$x=F\left(x,y\right)\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}y=F\left(y,x\right),$
Berinde’s notion of tripled fixed point (see [7]),
$x=F\left(x,y,z\right),\phantom{\rule{2em}{0ex}}y=F\left(y,x,y\right)\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}z=F\left(z,y,x\right),$
and Karapınar and Luong’s notion of quadrupled fixed point (see [8, 9]),
$x=F\left(x,y,z,t\right),\phantom{\rule{2em}{0ex}}y=F\left(y,z,t,x\right),\phantom{\rule{2em}{0ex}}z=F\left(z,t,x,y\right)\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}t=F\left(t,x,y,z\right),$

some authors have paid attention to the multidimensional case. A first attempt to generalize this notion was given by Berzig and Samet in [10]. We have to distinguish between two kinds of definitions.

• In some cases, one or more arguments do not have to appear in all equations. For instance, the following notion was given in [11] (and was also mentioned in Paknazar et al., Definition 1.12, although it was not used in that paper):
This definition can be interpreted as an extension of the second equation of Berinde and Borcut’s notion, that is, $y=F\left(y,x,y\right)$. This case yields the equations systems in which some arguments do not appear. Besides Berinde and Borcut’s second equation in the tripled case, if $k=4$, the corresponding system is

This could be a difficulty in proving some results and, furthermore, this case is not possible when a researcher is interested in a system whose equations involve, at the same time, all variables.

• In other cases, the arguments are permuted. For instance, the notion of k-fixed point introduced in Paknazar et al. (Definition 2.1) is as follows:
(2)
(for simplicity, we do not consider the coincidence case involving a mapping g). This notion generalizes Karapınar and Luong’s quadrupled concept, that is,
$\left\{\begin{array}{l}x=F\left(x,y,z,t\right),\\ y=F\left(y,z,t,x\right),\\ z=F\left(z,t,x,y\right),\\ t=F\left(t,x,y,z\right).\end{array}$
However, we remark that the equation system (2) is not suitable to work with the classical mixed monotone property when k is odd. For instance, if $k=5$ and F is monotone non-decreasing in its odd arguments and monotone non-increasing in its even arguments, then the equations
and

do not let us to show the existence of fixed points using the classical mixed monotone property. Berinde and Borcut realized that this definition is not convenient, so they had to consider the equation $y=F\left(y,x,y\right)$. System (2) only works when k is even. Obviously, Paknazar et al. succeeded in proving their main results in [1] because, as we have showed before, the new g-mixed monotone property is very restrictive.

Finally, we comment that a more convenient notion of k-fixed point was given by Roldán et al. in [12]. This definition has three advantages: (1) it describes how the arguments can be reordered or permuted, (2) it works with the classical mixed monotone property, and (3) it extends Guo and Lakshmikantham’s coupled case, Berinde’s tripled case, Karapınar and Luong’s quadrupled case and Berzig and Samet’s multidimensional case. As we can easily see, the main result in [11] (that the reader can find in [[1], Theorem 1.13] as a literature) is weaker than the main result of Roldán et al. [12]. For more publications in this direction, see, e.g., [10, 1317]. We also notice that Roldán et al. [18] proved that some multidimensional fixed point results can be reduced to the unidimensional case.

Declarations

Acknowledgements

The first author was supported by the Research Center, College of Science, King Saud University. The last three authors were supported by Junta the Andalucía through Projects FQM-268, FQM-235 and FQM-178 of the Andalusian CICYE.

Authors’ Affiliations

(1)
Department of Mathematics, Atilim University, İncek, Ankara, 06836, Turkey

References

1. Paknazar M, Eshaghi Gordji M, de la Sen M, Vaezpour SM: N -Fixed point theorems for nonlinear contractions in partially ordered metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 111Google Scholar
2. Choudhury BS, Kundu A: A coupled coincidence point result in partially ordered metric spaces for compatible mappings. Nonlinear Anal. 2010, 73: 2524–2531. 10.1016/j.na.2010.06.025
3. Wang S: Coincidence point theorems for G -isotone mappings in partially ordered metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 96Google Scholar
4. Ran ACM, Reurings MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 2004, 132: 1435–1443. 10.1090/S0002-9939-03-07220-4
5. Nieto JJ, Rodríguez-López R: Contractive mapping theorem in partially ordered sets and applications to ordinary differential equations. Order 2005, 22: 223–239. 10.1007/s11083-005-9018-5
6. Guo D, Lakshmikantham V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. 1987, 11: 623–632. 10.1016/0362-546X(87)90077-0
7. Berinde V, Borcut M: Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces. Nonlinear Anal. 2011, 74: 4889–4897. 10.1016/j.na.2011.03.032
8. Karapınar E: Quadruple fixed point theorems for weak ϕ -contractions. ISRN Math. Anal. 2011., 2011: Article ID 989423Google Scholar
9. Karapınar E, Luong NV: Quadruple fixed point theorems for nonlinear contractions. Comput. Math. Appl. 2012, 64: 1839–1848. 10.1016/j.camwa.2012.02.061
10. Berzig M, Samet M: An extension of coupled fixed point’s concept in higher dimension and applications. Comput. Math. Appl. 2012, 63: 1319–1334. 10.1016/j.camwa.2012.01.018
11. Eshaghi Gordji, M, Ramezani, M: N-Fixed point theorems in partially ordered metric spaces. PreprintGoogle Scholar
12. Roldán A, Martínez-Moreno 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
13. Roldán A, Martínez-Moreno J, Roldán C, Karapınar E:Multidimensional fixed point theorems in partially ordered complete partial metric spaces under$\left(\psi ,\phi \right)$-contractivity conditions. Abstr. Appl. Anal. 2013., 2013: Article ID 634371Google Scholar
14. Karapınar E, Roldán A, Martínez-Moreno J, Roldán C: Meir-Keeler type multidimensional fixed point theorems in partially ordered metric spaces. Abstr. Appl. Anal. 2013., 2013: Article ID 406026Google Scholar
15. Aydi H, Karapınar E, Mustafa Z: Some tripled coincidence point theorems for almost generalized contractions in ordered metric spaces. Tamkang J. Math. 2013, 44(3):233–251.
16. Karapınar E, Shatanawi W, Mustafa Z: Quadruple fixed point theorems under nonlinear contractive conditions in partially ordered metric spaces. J. Appl. Math. 2012., 2012: Article ID 951912Google Scholar
17. Mustafa Z, Aydi H, Karapınar E: Mixed g -monotone property and quadruple fixed point theorems in partially ordered metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 71Google Scholar
18. Roldán, A, Martínez-Moreno, J, Roldán, C, Karapınar, E: Some remarks on multidimensional fixed point theorems. Fixed Point Theory (in press)Google Scholar

Copyright

© Karapınar et al.; licensee Springer. 2013

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Advertisement