Universidade Estadual de Maringa

Centro de Ciencias Exatas

Departamento de Fsica

Trabalho de Conclusao de Curso

Equa
coes diferenciais parciais de primeira
ordem e aplica co
es

Academico: Diego Domingues Lopes

Orientador: Prof. Dr. Renio dos Santos Mendes

Maringa, Novembro de 2014

 Universidade Estadual de Maringa
Centro de Ciencias Exatas
Departamento de Fsica

Trabalho de Conclusao de Curso

Equa
coes diferenciais parciais de primeira
ordem e aplica co
es

Trabalho de conclusao de curso submetido

ao Departamento de Fsica da Universi-
dade Estadual de Maringa, sob orientacao
do professor Dr. Renio dos Santos Men-
des, como parte dos requisitos para ob-
tencao do ttulo de graduado em Fsica

Academico: Diego Domingues Lopes

Orientador: Prof. Dr. Renio dos Santos Mendes

Maringa, Novembro de 2014

Sum
ario

Agradecimentos ii

Resumo iii

Introduc
ao iv

1 M etodo das equacoes caractersticas 2

1.1 Equacoes com coeficientes constantes [1] . . . . . . . . . . . . . . . . . . . 2
1.2 Equacoes com coeficientes variaveis [1] . . . . . . . . . . . . . . . . . . . . 4
1.2.1 Parametrizacao da curva caracterstica . . . . . . . . . . . . . . . . 5
1.3 Equacoes quase-lineares [2] . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.1 O metodo de Lagrange para equacoes quase-lineares . . . . . . . . 10
1.4 Equacoes completamente nao-lineares [3] [4] . . . . . . . . . . . . . . . . . 11

2 Exemplos de EDPs de primeira ordem 14

2.1 Ondas em uma direcao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.2 Equacoes provenientes de leis de conservacao [1] [5] . . . . . . . . . . . . . 15
2.2.1 Lei de conservacao para uma quantidade qualquer . . . . . . . . . . 16
2.2.2 Fluxo de gas unidimensional . . . . . . . . . . . . . . . . . . . . . . 17
2.2.3 Fluxo de trafego . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

3 Exemplos de EDPs de primeira ordem na mec anica analtica 23

3.1 Equacoes de Euler - Lagrange [6] [7] [8] . . . . . . . . . . . . . . . . . . . . 23
3.2 Equacoes de Hamilton [6] [7] [8] . . . . . . . . . . . . . . . . . . . . . . . . 25
3.3 Colchetes de Poisson [6] [7] [8] . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.4 Equacao de Liouville [9] . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.5 Transformacoes canonicas [6] [7] [8] . . . . . . . . . . . . . . . . . . . . . . 27
3.6 Equacao de Hamilton-Jacobi [6] [7] [8] . . . . . . . . . . . . . . . . . . . . 29
3.7 Equacao iconal [10] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

Conclus
ao 36

i
Agradecimentos

Agradeco a todos que contriburam no decorrer desta jornada, em especial:

Ao orientador Prof. Dr. Renio dos Santos Mendes pelos valiosos conselhos e pela
paciencia.

Ao Prof. Dr. Ccero Lopes Frota pela grande contribuicao na minha formacao
academica.

` minha famlia que sempre me apoiou nos estudos e nas escolhas tomadas.
A

` Anieli Rodrigues Charal por sempre me incentivar e compreender nos momentos

A
difceis.

Aos meus colegas de graduacao pelo companheirismo e disponibilidade para me auxi-

liar em varios momentos.

ii
Resumo

Nesta monografia, faremos um estudo introdutorio sobre o metodo das equacoes carac-
tersticas para as equacoes diferenciais parciais (EDPs) de primeira ordem, usando ar-
gumentos geometricos para o desenvolvimento do metodo. Em seguida, apresentaremos
algumas aplicacoes relacionadas `as leis de conservacao, discutindo de maneira breve algu-
mas solucoes e propriedades simples. Por fim, tambem de maneira breve abordaremos o
uso de EDPs de primeira ordem no contexto da mecanica analtica.

Palavras chave: Equacoes diferenciais parciais de primeira ordem, metodo das ca-
ractersticas, equacao iconal, leis de conservacao.

iii
Introdu
c
ao

Equacoes diferenciais sao ferramentas usadas por exemplo, para calcular a evolucao de
sistemas. Em geral, quando o sistema representado depende de mais de uma variavel, sua
modelagem e feita por uma Equacao Diferencial Parcial (EDP). No estudo de diversos
problemas das ciencias da natureza como Fsica, Qumica e Engenharia, surgem modelos
matematicos descritos por EDPs. Ter o domnio de tecnicas e conhecer as teorias para o
adequado tratamento de tais problemas e fundamental para todo cientista envolvido com
estas areas.

Historicamente, a evolucao do ramo da matematica no qual esta inserido o estudo

das EDPs aconteceu em paralelo com o desenvolvimento da fsica, funcionando como ins-
trumento de calculo das equacoes de movimento da mecanica newtoniana, das equacoes
de onda da fsica ondulatoria e do eletromagnetismo e, mais tarde, na formulacao da
mecanica quantica e da relatividade. Hoje em dia, o uso das EDPs esta estendido para
as mais diversas areas.

Na fsica, e muito comum aparecerem equacoes de primeira e segunda ordem, no en-

tanto, as EDPs de segunda ordem aparecem com muito mais frequencia do que as EDPs
de primeira ordem. Por exemplo, as equacoes de onda, calor, e a equacao de Schodinger
sao amplamente estudadas ao longo da graduacao devido a` sua importancia em varios
fenomenos fsicos. Devido a esta supremacia das equacoes de segunda ordem, as EDPs de
primeira ordem sao pouco abordadas durante a graduacao, o que pode dificultar a boa
compreensao de fenomenos descritos por tais equacoes. Nesta monografia, pretendemos
amenizar estas dificuldades apresentando um estudo introdutorio das equacoes diferenciais
parciais de primeira ordem e de algumas aplicacoes, visando graduandos com curiosidade,
ou necessidade de estudar tais temas.

Em primeiro lugar, apresentaremos a deducao heurstica do metodo das caractersticas

para equacoes de primeira ordem, abordando primeiramente equacoes com coeficientes
constantes, para em seguida dedicarmo-nos a`s equacoes com coeficientes variaveis, quase-
lineares e por fim equacoes completamente nao lineares. Serao omitidas as demonstracoes
rigorosas do metodo abordado pois nosso principal interesse reside nas aplicacoes fsicas
das equacoes e nao em comprovacoes matematicas.

Em seguida, estudaremos equacoes oriundas das leis de conservacao, que apresentam

formas e propriedades muito parecidas, que variam de acordo com a linearidade (ou nao-
linearidade) das equacoes. Posteriormente veremos EDPs de primeira ordem no contexto
da mecanica analtica, na qual abordaremos brevemente a deducao matematica da equacao
de Euler-Lagrange e das equacoes de Hamilton, seguindo com as equacoes de Liouville e
Hamilton - Jacobi.

iv
 Por fim estudaremos uma aproximacao para a equacao de onda no regime de ondas
curtas, no qual a variacao da onda e lenta com relacao ao meio, e obteremos a equacao
iconal, da qual analisaremos algumas propriedades.

De uma maneira geral, nosso objetivo nesta monografia e apenas introduzir os concei-
tos basicos do estudo de equacoes diferenciais parciais, e apresentar brevemente algumas
aplicacoes que possam motivar e facilitar estudos mais aprofundados do tema, por gradu-
andos de fsica e areas afins.

1
Captulo 1

M
etodo das equa
coes caractersticas

Este metodo foi desenvolvido na metade do seculo XIX por Hamilton quando ele inves-
tigava a propagacao da luz. Ele se propos a derivar as regras desta propagacao de uma
teoria puramente geometrica, baseado na geometria Euclidiana. Em seu estudo Hamilton
encontrou a equacao iconal e descobriu que esta equacao podia ser resolvida integrando-a
ao longo de curvas especiais chamadas caractersticas. Neste captulo, desenvolveremos o
metodo das caractersticas por meio de argumentos puramente geometricos, interpretando
a solucao u(x, y) das equacoes como uma superfcie em um espaco tridimensional.

1.1 Equaco
es com coeficientes constantes [1]
Provavelmente, o tipo de equacao diferencial parcial (EDP) nao-trivial mais simples que
exista seja
u u
a +b + cu = f (x, y), u = u(x, y) (1.1)
x y
em que a, b e c sao constantes dadas e f (x, y) e uma funcao dada.

Nosso primeiro objetivo sera encontrar a solucao geral de (1.1). No caso em que b = 0,
(1.1) se torna
u
a + cu = f (x, y), (1.2)
x
que (para cada y fixado) e uma equacao diferencial ordinaria (EDO) linear de primeira
ordem para u(x, y) considerada como uma funcao de x. Dividindo a equacao acima por a
cx
(a 6= 0) e multiplicando pelo fator integrante e a (metodo do fator integrante), podemos
encontrar a solucao para esta equacao. Realmente,
cx u cx c 1 cx
ea + e a u = f (x, y)e a
x a a
e, portanto,
cx
1 cx
e a u = f (x, y)e a .
x a
cx
Integrando ambos os lados em relacao a x e multiplicando por e a , obtemos a solucao
geral da equacao (1.2):
 Z 
cx 1 cx
u(x, y) = e a f (x, y)e dx + C(y) ,
a (1.3)
a

2
em que C(y) e uma funcao arbitraria de y, derivavel. O sucesso deste metodo depende
exclusivamente do fato de u
y
nao estar presente na equacao (1.2), o que nos permitiu
trata-la como uma EDO.

Para podermos resolver casos mais gerais, em que b 6= 0, comecamos notando que
a u
x
+ b u
y
e o produto interno entre o vetor ai + bj e o gradiente u = u u x
i + u
x
j. Logo,
u u
a x + b y e proporcional a` derivada de u na direcao do vetor ai + bj. Tendo isso em mente,
se introduzirmos um novo sistema de coordenadas para o plano xy de modo que um dos
novos eixos seja paralelo `a direcao ai + bj, veremos que a u x
+ b u
y
sera proporcional a`
derivada de u em relacao a este eixo. Assim reduziremos a eq. (1.1) a` eq. (1.2) em termos
das novas coordenadas.

Para encontrar uma mudanca de coordenadas apropriada, primeiramente notamos que

as retas da forma bx ay = d (em que d e uma constante arbitraria) tem inclinacao ab e,
deste modo, sao paralelas a` direcao ai + bj. Agora, podemos escolher novas coordenadas
(w, z) tal que esta famlia de retas se torne a famlia de novas coordenadas. Uma simples
mudanca de variaveis com este efeito e dada por

