Generalized Duality for a Nondifferentiable Control Problem
1Department of Mathematics, Jaypee University of Engineering and Technology, Guna, India
2Department of Statistics, University of Kashmir, Srinagar, India
A generalized dual to a control problem containing support functions is formulated and various duality theorems are established under generalized convexity hypotheses. This dual model represents the combination of Wolfe and Mond-Weir type dual models to the control problem and hence it is described as a generalized dual. Some special cases are obtained. A close relationship of duality results with those of the nonlinear programming problems involving support functions is indicated.
Keywords: control problem, support function, optimality conditions, generalized duality, converse duality, nonlinear programming
American Journal of Applied Mathematics and Statistics, 2014 2 (4),
Received March 13, 2014; Revised May 20, 2014; Accepted June 30, 2014Copyright © 2013 Science and Education Publishing. All Rights Reserved.
Cite this article:
- Husain, I., Vikas K. Jain, and Abdul Raoof Shah. "Generalized Duality for a Nondifferentiable Control Problem." American Journal of Applied Mathematics and Statistics 2.4 (2014): 193-202.
- Husain, I. , Jain, V. K. , & Shah, A. R. (2014). Generalized Duality for a Nondifferentiable Control Problem. American Journal of Applied Mathematics and Statistics, 2(4), 193-202.
- Husain, I., Vikas K. Jain, and Abdul Raoof Shah. "Generalized Duality for a Nondifferentiable Control Problem." American Journal of Applied Mathematics and Statistics 2, no. 4 (2014): 193-202.
|Import into BibTeX||Import into EndNote||Import into RefMan||Import into RefWorks|
In , Husain et al. considered the following control problem containing support functions:
(i) is a differentiable state vector function with its derivative and is a smooth control vector function,
(ii) denotes an n-dimensional Euclidean space and is a real interval.
(iii) and are continuously differentiable.
(iv) and are the support functions of the compact sets and respectively.
Denote the partial derivatives of where by and
where superscripts denote the vector components. Similarly we have and Designate by The space of continuously differentiable state functions such that and and is equipped with the norm and , the space of piecewise continuous control vector functions having the uniform norm The differential equation (2) with initial conditions expressed as may be written as where being the space of continuous function from to defined as In the derivation of the optimality conditions, some constraint qualification to make the equality constraints locally solvable is needed. For this the derivative of (say) with respect to namely are required to be surjective. Husain et al.  established the following Fritz type necessary conditions for the control problem (CP):
Proposition 1. (Fritz John Necessary Conditions): If is an optimal solution of (CP) and the derivative is surjective, then there exists Langrange multipliers and piecewise smooth and such that for all t,
Proposition 2. If is an optimal solution and is normal and is surjective, there exist piecewise smooth with and such that
Using the Karush-Kuhn-Tucker type necessary optimality conditions, Husain et al.  constructed the following Wolf type dual control problem to (CP) and proved various duality results:
The problem (WCD) is a dual to (CP) assuming that is pseudo convex in for all and
Husain et al.  further weakened the generalized convexity for duality by constructing a Mond-Weir type dual to (CP) given below.
(i) and are compact sets in , and
(ii) and are piecewise smooth functions and
Husain et al.  proved duality theorems for the problem (CP) and (M-WCD) under the assumptions of pseudoconvexity of for and quasi convexity of and for all
We review some well known facts about a support function for easy reference. Let be a compact convex set in . Then the support function of denoted by is defined as
A support function, being convex and everywhere finite, has a subdifferential in the sense of convex analysis, that is, there exists z such that for all The subdifferential of is given by Let be normal cone at a point Then if and only if or equivalently, is in the subdifferential of at
In this paper, we propose a generalized dual to (CP) and prove various duality theorems under appropriate generalized convexity assumption. From our duality results, special cases are deduced and it is shown that our results derived in this research can be considered as dynamic generalization of those of nonlinear programming problems having support functions.
2. Generalized Duality
Let with and and with and .
We propose the following generalized dual to the problem (CP) and prove various duality theorem under appropriate generalized convexity condition:
Theorem 1 (Weak duality): let be feasible for (CP) and with and feasible for (GCD). If for all feasible
is pseudoconvex, and and are quasiconvex, then
Proof: Since is feasible for (CP) and is feasible for (GCD), we have
By the quasiconvexity of and the above inequality respectively yields,
Combining the above inequalities and the using equality constraints (12) and (13), we have
This, because of pseudoconvexity of
at ,we have
Using and , together with feasibility of for (CP) in the above inequality, we have
Theorem 2 (Strong Duality): if is an optimal solution of (CP) and is normal , then there exist piecewise smooth and such that is feasible for (GCD), and the corresponding values of (CP) and (GCD) are equal. If the hypotheses of Theorem 1 hold, then is an optimal solution of (GCD).
Proof: Since is an optimal solution of (CP) and is normal , then from Proposition 2, there exist piecewise smooth , and such that conditions (4)-(10) hold. So is feasible for (GCD) and in view of conditions (4), (5), (6), (9) and (10), the equality of the objective functionals follows. If is pseudoconvex, and and are quasiconvex for all and , then from Theorem 1 must be an optimal solution of (GCD).
Theorem 3 (Strict converse duality): Let the problem (CP) have an optimal solution that satisfies the normality condition and be optimal solution of (GCD) if is strictly pseudoconvex, and and are quasi convex for all , then , i.e., is an optimal solution of (CP).
Proof: We shall assume that and exhibit a contradiction, since is an optimal solution of (CP), it follows from Theorem 2 there exist , and such that is an optimal solution of (GCD). Hence
together with the feasibility of for (CP) and for (GCD). for , we have
These, because of quasiconvexity hypothesis and merging their implication and then using equality constraints of (GCD), we have
This, in view of the strict pseudoconvexity of
This in view of (2) and (3), yields.
In view of and this implies
which is absurd. Hence
3. Converse Duality
In this section, we shall prove the converse duality under the assumption and are twice continuously differentiable. The problem (GCD) may be written in the following form:
Consider as defining a mapping and as defining a mapping where (i) and are Banach spaces,
(ii) and are spaces of piecewise smooth functions and .
In order to apply the results of , some restrictions are required on the equality constraints and It suffices if the derivatives and have weak closed range. In the following theorem, we write and
Theorem 4 (Converse Duality): Assume that
(C1): and are twice continuously differentiable.
(C2): and have weak closed range.
(C4): and are quasiconvex,
(C5): , where is an appropriate vector function, and
(C7): are linearly independent.
Then is an optimal solution of (CP) and the optimal values of (CP) and (GCD) are equal.
Proof: Since is an optimal solution of (GCD), by Proposition 1 there exist Langranges multipliers piecewise smooth and such that
Multiplying (21) by and using (29), we have
From (27), we have
which can be written as
Multiplying (23) by, we have
From (28), we have
(by integrating by parts)
which on using the hypothesis (C5), given in the relation can be written in the matrix form as
Using the equation constraints of (GCD), in (18) and (19) respectively. We have
Combining (34) and (35), we have
Ppremultiplying by this gives
This, on using (32) and (33) gives
In view of the hypothesis (C4), this yields
Using (36), we have
This because of (C6), yields
If , then and from (20) and (21), we have .
Consequently, we have ensuing a contradiction to (31).
Hence , implying . From (20) together with (21) and (22) together with (23), we have
The relations (24)-(26), we have
From (37), (39) and (41), we have
implying that is feasible for (CP).
From (38), (40) and (42), we have
In view of the hypotheses (C3) and (C4), by Theorem 1, the optimality of for (CP) follows.
4. Special Cases
If and then (GCD) becomes (WCD) which is Wolfe type dual to (CD) under the pseudoconvexity of
If and (for some ), then (GCD) becomes (M-WCD) is a Mond-Weir type dual to (CP) if is pseudoconvex, and and are quasiconvex.
Let and be positive semi definite matrices and continuous on . Then where and
Replacing the support function by its corresponding square root of a quadratic form, we have
These dual models are not explicitly reported in the literature. However, the duality relationship between (CD0) and (GCD0) can be established analogously to that of the problem of preceding section.
5. Nonlinear Programming Problem
If all the functions involved in the formulation of (CP) and (GCD) are independent of , these problem reduce to the following nonlinear programming problems with support functions which do not appear in the literature.
Ignoring and replacing and by and respectively, we get the following problems studied by Husain and Jabeen :
Primal (P1): Minimize
Dual (GD): Maximize
|||S. Chandra, B.D. Craven, and I. Husain, ‘A class of nondifferential Control problems’, J. Optim. Theory Appl. 56 (1988), 227-243.|
|||I. Husain and Z. Jabeen, ‘Mixed duality for a Programming containing support functions’, J. Appl. Math & computing Vol. 15 (2004), No 1-2 pp. 211-225.|
|||I. Husain, A. Ahmad and Abdul Raoof Shah, ‘On a control problem with support functions’, submitted for publication.|
|||I. Husain, Abdul Raoof Shah and Rishi K. Pandey, ‘Duality for a control Problem with support function’, submitted for publication.|
|||B. Mond and M. Hanson, ‘Duality for control problem’, SIAM J. Control 6 (1968), 114-120.|