IEDPS

Introdu c ao ` as
Equa c oes Diferenciais Parciais

Jo ao Palhoto Matos
28 de Setembro de 2006
2
Indice
Indice
1 Introdu cao 1
1.1 Nomenclatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Objectivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2 Equa c oes reais de primeira ordem 3
2.1 Introdu c ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2 Equa c oes quase-lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.3 Caso geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.4 Coment arios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.5 Exerccios suplementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3 O Laplaciano 15
3.1 Introdu c ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.2 Solu c oes radiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.3 F ormula de Green e Solu c ao Fundamental . . . . . . . . . . . . . . . . . . . . . . 17
3.4 Fun c ao de Green casos elementares . . . . . . . . . . . . . . . . . . . . . . . . 18
3.5 N ucleo de Poisson solu c ao do problema de Dirichlet numa bola . . . . . . . . 21
3.6 Teorema do valor medio para fun c oes harm onicas . . . . . . . . . . . . . . . . . . 21
3.7 O princpio de m aximo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.8 Ainda o teorema do valor medio . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.9 O metodo de Perron . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.10 A equa c ao de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.11 Solu c oes fracas da equa c ao de Laplace . . . . . . . . . . . . . . . . . . . . . . . . 33
3.12 Exerccios suplementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
4 Classica cao das equa c oes lineares de 1
a
ordem no plano 37
4.1 Introdu c ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
5 Resultados gerais e contra-exemplos 39
5.1 O Problema de Cauchy geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5.2 O Teorema de Cauchy-Kowalewska . . . . . . . . . . . . . . . . . . . . . . . . . . 40
5.3 O Teorema de Holmgren . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
5.4 O Contra-exemplo de Lewy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
6 Operadores Elpticos Lineares de 2
a
ordem 43
6.1 Hip oteses adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
6.2 O princpio de m aximo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
6.3 Uma estimativa pontual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
6.4 O metodo de continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3
Indice
7 Metodos Variacionais 47
7.1 Os Teoremas de Stampacchia e Lax-Milgram . . . . . . . . . . . . . . . . . . . . 47
7.2 Introdu c ao aos espa cos de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . . 50
7.2.1 Deni c oes e propriedades elementares . . . . . . . . . . . . . . . . . . . . 50
7.2.2 Os teoremas de Sobolev e Morrey . . . . . . . . . . . . . . . . . . . . . . . 50
7.2.3 O teorema de Rellich . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
7.2.4 Outros resultados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
7.3 Aplica c oes a problemas elpticos . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
7.3.1 O metodo do quociente de Nirenberg . . . . . . . . . . . . . . . . . . . . . 51
8 A equa cao do calor 53
8.1 O n ucleo de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
8.2 Princpio de M aximo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
9 A equa cao das ondas 55
9.1 O problema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
9.2 O metodo das medias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
9.3 O metodo de descida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
A Mecanica dos Meios Contnuos 57
A.1 Formula c ao dos modelos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
A.1.1 Cinem atica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
A.1.2 Massa, For ca, Momento Linear e Momento Angular . . . . . . . . . . . . 58
A.1.3 Equa c oes de Navier-Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . 60
A.2 Equa c oes de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
A.3 Equa c oes de Euler-Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
A.4 Electromagnetismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
A.5 Equa c oes de Hamilton-Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
A.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
B Convolu cao e regulariza cao 61
B.1 Sucess oes de molicadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
C Problemas Adicionais 65
Bibliograa 73
Lista de Figuras 75
Indice remissivo 76
4
Indice
Nota
As p aginas seguintes s ao uma vers ao mais cuidada das minhas notas para dois cursos introdut orios
sobre equa c oes diferenciais parciais leccionados a partir de 1989/90 no Instituto Superior Tecnico.
Estes cursos tem a dura c ao de um semestre e tem como objectivos por um lado a introdu c ao
do aluno aos resultados cl assicos sobre equa c oes diferenciais parciais e por outro a liga c ao com
metodos e problemas contempor aneos. Um dos cursos e destinado aos alunos do quarto ou quinto
ano do curso de licenciatura em Matem atica Aplicada e o outro aos alunos do primeiro ano do
Mestrado em Matem atica Aplicada.
E justo referir aqui que fui inuenciado por todos os professores que me ensinaram Matem a-
tica, em particular por aqueles que me ensinaram Equa c oes Diferenciais por escrito e ao vivo.
Destes ultimos devo salientar o Prof. Manuel Ricou que foi quem leccionou pela primeira vez
este curso. No entanto o ordenamento do material, a enfase relativa dada aos diversos t opicos
e todos os erros matem aticos, lingusticos e tipogr acos s ao da minha inteira responsabilidade.
Desde j a agrade co a quem mos comunicar.
5
Indice
6
Captulo 1
Introdu cao
1.1 Nomenclatura
A express ao
F(x, u, (D
u)
1||l
) = 0 (1.1)
em que
1
F : R
n
R
m
R
k
R
N
e uma aplica c ao dada e k k(l, m, n, N) designa-se por sistema
de N equa c oes diferenciais parciais em m inc ognitas u
j
, 1 j m em que u = (u
j
)
1jm
. Em
geral os unicos sistemas que consideraremos ser ao determinados, i.e. m = N. Se m = 1 dizemos
que temos uma equa c ao diferencial parcial. Se, xado um qualquer x, o funcional denido por
u F(x, u(x), (D
u(x))
1||l
) e am diz-se que a equa c ao ou sistema e linear. Finalmente se
F(x, u, (D
u)
1||l
) =
||=k
a
(x, (D
u)
||<k
)D
u b(x, (D
u)
||<k
)
diz-se que o sistema ou equa c ao e quase-linear.
1.2 Objectivos
A sec c ao de texto anterior prima por ser, propositadamente, sintetica. Dizer que uma equa c ao
diferencial parcial e uma express ao do tipo (1.1) e algo que n ao tem signicado matem atico
preciso. O que e que de facto signica estudar uma equa c ao diferencial parcial? Normalmente o
leitor deste texto j a ter a sido exposto ao estudo de equa c oes diferenciais ordin arias e de algumas
equa c oes diferenciais parciais
2
. Isto poder a ter levado a um conjunto de expectativas desajustadas
do que se ir a encontrar a seguir. O que iremos de facto encontrar ser a, espero, um vislumbre de
resposta ` as seguintes quest oes:
Existe uma teoria geral para equa c oes diferenciais parciais?
Caso a resposta ` a primeira pergunta seja n ao, existe um processo de classica c ao que reduza
este estudo a um n umero nito e pequeno de teorias especiais?
Quais s ao os metodos a utilizar? Trata-se de um campo da Matem atica denido pelos
metodos tecnicos a utilizar ou pelos objectivos que se tem em vista?
H a um espa co de fun c oes natural para procurar solu c oes de uma equa c ao?
1
N ao havendo men c ao expressa do contr ario convenciona-se que nota c ao da forma f : D E signica que f
est a denida num subconjunto de D com valores em E. Por outro lado a nota c ao f : C D E signica que f
est a denida em todo o subconjunto C de D com valores em E.
Claro que k(l, m, n) = nm(
1n
l
1n
).
2
Provavelmente j a usou separa c ao de vari aveis e series de fun c oes para obter solu c oes de algumas equa c oes
diferenciais parciais lineares de segunda ordem em domnios particulares. Isto n ao ser a pressuposto no texto.
1
Captulo 1. Introdu c ao
O que e que as equa c oes lineares tem de especial? Em que medida e que a teoria e mais
rica nesta situa c ao?
O que e um problema bem posto?
Em que medida a Fsica-Matem atica cl assica inuencia e e inuenciada pelo estudo das
equa c oes diferenciais parciais? Que solu c oes s ao interessantes deste ponto de vista?
H a classes de equa c oes diferenciais parciais cujo estudo possa beneciar dos metodos de-
senvolvidos para equa c oes diferenciais ordin arias?
A resposta a estas quest oes n ao vai ser f acil. Espero, pelo menos, que no nal da leitura deste
texto se pecebam melhor as perguntas e a diculdade em formular a sua resposta.
2
Captulo 2
Equa c oes reais de primeira ordem
2.1 Introdu cao
Pretendem-se estudar equa c oes da forma
F(x, u, (D
i
u)
1in
) = 0. (2.1)
em que F : R
n
R R
n
R e uma aplica c ao dada.
Note-se que o problema anterior n ao est a enunciado em termos rigorosos e que introduziremos
hip oteses precisas progressivamente. O leitor come car a com certeza por pensar que se tivessemos
n = 1 estaramos a estudar uma equa c ao diferencial ordin aria de primeira ordem e que nesse
caso procurar-se-ia estudar:
a existencia (local ou global) de u;
condi c oes adicionais que garantam a unicidade de u;
regularidade de u;
outras propriedades de u tais como dependencia contnua em rela c ao a um par ametro ou
propriedades assimpt oticas.
S ao essencialmente os mesmos problemas que nos interessar ao no estudo das equa c oes diferenciais
parciais. No entanto, excepto no caso de equa c oes diferenciais parciais reais de primeira ordem
em que a an alise reduz-se no essencial ao estudo dum sistema de equa c oes diferenciais ordin arias,
os metodos a utilizar ir ao para alem do que e conhecido das equa c oes ordin arias.
2.2 Equa c oes quase-lineares
A equa c ao diferencial parcial real quase-linear de primeira ordem tem a forma
n
i=1
a
i
(x, u)
u
x
i
= b(x, u) (2.2)
com a (a
i
)
1in
e b fun c oes dadas. Procuraremos xar uma solu c ao considerando a condi c ao
de Cauchy
u = u
0
, em S, (2.3)
onde S e uma hipersuperfcie C
1
. O problema assim formulado designa-se por problema de
Cauchy. Note-se que podemos escrever a equa c ao na forma
D
a(x,u(x))
u(x) = b(x, u(x))
em que D
h
designa derivada dirigida segundo o vector h. Isto e, conhecido o valor de u num
ponto x existe uma direc c ao, dependente de x e u(x), em que o crescimento de u e conhecido.
3
Captulo 2. Equa c oes reais de primeira ordem
Essa direc c ao e a do campo x a(x, u(x)). Uma primeira observa c ao e que poder a n ao
existir solu c ao do problema de Cauchy se existir um ponto de S em que a(x, u(x)) e tangente a
S. Esta e outas observa c oes importantes podem ser feitas mesmo num exemplo muito simples.
Pode-se dizer que o metodo de resolu c ao das equa c oes quase-lineares de primeira ordem reduz-se
no essencial ao exemplo seguinte por mudan ca de vari aveis.
Exemplo. Considere-se
u
x
= 0 em R
2
. Para toda a fun c ao g : R R temos que u : R
2
R
denida por
u(x, y) = g(y)
ser a uma solu c ao. Note-se por exemplo que se S for uma linha C
1
cuja tangente nunca seja
paralela ao eixo dos xx o problema de Cauchy correspondente ter a uma e uma s o solu c ao numa
vizinhan ca de S. Por outro lado n ao existe por exemplo solu c ao do problema de Cauchy se
xarmos u(x, 0) = h(x) com h n ao constante. Se h for constante existir ao solu c oes mas n ao se
vericar a unicidade local. Note-se que a derivada dirigida de u est a neste caso xada na direc c ao
do eixo dos xx.
Voltando ` a equa c ao quase-linear geral vamos como primeiro passo da sua resolu c ao tentar
determinar as linhas integrais do campo de direc c oes denido por (x, u) (a(x, u(x)), b(x, u(x)))
em R
n+1
. Para tal basta considerar o sistema de equa c oes diferenciais ordin arias:
dX
d
= a(X(), U())
dU
d
= b(X(), U()).
Escolhemos condi c oes iniciais correspondentes a xar o valor de u sobre a hipersuperfcie S.
Supomos, se necess ario usando cartas locais, que S e descrita por x = (s), s R
n1
,
aberto e que o valor de u em S e descrito por u = (s). Consequentemente passamos a
considerar o problema de Cauchy para um sistema de equa c oes diferenciais ordin arias, o sistema
caracterstico
X
= a(X(, s), U(, s)), X(0, s) = (s)

U
= b(X(, s), U(, s)), U(0, s) = (s)

(2.4)
Este sistema, se a e b forem sucientemente regulares, digamos C
1
, ter a, de acordo com o teorema
fundamental de existencia, unicidade e dependencia contnua em rela c ao a um par ametro para
equa c oes diferenciais ordin arias, uma solu c ao unica numa vizinhan ca de 0 . Essa solu c ao
ser a uma fun c ao de classe C
1
em (, s). As respectivas linhas integrais, i.e., as linhas descritas
em R
n+1
por (X(, s), U(, s)) para cada s s ao designadas por caractersticas. As linhas
descritas emR
n
por X(, s) para cada s s ao por vezes tambem designadas nalguma literatura
por caractersticas mas n os optamos por utilizar para estas a designa c ao de tra cos caractersticos
ou projec c oes caractersticos.
Para obtermos u em termos de x ser a natural tentar decidir se a aplica c ao
(, s) X(, s)
e um difeomorsmo. Para isso a ferramenta natural e o teorema da fun c ao inversa para garantir
esse facto numa vizinhan ca de um ponto (s) S. Tal estar a garantido se
det
_
X
X
s
(0, s) =
= det
_
a(X(0, s), U(0, s))
X
s
(0, s)
= det[ a((s), (s))

s
] ,= 0.
Esta condi c ao e exactamente a n ao tangencia de S ao campo a(, u()) no ponto (s). Diz-se que
uma hipersuperfcie vericando esta condi c ao em todos os seus pontos e n ao-caracterstica.
4
2.2. Equa c oes quase-lineares

