Received 30 November 2015; accepted 18 January 2015; published 22 January 2016
A Semi-infinite Programming Problem (SIP)  - is an optimization problem in which the index set of inequality constraints is an arbitrary and not necessarily finite set. It has wide variety of applications in various fields like economics, engineering, mathematical physics and robotics. While browsing the literature, we observe that much attention has been paid to SIP which is static in nature in the sense that time does not enter into consideration. Whereas in practical problems we come across situations where time plays an important role and hence cannot be neglected.
Semi-infinite Programming Problem is tightly interwoven with Variational Problem  - . Both these subjects have undergone independent development, hence mutual adaptation of ideas and techniques have always been appreciated.
In this article, we propose Semi-infinite Variational Problem for which necessary optimality conditions are established. These optimality conditions are further extended to Multi-objective Semi-infinite Variational Problem (MSVP). We also clarify, with proper reasoning, certain points which were left for later validation in  .
Necessary optimality conditions are important because these conditions lay down foundation for many computational techniques in optimization problems as they indicate when a feasible point is not optimal. At the same time these conditions are useful in the development of numerical algorithms for solving certain optimization problems. Further, these conditions are also responsible for the development of duality theory on which there exists an extensive literature and a substantial use of which (duality theory) has been made in theoretical as well as computational applications in many diverse fields. While browsing the literature, we found that necessary optimality conditions were not proved for the class of semi-infinite variational problems.
The paper is organized as follows: In section 2 some basic definitions and preliminaries are given. Section 3 deals with necessary optimality conditions for semi-infinite variational problem; single objective as well as multi- objective. In section 4, we prove a lemma which is required to prove necessary optimality conditions of section 3, for semi-infinite variational problem.
2. Definitions and Preliminaries
Let E be a topological vector space over the field of real numbers and denotes the topological dual space of E. For a set, the topological polar cone of C is Let r and n be two positive integers. For a given real interval, let be a piecewise smooth state function with its derivative. For notational convenience we write in place of. Let, and be continuously differentiable functions with respect to each of their argument. We also denote the partial derivative of with respect to and by respectively. Analogously, we write the partial derivative of. For the sake of notational convenience we write for and for for.
For any, in n-dimensional Euclidean space,
1) for all
2) for all
3) for all
Let and denote the non negative and positive orthant of respectively. Let X be the space of piecewise smooth state functions which equipped with the norm, where the differential operator D is given by
Therefore, except at discontinuities.
Consider the following Multi-objective Semi-infinite Variational Problem (MSVP):
with the norm defined as above is a Banach space.
Let be the set of all feasible solutions of (MSVP).
Definition 1 A point is said to be an efficient solution for (MSVP) if there is no other such that
3. Necessary Optimality Conditions
Let us first prove necessary optimality conditions for the following single objective Semi-infinite Variational Problem (SVP):
where is continuously differentiable function with respect to each of its argument.
The problem (SVP) may be rewritten as Cone Constrained Problem (CCP):
where is defined as
where is Lebesgue measure.
is defined as
Theorem 2 Let be an optimal solution of (SVP). Then there exist and piecewise smooth functions for finitely many such that
Proof. Since is an optimal solution of (SVP), so is of (CCP). Therefore there exist and
(topological polar cone of K)  such that
where and are Frechet derivatives of and G at.
Also for every,
By Lemma 1 (proved in Section 4)
Let For by Riesz representation theorem  there exist
for, choose, therefore for any,
Substituting in (16) and using (12), we arrive at (9).
Now it follows from (11)
(13) along with (16) implies
On using (14), we get
Integrating by parts the following function and using boundary condition of h,
Using above equation in (20), we get
By fundamental theorem of calculus of variation 
Without loss of generality assume that
Claim 2:, where
Let if possible, then
Then but a contradiction.
Hence Claim 2 holds, that is,
Using the same argument Hence claim 1 also holds.
The relations (16) are generally valid only if is Schwarz distribution. Condition (8) is a
linear first order differential equation for, therefore for given, equation (8) is solvable for piecewise smooth function   .
Theorem 3 (Necessary Optimality Conditions) Let be a normal efficient solution for (MSVP). Then there exist and piecewise smooth functions for finitely many such that the following conditions hold:
Proof. This theorem can be proved by using Theorem 2 and proceeding on the similar lines of ( , Theorem 3.4).
The following example illustrates the validity of Theorem 3.
Example 4 Consider the problem (P1):
where is a piecewise smooth state function. It is trivial that is a normal efficient solution for (P1). It can be verified that there exist and smooth functions for such that (27), (28) and (29) hold.
The following example illustrates that a feasible solution of (MSVP) fails to be a normal efficient solution if it does not satisfy any one of the necessary optimality conditions (27), (28) or (29).
Example 5 Consider the problem (P2):
where is a piecewise smooth state function. Then is feasible solution for (P2). But not a normal efficient solution, since it not satisfied condition (27) for any and for any piecewise smooth functions for finitely many
4. Topological Dual of
Let us summarizes some basic concepts and tools to find topological dual of.
1) is a Riesz space ( , p. 313) as it is partially ordered by the pointwise ordering in if and only if in, for each. Its lattice operations are given pointwise
2) is also a Riesz space.
3) Order dual of is a Riesz space (  , Theorem 8.24).
4) is a Frechet lattice, as it is Banach lattice ( , p. 348). Since countable cartesian product of Frechet lattice is Frechet lattice (  , Theorem 5.18) which imply is Frechet lattice equipped with the product topology.
5) Given define the n-tail of by
Motivated by the topological dual of ( , Theorem 16.3), we now find the topological dual of in the following lemma.
Lemma 1 The topological dual of is
Proof. For any, define,
Clearly is a continuous linear functional on.
For the converse, assume that is continuous linear functional. The continuity of at zero element of guarantees that there exist and such that and for imply.
So for each for each n, hence.
For each define as
Then is a continuous linear functional.
By Riesz representation theorem, for there exist such that
note that for each
That is and h is uniquely determined.
Now, if then, for all
Conversely, proceeding similarly as in claim 1 of Theorem 2, it can be shown that
if, for all then.
This infers is a lattice isomorphism from D onto.
Hence ( , Theorem 9.11).
In this paper, we have developed necessary optimality conditions for a Semi-Infinite Variational Problem. These optimality conditions are further extended to Multi-objective Semi-infinite Variational Problem (MSVP) as Theorem 3. The results proved in this article are significant for the growth of optimality and duality theory for the class of semi-infinite variational problems. An example is presented to demonstrate the validity of the theorem proved. Another example illustrates that a feasible solution of (MSVP) fails to be a normal efficient solution if it does not satisfy any one of the necessary optimality conditions stated in the theorem. Vital part of the result depends on the topological dual of which was proved as a lemma in the last section.
We thank the Editor and the referee for their comments. The first author was supported by Council of Scientific and Industrial Research, Junior Research Fellowship, India (Grant no 09/045(1350)/2014-EMR-1).
 Bhatia, D. and Mehra, A. (1999) Optimality Conditions and Duality for Multiobjective Variational Problems with Generalized B-Invexity. Journal of Mathematical Analysis and Applications, 234, 341-360. http://dx.doi.org/10.1006/jmaa.1998.6256
 Antczak, T. (2014) On Efficiency and Mixed Duality for a New Class of Nonconvex Multiobjective Variational Control Problems. Journal of Global optimization, 59, 757-785. http://dx.doi.org/10.1007/s10898-013-0092-8
 Chandra, S., Craven, B.D. and Husain, I. (1985) A Class of Non-Differentiable Continuous Programming Problems. Journal of Mathematical Analysis and Applications, 107, 122-131. http://dx.doi.org/10.1016/0022-247X(85)90357-9
 Mititelu, S. and Stancu-Minasian, I.M. (2009) Efficiency and Duality for Multiobjective Fractional Variational Problems with (ρ,b)-Quasiinvexity. Yugoslav Journal of Operations Research, 19, 85-99. http://dx.doi.org/10.2298/yjor0901085m
 Aliprantis, C.D. and Border, K.C. (1999) Infinite Dimensional Analysis, A Hitchhiker’s Guide. Springer-Verlag, Berlin Herdelberg, 313, 324, 348, 352, 528. http://dx.doi.org/10.1007/978-3-662-03961-8