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.
onde E (t) é a energia defini<strong>da</strong> em (2.73). Fazendo Y = <br />
Q<br />
|φ ′ | 2 − |∇φ| 2 dxdt, e observando<br />
que a energia é conservativa, isto é, E (t) = E (0) para todo t ∈ [0, T ], temos de (B.3) que<br />
X +<br />
n − 1<br />
2 Y + T E (0) ≤ R (x0 <br />
)<br />
2 Σ(x0 )<br />
2 ∂φ<br />
dΓdt. (B.4)<br />
∂ν<br />
Notemos que ao multiplicarmos ambos lados <strong>da</strong> equação de (3.6) 1 por φ e integrarmos<br />
em Q, obtemos<br />
Dessa forma,<br />
<br />
− |φ|<br />
Q<br />
2 dxdt + (φ ′ (t) , φ (t))| T<br />
0 +<br />
<br />
|▽φ|<br />
Q<br />
2 dxdt = 0. <br />
X +<br />
n − 1<br />
Y =<br />
2<br />
<br />
φ ′<br />
<br />
n − 1<br />
m · ∇φ +<br />
2 φ<br />
<br />
<br />
dx<br />
<br />
Ω<br />
T<br />
0<br />
. (B.5)<br />
Iremos agora obter uma estimativa para a integral em (B.5) em termos <strong>da</strong> energia.<br />
Observemos que,<br />
<br />
φ ′<br />
<br />
n − 1<br />
m · ∇φ +<br />
2 φ<br />
<br />
dx ≤ µ<br />
<br />
φ<br />
2 Ω<br />
′2 dx + 1<br />
<br />
n − 1<br />
m · ∇φ +<br />
2µ Ω<br />
2 φ<br />
2 dx, (B.6)<br />
Ω<br />
onde µ > 0 é um número real a ser escolhido posteriormente.<br />
Analisemos a última integral do lado direito de (B.6) .<br />
Temos ain<strong>da</strong> que<br />
<br />
<br />
n − 1<br />
m · ∇φ +<br />
Ω<br />
2 φ<br />
2 dx =<br />
<br />
(n − 1)<br />
+<br />
2<br />
φ<br />
4<br />
2 <br />
dx + (n − 1)<br />
Ω<br />
Ω<br />
<br />
(m · ∇φ) φdx =<br />
mk<br />
Ω<br />
∂φ<br />
∂xk<br />
Ω<br />
<br />
Ω<br />
(m · ∇φ) 2 dx<br />
(m · ∇φ) φdx.<br />
φdx = 1<br />
<br />
2 Ω<br />
mk<br />
(B.7)<br />
∂φ2 dx (B.8)<br />
∂xk<br />
e, como φ = 0 sobre Σ, pelo Lema de Gauss temos<br />
<br />
∂ <br />
mkφ<br />
∂xk<br />
2 <br />
dx = vkmkφ 2 dΓ = 0. (B.9)<br />
Logo<br />
<br />
1<br />
2 Ω<br />
Ω<br />
mk<br />
∂φ 2<br />
∂xk<br />
dx = − 1<br />
<br />
2 Ω<br />
Γ<br />
∂mk<br />
∂xk<br />
96<br />
φ 2 dx = − n<br />
<br />
φ<br />
2 Ω<br />
2 dx. (B.10)