Abstract
This paper discusses a more general contractive condition for a class of extended 2cyclic selfmappings 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 nonempty, closed and convex, then all the iterations converge to a unique closed limiting finite sequence, which contains the best proximity points of adjacent subsets, and reduce to a unique fixed point if all such subsets intersect.
1 Introduction
Strict pseudocontractive mappings and pseudocontractive mappings in the intermediate sense formulated in the framework of Hilbert spaces have received a certain attention in the last years concerning their convergence properties and the existence of fixed points. See, for instance, [14] and references therein. Results about the existence of a fixed point are discussed in those papers. On the other hand, important attention has been paid during the last decades to the study of the convergence properties of distances in cyclic contractive selfmappings on p subsets of a metric space , or a Banach space . The cyclic selfmappings under study have been of standard contractive or weakly contractive types and of MeirKeeler type. The convergence of sequences to fixed points and best proximity points of the involved sets has been investigated in the last years. See, for instance, [520] and references therein. It has to be noticed that every nonexpansive mapping [21,22] is a 0strict pseudocontraction and also that strict pseudocontractions in the intermediate sense are asymptotically nonexpansive [2]. The uniqueness of the best proximity points to which all the sequences of iterations converge is proven in [6] for the extension of the contractive principle for cyclic selfmappings in either uniformly convex Banach spaces (then being strictly convex and reflexive [23]) or in reflexive Banach spaces [13]. The p subsets of the metric space , or the Banach space , where the cyclic selfmappings are defined, are supposed to be nonempty, convex and closed. If the involved subsets have nonempty intersections, then all best proximity points coincide, with a unique fixed point being allocated in the intersection of all the subsets, and framework can be simply given on complete metric spaces. The research in [6] is centered on the case of the 2cyclic selfmapping being defined on the union of two subsets of the metric space. Those results are extended in [7] for MeirKeeler cyclic contraction maps and, in general, with the cyclic selfmapping defined on any number of subsets of the metric space with . Other recent research which has been performed in the field of cyclic maps is related to the introduction and discussion of the socalled cyclic representation of a set M, as the union of a set of nonempty sets as , with respect to an operator [14]. Subsequently, cyclic representations have been used in [15] to investigate operators from M to M which are cyclic φcontractions, where is a given comparison function, and is a metric space. The above cyclic representation has also been used in [16] to prove the existence of a fixed point for a selfmapping defined on a complete metric space which satisfies a cyclic weak φcontraction. In [18], a characterization of best proximity points is studied for individual and pairs of nonselfmappings , where A and B are nonempty subsets of a metric space. The existence of common fixed points of selfmappings is investigated in [24] for a class of nonlinear integral equations, while fixed point theory is investigated in locally convex spaces and nonconvex sets in [2528]. More recently, the existence and uniqueness of best proximity points of more general cyclic contractions have been investigated in [29,30] and a study of best proximity points for generalized proximal contractions, a concept referred to nonselfmappings, has been proposed and reported in detail in [31]. Also, the study and characterization of best proximity points for cyclic weaker MeirKeeler contractions have been performed in [32] and recent contributions on the study of best proximity and proximal points can be found in [3338] and references therein. In general, best proximity points do not fulfill the usual ‘best proximity’ condition under this framework. However, best proximity points are proven to jointly globally optimize the mappings from x to the distances and . Furthermore, a class of cyclic φcontractions, which contains the cyclic contraction maps as a subclass, has been proposed in [18] in order to investigate the convergence and existence results of best proximity points in reflexive Banach spaces completing previous related results in [6]. Also, the existence and uniqueness of best proximity points of cyclic φcontractive selfmappings in reflexive Banach spaces have been investigated in [19]. This paper is devoted to the convergence properties and the existence of fixed points of a generalized version of pseudocontractive, strict pseudocontractive and asymptotically pseudocontractive in the intermediate sense in the more general framework of metric spaces. The case of 2cyclic pseudocontractive selfmappings is also considered. The combination of constants defining 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. It is assumed that the considered selfmapping can perform a number of iterations on each of the subsets before transferring its image to the next adjacent subset of the 2cyclic selfmapping. The existence of a unique closed finite limiting sequence on any sequence of iterations 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 nonempty, convex and closed. Such a limiting sequence is of size (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 ) are best proximity points between adjacent subsets. In the case that all the subsets intersect, the above limit sequence reduces to a unique fixed point allocated within the intersection of all such subsets.
2 Asymptotic contractions and pseudocontractions in the intermediate sense in metric spaces
If H is a real Hilbert space with an inner product and a norm and A is a nonempty closed convex subset of H, then is said to be an asymptotically βstrictly pseudocontractive selfmapping in the intermediate sense for some if
for some sequence , as [14,23]. Such a concept was firstly introduced in [1]. If (2.1) holds for , then is said to be an asymptotically pseudocontractive selfmapping in the intermediate sense. Finally, if as , then is asymptotically βstrictly contractive in the intermediate sense, respectively, asymptotically contractive in the intermediate sense if . If (2.1) is changed to the stronger condition
then the above concepts translate into being an asymptotically βstrictly pseudocontractive selfmapping, an asymptotically pseudocontractive selfmapping and asymptotically contractive one, respectively. Note that (2.1) is equivalent to
or, equivalently,
where
Note that the highrighthandside term of (2.3) is expanded as follows for any :
The objective of this paper is to discuss the various pseudocontractive in the intermediate sense concepts in the framework of metric spaces endowed with a homogeneous and translationinvariant metric and also to generalize them to the βparameter to eventually be replaced with a sequence in . Now, if instead of a real Hilbert space H endowed with an inner product and a norm , we deal with any generic Banach space , then its norm induces a homogeneous and translation invariant metric defined by ; so that (2.6) takes the form
Define
which exists since it follows from (2.7), since the metric is homogeneous and translationinvariant, that
The following result holds related to the discussion (2.7)(2.9) in metric spaces.
Theorem 2.1Letbe a metric space and consider a selfmapping. Assume that the following constraint holds:
with
for some parameterizing bounded real sequences, andof general terms, , satisfying the following constraints:
withand, furthermore, the following condition is satisfied:
Then the following properties hold:
(i) for anyso thatis asymptotically nonexpansive.
(ii) Letbe complete, be, in addition, a translationinvariant homogeneous norm and let, withbeing the metricinduced norm from, be a uniformly convex Banach space. Assume also thatis continuous. Then any sequence; is bounded and convergent to some point, being in general dependent onx, in some nonempty bounded, closed and convex subsetCofA, whereAis any nonempty bounded subset ofX. Also, is bounded; , ; , andis a fixed point of the restricted selfmapping; . Furthermore,
Proof Consider two possibilities for the constraint (2.10), subject to (2.11), to hold for each given and as follows:
(A) for any , . Then one gets from (2.10)
which holds from (2.12)(2.13) if since
as in (2.13) is equivalent to (2.16). Note that is ensured either with or with if
However, with has to be excluded because of the unboundedness or nonnegativity of the second righthandside term of (2.15).
(B) for some , . Then one gets from (2.10)
where
which holds from (2.12) and if , and
Thus, (2.15)(2.16), with the second option in the logic disjunction being true if and only if together with (2.18)(2.20), are equivalent to (2.12)(2.13) by taking to be either or for each . It then follows that ; from (2.15)(2.19) since and ; as . Thus, is asymptotically nonexpansive. Thus, Property (i) has been proven. Property (ii) is proven as follows. Consider the metricinduced norm equivalent to the translationinvariant homogeneous metric . Such a norm exists since the metric is homogeneous and translationinvariant so that norm and metric are formally equivalent. Rename and define a sequence of subsets of X. From Property (i), is bounded; if is finite, since it is bounded for any finite and, furthermore, it has a finite limit as . Thus, all the collections of subsets ; are bounded since is bounded. Define the set which is nonempty bounded, closed and convex by construction. Since is complete, is a uniformly convex Banach space and is asymptotically nonexpansive from Property (i), then it has a fixed point [1,23]. Since the restricted selfmapping is also continuous, one gets from Property (i)
Then any sequence is convergent (otherwise, the above limit would not exist contradicting Property (i)), and then bounded in C; . This also implies is bounded; , and ; , . This implies also as ; such that ; which is then a fixed point of (otherwise, the above property ; , would be contradicted). Hence, Property (ii) is proven. □
First of all, note that Property (ii) of Theorem 2.1 applies to a uniformly convex space which is also a complete metric space. Since the metric is homogeneous and translationinvariant, a norm can be induced by such a metric. Alternatively, the property could be established on any uniformly convex Banach space by taking a norminduced metric which always exists. Conceptually similar arguments are used in later parallel results throughout the paper. Note that the proof of Theorem 2.1(i) has two parts: Case (A) refers to an asymptotically nonexpansive selfmapping which is contractive for any number of finite iteration steps and Case (B) refers to an asymptotically nonexpansive selfmapping which is allowed to be expansive for a finite number of iteration steps. It has to be pointed out concerning such a Theorem 2.1(ii) that the given conditions guarantee the existence of at least a fixed point but not its uniqueness. Therefore, the proof is outlined with the existence of a for any nonempty, bounded and closed subset A of X. Note that the set C, being in general dependent on the initial set A, is bounded, convex and closed by construction while any taken nonempty set of initial conditions is not required to be convex. However, the property that all the sequences converge to fixed points opens two potential possibilities depending on particular extra restrictions on the selfmapping , namely: (1) the fixed point is not unique so that for any (and any A in X) so that some set for some contains more than one point. In other words, as ; has not been proven although it is true that ; ; (2) there is only a fixed point in X. The following result extends Theorem 2.1 for a modification of the asymptotically nonexpansive condition (2.10).
Theorem 2.2Letbe a metric space and consider the selfmapping. Assume that the constraint below holds:
with
for some parameterizing real sequences, andsatisfying, for any,
Then the following properties hold:
(i) so thatis asymptotically nonexpansive, and then; if
and the following limit exists:
(ii) Property (ii) of Theorem 2.1 ifis complete andis a uniformly convex Banach space under the metricinduced norm.
Sketch of the proof Property (i) follows in the same way as the proof of Property (i) of Theorem 2.1 for Case (B). Using proving arguments similar to those used to prove Theorem 2.1, one proves Property (ii). □
The relevant part in Theorem 2.1 being of usefulness concerning the asymptotic pseudocontractions in the intermediate sense and the asymptotic strict contractions in the intermediate sense relies on Case (B) in the proof of Property (i) with the sequence of constants ; , and ; as , . The concepts of an asymptotic pseudocontraction and an asymptotic strict pseudocontraction in the intermediate sense motivated in Theorem 2.1 by (2.7)(2.9), under the asymptotically nonexpansive constraints (2.10) subject to (2.11) and in Theorem 2.2 by (2.22) subject to (2.23) are revisited as follows in the context of metric spaces.
Definition 2.3 Assume that is a complete metric space with being a homogeneous translationinvariant metric. Thus, is asymptotically βstrictly pseudocontractive in the intermediate sense if
for ; and some real sequences , being, in general, dependent on the initial points, i.e., , and
Definition 2.4 is asymptotically pseudocontractive in the intermediate sense if (2.30) holds with , , , , , as and the remaining conditions as in Definition 2.3 with , and .
Definition 2.5 is asymptotically βstrictly contractive in the intermediate sense if , , ; , , as , in Definition 2.3 with , .
Definition 2.6 is asymptotically contractive in the intermediate sense if , , ; , , , and as in Definition 2.3 with , and .
Remark 2.7 Note that Definitions 2.32.5 lead to direct interpretations of their role in the convergence properties under the constraint (2.22), subject to (2.23), by noting the following:
(1) If is asymptotically βstrictly pseudocontractive in the intermediate sense (Definition 2.3), then the real sequence of asymptotically nonexpansive constants has a general term ; , and it converges to a limit since and as ; from (2.22) since from (2.27). Then is trivially asymptotically nonexpansive as expected.
(2) If is asymptotically pseudocontractive in the intermediate sense (Definition 2.4), then the sequence of asymptotically nonexpansive constants has the general term: ; , and it converges to a limit since , as . Then is also trivially asymptotically nonexpansive as expected. Since , note that and for any , while , as since as ; from (2.22)(2.23).
(3) If is asymptotically βstrictly contractive in the intermediate sense (Definition 2.5), then the sequence of asymptotically contractive constants is defined by ; and as for any such that as , since . Then is an asymptotically strict contraction as expected since as ; from (2.22)(2.23). Note that the asymptotic convergence rate is arbitrarily fast as α and β are arbitrarily close to zero, since becomes also arbitrarily close to zero, and with .
(4) If is asymptotically contractive in the intermediate sense (Definition 2.6), then the sequence of asymptotically contractive constants is defined by
with and as for some since with so that . Then is an asymptotically strict contraction as expected since as ; from (2.23). Note that if and and . Note also that if and , while if and . In the first case, the convergence to fixed points (see Theorem 2.8 below) is guaranteed to be asymptotically faster if the selfmapping is asymptotically βstrictly contractive in the intermediate sense than if it is just asymptotically contractive in the intermediate sense if , . Note also that if the sequences and are identical in both cases, then for any such that and for any such that .
(5) The above considerations could also be applied to Theorem 2.1 for the case (Case (B) in the proof of Property (i)) being asymptotically nonexpansive for the asymptotically nonexpansive condition (2.10) subject to (2.11).
The subsequent result, being supported by Theorem 2.2, relies on the concepts of asymptotically contractive and pseudocontractive selfmappings in the intermediate sense. Therefore, it is assumed that .
Theorem 2.8Letbe a complete metric space endowed with a homogeneous translationinvariant metricand consider the selfmapping. Assume thatis a uniformly convex Banach space endowed with a metricinduced normfrom the metric. Assume that the asymptotically nonexpansive condition (2.22), subject to (2.23), holds for some parameterizing real sequences, andsatisfying, for any,
, . Thenfor anysatisfying the conditions
Furthermore, the following properties hold:
(i) is asymptoticallyβstrictly pseudocontractive in the intermediate sense for some nonempty, bounded, closed and convex setand any given nonempty, bounded and closed subsetof initial conditions if (2.29) hold with, , , andas; , . Also, has a fixed point for any such setCifis continuous.
(ii) is asymptotically pseudocontractive in the intermediate sense for some nonempty, bounded, closed and convex setand any given nonempty, bounded and closed subsetof initial conditions if (2.29) hold with, , , , andas; , . Also, has a fixed point for any such setCifis continuous.
(iii) If (2.29) hold with, , , ; andas, thenis asymptoticallyβstrictly contractive in the intermediate sense. Also, has a unique fixed point.
(iv) If (2.29) hold with, , , ; , andas, thenis asymptotically strictly contractive in the intermediate sense. Also, has a unique fixed point.
Proof (i) It follows from Definition 2.3 and the fact that Theorem 2.2 holds under the particular nonexpansive condition (2.22), subject to (2.23), so that is asymptotically nonexpansive (see Remark 2.7(1)). Property (ii) follows in a similar way from Definition 2.4 (see Remark 2.7(2)). Properties (iii)(iv) follow from Theorem 2.2 and Definitions 2.52.6 implying also that the asymptotically nonexpansive selfmapping is also a strict contraction, then continuous with a unique fixed point, since (see Remark 2.7(3)) and with (see Remark 2.7(4)), respectively. (The above properties could also be got from Theorem 2.1 for Case (B) of the proof of Theorem 2.1(ii)  see Remark 2.7(5).) □
Example 2.9 Consider the timevarying pth order nonlinear discrete dynamic system
for some given nonempty bounded set , where is a matrix sequence of elements with and with ; , and defines the statesequence trajectory solution . Equation (2.13) requires the consistency constraint to calculate . However, other discrete systems being dealt with in the same way as, for instance, that obtained by replacing in (2.31) with the initial condition (and appropriate ad hoc redefinition of the mapping which generates the trajectory solution from given initial conditions) do not require such a consistency constraint. The dynamic system (2.31) is asymptotically linear if as ; . Note that for the Euclidean distance (and norm), ; . Assume that the squared spectral norm of is upperbounded by for some parameterizing scalar sequences , and which can be dependent, in a more general case, on the state . This holds, for instance, if , where is a real positive sequence satisfying and both being potentially dependent on the state as the rest of the parameterizing sequences. Since the spectral norm equalizes the spectral radius if the matrix is symmetric, then can be taken exactly as the spectral radius of in such a case, i.e., it equalizes the absolute value of its dominant eigenvalue. We have to check the condition
provided, for instance, that the distance is the Euclidean distance, induced by the Euclidean norm, then both being coincident, and provided also that we take the metric space which holds, in particular, if
(a) , , , ; , and , , as ; . This implies that ; and as ; . Thus, is asymptotically nonexpansive being also an asymptotic strict βpseudocontraction in the intermediate sense. This also implies that (2.31) is globally stable as it is proven as follows. Assume the contrary so that there is an infinite subsequence of which is unbounded, and then there is also an infinite subsequence which is strictly increasing. Since and as ; , one has that for , any given and some sufficiently large , , , such that and ; , . Now, take and . Then ; and any given . If , then stability holds trivially. Assume not, and there are unbounded solutions. Thus, take such that for any given , and some . Note that since is a strictly increasing real sequence implying as , which leads to a contradiction to the inequality for for some sufficiently large , then for some sufficiently large M, if such a strictly increasing sequence exists. Hence, there is no such sequence, and then no unbounded sequence for any initial condition in . As a result, for any initial condition in any given subset of (even if it is unbounded), any solution sequence of (2.31) is bounded, and then (2.31) is globally stable. The above reasoning implies that there is an infinite collection of numerable nonempty bounded closed sets , which are not necessarily connected, such that ; and any given . Assume that the set of initial conditions is bounded, convex and closed and consider the collection of convex envelopes , define constructively the closure convex set which is trivially bounded, convex and closed. Note that it is not guaranteed that is either open or closed since there is a union of infinitely many closed sets involved. Note also that the convex hull of all the convex envelopes of the collection of sets is involved to ensure that A is convex since the union of convex sets is not necessarily convex (so that is not guaranteed to be convex while A is convex). Consider now the selfmapping which defines exactly the same solution as for initial conditions in so that is identified with the restricted selfmapping from a nonempty bounded, convex and closed set to itself. Note that for the Euclidean distance is a convex metric space which is also complete since it is finite dimensional. Then and are both continuous, then is also continuous and has a fixed point in A from Theorem 2.8(i).
(b) If the selfmapping is asymptotically pseudocontractive in the intermediate sense, then the above conclusions still hold with the modification and as ; . From Remark 2.7(2), and for any . Thus the convergence is guaranteed to be faster for an asymptotic βstrict pseudocontraction in the intermediate sense than for an asymptotic pseudocontraction in the intermediate sense with a sequence such that ; with the remaining parameters and parametrical sequences being identical in both cases. If and ; are both continuous, then is continuous and has a fixed point in A from Theorem 2.8(ii).
(c) If is asymptotically βstrictly contractive in the intermediate sense, then ; so that it is asymptotically strictly contractive and has a unique fixed point from Theorem 2.8(iii).
(d) If is asymptotically contractive in the intermediate sense, ; . Thus, is an asymptotic strict contraction and has a unique fixed point from Theorem 2.8(iv).
Remark 2.10 Note that conditions like (2.32) can be tested on dynamic systems being different from (2.31) by redefining, in an appropriate way, the selfmapping which generates the solution sequence from given initial conditions. This allows to investigate the asymptotic properties of the selfmapping, the convergence of the solution to fixed points, then the system stability, etc. in a unified way for different dynamic systems. Close considerations can be discussed for different dynamic systems and convergence of the solutions generated by the different cyclic selfmappings defined on the union of several subsets to the best proximity points of each of the involved subsets.
3 Asymptotic contractions and pseudocontractions of cyclic selfmappings in the intermediate sense
Let be nonempty subsets of X. is a cyclic selfmapping if and . Assume that the asymptotically nonexpansive condition (2.10), subject to (2.11), is modified as follows:
with ; as , and that the asymptotically nonexpansive condition (2.22), subject to (2.23), is modified as follows:
with ; as , where and . If , then and Theorems 2.1, 2.2 and 2.8 hold with the replacement . Then if A and B are closed and convex, then there is a unique fixed point of in . In the following, we consider the case that so that . The subsequent result based on Theorems 2.1, 2.2 and 2.8 holds.
Theorem 3.1Letbe a metric space and letbe a cyclic selfmapping, i.e., and, whereAandBare nonempty subsets ofX. Define the sequenceof asymptotically nonexpansive iterationdependent constants as follows:
, provided thatsatisfies the constraint (3.1), subject to (3.2), and
and
for () and for () provided thatsatisfies the constraint (3.3) subject to (3.4) provided that the parameterizing bounded real sequences, , andof general terms, andfulfill the following constraints:
and assuming that the following limits exist:
Then, the following properties hold:
(i) satisfies (3.3) subject to (3.4)(3.9); . Then
so thatis a cyclic asymptotically nonexpansive selfmapping. Ifis a best proximity point ofAandis a best proximity point ofB, thenandand, which are best proximity points ofAandB (not being necessarily identical toxandy), respectively ifis continuous.
(ii) Property (i) also holds ifsatisfies (3.1) subject to (3.2), (3.7), (3.8)(3.9) and (3.5b) provided that; .
Proof The second condition of (2.18) now becomes under either (3.1)(3.2) and (3.8)(3.9)
and it now becomes under (3.3)(3.4) and (3.8)(3.9)
since ; since and , and and as ; . Note that (3.8) implies that there is no division by zero in (3.11). Now, assume that (3.10) holds with . From (3.8) and (3.2), , equivalently, and , which contradicts (3.5a) if so that in (3.5a) under (3.7) implies that and, since from (3.6), there is no division by zero on the righthand side of (3.10) if .
Also, if is continuous, then so that ; , , and since and . This proves Properties (i)(ii). □
Remark 3.2 Note that Theorem 3.1 does not guarantee the convergence of and to best proximity points if the initial points for the iterations and are not best proximity points if is not contractive.
The following result specifies Theorem 3.1 for asymptotically nonexpansive mappings with ; subject to .
Theorem 3.3Letbe a metric space and letbe a cyclic selfmapping which satisfies the asymptotically nonexpansive constraint (3.1), subject to (3.2), whereAandBare nonempty subsets ofX. Let the sequenceof asymptotically nonexpansive iterationdependent constants be defined by a general termunder the constraints, , and. Then the subsequent properties hold:
(i) The following limits exist:
(ii) Assume, furthermore, thatis complete, AandBare closed and convex andis translationinvariant and homogeneous andis uniformly convex whereis the metricinduced norm. Then
, ; , and, ; , , wherezandTzare unique best proximity points inAandB, respectively. If, thenis the unique fixed point of.
Proof Note from (3.9), under (3.6) and (3.7), that there is no division by zero on the righthand side of (3.10) and if . Then one has from (3.1)(3.2), (3.5a), (3.6) and (3.7) that
There are several possible cases as follows.
Case A: is nonincreasing. Then as ; . Since , one gets (3.12).
Case B: is nondecreasing. Then either as ; or it is unbounded. Then it has a subsequence which diverges, from which a strictly increasing subsequence can be taken. But this contradicts following from (3.14) subject to the given parametrical constraints. Thus, if is nondecreasing, it cannot have a strictly increasing subsequence so that it is bounded and has a finite limit as in Case A.
Case C: has an oscillating subsequence. It is proven that such a subsequence is finite. Assume not, then if , there is an integer sequence of general term subject to such that
but the above expression is equivalent, for and which are in , but not jointly in either A or B, to
which contradicts since both sequences and are bounded; . Then there is no infinite oscillating sequence for some so that there is a finite limit of , . Now, proceed by contradiction by assuming the existence of some such that as ; . Thus, for any , there is some such that there are two consecutive nonzero elements of a nonzero real sequence , which can depend on x and y, which satisfy and
. Otherwise, if for any and any given and , then as ; . One gets, by combining (3.14) and (3.15), that
since ; , and some nonnegative real sequence which converges to zero since as ; for any so that as ; . The relations (3.16) contradict since is positive (and it does not converge to zero) and , as . Thus, one concludes that converges to zero, and then ; ; . This leads to ; by taking with if and if . Property (i) has been proven.
Now, Property (ii) is proven. It is first proven that ; if the metric is translationinvariant and homogeneous so that it induces a norm if A and B are nonempty, closed and convex subsets of X and is a uniformly convex Banach space. Assume not and take such a norm to yield . Then if A is nonempty, closed and convex and B is nonempty and closed and , then . It is known that from Theorem 3.1(i) for . Since is a uniformly convex Banach space for the metricinduced norm (being equivalent to the translationinvariant homogeneous metric), we have the following property for the sequences and satisfying for some strictly increasing nonnegative sequence of functions and any nonnegative sequences and satisfying and any sequence ; that
which has to be valid for ; . Now, for and ; , it follows that ; , which is a contradiction to being strictly increasing, then contradicting being a uniformly convex Banach space, unless as so that converges to . Taking , ; , (3.15) for as implies the existence of the first zero limit in (3.13). The existence of the second zero limit in (3.13) is proven in the same way since . Since those limits are zero, , are Cauchy sequences in A converging to a best proximity point for . Note that is necessarily the unique best proximity point in A since and converge to the same point. Otherwise, the first limit of (3.13) would not exist if the sequences do not converge, then a contradiction holds to a proven result, and also Property (i) would not be true, since (3.12) would not hold, if the limit of the sequence would not be a best proximity point in A, then a contradiction holds to another proven result. In the same way, , converge to a unique best proximity point for any . Now, . Assume not. Then since , and , one has . Assume that so that since A and B are convex,
which is a contradiction. Then is the unique best proximity of B. If , then is the unique fixed point of which coincides with the unique best proximity point in A and B. □
Remark 3.4 Theorem 3.3 is known for strictly contractive cyclic selfmappings [20] satisfying the contractive condition (3.1) in the case that and , and [57].
It is now assumed that the cyclic selfmapping is asymptotically nonexpansive while not being strictly contractive for any finite number of iterations. The concepts of cyclic pseudocontractions and a strict contraction in the intermediate sense play an important role in the obtained results.
Theorem 3.5Letbe a uniformly convex Banach space endowed with a metricinduced normfrom a translationinvariant homogeneous metric, whereAandare nonempty, closed and convex subsets ofXand assume thatis a cyclic selfmapping. Define the sequenceof asymptotically nonexpansive iterationdependent constants as follows:
, provided thatsatisfies the constraint (3.1), subject to (3.2); and
for () and for () provided thatsatisfies the constraint (3.3), subject to (3.4), provided that the parameterizing bounded real sequences, , andof general terms, andfulfill the following constraints:
and assuming that the following limits exist:
Then the following properties hold:
(i) Ifsatisfies (3.3) subject to (3.20)(3.24); , then
so thatis asymptotically nonexpansive. Ifis a best proximity point ofAandis a best proximity point ofB, thenandandwhich are best proximity points ofAandB (not being necessarily identical toxandy), respectively, if furthermore, is continuous.
(ii) Property (i) also holds ifsatisfies (3.1) subject to (3.2), (3.22), (3.23)(3.24) and (3.5b) with; .
(iii) Assume thatis asymptoticallyβstrictly pseudocontractive in the intermediate sense so that (3.21a)(3.21b) holds with, , , and, as; , . Thenis asymptotically nonexpansive and Property (i) holds.
(iv) is asymptotically pseudocontractive in the intermediate sense if (3.22) holds with, , , , andas; , . Thenis asymptotically nonexpansive and Property (i) holds.
(v) If the conditions of Property (iv) are modified as, , ; , asandin (3.22), thenis asymptoticallyβstrictly contractive in the intermediate sense. Also, has a unique best proximity pointzinAand a unique best proximity pointTzinBto which the sequencesandconverge; . If, thenandas.
(vi) If (3.4) is modified by, , , ; , andas, thenis asymptoticallystrictly contractive in the intermediate sense. Also, has a unique best proximity point inAand a unique best proximity point inBto which the sequencesandconverge as in Property (v).
Proof The second condition of (2.18) now becomes under (3.1)(3.2), or (3.3)(3.4), and (3.23)(3.24)
since and as ; . Also, if is continuous, then so that , , and since A and B are closed and and . This proves Properties (i)(ii). To prove Property (iii), note that if is asymptotically βstrictly pseudocontractive in the intermediate sense under (3.21a)(3.21b)(3.23) with ; , as and (3.22) holds for as , then is asymptotically nonexpansive and as with if and are best proximity points. Also, ; and , , and if is continuous. Then Property (i) holds. Property (iv) is proven in a similar way as (iii) since is again asymptotically nonexpansive. Properties (v)(vi) follow since in both cases becomes a cyclic strictly contractive selfmapping for all with ; and some finite in Theorem 3.3, Eq. (3.14). Thus, it is a direct proof that ; with and if and since and . Also, ; . Furthermore, and ; , and there are unique best proximity points and . The convergence of the iterations to unique best proximity points follows using similar arguments as those used in the proof of Theorem 3.3(ii) based on the uniform convexity of the complete metric space and the fact that the subsets A and B are nonempty, convex and closed. □
Remark 3.6 Note that the existence of Theorem 3.5 of and such that is guaranteed if A is nonempty, bounded, closed and convex and B is nonempty closed and convex is also guaranteed if A is compact and B is approximately compact with respect to A, i.e., if every sequence , such that for some , has a convergent subsequence [6,7,31].
Example 3.7 Consider the timevarying scalar controlled discrete dynamic system:
under the feedback control sequence
so that
where ; for some given nonempty bounded set , where is the control sequence. The above model can describe discretetime dynamic systems under timevarying sampling periods or under a timevarying parameterization in general [39]. Assume that the suitable controlled solution (3.28) is of the form
Then
The identities (3.30) allow the feedback generation of the control sequence (3.26) from its previous values and previous solution values as follows:
for given parameterizing scalar sequences which can be dependent on the state (see Example 2.9). We are now defining a cyclic selfmap so that the solution belongs alternately to positive (respectively, nonnegative) and negative (respectively, nonpositive) real intervals and if (respectively, if ), that is, and . For such an objective, consider the scalar bounded sequences , and such that , and ; , which satisfy
Note that by using the Euclidean distance and norm on R, it is possible to apply the theoretical formalism to the expressions ; to prove convergence to the best proximity points to which the sequences and converge, respectively if and conversely if . Assume that:
(1) The constraints (3.32a)(3.32b) hold;
(2) The parametrical constraints of the various parts (a) to (d) of Example 2.9 hold with the replacements and its appropriate replacements of the constraints , ;
(3) and are redefined for this example from and , respectively, from (3.32a)(3.32b).
From Theorem 3.5, the various properties of Example 2.9 hold also for this example if so that the cyclic selfmap is such that it alternates the values of the solution sequence between and . The unique fixed point to which the solution converges is . If , then the corresponding results are modified by convergence to each of the unique best proximity points to which the sequences and converge; .
Competing interests
The author declares that he has no competing interests.
Acknowledgements
The author is very grateful to the Spanish Government for its support of this research through Grant DPI201230651, and to the Basque Government for its support of this research through Grants IT37810 and SAIOTEK SPE12UN015. He is also grateful to the University of Basque Country for its financial support through Grant UFI 2011/07 and to the referees for their useful comments.
References

