Volume 2011, Issue 1 127521
Research Article
Open Access

Common Fixed Point Theorems of the Asymptotic Sequences in Ordered Cone Metric Spaces

Chi-Ming Chen

Corresponding Author

Chi-Ming Chen

Department of Applied Mathematics, National Hsinchu University of Education, Hsinchu 300, Taiwan nhcue.edu.tw

Search for more papers by this author
First published: 29 December 2011
Citations: 1
Academic Editor: Yansheng Liu

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

Let (X, d) be a metric space, D a subset of X, and f : D → X a map. We say f is contractive if there exists α ∈ [0,1) such that for all x, y ∈ D,
()
The well-known Banach’s fixed point theorem asserts that if D = X, f is contractive and (X, d) is complete, then f has a unique fixed point in X. It is well known that the Banach contraction principle [1] is a very useful and classical tool in nonlinear analysis. Also, this principle has many generalizations. For instance, Kannan [2] and Chatterjea [3] introduced two conditions that can replace (1.1) in Banach’s theorem.
(Kannan [2]) There exists α ∈ [0,1) such that for all x, y ∈ X,
()
(Chatterjea [3]) There exists α ∈ [0,1) such that for all x, y ∈ X,
()

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

()
Then, f has a unique fixed point in X.

Later, Meir-Keeler [5], using a result of Chu and Diaz [6], extended Boyd-Wong’s result to mappings satisfying the following more general condition:
()
and Meir-Keeler proved the following very interesting fixed point theorem which is a generalization of the Banach contraction principle.

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 cone P is called normal if there exists a real number K > 0 such that for all x, y ∈ E,
()

The least positive number K satisfying above is called the normal constant of P.

The cone P is called regular if every increasing sequence which is bounded from above is convergent, that is, if {xn} is a sequence such that
()
for some y ∈ E, then there is x ∈ E such that ∄xn āˆ’ xāˆ„ā†’0 as n → āˆž. Equivalently, the cone P is regular if and only if every decreasing sequence which is bounded from below is convergent. It is well known that a regular cone is a normal cone.

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.

Then, d is called a cone metric on X, and (X, d) is called a cone metric space.

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

()
then {xn} is said to be convergent and {xn} converges to x.

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

()
Let f : X → X be a mapping satisfying
()
where β ∈ S. Then, f has a unique fixed point z ∈ X.

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

()
Then, the function ξ is called a stronger Meir-Keeler cone-type mapping, if for each Ī· ∈ int (P) with Ī· ≫ Īø there exists Ī“ ≫ Īø such that for x, y ∈ X with η≼d(x, y) ≪ Ī“ + Ī· there exists γη ∈ [0,1) such that ξ(d(x, y)) < γη.

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

()
be a sequence of mappings. Suppose that there exists α ∈ ā„• such that the sequence {fn} nāˆˆā„• satisfy that
()
Then, we call {fn} nāˆˆā„• an asymptotic š’®ā„³š’¦-sequence with respect to this stronger Meir-Keeler cone-type mapping ξ.

Example 2.6. Let E = ā„2 and P = {(x, y) ∈ ā„2 | x, y≽θ} a normal cone in E. Let

()
and we define the mapping d : X Ɨ X → E by
()
Let the asymptotic š’®ā„³š’¦-sequence of mappings, {fn} nāˆˆā„•, fn : X → X be
()
and let ξ : int (P)→[0,1) be
()
Then, ξ is a stronger Meir-Keeler cone-type mapping and for α = 2, and let {fn} nāˆˆā„• be an asymptotic š’®ā„³š’¦-sequence with respect to this stronger Meir-Keeler cone-type mapping ξ.

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

()
is an asymptotic š’®ā„³š’¦-sequence with respect to this stronger Meir-Keeler cone-type mapping ξ. Then, {fn} nāˆˆā„• has a unique common fixed point in X.

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:

()
Hence, for each n ∈ ā„•, we have
()

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

()
and it follows that for each n ∈ ā„•
()
So,
()

We now claim that for m > n. For m, n ∈ ā„• with m > n, we have

