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

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

Saved successfully!

Ooh no, something went wrong!