Controlabilidade Exata e Aproximada da Equação da Onda Linear
Controlabilidade Exata e Aproximada da Equação da Onda Linear
Controlabilidade Exata e Aproximada da Equação da Onda Linear
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
φ ′ m → φ ′ fraco − ∗ em L ∞ 0, T ; L 2 (Ω) . (B.45)<br />
As estimativas (B.43) implicam que (φm) é limita<strong>da</strong> em H 1 (Q) . Como H 1 (Q) c<br />
↩→ L 2 (Ω)<br />
(ver Lema 1.2), existe uma subsequência de (φm) , que denotaremos por (φm) , tal que<br />
φm → φ forte em L 2 0, T ; L 2 (ω) . (B.46)<br />
De (B.42) , (B.45) e o Teorema de Banach-Steinhauss (Teorema 1.7), segue que φ ′ (x, t) = 0<br />
em ω × (0, T ), isto é, φ (x, t) é constante com respeito a t em ω × (0, T ) . Mas φ = 0 sobre<br />
Σ, porque φ é solução de (3.32) . Logo, pelo Teorema de Holmgren (ver [16]), φ (x, t) = 0 em<br />
ω × (0, T ). Então, por (B.46) , temos<br />
φm → 0 forte em L 2 0, T ; L 2 (ω) .<br />
Como (B.30) também é ver<strong>da</strong>deira para φm, podemos concluir a convergência<br />
∂φm<br />
∂ν → 0 forte em L2 (Σ0) ,<br />
à qual, juntamente com a desigual<strong>da</strong>de direta (B.22), permite-nos dizer que<br />
que é uma contradição com (B.41) 2 . <br />
0<br />
φm, φ 1 1<br />
m → {0, 0} forte em H0 (Ω) × L 2 (Ω) ,<br />
104