The Cahn–Hilliard gradient theory for phase separation with non-smooth free energy Part I: Mathematical analysis

A mathematical analysis is carried out for the Cahn–Hilliard equation where the free energy takes the form of a double well potential function with infinite walls. Existence and uniqueness are proved for a weak formulation of the problem which possesses a Lyapunov functional. Regularity results are presented for the weak formulation, and consideration is given to the asymptotic behaviour as the time becomes infinite. An investigation of the associated stationary problem is undertaken proving the existence of a nontrivial stationary solution and further regularity results for any stationary solution. Stationary solutions are constructed in one and two dimensions; a formula for the number of stationary solutions in one dimension is derived. It is then natural to study the asymptotic behaviour as the phenomenological parameter λ→0, the main result being that the interface between the two phases has minimal area.