J.evol.equ. 3 (2003) 463 – 484 1424–3199/03/030465 – 22 DOI 10.1007/s00028-003-1112-8 © Birkh¨ auser Verlag, Basel, 2003 Rate of decay to equilibrium in some semilinear parabolic equations Alain Haraux, Mohamed Ali Jendoubi and Otared Kavian Dedicated to Philippe B´ enilan Abstract. In this paper we prove, under various conditions, the so-called Lojasiewicz inequality E (u + ϕ)‖≥ γ |E(u + ϕ) E(ϕ)| 1θ , where θ (0, 1/2], and γ> 0, while uis sufficiently small and ϕ is a critical point of the energy functional E supposed to be only C 2 , instead of analytic in the classical settings. Here E can be for instance the energy associated to the semilinear heat equation u t = u f (x, u) on a bounded domain R N . As a corollary of this inequality we give the rate of convergence of the solution u(t) to an equilibrium, and we exhibit examples showing that the given rate of convergence (which depends on the exponent θ and on the critical point ϕ through the nature of the kernel of the linear operator E ′′ (ϕ)) is optimal. 1. Introduction and main results Let be a bounded, connected open subset of R N with a Lipschitz continuous boundary and let us consider the semilinear parabolic equation u t u + f (u) = 0 in R + × , u = 0 on R + × ∂ (1.1) where f : R −→ R is a locally Lipschitz continuous function. According to the well known La Salle’s invariance principle, a solution u of (1.1) which is uniformly bounded on R + , approaches the set of stationary solutions of (1.1) as t →∞, see for instance C. M. Dafermos [9], A. Haraux [12]. Convergence to an equilibrium has been established in many cases, for instance T. I. Zelenyak [26], H. Matano [22], L. Simon [25], P. L. Lions [19], J. Hale & G. Raugel [11], A. Haraux & P. Pol´ cik [16], P. Brunovsk´ y & P. Pol´ cik [5], but remains an open question in general (convergence may fail if the nonlinearity f depends on x , as shown in P. Pol´ cik & K. Rybakowski [23], see also P. Pol´ cik & F. Simondon [24]). One of the means used in the proof of such convergence results to equilibrium is an inequality due to S. Lojasiewicz [20] asserting that for any analytic function F : R n −→ R with F(0) = 0 and F (0) = 0, there exist constants γ > 0 and θ (0, 1/2] and a neighbourhood ω of the origin such that: for any x ω one has F (x)‖≥ γ |F(x)| 1θ .