{"id":"arxiv/2605.06871","url":"https://arxiv.org/abs/2605.06871","tags":["math.AP"],"score":0,"title":"Optimal regularity at the free boundary in one-dimensional first-order mean field games","domain":"math.AP","source":"arxiv","authors":["Sebastian Munoz"],"reviews":0,"subject":"math.AP","summary":"We establish sharp regularity for the value function, the pressure, and the free boundary in one-dimensional first-order mean field games with power coupling and compactly supported density. Under a standard nondegeneracy assumption on the initial datum, the pressure \\(p=m^θ\\) is Lipschitz continuous, the value function \\(u\\) is \\(C^{1,1/2}\\), and the two free boundary curves are smooth in time. If the initial pressure is smooth, then both \\(p\\) and \\(u\\) are smooth up to the free boundary from inside the positive phase. The proof works in Lagrangian coordinates and, through a singular…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-07","reactions":{}}