w = bx ay, z = y. (1.4)

A famlia de novos eixos de coordenadas w = d coincide com a famlia de retas bxay =

d. As retas z = const. sao iguais a`s retas y = const. que sao paralelas ao eixo x.
Assumiremos que b 6= 0 para que a transformacao (1.4) seja inversvel, isto e,
1
x = (w + az), y = z.
b
Este fato pode parecer trivial agora, mas posteriormente veremos que e de extrema im-
portancia saber se a mudanca de variaveis e inversvel, principalmente nos casos mais
complexos.

Por fim, consideramos uma nova funcao v definida por

 
1
v(w, z) = u(x, y) = u (w + az), z .
b

Note que v(w, z) e simplesmente u(x, y) expressa em termos das novas variaveis (w, z).
Esperamos agora que a u
x
+ b u
y
seja proporcional a v
z
, ja que a u
x
+ b u
y
e a derivada de
u ao longo das retas w = const.. De fato,
   
u u v w v z v w v z
a +b = a + +b +
x y w x z x w y z y
v v
= (ab ba) +b
w z
v
= b .
z
Assim, a eq. (1.1) pode ser reescrita em termos das variaveis (w, z) como
 
v 1
b + cv = f (w + az), z . (1.5)
z b

3
 Esta equacao tem a forma simples da equacao (1.2), uma EDO para cada w fixado.
Sabemos como resolver a eq. (1.5) para v(w, z), logo a solucao de (1.1) sera dada por
u(x, y) = v(bx ay, y), usando u(x, y) = v(w, z) e (1.4). Conseguimos converter o pro-
blema (1.1) a` simples forma (1.5) fazendo uma mudanca de variaveis tal que, quando
uma das novas variaveis e mantida constante, obtemos um membro da famlia de retas
bx ay = d.

b
As retas bx ay = d, que sao paralelas a ai + bj (ou seja, tem inclinacao a
), sao
chamadas as retas caractersticas da EDP (1.1).

1.2 Equaco
es com coeficientes vari
aveis [1]
Em muitas aplicacoes, encontramos EDPs lineares de primeira ordem com coeficientes
variaveis:
u u
a(x, y) + b(x, y) + c(x, y)u = f (x, y), u = u(x, y), (1.6)
x y
em que a, b, c e f sao funcoes de x e y, dadas e derivaveis. Notamos que a(x, y) u x
+
b(x, y) u
y

e proporcional `
a derivada direcional de u no ponto (x, y) na dire
c
a o do vetor

g(x, y) = a(x, y)i + b(x, y)j.

No primeiro caso que analisamos, a e b eram constantes, e este vetor tinha direcao
e magnitude fixas, mas agora o vetor pode mudar conforme os pontos (x, y) variam.
Assim, g(x, y) e um campo vetorial no plano. Pode ser u til pensarmos em g(x, y) como a
velocidade de um fluido no plano xy. Quando a e b sao constantes, as linhas de corrente
do fluido sao as retas com inclinacao ab (ou seja, com vetores tangentes paralelos a ai + bj)
e, entao, elas sao as retas caractersticas. Quando a e b nao sao constantes, as linhas de
corrente sao curvas em geral, e nos referimos a elas como curvas caractersticas. Mais
precisamente, podemos definir o que segue:

Definic ao 1. Uma curva no plano xy e chamada de curva caracterstica da EDP

(1.6), se em cada ponto (x0 , y0 ) na curva, o vetor g(x0 , y0 ) = a(x0 , y0 )i + b(x0 , y0 )j e
tangente `a curva.
 
Em cada ponto sobre a curva caracterstica, temos que gu ou a(x, y) u x
+ b(x, y) u
y
e proporcional a` derivada direcional de u na direcao do vetor tangente a` curva e, entao,
g u e proporcional `a derivada de u em relacao a` variavel posicao ao longo da curva.
Assim, como no caso de coeficientes constantes, em cada curva caracterstica, a EDP (1.6)
e, na realidade, uma EDO em funcao de uma posicao variavel ao longo da curva. Se as
curvas caractersticas sao graficos da funcao y(x) (assumindo que a(x, y) 6= 0), entao a
definicao 1 implica que
dy b(x, y)
= , (1.7)
dx a(x, y)
ou seja, a tangente ao grafico de y(x) no ponto (x, y) e paralela `a g(x, y) = a(x, y)i +
b(x, y)j.

A EDO (1.7) e conhecida como equacao caracterstica da EDP (1.6). As curvas

solucoes da equacao caracterstica sao as curvas caractersticas da eq. (1.6). No caso

4
em que a e b sao constantes, a solucao geral de (1.7) e simplesmente y = ab x + const. ou
bx ay = d. No caso geral de coeficientes variaveis, (1.7) pode ser consideravelmente
difcil de resolver, mas vamos assumir que (1.7) tenha sido resolvida e que a solucao possa
ser escrita de forma implcita como h(x, y) = d, em que d e uma constante arbitraria.
Podemos entao simplificar a EDP (1.6) fazendo a mudanca de variaveis
w = h(x, y) and z = y, (1.8)
assim como fizemos quando os coeficientes eram constantes. A razao para este procedi-
mento e que w e constante em cada curva caracterstica e a EDP deve se tornar uma
EDO na posicao variavel z ao longo destas curvas. Como antes, a escolha z = y nao e
necessaria. Tomando v(w, z) = u(x, y), podemos verificar que (1.6) e transformada em
uma EDO em z, para w fixado. Primeiro, calculamos
   
u u v w v z v w v z
a +b = a + +b +
x y w x z x w y z y
   
w w v z z v
= a +b + a +b .
x y w x y z
Agora e suficiente mostrar que a w x
+ b w
y
v
= 0, de modo que a w nao fara parte da EDP
em termos da funcao v. Para esta finalidade, seja (x0 , y0 ) um ponto dado e seja y(x) uma
solucao de (1.7), tal que y(x0 ) = y0 . Sabemos que h(x, y(x)) = const., consequentemente,
usando a equacao(1.7),
d h h dy w w b(x, y)
0= h(x, y(x)) = + = + .
dx x y dx x y a(x, y)
Assim, a w
x
+b w
y
= 0 em qualquer ponto (x, y(x)). Em particular, a w x
+b w
y
= 0 no ponto
arbitrario dado (x0 , y0 ). Alternativamente, nos lembramos que h e normal a qualquer
curva de nvel h(x, y) = d e, por construcao, g = ai + bj e tangente a` esta curva de nvel.
Assim, a wx
+ b w
y
= g h = 0. Embora tenhamos mostrado que o metodo funciona,
existem varias situacoes em que a mudanca de coordenadas e inversvel somente em um
certo domnio do plano xy.

1.2.1 Parametriza
c
ao da curva caracterstica
Em muitos casos, pode ser mais facil usar uma parametrizacao para a curva caracterstica
por meio de funcoes x( ) e y( ). Podemos definir uma funcao U ( ) = u(x( ), y( )) que
nada mais e do que o valor de u ao longo da curva no tempo . Com isso, nosso objetivo
e mostrar que a funcao U ( ) satisfaz uma certa EDO, se (x( ), y( )) descreve uma curva
caracterstica conforme varia.

Vamos imaginar uma partcula se movendo ao longo de uma curva caracterstica, sendo
assim ela pode se mover de varias maneiras diferentes (rapidamente, lentamente, entre
outras). No entanto, esta partcula deve se mover de maneira que a sua velocidade seja
g(x, y) = a(x, y)i + b(x, y)j, quando esta no ponto (x, y). Para que a partcula se mova
desta maneira, as funcoes x( ) e y( ) que dao a posicao (x( ), y( )) da partcula no tempo
deve obedecer o sistema
dx dy
= a(x( ), y( )) , = b(x( ), y( )). (1.9)
d d

