Symmetry of entire solutions for a class of semilinear elliptic equations Ovidiu Savin Abstract. We discuss a conjecture of De Giorgi concerning the one dimensional symmetry of bounded, monotone in one direction, solutions of semilinear elliptic equations of the form u = W (u) in all R n. Mathematics Subject Classification (2000). 35J70, 35B65. Keywords. Phase transitions models, sliding method, minimal surfaces. 1. Introduction In 1978 De Giorgi [13] made the following conjecture about bounded solutions of a certain semilinear equation: Conjecture (De Giorgi). Let u C 2 (R n ) be a solution of u = u 3 u, (1) such that u 1, u xn > 0 in the whole R n. Is it true that all the level sets of u are hyperplanes, at least if n 8? The problem originates in the theory of phase transitions and it is closely related to the theory of minimal surfaces. As we explain later, the conjecture is sometimes referred to as the ε version of the Bernstein problem for minimal graphs. This relation with the Bernstein problem is the reason why n 8 appears in the conjecture. De Giorgi s conjecture is often considered with the additional natural hypothesis lim x n ± u(x,x n ) =±1. (2) Under the much stronger assumption that the limits in (2) are uniform in x, the conjecture is known as the Gibbons conjecture. This conjecture was first proved for n 3 by Ghoussoub and Gui in [18] and then for all dimensions n independently by Barlow, Bass and Gui [4], Berestycki, Hamel and Monneau [6] and Farina [16]. The first positive partial result on the De Giorgi conjecture was established in 1980 by Modica and Mortola [30]. They proved the conjecture in dimension n = 2 Proceedings of the International Congress of Mathematicians, Madrid, Spain, 2006 2006 European Mathematical Society
258 Ovidiu Savin under the additional hypothesis that the level sets {u = s} are equi-lipschitz in the x 2 direction. Their proof used a Liouville-type theorem for elliptic equations in divergence form, due to Serrin, for the bounded ratio σ := u x 1. u x2 In 1997 Ghoussoub and Gui [18] proved De Giorgi s conjecture for n = 2. They used a different Liouville-type theorem for σ developed by Berestycki, Caffarelli and Nirenberg in [5] for the study of symmetry properties of positive solutions of semilinear elliptic equations in half spaces. This theorem does not require for σ to be bounded, but rather a compatibility condition between the growth of σ and the degeneracy of the coefficients of the equation. Using similar techniques, Ambrosio and Cabre [2] extended these results up to dimension n = 3. Also, Ghoussoub and Gui showed in [19] that the conjecture is true for n = 4orn = 5 for a special class of solutions that satisfy an anti-symmetry condition. In 2003 I proved in [33] that the conjecture is true in dimension n 8 under the additional hypothesis (2). The proof is nonvariational and uses the sliding method for a special family of radially symmetric functions. If the level sets of u are assumed to be Lipschitz in the x n direction, then it was shown by Barlow, Bass and Gui [4] and later in [33] that the solutions are planar in all dimensions. It is not known whether or not the conjecture is true for all dimensions. Jerison and Monneau [22] showed that the existence of a symmetric minimizer for the energy associated with (1) in R n 1 implies the existence of a counter-example to the conjecture of the De Giorgi in R n. However, existence of such global minimizer has not been proved. 2. Phase transitions Equations of type (1) arise in variational problems associated with the energy 1 J (u, ) = 2 u 2 + W(u) dx, u 1, (3) where W C 2 is a double well potential with minima at ±1, W(±1) = W (±1) = 0, W > 0 on( 1, 1), W ( 1) >0, W (1) >0. We say that u is a local minimizer for J in if J (u, ) J(u+ ϕ, )
Symmetry of entire solutions for a class of semilinear elliptic equations 259 for any ϕ C 0 ( ). Local minimizers of (3) satisfy the Euler Lagrange equation u = W (u). (4) Equation (1) is obtained for the particular choice of the potential W(t) = 1 4 (1 t2 ) 2. The behavior of minimizers at is given by the properties of blow down solutions ( x ) u ε (x) = u. ε These rescalings are local minimizers for the ε energy functional ε J ε (u ε ) = 2 u ε 2 + W(u ε) dx. ε This is a typical energy modeling the phase separation phenomena within the van der Walls Cahn Hilliard theory [8]. In this context, u ε represents the density of a multi-phase fluid, where the zero points of W correspond to stable fluid phases and the free energy J ε depends both on the density potential and the density gradient. One expects that u ε has a transition region of O(ε) thickness which approaches a minimal surface as ε 0. The intuition behind this comes from the following calculation. By the coarea formula J ε (u ε, ) u ε 1 2W(u ε )dx = 2W(s)H n 1 ({u ε = s} )ds. Heuristically, J ε (u ε, )is minimized if, in the interior of, the level sets {u ε = s} are (almost) minimal and u ε = 1 2W(uε ). (5) ε This equation suggests that the profile of u ε behaves like ( ) d{u=0} (x) u ε (x) g ε where g is the solution of the ordinary differential equation 1 g = 2W(g), g(0) = 0, and d {u=0} represents the signed distance to the 0 level surface of u. The asymptotic behavior of u ε was first studied by Modica and Mortola in [31] and Modica in [25] within the framework of Ɣ-convergence. Later, Modica [27], Sternberg [36] and many authors [3], [17], [24], [29], [32], [37] generalized these results for minimizers with volume constraint.
260 Ovidiu Savin Modica proved in [25] that as ε 0, u ε has a subsequence u εk χ E χ E c in L 1 loc (6) where E is a set with minimal perimeter. Actually, the convergence in (6) is better, as it was shown by Caffarelli and Cordoba in [10]. They proved a uniform density estimate for the level sets of local minimizers u ε of J ε i.e, if u ε (0) = 0, then {u ε > 0} B δ B δ C (7) for ε δ, C > 0 universal. In particular, this implies that in (6) the level sets {u εk = λ} converge uniformly on compact sets to E. Next we recall some known facts about sets with minimal perimeter. 3. Minimal surfaces The Plateau problem consist in finding a surface of least area (the minimal surface) among those bounded by a given curve. De Giorgi studied this problem by looking at hypersurfaces in R n as boundaries of sets. Thus, for a measurable set E, he defined the perimeter of E in a domain R n (or the area of E in ) as the total variation of χ E in, i.e. P (E) = χ E :=sup div gdx, where the supremum is taken over all vector fields g C 1 0 ( ) with g L 1. It is not difficult to show existence to the Plateau problem in this context of minimal boundaries. It is much more difficult to prove that the sets so obtained are actually regular except possibly for a closed singular set. The main idea to prove almost everywhere regularity uses an improvement of flatness theorem due to De Giorgi [14], [21]. Caffarelli and Cordoba gave a different proof in [11] using nonvariational techniques. Theorem 3.1 (De Giorgi). Suppose that E is a set having minimal perimeter in { x < 1, x n < 1}, 0 E and assume that E is flat, i.e. E { x n <ε}, ε ε 0, ε 0 small universal. Then, possibly in a different system of coordinates, E can be trapped in a flatter cylinder { y η 2 } E { y n εη 1 }, with 0 <η 1 <η 2 universal constants. E
Symmetry of entire solutions for a class of semilinear elliptic equations 261 This theorem implies that flat minimal surfaces are C 1,α, and therefore analytic by elliptic regularity theory. The question of whether or not all points of a minimal surface are regular is closely related to the Bernstein problem. Singular points can exist if and only if there exist nonplanar entire minimal surfaces (or minimal cones). Simons [35] proved that in dimension n 7 entire minimal surfaces are planar. Bombieri, De Giorgi and Giusti showed in [7] that the Simons cone {x R 8 : x 2 1 + x2 2 + x2 3 + x2 4 <x2 5 + x2 6 + x2 7 + x2 8 } is minimal in R 8. Moreover, if the minimal surface is assumed to be a graph in some direction, then there are nonplanar minimal graphs only in dimension n 9. Finally we mention that an entire minimal surface that is a graph and has at most linear growth at is planar. 4. Symmetry of minimizers It is natural to ask if some properties of minimal surfaces hold also for local minimizers of (3) or solutions of (4). Actually, the conjecture of De Giorgi corresponds to such a question. Results in this direction were obtained by several authors. Caffarelli and Cordoba proved the uniform density estimate (7) for the level sets of local minimizers u ε of J ε. Modica proved in [28] that solutions of (4) satisfy a monotonicity formula for the energy functional, J (u, B R ) R n 1 increases with R. I proved in [33] an improvement of flatness theorem for local minimizers of (3) which corresponds to the flatness theorem of De Giorgi for minimal surfaces. It asserts that, if a level set is trapped in a flat cylinder whose height is greater than some given θ 0, then it is trapped in a flatter cylinder in the interior (the flatness depends on θ 0 ). Theorem 4.1 (Savin [33]). Suppose that u is a local minimizer of (3) in the cylinder { x <l, x n <l}, and assume that the 0 level set is flat, {u = 0} { x <l, x n <θ}, and contains the point 0. Then there exist small constants 0 <η 1 <η 2 < 1 depending only on n such that: Given θ 0 > 0 there exists ε 1 (θ 0 )>0 depending on n, W and θ 0 such that if θ l ε 1(θ 0 ), θ 0 θ
262 Ovidiu Savin then is included in a flatter cylinder {u = 0} { π ξ x <η 2 l, x ξ <η 2 l} { π ξ x <η 2 l, x ξ <η 1 θ} for some unit vector ξ(π ξ denotes the projection along ξ). The proof uses the fact that at large scales the level sets behave like minimal surfaces and at small scales the equation behaves like Laplace s equation. The ideas are based on a viscosity solution proof of the flatness theorem of De Giorgi (see [34]). As a corollary of the above theorem we obtain that, if the level sets are asymptotically flat at then they are, in fact, hyperplanes. Corollary. Let u be a local minimizer of J in R n with u(0) = 0. Suppose that there exist sequences of positive numbers θ k, l k and unit vectors ξ k with θ k l k 0, l k such that {u = 0} { π ξk x <l k, x ξ k <l k } { x ξ k <θ k }. Then the 0 level set is a hyperplane. Proof. Fix θ 0 > 0, and choose k large such that θ k ε ε 1 (θ 0 ). l k If θ k θ 0 then, by the theorem above, {u = 0} is trapped in a flatter cylinder. We apply the theorem repeatedly till the height of the cylinder becomes less than θ 0. In some system of coordinates we obtain with {u = 0} { y <l k, y n <l k } { y n θ k } θ 0 θ k η 1θ 0, θ k l k θ k l k ε, hence l k η 1θ 0 ε. We let ε 0 and obtain {u = 0} is included in an infinite strip of width θ 0. The corollary is proved since θ 0 is arbitrary. As a consequence we have the following theorem.
Symmetry of entire solutions for a class of semilinear elliptic equations 263 Theorem 4.2. Suppose that u is a local minimizer of J in R n and n 7. Then the level sets of u are hyperplanes. Alberti, Ambrosio and Cabre showed in [1] that monotone solutions of (4) satisfying (2) are in fact local minimizers for the energy (3) (see also the paper of Jerison and Monneau [22]), hence we obtain: Theorem 4.3. Let u C 2 (R n ) be a solution of u = W (u) (8) such that u 1, xn u>0, lim x n ± u(x,x n ) =±1. (9) a) If n 8 then the level sets of u are hyperplanes. b) If the 0 level set has at most linear growth at then the level sets of u are hyperplanes. The methods developed in [33] are quite general and can be applied for other types of nonlinear, possibly degenerate elliptic equations. Recently Valdinoci, Sciunzi and Savin [40] proved the theorems above for the energy 1 J p (u, ) := p u p + W(u)dx, and the corresponding p-laplace equation p u = W (u), p u := div( u p 2 u). Similar results can be obtained for solutions of nonlinear reaction diffusion equations of the type F(D 2 u) = f (u), u C 2 (R n ), u xn > 0, lim x n ± u(x,x n ) =±1, (10) where F is uniformly elliptic, and F, f are such that there exists a one dimensional solution g which solves the equation in all directions, i.e., F(D 2 g(x ν) = f(g(x ν)), for all ν R n, ν =1. If the rescaled level sets ε k {u = 0} converge uniformly on compact sets as ε k 0, then the limiting surface satisfies a uniformly elliptic equation (depending on F, f ) for its second fundamental form (instead of the minimal surface equation). Following ideas from [33] one can prove a Liouville property for level sets of solutions of (10). More precisely, if {u = 0} stays above a hyperplane x ν = const., then u depends only on one variable i.e, u(x) = g(x ν). Moreover, if F is smooth, then the level sets satisfy an improvement of the flatness theorem. This implies that if the 0 level set is asymptotically flat at, then u depends only on one variable. In particular, if the 0 level set is a Lipschitz graph in the x n direction, then the same conclusion holds.
264 Ovidiu Savin References [1] Alberti, G., Ambrosio, L., Cabre, X., On a long-standing conjecture of E. De Giorgi: symmetry in 3D for general nonlinearities and a local minimality property. Acta Appl. Math. 65 (1 3) (2001), 9 33. [2] Ambrosio, L., Cabre, X., Entire solutions of semilinear elliptic equations in R 3 and a conjecture of De Giorgi. J. American Math. Soc. 13 (2000), 725 739. [3] Baldo, S., Minimal interface criterion for phase transitions in mixtures of Cahn-Hilliard fluids. Ann. Inst. H. Poincaré Anal. Non Linéaire 7 (2) (1990), 67 90. [4] Barlow, M., Bass, R., Gui, C., The Liouville property and a conjecture of De Giorgi. Comm. Pure Appl. Math. 53 (8) (2000), 1007 1038. [5] Berestycki, H., Caffarelli, L., Nirenberg, L., Further qualitative properties for elliptic equations in unbounded domains. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 25 (1 2) (1997), 69 94. [6] Berestycki, H., Hamel, F., Monneau R., One-dimensional symmetry of bounded entire solutions of some elliptic equations. Duke Math. J. 103 (3) (2000), 375 396. [7] Bombieri, E., De Giorgi, E., Giusti, E., Minimal cones and the Bernstein problem. Invent. Math. 7 (1969), 243 268. [8] Cahn, J., Hilliard, J., Free energy of a nonuniform system I. Interfacial free energy. J. Chem. Phys 28 (1958), 258 267. [9] Caffarelli, L., Cabre, X., Fully Nonlinear Elliptic Equations. Amer. Math. Soc. Colloq. Publ. 43, Amer. Math. Soc., Providence, RI, 1995. [10] Caffarelli, L., Cordoba, A., Uniform convergence of a singular perturbation problem. Comm. Pure Appl. Math. 48 (1) (1995), 1 12. [11] Caffarelli, L., Cordoba, A., An elementary regularity theory of minimal surfaces. Differential Integral Equations 6 (1) (1993), 1 13. [12] Caffarelli, L., Garofalo, N., Segla, F., A gradient bound for entire solutions of quasi-linear equations and its consequences. Comm. Pure Appl. Math. 47 (11) (1994), 1457 1473. [13] De Giorgi, E., Convergence problems for functional and operators. In Proc. Intern. Meeting on Recent Methods in Nonlinear Analysis (Rome, 1978), Pitagora, Bologna 1979, 131 188. [14] De Giorgi, E., Frontiere orientate di misura minima. Sem. Mat. Scuola Norm. Sup. Pisa 1960, Editrice Tecnico Scientifica, Pisa 1961. [15] Farina, A., Some remarks on a conjecture of De Giorgi. Calc. Var. Partial Differential Equations 8 (1999), 129 154. [16] Farina, A., Symmetry for solutions of semilinear elliptic equations in R n and related conjectures. Ricerche Mat. 48 (1999), 129 154. [17] Fonseca, I., Tartar, L., The gradient theory of phase transitions for systems with two potential wells. Proc. Roy. Soc. Edinburgh Sect. A 111 (1 2) (1989), 89 102. [18] Ghoussoub, N., Gui, C., On a conjecture of De Giorgi and some related problems. Math. Ann. 311 (1998), 481 491. [19] Ghoussoub, N., Gui, C., On De Giorgi s conjecture in dimensions 4 and 5. Ann. of Math. (2) 157 (1) (2003), 313 334. [20] Gilbarg, D., Trudinger, N., Elliptic Partial Differential Equations of second order. Grundlehren Math. Wiss. 224, Springer-Verlag, Berlin, Heidelberg, New York 1983.
Symmetry of entire solutions for a class of semilinear elliptic equations 265 [21] Giusti, E., Minimal Surfaces and functions of bounded variation, Birkhäuser Verlag, Basel, Boston 1984. [22] Jerison, D., Monneau, R., The existence of a symmetric global minimizer on R n 1 implies the existence of a counter-example to a conjecture of De Giorgi in R n. C. R. Acad. Sci. Paris Sér. I Math 333 (5) (2001), 427 431. [23] Kawohl, B., Symmetry or not? Math. Intelligencer 20 (1998), 16 22. [24] Kohn, R., Sternberg, P., Local minimisers and singular perturbations. Proc. Roy. Soc. Edinburgh Sect. A 111 (1 2) (1989), 69 84. [25] Modica, L., Ɣ-convergence to minimal surfaces problem and global solutions of u = 2(u 3 u). InProc. Intern. Meeting on Recent Methods in Nonlinear Analysis (Rome, 1978), Pitagora, Bologna 1979, 223 244. [26] Modica, L., A gradient bound and a Liouville theorem for nonlinear Poisson equations. Comm. Pure Appl. Math. 38 (5) (1985), 679 684. [27] Modica, L., The gradient theory of phase transitions and the minimal interface criterion. Arch. Rational Mech. Anal. 98 (2) (1987), 123 142. [28] Modica, L., Monotonicity of the energy for entire solutions of semilinear elliptic equations. In Partial differential equations and the calculus of variations, Vol. II, Progr. Nonlinear Differential Equations Appl. 2, Birkhäuser, Boston, MA, 1989, 843 850. [29] Modica, L., Gradient theory of phase transitions with boundary contact energy. Ann. Inst. H. Poincaré Anal. Non Linéaire 4 (5) (1987), 487 512. [30] Modica, L., Mortola, S., Some entire solutions in the plane of nonlinear Poisson equations. Boll. Un. Mat. Ital. B (5) 17 (2) (1980), 614 622. [31] Modica, L., Mortola, S., Un esempio di Ɣ -convergenza. Boll. Un. Mat. Ital. B (5) 14 (1) (1977), 285 299. [32] Owen, N., Nonconvex variational problems with general singular perturbations. Trans. Amer. Math. Soc. 310 (1) (1988), 393 404. [33] Savin, O., Phase transitions: Regularity of flat level sets. PhD Thesis, UT Austin, 2003. [34] Savin, O., Small perturbation solutions for elliptic equations. Comm. Partial Differential Equations, to appear. [35] Simons, J., Minimal varieties in riemannian manifolds. Ann. of Math. (2) 88 (1968), 62 105. [36] Sternberg, P., The effect of a singular perturbation on nonconvex variational problems. Arch. Rational Mech. Anal. 101 (3) (1988), 209 260. [37] Sternberg, P., Vector-valued local minimizers of nonconvex variational problems. Rocky Mountain J. Math. 21 (2) (1991), 799 807. [38] Tonegawa, Y., Phase field model with a variable chemical potential. Proc. Roy. Soc. Edinburgh Sect. A 132 (4) (2002), 993 1019. [39] Tonegawa, Y., Domain dependent monotonicity formula for a singular perturbation problem. Indiana Univ. Math. J. 52 (1) (2003), 69 83. [40] Valdinoci, E., Sciunzi, B., Savin, O., Flat level set regularity of p-laplace phase transitions. Mem. Amer. Math. Soc., to appear. Department of Mathematics, University of California at Berkeley, Berkeley, CA 94720, U.S.A. E-mail: osavin@math.berkeley.edu