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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

1.4. Simetrias e factores integrantes 18<br />

é um factor integrante de θ:<br />

e a solução geral de (1.4.1) é dada por:<br />

f(x, y) = ∫<br />

µθ = df<br />

θ<br />

θ(X) = ∫ P (x,y) dx+Q(x,y) dy<br />

ξP +ηQ<br />

= c (1.4.8)<br />

onde a integração é feita ao longo de um qualquer caminho que une um ponto x o , fixo arbitràriamente,<br />

ao ponto x = (x, y).<br />

Resumindo to<strong>das</strong> esta discussão, podemos enunciar o seguinte:<br />

• Teorema 1.4.1 (Lie) ... Se a equação de Pffaf θ = P dx + Q dy = 0, admite uma<br />

simetria infinitesimal X = ξ ∂<br />

∂x + η ∂ 1<br />

∂y<br />

não trivial, então µ = = 1<br />

θ(X) ξP +ηQ é um factor<br />

integrante dessa equação.<br />

.<br />

• Exemplo 1.4.1 ... A equação:<br />

admite a simetria não trivial:<br />

y ′ = φ (y)<br />

X = ∂<br />

∂x<br />

De facto, adoptando as notações anteriores, podemos escrever a referida equação em forma<br />

de Pfaff:<br />

θ = φ (y) dx − dy = 0<br />

isto é, P (x, y) = φ (y) e Q(x, y) = −1. Portanto, o campo Z é neste caso:<br />

Calculando o comutador [X, Z], obtemos:<br />

[X, Z] =<br />

Z = ∂<br />

∂x + φ (y) ∂ ∂y<br />

[ ∂<br />

∂x , ∂<br />

∂x + φ (y) ∂ ]<br />

= 0<br />

∂y<br />

X será uma simetria não trivial desde que θ(X) = φ (y) ≠ 0. A função µ = 1<br />

θ(X) = 1 φ é factor<br />

integrante para θ, isto é, µθ é exacta, µθ = df, e a solução geral da equação dada é:<br />

∫ φ dx − dy<br />

f =<br />

φ<br />

= x −<br />

∫ dy<br />

φ = c<br />

• Exemplo 1.4.2 ... A equação:<br />

admite a simetria não trivial:<br />

( y<br />

y ′ = φ<br />

x)<br />

X = x ∂<br />

∂x + y ∂ ∂y

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

Saved successfully!

Ooh no, something went wrong!