**Distributed Solutions to Complex Societal Problems Reunion Workshop**

## Free boundary regularity of first-order mean field games

**
Sebastian Munoz, University of Chicago
**

**Wednesday, February 22, 2023**

**Abstract**:

In this talk, we present new findings on the regularity of first-order mean field games systems with a local coupling. We focus on systems where the initial density is a compactly supported function on the real line. Our results show that the solution is smooth in regions where the density is strictly positive and that the density itself is globally continuous. Additionally, the speed of propagation is determined by the behavior of the cost function $f(m)$ for small densities $m$. When the coupling is entropic, $f(m)=log(m)$, we demonstrate that the support of the density propagates with infinite speed. On the other hand, when $f(m)=m^{theta}$ with $theta >0$, we prove that the speed of propagation is finite. In this case, we establish that under a natural non-degeneracy assumption, the free boundary $partial {m>0}$ is strictly convex and enjoys $C^{1,1}$ regularity. Our methods are based on the analysis of a new elliptic equation satisfied by the flow of optimal trajectories.