28.01.2015 Views

4a LISTA DE EXERCÍCIOS DO CURSO DE EDP, AGO.-NOV ... - IMPA

4a LISTA DE EXERCÍCIOS DO CURSO DE EDP, AGO.-NOV ... - IMPA

4a LISTA DE EXERCÍCIOS DO CURSO DE EDP, AGO.-NOV ... - IMPA

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

4 a <strong>LISTA</strong> <strong>DE</strong> <strong>EXERCÍCIOS</strong> <strong>DO</strong> <strong>CURSO</strong> <strong>DE</strong> <strong>EDP</strong>, <strong>AGO</strong>.-<strong>NOV</strong>. 2007<br />

1. Equações Quasilineares<br />

A equação de primeira ordem geral para uma função u = u(x, y, . . . , z) tem a forma<br />

(1) f(x, y, . . . , u, u x , u y , . . . , u z ) = 0.<br />

Equações desse tipo ocorrem naturalmente no cálculo das variações, em mecânica das partículas, e em ótica<br />

geométrica. O resultado principal é o fato de que a solução geral de uma equação do tipo (21) podem<br />

ser obtida resolvendo-se sistemas de equações diferenciais ordinarias (E<strong>DO</strong>’s, abreviadamente). Isso não é<br />

verdade para equações de ordens superiores ou para sistemas de equações de primeira ordem. No que segue,<br />

nos limitaremos ao caso de duas variáveis independentes x, y. A teoria pode ser estendida para mais variavéis<br />

independentes sem dificuldades.<br />

Consideraremos primeiro o caso mais simples de equação quasilinear<br />

(2) a(x, y, u)u x + b(x, y, u)u y = c(x, y, u).<br />

Representamos a função u(x, y) por um superfície z = u(x, y) no espaço-xyz. Superfícies correspondendo<br />

a soluções de uma <strong>EDP</strong> são chamadas superfícies integrais da <strong>EDP</strong>. As funções dadas a(x, y, z), b(x, y, z),<br />

c(x, y, z) definem um campo vetorial no espaço-xyz (ou numa porção Ω daquele espaço). Obviamente,<br />

somente a direção do vetor, a direção caracteristica se relaciona com a <strong>EDP</strong> (2). Como u x , u y , −1 são componentes<br />

da direção normal à superfície z = u(x, y), vemos que (2) é justamente a condição de que a normal<br />

de uma superfície integral em qualquer ponto é perpendicular a direção do vetor (a, b, c) correspondente<br />

àquele ponto. Assim as superfície integrais são superfícies que em cada ponto são tangentes às direções<br />

características.<br />

Com o campo das direções características (a, b, c) associamos a família de curvas características que em<br />

cada ponto são tangentes àquele campo de direções. Ao longo de uma curva característica vale a relação<br />

(3)<br />

dx<br />

a(x, y, z) =<br />

dy<br />

b(x, y, z) =<br />

dz<br />

c(x, y, z) .<br />

Considerando a curva parametrizada por t (ou denotando a razão comum em (3) por dt) podemos escrever a<br />

condição que define as curvas características numa forma mais familiar de um sistema de equações diferenciais<br />

ordinárias<br />

dx<br />

dy<br />

dz<br />

(4)<br />

= a(x, y, z), = b(x, y, z), = c(x, y, z)<br />

dt dt dt<br />

O sistema é autônomo (o campo não depende da variável t explicitamente). A escolha do parâmetro<br />

t em (4) é artificial. Usando-se qualquer outro parâmetro ao longo da curva implica em trocar a, b, c por<br />

a ′ , b ′ , c ′ , com a = κa ′ , b = κb ′ , c = κc ′ , o que não muda a curva característica no espaço-xyz ou a <strong>EDP</strong> (2).<br />

Assumindo que a, b, c são de classe C 1 em uma região Ω, sabemos da teoria das E<strong>DO</strong>’s que em cada ponto<br />

