Journal of Control Science and Engineering

Volume 2011, Article ID 127208, 9 pages

http://dx.doi.org/10.1155/2011/127208

## Higher-Order Generalized Invexity in Control Problems

Department of Mathematics, Indian Institute of Technology, Kharagpur-721302, India

Received 13 December 2010; Accepted 30 March 2011

Academic Editor: Onur Toker

Copyright © 2011 S. K. Padhan and C. Nahak. 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

We introduce a higher-order duality (Mangasarian type and Mond-Weir type) for the control problem. Under the higher-order generalized invexity assumptions on the functions that compose the primal problems, higher-order duality results (weak duality, strong duality, and converse duality) are derived for these pair of problems. Also, we establish few examples in support of our investigation.

#### 1. Introduction

We consider the control problem where , , and are twice continuously differentiable functions from into , , and , respectively, .

Mangasarian [1] formulated a class of higher-order dual problems for a nonlinear programming problems involving twice continuously differentiable functions. He did not prove the weak duality and hence gave a limited strong duality theorem. Mond and Zhang [2] introduced invexity type conditions under which duality holds between Mangasarian [1] primal problem and various higher-order dual programming problems.

One practical advantage of higher-order duality is that it provides tighter bounds for the value of the objective function of the primal problem when approximations are used, because there are more parameters involved. Higher-order duality in nonlinear programming has been studied by several researchers like Mond and Zhang [2], Chen [3], Mishra and Rueda [4], and Yang et al. [5]. Recently, Gulati and Gupta [6] studied the higher-order symmetric duality over arbitrary cones for Wolfe and Mond-Weir type models. Obtained duality results for various higher-order dual problems under higher-order and type higher-order duality to higher-order type I functions.

Bhatia and Kumar [7] have studied the multiobjective control problems under -pseudoinvexity, -strictly pseudoinvexity, -quasi-invexity, and -strictly quasi-invexity assumptions. Nahak and Nanda [8] have studied the efficiency and duality for multiobjective control problems under convexity. Again Nahak and Nanda [9] proposed a sufficient condition for solutions and duality for the multiobjective variational control problems under -invexity. Recently, Padhan and Nahak [10] considered a class of constrained nonlinear control primal problem and formulated the second-order dual. He also gave some duality results (weak duality, strong duality, and converse duality) under generalized invexity assumptions. But in our knowledge, no one has talked about higher-order duality for the control problem. In this paper, we study both Mangasarian and Mond-Weir type higher-order duality of the control primal problem (CP). We give more general type conditions that is higher-order generalized invexity under which duality holds between (CP) and (MHCD), and (CP) and (MWHVD). Our approach is similar to that of Mangasarian [1]. Again, we discuss many counterexamples to justify our work.

#### 2. Notations and Preliminaries

Let denote the space of piecewise smooth functions with norm , where the differentiation operator is given by where is a given boundary value; thus, except at discontinuities.

The higher-order generalized invexity functions are defined as follows.

*Definition 2.1. *The scalar functional is said to be higher-order -invex in , , and if there exist ,, , and , such that

*Definition 2.2. *The scalar functional is said to be higher-order -pseudoinvex in , and if there exist ,, , and , such that

*Definition 2.3. *The scalar functional is said to be higher-order -quasi-invex in , and , if there exist , , , and , such that

*Remark 2.4. *If
with at and , then the above definitions becomes the definitions of invexity defined by Padhan and Nahak [10].

#### 3. Mangasarian Type Higher-Order Duality

In this section, we propose the following Mangasarian type higher-order dual (MHCD) to (CP):

*Remark 3.1. *If
then (MHCD) is similar to the second-order duality given by Padhan and Nahak [10].

Theorem 3.2 (weak duality). *
Let and , be the feasible solutions of (CP) and (MHCD), respectively. Let , and be higher-order -invex, higher-order -invex, and higher-order -invex functions in , and on with respect to the same functions , with , then the following inequality holds between the primal and the dual :
*

*Proof. * Since and be the feasible solutions of (CP) and (MHCD), respectively, we have
(by the higher-order -invexity of and and equations (11)–(14)). This completes the proof.

We construct the following example which verifies Theorem 3.2 above, in which the objective and the constraints functions are higher-order -invex.

