Vous êtes sur la page 1sur 3

Terceira Lista de Exerc

cios de SMA169-Equa
co~es Diferenciais Parciais - EDPs de Primeira Ordem

Professora: Maria do Carmo Carbinatto 02.04.2018

Exercı́cio 1. Encontre as curvas caractersticas de cada uma das equac~oes abaixo:


(a) ux + 2xyuy + ex u = cos(x + y)
(b) 3ux − 4uy = x2
(c) x2 ux + y2 uy = x3
(d) ux + xuy = x3 + 3xy.

Exercı́cio 2. Encontre a soluc~ao do problema de Cauchy



 u + cu = 0, (x, y) ∈ R2
t x
 u(x, 0) = f(x), x ∈ R,

onde c > 0, f ∈ C1 (R, R).

Exercı́cio 3. Encontre a soluc~ao do problema de Cauchy



 x2 u + y2 u = x3 , (x, y) ∈ R2
x y
 u(x, 1) = 1, x > 0.

Exercı́cio 4. Encontre a soluc~ao do problema de Cauchy



 u + xu = 0, (x, y) ∈ R2
x y
 u(0, y) = y, y ∈ R.

Exercı́cio 5.Resolva alguns dos exerccios de 1 e 2 no livro da Valeria Iorio Sec~ao 2 (O


Problema de Cauchy).

Exercı́cio 6.Seja Ω um conjunto aberto do R2 e sejam a, b, c : Ω → R func~oes reais de classe


C1 de nidas em Ω. Considere o problema de Cauchy

 a(x, y)u + b(x, y)u = c(x, y), (x, y) ∈ Ω
x y
(1)
 u(x, 0) = f(x), x ∈ R,

onde f ∈ C1 (R, R). Seja (x0 , 0) ∈ R2 tal que (x0 , 0) ∈ Ω. Mostre que existe uma vizinhancade
(x0 , 0) tal que o problema de Cauchy (??) possui uma u nica soluc~ao.

Exercı́cio 7. Seja Ω um conjunto aberto do R2 e sejam a, b : Ω → R func~oes reais de classe C1


de nidas em Ω.
(a) Seja ~F : Ω → R2 o campo de vetores dado por ~F(x, y) = a(x, y)~i + b(x, y)~j, (x, y) ∈ R2 . Seja
u ∈ C1 (Ω, R). Mostre que
aux + buy = k~FkD~F u

onde D~F u e a derivada direcional de u na direc~ao do vector ~F.


(b) Seja C uma curva suave em R2 e seja γ(t) = (σ(t), ρ(t)), t ∈ I uma parametrizac~
ao de C.
1
Seja ~T (t) o vetor tangente a curva C em γ(t), t ∈ I. Seja u ∈ C1 (Ω, R) e suponha que γ(t) ∈ Ω,
para todo t ∈ I. Mostre que
d
u(γ(t)) = k~T (t)kD~T (t) u(γ(t)), t ∈ I.
dt
Exercı́cio 8. Seja Ω um conjunto aberto do R2 e sejam a, b, c : Ω → R func~oes reais de
classe C1 de nidas em Ω. Seja C uma curva suave em Ω e seja γ(t) = (σ(t), ρ(t)), t ∈ I uma
parametrizac~ao de C. Considere o problema de Cauchy

 a(x, y)u + b(x, y)u = c(x, y), (x, y) ∈ Ω
x y
(2)
 u(σ(t), ρ(t)) = f(t), t ∈ I,

onde f ∈ C1 (R, R). Suponha que C seja uma curva caracterstica com relac~ao a

a(x, y)ux + b(x, y)uy = c(x, y), (x, y) ∈ Ω,

em (x0 , y0 ) ∈ Ω e seja µ ∈ R tal que (a(x0 , y0 ), b(x0 , y0 )) = µ(σ(t0 ), ρ(t0 )), onde t0 ∈ I e tal que
γ(t0 ) = (x0 , y0 ).
(a) Mostre que ~F  e tangente a curva C em (x0 , y0 ) e que ~T (t0 ) = µ~F(x0 , y0 ). Conclua que
D~T (t0 ) u = D~F(x0 ,y0 ) u, onde u ∈ C1 (Ω, R).
(b) Mostre que
1
D~F(x0 ,y0 ) u = c(x0 , y0 ),
~
kF(x0 , y0 )k
1
D~T (t0 ) u = f 0 (t0 ).
~
kT (t0 )k
(c) Suponha que c(x0 , y0 ) 6= µf 0 (t0 ). Mostre que o problema de Cauchy (??) n~ao possui soluc~ao.

Exercı́cio 9.Seja Ξ um conjunto aberto do R3 e sejam a, b, c : Ξ → R func~oes reais de classe


C1 de nidas em Ξ. Considere a EDP quase linear

(3) a(x, y, u)ux + b(x, y, u)uy = c(x, y, u).

Dizemos que uma curva suave com parametrizac~ao t ∈ I 7→ (α(t), β(t), δ(t)) ∈ Ξ e uma curva

stica da EDP (??) se


caracter

α 0 (t) = a(α(t), β(t), δ(t)), para t ∈ I,


β 0 (t) = b(α(t), β(t), δ(t)), para t ∈ I,
δ 0 (t) = c(α(t), β(t), δ(t)), para t ∈ I.

Seja C uma curva suave em R2 e seja γ(t) = (σ(t), ρ(t)), t ∈ I uma parametrizac~ao de C. Seja
f ∈ C1 (I, R). Suponha que (σ(t), ρ(t), f(t)) ∈ Ξ, para todo t ∈ I e que


a(σ(t), ρ(t), f(t)) b(σ(t), ρ(t), f(t))
para todo t ∈ I.

6= 0,
σ 0 (t) ρ 0 (t)


Utilize as ideias da demonstrac~ao do Teorema de Exist^encia e Unicidade para o Problema de
Cauchy linear, para mostrar que o problema de Cauchy

 a(x, y, u)u + b(x, y, u)u = c(x, y, u),
x y
(4)
 u(σ(t), ρ(t)) = f(t), t ∈ I,

possui uma unica soluc~ao numa vizinhanca de C.

Para cada uma das equac~oes abaixo, encontre um mudanca de coordenada para
Exercı́cio 10.
obter a forma can^onica. Ent~ao encontre a soluc~ao geral das equac~oes resolvendo a forma
can^onica:
(a) ux + uy = u
(b) ux + 2xyuy = x
(c) 2xyux + uy − u = 0
(d) ux − yuy − u = 1.

Exercı́cio 11. Resolva alguns dos exerccios de 1 no livro da Valeria Iorio Sec~ao 3 (Soluc~ao
Geral).