09.05.2013 Views

Banco_de_Dissetacoes_files/Roberto Ribeiro Santos Junio.pdf

Banco_de_Dissetacoes_files/Roberto Ribeiro Santos Junio.pdf

Banco_de_Dissetacoes_files/Roberto Ribeiro Santos Junio.pdf

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.

O que prova o lema. <br />

Retornando a (2.25) do Lema <strong>de</strong> Ferreira segue que:<br />

1<br />

<br />

<br />

<br />

2<br />

k1εu ′ <br />

<br />

εm(t)<br />

2<br />

+ 1<br />

2<br />

t<br />

0<br />

<br />

<br />

k2(x)u ′ <br />

<br />

εm(s)<br />

<br />

em que C5 é uma constante que in<strong>de</strong>pen<strong>de</strong> <strong>de</strong> ε e m.<br />

(i)<br />

(ii)<br />

De (2.29) temos que:<br />

2<br />

Ω<br />

ds + 1<br />

2 uεm(t) 2 +<br />

1<br />

2 uεm(t) 2 ≤ C5 ⇒ |uεm(t)| 2 < C6<br />

m<br />

m<br />

=⇒ C6 ≥ (uεm(t), uεm(t)) = ( gjεm(t)wj,<br />

=<br />

j=1<br />

m<br />

[gjεm(t)] 2 = |X(t)| 2<br />

j=1<br />

39<br />

G(uεm(t))dx ≤ C5, (2.29)<br />

i=1<br />

giεmwi)<br />

1<br />

2 |k1εu ′ εm(t)| 2<br />

L2 (Ω) ≤ C5<br />

=⇒ 2C5 ≥| k1εu ′ εm(t)| 2<br />

L2 (Ω) =<br />

<br />

|<br />

Ω<br />

k1εu ′ <br />

εm(t)|dx =<br />

<br />

≥ ε|u<br />

Ω<br />

k1ε=k1+ε<br />

′ εm(t)| 2 <br />

dx = ε u<br />

Ω<br />

′ εm(t)u ′ εm(t)dx<br />

= ε(u ′ εm(t), u ′ m<br />

εm(t)) L2 (Ω) = ( g ′ m<br />

jεm(t)wj,<br />

=<br />

m<br />

[g ′ jεm(t)] 2 = ε|X ′ (t)| 2<br />

j=1<br />

j=1<br />

|k1εu<br />

Ω<br />

′ εm(t)|dx<br />

i=1<br />

g ′ iεm) =<br />

Observação 2.2.2. Portanto, a solução Y (t) = (X(t), X ′ (t)) <strong>de</strong> (P M ∗ ) é limitada, ∀t <<br />

tεm. Logo, <strong>de</strong> acordo com teorema <strong>de</strong> prolongamento <strong>de</strong> solução, Y po<strong>de</strong> ser prolongada<br />

até T . Por conseguinte uεm solução <strong>de</strong> (P εm ) está <strong>de</strong>finida em [0, T ].<br />

Afirmação 2.2.3 (Ferreira,[7]). Se r = 2p<br />

p+1 então<br />

on<strong>de</strong> C6 é uma constante.<br />

u ′ εm r L r (Q) =<br />

Demonstração: Com efeito:<br />

T<br />

|u ′ εm(x, s)| r dxds =<br />

0<br />

Ω<br />

T<br />

0<br />

T<br />

<br />

0<br />

Ω<br />

<br />

Ω<br />

|u ′ εm(x, s)| r dxds ≤ C6, (2.30)<br />

1<br />

[k2(x)] p<br />

p+1<br />

[k2(x)] p<br />

p+1 |u ′ εm(x, s)| 2p<br />

p+1 dxds.

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

Saved successfully!

Ooh no, something went wrong!