Comportamiento Asintótico de Problemas Parabolicos

Comportamento assinttico de problemas
parablicos em domnios tipo dumbbell

German Jesus Lozada Cruz
SERVIO DE POSGRADUO DO ICMC - USP
Data de Depsito: 02/12/2003

Assinatura:
Comportamento assinttico de problemas

Orientador: Prof. Dr. Alexandre Nolasco de Carvalho
Tese apresentada ao Instituto de Cincias Matemticas e de

Computao - ICMC-USP, como parte dos requisitos para
obteno do ttulo de Doutor em Cincias- rea de Matemtica
Durante a elaborao deste trabalho, o autor recebeu apoio nanceiro da FAPESP. Processo.
00 01479 8
USP - So Carlos
Dezembro de 2003
Comportamento assinttico em problemas

Este exemplar corresponde redao nal da tese

devidamente corrigida e defendida por
e aprovada pela comisso
julgadora.
So Carlos, Dezembro de 2003.
Banca examinadora:
Prof. Dr. Alexandre Nolasco de Carvalho (Orientador) - ICMC - USP
Prof. Dr. Orlando Francisco Lopes, IMECC-UNICAMP
Prof. Dr. Jos Gaspar Ruas Filho, ICMC-USP
Prof. Dr. Luiz Augusto Fernandes de Oliveira, IME-USP
Prof. Dr. Arnaldo Simal do Nascimento, DM-UFSCar
Dedico este trabajo a:

mis padres Eduardo y Aurelia,
mis hermanas Elita y Vereny,
mis sobrinas Greyci, Camila y Sheyla
mi esposa Dulcimar y mi hijo Nicolah Henry
A mathematician is a machine for turning coffee into theorems.

Paul ERDS, (1913-196)
God not only plays dice. He also sometimes

throws the dice were they cannot be seen.
Stephen HAWKING, (8 January 1942- )
If, I were a medical man, I should prescribe a holiday to

any patient who considered his work important.
Bertrand RUSSELL, (1872-1970)
Allinizio e alla ne abbiamo il mistero.

Potremmo dire che abbiamo il disegno di Dio.
A questo mistero la matematica ci avvicina, senza penetrarlo.
Ennio De GIORGI, (1928-1996)
A mathematicians reputation rest on the

number of bad proofs he has given.
Abram BESICOVICH, (1891-1970)
A blind man tramps at random touching the road with a stick.

He places his foot carefully and mumbles to himself.
The whole world is displayed in his dead eyes.
There are a house, a lawn, a fence, a cow
and scraps of the skyeverything he cannot see.
Vl. KHODASEVICH
A blind Man
Agradecimentos
Em primeiro lugar quero agradecer a Deus por ser to generoso comigo e no abandonar-me
nos momentos difceis da minha vida.
Agradecer ao Prof. Alexandre N. de Carvalho, pelo incentivo nos momentos difceis, pela
dedicao, pela calma e pela forma segura e paciente durante a orientao nos meu estudo de
Doutorado no ICMC e na elaborao desta tese.
Gostaria tmbm de agradecer ao professores: Joan Sol-Morales Rubi e Neus Cnsul
Porras pelo convite ao Departament de Matemtica Aplicada I da Universitat Politcnica de
Catalunya (Barcelona) e tambm pelas interessantes discusses que tivemos la.
Agradecer ao professor Jos Maria Arrieta Algarra pelo convite ao Departamento de
Matemtica Aplicada da Universidad Complutense de Madrid e pelas discusses valiosas que
tivemos la como tambm pela sua gentileza de ter respondido-me muitos de meus e-mails com
boas suguestes, ajuda em algumas demonstraes do Captulo 3.
A meus pais: Eduardo e Aurlia por serem o meio pelo qual existo e estou aqui.
A minhas irms: Elita e Vereny pelo seu apoio incondicional at o dia de hoje e minhas
sobrinhas Greyci, Camila e Sheyla por serem parte da minha familia.
Aos professores do Departamento de Matemtica e todos os demais professores do ICMCUSP, que contriburam de alguma maneira na minha formao acadmica.
FAPESP pelo apoio nanceiro no programa de Doutorado.
Aos professores do Departamento de Matemtica da Universidad Nacional de Trujillo.
Aos Colegas, que me suportaram e tornaram esses anos mais agradveis, dentre eles
destacarei os seguintes: Ana Lcia, Andra Guimares, Benito, Vera, Raimundo, etc.
Ao Sadao pela sua pronta disposio na ajuda e dicas no Latex.
A todas as pessoas que de alguma maneira cooperaram para a concluo este trabalho.
Desde j, peo desculpas s pessoas que involuntariamente no foram citadas aqui.
Finalmente no puedo dejar de mencionar el apoyo que en lo personal siempre recebi y
continu recibiendo de mi esposa Dulcimar y de mi hijo Nicolah. Mismo sabiendo que
nada puede recompensar el tiempo que deje de dedicarles, es para mi una grande satisfaccin
dedicarles este trabajo.
Muchas gracias
Resumo
O propsito deste trabalho estudar a dinmica assinttica de problemas parablicos em
domnios tipo dumbbell. Para isto primeiro estudaremos a semi-continuidade superior de
atratores para problemas parablicos com condio de fronteira do tipo Neumann homognea
e depois estudaremos a existncia de equilbrios estveis no-constantes para problemas de
reao-difuso com condies de fronteira tipo Neumann no-lineares.
Abstract
The aim of this work is to study the asymptotic dynamics of parabolic problems in
dumbbell type domains. To that end rstly, we study upper semicontinuity of attractors for
parabolic problems with homogeneous Neumann boundary conditions and afterwards we study
the existence of stable nonconstant equilibria for reaction-diffusion problems with nonlinear
Neumann boundary conditions.
Sumrio
1 Introduo
1.1 Objetivos da tese . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Descrio dos resultados . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
4
5
2 Preliminares
2.1 Operadores e Semigrupos . . . . . . . . . . . . . . . . . . . . . . .
2.1.1 Semigrupos analticos . . . . . . . . . . . . . . . . . . . .
2.1.2 Potncias fracionrias de operadores setoriais . . . . . . . .
2.1.3 Espaos de potncias fracionrias . . . . . . . . . . . . . .
2.1.4 Teoremas de imerses de Sobolev . . . . . . . . . . . . . .
2.2 Problema de Cauchy abstrato . . . . . . . . . . . . . . . . . . . . .
2.2.1 Equao de evoluo com operador setorial . . . . . . . . .
2.2.2 Existncia local de solues . . . . . . . . . . . . . . . . .
2.2.3 Frmula da variao das constantes . . . . . . . . . . . . .
2.2.4 Gerao de semigrupos no-lineares . . . . . . . . . . . . .
2.3 Atratores: Teoria geral . . . . . . . . . . . . . . . . . . . . . . . .
2.3.1 Existncia de atrator global . . . . . . . . . . . . . . . . . .
2.3.2 Solues de equilbrio . . . . . . . . . . . . . . . . . . . .
2.3.3 Estrutura gradiente . . . . . . . . . . . . . . . . . . . . . .
2.3.4 Caracterizao do atrator global . . . . . . . . . . . . . . .
2.4 Equaes de reao-difuso com condies de fronteira no-lineares
2.4.1 Formulao semilinear . . . . . . . . . . . . . . . . . . . .
2.4.2 Existncia local de soluo . . . . . . . . . . . . . . . . . .
2.4.3 Existncia global de soluo . . . . . . . . . . . . . . . . .
2.4.4 Existncia de atrator global . . . . . . . . . . . . . . . . . .
2.4.5 Estimativas uniformes nos atratores . . . . . . . . . . . . .
2.4.6 Estabilidade de equilbrios . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
7
8
9
10
11
12
12
13
14
15
15
17
18
26
26
28
28
31
33
34
34
40
3 Semi-continuidade superior de atratores

3.1 Introduo . . . . . . . . . . . . . . . . . . . .
3.2 Problema perturbado (P ) . . . . . . . . . . . .
3.3 Problema limite (P0 ) . . . . . . . . . . . . . .
3.4 Comparao dos problemas perturbado e limite
3.4.1 Comparao dos operadores resolventes
3.4.2 Comparao dos semigrupos lineares .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
47
47
49
51
55
56
76
ix
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.5
3.4.3 Comparao dos semigrupos no-lineares . . . . . . . . . . . . . . . . 77

Semi-continuidade superior dos atratores . . . . . . . . . . . . . . . . . . . . . 78
4 Padres induzidos por controles no-lineares na fronteira

4.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . .
4.2 Convergncia de autovalores . . . . . . . . . . . . . .
4.3 Convergncia de autofunes . . . . . . . . . . . . . .
4.4 Equao limite para o problema perturbado . . . . . .
4.5 Teorema de trao uniforme em . . . . . . . . . . .
4.6 Variedades invariantes . . . . . . . . . . . . . . . . .
4.7 Padres . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
81
81
84
95
98
102
104
122
5 Comentrios nais e problemas para estudos futuros
123
Referncias Bibliogrcas
127
ndice de Notaes
131
ndice Remissivo
133
Lista de Figuras
2.1
Variedade invariante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.1
Possibilidades do domnio
4.1
4.2
Domnio tipo Dumbbell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82

Retrato de fase aproximado: 0, g u
u u3 , f 0 . . . . . . . . . . . . 122
. . . . . . . . . . . . . . . . . . . . . . . . . . 48
xi
C APTULO
Introduo
uitos sistemas dinmicos so gerados por equaes diferenciais evolutivas. Estas

equaes diferenciais podem ser ordinrias, parciais, funcionais ou combinaes
destas. Neste trabalho estudaremos sistemas dinmicos gerados por equaes

diferenciais parciais do tipo parablico.
conhecido que os sistemas dinmicos gerados pela equao parablica
t

f u

ut du
u
0
n
(1.0.1)
em um domnio convexo , no apresentam solues de equilbrio estveis e espacialmente

dependentes (padres) (veja [36]). Posteriormente, mostrou-se (veja [36]) que possvel
produzir padres em domnios com constries, isto , em domnios que consistem de duas
partes desconexas ligadas por um canal no (dumbbells). Estes domnios se degeneram (no
limite) em dois domnios desconexos ligados por um segmento de reta. O presente trabalho
tem por objetivo estudar a continuidade da dinmica assinttica de problemas parablicos em
domnios do tipo dumbbell quando o canal se degenera e com condies de fronteira no linear.
Um dos principais objetivos na construo de um modelo predizer o comportamento
do fenmeno atravs do modelo matemtico. Mais ainda, em muitas situaes no estamos
interesados no futuro imediato e sim no comportamento do fenmeno modelado para tempos
grandes. Neste ltimo caso, estuda-se o comportamento asinttico do sistema. Notemos a
potncia e interesse desta idia: se o modelo correto e se temos ferramentas apropriadas para
o anlise assinttica do sistema, poderamos conhecer com relativa preciso o futuro real do
fenmeno.
Nosso interesse a estudar a dependncia da dinmica assinttica de problemas parablicos
1
Introduo
em domnios do tipo dumbbel relativamente ao parmetro , que determina a espessura da

seo transversal ao canal, quando tende a zero. O conceito de atrator global converteu-se,
nas ltimas dcadas, em uma ferramenta muito til para o estudo do comportamento asinttico
das equaes diferenciais (ordinrias e parciais). Grosso modo, um atrator um conjunto
compacto e invariante em direo ao qual todas as solues do sistema se aproximam para
tempos grandes.
Mais especicamente, nesta tese pretendemos contribuir com o estudo do comportamento
assinttico do seguinte problema parablico no-linear
0
t x
!
em
(1.0.2)
em
t x
!
em
ut u f u
u
0
n
u0x
u0

"
onde n denota a derivada normal , u0 a condio inicial dada, domnio limitado do

N, N
N um domnio limitado),
2 singularmente perturbado da forma R (
por exemplo um domnio tipo dumbbell (veja b na Figura 3.1 e Figura 4.1) com fronteira
suave e f satisfaz as seguintes condies:
#('#
&
uma funo de classe C 2 ,

f u
ii . lim sup
0.
u
u 0
i. f:
)0 )
Das hipteses acima, o problema (1.0.2) est bem posto em C (veja Mora [37]) e pela
condio (ii) de dissipatividade da f o problema (1.0.2) tem um atrator global A .
0
1
gvx x f v
g
w0 v1
w1
em
em
t x
t x
t x
01
(1.0.3)
3! 2!
em
! 2!
f w
! 2!

4

v0
0 dado por
wt
v
n
vt
&
O problema limite para (1.0.2) quando

"
Sob as hipteses acima, o problema (1.0.3) est bem posto em X0 . Alm disso, pela
condio de dissipatividade da f o problema (1.0.3) tem um atrator global A 0 .
Jimbo [32] mostrou a continuidade dos atratores para o problema (1.0.2) quando o canal
reto. Alm disso, no existem provas dos resultados anunciados em [32].
Mostraremos a semi-continuidade superior de atratores para o problema (1.0.2) quando
o canal obtido pela revoluo de uma curva suave (veja a denio de R na introduo
do Captulo 3). O estudo da semi-continuidade inferior dos atratores, e conseqentemente a
2
continuidade dos atratores para (1.0.2) ser objeto de estudos futuros.

Em [38], Morita estudou o problema (1.0.1) quando d parmetro xo muito grande e
um domnio no convexo da forma de um dumbbell unido por um canal no. Ele mostra a
existncia de uma variedade invariante nito dimensional exponencialmente atratora e a forma
reduzida das equaes diferenciais na variedade invariante.
Na tentativa de obter a existncia de padres, a primeira pergunta que se faz o que mudar
no problema (1.0.1) (com convexo) para que padres sejam possveis. Se (1.0.1) visto
como um modelo para reaes qumicas ocorrendo em um recipiente fechado e u representa
a concentrao, raciocinando intuitivamente, rapidamente imaginamos como produzir tais
padres.
Observe que du na equao (1.0.1) o termo de difuso que se ope a existncia de
gradientes de concentrao e faz com que os estados estveis sejam apenas homogneos
(espacialmente constantes). Uma maneira de produzir padres introduzir no sistema algo
que se oponha homogenizao, ou seja, uma obstruo ao uxo de concentraes. Podemos
alcanar isto das seguintes maneiras: Obstruo no domnio, Obstruo por membranas
Permeveis e Obstruo fraca provocada por difusibilidade no constante, entre outros
mtodos.
fcil comprovar que os zeros da funo f so solues de equilbrio para (1.0.1).
Motivada pelo problema com condies de Neumann homogneas (1.0.1), Neus Cnsul
[20], na sua tese de Doutorado, estudou a existncia de padres para equaes de difuso com
condies de fronteira no-homogneas do tipo
t x
t x
(1.0.4)
!
ut u
u
f u
! 5

Como no problema (1.0.1), os zeros da funo f so solues de equilbrio para o problema

(1.0.4).
conhecido que a formulao abstrata de problemas de valor inicial para equaes de
reao-difuso como
t x
t x
! 5

!

(1.0.5)

ut u f u
u
gu
u0x
u0 x

"
N , pode ser colocada como um problema de evoluo semi-linear

num domnio limitado
num espao de Banach adequado (veja por exemplo [6]).
Nesta tese tambm pretendemos dar nossa contibuio no estudo da existncia de padres
obtidos por uxo de concentrao na fronteira num domnio tipo dumbbell para o seguinte
3
Introduo
f u
gu
em
em
t x
t x
! 2

(1.0.6)

N
u
1

ut
! 2

sistema
denota a derivada normal exterior a fronteira de R (ver Figura 4.1),
N (N
L R com L , R
2) domnios, R um canal no que conecta L e R ,
0 um parmetro positivo pequeno, 0 uma constante positiva, N 1 o coeciente
de difuso do sistema, f e g so funes no-lineares satisfazendo certas propriedades de
dissipatividade que sero especicadas mais tarde.
onde
Seja 2 o segundo autovalor do Laplaciano com condio de Neumann homognea em

2 e consideremos como sendo o coeciente de difuso para o problema (1.0.6),
2
cuja existncia de padres mostramo em [14]. Usando o mesmo coeciente de difuso e
N , com N
considerando
2, tambm obtemos a existncia de padres para problema
(1.0.6) (veja [13]). Em [15], estudamos a existncia de padres para o problema (1.0.6), onde
N 1 a taxa tima de convergncia do segundo autovalor 2 do operador Laplaciano com

condio de Neumann homognea em . Em [16], estudamos a existncia de padres para o
problema (1.0.6) quando o coeciente de difuso da forma 1 , onde 0 um parmetro.
Em todos os trabalhos mencionados acima usamos a teoria de variedades invariantes para

demonstrar que a dinmica de (1.0.6) equivalente a dinmica de um sistema de duas equaes
diferenciais ordinrias na variedade invariante. A diferena destes trabalhos com os trabalhos
de Consul e Sol-Morales ([21], [22]), alm da tcnica utilizada, que os equilbrios associados
ao sistema de equaes diferenciais ordinrias, que corresponde ao padres de (1.0.6), so
assintoticamente estveis.
1.1 Objetivos da tese

Nossos objetivos nesta tese so:
1. comparar a dinmica assinttica do problema perturbado (1.0.2) e a dinmica do
problema limite (1.0.3), para isto mostraremos que os atratores A so semi-contnuos
superiormente em
vizinhana de A0 .
0, isto , a dinmica do problema (1.0.2) entra em qualquer
2. estudar a existncia de padres obtidos por uxo de concentrao na fronteira num
0 e difuso grande N
domnio tipo dumbbell para o problema (1.0.6) quando g

onde 0 um parmetro.
1,
1.2
Descrio dos resultados
1.2 Descrio dos resultados

Esta tese est organizada da seguinte maneira:
No Captulo 2, reunimos os conceitos bsicos para a elaborao desta tese tentando que
esta seja auto-contida. Damos uma breve reviso da teoria de semigrupos lineares na seo 2.1.
O problema de Cauchy abstrato visto na seo 2.2. A teoria geral de atratores vista na seo
2.3. Na seo 2.4 estudamos as equaes de reao com condies de fronteira no-lineares.
No Captulo 3, estudamos a semi-continuidade superior dos atratores para o problema
(P ) de reao-difuso com condio de fronteira homognea num domnio singularmente
perturbado do tipo Dumbbell com difusibilidade homognea. Estudamos nas sees 3.2 e
3.2 o problema perturbado e o problema limite. Logo, na seo 3.4 estudamos a comparao
dos operadores resolventes, dos semigrupos lineares e dos semigrupos no-lineares associados
a (1.0.2) e (1.0.3). Finalmente, na seo 3.5, estudamos a semi-continuidade superior de
atratores. Este Captulo foi iniciado na visita ao Departamento de Matemtica Aplicada na
Universidad Complutense de Madrid junto com o professor Jose M. Arrieta.
O captulo 4 est dedicado ao estudo da existncia de padres para o problema parablico
(4.1.1) com condies de fronteira no-linear num domnio tipo Dumbbell com o coeciente
de difuso muito grande e reao na fronteira muito pequena. Estudamos a convergncia de
autovalores e autofunes do operador Laplaciano num domnio tipo dumbbell, encontrando a
taxa tima da convergncia do segundo autovalor (sees 4.2 e 4.3). Na seo 4.4, estudamos a
equao limite para o problema perturbado (1.0.6). Mostramos teorema de trao uniforme (em
) e existncia de variedades invariantes nas sees 4.5 e 4.6 respectivamente. Finalmente, na
Seo 4.7, estudamos o padres para (1.0.6).
No captulo 5, fazemos algumas consideraes sobre os estudos feitos nesta tese e possveis
continuaes.
C APTULO
Preliminares
este captulo, apresentaremos a teoria bsica sobre semigrupos de operadores,

os resultados para problemas de evoluo de reao-difuso com condies de
fronteira no-linear e as notaes necessrias compreenso deste trabalho.
Introduziremos adequados espaos de fase e operadores para que nosso problema possa ser
escrito numa forma semilinear abstrata. Sero dadas respostas a questes sobre existncia,
unicidade, regularidade de soluo, existncia e estabilidade dos equilbrios, entre outras. Para
maiores detalhes ver Pazy [40], Henry [28], Brezis [9], Cholewa e Dlotko [19], Amann [1],
entre outros.
2.1 Operadores e Semigrupos

Operadores setoriais
X
&
Seja A : D A
X um operador linear fechado (no necessariamente limitado) num espao
de Banach X . O conjunto A dos nmeros complexos para os quais I A 1 existe e

um operador limitado chamado de conjunto resolvente de A. O operador I A 1
chamado de operador resolvente de A associado a .
O conjunto complementar A
A chamado de espectro de A. O espectro pontual
p A o conjunto de autovalores de A, isto , p A se e somente se existe 0 x D A
&
%
D
setorial se
Denio 2.1.1 Seja A : D A
x. Claramente p A um subconjunto de A .
C@A9
B
tal que Ax
X um operador linear, dizemos que A um operador
(i) A fechado e densamente denido,

7
Preliminares
SS
PQ
arg
Q
RP
, o setor
I
@
7
Sa
1ea
0 2 ,M
(ii) para algum
G
H F
est no conjunto resolvente de A e vale a seguinte estimativa

a
P U 6
U
para todo
Sa
4 F
2.1.1 Semigrupos analticos
&
T :X
X : T linear contnuo o espao dos
Sejam X um espao de Banach e L X
G
WV
operadores lineares contnuos de X em X com a norma usual

sup
d
G ec c ba
Tx : x
4"T
X X
X `
X X
x X
Tx
:x
x
sup
Denio 2.1.2 Um semigrupo analtico num espao de Banach X uma famlia de
X.
&

&
&
%
i
X : lim
p 0
T t x
t
p 0`
T t x
t
existe
X , denido por
4 a
D A
lim
&
O gerador innitesimal deste semigrupo o operador A : D A

Ax
0,
X,
para cada x
s para t s
0 , para cada x
T t x real analtica em 0
T t
E
I Identidade em L X , T t T s
ii T t x x quando t
iii t
L X , satisfazendo
fT
%
i T 0
operadores T t : t
eAt .
L X que satisfaz i e ii na denio 2.1.2 chamado de
Usualmente escrevemos T t
Uma famlia T t : t 0
%fT E
semigrupo fortemente contnuo ou C 0 -semigrupo.

Todo C 0 -semigrupo possui uma limitao exponencial que dada no seguinte
M e t
E s
P
X
X
T t
que
0 um C 0 -semigrupo, ento existem constantes e M
Teorema 2.1.1 Se T t : t
1 tais
(2.1.1)
O seguinte resultado coleta alguns fatos importantes sobre C 0 -semigrupos, sua prova
simples e pode ser encontrada em, por exemplo, Pazy [40].
8
2.1
Operadores e Semigrupos
&
T t x contnua para t
0.
X, t
1. Para qualquer x
0 um C 0 -semigrupo.
Teorema 2.1.2 Suponha que T t : t
2. Seja A o gerador innitesimal de T t , ento A densamente denido e fechado. Para

cada x D A , t T t x continuamente diferencivel e
D Am denso em X .
, onde dado pelo Teorema 2 1 1, est no resolvente A de A e

t
T t xdt
v
w
4 4
4. Para Re
m 1
3.
T t Ax
AT t x
&
d
T t x
dt
O seguinte resultado pode ser encontrado em Henry [28].
&
quando
(2.1.2)
para algum
2 .
0 : arg
Q Q
pode ser estendido analiticamente a um setor t
Ae
At

U
P U
para t
at
P U
UU
At
UU
para alguma constante C.

d
Finalmente e At
Ae
dt
Ce
UU
At
UU
a sempre que
C
e
t
at
a, isto , Re
contendo o eixo real positivo e se Re A

para t 0
A , ento
&
A e arg
e t

1
Q
Q
8 G
7
Alm disso, e
At
1
2 i
com uma curva em
At
6 x
0 , onde
:t
semigrupo analtico e
A o gerador innitesimal de um
At
Teorema 2.1.3 Se A um operador setorial, ento
0.
6 U
6
2.1.2 Potncias fracionrias de operadores setoriais

Denio 2.1.3 Suponhamos que A um operador setorial e Re A
dx
0 , D A
identidade em X .
At
Tambm denimos A como sendo a inversa de A
R A
e A0
qualquer
0. Ento para
Preliminares
O A chamado de operador potncia fracionria associado A e valem as seguintes

propriedades:
0, A fechado e densamente denido,
max
em D A ,
At A
em D A onde

E
At
4. A e
A A
"
3. A A
D A ,
&
, ento D A
2. Se
1. Se
onde D A
D A a notao para dizer que D A est continuamente imerso em
D A , isto , D A
D A e a incluso j : D A D A contnua.
&
%
i
&
2.1.3 Espaos de potncias fracionrias

0
com a norma do grco
0.

X X
aI com Re A1
A x
1
onde A1
D A
1
X um operador setorial, denamos para cada
%

&
Denio 2.1.4 Seja A : D A
Se Re A
0 como na denio 2.1.3, ento podemos suprimir a escolha de a e neste caso
X D A .
O X chamado espao de potncia fracionria associado a A.

Teorema 2.1.4 Se A um operador setorial num espao de Banach X , ento X um espao
&
XSX
de Banach com a norma

0, X 0 X e para 0, X
para
resolvente compacto, a imerso X
X compacta quando 0.
X . Se A tem
&
6 x
t
0 . Ento
D A e
10
M contnua em 0 .
L X
M t
&
At
UU
A e
6
U
UU
%
i
At
0, R e
0,
1. Se t
analtico e suponha que A
:t
0 um semigrupo
At
Teorema 2.1.5 Suponha que A um operador setorial. Ento e
2.1
Operadores e Semigrupos
1, 0
UU
U
&
6 UU
U
P
U
U
6 UU
2.1.4 Teoremas de imerses de Sobolev
MT se 0
X.
1.
Nesta seo, vamos mencionar alguns resultados sobre imerses de Sobolev.

Para m
e p 1 , consideremos o espao de Sobolev W m p , onde
&
0 para cada x
L X
M1
I A
0 quando t
At
At x
M t
4.
0, temos que t A e
L X X
3. Se
At
0 tais que,
1e
0, existem constantes M
2. Se t
um

domnio cuja fronteira Lipschitz. O nmero net smoothness caracteriza as propriedades de

suavidade (diferenciabilidade) dos elementos de W m p :
n
p
para toda f
Wm p
(2.1.3)
net smoothness f :
O leitor pode encontrar os seguintes lemas em Brezis [9].
h 2

&
&

s
Wm p
Ck
n
n
no um inteiro e k
m
, desde que seja de classe C m .
p
p
&

&
&
C .
h

s

s
W1 p
11
1
q
&
Lq
onde
lg
1q
de classe C 1 . Ento as seguintes
ij
1
p
Lq
W1 p
W1 p
(iii) Se p
m
,
n
(ii) Se p
onde
Lema 2.1.2 Seja um conjunto aberto e limitado do

imerses so compactas:
(i) Se p
1
p
L .
onde m
1
q
1 um inteiro e
pq
Lq
Wm p
1 m
0 Wm p
p n
Neste caso, tambm temos
iii Se
&
m
n

