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.

Regularity of Free Boundary for the Monge-Ampère Obstacle Problem

Regularity of the Homogeneous Monge-Ampère Equation

Global Regularity for Very Weak Solutions of Obstacle Problems of Elliptic Equation

Local Regularity for Solutions of Obstacle Problems of Differential Forms Elliptic Equation

Global Regularity for the Monge-Ampère Equation with Natural Boundary Condition

Global regularity in the Monge-Ampère obstacle problem

The Obstacle Problem for Monge-Ampère Type Equations in Non-Convex Domains

Regularity Results for Quasilinear Degenerate Elliptic Obstacle Problems in Carnot Groups

Boundary Regularity on the Parabolic Monge–Ampère Equation

Boundary regularity for the second boundary-value problem of Monge-Ampère equations in dimension two

Boundary $C^{2, α}$ Regularity for the Oblique Boundary Value Problem of Monge-Ampère Equations

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

On the Regularity of the Solution of the Elliptic Monge-Ampère Equation Degenerate Near the Boundary

The geometry of the free boundary

Optimal Boundary Regularity for a Singular Monge–Ampère Equation

Boundary Hölder Regularity for Elliptic Equations

Boundary pointwise regularity and applications to the regularity of free boundaries

Free boundary regularity in the fully nonlinear parabolic thin obstacle problem

Existence and Regularity of the Solutions of Some Singular Monge–Ampère Equations

Strictly Convex Solutions for Singular Monge–Ampère Equations with Nonlinear Gradient Terms: Existence and Boundary Asymptotic Behavior

A free boundary problem for semi-linear elliptic equation and its applications