Abstract (EN):
This work presents optimality conditions of
Hamilton-Jacobi type for a classe of vector-valued
impulsive control optimal problems. The dynamics
are defined by a measure driven differential
inclusion and the vector fields associated with the
singular term do not satisfy the so called Frobenius
condition. The concept of verification function for
the class of problems addressed here is presented.
Besides some regularity hypotheses, verifications
functions satisfy a set of Hamilton-Jacobi type
conditions, as well as a given boundary condition.
It is shown that the existence of a verification
function is a necessary and sufficient condition for
the optimality of a feasible trajectory (in the sense
of proper solution). It is also shown that the value
function of the family of problems parametrized by
the initial date is a verification function, with some
extra properties, and results relating subgradients
of the value function and multipliers of necessary
conditions of the Maximum Principle are presented,
too.
Language:
English
Type (Professor's evaluation):
Scientific
No. of pages:
7
License type: