We deal with a Penrose-Fife type model for phase transition. We assume a rather general constitutive low for the heat flux and treat the Dirichlet and Neumann boundary condition for the temperature. Some of our proofs apply to different types of boundary conditions as well and improve some results existing in the literature.
A definition of seminorm in the Sobolev space W (Γ) on a smooth compact manifold Gamma without boundary, using a localization procedure without partition of unity.
One proves, in the case of piecewise smooth coefficients, that the time derivative of the solution of the so called dam problem is a measure, extending the result proved by the same authors in the case of Lipschitz continuous coefficients.
We deal with a class of Penrose-Fife type phase field models for phase transitions, where the phase dynamics is ruled by a Cahn-Hilliard type equation. Suitable assumptions on the behaviour of the heat flux as the absolute temperature tends to zero and to are considered. An existence result is obtained by a double approximation procedure and compactness methods. Moreover, uniqueness and regularity results are proved as well.
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 [3]. Both systems conform to the general theory developed in [5]: two parabolic PDEs, interpreted...
In this paper we propose a time discretization of a system of two parabolic equations describing diffusion-driven atom rearrangement in crystalline matter. The equations express the balances of microforces and microenergy; the two phase fields are the order parameter and the chemical potential. The initial and boundary-value problem for the evolutionary system is known to be well posed. Convergence of the discrete scheme to the solution of the continuous problem is proved by a careful development...
Page 1