Sahu, DR, Xu, HK, Yao, JC: Asymptotically strict pseudocontractive mappings in the intermediate sense. Nonlinear Anal., Theory Methods Appl.. 70, 3502–3511 (2009). Publisher Full Text

Qin, X, Kim, JK, Wang, T: On the convergence of implicit iterative processes for asymptotically pseudocontractive mappings in the intermediate sense. Abstr. Appl. Anal.. 2011, (2011) Article ID 468716. doi:10.1155/2011/468716

Ceng, LC, Petrusel, A, Yao, JC: Iterative approximation of fixed points for asymptotically strict pseudocontractive type mappings in the intermediate sense. Taiwan. J. Math.. 15(2), 587–606 (2011)

Duan, P, Zhao, J: Strong convergence theorems for system of equilibrium problems and asymptotically strict pseudocontractions in the intermediate sense. Fixed Point Theory Appl.. 2011, (2011) Article ID 13. doi:10.1186/16871812201113

Kirk, WA, Srinivasan, PS, Veeramani, P: Fixed points for mappings satisfying cyclical contractive conditions. Fixed Point Theory. 4(1), 79–89 (2003)

Eldred, AA, Veeramani, P: Existence and convergence of best proximity points. J. Math. Anal. Appl.. 323, 1001–1006 (2006). Publisher Full Text

Karpagam, S, Agrawal, S: Best proximity point theorems for pcyclic MeirKeeler contractions. Fixed Point Theory Appl.. 2009, (2009) Article ID 197308. doi:10.1155/2009/197308

Di Bari, C, Suzuki, T, Vetro, C: Best proximity points for cyclic MeirKeeler contractions. Nonlinear Anal., Theory Methods Appl.. 69(11), 3790–3794 (2008). Publisher Full Text

De la Sen, M: Linking contractive selfmappings and cyclic MeirKeeler contractions with Kannan selfmappings. Fixed Point Theory Appl.. 2010, (2010) Article ID 572057. doi:10.1155/2010/572057

De la Sen, M: Some combined relations between contractive mappings, Kannan mappings reasonable expansive mappings and Tstability. Fixed Point Theory Appl.. 2009, (2009) Article ID 815637. doi:10.1155/2009/815637

Suzuki, T: Some notes on MeirKeeler contractions and Lfunctions. Bull. Kyushu Inst. Technol.. 53, 12–13 (2006)

Derafshpour, M, Rezapour, S, Shahzad, N: On the existence of best proximity points of cyclic contractions. Adv. Dyn. Syst. Appl.. 6(1), 33–40 (2011)

Rezapour, S, Derafshpour, M, Shahzad, N: Best proximity points of cyclic φcontractions on reflexive Banach spaces. Fixed Point Theory Appl.. 2010, (2010) Article ID 946178. doi:10.1155/2010/946178

