Volume estimates on the critical sets of solutions to elliptic PDEs

Abstract

In this paper we study solutions to elliptic linear equations $L(u)={\partial }_i(a^{ij}(x){\partial }_{j}u)+b^i(x){\partial }_{i}u+c(x)u=0$, either on $R^n$ or a Riemannian manifold, under the assumption of Lipschitz control on the coefficients $a^{ij}$. We focus our attention on the critical set $Cr(u)\equiv \{x:|\nabla u|=0\}$ and the singular set $S(u)\equiv \{x:u=|\nabla u|=0\}$, and more importantly on effective versions of these. Currently, under the coefficient control we have assumed, the strongest results in the literature say that the singular set is n-2-dimensional, however at this point it has not even been shown that $H^{n-2}(S)<\infty$ unless the coefficients are smooth. Fundamentally, this is due to the need of an $\epsilon$-regularity theorem which requires higher coefficient control as the frequency increases. We introduce new techniques for estimating the critical and singular set, which avoids the need of any such $\epsilon$-regularity. Consequently, we prove that if the frequency of u is bounded by $\Lambda$ then we have the estimates $H^{n-2}(C(u))\le C^{{\Lambda }^2}$, $H^{n-2}(S(u))\le C^{{\Lambda }^2}$, depending on whether the equation is critical or not. More importantly, we prove corresponding estimates for the {\it effective} critical and singular sets. Even under the assumption of analytic coefficients these results are much sharper than those currently in the literature. We also give applications of the technique to the nodal set of solutions, and to give estimates on the corresponding eigenvalue problem.

Cited by in corpus (6)

• Higher order boundary Harnack principle via degenerate equations
• Boundary unique continuation on $C^1$-Dini domains and the size of the singular set
• Size of the zero set of solutions of elliptic PDEs near the boundary of Lipschitz domains with small Lipschitz constant
• Propagation of smallness for solutions of elliptic equations in the plane
• $C^{\infty }$ partial regularity of the singular set in the obstacle problem
• Uniqueness of Regular Tangent Cones for Immersed Stable Hypersurfaces