s
1
p
Lq
Wm p
gg 2
ii Se
m
n
1
p
i Se
n de classe C 1 com fronteira limitada. Sejam m

Lema 2.1.1 Seja
1 p . Ento, temos as seguintes imerses contnuas:
1
,
n
Preliminares
n p
4Vn
a menos que m
n p
se 0
k q
&
n p
a menos que m
n q q
Ck
n p
&
q F
Wm p
se m
7
Wk q
I
Wm p
e como acima. Ento as seguintes imerses
pq
contnuas valem
,1
mP
Teorema 2.1.6 Sejam k m
q F
Alm disso, se limitado as imerses acima so compactas para o caso das desigualdades
n q ou m
n p
n p
, respectivamente.
estritas, isto , m
O seguinte resultado, alm de surpreendente muito til na prtica (ver Henry [28]).
um conjunto aberto e limitado com fronteira Lipschitz, 1
n p
&
&
Observao 2.1.1 O teorema anterior pode ser lido da seguinte forma: se X 1

W m
Wm p e
. O teorema arma que X verica as
X 0 L p , ento de se esperar que X

mesmas incluses que verica W m p .
n p q
4 7
7
quando 0
n q
quando k
Wk p
W m p com incluso contnua,
X1
e A um operador setorial em X L p com D A

para algum m 1. Ento para 0 1,
Teorema 2.1.7 Seja
2.2 Problema de Cauchy abstrato

Muitos problemas de valor de fronteira originados nas cincias aplicadas podem ser
considerados como equaes de evoluo abstratas com operador setorial na parte principal.
2.2.1 Equao de evoluo com operador setorial

Consideremos a seguinte equao abstrata
u0
(2.2.1)

u0
F u

Au
onde u uma funo de (um subconjunto de)

num espao de Banach X , u denota sua
derivada com respeito ao tempo (como uma funo que toma valores num espao de Banach),
A:D A
X X um operador linear com domnio D A denso, e F : E X um operador
&
12
&
%i
no-linear, com E um espao de Banach entre D A e X .
2.2
Problema de Cauchy abstrato
X um operador setorial com resolvente

:t
1
P
qp
% T
GH"
1, F : X
Denio 2.2.1 Sejam X um espao de Banach,
0 1 e u0

g
X . Se para algum
0, a
u0 ,
C1 0 X ,
g

para todo t
0 ,

!
iv a equao (2.2.1) satisfeita em X para todo t
0 ,
2
DA
iii u t

ii u
i u0
2
C 0 X satisfaz
X Lipschitz contnua em
funo u
0 analtico no espao X .
6 x
Suponhamos tambm que, para algum 0

conjuntos limitados de X .
&
At
%
r
compacto. Com isto, A gerador de um semigrupo e

Suponhamos que Re A
Re : A
0.
&
Vamos supor que o operador linear A : D A
ento u chamada de soluo local de (2.2.1).

A funo u que satisfaz a denio 2.2.1 tambm chamada de soluo forte de (2.2.1).
2.2.2 Existncia local de solues

O seguinte resultado garante existncia de soluo local do problema (2.2.1).
&
Teorema 2.2.1 Sejam X um espao de Banach, A : D A

X X um operador setorial, Re
A
a 0 e, para algum 0 1 , F : X X Lipschitz contnua em conjuntos limitados
de X . Ento para cada u0 X , existe uma soluo local u t u0 de (2.2.1) denida no seu
(

3

"
UU
U
U
r 0
tu
&
ou se u0
%C
intervalo maximal de existncia 0 u0 o qual signica que u0

lim sup u t u0 X
.
ento
Demonstrao. Para os detalhes da demonstrao o leitor pode consultar Cholewa e Dlotko

[19].
Como uma consequncia das imerses dos espaos de potncias fracionrias (ver Teorema
2.1.4), se F : X X Lipschitz contnua em conjuntos limitados de X , ento F possui
esta propriedade como uma aplicao de X em X para cada 1. Isto nos permite
&
1 arbitrrio.

extender muitos resultados de solues em X para os espaos X com

Em particular o seguinte resultado vlido
Corolrio 2.2.1 Sejam A e F como no Teorema 2 2 1. Para

1 , u 0 X , existe uma
nica soluo u t u0 em X de (2.2.1) denida no seu intervalo maximal de existncia 0 u0 .

4 4
13
Preliminares
2.2.3 Frmula da variao das constantes

Lema 2.2.1 (Frmula integral de Cauchy) Sejam A e F como no Teorema 2 2 1 e u
C 0 X . Ento u uma soluo local de (2.2.1) se e, somente se, u satisfaz em X a
4 4
g
equao integral
t
v2
u0
At s
F u s ds
g 6 6
At
para t
(2.2.2)
4

ut
Demonstrao. O leitor poder ver a demonstrao em Cholewa e Dlotko [19].

C 0 X que satisfaz (2.2.2) chamada se soluo fraca de (2.2.1).
g

A funo u
Observe que no necessrio falar de solues fracas e fortes do problema (2.2.1), j que
no Lema 2.2.1 com condies mnimas, as solues fracas tornam-se solues fortes. Com
isto, de aqui em diante falaremos s de soluo para o problema (2.2.1).
Corolrio 2.2.2 Sejam A e F como no Teorema 2 2 1 e u C 0 X . Se u satisfaz em X
a equao integral (2.2.2), ento u C 0 X 1 , u C 0 X , 0 1 .
2
g

g
4 4

g
O seguinte resultado mostra que as solues de (2.2.1) que comeam num conjunto limitado
0 (ver Cholewa e
Proposio 2.2.1 Sejam A e F como no Teorema 2 2 1. Para qualquer conjunto limitado B

B, existem e so
u t chamada de soluo global de (2.2.1), se esta cumpre
os requisitos da Denio 2 2 1 com
Denio 2.2.2 Uma funo u

4 4
X , existe um tempo B 0 tal que as solues u t u0 de (2.2.1), com u0

limitadas uniformemente em X para t 0 B .
B existem e permanecem em B pelo menos at algum tempo positivo B

Dlotko [19]).
4 4
De acordo com o resultado local de existncia do Teorema 2.2.1 para a prova da solubilidade
global de (2.2.1) suciente mostrar que a norma u t u0 X no explode num tempo nito
UU
U
U
U
U
lim sup u t u0
UU
T , isto ,
Temos existncia global de solues do problema (2.2.1) se, por exemplo, o termo nolinear F satisfaz a seguinte restrio de crescimento sub-linear:
X
u
X X
v
14
para v
C 1
X e C
F v
(2.2.3)
2.3
Atratores: Teoria geral
2.2.4 Gerao de semigrupos no-lineares

Suponhamos F : X X globalmente Lipschitz, limitada e continuamente diferencivel. Sob
estas hipteses, as solues de (2.2.1), esto globalmente denidas em X .
&
Se u t u0 a soluo global de (2.2.1) ento podemos denir uma famlia de operadores

no-lineares T t : t 0 (T t : X X ) via a seguinte relao
&
T t u0 : u t u0 com t
(2.2.4)

satisfazendo as seguintes propriedades
A t t0
v2 6 6
At s
F T s u0 ds
6 6
T t u0
dado pela frmula de variao das constantes
sabido (ver Lema 2.2.1) que T
(2.2.5)
associado a (2.2.1).
X contnua.
T t x
0 chamada de C 0 -semigrupo no-linear (ou sistema dinmico)
A famlia T t : t
t x
iii a aplicao
0,
T t T s t s
"
v
#
E

"
ii T t
I,
&
i T 0
2.3 Atratores: Teoria geral

X t
&
E
Para cada u0
X , a rbita positiva
u0 por u0 denida como
X tal que 0
X tal que 0
&'#
wP P
Uma rbita completa de u0 uma funo :

,T t s
t s para t 0.
x
w"
Uma rbita negativa por u0 uma funo contnua :

para qualquer s 0, T t s
t s para 0 t
s.
&
T t u0 : t
u0
'h
4y
seo anterior.
0 o semigrupo no-linear associado ao problema (2.2.1) como na
Seja T t : X
u0 e,
u0 e, para qualquer
Como a imagem de T t no todo X , para dizer que existe uma rbita negativa ou
completa de u0 , devemos impor restries em u0 . Tambm, como T t , em geral, no um
a um, no necessrio que uma rbita negativa seja nica, se esta existe. Denimos a rbita
15
Preliminares
negativa por u0 como a unio de todas as rbitas negativas por u0 . Ento
X : existe uma rbita negativa por u0 denida por
6

Uma rbita completa u0 por u0 denida como u0
y
|C h
u0 B
u0 ,
denimos
u0
u0 .
Y
Y
|C
y
} 6
y
6
Vh " 6 {
$
qualquer B
X,
u0 B
u0 , B
u0 B
Para
u0 ,
u0 e
X com 0
"
4zy
&
H t u0
t 0
H t u0
u0
respectivamente, a rbita positiva, a rbita negativa, a rbita completa por B quando estas
X , denimos o conjunto -limite e o conjunto -limite de B como
t "
H t B
s 0t s
X dito que atrai um conjunto C sob T t , se
0 quando t
&
&
dist T t C B
t "
s 0t s
Denio 2.3.1 Um conjunto B
T t B
4
~
existem.
Para qualquer B
onde dist denota a semi-distncia de Hausdorff em X denida como
a Ab B
sup inf a
dist A B
Observao 2.3.1 Observe que esta semi-distncia pode ser denida num espao mtrico
X d de maneira anloga, i.e.,
sup inf d a b
a Ab B
4

dist A B
Um conjunto S X dito invariante se, para cada u0 S, existe uma rbita completa por u0
tal que u0
S ou equivalentemente se T t S S para t 0.
%
i
Denio 2.3.2 Seja T t : X X , t 0 o C 0 -semigrupo no-linear associado a (2.2.1).

Dizemos que T t : t 0 assintoticamente compacto se, para qualquer B X limitado,
fechado e no vazio para o qual T t B B, existe um conjunto compacto J B tal que J atrai
&
B.
Denio 2.3.3 O semigrupo T t : t 0 dito ponto dissipativo limitado dissipativo

