Beamer Final

Introducao
Preliminares
Dinamica dos Modelos de Suspensao de Pontes
Referencias bibliogracas
Um Modelo Matematico de Suspensao de Pontes
Rodiak Nicolai Figueroa Lopez
Bolsista CAPES
Orientador: Prof. Dr. German Jesus Lozada Cruz
Departamento de Matematica
IBILCE/UNESP - Sao Jose do Rio Preto
Defesa de Mestrado
20 de Marco de 2009
Figueroa Lopez, Rodiak Nicolai Um Modelo Matematico de Suspensao de Pontes
Introducao
Preliminares
Introducao
Figura: Oscilacoes do Ponte Tacoma Narrows
Introducao
Preliminares
Operadores Maximais Monotonos
Minimizacao de Funcoes Convexas
Teoria de Semigrupos
Problemas de Evolucao de Primeira Ordem
Teorema (Hille-Yosida)
Seja A um operador maximal monotono em um espaco de Hilbert
H. Entao para todo u
0
D(A) existe uma unica funcao
u C
1
([0, ); H) C([0, ); D(A))
tal que _
_
_
du
dt
+ Au = 0 em [0, )
u(0) = u
0
.
(1)
Alem disso, verica-se
|u(t)| |u
0
| e
_
_
_
du
dt
(t)
_
_
_ = |Au(t)| |Au
0
|, t 0.
Introducao
Preliminares
Proposicao
Seja A um operador maximal monotono. A e simetrico se, e
somente se A e auto-adjunto.
Teorema
Seja A um operador maximal monotono e autoadjunto entao para
todo u
0
H existe uma unica funcao
u C([0, ); H) C
1
((0, ); H) C((0, ); D(A))
tal que
_
_
_
du
dt
+ Au = 0 em (0, )
u(0) = u
0
.
(2)
Introducao
Preliminares
Seja H um espaco de Hilbert real separavel e K e um subconjunto
nao vazio de H e F : K R =: R
e uma funcao.
Denicao
A funcao F e semi-contnua inferiormente em x K se para toda
seq uencia (x
n
) em K com convergencia fraca para x K temos
que F(x) liminf F(x
n
).
Denicao
A funcao F e convexa se seu dominio K e convexo e para todo
x, y K e t [0, 1] temos
F(tx + (1 t)y) tF(x) + (1 t)F(y). (3)
Introducao
Preliminares
Denicao
F e G-diferenciavel em x K se K e convexo e existe F
(x) H
tal que
lim
t0
+
1
t
[F(x + t(y x)) F(x)] = F
(x)(y x) (4)
para todo y K.
Teorema
Se F e G-diferenciavel. As armacoes sao equivalentes:
1
F(x) e convexo,
2
Para todo x, y K temos F
(x)(y x) F(y) F(x),

