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
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
1.7. Apêndice 45<br />
• Exemplo 1.7.8 ... Consideremos o campo em IR 2 :<br />
X(x, y) = −y ∂<br />
∂x + x ∂<br />
∂y<br />
Perto de um ponto (a, b) ≠ (0, 0), o campo X não se anula e pode por isso ser rectificado. Se<br />
b ≠ 0, X é transversal ao eixo dos yy, e a aplicação de rectificação (1.7.16), é neste caso:<br />
φ(r, s) = Φ X r (a, b + s)<br />
definida numa vizinhança de 0 ∈ IR 2 rs. O fluxo de X foi calculado anteriormente:<br />
Portanto:<br />
[ ] [ ]<br />
Φ X cos τ − sin τ x<br />
τ (x, y) =<br />
sin τ cos τ y<br />
φ(r, s) = Φ X r (a, b + s) = (a cos r − (b + s) sin r, a sin r + (b + s) cos r)<br />
.<br />
Na prática, não há motivo nenhum para impôr que φ(0) = x o . Assim, no último exemplo, as<br />
coordena<strong>das</strong> polares usuais para IR 2 :<br />
ψ(r, θ) = (r cos θ, r sin θ)<br />
são também “boas” coordena<strong>das</strong> na vizinhança de um qualquer ponto diferente de 0, e rectificam o<br />
campo X, que é, como já vimos, o gerador infinitesimal de uma rotação plana em torno da origem.<br />
Com efeito:<br />
( ) [ ] [ ] [ ]<br />
∂ cos θ −r sin θ 0 −r sin θ<br />
dψ (r,θ) =<br />
=<br />
= −r sin θ ∂<br />
∂θ sin θ r cos θ 1 r cos θ<br />
∂x + r cos θ ∂ = X(ψ(r, θ))<br />
∂y<br />
• Exemplo 1.7.9 ... Consideremos o grupo local a um parâmetro de inversões em IR 2 ,<br />
dado por:<br />
( )<br />
Φ τ (x, y) = x<br />
1−τx , y<br />
1−τx<br />
O seu gerador infinitesimal calcula-se da seguinte forma:<br />
X(x, y) =<br />
∂<br />
(<br />
)<br />
x<br />
∂τ ∣ τ=0 1 − τx , y<br />
1 − τx<br />
= x 2 ∂<br />
∂x + xy ∂ ∂y<br />
e é portanto igual a :<br />
X(x, y) = x 2 ∂<br />
∂x + xy ∂<br />
∂y<br />
(1.7.19)<br />
Vamos rectificar este campo na vizinhança de um ponto x o = (a, b), onde a ≠ 0. A aplicação<br />
de rectificação (1.7.16), é neste caso:<br />
φ(r, s) = Φ X r (a, b + s)<br />
( )<br />
a<br />
=<br />
1 − ra , b + s<br />
1 − ra