se existe um conjunto limitado B X que atrai todo ponto de X cada conjunto limitado de
16
X sob T t .
X dito de atrator global para T t : t
a (2.2.1) se satisfaz as seguintes condies:
Denio 2.3.4 Um conjunto A
{T
2.3
associado
(i) A compacto
A
0 quando t
&
&
(iii) dist T t C A
, para todo conjunto limitado C
(ii) T t A
X.
Um atrator global encontra-se dentro de um conjunto atraente B, em geral, muito menor que
B e descreve o comportamento assinttico das solues de uma maneira mais precisa.
Analisemos brevemente as trs propriedades da denio de atrator global. O item (i)
signica que o atrator completo, isto , podemos extrair subsequncias convergentes de cada
sequncia em A . Isto realmente forte e interessante, j que A um subconjunto de um
espao de dimenso innita. O item (iii) signica que todo o comportamento assinttico do
sistema acontece perto de A e no s dentro de B como na propriedade de atrao. Finalmente,
o item (ii) determinante, j que diz que toda a dinmica sobre o atrator A invariante, i.e.,
A trabalha como um objeto dinmico independente.
Da denio de atrator global claro que todo o comportamento assinttico do sistema
acontece perto deste conjunto, mas esta dinmica pode ser extremamente complexa, inclusive
totalmente catica. Assim, toda a informao sobre a estrutura geomtrica dos atratores chega a
ser crucial junto com as propriedades de estabilidade e instabilidade de subconjuntos especiais
do mesmo.
Por outro lado, o atrator, devido a propriedade de invarincia, possui sua prpria dinmica,
isto , podemos denir com sucesso o semigrupo (sistema dinmico) sobre o atrator A ,
TA t : T t A : A A . Aqui cabe a seguinte pergunta: existe alguma relao entre T t
&

e TA t ? A resposta positiva e suas consequncias so muito importantes j que, em muitos

casos, podemos simplicar a anlise do comportamento assinttico do sistema estudando s
em A . Este fato importante, j que, em nosso caso, a dinmica evoluciona num espao de
dimenso innita.
2.3.1 Existncia de atrator global

O seguinte resultado da condies sucientes para a existncia de atrator global (ver Hale [26],
Teorema 3.4.6).
Teorema 2.3.1 Se T t : t
0 um C 0 -semigrupo num espao mtrico X que
assintoticamente liso, ponto dissipativo e as rbitas de conjuntos limitado so limitadas, ento
existe um atrator global A para T t : t 0 .
Vamos mostrar que as condies impostas para A e F em (2.2.1) so sucientes para garantir
0 tenha um atrator global. Comearemos com alguns lemas bsicos
que T t : t
17
Preliminares
&
B compacto para qualquer t
Ch
B tais
B limitado e
X , u0 no-vazio, conexo, compacto, invariante e atrai
Lema 2.3.4 Para qualquer u0

u0 .
0.
T t
X , o conjunto
e vn
Vh
Lema 2.3.3 Para qualquer conjunto limitado B
&
B se, e somente se, existem sequncias t n
v.
S, ento existe uma rbita
que T tn vn
Lema 2.3.2 Um ponto v
completa por v.
0 e v
X invariante sob T t : t
Lema 2.3.1 Se S
Lema 2.3.5 A rbita de qualquer conjunto limitado B X limitada e, para cada conjunto
limitado B X , existe um instante B e uma constante N independente de B tais que
N
(2.3.1)
X X
w
sup sup
t B w T t B
Alm disso,
X X
w
sup
v B
(2.3.2)
sup
B X
B limitado
Lema 2.3.6 Se B X um conjunto limitado, ento B no-vazio, compacto, invariante

e atrai B sob T t : t 0 . Alm disso, se B conexo ento B conexo.
X X
Teorema 2.3.2 Se BN
u X : u X N , ento BN o atrator global para o
semigrupo T t : t 0 associado a (2.2.1).
2.3.2 Solues de equilbrio

Agora vamos entender a estrutura do atrator para (2.2.1). Comearemos com os elementos do
atrator os quais so mais bvios, as solues de equilbrio (pontos xos de T t ).
Denio 2.3.5 As solues de equilbrios de (2.2.1) so aquelas solues as quais so

independentes do tempo, isto , as solues de
0
(2.3.3)
"
Denio 2.3.6 Dizemos que uma soluo u de (2.3.3) hiperblica, se A

: Re
I
@
G
gpg
18
DT
F u
0.
/
disjunto do eixo imaginrio, isto , A
F u

gpg
F u
Au
2.3
L X X e portanto

pg e
pg e
e setorial com resolvente compacto.
F u , o operador F u
A est denido em D A
Seja A
Denotemos por a parte do espectro de A que est a direita do eixo imaginrio. Este
consiste de um nmero nito de autovalores com multiplicidade nita. Se decompomos X
usando a projeo Q denida por , temos que existe 0 tal que
(2.3.4)
0
E
(2.3.5)
Mt
UU
UU
L X X
UU
Q
Me t
L X
eAt I
eAt Q
UU
Proposio 2.3.1 Suponhamos que todos os pontos de equilbrios (2.2.1) so hiperblicos.

Ento, existe um nmero nito destes.
&
Demonstrao. Primeiro observemos que, como f : X

solues de (2.2.1) satisfazem
u
A 1f u
X limitada, temos que todas as
X X
e portanto u X 1
f u X M. Como (2.2.1) tem um atrator global, temos que (2.3.3) tem
ao menos uma soluo (ver [26], Teorema 3.4.7). Como A tem resolvente compacto, temos
que o conjunto E
u : Au f u
0 compacto em X . Se mostrarmos que toda soluo
(2.3.3) isolada, ento existe um nmero nito destas. Para mostrar isto, observamos que
qualquer u E uma soluo de (2.3.3), se e, somente se, esta ponto xo de
GH
f u
f u
f u u
9 6 g g
4
g
Vamos mostrar que : X X uma contrao numa bola fechada pequena B X

centrada em u . Neste caso, u o nico elemento de E em B e u isolado. Para ver isto
&
P
P
Como f continuamente diferencivel, existe uma bola fechada pequena B

u tal que
L X X
1 F
f u
X ao redor de
z B
M sup f z
L X X
f u
sv
F

pg 9 e
X
X
gpg 9 e

X
pg 9 9

M f su
f u u v X
sv
f u
u v
M f u
f v
M f su 1
observe que
Nesta bola tem um nico ponto xo, concluindo assim a demonstrao.

Em seguida vamos mostrar que existem muitas outras solues alm das solues
estacionrias (de equilbrio). fcil de ver que toda soluo de (2.2.1) permanece limitada
19
Preliminares
. Se mostrarmos que uma soluo u
u t u0
X , sto , supt
u0
para qualquer u0
est denida em , toma valores em

e est limitada, ento esta est no atrator A . Ento
suciente mostrar que uma soluo est denida e limitada
para obter uma soluo no
atractor.
6 #
quando t
4zy
0eu t
&
X : u t est denida para todo t
&

g

Wu u
E . Ento o conjunto instvel de u denido como sendo
Denio 2.3.7 Seja u
q g
x
Antes de dar maiores detalhes de como construir W u u ao menos numa vizinhana de

u , olhemos por um momento o problema linear. Se consideramos a mudana de variveis
pg
u no problema (2.2.1), somando e substraindo f u v no lado direito, obtemos
v0
f u
f u v
(2.3.6)
u0
v0
f v
9g

f u
Av
9pg
gpg e
onde A

pg e

pg e
. Nesta equao, para v0 muito pequeno, a parte no linear muito
pequena. Ento natural considerar que acontece quando desprezamos a no-linearidade, isto
, que acontece com a equao
Av
(2.3.7)
v0
v0
Se Q a projeo denida pelo espectro de A que est no lado direito do eixo imaginrio, temos
que, para v0 QX , a soluo v t v0 de (2.3.7) existe para todo tempo negativo e v t v0 0
&
&
&
&
quando t
e v u u quando t
. Isso serve como inspirao ao que queremos
fazer. Quando perturbamos (2.3.7) com uma no-linearidade muito pequena, devemos observar
solues de (2.3.6) que existem para todo tempo negativo. Naturalmente os dados iniciais pelos
quais tais solues existem no estaro mais em QX , mas estaro numa variedade no-linear
perto destas.
Proposio 2.3.2 Suponhamos que u um equilbrio hiperblico para (2.2.1). Pela
proposio 2 3 1, u uma soluo isolada (2.3.3). Ento, existem uma vizinhana U de
Q U , tais que a variedade instvel local W u u
T
G
20
Qu h Qu : u
4 4
u em X e uma funo h : QU I
por
u
W u
w Wu u
dada

g
&
G
H" g
2.3
z S
Figura 2.1: Variedade invariante
f u
f u w
9 g
9 g
(2.3.8)
f w
Aw
u , para lidar com a vizinhana de u
chegamos em
Demonstrao. Reescrevendo (2.2.1) com w
Agora vamos decompor a equao (2.3.8) no seguinte modo. Se w uma soluo para
(2.3.8), escrevemos v Qw e z w v. Portanto, se B denota a restrio de A em QX e por A
a restrio de A em I Q X , temos que

Qf u
9 g
Qf u
9 g
Qf v
Bv
e
Qf u
z e
Q f u
9 g
9 g
Q f u
Q f u
9g

Qf u
9pg
Q f v
Q f u
pg

Qf v
Gvz
9 g
Q f v
9 g
Escrevemos H v z
Az
4

zt
R

Portanto, temos que, em 0 0 , H e G so identicamente zero com derivadas nulas. Como H e G

z
X X
21
9
9
P
X

Gvz

4

Gvz
X X
so continuamente diferenciveis, temos que, dados 0 e 0 tais que, se v

, temos
H vz X
Gvz X
H v z H v z X v v X

z z X
(2.3.9)
Preliminares
Podemos estender H, G fora da bola B u

I
X.

de tal modo que as limitaes (2.3.9) valham
pg
para todo v
QX ,
Observao 2.3.2 O procedimento para estender uma funo g, denida na bola de raio 1 n,
de tal modo que esta se transforme numa funo globalmente Lipschitz continua, sem mudar
sua constante de Lipschitz, o seguinte: Dada uma funo g : V Z W , V Z e W espaos de
Banach, dena
&
X
X X
n v

n v
1
n
X
v

gn v z
gvz
1
n
As constantes de Lipschitz para gn so as constantes de Lipschitz para g quando restringida

bola B 1 . Isto ,
n
v1
v2
QQ
t
Lg n
z1
Q
QQ Q
g n v 2 z2
z2
u Q
Q
P QQ
S
g n v 1 z1
9
QQ
e Lgn a constante de Lipschitz para g na bola de raio 1 n.

Este procedimento aplicado a H e G para obter as extenses desejadas para H e G.
Com a notao acima, a equao (2.3.8) pode ser reescrita da seguinte forma
(2.3.10)
X X
t
0
X X
Mt
Me t v
X X
e t
X
X
eBt v
Q X.
eAt z
Me
eAt z
QX , z
b
com v QX , z I Q X , onde H, G satisfazem (2.3.9) para todo v

Tambm, para alguma constante positiva M ,
Gvz
Az
H vz
Bv

X
X
Aqui, notamos que QX e QX so os mesmos subespaos de X e que a norma em X

equivalente em X neste subespaos. Agora vamos mostrar que, para 0 convenientemente

g
H
G
QX
Q X limitada e Lipschitz contnua.
22
&
onde S : QX
v z :z
Wu
pequeno, existe uma variedade instvel para u
2.3
Observamos que estamos olhando para uma funo S tal que, se X
S ento
a soluo de (2.3.10), comeando em v
, z
S , permanece no grco de S
para todo tempo positivo e negativo. Isto signica que z t
S v t para todo t e que
(2.3.10) pode ser reescrita como
4g g

g Sg

(2.3.11)
GvS v
e em particular esta deve permanecer
Gvs S vs
ds
Gvs S vs
ds

6
gg g
t0
eA t
&
g Sg

z t0
t0
eA t
v 6
g

zt
Az
v
H vS v
deve ir a zero quando t
limitada. Como
, temos que
g g
v
6
eA
Gvs S vs

6
" g
gg g
v rg g
6
em particular
eA t

6
vt
gg g
zt
&
fazendo t0
Bv

g g
A soluo v t z t
ds
indicando o caminho para provar a existncia de S .
Para mostrar a existncia de tal funo em S , usaremos o princpio de contrao de

Banach. Para D 0, 0, 0 1 dados, seja 0 tal que
Q X satisfazendo
S v
S v
X

S v
sup
v QX
QX
&
P
P
X
Q
(2.3.12)
t S soluo de
H vS v

g
23
for t
Bv
dv
dt

X
Q
Seja v t
M2 1 1 1
M 1
2
M 1
1 1
M 1
M 1
Seja S : QX
(2.3.13)
Preliminares
ds
6 6
ds
(2.3.14)
v P
6
Gvs S vs
(2.3.15)
4

v "
6

6
Observe que
eA
gg
e denamos
Da escolha de temos que, S

D. Logo, suponhamos que S e S so funes
X
t S , vt
t S .
satisfazendo (2.3.12), QX e denotemos v t
H v S v
ds
hg
H vS v
t s

6
9g
eB

Com alguns clculos simples e standard, obtemos
ds
QX
ds
t s
ds
ds
M S
ds
QX
6
X
QX
Ento,
M 1
ds S
s ds
QX
vg
X
X 6 6
QX
e t s v
QX .
vt
QX ds
QX
S v
H vS v
M 1
t s
t s
S v
S v
6
X
6
v
6
X
v
X r 6
6
X
r 6 6 v
X 6
t s
QX
QX
X 6
e
t
Me t
t
Me t
S v
vt
H v S v
QX
t s
t
Me t
X 6
QX
Seja t
9g
Me
Me
QX
vt
vt
P
!
Pela desigualdade de Gronwall
4
6 h
k
6 XQ
6
ds S
Q 6
24
t s
X
X
QX
QX e
i
P
i P
QX
M 1 t
vt
M 1 t
6 h
vt
eB
vt
vt
Ento,
2.3
Assim,
6 d
dv
(2.3.16)
1
du
(2.3.17)

X
X 6

P
X
4 Q
X
e I
4 6
Q
0 , IS
QX

P
X
6 6
v
6
X
P
1, existe 0 tal que, para
M 1
M 1
M 1
S
M 1
1 QX
6 h
4

M2 1
M2 1
6 g
h
6
6 6
M 1
e
fcil ver que, dado
M 1
M 1
I
ds
obtemos
Sejam
IS
e M
6 d
QX ,
u v
du
Usando as estimativas para v
u s
ds
0
1
QX
ds
u s
ds
QX
1 s
S v
S v
X ds
G v S v
GvS v
v
6
e M
i 6 6
X 6 6
6
v
k
Q

X
X
X
X

9
X
X
X
9g 6 6
Observe que
(2.3.18)
As desigualdades (2.3.15) e (2.3.18) implicam que uma contrao da classe de funes

que satisfazem (2.3.12) em si mesmo. Portanto, esta tem um nico ponto xo S
S
nesta classe.
v S v : v QX uma variedade invariante para (2.3.10).

v0 . Denote por v t a soluo do seguinte problema de valor
v

g g
25
v0
"
H vS
v0

g g
Bv
H
G
dv
dt

'
inicial
pg
Resta mostrar que W u

Seja v0 z0
W u , z0 S
Preliminares

"gg g Sg
G v s S v s ds
S v t
&
eA t
4
g g g

g 6
g g g
Gv t S v t
g

z t
. Mas a nica soluo de

gg g g

Sg
a qual permanece limitada quando t
Az
v r g
6
uma soluo de (2.3.10) por v0 z0 e a invarincia provada.
Portanto, v t S v t
Isto dene uma curva v t S v t
gg Sg g
g

2.3.3 Estrutura gradiente

Em seguida vamos assumir que o problema (2.2.1) tem estrutura gradiente.
#
&
no-crescente,
"
X : V T t u0
V u0
u0
s

G
H'T
f u
&
X : Au

i
v h #
ii E
V T t u0
0 gradiente se existe uma funo
Denio 2.3.8 Dizemos que o semigrupo T t : t

tais que
contnua V : X
H
G
A funo V na Denio 2.3.8 chamada de funo de Liapunov para T t : t 0 . A idia

de funo de Liapunov muito usada para estudar o comportamento assinttico de solues de
equaes de evoluo.
Proposio 2.3.3 Seja T t : t 0 assintoticamente compacto em X , suponhamos que
T t : t 0 gradiente e que para cada v X , a rbita v limitada em X . Ento para
cada v X , o conjunto -limite v est dentro do conjunto E . Se alm disso, o conjunto
Vh
0 ponto dissipativo em X .
E limitado em X , ento T t : t
O seguinte resultado uma consequncia imediata da proposio anterior.

Corolrio 2.3.1 Seja T t : t 0 um C 0 -semigrupo assintoticamente compacto em X e
suponhamos que a rbita de todo conjunto limitado limitada. Alm disso, suponhamos que
o conjunto dos pontos de equilbrio de T t : t 0 est num conjunto limitado de X . Se
0 tem um atrator global.
0 gradiente, ento T t : t
T t :t
2.3.4 Caracterizao do atrator global

u quando t
26
&
E . Como uma consequncia disto concluimos que T t u0
X , u0
g
algum u
0 gradiente, ento para qualquer u0
&
T G
g R
Lema 2.3.7 Se T t : t
para
2.3
&
u0 ento existe uma sequncia tn tal que

T tn u0 v. Como V T t u0 decrescente e limitada por baixo, temos que existe um
tal que V T t u0
quando t . fcil ver que V T t v
para todo t
. Disto, segue
que v E . Como o conjunto E consiste s de um nmero nito de pontos e como u 0
conexo, ento u0
u para algum u
E.

f
Demonstrao. Primeiro note que se v
&
g
&
T G
g H"
&
O prximo resultado implica que se existe uma rbita negativa por u 0 que limitada, ento
u0 est na variedade instvel de algum u
E.

g
&
tal que
tn
u . Como uma consequncia disto, concluimos
T
g Gwi
&
"
G
Ento, existe um u
E tal que u0
que t u quando t
.
tn
&
X :
4
T
u 0
0 compacto. Denamos
por u0 e tal que
X tal que, existe uma rbita negativa :
&
Lema 2.3.8 Suponhamos que u0

Dg
&
&
u0 ento existe uma sequncia tn tal que

tn v. Como V t crescente e limitada por cima, temos que existe um r
tal
que V t
r quando t . fcil ver que V T t v
r para todo t
. Disto segue
que v E . Como o conjunto E consiste s de um nmero nito de pontos e como u0
conexo, temos que u0
u para algum u
E . Alm disso, para qualquer sequncia
tn , tn tem uma subsequncia a qual converge para u e portanto t u quando
t
.
&

Dg
Ws v
T G
g i
ev
0 . Se v
S,
&
g
Wu v
&
T
p
h
v #
E tais que v
&
&
&
&
Lema 2.3.9 Seja S um subconjunto relativamente compacto de X sob T t : t

6 h
ento existem v
Demonstrao. Primeiro notemos que se v
t
T t v S
Demonstrao. Se v S, como S invariante, existe uma rbita completa
por v. Como S compacto, esta rbita completa compacta. O resultado agora segue dos
lemas prvios.
Deste lema segue o seguinte resultado.
27
W u u , onde u
E
hiperblico
0 . Ento A
Teorema 2.3.3 Seja A o atrator para T t : t
Preliminares
2.4 Equaes de reao-difuso com condies de fronteira nolineares

2.4.1 Formulao semilinear
Nesta seo, introduziremos alguns espaos de funes e operadores para que o problema
(2.4.1) possa ser escrito numa forma semilinear abstrata e possamos utilizar a frmula de
N um domnio limitado com fronteira suave e

variao das constantes. Seja
consideremos o seguinte problema de evoluo de reao-difuso com condies no-lineares
na fronteira
ut u f u
em t x
0

gu

u0x
!
!
em
t x
u0 x
(2.4.1)
#H'#
&
so funes no-lineares com um certo grau de regularidade que precisaremos

onde f g :
mais adiante. Denotamos por f u
f u t x , com x , g u
g u t x , com x ,
u:
, com 0 t , onde u a derivada normal exterior e a condio inicial
g
g
&
#
supomos que conhecida.
O problema parablico no-linear (2.4.1) representa o modelo de evoluo no tempo da

concentrao u de uma determinada substncia num recipiente, a qual est exposta aos efeitos
de reaes, representadas pelas funes f e g, no-lineares tanto no domnio como na
fronteira do domnio e de uma difuso homognea.
Quando f 0 (ou g 0), fcil de comprovar que os zeros da funo g (ou os zeros
da funo f ) so solues de equilbrio constantes para o problema (2.4.1). A existncia de
solues de equilbrios estveis no-constantes para o problema (2.4.1), com N 2, um
fenmeno importante, chamado de morfogneses ou formao de padres.
Agora consideremos os espaos de Sobolev standard H 1 e H 1 2 , onde : . O

smbolo
sempre representara a norma em L2 . Seja 0 s 1 e denotemos por H s
(H s ) o espao dual de H s (H s ). Observe que este smbolo geralmente usado para
XrX
s
denotar o espao dual de H0 . Entretanto, esta notao no d confuso. Denotaremos por
ss (
H s H s ), o produto de dualidade entre estes espaos . Em particular, o produto
F r
F 6

escalar em L2 ser denotado por

. Se no h possvel confuso, ns no indicaremos
se os espaos produtos ou produtos de dualidade so referidos s funes em ou . Quando
necessrio, escreveremos
para diferenciar ambos casos.
e
28
1 2. Alm disso, para uma funo dada
, para
, identicamos seu trao,

f
Hs
1 2
Denotaremos por , o operador trao denido em H s com valores em H s
&
2
HN ,
uv
u v
u v
s
v
u v
u v

x
jq
"
uv
&
u v
v
s"
uv dx
u v
H1 e v
u v
Observe que para u
2
HN e u a forma linear contnua
2
HN
u
%

2
u : HN
def

&
0 em
&
H 2 : u
: L2
u
&
onde D A0
denida por
L2
e A
u u
(2.4.2)
&
%
6
%i

1 2
H1

hg
F 6
L2
, tal que para cada
def
Consideremos os seguintes operadores lineares

2
A0 : HN
%i 6
L2
1 2
isto , usamos as imerses H s
def
11

i
1 2

%i 6
, com a forma linear
1 2
Hs
Equaes de reao-difuso com condies de fronteira no-lineares
2.4
onde u um funcional linear contnuo denido por
#
uv
Na verdade o funcional linear u a restrio do funcional u ao espao H 1 , isto , u

u H 1 . Agora denamos o operador
u v
11
Au v
1 1.

6
uv dx
F 6
uv
: H1
1 H1
&
&
Observe que u v

F 6
4
6
uv
&
4

&
u : H 1
s"

Agora, seja u uma soluo forte de (2.4.1). Em particular, u t

H 2 e ut t
L2 .
Consideremos v H 1 . Usando a frmula de Green, do problema (2.4.1), obtemos
u v dx
v2
Usando os produtos de dualidades entre os espaos H 1
hg
29
g u v d
(2.4.3)
e H 1 , a equao (2.4.3) pode
f u
v2
uv dx
u v
ut v dx
Preliminares
ser escrita como
uv
F 6
f u
F 6
11
11
g u
g

Au v
F 6
11
(2.4.4)
ut v
Usando a equao (2.4.2), temos que
g u v d
s
v
g u v d
gu

g
F 6
g u v
11
(2.4.5)

e portanto, usando a equao (2.4.5) em (2.4.4), temos
F 6
Au v
11
f u
uv
F 6
11
4 F 6 g

F 6
ut v
gu
11
(2.4.6)
11
Portanto, podemos escrever o problema (2.4.1) na forma abstrata
&
6
(2.4.1) se satisfaz
gu .
H 1 uma soluo local de
&
Denio 2.4.1 (Soluo local) Uma funo u : 0 T
f u
dado por F u
(2.4.7)
H1
e F : H1
u0

1 H1
u0
F u
Au
onde A
ut
i u contnua em 0 T .
C1 0 T H
g 6 g

0T .
0.
onde T um nmero real positivo T
iii u satisfaz (2.4.3) para t

ii u
Antes de continuarmos vamos enunciar um resultado bem conhecido com relao ao operador
A0 ( ver [17], Proposio 2.1).
Proposio 2.4.1 O operador A0 denido acima positivo, auto-adjunto e tem resolvente
compacto em L2 . Em particular, este um operador setorial em L2 e seus espaos
30

.
L2

H1
X0
1 2
hg
def
H1
0 e em particular
H

6
X1
onde H
D A0
X1
H 2 , para
de potncias fracionrias vericam X
2.4
Para resolver problemas com condies de fronteira no-homogneas, natural considerar

1
denidas como
1 2
. Ento, podemos escrever de uma
F 6
L2 e g
11
para cada H 1 , onde f

def
maneira curta F
f g .
uma classe especial de elementos F
2.4.2 Existncia local de soluo

Suponhamos que L um operador setorial num espao de Hilbert X . Podemos denir as
potncias fracionrias L de L e os espaos de potncias fracionrias X : D L , dotado
com a norma do grco,

,X
X para 0. Ainda mais, L setorial em X com
domnio X 1 para qualquer . Para maiores detalhes ver ( [1], [28]).
A prova deste resultado encontra-se em [17], Teorema 3.1.

Teorema 2.4.1 Suponha que F : X
X localmente Lipschitz e limitada em conjuntos
limitados, onde 0 1. Ento, o problema parablico abstrato
&
Lu
F u
ut

u0
u0
(2.4.8)
tem uma nica soluo denida localmente, dada pela Frmula da Variao das Constantes
denota o semigrupo analtico gerado por

C 0 T X

g

g
ut
C 0 T X
1, e a equao satisfeita em X . Ainda mais, ou a soluo est denida

0 ou explode em tempo nito na norma X .
1
d
para todo
para todo t
C 0 T X
L. Alm disso, u verica

h
F u s ds
Lt s

g

u0
Lt
Lt
g 6 6
onde e
ut
Vamos aplicar este resultado ao operador A, introduzido na seo anterior, e para isto,
consideramos aplicaes no-lineares da forma
1 2
para algum
g u
31

&
L2 e g : X
&
onde f : X
f u

F u :
0. Observe que F age em
Preliminares
1 2, da seguinte maneira
g u

f u

F u
H r para r
funes testes

Dependendo de propriedades extras de regularidade a funo g , podemos ter
0e
0. Lembremos que para ter resultados abstratos
para uma escolha adequada de

precisamos ter 0 1.
&
F : X
Por outro lado, como queremos levar em considerao termos no-homogneos na

fronteira, isto , o caso g 0, isto implica que 0. Caso contrrio, sempre podemos tomar
0. Como estamos interessados em ler a equao em H 1 , ento necessitamos que
1 2 0.
Tambm, obtendo estimativas de energia na soluo, estamos interessados em ter suciente
regularidade para obtermos u ut H 1 , para t 0 e para isto precisamos de acordo com o

Teorema 2.4.1, que 1 1 2 e ento
1 2.
s
Por outro lado, se queremos que o termo no-linear g u dependa dos valores de u em ,
ento devemos ter 1 4 para que o trao esteja bem denido; caso contrrio, podemos
tomar 0. Como ns queremos ter dados iniciais pelo menos em H 1 , devemos requerer
que 1 2.
Finalmente, observe que no caso de termos no-nulos na fronteira, h outra limitao

superior natural para e . Alis, 3 4, desde que para 3 4 o espao X incorpora
a condio de fronteira u 0. Tambm, do resultado de regularidade no Teorema 2.4.1,
0, 0
7
8

Ento temos o seguinte teorema.
w
0, temos o caso standard
1 2
7
1 4
1.
1 4
0, ento
1 4.
3 4
enquanto que, se g
Resumindo, se g
3 4, isto, ,
devemos ter
Teorema 2.4.2 Suponhamos que f , g , e so como acima e

X
localmente Lipschitz e limitada em conjuntos limitados. Ento, para cada u 0

32
&
F : X
X , existe
2.4
uma nica soluo denida localmente de
C 0 T X para cada
f u
v
2
ut
g u

g
v
s"

g
2
v

h
C 0 T X
F u s ds
A t s
ut

g

1e
(2.4.10)
H 1 . Em particular, temos
(2.4.11)
em
0 ou explode em tempo nito na norma X .
e a soluo denida para todo t
em
f u
gu
ut

para cada
C 0 T X
u0
a qual verica u
At
g 6 6
(2.4.9)
u0
dada por
ut
u0
F u
Au
ut
Se as no linearidades f e g satisfazem a seguinte condio de crescimento

cu
v 1
PS
Q
9 Q
(G)
f g com expoentes f e g respectivamente, tais que
2
2
N
N
N
N
onde j
j v
u 6 Q 6 Q tQ
Q
Q
j u
(2.4.12)
ento as hipteses do Teorema 2.4.2 esto satisfeitas e portanto temos existncia local de
soluo.
2.4.3 Existncia global de soluo

H 1 , tomando f g :
# &
('#
Como vimos na seo anterior, se X
funes localmente
Lipschitzianas, temos existncia local de soluo para o problema (2.4.1).

Suponhamos que existem B0 , C0
e B1 C1 0 tais que as seguintes desigualdades
C0 u2
B 0 u2
C1 u
B1 u
Q Q

Q Q
P
I
P
#

para u
uf u
ug u
(S)
Teorema 2.4.3 Suponhamos que f e g satisfazem a condio de crescimento (G) e as

33
Preliminares
H 1 , a soluo de (2.4.1)
condies de sinal (S) sejam satisfeitas. Ento para qualquer u 0
por u0 existe para todo t 0. Portanto, podemos denir em H 1 o semigrupo no-linear

S t : t 0 associado a (2.4.1) por S t u0 u t u0 , t 0.
2.4.4 Existncia de atrator global

Suponhamos que (S) vale e que com C0 e B0 de (S), o primeiro autovalor 1 do seguinte
problema positivo
em
(D)
B0 u
em
C0 u

Para garantir a existncia de atrator global para o problema (2.4.1) iremos impor,
juntamente com a condio de sinal (S), a condio de dissipatividade (D) para (2.4.1).
Teorema 2.4.4 Suponha que a condio de crescimento (G) e condio de dissipatividade (D)
0 associado a (2.4.1) tem um atrator global
sejam satisfeitas. Ento o semigrupo S t : t

A em H 1 .
2.4.5 Estimativas uniformes nos atratores

Nesta seo, vamos enunciar alguns resultados de limitao uniforme nos atratores de (2.4.1).
Nesta direo, um primeiro resultado importante a limitao pontual no atrator A dada pelo
seguinte resultado
Proposio 2.4.2 Suponhamos que a condio (D) vale. Denotemos por a soluo de
B1
B0
em
em
(2.4.13)
C1
C0

L , limt u t x u0
, uniformemente em x e u0 em subconjuntos
1 . Em particular, para qualquer v A , temos v x
limitados de H
x.
SS Q
PQ
PQ
S
Q
Ento, 0
Teorema 2.4.5 Suponhamos que as condies de crescimento (G) e dissipatividade (D) valem.
Ento,
X X
v
K0
sup
P p
v A
onde K0 uma constante que depende do domnio , o primeiro autovalor de (D) 1 , C0 e B0 .

Alm disso, se uma das seguintes condies valem:
0 tal que C0
0 e existe c0
b0
c0
B0
0 com B0
existe b0
0,
34
2.4
ento K0 depende de do que .
Q Q
As demonstraes da proposio 2.4.2 e do teorema 2.4.5 encontram-se em [7].

O seguinte resultado utilizado nas demonstraes.
H 1 uma soluo fraca do seguinte problema elptico
(2.4.14)

Lema 2.4.1 (Lema elptico) Seja
Ento,
X X
onde K : K 1 N p .
(2.4.15)

Q p
Q
Demonstrao. A demonstrao deste lema ser adaptada de [7]. Seja 1 o primeiro autovalor
positivo de
(2.4.16)

Seja
H 1 uma soluo fraca do problema elptico (2.4.14).
mostraremos uma limitao em L2 , isto ,
Primeiramente
K1
X X
L2
Para fazer isto, denamos

para
Agora, multipliquemos por a equao (2.4.14), integrando por partes, obtemos
v2
Usando o fato que o primeiro autovalor de (2.4.16) positivo, temos
Q Q(e
X X
2
L2
35
0,
Q Q
1
2
Mas, usando a desigualdade de Young temos, para
Preliminares
k
, obtemos
1
L2
X X
e portanto,
X X
2 p
2p
como acima
a primeira equao (2.4.14) e integrando por partes temos
(Q Q
4 Q Q
Q
" Q ~
6 Q p
Q
Q p
Q
(2.4.18)
Q
Q p
6 Q QS
6 Q Q
. Com isto temos
Q
Q p
r 2
Q
Q p
r2
r 2
4 Q ~
Q
6 Q Q
v
b
Q Q
6 Q Q
R u 6 Q t
r Q Q
r 2

Q Q
36
r 2
4 Q Q
, ento
Q Q
Q Q
Substituindo (2.4.19) em (2.4.18), temos
4r 1
r2
4 Q Q
6 Q p
Q
r 2
r 2
2
r 2
r 1
Q Q
Q
6 Q
r 2
r 1
r 2
r 1
6 Q Q
r 1
r 2
Q Q
6 Q Q
r 1
Por outro lado,
N
N
e consideremos
Observe que
(2.4.17)
r 2
N
2
Q p
Q
2N
N 2
r:
Agora suponhamos
K1
L2
onde K1 : K1 1 .
Multiplicando por
k
1
1
Q Q
Tomando
k
2
4
Q Q
e consequentemente
k
2
Q Q
e
Ento,
(2.4.19)
v2

4
X S
X

X S
X

X X
X X
r
r
X X
X X 6
e
X X
r2
Np
2p
LN
(2.4.21)
temos
X X
37
Q Q
r 2
Lr
v2
1 r
1 r

X X
C1
Q
Q
e
X X
C1
C1
2 r
L2
C1 v
r 2,
2N
LN 2
2 r
H1
2 r
(2.4.20)
d
X X
r2
, temos
X X
r2
Voltando para (2.4.20) e usando v :

r
2 r
H1
2 r
L2
r2
2N
2
&
Np
2p
LN
2 r
L2
v 2 1r
H
C1 v
LN
v2
1 r
2 r
X X
e
Fazendo uso da imerso H 1
r
v2
X X
r 1
r2
4
X X
2N
LN 2
2 r
2 r
H1
1
r
r 1 r
1
r
2
v L2 r
2
C1 v L2r
r2
r 1
r2
2 r
v2
X X
2
, temos
r
v2
2
H1
2
H1
r2
v2
r2

r
H1
Agora,
r2
v2
r2
v 2
X X
Por outro lado
ento
2
r
0 tal que
4
Como 2
v 2
r2
obtemos
N
N 2,
Q
Q
4
Escolhendo
p
r
e lembrando que
r 2
Fazendo v :
2.4
(2.4.22)
Preliminares
Juntando (2.4.21) e (2.4.22), temos
X X
0, existe C N P tal que
X X
Np
2p
LN
C1 C
X X
X X
Lr
X X
Lr
ento para cada
C1
Q p
Q
NP
N 2,
Mas 2
Np
2p
LN
r2
X X
L2
Com isto,
K2 k
X X
onde K2 : K2 N p .
X X
Np
2p
LN
e portanto
C1 C
L2
k

Np
2p
LN
X X
r2
L2
Q p
Q
2
H1
X X
GR
v
k . Como acima, para

i
X X
d
(2.4.23)
L2
e
2
: x
X X
Para k 1, consideremos o conjunto Ak :

k , existe tal que
h
l
e consequentemente
k
4
K2 k
Lq
NP0
N 2P0 ,
Ainda, multiplicando a primeira equao de (2.4.14) por temos
Np
2p
LN
X X
, existe C2 tal que
X X
C2
H1
2N
2
LN
&
Pela imerso H 1
Por outro lado

38

N 2
2N
2N
2
LN
Ak
2N
2
LN
X X
C1
H1
H1
e
SQ Q
X X
X X
L1
H1
X X
X X
X X
2
H1
X X
h (
i
tal que q
2N N
N 2 2
2, existe p0
Agora, para todo q
o expoente conjugado de
2N
N 2.
N 2
2N
X X
H1

p 6

X X
C2
H1
2 . Por um lado temos
Q Q
Lq
Lq
X X
e Q Q
X X
2
H1
C2
e
Agora, vamos estimar
2N
2
LN
4 Q Q v

X X
r
Ak
L1
X X
Ento,
X X
2N
N 2
onde
2.4
e por outro lado,
r Q Q
r

X X

h
C2 Ak
39
X X

L1
L2
X X
e Q Q

p 6

X X
ou seja,
X X
Ak
k

C2 k
H1
X X
X X
N 2
2N
Ak
k

e Q Q
Ak
H1
L2
1
2
1
2

h
X X
L1
X X
Portanto
1
2N
1
2N
X X

L2
1
q
X
X S

e
C2 k
1
N

h
1
2
X X

2N e usando (2.4.23) temos
Ak

h
H1
1
q
N 2
2N
r
Lq
C2
Ak

6 p
X X
2N
LN 2
1
q
X X

Ak

Lq
L1
X X
Ento
1. Com isto,
onde tomando q
1
q 1
1
q
v
1
q 1
Ak
Ak
rr
1
q 1
q
L1
q
q 1
q 1
q
onde

r Q Q

r r
Lq
q
q 1
q
q 1
q 1
q
q 1
q
H1
Preliminares
Logo, usando o Lema 5.1 de [35], obtemos

K
qT
e
L2
, e usando o mesmo argumento acima, obtemos

K
X X
L2
K, onde K : K 1 N p .
Q p
Q
X X

Usando (2.4.17), segue que
X X
onde trocando, por
X X
max x : x
3
2N .
onde
O seguinte resultado uma adaptao do Lema B.1 (iv) em [7] e sua prova feita para
melhor entendimento do leitor
1, e u
k0
(2.4.24)
(2.4.25)

X X
u
Ento
H 1 uma soluo fraca do seguinte
X X
L , com f
Lema 2.4.2 Sejam f

problema elptico
X X
Demonstrao. Denamos k0 :
f L
1 e : u k0 . Usando como uma funo
teste para a equao (2.4.24) e usando integrao por partes, obtemos
k0 . Com um argumento similar para
v Q
Disto, segue que

0, implicando em u x
obtemos o resultado desejado.
l
h
u,
e
f
2.4.6 Estabilidade de equilbrios

Nesta seo, estudaremos as solues de equilbrio (ver Denio 2.3.5) para o problema de
evoluo (2.4.1), considerado na seo 2.4.1, isto , estudaremos as solues do problema
em
(2.4.26)
gu
em
f u
um domnio limitado com fronteira suave.
#
%
Denio 2.4.2 Suponhamos que existe uma vizinhaa aberta U do ponto de equilbrio u 0
40
X tal que as solues de (2.4.7), que comeam dentro de U , existem globalmente para t
onde
0.
2.4
Dizemos que um ponto de equilbrio u0 estvel em X , se

vt
u0
u0
0 v0
d s
S
onde v t denota a soluo global em X de (2.4.7) com a condio inicial v 0 .
Dizemos que o ponto de equilbrio u0 assintoticamente estvel, se estvel e
&
0 quando t
&
u0
vt
Dizemos que o ponto de equilbrio u0 uniformemente assintoticamente estvel, se estvel

e existe uma vizinhana
X
, uniformemente para cada v
&
&
Dizemos que o ponto de equilbrio u0 instvel, se no estvel.
u0
0 quando t
u0
X : v 0
tal que v t
V.
Muitos problemas de valor de fronteira, como o problema (2.4.26), surgem de princpios

variacionais na fsica, isto , de problemas de minimizao de certos funcionais (tambm
chamados de funcionais de energia), os quais tm um signicado fsico. Aqui trataremos
, denidos num certo espao
de funcionais diferenciveis no sentido de Frchet : X
#
&
de Sobolev de funes X , cujos pontos crticos u coincidem com as solues fracas de

uma equao diferencial parcial. Pontos crticos de so denidos como sendo as u X
satisfazendo a chamada Equao de Euler associada a : u
0, isto , u v 0 para

e
toda v
sela.
X . Pontos crticos de so do seguinte tipo: mnimo local, mximo local ou ponto de
Para estudar os pontos crticos de (isto , solues fracas do correspondente problema de

valor na fronteira), importante saber a expresso exata para a derivada direcional de , a qual
denida como
1
u v lim u tv u
t 0t
No clculo de variaes, esta expresso chamada da Primeira variao do funcional :
X
.
4
h
#
&
Se um problema de valor na fronteira tal que, existe um funcional de energia cujos pontos
crticos coincidem com as solues fracas, ento dizemos que o problema de valor na fronteira
do tipo variacional. Naturalmente, h muitos problemas de valor na fronteira que no so do
tipo variacional.
v
b
41
u dx
u 2 dx
v
b
1
2
u d
associado ao problema (2.4.26) denido por
#&
O funcional de energia : H 1
(2.4.27)
Preliminares
u
g s ds.
f s ds e u

H 1 e podemos derivar u com respeito a t, obtendo

uut dx
f u ut dx
g u ut d
H 2 ), podemos usar a frmula de Green, obtendo

ut 2 dx
H"
v
v "
d
u
dt
para toda soluo u, com a igualdade satisfeita quando ut

decrescente no tempo, exceto nos equilbrios.
0. Portanto, o funcional
funes de classe C 2 tais que f e g satisfazem a seguinte condio de

cu
v 1
u 6 Q 6 Q tQ
Q
Q
j v
(GD)
# &
H'#
PS
Q
9 Q
f g com expoentes f e g respectivamente, satisfazendo (2.4.12), com N

onde j
Ento F de classe C 1 H 1 H 1 .
j u
Sejam f g :
crescimento
Como u soluo de (2.4.1) (u
d
u
dt
particular ut
. Seja u soluo de (2.4.1). Em
Prova-se que o funcional de classe C 2 H 1
onde u
6.
g 6
Seja u0 um ponto de equilbrio de (2.4.8) e como F de classe C 1 , temos
&
DF u0 v
Av
0. Esta decomposio nos sugere considerar a
H v
(2.4.28)
"
X X
X X
vt
com H v
o v H 1 quando v H 1
linearizao do problema (2.4.8), isto ,
DF u0 v
F u0

F u0
e relacionar a estabilidade do equilbrio u0 com o sinal do valor prprio do operador que aparece
em (2.4.28).
Teorema 2.4.6 (Estabilidade e instabilidade por linearizao) Sejam u0 um ponto de equilbrio de (2.4.8) e B o espectro do operador B DF u0 A. Ento
a , para algum a
Re
(i) se B
0, temos que u0 um ponto de equilbrio
G %
f
uniformente assintoticamente estvel em H 1
8
T
0, temos que u0 um ponto de equilbrio instvel em H 1 .

/
Re
(ii) se B
Este teorema nos d uma caracterizao sobre a estabilidade e instabilidade de um equilbrio.

42
e DF u0 : H 1
&
&
Os operadores A : H 1
so operadores lineares
2.4
limitados.
Como A o gerador innitesimal de um semigrupo analtico, ento este satisfaz as
seguintes propriedades:
i A fechado e densamente denido (D A

H 1 ).
ii O conjunto resolvente de A, A contm e satisfaz a desigualdade
h
"
X 6
para t
6 X
o semigrupo gerado por
Me t
At
At
0 tais que
e
onde e
1e
, M
para todo
A.
Alm disso, o operador I A invertvel se . Podemos considerar DF u 0 uma

perturbao relativamente limitada do gerador innitesimal de um semigrupo analtico, e Pazy
[40] prova que DF u0 A B tambm o gerador innitesimal de um semigrupo analtico.

Pelo mesmo argumento acima, temos que B contm ( ), para algum
, e
seguinte desigualdade
M
I B 1

h
X 6
vlida para todo . Alm disso, o operador I B invertvel.

Agora seja k max tal que os seguintes operadores existam kI A 1 e kI B 1 .
Sabemos que kI A 1 compacto e kI B 1 contnuo. Com isto, temos que o operador
4 u 6 t 6
u
t 6
6 6
t
6 9
A kI
kI
DF u0 kI
DF u0 kI
kI
kI
T
kI
kI
DF u0
kI
compacto, pois
kI
kI
Consideremos o seguinte resultado de Kato [34].

Proposio 2.4.3 Seja A um operador fechado num espao de Banach E tal que o resolvente
kI A 1 existe e compacto para algum k. Ento, o espectro de A consiste totalmente
de valores prprios isolados com multiplicidade algbrica nita e I A 1 um operador
compacto para todo A .
sr compacto e da Proposio 2.4.3, segue que o operador B
43
tem espectro pontual, isto , B consiste s de valores prprios de B. Seja
B um
Do fato do operador kI
Preliminares
valor prprio de B, isto

v
H1

Bv
ou equivalentemente
(2.4.29)
e usando o produto de dualidade en L2 , temos
g u0 v ds
v dx
f u0 v
v dx
v dx
(2.4.30)
H 2 , podemos aplicar a frmula de Green, obtendo
f u0 v dx
g u0 v ds
v ds
v dx
v dx
Se v
Agora multiplicando por
Av
DF u0 v
Desta ltima equao observamos que v uma soluo fraca do problema linear de valor
prprio

em L2 .
em
g u0 v
em
(2.4.31)
f u0 v
O seguinte resultado nos fala a respeito do maior valor prprio de B .
Teorema 2.4.7 O primeiro autovalor do operador B

g
f u0 u2 dx
2
u dx
u0 u2 ds
sup
u H1
u 0
u 2
(2.4.32)
Para demonstrar este teorema, usamos seguinte resultado geral para espaos de Hilbert.
&
Proposio 2.4.4 Sejam E um espao de Hilbert e j : E

E uma incluso densa e contnua,
que vamos supor simtrica, isto , j u v
j v u . Seja S : E
E um operador contnuo
com inversa contnua, tal que a forma quadrtica S u v seja simtrica e coerciva, isto ,
&
X X
S u v
S v u eS u u
u 2 para 0, respectivamente. Ento, existe um produto
E
1 um operador auto-adjunto no produto escalar dual
escalar equivalente,
E , tal que SJ

d

. Alm disso, o primeiro valor de seu espectro

sup
u E
u 0
S u u
j u u
associado
Para provar este resultado necessitamos do seguinte lema.

44
(2.4.33)
Lema 2.4.3 Sejam E um espao de Hilbert e S : D S
&
2.4
E um operador auto-adjunto, positivo
e invertvel. Ento, o primeiro ponto do espectro pode calcular-se por uma das seguintes
maneiras
Su u
uu
1
sup
sup
(2.4.34)
1u u
uu
u E S
u DS
u 0

u 0
Observao 2.4.1 A primeira frmula em (2.4.34) conhecida como o Quociente de

Rayleigh.
O Teorema 2.4.7 nos d uma caracterizao da estabilidade do equilbrio u 0 mais natural
que a do Teorema 2.4.6. Ento, a estabilidade do equilbrio u 0 se reduz comprovar o sinal do
numerador do quociente que aparece em (2.4.32) e que o denotaremos por I u .
Assim, se I u negativo para toda u H 1 , temos que u0 estvel. Por outro lado, se
H 1 tal que I u seja positivo, u0 instvel. Nos casos que s possamos

0, para toda u H 1 , falta algo mais para determinar a estabilidad de u0 .
e
!

existe alguma u
provar que I u
45
C APTULO
Semi-continuidade superior de atratores
este captulo, vamos estudar uma equao de reao-difuso com condio de

Neumann homognea em domnios singularmente perturbados, que consistem de
uma regio xa e um canal no. Basicamente, estudaremos a semi-continuidade
superior dos atratores, para estes problemas, quando a espessura do canal tende a zero.
3.1 Introduo
O prottipo de perturbao de domnio (conjunto aberto e conexo), que consideraremos neste
captulo, o chamado de domnio tipo dumbbell o qual consiste de dois domnios disjuntos
L e R unidos por um canal no R o qual se aproxima a um segmento de reta quando o
parmetro se aproxima a zero. Para xar as idias, consideremos N , N 2 e o canal dado

N, y
N 1,
por R
x1 y : 0 x1 1 y r x1 , onde x
x1 y
x2
xN
gg

! 2

! 2

$
E
i

y

x
6

6
w

6

2

i

1
1
1
y

Q
Q

x
0 1 ( veja b na Figura 3.1).
rN 1
Rx1
1
0 para todo x1
C1 0 1 e r x
Denotemos por g x1 :
x1 N 1 a medida de Lebesgue N 1 -dimensional
de Rx , onde N 1 a medida de Lebesgue N 1 -dimensional da bola unitria em N 1 e
1
Rx1
y : x1 y R1 a seo de R1 . Pela suavidade de R1 , podemos supor que g uma
1
0 1.
2
d0 para todo x1
Seja
0 tal que g x1
funo suave e que existe um d0
R e consideremos o seguinte problema de reao-difuso

ut u f u
u
0
n
u0x
u0
em
t x
em
t x
(P )
em
onde n o vetor normal unitrio a , u0 a condio inicial dada e f satisfaz as seguintes

condies:
47
#('#
&
uma funo de classe C 2 ,

f u
ii . lim sup
0.
u
u 0
i. f:
)0 )
Agora, vamos especicar o domnio singularmente perturbado considerado acima. Seja
0
/
y2
l 2 x1
1 1
1
Q Q
x
1
Q
Q
x
Q
Q

x
1
x1 y : x 1
l 2 x1
1 y
y2
y
x1 y : 0
l2

x
y2
x1 y : x 1
x1 y : x 2
1
Q
Q
Q
Q

l2
y2
x1 y : x 2
1
0 satisfazendo
um conjunto aberto, limitado e suave xo, tal que existe l
y
e R dado como acima. Assuma que r x1

l,
para todo x1 0 1 . Observe que no especicamos qualquer propriedade de conexidade em
. Portanto podemos ter a situao a ou b na Figura 3.1.
o
00
N 1
x1
gg
w
x1
0 1 cujos pontos nais so p0
(

Q Q G
0.
lim R
gg
Q Q "T
G $
10
Denamos o segmento de reta

e p1
%
qT
1y : y
0y : y
com
Figura 3.1: Possibilidades do domnio

0 o seguinte
t x
t x
01
(P0 )
3!

w1
4

em
!

em
t x
!

em
wt w f w
v
0
n
1
vt
gvx x f v
g
v0
w0
v1
&
O problema limite de (P ) quando

O objetivo deste captulo comparar a dinmica assinttica do problema perturbado P e a

48
3.2
Problema perturbado (P )
dinmica do problema limite P0 .
3.2 Problema perturbado (P )

C (ver Mora [37]).
Sob as hipteses acima, o problema (P ) est bem posto em X :
Alm disso, por (ii), o problema (P ) tem um atrator global A e os atratores so limitados em
L . Isto nos permite cortar a no-linearidade f de tal modo que esta permanea limitada
junto com suas derivadas at segunda ordem sem mudar os atratores. Com estas consideraes,
podemos supor, sem perda de generalidade, que f de classe C 2
satisfazendo (ii) e
c2
f u
c1

P

f u
(3.2.1)

P

para algumas constantes positivas c1 e c2 .

Como usual, C denota o espao de Banach consistindo de todas as funes em
as quais so uniformemente contnuas e limitadas, com norma dada por
sup u x
S Q
4Q
X X
0, C k denota o espao de Banach de todas as funes u tal

k, com a norma dada por
) )
PSQ Q
E
X X
Ck
D u
Para um nmero inteiro k

que, D u C para
onde um multi-ndice.
C k vale para l
k; quando limitado esta imerso
&
A imerso C l
compacta. Para um no-inteiro k (k inteiro, 0 1), C denota o espao

de Banach de todas as funes que pertencem a C e tal que as derivadas D u de ordem
k satisfazem a condio de Hlder uniforme com expoente ; como usual a norma deste
gQ Q
X X
vy
y
Q Q
9 Q
sup
x y
x y
S
Q
)d )
vx
x
X X
D u
onde
Ck
espao denida como
Tambm temos as seguintes imerses C k

