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.2. PDE de primeira ordem linear P u x + Q u y = R u + S. 10<br />
1.2 PDE de primeira ordem linear P u x + Q u y = R u + S.<br />
Consideremos a PDE linear de primeira ordem:<br />
P (x, y) u x + Q(x, y) u y = R(x, y) u + S(x, y) (1.2.1)<br />
onde P, Q, R, S são funções de classe C ∞ , num aberto de U ⊆ IR 2 .<br />
O campo de vectores:<br />
Z(x, y) = P (x, y) ∂<br />
∂x + Q(x, y) ∂ ∂y<br />
(1.2.2)<br />
diz-se o campo característico da equação (1.2.1), e as respectivas curvas integrais dizem-se as<br />
curvas características dessa mesma equação. Portanto, uma curva α : τ ↦→ (x(τ), y(τ)), é uma<br />
curva característica da equação (1.2.1), sse:<br />
{<br />
x ′ (τ) = P (x(τ), y(τ))<br />
y ′ (τ) = Q(x(τ), y(τ))<br />
(1.2.3)<br />
Consideremos agora uma solução u = u(x, y), da equação (1.2.1), e calculemos a derivada de u,<br />
ao longo de uma curva característica α:<br />
du(α(τ))<br />
dτ<br />
= d u(x(τ), y(τ))<br />
dτ<br />
= u x (x(τ), y(τ)) x ′ (τ) + u y (x(τ), y(τ)) y ′ (τ)<br />
= P (x(τ), y(τ)) u x (x(τ), y(τ)) + Q(x(τ), y(τ)) u y (x(τ), y(τ)), por (1.2.3)<br />
= R(x(τ), y(τ)) u(α(τ)) + S(x(τ), y(τ)), uma vez que u é solução de (1.2.1)<br />
= R(α(τ)) u(α(τ)) + S(α(τ))<br />
Concluímos portanto que, dada uma curva característica fixa τ ↦→ α(τ), e uma solução u =<br />
u(x, y), da equação (1.2.1), a função composta u ◦ α, deverá satisfazer a ODE de primeira ordem:<br />
du(α(τ))<br />
dτ<br />
= R(α(τ)) u(α(τ)) + S(α(τ)) (1.2.4)<br />
Por consequência, u ◦ α fica unìvocamente determinada, uma vez especificado o valor inicial<br />
u(α(τ o )). Por outras palavras, uma vez especificado o valor u(x o , y o ), para uma solução u da<br />
equação (1.2.1), essa solução fica completamente determinada ao longo da curva característica α,<br />
que passa em (x o , y o ) (ver a figura 1.2).<br />
Figure 1.2: Curva característica.