Rank Zero and Rank One Sets of Harmonic Maps
Qing Han,Fanghua Lin
DOI: https://doi.org/10.4310/maa.2000.v7.n2.a9
2000-01-01
Methods and Applications of Analysis
Abstract:Introduction. In this paper we study the sets of rank one and rank zero for harmonic maps between two Riemannian manifolds. The rank one sets are generalizations of nonsingular nodal sets of harmonic functions, while the rank zero sets are generalizations of critical sets, or more specific, critical nodal sets, of harmonic functions. Nodal sets and critical nodal sets are studied intensively for harmonic functions, or in general, solutions of general elliptic equations of the second order. In [22], Lin derived an optimal bound for the geometric measure of nodal sets for analytic solutions in terms their frequency. A less optimal bound was obtained for nonanalytic solutions in [19] by Hardt and Simon. In the same paper, Hardt and Simon proved that for classical solutions with relatively high order derivatives critical nodal sets are countable unions of subsets of correspondingly smooth (n — 2)-dimensional submanifolds. Thus, they are countably (n — 2)-rectifiable. See also [6]. This result was generalized to weak solutions in [15]. It is proved that for weak solutions, as long as they do not vanish to infinite order, the critical nodal sets are countable unions of subsets of C (n — 2)-dimensional submanifolds. Hence they are also countably (n 2)-rectifiable. Concerning the size of critical nodal sets, R. Hardt and the authors obtained a uniform estimate on the measure of critical nodal sets in terms of the frequency of solutions in [17]. See also a paper by M. and T. Hoffmann-Ostenhof, N. Nadirashvili and R. Hardt [21]. In this paper we will generalize those results to rank one and rank zero sets of harmonic maps. In [26] Sampson showed that when an open subset is mapped into an geodesic by a harmonic map then the whole domain is mapped into the geodesic. We will show in this paper that for a given harmonic map either the whole domain is mapped into a geodesic or the set of points where the differential has rank one is countably (n — l)-rectifiable. In the latter case we also obtain a measure estimate on this set. Rank zero sets were first studied by Gromov and Schoen [14] for minimizing harmonic maps when the image is in a singular space with the so-called nonpositive curvature property. They showed that such sets have codimensions at least two. Later on this result was generalized to arbitrary smooth harmonic maps between two smooth manifolds by S. Yamada [30]. In this paper we will show that rank zero sets of minimizing harmonic maps are countably (n 2)-rectifiable and have bounded (n — 2)-dimensional Hausdorff measure. Our method is similar to that in [17]. The main results are as follows.