A Conserved Phase-Field Model with Dirichlet Boundary Condition and Regular Potentials ()
1. Introduction
The Caginalp proposed in [1] [2] two phase-field systems, namely,
(1)
(2)
called non conserved system, and
(3)
(4)
called conserved system (in the sense that, when endowed with Dirichlet Boundary conditions, the spatial average of u is conserved).
In this paper, we consider the following model:
(5)
(6)
derived from the theory of heat conduction involving two temperatures (see, for example, [3]-[7] and references therein), in
, this highlights the complexity of thermal phenomena in non ideal systems. In these materials, thermal dissipation can be influenced by variousmechanics, such as internal structure, the presence of impurities, or interactions between particles. These factors can lead to thermal behaviors that cannot be described by classical models, where a single temperature is generally sufficient [8]-[13].
Indeed the distinction between conductive temperature and thermodynamic temperature allows for a better understanding of heat dynamics in complex materials [14]-[20].
For example in systems where relaxation processes or non-linear effects are present, the two temperatures can diverge, resulting in unexpected effects in heat transfer [21]-[23].
This approach also paves the way for new research on heat management in advanced materials, particularly for applications in engineering and technology where precise control of thermal conductivity is crucial [24]-[26].
If you have any questions or would like to discuss a specific aspect of this topic further, feel free to let me know by considering the linear approximation theory of heat conduction and the total free energy

where
is the domain occupied by the material and F is an anti-derivative of f. Finally, the governing equation for a variationnal derivative [27]-[32]. The governing equation for
is obtained by linearization of the energy equation in the isotropic case, which yields (see [33]-[40])
being the heat supplied from the extermal word, see [41] [42], and then, taking
, we obtain equation (5) and (6). We endow this model with Dirichlet
Boundary Conditions and initial conditions. Then, we are led to the following initial and boundary value problem:
(7)
(8)
(9)
(10)
As far as the nonlinear term
is concerned, we assume that
(11)
(12)
(13)
where
. In particular, the usual cubic non linear term
satisfies these assumptions. We futher assume that
Remark 1.1. We take here, for simplicity, Dirichlet Boundary Conditions. However, we can obtain the same results for Neumann Boundary Conditions, namely,
(14)
where
denotes the unit outer normal to
. To do so, we rewrite, owing to (7) and (8), the equations in the form
where
,
,
, for fixed positive constants
and
. Then, we note that
here,
denotes the minus Laplace operator with Neumann boundary conditions and acting on functions with null average and where it is understood that (see [43]-[52])
Furthermore
are norms in
,
,
,
and
, respectively, which are equivalent to the usual ones.
We further assume that
(15)
which allows to deal with term
.
2. Notations
We denote by
the usual
-norm (with associated product scalar (.,.) and
set
, where
denotes the minus Laplace operator with
Dirichlet Boundary Conditions. More generally,
denote the norm of Banach space X.
Throughout this paper, the same letters
and
denote (generally positive) constants which may change from line to line, or even a same line.
3. The Priori Estimates
The estimates derived in this section are formal, but they can easily be justified within a Galerkin scheme.
We rewrite (7) in the equivalent form
(16)
We multiply (16) by
and have, integrating over
and by parts;
(17)
We then multiply (8) by
and obtain
(18)
Summing (17) and (18), we find the differential equality
(19)
where
(20)
satisfies
(21)
Next, we multiply (7) by
and have, integrating over
(22)
and by Poincare inequalities
(23)
Multipling also (8) by
, we have
(24)
Summing (19),
(23) and (24), where
, we find a differential inequality of the form
(25)
where
(26)
satisfies
(27)
We multiply (7) by
and have, owing to (12), where
(28)
Summing (25) and
times (28), where
is small enough, we obtain a differential inequality of the form
(29)
where
satisfies
Multiply (16) by
and integrate over. We have
(30)
We deduce the following inequality
(31)
Thanks to use
, we find the estimate

Since
, then the estimate (31) implies
(32)
Multiplying (8) by
and integrating over
, we get
(33)
Summing (32) and (33), we obtain
(34)
where
Summing (29) and
(34)
(35)
where
satisfies

We multiply (8) by
and have, integrating over
and by parts,
hence, noting that
,
(36)
Summing (35) and
(37), we fond a differential inequality of the form
(37)
where
satisfies

4. Existence and Uniqueness of Solutions
Theorem 4.1. (Existence) We assume
, the problem (7)-(10) possesses at least one solution
such that
;
,
, for
.
Theorem 4.2. The system (7)-(10) possesses a unique solution with the above regularity.
Proof. There only remains to prove the uniqueness.
Let
and
be two solutions (7)-(10) with initial data
and
, respectively. We set
and
Then,
satisfies
(38)
(39)
(40)
(41)
Multiplying (38) by
, we have
(42)
Multiplying (39) by
, we obtain
(43)
Summing (42) and (43), we find
we have
where, here and below
There
(44)
In particular
(45)
It thus follows form (45) and Gronwall’s lemma that
hence the uniqueness, as well as the continuous dependence with respect to the initial data. □
5. Conclusions
Our study focuses on the mathematical analysis of the phase field model proposed by Caginalp. We specifically concentrate on the questions of existence and uniqueness of solutions, considering a polynomial potential under Dirichlet boundary conditions.
In this context, it is pertinent to explore a numerical approach to complement our theoretical analysis.
Implementing numerical methods, such as finite element methods or finite difference methods, could allow us to solve the partial differential equations associated with the model. Furthermore, numerical simulation serves as a valuable tool for visualizing and studying the dynamic behaviors of the system, particularly phase transitions and equilibrium configurations.