For the Monge-Ampère obstacle problem, any flat piece of the non-strictly convex free boundary has dimension less than (n+q)/2, and this bound is optimal.
Regularity and classification of the free boundary for a Monge-Amp\`ere obstacle problem
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
We study convex solutions to the Monge-Amp\`ere obstacle problem \[ \operatorname{det} D^2 v=g v^q\chi_{\{v>0\}}, \quad v \geq 0, \] where $q \in [0,n)$ is a constant and $g$ is a bounded positive function. This problem emerges from the $L_p$ Minkowski problem. We establish $C^{1, \alpha}$ regularity for the strictly convex part of the free boundary $\partial\{v=0\}$. Furthermore, when $g \in C^{\alpha}$, we prove a Schauder-type estimate. As a consequence, when $g\equiv 1$, we obtain a Liouville theorem for entire solutions with unbounded coincidence sets $\{v=0\}$. Combined with existing results, this provides a complete classification of entire solutions for the case $q=0$.
citation-role summary
citation-polarity summary
fields
math.AP 1years
2025 1verdicts
CONDITIONAL 1roles
extension 1polarities
extend 1representative citing papers
citing papers explorer
-
On the singular set of the free boundary for a Monge-Amp\`ere obstacle problem
For the Monge-Ampère obstacle problem, any flat piece of the non-strictly convex free boundary has dimension less than (n+q)/2, and this bound is optimal.