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