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
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Mostremos que, <strong>da</strong>do ε > 0 tal que T − 2ε > 2R (x0 ) , vale a seguinte desigual<strong>da</strong>de:<br />
T −ε<br />
E (0) ≤ C<br />
<br />
|φ ′ | 2 + |∇φ| 2<br />
dxdt. (B.21)<br />
ε<br />
Com efeito, para T > 2R (x 0 ) sabemos pela desigual<strong>da</strong>de (B.1) que<br />
<br />
para a solução φ de (3.32) .<br />
Ω<br />
∇φ 0 (x) 2 + φ 1 (x) 2 <br />
dx ≤<br />
w<br />
R (x0 )<br />
T − 2R (x0 <br />
) Σ(x0 )<br />
2 ∂φ<br />
dΓdt, (B.22)<br />
∂ν<br />
Suponhamos que T > 2R (x 0 ) é tal que existe ε > 0 tal que T − 2ε > 2R (x 0 ). Nestas<br />
condições, de (B.23) , <strong>da</strong> invariância <strong>da</strong> equação <strong>da</strong> on<strong>da</strong>s respeito as translações na variável<br />
tempo e <strong>da</strong> conservação <strong>da</strong> energia deduzimos<br />
E (0) = 1<br />
∇φ <br />
0 2 <br />
(x) + φ1 2<br />
(x) <br />
2 Ω<br />
<br />
dx ≤ C<br />
T −ε<br />
ε<br />
<br />
Γ0<br />
2 ∂φ<br />
dΓdt, (B.23)<br />
∂ν<br />
Considere h ∈ C 1 Ω n tal que h · ν ≥ 0 para todo x ∈ Γ, h = ν sobre Γ (x 0 ) e h = 0<br />
em Ω − ω. Seja η ∈ C 1 ([0, T ]) tal que η (0) = η (T ) = 0, η (t) = 1 em (ε, T − ε) . Definamos<br />
q (x, t) = η (t) h (x) , a qual pertence a W 1,∞ (Q) e satisfaz<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
q (x, t) = ν (x) ∀ (x, t) ∈ Γ (x0 q (x, t) · ν (x) ≥ 0<br />
q (x, 0) = q (x, T ) = 0<br />
q (x, t) = 0<br />
) × (ε, T − ε) ,<br />
∀ (x, t) ∈ Γ × (0, T ) ,<br />
∀ x ∈ Ω,<br />
∀ (x, t) ∈ (Ω − ω) × (0, T ) .<br />
(B.24)<br />
Considerando o multiplicador q · ∇φ ∈ L 2 (Q) , onde φ é solução de (3.32) , podemos<br />
deduzir do Lema 2.3 a seguinte identi<strong>da</strong>de:<br />
<br />
1<br />
q · ν<br />
2 Σ<br />
<br />
+<br />
ω×(0,T )<br />
2 ∂φ<br />
dΓdt = (φ<br />
∂ν<br />
′ (t) , q · ∇φ)| T<br />
0<br />
∂qk ∂φ ∂φ<br />
dxdt.<br />
∂xj ∂xk ∂xj<br />
<br />
1<br />
+ divq<br />
2 ω×(0,T )<br />
|φ ′ | 2 − |∇φ| 2 dxdt<br />
(B.25)<br />
Observando as características do campo vetorial q, acima definido, obtemos<br />
T 2 1<br />
∂φ<br />
q · ν dΓdt ≥<br />
2<br />
∂ν<br />
1<br />
T −ε<br />
2<br />
2 ∂φ<br />
dΓdt,<br />
∂ν<br />
(B.26)<br />
0<br />
Γ<br />
100<br />
ε<br />
Γ(x 0 )