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.

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)

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

Saved successfully!

Ooh no, something went wrong!