C k (k 0 inteiro, 0
1); estas imerses so compactas quando limitado. Para ter a seguinte imerso
C k 1
C k (k 0 inteiro, 0 1); quando N 1, vamos impor que o domnio
&
49
&
satisfaz a seguinte condio:
Q

por um arco poligonal inteiramente contido em de d x y

distncia entre os pontos x e y em N .
podem ser unidos

y , onde d x y a
Lx
(L). Existe uma constante nita L tal que, quaisquer dois pontos x y
P
f
No caso em que limitado, a condio (L) automaticamente satisfeita se um

domnio de classe C 1 , 0 1.
O problema (P ) pode ser escrito como uma equao de evoluo abstrata do tipo semilinear
como a equao (2.2.1), isto ,
F u
u0
(3.2.2)

onde u agora uma varivel que toma valores no espao de Banach C , A : D A

C C um operador linear em C denido por
0 em

(3.2.3)

D A
C u n
u u
C 2 : u
A u
&
D A
%
'
u0
A u

&
F : Y C um operador no-linear, onde Y um subespao de Banach entre D A e

C e u0 C o dado inicial.
O operador A setorial e a seguinte estimativa vale

C
UU
U 6
para
Q
Q 7
UU
U
onde um setor no plano complexo e C uma constante que no depende de . Sendo A

setorial, ento A gera um semigrupo analtico e A t : t 0 em C dado por
t
(3.2.4)
6 x
e t A
1
2 i
A t
onde A uma curva apropriada no plano complexo e vale a seguinte estimativa (veja
Teorema 2.2, [37])
0 w
(3.2.5)
6 UU
U
0 que no depende de , isto , o semigrupo linear e
C w

UU
para alguma constante C

de C em C .
A t
X X
A t
limitado
Para maiores detalhes sobre gerao de semigrupos analticos em C k e as propriedades
acima, como tambm outras generalizaes, o leitor pode consultar Mora [37].
50
u0 a soluo de (P ), onde T
u0 : 0
h
'
u0
&
Seja u
X um semigrupo
3.3
Problema limite (P0 )
no-linear. Pela frmula da variao das constantes, temos
A t s
u0
F T s u0 ds
A t
"
T t u0
(3.2.6)
"
u t u0
3.3 Problema limite (P0)

Como estamos trabalhando com um domnio tipo dumbbell (ver a na Figura 3.1), isto ,
L R R , onde R como acima, daqui em diante pomos 0 , L R ,

lim R
0 1 , onde xamos um sistema de coordenadas tais que o segmento de linha
0
unidimensional esteja contido no eixo x1 .
f$
o
Para entender melhor o problema (P ), vamos estudar primeiro o problema (P0 ) que o
&
0.
H 1 0 1 gvx

wv
w0 v1
D A
w1
(3.3.1)

}
H1 0 1 v 0

1
gvx
g
r

g
D
N
"

%
i
A0 w v
X0 : w
&
wv
D A0
L2 0 1 e denamos o operator
Consideremos o seguinte espao de Banach X0

X0 X0 por
A0 : D A 0
limite de (P ) quando
z
onde o operador Laplaciano com condies de Neumann homogneas em .

N
Sob as hipteses acima, o problema (P0 ) est bem posto em X0 . Alm disso, pela condio
de dissipatividade da f , o problema (P0 ) tem um atrator global A0 .
Proposio 3.3.1 O operador A0 denido por (3.3.1) satisfaz as seguintes armaes
(i) D A0 denso em X0
(ii) A0 um operador fechado

(iii) A0 tem resolvente compacto.
(iv) A0 um operador setorial.
Demonstrao.
&
&

i
51
. Como wn D
N
w. Por outro lado vn v e n
w v e A w n vn
wn
D A0 .

&

&
F &
F
X

D e
N

'

7 e F
X
X
w9
C

D A0 tal que wn vn
e fechado, temos que w

N

D
v. Portanto wn vn
L2 0 1

ii Seja wn vn
wn 1 e v n
D A0 . Seja zn C0 0 1 tal que

1 n. Colocando vn zn zn , temos
wn 0 , v n 1
1 x wn 0 ento wn zn
1 n, isto v zn zn L2 0 1
C , existe
&

L2 0 1
vn 0
xwn 1
Seja zn x
zn v z n
w.
L2 0 1 . Como D
N
C ev
D tal que wn
N
L2 0 1 , isto , w
wn
i seja w v
. Agora

"
wn 1

1
ds
gs
(3.3.3)
&

, onde soluo do seguinte problema

01
(3.3.4)
w1

&
&

&
0 em
L2 0 1 compacta, segue que A0 tem resolvente

52
A0
%
i
x
w"

X0 . Resolver a equao w v
f g equivalente resolver
6
H 1 0 1 em C
r
C 2 : u n

Cy
&
iv . Sejam f g
L2 0 1 , onde
2
e a imerso de CN
compacto.
"

!
2
CN
H1 0 1
2
CN
iii . Como D A0
H 1 0 1 . Ento v
Donde segue que zn z v 0 , z 0

z1
0, z H 1 0 1 , gzx
z H 1 0 1 , gvx H 1 0 1 , v 0
w 0 ,v 1
w1.
1
g x x 0 x
g
0
w0 1
4

w 1 , segue que n
1
ds
gs
2
9
0
wn 0
01

wn 1
wn 0
2
hn

1
g zn x x
g
zn 0
zn 1
(3.3.2)

"

1
g n x x
0 x
01
g
n 0
wn 0 n 1
wn 1
No difcil ver que
w 0 , wn 1
vn 1
n , onde n soluo do seguinte problema
temos
e, como wn 0
01
"
vn
4

Fazendo a mudana zn
hn

1
g vn x x
g
vn 0
wn 0

x x
&
1
g vn
g

3.3
wv
f g , que equivalente ao seguinte sistema
w

w1
4

"
,0
Sa
2.
, onde soluo do seguinte problema

01
w1

@I
x F

1
g x x 0 x
g
0
w0 1
2
Fazendo a mudana de variveis z
3
2
X X
Q Q
P
arg
X X
"

onde Sa
D tal que
N
F

Da primeira parte de (3.3.5) temos que existe um nico w

w
01
v1
(3.3.5)

1
gvx x v
g
v0
w0
w
w
n

A0
Problema limite (P0 )

na segunda parte do problema (3.3.5), temos
01
2
1
gzx x z
g
z0
z1
0

donde
Q Q
X X
Q Q
F

X X
X X
Q Q
Q Q

F

X X
X X
X X
Q Q
Q F
Q
A0 t
Sa .
6 x
53
Sa
,0
, onde
0. Logo
:t
A0 gera um semigrupo analtico e
0 em
L2 0 1
P F
X) )
X
X
@
x F
Sendo A0 um operador setorial, ento
arg
3
2
P
f g
X X
X X
L2 0 1
L2 0 1
X X
P F
Q F
Q
wv
Q Q
X X
X X
X X
P F
Sa
com
L2 0 1
X X
C
g L2 0 1
C
g L2 0 1
L2 0 1
C
g L2 0 1
w C
C
g L2 0 1 C f C
C
f C
g L2 0 1
L2 0 1
e t A0
1
2 i
A0 t
(3.3.6)
X0 , onde
A0 uma curva apropriada no plano complexo.

Agora vamos caracterizar os autovalores do operador A0 . Para isto, queremos encontrar
e wv
0 0 tais que
A0 w v w v
0
(3.3.7)
com
RD
8
9
A equao (3.3.7) equivalente ao seguinte sistema
v1

(3.3.9)
w1
w0
01
4

(3.3.8)

1
gvx
g
v0
w
w
n

Denotemos, respectivamente, por i i 1 , i i 1 , os autovalores de (3.3.8), (3.3.10) e
por i i 1 , i i 1 as autofunes correspondentes
d y

01
(3.3.10)
.
i 1
d y
v1
i 1

d y
x
$ d y
d y
d y
x
"
Proposio 3.3.2 A0
1
gvx
g
v0
Demonstrao. Primeiro mostremos a incluso A0

i i 1
i i 1 . De fato, se
A0 , ento existe w v
0 tal que (3.3.8), (3.3.9) valem, e portanto seguintes casos:
d y
x
$ d y
Wq
x %
w8D w"
x
d y DB d y
R8D w"

% d y x$ d y
x
x
d y $ d y
x

d y
x
d y
D
8
i i 1 ,
w 0, ento
i i 1 .
ento
i i 1
i i 1 .
Para a incluso i i 1
i i 1 A0 analizamos os seguintes casos:
Se i ento w v
0 i
0 0 soluo para (3.3.7). Ento A0 .

Se
i i 1 i i 1 ento w v
i
0 0 soluo para (3.3.7), onde
soluo do seguinte problema

54
"
01
(3.3.11)
1

x
A0 .
i v
2
x
Ento
1
g x x
g
0
0, ento
3.4
Comparao dos problemas perturbado e limite
O problema (P0 ) tambm pode ser escrito como uma equao de evoluo abstrata do tipo
semilinear como a equao (2.2.1), isto ,
z0
(3.3.12)

onde z agora uma varivel que toma valores no espao de Banach X0 e A0 : D A0
um operador linear denido por (3.3.1).
A0 t s
F0 T0 s z0 ds
g
z0
X0
X0
X0 um semigrupo
(3.3.13)
A0 t
h
"
T0 t u0
z t u0
u0 : 0
&
T0 z0 a soluo de (3.3.12), onde T0

Seja z u0
no-linear. Pela frmula da variao das constantes temos
%i
z0
F0 z
&
A0 z

3.4 Comparao dos problemas perturbado e limite

Antes de comear esta subseo, vamos apresentar alguns operadores que utilizaremos para a
comparao dos problemas perturbado e limite.
C , para comparar com uma funo do espao X0
0 1 denimos o seguinte operador
x1
(3.4.1)
01

"
1
x1 y dy
x 1 x1
y : x1 y R
(3.4.2)
4 y

&
x

x 1
Tx1 x
Tx1
onde

M x
&
L2 0 1
M : C
L2
Seja uma funo de X
Seja C
L2 0 1 , para considerar como uma funo no espao C ,
denimos o seguinte operador contnuo
(3.4.3)
x1 y

i
x1

C 0 1 no espao C . Gostaramos
&

"

55
Observe que o operador E no leva o espao C

&
E x
L 2
L2 0 1
E: C
de ter um operador que faa isto, para isto vamos necessitar do seguinte operador
(3.4.4)

&
EC w v
w v
&
C 01
EC : C
onde
v 1
(3.4.5)
0 1 uma funo de classe C tais que
&
para s
para s
01 4
7 E

7 2
1
0

#
h

hs
e h s
,h:
x 1 w 1 y
h 1
v 0
g
h s
h x 1 w 0 y
v x1
v x
3 4
C.
PS Q
Q
O operador EC necessrio para ter boas estimativas en H 1
H1 0 1 .
O objetivo desta seo mostrar a convergncia dos operadores resolvente, consequentemente a convergncia dos semigrupos lineares e, com ajuda da frmula da variao
das constantes, mostrar a convergncia dos semigrupos no-lineares, e portanto a semicontinuidade superior dos atratores.
3.4.1 Comparao dos operadores resolventes

Seja A um operador fechado densamente denido num certo espao de Banach X . Se R A :
o operador resolvente de A vale a identidade do resolvente
R A R A

R A
R"

R A
(3.4.6)

onde A o conjunto resolvente de A. Usando (3.4.6) temos o seguinte lema.
EM
ER0 A0 M
R0 A
EA0 A0
t 6
A A
M
(3.4.7)
Demonstrao. Da identidade (3.4.6), temos

56
"
R A0
R A0 R A0
R A
R A
4

"
R A
ER A0 M
A0 , ento a seguinte igualdade vale
R A
Lema 3.4.1 Seja
3.4
Observe que R A e R A0 esto denidos em espaos diferentes, logo no tem sentido
ER A0 MER A0 M
ER A0 M
ER A0 M ER A0 M
I). Desta ultima igualdade segue que

