We are concerned with the nodal set of solutions to equations of the form−Δu=λ+(u+)q−1−λ−(u−)q−1in B1 where λ+,λ−>0, q∈[1,2), B1=B1(0) is the unit ball in RN, N≥2, and u+:=max{u,0}, u−:=max{−u,0} are the positive and the negative part of u, respectively. This class includes, the unstable two-phase membrane problem (q=1), as well as sublinear equations for 1<q<2.We prove the following main results: (a) the finiteness of the vanishing order at every point and the complete characterization of the order spectrum; (b) a weak non-degeneracy property; (c) regularity of the nodal set of any solution: the nodal set is a locally finite collection of regular codimension one manifolds up to a residual singular set having Hausdorff dimension at most N−2 (locally finite when N=2); (d) a partial stratification theorem.Ultimately, the main features of the nodal set are strictly related with those of the solutions to linear (or superlinear) equations, with two remarkable differences. First of all, the admissible vanishing orders can not exceed the critical value 2/(2−q). At threshold, we find a multiplicity of homogeneous solutions, yielding the non-validity of any estimate of the (N−1)-dimensional measure of the nodal set of a solution in terms of the vanishing order.As a byproduct, we also prove the strong unique continuation property for the unstable obstacle problem, corresponding to the case λ−=0.The proofs are based on monotonicity formulæ for a 2-parameter family of Weiss-type functionals, blow-up arguments, and the classification of homogeneous solutions.
Read full abstract