27.10.2014 Views

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

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.

2.2. ODE’s de Segunda Ordem 92<br />

2.2.4 Integração de F (x, u, u ′ , u ′′ ) = 0 através de duas simetrias<br />

Nesta secção vamos apenas analisar alguns exemplos de integração da ODE F (x, u, u ′ , u ′′ ) = 0,<br />

quando esta possui duas simetrias.<br />

• Exemplo 2.2.7 ... Considere a equação linear:<br />

que admite as simetrias pontuais:<br />

u ′′ − 2u<br />

x 2 = 0<br />

ξ 1 = u ∂<br />

∂u , e ξ 2 = x ∂<br />

∂x<br />

De facto, com F (x, u, p, q) = q − 2u<br />

x 2 , temos que:<br />

(<br />

ξ (2) ∂<br />

1 F = ∂u + p ∂ ∂p + q ∂ ) (<br />

q − 2u )<br />

∂q x 2<br />

= q − 2u<br />

x 2 = F<br />

ξ (2)<br />

2 F = ( ∂<br />

∂x − p ∂ ∂p − 2q ∂ ∂q<br />

) (<br />

q − 2u<br />

x 2 )<br />

= −2q + 4u<br />

x 2 = −2F (2.2.55)<br />

Note que ξ 1 e ξ 2 geram uma álgebra de Lie real de dimensão 2, abeliana, uma vez que<br />

[ξ 1 , ξ 2 ] = 0.<br />

Vamos rectificar o campo ξ 1 = u ∂<br />

∂u<br />

. Este campo é transversal à recta u = 1. O difeomorfismo<br />

de rectificação:<br />

φ : IR 2 −→ IR 2<br />

(r, s) ↦−→ (x(r, s), u(r, s)) , com φ ∂<br />

∗<br />

∂s = ξ 1<br />

pode então ser escolhido de tal forma que as respectivas componentes são determina<strong>das</strong> pelo<br />

sistema de ODE’s, parametrizado por r:<br />

⎧<br />

∂x<br />

∂s ⎪⎨ ∂u<br />

∂s<br />

⎪⎩<br />

(r; s) = 0<br />

(r; s) = u(r; s)<br />

x(r; 0) = r<br />

u(r; 0) = 1<br />

o que dá x(r; s) = r e u(r, s) = e s . O prolongamento de φ a J 2 :<br />

φ (2) : IR 4 rswz −→ IR 4 xupq<br />

é dado por (2.2.8), adaptando devidamente as notações:<br />

(<br />

φ (2) (r, s, w, z) = r, e s , u r + wu s<br />

, p )<br />

r + wp s + zp w<br />

x r + wx s x r + wx s<br />

=<br />

(r, e s , we s , w 2 e s + ze s)

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

Saved successfully!

Ooh no, something went wrong!