Abstract:This paper addresses the well-posedness of a general class of bulk-surface convective Cahn--Hilliard systems with singular potentials. For this model, we first prove the existence of a global-in-time weak solution by approximating the singular potentials via a Yosida approximation, applying the corresponding results for regular potentials, and eventually passing to the limit in this approximation scheme. Then, we prove the uniqueness of weak solutions and its continuous dependence on the velocity fields and the initial data. Afterwards, assuming additional regularity of the domain as well as the velocity fields, we establish higher regularity properties of weak solutions and eventually the existence of strong solutions. In the end, we discuss strict separation properties for logarithmic type potentials in both two and three dimensions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the well - posedness of a class of volume - surface convection Cahn - Hilliard systems with singular potentials. Specifically, the authors first prove the existence of global weak solutions for this system by the Yosida approximation method, and further prove the uniqueness of the weak solutions and their continuous dependence on the initial values and the velocity field. Under the assumption of additional regularity conditions, the author also establishes the high - order regularity of the weak solutions and finally proves the existence of strong solutions. In addition, the paper also discusses the strict separation property for logarithmic - type potentials in two - and three - dimensional spaces.
### Main research contents
1. **Existence of weak solutions**:
- The singular potential is treated by the Yosida approximation method. Existing results (such as those for regular potentials) are applied, and through the approximation scheme, it is finally passed to the limit to prove the existence of global weak solutions.
2. **Uniqueness and continuous dependence of solutions**:
- The uniqueness of the weak solutions and their continuous dependence on the velocity field and the initial value data are proved.
3. **Existence of strong solutions**:
- Under the assumption of additional regularity conditions, the higher regularity of the weak solutions is established, and finally the existence of strong solutions is proved.
4. **Separation property**:
- For the logarithmic - type potential, the strict separation property is discussed, that is, the phase - field function is far from the pure phases ±1 at almost all times.
### Mathematical model
The volume - surface convection Cahn - Hilliard system considered in the paper can be expressed as:
\[
\begin{cases}
\partial_t \varphi+\text{div}(\varphi \mathbf{v})=\text{div}(m_\Omega(\varphi) \nabla \mu)&\text{in }Q,\\
\mu = -\Delta \varphi+F'(\varphi)&\text{in }Q,\\
\partial_t \psi+\text{div}_\Gamma(\psi \mathbf{w})=\text{div}_\Gamma(m_\Gamma(\psi) \nabla_\Gamma \theta)-\beta m_\Omega(\varphi) \partial_n \mu&\text{on }\Sigma,\\
\theta = -\Delta_\Gamma \psi+G'(\psi)+\alpha \partial_n \varphi&\text{on }\Sigma,\\
K \partial_n \varphi=\alpha \psi-\varphi&\text{if }K\in[0,\infty),\\
\partial_n \varphi = 0&\text{if }K = \infty\text{ on }\Sigma,\\
L m_\Omega(\varphi) \partial_n \mu=\beta \theta-\mu&\text{if }L\in[0,\infty),\\
m_\Omega(\varphi) \partial_n \mu = 0&\text{if }L = \infty\text{ on }\Sigma,\\
\varphi|_{t = 0}=\varphi_0&\text{in }\Omega,\\
\psi|_{t = 0}=\psi_0&\text{on }\Gamma.
\end{cases}
\]
### Energy functional
The total energy functional related to this system is:
\[
E_K(\varphi,\psi)=\int_\Omega\frac{1}{2}|\nabla \varphi|^2+F(\varphi)