Professional Documents
Culture Documents
and
B. Straughan ‡
Department of Mathematics, Uni¨ ersity Gardens, Glasgow G12 8QW, United Kingdom
We study the system of equations for flow of a viscous heat conducting fluid
which has dissolved in a salt field. Under the approximation, often employed in the
fluid dynamical literature, that the Prandtl number be infinite, we develop a priori
bounds and we show the solution depends continuously on changes in the Newton
cooling coefficient. Q 1999 Academic Press
1. INTRODUCTION
U
This work was supported in part by NATO Grant Number CRG 910630.
†
E-mail address: ames@math.uah.edu.
‡
E-mail address: bs@maths.gla.ac.uk.
57
0022-247Xr99 $30.00
Copyright Q 1999 by Academic Press
All rights of reproduction in any form reserved.
58 AMES AND STRAUGHAN
T
q k T s F Ž x, t . , Ž 1.1.
n
In this section we study equations Ž1.2. ] Ž1.5. on the domain V = Ž0, Tˆ.
where Tˆ is arbitrary and V is a bounded domain in R 3 with boundary V
smooth enough to admit applications of the divergence theorem. On the
boundary V we have the no-slip condition,
y i s 0, on V = Ž 0, Tˆ . , Ž 2.1.
the temperature field satisfies Ž1.1. with k ) 0, and there is no flux of salt
out of the domain so
S
s 0, on V = Ž 0, Tˆ . . Ž 2.2.
n
Throughout, 5 ? 5 and Ž , . denote the norm and inner product on L2 Ž V .
and 5 ? 5 p denotes the L p Ž V . norm for 1 - p although we omit the 2 when
L2 Ž V . is intended.
The next step is to nondimensionalize equations Ž1.2. ] Ž1.5. and if we let
L be a length scale and if we choose T s L 2rk T and U s k T rL L as time
and velocity scales, then in terms of the Prandtl number Pr s nrk T and
the diffusivity ratio s s k T rk S , Eqs. Ž1.2. ] Ž1.5. become
1
Ž y i , t q y i y i , j . s yp, i q D y i q g i r Ž T , S . , Ž 2.3.
Pr
y i
s 0, Ž 2.4.
xi
STABILITY AND NEWTON’S LAW 61
T , t q y i T , i s DT , Ž 2.5.
s Ž S , t q y i S , i . s D S. Ž 2.6.
In Ž2.3. the expression for r ŽT, S . is also suitably nondimensionalized but
we leave this understood because we wish to leave this function in a
general form.
To study continuous dependence on k we let Žy i , T, S, p . and
Žy iU , T U , SU , pU . be two solutions to Ž2.3. ] Ž2.6. subject to boundary condi-
tions Ž1.1., Ž2.1., and Ž2.2., but for different cooling coefficients k and k U ,
respectively. Define the difference variables Ž u i , u , s, p . by
u i s y iU y y i , u s TU y T , s s SU y S,
U
p s p y p, U
v sk yk, Ž 2.7.
p , i s D u i q g i r Ž T U , SU . y r Ž T , S . , Ž 2.8.
u i , i s 0, Ž 2.9.
u
q y iUu , i q u i T , i s D u , Ž 2.10.
t
s
s ž q y iU s , i q u i S , i s D s.
/ Ž 2.11.
t
These equations hold on V = Ž0, Tˆ. and the boundary conditions are
u s
u i s 0, q k Uu q v T s 0, s 0, Ž 2.12.
n n
on V = Ž0, Tˆ.. Initial conditions are given as
T Ž x, 0 . s T0 Ž x . , S Ž x, 0 . s S0 Ž x . , Ž 2.13.
with ŽT, S . and ŽT U , SU . both satisfying Ž2.13. for the same functions T0 , S0
so that
u Ž x, 0 . s 0, s Ž x, 0 . s 0. Ž 2.14.
ŽFrom Ž2.8. and Ž2.9. p can be found at t s 0 by solving a forced Poisson
equation and then u i Ž x, 0. solved from Ž2.8...
By Taylor’s theorem there are ŽT1 , S1 ., ŽT2 , S2 . such that
r r
r Ž T U , SU . y r Ž T , S . s Ž T1 , S1 . u q Ž T2 , S2 . D s, Ž 2.15.
T S
62 AMES AND STRAUGHAN
5 =u 5 2 F 5 u 5 5 u 5 6 5 r T 5 3 q 5 s 5 5 u 5 6 5 rS 5 3 . Ž 2.17.
Next, for c1 ) 0 we employ the Sobolev inequality,
5 f 5 6 F C1 5 f 5 H 1 ,
5 =u 5 2 F c1 5 u 5 H 1 5 r T 5 3 5 u 5 q 5 rS 5 3 5 s 5 4 4 . Ž 2.18.
´ inequality it follows that
Furthermore, from Poincare’s
l1
5 =u 5 2 G 5 u 5 2H 1 ,
ž 1 q l1 /
where l1 is the first eigenvalue in the membrane problem for V. Thus,
employing this inequality in Ž2.18. we may obtain
5 u 5 H 1 F c 2 5 r T 5 3 5 u 5 q 5 rS 5 3 5 s 5 4 , Ž 2.19.
where
c1 Ž 1 q l1 .
c2 s .
l1
d 1 v2
5u 5 2 F c12 5 u 5 2H 1 5 T 5 32 q E V T 2
dA, Ž 2.22.
dt 2 2kU
d 1
s 5 s5 2 F c12 5 u 5 2H 1 5 S 5 32 . Ž 2.23.
dt 2
1 d
HV T 3n
dx s yk T E V T 3n
dA q E VT 3 ny1
F dA
3n dt
y HV =T ? =Ž T 3 ny1
. dx. Ž 2.24.
3 ny1
1 3n y 1
F F kT T q
T 3 ny1 3n
3n ž 3n k T / F 3n ,
3 ny1
d 3n y 1
T 3 n dx F
dt
HV ž 3n k T / E V F 3n
dA. Ž 2.25.
5 T 5 33 nn F 5 T0 5 33 nn q d1 Ž n . s d 2 Ž n . , Ž 2.26.
64 AMES AND STRAUGHAN
5 S 5 33 nn F 5 S0 5 33 nn s d 3 Ž n . , Ž 2.28.
where the data term d 3 Ž n. is as indicated.
Hence, for a given relation r ŽT, S . we may employ Ž2.26. and Ž2.28. in
Ž2.19. to see there are computable constants k 1 and k 2 , dependent only on
c 2 , d 2 , d 3 , and n Žwhich depends on r ., such that
5 u 5 2H 1 F k 1 5 u 5 2 q k 2 5 s 5 2 . Ž 2.29.
The bound Ž2.29. is employed in Ž2.22. and Ž2.23. together with Ž2.26. and
Ž2.28. to deduce
dF v2
F kF q E V T 2
dA, Ž 2.30.
dt 2kU
where the constant k depends only on data and time and is given by
v2 t t
FŽ t. F
2kU
H0 ½ exp Hh k Ž j . d j E V T 2
5
dA dh
v2 t t
F
2kU
exp H0 k Ž j . d j H0 E V T 2
dA dh . Ž 2.33.
In this section we indicate how the result of the last section may be
achieved in other double Žor multi. diffusive flow systems.
Ž < y U < y iU y < y < y i . u i s 12 Ž < y U < q < y < . u i u i q 12 Ž < y U < y < y < . Ž < y U < q < y < . .
2
If we now use the estimates Ž2.26. and Ž2.28. we may then find constants
k 3 , k 4 such that
1 d
5 u 5 2 q 5 =u 5 2 F c1 5 u 5 H 1 k 3 5 u 5 q k 4 5 s 5 4 . Ž 3.5.
2 Pr dt
Hence after integration and use of the inequality before Ž2.19. we may
obtain
1 l1 t t
5 u5 2 q 5 u 5 2H 1 dh F c1 H0 5 u 5 k 3 5 u 5 q k 4 5 s 5 4 dh . Ž 3.6.
2 Pr ž 1 q l1 /H 0
H1
1 t v2 t
5u 5 2 q 5 s5 2 F c12 H0 5 u 5 2H 1 5 T 5 23 dh q U H0 E V T 2
dA dh
2 2k
c12 t
q H 5 u5
2s 0
H15S53
2 2
dh
t v2 t
F k6 H0 5 u 5 2H 1 dh q H0 E V T 2
dA dh ,
2kU
where
c12 c12
k6 s max d 22r3 q max d 32r3 .
2 w0, Tˆ x 2s w0, Tˆ x
t v2 t
5u 5 2 q 5 s5 2 F k7 H0 Ž 5 u 5 2 q 5 s 5 2 . dh q U H0 E V T 2
dA dh . Ž 3.8.
2k
Continuous dependence on k follows from Ž3.8. after using Ž2.34. and
deriving an inequality like
t
H0 Ž 5 u 5 2
q 5 s 5 2 . dh F k 8 v 2 . Ž 3.9.
68 AMES AND STRAUGHAN
REFERENCES