5
Desde que o vetor velocidade x0 ( )i+y 0 ( )j da partcula seja tangente a` trajetoria, sabemos
que (1.9) garante que o ponto (x( ), y( )) descreve uma curva caracterstica para a EDP
(1.6).
Definic ao 2. O sistema de equacoes (1.9) e chamado de sistema caracterstico da
EDP (1.6). Se x( ) e y( ) sao solucoes deste sistema, entao (x( ), y( )) e uma parame-
trizacao preferencial para a curva caracterstica que e descrita conforme varia.
Suponha que (x( ), y( )) e uma parametrizacao preferencial para a curva caracterstica
de
u u
a(x, y) + b(x, y) + c(x, y)u = f (x, y). (1.10)
x y
Seja

U ( ) = u(x( ), y( )) , C( ) = c(x( ), y( )) e F ( ) = f (x( ), y( )). (1.11)

Para encontrar a EDO que U ( ) deve obedecer, calculamos

u u
U 0 ( ) = (x( ), y( ))x0 ( ) + (x( ), y( ))y 0 ( )
x y
u u
= (x( ), y( ))a(x( ), y( )) + (x( ), y( ))b(x( ), y( )) (usando (1.9))
x y
= c(x( ), y( ))u(x( ), y( )) + f ((x( ), y( )) (pela EDP (1.10))
= C( )U ( ) + F ( ). (por (1.11))

Assim, mostramos que U ( ) = u(x( ), y( )) deve obedecer a EDO

U 0 ( ) + C( )U ( ) = F ( ). (1.12)
R
Se tomarmos m( ) = e( 0 C(t)dt)
como o fator integrante de (1.12), obtemos
Z 
1
U ( ) = m(t)F (t)dt + U (0) . (1.13)
m( ) 0

A forma param
etrica das soluco
es.
Vimos que e conveniente pensar nas curvas caractersticas da EDP
u u
a(x, y) + b(x, y) + c(x, y)u = f (x, t) (1.14)
x y
como caminho de partculas que se movem como o fluxo de um fluido, com velocidade
g(x,y) = a(x,y)i + b(x,y)j. A posicao (x( ), y( )) de uma partcla e completamente de-
terminada por sua posicao inicial (x(0), y(0)) no tempo = 0. Se uma condicao (curva)
inicial e dada, de forma que intercepte cada curva caractersica apenas uma vez, entao ela e
conveniente para ser a posicao inicial da partcula em uma curva caracterstica, sendo esta
o ponto de interseccao entre a curva caracterstica e a curva inicial dada. Se denotarmos
por s a posicao variavel ao longo da curva inicial, entao obtemos uma curva caracterstica
diferente para cada valor de s. Para cada s fixado, sera denotado por (X(s, ), Y (s, ))

6
 Figura 1.1: Curvas caractersticas que se formam a partir da curva inicial.

a posicao, no tempo , da partcula que comeca a fluir em um ponto s da curva inicial,

como mostra a figura 1.1.

Note que a curva inicial e tracada por (X(s, 0), Y (s, 0)), com s variando e fixo em
0. Em outras palavras, temos o seguinte:
As funcoes X(s, ) e Y (s, ) sao as solucoes do sistema caracterstico (para cada s fixado)
d d
X(x, ) = a(X(s, ), Y (s, )), Y (s, ) = b(X(s, ), Y (s, )), (1.15)
d d
com a condicao inicial (curva inicial) X(s, 0) e Y (s, 0) dada.

Suponha que os valores de u nos pontos sobre a curva inicial sejam dados por

u(X(s, 0), Y (s, 0)) = G(s), (1.16)

1
onde G(s) e uma funcao C 1 dada. Sendo assim, nos obtemos u(X(s, ), Y (s, )) como
segue. Seja

U (s, ) = u(X(s, ), Y (s, )),

C(s, ) = c(X(s, ), Y (s, )),
F (s, ) = f (X(s, ), Y (s, )) (1.17)

e R
C(s,t)dt
m(s, ) = e 0 .
Aplicando agora o resultado (1.13), para cada s fixado, temos
Z 
1
U (s, t) = m(s, t)F (s, t)dt + G(s) . (1.18)
m(s, ) 0
1
ao e dita ser de classe C 1 se sua derivada for uma funcao contnua.
Uma func

7
De (1.17), sabemos que U (s, ) e o valor de u no ponto (X(s, ), Y (s, )). Assim, como s
e variam, o ponto (x, y, u), no espaco xyu, dado por

x = X(s, ), y = Y (s, ), u = U (s, ), (1.19)

nos da o grafico da superfcie solucao u da EDP (1.14) que satisfaz a condicao inicial (1.16).
Neste sentido, as equacoes (1.19) constituem a forma parametrica da solucao de (1.14)
com a condicao inicial (1.16). Embora (1.19) nao nos de a equacao u(s, ) diretamente,
pode ser possvel resolver as equacoes x = X(s, ) e y = Y (s, ) para s e em termos de
x e y, ou seja, s = s(x, y), = (x, y). Assim, u(x, y) = u(s(x, y), (x, y)) sera a forma
explcita da solucao.

1.3 Equaco
es quase-lineares [2]
Vamos considerar uma superfcie no R3 , cujo grafico e dado por u(x, y). A superfcie
satisfaz uma equacao da forma
 
u u
F x, y, u, , = 0, (1.20)
x y

que e a equacao mais geral possvel para este caso. No entanto, em varias siuacoes praticas,
as equacoes que aparecem sao estruturas mais simplificadas. Um desses casos particulares
de equacoes nao lineares e a equacao quase-linear que tem a forma
u u
a(x, y, u) + b(x, y, u) = c(x, y, u), (1.21)
x y
em que a, b e c sao funcoes dadas.

Uma solucao u para a equacao quase-linear representa uma superfcie bidimensional

no espaco tridimensional xyu, grafico da funcao u = u(x, y). Esta superfcie e chamada
uma superfcie solucao. O vetor normal a` esta superfcie em cada ponto e o vetor
 

u(x, y), u(x, y), 1 .
x y

Resolver a equacao quase-linear e equivalente a encontrar uma superfcie que ao mesmo

tempo seja o grafico de uma funcao u e cujo vetor normal satisfaca a restricao
 
u u
, , 1 (a(x, y, u), b(x, y, u), c(x, y, u)) = 0, (1.22)
x y

que nada mais e do que a equacao (1.21) reescrita de forma conveniente. Em outras
palavras, uma superfcie u = u(x, y) tal que o vetor (a(x, y, u), b(x, y, u), c(x, y, u)) esteja
contido no plano tangente a` superfcie em cada ponto (x, y, u(x, y)). Considere uma tal
superfcie solucao. Dado um ponto (x0 , y0 , u0 ) desta superfcie, procuramos condicoes so-
bre uma curva ( ) = (x( ), y( ), z( )), em que z( ) = u(x( ), y( )), passando por esse
ponto no instante = 0 para que ela esteja inteiramente contida na superfcie u. Ora,
para isso, basta que o campo tangente `a ( ) seja paralelo ao campo (a( ), b( ), c( )).

8
 Neste caso, devemos ter ( ) tal que:

( ) = (x( ), y( ), z( )),
0 (t) = (x0 ( ), y 0 ( ), z 0 ( )) = (a( ), b( ), c( )),
z 0 ( ) = u0 (x( ), y( )). (1.23)

Da, tiramos que

x0 ( ) = a( ),
y 0 ( ) = b( ),
u0 ( ) = c( ). (1.24)

Estas equacoes sao chamadas equacoes caractersticas.

Nos problemas que aparecem, em geral, alem da EDP temos tambem certas condicoes
iniciais que a funcao desconhecida deve obedecer. Nesse caso, podemos interpretar tais
condicoes como uma curva que pertence a` superfcie solucao do problema, essa curva pode
ser escrita utilizando-se um novo parametro s como (s) = (x0 (s), y0 (s), u0 (s)). Agora,
vamos coincidir esta curva dada com a curva integral a ser encontrada em = 0, ou seja,

x(0, s) = x0 (s), y(0, s) = y0 (s), u(0, s) = u0 (s). (1.25)

Ao resolver as equacoes caractersticas juntamente com as condicoes iniciais, o que esta-

mos fazendo e construir curvas que partem da curva inicial e formam a superfcie u.

O metodo das caractersticas e muito interessante pois transforma uma EDP em um

sistema de EDOs, que supostamente e mais facil de resolver. No entanto, queremos saber
se existe um superfcie integral u
nica que contem a curva inicial.

Mesmo para EDPs lineares, as equacoes caractersticas podem ser nao lineares. Sa-
bemos da teoria das EDOs que, em geral, so se pode estabelecer a existencia local de
uma solucao u
nica, pois as solucoes de equacoes diferenciais ordinarias nao-lineares po-
dem desenvolver singularidades dentro de uma curta distancia a partir do ponto inicial.
Segue-se disso que pode-se esperar no maximo um teorema de existencia local para a EDP
de primeira ordem, mesmo se e linear.

Alem disso, a representacao parametrica da superfcie integral apresenta uma difi-

culdade, que e a inversao do plano (, s) para o plano (x, y). Lembrando que o teo-
rema da funcao implcita implica que uma transformacao e inversvel se o Jacobiaano
J = (x,y)
(,s)
6= 0,
 
x y x y  a b
 (y0 ) (x0 )
J= = (x0 ) (y0 )  =
 a b. (1.26)
t s s t  s s s s
 
Vemos que o Jacobiano se anula se o vetor (a, b) e (x s
0 ) (y0 )
, s
sao linearmente depen-
dentes, logo o significado do anulamento de J e que a projecao de no plano (x, y) e
paralela `a (a, b). Assim, uma condicao para que a EDP de primeira ordem tenha uma
nica perto da curva inicial e que devemos ter J 6= 0. Esta condicao e chamada
solucao u
de condicao de transversalidade.

9
1.3.1 O m
etodo de Lagrange para equaco
es quase-lineares
Como vimos, uma EDP quase-linear de primeira ordem e uma equacao da forma
u u
a(x, y, u) + b(x, y, u) c(x, y, u) = 0, u = u(x, y) (1.27)
x y

em que a, b e c sao funcoes C 1 de tres variaveis.

Lagrange mostrou que as solucoes de (1.27) podem ser expressas implicitamente como
(x, y, u) = 0, em que (x, y, u) e uma solucao da seguinte EDP linear em tres dimensoes

a(x, y, z) + b(x, y, z) + c(x, y, z) = 0. (1.28)
x y z

Primeiro vamos supor que u(x, y) e uma solucao de (1.27). Se definirmos (x, y, z) =
u(x, y)z, entao em qualquer ponto (x, y, z) = (x, y, u(x, y)), sobre o grafico de u, teremos

u u
a(x, y, z) + b(x, y, z) + c(x, y, z) = a(x, y, u) + b(x, y, u) c(x, y, u), (1.29)
x y z x y

em virtude da equacao (1.27).

Agora suponha que e uma solucao de (1.28), de modo que o vetor normal =

