On the smoothness of value functions and the existence of optimal strategies in diffusion models.

Studies of dynamic economic models often rely on each agent having a smooth value function and a well-defined optimal strategy. For time-homogeneous optimal control problems with a one-dimensional diffusion, we prove that the corresponding value function must be twice continuously differentiable under Lipschitz, growth, and non-vanishing-volatility conditions. Under similar conditions, the value function of any optimal stopping problem is shown to be (once) continuously differentiable. We also provide sufficient conditions, based on comparative statics and differential methods, for the existence of an optimal control in the sense of strong solutions. The results are applied to growth, experimentation, and dynamic contracting settings.