Abstract:In this paper, we investigate the interior regularity theory for stationary solutions of the supercritical nonlinear elliptic equation $$ -\Delta u=|u|^{p-1}u\quad\text{in }\Omega,\quad p>\frac{n+2}{n-2}, $$ where $ \Omega\subset\mathbb{R}^n $ is a bounded domain with $ n\geq 3 $. Our primary focus is on the structure of stratification for the singular sets. We define the $ k $-th stratification $ S^k(u) $ of $ u $ based on the tangent functions and measures. We show that the Hausdorff dimension of $ S^k(u) $ is at most $ k $ and $ S^k(u) $ is $ k $-rectifiable, and establish estimates for volumes associated with points that have lower bounds on the regular scales. These estimates enable us to derive sharp interior estimates for the solutions. Specifically, if $ \alpha_p=\frac{2(p+1)}{p-1} $ is not an integer, then for any $ j\in\mathbb{Z}_{\geq 0} $, we have $$ D^ju\in L_{\operatorname{loc}}^{q_j,\infty}(\Omega), $$ which implies that for any $ \Omega'\subset\subset\Omega $, $$ \sup\{\lambda>0:\lambda^{q_j}\mathcal{L}^n(\{x\in\Omega':|D^ju(x)|>\lambda\})\}<+\infty, $$ where $ \mathcal{L}^n(\cdot) $ is the $ n $-dimensional Lebesgue measure, and $$ q_j=\frac{(p-1)(\lfloor\alpha_p\rfloor+1)}{2+j(p-1)}, $$ with $ \lfloor\alpha_p\rfloor $ being the integer part of $ \alpha_p $. The proofs of these results rely on Reifenberg typed theorems developed in \cite{NV17} to study the stratification of harmonic maps.

$C^\infty$ regularity in semilinear free boundary problems

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

$C^{1,α}$ regularity for degenerate fully nonlinear elliptic equations with oblique boundary conditions on $C^1$ domains

Regularity for nonlocal equations with local Neumann boundary conditions

On $C^1$ regularity for degenerate elliptic equations in the plane

Free boundary regularity for fully nonlinear non-homogeneous two-phase problems

Optimal regularity for nonlocal elliptic equations and free boundary problems

$C^{1, α}$-regularity for solutions of degenerate/singular fully nonlinear parabolic equations

Interior pointwise $C^{1}$ and $C^{1,1}$ regularity of solutions for general semilinear elliptic equation in nondivergence form

On elliptic equations involving surface measures

Hausdorff Measure Estimates and Lipschitz Regularity in Inhomogeneous Nonlinear Free Boundary Problems

Two-phase problems with distributed source: regularity of the free boundary

The free boundary for a semilinear non-homogeneous Bernoulli problem

Free boundary regularity for semilinear variational problems with a topological constraint

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

Regularity of higher order in two-phase free boundary problems

On some regularity properties of mixed local and nonlocal elliptic equations

On regularity of $\overline\partial$-solutions on $a_q$ domains with $C^2$ boundary in complex manifolds

Quantitative stratification and sharp regularity estimate for supercritical nonlinear elliptic equation

Boundary C^α-regularity for solutions of elliptic equations with distributional coefficients

Quantitative stratification and sharp regularity estimates for supercritical semilinear elliptic equations