R A
th
R A
R A
ER A0 M
ER A0 M
u
I(observe que EM
R A
ER A0 M
R A
R A
9 th
9 h
R A
R A0 R A0 M
R A
R A ER A0 M
ER A0 M
ER A0 M
E I
R A
R A
R A
R A
onde utilizamos que ME
ER A0 M
R A
ER A0 M, onde
escrever R A
R A0 , mas tem sentido a seguinte expresso R A
E e M so, respectivamente, os operadores denidos em (3.4.3) e (3.4.1).
e portanto
ER A0 M
t u
ER A0 M
t 6
0, temos
ER0 A0 M
R0 A
ER A0 M
t u
R 0 A
ER A0 M
4 u
R A
R A
Agora tomando
ER A0 M
Observe que
EA0 A0
EM
R A0 M
E I
A0
6
EM
A0
A0
A A
R 6
6
6
A0 A0
ER A0 M
A 1
A0
R A0
A 1
A A 1
R 0 A
Com isto, temos

EA0 A0
t 6
57
ER A0 M.
ento conheceremos boas estimativas para R A
A identidade (3.4.7) nos diz que se conhecemos boas estimativas para R0 A
ER0 A0 M ,
EM
ER0 A0 M
fu
R0 A
A A
ER A0 M
R A
4 u
R A
Usando o operador EC em (3.4.7) chegamos a seguinte identidade

1
A A
R0 A
EC R0 A0 M
EA0 A0
E R0 A0 M I
EM
EA0 A0
&
2
H 1 R
U
U
em
H 1 a
em
(3.4.11)
H 1 0 1 a soluo de
U
U
t U
U
M f
(3.4.12)
em
em 0 1
w 0

i

v 0
em
w
n
x1
gv x1
1
g
v 1

A seguinte proposio d a resposta ao que estamos querendo
Proposio 3.4.1 Sejam f , u , w e v como acima. Ento existe uma constante C
2
H1
2
H 1 R
C N
Para demonstrar esta proposio vamos necessitar de alguns lemas.

58
(3.4.13)
w 1
4

H1
, onde u
(3.4.10)

X
X
X
X

U u
&
U
P

X X

F
2
H1
u
n
e w v
(3.4.9)
quando
H 1 R
&
Mas isto equivalente estimar u

soluo de
quando
&
H1
(3.4.8)
1,
EC R0 A0 M f
L com f
EC R0 A0 M , isto , vamos
H 1 R
L L H 1
EC R0 A0 M
A0
EC
EM
EC R0 A0 M EA0 A0
mostrar que
R0 A
6
t 6
6
t 6

6 u t
u
9 t
u
9
u t
R0 A
EC R0 A0 M I
EC
Observe que vamos precisar estimar o operador R0 A
ou seja, para toda f
I.
A A
A A
R0 A
I e R 0 A0 A0
EM
R0 A
A A
A A
onde utilizamos que ME
6
6
ER A0 M
R A
0 tal que
(3.4.14)
3.4
Alguns lemas auxiliares

Com relao ao operador M, denido em (3.4.1), vale o seguinte resultado.
(3.4.15)
(3.4.16)
U
U
L2 R
2
L2 R
X
2
UU
U
UU
U
L2 0 1 e para considerar M como um
L2 R estendemos a segunda coordenada como sendo constante na
M M
M 2 dx
R
4 Q
Q
Q
2 dx
2
L2 R
X
elemento de C
direo y.
Demonstrao. Observe que M
C 2
2
L2 R
2
L2 R
2
L2 R
H 1 , ento temos
Lema 3.4.2 Existe uma constante positiva C tal que, se
Por outro lado
M x dy dx1
x 1 M x

x 1 M x

m9

"x9
dx1
M x
M x
M M dx1 dy
M M
Logo a igualdade (3.4.15) segue. Observe que
S
Q
dx
S
Q
x
1
Ento vamos estimar
2
L2 R
S z
Q
dx1 dy
dy. De fato, da caracterizao variacional dos
autovalores do Laplaciano com condio de Neumann homognea em x1 , temos

59
H 1 x 1
v
Q Q
x
1

min
"
2 x 1
(3.4.17)
, temos

v

H 1 x 1
1
11
Q Q
Q Q
Q
x
11

(3.4.19)

1
x 1
2 2 1
11
H 1 x 1
1
min
2
x
1
v
min
2 x 1
De (3.4.17), temos que
(3.4.18)
1
2 x 1

4
Tomando
onde 2 x1 o segundo autovalor do Laplaciano com condio de Neumann homognea em

1
x1 . Substituindo (3.4.19) em (3.4.18), temos
1
(3.4.20)
C 2

P

2
2 x 1
1

P Q
onde usamos o fato da aplicao 0 1 x1 2 x1

0 variar continuamente quando x1
1
varia no intervalo compacto 0 1 , atingindo seu mnimo em 0 1 , isto ,
0
i
2 x
1
01
2

"
v
1
. Agora integrando de 0 a 1 temos a desigualdade (3.4.16).
2 x 1
1
N 1
1 0 ,0
e p um ponto qualquer de
representara a bola aberta centrada em p e raio . Consideremos o seguinte:
B p0
para 0 l
B p1
para 0 l
l p
R
B 0
S B l p1
s
4
T Q
Q
1
T
Q
p B

R B p 1 l
y 2 x1 0
s
x1 y : x 1 1 2 y 2
L2 R

60
B p0 l
x1 y : x 1
L2
para
x1
L2 R
B p

Q Q
Q Q Q

p

~ B
B p
N.
B pl
DL
R
D
L
S
L
Bl p
0 0 , p1
Denotemos por p0
&
1
m
0 x1 1
donde temos que C :
min 2 x1
1

2i

m:
(3.4.21)
3.4
Para uma funo denida em , denamos

1
1
T
Sv
0
T
Temos o seguinte lema.
L
D r
R
D r
h
6
X
P
pQ
N 2 2
L
L2 D r

4
h
6
X
%
#
P
X
P
SQ

6
Q

HP
61
C N 2
H1
para N
H1
para N
C 2 ln

(Q
Q
P
X

Tr1 0
H 1 , ento,
C N tal que se

X

wP
T0 na desigualdade anterior, a demonstrao do
Q
P
Q
T0
T0
v
h 6

T1
2
L2 D L 0
r
(3.4.23)
SQ
P

Tr0 0
L2 DLr
X
X
g
T0

Q

Lema 3.4.4 Existe uma constante C
, a qual implica
L2 D L 0
r
sabemos que
N,
L2 D L 0
r
X

X

a e a

{
Logo, substituindo T0
lema concluida.
T0
L2 D L 0
r
e portanto
T0
L2 0
1
Seguindo o mesmo caminho como acima podemos obter a
T0
0 y dy
N 2 2
g
L2 D L 0
r
DL 0
r
Como
T0
e assim a
2
L2 DLr
C a
L2 D L 0
r
N 2
0
1
r 0

T0
C a
H 1 DL 0
r
e, da desigualdade de Poincar,
que a
0
1
1
0
1
r 0

1
0
1
C a
0 y dy
r 0

1
0
, pois a outra
Se H 1 , denamos
1
.
DL
DL
DL
0

T0
e
tambm a
0 .
1
DLr 0

a
0
1
T0r
) )

P
Portanto,
DLr 0
desigualdade similar. Observe que DL 0

r
L
x y
x y para x y
Dr 0 e
(3.4.22)

P
Demonstrao. Provaremos somente a desigualdade para T0
N 2 2
C N
N 2 2
H 1 . Ento,
h
6
X
h
6
X
C N
T1r 1
T1
T0r
como acima e
T0
, T1r
Lema 3.4.3 Sejam T0 , T1 como em (3.4.2), T0r

existe uma constante C C N tal que
2
SR
r 0
DL
r 0
2
DR
r 0
SL
r 0
DR
r 0
r 0.
DL
r 0
como acima, 0
0 1, consideremos os operators
2, o leitor pode consultar
i
T
Temos,
Arrieta [4]. Para i
2. Para o caso N
Demonstrao. Provaremos o lema para N
Mas,
0 T0r
X
2
: Tr0 0
SL
r 0
T0r
o1
C N N
l 0
min
Tr
Tr0 0 T0r
: Tl0
SL
r 0
Tr0 0
T0r
T0r
min
SL
r 0
onde utilizamos que o mnimo atingido quando soluo do problema

L
0 S r

T0
T0r
C N N
E
0
N 2
.
1 N 2
C N
2
DLr
`
X
Do Lema 3.4.3, temos
0
0 T
SL
: Tr0 0
e min
0
0
T r 0
Tr0 0
X
Portanto
T0r
T0
T0
o1
o1
Tr0 0
1
C N
2
T0r
Tr0 0
C N
2
DLr
SL
r 0
Com um argumento similar feito acima, mostramos outra estimativa similar para
2R
2 R . Com isto conclui-se a prova do lema.
D
r 0
62
H1
para N
para N
H1
(3.4.24)
X X 6
Q
Q
X
2 N 2
1 2

C 2 ln
H 1 , ento,

P
T1

T0
C N tal que se
r 0

Tr1 0

A prova segue do lema anterior e do fato que Tr0 0
Demonstrao.
C H 1 .

P
3.4

Lema 3.4.6 Sejam u , w , v como na hiptese da Proposio 3 4 1 e v como em (3.4.5).
Ento as seguintes estimativas valem
4 4
x 1 w 1 y
r
v 0 dydx1
S
Q
v 1 dydx1
S
Q
9
w 1 y
9
h 1
v 0
Q
v S
UU
X
X
X

Q
v S Q
X

v
P
v
P
e
x1
Q
v S
h 1
v 0 dydx1
w 1 y
v 1 dydx1
UU
UU
UU
v
C
1
N
w 0 y
9
S
Q
h x1
Q
v S Q
L1 R
9
S
Q
v
x1
UU
x1
P
Tambm,
Q
4
63
x1
w 0 y
v S
Q
v
b
C
1
N 1
h 1
x
1
v 0
w 1 y
9
h x1
dydx1
v 1
S
Q
Q
v S
2
L2 R
9
S
Q
dydx1
r
x1

P
X

P
X
P
X
P
X
w 0 y
h x 1 w 0 y
h 1
1
N 1
C N
C N
C N
C N
C N
2
L2 R
h x1
L1
2
L2 R
v x1
C N
U
R
UU
2
L2 R
L1
X
v
v
x1
R
2
v v L2 R
2
v v L2 R
2
L2 R
Demonstrao. Observe v x
v 1 e portanto
EC v .
1
L1 R
x1
onde v
Similarmente,
v S
Q
v 1
dydx1
dydx1
y w 1 y
dydx1
0 e que w 1 y
C com 0 y
7 h
onde utilizamos que w 0 y v 0

C , y w 0 y
v 1
C , y w 1 y
C com 1 y 1 .
x
1
2C N
dydx1
S
Q
Q
v S Q
x1
w 1 y
x
1
y w 0 y
h 1
v 0
S
Q
1
N 1
h x1
0
1
2C
x1
Q
v S
h 1
w 0 y
9
v S Q
Q
1
h x1
Q
S
2
L2 R
9
Q
S
r
pS
PQ

pQS
P
PQ
S
Q
PQ
S
Para as duas ltimas desigualdades, observamos que
2
L2 R
2 v
v v
2
L2 R
2
L2 R
2
L2 R
L2 R
(3.4.25)
X
e
2
L2 R
2 v
2
L2 R
v v
2
L2 R
L2 R
(3.4.26)
X
Mas,
L1
v
x1

P
UU
x1
C N
L1 R
C N
UU P

o qual prova o lema.
L2 R
v v
L2 R
UU
UU
P
v v
Agora j estamos em condies de demonstrar a Proposio 3.4.1.

Demonstrao da Proposio 3.4.1. As solues dos trs problemas (3.4.11), (3.4.12) e
(3.4.13) podem ser obtidos pelo procedimento de minimizao. Isto , se denimos
64
2 dx
2 dx
f dx
f dx
Q
p
Q
p v
min
H1
v
b
H1
1
2
1
2
min
M f dx1 :
w p0

Q
S
H1 0 1
w p1
g x1 2 dx1
g x 1 x1
vb
1
2
min

3.4
ento , e so atingidos nos pontos u , w , v respectivamente, e s nestes pontos.

Vamos encontrar primeiro uma relao entre os trs valores , e .
Se tomamos a funo

"
v2 dx
f v dx
f v dx
v2 dx
Q
t
1
2
f w dx
Q
t
Qt
v
w2 dx
f dx
Q
t
1
2
v
v
w2 dx
v
b
1
2
1
2
como uma funo teste para , obtemos
x
x R
w x
v x
Usando (3.4.25) e (3.4.26), temos
g x1 v2 dx1
Q S t
Q
O N
g x 1 v
dx
Q
t
O N
v2 dx
11
Q
t
1
2
1
2
v2 dx
1
2
O N
g x 1 M f v
v dx
1
f v
v 6
f v dx
f v dx
Em particular, obtemos
O N
(3.4.27)
4

Da denio de temos
65
1
2
Q
t
f u dx
f u dx
u2 dx
u2 dx
u2 dx
f u dx
Qt
t
Q
1
2
1
2
v
b
Mas
dx
dx
w w
v
b
w
w w e o fato
2
v
Q
t
Q
t
vb
v
v
2
v
w
n
dx
Q
t
w w
v
b
1
2
f u
w w
f w dx
w2 dx
1
2
f w dx
onde na ltima igualdade usamos integrao por partes do termo

que w a soluo do problema elptico (3.4.12) em , isto ,
u
vb
w2 dx
w dx
w w
1
2
Q
t
1
2
1
2
f u
f u dx
u2 dx
1
2
Tambm temos
v2
dx
v v
4

v2
f u
1
2
Q
p
v
b
v
b
Q
t
f v dx
v v
Qt
vb
v
v2
vb
Q
t
f u
1
2
f v dx
1
2
f u dx
u2 dx
1
2
Mas
I1
I2
Primeiro vamos analisar I1 . Como estamos trabalhando com um canal de revoluo R

x1 y : y r x1 , temos a seguinte identidade em R :
T
p
66
r x1
y y u
r x1
u
x1
4 u
"
Mu
x1
v v
x1 x1
Mu
x1
v v
x1 x1
Mu v
x1 x1
v
s
u
x1
u
x1
v v
(3.4.28)
P
Q Q
3.4
A prova desta relao como segue. Fixado x1 , fazemos o seguinte mudana de variveis
r x1 z e obtemos
B 01
u x1 r x1 z dz
u x1 y dy
x
1
1
x 1
Mu x1

"
Q
Tomando a derivada com relao a x1 , temos
r x1 z y u x1 r x 1 z
B 01
"
u
x r x1 z
x1 1
dz
Mu
x1
Com a mudana de variveis acima, temos

r x1
y y u x1 y
r x1
u
x y
x1 1
x
1
1
x 1
Mu
x1
dy
o qual prova (3.4.28).

Em particular
Mu
dydx1
x1
1 v
r x1
yy u x1 y dydx1
x
0 x 1 1 r x 1
u
x1
v
w
Mu
x1
x
1
v
s
v x1
u
M
x1
x1
v
x1
Mu v
x1 x1
u
x1
I1
onde usamos (3.4.28) na ltima igualdade.
, temos
v
1
u
4
1
y u
4
2
L2 R
2
L2 R
67
2
L2 R
X p
C N
N 1
2
L2 0 1
. Portanto, temos que
C N
QQS
PQ Q
P
I1
y u
PQ
P
Q Q
2
L2 R
N 1
2
H1 0 1
L2
PSQ Q
e, observando que y u
y u
Mas temos estimativas uniforme de v

I1
L2
C v
X X p
y u
v x1
y u
PSS 7g Q
Q
SQ Q
P
I1
c , obtemos
c e que y
Usando agora que r x1 r x1
L2 R
Por outro lado, observe que
M u
M u
M u f
v g x 1 v
1
0
v g x 1 v
v2
1
0
4 h
v f
v
b
g x1 M f
v 6
v v
g x 1 v
v 6
1
0
v g x 1 v
M u
M u
v g x 1 v
M u
v g x 1 v
v 6
M u
I2
v
s
Donde obtemos
dx
1.
0
2
L2 R
I1
Por (3.4.16) (Lema
L2 R
1 2 y u
2
L2 R
X r
7
X
P
X
M u
1 4 u
C N
L2 R
X p
1

H!
PS Q
Q
P
C N
y u
N 1
2
L1 R
v g x 1 v
2
v
N 1
2
M u
Q
p
M u
Q
p
M u f e
f v dx
3.4.2), obtemos
v2 dx
v
b
onde
P
Pelo Lema 3.4.5,
C N N
P' S
Q
T1 u
Q Q
S
T0 u
C N N
H1
PSS Q
Q
e portanto
1 2 u
2
H1
C N N
P
SQS Q
Colocando juntas todas as estimativas de , e I1 , obtemos
1
u
2
2
H 1 R
f v dx
2
H1
v E
1 2 u
C N N
Qp
2
H1
68
1 2 u
1 2 u
2
H 1 R
C N N
Portanto,
v2 dx
Q
p
f u dx
u2 dx
v
w
Q
p
f u dx
u2 dx
v
b
3.4
C N , ento
2
H1
2
H 1 R
C N N
P
X
Como obtemos
e em particular
1
O N
4

Observao 3.4.1 A estimativa (3.4.14) com ordem N 1 no suciente, pois no d

nenhuma informao sobre o comportamento de u no canal. Se u e v so uniformemente
limitadas em L , com u e v uniformemente limitadas (por exemplo u 1 e v 0),
ento vale u v 2 1 R
C N 1 . Portanto esta desigualdade no implica que u e v
H
estejam prximas em algum sentido como funes denidas em R .
C N d mais informao sobre o

No obstante, a estimativa do tipo u v 2 1 R
H
comportamento de u no canal. Esta nos diz que realmente u e v tem que estar prximas em
algum sentido no canal. Uma norma relevante no canal seria
X X
2
H 1 R
N 1
no sentido que, se esta norma tenda a zero para alguna funo u , ento podemos assegurar
que a funo u realmente tem que estar perto de zero em algum sentido no canal.
Vamos estimar o terceiro termo do lado direito de (3.4.8),

Lema 3.4.7 Existem constantes positivas C, C tais que
C R .
C R e denotemos por
69
1M f
M f
.
E A0
e z
E A0
EC
H1
1M f
"

t U
U
t 6
EC A0
UU
K :
onde z
1M
Demonstrao. Seja f
A0
L2
N
2
1 2
N 2
1 e f
1M f
UU
EC
UU

A0
onde 0
) )

X X
r) )

X X p
A A
EC
1 2
(3.4.29)
w v equivalente ao seguinte sistema
dx1 dy
(3.4.31)
dx1 dy
2
C1
y e observe que S x1

Q Q
Q Q
Q Q

v
b
v
6
70
x
11
y 2dy

Q Q 6

x
1
y 2
dy
Q Q
x
1
y 2 dx1 dy
6
v
6
#
& 6
Com isto temos que
(3.4.32)
Q Q

dada por S y
y 2 dx1 dy
1 1
w
y

N 1
v 1
dx1 dy
y 1
sup
y 2 dx1 dy
N 1
w
y
dx1 dy
dx1 dy
w 1 y

v
b
y2

Q
y 1
9
Q

sup
9
x1
S
Q

x
1
v 0

y2
Consideremos a transformao S :
x 1 .
2C1
h 1
dx1 dy
v 1
9

C1
w 0 y
h 1
dx1 dy
S
Q
9
C1
x
1
g
x 1 w 1 y
h x1
v 0
v 0
, ento s vamos estimar
g

x
1
z x1
9
z
D
2
L2 R

h 1
x
1
z x
h x 1 w 0 y
2
L2 R
z
x
1
2
L2 R
s g
s
2
L2 R
2
L2

i
{

2
L2
K 2 2 R
L
Como
R .
h x 1 w 0 y

x1 y
v x1
v 1 ,
R e v x1 y
x 1 w 1 y
x1 y
v x1 ,
(3.4.30)
01

rg
e z x1 y
x1

6
1
gv
v M f
x
g x1 1
v 0
w 0 v 1
w 1
2
w
n
1M f
Observe que A0
3.4
a medida de Lebesgue (N-1) dimensional da bola unitria. Analogamente se
h
X
N 2 2
(3.4.33)
2
C1
C2
(3.4.34)
X
X
L2 R
2C1 N
2
L2 R
O N
v
K
Logo
Q Q
y 2 dx1 dy
x
1
mostra que
4
h
onde N
C1
X
X
As seguintes propriedades valem (ver Mora [37])
(3.4.36)
Q Q
P
Q Q
C1
(3.4.35)
C
f C
C
f
12
onde C uma constante que no depende de .
Usando (3.4.36) em (3.4.34), temos
Q Q
X h
1 2
L2 R
N 2 2
C3
(3.4.37)
Por outro lado, como em (3.4.31),
dy
C2 N w 2
C
w 1 y
2 C2 w
dx1 dy
v 1
2
C

2
C
x1
dx1 dy
x
dy
vb
2 C1
h 1
Q
2 C1 w
v 0
9
x
1
w 0 y
S
Q

h x1

Q
x
1
9
2
L2 R
S
Q
P
e
C2 N
L2 R
(3.4.38)
Usando (3.4.35) em (3.4.38), temos a seguinte estimativa
Q Q
X
71
N 2
f
L2 R
C4
(3.4.39)
Usando (3.4.37) e (3.4.39), temos a seguinte desigualdade de interpolao
1 2
1 2
(3.4.40)
P

X X
6 h Q Q
X 6 p h

X
N 2
2
N 2 2
C3
C5

X
Q Q
X h
1
1
1
C4 C3
N 2
f
C4
1
L2 R
L2 R
Q Q
X

L2 R
6
X
6 Q Q
Isto mostra a primeira desigualdade em (3.4.29).

Para mostrar a segunda desigualdade em (3.4.29), denotemos por D A A 1 K
K A 1 K . Como K H 1 , mas K H 1
H 1 R , ento podemos
estimar K H 1 H 1 R
K H 1 R . Como j estimamos K L2 R , s nos falta estimar
w 1 y
y w 1 y
Q Q
2
C1
2
C1
Q Q
2 C1 N w
2
C1

v 6
v 6
O N .
v

2
C1
72

2
C1
v 1

v

v
dx1 dy w
dx1 dy
dx1 dy
2
C1
y 2 dx1 dy w
x
1
dx1 dy
9
x
1
S
Q

v
x
1
v
v
b
v
b
v
v
2C1 N w

dx1 dy
x
1
dx1 dy w
C N w

y w 0 y
y 2 dx1 dy w
x
1
x
1
9
C1
S
Q
C1
0 x1
v
s
x1
9
h 1
v 0
z x1
g
7 e
x1

(!
7
C1
x
1
h 1
1
1
w 0 y
h x1
x1 , usando (3.4.33),
z x
7g ge
C1
X X
h x1
onde tambm usamos que
2
L2 R
1h
2
L2 R
x1
x , h 1
1h
. Como h x1
L2
K
temos
dx1 dy
dx1 dy
3.4
Usando (3.4.36) nesta ltima desigualdade, temos
Q Q
4
X X
Q Q

X X
6 Q Q
N
f 2
C
N 2
C8 1 2 f
C7
N 2
f
12
Q Q

X
C
C6
, usando (3.4.40) e (3.4.41),
2
L2 R
P
P
H 1 R
H1
C5
H1
K 2 1
H
2
L2 R
(3.4.41)
Q Q
2
H 1 R
H 1 R
2
H1
L2 R
N 2
f
12
C6
Como K
temos
(3.4.42)
Por outro lado, tambm temos de (3.4.39) que
X X
Q Q
X
H 1
1 2
L2 R
(3.4.43)
Q Q
N 2
f
12
UQ Q
U
C4
C5
N 2
f
1 2
UU
H 1
Q Q Q RP
Q
Q Q
UU
U
U
P
P
onde usando (3.4.39), (3.4.42) e (3.4.43), temos a seguinte estimativa
H1
N 2
H 1 R
Q Q
4
X X
C9
1 2
H 1
U
U
H 1 R
H1
UU
(3.4.44)
Agora vamos estimar o segundo termo do lado direito em (3.4.8)
t 6
UU
Para isto vamos necessitar dos seguintes resultados.
C g
H 1
UU
H1
1g
C f
UU
UU
UU
A A
1M f
ii
EA0 A0
0, tal que
73
H1
EC R0 A0 M EA0 A0
R0 A
UU
A A
H 1 R
Demonstrao.
"
v x1
L L
f x
1
x 1

v

"

L 0 1
P F
&
L L L
f x1 y dy
(3.4.46)
01
&
Da denio de M , segue que M
M e
M f x
4

f
L 0 1
F
F
x1 y
L 0 1 L
O operador M tambm depende de , isto , M

M : L
(3.4.45)

&
E w v
Logo, da denio de E , temos que E
wx

&
wv
L 0 1

E : L
E e
i O operador E na verdade depende de , isto , E
Com isso,
L L
C A0 A0
P F
L L L
L 0 1
UU
UU
UU 6
(3.4.47)
L 0 1 , tal que
A0
wv
(3.4.48)
4
w
UU
Seja g
EA0 A0
A equao (3.4.48) equivalente ao seguinte sistema

em
w
n

1
gv
v Mg
x
g x1 1
v 0
w 0
v 1
w 1
em
em
(3.4.49)
01
"

e, procedendo como na prova da Proposio 3.3.1 iv , obtemos
X X
Q Q
A0
1,
X X
Q Q
P
ento
74
X X
X X
X X
Como A0 A0
4 F
C 01
L 0 1
C g
L 0 1
L 0 1
4 F
L 0 1
X X
C g
X X
X X
U
U
A0
L 0 1
U
U
A0 A0
3.4
P
Voltando para (3.4.47), temos
L L L
(3.4.50)
EA0 A0
U
U
onde C uma constante que no depende de e .
U Q
Q
U
H 1
H 1
H 1
H 1 , ento
UU
UU
Seja f
1.
UU
H 1
X
P
UU
u equivalente a resolver o seguinte problema
(3.4.51)
, isto ,
Q Q
P
H 1
UU
X
6
em
Q Q
P
em
w
n

H 1
De (3.4.51), temos u
UU
1f
Agora A
A A
ii Observe que A A
U
U
onde a constante C independente de . Com isto temos
C f
H 1
H 1
C f
H 1
H 1
UU
X X

A A
H 1
UU
Portanto
L H 1 H 1
UU 6
1
UU
onde C uma constante que no depende de e .
75
A A
(3.4.52)
Usando o Lema 3.4.8 e a Proposio 3.4.1 temos
C N
H 1 R
H1
H1
H 1 R
EC R0 A0
EC R0 A0 M E A 0 A0
U
U
C R0 A
R0 A
A A
(3.4.53)
Agora vamos estimar o primeiro termo do lado direito em (3.4.8). De fato,
EM f
H 1 R
H 1 R
L L H 1
H1
EM f
UU
X X
9 U
U
t 6
f
EC R0 A0 M
MC N
EC R0 A0 M
M R0 A
R0 A
UU
A A
(3.4.54)
Logo temos o seguinte teorema.

C
C R , ento temos
C N
H 1 R
UU
H1
ER A0 M f
(3.4.55)
R A
Teorema 3.4.1 Se f
U
U
Demonstrao. Usando (3.4.54), (3.4.53) e o Lema 3.4.7 temos
M f
H 1 R
M f
H1
N 2
H1
H 1 R
H 1 R
X X
u
t 6
1 2
Q Q
C9
UU
t U
U
UU
U
P
C N
C N
H1
A0
UU
EC R0 A0 M E A 0 A0
t 6
t 6
EC
EM f

U u
U
R0 A
EC R0 A0 M
C N
R0 A
H 1 R
A A
A A
A A
H1
UU
ER A0 M f
UU
R A
(3.4.56)
3.4.2 Comparao dos semigrupos lineares

Nesta seo queremos comparar os semigrupos lineares associados aos problemas (P ) e (P0 )
respectivamente. A primeira diculdade que enfrentamos que os semigrupos e A t : t 0
e e A0 t : t 0 esto denidos em espaos diferentes, isto e A t : X X e e A0t : X0 X0 .
6
6 x
&
&
6 x
Com os resultados da seo anterior, estamos em condies de estimar os semigrupos
lineares no sentido da proposio abaixo.
76
1 e uma funo , com
&
Proposio 3.4.2 Existem um nmero 0
0 quando
3.4
&
0, tais que
(3.4.57)

U
U

UU
UU

U
U
X

v
v

6 UU
P
P
onde
A
A0 uma curva adequada no plano complexo.
A A0
a , com a 0 (perto do zero), podemos tomar
1.
Logo, temos
C11 N 2 eat t

P
H 1 R
@

H1
C10 eat t
(3.4.58)
UU
GH

M f
A0 t
Ee
e t d
6 UU
A t
4VT
H
%
Com esta curva temos que
Como
H 1 R
H 1 R
H1
H1
e t d
ER A0 M f
ER A0 M f d
R A
e t R A
1
2 i
H 1 R
UU
e t
N 2
C
H1
UU
M f
1
2
A0 t
Ee
C R . Ento
6 UU
U
f
A t
Demonstrao. Seja f
H 1 R
M eat t
UU
0.
M f
C R e M
A0 t
X 6
H1
Ee
onde f

A t
Por outro lado,
A0 t
M f
C13 t
Ee
1 2
H1
H 1 R
(3.4.59)
X 6
X 6
1 2
C14 t
1 2
H 1
X 6
C12 t
A t
6 UU
U
P
H 1 R
H1
UU
UU
M f
A0 t
UU
Ee
A t
UU
6 UU
U
e
De (3.4.58) e (3.4.59), obtemos a seguinte desigualdade de interpolao

H 1 R
H1
M f
C15 N
2 at
e t
A0 t
UU
1e0
Ee
6 UU
U
X 6
onde 0
A t
(3.4.60)
1.
3.4.3 Comparao dos semigrupos no-lineares

ET0 t M .
Proposio 3.4.3 Existem uma constante positiva C e uma funo N , com N
77
&
Agora podemos calcular T t
0 quando
&
0, tais que

CN t
6
H 1 R
R (3.4.61)
L2
0 0 .
C R e
H1

U
U
onde C
ET0 t M
T t
Demonstrao.
k
U g
H1
H1
H 1 R
H 1 R
ds (3.4.62)
UU
F0 T0 s M
A0 t
Ee
6 6
g 6 6 i

9
U
6 UU P
U
A0 t s
Ee
F T s
A t
H 1 R
U
U
U
U
U
A t s
H1
ET0 t M
T t
Somando e subtraindo o termo eA t s F ET0 s M no segundo termo do lado direito de

(3.4.62), e lembrando que F0 T0 s M
MF ET0 s M , temos
H1
H 1 R
H 1 R
H 1 R
UU
UU
9
UU
U v
p
U
U 6 6
U

X X 6
ET0 s M
UU
H1
ET0 s M
H1
H 1 R
k
U
U g
T s
F ET0 s M
T s
MF ET0 s M
H1
ds
CL
hg
H 1 R
a t
UU
6 i UU v
U
6 UU v
U
U
v 6
6
CL
UU

6 UU P
C16 2
ea t
C15 2
e t
A0 t s
H1
A0 t
UU
at
Ee
Ee
C15 2
F ET0 s M
F ET0 s M
A t s
F T s
A t s
A t
H 1 R
"g

6
H1
0
t
ET0 t M
T t
H1
H 1 R
Pela desigualdade de Gronwall temos

C17 2
H1
UU
H1
ET0 t M
ea
Lt
h p
UU

bh
onde a
T t
(3.4.63)
a e L a constante de Lipschitz de F .
3.5 Semi-continuidade superior dos atratores

Primeiro vamos enunciar a denio se semi-continuidade superior de atratores.
&
78
H 1 R
quando
&
H1
semi-continua

UU
u0
UU
inf
sup
u A u0 A 0
H 1 R se
0 no espao H 1
superiormente em
A : 0
Denio 3.5.1 Dizemos que a familia de atratores
(3.5.1)
3.5
Semi-continuidade superior dos atratores
O seguinte resultado nos d a semi-continuidade superior dos atratores
A . Como os atratores A so
limitados uniformemente em e A0 atrai conjuntos limitados, ento existe um tempo

que
uniformemente em
P u
7
dist T0 A A0
0 tal
0 um nmero pequeno e u
Demonstrao. Sejam
0 no espao
Proposio 3.5.1 Os atratores A so semi-contnuos superiormente em

H 1 H 1 R .

A , tal que
Agora, se u A , pela propriedade de invarincia dos atratores, existe w

T w
u .
"
Em particular
dist T0 A A0
, 0
U
U
P
P
Escolhendo sucientemente pequeno, obtemos dist u A0

4 7 6

9
u t
2
CN
ET0 Mw
T w
dist T0 A A0

dist u T0 A
dist u A0
P u
Corolrio 3.5.1 Se denotarmos por E o conjunto de pontos de equilbrios de (P ), com

0 0 , ento
H1
&
H 1 R
UU
u0
quando
UU
Demonstrao.
&
inf
(3.5.2)
sup
u E u 0 E0
Para mostrar a semi-continuidade superior do conjunto de pontos de
&
equilbrio E , vamos provar que para qualquer sequncia de 0 e para qualquer u

E , podemos extrair uma subsequncia, que ainda denotaremos por , e obter um
&
&
UU
UU
u0 E0 tal que u u0 H 1 H 1 R
0 quando 0. De fato, da semi-continuidade
superior dos atratores dada por (3.5.1), obtemos a existncia de um u 0 A0 tal que
u u0 H 1 H 1 R
0 quando 0. Para mostrar que u0 E0 , observamos que para
quando
&
&
H 1 R
0. Alm
H1
UU
UU
&
Et0 t u0
2
T t u
UU
UU
H 1 R
UU
&
UU

U

U
UU
H1
, quando
H1
&
&
ET t u0
UU
T0 t u0
qualquer t 0, u ET0 t u0 H 1 H 1 R
u0
disso, para 0 xo e qualquer t

0 , temos que
UU
onde usamos (3.4.61) e o fato de u ser ponto de equilbrio. Em particular temos que para cada
T0 t u0 , o qual implica que u0 ponto de equilbrio.
0, u0
79
C APTULO
Padres induzidos por controles no-lineares

na fronteira
este captulo estudaremos a existncia de equilbrios no-constantes estveis

(padres) para equaes de reao-difuso com condies de fronteira no linear
em domnios pequenos conectados por canais nos. Mostraremos a convergncia

de autovalores e autovetores para o operador Laplaciano nestes domnios. Esta informao
usada para mostrar que a dinmica assinttica da equao do calor neste domnio equivalente
a dinmica assinttica de um sistema de duas equaes ordinrias fracamente acopladas. As
principais ferramentas usadas so a Teoria da variedade invariante e o Teorema do trao
uniforme no canal no.
4.1 Introduo
Nesta seo nosso objetivo estudar a existncia de padres para o seguinte problema
0
t x
R (ver Figura 4.1),
com
(N 2) domnios, R um canal no que conecta L e
R , 0 um parmetro positivo pequeno, 0 uma constante positiva, e f , g so funes
L ,
R ,

denota a derivada normal exterior a fronteira de
(4.1.1)
em
t x
!
gu
em
f u

onde
N 1
!
ut
u
N 1
no-lineares satisfazendo certas propriedades de dissipatividade que sero especicadas mais

tarde.
Existem vrios trabalhos em existncia de equilbrios estveis no-constantes para
problemas de reao-difuso com condies de Neumann na fronteira. Matano [36], mostrou
81
Padres induzidos por controles no-lineares na fronteira
R
L
Figura 4.1: Domnio tipo Dumbbell

um importante resultado na existncia de padres para problemas de reao-difuso com
condies de Neumann homogneas na fronteira
k f u
em D
em D
(4.1.2)

ut
onde D um domnio no-convexo. Nesta direo esto tambm os trabalhos de Hale e Vegas
[25] e Vegas [42].
Consul e Sla-Morales ([21],[22]) estenderam os resultados de Matano provando a
existncia de equilbrios estveis no-constantes para equaes de difuso com reao nolinear na fronteira
ut u
em D
(4.1.3)
u
k f u
em D
Nos trabalhos de Jimbo [30, 31] foram estudados os equilbrios de (4.1.2) com coeciente
de difuso homogneo. Ele deu um estudo detalhado da estrutura das solues no limite
singular e, em [29], considera o canal no que une L em R com volume pequeno quando
&
o parmetro 0 e se aproxima de um segmento de reta. A tcnica usada nestes trabalhos

similar a de Matano [36].
Jimbo e Morita, em [33], estudaram o problema de autovalores para o operador Laplaciano
n que consiste de k
com condies de Neumann homogneas em um domnio
subdomnios xos e canais nos que unem estes subdomnios. O volume de cada canal no
controlado por um pequeno parmetro
0 e estes canais nos tendem a um segmento

82
4.1
Introduo
de reta conectando estes subdomnios num certo sentido (alguns destes canais podem ser
vazios). Eles caracterizaram os autovalores e autofunes para o operador neste domnio.
Usando a teoria de variedades invariantes, eles mostraram que a dinmica para o problema de
reao-difuso equivalente a dinmica de um sistema de equaes diferenciais ordinrias na
variedade invariante.
Morita, em [38], estuda em detalhe o comportamento assinttico das solues para o
problema de reao-difuso de uma equao anloga a (4.1.2), em domnios parametrizados
2 . Particularmente ele estudou a estrutura da dinmica global deste sistema

por 0,
para pequeno. Usando a teoria das variedades invariantes, mostrou que a dinmica deste
sistema equivalente a um sistema de equaes diferenciais ordinrias reduzidas na variedade
invariante.
Morita e Jimbo, em [39], estudaram a dinmica das solues para um sistema de reaodifuso num domnio de forma especca. Aqui, o domnio tem k regies grandes D i i
gg
1
k e os canais nos Qi j conectando Di e D j se aproximam a um segmento de reta
quando 0. Nestes domnios, os k primeiros autovalores de , com condio de Neumann
&
&
homognea na fronteira, tendem a zero quando 0, enquanto que, os k 1 - autovalores

tendem ao innito. Aqui eles mostraram que o comportamento assinttico do uxo associado
ao sistema de reao-difuso determinado por um sistema nito dimensional, isto , toda
soluo se comporta assintoticamente como uma soluo de uma equao diferencial ordinria.
Eles mostraram sob certas condies que existe uma variedade invariante de dimenso nita
que atrai exponencialmente toda soluo.
Existem vrios trabalhos em problemas de autovalores para o operador Laplaciano em
domnios perturbados, como por exemplo [8], [25], [30], [42] etc.
Neste trabalho, usaremos a teoria de variedades invariantes e um Teorema de Trao
Uniforme para mostrar que a dinmica de (4.1.1) equivalente a dinmica de duas equaes
diferenciais ordinrias na variedade invariante.
Os padres obtidos por condies de fronteira no-linear so, especialmente, interessantes
para problemas de controle envolvendo modelos de reao-difuso, onde a fronteira , em geral,
a nica parte acessvel do domnio.
A diferena entre nosso trabalho, neste captulo, com o trabalho de Consul e Sla-Morales
([21], [22]), que os equilbrios associados ao sistema de duas equaes diferenciais ordinrias
so assintoticamente estavis, enquanto que, em [21] e [22], estes so somente estavis.
x1 x

"
gg
83
xN
x 1 x2
com fronteiras suaves e
(II). Existem coordenadas ortogonais x
(I). L , R so domnios limitados em
na forma
Agora vamos especicar o domnio singularmente perturbado

R , onde L , R e R so denidos nas seguintes condies:
0.
/
tais que as seguintes

i
positiva em 0 1 .
: x
h x1
:0
0 , o qual isomorfo ao segmento de
gg
10
G DT
gg
gg

i
0 e P1
:0
R
00
z0
g
GH
(
cujos pontos nais so P0

:0 z 1
reta z

"T
g g
: x
Denamos o segmento de reta

L
1 x
C1 0 1
x1
C0 0 1
onde h
:0
1x
Q QV

G

i G
e
N
T
p
1 x
x1 x
: x1
0x
Q V P
Q
1
Q QC E
x1 x
0 x
i HDT
G
#

i H'T
G
: x1
Q Q
1
Q Q
x1 x
0,
T
T

condies valem para alguma constante positiva 0
G
4.2 Convergncia de autovalores

Nesta seo, vamos considerar os seguintes problemas de autovalores
em
u1
u em 0
(4.2.2)
1 du
dz

u0
hN
em

d
dz
em
(4.2.1)
1
hN
em
(4.2.3)

Denotemos por k 1 , k 1 e j 1 , respectivamente os conjuntos de autovalores

j
k
k
de (4.2.1), (4.2.2) e (4.2.3) arranjados em forma crescente e com multiplicidade. Tambm
d T
d T
d T
denotemos por k 1 , k 1 e j 1 , respectivamente, os conjuntos de autofunes

j
k
k
ortonormalizadas de (4.2.1), (4.2.2) e (4.2.3) .
d T
d T
d T
k 1
k 1 em ordem crescente, contando a multiplicidade e
k
k
denotando-os por k 1 , ento temos a seguinte
k
d T
G
$
d T G
d T G
Rearranjando
84
4.2
Convergncia de autovalores
Proposio 4.2.1 (Jimbo e Morita [33], Proposio 2.1)

1
(4.2.4)
O seguinte teorema d uma caracterizao para o conjunto de autovalores k
n 1
(4.2.5)
1.
1
hN
d
dz
hN
1
hN
1d
dz
Observao 4.2.1 Os autovalores n de
, em 0 1 , com condies de
n , n
n 1
n , lim n
d T
GH
$ d T
G
onde lim n
n 1
pode ser escrito como
d T
n 1
d T
Teorema 4.2.1 (Jimbo [31], Teorema 1) O conjunto n
.
k 1
d T
lim k
Dirichlet homogneas na fronteira, so o limite de autovalores n de em R com condies

de Dirichlet homogneas na fronteira R e condies de Neumann homogneas
u1
1 du
dz
&0
u0
hN

d
dz

em outro lugar, isto ,
ver Arrieta [3] para maiores detalhes .
gg

Q Q
&
N 1,
existe uma
R
L y 1 y

&
: Q
y1 y
W

x1
y1
h y 1 yN
85
xN
h y 1 y2
.
.
.
x2
.
.
.
G
s
x1 x . Em outras palavras, temos a seguinte mudana de

!

y1 h y 1 y
1 y
C

onde L y1 y
variveis
y1

"
:0
y1 y
,y
y2
yN
transformao L a qual mapeia R sobre Q . Esta transformao dada por
Denindo Q

C
A matriz Jacobiana desta transformao dada por
gg
hN
h y1
..
0
0
.
.
.
0
h y1
.
.
.
h y1 y2 h y 1
0
h y1 y3
.
.
.
.
.
.
"
h y1 yN
gg
gg
gg
J L
e o Jacobiano dado por
x1 x
y1 y
y1
4
6
xN
yN

gg

gg

x 1 x2
y 1 y2
Com isto, temos o seguinte lema (similar ao Lema 3.2 em Arrieta [4]).
&
H 1 R
u L
&

u
x x
x1 1
u
x x
xj 1
N
h y u
u
y1 y
yk h y 1 y y1 y
y1
1
k
k 2
1 u
y y
j 23
N
h y1 y j 1
(4.2.6)
y y
y1 1
u
y y
yj 1
N
h x u
u
x1 x
xk h x 1 x x1 x
x1
1
k
k 2
u
h x1
x x
j 23
N
xj 1
(4.2.7)
gg
4

yN dy1
gg

|

y1 u y 1
H1 R , temos
gg

hN

gg
v
w
dxN
9
gg
xN dx1
gg

u x1
Alm disso, existem constantes c1 c2 , tais que, para todo u
satisfaz
: H1 Q
1 entre H1 R e H1 Q , isto ,
Lema 4.2.1 L induz uma transformao 1
dyN
v
e
P
X X
X X
P
X X
X X
u
2
L 2 R
P
P
2
H1 Q
2
H 1 R
X X
X X
c1 u
2
L2 Q
c2 u
c2 u
2
L2 Q
2
H1 Q
c1 u
(4.2.8)
Para provar o Lemma 4.2.1 veja os detalhes em Arrieta [4]. Assim, podemos facilmente provar
a observao 4.2.1.
86
4.2
1 2 , 3 0, 1 0 e (4.2.5), podemos ver que 1 0, 2 tende a 0 enquanto que
3 limitado longe do 0 quando 0. Isto mostrado no seguinte teorema.
&
Teorema 4.2.2 (Convergncia de Autovalores) Se n

(4.2.2), ento
0,
0
&
iii 0 no um ponto de acumulao de 3 : 0
0 .
0 quando
&
ii 2
i 1
e n autovalor para o problema
De 0
Demonstrao.
0.
(i) fcil ver que 1
(ii) Seja
o segundo autovalor de (4.2.2). Aqui seguiremos as idias de Carvalho e Pereira
em [18]. Primeiramente, vamos exibir uma funo teste H1 C que s depende
de x1 , onde

L 2
(4.2.10)

(4.2.9)
em R
0
em R
c
2
com c c so solues de
1
1
em L
linear
X

O sistema (4.2.10) equivalente ao seguinte sistema
c
2
0
1
c R
(4.2.11)

c L

Da primeira equao de (4.2.10), temos que
L2
1 1 2
4 6
&
w
Q Q
X X

v P
v
Q
0 quando
P
v SQ
1 2
1 2

&
1 2
v

Logo segue que
(4.2.12)
0. Usando o lema Elptico (Lema 2.4.1), conclui-se que

87
K, onde K : K N uma constante positiva. Com isto temos
SQ
P
&
Q
X
P
K 2 R
2
L
0 quando
2
L R
&
Q
p
Q
Q

(4.2.13)
Como L e L so nmeros reais no negativos, da segunda equao de (4.2.11), segue que

c e c so limitados em . Logo existem subseqncias que denotaremos novamente por c e
1
2
1
c que convergem para c0 e c0 respectivamente. Da primeira equao de (4.2.11), vemos que

2
1
2
c e c tm sinais opostos. Para efeitos da unicidade do limite, vamos considerar a priori c
1
2
1
com sinal negativo.
Assim, temos que o sistema (4.2.11) tem um sistema limite que dado por
c
2
Q Q
Q Q
2
c
1
(4.2.14)
c0 R
2
c0 L
1
Da primiera equao de (4.2.14), temos

L 0
c
R 2
(4.2.15)
H
Q
c0
1
Substituindo (4.2.15) na segunda equao de (4.2.14) temos
(4.2.16)
Q QQ
c0
2
onde
L
R
Usando (4.2.16) em (4.2.15) temos
4
Q
Q QQ

H
Q
Q
pQ Q
(4.2.17)
Q
Q
c0
Com isto, temos a seguinte funo
) ) )
)
) )
em R
L
(4.2.18)

) ) )
)
) )
em
R
L
0 e 2
88
L2
Claramente
4.2
0
Na verdade 2 a autofuno associada a 2 .
Agora pelo princpio do min-max temos
c
2
x1 dx1 dy
Q
N 1
c
1
dx
(4.2.19)
6
1
R
&
P
P
6
) ) )
&
0 quando
hN
1
L
x1 dx1 e
De (4.2.19) segue que
v
s Q
1 N 1
0 h
c
1
R Q
onde
c
2
0.
(iii) Agora, seja 3 o terceiro autovalor de (4.2.2) e 3 a autofuno correspondente a 3 . A
autofuno 3 satisfaz as seguinte condies
0
(4.2.20)
0
1

3 2
3 L2

onde a autofuno associada ao segundo autovalor de (4.2.2).

2
(4.2.21)
De fato, vamos supor que (4.2.21) no acontece. Logo existe uma sequncia j
j 0, quando j , tal que
&
com
&
lim 3 j
j 1
d T
0, isto
lim inf
&
Agora mostremos que ca limitado longe do zero quando
Ento
3 j 3 j
3 j
3 j 2
3 j
3 j
v
v
Desta ltima desigualdade segue que

quando
89
&
&
3 j
(4.2.22)
Pelo mesmo argumento acima tem-se
&
quando
(4.2.23)
(4.2.24)
&

&
3 j
quando
&
Portanto
3 j
Como H 1 est compactamente imerso em L2 , 3 j tem uma subsequncia convergente,
que vamos escrever de novo por 3 j , tal que esta converge para . Assim temos
2
s L
& 6
& 6
2
s L
Como um operador fechado temos que

que
Q Q
Q
c2

(4.2.26)
0
1
&
c1
c2 c0 R
2
c1 c0 L
0
1
c2 R
(4.2.25)
onde c1 e c2 satifazem o seguinte sistema

c1 L
em R
c2
0 e de (4.2.22)) e (4.2.23) segue
em L
c1
H 1 e
3 j
3 j

Mas o sistema incompatvel, i.e., no existem c1 , c2 que satisfazem (4.2.26). Da temos um

absurdo. Portanto vale (4.2.21).
O seguinte resultado nos d a taxa tima de convergncia do segundo autovalor.
0 N
v
s
2
N
1
hN
x1 x1
S 6
Q
Q
lim
dx1
(4.2.27)
Proposio 4.2.2
onde x1 a soluo do problema de valor na fronteira
N 1 2
N 1 2
funo Gamma.
a medida de Lebesgue N
90
(4.2.28)
c0
2
e N
c0
1
01
1 da bola unitria em

h

6
N 1,

}
hN
com a
4.2
Demonstrao. Da caracterizao variacional, sabemos que

H1

2 dx

v
Q Q
2 dx
dx
inf
Agora, denimos a funo x1 x por
em L
em R
H1 , ento
dx1 dx dx1 dx
H 1 e
"
dx1 dx
x1 x dx1 dx . Como
c0
2
c0
1

) ) 9
"

dx1 dx
x1 x

e x1 x
em R
x1 x
x1
v
Logo temos
Vol BN
91
x1 x1
1

Dg 6
N 1,
dx1 dy
N
Volume de B
D 6
v 6
#
0 em
hN
6
Q
N 1
dy
N
dx1 Vol B
Q
S
Q
S 6
Q
) ) v
x1 x1
Q
S 6
Q
1
dx1
) ) v
dx1 dy
g 6
Q
S 6
Q
x1 x1
x1 x1
dx1 dy
S
Q
Q
hN
hN
x1 x1
S
Q
hN
dx1 dx
2 dx
Q
6
v
v
v

hN
2 dx
x1
Q Q
Q
1
2 dx
2 dx. De fato, da denio de , temos
Q Q
0 a bola de raio
2 dx
Q Q
onde BN
2 dx
2 dx e
2 dx
Agora vamos calcular os termos
N 1 N 1 . Tambm,
6
O N
g 6
O N
dx1
4
6
) ) v
S
Q
Q
S
S Q
Q
Q
S S 6
Q
S S 6
Q
Q
S S 6
Q
Q
S S 6
Q
Q
S S 6
Q
Q
N
dx1 V B
x1 x 1
O N
dy
O N
dx1 dy
O N
hN
S
Q
dx1 dx
dx1 dy
dx1
v 6
) ) v
N
1
x1 x 1
, temos
x1 x
x1 x 1
x1 x 1
x1 x dx1 dx
dx1 dx
hN
O N
x1 x 1
S
Q
1
dx1 dx
hN
v2
v
v
v
Q Q
hN
dx1 dx
Q Q
hN
O N
x1 x dx1 dx
Q
1
0
dx1 dx
dx1 dx
x1
x1 x
x1 x dx1 dx
dx1 dx
x1 x dx1 dx
x1 x
2 dx

x1 x dx1 dx
9
x1 x
x1 x dx1 dx
) )
Como
x1 x

2 dx
dy
Com isto, temos que
N 1 1 hN 1 x
2 dx dy
0
1
1 x1
1
N 1 1 hN 1 x x 2 dx
N 1
1 N 1
0
1
1
1 O
1
N 1 N 1
hN 1 x1 x1 2 dx1 dy O N 1
0

6
6
S
Q
v 6
2 dx
6
6
S S 6
Q
Q
Q Q
S 6
Q Q
2 dx
e consequentemente
v P
92
hN
dx1 dy
x1
2
N 1 N
S
Q
x1 x1
O 2 N
dx1
v 6
6
Q
lim sup
hN
S
Q
que implica em
N 1
(4.2.29)
dx1
2 x1 x , onde x1 x
v P
N 1 dx1 dx
(4.2.31)
2 , usando (4.2.29), temos

2
1

2 x

x1
dx1 dx
P Q
H
G
v
Q
R1
7 Q
dx1 dx
Q
Q
T
p

1

2 x
Como
R1
Para isto, consideramos a seguinte famlia de funes x1 x

R1
x1 x : 0 x 1 1 x
h x1 . Ento

x1
(4.2.30)
x1
hN

C
v E
2
N 1 N
lim inf
S Q
Q
Resta mostrar que
4.2
(4.2.32)
para uma certa constante M independente de . Desta ltima desigualdade, temos

2

dx1 dx

w
R1

x1
Desta desigualdade e da desigualdade de Poincar, concluimos que a famlia de funes

0 uniformemente limitada em H1 R1 .
Portanto, podemos encontrar uma
subsequncia n , com n 0 quando n , e uma funo 0 H1 R1 tais que n 0
1.
&
&
&
fracamente em H1 R1 e fortemente em Hs R1 para todo s
De (4.2.32), concluimos que 0 independente de x . De fato, a equao (4.2.32) nos diz que
P

R1
1
2
portanto, temos que

0
(4.2.33)
&

x 0 fracamente em L2 R1 e x limitada quando
lim inf x
x 0
Seja K um conjunto convexo e fechado de H1 0 1 denido por
H1 0 1 : u 0
93
c0 u 1
1
GH
c0
2
T
4
&
0. Disto concluimos que 0 independente de x .
&
&
e assim x 0
0 quando
Como x
R1
0, temos que
H1 R1 , concluimos imediatamente que
0 H1 0 1 . Para encontrar a condio de fronteira de 0 , usamos o fato de que 2

fortemente em H 1 quando 0. Entretanto da continuidade da aplicao trao H 1
H1 2 R , segue que
&
em H1
#
&
dx1
hN
x1 x1
S S 6
Q
Q
v 6
1
dx1 dx
dx1
dx1 dx
v

0
x1
R1
n
x1
6
6
P

0 R1
J 0 .
Q 6
lim
para u
u x1
S
Q
(4.2.34)
denido por
K temos J
2 n
N
n 1
lim inf
De (4.2.34), segue que
u K
dx1 dx
dx1 dx
min J u e como 0

x1
isto , J
hN

Ju
e que o mnimo do funcional J : X
1

2 y
R1
v E
N 1
R1

x1
2 2 dx1 dx

2 2 dx1 dx
K.
Agora, observe que
R1
&
c0 , e isto prova que 0

2
R1
R1
4

c0 , 0 1
1
Assim, 0 0
"
&
K. De fato, como 0
&
Agora, mostraremos que 0
Isto nos d (4.2.30), a qual junto com (4.2.29) implicam em (4.2.27). Assim concluimos a
demostrao.
1
R
(4.2.35)
94
dx1
h N 1 x1
1
L
onde
0 N
2
N
1
lim
Proposio 4.2.3
(4.2.36)
4.3
Convergncia de autofunes
Demonstrao. A soluo da equao (4.2.28) pode ser encontrada explicitamente
hN
dx1
h N 1 x1
dt
x1
(4.2.37)
c0
1
x1
c0
2
c0
1
"
e assim
dx1
h N 1 x1
`
6
hN
dx1
h N 1 x1
1
R
hN
1
L
c0 2
1
c0
2
x1
QS Q
Ento substituindo esta ltima igualdade no lado direito da equao (4.2.27), chegamos a
equao (4.2.35).
4.3 Convergncia de autofunes

Nesta seo, estudaremos a convergncia das autofunes do problema (4.2.2), tendo como
resultado principal o seguinte teorema.
i 1
&
1 em H k quando
ii 2
&
2 em L2
iii 2
&
2 em H 1 , H 2 quando
1.
&
0.
&
&
quando
0, k
e n so autofunes para o
w
Teorema 4.3.1 (Convergncia de Autofunes) Se n

problema (4.2.2), ento
0.
Demonstrao.
so as correspondentes autofunes
Q
6 Q
1 em H k para todo inteiro k
&
6Q
No difcil mostrar que 1
1 2
(i) Observe que 1

1 2 e 1
associadas ao autovalores 1 0.
0.
(ii) Seja 2 o segundo autovalor de (4.2.2) e 2 a correspondente autofuno associada a 2 .
A autofuno 2 satisfaz as seguintes condies:
(4.3.1)
95
2 L2

Da primeira equao de (4.3.1) segue

1
2
L2
(4.3.2)
&
&
quando
(4.3.3)
&
quando
&
&

v
Q
X
&
&

v

12
2 0 quando 0.
0 (ver Lema 2.4.1). Com isto, da
0, e portanto
Tambm mostra-se que R 2 2 0 quando

segunda equao de (4.3.1), segue que
R
N 1 1 2
X 6

&
w
X

P
v
0, quando
1
2
HP
v
L2
R
R 1 2

v
De (4.3.2) segue que
Agora mostraremos que
&
(4.3.4)
&
2 2
De fato, sabemos que
mP Q
v
(4.3.5)
v
e portanto
&
&
quando
(4.3.6)
v
Logo,
quando
&
&
(4.3.7)
Como H 1 est compactamente imerso em L2 , 2 tem subsequncia, que
denotaremos novamente por 2 , converge para .

Assim, temos
2
fortemente em L2
(4.3.8)
2 0
fortemente em L2
4

&
&
Como um operador fechado, temos que

H1
96
(4.3.9)

4.3
Convergncia de autofunes
De (4.3.9) e da unicidade do limite, segue que
em

c2
L
0
R
0
(4.3.10)
em
c1
onde c1 e c2 satisfazem
Q Q Q

Q Q

L
c2
c1
R
0
0
1
(4.3.11)
c2 R
0
Q
c1 L
De (4.3.11), segue que
Q Q
Q
Q QQ
c2
R
L
c1
Voltando para (4.3.4), temos
c1 c0
1
R
R
0
2 2
c2 c0 quando
2
2 2
&
0
2 2
Da primeira equao de (4.3.11), vemos que c1 e c2 tem sinais opostos. Primeiro

consideramos c1 com sinal negativo e c2 com sinal positivo. Neste caso c1 c0 e c2 c0 .
1
2
c0
2
1 quando
Q
Q Q

&
c0
1
Q w
2 2
Logo
No caso c1 com sinal positivo e c2 com sinal negativo, as constantes c0 e c0 tem os

1
2
mesmos sinais. Logo, tambm vale a ltima equao acima. Portanto, est provado
(4.3.4).
0. De fato,
97
2 2
2
L2
2
L2
2
L2
2
L2
2 , quando
&
&
Agora vamos mostrar que
2 2
2 2
(4.3.12)
Usando (4.3.4) em (4.3.12), segue que
&
0 quando
L2
&
(4.3.13)
(iii) De (4.3.13) e (4.3.6), conclui-se que
&
0 quando
H1
&
(4.3.14)
Consideremos a seguinte norma
X X
L2
L2
X X
H2
H2
(4.3.15)

que equivalente a norma em H 2 .

2 2
L2
&
L2
0 quando
&
(4.3.16)

2 2 , segue que
Como 2
De (4.3.16), (4.3.14), (4.3.13) e usando a norma em (4.3.15), temos a convergncia em

H2 .
4.4 Equao limite para o problema perturbado
Nesta seo, consideremos o problema de reao-difuso (4.1.1), onde
R . Sem
perda de generalidade, vamos supor que 1.

Pelo que vimos na seo 4.2 e 4.3, nos faz acreditar que o sistema (4.1.1) pode ser aproximado
por um sistema de duas equaes diferenciais ordinrias acopladas, as quais descrevem a mdia
pQ Q
de u em L e R .
Agora vamos determinar o sistema limite para o sistema (4.1.1). Este problema pode ser visto
em
em
0.
(4.4.1)
em Carvalho e Cuminato [12] para o caso g 0 e Carvalho [11] para o caso g

Antes de tudo, necessitamos compreender o seguinte problema de autovalores

Denotemos por n e n , respectivamente, o conjunto de autovalores arranjados em ordem
crescente (contando a multiplicidade) e o sistema completo de autofunes ortonormalizadas

do problema (4.4.1).
Ento vale a seguinte proposio.
98
4.4
Equao limite para o problema perturbado
Proposio 4.4.1
quando
quando
&
. Alm disso 3
&
0
(4.4.2)
&
quando
1
R
&
1
L
) ) )
&
C0
&
onde Co
&
0.
Demonstrao. A prova imediata desde que

