Documente Academic
Documente Profesional
Documente Cultură
Mathematics
Edited by A . Dold and B . Eckmann
749
V. Girault
P.-A. Raviart
Springer-Verlag
Berlin Heidelberg New York 1981
Authors
Vivette Girault
Pierre-Arnaud Raviart
Analyse Numerique
Tour 55-65, 5eme etage
Universite Pierre et Marie Curie
4, Place Jussieu
F-75230 Paris Cedex 05
The contents of this publication have been taught at the University Pierre &
Marie Curie as a graduate course in numerical analysis during the academic year
1977-78 .
In the last few years, many engineers and mathematicians have concentrated
available for solving the Navier-Stokes equations . But instead, it places a great
emphasis on the finite element methods of mixed type which play a fundamental
aspect of the Navier-Stokes problem and we have frequently referred to the recent book
by R . Temam [44 1. The reader will find in this reference further mathematical
material .
many helpful discussions and for providing original proofs of a number of theorems .
CONTENTS
3 .3 . A decomposition of [Ho(Sl)] n 32
4 .2 . A saddle-point approach • . 43
CHAPTER III . A MIXED FINITE ELEMENT METHOD FOR SOLVING THE STOKES PROBLEM . 86
4 .3 . Applications 143
VII
REFERENCES 195
INDEX 200
APPENDIX 201
C HAP T E R
In this paragraph we study briefly the Dirichlet's and Neumann's problems for
Our purpose here is to recall the main notions and results, concerning the
classical Sobolev spaces, which we shall use later on. Most results are stated
without proof. The reader will find more details in the references listed at the
To simplify the discussion, we shall work from now on with real-valued func-
tions, but of course every result stated here will carryon to complex-valued
functions.
n
Let ~ denote an open subset of R with boundary r. We define ~(~)
n
or equivalently, if 6 denotes any open subset of R such that ~ C ~ ,
<(!E .D((j)}.
Now, let ;DXQ) denote the dual space of j)(Q) , often called the space of distri-
butions on Q We denote by <. , • > the duality between ~'(Q) and J)(Q)
n
and lal L a.
1
For u in J)'(n), we define in .:D' (n) by
i= I
If 'P E .:D(n)
1. e. if uE then a
ax n
n
If Ial ~ m} ,
lal~ m
or
lal~ m x E n
(I. 2) (L In laau(x)IPdx»)/P
lal=m
guity, we drop the subscript p = 2 when refering to its norm and seminorm.
(1.4)
(1.5) I~I
II f II -ro,,,"
II v II m,,,"
3
f
a
in L2 (Q), for lal ~ m , such that
(1.6)
THOOREM 1.2.
1
0
) J)(ri) is dense in HI (Q)
0
2 ) There exists a constant C such that
extended by continuity to a mapping, still called Yo ' from H1 (Q) into L2 (f)
2
i.e. Yo E £(H1(Q) ; L (f». By extension, Yo'" is called the boundary value of
THIDREM 1. 3.
Ker(y ) ; HI (il)
o 0
2
2 0) Th e range space 0 fYo'1S a proper an d d ense su b space 0 f L (f) ,
2
called HI / (f) .
I 2
For II in H / (0 , we define
(1.8) 1I11 II 1/2,f inf II v II I ,il •
v E HI (il)
y v ; II
o
1 2 I 2
The mapping II t----+ 1I11 1I / ,f is a norm on H / (r), and H / (r) is a Hilbert
1 2
I 2 2
space for this norm. Let H- / (f) be the corresponding dual space of H1/ (f),
normed by
(1.9) sup
1 2
II E H / (r)
II " 0
I 2 I 2
where again < .,. > denotes the duality between H- / (f) and H / (f) • We
remark that <.,.> is an extension of the scalar product of L2 (f) in the sense
2
*
that when
-+
ll* E L (f) , we can identify < II ,ll > with
ff
*
II (O)Il(O) do •
dV
(). 10)
dV
THIDREM 1. 4.
y v
o
o and av-;
dV O}.
mEN, m ~ 1 , we define
m 2
as follows. For H - I / (f) as the image of Hm(n) by
result holds
THEOREM 1. 5 •
We close this section with two useful applications of the Green's formula.
LEMolA 1.2.
(1.11) dx + Ir
UV\l.
1
do •
2
2°) Moreover, if u E H (n) , then
n n
(1.12) L
i=1 I n
..
au
ax.
1
av
ax.
1
d
x = - i=1
L \I.
1
~
ax. 1
v do
l1u , ... , ~)
axn
(1.12) becomes
( 1• 13)
-->-
(grad u,grad v)
----+
- (l1u,v) +
I avau
r v do •
Let V be a real Hilbert space with norm denoted by II. II let V' be its
V
dual space and let <.,.> denote the duality between V' and V
THEDREM 1.6.
and
2
(I. 15) a(v,v) ;;. a IIv II 'rlvEV.
V
Then problem (P) has one and only one solution u in V. Moreover, the mapping
OOIDLLARY 1.1.
u of (P) is also the only element of V that minimizes the following quadratic
I
Given f in H-I(Q) and g in H / 2 (r) , find a function u that satisfies
(I. 18) u = g on r
satisfy You
o
=g , and examine the following problem:
7
R,
Since a is continuous, the mapping v ~ < f,v > - a(uo'v) belongs to
H-I(O) • Therefore, thanks to the Lax-Milgram theorem, problem (D') has one and
Hence u satisfies
(I • 17)
HI(O) • Therefore,
Clearly,
Hence
II u 11 1 ,0 ~ - C3 {II f II -I ,0 + II u 0 II I ,0 }
1
\J u E H (0) such that you = g . From definition (1.8) this implies that
o o
II u 11],0
ProroSITICN 1.1.
Problem (D) has one and only one solution u iE HI(O) and
Pemarks 1.1.
(1.22)
2°) When r is only Lipschitz continuous, the same result is still valid
Here, we assume in addition that 0 is connected and we deal with the non-
(1.23) - till f in 0
dU
(I. 24) a;; = g on r
(N)
where f E L2 (0) and g E H- I / 2 m satisfy the relation
(I. 25)
Io f dx + < g, I > r = 0 •
Since problem (N) only involves the derivatives of u, it is clear that its
The theorem below states an important property of this space its proof can be
THEDRE101 1. 7.
The space H1(Q)/R is a Hilbert space for the quotient norm (1.26). Moreover,
on this space the seminorm v 1---+ Ivi I,Q is a norm, equivalent to (1.26).
With this space, we can put problem (N) in the abstract setting of problem
and
(1.27) ~ fQ
fv dx + < g,v >
r
\I v E V-
Thus
(1.28)
(N') ~
f(1.29)
(1.30) \I u E u
Next, by taking the scalar product of (1.30) with v and comparing with (1.29),
we find
this cannot be done without assuming that u E HZ(n) . Then Green's formula (1.13)
yields :
Ir au
- v do
av
< g,v >r If v E HI(n) ,
Le. au
-av= g on r •
g E HI/Z(r). In that case, problems (N) and (N') are equivalent. Of course this
PIDPOsrrroo 1.2.
only solution of problem (N) and each u E u is continuous with respect to the
data, Le.
Rsnark 1.2.
(I. 34) 1I 2 u f in n
(I. 35) u = gl on r
(B)
and
au
( 1.36) a-v= gz on r .
bilinear form is
a(u,v) = (lIu,lIv) •
This form is elliptic on HZ (n) because the mapping v t-+ 1I11v II ,.., is a norm
o o,~,
Z
(1.37) 1I11v II ,..,
0, ..
By density, the same result holds for the functions of H2 (Q). The equivalence
o
follows from Theorem I. I.
(1.38) on r.
(B' ) ( I. 39)
Z
( I. 40) IJ v E H (n) •
o
By the Lax-Mi1gram's theorem, problem (B') has exactly one solution u in HZ(n).
au
a-v = gz on r .
12
v U
o
satisfying (1.38) ,
Le.
(1.41)
Reman 1. 3.
spaces that are particularly well suited to incompressible flows and other problems
arising in mechanics. Several results are stated without proof ; these can be found
in the book by Duvaut and Lions [22 1. In addition, the reader will find in the
Appendix an alternate shorter version of the proofs of Theorems 2. 1 and 2.3.
13
From now on, we shall often deal with vector-valued functions. We shall
distinguish vectors by means of arrows and extend naturally all the previous norms
-+
to vectors as follows: if v (vI' •.• , v) then
n
n
11-; II ()
m,p,..
= ( L
i=1
1Iv.1I p
~ m,p,n
) I/p
n avo
div -; = L ~
~
i=1 ~
normed by
(2.1)
and
H (div ; n) = (J)(n»n H(div ; n)
o
Clearly, H(div n) is a Hilbert space for the norm (2.1).
THEOREM 2.1.
[J)(n)]n is dense in H(div n).
PRXlF.
Let Ii E H(div n). First, let us show that there exists a sequence of
-+
functions of H(div with compact support, that tends to u
o for Ixl ~ 2a
n -+
and o <; 'P
a
<; I everywhere in R As VJ
a
is smooth, VJ aU E H(div ; n) ;
-+ -+
moreover lim ~ Ii u in H(div ; n) and the support of ~ u is compact.
a -+ co
a a
-+
Hence ~au is the desired sequence.
-+
From the above, we can assume that n is compact. We wish to extend u
14
n n
to R so that the extended function belongs to H(div ; R ). Then we can apply a
dary aC1, such that il c cr . Thus Ci-Q is an open set, not necessarily connected,
bounded by f and acr. Let n
i
, 1 < i < p(resp.n o ) denote the component of
where
(N)
(2.2) < i,v > I
i=O
1__
meas (n i )
(In.. g~d IT ei·~ dx + In.. ITe.~ div ~ dx) In.
v dx
~
is a norm on V, equivalent to
since
15
--+- ..
grad 'I'.U dx - div'i'i dx o
IQ
Furthermore, if v then v = ~
i=O
c.e.
~ ~
, where the c.
~
are constants and
If v E v
~wln = - (n)(
I I--+-....
grad ne .• u dx + J ne.d~v .....u dx) , o .;;; i .;;; p.
"i meas "i Q ~ n ~
'i'i in n
u
o elsewhere.
Z 2 Z 2 n
Obviously, u E (L (Rn »n , and we must check that div u E L (R ) • As a distribution
Z
div u is defined by
<divu,'I' >
But
Therefore, by (2.2)
p
Z .... ....
(2.3)
IRn
-+
u'grad'l' dx =
IQ uograd
-+
I{I dx + I
i=O meas(Qi)
I (I Q grad
--+-
ne. ·u dx
~
+ {
Q
n e. div 'i'i dx)
~
Jn.'I' dx - f ~ ..
Q
grad 'I"U dx - {nil' div u dx.
....
1
2) Let 0
e:
be a regularizing sequence of oe: (x) ;;;. 0 ,
16
;t
6 (x) dx =
e:
and lim 6 • Consider the sequence 6 e: * u
e: ->- 0 e:
->-
The properties of the convolution imply that oe: * -;:; E (.1)(Rn »n • By taking
normal component with that of its extension. This process will be used several
times. •
Again, let ~ denote the unit exterior normal along f . The next theorem
THEOREM 2.2.
->- ->-->-
The mapping y : v ........ v·v If defined on (.:I) (6» n can be extended by
v
continuity to a linear and continuous mapping, still denoted by yv ' ~
2
H(div ; n) into H- 1/ (f).
~.
Let If! E .:IJ(n) and ~ E (..1)(n»n. The following Green's formula holds
->-
As .2)(n) is dense in H1(n), (2.4) is still valid for If! in H1(n) and v
in (~(Q»n. Therefore
1 ->- - n
(2.5) V If! E H (n) , V VE(~(n» •
Now, let ~ be any element of H1/ 2 (f). Then there exists an element If! of
17
for the norm of H(div; Q). Since (JD(n»n is dense in H(div; Q) , Yv can
coroLIARY 2. 1.
(2.7)
An important byproduct of Theorem 2.2 and its Corollary is that now we can
extend Green's formula for the Laplace operator to a wider range of functions.
mroLIARY 2.2.
Let u E HI (Q) and
(2.8)
~.
+ ~ 2 n
We set w = grad u E [L (Q)] • Then
<DIDLIARY 2.3.
!'lm:..
We have already shown in § 1.4 that any solution u of (N') satisfies
- lIu f in 0
and
I
(1.31) IJ v E H (0) •
dU 2
We must prove that av- =g Since f E L (0), this follows immediately from (2.8).
satisfies (1.31). •
Renark 2.2.
Let us go back to problem (N) in the proof of Theorem 2.1 • According to
~ 1/2
where points inside o . As y
v
t E H- (r), it follows from Corollary 2.2
applied in d-n that problem (N) is equivalent to the p+1 non-homogeneous
Neumann's problems Find wE V such that
1 -+
lIw
~.) < yvu,1
>
r.1 in n.1 o ,;; i ,,;;; p
•
1
dW
av-= -+
Yv u on r • dW
dV
0 on dO' .
Clearly, the compatibility condition (1.25) is satisfied in each O. . Hence the
1
-+ -+
extension of u has the same normal component as u on r •
aIOOLIARY 2.4.
2)
19
~.
(2.9) in n ,
(2.10) on r.
Unlike the Neumann's problem of § 1.4, this problem has exactly one solution in
HI (n). We denote it by I(! and set ~ = gr;d I(! • Then ~ E H(div ; n) and
. Moreover
2
III(! II I ,n
THEOREM 2.3.
The proof can be found in Duvaut & Lions [ 22 1 , and in the Appendix.
'1\ .... rN 2
Let us first consider the ease n = 2 • For I(! E cl..J' (n) and v E (..u(n)) ,
.... (~ _ 3<1' )
(2. II) curl I(! =
aX ax)
and 2
.... aV av)
2
(2.12) curl v =--
aX
-
I aXz
by means of the following device: the vector ~ with components (-v ,v ) belongs
2 l
20
Ker YT in H(curl ; n) ;
\J 'P E HI (n) •
We now turn to the case n =3 • When ~E (.1)' (n» 3, we define its c~rl by
(2.15)
........
H(curl ; n) = {v E (L 2
(n»3 "
;" ""
curl v E (L 2 (n» 3 }
normed by
(2.16)
THEOREM 2.4.
THEOREM 2.5.
~ + + +
Let v x v denote the vector product of v and v • The mapping
~ ~
V t---4o- V X defined on (,1)(n)) 3 can be extended by continuity to a linear
~ ~
continuous mapping still written V l---+ V X from H(c~rl ; >1) onto
PIDJF.
Jr'~ x ~)·t do •
1
By density, this equality also holds for all in (H (>1))3 Therefore
~ ~
Now, for each ~ in there exis ts a <p in
~ ~
(2.18) If v E H(curl
We have
H (c~rl >1) {~ E H(c~rl >1)
o
Remark 2.3.
2
In this paragraph, we shall prove that every vector of (L (Q»n is the
ri ' I ~ i ~ p , the other components of r (cf. figure I). The duality between
1/2 I/2
H- (r.) and H (r.) will be denoted by < .,. >
1 1 r.1
THIDREM 3.1.
2
l£! n = 2 • A function ~ E [L (Q)J2 satisfies
Proof.
J) Let us show that (3.2) imp lies (3. I). Le t ~ E HI (Q) and let ~ = c~rl ~
then
div(c~rl~) = 0 •
-+ -+
curl 'P'\! do o
But
-+ -+
o•
curl 'P'\! do
fr. 1
d<P do
aT
23
plane in such away that it stays divergence-free. Then it will be easy to construct
that component which is bounded by r i ' for 1 .;;; i .;;; p , and no tha t component
ow
-av= 0 on ac;
(in ni ' 0';;; i .;;; p) like the one we analyzed in § 1.4, since they include the
compatibility conditions:
........
< v.v,1 >
r. =0 for 0';;; i .;;; p .
~
1 -
Therefore, there exists a function w E H «(J -n), de termined unique ly up to an
Then a E H(div (j - 0) ,
....
dive /:'w = 0 in 0-0
e·v = av = v·v
........ dW ........
on each ri , 0';;; i .;;; p ,
(3.4)
o on ocr .
....
b) Now, we extend v as follows :
't in n ,
::t ....
v e in Cf-n
....
0 elsewhere
24
::t 2 2
Clearly v E (L (R2 » . Let us calculate its divergence. As a distribution,
div v satisfies
::t ::t --+
< div v,'fJ > v-grad 'fJ dx
that is
::t
< div v,'fJ >
As
4-
V and e are both divergence-free, Green's formula (2.7) and (3.4) yield
p
::t
(3.5) < div v,'fJ > L >
f.
i=O 1.
::t
Therefore v E H(div ; IRh
div v O.
::t
c) Let us introduce the Fourier transform of v
(3.6)
Note that each Vj(~) is a holomorphic function of the complex variables ~I and
and
;ot
4-
V curl 'fJ
(3.8)
so that
_ 1 a;1
~(~1'~2) = 2in ~ (~I'O) + O(I~21!
Remark 3.1.
4-
If is connected, then clearly the stream function ~ of V is unique
up to an additive constant. •
4- a~
Then every stream function ~ of V satisfies 0 that is
a:f"lr.
~
constants. Therefore, ~ has one and only one stream function ~ that vanishes on
I
~ = {X E H (n) ; X[r o , Xlr. = an arbitrary constant for 1 .;;; i .;;; p},
o ~
which is a closed subspace of HI (n). Moreover, l'II,n and II· II ,n are two
l
equivalent norms on ~, by virtue of the following generalization of the
Poincare-Friedrichs 'inequality
-+
Then, the stream function of v that vanishes on ro is also the only solution
of the problem :
(3.9) IJ X E ~
\J X E ~
mIDILARY 3. 1.
-+
Let be like in Lennna 3.1. For v E H , the re lation
-+ -+
v curl <{J
the stream function <{J can be characterized as the solution of problem (3.9).
o
where the constants c are determined formally by
i
<l'e.+
d'V
-+
Yt v ,l >r o
i
THIDREM 3.2.
ProoF.
1) Let '$ belong to (H I (n)) 3 and ~ = c\irl ; . Then div ~ = 0 , and we
~.~,1 >
must check that <
r.1 = 0 • For o '" i '" p , let e.1 be a function of
in R
3
and e.1 (x) _ o~1 in a neighborhood of r.
J
....
We set w.
1
Obviously, and div t.1 o.
Moreover,
o if j f. i
Hence
o '" i '" p.
2
2) Conversely, let t be a function of [L (n)] 3 satisfying (3.10).
As in the two-dimensional case, we can extend ~ to the whole space so that the
extended function ~E 2
[L (R3 )] 3 is divergence-free and has a compact support.
v~ j (~)
<,
-I
- R
3
e -2iTI(x,i';)-
V
( ) dx.
j x
vI ZilT(l;l3 I;lz)
The third equation of (3.13) is a consequence of the first two and (3.IZ).
3
(3.14) L
i=1
1;.$. = 0 •
~ ~
and
3
where I • By i~spection, these equations imply that
i=1
and that I~il ~ ZlTlli I; II <Ivjl + !vkl).Therefore, the inverse transform of $ belongs
I 3 -+
to (H (0» , provided that $ is bounded at the origin. First, we observe
Renarks3.2.
we see that
...
~ satisfies
29
The choice of the boundary conditions that must be added to (3.16) in order to
of course this is not the only possibility. For instance, we might have replaced
(3.14) by
(3.14' ) o.
Then (3.12), (3.13) and (3.14') have the only solution
A V2 VI A
THEOREM 3.3
2 n
For each function ~ Q.f. [L (fl)] , there exists a function
such that
->-
curl 'I' if n = 2
->- -+
v = grad q +
->- ->-
curl 'I' if n = 3 ,
(3.17)
y (~ - gcid q) = 0 •
\I
-+ ++--+
Moreover, the functions curl 'I'(resp.curl '1') and grad q are
!'.@!.
->- 2 n .
Let v E [L (fl)] and conSlder the following problem
--+ ~ -+ ---+ I
(3.18) (grad q, grad ~) = (v,grad ~) I;j ~ E H (fl) .
->- ........
aence v - grad q is a divergence-free vector of H(div fl). Then, by applying
30
~ - gr!d q the conclusion of Theorem 3.1 (or 3.2) and we find the required
(3.19)
1
a V r E H (n) • •
Remarks 3. 3.
llq = div ~ in n
and
on r
2
If ~ is only in [L (Q)]n , the last equality is formal.
that satisfies
V X E ¢
-+
- ll~ = curl v in n,
Ir.
~
(~
av +
-+ -+
v', - !9.)do
a, a for I';;;; i .;;;; p •
31
THEOREM 3.4.
We have
(3.21)
Moreover, If is dense in 8
PIroF.
2
I) Since 8 is a closed subspace of (L (a))n, it follows that
of Theorem~3.1
.
and 3.2. Flnally, . . .v
lf . E (L 2 (a ))n ,then Theorem 3.3 implies
that
...v is of the form
-+ -+ --to- -+
V = W + grad q with w in 8.
~ E H iff
...
v c~rl <p with <p in and therefore
The proof for the three-dimensional case can be found in Temam [44 l. •
THroREM 3.5.
-+
div ~ =0 u = -+g on r
PRX:>F.
ficiently smooth. The proof for the general case can be found in Temam [44 1•
and -+ -+
U'T it _ -+g.; on r,
d'J -
-+
hence u is the required function
According to Theorem 1.5 , and since g.; E H1/ 2 (r) , there exists a function
2) When
......
g'V does not vanish on f , we cannot apply directly Theorem 1.5
• ... ... 3/2
because, Ln general, g·v ~ H (f). Instead, we introduce the function p satis-
t.p 0 in Cl,
(3.23)
lE..
dV -
- -+-g'~ on f
...... -+-
Therefore u = u
l
+ grad p is the required function. •
IErrark 3.4.
remark 1.2 are both valid for any m, we can apply the above reasoning to show
div ;i o and •
Proof.
Let ~ E (HI(Cl»n
o
• By Green's formula
34
I -+--+-
r V"V do = 0 •
2
Thus div E £«HI(Q}}n ; L (Q)}. Let us show that div is a one-to-one mapping
o 0
2
from .; on to L (Q). Since
o
v = Ker(div}, it suffices to show that div maps
(HI(Q»n onto L2 (Q). For this, let
o
q be a function of
2
L (Q) ; we seek ~
o 0
-+-
in (HI(Q»n such that div v = q As Q is bounded, there exists some
o
function e in H2 (Q) such that
ll8 = q in Q
-+
We set grad eE (HI (Q»n Then
• -+-
d1V vI M q
I ~I"~
r
do = I Q
div ~I dx = I
Q
q dx =0 .
-+- 1/2 n
Also Yov l E (H (r}). Therefore, we can apply Theorem 3.5
-+-
there exists wI in such that and
Finally, it follows from the open mapping Theorem (cf. Yosida [46 l) that
isomorphism. -
Rema.:rk 3.5.
The usefulness of arises not only from this lemma, but also from
(3.24) II q II 0, .."
THEDREM 3. 6.
-+-
(3.25) < t,~ > =0 Vv E V
35
PRXlF.
2
As div is an isomorphism from ,; onto L (fl) , it follows that
o
2
It remains to prove that ~ is unique in L (fl). But clearly, if
o
~ E
THEDREM 3.7.
There exists a constant c > 0 such that
(3.28)
PRXlF.
Let ~ E Lo2 (fl). By virtue of Lemma 3.2 , there exists a unique function
such that
Hence
2
(~,div ~) H~ 1I0,fl~.!.
II~ II " •
1~II,fl 1~II,fl
0, ..
c
36
DEFlNITlOO 3. 1.
THEDREM 3.8.
~.
for ~ in 1
(H (O»n. Then
o
i is a continuous linear
functional on (HI(Q))n
o
that vanishes on V. According to Theorem 3.6, there
2
exists q in Lo un such that
-+
< R-,v > - (q,div -;)
Therefore,
-+
-
-+ -+
< ~u,v >
-+
=< -
grad q,v >
-+ -+
"J v E (HI(Q))n
0
Le.
~ = (_~)-I gr1d q
density of 11 in H. •
37
Remark 3.6.
1
Hence, Theorem 3.8 implies that every function of (H (0»n can be written in the
o
form
+ -I -+ + +
(3.31) v = (-~) grad q + curl ~
= I ~ 1 2 ,0 ~ C I I ~ II ,0 ~ C2 II ~ II 0,0 •
+ -I -+
(3.32) curl v bp + curl(-~) grad q •
+ + +
Let X E ~ and let w = curl X ,wEV From (3.32), we get:
+ + + -I -+ +
(-~~,curl w) = (curl v,curl w) - (curl(-~) grad q,curl w) •
-I -+ + -I + + +
But (curl(-~) grad q,curl w) =< (-~) grad q,curl curl w >
HI H- 1
o
and
+
since w E V . Therefore
-1- +
< (-~) grad q,- ~w >
-+ +
• < grad q,w > 0
+
since wE V • Hence, we have
38
(3.34)
CX>IDLIARY 3.2.
1
I) Each function ; in [H (0)]2 has exactly one stream function 'I' that
o
vanishes on r and this function is the unique solution of the problem:
o
114.p ll(curl t) in 0
a'l'l
av r
0
Ir . ~
a
av-(!:;P + curl t)do 0 for I " i "p •
the Stokes problem. Two algorithms are proposed to deal with the constraint.
Although they are introduced in connection with the continuous problem, they will
Let X and M denote two real Hilbert spaces with the norms II. "
x and
II. "M respectively. Let X' and M' be their corresponding dual spaces and let
II. II X' and II. II M' denote their dual norms. As usual, we denote the duality
between X and X' ,or M and M' ,by < .,. >
with norms
II a II sup
a(u,v)
, II b II sup ~
u,v EX lI u ll llvll v E X,ll E M
u#O, v#O
x x IIv " x IIll "M
V#O,ll#O
(Q)
In order to study problem (Q), we require some extra notations. We associate with
Next, we set V = Ker B in X and more generally, for each X E M' , we define
V = V(O) •
devoted to show the converse of this statement and the existence and uniqueness
of the solution, under suitable assumptions. For this, we define the polar set VO
of V by
O
V {g E X' < g,v > o V v E V}
LE»fA 4.1.
The three following properties are equivalent
(4.9)
inf sup b(v,lJ) ~ 13
lJEM vEX IIvIl X lllJlI M
P:roof.
onto its range ~(B'). Moreover, it also implies that the inverse of B' is
continuous. Hence B' is an isomorphism from M onto ~(B'). Thus, we are led
to prove that
For this, we remark that ~(B') is a closed subspace of X' , since B' is an
~(B') = (Ker(B»o VO •
2) (ii) ~ (iii).
1
< g,v > < g,v > IIvEX.
o
maps isometrically (.;) I onto V • This permits to identify (,f-)I and Vo •
THEORFM 4.1.
Then problem (P) has a unique solution u in V(x) and there exists a
unique A in M such that the pair (u,A) is the unique solution of problem (Q).
Moreover, the mapping (~,x) ~ (u,A) is an isomorphism from X' x M' onto
XXM.
PRX>F.
From (4.9) and Lemma 4.1, we see that there exists a unique element u in
o
.; such that
Bu x and
o
Find w u - u in V satisfying
o
(pI)
a(w,v) ~ < ~,v > - a(uo'v) 'rJvEV.
B' A = ~ - Au
and 1
e II ~-Au II X'
43
onto Xx M• •
Remarks 4. 1.
1) Under the hypotheses of Theorem 4.1, problems(P) and (Q) are equivalent.
from X x M onto X' x M' • Indeed, we have already shown the sufficiency in
Let X E M' and let (u,A) be the solution of (Q) with right-hand side
(O,x). Then Bu = X and thus ~(B) = M' , so that B is a continuous and one-to-
one mapping from yl onto M' • Therefore, B is an isomorphism from if onto M'.
of a saddle-point problem.
THEX)REM 4. 2.
Under the hypotheses of Theorem 4.1 and if, moreover, the bilinear form a
then problem (L) has a unique solution (U,A) in X x M that is precisely the
solution of (Q).
~.
a.c
a;(U,A) ·v a(u,v) + b(v,A) - < ~,v >
Futhermore, by (4.16)
aZ£
avz(U,A)(V,V) = a(v,v) ;;. 0 .
the condition
at
av(U,A)'V = 0 i.e.
Rerrarks4.2.
u E Vex).
(4.19) \;flJEM
Let E > 0 be a parameter which will tend to zero. We consider the problem
(4.21)
E 1 -] E
(4.22) A = ~ e (Bu -X)
E
Hence we can eliminate A from (4.20) and derive another problem, which is
] -]
(4.23) < t,v > + ~ < BV,e X> \;f v EX.
46
Clearly, when the bilinear forms are symmetric, solving problem (P£) is
problem (P). •
THEOREM 4.3.
such that
2
(4.24) a(v,v) + < Bv,C-1BV > ~ ~ IIv II 'o'vEX
X
then problems (Q) and (Q£) both have one and only one solution Moreover, the
(4.25)
~.
Now, it follows from (4.19) and (4.24) that problem (P£) has exactly one
£
solution U in X. Therefore, if we define by (4.22) then is
It remains to establish (4.25). From (4.20) and (4.1), (4.21) and (4.2),
we get
o '0' v E X
(4.26)
'o'~EM
E:
b(v,A-A )
8 II A-AE:IIM .,;;; sup .,;;; II a 11 11 u-u~1 X
v EX
IIvl1 X
whence
(4.27) 11 A-A E: II M .,;;; t II a II II u-uE:11 X
E: in (4.26), we find
By taking V = U - U and
.,;;; E: c(A,A-AE:) ,
E: E: 11 a i l E :
a(u-u ,u-u ) .,;;; E: II c 11 -8- 11 A 11 M II u-u 11 X
Besides that,
- E: CAE: •
Therefore
E: -I E:
< B(u-u ),C B(u-u) > = E: 2 C(A E: ,A E: )
2 E: 2
.,;;; E: C1(II A II M + II u-u II X)
2
where C
1
11 ell sup (I , !l!JL
2
) Hence, hypothesis (4.24) yields an inequality of
8
the form
We keep the notations of the previous section. The method proposed here is
based on Uzawa' s class ical algorithm (cf. for instance Arrow, Hurwicz & Uzawa [ 2 1),
Theorem 4.4.
We assume that the hypotheses (4.9), (4.16), (4.19) and (4.24) hold. In
addition we assume that the bilinear form c(.,.) is symmetric and that there
-I 2
(4.30) a(v,v) + r < Bv,C Bv > ;;. a(r)IIBv 11M' IJvEX.
~.
a(v,v) + r < Bv, C-1Bv > ;;. a min(I,r) IIv IIi IJvEX.
49
v = u - u
m m
Then by subtracting (4. I) from (4.28) and (4.2) from (4.29), we get
-I
(4.32) a(vm+I'v) + r < Bv,C BVm+1 > = - b(v'~m) livEX,
(4.33) Ii ~ E M
(4.34)
Then hypothesis (4.19) and the fact that a(r) > 0 yield
(4.35)
If we choose Pm within the bounds (4.31) then there exists 0 > 0 such that
P (2a(r) - 1 P ) ~ 0 Ii m
m y m
Hence the sequence c(~m) is monotonically decreasing and bounded below by zero
2
lim II vm+ I 11 .;; -L,. lim (c(]lm) - c(]lm+l» = 0
m-+oo
X 015" m-+ oo
Hence lim
m-+oo
]lm" 0 in M •
of the Stokes system and we give two variational formulations that we shall use
-+
In these equations, the vector u " (u 1 , ... , un) is the velocity of the fluid,
We set
p
(5.4) p =- and \) = .H.
p p
Here, p is the kinematic pressure and \) the kinematic viscosity, but for
the sake of simplicity they will be called in the sequel pressure and viscosity.
we assume that the velocity ~ is sufficiently small for ignoring the non-linear
aUi
convection terms uj a>c Thus, we are led to the Stokes system of equations :
J
n
- 2\) L .L
ax.
D .•
~J
(~) + lp_ = f.
a Xi ~
1 .;;; i ';;;n ,
j=1 J
(5.5)
n
L D •• (i~) = 0
~~
i= 1
....
Note that, when div u 0 , the following identity holds :
n n a2 u. a2 u.
(5.6) LaD .. (Ii)
ax. ~J
= -2
1
L (d
ax.
+
1
- - L - ) = -2
ax. ax.
AU~~
j=1 J j=1 J ~ J
(5.7)
div Ii = 0
The Stokes equations are linear, but nevertheless they deserve special attention,
THEOREM 5.L
. . . . da
(5.8)
f f g.\) = 0 .
Then, there exists one and only one pair of functions (Ii, p)
such that
52
-+ -+
--->-
- vAu + grad p f in (H- I (n»n
(5.9) div ~ 0 in n
-+ -+
u g on r
~.
Now, let us put problem (5.9) into the framework of paragraph 4 • We set
n
2v I i,j=1
I -+
(D .. (u),D
~J
-+! ,
.. (v»
~J
b(t,q) =- (q,div t) ,
-+-+
< £,v > < l,t > - a(~ ,t)
o
Then v div t = O} •
We must check that a is V-elliptic and that b satisfies the inf-sup condition
(4.9). First of all, since the operator D •. is symmetric with respect to i and
~J
j , we have
n avo
(5. 10)
'\ -+ ~
2v L (D .. (U)'-a-)
i,j=l ~J xj
-+ -+
Next, an integration by parts shows that for u in x and v in
can be written as
n au. avo
(5. II) I (a/ ax:-) ~
i,j= I J J
Thus
a (-+v,-+v) '"
"1-+
v
vj 2I,n
(5.12) (Q,div t)
1~II,n
This is precisely the conclusion of Theorem 3.7. Therefore, (5.12) is valid and
53
such that
and
+
u - +u E (H1«(l»n
0 0
n
(5.13) 2\1 L (D •• (~), D .. (~» (p,div ~) < f,~ >
1J 1J
i,j=1
(q,div ~) = (q,div ~ ) =0
o
+
Owing to Lemma 3.2 and the choice of U
o ' this last line implies that div ~ O'
o
Remarks 5.1.
I) When g = 0, the Stokes problem has the following (P) and (Q) formu-
lations
(P)
Ii ~ E V
n
where
2\1 l L (D .. (~) ,D .• (~»
, i,j=1 1J 1J
or equivalently
54
2
2) Of course, the choice M = Lo (Q) is only a matter of convenience, and we
2
can just as well take M = L (Q)/R (cf. remark 3.5). •
The next theorem concerns the regularity of the solution of the Stokes
THEDREM 5.2.
(5.15) Jev)
+
= 2I ++
aev,v) - <
-r+
t,v >
(5.16) .c e~,q)
THEDREM 5.3.
characterized by
.c (~,p)
+
g
(5.17)
+ .c(~,q) I.
g
+
Furthermore, u is characterized by
2 (~-~ ,p)
over (HI(Q»n x L (Q). By wri ting that is the saddle point of £0
o 0 o
(inequalities (4.15», and expanding, we get, on account of div Iio = 0
t a(~,~) - < 1,ii > - (q,div~) ~ t a(ii,ii) - < 1,~ > - (p,div ~)
1 ++ ++ -r-++ . ++
~-2 a(v+u ,v+u ) - < t,v+u > - (p,d1v(v+u ».
o 0 0 0
2
(Iio + (HI(Q»n) x L (Q). Then, the desired result (5.17) is established by
0 0
virtue of :
and (4.18).
Here, we consider only the case n =2 • We keep the hypotheses of section 5.1
........
(5.19) g.\) do o for O~i~p,
function w. We are going to show that the stream function can be characterized
(5.20) on r o•
56
X on ro
(5.21 )
ljJ = X+ c
i
on r.1 for < i < p ,
THEOREM 5.4.
Let n =2 and let the hypotheses of Theorem 5.1 be satisfied. Then, under
the condition
(5.19)
......
g.\I dcr o for o< i < p ,
2
there exists a unique function ljJ E H (n) characterized by the equations
PIIDF.
(5.24) - f1w
... = ctrl(ctrl ;) V wE
... (:D' (n»)2 with div ~ 0 ,
and
(5.26)
Green's formula, we can easily show that W is the only solution of the boundary
value problem :
",2".
vLl 'f cur 1 ":!:t ,
and
o for
where, in order to avoid confusion, aan denotes here the normal derivative.
C HAP T E R II
tional problem analysed in 4, Chapter I. We keep here the same notation and we
put the problem in exactly the same situation. In particular, we assume that the
~CX, Mb eM.
We approximate problem (Q) by
( 1.3)
(1.4)
Like in the continuous case, we associate with (Qh) the following problem
(P )
h
I (1.5)
Find u E V (X) such that
h h
a(uh,v ) = <t,v >
h h
59
THEOREM 1. I .
( 1.6)
Then problem (Ph) has a unique solution uhEVh(X) and there exists a constant Cl
depending only upon a* , II all and lib II such that the "error bound" holds:
(I. 7)
Then V (X) *t/> and there exists a unique A in ~ so that (u ' A ) is the only solu-
h h h h
tion of (Qh)' Furthermore, there exists a constant C2 .
depend~ng only upon a* , 13*
(I. 9)
Proof
1°/ As Vh(X) is not empty, we choose a u~ in Vh(X) and we solve the problem:
From (1.6), this problem has a unique solution zh' and therefore, u = Z + u O is
h h h
the unique solution of problem (Ph)'
(I. 10)
60
(I. 11)
Therefore,
lIu-uhIl ';; (1
X
+~)
a.~
lIu-wh II X + !LEJlIIA-"
a.'"
II
"h M '
Let (·'·)M denote the scalar product on M associated with II • II M and let
B E£(Xh;~) be defined by (B v ,1J )M= b(v ,1J ) • Then hypothesis (iii) implies
h h h h h h
that B is an isomorphism from
h
V~ (taken in ~) onto ~. Therefore Vh(X) is not
empty and according to part 1, problem (Ph) has a unique solution u . Furthermore,
h
it follows from Theorem 4.1 that there exists a unique A in ~ such that (Uh,A )
h h
is the only solution of (Qh)'
II zh II X ,;; 11.£...11
* II u- vhII X
a
Thus w = v + zh be longs to V ('$j and moreover,
h h h
Therefore
Ia(u-~,vh) + b(vh,A-ll h ) I
IIv ll
h X
Hence
(\.13)
Then bound (1.9) follows immediately from (1.7), (1.12) and (1.13). •
Remark 1.1.
condition does not imply its discrete counterpart (1.8). In fact, (1.8) acts as
It is possible to improve the bound (1.7) without making use of (1.8). In-
Hence
(1.14) } ,
62
where the constant C depends only upon a* and II all • Note that the term
inf
llh~
If, besides hypotheses (1.6) and (1.8), we assume that the form a is symme-
tric and semi positive definite on X, then we can relate problems (Ph) and (Qh)
to optimization problems. As in the continuous case, and with the same notations,
and
COROLLARY I. I •
(i) there exists a dense subvariety 1J'(X) 2i= V(X), a dense subspace m
of M and two mappings rh:lr(x) --.. Vh(x) and p :7t(l---+ ~ such that
h
lim II r v-v II X = 0
I
h
(1.15 ) h-+o
lim II Phll-llIl M= 0
h-+o
Then
lim II u-~ II X = O.
h-+o
r
h
:X--.. X such that
63
Remark 1.4.
Nitsche [40] to the case of problems (p) and (Ph)' For this, we introduce a
Hilbert space H, with scalar product (.,.) and associated norm 1·1 such that
We identify H with its dual space H' for the scalar product (.,.). Therefore,
THEOREM 1.2.
Suppose that the conditions (4.9) and (4.12) of Chapter I and (1.6) hold.
Let (u,A) be the solution ofCQ),u the solution of (Ph) and for each g in H ~
h
(cj> ,~ )ExxM be the solution of
g g
I
'rJVEX,
(1.17)
b(cj> ,11) =0
g
Then there exis ts a cons tant C, depending only upon II a II and II b II, such that
(1.18)
64
Proof
We have
I (g,u-uh )I
Iu-u h I = sup -----"''--
gEH Igi
Now, it is clear that (1.17) has exactly one solution (~ ,~ ) for each g in H.
g g
Therefore we can write
(1.19)
But, as ~ is the solution of (Ph) and (u,A) that of(Q},we have for each ~h in
Vh and ~h in ~~ :
Besides that,
obtain:
Hence
where C = sup ( II a II , II b II ) • •
- v!l~ + gr;Id P = 1 } .
(2.1) ..... 1n Q,
d1vu = 0
b(~,q) = - (q,div~),
x =0,
For each h, let W and ~ be two finite-dimensional spaces such that
h
Then we define
(2.3)
(2.5)
Remark 2.1.
Zanger equivaZent. •
66
-+
\ Find u h E Vh such that
~ (2.6)
In order to study the solution of problems (Ph) and (Qh)' we relate the
Hypothesis HI
(2.9) •
THEOREM 2. I •
• -+
Under hypotheses HI and H2, problem (Ph) has exactly one solut~on u
h
in Vh
and
(2.10) liml~h-~II Q = O.
h-+o '
Moreover, if (~,p)E(Hm+I(Q»)nx(Hm(Q)nL~(rl»),we have the error bound
(2. II)
Proof
of (2.7). Next, we examine the ellipticity of the form a(·,·). When a is defined
by (2.2b), then
When a is defined by (2.2a) we make use of Korn's inequality (cf. Duvaut &
Lions [ 22 J) :
67
n ..... 2 ..... 2
L liD .. (v) 11 n;;' aolvl I , n'
i,j=I 1 J 0,
ao>O,
(2.12)
(2.13)
++
IIr h v-vIl ,n";; CI hllvll 2 ,n
+
VvE
+ tr •
1
Similarly, let m= HI (Q) n L~ (Q). Clearly, TIt is dense in L2 (n) because every
o
function q of L~(n) has the expression q = p - me~s(Q) (p, I) for some p in L2(n).
(2.14)
(2.'5) I g g
g
0 o
v(grad-;,grad~.....) - (~..... ,div-;) =
g
(g,-;) V-;E (HOI (Q»)n,
(q,div;.....) = 0 VqEL2(n).
g 0
DEFINITION 2. I .
THEOREM 2. 2 •
We assume that hypotheses HI and H2 are satisfied and that problem (2.15')
error bound
(2.17)
Proof.
Therefore, by (2.16)
Hypothesis H3
(2.18)
(2.19) •
This hypothesis is a discrete analogue of Lemma 3.2, Chapter I the divergence
. an 1somorp
operator 1S . h'1sm f rom V1 onto L2 (n)
...
o
THEOREM 2.3.
Under hypotheses HI, H2 and H3, problem (Qh) has exactly one solution
(2.20)
(2.21)
Proof
Hence,
Together with Theorems 2.1 and 1.1, this implies that there exists a unique Ph
in ~ such that (~h'Ph) is the only solution of (Qh)' where ~h is the solution
Let us first recall the notations and the most important facts, for our
purpose, about the classical finite element approximation. For detailed proofs
DEFINITION 2.2.
For each integer m;>O, we denote by Pm the space of all polynomials, defined
n
on R , of degree less than or equal to m. We denote by ~ the space of polynomials
n
spanned by ni=1 x.
~
CX'
~ with 0" cx. "m.
~
•
R=K~thK,
where any two triangles Kl and K2 are either disjoint or share at most one side
or one vertex. The size and shape of each triangle K are specified by two quan-
tities
and
DEFINITIONS 2.3
•
We denote by K the unit reference triangle in the reference (xI,xZ)-space
with vertices al = (0,0), az = (1,0) and a3 = (0,1). If K is any triangle with ver-
tices aI' az and a3 (cf. figure 3) there exists exactly one affine mapping
(2.22)
that maps K onto K with FK(a ) =a for 1 <;;;i<;;;3. Furthermore, it can be easily
i i
shown that the matrix B is non singular and satisfies the following bounds :
K
(2.23)
where II· II stands for the matrix norm associated with the Euclidean norm of ]RZ.
LEMMA 2.1.
For each integer m> ° and for all real p with 1 <;;; p <;;; 00, the mapping
v ........ v=v 0 F is an isomorphism from ~,P(K) onto ~'P<i<) and the followiIl~
K
bounds hold
(2.25)
(2.26)
FIGURE 3
72
THEOREM 2.4.
ned by
!! P is invariant under
k
IT, i.e.
(2.28) -
Iv-ITv Im,p, K""CIIBKII k+\ B-I ml I
II K II v k + 1,p, K \fvE wk+l,p (K).
COROLLARY 2. I •
COROLLARY 2.2.
-
Let ClK denote the boundary of K. If P is invariant under IT E £
m
(Hm+l-
(K)
FIGURE 4
73
with more care. Since it appears from the above example, that Wh,a requires
(2.30b)
and ~ unchanged. As far as the degrees of freedom are concerned, we can choose
the values of the functions w E W (resp. qh E(jh) at the vertices a and at the
h h i
midpoints a .. of the sides of K (resp. at the centroid a123 of K), as in figure 3.
~J
For this choice, let US check hypotheses HI, H2 and H3 with Q, = I. We start
LEMMA 2.2.
Proof
Thus (2.31) is a system of six linear equations with six unknowns. Therefore
we must show that v=o => I1 v=O. Owing to (2.31) and (2.32), it suffices to
K
show that I1 v(a .. ) =0 for l";';;i<j";';;3.
K ~J
On [a. ,a.) , I1 V _ 4I1 v(a .. )A.A., and according to (2.31)
~ J K K ~J ~ J
J I1 v
K
da = O.
[a. ,a.)
~ J
As J A.A. da> 0, this implies that ]]Kv(a .. ) = O.
~ J ~J
•
[a. ,a.)
~ J
Clearly P2 is invariant under ]]K'
74
LEMMA 2.3.
(2.33)
Proof
In other words
Besides that, P - (at least) is invariant under lli. Therefore (2.33) follows
i 1
from (2.29) with p=2, m=j and k=i-1. •
Now, we are in a position to define the operator r
h
For each ~ E ('e (n»)2, we set
(2.34)
LEMMA 2.4.
O
J / r satisfies (2.7).
h
2° / If t h
is a regular family of triangulations of rl, then r
h
satisfies
(2.8) for £ = 2.
Proof
div r ....
v dx = - J IT ....
v·v -'> do = - J .......
v·v do =
JK h 3K K 3K
Therefore
i
2°/ Let us apply Lemma 2.3 to:;iE (H (Q»)2 for i=2 or 3 :
•
Thus, if th is regular, our operator r
h
satisfies HI.
the functions of crh have no continuity requirement across the interelement boun-
PhqlK=wKq = me~S(K)tq(X)dX'
From this definition, we derive immediately that Ph projects L~(Q) onto Mb.
Let qhEMb ; according to Lemma 3.2, Chapter I, there exists exactly one func-
. .... 1
tlOn vE V such that
(2.35)
• -+ 2
Then on each triangle K we define the funct10n v of (Wh,a) by
h
-+ -'>
vh(a i ) =wh(a i ) for 1 E;; i E;; 3
(2.36) -+ -+ ...
for 1E;;i<jE;;3.
I [a.(vh-v)do
,a.]
=0
1 J
Clearly the second equation of (2.36) makes sure that
-+
Hence v satisfies (2.18). The estimate (2.19) is established by the next lemma.
h
LEMMA 2.5.
bound :
(2.37)
Proof
(2.38)
I -+ -+
(eh-e)do =0
[a. ,a.]
1 J
..
-+
Therefore, in each triangle K, e is of the form
h
-+ \'-+
(2.39) e = L e (a .. ) p .. ,
h 1E;;i<j~3 h 1J 1J
where p .. =4A.A ..
1J 1 J
According to (2.26) :
hence
Besides that by integrating (2.39) over [a.,a.] and using (2.38), we get
1 J
77
Therefore
where II· II denotes the Euclidean norm of:R 2 ; then by (2.25), we have
Hence
~
I....e h 11 , K"; C6 II BK-1 II ( .... 2 .... 2
I
II e II 0 , K + II BK II 2 e 11 , K) •
thus
(2.40) , .... I
e h I,Q';;;CS h
( -2 .... 2
lIellO,Q +
1.... 1 2
e I,Q
) ~
....
It remains to evaluate the norms of e in the right-hand side of (2.40).
argument :
we find
THEOREM 2.5.
Let the solution (~,p) of the Stokes problem satisfy : ~ E [H 2 W)] 2 and
(2.41)
(2.42)
(2.43)
requires finite elements of degree two for the velocity in order to obtain barely
a first-order approximation. A closer look at the error estimates shows that the
loss of precision arises from the coarseness of the space ~ which yields a poor
p .. =4A.>...-12A1A2A3 ,1';;;i<j';;;3.
~J ~ J
P123 = 27A1A2A3'
n
*Let S = {ail be a set of N distinct points of lR • An N-dimensional space P of
real-valued functions defined on S is said to be S-unisolvent if for every set
of N real numbers {a } there exists exactly one function pEP such that
i
79
W = {WhE
h
'Co (i'i) VI.< E"C
h
}
(2.44)
O'h = {qh E L2 (Il) VI.< ~Lh}, ~ =(jh n L~ (I),
with the degrees of freedom of the functions of W located in
h
LK' Again, there
LEMMA 2.6.
For each KErh and for every function v of [H2(K)]2, there exists one and
Proof
(2.46) Q. = 1,2.
Since the right-hand side of (2.46) consists of known quantities and since
(2.47)
This takes care of the first part of hypothesis HI. The next lemma deals with
LEMMA 2.7.
(2.48)
Proof
(2.45')
!
K
by another operator I\E£((H 2 (K»)2;(P )2) defined by
-+"'-+ -+
Now, it suffices to evaluate the difference ITKv-ITKv. Obviously, ITKv and
-..,.
~v coincide on the vertices and sides of K. Hence,
Therefore,
(2.51)
Next,
- + +
By (2.45') and (2.46) and since IIKv = IIKv on aK, we get:
I
K
I
(IIKt-ITKt) £.dx = a/£. Yv (ITKt-t)do for £. = 1,2.
Also
(2.52)
Let us revert to the reference triangle in the above line integral. Let K' be
a side of K. lJithout loss of generality, we can assume that K' and its corres-
ponding image K' lie respectively on the xl - and xl - axes. Then, the jacobian
Therefore
Hence
(2.53)
hence, by (2.23)
(2.54) for k =1 or 2.
(2.55)
Proof
For the sake of brevity, we omit the proofs of the other two parts, as they
lateral elements with the same order of accuracy. This method can also be
The methods we have studied lead to a large system of linear equations in-
volving both t and Ph' Rather than solving this system directly (by means of a
h
Gauss method, for instance), we can reduce it to smaller systems by separating
. -+
the computat10n of u from that of Ph' This can be achieved by the regulariza-
h
tion algorithm developed in Chapter I §4. Let us first apply it to the conti-
x = [H~ (n)] n,
c(p,q) = (p,q).
- vL'lt + grad p = £~
in n,
(Q) div ~ = 0
-+E
u Ir = ...O.
By eliminating pE, we get an equivalent second order elliptic problem with no
constraint on ~ :
Now, let us apply this technique to the general discrete problems of sec-
E:
tion 2. I. Problem (Qh) is
d -+E: E:
a pair (uh,Ph) E X x ~ such that :
h
(Q:) \ (2.::: -+£-+ E. -+ -+-+
a(uh,v h ) - (Ph,d~vvh) = <f,vh >
( (2.58)
Therefore, we can eliminate P~ from (2.57) and we get the equivalent analogue
of (pE:) :
~hE~.
be easily computed. But this is precisely the case of the examples of sections
2.2 and 2.3 because the functions of Hh are discontinuous and therefore Ph is a
Using again Theorem 4.3, Chapter I, one can easily check that
(2.59)
Remark 2.3.
-+
It is also possible to calculate u and Ph separately by the duality method
h
of section 4.4, Chapter I. When applied to problem (Q), the duality algorithm
gives :
-+
Find a pair (u + ,A + )EXX!1 such that:
m 1 m I
(Q )
m
85
Here y =1 and a(r) = r. For r>O. Theorem 4.4, Chapter I asserts that if
lim{II~-~ U + IJA-A 11 } = O.
m- m x m M
Note that the first approximation P~ may be chosen in ~h (i.e. need not be taken
Indeed, the examples we gave made use of continuous velocities with a small but
non-vanishing divergence.
Here, instead, we shall develop a finite element method based upon discon-
problem (Q) is
These two hypotheses guarantee that the problem (Q) and its corresponding pro-
I
(P) (I.5)
Find u in VeX) such that
a(u,v) =<.t,v>
Xc+ X, Mc+ M,
d d
where the sign ~ means that the imbedding is dense and continuous.
d
Next, we consider two continuous bilinear forms
and we set
11-;:11 a(u,v)
p- -';-11u"'-*II"'-x'-:i"'<v""I:-I- '
syEu lib II
u, X Il
x
These two bilinear forms are extensions of a and b in the sense that
(I. 7)
In addition, we assume that .t, the right-hand side of (1.1), belongs to X',
the dual space of X, and we denote by <.,. > the duality between X and X'.
(Q)
I (1.8)
(1.9)
-;:(~,v) +b(v,~) = <.t,v>
b(~,jl) = <X,jl>
'\;JjlEM.
(1.10)
(I. 11)
In order to analyze conveniently problems (P) and (Q), we make the follo-
(1.15)
This condition is indeed weaker than the ordinary inf-sup condition (4.9), Chap-
not sufficient to ensure that problem (Q) is well posed. The next theorem tackles
this difficulty.
THEOREM I. I .
1°/ If a satisfies (1.14), then problem (P) has exactly one solution u in
Proof
1°/ The ellipticity of a and the condition (1.4) on b imply that (P) has
one and only one solution u in y(X). If uEy(X), we see from (1.6) that ~ is a
solution of (P) ; hence u = u, since (P) has exactly one solution. Otherwise, we
assume that y is dense in y then (1.5) and (1.6) imply that u is a solution
of (P). Therefore u = u.
89
2°/ In addition, suppose that AEM. Then, by virtue of (1.6) and (1.7),
(I. I) becomes:
must prove that (Q) has a unique solution. Obviously, its first component is
b(v,A) =0
problems (P) and (Q) is simpler than that of problems (P) and (Q). •
Again, we define
(I.19)
and
(1.20)
90
(J .22)
(J .23)
THEOREM 1.2
1°/ Suppose Vh(X) is not empty and a satisfies (1.22). Then problem (Ph)
has one and only one solution u E V (X) and the following error bound holds :
h h
(J .24) II a II)
II u-u 11-";;; ( I +--
h X a*
!b(vh,A-lJ h )!
II V h IIi
2°/ Suppose b satisfies (1.23). Then Vh(X) is not empty and problem (Qh)
has exactly one solution (uh,A ), where u is the solution of (Ph)' Furthermore,
h h
A satisfies the error estimate:
h
(J .25)
Proof
1°/ The idea of the proof is similar to that of Theorem 1.1, Chapter II.
The existence and uniqueness of the solution u of (Ph) follows from (1.22) and
h
91
that is
(1.26) - - -
a(vh,v h ) =a(u-wh,vh ) +b(vh,A-ll h )
Therefore Vh(X) is not empty and (Qh) has exactly one solution (uh,A ), where u
h h
satisfies (Ph)' Moreover, the following equation holds for any v in ~ and
h
sion like inf lIu-v ll'X. In fact, it is possible to reduce this expression
h
vhEVh(X)
(1.27)
92
COROLLARY I. 1.
Under hypotheses (1.22) and (1.23), problem (Qh) has a unique solution
(uh,A ) and there exists a constant C, depending solely upon 0.*. S*. 11-;;11 and
h
lib II • such that
( J. 28) lIu-u lli+ IIA-A Il .;; C{(I +S(h)} inf lIu-v lli
h h M h
vhE~
+ inf IIA-].1hIlM}'
].1hE~
Proof
(1.29)
b(v ,].1 )
(l .30) sup h h ~ ~*(S(h)}-l lI].1h ll M "].1h E~.
IIvh IIi
vhE~
B*(S(h)}-1 and we can proceed exactly like in the proof of (1.12), Chapter II.
Thus, we obtain :
e*
II u-wh II i';; ( 1 + S (h) lib II) II u-vh II i
We shall see in the examples that S(h) usually depends upon the dimension
M tends to infinity.
h
93
and approximate the Stokes problem. For the sake of simplicity, we restrict our-
whose components are denoted by r i' for 0';;; i .;;; p, (cf. Figure I). For t given in
As usual, we set y = {~E [HI (0)]2 div~= OJ, and its corresponding space of
o
of stream functions :
<l> = { ~ E H2 (0) ; ~ Ir 0 = 0,
~Ir. = an arbitrary constant ci' I';;;i';;;p, ;~lr=O}.
1
two problems
.
Find u E y such that
(2.2)
v(gradli,gra'd~) = (f,~)
As (2.2) and (2.3) are equivalent, we can use either one according to convenience.
Find ~ in Y satisfying :
(2.4)
I -+ -+
v(curl u,curl v) = (f,v)
-+ -+
";f~Ey .
(2.5)
-+
Find (u,w) EYI satisfying
(2.6)
a one-to-one correspondence between 4> and Y by the relation : -flep = curl ~. Thus,
we can write
(2.7)
tional unknown. But a look at (2.7) shows that problems (PI) and (P2) are not
relax the regularity of the test functions, while retaining their divergence-
the subscript I. This is precisely the type of problem studied in §I, with the
and
Then the space V defined by (2.5) is {vEX; b(v,lI) =0 \1I1 E M} and problem (Q)
<t,t)
I
(2.9) a(u,v) + b(v,A) = \1v E X,
(Q)
(2.10)
THEOREM 2. I .
+
(2. II) u = (~,curl ~), A = v(curl u)
+
where u is the solution of Stokes problem (2.1).
Proof.
I t remains to show that A=vw. Indeed, let v=(t,S)EX and let u=(~,w)EV
and
Then
;={~EHI(rl) ; ~Iro=a,
~Ir. =an arbitrary constant c.,
1
1 <;;;i<;;;p},
1
(2.12)
The problems (P) and (Q) associated with these spaces and norms are :
(Q) (2.13)
(2.14 )
-+
_ \ Find U = (u,w) E -Y such that
(P) -+ -+ -+ -
(2.15) v(w,e) = (f,v) "Iv = (v,e) Ey.
-+
a(v,v) =vllell6 n for v= (v,e)Ey .
,
But by taking jl = ~ in the expression (2.12) of y and applying Poincare's ine-
take v=(O,-v) in X; this yields directly the inequality (1.15) with ~=1.
LEMMA 2. I.
y=y.
Proof
Let v= (~,a)EV and let us extend ~ and a by zero outside 1"2, i.e., we set
::t
v= l~->-
::!:-
v= (v,a).
o
->- ->-
Thus 8EL Z (RZ) and ~EH(div;lRZ) with divv" O. Furthermore,
fR Z(;.c~v-ev)dx"O "vEHI(RZ).
As a consequence,
->-
a " curl v in ]RZ
->- ->-
Now, on one hand V'v" 0 on r and on the order hand
Therefore ii·:; =0 on r. Hence ~E (H~(rl»)2 and VCV, thus proving the equality. •
From Theorem 1.1 and the above results, we infer the next theorem.
THEOREM 2.2.
->- ->- ->- •
Problem (P) has a unique solution u = ( u,curl u) E V. where u 1.S the solution
of the Stokes problem. Moreover, if curl ~ E HI (>1), problems (Q) and (Q) are
equivalent.
stream functions. Thus, by setting X" <I> x LZ(>l). we get problem (QZ) associated
Then Theorem 2.1 implies that problem (Q) has the only solution:
(ljI,w= -lIlj1), 1..= vw), where ljI is the stream function of ~ in <1>, and. as usual,
(2.18)
(Q) (2.19) v(w,e) + (cur! </l.curlA) - (e.A) = (f,c;;rt </l) "(</l,e) EX,
Likewise, if lIlj1EH 1 (rl). Theorem 2.2. asserts that problem (Q) is equivalent to
problem (Q).
Throughout the remainder of this paragraph. we shall suppose that the con-
clusions of Theorem 2.2. hold; this will enable us to work indifferently either
Then we set
(2.22 )
According to the definition (2.18), ~ CX and ~ CM. The next two lemmas
LEW·fA 2. 2 •
that
(2.23)
(2.24)
Proof.
But, since 4>h C 4>, we can apply Lemma 3.1, Chapter I, to <Ph
(2.25)
Proof
we have :
•
100
THEOREM 2. 3 •
(2.26)
Proof.
Part follows immediately from Lemmas 2.2 and 2.3 and Theorem 1.2.
Let us show that A = VW • First we remark that when 0 =~, each function
h h h
$h of ~h has a unique function 8
h
in ah such that the pair ($h,8 ) belongs to Vh'
h
Next, as 0 = ~C HI (>I), we have :
h
(2.27)
(2.28)
(2.29)
When 0 =~, we can eliminate entirely the Lagrange multiplier A from pro-
h h
blem (Qh)' The equations for (ljJh'w ) become
h
the problem :
101
•
From Corollary 1.1 and Theorem 2.3, we derive the next corollary
COROLLARY 2. 1.
specify the choice of the spaces <!>h' 0 and ~ and thereby evaluate the quantity
h
S(h).
For a given integer £;;. I, we choose the following finite element spaces
(2.33) "KEr
h
1.
(2.34) <!> =o n'$={<p EtO(Q) •
h h h '
<P I
hK
EP
£ "K E L'h' <Ph 1 r a = 0,
<Phl
r 1. = an arbitrary constant c i ' 1 ';;i';;p}.
LEMMA 2.4.
h, such that
Proof
I: h and let Kbe its reference triangle, as in figure 3. By Lemma 2.1, Chapter II,
we have
(2.36)
-I ~
As "BK ,,<:. c,.1 PK and since t-
h
is uniformly regular, we find :
(2.37)
(2.38)
Hence
Let 't' h be a uniformly regular fami ly of triangulations of >l and let the spaces
~h' 8 h and ~ be defined by (2.33) and (2.34). Then, if ~=cm1ljJ E[HH1(>l)]2 for
an integer £;;. 2. we have the error bound:
(2.39)
103
Proof
Therefore, we must derive an estimate for IljJ-<phI1,n' IIw-S h ll o ,n and IIvW-11 h ll l ,n'
Now, our spaces 9 h , ~ and <l>h are classical and there exists a standard interpo-
(2.41)
HI
Then, if the stream function ljJ belongs to H (n), we have the bound
(2.42)
(2.43)
and
(2.44)
Upon substituting (2.42), (2.43) and (2.44) in (2.40) and using (2.35),
we get
•
Remarks 2.3.
10 / Note that the estimate (2.39) holds provided ~ = cw::i ljJ belongs to
Theorem 2.4. A refined analysis proving the convergence and optimal error esti-
mates can be found in [23]. Otherwise, it can be shown that the method is of or-
der one when the triangulation is generated by three families of parallel lines
(cf,[24]). •
C HAP T E R IV
tional problem analyzed in §4, Chapter I. This family of non-linear problems con-
We retain the notations of the linear problem. Namely, we consider two real
Hilbert spaces X and M (normed respectively by II· II X and II· 11M) and a continuous
defined on X x X x X :
a(w;u,v)
form on X x X. Then, for a given element 2 of X', we consider the following problem:
(I. 2) b(u,lJ) =0
(I.4) Bu = 0 in M' •
Find u E V satisfying :
blem (P). The converse can be established as in the linear case. And therefore,
the real difficulty here lies in solving the non-linear problem (P). To begin
THEOREM I. I •
space and let F be a continuous mapping from C into C. Then F has at least one
fixed point.
COROLLARY I. I .
(I. 7) P(f)=O.
Proof
P(f)
f ~ - ~ l'P"(I)f
obviously convex, compact and non-empty, we can apply Theorem 1. I asserting that
P(f)
f = - ~TPTIIT
THEOREM 1.2
(ii) the space V is separable and the form u r+ a(u;u,v) is weakly conti-
nuous in V, i.e.
(l.9) urn -+ u weakly in V (as m->-oo) implies that lim a(um;um,v) = a(u;u,v) 'r/vEV .
m->-oo
Proof
(i) for all m;;'l, the element:sw , ... ,w are linearly independent,
l m
(ii) the finite linear combinations of the Wi's, Ii t;.w., are dense in V.
~ ~
Find u E V satisfying
(P )
m
I (I. 10)
m m
Our object now is to show that for each m, (Pm) has at least one solution
urn. Then, we shall construct a sequence (urn) by taking for each m one of these
solutions and establish that any such sequence (urn) converges towards a solution
of (P).
In particular,
*
Hence, we choose s> II R. II and 'VvEY such that IIvll = S, we have
m x
(P-m (v), v) > 0 •
Combined with (1.10), with large enough m=m ' this yields
p
by density
a(u;u,v) = <R.,v>
(i) form a is uniformly elliptic with respect to w that is, there exists
that 'fJE,>0 :
(1.13) 'fJu,vEy,
THEOREM 1.3.
Suppose that (1.12) and (1.13) hold. Then, under the condition
Proof
I
(J • 15) IIT(w) 1I£(y' ;y) <"(l"
A(u)u = 2 in y' ,
Le.
u=T(u)2in V.
109
I
II T(u)-T(v)11 £ (y' ;y) <;;;-a2 II A(v)-A(u) 11£ (y;y')
thanks to (1.14). •
Remark J. 1.
Since the mapping v ~ T(v)£ is a strict contraction in D~, its fixed point
or equivalently by
'f/vEy
Then
Note also that uQ need not be picked in D~, since for any uQ in y,
THEOREM 1.4
Then, for each solution U of problem (P), there exists a unique A in M such that
110
Proof
Now, if uEy is a solution of (P), then ji,-A(u)u belongs to yO, the polar set of y.
Chapter I). Thus there exists a unique A such that (U,A) is a solution of (I.3)a
Remark 1.2
Under the assumptions (1.12), (1.13), (1.14) and (1.16), we can extend the
iterative scheme of remark 1.1 to solve problem (Q). More precisely, starting
The general non linear theory of the preceding paragraph is applied here to
the stationary Navier-Stokes equations. The major theoretical tools are recalled,
The notations used here are those of section 1.1, Chapter I. The first
theorem is concerned with the Sobolev inequalities and the corresponding compact-
THEOREM 2. I •
Let mEl'l with m;;> I and let pER with I ';;;p';;;oo. If Q is an open subset of R n
111
with a Lipschitz continuous boundary r, then the following imbeddings hold alge-
Provided .!.=.!.-~>o
q p n '
(2. I) "q with 1';; q <00 provided .!. =~
--- p n
prov1ded
'-- -pI <m
.
-.
n
I
Moreover, if 0 is bounded, the canonical imbedding of W ,P(0) into Lq1 (0)
whenever .!.=.!.-.!.>o
q p n '
(2.2)
when p;;'n.
Remark 2.1.
q
L (0) if .!. =.!. - m-~ > 0
q p n '
L ql
oc
(0) "q . I m-~
1£ -=--
p n
.
if .!.<m-~
p n
space most often used is Hl(0). Theorem 2.1 gives the following algebraic and
topological imbeddings
compact for :
The conclusion of Theorem 2.1 is also valid for the fractional Sobolev space
S
H (0) for s ER+, Let us recall the following defini tions
112
s
t; ....... (I+t;2)'T V(OEL2CR~)},
normed by
normed by
IIvll S
, Q= inf II ;,; II s,Rn ;
-vEH s (Rn ) ,v-I Q=v
H~(Q) and H-s(Q) are defined exactly in the same way as in (1.4) and (1.5), Chap-
this definition yields the usual Sobolev space with, of course, an equivalent
norm. As far as the Sobolev imbedding is concerned, the following result holds
THEOREM 2.2.
lIs 1 s
(2.3) p=Z-n:, provided Z-n:>O'
Finally, the next theorem states briefly the main property of interpolation
in Sobolev spaces.
THEOREM 2.3.
Let 6E [0,1], let si and t be two pairs of real numbers with O<;;ti<;;si'
i
for i = J ,2 and let £i and £6 denote respectively £ ( HS'l(Q);H tl(n)
· ) and
sI
" " H(J-6)t 1+6t2 (,,»).
£(H (I-6) 1+6s2 (,,) " . £ 1 n£ 2; then IT
Let IT be an operator ln
Dirichlet problem
We know that uEH6(Q) when R- belongs to H-l(Q) and that uEH2(Q)nH6(Q) when R-
sE[o,Il,then
~
-
->-
vilU + t. u.
j=1 J x j
ad~ -+
+ grad p = f in Q,
(2.4) div~=OinQ.
n
where again Q is a bounded domain of R with a Lipschitz continuous boundary r.
In order to write problem (2.4) in a variational form, we introduce the trilinear
functional
(2.5)
and
LEMMA 2.1
3
For n';;; 4, the trilinear form al is continuous on [(HI (Q)) nj •
Proof
II w.~Uiv.dXI';;;CIlIw·1I1
Q J oX j 1 J,..
,,!U·'1
1
"lIv.1 II I , ,,'
,.. ..
~
Thus the form al is well defined and continuous on [(HI(Q))~ and
(2.6) •
LEMMA 2.2
have
(2.7)
(2.8)
Proof
au.
=-
I ~v. w. dx.
QOX j 1 1
Hence
(2.9)
(2.10)
lFind a pair (~,p) in V x L~(S"l) such that
a(~;~,~) - (p,div~) = (f,~)
THEOREM 2.4
n
Let n";4 and let S"l be a bounded domain of R with a Lipschitz continuous
boundary r. Given a function 1 ~ (H-1(S"l»)n, there exists at least one pair (~,p)
Proof
We apply the material of §I as follows. Wi th X= (H~ (n») n normed by \.1 1, S"l '
and
we can consider that (2.10) is a particular case of problem (Q) of §I. Thus, we
must check the hypotheses of Theorems 1.2 and 1.4. First, by virtue of (2.7), we
get
+++ ++
a(u;v,v) =aO(v,v) =v 1+1
v 21, S"l
Now, let tE l1 and let us take the limit of a(~ ;~ ,t). According to (2.8), we
m m
have
( ~ at
L. u 'a' u •
+ + + + + + +)
al(u ;U ,v) = -al(u ;V,u ) = -
m m m m j=1 mJ X j m
+
As ~E (Loo(S"l»)n and lim u , u . =u. u. in L1 (S"l), it follows that
aX j m+oo mJ m~ J ~
116
n -+
lim aj
m--
(~m;~m'~) = - ( l:
j=1 J
u. f-,-;i)
x j
Thus the hypotheses of Theorem 1.2 are satisfied and therefore problem (2.10)
that the form b satisfies the inf-sup condition of Theorem 1.4. Therefore, for
each solution ~ of (2.10) there exists a unique p in L~(Q) such that (~,p) satis-
fies (2.10). •
In the sequel, we shall concentrate on the approximation of nonsingular
DEFINITION 2.1
F' its derivative, and let uEX be a solution of the equation F(u) =0. We say
VvEX .
is given by :
(2. 1 1)
117
(2.12) Vi;.Ey.
is well posed.
it will be very useful to introduce the operator K = K-+ E £ (X;y), depending upon
Uo
a parameter ti~ E X, and defined as follows :
for each i;. EX, Ki;. is the solution in y of the Stokes problem
(2.14)
LEMMA 2.3
into y.
Proof
where -+ -+
-+
n au auo
g= L {u~ -
. 1 J ax.
+ u.-~-}.
J aX.
J= J J
au.
In this expression, ~EL2(Q) and uQEH l(Q)CL 4 (Q) when n';;;4, by virtue of (2.1)
aX. J o
Hence gE (L~(Q»)n. As ~he hypotheses of Theorem 5.2, Chapter I, are satisfied,
118
LEMMA 2.4.
Proof
Now, we turn to the global uniqueness of the solution. For this, we intro-
(2.16)
THEOREM 2.5.
(2.17) N
711£11 * <1,
then the Navier-Stokes problem (2.10) has a unique solution (~,p) in YXL~(0.).
Proof
Here again, we make use of §I, and more precisely of Theorem 1.3. We have
already proved property (I. 12) with a. = \! and it suffices to establish (1.13).
-+ -+ -+ -+
Let u,v,wI and w2 E y ; we have:
119
Therefore, a satisfies (1.13) with L(O =N ~~. Then condition (2.17) coin-
cides precisely with (1.14). Hence the conclusion of Theorem 1.3 is valid. •
Remark 2.2.
In view of Remark 1.2, we see that the conditions of Theorem 2.5 are suffi-
o. •
Remark 2.3.
Condition (2.17) implies that the solution ~ is not only unique but also
c(u,v,v) - v 1+1
-+.-+ -+ _ -+.-+ -+
v 2I , n + al (v,u,v)
+ J + *
But since luII,n';;vllfil ,this implies that
+++ (v-vlltll
c(u;v,v);;' N -t: *)1+1
v I,n
2
Let us now examine the two-dimensional case. Recall the space of stream
I';;i';;p, ~~lr=O}.
In terms of stream functions, problem (2.10) reads as follows
120
The next theorem establishes that these two problems are indeed equivalent.
THEOREM 2.6
-+
Problems (2.10) and (2.19) are equivalent in the sense that if (u,p) is a
-+
solution of (2.10) then the stream function ljJE <l> of u satisfies (2.19) ; con-
versely if ljJ is a solution of (2.19), then there exists exactly one element p
Proof
where cm:! ljJ :, ~ and cm:! 4> = ~. This takes care of the viscous term.
(2.20) -+-+-+
aj (u;u,v):, f
g curl -+
u (UjVZ-uZvj)dx
au, 1 a z z -+
~=- --(Uj + uz) - Uz curl u,
axz 2 aXj
~
,
1 a z
=-2 ~Uj + uz) + Uj curl u.
z -+
oXz oXz
-+-+-+
aj (u;u,v) 1 z z
:, -z(Ul +uz,div -+
v) - Jgcurl U (uZVj-ujvz)dx.
-+
Hence (2.20) holds for all ~ and ~ invr, and by density for all ~ and; in y.
(2.21)
in y satisfying
(2.22)
is equivalent to (2.19). •
121
~I =0
av r '
I r.1
(v.1-lI~-Y
an T
f)do=O
'
I';;i';;p,
a
where the last equation is formal and an denotes the normal derivative.
establish can be extended to the discretization of the general non linear pro-
blems described in §I, but for the sake of simplicity we prefer to restrict the
of §2.
The finite element method proposed here is the one we introduced in Chap-
ter II, §2 for solving the Stokes problem. But now, the situation is more com-
plicated and we split the discussion into two cases according that the solution
is unique or not.
we assume that
(3.1) N ->-
\izllfll * ..;; ]-0 for some 0>0.
Next. we set
form aI, which plays a fundamental part in this section (cf. Lemma 2.2). For this
al is antisymmetric with respect to its last two arguments. Therefore, the re-
suIts of §2 are still valid if we replace everywhere al by al' Here, we work ex-
(3.2)
and
Find ~h in Vh satisfying
(P )
h
l 0,4)
Just like in the linear case, we begin by examining problem (Ph) and showing
.... ..-
the convergence of u toward u.
h
THEOREM 3.1
0.5 )
then this solution is unique and is the limit of the sequence defined by the
iterative scheme:
0.6)
Hypothesis HI
There exists a mapping r E£ ((H 2 (Q) nH~ (Q)) n;~) and an integer £ such that
h
0.7)
0.8)
VmEN with •
Hypothesis H2
0.9) •
With these hypotheses, we can prove the following result.
LEMMA 3.1.
If Hypotheses HI and H2 are satisfied, then
lim N = N,
.... *
lim IIf II h = II fII
.... *
h
h+o h.... o
Proof.
We just prove the first assertion, since the proof of the second statement is
........ ....
the same. As the dimension of Vh is finite, there exist functions u ' v and wh
h h
in V such that
h
124
(3. JO)
and
(3.J J)
(3.12) -+
u ->- ...
u , -+
v ->- ... -+...
v , w ->-w weakly in ( )n
H~ un as p -+ '"
h h h
P P P
and
.
11m N =N *
h
p-+oo P
*
Let us show that N = N. The proof proceeds in two steps •
......
and hence, by density div u = O. Therefore u EV and the same holds for v
... ...
and w .
Now, since the dimension nE;;3, H~('l) is compactly imbedded into L'+('l). There-
. -+ ...
l~m u =u ,
h
p-+oo P
Hence
* au* i *
-,-v. dx.
J'lw.
J oX
j ~
(3.13)
Finally, from (3.10) and the lower semi-continuity of the norm for the weak
Whence
Thus
Therefore lim N =N. The uniqueness of this limit implies the convergence
h
p-- p
of the entire sequence, i.e.
lim N =N.
h •
h-+o
THEOREM 3.2
(3.15)
Proof
small so that
(3.16)
126
. +
Then, by virtue of Theorem 3.1, problem (Ph) has exactly one solut~on u
h
in Yh '
-+. -1- -+ -+
Let v be an arb~trary element of Y , let w =u -v and consider the expression:
h h h h h
Therefore,
+
1u
I .::
h 1, (l ~ v1 II +f II *h .
Hence
(3.17)
+
But since w Ey , this can also be written as follows:
h h
or equivalently,
This implies
(3.19)
....
where C2 depends upon v, 0 and u but not upon h. The theorem follows from (3.19)
(2.12)
where c is defined by :
(2. I 1)
....
In this case, we intend to show that problem (Ph) has a unique solution u h in
.... ....
some neighborhood of the projection IThuQ on V • \Vhen UQ is sufficiently smooth,
h
this neighborhood should yield a good error estimate. Finally, we want to esta-
.
b11sh that u
....
can be efficiently computed by Newton's method •
h
....
More precisely, let IThuEV be defined by :
h
(3.20)
Le.
....
by IT uQ. This is achieved with the help of the operator ~ E £ (X;Vh ) defined as
h
follows :
.... ....
for each uEX, ~u is the solution in V of the approximate Stokes problem
h
128
(3.21 )
(3.22)
LEMMA 3.2.
Let Hypotheses HI and H2 be satisfied and assume that Q satisfies the regu-
lim IIK-~II£(x.X) = O.
h->o '
Proof
~ ~ ~
Let uOEV and uEX. As mentioned in the proof of Lennna 2.3, KuEV satis-
fies
(3.23)
(3.24)
.
Le. ~u
~
is an approximation of the solution zEV
~
of the Stokes problem
(3.25 )
~~
jKu-z!
I ~~
";;-lIg-g II
*
I,Q \! h
and
Thus
~ ~
IIg-g II *
h
Hence
(3.26)
(3.27)
129
Then, Theorem 1.1, Chapter II may be applied to (3.27) and (3.24), yielding the
error bound
(3.28)
(3.29)
Furthermore, it follows from Theorem 2.2 that \.,z'~(n) CH~(n) and Wl'~(n) CH~(n).
Hence
(3.30)
Then we can use Theorem 2.3 on the interpolation in Sobolev spaces in order to
Thus the operator I-Ph belongs to £ (M;M) () £ (M nHl (n) ;M). Therefore, according
Hence
(3.32)
(3.33 )
130
LEMMA 3.3.
Under the hypotheses of Lemma 3.2, there exist two constants ho>O and
(3.34)
Proof
-1
I + ~ = (I + K) [I + (I+K) (~-K)].
But according to Lemma 3.2, there exists h o > 0 such that, 'Vb.'-; h o
-1
II (I + K) (~-K) II£(X;X) < 1.
(3.35)
0.34')
131
• -+
Now, we are in a position to establish the existence of a solut10n u of
h
-+
problem (Ph) in a neighborhood of II uQ'
h
LEMMA 3.4
• -+
Under the hypotheses of Lemma 3.2, problem (Ph) has at least one solut10n u
h
-+
in the ball B C Y with center II uQ and radius tR I (h), where lR I (h) is a constant
h h h
such that
(3.36)
Proof
-+
Let Th:Yh>-+Y be the mapping which associates with each v EY the element
h h h
-+ -+
<Ph = T v defined by
h h
(3.37)
Clearly, owing to Lemma 3.3, the mapping T is well defined by (3.37). We propose
h
-+
to establish that T has at least one fixed point in the ball B centered on IThuQ
h h
and with radius tRI(h). It follows from (3.37) that each of these fixed points is
Hence,
(3.38)
....
On one hand, by virtue of Lemma 3.3, we can take w in
h
Vh such that
....
On the other hand, for this w (3.38) gives the upper bound,
h
+ II P-qh II 0,11
Therefore,
where
....
Hence T maps into itself every ball with center IThuQ and radius ~, for all posi-
h
tive numbers ~ that satisfy :
and
~ (h)
1
= 1 -y'l - 4AE(h)
2A - £(h)
1
~ hen h ....... O.
(3.39)
starting from an arbitrary ~~ in V , The next lemma establishes the existence and
h
convergence of this sequence,
LEMMA 3.5
Under the hypotheses of Lemma 3,2, there exists a constant p>O such that
(3.40)
-+m
implies that the sequence (u ) is well defined by (3.39) and
h
N
(3.41 ) -+m+1 ->- I ,,;:: 1-+m+1 ->- I .;;; hl-+m ->- 1 2 'li/m;;"o,
1uh -uh 1 , n"" p , uh -~ 1 , n :- y
uh - u h 1 , n
Proof.
p
Suppose that h is small enough so that !HI (h)';;;2 .Then, according to Lemma 3.4,
. ->-
problem (Ph) has at least one solut~on u such that
h
(3.42)
(3.43)
Then,
. I'~es t h at ->-m+I,
Th ere f ore, Remar k 3 , 1 ~mp u ~s well
,
def~ned by ( 3.39). Besides that,
h
by virtue of (3.39), (3.4) and (2.11), we have the equality
134
->- ->-
In other words, if the first approximation u~ is sufficiently near to IThuo then
->-m ->- ->-0
the sequence (u ) converges quadratically toward uh . Furthermore, since p and u
h h
are independent of the particular solution ~h' it follows that problem (Ph) has
->- • ->-
exactly one solution u 1n the ball with radius p and center IThuo. These results
h
are summed up in the following theorem.
THEOREM 3.3
Suppose that n satisfies the regularity assumptions of Lemma 2.3 and that
vier-Stokes problem, there exists two constants ho>O and p>O such that for
all hE (0, hoI problem (Ph) has a unique solution ~h E Y in the ball wi th radius p
h
and center ITh~O' Moreover, if (~O,p)E (Y()(Hm+l(n»)n]x (L~(n)nHm(n»), we have
I~O-~hll,n":Chm{II~Ollm+I,n+llpllm,n}forI":m":.t.
->-k •
then the sequence (u ) def1ned by Newton's method
h
->-
converges quadratically toward u .
h
135
Remark 3.2
We can apply here the arguments developed for the Stokes problem in order to
mixed finite element method developed in Chapter III. The discussion is restricted
dary r.
Recall that the Navier-Stokes problem can be stated in terms of stream func-
tions as follows
y={vEX
136
Finally, we set,
As mentioned in Section 3,3, Chapter I, II t>cp II 0 I< and II cp II 2 I< are two equiva-
, ,
lent norms on 1>, Hence the mapping v= (cp,8) ....... 11811 I< is a norm on y, equivalent
0,
to the product norm. Therefore, it is natural to define the norm of al on y3 and
of ~ on y' by :
lal (w;u,v) I
(4.7) N= sup
u,v,WEy 11'(11 0 ,1< IIwll o ,1< 11811 0 ,1<
(4. II)
THEOREM 4.1
1°/ Problem (P) has at least one solution u=(W,w) iny. Moreover, if
(4.12) AII~II*
v
< I,
2°/ For each solution u of (P) there exists a unique element A in M so that
Proof
and 2.5.
137
Just like in the linear case, we propose to relax the regularity of the
Note that by Sobolev's imbedding Theorem 2.1, the form al(wju,v) is defined and
Next, we define :
(4.14)
(4.15) y = {vE X
y = y.
Therefore problem (P) coincides with problem (P), and problem (Q) associated with
(Q)
I Find u E Y and AE M satisfying
As in the linear case, we have the following equivalence theorem with a similar
proof.
THEOREM 4.2
The set of solutions (u,A) of problem (Q) coincides with the set (u,A) of
(4.17)
According to Lenuna 2.2 Chapter III, the mapping vhl-+-lIehllO,Q is a norm on V uni-
h
formly equivalent to the norm
We set
(4.18)
Similarly, we set
* < R.,vh >
(4.19) 1IR.ll = sup --~
h
vhEVh Ivhl
a(~;~,vh) +b(Vh,A
h ) = <R.,vh >
(4.21)
result.
139
THEOREM 4.3.
(4.22)
N *
VZh Il .Q,lI h <l,
logue of the compactness property of the canonical imbedding from H2 (n) into
Hypothesis HI
(4.23)
LEMMA 4.1
Then
lim N = N and lim II H *h = II.Q, II *.
h+o h h+o
Proof
Let us briefly establish the first limit since the proof is much the same
as that of Lemma 3.1. Let u ' v and w be three normalized elements of Y that
h h h h
realize the maximum in (4.18), i.e.
140
and luhl = Ivhl = Iwhl = I. Then from Holder's inequality and (4.23), it follows
that
and from the equivalence of norms, it follows that II u II, IIv II and IIw II are
h h h
bounded. Therefore, we can extract a subsequence h from h such that
p
Now, u*EV thanks to (4.25) and the fact that <I> is a closed subspace of H1(Q).
· ,I,
1 ~m "'h =
,I,
"'* t
e c...
~n
L
wl ,4(n).
"
p-+<» p
Therefore
lal(w*;u*,V*)I
N;;;' ;;;'N*.
Iu* II v* II w* I
THEOREM 4.4.
1°/ If the condition (4.12) holds and if the solution u= (ljJ,w) of problem (P)
satisfies wEH1(Q), then for all sufficiently small h problem (Ph) has a unique
solution u E V and
h h
141
(4.26)
~ E V of
2° / In the general case, as h tends to zero, the set of solutions
h
1
problem (Ph) has at least one limit point in the weak topology of H (Q)xL 2 (Q).
Proof
(4.27)
Nh * 0
vz-IIR.11 h '" 1-'2
holds for all sufficiently small h. Hence, by virtue of Theorem 4.3, problem (Ph)
i.e.
(4.28)
(4.29)
Therefore
Hence, the set of solutions of problems (Ph) remains bounded in norm II' II when
h tends to zero. Therefore this set has at least one limit point in the weak
topology of Hi(Q) xL 2 (Q). Let u= (ljJ,w) be one of these limit points; then there
where Jl denotes the projection operator on Yh for the norm II· II . Hence
h
conclusion to that of Theorem 3.3. For further details the reader can refer to
Giraul t & Raviart [231 •
143
4.3. APPLICATIONS
namely :
LEMMA 4.2.
With the above choice of spaces and assumptions on Q, there exists a cons-
Since Q is plane, bounded and convex, <j>(h) belongs to H2 (Q) nH6(n) and
(4.32)
(4.33)
144
(4.35)
(4.37)
(4.38)
(4.39)
Remark 4.1.
The above argument remains valid when ~(h) only belongs to Hi(Q). Indeed, by
145
Theorem 2.2, H~UI) CW I ,4(rI), therefore (4.33) still holds. Besides that, we
and
LEMMA 4.3.
Proof
The idea of the proof is much the same as that of Lemma 4.2. Again let
Therefore,
weak lim ¢(h) = ¢ in H6 (rI),
h->-o
since weak lim 8 = 8 in L2 (rI). Furthermore, by virtue of (4.32),
h
h->-o
weak lim ¢ (h) '" ¢ in H2 (rI) .
h->-o
Hence
lim(cjlh""tUh~(h)) =0 in I
W ,4(n).
h+o
Finally, by applying again this theorem to all cjl in W2 ,4 (n) n H1 (n), we get
o
Therefore, by density
I
These three limits imply that lim cjlh" cjl in W ,4(n). •
h+o
Remark 4.2.
Here again, the regularity of cjl(h) can be relaxed but slightly less than
THEOREM 4.5.
family of triangulations of Q.
1°/ When h tends to zero, the set of solutions u ~ (Ph) has at least one
h
limit point for the weak topology of H~(n) xL 2 (n). Each one is a solution of
problem (P).
2°/ Assume that (4.12) holds and that the solution u of (P) is such that
(4.41)
147
Proof.
Let us check (4.24) and (4.25). The space Mh is a classical app.roximation
that
S(h) .;;;~
h
Now, when ljiEH4(Q) then w =-tl1jJ EH2(Q) and since ~;;;'2, we have
The second part of the theorem follows from (4.26) and the estimates deri-
As mentioned at the end of Section 4.2, the statement of Theorem 4.5 can
be greatly improved. Furthermore, like in the linear case, the convergence can
as u(t), a function of time only that takes its values in a function space.
That is, for each t , u(t) is the mapping x ~ u(x,t). The function
to such functions the familiar notions of spaces LP and ceo, the idea of
derivative, etc
Let (a,b) be an interval of the extended line , i.e. - ~ < a < b < +~
and X a Banach space normed by II. II X • For real p;;;' 1 , we denote by
b ] 1/ P
[I a II f(t)lI: dt < if 1 < P < ~
or
II f II ~
L (a,b X)
sup ess IIf(t)lI <
t E (a,b) x
~ if p ~ .
When - ~ < a < b < + ~,we denote by 'C°([a,b]; X) the space of continuous
149
II f II max II f(t)1I X •
'(0([ a,b]; X) t E [a,b ]
valued function.
Let X be a Banach space, X' its dual space and let u and g be two
t
(I. I) u(t) = ~ +
fa
g (s) ds in (a,b)
b b
(1.2)
f a
u(t)~ I (t) dt
fa
g(t)~(t) dt
(1.3) in .::l)'(]a,b [) •
of Ie ([ a, b] ; X).
DEFINITICN 1.1.
, =du
g = u -
dt
problems. At this stage, there is no need to specify these spaces and therefore
Let (.,.) denote the scalar product of H corresponding to I. I ; also let V'
be the dual space of V and, as usual, let II. II. denote the norm of V'.
If we decide to identify H with its dual space H' by means of the scalar
product (.,.), then H can be identified with a subspace of V' and the following
(1.5) vC He V'
Furthermore, the operation < .,. > expressing the duality between V and V'
is simply an extension of the scalar product (.,.).
normed by
shall prove that vE (o([O,T] H). Let us first establish a preliminary lemma.
:LEM1A. 1. 2 •
o~ ~(t),B(t) ~ 1 ~ + B =1 in [0, T ]
(I. 8)
2T]
supp ( ~ ) C [0 '31' supp(B) C [ 1. ,T] •
3
151
u = au + Su •
IIt;;'-h·
Clearly
lim v = v in W(O,oo).
h -+ ° h
lim (p * v ) = v h in L2 (0,00 ; V) ,
e: ° e:
-+
dVh
h
d
lim dt (p e: * v h ) ='dt in L2 (0,00 V') •
e: °
-+
THEOREM 1.1.
The following inclusion holds algebraically and topologically
Moreover, the following Green's formula holds for all u and v in W(O,T)
T
du d
(1.10)
fo {< di(t),v(t) > + < u(t), d;(t) >}dt < u(T) ,v(T) > - < u(O),v(O) >
ProoF.
Since 'C oo ([ O,T ] V) is dense in W(O,T), it suffices to show that
152
in order to obtain (1.9). Indeed, if (1.11) holds, the identity mapping from
Now, let u E '("'([ O,T 1 ; V) and consider the two functions Ct and S
u = v + w where v = au and w = Su •
d
2(v(t), dtv(t» If t E [O,T 1 ,
we have
!v(t) I2 _ 2 J T
d v(s»ds .;;; 2
(v(s) 'dS f0T lIv(s)lIl1 ds
d v (s)lI.ds
t
Therefore
Ivet) \ 2 .;;; JT
0 {II v(s)1I 2 + lidS
d v(s)II.}
2 ds ,
Le.
2T
lJi ,T l. And finally, by repeating this process with another appropriate pair
of functions a and S, we obtain (1.13) on the whole interval [ 0, T 1 •
(). 14)
normed by
II u II;KY
LEMMI\ 1.3.
of ~Y(O,T V,H) 2
j into L (0, T j H) is also compact.
PRX>F.
Let (u ) be a bounded sequence in ~Y(O,T j V,H). we must extract a
m
2
subsequence (u) from (u ) that converges in L(O,TjH).
II m
u = u in H) •
II
following bound :
I
Thus, since lim 2y
o, we are led to show that
M .... oo I+M
-2i1rtT
lim (n (T),W) = lim (u (t),e w)dt o
II .... 00 II II .... 00
II
lim o in H \/ T •
II .... 00
n
Let n be a bounded domain of R (in two or three dimensions) with a
n ....
....
au ..
v~u +
I
j=1 Uj
au
aX
---->-
- grad p
at
j (x, t) E 11 x R+
for
div ~ = D
( I. 16)
~ = 0 for (x,t) E r x R+
2
equipped with the norm of (L (1l))n Recall that lJ is dense in H and V ,
and that the spaces H and V are examples of the abstract spaces used in the
preceding section.
1
For ~,~ and ~ in (H (1l))n we define, as usual, the following forms
.... --->-
a(~,~)
0
(gr!d u,grad ~)
n au.
....
a (w
l
~,~)
i,j=1
L fll
w.
J
~
- - v dx
ax. i
J
,
2 2
As usual, we denote the scalar product of L (1l) and (L (1l))n (and hence of H)
Now, let us examine the above forms when their arguments also depend upon
.... 2
time : say ~ and u E L (D,T ; V). As far as a is concerned, consider the
o
function t ~ A ~(t) defined a.e. on [D,T 1 by
o
2 2
A E .f(L (O,T ; V) ; L (O,T ; V'».
o
Next, consider the mapping t t--->oA (;(t) ,~(t» defined a.e. on [ O,T] by
I
(1.18)
4- -+ -Jo- -+- -+ ...- ->-
< Al (w(t) ,u(t» ,v > = a (w(t) ; u(t) ,v) IJvEV
l
• ->-->-
Clearly, the functton t >-----+ Al (w(t) ,u(t» is measurable on (0, T) , but in
order to derive appropriate estimates for IIA (;(t) ,~(t»I1* ' we require first
1
the following preliminary result.
LEM-1A 1.4.
(J. 19)
ProoF.
It suffices to prove (1.19) in J)(n). Let ~ extend ~ by zero outside n
then we can write :
;2(x),x 2) 2 J:~
where
Similarly,
where
Hence
Therefore
•
157
IE»lA 1.5.
+ + 2
When wand u belong both to L (O,T ; V) n Loo(O,T H) then
2
L (O,T ; V') if n " 2
++
(I .20) AI(w,u) E
4/3
L (O,T ; V' ) if n " 3
~.
As a (~ 'Ii,-;) + ; ++
- al(w v,u), we have the upper bound:
l
1a l (w+ ; ++1
u,v) + 11 0 ,4,0 lIu+ 11 0 ,4,0 1+1
.,;; C1 IIw v 1,0
Therefore
(1.21)
Now, the argument splits into two cases according that n " 2 or 3 •
(I. 22) II~II 0,4,0 .,;; II~ II ~~:,O II~ II ~~~ ,,;;c21~ I~:6 II~ II ~~~
owing to Sobolev's imbedding Theorem. Therefore, (1.21) implies that
As a consequence,
2
~ 'Ii 00
Since and belong to L (O,T ; H) n L (O,T V) this implies that
2) When n" 2, we make use of Lemma 1.4. According to (1.19) and (1.21),
we have
Therefore,
.,;; 2 II~ II 00
II 'Ii II 00
L (O,T H) L (O,T V)
Pemark 1.1.
l 2 2
(I.23a) II Al (t,t)1I 4/3 ';;;Clltll / lit 11 3 / when n =3 ,
L (O,T;V') L"'(O,T H) 2
L (O, T V)
With these spaces and forms, consider the following variational formulation
of problem (1.16).
(P)
with the initial condition teO) = to
Pemark 1.2.
THEDREM 1.2
be a solution of (1.24). ~
2
Let t E L (O,T V) n L"'(O,T ; H)
when n =2
...
du E
(1.25)
dt L4 / 3 (O,T ; V') when n = 3 .
~.
...
'rJ v E V •
-+
du -+ -:t: -+ -+ -+ -+ -+
< dt (t) ,v > = < ret) - Aou(t) - Al (u(t) ,u(t)) ,v > IJ v E V
2
Now, by hypothesis f E L (O,T ; V') and we have mentioned previously that
to if n =2 or if n = 3 Hence
if n =2
-+
~E •
dt L4/ 3 (O,T ; V') if n =3 •
-+
According to TheoreID$I.2 and 1.1 , u E when n = 2 •
If n =3 , by applying Theorem 1.2 and the last part of Lemma 1.1 , we only get
and ~ in H, find
o
2
-+ i L (O,T ; V') if n 2
2
with ~E 1
-+
(1.26) uE L (O,T V) n L""(O,T H)
dt ~ L4/3(O,T ; V') if n 3
(P) such that
-+
(L2]) du + A ~ + AI(u,u)
-+ -+ -+
= f
dt 0
-+ -+
( I. 28) u (0) u
0
Rerrark 1.3.
2
The proof of Theorem 1.2 shows that (1.24) holds in L (O,T) when n = 2
It remains to verify that this problem is indeed the same as our original
(1.29)
...u satisfies (). 26) p E J)'(Q x lO,T [) ,
(Q)
(1.30) au
at"-
...
vflu
... +
n
1:
j=1
u.
J ai.
...
au
J
+ -
grad p = 1 in ..1)'(Q x lO,T [) ,
( 1.28)
...u(O) ...u
0
THEOREM 1.3.
~.
Hence, according to Theorem 3.6 , Chapter I , for each t there exists exactly
2
one function P(t) E Lo(Q) , such that
In other words,
t
(1.31 ) (P(t),div;)
I o
{<
-+- -+ -+
f(s),v > - a(u(s);u(s),v)}ds - (u(t),v) + (u ,v)
-+ -+ -+ -+-+
0
Ii ~ E (H I (Q) ) n •
o
By using Lemma 1.5, it can be checked that P E
Ii v E (HI (Q»n
o
dP
Thus, if we set P = dt in :[)'(Q x lO,T I), we find (1.30) • •
161
Renark 1.4.
From (1.32), we derive immediately
-+ -+ -+ -+
Ldt < ~(t) - ~d P(t),~ > + a(~(t) u(t),v) <.f(t),v>
d -+ -->-
(1.33 ) -.rt(u + grad P) E
d~ d ---+
alone ••
however this furnishes no precision either about dt or -.rt(grad P)
these solutions converges toward a function that satisfies (P). More precisely,
-+
we consider a basis (wm)m;;' I of V (cL Theorem 1.2, Chapter IV) and we
-+
denote by V
m
the space spanned by the set {wI , ... , ~m} Then we replace
(I. 34)
~ (0) = ~ E V
m om m
-+ -+ -+
The starting value uom is chosen so that lim u u in H •
m-+a> om 0
-+ -+
For example, u can be the projection of u on V for the norm of H
om 0 m
162
LE»1A 1.6.
->- 00 2
Problem (P ) has a unique solution u in L (O,T ; .R) n L (O,T V) •
m m
Moreover,
PRXlF.
Let us write problem (P ) in terms of its unknowns g. (t)
m Jm
m m m
( 1.35) L (~J' '~i)
j=l
t g. (t) +
Jm
L
j=l
L
k=l
a(~.
J
->- ->-
wk,w.)g. (t)lZ.
1 Jm -km
(t) =
7: ->-
<t(t) ,w.>
1
0 ->-
where gjm are the coefficients of u
om
The m x m matrix [ (w. ,~.») for ,,;; i,j ,,;; m is nonsingular since
J 1
->- ->-
WI ,"', wm are linearly independent. Therefore (1.35) is a system of the
form
I~
m
(t)1 = 00 •
For this, let t E [O,t [, multiply (1.34) by gim(t) and sum over i from
m
d+ + + 2 + +
(-d u (t),u (t)) + \I lIu (t)1I = < f(t),u (t) > •
t m m m m
Next, let us integrate both sides of this equation and apply Green's formula (1.10):
(1.37)
1 +
-2Iu(t)1 2 --2Iu(0)1
1+ 2 +\1 I t lIu(s)lIds=
+ 2 I t <f(s),u(s»ds.
+ +
m mOm 0 m
t
(1.38) < £(s),~ (s) > 1 {£ I
<;;;2" + (s)1I 2ds + -IIt-r
lIu 1I1:(s)lI*2 ds} .
m o m £ 0
+ 2 + 2 I It + 2
Ium(t) I <;;; l uom1 +2-\1 0 IIf(s)lI*ds,
+
which, in turn, can be bounded independently of m and t • Therefore u
m
is bounded in Loo(O,T; H).
(with t = T) :
+ 2
Hence u is bounded in L (O,T ; V) •
m
The following lemma gives useful information about some fractional derivatives
'J(Y (O,T 1
The sequence is bounded in V,H) for o < Y< -
4
~.
function um(t). At the first stage, the system (1.34) is extended to the whole
line as follows :
164
(1.39) <
-...f(t) ,wi>
...
for I ~ i ~ m ,
AI (u,u)
......
... -;t ...
Also, we denote by Um(,) , f(,) and ~(,) respectively the Fourier transform
...
... -
and g(um(t)). Then, we take the Fourier transform of both
2 in(fi (,) ,~.) + a (fi (,) ,~.) + < i m(,) ,~.J > *
< f(,) ...
,w. >
m J om J J
The imaginary part of this equality yields the following upper bound
+ (I~
om
I + Ii;m (T)I)jfim(,)1
But
Therefore,
( I. 40)
Now, let us divide both sides of (1.40) by (1+ITlo) for some ° with
I
2 < °< I and let us integrate over R. We have
1/2
[ dT
]
I
since 0>2
V)
Similarly,
+00 I~ (T) I
--.;moo-_ dT .:;;
H) •
1+ITlo
J-00
I
I
-00
the lemma • •
With the a priori estimates of Lemmas 1.6 and 1.7, we can prove the
THIDREM 1.4.
!:!!!?!:.
According to Lemmas 1.6 and 1.7 , there exists a subsequence (~ ) of (~ )
II m
such that
weak lim
...u ...u in 'J(Y(O,T V,H).
II ... 00
II
166
.... 2
(I. 43) strong lim ~ = u H) C (L (n x l 0, T [ »n •
II .... "" II
Then, take a function ljI in ,(1([ O,T ]) with 1jJ(T) = 0 , multiply (1.34)
with ljI(t) , integrate over [O,T] and use Green's formula (1.10) ; this gives
T
(~ (t) ,;.)ljI' (t)dt + a(~ (t) ; ~ (t) ,;.)ljI(t)dt
m 1
fo m m 1
(I. 44)
= foT < f(t),;. > ljI(t) dt +
1
(~om ,;.)ljI(O),
1
I";;; i";;; m .
Now, let us fix an arbitrary integer llo and let ~ E V • Then (1.44) implies
llo
fo T (u
........
(t) ,v)ljI' (t)dt +
II
f T
a(~ (t)
II
o
(I. 45)
and
T
T
lim
II .... ""
f
0
a (~ (t),~)ljI(t)dt
o II
=
fo a (~(t),~)ljI(t)dt
0
In addition, since
T ....
fo a (u (t)
l ll
n
avo ]
I
i ,j=1 fn (u ).
II J
~(u). ljI(t) dxdt ,
X
j II 1
avo
where ___
1 E j)(n) , and since the product (u) .(u). converges strongly toward
ax.J II J II 1
-
f T......
0 (u(t),v)W'(t)dt + JOT a(ii(t) ; ii(t),~)w(t)dt
(I. 46)
function W like in (1.46), integrate over [O,T] and use Green's formula
LE»1A 1. 8 • (Gronwall)
(1.47) V t E [O,T] •
168
ProoF.
m(t)~ (t)
o OS;;; OS;;; m(t) on [O,T 1 •
t
C+ Jo m(s)~(s)ds
After integrating both sides over (0, t) for any t E [ 0, T 1 ,we get
i.e.
C+ t
m(s)~(s)ds OS;;; C exp[ 0
f t
m(s)ds] and the result follows
fo
from (], 47).
Hence (1.48) holds whenever C > 0 and therefore, it is also valid in the
THEDREM 1. 5.
2
When n 2, problem (P) has a unique solution ; E L (0,T V) n Loo(O,T H).
ProoF.
...
dw + Aw ... ... ... 2
dt 0
+ Al (;1 ,"til) - AI (u ' u )
2 2 =0 in L (0,T V') ,
~(O) = 0
Hence, by taking the scalar product of both sides with
...w , we get
a (~
......
ul,w) a.e. on (O,T) •
l
Therefore,
169
a.e. on (O,T).
II~ II I~I
a.e. on (O,T)
-'
Since wE W(O,T) (because n = 2) , we can integrate the above inequality over
t 1;(t)1
2
~ 4~
c
2
I0
t -' 2 -'
lIu l (s)1I \w(s)! ds
2
. t ~ 2
Now, according to Theorem 1.1 , the mapp1ng ~ I-'w(t) 1 . cont1nuous
1S . on
The next two paragraphs are devoted to the numerical solution of the
with respect to the time variable, since the discretization with respect to the
space variable has been thoroughly studied in Chapter IV. In this paragraph,
.... 2 V) n L 0,,< 0 ,T ; H)
Find u E L (O,T satisfying
~
d........
dt(u(t) ,v)
....
+ a(u(t) ; u(t) ,v) = <f(t),~>
.. .... \/vEV
....
in JJ' (] 0, T [ ),
(2. \)
(Ii(o) Iio
2 1 ....
where 1 is given in L (O,T ; (H- «(1))n) and u
0
is given in H .
t nk
n
where
~ _~(J'n+::+1
f E
(2.3) if
( f(t) dt if
k t
n
Note that (2.2) is a linear (Stokes-like) problem that changes with each value
the term a(~n; ~n+1 ,~) is replaced by a(~n+1 ; ~n+1 ,~) , the problem becomes
LEM-1A 2.1.
ProoF.
+n
As u and are given respectively in v and in v' , it follows
that (2.2) can be expressed in the form :
+
(2.4) VvEV
where t E V'. Thus, we are asked to solve a linear boundary value problem
associated with the bilinear form
+n ; ++
+12 + ka(u v,v) = 1+12 + II 2
1v v + vk IIv
Therefore, by Lax-Milgram's theorem (1.6 Chapter I), problem (2.4) has a unique
+n+1
solution u in V• •
+0
In order to start the sequence, we assume that the first approximation U
N
+n
is given in V. Then the sequence (u )n=1 is uniquely defined by (2.2) and (2.3).
Now, we turn to the convergence of the sequence (~n) when the time-step k
defined by
+ +n
~(t) u V t E [nk,(n+l)kl, o~ n ~ N-I
much the same way that we proved the convergence of the sequence (~ ) in § I •
m
That is, we first derive useful a priori estimates and then we pass to the limit,
LEMMA 2.2.
+
The function ~ satisfies the following discrete a priori estimates
(2.5) max
(2.6)
(2.7)
PKX)F.
+ +n+1
Let us choose v = u in (2.2) and use the identity
122 2
(2.8) (a-b) a = Z(a - b + (a-b) )
We obtain
-tn+1 +n+l
< f ,u >.
m m
L 1I"ii~12 0;;; 2k L IIftlll. II~ II
n=1 n=1
0;;; Ek
n=1
m
L II ~n 11 2 + 1.
E
k r
n=1
IIF II;
m t
L It n f(t)dt II;
n=1 n-I
Hence, for
m-I m +0.2
(2.9) 1~12 + L l"iin+ l - ~nI2+ 2vk L II u II 0;;; I+02
u I + Ek
m
L II ~I
2
n=O n=1 n=1
I
t
m-I
1~12 + L 1
+0+1
u - u
+n,2,;;::
~
1~0,2 +.!.-
2'J 0
2
m IIf(t)II. dt
n=O
173
N
2
Similarly, with £ =" and m = N, (2.9) yields "k L II~ 11 .;; C3 •
n=l
with
~.
+ +
< ~(t),v > = ao(u+n+1 ,v)
+
+ al u
(+n
; u
+n+1 +)
,v
+
II v E V
Next, we extend +
~,~
+
and t k by zero outside [ O,T l. Then (2.2) has the
It t
n-)
n
174
II~(T)II* .;;; Cz
N-I
:t n
Likewise, IIf k (T)II* .;;; k
n=O
2 lIi - l lI,. .;;; 11£ II LZ(O,T V')
liTER.
+'"
I-'"
for some y such that o< y< -
4
I
•
THEOREM 2.1.
.... ....
lim ~ u in LZ(O,T H)
k .... 0
....
where u is a solution of problem (P).
PImP.
Lemma Z.3 implies that there exists a subsequence of (~) , also called ~
.... ....
weak lim ~ u in V) , weak * lim in H)
k .... 0 k .... 0
.... ....
and lim u in H). It remains to prove that u satisfies
k .... 0
(Z. I). For this, it is convenient to introduce the following step function
. -> -> 2
weak 1J.m w = w
k
in L (O,T ; V) and weak * lim H).
k -> 0 k -> 0
2
lim (;k-;) 0 in L (O,T H)
k -> 0
-> -> -> -> 2
Hence, w =u and lim w
k
u in L (O,T H).
k -> 0
and to pass to the limit like in Theorem 1.4 in order to recover (2.1). •
Let us examine now the discretization error when the exact solution ~
-> ->
'C 0 ([ 1 ; du
uE 0, T V) and dt E H) •
As a consequence,
-> ->
Hence the right-hand side t 1--+ < f (t) ,v > E t o ([ O,T 1) and (2.1) reads
as follows
->
du -> -> -> ->
(2.12) (dt(t),v) + a(u(t) < f( t) ,v >
(2.14)
v~ E V t 0 ~ n ~ N-I .
176
with
a + b .;;; c
o 0 0
for n ;;. O.
~.
This is obviously true for n = 0 • Next, suppose it is true for all n';;; n
o
and let n = n o+1 • By (2.15), the induction hypothesis and the monotonicity of
(c ) , we get
n
thus proving (2.16). Then, the lemma follows from the fact that
LEM1A 2.5.
....
Assume that ~o E V • Then, if ~o u ' the following stability criterion
o
holds :
n-I
n ....11\ 2 2 n-1 ....11\ 2
(2.17) 1;n,2 + L J;m+I- ~m12 + vk L II e II .;;; v
(k L II E i1.)exp(ct ) ,
m=0 m=1 m=0 n
~.
(Z. 18)
+
I;J V E V 0<; n <; N-1
We obtain:
(Z. 19) l~n+1IZ _ l~nlZ + l~n+l_ ~nlZ + Zkv l/~n+1 I/Z = Zk < tn,~+1 >
+n + +0+1
- Zkal(e u(tn+I),e );
(Z. ZO)
+n. +n+1
<CZl/ello,3,dle 1/,
by Sobolev's imbedding theorem, provided the dimension does not exceed 3 • But in
Therefore
< Z C l/~n+11/ I/~n I/I/Z I~nll/Z
4
< C4{e: 1/ ~n+ I 1/ Z + i 1/ ~ 1/ I~n I }
where £ > 0 and <5 > 0 are arbitrary. Hence we have the estimate :
178
(2.21)
n 2
It suffices to apply Lemma 2.4 with a = l -+-e l , l = kCS(v),c = 0 ,
n 0
2k n- I II ~ 11), 2
c=--L *'0
b = 0 , b
n
nt
m=O
I~+I- ~12+ kv Im=1 II~ 11 2 ,
n v m=O
LEMMA 2.6.
-+-
Suppose that u satisfies the regularity conditions (2.1]) and that
~.
(~~
-+-
(t + ) ,;) +
n l
k
1f t
d2~ -+-
(t-t n + I )< JtT(t) ,v > dt,
n
n n
179
Hence
II?!I.
Therefore,
"?!I;
and
....
+ II du 11 2 •
V') dt L2 (O,T
Combining Lemmas 2.5 and 2.6, we derive immediately the next error bound
THEDREM 2.2
....
Under the hypotheses of Lemma 2.6, there exists a constant C(u) > 0 such
N
I~(t )- ~I + (k L
n n=1
DEFrnITIOO 3.1.
q ~ n ~ N • defined by
(3.2)
i=O
I k
i=O
I for o~ n ~ N-q
where CL
~
and 13.
~
are real parameters satisfying ex
q
'f 0 and Iexo 1+ [13 0 I 1- o.
13.
~
o.
i=O
Since there is an obvious one-to-one correspondence between (3.2) and (3.3). the
DEFINITION 3.2.
(3.4)
i=O
~ I
{ex.z(t+ik) - kl3.z'(t+ik)}
~ ~
O(k P) i!§... k tends to zero • for all
(3.5) o
181
(3.6) c
o
i=O
r a.
1
1
(~-I) 1
the approximate solution defined by (3.2) should also be bounded for the same
DEFINrrICN 3.3.
satisfies
setting Z = Ak •
THEDREM 3. 1.
Exanple 3.1.
they are called 8-methods A 8-method is of order one for all 8 ".!.2 and
of order two when 8 = t ' in which case it corresponds to the trapezoidal rule.
It is easy to check from Definition 3.3 that it is A-stable when 8 ~ .!. and
2
1
strongly A-stable when 8 > 2 . Hence, for 8 = 21 ' "
1t loS at t h e same t1.me
. A-stable
and of order 2 . •
Exanple 3.2.
with
CL
o
(3.10)
CL
Such methods are A-stable for S2 > z-2 and strongly A-stable for
and •
From now on, we assume that the right-hand side 1 of problem (2.1) belongs
+q +q+l
(3.2) to this problem consists in finding u ,u "", such that
q
I +n+i + ~ +n+i +) + +
k I (li(u ,v) + L U ,v - < f(t + ) ,v>}
n i
o
i=O i=O
+
(3. II) IJvEV,lJn;;a.O,
+0 +q-I
starting from q functions u , •.• , u ,given in V.
linearize this scheme without decreasing its order. The simplest way to achieve
(3.12) I
i=O
1.
+n+i
/3. { a ( u ~+i , ~) - <
by
+n+i +) + +
U ,v - < f(t ),v > ,
Ii
and both are chosen so as to obtain at least a second order scheme,as this is
q
condition I /3
i
1 , we can write that
i=O
q
(3.13) I
i=O
/3 i ~ (t n + i ) ~ (r
i=O
/3 i t n + i ) + O(k
2
) as k + 0 •
Thus, if we set
(3.14) t
n r
i=O
(3.15)
i=O
r +n+j
/3.u
J
+n+i +)
u
+ +
,v - < f(t ) ,v
n
>
->Ii
u ,let be the polynomial of degree ~ p-I which
In order to choose l{J
q-I
L c.1. l{J (t +,) + O(k P) as k -+ 0 ,
. n 1.
1.=q-p
(3.16)
then we can replace (3. II) by the following scheme: find ~q , ~q+1
with y. defined by (3.17) and t by (3.14) and where the starting values
J n
, .. -, are given in V
It follows from (3.13) and (3.16) that the order of the method (3.18) is at
least two, provided the original method (3.11) is at least of order two.
Exanple 3.1.
3 ->-n 1 ->-n-I
'2u - '2 u
Exanple 3.2.
-+ii
(3.19) u •
two-step, A-stable methods of order two. With the linearization of the last
section, this choice leads to the methods described in the Examples 3.1 and 3.2.
Now, the analysis of the one-step methods of Example 3.1 is entirely similar to
the study of the two-step methods given by the Example 3.2 , namely
t t + .!.)k
n n + «12 2
-+n 1 (12
u is given by (3.19) (12 ;;. and S2 >
'2 "2
->-1
For each pair of starting values ~o and u E V , the scheme (3.20) defines
~.
....n+2
The function u is the solution in v of the linear boundary-value
problem
->n+2 .... ->it ->n+2 ....) ........ ....
a (u ,v) + k82a(u ; u ,v = < t,v > IJvEV
2
and •
Like in § 2, let us introduce the truncation error ;n E V' , defined by
I
i=O i=O
(3.21) .... ....
- < f(t ),v> IJ ~EV
fi
and the pointwise error ~n E V
for
The next lemma gives the expected estimate for 1n , since according to the
LEMoiA 3.2.
....
Assume that the solution u of the Navier-Stokes.eguations has the following
regularity
.... d~
z+ d 3....
u 2
(3.22) dt dUE L2 (O,T V) E L (O,T V') •
u , d?" W
(3.23)
....
where the constant c depends upon u only.
PRXlF.
Let us expand ~(tn ) ,;r(tn+ I) and ~(t n+ 2) about the point t by Taylor's
t
2
L
k I t
n+2
i=O t
n
1 t n +2
L
i=O
Y1..~(tn+;) = ~(t ) + k
• Ii ( n
t
2 ->-
L IL~(t
1.
+,)
n 1.
u(t + k It n+2
i=O Ii
n
where the kernels K (t) , K (t) and K (t) are bounded by a constant c
1 2 3 1
->-
independent of k and u • Next, let us substitute these expansions in (3.21)
->-
a(u(t
->- ->-
u(t ),v) + k
I t n +2 2->-
d u ->-
JtZ(t) ,v)dt
Ii t
n
t
+ k It n+2
n
t
It n+2
n
2->-
d u ->-
dtT (t),v)
I n 2
t + ->-
'rIvEV
t
n
Hence
188
Therefore
t
n
d2
where the constant c 4 = c ( II ~ II , IIF II 2 )
4 t o ([ 0, T]; V) L (0, T V)
is independent ~f nand k. •
auxiliary lemma:
a
2
o= 82 - 2: > 0 • Then the coefficients a
i
~ 8i satisfy the following
relation
(3.24) \
~F.
2 2
(L a.I;.)(
1 1
L
i=O
8.1;.)
1 1
i=O
+ o(a - 1)(1; - 2 I; + I; )2
22210
m-2 2 12m-2 2
(3.25) 1~12 + k L IIt~1 ,.;;; c,(I~ I + k L 1I?1I*)exp(c2 t m) ,
n=O n=O
for 2";;; m ,.;;; N ,
where
2
+n +n+i
v L Q
.... e
1
i=O
PKDF.
From (3.21) and (3.20), we derive that
1 2 +n+i + 2 +n+i +) +n +
(3.26)
k
L Cl.(e ,v) + L e ,v == < e: ,v >
i=O 1 i=O
2 1 +n+i
- L fl. a l ( L y.e
i=O 1 i=O 1
2 ,
+
Let tn ~
L
+n+i
fl i e
+n
,e =
~
L
1
+n+i
y.e and take v = +n
v in (3.26)
i=O i=O
, 2
L
+n+i
Cl.e
2
fl.~+i) + a (+n
L u tn,tn) = <
+n
E:
+n
V >
k i=O
1
i=O
1
2
+n n
- a (e ;
1 L fl.~(t .) ,t )
1 n+1
i=O
2
+n+i
2( L Cl.e
1
i=O
As a consequence,
2
,.;;; -+n.
2kllE: +n, + 2k Ia,(e
11* IIvil +n+n
; v , ~
L
+
fl.u(t .)) I •
i=O 1 n+1
190
But
la (? ; tn,"\i(t .)) I <;; c
i
1I"\i(t +.)11 "I~III~ II
l n+1 n 1 O,oo,H
Zlal(;n; tn,
i=O
~ 13."\i(t +.))1
1 n 1
<;;fll~ II Z+ cz(v)l-;n1z
Hence
(3.Z7)
Zk -+n II Z
<;; -11£ .
+kcZ(v) 1...nIZ
e
v *
Next, let us sum both sides of (3.Z7) from n=O to n = m-Z and observe that,
on one hand:
~Z
L. {( CX Z + ~)I-+ne+ZI Z
u _ (Z CX - J 'Ie ~-+n+IIZ - « CX -I )Z + ~)I-+ne I Z }
u
z z z
n=O
- (cx Z+ u~)I-+-eIIZ,
Z
= (cx Z + 0) l-+-mlZ
e + «aZ-I) Z+ 0) l->m-II
e
Z Z
Thus, we ob tain
Z
(cx;+o)I;mIZ + «CXZ-I)Z+ o)I;m-II - Z(cxZ(cxZ-I)+ o)(~m,~m-I)
(3.Z8)
+kv
m-Z
L IItnll
Z Z I-+-II Z
<;;(cxZ+o)e +k
~Z
L.
Z -+-n, Z 1...nIZ
{V-II£J1*+cZ(v)e }
_0 _0
l-+e l
m 2
In the left-hand side, the coefficient of can also be written as
2
(a; + 0)(1 -
(a 2 (a 2-1)+0)2 )= a > 0 since o> 0 •
(a (a -1)+0) +0
2 2
Therefore,
I 2 I 22m-2 ~ 2 I 2 I 2 c
b = 0 c = -(a + 0) I~ I + - k L II E" II. ' c = :;(a 2 + 0) I~ I and A = - 3 k
1 'm a 2 av n=O 1 ~ a
By combining Lemmas 3.2 and 3.4, we derive the convergence and error estimate
THEOREM 3.1.
Under the hypotheses of Lemma 3.4 , there exists a constant c(~) > 0 such
that N-2
max I~(t ) - ~I + (k L II
n n=O
Lecture Notes in Mathematics Vol. 749
ISBN 978-3-540-09557-6
c Springer-Verlag Berlin Heidelberg 2008
Erratum
Q1apter I.
J. Necas [39 I. For more details on elliptic boundary value problems, we refer,
for instance, to J.L. Lions & E. Magenes [38 I and J. Necas (loc. cit.).The
spaces H(div; Q) and H(c~rl; Q) are examined by G. Duvaut & J.L. Lions [22
and R. Temam [44 I. For complements on the decomposition of vector fields, see
importance in mixed finite element theory. The proof of the regularization algo-
simply a variant of Uzawa's algorithm (cf. K. Arrow, L. Hurwicz & H. Uzawa [2 I).
The theorems asserting the existence and uniqueness of the solution of the
Stokes problem are classical. They can be found in such texts like O.A. Ladyzhens-
kaya (loc. cit.) and R. Temam (loc. cit.). These references also include proofs
of the regularity of the solution when the boundary is smooth. In the case of a
Q1apter II.
(cf. J.P. Aubin [3 I and J.A. Nitsche [40 I). The results of § 1 can be applied
to a variety of situations. For instance, they are extensively used by J.M. Thomas
[ 45 I and P.A. Raviart & J.M. Thomas [42 I in the study of mixed, hybrid equili-
& P.A. Raviart [ 18 1. This reference contains other examples (all of triangular
elements) and more details.
Along the lines of section 2.4, the regularization method and the corres-
ponding penalty method ,are also discussed by M. Bercovier & M. Engelman [ 7 1 and
by T.J. Hugues, W.K. Liu & A. Brooks [29 1 who also consider quadrilateral elements.
Olapter III.
in F. Brezzi & P.A. Raviart [11 1 where it is applied to establish the convergence
of mixed finite element methods for thin plate problems.
Ciarlet & P.A. Raviart [ 15 1; they can also be found in P.G. Ciarlet [ 14 1.
These convergence results are not optimal a refined analysis improving the
error estimates is given in R. Scholz [43 1 and V. Girault & P.A. Raviart [23 1.
For related work, we also refer to R. Glowinski & O. Pironneau [ 25, 26, 27 1 ,
C. Johnson & B. Mercier [31] about equilibrium methods and R. Rannacher [411.
Ci1apter N.
The approach of § 1 follows the ideas of M. Crouzeix [ 17 1 •
[44 1.
In § 3, the approximation results for the uniqueness case are due to P. Jamet
& P.A. Raviart [ 30 1. In the more general case of a nonsingular solution, the
method of proof is that introduced by F. Brezzi [101 for the Von Ka~n's equations.
The reader can also refer to the results given by H.B. Keller [ 32 1 in a more
general setting •
pressure. The reader will find in F. Brezzi, J. Rappaz & P.A. Raviart [ 12 ]
194
Chapter V.
In § I, the proofs of existence and uniqueness are based on the compactness
arguments of J.L. Lions [ 37 l. The results of this paragraph can be found in detail
in R. Temam [44 l.
is given by R. Temam (loc. cit.). Here, we complete this result with an error
estimate.
differential equations. The tool used here is the energy method based upon the
cit.).
For related results, we refer on one hand to G. Baker [4 1 who uses disconti-
nuous elements, and on the other hand to M.N. Leroux [ 36 1 who studies the
calculus.
REFERENCES
R.A . Adams,
J .P . Aubin,
G .A . Baker,
[4 ] Simplified proofs of error estimates for the least squares method for
M . Beroavier,
M. Beroovier, M . Engelman,
C . Bernardi,
F . Brezzi,
pp . 129-151 .
[10 ] Finite element approximations of the Von Karman equations . RAIRO Numer .
[11 ] Mixed finite element methods for fourth order elliptic equations .
(1977), pp . 33-56 .
J . Cea,
P .G . Ciarlet,
[14 1 The Finite Element Method for Elliptic Problems . North-Holland (1978) .
[15 ] A mixed finite element method for the biharmonic equation . Mathema-
M. Crouzeix
M. Crouzeix, P .A . Raviart,
[18 1 Conforming and non conforming finite element methods for solving
pp . 33-76 .
G . Dahlquist,
J . Jr . Douglas, T . Dupont,
(1974),pp . 392-410 .
G . Duvaut, J .L . Liens,
R . Glowinski,
pp . 123-171 .
R . Glowinski, 0 . Pironneau,
[27 ] Numerical methods for the first biharmonic equation and the two-
P . Grisvard,
C . Johnson, B . Mercier,
H .B . Keller,
pp . 464-474 .
V. A . Kondrat'ev,
O .A. Iadyzhenskaya
P . D . Lax, A. N . Milgram
M. N . Leroux,
J . L. Lions,
J . Necas,
J .A. Nitsche
R. Rannacher
[42 ] A mixed finite element method for second order elliptic problems .
R. Scholz,
[43 1 A mixed method for 4th order problems using linear finite elements .
R. Temam,
J .M . Thomas,
K. Yosida,
M. Zlamal
11
truncation (consistency) 175 spaces tp ( 0,T ; X) 148
APPENDIX
THDJRF2K 2 .1 .
PROOF .
1°) Let k belong to (H(div ; S2))' , the dual space of H(div ; S2) for
the norm (2 .1) . As H(div ; 0) is a Hilbert space, there exists according to the
+
F . Riesz representation theorem an element f of H(div ; S2) such that
where
+
.
f n+l = div f
2°) Now, assume that k is any element of (H(div ; S2))' that satisfies
+
Let f E H(div ; S2) be associated with k by (2 .2) . Thus, (2 .3) states
that
(f,u) + (f n+1 ,div u) = 0 n
V u E [ ,D(52)] .
n _
f 1
fiui + div u}-0 V u E [L(Qt n )] n ,
fRn i=1
fn+]
where the tilde denotes the extension of the function by zero outside 0 . Hence
n _
I
< grad > = f iu i dx V E f .D(Rn)l n ,
fn+1 ,u Q2
n
i=1
and therefore
af
n+1
f in .D' (0) , I 5 i < n
i 3
X i
As f
i
E L'(0), for I < i < n+1 , this means that f n+ ~ E H1 (an)
f = grad fn+l in 0 .
From this last result, the density of Z (R) in H 1 (Sl), formula (2 .2) and the
0
hypothesis (2 .3) we readily derive that
THEOREM 2 .3 .
We have
Ker Y. = H o (div ; 2) .
Proof,
The idea of the proof is similar to that of Theorem 2 .1 . We shall show that
Ker YN) ; therefore by the Hahn-Banach theorem, this will imply that (,,(S2)) n
is dense in Ker Y V .
representation theorem
where
+
fn+l = div f .
Therefore, by hypothesis
(f,u) + (fn+1'
div u) = 0 V u E (~(S2)) n ;
hence
+ +
grad f in ( .D' (D)) n .
n+l = f
Vol . 650 : C*-Algebras and Applications to Physics . Proceedings Vol . 679 : Numerical Treatment of Differential Equations in Applica-
1977 . Edited by H . Araki and R . V. Kadison . V, 192 pages . 1978 . tions, Proceedings, 1977 . Edited by R . Ansorge and W . Tornig. IX,
163 pages. 1978.
Vol. 651 : P . W . Michor, Functors and Categories of Banach Spaces .
VI, 99 pages. 1978 . Vol . 680: Mathematical Control Theory, Proceedings, 1977 . Edited
by W . A. Coppel . IX, 257 pages . 1978 .
Vol . 652 : Differential Topology, Foliations and Gelfand-Fuks-Coho-
mology, Proceedings 1976 . Edited by P . A. Schweitzer. XIV, 252 Vol . 681 : Seminaire de Theorie du Potential Paris, No. 3, Directeurs:
pages. 1978 . M . Brelot, G . Choquet et J . Deny . Redacteurs : F . Hirsch et G. Moko-
Vol. 653 : Locally Interacting Systems and Their Application in bodzki . VII, 294 pages . 1978.
Biology. Proceedings, 1976. Edited by R. L. Dobrushin, V. I . Kryukov Vol. 682: G. D. James, The Representation Theory of the Symmetric
and A L Toom . XI, 202 pages. 1978. Groups . V, 156 pages. 1978 .
Vol . 654: J. P. Buhler, Icosahedral Golois Representations . III, 143
Vol . 683 : Varietes Analytiques Compactes, Proceedings, 1977 .
pages . 1978 .
Edits par Y . Hervier at A. Hirschowitz . V, 248 pages . 1978 .
Vol . 655: R. Baeza, Quadratic Forms Over Semilocal Rings . VI,
199 pages . 1978 . Vol . 684 : E. E. Rosinger, Distributions and Nonlinear Partial Dif-
Vol. 656 : Probability Theory on Vector Spaces . Proceedings, 1977 . ferential Equations. XI, 146 pages . 1978 .
Edited by A Weron. VIII, 274 pages . 1978 . Vol . 685 : Knot Theory, Proceedings, 1977 . Edited by 1. C . Hausmann .
Vol . 657 : Geometric Applications of Homotopy Theory I, Proceedings VII, 311 pages. 1978.
1977. Edited by M . G . Barratt and M. E. Mahowald . VIII, 459 pages .
Vol . 686: Combinatorial Mathematics, Proceedings, 1977 . Edited
1978.
by D . A. Holton and J . Seberry. IX, 353 pages . 1978 .
Vol .658 : Geometric Applications of HomotopyTheory II, Proceedings
1977 . Edited by M. G . Barratt and M . E. Mahowald . VIII, 487 pages . Vol . 687 : Algebraic Geometry, Proceedings, 1977 . Edited by L. D.
1978 . Olson . V, 244 pages . 1978 .
Vol . 659 : Bruckner, Differentiation of Real Functions. X, 247 pages . Vol . 688 : J . Dydak and J . Segal, Shape Theory. VI, 150 pages . 1978 .
1978.
Vol . 689 : Cabal Seminar 76-77, Proceedings, 1976-77 . Edited by
Vol . 660 : Equations aux Derivee Partielles . Proceedings, 1977 . Edits
A.S . Kechris and Y. N . Moschovakis . V, 282 pages. 1978 .
par Pham The Lai. VI, 216 pages . 1978 .
Vol . 661 : P . T. Johnstone, R. Pare, R . D. Rosebrugh, D . Schumacher, Vol .690: W . J . J . Rey, RobusiStaiistical Methods .VI, 128 pages. 1978 .
R . J. Wood, and G. C. Wraith, Indexed Categories and Their Applica-
Vol. 691 : G . Viennot, Algebras de Lie Libres et Monoides Libres.
tions. VII, 260 pages . 1978 .
111,124 pages . 1978 .
Vol. 662: Akin, The Metric Theory of Banach Manifolds . XIX, 306
pages . 1978 . Vol. 692 : T. Husain and S . M . Khaleelulla, Barrelledness in Topo-
logical and Ordered Vector Spaces . IX, 258 pages . 1978 .
Vol . 663 : J. F. Berglund, H . D . Junghenn, P. Milnes, Compact Right
Topological Semigroups and Generalizations of Almost Periodicity. Vol. 693 : Hilbert Space Operators, Proceedings, 1977 . Edited by
X, 243 pages . 1978 . J . M . Bachar 1r . and D . W. Hadwin . VIII, 184 pages . 1978 .
Vol. 664: Algebraic and Geometric Topology, Proceedings, 1977 . Vol. 694 : Seminaire Pierre Lelong - Henri Skoda (Analyse) Annee
Edited by K. C. Millett. XI, 240 pages. 1978 . 1976/77 . VII, 334 pages . 1978 .
Vol. 665 : Journees d'Analyse Non Lineaire . Proceedings, 1977 . Vol. 695 : Measure Theory Applications to Stochastic Analysis,
Edits par P. Benilan et J. Robert. VIII, 256 pages . 1978 . Proceedings, 1977 . Edited by G. Kallianpur and D . Kolzow. XII,
261 pages . 1978 .
Vol . 666 : B . Beauzamy, Espaces d'Interpolation Reels : Topologie et
Geometrie. X, 104 pages. 1978 . Vol. 696 : P. J . Feinsilver, Special Functions, Probability Semigroups,
and Hamiltonian Flows. VI, 112 pages . 1978 .
Vol . 667 : J . Gilewicz, Approximants de Pade. XIV, 511 pages . 1978 .
Vol. 697 : Topics in Algebra, Proceedings, 1978 . Edited by M . F . New-
Vol . 668: The Structure of Attractors in Dynamical Systems . Pro-
man. XI, 229 pages . 1978 .
ceedings, 1977 . Edited by J . C. Martin, N. G. Markley and W. Per-
rizo. VI, 264 pages. 1978 . Vol. 698: E. Grosswald, Bessel Polynomials . XIV, 182 pages . 1978 .
Vol . 669 : Higher Set Theory . Proceedings, 1977 . Edited by G. H . Vol . 699: R . E . Greene and H : H . Wu, Function Theory on Manifolds
Mailer and D. S . Scott. XII, 476 pages. 1978. Which Possess a Pole. III, 215 pages . 1979 .
Vol . 580 : C. Castaing and M. Valadier, Convex Analysis and Meas- Vol . 609 : General Topology and Its Relations to Modern Analysis
urable Multifunctions . VIII, 278 pages. 1977 . and Algebra IV . Proceedings 1976 . Edited by J . Novak . XVIII, 225
pages . 1977 .
Vol . 581 : S6minaire de Probabilites XI, Universite de Strasbourg .
Proceedings 1975/1976 . Edite par C . Dellacherie, P . A. Meyer et Vol . 610 : G. Jensen, Higher Order Contact of Submanifolds of
M . Weil . VI, 574 pages. 1977. Homogeneous Spaces . XII, 154 pages. 1977.
Vol. 582 : J. M . G. Fell, Induced Representations and Banach Vol . 611 : M . Makkai and G. E . Reyes, First Order Categorical Logic .
Algebraic Bundles . IV, 349 pages . 1977 . VIII, 301 pages . 1977 .
Vol. 583 : W. Hirsch, C . C. Pugh and M. Shub, Invariant Manifolds. Vol. 612 : E. M . Kleinberg, Infinitary Combinatorics and the Axiom of
Determinateness . VIII, 150 pages . 1977 .
IV, 149 pages . 1977 .
P
Vol. 613 : E. Behrends et al ., L -Structure in Real Banach Spaces .
Vol . 584 : C . Brezinski, Acceleration de Is Convergence en Analyse
X, 108 pages . 1977 .
Numerique. IV, 313 pages. 1977 .
Vol . 614 : H. Yanagihara, Theory of Hopf Algebras Attached to Group
Vol. 585: T. A. Springer, Invariant Theory . VI, 112 pages . 1977 . Schemes. VIII, 308 pages . 1977 .
Vol. 586 : Seminaire d'Algebre Paul Dubreil, Paris 1975-1976 Vol. 615: Turbulence Seminar, Proceedings 1976/77 . Edited by
(29eme Annee). Edited by M . P. Malliavin . VI, 188 pages. 1977. P. Bernard and T Ratiu . VI, 155 pages . 1977 .
Vol . 587 : Non-Commutative Harmonic Analysis. Proceedings 1976 . Vol . 616 : Abelian Group Theory, 2nd New Mexico State University
Edited by J. Carmona and M . Vergne . IV, 240 pages . 1977 . Conference, 1976 . Proceedings . Edited by D . Arnold, R . Hunter and
E. Walker . X, 423 pages. 1977 .
Vol. 588 : P. Molino, Theorie des G-Structures : Le Problems d'Equi-
valence. VI, 163 pages . 1977 . Vol. 617 : K. J . Devlin, The Axiom of Constructibility : A Guide for the
Mathematician . VIII, 96 pages . 1977 .
Vol . 589 : Cohomologie I-adique et Fonctions L . Seminaire de
Geometric Algebrique du Bois-Marie 1965-66, SGA 5 . Edite par Vol . 618: I . I. Hirschman, Jr. and D. E Hughes, Extreme Eigen Values
L. Illusie. XII, 484 pages . 1977 . of Toeplitz Operators . VI, 145 pages . 1977 .
Vol. 590: H . Matsumoto, Analyse Harmonique clans lea Systemes de Vol . 619: Set Theory and Hierarchy Theory V, Bierutowice 1976 .
Tits Bornologiques de Type Affine. IV, 219 pages . 1977 . Edited by A. Lachlan, M . Srebrny, and A. Zarach . VIII, 358 pages .
1977 .
Vol. 591 : G . A. Anderson, Surgery with Coefficients . VIII, 157 pages .
Vol . 620 : H . Popp, Moduli Theory and Classification Theory of
1977 . Algebraic Varieties. VIII, 189 pages . 1977 .
Vol. 592 : D. Voigt Induzierte Darstellungen in der Theorie der end- Vol . 621 : Kauffman etal .,The Deficiency Index Problem . VI, 112 pages.
lichen, algebraischen Gruppen . V, 413 Seiten . 1977 . 1977 .
Vol . 622 : Combinatorial Mathematics V, Melbourne 1976 . Proceed-
Vol. 593 : K. Barbey and H . Kdnig, Abstract Analytic Function Theory
and Hardy Algebras. VIII, 260 pages . 1977 . ings . Edited by C. Little. VIII, 213 pages. 1977 .
Vol . 594 : Singular Perturbations and Boundary Layer Theory, Lyon Vol . 623: I. Erdelyi and R . Lange, Spectral Decompositions on
1976 . Edited by C. M . Brauner, B . Gay, and J. Mathieu. Vlll, 539 Banach Spaces. VIII, 122 pages. 1977 .
pages. 1977 . Vol . 624: Y. Guivarc'h et al,, Marches Aleatoires sur lea Groupea
Vol . 595 : W . Hazed, Stetige Faltungshalbgruppen von Wahrschein- de Lie . VIII, 292 pages. 1977.
IichkeitsmaBen and erzeugende Distributionen . XIII, 157 Seiten. 1977. Vol . 625 : J . P. Alexander et al ., Odd Order Group Actions and Witt
Classification of Innerproducts. IV, 202 pages. 1977 .
Vol . 596 : K . Deimling, Ordinary Differential Equations in Banach
Spaces. VI, 137 pages . 1977 . Vol . 626: Number Theory Day, New York 1976 . Proceedings. Edited
by M . B. Nathanson . VI, 241 pages . 1977 .
Vol . 597 : Geometry and Topology, Rio de Janeiro, July 1976 . Pro-
ceedings. Edited by J. Palls and M . do Carmo. VI, 866 pages . 1977 . Vol. 627 : Modular Functions of One Variable VI, Bonn 1976 . Pro-
ceedings. Edited by J: P. Serre and D. B. Zagier. VI, 339 pages.1977 .
Vol . 598 : J. Hoffmann-Jergensen, T . M . Liggett et J . Neveu, Ecole
d'Ete de Probabilites de Saint-Flour VI -1976 . Edite par P : L. Henne- Vol . 628 : H. J . Baues, Obstruction Theory on the Homotopy Classi-
quin. XII, 447 pages. 1977 . fication of Maps . XII, 387 pages . 1977 .
Vol. 599 : Complex Analysis, Kentucky 1976 . Proceedings. Edited Vol. 629: W.A. Coppel, Dichotomies in Stability Theory. VI, 98 pages .
by J . D. Buckholtz and T J . Suffridge . X, 159 pages . 1977 . 1978 .
Vol. 600 : W. Stoll, Value Distribution on Parabolic Spaces . VIII, Vol. 630 : Numerical Analysis, Proceedings, Biennial Conference,
216 pages. 1977 . Dundee 1977 . Edited by G . A. Watson. X11,199 pages . 1978 .
Vol.601 : Modular Functions of oneVariableV, Bonn 1976 . Proceedings . Vol . 631 : Numerical Treatment of Differential Equations . Proceedings
Edited by J: P. Serre and D. B. Zagier. VI, 294 pages . 1977 . 1976 . Edited by R. Bulirsch, R . D . Grigorieff, and J . Schr6der. X,
219 pages . 1978 .
Vol. 802 : J . P. Brezin, Harmonic Analysis on Compact Solvmanifolds .
VIII, 179 pages . 1977 . Vol. 632 : J : F. Boutot, Schema de Picard Local. X, 165 pages . 1978 .
Vol .603 : B . Moishezon, Complex Surfaces and Connected Sums of Vol. 633 : N . R . Coleff and M. E. Herrera, Les Courants Residuels
Complex Projective Planes . IV, 234 pages. 1977 . Associes 9 une Forms Meromorphe. X, 211 pages . 1978 .
Vol . 604 : Banach Spaces of Analytic Functions, Kent, Ohio 1976 . Vol. 634: H . Kurke et al ., Die Approximationseigenschaft lokaler Rings .
Proceedings. Edited by J. Baker, C. Cleaver and Joseph Diestel . VI, IV, 204 Seiten .1978 .
141 pages. 1977.
Vol . 635 : T . Y. Lam, Sarre's Conjecture. XVI, 227 pages . 1978 .
Vol . 605 : Sario etal ., Classification Theory of Riemannian Manifolds.
XX, 498 pages . 1977 . Vol . 636 : Journees de Statistique des Processus Stochastiques, Gre-
noble 1977, Proceedings. Edits par Didier Dacunha-Castelle et Ber-
Vol. 606 : Mathematical Aspects of Finite Element Methods . Pro- nard Van Cutsem . VII, 202 pages . 1978 .
ceedings 1975. Edited by 1. Galligani and E Magenes . VI, 362 pages .
Vol . 637 : W. B. Jurkat, Meromorphe Differentialgleichungen . VII,
1977.
194 Seiten. 1978 .
Vol . 607 : M . Metivier, Reelle and Vektorwertige Quasimartingale Vol . 638 : P. Shanahan, The Atiyah-Singer Index Theorem, An Intro-
and die Theorie der Stochastischen Integration . X, 310 Seiten. 1977 . duction . V, 224 pages. 1978.
Vol . 608 : Bigard et al ., Groupes et Anneaux Reticules . XIV, 334 Vol . 639: N. Adasch et al ., Topological Vector Spaces . V, 125 pages.
pages. 1977. 1978 .
Vol . 700: Module Theory, Proceedings, 1977 . Edited by C. Faith and Vol . 729 : Ergodic Theory. Proceedings, 1978 . Edited by M . Denker
S . Wiegand . X, 239 pages. 1979 . and K . Jacobs . XII, 209 pages . 1979 .
Vol . 701 : Functional Analysis Methods in Numerical Analysis, Pro- Vol . 730 : Functional Differential Equations and Approximation of
ceedings, 1977 . Edited by M . Zuhair Nashed . VII, 333 pages . 1979. Fixed Points. Proceedings, 1978 . Edited by H .-O. Peitgen and H : O.
Walther. XV, 503 pages . 1979 .
Vol . 702: Yuri N . Bibikov, Local Theoryof Nonlinear Analytic Ordinary
Differential Equations. IX, 147 pages . 1979 .
Vol . 731 : Y . Nakagami and M . Takesaki, Duality for Crossed Products
Vol . 703 : Equadiff IV, Proceedings, 1977 . Edited by J . FSbera. XIX, of von Neumann Algebras . IX, 139 pages . 1979 .
441 pages. 1979 .
Vol . 732: Algebraic Geometry . Proceedings, 1978 . Edited by K. Len-
Vol . 704 : Computing Methods in Applied Sciences and Engineering, sted. IV, 658 pages . 1979 .
1977, I . Proceedings, 1977 . Edited by R . Glowinski and J. L. Lions.
Vol . 733 : F. Bloom, Modern Differential Geometric Techniques in
VI, 391 pages . 1979 .
the Theory of Continuous Distributions of Dislocations . XII, 206
Vol . 705 : O . Forster and K. Knorr, Konstruktion verseller Familien pages . 1979 .
kompakter komplexer Raume . V11,141 Seiten . 1979 .
Vol . 734: Ring Theory, Waterloo, 1978 . Proceedings, 1978 . Edited
Vol . 706 : Probability Measures on Groups, Proceedings, 1978 . by D. Handelman and J. Lawrence . XI, 352 pages. 1979.
Edited by H. Heyer. XIII, 348 pages . 1979 .
Vol . 735 : B. Aupetit, Proprietes Spectrales des Algebres de Banach .
Vol . 707: R . Zielke, Discontinuous Ceby8ev Systems . VI, 111 pages. X11,192 pages . 1979 .
1979 .
Vol . 736 : E . Behrends, M-Structure and the Banach-Stone Theorem .
Vol . 708: J . P . Jouanolou, Equations de Pfaff algebriques . V, 255 X, 217 pages . 1979 .
pages . 1979 .
Vol . 737 : Volterra Equations. Proceedings 1978, Edited by S : O .
Vol . 709 : Probability in Banach Spaces II . Proceedings, 1978 . Edited Londen and O . J. Staffans. VIII, 314 pages . 1979.
by A . Beck. V, 205 pages. 1979 .
Vol . 738 : P. E . Conner, Differentiable Periodic Maps . 2nd edition, IV,
Vol. 710: Seminaire Bourbaki vol . 1977/78, Exposes 507-524 . IV, 181 pages . 1979 .
328 pages. 1979.
Vol . 739: Analyse Harmonique sur lea Groupes de Lie II . Proceedings,
Vol . 711 : Asymptotic Analysis . Edited by F. Verhulst . V, 240 pages . 1976-78 . Edited by P . Eymard et al . VI, 646 pages. 1979.
1979.
Vol . 740 : Seminaire d'Algebre Paul Dubreil . Proceedings, 1977-78 .
Vol . 712 : Equations Differentielles et Systemes de Pfaff dans le Edited by M : P. Malliavin. V, 456 pages. 1979.
Champ Complexe . Edite par R. Gerard et J.-P. Ramis . V, 364 pages.
1979. Vol . 741 : Algebraic Topology, Waterloo 1978 . Proceedings . Edited
by P. Hoffman and V. Snaith. XI, 655 pages . 1979 .
Vol. 713 : Seminaire de Theorie du Potentiel, Paris No . 4 . Edite par
F . Hirsch et G . Mokobodzki. VII, 281 pages . 1979 . Vol. 742 : K. Clancey, Seminormal Operators . VII, 125 pages . 1979 .
Vol. 714 : J . Jacod, Calcul Stochastique et Problemes de Martingales . Vol. 743: Romanian-Finnish Seminar on Complex Analysis . Pro-
X, 539 pages . 1979 . ceedings, 1976. Edited by C. Andreian Cazacu et al . XVI, 713 pages .
1979.
Vol . 715 : Inder Bir S . Passi, Group Rings and Their Augmentation
Ideals . VI, 137 pages. 1979 . Vol . 744 : I . Reiner and K. W. Roggenkamp, Integral Representations .
VIII, 275 pages . 1979 .
Vol . 716 : M . A . Scheunert, The Theory of Lie Superalgebras . X, 271
pages . 1979 . Vol . 745 : D. K. Haley, Equational Compactness in Rings . III, 167
pages . 1979 .
Vol . 717 : Grosser, BidualrAume and Vervollstfindigungen von Ba-
.
nachmoduln . III, 209 pages. 1979 . Vol . 746 : P. Hoffman, i-Rings and Wreath Product Representations
V, 148 pages . 1979 .
Vol. 718 : J . Ferrante and C. W . Rackoff, The Computational Com-
plexity of Logical Theories . X, 243 pages . 1979 . Vol. 747 : Complex Analysis, Joensuu 1978. Proceedings, 1978 .
Edited by I. Laine, O . Lehto and T . Sorvali . XV, 450 pages . 1979 .
Vol . 719 : Categorial Topology, Proceedings, 1978 . Edited by H .
Vol . 748: Combinatorial Mathematics VI . Proceedings, 1978 . Edited
Herrlich and G . PreuB. XII, 420 pages . 1979 .
by A. F. Horadam and W . D. Wallis . IX, 206 pages. 1979.
Vol . 720 : E. Dubinsky, The Structure of Nuclear Frechet Spaces .
Vol. 749: V. Girault and P.-A. Raviart, Finite Element Approximation
V, 187 pages. 1979.
of the Navier-Stokes Equations . VII, 200 pages. 1979.
Vol. 721 : Seminaire de Probabilites XIII . Proceedings, Strasbourg,
1977/78 . Edite par C. Dellacherie, P . A. Meyer et M . Weil . VII, 647
pages . 1979 .
Vol . 726 : Y.-C . Wong, Schwartz Spaces, Nuclear Spaces and Tensor
Products . VI, 418 pages . 1979,