Sharp regularity for degenerate obstacle type problems: a geometric approach

From MaRDI portal
Publication:1995546



Abstract: We prove sharp regularity estimates for solutions of obstacle type problems driven by a class of degenerate fully nonlinear operators; more specifically, we consider viscosity solutions of [ |D u|^gamma F(x, D^2u) = f(x)chi_{{u>phi}} extrm{ in } B_1 ] with gamma>0, phiinC1,alpha(B1) for some alphain(0,1] and finLinfty(B1) constrained to satisfy [ ugeq phi extrm{ in } B_1 ] and prove that they are (and in particular along free boundary points) where . Moreover, we achieve such a feature by using a recently developed geometric approach which is a novelty for these kind of free boundary problems. Further, under a natural non-degeneracy assumption on the obstacle, we prove that the free boundary partialu>phi has zero Lebesgue measure. Our results are new even for seemingly simple model as follows [ |Du|^gamma Delta u=chi_{{u>phi}} quad ext{with}quad gamma>0. ]


In this paper the authors prove sharp regularity estimates for solutions of obstacle type problems driven by a class of degenerate fully nonlinear operators. To describe the results proved in more detail, consider viscosity solutions of \[ \begin{cases} |Du|^{\gamma}F(x,D^2u)=f(x)\chi_{\{u>\phi\}} \text{ in } B_1\\ u(x)\ge \phi(x) \text{ in } B_1\\ u(x)=g(x) \text{ on } \partial B_1 \end{cases} \] where it is assumed that \(\gamma>0\), the obstacle \(\phi\in C^{1,\alpha}(B_1)\) for some \(\alpha\in(0,1]\), the boundary data \(g\) is continuous, and that \(f\in L^{\infty}(B_1)\cap C^0(B_1)\). Here \(F:B_1\times \text{Sym}(n)\rightarrow\mathbb{R}\) is a second order fully nonlinear operator, uniformly elliptic, satisfying minimal continuity assumptions on the coefficients. The authors prove that such viscosity solutions are \(C^{1,\beta}(B_{1/2})\), where \(\beta=\min\{\alpha,\frac{1}{\gamma+1}\}\). As a consequence, the authors obtain the sharp rate at which the gradient grows away from the free boundary. Finally, under a non-degeneracy assumption on the obstacle, the authors prove that the free boundary, \(\partial\{u>\phi\}\), has Hausdorff dimension less than \(n\). A key ingredient in their proof is a geometric decay argument along the free boundary points around which the equation degenerates. Here the authors use an improvement of flatness technique. The authors also use a ``Cutting lemma from [\textit{C. Imbert} and \textit{L. Silvestre}, Adv. Math. 233, No. 1, 196--206 (2013; Zbl 1262.35065)].



Cites work









This page was built for publication: Sharp regularity for degenerate obstacle type problems: a geometric approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1995546)