In this paper, we consider an abstract optimal control problem with state constraint. The methodology relies on the employment of the classical dynamic programming tool considered in the infinite dimensional context. We are able to identify a closed-form solution to the induced Hamilton-Jacobi-Bellman (HJB) equation in infinite dimension and to prove a verification theorem, also providing the optimal control in closed loop form. The abstract problem can be seen an abstract formulation of a PDE optimal control problem and is motivated by an economic application in the context of continuous spatiotemporal growth models with capital diusion, where a social planner chooses the optimal location of economic activity across space by maximization of an utilitarian social welfare function. From the economic point of view, we generalize previous works by considering a continuum of social welfare functions ranging from Benthamite to Millian functions. We prove that the Benthamite case is the unique case for which the optimal stationary detrended consumption spatial distribution is uniform. Interestingly enough, we also find that as the social welfare function gets closer to the Millian case, the optimal spatiotemporal dynamics amplify the typical neoclassical dilution population size effect, even in the long-run.