x
i +
y
j
+
z
k a` superfcie (x, y, z) = 0 em algum ponto P0 = (X0 , Y0 , Z0 ) nao e hori-
zontal (ou seja, z
6= 0. Entao proximo a P0 a superfcie sera o grafico de alguma funcao
u(x, y) ((x, y, u(x, y)) = 0). Podemos mostrar que u(x, y) deve ser a solucao da equacao
(1.27) como segue.

Diferenciando a equacao (x, y, u(x, y)) = 0 em relacao a x e y temos:

(x, y, u(x, y)) + (x, y, u(x, y)) u(x, y) = 0 (1.30)
x z x
e

(x, y, u(x, y)) + (x, y, u(x, y)) u(x, y) = 0. (1.31)
y z y
Assim,
u u
y
= x e = . (1.32)
x z
y z

Substituindo em (1.27), obtemos

 
1

a(x, y, u(x, y)) + b(x, y, u(x, y)) + z(x, y, u(x, y)) = 0, (1.33)
z
x y z

pela suposicao que satisfaz (1.28). Assim, u(x, y) e solucao de (1.27).

10
1.4 Equaco
es completamente n
ao-lineares [3] [4]
A forma mais geral para a EDP de primeira ordem nao-linear e dada por
 
u u
F x, y, u, , = 0. (1.34)
x x

Devemos desenvolver um metodo de solucao para tais equacoes. O metodo e uma ex-
tensao do metodo das caractersticas. Para simplificar a notacao, vamos utilizar p = u
x
e
u
q = y .

Considere um ponto (x0 , y0 , u0 ) sobre a superfcie solucao. Nosso objetivo e encontrar

a inclinacao de uma curva caracterstica pertencente a` superfcie que passa por este ponto.
No caso quase-linear, a equacao determinava diretamente a inclinacao (em cada ponto)
de uma curva especfica sobre a superfcie solucao, mas agora essa informacao nao e tao
evidente como antes. Devemos construir aquela curva de uma maneira um pouco diferente.
Para este proposito, vamos escrever a equacao do plano tangente `a superfcie solucao no
ponto (x0 , y0 , u0 ):
p(x x0 ) + q(y y0 ) (u u0 ) = 0. (1.35)
Note que as derivadas p e q em (x0 , y0 , u0 ) nao sao independentes. A equacao (1.34) impoe
a seguinte relacao
F (x0 , y0 , u0 , p, q) = 0. (1.36)
As duas u ltimas equacoes definem, a um parametro, uma famlia de planos tangentes.
Essa famlia envolve um cone, com vertive em (x0 , y0 , u0 ), chamado de cone de Monge
(ver figura 1.2). Cada plano tangente intercepta o cone de Monge ao longo de uma curva
geratriz. Desta maneira, a EDP (1.36) define uma campo de cones. Uma superfcie
z = u(x, y) e uma superfcie solucao se em cada ponto P0 = (x0 , y0 , u0 ) ela toca um cone
com vertice em P0 .

Neste caso, a curva geratriz que o plano tangente toca define uma direcao sobre a
superfcie. Estas direcoes caractersticassao a chave para a teoria de integracao da
equacao (1.36). No caso especial de uma equacao quase-linear, o cone de Monge se
degenera em uma curva com direcao dada por (a, b, c) que passa por P0 . Para calcular a
geratriz, diferenciamos a equacao (1.35) em relacao ao parametro p:

dq
(x x0 ) + (y y0 ) = 0 (1.37)
dp
 2  2
Assumindo que F nao se degenera (ou seja, F p
+ Fq
nao se anula). Sem perda de
6 0. Segue da equacao (1.36) e do teorema da funcao
generalidade, consideraremos Fq =
implcita que
Fp
q 0 (p) = F . (1.38)
q

Substituindo (1.38) em (1.37), obtemos a equacao para o cone de Monge gerador

x x0 y y0
F
= F
. (1.39)
p q

11
 Figura 1.2: Cones de Monge

As equacoes (1.35) e (1.39) implicam em tres equacoes diferenciais para a curva ca-
racterstica:
F
x0 ( ) = (x, y, u, p, q),
p
F
y 0 ( ) = (x, y, u, p, q),
q
F F
u0 ( ) = p (x, y, u, p, q) + q (x, y, u, p, q). (1.40)
p q
facil verificar que as equacoes (1.40) coincidem, no caso quase-linear, com as equacoes
E
caractersticas obtidas anteriormente. Entretanto, no caso nao-linear, as equacoes carac-
tersticas (1.40) nao formam um sistema fechado, elas contem as funcoes desconhecidas p
e q. Em outras palavras, as equacoes caractersticas carregam com elas um plano tangente
que tem que ser encontrado como parte da solucao. Para derivar equacoes para p e q,
escrevemos
dp 2 u x 2 u y 2 u F 2 u F
= + = + (1.41)
d x2 xy x2 p xy q
e, similarmente,
dq 2 u F 2 u F
= + 2 . (1.42)
d yx p y q
2 2 2
Para eliminar xu2 , xy
u
e yu2 , lembramos que a funcao F = 0 se anula ao longo da
curva caracterstica. Por meio da diferenciacao, obtemos
F F p F q F
+p + + = 0,
x u x p x q
F F p F q F
+q + + = 0. (1.43)
y u y p y q

12
Substituindo (1.43) em (1.41) e (1.42), obtemos

dp F F
= p ,
d x u
dq F F
= q . (1.44)
d y u
Finalmente podemos escrever o conjunto de equacoes caractersticas para as EDPs de
primeira ordem nao lineares:
F
x0 ( ) = (x, y, u, p, q),
p
F
y 0 ( ) = (x, y, u, p, q),
q
F F
u0 ( ) = p (x, y, u, p, q) + q (x, y, u, p, q),
p q
F F
p0 ( ) = (x, y, u, p, q) p (x, y, u, p, q),
x u
F F
q 0 ( ) = (x, y, u, p, q) q (x, y, u, p, q). (1.45)
y u
O metodo das caractersticas e muito interessante pois transforma uma EDP em um
sistema de EDOs, que supostamente e mais facil de resolver. No entanto, mesmo para
EDPs lineares, as equacoes caractersticas podem ser nao-lineares, por isso, se existir
solucao para o sistema, ela pode ser apenas uma solucao local.

13
Captulo 2

Exemplos de EDPs de primeira

ordem

A seguir, representaremos alguns exemplos de EDPs de primeira ordem relacionados a`

equacao de continuidade.

2.1 Ondas em uma dire

c
ao
Ha muito tempo as equacoes diferenciais ocupam um papel de destaque em Fsica. Isso
se deve a` importancia das derivadas na modelagem matematica dos mais variados tipos
de problemas. Um exemplo bastante comum e a equacao de uma onda se propagando em
uma corda infinita
2 1 2
= 0, com v = const. (2.1)
x2 v 2 t2
Esta equacao apresenta uma solucao muito simples, conhecida como solucao de DAlembert,
que e dada por
(x, t) = f (x vt) + g(x + vt). (2.2)
Esta solucao representa uma onda viajando no sentido positivo do eixo x (f (x vt)) e
outra viajando no sentido negativo (g(x+vt)). Podemos obter um resultado interessante se
tomarmos a derivada de primeira ordem, com relacao ao tempo, da funcao que representa
a onda no sentido posivo. De fato, usando = x vt,
 
f () f ()
f (x vt) = = (v)
t t x
 
f () f
= v = v (2.3)
x x

mostra que f e solucao da equacao

f f
+v = 0. (2.4)
t x
Poderamos ter feito o mesmo com a onda que se propaga no sentido negativo do eixo
x. Neste caso, obteramos a mesma equacao, porem com sinal invertido para a velocidade.

De forma muito simples, partindo de uma solucao conhecida, conseguimos obter uma
equacao diferencial parcial de primeira ordem, que descreve uma onda unidirecional. A

14
forma desta onda poderia ser dada por uma condicao inicial. A resolucao desta equacao
poderia ser obtida de maneira muito simples, devido `a velocidade constante. No entanto,
nem sempre teremos esta facilidade. A seguir, veremos alguns exemplos de equacoes
que tem a forma muito parecida com a que obtemos acima, e que quardam algumas
propriedades bastante interessantes.

2.2 Equaco
es provenientes de leis de conserva
c
ao [1]
[5]
Leis de conservacao surgem frequentemente na fsica, em sistemas com conservacao de
massa, energia, momento, carga, entre outras. Em outras palavras, lei de conservacao e
uma equacao que expressa a conservacao de alguma entidade fsica. Vamos considerar,
por exemplo, a conservacao de carga.

Se a carga total em um determinado volume se altera, entao exatamente essa quanti-

dade de carga deve ter passado para dentro ou para fora atraves de uma superfcie fechada.
Formalmente, a carga em um volume e
Z
Q(t) = (~r, t)d (2.5)

e a corrente que flui atraves do contorno S e S J~ d~a, em que e a densidade de carga e

H

J~ e a densidade de corrente. Assim a conservacao de carga diz que

I
dQ
= J~ d~a. (2.6)
dt S

Usando a primeira equacao para reescrever o lado esquerdo e recorrendo ao teorema da

divergergencia no lado direito, temos
Z Z
~ Jd.
~
d = (2.7)
t

Como equacao e valida para qualquer volume, segue-se que

~ J.
~
= (2.8)
t
Esta e a equacao de continuidade. Ela tambem pode ser deduzida das equacoes de Maxwell
de modo que a conservacao de carga nao e um pressuposto independente, mas uma con-
sequencia das leis da eletrodinamica.

Se for usado que J~ = ~v , a equacao de continuidade pode ser escrita como

+ (~v ) = 0. (2.9)
t
E se ~v e conhecido, recamos em uma EDP com coeficientes variaveis. Em particular,

.(~v ) = v x , ao nos restringirmos ao caso unidimensional com velocidade constante.
Nesse contexto, reobteremos a equacao (2.4).

15
 Veja que encontramos a EDP (2.8) apenas considerando que se a carga total em um de-
terminado volume se altera, entao exatamente essa quantidade de carga dever ter passado
para dentro ou para fora atraves de uma superfcie fechada. Mantendo este esprito, po-
demos fazer agora uma analise sobre a conservacao de alguma grandeza arbitraria em um
determinado volume. Por simplicidade, a partir de agora consideraremos apenas situacoes
unidimensionais.

2.2.1 Lei de conserva

c
ao para uma quantidade qualquer
Sistemas descritos por equacoes diferenciais da forma
u g(u)
+ = 0, (2.10)
t x
em que u = (u1 , , un ) Rn , n 1 e (x, t) R [0.) sao de grande importancia,
tanto do ponto de vista pratico quanto do ponto de vista teorico. Vamos obter esta
equacao supondo que uma quantidade Q de uma substancia S pode fluir em um meio
unidimensional (para facilitar os calculos), e no tempo t. Ou seja, vamos supor que a
substancia S ocupa um tubo de seccao transversal A constante. Nesse tubo, seleciona-
remos um pedaco qualquer, que denotaremos por X, com extremidades e . Vamos
estudar equacoes que descrevem o comportamento de S em cada ponto x do tubo e em
cada instante t. Para isso, seja u(x, t) a densidade, ou a concentracao de S na posicao x
e no tempo t. Observe que S pode variar de duas formas, S entra (ou sai) por e , ou
S e adicionado ao (ou removido do) meio da secao X.

