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.1. ODE’s de Primeira Ordem 76<br />
• Exemplo 2.1.14 ... Suponhamos que ξ é a rotação infinitesimal no plano de configuração<br />
IR 2 xu:<br />
ξ = −u ∂<br />
∂x + x ∂<br />
∂u<br />
Então, o respectivo levantamento a J 1 , é o campo de contacto:<br />
ξ (1) = −u ∂<br />
∂x + x ∂<br />
∂u + (1 + p2 ) ∂ ∂p<br />
(2.1.53)<br />
• Exemplo 2.1.15 ... Suponhamos que ξ é uma mudança de escala infinitesimal no plano<br />
de configuração IR 2 xu, dada por:<br />
ξ = rx ∂<br />
∂x + su ∂<br />
∂u<br />
(onde r, s ∈ IR − {0} são escalares fixos). Então, o respectivo levantamento a J 1 , é o campo<br />
de contacto:<br />
ξ (1) = rx ∂<br />
∂x + su ∂<br />
∂u + (s − r) ∂ (2.1.54)<br />
∂p<br />
• Exemplo 2.1.16 ... Se ξ = xu ∂<br />
∂x + u2 ∂<br />
∂u , o respectivo levantamento a J 1 , é o campo de<br />
contacto:<br />
ξ (1) = xu ∂<br />
∂x + ∂<br />
u2 ∂u + (u − xp) p ∂ (2.1.55)<br />
∂p<br />
2.1.5 Simetrias e simetrias infinitesimais de ODE’s de primeira ordem<br />
Consideremos de novo uma ODE de primeira ordem:<br />
F (x, u, u ′ ) = 0<br />
e a superfície associada Σ = {F = 0} ⊂ J 1 (IR; IR), munida da distribuição característica C Σ .<br />
Recorde que uma curva integral de C Σ , contida em Σ, diz-se uma solução generalizada da<br />
equação Σ.<br />
Definição 2.1.1 ...<br />
• Uma transformação (local) de contacto Φ : J 1 (IR; IR) → J 1 (IR; IR) diz-se uma simetria<br />
finita de contacto (local) da equação Σ = {F = 0} ⊂ J 1 (IR; IR), se Φ(Σ) = Σ, ou de forma<br />
equivalente, se:<br />
Φ ∗ def<br />
(F ) = F ◦ Φ = µ F (2.1.56)<br />
para alguma função µ ∈ C ∞ (J 1 ), que nunca se anule.<br />
• Um campo de contacto X ∈ X(J 1 ), diz-se uma simetria infinitesimal de contacto, ou<br />
simplesmente uma simetria da equação Σ = {F = 0} ⊂ J 1 (IR; IR), se X é tangente a SS,<br />
ou de forma equivalente, se:<br />
dF (X) = XF = λ F (2.1.57)<br />
para alguma função λ ∈ C ∞ (J 1 ).