Professional Documents
Culture Documents
Pages From Free and Moving Boundary Problems by J. Crank (Annoted)
Pages From Free and Moving Boundary Problems by J. Crank (Annoted)
and moving
boundary problems
John Crank
Professor Emeritus
Brunel University
This book is sold subject to the condition that it shall not, by way
of trade or otherwise, be lent, re-sold, hired out, or otherwise circulated
without the publisher's prior consent in any form of binding or cover
other than that in which it is published and without a similar condition
including this condition being imposed on the subsequent purchaser
THIS book aims to present a broad but reasonably detailed account of the
mathematical solution of free and moving boundary problems. The mov-
ing boundaries occur mostly in heat-flow problems with phase changes
and in certain diffusion processes. A free boundary does not move but its
position has to be determined as part of the solution of a steady-state
problem. Seepage through porous media is perhaps the most common but
by no means the only source of problems of this kind.
The broad spectrum of active research workers includes three groups:
engineers and others with practical problems; numerical analysts produc-
ing suitable numerical' algorithms; and pure mathematicians who decide
that certain problems and their solutions exist, are properly posed, and
may even be unique. They also examine the convergence and stability
properties of numerical schemes. A few people fit into all three groups. It
is hoped that this book will help to alleviate the usual difficulties of
communication, between the various interested parties.
. Both free and moving boundaries have been popular subjects for
research in recent years, leading to an almost bewildering collection of
new mathematical methods. This seems to be an opportune time to
attempt a systematic presentation of them. Authors have tended to test
their methods by solving a small number of model problems and so
studies of melting ice, simple dams, oxygen diffusion with sorption, and
electrochemical machining are referred to frequently in this book. The
earliest mathematical work concentrated on one-dimensional problems.
Modern computer developments, however, make it possible to handle
free and moving boundaries in two and three space dimensions and to
model practical systems more realistically. Such methods feature largely
in this volume, though it makes no pretence to be a compendium of
industrial problems.
Parallel studies of the mathematical properties of the differential equa-
tions and their solutions, and of the numerical algorithms, have been
prolific. It has not been possible here to do more than indicate some of
the established results and to' include key references in the extensive
bibliography. A separate volume is needed to do justice to this aspect of
the subject.
vi Preface
It is a pleasure to acknowledge the generous help I have received from
the Leverhulme Trust through the award of an Emeritus Fellowship. I am
grateful to Mrs Lesley Barker who typed the text with great accuracy and
intelligent skill from a manuscript which in parts came near to being
illegible. I have been glad to be able to use the Brunel University Library
and to have expert guidance from Assistant Librarian, Mr M. J. Dorling.
Finally, 1 should like to thank all who have sent me reprints and
unpublished copies of their work, and the staff of the Clarendon Press for
their kind help and consideration.
5. FRONT-FIXINGME1HODS 187
5.1. One-dimensional problems 187
5.2. Body-fitted curvilinear coordinates 192
5.3. Examples of use of body-fitted coordinates 195
5.4. Isotherm migration method 199
5.4.1. IMM in one space dimension 199
5.4.2. IMM in multi-dimensional problems 201
1.1. Introduction
PROBLEMS in which the solution of a differential equation has to satisfy
certain conditions on the boundary of a prescribed domain are referred to
as boundary-value problems. In many important cases, however, the
boundary of the domain is not known in advance but has to be deter-
mined as part of the solution. The term 'free-boundary problem' is
commonly used when the boundary is stationary and a steady-state
problem exists. Moving boundaries, on the other hand, are associated
with time-dependent problems and the position of the boundary has to be
determined as a function of time and space. The terms 'free' and 'moving'
are used in this separate way in this book. Some authors, however, prefer
to include both types of problem under the single term 'free-boundary
problem' and a very few authors have used 'moving boundary' in a
composite sense.
In all cases, two conditions are needed on the free or moving boundary,
one to determine the boundary itself and the other to complete the
definition of the solution of the differential equation. Suitable conditions
on the fixed boundaries and, where appropriate,an initial condition are
also prescribed as usual.
In this book, a free-boundary problem requires the solution of an
elliptic partial differential equation. For a moving-boundary problem the
equation is of parabolic type. The practical applications are mainly but
not exclusively concerned with fluid flow in porous media and with
diffusion and heat flow incorporating phase transformations or chemical
reactions. Many other important free and moving boundary problems
arising, for example, as shock waves in gas dynamics, as cracks in solid
mechanics, or as optimal stopping problems in decision theory have
perforce had to be excluded, in order to keep the book within reasonable
bounds.
Moving-boundary problems are often called Stefan problems, with
reference to the early work of J. Stefan who, around 1890, was interested
in the melting of the polar ice cap. Successive authors have-referred,
2 Moving-boundary problems: formulation
somewhat indiscriminately, to Stefan's publications. Stefan (1889a) de-
rived the large latent-heat approximation given in eqn (3.158). In his
paper (1889b) he extended this solution to include a time-dependent
surface temperature. Stefan (1889b) also quoted the error-function type
of solution discussed in §3.2 for the single-phase problem, and derived
the associated subsidiary equations (3.14) and (3.15), together with a
further second-order approximation of (3.14). In the same paper, Stefan
also pointed out that if a semi-infinite liquid solidifies in such a way that
the solidification boundary proceeds at a constant rate, the temperature,
u, can be expressed in the form
u = A(ea t - m X - l ) l a ,
where A, a,' and m are constants, and the velocity xlt of solidification is
aim. The full solution is quoted in eqn (3.183). Finally, Stefan (1889b)
developed a general solution in the form of two Taylor series. The whole
of this paper published in 1889 is reproduced in Stefan (1891).
Surveys of the early literature with numerous references dating from
the time of Stefan have been written by Bankoff (1964), Muehlbauer and
Sunderland (1965), and Boley (1972). Rubinstein's classic book (1971)
gives a systematjc presentation of the mathematical developments in
Stefan problems up to that time. More recent surveys are given by
Furzeland (1977a), Hoffman (1977), Fox (1979), and Crank (1981), all
with useful bibliographies. Reports on several conferences (Ockendon
and Hodgkins 1975; Wilson, Solomon, and Boggs 1978; Furzeland
1979a; Magenes 1980; Albrecht, Collatz, and Hoffman 1980; Fasano
and Premicerio 1983) contain up-to-date accounts of mathematical de-
velopments and of wide-ranging applications to problems in physical and
biological sciences, engineering, metallurgy, soil mechanics, decision and
control theory, etc. which are of practical importance in sundry industries.
U
u,
Ice
0'------'"'--------
X"".,S(T) x
A DI F
I
I
Water
0'/ Ice
"CO/
1;./
",,,,/ ""
B c E X
FIG. 1.1(b). Path of melting interface
\
\ ---
If U(X, T) denotes the temperature distribution in the water- at time T,
the problem is to find the pair of unknowns U(X, T)-and SeT) by solving
the heat-flow equation
au a2u
U 1 = U2=0, } ,(1.8)
K2
au2 _
ax K1
w.,
ax -Lp dT'
dS X=S(T)
(1.9)
and for the time being volume changes on melting are assumed negligible,
i.e. ice and water have the same density P, so that P1 = P2 = P (see §1.3.4).
u=o
(1.10)
which is (1.9).
The constants 8, 'Y are characteristics of the material and their assump-
tion of 8 constant implies a uniform packing of crystals throughout the
mushy region. Energy conservation then leads to
Generalizations of the classical Stefan problem 7
U 2=(32(T) a~
ax + a.2(T), X=b 2, T>O, (1.17 )
(1.20)
where 'Yi = Kt/(AKo). When the heat parameters are not constants, e.g.
K; = Kt(Ut, X, T) as in §1.3.1, the corresponding non-dimensional
parameters are also functions of the variables, e.g.
(1.31)
10 Moving-boundary problems: formulation
1.3.4. Density change and convection
The physical derivation of the Stefan condition (1.10) in §1.2.3 is a
particular case of conservation of energy in which both phases are
assumed to be incompressible and at rest. More generally, across any
phase-change boundary energy, momentum, and mass must be conserved.
For the case of two incompressible phases, onesolid and one liquid, of
different densities PI and P2 respectively, the mass condition can only be
satisfied if the liquid phase moves with a velocity v given by
x = set). (1.32)
°
described in §1.2.1 and Fig. 1.1(a), the water formed on melting stays in
position with its outer surface at x = and occupies the region previously
occupied by ice. In the case of an ablating sheet of ice the melt is
continuously and immediately removed from the surface and the receding
outer. surface of the ice forms the moving boundary. Ablation occurs if a
solid is melted by a hot, well-stirred fluid through which the temperature
is everywhere uniform. Andrews and Atthey (1975 a,b ) describe the
formation of a hole in a metal by evaporated ablation produced bY., a
high-power laser beam (see §3.6.5(i)).
In general, in one dimension, the heat input, q(t), to the solid is
prescribed on the unknown ablating boundary x = set). This is a one-
phase Stefan problem. For the ablation of a slab originally occupying the
space O~x~f and with heat, q(t»O, falling on the surface, initially at
x = f, the equations have the form
au a2 u (1.34)
ai='ax 2 ' o<x<s(t),
• au·· ds
u = get), a~ = A dt + q(t), x = set), (1.35)
x -u, x-.e.
12 Moving-boundary problems: formulation
and appropriate initial conditions, where 11(T), liT) are given functions.
An inverse problem would be to find 11(T), 12(T) such that a prescribed
motion $(T) is produced. The automatic, real-time control problem
posed by this inverse situation is of practical importance, e.g., in steel
casting, and is elaborated by Hoffman and Sprekels (1982) 'who present
numerical solutions. A wider survey of the application of control techni-
ques to parabolic systems is given by Hoffmann and Niezg6dka (1983).
Heat
flux
FIG. 1.3(a),(b). The wall before and after the appearance of the liquid phase
(c) I Tv<T<T[ I
au=0
ax'
X
=0, T>O, (1.41)
14 Moving-b?undary problems: formulation
au X=a, (1.42)
K1ax=F(T),
K
au X=a, (1.43)
2ax=F(n,
(1.44)
(1.45)
(1.46)
Here L m , L; are latent heats of melting and vaporization respectively.
Numerical methods used by Bonnerot and Jamet are discussed in §4.3.3.
Tayler (1975) discusses the degeneration of phases in a slightly more
general way.
~---r,::"-_--------....---,,,c
O<x<s(t), (1.47)
s(t)<x<l, (1.48)
aU2_ au l..:.. ds
'Y2 ax 'YI ax - dt '
aC2 aCI ds x = s(t), (1.49)
{32~- {31 ax = (CI-C~ dt'
UI U2 g, CI = cs(g), C2= CL(g),
i = 1, 2, (1.50a)
where ~ are given functions of x, Pi> and <f>{s(t), p(s(t), t)} is known,
together with specified initial values of Pi> i = 1, 2, at t = 0, PI(O, t) and
pil, r) given functions of time, and s(O) = So, 0 < So< 1. Muskat's general
problem is not pursued further in this book but a particular case of the
motion of two immiscible fluids is considered in §2.12.1 in relation to the
flow in a Hele-Shaw cell.
au
pc-=V(KVu)+Q, i = 1, 2, O<t<T, (1.51)
at
O<t<T, (1.52)
(1.53)
Generalizations of the classical Stefan problem 17
and
(1.54)
u(x, 0) == uo(x),} t == O.
(1.55)
f(x, 0) == fo(x),
as)Z+ (as)Z}
{1+ (-ax - \'K-
aulz ==-pL-,z==s(x,y,t)
as (1.56)
ay az I at
for the case q = O. This relationship connects explicitly au/az with deriva-
tives~ of the moving-boundary surface f(x, t) == 0 written as z == s(x, y, t).
Similar relations hold for the other two components au/ax and au/ay.
Patel's derivation of (1.56) for q == 0 is as follows, denoting temperatures
by ~, i = 1, 2, and considering the three-dimensional case in which the
18 Moving-boundary problems: formulation
moving boundary is given by f(x, y, z, r) = O. Thus we have
K aU I _ K aU2= i» (1.56b)
I an 2 an P m
on f(x, y, Z, t) = 0, (1.56c)
I"v f l vn = (....
<,
af+.Jaf+
IX+JY+ k z.)(.1- - k -of) = - -
ax ay az
of,
at
and similarly for IV~I Vn. so that
Vn = -(af/at)/Ivfl = -(a~at)/lv~l. (1.56g)
Using (1.56e,g), eqn (1.56b) becomes
KIVU I' Vf-K2VU2' Vf=-pL(af/at), (1.56h)
and by differentiating (1.56a), (1.56c) we find
a~ of/ax a~ a~ af/ay a~
(1.56i)
ax = af/az az ' ay = af/oz az '
and hence by substituting (1.56i) into (1.56h)
After the surface X = 0 has been sealed, the position of the receding
boundary is denoted by"Xo(T) and the problem to be solved becomes
ec ec
aT=D ar-:- m , O~X~Xo(T), (1.57a)
T=O, (1.60a)
O~x ~s(t),
2c
ac = a 2 -1 (1.57)
at ax '
O<x <s(t),
oW
w =q(t), ax =-qs+ g, x = s(t),
oW .
ax =f(t), x=O, t>O,
I
Gupta (1972a) coupled with (1.58) means that c is not differentiable at
x = 0, t = O. The Schatz substitution, w = ae/at, reduces the system (1.57-
60) to
Outer tissue
boundary ro
4 t-1 1
p = (t+ 1)0.7+(t+ 1)2+ (t+ 1)6'
P = (3 + cos 8)/(t + 1).
Finall)' Galib et al. (1981) used the truncation method of Berger et al.
(1975)' described in §6.3 to obtain numerical solutions for c(r, 8, t) and
p(8, t) for the functions fer, 8, c) derived by their inverse method. The
numerical results checked satisfactorily with the analytical expressions
and in some cases with experimental data available.
x<O,} ( (1.77)
x >0, f1(0) = f2 0) = 0,
U
*( .
x, t, s -
)_{U1((x, t),) x~s(t)
(1.78)
U2 x, t , x >s(t),
and assumed (1.76a) so that
U*(s(t), t; s) = O. (1.79)
In -oo<x<+oo, for the solution uo(x, z.r) of equation (1.70) together
with (1.74) and (1.73) written as uo(x, 0, t) = u*(x, t; s), and assuming
f{x, z) is continuously differentiable with respect to z, we can write
where Nand G are the usual Neumann and Green functions in the
quarter plane i z > 0, t:>; O. After integrating by parts the last integral in
26 Moving-boundary problems: formulation
(1.80) and putting
i = 1, 2, (1.82)
. where i=1 in -oo<x<s(t), i=2 in s(t)<x<oo, t>O, and
0.8
0.7
uo(x,y,O)
0.6 0.5
0.5
0.4
!------3IIo-y
0.10
0.4
.~--- l
~_~2
.--:.-...... l
5
-0.1
parameters. Thus in Fig. 1.8, ex = 12.5 and (3 = 1.0. For ex = 1.0, (3 = 0.1
there are no oscillations and temperatures vary monotonically. These are
provisional results and further studies are needed for a complete under-
standing of the causes of the oscillations.
Rubinstein (1980a) analysed a similar axially symmetric model problem
in which hot liquid is injected into the oil-saturated porous layer, the
concentrated capacity, through a well of infinitely small radius along the
axis r = O. Allowing for symmetry about z = -h, the porous layer occupies
the space O~r<oo, -h<z<O and the impermeable medium is in O~r<
00, 0 < z < 00. The melting interface where u = Urn = constant is defined by
r=R(t), -h<z<O, and divides the porous layer into two parts O~r<
R(t), R(t)<r<oo, indicated by i = 1, 2. The liquid-densities on the two
Generalizations of the classical Stefan problem 29
sides of the interface are the same but the specific heats have different
constant values. The following non-dimensional system of equations
specifies the problem:
UO zz = UO t , O<r<oo, O<z <00, t>O,
Uirr +(r':"-2v)r-l~r + (3uo z Iz=o= ~t, t>O, i = 1,2
Ul(O, r) = h(t), the temperature of the injected liquid, t>O,
~(R(t), t)=O, i=1,2, t>O,
uo(r, 0, r) = ~(r, r), i = 1, 2,
~(r, 0) = :h(r), i = 1, 2; uo(r, z, 0) = fo(r, z),
R(t) = u2r(R(t), t) - ulr(R(t), t), t > 0; R(O) = R o> 0,
and foz(O, 0) = 0; flr(O) = 0; fo(r, 0) = :h(r), :h(Ro) = 0, i = 1, 2; fl(r) >0,
fir) <0; :h(0) = 0, i = 1, 2;{3 = constant >0.
Rubinstein, Geiman, and Shachaf (1980) used the same type of proce-
dure as for the plane case discussed above to obtain numerical solutions
for the axisymmetric problem, except that iteration was found to be
unnecessary for the parameters chosen. No special features were noted.
Rubinstein (1979) formulated' a concentrated capacity problem which
he considered to be a better" description .9f the practical oil production
process. No analysis or numerical solution was attempted.
2. Free-boundary problems:
formulation
2.1. Introduction
THE problems introduced in this chapter are not time dependent as in
Chapter 1. Typically, a free-boundary problem consists of a partial
differential equation of elliptic type to be satisfied within a bounded
domain together with the necessary boundary conditions. One section of
the boundary, the free boundary, is unknown and must be determined as
part of the solution. To make this possible, an additional condition has to
be specified on the free boundary.
Flow through porous media is an important source of free-boundary
problems, most frequently in relation to seepage phenomena that occur in
nature. Examples are seepage through earth dams; seepage out of open
channels such as rivers, canals, 'ponds, and irrigation systems, or into
wells. Practical interest in free-boundary problems, however, is not con-
fined to natural seepage but extends for example to topics in plasma
physics, semiconductors, and electrochemical machining.
Free boundaries arise in porous flow when the porous medium is
occupied by two fluids separated by a sharp interface, which is the free
boundary. Water/air interfaces are the most common, but water/water
vapour, oil/water, oil/gas, and salt water/fresh water interfaces are also
important. The assumption that a sharp interface exists implies that the
porous flow is saturated, i.e. any particular part of the porous medium is
either saturated by one fluid or contains none of it, so that there are sharp
interfaces, the free boundaries, between the regions occupied by the
different fluids. For example, in a saturated water/air flow anyone
portion of the medium is either wet or dry. Free-boundary formulations
of porous flows can therefore be regarded as approximations to partially
saturated flows in which the fluid content of part of the medium may be
between none and the maximum value corresponding to saturation.
Sometimes, comparisons between the mathematical solution of a free-
boundary model and the solutions for corresponding partially saturated
flows can indicate whether the assumption of saturated flow is justified.
Comprehensive and directly relevant reviews of free-boundary prob-
Simple rectangular dam 31
lems, mainly in the context of saturated porous flow, and their solution
are given by Baiocchi et al. (1973a), Cryer (1976a,b), and Bruch (1980),
and each of these is a valuable source of other more detailed references.
Cryer prepared a series of surveys on various aspects of free-boundary
problems including Cryer and Fetter (1977), which dealt with the varia-
tional inequality solution of axisymmetric porous flow in well problems.
Cryer (1977) compiled a bibliography of free-boundary problems with
five appendices. Standard references for background information on
porous-flow problems are Muskat (1937), Polubarinova-Kochina (1962),
Harr (1962), and Bear (1972). Cryer (1976a) gives more specialist
references.
In this chapter several free-boundary problems are formulated
mathematically and their physical origins are introduced briefly. Discus-
sion of methods of obtaining mathematical solutions is deferred to
Chapters 7 and 8 for the most part.
Q
D/Seepage
Seepage / surface
region
c Y2
A B x
-XI---
p +y (2.5)
pg
so that
q=-grad </> and (2.6)
where q = ILq1/kpg, a modified flow rate.
The seepage region is bounded by parts of the walls of the dam AF and
BD and its base AB but also by the free surface FD whose shape and
position are to be determined, including the location of the 'point of
detachment' D on the wall BE. The part of the boundary CD, known as
the 'seepage surface', must exist for physical reasons.
The conditions to be satisfied by </>(x, y) on the different parts of the
boundary of the region n are derived as follows. Since there can be no
flow across an impervious surface the normal derivative a</>/an must be
zero on any such surface, e.g. on the base AB, a</>/ay = 0. Since the free
surface FD is the interface between the water in flow region n and the air
above, into which no water penetrates, the condition a</>/an holds on FD
also. The second condition on the free boundary is that pressure must be
continuous across it. But outside the flow region and above the two
reservoirs the pressure is constant and may be taken to be zero. Putting
Simple rectangular dam 33
(1980) used monotonicity to establish upper and lower bounds for some
free-boundary problems.
Finally, because the base and the free surface are streamlines they
define a stream tube through any section of which the fluid flow is the
same. In particular through any vertical section of the dam we have a
constant flow rate given by
f (X) a
- - cf>(x, y) dy = constant = q (2.14)
[
ax
and sometimes referred to as the 'discharge'.
(2.20)
Furthermore, substitution of
I {«;(x, Tf) - Tf} dn
wx(x, Y)=fx(x){«;(x,f(x))-f(x)}+
f (X)
I
y
cf,x(x, Tf) dn
=
I cf,x (x, Tf) dn,
(2.23)
Simple rectangular dam 37
after integration by parts and noting that <I> vanishes together with all its
derivatives on FA, AB, and BC and that W vanishes on FD. Now
substitution from (2.22), (2.18), and (2.25) into (2.26) gives
l
Y1
onAF, 4>(0, y) = Yb w(O, y) = (Yl -1)) dn = 1(Yl- y)2,
(2.29)
where q is the flow rate through the dam and is independent of x. Using
°
(2.29) and (2.30) with Y= shows that
Wx = -1(yi- Y~)/Xb
and on integration with respect to x, remembering that at x = 0, w(O, 0) =
1Yi, we have finally
onAB, cby(x, 0)=0, w(x,0)=1yi-1(yi-Y~)X/XI. (2.34)
The properties of W and the equations in (2.28) can be expressed by
the following differential equation and inequalities in the domain D:
w(1-V2w)=0,
1-V2w(x, y)~O, w(x, y);;, oJ (2.35)
a(w,v-u)= JJVW.V(V-U)dXd Y
D
J
= J{Wx(Vx-Wx)+Wy(Vy-Wy)}dX dy (2.37)
D
and
J
(V-W)=- J(V-W)dX dy. (2.38)
D
J J{V{3 . Vw} dx dy + J J {3 dx dy
D D
since W=0 in 15-0. Defining <I>(x, y) = Sb (3(x, 1)) dn and hence (3(x, y) =
<l>y (x, y) and noting that <I> vanishes together with all its derivatives on
FA, AB, and Be while W vanishes on FE, the argument leading to
equation (2.26) above gives again
D D
Substituting from (2.18) and (2.22) in (2.40) and repeating the derivation
of (2.27) leads to
J J {V{3 . Vw} dx dy
D
=- i (3Xn dx dy. (2.41)
-JJ(W~+W;)dXdY- JJWdXdY
D
where D is the fixed domain of the whole dam. Baiocchi (1980a) finds
this problem to be well posed, that existence and uniqueness can be
proved, and that numerical solution is straightforward.
Baiocchi's extensive list of references gives a good impression of the
wide application to which his transformation and method have been put.
(2.46)
r
l~~x
FIG. 2.2. Dam with toe drain
the extended domain 0 < x < XD, 0 < Y< Yl and <b(x, y) is defined by
<b(x, y) = cP(x, y) _ in _O} (2.48)
=y in D-n,
and ~(x, y) by
~(x, y) = l/J(x, y) in 0
(2.49)
=0 in 15-0.
The formulations in terms of cP, l/J, and w are given together for conveni-
ence. The problem is defined in the two ways as follows
V2cP = 0 or cPx -l/Jy = 0, cPy + l/Jx = 0 in n, (2.50a)
cP = Yb W = ~(y - Yl)2 on AF, (2.50b)
cP = 0 on BC, wy = 0 on BC, (2.50c)
cPy = 0, l/J = q, w = !YI - qx on AB, (2.50d)
cP = Y, acPlan = 0 or l/J = 0 on FC, (2.50e)
w = 0 on 15 - 0 including FC. (2.50f)
The condition (2.50c), cP = 0 on BC, follows from (2.5) because it is usual
to put p = 0 on the drain and Y= 0 there; wy = 0 immediately from (2.22).
Furthermore, wx(x, 0) = fbi cPx(X, 'T)) dn = -q, where q is the constant flow
rate through all vertical sections of the dam in n, and so the condition for
w on AB (2.50d) follows by integrating w, with respect to x and ensuring
that w(O, 0) =!Y~ to agree with (2.50b) at Y= O.
The variational inequality (2.36) is to be satisfied by w(x, y) for this
problem. Proofs of this and the uniqueness of the solution are similar to
those for the simple dam. Polubarinova-Kochina (1962) and Harr (1962)
Other two-dimensional dams 43
approximate the flow rate q for this problem by
yi
(2.50g)
q = t+(t2+iyi)P'
where t = AB in Fig. 2.2, and this can be inserted as the known value of q
into the boundary condition (2.50d). We note that this implies the value
w(t, 0) = q2J6 at the point B, where the drain starts. Thus (2.50d) gives
w(t,O)=!Yi-qt at B while (2.50g) yields Yi=iq2+ 2qt , so that w(t, 0)
becomes simply q2J6.
Bruch and Caffrey (1979) used both the finite-difference and finite-
element algorithms (8.90) and (8.91) to solve a typical problem. They
compared their results with the analytical solution (Harr 1962) for two
mesh sizes (see Fig. 8.17(a)).
Before proceeding, it is convenient to comment on the approximate
expression (2.50g) for the flow rate q. It emerges as a special case in a
very lengthy treatment of the much more general problem of a trapezoi-
dal dam with a trapezoidal toe drain due to Numerov (1942) and
reproduced by Harr (1962, pp. 210-26). Sloss and Bruch (1978) give a
more direct derivation of the value w(t, 0) =lq 2 based on Kozeny's
conformal transformation (1931). Its use in the present problem is strictly
an approximation because Kozeny's solution is for a dam with a parabolic
inlet face and a horizontal toe drain. The free surface is also found to be
parabolic but the flow pattern near the toe drain is assumed to be
insensitive to the geometry of the inlet face.
Kozeny's transformation from the z = x + iy plane to the w = eJ> + il/J
plane, suitably adapted for the origin at A in the (x, y) plane (Fig. 2.2)
and with l/J=q along AB is z-t=a[eJ>+i(I/J-q)f so that
x-t=a[eJ>2-(l/J-qfJ, y=2aeJ>(l/J-q). (2.50h)
The condition (2.50e), i.e. eJ> = y, l/J = 0 on the free surface gives im-
mediately a = -lJ(2q) from the second of (2.50h). Since eJ> = 0 on BC
(2.50c) the first of (2.50h) gives
l/J=-[2q(X-t)]l/2+ q onBC, (2.50i)
where the negative sign is needed since l/J = 0 at C on the free surface.
Also, combining (2.50e) with (2.50h) on FC gives x-t = _(y2_ q2)J(2q),
and so
(2.50j)
Finally, the line integral (2.46) taken along the path FCB gives, by using
(2.50i), (2.50j) and l/J = 0, .eJ> = y on FC,
G
D
f
c
C
Y2
X
B
I· Xl
·I
FIG. 2.3. Dam with sheetpile
Other two-dimensional dams 45
[W]6 = - i Y
(cf>-1)) dn = G(YI- y)2]6.
(2.53)
is
-q = I cf>u ~
j=l
<I>.-1J
x
.:l.y, i = 1,2, ... ,N" (2.54)
(2.57)
c/>y = 0, (2.58c)
and (2.51d) by
(2.58d)
The derivation of (2.58c) and (2.58d) is as for (2.51c) and (2.51d) except
that w is taken to have the value ~q2 at B, since the flow pattern near the
drain is similar to that in §2.3.1. Bruch (1980) points out that this
assumption could be avoided by using a compatability condition at B
between the boundary conditions on AB and BC. The variational in-
equality for the present problem is still (2.36) and the rest of the
discussion in §2.3.2 applies. The same numerical algorithm, incorporating
(2.57), was used as described in §8.5.l(iii) by Bruch and Caffrey (1979)
who give graphical results (see Fig. 8.17(b)).
y
E'-----------------E
(2.59b)
Here the flow rate q is again unknown and is contained in the boundary
condition on AB which is
w(x, 0) = -q(x - Xl) +!y~,
(2.59c)
Also
w =!(Y2-yf on Be. (2.59d)
Other definitions in the extended domain D, taken to be the trapezium
AFEB, and conditions on its boundary except AF are as for the simple
dam §2.2.3, but the variational inequality is more complicated. For test
functions vex, y) which agree with w(x, y) on the boundary of D except
AF and otherwise have the properties of §2.2.4, the variational inequality
is
(2.60)
Y2
_ - L -_ _. . L - ~ ' - - ' - - - x
-----Xl------
a(w,v-w)= J J{wx[v-w1+wy[v-w]y
D
and
y2+X2JP
1 f
(v-w)=-
JJ[v-w]dxdy+-X,Yl
D
- -
A
(Y-Yl)(v-w)dy.
(2.60b)
= { {/3[wx-gwy]dY-/3[wy+gwx]dx}, (2.62)
JaD
where g = Yl/Xp, the slope of the inclined face and where again the suffix:
q has been dropped for convenience, i.e. w = Ww For the boundary lines
AB, Be, CE, and EF, /3 = v - w = 0 and so, remembering (2.59a), the
right-hand side of (2.62) reducesto an integral lAP along AF only, given
by
(2.63)
since dx = (Xp/Yl) dy along AF. The second integral over the domain D
Other two-dimensional dams 49
on the left-hand side of (2.62) can be expanded as follows:
and combine (2.63), (2.64), and (2.65) to establish (2.60). We note that
(2.60) is associated with a non-symmetric bilinear form and so this
problem cannot be formulated as a minimization problem. Accordingly,
Baiocchi et ale (1973a) approximated the complementarity formulation as
in §8.5.1(iii) and this is convenient for use of (2.61). The matrix in the
successive overrelaxation method (SOR) with projection is no longer
symmetric but the method is still convergent. Miellou (1971) and Baioc-
chi et ale (1973a) present some numerical results and a, demonstration of
convergence for one particular dam (see Table 8.17).
F (y2+ 2)
(v-w)=-
JJ
D
J
(v-w)dxdY+:A (v-W)(y-Yl)
X
~FYIF dy,
(2.66b)
where now g = vlx. A uniqueness proof was given by Bruch (1980). Sloss
and Bruch (1978) showed results agreeing well with Polubarinova-
Kochina's (1962) analytical solution for one dam and with results of
Jeppson (1968c) and of Shaug and Bruch (1976), who used an inverse
formulation, for a second dam (see Table 8.18 for iteration details).
50 Free-boundary problems: formulation
2.3.6. Dam with sloping base
The two problems depicted in Figs. 2.6(a),(b) are outlined by Baiocchi
et al. (1973a) with references to Baiocchi et al. (1973b) for details. Both
problems are essentially the same for numerical treatment as for the dam
with the slanting face of §2.3.4. Again the flow rate q has to be
determined by a compatability condition. The conditions are W = 0 on FE
and EC (Figs. 2.6a,b); W =~(YI-y)2 on AF; W =~(Y2- yf on BC; WX =
-q on AB.
For Fig. 2.6(a) the variational inequality is
F --------------- E
--
Y31 I Y3
--iL ~~~~~~
I
I
I~ a--~ ------:-------~l x
!4-----Xl------!
and BE are lines on a mesh with increments Ax, ay where Ay/ax = Y3/a.
Baiocchi et al. (1973a) give results for one example of each dam (see
Tables 8.19, 8.20).
The problem of the dam with a sloping base and a sloping inlet face
(Fig. 2.6(c» contains a jump discontinuity in a fixed-boundary condition
which precludes a variational formulation. Thus Baiocchi's transformation
for the problem depicted in Fig. 2.6(c) leads to the equations
V2 w = Xo in D (2.69a)
w=O in D-O, w>O in 0, (2.69b)
WX =-q on AB (2.69c)
wy = Y-Yl on AF, (2.69d)
w =!(Y2-y)2 on Be, w=O on CE and FE. (2.6ge)
The jump discontinuity occurs in the direction of the oblique derivative as
shown by (2.69c) and (2.69d) on AB, AF excluding the end points. In a
manner analogous to the use of an enthalpy function in Stefan problems,
e.g. equations (6.6), (2.69a), and (2.69b) can be combined into the
non-linear equation
(2.69f)
where
H(w)~O, w<O,O~H(w)~l,w=O,H(w)=l, w>O.
r
D
--------------- E
Y3'
--iL-------- ~4'~~_
I~ 0--..-1 ~---o----
-----Xt-----t
and BE are lines on a mesh with increments Ax, ay where ay/AX = Y3/a.
Baiocchi et al. (1973a) give results for one example of each dam (see
Tables 8.19, 8.20).
The problem of the dam with a sloping base and a sloping inlet face
(Fig. 2.6(c)) contains a jump discontinuity in a fixed-boundary condition
which precludes a variational formulation. Thus Baiocchi's transformation
for the problem depicted in Fig. 2.6(c) leads to the equations
V2 w = Xo in D (2.69a)
w=O in D-O, w>O in 0, (2.69b)
Wx =-q on AB (2.69c)
wy = Y-Yl on AF, (2.69d)
w =!(Y2-y)2 on Be, w=O on CE and FE. (2.6ge)
The jump discontinuity occurs in the direction of the oblique derivative as
shown by (2.69c) and (2.69d) on AB, AF excluding the end points. In a
manner analogous to the use of an enthalpy function in Stefan problems,
e.g. equations (6.6), (2.69a), and (2.69b) can be combined into the
non-linear equation
V2 WE H (w) in D, (2.69f)
where
H(w)~O, w<O,O~H(w)~l,w=O,H(w)= 1, w>O.
A discretized form of (2.69f) can be written as {f}-[A]{W}EH({w})
where {f} is the vector containing the known terms from the boundary
conditions and [A] is an irreducibly diagonally dominant matrix with
components O-jj ~O, if j and O-ji >0. Thus
n
'Ji +(1-w)n·.w(~~
W.f· ""'ll q , l'-W "
£..,n ..w(~;t~)-W
""'lJ q ,J n··w(~~·
"£.., ""'lJ q ,J
j=1 j=i+1
-~iWq(r),i
(k+l)
EwH(Wq(r),i,
(k+I»)
i = 1, 2" .. , n. (2.69g)
An outer iteration for q(r) is built into the algorithm as described in
§8.5.1. Thus a non-linear equation is to be solved for w~~rjp for each i
and r, but the solution can be given explicitly because of the definition of
H. The problem has become one of finding w~~rj}) which minimizes the
function
z(x, y) = l Y
+ IX (1 + Y~){Y(x)- yJ{v(x,
1
j(z, z) = J
J[Z(X, y)- z(x, Y(x»)]+ dx dy, (2.71d)
54 Free-boundary problems: formulation
where the domains D h D 2 , D 3 are the parts of D between 0 < x ::::;; XF,
XC::::;;X<Xh XF<X<XC respectively and in (2.71c) and (2.71d), [t]+= t for
t~O, [t]+=O for t::::;;O. The term 'quasi-variational inequality' is used in
this formulation because the function z(x, Y(x)) depends itself on the
unknown function z.
Baiocchi (1975a) gave a derivation of (2.71) which was reproduced by
Bruch (1980). Baiocchi (1975a,1975b), Baiocchi, Comincioli, and
Maione (1975), and Comincioli (1975) established the existence of maxi-
mal and minimal solutions for a range of problems, and Comincioli
(1975) and Baiocchi (1975a) gave numerical algorithms to obtain approx-
imations to them. Uniqueness of the solutions of their quasi-variational
inequalities is conjectured because the numerical experiments showed the
maximal and minimal solutions to be the same (Baiocchi 1975c; Gilardi
1976; Baiocchi, Brezzi, and Comincioli 1976).
The problem of the dam with slanting inlet face §2.3.4 is the special
case Xc = Xl = X~ (Fig. 2.7) of (2.71) and was solved in this way by
Baiocchi (1975a) and Comincioli (1975) who gave algorithms and numer-
ical results for the maximal and minimal solutions. Bruch (1980) indicated
how the quasi formulation can be reduced to the formulation given above
in §2.3.4 when Yx(x) = YI/XF. Baiocchi (1975a) showed how the varia-
tional inequality (2.36) for the simple dam' problem is regained from the
general quasi theory when D is a rectangle.
The dam with vertical inlet face and horizontal base but slanting exit
face also presents a quasi-variational problem. In Baiocchi et al. (1976)
and Baiocchi and Magenes (1974, 1975) the problem is expressed as a
family of variational inequalities depending on two parameters q and the
horizontal distance to the intersection of the free surface with the seepage
face. Baiocchi et al. (1975) solved a quasi-variational inequality for the
dam with both faces slanted on a horizontal base.
In §§2.11 and 8.6 generalized formulations are given of problems in
arbitrary shaped dams by Brezis et al. and independently by Alt who
constructed a general purpose algorithm.
Various aspects of steady flow in a fairly general region, leading to a
truncation algorithm (§6.3), were studied by Rogers (1980, pp. 333-82).
(1982) (see §8.5.2) and was applied to the arbitrary-shaped dam with toe
drain by Bruch et al. (1982).
With reference to Fig. 2.8 the flow domain n is the region AFCBA
defined by O<x~xp, O<y~Y(x); xp<x<xc, O<y<f(x), where y=
f(x) is the free surface and f(xp) = Y p,
f(xd = 0, df(xp)fdx = -1fYx(xp), dffdx = -00 at x = xc.
The solution region n is extended to the known region D, 0 < x ~ Xp,
0< y < Y(x); Xp< x < xc, 0 < y < YP~ i.e. AFEC'. The problem could be
formulated in terms of the velocity potential cP and stream function l/J or
in terms of the Baiocchi variable w(x, y) with equations similar to those
for the rectangular dam with toe drain in §2.3.L
Instead, Bruch et al. (1982) split the domain D into two regions, D<t>
and D w, with a common overlap where D<t> is defined to be the region
O<x~xp, O<y < Y(x); xp<x<g(y), O<y <yp, where x = g(y) is the
equation of the chosen curve 'Y between F and F 1 in Fig. 2.8. This leaves
D w which is the rectangular region FEC'F~, xp<x<xc, O<y<yP and
finally Of.s. is the region xp<x<xc, O<y<f(x). The fixed boundary-
value problem in D<t> is
V2cP = 0 in o; (2.72)
cP = YP on AF, cP = y - wy on 'Y (2.72a)
cPy =0 on AFf, O<x<xPt. (2.72b)
In D w the problem in terms of the Baiocchi variable w(x, y) given by
(2.20) or (2.46) is
V2 w =0 in D-~.s.
(2.73a)
W =~q2+q(XB-X) on F~B, (2.73b)
w y =0 on BC, XB<X<XC' (2.73c)
56 l-rcc-boundar» !Jl'oh!l'IIIS: [ormulation
w= fy
v"(<f> -11) d11 on FF~, (2.73d)
w = 0 in Dw - 0f.s. (2.73e)
w~O in D w, w>O in o., (2.73f)
Thus in D w we have the differential inequalities
w(x, y)~O, and w(l- V2 w) = O.
(2.73g)
The associated variational inequality is
where v agrees with w on F~B and FF~, v = 0 on FE and Ee', and v ~ a.e.
on D w. Bruch and Sloss (1981) used (2.74) to show the uniqueness and
existence of the solution w(x, y).
This is another problem in which the flow rate q is unknown and the
necessary compatability condition similar to that used by Sloss and Bruch
(1978) is
(2.75)
The essential feature of the split domain is that information is inter-
changed between the two domains along the line FF~ and the curve 'Y.
The solution of (2.73) or (2.74) in D w provides values of w to be used in
the derivative boundary condition (2.72a) on 'Y in D4>; and correspond-
ingly the solution of the equations (2.72) yields values of <f> to be used in
the boundary condition (2.73d) in D w .
Bruch, Sloss, and Remar (1982) applied their split-field approach to the
particular example in which Yp = 30 ft, Xp = 30 ft, XB = 60 ft. They took
q(O) = 15 fe/sec per foot depth normal to the plane of flow and q(l) =
where z = g(x, y) is the free surface and <fJ is the modified velocity
potential (2.5). Stampacchia (1974) formulated a variational inequality
and gave existence and uniqueness proofs. Gilardi (1977) expressed a
three-dimensional flow through porous media as a quasi-variational in-
equality and established an existence theorem. Bruch (1980) mentioned
other theoretical papers by Caffarelli (1976) and by Carbone and Valli
(1976, 1977), who considered a three-dimensional non-homogeneous
dam with variable cross-section.
Stampacchia's (1974) formulation, reproduced by Caffrey and Bruch
(1979) and outlined below for the dam shown in Fig. 2.9, is seen to be
closely similar to the two-dimensional rectangular dam problem formu-
lated in §§2.2.1 and 2.2.3. The width of the dam between the impervious
sides is denoted by a, x = <1>1 (y) is the inlet face, and x = <l>iy) the outlet
face. The wetted parts of the inlet and outlet faces of the dam are
denoted by F l , F 2 , and Fi respectively, where
Fl(x, y, z) is defined by x = <l>l(Y), 0 ~ Y~ a, 0 ~Z ~ Zb
(2.77a)
F 2(x, Y, z) is defined by x = <l>iy), 0 ~ Y~ a, 0 ~ Z ~ Z2,
(2.77b)
and
Fi by x = <l>2(Y),
The wetted sides of the dam are denoted by SI and S2 where
y=O, O~Z ~g(x, 0),
(2.78a)
and
y=a, O~z~g(x, a).
(2.78b)
The flow region 0 is defined by <l>1(Y)<X<<I>2(Y), O<y<a, O<z<
g(x, y), and g(<I>I(Y)' Y)=Zf, g(<I>2(Y)' Y)=Z2 as in Fig. 2.9. The Baiocchi
variable w(x, y, z) is defined by (2.76) in 0 and is zero in D-O, where D
is the extended region of the dam up to the height of the inlet reservoir
and is the domain <l>1(Y) <x < <l>2(Y) , O<y<a, O<Z<ZI'
The problem is defined by the equations
V2 cf> =0 in 0
cf> = zIon F l , cf> = Z2 on F 2, cf> = Z on f1,
cf>z=O on the base B, <l>1(Y) <x < <l>2(Y), O<y<a, z=O,
cf>y = 0 on Sf, S2'
cf> = z, dcf>/dn = 0 on the surface Z = g(x, y).
(2.79)
The formulation in terms of w(x, y, z) follows closely the reasoning of
§2.2.3 for the two-dimensional problem. Slightly more detail is given by
Caffrey and Bruch (1979). Thus starting from (2.76) we derive
g (X,y ) dcf> g(x,y) dcf>
wx =
iz dX
- (x, y, 11) d11, wy =
J z
-
dy
(x, y, 11) d11,
W zz = - -
a [q,(x, y, z)]+ 1,
az
(2.81)
rg(X,y){ a2 a2 }
Wy y = J
z
- a1') 2 [q,(x, y, 1'))]- ax2 [q,(x, y, 1')) dr;
a ag
+ ay [q,(x, y, g(x, y))] ay ,
for all functions vex, y, z) with continuous derivatives in 0 and which are
zero near the faces F b F 2, and Fi. Confining attention to the base B of 0
by choosing vex, y, z) = vo(x, y), where Vo has continuous derivatives in B
and vanishes on the curves x = <Pt(y), x = <P2(y), 0 ~ y ~ a, (2.83) reduces
to
f f{-ax
avo 1 0
g(x,y) aq, avo rg(X,y) aq, }
-d1')+-
ax ay
-d1') dxdy=O
ay ,
B
avo- +avo
awo -awol
- d x d y=o,
f f{-
ax ax ay ay
(2.84)
B
for all functions vex, Y, z) satisfying the usual conditions for such test
functions and where v vanishes near the boundaries of D apart from S1
and S2. The proof follows closely that of (2.36) in §2.2.4. Stampacchia
established some of the mathematical properties of w.
In Chapter 8, §8.5.1(ii) contains two numerical algorithms and a
graphical solution for two different three-dimensional dam problems (see
Figs. 8.15, 8.16(a) and (b)). Caffrey and Bruch (1980) treat the same dam
with a toe drain.
------------E
~- ..... x
---.;;.;------=--.- - -- - - - - -- - - - - H
_----- a ------
which can be different. Baiocchi et al. assumed that the distance to the sea
is great enough for the streamlines to the left of GF to be considered
horizontal, and so the velocity potential is constant on GF. The free
surfaces FBI and GB 2 are unknown a priori, including the points BI> B2,
and G. Taking n to denote the flow region to be studied defined by
o<x < a, fix) < Y<fleX), where Y= fleX), Y= f2(X) are the free surfaces
FBI> GB 2 respectively, we note first that fI> f2 are continuous functions in
O~x~a, that fl(O) = Yl, fl is strictly decreasing, and fl(a)~O, whereas f2
is strictly increasing, f i a) ~ 0, and f2(0) = YIIp, where p = 1 - psiPf. The
extended domain jj is the rectangle FEHG. The extension <1> of the
velocity potential q,(x, y) into jj is defined by
<1>=Y, fl(X)~Y~YI> O~x~a, (2.87)
<1>=PY, (1/p)Yl~y~f2(x), O~x~a, (2.88)
and the Baiocchi transformation is w(x, y) = ~1 (q, -11) dn,
The problem can be formulated in terms of q,(x, y) by the equations
V2 q, = 0 in n, (2.89a)
q, = fleX) on FBI, q, = pfix) on GB 2 , (2.89b)
q, = Y on BBl> q, = PY on B2B, q, = Yl on GF,
(2.89c)
iJq,liJn = 0
on FBI and GB 2, (2.89d)
and the conditions for w(x, y) are
w =!(YI-yf on GF, (2.90a)
w = !(1- p)y~ on HB, (2.90b)
w=&(l-p)yilp2+&(x-a)(1-p)yiI(pa) on GH, (2.90c)
w =0 elsewhere on the boundary of D.
62 Free-boundary problems: formulation
for all v with the usual properties and for which v agrees with w on the
boundary of D and also lies in the range in (2.91). The converse is true
and there is an equivalent minimization formulation closely similar to
(2.42), (2.43) for the simple dam. The only difference between the two
problems is the convex space in which w(x, y) is to be found. The
discharge q of the aquifer across any vertical section is given by
f 1( X )
-q =
I
'f2(x)
<PAx, 11) d1'l = Wx along GH
HI
------t------Q--------.~~--~x
Sea
level
hex)
-----L-------...J
~-~----~--'=----X
-r r
D D
'----------~_x
-----L----
- - - - R - - - - -I D
ffkVc/J.VVdXdY=O (2.99)
o
for all functions vex, y) which satisfy the usual general conditions and
which agree with c/J on AB, CD, DE. The solution c/J of (2.99) satisfies
(2.96b), (2.96c), and c/J = y on EA.
Cryer and Fetter (1977) following Benci (1973, 1974) express the weak
problem as a variational inequality. The appropriate Baiocchi variable
68 Free-boundary problems: formulation
defined on the rectangular domain D given by r < x < R, 0 < Y< H is
f (X )
=0 in Dr-Tt, (2.100)
By arguments similar to those used in §§2.2.3 and 2.2.4 Cryer and Fetter
(1977) give the detailed derivation of a differential equation for w(x, y)
and then of the corresponding variational inequality. The formulation of
the well problem finally takes the form
Lw(x, y) = (exp[ ')'(x)- g(y)]wx)x + (exp[ ')'(x)- g(y)]wy)y
= exp]')'(x)] in I], (2.101a)
Lw=O in o-t; (2.101b)
Wx = wy =aw/an =0 on EA, (2.101c)
w(x, H) = 0 on FA, (2.101d)
H
w(R, y)= Jy
exp (g(t))(H - 11 ) d 11 on AB, (2.101e)
hw
w(r, y)= Jy
exp(g(t))(hw - 11 ) d11 on CD, (2.101f)
w ~O in f] provided g'(y)~O.
Introducing functions v(x, y)~O which together with their first deriva-
tives are square summable on D and which agree with w(x, y) on jj there
follows the variational inequality statement
a(w, v-w)+j(v-w)~O, (2.102)
where
and
I
I
I
I
I
I
I Q Ir
Q\IF I
I
I
I
I
I
B 8"
W
M_ 1
.f
l
r/JM
-dr-
r/J-domain
-a [ kll(x, y)-+k
acf> 1ix, y)-
acf>] +-a [ k 2 1 (X,! y)-+k
acf> 2ix, y)-
acf>] =0,
ax ax ay ay ax ay
where for an isotropic medium k ll = k 2 2 = 1, k 12 = k 2 1 = 0, and for a
Heterogeneous porous media 71
y y
where vex, y) has the usual properties in D and vanishes on AF and BE.
If we denote by ill the part of il in D'; and by cf>l the variable cf>(x, y) in
ilb with similar significance for ~ and cf>z, then (2.110) implies VZcf>l = 0
in ilb VZ cf>z = 0 in ~, and also the continuity conditions on HHf , which
are k l acf>l/aX = k z acf>z/ax in Fig. 2.15(a), and k l acf>l/ay = k z acf>z/ay in Fig.
2. 15(b). The usual extension of cf>(x, y) is defined for both dams by
4>(x, y) = cf>(x, y) in 0
.; y in D - 0,
but the details of the rest of the formulation are different for the two
cases.
For the vertical stratification (Fig. 2.15(a)) the Baiocchi variable is
defined as for the simple dam by
~ (k aw)+~ (k aw)= k in n
ax ax ay ay
=0 outside 0,
and the following conditions
W=!(Yl-y)2 on AF, w=!(y~-y)Z on BC')
w =!Yi-qx/k 1 on AH,
1 (2.112),
w =2y~+q(a-x)/k2 on JIB,
w=0 elsewhere on the boundary of D.
Heterogeneous porous media 73
It can be proved that the function- k Sb(x) cf>x (x, 'Y)) dn is a constant,
denoted by -q, where q is the flow rate and
k 1 k 2 (yi - y~)
(2.113)
q = 2[dk2 + (a - d)k 1 ] •
ff k[aw(av
D
_aw)+
ax ax ax
aw (av _aw)] dx dy
ay ay ay
+JJk(V- w) dx dy;3:0.
D
(2.114)
For v(x, y) satisfying the usual conditions in these problems (2.114) has a
unique solution with a continuous first derivative on D. The equivalent
minimum problem is to find w such that J(w)::::;J(v), where
(2.115)
with the usual restrictions on vex, y). There is a unique solution for
w(x, y), continuous on 15.
The equivalent minimum problem this time is J(w)~J(v), where
J(V)=~ I [(:~r +
D
Ii (::rJ d X dy + IIv dx dy.
D
(2.119)
and the variables cf> and t/J can be regained from the solution by using
cf>(x, y) = Y- wy (x, y), t/J(x, y) = ex - wx(x, y) in 0.
Boundary conditions for several values of the evaporation rate c are
given by Pozzi (1974a). He investigated mathematical properties and
obtained some numerical results using the Cryer algorithm.
Pozzi (197 4b) observed that the problem of the dam when there is
infiltration or accretion (c < 0), e.g. due to rain, may not be well posed as
usually formulated and this may be true if the rate of evaporation is too
large. With an impervious base, Pozzi found that if
c
Yl+Y
>(- -
Z)Z_ =C3
b-a
with reference to Fig. 2.1, the free boundary has three line segments:
from (a, Yl) to (a,O), (oc O) to ({3,0), and ({3,0) to (b, Yz), where a and (3
can be calculated explicitly. If c < C3, the free boundary does not meet the
x-axis but is non-monotone in general. Friedman (1976) considered the
more general case which permits a porous base to the dam through which
water can move at a rate lex); if lex) >0 water moves downwards and
upwards if lex) <0, corresponding to a boundary condition (acf>/ay)y=o =
Al(x), a < x < b, A non-negative. Friedman's main result was that if c > 0,
Al(x)~l, Al(x)+C;3:0, and if the free boundary does not meet the axis,
there exists a number a, a-c a-c b, such that f(x) is strictly monotone
decreasing if a ~ x ~ a and f(x) is strictly monotone increasing if a ~ x ~
b; if a <b, feb) = Yz. Jensen (1977) generalized the work of Friedman and
Pozzi and determined regions where f (x) ;3: 0 and f (x) ~ 0; he estimated
the number of sign changes of f(x).
y
F ' ! - - - - - - - - - - -...... E'
Ffr---_
F
1
1 .
Al~---------~~---l
-----a-----.
... x
(2.122)
Comincioli and Guerri set out the boundary conditions satisfied by 4>
and the derivatives of w(x, y) leading after integration to the following
formulation in terms of w(x, y):
w(x, 0) = -qx + d where d = w(O, 0), (2.123a)
O~Y~Yh
2
w(O, Y)=!(Y-YI-Yc?+d-!(Yl+Yd , (2.123b)
w(a, Y)=!(Y-Y2-Yc?-qa+d-!(Yz+yc)2, O~y~yz,
(2.123c)
(2. 123d)
2 2
V w = 1 in 0, V w =0 in D-O, (2.123e)
w>O in 0, w = 0 in D-li. (2.123f)
In (2.123a) both the flow rate q and d are unknown as also is s, the
ordinate of the point C, in (2.123d). These unknown parameters necessi-
tate an extension to previous methods of solution. They reflect the fact
that the points Ff , &, and C, are not known.
If q, d, and S are supposed known, the variational inequality
i- {w.so(Na , j)}<0,
ax
and
.i.
ay
{w.so(Na , j)}< -Ye,
we take S12 = j(S12) hz, with j now the greatest integer for which j(S12) ~
N e and a{w.so(Na, j)}/ay < -Yeo Some interpolated value between S11 and
S12 is then adopted as Sb the value of s to be used instead of So in a
second iteration of the SOR scheme with the compatibility conditions.
A generalized dam problem: a new formulation 79
The process continues till the conditions on cCt and CtE' are simultane-
ously satisfied by a solution w(i, j).
-
a (p + y) = 0 on r 11 (2.129)
av
a
p = - (p+y) =0 on r z, (2.130)
ay
p=</> on I'j, cf>(x,y)=H(x)-y, (2.131)
(2.132)
because no water enters the dam over the seepage face. In the rectangular
dam this condition is imposed implicitly, since p = 0 on I'4 and p > 0 in O.
By the maximum principle, p > 0 on 0, since cf>;::: 0 on f 3 and ap/av > 0 on
I' 1, since v is always the outward normal.
We introduce a test function {(x, y) which is continuous over the whole
of the dam and its boundaries, i.e. over D, and which satisfies { = 0 on f 3,
{;:::o on f 4 . Then
JJVp. V{ dx dy + JJ:; dx dy
n n
z
FIG. 2.18. Hele-Shaw cell
82 Free-boundary problems: formulation
Comparison with (2.2) shows the direct analogy with flow in a porous
medium of permeability a 2 /12, remembering that u and v are mean
velocities in the Hele-Shaw flow.
It remains to examine the conditions on an interface between two
fluids, for example when fluid 1 is being pushed out completely by fluid 2.
The mean velocity Ul in fluid 1, ahead of the interface, is
-a 2
Ul = 12ILl grad(p + Plgy) = grad <Ph
-a 2
U2 = 121-t2 grad(p + P2gy) = grad <P2'
or
as
Vp' Vs =- or Vp' Vl=-l on I';
P =O,Pn =-Vn
at
(2. 140b)
Pn = Q on f I, Pn =0 on T, (2. 140c)
lex) = 0 in Do- (2. 140d)
84 Free-boundary problems: formulation
and
V2u = 1 in D t , l(X)<t<T,}
(2.144)
V2u=0 in Do, O<t<T,
where t = T is the final time at which the cell is completely filled. Thus in
the domain D, u(x, t) satisfies the inequalities
(-V2u-f)~0, u~O,
2
(2.145)
(-V u - f) u =0, on D,
since u(x, t)=O in D-Dt and where f(x)=O in Do and f(x)=-l
elsewhere.
The elliptic variational inequality corresponding to (2.142) and (2.145)
is
J J Vu . V(v - u) dx,
D
dX2~ J Jf(v -
D
u) dx, dX2 + L J
Ot(v - u) ds, (2.146)
where the functions u and v together with their first derivatives are
square integrable in D. There is the equivalent minimization statement
J(u)~J(v), (2.147)
where
J(v)=~ J JIVV\2 d X 1 dX2- J Jfv dx, dX2- LOt» ds.
D D I
The most interesting feature of (2.146) and (2.147) is that time tenters
only as a parameter in Ot and thus the free boundary I', may be found at
any required time t" by solving one elliptic free boundary problem with
Ot = Ot", without the need to determine the solution at times prior to t*.
Mathematical properties of the solutions and their existence, unique-
ness, and regularity were examined by Elliott and Janovsky (1979, 1981,
1983). They expressed (2.146), (2.147) as a discrete linear complementar-
Degenerate free-boundary problems 85
ity problem ansmg from a finite-element discretization and obtained
solutions by using the SOR with projection algorithm described in
§8.5.1(i). They included an error analysis and presented solutions graphi-
cally for two problems: (i) for an elliptic source inside a square container;
and (ii) for the injection of fluid into a mould lying between two
semicircles.
J
= f Jf(V- u) dx, dX2;3: Jf(V - u) dx, dX2'
Dt D
where u and v are, together with their first derivatives, square integrable
in D, v;3:0 in D, and v = W(t) on C. The corresponding minimization
statement is
J(u)~J(V), (2.153)
where
J(V) = &f
D
flvvI 2 dX1 dX2- f
D
Jtv dX1 dX2·
Elliott (1980) proved some regularity results for u(t) and gave some
numerical results obtained by a finite-element approximation to (2.152)
with error estimates. His results for one problem are compared with those
of other authors in Table 8.25.
The second geometric arrangement considered calls fo: the solution of
a two-dimensional planar problem between rectangular electrodes,
theoretically of infinite area. The quasi-steady-state model for this case
88 Free-boundary problems: formulation
formulated by McGeough and Rasmussen (1974) was extended by For-
syth and Rasmussen (1979) to include cathodes which contain insulated
parts. These latter authors also referred to several earlier papers
using different methods of solution, including perturbation techniques for
smoothing problems in which variations on the electrode surfaces are
small compared with the electrolyte-filled gap. Their results for a typical
partially insulated cathode are shown in Fig. 2.2l.
In rectangular coordinates (x, Y), Y= hex) denotes the cathode surface
and y = g(x, r) the anode, which moves towards the cathode with a
4.0......--------------------,
(a)
t-O
t-O.5
2.0
0.01..-----..::::;...-L...-I--l..-'---J.------:=---------'
4.0......--------------------,
(b)
t-1.5
t 2.0
O.O'------"""----'---'---'-.....r.--L---"'------'
4.0..----------------------,
(c)
t-2.5
2.0
where a</>/aY)g denotes the value of the derivative at y = g(x, r), etc.
Forsyth and Rasmussen (1979) confined attention to functions hex),
g(x, t) which approach straight lines of zero slope as x ~ ±oe.
In principle, the solution proceeds in small time steps and at each step
the classical, fixed boundary-value problem defined by v2 </> = 0 and the
boundary conditions appropriate to the time is solved with the anode
treated as a fixed surface. The condition (2.155a) is then used to deter-
mine a new anode surface which becomes the fixed boundary in the next
time step. Forsyth and Rasmussen (1979) used a variational method to
solve Laplace's equation in a transformed domain with straight bound-
aries by using the body-fitted curvilinear coordinates discussed in relation
to Stefan problems in §5.2. The new feature is that the coordinate
transformation is applied directly to the variational integral. These au-
thors presented numerical and graphical solutions for different cathode
shapes.
Later Hansen (1983) was critical of the simple mathematical model
studied in these earlier papers because no account was taken of the flow
of electrolyte between the electrodes. He generalized his integral equa-
tion method (Hansen 1980) (see §8.7.1) in order to deal with practically
realistic geometric shapes, and obtained numerical results which could be
compared with experiments. He concluded that at the upstream end of
the electrode gap the quasi-steady state model, with no allowance for
electrolyte flow, predicts the anode profile reasonably well. In the middle
and downstream regions, however, the predictions are poor because,
Hansen thought, the bubbles of gas, evolved at the cathode and swept
along in the electrolyte, form an insulating screen which reduces the local
current density. More details of the integral equation method in this
context are given in §8.7.
90 Free-boundary problems: formulation
2.12.4. Evolution dam problem
When a dam separates two reservoirs in which the water levels depend
on time the problem is a degenerate one. The velocity potential is
harmonic in the flow region but the free surface varies with time and is
not a streamline. The condition a4>/an = 0 on the free surface is replaced
by 4>t - V4> . Vp = 0. Unsteady flow of an incompressible fluid in a rectan-
gular dam (Fig. 2.22) was studied theoretically by Friedman and Torelli
(1977) and Torelli (1975, 1977a,b); he also allowed for fluid to move
across the base AB, i.e. 4>y(x, 0, r) = -lex, r). Torelli (1977a) used
Baiocchi's approach and formulated the problem in an extended fixed
domain in space and time using the variable w(x, Y, r), where
in the domain 0 < x < X h 0 < Y < Y3, 0 < t < T, where Xl is the width of the
dam, Y3 its height, and T some final value of time t > O. He formulated
differential and variational inequalities and gave some theoretical results.
Friedman and Torelli (1977, 1978) established the regularity and physical
properties of Torelli's solution and proposed a finite-difference scheme.
Transient problems have been studied from the numerical point of view
by several authors including Taylor and Luthin (1969), Cooley (1971),
Neuman and Witherspoon (1971), Verma and Brutsaert (1971), Todsen
(1971), and Neuman (1975). In a transient dam problem, the conserva-
tion condition on the moving interface analogous to the Stefan condition
can be written
(2.156a)
---l...,+--L------~n_..L.----x
al
at = -731 [ -kx axay ax
ap a</>] 1
+ky ay =73[kx(1-</>y)(a y/ax) -ky</>y],
2
(2. 156c)
ap (. ap . ap) (. ax . ay)
- = I-+J- . I-+J-
'at ax ay at at
. ap . ap) (. a</> . a</» (2.156d)
= - ( 1 ax + J ay . 1 ax + J ay ,
is introduced, where V = p in °
and V= 0 in D - 0, where D is the
extended domain 0 < x < a, 0 < y < Y3' The existence, uniqueness, and
regularity of the solution of an appropriate variational inequality for w
follow from the theoretical papers referred to above. Then a priori
estimates and a convergence theorem are established for a finite-element
approximate problem of implicit type but an explicit approximation could
be introduced equally well. The final algorithm involves the iterative
solution of a non-linear set of equations for wij when the mesh point (i, j)
lies in the domain D and a simpler set of equations for points (i, j) on the
bottom boundary. The first case is equivalent to a minimum problem in
one variable and can be solved directly. Values finally adopted at the new
time level incorporate a relaxation parameter of 1.7, though this is not
known to be optimum. Solutions are shown graphically for four different
situations involving rapid raising or lowering of reservoir heights from an
initial steady-state position of the free boundary. A fifth problem starts
from a non-equilibrium free-boundary position specified as
fo(x) = 1 + 0.3 sin 21TX
with Yl(t) = Y2(t) = 0, t ~o.
The extension of the Baiocchi approach to time-dependent problems in
dams of general shape presents difficult quasi-variational problems.
Gilardi (1979, 1980) therefore adapted the formulation of Alt (1977,
1979, 1980a,b) given in §8.6 and of Brezis et al. (1978) outlined in §2.11.
He arrived at the following formulation of the problem: find a pair of
functions (p, X) satisfying
p~O, 0~X~1, p(1-X)=0 in 0,
p =G on :£0' G bounded and ~O on ii,
X(O) = Xo in D,
f [Vp' VV+X(Vy-vt)]dx~O,
n
for any smooth v such that v(O) = veT) = 0', v ~ 0 on :£0'
This variational inequality reduces to that of Brezis et al. (1978) in
§2.11 when V t = 0 and where v and X take the places of , and g. In the
Lubrication cavitation in a journal bearing 93
time-dependent problem the space-time domain !l stands on the area
domain D of the dam and extends over 0 < t < T in time, aD the
boundary of D comprises two parts r 0 and r 1, and 20, 21 are the
corresponding parts of the boundary surface of !l. The function Xo
specifies the initial wet or partially saturated region. The condition p ~ 0
indicates saturated flow in regions where p > 0 but elsewhere unsaturated
flow is allowed. An existence theorem for this evolution problem is
proved in Gilardi (1979).
Visintin (1980a,b) extended his formulation of the stationary problem
(Visintin 1979) to the time-dependent problem with reference to the Fig.
2.17 by introducing a new system of coordinates (~, 1), T) corresponding to
a rotation of 1T/4 in the (y, r) plane, i.e.
(~) =,(:)=(
T t
(y + ;)/v'2 )
(-y + t)/v'2
.
° °
zero pressure so that the inequality p ~ is satisfied everywhere.
Where p > the liquid phase exists and the flow is determined by
Reynolds's equation in two dimensions if, for a thin film, the pressure is
assumed not to vary across the gap. Then the equation is to be solved in
the region AA'F'F (Fig. 2.24), where the x-axis lies along the length of
the cylindrical journal, 6 is the angular distance along the film, and h(6) is
the film thickness, a known function. The liquid region is denoted by 0+,
the gaseous region by 00' and the whole rectangle AA'B'B by 0.
The problem is defined by the following equations and Fig. 2.24:
Lp=V· (h 3Vp)-dh/d6=O in 0+, (2.157a)
p= ° in 00, p= ° on the boundary of 0, (2.157b)
p = ap/an = ° on FF', 6 = sex), (2.157c)
where 6=s(x) is the free surface to be determined together with p(6, x).
The cavitation conditions (2.157c) ensure non-negative pressures. The
conditions dh/d6<O, 6A <6<6c and dh/d6>O, 6c<6<6B ensure that
the free boundary lies above 6 = 6c (Elliott 1976).
Br-------------.B I
p=o Vapour
Liquid
p>o
.:-- x
A I - - - - - - - - - - - . . . . LAI
JJ 3
h Vp . V(v - p) dx dO ~- JJ (dh/dO)(v - p) dx dO (2.159)
n n
for all v ~ 0 in 0, square integrable together with its first derivatives, and
v = 0 on the boundary of 0.
Figure 2.24 refers to a bearing of finite length, - L ~ x ~ L say. If L is
very large so that the pressure variation in the axial direction is small the
problem is treated as one dimensional with p = p( 0) and describes an
infinite journal bearing. Cryer proved the existence of a unique solution
for this case and developed the theory of his SOR algorithm to find
numerical solutions of a discretized formulation.
Meyer (1978d) used his method of lines (see §4.4) to solve the
two-dimensional problem and showed that his solution converged to that
of the variational inequality (2.159). He also stated that the method of
lines could be applied with little change to more realistic technical
problems.
Some unsolved free-boundary problems from the theory of lubrication,
including the conditions on a cavitation free boundary, are discussed by
Capriz and Cimatti (1980).
i: ~j(u-t/J)x;+ i: gj(u-t/J)Xj=O
i,j=l j=l
onannD, (2.165)
= =
for a prescribed g (gj(x)). Here ~ aufaXj etc., x denotes the vector
x = (Xl' X 2 , ••• , Xj, ••• , Xn), and g = (gb g2, ... , &, ... , gn). For the Lap-
lace operator ~j = 1, i = i: ~j = 0, if i, and with g =0, (2.165) is equival-
ent to (2.162). By (2.161), U - t/J = 0 on the free boundary and therefore
grad(u-t/J) is parallel to Va, the unit outward no~al to an. Thus, (2.165)
can be written in the form
[a . grad(u - t/J)- g]. Va = 0 on annD, (2.166)
where a . grade u - t/J) is the vector with components Ii= I ~j (u - t/J)x; with
i = 1, ... , n.
If now we denote by K a set of admissible functions v, which are
square summable together with their first derivatives, and v = 0 on aD,
v ~ t/J in D, we can write
K ={v E HMD): v ~ t/J},
where H~(D) is the usual Sobolev space of functions which are zero on
aD. Then the free boundary problem becomes to find u E K such that
a(u, u-v)~(u-v) for all VEK (2.167)
9H l-rce-bonndnrv IJroh!t'/IIS: [ormulation
where
a(u, v) f
t»
fgrad U • grad v dx dy, (u-v)= f fl(u-v) dx dy.
VERY few analytical solutions are available in closed form. They are
mainly for the one-dimensional cases of an infinite or semi-infinite region
with simple initial and boundary conditions and constant thermal proper-
ties. These exact solutions usually take the form of functions of the single
variable x/t! and are known as similarity solutions. Corresponding solu-
tions which are functions of r/t! only are available in cylindrical and
spherical coordinates. Some similarity solutions have been obtained for
combined heat and mass transfer in a semi-infinite region. A good
collection of similarity solutions and references is to be found in Carslaw
and Jaeger (1959).
X
U2 = - U 2+ B erfc 2(k (3.8)
2t)!'
U1 X
Ul = U 1 erf(a/2kt) erf 2(k 1t)! '
(3.12)
U2 x
U2 = - U2+ erfc(a/2ky erfc 2(k 2t)! . (3.13)
It is now possible to see what initial conditions are satisfied by (3.10) and
(3.13). At t = 0 they give s = 0 and U 2 = -U2 , i.e. the whole region x >0 is
solid at uniform temperature - U 2 • The special case in which the solid is
initially at its melting temperature, so that U 2 = 0, is the single-phase
problem introduced in §1.2.1 and (3.11) reduces to
.\eA2 erf A = U1Cl/(L1T!), (3.14)
where A = a/(2kt). Carslaw and Jaeger (1959, p. 287) show a graph of the
left-hand side of (3.14) as a function of A from which values of A can be
read for any given value of U1Cl!(L7T!). They also point out that for
small values of A, and hence of the right-hand side of (3.14), use of the
first term in the series expansion for erf A gives approximately
(3.15)
The solutions (3.12), (3.13) and the equation (3.11) are quoted by
Carslaw and Jaeger (1959, p. 288). Their solution of the corresponding
solidification of a liquid in x > 0 initially at a uniform temperature above
freezing is deducible by suitable changes of nomenclature.
Carslaw and Jaeger (1959, Chapter XI) also present Neumann-type
solutions for other physically important problems including the region
x > 0 initially liquid and x < 0 solid, the case in which melting occurs over
a temperature range, and three-phase problems. They solve the commonly
neglected problem in which motion of the liquid results from a change of
volume on solidification, due to a difference between the densities of solid
and liquid. As an example they consider the freezing of a semi-infinite
liquid in the region x> 0 when the density of the solid, PI' exceeds that of
the liquid, P2, and both phases are incompressible. Thus the problem is
defined by equation (3.1) in the solid phase but in the liquid phase (3.2) is
replaced by
2u
k a 2+ (PI-P2) dsau2_ au2 = 0
2 x>s(t),
2 ax P2 dt ax at '
(see equations (1.32) and (1.33». On the solidification boundary, x = set),
they take Ul = U2 = UM, together with (3.3). For their solidification prob-
lem, instead of (3.4), (3.5), they have Ul = 0, X = 0, U2 ~ U as x ~ 00. The
104 Analytical solutions
similarity solution based on s = 2A(k It)! leads to the equation for A.
e-)..2 (U - U~K2kte-)..2P12k/P22k2 AL'TT!
erf A. UMKIk! erfc(ApI kl/P2,q) CI U M'
Tf
ret) dtj Joo ret) dt
13
with
and finally
- U ( - U) (2/.J7T)erfc 1J
Ul- 1+ UM 1 {2/.J7T+e(3(erf1J- erf(3)exp((32)}erfc(3
and
as long as Sn-l(t) does not exceed Sn(t). When Sn-l(t) determined by the
free-boundary problem becomes equal to Sn(t), the nth phase has disap-
peared and a new free-boundary problem with (n -1) phases is to be
considered. Similarly, a growing number of phases could be considered.
The first local coordinate {;1(X, r) is simply {;1(X, r) = x, O~x ~SI(t), and
the position of the first moving boundary is denoted by fl(t) in the local
106 Analytical solutions
i = 1, ... , n-1,
fo(t) = 0, i = 1, ... , n-1,
~>o, t=o.
if kn=o,
if kn>O.
and the llj (i = 1, ... , n -1) are the unique solution of the non-linear
equations
au a2u
O<x<s(t), t>O,
iii = ax2 '
au
ax=o, x=O, t>o,
°
The solid initially occupies the region ~ x ~ a, and melting starts at
x = a, assuming <f>'(a) >0, due to heat arriving from the solid. The
boundary condition stipulates that ds/dt is negative which corresponds to
the physical situation that the melting front proceeds in the direction of x
decreasing.
The same system of equations can describe the freezing of a~ liquid
which has a 'negative' latent heat. In order to freeze such a liquid a
°
positive amount of heat must be added. Thus if the region ~ x ~ a were
occupied initially by a liquid with 'negative' latent heat and temperature
u = <f>(x)~O, freezing would start at x = a and progress in the direction of
x decreasing according to the condition at x = a, -au/ax = heat arriving =
rate of freezing = -ds/dt, all in non-dimensional terms. Mathematically
the problem of freezing with negative latent heat is the same as the
melting of a superheated liquid.
The solidification or melting of a supercooled liquid or a superheated
solid respectively, with their possible reformulation as Stefan problems
with 'negative' latent heat, are of wider interest because their mathemati-
cal formulation and solution may be relevant to other physical situations.
For example, if the specific heat is zero in part of the temperature range,
the mathematical treatment may be relevant to certain types of Hele-
Shaw flow with a free boundary surrounding a point sink (Ockendon
1978). These Hele-Shaw flows relate to the motion of a blob of Newto-
nian fluid sandwiched in the narrow gap between two plane parallel
surfaces when further fluid is injected into or withdrawn from the blob
at some fixed point (Richardson 1972). A fuller description has been
given in §§2.12.1 and 2.12.2. Similar mathematical problems also arise in
certain models of electrochemical machining (Fitz-Gerald and McGeough
1969, 1970; Crowley 1979). Further discussions of some numerical
110 Analytical solutions
treatments of problems of this kind are to be found in §§2.12.2, 2.12.3,
and 6.2.7. Crank (1975a, Chapter 13) gives Neumann-type solutions for
several diffusion problems including the general approach by Danckwerts
(1950) which also allows for movement of the medium on one side of the
boundary relative to the other. Mikhailov (1975) obtains similarity solu-
tions of coupled equations for temperature and moisture distributions
together with the position of a moving evaporation front during the
drying of a porous region x >0, and he also studied (1976) the corres-
ponding freezing problem. Tayler (1975) refers to similarity solutions
describing the solidification of an alloy as formulated in §1.3.7 for some
particular initial and boundary conditions. He also remarks on the limit-
ing cases of instantaneous diffusion of heat or material and of no diffusion
of material. Kamin (1976) and Peletier and Gilding (1976) obtain similar-
ity solutions for a non-linear filtration problem obeying aulat =
a2(u m)/ax 2 , m > 1.
(3.16)
(3.18)
where S = RI(Dt)t and R is the outer radius of the sphere. On the surface
Similarity solutions and moving heat sources 111
r = R, cf> has the constant value cf>s, where
cf>s = !qS3 exp(~S2)FiS)+ cf>oo
== qf3(S) + cf>ooo (3.19)
For the corresponding radial cylindrical problem Frank (1950) obtains
the solutions
(3.20)
where Ei is the exponential integral and on the surface of the growing
cylinder the constant cf>s is
cf>s = - ~qS2 exp(~S2)Ei( - ~S2) + cf>oo
== qf2(S) + cf>ooo (3.21)
In the linear case for comparison
fl(S) =!S exp(~S2)Fl(S) (3.22)
and
(3.23)
Frank (1950) tabulates the functions F 3 (s), f3(S), F 2(s), and fiS) and
quotes series and asymptotic expansions for F(s) and f(S) for both the
spherical and cylindrical cases.
Carslaw and Jaeger (1959, p. 295) give similarity solutions in cylindri-
cal and spherical coordinates where the region r < R consists of solid at
its melting point and r > R of supercooled liquid whose temperature
tends to V < the melting temperature as r ~ 00. They also solve a cylindri-
cal problem of freezing by an axial line source.
which also satisfies the initial condition w(x, 0) = U, x>O. Thus, the
condition that the temperature at x = set) is the melting temperature Urn
is, on combining (3.25) and (3.26),
u{s(t), t}+ w(s(t), t) = Urn' (3.27)
which is an integral equation for set).
Lightfoot solved the problem by adopting the similarity transformation
set) = 2A(kt)! (3.28)
and expressing the integral (3.25) in terms of error functions. In terms of
new variables
= (1-Z 2)2
y= xisit), 2 '
(3.29)
T 1+z
(3.25) becomes
2LA
u(x, t)=-.l (II-I~, (3.30)
C7T 2
a 2=K/cp, (3.35)
u = 0, x ;;::::x(t), (3.36)
x(O) = 0, (3.38)
au/ax = get), x = 0, t ;;::::0, (3.39)
t>f(x) (3.40)
au A
ax (x, f(x)) = f(x) , f=df/dx. (3.44)
ag {_pi}
--rexp - x , (3.48)
p2 a
- a
t g(t - T)
().1 exp
(-X2) dr, (3.49)
Jo "1Tt 2
-2-
'4a T
116 Analytical solutions
Use of the condition u(x, {(x» = 0 from (3.41) in 3.49) gives
(-X 2)
i
f (X) g(t-T)
2 --1- exp - - dr
T2 4a 2T
~
=A
i oo
1 [{
{f(x)-{(~)}t exp 4a2[f(x)-{(~)] +
-(x - ~f }
_(X+~)2 }]
+exp { 4a2[f(x)-{(~)] d~, {(x) > {(~), (3.50)
=A it X(t~T) [exp{-[X{t)-x(t-T)f} +
T2 4a 2T
- [X(t) + X(t - T)]2] d
+exp { 4 2 T. T>O. (3.51)
a T
For the case of get) = g = constant, Evans et al. (1950) obtain the first two
terms in a power series solution for x = x(t) i.e.
(3.52)
where
(3.53)
which agrees with the first two terms of a Taylor series obtained by the
same authors for x(t) about t = O. When get) is an analytic function of t,
the first two coefficients C b C 2 in the solution of (3.51) are also shown to
agree with the corresponding terms of the appropriate Taylor series. They
are
C 1 = g(O)jA,
c __ g3(0) g(O) (3.54)
2 - 2A 3 a 2 + 2A .
au
a-+ (3u = f(t), x = ±X(t),
ax
with X(t) = f at t = O. The numerical evaluation of the integral solution
proceeds by a process of successive approximation in which the locus of
the melting boundary is approximated by linear segments in the (x, t)
plane. Later papers by Chuang and Szekely (1972) and Chuang and
Ehrich (1974) deal with corresponding cylindrical and spherical problems.
118 Analytical solutions
An extension to the solidification of iron-carbon alloys is outlined by
Chuang et al. (1975), who give some numerical results.
Hansen and Hougaard (1974) applied Green's functions to obtain
solutions of the oxygen diffusion problem prescribed by equations (1.57)
to (1.60) in §1.3.10. This paper contains useful details of the analysis and
also numerical comparisons with those obtained by Crank and Gupta
(1972a,b). It has the added interest that Hansen and Hougaard treat the
problem in its implicit form (Sackett 1971) in which the moving boundary
condition does not contain the velocity of the boundary explicitly. Their
solution proceeds along the following lines:
A Green's function G defined by
G(x,
, ,
X ,
1
t - r) = 21T.J1T(t' _ t) exp
{(-(x- X')2) (-(X + X')2)}
4(t' _ r) + exp 4(t' - r) (3.55)
a+
-
2G
-aG
=-8(
ax 2 at
x-x ')8 ('t-t)' (3.57)
where 8 is the Dirac delta function, for x and x' ~ 0 and for all t. It also
satisfies the boundary condition
Gx(O, x', t' - r) = 0 (3.58)
for all t and x' > O.
Following the standard treatment of Green's functions the integral
xo<t)
[ G ~2 ac) -c (a- +a~]
2G
Io
t' l -C- -
x2 at
- dxdt
ax 2 at
(3.59)
reduces to
having in mind the oxygen diffusion equation (1.57) and (3.57). But also,
(3.60)
integrating (3.59) by parts and using (3.56), the integral can be written
where t = to(x) is the inverse of x = xo(t), the path of the moving bound-
ary in the (x, r) plane. The first integral in (3.61) and the contribution
from t = to(x) in the second one vanish because of the two boundary
Integral-equation formulations 119
conditions (1.59) and (1.58). On inserting the initial condition (1.60) and
c(x', t') = - rr
then equating (3.61) and (3.60) we find
(3.62)
It follows from (3.56) and (3.57) that
a2G
1
00
G(x, x', t') = [8(x-x')8(t- t')+-2 (x, x', t' - 0] dt, (3.63)
ax
and so (3.62) becomes
t' fXo(t)
c(x', t')=~(1-x')2-
IJ o
G(x,X', t'-t)dx dt
11 11 a
+2
00 2
Integrating the last integral of (3.64) twice by parts with respect to x and
using (3.58) and (3.56) we obtain
t'
Jl
I G(O, x', t' - t) dt +
I
t'
+ G(x, x', t' - t) dx dt. (3.65)
xo(t)
We can now substitute the chosen form of G(x, x', t' - r) from (3.55) and
obtain
where
R(x', r
n=~ {eric[~(~~)~t~:]-erick~t;-_x;)!]+
+eric [~(~~)~t~:] - eric [2~t::;)1 ]}dt. (3.67)
The first integral in (3.65) leads to the second and third terms in (3.66),
after suitable integration by parts, and the second integral in (3.65) leads
to the quantity R(x', t').
If now we were to let x' in (3.66) approach xo(t') and remember from
120 Analytical solutions
the first of (1.59) that c(xo(t'), t') = 0 we would obtain an integral equation
for the function x = xo(t). Hansen and Hougaard (1974) point out,
however, that alternative integral equations can be obtained by differen-
tiating (3.66) with respect to x' or t and in each case putting x' = xo(t').
They decide to use the first of these forms as being simpler than the
second or than (3.66). Writing xo(t), xo(t') as x, x' respectively for
convenience they obtain
1
- VTr
It' (t' -1 t)! { exp [(X-X')2]
0 4(t' - r) -1-exp
[ (X+X')2]}
4(t' _ r) dt.
(3.68)
Once the function x = xo(t) has been determined from this integral
equation, c can be evaluated from (3.66) everywhere in the range
O<x<xo(t) where c(x, 0>0. Hansen and Hougaard (1974) adopt a
simple iterative numerical procedure to find x = xo(t) from (3.68). Writing
ti = ih, where h is a suitable time step, they evaluate the integral by a
standard numerical procedure, actually Simpson's formula coupled with
Newton's three-eighths rule. They express (3.68) as
h = N(h, ~)/D(h, ~) (3.69)
where t. = 1 - xo(ih), and, writing generally h= 1 - xo(jh), i ~ j ~ i,
u« 1 ~i
j~l (~-~), C(~ -~) )- ( 4(~ -~)
t_) aj { U)2
-vi-h 1 -(2-/i-h) 2 }
Vi> Ii = - i.J ---1 exp -exp
J1T ' )
Time x Time x
a Estimated by extrapolation.
which is identical with the solution (3.66) above except for the term
R = R(x', t'). Hansen and Hougaard (1974) used the first three terms in
(3.66) to compute xo(~) for ~ <0.02. For larger times they used (3.72).
Finally, they computed c(x, t) for various values of x and t from (3.66)
and showed that the results are in good agreement with those obtained
from the small-time solution of Crank and Gupta (1972a) given by (3.66)
without the term R(x', t'). Positions of the moving boundary are repro-
duced from Hansen and Hougaard's paper (1974) in Table 3.1, and Table
3.2 shows a selection of their values of c(x, t).
These results are compared with those of other authors in Tables 4.1,
4.2, and 6.6-8.
TABLE 3.2
Values of 10 6c
0.0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9
0.000 500000 405000 320000 245000 180000 125000 80000 45000 20000 5000
0.002 449537 401927 319973 245000 180000 125000 80000 45000 20000 5000
0.010 387162 365072 309949 243275 179804 124986 79999 45000 20000 5000
0.050 247687 240175 218841 186952 148990 109634 72961 42029 18856 4629
0.100 143177 139294 128082 110787 89295 65892 43018 23059 8232 603
0.150 63087 60845 54503 44503 32353 19583 8251 1005 0 0
0.160 48823 46840 41136 32434 21927 11304 2890 0 0 0
0.180 21781 20.287 16066 9942 3523 0 0 0 0 0
0.190 9021 7817 4578 . 799 0 0 0 0 0 0
0.195 2884 1914 32 0 0 0 0 0 0 0
122 Analytical solutions
3.5.3. Embedding technique
A simple example of the meaning of 'embedding' is provided by the
case of a slab of ice melting under the action of heat falling on its surface
and with the water being instantaneously removed on formation. The ice
phase, which decreases in size as melting proceeds, is considered as part
of a larger .slab which retains the dimensions of the original slab of ice
before melting started and therefore has fixed boundaries. The ice phase
is said to be "embedded" in the larger slab of constant dimensions in a
mathematical sense. Clearly, only those parts of the embedding slab
which coincide with the actual ice phase at any time have physical
meaning, and other parts are fictitious. In particular, the outer boundaries
which mark the extent of the initial slab of ice have fictitious boundary
conditions associated with them. Such conditions are not prescribed
directly by the physical problem but must be constructed in a way such
that "the physical conditions prescribed on the moving, melting interface
are satisfied. This is the example that Boley (1961) used in order to
introduce his embedding technique.
Consider a slab of thickness t with surface heating conditions
aTI
K-+ hTI = fl(t), x=O, O<t~tm, (3.73)
ax
aTI
KI-+hITI =0, x=t, O<t~tm, (3.74)
ax
O<x<t, (3.75)
s(t)<x<t, (3.78)
Integral-equation formulations 123
and the following conditions
T 2{s(t), t} = Till' s(t m ) = ° (3.79)
aT2 ds
K-+ hTm = pL- +
ax dt
is». x = set), (3.80)
(3.81)
(3.82)
where set) denotes the thickness of the melted (and removed) water i.e.
the distance the melting interface has penetrated the original slab of ice, p
is density, and L the latent heat of melting.
The solution Tix, r), which has physical significance only in the region
s(t)<x<t, is now extended over the whole region O<x<t and this
extended solution is denoted by T(x, r); thus the solid phase s(t)<x <t is
'embedded' in the fictitious space O<x <to Clearly, T(x, t) will satisfy
conditions (3.79-82) and equation (3.78) will be satisfied in O<x<t.
Condition (3.73) on x = 0, however, must be replaced by
aT
K-+ hT = fl(t) + f(t), (3.83)
ax
where f(t) is an unknown function which, together with set), is to be
determined so that the conditions (3.79) and (3.80) are satisfied. Boley
(1961) invokes the appropriate form of Duhamel's theorem (Carslawand
Jaeger 1959, p. 31), which states:
If v = F(x, r) represents the temperature at the point x and time t in
a solid in which the initial temperature is zero, while radiation takes
place into a medium at temperature unity, then the solution of the
problem when radiation takes place into a medium at temperature
cb(t) is given by
a
i
t
v= cb(A) - F(x, t- A)dA. (3.84)
at
In the present problem we write F(x, t) = To(x, r) which therefore
satisfies the equations:
st; K a2 T o
at=~' O<x<t, t>O, To(x,O)=O, (3.85)
st;
K-+hTo=h, x=O, t>O, (3.86)
ax
st;
KI-+hITo=O, x=t, t>O. (3.87)
ax
124 Analytical solutions
The condition (3.86) expresses radiation into a medium at temperature
unity on the surface x = 0. A standard solution for To(x, r), satisfying
(3.85-7), is easily deduced, for example, from the results of Carslaw and
Jaeger (1959, p. 118), and substitution of F by To in (3.84) gives
(3.90)
_{t-tmf(t _ t )e -s2(t)!(4kt dt = KT
1) I:!,_20 ('TTt)! ierfc (_S_)
1 t! m Vk 0 2.J(kt) ,
1 (3.93)
ti 0
- - -pL-
2.J(kt) dt
(3.94)
Integral-equation formulations 125
The pre-melting solution, T b in this example is
(3.95)
T = 200 (ktm
m K '1T '
)!
becomes
PL m) 2 (3.97)
tm=k ( 0 '
0
g(O) = O. (3.100)
Boley (1961) obtained series solutions of these equations valid for short
times and then proceeded to larger times by using numerical methods.
His short-time solutions are
m {(16 35) m
+2~'1T 3'1T+g ~'1T+m -2" y + ... ,
2 I} 2 (3.101)
2
m (35m 2+2"1) y 3+ ... ,
+ 12~'1T - 8~'1T -m , (3.102)
126 Analytical solutions
and the associated temperature is given by
where X o( T), Yo( T) indicate the extent of melting along the surface in the
X, Y coordinate directions, T is the time after melting commences, and
X o(T) = AT!, Y o(T) = B-r! subject to (X/XO)2 = (Y/YO)2~ 1. The constants
A, B, and A 2 are complicated expressions of c.. C 2x , and C 2 y , where
C -~(I-)
1 -at T 'm
all evaluated at X = Y = Z = T = O.
Boley (1975) summarized investigations of the uniqueness of various
embedding solutions. There is a review by Boley (1978) of important
practical problems requiring further study in Wilson et al. (1978). The
subject of upper and lower bounds for solutions is included. Boley (1963)
in discussing an ablation problem proposed a comparison theorem which
allows upper and lower bounds to be constructed by imposing heat fluxes
on the surface of the embedding body which are respectively always
larger or smaller than the desired flux. An analogous result for a melt that
remains in position was established by Boley (1964). The lack of compari-
son theorems and of solution bounds for problems with variable heat
parameters is noted by Boley (1978) coupled with tentative suggestions
for examining cases of limited variations of heat properties. Bounds and
approximate solutions for linear heat equations with non-linear boundary
conditions are established by Glasser and Kern (1978) who insert physi-
cally sensible inequalities into zero and first-order moments of the heat
equation.
Ferriss and Hill (1974) used an embedding technique to solve the
oxygen diffusion problem set out in equations (1.57-60) of §1.3.10. They
introduced a fictitious condition
ac/ax = f(t), x=1, (3.106)
which replaces conditions (1.59) of the original problem and solved the
linear problem defined by (3.106) together with (1.57), (1.58), and (1.60)
in the embedding region 0 ~ x ~ 1 by using a cosine integral transform.
Substitution of the two conditions (1.59) into the transform solution
128 Analytical solutions
yields a pair of simultaneous non-linear, integral equations for t(t) and
set). Ferriss and Hill employed a standard numerical method of solving the
integral equations starting from a small-time solution
2 -p21T 2 t
-
dIS(t) udx=- (dS-+-(O,t).
au )
(3.108)
dt 0 dt ax
O<x<s(t), (3.114)
where the suffixes 1 and 2 denote the liquid and solid regions respec-
tively. Certain conditions are also specified on x = 0 and €, and on the
melting boundary we have
K aU1_ K aU2_ L ds }
1 ax 2 ax - P dr ' x = s(t). (3.116)
U1 = U2= Um'
Goodman and Shea (1960) solved the pre-melting problem by the heat-
balance method though, of course, standard solutions are readily availa-
ble (Carslaw and Jaeger 1959) for their boundary conditions on x = 0 and
€.
Following the steps outlined in (i-iii) above, (3.114) is integrated from
x =0 to s(t) and (3.115) from s(t) to f to obtain the integral equations
k 1{ ( -au1)
ax s(t)
aU1)}
- (-
ax 0
=
l S
(t )
- d x =d-
aU1
at dt
l S
(t ) ds
U1dx-um-,
dt
(3.117)
k2 { ( -au 2) - (aU2)
ax e
-
ax s(t)
}= I
s(t)
l
- d x =d-
aU2
at dt
I s(t)
u 2dx+urn -ds
dt
. (3.118)
The two heat-balance equations (3.117) and (3.118) have been coupled
together through the melting condition (3.116) to yield (3.119).
Integral-equation formulations 131
Now suitable forms for U1 and U2 are chosen, e.g.
U1(X, t)- Urn: a1(t)(x - s)
+ b 1(t)(x - s):,} (3.121)
U2(X, t)- Urn - ait)(x -s) + bit)(x -s) ,
and the parameters a 1 (t ) etc. determined by satisfying all the boundary
conditions and the melting condition. Proceeding as in the single-phase
problem discussed above the parameters a1(t), ait), etc. are determined
by satisfying the boundary conditions and preserving the heat balance.
Thus, for example, with boundary conditions
K aU 1 =_H aU2 = 0
ax ' x=O; x=t; urn = 0,
1 ax '
(3.122)
Goodman and Shea (1960) produced the differential equations
_ L ds + K 1 d8 1 + K 2 d 82=H (3.123)
P dt k 1 dt k 2 dt '
2(H 1 d8 1)
(3.124)
8 1 =s UK1- 3k 1ill '
(t- s)2d82
82=-~dt' (3.125)
(3.129)
(3.130)
(3.131)
where
H(X,~)={1, x -cx,
0, x>~,
1o
00 (
kiPT
ax
aD
-2 - - xndx=O
at '
n = 0, 1, 2, ... , 2(m -1);
using T = T(x, r) from above leads to (2m -1) equations to be solved for
the (2m -1) unknown d; and qi. Solutions were given for the cases m = 1,
2, 3 and found to provide improved approximations to the exact solution
as more penetration depths were included. No numerical solutions were
obtained for variable thermal properties but the fundamental relation-
ships were set out.
_ K ax ds '
au = L P dt x= So
(t ) , t>. ° (3.136)
s, So x
i = 0, 1, ... ,n,
d
dr
t
[lSi
8;+1
u(~, r) d~+ Uj+l Si+l- UjSi = ] (au) (au)
-k - . + k: - .' (3.137)
ax HI ax J
which, remembering (3.136), takes the special form
where
n-l
L
j=1
~ =SI·
(3.144a)
and
A~ (
i- l (_1)i- j-l (-1)i-l(1 +
L +
Q)) +A'?-
f-'
t j=1 ~ 2Ao t
Table 3.4 shows results obtained when only two sub-regions are used
for different values of the latent heat parameter L/(Us - uo)c. This
method, based on equal subdivision of the dependent variable tempera-
ture, seems a promising one to apply to other heat-flow problems with or
without phase changes.
In a later paper, Bell (1979) applied his spatial subdivision method to
the solidification of a liquid around a cylindrical pipe but did not assume a
similarity solution. The more general equations were solved by a Runge-
Kutta method, and also by a simpler numerical integration algorithm,
starting from a short-time series based on Poots's (1962b) solution.
(J = T-To _ pLk
T= kt }
T F - To' (3 - K(TF - To) , a 2' (3.146)
l=s/a, X=x/a, ¥=y/a,
138 Analytical solutions
the definitive equations may be written
(Po (PO dO
(3.147)
d.KZ+ dy2= dT'
where
Co=o
{3-- t II ee
Co=O
dv ee
-dl= -dXdY. (3.153)
dr Co=O dV dT
A second integral
Co=O
{3::= II {~~)2+~:)2+0::}dXdY
CF=O
(3.154)
Approximate solutions 139
follows by applying Green's theorem to the divergence theorem
(~-1)(y2-1) (~-1)(y2-1»)2
(} = (1-g)+g . (3.156)
e e
o<x<s(t), (3.160)
Consider
(3.164)
U
ds 1 (dS)2
= --(x-s)+- 2
- (x-s). (3.165)
dt 2 dt
Approximate solutions 141
Substitution of (3.161), after differentiation of (3.165), leads to
ds= -1+.J(1+4s)
dt 2s
the negative root being discarded on physical grounds, and finally to the
solution
t = !s + Ii( 1 + 4s)~ - Ii. (3.166)
We note that, in this problem, the steady-state approximation is u = s - x
and ds/dt = 1, which corresponds to the first term in (3.165). For this
term, therefore, a heat balance over the whole solid region is preserved.
Solomon (1978) compared his results computed from (3.166) with
those obtained by Rose (1960) for the same problem based on a weak
solution. Table 3.5 is an extract from Solomon's table (1978).
Solomon, Wilson, and Alexiades (1981) showed that the solution to the
Stefan problem with a convective boundary condition tends to the quasi-
steady approximation as the specific heat tends to zero.
Pekeris and Slichter (1939) study the formation of ice around a cold
cylinder embedded in water initially at 0 °C, starting from an assumed
temperature profile given by
TABLE 3.5
Comparison of t(s) from (3.166)
and Rose (1960)
0 0 0
0.4 0.450 0.466
0.8 1.030 1.034
1.2 1.690 1.681
1.6 2.440 2.394
Yo In Yo+1-YO=-L2
4K It U dt', (3.169)
pa 0
and
where
and lets
(3.172)
Approximate solutions 143
Continuity of u i and of its first derivative are required at x = 4' where u j
also satisfies the heat-flow equation. Also u 1 and UN satisfy the conditions
u(O, r) = uo> 14, - K dUeS, t)!dX = pL ds!dt respectively, where Uf is the
freezing temperature. From a series of recurrence relations for the aj, bj ,
and the assumptions that the Uj are a constant for each j, and that
s = 2A.J(kt), Solomon derives the following transcendental equation for a
root A, which depends on N:
2 2 2
2 f3A
C
L (Uo-Ut> = AN [ 1+3 { 1+ 3~
2A }
]]2
N (
1+ N 2 )
+2 Nfl fi (l+
UA;)]. (3.173)
N
13=2t'=I3+l
0 0 0 0
4 2.404 2.244 2.241
8 4.094 3.708 3.723
12 5.5549 4.928 4.961
16 6.865 6.009 6.058
20 8.085 6.995 7.058
24 9.233 7.911 7.987
28 10.324 8.772 ' 8.860
144 Analytical solutions
for various values of N. Solomon concluded that N = 2 produces accepta-
ble accuracy, though a heat-balance check reveals heat discrepancies for
N = 2 of around 16 per cent for t = 4 rising to 35 per cent for t = 28, but
reducing to 3.6 per cent for N = 4 and only 2 per cent for N = 6 and 10.
Un = G r drJr - - d r.
raUn-1 n>1. (3.179)
J1+ t r l+t at '
U2
"J (r4+~4>2 ) In -;j;+2:-2:
= -\..Il r 4>2 r }
2
4
U 3 -_ G 2{ (164)
5 3 3
+84>r2 r 21 3 -164>r
)In -+"644> 5 2
- -r - }
4> 644>
U, = - G 3 { ~",' + ~",2r2 + ,~r')ln ;
6
+ 278 ,l,.4_.l1...,I,.2
r2_.-L 4 +__
r ,I,.2}
2304'fJ' 256'fJ' 128 r 2304 'fJ' (3.181)
For values of G ~ -1.5 the first five terms are stated by Kreith and Romie
to give the temperature u to an accuracy within one or two per cent of
the exact value.
They plot the required temperature-time histories on the cylinder
surface for values of G from zero to -1.5, i.e. a range of constant speeds
of the solidification front. These are reproduced in Fig. 3.2. They show
that in order to solidify the cylinder completely in such a way that the
interface maintains a constant speed to the end, the surface temperature
has to be raised above the melting temperature. Such a condition is not
allowed for in the problem as formulated in equations (3.174-6). This
behaviour, of course, is a consequence of the speeding up of the interface
as it approaches the centre when the outer surface temperature is
maintained constant.
By the same method, Kreith and Romie (1955) obtain the temperature
profile for a constant-speed solidification front in a sphere expressed as
u =- f
n=l
G n r n+ 1 n ,+
(n + 2). i=-l j=O
f f
(_lY- 1 G i+1 r j - 1</>i+2 2.i+ j ~ ~ .
(z + 2). J.
(3.182)
146 Analytical solutions
0.6
1.5
0.5
0.4
e
~
~ 0.3
I
f-..0
'-' 0.2
0.1
FIG. 3.2. Temperature-time history which must be imposed on the surface of a cylinder
solidifying at a constant rate. Numbers on curves are values of - gcro/L
They plot the temperature-time history on the outer surface of the sphere
(Fig. 3.3) needed to maintain a constant speed of the solidification
boundary. Comments about the final stages of solidification are the same
for the sphere as for the cylinder.
For reference, Kreith and Romie quote the corresponding solution for
a constant-speed interface in a semi-infinite solid obtained by Stefan
(1891), namely
c
-(T-~)=1-~p
(g2CKt
------gCX)
(3.183)
L f pL 2 L'
0.4
e 0.3
~
~
I 0.2
C
0.1
FIG. 3.3. Temperature-time history which must be imposed on the surface of a sphere
solidifying at a constant rate. Numbers on curves are values of - gcro/L
Approximate solutions 147
F=_Klaul=Kl(Ul;-Um> .
ax (7Tk
1t)2erfA.
(3.187)
k, = k i lrr 1
{( U I - ~,J/(U2 - uIS· (3.193)
TABLE 3.7
Values of 104 A, the solution of (3.186), for values of L/C1(U1 - Urn),
kdk z , and p ={(Uz- UnJ/(Urn- Ul)}{(KzczPz)/(KlClPl)}!
L
k 1/k2 p=0.5 p=1.0 p= 1.5 p=2.0 p=3.0 p=5.0 p= 10.0
C1(U1- Urn)
w w
,-'-, ,-'-,
z-o I I I !!.! -0
~dt z-x~ I 11 ~!!.!<V
:(tr~1t
Pre-heating of surface Early development of
to evaporation temperature boundary motion
Established motion
of boundary
hpA8x = W8t,
This speed, dx/dt, is an upper limit for the rate of penetration which will
be approached after a finite time if some conduction of heat into the
material occurs. The coupled process constitutes a Stefan problem in
radial coordinates. First, Andrews and Atthey (1975a) obtained a pertur-
bation solution for a planar evaporating boundary using an expansion
parameter e defined by
(3.195)
where c and L are average specific heat and latent heat respectively and
Tv is the boiling point. They quote physical data to justify taking e small
(s ~0.2). Non-dimensional variables
'=z/f, 7' = vt/f, f, = xu;
are introduced where S is the Kirchhoff temperature variable, z is normal
to the evaporating surface z = x(r), v is the speed of the boundary in the
evaporation-controlled limiting case, and e
is a characteristic length
defined by
f=K/(pCv), (3.196)
where K is an average conductivity over the temperature range (0, TJ.
The problem is then specified by the equations
a0 2/a,2 = ao/a7',
df,/d7'-1- e(ao/a, + 1) = 0, 0=1, (3.197)
0~0,
Ignoring the time for the boundary to reach the evaporation temperature
(which can be shown to be 0(e 2 ) ) the zero-order solution,
~o = 7', (3.199)
comes by integrating the second of (3.198). Taking the Laplace transform
in a frame of reference moving with the boundary and putting 00 = 0,
7'= 0 gives
(3.200)
The first-order equations
iP0 1 /a, 2= aol/a7',
lead to
and hence
11 = 1 + e{erfcG7'1) - ('7T7')-!e-'T/4} + 0(e 2). (3.201)
This solution is a good approximation for 7' = 0(1) but for 7' = 0(e 2 ) its
second term is 0(1) rather than Ote). For small times (3.201) provides an
outer solution which needs to be supplemented by an inner solution that
allows for the pre-evaporation heating of the surface, initially at some
temperature below the boiling point.
During the pre-heating period the heat conduction equation is still the
first of (3.197), which is to be solved for conditions
aO/a'=-l-l/e, '=0
0=0, '>0, 7'=0; O~O, ,~OO, 7'~0.
For very small times, i.e. T' = 0(e 2 ) , the evaporating boundary will have
moved only a small distance from " = O. We therefore temporarily
discard the condition for 'TIb on " = 0 and solve the resulting problem for
Ob on fixed boundaries. Afterwards, the discarded condition can be used
to determine the motion of the evaporating boundary. Thus by taking the
Laplace transform of (3.204) and using the conditions (3.205) except the
one for 'TIb we obtain for the transform, Ob(p),
d 20b/d,,2 = pOb-exp(-,'2/Tr ) + " erfc(,'jTr!), (3.206)
iib = lip, " = 0, Ob ~ 0, " ~ 00.
rs::- 0.6
.Q
·u v = WllpALO +e)1
o
Q)
>
-0
Q)
0.4
.~
";j
E
Z<3 0.2
0.0
e=0.05
e=0.15
~ 0.4
...... ~
o H e=0.25
g ....
:~ ~ 0.3
0-0
0. c
-0 ::s
Q) 0
N.o
~ ~ 0.2
S .:;::
.... tI:S
o ....
Z g,
tI:S
ii> 0.1
(ii) Stefan's problem for a sphere. The determination of the time taken to
complete the inward solidification of a molten sphere, initially at the
fusion temperature, presents mathematical difficulties. For example, the
analyses by Pedroso and Domoto (1973) and by Riley, Smith, and Poots
(1974) break down before the centre freezes. Stewartson and Waechter
(1976) developed a complete asymptotic theory for large latent heat
which adequately describes the final temperature profile and they also
determined the first four terms of the asymptotic expansion of the time to
complete freezing. We outline here the essential features of their ap-
proach. More manipulative detail is given by Stewartson and Waechter
(1976).
n
The liquid sphere 0 =:::; r* =:::; a is at the fusion temperature throughout
and at time t* = 0 the surface temperature is dropped to and maintained
at T~. Convection and density changes on solidification are neglected as
usual, and radial heat flow is assumed. Non-dimensional variables are
defined to be
r=r*fa, s-es»!« t={k(n-T~)fa2pL}t*,
T*-T; r*
8(r, r) = T*- T* a '
F w
where S*(t*) denotes the solidification boundary and K, o, C are heat
conductivity, density, and specific heat respectively. The problem is then
Approximate solutions 157
where aO(t) = aCt) and a(n), n = 1,2, ... , are the successive derivatives of
a function a to be determined. Use of the boundary conditions on r = Set)
leads to equations
and by writing
00 00
-!s~+is~= t-i,
1 1 13 1
s, = 6S o (I-So), S2= -72S~- 360S~+ 20 So , (3.214)
1 607 29 149
S3= 432S6+ 45360S6 11340S~ 11340S~'
with corresponding formulae for ~ The first of (3.124) shows that near
t = i, So = {2(i - t)}l approximately and hence the first approximation to
the time t = tE at which s = 0 and the sphere is completely frozen is tE = i.
The other relationships in (3.214), however, show that the expansions
(3.213) break down when S~""' A-1 and an inner rescaled solution is
needed. The fonn of S; near t = i needed to match inner and outer
158 Analytical solutions
solutions is seen, in terms of 11 = 2(1- r), to be
(3.219)
Starting with the second of (3.219) and putting all terms O(A. -!) to zero
gives Y ~ (2x )!; then from the first equation <I> = (2x)! and '1' follows from
(3.218). The expression for Y is then corrected to include terms O(A. -!)
and the cycle repeated. By taking Laplace transforms of (3.218), Stewart-
nt r
son and Waechter deduce after some manipulation that
(3.224)
as x~o, and
(3.225)
follows from (3.222d) as x ~ O. Inspection reveals that Y 1/YO ~ 00 as
x ~ 0 and it is likely that the expansion (3.221) breaks down when
~ = 0(1), where ~ = A-! In(l/x), which implies through t~e second of
(3.216) that the inner solution fails within a time O(A-l e - A2) of the time
for complete freezing. Subsequent analysis confirms these limits but
meanwhile we can write
!{ 3~
<I>~ (2X)2 1- 2(27T)! +. ..
1 ' -1
2(27TA)! (1 + l' - 61n 7T + ... ) + 0('\ )
(3.226)
1 81 1 1
Y1 ~2x-3+ (2x)!- 90x + 1890x 2+"" (3.227)
where 8 1 = (211T S )!' (3) and , is the Riemann zeta-function, and develop
an expansion for tE in the form
00
with
where
B 1= 2 L: 212
00
n=l n 1T
1
0
00
(a1T )
e-a <l>l 2 2 do;
n
bs = -2 f 1
n=ln 1T ~
2 2 fOOe-a <l>2(
n
:
1T
2) do
2
~ -2-2-
- 1 +-1(2 1TI A)1 L.., sin rntr
r n=l n 1T
OCr, t~=-r+ -
27T)~
(
L -sin2 -nmr
A n=l n 7T
00
2-
aOE~_I+~ln(..!..),
ar (27TA)2 7Tr
which is in agreement with (3.229) when r «. 1, so that a composite
expression for 0E, uniformly valid for all r < 1, is now available. The
boundary condtions which imply OE = 0 at r = 0 and, from the definition
of 0, ao/ar = 0 at r = 0 are seen to be satisfied by (3.232) since the
right-hand side of (3.233) approaches zero as R ~ 00.
Soward (1980) obtained the same key equations for the sphere as
Stewartson and Waechter (1976) by using a method of images which
162 Analytical solutions
by-passed some of their complicated analysis. The minor errors he
referred to are corrected in the above equations (personal communication
from K.S.). Soward also obtained results for the freezing of the terminal
cores of both sphere and cylinder by a new and simpler method based on
a similarity variable.
Davis and Hill (1982) developed a series solution of the sphere
problem after first using a boundary-fixing transformation.
4. Front-tracking methods
where
pix)
~(x)=(x -llj ) P2'(llj )'
and p~( llj) is its derivative with respect to x at x = OJ. It follows that
(4.2)
where
tb(x) = (x - al)(X - a2)
(ao - al)(aO- a~'
and similarly for tHx), t~(x). Furthermore,
2
1d f f(ao) f(al) + f(a2) .
2 dx 2 (ao - al)(aO- a~ + (al - a2)(al - ao) (a2 - aO)(a2 - al)
(4.3)
Figure 4.1 shows the moving boundary at time t = j Bt, when it is a
fractional distance P Bx between the grid lines i 8x and (i + 1) 8x. The
points ao, aI, a2 are identified with the grid lines (i -1) 8x, i 8x, and the
moving boundary itself, and correspondingly f(ao), f(al), and !(a2) with
aJ ~2
J
~I
';;'1
n I
~I
pox :
i-2 i-I HI H2
- ~-1 ~
cPu= -2- (----+ UB )
x=i8x, (4.4)
ax 2 (8X)2 P + 1 P pep + 1) ,
and
a2 U 2 ( UB JI. +2"'i+2
"'i+1 JI.) ,x = (i + 1) 8x, (4.6)
ax 2 = (8X)2 (1-p)(~-p) 1 -P -P
and
(4.7)
These formulae for the space derivatives are used in conjunction with the
usual explicit or implicit replacements of time derivatives in the heat-flow
equation and in the conditons on the phase-change boundary, x = set).
For points other than i 8x, set), and (i + 1) 8x, the usual finite-difference
formulae for equal space intervals are used.
The numerical solution of the one-phase problem, defined by equations
(1.21-6) in Chapter 1, provides a simple example. At the points
8x, 2 8x, ... , n 8x, ... , (i -1) 8x, eqn (1.21) is replaced by the simple
explicit formula
n = 1, 2, ... , i -1,
(4.8)
and, from (1.22), uOi = 1. At the point i 8x, instead of (4.8) we write, using
(4.4),
2 8t (~-1'
~,i+l = ~,i + (8X)2 Pi + i- ~.)
I
Pi ,
(4.9)
The steps in the numerical solution, starting from known values of all
166 Front-tracking methods
~ (ac) = (a 2 ds +(~)
2c)
=0
dt \ax ax x=s dt at ax x=s '
and hence using (4.12) and (4.13), assuming the order of differentiation
by 'x and t can be interchanged, we obtain
a3 c ds
ax 3 = -dt' x=s.
=2
I( p8x )2 +6I( p8x) 3 ds
dt + .... (4.14)
Provided the boundary is not moving too quickly the first term of the
series provides a reasonable approximation and gives
J(2G)
p=~. (4.15)
Once G,j+I has been computed from the equivalent of (4.9), Pj+I follows
immediately from (4.15) and the step-by-step solution can proceed.
Various finite-difference schemes have been proposed for approximat-
ing both the Stefan condition on the moving boundary and the partial
differential equation at the neighbouring grid point. Murray and Landis
(1959) use a lumped-parameter interpretation of the temperatures at
points on a fixed grid. In particular, in the lump containing the fusion
front at any time, they introduce two fictitious temperatures, one ob-
tained by quadratic extrapolation from temperatures in the solid region
and the other from temperatures in the liquid region. The fusion temper-
ature and the current position of the interface are incorporated in the
fictitious temperatures, which are then substituted into the standard
approximation such as (4.8) to compute temperatures Ui,j+h Ui+I,j+h
instead of using special formulae like (4,9). For the motion of the fusion
front an expression analogous to (4.10) is used but based on Taylor
expansions for au/ax. To avoid loss of accuracy associated with the
extrapolation formulae, Furzeland (1977b) suggested using an approxi-
mation for au/ax centred on the moving boundary and containing a
fictitious value of U to be eliminated by use of (4.8), for example.
The advantages of implicit finite-difference replacements of the time
derivatives have been explored by Ehrlich (1958), Koh et al. (1969),
Saitoh (1972), and Bonnerot and Jamet (1974), for example. Meyer
(1976) obtained an O((8t)2) approximation for the movement of the
fusion boundary by using the three-point backward formula
ds 1
- dt = 2 8t (3sj - 4sj _ I + Sj-2) at t = j Bt.
system
O<x<s(t), t>O, (4.16)
An = f(~, tn),
and took ato, ... , atn-h ~.b k = 0, ... , n to be known. Then, for at~) > 0
chosen arbitrarily, they defined U~~+l as the solution of the finite-
difference representation of (4.16-20), namely the case r = 0 of the
general scheme
(r) 2 (r) + (r)
Ui-l.n+l - Ui.n+l Ui+l.n+l
i = 1, ... , n, r~O,
(ax)2
(4.16a)
U~:n+l - U¥?n+l = ax, (4. 17a)
together with U~~l.n+l = 0 from the second of (4.18). The solution pro-
ceeds iteratively by using (4.20a) to correct the assumed time step. The
simplest special forms were used for the interval x = 0 to x = ax. Douglas
and Gallie established convergence and stability of their implicit scheme.
In a footnote they pointed out that the iteration of at would be avoided
by using ~.n in place of U~~~+l in (4.20a) to obtain atn.
Vasilev (1964) and Nogi (1974) extended this method to more general
one-dimensional problems but there is no obvious way of applying it to
two or three dimensions.
Gupta and Kumar (1980) formulated the same set of finite-difference
equations as Douglas and Gallie but they used a difference form of the
boundary condition (4.18) to update at instead of (4.20a), i.e. they took
at~+l) = (axf/U~?n+l based on both conditions (4.18). They thus avoided
170 Front-tracking methods
(4.21)
I /
/ /
/
/
/
(4.22)
and set) is updated at each time step by using, for example, a suitable
finite-difference form of the boundary condition ds/dt = -au/ax on x =
set). The method was extended by Heitz and Westwater (1970) to
convection problems and by Tien and Churchill (1965) to cylindrical
geometry.
Crank and Gupta (1972b) avoided/the complications due to the un-
equal grid size near the moving boundary by moving the whole uniform
grid system with the velocity of the moving boundary. They used this
technique to solve the system of equations (1.57-60) describing the
oxygen diffusion problem. With reference to Fig. 4.3, the moving bound-
ary is at x = 1 at t = 0 and at time lit it has moved a distance E to the left.
The whole grid system is moved a distance E to the left, represented by
the broken grid lines in Fig. 4.3. Thus, the unequal interval is transferred
to the x = 0 end, which is found to be a more tractable region, and the
irregularities in the boundary motion, noted by Crank and Gupta (1972a)
I I I I
I I I I
I Xl I X2 I X n-2 Xn-l I
t=O I
I
I
:I I
I
I
I
I
I
I I I I
I I I I
.....,""1 I
I
I
I
I
I
I I I I
t=11t e
Ie Ie Ie I
:e
X=O .\= I
FIG. 4.3. Moving grid system
172 Front-tracking methods
TABLE 4.1
Free boundary position 104s(t): ax = 0.01, at = 0.001
except for MVTS. The numerical solutions start from the
analytical solution at t = 0.025
Time
TABLE 4.2
Values of 10 4u(0, r) at fixed sealed surface
Time
4.01------, 4.0
1/
(b)
1\
y
II
1\
o
/ x
1.0
pn+l
I
(c)
Thus the elements may be chosen arbitrarily at each time step with no
connection with the elements corresponding to the previous step. This is a
more flexible procedure than the one mentioned above (Bonnerot and
Jamet 1974, 1975), but the general mathematical theory was developed
only for a prescribed moving boundary and no numerical experiments
were reported. Subsequently, Bonnerot and Jamet (1979) proposed a
third-order-accurate discontinuous finite-element method for a one-
dimensional Stefan problem, based on biquadratic finite elements. This
work will now be described in more detail.
Bonnerot and Jamet (1979) solve the following problem:
au a2u
(4.29)
-at = ax 2 '
u(x, 0)= UO(x), O~x~ao, (4.30)
u(O, r) = get), °< t~ T, (4.31)
u(a(t), r) = 0, °< t~ T, (4.32)
da au
-=-c-
dt ax'
x = aCt), O<t~T, (4.33)
-
tn
I
n
1 +
1 a
( t) aq,
u-dxdt+
at
I J°
n
tn
+
1
a(t) au aq,
--::;rdxdt
ax ox
+
r u(x, t"+l)q,(X, t"+l) dx -
r
which relates to the strip t" ~ t « t"+l depicted in Fig. 4.5. If (4.35) is
u(x, t")q,(x, r") dx = 0, (4.35)
Tf
pJ _P~ pi
I
I
I
Y2 I 1'2
Po 1PI"l 1
-----.------< PI/2
I
I
I
1
pO pO
Y2 I
P n+l
('+1 0
An attractive feature of this method lies in the fact that the discretiza-
tion of each strip t" < t ~ t n +1 can be completely independent of the
discretization of the previous strip t n - 1 < t ~ t", For example, the nodes
p~+o in t" < t ~ t n + 1 can be different from the nodes p~ of the strip
t - 1 < t ~ r", In fact, since the line t = r" is not in the range t" < t ~ t n + 1 by
n
definition, the notation U~+O, for example, implies u~+o = lim Uj(tn + 8 ) ,
E > 0, E ~ 0. The number of elements for any strip can also be chosen
independently of other strips. However, in their paper Bonnerot and
Jamet (1979) simply took p~+o = P~. By using Simpson quadrature for-
mulae within each finite element to evaluate the integrals in the dis-
cretized form of (4.35), Bonnerot and Jamet (1979) obtained a linear
Modified grids 177
system of equations with a square matrix. They give details for computing
the coefficients.
In order to gain one order of accuracy, Bonnerot and Jamet (1979)
approximated the derivative au/ax = Du(t), say, in the moving boundary
condition (4.33), as follows. Denote by Vh+ v the function of x obtained by
cubic interpolation of the values ur:: at the nodespr:: for i + IL = I -~,
I -1, I -!, and I. Let (DU)h+ v denote avn+v/ax at the end-point Pr+v and
approximate Du(t) in the interval tn<t~tn+l by the function (DU)h(t)
obtained by quadratic interpolation of the three values of (DU)h+ v for
v = O,!, 1. The moving boundary condition (4.33) can now be discretized.
The curve x = aCt) is approximated by a continuous curve x = ah(t) which
in each interval t" ~ t ~ t n+ 1 is a section of a parabola x = q~n)(t), which
denotes a polynomial of degree ~2 with respect to the variable t. Let
a n+v = ah(tn+v). At each time step, the values of a n+! and a n+ 1 are
computed from the integrated form of (4.33) with respect to t;
(4.36)
system of equations
[M+ 8(tn+1 - fn)K]Qn+1 = R-(tn+1 - fn)S, (4.39)
where
and M and K are the usual mass and stiffness matrices at time level tn+1
given by
Time
I I I I I level
J-4 J-3 J-2 J-l J n+l
, I I I I
Time
level
J-4 J-3 J-2 J-l J n
FIG. 4.6. Halfway position of penultimate mode
180 Front-tracking methods
condition by including in the system (4.~9) the Galerkin equation ob-
tained from using </>,]+1 as a test function. The condition u = 0 was then
used to estimate the boundary position XO(tn+1). The boundary conditions
(1.59) show that the solution in the neighbourhood of the moving
boundary xo(t) is of the form
f(x)=>,,(xo-xf, xo-h~x~xo,
where Q']~t, Q']+1 are the last two nodal values at time tn+1. Miller et al.
described an iterative procedure which they applied to the last p equa-
tions only, keeping Q']~: fixed, since slight changes near the moving
boundary have little effect on the solution remote from the boundary.
Their results compare favourably with those of Hansen and Hougaard
(1974) (see Tables 4.1, 4.2 for one comparison).
Gelinas, Doss, and Miller (1981) describe the automatic solution of
general partial differential equations in one space dimension by a moving
finite-element method. The nodes migrate continuously and systemati-
cally to regions where they are most needed to preserve accuracy, e.g.
X J- 2
(4.43)
(4.44)
where k l , C1> FI> k 2, C2, F 2 may be functions of x and t, e.g. k i = kl(x, r),
etc.
On the free boundary s(t) we have the conditions
aU I aU2 ds
kl - - k 2 -+ A(S(t), t) -d = lLis(t), r), x = s(t), t>O,
ax ax t
(4.46)
where the prime indicates d/dx, 8t = tn - tn-b and where all parameters
are evaluated at t = tn. The functions Vi denote ~ at the previous time
level or their linear extensions beyond their domain of definition in the
neighbourhood of the moving interface. Thus if the boundary is moving in
the direction of x increasing, so that s(tn) > S(tn-l), we use
Vl(X) = Ul(Sn-l)+(X -Sn-l)uHSn-l), x ~Sn-l' (4.48)
A full description of the method of lines applied to the discretized
system (4.47) was given by Meyer (1978c). We require to find the
positions of the moving boundary at successive times t = tn and to solve
the sequence of second-order, ordinary differential equations. The dis-
cretization of the time derivative does not depend on the linear structure
of the equations (4.41-6), and if these equations were non-linear the
usual 'shooting technique' could' be used to solve them. For linear
equations and conditions on the fixed boundaries, Meyer (1973, 1978c)
developed a convenient method of solution by introducing the well-
known Riccati transformations, to be used at t = tn ;
Ul(X) = U(X)<Pl(X) + w(x), }
cP2(X) = R(X)U2(X) + z(x), (4.49)
<Pi = ~(x, tn)U~,
i = 1, 2.
We obtain U, w, R, and z by solving the initial value problems
dU 1 c1if
dx =k 1 - & '
dw Cl
dx = - at U(W-Vl)- UFb
(4.50)
dR C2 R2
dx = at- k2 '
dz = R z- C2V2+ F
dx k2 at 2,
By substituting klU~ and k2U~ from the Riccati relations (4.49) into the
discretized boundary condition in the last of (4.47), we see that the
position of the interface at t = fn is the root x = Sn of the equation
\
with
"I... ( ) 1L1(S) - W(S)
0/1 S U(S) , b 1 <x<s,
from the first equations of (4.47) and (4.49), and Ul(X) follows from the
first of (4.49).
Meyer (1978c) suggested integration of the differential equations by
the simple trapezoidal rule coupled with linear interpolation between
nodal values to locate the x = Sn of (4.51). He discussed the relative
merits of this and more elaborate methods.
Meyer (1977a,b) treated two- and three-dimensional problems by
coupling his one-dimensional algorithms with the locally one-dimensional
methods familiar in fixed boundary problems, e.g. fractional-step methods
in alternating directions (see, for example, Williams 1979).
Thus, Meyer (1977 a) considered the problem defined by
au
V· {K(x, t)Vu}+a(x, t)· Vu+b(x, t)u-c(x, t)-=f(x, r) (4.53)
at
for x = (Xb X2) in the domain D(t), t> to, with conditions u = a (x, r), for
points x on those parts of the boundary aD1(t), t>to, which coincide with
the coordinate axes, and u = go(x, r) for points x on the free boundary
aDit), together with the second free boundary condition
aSl as2)
Vu= ( gl-Al-,g2-A2- . (4.54)
at at
184 Front-tracking methods
The initial value u(x, 0) = uo(x) within the initial domain D(to) is also
given. One half of the equation (4.53) is discretized in time and integrated
in alternate directions, i.e. first
to be discretized in time and integrated over the interval tn+~ to tn+h and
where Xl is now a free parameter. Equation (4.55) is solved N times for N
different values of the parameter X2 = xt
k = 1, 2, ... ,N. These are
uncoupled equations and can be solved simultaneously, followed by the
solution of N equations (4.56) for N different values of Xl = x~, k =
1,2, ... ,N.
Meyer (1977a,b) pointed out that the disadvantage of this alternating
direction method is its inability to track free boundaries which move
essentially along one of the coordinate axes, so that the boundary cannot
be described as an invertible function with respect to two orthogonal
axes. Point sources may also lead to difficulties.
Meyer (1978a) therefore proposed a second method based on the
method of lines combined with an SOR type iteration, where the sub-
sidiary, one-dimensional problems are again solved by invariant imbed-
ding. The free boundary at any given time is visualized as a curve or
surface over a base domain, e.g, z = z(x, y, r), r = r(8, <f>, r) in three
dimensions or y = y(x, r), r = (8, r) in two dimensions. The spacial vari-
ables of the base domain as well as time are then discretized and all
derivatives with respect to these variables are replaced by appropriate
difference ratios. A system of coupled free-boundary problems for
second-order equations in the remaining space variable results. This
system is solved by cycling through it using a Gauss-Seidel or SOR
Method of lines 185
au (x"y,
V2 u--=f t
) in the time dependent (4.57)
at
domain D(t),
u = «(x, y, r) on the fixed boundary aD1(t), (4.58)
g1(X' y, t, u, an
au ,as)
at
= o} on the free boundary aDit). (4.59)
au as
g2( x, Y, t, U,-,-) =0
an at
It is assumed that the free boundary aDit) can be expressed as Y= s(x, r)
and that any line x = constant cuts aD2 (t) at most once. In contrast to the
fractional step method, however, it is not necessary for aD2 (t) to be
expressible as the inverse function x = u(y, r), say. After discretizing time
and x the following equations are to be solved at time level tn:
~~ 1 1
ay2 + (ax)2 (~+1 - 2~ + ~-1) - at (~ - ~.n-1) = f(~, y, tn) in D(tn),
an
-
a~ = {(~+1 ~-1)(Sj+1 - Si-1)_ a~
2ax 2ax ay
(sJ}/{l + (Si+12ax- Si_1)2}!. (4.61)