Differentiability of Limit Shapes in Continuous First Passage Percolation Models

We introduce and study a class of abstract continuous action minimization problems that generalize continuous first and last passage percolation. In this class of models a limit shape exists. Our main result provides a framework under which that limit shape can be shown to be differentiable. We then describe examples of continuous first passage percolation models that fit into this framework. The first example is of a family of Riemannian first passage percolation models and the second is a discrete time model based on Poissonian points.