Abstract
This article discusses a more general contractive condition for a class of extended (p ≥ 2) -cyclic self-mappings on the union of a finite number of subsets of a metric space which are allowed to have a finite number of successive images in the same subsets of its domain. If the space is uniformly convex and the subsets are non-empty, closed and convex, then all the iterates converge to a unique closed limiting finite sequence which contains the best proximity points of adjacent subsets and reduces to a unique fixed point if all such subsets intersect.
Similar content being viewed by others
1. Introduction
A general contractive condition of rational type has been proposed in [1, 2] for a partially ordered metric space. Results about the existence of a fixed point and then its uniqueness under supplementary conditions are proved in those articles. The general rational contractive condition of [3] includes as particular cases several of the existing ones [1, 4–12] including Banach's principle [5] and Kannan's fixed point theorems [4, 8, 9, 11]. The general 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's mappings is extended in [4] by the use of a non-increasing function affecting to the contractive condition and the best constant to ensure that a fixed point is also obtained. Three fixed point theorems which extended the fixed point theory for Kannan's mappings were proved in [11]. On the other hand, important attention has been paid during the last decades to the study of standard contractive and Meir-Keeler-type contractive cyclic self-mappings (see, for instance, [13–22]). More recent investigation about cyclic self-mappings is being devoted to its characterization in partially ordered spaces and 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 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 p subsets A i ⊂ X of the metric space (X, d), or the Banach space (X, || ||), where the cyclic self-mappings are defined are 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 [14] 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 .
Other recent researches which have been performed in the field of cyclic maps are related to the introduction and discussion of the so-called cyclic representation of a set M, decomposed as the union of a set of non-empty sets as , with respect to an operator f: M → M[24]. Subsequently, cyclic representations have been used in [25] to investigate operators from M to M which are cyclic φ-contractions, where φ: R0+ → R0+ is a given comparison function, M ⊂ X and (X, d) is a metric space. The above cyclic representation has also been used in [26] to prove the existence of a fixed point for a self-mapping defined on a complete metric space which satisfies a cyclic weak φ-contraction. In [27], a characterization of best proximity points is studied for individual and pairs of non-self-mappings S, T: A → B, where A and B are non-empty subsets of a metric space. In general, best proximity points do not fulfil the usual "best proximity" condition x = Sx = Tx under this framework. However, best proximity points are proven to jointly globally optimize the mappings from x to the distances d(x, Tx) and d(x, Sx). Furthermore, a class of cyclic φ-contractions, which contain the cyclic contraction maps as a subclass, has been proposed in [28] to investigate the convergence and existence results of best proximity points in reflexive Banach spaces completing previous related results in [14]. Also, the existence and uniqueness of best proximity points of p(≥ 2) -cyclic φ-contractive self-mappings in reflexive Banach spaces has been investigated in [29].
In this article, it is also proven that the distance between the adjacent subsets A i , Ai+1⊂ X are identical if the p(≥ 2) -cyclic self-mapping is non-expansive [16]. This article is devoted to a generalization of the contractive condition of [1] for a class of extended cyclic self-mappings on any number of non-empty convex and closed subsets A i ⊂ X, . The combination of constants defined the contraction may be different on each of the subsets and only the product of all the constants is requested to be less than unity. On the other hand, the self-mapping can perform a number of iterations on each of the subsets before transferring its image to the next adjacent subset of the p(≥ 2) -cyclic self-mapping. The existence of a unique closed finite limiting sequence on any sequence of iterates from any initial point in the union of the subsets is proven if X is a uniformly convex Banach space and all the subsets of X are non-empty, convex and closed. Such a limiting sequence is of size q ≥ p (with the inequality being strict if there is at least one iteration with image in the same subset as its domain) where p of its elements (all of them if q = p) are best proximity points between adjacent subsets. In the case that all the subsets A i ⊂ X intersect, the above limit sequence reduces to a unique fixed point allocated within the intersection of all such subsets.
2. Main results for non-cyclic self-mappings
Let (X, d) be a metric space for a metric d: X × X → R0+ with a self-mapping T: X → X which has the following contractive condition proposed and discussed in [1]:
for some real constants α, β ∈ R0+ and α + β < 1 where R0+ = {r ∈ R: r ≥ 0}. A more general one involving powers of the distance is the following:
where s, σ, r, t: X × X → R+ = {r ∈ R: r > 0} are continuous and symmetric with respect to the order permutation of the arguments x and y. It is noted that if x = y then (2.1) has a sense only if x is a fixed point, i.e. x = y = Tx = Ty implies that (2.1) reduces to the inequality "0 ≤ 0". The following result holds:
Theorem 2.1: Assume that the condition (2.2) holds for some symmetric continuous functions subject to 0 < r(x, y) ≤ s(x, y)+ln(P-d(Tx, Ty)) if r(x, y) ≠ s(x, y) and if t(x, y) ≠ s(x, y) for some real constants , subject to the constraint . Then, d(Tn+1x, Tnx) → 0 as n → ∞; ∀ x ∈ X. Furthermore, is a Cauchy sequence.
If, in addition, (X, d) is complete then Tnx → z as n → ∞, for some z ∈ X. If, furthermore, T: X → X is continuous, then z = Tz is the unique fixed point of T: X → X.
Proof: If y = Tx, then the above given constraints on the symmetric functions become 0 < r(x, x) ≤ s(x, x)+ln(P-d(Tx, T2x)) if r(x, x) ≠ s(x, x) and if t(x, x) ≠ s(x, x). If y = x = Tx, then d(Tn+1x, Tnx) → 0 as n → ∞; x ∈ X follows directly from (2.2) since ds(x, x)(Tn+1x, Tnx) = 0. Now, take y = Tx so that for any x ≠ Tx for x, Tx ∈ X and note that the conditions 0 < r(x, x) ≤ s(x, x)+ln(P-d(Tx, T2x)) if r(x, x) ≠ s(x, x) and if t(x, x) ≠ s(x, x) are identical to
Thus, one gets from (2.1):
so that, since , one gets from (2.4) proceeding by complete induction for n ∈ N0
what implies d(Tn+1x, Tnx) ≤ kn/s(x, x)d(Tx, x) → 0 as n → ∞; ∀ x ∈ X. Taking n, m(≥ n+2) ∈ N0, one can get from (2.5):
so that
what proves that is a Cauchy sequence. Such a Cauchy sequence has a limit in X if (X, d) is complete from the convergence property of Cauchy sequences to points of the space X. If, in addition, T: X → X is continuous then so that the limit of the sequence is a fixed point. The uniqueness of the fixed point is now proven (i.e. z is not dependent on of x) by contradiction. Assume that there exists two distinct fixed points y = Ty and z = Tz in X. Then, from (2.5):
so that
what implies if d(Ty, Tz) = d(y, z) > 0 contradicting . Thus, y = z and hence the theorem. □
A simpler contractive condition leads to a close result to Theorem 2.1 as follows:
Corollary 2.2: Assume that the condition (2.2) is modified as follows:
for some real constants s ∈ R+, α, β ∈ R0+, subject to α+β < 1. Then, Theorem 2.1 holds.
Proof: Taking then (2.3)-(2.7) hold by replacing r(x), s(x), t(x) → s ∈ R+. Thus, Theorem 2.1 holds for this particular case. Hence, the corollary. □
3. Main results for p(≥ 2) -cyclic self-mappings and extended p-cyclic self-mappings
Let be an extended p(≥ 2) -cyclic self-mapping where A i ≡ A i+kp ⊂ X; , ∀ k ∈ N subject to the constraints T(A i ) ⊆A i ∪ Ai+1, Tℓ (A i ) ⊆ Ai+1; and for some finite integers j i ≥ 1; (this implies that with equality standing if and only if j i ≥ 1; , i.e. if the cyclic mapping is of standard type) with and T0 ≡ id. It is noted that the extended p(≥ 2) -cyclic self-mapping is characterized by the p-tuple of integers , where and if, in particular, j i = 1; then is the standard p-cyclic self-mapping. It is also noted that the self-mappings and the composed mappings satisfying the extended inclusion constraint T(A i ) ⊆ A i ∪ Ai+1, subject to Tℓ (A i ) ⊆ A i , ; ; , are not q-cyclic self-mappings [13–17], except if q = p, since fails for unless j ℓ ≥ j i . The contractive condition (2.1) becomes modified as follows:
for x, y ∈ A i ∪ Ai+1, Tx ∈ A i ∪ Ai+1, Ty ∈ Ai+1∪ Ai+2and some real constants γ i ∈ R0+ while Tx, Ty are not both in the same subset A j for j = i, i+1, i+2 for any , and
or if x, y ∈ Ai+1, Tx, Ty ∈ Ai+1for any , where D: = dist(A i , Ai+1) being zero if ; . Fix y = Tx then, one can get from (3.2) for x ∈ A i :
if Tx ∈ Ai+1, , and
if x, Tx ∈ A i provided that the following upper-bounding conditions hold:
Thus, the following technical result holds which does not require completeness of the metric space, uniform convexity assumption on some associated Banach space or particular properties of the non-empty subsets A i ; . The result will be then used to obtain the property of convergence of the sequences of iterates to best proximity points allocated in the various subsets.
Theorem 3.1: Let (X, d) a metric space and A i ≡ Ai+kp⊂ X; . Assume that is an extended (p ≥ 2) p-cyclic map, subject to the extended contractive condition (3.1), with T(A i ) ⊆ A i ∪ Ai+1, Tℓ (A i ) ⊆ Ai+1; and for some finite integers j i ≥ 1 and ; . Define , subject to , and γ i = 1-k i ; . Assume also that σ(x, x) > 0, s(x, x) > 0, 0 < r(x, x) ≤ s(x, x)+ln(P-d(Tx, T2x)) if r(x, x) ≠ s(x, x) and if t(x, x) ≠ s(x, x); . Then, the following properties hold:
-
(i)
(3.6a)(3.6b)(3.6c)
with i ≤ m' < m < p+i, j p+i = j p ; , and similarly:
-
(ii)
(3.9)(3.10)(3.11)
Proof: The proof of Property (i) follows from the following inequalities which follow by recursion from (3.3) to (3.5):
; , since . One can get from (3.12) and (3.14) and, respectively, from (3.13) to (3.14):
Proceeding recursively with (3.14) for n ∈ N, one can get:
for , and
; ∀x ∈ Ai; Tnqx ∈ A i ; ; . One can get (3.6a) from (3.18) and (3.7)-(3.8) from (3.17), respectively, since k < 1 by taking limits as n → ∞. Equations 3.6b and 3.6c follow directly from (3.6a) as follows:
with ; since . Then, .
Proceeding recursively:
with i < m(∈ N) < p+i, j p+i = j p , ; so that . In the same way, one can get:
with i ≤ m'+i ≤ (∈ N) ≤ p+i, jp+i= j p , ; . Then, . Property (i) has been proven. Now, note from (3.16), (3.15) and (3.18) that
; ; , ,. Hence, Property (ii). □
Remark 3.2. It is noted that if and x ∈ A j for some and j ℓ < j i then as n → ∞ for all ℓ < j i . □
The following result is concerned with the proved property that distances of iterates obtained through the composed self-mapping starting from a point x in any of the subsets, and located within two distinct of such subsets for all the iteration steps, asymptotically converge to the distance D between such subsets in uniformly convex Banach spaces, with at least one of them being convex. It is also obtained a convergence property of the iterates of the composed self-mapping to limit points within each of the subsets.
Lemma 3.3: Let (X, || ||) be a uniformly convex Banach space endowed with the norm || || and let d: X × X →R0+ be a metric induced by such a norm || || so that (X, d) is a complete metric space. Assume that the non-empty subsets A i of X and the extended p(≥ 2) -cyclic self-mapping fulfil the constraints of Theorem 3.1 and, furthermore, one subset is closed and another one is convex and closed in each pair (A i , Ai+1) of adjacent subsets, . Then, the following properties hold:
-
(i)
(3.24a)(3.24b)
; ∀ x ∈ A i , i ≤ m' < m < p+i, jp+i= j p , ,. Furthermore, if Ai+1is convex, then as n → ∞. Also, as n → ∞ with zi+m+1≡ zi+m+1-p, Ai+m+1≡ Ai+m+1-pif m > p+1-i. Furthermore, if all the subsets are closed and convex, then as n → ∞ if D = 0, that is if , so that is the unique fixed point of in .
-
(ii)
If A i or A i+m+1is convex then
(3.25)
;
Proof: Note from (3.6a) that
; ∀ x ∈ A i , jp+i= j p , ∀ n' ∈ N, with Tnqx ∈ A i , with Ai+1≡ Ai+1-pif i > p-1, since (X, || ||) is a uniformly convex Banach space, d: X × X → R0+be a metric induced by the norm || ||, so that (X, d) is a complete metric space, and A i and Ai+1are non-empty closed subsets of X and at least one of them is convex (see Lemma 3.8 of [13]). Then . On the other hand, is proven by replacing (3.26a) by
with i ≤ m < p+i, ∀ n' ∈ N. Thus, x ∈ A i implies Tnqx ∈ A i , . The identities (3.24a) have been proven. To prove (3.24b), note from Equation 3.24a of Property (i) and the triangle inequality that the following holds:
; ∀ x ∈ A i , i ≤ m' < m < p+i, jp+i= j p , ,. . On the other hand, note that is a Cauchy sequence since from (3.24a) which then has a limit in X which is also in the closed and convex subset Ai+1of X. The proof of with Ai+m+1≠ A i , since m < p+i, as n → ∞ follows from similar arguments since one of the subsets in each adjacent pair of subsets is convex and both of them are closed by assumption so that as n → ∞; ∀ x ∈ A i , . Finally, if the subsets intersect and are closed and convex then the composed self-mapping is contractive, then continuous everywhere in its definition domain, so that it converges to a unique fixed point in the non-empty, closed and convex set . Hence, Property (i).
To prove Property (ii), note from (3.6d) with m = i and m1 = 0 that
; ∀ x ∈ A i , i ≤ m < p+i, j p+i = j p , ∀ n' ∈ N; with Tnqx ∈ A i , ; with Ai+m+1≡ Ai+m+1-pif m > p-i-1; , since (X, || ||) is a uniformly convex Banach space (and then (X, d) is a complete metric space) and A i and Ai+m+1are non-empty closed subsets of X and A i or Ai+m+1is convex. Then, (3.25) follows in the same way as Property (i). □
The following result concerning to convergence of the iterates to closed finite sequences--eventually to unique fixed points if all the subsets intersect--is supported by Theorem 3.1 and Lemma 3.3.
Theorem 3.4: Let A i be non-empty closed and convex subsets of a uniformly convex Banach space (X, || ||); . Assume that is an extended (p ≥ 2) -cyclic map, subject to the extended contractive condition (3.1), with T(A i ) ⊆ A i ∪ Ai+1, Tℓ (A i ) ⊆ Ai+1; and for some finite integers j i ≥ 1, and . Then, the following properties hold:
-
(i)
Tqnx → z i ∈ A i , ∀ x ∈ A i as n → ∞ and there is a q-tuple:
(3.30)
; which is the unique limit sequence of limit points of any q-tuple of sequences:
; ∀ x ∈ A i , where Tkz i ∈ A i ; ; , ωi+ℓ∈ Ai+ℓis the unique best proximity point in Ai+ℓ; such that D = dist(A i , Ai+1) = d(ω i , ωi+1); .
-
(ii)
Assume that . Then, the self-mapping has a unique fixed point . Then, any q-tuple of sequences (3.31) converges to a unique limit q-tuple (3.30) of the form for any and for any .
Proof: To keep a coherent treatment with the previous part of the manuscript and, since (X, || ||) is a Banach space with norm || ||, we can use a norm-induced metric d: X × X→R0+ which is equivalent to any other metric and then apply Theorem 3.1 to the metric space (X, d) which is complete since (X, || ||) is a Banach space. Assume the following cases:
-
(A)
D = 0 so that for ; i.e. all the subsets have a non-empty intersection. Then, , d(T (n+1)q x, Tnqx) → 0 and d(T nq+ℓ x, Tnqx) → 0; ∀ x ∈ A i ; , as n → ∞ from Theorem 3.1, Equations 3.6 and 3.8, with A j ≡ A j-pfor 2p ≥ j > p. Thus, Tqnx(∈ A i ) → z, since {Tqnx}n ∈ Nis a Cauchy sequence (and also T qn+ℓ x(∈ A i+ℓ) → z) for some , since is non-empty, convex and closed from Banach contraction principle since k < 1. Since k < 1, the composed self-mapping is contractive, and then continuous, and since (X, d) is complete, since the associated (X, || ||) is a Banach space, is a unique fixed point of . Thus, again the continuity of and the fact that it has a unique fixed point z leads to the identities Tq (Tz) = T q+1 z = T(Tqz) = Tz = Tq (Tqz) = Tqz so that z = Tz and then z is also a fixed point of . Furthermore, z is also the unique fixed point of as follows by contradiction. Assume that z is not unique. Then, such that z is the unique fixed point of and such that y and z are both fixed points of . Then, Tqy = T(Tqy) = Ty = y which contradicts that z is the unique fixed point of . Finally, as a result of the uniqueness of the fixed point, it follows directly that any q-tuple (3.30) converges to a unique q-tuple ; for any . Hence, Property (ii).
-
(B)
D ≠ 0 so that for . One can get from (3.6) to (3.8):
(3.32)
; ∀ x i ∈ A i ; , . Thus:
; ∀ x i ∈ A i , , . One has from Lemma 3.3, Equation 3.24b and Proposition 3.2 of [14]:
, that is, the distance between the subsets Ai+m+1(≡ Ai+m+1-pif m > p+1-i) and Ai+m'+1(≡ Ai+m'+1-pif m > m' > p+1-i) of X equalizes that of two corresponding best proximity points, for some convergent subsequences and and two best proximity points: ωi+m+1∈ Ai+m+1; ωi+m'+1∈ Ai+m'+1. Then, again from Lemma 3.3 and (3.34), one can get
Also, one has from Lemma 3.3, that so that, by taking into account (3.35), as n → ∞; x ∈ A i , with j ℓ = jℓ-pfor any ℓ > p, ∀ n' ∈ N0, since . That is, converges to a best proximity point of Ai+m+1; ∀ x i ∈ A i ; .
Now, take a sequence where . Then, ; . Assume that does not converge in Ai+m+1so that one can get from Theorem 3.1, Equation 3.8 and Lemma 3.3 (ii):
which is a contradiction. Then, and is a Cauchy sequence with a limit in the closed and convex Ai+m+1∈ X for any , ∀x i ∈ A i and . It has been proven that ; and the set is a set of best proximity points with ; and ωp+1= ω1. It remains to prove that the elements of the limit sequence are not dependent on the initial point x i ∈ A i ; to construct any sequence of iterates except, perhaps, in the order that the limiting points are allocated within such a limiting sequence. Proceed by contradiction by assuming that there are two distinct best proximity points ω i , z i ∈ A i for some so that:
since ω i , z i (≠ ω i ) ∈ A i are best proximity points and . Since that the above property holds irrespective of the integers and n ∈ N0, the following contradiction follows from (3.37), and Theorem 3.1, Equation 3.6a:
irrespective of . Therefore, the best proximity points are unique within each of the subsets. Furthermore, since , the limit sequence (3.30) is unique by successive iterations from any of the best proximity points. Since there is a convergence to it from any initial point in , any q-sequence of iterates converges to such a limit sequence, irrespective of the initial point, except for the order of the elements. □
Remark 3.5. Concerning with Theorem 3.4 (ii), note that is not necessarily contractive when D = 0 although be contractive. However, the contractive property of leads to that of possessing also a unique fixed point in which is that of . It is also noted that the limit sequence is unique except in the order of the elements in the sense that if a sequence of iterates Equation 3.31 converges to Equation 3.30 for any initial point x ∈ A i , then for x ∈ A k the limit sequence being asymptotically reached will be:
which is identical to (3.30) except in the order of its elements. □
An example is given below
Example 3.6: Take p = 2 and subsets A1 ≡ C(a, 0, a-a0) and A2 ≡ C(-a, 0, a-a0) of R2 are circles of centre in (a, 0) and (-a, 0), respectively, and radius a-a0 with a > a0 which are defined by
We consider the complete metric space (R2, d) with the Euclidean metric. It is clear that such a space being considered as the Banach space (R2, || ||), endowed with the Euclidean norm, is uniformly convex, then strictly convex and reflexive [23]. It is noted that D = 2a0 = dist(A1, A2) and now consider the constraint (3.1) with functions s, x, r, t: (A1 ∪ A2) × (A1 ∪ A2) → R+ being constant identically unity. Assume that T is some extended 2-cyclic self-mapping on A1 ∪ A2 with j1 = 2, j2 = 1. Thus, one can get
Now, define also the family of parameterized circles being with A1 and contained in it (with proper or improper set inclusion) of radius 0 < a1 ≤ a-a' for a' ∈ [0, a). It is noted that . Next, we define constructively a self-mapping which is an extended cyclic one and which verifies the properties. Now, consider a self-mapping T: A1 ∪ A2 → A1 ∪ A2 defined as follows:
The positive solution in of the equality defining a circle for a fixed a1 = a1(x0, y0) ≤ a-a' is defined below together with available point-dependent lower and upper-bounds:
It is noted that such a positive solution always exists everywhere in A1 since . Thus, the constraint (3.1) is fulfilled by any self-mapping T: A1 ∪ A2 → A1 ∪ A2 with 1 > α1 ≥ 0, and . It is noted that the condition (3.1) is not guaranteed to be contractive for any point of A1. It is also noted that if (x0, y0) ∈ Fr(A1) then with a0 = 0 so that g1 = Tg0 = g0. However, it can be noticed that g1 is not a fixed point since g2 = Tg1 ≠ g1. Next, define:
under the contractive constant k2 defined as follows subject to constraints:
so that the composed extended cyclic self-mapping T3: A1 ∪ A2 → A1 ∪ A2 is subject to a the contractive condition (3.1) of contractive constant k = k1k2 < 1 with s, x, r, t: (A1 ∪ A2) × (A1 ∪ A2) → R+, i.e. for the Euclidean distance. Consider initial points in A2 as g0 = (x0, y0) ∈ A2. Thus, (a) first apply (3.45) with the replacements (x3, y3) → (x1, y1) ∈ A2 and g3 → g1(x1, y1) ∈ A1; (b) then apply (3.42) with the replacement (x3, y3) → (x1, y1) and g1 →g2 = (x2, y2) ∈ A1; (c) later on apply (3.44) with the replacement (x2, y2) → (x3, y3) and g2 → g3(x3, y3) ∈ A2. Theorems 3.1 and 3.4 are fulfilled and there is a limiting repeated sequence of three points S*: = ((-a0, 0)), (a0, 0), (a0, 0)) which are two best proximity points, one located in A2 and another one in A1, repeated. It is noted that the repeated value of the best proximity point (a0, 0) in the limiting sequence is due to the fact that the circumference being the boundary of A1 is invariant under T, although infinitely many different cyclic self-mappings can be defined on the same two subsets A1, 2 so that a limiting sequence is reached having a common (perhaps only) the best proximity points with S*. It is also noted that if a0 ≠ 0 then (a0, 0) is not a fixed point of T: A1 ∪ A2 → A1 ∪ A2 since T(a0, 0) = (a0, 0) ⇒ T2(a0, 0) = (-a0, 0). However, if a0 = D = 0 then the intersection of both circles is {(0, 0)} so that the limiting sequence consists of a repeated fixed point.
References
Harjani J, Lopez B, Sadarangani K: A fixed point theorem for mappings satisfying a contractive condition of rational type of partially ordered metric space. Abstr Appl Anal 2010, 2010: 8. (Article Number 190701)
Harjani J, Sadarangani K: Fixed point theorems for weakly contractive mappings in partly 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 M, Suzuki T: A generalization of Kannan's fixed point theorem. Fixed Point Theory Appl 2009, 2009: 10. (Article Number 192872)
Banach S: Sur les operations dans les ensembles abstracts et leur application aux équations intégrales. Fundamenta Mathematicae 1922, 3: 133181.
Chatterjee SK: Fixed point theorems. Comptes Ren Acad Bulgaria Sci 1972, 25: 727730.
Fisher B: A fixed point theorem for compact metric spaces. Publ Math Debrecen 1978, 25: 193194.
Kannan R: Some results on fixed points. Bull Calcutta Math Soc 1968, 60: 7176.
Kannan R: Some results on fixed points-II. Am Math Monthly 1969, 76: 405408.
Reich S: Some remarks concerning contraction mappings. Can Math Bull 1971, 14: 121124.
Kikkawa M, Suzuki T: Some similarity between contractions and Kannan mappings. Fixed Point Theory Appl 2008, 2008: 8. (Article ID 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(2):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: 9. (Article Number 197308)
Di Bari S, 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: 23. (Article Number 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: 25. (Article Number 815637)
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
Suzuki T: Some notes on Meir-Keeler contractions and L-functions. Bull Kyushu Inst Technol 2006, 53: 1213.
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 Appl 2010, 2010: 7. (Article ID 946178)
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: 19. (Article Number 714860)
Rus IA: Cyclic representations and fixed points. Ann T Popoviciu Seminar Funct Eq Approx Convexity 2005, 3: 171178.
Pacurar M, Rus IA: Fixed point theory for cyclic φ -contraction. Nonlinear Anal: Theory Methods Appl 2010,72(3–4):1181–1187. 10.1016/j.na.2009.08.002
Karapinar E: Fixed point theory for cyclic weak φ -contraction. Appl Math Lett 2011, 24: 822825.
Shazhad 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
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
Vetro C: Best proximity points: convergence and existence theorems for p-cyclic mappings. Nonlinear Anal: Theory Methods Appl 2010,73(7):2283–2291. 10.1016/j.na.2010.06.008
Acknowledgements
The authors wish to thank the Spanish Ministry of Education for their support through Grant DPI2009-07197. They are also grateful to the Basque Government for their support through Grants IT378-10, and SAIOTEK SPE09UN12. The authors thank the referees for their useful suggestions.
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. 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 (2011). https://doi.org/10.1186/1687-1812-2011-59
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2011-59