Bonacina
Bonacina
Bonacina
Abstract-A three-time level implicit scheme, which is unconditionally stable and convergent, is employed
for the numerical solution of phase-change problems, on the basis of an analytical approach consisting in
the approximation of the latent heat effect by a large heat capacity over a small temperature range. Since
the temperature dependent coefficients in the resulting parabolic equations are evaluated at the inter-
mediate time level, the complication of solving a set of nonlinear algebraic equations at each time step is
avoided. The numerical results thus obtained are satisfactorily compared with the available analytical
solutions.
2, liquid region.
1825
1826 C. BONACINA, G. COMINI, A. FASANO and M. PRIMICERIO
an d
r,Wr), r] =
k,(t)
t,[t(7),
2 - k,(t) 2 =Iz2
73 = ts (7)
(8)
lim I, = lim
E’O E-+0
;+e
s
r-c
r+e
i?(t) ; dx
= lim C(t) 4 dx
where I is the heat of phase change per unit E-+0[S
volume.
However, based on a physical approach, a
different mathematical model can be tried.
Boundary condition (8) in fact, stems from the
“jump” of magnitude L which the enthalpy per
unit volume H undergoes at the temperature
of the phase transition tf. Therefore, from the
enthalpy definition r-E
H(t) = j C(t) dt + $(t - t,); - k(t); _
IX-<-E
Since I, = I,, condition (8) can be immediately
1. (13)
(a) The delta-function in the definition of C(t) Thus the approximating problems are form-
?t
must be replaced by a deltaform function ulated as follows:
1
fi(t - tS’ At) which assumes large but finite
iit ?
values in the semi-interval At across tf where it C*(t)iiz = ii.u k*(t);l.y (17)
is different from zero. Consequently a smoothed [
heat capacity C*(t) can be defined with initial, and boundary conditions given by
c,w. t < t/. - At (2). (3), (5) and (6). Each of these problems
c,w, t > tf + At
c*(t) = (14) possesses unique classical solution [ 161 which,
according to points 1 and 2 and to the quoted
and results of [15. 201, as At -+ 0 tends to the
t,+Al generalized solution of the Stefan problem.
j C*(t)dt = I_ + y C,(t) dt The actual smoothing can be performed in
L~-AI If-AL
many ways. Several shapes have been tested
l, +A1
numerically and the choice does not seem to be
+ s C,(t) dt (15)
11
critical.
A definition of C’*(t) and K*(t) which works
which retains the enthalpy variations.
(b) Similarly a smoothed thermal conductivity well and, owing to its simplicity, turns out to be
k*(t) has to be introduced, subjected to the very suitable for practical applications is des-
cribed here.
conditions
Suppose that C,, C,. k, and k, do not depend
k,(t), t < tf - At
k*(t) = (16) on t. then in the interval: tJ - At < t B Ts + At
k,(t), t > tf + At' the following definitions may be assumed
& +c, + c,
.; A generalized solution to the problem (11). (2). (3). (5)
and (6) in the rectangle: 0 < x < I,, 0 : r < 0 is every c*(t) = 2 (18)
measurable function t(x, r) satisfying the integral identity
(I 1.
^
?’
and
//
.iii *
0
ff[t(X,r)] ; Ffx. r) + K[t(u. t)] G F(x, r)
I
dx dr
k -k
k*(t) = k, + w[f - (ts - At)]. (19)
1. B
c3
+
_L 0
H[dx)] Rx. 0) dx +
J‘i
,I
K[f;(T)] - KY, r)
c’u ~1-0
At this point it is worth mentioning that an
important feature of the procedure outlined here
is that the coefficient smoothing is carried out
where with respect to t and so it does not depend on
K(t) is defined as: whether the problems are one-dimensional or
K(t) = I‘ k(t)dt
multi-dimensional. The extension to the multi-
I, dimensional case therefore is straightforward
cp(x) is given by and yields to equations which are formally
analogous to equation (17). For example, in the
three-dimensional case the equation correspond-
and F(x, r) is any function which is continously differenti- ing to equation (17) is
able, twice with respect to x and once with respect to L and
such that
F(0. r) = F(L. r) = F(X. 0) = 0. (IV)
The results of [IS] and [20] concerning similar cases can
be still utilized to show the existence and uniqueness of the
(20)
generalized solution thus defined.
NUMERICAL SOLUTION OF PHASE-CHANGE PROBLEMS 1829
0, I .________Analyticol
solution
-
In the calculations 41 equally spaced nodal the particular case: r, - I, = 20 K. The accuracy
points were used (AX = 0.0125 m: L = 0.5 m) of the results plotted in Figs. 1 and 2 is always
with time steps variable from 200 to 600 s but better than 1 per cent.
constant within each run. The phase change was A phase change problem with the initial
usually assumed to take place jn a temperature temperature of the water above the freezing
interval of 05 K, but the results obtained were point was then considered. The initial and
rather insensitive to the particular choice boundary conditions were taken to coincide
operated. In Fig, 1 the computed phase front with the analytical solution at z = 72000 s
position curves are compared with the corres- yielded by the following boundary and initial
pond@ analytical sofution for different values conditions :
of the initial “jump” (t, - te) in the external t,(O,t) = r, = -20°C: r>O (29)
surface temperature. In Fig. 2 the calculated
t,ix,O) = t, = 10°C; ((0) = 0 SSX d L. 130)
tem~rature distributions at different time values
are compared with the analytical solutions For Tat& 1
___ ...._- .-__ ....-_.. _.- .._~_
e(m)
5 x 1()-4(S)--.~~~.-~...--l_-~ _-_- _._
Analytical SC& Numerical sol.
-_____ ~.-~~~~_-_-_.- .-.-
7,2 0.123 0123
9.0 0.138 0138
10.8 0.151 0,156
12.6 0,163 0.166
14.4 0.175 0*180
16.2 0.185 0189
i8.0 0.195 0199
19.8 0.205 020s
21.6 0.214 0216
23-4 0.223 0.225
25.2 a231 0233
2TO 0239 0239
2RR 0,247 0247
FIG. 2. Temperature distribution at different time values. -- .__.__-.._ ....-.- ---- -A
NUMERICAL SOLUTION OF PHASE-CHANGE PROBLEMS 1831
In order to use in the comparison the analytical tion does not depend on the geometry con-
solution for a semi-infinite body, calculations sidered, extension to multidimensional cases is
were stopped at z = 288000s as soon as the straightforward.
temperature t(L, z) started to change appreciably. As a final remark it is worth indicating that
When two phases are simultaneously present, the assumption of pure conduction in the liquid
as in this case, the choice of the temperature phase is not always strictly correct, but ex-
interval in which freezing is assumed to take perience has shown that for design calculations
place becomes critical. Numerical calculations an equivalent thermal conductivity dependent
have shown that good results are obtained only on the Rayleigh number can be used when
if the phase change interval embraces at least convection is of importance [14], avoiding thus
2-3 nodes of the network along the x-axis [22]. changes in the problem formulation.
Table 2
t(x. T) (“C)
An. sol. Num. sol. An. sol. Num. sol. An. sol. Num. sol.
Technical Meeting of the Petroleum Society of CIM, 17. M. LEES, A linear three-level difference scheme for
Calgary (1970). quasilinear parabolic equations, Maths. Comp. -20,
10. A. FASANOand M. PRIMICERIO. Convergence of Huber’s 516-522 (1966).
method for heat conduction problems with change of 18. A. V. LUIKOV, Analytical Heat Diffusion Theory.
phase. 2. Anyew. Math. Mech. 53. 341-348 (19731. Academic Press, New York (1968).
II. A. K. FLEMING,The numerical caiculation of freezing 19. J. C. MUEHLBAIJER and J. E. SUNDERLAND,Heat conduc-
processes, Vol. 1, Thesis for the Technical Licentiate tion with freezing or melting Appl. Mech. Rev. 18.
Degree. TheTechnical UniversitvofNorwav. , Trondheim 951-9.59 (1965).
fi9ii). 20. 0. A. OLEINIK,A method of solving the general Stefan
12. A. FRIEDMAN,One dimensional Stefan problems with problem (in Russian), Dokl. Akad. Nauk SXSR 135,
ilonmonotone free boundary. Trans. Am. j~~aih. Sot. 1054-10.57 (1960).
133.89-t 14 (1968). 21. L. I. RUBINSTEIN.The Stefan Problem, Vol. 27. AMS
13. A. FRIEDMAN,The Stefan problem in several space Translations, Providence, Rhode Island (1971).
variables, Trans. A~)I. Math. Sot. 133, 51-87 (1968); 22. A. A. SAMARSKII and B. D. MOISEYNKO, An economic
Correction, ibid. 142. 557 (1969). continuous calculation scheme for the Stefan multi-
14. W. L. HEITZ and J. W. WEST~ATER.Extension of the mensional problem (in Russian). Zh. i’~hIsI. Mar. Mut.
numerical method for melting and freezing problems, Fiz. 5.816827 (1965).
Int. J. Heat Moss Transfer 13, 1371-1375 (1970). 23. R. H. TIE~Vand G. E. GEIGER,A heat-transfer analysis
15. S. L. KAMENOMOSTSKAJA, On Stefan’s problem fin of the solidification of a binary eutectic system. J. Heat
Russian), Mat. Sb. 53.489-5 14 (1961). Transfer 89, 230-235 (1967).
16. 0. A. LADYZENSKAIA, V. A. SOLONNIKOV and N. N. 24. A. N. TIHONOVand A. A. SAMARSKII, The Equations of
URAL’CEVA,Linear and Quasilinear Equations of Para- Mathematical Physics. 2nd., edited by GITTL. Moscow
botic Type. Vol. 23, p, 449. AMS Translations, Provi- (1953).
dence. Rhode Island (1968).
R&am&-Un schema imp&cite a trois niveaux de temps qui est inconditionnellement stable et convergent,
est employt pour la solution numerique de problemes de changement de phase sur la base d’une representa-
tion analytique de l’effet de chaleur latente par une grande capacite caloritique sur un petit domaine de
temperature. Puisque les coefficients d&pendants de la temperature dans les equations paraboliques resul-
tames sont halt& au niveau intermtdiaire de temps, on peut eviter la resolution compliquee dun systeme
d’equations algtbriques non linbires a chaque pas de temps. Les &&tats numeriques ainsi obtenus sont
compares de maniere satisfaisante aux solutions analytiques connues.
Z~rn~nfa~~g-Ein Drei-Zeiten-E~nen-System. das absolut stabil und konvergent ist. wird fur die
numerische L&sung von Phasenlnderungsproblemen verwendet.
Fiir kleine Temperaturbereiche wird die latente Wlrme durch eine grosse Warmekapazitlt angenlhert.
Die’temperaturabhlngigen Koeffizienten in den resultierenden parabolischen Gleichungen wurden auf
einer Zwischenzeitebene abgeschfitzt, womit die Schwierigkeit, eine Reihe von nichtlinearen algebraischen
Gleichungen bei jedem Zeitschritt zu l&en, vermieden ist. Die so erhaltenen numerischen Liisungen
zeigten mit den verfiigbaren analytischei~ Lijsungen zufriedensteliende ~bereinstimmung.