e methodos ton peperasmenon stoikheion g - marianna pepona
TRANSCRIPT
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
1/93
Stokes
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
2/93
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
3/93
Sobolev
Holder
Sobolev
Sobolev
Sobolev
Sobolev
Poincare
Friedrich
H1
Lax-Milgram
Neumann
Ritz-Galerkin
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
4/93
Bramble-Hilbert
Clement
Stokes
Cea
Saddle Point
Inf-Sup
Fortin
Stokes
Inf-Sup
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
5/93
Sobolev
Sobolev
Ritz-Galerkin
3.4
L2
Sobolev
H1
saddle point
Stokes
saddle point
Freefem
Stokes
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
6/93
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
7/93
Sobolev
Holder
U Rn
U
0< 1
u : U R
Lipschitz
x, yU C
|u(x) u(y)| C|x y|.
u : U R
Holder
0< 1 x, yU C
|u(x) u(y)| C|x y|.
i
u : U R
uC(U):=supxU|u(x)|, U U
ii
Holder
u: U R
[u]C0,(U) := supx,yU,x=y
|u(x) u(y)||x y|
,
Holder
u
uC0,(U):=uC(U)+ [u]C0,(U).
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
8/93
SOBOLEV
HolderCk,(U)
uCk(U)
uCk,(U):=||k
DuC(U)+||=k
[Du]C0,(U)
Ck,(U)
u
k
k
Holder
Ck,(U)
Banach
Sobolev
Holder
Sobolev Wk,p(U)
U Rn Cc (U)
:U R
U
(support)
Cc (U)
u, vL1loc(U) L1loc(U)
{u: U
R
|v
Lp(V)
V
U
}
v
u
Du= v
U
uD dx= (1)||
U
v dx
Cc (U)
u
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
9/93
SOBOLEV
v, v
L1loc(U)
U
uD dx= (1)||
U
v dx= (1)||
U
v dx
Cc (U)
U
(v v) dx= 0
Cc (U) v v= 0
Green
1p k
Sobolev Wk,p(U)
u: U R
Du
|| k Lp(U) p= 2
Hk(U) =Wk,2(U) (k= 0, 1, . . . ).
H
Hk(U)
Hilbert
H0(U) = L2(U)
L2(U)
{u: U R| uL2(U)
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
10/93
SOBOLEV
u
Wk,p(U)
uWk,p(U):=
(
||k
U|Du|p dx)1/p (1p
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
11/93
SOBOLEV
u, vWk,p(U) || k
(i)DuWk||,p(U)
D(Du) =D(Du) =D+u
,
|| + || k (ii)
, R
u+v Wk,p(U)
D(u+v) = Du+
Dv, || k (iii)
V
U
uWk,p(V)
(iv)
Cc (U) uWk,p(U)
Leibniz
D(u) =
DDu,
= !
!()!
k = 1, . . .
1 p
SobolevWk,p(U)
Banach
Sobo-
lev
Sobolev
Sobolev
k
1 p
U={xU|dist(x,U)> } U
C(Rn)
(x) := Cexp 1|x|21 , |x|< 1,
0 , |x| 1,
C >0
Rn
dx= 1
>0
(x) :=
1n
( x
)
f :U R
f := f U
f(x) =
U
(x y)f(y)dy=
B(0,)
(y)f(x y)dy,
xU
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
12/93
SOBOLEV
Sobolev
uWk,p(U)
1
p 0, (ii) u u Wk,ploc(U) 0.
Wk,p(U) Wk,ploc(U)
Sobolev
U
U
u Wk,p(U) 1 p
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
13/93
SOBOLEV
1
p
U
U C1
V
U V
E:W1,p(U)W1,p(Rn)
uW1,p(U) (i) Eu = u
U
(ii) Eu
V
(iii)EuW1,p(Rn) CuW1,p(U) C
p U
V
Eu
u
R
n
U
u W1,p(U)
C1
u C(U)
u
U
uW1,p(U)
U
1 p
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
14/93
SOBOLEV
Sobolev
Sobolev
Sobolev W1,p(U)
u
SobolevW1,p(U)
u
u
p
(i)
1p < n (ii) p= n (iii) n < p
1p < n
uLq(Rn)CDuLp(Rn),
C > 0
1 q 0
u(x) :=u(x), x Rn.
u
uLq(Rn)CDuLp(Rn).
Rn
|u|qdx=Rn
|u(x)|qdx= 1n
Rn
|u(y)|qdy,
Rn
|Du|pdx= pRn
|Du(x)|pdx= p
n
Rn
|Du(y)|pdy,
1
n/quLq(Rn)C
n/pDuLp(Rn),
uLq(Rn)C 1np+
nq DuLp(Rn).
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
15/93
SOBOLEV
1
np
+ nq
= 0
0
1 n
p+ n
q = 0
1q
= 1p 1
n
q= npnp
1p < n
Sobolev
p
p := np
n p.
q= p
1p < n
C
p
n
uLp(Rn)CDuLp(Rn),
uC1c (Rn)
Gagliardo-Nirenberg-Sobolev
SobolevW1,p(U)
W1,p0 (U) L
p
U Rn
U
R
n
U
C1
1p < n
uW1,p(U) uLp(U)
uLp(U)CuW1,p(U),
C
p, n
U
U
R
n
uW1,p0 (U) 1p np
uCk[np ]1,(U)
=
[ n
p] + 1 n
p , n
p Z,
0<
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
18/93
SOBOLEV
U
Rn U C1 1 p < n
W1,p(U)Lq(U),
1q < p
p > p
p
p n
W1,p(U) Lp(U)
1 p
W
1,p
0 (U)Lp
(U)
U
C1
Poincare Friedrich
Poincare
U
B(x, r)
x
r
U
R
n
U
C1
1 p C
n, p
U
u (u)ULp(U)CDuLp(U),
uW1,p(U)
u
U
(u)U =
Uudy u B(x, r)
(u)x,r =
B(x,r)udy
1p
C
n
p
u (u)x,rLp(B(x,r))C rDuLp(B(x,r)),
B(x, r)Rn
uW1,p(B0(x, r))
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
19/93
SOBOLEV
Friedrich
Lp
Lp
Friedrich
Sobolev
U
R
n
d
u : U R
SobolevWk,p0 (U)
uLp(U)dk||=k
DupLp(U)
1/p
,
(1, . . . , n) ||= 1+ +n
Du
||u1x1...
nxn
Sobolev
u: U R
VU
(i)
i
h
Dhiu(x) =u(x+hei) u(x)
h , i= 1, . . . , n ,
xV
h R, 0
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
20/93
SOBOLEV
SobolevW1,
Lipschitz
U
U
C1
u: U R
Lipschitz
uW1,(U)
U
u
W1,loc (U) u Lipschitz
U 1 p
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
21/93
H1
Rademacher u Lipschitz
U
u
U
H1
U
U
H1(U) H
1(U)
u
H1(U)
H1(U) ={u H1(U)|u = 0 } = U H1U(U)
H10(U) H10 (U) ={uH1(U)|u= 0 U}
X
f : X R
X
X
H1(U)
H10(U)
f
H1(U)
f
H10(U)
fH1(U)
fH1(U) = sup{< f,u >| uH10 (U), uH10 (U)1}.
(i)
f H1(U)
f0, f1, . . . , f n
L2(U)
< f, v >= U f0v+
n
i=1 fivxidx,vH10(U).
(ii) fH1(U) =inf{(
U
ni=0 |fi|2dx)1/2| f
f0, . . . , f n L2(U)}
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
22/93
SOBOLEV
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
23/93
u= u(x)
x= (x1, . . . , xn)
U
R
n, n
2
F(x, u , ux1, ux2, . . . , ux1x2, . . . ) = 0 ,
U
U
R
n
U
U
u
F
u
u
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
24/93
F
u F u
u
F
n
n
i,j=1ij(x)uxixj +
n
i=1bi(x)uxi+ c(x)u= f(x),
x= (x1, . . . , xn)
ij bi c x
uxixj =uxjxi
(i)
x
A(x) := (ij(x))
(ii)
x
A(x)
n
1
(iii) x A(x)
(A(x), b(x))
n
(iv)
Lu= f,
L
Poisson
u= f.
utt+Lu= f,
ut+Lu= f,
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
25/93
L
u= 1
c2utt,
u= 1
ut.
L
Lu=0u+c0u.
Lu= f uU,
u= 0 uU,
U
R
n
u: U R
u= u(x) f :U R
L
Lu=n
i,j=1
(ij(x)uxi)xj +n
i=1
bi(x)uxi+ c(x)u
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
26/93
Lu= ni,j=1
ij(x)uxixj +n
i=1
bi(x)uxi+ c(x)u,
ij, bi, c
i, j = 1, . . . , n
Lu= f
L
L
u= 0
U
Dirichlet
ij
i, j =
1, . . . , n
C1
L
L
Lu=n
i,j=1
ij(x)uxixj +n
i=1
bi(x)uxi+ c(x)u,
bi :=bi nj=1 ijxj i = 1, . . . , n
Dirichlet
Lu= f uU,
u= g uU,
u0 g
U
Lu0
Lw= f1 wU,
w= 0 wU,
w:= u u0 f1:=f Lu0
ij =ji
i, j= 1, . . . , n
L
>0
ni,j=1
ij(x)ij||2
xU Rn
xU
A(x) = (ij (x))
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
27/93
u
U A := D2u =
ni,j=1
ijuxixj
u
U
(ij)
F :=ADu
F Du0,
u
b
Du= ni=1 biuxi u
U cu
u
u
L
ij, bi, c
L(U)
i, j = 1, . . . , n
fL2(U)
V
B( , )
V
VV
R
B(1u1+2u2, v) =1B(u1, v) +2B(u2, v),
B(u, 1v1+2v2) =1B(u, v1) +2B(u, v2),
u,v,u1, u2, v1, v2V 1, 2, 1, 2R
(i)
B(, )
u, vV
B(u, v) =B(v, u).
(ii)
B(, )
u, vV
|B(u, v)| c1uVvV,
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
28/93
c1
0
(iii) B(, ) V
vV
B(v, v)c2v2V,
c2>0
(i)
B[, ]
L
B[u, v] :=
U
ni,j=1
ij
uxivxj +
ni=1
bi
uxiv+cuv dx
u, vH10 (U)
(ii)
u H10 (U)
B[u, v] = (f, v)
v H10 (U) (, )
L2(U)
Lu= f0 ni=1 fixi uU,u= 0 u U,
L
fi L2(U)
i= 0, . . . , n
1.6
f=f0
ni=1 f
ixi
H1(U)
H10 (U)
u H10 (U)
B[u, v] =< f, v >
vH10 (U) < f,v >=
U
f0v+n
i=1 fivxi dx
H1(U)
H10 (U)
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
29/93
HilbertV
(, )V V B(, )
V
F = (f, v)
V
B
V
F
v V
|F(v)| c3vV,
c30
u V B(u, v) = F(v) B(u, v) = (f, v)
vV
u V
J(u) = minvVJ(v) J
V
J(v) = 12
B(v, v)F(v) J(v) = 1
2B(v, v) (f, v)
u V
u
wV V
u+wV
J(u+w) = 1
2B(u+w, u+w) (f, u+w)
= 1
2B(u, u) (f, u) +1
2B(w, w) (f, w) +B(u, w)
= J(u) +1
2B(w, w)
J(u),
B(w, w)c2w2V0 J(u+w)J(u) , wV
v=u+w
J(u) =minvVJ(v),
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
30/93
u
u V
u
vV
t R
V
u+tv V
u
J(u)J(u + tv)
t R
g : R R
g(t) =J(u+tv)
g(0)g(t) t R 0
g
g(0) = 0
g(0)
g(t) = J(u+tv) =1
2B(u+tv, u+tv) (f, u+tv)
= 1
2B(u, u) (f, u) +t[B(u, v) (f, v)] +1
2t2B(v, v)
= J(u) +t[B(u, v) (f, v)] +12
t2B(v, v)
g(0) = limt0
g(t)g(0)t
= limt0t(B(u,v)(f,v))+ 1
2t2B(u,v)
t = 0
g(0) = B(u, v)
(f, v) = 0
B(u, v) = (f, v)
u
J
v
u
u
V
B(u, v u)< f, v u >,vV.
L
C2(U) C0(U)
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
31/93
C2(U)
C0(U)
Dirichlet
Lu = f
Euler
Euler-Lagrange
v
w
C1
i
i
U
Green
U
viwdx=
U
wivdx+
U
vwids.
w:= ijju
U
vi(ijj u)dx=
U
ijivj udx,
v= 0
U
B(u, v) =
U
ni,j=1
ij
iujv+
ni=1
bi
iuv+cuv
dx,
(f, v) =
U
fvdx.
i, j
vC1(U) C(U) v= 0
U
B(u, v) (f, v) =U
v
n
i,j=1i(
ijju) +n
i=1biiu+cu f
dx
=
U
v(Lu f)dx= 0,
Lu= f
u
C2(U) C0(U)
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
32/93
2.2.1
Lu= f uU,
u= g uU,
Lw= f1 wU,w= 0 wU,
w = uu0 f1 = f Lu0 u0
C2(U)
C0(U)
H1(U)
g
U U
w H10 (U) B(w, v) = (f Lu0, v) v H10 (U)
B(u0, v) = (Lu0, v)
u H1(U)
B(u, v) = (f, v)
u u0H10 (U) vH10 (U)
u= f uU,u= 0 uU.
uH10 (U)
B(u, v) = (f, v)
vH10 (U)
B
Green
B(u, v) =
U
(u)v dx=
U
(2u)v dx
=
U
u v dx= (u, v)
F(v) = (f, v)
(f, v) =
U
fv dx.
B
F
B
F
|B(u, v)| | u| L2(U) | v| L2(U) uH10 (U)vH10 (U),
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
33/93
|(f, v)| fL2(U)vL2(U)cvH10 (U).
H10 B
Poincare
U
u2 dxc
U
| u|2 dx,uH10 (U),
c
B(u, u) =
U| u|2 dx 1
c+ 1
U
(u2 + | u|2) dx=
1
c+ 1u2H1(U).
Lax-Milgram
2.3.2
H
Hilbert
(, )
H
Lax-Milgram V
HilbertH
B :HH R
f
V
J
J(v) =1
2B(v, v)< f, v > 1
2c2v2fv= 1
2c2(c2vf)2f
2
2c2 f
2
2c2.
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
34/93
c := inf
{J(v)
|v
V
}
{vn
}n=1
limn J(vn) =infvVJ(v) =c
c2vn vm2 B(vn vm, vn vm)= 2B(vn, vn) + 2B(vm, vm) B(vn+vm, vn+vm)= 4J(vn) + 4J(vm) 8J(vm+vn
2 )
4J(vn) + 4J(vm) 8c,
V
12
(vn+vm)V
J(vn), J(vm)c vn vm 0 n, m
{vn}
Cauchy
H
u= limn vn V u
V
J
J(u) = limn J(vn) = infvVJ(v)
V
u1, u2
u1, u2, u1, u2, . . .
limn J(vn) =c
Cauchy
u1=u2
H
B
vB :=
B(v, v).
HilbertH
V =H
Lax-Milgram
B :H H R
, > 0
|B[u, v]| u v, u , vH
u2 B [u, u], uH.
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
35/93
f :H
R
H uH B[u, v] =< f, v >
vH
Riesz u H
uH
< u, v >= (u, v),vH.
v B[u, v] u H
H
wH B[u, v] = (w, v),vH.
A
Au= w
B[u, v] = (Au,v),
u, v
H.
u = A1w
A
A: HH
1, 2 R u1, u2 H
vH
(A(1u1+2u2), v) = B[1u1+2u2, v]
= 1B[u1, v] +2B[u2, v]
= 1(Au1, v) +2(Au2, v)
= (1Au1+2Au2, v).
A
uH
Au2 = (Au, Au) =B [u,Au]uAu.
uH
Au u
A
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
36/93
A
1
1
R(A)
H
u2 B [u, u] = (Au,u) Auu
u Au
A
{yj}j=1 R(A) y H
xj H Axj = yj yjykH =A(xjxk)H xjxkH {xj}j=1
Cauchy
{xj} xj xH
y =Ax
R(A)
A
yj =AxjAx = y R(A)
A
R(A) =H
R(A)H
R(A)
wH
wR(A)
w2 B[w, w] = (Aw,w) = 0
A
Riesz
< f, v >= (w, v)
v H
w
H
A
1
1
R(A) =H uH Au= w
B[u, v] = (Au,v) = (w, v) =< f,v >,vH.
uH
u1, u2H
B[u1, v] =< f, v > B[u2, v] =< f, v >
B[u1, v] = B[u2, v] B[u1, v] B[u2, v] = 0 B[u1 u2, v] = 0
vH
v =u1 u2 u1 u22 B [u1u2, u1
u2] = 0
u1
u2
= 0
u1=u2
B[, ]
, > 0
0
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
37/93
(i)|B[u, v]| uH10 (U)vH10 (U)
(ii) u2H10 (U)B [u, u] +u2L2(U)
u, vH10(U)
B[, ]
|B[u, v]| n
i,j=1
ijL(U)
U
|Du||Dv|dx
+n
i=1
biL(U)
U
|Du||v|dx+ cL(U)
U
|u||v|dx
uH10 (U)vH10 (U),
L
ij
(x)
x U
x U
n
i=1
|uxi|2 n
i,j=1
ij(x)uxiuxj .
U
B
U |Du|2
dx Un
i,j=1
ij
uxiuxjdx
= B[u, u]
U
ni=1
biuxiu+cu2dx
B[u, u] +n
i=1
biL(U)
U
|Du||u|dx
+ cL(U)
U
u2dx.
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
38/93
Cauchy
aba2 + b2
4, >0,
U
|Du||u|dx
U
|Du|2dx+ 14
U
u2dx, >0.
>0
n
i=1
biL(U)0
0
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
39/93
= 0
B[
,
]
Lax-Milgram
B
0
f L2(U) u H10 (U)
Lu+u= f, uU,u= 0, u U.
u
H10 (U)
Lax-Milgram
B
B[u, v] :=B [u, v] +(u, v).
|B[u, v]| = |B[u, v] +(u, v)| |B[u, v]| +|(u, v)| uH10 (U)vH10 (U)+uL2(U)vL2(U) c1uH10 (U)vH10 (U),
u2H10 (U) B[u, u] +u2L2(U)
= B[u, u] (u, u) +u2L2(U)
= B[u, u] u2L2(U)+u2L2(U)= B[u, u] + ( )u2L2(U),
c2u2H10 (U)u2H10 (U)
+ ( )u2L2(U)B[u, u],
B
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
40/93
v
< f, v >:= (f, v)
L2(U) H10 (U)
vH10 (U) |< f, v >|=|(f, v)| fL2(U)vL2(U)c3vH10 (U).
Lax-Milgram
uH10(U)
B[u, v] =< f, v > vH10 (U)
fi L2(U)
i= 0, 1, . . . , n
u
Lu+u= f0 ni=1 fixi , uU,
u= 0, u U.
2.2.3
B
f
Lax-Milgram
uH10 (U)
(i)
L
L
Lv:=n
i,j=1
(aijvxj)xin
i=1
bivxi+ (c n
i=1
bi,xi)v,
bi C1(U)
i= 1, . . . , n
(ii)
B :H H R B[v, u] =B [u, v],
u, vH10(U)
(iii)
v H10 (U)
Lv=f, vU,v= 0, vU,
B[v, u] = (f, u)
uH10 (U)
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
41/93
(i)
()
f L2(U)
u
Lu= f, uU,
u= 0, uU,
()
u= 0
Lu= 0, uU,
u= 0, uU.
(ii)
()
N H10 (U)
N H10 (U)
Lv= 0, vU,v= 0, v U.
(iii)
()
(f, v) = 0 vN
(i)
R
Lu= u+f, uU,
u= 0, uU
fL2(U)
/
(ii)
={k}k=1 k
k+
L
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
42/93
Lu= u, uU,
u= 0, uU,
u= 0
L
w
/
C
uL2(U)CfL2(U),
fL2(U)
uH10(U) Lu= u+f, uU,
u= 0, uU.
C
U
L
Neu-
mann
Dirichlet
Neumann
U
U
C1
f L2(U)
g L2(U)
u H1(U)
J(u) = minvH1(U)J(v) J H1(U)
J(v) :=1
2B[v, v] (f, v)U (g, v)U,
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
43/93
NEUMANN
C2(U)C1(U)
Lu= f, uU,n
i,k=1 iikku= g, uU.
L
Lu :=ni,k=1 i(ikku) + 0u 0(x) > 0 xU
ik i, k =1, . . . , n
:=(x)
U
Lax-
Milgram
B
B[u, v] := U n
i,k=1
ikiukv+0uv dx
< l, v >:=
U
fvdx+
U
gvds
fL2(U)
gL2(U)
vH1(U)
B[v, v]
|a|=1
U |Dv
|2dx+
v
2H0(U)=
v
2H1(U),
B
H1(U)
< l, v >
Lax-Milgram
u
B[u, v] = (f, v)U+ (g, v)U,vH1(U).
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
44/93
u
C2(U)C1(U) vH10 (U)
T v= 0
B[u, v] = (f, v),vH10 (U),
U
Lu= f.
Green
v H1(U)
U
vi(ikku)dx=
U
ivikkudx+
U
vikkuids.
B[u, v] (f, v)U (g, v)U=
U
v(Lu f)dx +
U
v
n
i,k=1
iikku g
ds.
v0 := iikku g
Uv20ds >0 C
1(U)
C0(U)
vC1(U)
U
v0vds >0
Neumann Helmholtz
u+0(x)u= f, uU
u
:= u= g, u U,
u
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
45/93
NEUMANN
Neumann
Pois-
sonu= f , uU
u
=g, u U.
Gauss
U div(w)dx= U wds
f
g
U
f dx =
U
(u)dx
=
U
div(u)dx
=
U
u ds
= U
u
ds
=
U
gds
U
f dx+
U
g ds= 0.
Lu= f, uU,u= g, u U1,
u
=h, u U2,
U := U1 U2
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
46/93
u
Lu = f
U
Hs
B[, ] V
V Hm(U)
m 1
B[u, v] = (f, v),vV
Hs
c = c(U, B , s)
f Hs2m(U)
u Hs(U)
uHs(U)cfHs2m(U).
U Rn
u H10 (U)
Lu= f
U
L
u
U
H2
L ij C1(U) bi, c L(U) i, j = 1, . . . , n
fL2(U)
uH1(U)
Lu= f
U
uH2loc(U) VU
u
H2(V)
CfL2(U)+ uL2(U) ,
C
V
U
L
ij, bi, c Cm+1(U) i, j = 1, . . . , n m
f Hm(U)
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
47/93
u
H1(U)
Lu = f U u Hm+2loc (U)
VU
uHm+2(V)CfHm(U)+ uL2(U) ,
C
m
U, V
L
ij , bi, cC(U) i, j= 1, . . . , n fC(U)
uH1(U)
Lu= f
U
uC(U)
u
U
U
ij
C1
(U)
bi
, c L
(U)
i, j = 1, . . . , n
f L2(U)
u H10 (U)
Lu= f, uU,
u= 0, uU.
U
C2
uH2(U)
uH2(U)CfL2(U)+ uL2(U)
,
C
U
L
uH10 (U)
uH2(U)CfL2(U).
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
48/93
ij, bi, c Cm+1(U) i, j = 1, . . . , n m
f Hm(U)
u H10 (U)
Lu= f, uU,
u= 0, uU.
U
Cm+2
u Hm+2(U)
u
Hm+2(U)
C
f
Hm(U)+
u
L2(U) ,
C
m
U
L
u
uHm+2(U)CfHm(U).
ij , bi, cC(U) i, j= 1, . . . , n fC(U)
uH10 (U)
Lu= f, uU,u= 0, uU.
U
C
uC(U)
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
49/93
Ritz-Galerkin
Ritz-Galerkin
J
Hm(U)
Sh h
h0
u V B[u, v] =< f, v > v V
Ritz-Galerkin
Sh V
uh Sh B[uh, v] =< f, v > vSh uh
u
{1, 2, . . . , N} Sh
N
B[uh, i] =< f, i>, i= 1, 2, . . . , N .
uh i
i= 1, . . . , N
uh =N
j=1
cjj,
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
50/93
Nj=1
cjB[j, i] =< f, i>, i= 1, 2, . . . , N ,
Ac= b,
A= (aij) =B [j , i] b= (bi) =< f, i> c= (cj)
Ritz-Galerkin
A
B
< f,v >
(i)
B
V
(ii) < f,v >
A
Ritz-Galerkin
zTAz >0,z RN, z= 0.
{j}Nj=1 Ritz-Galerkin uh=
Nj=1 cjj
zTAz =N
i=1zi
N
j=1aijzj
=N
i=1
zi
Nj=1
B[j , i]zj
= B[N
j=1
zjj,N
i=1
zii]
= B[uh, uh]uh2V >0,
uh= 0 z= 0
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
51/93
RITZ-GALERKIN
Sh
V
uhHm(U)1f.
uh
v= uh
uh2Hm(U)B [uh, uh] =< f, uh> fuhHm(U).
uhHm(U) Cea B V
VHm(U)
u uhV
infvhShu vhV,
u
uh V
ShV
B[u, v] =< f,v >,
v
V ,
B[uh, v] =< f,v >,vSh.
ShV B[u uh, v] = 0,vSh.
vh Sh v = vh uh Sh
B[u uh, vh uh] = 0 u uh2V B[u uh, u uh]
= B[u
uh, u
vh+vh
uh]
= B[u uh, u vh] +B[u uh, vh uh]= B[u uh, u vh] +B[u, vh uh] B[uh, vh uh]= B[u uh, u vh]+< f, vh uh>< f, vh uh>= B[u uh, u vh] u uhVu vhV.
uuhV u uhV u vhV
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
52/93
Galerkin
2.2.3
B
uhSh J(uh) =minvShJ(v)
Ritz-Galerkin
u= f, uU,u= 0, u,
U
(0, 1) (0, 1)
U
Ritz-
Galerkin
U
Sh v(x, y)
U
(i) v(x, y)
T
U
v(x, y) =ax+by+c.
(ii)
v(x, y)
U= [0, 1] [0, 1]
(iii) v(x, y)
Pj = (xj, yj) j = 1, . . . , n
U
j(x, y) Sh
Pj
1h
dimSh =n = j j = 1, . . . , n
Ritz-Galerkin
nj=1
cj
U
j i dx dy =
U
f i dx dy, i = 1, . . . , n ,
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
53/93
RITZ-GALERKIN
Ac= b,
A = (aij) =
Uj i dx dy b = (bi) =
U
f i dx dy c= (cj)
V V II
III I
V I V III
IV II
S SE
NW N
W EC
U
A
(aij) C
aCC =
IV III
(C)2 dx dy
= 2
I+II I+IV
2Cdx dy
= 2
I+II I+IV
(xC)
2 + (yC)2
dx dy
= 2
I+II I
(xC)2 dx dy+ 2
I+IV
(yC)2 dx dy
= 2h2
I+II I
dx dy+ 2h2
I+IV
dx dy
= 4,
aCN =
I+IV
C Ndx dy=
I+IV
yC yNdx dy
=
I+IV
(h1)h1 dx dy =1,
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
54/93
aC NW =
II I+IV
C NWdx dy
=
II I+IV
(xCxN W+yCyN W) dx dy = 0,
aCE=aCS=aCW =aCN=1,
aC SE=aC NW = 0,
i i={C,N,S,W,E,NW,SE}
i
A
C
0 1 01 4 10 1 0
.
U
Sh
(i)
U
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
55/93
U
U
U
(i)
T ={T1, T2, . . . , T M} U
U=Mi=1Ti
Ti Tj
Ti Tj
i=j
TiTj
Ti Tj Ti Tj
(ii)
T
Th
2h
(iii)
(iv) {Th}
> 0
T Th
T
T hT/,
hT T
(v) {Th}
>0
T Th
T h/
h= maxTThhT
(ii)
vSh Ti i= 1, 2, . . . , M
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
56/93
v
U vPt
Pt :={v(x, y) =i+jti,j0
cijxiyj},
t
t v
v
Qt
Qt :={v(x, y) =
0i,jt
cijxiyj}
(iii)
vSh
v
Ti
v
(i)
(T, , )
T
R
n
s
T
s
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
57/93
p
s
s
(ii)
Sobolev
H1(U)
U k1
v : U R
Hk(U)
vCk1(U)
C0(U)
C0
v
Ck
vCk(U)
(i)
(T, , )
T
i, i= 1, 2, 3,
= P1 ={v(x, y) = a+bx+cy| a,b,c R} dim = 3
=
{p(i), i= 1, 2, 3
}
(ii)
(T, , )
T
i, i= 1, 2, 3 i, i= 1, 2, 3
=P2={v(x, y) =a1+ a2x + a3y + a4xy + a5x2 + a6y2 |aiR, i= 1, . . . , 6}
dim = 6
={p(i), p(i), i = 1, 2, 3}
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
58/93
(iii)
(T, , )
T i, i = 1, 2, 3 i i i i = 1, 2
123 =13
(1+2+3)
= P3 ={v(x, y) =
i+j3i,j0 cijx
iyj | cij R, i , j = 0, 1, 2, 3}
dim = 10
={p(i), p(i), p(i), p(i), p(123), i= 1, 2, 3}
Mk :=Mk(T) :={vL2(U)|v|T Pk T Th},
Mk0 :=Mk H1(U),
Mk0,0 := Mk H10 (U).
(i)
(T, , )
T
i, i= 1, 2, 3, 4
={v C0(U)| v|T P2, v|Ti P1, i = 1, 2, 3, 4, T
Th} = Q1 ={v(x, y) = a1 + a2x+ a3y+a4xy| ai R, i = 1, 2, 3, 4} dim = 4
={p(i), i = 1, 2, 3, 4}
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
59/93
(ii)
(T, , )
T i, i= 1, 2, 3, 4 i, i= 1, 2, 3, 4
={v C0(U)| v|T P3, v|Ti P2, i = 1, 2, 3, 4 T
Th}={v(x, y) =a1+ a2x + a3y+ a4xy+ a5(x2 1)(y 1) + a6(x2 1)(y+1) + a7(x 1)(y2 1) + a8(x +1)(y2 1)|ai R, i= 1, . . . , 8} dim = 8
={p(i), p(i), i = 1, 2, 3, 4}
serendipity
serendipity
U
Sh Th U Rn
(Tref, ref, )
TjTh Fj :Tref
Tj vSh Tj
v(x) =p(F1j x), pref.
Mk0
(Tref, Pk, k)
Tref :={(, ) R2 |0, 0, 1 0}
Pk k k:={p(i), i= 1, 2, . . . , (k+1)(k+2)2 }
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
60/93
U
v Ihvm,hcvHt(U), mt, Th ={T1, T2, . . . , T M} U
m1 m,h
vm,h:=
TjTh
v2Hm(Tj),
Ihv
Sh v Hm(U)
vm,h=vHm(U)
Bramble-Hilbert
Bramble-Hilbert
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
61/93
U
R
2
Lipschitz
U
U
t2
z1, z2, . . . , z s s:=t(t+ 1)/2
U
I : Ht Pt1
t1
c= c(U, z1, . . . , z s)
u IuHt(U)c[u]Ht(U),uHt(U),
[
]Ht(U)
[u]Ht(U):=
||=t
U
|Du|2 dx.
Ht(U)
|v|:= [v]Ht(U)+s
i=1
|v(zi)|.
Ht(U)
||
|v| c1vHt(U) vHt(U)c2|v| vHt(U)
Ht(U)H2(U)C0(U)
|v(zi)| cvHt(U), i= 1, 2, . . . , s .
|v| = [v]Ht(U)+s
i=1
|v(zi)|
vH
t
(U)+cs
vH
t
(U)= (1 +cs)vHt(U).
vHt(U)c|v|,vHt(U)
c
(vk)Ht(U)
vkHt(U) = 1,|vk| 1k
, k= 1, 2, . . . .
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
62/93
1.5.1
(vk) Ht1(U)
(vk) Ht1(U)
(vk) Cauchy H
t1(U)
[vk]Ht(U)0
vkvl2Ht(U) vkvl2Ht1(U) + ([vk]Ht(U)+ [vl]Ht(U))2 (vk) Cauchy H
t(U)
Ht(U)
(vk) v Ht(U)
vHt(U)= 1,|v|= 0,
[v]Ht(U) = 0
v
Pt1 v(zi) = 0
i= 1, 2, . . . , s v
u IuHt(U) c|u Iu|
= c
[u Iu]Ht(U)+
si=1
|(u Iu)(zi)|
= c[u Iu]Ht(U)= c[u]Ht(U),
Iu= u
D
Iu= 0 ||= t
Bramble-
Hilbert
Bramble-Hilbert U R2 Lip-schitz
t2
L : Ht(U) Y
Y
Pt1kerL kerL L
c = c(U)L 0 L := sup{Lv | v = 1}
Lv c[v]Ht(U),vHt(U).
I : Ht(U) Pt1
IvkerL
Lv=L(v Iv) L v IvHt(U)cL[v]Ht(U),
c
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
63/93
Th U
Sh = M
t10 (Th) t 2
Th
Ih:Ht(U)Sh
Th
U
t 2
c= c(U,,t)
u Ihum,hchtm[u]Ht(U),uHt(U), 0mt,
Ih t 1
U
T1
Th := hT1 ={
x= hy|
y
T1}
h1
0mt
u IuHm(Th)chtm[u]Ht(Th),
Iu
Pt1
u
c
uHt(Th) v Ht(T1)
v(y) =u(hy).
|| t
v = h||
u
R
2
h2
[v]2Hl(T1) =||=l
T1
|Dv|2 dy =||=l
Th
h2l|Du|2h2 dx= h2l2[u]2Hl(Th).
h1
u2Hm(Th)=lm
[u]2Hl(Th)=lm
h2l+2[v]2Hl(T1)h2m+2v2Hm(T1).
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
64/93
u
u
Iu
u IuHm(Th) hm+1v IvHm(T1) hm+1v IvHt(T1) hm+1c[v]Ht(T1) chtm[u]Ht(Th),
mt
U
U
U
1 1
F : UU
Fx= x0+Bx,
B v Hm(U) v :=v F Hm(U)
c= c(U , m)
[v]Hm(U)cBm|detB|1/2[v]Hm(U).
F : T1 T2 x Bx+x0 1 1
i
Ti ri
Ti x R2 x 21
y1, z1
T1 x = y1
z1 F(y1), F(z1)
T2
Bx 2r2
B r21
.
T1 T2
B1 r12
B B1 r1r212
.
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
65/93
Tj Th U
u IhuHm(Tj)chtm[u]Ht(Tj),uHt(Tj).
r= 21/2
= (2+
2)1 2/7
11
F : Tref T T = Tj Th
[u
Ihu]Hm(T)
c
B
m
|detB
|1/2[u
Ihu]Hm(Tref)
cBm|detB|1/2 c[u]Ht(Tref) cBm|detB|1/2 cBt|detB|1/2[u]Ht(T) c B B1m Btm[u]Ht(T).
r/
B
B1 (2 + 2)
B h/4h
[u Ihu]Hl(T)chtl[u]Ht(T).
l 0 m
serendipity
Th
U
c= c(U, )
u
Ihu
Hm(U)
ch2m[u]H2(U),
u
H2(U),
Ihu u
Th
U
serendipity
c = c(U, )
u IhuHm(U)chtm[u]Ht(U),uHt(U), m= 0, 1, t= 2, 3.
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
66/93
Clement
(Sh)
k
c = c(,k,t)
0mt
vht,hchmtvhm,h,vhSh.
X
Y
(Sh) X
infvhShu vhYchuX,uX,
vhXchvhY,vhSh.
=
Clement
Ih
H2
Clement
H1
Clement
Th
U
xj
j :=xj :={T Th| xjT}
vj M10 vj (xk) = jk
T :={j| xjT}
T
T
Ihv Clement
Ihv:=
j
(Qjv)vjM10 ,
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
67/93
Qjv=
0, xjD,Qj v, xj /D,
D U Qj : L2(j) P0 L2
Clement
Th
U
Ih :H
1(U)M10
v IhvHm(T)ch1mT vH1(T),vH1(U), m= 0, 1, T Th,
v IhvH0(e)ch1/2T vH1(T),vH1(U), eT, T Th.
u uh chp,
u
uh Sh
p
Sobolev
U
U
Th
U
uhSh=Mk0 k1
u uhH1 chuH2 chfH0.
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
68/93
U
Dirichlet H2
uH2c1fH0 .
vhSh
u vhH1(U)=u vh1,hc2huH2(U).
Cea
u uhH1 c3c4
infvhShu vhH1,
P1
Th
U
uh
Sh Sh
u uhH1chfH0.
L2
Aubin-Nitsche H Hilbert || (, )
V
Hilbert
V H
ShV
|u uh| Cu uhsupgH
1
|g| infvShg v
,
gH
gV
B(w, g) = (g, w),wV.
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
69/93
w
Hilbert
|w|= supgH(g, w)|g| ,
supremum
g= 0 u
uh
B(u, v) =< f, v >,vV ,
B(uh, v) =< f, v >,
v
Sh.
v Sh B(u uh, v) = 0 w := u uh
(g, u uh) = B(u uh, g)= B(u uh, g v) c1u uh g v,
B
(g, u
uh)
c1
u
uh
infvSh
g
v
.
|u uh| = supgH(g, u uh)|g| c1u uhsupgH
infvSh
g v|g|
.
u H1(U)
u uhH0cC hu uhH1 .
f L2(U) u H2(U)
u uhH0cC2h2fH0,
c
C
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
70/93
H :=H0(U),| |:= H0 ,
V :=H10 (U), := H1,
V H V
H
H0 H1
Aubin-Nitsche
ch
L
vL(U) := supxU|v(x)|.
H2
u
uh
L
ch2
|logh
|3/2
D2u
L,
u uhLch[u]H2.
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
71/93
Stokes
Cea
Hm
SobolevHm(U)
uh
u
Cea
V Hm(U) Sh V
B[u, v] =< f,v >,vV
uh
Sh
vSh Bh[uh, v] =< fh, v > .
Bh
V
V
Strang
c
h
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
72/93
STOKES
u uhV c
infvhSh
u vhV +supwhSh
|B[vh, wh] Bh[vh, wh]|whV
+ c supwhSh
< f, wh >< fh, wh>
whV
.
vhSh wh = uh vh
c2uh vh2V Bh[uh vh, uh vh]= Bh[uh
vh, wh]
= B[u vh, wh] + (B[vh, wh] Bh[vh, wh]) + (Bh[uh, wh] B[u, wh])= B[u vh, wh] + (B[vh, wh] Bh[vh, wh]) (< f, wh>< fh, wh >) .
uhvhV =whV
B
uhvhVC
u vhV +|B[vh, wh] Bh[vh, wh]|whV +|< fh, wh >< f, wh>|
whV
.
vh Sh
u uhV u vhV + uh vhV.
Sh V
Hm
Sh
h
Bh
V
Sh
Bh
|Bh[u, v]| c1uhvh,uV +Sh, vSh,
Bh[v, v]c2v2h,vSh,
c1 c2 h
Strang
Berger, Scott, Strang
c
h
u uhhc
infvhShu vhh+supwhSh|Bh[u, wh]< fh, wh>|
whh
.
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
73/93
vhSh
c2uh vh2h Bh[uh vh, uh vh]= Bh[u vh, uh vh] + (< fh, uh vh>Bh[u, uh vh]) .
uhvhh
uh vh = wh
uh
vh
h
c12 c1
u
vh
h+
|Bh[u, wh]< fh, wh>|
whh .
u uhh u vhh+ uh vhh.
Aubin-Nitsche
HilbertV
H
Aubin-Nitsche
ShH
Bh V
Sh
B
V
uh
|u uh| supgH 1|g|(c1u uhhg g,hh+ |Bh[u uh, g] (u uh, g)|+ |Bh[u, g g,h]< f, g g,h >|),
gV g,hSh
Bh[w, ] = (w, g) gH
uh g g,h gH
(u uh, g) = Bh[u, g] Bh[uh, g,h]= Bh[u uh, g g,h] +Bh[uh, g g,h] +Bh[u uh, g,h]= Bh[u uh, g g,h] (Bh[u uh, g] (u uh, g)) (Bh[u, g g,h]< f, g g,h >) .
Bh
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
74/93
STOKES
Sobolev
m 1
uL2(U)
um,U :=supvHm0 (U)(u, v)
vHm(U) .
Hm(U) L2(U) m,U
Sobolev
Hm0 (U)
Hm(U)
H2(U)H1(U)L2(U)H10 (U)H20 (U). . .
u2,U u1,U uH0(U) uH1(U) uH2(U)
B
Hm
0
uHmc12 fm.
(u, v) umvHm
v= u
B[u, v] = (f, v)
c2u2HmB [u, u] = (f, u) fmuHm.
uHm
Dirichlet
Hm
X
Y
Banach
X
Y
L : X Y
y Y
xly(x) :=< y, Lx >
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
75/93
X
L : Y X y ly , < Ly, x >:=< y, Lx >
L
V
X
V
V0 :={lX | < l,v >= 0vV}.
V0
V
V
V
:={xX| (x, v) = 0vV}.
L
X
Y
Banach
L : X Y
(i)
L(X)
L
Y
(ii) L(X) = (kerL)0
U
V
Hilbert
B :
UV R L: UV
< Lu,v >:=B [u, v]vV.
f V
uU vV
B[u, v] =< f,v > .
u= L1f
U
V
L
L
L1
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
76/93
STOKES
U
V
Hilbert
L : U V
B : U V R
(i)
C0
|B[u, v]| CuUvV. (ii)
inf-sup
>0
supvVB[u, v]
v
V
uU,uU.
(iii)
vV
uU
B[u, v]= 0.
(i)
(ii)
L: U {vV | B[u, v] = 0uU}0 V
LvVuU,uU.
infuUsupvVB[u, v]
uUvV >0.
L: UV
L
L
Lu1=Lu2
u1 =u2 Lu1 = Lu2 L
B[u1, v] = B[u2, v] v V supvVB[u1
u2, v] = 0 u1u2= 0 u1u2 = 0
L
f L(U) u= L1f
uUsupvV B[u, v]vV =supvV< f, v >
vV =f.
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
77/93
L1
L
L
L1
L(U)
L
(iii)
Lax-Milgram
B
V
inf-sup
supvV B[u, v]vV B[u, u]uU uU.
Galerkin
Uh U Vh V
f V
uh Uh
vVh B[uh, v] =< f,v > .
B :UV R
UhU VhV
U
V
Uh Vh
u uh
1 +C
infwhUhu wh.
Uh Vh Babuska
inf-sup
Uh Vh
B[u uh, v] = 0vVh.
wh Uh
B[uh wh, v] =B [u wh, v]vVh.
< l , v >:= B[uwh, v] l Cuwh
Lh :UhVh
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
78/93
STOKES
B[uh
wh,
]
(Lh)
1
1/
uh wh 1l 1Cu wh.
u uh u wh + uh wh.
Saddle Point
X
M
Hilbert
B :X X R, b: X M R
f X
gM
u
X
J(u) =1
2B[u, u]< f,u >
b[u, ] =< g, >,M
M
J
Lagrange
L(u, ) :=J(u) + (b[u, ]< g, >)
L(, ) J L(u, )
u
saddle point (u, ) XM
vX M
B[u, v] +b[v, ] =< f, v >,b[u, ] =< g, > .
(u, )
saddle point
saddle point
L(u, ) L(u, ) L(v, )(v, )X M.
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
79/93
SADDLE POINT
Inf-Sup
L: X MX M(u, )(f, g).
A: XX, < Au, v >=B [u, v] vX
B
C : X
M, < Cu, >=b[u, ]
M
C : M X, < C, v >=b[v, ]
vX
b
Au+C= f,Cu= g.
V(g) :={vX| b[v, ] =< g, >M},V :={vX| b[v, ] = 0M}.
b
V
X
(i)
>0
infMsupvXb[v, ]
v.
(ii)
C : V M
Cv v vV. (iii)
C : M V0 X
C M.
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
80/93
STOKES
(i)
(iii)
(iii)
v V
gV0 w(v, w) C
M
w
b[w, ] = (v, w).
g
g=v
v =g =C
w = v
supMb[v, ]
b[v, ]
=(v, v)
v.
C :V M
C
(ii)
M
= supgM < g, >
g
=supvV
< Cv, >
Cv
= supvV
b[v, ]
CvsupvVb[v, ]
v.
(i)
Brezzi saddle
point
L: X MX M
(i)
B
V
(ii)
b
inf-sup
(ii)
Brezzi
saddle
point
Xh X Mh
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
81/93
SADDLE POINT
M
(uh, h)
Xh
Mh
vXh Mh B[uh, v] +b[v, h] =< f, v >,
b[uh, ] =< g, > .
Vh :={vXh| b[v, ] = 0Mh}.
Xh
Mh
Babuska-Brezzi
>0
>0
h
(i)
B
Vh
>0
(ii)
hMh
supvXhb[v, h]
v h.
(ii)
Brezzi
Ladyshenskaja-
Babuska-Brezzi
LBB
Xh Mh Babuska-Brezzi
u uh + h c {infvhXhu vh +infhMh h} .
XhX MhM
(C)
Vh V vh Xh
b[vh, h] = 0 hMh b[vh, ] = 0 M
(C)
u uh c infvhXhu vh.
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
82/93
STOKES
vh
Vh(g) v
Vh
B[uh vh, v] = B[uh, v] B[u, v] +B[u vh, v]= b[v, h] +B[u vh, v] Cu vh v,
b[v, h] (C) v :=
uhvh uhvh2 1Cuhvh u vh uhvh u uh u vh + uh vh
Fortin
Fortin
inf-sup
Fortin
b : X M R inf-sup
Xh Mh h:XXh hMh
b[v hv, h] = 0. h c c h
Xh Mh inf-sup
hMh
h supvXb[v, h]v =supvXb[hv, h]
v
c supvX
b[hv, h]
hv =c supvhXh
b[vh, h]
vh ,
hvXh
Xh Mh
inf-sup
h: XXh
Fortin
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
83/93
STOKES
b
Xh
Xh Mh inf-sup
c
h
uV(g)
infvhVh(g)u vh c infwhXhu wh.
Fortin
wh
Xh hwh = wh u
V(g)
hu
Vh(g)
uhu=uwhh(uwh) uwh+h(uwh) (1+c)uwh.
Stokes
Stokes
u+grad p= f u
U,
div u= g uU,u= u0 u U,
u : U Rn n = 2 3
p : U R
f
g, u0
= 1
U R2
div u = 0
u0= 0 Stokes
u+grad p= f uU,div u= 0 uU,
u= 0 uU.
Gauss
U
div u dx=
U
u ds=
U
u0 ds.
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
84/93
STOKES
p
U
p dx= 0.
u
C2(U) C0(U)2 p C1(U) u p
Stokes
Stokes
saddle point
(u, p) XM
v X
qM B[u, v] +b[v, p] = (f, v),
b[u, q] = 0,
X=H10 (U)
2
M=L20(U) :={qL2(U)|
Uq dx= 0}
B[u, v] = Ugrad u: grad v dx,grad u: grad v ni,j=1 uixj vixj ,
b[v, q] = U
div v q dx.
vH10 qH1 Green
b[v, q] =
U
div v q dx
=
U
v grad q dx
U
v q ds
=
Uv grad q dx.
div
grad
b[v, q]
q
M
L2(U)/R
L2
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
85/93
STOKES
(u, p)
u C2(U) C0(U)2
pC1(U)
saddle point
(u, p)
saddle
point
:= div uL2
= q0+c q0M c
u
H10 v = u q = 1
Udiv u dx = 0
b[u, q] = 0
U
(div u)2 dx =
U
(div u) (div u) dx=
U
(div u) dx
=
U
(div u) (q0+c) dx=
U
(div u) q0 dx+c
U
div u dx
= b[u, q0] +c
U
div u dx= 0.
div u= 0
(grad u, grad v) = (f grad p,v)vH10(U)2.
u C2(U) C0(U)2
u
u= f grad p uU,u= 0 u U,
Inf-Sup
Stokes
(i)
(ii)
Brezzi
V :={vX| (div v,q) = 0qL2(U)}.
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
86/93
STOKES
B[u, u]1/2 =
grad u
H0(U) = [u]H1(U)
B H10 (i)
(ii)
U
Lipschitz
(i)
grad: L2(U)H1(U)2
H1(U)2
(ii)
c= c(U)
pH0(U)cgrad pH1(U)+ pH1(U)pL2(U),
pH0(U)cgrad pH1(U)pL20(U).
Stokes
Brezzi
pL20(U)
grad pH1(U)c1pH0(U).
vH10 (U)2 vH1(U) = 1
(v, grad p) 12vH1(U)grad pH1(U) 1
2cpH0(U).
b[v, p]vH1(U) = (v, grad p)
1
2cpH0(U),
Brezzi
-
7/23/2019 E Methodos Ton Peperasmenon Stoikheion g - Marianna Pepona
87/93