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.

Regularity for Asymptotically Regular Elliptic Double Obstacle Problems of Multi-phase

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

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

Gradient potential estimates for elliptic double obstacle problems with Orlicz growth

Gradient regularity for a class of elliptic obstacle problems

Calderón–Zygmund estimates for the fully nonlinear obstacle problem with super-linear Hamiltonian terms and unbounded ingredients

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

Nonlocal Double Phase Implicit Obstacle Problems with Multivalued Boundary Conditions

Regularity for double phase problems at nearly linear growth

Regularity for obstacle problems to anisotropic parabolic equations

The Regularity Criterion for 3D Navier-Stokes Equations

Double phase implicit obstacle problems with convection and multivalued mixed boundary value conditions

Riesz potential estimates for double obstacle problems with Orlicz growth

H1+ Estimates for the Fully Nonlinear Parabolic Thin Obstacle Problem

Global regularity in the Monge-Ampère obstacle problem

Existence, uniqueness, and regularity of solutions to nonlinear and non-smooth parabolic obstacle problems

Regularity for solutions of non-uniformly elliptic equations in non-divergence form

Quantitative stratification and sharp regularity estimate for supercritical nonlinear elliptic equation

Regularity for Double Phase Functionals with Two Modulating Coefficients

Optimal regularity for nonlocal elliptic equations and free boundary problems

Singular elliptic measure data problems with irregular obstacles