Envelope representations in Hamilton-Jacobi theory for fully convex problems of control

We describe how value functions in optimal control can be represented as upper and lower envelopes involving so-called kernel functions. Particularly noteworthy is a lower envelope formula given in terms of the duality kernel, which is a value function in its own right with many surprising and attractive properties