Revista Matemática Iberoamericana


Full-Text PDF (899 KB) | Metadata | Table of Contents | RMI summary
Volume 2, Issue 3, 1986, pp. 307–317
DOI: 10.4171/RMI/35

Published online: 1986-09-30

A Weak Regularity Theorem for Real Analytic Optimal Control Problems

H. J. Sussmann[1]

(1) Rutgers University, New Brunswick, USA

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 analyticity is essential, we prove, by constructing a class of examples, that no such theorem is true in the $C^\infty$ case. The regularity result implies a similar regularity theorem for time-optimal controls.

No keywords available for this article.

Sussmann H.: A Weak Regularity Theorem for Real Analytic Optimal Control Problems. Rev. Mat. Iberoam. 2 (1986), 307-317. doi: 10.4171/RMI/35