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 70<br />
Cada D λ transforma a 1-faixa F m : p ↦−→ (a, b, p), p ∈ IR, de suporte m = (a, b), na 1-faixa<br />
D λ ◦ F m dada por:<br />
(<br />
)<br />
λp<br />
p ↦−→ a + √ , b − λ<br />
√ , p 1 + p 2 1 + p 2<br />
cuja projecção no plano de configuração tem suporte na circunferência de equação (x − a) 2 +<br />
(u − b) 2 = λ 2 , centrada em m e de raio λ (ver a figura 2.11).<br />
Figure 2.11: Dilatação D λ .<br />
.<br />
2.1.3 Método de Lie-Jacobi, para gerar transformações de contacto<br />
Vamos agora descrever um método, que se deve a Lie e Jacobi, para construir transformações de<br />
contacto através de uma equação, dita equação directriz, no espaço de configuração.<br />
Consideremos então uma transformação de contacto Φ : J 1 (IR; IR) → J 1 (IR; IR), que transforma<br />
cada elemento de contacto c = (x, u, p) ∈ J 1 num outro elemento de contacto:<br />
C = Φ(c) = (X = X(x, u, p), U = U(x, u, p), P = P (x, u, p)) ∈ J 1<br />
Seja:<br />
F m : α ↦−→ (x, u; p = α),<br />
}{{}<br />
α ∈ IR (2.1.31)<br />
m<br />
uma 1-faixa de contacto 4 suporte fixo m = (x, u). Recorde que isto significa que F m é uma curva<br />
imersa em J 1 = IR 3 xup, que satisfaz a condição:<br />
F ∗ m(du − p dx) = 0<br />
Ambas as condições são óbvias neste caso, já que F ′ m(α) = (0, 0, 1) e x, u são constantes. Então<br />
Φ(F m ) será também uma 1-faixa, porque Φ é uma transformação de contacto. Φ(F m ) é a curva<br />
imersa, em J 1 = IR 3 xup, parametrizada por:<br />
Φ ◦ F m : α ↦−→ (X(m; α), U(m; α), P (m; α)) (2.1.32)<br />
(não esqueça que m = (x, u) está fixo). Vamos considerar as duas situações seguintes, conforme a<br />
matriz Jacobiana da aplicação π ◦ Φ ◦ F m : α ↦→ (X(m; α), U(m; α)):<br />
tenha característica 0 e 1.<br />
4 ou variedade de Legendre de dimensão 1 em J 1 ...<br />
J (m; α) = [X α U α ] (2.1.33)