Common Fixed Point Theorems of the Asymptotic Sequences in Ordered Cone Metric Spaces
Abstract
We introduce the notions of the asymptotic š®ā³š¦-sequence with respect to the stronger Meir-Keeler cone-type mapping ξ : int(P)āŖ{Īø}ā[0,1) and the asymptotic š²ā³š¦-sequence with respect to the weaker Meir-Keeler cone-type mapping Ļ : int(P)āŖ{Īø} ā int(P)āŖ{Īø} and prove some common fixed point theorems for these two asymptotic sequences in cone metric spaces with regular cone P. Our results generalize some recent results.
1. Introduction and Preliminaries
After these three conditions, many papers have been written generalizing some of the conditions (1.1), (1.2), and (1.3). In 1969, Boyd and Wong [4] showed the following fixed point theorem.
Theorem 1.1 (see [4].)Let (X, d) be a complete metric space and f : X ā X a map. Suppose there exists a function Ļ : ā+ ā ā+ satisfying Ļ(0) = 0, Ļ(t) < t for all t > 0 and Ļ is right upper semicontinuous such that
Theorem 1.2 (Meir-Keeler [5]). Let (X, d) be a complete metric space and let f be a Meir-Keeler contraction, that is, for every Ī· > 0, there exists Ī“ > 0 such that d(x, y) < Ī· + Ī“ implies d(fx, fy) < Ī· for all x, y ā X. Then, f has a unique fixed point.
Subsequently, some authors worked on this notion of Meir-Keeler contraction (e.g., [7ā10]).
Huang and Zhang [11] introduced the concept of cone metric space by replacing the set of real numbers by an ordered Banach space, and they showed some fixed point theorems of contractive type mappings on cone metric spaces. The category of cone metric spaces is larger than metric spaces. Subsequently, many authors like Abbas and Jungck [12] have generalized the results of Huang and Zhang [11] and studied the existence of common fixed points of a pair of self-mappings satisfying a contractive type condition in the framework of normal cone metric spaces. However, authors like Rezapour and Hamlbarani [13] studied the existence of common fixed points of a pair of self and nonself mappings satisfying a contractive type condition in the situation in which the cone does not need to be normal. Many authors studied this subject, and many results on fixed point theory are proved (see, e.g., [13ā27]).
Throughout this paper, by ā we denote the set of all real numbers, while ā is the set of all natural numbers, and we initiate our discussion by introducing some preliminaries and notations.
Definition 1.3 (see [11].)Let E be a real Banach space and P a nonempty subset of E. P ā {Īø}, where Īø denotes the zero element of E, is called a cone if and only if
- (i)
P is closed,
- (ii)
a, b ā ā, a, b ā„ 0, x, y ā Pāax + by ā P,
- (iii)
x ā P and āx ā Pāx = Īø.
For given a cone P ā E, we can define a partial ordering with respect to P by xā¼y or xā½y if and only if y ā x ā P for all x, y ā E. The real Banach space E equipped with the partial ordered induced by P is denoted by (E, ā¼). We shall write xāŗy to indicate that xā¼y but x ā y, while xā¼y will stand for y ā x ā intā(P), where intā(P) denotes the interior of P.
Proposition 1.4 (see [28].)Suppose P is a cone in a real Bancah space E. Then,
- (i)
If eā¼f and f āŖ g, then e āŖ g.
- (ii)
If e āŖ f and fā¼g, then e āŖ g.
- (iii)
If e āŖ f and f āŖ g, then e āŖ g.
- (iv)
If a ā P and aā¼e for each e ā intā(P), then a = Īø.
Proposition 1.5 (see [29].)Suppose e ā intā(P), Īøā¼an, and an ā Īø. Then, there exists n0 ā ā such that an āŖ e for all n ā„ n0.
The least positive number K satisfying above is called the normal constant of P.
Definition 1.6 (see [11].)Let X be a nonempty set, E a real Banach space, and P a cone in E. Suppose the mapping d : X Ć X ā (E, ā¼) satisfies
- (i)
Īøā¼d(x, y), for all x, y ā X,
- (ii)
d(x, y) = Īø if and only if x = y,
- (iii)
d(x, y) = d(y, x), for all x, y ā X,
- (iv)
d(x, y) + d(y, z)ā½d(x, z), for all x, y, z ā X.
Definition 1.7 (see [11].)Let (X, d) be a cone metric space, and let {xn} be a sequence in X and x ā X. If for every c ā E with Īø āŖ c there is n0 ā ā such that
Definition 1.8 (see [11].)Let (X, d) be a cone metric space, and let {xn} be a sequence in X. We say that {xn} is a Cauchy sequence if for any c ā E with Īø āŖ c, there is n0 ā ā such that
Definition 1.9 (see [11].)Let (X, d) be a cone metric space. If every Cauchy sequence is convergent in X, then X is called a complete cone metric space.
Remark 1.10 (see [11].)If P is a normal cone, then {xn} converges to x if and only if d(xn, x) ā Īø as n ā ā. Further, in the case {xn} is a Cauchy sequence if and only if d(xn, xm) ā Īø as m, n ā ā.
In this paper, we introduce the notions of the asymptotic š®ā³š¦-sequence with respect to the stronger Meir-Keeler cone-type mapping ξ : intā(P)āŖ{Īø}ā[0,1) and the asymptotic š²ā³š¦-sequence with respect to the weaker Meir-Keeler cone-type mapping Ļ : intā(P)āŖ{Īø} ā intā(P)āŖ{Īø} and prove some common fixed point theorems for these two asymptotic sequences in cone metric spaces with regular cone P.
2. Common Fixed Point Theorems for the Asymptotic š®ā³š¦-Sequences
In 1973, Geraghty [30] introduced the following generalization of Banachās contraction principle.
Theorem 2.1 (see [30].)Let (X, d) be a complete metric space, and let S denote the class of the functions β : [0, ā)ā[0,1) which satisfy the condition
In this section, we first introduce the notions of the stronger Meir-Keeler cone-type mapping ξ : intā(P)āŖ{Īø}ā[0,1) and the asymptotic š®ā³š¦-sequence with respect to this stronger Meir-Keeler cone-type mapping ξ, and we next prove some common fixed point theorems for the asymptotic š®ā³š¦-sequence in cone metric spaces.
Definition 2.2. Let (X, d) be a cone metric space with cone P, and let
Example 2.3. Let E = ā, P = {x ā E : xā½Īø} a normal cone, X = [0, ā), and let d : X Ć X ā E be the Euclidean metric. Define ξ : intā(P)āŖ{Īø}ā[0,1) by ξ(d(x, y)) = γ where γ ā [0,1), x, y ā X, then ξ is a stronger Meir-Keeler cone-type mapping.
Example 2.4. Let E = ā, P = {x ā E : xā½Īø} a normal cone, X = [0, ā), and let d : X Ć X ā E be the Euclidean metric. Define ξ : intā(P)āŖ{Īø}ā[0,1) by ξ(d(x, y)) = ā„d(x, y)ā„/(ā„d(x, y)ā„+1) for x, y ā X, then ξ is a stronger Meir-Keeler cone-type mapping.
Definition 2.5. Let (X, d) be a cone metric space with a cone P, ξ : intā(P)āŖ{Īø}ā[0,1) a stronger Meir-Keeler cone-type mapping, and let
Example 2.6. Let E = ā2 and P = {(x, y) ā ā2 | x, yā½Īø} a normal cone in E. Let
Now, we will prove the following common fixed point theorem of the asymptotic š®ā³š¦-sequence with respect to this stronger Meir-Keeler cone-type mapping for cone metric spaces with regular cone.
Theorem 2.7. Let (X, d) be a complete cone metric space, P a regular cone in E, and let ξ : intā(P)āŖ{Īø}ā[0,1) be a stronger Meir-Keeler cone-type mapping. Suppose
Proof. Since {fn}ānāā is an asymptotic š®ā³š¦-sequence with respect to this stronger Meir-Keeler cone-type mapping ξ, there exists α ā ā such that
Given x0 ā X and we define the sequence {xn} recursively as follows:
Thus, the sequence {d(xn, xn+1)} is descreasing. Regularity of P guarantees that the mentioned sequence is convergent. Let limānāād(xn, xn+1) = Ī· ā„ 0. Then, there exists Īŗ0 ā ā such that for all n ā„ Īŗ0
For each n ā ā, since ξ is a stronger Meir-Keeler type mapping, for these Ī· and Ī“ ā« 0 we have that for with , there exists γη ā [0,1) such that . Thus, by (*), we can deduce
We now claim that for m > n. For m, n ā ā with m > n, we have
We next prove that ν is a unique periodic point of fj, for all j ā ā. Since for all j ā ā,
Let μ be another periodic point of fi, for all i ā ā. Then,
Since , we have that fiν is also a periodic point of fi, for all j ā ā. Therefore, ν = fiν, for all j ā ā, that is, ν is a unique common fixed point of {fn}ānāā.
Example 2.8. It is easy to get that (0,0) is a unique common fixed point of the asymptotic š®ā³š¦-sequence {fn}ānāā of Example 2.6.
If the stronger Meir-Keeler cone-type mapping ξ(t) = c for some c ā [0,1), then we are easy to get the following corollaries.
Corollary 2.9. Let (X, d) be a complete cone metric space, P a regular cone of a real Banach space E, and let c ā [0,1). Suppose the sequence of mappings
Corollary 2.10 (see [11].)Let (X, d) be a complete cone metric space, P a regular cone of a real Banach space E, and let c ā [0,1). Suppose the mapping f : X ā X satisfies that for some α ā ā,
Definition 2.11. Let (X, d) be a cone metric space with a cone P, and let
Example 2.12. Let E = ā2 and P = {(x, y) ā ā2 | x, yā½Īø} a normal cone in E. Let
Follows Theorem 3.4, we are easy to conclude the following results.
Theorem 2.13. Let (X, d) be a complete cone metric space, P a regular cone of a real Banach space E, let
Example 2.14. It is easy to get that (0,0) is a unique common fixed point of the generalized š®ā³š¦-sequence {fn}ānāā of Example 2.12.
3. Common Fixed Point Theorems for the Asymptotic š²ā³š¦-Sequences
In this section, we first introduce the notions of the weaker Meir-Keeler cone-type mapping Ļ : intā(P) āŖ {Īø} ā intā(P)āŖ{Īø} and the asymptotic š²ā³š¦-sequence with respect to this weaker Meir-Keeler cone-type mapping Ļ, and we next prove some common fixed point theorems for the asymptotic š²ā³š¦-sequence in cone metric spaces.
Definition 3.1. Let (X, d) be a cone metric space with cone P, and let
Example 3.2. Let E = ā, P = {x ā E : xā½Īø} a normal cone, X = [0, ā), and let d : X Ć X ā E be the Euclidean metric. Define Ļ : intā(P)āŖ{Īø} ā intā(P)āŖ{Īø} by Ļ(d(x, y)) = (1/3)d(x, y) for x, y ā X, then Ļ is a weaker Meir-Keeler cone-type mapping.
Definition 3.3. Let (X, d) be a cone metric space with a cone P, Ļ : intā(P)āŖ{Īø} ā intā(P)āŖ{Īø} be a weaker Meir-Keeler cone-type mapping, and let
Now, we will prove the following common fixed point theorem of the asymptotic š²ā³š¦-sequence with respect to this weaker Meir-Keeler cone-type mapping for cone metric spaces with regular cone.
Theorem 3.4. Let (X, d) be a complete cone metric space, P a regular cone in E, and let Ļ : intā(P) āŖ {Īø} ā intā(P)āŖ{Īø} be a weaker Meir-Keeler cone-type mapping, and Ļ also satisfies the following conditions:
- (i)
Ļ(Īø) = Īø; Ļ(t) āŖ t for all t ā« Īø,
- (ii)
for tn ā intā(P)āŖ{Īø}, if limānāātn = γ ā« Īø, then limānāāĻ(tn) ⪠γ,
- (iii)
{Ļn(t)}ānāā is decreasing.
Proof. Since {fn}ānāā is an asymptotic š²ā³š¦-sequence with respect to this weaker Meir-Keeler cone-type mapping ξ, there exists α ā ā such that
Given x0 ā X and we define the sequence {xn} recursively as follows:
Since {Ļn(d(x0, x1))}ānāā is decreasing. Regularity of P guarantees that the mentioned sequence is convergent. Let limānāāĻn(d(x0, x1)) = Ī·, Ī· ā„ Īø. We claim that Ī· = Īø. On the contrary, assume that Īø āŖ Ī·. Then, by the definition of the weaker Meir-Keeler cone-type mapping, there exists Ī“ ā« 0 such that for x0, x1 ā X with Ī·ā¼d(x0, x1) āŖ Ī“ + Ī· there exists n0 ā ā such that . Since limānāāĻn(d(x, fx)) = Ī·, there exists m0 ā ā such that Ī·ā¼Ļmd(x0, x1) āŖ Ī“ + Ī·, for all m ā„ m0. Thus, we conclude that . So, we get a contradiction. So, limānāāĻn(d(x0, x1)) = Īø, and so limānāād(xn, xn+1) = Īø.
Next, we let cm = d(xm, xm+1), and we claim that the following result holds:
- (1)
mk is even and nk is odd,
- (2)
,
- (3)
mk is the smallest even number such that the conditions (1), (2) hold.
We next prove that ν is a unique periodic point of fj, for all j ā ā. Since for all j ā ā,
Let μ be another periodic point of fi, for all i ā ā. Then,
Since , we have that fiν is also a periodic point of fi, for all j ā ā. Therefore, ν = fiν, for all j ā ā, that is, ν is a unique common fixed point of {fn}ānāā.
Acknowledgment
This research is supported by the National Science Council of the Republic of China.