A weak regularity theorem for real analytic optimal control problems.

Sussmann, Hector J.. "A weak regularity theorem for real analytic optimal control problems.." Revista Matemática Iberoamericana 2.3 (1986): 307-317. <http://eudml.org/doc/39330>.

@article{Sussmann1986,
abstract = {We consider real analytic finite-dimensional control problems with a scalar input that enters linearly in the evolution equations. We prove that, whenever it is possible to steer a state x to another state y by means of a measurable control, then it is possible to steer x to y by means of a control that has an extra regularity property, namely, that of being analytic on an open dense subset of its interval of definition. Since open dense sets can have very small measure, this is a very weak property. However, it is absolutely general, depending on no assumptions other than real analyticity. This shows that real analyticity alone suffices to imply some regularity, and leaves open the question of how much more regularity can be proved in general. To show that real analiticity is essential, we prove, by constructing a class of examples, that no such theorem is true in the C∞ case. The regularity result implies a similar regularity theorem for time-optimal controls.},
author = {Sussmann, Hector J.},
journal = {Revista Matemática Iberoamericana},
keywords = {Ecuaciones diferenciales ordinarias; Control óptimo; nonlinear systems; real analytic manifold},
language = {eng},
number = {3},
pages = {307-317},
title = {A weak regularity theorem for real analytic optimal control problems.},
url = {http://eudml.org/doc/39330},
volume = {2},
year = {1986},
}

TY - JOUR
AU - Sussmann, Hector J.
TI - A weak regularity theorem for real analytic optimal control problems.
JO - Revista Matemática Iberoamericana
PY - 1986
VL - 2
IS - 3
SP - 307
EP - 317
AB - We consider real analytic finite-dimensional control problems with a scalar input that enters linearly in the evolution equations. We prove that, whenever it is possible to steer a state x to another state y by means of a measurable control, then it is possible to steer x to y by means of a control that has an extra regularity property, namely, that of being analytic on an open dense subset of its interval of definition. Since open dense sets can have very small measure, this is a very weak property. However, it is absolutely general, depending on no assumptions other than real analyticity. This shows that real analyticity alone suffices to imply some regularity, and leaves open the question of how much more regularity can be proved in general. To show that real analiticity is essential, we prove, by constructing a class of examples, that no such theorem is true in the C∞ case. The regularity result implies a similar regularity theorem for time-optimal controls.
LA - eng
KW - Ecuaciones diferenciales ordinarias; Control óptimo; nonlinear systems; real analytic manifold
UR - http://eudml.org/doc/39330
ER -