AlThagafi, MA, Shahzad, N: Convergence and existence results for best proximity points. Nonlinear Anal., Theory Methods Appl.. 70(10), 3665–3671 (2009). Publisher Full Text

Rus, IA: Cyclic representations and fixed points. Ann. T. Popoviciu Semin. Funct. Equ. Approx. Convexity. 3, 171–178 (2005)

Pacurar, M, Rus, IA: Fixed point theory for cyclic φcontraction. Nonlinear Anal., Theory Methods Appl.. 72(34), 1181–1187 (2010). Publisher Full Text

Karapinar, E: Fixed point theory for cyclic weak ϕcontraction. Appl. Math. Lett.. 24, 822–825 (2011). Publisher Full Text

Shazhad, N, Sadiq Basha, S, Jeyaraj, R: Common best proximity points: global optimal solutions. J. Optim. Theory Appl.. 148(1), 69–78 (2011). Publisher Full Text

Vetro, C: Best proximity points: convergence and existence theorems for pcyclic mappings. Nonlinear Anal., Theory Methods Appl.. 73(7), 2283–2291 (2010). Publisher Full Text

De la Sen, M: On a general contractive condition for cyclic selfmappings. J. Appl. Math.. 2011, (2011) Article ID 542941. doi:10.1155/2011/542941

