2016, Frigeri, Sergio, Gal, Ciprian G., Grasselli, Maurizio, Sprekels, Jürgen

We consider a nonlinear system which consists of the incompressible Navier-Stokes equations coupled with a convective nonlocal Cahn-Hilliard equation. This is a diffuse interface model which describes the motion of an incompressible isothermal mixture of two (partially) immiscible fluids having the same density. We suppose that the viscosity depends smoothly on the order parameter as well as the mobility. Moreover, we assume that the mobility is degenerate at the pure phases and that the potential is singular (e.g. of logarithmic type). This system is endowed with no-slip boundary condition for the (average) velocity and homogeneous Neumann boundary condition for the chemical potential. Thus the total mass is conserved. In the two-dimensional case, this problem was already analyzed in some joint papers of the first three authors. However, in the present general case, only the existence of a global weak solution, the (conditional) weak-strong uniqueness and the existence of the global attractor were proven. Here we are able to establish the existence of a (unique) strong solution through an approximation procedure based on time discretization. As a consequence, we can prove suitable uniform estimates which allow us to show some smoothness of the global attractor. Finally, we discuss the existence of strong solutions for the convective nonlocal Cahn-Hilliard equation, with a given velocity field, in the three dimensional case as well.

2014, Colli, Pierluigi, Gilardi, Gianni, Sprekels, Jürgen

The Cahn-Hilliard and viscous Cahn-Hilliard equations with singular and possibly nonsmooth potentials and dynamic boundary condition are considered and some well-posedness and regularity results are proved.

2015, Colli, Pierluigi, Gilardi, Gianni, Sprekels, Jürgen

A boundary control problem for the pure Cahn-Hilliard equations with possibly singular potentials and dynamic boundary conditions is studied and first-order necessary conditions for optimality are proved.

2012, Dreyer, Wolfgang, Druet, Pierre-Étienne, Klein, Olaf, Sprekels, Jürgen

This paper deals with the mathematical modeling and simulation of crystal growth processes by the so-called Czochralski method and related methods, which are important industrial processes to grow large bulk single crystals of semiconductor materials such as, e.,g., gallium arsenide (GaAs) or silicon (Si) from the melt. In particular, we investigate a recently developed technology in which traveling magnetic fields are applied in order to control the behavior of the turbulent melt flow. Since numerous different physical effects like electromagnetic fields, turbulent melt flows, high temperatures, heat transfer via radiation, etc., play an important role in the process, the corresponding mathematical model leads to an extremely difficult system of initial-boundary value problems for nonlinearly coupled partial differential equations ...

2015, Colli, Pierluigi, Gilardi, Gianni, Sprekels, Jürgen

This paper investigates a nonlocal version of a model for phase separation on an atomic lattice that was introduced by P. Podio-Guidugli in Ric. Mat. 55 (2006) 105-118. The model consists of an initial-boundary value problem for a nonlinearly coupled system of two partial differential equations governing the evolution of an order parameter p and the chemical potential my. Singular contributions to the local free energy in the form of logarithmic or ouble-obstacle potentials are admitted. In contrast to the local model, which was studied by P. Podio-Guidugli and the present authors in a series of recent publications, in the nonlocal case the equation governing the evolution of the order parameter contains in place of the Laplacian a nonlocal expression that originates from nonlocal contributions to the free energy and accounts for possible long-range interactions between the atoms. It is shown that just as in the local case the model equations are well posed, where the technique of proving existence is entirely different: it is based on an application of Tikhonovs fixed point theorem in a rather unusual separable and reflexive Banach space.

2011, Colli, Pierluigi, Gilardi, Geanni, Podio-Guidugli, Paolo, Sprekels, Jürgen

We study a diffusion model of phase field type, consisting of a system of two partial differential equations encoding the balances of microforces and microenergy; the two unknowns are the order parameter and the chemical potential. By a careful development of uniform estimates and the deduction of certain useful boundedness properties, we prove existence and uniqueness of a global-in-time smooth solution to the associated initial/boundary-value problem; moreover, we give a description of the relative $omega$-limit set.

2017, Colli, Pierluigi, Gilardi, Gianni, Sprekels, Jürgen

This paper deals with an initial and boundary value problem for a system coupling equation and boundary condition both of CahnHilliard type; an additional convective term with a forced velocity field, which could act as a control on the system, is also present in the equation. Either regular or singular potentials are admitted in the bulk and on the boundary. Both the viscous and pure CahnHilliard cases are investigated, and a number of results is proven about existence of solutions, uniqueness, regularity, continuous dependence, uniform boundedness of solutions, strict separation property. A complete approximation of the problem, based on the regularization of maximal monotone graphs and the use of a FaedoGalerkin scheme, is introduced and rigorously discussed.

2017, Colli, Pierluigi, Gilardi, Gianni, Sprekels, Jürgen

In this paper, we investigate a distributed optimal control problem for a convective viscous CahnHilliard system with dynamic boundary conditions. Such systems govern phase separation processes between two phases taking place in an incompressible fluid in a container and, at the same time, on the container boundary. The cost functional is of standard tracking type, while the control is exerted by the velocity of the fluid in the bulk. In this way, the coupling between the state (given by the associated order parameter and chemical potential) and control variables in the governing system of nonlinear partial differential equations is bilinear, which presents a difficulty for the analysis. In contrast to the previous paper Optimal velocity control of a viscous CahnHilliard system with convection and dynamic boundary conditions by the same authors, the bulk and surface free energies are of double obstacle type, which renders the state constraint nondifferentiable. It is well known that for such cases standard constraint qualifications are not satisfied so that standard methods do not apply to yield the existence of Lagrange multipliers. In this paper, we overcome this difficulty by taking advantage of results established in the quoted paper for logarithmic nonlinearities, using a so-called deep quench approximation. We derive results concerning the existence of optimal controls and the first-order necessary optimality conditions in terms of a variational inequality and the associated adjoint system.

2017, Colli, Pierluigi, Gilardi, Gianni, Sprekels, Jürgen

In this paper, we investigate a distributed optimal control problem for a convective viscous CahnHilliard system with dynamic boundary conditions. Such systems govern phase separation processes between two phases taking place in an incompressible fluid in a container and, at the same time, on the container boundary. The cost functional is of standard tracking type, while the control is exerted by the velocity of the fluid in the bulk. In this way, the coupling between the state (given by the associated order parameter and chemical potential) and control variables in the governing system of nonlinear partial differential equations is bilinear, which presents an additional difficulty for the analysis. The nonlinearities in the bulk and surface free energies are of logarithmic type, which entails that the thermodynamic forces driving the phase separation process may become singular. We show existence for the optimal control problem under investigation, prove the Fréchet differentiability of the associated control-to-state mapping in suitable Banach spaces, and derive the first-order necessary optimality conditions in terms of a variational inequality and the associated adjoint system. Due to the strong nonlinear couplings between state variables and control, the corresponding proofs require a considerable analytical effort.

2014, Colli, Pierluigi, Gilardi, Gianni, Sprekels, Jürgen

A boundary control problem for the viscous Cahn-Hilliard equations with possibly singular potentials and dynamic boundary conditions is studied and first order necessary conditions for optimality are proved.