k
12
N 1 k
(4.4.3)
444
g
onde k so os autovalores de (4.2.2).
Agora consideremos a seguinte decomposio de u
r
t x
span 1 1 ,
(4.4.4)
u t x 2 x
(4.4.5)
u 1 t 1 x
u 2 t 2 x
ut x
(4.4.6)

4
t x
u t x 1 x

u2 t
u1 t

V ,V
onde
u 2 t 2 x

u 1 t 1 x
ut x
9
q
Esta decomposio induz uma decomposio em (4.1.1) na seguinte forma
4

v 6
99
g u 1
f u 1
u1
v
b
u1
v2

u 1

f u 1
f u 1
g
v
f u 1
g u 1
v 6
g u 1
1 u
f u 1
f u
v
s
N 1
N 1
N 1
ut 1
d
u
dt 1
f u 2
f u 2
f u 2
v
2
g u 2

v
2
v 6
v
s
f u 2
v
b
u 2
u2
v
2
u2
u2
f u 2

u 2

f u 2
N2 1
N 1
N 1
g u 2
2
u
N 1 2
2 u
N 1
g u 2
g u 2
f u
v 6
N 1
N 1
v2
ut 2
d
u
dt 2
d
d
d
u
u 1 1
u
dt
dt
dt 2 2
u f u1 1 u2 2
N 1
u 2 2
f u 1 1
v iw9
1 1
2 2
4

