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.
Logo para qualquer {ρ 0 , ρ 1 } ∈ H 1 0 (Ω) × L 2 (Ω) , temos<br />
<br />
<br />
<br />
<br />
Σ0<br />
∂ ˆρ ∂ρ<br />
∂ν ∂ν dΣ + ρ 1 , z 0 − z 1 , ρ 0<br />
<br />
<br />
<br />
H−1 (Ω),H1 0 (Ω) ≤ ε ρ 0 , ρ 1 H1 0 (Ω)×L2 (Ω)<br />
. (3.69)<br />
Sendo y solução ultra fraca de (3.1) , no sentido <strong>da</strong> Definição 2.2, então, para ρ solução<br />
de (3.62) , segue a seguinte identi<strong>da</strong>de:<br />
Tendo em conta que y| Σ0<br />
<br />
− y (T ) , ρ 1 + y ′ (T ) , ρ 0 <br />
−<br />
<br />
∂ ˆρ<br />
= v = <br />
∂ν Σ0<br />
Σ0<br />
Σ<br />
, concluimos que<br />
∂ρ<br />
ydΓdt = 0. (3.70)<br />
∂ν<br />
∂ ˆρ ∂ρ<br />
∂ν ∂ν dΓdt = y ′ (T ) , ρ 0 − y (T ) , ρ 1 . (3.71)<br />
Dessa forma, substituindo (3.71) em (3.69) , deduzimos que<br />
<br />
<br />
y ′ (T ) , ρ 0 − y (T ) , ρ 1 + ρ 1 , z 0 − z 1 , ρ 0<br />
e, assim,<br />
<br />
<br />
H−1 (Ω),H1 0 (Ω) ≤ ε ρ 0 , ρ 1 H1 0 (Ω)×L2 (Ω)<br />
<br />
ρ 0 , ρ 1 , z 0 , z 1 − {y (T ) , y ′ (T )} ≤ ε ρ 0 , ρ 1 H 1 0 (Ω)×L 2 (Ω) .<br />
Logo (3.55) se cumpre. <br />
3.2.2 <strong>Controlabili<strong>da</strong>de</strong> <strong>Aproxima<strong>da</strong></strong> Interna<br />
Nosso objetivo nesta seção é estu<strong>da</strong>r o problema de controlabili<strong>da</strong>de aproxima<strong>da</strong> para<br />
o sistema (3.30) . Sendo o sistema linear, vamos a considerar, sem per<strong>da</strong> de generali<strong>da</strong>de, os<br />
<strong>da</strong>dos iniciais nulos.<br />
Definição 3.2 Dizemos que (3.30) é aproxima<strong>da</strong>mente controlável se, para todo ε > 0 e<br />
{z 0 , z 1 } ∈ H 1 0 (Ω) × L 2 (Ω) , existe h ∈ L 2 (ω × (0, T )) tal que a solução y = y (x, t, h) do<br />
sistema (3.30) , com <strong>da</strong>dos iniciais {y 0 , y 1 } = {0, 0} , satisfaz<br />
<br />
<br />
′ 0 1<br />
{y(T ), y (T )} − z , z <br />
H1 0 (Ω)×L2 ≤ ε. (3.72)<br />
(Ω)<br />
82