- Research
- Open access
- Published:
Fixed point-type results for a class of extended cyclic self-mappings under three general weak contractive conditions of rational type
Fixed Point Theory and Applications volume 2011, Article number: 102 (2011)
Abstract
This article discusses three weak φ-contractive conditions of rational type for a class of 2-cyclic self-mappings defined on the union of two non-empty subsets of a metric space to itself. If the space is uniformly convex and the subsets are non-empty, closed, and convex, then the iterates of points obtained through the self-mapping converge to unique best proximity points in each of the subsets.
1. Introduction
A general contractive condition has been proposed in [1, 2] for mappings on a partially ordered metric space. Some results about the existence of a fixed point and then its uniqueness under supplementary conditions are proved in those articles. The rational contractive condition proposed in [3] includes as particular cases several of the previously proposed ones [1, 4–12], including Banach principle [5] and Kannan fixed point theorems [4, 8, 9, 11]. The rational contractive conditions of [1, 2] are applicable only on distinct points of the considered metric spaces. In particular, the fixed point theory for Kannan mappings is extended in [4] by the use of a non-increasing function affecting the contractive condition and the best constant to ensure a fixed point is also obtained. Three fixed point theorems which extended the fixed point theory for Kannan mappings were stated and proved in [11]. More attention has been paid to the investigation of standard contractive and Meir-Keeler-type contractive 2-cyclic self-mappings T:A ∪ B → A ∪B defined on subsets A,B ⊆ X and, in general, p-cyclic self-mappings defined on any number of subsets A i ⊂ X, , where (X,d) is a metric space (see, for instance [13–22]). More recent investigation about cyclic self-mappings is being devoted to its characterization in partially ordered spaces and also to the formal extension of the contractive condition through the use of more general strictly increasing functions of the distance between adjacent subsets. In particular, the uniqueness of the best proximity points to which all the sequences of iterates of composed self-mappings T2: A∪B → A ∪ B converge is proven in [14] for the extension of the contractive principle for cyclic self-mappings in uniformly convex Banach spaces (then being strictly convex and reflexive [23]) if the subsets A,B ⊂ X in the metric space (X,d), or in the Banach space (X,|| ||), where the 2-cyclic self-mappings are defined, are both non-empty, convex and closed. The research in [14] is centred on the case of the cyclic self-mapping being defined on the union of two subsets of the metric space. Those results are extended in [15] for Meir-Keeler cyclic contraction maps and, in general, for the self-mapping be a p (≥ 2) -cyclic self-mapping being defined on any number of subsets of the metric space with . Also, the concept of best proximity points of (in general) non-self-mappings S,T:A → B relating non-empty subsets of metric spaces in the case that such maps do not have common fixed points has recently been investigated in [24, 25]. Such an approach is extended in [26] to a mapping structure being referred to as K-cyclic mapping with contractive constant k < 1/2. In [27], the basic properties of cyclic self-mappings under a rational-type of contractive condition weighted by point-to-point-dependent continuous functions are investigated. On the other hand, some extensions of Krasnoselskii-type theorems and general rational contractive conditions to cyclic self-mappings have recently been given in [28, 29] while the study of stability through fixed point theory of Caputo linear fractional systems has been provided in [30]. Finally, promising results are being obtained concerning fixed point theory for multivalued maps (see, for instance [31–33]).
This manuscript is devoted to the investigation of several modifications of rational type of the φ-contractive condition of [21, 22] for a class of 2-cyclic self-mappings on non-empty convex and closed subsets A,B ⊂ X. The contractive modification is of rational type and includes the nondecreasing function associated with the φ-contractions. The existence and uniqueness of two best proximity points, one in each of the subsets A,B ⊂ X, of 2-cyclic self-mappings T: A∪ B → A ∪ B defined on the union of two non-empty, closed, and convex subsets of a uniformly convex Banach spaces, is proven. The convergence of the sequences of iterates through T: A∪ B → A ∪ B to one of such best proximity points is also proven. In the case that A and B intersect, both the best proximity points coincide with the unique fixed point in the intersection of both the sets.
2. Basic properties of some modified constraints of 2-cyclic φ-contractions
Let (X,d) be a metric space and consider two non-empty subsets A and B of X. Let T: A∪ B → A ∪ B be a 2-cyclic self-mapping, i.e., T(A) ⊆ B and T(B) ⊆ A. Suppose, in addition, that T: A∪ B → A ∪ B is a 2-cyclic modified weak φ-contraction (see [21, 22]) for some non-decreasing function φ:R0+ → R0+ subject to the rational modified φ-contractive constraint:
where
Note that (2.1) is, in particular, a so-called 2-cyclic φ-contraction if α = 0 and φ(t) = (1-α)t for some real constant α ∈[0,1) since φ:R0+ → R0+ is strictly increasing [1]. We refer to "modified weak φ-contraction" for (2.1) in the particular case α ≥ 0, β ≥ 0, α + β < 1, and φ:R0+ → R0+ being non-decreasing as counterpart to the term φ-contraction (or via an abuse of terminology "modified strong φ-contraction") for the case of φ:R0+ → R0+ in (2.1) being strictly increasing. There are important background results on the properties of weak contractive mappings (see, for instance, [1, 2, 34] and references therein). The so-called "φ-contraction", [1, 2], involves the particular contractive condition obtained from (2.1) with α = 0, β = 1, and φ:R0+ → R0+ being strictly increasing, that is,
In the following, we refer to 2-cyclic self-maps T:A ∪ B → A ∪B simply as cyclic self-maps. The following result holds:
Lemma 2.1. Assume that T:A ∪ B → A ∪B is a modified weak φ-contraction, that is, a cyclic self-map satisfying the contractive condition (2.1) subject to the constraints min (α, β) ≥ 0 and α + β < 1 with φ:R0+ → R0+ being non-decreasing. Then, the following properties hold:
(i) Assume that φ(D) ≥ D
and if D ≠ 0 If φ(D) = D = 0 then ; ∀x ∈ A ∪ B, ∀m ∈ N0.
(ii) Assume that d(x,Tx) ≤ m(x) for any given x∈ A ∪ B. Then
If d(x,Tx) is finite and, in particular, if x and Tx in A ∪ B are finite then the sequences and are bounded sequences where Tn ∈ A and Tn+1x ∈ B if x ∈ A and n is even, Tn ∈ B and Tn+1 ∈ B if x ∈ B and n is even.
Proof: Take y = Tx so that Ty = T2x. Since φ:R0+ → R0+ is non-decreasing φ(x) ≥ φ(D) for x ≥ D, one gets for any x ∈ A and any Tx ∈ B or for any x ∈ B and any Tx ∈ A:
if Tx ≠ x where , since T:A∪ B → A ∪ B is cyclic, d(x,Tx) ≥ D and φ:R0+ → R0+ is increasing. Then
Φ(D) ≥ D ≠ 0 since min (α, β) ≥ 0 and α + β < 1 Proceeding recursively from (2.8), one gets for any m ∈ N:
Φ(D) ≥ D ≠ 0 and if Φ(D) = D = 0 then the ; ∀x ∈ A ∪ B. Hence, Property (i) follows from (2.9) and (2.10) since φ(D) ≥ D and d(x,Tx) ≥ D; ∀x ∈ A ∪ B, since T:A∪ B → A ∪ B is a 2-cyclic self-mapping and φ:R0+ → R0+ is non-decreasing. Now, it follows from triangle inequality for distances and (2.9a) that:
which leads directly to Property (ii) with and being bounded sequences for any finite x ∈ A ∪ B. □
Concerning the case that A and B intersect, we have the following existence and uniqueness result of fixed points:
Theorem 2.2. If φ(D) = D = 0 (i.e., A0∩B0 ≠ ∅) then and ; ∀x ∈ A∪B. Furthermore, if (X,d) is complete and A and B are non-empty closed and convex then there is a unique fixed point z ∈ A∩B of T:A∪B → A∪B to which all the sequences , which are Cauchy sequences, converge; ∀x ∈ A∪B.
Proof: It follows from Lemma 2.1(i)-(ii) for φ(D) = D = 0 It also follows that ; ∀x ∈ A∪B, ∀m ∈ N0 what implies so that is a Cauchy sequence, ∀x ∈ A∪B, then being bounded and also convergent in A∩B as n → ∞ since (X,d) is complete and A and B are non-empty, closed, and convex. Thus, and , since the iterate composed self-mapping Tn :A∪B → A∪B, ∀n ∈ N0 is continuous for any initial point x ∈ A∪B (since it is contractive, then Lipschitz continuous in view of (2.9a) with associate Lipschitz constant 0 ≤ k < 1 for φ(D) = D = 0). Thus, z ∈ A∩B is a fixed point of T:A∪B → A∪B. Its uniqueness is proven by contradiction. Assume that there are two distinct fixed points z and y of T:A∪B → A∪B in A∩B. Then, one gets from (2.1) that either 0 <d(Tz,Ty) ≤ β(d(z,y)-φ(d(z,y))) ≤ βd(z,y) <d(z,y) or d(Tz,Ty) = d(z,y) = 0 what contradicts d(z,y) > 0 since z ≠ y. Then, d(Tz,Ty) ≤ β(d(x,y) ≤ βd(x,y) <d(z,y) what leads to the contradiction . Thus, z = y. Hence, the theorem. □
Now, the contractive condition (2.1) is modified as follows:
for x,y(≠ x) ∈ X, where min (α0, β0) ≥ 0, min (α0, β0) > 0, and α0 + β0 ≤ 1. Note that in the former contractive condition (2.1), α + β < 1. Thus, for any non-negative real constants α ≤ α0 and β ≤ β0, (2.12) can be rewritten as
The following two results extend Lemma 2.1 and Theorem 2.2 by using constants α0 and β0 in (2.1) whose sum can equalize unity α0+β0 = 1.
Lemma 2.3. Assume that T:A∪B → A∪B is a cyclic self-map satisfying the contractive condition (2.13) with min(α0, β0) ≥ 0, α0 + β0 ≤ 1, and φ:R0+ → R0+ is non-decreasing. Assume also that
For some non-negative real constants , α ≤ α0 and β ≤ β0 with α + β < 1. Then, the following properties hold:
(i)
for any arbitrarily small ε ∈ R+.
(ii) If φ(D) = (1+α+β-α0-β0)D then ; ∀x ∈ A∪B, ∀m ∈ N0.
(iii) If d(x,Tx) is finite and, in particular, if x and Tx are finite then the sequence and are bounded sequences, where Tnx ∈ A and Tn+1x ∈ B if x ∈ A and n is even and Tnx ∈ B and Tn+1x ∈ B if x ∈ A and n is even.
Proof: Since φ:R0+ → R0+ is non-decreasing then φ(x) ≥ φ(D) for x(∈R0+) ≥ D. Note also that implies the necessary condition φ(d(Tx,x)) ≥ 0 and (2.14) implies that 0 ≤ φ(D) ≤ D. Note also for y = Tx and Ty = Tx2 and (2.14), since φ(x) >φ(D) for x >D, that for x ∈ A∪B, one gets from (2.14):
leading from (2.14) to
and M ≤ (α0 + β0-α-β)D since . One gets from (2.13) and (2.17) the following modifications of (2.9) and (2.10) by taking y = Tx, Ty = T2x, and successive iterates by composition of the self-mapping T:A ∪ B → A ∪B:
and Property (i) has been proven. Property (ii) follows from (2.20) directly by replacing φ(D) = (1+α+β-α0-β0)D in (2.15). To prove Property (iii), note from (2.18) that
Hence, and are bounded for any finite x ∈ A∪B. Property (iii) has been proven. Hence, the lemma. □
Theorem 2.4. If φ(D) = D = 0 then ; ∀x ∈ A∪B. Furthermore, if (X,d) is complete and both A and B are non-empty, closed, and convex then there is a unique fixed point z ∈ A∩B of T:A ∪ B → A ∪B to which all the sequences , which are Cauchy sequences, converge; ∀x∈A∪B.
Proof guideline: It is identical to that of Theorem 2.2 by using φ(D) = D = M0M = 0 and the fact that from (2.17) α0 = α and β0 = β with 0 ≤ α + β < 1 if there is a pair (x,Tx) ∈ A × B∪B × A such that d(Tx,x) = φ(d(Tx,x)); d(T2x,Tx) = φ(d(T2x,Tx)); ∀x ∈ A∪B. Hence, the theorem. □
Remark 2.5. Note that Lemma 2.2 (ii) for φ(D) ≤ D (φ(D) <D if α + β ≤ α0 + β0 ≤ 1) leads to an identical result as Lemma 2.1 (i) for φ(D) = D and α + β < 1 consisting in proving that . This result is similar to a parallel obtained for standard 2-cyclic contractions [2, 5, 8]. □
Remark 2.6. Note from (2.7) that Lemma 2.1 is subject to the necessary condition D ≤ φ(D) since d(T2x,Tx) ≥ D and; ∀x ∈ A∪B. On the other hand, note from Lemma 2.2, Equation (2.14) that , and one also gets from (2.18) for n = 1 the dominant lower-bound , that is, which coincides with the parallel constraint obtained from Lemma 2.1 if α0 + β0 = α + β. □
Remark 2.7. Note that Lemmas 2.2 and 2.3 apply for non-decreasing functions φ:R0+ → R0+. The case of φ:R0+ → R0+ being monotone increasing, then unbounded, is also included as it is the case of φ:R0+ → R0+ being bounded non-decreasing. □
Now, modify the modified cyclic φ-contractive constraint (2.1) as follows:
Thus, the following parallel result to Lemmas 2.1 and 2.2 result holds under a more restrictive modified weak φ-contraction Assume that T:A ∪ B → A ∪B is modified weak φ-contraction subject to φ:R0+ → R0+ subject to the constraint and having a finite limit:
Lemma 2.8. Assume that T:A ∪ B → A ∪B is a cyclic self-map satisfying the contractive condition (2.21) with min (α,β) ≥ 0, α + β < 1, and φ:R0+ → R0+ is non-decreasing having a finite limit and subject to φ(0) = 0 Assume also that φ:R0+ → R0+ satisfies . Then, the following properties hold:
(i) The following relations are fulfilled:
(ii) If, furthermore, φ:R0+ → R0+ is, in addition, sub-additive and d(x,Tx) is finite (in particular, if x and Tx are finite) then the sequences and are both bounded, where Tnx ∈ A and Tn+1x ∈ B if x ∈ A and n is even and Tnx ∈ B and Tn+1x ∈ A if x ∈ B and n is even. If φ:R0+ → R0+ is identically zero then ; ∀x ∈ A∪B.
Proof: One gets directly from (2.21):
or, equivalently, one gets for that
leading to
what implies the necessary condition leading to if D ≠ 0 and then ; ∀x ∈ A∪B. Also, since
; ∀x ∈ R+, by construction, then d(Tn+1x,Tnx) is bounded; ∀n ∈ N since, otherwise, a contradiction to (2.24) holds. Since φ:R0+ → R0+ is non-decreasing and has a finite limit ; ∀x R0+ ( if and only if φ:R0+ → R0+ is identically zero), thus . Then, (2.22)-(2.23) hold and Property (i) has been proven. On the other hand, one gets from (2.25), since φ:R0+ → R0+ is sub-additive and nondecreasing and has a finite limit, that:
Then the sequences and are both bounded for any x ∈ A∪B. Hence, the first part of Property (ii). If φ:R0+ → R0+ is identically zero then ; ∀x ∈ A∪B so that from (2.23). Hence, the lemma. □
The existence and uniqueness of a fixed point in A ∩ B if A and B are non-empty, closed, and convex and (X,d) is complete follows in the subsequent result as its counterpart in Theorem 2.2 modified cyclic φ-contractive constraint (2.21):
Theorem 2.9. if (X,d) is complete and A and B intersect and are non-empty, closed, and convex then there is a unique fixed point z ∈ A∩B of T:A ∪ B → A ∪B to which all the sequences , which are Cauchy sequences, converge; ∀x ∈ A∪B. □
Remark 2.7. Note that the nondecreasing function φ:R0+ → R0+ of the contractive condition (2.21) is not monotone increasing under Lemma 2.5 since it possesses a finite limit and it is then bounded. □
Remark 2.8. The case of T:A ∪ B → A ∪B being a φ-contraction, namely, d(Tx,Ty) ≤ d(x,y)-φ(d(x,y)) + φ(D) with strictly increasing φ:R0+ → R0+; ∀x ∈ A∪B, [1, 2] implies, since φ(x) = 0 if and only if x = 0, implies the relation
for some real constant 0 ≤ β1 = β1(x,y) < 1; ∀x,y(≠x) ∈ A∪B so that proceeding recursively:
where and ; ∀x ∈ A∪B if φ(D) = D = 0, and one gets from Lemma 2.1(iii) that and are Cauchy sequences which converge to a unique fixed point in A∩B if A and B are non-empty, closed, and convex and (X,d) is complete [1]. □
Remark 2.9. Note that the constraint (2.1) implies in Lemma 2.1 and Theorem 2.2 that (1-α-β) φ(D) ≤ (1-α-β)D what implies φ(D) ≤ D if max (α,β) > 0 since 0 ≤ α + β < 1. However, such a constraint in Lemma 2.3 and Theorem 3.4 implies that (1-α0-β0) φ(D) ≤ (1-α0-β0)D. □
3. Properties for the case that A and B do not intersect
This section considers the contractive conditions (2.1) and (2.21) for the case A∩B ≠ ∅ For such a case, Lemmas 2.1, 2.3, and 2.8 still hold. However, Theorems 2.2, 2.4, and 2.9 do not further hold since fixed points in A∩B cannot exist. Thus, the investigation is centred in the existence of best proximity points. It has been proven in [1] that if T:A ∪ B → A ∪B is a cyclic φ-contraction with A and B being weakly closed subsets of a reflexive Banach space (X,|| ||) then, ∃(x,y) ∈ A × B such that D = d(x,y) = ||x-y|| where d:R0+ → R0+ is a norm-induced metric, i.e., x and y are best proximity points. Also, if T:A ∪ B → A ∪B is a cyclic contraction ∃(x,y) ∈ A × B such that D = d(x,y) if A is compact and B is approximatively compact with respect to A with both A and B being subsets of a metric space (X,d) (i.e., if for some y ∈ A and x ∈ B then the sequence has a convergent subsequence [14]). Theorem 2.2 extends via Lemma 2.1 as follows for the case when A and B do not intersect, in general:
Theorem 3.1. Assume that T:A ∪ B → A ∪B is a modified weak φ-contraction, that is, a cyclic self-map satisfying the contractive condition (2.1) subject to the constraints min (α,β) ≥ 0 and α +β < 1 with φ:R0+ → R0+ being nondecreasing with φ(D) = D. Assume also that A and B are non-empty closed and convex subsets of a uniformly convex Banach space (X,|| ||). Then, there exist two unique best proximity points z ∈ A, y ∈ B of T:A ∪ B → A ∪B such that Tz = y, Ty = z to which all the sequences generated by iterations of T:A ∪ B → A ∪B converge for any x ∈ A∪B as follows. The sequences and converge to z and y for all x ∈ A, respectively, to y and z for all x ∈ B. If A∩ B ≠ ∅ then z = y ∈ A∩B is the unique fixed point of T:A ∪ B → A ∪B
Proof: If D = 0, i.e., A and B intersect then this result reduces to Theorem 2.2 with the best proximity points being coincident and equal to the unique fixed point. Consider the case that A and B do not intersect, that is, D > 0 and take x ∈ A∪B. Assume with no loss in generality that x ∈ A. It follows, since A and B are non-empty and closed, A is convex and Lemma 3.1 (i) that:
(proven in Lemma 3.8 [14]). The same conclusion arises if x ∈ B since B is convex. Thus, is bounded [Lemma 2.1 (ii)] and converges to some point z = z(x), being potentially dependently on the initial point x, which is in A if x ∈ A, since A is closed, and in B if x ∈ B since B is closed. Take with no loss in generality the norm-induced metric and consider the associate metric space (X,d) which can be identified with (X, || ||) in this context. It is now proven by contradiction that for every ε ∈ R+, there exists n0 ∈ N0 such that d(T2mx,T2n+1x) ≤ D + ε for all m >n ≥ n0. Assume the contrary, that is, given some ε ∈ R+, there exists n0 ∈ N0 such that for all m k >n k ≥ n0 ∀k ∈ N0. Then, by using the triangle inequality for distances:
One gets from (3.1) and (3.2) that
Now, one gets from (3.1), (3.3), φ(D) ≥ D, and Lemma 2.1 (i) the following contradiction:
As a result, d(T2mx,T2n+1x) ≤ D + ε for every given ε ∈ R+ and all m >n ≥ n0 for some existing n0 ∈ N0. This leads by a choice of arbitrarily small ε to
But is a Cauchy sequence with a limit z = T2z in A (respectively, with a limit y = T2y in B) if x ∈ A (respectively, if x ∈ B) such that D = ||Tz-z|| = d(z,Tz) (Proposition 3.2 [14]). Assume on the contrary that x ∈ A and as n → ∞ so that T2z-Tz = z-Tz ≠ z-y so that since A is convex and (X,|| ||) is uniformly convex Banach space, then strictly convex, one has
which is a contradiction so that z = T2z is a best approximation point in A of T:A ∪ B → A ∪B. In the same way, is a Cauchy sequence with a limit T2y = y ∈ B which is a best approximation point in B of T:A ∪ B → A ∪B if x ∈ B since B is convex and (X,|| ||) is strictly convex. We prove now that y = Tz. Assume, on the contrary that y ≠ Tz with y = T2y,Tz = T3z ∈ B, z = T2z ∈ A, d(z,y) >D, d(Tz,Ty) ≥ D, d(Tz,z) = d(Ty,y) = D, and φ(D) = D. One gets from (2.1) since φ: R0+ → R0+ is non-decreasing the following contradiction:
Thus, z = Ty = T2z = T3y and y = Tz = T2y = T3z are the best proximity points of T:A ∪ B → A ∪B in A and B. Finally, we prove that the best proximity points z ∈ A and y ∈ B are unique. Assume that z1(≠ z2) ∈ A are two distinct best proximity points of T:A ∪ B → A ∪B in A. Thus, Tz1(≠ Tz2) ∈ B are two distinct best proximity points in B. Otherwise, Tz1 = Tz2 ⇒ T2z1 = T2z2 ⇒ z1 = z2, since z1 and z1 are best proximity points, contradicts z1 ≠z2. One gets from Lemma 2.1(i) and d(Tz1,T2z2) = d(Tz2,T2z1) = d(z1,Tz2) = d(z2,Tz1) = D. Through a similar argument to that concluding with (3.6) with the convexity of A and the strict convexity of (X,|| ||), guaranteed by its uniform convexity, one gets the contradiction:
since T2z1-Tz1 ≠ Tz1-z1. Thus, z1 is the unique best proximity point in A while Tz1 is the unique best proximity point in B. □
In a similar way, Theorem 2.4 extends via Lemma 2.3 as follows from the modification (2.12) of the contractive condition (2.1):
Theorem 3.2. Assume the following hypotheses:
-
(1)
T:A ∪ B → A ∪B is a modified weak φ-contraction, that is, a cyclic self-map satisfying the contractive condition (2.12) subject to the constraints min (α 0,β 0) ≥ 0, min (α 0,β 0) > 0, and α 0 + β 0 ≤ 1.
-
(2)
φ: R 0+ → R 0+ is non-decreasing subject to ; ∀x ∈ A∪B and φ(D) = (1 + α+β-α 0-β 0)D for some non-negative real constants , 0 ≤ α ≤ α 0 and 0 ≤ β ≤ β 0 with α + β < 1.
-
(3)
A and B are non-empty closed and convex subsets of a uniformly convex Banach space (X,|| ||).
Then, there exist two unique best proximity points z ∈ A, y ∈ B of T:A ∪ B → A ∪B such that Tz = y, Ty = z to which all the sequences generated by iterations of T:A ∪ B → A ∪B converge for any x ∈ A∪B as follows. The sequences and converge to z and y for all x ∈ A, respectively, to y and z for all x ∈ B If A ∩B ≠ ∅ then z = y ∈ A∩B is the unique fixed point of T:A ∪ B → A ∪B.
Outline of proof: It is similar to that of Theorem 3.1 since (3.1) to (3.3) still hold, (3.4) and (3.5) still hold as well from Lemma 2.3(ii) as well as the results from the contradictions (3.6)-(3.8). □
The following result may be proven using identical arguments to those used in the proof of Theorem 3.1 by using Lemma 2.8 starting with its proven convergence property (2.23) for distances:
Theorem 3.3. Assume that T:A ∪ B → A ∪B is a cyclic self-map satisfying the contractive condition (2.21) with min (α,β) ≥ 0, α + β < 1, and φ: R0+ → R0+ is non-decreasing having a finite limit and subject to φ(0) = 0 Assume also that φ: R0+ → R0+ satisfies . Finally, assume that A and B are non-empty closed and convex subsets of a uniformly convex Banach space (X,|| ||). Then, there exist two unique best proximity points z ∈ A, y ∈ B of T:A ∪ B → A ∪B such that Tz = y, Ty = z to which all the sequences generated by iterations of T:A ∪ B → A ∪B converge for any x ∈ A∪B as follows. The sequences and converge to z and y for all x ∈ A, respectively, to y and z for all x ∈ B. If A∩B ≠ ∅ then z = y ∈ A∩B is the unique fixed point of T:A ∪ B → A ∪B. □
Example 3.4. The first contractive condition (2.1) is equivalent to
To fix ideas, we first consider the trivial particular case φ(x) ≡ 0 (⇒ φ(D) = 0); ∀x ∈ R0+. This figures out that T:A ∪ B → A ∪B is a strict contraction if A∩B is non-empty and closed, min (α,β) ≥ 0, and α + β < 1. Then, it is known from the contraction principle that there is a unique fixed point in A∩B. Note that in this case φ: R0+ → 0. If α + β = 1 then T:A ∪ B → A ∪B is non-expansive fulfilling d(Tp+1x,Tpx) = d(x,Tx); ∀x ∈ A∪B, ∀p ∈ z0+. The convergence to fixed points cannot be proven. It is of interest to see if T:A ∪ B → A ∪B being a weak contraction with φ: R0+ → R0+ being non-decreasing guarantees the convergence to a fixed point if α + β = 1 and φ(0) = D = 0 according to the modified contractive condition (2.12). In this case, if φ(x) > 0; ∀x ∈ R+ then convergence to a fixed point is still potentially achievable since
Now, consider the discrete scalar dynamic difference equation of respective state and control real sequences and and dynamics and control parametrical real sequences and , respectively:
where , of general term defined by , is a sequence of real k th tuples built with state values up till the k th sampled value such that the real sequence with is related to non-perfectly modeled effects which can include, for instance, contributions of unmodeled dynamics (if the real order of the difference equation is larger than one), parametrical errors (for instance, the sequences of parameters are not exactly known), and external disturbances. It is assumed that upper- and lower-bounding real sequences and are known which satisfy ; ∀k ∈ z0+. Define a 2-cyclic self-mapping T:A ∪ B → A ∪B with T(A)⊆ B and T(B)⊆ A for some sets A ⊂ R0+ := {z ∈ R:z ≥ 0} and B ⊂ R0- := {z ∈ R:z ≤ 0} being non-empty bounded connected sets containing {0}, so that D = 0, such that Tx k = x k +1; ∀k ∈ z0+ for the control sequence lying in some appropriate class to be specified later on. Note from (3.11) that
.
An equivalent expression to (3.9) if φ(D) = D = 0 is by using the Euclidean distance:
.
Consider different cases as follows by assuming with no loss in generality that the parametrical sequences and are positive:
-
(a)
D = 0 Then
(3.14)
Note that if x k ≥ 0 then x k +1 ≤ 0 and x k +2 ≤ 0 if
If x k ≤ 0 then x k +1 ≥ 0 and xk+2≤ 0 if
.
Thus, if x0 ≥ 0 then the control law is
and if x0 < 0 then
The stabilization and convergence of the state sequence to zero is achieved by using a control sequence that makes compatible (3.16) and (3.17) with (3.13). First, assume x0 ≤ 0 and rewrite the controls (3.17) in equivalent equality form as:
for any non-negative real sequence to be defined so that (3.13) holds. Then (3.11) and (3.14) lead to:
for the given controls (3.19). Then, (3.13) becomes for x0 ∈ A:
which is guaranteed from (3.20) and (3.21), without a need for directly testing the solution of the difference equation, if the sequence can be chosen to have zero limit while satisfying:
for some upper-bounding sequence satisfying (3.20) and (3.21) and some given non-decreasing function φ:R0+ → R0+. This implies that x k → 0 as k → ∞, which is the unique fixed point of T:A ∪ B → A ∪B, by using the proposed control law (3.19). Note the following:
-
(1)
Even, although converges to zero, it is not required for the contribution of the non-perfectly modeled part of the model to converge to zero. It can suffice, for instance, ; as k → ∞ It is not necessary that be convergent fulfilling as k → ∞ for some non-negative real . However, there are particular cases in this framework as, for instance, as k → ∞ or ; a 2k+1→ 1 as k → ∞.
-
(2)
The constraints (3.23) imply φ(x) = 0 for x ∈ [0,x 0] and some x 0 ∈ R 0+ but not that φ:R 0+ → R 0+ is strictly increasing or that φ(x) = 0 if and only if x = 0.
If x0 ∈ B, then x0 < 0, take leading to x1 ≥ 0 The above stabilization/convergence condition (3.23) still holds with the replacement k → k-1 for any k ∈ z+.
-
(b)
Now, assume that D > 0, A:={z ∈ R + :z ≥ D/2}, and B:={z ∈ R + :z ≤ -D/2} are bounded subsets of R and reconsider the above Case b modified so that T:A∪B → A∪B the sequence is subject to ε 2k≥ D/2, ε 2k→ D/2 as k →∞ and φ(D) = D = dist (A,B) Also, the stabilization constraints (3.22) and (3.23) become modified as follows:
(3.24)(3.25)
the second one being a sufficient condition for the first one to hold. Note that x2kand x2k+1both converge to best proximity points as k → ∞ If x0 ≥ D/2 then x2k → D/2 and x2k+1 → D/2 as k → ∞ and if x0 ≤ -D/2 then x2k→ -D/2 and x2k+1 → D/2. Note that Case a is a particular version of Case b for D = 0.
-
(c)
The conditions (3.23) and (3.25) can be generalized to the nonlinear potentially non-perfectly modeled difference equation:
(3.26)
for some function g : R→ R leading to the nonlinear real sequence . Proceed by replacing the controls (3.19) by their counterparts obtained correspondingly with right-hand side replacements x k →g k = g(x k ) by choosing the sequence with φ:[D,∞) → [D,∞) satisfying φ(x) = D for x ∈ [D,D + x0] and some x0 ∈ R0+ so that (3.25) holds.
-
(d)
Consider the n th-order nonlinear dynamic system:
(3.27)
for some matrix function sequences sampling point-wise defined by A k = A k (x k ) and B k = B k (x k ) of images in Rn×nand Rn×m, respectively; ∀k ∈ Z0+. Proceeding recursively with (3.27) over n consecutive samples, one gets
with Φk = Φk(x kn ) and Γ k = Γ k (x kn ) as:
with the extended nm control real vector sequence over n consecutive samples being defined by . Consider solutions of (3.28) lying alternately in a non-empty closed bounded connected subset A of the first closed orthant of Rnand in B = -A for each couple of subsequent samples for some extended control sequence in Rm , for some integer 1 ≤ m ≤ n, assumed to exist. A unique such a control sequence exist, if for instance, the controllability condition rank Γ k = n; ∀k ∈ z0+ holds for each matrix sequence Λ k = Λ k (x k ) by achieving:
with Λ k = Λ k (x kn ); ∀k ∈ z0+ defining some prefixed positive real matrix sequence taking values in Rn×nwith at least a non-zero entry per row. The closed-loop control objective (3.30) is achievable by the feedback control sequence:
Thus, a modified constraint of the type (3.22), or (3.23), ensures that the solution of (3.28), subject to the extended control (3.31), lies alternately in A and B for each two consecutive samples for x0 ∈ A and converges to zero, while a modification of (3.24), or (3.25), ensures that the solution lies alternately in B and A and converges to zero, provided that Λ k x0 ∈ A∪(-A); ∀x0 ∈ A∪(-A), ∀k ∈ z0+, i.e., A∪(-A) is Λ k -invariant, ∀k ∈ z0+. Furthermore, A and B are both Λ2k-invariant. Such a modifications are got directly by replacing x(·) → Λ(·)x(·), ε(·) → Λ(·)ε(·) Note that the constraints (3.22), (3.23), (3.24), and (3.25) now become n-vector constraints. The Euclidean distances are now replaced by any Minkowski distance of order p (p-norm-induced distance for some real p ≥ 1) in R n as for instance, 1-norm-induced distance , 2-norm-induced (i.e., Euclidean) distance , p-norm-induced distance , or infinity-norm-induced distance .
References
Harjani J, Lopez B, Sadarangani B: A fixed point theorem for mappings satisfying a contractive condition of rational type of partially ordered metric space. Abstr Appl Anal 2010., 2010: Article ID 190701, 8. doi:10.1155/2010/190701
Harjani J, Sadarangani K: Fixed point theorems for weakly contractive mappings in partially ordered sets. Nonlinear Anal Theory Methods Appl 2009,71(7–8):3403–3410. 10.1016/j.na.2009.01.240
Bhardwaj R, Rajput SS, Yadava RN: Application of fixed point theory in metric spaces. Thai J Math 2007,5(2):253–259.
Enjouji Y, Nakanishi Y, Suzuki T: A generalization of Kannan's fixed point theorem. Fixed Point Theory Appl 2009., 2009: Article ID 192872, 10. doi:10.1155/2009/192872
Banach S: Sur les operations dans les ensembles abstracts et leur application aux équations intégrales. Fundam. Mathematicae 1922, 3: 133–181.
Chatterjee SK: Fixed point theorems. Comptes Ren Acad Bulgaria Sci 1972, 25: 727–730.
Fisher B: A fixed point theorem for compact metric spaces. Publ Math Debrecen 1978, 25: 193–194.
Kannan R: Some results on fixed points. Bull Calcutta Math Soc 1968, 60: 71–76.
Kannan R: Some results on fixed points--II. Am. Math. Monthly 1969, 76: 405–408. 10.2307/2316437
Reich S: Some remarks concerning contraction mappings. Can Math Bull 1971, 14: 121–124. 10.4153/CMB-1971-024-9
Kikkawa M, Suzuki T: Some similarity between contractions and Kannan mappings. Fixed Point Theory Appl 2008., 2008: Article ID 649749, 8. doi:10.1155/2009/649749
Subrahmanyam PV: Completeness and fixed points. Monatshefte für Mathematik 1975,80(4):325–330. 10.1007/BF01472580
Kirk WA, Srinivasan PS, Veeramani P: Fixed points for mappings satisfying cyclical contractive conditions. Fixed Point Theory 2003,4(1):79–89.
Eldred AA, Veeramani P: Existence and convergence of best proximity points. J Math Anal Appl 2006, 323: 1001–1006. 10.1016/j.jmaa.2005.10.081
Karpagam S, Agrawal S: Best proximity point theorems for p-cyclic Meir-Keeler contractions. Fixed Point Theory Appl 2009., 2009: Article ID 197308, 9. doi:10.1155/2009/197308
Di Bari C, Suzuki T, Vetro C: Best proximity points for cyclic Meir-Keeler contractions. Nonlinear Anal Theory Methods Appl 2008,69(11):3790–3794. 10.1016/j.na.2007.10.014
De la Sen M: Linking contractive self-mappings and cyclic Meir-Keeler contractions with Kannan self-mappings. Fixed Point Theory Appl 2010., 2010: Article ID 572057, 23. doi:10.1155/2010/572057
De la Sen M: Some combined relations between contractive mappings, Kannan mappings, reasonable expansive mappings and T-stability. Fixed Point Theory Appl 2009., 2009: Article ID 815637, 25. doi:10.1155/2009/815637
Suzuki T: Some notes on Meir-Keeler contractions and L-functions. Bull. Kyushu Inst Tech 2006, 53: 12–13.
Derafshpour M, Rezapour S, Shahzad N: On the existence of best proximity points of cyclic contractions. Adv Dyn Syst Appl 2011,6(1):33–40.
Rezapour Sh, Derafshpour M, Shahzad N: Best proximity points of cyclic φ -contractions on reflexive Banach spaces. Fixed Point Theory and Appl 2010., 2010: Article ID 946178, 7. doi:10.1155/2010/046178
Al-Thagafi MA, Shahzad N: Convergence and existence results for best proximity points. Nonlinear Anal: Theory, Methods Appl 2009,70(10):3665–3671. 10.1016/j.na.2008.07.022
Qin X, Kang SM, Agarwal RP: On the convergence of an implicit iterative process for generalized asymptotically quasi non-expansive mappings. Fixed Point Theory Appl 2010., 2010: Article ID 714860, 19. doi:10.1155/2010/7145860
Sadiq Basha S, Shahzad N, Jeyaraj R: Common best proximity points: global optimization of multi-objective functions. App Math Lett 2011,24(6):883–886. 10.1016/j.aml.2010.12.043
Shahzad N, Sadiq Basha S, Jeyaraj R: Common best proximity points: global optimal solutions. J Optim Theory Appl 2011,148(1):69–78. 10.1007/s10957-010-9745-7
Sadiq Basha S, Shahzad N, Jeyaraj R: Optimal approximate solutions of fixed point equations. Abstr Appl Anal 2011. Article ID 174560, 9 (2011)
De la Sen M, d Agarwal RP: Some fixed point-type results for a class of extended cyclic self-mappings with a more general contractive condition. Fixed Point Theory Appl 2011., 59:
De la Sen M: On the extensions of Krasnoselskii-type theorems to p-cyclic self-mappings in Banach spaces. Discrete Dyn Nat Soc 2011., 2011: Article ID 568072, 19. doi:10.1155/2011/568072
De la Sen M: On a general contractive condition for cyclic self-mappings. J Appl Math 2011., 2011: Article ID 542941, 17. doi:10.1155/2011/542941
De la Sen M: About robust stability of Caputo linear fractional dynamic systems with time delays through fixed point theory. Fixed Point Theory Appl 2011., 2011: Article ID 867932, 19. doi:10.1155/2011/867932
Dhompongsa S, Yingtaweesittikul H: Fixed points for multivalued mappings and the metric completeness. Fixed Point Theory Appl 2011., 2009: Article ID 972395, 15. doi:10.1155/2009/972395
Doric D, Lazovic R: Some Suzuki-type fixed point theorems for generalized multivalued mappings and applications. Fixed Point Theory Appl 2011, 2011: 40. doi:10.1186/1687–1812–2011–40 10.1186/1687-1812-2011-40
Kikkawa M, Suzuki T: Three fixed point theorems for generalized contractions with constants in complete metric spaces. Nonlinear Anal: Theory, Methods Appl 2008,69(9):2942–2949. 10.1016/j.na.2007.08.064
Nashine HK, Altun I: Fixed point theorems for generalized weakly contractive condition in ordered metric spaces. Fixed Point Theory Appl 2011., 2011: Article ID 132367, 20. doi:10.1155/2011/132367
Acknowledgements
The authors are grateful to the Spanish Ministry of Education for its partial support of this study through Grant DPI2009-07197. They are also grateful to the Basque Government for its support through Grants IT378-10 and SAIOTEK S-PE08UN15 and 09UN12. Finally, they thank the Associate Editor and the reviewers for their useful comments to improve the first version of the manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
Both the authors contributed equally and significantly in writing this paper. 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 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
De la Sen, M., Agarwal, R.P. Fixed point-type results for a class of extended cyclic self-mappings under three general weak contractive conditions of rational type. Fixed Point Theory Appl 2011, 102 (2011). https://doi.org/10.1186/1687-1812-2011-102
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2011-102