Direct epiperimetric inequalities for the thin obstacle problem and applications

Abstract

For the thin obstacle problem, we prove by a new direct method that in any dimension the Weiss' energies with frequency $\frac{3}{2}$ and $2m$, for $m\in \mathbb{N}$, satisfy an epiperimetric inequality, in the latter case of logarithmic type. In particular, at difference from the classical statements, we do not assume any a priori closeness to a special class of homogeneous functions. In dimension $2$, we also prove the epiperimetric inequality at any free boundary point. As a first application, we improve the set of admissible frequencies for blow ups, previously known to be $\lambda \in \{\frac{3}{2}\}\cup [2,\infty )$, and we classify the global $\lambda$-homogeneous minimizers, with $\lambda \in [\frac{3}{2},2+c]\cup {\bigcup }_{m\in \mathbb{N}}(2m-c_m^{-},2m+c_m^{+})$, showing as a consequence that the frequencies $\frac{3}{2}$ and $2m$ are isolated. Secondly, we give a short and self-contained proof of the regularity of the free boundary previously obtained by Athanasopoulos-Caffarelli-Salsa (Amer. J. Math., 130(2) (2008), 485-498) for regular points and Garofalo-Petrosyan (Invent. Math., 177(2) (2009), 415-461) for singular points, by means of an epiperimetric inequality of logarithmic type which applies for the first time also at all singular points of thin-obstacle free boundaries. In particular we improve the $C^1$ regularity of the singular set with frequency $2m$ by an explicit logarithmic modulus of continuity.