S
u
x
1
x
2
caracterstica
trao caracterstico
Figura 2.1: O problema de Cauchy para equa c oes diferenciais parciais quase-lineares reais de 1
a
ordem.
Podemos ent ao estabelecer um teorema de existencia e unicidade de solu c ao para a equa c ao
diferencial parcial quase-linear real de primeira ordem.
Teorema 2.2.1. O problema de Cauchy
_
n
i=1
a
i
(x, u(x))D
i
u = b(x, u(x)) numa vizinhan ca de S
u = u
0
, em S
(2.5)
em que S e uma hipersuperfcie C
1
n ao caracterstica e a, b, u
0
s ao C
1
tem uma solu c ao C
1
unica
numa vizinhan ca de S.
Demonstra c ao. Sejam u
1
e u
2
duas solu c oes de (2.5) numa vizinhan ca dum ponto de S. Fixe-se
k = 1 ou 2 e seja X uma solu c ao de
X
= a(X(, s), u
k
(X(, s))).
Seja V denida por
V (, s) = u
k
(X(, s)).
Temos ent ao
V
=
n
i=1
u
k
x
i
X
i
=
n
i=1
u
k
x
i
a
i
(X(, s), u
k
(X(, s)))
= b(X(, s), u
k
(X(, s)))
= b(X(, s), V (, s))
Assim tanto (X, U) como (X, V ) s ao solu c oes do sistema (2.4) vericando as mesmas condi c oes
iniciais. Da que U = V . Note-se que esta conclus ao e independente de k. Como X e um
difeomorsmo pode-se concluir que u
1
= u
2
. Estabelecemos assim unicidade da solu c ao.
5
Para demonstrar a existencia de solu c ao de (2.5) usamos o metodo sugerido antes do enunciado
do teorema. Consideramos uma solu c ao (X, U) do sistema caracterstico (2.4) e dene-se u(x) =
U((x)) em que e a aplica c ao inversa do difeomorsmo (, s) X(, s) numa vizinhan ca
conveniente dum ponto de S. As propriedades de regularidade de u seguem do que j a foi exposto
tal como a satisfa c ao das condi c oes de Cauchy. Resta vericar que u e uma solu c ao. Calculamos
ent ao
u
x
i
=
U
x
i
+
n1
j=1
U
s
j
s
j
x
i
pelo que
n
i=1
a
i
(x, u(x))
u
x
i
=
n
i=1
u
x
i
X
i
=
n
i=1
_
_
U
x
i
X
i
+
n1
j=1
U
s
j
s
j
x
i
X
i
_
_
=
U
= b(x, u(x))
vericando que u e efectivamente uma solu c ao de (2.5).
Exerccio 2.1. Resolva os seguintes problemas de Cauchy:
a) u
y
= xuu
x
, u(x, 0) = x;
b) xu
y
yu
x
= u, u(x, 0) = h(x).
Exerccio 2.2. Suponha que a solu c ao do problema 2.5 est a denida numa vizinhan ca U da
hipersuperfcie n ao-caracterstica S. Considere topologias para as fun c oes C
1
em U e em S
denidas por seminormas correspondentes ao supremo do m odulo da fun c ao e das suas derivadas
parciais (tangenciais para fun c oes denidas em S) em subconjuntos compactos (para a topologia
induzida em S). Enuncie e demonstre um resultado sobre dependencia contnua da solu c ao em
rela c ao aos valores iniciais.
Acab amos de estabelecer um resultado de existencia local para as equa c oes diferenciais par-
ciais reais de primeira ordem. Convir a agora vericar, atraves de um exemplo simples, que a
existencia global de solu c ao s o ser a de esperar em situa c oes muito particulares.
Exemplo. Comecemos por algumas considerera c oes b asicas sobre Mec anica dos Meios Cont-
nuos
1
destinadas a permitir uma interpreta c ao fsica do modelo a considerar.
Pretendemos descrever a evolu c ao no tempo dum corpo , um aberto de R
n
, atraves duma
aplica c ao x : R R
n
em que supomos x(0, p) = p, ou seja a congura c ao de referencia sup oe-
se identica ` a do corpo no instante t = 0. O desenvolvimento da teoria obrigar a a fazer suposi c oes
do tipo x C
k
(R ) para algum k N e que as aplica c oes x(t, ) s ao difeomorsmos C
k
,
i.e., exclui-se a interpenetra c ao da materia. No entanto existir ao situa c oes em que tais hip oteses
tecnicas n ao ser ao adequadas. Por exemplo se se pretende estudar cavita c ao (forma c ao de buracos
no material).
As coordenadas p dizem-se coordenadas materiais ou lagrangianas e as coordenadas x =
x(t, p) dizem-se coordenadas espaciais ou eulerianas. Em particular cada ponto p diz-se
uma partcula e x(, p) dir-se- a a sua traject oria. Dada uma grandeza g descrita em coordenadas
materiais a sua descri c ao em coordenadas espaciais
2
far-se- a atraves de
g(t, x(t, p)) = g(t, p)
1
Considera c oes mais extensas sobre Mec anica dos Meios Contnuos s ao objecto do Apendice A.
2
Usar-se- a a, b, c, . . . , , . . . para representa c oes de grandezas em coordenadas materiais e a, b, c, . . . , , . . . para
as respectivas representa c oes em coordenadas espaciais.
6
2.2. Equa c oes quase-lineares
o que e possvel gra cas a supormos que as aplica c oes x(t, ) s ao difeomorsmos.
Denem-se os campos de velocidade e acelera c ao em coordenadas materiais atraves de
v(t, p) =
x
t
(t, p)
a(t, p) =
v
t
(t, p).
Claro que
v(t, x(t, p)) = v(t, p)
a(t, x(t, p)) = a(t, p).
Note-se que
a(t, p) =
v
t
(t, p)
=
v
t
(t, x(t, p)) +
n
i=1
v
x
i
(t, x(t, p))
x
i
t
(t, p)
=
v
t
(t, x(t, p)) +
n
i=1
v
x
i
(t, x(t, p))v
i
(t, p)
em que v = (v
i
)
1in
, etc. . Em coordenadas espaciais
a(t, x) =
v
t
+
n
i=1
v
x
i
v
i
.
Se a acelera c ao de cada partcula for nula devemos ter
v
t
+
n
i=1
v
x
i
v
i
= 0.
Em particular em dimens ao n = 1 esta equa c ao reduz-se a
v
t
+
v
x
v = 0. (2.6)
E esta a equa c ao que pretendemos considerar tendo em mente a interpreta c ao fsica que aca-
b amos de sugerir. Considere-se ent ao (2.6) com condi c ao inicial v(0, x) = v
0
(x). Esta fun c ao
corresponder a a uma distribui c ao de velocidades no instante t = 0. O sistema caracterstico para
esta equa c ao ser a
T
= 1, T(0, s) = 0
X
= V, X(0, s) = s
V
= 0, V (0, s) = v
0
(s)
que tem por solu c ao
T(, s) =
X(, s) = v
0
(s) +s
V (, s) = v
0
(s)
pelo que v estar a denida implicitamente por v = v
0
(x tv). Note-se que:
7
t
PSfrag replacements
t
v
x
v
t
+ vv
x
= 0
Figura 2.2: A forma c ao de um choque e blow-up em tempo nito para a equa c ao de Burger vt +vxv = 0.
ao longo duma caracterstica a velocidade v e constante o que era de esperar do modelo
fsico (segue-se uma partcula ao longo duma caracterstica);
se v
0
n ao for crescente existir ao s
1
< s
2
tais que v
0
(s
1
) > v
0
(s
2
) e consequentemente t > 0
tal que
tv
0
(s
1
) +s
1
= tv
0
(s
2
) +s
2
i.e., para t = (s
2
s
1
)/(v
0
(s
1
) v
0
(s
2
)) as caractersticas intersectar-se- ao, ou seja, uma
partcula ultrapassar a outra; diz-se que ocorre um choque.
Conjuntamente estas duas observa c oes estabelecem a n ao existencia de solu c ao para t 0 se v
0
n ao for crescente e n ao existencia de solu c ao global se v
0
n ao for constante.
E sugerido pela Figura 2.2 e f acil de vericar analiticamente que para v

0
de suporte compacto
e diferente de 0, v
x
tender a para em tempo nito. Tal acontecer a para t = 1/ minv
0
.
Acab amos de vericar que ser a em geral impossvel denir solu c oes globais de uma equa c ao
diferencial parcial real de primeira ordem. Por outro lado tambem cou claro da interpreta c ao
fsica da equa c ao que nas aplica c oes ser a de grande interesse estender o conceito de solu c ao para
alem do que e feito classicamente. Para tal poderemos denir solu c oes fracas de uma equa c ao
diferencial parcial. Vamos exemplicar uma via possvel ressalvando desde j a que voltaremos a
este assunto.
Considere-se uma equa c ao diferencial parcial da forma
div F(u) = g (2.7)
em que F : R R
n
e uma fun c ao C
1
, g : R
n
R e uma fun c ao de L
1
loc
(R
n
) e div designa o
operador divergencia. Se u for uma solu c ao cl assica num aberto R
n
de (2.7) ent ao, para
toda a fun c ao C
c
(), temos que
_
(x) div(F(u))(x) dx =
_
(x)g(x) dx.
8
2.3. Caso geral
Mas ent ao integrando por partes, ou usando uma das f ormulas de Green, obtemos
_
(x) F(u(x)) +(x)g(x) dx = 0. (2.8)

Note-se que (2.8) n ao envolve o c alculo de derivadas parciais de u ou F o que permite
Deni cao 2.2.2. Para F C
0
(R) diz-se que u L
1
loc
() e uma solu c ao fraca de (2.7) se para
toda a fun c ao C
c
() se vericar (2.8).
Mais geralmente o leitor familiar com a teoria das distribui c oes certamente recordar a que a
deni c ao anterior pode ser interpretada como denindo u L
1
loc
como uma solu c ao fraca de (2.7)
se a divergencia no sentido das distribui c oes de F u for nula.
Exerccio 2.3. Considere uma solu c ao fraca de uma equa c ao diferencial parcial da forma
x
f(u) +

y
g(u) = 0.
em que f, g s ao continuamente diferenci aveis e f
(p) = pg
(p). Suponha que u C

1
( S) em
que = [0, 1] [0, 1] e S e uma linha C
1
de equa c ao y = (x), x [0, 1], e que se P S ent ao
existem os limites para P de u quando restrito a y > (x) ou a y < (x). Estabele ca uma equa c ao
diferencial ordin aria satisfeita por .
2.3 Caso geral
Considere-se agora o caso geral (2.1). Mais uma vezes vamos recorrer ao estabelecimento dum
sistema de equa c oes diferenciais ordin arias. No entanto necessitaremos dum maior n umero de
equa c oes: 2n+1. A raz ao para tal deve-se a que no caso da equa c ao quase-linear podemos obter,
lendo a equa c ao, uma direc c ao segundo a qual a derivada dirigida de u e conhecida desde que
se conhe ca o valor de u no ponto x e independentemente do plano tangente ao gr aco de u, i.e.
independemente de Du. Em geral a equa c ao continuar a a dar-nos informa c ao sobre o crescimento
de u numa direc c ao privilegiadamas tal direc c ao depender a em geral n ao s o de x e u(x) como
tambem de Du(x). Da que seja necess ario juntar mais n equa c oes ao sistema caracterstico,
uma para cada uma das componentes de Du.
Vamos tentar ent ao dar um sentido mais preciso ` as observa c oes anteriores. Comecemos por
substituir Du(x) por p(x) em (2.1) com p = (p
i
)
1in
e escrevemos
F(x, u, p) = 0. (2.9)
Interpretamos esta equa c ao como signicando que, dados x e u temos uma restri c ao aos valores
de p. Por exemplo, sejam dados adicionalmente p
1
, . . . , p
n1
. Poderemos tentar ent ao resolver
(2.9) em ordem a p
n
. No caso quase-linear, desde que a
n
(x, u) ,= 0, tal poderia ser feito
3
. Dada a
n ao-linearidade da equa c ao teremos em geral uma situa c ao mais complicada. Poder a n ao-existir
solu c ao, ou existir uma ou mais solu c oes. No entanto se supusermos que F C
1
F(x
0
, u
0
, p
0
) = 0 (2.10)
e que
F
p
n
(x
0
, u
0
, p
0
) ,= 0
ent ao podemos obter usando o teorema da fun c ao implcita que para uma certa fun c ao g C
1
p
n
= g(x
0
, u
0
, (p
i
)
1in1
)
3
Dir-se- a, ver 5.1, que en e uma direc c ao n ao-caracterstica.
9
para (p
i
)
1in1
numa vizinhan ca de ((p
0
)
i
)
1in1
. Mais geralmente, n ao dando um papel
privilegiado a nenhuma coordenada podemos sup or que genericamente se (2.10) for satisfeita
ent ao devemos ter p = p() com 1 R
n1
, 1 uma vizinhan ca de 0 e p(0) = p
0
, i.e. temos
raz ao para supor que genericae localmente os possveis valores de p denem uma variedade C
1
n 1 dimensional.
Tentaremos agora determinar, ` a semelhan ca do que foi feito para a equa c ao quase-linear, uma
direc c ao priveligiada segundo a qual a equa c ao nos de informa c ao sobre a derivada dirigida de
u tanto quanto possvel independentemente
4
de 1. Isto corresponde a procurar h tal que
para todo o j
j
(h p) h
p
j
= 0.
Por outro lado devemos ter
F(x
0
, u
0
, p()) = 0
pelo que para cada j
F
p

p
j
= 0,
o que sugere utilizar h =
F
p
. Consequentemente haver a alguma esperan ca de atingir os nossos
objectivos atraves do sistema de equa c oes diferenciais ordin arias
dX
d
=
F
p
(2.11)
dU
d
= p
F
p
. (2.12)
No caso quase-linear pode-se eliminar p dos segundos membros mas em geral precisamos de
equa c oes suplementares que sejam satisfeitas por p. Suponha-se ent ao que u e uma solu c ao C
2
de (2.1). Derivando ambos os membros de (2.1) em ordem a x
i
obtem-se
F
x
i
+
F
u
u
x
i
+
n
j=1
F
p
j
p
j
x
i
= 0.
Note-se que devido a u ser suposto C
2
deveremos ter necessariamente
pj
xi
=
pi
xj
. Como tambem
queremos satisfazer (2.11) obtemos
F
x
i
+
F
u
u
x
i
+
n
j=1
X
j
p
i
x
j
= 0
pelo que o sistema de equa c oes diferenciais ordin arias passa a ser determinado quando completado
pelas n equa c oes diferenciais ordin arias
dP
d
=
F
x

F
u
p.
Iremos provar mais ` a frente que sob condi c oes adequadas este sistema permite resolver o pro-
blema. Uma dessas condi c oes ser a com certeza F C
2
para podermos usar o mesmo teorema
sobre sistemas de equa c oes diferenciais ordin arias que us amos no caso quase-linear. Outra con-
di c ao ser a possivelmente supormos os dados C
2
pois ao estabelecermos o sistema supusemos
u C
2
.
Tambem neste caso vamos estar interessados em isolar uma solu c ao considerando o problema
de Cauchy e proceder como no caso quase-linear. No entanto teremos diculdades adicionais
4
O leitor e referido a [15, 8, 3] para uma interpreta c ao geometrica, aqui omitida, deste argumento heurstico
baseado em considera c oes analticas.
10
2.4. Coment arios
devido ao car acter n ao linear do problema e devido a termos que fornecer condi c oes iniciais para
P no sistema caracterstico. Com efeito se supusermos dada uma hipersuperfcie S C
2
e uma
fun c ao u
0
sucientemente regular denida em S automaticamente as derivadas parciais de u
0
est ao denidas nas direc c oes tangenciais a S. Isto n ao determina imediatamente os valores de
todas as derivadas parciais de u sobre S de modo a poder ter as condi c oes iniciais para P no
sistema caracterstico. Portanto precisa-se de conhecer a derivada normal de u sobre S o que
ter a que ser feito ` a custa da equa c ao. Mais precisamente se x = (s) com s for uma
parametriza c ao de S devemos ter
u((s)) = u
0
((s))
para todo o s pelo que queremos determinar as condi c oes iniciais do sistema caracterstico
a partir de
X(0, s) = (s) (2.13)
U(0, s) = u
0
((s)) (2.14)
e da resolu c ao do sistema
P(0, s)

s
j
=

s
j
(u
0
((s))) (2.15)
F(X(0, s), U(0, s), P(0, s)) = 0. (2.16)
Como j a arm amos o car acter n ao-linear poder a causar que este sistema n ao tenha solu c oes, tenha
mais que uma solu c ao ou que n ao tenha solu c oes sob pequenas perturba c oes. Para evitarmos
tais quest oes supomos
5
que existe uma fun c ao u
0
C
2
denida numa vizinhan ca de S tal que
F((s), u
0
((s)), Du
0
((s))) = 0 para s (2.17)
e tal que possamos garantir que a aplica c ao (, s) X(, s) e um difeomorsmo. Para tal, mais
uma vez aplicando o teorema da fun c ao inversa, exigimos que
det
_
X
X
s
(0, s) =
det
_
F
p
((s), u
0
((s)), Du
0
((s)))

s
(s)
_
,= 0. (2.18)
Diremos se (2.17) e (2.18) forem satisfeitas que S e n ao caracterstica (relativamente a F e a u
0
).
Podemos ent ao proceder de maneira an aloga ao caso quase-linear para obter
Teorema 2.3.1. Considere-se o problema de Cauchy
F(x, u(x), Du(x)) = 0
u = u
0
, em S
em que u
0
C
2
est a denida numa vizinhan ca de S, S e uma hipersuperfcie C
2
em R
n
, F
C
2
(U) em que U e uma vizinhan ca de (x, u
0
(x), Du
0
(x)) : x S e S e n ao caracterstica
relativamente a F e a u
0
. Ent ao o problema tem uma solu c ao C
2
unica numa vizinhan ca de S.
2.4 Comentarios
Estud amos o problema de Cauchy para equa c oes diferenciais parciais reais de primeira ordem e
pudemos concluir que localmente este e um problema bem posto sob condi c oes de regularidade
5
Claro que h a a quest ao de como justicar esta suposi c ao. A ideia que ocorre imediatamente e atraves de uma
mudan ca de vari aveis reduzir o problema ao caso em que S e um subconjunto dum hiperplano com um dos eixos
coordenados normal a S. Ser a este o ponto de vista a adoptar no Captulo 5.1.
11
adequadas da equa c ao e das condi c oes iniciais e desde que uma condi c ao de n ao-caracteristicidade
da hipersuperfcie onde est ao denidos os valores iniciais seja satisfeita
6
.
Convem reparar desde j a que outro grande tipo de problemas que nos aparecer a no estudo
das equa c oes diferenciais parciais, os problemas de valores na fronteira, s ao mal postos para as
equa c oes diferenciais parciais reais de primeira ordem. Esta observa c ao e facilmente estabelecida
no caso do exemplo elementar no princpio deste captulo ou no exerccio seguinte.
Exerccio 2.4. Seja u uma solu c ao de
a(x, y)u
x
+b(x, y)u
y
= u
de classe C
1
em B
1
(0) R
2
. Supondo que a(x, y)x + b(x, y)y > 0 na fronteira de B
1
(0) prove
que u e identicamente 0.
A referencia mais completa sobre o tema deste captulo continua a ser [3]. Um ponto de
vista geometrico mais moderno e fornecido por [1]. Para uma segunda leitura sobre equa c oes de
primeira ordem o leitor e aconselhado a consultar [15].
6
Em geral n ao se verica unicidade de solu c ao do problema de Cauchy no caso n ao linear e portanto a unicidade
de solu c ao dever a ser interpretada dum modo adequado. Por outro lado os resultados enunciados n ao incluem
explicitamente a dependencia contnua em rela c ao ` as condi c oes iniciais embora tal seja f acil de estabelecer.
12
2.5. Exerccios suplementares
2.5 Exerccios suplementares
Estes exerccios, tal como alguns dos inseridos ao longo do texto deste captulo, podem encontrar-
se em forma mais ou menos modicada em [15].
Exerccio 2.5. Decida se u denida em (x, y) : y 0 por
u(x, y) =
_

2
3
(y +
_
3x +y
2
), para 3x +y
2
> 0
0, para 3x +y
2
0
e uma solu c ao fraca de
y
u +

x
(u
2
/2) = 0.
Exerccio 2.6. Para a equa c ao
u
y
= u
3
x
a) determine a solu c ao com u(x, 0) = 2x
3/2
;
b) mostre que toda a solu c ao regular para todo o x, y e linear.
[Sugest ao: Considere u
x
, u
y
ao longo duma caracterstica.]
Exerccio 2.7. Para a equa c ao
u = xu
x
+yu
y
+
1
2
(u
2
x
+u
2
y
)
determine uma solu c ao com u(x, 0) =
1
2
(1 x
2
).
Exerccio 2.8. Considere uma fun c ao dada H(x, t, p) com x = (x
i
)
1in
e p = (p
i
)
1in
e a
equa c ao diferencial parcial em u (equa c ao de Hamilton-Jacobi)
F
u
t
+H(x, t, Du) = 0.
Obtenha o sistema caracterstico na forma
dX
dt
=
dH
dp
dU
dt
= p
dH
dp
H
dP
dt
=
dH
dx
.
Denindo
dX
dt
= v,
dU
dt
= L, use as primeiras n + 1 equa c oes para exprimir L como uma fun c ao
de x, t, v. Mostre ent ao que
L
v
= p
L
x
=
dH
dx
o que implica
d
dt
L
v

L
x
= 0.
Exerccio 2.9. Considere os operadores diferenciais lineares de primeira ordem L
1

t
+t

x
,
L
2
x

t

x
que actuam sobre fun c oes em C
1
(), com R
2
um aberto.
13
a) Estabele ca existencia e unicidade de solu c ao do problema de Cauchy
_
_
L
1
L
2
u = 1
u(x, x) = (x)
u
t
(x, x) +
u
x
(x, x) = (x)
em C
2
(U) com U uma vizinhan ca sucientemente pequena de (0, 0) com , fun c oes C
2
numa vizinhan ca de 0.
b) Explicite tanto quanto possvel a solu c ao tomando (x) = 1, (x) = 0.
14
Captulo 3
O Laplaciano
3.1 Introdu cao
Este captulo pretende oferecer desde j a um contraste com o tipo de problemas estudados no
Captulo 2 de modo a convencer o leitor que o estudo das equa c oes diferenciais tem uma neces-
sidade intrnseca de utilizar metodos variados que dependem do tipo da equa c ao em estudo e
que posteriormente, no Captulo 4, levar a a um necess ario esfor co de classica c ao. Com efeito, as
equa c oes diferenciais parciais reais de primeira ordem caem, como vimos, na classe dos problemas
de valores iniciais, isto e, genericamente o problema
_
F(x, u, Du) = 0 numa vizinhan ca duma hipersuperfcie S,
u = sobre S,
est a bem posto
1
. Vamos agora estudar um operador de segunda ordem cujas propriedades ser ao
em larga medida exemplicativas do que se passa com os operadores de segunda ordem que no
Captulo 4 classicaremos como elpticos. Esse operador e o laplaciano
n
i=1
2
x
2
i
e teremos
como objectivo essencial mostrar que problemas de valores na fronteira tais como o problema de
Dirichlet
_
u = f num aberto ,
u = sobre ,
(3.1)
ou o problema de Neumann
_
u = f num aberto ,
u
= g sobre ,
(3.2)
em que

designa deriva c ao normal exterior e f, g, s ao fun c oes dadas, est ao essencialmente

bem postos
2
, contrastando com o que aconteceria com o problema de valores iniciais relativo ao
mesmo operador
_
_
u = f numa vizinhan ca duma hipersuperfcie S
u = sobre S
u
= g sobre S.
(3.3)
Exemplo. (Hadamard) Considere (3.3) em dimens ao n = 2 com f = 0, S = (x
1
, 0) : x
1
R,
= 0,
u
= ke
k
1/2
senkx
1
. Usando separa c ao de vari aveis e possvel determinar uma solu c ao
( unica) para este problema. Tal solu c ao e
u(x
1
, x
2
) = e
k
1/2
sen(kx
1
) sh(kx
2
)
1
Ver condi c oes sucientes para existencia de solu c ao local no Teorema 2.3.1 e coment arios no nal do Captulo 2.
2
Esta arma c ao e verdadeira se f e g forem compatveis num sentido a precisar no Exerccio 3.1.
15
Captulo 3. O Laplaciano
Quando k , os dados e todas as suas derivadas de todas as ordens convergem uniformemente
para 0. Mas se x
2
,= 0 temos lim
k
u(x
1
, x
2
) = .

E assim impossvel, pelo menos no quadro
de topologias denidas por seminormas de supremos de m odulos de fun c oes e das suas derivadas,
dizer que existe dependencia contnua dos dados.
Exerccio 3.1. Suponha que R
n
e um aberto com fronteira regular e que u C
2
() satisfaz
(3.2). Mostre que
_
f dx =
_
g dS
As solu c oes de u = 0 num aberto dir-se- ao fun c oes harm onicas em .
3.2 Solu c oes radiais
Comecemos por observar a seguinte propriedade not avel do laplaciano
Exerccio 3.2. Seja Q : R
n
R
n
uma matriz n n vericando QQ
T
= Q
T
Q = Id em que Id
designa a matriz identidade e
T
designa transposi c ao
3
. Mostre que se u e uma solu c ao de
u(x) = f(x)
e v(x) = u(Qx) ent ao
v(x) = f(Qx).
Considere-se em SO(n) a topologia induzida pela topologia usual em M
nn
= R
n
2
, o espa co
vectorial das matrizes reais n n. Suponha-se agora que e possvel denir uma medida regular
positiva sobre SO(n) com (SO(n)) = 1 e que se R SO(n) e / SO(n) e mensur avel
ent ao R/ e /R s ao mensur aveis e (R/) = (/R) = (/). Por outras palavras supomos que
se pode denir uma probabilidade, , regular e invariante ` a esquerda e ` a direita em SO(n)
4
.
Uma constru c ao elementar desta medida na situa c ao particular aqui considerada e efectuada no
Exerccio 3.4. Considere-se, dada uma fun c ao harm onica u : R
n
R, uma outra fun c ao u
denida por
u
(x) =
_
SO(n)
u(Qx) d(Q).
E possvel provar que a constru c ao anterior dene efectivamente u
como uma fun c ao que s o