Yao, YH, Liu, YC, Chen, CP: Algorithms construction for nonexpansive mappings and inversestrongly monotone mappings. Taiwan. J. Math.. 15(5), 1979–1998 (2011)

Yao, YH, Chen, RD: Regularized algorithms for hierarchical fixedpoint problems. Nonlinear Anal., Theory Methods Appl.. 74(17), 6826–6834 (2011). Publisher Full Text

Qin, X, Kang, SM, Agarwal, RP: On the convergence of an implicit iterative process for generalized asymptotically quasinonexpansive mappings. Fixed Point Theory Appl.. 2010, (2010) Article ID 714860. doi:10.1155/2010/714860

Pathak, HK, Khan, MS, Tiwari, R: A common fixed point theorem and its application to nonlinear integral equations. Comput. Math. Appl.. 53(6), 961–971 (2007) doi:10.1016/j.camwa.2006.08.046
doi:10.1016/j.camwa.2006.08.046
Publisher Full Text 
Khan, MS, Nashine, HK: On invariant approximation for noncommutative mappings in locally convex spaces. J. Comput. Anal. Appl.. 10(1), 7–15 (2008). PubMed Abstract

Nashine, HK, Khan, MS: An application of fixed point theorem to best approximation in locally convex space. Appl. Math. Lett.. 23(2), 121–127 (2010) doi:10.1016/j.aml.2009.06.025
doi:10.1016/j.aml.2009.06.025
Publisher Full Text 
Nashine, HK, Khan, MS: Common fixed points versus invariant approximation in nonconvex sets. Appl. Math. ENotes. 9, 72–79 (2009)

