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

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

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

Saved successfully!

Ooh no, something went wrong!