On the regularity of the free boundary in the $p$-Laplacian obstacle problem

Abstract

We study the regularity of the free boundary in the obstacle for the $p$-Laplacian, $\min\bigl\{-Δ_p u,\,u-φ\bigr\}=0$ in $Ω\subset\mathbb R^n$. Here, $Δ_p u=\textrm{div}\bigl(|\nabla u|^{p-2}\nabla u\bigr)$, and $p\in(1,2)\cup(2,\infty)$. Near those free boundary points where $\nabla φ\neq0$, the operator $Δ_p$ is uniformly elliptic and smooth, and hence the free boundary is well understood. However, when $\nabla φ=0$ then $Δ_p$ is singular or degenerate, and nothing was known about the regularity of the free boundary at those points. Here we study the regularity of the free boundary where $\nabla φ=0$. On the one hand, for every $p\neq2$ we construct explicit global $2$-homogeneous solutions to the $p$-Laplacian obstacle problem whose free boundaries have a corner at the origin. In particular, we show that the free boundary is in general not $C^1$ at points where $\nabla φ=0$. On the other hand, under the "concavity" assumption $|\nabla φ|^{2-p}Δ_p φ<0$, we show the free boundary is countably $(n-1)$-rectifiable and we prove a nondegeneracy property for $u$ at all free boundary points.