THE SEPARATION PROPERTY FOR 2D CAHN-HILLIARD EQUATIONS: LOCAL, NONLOCAL AND FRACTIONAL ENERGY CASES

We study the separation property for Cahn-Hilliard type equations with constant mobility and (physically relevant) singular potentials in two dimensions. That is, any solution with initial finite energy stays uniformly away from the pure phases +/- 1 from a certain time on. Beyond its physical interest, this property plays a crucial role to achieve high order Sobolev and analytic regularity of the solutions and to analyze their longtime behavior. In the local case, we streamline known arguments by exploiting the Sobolev inequality to obtain direct entropy estimates. In the nonlocal case, we provide a new proof based on De Giorgi estimates rather than the Alikakos-Moser type argument. Finally, in the spectral-fractional case, we prove nonlinear estimates and the separation property for any fractional index s is an element of (0,1) filling the gap between first-order (local) and zero-order (nonlocal) energy cases. In all of the aforementioned cases, our new proofs neither make use of the Trudinger-Moser inequality nor of any assumptions involving the third derivative of the entropy, as in the previous contributions. In particular, they apply for a more general class of singular potentials than the Flory-Huggins (Boltzmann-Gibbs) logarithmic density. Besides, the new methods present a series of technical advantages, which can be useful to the analysis of important physical systems that couple Cahn-Hilliard equations with other equations (e.g., reaction-diffusion equations and/or Navier-Stokes type systems) as well as their stochastic counterparts.

Automated summary

We study the separation property for Cahn-Hilliard type equations with constant mobility and singular potentials in two dimensions. The solutions with initial finite energy stay away from the pure phases +/- 1 after a certain time. Our new proofs provide direct entropy estimates using Sobolev inequality in the local case and De Giorgi estimates in the nonlocal case. The methods can be applied to a more general class of singular potentials and have technical advantages for analyzing physical systems that couple Cahn-Hilliard equations with other equations.