About this Journal Submit a Manuscript Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 968492, 11 pages
http://dx.doi.org/10.1155/2013/968492
Research Article

Some Results on Fixed and Best Proximity Points of Multivalued Cyclic Self-Mappings with a Partial Order

Institute of Research and Development of Processes, University of Basque Country, Campus of Leioa (Bizkaia, Apatado) 644, 48080 Bilbao, Spain

Received 17 October 2012; Revised 7 March 2013; Accepted 22 March 2013

Academic Editor: Abdul Latif

Copyright © 2013 M. De la Sen. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

This paper is devoted to investigate the fixed points and best proximity points of multivalued cyclic self-mappings on a set of subsets of complete metric spaces endowed with a partial order under a generalized contractive condition involving a Hausdorff distance. The existence and uniqueness of fixed points of both the cyclic self-mapping and its associate composite self-mappings on each of the subsets are investigated, if the subsets in the cyclic disposal are nonempty, bounded and of nonempty convex intersection. The obtained results are extended to the existence of unique best proximity points in uniformly convex Banach spaces.

1. Introduction

Important attention is being devoted recently to the investigation of fixed points of self-mappings as well as to the investigation of associate relevant properties like, for instance, stability of the iterations [13] and existence and uniqueness of fixed points. On the other hand, the extension of those topics to the existence of either fixed points of multivalued self-mappings [1, 419], or common fixed points of several multivalued mappings or operators has received important attention; see, for example, [1519] and references therein. This paper investigates some properties of fixed point and best proximity point results for multivalued cyclic self-mappings under a general contractive-type condition based on the Hausdorff metric between subsets of a metric space [4, 79] and which includes a particular case the contractive condition for contractive single-valued self-mappings, [1, 410] including the problems related to cyclic self-mappings, see for example, [7, 8, 11] and references therein. This includes strict contractive cyclic self-mappings and Meir-Keeler type cyclic contractions, [20, 21]. There is a rich background literature available on cyclic self-mappings and related fixed point and best proximity point results; see, for example, [2230] and references therein. Some existing fixed point results on contractive single and multivalued self-mappings provided in [1, 4, 5, 9, 10, 31, 32] and references therein, under various types of contractive conditions, have been revisited and extended in [4]. There is also a wide sample of fixed point type results available on fixed points and asymptotic properties of the iterations for self-mappings satisfying a number of contractive-type conditions while being endowed with partial order conditions. See, for instance, [18, 19], and references therein. The main objective of this paper is the investigation of fixed point/best proximity point results for multivalued cyclic self-mappings in complete metric spaces, or uniformly convex Banach spaces. Such multivalued cyclic self-mappings satisfy a contractive-type condition, which is specified on the Hausdorff metric, for all pairs of elements in the union of the subsets defining the cyclic disposal which are subject to a partial order.

2. Properties of Distances and Fixed Points for Multivalued Cyclic Self-Mappings with a Partial Order

Assume that is a metric space for a set endowed with some metric:  with . Let be the family of all nonempty and closed subsets of the set . If then we can define being the generalized hyperspace of equipped with the Hausdorff metric induced by the metric : for two sets and which are finite if both sets are bounded and zero if they have the same closure. The distance between and is Denote by , , and the sets of nonempty, and nonempty, bounded and nonempty, and bounded and closed sets of , respectively. The following relations hold: and if and only if . Consider also a self-mapping , where are nonempty closed sets of ; , subject to the constraints such that for any integer numbers and with . If then is a cyclic self-mapping. If then is, in particular, a self-mapping on . We will also consider a partial order on so that is a partially ordered space and will assume, in general, that is a multivalued cyclic self-mapping so that ; , . The subsequent result does not assume a contractive condition for each iteration on adjacent subsets of the contractive mapping but a global contractive condition for the cyclic mapping for iterations on multiple strips of the subsets ; . Therefore, the result that the distances between any two subsets being adjacent or not of [33] for nonexpansive self-mappings is not required.