Se denotarmos por Q a taxa com que S entra ou sai de X pela extremidade , por
Q a taxa com que S entra ou sai de X por , por Qint a taxa com que S e adicionado
ou removido pelo meio de X e por dQ
dt
a taxa de variacao de Q em X, segue que:
dQ
= Q + Q + Qint . (2.11)
dt
Lembrando que u(x, t) e a densidade de S ao longo de X, temos que o total de Q em
R
X e dado por u(x, t)dx. Assim, a taxa de variacao de Q em X e dada por
d
Z
dQ
= u(x, t)dx. (2.12)
dt dt
Denotaremos por (, t) a taxa com que S entra em X por x = . O fato de (, t) > 0
implica que o fluxo esta no sentido esquerda-direita e (, t) < 0 implica que o fluxo esta
no sentido direita-esquerda. A taxa com que S entra em X por x = e (, t), o sinal
negativo em x = e necessario pois (, t) > 0 indica que Q esta diminuindo em X.
Segue que a taxa com que Q entra em X atraves de seus extremos e
(, t) (, t). (2.13)
Representaremos por f (x, t) a densidade da taxa com que a substancia S esta sendo
adicionada ou removida do meio na posicao x e no tempo t. Essa funcao f (x, t) e denomi-
nada funcao fonte. Valores positivos dessa funcao significam que S esta sendo adicionada
ao meio, e valores negativos significam o contrario. Assim a taxa com que S esta sendo
adicionada em X e dada por Z
f (x, t)dx. (2.14)

16
 Substituindo as equacoes (2.12), (2.13) e (2.14) na equacao (2.11), obtemos

d
Z Z
u(x, t)dx = (, t) (, t) + f (x, t)dx. (2.15)
dt

Esta equacao e conhecida como a forma integral da lei de conservacao.

A equacao (2.15) pode ser reescrita como

Z Z Z

u(x, t)dx = (x, t)dx + f (x, t)dx (2.16)
t x

ou, equivalentemente,
Z  

u(x, t) (x, t) f (x, t) dx = 0. (2.17)
t x

Como as funcoes t
u(x, t), x (x, t) e f (x, t) sao contnuas e o intervalo (, ) e ar-
bitrario, temos que
u
= f. (2.18)
t x
Esta equacao relaciona tres funcoes: a funcao densidade, a funcao de fluxo e a funcao fonte.
As duas primeiras sao as funcoes incognitas e a funcao fonte geralmente e determinada
pelo problema fsico modelado. Uma segunda equacao relacionando u(x, t) e (x, t) e
dada a partir de evidencias experimentais ou a partir de hipoteses sobre o problema fsico
modelado. Esta segunda relacao entre u e e denominada equacao constitutiva. Em geral,
nossos modelos consistem de duas partes, a lei de conservacao e a equacao constitutiva.
Cabe observar que se tivessemos considerado uma situacao em varias dimensoes, u t
+
~
J = f seria a generalizacao da equacao (2.18). Em particular, se u e f = 0, a
equacao (2.8) e reobtida.

2.2.2 Fluxo de g
as unidimensional
Vamos seguir o mesmo procedimento utilizado na secao anterior, mas agora para um
caso concreto de conservacao de massa. Encontraremos a equacao que descreve o fluxo
de gas em um tubo (ver figura (2.1)) alem disso aplicaremos o metodo das equacoes ca-
ractersticas para dois casos simples, de modo a construir uma solucao e comecarmos a
entender como se utiliza o sistema caracterstico.

Considere um gas que percorre um tubo em uma u nica direcao. Pretendemos deter-
minar a velocidade e a densidade do gas em cada ponto do tubo em cada instante, ou
seja, v(~r, t), (~r, t). Vamos admitir que em cada seccao transversal do gas, a densidade e
a velocidade sao constantes. Desse modo, temos v(x, t) e (x, t).

A massa de gas entre dois pontos arbitrarios x1 e x2 no instante t e dada por

Z x2
(x, t)dx. (2.19)
x1

Admitimos que as paredes do tubo sao impermeaveis e que a evolucao do gas ocorre ape-
nas devido ao transporte. Deste modo, a variacao de massa que ocorre em cada instante

17
 Figura 2.1:

e apenas originada pelo fluxo. O fluxo de massa na direcao x no instante t e dado por
(x, t)v(x, t).

Tambem podemos escrever o fluxo como a variacao temporal da massa no intervalo

(x1 , x2 ), isto e,
d x2
Z
(x, t)dx = (x1 , t)v(x1 , t) (x2 , t)v(x2 , t). (2.20)
dt x1
Usando o teorema fundamental do calculo, podemos escrever
d x2
Z Z x2

(x, t)dx = ((x, t)v(x, t))dx (2.21)
dt x1 x1 x

e, portanto, Z x2 Z x2

dxdt = (v)dxdt. (2.22)
x1 t x1 x
Assim, podemos concluir que

+ (v) = 0. (2.23)
t x
Note que esta equacao e identica a` primeira equacao que vimos, para a onda unidimendio-
nal, deste modo, esperamos tambem, uma solucao identica `a que tinhamos se v e constante.

Primeiramente, vamos considerar que v(x, t) = v e constante. Entao a EDP se torna

+v = 0. (2.24)
t x
As equacoes caractersticas para esta equacao serao:
dx F
= = v,
d p
dt F
= = 1,
d q
d F F
= p +q = v+ = 0. (2.25)
d p q x t

18
As duas u
ltimas equacoes caractersticas sao relevantes apenas quando a EDP e nao-linear.

Resolvendo as equacoes acima, temos

x = v + c1 , t = + c2 , = c3 , (2.26)

em que c1 , c2 e c3 sao constantes. Agora, vamos utilizar uma condicao inicial (x, 0) =
0 (x), que pode ser escrita parametricamente como (x(s, 0) = s, t(s, 0) = 0, (s, 0) =
0 (s)). Aplicando a condicao inicial, obtemos

x = v + s , t = , = 0 (s), (2.27)

que nos da
= (x vt). (2.28)
Com essa analise, reobtemos a solucao da equacao (2.4), porem usando o metodo das
equacoes caractersticas. E, portanto, a variacao de densidade se propaga com velocidade
constante.

Vamos supor agora que v(x, t) = x, em que e alguma constante positiva. Neste
caso, a velocidade esta na direcao i para x negativo e i para x positivo. Obviamente
esperamos que a densidade seja decrescente com o tempo, a partir de x = 0.

Neste caso a equacao (2.23) se tornara

+ x + = 0, (x, 0) = 0 (x). (2.29)
t x
E as equacoes caractersticas para esta EDP sao
dx
= x,
d
dt
= 1,
d
d
= x + = , (2.30)
d x t
que apresentam as seguintes solucoes

x = c1 e , t = + c2 , = c3 e . (2.31)

Utilizando a condicao inicial na forma parametrica, obtemos

x = se , t= , = 0 (s)e (2.32)

e, por fim, expressamos a solucao em funcao de x e t

= 0 (xet )et . (2.33)

Esse resultado mostra que a densidade decresce com o tempo, a partir de x = 0, como era
esperado. E interessante notar tambem que no caso em que 0 (x) = 0 = const., temos
que (x, t) = 0 et e independente de x, mesmo com a velocidade v = x dependendo
da posicao.

19
 Uma modelagem muito parecida com a do fluxo de gas e obtida quando analisamos
uma reacao qumica em um tubo unidimensional. Para tal, considere um tubo longo onde
inserimos um produto qumico A por um dos seus extremos. Dentro do tubo ocorre uma
reacao e um produto qumico B e recolhido na outra extremidade do tubo. Se chamarmos
de u(x, t) a densidade (massa por unidade de comprimento) do produto A na posicao x,
no tempo t, segue que a lei de conservacao que rege essa reacao e dada por
u
+ = f, (2.34)
t x
em que (x, t) e o fluxo (massa por unidade de tempo) com que o produto A passa pela
posicao x, no tempo t, e f (x, t) e a taxa (massa por unidade de comprimento por tempo)
com que o produto A desaparece na posicao x e no tempo t devido a` reacao qumica.
Note que a equacao (2.34) corresponde `a equacao (2.18) com .

A fim de modelar a lei de conservacao para a reacao, vamos supor que:

A reacao que ocorre no interior do tubo se move da esquerda para a direita com
velocidade constante v.
A taxa com que o produto A se transforma no produto B no interior do tubo e
proporcional `a concentracao de A.
A primeira hipotese implica que o fluxo (x, t) = vu(x, t) e a segunda implica que
f (x, t) = pu(x, t), em que p e uma constante positiva e o sinal negativo indica que o
produto A esta desaparecendo. Com isso, a lei de conservacao para a reacao qumica e
u u
+v = pu. (2.35)
t x
Note que a relacao (x, t) = vu(x, t) e um exemplo de equacao constitutiva obtida a partir
da hipotese que fizemos para a modelagem do problema.

2.2.3 Fluxo de tr
afego
Veremos agora um modelo aproximado para descrever o fluxo de trafego apos a abertura
e apos o fechamento de um semaforo.

A popularizacao do uso de automoveis e a falta de infra-estrutura das cidades para

comportar o aumento de trafego tornaram os problemas de congestionamento cada vez
mais agudos. Com o objetivo de amenizar as consequencias desses problemas, a partir
de meados do seculo passado, estudos cientficos procuram responder algumas perguntas,
tais como: Quanto tempo um sinal (semaforo) pode ficar fechado sem comprometer o
fluxo de transito das vias urbanas? Como desenvolver um sistema progressivo de sinais
de transito (as chamadas ondas verdes) em grandes avenidas? Onde construir entradas
e sadas das vias principais? As respostas a estas e a muitas perguntas relacionadas per-
mitem entender e solucionar, parcial ou totalmente, os problemas gerados pelo complexo
fenomeno do trafego.

Vamos tratar aqui de um problema de trafego mais simples, como o fluxo de transito
em uma rua unica com apenas uma faixa, sem entradas e sem sadas laterais. A formulacao
matematica desse problema ocorreu por volta da metade dos anos 50.

20
 A velocidade v dos carros depende de varios fatores tais como condicoes climaticas,
densidade de trafego, hora do dia, entre outros. Considere (x, t) a densidade de carros
no ponto x e no tempo t em uma estrada de sentido u nico. Esta funcao, em princpio, e
uma funcao discreta pois carros sao objetos discretos, contudo, vamos supor que (x, t) e
Rb
uma representacao contnua da densidade de trafego (ou seja, a (x, t)dx e o n umero de
carros entre x = a e x = b). Considere tambem M o limite legal de velocidade, com um
adicional de 5Km/h que pode ser adicionado sem punicao. Seja d uma densidade crtica
relacionada com as distancias para-choque `a para-choque. Em seguida, pode-se supor que
a velocidade de trafego v(x, t) e dada por v(x, t) = M (1 (x,t)
d
). A velocidade v depende
de varios fatores, tais como condicoes climaticas, densidade de trefego, hora do dia, entre
outros. Por simplicidade, estamos supondo que a velocidade v dos carros depende somente
da densidade de trafego, ou seja, quanto maior o n umero de carros menor a velocidade.
Note que v = 0 quando = d, e v = M quando = 0. Entretanto, quando = 12 d,
temos v = 21 M , que e pouco segura se M = 80km/h, por exemplo, mas vamos prosseguir
mesmo assim.