*Example 3.3. *Let us consider the following control problem:
where and , , and . It is clear that the objective function , the inequality constraint function and the equality constraint function are not -invex, -invex and -invex, respectively, as defined by Padhan and Nahak [10]. But for and , they are higher-order -invex, higher-order -invex and higher-order -invex, respectively, with respect to the same and . The functions , , , ,, and are defined as follows:
The Mangasarian higher-order dual of the control problem is
The above problem satisfies weak duality Theorem 3.2 for .

Necessary conditions for the existence of an extremal solution for a variational problem subject to the both equality and inequality constraints were given by Valentine [11]. Using Valentine's results, Berkovitz [12] obtained the corresponding necessary conditions for the control problem (CP). These may be stated in the following way. If is an optimal solution for (CP), then hold throughout (except for the values of corresponding to points of discontinuity of , (23) holds for right and left hand limits). Here, is nonnegative constant, is continuous in , and , and cannot vanish simultaneously for any . It will be assumed that the minimizing arc determined by is normal, that is, that can be taken equal to 1.

Theorem 3.4 (strong duality). *Let be a local or global optimal solution of at which the constraint qualification (23)–(27) are satisfied, and for the piecewise smooth functions , , let *(i)*,*(ii)*,*(iii)*,*(iv)*,*(v)* = ,,*(vi)*= , *(vii)*,*(viii)*,,*(ix)*= ,.**Then, is feasible for . Moreover, if the weak duality Theorem 3.2 holds between the control primal and the Mangasarian higher-order dual . Then, is an optimal solution of , and the optimal values of and are equal.*

*Proof. *Since is an optimal solution of (CP), from (23)–(27), we can easily conclude that satisfies the constraints of (MHCD) and objective values of (CP) and (MHCD) are equal. Hence, the result follows.

Theorem 3.5 (converse duality). *
Let ,, be an optimal solution of (MWHCD). Suppose that , and are higher-order -invex, higher-order -invex, and higher-order -invex functions in , , and on with respect to the same functions , with . Moreover, if
**
then is an optimal solution of (CP).*

*Proof. * Suppose that is not an optimal solution of (CP). Then, there exists a feasible solution of the primal (CP) such that
Since, and are higher-order -invex, higher-order -invex, and higher-order -invex functions with respect to same , and , we have
This completes the proof.

Mond-Weir type higher-order duality is established to weaken the higher-order invexity requirements, that is, higher-order pseudoinvexiy and higher-order quasi-invexity.

#### 4. Mond-Weir Type Higher-Order Duality

In this section, we propose the following Mond-Weir type higher-order dual (MWHCD) to (CP):

Theorem 4.1 (weak duality). *Let and be the feasible solutions of (CP) and (MWHCD), respectively. Let , and be higher-order -pseudoinvex, higher-order -quasi-invex, and higher-order -quasi-invex functions in , , and on with respect to the same functions , and , with , then the following inequality holds between the primal and the dual ,
*

*Proof. *Since and are the feasible solutions of (CP) and (MWHCD), respectively, from (46), (3), (34), (35) and (37), we have
Since and are higher-order -quasi-invex and higher-order -quasi-invex functions, (39) and (40) gives
by the higher-order -pseudoinvexity of . This completes the proof.

We construct the following example which verifies Theorem 4.1 above, in which the objective function is higher-order -pseudoinvex and the constraints functions are higher-order -quasi-invex.

*Example 4.2. * Let us consider the following control problem:
where ,, , , and . It is clear that the objective function , the inequality constraint function and the equality constraint function are not higher-order -invex, higher-order invex and higher-order -invex, respectively. But they are higher-order -pseudoinvex, higher-order quasi-invex and higher-order -quasi-invex, respectively, with respect to the same and . The functions ,, , ,,, and are defined as follows:
The Mond-Weir higher-order dual of the control problem is
The above problem satisfies weak duality Theorem 4.1.

Theorem 4.3 (strong duality). *Let be a local or global optimal solution of , and for the piecewise smooth functions , , let *(i)*,*(ii)*,*(iii)*,*(iv)*,*(v)* = ,,*(vi)* = ,,*(vii)*,*(viii)* = ,,*(ix)* = ,.**Then, is feasible for . Moreover, if the Weak Duality Theorem 4.1 holds between the control primal (CP) and the Mond-Weir higher-order dual . Then, is an optimal solution of , and the optimal values of and are equal.*

*Proof. *The proof is similar to that of Theorem 3.4.

Theorem 4.4 (converse duality). *
Let , be an optimal solution of (MWHCD). Suppose that , and are higher-order -pseudoinvex, higher-order -quasi-invex, and higher-order -quasi-invex functions in , and on with respect to the same functions , with *