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.
2.3. Exercícios e exemplos suplementares 96<br />
2.3 Exercícios e exemplos suplementares<br />
• • Exercício 2.3.1 ... Considere a equação:<br />
– (i). Mostre que ξ = x ∂<br />
∂x − u ∂<br />
∂u<br />
(E)... u ′ + u 2 = 2 x 2<br />
é simetria infinitesimal de (E).<br />
– (ii). Calcule o grupo local a um parâmetro Φ τ = Φ ξ τ , e mostre directamente que ele é<br />
simetria (finita) de (E).<br />
– (iii). Calcule um factor integrante e integre a equação dada.<br />
– (iv). Integre agora (E), usando “coordena<strong>das</strong> canónicas” (relativas a ξ.)<br />
Resolução ...<br />
(i). Reescrevendo (E) em forma de Pfaff:<br />
θ = du + (u 2 − 2/x 2 ) dx = 0<br />
sabemos que Z = − ∂<br />
∂x + (u2 − 2/u 2 ) ∂<br />
∂u<br />
gera a distribuiçãode linhas correspondente, e como:<br />
[<br />
[ξ, Z] = x ∂<br />
∂x − u ∂<br />
∂u , − ∂<br />
∂x + (u2 − 2/x 2 ) ∂ ]<br />
= −Z<br />
∂u<br />
ξ é simetria infinitesimal de (E).<br />
(ii). As equações diferenciais que determinam Φ τ são:<br />
{<br />
x ′ (τ) = x(τ)<br />
u ′ com condição inicial, para τ = 0<br />
(τ) = −u(τ)<br />
{<br />
x(0) = x<br />
u(0) = u<br />
Integrando vem que:<br />
O respectivo prolongamento a J 1 é:<br />
Φ τ (x, u) = ( e τ x, e −τ u )<br />
Φ (1)<br />
τ (x, u) =<br />
Pondo F (x, u, p) = p + u 2 − 2 x 2 , vem que:<br />
(x e τ , u e −τ , p e −2τ )<br />
F ◦ Φ (1)<br />
τ (x, u) = F<br />
(x )<br />
e τ , u e −τ , p e −2τ<br />
= p e −2τ + (u e −τ ) 2 − 2<br />
(x e τ ) 2<br />
(<br />
= e −2τ p + u 2 − 2 )<br />
x 2<br />
= e −2τ F (x, u, p)<br />
o que mostra que Φ τ = Φ ξ τ é simetria (finita) de (E).<br />
(iii). Pelo teorema de Lie µ = 1<br />
θ(ξ)<br />
Mas θ(ξ) = ( du + (u 2 − 2/x 2 ) dx ) ( x ∂<br />
∂x − u ∂<br />
∂u<br />
diferente de zero:<br />
é um factor integrante, desde que θ(ξ) ≠ 0.<br />
)<br />
= −u + u 2 x − 2/x e, desde que este termo seja<br />
µ =<br />
x<br />
x 2 u 2 − xu − 2