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

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

Saved successfully!

Ooh no, something went wrong!