No Arabic abstract
In this paper we study a distributed optimal control problem for a nonlocal convective Cahn--Hilliard equation with degenerate mobility and singular potential in three dimensions of space. While the cost functional is of standard tracking type, the control problem under investigation cannot easily be treated via standard techniques for two reasons: the state system is a highly nonlinear system of PDEs containing singular and degenerating terms, and the control variable, which is given by the velocity of the motion occurring in the convective term, is nonlinearly coupled to the state variable. The latter fact makes it necessary to state rather special regularity assumptions for the admissible controls, which, while looking a bit nonstandard, are however quite natural in the corresponding analytical framework. In fact, they are indispensable prerequisites to guarantee the well-posedness of the associated state system. In this contribution, we employ recently proved existence, uniqueness and regularity results for the solution to the associated state system in order to establish the existence of optimal controls and appropriate first-order necessary optimality conditions for the optimal control problem.
We introduce and analyze the nonlocal variants of two Cahn-Hilliard type equations with reaction terms. The first one is the so-called Cahn-Hilliard-Oono equation which models, for instance, pattern formation in diblock-copolymers as well as in binary alloys with induced reaction and type-I superconductors. The second one is the Cahn-Hilliard type equation introduced by Bertozzi et al. to describe image inpainting. Here we take a free energy functional which accounts for nonlocal interactions. Our choice is motivated by the work of Giacomin and Lebowitz who showed that the rigorous physical derivation of the Cahn-Hilliard equation leads to consider nonlocal functionals. The equations also have a transport term with a given velocity field and are subject to a homogenous Neumann boundary condition for the chemical potential, i.e., the first variation of the free energy functional. We first establish the well-posedness of the corresponding initial and boundary value problems in a weak setting. Then we consider such problems as dynamical systems and we show that they have bounded absorbing sets and global attractors.
We consider a Cahn-Hilliard equation which is the conserved gradient flow of a nonlocal total free energy functional. This functional is characterized by a Helmholtz free energy density, which can be of logarithmic type. Moreover, the spatial interactions between the different phases are modeled by a singular kernel. As a consequence, the chemical potential $mu$ contains an integral operator acting on the concentration difference $c$, instead of the usual Laplace operator. We analyze the equation on a bounded domain subject to no-flux boundary condition for $mu$ and by assuming constant mobility. We first establish the existence and uniqueness of a weak solution and some regularity properties. These results allow us to define a dissipative dynamical system on a suitable phase-space and we prove that such a system has a (connected) global attractor. Finally, we show that a Neumann-like boundary condition can be recovered for $c$, provided that it is supposed to be regular enough.
We prove existence, uniqueness, regularity and separation properties for a nonlocal Cahn-Hilliard equation with a reaction term. We deal here with the case of logarithmic potential and degenerate mobility as well an uniformly lipschitz in $u$ reaction term $g(x,t,u).$
The phase separation of an isothermal incompressible binary fluid in a porous medium can be described by the so-called Brinkman equation coupled with a convective Cahn-Hilliard (CH) equation. The former governs the average fluid velocity $mathbf{u}$, while the latter rules evolution of $varphi$, the difference of the (relative) concentrations of the two phases. The two equations are known as the Cahn-Hilliard-Brinkman (CHB) system. In particular, the Brinkman equation is a Stokes-like equation with a forcing term (Korteweg force) which is proportional to $mu ablavarphi$, where $mu$ is the chemical potential. When the viscosity vanishes, then the system becomes the Cahn-Hilliard-Hele-Shaw (CHHS) system. Both systems have been studied from the theoretical and the numerical viewpoints. However, theoretical results on the CHHS system are still rather incomplete. For instance, uniqueness of weak solutions is unknown even in 2D. Here we replace the usual CH equation with its physically more relevant nonlocal version. This choice allows us to prove more about the corresponding nonlocal CHHS system. More precisely, we first study well-posedness for the CHB system, endowed with no-slip and no-flux boundary conditions. Then, existence of a weak solution to the CHHS system is obtained as a limit of solutions to the CHB system. Stronger assumptions on the initial datum allow us to prove uniqueness for the CHHS system. Further regularity properties are obtained by assuming additional, though reasonable, assumptions on the interaction kernel. By exploiting these properties, we provide an estimate for the difference between the solution to the CHB system and the one to the CHHS system with respect to viscosity.
Here we consider the nonlocal Cahn-Hilliard equation with constant mobility in a bounded domain. We prove that the associated dynamical system has an exponential attractor, provided that the potential is regular. In order to do that a crucial step is showing the eventual boundedness of the order parameter uniformly with respect to the initial datum. This is obtained through an Alikakos-Moser type argument. We establish a similar result for the viscous nonlocal Cahn-Hilliard equation with singular (e.g., logarithmic) potential. In this case the validity of the so-called separation property is crucial. We also discuss the convergence of a solution to a single stationary state. The separation property in the nonviscous case is known to hold when the mobility degenerates at the pure phases in a proper way and the potential is of logarithmic type. Thus, the existence of an exponential attractor can be proven in this case as well.