de Ω passa exatamente uma curva característica.<br />

Se uma superfície S : z = u(x, y) é uma união de curvas características, então S é uma superfície integral.<br />

Pois, nesse caso, por cada ponto P de S passa uma curva característica γ contida em S. A tangente a γ em P<br />

necessariamente está plano tangente de S em P . Como a tangente a γ tem a direção característica, a normal<br />

a S em P é perpendicular a direção característica, o que torna S uma superfície integral. Reciprocamente,<br />

podemos mostrar que toda superfície integral S é a união de curvas características, ou que em cada ponto<br />

de S passa uma curva característica contida em S. Isso é consequência do seguinte teorema:<br />

1


2 4 A <strong>LISTA</strong> <strong>DE</strong> <strong>EXERCÍCIOS</strong> <strong>DO</strong> <strong>CURSO</strong> <strong>DE</strong> <strong>EDP</strong>, <strong>AGO</strong>.-<strong>NOV</strong>. 2007<br />

Teorema 1.1. Suponha que o ponto P = (x 0 , y 0 , z 0 ) está na superfície integral z = u(x, y). Se γ é uma<br />

curva característica que passa por P , então γ está totalmente em S.<br />

Proof. Seja γ(t) = (x(t), y(t), z(t)) a solução de (4) com γ(t 0 ) = (x 0 , y 0 , z 0 ). A partir de γ e S formamos a<br />

expressão:<br />

(5) U(t) = z(t) − u(x(t), y(t)).<br />

Obviamente U(t 0 ) = 0 já que P está sobre S. Por (4), temos:<br />

dU<br />

dt = dz<br />

dt − u x(x(t), y(t)) dx<br />

dt − u y(x(t), y(t)) dy<br />

dt = c(x, y, z) − u x(x, y)a(x, y, z) − u y (x, y)b(x, y, z).<br />

Isso pode ser reescrito como a equação diferencial ordinária:<br />

(6)<br />

dU<br />

dt = c(x, y, U + u(x, y)) − u x(x, y)a(x, y, U + u(x, y)) − u y (x, y)b(x, y, U + u(x, y))<br />

para U, onde temos que substituir x, y pelas funções x(t), y(t) da descrição de γ. Agora, U ≡ 0 é uma solução<br />

particular de (7) já que u(x, y) satisfaz (2). Pelo teorema de unicidade para E<strong>DO</strong>’s, essa é a única solução<br />

se anulando para t = t 0 . Segue que a função U(t) definida por (5) anula-se identicamente. Isso significa<br />

exatamente que a curva γ está em S, como queríamos provar.<br />

□<br />

Como consequência do teorema, duas superfícies integrais que tem um ponto P em comum se intersectam<br />

ao longo de toda a curva característica γ que passa por P . Reciprocamente, se duas superfícies integrais se<br />

intersectam sem tangenciamento ao longo de uma curva γ, então, γ é característica. Para ver isso, sejam<br />

π 1 , π 2 os planos tangentes a S 1 , S 2 no ponto P de γ. Cada um dos planos contém a direção característica<br />

(a, b, c) em P . Como π 1 ≠ π 2 segue que a interseção de π 1 e π 2 tem direção (a, b, c). Como a tangente T<br />

para γ em P também pertence a π 1 e π 2 , segue que T tem a direção (a, b, c) e, portanto, γ é característica.<br />

2. O Problema de Cauchy para equações quasilineares<br />

Agora temos uma descrição simples para a solução geral u de (2): A superfície integral z = u(x, y) é<br />

a união de curvas características. Para se ter uma visão melhor da estrutura da variedade de soluções é<br />

desejavel ter um método definitivo de gerar soluções em termos de um conjunto prescrito F de funções<br />

chamadas “condições iniciais”. Idealmente temos uma aplicação F ↦→ u dos conjuntos de dados F sobre as<br />