u 2 2
v
2
u 2 2
v
b
v i2
v
g u 1 1
u 2 2
u 2 2
g u 1 1
u 2 2
2 2
u 2 2
f u 1 1
g u 1 1
f u 1 1
1 n
u 2 2
v iw9
g u 1 1
1 1
f u 1 1
u2
u 2 2
u 2 2
f u 1 1
g u 1 1
dt
Assim, temos o seguinte sistema
100
f u 2
g u 2
v
2
2
u
N 1 2
g u 1
u2
f u 1
u1
(4.4.7)
Equao limite para o problema perturbado
g u 2
v2
g u 1

u 2 2
g u 1 1
v 9
f u 2
f u 1
f u
N 1
N 1
4.4
onde denota o trao da funo .
&
Como o terceiro autovalor vai para o innito, quando
0, acreditamos que no
importante no comportamento assinttico, e temos
g u 1 1
u 2 2 2
u 2 2 1
f u 1 1
u 1 1
(4.4.8)
u 2 2 2
u2
u 2 2 1
f u 1 1
u2
u1

Usando a convergncia de autovalores e autofunes temos que o sistema limite seria

0
u 2 2
g u1
0 0
u 2 2 2
0 0
u 2 2 2
f u1
u1
(4.4.9)
C 0 u2
0
u 2 2
u2
f u1
u1

que equivalente ao sistema
c0
2
Qt
1 2
Q
Q7
uQ
uQ
Q
Q7
1 2
Q
I
(
Q
I

Q
tH
c0
1
c0 u 2
2
(4.4.10)

onde
R c0 g u 1
2
c0 u 2
2

c0 u 2
1
R c0 f u 1
2
L c0 g u 1
1
c0 u 2
1
L c0 f u 1
1
C 0 u2
c0 u 2
2
R g u1
Q
Q Q
Q
c0 u 2
1
c0 u 2
2
Q
Q
Q
Q
Q
Q
L g u1
u2
R f u1
c0 u 2
1
L f u1

u1
As variveis u1 u2 no so as melhores escolhas para estudar este problema. A melhor

escolha so variveis que reitam as mdias sobre L e R .
Para relacionar u1 u2 com estas mdias, consideramos
R v2
1
2
v1
L R
QQ
101
v2
u x dx
(4.4.11)
L v1
v2
QH
u2
u1
u x dx
v 6Q
Assim
v 6Q
v1
u1
c0 u 2
2

v2
c0 u 2
1
u1
(4.4.12)
v1
Com a mudana de variveis de (4.4.11), o sistema (4.4.10) se transforma em

c0 u 2
1
L g v1
R c0 g v 2
2
1
L
c0
1
c0
2
Q
Q
Q

Q
1
R
QI
L c0
1
R c0
2

Q
QI
Observe que
c0 c0
1 2
(4.4.13)
k
4
L c0 g v 1
1
R c0 f v2
2
L c0 f v1
1
R g v2
0
Q
Q
u2
R f v2
Q
Q
L f v1
R c0 g v 2
2
c0 u 2
2
R c0 f v2
2
Q
Q
L c0 g v 1
1
c0
2
R g v2
L c0 f v1
0 1
u2
u1
L g v1
c0
1
R f v2
Q
Q
Q
Q
i
Q
Q
Q
Q Q
Q
v2
L f v1
u1
v1
Com isto, temos o seguinte sistema
v2
C 0 L v1
v2
4 ) )
) )

) )
)
v2
C 0 R v1
f v1
f v2
v1
L
g v1
L
R
g v2
R
(4.4.14)

Agora, nosso objetivo mostrar que a dinmica de (4.1.1) pode ser descrita por (4.4.14), o que
nos leva a estudar Variedades Invariantes.
4.5 Teorema de trao uniforme em

Antes de estudarmos variedades invariantes, vamos enunciar e demonstrar um Teorema de
Trao Uniforme no domnio .
102
&
"
1 2
L2 dada por
e a aplicao linear contnua : V
X1

G
sn
1 2
L2 :
Consideremos V
span 1 2 , V
e X : D
A
Teorema 4.5.1 (Teorema de Trao Uniforme) Sejam V

0 para todo V , X L2
V V
dx
Teorema de trao uniforme em
4.5
V . Ento
1 2
1
1
L V
L 2
1 2
X X
para cada w
(4.5.1)
"
Demonstrao. De fato, sabemos que

: w
V
1 2
L 2
X X
sup
L V
L 2
1 2
X X
onde
Q Q
X X
v
2
Q Q
P
v
L 2 R
L2
L 2 R
X X
seguinte norma w
Como um domnio xo, fcil estimar a norma w
L2
w ds
w ds
1 2
X X
L 2
X X
. Portanto, s resta estimar a
Para facilitar os clculos, consideramos coordenadas cilndricas r y z com
N 2
1 y

G
G
N 2
H
G
, ento, temos
X X
Q Q
1 dz
1 2 h2 z dy1 dy2
103
dyN
gg
2 h2
z
i 1
dyN
y
h2i dy1dy2
Q
S
2
N 1
Q
w z h z y
z
h2
1 dz
#
&
Q
S
Q
N 2
N 2
w z h z y
gg
N 2
4
T 6
L 2 R
z h z y : 0
1 0
h z y
:0
1 0
Tl 6

w
w 2d
I2
:0
T 6
Se colocarmos I
I2
funo suave. Denotemos por
T Q , onde
z ry
xN
z ry
x1 x2

i
x1 x

: x
x1
N 1

gg
Q
Q

N 2
T
x
r
T R
com h : 0 1
w" R
#
6 # GH 6

S Q
Q
Assim, temos R

2
L2 Q
P 6 S 6
Q
P
P
4
X X 6
6
P
X
X
1 1 2k
a c1
Por outro lado, existe c3
1.
Q
p
. Portanto, temos que
X X
c w
X X
Q
p
Q
X X
X X
L2
1
X
tal que
X X
Q
1
c3
Q
p
c2
2
L2 R
onde c
1
X
X X
, onde c2
c3
2
a k 1 c1
N
Q
S Q
L2
1
X
2
L 2 R
0 1 e k1 uma constante
c2 w
2
1
X
dyN 1 dz

Assim I
2
a k 1 c1
w
N 1
dy1 dy2
2
a k1
w 2 2
L
N 1
2
a c 1 k1 1 w
, temos que
(4.5.2)
onde a uma constante positiva tal que hN 1 z 1 a para todo z

independente de . Agora, usando (4.2.8) em (4.5.2), temos que
I2
N 1 hN 1
yN
gg
1 h2 z
2
a k1
w
N 1
y 1 y2
gg
h2
z
1 h2 z
h z y, onde y
N 1
2
L2 Q
N 2
P

wzy
z, y
h2
z
I2
Fazendo a mudana de variveis z
1 2 h2 z
2 h2
z
1, temos que
4
p
h z y. Como 0
11
onde h
, concluindo, assim, a demonstrao.
4.6 Variedades invariantes

Neste seo, enunciaremos um teorema de Variedade Invariante e um lema de Gronwall
Generalizado.
&
Sejam X e Y espaos de Banach, A : D A

X X um operador setorial, tal que
Re A
0. Seja T t : t 0 um semigrupo analtico de operadores lineares limitados
gerado por A e denotemos por

A potncia fracionria de A e X : D
A com a
&
&
Y funes localmente Lipschitzianas. Um
Y uma variedade invariante para uma equao diferencial
Y :x
104
T
p
(4.6.1)
Gxy
e, para qualquer x0 y0

"
By
F xy
Ax

xy

" s
G
X tal que S
&
se existe : Y
X, G : X
conjunto S
Denio 4.6.1 Sejam F : X
norma do grco.
S existe
Variedades invariantes
tal que x t y t
g
g

de 4 6 1 sobre
s
4 4
uma soluo x
4.6
. Uma variedade
invariante S dita exponencialmente atratora, se existem constantes positivas e K tais que
x0
y0
Ke
X
sempre que x t y t
yt
xt
soluo de (4.6.1).
g

Observe que o sistema (4.4.9) escreve-se como
B y

u1 u2 1
(4.6.3)
F y
(4.6.4)
G y
x
G u1 u2 2
1
u1 u2 , temos

x
Fazendo y
G
0
g R

x
v
4

F u1 u2

G u1 u2
1
v
2
G u1 u2
0
u2
F u1 u2
v
2
(4.6.2)
G u1 u2
1
u2

, B u1 u2
u2
N 1

onde A
G u1 u2
0
u1
onde G y
G u1 u2 G u1 u2 .
0
1
Sejam 0 um parmetro positivo, X um espao de Banach e A : D A
X X um
potncia fracionria de A e X : D A com a norma do grco.
operador setorial. Seja A
s ds t
P

1. Assuma que
#A&
r, : t r
at
0e0

w
#
&
,b
%
D
g
funo contnua, a : t r
&
Lema 4.6.1 (Desigualdade de Gronwall Generalizada) Sejam t
uma
(4.6.5)
P

Ento
Bk a t
k 0
105

(4.6.6)
P

v r
k 1
a s ds
(4.6.7)
c0 b
e
b
e e
s ds
#
&
h
!
P
B t

P
Demonstrao. Seja
s t
s ds
(4.6.9)
e s
s ds,
Segue de (4.6.5) que
at
B t
at
Ba t
Bk a t
k 0
Bn t
4

B2 t
n 1
Suponha por induo que

n 1 1
6 6
s ds
6 g
b n 1
s
n 1
Bn 1 t
Ento
n 1
n 1
bn n 1
n 1
106
n 1 1
d ds
n 1 1
ds d
n 1 1
du d
b n 1
n 1

v
v
6 6 6
6
6

v
6 6 6 v
6
g
v 6
6 g
t
n
b
6 6
B Bn 1 t
(4.6.10)
1 s d b
r
t
c0
r t
!
P
(4.6.8)
0, ento temos que
uma funo contnua e a t
c0 c
r t
ds,
ace b
e nalmente, se : t r
ento temos que
P
!
e s r
c0
E b
b
aE b
6

r
t
r
t
c0
a constante, ento temos que
t
se a t
Alm disso, se a t
b
k
Bk a t
com
4.6
, temos
n 1 1
n 1
n 1 1
6 6
v
6
g
6
v
n 1 1
dz
bn n 1
n 1
bn n 1
n 1
Bn t
6 6
6 6
Fazendo z
Lembrando que
B n
n 1
n
Ento, an
(4.6.11)
1
e assim,

n 1
dt

g
Portanto, pelo Teorema da Convergncia Dominada de Lebesgue, temos que

n .
&
0 quando n e
P

k 0
constante, ento,
bn n
s t n
n
t
abn n
r t n
n n
abn n
r t n
n 1
107
Bn a t
Se a t
Bk a t
4

&
&
Segue que Bn t
ds
an 1
an
& p
n
n 1
B n
1
1
t
0
zn
k 0 n
n 1
an 1
an
Vamos estudar a convergncia da srie
bn
n
Bn t
dz
n 1 1
6 6
p
0, quando
Segue que
un
s
u
ds
ds d
ds d
n 1
v 6
v 6
v
v
n 1
dv d
1
bn n r r
e
vn 1 t n 1 t
n
t
0
bn n r r
c0
e
t n 1 1 d B n
n
t
bn n 1 r r
c0
e
t n 1 1 d
n 1 t
bn n 1 r t n 1 1
c0
s
ds
n 1 0
6 h
6 h
v 6
6 h
v
h
g
c0
temos
h 6
Bn a t
ento
c0
u
t
bn
n
bn
c0
n
bn
c0
n
Bn a t
Fazendo v
ds com
e s r
ace b
P
s
r
t
c0
4

g g
Se a t
aE b
P
Assim,
bn n
n 1
n 0
1 1
c0
sn
n 0
r t
ds
n 1
bn n 1
n 1
h
g
n 0
c0
B a t
6 h
ou ainda,
c0
E b1
b
c 0 b1
e
b
n 1
n 0
c0 b 1 1
r
b n 0 n 1 1
Segue que
9g
108
r t
c0
E b1
b
9g
Bn a t
4.6
e s
s ds ento
r
bn n
s t n 1
s e d ds
n
t
s
r bn n
c0
e
s t n 1 s ds d
n
t
t
r bn n
c0
e t n 1 1 B n d
n
t
n n 1
r
b
c0
e t n 1 1 d
n 1 t
6 h
6 h
c0
Bn a t
r
t
c0
se a t
Assim
v

6
g g v
ed
&
c0 c
E b
g
h
t
1
n 1 1

r
r
c0
bn n
n
n 0
c0
bn n 1
e
n 0 n 1
g

g
n 0
c0
Bn a t
6 h
Teorema 4.6.1 Sejam X , Y espaos de Banach, A : D A

X X um operador setorial
Y X e G : X Y Y so funes satisfazendo:
e B L Y . Suponha que F : X
9
X X 6
Y,
X ,
0,
X X 6
X X 6
t
0,
Y,
0,
X X 6
t
P
6 X
X
P
6 X
X
P
6 X
X
P
6 X
X
p

MB
X , t
P

X
P

X
9
MB e
B t z
Y . Assuma que
MA t
B t z
A t w
MA e
A t w
109
z w em X
LG x
NG ,
NF ,
G x y
&
para todo x y
5
F x y
LF x
&
G x y
G z w
F z w
F x y
Y , onde
A x
B y
0. Considere o sistema
F x y
(4.6.12)
G x y

quando
4

fracamente acoplado
&
X e z
&
para qualquer w
Ento, para sucientemente pequeno, existe uma variedade invariante exponencialmente

atratora para 4 6 12
S
x y : x y y Y
l n y
&
0. Se F G so suaves, ento suave e sua derivada D
L Y X
Demonstrao. O Primeiro passo provar a existncia da variedade invariante. Dados D
e 0, seja : Y X satisfazendo
&
P
X
P
X
QQQ
y Y
sup y
(4.6.13)
QQQ
t a soluo de
(4.6.15)
ds
(4.6.16)
D. A seguir, suponha que e so funes que

B t s
G y
y ds

G y y ds
v 6
v 6
110
B t s

X
6
v
P
B t
t . Ento,

t , y t
v
w
e
B t
ds
6 6
N f MA
e denote y t
ys
(4.6.14)
y t
yt
F y s
g g

satisfazem (4.6.13),
A s
n 0 , G
Y

Seja n0 tal que, para n
Note que
G y y
e dena
B y

dy
dt

Seja y t
y Y
P F

sup D y
4

&
0 quando
&
G
com s
satisfaz
y Y
sup y
sn

4 4
X satisfaz
T

onde : Y
4.6
Agora
QQ
Q
n s t
n s t
ds
4 6
n s t
ds
M B Lg 1
n s t
ds
n s t
QQ
Q
Ento
e
s ds
ds
n s t
QQ
Q
Q
QQ
X 6
QQQ
P
P
Q Q
Qp
X
9
X 6
M B Lg
M B Lg
Lg
M B Lg 1
Y .
X 6
M B Lg
ds
y t
y t
ds
n t
G y y
n t
X 6
M B Lg
G y y
MB e
X 6
MB
n t
MB e
n t
n s t

MB e
n t
MB e

X
P
Seja t
X 6
MB
n t
MB e
y t
y t
Pelo Lema Gronwall Generalizado, temos
QQ
Q
1
1
c 2
r g
P
i
QQ
Q
M B Lg 1
c1
y t
c t
6
onde c
y t
Assim,
6
6
v
6
v
v
MA
MA
F y y
LF y
Q p 6 6
QQ
QQQ
X
X

9
6 6
X
X
X
X

9

X 6 6
MA
111
LF
F y
LF y
ds
y
ds
ds
ou ainda,
c s
c2 1
6

6
ds
c s
ds
6 6
c2 1
LF 1
v
6
v
6
c 1 M A LF 1
X
QQ
Q
MA
QQ
Q
Sejam
I n
ds
, I n
n0 , I n
I n
QQQ
S
c s
v
6
1, existe um n0 tal que, para n

G
4QQ
Q
P
c s
P
6

6
ds
fcil ver que, dado
6 6
c 1 M A LF 1
I n
M A LF
I n
e
(4.6.17)
As desigualdades (4.6.16) e (4.6.17) implicam que G uma contrao da classe de funes que
satisfaz (4.6.13) nela mesma. Portanto, tem um nico ponto xo G nesta classe.
Resta provar que S

y y : y Y uma variedade invariante para (4.6.12). Seja
x0 y0
S, x0 y0 . Denote por y t a soluo do seguinte problema de valor inicial

g g g g g

&
A t s
F y s
y s
g g g g g
ds
y t
uma soluo de (4.6.12) atravs de x0 y0 e a invarincia est

e, de (4.6.17), que l n
&
&
0 quando n
&
&
v g
gg g g g

De (4.6.16)), claro que s n
provada.
y t
Portanto, y t y t
F y t

!gg g g g

t
. Mas a nica soluo de
4
g g g

i
que permanece limitada quando t

x t
A x
S, com t
Isto dene uma curva y t y t

(

g
g
g g w
G
y0
G y y

g
B y
y0
dy
dt
0 quando n .
O prximo passo provar que, para n sucientemente grande, a variedade invariante S

exponencialemnte atratora. Especicamente, se x t y t

112
uma soluo de (4.6.12),
4.6
existem constantes positivas e K tais que
g g g

g

y t
t, soluo de
G y y
B y
g

y t t
dy
dt
e y s t , com s
y t0
x t0
Ke
y t
x t
Sejam t
y t
x t
Ento,
9 g
P
P
M B LG
G x y
y t
y t
y t
y t
G y t
y t

9 g S g 6
Q
6
X
X
X
9
X
9g g g 6
6
X
X

X
9g g g 6
6
X
X

9g g g g g

X 6
G x y
y t
M B LG
y t

M B LG
G y t
v 9
B s
B s
g
MB
y t
B s t
6 X X
y t t
v
2 g 6
B s t
y s
g

X
g g g g g 6

y s t
P
Portanto,
9 g
9 g
9 g 6
6 6 v
X
6 X P X
G y t
y t0
"
y t
9g g g g g
B s
y t0 t
113
B s t0
9 g
t0
so obtidas.
G y t 0
y t 0

"g g g g g

y s t0
y s t0
t. No que segue, estimativas para y s t
c s
X 6
c3
Pelo Lema de Gronwall Generalizado,
y s
Y.
M B LG
y s
z d

P
X
P
y s t
y s t
y s t
t0
Seja s
onde z s
M B LG 1
zs
g
ou ainda,
X 6
y t
y t0
9 g
v 6
t0
c t0
t0
t0
M B LG 1
t0 s
X 6
g
c 3 MB e
y s t0
y s t
e pelo Lema de Gronwall Generalizado

c t0
ds
s
t
t0
t0
t s
t s
6 6
X
X
114
d ds
c 4 M A LF 1
ds
d ds
y s t
c3 MA LF 1
y s
6 6
X 6 6

X 6 6
X 6
c s
9 g
X 6
y s t
g
y s t0
6 6
t s
t s
c s
g g g
y s t
x s
ds
temos
X ,
t0
F y s t0 y s t0
9g g g g
t0
ds

g g g g

t s
t0
t0
ds
ds

t0
9g
v
t
F y s t y s t

g g g g

v 6
M A LF 1
M A LF
t0
A t s
y t0
F y s t y s t
F y s t y s t
A t t0
F y s t0 y s t0
F x s y s
A t t0
g g g g

t0
A t s
A t0 s
v
b
t0
ds
y t
F x s y s
M A LF
y t0
x t0
g g g g

ds
A t t0
e assim, para z t
zt
A t t0
g 6 6 g g g 6 6

9 6 6 9g g 9

t0
F x s y s
A t s
t0
A t s
t0
t
y t
x t
g
9 g
t0
A t t0
X .
A seguir, as estimativas acima so utilizadas para estimar t
gg
t0
t0
X 6
c4
y s t0
y s t
4.6
ou
c s
X 6
t t0
ds
wt
c s t
t s
ds
v

MA t 0
v
v
T P P
G
X
X
6 9 9

t , ento

6
6
6
X 6
X 6 6
t t0
6
6
: t0
t0
t0
sup
e, se w t
M A LF
c5 1

c 1
t
c6 1
s

c 1 t0
zt
t0
dsd
t0
c t s
c6
dsd
t0
X 6
6
e
c5
X 6 6
t s
t0
ou
t0
t
X 6 6
M A LF
zt
onde
n e
MA t0
wt
t t0
wt
t t0
n0 . Portanto,
P
6
6 h
9
P
i
para todo n
du
c u
t t0
1
2
0 tal que n
X 6
c6 1

c
Escolha n0
sup
c5 1

c
1
M A LF
1
2 M A t0
X e
t t0
4 6 6
A suavidade de provada da mesma forma como em [28] e a estimativa para as derivadas

segue da estimativa para suas constantes de Lipschitz. Isto conclui a demonstrao.
Observe que ns separamos o espao de fase em um espao gerado pelas duas primeiras
autofunes do problema (4.1.1) e seu complemento ortogonal. Depois projetamos a equao
(4.1.1) sobre estes espaos e isto produz o par de equaes que aparecem na armao do
Teorema.
Vale tambm observar que o Teorema da Variedade Invariante utilizado tanto para reduzir
o problema a um espao de dimenso nita, como, tambm, para mostrar a proximidade dos
115
campos vetoriais envolvidos.
#(V#
&
funes contnuas localmente Lipschitzianas satisfazendo certas condies

Seja f g :
de crescimento para assegurar que o problema (4.1.1) esteja bem posto e suponhamos que
gu
u
lim sup
)0 )
f u
u
lim sup
)0 )
Observao 4.6.1 Sob as armaes acima para f e g, o problema (4.1.1) tem um atrator
X X
0 e sup sup u
0 0 u A
. Com isto, temos condies para cortar f
global A 0
P
e g tal que os atratores A continuem sendo os mesmos, e f f , g g sejam limitadas. Daqui

em diante vamos assumir sem perda de generalidade que f , g so funes limitadas com
derivadas limitadas.
# &
H'#
Teorema 4.6.2 Sejam f g :

como na observao acima. Ento existe uma variedade
invariante exponencialmente atratora
u1 u2
i

p
u 1 u2
u 1 u2 :
G
H
S
para o sistema (4.4.7).
(4.6.18)

G u1 u2 u 1 u2
1
4
g
span 1 2 .
, onde V

&
0 em C 1 V V
u2
u2

0,
G u1 u2 u 1 u2
0
u1 t u2 t , onde

&
Quando
u1
u 2 t 2 x
Demonstrao. Denamos
Q 6
M1 m2 l1
M2 m2 l2
Q
P
Q
Q
116
l2
Q
SQ Q 6
P
Q Q

Q
Q
Q
l1

f
M2

1 2
M2
sup 2 x

m2
sup g x
sup 1 x
Q
S

Y

Y
M1
Y

Y