A equacao de continuidade t + (v)x = 0 implica em um fluxo de trafego parecido

com o fluxo de gas, mas aqui temos uma mudanca:

(v) h   i  
= M 1 =M 12 . (2.36)
x x d d x
Assim, temos uma EDP quase-linear para a densidade de trafego
 
+M 12 = 0. (2.37)
t d x
As equacoes caractersticas para esta EDP sao:
 
dx 2
= M 1 ,
d d
dt
= 1,
d  
d 2
= M 1 + = 0, (2.38)
d x d t

que terao as solucoes:

 
2
x = M 1 + c1 ,
d
t = + c2 ,
= c3 . (2.39)

em que c1 , c2 e c3 sao constantes. Agora, utilizando a condicao inicial nas equacoes

caractersticas, obtemos
 
2f (s)
x = M 1 + s,
d
t = ,
= f (s). (2.40)

21
 Esses resultados implicam que a densidade (x, t) e uma constante na reta
 
2f (x0 )
x=M 1 t + x0 , (2.41)
d

no plano xt. Se mudarmos o valor de x0 para um novo valor x1 , e f (x0 ) 6= f (x1 ), entao
a nova reta interceptara a antiga em algum ponto (x2 , t2 ), desde que seus coeficientes
angulares sejam diferentes. Alem disso, ja que f (x0 ) 6= f (x1 ), o valor constante de na
nova reta nao sera igual ao valor constante na reta antiga. Assim, no ponto de interseccao,
chegamos em uma contradicao, (x2 , t2 ) = f (x0 ) e (x2 , t2 ) = f (x1 ). Por isso, as u
nicas
solucoes (x, t) da equacao que sao definidas para todo (x, t) sao as solucoes em que a
densidade inicial (x,
0) = f (x) e constante, ou seja, o trafego se move com velocidade
uniforme M 1 dc em que c e alguma constante. Este simples exemplo ilustra bem
dificuldades e complicacoes que podem ser inerentes ao buscarmos solucoes de EDPs nao
lineares de primeira ordem.

22
Captulo 3

Exemplos de EDPs de primeira

ordem na mec
anica analtica

Um destaque especial do uso de EDPs de primeira ordem ocorre no contexto da mecanica

analtica. Visando contextualizar essas EDPs, vamos apresentar uma breve revisao das
equacoes de Euler-Lagrange e de Hamilton. A seguir, obteremos as equacoes de Liouville
e de Hamilton-Jacobi.

3.1 Equaco
es de Euler - Lagrange [6] [7] [8]
De todas as trajetorias possveis pelas quais um sistema pode mover-se de um ponto para
outro, dentro de um especfico intervalo de tempo, a trajetoria observada e aquela que
extremiza a acao do sistema considerado. Este e o princpio da mnima acao de Hamilton.
Para coloca-lo em pratica, vamos primeiro definir a funcao de Lagrange, que caracteriza
um sistema mecanico qualquer como

L(q1 , q2 , ..., qn , q1 , q2 , ..., qn , t), (3.1)

em que qn indica as coordenadas generalizadas e qn indica as velocidades generalizadas.
Entao, escrevemos a integral acao como
Z t2
I= L(q1 , q2 , ..., qn , q1 , q2 , ..., qn , t)dt. (3.2)
t1

Nosso objetivo agora e encontrar as equacoes diferenciais a partir da condicao de ser

um mnimo (extremo) para esta integral. Para economizarmos em nossos calculos, vamos
considerar inicialmente apenas um grau de liberdade ao sistema, desta forma o mesmo
sera definido apenas pela funcao q(t). Usando o calculo variacional, podemos encontrar
uma funcao q = q(t) de tal modo que a equacao (3.2) apresente um extremo, obedecendo
a`s seguintes condicoes
q(t1 ) = p1 e q(t2 ) = p2 . (3.3)
Agora, adicionando em q(t) um pequeno incremento q(t), temos
q(t) + q(t) e q(t)
+ q(t).
(3.4)
Como queremos que a equacao (3.4) continue passando pelos mesmos p1 e p2 , usaremos
q(t) nula em t1 e t2 , ou seja,
q(t1 ) = q(t2 ) = 0. (3.5)

23
Para a equacao (3.1), temos
L(q + q, q + q,
t), (3.6)
que pode ser expandida em serie de Taylor, de modo que obtemos

t)
L(q + q, q + q, t) + L(q, q,
= L(q, q, t)q + L(q, q,
t) q.
(3.7)
q q
Assim, a variacao da integral acao sera dada por
Z t2
I = (L(q + q, q + q, t) L(q, q,
t)) dt
t1
Z t2  
L L
= q + q dt. (3.8)
t1 q q

A seguir, note que podemos escrever

    
L d L d L
q = q q. (3.9)
q dt q dt q

Dessa forma, ficamos com

Z t2   Z t2   Z t2
d L d L L
I = q dt qdt + qdt
t1 dt q t1 dt q t1 q
t Z t2   Z t2
L  2 d L L
= q  qdt + qdt. (3.10)
q t1 t1 dt q t1 q

Levando em conta (3.5), o primeiro termo do lado direito da equacao acima se anula e
ficamos apenas com Z t2  
L d L
I = qdt. (3.11)
t1 q dt q
Sabendo que as equacoes diferenciais desejadas devem vir de um valor extremo da
integral acao, impomos entao que a equacao anterior seja igual a zero, isto e,
Z t2  
L d L
qdt = 0. (3.12)
t1 q dt q

Para que a integral seja nula, e suficiente que o integrando seja nulo. E considerando q
uma funcao arbitraria, temos
L d L
= 0. (3.13)
q dt q
Caso o sistema mecanico apresente n graus de liberdade, as n funcoes qi (t) devem variar
independentemente. Feita esta consideracao, podemos estender o resultado anterior para
d L L
= 0 , i = 1, 2, ..., n. (3.14)
dt qi qi
Estas sao as equacoes diferenciais procuradas e constituem as equacoes de movimento do
sistema, denominadas em mecanica como equacoes de Euler-Lagrange.

24
3.2 Equaco
es de Hamilton [6] [7] [8]
A formulacao Lagrangeana permite descrever o estado mecanico de um sistema fazendo
uso das suas coordenadas e velocidades generalizadas, em que o tempo desempenha o
papel de parametro. No entanto, ha um outro metodo de realizar a mesma tarefa mas com
algumas vantagens. Neste metodo, descrevemos o estado de movimento de um sistema
com ajuda de suas coordenadas e momentos generalizados, definidos como
L
pi = . (3.15)
qi
O problema consiste em mudar a base do sistema (qi , qi , t) para (qi , pi , t). Para fazer essa
mudanca de base, usaremos o que e comumente conhecido como transformacao de Legen-
dre.

Como L = L(qi , qi , t), a diferencial de L e

X L X L L
dL = dqi + dqi + dt. (3.16)
i
qi i
qi t

Da definicao do momento e da equacao de Euler-Lagrange, temos

L d L L
= , pi = , (3.17)
qi dt qi qi
ou seja,
L
= pi . (3.18)
qi
Com isso, a equacao (3.16) se reduz a
X X L
dL = pi dqi + pi dqi + dt. (3.19)
i i
t

Escrevendo o segundo termo do lado direito da equacao acima como

!
X X
d pi qi qi dpi , (3.20)
i i

verificamos que
!
X X X L
dL = pi dqi + d pi qi qi dpi + dt (3.21)
i i i
t

ou, ainda, !
X X X L
d L qi dpi = pi dqi qi dpi + dt. (3.22)
i i i
t
P
Definindo o Hamiltoniano como H = i qi dpi L, obtemos
X X L
dH = pi dqi qi dpi + dt, (3.23)
i i
t

25
ou seja, H = H(qi , pi , t) como queramos. Alem disso, a diferencial de H pode ser dada
por
X H X H H
dH = dqi + dpi + dt. (3.24)
i
qi i
pi t
Comparando as duas u
ltimas equacoes, chegamos a
H H
qi = , pi = , i = 1, 2, ..., n. (3.25)
pi qi
Estas sao as equacoes de Hamilton. Devido a` simetria de sua forma, tais equacoes sao
denominadas canonicas.

3.3 Colchetes de Poisson [6] [7] [8]

Seja f = f (qi , pi , t), entao sua derivada temporal total sera
 
df f X f f
= + qk + pk . (3.26)
dt t k
qk pk

Substituindo qk e pk pelos resultados obtidos nas equacoes canonicas de Hamilton (3.25),

temos  
df f X f H f H
= + (3.27)
dt t k
q k pk p k qk

ou
df f
= + {f, H} , (3.28)
dt t
em que
X  f H f H

{f, H} = . (3.29)
k
q k pk p k qk

A expressao acima e conhecida como colchetes de Poisson para f e H.

3.4 Equac
ao de Liouville [9]
Como consequencia direta da equacao (3.28), note que todas as grandezas conservadas,
aquelas que df
dt
= 0, satisfazem a equacao

f
+ {f, H} = 0, (3.30)
t
que e uma EDP com coeficientes variaveis. Para uma partcula livre em uma dimensao,
p2
por exemplo, H = 2m e, portanto, H
p
= mp , H
q
=0e

f f
+v = 0, (3.31)
t x
p
em que usamos v = m
. Vemos que mais uma vez recamos na equacao (2.4).

26
 Se considerarmos um conjunto de sistemas independentes regidos por uma mesma Ha-
