Abstract
The aim of this paper is to prove a more generalized contraction mapping principle. By using this more generalized contraction mapping principle, a further generalized best proximity theorem was established. Some concrete results have been derived by using the above two theorems. The results of this paper improve many important results published recently in the literature.
Similar content being viewed by others
1 Introduction
The Banach contraction mapping principle is a classical and powerful tool in nonlinear analysis. Weak contractions are generalizations of Banach contraction mapping which have been studied by several authors, and in particular some types of weak contractions in complete metric spaces were introduced in [1]. Let T be a self-map of a metric space \((X, d)\) and \(\phi: [0,+\infty)\rightarrow [0,+\infty)\) be a function. We say that T is a ϕ-contraction if
In 1968, Browder [2] proved that if ϕ is nondecreasing and right continuous, and \((X,d)\) is complete, then T has a unique fixed point \(x^{*}\) and \(\lim_{n\rightarrow+\infty}T^{n}x_{0}=x^{*}\) for any given \(x_{0} \in X\). Subsequently, his result was extended in 1969 by Boyd and Wong [3] by weakening the hypothesis on ϕ where it suffices to assume that ϕ is right upper semi-continuous (not necessarily monotonic). For a comprehensive study of relations between several contractive conditions, see [4, 5].
In 1973, Geraghty [6] introduced the Geraghty-contraction and obtained the fixed point theorem.
Definition 1.1
Let \((X, d)\) be a metric space. A mapping \(T : X \rightarrow X\) is said to be a Geraghty-contraction if there exists \(\beta\in{ \varGamma }\) such that for any \(x, y \in X\),
where the class Γ denotes those functions \(\beta: [0,+\infty)\rightarrow[0,+\infty)\) satisfying the following condition: \(\beta(t_{n})\rightarrow1 \Rightarrow t_{n}\rightarrow0\).
Theorem 1.2
([6])
Let \((X, d)\) be a complete metric space and \(T : X \rightarrow X\) be a Geraghty-contraction. Then T has a unique fixed point \(x^{*}\) and for any given \(x_{0} \in X\), the iterative sequence \(T^{n}x_{0}\) converges to \(x^{*}\).
In 2012, Samet et al. [7] defined the notion of α-admissible mappings as follows.
Definition 1.3
([7])
Let \(\alpha: X\times X\rightarrow[0,+\infty)\) be a function. We say that a self-mapping \(T:X\rightarrow X\) is α-admissible if
By using this concept, they proved some fixed point results.
Theorem 1.4
([7])
Let \((X, d)\) be a complete metric space and \(T : X \rightarrow X \) be an α-admissible mapping. Assume that the following conditions hold:
-
(i)
for all \(x, y \in X\), we have
$$\alpha(x,y)d(Tx,Ty)\leq \psi(x,y), $$where \(\psi:[0,+\infty)\rightarrow[0,+\infty)\) is a nondecreasing function such that
$$\sum_{n=1}^{+\infty}\psi^{n}(t)< + \infty,\quad \forall t>0; $$ -
(ii)
there exists \(x_{0} \in X\) such that \(\alpha(x_{0},Tx_{0})\geq1\);
-
(iii)
either T is continuous or for any sequence \(\{x_{n}\}\) in X with \(\alpha(x_{n},x_{n+1})\geq1\) for all \(n\geq0\) and \(x_{n}\rightarrow x\) as \(n\rightarrow+\infty\), then \(\alpha(x_{n},x)\geq1\).
Then T has a fixed point.
In particular, existence of a fixed point for weak contractions and generalized contractions was extended to partially ordered metric spaces in [1, 8–19]. Among them, some involve altering distance functions. Such functions were introduced by Khan et al. in [20], where they presented some fixed point theorems with the help of such functions. We recall the definition of altering distance function.
Definition 1.5
An altering distance function is a function \(\psi:[0,\infty)\rightarrow[0,\infty)\) which satisfies
-
(a)
ψ is continuous and nondecreasing;
-
(b)
\(\psi=0\) if and only if \(t=0\).
Recently, Harjani and Sadarangani proved some fixed point theorems for weak contraction and generalized contractions in partially ordered metric spaces by using the altering distance function in [11, 19] respectively. Their results improve the theorems of [8].
Theorem 1.6
([11])
Let \((X,\leq)\) be a partially ordered set and suppose that there exists a metric \(d\in X\) such that \((X,d)\) is a complete metric space. Let \(f:X\rightarrow X\) be a continuous and nondecreasing mapping such that
where \(\psi:[0,\infty)\rightarrow[0,\infty)\) is a continuous and nondecreasing function such that ψ is positive in \((0,\infty)\), \(\psi(0)=0\) and \(\lim_{t\rightarrow \infty}\psi(t)=\infty\). If there exists \(x_{0}\in X\) with \(x_{0}\leq f(x_{0})\), then f has a fixed point.
Theorem 1.7
([19])
Let \((X,\leq)\) be a partially ordered set and suppose that there exists a metric \(d\in X\) such that \((X,d)\) is a complete metric space. Let \(f:X\rightarrow X\) be a continuous and nondecreasing mapping such that
where ψ and ϕ are altering distance functions. If there exists \(x_{0}\in X\) with \(x_{0}\leq f(x_{0})\), then f has a fixed point.
Subsequently, Amini-Harandi and Emami proved another fixed point theorem for contraction type maps in partially ordered metric spaces in [10]. The following class of functions is used in [10].
Theorem 1.8
([10])
Let \((X,\leq)\) be a partially ordered set and suppose that there exists a metric d such that \((X,d)\) is a complete metric space. Let \(f:X\rightarrow X\) be an increasing mapping such that there exists an element \(x_{0}\in X\) with \(x_{0}\leq f(x_{0})\). Suppose that there exists \(\beta \in{ \varGamma } \) such that
Assume that either f is continuous or X is such that if an increasing sequence \({x_{n}}\rightarrow x \in X\), then \(x_{n}\leq x\), ∀n. Besides, if for each \(x,y\in X\) there exists \(z\in X\) which is comparable to x and y, then f has a unique fixed point.
In 2012, Yan et al. proved the following result.
Theorem 1.9
([1])
Let X be a partially ordered set and suppose that there exists a metric d in x such that \((X,d)\) is a complete metric space. Let \(T:X\rightarrow X\) be a continuous and nondecreasing mapping such that
where ψ is an altering distance function and \(\phi:[0,\infty)\rightarrow[0,\infty)\) is a continuous function with the condition \(\psi(t)>\phi(t)\) for all \(t>0\). If there exists \(x_{0}\in X\) such that \(x_{0}\leq Tx_{0}\), then T has a fixed point.
Several problems can be changed as equations of the form \(Tx = x\), where T is a given self-mapping defined on a subset of a metric space, a normed linear space, a topological vector space or some suitable space. However, if T is a non-self mapping from A to B, then the aforementioned equation does not necessarily admit a solution. In this case, it is worth consideration to find an approximate solution x in A such that the error \(d(x, Tx)\) is minimum, where d is the distance function. In view of the fact that \(d(x, Tx)\) is at least \(d(A,B)\), a best proximity point theorem (for short BPPT) guarantees the global minimization of \(d(x, Tx)\) by the requirement that an approximate solution x satisfies the condition \(d(x, Tx) = d(A,B)\). Such optimal approximate solutions are called best proximity points of the mapping T. Interestingly, best proximity point theorems also serve as a natural generalization of fixed point theorems since a best proximity point becomes a fixed point if the mapping under consideration is a self mapping. Research on the best proximity point is an important topic in the nonlinear functional analysis and applications (see [21–34]).
Let A, B be two nonempty subsets of a complete metric space and consider a mapping \(T:A\rightarrow B\). The best proximity point problem is whether we can find an element \(x_{0}\in A\) such that \(d(x_{0},Tx_{0})=\min\{d(x,Tx): x\in A\}\). Since \(d(x,Tx)\geq d(A,B)\) for any \(x\in A\), in fact, the optimal solution to this problem is the one for which the value \(d(A,B)\) is attained.
Let A, B be two nonempty subsets of a metric space \((X,d)\). We denote by \(A_{0}\) and \(B_{0}\) the following sets:
where \(d(A,B)=\inf\{d(x,y): x\in A \mbox{ and } y\in B \}\).
It is interesting to note that \(A_{0}\) and \(B_{0}\) are contained in the boundaries of A and B respectively provided A and B are closed subsets of a normed linear space such that \(d(A, B)>0\) [28, 29].
Definition 1.10
([33])
Let \((A,B)\) be a pair of nonempty subsets of a metric space \((X,d)\) with \(A_{0}\neq \emptyset\). Then the pair \((A,B)\) is said to have the P-property if and only if for any \(x_{1},x_{2}\in A_{0}\) and \(y_{1},y_{2}\in B_{0}\),
In [14], the authors proved that any pair \((A,B)\) of nonempty closed convex subsets of a real Hilbert space H satisfies the P-property.
In [28], P-property was weakened to weak P-property and an example satisfying P-property but not weak P-property can be found there.
Definition 1.11
([28])
Let \((A,B)\) be a pair of nonempty subsets of a metric space \((X,d)\) with \(A_{0}\neq \emptyset\). Then the pair \((A,B)\) is said to have the weak P-property if and only if for any \(x_{1},x_{2}\in A_{0}\) and \(y_{1},y_{2}\in B_{0}\),
Example
([28])
Consider \((R^{2},d)\), where d is the Euclidean distance and the subsets \(A=\{(0,0)\}\) and \(B=\{y=1+\sqrt{1-x^{2}} \}\).
Obviously, \(A_{0}=\{(0,0)\}\), \(B_{0}=\{(-1,1),(1,1) \}\) and \(d(A,B)=\sqrt{2}\). Furthermore,
however,
We can see that the pair \((A,B)\) satisfies the weak P-property but not the P-property.
Definition 1.12
([34])
Let \((A,B)\) be a pair of nonempty closed subsets of a complete metric space \((X,d)\). A mapping \(f: A\rightarrow B\) is said to be weakly contractive provided that
for all \(x,y\in A\), where the function \(\bar{\alpha}: X\times X\rightarrow[0,1)\) holds, for every \(0< a< b\), that
Theorem 1.13
([34])
Let \((A,B)\) be a pair of nonempty closed subsets of a complete metric space \((X,d)\) such that \(A_{0}\neq\emptyset\). Let \(T: A\rightarrow B\) be a weakly contractive mapping defined as in Definition 1.12. Suppose that \(T(A_{0})\subseteq B_{0}\) and the pair \((A,B)\) has the weak P-property. Then T has a unique best proximity point \(x^{*}\in A_{0}\) and the iteration sequence \(\{x_{2k} \}_{n=0}^{\infty}\) defined by
converges, for every \(x_{0}\in A_{0}\), to \(x^{*}\).
The aim of this paper is to prove a further generalized contraction mapping principle. By using this further generalized contraction mapping principle, the authors prove a further generalized best proximity theorem. Some concrete results are derived by using the above two theorems. The results of this paper modify and improve many other important recent results.
2 Further generalized contraction mapping principle
In what follows, we prove the following theorem which generalizes many related results in the literature.
Theorem 2.1
Let \((X,d)\) be a complete metric space. Let \(T:X\rightarrow X\) be a mapping such that
where \(\psi, \phi: [0, +\infty) \rightarrow[0, +\infty)\) are two functions with the conditions:
Then T has a unique fixed point and for any given \(x_{0} \in X\), the iterative sequence \(T^{n}x_{0}\) converges to this fixed point.
Proof
For any given \(x_{0} \in X\), we define an iterative sequence as follows:
Then, for each integer \(n\geq1\), from (2.1) and (2.2) we get
Using condition (1) we have
for all \(n\geq1\). Hence the sequence \({d(x_{n+1},x_{n})} \) is nonincreasing and, consequently, there exists \(r\geq0\) such that
as \(n\rightarrow\infty\). By using condition (2) we know \(r=0\).
In what follows, we show that \(\{x_{n}\} \) is a Cauchy sequence. Suppose that \(\{x_{n}\}\) is not a Cauchy sequence. Then there exists \(\varepsilon>0\) for which we can find subsequences \(\{x_{n_{k}}\}\), \(\{ x_{m_{k}}\}\) with \(n_{k}> m_{k}>k\) such that
for all \(k\geq1\). Further, corresponding to \(m_{k}\) we can choose \(n_{k}\) in such a way that it is the smallest integer with \(n_{k}>m_{k}\) satisfying (2.4). Then
Letting \(k\rightarrow\infty\), we get
By using the triangular inequality, we have
Letting \(k\rightarrow\infty\) in the above two inequalities and applying (2.6), we have
Since
By using condition (2) we know \(\varepsilon=0\), which is a contradiction. This shows that \(\{x_{n}\}\) is a Cauchy sequence and, since X is a complete metric space, there exists \(z\in X\) such that \(x_{n}\rightarrow z\) as \(n\rightarrow\infty\). From (2.1) and (2.2) we have
By using condition (1) we get
so that \(d(x_{n},Tz)\rightarrow0\), as \(n\rightarrow+\infty\). Therefore
as \(n\rightarrow+\infty\). This implies \(z=Tz\) and proves that z is a fixed point. Next we prove the uniqueness of the fixed point. Assume that there exist two fixed points z and w. Then from (2.1) we have that
by using condition (2) we know \(d(z,w)=0\) and hence \(z=w\). This completes the proof. □
Example 2.2
The following functions satisfy conditions (1) and (2) of Theorem 2.1:
where \(0<\alpha<1\) is a constant;
where \(0<\beta< \alpha\) are constants.
If we choose \(\psi_{5}(t)\), \(\phi_{5}(t)\) in Theorem 2.1, then we can get the following result.
Theorem 2.3
Let \((X,d)\) be a complete metric space. Let \(T:X\rightarrow X\) be a mapping such that
for any \(x,y \in X\). Then T has a unique fixed point and for any given \(x_{0} \in X\), the iterative sequence \(T^{n}x_{0}\) converges to this fixed point.
If we choose \(\psi_{4}(t)\), \(\phi_{4}(t)\) in Theorem 2.1, then we can get the following result.
Theorem 2.4
Let \((X,d)\) be a complete metric space. Let \(T:X\rightarrow X\) be a mapping such that
for any \(x,y \in X\). Then T has a unique fixed point and for any given \(x_{0} \in X\), the iterative sequence \(T^{n}x_{0}\) converges to this fixed point.
If we choose \(\psi_{3}(t)\), \(\phi_{3}(t)\) in Theorem 2.1, then we can get the following result.
Theorem 2.5
Let \((X,d)\) be a complete metric space. Let \(T:X\rightarrow X\) be a mapping such that
for any \(x,y \in X\). Then T has a unique fixed point and for any given \(x_{0} \in X\), the iterative sequence \(T^{n}x_{0}\) converges to this fixed point.
It is easy to prove the following conclusion and corollary.
Corollary 2.6
Let \(\psi, \phi: [0, +\infty) \rightarrow[0, +\infty)\) be two functions with the conditions:
-
(i)
\(\psi(0)=\phi(0)\);
-
(ii)
\(\psi(t)>\phi(t)\), \(\forall t>0\);
-
(iii)
ψ is lower semi-continuous, ϕ is upper semi-continuous.
Then \(\psi(t)\), \(\phi(t)\) satisfy conditions (1) and (2).
Corollary 2.7
Let \((X,d)\) be a complete metric space. Let \(T:X\rightarrow X\) be a mapping such that
where \(\psi, \phi: [0, +\infty) \rightarrow[0, +\infty)\) are two functions with the conditions (i), (ii) and (iii). Then T has a unique fixed point, and for any given \(x_{0} \in X\), the iterative sequence \(T^{n}x_{0}\) converges to this fixed point.
3 Further generalized best proximity point theorems
Before giving our main results, we first introduce the notion of \((\varphi,\psi)\)-P-property.
Definition 3.1
Let \((A,B)\) be a pair of nonempty subsets of a metric space \((X,d)\) with \(A_{0}\neq\emptyset\). Then the pair \((A,B)\) is said to have the \((\psi,\varphi)\)-P-property if and only if for any \(x_{1},x_{2}\in A_{0}\) and \(y_{1},y_{2}\in B_{0}\),
where \(\psi, \varphi: [0, +\infty) \rightarrow[0, +\infty)\) are two functions.
Theorem 3.2
Let \((A,B)\) be a pair of nonempty closed subsets of a complete metric space \((X,d)\) such that \(A_{0}\neq\emptyset\). Let \(\psi, \varphi, \phi: [0, +\infty) \rightarrow[0, +\infty)\) be three functions with the conditions:
Let \(T: A\rightarrow B\) be a mapping such that
Suppose that the pair \((A,B)\) has the \((\psi,\varphi)\)-P-property and \(T(A_{0})\subseteq B_{0}\). Then there exists a unique \(x^{*}\) in A such that \(d(x^{*},Tx^{*})=d(A,B)\).
Proof
We first prove that \(B_{0}\) is closed. Let \(\{y_{n}\} \subseteq B_{0}\) be a sequence such that \(y_{n} \rightarrow q \in B\). It follows from the \((\psi,\varphi)\)-P-property that
as \(n,m\rightarrow\infty\), where \(x_{n}, x_{m} \in A_{0}\) and \(d(x_{n},y_{n})=d(A,B)\), \(d(x_{m},y_{m})=d(A,B)\). This together with conditions (3) and (4) implies that \(\{x_{n}\}\) is a Cauchy sequence so that \(\{x_{n}\}\) converges strongly to a point \(p \in A\). By the continuity of metric d we have \(d(p,q)=d(A,B)\), that is, \(q \in B_{0}\), and hence \(B_{0}\) is closed.
Let \(\overline{A}_{0}\) be the closure of \(A_{0}\). We claim that \(T(\overline{A}_{0})\subseteq B_{0}\). In fact, if \(x \in \overline{A}_{0} \setminus A_{0}\), then there exists a sequence \(\{x_{n}\} \subseteq A_{0}\) such that \(x_{n}\rightarrow x\). From (3.1) and condition (5) we have
This together with the closedness of \(B_{0}\) implies that \(Tx=\lim_{n\rightarrow\infty}Tx_{n} \in B_{0}\). That is, \(T(\overline{A}_{0}) \subseteq B_{0}\).
Define an operator \(P_{A_{0}}: T(\overline{A}_{0})\rightarrow A_{0}\) by \(P_{A_{0}}y=\{x\in A_{0}: d(x,y)=d(A,B)\}\). Since the pair \((A,B)\) has the \((\psi,\varphi)\)-P-property and T satisfies condition (3.1), we have
for any \(x_{1},x_{2} \in\overline{A}_{0}\). This shows that \(P_{A_{0}}T: \overline{A}_{0} \rightarrow\overline{A}_{0}\) is a mapping from a complete metric subspace \(\overline{A}_{0}\) into itself, and it satisfies the conditions of Theorem 2.1. By using Theorem 2.1, we can get that \(P_{A_{0}}T\) has a unique fixed point \(x^{*}\). That is, \(P_{A_{0}}Tx^{*}=x^{*}\in A_{0}\). It implies that
Therefore, \(x^{*}\) is the unique element in \(A_{0}\) such that \(d(x^{*},Tx^{*})=d(A,B)\). It is easy to see that \(x^{*}\) is also the unique one in A such that \(d(x^{*},Tx^{*})=d(A,B)\). □
Theorem 3.3
Let \((A,B)\) be a pair of nonempty closed subsets of a complete metric space \((X,d)\) such that \(A_{0}\neq\emptyset\). Let \(\psi, \phi: [0, +\infty) \rightarrow[0, +\infty)\) be two functions with the conditions:
and \(\psi(t)\) is nondecreasing. Let \(T: A\rightarrow B\) be a mapping such that
Suppose that the pair \((A,B)\) has the weak P-property and \(T(A_{0})\subseteq B_{0}\). Then there exists a unique \(x^{*}\) in A such that \(d(x^{*},Tx^{*})=d(A,B)\).
Proof
Let \(\varphi(t)=\psi(t)\) for all \(t \in [0,+\infty)\). Then the pair \((A,B)\) having the weak P-property implies that the pair \((A,B)\) has the \((\psi,\varphi)\)-P-property. Condition (3) of Theorem 3.3 implies conditions (3), (4) of Theorem 3.2 and (3.2) implies (3.1). By using Theorem 3.2 we get the conclusion of Theorem 3.3. □
If we choose \(\psi_{3}(t)\), \(\phi_{3}(t)\) in Theorem 3.3, then we can get the following result.
Theorem 3.4
Let \((A,B)\) be a pair of nonempty closed subsets of a complete metric space \((X,d)\) such that \(A_{0}\neq\emptyset\). Let \(T:A\rightarrow B\) be a mapping such that
for any \(x,y \in A\). Suppose that the pair \((A,B)\) has the weak P-property and \(T(A_{0})\subseteq B_{0}\). Then there exists a unique \(x^{*}\) in A such that \(d(x^{*},Tx^{*})=d(A,B)\).
If we choose \(\psi_{4}(t)\), \(\phi_{4}(t)\) in Theorem 3.3, then we can get the following result.
Theorem 3.5
Let \((A,B)\) be a pair of nonempty closed subsets of a complete metric space \((X,d)\) such that \(A_{0}\neq\emptyset\). Let \(T:A\rightarrow B\) be a mapping such that
for any \(x,y \in X\). Suppose that the pair \((A,B)\) has the weak P-property and \(T(A_{0})\subseteq B_{0}\). Then there exists a unique \(x^{*}\) in A such that \(d(x^{*},Tx^{*})=d(A,B)\).
Example 3.6
Let \(X=R^{2}\) and
It is easy to see that
Let \(T:A\rightarrow B\) be defined by
It is obvious that A, B are closed sets of \(R^{2}\), \(A_{0}\neq\emptyset \), the pair \((A,B)\) has the weak P-property and \(T(A_{0})\subset B_{0}\). On the other hand, from the definition of T, it is not hard to see that
for all \((0,x), (0,y) \in A\). Therefore, by using Theorem 3.5, there exists a unique \(x^{*}=(0,0)\) in A such that \(d(x^{*},Tx^{*})=d(A,B)=1\), where \(Tx^{*}=(1,0)\). Note that the above mapping T is a further generalized contraction, but not a contraction. In fact, for any \((0,-n^{2}), (0,-m^{2})\in A\), \(m>n\), we have
hence
as \(m,n\rightarrow+\infty\).
References
Yan, F, Su, Y, Feng, Q: A new contraction mapping principle in partially ordered metric spaces and applications to ordinary differential equations. Fixed Point Theory Appl. 2012, 152 (2012)
Browder, FE: On the convergence of successive approximations for nonlinear functional equations. Proc. K. Ned. Akad. Wet., Ser. A, Indag. Math. 30, 27-35 (1968)
Boyd, DW, Wong, JSW: On nonlinear contractions. Proc. Am. Math. Soc. 20, 458-464 (1969)
Jachymski, J: Equivalence of some contractivity properties over metrical structures. Proc. Am. Math. Soc. 125, 2327-2335 (1997)
Jachymski, J, Jóźwik, I: Nonlinear contractive conditions: a comparison and related problems. In: Fixed Point Theory and Its Applications. Banach Center Publ., vol. 77, pp. 123-146. Polish Acad. Sci., Warsaw (2007)
Geraghty, M: On contractive mappings. Proc. Am. Math. Soc. 40, 604-608 (1973)
Samet, B, Vetro, C, Vetro, P: Fixed point theorem for α-ψ-contractive type mappings. Nonlinear Anal. 75, 2154-2165 (2012)
Dhutta, P, Choudhury, B: A generalization of contractions in partially ordered metric spaces. Appl. Anal. 87, 109-116 (2008)
Sastry, K, Babu, G: Some fixed point theorems by altering distance between the points. Indian J. Pure Appl. Math. 30, 641-647 (1999)
Amini-Harandi, A, Emami, H: A fixed point theorem for contraction type maps in partially ordered metric spaces and application to ordinary differential equations. Nonlinear Anal. 72, 2238-2242 (2010)
Harjani, J, Sadarangni, K: Fixed point theorems for weakly contraction mappings in partially ordered sets. Nonlinear Anal. 71, 3403-3410 (2009)
Burgic, D, Kalabusic, S, Kulenovic, M: Global attractivity results for mixed monotone mappings in partially ordered complete metric spaces. Fixed Point Theory Appl. 2009, Article ID 762478 (2009)
Ciric, L, Cakid, N, Rajovic, M, Uma, J: Monotone generalized nonlinear contractions in partially ordered metric spaces. Fixed Point Theory Appl. 2008, Article ID 131294 (2008)
Gnana Bhaskar, T, Lakshmikantham, V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 65, 1379-1393 (2006)
Lakshmikantham, V, Ciric, L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 70, 4341-4349 (2009)
Nieto, JJ, Rodriguez-López, R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 22, 223-239 (2005)
Nieto, JJ, Rodriguez-López, R: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math. Sin. 23, 2205-2212 (2007)
O’Regan, D, Petrusel, A: Fixed point theorems for generalized contractions in ordered metric spaces. J. Math. Anal. Appl. 341, 1241-1252 (2008)
Harjani, J, Sadarangni, K: Generalized contractions in partially ordered metric spaces and applications to ordinary differential equations. Nonlinear Anal. 72, 1188-1197 (2010)
Khan, MS, Swaleh, M, Sessa, S: Fixed point theorems by altering distances between the points. Bull. Aust. Math. Soc. 30(1), 1-9 (1984)
Sadiq Basha, S: Best proximity point theorems generalizing the contraction principle. Nonlinear Anal. 74, 5844-5850 (2011)
Mongkolkeha, C, Cho, YJ, Kumam, P: Best proximity points for Geraghty’s proximal contraction mappings. Fixed Point Theory Appl. 2013, 180 (2013)
Dugundji, J, Granas, A: Weakly contractive mappings and elementary domain invariance theorem. Bull. Greek Math. Soc. 19, 141-151 (1978)
Alghamdi, MA, Alghamdi, MA, Shahzad, S: Best proximity point results in geodesic metric spaces. Fixed Point Theory Appl. 2013, 164 (2013)
Nashine, HK, Kumam, P, Vetro, C: Best proximity point theorems for rational proximal contractions. Fixed Point Theory Appl. 2013, 95 (2013)
Karapinar, E: On best proximity point of ψ-Geraghty contractions. Fixed Point Theory Appl. 2013, 200 (2013)
Zhang, J, Su, Y, Cheng, Q: Best proximity point theorems for generalized contractions in partially ordered metric spaces. Fixed Point Theory Appl. 2013, 83 (2013)
Zhang, J, Su, Y, Cheng, Q: A note on ‘A best proximity point theorem for Geraghty-contractions’. Fixed Point Theory Appl. 2013, 99 (2013)
Zhang, J, Su, Y: Best proximity point theorems for weakly contractive mapping and weakly Kannan mapping in partial metric spaces. Fixed Point Theory Appl. 2014, 50 (2014)
Amini-Harandi, A, Hussain, N, Akbar, F: Best proximity point results for generalized contractions in metric spaces. Fixed Point Theory Appl. 2013, 164 (2013)
Kannan, R: Some results on fixed points. Bull. Calcutta Math. Soc. 60, 71-76 (1968)
Caballero, J, Harjani, J, Sadarangani, K: A best proximity point theorem for Geraghty-contractions. Fixed Point Theory Appl. (2012). doi:10.1186/1687-1812-2012-231
Kirk, WA, Reich, S, Veeramani, P: Proximinal retracts and best proximity pair theorems. Numer. Funct. Anal. Optim. 24, 851-862 (2003)
Sun, Y, Su, Y, Zhang, J: A new method for the research of best proximity point theorems of nonlinear mappings. Fixed Point Theory Appl. 2014, 116 (2014)
Acknowledgements
The second author was partially supported by the grant MOST 103-2923-E-037-001-MY3.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
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
Su, Y., Yao, JC. Further generalized contraction mapping principle and best proximity theorem in metric spaces. Fixed Point Theory Appl 2015, 120 (2015). https://doi.org/10.1186/s13663-015-0373-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0373-7