Variational Analysis, Optimization, and Fixed Point TheoryView this Special Issue
Research Article | Open Access
F. García, M. A. Melguizo Padial, "Paratingent Derivative Applied to the Measure of the Sensitivity in Multiobjective Differential Programming", Abstract and Applied Analysis, vol. 2013, Article ID 812125, 11 pages, 2013. https://doi.org/10.1155/2013/812125
Paratingent Derivative Applied to the Measure of the Sensitivity in Multiobjective Differential Programming
We analyse the sensitivity of differential programs of the form subject to where and are maps whose respective images lie in ordered Banach spaces. Following previous works on multiobjective programming, the notion of -optimal solution is used. The behaviour of some nonsingleton sets of -optimal solutions according to changes of the parameter in the problem is analysed. The main result of the work states that the sensitivity of the program is measured by a Lagrange multiplier plus a projection of its derivative. This sensitivity is measured by means of the paratingent derivative.
The subject of this work is sensitivity analysis in vector programming. The model problem considered throughout the paper is of the form Here, and throughout this work, and denote two maps, a Banach space and and two ordered Banach spaces. The sensitivity of the problem is analysed by studying the quantitative behaviour of a nonsingleton set of optimal points when the parameter varies.
As the maps and lie in Banach spaces, the obtained results provide a general framework in which a wide range of problems can be studied; see .
To perform our analysis we use the so-called -optimal solution; that is, solutions of the program characterized to become a minimum when the objective function is composed with a positive topological homomorphism . For a fixed , we measure the perturbation experienced by the whole set of the -optimal solutions (not necessarily a singleton) when the right-hand side vector varies. The study is carried out by means of set-valued derivatives.
Tangent cones are the cornerstone of the notion of derivative of a set-valued map. There are different notions of tangency, and each of them provides a different cone. Experience shows that there are, mainly, four useful kinds of cones: Bouligand's contingent, adjacent, Clarke's tangent (or circatangent), and Bouligand's paratingent (see [2, 3]). All the four correspond to different regularity requirements and they carry in themselves a wide and particular information about the local behaviour of sets. Once a concept of tangent cone is chosen, we can associate with it a notion of the derivative of a set-valued map. Derivatives obtained with the former cones play an important role in several branches of mathematics, for example, nonsmooth analysis, control theory, viability theory, and so forth.
The notions of derivative of set-valued maps have been used in many recent papers in the context of stability and sensitivity analysis; see, for example, [4–17]. In this paper we follow this research line, analysing the sensetivity of the differential program (1) by means of the paratingent derivative. In previous papers, the study of sensitivity of this problem has been carried out by using adjacent, contingent, and circatangent derivatives (see [18, 19]). Therefore, this study completes the sensitivity analysis of problem (1) with the four main derivatives mentioned above.
Our view is that, on the one hand, the main theorem of this work (Theorem A) measures the specific kind of sensibility provided by the paratingent cone. On the other hand, this result measures the sensitivity of the problem in cases in which previous results do not. Next, we explain the former claim. Clarke cone has the nice property to be always a closed convex cone. Then, Clarke derivative is a closed convex process, that is, the set-valued analogous of a continuous linear operator. The price of this property, however, is quite high since this tangent cone may often be too small or even reduced to the singleton ; see [2, Chapters 2 and 4]. In that case, the corresponding derivative does not provide any information about the sensitivity of the problem. Paratingent cone is a natural generalization of Clarke cone. Although its definition is less restrictive, it holds the property of stability of the tangency with respect to perturbations around the point where the cone is taken, in the same way that Clarke cone does. Paratingent cone is bigger than Clarke cone, then paratingent derivative can measure stability when Clarke derivative fails. Contingent and adjacent cones are intermediate cones between Clarke and paratingent ones, but they lack the above-mentioned tangency's stability property. Finally, as the paratingent cone is the biggest one of the four considered cones, it can provide information about the sensitivity when the others fail; see Example 2 of Section 2. Let us note that paratingent derivative is also useful in works on optimality conditions , differential inclusions [21–23], dynamical systems and ergodic theory , differentiable maps , and differentiation theory .
Before presenting the main results of the work, it is necessary to introduce some terminology and notation. Let us fix an order complete Banach lattice and a positive linear and continuous surjective map such that its kernel has a topological supplement. It is said that a feasible is a local -optimal solution of (1) when there exists a neighbourhood of such that for every feasible . It is clear that every local -optimal solution of (1) is a local optimal solution of the program, that is, for every feasible . If is a topological isomorphism satisfying some weak requirements, then the set of the -optimal solutions is dense in the efficient line (see ), and thus, it constitutes a very suitable set to describe the full efficient line. An element is said to be regular with respect to the problem (1) if the Fréchet differential, , of at is surjective. will denote the Banach space of the continuous linear maps from on with the usual norm and by , the natural projection from onto the kernel of , . Let be a regular local -optimal solution of (1) is represented, a map is said to be a -Lagrange multiplier of (1) associated with if and . In , it is proved that for every regular local -optimal solution of (1), there exists a -Lagrange multiplier associated with it. Now we can define the following key set-valued maps of the work.
Now we can state the main result of the work. In this, it is represented by (resp., ), the paratingent derivative of (resp., ) relative to (resp., ).
Theorem A. Let one fixes , , and and is associated with . If is is lower semicontinuous, paraderivable relative to at and is continuously Fréchet differentiable at , then is lower semicontinuous, paraderivable relative to at , and
If , the derivatives of the statement of the former result are denoted by and . In this case, we obtain a more particular but simpler version.
Corollary B. Let one supposes that is lower semicontinuous, paraderivable relative to at , is continuously Fréchet differentiable at , then is lower semicontinuous, paraderivable relative to at , and
The proof of Theorem A is based on the fact that the set-valued map , defined by , is paraderivable when -dual perturbation map is and is Fréchet differentiable. This is stated in Theorem 12 of Section 4. Besides, on that result, the paratingent derivative of is expressed in terms of the paratingent derivative of , formula (58). This formula also holds even when is not paraderivable. The former fact and the proof of Theorem A allows us to claim that (4) also holds even when is not paraderivable. As a consequence, (4) provides a way to measure sensitivity of problem (1) when the other derivatives fail.
The paper is organized as follows. In Section 2, the necessary mathematical background is reviewed; mainly, basic definitions and characterizations of cones and derivatives are provided in a precise way. Section 3 is a technical part devoted to establish some results which will be useful in Section 5. In particular, condition is introduced and after that we prove Theorem 4 which allows us, via property , to transfer the condition of paraderivability from an arbitrary set-valued map to that one defined by . After that we obtain some more technical results. For example, in Lemma 6, it is proved when the paraderivability can be transferred from to , and Proposition 9, which is the paratingent version of the useful Proposition 5.1.2 of , provides the paratingent derivative of the sum of a set-valued map and a single-valued map. The objective of Section 4 is to prove the main result of the work about the sensitivity of the problem (1). After some technical considerations, Theorem 12 is stated and proved. In its statement it can be seen that it is possible to transfer the paraderivability property from the set-valued to . After that, Theorem A is proved. At the end of Section 4 an example that illustrates the main theorem can be seen.
2. Cones and Derivatives
Before introducing the notions of cone and derivative, we will recall (and will go into details) some definitions which were scarcely given in the former section. Let us recall that represents a Banach space, , , and ordered Banach spaces such that is an order complete Banach lattice (i.e., every nonempty bounded from below subset has an infimum in ). Let , and denote the respective positive convex cones of , and , and suppose that and are closed. The dual space of a Banach space will be denoted by . The map is fixed throughout the paper and it is a positive linear and continuous surjective map such that Ker has a topological supplement denoted by . The symbol represents the restriction of to . It follows from the open mapping theorem (Theorem 2.11 in ) that the inverse operator is continuous.
Now let us introduce the notions and characterizations of cones and derivatives that will be used throughout this work (see [2, 29] for further details). Let be a normed space, a nonempty set, its clausure in the norm topology, and . the natural distance map from the point to the set will be denoted by and the first infinite ordinal by . The Bouligand contingent cone to at is defined by Therefore, if and only if, there exist two sequences: converging to ( for short) and converging to ( for short), such that for every . Let a nonempty set and . The Bouligand paratingent cone to relative to at is defined by When , we set . Therefore, if and only if, there exist three sequences: , , and such that for every . Then . Besides, when we have . Hence, behaviour of paratingent cone respect to perturbations around the point is stabler than that of contingent cone.
In Section 1, we noted that paratingent cone is the biggest cone among all of the cones cited there. The following example shows a situation in which contingent cone vanishes, whereas paratingent cone does not. On that, we consider the Banach space of all bounded real sequences, , endowed with the supremum norm, for every . In addition, we will denote by the real number and by the zero element of .
Example 2. Define the set-valued map by and, for every , Then but
Finally, we now introduce the type of derivatives that we will handle. Let and be two normed spaces, a set-valued map, and . It is said that is lower semicontinuous at if for every and any sequence , there exists a sequence such that for every . Let us fix , the contingent derivative of at is the set-valued map defined by . Now let us fix also a subset , the paratingent derivative of relative to at is the set-valued map defined by . If , then is written as . Finally, is said to be paraderivable relative to at if . As can be seen in , if is single-valued and Fréchet differentiable at , then is derivable at and for every . However, in our framework, a single-valued map has to be continuously Fréchet differentiable at in order to be paraderivable relative to at ; in this case we have for every .
3. Regularity Condition and First Results on Paraderivability
In this section the regularity condition will be established. It will allow us to transfer the condition of paraderivability from a set-valued map to the corresponding defined by . It is known that if is a single-valued and Fréchet differentiable map then is also Fréchet differentiable (see Lemma 11 in ).
From now on, the following notation will be used. Given a set-valued map , the set-valued map will be defined by for every . Given a set , the set will be defined by .
Definition 3. A set-valued map is said to have property at if after fixing the following four sequences: (i) ; (ii) ; (iii) ; (iv) such that each and there exists
there exist three sequences (1); (2) such that each and ; (3) verifying that each , in such a way that such that there exits
The interpretation of the former definition can be as follows. It is not restrictive to suppose that the two sequences of linear and continuous maps, and , related by the pointwise limit (11) are, in fact, related by the uniform version of this limit. In the next result we will see how, by means of property , it is possible to transfer the paraderivability from the set-valued map to the set-valued map defined above.
Theorem 4. Let be a set-valued map with property at and paraderivable relative to L at . Then is also paraderivable relative to at and
Proof. The paraderivability of is a direct consequence of the equality (14). Thus, let us begin the proof by showing the equality. the inclusion will be first proved. For this purpose we fix and . Thus and there exist , , , and such that each and
Since verifies property at , we can fix the three sequences of the second part of Definition 3. Let us recall that the following equality holds
Hence, because , ,
From (15) and (16) we get
Finally, since , then .
For the reverse inclusion, , we fix and . Let us fix now such that . By definition, there exist , , , such that each Then , for all . Moreover and consequently, Therefore, , and consequently belongs to the set .
Let us begin now the last part of the proof. In this, the paraderivability of relative at will be shown; that is, it will be proved the inclusion , for each . For this goal let us fix , the equality (14) and the paraderivability of relative to at yield that . Then there exists such that . Hence, and such that , for every . Let us define now , then there exists . Thus, if we define , since , we have that . Finally for all ; therefore, the proof is over.
The following example shows that in the former result neither assumptions can be dropped.
Example 5. (i) Let one defines by , then has property at , but neither nor is paraderivable at and , respectively.
(ii) Let one defines by if and , and for every , for every . Then is paraderivable at , but it does not have property at and is not paraderivable at .
In the statement of the following result, the previously fixed notation is used and, in addition, we will consider the set which is a subset of .
Lemma 6. Let one assumes that is a single-valued and continuously Fréchet differentiable at map. If is paraderivable relative to at , then is paraderivable relative to at and
Proof. In this first stage of the proof we are going to check that is paraderivable relative to at . To do this, we have to show the inclusion . For this purpose, let us fix , then there exists , , and such that
Therefore, for any , there exists such that
Besides, for all , the following equality holds:
Now, Lemma 11 of  yields that is continuously Fréchet differentiable at , which provides that
Also, since for all , we have , it is followed that , and then
Paraderivability of yields
Hence, there exist and such that
Now, implies , and then .
At this point, we have shown the paraderivability of and the inclusion The proof of the lemma will be over by showing the reverse of the former inclusion. Let us fix now and such that . Let us consider , and such that Hence, and . Then which finishes the proof.
Now we begin the second part of this section with a consequence of the medium value theorem. It shows the advantage of working with -class maps.
Lemma 7. Let be a continuously Fréchet differentiable map, , , and . Then
Proof. Firstly let us define the auxiliary map , for every . Then it is also continuously Fréchet differentiable and , for every . Hence, given , there exists a neighbourhood of such that Now, applying the medium value theorem, we can write Since was previously arbitrarily fixed, then In fact, the former limit allows us to compute the limit of the statement because and the proof is over.
In the following result we see how a condition in form of inclusion for a set-valued map allows us to turn some pointwise limits, of linear and continuous maps, into uniform ones in a stronger way than property does. It will be useful in the proof of the main theorem of the work, in Section 4.
Proposition 8. Let and be two continuously Fréchet differentiable maps such that for every . Let one fixes also a set-valued map such that for every , a point , and four sequences: , , , and such that each . Now, if there exists then there exists
Proof. In the first place, the inclusion of in the statement yields that there are and two sequences and of elements of such that , , and for every .
Now, on the one hand,
On the other hand, since is continuously Fréchet differentiable, the former lemma and Lemma 10 of  yield where and .
To conclude, for every , we decompose The former decomposition allows us to arrive at and thus, the proof is over.
Let us compute now the formula for the paratingent derivative of the sum of a set-valued map and a single-valued map. For the formula of the sum with other derivatives, we refer the reader to .
Proposition 9. Let be a continuously Fréchet differentiable map, a set-valued map, , , and . Then
Proof. Let us begin by checking the inclusion . For this purpose we fix arbitrary elements and . Now, by the usual characterization of the paratingent cone we have three sequences: , , and . Moreover, the following condition holds true for every :
Then, for every , there exists such that
Finally, the definition of paratingent cone assures that the last limit belongs to , and hence, also does.
In order to prove the reverse inclusion, we fix arbitrary and . We use again the characterization of paratingent cones which provides us the usual three sequences: , , and in such away that Now, for every , there exists such that , and the sequence defined by the general term converges to . To conclude, since certainly
4. Sensitivity Analysis
Theorem A will be proved in this section. However, before this, it will be necessary to state and prove Theorem 12. In this theorem, it is shown how the Fréchet differentiability of the single-valued map allows us to transfer the paraderivability from the -dual perturbation map to the set-valued map . In its proof, the obtained results in Section 3 are applied, taking as . In addition, we will need to establish also some previous technical results which will constitute the first part of this section.
Throughout this section we will assume, firstly, that the parameter belongs to an open convex set such that . This condition is not a restriction because the problem (1) with is equivalent to some problem (1) with . If we keep this assumption in mind, the following claim can be proved. There exists a continuously Fréchet differentiable map such that for each . This is a consequence of the Hanh-Banach theorem, Theorem 3.4 of .
In the second place, we will assume that for every there exists a regular local -optimal solution of (1) in such a way that the map given by is Fréchet differentiable. The existence of this kind of map has been studied by several authors; the linear case can be seen in . This assumption jointly with Proposition 8 of  implies that is a single-valued map, that is, for every two elements , and .
It is easy to check that is a -Lagrange multiplier of (1) associated with . Moreover, -modifications of two different -Lagrange multipliers of (1) associated to the same regular local -optimal solution coincide. Moreover, we have the following result.
Proposition 11 (see Proposition 10 of ). Let , a regular local -optimal solution of (1), a -Lagrange multiplier of (1) associated with , and the set of the -Lagrange multipliers of (1) associated with . Then where .
Next we will prove the following.
Theorem 12. Let one supposes that the -dual perturbation map is paraderivable relative to at and is Fréchet differentiable at . Then is paraderivable relative to at and
Proof. The statement will be proved by applying Theorem 4. Hence, it is enough to prove that verifies property at . For this, let us fix the four sequences which appear in the first part of the definition of Definition 3, that is, , , , and such that each and the below limit exists