miltoniana, a dinamica desse conjunto satisfara a equacao de continuidade t
+ J~ = 0,
em que = (qi , pi , t) e a densidade desses sistemas no espaco de fase e J~ = ~v e a
densidade de corrente desses sistemas no espaco de fase, com ~v = (q1 , ...qn , p1 , ..., pn ). Isso
ocorre pois no espaco de fase a quantidade de sistemas e conservada, assim como a carga
e conservada no eletromagnetismo.

Como ~v = (q1 , ...qn , p1 , ..., pn ), a equacao de continuidade no espaco de fases pode ser
escrita como  
X
+ (qi ) + (pi ) = 0. (3.32)
t i
q i p i

A seguir, usando as equacoes de Hamilton (3.25), notamos que

    
qi H H
(qi ) = + qi = + (3.33)
qi qi qi qi pi qi pi
e     
pi H H
(pi ) = + pi = . (3.34)
pi qi pi pi qi pi qi
2 2
Assim, visto que qi p
H
1
= p i q
H
i
, verificamos que a equacao (3.32) pode ser escrita como
 
P H H
t
+ i q i pi
p i qi
= 0, ou seja,

+ {, H} = 0, (3.35)
t
em que empregamos a definicao de parenteses de Poisson.

Essa u ltima equacao tem exatamente a forma da equacao (3.30), porem com inter-
pretacao diferente. A equacao (3.35) e comumente chamada de equacao de Liouville e e
largamente empregada em estudos de mecanica estatstica.

3.5 Transformac
oes can
onicas [6] [7] [8]
As equacoes de Euler-Lagrange sao invariantes sob uma transformacao nas coordenadas
generalizadas, ou seja, a forma das equacoes nao muda se fizermos uma mudanca de
variaveis do tipo

qi Qi = Qi (q1 , q2 , ..., qn , t), (3.36)

sendo inversvel essa transformacao

qi = qi (Q1 , Q2 , ..., Qn , t). (3.37)

Diferentemente do caso Lagrangeano, uma transformacao no formalismo Hamiltoniano

(que alem das coordenadas qi s, tem tambem os momentos pi s independentes) em geral
nao preserva a mesma forma das equacoes de movimento. No entanto, vamos nos restringir
a`s mudancas das variaveis qi e pi para Qi e Pi que mantenham a mesma forma das equacoes
de Hamilton, ou seja, queremos

Qi = Qi (qi , pi , t) e Pi = Pi (qi , pi , t) (3.38)

27
tal que
H0 H0
Q i = , P i = , (3.39)
Pi Qi
em que H0 (P, Q) e a nova Hamiltoniana. As transformacoes que obedecem estas condicoes
sao ditas canonicas.

Para investigar esse aspecto, partamos do fato de que as equacoes de Hamilton podem
ser obtidas do princpio da mnima acao
Z t2
Ldt = 0 (3.40)
t1
P
usando L = i pi qi H, isto e,
!
Z t2 X
pi qi H dt = 0. (3.41)
t1 i

Da, como qi dt = dqi , ficamos com

Z t2 !
X
pi dqi Hdt = 0. (3.42)
t1 i

Para que P e Q satisfacam as equacoes de Hamilton, devem igualmente satisfazer o

princpio da mnima acao. Logo,
Z t2 X !
Pi dQi H0 dt = 0. (3.43)
t1 i

Para que essas duas u ltimas variacoes correspondam a`s mesmas equacoes, os in-
tegrandos das duas equacoes poderao diferir por uma diferencial de uma funcao que
depende dos qi0 sep0i s. De fato,  se dF e essa diferencial com F = F (qi , pi , t), entao
R t2 dF t2
t1 dt dt = F (qi (t), pi (t), t) = 0, pois qi (t1 ) = qi (t2 ) = 0 e pi (t1 ) = pi (t2 ) = 0.

t1
Da, os integrandos das equacoes (3.42) e (3.43) poderao estar relacionados por
X X
pi dqi Hdt = Pi dQi H0 dt + dF. (3.44)
i i

Isolando dF , temos
X X
dF = pi dqi Pi dQi + (H0 H)dt, (3.45)
i i

implicando que F = F (qi , Qi , t). Sua diferencial e dada entao por

X F X F F
dF = dqi + dQi + dt. (3.46)
i
qi i
Qi t
Comparando as duas u ltimas equacoes, obtemos
F F F
pi = , Pi = , H0 H = . (3.47)
qi Qi t
Essa transformacao canonica, como qualquer outra desse tipo, e caracterizada pela
funcao F , que e a funcao geratriz da transformacao. Caso desejarmos escrever a funcao
geratriz F em funcao de p e P , ao inves de q e Q, deveremos realizar uma transformacao
de Legendre com relacao `a equacao (3.45).

28
3.6 Equac
ao de Hamilton-Jacobi [6] [7] [8]
Em certo sentido, a equacao de Hamilton-Jacobi pode ser considerada o auge da mecanica
um metodo extremamente poderoso para a integracao das equacoes de mo-
analtica. E
vimento. O metodo se baseia na busca de uma transformacao canonica que seja capaz de
tornar a Hamiltoniana transformada identicamente nula.

Com este objetivo em mente, primeiramente vamos supor que somos capazes de en-
contrar uma transformacao canonica para novas variaveis

(q, p) (Q, P ), (3.48)

com a propriedade de anular a nova Hamiltoniana, H0 = 0. Sendo isto possvel, vamos

analizar as consequencias imediatas. As equacoes transformadas sao
H0 H0
Q i = , P i = . (3.49)
Pi Qi
Como por hipotese H0 = 0, podemos escrever

Qi = i , Pi = i , (3.50)

em que e sao constantes.

Se considerarmos a transformacao canonica inversa, teremos

qi = qi (Qi , Pi , t) qi (t) = qi (i , i , t)
pi = pi (Qi , Pi , t) pi (t) = pi (i , i , t), (3.51)

ou seja, qi e pi nos dao as coordenadas p e q originais em funcao do tempo e de 2n cons-

tantes arbitrarias que podem ser fixadas pelas condicoes iniciais. Em outras palavras,
a transformacao canonica torna as equacoes transformadas triviais, portanto a solucao
e imediata e, voltando para as coordenadas originais temos a solucao das equacoes de
Hamilton para as variaveis originais. Tudo sobre a hipotese de que disponhamos de uma
transformacao canonica que gere uma nova Hamiltoniana nula.

O que queremos agora e ver que equacao, ou equacoes, uma funcao geratriz desta
transformacao deve satisfazer para que a nova Hamiltoniana seja zero. Se conseguirmos
resolver esta equacao para a funcao geratriz, se torna simples encontrar as equacoes de mo-
vimento. Vamos entao buscar a funcao geratriz F , que passaremos a chamar de S(q, p, t),
que satisfaca as condicoes estipuladas. Para uma funcao geratriz deste tipo, conforme as
equacoes (3.47), temos

S S S
pi = , Qi = , H0 (Q, P, t) = H(q, p, t) + . (3.52)
qi Pi t
Para que se tenha H0 = 0, S deve satistazer
S
H(q, p, t) + = 0, (3.53)
t

29
 S
mas usando pi = qi
resulta a seguinte equacao
 
S S
H q, ,t + = 0. (3.54)
qi t
Esta e a equacao diferencial parcial de primeira ordem conhecida com equacao de Hamilton-
Jacobi. Em geral, esta equacao e nao-linear. Uma maneira direta de resolver a equacao
de Hamilton-Jacobi, contornando o uso das equacoes de Hamilton sera mostrado a seguir.

Esse metodo consiste em decompor, quando possvel, S(q1 , q2 , ..., qn , t) em uma soma
de funcoes que so dependem de cada uma das variaveis qi , isto e, S(q1 , q2 , ..., qn , t) =
p2
S1 (q1 ) + S2 (q2 ) + ... + Sn (qn ) + T (t). Por exemplo, se H = 2m , temos
 2
S 1 S
+ = 0. (3.55)
t 2m q
Ao usar S(q, t) = T (t) + S(q), obtemos
 2
dT 1 dS
+ = 0. (3.56)
dt 2m dq
dT dS
Para que essa equacao tenha solucao nao trivial, consideramos dt
= E e dq
= b, em que
b 2
E e b sao constantes. Esse procedimento conduz a T = Et e S = bq com E + 2m = 0.
Essa u
ltima relacao mostra que, na realidade, somente uma das constantes e independente.
Escolhamos, por exemplo, que a constante E seja independente. Sendo assim, temos

S = Et + 2mEq, (3.57)

em que escolhemos empregar a raiz positiva.

Como vimos nas equacoes (3.49) e (3.50), o fato de escolher a nova Hamiltoniana
S
H0 = 0, nos conduziu a P = const., Q = const. e P = Q . Nesse contexto, podemos
tratar a constante E como se fosse o Q e, portanto,
r
S 1 2m
c= = t + q, (3.58)
E 2 E
em que c e outra constante que faz o papel de P . Essa u
ltima equacao implica

q = v0 t + q0 , (3.59)
q q
com v0 = 2E m
e q 0 = 2E
m
c. Esse resultado e justamente a conhecida expressao para
a posicao em funcao do tempo para uma partcula livre em uma dimensao. Note que as
constantes E e b representam a energia e o momento linear da partcula, respectivamente.

O procedimento que acabamos de mostrar e conhecido como o metodo da separacao

de variaveis para a equacao de Hamilton-Jacobi. De uma maneira geral, para que esse
metodo seja aplicavel, devemos conseguir separar grupamentos na equacao de Hamilton-
Jacobi que dependam
  apenas de uma variavel. No nosso exemplo, tnhamos os grupa-
2
dT 1 dS
mentos dt
e 2m dq
.

30
 Tambem podemos obter a equacao da posicao em funcao do tempo usando as equacoes
caractersticas. Se escrevermos a equacao (3.54) como

H (q, , t) + = 0, (3.60)

com = S t
e = S
q
, temos F (q, t, , ) = 0. Usando as equacoes caractersticas nessa
equacao, obtemos
dq F
=
d
dt F
=
d
dS F F
= +
d
d F F
=
d q S
d F F
= . (3.61)
d t S
p2
Considerando novamente a Hamiltoniana para uma partcula livre, H = 2m
, temos a
equacao de Hamilton-Jacobi:
 2
S 1 S 2
+ =0 ou + = 0. (3.62)
t 2m q 2m
Neste caso, o sistema de equacoes caractersticas se torna
dq
=
d m
dt
= 1
d
dS 2
= + =
d m
d
= 0
d
d
= 0. (3.63)
d
As duas u
ltimas equacoes nos dizem que = e = , em que e sao constantes.
Assim, obtemos a solucao das outras EDOs sem dificuldade alguma:

q= + cte1 , t = , S = + cte2 , (3.64)
m
em que q e a equacao da posicao que procuravamos. Como esperado, essas equacoes estao
em acordo com as equacoes (3.57) e (3.59).

3.7 Equac
ao iconal [10]
Vamos agora ver uma aplicacao ligada a ondas bidimensionais lineares em meios hete-
rogeneos (a velocidade de propagacao e variavel). Porem, vamos considerar a velocidade

31
c = c(x, y) variando lentamente. Podemos denotar essa variacao lenta da velocidade con-
siderando o comprimento de onda muito pequeno em relacao a`s variacoes do meio de
propagacao da onda. Como o meio e variavel, a velocidade da onda estara constantemente
aumentando e diminuindo de modo a produzir um efeito sanfona, ou seja, teremos uma
fase variavel. Nosso objetivo e estudar a variacao da fase desta onda.

