Sharp large time behaviour in N-dimensional reaction-diffusion equations of bistable type

We study the large time behaviour of the reaction-diffusion equation ∂_t u = Δu + f (u) in spatial dimension N, when the non-linear term is bistable and the initial datum is compactly supported. We prove the existence of a Lipschitz function s^∞ of the unit sphere, such that u (t , x) converges uniformly in R^N, as t goes to infinity, to U_c⁎ (| x | -c_⁎ t + N-1/c_⁎ ln t +s^∞ (x/|x|)), where U_c⁎ is the unique 1D travelling profile. This extends earlier results that identified the locations of the level sets of the solutions with _{o t → + ∞} (t) precision, or identified precisely the level sets locations for almost radial initial data.