Documente Academic
Documente Profesional
Documente Cultură
ut = Lu + f (u), t > 0, x
u(t, x) = 0, t > 0, x
u(0, x) = u 0 (x),
(1)
n
n
X
u X
u
aij (x)
+
bj (x)
+ (c(x) + )u,
xi
xj
xj
i,j=1
j=1
(2)
n+2
n2
(C)
if n 3, and 1 if n = 2, and
lim sup
|u|
f (u)
0.
u
(D)
aij (x)i j
i,j=1
n
X
k2 ,
k=1
u D(A), v X 1/2 ,
u, v X
1/2
(3)
(4)
u X 1/2 ,
(5)
and
(6)
(7)
(8)
(9)
where BT is the largest ball contained in T such that T is starshaped with respect to BT .
Rodiak Nicolai Figueroa L
opez
Definition 2
is star-shaped with respect to a ball B if, for all x , the closed
convex hull of {x} B is a subset of .
Theorem 3
Let {T h }h(0,1] be a quasi-uniform family of subdivisions of a
polyhedral domain Rn and (K , P, N ) the reference element,
satisfying
(i) K is star-shaped with respect a some ball,
(ii) Pm1 P W m, (K ) and
0
(iii) N C ` (K ) .
Suposse 1 p and or m ` n/p > 0 when p > 1 or
m ` n 0 when p = 1. For all T T h , h (0, 1], let
(T , PT , NT ) be the afin-equivalence element. Then, there exist a
positive constant C depending of the reference element, n, m, p and
in (9) such that for 0 ` m,
k I h kW `,p () Chm` ||W m,p () , W m,p ().
(10)
Assumption 4
Let Rn be a polyhedral domain with n > 2 which has
{T h }h(0,1] a quasi-uniform family of subdivisions with positive
constant and let (K , P, N ) be a reference element of class C 0
satisfying
(i) K is star-shaped with respect to some ball,
(ii) P1 P W 2,
0 (K ) and
`
(iii) N C (K ) , for some ` Z+
0.
With the Assumption 4 we can define the finite element space
1/2
Xh
:= {I h : C ` (), = 0} X 1/2 C (),
1/2
is
1/2
Xh .
(11)
(12)
(13)
1/2
defined by
1/2
v Xh .
(14)
1/2
h , h Xh .
1/2
(15)
where Fh := Ph F : Xh
1/2
Xh
Lemma 5
If (4) and (5) hold, then there is a positive constant C such that
kPh v v kX s Ch2(1s) kAv kX , v X , s = 0, 1/2.
(16)
Theorem 6 ([2])
If Assumption 4 holds, then there is a constant C > 0 and an acute
angle 1 such that for any a X and z S0,1 , we have
k(z A)1 a(z Ah )1 Ph akX s 6 Ch2(1s) kakX , s = 0, 1/2. (17)
Lemma 7 ([2])
If (4), (5) and Assumption 4 hold, then there is a constant C > 0
such that
1
2(1s)
s
kA1
kv kX , v X , s = 0, 1/2. (18)
h Ph v Ph A v kX Ch
Rodiak Nicolai Figueroa L
opez
(19)
that satisfies
(20)
1/2
Definition 8
We say that uh Eh is hyperbolic if the spectrum (Ah Fh0 (uh ))
is disjoint from the imaginary axis, i.e., (Ah Fh0 (uh )) iR = for
all h [0, 1].
Proposition 9 ([2])
If 0
/ (A0 F00 (u0 )) for all u0 E0 , then E0 is a finite set.
Moreover, if all point of E0 are hyperbolic then this have an odd
number of elements.
Convergence compact
Let {Xh }h[0,1] be a family of Banach spaces and P = {Ph }h(0,1]
be a family with Ph L (X0 , Xh ), for h (0, 1], with the following
property:
h0
(24)
kPh u0 kXh ku0 kX0 , u0 X0 .
Definition 11
A family {uh }h(0,1] with uh Xh Pconverges to u0 X0 if
kuh Ph u0 kXh 0
as h 0.
We write this as uh u0 .
Similarly, the Pconvergence of sequences is defined as: A
n
sequence {uhn }nN with uhn Xhn such that hn 0
Pconverges to u0 X0 if
kuhn Phn u0 kXhn 0
Rodiak Nicolai Figueroa L
opez
as
n .
Definition 12
An operator Ah : Xh Yh PQconverges to an operator A0 :
P
Q
X0 Y0 as h 0 if Ah uh A0 u0 whenever uh u0 . We
PQ
write Ah A0 as h 0.
Definition 13
n
CC
1
Ah close,compact resolvent, 0 (Ah ), and A1
h A0 .
CC
1
Ah satisfy (Hh ) and A1
h Fh A0 F0 .
(Hh )
(Jh )
Proposition 15 (Pcontinuity at h = 0)
If the condition (Jh ) is satisfied and uh Eh , for h (0, 1]. Then,
taking subsequences if necessary, there is a solution u0 E0 such
that kuh Ph u0 kXh 0 as h 0.
If u0 E0 is an hyperbolic equilibrium point and the conditions (Jh )
holds. Then, there are h0 and > 0 such that for h (0, h0 ] exists
at least one equilibrium uh Eh {wh Xh : kwh Ph u0 kXh 6 }.
Moreover, kuh Ph u0 kXh 0 as h 0.
Rodiak Nicolai Figueroa L
opez
h h , h iX = (h , h ) hPh dh , h iX , h , h X . (25)
hA
h
Let := supx f 0 (u (x)), so that the bilinear form
(26)
1/2
(Rh u u, h ) = 0, h Xh .
given
(27)
(28)
(29)
1/2
The operator A1
Xh , h (0, 1], compactly converges
h : Xh
to the operator A1 : X D(A) X 1/2 . Furthermore,
kAh1 Ph u Rh A1 ukX s 6 Ch2(1s) kukX , u X , s = 0, 1/2. (30)
Proof. First, the family {A1
h }h(0,1] consists of compact linear
operators since all of them have finite rank. Given u X , from
Lemma 7, [2, Lemmas 2 and 5] and (29), we get
kAh1 Ph u Rh A1 ukX s 6 Ch2(1s) kukX + kPh (I Rh )A1 ukX s
6 Ch2(1s) kukX + Ch2(1s) kA1 ukX 1
6 Ch2(1s) kukX .
PR
1
Hence, A1
h A .
Rodiak Nicolai Figueroa L
opez
1/2
= 0,
where (z Ah )1 uh is bounded. With this, we have shown that
{A1
h uh }h(0,1] is Rrelatively compact.
CC
1
Therefore, A1
h A .
Corollary 17
1/2
The operator Ah : Xh
1/2
Xh
(31)
v X ,
(32)
with = Ah Ph v Xh to find
h , iX | = |hPh v , iX | 6 kv kX kk 1/2 .
c2 kk2X 1/2 6 |
(, )| = |hA
X
This proved the desired bounds where C := c21 .
Rodiak Nicolai Figueroa L
opez
(33)
Rh
A1
/X
/ D(A) X 1/2
Ph
1/2
Xh
Fh
/ X 1/2
h
Rh
A1
h
/ X 1/2
h
(34)
Gracias !!!!!!!!!!!!!
Danke !!!!!!!!!!!!!
References
Arrieta, J.; Carvalho, A.; Rodrguez-Bernal, A. Attractors of
parabolic problems with nonlinear boundary conditions.
Uniform bounds. Comm. PDE 25 (2000), n. 1-2, p. 137.
Arrieta, J.M.; Carvalho, A. N.; Lozada-Cruz, G., Dynamics in
dumbbell domains. I. Continuity of the set of equilibria.
Journal Differential Equations 231 (2006), n. 2, 551597.
BRENNER, S. C.; SCOTT, L. R. The mathematical theory
of finite element methods. New York: Springer-Verlag, 1996.
Burenkov, V. I. Sobolev Spaces on Domains. Leipzig:
Teubner-Texte zur Mathematik, volume 137, 1998.
Carvalho, A.N., Piskarev, S., A general approximations
scheme for attractors of abstract parabolic problems,
Numer. Funct. Anal. Optim. 27 (2006), n. 7-8, p. 785829.
Rodiak Nicolai Figueroa L
opez
Vainikko, G., Approximative methods for nonlinear equations (Two approaches to the convergence problem).
Nonlinear Analysis, Theory, Melhods and Applications. v. 2, n.
6, p. 647687.
Vainikko G., Multidimensional weakly singular integral
equations, Berlin: Springer-Verlag, 1993.
Vainikko G. Funktionalanalysis der Diskretisierungsmethoden, Teubner-Texte zur Mathematik, Verlagsgesellschaft,
Leipzig, 1976.
Vainikko, G., Regular convergence of operators and
approximate solution of equations. Translated from Itogi
Nauki i Tekhniki, Seriya Matematicheskii Analiz, Vol. 16, 1979,
pp. 5-53.
Wolf-J
urgen, B.; Piskarev, S., Shadowing for discrete
approximations of abstract parabolic equations. Discrete
Contin. Dyn. Syst. Ser. B 10 (2008), n. 1, pp. 19-42.
Rodiak Nicolai Figueroa L
opez