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.

2012, Colli, Pierluigi, Gilardi, Gianni, Podio-Guidugli, Paolo, Sprekels, Jürgen

Existence and uniqueness are investigated for a nonlinear diffusion problem of phase-field type, consisting of a parabolic system of two partial differential equations, complemented by Neumann homogeneous boundary conditions and initial conditions. This system aims to model two-species phase segregation on an atomic [19]; in the balance equations of microforces and microenergy, the two unknowns are the order parameter $rho$ and the chemical potential $mu$. A simpler version of the same system has recently been discussed in [8]. In this paper, a fairly more general phase-field equation for $rho$ is coupled with a genuinely nonlinear diffusion equation for $mu$. The existence of a global-in-time solution is proved with the help of suitable a priori estimates. In the case of costant atom mobility, a new and rather unusual uniqueness proof is given, based on a suitable combination of variables.

2012, Colli, Pierluigi, Gilardi, Gianni, Podio-Guidugli, Paolo, Sprekels, Jürgen

This note is concerned with a nonlinear diffusion problem of phase-field type, consisting of a parabolic system of two partial differential equations, complemented by Neumann homogeneous boundary conditions and initial conditions. The system arises from a model of two-species phase segregation on an atomic lattice [Podio-Guidugli 2006]; it consists of the balance equations of microforces and microenergy; the two unknowns are the order parameter $rho$ and the chemical potential $mu$. Some recent results obtained for this class of problems is reviewed and, in the case of a nonconstant and nonlinear atom mobility, uniqueness and continuous dependence on the initial data are shown with the help of a new line of argumentation developed in Colli/Gilardi/Podio-Guidugli/Sprekels 2012.

2012, Colli, Pierluigi, Gilardi, Gianni, Podio-Guidugli, Paolo, Sprekels, Jürgen, Magenes, Enrico

An existence result is proved for a nonlinear diffusion problem of phase-field type, consisting of a parabolic system of two partial differential equations, complemented by Neumann homogeneous boundary conditions and initial conditions. This system is meant to model two-species phase segregation on an atomic lattice under the presence of diffusion. A similar system has been recently introduced and analyzed in [CGPS11]. Both systems conform to the general theory developed in [Pod06]: two parabolic PDEs, interpreted as balances of microforces and microenergy, are to be solved for the order parameter $rho$ and the chemical potential $mu$. In the system studied in this note, a phase-field equation in $rho$ fairly more general than in [CGPS11] is coupled with a highly nonlinear diffusion equation for $mu$, in which the conductivity coefficient is allowed to depend nonlinearly on both variables.

2011, Colli, Pierluigi, Gilardi, Gianni, Podio-Guidugli, Paolo, Sprekels, Jürgen, Müller, Ingo

We investigate a distributed optimal control problem for a phase field model of Cahn-Hilliard type. The model describes two-species phase segregation on an atomic lattice under the presence of diffusion; it has been introduced recently in [4], on the basis of the theory developed in [15], and consists of a system of two highly nonlinearly coupled PDEs. For this reason, standard arguments of optimal control theory do not apply directly, although the control constraints and the cost functional are of standard type. We show that the problem admits a solution, and we derive the first-order necessary conditions of optimality.