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 104<br />
Resolução ... O gerador infinitesimal é:<br />
ξ(x, u) =<br />
e o seu prolongamento a J 2 é:<br />
∂<br />
(<br />
)<br />
x<br />
∂τ ∣ τ=0 1 − τ x , u<br />
= x 2 ∂ x + xu∂ u<br />
1 − τ x<br />
ξ (2) = x 2 ∂ x + xu∂ u + (u − xp)∂ p − 3qx∂ q<br />
Os invariantes de ordem 0, são as soluções F = F (x, u) da PDE:<br />
cujas características são da<strong>das</strong> por:<br />
e a solução geral é:<br />
ξF = x 2 ∂F<br />
∂x<br />
+ xu<br />
∂F<br />
∂u = 0<br />
dx<br />
x 2 = du<br />
xu<br />
( x<br />
F = F<br />
u)<br />
Os invariantes de ordem 1, são as soluções F = F (x, u, p) da PDE:<br />
ξ (1) F = x 2 ∂F<br />
∂x<br />
cujas características são da<strong>das</strong> por:<br />
+ xu<br />
∂F<br />
∂u<br />
dx<br />
x 2 = du<br />
xu =<br />
+ (u − xp)<br />
∂F<br />
∂p = 0<br />
dp<br />
u − xp<br />
Um integral primeiro é f = x/u ≡ C. Para encontrar um segundo integral funcionalmente independente,<br />
substituímos x = Cu nas duas últimas fracções:<br />
du<br />
Cu 2 =<br />
dp<br />
u − Cup<br />
⇒<br />
du<br />
Cu =<br />
dp<br />
1 − Cp<br />
e integrando vem que g(x, u, p) = u ( 1 − x u p) = u − xp ≡ D é um segundo integral. A solução geral<br />
é pois:<br />
( ) x<br />
F = F<br />
u , u − xp<br />
Finalmente, os invariantes de ordem 2, são as soluções F = F (x, u, p, q) da PDE:<br />
ξ (2) F = x 2 ∂F<br />
∂x<br />
cujas características são da<strong>das</strong> por:<br />
+ xu<br />
∂F<br />
∂u<br />
dx<br />
x 2 = du<br />
xu =<br />
+ (u − xp)<br />
∂F<br />
∂p<br />
dp<br />
u − xp =<br />
dq<br />
−3qx<br />
Usando a primeira e última fracções, obtemos um terceiro integral:<br />
h(x, u, p, q) = x 3 q ≡ E<br />
e portanto o invariante diferencial de ordem 2 mais geral é do tipo:<br />
( )<br />
x<br />
F = F<br />
u , u − xp, x3 q<br />
− 3qx<br />
∂F<br />
∂q = 0