Abstract:We consider the nonlocal Cahn-Hilliard equation with singular (logarithmic) potential and constant mobility in three-dimensional bounded domains and we establish the validity of the instantaneous strict separation property. This means that any weak solution, which is not a pure phase initially, stays uniformly away from the pure phases $\pm1$ from any positive time on. This work extends the result in dimension two for the same equation and gives a positive answer to the long standing open problem of the validity of the strict separation property in dimensions higher than two. In conclusion, we show how this property plays an essential role to achieve higher-order regularity for the solutions and to prove that any weak solution converges to a single equilibrium.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the validity of the instantaneous strict separation property when the non - local Cahn - Hilliard equation has a singular (logarithmic) potential in a three - dimensional bounded domain. Specifically, the paper aims to prove that for any initial state that is not a pure phase state (i.e., \(\phi_0 \not\equiv 1\) or \(\phi_0 \not\equiv - 1\)), the corresponding weak solution will be far from the pure phase states \(±1\) after any positive time, and this distance is uniform.
### Background of the Paper
The Cahn - Hilliard equation is a partial differential equation that describes the phase separation phenomenon of two - phase mixtures. It was originally used to model the phase separation process in iron alloys. This equation has been widely applied to multi - phase problems later, especially the phase separation phenomenon in cell biology. The form of the equation is as follows:
\[
\begin{cases}
\partial_t \phi=\Delta \mu & \text{in } \Omega\times(0, T), \\
\mu = -\epsilon\Delta \phi+\Psi'(\phi) & \text{in } \Omega\times(0, T),
\end{cases}
\]
where:
- \(\phi\) is the phase - field variable, representing the relative mass fraction difference of the two components;
- \(\mu\) is the chemical potential;
- \(\epsilon\) is the capillary coefficient;
- \(\Psi(\phi)\) is the Helmholtz free - energy density. For singular potentials, it usually takes the logarithmic form:
\[
\Psi(s)=\bar{\alpha}\left(\frac{(1 + s)\ln(1 + s)+(1 - s)\ln(1 - s)}{2}\right)-\frac{\alpha_0s^2}{2}.
\]
### Research Objectives
The main objective of the paper is to prove the instantaneous strict separation property of the non - local Cahn - Hilliard equation with a singular potential in a three - dimensional bounded domain. Specifically, the paper needs to prove the following result:
For a given weak solution \(\phi\), there exists \(\delta>0\) such that for almost all \((x, t)\in\Omega\times(\tau,+\infty)\), we have:
\[
|\phi(x, t)|\leq1-\delta,
\]
where \(\delta\) depends on the parameters of the problem, the initial data \(\phi_0\) and \(\tau\). In addition, if the initial data \(\phi_0\) is more regular and already strictly far from the pure phase state, then the above inequality also holds when \(t\geq0\).
### Significance
The proof of the instantaneous strict separation property is of great significance for understanding the behavior of solutions to the non - local Cahn - Hilliard equation. This property not only helps to derive further regularity results of solutions, but also can prove that the weak solution will converge to a single equilibrium state. This provides a basis for studying other related problems (such as the non - local Cahn - Hilliard - Oono equation, the non - local Cahn - Hilliard - Hele - Shaw system, etc.).