A Quantitative Hopf-Oleinik Lemma for Degenerate Fully Nonlinear Operators and Applications to Free Boundary Problems

Abstract We prove a quantitative inhomogeneous Hopf-Oleinik lemma for viscosity solutions of $$ |\nabla u|^{\alpha }F(D^{2}u)=f $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mo>|</mml:mo> <mml:mi>∇</mml:mi> <mml:mi>u</mml:mi> <mml:mo>|</mml:mo> </mml:mrow> <mml:mi>α</mml:mi> </mml:msup> <mml:mi>F</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:msup> <mml:mi>D</mml:mi> <mml:mn>2</mml:mn> </mml:msup> <mml:mi>u</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>=</mml:mo> <mml:mi>f</mml:mi> </mml:mrow> </mml:math> and, more generally, for viscosity supersolutions of $$|\nabla u|^{\alpha }\,\mathcal {M}^{-}_{\lambda ,\Lambda }(D^{2}u)\le f$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mo>|</mml:mo> <mml:mi>∇</mml:mi> <mml:mi>u</mml:mi> <mml:mo>|</mml:mo> </mml:mrow> <mml:mi>α</mml:mi> </mml:msup> <mml:mspace/> <mml:msubsup> <mml:mrow> <mml:mi>M</mml:mi> </mml:mrow> <mml:mrow> <mml:mi>λ</mml:mi> <mml:mo>,</mml:mo> <mml:mi>Λ</mml:mi> </mml:mrow> <mml:mo>-</mml:mo> </mml:msubsup> <mml:mrow> <mml:mo>(</mml:mo> <mml:msup> <mml:mi>D</mml:mi> <mml:mn>2</mml:mn> </mml:msup> <mml:mi>u</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>≤</mml:mo> <mml:mi>f</mml:mi> </mml:mrow> </mml:math> . The result yields linear boundary growth with universal constants depending only on the structural data. As applications, we obtain Lipschitz regularity for viscosity solutions of one–phase Bernoulli free boundary problems driven by these degenerate fully nonlinear operators and derive $$\varepsilon $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>ε</mml:mi> </mml:math> –uniform Lipschitz bounds for a one–phase flame propagation model.