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.
para 1 ≤ j ≤ m. Logo substituindo em (2.43), a solução aproxima<strong>da</strong> é <strong>da</strong><strong>da</strong> por<br />
φm(x, t)<br />
m<br />
<br />
φ <br />
0<br />
= , wj cos λjt + 1 <br />
1 φ , wj sen λjt +<br />
λj<br />
1<br />
t<br />
(f (s) , wj) sen<br />
λj 0<br />
<br />
λj (t − s) ds wi(x).<br />
i=1<br />
Encontra<strong>da</strong> explicitamente, a expresão <strong>da</strong> solução aproxima<strong>da</strong>, passemos a provar a<br />
regulari<strong>da</strong>de (2.42).<br />
• φ ∈ C 0 ([0, T ] ; H 1 0 (Ω) ∩ H 2 (Ω)) .<br />
Mostraremos que (φm) m∈N é uma sequência de Cauchy em C 0 ([0, T ] ; H 1 0 (Ω) ∩ H 2 (Ω)) .<br />
Com efeito,considerando m, n ∈ N com m > n, temos<br />
φm(t) − φn(t) 2<br />
H 1 0 (Ω)∩H2 (Ω) =<br />
<br />
<br />
<br />
<br />
<br />
<br />
m <br />
<br />
gi(t)wi(x) <br />
<br />
i=n+1<br />
2<br />
H 1 0 (Ω)∩H2 (Ω)<br />
<br />
<br />
<br />
= <br />
<br />
<br />
m<br />
<br />
<br />
gi(t)∆wi(x) <br />
<br />
i=n+1<br />
Sendo −∆wi = λiwi e {wj} j uma base ortonormal em L 2 (Ω) , pelo Teorema de Pitágoras,<br />
obtemos<br />
φm(t) − φn(t) 2<br />
H 1 0 (Ω)∩H2 (Ω) =<br />
<br />
<br />
<br />
<br />
<br />
<br />
m<br />
<br />
<br />
gi(t)λiwi(x) <br />
<br />
i=n+1<br />
Analisando o último termo <strong>da</strong> igual<strong>da</strong>de anterior, deduzimos<br />
2<br />
=<br />
m<br />
i=n+1<br />
|gi(t)λi| 2 .<br />
|gi(t)λi| 2 <br />
<br />
= <br />
(φ0 , wi) λi cos √ λit + λi<br />
√λi (φ1 , wi) sen √ λit + λi<br />
t<br />
√λi (f (s) , wi) sen<br />
0<br />
√ <br />
<br />
λi (t − s) ds<br />
<br />
<br />
(φ<br />
0 ≤ , wi) λi cos √ λit <br />
λi + <br />
√<br />
(φ<br />
λi<br />
1 , wi) sen √ <br />
<br />
λit<br />
+<br />
<br />
t<br />
λi <br />
√<br />
(f (s) , wi) sen<br />
λi 0<br />
√ 2<br />
<br />
λi (t − s) ds<br />
<br />
<br />
≤ |(φ0 <br />
λi<br />
, wi) λi| + <br />
√<br />
(φ<br />
λi<br />
1 <br />
<br />
, wi) <br />
+<br />
<br />
t<br />
2<br />
λi<br />
<br />
<br />
√<br />
(f (s) , wi) ds<br />
.<br />
λi<br />
Aplicando a desigual<strong>da</strong>de (a + b) 2 ≤ 2a 2 + 2b 2 duas vezes obtemos<br />
|gi(t)λi| 2 ≤ 4 φ 0 , wi<br />
λi<br />
<br />
2 <br />
λi<br />
+ 4 <br />
√<br />
λi<br />
0<br />
1<br />
φ , wi<br />
2 <br />
T<br />
+ 2<br />
0<br />
27<br />
<br />
<br />
<br />
λi <br />
<br />
(f (s) , wi) √λi <br />
ds<br />
2<br />
2<br />
.<br />
. (2.46)<br />
2