Optimal regularity for the fully nonlinear thin obstacle problem

In this work we establish the optimal regularity for solutions to the fully nonlinear thin obstacle problem. In particular, we show the existence of an optimal exponent αF such that u is CF on either side of the obstacle. In order to do that, we prove the uniqueness of blow-ups at regular points, as well as an expansion for the solution there. Finally, we also prove that if the operator is rotationally invariant, then αF ≥ 1 2 and the solution is always C 1 2 .

[1]  Neil S. Trudinger,et al.  On the Dirichlet problem for Hessian equations , 1995 .

[2]  H. Lewy.  On a Variational Problem with Inequalities on the Boundary , 2002 .

[3]  Xavier Ros-Oton,et al.  Regularity theory for general stable operators , 2014, 1412.3892.

[4]  L. Caffarelli.  Further regularity for the signorini problem , 1979 .

[5]  L. Caffarelli,et al.  Optimal Regularity of Lower-Dimensional Obstacle Problems , 2006 .

[6]  L. Caffarelli,et al.  Obstacle problems for integro-differential operators: regularity of solutions and free boundaries , 2016, 1601.05843.

[7]  Boundary Regularity and Nontransversal Intersection for the Fully Nonlinear Obstacle Problem , 2017, Communications on Pure and Applied Mathematics.

[8]  The Structure of the Free Boundary for Lower Dimensional Obstacle Problems , 2006, math/0609031.

[9]  S. Trudinger.  Weak solutions of hessian equations , 1997 .

[10]  Hui Yu,et al.  On the fine regularity of the singular set in the nonlinear obstacle problem , 2021, Nonlinear Analysis.

[11]  G. Allaire,et al.  Shape optimization by the homogenization method , 1997 .

[12]  Xavier Ros-Oton,et al.  New boundary Harnack inequalities with right hand side , 2021, Journal of Differential Equations.

[13]  A. Figalli,et al.  On the fine structure of the free boundary for the classical obstacle problem , 2017, Inventiones mathematicae.

[14]  Hui Yu,et al.  Regularity of the singular set in the fully nonlinear obstacle problem , 2019, Journal of the European Mathematical Society.

[15]  Xavier Ros-Oton,et al.  The structure of the free boundary in the fully nonlinear thin obstacle problem , 2016, 1603.09292.

[16]  A. Petrosyan,et al.  Regularity of Free Boundaries in Obstacle-type Problems , 2012 .

[17]  O. Savin,et al.  Global Solutions to Nonlinear Two‐Phase Free Boundary Problems , 2017, Communications on Pure and Applied Mathematics.

[18]  F. Leoni.  Homogeneous solutions of extremal Pucci's equations in planar cones , 2016, 1608.02152.

[19]  Charles K. Smart,et al.  Singular Solutions of Fully Nonlinear Elliptic Equations and Applications , 2011, 1104.5338.

[20]  Jinwan Park,et al.  Obstacle problem for a non-convex fully nonlinear operator , 2018, Journal of Differential Equations.

[21]  Sakinah,et al.  Vol. , 2020, New Medit.

[22]  J. Frehse.  On Signorini's problem and variational problems with thin obstacles , 1977 .

[23]  N. Nadirashvili,et al.  Homogeneous Solutions of Fully Nonlinear Elliptic Equations in Four Dimensions , 2012, 1201.1022.

[24]  J. Spruck,et al.  The Dirichlet problem for nonlinear second order elliptic equations, III: Functions of the eigenvalues of the Hessian , 1985 .

[25]  N. Nadirashvili,et al.  Singular solutions of Hessian elliptic equations in five dimensions , 2012, 1211.5812.

[26]  Xavier Fern'andez-Real,et al.  The thin obstacle problem: a survey , 2020, Publicacions Matemàtiques.

[27]  Nikolai Nadirashvili,et al.  Non-classical Solution to Hessian Equation from Cartan Isoparametric Cubic , 2011 .

[28]  O. Savin,et al.  A short proof of Boundary Harnack Inequality , 2019, 1909.00062.

[29]  L. Caffarelli,et al.  Fully Nonlinear Elliptic Equations , 1995 .

[30]  L. Silvestre,et al.  Regularity for the nonlinear Signorini problem , 2008 .