soluções u da <strong>EDP</strong>. O espaço das soluções é, portanto, descrito pelo usualmente mais simples espaço dos<br />

dados. Uma boa parte da teoria das <strong>EDP</strong>’s está relacionada com o problema de encontrar a u pertecendo à<br />

condição inicial F . (Aqui encontrar usualmente significa estabelecer a existência).<br />

Uma maneira simples de selecionar uma única u(x, y) dentro do conjunto infinito de soluções de (2)<br />

consiste em descrever uma curva Γ no espaço-xyz que está contida na superfície integral z = u(x, y). Seja Γ<br />

representada parametricamente por<br />

(7) x = f(s) y = g(s) z = h(s)<br />

Estamos procurando por uma solução u(x, y) de (2) tal que a relação<br />

(8) h(s) = u(f(s), g(s))<br />

vale identicamente em s. Encontrar a função u(x, y) para os dados iniciais f(s), g(s), h(s) constitui o Problema<br />

de Cauchy para (2). De fato, a mesma curva Γ tem muitas representações paramétricas (8) diferentes para<br />

escolhas diferentes do parâmetro s. Introduzindo um parâmetro diferente σ por uma substituição s = φ(σ)<br />

não mudará a solução u(x, y) do problema do problema de Cauchy.<br />

Estaremos satisfeitos aqui com uma solução local u do nosso problema, definida para valores x, y próximos<br />

de x 0 = f(s 0 ), y 0 = g(s 0 ). Em várias circunstâncias a variável y será identificada com o tempo e x com a


4 a <strong>LISTA</strong> <strong>DE</strong> <strong>EXERCÍCIOS</strong> <strong>DO</strong> <strong>CURSO</strong> <strong>DE</strong> <strong>EDP</strong>, <strong>AGO</strong>.-<strong>NOV</strong>. 2007 3<br />

posição no espaço. Assim é então natural se pôr o problema de encontrar a solução u(x, y) a partir de seus<br />

valores no tempo y = 0:<br />

(9) u(x, 0) = h(x)<br />

Esse problema de valor inicial, obviamente, é o problema de Cauchy no qual a curva Γ tem forma<br />

(10) x = s y = 0 z = h(s)<br />

isto é, Γ está no plano-xz e possui x como parâmetro. Notamos que no problema de valor inicial prescrevemos<br />

uma função simples h(x), que por sua vez é determinada unicamente pela u, enquanto no problema de Cauchy<br />

geral muitas curvas Γ estão correspondem à mesma u. Uma superfície integral contém muitas curvas Γ mas<br />

apenas uma interseção com o plano-x, z.<br />

Sejam então as funções f(s), g(s), h(s), descrevendo Γ, de classe C 1 em uma vizinhança de um valor s 0 .<br />

Seja<br />

(11) P 0 = (x 0 , y 0 , z 0 ) = (f(s 0 ), g(s 0 ), h(s 0 )).<br />

Assuma que os coeficientes a(x, y, z), b(x, y, z), c(x, y, z) em (2) são de classe C 1 em x, y, z próximo de P 0 .<br />

É intuitivamente claro que a superfície integral z = u(x, y) passando por Γ terá de consistir das curvas<br />

características passando pelos vários pontos de Γ. Assim sendo, formamos para cada s próximo de s 0 uma<br />

solução<br />

(12) x = X(s, t), y = Y (s, t), z = Z(s, t)<br />

das equações características (4) que reduz-se a f(s), g(s), h(s) para t = 0. As funções X, Y, Z então satisfazem<br />

(13) X t = a(X, Y, Z), Y t = b(X, Y, Z), Z t = c(X, Y, Z)<br />

identicamente em s, t e também satisfazem as condições iniciais<br />

(14) X(s, 0) = f(s), Y (s, 0) = g(s), Z(s, 0) = h(s)<br />

