FCUP Dep. Matemática Pura Geometria das Equaç˜oes Diferenciais
FCUP Dep. Matemática Pura Geometria das Equaç˜oes Diferenciais
FCUP Dep. Matemática Pura Geometria das Equaç˜oes Diferenciais
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
1.7. Apêndice 46<br />
Mais uma vez não há motivo nenhum para impôr que φ(0) = (a, b). Aliás, por uma mudança<br />
linear de coordena<strong>das</strong> podemos supôr que a = 1 e b = 0, o que simplifica ψ, que fica com o<br />
aspecto seguinte:<br />
( ) 1<br />
φ(r, s) =<br />
1 − r , s<br />
1 − r<br />
e tomando −r em vez de 1 − r, obtemos ainda mais a simplificação seguinte:<br />
φ(r, s) =<br />
(<br />
− 1 )<br />
r , −s r<br />
Calculando:<br />
( ) ∂<br />
dφ (r,s) =<br />
∂r<br />
[<br />
1/r<br />
2<br />
0<br />
s/r 2 1/r<br />
] [<br />
1<br />
0<br />
]<br />
=<br />
[<br />
1/r<br />
2<br />
s/r 2 ]<br />
= 1 r 2 ∂<br />
∂x = s r 2 ∂<br />
∂y = X(φ(r, s)) .<br />
O difeomorfismo de rectificação:<br />
φ : IR n r i −→ IR n x i<br />
fica definido pela condição seguinte:<br />
dφ r<br />
( ∂<br />
∂r 1 )<br />
= X (φ (r))<br />
Mais concretamente, se:<br />
e se:<br />
φ : IR n −→ IR n<br />
r = (r 1 , · · · , r n ) ↦−→ ( x 1 (r 1 , · · · , r n ), · · · , x n (r 1 , · · · , r n ) ) (1.7.20)<br />
X =<br />
n∑<br />
i=1<br />
então a condição anterior traduz-se na seguinte:<br />
X i (x 1 , · · · , x n ) ∂<br />
∂x i (1.7.21)<br />
∂x i (<br />
∂r 1 r 1 ; r 2 · · · , r n) ( ( = X i x 1 r 1 ; r 2 · · · , r n) ( , · · · , x n r 1 ; r 2 · · · , r n)) , i = 1, · · · , n (1.7.22)<br />
Olhando para r 1 como uma variável e para r 2 , · · · , r n como parâmetros, o sistema (1.7.22) representa<br />
um sistema de ODE’s com n − 1 parâmetros, que devemos resolver impondo a condição inicial:<br />
x i (0; r 2 · · · , r n ) = r i , i = 2, · · · , n (1.7.23)<br />
• Exemplo 1.7.10 ... Consideremos de novo o campo:<br />
O difeomorfismo de rectificação será:<br />
X(x, y) = x 2 ∂<br />
∂x + xy ∂<br />
∂y<br />
φ : IR 2 −→ IR 2<br />
(r, s) ↦−→ (x(r, s), y(r, s))