Professional Documents
Culture Documents
CENTRO DE CIENCIAS
EXATAS
DEPARTAMENTO DE MATEMATICA
EM MATEMATICA
PROGRAMA DE POS-GRADUAC
AO
(Mestrado)
Maringa-PR
2013
1
Este trabalho contou com apoio financeiro da CAPES e Fundacao Araucaria, convenio 935/2012.
Area
de concentracao: Geometria e Topologia
Maringa-PR
2013
Aprovada por:
Prof. Dr. Josiney Alves de Souza - UEM
(Orientador)
Maringa-PR
27 de fevereiro de 2013
33
Agradecimentos
Agradeco a Deus pela forca que tens me dado, sempre me ajudando e enviando palavras de coragem para prosseguir em frente nos momentos mais
difceis da minha vida.
Agradeco aos meus pais, Ademir e Marina, pelo amor que me deram, pelas oracoes e pelas condicoes que me proporcionaram para estudar. Agradeco aos meus irmaos, Efraim, Talita e Priscila, pelo carinho.
Agradeco a minha famlia que sempre esteve torcendo por mim.
Agradeco ao professor Josiney Alves de Souza pela atencao, dedicacao e
excelente orientacao durante o desenvolvimento deste trabalho. Agradeco
ao professor Carlos Jose Braga Barros pelas sugestoes dadas para o melhoramento do trabalho. Agradeco ao professor Ronan Antonio dos Reis que
me orientou durante a graduacao. Agradeco a todos os professores pela
transmissao de conhecimentos.
Agradeco a todos os meus amigos do mestrado Camila, Cleilton, Ginnara, Joao, Juliana, Patrcia, Rafael, Simone, Tatiana, Thales, e a todos os
amigos do doutorado, Alex, Andre, Djeison e Victor que proporcionaram
momentos inesquecveis durante o mestrado. Agradeco as minhas amigas
Larissa e Vanessa pela sua amizade. Agradeco a minha amiga Doraci pelos
conselhos.
Agradeco a CAPES pelo apoio financeiro.
Resumo
Neste trabalho, introduzimos o conceito de atratores globais para acoes
de semigrupos sobre espacos metricos. Primeiramente, estudamos a teoria de atratores globais para sistemas semidinamicos e, posteriormente,
estendemos todos os resultados para acoes de semigrupos. Trabalhamos,
em especial, com acoes assintoticamente compactas que possuem conjuntos
-limites compactos e invariantes, contribuindo para o estudo do atrator
global. Apresentamos condicoes necessarias e suficientes para a existencia
do atrator global para acoes de semigrupos e sua caracterizacao pelos conjuntos -limites. Para finalizar, definimos os conceitos de prolongamento e
conjunto limite prolongacional em acoes de semigrupos para introduzimos
o conceito de atrator uniforme global para acoes de semigrupos. Concluimos o trabalho apresentando uma relacao entre as nocoes de atrator global
e atrator uniforme global.
Palavras-chave: Acao de semigrupo, Atrator global, Atrator uniforme
global, Assintoticamente compacto, sistema semidinamico.
Abstract
In this work, we introduce the concept of global attractor for semigroup
actions on metric spaces. Initially, we study the theory of global attractor
for semidynamical systems and then we extend all results for semigroup
actions. We consider asymptotically compact semigroup actions, which
have compact and invariant -limit sets, contributing to the study of the
global attractor. We present necessary and sufficient conditions for the
existence of the global attractor for semigroup actions and its characterization by -limit sets. To complete this work, we define the concepts
of prolongation and prolongational limit set for semigroup action to introduce the concept of global uniform attracting set for semigroup actions and
we present a relation between the notions of global attractor and global
uniform attracting set.
Key-words: Semigroup action, Global attractor, Global uniform attracting set, Asymptotically compact, Semidynamical system.
Sumrio
Introduo
1 Redes
15
15
18
27
38
43
44
52
68
73
83
4.1 Prolongamentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
83
85
Introduo
O termo "atrator"destinado a um ponto singular e invariante em um uxo foi utilizado
por E. A. Coddington e N. Levinson em Theory of ordinary dierential equations (1955).
Porm, o conceito de atrator consistindo em mais que um ponto foi estudado pela
primeira vez em Attractor in dynamical systems por J. Auslander, N. Bhatia e P. Siebert
(1964). Desde ento, o conceito de atrator tem sido denido de muitas maneiras e em
vrios contextos distintos na literatura.
A teoria qualitativa de sistema dinmico originou das anlises dos comportamentos
das equaes diferenciais, e mais tarde esses conceitos foram estudados em um espao
mtrico geral. Essa teoria ganhou muitos resultados em espaos mtricos compactos
e localmente compactos. Nessa dissertao, no entanto, trabalhamos em especial com
sistemas semidinmicos assintoticamente compactos, sem que o espao de fase seja compacto ou localmente compacto.
A noo de atratror comeou a ganhar grande importncia h 50 anos e existem vrias
denies. Recentemente, a existncia do atrator global foi estudada em vrios contextos
(por exemplo, [17] e [21]) e tambm existem trabalhos que relacionam os conceitos de
atratores (por exemplo, [11] e [24]). A denio de atrao que vamos considerar nessa
dissertao a seguinte: Um conjunto A atrai um conjunto B pela ao do sistema T ( )
se
lim dist (T (t) B; A) = 0;
t!+1
Introduo
junto no vazio, invariante, compacto e que atrai todo subconjunto limitado do espao X
chamado atrator global. Se um sistema semidinmico admite um atrator global, ento
ele nico e o comportamento assinttico do sistema pode ser descrito se analisarmos
o interior do atrator. O assunto principal desse trabalho a noo de atrator global
para aes de semigrupos, que uma extenso do conceito de atrator global para sistemas semidinmicos. Apresentamos condies necessrias e sucientes para existncia
do atrator global para aes de semigrupos e mostramos uma relao entre atrator global
e atrator uniforme global. Os conceitos estudados no contexto de aes de semigrupos
resultaram um trabalho ([28]).
No primeiro captulo apresentamos a noo de redes, que so generalizaes de sequncias. Esse conceito foi primeiramente introduzido em topologia por E. H. Moore
e H. L. Smith em A general theory of limits (1922). Por esse motivo, alguns chamam
as redes como sequncias de Moore-Smith. O conceito de sequncia uma ferramenta
muito utilizada nos espaos mtricos e o conceito de convergncia fundamental para
desenvolvimento do estudo nesse espao. Porm nos espaos topolgicos mais gerais no
possvel utilizar sequncias, donde surge a necessidade de introduzir a noo de redes.
Ento, comeamos denindo o conjunto dirigido, que desempenha o papel semelhante ao
conjunto dos nmeros naturais, ou seja, tem a funo de direcionar as redes dentro do
espao topolgico. Muitos resultados para sequncias j conhecidos so abordados em
termos de redes. Apresentamos tambm a denio de base de ltro, conceito muito utilizado ao trabalharmos com aes de semigrupos. Os assuntos abordados neste captudo
podem ser encontrados em [15], [18] e [19].
O segundo captulo trata da teoria de atrator global para sistemas semidinmicos
em espaos mtricos. Este captulo foi baseado na tese de doutorado de Arago-Costa
([1]), e no trabalho de Arago-Costa, Carvalho, Caraballo e Langa ([2]), que contribuiu
para a concepo do conceito de atrator global para aes de semigrupos, discutido no
terceiro captulo. Comeamos denindo o conceito de sistema semidinmico e conjuntos
Introduo
Introduo
cessitando que o espao de fase seja compacto. Na seo que segue, temos os resultados
que garantem a existncia do atrator global, um dos resultados mais importantes desse
trabalho. Na ltima seo, abordamos os conceitos desenvolvidos neste captulo para
sistema de controle e apresentamos alguns exemplos de atratores globais para sistemas
de controle.
O ltimo captulo consiste em apresentar a equivalncia das denies de atrator
global como foi denido e atrator uniforme global, que eram estudados separadamente
nos tratados de sistemas dinmicos. Para isso, precisamos denir os conceitos de prolongamento e conjunto limite prolongacional para aes de semigrupos. Esses conceitos
foram introduzidos em [10]. Denimos o domnio de atrao uniforme, atrator uniforme
e atrator uniforme global. Em seguida mostramos resultados referentes s equivalncias
das denies de atratores. Para nalizar o captulo, apresentamos alguns exemplos para
uma melhor ilustrao.
Captulo 1
Redes
, para todo
ii) Se
iii) Dados ;
2 ; (reexividade)
, ento
2 ; existe
; (transitividade)
2
tal que
e
5
6
Dizemos que a relao
dirige o conjunto
; ou que a relao
denota um conjunto
dirigido.
Vejamos alguns exemplos de conjunto dirigido.
Exemplo 1.1 O conjunto dos naturais N com a relao de ordem usual
um conjunto
dirigido.
Exemplo 1.2 Sejam X um espao topolgico e x 2 X. Se considerarmos a relao
U
V () V
U;
F 0 , ento F 0 2 F:
F base para o ltro F, se para cada elemento F 2 F, existe
F:
7
Proposio 1.3 Seja X um conjunto. Uma coleo F de subconjuntos no vazios de X
base para algum ltro de X, se dados F1 ; F2 2 F, existe F3 2 F tal que F3
Demonstrao: Considere a coleo G = fG
F1 \ F2 :
X; F
F1 \ F2
G, ento, se G
G1 e F2
G2 .
G1 \ G2 , ou seja, G1 \ G2 2 G: Por
G0 temos imediatamente que
F1 \ F2 :
Exemplo 1.3 Seja F uma base de ltro sobre um conjunto X. Com a relao denida
no Exemplo 1.2, F um conjunto dirigido.
A Proposio a seguir, usada durante algumas demonstraes dos resultados, apresentados nos prximos captulos.
Proposio 1.4 Sejam
( 1;
um conjunto dirigido.
Demonstrao: De fato,
e
2)
0
2)
()
0
1
2,
1
0
2
com a relao
8
i) Seja ( 1 ;
e
2)
2,
2) ;
Como
2)
0
2 ),
( 01 ;
00
2 ).
( 001 ;
0
2)
2.
donde ( 1 ;
ii) Sejam ( 1 ;
( 01 ;
( 1;
existem
existe ( 1 ;
2) ; ( 1;
2
2)
e
1
2)
2
2
2
2.
1
2
0
1;
iii) Sejam ( 1 ;
2) :
00
2)
( 001 ;
Ento,
satisfazendo ( 1 ;
00
1
Pelo fato de
tais que
tal que ( 1 ;
1;
1
2)
( 1;
00
1
0
1
0
2,
2)
0
2)
00
2.
0
2
Como
( 001 ;
00
2) :
00
2,
donde ( 1 ;
1;
( 01 ;
2)
e ( 1;
2
2)
e
( 1;
2)
2.
Logo,
2) :
! X
x:
7 ! x
denominada de rede e denotemos por (x )
Note que a Denio 1.5 uma generalizao da denio de sequncia, onde considera
sequncia.
Denio 1.6 Dizemos que uma rede (x )
uma vizinhana U de x, existe
Notao: x
0:
! x:
Exemplo 1.4 Como toda sequncia (xn )n2N uma rede, a convergncia de redes generaliza a convergncia de sequncias.
9
Exemplo 1.5 Sejam x 2 X e Ux uma coleo de vizinhanas de x. Se para cada U 2 Ux
escolhermos xU 2 U , ento (xU )U 2Ux uma rede em X que converge para o ponto x 2 X.
De fato, seja V uma vizinhana de x. Assim, para todo U
portanto, xU 2 V , isto , xU
V , temos que U
V e,
bases contendo o ponto x 2 X, (xU )U 2Bx uma rede em X que converge para x:
Exemplo 1.6 Sejam X um conjunto e F uma base de ltro. Se para cada F 2 F
tomarmos xF 2 F , ento, (xF )F 2F uma rede em X.
Temos a seguir, algumas proposies similares aos resultados de sequncia.
Proposio 1.7 Sejam X um espao topolgico, A um subconjunto de X e x 2 A.
Ento, x 2 A se, e somente se, existe uma rede (x )
Demonstrao: Seja x 2 A: Ento, dado U
em A tal que x
X vizinhana de x, U \ A 6= ;: Logo,
0:
A e xU
! x:
! x:
tal que
Em particular, x 2 U \ A. Portanto, x 2 A:
X com x
! x, tem-se
V:
10
Suponha que f contnua em x 2 X: Ento, dada V uma vizinhana de f (x), existe
U uma vizinhana de x tal que f (U )
V . Seja (x )
f (x )
0:
Portanto, a rede (f (x ))
0:
Logo,
Proposio 1.9 Seja fXi ; i 2 Ig uma famlia de espaos topolgicos no vazios. Considere o espao produto X =
i2I
(x ))
! x. Como
(x ) !
(x ) !
U=
em X converge para x 2 X
converge para
(x).
(x ) !
U de x denida como
(Uj ) ;
j2J
j,
(x) 2 Uj : Como
(x ) 2 Uj , 8
j:
Por
donde, x
! x:
j2J
1
j
(Uj ) ;
, tal que
11
Teorema 1.10 Um espao topolgico X espao de Hausdor se, e somente se, toda
rede em X converge para, no mximo, um ponto.
Demonstrao: Suponha que X Hausdor. Ento, para x; y 2 X com x 6= y, existem
U e V vizinhanas disjuntas de x e y, respectivamente. Se (x )
que x
!xex
! y, ento existem
00
0.
e x 2 V , para todo
0
0
0
00
0.
Como
0
0;
00
0
0,
0
0
tal que
Vy
(U 0 ; V 0 ) () U 0
U e V0
V:
x : Ux
Vy
(U; V )
7 ! x(U;V )
onde x(U;V ) 2 U \ V . Temos que a rede x(U;V ) converge para x e y simultaneamente. De fato, sejam as vizinhanas U0 2 Ux e V0 2 Vy arbitrrias. Ento, para
todo (U; V )
U0 \ V0 , ou seja, x(U;V )
! x e
x(U;V ) ! y.
Uma consequncia imediata do Teorema 1.10 que em espao de Hausdor toda
sequncia converge para, no mximo, um ponto. Porm, a recproca dessa armao no
se verica, isto , se a sequncia converge somente para um ponto, o espao Hausdor.
Com efeito, considere o espao X = R com a topologia
= fU
12
Temos que dados x; y 2 X com x 6= y, toda vizinhana U de x e V de y no so
disjuntos, pois se U \ V = ;, temos que U
no
tais que xnk 6= x, para todo k 2 N: Considere U = Xn fxnk gk2N : Temos que U
vizinhana de x, mas no existe n0 2 N tal que xn 2 U , para todo n
n0 , o que
2 , existe
tal que x 2 U .
! X subrede de x :
ii) Dado
ento
2 , existe
satisfaz:
( 2 ) ; ( crescente)
( 1)
2
! X se y
Denotemos a subrede de (x )
tal que
( )
por x
( )
: ( conal)
! X, onde
um
13
Seja (xn ) uma sequncia em X. Note que toda subsequncia de (xn ) uma subrede,
mas note que nem toda subrede de (xn ) uma subsequncia de (xn ), pois a subrede pode
possui mais ndices que a prpria sequncia.
Proposio 1.13 Se uma rede (x )
( )
este
( )
, existe
( 0)
0:
tal que
e, portanto, x
( )
( 0)
! x, existe
ser conal, para
2 U , para todo
isto , x
0;
0,
( )
temos que
! x:
um ponto de acumulao de (x ) se, e somente se, a rede (x ) possui uma subrede que
converge a x.
Demonstrao: Seja x um ponto de acumulao de (x ) : Considere o conjunto de
ndices I = f( ; U ) 2
Ux ; x 2 U g ; com a relao
( 1 ; U1 )
( 2 ; U2 ) ()
e U1
U2 :
( ; U ) = : Como a aplicao
segue que x
( )
2I
= x
( ;U ) ( ;U )2I
uma subrede de (x )
( 0 ; U0 ) temos que x 2 U
tal que x
U0 : Portanto, x
( )
: Seja U0 2 Ux . Como
! x.
14
Reciprocamente, suponha que a rede (x )
2
( )
tal que
( 1)
2 U , para todo
1
2.
Assim,
acumulao da rede (x ) :
0:
( )
Como
( 1)
. Como
( )
, existe
ex
( )
( )
que
conal, existe
2
2
2
tal que
tal que
2 U . Portanto, x um ponto de
Captulo 2
Neste captulo estudamos a teoria de atrator global para sistemas semidinmicos em espaos mtricos. O trabalho foi baseada no trabalho de Arago-Costa ([1]), Arago-Costa,
Carvalho, Caraballo, Langa ([2]) e Hale J. K. ([16]). Primeiramente denimos a noo
de sistemas semidinmicos e conjuntos invariantes, apresentando alguns exemplos. Em
seguida, apresentamos o conceito de atrao, atrator global e suas propriedades como,
unicidade e caracterizao pelos conjuntos limitados invariantes. Denimos tambm a
semirbita positiva e, juntamente com esse conceito denimos os sistemas semidinmicos limitados, eventualmente limitados e limitados dissipativos. Aps esses conceitos
desenvolvidos, trabalhamos com os conjuntos !-limite, que descrevem o comportamento
assinttico do sistema. Apresentamos uma caracterizao dos conjuntos !-limite via
sequncias. Um dos conceitos importantes nesse trabalho o de sistema assintoticamente compacto, pois nesse sistema os conjuntos !-limite adquirem propriedades como
compacidade, invarincia e atrao. No nal do captulo, apresentamos o teorema que
garante a existncia de atrator global.
2.1
Sistemas Semidinmicos
X ! R.
16
0g
0 (Propriedade do semigrupo)
iii) A aplicao
[0; +1)
! X
(t; x) 7 ! T (t)(x)
uma aplicao contnua, onde [0; +1)
Pela Propriedade (ii) da Denio 2.1, temos que a famlia das aplicaes contnuas
fT (t) : X ! X ; t
0g
0:
17
Exemplo 2.1 Seja X = Rn espao euclidiano com a mtrica usual. Denimos a aplicao
T : R+
Rn
(t; x)
Rn
7 ! (t + x1 ; :::; t + xn )
0 e x 2 Rn ;
T (t + s) (x) = ((t + s) + x1 ; :::; (t + s) + xn )
= (t + (s + x1 ) ; :::; t + (s + xn ))
= T (t) (s + x1 ; :::; s + xn )
= T (t) [T (s) (x)] :
! GL (n; R)
GL (n; R)
(t; x)
7 !
et x
18
:R
E ! E denido por
[
2
0;
!
(T (t)A ) :
[
2
(T (t)A ) =
0;
A = A:
Portanto, A invariante.
2.2
19
a2A
b2B
X, vale a desigualdade
d (a; b) + d (b; c) :
d (a; b) + d (b; C) :
20
B:
d (a; B)
donde d (a; B) = 0: Como d (a; B) = inf d (a; b), para cada n 2 N, existe bn 2 B tal que
b2B
1
;
n
(bn )n2N
para todo b 2 B;
0 = lim d (bn ; b) = d (a; b) ;
n!+1
X atrado por A
t!+1
Dados A
B (a; ) :
a2A
21
> 0 existe
= ( ; B)
0 tal que
Demonstrao: Com efeito, suponha que A atrai B; como foi denida na Denio 2.7
e tomemos x 2 T (t) B. Ento,
lim dist (T (t) B; A) = 0:
t!+1
Logo, dado
> 0; existe
Assim,
< ; 8t
sup
inf d (x; a)
x2T (t)B
a2A
Implicando que
a2A
( ; B)
: Ento, x 2 B (A; ) ;
; 8t
t!+1
Portanto, A atrai B:
22
B (x; 0 ) : Agora
> 0: Logo,
d (y; x)
Portanto, B (A; )
B (x; +
0) ;
0:
t!+1
t!+1
23
Vamos dar a primeira caracterizao do atrator global em termos de conjuntos limitados invariantes pelo sistema semidinmico.
Teorema 2.11 Se um sistema semidinmico T ( ) possui atrator global A; ento A
dada pela unio de todos os subconjuntos invariantes limitados de X.
Demonstrao: Sejam A um atrator global para o sistema semidinmico T ( ) e fA g
Por outro lado, como A limitado, 8 2 ; temos que A atrai cada A ; isto , para
cada
2 ;
lim dist(T (t)A ; A) = 0:
t!+1
t!+1
A = A; 8 2 : Portanto, A =
A :
Agora, dado
(B) = fT (t) x; t
0; x 2 Bg =
(x) :
x2B
(B) = fT (t) x; t
; x 2 Bg =
o conjunto
(T ( ) B) :
24
Denio 2.13 Dizemos que um sistema semidinmico T ( ) limitado, se a semirbita positiva de qualquer subconjunto limitado de X limitada em X: Um sistema semidinmico T ( ) chamado eventualmente limitado, se para cada subconjunto limitado,
existe
limitada em X:
0 tal que
T (t) B
B (A; ) ; 8t
Logo,
+
(B)
B (A; ) :
(B) limitado em X;
D; para todo t
x:
25
2 ; existe
T (t) B
0 tal que
D; 8t
B (D; ) ; logo,
T (t) B
Portanto, D atrai B ; para todo
B (D; ) ; 8t
2 :
2 ; existe
tal que
T (t) B
B (B; ) ; 8t
2 ; existe
D; 8t
0 tal que
26
R2
R2
(x; y) 2 B. Dado
> 0, tome
> 0, existe
<
k(x; y)k
M; para todo
;
e M< :
; isto ,
2.3
Conjuntos !-limite
27
Nesta seo vamos introduzir o conceito de conjuntos !-limite, fundamental para desenvolver os resultados da teoria dos atratores globais. Apresentamos os principais resultados envolvendo conjuntos !-limite e mais adiante, denimos os sistemas assintoticamente
compactos. Esses sistemas so interessantes quando queremos estudar o atrator global.
\ [
t 0
T (s) B
s t
+
t
(B):
t 0
Note que, por denio o conjunto !-limite fechado, pois interseo de conjuntos
fechados.
A Proposio a seguir muito til ao trabalharmos com os conjuntos !-limite, pois
caracteriza-os em forma de sequncias, j que o espao X um espao mtrico.
Proposio 2.18 O conjunto !-limite de um subconjunto B de X caracterizado por
9
8
< x 2 X; existem sequncias (t ) R e (x ) B, =
n
+
n
:
! (B) =
;
:
com t ! +1; tais que T (t ) x ! x
n
zn 2
+
n
n 2 N; existe
d (x; zn ) <
Como
9
=
+
n
(B) = fT (t) x; t
1
:
n
R+ e (xn )
28
t, para todo n
que x 2
+
t
B,
+
t
n0 : Assim, T (tn ) xn 2
R+ e (xn )
X, ento ! (B \ C)
! (B) \ ! (C) : E se B
C, ento ! (B)
! (C) : De fato, seja x 2 ! (B \ C) : Ento, pela Prposio 2.18, existem sequncias (tn )
em R+ ; com tn
! x: Mas, (xn )
B e
C: Logo, novamente pela Proposio 2.18, segue que x 2 ! (B) \ ! (C) : Agora,
(xn )
C; ento, (xn )
C: Logo, pela
<0<
1t
; x2 e
2t
onde
A=@
1
A
2:
29
Alm disso, esse sistema no possui atrator global. De fato, seja x = (x1 ; x2 ) 2 R2 ;
x1 ; x2 > 0: Se existe A
B (A; ), para todo t
> 0, existe
2t
> 0 tal que ' (t; x) 2 B (A; ), j que B (A; ) limitado. Logo, esse sistema no possui
atrator global. Veja abaixo um exemplo da trajetria do sistema.
que so circunferncias centradas em (0; 0). Assim, o conjunto !-limite do ponto (x; y)
coincide com a rbita desse ponto. Note que esse sistema no possui atrator global, caso
contrrio, se A
(x0 ; y0 ) 2 R2 e
30
> 0, existe
Logo, se tomarmos (x0 ; y0 ) 2 R2 com x0 > M , temos que k' (t; (x0 ; y0 ))k > M , para
todo t
(t; x)
7 ! at x
Sejam (tn )
R+ com tn
31
! +1 e (xn )
! 0 segue que
no compacto.
Denio 2.20 Dizemos que um sistema semidinmico T ( ) em X eventualmente
compacto, se existe t0 > 0 tal que a aplicao T (t0 ) : X ! X uma aplicao compacta, isto , para todo subconjunto limitado B de X, o conjunto T (t0 ) B relativamente
compacto.
Se o sistema semidinmico T ( ) eventualmente compacto, ento existe t0 > 0 tal
que T (t0 ) : X ! X, uma aplicao compacta. Assim, xando t0 > 0, temos que para
todo t
t0 ) T (t0 ) : Como T (t
limitado,
T (t) B = [T (t
t0 ) T (t0 )] (B)
T (t
t0 , temos a
t0 ) contnua, para B
h
t0 ) T (t0 ) B :
t0 ) T (t0 ) B
X limitada e (tn )
R+ com tn ! +1:
0 tal que
(B0 ) = fT (t) xn ; t
; xn 2 B0 g
limitado. Como T ( ) eventualmente compacto, existe t0 > 0 tal que a aplicao T (t0 )
32
t0 + ; para todo n
n0 : Assim, tn
t0
, para
Temos que B
t0 ) xn ; xn 2 B0 ; n
n0 g :
t0 ) xn ] ; n
= fT (tn ) xn ; n
n0 g
n0 g
relativamente compacto. Portanto, a sequncia (T (tn ) xn ) possui subsequncia convergente, mostrando que o sistema semidinmico T ( ) assintoticamente compacto.
Apresentamos agora as propriedades envolvendo os conjuntos !-limite, quando o sistema semidinmico assintoticamente compacto. Esses resultados sero utilizados mais
adiante e assim mostremos como interessante a compacidade assinttica do sistema.
Proposio 2.22 Seja T ( ) um sistema semidinmico assintoticamente compacto em
X. Para todo subconjunto limitado B de X, seu conjunto !-limite no vazio, compacto,
invariante e atrai o subconjunto B pela ao de T ( ) :
Demonstrao: Mostremos que
! (B) 6= ;;
Sejam as sequncias (xn )
B limitada e (tn )
R+ com tn
B; (tnk )
R+
com tnk ! +1 e (T (tnk ) xnk ) ! x; pela Proposio 2.18, segue que x 2 ! (B) :
33
! (B) compacto;
Seja (xn ) uma sequncia em ! (B) =
+
t
t 0
+
t
tome yn;t 2
(B) \ B xn ; n1 : Como
+
t
(B) = fT (s) b; s
t; b 2 Bg ;
(m; g) () n
m e f (k)
g (k) ; 8k 2 N:
(n; f ) 2 N
(n; f )
t e bn;t 2 B: Denimos um
RN com a relao
Dado t
0,
f (n)
ft (n) = t + n:
Logo, s(n;f ) ! +1: Temos que podemos considerar a rede s(n;f ) como sequncia, pois dado M > 0, existe n0 2 N, onde t + n0
s(n;f )
para todo n
t+n
t + n0
M; assim,
M;
R+ e b(n;f )
B:
! +1 e b(nk ;fk )
+
fk (nk )
B ; temos que
(B) \ B xnk ; n1k ;
34
temos
d (xnk ; x)
! x: Logo, (xn )
1
+ d y(nk ;fk ) ; x :
nk
R+ ; com tn ! +1 e (xn )
!X
n!+1
! +1 e (xn )
n!+1
! (B) :
Reciprocamente, seja x 2 ! (B) : Assim, existem sequncias (tn )
com tn ! +1; tais que T (tn ) xn ! x: Fixando t
x = lim T (tn ) xn = lim T (t + tn
n!+1
n!+1
R+ e (xn )
B,
0; temos
t)] (xn ) :
t ! +1 e (xn )
t) xn ) em X
t) xn = T (t) z:
T (t) ! (B) ;
35
! (B) atrai B;
Queremos mostrar que dado > 0, existe
T (t) B
para todo t
t
0 tal que
B (! (B) ; ) ,
0;
T (t) B 6
(2.1)
B (! (B) ; ) :
R+ ; com tn
para todo n 2 N: Por outro lado, para cada n 2 N; podemos tomar xn 2 B tal que
T (tn ) xn 62 B (! (B) ; ) ;
ou seja, para cada n 2 N; d (T (tn ) xn ; ! (B))
: Como T ( ) assintoticamente
! +1; a sequncia
(T (tn ) xn ) possui uma subsequncia (T (tnk ) xnk ) que converge para um ponto x 2
X: Ento, x 2 ! (B) e pela continuidade de d, temos d (x; ! (B))
: Logo,
x2
= ! (B) ; o que uma contradio. Portanto, ! (B) atrai B:
36
R+ e (xn )
B, com tn
> 0, existe t0
0 tal que
t0 :
d (T (t) z; F ) < ; 8z 2 B; 8t
2
Seja n0 2 N tal que tn
t0 ; para todo n
d (T (tn ) xn ; F ) < ; 8n
2
Pela continuidade da distncia d, temos d (x; F )
: Portanto, ! (B)
(2.2)
t0 :
n0 :
F:
! (B) ; mas que ! (B) seja desconexo. Ento, podemos escrever ! (B) = F1 [ F2 ; onde
F1 e F2 so subconjuntos no vazios, disjuntos e fechados em ! (B) : Pela Proposio
2.22, temos que ! (B) compacto. Logo, temos que F1 e F2 so compactos e assim existe
> 0 tal que
d (F1 ; F2 ) = inf fd (x1 ; x2 ) ; x1 2 F1 ; x2 2 F2 g = :
Como ! (B) atrai C; dado =
T (t) C
B ! (B) ;
; 8t
t0 :
37
Logo,
+
t0
(C)
B ! (B) ;
= B F1 ;
[ B F2 ;
+
t0
7 ! T (t) x
(t; x)
Ento, a rbita positiva direita de t0 ;
(C) = fT (t) x; t
t0 ; x 2 Cg ; imagem da
+
t0
(C)
+
t0
t 0
(C)
B F2 ; 2 : Sem perda de
B F1 ; 2 : Ento,
(C)
! (B) = \
+
t0
B F1 ; 2 ou
(C)
+
t
(B)
+
t0
(C)
B F1 ;
conexo.
t 0
s t
! (A) :
2.4
38
O Teorema que apresentamos nesta seo, garante a existncia de atrator global para
sistemas semidinmicos que so assintoticamente compactos e limitados dissipativos.
Alm disso, caracteriza o atrator global em termos de conjuntos !-limite.
Teorema 2.26 Seja T ( ) um sistema semidinmico em um espao mtrico X. Ento,
T ( ) possui atrator global se, e somente se, T ( ) assintoticamente compacto e limitado
dissipativo. Em caso armativo, se B uma coleo de todos os subconjuntos limitados,
no vazios de X; ento
A=
! (B) :
B2B
X e (tn )
limitado. Como A atrator global, temos que A atrai B, ou seja, lim dist (T (t) B; A) =
t!+1
0: Em particular, lim
n!+1
tal que
1
d T tnj xnj ; zj < :
j
Pela compacidade de A, tomando uma subsequncia da sequncia (zj )
A, se necessrio,
1
+ d (zj ; x) :
j
39
! (B) :
B2B
B (A; ) ; para
> 0 dado. Basta provar que A compacto. Com efeito, como T ( ) limitado
dissipativo, existe D0
D, donde
! (A) ;
! (A)
! (D) :
A. Assim, A = ! (D) e
40
D=
(D1 )
0 tal que
T (t) x 2 D0
D1 ; 8t
x:
x)
x ) [T
( x ) B (x;
D1 :
;D=
D; 8t
x )]
ou seja,
T (t) B (x;
Por outro lado, fB (x;
x )gx2K
D; 8t
x)
(2.3)
n
[
B x;
xj
j=1
Tome
= max
1 j n
xj :
D; 8t
(2.4)
41
0 tal que T (t0 ) uma aplicao compacta. Agora, dado um subconjunto limitado
= t0 +
D; 8t
, temos que t
t0 ) [T (t0 ) B]
D; 8t
t0
T (t) B
D; 8t
t0
+
, donde
isto ,
Exemplo 2.7 Vimos no Exemplo 2.5 que o sistema no possui atrator global. Isto deve
ao fato de falhar a condio de compacidade assinttica do sistema. De fato, sejam as
sequncias (xn ; yn )
R2 limitada e (tn )
2 tnk
1 tn
; yn e
2 tn
1 tn
!0ee
2 tn
! +1,
no possui subsequncia
42
Captulo 3
0g ;
todos os conceitos envolvendo a famlia de subconjuntos do semigrupo pode ser considerado para sistemas semidinmicos. Iniciamos o captulo com a denio de ao e
conjuntos invariantes. Apresentamos a noo de atrao e atrator global. A diferena
para o captulo anterior que para aes de semigrupos, o conceito de atrao depende da
famlia de subconjuntos do semigrupo em questo. Denimos, em seguida, os conceitos
de semirbitas, aes eventualmente limitadas e limitadas dissipativas. Braga Barros e
Souza introduziram em [6], a denio de conjuntos !-limite para aes de semigrupos
e aqui utilizamos a mesma denio. Apresentamos uma caracterizao dos conjuntos
!-limite em forma de redes e a denio de aes assintoticamente compactas e eventualmente compactas. Temos que se a ao assintoticamente compacta, os conjuntos
!-limite adquirem algumas propriedades como a compacidade. Em [7], temos o resultado
que garante a invarincia dos conjuntos !-limite para espaos compactos. Mostramos
neste trabalho que se a ao assintoticamente compacta, ento os conjuntos !-limite
43
44
3.1
Aes de Semigrupos
X ! R e S um semigrupo.
dada por
: S
! X
(s; x)
7 ! sx
satisfazendo
(st; x) =
: X ! X; dada por
(x) = sx; 8x 2 X:
(t; x) = T (t) x:
45
: G
(g; x)
Temos que
! Rn
(3.1)
7 ! gx
(g1 ; g2 x) =
denida em 3.1.
R2
R2
R2
Temos que
46
=
=
A :
tambm invariante.
Demonstrao: Para todo s 2 S; temos que
!
[
[
s
A
=
sA :
2
(3.2)
Portanto, A invariante.
47
B (A; ) :
Note que a Denio 3.4 depende da famlia F. Assim, o conceito de atrator global
para aes de semigrupos que denimos a seguir, tambm depende da famlia F. Logo,
pode ocorrer o caso onde existe o atrator global para uma ao de semigrupo considerando uma determinada famlia e no existir se considerar uma outra famlia (ver
Exemplo 3.6 e Exemplo 3.14).
Denio 3.5 Um subconjunto A de X chamado F-atrator global para a ao de
semigrupo S se A no vazio, compacto, invariante e F-atrai todo subconjunto limitado
de X pela ao de S.
Proposio 3.6 Se uma ao de semigrupo S possui um F-atrator global A, ento ele
nico.
Demonstrao: Sejam A1 e A2 F-atratores globais para a ao de semigrupo S. Como
A2 compacto, em particular, limitado em X. Assim, A1 atrai A2 ; ou seja, dado > 0,
existe F 2 F tal que
F A2
B (A1 ; ) :
B (A1 ; ) : Logo,
48
A :
Por outro lado, como A F-atrator global, temos que A F-atrai A , para todo
Assim, dado
> 0, existe F
8 2 , segue que A
F tal que F A
A = A, pata todo
[
2
2 :
> 0;
e, portanto,
A.
49
X a sua
limitado B de X e F em F:
Exemplo 3.5 Retornando ao Exemplo 3.3, denimos a famlia de subconjuntos de S
da seguinte forma:
F = fFa = (a; 1) ; 0 < a < 1g :
Seja (x; y) 2 R2 . A sua semirbita
S (x; y) = (sx; sy) 2 R2 ; s 2 (0; 1) :
Logo, a semirbita S (x; y) um segmento de reta ligando o ponto (x; y) a origem sem as
extremidades. Agora, dado Fa 2 F, a F-semirbita de (x; y) referente a Fa o conjunto
Fa (x; y) = (sx; sy) 2 R2 ; s 2 (a; 1) ;
que um segmento de reta sem as extremidades ligando os pontos (ax; ay) e (x; y) (Veja
a Figura 3.1): Por m, seja B um subconjunto limitado de R2 : Ento, existe M > 0 tal
que k(x; y)k
sM < M:
B (A; ) :
50
D:
51
Demonstrao: Suponha que (S; X; ) F-limitada dissipativa. Logo, existe um subconjunto limitado D de X que F-absorve todo subconjunto limitado B de X. Ento,
existe F 2 F tal que F B
D: Mas, dado
ao de S F-limitada dissipativa.
0, denimos o conjunto
Ar = f(s; t) 2 S; s; t
rg :
0g :
Ar B =
as x; at y ; s; t
r e (x; y) 2 B :
Denamos A = f(0; 0)g : Temos que A um F-atrator global. Com efeito, note que A
invariante, pois
((s; t) ; (0; 0)) = as 0; at 0 = (0; 0) ;
para todo (s; t) 2 S. Alm disso, A compacto. Logo, basta provar que ele F-atrai todo
subconjunto limitado de X pela ao de S. Seja > 0. Ento, dado (x0 ; y0 ) em B; como
B um subconjunto limitado, existe M > 0 tal que k(x0 ; y0 )k
M: Dado
> 0, tome
52
k(ar x; ar y)k
ar M
<
Logo, dado
> 0, existe r
0 tal que
Ar B
B ((0; 0) ; )
Portanto, A = f(0; 0)g um F-atrator global. Pela Proposio 3.6, segue que A o
nico F-atrator global. Agora, pela Proposio 3.10 e Proposio 3.13 temos que a ao
de S F-eventualmente limitada e F-limitada dissipativa.
3.2
F 2F
F B:
53
R+ ,
0g ;
A B = fT (t) x; t
Assim,
! (B; F) =
e x 2 Bg =
(B) :
(B) = ! (B) :
Note que, para o caso dos sistemas semidinmicos estudamos o comportamento assinttico fazendo a sequncia (tn ) em R+ tendendo a +1. Mas no podemos proceder da
mesma maneira quando estamos estudando aes de semigrupos. Assim, foi necessrio
introduzir uma nova notao, que permite estudar a assintocidade para aes de semigrupos.
Denio 3.15 Seja S um semigrupo e F uma base de ltro sobre S. Dada uma rede
(t )
t 2 F , para todo
F:
Notao: t
tal que
!F 1:
54
Exemplo 3.9 Seja S = fg 2 GL (n; R) ; det g > 0g o semigrupo apresentado no Exemplo 3.2. Dado um nmero real r > 0, considere o conjunto Ar = fg 2 S; det g
rg
! +1:
Exemplo 3.10 No Exemplo 3.5, denimos a famlia F = fFa ; 0 < a < 1g de subconjuntos do semigrupo S = (0; 1), com Fa = (a; 1). Nesse contexto, dizer que t
signica t
!F 1
! 1:
rg ; para r
! +1 e t
!F 1, ento t
! 1:
Para facilitar o desenvolvimento dos resultados sobre espaos mtricos, vamos caracterizar o conjunto !-limite em termos de redes, analogamente ao captulo anterior,
usando a nova notao introduzida na Denio 3.15.
Proposio 3.16 Sejam B um subconjunto de X e F uma base de ltro. Ento, seu
conjunto !-limite caracterizado por
8
9
< x 2 X; existem as redes (t ) S; (x ) B; =
! (B; F) =
:
;
:
com t !F 1; tais que t x ! x
55
F B tal que
d ynF ; x <
1
:
n
(3.3)
Mas, para cada n 2 N, podemos escrever ynF = t(F;n) x(F;n) ; onde t(F;n) 2 F e x(F;n) 2 B:
Considere o conjunto de ndices F
(F; n)
Com essa relao, F
(F 0 ; m) () F
F0 e n
m:
S e
N tal que
S; x(F;n)
1
n
B; com t(F;n)
!F 1; tais que
!F 1; tais que t x
F,
F 2F
tal que t 2 F ,
F B = ! (B; F) :
9
B; =
:
;
56
! (B) \ ! (C) :
C, ento, ! (B)
! (C) :
vergente, digamos (xnk ; ynk ) ! (x; y) : Logo, (asnk xnk ; atnk ynk ) ! (0; 0) e, portanto,
! (B; F) = f0; 0g : Em particular, dado (x; y) 2 R2 , temos que ! ((x; y) ; F) = f(0; 0)g :
Exemplo 3.14 Considere a ao do Exemplo 3.4. Denimos a famlia
G = fA ;
onde A = f(s; t) 2 S; s
g,
A (x; y) =
Note que se
0g ;
et
0 :
Assim, comparando com o Exemplo 3.13, temos que ! ((x; y) ; F) 6= ! ((x; y) ; G), para
todo (x; y) 2 R2 ; y 6= 0: Alm disso, no existe G-atrator global. De fato, seja A um
subconjunto no vazio, compacto e invariante. Ento, em particular, A limitado, donde
57
> 0: Se (s; 0) 2 A ,
temos
k ((s; 0) ; (x; y))k = k(as x; y)k
k(0; y)k
> M:
Logo, (s; 0) (x; y) 62 B (A; ), ou seja, A (x; y) 6
global. Esse fato nos mostra que o conceito de atrao depende da famlia de subconjuntos
no vazios do semigrupo S que estamos considerando.
convergente.
S com t
!F 1; a rede (t x )
X possui subrede
58
t0
: X ! X seja compacta.
F;
F;
F s;
sF:
r
det g
tal
que
gAr0
pois se g 0 2 Ar0 , det g 0
r0
r
,
det g
Ar ;
r, donde gg 0 2 Ar : Logo, F
Ar g:
r det g, ou seja,
59
X e a rede (t )
S satisfazendo
B0 = fx ;
t0
:X!X
0;
0:
Assim,
Como B
0g :
0g
= ft x ;
0g
!F 1: Como (S; X; ) F-
!F 1, temos que t
S com t
B, (t k )
60
!F 1. Assim,
!F 1; tais que t k x
! x.
F 2F
(m; g) () n
g (k) , 8k 2 N:
F N , denote por y(n;f ) = t(n;f ) x(n;f ) ; onde t(n;f ) = tn;f (n) e x(n;f ) =
fF (n) = F:
S e x(n;f )
B. Como B um
;f ) x(n ;f )
Proposio 3.16 temos que x 2 ! (B; F). Agora, para cada n 2 N, e como
t(n
;f ) x(n ;f )
2 f (n) B \ B xn ; n1
d (xn ; x)
Logo, xn
; temos
;f ) x(n ;f ) ; x
61
B (! (B; F) ; ) :
B tal que
!F 1 e (xF )
> 0, existe F 2 F
tal que
FB
B K;
(3.4)
62
Assim, para todo t 2 F e para todo z 2 B, temos d (tz; K) < 2 : Por outro lado, como
x 2 ! (B; F), existem as sequncias (xn ) em B e (tn ) em S satisfazendo tn !F 1 tais
que tn xn ! x: Logo, existe n0 2 N tal que tn 2 F , para todo n
temos
d (tn xn ; K) < ;
2
para todo n
K:
F 2F
0
F B, s 2 S e F 2 F. Como F satisfaz
F: Agora, como x 2 F 0 B e a aplicao
sF 0 B
F B:
! (B; F) :
Por outro lado, sejam x 2 ! (B; F) e s 2 S. Considere a coleo das bolas abertas
V = B x;
1
n
; n2N
63
: N
n 7 ! B x; n1
temos que
1
n
B x;
1
m
F N com a
seguinte relao:
(n; f )
(m; g) () n
m e f (k)
g (k) , 8k 2 N:
sF:
1
n
sF B \ B x;
1
n
F N , denotemos
sy(n;f ) 2 sf (n) B \ B x;
1
n
64
X. Como (S; X; )
Fn
Denimos a aplicao gF 2 F N dada por
gF (n) = Fn , 8n 2 N:
Logo, para todo n 2 N, temos que gF (n)
para todo (n; f )
(n0 ; gF )
(n; f0 ) : Assim,
(n0 ; f0 )
U \ gF (n) B = U \ Fn B
U \ F B:
1
n
W;
: X ! X, segue que
st(n;f ) x(n;f ) ! sy:
s! (B; F) ;
Proposio 3.24 Seja F uma famlia de subconjuntos de S tal que F C conexo, para
todo subconjunto conexo C de X e para todo F 2 F. Se (S; X; ) F-assintoticamente
compacta e se existe C
ento ! (B; F) conexo.
X limitado,
65
F0 C
= B K1 ;
> 0 tal
[ B K2
B K1 ; 2 ou F0 C
B K2 ; 2 : Suponha que
B K1 ; 2 : Assim,
K2
ou seja, d (K1 ; K2 )
! (B; F) =
2
FB
F0 B
F0 C
B K1 ;
F 2F
F 2F
FA =
A = A:
F 2F
Note que na Proposio 3.25, se retirarmos a hiptese de A ser fechado, temos somente
a incluso A
! (A; F) :
66
Exemplo 3.17 Voltando ao Exemplo 3.14, temos que dado (x; y) 2 R2 , ! ((x; y) ; G)
invariante pela ao de S. De fato, se y > 0,
as z; at w 2 R2 ; (s; t) 2 S e (z; w) 2 ! ((x; y) ; G)
S! ((x; y) ; G) =
0; at w 2 R2 ; t
= f0g
0 e w 2 [0; y]
[0; y]
= ! ((x; y) ; G) :
Analogamente, se y < 0, temos que
S! ((x; y) ; G) = f0g
[y; 0] = ! ((x; y) ; G) :
E para (x; y) = (0; 0), como ! ((0; 0) ; G) = f(0; 0)g, temos que
S! ((0; 0) ; G) = f(0; 0)g = ! ((0; 0) ; G) :
Portanto, para todo (x; y) 2 R2 , o seu conjunto !-limite invariante. Como ! ((x; y) ; G)
compacto, em particular limitado, para todo (x; y) 2 R2 ; se A um G-atrator global,
pelo Teorema 3.7, temos que
[
(x;y)2R2
Mas,
(x;y)2R2
! ((x; y) ; G) = f0g
! ((x; y) ; G)
A.
R; ento
f0g
A,
67
Ar , onde F a famlia
dada no Exemplo 3.4. De fato, seja F 2 Ftrans ; ento podemos escrever F = S + (s; t),
para algum (s; t) 2 S: Tome r = min fs; tg. Logo, se (s0 ; t0 ) 2 F; temos que s0
t0
re
Ar (x; y);
(3.5)
Agora, temos que a ao de S Ftrans -assintoticamente compacta. Com efeito, consideremos as sequncias (sn ; tn )
R2 limitada.
Ento, existe uma subsequncia (xnk ; ynk ) que converge para um ponto (x; y) 2 R2 : Como
(sn ; tn ) !Ftrans 1, dado F = S + (s; t) existe n0 2 N tal que (sn ; tn ) 2 F , para todo
n
n0 : Assim, se s
! +1 e t
! ((x; y) ; Ftrans ) 6= ; e por 3.5 segue que ! ((x; y) ; Ftrans ) = f(0; 0)g :
3.3
68
De modo anlogo ao Captulo anterior, vamos estabelecer condies para que exista
atrator global para aes de semigrupos. O teorema que segue anlogo ao Teorema 2.26,
a menos da condio de invarincia do conjunto !-limite dos subconjuntos limitados.
Teorema 3.26 Sejam S um semigrupo e F uma famlia de subconjuntos de S tal que
! (B; F) seja invariante, para todo subconjunto limitado B de X. Ento, a ao de S
possui um F-atrator global A se, e somente se, (S; X; ) F-assintoticamente compacta
e F-limitada dissipativa. Em caso armativo, se B coleo de todos subconjuntos
limitados e no vazios de X, ento
A=
B2B
! (B; F) :
global, dado
0:
S satisfazendo
2 g : Como A F-atrator
tal
tal que
d (t n x n ; z n ) <
1
:
n
(3.6)
A tal que z
d (t n x n ; z n ) + d (z n ; x) <
1
+ d (znk ; x) :
n
69
B2B
! (B; F) :
Como (S; X; ) F-assintoticamente compacta, pela Proposio 3.21 temos que ! (B; F)
no vazio, compacto e F-atrai B, para todo B 2 B: Por hiptese, ! (B; F) invariante
e segue pela Proposio 3.3 que o conjunto A no vazio, invariante e F-atrai B, para
todo B 2 B. Mostremos que A compacto. Com efeito, como a ao de S F-limitada
dissipativa, existe D0
necessrio, D = D0 conjunto fechado: Pela Proposio 3.22, temos que ! (B; F) menor
fechado que F-atrai B; logo segue que ! (B; F)
portanto ! (A; F)
D e,
! (A; F)
! (D; F) :
A = ! (D; F) : Como ! (D; F) compacto, pela Proposio 3.21, segue que A compacto.
Corolrio 3.27 Sejam S semigrupo e F uma base de ltro de subconjuntos de S satisfazendo a hiptese H3 e H4 tal que ! (B; F) invariante, para todo subconjunto limitado
B de X. Se a ao de S eventualmente compacta, F-eventualmente limitada e F-ponto
dissipativa, ento existe F-atrator global para a ao de S.
Demonstrao: Primeiramente, como (S; X; ) eventualmente compacta e F-eventualmente
limitada, pela Proposio 3.20 temos que a ao de S F-assintoticamente compacta.
70
X. Para cada x 2 K,
D1 :
tx
x)
D1 :
F tx : Assim,
Fx0 B (x;
x)
F tx B (x;
x )gx2K
n
[
x)
F D1 = D
B xj ;
xj
j=1
j=1
Fx0 n : Logo,
D
(3.7)
j=1
F 0K
D:
71
F 0 t0 : Logo,
F 0 t0 B
FB
D:
2g
com a ao
: S
Rn
(g; x)
! Rn
7 ! gx
C
C
C
C
C
C
C
C
C:
C
C
C
C
C
C
A
Temos que det gm = dm det gi+1 i+1 6= 0, onde gi+1 i+1 a matriz obtida de gm retirandose a i + 1-sima linha e i + 1-sima coluna. Assim, tome a sequncia real (dm ) de modo
8
< (d )
m
: (d )
m
72
B (A; ) :
Mas,
Rn n f(0; :::; 0)g = ! (x; F) =
Ar x
Ar x
B (A; );
r>0
o que um absurdo, uma vez que A compacto. Isso ocorre pelo fato de a ao de S
no ser F-assintoticamente compacta. De fato, seja a matriz
0
1
m
0
B
C
.. C
B .. . .
gm = B .
. . C;
@
A
0
m
para todo m 2 N: Temos que det gm = mn > 0 e gm
m
limitada. Temos que gm xm = (mxm
1 ; :::; mxn ) no possui subsequncia convergente. Este
fato nos mostra que a hiptese da ao ser F-assintoticamente compacta essencial para
o Teorema 3.26.
Exemplo 3.20 Considere agora o grupo do Exemplo 3.19, porm com n = 1. Assim,
temos
S = fg 2 GL (1; R) ; det g > 0g
= fg 2 R; g > 0g = R+ :
73
7 ! gx
(g; x)
famlia F = fAr ; r > 0g = f[r; +1) ; r > 0g : Seja x 2 Rn f0g. Note que no existem
(xn ) em R e (gn ) em S com gn !F 1 tais que gn xn ! x, pois gn ! +1: Assim,
temos
3.4
8
< ! (0; F) = 0
: ! (x; F) = ;
Sistemas de Controle
Nesta seo, vamos desenvolver os conceitos abordados neste captulo, em especial para
sistemas de controle.
Denio 3.28 Um sistema de controle sobre uma variedade diferencivel M consiste de uma famlia de equaes diferenciais
x_ = X (x; u (t)) ;
onde x 2 M e u 2 U = fu : R ! U
( )
74
Note que, cada funo de controle u (t) determina uma equao diferencial noautnoma
x_ = Xu(t) (x) = X (x; u (t)) :
Assim, as diferentes funes de controle do origem s diferentes trajetrias do sistema.
Denio 3.29 Sejam u1 ; u2 2 U e s 2 R: Uma s-concatenao de u1 e u2 a funo
u: R
t
7 ! u (t) =
8
<
u1 (t) ; t < s
: u (t
2
s) ; t
! M denida por
2 x2 ) ;
<0<
75
'ut11 ; ti 2 R; ui 2 U; k 2 N
SV = 'utnn
'ut11 ; ti
e
0; ui 2 U; k 2 N
'utnn
'ut11 ; ti
0; ui 2 U;
e denamos a famlia
Fctr = fS
T;T
> 0g :
n
X
i=1
ti
T, k 2 N
76
Temos que Fctr uma base de ltro sobre SV , pois dados T1 ; T2 > 0, vale a incluso
S
T1 +T2
T1
\S
T2 :
!Fctr 1 siginica t
0,
ou seja, t
T: Logo, t
M se dado
M atrai B
para
T,
B e (un )
> 0, existe
Ucp
9
=
;
TB
M absorve o conjunto B
TB
D: Assim, o
M; (un )
Ucp e
77
0; n 2 N :
Considere a base de ltro Fctr . Temos que Fctr satisfaz todas as hipteses H1 , H2 , H3 e
H4 : Alm disso, A = f(0; 0)g Fctr -atrator global. Com efeito, imediato que A no
vazio, compacto e invariante. Assim, basta mostrar que atrai cada subconjunto limitado
de R2 : Seja B um subconjunto limitado de R2 : Dado > 0, queremos mostrar que existe
T > 0 tal que
S
TB
B (A; )
M , para todo x 2 R2 : Tome T > 0 tal
un tn
:::e
u1 t1
2S
T:
Ento,
n
X
:
T e ui
ti
1. Assim,
i=1
eun tn :::eu1 t1 x
Logo, dado
ln
TB
M = eln M M
B (A; ) :
78
x3 ; y
yx2
y3
2ut
2ut
2ut
2ut
r2
t ; com t 2 R se r 2 (0; 1] ;
r2
e
t ; com t 2 (
; +1) se r > 1;
1g disco unitrio em R2 :
2ut
2ut
r2
1;
ou seja, 'ut (r; ) 2 D1 : Por outro lado, seja (r; ) 2 D1 tal que
0s
1
1
2ut
e
(r; ) = @ 1 e 2ut +
; 0 tA :
2
0
(r )
1
r2
1, de onde segue
79
Ento,
s
r =
e 2ut
e 2ut +
(r0 )2
1
=1
r2
) (r0 ) =
r1
) r0 =
Como 0
ou seja, 0
1, temos que 1
r0
2ut
e 2ut
(r0 )2
r2 e 2ut
r2 + r2 e
r2 e 2ut
r2 + r2 e
r2 0; logo
r
r2 e 2ut
0
1 r2 + r2 e
2ut
2ut
1;
2ut
S = 'utnn
Denimos a base de ltro Fctr = fS T ; T > 0g. Efetuando alguns clculos, temos que
!
r
P
1
2 ui ti
X
P
e
'utnn
'ut11 (r; ) =
1 e 2 ui ti +
;
ti :
r2
Vamos mostrar que D1 atrai todo subconjunto limitado de R2 : Note que precisamos apenas
considerar os subconjuntos limitados de R2 fora do disco D1 , uma vez que ele invariante.
Seja B
que dado
B D1 ;
TB
ti
ui ti
r2
ui ti
<1+ ;
80
isto ,
Tome T > ln 1+
M
ui ti
1
:
(1 + )2
q
P
1 M2
: Ento, levando em conta que
ti
1 (1+ )2
1
temos as desigualdades:
ui ti
>
r2
ui ti
X
2
ti
M2 1
:
M2
r2
r2
T , ui
1er
M,
ti ;
2T
Logo,
1
ui ti
r2
ui ti
= 1
ui ti
r2
1
r2
M2 1
M2
M2 1
1 e 2T
M2
s
! 2
1 M2
M2 1
1+
> 1
M
M2
1 (1 + )2
1
:
=
(1 + )2
q
1+
M2
> 0 existe T > ln M 1 1 (1+
tal que S T B
B (D; ), ou seja, D1
)2
1
Portanto, dado
e
e
ti
81
por
x2 + x1 kxk2 sen
X1 (x) =
kxk
kxk
Y1 (x) =
(x) x1 + ( (x)
(x)) x2 + x1 kxk2
(x) sen
Y2 (x) =
(x) x2 + ( (x)
(x)) x1 + x2 kxk2
(x) sen
kxk
kxk
4 (x) ;
4a (x) ;
(x) =
Assim, para kxk
1
,
2
8
<
0; se kxk
: 1; se
1
2
1
2
Y1 (x) = x2 + x1 1
4 kxk2
82
Y2 (x) =
e para
1
2
x1 + x2 1
4 kxk2
< kxk < 1; o campo Y coincide com o campo X. A gura direita ilustra o
1
2
invariante e
Captulo 4
4.1
Prolongamentos
X ! R:
>0
83
F B (x; ):
4.1 Prolongamentos
84
Se C um subconjunto de X, denimos
[
D (C; F ) =
D (x; F ) :
x2C
9
X =
:
;
9
X =
:
;
Mostremos que D (x; F ) = D0 (x; F ) : Seja y 2 D (x; F ) : Pela Denio 4.1, y 2 F B (x; );
para todo > 0. Ento, dado n 2 N; tome
yn 2 B y;
1
n
\ F B x;
1
n
1
n0
F e (xn )n2N
n0 temos que
xn 2 B x;
Como
1
n
1
n
1
;
n0
donde
B (x; ) :
portanto, y 2 D0 (x; F ) :
Reciprocamente, seja y 2 D0 (x; F ) : Ento existem redes (t )
que x
!xet x
! y. Assim, dado
> 0 existe
F e (x )
X tais
0:
Logo, (t x )
85
4.2
9
X tais que =
:
;
D (x; F ) :
J (x; F) :
F 2F
Se C um subconjunto de X, ento
J (C; F) =
x2C
86
y 2 D (x; F ) =
F B x;
n2N
(F1 ; n1 )
1
:
n
N com a direo
F2 e n1
n2 :
1
n
\ F B x;
1
n
6= ;:
Assim, tome
t(F;n) x(F;n) 2 B y;
1
n
\ F B x;
1
n
Pela arbitrariedade do
1
n
B x;
1
n0
F0 = F ,
1
n
1
n0
< , donde
B (x; ) :
!F 1, x
!xet x
! y. Seja F 2 F: Como t
0:
Agora, como x
1:
Tome
!F 1, existe
! x, dado
2
tal que
S e (x )
> 0 existe
0
X tais que
0
tal
tal
1.
Logo,
87
Y g:
AU (Y; F) :
outro lado, como y 2 J (x; F), pela Proposio 4.4, existem redes (t )
tais que t
!F 1, x
!xet x
0g
2
S e (x )
0:
Assim,
B A; 2 : Como t
!F 1;
88
: Tome
tal que
, temos
d (t x ; A) < :
2
Logo, pelo fato de t x
, o que contradiz
uniforme global.
Fe
F t0 :
Assim, para cada Fe 2 F, existem tFe 2 Fe e xFe 2 B tais que tFe xFe 62 B (Y; ) e podemos
escrever
89
tal que
Temos que tF
para todo
! y 2 X:
t0 xFf
tF 2 F
com t0 xFf
tal que F
X limitada.
F e, portanto,
F: Como a ao de S F-assintoticamente
S e t0 xFf
t0 xFf
! z 2 X:
t0 xFf
tal que
(4.1)
! y: Logo, pela Proposio 4.4, z 2 J (y; F). Por outro lado, como
Y . Por-
X no vazio,
X um
F-atrator global.
Demonstrao: Suponha que Y um F-atrator uniforme global no vazio, compacto
e invariante. Pela Proposio 3.20, temos que (S; X) F-assintoticamente compacta.
Logo, pelo Teorema 4.8, temos que Y um F-atrator global.
Reciprocamente, suponha que Y um F-atrator global. Ento, Y no vazio, compacto e invariante e pela Proposio 4.7 segue que Y um F-atrator uniforme global.
90
Exemplo 4.1 Retomando o Exemplo 3.22, vimos que A = f(0; 0)g um Fctr -atrator
global. Assim, temos pela Proposio 4.7 que A um Fctr -atrator uniforme global.
Exemplo 4.2 Analogamente, no Exemplo 3.23, mostramos que o disco unitrio A = D1
Fctr -atrator global e, portanto Fctr -atrator uniforme global.
Exemplo 4.3 Vimos no Exemplo 3.18 que ! ((x; y) ; Ftrans ) = f(0; 0)g ; ou seja,
A = f(0; 0)g
J ((x; y) ; Ftrans ) :
Seja (z; w) 2 J ((x; y) ; Ftrans ) : Pela Proposio 4.4, existem sequncias (sn ; tn ) em S
com (sn ; tn ) !Ftrans 1 e (xn ; yn ) em R2 tais que
(xn ; yn ) ! (x; y)
e
asn xn ; atn yn
! (z; w) :
Como (sn ; tn ) !Ftrans 1, temos que (asn xn ; atn yn ) ! (0; 0) : Logo, (z; w) = (0; 0) e,
portanto, J ((x; y) ; Ftrans ) = f(0; 0)g, para todo (x; y) 2 R2 : Assim, AU (A; Ftrans ) = R2 ,
isto , A Ftrans -atrator uniforme global. Sejam (s0 ; t0 ) 2 S e F = S + (s; t) 2 Ftrans :
Temos que existe F 0 = S + (s + s0 ; t + t0 ) 2 Ftrans tal que F 0
F + (s0 ; t0 ), isto , a
(s0 ;t0 ) :
Ento,
(s0 ; t0 ) B
(s0 ; t0 ) B
> 0, existe Ar 2 F
> 0
existe F = S + (r; r) 2 Ftrans tal que F B 2 B ((0; 0) ; ) ; ou seja, a ao de S Ftrans eventualmente limitada. Como A = f(0; 0)g no vazio, compacto e invariante e j
91
vimos que a ao de S Ftrans -assintoticamente compacta, pelo Teorema 4.9 segue que
A = f(0; 0)g Ftrans -atrator global.
Referncias Bibliogrficas
[1] Arago-Costa, E. R.: Sistemas gradientes, decomposio de Morse e funes de
Lyapunov sob pertubao. Tese de Doutorado. USP - So Carlos. (2012).
[2] Arago-Costa, E. R.; Carvalho, A. N.; Caraballo, T.; Langa, J. A.: Stability of
gradient semigroups under perturbation. Nonlinearity (Bristol. Print), v. 24, p.20992117. (2011).
[3] Bhatia, N.P.; Szeg, G.P.: Dynamical systems: stability theory and applications.
Lecture Notes in Mathematics 35. Springer-Verlag. (1967).
[4] Bhatia, N. P. e Szeg, G. P.: Stability theory of dynamical systems. Springer-Verlag,
New York. (2002)
[5] Braga Barros, C. J.; San Martin, L. A. B.: Chain control sets for semigroup actions.
Mat. Apl. Comp. 15, 257-276. (1996)
[6] Braga Barros, C. J.; Souza, J. A.: Attractors and chain recurrence for semigroup
actions. J. of Dyn. Di. Eq. 22, 723-740 (2010).
[7] Braga Barros, C. J.; Souza, J. A.: Finest Morse decompositions for semigroup
actions on ber bundles. J. of Dyn. Di. Eq. 22, 741-760 (2010).
[8] Braga Barros, C. J.; Souza, J. A.: On the number of maximal chain transitive sets
in ber bundles. Forum Math. DOI: 10.1515/FORM.2011.121.
92
REFERNCIAS BIBLIOGRFICAS
93
[9] Braga Barros, C. J.; Souza, J. A.; Reis, R. A.: Dynamic Morse decompositions for
semigroups of homeomorphisms and control systems. To appear.
[10] Braga Barros, C. J.; Souza, J. A.; Rocha, V. H. L.: Lyapunov stability for semigroup
actions. submetido
[11] Cheban, D.; Kloeden, P. E.; Schmalfu , B.: The relationship between pullback,
forwards and global attractors of nonautonomous dynamical systems, Nonlinear
Dyn. Syst. Theory, 2, 125-144. (2002).
[12] Colonius, F.; Kliemann, W.: The dynamics of control. Birkhuser, Boston. (2000).
[13] Conley, Charles C.: Isolated invariant sets and the Morse index. CBMS Regional
Conf. Ser. in Math., n. 38, American Mathematical Society. (1978).
[14] Doering, C. I.; Lopes, A. O.: Equaes diferenciais ordinrias. 3 ed. IMPA, Rio de
Janeiro. (2008).
[15] Dugundji, J.: Topology. Allyn and Bacon, Boston. (1966).
[16] Hale, J. K.: Asymptotic behavior of dissipative systems. Mathematical Surveys and
Monographs Number 25. American Mathematical Society, Providence, RI. (1988).
[17] MA Qingfeng; WANG Shouhong; ZHONG Chengkui: Necessary and su cient conditions for the existence of global attractors for semigroups and applications [J].
Indiana Univ. Math. J. 51(6): 15411559. (2002)
[18] Mujica, J.: Notas de topologia geral. Notas de aula, UNICAMP. (2005).
[19] Munkres J. R.: Topology. 2 ed. Prentice Hall, New Jersey. (2000).
[20] Ladyzhenskaya, O. A.: Attractors for semigroups and evolution equations. Cambridge University Press, Cambridge. (1991)
REFERNCIAS BIBLIOGRFICAS
94
[21] Pata, V.; Zelik, S.: A result on the existence of global attractors for semigroups of
closed operators. Comm. Pure Appl. Anal. 6. 481-486. (2007).
[22] Robinson, J.C.: Innite-Dimensional dynamical systems: From Basic Facts to Actual Calculations, Cambridge Univ. Pres, Cambridge, UK. (2001).
[23] Rocha, V. H. L.: Estabilidade e aes de semigrupos. Dissertao de Mestrado.
Universidade Estadual de Maring. (2012)
[24] Scheutzow, M.: Comparison of various concepts of a random atractor: A case study.
Technical report, Technische Universitt Berlin. (2000).
[25] Souza, J. A.: Complete Lyapunov functions of control systems. Systems & Control
Letters, 61, 322-326. (2012)
[26] Souza, J. A.: Recurrence theorem for semigroup actions. Semigroup Forum, vol 83,
n. 3, 351-370. (2011)
[27] Souza, J. A.: Semigroup actions under compactications. pams. submetido
[28] Souza, J. A.; Raminelli, S. A.: Global attractors for semigroup actions. jmaa. submetido
[29] Souza, J. A.: Sistemas dinmicos, sistemas de controle e aes de semigrupos. Dissertao de Mestrado. Universidade Estadual de Maring. (2005).
[30] Temam, R.: Innite-Dimensional Dynamical Systems in Mechanics and Physics.
Springer, New York. (1988).