3
Para todo x, y K temos (F
(x) F
(y))(x y) 0.
Introducao
Preliminares
Corolario
Se F e G-diferenciavel e convexa entao F e semi-contnua
inferiormente em K.
Proposicao
Sejam K convexo e fechado e F uma funcao convexa e
semi-contnua inferiormente em K. Se
lim
xK,x+
F(x) = + (5)
entao F atinge um ponto de mnimo em K.
Introducao
Preliminares
Semigrupos de Operadores Lineares
Denicao
Um Semigrupo Fortemente Contnuo (ou C
0
Semigrupo) em E
(Espaco de Banach) e uma familia T(t) : t 0 L(E) tq.
i ) T(0) = I (Identidade em L(E));
ii ) T(t + s) = T(t)T(s), t, s 0;
iii ) lim
t0
+ |T(t)x x|
E
= 0, x E.
Denicao
Se T(t) : t 0 e um C
0
Semigrupo em E, seu Gerador
Innitesimal e o operador A : D(A) E E, denido por
Ax = lim
t0
+
T(t)x x
t
.
Introducao
Preliminares
Seja o problema de valor inicial abstrato
_
u(t) + Au(t) = f (t, u(t)), t > t
0
u(t
0
) = u
0
,
(6)
onde A : D(A) E E e o gerador innitesimal de um
C
0
Semigrupo T(t) := e
tA
: t 0 L(E),
f : U R E E e uma funcao contnua, U um subconjunto
aberto e (t
0
, u
0
) U.
Denicao
Uma Solucao Fraca de (6) e uma funcao contnua u : [t
0
, t
1
] E
que satisfaz a equacao integral
u(t) = e
A(tt
0
)
u
0
+
_
t
t
0
e
A(ts)
f (s, u(s))ds, t [t
0
, t
1
]. (7)
Introducao
Preliminares
Teorema
Se T(t) : t 0 e um C
0
Semigrupo, entao existem constantes
0 e M 1 tal que |T(t)|
L(E)
Me
t
, t 0.
Denicao
Dizemos que um C
0
Semigrupo T(t) : t 0 e um semigrupo
de contracoes, se no Teorema 2.13 temos = 0 e M = 1.
Teorema
Suponhamos que A e o gerador innitesimal de um semigrupo
fortemente contnuo e
At
: t 0 no espaco de Banach E,
U R E aberto e f : U E contnua e localmente Lipschitz
com relacao à segunda variavel. Entao, para todo (t
0
, u
0
) U,
existem t
1
> t
0
e uma solucao fraca u : [t
0
, t
1
] E de (6).
Introducao
Preliminares
Para cada x E denimos o conjunto dualidade F(x) E
por
F(x) = x
: Rex
, x) = |x|
2
E
= |x
|
2
E
. (8)
O Teorema de Hahn-Banach nos garante que F(x) ,= (ver [3]).
Denicao
Um operador A e Dissipativo se para todo x D(A) existe um
x
F(x) tal que ReAx, x
) 0.
Corolario
Seja A um operador linear fechado e densamente denido. Se A e
A
sao dissipativos, entao A e gerador innitesimal de um

C
0
Semigrupo de contracoes em E.
Introducao
Preliminares
Denicao
Seja S(t) : H H, t 0 um sistema dinamico sobre H. Uma
funcao de Liapunov e uma funcao contnua V : H R tal que
V(x) = lim
t0
+
1
t
_
V(S(t)x) V(x)
_
0, x H.
Nao exclumos a possibilidade de

V(x) = .
Teorema
Sejam S(t), t 0 um sistema dinamico sobre H e 0 um ponto
de equilbrio em H. Suponhamos que V e uma funcao de Liapunov
sobre H que satisfaz V(0) = 0, V(x) c(|x|) para x H,
|x| = dist(x, 0), onde c : R R e uma funcao contnua
estritamente crescente, c(0) = 0 e, c(r ) > 0 para r > 0. Entao 0 e
estavel.
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Analise da Energia do Sistema Nao Linear
_
m
b
z
tt
+z
xxxx
F(y z) = f
1
, x (0, l ), t 0,
m
c
y
tt
y
xx
+ F(y z) = f
2
, x (0, l ), t 0.
(9)
Onde F : R R com F(0) = 0.
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Modelo Linear
_
_
m
b
z
tt
+z
xxxx
k(y z) = 0, x (0, l ), t 0,
m
c
y
tt
y
xx
+ k(y z) = 0, x (0, l ), t 0
z(0, t) = z(l , t) = 0, z
x
(0, t) = z
x
(l , t) = 0
y(0, t) = y(l , t) = 0,
z(x, 0) = z
1
(x), z
t
(x, 0) = z
2
(x), x (0, l )
y(x, 0) = y
1
(x), y
t
(x, 0) = y
2
(x), x (0, l ).
(10)
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Existencia e Unicidade da Solucao Fraca
Fazendo u = (z, y), o sistema (10) pode ser escrito da seguinte
forma
_
_
u
tt
+ Cu = 0, (x, t) (0, l ) [0, )
u(0, t) = u(l , t) = 0, t [0, )
u(x, 0) = u
0
(x), x (0, l )
u
t
(x, 0) = v
0
(x), x (0, l )
(11)
onde
Cu = (az
xxxx
p(y z), by
xx
+ q(y z))
a =

m
b
, b =

