You are on page 1of 103

UNIVERSIDADE ESTADUAL DE MARINGA

CENTRO DE CIENCIAS
EXATAS

DEPARTAMENTO DE MATEMATICA

EM MATEMATICA

PROGRAMA DE POS-GRADUAC
AO
(Mestrado)

STEPHANIE AKEMI RAMINELLI1

Atratores Globais para A


co
es de Semigrupos

Maringa-PR
2013
1

Este trabalho contou com apoio financeiro da CAPES e Fundacao Araucaria, convenio 935/2012.

STEPHANIE AKEMI RAMINELLI

Atratores Globais para A


co
es de Semigrupos

Dissertacao apresentada ao Programa de PosGraduacao em Matematica do Departamento


de Matematica, Centro de Ciencias Exatas, da
Universidade Estadual de Maringa, como requisito parcial para obtencao do ttulo de Mestre em Matematica.

Area
de concentracao: Geometria e Topologia

Orientador: Prof. Dr. Josiney Alves de Souza

Maringa-PR
2013

Stephanie Akemi Raminelli

Atratores Globais para A


co
es de Semigrupos

Dissertacao submetida ao corpo docente do Programa de Pos-Graduacao


em Matematica da Universidade Estadual de Maringa - UEM-PR, como
parte dos requisitos necessarios a` obtencao do grau de Mestre.

Aprovada por:
Prof. Dr. Josiney Alves de Souza - UEM
(Orientador)

Prof. Dr. Paulo Ricardo da Silva - UNESP

Prof. Dr. Carlos Jose Braga Barros - UEM

Maringa-PR
27 de fevereiro de 2013

33

profundidade das riquezas, tanto da


O

sabedoria, como da ciencia de Deus! Quao


insondaveis sao os seus juzos, e quao inescrutaveis, os seus caminhos!
34 Porque quem compreendeu o intento do
Senhor? Ou quem foi seu conselheiro?
35 Ou quem lhe deu primeiro a ele, para que
lhe seja recompensado?
36 Porque dele, e por ele, e para ele sao todas
as coisas: gloria, pois, a ele eternamente.
Amem!

Romanos 14:33-36, Bblia Sagrada

Aos meus pais,


Ademir e Marina

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

2 Atratores Globais para Sistemas Semidinmicos

15

2.1 Sistemas Semidinmicos . . . . . . . . . . . . . . . . . . . . . . . . . . .

15

2.2 Atratores Globais para Sistemas Semidinmicos . . . . . . . . . . . . . .

18

2.3 Conjuntos !-limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

27

2.4 Existncia do Atrator Global para Sistemas Semidinmicos . . . . . . . .

38

3 Atratores Globais para Aes de Semigrupos

43

3.1 Aes de Semigrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

44

3.2 Conjuntos !-limite para Aes de Semigrupos . . . . . . . . . . . . . . .

52

3.3 Existncia de Atrator Global para Aes de Semigrupos . . . . . . . . . .

68

3.4 Sistemas de Controle . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

73

4 Atrator Uniforme Global para Aes de Semigrupos

83

4.1 Prolongamentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

83

4.2 Conjuntos Limite Prolongacionais . . . . . . . . . . . . . . . . . . . . . .

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

onde dist a semidistncia de Hausdor denida no espao mtrico X. Assim, o con1

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

invariantes, exibindo alguns exemplos. Na segunda seo, apresentamos a semidistncia


de Hausdor, uma ferramenta de "medida"para denirmos o atrator global. Logo aps,
mostremos uma denio equivalente de atrator global usando o conjunto -vizinhana.
Mostramos que o atrator global da forma como foi denido nico em um sistema
semidinmico e apresentamos uma caracterizao por meio de conjuntos invariantes. Os
conceitos como semirbita positiva, sistema semidinmico limitado, eventualmente limitado e dissipatividade do semiuxo so fundamentais para o desenvolvimento da teoria
de atrator global. Na prxima seo, trabalhamos com o conjunto de suma importncia:
conjunto !-limite. Esse conjunto descreve o comportamento assinttico do sistema e
pode ser caracterizado em termos de sequncias. Um dos conceitos relevantes o de
sistema assintoticamente compacto, pois nesse sistema, os conjuntos !-limite adquirem
propriedades como compacidade, invarincia e atrao. Na ltima seo apresentamos
o teorema que garante a existncia de atrator global.
No Captulo 3, desenvolvemos o tema principal do trabalho, onde generalizamos os
resultados obtidos no captulo anterior, trabalhando com aes de semigrupos, a extenso dos sistemas semidinmicos. A seo inicial contm conceitos como conjuntos
invariantes, noes de atrao e atrator global. Em se tratando de comportamento assinttico para a ao de um semigrupo, usamos uma famlia de subconjuntos no vazios
do semigrupo que tem a propriedade de base de ltro. Assim, o conceito de atrao neste
contexto depende da famlia de subconjuntos no vazios do semigrupo em questo. Em
seguida, denimos os conceitos de semirbita, ao eventualmente limitada e limitada
dissipativa, estendendo de maneira natural as denies j apresentadas no captulo anterior. Na segunda seo, denimos o conjunto !-limite. Essa denio foi introduzida
por Braga Barros e Souza em [6]. Caracterizamos o conjunto !-limite em termos de redes
e denimos os conceitos de ao assintoticamente compacta e eventualmente compacta.
Em [7], a invarincia do conjunto !-limite garantida para espaos compactos. Fizemos
uma demonstrao anloga, porm para as aes assintoticamente compactas, no ne-

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

Nos espaos mtricos geralmente trabalhamos com convergncia de sequncias, mas em


espaos topolgicos mais gerais, isso nem sempre possvel. A rede ento cumpre um
papel fundamental neste contexto, j que ela uma generalizao do conceito de sequncias. Primeiramente, precisamos denir o conjunto que nos d uma orientao, como o
conjunto dos naturais. Denimos, ento, o conjunto chamado dirigido. Apresentamos
vrios resultados bsicos de redes, que so anlogos aos de sequncias. No decorrer do
captulo, denimos o conceito de ltro, que usamos frequentemente quando trabalhamos
com aes de semigrupos.
Essa noo de redes em topologia foi introduzida primeiramente por E. H. Moore e H.
L. Smith (1922) e alguns referem-se elas como sequncias generalizadas ou sequncias
de Moore-Smith.
Comeamos com a denio de conjunto dirigido.

Denio 1.1 Um conjunto , com uma relao

; denominado conjunto dirigido

se satisfaz as seguintes condies:


i)

, 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

uma direo para o conjunto

; ou que a relao

Daqui em diante, a menos de menso explcita em contrrio,

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;

a coleo Ux de vizinhanas de x 2 X um conjunto dirigido. Analogamente, com a


mesma relao acima, a coleo Bx de bases contendo x 2 X um conjunto dirigido.
Quando estudamos aes de semigrupos, consideramos uma famlia de subconjuntos
no vazios do semigrupo S. As vezes, no basta ser apenas uma famlia, mas que seja
um ltro, ou base de ltro.
Denio 1.2 Seja X um conjunto. Um ltro F sobre o conjunto X uma coleo
no vazia de subconjuntos de X satisfazendo:
1. ; 2
= F;
2. Se F1 ; F2 2 F, ento F1 \ F2 2 F;
3. Se F 2 F e F
Uma subcoleo F 0

F 0 , ento F 0 2 F:
F base para o ltro F, se para cada elemento F 2 F, existe

um elemento bsico F 0 2 F 0 tal que F 0

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 :

G, para algum F 2 Fg. Como

X; F

; 62 F, temos que ; 62 G: Se G1 ; G2 2 G, existem F1 ; F2 2 F tais que F1


Por hiptese, existe F3 2 F tal que F3

F1 \ F2

m, se G 2 G, existe F 2 F tal que F

G, ento, se G

G1 e F2

G2 .

G1 \ G2 , ou seja, G1 \ G2 2 G: Por
G0 temos imediatamente que

G0 2 G: Portanto, G um ltro que tem como base o ltro F:


Usando a Proposio 1.3, podemos denir a base de ltro da seguinte forma: uma
coleo F de subconjuntos no vazios de X base de ltro sobre X se satisfazem as
seguites propriedades:
1. ; 2
= F;
2. Dados F1 ; F2 2 F, existe F3 2 F tal que F3

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)

conjuntos dirigidos. Ento,


( 01 ;

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;

so conjuntos dirigidos temos que

iii) Sejam ( 1 ;

so conjuntos dirigidos, temos que

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 ;

serem conjuntos dirigidos,

1;

( 01 ;

2)

e ( 1;

2
2)

e
( 1;

2)

2.

Logo,

2) :

Vamos denir o conceito de redes.


Denio 1.5 Seja X um espao topolgico e

um conjunto dirigido. A aplicao

! 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

= N: A seguir, denimos a convergncia de rede, de modo anlogo, feito para

sequncia.
Denio 1.6 Dizemos que uma rede (x )
uma vizinhana U de x, existe
Notao: x

converge para o ponto x 2 X; se dado

tal que x 2 U , para todo

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,

! x: Analogamente, se considerarmos Bx a coleo de

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,

para cada U 2 Ux , podemos tomar xU 2 U \ A: Assim, a rede (xU )U 2Ux


Por outro lado, suponha que existe uma rede (x )

0:

A e xU

! x:

em A tal que x converge para

x: Ento, por denio de convergncia de rede, dado U 2 Ux , existe


x 2 U , para todo

! x:

tal que

Em particular, x 2 U \ A. Portanto, x 2 A:

Proposio 1.8 Sejam X e Y espaos topolgicos e f : X ! Y uma aplicao. Ento,


f contnua em x 2 X se, e somente se, para cada rede (x )
que a rede (f (x ))

X com x

! x, tem-se

Y converge pare f (x) 2 Y:

Demonstrao: Iremos usar o seguinte resultado: uma aplicao f contnua em


x 2 X se, e somente se, dado V uma vizinhana de f (x), existe U uma vizinhana de x
tal que f (U )

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 )

x. Assim, para esta vizinhana U , existe


V , para todo

f (x )

0:

X uma rede que converge para

tal que x 2 U , para todo

Portanto, a rede (f (x ))

0:

Logo,

Y converge para f (x) :

Agora, suponha por contradio que f seja descontnua em x 2 X. Ento, existe V


vizinhana de f (x) tal que f (U ) 6

V , para todo U vizinhana de x. Assim, para cada

U 2 Ux podemos tomar xU 2 U tal que f (xU ) 2


= V . Logo, a rede (xU )U 2Ux converge
para x, mas a rede (f (xU )) no converge para f (x) :

Proposio 1.9 Seja fXi ; i 2 Ig uma famlia de espaos topolgicos no vazios. Considere o espao produto X =

Xi : Ento, uma rede (x )

i2I

se, e somente se, para cada i 2 I, a rede (


Demonstrao: Suponha que x
Proposio 1.8 segue que

(x ))

! x. Como

(x ) !

Reciprocamente, suponha que

(x ) !

U=

em X converge para x 2 X

converge para

(x).

contnua, para todo i 2 I; pela

(x) ; para cada i 2 I:

(x ) !

U de x denida como

(x) ; para cada i 2 I. Seja a vizinhana

(Uj ) ;

j2J

onde J um subconjunto nito de I; e para cada j 2 J, Uj um subconjunto aberto


de Xj , com
tal que
0

j,

(x) 2 Uj : Como

(x ) 2 Uj , 8

j:

Por

ser um conjunto dirigido, existe

para todo j 2 J. Assim,


x 2

donde, x

(x), para cada j 2 J, ento existe

! 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

uma rede em X tal

um conjunto dirigido, existe

Assim, para todo

0,

0
0

tais que x 2 U , para todo


0

tal que

x 2 U \ V , o que um absurdo. Logo,

toda rede converge para, no mximo, um ponto.


Reciprocamente, suponha que X no espao de Hausdor. Ento, existem x; y 2 X
com x 6= y tais que U \ V 6= ;, para toda vizinhana U e V de x e y, respectivamente.
Considere as colees Ux e Vy das vizinhanas de x e y, respectivamente. Seja Ux

Vy

com a seguinte relao


(U; V )

(U 0 ; V 0 ) () U 0

Pela Proposio 1.4, temos que Ux

U e V0

V:

Vy um conjunto dirigido. Denimos a rede

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 ), temos que x(U;V ) 2 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

X; XnU enumervel ou XnU = Xg :

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

XnV que enumervel e, portanto, XnU

no enumervel, o que um absurdo. Logo, o espao X com a topologia


Hausdor. Seja (xn )

no

X uma sequncia que converge para x 2 X: Armamos que

existe n0 2 N tal que xn = x, para todo n


n1 <

n0 : Caso contrrio, existem ndices


< nk <

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

contradiz o fato de xn ! x: Logo, a sequncia (xn ) converge apenas para um ponto x,


mas o espao no Hausdor.

Denio 1.11 Sejam X um espao topolgico e (x )

uma rede em X. Dizemos que

x 2 X ponto de acumulao de (x ) se, dados U vizinhana de x e


2 ,

2 , existe

tal que x 2 U .

Temos imediatamente pela Denio 1.11 que se a rede (x ) converge a x, ento


x ponto de acumulao de (x ) : Observe tambm que a Denio 1.11 generaliza o
conceito de valor de aderncia de uma sequncia.
Denio 1.12 Sejam X um espao topolgico e x :
que y :

! X subrede de x :

conjunto dirigido e a aplicao


i) Se

ii) Dado

ento

2 , existe

satisfaz:

( 2 ) ; ( crescente)

( 1)
2

! X se y

! X uma rede em X. Dizemos

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 )

converge para um ponto x 2 X, ento cada

subrede tambm converge para x.


Demonstrao: Suponha que (x ) uma rede que converge para x 2 X. Sejam
x

( )

este

uma subrede e U uma vizinhana do ponto x: Como x

tal que x 2 U , para todo


0

( )

, existe
( 0)

0:

tal que

e, portanto, x

( )

Agora, pelo fato de


0.

( 0)

! x, existe
ser conal, para

Assim, para todo

2 U , para todo

isto , x

0;

Proposio 1.14 Sejam X um espao topolgico e (x )

0,
( )

temos que

! x:

uma rede em X. Ento, 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 :

Assim, I um conjunto dirigido, pela Proposio 1.4. Agora, denimos a funo


:I !
dada por

( ; U ) = : Como a aplicao

segue que x

( )

2I

= x

( ;U ) ( ;U )2I

uma subrede de (x )

x ponto de acumulao de (x ), existe


( ; U)

( 0 ; U0 ) temos que x 2 U

satisfaz os itens (i) e (ii) da Denio 1.12,

tal que x

U0 : Portanto, x

( )

: Seja U0 2 Ux . Como

2 U0 : Assim, para todo

! x.

14
Reciprocamente, suponha que a rede (x )

possui uma subrede x

converge para x. Sejam U uma vizinhana de x e


1

2
( )

tal que

( 1)

2 U , para todo
1

2.

Assim,

acumulao da rede (x ) :

0:

Agora, pela convergncia de x


2.

( )

Como

( 1)

. Como
( )

, existe

um conjunto dirigido, tome


0

ex

( )

( )

que

conal, existe
2

2
2

tal que

tal que

2 U . Portanto, x um ponto de

Captulo 2

Atratores Globais para Sistemas


Semidinmicos

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

Assumimos neste captulo que X um espao mtrico com a mtrica d : X


15

X ! R.

2.1 Sistemas Semidinmicos

16

Denio 2.1 Uma famlia de aplicaes contnuas


T ( ) = fT (t) : X ! X ; t

0g

chama-se sistema semidinmico ou semiuxo em X se satisfaz as seguintes propriedades:


i) T (0) = I, onde I aplicao identidade em X.
ii) T (t + s) = T (t) T (s), 8t; s

0 (Propriedade do semigrupo)

iii) A aplicao
[0; +1)

! X

(t; x) 7 ! T (t)(x)
uma aplicao contnua, onde [0; +1)

X dotado da topologia produto.

Pela Propriedade (ii) da Denio 2.1, temos que a famlia das aplicaes contnuas
fT (t) : X ! X ; t

0g

comutativa com respeito composio, pois


T (t) T (s) = T (t + s) = T (s + t) = T (s) T (t); 8t; s

0:

Se adicionarmos na Denio 2.1 a condio que T (t) : X ! X um homeomorsmo


denimos, para cada t > 0;
T (t) = T ( t) 1 ; se t < 0:
Assim, a famlia das aplicaes contnuas fT (t) : X ! X ; t 2 Rg denominada sistema
dinmico em X.
Vejamos alguns exemplos de sistema semidinmico.

2.1 Sistemas Semidinmicos

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 )

onde x = (x1 ; :::; xn ) dada em coordenadas da base cannica de Rn : Vemos facilmente


que T contnua e T (0) x = (0 + x1 ; :::; 0 + xn ) = x: Logo, T (0) = I: Alm disso, para
todo t; s

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)] :

Logo, T (t + s) = T (t) T (s) : Portanto, a aplicao T dene um sistema semidinmico


em Rn : Note que se considerarmos R ao invs de R+ , temos que a aplicao T dene
um sistema dinmico em Rn :
Exemplo 2.2 Seja GL (n; R) o conjunto das matrizes reais invertveis de ordem n.
Denimos a aplicao
T : R+

! GL (n; R)

GL (n; R)
(t; x)

7 !

et x

Temos que T contnua e T (0) (x) = e0 x = x e


T (t + s) (x) = et+s x = et es x
= T (t) (es x)
= T (t) [T (s) (x)] ;
para todo t; s

0 e x 2 GL (n; R) : Portanto, a aplicao T dene um sistema semi-

dinmico em GL (n; R).

2.2 Atratores Globais para Sistemas Semidinmicos

18

Exemplo 2.3 A soluo 'x : R ! Rn da equao diferencial x0 = X (x) ; onde X


Rn ; determina o uxo (ou sistema

um campo de vetores completo denido no aberto E


dinmico)

:R

E ! E denido por

(t; x) = 'x (t) : Se tomarmos apenas R+ temos

que a soluo 'x dene um sistema semidinmico.


Denimos agora o conceito de conjuntos invariantes pelo sistema semidinmico, que
um dos requisitos para denir o atrator global.
Denio 2.2 Um subconjunto A de X chamado invariante pelo sistema semidinmico T ( ) quando T (t)A = A; para todo t

0, onde T (t)A = fT (t)(x); x 2 Ag :

Para simplicao da escrita, denotemos T (t) x ao invs de T (t) (x) :


Proposio 2.3 Seja fA g

uma famlia de subconjuntos invariantes pelo sistema


[
A invariante.
semidinmico T ( ) : Ento, A =
2

Demonstrao: Temos que para cada t


T (t)A = T (t)

[
2

0;
!

(T (t)A ) :

Como A invariante, 8 2 ; temos T (t)A = A : Assim, para cada t


T (t)A =

[
2

(T (t)A ) =

0;

A = A:

Portanto, A invariante.

2.2

Atratores Globais para Sistemas Semidinmicos

Para estudar o comportamento assinttico de um sistema semidinmico, precisamos


de uma ferramenta para medirmos a distncia entre os conjuntos relacionados com a

2.2 Atratores Globais para Sistemas Semidinmicos

19

dinmica do sistema. Assim, denimos a noo de semidistncia de Hausdor, como


segue:
Denio 2.4 Dados A e B subconjuntos no vazios de X; denimos a semidistncia
de Hausdor de A at B como
dist (A; B) = sup (d (a; B)) = sup inf d (a; b) :
a2A

a2A

b2B

A semidistncia de Hausdor satisfaz a desigualdade triangular, ou seja,


Lema 2.5 Para todos os subconjuntos no vazios A; B; C
dist (A; C)

X, vale a desigualdade

dist (A; B) + dist (B; C) :

Demonstrao: Sejam a 2 A; b 2 B; c 2 C, temos


d (a; c)

d (a; b) + d (b; c) :

Aplicando o nmo em C, temos


d (a; C)

d (a; b) + d (b; C) :

Agora, aplicando o nmo em B, temos


d (a; C)

d (a; B) + inf (d (b; C))


b2B

d (a; B) + sup (d (b; C))


b2B

= d (a; B) + dist (B; C) :


Finalmente, aplicando o supremo em A, temos
dist (A; C)

dist (A; B) + dist (B; C) :

2.2 Atratores Globais para Sistemas Semidinmicos

20

Proposio 2.6 Sejam os subconjuntos A e B de X no vazios. Ento, dist (A; B) = 0


se, e somente se, A

B:

Demonstrao: Suponha que dist (A; B) = 0. Fixando a 2 A, temos


0

d (a; B)

sup (d (a; B)) = dist (A; B) = 0;


a2A

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

0 = d(a; B) < d (a; bn ) <

1
;
n

ou seja, existe uma sequncia (bn )n2N

B tal que bn ! a, se n ! +1: Logo, a 2 B:

Reciprocamente, suponha que A

B: Logo, dado a 2 A ; existe uma sequncia

(bn )n2N

B tal que bn ! a, se n ! +1: Como a distncia usual d contnua, temos

para todo b 2 B;
0 = lim d (bn ; b) = d (a; b) ;
n!+1

donde d (a; B) = 0; e portanto, dist(A; B) = 0:

Antes de denir o conceito de atratores globais, apresentamos a noo de atrao.


Denio 2.7 Dizemos que um subconjunto A de X atrai um subconjunto B de X, ou
que o subconjunto B

X atrado por A

X, pelo sistema semidinmico T ( ) se

lim dist (T (t) B; A) = 0:

t!+1

Dados A

X e > 0, denimos a -vizinhana de A como


B (A; ) = fx 2 X; d (x; A) < g =

B (a; ) :

a2A

Temos uma forma equivalente de denir o conceito de atrao, onde apresentamos o


seguinte resultado:

2.2 Atratores Globais para Sistemas Semidinmicos

21

Proposio 2.8 Sejam os subconjuntos A e B de X. Ento, A atrai B pelo sistema


semidinmico T ( ) se, e somente se, dado
T (t) B

> 0 existe

= ( ; B)

B (A; ) ; para todo t

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

2 N tal que para todo t

, tem-se jdist (T (t) B; A)j < :

Assim,
< ; 8t

inf d (x; a) = d (x; A) < ; 8t

sup

inf d (x; a)

x2T (t)B

a2A

Implicando que
a2A

onde concluimos que x 2 B (A; ) :


Reciprocamente, suponha que dado
tal que T (t) B

B (A; ) ; para todo t

> 0 ; existe um nmero real


. Seja x 2 T (t) B; t

( ; B)

: Ento, x 2 B (A; ) ;

isto , d (x; A) < : Como x 2 T (t) B arbitrrio, temos que


sup d (x; A)
x2T (t)B

; 8t

Logo, pela arbitrariedade de > 0, segue que


lim dist (T (t)B; A) = 0:

t!+1

Portanto, A atrai B:

Agora, dado > 0; se um subconjunto A de X limitado, ento B (A; ) limitado.

2.2 Atratores Globais para Sistemas Semidinmicos


De fato, seja x 2 A: Como A limitado, existe

22

> 0 tal que A

seja y 2 B (A; ) : Ento, d (y; A) < : Assim, d (y; ay ) =

B (x; 0 ) : Agora

< ; para algum ay 2 A e

> 0: Logo,
d (y; x)
Portanto, B (A; )

B (x; +

0) ;

d (y; ay ) + d (ay ; x) < +

0:

isto , B (A; ) limitado.

Vamos denir agora a noo de atratores globais.


Denio 2.9 Um subconjunto A de X um atrator global para o sistema semidinmico T ( ) se A no vazio, compacto, invariante e atrai todo subconjunto limitado
de X:
O primeiro resultado sobre atratores globais a sua unicidade. Apenas pela Denio
2.9, no temos a clareza se um sistema semidinmico pode possuir mais de um atrator
global. Porm, a proposio a seguir nos mostra que cada sistema semidinmico pode
possuir, no mximo, um atrator global no sentido da Denio 2.9.
Proposio 2.10 Se existe um atrator global para um sistema semidinmico T ( ), ento
ele nico.
Demonstrao: Sejam A1 e A2 atratores globais para o sistema semidmico T ( ) :
Como A2 compacto e como A1 atrator global, temos que A1 atrai A2 : Assim,
lim dist (T (t) A2 ; A1 ) = 0:

t!+1

Agora, por A2 ser invariante, temos que


0 = lim dist (T (t) A2 ; A1 ) = lim dist (A2 ; A1 ) = dist (A2 ; A1 ) :
t!+1

Pela Proposio 2.6, segue que A2

t!+1

A1 = A1 : A outra incluso obtida de forma

anloga, invertendo A1 e A2 ; obtendo o resultado desejado.

2.2 Atratores Globais para Sistemas Semidinmicos

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

conjunto de todos os subconjuntos invariantes limitados de X: Por denio de atrator


[
global, A invariante e limitado, logo A
A :
2

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

Pelo fato de A ser invariante, 8 2 ; temos que


lim dist(A ; A) = 0:

t!+1

Logo, pela Proposio 2.6, segue que A

A = A; 8 2 : Portanto, A =

A :

Vamos denir as semirbitas positivas e a partir da, podemos introduzir o conceito


de sistemas limitados e eventualmente limitados.
Denio 2.12 Dado um subconjunto B de X; sua semirbita positiva relativa ao
sistema semidinmico T ( ) o conjunto
+

Agora, dado

(B) = fT (t) x; t

0; x 2 Bg =

(x) :

x2B

0; a semirbita positiva de B direita de


+

(B) = fT (t) x; t

; x 2 Bg =

o conjunto

(T ( ) B) :

2.2 Atratores Globais para Sistemas Semidinmicos

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

0 tal que sua semirbita positiva direita de

limitada em X:

Os sistemas semidinmicos que possuem atratores globais so eventualmente limitados, ou seja,


Proposio 2.14 Se o sistema semidinmico T ( ) possui um atrator global A, ento
ele eventualmente limitado.
Demonstrao: Seja B um subconjunto limitado de X. Ento, A atrai B; ou seja,
dado > 0; existe

0 tal que
T (t) B

B (A; ) ; 8t

Logo,
+

(B)

B (A; ) :

Como A limitado segue que B (A; ) limitado e, portanto,

(B) limitado em X;

isto , o sistema semidinmico eventualmente limitado.

A seguir, denimos a noo de absoro de um conjunto pela ao do sistema. Com


esta denio, podemos introduzir o conceito de dissipatividade do sistema semidinmico.
Denio 2.15 Dados B e D subconjuntos de X, dizemos que D absorve B pela ao
do sistema semidinmico T ( ) ; se existe

0 tal que T (t) B

D; para todo t

Um sistema semidinmico T ( ) dito limitado dissipativo, se existe um subconjunto


limitado D de X tal que D absorve todo subconjunto limitado de X pela ao de T ( ) :
Dizemos que um sistema semidinmico T ( ) ponto dissipativo, se existe um subconjunto limitado D de X tal que absorve cada ponto x 2 X; isto , para cada ponto x 2 X,
existe

0 tal que T (t) x 2 D; 8t

x:

2.2 Atratores Globais para Sistemas Semidinmicos

25

Os conceitos de atrao e absoro so equivalentes no seguinte sentido:


Proposio 2.16 Um sistema semidinmico T ( ) limitado dissipativo se, e somente
se, existe um subconjunto limitado D de X que atrai todo subconjunto limitado de X:
Demonstrao: Suponha que o sistema semidinmico T ( ) limitado dissipativo. Ento, existe um subconjunto limitado D de X que absorve cada subconjunto limitado B
de X,

2 : Assim, para cada

2 ; existe
T (t) B

Mas, dado > 0; temos que D

0 tal que

D; 8t

B (D; ) ; logo,

T (t) B
Portanto, D atrai B ; para todo

B (D; ) ; 8t

2 :

Reciprocamente, suponha que existe um subconjunto limitado B de X que atrai todo


subconjunto limitado B de X,

2 : Ento, dado > 0 ; para cada

2 ; existe

tal que
T (t) B

B (B; ) ; 8t

Como B limitado em X, temos que B (B; ) limitado em X: Tome o subconjunto


limitado D = B (B; ) de X: Logo, para cada
T (t) B

2 ; existe

D; 8t

0 tal que

Portanto, o sistema semidinmico T ( ) limitado dissipativo.

Em particular, a Proposio 2.16 diz que, se o sistema semidinmico possui um


atrator global, ento ele limitado dissipativo.

2.2 Atratores Globais para Sistemas Semidinmicos

26

Exemplo 2.4 Seja o sistema semidinmico sobre R2 dado por


T : R+

R2

R2

(t; (x; y)) 7 ! (e t x; e t y)


Temos que A = f(0; 0)g atrator global para este sistema. Com efeito, claramente A
no vazio, compacto e invariante. Basta mostrar que A atrai todo subconjunto limitado
de R2 : Seja B

R2 limitado. Ento, existe M > 0 tal que k(x; y)k

(x; y) 2 B. Dado

> 0, tome

kT (t) (x; y)k =


Portanto, dado

> 0, existe

> 0 tal que e


e t x; e t y

<

> 0 tal que T (t) B

, logo para todo t

k(x; y)k

M; para todo
;

e M< :

B (A; ), para todo t

; isto ,

A atrai B. E pela Proposio 2.16, o sistema limitado dissiapativo. Observe abaixo a


trajetria do sitema.

Figura 2.1: Exemplos de trajetrias do sistema

2.3

Conjuntos !-limite

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.

Denio 2.17 Dado um subconjunto B de X; seu conjunto !-limite em relao a


sistema semidinmico T ( ) o conjunto
! (B) =

\ [

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

Demonstrao: Seja o conjunto


8
< x 2 X; existem sequncias (t ) R e (x ) B,
n
+
n
! 0 (B) =
:
com tn ! +1; tais que T (tn ) xn ! x
\
+
Mostremos que ! 0 (B) = ! (B) : Seja x 2 ! (B) =
t (B): Para cada
t 0

zn 2

+
n

n 2 N; existe

(B) tal que

d (x; zn ) <
Como

9
=

+
n

(B) = fT (t) x; t

1
:
n

n; x 2 Bg ; podemos escrever zn = T (tn ) xn ; onde tn

e xn 2 B: Assim, existem sequncias (tn )


T (tn ) xn = zn ! x: Portanto, x 2 ! 0 (B) :

R+ e (xn )

B; com tn ! +1; tais que

2.3 Conjuntos !-limite

28

Por outro lado, seja x 2 ! 0 (B) : Ento existem sequncias (tn )


com tn ! +1; tais que T (tn ) xn ! x: Agora, para um t
que tn

t, para todo n

que x 2

+
t

(B): Pela arbitrariedade de t

B,

0 xado, seja n0 2 N tal

+
t

n0 : Assim, T (tn ) xn 2

R+ e (xn )

(B) : Como T (tn ) xn ! x, segue


\
+
0, segue que x 2
t (B) = ! (B) :
t 0

Usando a Proposio 2.18, podemos mostrar os resultados que segue:


Sejam B; C

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

! +1 e (xn ) em B \ C tais que T (tn ) xn

! x: Mas, (xn )

B e

C: Logo, novamente pela Proposio 2.18, segue que x 2 ! (B) \ ! (C) : Agora,

(xn )

seja x 2 ! (B) : Pela Proposio 2.18, existem sequncias (tn ) em R+ ; com tn ! +1 e


(xn ) em B tais que T (tn ) xn ! x: Por hiptese, B

C; ento, (xn )

C: Logo, pela

Proposio 2.18, x 2 ! (C).


R2 ! R2 dado por

Exemplo 2.5 Seja o sistema semidinmico ' : R+


' (t; x) = x1 e
com

<0<

1t

; x2 e

2t

constantes reais. Temos que ' soluo da equao diferencial


x0 = Ax;

onde

A=@

1
A

uma matriz em relao a uma base fv1 ; v2 g de autovetores associados a autovalores


e

2:

Seja x = (x1 ; x2 ) 2 R2 xo. Se x2 6= 0, a trajetria 'x (t) = ' (t; x) tende a 1

se aproximando da reta E2 gerada pelo vetor v2 , quando t ! +1: Agora, se x2 = 0,


temos que 'x (t) tende a origem (0; 0) : Assim, temos os respectivos conjuntos !-limite
8
<
! (x) = ;, se x2 6= 0
: ! (x) = f(0; 0)g , se x = 0
2

2.3 Conjuntos !-limite

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

R2 atrator global, dado

> 0, existe

: Mas, se t ! +1, temos que x2 e

2t

> 0 tal que ' (t; x) 2


! +1, onde no existe

> 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.

Figura 2.2: Exemplo de sistema que no possui atrator global

Exemplo 2.6 Seja o campo de vetores sobre R2 dado por


X (x; y) = (y; x) :
A trajetria desse campo pode ser escrita como
0
10 1
cos t sin t
x
A@ A;
' (t; (x; y)) = @
sin t cos t
y

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

R2 atrator global, ento A atrai todo ponto (x; y) 2 R2 : Assim, dados

2.3 Conjuntos !-limite

(x0 ; y0 ) 2 R2 e

30

> 0, existe

0 tal que ' (t; (x0 ; y0 ))

Como B (A; ) limitado, existe M > 0 tal que k(x; y)k

B (A; ) ; para todo t

M , para todo (x; y) 2 B (A; ) :

Logo, se tomarmos (x0 ; y0 ) 2 R2 com x0 > M , temos que k' (t; (x0 ; y0 ))k > M , para
todo t

0. Portanto, ' (t; (x0 ; y0 )) 62 B (A; ), para todo t

0, o que contradiz o fato de

A ser atrator global

A rbita e o conjunto !-limite coincidem


Em seguida, denimos o chamado sistema semidinmico assintoticamente compacto,
que uma propriedade fundamental para estudarmos os principais resultados referentes
aos conjuntos !-limite e atratores globais.
Denio 2.19 Um sistema semidinmico T ( ) chamado assintoticamente compacto, se para toda sequncia limitada (xn ) em X e toda sequncia (tn ) em R+ , com
tn ! +1; a sequncia (T (tn ) xn ) em X possui subsequncia convergente.
Como o espao X mtrico, temos imediatamente que se X compacto ento o
sistema T ( ) assintoticamente compacto. Porm, a recproca nem sempre verdadeira.
Sejam X = R e 0 < a < 1: Considere o sistema
T : R+

(t; x)

7 ! at x

2.3 Conjuntos !-limite

Sejam (tn )

R+ com tn

31

! +1 e (xn )

R limitada. Ento, temos que existe uma

subsequncia (xnk ) que converge para um certo ponto x 2 R: Como atnk


atnk xnk

! 0 segue que

! 0: Logo, o sistema T ( ) assintoticamente compacto mas o espao X = R

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 , a aplicao T (t) : X ! X, compacta. Com efeito, para t

seguinte igualdade, T (t) = T (t

t0 ) T (t0 ) : Como T (t

limitado,
T (t) B = [T (t

t0 ) T (t0 )] (B)

Por T (t0 ) ser aplicao compacta e T (t

T (t

t0 , temos a

t0 ) contnua, para B
h

t0 ) T (t0 ) B :

t0 ) ser contnua, temos que T (t

t0 ) T (t0 ) B

compacto. Portanto, T (t) B compacto.

A seguir temos uma relao entre os sistemas eventualmente limitados, eventualmente


compactos e assintoticamente compactos.
Proposio 2.21 Se um sistema semidinmico T ( ) eventualmente limitado e eventualmente compacto, ento T ( ) assintoticamente compacto.
Demonstrao: Sejam as sequncias (xn )

X limitada e (tn )

R+ com tn ! +1:

Pelo fato de T ( ) ser eventualmente limitado, dado B0 = fxn ; n 2 Ng um subconjunto


limitado de X, existe uma constante real

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 )

2.3 Conjuntos !-limite

32

compacta. Seja n0 2 N tal que tn


todo n

t0 + ; para todo n

n0 : Assim, tn

t0

, para

n0 e podemos denir o conjunto


B = fT (tn

Temos que B

t0 ) xn ; xn 2 B0 ; n

n0 g :

(B0 ) ; donde B um subconjunto limitado de X. Logo,


T (t0 ) B = fT (t0 ) x; x 2 Bg
= fT (t0 ) [T (tn

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

! +1: Pela com-

pacidade assinttica de T ( ), a sequncia (T (tn ) xn ) em X possui subsequncia


(T (tnk ) xnk ) que converge para um ponto x 2 X: Como (xnk )

B; (tnk )

R+

com tnk ! +1 e (T (tnk ) xnk ) ! x; pela Proposio 2.18, segue que x 2 ! (B) :

2.3 Conjuntos !-limite

33

! (B) compacto;
Seja (xn ) uma sequncia em ! (B) =

+
t

t 0
+
t

tome yn;t 2

(B): Para cada n 2 N e para cada t

(B) \ B xn ; n1 : Como
+
t

(B) = fT (s) b; s

t; b 2 Bg ;

podemos escrever yn;t = T (sn;t ) bn;t , onde sn;t


conjunto de ndices N
(n; f )

(m; g) () n

m e f (k)

g (k) ; 8k 2 N:

RN um conjunto dirigido. Para

RN , demotemos y(n;f ) = T s(n;f ) b(n;f ) , onde

(n; f ) 2 N

f (n) e b(n;f ) = bn;f (n) 2 B:

s(n;f ) = sn;f (n)

(n; f )

t e bn;t 2 B: Denimos um

RN com a relao

Pela Proposio 1.4, temos que o conjunto N

Dado t

0,

0; seja ft 2 RN denida por ft (n) = t + n, 8n 2 N: Assim, para todo


(1; ft ), temos que
s(n;f ) = sn;f (n)

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;

n0 : Logo, considere as sequncias s(n;f )

R+ e b(n;f )

B:

Como T ( ) assintoticamente compacto, a sequncia T s(n;f ) b(n;f ) possui uma


subsequncia
T s(nk ;fk ) b(nk ;fk ) = y(nk ;fk )
que converge para x 2 X: Como s(nk ;fk )

! +1 e b(nk ;fk )

x 2 ! (B) : Agora, para cada nk 2 N; como y(nk ;fk ) 2

+
fk (nk )

B ; temos que
(B) \ B xnk ; n1k ;

2.3 Conjuntos !-limite

34

temos
d (xnk ; x)

d xnk ; y(nk ;fk ) + d y(nk ;fk ) ; x <

Assim, temos que xnk

! x: Logo, (xn )

1
+ d y(nk ;fk ) ; x :
nk

! (B) possui subsequncia (xn ) que

converge para x 2 ! (B) : Portanto, ! (B) compacto.


! (B) invariante;
Seja x 2 ! (B) : Ento, existem sequncias (tn )
tais que T (tn ) xn ! x: Dado t

R+ ; com tn ! +1 e (xn )

0 xado; como a aplicao T (t) : X

!X

contnua, temos que


T (t) x = T (t)
onde t + tn

lim T (tn ) xn = lim T (t + tn ) xn ;

n!+1

! +1 e (xn )

n!+1

B: Logo, T (t) x 2 ! (B) : Portanto, T (t) ! (B)

! (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 = lim [T (t) T (tn


n!+1

t)] (xn ) :

Por outro lado, pelo fato de T ( ) ser assintoticamente compacto e satisfazendo as


condies tn

t ! +1 e (xn )

possui subsequncia (T (tnk

B limitada, a sequncia (T (tn

t) xn ) em X

t) xnk ) que converge para z 2 X: Ento, z 2 ! (B).

Como T (t) contnua, temos que


x = lim T (t) [T (tn
n!+1

t) (xn )] = T (t) lim T (tn


n!+1

t) xn = T (t) z:

Pela unicidade do limite, temos que x = T (t) z 2 T (t) ! (B) : Logo,


! (B)
donde segue que ! (B) invariante.

T (t) ! (B) ;

2.3 Conjuntos !-limite

35

! (B) atrai B;
Queremos mostrar que dado > 0, existe
T (t) B
para todo t
t

0 tal que

B (! (B) ; ) ,

. Suponha por contradio que existe

> 0 tal que para todo

0;
T (t) B 6

Assim, podemos obter (tn )

(2.1)

B (! (B) ; ) :

R+ ; com tn

! +1; satisfazendo a condio 2.1,

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

compacto, (xn ) em B limitada e (tn ) em R+ com tn

! +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:

Proposio 2.23 Seja T ( ) um sistema semidinmico assintoticamente compacto. Se


B um subconjunto limitado de X, ento ! (B) menor subconjunto fechado de X que
atrai B:
Demonstrao: Pela Proposio 2.22, sabemos que ! (B) um subconjunto fechado
que atrai B. Basta mostrar que o menor subconjunto fechado com essa propriedade.
Seja F um subconjunto fechado de X que atrai B. Suponha por contradio que ! (B) 6
F: Ento, existe x 2 ! (B) tal que x 2
= F: Assim, seja

> 0 tal que d (x; F ) = : Como

2.3 Conjuntos !-limite

36

x 2 ! (B) ; existem sequncias (tn )

R+ e (xn )

B, com tn

T (tn ) xn ! x: Por outro lado, como F atrai B, dado =


dist (T (t) B; F ) < ; 8t
2

! +1; tais que

> 0, existe t0

0 tal que

t0 :

Como dist (T (t) B; F ) = sup (d (T (t) x; F )) ; temos que


x2B

d (T (t) z; F ) < ; 8z 2 B; 8t
2
Seja n0 2 N tal que tn

t0 ; para todo n

n0 : Logo, pela desigualdade 2.2, temos

d (T (tn ) xn ; F ) < ; 8n
2
Pela continuidade da distncia d, temos d (x; F )
: Portanto, ! (B)

(2.2)

t0 :

n0 :

; contradizendo o fato de d (x; F ) =

F:

Proposio 2.24 Seja T ( ) um sistema semidinmico assintoticamente compacto. Seja


B um subconjunto limitado em X. Se existe um subconjunto conexo C contendo B que
atrado pelo conjunto !-limite ! (B) ; ento ! (B) um subconjunto conexo em X:
Demonstrao: Suponha que existe um conjunto conexo C

B que atrado por

! (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 =

> 0; existe t0 > 0 tal que

T (t) C

B ! (B) ;

; 8t

t0 :

2.3 Conjuntos !-limite

37

Logo,
+
t0

(C)

B ! (B) ;

= B F1 ;

[ B F2 ;

Considere a aplicao contnua


T : [t0 ; +1)

+
t0

7 ! T (t) x

(t; x)
Ento, a rbita positiva direita de t0 ;

(C) = fT (t) x; t

aplicao contnua T denida acima. Como [t0 ; +1)

t0 ; x 2 Cg ; imagem da

C conexo, segue que

+
t0

(C)

conexo, e como d (F1 ; F2 ) = ; segue que B F1 ; 2 e B F2 ; 2 so conjuntos abertos e


+
t0

disjuntos. Logo, devemos ter


generalidade, suponha que
F2

+
t0

t 0

(C)

B F2 ; 2 : Sem perda de

B F1 ; 2 : Ento,

(C)

! (B) = \

concluindo que d (F1 ; F2 )

+
t0

B F1 ; 2 ou

(C)

+
t

(B)

+
t0

(C)

B F1 ;

; o que um absurdo. Portanto, ! (B) um conjunto

conexo.

Proposio 2.25 Seja T ( ) um sistema semidinmico e A um subconjunto fechado e


invariante em X. Ento, ! (A) = A:
Demonstrao: Como A fechado e invariante, temos
!
\ [
\
! (A) =
T (s) A =
A = A:
t 0

t 0

s t

Note que na Proposio 2.25, se retirarmos a hiptese de que A fechado, temos


somente a incluso
A

! (A) :

2.4 Existncia do Atrator Global para Sistemas Semidinmicos

2.4

38

Existncia do Atrator Global para Sistemas Semidinmicos

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

Demonstrao: Suponha que T ( ) possui um atrator global A. Ento, pela Proposio


2.16, temos que T ( ) limitado dissipativo. Agora, tomemos uma sequncia limitada
(xn )

X e (tn )

R+ com tn ! +1: Considere B = fxn 2 X; n 2 Ng um conjunto

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

sup (d (T (tn ) b; A)) = 0: Assim, para cada j 2 N; existe zj 2 A


b2B

tal que
1
d T tnj xnj ; zj < :
j
Pela compacidade de A, tomando uma subsequncia da sequncia (zj )

A, se necessrio,

temos que zj ! x 2 A: Assim,


d T tnj xnj ; x
Logo, T tnj xnj

d T tnj xnj ; zj + d (zj ; x) <

1
+ d (zj ; x) :
j

! x; provando que T ( ) assintoticamente compacto.

Reciprocamente, suponha que T ( ) um sistema semidinmico asssintoticamente


compacto e limitado dissipativo. Seja B a coleo de todos os subconjuntos limitados de

2.4 Existncia do Atrator Global para Sistemas Semidinmicos


X. Denimos
A=

39

! (B) :

B2B

Como T ( ) assintoticamente compacto, pela Proposio 2.22, para cada B em B, ! (B)


no vazio, compacto, invariante e atrai B; . Ento, A no vazio, invariante pela
Proposio 2.3 e atrai B para cada B 2 B; pois temos que B (! (B) ; )
todo

B (A; ) ; para

> 0 dado. Basta provar que A compacto. Com efeito, como T ( ) limitado

dissipativo, existe D0

X limitado tal que D0 absorve cada B 2 B. Tome, se necessrio,

D = D0 subconjunto fechado de X. Pela Proposio 2.23, temos que ! (B) menor


subconjunto fechado de X que atrai B, para todo B em B, e como D absorve B, e
portanto atrai B, temos que ! (B)
! (A)

D; para todo B em B. Logo, A

! (D) : Como A invariante, pela Proposio 2.25, temos que A

D, donde
! (A) ;

donde temos as incluses


A

! (A)

! (D) :

Mas, D um subconjunto limitado, ento D 2 B e ! (D)

A. Assim, A = ! (D) e

pela Proposio 2.22, ! (D) compacto, concluindo que A compacto. Portanto, A


um atrator global.

Temos uma consequncia do teorema anterior que garante a existncia do atrator


global para semiuxos eventualmente compactos, eventualmente limitados e ponto dissipativos.
Corolrio 2.27 Se um sistema semidinmico T ( ) eventualmente compacto, eventualmente limitado e ponto dissipativo, ento T ( ) possui um atrator global.
Demonstrao: Note que pela Proposio 2.21, temos que o sistema semidinmico T ( )
assintoticamente compacto. Mostremos que T ( ) limitado dissipativo. De fato, como
o sistema semidinmico T ( ) ponto dissipativo, existe um subconjunto limitado D0 de

2.4 Existncia do Atrator Global para Sistemas Semidinmicos

40

X que absorve cada ponto x 2 X: Dado > 0, considere o subconjunto limitado


D1 = B (D0 ; ) :
Por T ( ) ser eventualmente limitado, para este subconjunto limitado D1 , existe

tal que o subconjunto


+

D=

(D1 )

limitado. Armamos que o subconjunto D de X absorve todo subconjunto limitado


de X: Com efeito, primeiramente seja K um subconjunto compacto de X. Ento, para
cada x 2 K, existe um nmero real

0 tal que

T (t) x 2 D0

D1 ; 8t

x:

Como D1 um subconjunto aberto de X e T ( x ) contnua, existe


T ( x ) B (x;

x)

x ) [T

( x ) B (x;

> 0 tal que

D1 :

Agora, pela denio de semirbita positiva direita de


T (t

;D=

D; 8t

x )]

(D1 ) ; temos que

ou seja,
T (t) B (x;
Por outro lado, fB (x;

x )gx2K

D; 8t

x)

(2.3)

uma cobertura aberta para o subconjunto K. Como K

compacto, existem x1 ; :::; xn 2 K tais que


K

n
[

B x;

xj

j=1

Tome

= max

1 j n

xj :

Ento, por 2.3, temos


T (t) K

D; 8t

(2.4)

2.4 Existncia do Atrator Global para Sistemas Semidinmicos

41

Como o sistema semidinmico T ( ) eventualmente compacto, existe uma constante real


t0

0 tal que T (t0 ) uma aplicao compacta. Agora, dado um subconjunto limitado

B de X, temos que K = T (t0 ) B compacto. Logo, por 2.4,


T (t) [T (t0 ) B]
Seja

= t0 +

T (t) T (t0 ) B = T (t) K

: Ento, para todo t


T (t

D; 8t

, temos que t

t0 ) [T (t0 ) B]

D; 8t

t0

T (t) B

D; 8t

t0
+

, donde

isto ,

Logo, o subconjunto D absorve todo subconjunto limitado B de X, mostrando que T ( )


limitado dissipativo. Pelo Teorema 2.26, segue que o sistema semidinmico T ( ) possui
um atrator global.

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 )

R+ com tn ! +1: Temos que existe uma

subsequncia (xnk ; ynk ) ! (x; y) 2 R2 : Mas, se tn ! +1, e


assim, ynk e
convergente.

2 tnk

! +1: Logo, a sequncia xn e

1 tn

; yn e

2 tn

1 tn

!0ee

2 tn

! +1,

no possui subsequncia

2.4 Existncia do Atrator Global para Sistemas Semidinmicos

Figura 2.3: Exemplo de sistema que no assintoticamente compacto.

42

Captulo 3

Atratores Globais para Aes de


Semigrupos

Aqui apresentamos todos os resultados do captulo anterior, generalizados para aes de


semigrupos, que so extenses de sistemas semidinmicos. Considerando a base de ltro,
chamado Filtro de Frchet,
F = f[ ; +1);

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

3.1 Aes de Semigrupos

44

de conjuntos limitados so invariantes. No nal do captulo, temos o principal resultado


que garante a existncia de atrator global para aes de semigrupos.

3.1

Aes de Semigrupos

Seja X um espao mtrico com a mtrica d : X

X ! R e S um semigrupo.

Denio 3.1 Uma ao ( esquerda) de S sobre X; denotada por (S; X; ) ; uma


aplicao

dada por
: S

! X

(s; x)

7 ! sx

satisfazendo
(st; x) =

(s; (t; x)) ;

para todo s; t 2 S e para todo x 2 X; ou seja,


(st) x = s (tx) ;
para todo s; t 2 S e para todo x 2 X:
Para cada s 2 S; denimos a aplicao
Assumimos aqui que a aplicao

: X ! X; dada por

(x) = sx; 8x 2 X:

contnua. Assim, podemos denir uma famlia de

aplicaes contnuas f s ; s 2 Sg como zemos para sistemas semidinmicos.


Vejamos alguns exemplos de aes de semigrupos.
Exemplo 3.1 Seja X um espao mtrico. Temos que sistema semidinmico
T ( ) = fT (t) : X ! X; T (t) contnua e t 2 R+ g
apresentado na Denio 2.1 uma ao de semigrupo dos reais no negativos com a
operao de adio, se considerarmos a ao

(t; x) = T (t) x:

3.1 Aes de Semigrupos

45

Exemplo 3.2 Seja


G = fg 2 GL (n; R) ; det g > 0g
munido com a operao de produto de matrizes. Temos que G um grupo. Considere a
seguinte aplicao
Rn

: G

(g; x)
Temos que

! Rn

(3.1)

7 ! gx

uma ao do grupo G sobre Rn : De fato, sejam g1 ; g2 2 G e x 2 Rn ,


(g1 g2 ; x) = (g1 g2 ) x = g1 (g2 x) =

(g1 ; g2 x) =

(g1 ; (g2 ; x)) :

Podemos tambm considerar o semigrupo S = fg 2 GL (n; Rn ) ; det g > 1g munido com


a operao de multiplicao de matrizes e a aplicao
Exemplo 3.3 Seja S = (0; 1)

denida em 3.1.

R o semigrupo com a operao de multipicao usual.

Temos que a aplicao


R2

R2

(s; (x; y)) 7 ! (sx; sy)


uma ao de S. Com efeito, sejam s; t 2 S e (x; y) 2 R2 ;
(st; (x; y)) = ((st) x; (st) y) = (s (tx) ; s (ty))
=

(s; (tx; ty)) =

(s; (t; (x; y))) :

Exemplo 3.4 Considere o semigrupo


S = (s; t) 2 R2 ; s; t > 0
munido com a operao de soma usual em R2 : Seja 0 < a < 1 uma constante real.
Denimos a aplicao
:

R2

R2

((s; t) ; (x; y)) 7 ! (as x; at y)

3.1 Aes de Semigrupos

Temos que

46

uma ao de semigrupo, pois para todo (s1 ; t1 ) ; (s2 ; t2 ) 2 S e (x; y) 2 R2 ;


((s1 ; t1 ) + (s2 ; t2 ) ; (x; y)) =

((s1 + s2 ; t1 + t2 ) ; (x; y))

as1 +s2 x; at1 +t2 y

as1 as2 x; at1 at2 y


(s1 ; t1 ) ; as2 x; at2 y

=
=

((s1 ; t1 ) ; ((s2 ; t2 ) ; (x; y))) :

Vamos denir o conceito de invarincia de um conjunto pela ao de um semigrupo.


Denio 3.2 Um subconjunto A de X invariante pela ao de um semigrupo S se
sA = A; para todo s 2 S; onde sA = fsa; a 2 Ag :
Proposio 3.3 Seja fA g

uma coleo de subconjuntos invariantes de X. Ento,


A=

A :

tambm invariante.
Demonstrao: Para todo s 2 S; temos que
!
[
[
s
A
=
sA :
2

(3.2)

Como A invariante, para todo

2 , usando a igualdade 3.2, temos


!
[
[
sA = s
A
=
sA = A:
2

Portanto, A invariante.

Seja F uma famlia de subconjuntos do semigrupo S. Denimos a noo de atrao


para ao de semigrupo, como segue:

3.1 Aes de Semigrupos

47

Denio 3.4 Dizemos que um subconjunto A de X F-atrai um subconjunto B de X


pela ao de semigrupo S se, dado

> 0, existe F 2 F tal que


FB

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 ; ) :

Pela invarincia do conjunto A2 , temos que F A2 = A2 , donde A2

B (A1 ; ) : Logo,

dist (A2 ; A1 ) < :


Pela arbitrariedade do > 0, segue que
dist (A2 ; A1 ) = 0;
pela Proposio 2.6 segue que A2
A1 e A2 , temos que A1

A1 = A1 . Procedendo da mesma forma, trocando

A2 , obtendo a igualdade desejada.

3.1 Aes de Semigrupos

48

Como zemos no captulo anterior, podemos caracterizar o atrator global para ao


de semigrupo, como unio de subconjuntos limitados e invariantes.
Teorema 3.7 Se uma ao de semigrupo S possui F-atrator global A, ento A se exprime como unio de todos os subconjuntos limitados invariantes de X.
Demonstrao: Sejam A um F-atrator global para a ao de um semigrupo S e
fA g

o conjunto de todos os subconjuntos limitados invariantes de X. Como A

limitado e invariante, temos que

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

B (A; ) : Como A invariante,

B (A; ) : Ento, dist (A ; A) < : Pela arbitrariedade de

segue que dist (A ; A) = 0: Logo, A

A = A, pata todo

[
2

2 :

> 0;

e, portanto,

A.

Denio 3.8 Seja B um subconjunto de X e F uma famlia de subconjuntos de S. A


semirbita de B relativa ao de semigrupo S o conjunto
SB = fsx; s 2 S; x 2 Bg :
Agora, dados um subconjunto B de X e F 2 F, a F-semirbita de B referente a F
o conjunto
F B = fsx; s 2 F; x 2 Bg :
Denio 3.9 Dizemos que a ao de semigrupo S limitada se, a semirbita de
todo subconjunto limitado de X for limitado em X. Dizemos que a ao de semigrupo

3.1 Aes de Semigrupos

49

S F-eventualmente limitada se, para cada subconjunto limitado B

X a sua

F-semirbita for limitada em X.


Note que, se a ao do semigrupo limitada e F uma famlia de subconjuntos de
S, ento a ao F-eventualmente limitada, pois F B

SB, para todo subconjunto

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

M: Assim, para todo s 2 S


k(sx; sy)k = s k(x; y)k

sM < M:

Portanto, a ao de S limitada e F-eventualmente limitada.


Proposio 3.10 Se a ao de semigrupo S possui um F-atrator global A, ento a ao
F-eventualmente limitada.
Demonstrao: Seja B um subconjunto limitado de X. Como A F-atrator global,
dado > 0, existe F 2 F tal que
FB

B (A; ) :

3.1 Aes de Semigrupos

50

Figura 3.1: Semirbitas de (x; y)

Como A limitado, temos que B (A; ) limitado. Logo, F B limitado e, portanto, a


ao de S F-eventualmente limitada.

Denio 3.11 Dados B e D subconjuntos de X, dizemos que D F-absorve B pela


ao de semigrupo relativo a famlia F se existe F 2 F tal que F B

D:

Anlogo noo de atrao, o conceito de absoro tambm depende da famlia F.


Denio 3.12 Dizemos que a ao de um semigrupo S F-limitada dissipativa se,
existe um subconjunto limitado D de X que F-absorve todo subconjunto limitado de X
pela ao de S. A ao de semigrupo S dita F-ponto dissipativa se, existe D

limitado que F-absorve cada ponto x 2 X pela ao de S.


Proposio 3.13 Seja S um semigrupo. Ento, (S; X; ) F-limitada dissipativa se, e
somente se, existe um subconjunto limitado D de X tal que D F-atrai todo subconjunto
limitado de X pela ao de S.

3.1 Aes de Semigrupos

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

> 0, existe F 2 F tal que F B

> 0, temos que D

B (D; ). Ento, dado

B (D; ) : Portanto, D F-atrai B.

Reciprocamente, suponha que existe um subconjunto limitado A de X que F-atrai


todo subconjunto limitado de X pela ao de S. Seja B um subconjunto limitado de
X. Ento, dado

> 0, existe F 2 F tal que F B

limitado. Assim, existe F 2 F tal que F B

B (A; ) : Tome D = B (A; ) que

D: Logo, D F-absorve B. Portanto, a

ao de S F-limitada dissipativa.

Exemplo 3.6 Voltando ao Exemplo 3.4, dado r

0, denimos o conjunto

Ar = f(s; t) 2 S; s; t

rg :

Assim, considere a base de ltro


F = fAr ; r

0g :

Seja B um subconjunto limitado em X: Sua F-semirbita positiva em relao a Ar 2 F

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

3.2 Conjuntos !-limite para Aes de Semigrupos


r > 0 tal que ar <

52

: Assim, para todo (s; t) 2 Ar e (x; y) 2 B; temos


as x; at y

k ((s; t) ; (x; y))k =

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.

Figura 3.2: Base de ltro F e semirbita Ar (x; y)

3.2

Conjuntos !-limite para Aes de Semigrupos

Denio 3.14 Dado um subconjunto B de X, o seu conjunto !-limite com respeito


a famlia F o conjunto
! (B; F) =

F 2F

F B:

3.2 Conjuntos !-limite para Aes de Semigrupos

53

Note que o conjunto !-limite fechado em X, pois interseo de subconjuntos


fechados em X:
Exemplo 3.7 Temos que o conceito de conjunto !-limite para aes de semigrupos
denida acima generaliza o conceito de conjunto !-limite para sistemas semidinmicos , apresentada na Denio 2.1. De fato, considere a base de ltro, chamada Filtro
de Frchet,
F = fA ;
onde A = [ ; +1)

R+ ,

0g ;

0. Seja B um subconjunto de X. Ento,

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 )

em S, dizemos que t F -diverge se para cada F 2 F, existe

t 2 F , para todo

F:

Notao: t

tal que

!F 1:

Vejamos alguns exemplos Denio 3.15 em vrios contextos.


Exemplo 3.8 A Denio 3.15 generaliza o fato de tn ! +1, pois tomando o Filtro
de Frchet, apresentado no Exemplo 3.7, temos que
tn !F 1 () tn ! +1:

3.2 Conjuntos !-limite para Aes de Semigrupos

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

e denimos a base de ltro F = fAr ; r > 0g : Se (g ) uma rede em S, dizer que


g

!F 1 equivale a dizer que det g

! +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:

Exemplo 3.11 Seja F = fAr ; r

0g a base de ltro, denida no Exemplo 3.6 so-

bre S = R2 ; onde Ar = f(s; t) 2 S; s; t


(s ; t ) !F 1 signica que as redes s

rg ; para r
! +1 e t

0 dado. Temos que a rede


! +1:

Exemplo 3.12 Suponha que S um espao topolgico localmente compacto. Seja


F = fS K; K compacto em Sg
a famlia das vizinhanas de 1 em compacticao por um ponto de S. Temos que F
base de ltro e se (t ) uma rede em S com 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

3.2 Conjuntos !-limite para Aes de Semigrupos

55

Demonstrao: Seja o conjunto


8
9
< x 2 X; existem as redes (t ) S; (x ) B; =
! 0 (B; F) =
:
:
;
com t !F 1; tais que t x ! x

Mostremos que ! (B; F) = ! 0 (B; F).

Seja x 2 ! (B; F) : Ento, pela Denio 3.14, x 2 F B , para todo F 2 F. Logo,


para cada F 2 F, existe a sequncia ynF

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

N com a seguinte relao:

(F 0 ; m) () F

F0 e n

m:

N um conjunto dirigido. Considere as redes t(F;n)

x(F;n) 2 B: Temos que t(F;n) !F 1, pois dado F 2 F , existe (F; 1) 2 F


para todo (F 0 ; n)

S e

N tal que

(F; 1) ; tem-se t(F 0 ;n) 2 F: Pela desigualdade 3.3, temos que


d t(F;n) x(F;n) ; x <

e, portanto existem as redes t(F;n)

S; x(F;n)

1
n
B; com t(F;n)

!F 1; tais que

t(F;n) x(F;n) ! x: Logo, x 2 ! 0 (B; F) :


Por outro lado, seja x 2 ! 0 (B; F) : Ento, existem as redes (t ) em S; (x ) em B; com
t
8

!F 1; tais que t x
F,

! x: Logo, para cada F 2 F, existe

ou seja, x 2 F B: Como F arbitrrio, segue que x 2

F 2F

tal que t 2 F ,

F B = ! (B; F) :

Note que, como X um espao mtrico, podemos caracterizar o conjunto !-limite


em termos de sequncias, isto ,
8
< x 2 X; existem sequncias (t )
S, (xn )n2N
n n2N
! (B; F) =
:
com tn !F 1; tais que tn xn ! x

Usando a Proposio 3.16, obtemos os seguintes resultados facilmente:

9
B; =
:
;

3.2 Conjuntos !-limite para Aes de Semigrupos

56

1. Para todos os subconjuntos B e C de X, temos ! (B \ C)


2. Sejam os subconjuntos B e C de X. Se B

! (B) \ ! (C) :

C, ento, ! (B)

! (C) :

Vejamos alguns exemplos de conjuntos !-limite.

Exemplo 3.13 Retomando o Exemplo 3.4, seja B um subconjunto limitado de R2 : Pela


Proposio 3.16, temos
8
9
< (z; w) 2 R2 ; existem sequncias (s ; t ) S com (s ; t ) ! 1 e =
n n
n n
F
! (B; F) =
:
:
;
(xn ; yn ) B tais que (asn x; atn y) ! (z; w)

Como (sn ; tn ) !F 1, ento sn ! +1 e tn ! +1; donde (asn ; atn ) ! (0; 0). E


pelo fato de B ser limitado em R2 , a sequncia (xn ; yn )

B possui uma subsequncia con-

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 ;

0: Seja (x; y) 2 R2 ; y 6= 0: Ento,


as x; at y 2 R2 ; s

et

0 :

! +1, temos que s ! +1, donde as ! 0. Logo,


8
< f0g [0; y] ; se y 0
\
! ((x; y) ; G) =
A (x; y) =
: f0g [y; 0] ; se y < 0
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

3.2 Conjuntos !-limite para Aes de Semigrupos


existe M > 0 tal que A
tal que B (A; )

57

B ((0; 0) ; M ) : Agora, como B ((0; 0) ; M ) aberto, tome > 0

B ((0; 0) ; M ) : Sejam (x; y) 2 R2 com y > M e

> 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

B (A; ) : Portanto, no existe G-atrator

global. Esse fato nos mostra que o conceito de atrao depende da famlia de subconjuntos
no vazios do semigrupo S que estamos considerando.

Figura 3.3: Base de ltro G e semirbita A (x; y)

Vamos denir ao assintoticamente compacta e eventualmente compacta. Note que


a compacidade assinttica de uma ao depende da famlia de subconjuntos de S que
est sendo considerada.
Denio 3.17 Sejam S um semigrupo e F uma base de ltro sobre S. A ao do
semigrupo S chamado F- assintoticamente compacta se para toda rede limitada
(x )

X e para toda rede (t )

convergente.

S com t

!F 1; a rede (t x )

X possui subrede

3.2 Conjuntos !-limite para Aes de Semigrupos

58

Denio 3.18 Dizemos que a ao de um semigrupo S eventualmente compacta


se existe t0 2 S tal que a aplicao

t0

: X ! X seja compacta.

Em seguida, vamos apresentar algumas hipteses de translao sobre famlias de


subconjuntos de um semigrupo S. As primeiras trs hipteses so introduzidas em [6]
por Braga Barros e Souza.
Denio 3.19 Seja F uma base de ltro sobre S. Dizemos que a famlia F satisfaz:
i) a hiptese H1 se, para todo s 2 S e todo F 2 F, existe F 2 F tal que sF

F;

ii) a hiptese H2 se, para todo s 2 S e todo F 2 F, existe F 2 F tal que F s

F;

iii) a hiptese H3 se, para todo s 2 S e todo F 2 F, existe F 2 F tal que F

F s;

iv) a hiptese H4 se, para todo s 2 S e todo F 2 F, existe F 2 F tal que F

sF:

Exemplo 3.15 O Filtro de Frchet do Exemplo 3.7 satisfaz todas as hipteses H1 ; H2 ;


H3 e H4 (Veja [6]).
Exemplo 3.16 A base de ltro F dada no Exemplo 3.9 satisfaz as hipteses H1 ; H2 ;
H3 e H4 : De fato, dados g 2 S = GL (n; R)+ , Ar 2 F, existe Ar0 2 F com r0

r
det g

tal

que
gAr0
pois se g 0 2 Ar0 , det g 0

r0

r
,
det g

Ar ;

ou seja, det g det g 0

r, donde gg 0 2 Ar : Logo, F

satisfaz a hiptese H1 e de modo anlogo podemos mostrar que F satisfaz a hiptese H2 :


Agora, dados g 2 S e Ar 2 F, existe Ar0 2 F com r0
Ar 0

r det g tal que

Ar g:

Com efeito, temos que Ar0 = Ar0 g 1 g e se g 0 2 Ar0 , ento det g 0

det g 0 det1 g = det g 0 det g

r det g, ou seja,

r, donde g 0 g 1 g 2 Ar g. Logo, F satisfaz a hiptese H3 .

Procedendo de modo anlogo, temos que F satisfaz a hiptese H4 :

3.2 Conjuntos !-limite para Aes de Semigrupos

59

Proposio 3.20 Seja F uma base de ltro sobre S satisfazendo a hiptese H4 . Se


(S; X; ) eventualmente compacta e F-eventualmente limitada, ento a ao (S; X; )
F-assintoticamente compacta.
Demonstrao: Sejam a rede limitada (x )
t

X e a rede (t )

S satisfazendo

!F 1: Como (S; X; ) F-eventualmente limitada, dado um conjunto limitado

B0 = fx ;

2 g, existe F 0 2 F tal que F 0 B0 limitado. Agora, pelo fato de a ao do

semigrupo S ser eventualmente compacta, existe t0 2 S tal que a aplicao

t0

:X!X

compacta. Como a famlia F satisfaz a hiptese H4 , para t0 2 S e F 0 2 F, existe


Fe 2 F tal que Fe
para todo

0;

t0 F 0 : Para este Fe 2 F, existe

tal que t 2 Fe, 8

0:

Assim,

podemos escrever t = t0 s ; onde s 2 F 0 : Denamos o conjunto


B = fs x ;

Como B

0g :

F 0 B0 , segue que B limitado. Assim, o conjunto


t0 B = ft0 s x ;

0g

= ft x ;

0g

relativamente compacto. Logo, a rede (t x ) possui subrede convergente e, portanto,


(S; X; ) F-assintoticamente compacta.

Proposio 3.21 Sejam F uma base de ltro sobre o semigrupo S e B um subconjunto


limitado de X: Se (S; X; ) F-assintoticamente compacta, o conjunto !-limite ! (B; F)
no vazio, compacto e F-atrai B pela ao de S.
Demonstrao: Mostremos que
! (B; F) 6= ;;
Consideremos as redes (x ) em B e (t ) em S, com t

!F 1: Como (S; X; ) F-

assintoticamente compacta, a rede (t x ) possui subrede (t k x k ) que converge para

3.2 Conjuntos !-limite para Aes de Semigrupos


um certo ponto x 2 X. Note que se t
existem as redes (x k )

!F 1, temos que t

S com t

B, (t k )

60

!F 1. Assim,

!F 1; tais que t k x

! x.

Pela Proposio 3.16 segue que x 2 ! (B; F) :


! (B; F) compacto;
Tome a sequncia (xn ) em ! (B; F) =

F 2F

F B: Para cada n 2 N e F 2 F, tome

yn;F 2 F B \ B xn ; n1 : Ento, podemos escrever yn;F = tn;F xn;F ; onde tn;F 2 F e


xn;F 2 B: Tome o conjunto de ndices N
(n; f )
Para (n; f ) 2 N

(m; g) () n

F N , com a seguinte relao:


m e f (k)

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 ) =

xn;f (n) . Agora, dado F 2 F, denamos a aplicao fF : N ! F por fF (n) = F ,


8n 2 N: Assim, para todo (n; f )

(1; fF ), temos que

t(n;f ) = tn;f (n) 2 f (n)


Logo, t(n;f ) !F 1: Considere as redes t(n;f )

fF (n) = F:
S e x(n;f )

B. Como B um

conjunto limitado e (S; X; ) F-assintoticamente compacta, a rede t(n;f ) x(n;f )


possui uma subrede t(n

;f ) x(n ;f )

que converge para um ponto x em X. Pela

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

d xn ; t(n ;f ) x(n ;f ) + d t(n


1
+ d t(n ;f ) x(n ;f ) ; x :
<
n

;f ) x(n ;f ) ; x

! x: Como X um espao mtrico, podemos considerar a subrede (xn )

como subsequncia de (xn ) que converge para x 2 ! (B; F) : Portanto, ! (B; F)


compacto.
! (B; F) F-atrai B;

3.2 Conjuntos !-limite para Aes de Semigrupos


Queremos mostrar que dado

> 0, existe F 2 F tal que F B

Suponha por contradio que existe


FB 6

61
B (! (B; F) ; ) :

> 0 tal que para todo F 2 F tem-se

B (! (B; F) ; ) : Ento, para cada F 2 F, existe tF 2 F tal que tF B 6

B (! (B; F) ; ) : Logo, existe (xF )F 2F

B tal que

d (tF xF ; ! (B; F))


Como F base de ltro, temos que tF

!F 1 e (xF )

possui subrede convergente, digamos, tF xF

B. Assim, a rede (tF xF )

! x: Pela Proposio 3.16, temos

que x 2 ! (B; F) : Por outro lado,


d (tF xF ; ! (B; F))
e, pela continuidade de d, segue que
d (x; ! (B; F))

o que um absurdo. Portanto, ! (B; F) F-atrai B.

Proposio 3.22 Sejam F uma base de ltro sobre o semigrupo S e B um subconjunto


limitado de X. Se (S; X; ) F-assintoticamente compacta, ento ! (B; F) menor
subconjunto fechado de X que F-atrai B pela ao de S.
Demonstrao: Pela Proposio 3.21, temos que ! (B; F) um subconjunto fechado
que F-4*atrai B. Assim, basta mostrar que ele o menor subconjunto fechado com
tal propriedade. Seja K um subconjunto fechado de X que atrai B. Suponha que
! (B; F) 6
existe

K: Ento, existe x 2 ! (B; F) tal que x 2


= K: Como K fechado, temos que

> 0 tal que d (x; K) = : Agora, como K atrai B, dado =

> 0, existe F 2 F

tal que
FB

B K;

(3.4)

3.2 Conjuntos !-limite para Aes de Semigrupos

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

n0 : Assim, por 3.4,

temos
d (tn xn ; K) < ;
2
para todo n

n0 : Pela continuidade de d, temos


d (x; K)

o que contradiz o fato de que d (x; K) = : Portanto, ! (B; F)

K:

A Proposio que segue nos mostra que o conjunto !-limite de um subconjunto


limitado invariante. J foi mostrado esse fato em [7] para espaos compactos. Aqui,
consideramos apenas a ao assintoticamente compacta, sem que o espao seja compacto.
Proposio 3.23 Seja F uma base de ltro sobre o semigrupo S satisfazendo as hipteses H1 e H4 . Se a ao de S F-assintoticamente compacta, ento ! (B; F) invariante,
para todo subconjunto limitado B de X:
Demonstrao: Sejam x 2 ! (B; F) =
a hiptese H1 , existe F 0 2 F tal que sF
s

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

: X ! X contnua, temos que


sx 2 sF 0 B

sF 0 B

F B:

Pela arbitrariedade de F 2 F, segue que sx 2 ! (B; F), isto , s! (B; F)

! (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

3.2 Conjuntos !-limite para Aes de Semigrupos

63

e o espao das aplicaes de V em F


F V = ff : V ! Fg :
Seja
!

: N

n 7 ! B x; n1
temos que

uma bijeo e conserva a ordem, pois


m () B x;

1
n

B x;

1
m

de onde podemos identicar F V com F N : Seja o conjunto de ndices N

F N com a

seguinte relao:
(n; f )

(m; g) () n

m e f (k)

Pela Proposio 1.4 temos que o conjunto N

g (k) , 8k 2 N:

F N um conjunto dirigido. Como a

famlia F satisfaz a hiptese H4 ; dados F 2 F e s 2 S; existe F 0 2 F tal que F 0

sF:

Assim, pelo fato de x 2 ! (B; F) ; temos que para todo n 2 N;


;=
6 F 0 B \ B x;

1
n

sF B \ B x;

1
n

Tome syn;F 2 sF B \ B x; n1 , com yn;F 2 F B: Para cada (n; f ) 2 N

F N , denotemos

y(n;f ) = yn;f (n) : Assim,


9

sy(n;f ) 2 sf (n) B \ B x;

1
n

onde y(n;f ) 2 f (n) B. Logo, podemos escrever


y(n;f ) = t(n;f ) x(n;f ) ;
onde t(n;f ) 2 f (n) e x(n;f ) 2 B: Agora, dado F 2 F, denimos fF 2 F N por fF (n) = F ,
para todo n 2 N: Assim, para todo (n; f )
f (n)

(1; fF ), temos que


fF (n) = F;

3.2 Conjuntos !-limite para Aes de Semigrupos


ou seja, t(n;f ) 2 F , 8 (n; f )

64

(1; fF ) : Considere a rede t(n;f ) x(n;f )

X. Como (S; X; )

F-assintoticamente compacta, tome, se necessrio, a subrede da rede t(n;f ) x(n;f ) tal


que t(n;f ) x(n;f ) ! y 2 X. Logo, dada uma vizinhana aberta U de y, existe (n0 ; f0 ) 2
N

F N tal que t(n;f ) x(n;f ) 2 U , para todo (n; f )

(n0 ; f0 ) : Como F base de ltro

sobre S, dado F 2 F e n 2 N, existe Fn 2 F tal que


F \ f0 (n) :

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 )

f0 (n), ou seja, (n; gF )

(n; f0 ) : Assim,

(n0 ; f0 )

t(n;f ) x(n;f ) 2 U \ f (n) B

U \ gF (n) B = U \ Fn B

U \ F B:

Portanto, y 2 F B. Como F 2 F arbitrrio, segue que y 2 ! (B; F) : Finalmente, dado


uma vizinhana aberta W de x, temos que
st(n;f ) x(n;f ) 2 sf (n) B \ B x;
para todo n 2 N satisfazendo B x; n1
tinuidade da aplicao

1
n

W;

W , donde st(n;f ) x(n;f )

! x: Mas, pela con-

: X ! X, segue que
st(n;f ) x(n;f ) ! sy:

Pela unicidade de limite, segue que x = sy 2 s! (B; F) : Portanto, ! (B; F)

s! (B; F) ;

de onde segue a invarincia do conjunto ! (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.

B conexo que F-atrado por ! (B; F) ; para B

X limitado,

3.2 Conjuntos !-limite para Aes de Semigrupos

65

Demonstrao: Suponha que existe um subconjunto C

B conexo F-atrado por

! (B; F) e ! (B; F) desconexo. Assim, podemos escrever


! (B; F) = K1 [ K2 ;
onde K1 e K2 so subcojuntos fechados, disjuntos e no vazios. Pela Proposio 3.21
! (B; F) compacto, ento temos que K1 e K2 so compactos. Logo, existe
que d (K1 ; K2 ) = : Como ! (B; F) F-atrai C; dado =
B ! (B; F) ;

F0 C

= B K1 ;

> 0 tal

> 0; existe F0 2 F tal que

[ B K2

Por hiptese, F0 C conexo e como d (K1 ; K2 ) = , temos que B K1 ; 2 e B K2 ; 2 so


conjuntos abertos disjuntos. Logo, F0 C
F0 C

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

; o que um absurdo. Portanto, ! (B; F) conexo.

Proposio 3.25 Seja A um subconjunto fechado e invariante de X. Ento,


! (A; F) = A:
Demonstrao: Como A invariante e fechado, temos
! (A; F) =

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) :

3.2 Conjuntos !-limite para Aes de Semigrupos

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,

o que contradiz o fato de A ser compacto. Portanto, a ao de S no possui G-atrator


global.
Exemplo 3.18 Seja o semigrupo S e a ao dados no Exemplo 3.4. Considere a famlia
Ftrans = fS + (s; t) ; (s; t) 2 Sg :

3.2 Conjuntos !-limite para Aes de Semigrupos


Temos que para todo F 2 Ftrans ; existe Ar 2 F tal que F

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

r, ou seja, (s0 ; t0 ) 2 Ar : Assim,


F (x; y)

Ar (x; y);

para todo (x; y) 2 R2 : Portanto,


! ((x; y) ; Ftrans )

! ((x; y) ; F) = f(0; 0)g :

(3.5)

Agora, temos que a ao de S Ftrans -assintoticamente compacta. Com efeito, consideremos as sequncias (sn ; tn )

S com (sn ; tn ) !Ftrans 1 e (xn ; yn )

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

(asnk xnk ; atnk xnk )

! +1 e t

! +1, temos que (asn ; atn )

! (0; 0), donde

! (0; 0) concluindo a armao. Pela Proposio 3.21, temos que

! ((x; y) ; Ftrans ) 6= ; e por 3.5 segue que ! ((x; y) ; Ftrans ) = f(0; 0)g :

Figura 3.4: Base de ltro Ftrans e semirbita (S + (s; t)) (x; y)

3.3 Existncia de Atrator Global para Aes de Semigrupos

3.3

68

Existncia de Atrator Global para Aes de Semigrupos

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) :

Demonstrao: Suponha que S possui um atrator global A. Temos que (S; X; )


F-limitada dissipativa, pela Proposio 3.13. Assim, basta provar que a ao de S
F-assintoticamente compacta. Seja (x )

X uma rede limitada e (t )

!F 1: Considere o conjunto limitado B = fx 2 X;

global, dado

> 0 existe F 2 F tal que F B

todo x 2 B, temos d (tx; A) < : Como t


que t 2 F , para todo
n

0:

S satisfazendo

2 g : Como A F-atrator

B (A; ) : Assim, para todo t 2 F e para


!F 1; para este F 2 F, existe

tal

Logo, d (t 0 x 0 ; A) < . Assim, para cada n 2 N, existe

tal que
d (t n x n ; z n ) <

1
:
n

(3.6)

Pela compacidade de A, tome, se necessrio, a subsequncia (z n )

A tal que z

x 2 A. Logo, pela desigualdade 3.6,


d (t n x n ; x)

d (t n x n ; z n ) + d (z n ; x) <

1
+ d (znk ; x) :
n

3.3 Existncia de Atrator Global para Aes de Semigrupos


Tomando k ! +1 temos que t n x

69

! x, isto , a rede (t x ) possui subsequncia

convergente. Portanto, a ao de S F-assintoticamente compacta.


Reciprocamente, suponha que a ao de S F-assintoticamente compacta e Flimitada dissipativa. Seja B uma coleo de todos os subconjuntos limitados e no
vazios de X. Denamos o conjunto
A=

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

X limitado que F-atrai cada subconjunto B 2 B. Tome, se

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; para todo B 2 B. Logo, A

D e,

! (D; F). Como A invariante, temos que


A

! (A; F)

! (D; F) :

Mas, D um subconjunto limitado, logo, ! (D; F)

A. Assim, temos a igualdade

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.

3.3 Existncia de Atrator Global para Aes de Semigrupos

70

Assim, basta provarmos que a ao F-limitada dissipativa. Por hiptese, (S; X; )


F-ponto dissipativa, ento existe um subconjunto D0 limitado de X que F-absorve todo
ponto x 2 X. Agora, dado

> 0 denimos o conjunto limitado D1 = B (D0 ; ) : A ao

de S F-eventualmente limitada, ento para este conjunto limitado D1 , existe F 2 F


tal que o conjunto
D = F D1
limitado. Armamos que o subconjunto limitado D F-absorve cada subconjunto limitado B de X. Com efeito, considere o conjunto compacto K

X. Para cada x 2 K,

existe Fx 2 F tal que


Fx x 2 D0

D1 :

Seja tx 2 Fx . Note que D1 aberto e a aplicao


x

: X ! X contnua, ento existe

tx

> 0 tal que


tx B (x;

x)

D1 :

Como a famlia F satisfaz a hiptese H3 ; dados tx 2 S e F 2 F, existe Fx0 2 F tal que


Fx0

F tx : Assim,
Fx0 B (x;

x)

F tx B (x;

Considere a cobertura aberta fB (x;

x )gx2K

x1 ; :::; xn 2 K tais que

n
[

x)

F D1 = D

de K. Pela compacidade de K, existem

B xj ;

xj

j=1

Como F base de ltro, tome F 0 2 F tal que F 0 Fx0 1 ; F 0 Fx0 2 ; :::; F 0


!
n
n
n
[
[
[
F 0K F 0
B x j ; xj
=
F 0 B x j ; xj
Fx0 j B xj ; xj
j=1

j=1

Fx0 n : Logo,
D

(3.7)

j=1

Por m, como a ao de S eventualmente compacta, existe t0 2 S tal que K = t0 B


compacto, para todo B

X limitado. Logo, pela incluso 3.7


F 0 t0 B

F 0K

D:

3.3 Existncia de Atrator Global para Aes de Semigrupos

71

Novamente pelo fato de F satisfazer a hiptese H3 ; dados t0 2 S e F 0 2 F, existe F 2 F


tal que F

F 0 t0 : Logo,
F 0 t0 B

FB

D:

Portanto, o conjunto D F-absorve todo subconjunto limitado B de X, ou seja (S; X; )


F-limitada dissipativa. Pelo Teorema 3.26, temos o resultado desejado.

Exemplo 3.19 Considere o gupo


S = fg 2 GL (n; R) ; det g > 0, n 2 N, n

2g

com a ao
: S

Rn

(g; x)

! Rn
7 ! gx

Considere a famlia F dada no Exemplo 3.9. Temos que


! ((0; :::; 0) ; F) = (0; :::; 0) e ! (x; F) = Rn n f(0; :::; 0)g ;
para todo x 2 Rn n f(0; :::; 0)g : Com efeito, a primeira igualdade imediata. Agora, seja
x = (x1 ; :::; xn ) 2 Rn n f(0; :::; 0)g e z = (z1 ; :::; zn ) 2 Rn n f(0; :::; 0)g : Como x 6= 0, existe
i 2 f1; :::; ng tal que xi 6= 0: Tome a matriz
0
z 1 x1
1 0
0
0
xi
B
B
z2 x2
B 0 1
0
0
xi
B
..
..
..
B .. .. . .
.
B . .
.
.
.
B
B
zi
gm = B 0 0
0
0
xi
B
B
zi+1 dm xi+1
B 0 0
dm
0
xi
B
B .. ..
..
.. . . ..
B . .
. .
.
.
@
z n xn
0
1
0 0
xi

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

3.3 Existncia de Atrator Global para Aes de Semigrupos


que

8
< (d )
m
: (d )
m

72

R+ com dm ! +1, se det gi+1 i+1 > 0


R com dm !

1, se det gi+1 i+1 < 0

Logo, det gm > 0 e gm !F 1: Alm disso, gm x = z, para todo m 2 N, donde gm x !


z. Portanto, ! (x; F) = Rn n f(0; :::; 0)g : Usando mesmo raciocnio, podemos provar
que Sx = Rn n f(0; :::; 0)g ; para todo x 2 Rn n f(0; :::; 0)g : Alm disso, temos que no
existe F-atrator global para ao de semigrupo S. Com efeito, dado x = (x1 ; :::; xn ) 2
Rn n f(0; :::; 0)g ; se existe F-atrator global A, ento dado
Ar x

> 0 existe r > 0 tal que

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

!F 1: Seja xm uma sequncia

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+ :

3.4 Sistemas de Controle

73

Neste caso, a ao dada por


: S

7 ! gx

(g; x)

Para cada r > 0, denimos o conjunto Ar = fg 2 S; g

rg = [r; +1) : Considere a

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

( )

Rn g uma funo de controle admissvel.

Dizemos que U conjunto de controle.


Aqui, assumimos que para cada u 2 U e x0 2 M , a equao x_ = X (x; u (t)) admite
uma nica soluo ' (t; x0 ; u) satisfazendo ' (0; x0 ; u) = x0 : Temos tambm que essa
soluo satisfaz a propriedade de cociclo, isto ,
' (t + s; x0 ; u) = ' (t; ' (s; x0 ; u) ; u s) ;
onde u s ( ) = u (s + ) :

3.4 Sistemas de Controle

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

Na teoria geomtrica de controle, em geral, so consideradas as funes de controle


constantes por partes. Denamos Ucp = fu : R ! U ; u constante por partesg : Logo,
pode-se mostrar que as trajetrias do sistema de controle passam a ser concatenaes
das trajetrias de equaes autnomas.
Assumamos tambm que os campos de vetores Xu = X ( ; u), u 2 U , so completos.
Assim, considere o conjunto V = fXu ; u 2 U g ; de campos de vetores completos. As
trajetrias do sistema ( ) so concatenaes de trajetrias dos campos de vetores em
V: Assim, o sistema ( ) determinado pela famlia de campos de vetores V: A cada
campo Xu 2 V e t 2 R, corresponde um difeomorsmo 'ut : M

! M denida por

'ut (x) = 'u (t; x) satisfazendo 'u0 = Id e 'us+t = 'us 'ut :


Exemplo 3.21 Seja fX; Y g os campos de vetores denidas por
X (x) = X (x1 ; x2 ) = ( 1 x1 ;

2 x2 ) ;

<0<

Y (x) = Y (x1 ; x2 ) = (x2 ; x1 )


apresendados no Exemplo2.5 e Exemplo 2.6, x = (x1 ; x2 ) 2 R2 : As trajetrias da equao
x_ = X (x1 ; x2 ) + u (t) Y (x1 ; x2 )
onde u 2 Ucp = fu : R ! R; u constante por partesg ; so as concatenaes das trajetrias das equaes x_ = X (x1 ; x2 ) e x_ = u (t) Y (x1 ; x2 ) :

3.4 Sistemas de Controle

75

Exemplo de concatenaes das trajetrias


O nosso interesse tomar concatenaes de trajetrias do campo em V, isto , tomar
as possveis composies de 'ut . Assim, denimos o conjunto de todas as composies
possveis entre esses difeomorsmos.
Denio 3.30 Seja V a famlia de campos de vetores denida anteriormente. Denimos os conjuntos
GV = 'utnn

'ut11 ; ti 2 R; ui 2 U; k 2 N

SV = 'utnn

'ut11 ; ti

e
0; ui 2 U; k 2 N

chamados, respectivamente de grupo do sistema e semigrupo do sistema.


Agora, vamos estudar o comportamento assinttico de um sistema de controle. Seja
T > 0: Considere o conjunto
(
S

'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

3.4 Sistemas de Controle

76

Temos que Fctr uma base de ltro sobre SV , pois dados T1 ; T2 > 0, vale a incluso
S

T1 +T2

T1

\S

T2 :

Essa base de ltro utilizada para estudar o comportamento assinttico do sistema de


controle e pode ser encontrada em [5], [6], [8], [9], [25] e [26]. A famlia Fctr satisfaz
as hipteses H1 e H2 , mas, em geral, no satisfazem as hipteses H3 e H4 : No entanto,
existem sistemas de controle onde Fctr tambm satisfaz as hipteses H3 e H4 (veja [9] e
[25]).
A notao dada na Denio 3.15, pode ser utilizada na teoria de sistemas de
controle. Temos que ' (t ; x ; u )

!Fctr 1 siginica t

' (t ; x ; u ) !Fctr 1, ento dado T > 0, existe


todo

0,

ou seja, t

T: Logo, t

! +1: Com efeito, se

tal que ' (t ; x ; t ) 2 S

M se dado

M atrai B

d (' (t; b; u) ; A) < , para todo t

para

! +1: Assim podemos denir o conjunto

!-limite de um subconjunto B de M , a saber:


8
< x 2 M ; Existem sequncias t ! +1; (x )
n
n
! (B; Fctr ) =
:
tais que ' (tn ; xn ; un ) ! x
O subconjunto A

T,

B e (un )

> 0, existe

Ucp

9
=
;

> 0 tal que

; b 2 B e u 2 Ucp : Dizemos que o sistema de

controle Fctr -eventualmente limitado se para cada subconjunto limitado B de M ,


existe T > 0 tal que S

TB

um conjunto limitado, isto , existe x0 2 M e K > 0

tal que d (' (t; b; u) ; x0 ) < K, para todo t


D

M absorve o conjunto B

T , b 2 B e u 2 Ucp : Agora, o conjunto

M se existe T > 0 tal que S

TB

D: Assim, o

sistema de controle Fctr -limitado dissipativo se existe um subconjunto D de M


limitado que absorve todo subconjunto limitado de M: Por m, o sistema de controle
Fctr -assintoticamente compacto se para toda sequncia (xn )

M; (un )

tn ! +1, a sequncia (' (tn ; xn ; un )) possui subsequncia convergente.


Vamos analisar alguns exemplos de atratores globais para sistema de controle.

Ucp e

3.4 Sistemas de Controle

77

Exemplo 3.22 Considere o sistema de controle sobre R2


x0 = X (x (t) ; u (t)) = u (t) x (t) ;
onde u 2 Ucp = fu : R ! [ 2; 1] ; u constante por partesg com conjunto de controle
U = [ 2; 1] : Para cada u 2 U e x 2 R2 ; a trajetria do campo de vetores Xu dada
por
'ux (t) = eut x:
Consideremos o semigrupo do sistema
S = eun tn :::eu1 t1 ; ui 2 U; ti

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

Como B limitado, existe M > 0 tal que kxk


que
T > ln
Seja x 2 B e e

un tn

:::e

u1 t1

2S

T:

Ento,

n
X

:
T e ui

ti

1. Assim,

i=1

eun tn :::eu1 t1 x

= eun tn :::eu1 t1 kxk


Pn
t
i=1 i M
e
e
< e
=

Logo, dado

ln

TB

M = eln M M

> 0, existe T > ln M tal que


S

B (A; ) :

3.4 Sistemas de Controle

78

Portanto, A = f(0; 0)g Fctr -atrator global.


Exemplo 3.23 Considere o sistema de controle
x0 (t) = X (x (t) ; u (t)) = X0 (x (t)) + u (t) X1 (x (t)) ;
onde u 2 Ucp = fu : R ! [1; 2] ; u constante por partesg sobre X = R2 , com o conjunto de controle U = [1; 2] ,
xy 2

X0 (x; y) = (y; x) e X1 (x; y) = x

x3 ; y

yx2

y3

so campos de vetores em R2 : Considere as coordenadas polares x = r cos e y = r sen :


Ento, para cada u 2 U e (r; ), r > 0, a trajetria sobre o campo de vetor Xu dada
por
' (t; (r; ) ; u) =

' (t; (r; ) ; u) =


onde

2ut

2ut

2ut

2ut

r2

t ; com t 2 R se r 2 (0; 1] ;

r2
e

t ; com t 2 (

> 0 depende de u e r: Seja D1 = f(r; ) ; 0

; +1) se r > 1;

1g disco unitrio em R2 :

imediato que D no vazio e compacto. E temos tambm que D1 invariante pela ao


'ut , para cada u 2 U e t 2 R: De fato, seja (r; ) em D1 . Ento,
que
0<

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

3.4 Sistemas de Controle

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

1: Portanto, (r; ) 2 'ut (D1 ) ; concluindo que D1 invariante. Con-

sidere agora o semigrupo do sistema


'ut11 ; ui 2 U; ti

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

R2 nD1 : Ento, existe M > 0 tal que B

que dado

> 0, existe T > 0 tal que


S

B D1 ;

TB

B ((0; 0) ; M ) : Queremos mostrar

Para facilitar os clculos, vamos considerar a igualdade B (D1 ; ) = B ((0; 0) ; 1 + ) :


Ento, queremos mostrar que
r
P
2 ui ti
P
e
1 e 2 ui ti +
r2

ti

ui ti

r2

ui ti

<1+ ;

3.4 Sistemas de Controle

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

atrai todo subconjunto limitado de R2 : Concluindo assim que o disco fechado D1 um


Fctr -atrator global. A gura abaixo ilustra algumas trajetrias do sistema.

3.4 Sistemas de Controle

81

Exemplos de trajetrias do sistema


Exemplo 3.24 Considere V = fX; Y g o conjunto dos campos de vetores sobre disco
aberto M = B ((0; 0) ; 1)

R2 , onde os campos X = fX1 ; X2 g e Y = fY1 ; Y2 g so dados

por
x2 + x1 kxk2 sen

X1 (x) =

X2 (x) = x1 + x2 kxk2 sen

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 (0) = Y (0) = 0 e x = (x1 ; x2 ) 2 M; onde e so funes diferenciveis tais que


8
< 1, se kxk 1
2
(x) =
: 0, se 1 < kxk < 1
2

(x) =
Assim, para kxk

1
,
2

8
<

0; se kxk

: 1; se

1
2

1
2

< kxk < 1

o campo Y dado por

Y1 (x) = x2 + x1 1

4 kxk2

3.4 Sistemas de Controle

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

campo X e a gura esquerda ilustra o campo Y:

Considere a famlia Fctr : As trajetrias do sistema de controle determinada pelo V so


concatenaes das trajetrias dos campos de vetores X e Y . Note que o comportamento
das trajetrias so semelhantes s trajetrias do sistema de controle do Exemplo 3.23.
Assim, usando o mesmo argumento, temos que A = x 2 M ; kxk

1
2

invariante e

atrai todos os subconjuntos limitados em M nA. Logo, A Fctr -atrator global.

Captulo 4

Atrator Uniforme Global para Aes


de Semigrupos

Os conceitos de prolongamento e conjunto limite prolongacional para sistema dinmico


foram estudados em [3] e [4]. Esses resultados foram generalizados para aes de semigrupos em [10]. Apresentamos aqui a denio de ambos conceitos e suas caracterizaes
em termos de redes. Em seguida, denimos o domnio de atrao uniforme, atrator uniforme e atrator uniforme global. No nal desse trabalho, mostramos as equivalncias das
denies de atrator global no sentido da Denio 3.5 e atrator uniforme global, que
foram estudados separadamente.

4.1

Prolongamentos

Comeamos com a denio de prolongamento progressivo. Seja X um espao mtrico


com a mtrica d : X

X ! R:

Denio 4.1 Seja x 2 X e F um subconjunto do semigrupo S. Denimos o primeiro


F -prolongamento progressivo de x como
D (x; F ) =

>0

83

F B (x; ):

4.1 Prolongamentos

84

Se C um subconjunto de X, denimos
[

D (C; F ) =

D (x; F ) :

x2C

Agora, vamos apresentar uma caracterizao do prolongamento progressivo em termos de redes.


Proposio 4.2 Sejam x 2 X e F

S. Ento, podemos caracterizar o primeiro F -

prolongamento progressivo de x por


8
< y 2 X; Existem redes (t ) F e (x )
D (x; F ) =
:
tais que x ! x e t x ! y

Demonstrao: Seja o conjunto


8
< y 2 X; Existem redes (t ) F e (x )
0
D (x; F ) =
:
tais que x ! x e t x ! y

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

Logo, podemos escrever yn = tn xn , onde tn 2 F e xn 2 B x; n1 : Assim, considere as


sequncias (tn )n2N
n0 2 N tal que

1
n0

F e (xn )n2N

X. Temos que xn ! x. De fato, dado > 0, tome

< . Assim, para n

n0 temos que

xn 2 B x;
Como

1
n

1
n

1
;
n0

donde

B (x; ) :

> 0 arbitrrio, temos que xn ! x: Analogamente, temos que tn xn ! y e,

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

tal que x 2 B (x; ), para

4.2 Conjuntos Limite Prolongacionais


todo

0:

Logo, (t x )

85

F B (x; ) ; donde y 2 F B (x; ): Pela arbitrariedade do

> 0, segue que y 2 D (x; F ) :


Note que, para o caso onde X um espao mtrico, podemos tomar sequncias ao
invs de redes. Assim, para x 2 X e F S;
8
< y 2 X; Existem sequncias (t ) F e (x )
n
n
D (x; F ) =
:
xn ! x e tn xn ! y

4.2

Conjuntos Limite Prolongacionais

9
X tais que =
:
;

Denio 4.3 Seja F uma famlia de subconjuntos do semigrupo S e X um espao


mtrico. Denimos o primeiro F-conjunto limite progressivo prolongacional de
x 2 X como sendo o conjunto
J (x; F) =

D (x; F ) :

J (x; F) :

F 2F

Se C um subconjunto de X, ento
J (C; F) =

x2C

O prximo resultado uma caracterizao do primeiro F-conjunto limite progressivo


prolongacional de x 2 X. Uma caracterizao foi apresentada em [10], onde se considera
uma rede em cada conjunto da famlia F. Aqui, estendemos essa caracterizao tomando
apenas uma nica rede em S.
Proposio 4.4 Seja x 2 X e F uma famlia de subconjuntos de S. Ento, podemos
caracterizar o primeiro F-conjunto limite progressivo prolongacional de x 2 X por
8
9
< y 2 X; Existem redes (t ) S e (x ) X tais que =
J (x; F) =
:
:
;
t ! 1; x ! x e t x ! y
F

4.2 Conjuntos Limite Prolongacionais

86

Demonstrao: Denamos o conjunto


8
9
< y 2 X; Existem redes (t ) S e (x ) X tais que =
J0 (x; F) =
:
:
;
t !F 1; x ! x e t x ! y

Mostremos que J (x; F) = J0 (x; F). Seja y 2 J (x; F) : Assim,


\

y 2 D (x; F ) =

F B x;

n2N

para todo F 2 F. Considere o conjunto de ndices F


(F2 ; n2 ) () F1

(F1 ; n1 )

1
:
n
N com a direo

F2 e n1

n2 :

Para cada F 2 F e n 2 N temos que


B y;

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

onde t(F;n) 2 F e x(F;n) 2 B x; n1 : Temos que t(F;n) !F 1. De fato, dado F 2 F, tome


F0 = F e n0 2 N qualquer. Ento, se (F 0 ; n)

(F0 ; n0 ), temos que t(F 0 ;n) 2 F 0

donde t(F;n) !F 1: Agora, x(F;n) ! x: Com efeito, dado


1
n0

< e escolha F0 2 F qualquer. Se (F; n)


x(F;n) 2 B x;

Pela arbitrariedade do

1
n

> 0, tome n0 2 N tal que

(F0 ; n0 ) temos que

B x;

> 0, segue que x(F;n)

1
n0

F0 = F ,

1
n

1
n0

< , donde

B (x; ) :

! x. De modo anlogo, temos que

t(F;n) x(F;n) ! y: Logo, y 2 J0 (x; F) :


Por outro lado, seja y 2 J0 (x; F) : Ento existem redes (t )
t

!F 1, x

!xet x

que t 2 F , para todo


que x 2 B (x; ), para todo

! 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,

4.2 Conjuntos Limite Prolongacionais


t x 2 F B (x; ), para todo

87

: Assim, y 2 F B (x; ). Como > 0 arbitrrio, segue

que y 2 J (x; F).


Denimos agora o domnio de atrao uniforme, conceito necessrio para se denir
atrator uniforme global.
Denio 4.5 Sejam Y um subconjunto de X e F uma famlia de subconjuntos de S.
Denimos o conjunto F-domnio de atrao uniforme de Y por
AU (Y; F) = fx 2 X; J (x; F) 6= ; e J (x; F)

Y g:

Denio 4.6 Seja Y um subconjunto de X e F uma famlia de subconjuntos de S.


Dizemos que Y um F-atrator uniforme se existe > 0 tal que B (Y; )

AU (Y; F) :

Dizemos que Y um F-atrator uniforme global se AU (Y; F) = X:


A Proposio a seguir nos mostra que se um conjunto atrator global no sentido da
Denio 3.5, ento ele um atrator uniforme global.
Proposio 4.7 Sejam F uma base de ltro para o semigrupo S e A um F-atrator
global em S no sentido da Denio 3.5: Ento A um F-atrator uniforme global.
Demonstrao: Sejam x 2 X e A um F-atrator global. Pelo Teorema 3.26, temos que
(S; X) F-assintoticamente compacta. Logo, pela Proposio 3.21, segue que ! (x; F) 6=
; e, portanto, J (x; F) 6= ;: Suponha que J (x; F) 6

A. Ento, existe y 2 J (x; F) tal

que y 62 A. Agora, como A compacto, temos que existe

> 0 tal que d (y; A) = : Por

outro lado, como y 2 J (x; F), pela Proposio 4.4, existem redes (t )
tais que t

!F 1, x

!xet x

convergncia da rede (x ), existe


considere B = fx ;
A atrai B. Logo, dado

0g
2

S e (x )

! y. Seja U uma vizinhana de x 2 X. Pela


2

tal que x 2 U , para todo

0:

Assim,

um subconjunto limitado de X. Ento, o F- atrator global

> 0 existe F 0 2 F tal que F 0 B

B A; 2 : Como t

!F 1;

4.2 Conjuntos Limite Prolongacionais


para este F 0 2 F, existe
0

88

tal que t 2 F 0 , para todo

. Assim, para todo

: Tome

tal que

, temos

d (t x ; A) < :
2
Logo, pelo fato de t x

! y e d ser contnua, temos que d (y; A)

o fato de d (y; A) = : Portanto, J (x; F)


que X

, o que contradiz

A. Pela arbitrariedade de x 2 X, temos

AU (A; F), obtendo a igualdade AU (A; F) = X. Portanto, A um F-atrator

uniforme global.

A recproca da Proposio 4.7 no imediata. Para garantir que um atrator uniforme


global tambm um atrator global devemos acrescentar algumas hipteses.

Teorema 4.8 Sejam F uma base de ltro para um semigrupo S e Y um F-atrator


uniforme global no vazio, compacto e invariante. Se a ao de S F- eventualmente
compacta, F-assintoticamente compacta e F satisfaz a hiptese H3 ; ento Y um Fatrator global.
Demonstrao: Seja B um subconjunto limitado de X. Basta provar que Y atrai o
subconjunto B pela ao de S. Suponha que existe
tem-se F B 6

> 0 tal que para todo F 2 F

B (Y; ). Como (S; X) F-eventualmente compacta, existe t0 2 S tal que

t0 B compacto. Agora, como F satisfaz a hiptese H3 , para cada F 2 F, existe Fe 2 F


tal que

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

tFe xFe = tF t0 xFe :

4.2 Conjuntos Limite Prolongacionais


Considere a rede xFe

89

B. Ento, como t0 B compacto, temos que existe uma subrede

tal que

Ento a rede t0 xFf

Temos que tF
para todo

! y 2 X:

t0 xFf

limitada. Sejam as redes (tF )

!F 1; pois dado F 2 F; existe


0;

tF 2 F

com t0 xFf

tal que F

X limitada.
F e, portanto,

F: Como a ao de S F-assintoticamente

compacta, existe uma subrede com mesmo nome tF


tF

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

tFf xFf 62 B (Y; ), temos que d tF t0 xFf ; Y

, donde por 4.1 segue que d (z; Y )

contradizendo o fato de Y ser um F-atrator uniforme global, pois J (y; F)

Y . Por-

tanto, Y atrai B pela ao de S.


O resultado seguinte juno da Proposio 4.7 e Proposio 4.8. uma forma de
fazer a equivalncia das denies de atrator global e atrator uniforme global.
Corolrio 4.9 Sejam F uma base de ltro sobre S satisfazendo hipteses H3 e H4 ; e
(S; X; ) F-eventualmente limitada, eventualmente compacta. Ento, Y

X no vazio,

compacto e invariante um F-atrator uniforme global se, e somente se, Y

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.

4.2 Conjuntos Limite Prolongacionais

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

famlia Ftrans satisfaz a hiptese H3 : Como o semigrupo S abeliano, Ftrans satisfaz


a hiptese H4 . Agora seja B um subconjunto limitado de R2 : Considere a aplicao
contnua

(s0 ;t0 ) :

Ento,
(s0 ; t0 ) B

(s0 ; t0 ) B

e como (s0 ; t0 ) B compacto, temos que (s0 ; t0 ) B compacto. Logo, a ao de S


eventualmente compacta. No Exemplo 3.6 mostramos que dado
tal que Ar B

> 0, existe Ar 2 F

B ((0; 0) ; ) : Note que Ar = S + (r; r) 2 Ftrans : Ento, dado

> 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

4.2 Conjuntos Limite Prolongacionais

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).

You might also like