Biomedical Engineering Reference
In-Depth Information
We approximate the ALE velocity z .t n C 1 / by z n C 1 ,where
3
A t n C 1 .X/ 4
A t n .X/ C A t n 1 .X/
2t
z n C 1 .x/ D
;
(5.10)
x D A t n C 1 .X/ 2 t n C 1 :
Further, it is necessary to approximate the ALE derivative of the velocity v at time
t n C 1 . To this end, for i D n;n 1 we set
v i
D v i
ı A t i ı A 1
t n C 1 , which is defined in
the domain t n C 1 (the symbol ı denotes the composite function). Then, by ( 5.7 ), for
x 2 t n C 1 and X D A 1
t n C 1 .x/, using the second-order backward difference formula,
we can write
D A v
Dt .x;t n C 1 / D
@v.X;t n C 1 /
@t
(5.11)
3v.X;t n C 1 / 4v.X;t n / C v.X;t n 1 /
2t
3v n C 1 .x/ 4v n .x/ C v n 1 .x/
2t
:
This leads to the problem of finding unknown functions v D v n C 1
W ! R 2 and
p D p n C 1
W ! R satisfying the equations
3v 4v n
Cv n 1
2t
C .v z n C 1 / r v r .rv Cr
T v/ Crp D 0;
divv D 0; in ;
(5.12)
and the boundary conditions ( 5.4 ) (where condition (a) can be replaced by ( 5.5 )—in
what follows, this eventuality will not be emphasized).
Weak Formulation
The starting point for the finite element discretization of problem ( 5.12 ) with the
boundary conditions ( 5.4 ) is the so-called weak formulation. To this end, we define
the velocity spaces W;X and the pressure space Q:
W D .H 1 .// 2 ; XDfv 2 W Ivj I [ Wt D 0; v 2 j S D 0g;
(5.13)
Q D L 2 ./;
(5.14)
where L 2 ./ is the Lebesgue space of square integrable functions over the domain
,andH 1 ./ is the Sobolev space of square integrable functions together with
their first-order derivatives.
 
Search WWH ::




Custom Search