A C∞ density theorem for differential inclusions with Lipschitz continuous right-hand sides

By definition, solutions of differential inclusions are absolutely continuous functions with L1 derivatives. We prove that at least for a class of Lipschitz continuous right-hand sides the C∞-solutions are dense in the set of all solutions with respect to the supremum norm.