If is a multivalued cyclic self-mapping then the set will be said to be the set of best proximity points between to if for all and some . This concept generalizes that of best proximity points of subsets of single valued cyclic self-mappings which is established as follows. If is cyclic and single-valued then and are best proximity point if , [33, 34]. The following result extends a previous one for the case of noncyclic multivalued self-mappings, [18, 19].

Theorem 1. Let be a partially ordered space and with being a complete metric space. Let be a set of nonempty, bounded, and closed subsets of ; (i.e., ; ) with ; and let be a multivalued cyclic self-mapping on satisfying.(1)There exist real constants satisfying such that the following condition holds: for any given and which fulfil , . (2)If for some given , , and any given , then with if for any given . (3)There are some , some , and some such that for some .(4)Note that (6) implies that ; . Then, the following properties hold.(i) There is a partially ordered subsequence of the partially ordered sequence , both of them of the first element , with respect to the partial order , such that for ; , for some and the given , where , for any and the given , are closed “quasi-proximity” sets in-between each pair of adjacent subsets of the multivalued cyclic self-mapping such that where with ; ,   for the given . (ii) If ; then any partially ordered sequence of first element fulfills and the given , and ; (i.e., if and if ), . Let be the set of best proximity points between and ; . Then, there is a sequence ; such that the following limit exists: (iii) If assumption (3) is removed and (6) in assumption (4) is replaced by the stronger condition (5)then, properties (i)-(ii) hold for any .

Proof. Let for the given which satisfy assumption (3). Then, from such an assumption, there is , which is also in , since for any , such that . Thus, from assumption (2), since . From (6) and assumptions (1)-(2) by considering the distance between adjacent subsets, since from assumptions (3)-(4). From assumption (2) and (11), there is such that , and then , and . Then, one gets from (11) and assumption (4): Again, from assumption (2), there is such that . Now, proceeding by complete induction with (12a) from to , it follows that the existence of a partially ordered space implies, from assumption (2), the existence of the partially ordered space satisfying ; with ; . Also, proceeding recursively with (12b), one concludes, if and , that there is a partially ordered sequence such that ; , and so that there is a partially ordered sequence such that ; :
so that Then, from (15), there are closed “quasi-proximity” sets , , between each pair of adjacent subsets of the cyclic self-mapping in view of (14), such that there is a partially ordered subsequence of the partially ordered sequence , being subject to for ; , some . Thus, (7) holds and then the property (i) has been proven. The relation (8) of property (ii) for is a direct consequence of property (i). From (8), it is also proven that the sequence of first element in property (i) satisfies the following property ; . Assume not, then, it follows that and the given so that, by using complete induction, ; and the given with being partially ordered with respect to , that is, ; and we can then reformulate the above limits of the distances as ; for the given .
The remaining proof of property (ii) follows by contradiction. Suppose that the limit (9) does not exist for some sequence for some . Since , is impossible in the case that would not exist for some . Then, for some , , since and are boundedly compact for all since they are bounded and closed and, then, compact, [7, 8]. This leads to a contradiction, since and ; . The property (ii) has been proven.
If assumption (3) is removed, while satisfies the stronger constraint (10), then there are infinitely many sequences for any arbitrary first element , in the partial order , of an iterated sequence through for which property (i) and thus property (ii) both hold since from assumption (2). Hence, property (iii) follows so that the theorem has been fully proven.

Note that (5) is not guaranteed to be a cyclic contractive condition for each restricted map , since all the constants are not required to be less than one in (5), and furthermore, (5) and assumption (3) are fulfilled for some first element , and some given in the partial order . Note also that sequences fulfilling the partial order of Theorem 1 can always be built through iterations with the multivalued self-mapping for any arbitrarily chosen for any from (6) characterizing assumption (4) of Theorem 1. The subsequent particular case of Theorem 1 applies when all the iterations between the cyclic disposal satisfy a cyclic contractive condition, that is, ; .

Note that Theorem 1(iii) also holds in the particular case that the partial order is a total order for all pairs in any Cartesian product of adjacent subsets ; , since both elements of any ordered pair , ; are comparable with respect to the partial order . Theorem 1(iii) establishes that any element in any subset ; is a first element of a nondecreasing (i.e., partially ordered) sequence with respect to the partial order which fulfils properties (i)-(ii) of Theorem 1.