m
c
, p =
k
m
b
, q =
k
m
c
> 0
u
0
(x) = (z
1
(x), y
1
(x)), v
0
(x) = (z
2
(x), y
2
(x)).
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Consideremos os espacos de Hilbert:
H := L
2
(0, l ) L
2
(0, l ),
V := H
2
0
(0, l ) H
1
0
(0, l ),
W := (H
4
(0, l ) H
2
0
(0, l )) (H
2
(0, l ) H
1
0
(0, l )),
munidos das normas
|(, )|
2
H
:=
_
l
0
(m
b
[[
2
+ m
c
[[
2
)dx,
|(, )|
2
V
:=
_
l
0
([
xx
[
2
+[
x
[
2
+ k[ [
2
)dx,
|(, )|
2
W
:=
_
l
0
([
xxxx
[
2
+[
xxx
[
2
+[
xx
[
2
)dx +|(, )|
2
V
,
respectivamente.
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
As imersoes densas e compactas W V H pelo Teorema de
Rellich (ver [3]). Identicando H com seu dual H
, obtemos o
diagrama
W V H = H
com imersoes densas e compactas.

Podemos olhar a equacao (11) como uma EDO de segunda ordem
no espaco H
_
_
u
tt
+ Cu = 0, t [0, ),
u(0) = u
0
,
u
t
(0) = v
0
,
(12)
onde o operador C e denido da seguinte forma
_
_
C : D(C) H H
D(C) = u H : z
xxxx
, y
xx
L
2
(0, l ), z = z
x
= y = 0 em 0, l
Cu = (az
xxxx
p(y z), by
xx
+ q(y z))
(13)
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Proposicao
O domnio do operador C denido em (13) e dado por
D(C) = [H
4
(0, l ) H
2
0
(0, l )] [H
2
(0, l ) H
1
0
(0, l )] = W.
Proposicao
O operador C e maximal monotono e simetrico.
Demonstracao. C e maximal R(I + C) = H
I + C : V H e sobrejetivo encontrar u V tal que
u + Cu, v)
H
= h, v)
H
, v V. (14)
Consideremos a forma bilinear a(, ) : V V R denida por
a(u, v) := u + Cu, v)
H
, u, v V.
A forma bilinear a(, ) e induzida pelo operador I +C e e simetrica.
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Consideremos agora o funcional F : V R denido por
F(v) :=
1
2
a(v, v) h, v)
H
=
1
2
|v|
2
H
+
1
2
|v|
2
V
h, v)
H
, v V.
(15)
O prob. variacional (14) o prob. min.: F(u) = min
vV
F(v).
F e G-diferenciavel : da Denicao 2.6, temos
F
(u)w = lim
t0
+
1
t
_
1
2
(u + tw) + C(u + tw), u + tw)
H
h, u + tw)
H
1
2
u + Cu, v)
H
+h, v)
H
_
= u, w)
H
+Cu, w)
H
h, w)
H
= (u + Cu h)w, u, w V.
Conclumos que F
(u) = u + Cu h e com isto provamos que F e

G-diferenciavel.
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
F e convexo: Dados u, v V, entao
(F
(u) F
(v))(u v) = (u + Cu h) (v + Cv h), u v)
H
= [[u v[[
2
H
+C(u v), u v)
H
0,
devido ao Teorema 2.7. Pelo Corolario 2.8, temos que F e fraco
semi-continuo inferiormente em V.
Usando a desigualdade de Cauchy-Schwarz na equacao (15) temos
F(u)
1
2
[[u[[
2
V
[[h[[
H
[[u[[
V
. (16)
Logo, F(u) + se [[u[[
H
+. Do Teorema 2.9, temos que
F atinge um mnimo em V, ou seja, F
(v) = 0. Assim,
(I + C)v = h. Portanto C e maximal.
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Observacao
Segue da Proposicao 3.2 que o operador C e auto-adjunto.
Observemos que na equacao (12) estamos olhando para u como
sendo uma funcao u : [0, ) H que a cada t [0, ) faz
corresponder u(t) H.
O problema (12) pode-se escrito num sistema de primeira ordem
da forma
_
u
t
v = 0
v
t
+ Cu = 0.
(17)
Usando a condicao de contorno temos que
v = u
t
= (z
t
, y
t
) = 0 sobre 0, l (0, ). (18)
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Fazendo U = (u, v) temos que o sistema (17) e equivalente ao
seguinte Problema de Cauchy abstrato
_
_
_
dU
dt
+ AU = 0, t [0, )
U(0) = U
0
,
(19)
no espaco de Hilbert H := V H, munido do produto escalar
(
1
,
1
), (
2
,
2
))
H
=
1
,
2
)
V
+
1
,
2
)
H
.
Onde U
0
= (u
0
, v
0
) e A : D(A) H H e denido por
AU = (v, Cu).
O domnio do operador A e dado por
D(A) = U H : AU H
= U = (u, v) V V : Cu H .
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Lema
O operador A e Maximal Monotono em H.
Demonstracao. i) A e Monotono. Se U D(A), temos
AU, U)
H
= (v, Cu), (u, v))
H
= v, u)
V
+Cu, v)
H
= (z
t
, y
t
), (z, y))
V
+(az
xxxx
p(y z), by
xx
+ q(y z)), (z
t
, y
t
))
H
=
_
l
0
(z
txx
z
xx
y
tx
y
x
+ k(y
t
+ z
t
)(y z)
+ m
b
(az
xxxx
p(y z))z
t
+ m
c
(by
xx
+ q(y z))y
t
)dx
=
_
l
0
(z
xxxx
z
t
+z
xxxx
z
t
)dx = 0,
usando integracao por partes e as condicoes de contorno (18).
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
ii) A e Maximal. Mostrar que R(I + A) = H dado
F = (f , g) H, existe U = (u, v) D(A) tal que (I + A)U = F.
Isto e, equivalente a encontrar
u, v V : u v = f , v + Cu = g.
Ou,
u V : (I + C)u = f + g,
v = u f .
Assim e suciente mostrar que R(I + C) = H e, isto segue da
Proposicao 3.2.
Como u = v + f , segue que U = (u, v) V V,
Cu = g v H; assim, U D(A) e (I + A)U = F.
Portanto o operador A e maximal.
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Lema
D(A) = W V e portanto D(A) e denso em H.
Teorema (Existencia e Unicidade da Solucao Fraca)
Dado (z
1
, y
1
, z
2
, y
2
) V H, o problema (10) tem uma unica
solucao fraca
(z, y) C([0, ), V) C
1
([0, ), H). (20)
Alem disso, se (z
1
, y
1
, z
2
, y
2
) W V, entao
(z, y) C([0, ), W) C
1
([0, ), V) C
2
([0, ), H). (21)
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Demonstracao. A e um operador maximal monotono e
auto-adjunto, pelo Lema 3.4. Seja U
0
= (z
1
, y
1
, z
2
, y
2
) H,
aplicamos o Teorema 2.3 para o Problema de Cauchy (19), entao
existe uma unica solu cao U C([0, ), H). Assim,
(u, v) C([0, ), V H)
u C([0, ), V) e v C([0, ), H)
u C([0, ), V) e u
t
C([0, ), H)
u C([0, ), V) C
1
([0, ), H)
(z, y) C([0, ), V) C
1
([0, ), H),
esta e a primeira parte do teorema.
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Se U
0
D(A) e como A e maximal monotono, segue do Teorema
2.1 que existe uma unica solucao
U C([0, ), D(A)) C
1
([0, ), H).
Assim,
(u, v) C([0, ),W V) C
1
([0, ), V H)
u C([0, ), W) e v C([0, ), V) e
u C
1
([0, ), V) e v C
1
([0, ), H)
u C([0, ), W) C
1
([0, ), V) C
2
([0, ), H)
(z, y) C([0, ), W) C
1
([0, ), V) C
2
([0, ), H)
e, isto prova a segunda parte do teorema.
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Modelo Nao Linear
_
_
z
tt
+ a
2
z
xxxx
= F
1
(t, x, y, z), x (0, l ), t 0,
y
tt
b
2
y
xx
= F
2
(t, x, y, z), x (0, l ), t 0,
z(0, t) = z(l , t) = 0, z
x
(0, t) = z
x
(l , t) = 0,
y(0, t) = y(l , t) = 0,
z(x, 0) = z
1
(x), z
t
(x, 0) = z
2
(x), x (0, l ),
y(x, 0) = y
1
(x), y
t
(x, 0) = y
2
(x), x (0, l ).
(22)
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Onde
a
2
=

m
b
, b
2
=

m
c
,
F
1
(t, x, y, z) =
1
m
b
( F(y z) + f
1
(z
t
)),
F
2
(t, x, y, z) =
1
m
c
(F(y z) + f
2
(y
t
)).
Consideremos a forma bilinear c : V V R, denida por
c(, ) = a
2
(
1
)
xx
, (
1
)
xx
)
L
2
(0,l )
+ b
2
(
2
)
x
, (
2
)
x
)
L
2
(0,l )
, (23)
para todo = (
1
,
2
), = (
1
,
2
) V.
Lema
A forma bilinear c e contnua, simetrica e coerciva.
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Existencia e Unicidade da Solucao Fraca
Seja = (z, y) temos que o Problema (22) pode ser escrito como
uma equacao diferencial abstrata
_
tt
+ A =

F(t, ), t 0,
(0) =
01
,
t
(0) =
02
,
(24)
no espaco H, onde
01
= (z
1
(x), y
1
(x)) e
02
= (z
2
(x), y
2
(x)).
A : D(A) H H denido por A = (a
2
z
xxxx
, b
2
y
xx
),
D(A) = (z, y) H : z
xxxx
, y
xx
L
2
(0, l ), z = z
x
= y = 0 em 0, l ,
F : I H H, dado por

F(t, ) = (F
1
(t, x, y, z), F
2
(t, x, y, z)) e
I = [0, ).
Neste trabalho:

F e contnua e Lipschitziana com relacao à
segunda variavel.
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Lema
O domnio do operador A e dado por
D(A) = [H
4
(0, l ) H
2
0
(0, l )] [H
2
(0, l ) H
1
0
(0, l )] = W.
Proposicao
O operador A e monotono, simetrico e fechado.
Fazendo u = (, ), onde =
t
; o problema (24) e equivalente a
_
u(t) +/u(t) = T(t, u(t)), t 0,
u(0) = u
0
,
(25)
no espaco de Hilbert H = V H, munido do produto escalar
(
1
,
2
), (
1
,
2
)
_
H
:= c(
1
,
1
) +
2
,
2
_
H
.
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
O operador linear / : D(/) H H e denido por
/(, ) = (, A), com
D(/) = u H : /u H
= u = (, ) V H : (, A) V H
= u = (, ) V V : A H .
O operador T : I H H e dado por T(t, u) = (0,

F(t, )).
Lema
D(/) = W V e D(/) e denso em H.
Proposicao
O operador / e um gerador innitesimal de um semigrupo
fortemente contnuo de contracoes T(t) := e
At
: t 0 no
espaco de Hilbert H.
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Demonstracao. / e fechado: seja (
n
,
n
) uma seq uencia de
D(/) tal que (
n
,
n
) (, ) e /(
n
,
n
) (
,

). Assim,
= . Como
n
D(A) e A e fechado, temos que D(A) e
A =

. Logo, (
,

) = (, A) = /(, ).
O domnio D(/) e denso em H, pelo Lema 3.10.
/ e (/)
sao dissipativos e tambem (/)
= /: dado
u = (, ), v = (
,

) D(/), temos
/u, v)
H
= c(,

) +
A,
_
H
= u, /v)
H
.
/u, u)
H
= c(, ) +
A,
_
H
= c((z
t
, y
t
), (z, y)) +
A(z, y), (z
t
, y
t
)
_
H
= c((z
t
, y
t
), (z, y)) +
(a
2
z
xxxx
, b
2
y
xx
), (z
t
, y
t
)
_
H
= 0.
Pelo Corolario 2.17 temos que / e o gerador innitesimal de um
semigrupo fortemente contnuo de contracoes em H.
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Teorema (Existencia e Unicidade)
Suponhamos que T satisfaz as seguintes hipoteses
(1) |T(t, )|
H
K(1 +||
H
).
(2) T e uma funcao contnua.
(3) T e localmente Lipschitziana com relacao à segunda variavel.
Entao para cada u
0
H o problema de Cauchy (25) tem uma
unica solucao fraca u C([0, +), H).
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Demonstracao. Das hipoteses de

F temos que T e uma funcao
contnua e Lipschitziana com relacao à segunda variavel.
Da Proposicao 3.11 tem-se que / e um gerador innitesimal de
um semigrupo fortemente contnuo de contracoes
T(t) := e
At
: t 0 no espaco de Hilbert H.
Do Teorema 2.15 temos que para todo u
0
H a solucao do
problema (25) e dado por
u(t) = T(t)u
0
+
_
t
0
T(t s)T(s, u(s))ds, t [0, t
max
).
Como limsup
tt
max
|T(t, u(t))|
H
1 +|u|
H
< + (da hipotese (1)), segue que
t
max
= + (ver Corolario 3.3.5, [2], pagina 55).
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Seja o sistema (22), sem forcas externas e com m
c
= m
b
= m.
Denimos G : R R, dada por G() =
_
0
F()d.
Consideramos o funcional E : H R, denido por
E(u(t)) =
1
2
_
l
0
_
[z
t
[
2
+[y
t
[
2
+a
2
[z
xx
[
2
+b
2
[y
x
[
2
+
2
m
G(y z)
_
dx,
onde u(t) = e
tA
u
0
= (z(, t), y(, t), z
t
(, t), y
t
(, t)) H e uma
solucao e e
tA
, t 0 e o semigrupo fortemente contnuo de
contrac oes em H. 0 e um ponto de equilbrio.
E e uma funcional de Liapunov, pois E e contnua, E(0) = 0 e
E(t) =
_
l
0
_
z
t
z
tt
+ y
t
y
tt
+ a
2
z
xx
z
xxt
+ b
2
y
x
y
xt
+
F(y z)(y z)
t
m
_
dx
= 0. (26)
Introducao
Preliminares
Modelo Linear
Modelo Nao Linear
Tambem temos que
E(u(t)) c(|u(t)|
H
),
onde c(|u(t)|
H
) :=
1
4
|u(t)|
2
H
, a qual e uma funcao contnua e
estritamente crescente, com c(0) = 0 . Entao do Teorema 2.19
segue que a origem 0 e estavel.
De (26) temos que o sistema e conservativo.
Teorema
Consideremos o sistema (22) e suponhamos que as seguintes
armacoes valem
(A1) f
i
(0) = 0, f
i
() > 0 para ,= 0, i = 1, 2;
(A2) F() 0 para R,
entao o sistema e assintoticamente estavel.
Introducao
Preliminares
Ahmed, N. U., e Harbi, H.: Mathematical Analysis of
Dynamic Models of Suspension Bridges, SIAM J. Appl.
Math. 58, 1998, 853 - 874.
Aassila, M.: Stability of Dynamic Models of Suspension
Bridges, Math. Nachr. 235, 5 - 15, 2002.
Brezis, H.: Analisis Funcional. Teoria y Aplicaciones, Alianza
Universidad Textos, 1984.
Brezis, H.: Operateurs Maximaux Monotones et
Semi-Groupes de Contractions dans les Espaces de Hilbert,
North Holland, Amsterdam, 1973.
Cholewa, J. W. e Dlotko, T.: Global Attractors in Abstract
Parabolic Problems, Cambridge University Press, 2000.
Introducao
Preliminares
Guesmia, A.: Energy Decay for a Damped Nonlinear Coupled
System, J. Math. Anal. Appl., 1998.
Henry, D.: Geometric Theory of Semilinear Parabolic
Equations, Springer-Verlag, 1981.
Pazy, A.: Semigroups of linear operators and applications to
partial dierential equations, Springer-Verlag, 1983.
Showalter, R. E.: Hilbert Space Methods for Partial
Dierential Equations, Texas, 1977.
Showalter, R. E.: Monotone Operators in Banach Space and
Nonlinear Partial Dierential Equations, American
Mathematical Society, 1997.
Introducao
Preliminares

Beamer Final

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

Beamer Final

Enviado por

Direitos autorais:

Formatos disponíveis

Introducao

(x)(y x) F(y) F(x),

F(x) tal que ReAx, x

sao dissipativos, entao A e gerador innitesimal de um

com imersoes densas e compactas.

(u) = u + Cu h e com isto provamos que F e

sao dissipativos e tambem (/)

Você também pode gostar