()
and hence d(xn, xm) → Īø, since 0 < γη < 1. So {xn} is a Cauchy sequence. Since (X, d) is a complete cone metric space, there exists ν ∈ X such that lim nā†’āˆžxn = ν.

We next prove that ν is a unique periodic point of fj, for all j ∈ ā„•. Since for all j ∈ ā„•,

()
we have . This implies that . So, ν is a periodic point of fj, for all j ∈ ā„•.

Let μ be another periodic point of fi, for all i ∈ ā„•. Then,

()
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

()
satisfy that for some α ∈ ā„•,
()
Then, {fn} nāˆˆā„• has a unique common fixed point in X.

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 α ∈ ā„•,

()
Then, f has a unique fixed point in X.

Definition 2.11. Let (X, d) be a cone metric space with a cone P, and let

()
be stronger Meir-Keeler cone-type mappings with
()
Suppose the sequence {fn} nāˆˆā„•, fn : X → X satisfy that for some α ∈ ā„•,
()
Then, we call {fn} nāˆˆā„• a generalized asymptotic š’®ā„³š’¦-sequence with respect to the stronger Meir-Keeler cone-type mappings {ξi,j} i,jāˆˆā„•.

Example 2.12. Let E = ā„2 and P = {(x, y) ∈ ā„2 | x, y≽θ} a normal cone in E. Let

()
and we define the mapping d : X Ɨ X → E by
()
Let {fn} nāˆˆā„•, fn : X → X be
()
and let ξi,j, ξ : P → [0,1) be
()
Then, {ξi,j} i,jāˆˆā„• be stronger Meir-Keeler cone-type mappings with
()
and for α = 2, let {fn} nāˆˆā„• be a generalized asymptotic š’®ā„³š’¦-sequence with respect to the stronger Meir-Keeler cone-type mappings {ξi,j} i,jāˆˆā„•.

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

()
be stronger Meir-Keeler cone-type mappings with
()
and let
()
be a generalized asymptotic š’®ā„³š’¦-sequence with respect to the stronger Meir-Keeler cone-type mappings {ξi,j} i,jāˆˆā„•. Then, {fn} nāˆˆā„• has a unique common fixed point in X.

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

()
Then, the function Ļ• is called a weaker Meir-Keeler cone-type mapping, if for each Ī· ∈ int (P) with Ī· ≫ Īø there exists Ī“ ≫ Īø such that for x, y ∈ X with η≼d(x, y) ≪ Ī“ + Ī· there exists n0 ∈ ā„• such that .

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

()
be a sequence of mappings. Suppose that there exists α ∈ ā„• such that the sequence {fn} nāˆˆā„• satisfy that
()
Then, we call {fn} nāˆˆā„• an asymptotic š’²ā„³š’¦-sequence with respect to this weaker Meir-Keeler cone-type mapping ξ.

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.

Suppose that
()
is an asymptotic š’²ā„³š’¦-sequence with respect to this weaker Meir-Keeler cone-type mapping Ļ•. Then, {fn} nāˆˆā„• has a unique common fixed point in X.

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:

()
Hence, for each n ∈ ā„•, we have
()

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:

()
We will prove (3.7) by contradiction. Suppose that (3.7) is false. Then, there exists some ɛ ≫ Īø such that for all k ∈ ā„•, there are mk, nk ∈ ā„• with mk > nk ≄ k satisfying:
  • (1)

    mk is even and nk is odd,

  • (2)

    ,

  • (3)

    mk is the smallest even number such that the conditions (1), (2) hold.

By (2), we have , and
()
Letting k → āˆž. Then, by the condition (ii) of this weaker Meir-Keeler cone-type mapping Ļ•, we have
()
a contradiction. So, {xn} is a Cauchy sequence. Since (X, d) is a complete cone metric space, there exists ν ∈ X such that lim nā†’āˆžxn = ν.

We next prove that ν is a unique periodic point of fj, for all j ∈ ā„•. Since for all j ∈ ā„•,

()
we have . This implies that . So, ν is a periodic point of fj, for all j ∈ ā„•.

Let μ be another periodic point of fi, for all i ∈ ā„•. Then,

()
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.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.