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.
Como {wi} i é uma base ortonormal em L2 <br />
wi<br />
(Ω), então<br />
λi<br />
H1 0 (Ω)∩H 2 <br />
wi<br />
(Ω). Mais ain<strong>da</strong>, pode-se provar que<br />
λi i<br />
logo pela identi<strong>da</strong>de de Parseval, obtemos<br />
<br />
0<br />
φ 2 H1 0 (Ω)∩H2 (Ω) =<br />
<br />
∞ <br />
<br />
<br />
<br />
<br />
Como<br />
<br />
φ 0 , wi<br />
λi<br />
<br />
i=1<br />
H 1 0 (Ω)∩H2 (Ω)<br />
φ 0 , wi<br />
λi<br />
=<br />
H 1 0 (Ω)∩H2 (Ω)<br />
<br />
∆φ 0 , ∆ wi<br />
<br />
λi<br />
<br />
<br />
<br />
<br />
<br />
2<br />
<br />
i<br />
é ortonormal em<br />
é completo. Suponhamos f regular,<br />
e φ 1 2 =<br />
∞<br />
<br />
<br />
<br />
φ 1 , wi<br />
2 <br />
√λi .<br />
i=1<br />
<br />
= − ∆φ 0 , λiwi<br />
<br />
= −<br />
λi<br />
∆φ 0 <br />
, wi<br />
e<br />
<br />
φ 1 , wi<br />
<br />
√λi<br />
H1 0 (Ω)<br />
<br />
= ∇φ 1 , ∇wi<br />
<br />
√ = − φ<br />
λi<br />
1 , ∆wi<br />
<br />
√ = − φ<br />
λi<br />
1 , λiwi<br />
<br />
√ = −<br />
λi<br />
φ 1 λi<br />
, wi √λi ,<br />
deduzimos que<br />
de onde<br />
m<br />
i=n+1<br />
<br />
∆φ 0 2 , wi → 0 e<br />
m<br />
i=n+1<br />
<br />
<br />
<br />
<br />
<br />
<br />
√λi <br />
<br />
1 λi<br />
φ , wi<br />
Notemos agora que sendo f (s) ∈ H 1 0 (Ω), temos<br />
f(s) 2<br />
H 1 0<br />
i=1<br />
f (s) =<br />
∞<br />
i=1<br />
2<br />
R<br />
<br />
f(s), wi<br />
<br />
wi<br />
√λi √λi ,<br />
<br />
∞<br />
<br />
<br />
= f(s),<br />
<br />
wi<br />
<br />
<br />
wi <br />
√λi √λi <br />
<br />
2<br />
→ 0, quando m, n → ∞. (2.47)<br />
=<br />
∞<br />
<br />
<br />
λi <br />
<br />
(f(s), wi) √λi <br />
<br />
Como consideramos f regular, ou seja, f ∈ C 0 ([0, T ] ; H 1 0 (Ω)), aplicando a desigual<strong>da</strong>de<br />
de Cauchy-Schwarz obtemos<br />
<br />
<br />
T λi <br />
<br />
(f(s), wi) √λi <br />
ds<br />
0<br />
2<br />
T<br />
≤ T<br />
0<br />
i=1<br />
<br />
<br />
λi <br />
<br />
(f(s), wi) √λi <br />
<br />
Portanto o último termo do lado direito de (2.46) pode ser visto como<br />
m<br />
i=n+1<br />
<br />
<br />
T λi <br />
<br />
(f(s), wi) √λi <br />
ds<br />
0<br />
2<br />
T<br />
≤ T<br />
0<br />
m<br />
i=n+1<br />
28<br />
<br />
<br />
λi <br />
<br />
(f(s), wi) √λi <br />
<br />
2<br />
2<br />
ds.<br />
2<br />
ds → 0, quando m, n → ∞.<br />
.<br />
(2.48)