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.
1.6. PDE de primeira ordem F (x, y, u, p, q) = 0 29<br />
onde (·) =<br />
(<br />
)<br />
x(τ), y(τ), u(τ), u x (x(τ), y(τ)), u y (x(τ), y(τ)) .<br />
Quando a equação (1.6.1), é quasi-linear (1.5.1), isto é:<br />
F (x, y, u, p, p) = A(x, y, u) p + B(x, y, u) q − C(x, y, u) = 0<br />
com p = u x e q = u y , estas equações (1.6.7), reduzem-se às equações <strong>das</strong> características (1.5.4), para<br />
essa equação quasi-linear (1.5.1). De facto, neste caso tem-se que F p = A, F q = B e pF p + qF q =<br />
pA + qB = C. Para uma equação quasi-linear, o cone de Monge degenera numa recta, exactamente<br />
a recta característica, como já vimos.<br />
A grande diferença para o caso geral de uma equação do tipo (1.6.1), é que, sem o conhecimento<br />
prévio de u, e portanto de p(·) = u x (·) e q(·) = u y (·), as equações (1.6.7) formam um sistema<br />
subdeterminado de 3 equações para as 5 funções x, y, u, p, q de τ.<br />
No entanto, é possível completar este sistema, juntando mais duas equações. Para isso, seja<br />
u = u(x, y) uma solução de (1.6.1), e consideremos as deriva<strong>das</strong> parciais, relativamente a x e y,<br />
respectivamente, da equação:<br />
Obtemos:<br />
F (x, y, u(x, y), u x (x, y), u y (x, y)) = 0<br />
F x + u x F u + u xx F p + u xy F q = 0 (1.6.8)<br />
F y + u y F u + u yx F p + u yy F q = 0 (1.6.9)<br />
e ao longo de uma curva característica da solução u, temos que, por (1.6.7), e uma vez que p(τ) =<br />
u x (x(τ), y(τ)):<br />
p ′ (τ) = u xx (x(τ), y(τ)) x ′ (τ) + u xy (x(τ), y(τ)) y ′ (τ)<br />
= u xx (x(τ), y(τ)) F p (·) + u xy (x(τ), y(τ)) F q (·) por (1.6.7)<br />
= −F x (·) − u x (x(τ), y(τ)) F u (·) por (1.6.8)<br />
= −F x (·) − p(τ) F u (·)<br />
e, de forma análoga:<br />
q ′ (τ) = −F y (·) − q(τ) F u (·)<br />
Juntando estas duas últimas equações, ao sistema (1.6.7), obtemos finalmente um sistema de 5<br />
equações diferenciais ordinárias para as 5 funções x, y, u, p, q de τ (pondo ′ = d/dτ):<br />
⎧<br />
⎪⎨<br />
⎪⎩<br />
x ′ = F p<br />
y ′ = F q<br />
u ′ = p F p + q F q<br />
(1.6.10)<br />
q ′ = −F y − q F u<br />
p ′ = −F x − p F u<br />
que não exige o conhecimento prévio da superfície integral S = gr u, para a sua resolução! Estas<br />
equações dizem-se as equações características da PDE F (x, y, u, p, p) = 0.<br />
Ainda mais uma observação importante: F é um integral primeiro do sistema (1.6.10), isto é,<br />
F é constante ao longo de uma qualquer solução. De facto:<br />
dF<br />
dτ<br />
= F x x ′ + F y y ′ + F u u ′ + F p p ′ + F q q ′<br />
= F x F p + F y F q + F u (p F p + q F q ) + F p (−F x − p F u ) + F q (−F y − q F u )<br />
= 0 (1.6.11)