Considere uma equacao da onda bidimensional dada por

2u 2u 1 2u
+ = . (3.65)
x2 y 2 c2 t2
Primeiro, estudaremos ondas harmonicas no tempo, o que implica
u(x, y, t) = v(x, y)eit . (3.66)
Substituimos na equacao (3.65) de onde obtemos a equacao de Helmhotz:
2 v + k 2 n2 v = 0, (3.67)
c0
em que n = kc(x,y)
= c(x,y)
.

Agora, vamos escrever matematicamente a possibilidade da fase ser variavel, ou seja

v(x, y) = A(x, y)eik(x,y) , (3.68)
em que k(x, y) representa a fase variavel e A(x, y) a amplitude.

Vamos fazer uma aproximacao assintotica da equacao de Helmholtz no regime de

ondas curtas, ou variacao lenta do meio de propagacao. Substituindo a funcao (3.68), na
equacao de Helmholtz, encontramos
"   #
2  2  2
2 1 2A 2A
   
2 i A A
A +n + 2 +2 A + + 2 + = 0.
x y k x x y y xy y 2 k x2 y 2
(3.69)
Como k  1 (ja que  1), podemos escrever
 2  2

+ = n2 . (3.70)
x y
Esta e a equacao iconal.

Primeiramente vamos encontrar a solucao para a equacao iconal para um dado ponto
P0 como condicao inicial, e para um ndice de refracao constante. Nosso problema sera
dado por
 2  2

+ = n2
x y
: x(s, 0) = x0 , y(s, 0) = y0 , (s, 0) = 0 . (3.71)
Agora reescrevemos a equacao na forma F = p2 + q 2 n2 = 0. O primeiro passo para
resolver um problema deste tipo seria encontrarmos as condicoes iniciais para p e q. No
entanto, analisando a condicao da faixa, vemos que
dx dy d
p+ = = 0. (3.72)
ds ds ds

32
Ou seja, a condicao da faixa nao nos fornece informacao alguma.

Da condicao de transversalidade vemos que

  
 F F   F F


 p q
 dx(s,0) dy(s,0)  =  p q = 0. (3.73)

 ds ds
 0 0 

Neste caso, podemos nao ter solucao ou ter infinitas solucoes. Para tentarmos encontrar
alguma solucao, podemos utilizar a mudanca de coordenadas

p = ncos, q = nsen. (3.74)

E por fim, montamos nosso sistema caracterstico:

dx
= 2p, x(s, 0) = x0 ,
d
dy
= 2q, y(s, 0) = y0 ,
d
d
= 2n2 , (s, 0) = 0 ,
d
dp
= 0 p(s, 0) = ncos,
d
dq
= 0 q(s, 0) = nsen. (3.75)
d
Resolvendo cada uma das EDOs acima, a comecar por p e q, que sao constantes,
obtemos

p(s, ) = ncos,
q(s, ) = nsen,
x(s, ) = x0 + 2 ncos,
y(s, ) = y0 + 2 nsen,
(s, ) = 20 + n2 . (3.76)

Usando as solucoes de x e y, podemos escrever

(x x0 )2 + (y y0 )2 = 4n2 2 , (3.77)

e para , temos
( 0 )2 = 4 2 n2 . (3.78)
Finalmente obtemos uma solucao final, ao juntarmos as solucoes para x, y e :

( 0 )2
(x x0 )2 + (y y0 )2 = . (3.79)
n2
Esta solucao representa um cone com vertice no ponto (x0 , y0 , 0 ). Note que se fizermos
= , em que e uma constante, obteremos as curvas de nvel de , que sao circun-
ferencias e representam as frentes de onda em cada posicao.

33
 Podemos tambem analisar um caso um pouco diferente, onde a condicao inicial nao e
um ponto, mas uma reta. Neste caso, nosso problema se torna
 2  2

+ = n2
x y
: x(s, 0) = s, y(s, 0) = s, (s, 0) = as. (3.80)

Nosso objetivo aqui e encontrar uma solucao para e identificarmos o comportamento

para suas curvas de nvel, assim como fizemos anteriormente. Novamente o ndice de
refracao do meio sera considerado constante.

Vamos entao reescrever a equacao como F = p2 + q 2 n2 = 0, e utilizar a condicao

da faixa
d(s, 0) dx(s, 0) dy(s, 0)
=p +q , (3.81)
ds ds ds
da qual tiramos que
a = p + q. (3.82)
Usando a mudanca de variaveis

p(s, 0) = ncos, q(s, 0) = nsen. (3.83)

facil ver que p(s, 0) e q(s, 0) satisfazem a EDP.
E

Analisando a condicao de transversalidade,

 
 F F 
 p q
 6= 0, (3.84)

 dx(s,0) dy(s,0)
 ds ds


vemos que, se encontrarmos uma solucao ela sera inversvel.

Podemos agora resolver o sistema caracterstico para nosso problema:

dx
= 2p x(s, ) = x(s, 0) + 2p = s + 2n cos,
ds
dy
= 2q y(s, ) = y(s, 0) + 2q = s + 2n sen,
ds
d
= 2(p2 + q 2 ) (s, ) = (s, 0) + 2n2 = as + 2n2 ,
ds
dp
= 0,
ds
dq
= 0. (3.85)
ds
Das duas primeiras equacoes e possvel encontrar (x, y) e s(x, y) como segue
yx xsen ycos
= , s= . (3.86)
2n(sen cos) sen cos
Por fim, substituimos em para obter

(x, y) = n(xcos + ysen). (3.87)

34
 De posse da solucao (x, y), podemos analisar agora as curvas de nvel da fase tomando
(x, y) = , com uma constante. Assim, temos

= n(xcos + ysen) (3.88)

ou  
cos
y= x. (3.89)
nsen sen
Se fizermos a fase igual a zero, obtemos
cos
y= x. (3.90)
sen
Escrevendo as duas primeiras equacoes do sistema caracterstico, sem o parametro ,
verificamos que
dy q sen
= = = tan. (3.91)
dx p cos
Logo, vemos que as curvas de nvel da fase, que tambem sao as frentes de onda, sao
possvel
perpendiculares a` projecao da direcao de propagacao da onda (Ver figura 3.1. E
mostrar que isso sempre acontece para solucoes desta equacao.

Se (x, y) = nos da
as curvas de nvel da fase , a direcao normal a estas curvas sao
dadas por = , . Por outro lado, a direcao de propagacao da onda e dada por
x x
dx dy



,
d d
= (2p, 2q) = ,
x x
. Ou seja, a direcao de propagacao da onda coincide com a
normal `as frentes de onda.

Figura 3.1: Direcao de propagacao das ondas perpendiculares a`s frentes de onda.

35
Conclus
ao

No primeiro captulo desta monografia desenvolvemos, heuristicamente, o metodo das

equacoes caractersticas para EDPs de primeira ordem, comecando por equacoes com
coeficientes contantes e passando a seguir para equacoes com coeficientes variaveis, quase-
lineares e finalmente equacoes completamente nao lineares. No segundo captulo, estu-
damos brevemente algumas equacoes relacionadas `as leis de conservacao e encontramos
a solucao de alguns casos especficos, que nos permitiu analisar algumas propriedades
basicas dos sistemas estudados. Em seguida, vimos algumas EDPs de primeira ordem
no contexto da mecanica analtica. Para este fim, apresentamos as equacoes de Euler-
Lagrange e de Hamilton, posteriormente obtivemos as equacoes de Liouville e de Hamilton.
Por fim, estudamos aspectos basicos da equacao iconal e da sua solucao para dois casos
especficos.
De maneira geral, tentamos neste trabalho suprir, pelo menos em parte, a grande
ausencia do estudo de EDPs de primeira ordem no curso de fsica. Esperamos assim
que, motivados por esta monografia, graduandos caminhem na direcao de se aprofundar
um pouco mais neste tema, com o intuito de obter uma melhor compreensao de certos
fenomenos fsicos.

36
Refer
encias Bibliogr
aficas

[1] D. Bleecker and G. Csordas, Basic partial differential equations. International Press,
1992.

[2] Y. Pinchover and J. Rubinstein, An introduction to partial differential equations.

Cambridge University Press, 2005.

[3] F. John, Partial differential equations. Springer-Verlag, 1982.

[4] E. Zauderer, Partial differential equations of applied mathematics. John Wiley &
Sons, 2011.

[5] R. Knobel, An introduction to the mathematical theory of waves. American Mathe-

matical Soc., 2000.

[6] H. Goldstein, Classical mechanics. Pearson Education, 1962.

[7] L. Landau and E. Lifchitz, Curso de Fsica-Mecanica. Hemus, 2004.

[8] N. A. Lemos, Mecanica analtica. Editora Livraria da Fsica, 2007.

[9] R. L. Liboff, Kinetic theory. Prentice-Hall, 1990.

[10] Impa, Vde.impa: Equacoes diferenciais parciais e aplicacoes., 2013. Disponvel

[www.video.impa.br] Acesso em 21 de Novembro de 2014.

37