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.3. Exercícios e exemplos suplementares 97<br />

Vem então que:<br />

µθ =<br />

x<br />

x 2 u 2 − xu − 2 dx + x 2 u 2 − 2<br />

x(x 2 u 2 − xu − 2) du<br />

é uma forma fechada e portanto localmente exacta (lema de Poincaré): µθ = df localmente. Como:<br />

x du + u dx<br />

µθ =<br />

x 2 u 2 − xu − 2 + dx (<br />

x = d ln |x| + 1 ∣ ) ∣∣∣<br />

3 ln xu − 2<br />

xu + 1∣<br />

obtemos o integral:<br />

(iv). Cálculo.<br />

f(x, u) = x 3 xu − 2<br />

xu + 1 = C<br />

• • Exercício 2.3.2 ... Considere a equação:<br />

(E)...<br />

xu ′ = u + F (x)<br />

– (i). Mostre que ξ = x ∂<br />

∂u<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 a mesma equação (E), usando agora “coordena<strong>das</strong> canónicas” (relativas a<br />

ξ.)<br />

Resolução ...<br />

(i). Reescrevendo (E) em forma de Pfaff:<br />

sabemos que Z = x ∂<br />

∂x<br />

+ (u + F (x))<br />

∂<br />

∂u<br />

[ξ, Z] =<br />

ξ é simetria infinitesimal de (E).<br />

θ = x du − (u + F (x)) dx = 0<br />

gera o campo de linhas correspondente, e como:<br />

[<br />

x ∂<br />

∂u , x ∂<br />

∂<br />

+ (u + F (x))<br />

∂x ∂u<br />

]<br />

= 0<br />

(ii). As equações diferenciais que determinam Φ τ são:<br />

{<br />

x ′ (τ) = 0<br />

u ′ com condição inicial, para τ = 0<br />

(τ) = x(τ)<br />

{<br />

x(0) = x<br />

u(0) = u<br />

Integrando vem que:<br />

O respectivo prolongamento a J 1 é:<br />

Φ τ (x, u) = (x, xτ + u)<br />

Pondo F (x, u, p) = xp − u − F (x), vem que:<br />

Φ (1)<br />

τ (x, u) = (x, xτ + u, τ + p)<br />

F ◦ Φ (1)<br />

τ (x, u, p) = F (x, xτ + u, τ + p)<br />

= x(τ + p) − (xτ + u) − F (x)<br />

= xp − u − F (x)<br />

= F (x, u, p)

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

Saved successfully!

Ooh no, something went wrong!