Dos teoremas gerais sobre existência e sobre a dependência contínua em relação aos parâmetros das soluções<br />

de E<strong>DO</strong>’s, segue que há um único conjunto de funções X(s, t), Y (s, t), Z(s, t) de classe C 1 para (s, t) próximo<br />

de (s 0 , 0) que satisfazem (13) e (14).<br />

As equações (12) representarão uma superfície Σ : z = u(x, y) parametrizada em s, t se pudermos resolver<br />

as duas primeiras equações para s, t em termos de x, y na forma s = S(x, y), t = T (x, y). Então, a u definida<br />

por<br />

(15) z = u(x, y) = Z(S(x, y), T (x, y))<br />

será a representação explícita de Σ. Por (11) e (14)<br />

(16) x 0 = X(s 0 , 0), y 0 = Y (s 0 , 0).<br />

Agora, o teorema da função implicíta afirma que podemos encontrar soluções s = S(x, y), t = T (x, y) de<br />

(17) x = X(S(x, y), T (x, y)), y = Y (S(x, y), T (x, y))<br />

de classe C 1 numa vizinhança de (x 0 , y 0 ) e satisfazendo<br />

(18) s 0 = S(x 0 , y 0 ), 0 = T (x 0 , y 0 )<br />

desde que o Jacobiano<br />

(19) J =<br />

∣ X s(s 0 , 0) Y s (s 0 , 0)<br />

X t (s 0 , 0) Y t (s 0 , 0) ∣<br />

não seja nulo. Por (13), (14) isso equivale à condição<br />

(20) J =<br />

f ′ (s 0 ) g ′ (s 0 )<br />

∣ a(x 0 , y 0 , z 0 ) b(x 0 , y 0 , z 0 ) ∣ ≠ 0


4 4 A <strong>LISTA</strong> <strong>DE</strong> <strong>EXERCÍCIOS</strong> <strong>DO</strong> <strong>CURSO</strong> <strong>DE</strong> <strong>EDP</strong>, <strong>AGO</strong>.-<strong>NOV</strong>. 2007<br />

Assim (19) garante que localmente (12) representa uma superfície Σ : z = u(x, y). Que Σ é uma superfície<br />

integral está claro na representação paramétrica (12). Pois num ponto qualquer P as quantidades X t , Y t , Z t<br />

dão a direção da tangente a uma curva s = const. sobre Σ, a qual estará no plano tangente de Σ em P . Assim,<br />

(13) mostra que o plano tangente em qualquer ponto contém a direção característica (a, b, c) e, portanto, Σ<br />

é uma superfície integral.<br />

Pode-se também verificar analiticamente que a função u representada por (15) satisfaz a equação diferencial<br />

(2) expressando-se primeiro u x , u y em termos de S x , S y , T x , T y e então expressando-se essas quatro<br />

quantidades em termos de X s , X t , Y s , Y t usando (17).<br />

Isso completa a prova da existência local da solução do problema de Cauchy, sob a condição (19). A unicidade<br />

segue do Teorema 1.1: Qualquer superfície integral através de Γ terá de conter as curvas características<br />

através dos pontos de Γ e, portanto, terá de conter a superfície representada parametricamente por (12), e,<br />

assim, localmente, terá de ser idêntica à superfície.<br />

A condição (20) é essencial para a existência de uma solução C 1 , u(x, y), do problema de Cauchy. Pois,<br />

se J = 0, encontraríamos de () e (2) que em s = s 0 , x = f(s 0 ), y = g(s 0 ) as três relações<br />

(21) bf ′ − ag ′ = 0, h ′ = f ′ u x + g ′ u y , c = au x + bu y<br />

valem. Essas implicam que<br />

gh ′ − cg ′ = 0, ah ′ − cf ′ = 0<br />

e daí que f ′ , g ′ , h ′ são proporcionais a a, b, c. Portanto, J = 0 é incompatível com a existência de uma<br />

