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