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 75<br />

• Exemplo 2.1.12 ... O campo de vectores X = ∂<br />

∂x é de contacto, uma vez que L Xω =<br />

L X (du−p dx) = d(Xu)−p d(Xx) = 0. A função geradora é f = ω(X) = −p. Anàlogamente,<br />

Y = ∂<br />

∂u é de contacto, com função geradora g = ω(Y ) = 1. Mas ∂ ∂p<br />

não é de contacto.<br />

• Exemplo 2.1.13 ... Um campo de vectores:<br />

ξ = a(x, u) ∂ ∂<br />

+ b(x, u)<br />

∂x ∂u ∈ X ( )<br />

IR 2 xu<br />

(2.1.47)<br />

no espaço de configuração, pode ser levantado a um campo de contacto X = ξ (1) ∈ X(J 1 ), da<br />

seguinte forma. Seja Φ ξ (<br />

τ o fluxo (local) de ξ. Então o levantamento Φ τ = Φ ξ ) (1)<br />

τ , constitui<br />

um fluxo (local) de transformações de contacto em J 1 . O campo ξ (1) , não é mais do que o<br />

gerador infinitesimal deste fluxo, isto é:<br />

ξ (1) (c)<br />

def d<br />

=<br />

dτ ∣<br />

(Φ ξ ) (1)<br />

τ (c), c ∈ J 1 (2.1.48)<br />

τ=0<br />

Suponhamos que o fluxo (local) de ξ é dado por:<br />

onde:<br />

∂<br />

∂τ ∣ X(x, u; τ) = a(x, u)<br />

τ=0<br />

e ainda:<br />

Φ ξ τ (x, u) = (X(x, u; τ), U(x, u; τ))<br />

e<br />

∂<br />

∂τ ∣ U(x, u; τ) = b(x, u), ∀(x, u) (2.1.49)<br />

τ=0<br />

X(x, u; 0) = x e U(x, u; 0) = u ∀(x, u) (2.1.50)<br />

Atendendo à fórmula (2.1.25), o levantamento de cada Φ ξ τ , é dado por:<br />

(<br />

Φ ξ ) (1)<br />

τ (x, u, p) =<br />

(X = X(x, u; τ), U = U(x, u; τ), P = P (x, u, p; τ) = U )<br />

x(x, u; τ) + p U u (x, u; τ)<br />

X x (x, u; τ) + p X u (x, u; τ)<br />

onde pusemos ∂U<br />

∂x = U x, etc.... Derivando em ordem a τ, para τ = 0, e atendendo a (2.1.49)<br />

e (2.1.50), obtemos que:<br />

∂<br />

∂τ ∣ P (x, u, p; τ) = ∂<br />

U x (x, u; τ) + p U u (x, u; τ)<br />

τ=0 ∂τ ∣ τ=0 X x (x, u; τ) + p X u (x, u; τ)<br />

= b x + (b u − a x ) p − a u p 2<br />

e portanto o campo de contacto X = ξ (1) ∈ X(J 1 ), é dado por:<br />

A função geradora deste campo é:<br />

linear em p, portanto.<br />

ξ (1) = a(x, u) ∂<br />

∂<br />

∂x<br />

+ b(x, u)<br />

∂u + [b x + (b u − a x ) p − a u p 2 ] ∂ ∂p<br />

(2.1.51)<br />

f = ω(ξ (1) )<br />

(<br />

= (du − p dx) a ∂<br />

∂x + b ∂<br />

∂u + (b x + (b u − a x ) p − a u p 2 ) ∂ )<br />

∂p<br />

= b(x, u) − a(x, u) p (2.1.52)

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

Saved successfully!

Ooh no, something went wrong!