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