solução, a menos que Γ seja uma característica em s 0 . A propósito, o problema de Cauchy terá infinitas<br />

soluções para uma curva característica Γ, as quais são obtidas passando-se qualquer curva Γ ∗ satisfazendo<br />

(20) através de um ponto P 0 de Γ e resolvendo-se o problema de Cauchy para Γ ∗ .<br />

No caso especial de uma de <strong>EDP</strong> linear podemos escrever (2) na forma<br />

(22) a(x, y)u x + b(x, y)u y = c(x, y)u + d(x, y)<br />

Aqui, o sistema das três E<strong>DO</strong>’s características é reduzido ao par<br />

(23)<br />

ou equivalentemente,<br />

(24)<br />

dx<br />

dt<br />

= a(x, y),<br />

dy<br />

dt<br />

dy b(x, y)<br />

=<br />

dx a(x, y)<br />

= b(x, y)<br />

As equações (24) ou (25) determinam um sistema de curvas no plano-xy, chamado de projeções características,<br />

que são projeções sobre o plano-xy das curvas características no espaço-xyz. A curva característica<br />

é obtida de sua projeção x(t), y(t) encontrando-se z(t) por meio da E<strong>DO</strong> linear<br />

dz<br />

(25)<br />

= c(x(t), y(t))z + d(x(t), y(t))<br />

dt<br />

Indicaremos como proceder para obter no caso mais geral de uma equação quasilinear para uma função<br />

u = u(x 1 , . . . , x n ) de n variavéis independentes. Uma tal equação tem a forma<br />

n∑<br />

(26)<br />

a i (x 1 , . . . , x n , u)u xi = c(x 1 , . . . , x n , u)<br />

i=1<br />

Aqui, as curvas características no espaço-x 1 . . . x n z são dadas pelo sistema de E<strong>DO</strong>’s<br />

dx i<br />

(27)<br />

dt = a dz<br />

i(x 1 , . . . , x n , z)<br />

dt = c(x 1, . . . , x n , z)<br />

para i = 1, . . . , n. No problema de Cauchy, queremos passar uma superfície integral z = u(x 1 , . . . , x n ) em<br />

R n+1 por uma variedade (n − 1)-dimensional Γ dada parametricamente por<br />

(28) x i = f i (s 1 , . . . , s n−1 ), z = h(s 1 , . . . , s n−1 )


4 a <strong>LISTA</strong> <strong>DE</strong> <strong>EXERCÍCIOS</strong> <strong>DO</strong> <strong>CURSO</strong> <strong>DE</strong> <strong>EDP</strong>, <strong>AGO</strong>.-<strong>NOV</strong>. 2007 5<br />

para i = 1, . . . , n. Para isso, passamos por cada ponto de Γ com parâmetros s 1 , . . . , s n uma curva característica<br />

(solução de (28) igual a (f 1 , . . . , f n , h) em t = 0) representada por<br />

(29) x i = X i (s 1 , . . . , s n−1 , t), z = Z(s 1 , . . . , s n−1 , t)<br />

para i = 1, . . . , n. Essas equações formam uma representação paramétrica da superfície integral desejada<br />

z = u(x 1 , . . . , x n ) desde que as relações (29) possam ser resolvidas para s 1 , . . . , s n−1 , t. Esse é o caso quando<br />

o Jacobiano<br />

∣ ∂f 1<br />

∂f ∂s 1<br />

· · ·<br />

n ∣∣∣∣∣∣∣∣∣<br />

∂s 1<br />

(30) J =<br />

.<br />

.<br />

∂f 1<br />

∂f ∂s n−1<br />

· · ·<br />

n<br />

∂s n−1<br />

∣ a 1 · · · a n<br />

não se anula.<br />

Exemplo 2.1. Considere o problema de Cauchy:<br />

(31) u y + cu x = 0, u(x, 0) = h(x).<br />

