Escolar Documentos
Profissional Documentos
Cultura Documentos
Departamento de Matemática
IBILCE/UNESP - São José do Rio Preto
Defesa de Mestrado
20 de Março de 2008
Introdução
(
mb ztt + αzxxxx − F (y − z) = f1 , x ∈ (0, l), t > 0,
mc ytt − β yxx + F (y − z) = f2 , x ∈ (0, l), t > 0.
tal que
du + Au = 0 em [0, ∞)
dt (1)
u(0) = u .
0
Proposição
Seja A um operador maximal monótono. A é simétrico se, e
somente se A é auto-adjunto.
Teorema
Seja A um operador maximal monótono e autoadjunto então para
todo u0 ∈ H existe uma única função
u ∈ C ([0, ∞); H) ∩ C 1 ((0, ∞); H) ∩ C ((0, ∞); D(A))
tal que
du + Au = 0 em (0, ∞)
dt (2)
u(0) = u .
0
(
αzxxxx − F0 (y − z) = mb g , x ∈ (0, l)
(4)
−βyxx + F0 (y − z) = mc g , x ∈ (0, l).
F (ζ) = F0 (ζ + ys − zs ) − F0 (ys − zs ).
Modelo Linear
onde
respectivamente.
Figueroa López, R. N.; Lozada Cruz, G. J. Um Modelo Matemático de Suspensão de Pontes
Dinâmica dos Modelos de Suspensão de Pontes
Introdução Modelo Linear
Dinâmica dos Modelos de Suspensão de Pontes Condições de Contorno e Iniciais
Referências bibliográficas Existência e Unicidade da Solução Fraca
Analise da Energia do Sistema Linear
Proposição
O domı́nio do operador C definido em (12) é dado por
Proposição
a(u, v ) := hu + Cu, v iH , u, v ∈ V .
F (u) = min F (v ).
v ∈V
• F é G -diferenciável. De fato,
1n1
F 0 (u)w = lim+ h(u + tw ) + C (u + tw ), u + tw iH − hh, u + tw iH
t→0 t 2
1 o
− hu + Cu, v iH + hh, v iH
2
n1 1 t 1
= lim+ hu, w iH + hw , uiH + hw , w iH + hCu, w iH
t→0 2 2 2 2
1 t o
+ hCw , uiH + hCw , w iH − hh, w iH
2 2
1 1 1 1
= hu, w iH + hw , uiH + hCu, w iH + hCw , uiH − hh, w iH
2 2 2 2
= hu, w iH + hCu, w iH − hh, w iH
= (u + Cu − h)w , ∀u, w ∈ V .
Desta última igualdade concluı́mos que F 0 (u) = u + Cu − h e com
isto provamos que F é G -diferenciável.
Figueroa López, R. N.; Lozada Cruz, G. J. Um Modelo Matemático de Suspensão de Pontes
Dinâmica dos Modelos de Suspensão de Pontes
Introdução Modelo Linear
Dinâmica dos Modelos de Suspensão de Pontes Condições de Contorno e Iniciais
Referências bibliográficas Existência e Unicidade da Solução Fraca
Analise da Energia do Sistema Linear
Observação
Segue da Proposição 2.2 que o operador C é auto-adjunto.
D(A) = {U ∈ H; AU ∈ H}
= {U = (u, v ) ∈ V × V ; Cu ∈ H} .
Lemma
O operador A é Maximal Monótono em H.
Lemma
Para o operador A temos que D(A) = W × V e portanto D(A) é
denso em H.
Demonstração. Dado U = (u, v ) ∈ D(A) temos que u, v ∈ V e
Cu ∈ H. Definindo f := Cu, temos que
hf , w iH = hCu, w iH , ∀w ∈ V
Z l Z l
(mb f1 w1 + mc f2 w2 )dx = ((αzxxxx − k(y − z))w1
0 0
+ (−βyxx + k(y − z))w2 )dx,
k mb k mc
ϕ1 = y+ f1 e ϕ2 = z+ f2 .
α α β β
e k
−yxx + β y = ϕ2 em (0, l),
y = 0 em {0, l}, (21)
ϕ2 ∈ L2 (0, l), y ∈ H01 (0, l).
isto é
(u, v ) ∈ C ([0, ∞),W × V ) ∩ C 1 ([0, ∞), V × H)
(u, v ) ∈ C ([0, ∞),W × V ) e (u, 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)
disto segue
Z l Z l Z l
α(zt )(zxxxx )dx −
mb (zt )(ztt )dx + k(zt )(y − z)dx = 0
0 0 0
Z l Z l Z l
mc (yt )(ytt )dx − β(yt )(yx )dx + k(yt )(y − z)dx = 0.
0 0 0
d n1
(mb kzt k2L2 (0,l) + mc kyt k2L2 (0,l) + αkzxx k2L2 (0,l) + βkyx k2L2 (0,l)
dt 2 o
+kky − zk2L2 (0,l) ) = 0.
d
{E (t)} = 0 =⇒ E (t) = E (0), ∀t > 0.
dt
Isto mostra que o sistema é conservativo e, conseqüentemente,
estável no sentido de Liapunov.
Referências bibliográficas
Referências bibliográficas