Theorem 2. In addition to assumptions (1)–(4) of Theorem 1, assume, furthermore, (6); (i.e., );(7) the limit of any converging nondecreasing sequence is comparable to each ; in the partial order , that is, Then, there is a sequence satisfying for some given initial element and some given ; which is non-decreasing and ordered with respect to the partial order and fulfils the following properties.(i); and the given with ; , and the sequence is a Cauchy sequence; .(ii)The sequence for any and the given converge to a limit in , which is a fixed point of the composite self-mapping , where of domain ; and also a fixed point of the self-mapping , that is, and ; .(iii) If, in addition, is a convex metric space, what holds, in particular, if is a Euclidean vector space and is the Euclidean metric, and is convex, then is the unique fixed point of and ; and also the unique fixed point of   .(iv)If assumption (4) of Theorem 1 is replaced by assumption (5) then properties (i)–(iii) hold for any .(v)If is a Euclidean vector space then property (iii) holds also if the condition of being a convex metric space is removed.

Proof. The property (i) follows from Theorem 1 when ; . To address the proof of property (ii), it is first proven that is a Cauchy sequence in ; . Take so that one gets from (10) that for some , for any given from assumption (1) of Theorem 1, where . Then, as ; . Thus, is a Cauchy sequence for the given ; . Then, is a Cauchy sequence; . Then, such a sequence converges to some ; and any given , such that ; from (18), since all the elements of the generated non-decreasing sequence in the partial order are comparable from (18) and is complete. The property (i) has been proven.
To prove property (ii), assume that there are two distinct limits and for some distinct in . Since the restricted composite self-mapping is a cyclic contraction on the nonempty closed set for any , then we can built uniquely a restricted composite self-mapping defining the partially ordered sequence , with first element , which converges to as , since such a restricted composite self-mapping satisfies also assumptions (1)-(2) of Theorem 1. Then, we can proceed, in the same way, with generating converging to as for any . Both such composite self-mappings are Lipschitz-continuous, since they are contractive with the Lipschitz constant being the contractive constant , so that the limit of the distance can be permuted with the distance of the limits. Then, since for and since is a fixed point of for , the following contradiction holds to the existence of two distinct fixed points for some ; : Since any existing fixed point in of for ; is comparable in the partial order to any element of , and , ; . Assuming, with no loss in generality, that , one can build, from the assumptions of Theorem 1 and the current comparability assumption (7), a nondecreasing, converging and partially ordered sequence: such that Thus, for any. Since, and are closed and nonempty for any distinct in , then . Since the pair is arbitrary and the set is nonempty and closed, then for any . Then, is a fixed point of ; . But, since is a fixed point of , it cannot converge through an iterated sequence to another distinct fixed point of the same self-mapping or to be distinct of it. Thus, is a fixed point of the restricted composite self-mapping of ; which is in the closed nonempty set . Then, ; . Also, note that, since , and , , one gets from (10) that since from . Thus, .
It remains to be proven that is the unique fixed point of , since and any existing fixed point in is comparable, with respect to the partial order , to any element of . This is a consequence of assumption (2) of Theorem 1, so that as , and if , since , and then ; , and some . Thus, and .
Thus, . It can be also proven in the same way by interchanging the roles of both fixed points that . As a result, .
On the other hand, since any fixed point of the self-mapping ; has to be also a fixed point of each restricted composite self-mapping , , which is a unique , , then, ; . Hence, property (ii) is proven.
The property (iii) is proven as follows. Assume that there are for with , since it has been proven that if ; . Then, since is a convex metric space (which is guaranteed, in particular, under a sufficiency-type condition, if the vector space is Euclidean and the metric is the Euclidean norm) and is convex, there is a sequence , for some being such that , fulfilling such always exists, since , since all elements in are pair wise comparable by hypothesis, , , is a convex metric space, and is nonempty and convex. Then, from the convexity of and (25), one gets that , and ; and then there are infinitely many fixed points of so that has infinite cardinal and would not be a multivalued self-mapping, a contradiction. Thus, is the unique fixed point of and also the unique fixed point of using a similar argument to the above one to prove the uniqueness. Hence, property (iii) follows.
The proof of property (iv) follows directly from the above properties (i)–(iii) and property (iii) of Theorem 1; property (v) follows directly, since ; being closed implies that is also closed, which together with the condition that is convex, leads to the property that is a convex metric space if is an Euclidean vector space while the complementary to in is not invoked in the proof of the uniqueness of the fixed point so that if is a convex metric space the uniqueness proof follows as that of property (v).