Pathak, HK, Tiwari, R, Khan, MS: A common fixed point theorem satisfying integral type implicit relations. Appl. Math. ENotes. 7, 222–228 (2007)

De la Sen, M, Agarwal, RP: Fixed pointtype results for a class of extended cyclic selfmappings under three general weak contractive conditions of rational type. Fixed Point Theory Appl.. 2012, (2012) Article ID 102. doi:10.1186/168718122011102

De la Sen, M, Agarwal, RP: Some fixed pointtype results for a class of extended cyclic selfmappings with a more general contractive condition. Fixed Point Theory Appl.. 2011, (2011) Article ID 59. doi:10.1186/16871812201159

Basha, SS, Shahzad, N: Best proximity point theorems for generalized proximal contractions. Fixed Point Theory Appl.. 2012, (2012) Article ID 42. doi:10.1186/16871812201242

Chen, CM, Lin, CJ: Best periodic proximity point theorems for cyclic weaker MeirKeeler contractions. J. Appl. Math.. 2012, (2012) Article ID 856974. doi:10.1155/2012/856974

Caballero, J, Harjani, J, Sadarangani, K: A best proximity point theorem for Geraghtycontractions. Fixed Point Theory Appl.. 2012, (2012) Article ID 231

Mongkolkeha, C, Cho, YJ, Kuman, P: Best proximity points for generalized proximal Ccontraction mappings in metric spaces with partial orders. J. Inequal. Appl.. 2013, (2013) Article ID 94

Karapinar, E: Best proximity points of Kannan type cyclic weak ϕcontractions in ordered metric spaces. An. Stiint. Univ. Ovidius Constanta, Ser. Mat.. 20(3), 51–63 (2012)

Karapinar, E: Best proximity points of cyclic mappings. Appl. Math. Lett.. 25(11), 1761–1766 (2012). Publisher Full Text

Karapinar, E, Erhan, IM: Best proximity points on different type contractions. Appl. Math. Inf. Sci.. 5(3), 558–569 (2011)

Raj, VS: A best proximity theorem for weakly contractive nonself mappings. Nonlinear Anal., Theory Methods Appl.. 74(14), 4804–4808 (2011). Publisher Full Text

De la Sen, M: Application of the nonperiodic sampling to the identifiability and modelmatching problems in dynamic systems. Int. J. Syst. Sci.. 14(4), 367–383 (1983). Publisher Full Text