Abstract
In this article the concept of coupled best proximity point and cyclic contraction pair are introduced and then we study the existence and convergence of these points in metric spaces. We also establish new results on the existence and convergence in a uniformly convex Banach spaces. Furthermore, we give new results of coupled fixed points in metric spaces and give some illustrative examples. An open problems are also given at the end for further investigation.
1 Introduction
The Banach contraction principle [1] states that if (X, d) is a complete metric space and T : X → X is a contraction mapping (i.e., d(Tx, Ty) ≤ αd(x, y) for all x, y ∈ X, where α is a nonnegative number such that α < 1), then T has a unique fixed point. This principle has been generalized in many ways over the years [215].
One of the most interesting is the study of the extension of Banach contraction principle to the case of nonself mappings. In fact, given nonempty closed subsets A and B of a complete metric space (X, d), a contraction nonselfmapping T : A → B does not necessarily has a fixed point.
Eventually, it is quite natural to find an element x such that d(x, Tx) is minimum for a given problem which implies that x and Tx are in close proximity to each other.
A point x in A for which d(x, Tx) = d(A, B) is call a best proximity point of T . Whenever a nonselfmapping T has no fixed point, a best proximity point represent an optimal approximate solution to the equation Tx = x. Since a best proximity point reduces to a fixed point if the underlying mapping is assumed to be selfmappings, the best proximity point theorems are natural generalizations of the Banach contraction principle.
In 1969, Fan [16] introduced and established a classical best approximation theorem, that is, if A is a nonempty compact convex subset of a Hausdorff locally convex topological vector space B and T : A → B is a continuous mapping, then there exists an element x ∈ A such that d(x, Tx) = d(Tx, A). Afterward, many authors have derived extensions of Fan's Theorem and the best approximation theorem in many directions such as Prolla [17], Reich [18], Sehgal and Singh [19,20], Wlodarczyk and Plebaniak [2124], Vetrivel et al. [25], Eldred and Veeramani [26], Mongkolkeha and Kumam [27] and Sadiq Basha and Veeramani [2831].
On the other hand, Bhaskar and Lakshmikantham [32] introduced the notions of a mixed monotone mapping and proved some coupled fixed point theorems for mappings satisfying the mixed monotone property. They have observation that their theorem can be used to investigate a large class of problems and discussed the existence and uniqueness of a solution for a periodic boundary value problem. For several improvements and generalizations see in [3336] and reference therein.
The purpose of this article is to first introduce the notion of coupled best proximity point and cyclic contraction pair. We also establish the existence and convergence theorem of coupled best proximity points in metric spaces. Moreover, we apply this results in uniformly convex Banach space. We also study some results on the existence and convergence of coupled fixed point in metric spaces and give illustrative examples of our theorems. An open problem are also given at the end for further investigations.
2 Preliminaries
In this section, we give some basic definitions and concepts related to the main results of this article. Throughout this article we denote by ℕ the set of all positive integers and by ℝ the set of all real numbers. For nonempty subsets A and B of a metric space (X, d), we let
stands for the distance between A and B.
A Banach space X is said to be
(1) strictly convex if the following implication holds for all x, y ∈ X:
(2) uniformly convex if for each ε with 0 < ε ≤ 2, there exists δ > 0 such that the following implication holds for all x, y ∈ X:
It easily to see that a uniformly convex Banach space X is strictly convex but the converse is not true.
Definition 2.1. [37] Let A and B be nonempty subsets of a metric space (X, d). The ordered pair (A, B) satisfies the property UC if the following holds:
If {x_{n}} and {z_{n}} are sequences in A and {y_{n}} is a sequence in B such that d(x_{n}, y_{n}) → d(A, B) and d(z_{n}, y_{n}) → d(A, B), then d(x_{n}, z_{n}) → 0.
Example 2.2. [37]The following are examples of a pair of nonempty subsets (A, B) satisfying the property UC.
(1) Every pair of nonempty subsets A, B of a metric space (X, d) such that d(A, B) = 0.
(2) Every pair of nonempty subsets A, B of a uniformly convex Banach space X such that A is convex.
(3) Every pair of nonempty subsets A, B of a strictly convex Banach space which A is convex and relatively compact and the closure of B is weakly compact.
Definition 2.3. Let A and B be nonempty subsets of a metric space (X, d) and T : A → B be a mapping. A point x ∈ A is said to be a best proximity point of T if it satisfies the condition that
It can be observed that a best proximity point reduces to a fixed point if the underlying mapping is a selfmapping.
Definition 2.4. [32] Let A be a nonempty subset of a metric space X and F : A X A → A. A point (x, x') ∈ A × A is called a coupled fixed point of F if
3 Coupled best proximity point theorem
In this section, we study the existence and convergence of coupled best proximity points for cyclic contraction pairs. We begin by introducing the notion of property UC* and a coupled best proximity point.
Definition 3.1. Let A and B be nonempty subsets of a metric space (X, d). The ordered pair (A, B) satisfies the property UC* if (A, B) has property UC and the following condition holds:
If {x_{n}} and {z_{n}} are sequences in A and {y_{n}} is a sequence in B satisfying:
(1) d(z_{n}, y_{n}) → d(A, B).
(2) For every ε > 0 there exists N ∈ ℕ such that
for all m > n ≥ N,
then, for every ε > 0 there exists N_{1 }∈ ℕ such that
for all m > n ≥ N_{1}.
Example 3.2. The following are examples of a pair of nonempty subsets (A, B) satisfying the property UC*.
(1) Every pair of nonempty subsets A, B of a metric space (X, d) such that d(A, B) = 0.
(2) Every pair of nonempty closed subsets A, B of a uniformly convex Banach space X such that A is convex [[38], Lemma 3.7].
Definition 3.3. Let A and B be nonempty subsets of a metric space X and F : A × A → B. A point (x, x') ∈ A × A is called a coupled best proximity point of F if
It is easy to see that if A = B in Definition 3.3, then a coupled best proximity point reduces to a coupled fixed point.
Next, we introduce the notion of a cyclic contraction for a pair of two binary mappings.
Definition 3.4. Let A and B be nonempty subsets of a metric space X, F : A × A → B and G : B × B → A. The ordered pair (F, G) is said to be a cyclic contraction if there exists a nonnegative number α < 1 such that
for all (x, x') ∈ A × A and (y, y') ∈ B × B.
Note that if (F, G) is a cyclic contraction, then (G, F ) is also a cyclic contraction.
Example 3.5. Let X = ℝ with the usual metric d(x, y) = x  y and let A = [2,4] and B = [4, 2]. It easy to see that d(A, B) = 4. Define F : A × A → B and G : B × B → A by
and
For arbitrary (x, x') ∈ A × A and (y, y') ∈ B × B and fixed
This implies that (F, G) is a cyclic contraction with
Example 3.6. Let X = ℝ^{2 }with the metric d((x, y), (x', y')) = max{x  x', y  y'} and let A = {(x, 0): 0 ≤ x ≤ 1} and B = {(x, 1): 0 ≤ x ≤ 1}. It easy to prove that d(A, B) = 1. Define F : A × A → B and G : B × B → A by
and
We obtain that
Also for all α > 0, we get
This implies that (F, G) is cyclic contraction.
The following lemma plays an important role in our main results.
Lemma 3.7. Let A and B be nonempty subsets of a metric space X, F : A × A → B, G : B × B → A and (F, G) be a cyclic contraction. If
and
for all n ∈ ℕ ∪ {0}, then
Proof. For each n ∈ ℕ ∪ {0}, we have
By induction, we see that
Taking n → ∞, we obtain
For each n ∈ ℕ ∪ {0}, we have
By induction, we see that
Setting n → ∞, we obtain
By similar argument, we also have
Lemma 3.8. Let A and B be nonempty subsets of a metric space X such that (A, B) and (B, A) have a property UC, F : A × A → B, G : B × B → A and let the ordered pair (F, G) is a cyclic contraction. If
and
for all n ∈ ℕ ∪ {0}, then for ε > 0, there exists a positive integer N_{0 }such that for all m > n ≥ N_{0},
Proof. By Lemma 3.7, we have d(x_{2n}, x_{2n+1}) → d(A, B) and d(x_{2n+1}, x_{2n+2}) → d(A, B). Since (A, B) has a property UC, we get d(x_{2n}, x_{2n+2}) → 0. A similar argument shows that
and
Therefore, we get
Letting k → ∞, we obtain to see that
By using the triangle inequality we get
Taking k → ∞, we get
which contradicts. Therefore, we can conclude that (3.3) holds. □
Lemma 3.9. Let A and B be nonempty subsets of a metric space X, (A, B) and (B, A) satisfy the property UC*. Let F : A × A → B, G : B × B → A and (F, G) be a cyclic contraction. If
and
for all n ∈ ℕ ∪ {0}, then {x_{2n}},
Proof. By Lemma 3.7, we have d(x_{2n}, x_{2n+1}) → d(A, B) and d(x_{2n+1}, x_{2n+2}) → d(A, B). Since (A, B) has a property UC*, we get d(x_{2n}, x_{2n+2}) → 0. As (B, A) has a property UC*, we also have d(x_{2n+1}, x_{2n+3}) → 0.
We now show that for every ε > 0 there exists N such that
for all m > n ≥ N.
Suppose (3.5) not, then there exists ε > 0 such that for all k ∈ ℕ there exists m_{k }> n_{k }≥ k such that
Now we have
Taking k → ∞, we have
By Lemma 3.8, there exists N ∈ ℕ such that
for all m > n ≥ N. By using the triangle inequality we get
Taking k → ∞, we get
which contradicts. Therefore, condition (3.5) holds. Since (3.5) holds and d(x_{2n}, x_{2n+1}) → d(A, B), by using property UC* of (A, B), we have {x_{2n}} is a Cauchy sequence. In similar way, we can prove that
Here we state the main results of this article on the existence and convergence of coupled best proximity points for cyclic contraction pairs on nonempty subsets of metric spaces satisfying the property UC*.
Theorem 3.10. Let A and B be nonempty closed subsets of a complete metric space X such that (A, B) and (B, A) satisfy the property UC*. Let F : A × A → B, G : B × B → A and (F, G) be a cyclic contraction. Let
and
for all n ∈ ℕ ∪ {0}. Then F has a coupled best proximity point (p, q) ∈ A × A and G has a coupled best proximity point (p', q') ∈ B × B such that
Moreover, we have x_{2n}→ p,
Proof. By Lemma 3.7, we get d(x_{2n}, x_{2n+1}) → d(A, B). Using Lemma 3.9, we have {x_{2n}} and
Letting n → ∞ in (3.8), we have d(p, x_{2n1}) → d(A, B). By a similar argument we also have
Taking n → ∞, we get d(p, F (p, q)) = d(A, B). Similarly, we can prove that d(q, F (q, p)) = d(A, B). Therefore, we have (p, q) is a coupled best proximity point of F.
In similar way, we can prove that there exists p', q' ∈ B such that x_{2n+1 }→ p' and
Finally, we show that d(p, p') + d(q, q') = 2d(A, B). For n ∈ ℕ ∪ {0}, we have
Letting n → ∞, we have
For n ∈ ℕ ∪ {0}, we have
Letting n → ∞, we have
It follows from (3.9) and (3.10) that
which implies that
Since d(A, B) ≤ d(p, p') and d(A, B) ≤ d(q, q'), we have
From (3.11) and (3.12), we get
This complete the proof. □
Note that every pair of nonempty closed subsets A, B of a uniformly convex Banach space X such that A is convex satisfies the property UC*. Therefore, we obtain the following corollary.
Corollary 3.11. Let A and B be nonempty closed convex subsets of a uniformly convex Banach space X,
F : A × A → B, G : B × B → A and (F, G) be a cyclic contraction. Let
and
for all n ∈ ℕ ∪ {0}. Then F has a coupled best proximity point (p, q) ∈ A × A and G has a coupled best proximity point (p', q') ∈ B × B such that
Moreover, we have x_{2n}→ p,
Next, we give some illustrative example of Corollary 3.11.
Example 3.12. Consider uniformly convex Banach space X = ℝ with the usual norm. Let A = [1,2] and B = [2, 1]. Thus d(A, B) = 2. Define F : A × A → B and G : B × B → A by
and
For arbitrary (x, x') ∈ A × A and (y, y') ∈ B × B and fixed
This implies that (F, G) is a cyclic contraction with
Theorem 3.13. Let A and B be nonempty compact subsets of a metric space X, F : A×A → B, G : B × B → A and (F, G) be a cyclic contraction pair. If
and
for all n ∈ ℕ ∪ {0}, then F has a coupled best proximity point (p, q) ∈ A × A and G has a coupled best proximity point (p', q') ∈ B × B such that
Proof. Since x_{0},
and
for all n ∈ ℕ ∪ {0}, we have x_{2n},
Now, we have
By Lemma 3.7, we have
Taking k → ∞, we get d(p, F (p, q)) = d(A, B). Similarly, we can prove that d(q, F(q, p)) = d(A, B). Thus F has a coupled best proximity (p, q) ∈ A × A. In similar way, since B is compact, we can also prove that G has a coupled best proximity point in (p', q') ∈ B × B. For d(p, p') + d(q, q') = 2d(A, B) similar to the final step of the proof of Theorem 3.10. This complete the proof. □
4 Coupled fixed point theorem
In this section, we give the new coupled fixed point theorem for a cyclic contraction pair.
Theorem 4.1. Let A and B be nonempty closed subsets of a complete metric space X, F : A × A → B, G : B × B → A and (F, G) be a cyclic contraction. Let
and
for all n ∈ ℕ ∪ {0}. If d(A, B) = 0, then F and G have a unique common coupled fixed point (p, q) ∈ A ∩ B × A ∩ B. Moreover, we have x_{2n}→ p,
Proof. Since d(A, B) = 0, we get (A, B) and (B, A) have the property UC*. Therefore, by Theorem 3.10 claim that F has a coupled best proximity point (p, q) ∈ A × A that is
and G has a coupled best proximity point (p', q') ∈ B × B that is
Moreover, we have
From (4.1) and d(A, B) = 0, we conclude that
that is (p, q) is a coupled fixed point of F . It follows from (4.2) and d(A, B) = 0, we get
that is (p', q') is a coupled fixed point of G. Using (4.3) and the fact that d(A, B) = 0, we have
which implies that p = p' and q = q'. Therefore, we conclude that (p, q) ∈ A ∩ B × A ∩ B is a common coupled fixed point of F and G.
Finally, we show the uniqueness of common coupled fixed point of F and G. Let
and also
It follows from (4.4) and (4.5) that
which implies that
Example 4.2. Consider X = ℝ with the usual metric, A = [1, 0] and B = [0,1] . Define F : A × A → B by
Therefore, all hypothesis of Theorem 4.1 hold. So F and G have a unique common coupled fixed point and this point is (0, 0) ∈ A ∩ B × A ∩ B.
If we take A = B in Theorem 4.1, then we get the following results.
Corollary 4.3. Let A be nonempty closed subsets of a complete metric space X, F : A×A → A and G : A×A → A and let the order pair (F, G) is a cyclic contraction. Let
and
for all n ∈ ℕ ∪ {0}. Then F and G have a unique common coupled fixed point (p, q) ∈ A×A. Moreover, we have x_{2n}→ p,
We take F = G in Corollary 4.3, then we get the following results.
Corollary 4.4. Let A be nonempty closed subsets of a complete metric space X, F : A×A → A and
for all (x, x'), (y, y') ∈ A × A. Then F has a unique coupled fixed point (p, q) ∈ A × A.
Example 4.5. Consider X = ℝ with the usual metric and
We show that F satisfies (4.6) with
Case 1: If x < x' and y < y', then
Case 2: If x < x' and y ≥ y', then
Case 3: If x ≥ x' and y < y'. In this case we can prove by a similar argument as in case 2.
Case 4: If x ≥ x' and y ≥ y', then
Thus condition (4.6) holds with
Open problems:
• In Theorem 3.10, can be replaced the property UC* by a more general condition ?
• In Theorem 3.10, can be drop the property UC* ?
• Can be extend the result in this article to another spaces ?
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
All authors read and approved the final manuscript.
Acknowledgements
The first author would like to thank the Research Professional Development Project Under the Science Achievement Scholarship of Thailand (SAST) for some financial support. Furthermore, the second author was supported by the Commission on Higher Education, the Thailand Research Fund and the King Mongkut's University of Technology Thonburi for financial support during the preparation of this manuscript.
References

Banach, S: Sur les opérations dans les ensembles abstraits et leurs applications auxéquations intégrales. Fund Math. 3, 133–181 (1922)

Arvanitakis, AD: A proof of the generalized Banach contraction conjecture. Proc Am Math Soc. 131(12), 3647–3656 (2003). Publisher Full Text

Boyd, DW, Wong, JSW: On nonlinear contractions. Proc Am Math Soc. 20, 458–464 (1969). Publisher Full Text

Choudhury, BS, Das, KP: A new contraction principle in Menger spaces. Acta Math Sin. 24(8), 1379–1386 (2008). Publisher Full Text

Kaewkhao, A, Sintunavarat, W, Kumam, P: Common fixed point theorems of cdistance on cone metric spaces. J Nonlinear Anal Appl. 2012, 11 (2012) (Article ID jnaa00137), doi:10.5899/2012/jnaa00137

Merryfield, J, Rothschild, B, Stein, JD Jr.: An application of Ramsey's theorem to the Banach contraction principle. Proc Am Math Soc. 130(4), 927–933 (2002). Publisher Full Text

Mongkolkeha, C, Sintunavarat, W, Kumam, P: Fixed point theorems for contraction mappings in modular metric spaces. Fixed Point Theory Appl. 2011, 93 (2011). BioMed Central Full Text

Sintunavarat, W, Kumam, P: Weak condition for generalized multivalued (f, α, β)weak contraction mappings. Appl Math Lett. 24, 460–465 (2011). Publisher Full Text

Sintunavarat, W, Kumam, P: Gregus type fixed points for a tangential multivalued mappings satisfying contractive conditions of integral type. J Inequal Appl. 2011, 3 (2011). BioMed Central Full Text

Sintunavarat, W, Cho, YJ, Kumam, P: Common fixed point theoremsfor cdistance in ordered cone metric spaces. Comput Math Appl. 62, 1969–1978 (2011). Publisher Full Text

Sintunavarat, W, Kumam, P: Common fixed point theorems for a pair of weakly compatible mappings in fuzzy metric spaces. J Appl Math. 2011, 14 (2011) (Article ID 637958)

Sintunavarat, W, Kumam, P: Common fixed point theorems for hybrid generalized multivalued contraction mappings. Appl Math Lett. 25, 52–57 (2012). Publisher Full Text