Livro de EDP

Universidade de Braslia
Instituto de Cincias Exatas

Departamento de Matemtica
Notas de EDP2
(verso 1.2)
por
Marcelo Furtado
Braslia
2012
Sumrio
Prefcio 1
Notaes 2
Introduo 3
1 Funes harmnicas 8
1.1 A propriedade da mdia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2 Regularidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3 O Princpio do Mximo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2 O problema de Poisson 20
2.1 A soluo fundamental e o Potencial Newtoniano . . . . . . . . . . . . . . 20
2.2 O Mtodo de Perron e a soluo do problema de Poisson . . . . . . . . . . 27
2.3 A funo de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3 Operador lineares de 2a ordem 36
3.1 Princpios de Mximo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.2 Alguns resultados abstratos . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.2.1 O mtodo da continuao . . . . . . . . . . . . . . . . . . . . . . . 50
3.2.2 Espaos de Hlder, imerses contnuas e compactas . . . . . . . . . 53
3.3 O teorema de existncia de Schauder . . . . . . . . . . . . . . . . . . . . . 58
3.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4 Espaos de Sobolev 66
4.1 Derivadas Fracas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.2 Espaos de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
4.3 Aproximao por funes suaves . . . . . . . . . . . . . . . . . . . . . . . . 77
4.4 Imerses dos espaos W
k,p
. . . . . . . . . . . . . . . . . . . . . . . . . . . 81
4.4.1 O caso p < n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
4.4.2 O caso p n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
4.5 Imerses compactas de W
k,p
. . . . . . . . . . . . . . . . . . . . . . . . . . 97
ii
4.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
5 Solues fracas para equaes lineares de 2a ordem 105
5.1 Existncia de soluo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
5.1.1 Alternativa de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . 114
5.1.2 Os autovalores de L . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
5.2 Espectro de . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
5.3 Regularidade de solues . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
5.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
Bibliograa 133
Notas de EDP2 verso 1.2
Prefcio
Este trabalho teve como origem as notas de aula de um curso de Equaes Diferenciais
Parcias 2 ministrado no primeiro semestre de 2007. O texto est baseado fundamental-
mente nos livros de deFigueiredo [5], Evans [4], Gilbarg-Trudinger [6] e Ponce [11]. Os
assuntos aqui tratados esto relacionados somente com equaes elpticas de segunda or-
dem. Os exerccis ao nal de cada captulo foram retirados tambm de algumas listas
de exerccios encontradas na Internet. Alguns so resultados clssicos que vm acompa-
nhado de referncias com o intuito de no tornar o texto muito extenso. Acreditamos que
o material aqui apresentado pode ser coberto em um curso de 60 horas.
A existncia dessas notas no teria sido possvel sem a ajuda dos alunos no traba-
lho de digitao, de modo que nos coube somente uma poro menor de digitao e a
reviso/homogenizao do texto. Sendo assim, no poderamos deixar de registrar aqui
nosso agradecimento a todos que ajudaram na tarefa de digitao, quais sejam: Adriana
Flores, Anyelle Nogueira, Janete Carvalho, Jeerson Abrantes, Laura Lobato, Manuela
Rezende, Mariana Reis, Maxwell Lizete, Miguel Cezana, Nilton Barroso, Pablo Pinheiro,
Ricardo Ruviaro. Agradecemos ainda Walter Batista e Gilberto Vieira que forneceram as
anotaes manuscritas das aulas.
Como comum nesse tipo de material, o texto est ainda incompleto. Pre-
tendemos incluir vrias aplicaes que tero origem em seminrios de cursos
posteriores. Algumas dessas aplicaes esto digitadas mais no foram ainda
revisadas, de modo que preferimos no inclu-las nesse primeira verso. Desde
j peo desculpas queles que digitaram algum seminrio e ainda no o en-
contraram nessa verso das notas.
Tendo em vista o crater dinmico que gostaramos de dar a essas notas convido a todos
que tenham sugestes/correes que as envie para o endereo eletrnico mfurtado@unb.br.
Marcelo Fernandes Furtado
Dep. de Matemtica - UnB
Notaes
R
n
ser sempre um aberto
B
r
(y) = x R
n
: [x y[ < r a bola aberta de centro y R
N
e raio r > 0

n
=
_
B
1
(0)
1dx o volume da bola unitria
dados abertos
0
, R
n
escrevemos
0
quando
0
est compactamente
contido em , isto ,
0
um compacto contido em
C
k
() o conjunto de todas as funes u : R que possuem derivadas at ordem
k contnuas em
C
k,
() o conjunto de todas as funes u : R cujas derivadas at ordem k
so Hlder contnuas.
u
+
(x) = maxu(x), 0, u
(x) = maxu(x), 0
Introduo
Estamos interessados em estudar a seguinte equaes diferencial parcial
Lu = f em ,
onde R
n
aberto, f : R uma funo contnua, o operador diferencial L atua
sobre funes u : R duas vezes diferenciveis e tem uma das seguintes formas
Lu =
n
i,j=1
a
ij
(x)u
x
i
x
j
+
n
i=1
b
i
(x)u
x
i
+ c(x)u
ou
Lu =
n
i,j=1
(a
ij
(x)u
x
i
)
x
j
+
n
i=1
b
i
(x)u
x
i
+ c(x)u,
com a
ij
, b
i
, c : R tendo algum tipo de regularidade que especicaremos no momento
oportuno e
u
x
i
:=
u
x
i
, u
x
i
x
j
:=

2
u
x
i
x
j
denota as derivadas parciais de ordem da funo u.
Um exemplo importante do problema acima o caso em que b
1
b
n
c 0 e
a
ij
(x) =
ij
=
_
1, se i = j,
0, se i ,= j.
Nesse caso a equao se torna a conhecida equaes de Poisson.
u =
j
i=1
u
x
i
x
i
= f em .
Introduo 4
No caso em que f 0 temos a equao de Laplace
u = 0 em .
Se a dimenso n igual a 3, E = (E
x
, E
y
, E
z
) um campo vetorial eltrico de R
3
em
R
3
e : R uma distribuio de cargas, prova-se que
div E = 4 em ,
onde div E a divergncia do campo E, isto ,
div E =
E
x
x
+
E
y
y
+
E
z
z
.
Em particular, quando o campo E um campo potencial, existe uma funo u : R
tal que
E = u =
_
u
x
,
u
y
,
u
z
_
.
Temos ento, divE = div(u) = u, e portanto a funo u satisfaz a seguinte equao
de Poisson
u(x, y, z) = 4(x, y, z), (x, y, z) .
No caso bidimensional n = 2 verica-se que, se u(x, y) a temperatura de uma chapa
metlica em equilbrio trmico, ento u satisfaz a equao de Laplace
u(x, y) = 0, (x, y) ,
onde R
2
uma regio do plano que representa a chapa metlica.
Observe que se uma funo u : R tal que u = f em ento, para toda
constante R, a funo v(x) = u(x) + ainda satisfaz a mesma equao. Sendo assim,
cabe a seguinte pergunta: que tipo de imposio precisamos fazer para obter unicidade
de solues para o problema prtico com o qual estamos trabalhando?
Uma idia seria ter algum controle do que acontece com a soluo na fronteira do
conjunto . Isso nos leva formulao do seguinte problema: dado um aberto R
n
com fronteira sucientemente regular e uma funo contnua g : R, encontrar
uma funo u : R contnua e duas vezes derivvel em tal que
_
u = 0 em ,
u = g em .
Introduo 5
O problema acima conhecido como Problema de Dirichlet. Podemos fazer a mesma
formulao para a equao de Poisson. Nesse caso o problema
_
u = f em ,
u = g em ,
onde e g so como antes e f : R contnua.
O objetivo principal dessas notas estudar as seguintes questes relativas a problemas
como os acima mencionados:
1. existncia de soluo;
2. unicidade da soluo;
3. como a soluo varia quando variamos os dados de fronteira.
Nos casos em que houver existncia de soluo vamos ainda estabelecer algumas proprie-
dades qualitativas dessas solues.
A m de estabelecer de uma maneira mais clara alguns problemas a serem estudados
vamos no que segue xar algumas notaes.
Dado um aberto R
n
denotamos o conjunto das funes reais contnuas denidas
em por
C() := u : R : u contnua em .
Se k N 0 um inteiro no negativo, um multi-ndice de ordem k uma n-upla
= (
1
, . . . ,
n
) tal que
[[ :=
1
+ +
n
= k,
onde
i
N 0. O nmero [[ acima chamado ordem do multi-ndice . Se [[ 1
e u C(), denotamos
D
u :=

k
u
1
x
1

n
x
n
,
quando a derivada mista do lado direito acima existe. A m de facilitar a notao escre-
vemos ainda D
u = u quando [[ = 0.
Observe que D
u uma funo denida em que toma valores em R. Quando u

possui todas as derivadas mistas de ordem k escrevemos
D
k
u(x) := D
u(x) : um multi-ndice de ordem k.

Estabelecendo algum tipo de ordem para as derivadas mistas acima, D
k
u(x) pode ser
visto como um vetor de R
n
k
. Casos particulares importantes so aqueles em que k = 1,
Introduo 6
quando podemos identicar a derivada com o vetor gradiente
D
1
u(x)
= u(x) :=
_
u
x
1
(x), ,
u
x
n
(x)
_
,
bem como o caso k = 2, quando identicamos a derivada com a matriz Hessiana
D
2
u(x)
=
_
2
u
x
1
x
1
(x)

2
u
x
1
x
n
(x)
.
.
.
.
.
.
.
.
.
2
u
x
n
x
1
(x)

2
u
x
n
x
n
(x)
_
_
.
Com relao derivadas de ordem superior vamos denir, para k N, os seguintes
conjuntos
C
k
() :=
_
_
_
u : R :
D
u existe e contnua para todo

multi-ndice tal que [[ k
_
_
_
e
C
() :=
kN{0}
C
k
().
Escrevemos ainda C
0
() = C().
Note que uma funo u C() pode ser ilimitada. No entanto, se ela for limitada e
uniformemente contnua em , podemos estend-la continuamente (e de maneira nica)
at o fecho de . Desse modo, podemos falar dos valores da funo u na fronteira do
conjunto . Denimos ento, para k N 0, o conjunto
C
k
() :=
_
_
_
u C
k
() :
D
u limitada e uniformemente contnua

para todo multi-ndice tal que [[ k
_
_
_
.
No difcil mostrar que, com as denies usuais de soma entre funes e multiplicao
de uma funo por um nmero real, os conjuntos C
k
(), C
() e C
k
() so espaos
vetoriais reais.
Utilizando as notaes introduzidas acima podemos reformular alguns dos problemas
mencionados anteriormente como segue.
Problema de Dirichlet: Dado um aberto R
n
e uma funo g : R contnua,
Introduo 7
encontrar u C
2
() C() tal que
_
u = 0 em ,
u = g em .
Problema de Poisson: Dado um aberto R
n
e funes contnuas f : R e
g : R, encontrar u C
2
() C() tal que
_
u = f em ,
u = g em .
Vamos introduzir um outro problema que ser tambm de nosso interesse fazendo
algumas modicaes na condio de fronteira. Para isso, vamos supor que a fronteira
suave, em um sentido que car claro mais tarde, e denotar por = (x) o vetor
normal exterior a no ponto x . Se u C() e x a derivada normal de u no
ponto x, quando existe, ser denotada por
u
(x) := u(x) (x).

Estamos prontos para apresentar o outro modelo bsico de problema a ser tratado
nessas notas.
Problema de Neumann: Dado um aberto R
n
com fronteira suave e funes
contnuas f : R e g : R, encontrar u C
2
() C
1
() tal que
_
_
_
u = f em ,
u
= g em .
Captulo
1
Funes harmnicas
Comeamos esse captulo com a seguinte denio.
Denio 1.1. Uma funo u C
2
() harmnica em (ou simplesmente harmnica)
se ela satisfaz a equao
u(x) = 0, x .
O exemplo mais simples de funes harmnicas so as funes constantes. De uma
maneira mais geral, qualquer funo da forma
(x
1
, . . . , x
n
) a
0
+
i=1,...,n
b
i
x
i
+
i,j=1..n, i=j
a
ij
x
i
x
j
,
com a
0
, b
i
a
ij
R tambm harmnica. Outro exemplo importante de funo harmnica
a chamada soluo fundamental da equao de Laplace : R
n
0 R denida por
(cf. Exerccio 1.1)
(x) =
_
_
1
2
ln [x[, se n = 2,
1
n(2 n)
n
[x[
2n
, se n 3,
Nas sees seguintes vamos estudar uma srie de propriedades das funes harmnicas.
1.1 A propriedade da mdia
Em nosso primeiro resultado vamos apresentar uma importante caracterizao das
funes harmnicas. Ela est relacionada com a mdia da funo em bolas.
1.1 A propriedade da mdia 9
Teorema 1.2. Uma funo u C
2
() harmnica em se, e somente se, para toda
bola B
r
(x
0
) valem as seguintes igualdades
u(x
0
) =
1
n
n
r
n1
_
B
r
(x
0
)
u(x) dS
x
(1.1)
e
u(x
0
) =
1
n
r
n
_
B
r
(x
0
)
u(x) dx. (1.2)
Dizemos que uma funo u C() satisfaz a propriedade da mdia se ela verica as
equaes (1.1) e (1.2) acima para todo bola B
r
(x
0
) . Na verdade as duas equaes
so equivalentes. De fato, suponha que u C() satisfaz (1.1). Ento, para todo
0 < s r, temos que
u(x
0
)ns
n1
=
1
n
_
B
s
(x
0
)
u(x) dS
x
.
Integrando com relao varivel s, obtemos
r
n
u(x
0
) =
_
r
0
u(x
0
)ns
n1
ds
=
1
n
_
r
0
__
B
s
(x
0
)
u(x) dS
x
_
ds
=
1
n
_
B
r
(x
0
)
u(x) dx,
e portanto a equao (1.2) satisfeita.
Reciprocamente, suponha que
r
n
u(x
0
) =
1
n
_
B
r
(x
0
)
u(x) dx =
1
n
_
r
0
__
B
s
(x
0
)
u(x) dS
x
_
ds
Derivando com respeito varivel r e usando o Teorema Fundamental do Clculo obtemos
nr
n1
u(x
0
) =
1
n
_
B
r
(x
0
)
u(x) dS
x
,
que exatamente a equao (1.1).
Antes de apresentar a demonstrao do Teorema 1.2 lembremos que, se R
n
um aberto limitado cuja fronteira uma hiperfcie de classe C

1
e F = (F
1
, . . . , F
n
)
um campo vetorial tal que cada funo coordenada F
i
C
1
(), i = 1, . . . , n, ento o
1.1 A propriedade da mdia 10
Teorema da Divergncia nos garante que
_
div F(x) dx =
_
F(x) (x) dS
x
,
onde (x) o vetor normal exterior no ponto x . A expresso acima tem uma
srie de consequncias importante que sero largamente utilizadas nessas notas e cuja
apresentao e demonstrao pode ser encontrada no Exerccio 1.2.
Estamos prontos para provar o nosso primeiro teorema.
Demonstrao do Teorema 1.2. Seja u C
2
(), x
0
e r > 0 tal que B
r
(x
0
) .
Dena, para 0 < s r, a funo
(s) :=
1
n
n
s
n1
_
B
s
(x
0
)
u(x)dS
x
,
Observe que, fazendo a mudana de variveis x x
0
+ sz, obtemos
(s) =
1
n
n
s
n1
_
B
1
(0)
u(x
0
+ sz)s
n1
dS
z
=
1
n
n
_
B
1
(0)
u(x
0
+ sz)dS
z
.
Derivando e voltando varivel original x, temos que
(s) =
1
n
n
_
B
1
(0)
u(x
0
+ sz) z dS
z
,
=
1
n
n
s
n1
_
B
s
(x
0
)
u(x)
_
x x
0
s
_
dS
x
=
1
n
n
s
n1
_
B
s
(x
0
)
u(x) (x) dS
x
em que usamos tambm o fato de que o vetor normal exterior no ponto x B
s
(x
0
)
exatamente (xx
0
)/s. A expresso acima e o Teorema da Divergncia aplicado ao campo
F = u implicam que
(s) =
1
n
n
s
n1
_
B
s
(x
0
)
div(u(x)) dx =
1
n
n
s
n1
_
B
s
(x
0
)
u(x) dx. (1.3)
Vamos agora provar o teorema. Suponha inicialmente que u harmnica. Nesse caso,
a igualdade acima implica que
(s) = 0 para todo s (0, r), isto , constante em

1.2 Regularidade 11
(0, r). Como contnua em (0, r] temos que
1
n
n
r
n1
_
B
r
(x
0
)
u(x) dS
x
= (r)
= lim
s0
+
(s)
= lim
s0
+
1
n
n
s
n1
_
B
s
(x
0
)
u(x) dS
x
= u(x
0
),
em que usamos na ltima igualdade o fato da funo u ser contnua. Isso prova a veraci-
dade de (1.1) e, equivalentemente, de (1.2).
A recproca pode ser provada da seguinte maneira. Suponha, por contradio, que
u satisfaz a propriedade da mdia mas no harmnica. Ento existe x
0
tal que
u(x
0
) ,= 0, digamos u(x
0
) > 0. Como u C
2
() o laplaciano de u uma funo
contnua. Logo, existe r > 0 tal que B
r
(x
0
) e u > 0 em B
r
(x
0
). Como a equao
(1.1) se verica temos que constante em (0, r). Por outro lado, segue de (1.3) que
0 =
(s) =
1
n
n
s
n1
_
B
s
(x
0
)
u(x) dx > 0,
o que absurdo.
Nas prximas sees discutimos algumas consequncias importantes do Teorema 1.2.
Conforme ser notado, a demonstrao de muitas dessas consequncias utiliza somente
as equaes (1.1) e (1.2), sendo portanto vlidas no s para funes harmnicas mas
tambm para qualquer funo contnua que satisfaa a propriedade da mdia.
1.2 Regularidade
A primeira propriedade interessante que veremos est relacionada com a regularidade
das funes harmnicas. Lembremos que, por denio, as funes harmnicas que tra-
tamos aqui tem pelo menos todas as derivadas de ordem 2 contnuas. Contudo, vale o
seguinte resultado de regulariade.
Teorema 1.3. Se u C() satisfaz a propriedade da mdia ento u C
().
Na demonstrao do resultado acima vamos usar algumas funes conhecidas como
funes regularizantes ou molliers. A m de introduzir esse importante conceito lembre-
1.2 Regularidade 12
mos inicialmente que o suporte de uma funo contnua f : R denido por
supp f = x : f(x) ,= 0.
Considere agora uma funo C
(R) tal que

_
R
(t)dt = 1 e cujo suporte esteja
contido no intervalo (1, 1). Uma escolha possvel para essa funo
(t) :=
_
_
_
c exp
_
1
(2t)
2
1
_
, se [t[ < 1/2,
0, se [t[ 1/2,
com c :=
__
R
exp(1/((2t)
2
1)) dt
_
1
.
Dado > 0, denimos
: R
n
R por
(x) :=
1
_
[x[
_
.
Segue das propriedades acima de que a funo
satisfaz o seguinte:
(i)
(R
n
) ;
(ii)
_
R
n

(x)dx = 1 ;
(iii) supp
(0).
Suponha agora que f : R contnua e considere > 0. Seja
:= x : dist(x, ) >
e denote por f
:= (
f) a convoluo de
com f, isto , a funo f
R denida
por
f
(x) :=
_
R
n
(x y)f(y) dy =
_
B
(0)
(y)f(x y) dy.
Na segunda igualdade acima usamos uma mudana de variveis e a propriedade (iii) da
funes
. Observe que, pela denio de
, temos que x y sempre que x
e
y B
(x), e portanto as integrais acima fazem sentido.

Fixado i 1, 2, . . . , n seja e
i
= (0, . . . , 0, 1, 0, . . . , 0) o i-simo vetor da base cannica
de R
n
e considere h R sucientemente pequeno de modo que x + he
i

. Nessas
condies temos que
f
(x + he
i
) f
(x)
h
=
_
(x + he
i
y)
(x y)
h
_
f(y) dy,
1.2 Regularidade 13
em que

um conjunto compacto totalmente contido em . Uma vez que
lim
h0
(x + he
i
y)
(x y)
h
=

x
i
(x y)
e a integral est sendo tomada sobre um conjunto compacto, temos que
f
x
i
(x) = lim
h0
f
(x + he
i
) f
(x)
h
= lim
h0
_
(x +he
i
y)
(x y)
h
_
f(y) dy,
=
_
x
i
(x y)f(y) dy
=
_
R
n
x
i
(x y)f(y) dy =
_
x
i
f
_
(x).
Usando agora um processo de induo, segue facilmente que, se f contnua e um
multi-ndice qualquer, ento
D
= D
f.
Em particular, f
). Essa concluso explica claramente porque a funo

chamada de ncleo regularizante.
Feitas essas consideraes podemos apresentar a prova do nosso resultado de regula-
ridade.
Demonstrao do Teorema 1.3. Seja u C() satisfazendo a propriedade da mdia
e considere, para > 0 pequeno,
u
(x) := (
u)(x) =
_
B
(x)
(x y)u(y) dy, x
.
Vamos mostrar que u
|
e portanto u C
). Como o conjunto
se aproxima
de quando 0 e o conceito de diferenciabilidade local, isso implica que u C
().
1.3 O Princpio do Mximo 14
Seja ento x
xado e observe que, usando a denio de
e (1.1), obtemos
u
(x) =
1
n
_
B
(x)
_
[x y[
_
u(y) dy
=
1
n
_

0
__
B
r
(x)
_
[x y[
_
u(y) dS
y
_
dr
=
1
n
_

0
_
r
_
__
B
r
(x)
u(y) dS
y
_
dr
=
1
n
_

0
_
r
_
_
u(x)n
n
r
n1
_
dr
Desse modo,
u
(x) =
u(x)
n
_

0
_
r
_
__
B
r
(x)
1 dS
y
_
dr
= u(x)
_

0
__
B
r
(x)
1
_
[x y[
_
dS
y
_
dr
= u(x)
_

0
__
B
r
(x)
(x y)dS
y
_
dr
= u(x)
_
B
(x)
(x y) dy
Fazendo agora a mudana de variveis x y z obtemos
u
(x) = u(x)
_
B
(0)
(z) dz = u(x),
em que usamos as propriedades (ii) e (iii) da funo regularizante
. Isso conclui a
demonstrao.
Observao 1.4. O teorema acima se aplica, em particular, para funes harmnicas.
Contudo, quando a funo u harmnica vale um resultado mais forte do que o do teorema
acima. Pode-se provar que uma funo u C
2
() harmnica de fato analtica em
(cf. Exerccio 1.7).
1.3 O Princpio do Mximo
Suponha que u : (a, b) R harmnica, ou seja,
u
(t) = 0, t (a, b).

1.3 O Princpio do Mximo 15
Nesse caso pode-se facilmente integrar a equao e concluir que
u(t) = c
1
+ c
2
t,
para constantes c
1
, c
2
R. Como o grco de u um segmento de reta vemos que,
qualquer que sejam os valores das constantes, o mximo (mnimo) de u sempre assu-
mido na fronteira de [a, b], que exatamente o conjunto a, b. Alm disso se o mximo
(mnimo) de u for assumido em algum ponto interior x
0
(a, b), ento necessariamente
c
2
= 0 e portanto u constante em [a, b]. O resultado abaixo mostra que essa propriedade
permanece vlida em dimenses maiores.
Teorema 1.5. Suponha que R
n
limitado e u C() satisfaz a propriedade da
mdia. Ento
(i) max
u = max
u;
(ii) se conexo e existe x
0
tal que u(x
0
) = max
u, ento u constante em .
Demonstrao. Como o item (i) segue facilmente de (ii) (cf. Exerccio 1.8), vamos
somente provar o segundo item. Seja ento x
0
tal que M := max
u = u(x
0
), e
considere o conjunto
M
:= x : u(x) = M.
Como x
0

M
temos que
M
,= . Alm disso, como u contnua e
M
= u
1
(M),
o conjunto
M
fechado em . Vamos mostrar que
M
aberto em . Feito isso, segue
da conexidade de que
M
= e portanto u constante em .
Seja y
M
um ponto qualquer e r > 0 tal que B
r
(y) . Ento
M = u(y) =
1
n
r
n
_
B
r
(y)
u(x) dx
1
n
r
n
_
B
r
(y)
M dx = M,
donde se conclui que
_
B
r
(y)
(M u(x)) dx = 0.
Como o integrando acima no negativo e contnuo devemos ter u M em B
r
(y) e
portanto B
r
(y)
M
. Logo
M
aberto e o item (ii) est provado.
Observao 1.6. Evidentemente o teorema acima continua vlido se substituirmos o
mximo pelo mnimo da funo u. Outro fato importante que a concluso do item (ii)
pode ser falsa se no for conexo (cf. Exerccio 1.8).
1.4 Exerccios 16
Uma aplicao interessante do Teorema 1.5 est relacionada com a unicidade de soluo
do problema de Poisson
_
u = f em ,
u = g em .
Suponha que limitado e que u
1
e u
2
so duas solues do problema acima. Ento a
funo v := u
1
u
2
tal que
_
v = 0 em ,
v = 0 em .
Pelo item (i) do teorema acima temos que v 0 em . Por outro lado, aplicando o
mesmo raciocnio para a funo v conclumos que v 0 em . Logo v se anula em todo
o conjunto , isto , as funes u
1
e u
2
coincidem em . Logo, vale o seguinte resultado.
Teorema 1.7. Se R
n
limitado, ento o problema
_
u = f em ,
u = g em .
possui no mximo uma soluo em C
2
() C().
importante salientar que a concluso do teorema acima pode ser falsa se no for
limitado. De fato, basta considerar = x = (x
1
, x
2
, . . . , x
n
) R
n
: x
n
> 0 e observar
que, nesse caso, o problema
u = 0 em , u = 0 em
admite, alm da soluo trivial u 0, a funo u(x
1
, . . . , x
n
) = x
n
como soluo.
1.4 Exerccios
Ateno: Nos exerccios abaixo, a menos que se diga o contrrio, R
n
um aberto
limitado com fronteira suave.
1.1. Mostre que a funo : R
n
0 dada por
(x) :=
_
_
1
2
ln [x[, se n = 2,
1
n(2 n)
n
[x[
2n
, se n 3,
1.4 Exerccios 17
harmnica e ca ilimitada quando [x[ 0.
1.2. Seja R
n
um domnio onde vale o Teorema da Divergncia, (x) = (
1
(x), . . . ,
n
(x))
o vetor unitrio normal exterior em um ponto x e u, v C
2
(). Prove as igualdades
abaixo.
(a)
_
u
x
i
dx =
_
u
i
dS
x
(b)
_
u
x
i
v dx =
_
uv
x
i
dx +
_
uv
i
dS
x
(c)
_
udx =
_
dS
x
(d)
_
u v dx =
_
uv dx +
_
u
v
dS
x
(e)
_
(uv vu) dx =
_
_
u
v
v
u
_
dS
x
1.3. Modique a prova do Teorema 1.2 para mostrar que
u(0) =
1
n
n
r
n1
_
B
r
(0)
g(x) dS
x
+
1
n(n 2)
n
_
B
r
(0)
_
1
[x[
n2

1
r
n2
_
f(x) dx,
sempre que n 3 e u C
2
(B
r
(0)) C(B
r
(0)) satisfaz
_
u = f em B
r
(0),
u = g em B
r
(0).
1.4. Se u C
2
() harmnica ento, para todo x
0
e i 1, . . . , , temos que
[u
x
i
(x
0
)[
n
d
x
0
max
xB
d
x
0
(x
0
)
[u(x)[,
onde d
x
0
= dist(x
0
, ).
1.5. (Teorema de Liouville) Se u harmnica e limitada inferiormente (ou superiormente)
em R
n
, ento u constante.
1.6. (Desigualdade de Harnack) Se u harmnica e no-negativa, e
0
conexo,
ento existe uma constante C = C(,
0
) > 0 tal que
max
0
u C inf
0
u.
1.4 Exerccios 18
1.7. (cf. [4, Teorema 2.2.10]) Se u harmnica em , ento u analtica em .
1.8. Mostre que, no enunciado do Teorema 1.5, a armao (ii) implica em (i). Em
seguida, d um exemplo mostrando que a conexidade em (ii) essencial.
1.9. (cf. [7, Teorema 1.16]) Mostre que u C() harmnica se, e somente se,
_
u = 0 para toda C
2
0
().
1.10. Dizemos que uma funo u C
2
() subharmnica se
u 0 em .
Prove que se u subharmnica ento
u(x)
1
n
r
n
_
B
r
(x)
u(y)dy, para todo bola B
r
(x) .
Conclua que, se limitado, ento
max
u = max
u.
1.11. Sejam u, v funes harmnicas e subharmnicas em , respectivamente. Se u v
em , ento v u em .
1.12. Dizemos que uma funo u C
2
() superharmnica se
u 0 em .
Enuncie e prove resultados anlogos aos dos dois exerccios acima para funes superharm-
nicas.
1.13. Se C
2
(R) convexa e u C
2
() harmnica, ento a funo v denida por
v(x) = (u(x)) subharmnica.
1.14. Se u harmnica ento a funo v denida por v(x) = [u(x)[
2
subharmnica.
1.15. Sejam B := B
1
(0) R
n
, f C(B), g : B R contnua,
F := max
xB
[f(x)[ e := max
xB
[g(x)[.
Supondo que u C
2
(B) C(B) tal que u f em B, u g em B, resolva os tens
abaixo.
1.4 Exerccios 19
(a) Dena w
: B R por
w
(x) :=
F
2n
[x[
2
u(x)
e verique que w
0 em B.
(b) Verique que, se x B, ento w
(x)
F
2n
+ .
(c) Conclua que existe C > 0, independente de u, tal que
max
xB
[u(x)[ C
_
max
xB
[f(x)[ + max
xB
[g(x)[
_
.
1.16. Se R
n
conexo e u satisfaz
_
u = 0 em ,
u = g em ,
onde g : [0, ) tal que g(x
0
) > 0 para algum x
0
, ento u(x) > 0 para todo
x .
Captulo
2
O problema de Poisson
O objetivo desse captulo estudar a questo de existncia de soluo para o problema
de Poisson
_
u = f em ,
u = g em ,
(P)
em que as hipteses sobre , f e g sero colocadas no decorrer da discusso. A ideia
bsica e estudar separadamente os problemas
u = f em , u = 0 em , (2.1)
e
u = 0 em , u = g em , (2.2)
e observar que, se u
1
soluo de (2.1) e u
2
soluo de (2.2), ento a funo u := u
1
+u
2
uma soluo do problema (P).
Na prxima seo vamos nos concentrar na soluo de um caso particular do segundo
problema acima.
2.1 A soluo fundamental e o Potencial Newtoniano
Vamos no que segue considerar o seguinte problema
u = 0 em R
n
.
Observe que, se u C
2
(R
n
) satisfaz a equao acima e A = A
nn
uma matriz ortogonal,
ento a funo v(x) := u(Ax) tambm satisfaz a equao acima (cf. Exerccio 2.1). Desse
2.1 A soluo fundamental e o Potencial Newtoniano 21
modo, vamos tentar simplicar o problema procurando uma soluo radial da equao,
isto , uma soluo que constante ao longo de esferas centrada na origem.
Supondo ento que u uma soluo radial, vamos denotar por v : [0, ) R a funo
que satisfaz
v(r) = u(x), r = [x[.
Como a funo v s depende da varivel radial r, podemos reescrever a equao de Laplace
em coordenadas radias, obtendo assim um equao diferencial ordinria. A m de obter
essa EDO note que, para cada i 1, . . . , n, podemos usar a regra da cadeia para obter
u
x
i
= v
(r)r
x
i
, u
x
i
x
i
= v
(r)r
2
x
i
+ v
(r)r
x
i
x
i
.
Agora r = [x[ = ([x[
2
)
1/2
, e portanto
r
x
i
=
1
2
_
[x[
2
_
1/2
2x
i
=
x
i
[x[
=
x
i
r
.
Logo
r
x
i
x
i
=
_
x
i
r
_
x
i
=
1
r
+x
i
(1)r
2
r
x
i
=
1
r

x
i
r
2
x
i
r
=
1
r

x
2
i
r
3
.
Portanto
u =
n
i
u
x
i
x
i
=
n
i=1
_
v
(r)r
2
x
i
+v
(r)r
x
i
x
i
_
=
n
i=1
v
(r)
x
2
i
r
2
+
n
i=1
v
(r)
_
1
r

x
2
i
r
3
_
,
ou ainda
u = v
(r) +v
(r)
_
n
r

1
r
_
.
Logo a equao u = 0 em R
n
0 equivalente a
v
(r) + v
(r)
_
n 1
r
_
= 0, r > 0.
Como a equao possui uma singularidade na origem, vamos buscar solues denidas em
(0, ).
Supondo v
(r) ,= 0 podemos reescrever a equao acima na forma

(ln v
(r))
=
v
(r)
v
(r)
=
1 n
r
e integrar para obter
ln v
(r) = (1 n) ln r + c
1
= ln r
1n
+ c
1
,
ou ainda
v
(r) = c
2
r
1n
,
onde c
1
, c
2
R so constantes. Integrando novamente obtemos
v(r) =
_
_
_
c
3
ln r + c
4
, se n = 2,
c
3
r
2n
+c
4
, se n 3,
para constantes c
3
, c
4
R.
Vamos agora denir a soluo fundamental do Laplaciano por
(x) :=
_
_
1
2
ln [x[, se n = 2,
1
n(2 n)
n
[x[
2n
, se n 3.
Conforme vimos no Exerccio 1.1, a funo harmnica e ca ilimitada quando x 0.
Alm disso, se f : R
n
R uma funo qualquer, um clculo direto mostra que a funo
x (x y)f(y) harmnica em R
n
y. Da mesma forma, se y
1
, . . . , y
k
R
n
uma famlia nita de pontos, ento a funo

x (x y
1
)f(y
1
) + + (x y
k
)f(y
k
)
harmnica em R
n
y
1
, . . . , y
k
.
Suponha que f tal que podemos fazer a soma acima sobre todos os pontos de R
n
,
isto , a funo
f
: R
n
R dada por
f
(x) := ( f)(x) =
_
R
n
(x y)f(y) dy,
est bem denida. Nesse caso, a funo acima denominada Potencial Newtoniano gerado
por f e uma questo importante estudar o que acontece com o seu laplaciano. Quando
f razoavelmente regular a (interessante) resposta dada pelo lema abaixo.
Lema 2.1. Suponha que f C
2
(R
n
) tem suporte compacto. Ento o Potencial Newtoni-
ano gerado por f
f
(x) =
_
R
n
(x y)f(y) dy
est bem denido,
f
C
2
(R
n
) e
f
= f.
Demonstrao. Observe que
f
(x) =
_
R
n
(y)f(x y)dy e portanto, para cada x R
n
xado, temos que
f
(x + he
i
)
f
(x)
h
=
_
R
n
_
f(x + he
i
y) f(x y)
h
_
(y) dy.
Para cada y R
n
o termo entre parntesis na integral acima converge para
f
x
i
(x y)
quando h 0. Alm disso, como f tem suporte compacto, a integral ocorre efetivamente
sobre um conjunto compacto. Logo, como localmente integrvel, o Teorema da Con-
vergncia Dominada de Lebesgue nos permite passar a igualdade acima ao limite para
concluir que
f
x
i
(x) =
_
R
n
(y)
f
x
i
(x y) dy =
_

f
x
i
_
(x).
De maneira completamente anloga mostra-se que, se um multi-ndice qualquer
de ordem menor ou igual a 2, ento
D
f
= ( D
f) ,
donde segue facilmente que
f
C
2
(R
n
).
Vamos agora calcular
f
(x). Dado 0 < < 1 podemos proceder como acima para
escrever
f
(x) = A
+C
(2.3)
com
A
:=
_
B
(0)
(y)f(x y) dy, C
:=
_
R
n
\B
(0)
(y)f(x y) dy.
Como f C
2
(R
n
) tem suporte compacto, podemos usar a denio de para estimar o
primeiro termo acima como segue
[A
[ |f|
_
B
(0)
[(y)[ dy =
_
_
|f|
2
(1 2 ln )
4
, se n = 2,
|f|
2
2(n 2)
, se n 3.
(2.4)
Conclumos ento que lim
0
+ A
= 0.
Para estimar o termo C
podemos usar o Teorema da Divergncia como no Exerccio

1.2(d) para obter
C
=
_
R
n
\B
(0)
(y)f(x y) dy = D
+ E

com
D
:=
_
(R
n
\B
(0))
(y)
f
(x y) dS
y
e
E
:=
_
R
n
\B
(0)
(y) f(x y) dy.
O primeiro membro acima pode ser estimado com antes:
[D
[ |f|
_
(R
n
\B
(0))
[(y)[ dS
y
=
_
_
|f|
( ln ), se n = 2,
|f|
(n 2)
, se n 3,
(2.5)
e portanto lim
0
+ D
= 0. Com relao ao termo E
, usando uma vez mais o Exerccio

1.2(d), obtemos
E
=
_
R
n
\B
(0)
f(x y)(y) dy
_
(R
n
\B
(0))
f(x y)
(y) dS
y
.
Como a funo harmnica em R
n
0 a primeira integral do lado esquerdo acima
nula. Com relao segunda notemos que, como a integral tomada na fronteira do
exterior da bola, o vetor normal exterior y/[y[. Logo,
E
=
_
(R
n
\B
(0))
f(x y)(y)
y
[y[
dS
y
.
Usando a denio de verica-se que
(y) =
y
n
n
[y[
n
, (2.6)
e portanto
E
=
_
(R
n
\B
(0))
f(x y)
y
n
n
[y[
n

y
[y[
dS
y
=
1
n
n
n1
_
B
(0)
f(x y) dS
y
=
1
n
n
n1
_
B
(x)
f(z) dS
z
,
em que zemos z = x y na ltima igualdade.
Uma vez que f contnua temos que
lim
0
+
1
n
n
n1
_
B
(0)
f(z) dS
z
= f(x)
e portanto lim
0
+ E
= f(x). Lembrando que C
= D
+ E
e que D
0, conclumos
que lim
0
+ C
= f(x). Como j havamos provado que A
tende a zero quando tende

a zero, podemos passar a equao (2.3) ao limite para concluir que
f
(x) = f(x). Isso
prova o lema.
O resultado acima pode ser provado com uma exigncia muito menor de regularidade
para a funo f. Para formular precisamente esse novo resultado, precisamos introduzir
um novo espao de funes para tratar o problema.
Lembremos que um espao vetorial normado (E, | |
E
) um espao de Banach quando
ele completo com relao topologia induzida pela norma. Isso signica dizer que todas
sequncia (u
k
) E de Cauchy converge para algum elemento de E.
Se R
n
um aberto limitado, pode-se facilmente mostrar que C(), munido com
a norma
|u|
0
:= max
x
[u(x)[, u C(),
um espao de Banach. De uma maneira mais geral, para k N0, o conjunto C
k
()
munido da norma
|u|
k
:=
||k
|D
u|
0
, u C
k
()
um espao de Banach.
No que segue vamos introduzir um novo espao que , em um certo sentido, o espao
correto para trabalharmos com o problema de Poisson.
Denio 2.2. Dado 0 < 1 e uma funo u C(), dizemos que u Hlder
contnua com expoente se existe uma constante c > 0 tal que
[u(x) u(y)[ c[x y[
, x, y .
Para uma tal funo denimos o quociente de Hlder por
H
[u] := sup
x,y, x=y
[u(x) u(y)[
[x y[
< .
O fato importante que, se denotarmos
C
0,
() := u C() : H
[u] < ,
ento esse conjunto um espao de Banach com a seguinte norma
|u|
0,
:= |u|
0
+ H
[u], u C
0,
().
De uma maneira mais geral, temos a seguinte denio.
Denio 2.3. Seja k N 0 e 0 < 1. O espao de Hlder C
k,
() denido
por
C
k,
() := u C
k
() : H
[D
u] < para todo multi-ndice [[ k.

Denimos ainda
C
k,
() := u C
k
() : u C
k,
(
0
) para todo aberto
0
.
Pode-se mostrar que C
k,
() um espao de Banach quando munido da norma (cf.
Exerccio 2.3)
|u|
k,
:= |u|
k
+
|k
H
[D
u], u C
k,
().
Voltando ao Potencial Newtoniano
f
, lembremos que o resultado do Lema 2.1 foi
provado para funes f C
2
(R
n
) com suporte compacto. Uma adaptao (simples)
daquela prova nos permite concluir que se f C() para algum domnio limitado R
n
,
ento
f
C
1
(R
n
). Se exigirmos um pouco mais de regularidade para f temos o seguinte
resultado.
Proposio 2.4. Se R
n
um domnio limitado e f C
0,
() para algum 0 < 1,
ento o Potencial Newtoniano
f
est bem denido e satisfaz
(i)
f
C
1
(R
n
) C
2,
() ;
(ii)
f
(x) = f(x) para todo x .
Vale observar que, se f for somente contnua, ento
f
pode no ser de classe C
2
em
. Um exemplo apresentando Exerccio 2.4.
A demonstrao da proposio acima segue as mesmas linhas daquela feita para o
Lema 2.1. Contudo, so necessrias algumas adaptaes para contornar o fato de no
existirem as derivadas da funo f. O leitor interessado pode encontrar essa prova em [6,
Lemma 4.2] (veja tambm [5, Corolrio 1.2] ou [11, Teorema 1.1]).
2.2 O Mtodo de Perron e a soluo do problema de Poisson 27
2.2 O Mtodo de Perron e a soluo do problema de
Poisson
Comeamos essa seo observando que a Proposio 2.4 reduz o estudo do problema
de Poisson (P) ao problema de Dirichlet
_
u = 0 em ,
u = g em .
(D)
De fato, se f C
0,
(), g : R e v C
2
() C() tal que
v = 0 em , v = g
f
em ,
onde
f
o Potencial Newtoniano gerado por f, ento a funo u := v +
f
satisfaz
u = v +
f
= f em , u = g
f
+
f
= g em ,
sendo portanto soluo de (P).
Observao 2.5. Antes de tratar da questo de existncia de soluo para o problema
(D) importante discutirmos o seguinte exemplo, conhecido como exemplo de Zaremba .
Suponha que = B
1
(0) 0 R
2
e dena g : R por
g(x) :=
_
_
_
0, se x B
1
(0),
1, se x = 0.
Pode-se mostrar que, apesar de g ser uma funo regular, o problema de Dirichlet no
possui soluo clssica para essa escolha de e g (cf. Exerccio 2.5).
O exemplo acima mostra que a solubilidade do problema (D) no depende somente da
regularidade do dado de fronteira g mas, como veremos adiante, tambm da geometria do
domnio . A m de entender melhor essa ltima frase, vamos introduzir alguns conceitos
sobre regularidade de conjuntos do espao euclidiano.
Denio 2.6. Dados k N e um aberto limitado R
n
, dizemos que (ou ) de
classe C
k
se para cada x
0
existe uma bola B = B
r
(x
0
) e uma bijeo de B em
A R
n
tais que:
(i) (B ) R
n
+
;
(ii) (B ) R
n
+
;
(iii) C
k
(B),
1
C
k
(A),
em que R
n
+
:= x = (x
1
, . . . , x
n
) R
n
: x
n
> 0.
Note que, em particular, o aberto R
n
de classe C
k
se, e somente se, cada ponto
da sua fronteira possui uma vizinhana cuja interseco com grco de uma funo
de n 1 das coordenadas x
1
, . . . , x
n
, com essa funo sendo de classe C
k
.
O problema de Dirichlet pode ser resolvido por vrios mtodos, cada qual com uma
hiptese de regularidade sobre g e . Entre todos os mtodos, o que parece fornecer
soluo clssica com hipteses mais fracas o mtodo das funes subharmnicas, ou
Mtodo de Perron. Ele fornece soluo u C
2
() C() para funes g contnuas e
domnios de classe C
2
(cf. [6, Teorema 2.14]). Na verdade, uma condio mais fraca
suciente: basta que satisfaa a condio da esfera exterior , isto , para cada x
0

exista uma bola B
r
(y) R
n
tal que B
r
(y) = x
0
.
Enunciamos abaixo uma verso desse resultado onde, para simplicar o enunciado,
vamos supor que o conjunto de classe C
2
. A demonstrao requer a introduo de
alguns conceitos novos e ser apresentada mais adiante.
Teorema 2.7. Se R
n
um domnio limitado de classe C
2
e g C(), ento o
problema de Dirichlet
_
u = 0 em ,
u = g em ,
possui exatamente uma soluo em C
2
() C().
Com o auxlio do teorema acima podemos enunciar e provar o seguinte resultado de
existncia de soluo para o problema de Poisson.
Teorema 2.8. Se R
n
um aberto limitado de classe C
2
, f C
0,
() e g C(),
ento o problema
_
u = f em ,
u = g em ,
(P)
2
() C().
Demonstrao. Para a existncia, suciente encontrarmos u
1
, u
2
C
2
() C()
satisfazendo os problemas
_
u
1
= 0 em ,
u
1
= g em ,
e
_
u
2
= f em ,
u
2
= 0 em ,
(2.7)
pois, nesse caso, a funo u := u
1
+ u
2
C
2
() C() soluo de (P).
A existncia de u
1
como acima consequncia imediata do Teorema 2.7. Para obter
u
2
consideramos v C
2
() C() uma funo tal que v = 0 em , e v =
f
em ,
em que
f
o Potencial Newtoniano gerador por f. Como
f
C(), a existncia de
uma tal funo novamente garantida pelo Teorema 2.7. Considere agora u
2
:=
f
v e
observe que
u
2
=
f
v = f em , u
|
= (
f
v)
|
= 0,
e portanto o problema possui pelo menos uma soluo em C
2
() C(). A unicidade
segue facilmente do Princpio do Mximo (cf. Teorema 1.7).
Como era de se esperar, exigindo mais regularidade em g e obtemos solues mais
regulares. A m de exemplicar essa observao vamos observar que se k N e 0 < 1,
podemos denir o conceito de abertos R
n
de classe C
k,
do mesmo modo que zemos
para C
k
considerando agora a regularidade das aplicaes e
1
como sendo de classe
C
k,
. Dizemos que uma funo g : R denida na fronteira de um aberto de classe
C
k,
pertence C
k,
() quando g
1
C
k,
(A R
n
+
).
O resultado abaixo, devido Kellog [8] (veja tambm [6, Corolrio 4.14]), fornece
uma verso do Teorema 2.7 para domnios e dados de fronteira mais regulares. Note que
a regularidade da soluo encontrada tambm incrementada quando comparada com
aquela dada pelo Teorema 2.7.
Teorema 2.9. Se R
n
2,
e g C
2,
(), ento o
problema de Dirichlet
_
u = 0 em ,
u = g em ,
2,
().
Com relao ao resultado acima importante ressaltar que a mera continuidade de g
no implica na existncia de derivadas na fronteira. Por exemplo, a funo
u(x
1
, x
2
) = x
2
ln((x
1
1)
2
+ x
2
2
) + 2(1 x
1
) arctan
_
x
2
1 x
1
_
satisfaz u = 0 em B
1
(0) R
2
, contnua at o fecho da bola, mas [u(x
1
, x
2
)[ se
comporta como [ ln(x
1
1)
2
+ x
2
2
[ quando (x
1
, x
2
) (1, 0).
Usando o resultado acima e adaptando o argumento usado na prova do Teorema 2.8
obtemos o seguinte.
2.3 A funo de Green 30
Corolrio 2.10. Se R
n
um domnio limitado de classe C
2,
, f C
0,
() e
g C
2,
() ento o problema
_
u = f em ,
u = g em ,
(P)
2,
().
Demonstrao. Basta argumentar como na prova do Teorema 2.8, usando o Teorema
2.9 no lugar do Teorema 2.7. Contudo uma pequena adaptao se faz necessria. De
fato, nas condies enunciada acima, imediata a obteno de u
1
satisfazendo (2.7). A
obteno de u
2
requer algumas palavras adicionais visto que, de acordo com a Proposio
2.4, a funo
f
pertence somente a C
1
(). Desse modo, no podemos aplicar o Teorema
2.9 diretamente para obter v C
2,
() satisfazendo v = 0 em , v =
f
em . Essa
diculdade pode ser contornada como segue.
Seja B uma bola tal que B. A regularidade de f e do conjunto nos permite
estender f para toda a bola B, de modo que a extenso (que denotaremos ainda por f) est
contida em C
0,
(B) (cf. [6, Lemma 6.37]). Pela Proposio 2.4 temos que
f
C
2,
().
Seja agora v uma funo tal que v = 0 em , e v =
f
em . A existncia de tal v
agora pelo Teorema 2.9. Considerando u
2
:=
f
v temos que
u
2
=
f
v = f em , u
|
= (
f
v)
|
= 0,
e portanto o problema possui pelo menos uma soluo em C
2,
(). Como antes, a unici-
dade segue do Princpio do Mximo.
selecionar um grupo para apresentar o mtodo de Perron
2.3 A funo de Green
No que segue vamos supor que o problema de Poisson
_
u = f em ,
u = g em ,
(P)
possui uma soluo u C
2
() e tentar obter uma expresso explcita para tal soluo.
Fixado um ponto x , seja > 0 pequeno e dena
:= B
(x).
Usando o Teorema da Divergncia como no Exerccio 1.2(e) obtemos
_
(u(x y) (x y)u) dy =
_
_
u
(x y) (x y)
u
_
dS
y
.
Como (x y) = 0 para todo y ,= x, segue que
(x y)udy = C
+ D
+
_
_
u
(x y) (x y)
u
_
dS
y
(2.8)
em que
C
:=
_
B
(x)
u(y)
(x y) dS
y
, D
:=
_
B
(x)
(x y)
u
(y) dS
y
.
Argumentando como na prova do Lema 2.1 mostra-se que
lim
0
+
C
= u(x) e lim
0
+
D
= 0.
Alm disso, como o conjunto
se aproxima de quando 0
+
, e localmente
integrvel, segue do Teorema da Convergncia Dominada de Lebesgue que
lim
0
+
_
(x y)udy =
_
(x y)udy
Portanto, fazendo 0
+
na equao (2.8) obtemos
u(x) =
_
(x y)udy +
_
_
u
(x y) (x y)
u
_
dS
y
, (2.9)
que conhecida como frmula de representao de Green.
O problema com a expresso acima que
u
no um dado do problema (P). Para

contornar essa diculdade procedemos como segue. Observe inicialmente que, se h
x
C
2
() uma funo harmnica em , ento podemos usar o Teorema da Divergncia
novamente para obter
h
x
udy =
_
_
u
h
x
h
x
u
_
dS
y
.
Escrevendo G(x, y) = (x y) +h
x
(y) e somando a equao acima com (2.9), segue que
u(x) =
_
Gudy +
_
_
u
G
G
u
_
dS
y
.
Se, adicionalmente, tivermos G = 0 em ento obtemos a seguinte frmula de repre-
sentao
u(x) =
_
G(x, y)u(y) dy +
_
u(y)
G
(x, y) dS
y
.
Baseados na expresso acima ns denimos a funo de Green associada ao problema
de Dirichlet em como sendo a funo
G(x, y) := (x y) + h
x
(y), x, y , x ,= y,
em que a soluo fundamental do laplaciano e a funo h
x
(y), chamada parte regular
da funo de Green, satisfaz
_
_
_
h
x
(y) = 0, y ,
h
x
(y) = (x y), y ,
(2.10)
sempre que existir a funo h
x
acima.
Observe que, para cada x xado, a funo y (x y) regular em . Desse
modo, se de classe C
2
, podemos sempre garantir a existncia de h
x
, e portanto da
funo de Green.
As consideraes acima provam o seguinte resultado.
Teorema 2.11. Se u C
2
() soluo do problema de Poisson
_
u = f em ,
u = g em ,
(2.11)
e existe a funo de Green associda ao problema de Dirichlet em , ento
u(x) =
_
G(x, y)f(y) dy +
_
(x, y)g(y) dS
y
.
O teorema acima nos permite resolver o problema (2.11) desde que exista, e saibamos
calcular, a funo de Green. De fato, nesse caso basta denir u como acima e mostrar que
u C
2
() C() satisfaz as equaes do problema. A diculdade em tal procedimento
reside no fato de que calcular a funo de Green no , em geral, uma tarefa fcil. Isso
pode ser feito quando possui algum tipo de simetria. Um caso particular importante
2.4 Exerccios 33
o da bola, onde vale a frmula de Poisson , dada pelo seguinte resultado (cf. [6, Teorema
2.6] ou [4, Teorema 15, Seo 2.2]).
Teorema 2.12. Seja r > 0 e g : B
r
(0) R
n
R uma funo contnua. Ento a funo
u(x) =
_
_
r
2
[x[
2
n
n
r
_
B
r
(0)
g(y)
[x y[
n
dS
y
, se x B
r
(0),
g(x), se x B
r
(0),
tal que u C
2
(B
r
(0)) C(B
r
(0)) e
_
u = 0 em B
r
(0),
u = g em B
r
(0).
O leitor interessado pode encontrar em [4, Seo 2.2.4] algumas propriedades interes-
santes da funo de Green, bem como uma frmula explicta para essa quando = R
n
+
.
Citamos ainda [11, Seo 2.2] onde algumas consideraes histricas acerca da funo de
Green so apresentadas, bem como um resultado de existncia da mesma para algumas
classes de domnios.
2.4 Exerccios
n
um aberto
limitado com fronteira suave.
2.1. Se u C
2
(R
n
) harmnica e A
nn
uma matriz ortogonal, ento v : R
N
R dada
por v(x) = u(Ax) tambm harmnica.
2.2. Complete os detalhes da prova do Lema 2.1, isto , prove as igualdades nas equaes
(2.4), (2.5) e (2.6).
2.3. Dado k N 0 e 0 < 1, verique que C
k,
(), munido com a norma,
|u|
k,
=
||k
(|D
u|
0
+ H
[D
u])
um espao de Banach.
2.4 Exerccios 34
2.4. (cf. [11, Exerccio 1.4]) Sejam = B
1/2
(0) R
2
, f : R denida por
f(x) =
_
(x
2
1
x
2
2
)
[x[
2
[ log [x[[
2
( 1 + 4 log [x[) se 0 < [x[ < 1/2,
0 se x = 0,
onde 0 < < 1, x = (x
1
, x
2
) e
f
o potencial Newtoniano gerado por f. Resolva os
itens abaixo.
(a) Denindo v : B
1/2
(0) R por
v(x) =
_
_
_
(x
2
1
x
2
2
)[ log [x[[
se 0 < [x[ < 1/2,

0 se x = 0,
verique que v = f em 0, v C
1
() mas v no de classe C
2
em .
(b) (cf. [2, pp. 149-150]) Verique que a equao
_
u =
_
f para toda C
0
()
satisfeita para u =
f
e u = v.
(c) Utilize o item acima e o exerccio anterior para concluir que (
f
v) = 0 em .
(d) Conclua que o potencial Newtoniano
f
no de classe C
2
em .
2.5. O Princpio da Singularidade Removvel arma que, se u uma funo harmnica e
limitada em B
r
(x
0
)x
0
, ento u pode ser estendida para B
r
(x
0
) de modo que a extenso
seja harmnica.
(a) Prove o resultado enunciado acima (cf. [11, Proposio 4.12])
(b) Use o resultado e o Princpio do Mximo para vericar a armao feita na Obser-
vao 2.5.
2.6. Seja
+
= x R
n
: [x[ < 1, x
n
> 0. Suponha que u C
2
(
+
) harmnica e
u = 0 em
+
x
n
= 0. Dena
v(x) :=
_
u(x) se x
n
0
u(x
1
, . . . , x
n1
, x
n
) se x
n
< 0,
para x = B
1
(0). Prove que v harmnica em .
2.4 Exerccios 35
2.7. Prove o Teorema 2.12.
2.8. Use a frmula de Poisson (cf. Teorema 2.12) para provar que
r
n2
r [x[
(r +[x[)
n1
u(0) u(x) r
n2
r +[x[
(r [x[)
n1
u(0),
sempre que u no-negativa e harmnica em B
r
(0). Conclua que uma funo no negativa
e harmnica em R
n
tem que ser constante.
2.9. (cf [4, Teorema 13, Seo 2.2]) Suponha que um domnio para o qual existe a
funo de Green. Mostre que, para todo x, y , x ,= y, valem as seguintes propriedades
G(x, y) 0, G(x, y) = G(y, x).
Captulo
3
Operador lineares de 2a ordem
No que segue vamos tentar estender os resultados dos captulos precedentes para o
operador linear de 2a ordem dado pela expresso abaixo
Lu :=
n
i,j=1
a
ij
(x)u
x
i
x
j
+
n
i=1
b
i
(x)u
x
i
+ c(x)u, (3.1)
onde u C
2
() e os coecientes a
ij
, b
i
, c : R so funes dadas. A menos que se
diga o contrrio, R
n
um aberto limitado.
Observe inicialmente que, como u C
2
(), o Teorema de Schwarz nos assegura que
u
x
i
x
j
= u
x
j
x
i
para todo i, j 1, . . . , n. Logo
Lu =
n
i,j=1
1
2
_
a
ij
(x) +a
ji
(x)
_
u
x
i
x
j
+
n
i=1
b
i
(x)u
x
i
+ c(x)u,
e podemos supor, sem perda de generalidade, que para cada x a matriz
A(x) :=
_
_
a
11
(x) a
1n
(x)
.
.
.
.
.
.
.
.
.
a
n1
(x) a
nn
(x)
_
_
(3.2)
uma matriz simtrica. Isso ser feito daqui por diante.
Denio 3.1. Dizemos que o operador L denido em (5.1) elptico no ponto x se
a forma quadrtica associada matriz A(x) denida em (3.2) positiva denida, isto ,
3.1 Princpios de Mximo 37
se (x) denota o menor autovalor de A, ento
n
i,j=1
a
ij
(x)
i
j
(x)[[
2
> 0
para todo = (
1
, . . . ,
n
) R
n
0. O operador elptico em se for elptico em cada
ponto de . Finalmente, dizemos que L uniformemente elptico em se existe
0
> 0
tal que (x)
0
para todo x .
Observemos que, quando L uniformemente elptico, vale a seguinte desigualdade
A(x) =
n
i,j=1
a
ij
(x)
i
j

0
[[
2
, R
n
.
Desse modo, tomando = e
i
como sendo o i-simo vetor da base cannica de R
n
, obtemos
e
i
A(x)e
i
= a
ii
(x)
0
[e
i
[
2
=
0
, i = 1, . . . , n, x . (3.3)
Na prxima seo estudaremos os princpios de mximo para o operador L acima
denido.
3.1 Princpios de Mximo
Em toda essa seo vamos supor que os coecientes a
ij
, b
i
e c do operador L denido
em (5.1) esto em L
(). Nosso primeiro resultado uma verso do item (i) do Teorema

1.5.
Teorema 3.2. Seja L um operador uniformemente elptico em com c 0 em . Se
u C
2
() C(), ento valem os seguintes itens:
(i) Se Lu 0 em , ento
max
u = max
u.
(ii) Se Lu 0 em , ento
min
u = min
u.
Demonstrao. Suponha inicialmente que Lu > 0 em e que existe x tal que
u( x) = max
u. Como L uniformemente elptico, a matriz dos coeciente A = A( x)

positiva denida. Logo existe uma matriz ortogonal C = C
nn
tal que C
1
= C
T
e
CAC
T
=
_
1
0 0
0
2
0
.
.
.
.
.
.
.
.
.
0
0 0
n
_
_
com
i

0
> 0, i = 1, . . . , n. O termo geral da matriz acima dado por
kl
k
=
n
i=1
c
ki
n
j=1
a
ij
c
T
jl
=
n
i,j=1
c
ki
a
ij
c
lj
.
Considerando agora a nova varivel y := x + C(x x) temos que
u(x) = u( x + C
T
(y x)) = v(y(x)).
Observe que x ponto de mximo da funo v, e portanto
v( x) = 0 e D
2
v( x) 0,
com a segunda inequao acima signicando que a matriz Hessiana de v no ponto x no
positiva. Se y = (y
1
, . . . , y
n
) ento
y
k
= (x
0
)
k
+
n
j=1
c
kj
(x
j
x
j
)
para cada k = 1, . . . , n. Logo
u
x
i
=
n
k=1
v
y
k
y
k
x
i
=
n
k=1
v
y
k
c
ki
.
Do mesmo modo
u
x
i
x
j
=
n
k,l=1
v
y
k
y
l
c
ki
c
lj
.
Lembrando que u( x) = 0, obtemos ento
Lu( x) =
n
i,j=1
a
ij
( x)u
x
i
x
j
( x) +
n
i=1
b
i
( x)u
x
i
( x)
=
n
i,j=1
a
ij
( x)
n
k,l=1
v
y
k
y
l
c
ki
c
lj
=
n
k,l=1
v
y
k
y
l
n
i,j=1
a
ij
( x)c
ki
c
lj
=
n
k,l=1
v
y
k
y
l
kl
k
=
n
k=1
v
y
k
y
k
k
.
Uma vez que D
2
v( x) 0, o mesmo raciocnio usado na prova de (3.3) mostra que
v
y
k
y
k
( x) 0, k = 1, . . . , n. Como os nmeros
i
s so positivos, conclumos da expresso
acima que
Lu( x) =
n
k=1
v
y
k
y
k
( x)
k
0,
o que um absurdo. Logo, se Lu > 0 em , a funo u no pode assumir seu mximo
em , isto , max
u = max
u.
Consideremos agora o caso geral Lu 0. Seja R arbitrrio e considere
u
(x) := u(x) + e
x
1
, x = (x
1
, . . . , x
n
) .
Usando a denio de L, a equao (3.3), a regularidade dos coecientes e Lu 0,
obtemos
Lu
= Lu + L(e
x
1
)
= Lu + e
x
1
(a
11
(x)
2
+ b
1
(x))
e
x
1
(
0
2
|b
1
|
).
Escolhendo > 0 sucientemente grande de modo que Lu
> 0, podemos usar a primeira

parte da demonstrao para concluir que
max
= max
.
Mas u
u, e portanto
max
u max
= max
max
u + max
e
x
1
.
Fazendo 0
+
conclumos que max
u max
u. Uma vez que a desigualdade contr-

ria trivialmente satisfeita conclumos que
max
u = max
u.
Para provar o item (ii) basta usar o item (i) com a funo u.
Observao 3.3. Nesse momento nos parece importante fazer uma srie de observaes
a respeito das hipteses do teorema. Mais especicamente, salientamos que a concluso
do teorema pode no ser vlida em cada uma das situaes abaixo:
1. se no limitado, bastando para isso considerar = R (0, ), Lu = u e a
funo u(x, y) = e
x
sen y.
2. se c , 0, bastando para isso considerar = (0, 2) (0, 2), Lu = u + 2u e
u(x, y) = sen x sen y.
3. se os coecientes do operador no so limitados, bastando para isso considerar =
(1, 1) R, Lu = u
+ b(x)u
, com
b(x) =
_
_
_
3
x
, se x ,= 0,
0, se x ,= 0,
e a funo u(x) = 1 x
4
.
No que segue, vamos considerar uma verso do teorema acima para o caso em que o
termo de ordem zero c(x) no positivo. Antes porm, lembremos que se u : R
uma funo qualquer, ento a parte positiva u
+
e a parte negativa u
da funo u so
denidas por
u
+
(x) := maxu(x), 0, u
(x) := maxu(x), 0,
para x . Observe que as duas funes acima so no negativas e que, alm disso,
valem as seguintes igualdades
[u[ = u
+
+ u
, u = u
+
u
.
Teorema 3.4 (Princpio do Mximo Fraco). Seja L um operador uniformemente elptico
em com c 0 em . Se u C
2
() C(), ento valem os seguintes itens:
(i) Se Lu 0 em , ento
max
u max
u
+
.
(ii) Se Lu 0 em , ento
min
u max
.
(iii) Se Lu = 0 em , ento
max
[u[ = max
[u[.
Demonstrao. (i) Seja
+
:= x : u(x) > 0. Se o conjunto
+
for vazio no h
nada a fazer pois, nesse caso, u 0 em e portanto
max
u 0 = max
u
+
.
Logo, podemos supor que
+
,= . A continuidade de u nos assegura que o conjunto
+
aberto em , e portanto aberto em R
n
. Desse modo, como c 0 em ,
Ku := Lu c(x)u 0 em
+
.
Note que
Ku = Lu c(x)u =
n
i,j=1
a
ij
(x)u
x
i
x
j
+
n
i=1
b
i
(x)u
x
i
e que u C
2
(
+
) C(
+
). Segue ento do Teorema 3.2(i), aplicado ao operador K, que
max
+
u = max
+
u.
Uma vez que =
+

+
e u 0 nesse ltimo conjunto, segue que
max
u max
+
u = max
+
u.
suciente ento mostrar que
max
+
u max
u
+
.
Para tanto, considere x
0

+
tal que u(x
0
) = max
+ u. A continuidade de u e a
denio de
+
implicam que u(x
0
) 0. Temos dois casos a considerar:
Caso 1. u(x
0
) = 0
Nesse caso devemos ter u 0 em pois max
u max
+ u = 0. Logo, u
+
= 0 em
e portanto
u(x
0
) = max
+
u = 0 = max
u
+
.
Caso 2. u(x
0
) > 0
Nesse caso, como
+
aberto em , devemos ter x
0
. De fato, se no fosse assim,
ento u seria positiva em toda uma bola B
(x
0
)
+
, contrariando o fato de que x
0

+
. Da
max
+
u = u(x
0
) = u
+
(x
0
) max
u
+
.
As consideraes acima provam o item (i). O item (ii) segue de (i), bastando para isso
notar que se Lu 0 ento L(u) 0. Da
min
u = max
(u) max
(u)
+
= max
,
pois (u)
+
= maxu, 0 = u
.
Para provar (iii), tomemos x
0
tal que [u(x
0
)[ = max
[u[ e consideremos nova-

mente dois casos distintos.
Caso 1. u(x
0
) 0
Nesse caso, podemos usar o item (i) e a denio de u
+
para obter
max
[u[ = max
u max
u
+
max
[u[.
Caso 2. u(x
0
) < 0
Usando agora o item (ii) obtemos
max
[u[ = min
u max
max
[u[.
Segue ento que max
[u[ max
[u[. Como a desigualdade reversa trivialmente

satisfeita, o teorema est provado.
Como no caso do operador Laplaciano, os princpios de mximos so teis na obten-
o de resultados de unicidade de soluo, bem como princpios de comparao. Como
exemplo, temos os dois resultados abaixo, cujas provas sero deixadas a carga do leitor.
Teorema 3.5. Se L uniformemente elptico em com c 0 ento o problema
_
Lu = f em ,
u = g em ,
possui no mximo uma soluo em C
2
() C().
Teorema 3.6 (Princpio de Comparao). Seja L um operador uniformemente elptico
em com c 0 e u C
2
() C(). Se Lu 0 em e u 0 em , ento u 0 em
.
Nosso objetivo agora estabelecer uma verso do item (ii) do Teorema 1.5 para o
operador L. Para tanto, vamos necessitar do seguinte resultado auxiliar.
Lema 3.7 (Lema de Hopf). Suponha que B R
n
uma bola aberta, L um operador
uniformemente elptico em B, u C
2
(B) e Lu 0 em B. Suponha ainda que existe
x
0
B tal que u contnua em x
0
e u(x) < u(x
0
) para todo x B. Ento,
(i) se c 0 em B e existe a derivada normal
u
(x
0
), ento
u
(x
0
) > 0.
(ii) se c 0 em e u(x
0
) 0 ento vale o mesmo resultado do item acima.
Antes de provar o lema acima vale observar que, se x
0
B um ponto de mximo
local e existe
u
(x
0
), ento sempre verdade que
u
(x
0
) = lim
h0
u(x
0
+ h) u(x
0
)
h
0,
independente do sinal de Lu. A informao adicional dada pelo lema que a desigualdade
acima estrita.
Demonstrao do Lema 3.7. Podemos supor, sem perda de generalidade, que u
C(B) e que u(x) < u(x
0
) para todo x B x
0
. De fato, se no for esse o caso,
suciente tomar uma nova bola B
B que internamente tangente B no ponto x

0
.
Alm disso, conforme veremos posteriormente, podemos tambm supor que B = B
r
(0).
Feitas as consideraes acima, vamos assumir inicialmente as hipteses do item (ii) e
considerar, para > 0 a ser determinado, a funo
v(x) := e
|x|
2
e
r
2
, x B.
Para cada i, j = 1, . . . , n, temos que
v
x
i
= 2x
i
e
|x|
2
e
v
x
i
x
j
=
_
_
_
4
2
x
i
x
j
e
|x|
2
, se i ,= j
4
2
x
2
i
e
|x|
2
2e
|x|
2
, se i = j
= (4
2
x
i
x
j
2
ij
)e
|x|
2
,
de modo que
Lv(x) = e
|x|
2
_
n
i,j=1
_
4
2
a
ij
(x)x
i
x
j
2
ij
a
ij
(x)
_
2
n
i=1
(b
i
(x)x
i
) + c(x)
_
c(x)e
r
2
.
Usando as hipteses sobre os coecientes de L, temos que
n
i,j=1
a
ij
(x)x
i
x
j

0
[x[
2
,
n
i=1
b
i
(x)x
i
[x[
n
i=1
|b
i
|
c
1
e
n
i,j=1
ij
a
ij
(x)
n
i=1
|a
ij
|
= c
2
,
com c
1
, c
2
0. As estimativas acima e c 0 implicam que
Lv(x) e
|x|
2
_
4
2
0
[x[
2
2(c
1
+ c
2
) |c|
_
.
Desse modo, fazendo c
3
:= c
1
+c
2
e denotando A
r
:= B
r
(0) B
r/2
(0) temos que, para
todo x A
r
, vale
Lv(x) e
|x|
2
_
4
2
0
(r/2)
2
2c
3
|c|
_
.
Escolhendo > 0 de modo que o termo entre parntesis acima seja positivo conclumos
que
Lv 0 em A
r
.
Uma vez que x
0
um ponto de mximo estrito de u e a funo v positiva e contnua
no compacto B
r/2
(0), podemos escolher > 0 de tal modo que
u(x
0
) u(x) +v(x), x B
r/2
(0).
Note ainda que a desigualdade acima permanece vlida em B
r
(0) pois, nesse conjunto,
a funo v se anula. Desse modo, a funo
w(x) = u(x) + v(x) u(x
0
)
tal que
_
_
_
Lw = Lu + Lv c(x)u(x
0
) 0, em A
r
,
w 0, em A
r
.
(3.4)
Segue ento do Princpio de Comparao (cf. Teorema 3.6) que w 0 em A
r
.
Observe agora que, como x
0
B, temos que v(x
0
) = 0. Logo w(x
0
) = 0 e portanto
x
0
um ponto de mximo de w em A
r
. Desse modo, supondo que existe a derivada
normal de u no ponto x
0
, devemos ter
w
(x
0
) 0, o que implica que
u
(x
0
)
v
(x
0
) = v(x
0
)
_
x
0
r
_
=
_
2x
0
e
|x
0
|
2
_
_
x
0
r
_
= 2
[x
0
[
2
r
e
|x
0
|
2
> 0.
Isso estabelece a veracidade de (ii) no caso em que a bola B est centrada na origem. Para
o caso geral em que B = B
r
(y) basta considerar v(x) = e
|xy|
2
e
r
2
para x B
r
(y)
e proceder como acima. A prova do item (ii) tambm pode ser feita repetindo os mesmo
passos acima e ser deixada como exerccio.
Observao 3.8. Sob as hipteses do lema, mesmo quando no existe a derivada normal
no ponto x
0
, a demonstrao que apresentaremos a seguir mostra que para toda direo
exterior tal que (x
0
) > 0, vale
liminf
h0
u(x
0
+h) u(x
0
)
h
> 0.
Vamos usar o Lema de Hopf para provar o
Teorema 3.9 (Princpio do Mximo Forte). Seja R
n
um aberto limite e conexo, L
um operador uniformemente elptico em com c 0 e u C
2
() C(). Ento
(i) se Lu 0 em e u atinge mximo em , ento u constante em .
(ii) se Lu 0 em e u atinge mnimo em , ento u constante em .
No caso em que c 0 vale o seguinte:
(iii) se Lu 0 em e u atinge mximo no negativo em , ento u constante em .
(iv) se Lu 0 em e u atinge mnimo no positivo em , ento u constante em .
Demonstrao. Vamos provar primeiro o item (i). Suponha que Lu 0 e que existe
x
0
tal que M := max
u = u(x
0
). Considere o conjunto
M
:= x : u(x) = M
e suponha, por contradio, que o conjunto
:=
M
= x : u(x) < M
no vazio. Seja y tal que
dist(y,
M
) < dist(y, )
e considere r > 0 o raio da maior bola B = B
r
(y) tal que
B
r
(y)
M
= x
0
, B
r
(y) .
No difcil ver que sempre possvel fazer uma escolha de y e r > 0 satisfazendo as
condies acima (cf. Exerccio 3.8).
Uma vez que x
0
um ponto de mximo de u devemos ter u(x
0
) = 0. Assim
u
(x
0
) = u(x
0
) (x
0
) = 0.
Por outro lado, segue do item (i) do Lema de Hopf que a derivada normal acima deve ser
positiva. Esta contradio mostra que
M
= , donde se conclui que u constante em
.
A prova do item (ii) segue de (i) utilizando-se a funo u. No caso em que c 0
em a prova anloga apresentada acima utilizando porm o item (ii) do Lema de
Hopf.
Observao 3.10. Note que o teorema acima vale para domnios ilimitados. A elip-
ticidade uniforme e a limitao dos coecientes no essencial. De fato, basta que as
funes
n
i,j=1
a
ij
(x)
(x)
,
n
i=1
b
i
(x)
(x)
,
c(x)
(x)
sejam limitadas em toda bola fechada contida em , em que (x) o menor autovalor da
matriz A(x) = (a
ij
(x)).
O resultado abaixo um princpio de mximo geral para o operador L sem restries
no sinal de c(x).
Teorema 3.11. Suponha que L uniformemente elptico no conexo e que que existe
w C
2
() C
1
() tal que w > 0 em e Lw 0 em . Dada u C
2
() C() temos
que
(i) se Lu 0 e
u
w
assume mximo no negativo em ento
u
w
constante em .
(ii) se Lu 0 e
u
w
assume mnimo no positivo em ento
u
w
constante em .
Demonstrao. Denotando v =
u
w
, um clculo direto (cf. Exerccio 3.17) mostra que
n
i,j=1
a
ij
(x)v
x
i
x
j
+
n
i=1
B
i
(x)v
x
i
+
_
Lw
w
_
v 0 em ,
com B
i
(x) := b
i
(x) +
n
j=1
2
w
a
ij
(x)u
x
i
x
j
, para cada i = 1, . . . , n. O resultado segue agora
do Teorema 3.9.
A aplicabilidade do resultado acima depende de podermos encontrar uma funo w
como no enunciado do teorema. No que segue exibimos uma classe de domnios para os
quais essa tarefa pode ser executada com sucesso.
Teorema 3.12. Seja L uniformemente elptico em e suponha que existe e R
n
tal que
[e[ = 1 e
[x y, e[ < d, x, y, .
Ento existe d
0
= d
0
(n,
0
, |b
i
|
, |c
+
|
) > 0 tal que o Teorema 3.11 aplicvel se d d

0
.
Demonstrao. Vamos exibir uma funo w satisfazendo as hipteses do Teorema 3.11.
Para simplicar a notao vamos supor que e = e
1
= (1, 0, . . . , 0) e que (0, d) R
n1
.
Considerando > 0 a ser escolhido posteriormente, denimos
w(x) := e
d
e
x
1
, x = (x
1
, . . . , x
n
) .
Observe inicialmente que w C
(). Alm disso, como para todo x vale 0 < x

1
< d,
temos que w > 0 em .
Note que
w
x
1
= e
x
1
, w
x
1
x
1
=
2
e
x
1
e as demais derivadas de ordem 1 e 2 so nulas. Sendo assim, usando novamente que
3.2 Alguns resultados abstratos 48
0 < x
1
< d, obtemos
Lw = a
11
(x)
2
e
x
1
b
1
(x)e
x
1
+ c(x)e
d
c(x)e
x
1
= (a
11
(x)
2
+ b
1
(x))e
x
1
+ (c
+
(x) c
(x))(e
d
e
x
1
)
(a
11
(x)
2
+ b
1
(x))e
x
1
+ c
+
(x)e
d
.
Denotando M := max|b
1
|
, |c
+
|
e usando (3.3), obtemos ento

Lw
0
2
e
x
1
+|b
1
|
e
x
1
+|c
+
|
e
d
(
0
2
M) + Me
d
.
Escolhendo agora > 0 de modo que
0
2
M > 2M, conclumos que
Lw 2M + Me
d
= M(2 + e
d
)
de sorte que Lw 0 em , sempre que 0 < d d
0
, onde d
0
> 0 tal que e
d
0
= 2. Isso
conclui a demonstrao.
Como ltimo resultado apresentamos um princpio de comparao devido a Varadhan
que tambm vale independentemente do sinal de c(x) mas que, em compensao, exige
que o conjunto tenha volume pequeno. Mais especicamente, vale o resultado abaixo,
cuja prova pode ser encontrada em [7, Teorema 2.32].
Teorema 3.13. Suponha que L uniformemente elptico em e u C
2
() C() tal
que Lu 0 em e u 0 em . Ento existe = (n, |b
i
|
, |c|
,
0
, diam()) > 0 tal
que, se o volume de ) menor que , ento u 0 em .
3.2 Alguns resultados abstratos
Nessa seo vamos discutir a existncia de soluo para o problema
(P)
_
_
_
Lu = f em ,
u = g em ,
onde R
n
2,
, 0 < 1, f C
0,
(
), g C
2,
(),
L um operador diferencial de 2a ordem da forma
Lu :=
n
i,j=1
a
ij
(x)u
x
i
x
j
+
n
i=1
b
i
(x)u
x
i
+ c(x)u,
com os coecientes a
ij
, b
i
, c C
0,
(). O Corolrio 2.10 nos assegura que, sob as con-
dies acima e no caso em que L = , o problema sempre possui soluo em C
2,
().
Estamos interessados em obter um resultado anlogo para o caso em que L tem a forma
acima.
Vamos iniciar nossa discusso supondo que o problema
Lv =

f em , v = 0 em ,
tem soluo de classe C
2,
() para toda

f C
0,
(). Uma vez que o dado de fronteira g
e o conjunto so de classe C
2,
, podemos estender g para todo com a sua extenso,
que denotaremos ainda por g, sendo de classe C
2,
() (cf [6, Lemma 6.38]). Considerando
agora v C
2,
() a soluo do problema acima com

f := f Lg C
0,
(), temos que a
funo u := v +g satisfaz
Lu = Lv +Lg = f em , u = v + g = g em ,
sendo portanto soluo de (P).
As consideraes acima mostram que podemos, sem perda de generalidade, considerar
g 0 na formulao do problema (P). Sendo assim, denindo
X :=
_
u C
2,
() : u 0 em
_
, Y := C
0,
(), (3.5)
a solubilidade do problema (P) equivalente a mostrar que L : X Y sobrejetivo.
A m de formalizar melhor a armao acima vamos mostrar que L : X Y est
bem denido e contnuo. Para a primeira parte, precisamos vericar que Lu C
0,
()
sempre que u C
2,
(). Tendo em vista a denio de L suciente vericar que, se
v, w C
0,
(), ento o produto vw C
0,
(). Dados ento x, y , com x ,= y, observe
que
[v(x)w(x) v(y)w(y)[
[x y[
=
[v(x)w(x) v(x)w(y) v(y)w(y)[
[x y[
[v(x)[
[w(x) w(y)[
[x y[
+[w(y)[
[v(x)[[v(x) v(y)[
[x y[
|v|
0
H
[w] +|w|
0
H
[v].
Tomando o supremo conclumos que
H
[vw] |v|
0
H
[w] +|w|
0
H
[v] < ,
e portanto vw C
0,
(). Alm disso,
|vw|
0,
= |vw|
0
+ H
[vw]
|v|
0
|w|
0
+|v|
0
H
[w] +|w|
0
H
[v]
(|v|
0
+ H
[v])(|w|
0
+ H
[w])
= |v|
0,
|w|
0,
.
Suponha que (u
n
) C
2,
() tal que u
n
0 em C
2,
(). Usando a estimativa acima
obtemos
|Lu
n
L0|
0,
= |Lu
n
|
0,
i,j=1
_
_
a
ij
(u
n
)
x
i
x
j
_
_
0,
+
n
i=1
_
_
b
i
(u
n
)
x
i
_
_
0,
+|c(u
n
)|
0,
c
1
_
n
i,j=1
|(u
n
)
x
i
x
j
|
0,
+
n
i
|(u
n
)
x
i
|
0,
+|u
n
|
0,
_
,
em que c
1
:= max|a
ij
|
0,
, |b
i
|
0,
, |c|
0,
. Uma vez que u
n
0 em C
2,
() devemos
ter |D
(u
n
)|
0,
0 para todo multi-ndice de ordem menor ou igual a 2. Sendo assim,
a expresso acima mostra que que Lu
n
0 = L0 em C
0,
(), o que implica que L
contnuo na origem. Se u
n
u em C
2,
() ento u
n
u 0, donde se conclui que
L(u
n
u) 0, isto , Lu
n
Lu em C
0,
(). Desse modo, L contnuo.
Na prxima subseo apresentamos um resultado abstrato que ser utilizado na prova
da sobrejetividade de L.
3.2.1 O mtodo da continuao
Conforme vimos anteriormente, resolver o problem (P) equivalente a mostrar a
sobrejetividade de L : X Y , onde L, X e Y so como na seo anterior. A m de
realizar tal tarefa, vamos considerar a famlia de problemas
_
_
_
L
t
u = f em ,
u = 0 em ,
onde
L
t
:= (1 t)L +t, t [0, 1],
e mostrar que L
0
sobrejetivo se, e somente se, L
1
sobrejetivo. Uma vez que L
1
= ,
o resultado de existncia de soluo para (P) ser uma consequncia do Teorema 2.10.
Antes de prosseguirmos lembremos que, se X e Y so espaos vetoriais normados e
T : X Y um operador linear, ento dizemos que T limitado se
|T| := sup
x=0
|Tx|
Y
|x|
X
= sup
x
X
1
|Tx|
Y
< .
No difcil vericar que T limitado se, e somente se, T contnuo.
O resultado abstrato abaixo uma pea chave no nosso projeto.
Teorema 3.14 (Princpio da Continuao). Seja X um espao de Banach, Y um espao
vetorial normado e L
0
, L
1
: X Y operadores lineares limitados. Para t [0, 1] considere
o operador
L
t
u := (1 t)L
0
u +tL
1
u, u X. (3.6)
Suponha que existe c > 0 tal que
|u| c |L
t
u| , u X, t [0, 1]. (3.7)
Ento L
0
1
sobrejetivo.
Antes de provar o resultado acima vamos fazer algumas consideraes. Observe inicial-
mente que, se o operador linear L : X Y tal que existe c > 0 com |x| c |Lx|, para
todo x X, ento o operador L injetivo. Nesse caso, podemos considerar o operador
inverso L
1
: L(X) X que tambm linear. Alm disso, para todo y = Lx L(X)
vale
_
_
L
1
y
_
_
c |y| ,
donde se conclui que L
1
limitado. Desse modo, a condio (3.7) no teorema acima
equivalente a dizer que
_
_
L
1
t
_
_
uniformemente limitado para t [0, 1].
Para demonstrar o Teorema 3.14 vamos usar o resultado abaixo.
Teorema 3.15 (Teorema do Ponto Fixo de Banach). Seja (X, d) um espao mtrico
completo e T : X X contnuo. Suponha que T uma contrao, isto , existe
(0, 1) tal que
d(Tx, Ty) d(x, y), x, y X.
Ento T possui exatamente um ponto xo, isto , existe exatamente um elemento x X
tal que Tx = x.
Estamos prontos para provar o principal resultado dessa subseo.
Demonstrao do Teorema 3.14. Suponha que L
s
sobrejetivo para algum s [0, 1].
Dado t [0, 1] e y Y , observe que
L
t
x = y L
s
x +L
t
x = y + L
s
x L
s
x = y + (L
s
L
t
)(x).
Desse modo, resolver a equao L
t
x = y equivalente a resolver
x = L
1
s
[y + (L
s
L
t
)(x)]
= L
1
s
y +L
1
s
[(L
s
L
t
)(x)]
= L
1
s
y +L
1
s
[(1 s)L
0
x +sL
1
x (1 t)L
0
x tL
1
x]
= L
1
s
y +L
1
s
[sL
0
x + sL
1
x + tL
0
x tL
1
x]
= L
1
s
y +L
1
s
[(t s)L
0
x (t s)L
1
x]
= L
1
s
y + (t s)L
1
s
[(L
0
L
1
)(x)]
Assim, se denirmos T : X X por
Tx := L
1
s
y + (t s)L
1
s
[(L
0
L
1
)(x)]
vemos que resolver a equao L
t
x = y equivalente a obter um ponto xo para T.
Vamos mostrar T uma contrao desde que [t s[ seja sucientemente pequeno. De
fato, note inicialmente que para todo x, z X vale
|Tx Tz| = |(t s)L
1
s
[(L
0
L
1
)(x z)]| [t s[|L
1
s
[(L
0
L
1
)(x z)]|.
Como (3.7) implica que |L
1
s
u| c|u|, obtemos
|Tx Tz| c[t s[|(L
0
L
1
)(x z)|
c[t s[(|L
0
(x z)| +|L
1
(x z)|)
c[t s[(|L
0
| +|L
1
|)|x z|.
Portanto T uma contrao sempre que [t s[ < , onde > 0 dado por
:=
1
c(|L
0
| +|L
1
|)
.
O Teorema do Ponto Fixo e as consideraes anteriores mostram que L
t
sobrejetivo para
todo t [0, 1] tal que [t s[ < .
Observe que podemos cobrir o intervalo [0, 1] com intervalos da forma (s , s + )
quando fazemos s percorrer o intervalo [0, 1]. O resultado seque agora por iterao, visto
que > 0 uma constante que no depende de t.
A aplicabilidade do ltimo teorema ao nosso problema (P) depende de sermos capazes
de encontrar uma constante c > 0 satisfazendo (3.7). A obteno dessa constante uma
parte delicada no estudo do problema (P) e depende de algumas propriedades dos espaos
de Hlder, denidos antes da Proposio 2.4. No que segue vamos estudar um pouco mais
a fundo tais espaos.
3.2.2 Espaos de Hlder, imerses contnuas e compactas
Iniciamos essa subseo com a denio de imerses entre espaos de Banach.
Denio 3.16. Sejam X e Y dois espaos vetoriais normados com X Y . Dizemos
que X est imerso continuamente em Y se existe c > 0 tal que
|x|
Y
C |x|
X
, x X
Nesse caso, escrevemos X Y .
Observe que dizer que a imerso de X em Y contnua equivalente a dizer que a
aplicao identidade i : X Y dada por i(x) = x, x X, contnua.
Um exemplo simples de imerso ocorre no espaos das funes diferenciveis. De fato,
se k N 0 ento
C
k+1
() C
k
(),
visto que, para toda funo u C
k+1
(), vale
|u|
k
=
||k
|D
u|
0

||k+1
|D
u|
0
= |u|
k+1
.
O resultado abaixo generaliza essa informao e fornece tambm uma hierarquia entre os
espaos de Hlder.
Teorema 3.17. Se k N 0 e 0 < < 1, ento
(1) C
k+1
() C
k
();
(2) C
k,
() C
k
();
(3) C
k,
() C
k,
().
Alm disso, se convexo, ento
(4) C
k+1
() C
k,1
();
(5) C
k+1
() C
k,
().
Demonstrao. O item (1) foi provado acima. Para (2), basta notar que para toda
u C
k,
() vale
|u|
k
=
||k
|D
u|
0
|u|
k
+
||k
H
[D
u] = |u|
k,
.
Para vericar (3) xemos u C
k,
() e um multi-ndice com [[ k. Dados
x, y com 0 < [x y[ < 1, temos que
[D
u(x) D
u(y)[
[x y[

[D
u(x) D
u(y)[
[x y[
[D
u].
Por outro lado, se [x y[ 1, ento
[D
u(x) D
u(y)[
[x y[
[D
u(x) D
u(y)[
[D
u(x)[ +[D
u(y)[
|D
u|
0
+|D
u|
0
= 2 |D
u|
0
Assim,
H
[D
u] 2 |D
u|
0
+ H
[D
u],
de onde se conclui que
|u|
k,
=
||k
|D
u|
0
+
||k
H
[D
u]
||k
|D
u|
0
+
||k
H
[D
u] + 2
||k
|D
u|
0
|u|
k,
+ 2
||k
|D
u|
0
+ 2
||k
H
[D
u]
= 3 |u|
k,
,
e portanto (3) se verica.
Suponha agora que convexo e considere u C
k+1
(). Dados x, y com x ,= y,
e um multi-ndice tal que [[ k, podemos aplicar o Teorema do Valor Mdio para
escrever
D
u(x) D
u(y) = D
u(z) (x y)
para algum z (1 t)x + ty : t [0, 1]. Desse modo
[D
u(x) D
u(y)[
[x y[
1
[D
u(z)[ c |u|
k+1
e portanto
|u|
k,1
= |u|
k
+
||k
H
1
[D
u] c |u|
k+1
.
Isso estabelece (4). Finalmente, o item (5) segue das imerses contnuas abaixo
C
k+1
() C
k,1
() C
k,
().
O teorema est provado.
Vale observar que a hiptese de convexidade em (4) e (5) no pode ser retirada. De
fato, existem funes u C
1
() que no esto em C
0,1
(). Como exemplo, considere
:= (x, y) R
2
: y <
_
[x[, x
2
+y
2
< 1. Fixado 1 < < 2, dena
u(x, y) :=
_
_
_
(sgn x)y
, se y > 0,
0, se y 0,
em que sgn() a funo sinal. Ento u C
1
() mas, para todo > 0 satisfazendo
que /2 < < 1, temos que u , C
0
(). Em particular, pelo item (3), temos que
u , C
0,1
().
Estamos interessados agora em propriedades especiais das imerses acima. Lembremos
que, se X e Y so espaos vetoriais normados, dizemos que um operador linear T : X Y
compacto quando T contnuo e T leva conjuntos limitados em conjuntos relativamente
compactos, isto , se A X limitado ento T(A) Y compacto.
Denio 3.18. Sejam X e Y dois espaos vetoriais normados com X Y . Dizemos
qua a imerso de X em Y compacta se a aplicao identidade i : X Y for compacta.
Nesse caso dizemos que X est imerso compactamente em Y e escrevemos X
cpct.
Y .
Uma maneira equivalente de denir uma imerso compacta dizer que X est imerso
compactamente em Y se toda sequncia (u
n
) X limitada possui subsequncia conver-
gente em Y .
Conforme veremos adiante, resultados de compacidade so extremamente importantes
no estudo de equaes diferenciais. Enunciamos abaixo um resultado clssico de compa-
cidade no espao das funes contnuas.
Teorema 3.19 (Arzel-Ascoli). Seja R
n
um aberto limitado e / C() um sub-
conjunto satisfazendo
(i) existe M > 0 tal que
|u|
0
M, u /;
(ii) dado > 0, existe > 0 tal que, para todo u /, x, y , vale
[x y[ < = [u(x) u(y)[ < .
Ento toda sequncia (u
n
) / possui subsequncia convergente.
Um conjunto / C() dito equilimitado quando satisfaz a condio (i) acima.
Quando (ii) satisfeita, dizemos que o conjunto equicontnuo. Note que, quando
convexo, uma condio suciente para a equicontinuidade de / que as suas funes
tenham derivada limitada em .
No nosso prximo resultado analisamos a compacidade das imerses dadas no Teorema
3.17.
Teorema 3.20. Se R
n
um aberto limitado, k N 0 e 0 < < 1, ento
(2) C
k,
()
cpct.
C
k
();
(3) C
k,
()
cpct.
C
k,
().
Alm disso, se convexo, ento
(1) C
k+1
()
cpct.
C
k
();
(5) C
k+1
()
cpct.
C
k,
().
Demonstrao. Para provar (2) mostraremos inicialmente que C
0,
()
cpct.
C().
Considerando ento (u
n
) C
0,
() tal que
|u
n
|
0,
= |u
n
|
0
+ H
[u
n
] M, n N,
precisamos vericar que existe uma subsequncia convergente em C(). Seja / := u
n
:
n N C() e observe que a inequao acima mostra que / equilimitado. Alm
disso, como H
[u
n
] M, segue que
[u
n
(x) u
n
(y)[ M[x y[
, n N, x, y .
Logo, para todo > 0 dado, a condio (ii) do Teorema 3.19 se verica para = (/M)
1/
.
Segue ento do Teorema de Arzel-Ascoli que (u
n
) possui uma subsequncia convergente
em C(). Isso estabelece (2) quando k = 0.
Para o caso geral, se (u
n
) C
k,
() uma sequncia limitada, ento existe uma
subsequncia de (u
n
), que denotaremos por (u
n
), tal que u
n
u em C(). Para todo
multi-ndice tal que [[ k,
|u
n
|
k,
= |u
n
|
k
+
||k
H
[D
u
n
] M.
Logo,
|D
u
n
|
0,
= |D
u
n
|
0
+ H
[D
u
n
] M.
Usando a primeira parte da demonstrao e passando para subsequncias se necessrio,
temos que D
u
n

em C(). Como a convergncia uniforme devemos ter
= D
u.
Desse modo, u C
k
() e
|u
n
u|
k
=
||k
|D
u
n
D
u|
0
0,
o que estabelece (2).
Para vericar (3) note inicialmente que, se u C
k,
() e x, y com x ,= y, ento
[D
u(x) D
u(y)[
[x y[
=
_
[D
u(x) D
u(y)[
[x y[
[D
u(x) D
u(y)[
1
de modo que, tomando o supremo, obtemos

H
[D
u] cH
[D
u]
|D
u|
1
0
.
Seja agora (u
n
) C
k,
() uma sequncia limitada. Usando (2) e passando a uma sub-
sequncia se necessrio, podemos supor que (u
n
) converge em C
k
(). Usando a estimativa
acima obtemos
|u
n
u
m
|
k,
=
||k
(|D
(u
n
u
m
)|
0
+ H
[D
(u
n
u
m
)])
||k
|D
(u
n
u
m
)|
1
0
_
|D
(u
n
u
m
)|
0
+cH
[D
(u
n
u)]
_
.
Os termos que aparecem entre parnteses acima so uniformemente limitados devido a
limitao de (u
n
) em C
k,
(). Como u
n
converge em C
k
() temos que, para todo multi-
3.3 O teorema de existncia de Schauder 58
ndice de ordem menor ou igual a k, |D
(u
n
u
m
)|
0
0, quando n, m . Logo,
a sequncia (u
n
) de Cauchy em C
k,
(), o que implica que u
n
u em C
k,
(), para
alguma funo u C
k,
(). Isso estabelece (3).
A demonstrao dos itens (1
) e (5
) segue dos diagramas abaixo

C
k+1
() C
k,1
()
cpct.
C
k
()
C
k+1
() C
k,1
()
cpct.
C
k,
()
e do fato de que a composio de um operador contnuo com um operador compacto
um operador compacto.
3.3 O teorema de existncia de Schauder
Voltemos agora questo de existncia de soluo para o problema
(P)
_
_
_
Lu = f em ,
u = g em ,
onde R
n
2,
, 0 < 1, f C
0,
(
), g C
2,
(),
L um operador diferencial de 2a ordem da forma
Lu :=
n
i,j=1
a
ij
(x)u
x
i
x
j
+
n
i=1
b
i
(x)u
x
i
+ c(x)u,
com os coecientes a
ij
, b
i
, c C
0,
().
Conforme vimos, esse problema equivalente a Lu = f em , u = 0 em , que por
sua vez equivalente a mostrar que, se
X :=
_
u C
2,
(); u[
= 0
_
,
ento L : X C
0,
() sobrejetivo.
A ideia usar o mtodo da continuao para a famlia de operadores
L
t
:= (1 t)L + t, t [0, 1].
Para tanto, devemos encontrar c > 0 (independente de t) tal que
|u|
2,
c|L
t
u|
0,
, u X, t [0, 1]. (3.8)
Para obter uma estimativa como acima devemos ter informaes sobre estimativas a
priori para as solues do problema (P). Uma primeira informao nesse sentido o
seguinte resultado, cuja prova pode ser encontrada em [6, Teorema 6.6].
Teorema 3.21 (Estimativa a priori). Seja R
n
2,
e
L um operador uniformemente elptico com
max|a
ij
|
0,
, |b
i
|
0,
, |c|
0,
: i, j = 1, . . . , n .
Ento existe uma constante C = C(n, ,
0
, , ) > 0 tal que
|u|
2,
C
_
|Lu|
0,
+|u|
C
2,
()
+|u|
0
_
, u C
2,
().
Observe que se u C
2,
() uma soluo de (P) ento a estimativa acima nos fornece
|u|
2,
C
_
|f|
0,
+|g|
C
2,
()
+|u|
0
_
,
e portanto no obtemos uma informao precisa a respeito da localizao da soluo
devido ao termo |u|
0
que aparece do lado direito. Esse termo adicional (e indesejado)
tambm atrapalha na aplicao do Mtodo da Continuao. Conforme veremos abaixo,
esse problema pode ser superado se vale o princpio de comparao para o operador L.
Lema 3.22. Suponha que as hipteses do Teorema 3.21 so satisfeitas e que o problema
_
Lu = 0, em ,
u = 0, em ,
tenha apenas a soluo trivial u 0 em C
2,
(). Ento existe uma constante C =
C(n, ,
0
, , ) > 0 tal que
|u|
2,
C
_
|Lu|
0,
+|u|
C
2,
()
_
, u C
2,
().
Demonstrao. Suponha, por contradio, que existem C
n
e (u
n
) C
2,
() tais
que
|u
n
|
2,
C
n
_
|Lu
n
|
0,
+|u
n
|
C
2,
()
_
.
Considerando v
n
:=
u
n
u
n
2,
temos que |v
n
|
2,
= 1 e
|Lv
n
|
0,
+|v
n
|
C
2,
()

1
C
n
0. (3.9)
Uma vez que C
2,
()
cpct.
C
2
() C(), existe v C() e uma subsequncia, que
ainda denotamos por (v
n
), tal que v
n
v em C(). Pelo Teorema 3.21 temos que
|v
n
v
m
|
2,
C
_
|Lv
n
Lv
m
|
0,
+|v
n
v
m
|
C
2,
()
+|v
n
v
m
|
0
_
.
A expresso acima, (3.9) e a convergncia em C() mostram que (v
n
) C
2,
() sequn-
cia de Cauchy, e portanto v
n
v em C
2,
(). Como L contnuo, temos que Lv
n
Lv.
Desse modo, segue de (3.9) que v satisfaz
_
Lv = 0, em
v = 0, em ,
donde se conclui que v 0. Mas isso um absurdo visto 1 = |v
n
|
2,
|v|
2,
= 0.
Vale destacar que, pelo Teorema 3.5, a concluso do lema acima vale se o termo de
ordem zero c(x) no positivo em . Desse modo, podemos provar o resultado principal
desse captulo, qual seja
Teorema 3.23 (Teorema de Existncia de Shauder). Seja um aberto limitado de classe
C
2,
, L um operador uniformemente elptico com coecientes em C
0,
() e tal que c 0
em . Ento para toda f C
0,
() e g C
2,
() o problema
_
Lu = f, em ,
u = g, em .
(P)
possui soluo nica em C
2,
().
Demonstrao. Conforme j foi mencionado podemos, sem perda de generalidade, supor
que g 0. Considere
X := u C
2,
() : u
|
0
e dena, para t [0, 1], o operador L
t
: X C
0,
() por
L
t
u := (1 t)Lu + tu, u X.
Observe inicialmente que, se
0
> 0 a constante de elipticidade de L, A(x) = a
ij
(x),
para x , e R
N
, ento
_
(1 t)A(x) +tId
_
(1 t)
0
[[
2
+ t[[
2
= [(1 t)
0
+ t] [[
2
min1,
0
[[
2
,
de modo que L
t
uniformemente elptico com constante de elipticidade igual a min1,
0
,
que independente de t. Alm disso, como t [0, 1], temos que
max|a
ij
|
0,
, |b
i
|
0,
, |(1 t)c|
0,
: i, j = 1, . . . , n ,
com = (|a
ij
|
0,
, |b
i
|
0,
, |c|
0,
) > 0 independente de t. Finalmente, note que o termo
de ordem zero de L
t
sempre (1 t)c(), que no positivo em . Segue do Princpio do
Mximo (ou do Teorema 3.5) que o problema homogneo L
t
u = 0 em , u = 0 em ,
possui somente a soluo nula.
As consideraes acima nos permitem aplicar o Lema 3.22 para obter uma constante
C = C(n, ,
0
, , ) > 0, independente de t [0, 1], tal que
|u|
2,
C
_
|L
t
u|
0,
+|u|
C
2,
()
_
= C|L
t
u|
0,
, u X,
visto que os elementos de X so identicamente nulos na fronteira de .
Utilizando agora o Mtodo da Continuao (cf. Teorema 3.14) conclumos que L
0
= L
1
sobrejetivo. O Teorema 2.8 nos assegura que L
1
=
sobrejetivo e portanto o problema (P) tem pelo menos uma soluo em C
2,
(). A
unicidade da soluo segue do Princpio do Mximo.
No prximo teorema estamos interessados em obter estimativas a priori em conjuntos
que cam longe da fronteira de . Por isso, no exigimos regularidade sobre . A
demonstrao do resultado abaixo pode ser encontrada em [6, Teorema 6.2].
Teorema 3.24 (Estimativas interiores). Seja R
n
um aberto e L um operador uni-
formemente elptico com
max|a
ij
|
C
0,
()
, |b
i
|
C
0,
()
, |c|
C
0,
()
: i, j = 1, . . . , n .
Se
0

0

1

1
e
1
compacto, ento existe uma constante C =
C(n, ,
0
, ) > 0 tal que
|u|
C
2,
(
0
)
C
_
|Lu|
C
0,
(
1
)
+|u|
C(
1
)
_
, u C
2,
().
Como uma aplicao da estima interior dada pelo teorema acima vamos provar o
seguinte resultado (compare com o Teorema 2.10).
Teorema 3.25. Seja R
n
2,
, L um operador uni-
formemente elptico com coecientes em C
0,
() e c 0. Ento, dada f C
0,
() e
g C(), o problema
_
Lu = f, em
u = g, em .
possui soluo nica em C
2,
() C().
Demonstrao. Observe inicialmente que podemos estender g para todo de modo
que a sua extenso, que denotaremos ainda por g, contnua em . Desse modo, g pode
ser aproximada uniformemente por polinmios e portanto existe (g
n
) C
2,
() tal que
g
n
g em C().
Como c 0 podemos aplicar o Teorema 3.23 para obter u
n
C
2,
() soluo de
_
Lu
n
= f, em
u
n
= g
n
, em .
Aplicando o Princpio do Mximo para a funo u
n
u
m
, conclumos que
|u
n
u
m
|
C()
|g
n
g
m
|
C()
.
A convergncia de g
n
em C() implica que (u
n
) C() de Cauchy, e portanto
u
n
u em C().
Uma vez que
0

0

1

1
, o Teorema 3.24 nos garante que
|u
n
u
m
|
C
2,
(
0
)
C|u
n
u
m
|
C()
.
Desse modo (u
n
) sequncia de Cauchy em C
2,
(
0
) e portanto u
n
u em C
2,
(
0
).
Como
0
arbitrrio, temos que u C
2,
() C() soluo do problema. .
3.4 Exerccios 63
3.4 Exerccios
n
um aberto
limitado de classe C
2
. O operador L uniformemente elptico em e tem a forma
Lu =
n
i,j=1
a
ij
(x)u
x
i
,x
j
+
n
i=1
b
i
(x)u
x
i
+ c(x)u,
com os coecientes limitados em e c 0 em .
3.1. Verique com detalhes todas as armaes feitas na observao que sucede o Teorema
3.2.
3.2. Se = (/2, /2)(/2, /2) e u(x, y) = cos xcos y, ento u satisfaz u+2u = 0
em , u = 0 em , mas u troca de sinal em . Isso contraria o Princpio do Mximo?
3.3. A funo u denida por
u(x, y) =
1 (x
2
+ y
2
)
(1 x)
2
+ y
2
,
para (x, y) B
1
(0) R
2
satisfaz u = 0 em , u = 0 em (1, 0). O princpio do
mximo se aplica nesse caso?
3.5. Prove o Teorema 3.6. Conclua que se u, v C
2
() C() satisfazem Lu Lv em
, u v em , ento u v em .
3.6. Considere as hipteses do Lema de Hopf e o novo operador

L = Lc
+
(x). Repetindo
o argumento da demonstrao, mostre que se u(u
0
) = 0, ento o resultado do lema
permanece vlido independente do sinal de c(x).
3.7. Se conexo e u C
2
() C() satisfaz Lu 0 em , u 0 em , ento u < 0
em ou u 0 em , independente do sinal de c(x).
3.8. Mostre que sempre possvel obter y e r > 0 satisfazendo as condies utilizadas
na demonstrao do Teorema 3.9.
3.9. Se u C
2
() C() satisfaz u = u
3
em , u = 0 em , ento u 0.
3.10. Se u C
2
()C() satisfaz u = u
3
u em , u = 0 em , ento 1 u(x) 1
para todo x . Seria possvel u(x
0
) = 1 para algum x
0
?
3.4 Exerccios 64
3.11. Se conexo e u C
2
() C() satisfaz u = u
2
em , ento u no pode
assumir mximo em a menos que seja u 0.
3.12. Se u(x) = e
x
e
x
, ento u satisfaz u
u = 0 em R e assume mximo em x = 0.
Isso contraria o Princpio do Mximo Forte?
3.13. Considere o problema no linear
_
u = f(x, u) em ,
u = em ,
em que f(, u) C
0,
(), f(x, ) C
1
(R) e f no decrescente em u, isto ,
f
u
(x) 0
para todo x . Mostre que o problema tem no mximo uma soluo em C
2
() C().
3.14. Use o exerccio anterior para vericar que, se k C
0,
() uma funo no negativa,
ento o problema no linear
_
u = k(x)e
u
em ,
u = em ,
tem no mximo uma soluo em C
2
() C().
3.15. Seja conexo e u C
2
() C
1
() tal que Lu = 0 em e
u
= 0 em .
(a) Mostre que u constante em .
(b) Se c(x
0
) < 0 para algum x
0
ento u 0 em .
(c) Enuncie e prove um teorema de unicidade de soluo para o problema de Neumann
Lu = f em ,
u
= em .
3.16. Para conexo, considere o problema
_
_
_
Lu = f em ,
u
+(x)u = em ,
em que f C(), C() e C() uma funo no negativa.
(a) Se c , 0 ou , 0 ento o problema tem no mximo uma soluo em C
2
()C
1
().
(b) Se c 0 e 0 ento quaisquer duas solues do problema em C
2
() C
1
()
diferem por uma constante.
3.4 Exerccios 65
3.17. Complete os detalhes da prova do Teorema 3.11.
3.18. Se K : [0, 1] [0, 1] R contnua mostre que o operador linear T : C([0, 1])
C([0, 1]) denido por
(Tu)(x) =
_
1
0
K(x, y)u(y) dy
compacto.
3.19. Mostre que se T : X Y contnuo e S : Y Z compacto ento (ST) : X Z
compacto.
Captulo
4
Espaos de Sobolev
A partir de agora vamos estudar o problema
_
u = f em ,
u = 0 em ,
(P)
com R
n
sendo um aberto de classe C
1
e a funo f, ao contrrio dos captulos
anteriores, podendo ser descontnua em . A m de exemplicar o que faremos vamos
supor, inicialmente, que a funo f pertence ao espao de Lebesgue L
2
().
Se u C
2
() C(
) soluo de (P) no sentido clssico ento, multiplicando a

primeira equao de (P) por C
0
(), integrando e usando o Teorema da Divergncia,
obtemos
_
f(x)(x) dx =
_
(u(x))(x) dx =
_
u(x) (x) dx
_
(x)
u
(x) dx,
ou ainda, lembrando que 0 em ,
_
u(x) (x) dx =
_
f(x)(x) dx, para toda C
0
(). (4.1)
Observe que o lado direito da equao acima nito sempre que f L
1
loc
(). Em
particular, se f L
2
() e u uma soluo clssica, a expresso acima sempre se verica.
Note ainda que o integrando do lado esquerdo envolve apenas as derivadas de primeira
ordem da funo u.
A m de continuar nossa motivao vamos supor que existe um espao de Hilbert H
com as seguintes propriedades:
67
(i) o produto interno em H dado pela aplicao
,
H
: H H R
(u, v) u, v
H
=
_
u(x) v(x) dx;

(4.2)
(ii) C
0
() um subespao denso de H;
(iii) H est imerso continuamente em L
2
().
Nessas condies a equao (4.1) se escreve como
u,
H
=
_
f(x)(x) dx, C
0
().
Para mostrar que a igualdade acima pode ser estendida para todos os elementos de H,
seja H e (
m
) H tal que
m
em H. Pela continuidade do produto interno
temos que u,
m
H
u,
H
. Alm disso, usando a desigualdade de Cauchy-Schwarz e
a continuidade da imerso H L
2
(), obtemos
_
(f(x)
m
(x) f(x)(x)) dx

_
[f(x)(
m
(x) (x))[ dx
|f|
L
2
()
|
m
|
L
2
()
C|f|
L
2
()
|
m
|
H
0.
Desse modo, passando a igualdade u,
m
H
=
_
f(x)
m
(x) dx ao limite, conclumos que
_
u(x) (x) dx =
_
f(x)(x) dx, para toda H. (4.3)

Diremos que u H uma soluo fraca do problema (P) se a igualdade acima
ocorre. Naturalmente, toda soluo clssica soluo fraca. Veremos posteriormente que
o contrrio pode no ser verdade.
Vejamos agora como a existncia de um espao H como acima nos permite encontrar
soluo fraca para o problema (P). Para isso vamos denir
T
f
: H R
T
f
() :=
_
f(x)(x) dx
e notar inicialmente que T
f
uma transformao linear. Alm disso, para toda H,
68
vale
[T
f
()[ =
f(x)(x) dx
|f|
L
2
()
||
L
2
()
C|f|
L
2
()
||
H
,
e portanto T
f
uma funcional linear contnuo de H em R.
Nesse ponto vale lembrar que se T : R
n
R uma transformao linear e se v R
n
pode ser escrito na base cannica de R
n
como v =
n
i=1
i
e
i
, ento
T(v) = T
_
n
i=1
i
e
i
_
=
n
i=1
i
T(e
i
) = v
T
, v
R
n
,
em que v
T
= (T(e
1
), . . . , T(e
n
)) R
n
. Isso mostra que para cada transformao linear T
de R
n
em R podemos associar um elemento v
T
R
n
tal que
T(v) = v
T
, v
R
N, v R
n
.
O ponto importante aqui que o resultado acima s depende do fato de R
n
ser um
espao com produto interno. Desse modo, vale o mesmo resultado em dimenso innita,
isto , se X um espao de Hilbert e T : X R um funcional linear contnuo, ento o
Teorema da Representao de Riesz nos garante que existe um elemento v
T
X tal que
T(v) = v
T
, v
X
, v X.
Voltando ao nosso problema, perceba que a existncia de soluo fraca para (P)
equivalente a encontrar u H tal que
u,
H
= T
f
(), H.
Como T
f
um funcional linear contnuo temos que existe um elemento u
f
H tal que
T
f
() = u
f
,
H
, H.
Segue ento das duas ltimas igualdades que u := u
f
uma soluo fraca de (P).
No difcil vericar que a soluo fraca obtida acima nica. De fato, suponha que
u
1
, u
2
H so ambas solues fracas de (P). Ento
u
1
,
H
=
_
f(x)(x) dx = u
2
,
H
, H,
4.1 Derivadas Fracas 69
o que mostra que
u
1
u
2
,
H
= 0, H.
Em particular, escolhendo = u
1
u
2
na expresso acima, conclumos que |u
1
u
2
|
2
H
= 0,
o que implica que u
1
= u
2
.
Vale notar que o mesmo argumento usado acima nos permite mostrar que, em geral,
o elemento de representao dado pelo Teorema de Riesz nico.
Nas prximas sees vamos discutir a existncia de um espao H com as propriedades
acima. importante observar que a equao (4.3) pressupe apenas a existncia de
derivadas de ordem um para as funes de H. Desse modo, natural que o espao H
seja maior do que C
2
() C(), esse ltimo sendo o espao em que vivem as solues
clssicas. Assim, parece natural pensar que temos mais chance de obter solues fracas
do que solues clssicas.
Um maneira simples de construir o espao H seria notar que a funo dada em (4.2)
dene um produto interno em C
0
() e denotar por H o fecho de C
0
() com a norma
induzida por esse produto interno. Uma diculdade que surge que, com essa construo,
os elementos de H seriam classes de equivalncia de sequncias de Cauchy em C
0
().
Evidentemente no parece muito claro como trabalhar com tais elementos. O segundo
problema que ainda precisaramos mostrar que H L
2
().
A ideia ento tentar identicar o completamento acima com algum espao de funes.
Esse o contedo das prximas sees. Ants porm vamos xar algumas notaes.
Como trabalharemos muito com formulaes integrais para nossos problemas, escre-
veremos somente
_
u para denotar
_
u(x)dx, em que u L
1
(). Alm disso, para
1 p e u L
p
(), vamos escrever |u|
p
para denotar a norma de u em L
p
().
As normas de funes u contnuas ou Hlder contnuas sero denotadas por |u|
C
k
()
e |u|
C
k,
()
, respectivamente. Finalmente, diremos que uma funo teste quando
C
0
().
4.1 Derivadas Fracas
O primeiro passo para a construo do espao H com as propriedades apresentadas
no incio do captulo ser introduzir um novo conceito de derivada que generaliza que a
derivada usual.
A m de motivar esse novo conceito considere u C
k
(), para algum k N e
C
0
() uma funo teste. O Teorema da Divergncia nos permite ento integrar por
partes para obter (cf. Exerccio 1.2(b))
_
u
x
i
=
_
u
x
i
+
_
u(x)(x)
i
dS
x
=
_
u
x
i
,
em que usamos, na ltima igualdade, o fato de que 0 em . De uma maneira mais
geral, se um multi-ndice tal que [[ k, podemos escrever
_
uD
= (1)
||
_
D
u. (4.4)
Observe que o lado esquerdo da igualdade acima faz sentido mesmo que u no seja
regular. De fato, basta supor que u L
1
loc
() pois, nesse caso, se denotarmos por K

o suporte da funo , temos que
_
uD
_
K
[u(x)[ [D
(x)[ dx ||
_
K
[u(x)[ dx < .
As consideraes acima motivam a seguinte denio.
Denio 4.1. Dado um aberto R
n
, uma funo u L
1
loc
() e um multi-ndice ,
dizemos que v L
1
loc
() uma -sima derivada fraca de u se
_
u(x)D
(x) dx = (1)
||
_
v(x)(x) dx, C
0
(). (4.5)
Essencialmente, a denio acima diz que uma derivada fraca de uma funo uma
funo localmente integrvel que nos permite fazer integrao por partes. O lema abaixo
estabelece, em um certo sentido, a unicidade da derivada fraca.
Lema 4.2. A -sima derivada fraca de uma funo u L
1
loc
(), quando existe, nica
a menos de conjuntos de medida nula.
Demonstrao. Suponha que v, v so -simas derivas fracas de u. Ento
(1)
||
_
v =
_
uD
= (1)
||
_
v, C
0
(),
e portanto
_
(v v) = 0, C
0
().
Segue ento (cf. [3, Lema 4.2]) que v v = 0 q.t.p. em . Logo v = v q.t.p. em .
Tendo em vista o lema acima, se u L
1
loc
() possui -sima derivada fraca v, podemos
denotar simplesmente
v = D
u.
Observe que a notao acima pode causar confuso com a de derivada no sentido clssico.
Ao longo de todo este captulo, quando escrevermos D
u, estamos nos referindo -sima

derivada no sentido fraco.
Antes de apresentar as propriedades bsicas da derivada fraca vejamos alguns exem-
plos.
Exemplo 4.3. Se uma funo u possui derivada no sentido clssico, ento u possui
derivada no sentido fraco e essa coincide com a derivada clssica.
Exemplo 4.4. Considere = (0, 2) e u : R dada por
u(x) =
_
x, se 0 < x 1,
1, caso contrrio.
Observe que u L
1
loc
(0, 2) e que no existe a derivada no sentido clssico, visto que no
existe a derivada (clssica) no ponto x = 1. Vamos mostrar que u possui derivada fraca
v : (0, 2) R dada por
v(x) =
_
1, se 0 < x 1,
0, caso contrrio.
De fato, claramente temos que v L
1
loc
(0, 2). Seja C
0
(0, 2) e observe que
_
=
_
1
0
x
(x) dx +
_
2
1
(x) dx
= x(x)[
1
x=0
_
1
0
(x) dx + ((2) (1))
= (1)
_
1
0
(x) dx (1)
=
_
1
0
(x) dx =
_
v,
de modo que v = u
(no sentido fraco).

Exemplo 4.5. Considere = (0, 2) e seja agora u : R dada por
u(x) =
_
x, se 0 < x 1,
2, caso contrrio.
Vamos mostrar que nesse caso u no fracamente derivvel. De fato, suponha por con-
tradio existe a derivada fraca u
. Ento,
_
u
=
_
u
, C
0
(0, 2).
Considere uma sequncia (
m
) C
0
(0, 2) satisfazendo, para todo m N,
(i) |
m
|
1 ;
(ii)
m
(1) = 1 ;
(iii) lim
m
m
(x) = 0, para todo x ,= 1 ;
(iv) o suporte de
m
est contido em [1/2, 3/2].
Temos que
_
u
m
=
_
u
m
=
_
1
0
x
m
(x) dx +
_
2
1
2
m
(x) dx
= x
m
[
1
x=0
_
1
0
m
(x) dx + 2
m
(2) 2
m
(1)
=
m
(1)
_
2
0
m
(x) dx 2
m
(1)
=
_
2
0
m
(x) dx 1
Logo,
1 =
_
u
_

m
=
_
(
1
4
,
7
4
)
u
_

m
Observe agora que u
(x)
m
(x) 0 q.t.p. em (1/4,7/4). Alm disso, [u
(x)
m
(x)[
[u
(x)[ q.t.p. em (1/4, 7/4) e [u
[ L
1
(1/4, 7/4), visto que u
L
1
loc
(0, 2). Segue ento do
Teorema da Convergncia Dominada de Lebesgue que
lim
m
_
(
1
4
,
7
4
)
u
m
= 0.
Do mesmo modo mostra-se que
_

m
0. Desse modo temos que
1 = lim
m
__
u
_

m
_
= 0,
4.2 Espaos de Sobolev 73
o que absurdo. Portanto, no existe a derivada fraca u
.
4.2 Espaos de Sobolev
Comeamos denido o espao com o qual trabalharemos em toda essa seo.
Denio 4.6. Sejam R
n
um aberto, 1 p e k N0. Denimos o espao
de Sobolev W
k,p
() como sendo
W
k,p
() := u L
p
() : D
u L
p
() para todo multi-ndice tal que [[ k .
Observe que se u W
k,p
() ento u L
p
(), de modo que toda funo de W
k,p
()
est em L
1
loc
(). Nunca demais lembrar que, na denio acima, D
u denota a derivada
no sentido fraco. Finalmente, como D
u L
p
(), estamos assumindo tacitamente que
todas as derivadas fracas de ordem menor ou igual a k existem. Uma outra observao
importante que valem as seguintes incluses
C
0
() W
k,p
() L
p
() .
Quando p = 2, vamos denotar W
k,p
() simplesmente por H
k
(), isto , H
k
() :=
W
k,2
(). Em particular, se k = 1, temos
H
1
() = W
1,2
() =
_
u L
2
() :
u
x
i
L
2
() para i = 1, ..., n.
_
.
Veremos em breve que H
k
() pode ser dotado de um produto interno de modo a tornar-se
um espao de Hilbert. Antes porm note que, se u H
1
(), ento as duas integrais em
(4.3) so nitas, sempre que f L
2
(). Conforme veremos posteriormente, o espao H
que estamos procurando para obter as solues fracas de (P) precisamente um subespao
especial de H
1
().
O resultado abaixo apresenta as principais propriedades dos espaos de Sobolev.
Teorema 4.7. Se u, v W
k,p
() ento
(i) D
u W
k||,p
(), para todo multi-ndice tal que [[ k.
(ii) D
(u + v) = D
u + D
v, para todo , R.
(iii) Se

um aberto, ento u W
k,p
(
).
(iv) Se C
0
() ento u W
k,p
() e para todo multi-ndice = (
1
, . . . ,
n
) tal
que [[ k, vale
D
(u) =
!
!( )!
D
u,
onde ! =
1
!
2
!
n
! e (
1
, . . . ,
n
) = signica
i

i
, para todo
i = 1, . . . , n.
(v) D
(D
u) = D
+
u sempre que [[ +[[ k.
Demonstrao. Considere C
0
() e note que, pela denio de derivada fraca,
temos
_
(u + v)D
=
_
uD
+
_
vD
= (1)
||
_
D
u + (1)
||
_
D
v
= (1)
||
_
(D
u + D
v) ,
o que estabelece a veracidade de (ii). A prova dos demais tens segue tambm da denio
de derivada fraca e ser deixada como exerccio. .
Observe que o item (ii) acima implica que W
k,p
() um espao vetorial real. Vamos
transform-lo em um espao normado introduzindo a seguinte norma
|u|
W
k,p
()
:=
_
_
_
_
||k
_
[D
u[
p
_
_
1
p
, se 1 p < ,
||k
|D
u|
L
()
, se p = .
Para vericar que | |
W
k,p
()
dene de fato uma norma em W
k,p
() precisamos mostrar
que para quaisquer u, v W
k,p
() e R, valem
(N1) |u|
W
k,p
()
0 e |u|
W
k,p
()
= 0 se, e somente se, u = 0 ;
(N2) |u|
W
k,p
()
= [[|u|
W
k,p
()
;
(N3) |u + v|
W
k,p
()
|u|
W
k,p
()
+|v|
W
k,p
()
.
Os itens (i) e (ii) seguem imediatamente da denio de | |
W
k,p. Mostremos ento
(iii), para 1 p < . Usando a desigualdade triangular em L
p
() e a linearidade do
operador D
, obtemos
|u + v|
W
k,p
()
=
_
_
||k
|D
u + D
v|
p
L
p
()
_
_
1
p
_
_
||k
_
|D
u|
L
p
()
+|D
v|
L
p
()
_
p
_
_
1
p
.
Lembremos agora que, se a
i
, b
i
R, a desigualdade de Minkowski se escreve como
_
n
i=1
[a
i
+ b
i
[
p
_1
p
_
n
i=1
[a
i
[
p
_1
p
+
_
n
i=1
[b
i
[
p
_1
p
.
Desse modo, temos que
|u +v|
W
k,p
()

_
_
||k
|D
u|
p
L
p
()
_
_
1
p
+
_
_
||k
|D
v|
p
L
p
()
_
_
1
p
=
_
_
||k
_
[D
u[
p
_
_
1
p
+
_
_
||k
_
[D
v[
p
_
_
1
p
= |u|
W
k,p
()
+|v|
W
k,p
()
.
Quando p = o item (iii) segue imediatamente da desigualdade triangular para nmeros
reais.
Observao 4.8. Existem outras maneiras de denir normas em W
k,p
(), como por
exemplo
[u[
W
k,p
()
:=
||k
|D
u|
L
p
()
ou [[[u[[[
W
k,p
()
:= max
||k
|D
u|
L
p
()
.
No difcil vericar que as expresses acima tambm denem normas em W
k,p
() e que
essas normas so equivalentes norma usual | |
W
k,p
()
.
A m de simplicar a notao, a norma | |
W
k,p
()
ser denotada, daqui por diante,
simplesmente por | |
k,p
.
Lembremos que um espao vetorial (X, | |
X
) dito de Banach quando ele completo
com respeito topologia induzida pela norma. O resultado abaixo estabelece a completude
do espao de Sobolev W
k,p
().
Teorema 4.9. O espao W
k,p
() com a norma | |
k,p
um espao de Banach.
Demonstrao. Suponha 1 p < e seja (u
m
) W
k,p
() uma seqncia de Cauchy
arbitrria. Vamos mostrar que (u
m
) converge em W
k,p
(). Sendo (u
m
) W
k,p
() uma
seqncia de Cauchy temos que, dado > 0, existe N > 0 tal que
|u
l
u
m
|
k,p
< , se l, m > N.
Assim, para todo multi-ndice tal que [[ k,
|D
u
l
D
u
m
|
p

_
_
||k
|D
u
l
D
u
m
|
p
L
p
()
_
_
1/p
< , se l, m > N,
o que mostra que (D
u
m
) L
p
() uma seqncia de Cauchy. Sendo L
p
() completo,
segue que D
u
m
u
em L
p
().
Considere u := u
(0,...,0)
e mostremos que u W
k,p
() com D
u = u
para todo
[[ k. Se isso for verdade podemos fazer l na expresso acima para concluir que
|u
m
u|
k,p
< sempre que m > N. Ora, mais isso o mesmo que dizer que u
m
u em
W
k,p
().
Resta ento mostrar que, para cada multi-ndice tal que [[ k, vale D
u = u
.
Para cada C
0
() xada temos que D
L
p
(), em que p
o expoente conjugado
de p, isto , 1/p + 1/p
= 1. Desse modo, podemos usar a desigualdade de Hlder para

obter
_
(uD
u
m
D
_
[u u
m
[[D
[ |u u
m
|
L
p
()
|D
|
L
p
()
.
A expresso acima mostra que
_
uD
= lim
m
_
u
m
D
, C
0
().
Uma vez que D
u
m
u
em L
p
(), podemos proceder como acima para vericar que
_
u
= lim
m
_
(D
u
m
), C
0
().
Portanto, para toda C
0
(), temos que
_
uD
= lim
m
_
u
m
D
= lim
m
(1)
||
_
(D
u
m
) = (1)
||
_
u
.
donde se conclui que D
u = u
L
p
(), e portanto u W
k,p
().
O caso p = simples e ser deixado como exerccio.
Finalizamos essa seo apresentando outras duas propriedades teis do espao W
k,p
().
4.3 Aproximao por funes suaves 77
Para simplicar a exposio vamos considerar o caso k = 1 e observar que W
1,p
() pode
ser imerso isometricamente em (L
p
())
n+1
atravs da aplicao I : W
1,p
() L
p
()
n+1
dada por
I(u) :=
_
u,
u
x
1
, ,
u
x
n
_
,
onde o espao X := (L
p
())
n+1
est munido com a norma
|(v
0
, v
1
, , v
n
)|
L
p
()
n+1 =
_
n+1
i=0
|v
i
|
p
L
p
()
_1
p
, v = (v
0
, v
1
, . . . , v
n
) L
p
()
n+1
.
Isso signica que podemos identicar W
1,p
() com o subespao correspondente Y :=
I(W
1,p
()) de X. Uma vez que W
1,p
() completo segue que Y um subespao fechado
de X. Mas X reexivo quando 1 < p < e separvel quando 1 p < , o que mostra
que o subespao fechado Y (e portanto W
1,p
()) tem essas mesmas propriedades.
A construo acima pode facilmente ser feita para W
k,p
() de modo que vale o seguinte
Teorema 4.10. O espao W
k,p
() reexivo se 1 0 tal que < (n p)/p.
De acordo com o Exerccio 4.6 temos que a funo [x[
pertence a W
1,p
(B). Como ela
de classe C
em qualquer aberto que no contm a origem, conclumos facilmente que

u W
1,p
(B
2
(0)).
Considere agora (x
m
) B um conjunto enumervel e denso em B e dena v : B R
por
v(x) :=
m=1
1
2
m
[x x
m
[
.
Observe que
_
_
[x x
m
[
_
_
W
1,p
(B)

_
_
[x[
_
_
W
1,p
(B
2
(0))
= C(n, p, ) > 0,
e portanto
|v|
W
1,p
(B)

m=1
1
2
m
|[x[
|
W
1,p
(B
2
(0))
C(n, p, )
m=1
1
2
m
= C(N, , p).
Desse modo conclumos que v W
1,p
(B). Observe porm que, como o conjunto (x
m
)
denso em B, a funo v ilimitada em qualquer aberto contido na bola unitria.
O exemplo acima mostra que os espaos de Sobolev podem conter funes mal com-
portadas. Contudo, conforme veremos nessa seo, sempre possvel obter uma funo
regular que est prxima de v.
Em toda essa seo R
n
denota um conjunto aberto arbitrrio. Lembremos que,
se > 0, ento
:= x : dist (x, ) > .

No Captulo 1 mostramos que, se f C(), ento a funo regularizada f
:= (
u)
de classe C
em
. Utilizando o mesmo argumento apresentado naquela ocasio

e o Teorema da Convergncia Dominada de Lebesgue podemos mostrar que a mesma
concluso vale com a hiptese mais fraca de que f L
1
loc
(). Desse modo, se f W
k,p
(),
ento f
). Alm disso, se f L
p
loc
() ento f
f em L
p
loc
(), sempre que
1 p < (cf. Exerccio 4.7).
As consideraes acima nos permitem provar nosso primeiro resultado de aproximao.
Dizemos que uma sequncia (u
m
) W
k,p
() converge para u em W
k,p
loc
() quando
lim
m
|u
m
u|
W
k,p
(K)
= 0,
para todo K . Vale o seguinte resultado.
Teorema 4.11. Se u W
k,p
() para algum 1 p < ento u
converge para u em
W
k,p
loc
(), quando 0
+
.
Demonstrao. Dado um multi-ndice tal que [[ k, podemos usar o mesmo
argumento do Captulo 1 para vericar que, para todo x
, vale
D
(x) = D
(x y)u(y)dy =
_
(x y)u(y)dy
= (1)
||
_
(x y)u(y)dy
= (1)
||
(1)
||
_
(x y)D
u(y)dy = (
u) (x),
.
em que usamos a Regra da Cadeia e o fato de y
(x ) ser uma funes teste. Desse

modo conclumos que
D
u, x
.
Dado agora um compacto K , observe que
lim
0
+
|u
u|
p
W
k,p
(K)
= lim
0
+
||k
|D
u|
p
L
p
(K)
= 0,
visto que D
u em L
p
loc
().
Gostaramos agora de fazer aproximaes em W
k,p
() e no somente aproximaes
locais. Para isso, necessitamos transformar as estimas locais do ltimo resultado em
estimativas globais. Vamos ento utilizar o importante conceito de partio da unidade,
dado pelo resultado abaixo.
Proposio 4.12 (Partio da Unidade). Seja R
N
um conjunto qualquer e O uma
famlia de abertos que cobrem , isto ,
AO
A. Ento existe uma famlia de
funes C
0
(R
N
) tais que
(i) 0 (x) 1, para todo x R
N
, ;
(ii) se K , ento supp K ,= somente para um nmero nito de funes
;
(iii) para cada , existe um aberto A
O tal que supp A
;
(iv) se x , ento
(x) = 1.
A famlia de funes dada acima chamada partio da unidade subordinada
cobertura O.
Provaremos abaixo que as funes de W
k,p
() podem ser aproximada por funes de
classe C
em .
Teorema 4.13. Seja R
n
um aberto, 1 p < , k N e u W
k,p
(). Ento existe
(u
m
) C
() tal que u
m
u em W
k,p
().
Demonstrao. suciente mostrar que, se u W
k,p
() e > 0, ento existe v
C
() com |u v|
k,p
< . Considere, para j N,
j
:=
_
x : dist (x, ) >
1
j
_
B
j
(0).
Observe que
j

j+1
e que, na medida em que j cresce, o conjunto
j
se aproxima de
. Denotando
1
=
0
= , considere os abertos
A
j
:=
j+1
j1
e note que =
j=1
A
j
.
Seja a famlia de funes dada pela Proposio 4.12 e observe que, para cada j N,
a funo
j
cujo suporte est contido em A
j
tal que
j
u W
k,p
(), em vista do
item (iv) do Teorema 4.7. Como
j
u tem suporte compacto em , podemos utilizar o
Teorema 4.11 para obter
j
> 0 pequeno, de modo que a funo v
j
:=
j
(
j
u) satisfaa
|v
j
j
u|
k,p
<

2
j+1
.
Dena agora
v(x) :=
j=1
v
j
(x), x .
Dado um compacto K arbitrrio, sabemos que supp
j
K ,= somente para
um nmero nito de ndices. Desse modo v restrita a K uma soma nita de funes
v
j
C
(K), sendo portanto C
em K. Como o compacto arbitrrio conclumos que

v C
(). Alm disso, lembrando que

j=1
j
(x) = 1, temos que
|v u|
k,p
=
_
_
_
_
_
j=1
v
j
u
_
_
_
_
_
k,p
=
_
_
_
_
_
j=1
v
j
j=1
j
u
_
_
_
_
_
k,p
j=1
|v
j
j
u|
k,p

j=1
2
j+1
= ,
o que conclui a demonstrao.
Em muitos trabalhos antigos encontra-se a denio do espao H
k,p
() como sendo
o fecho de C
com respeito norma | |

k,p
. O teorema acima diz precisamente que
H
k,p
() = W
k,p
(). O resulatdo foi provado em 1964 por Meyers e Serrin [10], em um
artigo cujo ttulo simplesmente "H = W". Esse trabalho foi muito importante porque
unicou a notao dos espaos de funes que vinham sendo utilizados pelos matemticos.
Uma questo interessante se podemos fazer aproximaes por funes que so regu-
lares at o fecho de . Isso pode ser feito desde que tenha um pouco de regularidade.
Mais especicamente vale o seguinte resultado
Teorema 4.14. Se R
n
1
, 1 p < , k N e
u W
k,p
(), ento existe (u
m
) C
() tal que u
m
u em W
k,p
().
A demonstrao do resultado acima pode ser encontrada em [4, Teorema 3, Seo
5.3.3]. Para uma verso um pouco mais geral veja [1, Teorema 3.18].
Finalizamos essa seo observando que os dois resultados acima podem ser falsos se
p = . No que se refere ao primeiro basta considerar a funo u : (1, 1) R dada por
k,p
81
u(x) = [x[. Nesse caso u W
1,
(1, 1), mas u no pode ser aproximada por funes de
classe C
(1, 1). Com relao ao ltimo teorema, consideramos := (1, 0) (0, 1) e

v : R dada por
v(x) :=
_
0, se 1 < x < 0,
x, se 0 < x < 1.
Ento v W
1,
() no pode ser aproximada por funes de classe C
(). Deixamos
a cargo do leitor a vericao dos detalhes em ambos os exemplos (cf. Exerccios 4.17 e
4.18).
k,p
J havamos observado que C
0
() W
k,p
() L
p
(). Nessa seo estamos in-
teressados em determinar espaos intermedirios, que se localizem W
k,p
() e L
p
(). A
exposio inicial ser dividida em dois casos distintos, dependendo do valor de p.
4.4.1 O caso p < n
Vamos supor que 1 p < n e, para motivar a exposio, tentar obter uma estimativa
do tipo
|u|
L
q
(R
N
)
C|u|
L
p
(R
N
)
, u C
1
0
(R
N
), (4.6)
com C > 0 independente de u. Considere u C
1
0
(R
N
) com |u|
L
p
(R
N
)
,= 0 e dena, para
> 0, a funo
u
(x) := u(x), x R
n
.
A mudana de variveis u = x nos fornece
|u
|
q
q
=
_
R
n
[u(x)[
q
dx =
n
_
R
n
[u
(y)[
q
dy
e
|u
(x)|
p
p
=
_
R
n
[u(x)[
p
dx =
_
R
n
[u
(x)[
p
dx
=
p
_
R
n
[u(x)[
p
dx =
pn
_
R
n
[u(y)[
p
dy.
k,p
82
Suponha que a desigualdade (4.6) vale para alguma constante C > 0. Ento
_
n
_
R
n
[u(y)[
q
dy
_1
q
C
_
pn
_
R
n
[u(y)[
p
dy
_1
p
,
isto ,
n
q
|u|
q
C
pn
p
|u|
p
,
ou ainda
|u|
q
C
pn
p
+
n
q
|u|
p
,
qualquer que seja > 0.
Se (p n)/p + n/q > 0 a desigualdade acima nos fornece uma contradio quando
0
+
. Do mesmo modo, fazendo , percebemos que no pode ocorrer (pn)/p+
n/q < 0. Desse modo, para que valha (4.6) devemos ter
p n
p
+
n
q
= 0,
ou equivalentemente,
q = p
:=
np
n p
.
O nmero p
acima conhecido como expoente crtico de Sobolev.

No nosso prximo resultado vamos responder armativamente a pergunta feita no
incio da seo.
Lema 4.15 (desigualdade de Gagliardo-Nirenberg-Sobolev). Se 1 p < n ento existe
C = C(n, p) > 0 tal que
|u|
L
p
(R
n
)
C|u|
L
p
(R
n
)
,
para todo u C
1
0
(R
N
).
Demonstrao. Vamos considerar primeiro o caso p = 1 e escrever, no que segue,
x = (x
1
, . . . , x
n
). Como u tem suporte compacto temos que, para cada 1 i n, vale
u(x) =
_
x
i
u
x
i
(x
1
, ..., x
i1
, y
i
, x
i+1
, ..., x
n
) dy
i
,
e portanto
[u(x)[
_

[u(x
1
, ..., x
i1
, y
i
, x
i+1
, ..., x
n
)[ dy
i
,
k,p
83
o que implica que
[u(x)[
n
n1
i=1
__

[u[ dy
i
_ 1
n1
.
Integrando a expresso acima com respeito varivel x
1
obtemos
+
_
[u[
n
n1
dx
1

+
_
i=1
__

[u[ dy
i
_ 1
n1
dx
1
=
_
_
+
_
[u[ dy
1
_
_
1
n1 +
_
i=2
_
_
+
_
[u[ dy
i
_
_
1
n1
dx
1
.
(4.7)
Lembremos agora que, se f
1
, ..., f
j
so tais que f
i
L
r
i
(R), i = 1, ..., j e
j
i=1
1/r
i
= 1,
ento a desigualdade de Hlder generalizada se escreve como
_
R
[f
1
f
2
f
j
[ |f
1
|
L
r
1(R)
|f
j
|
L
r
j
(R)
.
Aplicando esse resultado em (4.7) com j = n 1, r
i
= n 1 e f
i
=
_
_
+
[u[dy
i
_ 1
n1
,
i = 1, ..., n 1, obtemos
+
_
[u[
n
n1
dx
1

_
_
+
_
[u[ dy
1
_
_
1
n1
n
i=2
_
_
+
_
+
_
[u[ dy
i
dx
1
_
_
1
n1
.
Agora, integrando com respeito a x
2
, conclumos que
+
_
+
_
[u[
n
n1
dx
1
dx
2

_
_
+
_
+
_
[u[ dx
1
dy
2
_
_
1
n1 +
_
i=1,i=2
F
1
n1
i
dx
2
,
onde
F
1
:=
+
_
[u[ dy
1
e F
i
:=
+
_
+
_
[u[ dx
1
dy
i
, i = 3, 4, ..., n.
k,p
84
Aplicando Hlder novamente, vem
+
_
+
_
[u[
n
n1
dx
1
dx
2

_
_
+
_
+
_
[u[ dx
1
dy
2
_
_
1
n1
_
_
+
_
+
_
[u[ dy
1
dx
2
_
_
1
n1
i=3
_
_
+
_
+
_
+
_
[u[ dx
1
dx
2
dy
i
_
_
1
n1
.
Continuando esse processo obtemos
+
_

+
_
[u[
n
n1
dx
1
dx
n

n
i=1
_
_
+
_
. . .
+
_
[u[ dx
1
dx
n
_
_
1
n1
=
n
i=1
_
_
+
_
[u[ dx
_
_
1
n1
,
em que, na desigualdade acima, escrevemos dx
i
no lugar de dy
i
. Segue ento que
_
R
n
[u[
n
n1
dx
__
R
n
[u[ dx
_ n
n1
,
ou ainda,
__
[u[
n
n1
_n1
n
_
[u[,
o que estabelece o lema no caso p = 1.
Para o caso 1 1 a ser

escolhido posteriormente. Observe inicialmente que
([u[
) =
_
_
_
[u[
1
u, se u 0,
[u[
1
u, se u < 0,
de modo que
__
[u[
n
n1
_n1
n

_
[u[
1
[u[.
Aplicando a desigualdade de Hlder com expoentes p e p
= p/(p 1), obtemos

__
[u[
n
n1
_n1
n

__
[u[
(1)
p
p1
_
p1
p
__
[u[
p
_1
p
.
k,p
85
Vamos agora escolher de modo que
n
n 1
= ( 1)
p
p 1
,
isto ,
=
p(n 1)
n p
> p > 1.
Com essa escolha a ltima desigualdade se torna
__
[u[
n
n1
_n1
n

p1
p

__
[u[
p
_1
p
.
Mas,
n
n 1
=
p(n 1)
n p

n
n 1
=
np
n p
= p
e
n 1
n

p 1
p
=
pn p np + n
np
=
n p
np
=
1
p
,
e portanto,
__
[u[
p
_ 1
p
p(n 1)
n p
__
[u[
p
_1
p
.
Desse modo o lema vale para C = p(n 1)/(n p).
Gostaramos agora de estender o resultado do ltimo lema para funes em W
1,p
().
Vamos considerar inicialmente um caso mais simples, em que a funo u tal que existe
uma sequncia (u
m
) C
0
() satisfazendo u
m
u em W
1,p
(). Como u
m
tem suporte
compacto em podemos estend-la para todo o R
n
simplesmente fazendo u
m
[
R
N
\
0.
Observe que essa extenso no afeta a regularidade de u
m
, de modo que podemos aplicar
o ltimo lema para obter
|u
m
|
L
p
()
C|u
m
|
L
p
()
. (4.8)
Aplicando o Lema 4.15 para u
m
u
l
e lembrando que u
m
u em L
p
()
n
, con-
clumos que (u
m
) L
p
() uma sequncia de Cauchy em L

p
(). Logo u
m
v em
L
p
(). Como u
m
u em L
p
() devemos ter u = v, isto , u
m
u em L
p
(). Assim,
passando (4.8) ao limite obtemos
|u|
L
p
()
C|u|
L
p
()
. (4.9)
Conclumos ento que o Lema 4.15 vale para toda funo u W
1,p
() que limite de
funes de classe C
com suporte compactamente contido em . Isso motiva a seguinte

k,p
86
denio.
Denio 4.16. Sejam R
n
um aberto, 1 p e k N0. O espao W
k,p
0
()
denido como sendo o fecho de C
0
() na norma | |
k,p
, i.e.,
W
k,p
0
() := C
0
()
k,p
.
De acordo com a denio, u W
k,p
0
() se, e somente se, existe uma seqncia
(u
m
) C
0
() tal que u
m
u em W
k,p
(). Observe que W
k,p
0
() um subespao fechado
de W
k,p
(). Veremos posteriormente que, num certo sentido, as funes u W
k,p
0
()
so as funes de W
k,p
() que "se anulam"no bordo de . Antes porm, vejamos uma
interessante extenso do Lema 4.15 para as funes de W
k,p
0
().
N
limitado e 1 p < n. Ento, para todo q [1, p
]
existe C = C(n, p, q, [[) > 0 tal que
|u|
L
q
()
C|u|
L
p
()
,
para todo u W
1,p
0
().
Demonstrao. Conforme vimos antes da denio W
1,p
0
(), o resultado vale quando
q = p
. Para o caso em que q [1, p
) basta usar Hlder para obter

_
[u[
q
__
[u[
_
q/p
[[
(p
q)/p
,
o que mostra que a imerso L
p
() L
q
() contnua para todo q [1, p
]. Desse
modo,
|u|
L
q
()
C
q
|u|
L
p
()

C|u|
L
p
()
,
o que conclui a prova do teorema.
Destacamos abaixo um importante caso particular do resultado acima.
Corolrio 4.18 (Desigualdade de Poincar). Suponha que R
n
limitado e 1 p < n.
Ento existe C = C(n, p, [[) > 0 tal que,
|u|
L
p
()
C|u|
L
p
()
, u W
1,p
0
().
Observao 4.19. Uma consequncia importante do resultado acima que podemos
k,p
87
denir em W
1,p
0
() a seguinta norma
|u|
W
1,p
0
()
:=
__
[u[
p
_1
p
= |u|
L
p
()
, (4.10)
para todo u W
1,p
0
(). De fato, basta notar que se u W
1,p
0
() ento
|u|
p
W
1,p
0
()
=
_
[u[
p
|u|
p
1,p
=
_
[u[
p
+
_
[u[
p
[u[
p
+ C
p
_
[u[
p

C
_
[u[
p
=

C|u|
p
W
1,p
0
()
.
Assim, | |
W
1,p
0
(
uma norma em W
1,p
0
(). Alm disso, essa norma equivalente
norma usual | |
1,p
. Note que a expresso (4.10) no dene uma norma em W
1,p
(). De
fato, basta notar que, quando limitado, a funo no nula u 1 est em W
1,p
()
mas |u|
W
1,p
0
()
= 0.
Como consequncia imediata do Teorema 4.17 e da observao acima temos o seguinte
resultado.
Teorema 4.20 (Imerso de W
1,p
0
, 1 p < n). Se 1 p < n e R
n
um aberto
limitado, ento vale a imerso
W
1,p
0
() L
q
(),
qualquer que seja 1 q p
.
Ressaltamos nesse ponto que a desigualdade de Poincar (e portanto o teorema acima)
pode no valer se ilimitado (cf. Exerccio 4.28). Contudo, pode-se mostrar que ela
vale se limitado em uma direo. Em particular temos a imerso acima no caso em
que (a, b) R
n1
, com a, b R.
Observe que o ponto fundamental para a prova de (4.9) para funes de W
1,p
0
() foi
usar um processo de aproximao por funes em C
0
(). Uma vez que toda funo de
W
1,p
0
() limite de funes desse tipo seria natural supor que as funes de W
1,p
0
() se
anulam na fronteira de . Contudo, essa armao no faz sentido visto que tem
medida n-dimensional de Lebesgue nula e que funes no espao de Sobolev so sempre
denidas a menos de conjuntos de medida nula.
k,p
88
No entanto, quando de classe C
1
, sabemos que toda funo de W
1,p
() pode
ser aproximada por funes u
m
C
(). Note que faz sentido falar dos valores de u

m
em . possvel ento introduzir um operador que nos permite falar dos valores de
fronteira de uma funo no espao de Sobolev W
k,p
(). Mais especicamente, vale o
seguinte resultado, cuja prova pode ser encontrada em [4, Teorema 1, Seo 5.5].
Teorema 4.21 (Teorema do Trao). Suponha que um aberto limitado de classe C
1
e
que 1 p < . Ento existe um operador linear limitado
T : W
1,p
() L
p
()
tal que,
(i) Tu = u
|
se u W
1,p
() C() ;
(ii) existe C = C(p, ) > 0 tal que, para toda u W
1,p
(), vale
|Tu|
L
p
()
C|u|
W
1,p
()
.
O operador acima chamado operador trao. Conforme dito anteriormente, ele nos
permite identicar Tu como sendo os valores, na fronteira, de uma funo u W
1,p
().
importante ressaltar que a existncia desse operador est ligada com o fato das funes
de W
1,p
() possuirem derivada fraca. Conforme pode ser visto no Exerccio 4.23, uma
construo semelhante no pode ser feita de L
p
() em L
p
(). Assim, no existe uma
maneira natural de falar dos valores de fronteira de uma funo u L
p
().
Suponha que u W
1,p
0
() e seja (u
m
) C
0
() tal que u
m
u em W
1,p
(). Como
o operador trao contnuo temos que
Tu = lim
m
Tu
m
= 0.
Desse modo, W
1,p
0
() ker T. Um argumento mais sosticado mostra que a recproca
verdadeira, isto , vale o seguinte resultado (cf. [4, Teorema 2, Seo 5.5]), que justica a
armao de que as funes de W
1,p
0
() valem zero no bordo de
Teorema 4.22 (Caracterizao de W
1,p
0
em relao ao trao). Suponha que um aberto
1
, 1 p < e que u W
1,p
(). Ento u W
1,p
0
() se, e somente
se, Tu = 0 em .
No que segue vamos tentar provar um resultado anlogo ao Teorema 4.20 para o espao
W
1,p
(). Observe que agora as funes podem no ter trao igual a zero e portanto o
argumento de extenso utilizado na prova de (4.9) no se aplica mais.
k,p
89
Uma ideia seria estender uma funo u W
1,p
() simplesmente fazendo u 0 em
R
n
. Contudo, isso pode criar descontinuidades na fronteira de , de modo que a
funo estendida pode nem possuir derivada fraca.
O prximo resultado mostra que, se regular, ento possvel estender as funes
de W
1,p
() de modo que a funo estendida pertena a W
1,p
(R
n
). Diferentemente do
Lema 4.15, o resultado de extenso abaixo vale para 1 p .
Teorema 4.23 (Teorema de extenso). Suponha que um aberto limitado de classe
C
1
e que

um aberto tal que

. Se 1 p , ento existe um operador linear
limitado
E : W
1,p
() W
1,p
(R
n
)
tal que, para todo u W
1,p
(R
n
), vale
(i) (Eu)(x) = u(x) q.t.p. em ;
(ii) supp Eu

;
(iii) existe C = C(p, ,
) > 0 tal que

|Eu|
W
1,p
(R
n
)
C|u|
W
1,p
()
.
A demonstrao do resultado acima pode ser encontrada em [4, Teorema 1, Seo
5.4]. Para uma verso mais geral com menos exigncia de regularidade no bordo, veja
[1, Teorema 4.2.6]. O operador E acima chamado operador de prolongamento. Pode-se
mostrar que o mesmo resultado vale se = R
n
+
ou se o complementar de for um aberto
1
.
Usando o operador de prolongamento podemos provar o seguinte resultado.
1,p
, 1 p < n). Se 1 p < n e R
n
um aberto
1
, ento vale a imerso
W
1,p
() L
q
(),
qualquer que seja 1 q p
.
Demonstrao. Vamos considerar primeiro o caso q = p
e obter uma constante C > 0

tal que
|u|
L
p
()
C|u|
W
1,p
()
, u W
1,p
().
k,p
90
Seja u W
1,p
(), B uma bola tal que B e considere u := Eu W
1,p
(R
n
) a
extenso de u dada pelo teorema acima. Uma vez que o suporte de u est contido na
bola, existe uma sequncia (u
m
) C
0
(R
n
) tal que
u
m
u em W
1,p
(R
n
).
Segue do Lema 4.15 que
|u
m
u
l
|
L
p
(R
n
)
C
1
|u
m
u
l
|
L
p
(R
n
)
.
Como (u
m
) converge em W
1,p
(R
n
) conclumos que o lado direito da expresso acima tende
a zero quando l, m . Desse modo (u
m
) L
p
(R
n
) uma sequncia de Cauchy, e
portanto
u
m
u em L
p
(R
n
).
Logo passando a expresso
|u
m
|
L
p
(R
n
)
C
1
|u
m
|
L
p
(R
n
)
ao limite e usando o Teorema 4.23 obtemos
|u|
L
p
()
|Eu|
L
p
(R
n
)
C
1
|(Eu)|
L
p
(R
n
)
C
1
|Eu|
W
1,p
(R
n
)
C|u|
W
1,p
()
,
onde a constante C = C(n, p, ) > 0 independente de u.
Considere agora 1 q < p
. Conforme visto na prova do Teorema 4.17 temos a

imerso contnua L
p
() L
q
(). Logo
W
1,p
() L
p
() L
q
(),
o que conclui a demonstrao.
Observao 4.25. Um ponto que merece destaque que a imerso de W
1,p
0
(), diferente
daquela de W
1,p
(), no exige regularidade da fronteira de . Isso ocorre porque, no
caso de W
1,p
0
(), no precisamos usar o operador de prolongamento.
Observao 4.26. O argumento nal da demonstrao acima pode ser ligeiramente
adaptado para provar imerses para domnios mais gerais, inclusive ilimitados. De fato,
suponha que R
n
tal que a imerso W
1,p
() L
p
() contnua. Desse modo, se

u W
1,p
(), ento u L
p
()L
p
(). Fixado q (p, p
) podemos usar as desigualdades

k,p
91
1/p
< 1/q/ < 1/p para obter (0, 1) tal que

1
q
= (1 )
1
p
+
1
p
Segue ento da desigualdade de Hlder que

_
[u[
q
=
_
[u[
q
[u[
(1)q
__
[u[
q
p
q
_
q
p
__
[u[
(1)q
p
(1)q
_
(1)q
p
,
isto ,
|u|
q
|u|
p
|u|
1
p
A desigualdade acima conhecida como desigualdade de interpolao. Lembrando agora
que estamos supondo W
1,p
() L
p
() e usando a denio de | |
1,p
, obtemos
|u|
q
C
1
|u|
1,p
|u|
1
p
C|u|
1,p
|u|
1
1,p
= C|u|
1,p
, u W
1,p
().
Portanto, se W
1,p
() L
p
() ento W
1,p
() L
q
() para todo q [p, p
], indepen-
dente de ser limitado ou regular.
4.4.2 O caso p n
Observe que o Teorema 4.24 considera o caso em que 1 p < n. Uma vez que
p
= np/(np) quando p n
, poderamos pensar que W

1,n
() L
. Conforme
podemos ver pelo Exercio 4.16, isso no verdade em geral. No entanto, podemos usar
o Teorema 4.24 para considerar o caso p = n como segue.
1,n
). Se R
n
1
, ento
vale a imerso
W
1,n
() L
q
(),
qualquer que seja q 1.
Demonstrao. Vamos considerar somente o caso n > 1 (cf. Exerccio 4.9). Para q 1
xado, podemos usar a denio de expoente crtico de Sobolev para obter
lim
0
+
(n )
= lim
0
+
n(n )
n (n )
= lim
0
+
n(n )
= .
Desse modo, para > 0 pequeno, devemos ter (n )
> q. suciente agora observar

que
W
1,n
() W
1,n
L
(n)
() L
q
().
k,p
92
O teorema est provado.
Vamos considerar o caso p > n. Comearemos com o seguinte lema:
Lema 4.28. Se u C
1
(R
n
) ento existe uma constante C = C(n) tal que
1
n
r
n
_
B
r
(x)
[u(y) u(x)[dy C
_
B
r
(x)
[u(y)[
[x y[
n1
dy
para todo x R
n
e toda bola B
r
(x) R
n
.
Demonstrao. Fixados w B
1
(0) e 0 < s < r, temos que
[u(x + sw) u(x)[ =
_
s
0
d
dt
u(x + tw) dt
_
s
0
u(x + tw) wdt
_
s
0
[u(x + tw)[ dt.
Assim,
_
B
1
(0)
[u(x + sw) u(x)[ dS
w

_
B
1
(0)
__
s
0
[u(x + tw)[ dt
_
dS
w
=
_
s
0
__
B
1
(0)
[u(x + tw)[ dt
_
dS
w
=
_
s
0
__
B
t
(x)
[u(y)[
1
t
n1
dS
y
_
dt
=
_
s
0
__
B
t
(x)
[u(y)[
[y x[
n1
dS
y
_
dt
=
_
B
s
(x)
[u(y)[
[x y[
n1
dy,
e portanto
_
B
1
(0)
[u(x + sw) u(x)[ dS
w

_
B
r
(x)
[u(y)[
[x y[
n1
dy.
k,p
93
Multiplicando por s
n1
e integrando, com respeito a s, no intervalo [0, r], obtemos
r
n
n
_
B
r
(x)
[u(y)[
[x y[
n1
dy
_
r
0
__
B
1
(0)
[u(x +sw) u(x)[ dS
w
_
s
n1
ds
=
_
r
0
__
B
s
(x)
[u(y) u(x)[
s
n1
dS
y
_
s
n1
ds
=
_
B
r
(x)
[u(y) u(x)[ dy,
o que conclui a prova do lema.
Lema 4.29 (desigualdade de Morey). Se n 0 tal
que
[[u[[
C
0,
(R
n
)
C[[u[[
W
1,p
(R
n
)
,
para toda u W
1,p
(R
n
) C
1
(R
n
), onde = 1
n
p
.
Demonstrao. Considere inicialmente o caso n < p < e tome u W
1,p
(R
n
)
C
1
(R
n
). Como
[u(x)[ = [u(x) u(y) + u(y)[ [u(x) u(y)[ +[u(y)[,
podemos integrar em B
1
(x) em relao a y, para obter
_
B
1
(x)
[u(x)[ dy
_
B
1
(x)
[u(x) u(y)[ dy +
_
B
1
(x)
[u(y)[ dy,
ou ainda
[u(x)[
1
n
_
B
1
(x)
[u(x) u(y)[ dy +
1
n
_
B
1
(x)
[u(y)[ dy.
Aplicando agora o lema anterior e lembrando que L
p
(B
1
(x)) L
1
(B
1
(x)), vem
[u(x)[ C
1
_
B
1
(x)
[u(y)[
[x y[
n1
dy + C
2
[[u[[
L
1
(B
1
(x))
C
1
_
B
1
(x)
[u(y)[
[x y[
n1
dy + C
3
[[u[[
L
p
(B
1
(x))
.
(4.11)
Vamos usar a desigualdade de Hlder para estimar a integral do lado direito acima.
Seja ento p
= p/(p 1) o expoente conjugado de p e observe que

_
B
1
(x)
[u(y)[
[x y[
n1
dy
__
B
1
(x)
[u(y)[
p
dy
_1
p
_
_
B
1
(x)
1
[x y[
(n1)
p
p1
dy
_
(p1)/p
. (4.12)
k,p
94
A primeira integral do lado esquerdo acima nita porque u W
1,p
(). Para ver que a
segunda tambm nita basta notar que
_
B
1
(x)
1
[x y[
(n1)
p
p1
dy =
_
B
1
(0)
[w[
(n1)
p
p1
dw
e lembrar que
_
B
1
(0)
[w[
dw < se, e somente se, < n. Quando = (n 1)p/(p 1)

esta condio de integrabilidade exatamente n < p, que o caso que estamos conside-
rando. Dessa forma
_
B
1
(x)
1
[x y[
(n1)
p
p1
dy = C(n, p) = C < .
Substituindo a igualdade acima e (4.12) em (4.11), conclumos que
[u(x)[ C
1
C
(p1)/p
|u|
L
p
(B
1
(x))
+ C
3
[[u[[
L
p
(B
1
(x))
C
4
|u|
W
1,p
(R
n
)
,
e portanto
[[u[[
C
0
(R
n
)
C
4
[[u[[
W
1,p
(R
n
)
. (4.13)
A m de estimar H
[u] procedemos como segue: escolha x, y R

n
com x ,= y e faa
r := [x y[, := B
r
(x) B
r
(y).
Observe que para todo z R
n
,
[u(x) u(y)[ [u(x) u(z)[ +[u(z) u(y)[
e portanto podemos integrar em com respeito a z para obter
[u(x) u(y)[
1
[[
_
[u(x) u(z)[ dz +
1
[[
_
[u(z) u(y)[ dz, (4.14)

em que [[ denota a medida de Lebesgue do conjunto . Como B
r/2
(
x+y
2
) temos que
[[
B
r
2
_
x + y
2
_
=
n
_
r
2
_
n
.
Logo, podemos usar o lema anterior e a desigualdade de Hlder como h pouco, para
k,p
95
obter
1
[[
_
[u(x) u(z)[ dz
2
n
n
r
n
_
B
r
(x)
[u(x) u(z)[ dz
C
5
(n)
_
B
r
(x)
[u(z)[
[x z[
n1
dz
C
5
|u|
L
p
(R
n
)
__
B
r
(0)
[w[
(n1)
p
p1
dw
_
(p1)/p
.
Mas
_
B
r
(0)
[w[
(n1)
p
p1
dw =
_
r
0
_
B
s
(0)
[w[
(n1)p/(p1)
dS
w
ds = C
6
(n, p)r
1
n
p
.
Assim,
1
[[
_
[u(x) u(y)[ dz C
7
r
1
n
p
|u|
L
p
(R
n
)
.
A expresso acima e (4.14) implicam que
[u(x) u(y)[ 2C
7
r
1
n
p
|u|
L
p
(R
n
)
C
8
r
1
n
p
|u|
W
1,p
(R
n
)
.
Como r = [x y[, conclumos que para = 1
n
p
vale
H
[u] C
8
|u|
W
1,p
(R
n
)
.
Isso, juntamente com (4.13), mostra que
|u|
C
0,
(R
n
)
C|u|
W
1,p
(R
n
)
,
o que conclui a prova no caso em que n < p < .
Para o caso p = basta usar a denio da norma em W
1,
(R
n
) e o Teorema do
Valor Mdio. Os detalhes so deixados a cargo do leitor (cf. Exerccio 4.19).
Usando o lema acima e argumentando como na prova do Teorema 4.24 podemos provar
o seguinte (cf. Exerccio 4.20).
1,p
, n < p). Se R
n
1
ento vale a imerso
W
1,p
() C
0,1
n
p
().
importante nesse ponto entender o signicado da imerso acima. Lembre que as
funes de W
1,p
(), por pertencerem ao espao de Lebesgue L
p
(), so denidas a menos
k,p
96
de conjuntos de medida nula. Sendo assim, o teorema acima diz que, se u W
1,p
() com
n < p, ento existe u
W
1,p
() C
0,1
n
p
() tal que
u(x) = u
(x) q.t.p. em .
Um outro ponto que merece destaque que a imerso acima tambm vale se p = +.
Nesse caso, mostra-se que u W
1,
() se, e somente se, u Lipschitziana em (cf. [4,
Teorema 4, Seo 5.8])
Os resultados de imerso apresentado at agora podem ser sumarizados como segue:
se R
n
1
ento
W
1,p
()
_
_
L
q
(), 1 q p
=
np
np
, se 1 p < n,
L
q
(), q 1, se p = n,
C
0,1
n
p
(), se p > n.
Vamos agora considerar imerses para o espao W
2,p
(). Suponha inicialmente que
1 p < n e seja u W
2,p
(), com R
n
sendo um aberto limitado de classe C
1
. Note
inicialmente que, para cada i = 1, . . . , n, vale
u
x
i
W
1,p
() L
p
().
Uma vez que u W
2,p
() W
1,p
() L
p
() conclumos que u W
1,p
(). Vamos
supor adicionalmente que 1 p
< n, isto , que 2p < n. Nesse caso

W
1,p
() L
(p
(),
onde
(p
=
np
n p
=
np
n 2p
.
Conclumos ento que, se 2p < n, vale a seguinte imerso
W
2,p
() L
np
n2p
().
O caso n < 2p pode ser tratado de maneira anloga. Iterando esse processo obtemos
o seguinte resultado de imerso.
k,p
). Seja R
n
1
, k N
e 1 p . Ento,
k,p
97
(i) se kp < n
W
k,p
() L
q
(),
para todo 1 q
np
nkp
;
(ii) se kp = n
W
k,p
() L
q
(),
para todo q 1 ;
(iii) se kp > n
W
k,p
() C
k[
n
p
]1,
(),
onde
=
_
[
n
p
] + 1
n
p
, se
n
p
, Z
qualquer nmero pertencente a (0, 1), se
n
p
Z.
Observao 4.32. O teorema acima continua vlido se R
n
um aberto qualquer
(possivelmente ilimitado) de classe C
1
com a restrio q p nos dois primeiros itens (cf.
[1, Teorema 5.4]).
k,p
Como no caso dos espaos de Hlder, podemos obter imerses compactas dos espaos
de Sobolev W
k,p
, conforme nos diz o resultado seguinte.
Teorema 4.33 (Rellich-Kondrachov). Se R
n
1
ento as seguintes imerses so compactas.
(i) se 1 p < n,
W
1,p
()
cpct.
L
q
(),
para todo 1 q < p
;
(ii) se p = n,
W
1,p
()
cpct.
L
q
(),
para todo q 1 ;
(iii) se n < p,
W
1,p
()
cpct.
C
0,
(),
para todo 0 < < 1 n/p.
k,p
98
Alm disso, as imerses de W
1,p
0
() nos espaos acima so sempre compactas, indepen-
dentemente da regularidade de .
Demonstrao. Consideremos primeiro o caso 1 p < n. Fixado 1 q < p
,
seja (u
m
) W
1,p
() uma sequncia limitada. Usando o operador de prolongamento
podemos supor que u
m
est denida em todo o R
n
, supp u
m
B onde B uma bola de
raio sucientemente grande, e
|u
m
|
W
1,p
(B)
M.
Para cada > 0 considere u
m
:=
u
m
. Podemos supor que > 0 pequeno de
modo que o suporte de cada u
m
est contido em B. O teorema segue das duas armaes
abaixo
Armao 1: a sequncia (u
m
)
mN
equicontnua e equilimitada.
Armao 2: lim
0
+ u
m
= u
m
, uniformemente em L
q
(B).
Vamos assumir a veracidade das duas armaes acima e ver como o teorema segue delas.
Fixado > 0, podemos usar a Armao 2 para obter > 0 tal que
|u
m
u
m
|
L
q
(B)
<

4
, m = 1, 2, ...
Agora, usando a Armao 1 e o Teorema de Ascoli-Arzel, obtemos uma subsequncia
(u
m
j
)
jN
(u
m
)
mN
que converge uniformemente para u. Em particular, como
limitado,
limsup
j,k+
|u
m
j
u
m
k
|
L
q
(B)
= 0.
Assim,
|u
m
j
u
m
k
|
L
q
(B)
|u
m
j
u
m
j
|
L
q
(B)
+|u
m
j
u
m
k
|
L
q
(B)
+ |u
m
k
u
m
k
|
L
q
(B)
,
e portanto
limsup
j,k+
|u
m
j
u
m
k
|
L
q
(B)
< .
Tomando agora
j
= 1/j, j = 1, 2, . . ., e usando um processo diagonal obtemos uma
subsequncia de (u
m
), que uma sequncia de Cauchy em L
q
(B). O resultado segue do
fato dos espaos L
q
() L
q
(B) serem completos.
k,p
99
Resta somente mostrar as duas armaes. Para a primeira, observe que
u
m
(x) =
_
B
(x)
(x y)u
m
(y) dy
=
n
_
B
(x)
_
[x y[
_
u
m
(y) dy,
de modo que
[u
m
(x)[
n
||
|u
m
|
L
1
(B
(x))
C
1
n
|u
m
|
L
1
(B)
C
2
n
|u
m
|
W
1,p
(B)
C
3
n
,
o que mostra que (u
m
)
mN
equilimitada. De maneira anloga mostra-se que
[u
m
(x)[ C
4
n1
,
e portando a derivada das funes u
m
formas uma sequncia equilimitada no conjunto
convexo B. Segue facilmente do Teorema do Valor Mdio que a sequncia (u
m
)
mN

equicontnua, cando portanto provada a primeira armao.
Para a prova da Armao 2 note inicialmente que
u
m
(x) =
_
B
(x)
(x y)u
m
(y) dy =
_
B
(0)
(z)u
m
(x z) dz
=
n
_
B
1
(0)
(y)u
m
(x y) dy =
n
_
B
1
(0)
1
_
[y[
_
u
m
(x y) dy
=
_
B
1
(0)
([y[)u
m
(x y) dy.
Logo, se supormos que u
m
de classe C
1
, temos
u
m
(x) u
m
(x) =
_
B
1
(0)
([y[)(u
m
(x y) u(x)) dy
=
_
B
1
(0)
([y[)
_
1
0
d
dt
(u
m
(x ty)) dt dy
=
_
B
1
(0)
([y[)
_
1
0
u
m
(x ty) y dt dy.
k,p
100
Logo
_
B
[u
m
(x) u
m
(x)[ dx
_
B
1
(0)
([y[)
_
1
0
_
B
[u
m
(x ty)[ dxdt dy

_
B
[u
m
(z)[ dz
Uma vez que C
(

B) denso em W
1,p
(B) (cf. Teorema 4.14), podemos usar um argumento
de densidade para ver que a estimativa acima vale se u
m
W
1,p
(B).
A estimativa acima, a limitao de B e a limitao de (u
m
) em W
1,p
(B), nos fonecem
|u
m
u
m
|
L
1
(B)
|u
m
|
L
1
(B)
C
5
M,
o que mostra que u
m
u
m
em L
1
(B), uniformemente em m, e portanto a Armao 2
verdadeira se q = 1.
Para o caso geral 1 < q < p
, argumentamos como na Observao 4.26 para obter

(0, 1) tal que
|u
m
u
m
|
L
q
(B)
|u
m
u
m
|
1
L
1
(B)
|u
m
u
m
|
L
p
(B)
C
6
|u
m
u
m
|
1
L
1
(B)
|u
m
u
m
|
W
1,p
(B)
C
7
|u
m
u
m
|
1
L
1
(B)
.
O item (i) segue agora da convergncia uniforme em L
1
(B).
Para mostrar o item (ii) vamos considerar somente o caso p = n > 1. Fixado q 1
escolhemos > 0 pequeno de modo que (n )
> q. Temos ento

W
1,n
() W
1,(n)
()
cpct.
L
q
(),
e o resultado segue do fato da composio de um operador contnuo com um operador
compacto ser compacta. O item (iii) segue facilmente do diagrama abaixo
W
1,p
() C
0,1n/p
()
cpct.
C
0,
(),
em que usamos os resultados sobre espao de Hlder provados no Captulo 2.
Para vericar que no caso de W
1,p
0
() vale a compacidade das imerses acima sem
hipteses de regularidade em procedemos como segue. Consideramos uma bola aberta
B tal que B e estendemos as funes u W
1,p
0
() para todo a bola fazendo u 0
em B. Como a bola de classe C
1
, podemos proceder como acima para obter a
4.6 Exerccios 101
compacidade das imerses.
4.6 Exerccios
n
um aberto
1
.
4.1. Se A aberto e A, ento existe C
0
(A) tal que 1 em .
4.2. Se A
1
, . . . , A
m
so abertos tais que
m
i=1
A
i
, ento existem funes
i
C
0
(A
i
),
i = 1, . . . , m, tais que 0
i
1 e

m
i=1
i
(x) = 1 para todo x .
4.3. Sejam
1
,
2
abertos de R
n
. Se u
i
:
i
R, i = 1, 2, possuem derivadas fracas
v
i
(x) = D
u
i
(x) em
i
e u
1
(x) = u
2
(x) em
1

2
, ento a funo
u(x) =
_
u
1
(x) se x
1
,
u
2
(x) se x
2
,
possui -sima derivada fraca em
1

2
.
4.4. Se a sequncia de funes (u
m
) tem derivadas fracas v
m
(x) = D
u
m
(x) no domnio
R
N
, u
m
u e v
m
v em L
1
(), ento v(x) = D
u(x).
4.5. Verique que as seguintes normas so equivalentes em W
k,p
()
|u|
k,p
=
_
_
||k
|D
u|
p
p
_
_
1/p
, [u[
k,p
=
||k
|D
u|
p
e [[[u[[[
k,p
= max
||k
|D
u|
p
.
4.6. Seja B = B
1
(0) R
n
a bola unitria, 1 0 tal que < (n p)/p.
Mostre que a funo u(x) := [x[
est em W
1,p
(B).
4.7. Se 1 p < e f L
p
loc
(), ento f
f em L
p
(
0
) para todo conjunto
0
.
4.8. Se u : (0, 1) R contnua em (0, 1), diferencivel q.t.p. em (0, 1) e possui derivada
fraca de primeira ordem em (0, 1), ento u absolutamente contnua.
4.9. Se u W
1,p
(0, 1) para algum 1 p < , ento existe uma funo u
absolutamente
contnua tal que u(x) = u
(x) q.t.p. em (0, 1). Alm disso u
(que existe q.t.p. em (0,1))

pertence a L
p
(0, 1).
4.6 Exerccios 102
4.10. Considere a funo sinal denida por
sgn(x) =
_
_
1 se x > 0,
0 se x = 0,
1 se x < 0.
Verique que sgn(x) possui derivada clssica contnua em R0 mas no possui derivada
fraca em (a, a), qualquer que seja a R.
4.11. Prove diretamente que se u W
1,p
(0, 1) para 1 < p < , ento
[u(x) u(y)[ [x y[
11/p
__
1
0
[u
(t)[
p
dt
_
1/p
.
4.12. Use integrao por partes para provar a seguinte desigualdade de interpolao
_
[u[
2
dx C
__
u
2
dx
_
1/2
__
[D
2
u[
2
dx
_
1/2
,
para toda funo u C
0
(). Usando um argumento de densidade estenda o resultado
para u W
2,2
() W
1,2
0
().
4.13. Use integrao para obter
_
[u[
p
dx C
__
u
p
dx
_
1/2
__
[D
2
u[
p
dx
_
1/2
,
para u C
0
() e em seguida estenda o resultado para u W
2,p
() W
1,p
0
().
Sugesto: observe que
_
[u[
p
dx =
n
i=1
_
u
x
i
u
x
i
[u[
p2
dx.
4.14. Se conexo e u W
1,p
() tal que u = 0 q.t.p. em , ento u constante
q.t.p. em .
4.15. Obtenha u W
1,
() tal que u no Lipschitz contnua em .
4.16. Se n > 1 ento a funo u(x) = log
_
log
_
1 +
1
|x|
__
ilimitada em B
1
(0) e u
W
1,n
(B
1
(0)).
4.17. Se = (1, 1) e
u(x) =
_
0 se x (1, 0),
x se x [0, 1),
ento u W
1,
(), mas u no pode ser aproximada nesse espao por funes de classe
C
().
4.6 Exerccios 103
4.18. Se = (1, 0) (0, 1) e
u(x) =
_
0 se x (1, 0),
1 se x (0, 1),
ento u W
1,p
() para todo p 1, mas u no pode ser aproximada nesse espao por
funes de classe C
1
().
4.19. Prova o Lema 4.29 no caso em que p = .
4.21. Se u, v W
1,p
() L
(), 1 p < , ento uv W

1,p
() L
() e (uv) =
uv + vu.
4.22. Se r C
1
() ento o operador multiplicao u ru contnuo em W
1,2
(). Se
r > 0 em , ento esse operador um isomorsmo.
4.23. No existe um operador linear limitado
T : L
p
() L
p
()
tal que Tu = u[
sempre que u L
p
() C().
4.24. Se = B
1
(0) e > 0, ento existe uma constante C = C(, n) > 0 tal que
_
u
2
dx C
_
[u[
2
dx,
sempre que u W
1,2
() tal que a medida do conjunto x : u(x) = 0 maior ou
igual a .
4.25. Seja F C
1
(R) com F
limitada, 1 p e u W
1,p
(). Ento v := F(u)
W
1,p
() com
v
x
i
= F
(u)u
x
i
, i = 1, . . . , n.
Verique que o mesmo resultado vale se ilimitado e F(0) = 0.
4.26. Se u W
1,p
() ento u
+
, u
, [u[ W
1,p
(). Alm disso
u
+
=
_
u q.t.p. em u > 0,
0 q.t.p. em u 0,
4.6 Exerccios 104
e
u
=
_
0 q.t.p. em u 0,
u q.t.p. em u < 0.
4.27. Se u W
1,p
(), c R e
c
= x : u(x) = c, ento u = 0 q.t.p. em
c
.
4.28. A desigualdade de Poincar pode ser falsa em domnios ilimitados.
Sugesto: seja C
0
(R
N
) tal que 1 em B
1
(0), 0 fora de B
2
(0) e 0 1, e
considere a sequncia
m
(x) := (x/m).
4.29. A imerso W
1,p
(R) L
p
(R) no compacta.
Sugesto: tome u
1
de classe C
1
com suporte em (0, 1) e |u
1
|
1,p
= 1, e considere a sequncia
u
m
(x) = u
1
(x m)
Captulo
5
Solues fracas para equaes lineares
de 2a ordem
Nesse captulo vamos considerar o problema
(P)
_
Lu = f, em ,
u = 0, em ,
em que R
n
um aberto limitado e a funo f pode no ser regular, digamos f
L
2
(). O operador L ser considerado linear, de segunda ordem e na forma divergente,
isto ,
Lu :=
n
i,j=1
(a
ij
(x)u
x
i
)
x
j
+
n
i=1
b
i
(x)u
x
i
+ c(x)u. (5.1)
Os coecientes a
ij
, b
i
, c L
() e vamos supor ainda que L simtrico e uniformemente

elptico em , isto , existe
0
> 0 tal que
A(x) =
n
i,j=1
a
ij
(x)
i
j

0
[[
2
, R
n
,
e a matriz A(x) = a
ij
(x) simtrica para cada x .
Uma vez que f no regular, no podemos aplicar os resultados do Captulo 3. Ao
invs disso, vamos introduzir um conceito mais abrangente de soluo e buscar solues
nos espaos de Sobolev introduzidos no captulo anterior.
No que segue vamos estender para o operador L acima as idias da primeira parte
do Captulo 4. Para tanto, suponha inicialmente que os coecientes de L so suaves e
106
u C
2
() C() uma soluo clssica de (P). Multiplicado a equao em (P) por
v C
0
() e integrando por partes obtemos
_
n
i,j=1
a
ij
(x)u
x
i
v
x
j
+
_
n
i=1
b
i
(x)u
x
i
v +
_
c(x)uv =
_
fv.
A expresso acima vale para toda funo teste. Armamos que ela permanece vlida para
funo v no espao de Sobolev H
1
0
(). De fato, se v H
1
0
() ento existe (v
m
) C
0
()
tal que
v
m
v em H
1
0
().
Como as funes v
m
so regulares temos que
_
n
i,j=1
a
ij
(x)u
x
i
(v
m
)
x
j
+
_
n
i=1
b
i
(x)u
x
i
v
m
+
_
c(x)uv
m
=
_
fv
m
. (5.2)
A convergncia de v
m
em H
1
0
() implica que, a menos de subsequncia,
_
_
v
m
v fortemente em L
2
(),
(v
m
)
x
j
v
x
j
fortemente em L
2
(),
v
m
(x) v(x), (v
m
)
x
j
(x) v
x
j
(x) q.t.p. em ,
[v
m
(x)[, [(v
m
)
x
j
(x)[ h
v
(x) q.t.p. em ,
(5.3)
para alguma funo h
v
L
2
(). Desse modo
lim
m
a
ij
(x)u
x
i
(x)(v
m
)
x
j
(x) = a
ij
(x)u
x
i
(x)v
x
j
(x) q.t.p. em .
Alem disso,
[a
ij
(x)u
x
i
(v
m
)
x
j
[ |a
ij
|
[u
x
i
(x)[[h
v
(x)[ q.t.p. em .
Uma vez que u
x
i
, h L
2
(), a funo do lado direito acima est em L
1
(). Segue ento
do Teorema da Convergncia Dominada de Lebesgue que
lim
m
_
a
ij
(x)u
x
i
(v
m
)
x
j
=
_
a
ij
(x)u
x
i
v
x
j
.
Como u, f L
2
(), podemos usar (5.3) e proceder de maneira anloga para mostrar que
5.1 Existncia de soluo 107
valem as seguintes convergncias
_
b
i
(x)u
x
i
v
m

_
b
i
(x)u
x
i
v,
_
c(u)uv
m

_
c(x)uv,
_
fv
m

_
fv.
Passando ento a igualdade (5.2) ao limite, conclumos que a mesma vale para toda funo
v H
1
0
(). Isso motiva a seguinte denio
Denio 5.1. Dizemos que u H
1
0
() uma soluo fraca do problema (P) quando
_
n
i,j=1
a
ij
(x)u
x
i
v
x
j
+
_
n
i=1
b
i
(x)u
x
i
v +
_
c(x)uv =
_
fv, v H
1
0
().
Observe que, na igualdade acima, as derivadas que aparecem sob o sinal das integrais
so as derivadas fracas das funes u e v. Uma vez que os coecientes de L esto em
L
(), todas as integrais acima esto bem denidas. Finalmente, note que uma soluo
fraca do problema pode no ter derivadas no sentido clssico. Tudo que precisa ocorrer
que a equao integral acima seja satisfeita. Desse modo, h mais chances de obter
soluo fraca do que soluo clssica.
A m de simplicar a notao vamos no que segue denotar por B : H
1
0
()H
1
0
() R
a seguinte funo
B[u, v] :=
_
n
i,j=1
a
ij
(x)u
x
i
v
x
j
+
_
n
i=1
b
i
(x)u
x
i
v +
_
c(x)uv. (5.4)
Observe que B uma forma bilinear denida em H
1
0
() H
1
0
(). Com essa notao,
u H
1
0
() soluo fraca de (P) se, e somente se,
B[u, v] =
_
fv, v H
1
0
().
5.1 Existncia de soluo
Vamos considerar inicialmente o caso mais simples em L = . Nesse caso, a formu-
lao fraca do problema (P) a seguinte: encontrar u H
1
0
() tal que
B[u, v] =
_
u v =
_
fv, v H
1
0
().
Lembremos agora que, em H
1
0
(), podemos introduzir o seguinte produto interno
u, v
H
1
0
()
=
_
u v.
Desse modo, a formulao fraca se reduz a
u, v
H
1
0
()
=
_
fv v H
1
0
().
O lado direito da expresso pode ser visto como a ao do seguinte funcional linear
T
f
: H
1
0
() R
v T
f
(v) :=
_
f(x)v(x) dx.
Usando a desigualdade de Poincar obtemos
[T
f
(v)[ |f|
2
|v|
2
C|f|
2
__
[v[
2
_
1/2
= C|f|
2
|v|
H
1
0
()
,
o que mostra que T
f
contnuo. Segue ento do Teorema da Representao de Riesz que
existe um (nico) u
f
H
1
0
() tal que
u
f
, v
H
1
0
()
= T
f
(v) =
_
fv, v H
1
0
().
Logo u
f
uma soluo fraca do problema (P).
A idia acima pode ser estendida para uma classe maior de operadores. De fato,
suponha agora que b
i
0 para i = 1, . . . , n e que c(x) 0 em . Nesse caso, a forma
bilinear associada ao problema (P)
B[u, v] =
_
n
i,j=1
a
ij
(x)u
x
i
v
x
j
+
_
c(x)uv.
Como no existem os termos de primeira ordem temos que B uma forma bilinear e
simtrica. Alm disso, podemos usar a elipticidade uniforme de L, c(x) 0 e a desigual-
dade de Poincar novamente, para obter
B[u, u] =
_
n
i,j=1
a
ij
(x)u
x
i
u
x
j
+
_
c(x)u
2

0
_
[u[
2
C
_
[u[
2
,
com C > 0 independente de u. A expresso acima mostra que B[u, u] = 0 se, e somente
se, u = 0. Portanto B uma forma bilinear, simtrica e positiva denida. Logo, dene
um produto interno em H
1
0
() cuja norma induzida
|u|
2
B[,]
= B[u, u].
Para obtermos uma soluo fraca precisamos somente vericar que v
T
f
_
fv um
funcional linear contnuo em (H
1
0
(), ||
B[,]
). Para tanto observe que, se v H
1
0
(),
podemos proceder como antes para obter
[T
f
(v)[ C|f|
2
__
[v[
2
_
1/2
.
Como B[v, v]
0
_
[v[
2
obtemos
[T
f
(v)[ C|f|
2
1/2
0
B[v, v]
1/2
=

C |v|
B[,]
.
Desse modo, essa nova topologia em H
1
0
() mantm a continuidade de T
f
e podemos
ento aplicar o Teorema de Riez para obter u
f
H
1
0
() tal que
B[u
f
, v] =
_
fv, v H
1
0
().
As consideraes acima provam o seguinte
Teorema 5.2. Seja R
n
um aberto limitado e L um operador uniformemente elptico
em da forma
Lu =
n
i,j=1
(a
ij
(x)u
x
i
)x
j
+ c(x)u,
com a
ij
, c L
() e c 0 em . Ento para toda f L

2
() o problema
_
Lu = f, em ,
u = 0, em .
tem exatamente uma soluo fraca em H
1
0
().
Gostaramos agora de resolver o problema (P) no caso geral em que existem os termos
de primeira ordem. Nesse caso a forma bilinear associada ao problema
B[u, v] =
_
n
i,j=1
a
ij
(x)u
x
i
v
x
j
+
_
n
i=1
b
i
(x)u
x
i
v +
_
c(x)uv.
Observe que, devido presena dos termos de primeira ordem, B pode no ser simtrica.
Se esse for o caso, o lado esquerdo da formulao fraca do problema no mais um produto
interno e no podemos aplicar o Teorema de Riesz.
A m de superar a diculdade apresentada acima vamos tentar utilizar o seguinte
resultado de Anlise Funcional.
Teorema 5.3 (Lax-Milgram). Seja (H, ,
H
) um espao de Hilbert e B : H H R
uma forma bilinear satisfazendo
(i) existe > 0 tal que, para todo u, v H, vale
[B[u, v][ |u|
H
|v|
H
, u, v H.
(ii) existe > 0 tal que,
B[u, u] |u|
2
, u H.
Ento, dado um funcional linear contnuo T : H R, existe um nico u
T
H tal que
T(u) = B[u
T
, u], u H.
Demonstrao. Para cada u
0
H xado, a aplicao v
T
u
0
B[u
0
, v] um funcional li-
near contnuo. Logo, pelo Teorema de Riesz, existe Au
0
H tal que B[u
0
, v] = Au
0
, v
H
,
para todo v H. Variando u
0
podemos construir um operador A : H H de tal modo
que, para cada u H, o vetor Au o nico elemento de H que satisfaz
B[u, v] = Au, v
H
, v H.
Usando a denio de A vemos facilmente que A linear. Alm disso,
|Au|
2
H
= Au, Au
H
= B[u, Au] C |u|
H
|Au|
H
e portanto
|Au|
H
C |u|
H
o que mostra que A contnuo.
Utilizando agora (ii) obtemos
|u|
2
H
B[u, u] = Au, u
H
|Au|
H
|u|
H
,
donde segue que
|Au|
H
|u|
H
.
A expresso acima implica que A injetiva e que a imagem de A, que ser denotada por
Im(A), fechada em H.
Vamos mostrar agora que A tambm sobrejetivo. Suponha, por contradio, que
Im(A) ,= H. Como Im(A) um subespao prprio fechado de H, o seu complementar
ortogonal Im(A)
no trivial. Desse modo, se w Im(A)
0, temos que
|w|
2
B[w, w] = Aw, w = 0,
o que absurdo, visto que > 0 e w ,= 0. Assim, o operador A sobrejetivo.
Podemos agora concluir a demonstrao da seguinte maneira. Sabemos, pelo Teorema
de Riesz, que existe um nico u H tal que
T(u) = u, u
H
, u H.
A sobrejetivade de A nos fornece u
T
H tal que A(u
T
) = u. Logo,
T(u) = u, u
H
= A(u
T
), u = B[u
T
, u], u H.
A unicidade de u
T
segue da injetividade de A.
Voltando agora a considerar o problema (P), queremos impor condies sobre L de
modo a aplicar o Teorema de Lax-Milgram. Vamos ento considerar o espao de Hilbert
H
1
0
() munido da seguinte norma
|u|
H
1
0
()
=
__
[u[
2
_
1/2
.
Conforme vimos anteriormente, com essa topologia, o funcional linear v
T
f
_
fv con-
tnuo de H
1
0
() em R.
Precisamos vericar que a forma bilinear B[, ] denida em (5.4) satisfaz as hipteses
do Teorema de Lax-Milgram. Para tanto, note inicialmente que, se u, v H, ento
[B[u, v][
n
i,j=1
_
_
a
ij
_
_
_
[u
x
i
[ [v
x
i
[ +
n
i=1
_
_
b
i
_
_
_
[u
x
i
[ [v[ +|c|
[u[ [v[
c
1
__
[u[ [v[ +
_
[u[ [v[ +
_
[u[ [v[
_
c
1
_
|u|
2
|v|
2
+|u|
2
|v|
2
+|u|
2
|v|
2
_
c
1
_
|u|
H
1
0
()
|v|
H
1
0
()
+ c
2
|u|
H
1
0
()
|v|
H
1
0
()
+c
3
|u|
H
1
0
()
|v|
H
1
0
()
_
|u|
H
1
0
()
|v|
H
1
0
()
,
e portanto B contnua.
A condio (ii) do Teorema de Lax-Milgram mais delicada e no vale em geral. O
prximo resultado um primeiro passo para impor condies em L de modo que possamos
resolver o problema (P).
Lema 5.4. Existem = (|b
i
|
,
0
, |c|
) > 0 e > 0 tais que
_
[u[
2
B[u, u] +
_
u
2
,
qualquer que seja u H
1
0
().
Demonstrao. Temos que
0
_
[u[
2
_
n
i,j=1
a
ij
(x)u
x
i
u
x
j
= B[u, u]
_
n
i=1
b
i
(x)u
x
i
u
_
c(x)u
2
B[u, u] +
n
i=1
_
_
b
i
_
_
_
[u[ [u[ +|c|
_
u
2
.
Lembremos agora que, se a, b R, ento
ab =
2a
b
1
2
2a
2
+
1
2
b
2
2
= a
2
+
1
4
b
2
.
Desse modo
_
[u[ [u[
_
[u[
2
+
1
4
_
[u[
2
.
Escolhendo > 0 tal que
n
i=1
|b
i
|
=
0
/2 obtemos
0
_
[u[
2
B[u, u] +

0
2
_
[u[
2
+
_
n
i=1
|b
i
|
4
+|c|
__
u
2
e portanto
0
2
_
[u[
2
B[u, u] +
_
i
|b
i
|
4
+|c|
__
u
2
.
Desse modo, a concluso do enunciado vale para
:=

0
2
, :=
_
i
|b
i
|
_
2
2
0
+|c|
,
onde na expresso de usamos a escolha de > 0.
Estamos prontos para enunciar e provar o nosso primeiro teorema de existncia de
soluo.
Teorema 5.5. Seja R
n
em da forma
Lu =
i,j
(a
ij
(x)u
x
i
)x
j
+
n
i=1
b
i
(x)u
x
i
c(x)u,
com a
ij
, b
i
, c L
(). Ento existe = (|b

i
|
,
0
, |c|
) 0 tal que, para toda

f L
2
() e todo , o problema
(P
)
_
Lu +u = f, em ,
u = 0, em .
tem exatamente uma soluo fraca em H
1
0
().
Demonstrao. Vamos provar o teorema para 0 dado pelo lema anterior. Seja ento
f L
2
() e . A formulao fraca do problema (P
) a seguinte: obter u H
1
0
()
tal que
B
[u, v] =
_
fv, v H
1
0
()
onde
B
[u, v] := B[u, v] +
_
uv.
A mesma conta feita para a forma B mostra que existe > 0 tal que
[B
[u, v][ |u|

H
1
0
()
|v|
H
1
0
()
, u, v H
1
0
().
Alm disso, se a constante dada pelo lema anterior, temos que
|u|
2
B[u, u] +
_
u
2
B[u, u] +
_
u
2
,
isto ,
|u|
2
B
[u, u], u H
1
0
().
Aplicando o Teorema de Lax-Milgram para B
[, ] e lembrando que v
_
fv linear
e contnuo, obtemos u
f
H
1
0
() tal que
B
[u
f
, v] =
_
fv, v H
1
0
(),
e portanto u
f
a (nica) soluo fraca de (P
) em H
1
0
().
Na prxima seo vamos estudar melhor a questo de existncia de soluo para o
problema (P
).
5.1.1 Alternativa de Fredholm
Se T : R
n
R
n
uma transformao linear ento o Teorema do Ncleo e da
Imagem nos garante que T injetiva se, e somente se, T sobrejetiva. Em dimenso
innita essa mesma concluso pode ser falsa. De fato, considere o espao de Hilbert
l
2
:= (x
m
)
mN
:
m=1
[x
m
[
2
< das sequncias de quadrado somvel. fcil ver que
a transformao linear T : l
2
l
2
dada por T(x
1
, x
2
, . . .) = (0, x
1
, x
2
, . . .) injetiva mas
no sobrejetiva.
No que segue apresentamos um resultado que fornece, para uma determinada classe
de operadores, um resultado anlogo ao de dimenso nita. Antes porm lembremos que,
se (H, ,
H
) um espao de Hilbert real e T : H H um operador contnuo, o
operador adjunto T
: H H denido por
Tu, v
H
= u, T
v
H
, u, v H.
Para pertubaes compactas da identidade vale o seguinte resultado.
Teorema 5.6 (Alternativa de Fredholm). Seja H um espao de Hilbert real e K : H H
um operador linear compacto. Ento
(i) dimKer(Id K) < ;
(ii) Im(Id K) um subespao fechado e Im(Id K) = (Ker(Id K
))
;
(iii) (Id K) injetivo se, e somente se, for sobrejetivo ;
(iv) dimKer(Id K) = dimKer(Id K
).
O teorema acima fornece informaes sobre a solubilidade do problema
u Ku = f, (5.5)
com f H. O nome do resultado se deve ao fato de que ele arma que ocorre exatamente
uma das alternativas abaixo.
Alternativa 1: para cada f H o problema tem soluo nica.
Alternativa 2: o problema homogneo associado u Ku = 0 possui soluo u ,= 0.
Nesse caso, a equao (5.5) tem soluo se, e somente se, f (Ker(Id K
))
.
Nossa intenso no que segue aplicar o Teorema 5.6 para estudar a solubilidade do
problema (P). Para tanto vamos supor que os coecientes b
i
do operador L so de classe
C
1
() e introduzir o problema adjunto de (P) como segue
_
L
v = f, em ,
v = 0, em ,
onde L
o operador adjunto de L dado por

L
v =
n
i,j=1
(a
ij
(x)v
x
i
)
xj
+
n
i=1
b
i
(x)v
x
i
+
_
c(x)
n
i=1
(b
i
(x))
x
i
_
v.
A expresso para L
v acima pode ser obtida via integrao por partes (Teorema da Di-
vergncia). Alm disso, segue da denio que
Lu, v
2
=
_
Luv =
_
uL
v = u, L
v
2
, u, v H
1
0
().
O resultado abaixo caracteriza o espectro de soluo do problema (P).
Teorema 5.7 (Alternativa de Fredholm para (P)). Seja R
n
um aberto limitado e L
um operador uniformemente elptico da forma
Lu =
i,j
(a
ij
(x)u
x
i
)x
j
+
n
i=1
b
i
(x)u
x
i
+ c(x)u,
com a
ij
, c L
() e b
i
C
1
(). Ento
(ii) exatamente uma das duas situaes abaixo ocorre
Alternativa 1: o problema (P) possui soluo nica para cada f L
2
().
Alternativa 2: o problema homogneo
Lu = 0 em , u = 0 em , (5.6)
possui soluo no trivial u ,= 0.
(ii) se ocorre a segunda alternativa, a dimenso do subespao N H
1
0
() de solues
fracas de (5.6) nita e coincide com a dimenso do subespao N
H
1
0
() de
solues fracas de
L
v = 0 em , v = 0 em . (5.7)
(iii) o problema (P) tem soluo fraca para uma dada f L
2
() se, e somente se,
f, v
2
=
_
fv, v N
.
Demonstrao. Considerando 0 dado pelo Teorema 5.5, sabemos que o problema
(P
) tem soluo fraca nica para cada f L

2
(). Desse modo, podemos construir o
operador soluo S
: L
2
() H
1
0
() como segue
S
(f) = u
_
u H
1
0
() a nica soluo fraca de
Lu + u = f em , u = 0 em .
Uma vez que L linear, o operador soluo tambm linear. Alm disso, se f L
2
(),
ento u = S
(f) satisfaz
|u|
2
H
1
0
()
B
[u, u] =
_
fu |f|
2
|u|
2
C|f|
2
|u|
H
1
0
()
,
onde estamos usando a mesma notao da demonstrao do Teorema 5.5. Uma vez que
u = S
(f), a expresso acima pode ser reescrita como

|S
(f)|
H
1
0
()

C
|f|
2
,
o que mostra que o operador soluo contnuo de L
2
() em H
1
0
(). Usando a limitao
de e o diagrama abaixo,
L
2
()
S
H
1
0
()
cpct.
L
2
()
conclumos que o operador soluo S
compacto de L
2
() em L
2
().
Note agora que
Lu = f Lu +u = f + u
u = S
(f + u) = S
(f) + S
(u)
u S
(u) = S
(f)
Desse modo, o problema (P) equivalente a
u Ku = S
(f)
com K = S
compacto de L
2
() em L
2
(). O resultado segue agora do Teorema 5.6
(cf. Exerccio 5.2).
5.1.2 Os autovalores de L
Dado um espao de Hilbert real H e um operador linear contnuo T : H H,
denimos o resolvente de T como sendo
(T) = R : (T Id) : H H uma bijeo.
Observe que (T) se, e somente se, a equao Tu u = f tem soluo nica para
cada f H. O espectro de T denido como (T) = R(T). Se (T) tal que
Ker(T Id) ,= 0
ento dizemos que um autovalor de T. Nesse caso, existe u
H0 tal que
Tu
= u
.
Chamamos u
de autovetor associado ao autovalor . Denotamos por

p
(T) o conjunto
dos autovalores de T, isto ,
p
(T) = (T) : Ker(T Id) ,= 0.
No difcil mostra que, se H tem dimenso nita, ento (T) =
p
(T). Em dimenso
5.2 Espectro de 118
innita pode ocorrer (T) ,=
p
(T). Por exemplo, seja T : l
2
l
2
denida por
T(x
1
, x
2
, . . .) = (0, x
1
, x
2
, . . .).
Como T no sobrejetiva temos que 0 (T). Mas observe que 0 /
p
(T), pois Ker(T) =
0. Logo, 0 (T)
p
(T).
O resultado abaixo caracteriza o espectro de operadores compactos.
Teorema 5.8 (Teoria espectral de operadores compactos). Seja H um espao de Hilbert
real com dimenso innita e K : H H um operador compacto. Ento,
(i) 0 (K) ;
(ii) (K)0 =
p
(K)0
(iii) se (K)0 um conjunto innito ento (K)0 = (
m
)
mN
com
m
0
quando m .
Usando o resultado acima e operador soluo do problema do (P), podemos mostrar
o seguinte resulatdo (cf. Exerccio 5.3).
Teorema 5.9. Seja R
n
da forma
Lu =
i,j
(a
ij
(x)u
x
i
)x
j
+
n
i=1
b
i
(x)u
x
i
+ c(x)u,
com a
ij
, c L
() e b
i
C
1
(). Ento existe um conjunto nito ou innito enumervel
R tal que o problema
(P
)
_
Lu = u + f, em ,
u = 0, em ,
possui soluo fraca nica para cada f L
2
() se, e somente se, , . Alm disso, se
innito, ento = (
m
)
mN
com
m
quando m .
5.2 Espectro de
Nessa seo vamos estudar o problema de autovalor
(PA)
_
u = u, em ,
u = 0, em ,
5.2 Espectro de 119
onde R
n
uma aberto limitado. Vamos usar em H
1
0
() a seguinte norma
|u|
2
=
_
[u[
2
.
Note que a formulao fraca do problema acima : encontrar u H
1
0
() 0 tal que
u, v =
_
u v =
_
fv, v H
1
0
().
Lembre que estamos interessados em solues u ,= 0, visto que autovetores so sempre
vetores no nulos. Fazendo v = u na expresso acima obtemos
_
[u[
2
=
_
u
2
,
de onde se conclui que > 0. Outra observao importante que, conforme veremos na
seo seguinte, podemos regularizar as autofunes de modo que todas elas so de classe
C
().
Vamos tentar aplicar o Teorema 5.8 para obter os autovalores de (PA). Para tanto,
note que para cada u H
1
0
() xado a aplicao
T
u
: H
1
0
() R
v T
u
(v) :=
_
uv dx
um funcional linear e contnuo em H
1
0
(). Logo, existe Tu H
1
0
() tal que Tu, v =
_
uv para todo v H
1
0
(). Variando u, podemos construir uma aplicao T : H
1
0
()
H
1
0
() tal que
Tu, v =
_
uv, u, v H
1
0
(). (5.8)
Dado u
1
, u
2
, v H
1
0
() e R, temos que
T(u
1
+ u
2
), v =
_
(u
1
+ u
2
)v = Tu
1
+ Tu
2
, v,
e
Tu, v =
_
uv =
_
vu = Tv, u = u, Tv,
e portanto T linear e autoadjunto. Usando as desigualdades de Cauchy-Schwarz e
5.2 Espectro de 120
Poincar para obtemos,
|Tu|
2
= Tu, Tu =
_
uTu |u|
2
|Tu|
2
c
1
|u||Tu|,
ou ainda
|Tu| c
1
|u|, u H
1
0
(),
o que mostra que T contnuo.
Seja agora (u
m
) H
1
0
() uma sequncia limitada. A compacidade da imerso H
1
0
()
L
2
() implica que, a menos de subsequncia,
u
m
u em L
2
().
Assim, procedendo como acima, obtemos
|Tu
m
Tu
k
|
2
= T(u
m
u
k
), (u
m
u
k
) c
2
|u
m
u
k
|
2
|T(u
m
u
k
)|,
ou ainda,
|Tu
m
Tu
k
| c
2
|u
m
u
k
|
2
.
Como u
m
u em L
2
() a expresso acima mostra que (Tu
m
) uma sequncia de Cauchy
em H
1
0
(). Logo, possui subsequncia convergente. Isso mostra que T compacto.
Observe agora que, se u ,= 0 soluo fraca de (PA), ento
u, v =
_
uv = Tu, v,
ou ainda
Tu, v =
1
u, v, v H
1
0
().
Segue da expresso acima que > 0 autovalor de (PA) com autovetor associado u ,= 0
se, e somente se,
Tu =
1
u.
Temos ento o seguinte resultado.
Teorema 5.10. Se R
n
um aberto limitado ento o problema de autovalor
(PA)
_
u = u, em ,
u = 0, em ,
5.2 Espectro de 121
possui uma sequncia de autovalores
0 <
1
<
2

3

k

tal que
k
quando k . Alm disso, as autofunes associadas formam uma
base ortogonal de H
1
0
().
Demonstrao. Seja T o operador denido em (5.8). Sabemos que > 0 autovalor
do problema (PA) se, e somente se, 1/ autovalor de T. De acordo com o Teorema 5.8,
exatamente uma das alternativas abaixo ocorre
(i) (T) 0 =
p
(T) 0 nito ;
(ii)
p
(T) 0 uma sequncia (
m
)
mN
tal que
m
0
+
.
Uma vez que H
1
0
() separvel e T compacto e autoadjunto, os autovetores de T
formam uma base ortogonal de H
1
0
() (cf. [3, Teorema VI.11]). Usando a Alternativa
de Fredholm temos que, se um autovalor de T, ento a dimenso de ker(T Id)
nita. Logo, todos os autoespaos tem dimenso nita. Uma vez que H
1
0
() tem dimenso
innita conclumos que a alternativa (i) acima no pode ocorrer. Desse modo
(T) 0 =
p
(T) 0 = (
m
),
com
m
0
+
. Os autovalores correspondentes de (PA) so da forma
m
=
1
m
.
Logo, eles formam um sequncia
0 <
1

2

3

m
,
tal que lim
m
m
= +. Mostraremos posteriormente que o primeiro autovalor
1

simples, isto ,
1
<
2
.
Vale observar que, na notao do teorema acima, se
m1
<
m
= =
m+j1
<
m+j
ento =
m
um autovalor com multiplicade j, isto ,
dimker(T Id) = j.
5.2 Espectro de 122
Outro ponto importante que o resultado acima permanece vlido para o operador
Lu =
n
i,j=1
(a
ij
(x)u
x
i
)
x
j
+ c(x)u,
se L for simtrico, uniformemente elptico, os coecientes forem limitados e c for no
negativa.
A parte nal do teorema nos diz que
H
1
0
() = span
1
,
2
, . . . ,
m
, . . .,
onde
m
uma autofuno associada ao autovalor
m
. As autofunes
i
so ortogonais
em H
1
0
(). Contudo, usando a formulao fraca do problema (AP), fcil ver que elas so
tambm ortogonais em L
2
(). Isso nos permite obter algumas desigualdades interessantes
para funes de H
1
0
() em termos dos autoespaos (cf. Exerccio 5.4).
No que segue vamos extrair propriedades importante do primeiro autovalor
1
. Co-
meamos recordando o seguinte resultado de Anlise Funcional (cf. [3, Proposio VI.9])
Lema 5.11. Seja H um espao de Hilbert e T : H H um operador linear, contnuo e
autoadjunto. Dena
m := inf
u
H
=1
Tu, u
H
e M := sup
u
H
=1
Tu, u
H
.
Ento m, M (T) e (T) [m, M].
Vamos aplicar o resultado acima para o operador T relacionado com o problema (PA).
Para fazer isso, observe inicialmente que o menor autovalor
1
do problema (PA) exa-
tamente o inverso do maior autovalor do operador T denido em (5.8). Assim,
1
1
= sup
u=1
Tu, u = sup
u=0
_
T
_
u
|u|
_
,
u
|u|
_
.
Segue da expresso acima que, se u ,= 0, ento
1
_
T
_
u
|u|
_
,
u
|u|
_
=
1
|u|
2
Tu, u =
1
|u|
2
_
u
2
,
e portanto
1
_
u
2
[u[
2
, u H
1
0
().
As consideraes acima provam o seguinte resultado.
5.2 Espectro de 123
Proposio 5.12. O primeiro autovalor
1
> 0 do problema de autovalor (PA)
1
= inf
u=0
Q(u),
onde Q : H
1
0
() 0 R denido por
Q(u) =
_
[u[
2
_
u
2
.
Vamos estudar melhor a funo Q acima. Observe inicialmente que o nmo de Q na
verdade um mnimo. De fato, se
1
uma autofuno associada a
1
, ento
1
=
1
1
em , donde se conclui que
_
[
1
[
2
=
1
_
2
1
,
isto ,
1
= Q(
1
).
Desse modo, toda autofuno associada ao primeiro autovalor
1
um ponto de mnimo
de Q.
Vamos mostrar que a recproca da concluso acima verdadeira, isto , se H
1
0
()
0 tal que Q() =
1
, ento uma
1
-autofuno. De fato, dada v H
1
0
() e t R,
temos que
1
Q( +tv), isto ,
_
[( + tv)[
2

1
_
( +tv)
2
.
Desenvolvendo os dois lados da desigualdade acima e lembrando que
1
_
2
=
_
[[
2
obtemos
2t
_
v + t
2
_
[v[
2
2t
1
_
v + t
2
1
_
v
2
.
Dividindo a expresso acima por 2t > 0 e fazendo t 0
+
conclumos que
_
v
1
_
v.
Analogamente, fazendo t 0
, obtemos a desigualdade reversa. Logo

_
v =
1
_
v, v H
1
0
(),
5.2 Espectro de 124
o que mostra que uma soluo fraca do problema (AP) com =
1
.
Estamos prontos para provar o
n
um domnio limitado,
1
o primeiro autovalor
do problema (AP) e
1
uma autofuno associada a esse autovalor. Ento
(i)
1
> 0 ou
1
< 0 em .
(ii) se uma
1
-autofuno, ento existe R tal que =
1
.
Demonstrao. Suponha, por contradio, que
1
troca de sinal em . Ento
1
=
+
1

1
,
com
+
1
,
1
, 0. Lembremos que
+
1
,
1
H
1
0
() e
+
1
(x) =
_

1
(x), q.t.p. em x :
1
(x) > 0
0, q.t.p. em x :
1
(x) 0,
com uma expresso anloga valendo para
1
(cf. Exerccio 4.26). Fazendo v =
+
1
na
formulao fraca do problema obtemos
_
1

+
1
=
1
_
+
1
. (5.9)
Mas
_
1

+
1
=
_
{
1
>0}
+
1

+
1
=
_
[
+
1
[
2
.
Analogamente
_
+
=
_
(
+
1
)
2
, e portanto segue de (5.9) que
_
[
+
1
[
2
=
1
_
(
+
1
)
2
.
Logo Q(
+
1
) =
1
donde se conclui que
+
1
uma
1
-autofuno. De maneira anloga
mostra-se que
1
tambm
1
-autofuno.
Temos ento que
_

1
=
1
1
, em ,
u = 0, em .
Uma vez que as autofunes so regulares e
1
0 em , segue do Princpio do Mximo
Forte que
1
> 0 em . De fato, se existisse x
0
tal que
+
1
(x
0
) = 0 ento a funo
+
1
terias um ponto de mnimo em . Da seguiria que
+
1
0 em o que absurdo, visto
5.3 Regularidade de solues 125
que estamos supondo
+
1
, 0. Desse modo conclumos que
1
> 0. Mas isso contraria o
fato de
+
1

1
0 em .
A contradio acima proveio do fato de supormos que
1
trocava de sinal em . Logo
devemos ter
+
1
0 ou
1
0. Se
1
0 ento
1
0 em . Aplicando o Princpio
do Mximo novamente conclumos que
1
> 0 em . No caso em que
+
1
0 o mesmo
argumento implica que
1
< 0 em . Isso estabele o item (i).
Para provar (ii) vamos supor, por contradio novamente, que
1
e so linearmente
independentes. Nesse caso,
dimker(
1
Id) 2.
Uma vez que existe uma base ortogonal de H
1
0
() formada por autofunes, e
1
e so
linearmente independentes, temos que
0 =
1
, =
_
1
=
1
_
1
.
Mas a expresso acima no pode nunca ocorrer visto que, pelo item (i), o produto
1
tem sinal denido em . Obtemos ento uma contradio, o que mostra que um
mltiplo escalar de
1
.
5.3 Regularidade de solues
Estamos interessados agora em obter mais regularidade para as solues do probblema
(P) obtidas na seo anterior. Em toda essa seo o operador L ser da forma
Lu =
n
i,j=1
(a
ij
(x)u
x
i
)
x
j
+
n
i=1
b
i
(x)u
x
i
+ c(x)u.
A regularidade dos coecientes vai variar de resultado para resultado. De uma maneira
geral, quanto mais regulares forem os coecientes e o dado f, mais regular ser a a soluo.
Antes de apresentar os resultados vamos fazer uma clculo formal. Suponha ento que
u : R
n
R uma funo regular que vai a zero no innito rapidamente. Suponha ainda
que
u = f, em R
n
com f L
2
(R
n
). Ento podemos integrar por partes e obter
_
R
n
f
2
=
_
R
n
(u)
2
dx =
_
R
n
i,j
u
x
i
x
i
u
x
j
x
j
=
i,j
_
R
n
u
x
i
x
i
u
x
j
x
j
dx =
i,j
_
R
n
u
x
i
x
i
(u
x
j
)
x
j
=
i,j
_
R
n
u
x
j
u
x
i
x
i
x
j
=
i,j
_
R
n
u
x
j
x
i
u
x
i
x
j
=
_
R
n
[D
2
u[
2
,
o que mostra que as derivadas de ordem 2 da funo u esto em L
2
(R
n
). Supondo agora
que, para todo i = 1, . . . , n, a funo f
x
i
existe e est em L
2
(R
n
), podemos usar o fato
de que (u
x
i
) = f
x
i
e podemos proceder como acima para concluir que as derivadas de
ordem 3 da funo u tambm esto em L
2
(R
n
).
De uma maneira grosseira, o que vale que uma soluo do problema Lu = f tem
duas derivadas a mais do que a funo f. Mais precisamente, temos o seguinte (cf. [4,
Teorema 2, Seo 6.3])
Teorema 5.14 (Regularidade interior). Seja k N 0 e suponha que a
ij
, b
i
, c
C
k+1
(), f W
k,2
() e u W
1,2
() uma soluo fraca de
Lu = f.
Ento u W
k+2,2
loc
() e, para cada
0
, existe uma constante C = C(k, ,
0
, a
ij
, b
i
, c) >
0 tal que
|u|
W
k+2,2
(
0
)
C
_
|f|
W
k,2
()
+|u|
L
2
()
_
.
Observe que a soluo u do resultdo pertence a W
1,2
(), de modo que no estamos
exigindo que u = 0, no sentido do trao, na fronteira de . Outro ponto que merece
destaque que, se os coeentes a
ij
, b
i
, c C
() e f C
() ento podemos usar o

resultado acima e o item (iii) do Teorema ?? para concluir que u C
().
Quando a fronteira de regular podemos obter um resultado global de regularidade
(cf. [4, Teorema 5, Seo 6.3]).
Teorema 5.15 (Regularidade global). Seja k N 0 e suponha que a
ij
, b
i
, c
C
k+1
(), f W
k,2
() e de classe C
k+2
. Suponha que u W
1,2
0
() soluo fraca de
_
_
_
Lu = f, em
u = 0, em .
Ento u W
k+2,2
() e existe uma constante C = C(k, , a
ij
, b
i
, c) > 0 tal que
|u|
W
k+2,2
()
C
_
|f|
W
k,2
()
+|u|
L
2
()
_
.
Vamos enunciar outros dois importante resultados de regularidade elptica.
n
um domnio e u W
1,2
0
() soluo fraca de
_
_
_
u = f, em
u = 0, em .
Ento
(i) (Agmon, Douglis, Nirenberg) se de classe C
2
com limitada e f L
p
(), 1 0 tal que
|u|
W
2,p
()
C|f|
L
p
()
.
( ii) (Schauder) se limitado e de classe C
2,
, f C
0,
() e u C
0,
(), ento
u C
2,
() e existe uma constante C = C(, ) > 0 tal que
|u|
C
2,
()
C|f|
C
0,
()
.
A prova do item (i) pode ser encontrada em [2]. O item (ii) est provado em (???).
Vale observar que o resultado vale para operadores de 2a ordem mais gerais.
No que segue vamos mostrar como os teoremas acima podem ser usados para regu-
larizar solues fracas de problemas elpticos no lineares. Mais especicamente Vamos
considerar o seguinte problema
_
_
_
u = g(x, u) ,
u = 0 ,
(5.10)
onde R
n
2,
e g : R R uma funo contnua.
Vamos tambm supor que n 3.
Uma soluo fraca de (5.10) uma funo u H
1
0
() tal que
_
u v =
_
g(x, u)v, v H
1
0
().
Observe que, em geral, o lado direito da expresso acima pode no ser nito. Desse modo,
para que a denio faa sentido, precisamos impor uma condio de crescimento sobre
g, a saber
[g(x, s)[ c
1
+ c
2
[s[
r
, (x, s) R, (5.11)
com c
1
, c
2
R e 1 r 2
1. Com esta restrio, dados u, v H

1
0
(), temos
g(x, u)v
c
_
[v[ +c
2
_
[u[
r
[v[ = c
1
|v|
1
+ c
2
_
[u[
r
[v[
Aplicando a desigualdade de Hlder com expoentes s = 2
/r, s
= 2
/(2
r) obtemos
_
[u[
r
[v[
__
[u[
2
_
r/2
__
[v[
2
/(2
r)
_
(2
r)/2
.
Uma vez que r 2
1 temos
s
=
2
r

2
(2
1)
= 2
e portanto segue das imerses de Sobolev que
g(x, u)v
c
1
|v|
1
+c
2
|u|
r
2
|u|
s
< .
Assim, sob a condio de crescimento (5.11) podemos denir o conceito de soluo fraca
em H
1
0
() para o problema.
Vamos provar o seguinte resultado de regularidade.
n
2,
e g : R R
Hlder contnua e satisfaz (5.11) com 1 r < 2
1. Se u H
1
0
() uma soluo
fraca de (5.10) ento u uma soluo clssica.
Demonstrao. Vamos usar um argumento conhecido como bootstrap". Observe ini-
cialmente que,
u W
1,2
() L
2
().
Desse modo, usando (5.11), obtemos
[g(x, u(x))[
2
r
(c
1
+ c
2
[u[
r
)
2
/r
c
3
+ c
4
[u[
2
.
Como limitado e u L
2
(), a expresso acima implica que

g(x, u(x)) L
p
1
(), com p
1
=
2
r
.
Aplicando o item (i) do Teorema 5.16 conclumos que u W
2,p
1
(). Temos ento dois
casos a considerar:
Caso 1: 2p
1
> n.
Nesse caso, podemos usar o item (iii) do Teorema 4.31 para concluir que u C
1,
().
Em particular, u C
0,
().
Observe agora que, como g Hlder contnua,
[g(x, u(x)) g(y, u(y))[ c[(x y, u(x) u(y))[
1
c ([x y[ +[u(x) u(y)[)
1
c
_
[x y[ +[x y[

_
1
c
5
_
[x y[
1
+[x y[

1
_
.
Logo, para todo x ,= y, vale
[g(x, u(x)) g(y, u(y))[
[x y[

1
c
5
[x y[
1

1
+ 1 c
6
,
visto que limitado e
1

1
> 0. A expresso acima implica que g(x, u(x)) C
0,
()
com =
1
. Segue ento do item (ii) do Teorema 5.16 que u C
2,
(), sendo portanto
soluo clssica do problema.
Vamos agora analizar o outro caso.
Caso 2: 2p
1
n.
Nesse caso, usando o item (i) do Teorema 4.31, obtemos
u W
2,p
1
() L
q
1
(), q
1
=
np
1
n 2p
1
.
Assim, g(x, u(x)) L
p
2
(), com p
2
=
q
1
r
, e portanto u W
2,p
2
(). Se 2p
2
> n, ento
podemos argumentar como no caso 1 e provar que u C
2
(). Caso contrrio, podemos
iterar esse processo k vezes para obter nmeros p
m
, q
m
, com m = 1, . . . , k, tais que
p
1
=
2
r
, p
m+1
=
q
m
r
e q
m
=
np
m
n 2p
m
,
e, alm disso, u W
2,p
m
() para todo m = 1, 2, ..., k.
Armamos que, para algum k N grande, vale 2p
k
> n. Se isso for verdade ento
u W
2,p
k
() C
1,
(),
o que implica (como antes) que u C
2
().
Para vericar a armao, note que, com r < 2
1,
p
2
p
1
=
q
1
2
=
n
nr 2 2
>
n
n(2
1) 2 2
= 1,
e portanto
p
2
p
1
= 1 + ,
para algum > 0. Agora,
p
3
p
2
=
q
2
q
1
=
p
2
p
1
_
n 2p
1
n 2p
2
_
>
p
2
p
1
= 1 + ,
donde se conclui que p
3
> p
2
(1 + ). Mas p
2
= (1 + )p
1
e portanto p
3
> (1 + )
2
p
1
.
Iterando esse processo conclumos que
p
k
> (1 + )
k1
p
1
.
Logo, p
k
> 2n para algum k sucientemente grande. Isso conclui a prova do teorema.
Observe que o conceito de soluo fraco foi denido para r 2
1. No entando, as
contas feitas acima funcionam quando r < 2
1. O caso crtico r = 2
1 pode ser
tratado atravs do seguinte resultado de regularidade.
Teorema 5.18 (Brezis-Kato). Seja R
n
um domnio e suponha que u H
1
0
() uma
soluo fraca de
_
_
_
u = a(x)(1 +[u[) ,
u = 0 , ,
com a L
n/2
(). Ento u L
q
() para todo q 1.
Vamos usar o resultado acima para mostrar que o Teorema 5.17 permancece vlido
quando a funo g tem crescimento crtico, isto ,
[g(x, s)[ c
1
+ c
2
[s[
2
1
, (x, s) R,
com c
1
, c
2
R. De fato, observe inicialmente que se u H
1
0
() soluo fraca de (5.10)
5.4 Exerccios 131
ento u soluo fraca de
u = a(x)(1 +[u[), em , u = 0, em ,
com
a(x) =
g(x, u)
1 +[u[
.
Se pudermos aplicar o Teorema de Brezis-Kato ento podemos usar as imerses W
2,q
()
W
1,q
() C
0,1
n
q
() para q > n e concluir que u Hlder contnua. Usando agora o
fato de que g tambm Hlder contnua, podemos proceder como na parte nal do Caso
1 acima e concluir que u soluo clssica.
Resta somente vericar que a L
n
2
(). Para tanto, observe que
[a(x)[ =
[g(x, u)[
1 +[u[

c
1
+ c
2
[u[
2
1
1 +[u[
c
1
+ c
2
[u[
2
2
.
Logo,
_
[a(x)[
n
2
c
1
[[ + c
2
_
[u[
(2
2)n/2
= c
1
[[ + c
2
_
[u[
2
< ,
visto que limitado e u L
2
().
5.4 Exerccios
n
um aberto
1
.
5.1. Resolva os exerccios 1 a 3, e 5 a 9 da Seo 6.6 do livro do Evans [4].
5.2. Complete os detalhes da prova do Teorema 5.7.
5.4. Mostre que as autofunes do problema (PA) so ortogonais tambm em L
2
(). Em
seguinda, considerando k N 0 e V
k
H
1
0
() o subespao gerado por
1
, . . . ,
k
,
mostre as seguintes desigualdades variacionais
_
[u[
2

k
_
u
2
, u V
k
,
e
_
[u[
2

k+1
_
u
2
, u V
k
,
Em particular, se tomarmos k = 0, a desigualdade acima a desigualdade de Poincar.
5.4 Exerccios 132
5.5. Sejam
1

2
domnios limitados e
1
(
i
) o primeiro autovalor do problema (PA)
com =
i
. Mostre que
1
(
2
)
1
(
1
).
5.6. Faa o estudo do problema de autovalor
_
Lu = u, em ,
u = 0, em ,
onde R
n
um domnio limitado e L um operador simtrico e uniformemente elptico
da forma
Lu =
n
i,j=1
(a
ij
(x)u
x
i
)
x
j
+ c(x)u,
com os coecientes limitados e c 0 em .
5.7. Faa o estudo do problema de autovalor com peso
_
u = m(x)u, em ,
u = 0, em ,
onde R
n
um domnio limitado e m L
r
() para algum r > n/2. Em seguida,
obtenha desigualdades anlogas s do Exerccio 5.4 nesse novo contexto.
Referncias Bibliogrcas
[1] R. Adams, Sobolev Spaces, Academic Press, 1975.
[2] S. Agmon S., A. Douglis A., L. Nirenberg, Estimatives near the boundary for solutions
of elliptic P. D. E. satisfying a general boundary value condition I, Comm. Pure Appl.
Math. 12 (1959), pp. 623-727.
[3] H. Brzis, Analise Functionelle, Masson, Paris, 1983.
[4] L. C. Evans, Partial Dierential Equations, American Math. Soc. (1998).
[5] D. G. de Figueiredo, Equaes Elpticas No-Lineares, IMPA 11o. CBM (1977)
[6] D. Gilbarg, N. Trudinger, Elliptic partial dierential equations of second order
Springer-Verlag, Berlin, 1977 (2a edio 1984).
[7] Q. Han e F. Lin, Elliptic Partial Dierential Equations, American Math. Soc.(1997)
[8] O.D. Kellogg, On the derivatives of harmonic functions on the boundary, Trans.
Amer. Math. Soc. 33 (1931), no. 2, 486510.
[9] E. Lieb e M. Loss, Analysis, 1a ed. Providence, Rhode Island : American Mathema-
tical Society, 1997. (Graduate Studies in Mathematics, 14)
[10] N.G. Meyers e J. Serrin, H = W, Proc. Nat. Acad. Sci. U.S.A. 51 (1964), 10551056.
[11] A. Ponce, Mtodos clssicos em Teoria do Potencial, Publicaes Matemticas,
IMPA, Rio de Janeiro, 2006.
[12] M. Protter e H. Weinberger, Maximum principles in dierential equations, Prentice-
Hall (1967).
ndice Remissivo
Alternativa de Fredholm, 114
autovalor, 117
bootstrap, 128
compactamente contido, 2
condio da esfera exterior, 28
contrao, 51
convoluo, 12
derivada fraca, 70
desigualdade de interpolao, 91
desigualdade de Minkowksi, 75
desigualdade de Morey, 93
desigualdade de Poincar, 86
desigualdade de Sobolev, 82
espao W
k,p
(), 73
espao de Hlder, 26
espao de Sobolev W
k,p
0
, 86
espectro, 117
espectro do Laplaciano, 118
exemplo de Zaremba, 27
expoente crtico de Sobolev, 82
frmula de Green, 31
frmula de Poisson na bola, 33
funo harmnica, 8
funo regularizante, 11
imerso contnua, 53
Lema de Hopf, 43
operador compacto, 55
operador de Extenso, 89
operador elptico, 36
operador limitado, 50
operador Trao, 88
operador uniformemente elptico, 36
partio da unidade, 79
Potencial Newtoniano, 22
Princpio de comparao, 43
Princpio do Mximo Forte, 45
Princpio do Mximo Fraco, 40
problema de Poisson, 20
propriedade da mdia, 9
resolvente, 117
soluo fundamental, 22
suporte, 12
Teorema de Extenso, 89
Teorema de Lax-Milgram, 110
Teorema de Schauder, 60
Teorema do Ponto Fixo de Banach, 51
Teorema do Trao, 88
unicidade de soluo, 42

Livro de EDP

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

Livro de EDP

Enviado por

Direitos autorais:

Formatos disponíveis

Universidade de Braslia

Instituto de Cincias Exatas

u uma funo denida em que toma valores em R. Quando u

u(x) : um multi-ndice de ordem k.

u existe e contnua para todo

u limitada e uniformemente contnua

(x) := u(x) (x).

um aberto limitado cuja fronteira uma hiperfcie de classe C

(s) = 0 para todo s (0, r), isto , constante em

(R) tal que

com f, isto , a funo f

. Observe que, pela denio de

, temos que x y sempre que x

(x), e portanto as integrais acima fazem sentido.

). Essa concluso explica claramente porque a funo

xado e observe que, usando a denio de

(t) = 0, t (a, b).

(r) ,= 0 podemos reescrever a equao acima na forma

uma famlia nita de pontos, ento a funo

podemos usar o Teorema da Divergncia como no Exerccio

Notas de EDP2 verso 1.2

= 0. Com relao ao termo E

, usando uma vez mais o Exerccio

= f(x). Lembrando que C

= f(x). Como j havamos provado que A

tende a zero quando tende

u] < para todo multi-ndice [[ k.

no um dado do problema (P). Para

se 0 < [x[ < 1/2,

(). Nosso primeiro resultado uma verso do item (i) do Teorema

u. Como L uniformemente elptico, a matriz dos coeciente A = A( x)

> 0, podemos usar a primeira

u. Uma vez que a desigualdade contr-

[u[ e consideremos nova-

[u[. Como a desigualdade reversa trivialmente

B que internamente tangente B no ponto x

) > 0 tal que o Teorema 3.11 aplicvel se d d

(). Alm disso, como para todo x vale 0 < x

e usando (3.3), obtemos ento

em C(). Como a convergncia uniforme devemos ter

de modo que, tomando o supremo, obtemos

) segue dos diagramas abaixo

) soluo de (P) no sentido clssico ento, multiplicando a

f(x)(x) dx, para toda C

u(x) v(x) dx;

f(x)(x) dx, para toda H. (4.3)

u, estamos nos referindo -sima

(no sentido fraco).

(x)[ q.t.p. em (1/4, 7/4) e [u

= 1. Desse modo, podemos usar a desigualdade de Hlder para

em qualquer aberto que no contm a origem, conclumos facilmente que

:= x : dist (x, ) > .

. Utilizando o mesmo argumento apresentado naquela ocasio

(x ) ser uma funes teste. Desse

O tal que supp A

(K), sendo portanto C

em K. Como o compacto arbitrrio conclumos que

(). Alm disso, lembrando que

com respeito norma | |

(1, 1). Com relao ao ltimo teorema, consideramos := (1, 0) (0, 1) e

acima conhecido como expoente crtico de Sobolev.

com > 1 a ser

= p/(p 1), obtemos

() uma sequncia de Cauchy em L