I am interested in optimal control problems with state constraints in the form ordinary differential equations given by

$\dot{x} = f(x,p), \quad t \in [0,T], \quad p \in K$

where $f:R^n\times R^m \rightarrow R^n$ is non-linear and globally Lipschitz continuous in $x$ and continuous in $p$, and $K$ is a compact set. $p$ is in this case a vector of parameters (i.e., a constant control). It can also be shown for my $f$ that every trajectory of the system is bounded. From this it follows from Lemma 4.2 on p.257 in Convex Analysis and Variational Problems by Ekeland and Temam that the set of trajectories form a relatively compact subset of $C([0,T],\mathbb{R}^n)$ (continuous functions from $[0,T]$ to $\mathbb{R}^n$). From Proposition 4.1 in the same book I gather that it is in fact compact in $C([0,T],\mathbb{R}^n)$ if the set $A(x) = $ {$f(x,p) \ | \ (x,p)\in R^n \times K$} is convex for all $t\in[0,T]$ and $x\in\mathbb{R}^n$.

In general, it appears difficult to show that $A(x)$ is convex (I looked at "Convexity of Images of Convex Sets under Smooth Maps" and "Convexity of nonlinear image of a small ball with applications to optimization", but was not satisfied with the sufficient criteria found therein). For this reason I wonder if there is a way to show that the trajectories of my system form a compact subset of $C([0,T],\mathbb{R}^n)$ without having to show convexity of $A(x)$?

Kind regards

Olav

I am interested in optimal control problems with state constraints in the form of ordinary differential equations given by

$\dot{x} = f(x,p), \quad t \in [0,T], \quad x(0) = x_{0}, \quad p \in K$,

where $f:R^n\times R^m \rightarrow R^n$ is non-linear and globally Lipschitz continuous in $x$ and continuous in $p$, and $K$ is a compact set. $p$ is in this case a vector of parameters (i.e., a constant control). It can also be shown for my $f$ that every trajectory of the system is bounded. From this it follows from Lemma 4.2 on p.257 in Convex Analysis and Variational Problems by Ekeland and Temam that the set of trajectories form a relatively compact subset of $C([0,T],\mathbb{R}^n)$ (continuous functions from $[0,T]$ to $R^n$). From Proposition 4.1 in the same book I gather that it is in fact compact in $C([0,T],R^n)$ if the set $A(x) = $ {$f(x,p) \ | \ (x,p)\in R^n \times K$} is convex for all $t\in[0,T]$ and $x\in\mathbb{R}^n$.

In general, it appears difficult to show that $A(x)$ is convex (I looked at "Convexity of Images of Convex Sets under Smooth Maps" and "Convexity of nonlinear image of a small ball with applications to optimization", but was not satisfied with the sufficient criteria found therein). For this reason I wonder if there is a way to show that the trajectories of my system form a compact subset of $C([0,T],\mathbb{R}^n)$ without having to show convexity of $A(x)$?

Kind regards

Olav