Equações Diferenciais Parciais Não Lineares Sobre a Fronteira de ...
Equações Diferenciais Parciais Não Lineares Sobre a Fronteira de ...
Equações Diferenciais Parciais Não Lineares Sobre a Fronteira de ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Para mostrarmos que ' 2 C 1 0 ( ), consi<strong>de</strong>ramos a função f : R ! R <strong>de</strong>…nida por<br />
8<br />
< e<br />
f(t) =<br />
:<br />
1=t , t > 0<br />
0, t 0<br />
e observamos que f 2 C 1 (R) e se : ! R é <strong>de</strong>…nida por (x) = r 2 kx x0k 2 , então<br />
2 C 1 (R) e ' = f 2 C 1 (R). Des<strong>de</strong> que supp(') = Br(x0), o qual é compacto, segue<br />
que ' 2 C 1 0 ( ).<br />
Das proprieda<strong>de</strong>s do supp estabeleciadas anteriormente, vê-se facilmente que C 1 0 ( )<br />
é um espaço vetorial e supp(D u) supp(u), 8 2 N n , quando u for su…cientemente<br />
<strong>de</strong>rivável.<br />
É possível introduzir uma topologia em C 1 0 ( ), <strong>de</strong>nominada topologia limite indutivo,<br />
que faz <strong>de</strong>ste espaço um espaço topológico <strong>de</strong>notado por D( ) e cujos objetos serão<br />
<strong>de</strong>nominados funções testes.<br />
Convergência em D( ).<br />
Dizemos que uma seqüência ('n)n2N <strong>de</strong> funções testes converge para ' 2 D( ), quando:<br />
( i ) Existe um subconjunto compacto K <strong>de</strong> tal que<br />
supp('n) K, 8 n e supp(') K.<br />
( ii ) D 'n ! D ' uniformemente sobre K, para todo multi-índice .<br />
Por distribuição escalar sobre enten<strong>de</strong>mos uma forma linear e contínua sobre D( ),<br />
isto é, uma forma T : D( ) ! R, tal que:<br />
T ( ' + ) = T (') + T ( ), 8 2 R e ', 2 D( )<br />
e T é contínua, isto é, se ('n)n2N converge para ' em D( ) então (T ('n))n2N converge<br />
para T (') em R. O valor da distribuição T em ' será representado por hT; 'i e por D 0 ( )<br />
estaremos representando a coleção <strong>de</strong> todas as formas lineares contínuas T : D( ) ! R.<br />
Dadas T e S em D 0 ( ) <strong>de</strong>…nimos:<br />
( i ) hT + S; 'i = hT; 'i + hS; 'i, ' 2 D( )<br />
4<br />
.