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