(Q
1 2

L2
m1
f
M1
sup g x
sup f x
Y

Y

M2
L1
sup f x
Q
S
M1
u 1 t 1 x
O uxo em S dado por u t x

u1 t u2 t a soluo de
4.6
Com esta notao temos
QS Q
Q
M1 m2
M2 m2
v P
mSQ
ga
f a
v2Q
SQ
P
4 F
F
f
M2
Q Q
S Q
f
M1
M2 m1
P
P
2
v
M2 m2 l2
M2
v
Q
RQS
M1 m2 l1
M2 m1 l2
g a 2
ga
QS Q
Q
M1 m1 l1
v Q
M1 m1
M2
QS Q
Q
(QS
g a
Q
v
v2
M1
f a
M1
f a 2
G u1 u2
1
f a
G u1 u2
0
Para obter Lipschitz continuidade global, sejam y1

u1 u2 , y 2
v1 v2 , 1 , 2 , a
u1 1 u2 2 1 , b v1 1 v2 2 2 , ento temos (para alguns 1 2

ab)
v Q
2 2
Q
Q
v Q
v1
1 2
Q
Q
Q!i
L2
H 1
k

X r
X
Q
Q p
X r
k
N 1
2
X
v
2Q
L4
N 1
2
Q
Q
C2
k
Q
QQ
QQ
v Q
QQ
117
QQ
S Q
Q Q
Q
Q
u1
v Q
y2
y2
QS Q
Q
9 Q
v
Q
S Q
Q
y1
v2
QQ
Q
!i
X
i
X
Q
p
v
v
P
P
P
P
i
Q
L2 C3 y1
L3
1 2
b 1
b 1
u2
L2
g 2
Q Q
S
y2
v
2Q
9 Q
y1
2 2
S
Q Q
vQ
QS
v2
gb
L1
v1
v
2
u1
L2
u2
b 1
b 1
ga
g b 1
ga
H1
L1
f b
f 1
L1
f a
f b 1
f a

G y2 2
0
Q
p
G y1 1
0
Com isto temos que G e G so uniformemente limitadas.

0
1
Q
Q p
X r

X
k

x
S
Q

H1
H1
1
X
L6 e no segundo termo da ltima
Q
p
Q
X r
X
i
Q
p
Q
p
r Q
Q
p
v P
v
mP
P
p
Q
Q
Q p
Q
Q p
X
X
Q

r Q p
X
X
i Q p
Q
X
X
X
QS
Q
9 Q

X
X
Q
Q
Qp
P
P
P
p
Q
Q
p
Q
p
r Q
Qp
Tambm
v Q
1 2
L2 m 2 l2
1

L1
L1
g b 1 2
Q
D Q
g b 1
L2 m 1 m 2 l2
QQ
SQ
P
QQ
Q Q
S Q
L2 m 1 m 2
118
NG
Q
P
f a
Q Q
S Q
L1
f a
L2 m 2
1
L1
f
M2
M3
v
2 Q
Q
D Q
f
M1
G y
1
P
P
P
P

G u u
u2 0 1 2
G y
0
F
S
Q Q

G u u
u1 0 1 2

F
S
Q
G y
X r
9

L4
p
Q
y Q
p
Q
N 1
2
1 y1
G 1 y1
1
r Q
G
1
C5 L2 . Assim
L1
Q
p
, L6
L8
1 2
N 1
2
L6
onde L7
L3
L5 , L 8
desigualdade aplicamos (4.5.1).
v2
H1
1 y1
L4
Q
Q
y2
y1
Q
p
S Q
Q Q
QQ
L7
S Q
Q
9 Q
y2
L5 y 1
G 1 y1 G 1 y1
0
G
1
1 y1
2
C3 u2
max 1 C4
0
y2
v1
v
2Q
Q Q
S
y1
Q
Q
L3
1 y1
S Q
Q Q
v Q
G
0
QQ
N 1
2
G 1 y1
u1
H1
L6
2, C6
9 Q
Q Q
v S
G
0
Q Q
S
9
2
L2
L2
p
Q
G 2 y2
C6 L
Q
p
y2
b 2
b 2
N 1
2
C4
L5 y 1
gb
g 2
g b 2
ga
L1 L2 C2 ,
y2
Q
p
y1
L2

Q
b 2
Q
p
b 2
ga
Q
y
G 1 y1
L1
L1
f 1
L1
f b
Q
p
onde L5
f a
f b 2
f a
, L4
G y2 2
1
C1
G y1 1
1
max C0
p
Q
L1 L2 C3 , C3
onde L3
P
P

L2 m 2 l2
2
L2 m 1 l2

P

P

L1 m 1 l1

P

L2 m 1 l2
L2 m 2 l2
1
L1
L1
L2 m 1
L1 m 1 l1
g b 1
Q Q
S Q
L1 m 1
v2Q

G u u
u1 1 1 2

G u u
u2 1 1 2

G u u
0 1 2
f a
Q
D Q

G u u
0 1 2
4.6

P

Agora para a funo F , temos

d
F 1 y1 s
ds
2 y2 1
s ds
X
v
F 2 y2
(4.6.19)
F 1 y1
L2
Agora
G 1 y1 s
0
d
f 1 y1 s 2 y2 1
ds
2 y2 1 s 1
G 1 y1 s
0
2 y2 1
1 y1
4 h 9 V

V
h 9 V
g g
g g
G
0
2 y2
2 y 2 2
1 y1
G
1
s 1
2 y 2 1

rg
1 y1
2 y2 1
d
F 1 y1 s
ds
Substituindo esta ltima expresso em (4.6.19), temos
X
X
i
X
X
X
i

P
X
X
QS

Q
X
X
9

e portanto
1
X
H 1
2
1
2
L 1
119
P
2
y2
y2
L y1
L y1
F 2 y2
F 1 y1
y2
L2
y1
L2
i
X
Q

y2
2 y2
y1
L2
1 y1
y2
G
1
L2
y1
L2
L2
S Q(P
Q
X
L 1
2 y2
L1
1 y1
2 y2
1 y1
G
0
F 2 y2
X
X
9 S
Q
X

F 1 y1

L L, L max G , L max G e no segundo termo da desigualdade usamos
0
1
(4.5.1). Observe que L N 1 2 0, quando 0. Finalmente,
SQ
P
Q F
NF
M 2 g l1
f
F
Q
QS Q
v F
L2
M 2 g
f
4 F
F
QS
Q
& 6
P QS
P
QS
F u 1 u2
Q
Q
M2 g
f
Mf
F u 1 u2
f
M2 g m2
G u1 u2
1
f
M1 g m1
M1
Q Q
S
G u1 u2
0
F u1 u2
&
L1
onde L
onde NF M f g l1 .
Com isto, vericamos que F e G satisfazem as hipteses do Teorema 4.6.1.
Teorema 4.6.3 Suponhamos que o sistema (4.4.14) estruturalmente estvel. Ento para
sucientemente pequeno, o uxo na variedade invariante dada por (4.6.18) topologicamente
equivalente a (4.4.14).
Demonstrao. Para cada sucientemente pequeno, consideramos o uxo no subespao
0
u2 2 , onde u1 u2 soluo de
0
u 1 1
bidimensional V dado por v t x

G0 u1 u2 u 1 u2
1
u2
u2
(4.6.20)
4
g
G0 u1 u2 u 1 u2
u1

&
v uma conjugao entre as rbitas do uxo de (4.6.20) e as

rbitas de (4.6.18), s temos que mostrar que o sistema (4.6.20) topologicamente conjugado
ao sistema (4.4.14). Na verdade, devemos provar que os campos de vetores
X0 0 X1 0
X0 u1 u2
X0 X1

X u1 u2
g
Como a aplicao v
onde
u 1 u 2 2
120
u 1 u 2 2
u 2 2
u 2 2
f u 1 1
g u 1 1
u 1 u 2 1
u2
vb
u2
g u 1 1
u 1 u 2 1
X1
u 2 2
f u 1 1
X0
4.6
g u1
0 0
u 2 2 2
0 0
u 2 2 2
f u1
0
u 2 2
v
2
u2
g u1
0
u 2 2
X1 0
f u1
X0 0
so C 1 prximos. Isto segue facilmente do fato que se aproxima de 0 na topologia C 1
quando 0, e das propriedades dos autovalores e autofunes de B N 1 . De fato, vamos

mostrar que
&
e
0
X1 0
v
&
0. Analogamente mostra-se que X1
v
v
&
&
&

&
0 quando
&
&
&
X1 0 0 quando 0. Com isto conclui-se a parte (i).

Para mostrar ii suciente mostrar que
&X
0 i
12
X
&
0. De fato,
0. Temos
Du1 X0 0
&
&
v
2
&
121
&
0 quando
g a0
a0 quando
Du1 X0 0
f a0
1 2 e a
&
&
&
&
0. Assim, Du1 X0
g a
u 1 u 2 1
u1
1
u 1 u 2 1
u1
Du1 X0
0, i
ui
2 ,
v2
g a 1
1, 2
f a
Como 1
f a 1
u1
Du1 X0
&
quando
Dui X0 u1 u2
Dui X u1 u2
quando
X0 0
"
g a0
2 e
0.
v2
&
f a0
g a 1
X0 0
0. Assim X0
1,
0 quando
&
X0
f a 1
&
&
0, X1
u1 u2 e a0 u1 u2 2 , como
a0 quando 0. Logo, temos
X0
quando
X0 0
&
Colocando a
quando 0, segue que a
&
u 2 2
u 1 1
quando 0.
Para mostrar i , suciente provar que X0
&
DX0
X0
&
DX
&X
ii
&X
0. Analogamente, mostra-se que
0 i
1 2. Com isto, conclui-se a demonstrao do Teorema.
&
Dui X1 0
Dui X1
4.7 Padres
Nesta seo, voltamos ao sistema (4.4.14). Agora, gostaramos de obter os padres para (4.1.1).
Para este propsito consideramos 0, g u
u u3 e f u
0. Assim, o sistema (4.4.14)

10
P8
P3
11
P6

w
w

w
P7
P5
01
11
P9
4

10
P4
P2

g w
g R

g R

00

P1
tem nove pontos de equilbrio (ver Figura (4.2).
Todos estes pontos de equilbrios so hiperblicos. Os equilbrios P5 , P6 , P8 , P9 so estveis.

Como vimos a dinmica de (4.4.14) equivalente a dinmica de (4.1.1), e por isso os
pontos de equilbrio da forma P
v1 v2 com v1 v2 correspondem a equilbrios estveis
no-constantes (padres) para (4.1.1). Assim, temos dois padres para o sistema (4.1.1).
P8
P
7
P
2
P5
P4
P
1
P9
P6
P3
122
0, g u
u3 , f
Figura 4.2: Retrato de fase aproximado:
C APTULO
Comentrios nais e problemas para estudos

futuros
elizmente esta tese s representa uma pequena parcela do que se pode fazer e o
incio da minha investigao sobre a dinmica innito dimensional das equaes de
reao-difuso.
A continuao damos uma srie de indicaes sobre as linhas de pesquisa que caram
establecidas para estudos futuros.
1. Do Captulo 3 continuaremos com o estudo da semi-continuidade inferior dos atratores
para este problema e conseqentemente com a continuidade dos atratores ([5]).
2. Com relao ao Captulo 4, s mostramos a existncia de padres para domnios
tipo dumbbell. Como foi mencionado na introduo, uma maneira de produzir padres
introduzir no sistema algo que se oponha homogenizao, ou seja, uma obstruo ao uxo de
concentraes. Podemos alcanar isto das seguintes maneiras:
Obstruo no domnio: Isto pode ser conseguido, por exemplo, fazendo uma constrio no
domnio, ou seja, considerando domnios que possuem dois lados bem denidos separados por
um canal no (que funciona como funil ou gargalo). Este o processo empregado para obter
existncia de padres em Matano [36] e Morita [38] para a condio de fronteira homognea.
Neste caso, pretendemos estudar o problema anlogo para condies de Neumann no
linear (como feito no Captulo 4 e para canais mais gerais). As tcnicas que deveremos
aplicar aqui so a reduo do problema a um problema com condio de fronteira homognea
introduzidas em Carvalho, Oliva, Pereira e Rodriguez-Bernal [17] e o uso de variedades
invariantes.
3. Obstruo por Membranas Permeveis: Neste processo se introduz no domnio uma
membrana permevel que o divida em duas partes e diculte a passagem de concentraes de
123
Comentrios nais e problemas para estudos futuros
uma parte para a outra, obtendo assim um fenmeno semelhante ao obtido com a constrio
do domnio. Com isto, temos que a difusibilidade praticamente constante em ambas partes
do domnio, mas na membrana esta se torna pequena. Este processo empregado por Fusco
[24], Carvalho e Pereira [18], Carvalho [10], Carvalho e Cuminato [12] para obter existncia
de padres.
Pretende-se estudar o problema anlogo para dimenses maiores que dois (no
contemplado na literatura) e para condies de fronteira no linear.
4. Obstruo fraca provocada por difusibilidade no constante: Neste processo, sob certas
condices no campo f , pode-se produzir padres (ver do Nascimento [23] e as referncias l
contidas). Este caso desperta um interesse especial pois, embora haja mais restries no campo,
os coecientes de difuso so bastante gerais.
Pretende-se estudar o problema anlogo para o caso de condies de fronteira no lineares.
As tcnicas que deveremos usar aqui so a reduo do problema com condio de fronteira
homognea introduzidas por Carvalho, Oliva e Rodriguez-Bernal [17] e os resultados de do
Nascimento [23].
Os mtodos citados acima foram estudados por um nmero razovel de matemticos e
podemos dizer que comeam a ser bem compreendidos para problemas com condies de
fronteira homognea. O objetivo iniciar os estudos de tais problemas para condies de
fronteira no linear.
5.
Padres obtidos por reaes espacialmente dependentes: Neste caso, para
contrabalanar o efeito de homogenizao da difuso, introduzimos uma reao que seja
diferente em partes diferentes do domnio. Isto pode ocasionar que, em uma das partes do
domnio, a concentrao se aproxime de uma constante, e em outra parte do domnio, a
concentrao se aproxime de uma outra constante distinta da primeira produzindo um equilbrio
estvel espacialmente dependente. Em dimenso um, este o processo utilizado em Angenent,
Mallet-Parret e Peletier [2] e Rocha [41].
6. Padres obtidos por uxo de concentrao na fronteira: Neste caso, para xarmos
idias, assume-se que
0 1 . Se consideramos o problema (1.0.1) com a condio de
fronteira homognea substituda por um uxo no linear de concentraes, podemos ter uma
W
entrada de substncias consideravelmente grande de um lado e uma perda de concentraes do

outro que faa com que a concetrao de um lado seja mantida a um nvel diferente do nvel do
outro lado. Cnsul e Sla-Morales [21] utilizam esta idia para a obteno de padres.
Relativamente continuidade de atratores, uma questo importante tem sido sistematicamente negligenciada, isto , qual a taxa de convergncia dos atratores em problemas
relativamente aos quais conhecemos a taxa de convergncia dos auto-valores e auto-funes?
A taxa de convergncia dos autovalores e autofunes conhecida para:
Problemas parablicos em domnios tipo dumbbell
124
Perturbao da difuso em equaes de reao e difuso.
Problemas parablicos em domnios nos.
Em estudos futuros pretende-se tambm abordar estas questes.
125
[1] H. Amman, Parabolic evolution equations and nonlinear boundary conditions, Journal
of Differential Equations 72 (1988), no. 2, 201269.
[2] S. B. Angenent, J. Mallet-Paret, and L. A. Peletier, Stable transition layers in a semilinear
boundary value problem, J. Differential Equations 67 (1987), no. 2, 212242.
[3] J. M. Arrieta, Spectral properties of schrdinger operators under perturbations of the
domain, Doctoral Dissertation, Georgia Institute of Technology, Atlanta, USA, 1991.
[4]
, Rates of eigenvalues on a dumbbell domain. simple eigenvalue case, Trans.

Amer. Math. Soc. 347 (1995), no. 9, 35033531.
[5] J. M. Arrieta, A. N. Carvalho, and G. Lozada-Cruz, Continuity of attractor for dumbbell

domains, In Progress.
[6] J. M. Arrieta, A. N. Carvalho, and A. Rodrguez-Bernal, Parabolic problems with
nonlinear boundary conditions and critical nonlinearities, Journal of Differential
Equations 156 (1999), 376406.
[7]
, Attractors of parabolic problems with nonlinear boundary conditions. Uniform

bounds, Communications on Partial Differential Equations 25 (2000), no. 1-2, 137.
[8] J. M. Arrieta, J. K. Hale, and Q. Han, Eigenvalue problems for non-smoothly perturbed
domains, Journal Differential Equations 91 (1991), no. 1, 2452.
[9] H. Brezis, Anlisis funcional. Teora y Aplicaciones, Alianza Editorial, Madrid, 1984.
[10] A. N. Carvalho, Innite-dimensional dynamics described by ordinary differential
equations, J. Differential Equations 116 (1995), no. 2, 338 404.
[11]
, Parabolic problems with nonlinear boundary conditions in cell tissues, Resenhas

3 (1997), no. 1, 123138., Workshop on Differential Equations and Nonlinear Analysis
(guas de Lindia, 1996).
127
[12] A. N. Carvalho and J. A. Cuminato, Reaction-diffusion problems in cell tissues, Journal

of Dynamics and Differential Equations 9 (1997), no. 1, 93131.
[13] A. N. Carvalho and G. Lozada-Cruz, Padres em problemas parablicos, Atas do 53
Seminrio Brasileiro de Anlise (2001), 609628, Maring-PR.
[14]
, Patterns in parabolic problems with nonlinear boundary conditions, The 5-th

Americas Conference on Differential Equations and Nonlinear Dynamics (Poster) (2002),
Edmonton, Canada.
[15]
, Patterns in parabolic problems with nonlinear boundary conditions, Submited

to NODEA (2003).
[16]
, Uma observao numa equao de reao-difuso num domnio tipo Dumbbell,

Atas do 58 Seminrio Brasileiro de Anlise (2003), Campinas-SP.
[17] A. N. Carvalho, S. M. Oliva, A. L. Pereira, and A. Rodriguez-Bernal, Attractors

for parabolic problems with nonlinear boundary conditions, Journal of Mathematical
Analysis and Applications 207 (1997), no. 2, 409461.
[18] A. N. Carvalho and A. L. Pereira, A scalar parabolic equation whose asymptotic behavior
is dictated by a system of ordinary differential equations, Journal of Differential Equations
112 (1994), no. 1, 81130.
[19] J. W. Cholewa and T. Dlotko, Global Attractors in Abstract Parabolic Problems,
London Mathematical Society Lecture Note Series, vol. 278, Cambridge University Press,
Cambridge, 2000.
[20] N. Cnsul, Equacions de Difusi amb Condicions de Contorn No Lineals, Ph.D thesis,
Departament de Matemtica Aplicada I, Universitat Politcnica de Catalunya, Barcelona,
Spain, Mar 1997.
[21] N. Cnsul and J. Sla-Morales, Stable nonconstant equilibria in parabolic equations with
nonlinear boundary conditions, C. R. Acad. Sci. Paris Sr. I Math. 321 (1995), no. 3,
299304.
[22]
, Stability of local minima and stable nonconstant equilibria, Journal of

Differential equations 157 (1999), no. 1, 6181.
[23] A. S do Nascimento, On the role of diffusivity in some stable equilibria of a diffusion

equation, J. Differential Equations 15 (1999), no. 2, 231244.
128
[24] G. Fusco, On the explicit construction of an ODE which has the same dynamics as a
scalar parabolic PDE, J. Differential Equations 69 (1987), no. 1, 85110.
[25] J. Hale and J. Vegas, A nonlinear parabolic equation with varying domain, Arch. Rational
Mech. Anal 86 (1984), no. 2, 99123.
[26] J. K. Hale, Asymptotic Behavior of Dissipative Systems, Mathematical Surveys and
Monographs, no. 25, American Mathematical Society, Providence, Rhode Island, 1989.
[27] D. Henry, Evolution equations in Banach spaces, Notas manuscritas, IME-USP, Maro
1981.
[28]
, Geometric theory of semilinear parabolic equations, 2 ed., Lecture Notes in

Mathematics, vol. 840, Springer Verlag, New York, 1981.
[29] S. Jimbo, Singular perturbation of domains and semilinear elliptic equation, J. Fac. Sci.
Univ. Tokyo Sect. IA Math. 35 (1988), no. 1, 2776.
[30]
, Singular perturbation of domains and the semilinear elliptic equation. II, Journal
[31]
, The singularly perturbed domain and the characterization for the eigenfunctions
with neumann boundary condition, Journal of Differential Equations 77 (1989), no. 2,
322350.
[32]
, Semilinear parabolic equation in a singularly perturbed domain and the limit

of the attractors, Lecture Notes Numer. Appl. Anal. 12 (1993), 11122, Nonlinear PDEJAPAN Symposium 2, 1991 (Kyoto, 1991).
[33] S. Jimbo and Y. Morita, Remarks on the behavior of certain eigenvalues on a singularly
perturbed domain with several thin channels, Comm. Partial Differential Equations 17
(1992), no. 3-4, 523552.
[34] T. Kato, Perturbation theory for linear operators, Classics in Mathematics, SpringerVerlag, Berlin, 1995, Reprint of the 1980 edition.
[35] O. A. Ladyzhenskaya and N. N. Uraltseva, Linear and Quasilinear Elliptic Equations,
Academics Press, New York-London, 1968.
[36] H. Matano, Asymptotic behavior and stability of solutions of semilinear diffusion
equations, Publ. Res. Inst. Math. Sci. 15 (79), no. 2, 401451.
[37] X. Mora, Semilinear parabolic problems dene semiows on C k spaces, Trans. Amer.
Math. Soc. 278 (1983), no. 1, 2155.
129
[38] Y. Morita, Reaction-diffusion systems in nonconvex domains: invariant manifold and

reduced form, J. Dynam. Differential Equations 2 (1990), no. 1, 69115.
[39] Y. Morita and S. Jimbo, Ordinary differential equations (odes) on inertial manifolds for
reaction-diffusion systems in a singularly perturbed domain with several thin channels, J.
Dynam. Differential Equations 4 (1992), no. 1, 6593.
[40] A. Pazy, Semigroups of linear operators and applications to partial differential equations,
Applied Mathematical Sciences, vol. 44, Springer-Verlag, New York, 1983.
[41] C. Rocha, Examples of attractors in scalar reaction-diffusion equations, J. Differential
Equations 73 (1988), no. 1, 178195.
[42] J. M. Vega, Bifurcations caused by perturbing the domain in an elliptic equations, Journal
130
ndice de Notaes
:
:
Conjunto dos nmeros naturais

Conjunto dos nmeros reais
Intervalo 0
#
#
n:
Espao Euclideano n-dimensional

n 1
x xn
: xn 0
Conjunto aberto e conexo com fronteira suave
:
:
Fecho de
Fronteira de
:
B pr :
Br :
Medida de Lebesgue do domnio

n : x p
x
r
n : x
x
r
Bn :
Lp :
n : x
Bola unitria n-dimensional, x
1
Espao de funes contendo todas as funes f :
integravel para p 1
exceto num conjunto de medida nula
#
&
cujas p-sima potncia
#
&
SQ Q
e
G
Q Q
Q
as quas so limitadas
G
F
F
F
X
SX

F

F

a ordem k so contnuas em , k 0
: Espao de funes contendo todas as funes f :
cujas derivadas at
que pertencem a C k
e cuja k-sima derivada Hlder contnuas com expoente

u
Derivada parcial x
j
131
Espao de Sobolev W0k 2
#
&
Espao de Sobolev W k 2
Fecho de C0 em W k p
#
&

Q Q
G
Norma L p de uma funo em L p , 1 p

Espao de Sobolev cujas derivadas at a ordem k pertencem a L p
j u:

x
Ck :
Ck

6 # i
Hk :
k
W0 p :
k
H0 :
p:
kp
W
ndice de Notaes
x:
u
x:
u:
o vetor normal exterior em x

u
x
u a derivada normal exterior
Gradiente da funo u, u x
1 u x
u:
Laplaciano da funo u, u x
gg

R"
"
u
0 on
n
Dizemos que X est continuamente imerso em Y e signica que:
X Y e a aplicao incluso j : X Y contnua
H2 :
2
HN
&
Dizemos que X est compactamente imerso em Y e signica que:
Y e a aplicao incluso j : X
&
Y:
iiu x
i 1
n u x
&
&
Y:
"
2
HN :
132
Y compacta
ndice Remissivo
Assintoticamente compacto, 16
Atrator, 15
global, 17
Imerses de Sobolev, 11
Intervalo maximal de existncia, 13
Lema elptico, 35
Comparao dos semigrupos

lineares, 76
Net smoothness, 11
no-lineares, 77
Condio de
Operador
potncia fracionria, 10
crescimento, 33
dissipatividade, 34
Conjunto
resolvente, 7
setorial, 7
rbita
-limite, 16
-limite, 16
Convergncia de
autofunes, 95
autovalores, 84
completa, 15
negativa, 15
positiva, 15
Padres, 122
Ponto dissipativo, 16
Problema
Desigualdade de Gronwall Generalizada,

105
de Cauchy abstrato, 12
Dinmica assinttica, 81
Domnio tipo dumbbell, 47
limite, 51
perturbado, 49
Equao de reao-difuso, 28
Espao de potncia fracionria, 10
Estabilidade de equilbrios, 40
Quociente de Rayleigh, 45
Semi-continuidade superior dos atratores,
78
Estrutura gradiente, 26
Semigrupos
Formao de padres, 28
analticos, 8
no-lineares, 15
Funo de Liapunov, 26
Frmula da variao das constantes, 14
Soluo
Identidade do resolvente, 56
de equilbrio, 18
133
ndice Remissivo
forte, 13
fraca, 14
local, 13
Teorema de trao uniforme, 102
Variedade
instvel local, 20
invariante, 104
134

Comportamiento Asintótico de Problemas Parabolicos

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Comportamiento Asintótico de Problemas Parabolicos

Enviado por

Direitos autorais:

Formatos disponíveis

Comportamento assinttico de problemas

parablicos em domnios tipo dumbbell

SERVIO DE POSGRADUO DO ICMC - USP

Data de Depsito: 02/12/2003

Comportamento assinttico de problemas

Tese apresentada ao Instituto de Cincias Matemticas e de

Comportamento assinttico em problemas

Este exemplar corresponde redao nal da tese

So Carlos, Dezembro de 2003.

Prof. Dr. Alexandre Nolasco de Carvalho (Orientador) - ICMC - USP

Prof. Dr. Orlando Francisco Lopes, IMECC-UNICAMP

Prof. Dr. Jos Gaspar Ruas Filho, ICMC-USP

Prof. Dr. Luiz Augusto Fernandes de Oliveira, IME-USP

Prof. Dr. Arnaldo Simal do Nascimento, DM-UFSCar

Dedico este trabajo a:

A mathematician is a machine for turning coffee into theorems.

God not only plays dice. He also sometimes

If, I were a medical man, I should prescribe a holiday to

Allinizio e alla ne abbiamo il mistero.

A mathematicians reputation rest on the

A blind man tramps at random touching the road with a stick.

3 Semi-continuidade superior de atratores

3.4.3 Comparao dos semigrupos no-lineares . . . . . . . . . . . . . . . . 77

4 Padres induzidos por controles no-lineares na fronteira

5 Comentrios nais e problemas para estudos futuros

Domnio tipo Dumbbell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82

uitos sistemas dinmicos so gerados por equaes diferenciais evolutivas. Estas

destas. Neste trabalho estudaremos sistemas dinmicos gerados por equaes

em um domnio convexo , no apresentam solues de equilbrio estveis e espacialmente

em domnios do tipo dumbbel relativamente ao parmetro , que determina a espessura da

onde n denota a derivada normal , u0 a condio inicial dada, domnio limitado do

uma funo de classe C 2 ,

condio (ii) de dissipatividade da f o problema (1.0.2) tem um atrator global A .

O problema limite para (1.0.2) quando

continuidade dos atratores para (1.0.2) ser objeto de estudos futuros.

Como no problema (1.0.1), os zeros da funo f so solues de equilbrio para o problema

N , pode ser colocada como um problema de evoluo semi-linear

denota a derivada normal exterior a fronteira de R (ver Figura 4.1),

Seja 2 o segundo autovalor do Laplaciano com condio de Neumann homognea em

N 1 a taxa tima de convergncia do segundo autovalor 2 do operador Laplaciano com

Em todos os trabalhos mencionados acima usamos a teoria de variedades invariantes para

1.1 Objetivos da tese

0, isto , a dinmica do problema (1.0.2) entra em qualquer

2. estudar a existncia de padres obtidos por uxo de concentrao na fronteira num

domnio tipo dumbbell para o problema (1.0.6) quando g

Descrio dos resultados

1.2 Descrio dos resultados

este captulo, apresentaremos a teoria bsica sobre semigrupos de operadores,

2.1 Operadores e Semigrupos

X um operador linear fechado (no necessariamente limitado) num espao

de Banach X . O conjunto A dos nmeros complexos para os quais I A 1 existe e

chamado de operador resolvente de A associado a .

Denio 2.1.1 Seja A : D A

X um operador linear, dizemos que A um operador

(i) A fechado e densamente denido,

(ii) para algum

est no conjunto resolvente de A e vale a seguinte estimativa

2.1.1 Semigrupos analticos

X : T linear contnuo o espao dos

Sejam X um espao de Banach e L X

operadores lineares contnuos de X em X com a norma usual

Denio 2.1.2 Um semigrupo analtico num espao de Banach X uma famlia de

O gerador innitesimal deste semigrupo o operador A : D A

semigrupo fortemente contnuo ou C 0 -semigrupo.