Optimal regularity at the free boundary in one-dimensional first-order mean field games
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866917470898487296 |
|---|---|
| author | Munoz, Sebastian |
| author_facet | Munoz, Sebastian |
| contents | 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 change of variables, recasts the boundary degeneracy as a removable radial axis in effective dimension \(N=4+2/θ\), allowing the application of recent estimates for even solutions to elliptic problems with degenerate weights. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_06871 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Optimal regularity at the free boundary in one-dimensional first-order mean field games Munoz, Sebastian Analysis of PDEs 35Q89, 35R35, 35B65, 35J70, 49N80 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 change of variables, recasts the boundary degeneracy as a removable radial axis in effective dimension \(N=4+2/θ\), allowing the application of recent estimates for even solutions to elliptic problems with degenerate weights. |
| title | Optimal regularity at the free boundary in one-dimensional first-order mean field games |
| topic | Analysis of PDEs 35Q89, 35R35, 35B65, 35J70, 49N80 |
| url | https://arxiv.org/abs/2605.06871 |