09.05.2013 Views

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

SHOW MORE
SHOW LESS

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 )

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!