Abstract:In the previous work [Interfaces Free Bound., 19, 351-369, 2017], de Queiroz and Shahgholian investigated the regularity of the solution to the obstacle problem with singular logarithmic forcing term \begin{equation*} -\Delta u = \log u \, \chi_{\{u>0\}} \quad \text{in} \quad \Omega, \end{equation*} where $\chi_{\{u>0\}}$ denotes the characteristic function of the set $\{u>0\}$ and $\Omega \subset \mathbb{R}^n$ ($n \geq 2$) is a smooth bounded domain. The solution solves the minimum problem for the following functional, \begin{equation*} \mathscr{J}(u):=\int_{\Omega}\left(\frac{|\nabla u|^2}{2}-u^+ (\log u-1)\right) \, dx, \end{equation*} where $u^+=\max{\{0,u\}}$. In this paper, based on the regularity of the solution, we establish the $C^{1,\alpha}$ regularity of the free boundary $\Omega \cap \partial\{u>0\}$ near the regular points for some $\alpha\in (0,1)$. The logarithmic forcing term becomes singular near the free boundary $\Omega\cap\partial\{u>0\}$ and lacks the scaling properties, which are very crucial in studying the regularity of the free boundary. Despite these challenges, we draw inspiration for our overall strategy from the "epiperimetric inequality" method introduced by Weiss in 1999 [Invent. Math., 138, 23-50, 1999]. Central to our approach is the introduction of a new type of energy contraction. This allows us to achieve energy decay, which in turn ensures the uniqueness of the blow-up limit, and subsequently leads to the regularity of the free boundary.

Generic regularity of free boundaries for the thin obstacle problem

The local structure of the free boundary in the fractional obstacle problem

On the nonlinear thin obstacle problem

On the free boundary for thin obstacle problems with Sobolev variable coefficients

The geometry of the free boundary

Optimal regularity for the fully nonlinear thin obstacle problem

Free boundary regularity in the fully nonlinear parabolic thin obstacle problem

Free boundary regularity for almost minimizers of the parabolic Signorini problem

Regularity for one-phase Bernoulli problems with discontinuous weights and applications

Regularity theory of a gradient degenerate Neumann problem

On the boundary branching set of the one-phase problem

Optimal regularity at the free boundary for the infinity obstacle problem

The structure of the regular part of the free boundary close to singularities in the obstacle problem

The free boundary for a semilinear non-homogeneous Bernoulli problem

The free boundary for the singular obstacle problem with logarithmic forcing term

Porosity of the Free Boundary in a Class of Higher-Dimensional Elliptic Problems

Free boundary regularity in the triple membrane problem

$H^{1+\alpha}$ estimates for the fully nonlinear parabolic thin obstacle problem

Optimal regularity for nonlocal elliptic equations and free boundary problems

Regularity of free boundaries in anisotropic capillarity problems and the validity of Young's law

Nondegeneracy for stable solutions to the one-phase free boundary problem