Remarks 1. (1) Note that the restricted composite multivalued self-mapping ; can be extended in a natural way to the composite self-mapping in the sense that ; .
(2) The convexity of the subsets ; is not required in Theorem 2(iii) but that of their intersection.
(3) Finally, note that a convex set in a Euclidean space is convex metric space under the Euclidean induced norm and that closed subsets of Euclidean spaces are convex metric spaces if and only if they are convex. This property is used in the proof of property (v) of Theorem 2. Finally, note that Theorem 2(v) holds independently of the metric (not necessarily for a norm-induced metric) and that properties (iii)-(iv) do not require that the subsets for are convex but that their intersection is convex.

3. The Main Result on Best Proximity Points for Nonintersecting Subsets

An “ad hoc” version of Theorem 2 will be obtained in this section for the case of nonintersecting subsets by proving the convergence to unique best proximity points within each subset , which are also unique fixed points of each of the composed self-mappings ; . It is assumed that is a uniformly convex Banach space endowed with the partial order and that the subsets ; are nonempty, closed, and convex sets. The following remark describes conditions to characterize a class of Banach spaces from complete metric spaces provided that the norm is induced from a metric.

Remark 3. It is well known that a norm defines a metric. In this sense, a Banach space can be considered also a complete metric space under the norm-induced metric. To practical effects, the induced metric is identical to the norm. The contrary is not true in general since metrics are subject to less restrictive conditions than norms. However, under certain conditions, as for instance, if the metric is homogeneous and translation-invariant, then it can be considered as a norm in a natural way, say, a metric-induced norm. In this case, we can also consider the norm to be identical to the metric-induced norm. If is a complete metric space and is a vector space and is a homogeneous and translation invariant metric, then is also a Banach space under such a metric-induced norm .

The next result is an “ad hoc” version for this paper of previous technical results. See Lemma , Lemma and Theorem in [33].

Lemma 4 (Lemma and Lemma of [33]). Let for be nonempty closed subsets of the vector space of a uniformly convex Banach space with norm-induced metric and and either or for are, furthermore, convex (i.e., at least one of each two adjacent subsets is, in addition, convex). Consider sequences and and satisfying(1) as for any given .(2)For every , there is such that for all with for any given .
Then, the following properties hold:(i)For every , there is such that for all with for any given . (ii)If as and as then as for any given . (iii) and are Cauchy sequences; and the given .

The proof of Lemma 4(i)-(ii) is supported by the nonemptiness, closeness, and convexity of the subsets ; and the uniform convexity of the Banach space [33]. The following main result for multivalued cyclic self-mappings is obtained from Theorem 1 and Lemma 4 while taking into account Remark 3.

