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^{2,\alpha }$$ C 2 , Α Regularities and Estimates for Nonlinear Elliptic and Parabolic Equations in Geometry

C^2,α regularities and estimates for nonlinear elliptic and parabolic equations in geometry

$C^{2,\alpha}$ estimates for nonlinear elliptic equations in complex and almost complex geometry

Interior Curvature Bounds for A Class of Curvature Equations

C^2,α estimates for nonlinear elliptic equations in complex and almost complex geometry

C1,1 Regularity of Degenerate Complex Monge–Ampère Equations and Some Applications

C1,-regularity for functions in solution classes and its application to parabolic normalized p-Laplace equations

Fully Non-Linear Degenerate Elliptic Equations in Complex Geometry

C1,1 Regularity for Degenerate Complex Monge–Ampère Equations and Geodesic Rays

$C^{1, α}$-regularity for functions in solution classes and its application to parabolic normalized $p$-Laplace equations

$$C^{1,1}$$ Regularity of Geodesics in the Space of Volume Forms

Global $$c^{1+\alpha ,\frac{1+\alpha }{2}}$$ Regularity on the Linearized Parabolic Monge–Ampère Equation

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

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

C^2,α -estimate for Monge-Ampère equations with Hölder-continuous right hand side

Global C^1+α ,1+α/2 Regularity on the Linearized Parabolic Monge–Ampère Equation

C^1,1 regularity of geodesics in the space of volume forms

$C^{1,1}$ Regularity of Geodesics in the Space of Volume Forms

Quantitative stratification and sharp regularity estimate for supercritical nonlinear elliptic equation

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

Quantitative stratification and sharp regularity estimates for supercritical semilinear elliptic equations