We consider a diffuse interface model of tumor growth proposed by A.~Hawkins-Daruud et al. This model consists of the Cahn-Hilliard equation for the tumor cell fraction $varphi$ nonlinearly coupled with a reaction-diffusion equation for $psi$, which
represents the nutrient-rich extracellular water volume fraction. The coupling is expressed through a suitable proliferation function $p(varphi)$ multiplied by the differences of the chemical potentials for $varphi$ and $psi$. The system is equipped with no-flux boundary conditions which entails the conservation of the total mass, that is, the spatial average of $varphi+psi$. Here we prove the existence of a weak solution to the associated Cauchy problem, provided that the potential $F$ and $p$ satisfy sufficiently general conditions. Then we show that the weak solution is unique and continuously depends on the initial data, provided that $p$ satisfies slightly stronger growth restrictions. Also, we demonstrate the existence of a strong solution and that any weak solution regularizes in finite time. Finally, we prove the existence of the global attractor in a phase space characterized by an a priori bounded energy.
We consider a diffuse interface model which describes the motion of an incompressible isothermal mixture of two immiscible fluids. This model consists of the Navier-Stokes equations coupled with a convective nonlocal Cahn-Hilliard equation. Several r
esults were already proven by two of the present authors. However, in the two-dimensional case, the uniqueness of weak solutions was still open. Here we establish such a result even in the case of degenerate mobility and singular potential. Moreover, we show the strong-weak uniqueness in the case of viscosity depending on the order parameter, provided that either the mobility is constant and the potential is regular or the mobility is degenerate and the potential is singular. In the case of constant viscosity, on account of the uniqueness results we can deduce the connectedness of the global attractor whose existence was obtained in a previous paper. The uniqueness technique can be adapted to show the validity of a smoothing property for the difference of two trajectories which is crucial to establish the existence of an exponential attractor. The latter is established even in the case of variable viscosity, constant mobility and regular potential.
We consider a diffuse interface model for incompressible isothermal mixtures of two immiscible fluids with matched constant densities. This model consists of the Navier-Stokes system coupled with a convective nonlocal Cahn-Hilliard equation with non-
constant mobility. We first prove the existence of a global weak solution in the case of non-degenerate mobilities and regular potentials of polynomial growth. Then we extend the result to degenerate mobilities and singular (e.g. logarithmic) potentials. In the latter case we also establish the existence of the global attractor in dimension two. Using a similar technique, we show that there is a global attractor for the convective nonlocal Cahn-Hilliard equation with degenerate mobility and singular potential in dimension three.
A well-known diffuse interface model for incompressible isothermal mixtures of two immiscible fluids consists of the Navier-Stokes system coupled with a convective Cahn-Hilliard equation. In some recent contributions the standard Cahn-Hilliard equati
on has been replaced by its nonlocal version. The corresponding system is physically more relevant and mathematically more challenging. Indeed, the only known results are essentially the existence of a global weak solution and the existence of a suitable notion of global attractor for the corresponding dynamical system defined without uniqueness. In fact, even in the two-dimensional case, uniqueness of weak solutions is still an open problem. Here we take a step forward in the case of regular potentials. First we prove the existence of a (unique) strong solution in two dimensions. Then we show that any weak solution regularizes in finite time uniformly with respect to bounded sets of initial data. This result allows us to deduce that the global attractor is the union of all the bounded complete trajectories which are strong solutions. We also demonstrate that each trajectory converges to a single equilibrium, provided that the potential is real analytic and the external forces vanish.
