Information Technology Reference
In-Depth Information
A
0 ) with respect to η 0 S η
We also introduce the derivative of
A (δη)ϕ := D η 0 A 0 )(δη)ϕ
s A
0
1
:=
lim
s 0 +
0 +
sδη)ϕ
A
V
,δη
C
.
A (δη) L ( V , V ) with V
We assume that
a real and separable Hilbert space satis-
fying
V V H = H V V .
V V
We further assume th at there exists a real and separable Hilbert space
such
A
V ,
V
that
v
v
. We have the following relation between D η 0 u(η 0 )(δη) and u .
A
( V
, V ) ,
Lemma 11.2.1 Let
(δη)
L
δη
C
and u(η 0 )
:
J
V
, η 0 S η be the
unique solution to
d , 0 )( 0 ,
d .
A
=
× R
·
=
R
t u(η 0 )
0 )u(η 0 )
0
in J
)
g(x)
in
(11.6)
Then ,
u(δη) solves
= A
d ,
d .
(11.7)
t
u(δη)
A
0 )
u(δη)
(δη)u(η 0 )
in J
× R
u(δη)( 0 ,
·
)
=
0
in
R
Proof Since u(η 0 )( 0 )
=
g does not depend on η 0 , its derivative with respect to η
is 0. Now let η s :=
η 0 +
sδη , s> 0, δη
C
. Subtract from the equation t u(η s )(t)
A
s )u(η s )(t)
=
0Eq.( 11.6 ) and divide by s to obtain
s u(η s )(t)
u(η 0 )(t)
s A
0 ) u(η s )(t)
t 1
1
s )
A
0 ) u(η s )(t)
u(η 0 )(t) =
1
s A
0 .
Taking lim s 0 +
gives Eq. ( 11.7 ).
A
: V × V → R
We associate to the operator
(δη) the Dirichlet form
a(δη
,
·
)
which is given by
a(δη ; u, v) =− A (δη)u, v V , V
.
The variational formulation to ( 11.7 ) reads:
L 2 (J
H 1 (J
Find
u(δη)
; V
)
; H
) such that
a η 0 ;
u(δη), v =−
a δη
u(η 0 ), v ,
(∂ t
u(δη), v)
H +
;
v
V
,
(11.8)
u(δη)( 0 )
=
0 .
Note that ( 11.8 ) has a un ique solution
u(δη) V
due to the assumptions on
A
a(η 0
,
·
) ,
and u(η 0 )
V
.
Search WWH ::




Custom Search