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
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.