Theorem 5. Let be a multivalued -cyclic self-mapping on with ; being all nonempty and convex with ; . Assume the following:(1)Let be a vector space and let be a convex complete metric space with being a homogeneous translation-invariant metric which induces a norm on such that is a Banach space.(2) is a uniformly convex Banach space with metric convexity.(3)The complete metric space , equivalently, the Banach space , is endowed with a partial order defined by (5) with for any and some given such that the resulting partially ordered space is subject to assumptions (1)–(4) of Theorem 1 and assumption (7) of Theorem 2.
Then, the following properties hold.(i)There are unique best proximity points with , for each which are also unique fixed points of each of the restricted composite self-mappings ; .(ii)Take any for any given (i.e., and are partially ordered with respect to the partial ordered set and consider the partially ordered sequences , being nondecreasing with respect to while satisfying ; of first element subject to for any given . Then, each of such sequences converges to the unique best proximity point in ; which is also the unique fixed point of each of the restricted composite self-mapping . If , then is the unique fixed point of , and a fixed point of ; .(iii) If assumption (4) of Theorem 1 is replaced by its assumption (5), then the convergence to the above unique best proximity points holds for partially ordered sequences of first element .

Proof. Note from the various hypothesis the uniformly convex Banach space possesses the metric convexity property with respect to the norm metric while it is endowed with a partial order under assumptions (1)–(4) of Theorem 1. From property (ii) of Theorem 1, (8), the nonemptiness and closeness of the subsets ; , and Lemma 4(i)-(ii), it follows that where , ; , for the given and the iterated sequences; ; and the given are partially ordered with respect to the partial order , from Theorem 1, of first element generated from the iteration ; and the given are all Cauchy sequences. Since is complete, it follows that and as ; and the given since is nonempty, bounded and closed; and the given . Thus, one gets from (26), since is nonempty, bounded and closed, and then boundedly compact, and also approximatively compact with respect to [8, 35], that: and the given , where ; and the given . Since all the subsets ; are nonempty, closed, and boundedly compact; then is a best proximity point in of and it is also a fixed point of the restricted composite self-mapping ; . Thus, there are Cauchy, then convergent since is complete, sequences with respective first elements ; and the given , each being convergent to , such that is the first element of which consists of partially ordered elements with respect to the partial order such that with ; , for the given . But ; and the given , is a fixed point of the restricted composite self-mapping , and a fixed point of the composite self-mapping from Lemma 4(iii) to which the partially ordered sequences of first element converge. It is also a best proximity point in of the self-mapping from Lemma 4(iii) and the second part of Lemma 4(ii). Then, ; . The uniqueness property of each of those best proximity points in each of the subsets follows from their uniqueness as fixed points of the restricted self-mappings from Theorem 2, since is a convex metric space and the subsets are convex; . On the other hand, it turns out that if all the subsets have nonempty intersection, such an intersection is convex so that the best proximity points are all identical and the unique fixed point of and from Theorem 2, this leads to the proofs of properties (i)–(iii).

Remarks 2. (1) Theorem 5 proves the uniqueness of the best proximity points for any partially ordered sequences with first elements in any of the subsets of the multivalued cyclic self-mapping on satisfying assumptions (1)–(4) of Theorem 1 as it was commented, in Section 2 concerning such a theorem, the given for some to select the first two elements of the partial order can be chosen arbitrarily by construction from (6), namely, from assumption (4) of Theorem 1.
(2) The value of the individual contractive constants being less than, equal to, or larger than one for each pair of adjacent subsets is irrelevant in Theorem 5 provided that its product is less than one. Note also that Theorem 5 holds also if the distances between each pair of adjacent subsets are not necessarily identical.
(3) Note also that, for Euclidean metric, the convexity of is kept as hypothesis for the uniqueness of the best proximity points of the multivalued self-mapping, since although the subsets of , are convex, the existence of points belonging to such subsets guaranteeing the equality in the triangle inequality for the metric would not be otherwise guaranteed, since such sets are disjoint and pair-wise disjoint.
(4) It can be observed that the metric convexity of the space cannot be relaxed to that of , since the subsets do not necessarily intersect.
(5) Note that the results of Sections 2 and 3 obtained from the contractive condition (5) also hold for multivalued self-mappings which are not cyclic; that is, for some but fulfil the condition ; , .

4. Example

Consider two bounded and closed real subsets ;   for nonnegative positive real constants with under the Euclidean metric so that .

Consider also a scalar discrete dynamic system of state operating at each state value under tentative feedback controls ; , where the indexing set of tentative states at the sampling point is defined by where “” stands for the Cartesian product of sets, is the initial point of an iteration through a self-mapping from to itself and . Then the discrete state trajectory takes values in alternated points at and from the initial state condition such that ; obtained as follows: where with and being nonzero real numbers under a sequence of controllers of gains for some nonnegative real constant so that, after replacing (32) into (31), this leads to the controlled closed-loop trajectory sequence given by (30) subject to ;