com c constante. A curva inicial Γ para (31) é dada por:<br />

x = s, y = 0, z = h(s).<br />

As equações diferenciais características são dadas por:<br />

(32)<br />

Isso leva a representação paramétrica<br />

dx<br />

dt = c,<br />

dy<br />

dt = 1,<br />

dz<br />

dt = 0<br />

x = X(s, t) = s + ct, y = Y (s, t) = t, z = Z(s, t) = h(s)<br />

da superfície integral. Eliminando s, t encontramos para solução do problema de Cauchy (31) a representação<br />

z = h(x − cy)<br />

Exemplo 2.2. <strong>EDP</strong> de Euler para uma função homogênea u(x 1 , . . . , x n ):<br />

n∑<br />

(33)<br />

x k u xk = αu (α = const. ≠ 0).<br />

k=1<br />

Como o jacobiano da equação (33) é nulo na origem, postulamos o problema de valor inicial<br />

(34) u(x 1 , . . . , x n−1 , 1) = h(x 1 , . . . , x n−1 )<br />

correspondendo a curva inicial Γ dada por:<br />

{<br />

si para i = 1, . . . , n − 1<br />

(35) x i =<br />

1 para i = n<br />

Resolvendo a equação diferencial característica<br />

(36)<br />

dx i<br />

dt = x i,<br />

dz<br />

dt = αz<br />

, z = h(s 1 , . . . , s n−1 ).<br />

para i = 1, . . . , n, somos levados a<br />

{<br />

si e<br />

(37) x i =<br />

t para i = 1, . . . , n − 1<br />

e t , z = e αt h(s<br />

para i = n<br />

1 , . . . , s n−1 ).


6 4 A <strong>LISTA</strong> <strong>DE</strong> <strong>EXERCÍCIOS</strong> <strong>DO</strong> <strong>CURSO</strong> <strong>DE</strong> <strong>EDP</strong>, <strong>AGO</strong>.-<strong>NOV</strong>. 2007<br />

e daí a<br />

(38) z = u(x 1 , . . . , x n ) = x α nh( x 1<br />

, . . . , x n−1<br />

).<br />

x n x n<br />

A solução u satisfaz a equaçao funcional<br />

u(λx 1 , . . . , λx n ) = λ α u(x 1 , . . . , x n )<br />

para qualquer λ > 0, e assim é uma função homogênea de grau α.<br />

Para α < 0 as soluções de (33) geralmente tornam-se singular na origem. Mais precisamente, a única<br />

solução u de (33) de classe C 1 em uma vizinhança da origem é u ≡ 0. Pois, ao longo de qualquer raio<br />

x i = c i t,<br />

a partir da origem parametrizado por t temos por (33)<br />

du<br />

dt =<br />

n<br />

∑<br />

k=1<br />

i = 1, . . . , n<br />

c k u xk (c 1 t, . . . , c n t) = α t u.<br />

Daí ut −α é constante ao longo do raio, e assim u tende a ∞ quando t → 0, a menos que u se anule<br />

identicamente ao longo do raio. Temos aqui um exemplo de uma <strong>EDP</strong> que tem somente uma única solução<br />

simples se restrigirmos o dominio da solução como sendo um conjunto contendo a origem.<br />

Exemplo 2.3. A solução u = u(x, y) da equação quasilinear<br />

(39) u y + uu x = 0<br />

pode ser interpretada como um campo velocidade sobre o eixo x variando com o tempo y. A equação (39)<br />

então estabelece que toda partícula tem aceleração zero e daí, velocidade constante. Seja<br />

(40) u(x, 0) = h(x)<br />

a distribuição velocidade inicial, correspondendo a variedade Γ no espaço-xyz dada por<br />

(41) x = s, y = 0, , z = h(s).<br />

As equações diferenciais características<br />

dx<br />

(42)<br />

dt = z, dy<br />

dt = 1, dz<br />

dt = 0<br />

combinadadas com a condição inicial (41) para t = 0 nos dá a representação paramétrica<br />

(43) x = s + zt, y = t, , z = h(s)<br />

para a solução z = u(x, y) de (39) e (40). Eliminando s, t de (43) temos a equação implicíta<br />

(44) u = h(x − uy)<br />

para u como uma função de x, y.<br />

A projeção característica C, no x, y-plano passndo através do ponto (s, 0) é a reta<br />

(45) x = s + h(s)y<br />

ao longo do qual u tem valor constante<br />

u = h(s).<br />

Fisicamente (45) para um s fixado representa o caminho do partícula localizada em x = s no tempo t = 0.<br />

Agora, duas características se interceptam em um ponto (x, y) com<br />

(46) y = − s 2 − s 1<br />

h(s 2 ) − h(s 1 )<br />

Se o y em (46) estiver definido, a função deve tomar valores distintos h(s 1 ) e h(s 2 ) em (x, y) e daí não<br />

pode ser avaliada. Há sempre y positivo da forma (46), a menos que h(s) seja uma função não-decrescente


4 a <strong>LISTA</strong> <strong>DE</strong> <strong>EXERCÍCIOS</strong> <strong>DO</strong> <strong>CURSO</strong> <strong>DE</strong> <strong>EDP</strong>, <strong>AGO</strong>.-<strong>NOV</strong>. 2007 7<br />

em s. Para todos os outros h(s) a solução u(x, y) torna-se singular para algum y positivo.(Fisicamente,<br />

uma partícula com uma alta velocidade eventualmente colidirá com uma a sua frente tendo uma velocidade<br />

mais baixa). Em particular, u está limitada a ser singular se a distribuição velocidade inicial h tem suporte<br />

compacto, exceto no caso trivial onde h ≡ 0. A natureza da singularidade torna-se mais clara à medida que<br />

seguimos os valores da derivada u x (x, y) ao longo da característica (45). Nós obtemos de (43) que<br />

(47) u x = h′ (s)<br />

1 + h ′ (s)y<br />

Portanto, para h ′ (s) < 0 obtemos que u x torna-se infinito em um tempo positivo y =<br />

h ′ (s) . O menor y<br />

para o qual isso acontece corresponde ao valor s = s 0 no qual h ′ (s) tem um minimo. No tempo T =<br />

−1<br />

h ′ (s 0)<br />

a solução u experimenta uma ”catástrofe gradiente” ou ”explosão”. Assim, não há uma solução estrita u<br />

de classe C 1 além do tempo T . Esse tipo de comportamento é típico para uma equação diferencial parcial<br />

não-linear.<br />

É possível, entretando, definir soluções fracas de (39) e (40) que existem além do tempo T . Para isso,<br />

(39) deve dar significado a uma classe de funções u que não são necessariamente de classe C 1 nem mesmo<br />

contínuas. Podemos escrever (39) na forma divergente<br />

(48)<br />

∂R(u)<br />

∂y<br />

onde R(u), S(u) são quaisquer funções tais que<br />

+ ∂S(u)<br />

∂x = 0.<br />

(49) S ′ (u) = uR ′ (u)<br />

A relação (48) implica, para qualquer a, b, y, a ”lei de conservação”<br />

(50) 0 = d<br />

dy<br />

∫ b<br />

a<br />

R(u(x, y))dx + S(u(b, y)) − S(u(a, y)).<br />

Reciprocamente, (48) segue de (50) para qualquer u ∈ C 1 . Agora, (50) faz sentido para u mais geral e pode<br />

servir para definir soluções fracas de (48). Em particular, consideramos o caso onde u é uma solução C 1 de<br />

(48) em cada uma das duas regiões no plano-xy separada por uma curva x = ξ(y), através da qual a solução<br />

u dá um salto. Denotando os limites de u à esquerda e à direita, respectivamente, por u − e u + , obtemos de<br />

(50) para a < ξ(y) < b<br />

0 = S(u(b, y)) − S(u(a, y)) + d ∫ ξ<br />

dy ( R(u)dx +<br />

= S(u(b, y)) − S(u(a, y)) + ξ ′ R(u − ) − ξ ′ R(u + )<br />

−<br />

∫ ξ<br />

a<br />

∫<br />

∂S(u) b<br />

∂x<br />

dx − ξ<br />

∂S(u)<br />

∂x<br />

dx<br />

= −(R(u + ) − R(u − ))ξ ′ − S(u − ) + S(u + ).<br />

Daí, encontramos a relação(“condição de choque”)<br />

(51)<br />

referindo a velocidade de propagação dξ<br />

dy<br />

dξ<br />

dy = S(u+ ) − S(u − )<br />

R(u + ) − R(u − )<br />

a<br />

∫ b<br />

ξ<br />

R(u)dx)<br />

da descontinuidade de u através do seu salto. Observemos que<br />

(51) depende não apenas da equação diferencial parcial (39) mas também da escolha das funções R(u), S(u)<br />

satisfazendo (49).<br />

−1


8 4 A <strong>LISTA</strong> <strong>DE</strong> <strong>EXERCÍCIOS</strong> <strong>DO</strong> <strong>CURSO</strong> <strong>DE</strong> <strong>EDP</strong>, <strong>AGO</strong>.-<strong>NOV</strong>. 2007<br />

3. Exercícios<br />

Exercício 3.1. Resolva os seguintes problemas de Cauchy<br />

(1) u x + u y = u 2 , u(x, 0) = h(x).<br />

(2) u y = xuu x , u(x, 0) = x.<br />

(3) xu x + yu y + u z , u(x, y, 0) = h(x, y).<br />

(4) xu y − yu x = u, u(x, 0) = h(x).<br />

Exercício 3.2. Seja u uma solução de<br />

a(x, y)u x + b(x, y)u y = −u<br />

de classe C 1 na bola fechada B de R 2 . Suponha que a(x, y)x + b(x, y)y > 0 em ∂B. Prove que u se anula<br />

identicamente. (Dica: Mostre que max B u ≤ 0 e min B u ≥ 0.)<br />

Exercício 3.3. Seja u uma solução fraca localmente limitada de<br />

u t + f(u) x = 0<br />

para a < t < b, f contínua e assuma que u é de variação limitada para cada t fixo. Seja x(t) com a < t < b<br />

uma função real Lipschitz. Prove que<br />

para quase todo t ∈ (a, b).<br />

f(u(t, x(t) + )) − f(u(t, x(t) − )) = x ′ (t)(u(t, x(t) + ) − u(t, x(t) − ).<br />

Exercício 3.4. Mostre que a função u definida para y ≥ 0 por:<br />

{<br />

−<br />

2<br />

(52) u = 3 (y + √ 3x + y 2 ) para 4x + y 2 > 0<br />

0 para 4x + y 2 < 0<br />

é uma solução fraca de (39) para R(u) = u, S(u) = u2<br />

2 .<br />

Exercício 3.5. Defina uma solução fraca u(x, y) de (39) como uma função para a qual a relação<br />

∫<br />

R 2 (R(u)φ y + S(u)φ x ) dx dy<br />

vale para qualquer função φ(x, y) ∈ C ∞ c (R 2 ). Mostre que essa nova definição implica a condição (51).<br />

Exercício 3.6. Mostre que a solução u da equação diferencial parcial quasilinear<br />

u y + a(u)u x = 0<br />

com condição inicial u(x, 0) = h(x) é dada implicitamente por<br />

u = h(x − a(u)y)<br />

Mostre que a solução torna-se singular para algum positivo y, a menos que a(h(s)) é uma função nãodecrescente<br />

de s.

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

Saved successfully!

Ooh no, something went wrong!