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.5. PDE quasi-linear de primeira ordem A u x + B u y = C. 24<br />
• Exemplo 1.5.5 ... Uma lei de conservação é uma equação quasi-linear do tipo:<br />
com condição inicial:<br />
A(u) u x + u t = 0 (1.5.8)<br />
u(x, 0) = φ(x) (1.5.9)<br />
(relativamente às notações anteriores, pusemos y = t, como é mais usual, o que nos permite<br />
interpretar a solução u(x, t) como uma onda, cuja configuração no instante t, é dada pelo<br />
gráfico de x ↦→ u(x, t) ...).<br />
Geomètricamente, o que se pretende é construir uma superfície integral S = gr u, da equação<br />
dada, que passe pela curva:<br />
˜γ(s) = (s, 0, φ(s)), s ∈ IR<br />
Como vimos essa superfície será construída como a reunião de to<strong>das</strong> as curvas características<br />
C a,b que passam nos pontos de ˜γ. Essas curvas são da<strong>das</strong> pelas equações (1.5.4), que neste<br />
caso têm a forma:<br />
dx<br />
A(u) = dt<br />
1 = du 0<br />
e são, por isso, defini<strong>das</strong> implìcitamente por:<br />
{<br />
u ≡ a<br />
C a,b :<br />
x − A(u) t ≡ b<br />
Note que C a,b é uma recta no plano u = a, paralela à recta x − A(a) t = b no plano u = 0.<br />
Para que uma curva característica contenha o ponto ˜γ(s) = (s, 0, φ(s)), deveremos ter:<br />
{<br />
a = φ(s)<br />
b = s − A(φ(s)) 0 = s<br />
isto é, essa curva característica C s é dada implìcitamente pelas equações:<br />
{<br />
u ≡ φ(s)<br />
C s :<br />
x − A(u) t ≡ s<br />
Finalmente, para obter a superfície integral S = gr u, da equação dada, que passe pela curva<br />
˜γ(s) = (s, 0, φ(s)), eliminamos s nas equações anteriores. Vem então:<br />
u = φ(x − A(u) t)<br />
que determina implìcitamente a solução procurada.<br />
Note que cada ponto da recta t = 0, em IR 2 x,t, é não característico para o problema de Cauchy<br />
(1.5.8), (1.5.9), e, portanto, para |t| pequeno a solução desse problema de Cauchy é definida<br />
implìcitamente por:<br />
def<br />
Φ(x, t, u) = u − φ(x − A(u) t) = 0 (1.5.10)<br />
Se:<br />
Φ u = 1 + φ ′ (x − A(u) t) A ′ (u) t ≠ 0 (1.5.11)<br />
a equação (1.5.10) define implìcita e localmente uma única superfície integral dada pelo gráfico<br />
de u = u(x, t). Para as deriva<strong>das</strong> parciais de u, obtemos:<br />
⎧<br />
⎪⎨<br />
⎪⎩<br />
u x = − Φ x<br />
Φ u<br />
=<br />
φ ′ (x−A(u) t)<br />
1+φ ′ (x−A(u) t) A ′ (u) t<br />
u t = − Φ t<br />
Φ u<br />
= −φ′ (x−A(u) t) A(u)<br />
1+φ ′ (x−A(u) t) A ′ (u) t<br />
(1.5.12)