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.

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

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

Saved successfully!

Ooh no, something went wrong!