Note that the only difference between these two problems lies in the
specification of the production function. In the first case, it is convex
and invariant over time. In the second, it is concave but depends on
time through its dependence on the path K(t). I can now state the
theorem that guarantees the existence of solutions to each of these
problems.