depende de [x[. Note-se que se u(x) = x teremos u
= 0 pelo que os resultados desta constru c ao

podem ser triviais. N ao e nosso objectivo aprofundar
5
esta ideia mas t ao somente fazer notar
que a invari ancia de relativamente a SO(n) pode sugerir uma investiga c ao da existencia de
fun c oes harm onicas com simetria radial. Com efeito verica-se que
Exerccio 3.3. Seja w(x) = ([x[) uma fun c ao harm onica em R
n
0. Ent ao teremos para
certas constantes C, K
(r) =
_
C
(2n)
r
2n
+K, se n > 2,
C log r +K, se n = 2.
(3.4)
Estas fun c oes v ao desempenhar um papel fundamental em tudo o que faremos neste cap-
tulo. Note-se que a passagem a coordenadas esfericas e o teorema da convergencia dominada de
Lebesgue permitem estabelecer facilmente que w L
1
loc
(R
n
).
3
Diz-se que uma matriz que verica esta propriedadade e ortogonal ou que pertence ao grupo ortogonal, O(n).
Se adicionalmente det Q = 1 diz-se que Q pertence ao grupo especial ortonormal, SO(n), ou mais prosaicamente
que e uma rota c ao.
4
Pode provar-se que num grupo localmente compacto separ avel e metriz avel pode denir-se uma unica medida
positiva com estas caractersiticas que e designada como medida de Haar. O estudo desta quest ao est a para alem
dos objectivos deste curso.
5
Para um tratamento rigoroso e n ao elementar desta ideia consultar [30].
16
3.3. F ormula de Green e Solu c ao Fundamental
Exerccio 3.4. Este exerccio esbo ca como construir a medida de Haar em SO(n) (ou em O(n)
com pequenas modica c oes).
Considere-se SO(n) M
nn
= R
n
2
. Seja U uma vizinhan ca limitada de SO(n) tal que
U A M: det A > 0.
a) Prove que aplica c ao P : U M denida por
P(A) = A
_
A
T
A
_
1
,
em que

designa a raiz denida positiva duma matriz simetrica denida positiva, tem
por contradomnio SO(n).
b) Verique que se e a medida de Lebesgue em R
n
2
e E SO(n) e tal que P
1
(E) U e
Lebesgue mensur avel em R
n
2
ent ao
(E) = (P
1
(E) U)
dene uma medida positiva regular sobre SO(n).
c) Para cada E -mensur avel em SO(n) dena
(E) =
1
(SO(n))
2
_
SO(n)
_
SO(n)
(QER) d(Q) d(R).
Prove que e uma probabilidade regular positiva e invariante ` a esquerda e ` a direita em
SO(n).
3.3 F ormula de Green e Solu cao Fundamental
Seja R
n
um aberto limitado cuja fronteira e sucientemente regular (por exemplo,
mas n ao necessariamente, C
2
de maneira a permitir a aplica c ao do teorema de Gauss). Sejam
u, v : R duas fun c oes em C
2
() C
1
(). Ent ao, se designar a normal exterior a ,
temos
_
div(uv) dx =
_
u
v
dS(x). (3.5)
Da que, trocando u com v e subtraindo a nova igualdade da anterior, se obtenha a f ormula de
Green
_
uv vu dx =
_
u
v
v
u
dS(x). (3.6)
Esta igualdade vai ter consequencias importantes em tudo o que se segue neste captulo. Em
particular considerando v = C
c
(R
n
) e um aberto contendo supp B
(0) ou = B
(0)
obtem-se
_
\B(0)
u u dx =
_
B(0)
u
dS(x)
em que e a normal exterior a B
(0). Considerando u = w denido por (3.4) obtem-se

_
\B(0)
wdx =
_
B(0)
w
dS(x). (3.7)
Fa ca-se agora 0. Obtem-se que o lado esquerdo da igualdade anterior converge para o integral
da mesma fun c ao em . Quanto ao lado direito nota-se que para todo o n
w
x
i
= Cx
i
[x[
n
17
pelo que
w
|x|=
= C
1n
.
Por outro lado
w
|x|=
=
_
C
2n
2n
+K se n > 2,
C log +K se n = 2.
Dena-se
n
=
_
B
n
1
(0)
1 dS, obtendo-se, para a area da superfcie da esfera n 1 dimensional
de raio ,
_
B
n
(0)
1 dS =
n
n1
. Tomando os limites quando 0 dos integrais do segundo
membro de (3.7), obtem-se
_
wdx = C
n
(0). (3.8)
Denimos
Deni cao 3.3.1. As fun c oes : R
n
R denidas por
(x) =
_
1
n(2n)
[x[
2n
se n > 2,
1
2
log [x[ se n = 2.
designam-se por solu c oes fundamentais radiais n-dimensionais da equa c ao de Laplace.
Note que temos
6
_
dx = (0).
Convir-nos- a utilizar as translac c oes das solu c oes fundamentais. Para tal introduz-se a nota-
c ao
y
(x) = (y x).
3.4 Fun cao de Green casos elementares
Estamos ainda longe de ter esgotado as potencialidades da f ormula de Green (3.6). Suponha-se
que y e > 0 tal que B
(y) . Substitua-se em (3.6) por B
(y) e v por
y
. Obtem-se,
de forma an aloga ao que se fez para obter (3.8), para cada y , a f ormula de representa c ao
integral
u(y) =
_
y
u dx +
_

y
u
dS(x). (3.9)
Em particular note-se que, se u f or uma fun c ao harm onica, ca perfeitamente determinada pelos
valores de u e de
u
sobre . Se por outro lado tomarmos tanto u como v em (3.6) harm onicas
obtemos
0 =
_
u
v
v
u
dS(x).
Se adicionarmos membro a membro esta igualdade ` a f ormula de representa c ao integral (3.9),
supondo que v =
y
sobre , obtem-se
Teorema 3.4.1. Seja R
n
e um aberto com fronteira regular tal que a famlia de problemas
_
v
y
= 0 em ,
v
y
=
y
sobre ,
(3.10)
tem solu c ao em C
2
() C
1
() para todo y . Ent ao, se a solu c ao do problema de Dirichlet
_
u = 0 em ,
u = sobre ,
(3.11)
6 `
A luz de algumas no c oes elementares de teoria das distribui c oes (3.8) pode ser interpretada como mostrando
que se C =
1
n
ent ao w e uma solu c ao fundamental para o operador .
18
3.4. Fun c ao de Green casos elementares
y'
x
n
= 0
y
Figura 3.1: O metodo de simetria para a determina c ao da fun c ao de Green num semi-espa co.
existir em C
2
() C
1
(), e necessariamente dada por
u(y) =
_
G
y
dS(x) (3.12)
em que G
y
e a fun c ao de Green de .
No enunciado anterior pressup oe-se
Deni cao 3.4.2. Se a famlia de problemas ((3.10)) tiver solu c oes, a famlia de fun c oes denida
por G
y
(x)
y
(x) +v
y
(x), y , x y designa-se por fun c ao de Green de .
Garantir a existencia duma fun c ao de Green para um certo aberto e uma tarefa em geral n ao
trivial e, por enquanto, a an alise de tal quest ao est a para alem das possibilidades das ferramentas
tecnicas ao nosso disp or. O mesmo se poder a dizer, ainda com mais pertinencia, quanto ` a
determina c ao explcita da fun c ao de Green para um aberto dado. Vamos limitarmo-nos de
momento ` a constru c ao da fun c ao de Green em dois casos particulares em que a geometria simples
do aberto em quest ao permite usar argumentos geometricos elementares.
Considere-se ent ao o caso em que e um semi-espa co. Claro que por transla c ao e rota c ao
podemos sup or que = x R
n
: x = (x
i
)
i=1,...,n
, x
n
> 0. Dena-se ent ao, veja-se a gura
3.1, y = (y
1
, . . . , y
n1
, y
n
).

E f acil vericar que
y

y
e efectivamente uma fun c ao de Green
no semi-espa co .
Se e a bola unit aria centrada em 0 recorremos a uma ideia semelhante em que a simetria
y y e substituda pela invers ao y y
[y[
2
y, ver Figura 3.2. Com efeito seja x R
n
tal
que [x[ = 1. Ent ao observamos que
[x y
[
2
= 1 2x y
+[y
[
2
=
1
[y[
2
_
[y[
2
2x y + 1
_
=
1
[y[
2
[x y[
2
(3.13)
o que permite estabelecer para [x[ = 1 a identidade
y
(x) =
_
[y[
n2
y
(x), se n > 2,
y
(x) log [y[, se n = 2.
(3.14)
19
y
*
y 0
x
Figura 3.2: O metodo de simetria para a determina c ao da fun c ao de Green numa bola. A fronteira da
bola de raio 1 centrada em 0 e o lugar geometrico dos pontos x tais que o quociente das dist ancias a y e
a y
e constante.
Assim conclumos que a fun c ao de Green para a bola B
1
(0) e dada por
G
y
(x) =
_
y
(x) [y[
2n
y
(x), se n > 2,
y
(x) log [y[
y
(x), se n = 2.
Como para qualquer n 2
x
G
y
(x) =
1
n
_
x y
[x y[
n
[y[
2n
x y
[x y
[
n
_
e a normal exterior ` a fronteira da bola unit aria centrada em 0 e dada por (x) =
x
|x|
obtemos
para
Gy
x
sobre B
1
(0)
G
y
x
(x)
|x|=1
=
1
n
_
1 x y
[x y[
n
[y[
2n
1 x y
[x y
[
n
_
=
1
n
1 [y[
2
[x y[
n
em que se usou (3.13). Obteve-se portanto a f ormula integral de Poisson
u(y) =
_
B1(0)
u(x)K(x, y) dS(x) (3.15)
v alida para fun c oes u C
2
(B
1
(0)) e em que
K(x, y) K
y
(x)
1
n
1 [y[
2
[x y[
n
e designado por n ucleo de Poisson.
Exerccio 3.5. Obtenha a fun c ao de Green e a f ormula de representa c ao de Poisson para uma
bola de raio r centrada em x
0
.
A respeito da invers ao e interessante reectir sobre o resultado seguinte:
20
3.5. N ucleo de Poisson solu c ao do problema de Dirichlet numa bola
Exerccio 3.6. Mostre que se u e uma fun c ao harm onica ent ao a invers ao, ou transforma c ao
de Kelvin, que a u associa
v(x) = [x[
2n
u
_
x
[x[
2
_
fornece outra fun c ao harm onica.
3.5 N ucleo de Poisson solu cao do problema de Dirichlet numa bola
Um dos nossos objectivos essenciais e a resolu c ao do problema de Dirichlet (3.1). A f ormula
integral de Poisson vai permitir essa resolu c ao para uma bola. Com efeito
Teorema 3.5.1. Seja : B
1
(0) R uma fun c ao contnua. Se denirmos
u(y) =
_
_
B1(0)
(x)K(x, y) dS(x) se [y[ < 1,
(y) se [y[ = 1,
ent ao u C
0
(B
1
(0)) e u e harm onica e analtica em B
1
(0).
Demonstra c ao. Que u e harm onica segue facilmente de podermos comutar
y
com o integral e
com

x
e das solu c oes fundamentais
y
(x) e
y
(x) serem fun c oes harm onicas de y o que no
caso de
y
e trivial e no caso de
y
se pode comprovar por c alculo ou usando o Exerccio 3.6.
A analiticidade de u segue tambem facilmente se observarmos que a fun c ao integranda e
analtica em y e dos resultados sobre integra c ao de series de potencias.
Resta provar a continuidade de u sobre B
1
(0). Sejam x
0
B
1
(0), y B
1
(0) e > 0.
Come camos por notar que que para as fun c oes constantes vale (3.15) pelo que
u(x
0
) u(y) =
1
n
_
B1(0)
((x
0
) (x))
1 [y[
2
[x y[
n
dS(x)
Sejam M > 0 tal que [[ M sobre B
1
(0) e > 0 tal que para [x x
0
[ < e x B
1
(0)
tenhamos [(x) (x
0
)[ < /2. Temos ent ao
_
B1(0)B
(x0)
((x
0
) (x))
1 [y[
2
[x y[
n
dS(x)
<

2
_
B1(0)
1 [y[
2
[x y[
n
dS(x) =

2
.
Por outro lado
_
B1(0)\B
(x0)
((x
0
) (x))
1 [y[
2
[x y[
n
dS(x)
< 2M
_
B1(0)\B
(x0)
1 [y[
2
[x y[
n
dS(x).
Escolhamos > 0 tal que < /2 e, se y f or tal que [x
0
y[ < , temos 1 [y[
2
= [x
0
[
2
[y[
2
<
n
/(2
n+2
M). Podemos assim estabelecer que se [x
0
y[ < ent ao [u(x
0
) u(y)[ < . Provou-se
a continuidade de u sobre .
Exerccio 3.7. Estabele ca o resultado an alogo para um semi-espa co. Suponha que os valores na
fronteira alem de contnuos tem um crescimento para sucientemente lento.
3.6 Teorema do valor medio para fun c oes harm onicas
Uma consequencia imediata da f ormula integral de Poisson e o teorema do valor medio:
Teorema 3.6.1. Seja u : R
n
R uma fun c ao harm onica no aberto . Ent ao para cada
bola B
r
(x
0
) vale
u(x
0
) =
1
n
r
n1
_
Br(x0)
u(x) dx (3.16)
21
Demonstra c ao. Considere y = 0 na f ormula integral de Poisson e use translac c oes e homotetias
para obter o caso geral.
Uma forma equivalente do teorema do valor medio envolve medias em bolas e n ao em esferas.
E de notar que para obter a equivalencia entre as duas formula c oes n ao e necess ario a hip otese
de harmonicidade.
Exerccio 3.8. Seja u : B
R
(x) R
n
R uma fun c ao contnua. Mostre que u verica para
0 < r < R
u(x) =
1
n
r
n1
_
Br(x)
u(y) dS(y) para 0 < r < R,
se e s o se
u(x) =
n
n
r
n
_
Br(x)
u(y) dy para 0 < r < R.
A demonstra c ao do teorema do valor medio n ao necessita da obten c ao previa da f ormula
integral de Poisson bastando utilizar um argumento bastante mais simples descrito no exerccio
seguinte.
Exerccio 3.9. Seja R
n
um conjunto aberto e u : R uma fun c ao de classe C
2
() e
B
r
(x) uma bola contida em . Se = (, ) 0 em ent ao
u(x) = (, )
1
n
r
n1
_
Br(x)
u(y) dS(y). (3.17)
Para tal considere a fun c ao
]0, dist(x, )[ r (r) =
1
n
r
n1
_
Br(x)
u(y) dy
e prove que
a) lim
r0
(r) = u(x);
b) e diferenci avel e
(r) =
1
nr
n1
_
Br(x)
u(y)
yx
r
dS(y).
c) Use o teorema da divergencia para exprimir
em termos dum integral de u e obtenha o

resultado.
`
As fun c oes u C
2
() satisfazendo u () 0 chamaremos subharm onicas (superharm oni-
cas)
7
.
3.7 O princpio de maximo
A consequencia mais importante do teorema do valor medio e provavelmente o princpio de
m aximo. A vers ao do teorema seguinte e conhecida por princpio de m aximo forte .
Teorema 3.7.1. Seja R
n
um aberto conexo e u : R
n
uma fun c ao contnua tal que
para cada x existe R
x
> 0 satisfazendo
u(x)
1
n
r
n1
_
Br(x)
u(y) dy (3.18)
sempre que 0 < r < R
x
. Ent ao se u tem um m aximo absoluto ent ao u e constante em . Em
particular se u e uma fun c ao harm onica e tem m aximo ou mnimo absoluto ent ao u e constante.
7
As deni c oes de fun c ao subharm onica e fun c ao superharm onica ser ao generalizadas na Sec c ao 3.9.
22
3.7. O princpio de m aximo
Demonstra c ao. Seja u uma fun c ao contnua em que satisfaz (3.18) e M o valor do m aximo de u.
Considere-se o conjunto A = x : u(x) = M. A continuidade de u assegura que A e fechado.
Por outro lado se x A a desigualdade (3.17) mostra que para y numa bola centrada em x, de
raio sucientemente pequeno para que essa bola esteja contida em , devemos ter u(y) = u(x)
pelo que A e formado exclusivamente por pontos interiores. Assim A e simult aneamente aberto
e fechado em . Como A e n ao vazio e e conexo temos A = .
Usando a analiticidade das fun c oes harm onicas (Teorema 3.5.1) pode remover-se a restri c ao
dos extremos serem absolutos no resultado anterior generalizando-o para extremos locais.
O princpio de m aximo forte tem como consequencia imediata o seguinte resultado em que
s ao comparados valores na fronteira e no interior e que e conhecido como princpio de m aximo
fraco :
Proposi cao 3.7.2. Seja R
n
um aberto limitado e u C
0
() vericando (3.18). Ent ao
m ax
x
u(x) = m ax
x
u(x). (3.19)
Em particular isto e v alido se u e harm onica em e contnua em .
Podemos agora vericar que:
Proposi cao 3.7.3. Todas as fun c oes contnuas vericando a igualdade do teorema do valor
medio num aberto s ao necessariamente harm onicas.
Demonstra c ao. Com efeito seja R
n
um aberto e u : R uma fun c ao contnua satisfazendo
u(x) =
1
n
r
n1
_
Br(x)
u(y) dy
para toda a bola B
r
(x) . Ent ao, se B f or uma dessas bolas, consideremos a fun c ao harm onica
h que tem os mesmos valores que u sobre B e e contnua na bola fechada (resolvendo portanto o
problema de Dirichlet nessa bola via a f ormula integral de Poisson). Podemos aplicar a Proposi c ao
anterior a u h em B para concluir que u = h em B.
Exemplo. O exerccio seguinte descreve um metodo elementar para resolver a seguinte quest ao:
Seja c R. Determinar para que abertos R
n
existe uma solu c ao do problema
_
_
u + 1 = 0, em ,
u = 0, em ,
u
= c, em .
(3.20)
A resolu c ao deste problema deve-se a Hans Weinberger [33] e James Serrin [25]. O metodo
de Weinberger e totalmente elementar e e descrito a seguir.
Exerccio 3.10. Seja u : R tal que u C
3
() C
1
(), em que R
n
e um aberto
limitado e conexo com fronteira regular. Denem-se r = [x[,

r
=
n
i=1
xi
r
xi
, a normal
exterior a . Mostre que:
a) Se u = 0 em ent ao
_
r
u
r
u u
_
r
u
r
_
dx =
_
r
r
_
u
_
2
dS.
b) Se u = 0 e
u
= c R em ent ao
_
r
r
_
u
_
2
dS = nc
2
[[.
23
c) Se u + 1 = 0 em ent ao u e analtica em .
d) Se u + 1 = 0 em ent ao
_
r
u
r
_
= 2.
e) As solu c oes de (3.20) satisfazem
_
_
2u r
u
r
_
dx = nc
2
[[.
f ) As solu c oes de (3.20) satisfazem
_
r
u
r
dx =
_
(
1
2
r
2
) u dx = n
_
u dx.
g) As solu c oes de (3.20) satisfazem
(n + 2)
_
u dx = nc
2
[[.
h) Se u e uma solu c ao de (3.20) ent ao ou
[u[
2
+
2
n
u < c
2
em
ou
[u[
2
+
2
n
u = c
2
em .
i) Usando (f ) e (g) obtemos que
[u[
2
+
2
n
u
e constante em se u e uma solu c ao de (3.20).
j) Temos
2
u
x
i
x
j
=
1
n
ij
em que
ij
e o smbolo de Kronecker.
k) O aberto e necessariamente uma bola. Calcule todas as solu c oes cl assicas de (3.20).
3.8 Ainda o teorema do valor medio

O teorema do valor medio e um resultado central no estudo cl assico da equa c ao de Laplace e
da equa c ao de Poisson. Para alem do princpio de m aximo convem destacar desde j a outras
aplica c oes. A primeira dever a ser familiar ao leitor que conhece alguma an alise complexa
8
.
Teorema 3.8.1 (Liouville). Seja u : R
n
R uma fun c ao harm onica limitada. Ent ao u e
constante.
8
Seja C um aberto e f : C uma fun c ao diferenci avel. Ent ao f e analtica em e, se f(x + iy) =
u(x, y)+iv(x, y) com u e v fun c oes com valores em R, u e v satisfazem as condi c oes de Cauchy-Riemann
u
x
=
v
y
,
v
x
=
u
y
pelo que as fun c oes u e v s ao fun c oes harm onicas em .
24
3.8. Ainda o teorema do valor medio
PSfrag replacements
R
[
x
[
R
+
[
x
[
x x 0
Figura 3.3: As estimativas na demonstra c ao do teorema de Liouville.
Demonstra c ao. A ideia base da demonstra c ao e usar o teorema do valor medio para mostrar que
existe uma constante C > 0 tal que para todo o R > 0 devemos ter [u(x) u(x)[ C/R o
que implicar a que u e constante por translac c ao. Para tal usa-se o teorema do valor medio para
exprimir u(x) e u(x) como medias em bolas de raio R centradas em x e x e mostra-se que a
diferen ca entre essas medias e da ordem de V (R)/R
n
em que V (R) e o volume da regi ao sugerida
a cinzento na Figura 3.3 e que este por sua vez e da ordem de R
n1
. Seja M um majorante de
[u[. O c alculo detalhado e
[u(x) u(x)[ =
n
n
R
n
_
BR(x)
u(y) dy
_
BR(x)
u(y) dy
Mn
n
R
n
_
R|x|<|y|<R+|x|
dy
Mn(R +[x[)
n1
R
n
.
Outro tipo de aplica c ao e a obten c ao das desigualdades de Harnack e de teoremas relativos ` a

convergencia de sucess oes de fun c oes harm onicas.
Proposi cao 3.8.2. Seja (u
k
)
kN
uma sucess ao de fun c oes harm onicas denidas num aberto
R
n
uniformemente convergentes nos subconjuntos compactos de para uma fun c ao u.
Ent ao u e uma fun c ao harm onica.
Demonstra c ao. Da convergencia uniforme segue com facilidade que o limite e uma fun c ao cont-
nua satisfazendo a igualdade do valor medio e da que u e harm onica.
As chamadas desigualdades de Harnack permitem obter outros resultados deste tipo.
Teorema 3.8.3 (Desigualdades de Harnack). Seja R
n
um aberto. Para cada aberto conexo
existe C > 0 tal que para toda a fun c ao harm onica positiva u : R
sup
x
u(x) C inf
x
u(x)
25
Demonstra c ao. Come camos por estabelecer a desigualdade para bolas de raio sucientemente
pequeno e contidas em . Seja x
0
e r > 0 tal que B
4r
(x
0
) . Sejam x
1
, x
2
B
r
(x
0
).
Usando a igualdade do valor medio em bolas obtemos
u(x
1
) =
n
n
r
n
_
Br(x1)
u
n
n
r
n
_
B2r(x0)
u,
u(x
2
) =
n
n
3r
n
_
B3r(x2)
u
n
n
3r
n
_
B2r(x0)
u.
pelo que
sup
xBr(x0)
u(x) 3
n
inf
xBr(x0)
u(x). (3.21)
Sejam agora y, z tais que
u(y) = min
x
u(x),
u(z) = m ax
x
u(x).
Como e conexo existe um arco L unindo y a z e contido em . Seja 0 < 4r < dist(, ).
Existe um n umero nito, N, de bolas de raio r que cobrem e consequentemente cobrem L.
Aplicando a desigualdade (3.21) sucessivamente ` a subfamlia de tais bolas que cobre L obtem-se
u(z) 3
nN
u(y).
A desigualdade de Harnack tem como consequencia imediata podermos, nalgumas circuns-

t ancias, passar de convergencia pontual a convergencia uniforme em compactos. Por exemplo:
Teorema 3.8.4. Seja (u
k
)
kN
uma sucess ao mon otona de fun c oes harm onicas denidas num
aberto R
n
que converge num ponto x . Ent ao u
k
converge uniformemente para uma
fun c ao harm onica em cada aberto conexo tal que x .
Demonstra c ao. O princpio do m aximo forte 3.7.1 permite sup or que a sucess ao e estritamente
crescente na componente conexa que contem x. Dado > 0 existe j
0
N tal que para k > j > j
0
temos 0 < u
k
(x) u
j
(x) < . Mas ent ao pela desigualdade de Harnack tambem 0 < u
k
(y)
u
j
(y) < C para todo o y mostrando que existe convergencia em , que esta e uniforme e o
limite uma fun c ao harm onica gra cas ` a proposi c ao 3.8.2.
3.9 O metodo de Perron
O metodo de Perron aplica-se ` a resolu c ao do problema de Dirichlet cl assico para a equa c ao de
Laplace:
_
u = 0, em ,
u = , sobre ,
(3.22)
em que R
n
e um conjunto aberto limitado e : R e uma aplica c ao contnua.
Nem sempre conseguiremos obter a existencia duma solu c ao, veja-se o exemplo a seguir ao
Teorema 3.9.5, mas obteremos condi c oes sucientes muito gerais relativas ` a geometria local de
.
Antes de descrever o metodo de Perron precisaremos de estabelecer alguns resultados preli-
minares e denir (ou redinir) alguns conceitos.
Deni cao 3.9.1. Seja R
n
um aberto e w : R uma fun c ao contnua. Diz-se que w
e subharm onica (superharm onica) em se para toda a bola B e toda a fun c ao contnua
h : B R harm onica em B e tal que h ()w sobre B temos h ()w em B.
26
3.9. O metodo de Perron
h
B
B'
w
w
Figura 3.4: Levantamento harm onico.
Exerccio 3.11. Verique que a deni c ao anterior e uma extens ao da deni c ao feita na Sec-
c ao 3.6 para fun c oes C
2
.
`
As fun c oes w subharm onicas em , denidas e contnuas em , e tais que w sobre
chamaremos subfun c oes relativas ao Problema 3.22. Denem-se superfun c oes da forma obvia.
A solu c ao do problema 3.22 vai ser obtida
9
tomando o supremo de todas as subfun c oes.
Para se vericar que esse supremo e de facto uma fun c ao harm onica recorreremos ` a tecnica do
levantamento harm onico.
Proposi cao 3.9.2 (Levantamento Harm onico). Seja w : R uma fun c ao subharm onica.
Dada uma bola B dena-se uma fun c ao w : R como sendo igual a w em B e igual
` a solu c ao do problema de Dirichlet para a equa c ao de Laplace em B com valores sobre iguais
aos de w em B. Ent ao w e uma fun c ao subharm onica em .
Demonstra c ao. Claro que w est a bem denida gra cas a termos resolvido o problema de Dirichlet
numa bola e e uma fun c ao contnua satisfazendo w w. Basta ent ao demonstrar que dando
uma bola B
e uma fun c ao h harm onica em B
, contnua em B
e satisfazendo h w sobre
B
temos necessariamente h w em B
.
Note-se primeiro que em B
temos h w w donde h w em B
. Como em B
B temos
w = w podemos armar que h w em B
B.
Por outro lado em B
B temos que tanto h como w s ao harm onicas. Em B
B temos
h w por deni c ao de h. O mesmo acontece em B B
como j a tnhamos visto. Pode assim

aplicar-se o princpio de m aximo a h w em B
B para concluir que h w.

Observe-se tambem as seguintes consequencias quase imediatas das deni c oes:
Proposi cao 3.9.3. O supremo de um n umero nito de subfun c oes e uma subfun c ao.
Proposi cao 3.9.4. O princpio de m aximo forte e v alido para fun c oes subharm onicas.
9
O metodo de Perron permite sempre obter uma subfun c ao harm onica. Se esta verica ou n ao os valores
pretendidos sobre vai depender da geometria de . De facto obtemos uma solu c ao do problema 3.22 para
uma classe suciente geral de domnios com fronteira regular num sentido a precisar.
27
Teorema 3.9.5 (Perron). O supremo de todas as subfun c oes e uma fun c ao harm onica em .
Demonstra c ao. Designamos por S
o conjunto de todas as subfun c oes. Notamos que a fun c ao

constante e igual a min est a em S
pelo que o supremo est a bem denido. Tomamos

w = sup
vS
v.
Pelo princpio de m aximo w(x) m ax para todo o x .
Seja agora x . Existir a ent ao uma sucess ao (u
j
)
jN
S
tal que u
j
(x) w(x) quando
j . Se tomarmos w
k
= m ax
1jk
u
j
vericamos que cada w
k
e uma subfun c ao, w
k+1
w
k
para todo o k N, e ainda w
k
(x) w(x) quando k . Seja agora B uma bola centrada
em x e designe-se por w
k
o levantamento harm onico de w
k
relativo a B. O princpio de m aximo
implica que w
k+1
w
k
w
k
para todo o k N. Como cada w
k
ainda e uma subfun c ao
temos w
k
(x) w(x) quando k . Do Teorema 3.8.4 segue que (w
k
)
kN
e uma sucess ao
uniformemente convergente para uma fun c ao harm onica w em B.
Bastar a agora provar que w = w em B. Como w e o supremo de uma subfamlia de S
devemos ter w w. Se existisse um ponto x onde w(x) > w(x) deveramos ter, para algum
v S
, v(x) > w(x). Dena-se, para todo o k N, v

k
= m axw
k
, v e v
k
como sendo o
levantamento harm onico de v
k
em B. Como atr as temos que v
k
converge para uma fun c ao
harm onica em B que satisfaz v w e v(x) = w(x). Pelo princpio do m aximo forte podemos
concluir que v = w em B e consequentemente w = w em B.
A fun c ao harm onica cuja existencia e assegurada pelo teorema anterior e designada como
solu c ao de Perron. N ao e necessariamente uma fun c ao cujos limites relativos a pontos de
coincidam com os valores de . Uma condi c ao necess aria e suciente para que tal aconte ca para
toda a fun c ao C
0
() envolve o conceito de barreira.
Deni cao 3.9.6. Seja x . Diz-se que existe uma barreira em x se existir uma fun c ao
contnua em , superharm onica em , positiva em x e nula em x. Diremos que um ponto
x e regular
10
se existir uma barreira em x.
Teorema 3.9.7. O problema de Dirichlet (3.22) tem solu c ao para toda a fun c ao contnua :
R se e s o se cada ponto de f or regular.
Demonstra c ao. Seja x um ponto regular. Seja u a fun c ao harm onica cuja existencia
estabelecemos no Teorema de Perron (3.9.5) e seja z uma barreira em x. Bastar a provar que
para cada > 0 temos
lim
yx
y
[u(y) (x)[ .
Isto ser a obtido se provarmos que para cada > 0 existem uma subfun c ao s
e uma sobrefun c ao
S
tais que
lim
yx
y
S
(y) s
(y) .
Para construir S
e s
usamos a barreira z. Fixemos ent ao > 0. Bastar a agora provar que para
k > 0 sucientemente grande podemos tomar
S
(y) = kz(y) + +(x),

s
(y) = kz(y) +(x).

N ao h a d uvida que tais fun c oes s ao respectivamente superharm onica e subharm onica. Seja > 0
tal que [(y) (x)[ < se y B
(x) e seja M = m ax
y
[(y)[. Escolha-se k > 0 de
maneira a
k min
y\B
(x)
z(y) > 2M.
10
N ao confundir com o uso de regular na express ao fronteira regular.
28
3.9. O metodo de Perron
Podemos ent ao obter as seguintes estimativas:
kz(y) + +(x) +(x) > (y) para y B
(x),
kz(y) + +(x) > 2M +(x) (y) +M M = (y) para y B
(x).
Assim provou-se que com k sucientemente grande kz(y) + +(x) e uma superfun c ao, logo um
majorante de u, e analogamente kz(y) +(x) e uma subfun c ao, logo um minorante de u.
Para demonstrar o recproco basta notar que se existe solu c ao do Problema 3.22 para qualquer
fun c ao contnua podemos considerar para uma fun c ao que e 0 num ponto x e positiva
em x, por exemplo (y) = [x y[. A respectiva solu c ao do problema de Dirichlet e uma
barreira.
Torna-se ent ao necess ario identicar condi c oes sucientes simples que permitam garantir a
existencia de uma barreira. Provavelmente a mais simples e
Proposi cao 3.9.8 (Condi c ao da esfera exterior). Se x e tal que existe uma bola fechada
B tal que B = x ent ao x e um ponto regular.
Demonstra c ao. Suponha-se que B = B
r
(x
0
). Tome-se w(y) =
x0
(y)+
x0
(x). Ent ao w e uma
barreira em x.
Exerccio 3.12. Prove que se e C
2
numa vizinhan ca de x ent ao verica-se a condi c ao da
esfera exterior e x e regular. Mostre que tal n ao e necessariamente verdade se f or C
1
.
A condi c ao da esfera exterior pode ser melhorada facilmente. Por exemplo:
Exerccio 3.13. Seja n > 2 e considere-se a fun c ao w : R
n
R denida por w(x
1
, . . . , x
n
) =
x
1
n
i=2
x
2
i
. Verique que w e uma fun c ao superharm onica. Prove que se R
n
e um aberto
com n > 2, x e existe um cone
11
fechado C com interior n ao vazio tal que C = x
ent ao x e um ponto regular. Esta condi c ao designa-se por condi c ao do cone exterior.
Em dimens ao 2 o uso de resultados elementares de An alise Complexa permite obter condi c oes
ainda mais nas. Considere-se a aplica c ao C S z w(z) =
1
log z
em que S e um arco simples
unindo 0 a e log z est a denido de maneira a ser uma fun c ao analtica em CS. Se escrevermos
w = u+iv comu e v reais estas fun c oes s ao harm onicas. Se usarmos coordenadas polares z = re
i
,
com denido de forma adequada, obtemos
w(z) =
1
log r +i
=
log r i
log
2
r +
2
Note-se que u < 0 e harm onica em B
1
(0) S e lim
r0
u = 0. Estes factos podem ser usados para
provar
2
um aberto limitado, x tal que existe um arco simples L
unindo x a e tal que L x R
2
. Ent ao x e um ponto regular.
Os resultados anteriores ainda podem ser melhorados usando o facto de poder provar-se que
o conceito de barreira tem car acter local.
Proposi cao 3.9.9. Seja R
n
um aberto limitado e x . Se existe r > 0 tal que x e
regular relativamente a B
r
(x) ent ao x e regular relativamente a .
Demonstra c ao. Seja w uma barreira emx relativamente a B
r
(x) e dena-se m = min
Br(x)
w.
Temos m > 0. Se denirmos
w(x) =
_
minw(x), m se x B
r
(x)
m se x B
r
(x)
ent ao w e uma barreira em x relativamente a .
11
C E, com E um espa co vectorial, diz-se um cone se existir um ponto v E tal que para todo o > 0 e
x C temos v + (x v) C.
29
Exerccio 3.15. Use a Proposi c ao 3.9.9 para melhorar os resultados dos Exerccios 3.13 e 3.14.
Exerccio 3.16. Seja = B
2
(0) (x
1
, 0) R
2
: 1 x
1
1 e considerem-se fun c oes
contnuas f, g : [1, 1] R tais que f(0) = g(0), f(1) = g(1) e : B
2
(0) R
2
R.
Considere o problema
_
_
u = 0, em
u = , para [x[ = 2
lim(x
1
,x
2
)(x
0
,0)
x
2
>0
u(x
1
, x
2
) = f(x
0
), para [x
0
[ 1
lim(x
1
,x
2
)(x
0
,0)
x
2
<0
u(x
1
, x
2
) = g(x
0
), para [x
0
[ 1
a) Justique que existe uma solu c ao unica do problema.
b) Suponha que as fun c oes , f, g satisfazem as rela c oes de simetria (x
1
, x
2
) = (x
1
, x
2
),
f(x
1
) = f(x
1
), g(x
1
) = g(x
1
). Poder a garantir que u(0, x
2
) = 0 para todo o (0, x
2
)
em ?
Em dimens ao 2 um exemplo de ponto n ao regular ser a necessariamente um ponto isolado da
fronteira. Que tal e o caso verica-se no exerccio 3.18. Discutimos agora um exemplo de um
ponto n ao regular em dimens ao n = 3.
Exemplo. (Lebesgue) Em R
3
considere o potencial de tipo coulombiano criado por uma carga
concentrada sobre o segmento [0, 1] do eixo dos xx com densidade d(x) = x. Tal potencial pode
exprimir-se como um integral
V (x, y, z) =
_
1
0
t dt
_
(t x)
2
+r
2
em que r
2
= y
2
+z
2
.
Se avaliar o integral vericar a que V (x, y, z) = A(x, r) 2xlog r em que A verica A(x, r)
0 quando (x, r) 0. Pode vericar com facilidade que todas as equipotenciais da forma
V (x, y, z) = 1 + c, c > 0 tem a origem como ponto de acumula c ao. Tal observa c ao permite
vericar que o problema de Dirichlet cl assico para a equa c ao de Laplace no complementar do
aberto limitado por uma tal equipotencial n ao e um problema bem posto.

E f acil, ` a custa duma
invers ao (ver Problema 3.6), transformar este exemplo de maneira a obter o exemplo desejado
para um aberto limitado com um ponto n ao regular na fronteira. Observe que a fronteira numa
vizinhan ca do ponto n ao regular e uma superfcie tipo c uspide.
3.10 A equa cao de Poisson
Analisamos agora o problema
_
u = f num aberto limitado ,
u = sobre ,
(3.23)
em que C
0
(), todos os pontos de s ao regulares e em que f ser a sucientemente
regular. Estaremos interessados em estabelecer qual a regularidade mnima a exigir a f.
Comecemos por observar na f ormula de representa c ao integral (3.9) que se u e uma solu c ao
da equa c ao de Poisson em C
1
() C
2
() nula e com derivada normal nula sobre ent ao vale
a representa c ao
u(x) =
_
x
u dy
Tal sugere procurar uma solu c ao particular da equa c ao de Poisson atraves de
w(x) =
_
x
f dy. (3.24)
A fun c ao w assim denida e designada por potencial de Newton de f. Se justicarmos esta ideia
obteremos
30
3.10. A equa c ao de Poisson
Teorema 3.10.1. Se o potencial de Newton f or uma solu c ao da equa c ao de Poisson prolong avel
continuamente a e todos os pontos de f orem regulares ent ao a solu c ao do problema (3.23)
e dada por
u(x) = v(x) +w(x)
em que w designa o potencial de Newton de f e v a solu c ao do problema
_
v = 0 em ,
v = w sobre .
(3.25)
Antes de enunciar o resultado que temos em mente convir a convencer o leitor de que, de uma
forma algo surpreendente, n ao basta que f seja contnua para existir uma solu c ao C
2
da equa c ao
de Poisson.
Exerccio 3.17. Seja P : R
2
R o polin omio P(x
1
, x
2
) = x
1
x
2
e C
c
(R
2
) tal que 1 se
[x[ < 1 e considere-se uma sucess ao (c
k
)
kN
tal que c
k
0 quando k e
c
k
e divergente.
Dena
f(x) =
0
c
k
(P)(2
k
x).
Prove que f e contnua mas que a equa c ao de Poisson u = f n ao tem nenhuma solu c ao que
seja C
2
numa vizinhan ca de 0.
Para enunciarmos um resultado de existencia razoavelmente lato para a equa c ao de Poisson
necessitaremos do conceito de fun c ao Holderiana com expoente .
Deni cao 3.10.2. Seja U R
n
, k N, 0 < < 1. Dizemos que f : U R
m
e de classe
C
0,
(U) em U, ou uniformemente contnua ` a Holder em U com expoente > 0, se existir M > 0
tal que para todos os x, y U temos
[f(x) f(y)[ M[x y[
. (3.26)
Diremos que f e de classe C
k,
(U) se f or k vezes diferenci avel em U e para cada multi-ndice
com [[ = k tivermos D
f C
0,
.
Diremos que f C
0,
loc
(U) ou que e localmente contnua ` a Holder em U se f or uniformemente
contnua ` a Holder em cada limitado K U. De forma similar dene-se C
k,
loc
(U).
Para = 1 as mesmas deni c oes conduzem ao conceito de fun c oes Lipschitzianas.
Passamos a estabelecer resultados de diferenciabilidade para o potencial newtoniano. Note
que a regra de Leibniz n ao e aplic avel para c alculo das segundas derivadas devido a

2
x
2
i
n ao ser
integr avel numa vizinhan ca de 0.
Lema 3.10.3. Seja R
n
um aberto limitado, f : R uma fun c ao limitada e localmente
Holderiana em prolongada trivialmente a R
n
e seja w o potencial newtoniano de f. Ent ao
w C
2
() e para todo o x temos
2
w
x
i
x
j
(x) =
_
A
x
i
x
j
(x y)(f(y) f(x)) dy +f(x)
_
A
x
i
(x y)
j
(y) dS(y) (3.27)
para i, j = 1, . . . , n, em que A e uma regi ao limitada contendo para a qual e aplic avel o teorema
da divergencia.
Demonstra c ao. Deixamos ao cuidado do leitor estabelecer atraves da aplica c ao duma vers ao
conveniente da regra de Leibniz ou por um processo ad hoc do tipo do que ir a utilizar-se a seguir
que w C
1
(R
n
) e
w
x
i
=
_
x
i
(x y)f(y) dy
31
Designemos ent ao por u(x) o segundo membro de (3.27). Notamos que est a bem denido gra cas
a vericar a estimativa
x
i
x
j
(x)
C[x y[
n
em que C > 0 e f e holderiana. Por outro lado seja v(x) =
w
xi
e dena-se
v
k
(x) =
_
x
i
(x y)
k
(x y)f(y) dy
em que
k
(y) = (k[y[) com C
1
(R) uma fun c ao xa que satisfaz 0 1, 0
2,
(t) = 0 para t 1, (t) = 1 para t 2. Claro que n ao existe qualquer problema em diferenciar
v
k
sob o sinal de integral obtendo-se
v
k
x
j
=
_
x
j
_
x
i
_
(x y)f(y) dy
=
_
A
x
j
_
x
i
_
(x y)(f(y) f(x)) dy
+f(x)
_
A
x
j
_
x
i
_
(x y) dy (3.28)
=
_
A
x
j
_
x
i
_
(x y)(f(y) f(x)) dy
+f(x)
_
A
_
x
i
_
(x y)
j
dS(y)
desde que k seja sucientemente grande, em particular dist(x, ) > 2/k. Subtraindo termo a
termo (3.28) de (3.27) e estimando obtem-se
u(x)
v
k
x
j
(x)
_
|xy|2/k
x
j
_
(1
k
)

x
i
_
(f(y) f(x)) dy
C
_
|xy|2/k
_
x
j
x
i
+ 2k
x
i
_
[x y[
dy
C
_
n
+ 4
_
(2/k)
em que C designa a constante da desigualdade (3.26) relativa a um compacto K e k N e

sucientemente grande de maneira a x : dist(x, ) > 2/k K. Vericamos ent ao que
temos convergencia uniforme de
v
k
xi
para u e de v
k
para v nos subconjuntos compactos de .
Isto implica que u =
v
xi
.
E uma consequencia quase imediata deste resultado e do metodo de Perron:

Teorema 3.10.4. Seja f : R
n
R com um aberto limitado cujos pontos fronteiros s ao
regulares no sentido de (3.9.6). Suponha-se que f e limitada e localmente holderiana em . Seja
: R uma fun c ao contnua. Ent ao o problema
_
u = f em ,
u = sobre
(3.29)
tem uma solu c ao unica u C
2
() C
0
().
32
3.11. Solu c oes fracas da equa c ao de Laplace
3.11 Solu c oes fracas da equa cao de Laplace
Para contrastar ainda mais as propriedades do Laplaciano com as dos operadores diferenciais
parciais de primeira ordem analisados no Captulo 2 consideramos agora o que se passa quanto
a solu c oes fracas da equa c ao de Laplace no quadro das fun c oes localmente integr aveis
12
.
Deni cao 3.11.1. Seja R
n
um aberto e v : R uma fun c ao localmente integr avel em
, i.e. , v L
1
loc
(). Diz-se que v e uma solu c ao fraca da equa c ao de Laplace em se para toda
a fun c ao C
c
() temos
_
(x)v(x) dx = 0.
Facilmente se verica usando, por exemplo, as f ormulas de Green que toda a fun c ao harm onica
no sentido cl assico e tambem uma solu c ao fraca. Que n ao existem outras e a conclus ao do
Proposi cao 3.11.2 (Lema de Weyl). As solu c oes fracas localmente som aveis da equa c ao de
Laplace s ao solu c oes cl assicas.
Demonstra c ao. Seja u uma solu c ao fraca localmente integr avel da equa c ao de Laplace num aberto
. Basta provar o resultado localmente logo vamos considerar que u e integr avel e prolongamos
trivialmente u ao complementar de .
Considere-se uma sucess ao de molicadores
13
(
)
>0
e as fun c oes regularizadas u
denidas
por u
.

E f acil vericar que dado existe
0
tal que para <
0
cada u
e harm onica
no sentido cl assico em e portanto verica a igualdade do valor medio em . Tal igualdade
permite obter a convergencia uniforme de u
para u em
1
a partir da convergencia em
L
1
(). Logo u e uma fun c ao contnua e a conclus ao segue do recproco do teorema do valor
medio.
12
O leitor familiar com teoria das distribui c oes e com o conceito de hipo-elipticidade sabe provavelmente que os
resultados desta sec c ao s ao extremamente generaliz aveis.
13
Ver o Apendice B.
33
3.12 Exerccios suplementares
Exerccio 3.18. Em dimens ao n 3, seja B
= B
1
(0)0 e u : B
R uma fun c ao harm onica

tal que a fun c ao x [x[
n2
u(x) e limitada.
a) Mostre que existe uma fun c ao harm onica v denida em B
1
(0) e uma constante c R tais
que u v =
c
|x|
n2
.
b) Enuncie e demonstre o resultado an alogo em dimens ao 2.
c) Por invers ao obtenha resultados relativos a fun c oes harm onicas em certas regi oes ilimita-
das. Enuncie e demonstre tais resultados.
Exerccio 3.19. Seja B
R
(0) R
n
um domnio regular . Para n 3, k > R designamos
por u
k
a solu c ao do problema de Dirichlet
_
_
u
k
= 0, em B
k
(0)
u
k
= 1, sobre
u
k
= 0, sobre B
k
(0)
a) Justique que os u
k
s est ao bem denidos.
b) Mostre que existe
lim
k>R,k
u
k
(x)
para cada x R
n
.
c) Mostre que existe uma solu c ao unica do problema
_
_
u = 0, em R
n

u = 1, sobre
lim
x
u(x) = 0.
n
, aberto, limitado, e com fronteira seccionalmente regular. Supo-
nha-se que existe uma fun c ao de Green G
: (x, x) : x R relativa ao operador

laplaciano, , isto e, G
(x, y) = h
(x, y) + (x, y) em que h
e uma solu c ao do problema

_

x
h
(x, y) = 0, para todos os x, y ,

h
(x, y) = (x, y), para todo o x e todo o y .

(3.30)
em que designa a solu c ao fundamental da equa c ao de Laplace que como se sabe e dada por
(x, y) =
_
1
(2n)n
[x y[
2n
, n > 2,
1
2
log [x y[, n = 2.
(3.31)
para todos os y , x y.
Prove que:
a) G
(x, y) < 0 para todos os x, y ,

b) G
(x, y) = G
(y, x) para todos os x, y ,

c) Para toda a bola B tal que B temos
G
B
(x, y) G
(x, y) < 0
para todos os y , x y.
34
3.12. Exerccios suplementares
d) Existe uma bola aberta B tal que as fun c oes G
B
(, y), y s ao uniformemente integr aveis
em , isto e, dado > 0 existe > 0 tal que se A e mensur avel, [A[ < ent ao
_
A
[G
B
(x, y)[ dx < para todo o y (3.32)
e) Podemos substituir B por em (3.32).
f ) Para todo o > 0 temos
_
\B(y0)
G
(x, y) dx 0
se y y
0
.
g) As conclus oes de (c) e (d) implicam que se y y
0
ent ao
_
(x, y) dx 0.
35
36
Captulo 4
Classica cao das equa c oes lineares de 1
a
ordem no
plano
4.1 Introdu cao
Antes de nos debru carmos sobre problemas relativamente gerais convem convencer o leitor que
aquilo que foi realizado nos dois captulos anteriores contem as sementes de algo bastante mais
geral. O objecto deste captulo, de qualquer forma ainda modesto, ser a o estudo com alguma
generalidade de certas equa c oes lineares Lu = f em que L e um operador linear de segunda
ordem da forma
Lu(x
1
, x
2
) =
i=1,2
a
i,j
(x
1
, x
2
)

2
u
x
i
x
j
+
i=1,2
b
i
(x
1
, x
2
)
u
x
i
+c(x
1
, x
2
)u(x
1
, x
2
).
A base do que se vai seguir consiste na observa c ao elementar de que se pudermos decompor
L = L
1
L
2
com L
1
, L
2
operadores lineares reais de primeira ordem o problema de existencia local
de solu c oes poderia ser abordado pelo estudo sucessivo de duas equa c oes lineares de primeira
ordem. Veja-se por exemplo o exerccio 2.9. Mais geralmente podemos com certeza obter um
resultado de existencia e unicidade local para um problema da forma
_
_
L
1
L
2
u(x) = f(x), numa vizinhan ca de uma hipersuperfcie S
u[
S
(x) = v
0
(x),
L
2
u[
S
(x) = v
1
(x).
(4.1)
Para tal ser a natural impor L
1
, L
2
sucientemente regulares e condi c oes de n ao caracteristicidade
relativas a cada um dos problemas de primeira ordem. Para compreendermos o papel de tais
condi c oes come camos por notar que prescrever os valores de L
2
u sobre S pode com certeza
ser feito se prescrevermos os valores da derivada normal
u
sobre S j a que todas as derivadas

tangenciais s ao prescritas por v
0
.
37
Captulo 4. Classica c ao das equa c oes lineares de 1
a
ordem no plano
38
Captulo 5
Resultados gerais e contra-exemplos
5.1 O Problema de Cauchy geral
Se o leitor tem alguma familiaridade com equa c oes diferenciais ordin arias mas n ao com equa c oes
diferenciais parciais poder a ter algumas expectivas que rapidamente se mostrar ao infundadas.
Por exemplo o resultado essencial sobre existencia e unicidade de equa c oes diferenciais ordin arias,
o teorema de Picard-Lindelof, n ao imp oe restri c oes de regularidade fortes ao segundo membro
duma equa c ao diferencial ordin aria na forma y
= f(t, y). No entanto n ao existe um resultado

an alogo para equa c oes diferenciais parciais gerais. Dos resultados de que disporemos dentro
em pouco sobre existencia de solu c ao de equa c oes diferenciais parciais o unico com um ambito
compar avel e o teorema de Cauchy-Kowalewska. Grosso modo garante a existencia local de
solu c ao desde que a equa c ao e os dados sejam analticos (5.2.1). N ao existem resultados similares
mesmo quando a equa c ao e linear e os coecientes C
. De facto existem exemplos, s o obtidos

h a menos de cinquenta anos e com um car acter n ao trivial, de equa c oes lineares com coecientes
C
para as quais n ao existe solu c ao (5.4).

N ao e de surpreender ent ao que o estudo das equa c oes diferenciais parciais envolva um es-
for co de classica c ao dos problemas a estudar. Tal classica c ao nunca poder a ser interpretado
como um esquema rgido dado a priori mas algo que resulta naturalmente dos resultados que
formos obtendo. Para iniciar tal estudo come caremos por tecer algumas considera c oes relativas
a operadores diferenciais lineares e ao conceito de caractersticas.
Seja Lu(x)
||k
a
(x)D
u(x) um operador diferencial linear actuando sobre fun c oes C

k
denidas num aberto U R
n
. Para cada x U dene-se a parte principal ou smbolo deste
operador como sendo o polin omio homogeneo de grau k
x
L()
||=k
a
(x)
. Os R
n
tais que
x
L() = 0 designem-se por vectores caractersticos de L no ponto x. O conjunto de
todos os vectores caractersticos de L num ponto x designa-se por variedade caracterstica de L
em x.
Exemplo. Considerem-se os seguintes operadores diferenciais lineares de segunda ordem e
coecientes constantes actuando sobre fun c oes denidas em R
n+1
:
u =
n
i=0
2
u
x
2
i
u =

2
u
x
2
0
n
i=1
2
u
x
2
i
.
Temos
x
() =
n
i=0

2
i
x
() =
2
0

n
i=1
2
i
pelo que para a variedade caracterstica reduz-se ` a origem e para e um cone n 1 dimensi-
onal
1
.
1
Estes operadores ser ao estudados em detalhe nos Captulos 3 e 9.
39
Captulo 5. Resultados gerais e contra-exemplos
Deni cao 5.1.1 (Operador Elptico). Um operador diferencial linear diz-se elptico num ponto
x se o seu smbolo
x
L() s o se anular para = 0.
5.2 O Teorema de Cauchy-Kowalewska
Esta sec c ao tem como objectivo a demonstra c ao do :
Teorema 5.2.1 (Cauchy-Kowalewska). Considere-se o problema de Cauchy relativo a uma equa-
c ao diferencial parcial de ordem k e uma hipersuperfcie S com normal unit aria
F
_
x, (D
u
0||k
)
_
= 0 (5.1)
D
j
S
=
j
, para j = 0, . . . , k 1 (5.2)
e em que S se sup oe n ao caracterstica num sentido a precisar. Se F, S e
j
s ao analticas existe
uma solu c ao analtica unica de (5.15.2).
S ser uma hipersuperfcie analtica siginica que para cada ponto x S existe uma vizinhan ca
U
x
de x e um difeomorsmo analtico
x
: U
x
R
n
tal que
x
(S U
x
) e um subconjunto aberto
de um hiperplano de R
n
. Este recurso a cartas locais permite ent ao reduzir de imediato a
demontra c ao ao estabelecer a existencia de uma solu c ao analtica unica numa vizinhan ca de 0
no caso em que S e o hiperplano x
n
= 0 e a deriva c ao

e substituda por

xn
.
A n ao caracteristicidade de S corresponde ent ao, ap os a mudan ca de coordenadas descrita
atr as, a que (COMPLETAR)
Bastar a ent ao demonstrar
Teorema 5.2.2. Considere-se o problema de valores iniciais
u
t
=
n
i=1
A
i
(x, u)
u
x
i
+B(x, u) (5.3)
u(x, 0) = 0 (5.4)
em que as fun c oes A
i
, i = 1, . . . , n, e B s ao analticas numa vizinhan ca da origem. Ent ao existe
uma solu c ao analtica unica deste problema numa vizinhan ca da origem.
Demonstra c ao. Os desenvolvimentos de Taylor para os A
i
s e para B ser ao v alidos num intervalo
de R
n+N
denido por [x
i
[ < R e [u
j
[ < R para todos os is e js. COMPLETAR
5.3 O Teorema de Holmgren
O teorema de unicidade de Holmgren e no essencial um corol ario do teorema de Cauchy-Kowalewska
obtido por dualidade. Tal argumento de dualidade pode lembrar ao leitor resultados que
conhece da

Algebra Linear ou talvez resultados de An alise Funcional como a alternativa de
Fredholm.
Come camos por considerar uma vers ao local do teorema para sistemas de primeira ordem.
Considere-se o sistema
Lu
n
i=1
a
i
(x)D
i
u +b(x)u = 0
em que os a
i
e b tem como valores matrizes reais N N e as inc ognitas u s ao fun c oes denidas
em R
n
com valores em R
N
em que e um aberto da forma
= x = (x
i
)
i=1,...,n
R
n
: 0 < x
n
< h(x
1
, . . . , x
n1
)
sendo as hipersuperfcies x R
n
: x
n
= 0 e x R
n
: x
n
= h(x
1
, . . . , x
n1
) n ao caractersti-
cas.
40
5.4. O Contra-exemplo de Lewy
5.4 O Contra-exemplo de Lewy
Durante muito tempo considerou-se que uma equa c ao diferencial parcial razo avel deveria pos-
suir solu c oes localmente, com hip oteses ligeiramente mais fracas de regularidade do que a hip otese
de analiticidade do teorema de Cauchy-Kowalewska. No entanto o exemplo seguinte, devido a
Lewy [18], destruiu totalmente esse preconceito e inaugurou uma area de investiga c ao importante.
Precisaremos de alguns resultados previos sobre series que se apresentam como exerccios.
Exerccio 5.1. Considere a serie
+
k=1
cos(k!x)
(k!)
k
a) Mostre que a serie dene um fun c ao C
(R) peri odica.

b) Mostre que essa fun c ao n ao e analtica em 0.
c) Mostre que essa fun c ao n ao e analtica em qualquer ponto de R.
Exemplo. [Lewy] Considere-se o operador diferencial linear L que actua sobre fun c oes denidas
em subconjuntos de R
3
com valores em C atraves de
Lu(x) =
u
x
+i
u
y
2i(x +iy)
u
t
.
e uma fun c ao : R R de classe C
. Suponha-se que
Lu(x, y, t) =
(t).
para (x, y, t) numa vizinhan ca de (0, 0, t
0
).
Como primeiro passo deste exemplo vamos mostrar que e necessariamente analtica em t
0
se u C
1
. Dena-se
v(r, , t) = e
i
ru(
r cos ,
r sen, t).
Ent ao
Lu = 2
v
r
+
i
r
v
2i
v
t
Dena-se
V (t, r) =
_
2
0
v(r, , t) d
Tal fun c ao V e C
1
num conjunto da forma t + ir C : 0 < r < , [t t
0
[ < , V (t, 0) = 0 e e
contnua para t + ir C : 0 r < , [t t
0
[ < . Usando a periodicidade em de v obtem-se
facilmente que
V
t
+i
V
r
= i
(t)
donde se considerarmos W(t+ir) = V (t, r)i(t) trata-se de uma fun c ao holomorfa prolong avel
por simetria relativamente a r < 0 via W(tir) = W(t +ir) sendo o prolongamento holomorfo.
Em particular a sua parte imagin aria e analtica o que em particular signica que e analtica
em t = t
0
.
A conclus ao do primeiro passo j a seria, por si, interessante, mas se exisgirmos um pouco
mais das solu c oes (terem derivadas holderianas) podemos us a-lo como ponto de partida de um
exemplo de uma equa c ao diferencial parcial para o qual n ao existe solu c ao C
1,
num qualquer
aberto de R
3
.
41
Captulo 5. Resultados gerais e contra-exemplos
42
Captulo 6
Operadores Elpticos Lineares de 2
a
ordem
Este captulo e uma introdu c ao ao estudo de equa c oes da forma
Lu
n
i,j=1
a
ij
(x)

2
u
x
i
x
j
+
n
i=1
b
i
(x)
u
x
i
+c(x)u = f (6.1)
em que o operador diferencial linear do primeiro membro, L, e elptico no sentido da deni c ao
5.1.1 e satisfaz algumas condi c oes adicionais. O nosso principal interesse e mostrar como alguns
dos resultados relativos ao Laplaciano podem ser generalizados a esta situa c ao, nomeadamente
o princpio de m aximo, e como usar os resultados obtidos para a equa c ao de Poisson para,
por perturba c ao, obter resultados de existencia, unicidade ou regularidade para problemas de
valores na fronteira relativos a (6.1).
Suporemos que L actua sobre fun c oes C
2
() C
0
() com R
n
um aberto. N ao faremos
hip oteses especiais sobre a regularidade dos coecientes.
6.1 Hip oteses adicionais
Dado o car acter introdut orio deste captulo consideraremos a priori hip oteses adicionais que n ao
ser ao estritamente necess arias em todos os resultados mas que simplicar ao o seu enunciado.
Geralmente remeteremos as extens oes para exerccios ou para as referencias [9].
Assim limitar-nos-emos a considerar operadores uniformemente elpticos, isto e, supomos que
existe > 0 tal que para todo o = (
i
)
i=1,...,n
R
n
e todo o x temos
n
i,j=1
a
ij
(x)
i
j
[[
2
. (6.2)
Suporemos limita c oes uniformes dos coecientes, isto e, que existe > 0 tal que para todo
os i, j = 1, . . . , n e x temos
[a
ij
(x)[, [b
i
(x)[, [c(x)[ . (6.3)
Tambem a maior parte dos resultados que temos em mente generalizar, por exemplo o prin-
cpio de m aximo, s ao trivialmente falsos se n ao supusermos
c 0 (6.4)
devido ` a possvel existencia de valores pr oprios positivos de L como e bem ilustrado por
d
2
dx
2
(sen x)+
sen x = 0.
43
Captulo 6. Operadores Elpticos Lineares de 2
a
ordem
6.2 O princpio de maximo
Come camos por estabelecer um princpio de m aximo forte sob hip oteses ainda n ao t ao apuradas
como desej avel. Suporemos em todos os resultados que se vericam as hip oteses enumeradas na
sec c ao anterior.
Lema 6.2.1. Suponha-se que L verica (6.16.4) e Lu > 0. Ent ao L n ao pode ter um m aximo
local positivo num ponto interior de .
Demonstra c ao. Suponha-se que u tem um m aximo local positivo em x
0
. Ent ao D
2
u(x
0
)
dene uma forma quadr atica semidenida negativa. Da, e da hip otese de elipticidade, decorre
que devemos ter
n
i,j=1
a
ij
(x)

2
u
xixj
(x
0
) 0. Como
u
xi
(x
0
) = 0 para todo o i obtemos
Lu(x
0
) c(x
0
)u(x
0
) 0
o que contradiria Lu > 0.
Proposi cao 6.2.2 (Princpio de m aximo fraco). Suponha-se que L verica (6.16.4) e Lu > 0
num aberto limitado. Ent ao
m ax
x
u(x) m ax
x
u
+
(x)
em que u
+
designa a parte positiva
1
de u.
Demonstra c ao. Seja v(x) = e
x1
em que > 0 ser a escolhido posteriormente. Temos
Lv(x) = (
2
a
11
(x) +b
1
(x) +c(x))e
x1
A condi c ao de elipticidade garante que a
11
(x) > > 0. Assim, para sucientemente grande,
temos
Lv > (
2
)e
x1
> 0
o que permite escrever, para um qualquer > 0,
L(u +v) > 0.
A fun c ao u + v est a nas condi c oes do lema pelo que n ao tem um m aximo positivo num ponto
interior. Assim sendo
m ax
x
u m ax
x
u +v m ax
x
(u +v)
+
m ax
x
u
+
+ m ax
x
v
obtendo-se a conclus ao fazendo 0.
Lema 6.2.3 (Lema do ponto fronteiro de Hopf). Suponha-se que u C
1
(), L verica (6.1
6.4), Lu > 0 num aberto, B B
R
(y) , B = x
0
e u(x
0
) > u(x) para todo o x B.
Ent ao, se =
x0y
|x0y|
, temos
u
(x
0
) > 0.
Demonstra c ao. Sejam 0 < r < R, = [x y[ e v(x) = e
2
e
R
2
. Temos para > 0
sucientemente grande
Lv =
=[4
2
n
i,j=1
a
ij
(x)(x
i
y
i
)(x
j
y
j
) 2
n
i=1
(a
ii
(x) +b
i
(x))(x
i
y
i
) +c(x)]e
c(x)e
R
2
> (4
2
r
2
4n
1/2
R )e
r
2
> 0.
1
Convencionamos u
+
(x) = m ax{0, u(x)}, u
= (u)
+
.
44
6.3. Uma estimativa pontual
y
x
0
B
Figura 6.1: O lema do ponto fronteiro de Hopf.
Como sobre B
r
(y) temos uu(x
0
) < 0 existe > 0 tal que uu(x
0
) +v 0 sobre B
r
(y).
Como v 0 sobre B tambem temos u u(x
0
) + v 0 sobre B. Assim se A = B B
r
(y)
podemos aplicar o princpio de m aximo fraco em A para obter
m ax
A
(u u(x
0
) +v) m ax
A
(u u(x
0
) +v)
+
= 0.
Isto implica que
(uu(x0)+v)
> 0. Como
v
(x
0
) < 0 isto prova o resultado.
Teorema 6.2.4 (Princpio de m aximo forte). Suponha-se que L verica (6.16.4), Lu 0 num
aberto conexo e u tem um m aximo positivo num ponto interior. Ent ao u e constante.
6.3 Uma estimativa pontual
O princpio de m aximo vai permitir obter uma estimativa pontual.
Teorema 6.3.1. Suponha-se que L verica (6.16.4) com um aberto limitado. Ent ao existe
C > 0 tal que se Lu f vale a estimativa pontual
m ax
u m ax
u
+
+C sup
.
Demonstra c ao. Suponha-se que
x R
n
: 0 < x
1
< d
e seja
v(x) m ax
u
+
+ (e
d
e
x1
) sup
.
Temos
Lv(x) = (
2
a
11
(x) +b
1
(x))e
x1
sup
+c(x)v(x)
donde
Lv(x)
_
_
e
x1
sup
_
sup
.
Se escolhermos de maneira a
2
> 1 obtemos
L(u v) sup
(f
+f) 0.
45
Captulo 6. Operadores Elpticos Lineares de 2
a
ordem
Por outro lado temos sobre
u v = u u
+
(e
d
e
x1
) sup
0
pelo que, do princpio de m aximo fraco, obtemos que u v em .
6.4 O metodo de continuidade
Esta sec c ao destina-se a mostrar como podemos passar de resultados relativos ` a equa c ao de Pois-
son para par resultados relativos a uma equa c ao elptica atraves de um argumento de perturba c ao.
O resultado b asico e enunciado a seguir usando uma formula c ao abstracta.
Teorema 6.4.1. Sejam E um espa co de Banach, F um espa co normado e L
0
, L
1
: E F
operadores lineares contnuos. Para t [0, 1] seja L
t
(1 t)L
0
+ tL
1
. Suponha-se que L
0
e
sobrejectivo e que existe C > 0 tal que para todo o x E e todo o t [0, 1] temos
C|L
t
x|
F
|x|
E
. (6.5)
Ent ao L
1
e sobrejectivo.
Demonstra c ao. Suponha-se que L
t
e sobrejectivo para um certo t [0, 1[ e que queremos
provar que L
e sobrejectivo para [t [ pequeno. A desigualdade (6.5) garante que qualquer

L
t
sobrejectivo tem um inverso contnuo L
1
t
e que |L
1
t
|
L(F,E)
C independentemente de t.
Assim a equa c ao
L
x = y
e equivalente a
x = L
1
t
((L
t
L
)x +y)
que tem a forma de um problema de ponto xo x = T
y
(x). Temos, para x
1
, x
2
E
|T
y
(x
1
) T
y
(x
2
)|
E
= |L
1
t
(L
t
L
)(x
1
x
2
)|
E
C|L
t
L
|
L(E,F)
|x
1
x
2
|
E
C[t [ m ax|L
0
|
L(E,F)
, |L
1
|
L(E,F)
|x
1
x
2
|
E
.
Assim, usando o teorema do ponto xo de Banach, existe c > 0 tal que se L
t
e sobrejectivo L
e sobrejectivo se [t [ < c. Isto garante que podemos cobrir [0, 1] com um n umero nito de
intervalos de comprimento c donde a sobrejectividade de L
0
implica a sobrejectividade de L
1
.
A seguir ilustramos como utilizar o resultado anterior para obter resultados para operadores
elpticos gerais ` a custa de resultados relativos ` a equa c ao de Poisson.
Teorema 6.4.2. Seja L um operador diferencial vericando (6.16.4). Admita-se
2
que e tal
que todas as solu c oes u C
2,
() de uma equa c ao de Poisson Lu = f C
0,
com valor 0 sobre
satisfazem uma estimativa
[u[
2,
C([u[
0,
+[f[
0,
) (6.6)
em que a constante C s o depende de , e .
Seja C
2,
().
Ent ao, se o problema de Dirichlet
_
Lu = f, em
u = sobre
Demonstra c ao. Seja
2
Pode provar-se que se a fronteira de f or sucientemente regular, em particular de classe C
2,
, podemos
prescindir desta hip otese.
46
Captulo 7
Metodos Variacionais
7.1 Os Teoremas de Stampacchia e Lax-Milgram
A solu c ao por metodos variacionais de equa c oes elpticas lineares de 2
a
ordem baseia-se, no
que diz respeito a resultados de existencia, em resultados abstractos em espa cos de Hilbert que
generalizam observa c oes geometricamente intuitivas em R
n
. O resultado central deste tipo que
iremos usar e o teorema de Stampacchia e o seu corol ario o teorema de Lax-Milgram.
No que se segue suporemos que o leitor tem presente a teoria b asica sobre espa cos de Hilbert.
Designaremos por H um espa co de Hilbert sobre os reais em que est a denido um produto
interno (, ) cuja norma associada | | torna H um espa co de Banach. O dual topol ogico de H e
designado H
, usaremos a nota c ao , )
H
H
para o produto de dualidade e supomos conhecido
o importante teorema de representa c ao de Riesz:
Teorema 7.1.1. Seja H um espa co de Hilbert e um H
um funcional linear contnuo. Ent ao

existe z H unico tal que , x)
H
H
= (z, x) para todo o x H.
A ideia base de car acter geometrico que usaremos na demonstra c ao do teorema de Stampac-
chia pode ser motivada pela observa c ao de que se x H, K H for um convexo n ao vazio e
existir em K um ponto y a dist ancia mnima de x, isto e,
|x y| = inf
wK
|x w| (7.1)
ent ao dado um qualquer outro ponto v K a fun c ao
[0, 1] t |x (y +t(v y))|
tem necessariamente um mnimo para t = 0 pois qualquer ponto x (y + t(v y)) K se
t [0, 1]. Se considerarmos ent ao
[0, 1] t |x (y +t(v y))|
2
= |x y| 2t(x y, v y) +t
2
|v y|
vericamos que 0 ser mnimo implica
(x y, v y) 0,
vK
. (7.2)
Reciprocamente se se vericar (7.2) ent ao y e o unico ponto de K que verica (7.1).
Nada no argumento anterior garante que existe um ponto de K a dist ancia mnima de x. No
entanto se supusermos adicionalmente que K e fechado e possvel provar:
Proposi cao 7.1.2. Seja H um espa co de Hilbert, x H e K H um convexo fechado e n ao
vazio. Ent ao existe um unico y K a distancia mnima de x, isto e vericando as condi c oes
equivalentes (7.1) e (7.2).
47
Captulo 7. Metodos Variacionais
PSfrag replacements
K
x
y
v
Figura 7.1: Projec c ao num convexo fechado e n ao vazio
Demonstra c ao. Considere-se uma sucess ao (y
k
)
kN
K tal que |y
k
x| inf
yK
|y x| d.
O ponto essencial a estabelecer e que esta sucess ao e uma sucess ao de Cauchy para podermos
usar a completude dos espa cos de Hilbert, o facto de K ser fechado e a continuidade da norma
para garantir que a sucess ao e convergente.
Dados dois termos da sucess ao y
j
, y
k
o ponto medio
yj+y
k
2
K vericar a
_
_
_
_
y
j
+y
k
2
x
_
_
_
_
d.
Aplicando a identidade do paralogramo (de lados x y
j
e x y
k
) obtem-se
2|x y
j
|
2
+ 2|x y
k
|
2
=
_
_
_
_
2
_
x
y
j
+y
k
2
__
_
_
_
2
+|y
j
y
k
|
2
donde
|y
j
y
k
|
2
= 2|xy
j
|
2
+2|xy
k
|
2
_
_
_
_
2
_
x
y
j
+y
k
2
__
_
_
_
2
2|xy
j
|
2
+2|xy
k
|
2
4d
2
0,
quando j, k pelo que se trata efectivamente de uma sucess ao de Cauchy.
Dados x e K como na proposi c ao anterior passaremos a designar o ponto de K a dist ancia
mnima de x por P
K
(x). A aplica c ao P
K
n ao e em geral linear mas e contnua, mais precisamente
lipschitziana, e a sua constante de Lipschitz e facilmente estimada.
Proposi cao 7.1.3. Se K tem as mesmas propriedades da proposi c ao anterior ent ao
|P
K
(x
1
) P
K
(x
2
)| |x
1
x
2
|,
x1,x2H
.
Demonstra c ao. Sejam y
i
= P
K
(x
i
) para i = 1, 2 e considere-se (7.2) com x = x
1
, y = y
1
, v = y
2
e com x = x
2
, y = y
2
, v = y
1
. Obtemos ent ao
(x
1
y
1
, y
2
y
1
) 0,
0 (x
2
y
2
, y
2
y
1
).
pelo que
(x
1
y
1
, y
2
y
1
) (x
2
y
2
, y
2
y
1
).
e da
((x
1
x
2
) (y
1
y
2
), y
2
y
1
) 0,
48
7.1. Os Teoremas de Stampacchia e Lax-Milgram
ou seja
(x
1
x
2
, y
1
y
2
) |y
1
y
2
|
2
donde o resultado segue via desigualdade de Cauchy-Schwarz.
Uma aplica c ao a : H H R com H um espa co vectorial real diz-se bilinear se para todos
os x, y, z H e R tivermos a(x, y) = a(x, y) = a(x, y), a(x + y, z) = a(x, z) + a(y, z)
e a(x, y + z) = a(x, y) + a(x, z). Se adicionalmente H for normado a forma bilinear a diz-se
contnua se existir C 0 tal que [a(x, y)[ C|x||y| para todos os x, y H e coerciva se existir
c > 0 tal que [a(x, x)[ c|x|
2
para todo o x H
Teorema 7.1.4 (Stampacchia). Seja H um espa co de Hilbert real e K H um subconjunto
convexo fechado. Considerem-se em H uma forma bilinear contnua e coerciva a : H H R
e um funcional linear contnuo : H R. Ent ao existe um e um s o u K tal que
a(u, v u) (v u), v K. (7.3)
Adicionalmente se a f or uma forma simetrica u e uma solu c ao do problema
1
2
a(u, u) (u) = inf
vK
1
2
a(v, v) (v). (7.4)
Demonstra c ao. Pelo teorema de Riesz existe um z H unico tal que (v) = (z, v) para todo o
v H. De forma an aloga, como para u H xado a aplica c ao H v a(u, v) e um funcional
linear contnuo, existe um elemento unico de H dependente de u, que designamos por Au, tal
que a(u, v) = (Au, v) para todo o v H.

E f acil de vericar que A : H H e um operador
linear contnuo e adicionalmente a hip otese de coercividade de a implica que existe c > 0 tal que
(Au, u) c|u|
2
para todos u H. Assim (7.3) pode ser reformulada como
(Au, v u) (z, v u),
vK
. (7.5)
ou de forma equivalente
(Au z, v u) 0,
vK
.
ou ainda, se for um n umero positivo a escolher posteriormente,
((Au z) +u u, v u) 0,
vK
.
A proposi c ao 7.1.2 permite interpretar este problema na forma
u = P
K
(u (Au z)),
isto e, se S : K K for denida por Su = P
K
((Au z) + u) ent ao u e um ponto xo da
aplica c ao S. Vamos usar o teorema do ponto xo de Banach para garantir que S possui um ponto
xo unico desde que > 0 seja escolhido sucientemente pequeno. Para tal temos que estimar
|Su
1
Su
2
| em termos de |u
1
u
2
| para u
1
, u
2
K. Usando a proposi c ao 7.1.3 obtem-se e as
propriedades de continuidade e coercividade de A estima-se
|Su
1
Su
2
|
2
= |u
1
(Au
1
z) u
2
+(Au
2
z) |
2
= |u
1
u
2
(A(u
1
u
2
))|
2
= |u
1
u
2
|
2
2(u
1
u
2
, A(u
1
u
2
)) +
2
|A(u
1
u
2
)|
2
(1 2c +|A|
2
2
)|u
1
u
2
|
2
Assim S e uma aplica c ao de contrac c ao se |A| 2c < 0 o que estabelece a existencia de uma
solu c ao de (7.3).
Para estabelecer (7.4) basta notar que a(, ) dene um produto interno em H que e topolo-
gicamente equivalente ao produto interno original gra cas ` a hip otese de coercividade e aplicar a
proposi c ao 7.1.2.
49
Um corol ario quase imediato e o
Teorema 7.1.5 (Lax-Milgram). Suponha-se que K e um subespa co fechado dum espa co de Hilbert
H, a e uma forma bilinear contnua e coerciva em H e um funcional linear contnuo em H.
Ent ao existe um e um s o u K tal que
a(u, v) = (v)
vK
Demonstra c ao. Note-se que sendo K um subespa co de H para todo o v K temos v +u, v +
u K em que u K e a solu c ao obtida por aplica c ao do teorema de Stampacchia. Da
que na desigualdade variacional podemos substituir v por v + u e v + u obtendo a igualdade
pretendida.
7.2 Introdu cao aos espa cos de Sobolev
7.2.1 Deni c oes e propriedades elementares
7.2.2 Os teoremas de Sobolev e Morrey
7.2.3 O teorema de Rellich
7.2.4 Outros resultados
Proposi cao 7.2.1. Sejam 1 < p , R
n
um aberto e (u
k
)
kN
W
1,p
(). Se u
k
u em
L
p
()
Teorema 7.2.2. W
1,
loc
() e o espa co das fun c oes localmente lipschitzianas em .
Demonstra c ao. Seja f uma fun c ao localmente lipschitziana em , , e > 0. Denamos
para x
x : dist(x, ) > e [t[ <

g
i,t
(x) =
f(x +te
i
) f(x)
t
Temos g
i,t
L
) para todo o t tal que [t[ < e alem disso todas estas fun c oes satisfazem
para uma constante C independente de t
|g
i,t
|
L
)
Lip(f, ).
Ent ao a famlia de fun c oes g
i,t
0<t<
est a contida numa bola de L
) logo podemos armar

que e relativamente compacta para a topologia fraca-.
Seja agora C
c
(
). Podemos ent ao garantir que existe uma sucess ao (t

k
)
kN
, com
t
k
0, e uma fun c ao g
i
L
) tal que
_
f(x)
(x t
k
e
i
) (x)
t
k
dx =
_
g
i,t
k
(x)(x) dx
_
g
i
(x)(x) dx
Por outro lado o teorema da convergencia dominada garante que
_
f(x)
(x t
k
e
i
) (x)
t
k
dx
_
f(x)

x
i
dx
e portanto g
i
e a derivada fraca de f em ordem a x
i
relativamente a
. Como raciocin amos

para um qualquer podemos estabelecer que efectivamente f W
1,
loc
().
Reciprocamente suponha-se f W
1,
loc
(). Sem perda de generalidade podemos supor que
f tem suporte compacto em . Seja (
)
>0
a usual famlia de molicadores e considere-se
para sucientemente pequeno f
f. Verica-se com facilidade que a famlia de fun c oes

50
7.3. Aplica c oes a problemas elpticos
regularizadas (f
)
>0
converge uniformemente para o representante contnuo de f e que o supremo
das derivadas parciais dos f
s pode ser estimado uniformemente. Notando ent ao que

[f
(x) f
(y)[ =
_
1
0
d
dt
(f
(tx + (1 t)y)) dt
_
1
0
Df
(tx + (1 t)y)) (x y) dt
C[x y[.
Passando ao limite quando 0 obtem-se que o representante contnuo de f e efectivamente
lipschitziano.
7.3 Aplica c oes a problemas elpticos
Considere-se o problema
_
u +u = f, em
u = 0, sobre
(7.6)
em que R
n
e um aberto limitado com fronteira sucientemente regular, e f : R
e uma fun c ao sucientemente regular, e procuramos uma solu c ao cl assica do problema, mais
precisamente, pretendemos estabelecer existencia e unicidade de solu c ao para u C
2
().
Vamos estudar este problema atraves do estudo duma vers ao fraca do mesmo problema em
espa cos de Sobolev adequados. Para tal considera-se o problema que consiste em determinar
u W
1,2
0
() tal que
_
u(x) v(x) +u(x)v(x) dx =

_
f(x)v(x) dx para todo o v W

1,2
0
(). (7.7)
Este problema e natural pois se considerarmos em (7.6) u C
2
() e o produto de ambos os
membros por v C
c
(), integrarmos por partes e usarmos a densidade de C
c
() em W
1,2
0
()
obtemos que u satisfaz (7.7). Reciprocamente se u for uma solu c ao sucientemente regular de
(7.7) ser a tambem uma solu c ao de (7.6). Para atingirmos o nosso objectivo precisaremos de
resolver duas quest oes:
Reformular em forma abstracta (7.7) de maneira a poder aplicar o teorema de Lax-Milgram.
Mostrar que as solu c oes de (7.7) tem regularidade adicional; isto ser a feito ` a custa do
metodo do quociente de Nirenberg a descrever abaixo.
Comecemos ent ao por aplicar o teorema de Lax-Milgram. Consideramos a forma a : W
1,2
0
()
W
1,2
0
() R e o funcional : W
1,2
0
() R denidos por
a(u, v) =
_
u(x) v(x) +u(x)v(x) dx,

(v) =
_
f(x)v(x) dx,
que s ao obviamente lineares, contnuos ([a(u, v)[ |u|
W
1,2
()
|v|
W
1,2
()
, [(v)[ |f|
L
2
()
|v|
W
1,2
()
)e
a e coercivo (a(u, u) = |u|
2
W
1,2
()
). Portanto existir a em W
1,2
() uma unica solu c ao de (7.7).
Resta-nos ent ao mostrar que as solu c oes de (7.7) possuem regularidade adicional.
7.3.1 O metodo do quociente de Nirenberg
51
52
Captulo 8
A equa cao do calor
8.1 O n ucleo de Gauss
8.2 Princpio de Maximo
53
Captulo 8. A equa c ao do calor
54
Captulo 9
A equa cao das ondas
9.1 O problema de Cauchy
9.2 O metodo das medias
9.3 O metodo de descida
55
Captulo 9. A equa c ao das ondas
56
Apendice A
Mecanica dos Meios Contnuos
Neste apendice de car acter introdut orio pretende-se dar uma panor amica, necessariamente breve e
incompleta, dos fundamentos da Mec anica dos Meios Contnuos como fonte essencial de exemplos
e problemas no estudo de equa c oes diferenciais parciais.
A.1 Formula cao dos modelos
A.1.1 Cinematica
Seja
0
R
n
, (n = 1, 2 ou 3) um aberto.
0
ser a a congura c ao de referencia de um corpo.
A evolu c ao do corpo ao longo do tempo e descrita por uma aplica c ao x : I
0
R
n
onde o
intervalo I R representa o intervalo de tempo que estamos a considerar para o movimento. O
corpo ocupar a no instante t a congura c ao x(t,
0
)
t
. Para a nota c ao ser coerente sup omos
0 I, x(0, p) = p para todo o p
0
1
.
Ser a conveniente imp or alguma regularidade a x. Por exemplo a n ao interpenetra c ao da
materia sugere que as aplica c oes x(, t) sejam homeomorsmos para cada t I. De facto seremos
muito mais restritivos supondo que s ao difeomorsmos de classe C
k
com k conveniente. Tal n ao
impedir a que em problemas especcos, tal como o estudo de cavita c ao, estas hip oteses se mostrem
totalmente inadequadas.
x(t ; )
p
x(t ; p)
t
Figura A.1: Cinem atica.

As coordenadas p dizem-se coordenadas materiais ou lagrangianas e as coordenadas x =
x(t, p) dizem-se coordenadas espaciais ou eulerianas. Em particular cada ponto p diz-se
uma partcula e x(, p) dir-se- a a sua traject oria. Dada uma grandeza g descrita em coordenadas
materiais a sua descri c ao em coordenadas espaciais
2
far-se- a atraves de
g(t, x(t, p)) = g(t, p)
1
Claro que se pode sup or que a congura c ao de referencia e distinta de qualquer congura c ao do corpo e esse
ponto de vista e adoptado por v arios autores. No presente contexto n ao h a vantagem especial em faze-lo.
2
Usar-se- a a, b, c, . . . , , . . . para representa c oes de grandezas em coordenadas materiais e a, b, c, . . . , , . . . para
as respectivas representa c oes em coordenadas espaciais.
57
AP
ENDICE A. MEC
ANICA DOS MEIOS CONT
INUOS
o que e possvel gra cas a supormos que as aplica c oes x(t, ) s ao difeomorsmos.
Denem-se os campos de velocidade e acelera c ao em coordenadas materiais atraves de
v(t, p) =
x
t
(t, p)
a(t, p) =
v
t
(t, p).
Claro que
v(t, x(t, p)) = v(t, p)
a(t, x(t, p)) = a(t, p).
Note-se que
a(t, p) =
v
t
(t, p)
=
v
t
(t, x(t, p)) +
n
i=1
v
x
i
(t, x(t, p))
x
i
t
(t, p)
=
v
t
(t, x(t, p)) +
n
i=1
v
x
i
(t, x(t, p))v
i
(t, p)
em que v = (v
i
)
1in
, etc. . Em coordenadas espaciais
a(t, x) =
v
t
+
n
i=1
v
x
i
v
i
.
A.1.2 Massa, For ca, Momento Linear e Momento Angular
Consideram-se denidos campos
: R [0, [
f : R R
n
: R S
n1
R
n
correspondendo ` a densidade de massa, f ` a densidade de for cas em volume e ` a densidade
de for cas superciais. Todos estes campos sup oem-se pelo menos C
1
nos seus domnios. Estas
grandezas, de acordo com a conven c ao que foi introduzida implicitamente atr as e que daqui
em diante ser a utilizada sem mais coment arios, ser ao designadas em coordenadas espaciais por
, f, , designando a densidade, f uma densidade de for ca em volume e uma densidade de
for ca supercial. Note-se que S
n1
= B
n
1
(0) com B
n
1
(0) a bola unit aria em R
n
. Portanto
(t, x, ) e interpretado como uma for ca supercial actuando no ponto x no instante t sobre uma
hipersuperfcie cuja normal em x e .
Juntamos ao modelo as seguintes leis de conserva c ao:
a lei de conserva c ao de massa
d
dt
_
t
dx = 0;
a equa c ao de movimento ou lei da conserva c ao do momento linear
d
dt
_
t
v dx =
_
t
f dx +
_
t
(t, x, ) dS;
58
A.1. Formula c ao dos modelos
a lei da conserva c ao do momento angular
d
dt
_
t
x v dx =
_
t
x f dx +
_
t
x dS
em que designa produto externo, e a normal a
t
onde aquela estiver denida, sendo
t
= x(t, ) com um qualquer aberto com fronteira seccionalmente regular.
Exerccio A.1. Prove que:
a) as formas local e diferencial da lei da da conserva c ao da massa, i.e., satisfaz
(t, p) =
0
(p) det
_
x
p
_
1
,

t
+ div
x
(v) = 0
para uma certa densidade
0
;
b) para toda a fun c ao g C
1
, g : R R temos
d
dt
_
t
g(t, x) dx =
_
t
g
t
+ div
x
(g(t, x)v(t, x)) dx
c) (t, x, ) e a restri c ao a S
n1
duma aplica c ao linear em R
n
.
d) para cada t e cada x a matriz T(t, x) representando (t, x, ) e simetrica.
Exerccio A.2. Provou no problema anterior que
(t, x, ) = T(t, x)()
para todo o S
n1
em que os T(t, x)() s ao aplica c oes lineares e designam-se por tensor das
tens oes. Para um uido perfeito
T(t, x) = p(t, x) Id
com p uma fun c ao escalar (press ao). Interprete o modelo formulado ate ao momento de maneira
a obter o familiar princpio de Arquimedes para um uido perfeito em repouso.
59
AP
ENDICE A. MEC
ANICA DOS MEIOS CONT
INUOS
A.1.3 Equa c oes de Navier-Stokes
Let
A.2 Equa c oes de Cauchy-Riemann
Let
A.3 Equa c oes de Euler-Lagrange
A.4 Electromagnetismo
A.5 Equa c oes de Hamilton-Jacobi
A completar.
A.6 Exerccios
s
60
Apendice B
Convolu cao e regulariza cao
B.1 Sucess oes de molicadores
O exerccio seguinte ser a o ponto de partida para estabelecer uma ferramenta elementar mas
indispens avel para o estudo das equa c oes diferenciais parciais.
Exerccio B.1. Construa uma fun c ao : R R de classe C
, com suporte compacto contido

em [1, 1], vericando 0, (x) = (x) para todo x R e 1 numa vizinhan ca de 0.
A classe das fun c oes C
de suporte compacto num aberto R

n
e abreviada por C
c
()
e tais fun c oes designam-se por fun c oes teste
1
.

E obvio que se denirmos : R
n
R via
(x) =
([x[)
c
em que c > 0 e tal que
_
R
n
= 1 e e a fun c ao do exerccio anterior ent ao C
c
(R
n
).
Dena-se tambem para > 0
(x) =
1
_
x
_
.
Ora
dx dene uma probabilidade para cada > 0. Se f L

1
loc
(R
n
) cada fun c ao f
: R
n
R
denida por
f
(y)
_
R
n
f(y x)
(x) dx (B.1)
e obtida tomando uma media ponderada dos valores de f numa vizinhan ca do ponto y.
O integral usado em (B.1) e um caso particular dum integral de convolu c ao. Dadas duas
fun c oes mensur aveis h, g : R
n
R dene-se a sua convolu c ao (ou produto de convolu c ao), g h,
via
g h(y) =
_
R
n
g(y x)h(x) dx
sempre que o integral do segundo membro existir e f or nito para quase todo o y R
n
. Em
particular tal acontece se g, h L
1
(R
n
) sendo nesse caso g h L
1
(R
n
).
Exerccio B.2. Verique que se g, h L
1
(R
n
) ent ao
a) g h est a denida quase por toda a parte em R
n
.
b) |g h|
L
1
= |h|
L
1
|g|
L
1
.
c) g h = h g L
1
(R
n
).
1
A nota c ao C
0
() e por vezes utilizada para o mesmo m. Reserv a-la-emos para as fun c oes C
com limite
0 no innito.
61
Apendice B. Convolu c ao e regulariza c ao
Facilmente se prova que as fun c oes f
s ao de classe C
. Por esse motivo, a famlia (f
)
>0
denida por (B.1) designa-se por famlia de regularizadas de f atraves da famlia de molicadores
(
)
>0
. Vamos estabelecer alguns resultados que ser ao do seguinte tipo: f
f no sentido do
espa co normado a que pertencer f. De forma precisa temos, por exemplo,
Proposi cao B.1.1. Seja f L
1
(R
n
). Ent ao f
f em L
1
(R
n
).
Demonstra c ao. Do criterio de Tonelli-Hobson e do teorema de Fubini segue
_
R
n
[f(x) f
(x)[ dx =
_
R
n
_
R
n
(y)(f(x) f(x y)) dy
dx
_
R
n
_
R
n
(y)[f(x) f(x y)[ dxdy

=
_
R
n
_
R
n
(y)[f(x) f(x y)[ dy dx.

Alem disso o integral precedente pode escrever-se como
_
R
n
(y)
__
R
n
[f(x) f(x y)[ dx
_
dy
aonde o integral mais interior converge para 0 quando 0 pelo teorema da convergencia
dominada. Gra cas ` a estimativa
_
R
n
[f(x) f(x y)[ dy 2
_
R
n
[f[ uma segunda aplica c ao do
teorema da convergencia dominada permite estabelecer o resultado.
Os resultados an alogos para L
p
, 1 < p < , necessitam de um lema preliminar cujo interesse,
para alem deste contexto, e de salientar. Fazemos notar que uma fun c ao : S E R, em
que S e convexo e E designa um espa co vectorial real, diz-se convexa se para todo o x, y E e
todo o t [0, 1] temos (tx + (1 t)y) t(x) + (1 t)(y).
Lema B.1.2 (Desigualdade de Jensen). Sejam : ]a, b[ R uma fun c ao convexa, uma
probabilidade num espa co com medida X, f L
1
(X, ) e a < f(x) < b para quase todo o x X.
Ent ao
__
X
f(x) d(x)
_
_
X
(f(x)) d(x).
Exerccio B.3. Demonstre a desigualdade de Jensen.
Proposi cao B.1.3. Seja f L
p
(R
n
), 1 < p < . Ent ao f
f em L
p
(R
n
).
Demonstra c ao. A desigualdade de Jensen e aplic avel com =
dx, () =
p
|f f
|
p
Lp
=
_
R
n
_
R
n
(y)(f(x) f(x y)) dy
p
dx
_
R
n
_
R
n
(y)[f(x) f(x y)[

p
dy
dx
e podemos prosseguir como na Proposi c ao B.1.1.
Note-se que para p = o resultado anterior e falso. No entanto temos
Proposi cao B.1.4. Seja f C
0
(R
n
). Ent ao f
f uniformemente em cada compacto de R

n
.
Demonstra c ao. Seja K um compacto de R
n
, e x K. Temos
[f
(x) f(x)[ =
_
B(0)
(f(x y) f(x))
(y) dy
sup
yB(0)
[f(x y) f(x)[.
O resultado segue da continuidade uniforme de f numa vizinhan ca fechada de ordem
0
> de
K, isto e, em K
0
x R
n
: dist(x, K)
0
.
62
B.1. Sucess oes de molicadores
Outra aplica c ao das mesmas ideias consiste no estabelecimento da existencia de fun c oes de
corte. Por exemplo
Proposi cao B.1.5. Seja E R
n
e
E
a respectiva fun c ao caracterstica. Dado > 0 existe
uma fun c ao
E,
que e identicamente 1 em E, 0 no complementar da vizinhan ca de ordem
de E, isto e (x) = 0 se dist(x, E) > , e 0 1 em R
n
.
Demonstra c ao. Seja E
/2
a vizinhan ca de ordem /2 de E, isto e,
E
= x R
n
: dist(x, E) < /2.
Como E
/2
e aberto a respectiva fun c ao caracterstica,
E
/2
, e localmente som avel e pode
considerar-se, para 0 < < /2, a convolu c ao

E
/2
.
Dos resultados anteriores segue com relativa facilidade o teorema de existencia das parti c oes
da unidade. As parti c oes da unidade constituem uma ferramenta indispens avel para a extens ao
de resultados locais a resultados globais.
Teorema B.1.6 (Parti c oes da unidade). Seja S R
n
e O = U
A
uma cobertura aberta de
S. Existe uma famlia cont avel de fun c oes reais denidas em R
n
com valores em [0, 1],
j
jN
,
tais que
i) para cada j N temos
j
C
c
(R
n
);
ii) para cada x S temos
j=1

j
(x) = 1;
iii) para cada j N existe
j
A tal que supp
j
U
;
iv) para cada x S existe uma vizinhan ca de x, V
x
, que s o intersecta um n umero nito de
suportes de fun c oes
j
.
Tal famlia de fun c oes designa-se por uma parti c ao da unidade localmente nita
2
subordinada ` a
cobertura O de S.
Demonstra c ao. Come camos por observar que se e uma fun c ao de corte relativa a S e
j
jN
e uma parti c ao da unidade subordinada a uma cobertura aberta de S ent ao
j
jN
continua
a ser uma parti c ao da unidade subordinada ` a mesma cobertura. Outra observa c ao elementar
consiste em vericar que se S
S e O e uma cobertura aberta de S
ent ao uma parti c ao

da unidade relativa a S
e subordinada a uma cobertura aberta O e tambem uma parti c ao da

unidade relativa a S e subordinada a O. Da segunda observa c ao segue que podemos supor sem
perda de generalidade que S =
A
U
e consequentemente que S e um aberto.

Suponhamos assim que S e um aberto e que o resultado se encontra demonstrado no caso em
que S e um compacto. Note-se que para compactos podemos sup or que a parti c ao da unidade
est a subordinada a uma subcobertura nita. Escrevemos S como uma uni ao numer avel de
compactos
3
, isto e, S =
+
i=1
K
i
em que cada K
i
e compacto e est a contido no interior de K
i+1
,
K
0
i+1
. Convencionamos K
0
= K
1
= . Para cada i N seja
i
uma fun c ao de corte relativa a
K
i
K
0
i1
tal que supp
i
K
i+1
K
i2
. Seja
ij
j
uma parti c ao da unidade subordinada a
uma subcobertura nita de K
i+1
K
0
i1
por O. Denimos
ij
(x) =
_
i(x)ij(x)
P
ij
i(x)ij(x)
se
ij
(x) ,= 0
0 se
ij
(x) = 0
notando que a constru c ao efectuada garante que a soma no denominador e nita e positiva para
cada x S. A famlia
ij
ij
e a parti c ao da unidade desejada.
2
A express ao localmente nita refere-se ` a propriedade iv.
3
Uma f ormula explcita para tais conjuntos K
i
e K
i
= {x S : |x| i, dist(x, S) 1/i}.
63
Apendice B. Convolu c ao e regulariza c ao
Resta demonstrar o teorema para o caso em que S e compacto. Como j a observ amos podemos
sup or estar a lidar com uma cobertura nita. A ideia da demonstra c ao neste caso baseia-se na
constru c ao de uma outra cobertura de V
A
tal que para cada temos V
. Para
demonstrar que tal e possvel suponha-se que escrevemos a cobertura original na forma
U
: A, ,=
Se U
: A, ,= ainda f or uma cobertura de S denimos V
= . Caso contr ario notamos

que dist(U
, S
A,=
U
) > 0 pelo que podemos tomar V
como sendo uma vizinhan ca

conveniente de S
A,=
U
. Continuando este argumento indutivamente, e notando que

estamos a lidar com uma subcobertura nita, vericamos que efectivamente podemos construir
uma tal cobertura V
A
. Denimos ent ao fun c oes de corte
relativas a V
e com supp
. A parti c ao da unidade desejada ser a
A
em que
(x) =
_
(x)
P
A
(x)
se
(x) ,= 0,
0 se
(x) = 0.
64
Apendice C
Problemas Adicionais
Exerccio C.1. Considere o problema de Cauchy
_
_
_
2
u
t
2
(x
2
+ 1)
2
u
x
2
= x +t
2
,
u(x, 0) = x + 1,
u
t
(x, 0) = x
2
1.
a) Justique que existe uma vizinhan ca da origem tal que a solu c ao u do problema existe e e
unica nessa vizinhan ca.
b) Determine um polin omio de segundo grau p em x e t tal que u p = o(x
2
+t
2
).
Exerccio C.2. Seja R
n
um aberto, u L
1
loc
(), e K um conjunto aberto convexo tal que
K . Convenciona-se que e
i
1in
designa a base ortonormal usual de R
n
.
a) Justique que se existe i tal que para todo o h vericando [h[ temos
_
(u(x +he
i
) u(x))(x) dx = 0
para todo o C
c
(K) ent ao u e s o fun c ao de x
1
, . . . , x
i1
, x
i+1
, . . . , x
n
em quase todo o
K.
b) Mostre que a conclus ao anterior e verdadeira se para todo o C
c
(K) temos
_
u(x)

x
i
dx = 0.
c) Suponha agora que v L
1
loc
() e tal que a aplica c ao
C
c
(K)
_
vDdx R
tem como contradomnio um subespa co de dimens ao k de R
n
. Generalize o resultado de
(b) a esta situa c ao.
d) Como dever a adaptar o resultado de (c) ao caso em que K n ao e necessariamente convexo?
Exerccio C.3. Seja , um aberto limitado de R
n
, f : R uma fun c ao tal que f(x) 0
para todo o x , e u C
2
() C
0
() tal que u = f em .
a) Prove que se M = m ax
x
u(x) ent ao u M em . [Sugestao: Comece por considerar
f > 0. Para o caso geral considere v
(x) = u(x) +[x[

2
.]
65
Apendice C. Problemas Adicionais
b) Prove que a solu c ao de
_
u = f em
u = g em
se existir e unica em C
2
() C
0
().
Exerccio C.4 (Equa c ao bi-harm onica). Considere o problema
_
_
_
u = f, em R
n
u = 0, sobre
u
= 0, sobre
em que e limitado e tem fronteira regular (no sentido de aplicabilidade do teorema de Gauss).
a) Demonstre a rela c ao
_
(u)
2
dx =
_
uf dx
v alida para u C
4
().
b) Prove a unicidade de solu c ao do problema em C
4
().
c) Formule o que signica : R
n
R, L
1
loc
(R
n
), ser uma solu c ao fundamental da
equa c ao bi-harm onica.
d) Determine uma solu c ao fundamental
1
da equa c ao bi-harm onica quando n = 2.
Exerccio C.5. Considere a equa c ao diferencial parcial linear de quarta ordem
Lu
_

2
t
2
c
2
1
__

2
t
2
c
2
2
_
u(x, t) = 0 (C.1)
em que c
1
, c
2
s ao constantes n ao nulas e u : R
3
R R. Esta equa c ao e conhecida por equa c ao
das ondas el asticas.
Dene-se
M(u)(x, r, t) =
1
2
r
2
_
Br(x)
u(y, t) dS(y).
a) Verique que para u sucientemente regular M(u)(x, , ) satisfaz a equa c ao diferencial
parcial
Lu
_
2
t
2
c
2
1
2
r
2
__

2
t
2
c
2
2
2
r
2
_
rM(u)(x, r, t) = 0.
b) Use (a) para resolver o problema de valores iniciais geral cl assico para a equa c ao (C.1).
Exerccio C.6 (Equa c ao de Burger). Considere que v : R]0, +[R e uma solu c ao positiva
e regular da equa c ao diferencial parcial
v
t
=
2
v
x
2
para t > 0, sendo um par ametro positivo.
1
Recorda-se que se n = 2 uma solu c ao fundamental da equa c ao de Laplace e dada por
(x) =
1
2
log |x|.
66
a) Verique que w denida por w
2
v
v
x
e uma solu c ao da equa c ao de Burger
w
t
+w
w
x
=
2
w
x
2
(C.2)
b) Mostre que, ao contr ario do que aconteceria se = 0, existem fun c oes n ao nulas C
2
c
(R)
tais que existe uma solu c ao regular de (C.2) satisfazendo w(x, 0) = (x) e tal que
lim
t
w(x, t) = 0.
Exerccio C.7. Seja S um semi-espa co em R
2
e u uma fun c ao harm onica em C
0
(S). Prove que
se u e limitada ent ao
sup
S
u sup
S
u.
Exerccio C.8. Dada uma fun c ao w : R
n+1
R sucientemente regular, e com suporte
contido em R
n
[0, +[, considere o problema
_
_
_
2
u
t
2
u = w(x, t), para t R e x R
n
,
u(x, 0) = 0, para x R
n
,
u
t
(x, 0) = 0, para x R
n
.
(C.3)
a) Verique que a solu c ao u do problema (C.3) e dada por
u(x, t) =
_
t
0
v(x, t s; s) ds (C.4)
em que v(, ; s) com s R e a solu c ao de
_
_
_
2
v
t
2
v = 0, para t R e x R
n
,
v(x, 0; s) = 0, para x R
n
,
v
t
(x, 0; s) = w(x, s), para x R
n
.
b) Determine para cada (x
0
, t
0
) a menor regi ao de R
n+1
em que w inuencia o valor de
u(x
0
, t
0
).
c) No caso da dimens ao espacial ser n = 1, explicite o segundo membro de (C.4) em termos
de w e de-lhe a forma w E com E uma certa fun c ao em L
(R
2
) e a convolu c ao em R
2
.
d) Use (c) para adivinhar uma solu c ao fundamental da equa c ao das ondas quando n = 1 e
verique que o seu palpite est a correcto.
Exerccio C.9 (Equa c oes de primeira ordem). Considere a equa c ao diferencial parcial real de
primeira ordem
u
x
+u
u
y
= 1 (C.5)
em que u = u(x, y). Determine para que valores de k a condi c ao inicial u(x, x) = k implica a
existencia e unicidade de solu c ao de (C.5) em C
1
(U) com U uma vizinhan ca da recta x = y.
Determine u nesses casos. Comente o que se passa para o(s) outro(s) valores de k.
Exerccio C.10 (Solu c oes fundamentais). a) Seja f C
(R
n
) 0, com n 3, e tal que
f(h) = O([h[
2n
), Df(h) = O([h[
1n
), quando h 0. Justique que para toda a fun c ao
C
c
(R
n
) temos
_
R
n
f

x
i
dx =
_
R
n
f
x
i
dx.
67
b) Diga o que signica uma fun c ao g L
1
loc
ser uma solu c ao fundamental
2
do operador div.
c) A partir duma solu c ao fundamental do laplaciano, , determine uma solu c ao fundamental
do operador div.
Exerccio C.11. Sejam T : R
n
R
n
uma aplica c ao linear invertvel, e L um operador diferen-
cial linear de segunda ordem com coecientes constantes. Designe por L
T
o operador L ap os a
mudan ca de coordenadas y = Tx. Relacione as solu c oes fundamentais de L e L
T
. [Admita se
desejar que as solu c oes fundamentais de T est ao em L
1
loc
.]
Exerccio C.12 (Um princpio de reex ao). Seja R
n
, n 2, um conjunto aberto.
Convenciona-se escrever, para todo o a R
n
, a = ( a, a
n
) com a R
n1
, a
n
R. Sup oe-
se que e tal que se ( x, x
n
) ent ao ( x, x
n
) e que existe ( x, 0) . Dene-se
+
= ( x, x
n
) : x
n
> 0. Sup oe-se que u C
1
(
+
) C
2
(
+
) verica
_
u = 0, em
+
,
u
= 0, sobre
+
,
em que e a normal exterior a
+
, isto e, = e
n
.
a) Verique que v : R denida por
v( x, x
n
) =
_
u( x, x
n
), se x
n
0,
u( x, x
n
), se x
n
0,
e harm onica com a possvel excep c ao dos pontos de sobre o hiperplano x
n
= 0.
b) Seja ( x
0
, 0)
+
, e B uma bola centrada em ( x
0
, 0) e contida em . Exprima, em
termos do n ucleo de Poisson
3
e dos valores de v sobre B, a solu c ao do problema
_
w = 0, em B
w = v, sobre B
c) Mostre que w( x, x
n
) = w( x, x
n
) para todo o ( x, x
n
) B.
d) Seja z
+
= w v denida em
+
B. Mostre que se z
+
,= 0 ent ao existe ( x
1
, 0) B tal
que
z
+
x
n
( x
1
, 0) ,= 0.
e) Justique que (d) contradiz (c) e consequentemente w = v em B e portanto v e harm onica
em .
Exerccio C.13 (Unicidade em problemas eliptcos). Seja R
n
um aberto limitado e L um
operador diferencial de segunda ordem actuando em fun c oes de C
2
() atraves de
Lu =
n
i,j=1
a
ij
(x)

2
u
x
i
x
j
em que os coecientes a
ij
s ao uniformemente limitados em e satisfazem para um certo > 0
i,j=1
a
ij
(x)
i
j
[[
2
para todo o R
n
e todo o x .
2
Se n 3 uma solu c ao fundamental para o Laplaciano, , e dada por (x) =
1
n(2n)
|x|
2n
.
3
O n ucleo de Poisson e dado por K(x, y) =
1|x|
2
n|xy|
n
no caso da bola unit aria B
1
(0).
68
a) Suponha conexo. Seja = S
1
S
2
com S
1
n ao vazio e suponha-se que para cada
ponto de S
2
existe uma bola contida em e tangente a nesse ponto. Suponha-se que
u C
2
() C
1
( S
2
) C
0
() satisfaz
_
_
_
Lu = 0, em ,
u = 0, em S
1
,
i
D
i
u = 0, em S
2
,
em que o vector (x) = (
i
)
i=1,...,n
tem uma componente normal relativamente a n ao
nula em cada ponto de S
2
. Mostre que u = 0.
b) Suponha-se que para cada ponto de existe uma bola contida em e tangente a
nesse ponto. Suponha-se que u C
2
() C
1
() satisfaz
_
Lu = 0, em ,
(x)u +
i
D
i
u = 0, em ,
em que o vector (x) = (
i
)
i=1,...,n
e o campo escalar satisfazem ( ) > 0 com a
normal exterior a . Mostre que u = 0.
Exerccio C.14 (Fun c oes harm onicas). Considere o problema
_
u = 0, em ,
u = , sobre ,
em que R
2
est a denido por
= (x, y) R
2
: (x 1)
2
+ (y 1)
2
> 1, (x + 1)
2
+ (y + 1)
2
> 1,
(x 1)
2
+ (y + 1)
2
> 1, (x + 1)
2
+ (y 1)
2
> 1, [x[ < 1, [y[ < 1
e e uma fun c ao contnua em .
a) Decida se pode garantir a existencia de solu c ao deste problema. Justique.
b) Estime, t ao bem quanto puder, um intervalo I R tal que possa garantir u(0, 0) I.
Justique.
c) Prove que
u(x, y) = u(y, x) = u(x, y) = u(x, y) = u(x, y) =
= u(y, x) = u(x, y) = u(y, x)
para todo o (x, y) .
d) Proponha uma generaliza c ao do resultado anterior para fun c oes harm onicas num aberto
de R
n
vericando certas propriedades de simetria com valores na fronteira invariantes
relativamente a essa simetria.
e) Prove as arma c oes sobre invari ancia de que eventualmente usou em (c) e (d).
Exerccio C.15. Considere o problema de valore iniciais para a equa c ao de Schrodinger linear
para fun c oes u : R R
n
C
i
u
t
u = 0, u(0, x) = u
0
(x).
Obtenha as estimativas
69
a)
|u(, t)|
2
= |u
0
|
2
.
b)
|u(, t)|
(4t)
n/2
|u
0
|
1
.
Exerccio C.16 (Desigualdade de Harnack). Considere uma fun c ao g : B
1
(0) R
n
R
harm onica positiva. Mostre que
1 [x[
(1 +[x[)
n1
g(0) g(x)
1 +[x[
(1 [x[)
n1
g(0)
para todo o x B
1
(0).
Exerccio C.17 (Princpios de m aximo). Seja um aberto limitado de R
n
. Considere uma
fun c ao contnua v : R tal que:
Para todo o x
0
existe r = r(x
0
) < dist(x
0
, ) tal que
v(x
0
) =
_
Br(x0)
v(x)dS(x)
_
Br(x0)
dS(x)
. (C.6)
Suponha que em existe sempre solu c ao do problema de Dirichlet para a equa c ao de Laplace
com valores na fronteira contnuos.
a) Prove que v satisfaz o princpio de m aximo fraco.
b) Prove que v e harm onica.
c) Mostre que todas as fun c oes contnuas no fecho dum aberto limitado de R
2
, com fronteira
localmente lipschitziana, que veriquem a condi c ao (C.6) s ao harm onicas.
Exerccio C.18 (Metodos de energia). Considere a equa c ao de Hopf
u
t
+u
u
x
= 0
e a equa c ao de Burger
u
t
+u
u
x
=
2
u
x
2
.
em que > 0.
a) Mostre que uma solu c ao regular u da equa c ao de Hopf com suporte limitado na direc c ao x
verica
t
_
R
u
2
(t, x) dx = 0.
b) Mostre que uma solu c ao regular u da equa c ao de Burger de decrescimento r apido na direc-
c ao x verica
t
_
R
u
2
(t, x) dx =
_
+
_
u
x
_
2
dx 0.
Exerccio C.19 (Equa c ao do calor, metodo da energia e unicidade). Seja U R
n
um domnio
regular, T > 0 e considere o problema que consiste em determinar v C
2
(]0, T[U)C
0
(]0, T]
U) tal que
_
_
v
t
v = f em ]0, T[U,
v(T, x) = (x) para x U,
v(t, x) = g(t, x) para (t, x) [0, T] U.
Pretende-se estabelecer unicidade de solu c ao para este problema.
Seja w a diferen ca entre duas solu c oes deste problema e considere E(t) =
_
U
w
2
(t, x) dx.
70
a) Mostre que w satisfaz
dE
dt
= 2
_
U
[w[
2
dx 0.
b) Mostre que basta demonstrar o resultado supondo E(T) = 0 e E(t) > 0 para 0 t T.
c) Mostre que w satisfaz
d
2
E
dt
2
= 4
_
U
(w)
2
dx 0.
d) Mostre que E satisfaz a desigualdade diferencial (
dE
dt
)
2
E(t)
d
2
E
dt
2
.
e) Mostre que F(t) log E(t) e uma fun c ao convexa.
f) Conclua que w e identicamente nula.
71
72
Bibliograa
Bibliograa
[1] V. I. Arnold. Chapitres Supplementaires de la Theorie des

Equations Dierentielles Ordi-
naires, captulo

Equations aux derivees partielles du premier ordre. Mir, Moscow, 1985.
2.4
[2] H. Brezis. Analyse fonctionnelle. Mathematiques Appliquees pour la matrise. Masson,
Paris, 1983.
[3] R. Courant e D. Hilbert. Methods of Mathematical Physics, volume II. Interscience, New
York, 1964. 4, 2.4
[4] Robert Dautray, Jacques-Louis Lions, Marc Authier, Philippe Benilan, e Michel Cessenat.
Loperateur de Laplace, volume 2 de Analyse mathematique et calcul numerique pour les
sciences et les techniques. Masson, Paris, 1987.
[5] Lawrence C. Evans. Partial Dierential Equations. Graduate Studies in Mathematics.
American Mathematical Society, Providence, Rhode Island, 1998.
[6] G. Folland. Introduction to Partial Dierential Equations, volume 17 de Mathematical Notes.
Princeton University Press, Princeton, New Jersey, 1976.
[7] K. O. Friedrichs. Special Topics in Fluid Dynamics. Gordon and Breach, 1966.
[8] P. R. Garabedian. Partial Dierential Equations. Wiley, New York, 1964. 4
[9] D. Gilbarg e N. S. Trudinger. Elliptic Partial Dierential Equations of Second Order, vo-
lume 224 de Grundlehren der Mathematischen Wissenschaften. Springer-Verlag, Berlin,
Heidelberg, New York, Tokyo, 1983. 6.1
[10] S. Goldstein. Lectures on uid dynamics. Seminar in Applied Mathematics, Boulder, Colo-
rado, 1957.
[11] M. E. Gurtin. An Introduction to Continuum Mechanics. Academic Press, New York, 1981.
[12] M. E. Gurtin. Topics in Finite Elasticity. CBMS Series in Applied Mathematics. American
Mathematical Society, Providence, Rhode Island, 1981.
[13] E. Hopf. Elementare bemerkungen uber die losungen partieller dierentialgleichungen zwei-
ter ordnung vom elliptischen typus. Sitber. preuss. Akad. Wiss. Berlin, 19:147152, 1927.
[14] L. Hormander. Linear Dierential Operators. Springer-Verlag, Berlin, Heidelberg, New
York, Tokyo.
[15] F. John. Partial Dierential Equations, volume 1 de Applied Mathematical Sciences.
Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, quarta
a
edi c ao, 1971. 4, 2.4, 2.5
[16] S. Kesavan. Topics in Functional Analysis and Applications. Wiley Eastern, New Delhi,
1989.
73
Bibliograa
[17] H. Lamb. Hydrodynamics. Cambridge, 1932.
[18] H. Lewy. An example of a smooth linear partial dierential equation without solution. Ann.
of Math., 66:155158, 1957. 5.4
[19] L. G. Loitsyanskii. Mechanics of Liquids and Gases. Pergamon Press, 1966.
[20] R. Meyer. Introduction to Mathematical Fluid Dynamics. Wiley, New York, 1971.
[21] Louis Nirenberg. On elliptic partial dierential equations. Ann. Scuola Norm. Sup. Pisa,
13:115162, 1959.
[22] Petrovsky. Lectures on Partial Dierential Equations. Interscience, New York.
[23] L. Schwartz. Methodes Mathematiques pour les Sciences Physiques.
[24] J. Serrin. Mathematical Principles of Classical Fluid Dynamics, volume VIII/1 de Handbuch
der Physik. Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1960.
[25] James Serrin. A symmetry problem in potential theory. Arch. Rational Mech. Anal., 43,
1971. 3.7
[26] Smoller. Reaction-Diusion Equations. Springer-Verlag, Berlin, Heidelberg, New York,
Tokyo.
[27] Sobolev. Partial Dierential Equations of Mathematical Physics. Pergamon Press, Oxford,
1962.
[28] M. Spivak. Calculus on Manifolds. Benjamin, New York.
[29] M. Spivak. C alculo en Variedades. Benjamin, New York, 1975.
[30] F. Tr`eves. Basic Linear Partial Dierential Equations. Academic Press. 5
[31] C. A. Truesdell e R. A. Toupin. The Classical Field Theories, volume III/l de Handbuch der
Physik. Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1960.
[32] C. C. Wang. Mathematical Principles of Mechanics and Electromagnetism. Plenum, 1979.
[33] H. F. Weinberger. Introduction to Partial Dierential Equations. Blaisdell. 3.7
[34] Hans F. Weinberger. Remark on the preceding paper of Serrin. Arch. Rational Mech. Anal.,
43, 1971.
[35] Hans F. Weinberger e M. H. Protter. Maximum Principles in Dierential Equations.
Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1984.
74
Lista de Figuras
Lista de Figuras
2.1 Problema de Cauchy para EDPs de 1
a
ordem . . . . . . . . . . . . . . . . . . . . 5
2.2 Choque e blow-up de v
t
+v
x
v = 0 . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3.1 Fun c ao de Green num semi-espa co . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.2 Fun c ao de Green numa bola . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.3 Estimativas na demonstra c ao do teorema de Liouville . . . . . . . . . . . . . . . 25
3.4 Levantamento harm onico. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
6.1 O lema do ponto fronteiro de Hopf. . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
7.1 Projec c ao num convexo fechado e n ao vazio . . . . . . . . . . . . . . . . . . . . . 48
A.1 Cinem atica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
75
Indice remissivo
alternativa de Fredholm, 40
barreira, 28
caractersticas, 4
caracterstica, 8, 13
Cauchy-Kowalewska, 39
condi c ao de Cauchy, 3
condi c ao do cone exterior, 29
conserva c ao de massa, 58
conserva c ao do momento angular, 59
conserva c ao do momento linear, 58
convolu c ao, 61
coordenadas
espaciais, 6
eulerianas, 6
lagrangianas, 6
materiais, 6
coordenadas espaciais, 57
coordenadas materiais, 57
desigualdade de Jensen, 62
desigualdades de Harnack, 25
elptico, 40
equa c ao de movimento, 58
equa c ao
diferencial
parcial, 1
linear, 1
quase-linear, 1
eulerianas, 57
f ormula de Green, 17
f ormula integral de Poisson, 20
forma bilinear
contnua, 49
fun c ao convexa, 62
fun c ao de Green, 19
fun c ao Holderiana, 31
fun c oes de corte, 63
fun c oes harm onicas, 16
fun c oes Lipschitzianas, 31
hipersuperfcie
n ao caracterstica, 5, 11
invers ao, 20
lagrangianas, 57
leis de conserva c ao, 58
lema de Weyl, 33
levantamento harm onico, 27
localmente nita, 63
metodo de Perron, 26
medida de Haar, 16
n ucleo de Poisson, 20
n ao-caracterstica, 9
operadores uniformemente elpticos, 43
ou produto de convolu c ao, 61
parte principal, 39
parti c oes da unidade, 63
Picard-Lindelof, 39
ponto regular, 28
potencial de Newton, 30
princpio de m aximo, 22, 43
forte, 22
fraco, 23
problema
de Cauchy, 3
de Dirichlet, 15, 21
de Neumann, 15
de valores na fronteira, 15
problema de Dirichlet para a equa c ao de Pois-
son, 30
problema de Neumann, 15, 16
problema de valores iniciais, 15
projec c oes caractersticos, 4
smbolo, 39
sistema
caracterstico, 6, 7, 9, 11, 13
caracterstico, 4
76
Indice remissivo
caracterstico, 11
de equa c oes diferenciais parciais, 1
determinado, 1
linear, 1
quase-linear, 1
solu c ao de Perron, 28
solu c oes fundamentais radiais n-dimensionais da
equa c ao de Laplace, 18
solu c oes
fracas, 8
subfun c oes, 26
subharm onicas, 22
superfun c oes, 26
superharm onicas, 22
teorema
de Cauchy-Kowalewska, 40
teorema de unicidade de Holmgren, 40
teorema do valor medio, 21
tra cos caractersticos, 4
transforma c ao de Kelvin, 20
variedade caracterstica, 39
vectores caractersticos, 39
77

IEDPS

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

IEDPS

Enviado por

Direitos autorais:

Formatos disponíveis

Introdu c ao ` as

Equa c oes Diferenciais Parciais

= a(X(, s), U(, s)), X(0, s) = (s)

= b(X(, s), U(, s)), U(0, s) = (s)

= det[ a((s), (s))

E sugerido pela Figura 2.2 e f acil de vericar analiticamente que para v

(x) F(u(x)) +(x)g(x) dx = 0. (2.8)

(p). Suponha que u C

designa deriva c ao normal exterior e f, g, s ao fun c oes dadas, est ao essencialmente

E possvel provar que a constru c ao anterior dene efectivamente u

como uma fun c ao que s o

= 0 pelo que os resultados desta constru c ao

(0). Considerando u = w denido por (3.4) obtem-se

(y) . Substitua-se em (3.6) por B

em termos dum integral de u e obtenha o

3.8 Ainda o teorema do valor medio

Outro tipo de aplica c ao e a obten c ao das desigualdades de Harnack e de teoremas relativos ` a

A desigualdade de Harnack tem como consequencia imediata podermos, nalgumas circuns-

e uma fun c ao h harm onica em B

B temos que tanto h como w s ao harm onicas. Em B

como j a tnhamos visto. Pode assim

B para concluir que h w.

o conjunto de todas as subfun c oes. Notamos que a fun c ao

pelo que o supremo est a bem denido. Tomamos

, v(x) > w(x). Dena-se, para todo o k N, v

(y) = kz(y) + +(x),

(y) = kz(y) +(x).

em que C designa a constante da desigualdade (3.26) relativa a um compacto K e k N e

E uma consequencia quase imediata deste resultado e do metodo de Perron:

R uma fun c ao harm onica

: (x, x) : x R relativa ao operador

(x, y) + (x, y) em que h

e uma solu c ao do problema

(x, y) = 0, para todos os x, y ,

(x, y) = (x, y), para todo o x e todo o y .

(x, y) < 0 para todos os x, y ,

(y, x) para todos os x, y ,

sobre S j a que todas as derivadas

= f(t, y). No entanto n ao existe um resultado

. De facto existem exemplos, s o obtidos

para as quais n ao existe solu c ao (5.4).

u(x) um operador diferencial linear actuando sobre fun c oes C

(R) peri odica.

e sobrejectivo para [t [ pequeno. A desigualdade (6.5) garante que qualquer

um funcional linear contnuo. Ent ao

x : dist(x, ) > e [t[ <

) logo podemos armar

). Podemos ent ao garantir que existe uma sucess ao (t

. Como raciocin amos

f. Verica-se com facilidade que a famlia de fun c oes

s pode ser estimado uniformemente. Notando ent ao que

u(x) v(x) +u(x)v(x) dx =

f(x)v(x) dx para todo o v W

u(x) v(x) +u(x)v(x) dx,

Figura A.1: Cinem atica.

ANICA DOS MEIOS CONT

ANICA DOS MEIOS CONT

, com suporte compacto contido

de suporte compacto num aberto R

dx dene uma probabilidade para cada > 0. Se f L

. Por esse motivo, a famlia (f

(y)(f(x) f(x y)) dy

(y)[f(x) f(x y)[ dxdy

(y)[f(x) f(x y)[ dy dx.