You are on page 1of 87

Universidade de Braslia

Instituto de Ciencias Exatas


Departamento de Matematica

Existencia de solucoes para problemas


quasilineares com dados em espacos de medida

por

Welber Faustino da Silva

Orientador: Lus Henrique de Miranda

Braslia
2016
Ficha catalogrfica elaborada automaticamente,
com os dados fornecidos pelo(a) autor(a)

Silva, Welber Faustino da


SSI586 Existncia de solues para problemas
e quasilineares com dados em espaos de medida / Welber
Faustino da Silva; orientador Lus Henrique de
Miranda. -- Braslia, 2016.
86 p.

Tese (Doutorado - Mestrado em Matemtica) --


Universidade de Braslia, 2016.

1. p-Laplaciano com dados em espaos de medida. 2.


p-Laplaciano. 3. equaes diferenciais elpticas. I.
Miranda, Lus Henrique de, orient. II. Ttulo.
A Rute Silva, em memoria.
Dedico esse trabalho, a
Dona Raquel Silva,
Seu Jose Venceslau da Silva,
e a minha amada,
Luciolle Ferreira de Araujo,
Agradecimentos

A Deus pelo dom da vida. Este dom que muitos hoje desprezam, mas que esta presente em
cada ser vivente, independente de que acredite ou nao.
Ao professor e orientador Lus Henrique de Miranda, por toda sua dedicacao e paciencia
para minhas interminaveis duvidas. O agradeco por se dispor a me ajudar principalmente nos
momentos mais difceis deste presente trabalho.
Aos professores Jamil Gomes de Abreu Junior e Jaqueline Godoy Mesquita por terem acei-
tado participarem da banca examinadora.
A minha noiva e amada Luciolle Ferreira da Araujo, por seu apoio e compreensao. Obrigado
por estar ao meu lado me incentivando e me fortalecendo com suas palavras e carinho.
A minha mae Raquel Silva, grande guerreira, trabalhadora, que nao mediu esforcos para eu
estar aqui. Sempre me incentivou a estudar e me corrigia nos momentos certos.
Ao meu padrasto Jose Venceslau da Silva, por seu amor como de um verdadeiro pai.
Aos meus irmaos Karen Priscila Silva, David Faustino da Silva e Wesley Faustino da Silva,
pelo incentivo a continuar estudando.
Aos amigos que fiz no Departamento de Matematica da UnB durante esses dois anos. Prin-
cipalmente aqueles que estiveram ao meu lado nos momentos mais difceis.
A todos os professores do Departamento de Matematica da UnB que contriburam para
minha formacao.
Aos funcionarios do Departamento de Matematica da UnB, em especial, aos porteiros da
sala de estudo do mestrado. Por vezes, tiveram que me aturarnas minhas madrugadas de
estudo.
Ao CNPq pelo apoio financeiro durante esses dois anos de mestrado.

i
Resumo

Neste trabalho, estudaremos a existencia de solucoes fracas para os problemas:



u = f em
p
u = 0 em ,

e
u + g(x, u) = f em
p
u = 0 em ,
onde RN (N 2) e um aberto, limitado, conexo e f M (). A funcao g satisfaz, a
priori, as seguintes hipoteses:

g(x, s) e mensuravel em x , s R e contnua em s R, para q.t.p. x ;

g(x, s)s 0 s R, q.t.p. em x .

Palavras-chave: p-Laplaciano com dados em espacos de medida, p-Laplaciano, equacoes


diferenciais elpticas.

ii
Abstract

In this work, we will study the existence of weak solutions for the problems:

u = f in
p
u = 0 on ,

and
u + g(x, u) = f in
p
u = 0 on ,
where RN (N 2) is open, bounded, connected and f M (). The function g satisfies,
a priori, the following hypotheses:

g(x, s) is measurable in x , forall s R and continuous in s R, a.e. x ;

g(x, s)s 0 s R, a.e. in x .

Keywords: p-Laplacian involving measure data, p-Laplacian, elliptic differential equati-


ons.

iii
Notacoes

Neste trabalho, usaremos as seguintes notacoes:

p
p0 = , conjugado de p.
p1

Np
p = , expoente crtico de Sobolev.
N p

un u, convergencia forte (em norma).

un * u, convergencia fraca.

,, imersao contnua de um espaco em outro.

,,, imersao compacta de um espaco em outro.


 u
u u 
u = , , , , gradiente de u.
x1 x2 xN

p u = div(|u|p2 u), p-Laplaciano de u.

suppf , suporte da funcao f .

R+ , conjunto dos numeros reais nao negativos.

M (), conjunto das medidas de Radon finitas sobre .

C(), conjunto das funcoes contnuas.

Cc (), f C() tal que suppf e compacto.

iv
D(), espaco das funcoes teste.

D0 (), espaco das distribuicoes em .

hZ i1/p
kukLp = |u|p , em relacao a medida de Lebesgue.

n o
Lp () = u : R mensuravel; ||u||Lp < .
n o
Lploc () = u : R mensuravel; u|K Lp (), K compacto .
n o
u
W 1,p () = u : R : u, xi
L p
(), i = 1, ..., N .

|| ||W 1,p
W01,p () = Cc () .

hZ i1/p
kukLp = |u|p d , em relacao a uma medida positiva.

Lp (X, ), em relacao a uma medida positiva.

v
Sumario

Introducao 1

1 Preliminares 4
1.1 Medidas de Radon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.1 O Dual de C0 (RN ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.2 Densidade Vaga de L1 (RN ) em M (RN ) . . . . . . . . . . . . . . . . . . . 13
1.1.3 Distribuicoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.2 Espacos de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.3 Grau de Brouwer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.4 Teoremas de Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

0
2 Existencia de Solucao para dados em W 1,p () 29
2.1 Operadores Monotonos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.2 Existencia de Solucao para o p-Laplaciano . . . . . . . . . . . . . . . . . . . . . 35

3 Existencia de Solucao para dados em M () 45


3.1 Existencia de Solucao para o p-Laplaciano . . . . . . . . . . . . . . . . . . . . . 45
3.2 Continuidade para Regularidades Intermediarias . . . . . . . . . . . . . . . . . . 58
3.3 Efeitos das Perturbacoes Semilineares . . . . . . . . . . . . . . . . . . . . . . . . 65

Referencias Bibliograficas 75

vi
Introducao

Neste trabalho, estudaremos existencia de solucoes fracas para duas classes de problemas en-
volvendo o operador p-Laplaciano. O primeiro problema a tratarmos sera:

u = f em
p
(P )
u = 0 sobre ,

onde RN (N 2) e um aberto, limitado, conexo e f M (). O conjunto M () denota o


conjunto das medidas de Radon finitas sobre M ().
No trabalho de Boccardo & Gallouet [2], foi investigada a existencia de solucoes fracas
para o problema (P ) para uma classe de operadores mais gerais. Eles consideraram o seguinte
operador:
Au = div(a(x, u)),

onde A e um operador monotono e a satisfazendo certas hipoteses. Observamos que o operador


p-Laplaciano e um caso particular de A.
Ja o segundo problema e o caso semilinear de (P), ou seja,

u + g(x, u) = f em
0 p
(P )
u = 0 sobre ,
onde a funcao g satisfaz as seguintes hipoteses:
(1) g(x, s) e mensuravel em x , s R e contnua em s R, para q.t.p. x ;
(2) g(x, s)s 0, s R, para q.t.p. x .
Para o problema (P 0 ), queremos encontrar solucoes fracas quando f L1 () ou f M ().
Como em (P ), Boccardo & Gallouet tambem estudaram o problema (P 0 ), considerando o
operador A = div(a(x, u)). Foi observado que para obtermos existencia de solucoes fracas
quando f L1 (), precisamos adicionar a seguinte hipotese sobre g:

(3) sup{|g(x, s)|, |s| t} L1loc (), t R+ .

1
Quando f M (), e necessaria uma hipotese mais forte, a saber:

existem b1 , b2 , com b1 L1loc (), b2 L


loc (),

(4) < N (p 1)/(N p), tal que |g(x, s)| b1 (x) + b2 (x)|s|
q.t.p em x, para todo numero real s.

As dificuldades de se encontrar solucoes fracas para os problema (P ) e (P 0 ) surgem ja


quando consideramos f L1 (), pois o espaco L1 () nao e reflexivo e, assim, argumentos de
convergencia na topologia fraca de L1 () geralmente falham. Observamos tambem que, em
geral, para o caso f L1 (), a obtencao de estimativas a priori e mais complicada.
Por exemplo, consideremos 1 < p < N e seja u uma solucao distribucional de (P ), isto e,
Z Z
(5) p2
|u| u = f , Cc ().

0 0
Se f Lm (), com m p0 , temos Lm () , Lp () , W 1,p () e, assim, pode-se mostrar
que u W01,p () (veja Teorema 2.2.5, pag. 38), e a obtencao de estimativas a priori nao e um
0
problema, ja que |u|p1 Lp (). Assim, a classe das funcoes teste pode ser estendida para
W01,p (). Logo, u e uma funcao teste valida e tomando-se u = em (5), pela desigualdade de
Holder, temos: Z
|u|p ||u||Lp ||f ||Lp0 .

Usando a desigualdade de Poincare e com algumas manipulacoes simples, obtemos:

p0 /p
||u||W 1,p C||f ||Lp0 .
0

No caso em que f L1 (), pode-se mostrar que u W01,q (), onde

N
1q< (p 1).
N 1

Assim,
h N 
|u|p1 Lr () com r 1, .
N 1
Logo, a classe das funcoes teste pode ser, na melhor das hipoteses, estendida ao espaco

0
Lr (), onde r0 > N.

N
Porem, N > N 1
(p 1) e entao u nao pode ser tomado como funcao teste, o que dificulta
substancialmente ate mesmo a obtencao de estimativas a priori mais basicas.

2
Seguindo Boccardo & Gallouet, consideramos como funcao teste uma funcao da forma (u),
onde : R R sera uma funcao localmente Lipschitz escolhida com certo cuidado. Neste
caso, e possvel tomar = (u) como funcao teste e o desafio e recuperar alguma estimativa
a priori, pois sera necessario controlar o gradiente (u).
Para estudarmos os problemas (P ) e (P 0 ), usaremos como ferramenta basica um resultado
do trabalho de Leray-Lions [13]. Ressaltamos que o metodo usado em [13] foi influenciado por
trabalhos como o de Browder [5], [6]; Minty [15], [16], [17], e tambem Visik [19] e [20]. A tecnica
usada nestes trabalhos, em geral baseia-se na combinacao de problemas aproximados, como o
Metodo de Galerkin, e argumentos que exploram a monotonicidade do operador diferencial
em questao.
Observamos que nos problemas (P ) e (P 0 ) consideraremos p (2 1/N, N ]. A limitacao
inferior para p e imposta a medida que estamos preocupados com o limite inferior para que
u W01,1 (). Notamos tambem que, quando p > N , sabe-se que ambos os problemas tem uma
0
unica solucao fraca em W01,p () quando inclumos M () em W 1,p () (ver [13]).
O presente texto esta organizado da seguinte maneira. No Captulo 1, abordamos os as-
suntos preliminares. Este captulo foi dividido em 2 secoes. Na primeira secao, fazemos uma
introducao as Medidas de Radon. Estamos interessados em obter suas principais propriedades
e mostraremos que o dual de C0 (RN ) pode ser representadocomo o espaco das medidas de
Radon com sinal M (RN ) ,afim, de definirmos a topologia fraca sobre M (RN ). Posteriormente,
discutiremos como as medidas de Radon se relacionam com funcoes em L1 ou distribuicoes. A
terceira secao e dedicada a apresentar os teoremas de convergencia mais importantes da teoria
da medida e integracao.
No Captulo 2, investigaremos versoes preliminares de (P ) e (P 0 ), quando o termo forcante
pertence a espacos mais regulares do que os das medidas de Radon. Este captulo e inspirado
nos trabalhos de Ciarlet [7] e de Leray-Lions [13].
O Captulo 3 e o mais importante desta dissertacao. Nele, combinaremos as tecnicas dis-
corridas ao longo do texto com a obtencao de estimativas a priori delicadas para mostrar a
existencia de solucoes fracas para (P ) e (P 0 ). Este captulo e inspirado no trabalho de Boc-
cardo & Gallouet [2].

3
Captulo 1

Preliminares

Este captulo tem como objetivo dar o suporte matematico necessario para os Captulos 2
e 3. Na Secao 1.1 faremos uma introducao as Medidas de Radon em RN e apresentaremos os
principais resultados que serao utilizados adiante. O primeiro objetivo e mostrar que o espaco
das medidas de Radon M (RN ) e isometricamente isomorfo ao espaco dual do conjunto das
funcoes contnuas que se anulam no infinito, e assim definirmos a nocao de topologia fraca em
M (RN ). Posteriormente, vamos mostrar que L1 (RN ) e denso em M (RN ) nesta topologia.
Na Secao 1.2, apresentamos os principais teoremas de convergencia quando consideramos
um espaco de medida positiva.
Para o que segue, admitimos que o leitor tenha conhecimentos basicos sobre Teoria da
Medida e Integracao, Espacos Lp e os Espacos de Sobolev.

1.1 Medidas de Radon


Nesta secao, definiremos as medidas de Radon sobre o espaco RN . Estudaremos suas
principais propriedades, sua representacao com o dual do conjunto das funcoes contnuas que se
anulam no infinito, a densidade de L1 no espaco das medidas de Radon sobre RN relativamente
a topologia fraca desse espaco e, ao final, trataremos da sua relacao com a convergencia em
distribuicao. Observamos que a maior parte desta secao e baseada em [9].
Seja f : RN R. Definimos o suporte de f como sendo o fecho do conjunto onde f nao
se anula, ou seja,
supp(f ) = {x : f (x) 6= 0}.

4
Alem disso, definimos os seguintes conjuntos:

C(RN ) = {f : RN R; f e contnua}

e
Cc (RN ) = {f C(RN ) : supp(f ) e compacto}.

Em Cc (RN ), definimos a seguinte norma:

||f ||u = sup {|f (x)| : x RN },

e assim, Cc (RN ) e um espaco vetorial normado.


Dada f : RN R+ , com f contnua, temos que:
Z
(f ) = f d 0
RN

onde e a medida de Lebesgue sobre RN . Isso motiva a seguinte definicao.

Definicao 1.1.1. Dizemos que um funcional linear I definido em Cc (RN ) e positivo se

I(f ) 0 para toda f 0.

A definicao de funcional linear positivo nos da uma nocao de continuidade. Esse fato e
tratado na seguinte proposicao.

Proposicao 1.1.2. Se I e um funcional linear positivo em Cc (RN ), entao para cada compacto
K RN existe uma constante CK tal que:

|I(f )| CK ||f ||u , para toda f Cc (RN ) tal que supp(f ) K.

Demonstracao. Ver [9], pag. 212, Proposicao 7.1.

Lembramos que uma medida de Borel sobre RN e uma medida definida na -algebra BRN ,
onde BRN denota o conjuntos dos borelianos de RN .
Dada uma medida de Borel sobre RN , se (K) < para todo compacto K RN , entao:

Cc (RN ) L1 (RN ).

De fato, seja f Cc (RN ), entao


Z Z
f d = f d ||f ||u (K) < .
RN K

5
Logo, f L1 (RN ). Alem disso, note que a aplicacao
Z
f 7 f d
RN

e um funcional linear positivo agindo sobre Cc (RN ).


Mostraremos adiante, que todo funcional positivo definido em Cc (RN ) pode ser representado
dessa forma. Alem disso, sob certas hipoteses de regularidade na medida podemos garantir
a unicidade da medida.
A seguir, iremos definir a medida com a qual poderemos representar de forma unica todos
os funcionais lineares positivos definidos em Cc (RN ) .

Definicao 1.1.3. Uma medida de Radon sobre RN e uma medida positiva de Borel que
satisfaz:
(i) (K) < , para todo K RN , compacto;
(ii) Dado V RN aberto, entao

(V ) = sup {(K) : K V e K compacto}.

(iii) Dado A BRN , entao

(A) = inf {(V ) : A V e V aberto}.

Considerando a -algebra gerada pelos boreleanos de RN no aberto RN , definimos de


maneira analoga o conceito de medida de Radon sobre .
Dois exemplos basicos de medidas de Radon sao dados abaixo.

Exemplo 1.1.4. A medida de Lebesgue e uma medida de Radon.

Exemplo 1.1.5. A medida definida por:



1, se y E
y (E) =
0, caso contrario

e outro exemplo de medida de Radon, chamada de Delta Dirac

O proximo resultado nos diz que todo funcional linear positivo em Cc (RN ) pode ser repre-
sentado como uma integral com respeito a uma unica medida de Radon.

6
Teorema 1.1.6. (Representacao de Riez) Seja I : Cc (RN ) R um funcional linear positivo.
Entao existe uma unica medida de Radon sobre RN tal que:
Z
I(f ) = f d, f Cc (RN ).
RN

Alem disso, temos que satisfaz:

(O) = sup {I(f ) : f Cc (RN ), 0 f 1 e supp(f ) O} para todo aberto O RN (1.1)

e
(K) = sup {I(f ) : f Cc (RN ) e f XK } para todo compacto K RN . (1.2)

Demonstracao. Ver [9], pag. 212, Teorema 7.2.

O teorema a seguir sera essencial para o resultado principal da proxima subsecao. Intuitiva-
mente ele nos diz que toda funcao mensuravel cujo o conjuntos dos pontos {x RN : f (x) 6= 0}
tem medida finita e quase contnua para todo conjunto compacto.

Teorema 1.1.7 (Lusin). Suponha que seja uma medida de Radon sobre RN e seja f : RN R
uma funcao mensuravel tal que ({x RN : f (x) 6= 0}) < . Entao, para todo > 0, existe
uma Cc (RN ) tal que:
({x RN : (x) 6= f (x)}) < .

Alem disso, se f e limitada, entao podemos tomar tal que:

||||u ||f ||u .

Demonstracao. Ver [9], pag. 217, Teorema 7.10.

1.1.1 O Dual de C0 (RN )

O objetivo desta subsecao e obter uma descricao completa do dual de C0 (RN ). Para isso,
primeiramente definiremos o espaco C0 (RN ) e identificaremos os funcionais lineares contnuos e
positivos sobre C0 (RN ) com a medidas finitas de Radon sobre RN . Posteriormente, definiremos
o espaco das medidas de Radon com sinal sobre RN para provarmos o resultado principal desta
subsecao.

7
Definicao 1.1.8. Seja f C(RN ). Se para todo > 0, o conjunto:

{x RN : |f (x)| }

for compacto, entao dizemos que f se anula no infinito. Com isso, definimos o seguinte
conjunto:
C0 (RN ) = {f C(RN ) : f se anula no infinito}.

Alem disso, com a norma

||f ||u := sup{|f (x)| : x RN }

temos que C0 (RN ) e um espaco de Banach.


Note que Cc (RN ) C0 (RN ), e ainda, toda f C0 (RN ) e limitada. Com isso, temos o
seguinte resultado.

Proposicao 1.1.9. C0 (RN ) e o fecho de Cc (RN ) na metrica uniforme.

Demonstracao. Ver [9], pag. 132, Proposicao 4.35.

Com a proposicao acima, temos que dada uma medida de Radon, entao o funcional
Z
I(f ) = f d,

onde f Cc (RN ), se estendera continuamente a C0 (RN ) se, e somente se, I for limitado com
respeito a norma uniforme.

Proposicao 1.1.10. O funcional I e contnuo se, e somente se, (RN ) < .

Demonstracao. Como caso particular de (1.1), temos a seguinte igualdade


nZ o
N
(R ) = sup f d : f Cc (RN ), onde 0 f 1

R R
e, ainda, do fato de | f d| |f |d, obtemos:
n Z o
N
(R ) sup | f d| : ||f ||u = 1 e ||I|| = (RN ).

Portanto, I sera contnuo se, e somente se, (RN ) < .

8
Com isso, identificamos os funcionais lineares contnuos e positivos sobre C0 (RN ) com as
medidas finitas de Radon sobre RN .
O proximo resultado nos diz que os funcionais lineares sobre C0 (RN ) tem uma certa decom-
posicao de Jordan.

Lema 1.1.11. Seja I C0 (RN )0 . Entao existem funcionais lineares positivos I + , I C0 (RN )0 ,
tais que:
I = I + I .

Demonstracao. Para demonstrarmos este lema, precisamos definir primeiro I + . Para o que
segue, denotaremos por C0 (RN , [0, )) o seguinte conjunto:

C0 (RN , [0, )) = {f : RN [0, ) : f C0 (RN ).

Assim, se f C0 (RN , [0, )), entao definimos:

I + (f ) = sup{I(g) : g C0 (RN , R) e 0 g f }.

Note que I + (f ) 0. Para ver isso, basta fazer g = 0. Alem disso, pela desigualdade:

|I(g)| ||I|||g||u ||I|||f ||u ,

sempre que 0 g f , obtemos:

0 I + (f ) ||I|||f ||u .

Agora, vamos verificar que I + e a restricao a C0 (RN , [0, )) de um funcional linear. Observe
que I + (cf ) = cI + (f ), para todo c 0.
Sejam g1 , g2 C0 (RN ) e f1 , f2 C0 (RN , [0, )) arbitrarias tais que 0 g1 f1 e 0
g2 f2 . Somando termo a termo as desigualdades, obtemos 0 g1 + g2 f1 + f2 , e portanto,
I + (f1 + f2 ) I(g1 ) + I(g2 ). Logo,

I + (f1 + f2 ) I + (f1 ) + I + (f2 ).

Por outro lado, supondo que 0 g f1 + f2 e definindo g1 = min(g, f1 ) e g2 = g g1 ,


obtemos as inequacoes 0 g1 f1 e 0 g2 f2 . Portanto, conclumos que g = g1 + g2 e
I(g) = I(g1 ) + I(g2 ) I + (f1 ) + I + (f2 ). Como g e arbitraria, segue que:

I + (f1 + f2 ) I + (f1 ) + I + (f2 ).

9
Logo, I + (f1 + f2 ) = I + (f1 ) + I + (f2 ), para f1 , f2 C0 (RN , [0, )).
Agora, considere f C0 (RN ). Entao, temos que as partes positiva e negativa f + , f de f
pertencem a C0 (RN , [0, )). Assim, e natural definirmos:

I + (f ) = I + (f + ) I + (f ).

Afirmacao 1.1.1. I + e linear.

De fato, sejam f, g C0 (RN ) e c R. Note que I + (cf ) = cI + (f ). Fazendo a decomposicao


das funcoes f, g e f + g, temos

(f + g)+ (f + g) = f + g = f + f + g + g .

Logo,
(f + g)+ + f + g = (f + g) + f + + g + .

Assim, calculando I + em cada uma das funcoes acima e reagrupando, obtemos:

I + [(f + g)+ ] I + [(f + g) ] = I + (f + ) I + (f ) + I + (g + ) I + (g ).

Logo,
I + (f + g) = I + (f ) + I + (g).

Afirmacao 1.1.2. I + e contnuo.

De fato, temos que:

|I + (f )| max {I + (f + ), I + (f )} ||I||max {||f + ||u , ||f ||u } = ||I|| ||f ||u .

Em particular, ||I + || ||I||.


Finalmente, definimos I = I I + . Entao I C0 (RN )0 , e pela definicao de I + vemos que
I + e I sao positivos. Portanto, segue o lema.

Pelos Teorema 1.1.6 e Lema 1.1.11, conclumos que para cada I C0 (RN )0 , existem duas
medidas de Radon 1 e 2 tais que:
Z
I(f ) = f d, onde = (1 2 ).

Para finalmente demonstrarmos o resultado principal desta subsecao abaixo, definiremos o


espaco das medidas de Radon com sinal.

10
Definicao 1.1.12. Dizemos que e uma medida de Radon com sinal, quando e uma
medida de Borel finita com sinal cujas variacoes positiva e negativa sao medidas de Radon.

Denotaremos o espaco das medidas de Radon finitas com sinal sobre RN por M (RN ).
Para M (RN ) com a variacao total || de , definimos:

|||| = ||(RN ).

Note que |||| e finita, pois e limitada.


De maneira analoga, definimos o espaco das medidas de Radon finitas com sinal sobre
por M ().
Com a definicao acima, temos o seguinte resultado.

Proposicao 1.1.13. M (RN ) e um espaco vetorial real e

7 |||| e uma norma sobre M (RN ).

Demonstracao. Ver [9], pag. 222, Proposicao 7.16.

O resultado a seguir, nos permite identificar C0 (RN )0 com o espaco M (RN ) e tal resultado
e de extrema importancia para se definir a topologia fraca em M (RN ).

Teorema 1.1.14 (Representacao de Riez). Dada uma medida M (RN ), consideremos o


funcional: Z
I (f ) = f d, onde f C0 (RN ).

A aplicacao 7 I e um isomorfismo isometrico de M (RN ) em C0 (RN )0 .

Demonstracao. Sabemos que todo funcional I C0 (RN )0 e da forma I (veja o comentario logo
apos o Lema 1.1.11). Com isso, ja temos que a aplicacao 7 I e sobrejetora.
Seja M (RN ), entao temos que (veja [9],Proposicao 3.13 item c, pag. 94)
Z Z
f d |f |d|| ||f ||u ||||,

e assim I C0 (RN )0 com norma ||I || ||||.


d
Alem disso, definindo a derivada de Radon-Nikodym h = d||
, segue que |h| = 1 (veja [9],
Proposicao 3.13, item b, pag.94). Entao, pelo Teorema de Lusin aplicado a medida ||, para
todo > 0, existira uma funcao f Cc (RN ) satisfazendo:

||f ||u = 1 e f = h exceto em um conjunto E com ||(E) < .

11
Assim, utilizando h L1 () (pois (RN ) < ) e a Regra da Cadeia, temos:
Z Z Z Z Z
2
|||| = |h| d|| = hd = hd + f d d|| + ||I || < + ||I ||.
E Ec E

Como e arbitrario, temos que |||| ||I ||. Portanto, a aplicacao e uma isometria sobrejetora.

0
Com a identificacao do espaco M (RN ) com o espaco dual C0 (RN ) vamos definir uma topo-
logia nesse espaco que e induzida por essa identificacao.

Definicao 1.1.15. A topologia fraca em M (RN ) = C0 (RN )0 e definida por:


Z Z
f d f d,

para toda f C0 (RN ). Chamamos tal topologia de topologia vaga.

Vale observar que de maneira inteiramente analoga ao Teorema 1.1.14, pode-se mostrar que,
dado RN , um aberto, temos:
M ()
= C0 ()0 ,

via o mesmo isomorfismo isometrico. Isto motiva a seguinte definicao.

Definicao 1.1.16 (Convergencia Vaga em M ()). A topologia fraca em M () = C0 ()0 e


definida por Z Z
f d f d,

para toda f C0 ().

Tambem observamos que se fn * f em Lr () e r > 1, entao fn f vagamente em M ().


De fato, basta notar que
0
C0 () , Lr ().

Um bom motivo para usarmos a topologia vaga e porque argumentos de convergencia fraca
para Lp () geralmente falham quando p = 1, pois L1 () nao e o dual de L (), mas podemos
obter bons resultados usando a topologia vaga quando identificamos L1 () como um subespaco
de M ().
Para fazermos tal identificacao, seja RN . Dada v L1 (), (aqui consideramos a
medida de Lebesgue) associamos a seguinte aplicacao
Z
Tv () = v.

12
Note que Tv e uma medida de Radon, e alem disso,
Z
||Tv ||M () = |Tv |() = |v| = ||v||L1

e assim, temos que L1 () esta imerso isometricamente em M ().


Um fato importante e que L1 () e denso vagamente(denso considerando a topologia vaga)
em M (), onde pode ser o proprio RN . Na proxima subsecao, definiremos e apresentaremos
resultados para demonstrar tal fato.

Observacao 1.1.17. De agora em diante, denotaremos por M () o espaco das medidas de


Radon reais sobre .

1.1.2 Densidade Vaga de L1 (RN ) em M (RN )

Nesta subsecao, vamos primeiramente definir e enunciar alguns resultados sobre convolucao
entre duas funcoes mensuraveis. Posteriormente, definiremos o produto de medidas de Radon
com sinal e trataremos de resultados sobre o conceito de convolucao de duas medidas. Por
fim, demonstraremos o resultado de densidade vaga de L1 (RN ) em M (RN ). Esse estudo se faz
necessario para o Captulo 3, onde precisaremos aproximar uma funcao f M () por uma
sequencia de funcoes que estao em L1 ().

Definicao 1.1.18. Sejam f e g duas funcoes mensuraveis em RN . Definimos a convolucao


de f e g por: Z
f g(x) = f (x y)g(y)dy
RN

para todo x tal que a integral acima exista.

Para que f g esteja bem definida, podemos impor varias condicoes sobre f e g. Por
exemplo, se g L1loc (RN ) e f e limitada com suporte compacto, entao f g existe.
Na proxima proposicao, vamos apresentar algumas propriedades sobre convolucao.

Proposicao 1.1.19. Assuma que todas as integrais abaixo sejam finitas. Entao:
(a) f g = g f .
(b) (f g) h = f (g h).
(c) Seja z RN , entao z (f g) = (z f ) g = f (z g), onde z f (x) = f (x z).
(d) Seja A o fecho de {x + y : x supp(f ), y supp(g)}, entao supp (f g) A.

13
Demonstracao. Ver [9], pag. 240, Proposicao 8.6.

A proposicao a seguir contem resultados basicos de convolucoes para funcoes em Lp .


1 1
Proposicao 1.1.20. Sejam f Lp e g Lq , onde p
+ q
= 1. Entao:
(a) f g(x) existe para todo x.
(b) f g e limitada e uniformemente contnua.
(c) ||f g||u ||f ||Lp ||g||Lq .
(d) Se 1 < p < , entao f g C0 (RN ).

Demonstracao. Ver [9], pag. 241, Proposicao 8.8.

Seja uma funcao em RN e t > 0. Definimos:


x
t (x) = tn .
t
Se L1 , entao pelo Teorema da Mudanca de Variavel (veja [9], pag. 74) temos que a integral
R
t nao depende de t, isto e,
Z Z x Z
n
t = t dx = (z)dz,
RN RN t RN

onde z = xt .
O teorema a seguir sera de extrema importancia na demonstracao do principal resultado
desta subsecao.
R
Teorema 1.1.21. Seja L1 tal que (x)dx = a. Entao:
(a) Se f Lp , para 1 p < , entao f t af em Lp , quando t 0.
(b) Se f e limitada e uniformemente contnua, entao f t af uniformemente, quando
t 0.
(c) Se f L e f e contnua em um aberto U , entao f t af uniformemente em todo
subconjunto compacto de U , quando t 0.

Demonstracao. Ver [9], pag. 242, Teorema 8.14.

Agora, vamos definir o que seria uma medida de Radon com sinal no espaco produto car-
tesiano RN RN e a convolucao de duas medidas e , onde , M (RN ), com o intuito de
obtermos os resultados necessarios para a prova da densidade vaga de L1 (RN ) em RN . A de-
finicao da medida de Radon com sinal no produto cartesiano pode ser feita utilizando produto
de medidas positivas atraves das derivadas de Radon-Nikodym.

14
Definicao 1.1.22. Sejam , M (RN ), definimos a medida produto M (RN RN )
por:
d d
d( )(x, y) = (x) (y)d(|| ||)(x, y).
d|| d||
Definicao 1.1.23. Sejam , M (RN ), definimos a convolucao M (RN ) por:
ZZ
(E) = (E) = XE (x + y) d(x)d(y).

Abaixo, apresentamos algumas propriedades basicas da convolucao de duas medidas em


M (RN ).

Proposicao 1.1.24. Sejam , M (RN ).


(a) Convolucao de medidas e comutativa e associativa.
(b) Seja h uma funcao limitada Borel mensuravel, entao:
Z ZZ
hd( ) = h(x + y) d(x)d(y).

(c) || || |||| ||||.


(d) Se d = f dm e d = gdm, entao d( ) = (f g)dm.

Demonstracao. Ver [9], pag. 270, Proposicao 8.48.

Observacao 1.1.25. Note que o item (d) da Proposicao acima nos diz que em L1 a definicao
de convolucao entre medidas coincide com a definicao usual de convolucao.

Quando temos uma funcao f em Lp , e importante obtermos algumas propriedades quando


fazemos a convolucao de f com uma medida em M (RN ). O proximo teorema nos da tres
propriedades dessa convolucao.

Teorema 1.1.26. Sejam f Lp (RN ), para 1 p , e M (RN ). Entao:


R
(a) A integral f (x) = f (x y)d(y) existe para x q.t.p. em RN .
(b) f Lp .
(c) ||f ||Lp ||f ||Lp ||||.

Demonstracao. Ver [9], pag. 271, Proposicao 8.49.

Observacao 1.1.27. No Teorema 1.1.26 Lp e q.t.p.se refere a medida de Lebesgue.

Por fim, estamos preparados para mostrar o principal resultado desta subsecao.

15
Teorema 1.1.28. L1 (RN ) e denso vagamente em M (RN ).

Demonstracao. Seja (RN ). Para provarmos este teorema, devemos construir uma sequencia
em L1 (RN ) que converge no sentido vago para .
Seja Cc (RN ) fixada, com RN (x)dx = 1. Entao para todo t > 0 pelo Teorema 1.1.26,
R

temos:
t L1 (RN ).

Sabemos que toda funcao em L1 (RN ) define uma medida de Radon (veja o comentario apos o
Teorema 1.1.14, pag. 12), entao vamos escrever t M (RN ) para a medida que corresponde a
t , ou seja, dt = (t )dm. Agora, seja g C0 (RN ) fixada. Pelo Teorema de Fubini para
a medida produto m, onde m e a medida de Lebesgue em RN , temos que:
Z Z Z Z 
gdt = g(x)(t )(x)dx = g(x)t (x y)d(y) dx
RN RN RN RN

Z Z
= g(x)t (x y)dxd(y)
RN RN

Z
= g t (y)d(y).
RN

Observe que a funcao (x, y) 7 g(x)t (x y) e contnua, pois e produto de funcoes contnuas.
Assim, temos que g(x)t (x y) e BRN BRN -mensuravel. Note tambem que:
Z Z  Z Z 
|g(x)t (x y)|dx d||(y) = |g(x)t (x y)|dx d||(y)
RN RN RN K

Z
||g||L1 ||t ||u d|| = ||g||L1 ||t ||u |||| < ,
RN

onde K e o compacto tal que t (x y) e diferente de zero.

Afirmacao 1.1.3. g t C0 (RN ) para cada t > 0.

De fato, mais geralmente provamos que para C0 (RN ) e Cc (RN ) temos


C0 (RN ). Primeiro, pela Proposicao 1.1.20, pag. 14, temos que e limitada e uniformemente
contnua e || ||u ||||L1 ||||u . Agora, tomamos uma sequencia 1 , 2 , ... Cc (RN ) tal
que || k || 0 (Proposicao 1.1.9, pag. 8). Entao k Cc (RN ) para cada k, pela
Proposicao 1.1.19 item (d), pag. 14, e

||k ||u = ||(k ) ||u ||||L1 ||k ||u 0.

16
Portanto, pertence ao fecho de Cc (RN ) na metrica uniforme, ou seja, C0 (RN )
(Proposicao 1.1.9, pag. 8). Logo, a afirmacao esta provada.
Agora, pelo Teorema 1.1.21 item (b), pag. 15, temos ||g t g||u 0, quando t 0.
R
Portanto, como f 7 RN f d e um funcional linear limitado em C0 (RN ), segue que:
Z Z
g t (y) d(y) g d,
RN RN

quando t 0. Assim Z Z
g dt g d,
RN RN

quando t 0 e para toda g C0 (RN ). Entao, conclumos que a sequencia { 1 }


j=1 tende
j

vagamente para . Recordando que cada 1 corresponde a uma funcao (ou: e uma) em L1 (RN )
j

temos que L (R ) e denso vagamente em M (RN ).


1 N

Corolario 1.1.29. Seja RN um aberto. Entao L1 () e denso vagamente em M ()

Demonstracao. Seja M (). Definimos por:



em
=
0 em RN \

Note que M (RN ). Pelo Teorema 1.1.28, existe uma sequencia (fn ) em L1 (RN ) que converge
para no sentido vago. Como fn L1 (RN ), para todo n, temos que fn L1 (), para todo n.
Assim, temos uma sequencia (fn ) em L1 () que converge vagamente para . Consequente-
mente, fn converge vagamente para .

Corolario 1.1.30. Dado r 1, segue que Lr () e denso vagamente em M ().

Demonstracao. Primeiro, note que se un u em Lr (), entao un u vagamente em M ().


De fato, pela Definicao 1.1.16, basta mostrarmos que:
Z Z
f un f u, f C0 ().

Porem, por Holder:


Z
f un f u ||f ||Lr0 ||un u||Lr


med()||f ||L ||un u||Lr 0.

17
Logo, un u vagamente em M ().
Agora, dada M (), consideremos (vn ) L1 () tal que:
Z Z
lim f vn = f d, f C0 ().
n

Como Lr () e denso em L1 (), segue que para cada n N, existe un Lr () tal que:
1
||un vn ||L1 .
n
Assim, dada f C0 () temos:
Z Z Z Z Z Z
f d f un f d f vn + f vn f un

Z Z 1
f d f vn + .

n
Logo
Z Z Z Z
lim f d f un lim f d f vn = 0,

n n
e portanto, un u vagamente em M ().

1.1.3 Distribuicoes

Nesta subsecao, definiremos o conceito de distribuicao em apenas com o intuito de mostrar


que convergencia vaga implica em convergencia em distribuicao. Tal resultado sera usado no
Captulo 3. Para mais detalhes sobre este tema, veja Medeiros [18].

Definicao 1.1.31. Considere (fn ) Cc (). Dizemos que:


(a) fn 0 desde que:
(i) Exista K , compacto tal que supp fn K, n N.
(ii) Para cada multi-ndice D fn 0 uniformemente em K.
(b) Dizemos que fn f desde que (fn f ) 0.

O espaco denotado por D() das funcoes em Cc () com a nocao da convergencia definida
acima e chamado o espaco das funcoes teste.

Definicao 1.1.32. Dizemos que T : D() R e uma distribuicao se:


(a) T e linear;
(b) T e contnuo no zero em D(), ou seja, T (fn ) 0, se n , sempre que fn 0 em
D().

18
O conjunto de todas as distribuicoes definidas em e denotado por D0 (). No espaco
D0 (), temos a seguinte nocao de convergencia.

Definicao 1.1.33 (Convergencia em D0 ()). Dizemos que


(a) Tn 0 em D0 () quando n , se

Tn () 0 em R, quando n , D().

(b) Tn T em D0 () se

(Tn T ) 0 quando n , em D0 ().

Segue diretamente da definicao acima que convergencia em distribuicao e unica. Um fato


importante e que uma medida em M () pode ser vista como uma distribuicao em .

Proposicao 1.1.34. Seja M (). Entao pode ser representada como uma distribuicao,
isto e, D0 ().

Demonstracao. Seja D(). Definimos:


Z
(, ) = d.

Note que (, ) e um funcional linear contnuo. Agora, se n 0 em D(), entao existe


K , compacto, tal que supp n K, para todo n N e

D n 0 uniformemente em K, multi-ndice.

Em particular, n 0 uniformemente em K. Logo


Z
lim (, n ) = lim n d 0.
n n K

Portanto, D0 ().

Usando a mesma identificacao, como corolario da Proposicao 1.1.34, segue que Lp ()


D0 (). A nocao de convergencia no espaco D0 () e bem fraca. De fato, o proximo resultado
nos mostra que ate convergencia vaga implica em convergencia no espaco D0 ().

Teorema 1.1.35. Seja (n ) M () tal que n vagamente em M (). Entao:

n em D0 ().

19
Demonstracao. Como por hipotese n vagamente em M (), entao pela definicao:
Z Z
dn d,

para toda C0 (). Para mostrar que n em D0 (), basta mostrarmos que, dado
D(), entao:
lim (n , ) = (, ).
n

A igualdade acima acontece se, e somente se,


Z Z
dn d.

Porem, como D() C0 () segue o resultado.

Observe que segue diretamente do Teorema 1.1.35, que dadas (fn ) Lr (), onde r > 1 e
f Lr (), se
fn * f em Lr ()

entao vale que


fn f em D0 ().

Isto e,
Lr () ,, C0 ().

1.2 Espacos de Sobolev


Usando o conceito de Distribuicao, conseguimos generalizar a ideia de derivada para uma
formulacao mais fraca.
Seja RN um aberto, limitado e conexo.

Definicao 1.2.1. Definimos o Espaco de Sobolev, denotado por W 1,p () como sendo:
u
W 1,p () = {u : R : u, Lp (), i = 1, ..., N }.
xi
u
Observe que xi
se refere a derivada no sentido das distribuicoes.

Proposicao 1.2.2. (W 1,p (), || ||W 1,p ), onde



(||u||p p + ||u||p p )1/p , 1 p <
L L
||u||W 1,p =
||u|| + ||u||
L L

e um espaco de Banach. Alem disso, se 1 < p < , e um espaco de Banach reflexivo.

20
Demonstracao. Ver [4] , pag. 264, Proposicao 9.1.

Das diversas propriedades interessantes destes espacos, nos restringiremos a enunciar o


essencial para o presente texto.
Primeiramente, vejamos seu subespaco mais usual.
|| ||W 1,p
Definicao 1.2.3. W01,p () = Cc () .

Com isso, temos o seguinte resultado.

Proposicao 1.2.4. W01,p () e um subespaco fechado de W 1,p (). Em particular, W01,p () e


um espaco de Banach reflexivo se 1 < p < .

Demonstracao. Ver [4], pag. 287.

Um fato importante dos espacos W01,p () e que podemos controlar as normas Lp pelas
normas das derivadas em certos casos.

Definicao 1.2.5. Definimos o expoente crtico de Sobolev p , por:


Np
p = .
N p
Se p = N , entao definimos p = .

Observacao 1.2.6. Por simplicidade, enunciaremos os proximos resultados somente para o


caso que usaremos neste trabalho, isto e, quando 1 p < N .

Teorema 1.2.7 (Desigualdade de Poincare). Seja u W01,p (), onde 1 p < N . Entao existe
uma constante C = C(, p, q, N ) > 0 tal que

||u||Lq C||u||Lp ,

para todo q [1, p ].

Demonstracao. Ver [8], pag. 265, Teorema 3.

Observamos que ||u||Lp e uma norma em W01,p (), que e equivalente a norma ||u||W 1,p .
Assim, definimos a seguinte norma em W01,p ()

||u||W 1,p = ||u||Lp .


0

Uma das propriedades mais usadas destes espacos e o de que estes melhoram a integrabili-
dade de seus membros.

21
Teorema 1.2.8 (Imersao de Sobolev). Seja RN um aberto, limitado e conexo. Para
1 p < N , temos
W01,p () , Lq (),

para todo q [1, p ].

Demonstracao. Ver [8], pag. 270, Teorema 6.

Com algumas restricoes no expoente, melhora-se o resultado de Imersao.

Teorema 1.2.9 (Rellich-Kondrachov). Seja RN um aberto, limitado e conexo. Para


1 p < N , temos
W01,p () ,, Lq (),

para todo q [1, p ).

Demonstracao. Ver [8], pag. 272, Teorema 1.

1.3 Grau de Brouwer


No presente texto, usaremos uma poderosa ferramenta para a resolucao de equacoes nao
lineares em espacos de dimensao finita: O grau de Brouwer.
Para nao fugirmos da tematica proposta nesta dissertacao, nos restringiremos a enunciar o
resultado que nos interessa.
Seja : RN RN uma funcao contnua, p
/ (). O grau de Brouwer d(, , p) e
uma ferramenta que descreve o numero de solucoes para a equacao:

(x) = p,

onde e um aberto.
A seguir apresentaremos dois resultados que nos sera util para esta dissertacao.

Teorema 1.3.1. Existe d( , , p) : C 1 () R tal que se p


/ () e d(, , p) 6= 0, entao
existe ao menos um x tal que
(x) = p.

Demonstracao. Ver [10], pag. 30, Teorema 2.1.

22
Teorema 1.3.2 (Invariancia Homotopica). Seja H : [0, 1] RN . Considere p RN e
suponha que p
/ H( [0, 1]). Entao

d(H(, 0), , p) = d(H(, 1), , p).

Demonstracao. Ver [10], pag. 39, Teorema 2.11.

1.4 Teoremas de Convergencia


Esta secao e baseada em [1] e [9]. Os resultados que apresentaremos sao alguns dos principais
da Teoria da Medida e Integracao que posteriormente usaremos no decorrer deste trabalho.
Seja (X, M, ) um espaco de medida. Em toda essa secao, denotara uma medida positiva
em X.

Lema 1.4.1 (Lema de Fatou). Seja (fn ) uma sequencia de funcoes mensuraveis com fn : X
[0, ], para todo n N. Entao
Z Z
lim inf fn d lim inf fn d
n n

Demonstracao. Ver [1], pag. 33, Lema 4.8.

Apresentaremos a seguir um dos mais importantes teoremas de convergencia para funcoes


integraveis.

Teorema 1.4.2 (Convergencia Dominada de Lebesgue). Seja (fn ) uma sequencia de funcoes
em L1 (X, ) tal que converge q.t.p. para uma funcao f . Alem disso, suponha que existe uma
funcao g em L1 (X, ) tal que |fn | g, para todo n N. Entao f L1 (X, ) e
Z Z
lim fn d = f d.
n

Demonstracao. Ver [1], pag. 44, Teorema 5.6.

Com o intuito de generalizarmos o Teorema da Convergencia Dominada de Lebesgue para


os espacos Lp (X, ), vamos definir o que seria a convergencia de uma sequencia de funcoes nesse
espaco.

23
Definicao 1.4.3. Dizemos que uma sequencia de funcoes (fn ) em Lp (X, ), 1 p < ,
converge em Lp (X, ) para f Lp (X, ), se dado > 0, existir n0 () N, tal que para todo
n n0 (), temos:
Z  p1
||fn f ||Lp = |fn f |p d < .

A proposicao a seguir e a versao do Teorema da Convergencia Dominada de Lesbegue para


os espacos Lp (X, ).

Proposicao 1.4.4. Seja (fn ) uma sequencia de funcoes mensuraveis em Lp (X, ) que converge
q.t.p. para f . Se existe uma g Lp (X, ) tal que:

|fn (x)| g(x), x X, n N

entao f Lp (X, ) e (fn ) converge em Lp (X, ) para f .

Demonstracao. Por hipotese fn (x) f (x) q.t.p. em X. Como a sequencia de funcoes (fn )
e mensuravel, para todo n N, segue que f e mensuravel. Ainda, uma vez que |fn (x)|
g(x), n N, entao |f (x)| g(x) q.t.p. Alem disso, como g Lp (X, ), entao temos
f Lp (X, ). Agora note que:

|fn (x) f (x)|p [2g(x)]p , q.t.p.

e como lim |fn (x) f (x)|p = 0 q.t.p., e [2g(x)]p L1 (X, ), segue do Teorema da Convergencia
Dominada de Lebesgue que: Z
lim |fn f |p d = 0.

Portanto, (fn ) converge em Lp (X, ) para f .

O proximo teorema e uma especie de recproca para Teorema da Convergencia Dominada


de Lebesgue. Este teorema e util para o controle em passagem ao limite em termos nao lineares
das integrais em questao.

Teorema 1.4.5. Seja (fn ) uma sequencia de funcoes em Lp (X, ) e seja f Lp (X, ) tal que
||fn f ||Lp 0.
Entao, existe uma subsequencia (fnk ) e uma funcao h Lp (X, ) tal que:
(a) fnk (x) f (x) q.t.p. em X,
(b) |fnk (x)| h(x) k, q.t.p. em X.

24
Demonstracao. Ver [4], pag. 94, Teorema 4.9.

Outro modo de convergencia que sera muito util no decorrer desse trabalho e a convergencia
em medida.

Definicao 1.4.6. Dizemos que uma sequencia de funcoes (fn ) converge em medida para
uma funcao f se:
 
lim {x X : |fn (x) f (x)| } = 0,
n

para todo > 0.

Observacao 1.4.7. Observe que convergencia em Lp implica em convergencia em medida. De


fato, considere En () = {x X : |fn (x) f (x)| }, entao:
Z Z
p
|fn f | d |fn f |p d p (En ()).
X En ()

Como ||fn f ||Lp 0 e > 0 segue que (En ()) 0, quando n .


Vale observar que a recproca e falsa. O contra-exemplo e dado pela seguinte sequencia de
funcoes:
fn = n1/p X[0,n] .

Consideramos X = R e como sendo medida de Lebesgue. Note que fn 0 em medida, mas


fn 9 0 em Lp (R).

Observamos tambem que convergencia pontual nao implica em convergencia em medida,


exceto se X tem medida finita (veja Teorema 7.12 de [1]). Consideramos mais uma vez X = R,
como a medida de Lebesgue e a sequencia de funcoes fn = X[n,n+1] . E facil ver que fn converge
a 0 para todo ponto, mas nao em medida. Por outro lado, a proposicao seguinte nos mostra que
sempre podemos extrair uma subsequencia que converge q.t.p. de uma sequencia que converge
em medida.

Proposicao 1.4.8. Seja (fn ) uma sequencia de funcoes mensuraveis definidas em X. Se


fn f em medida, entao existe uma subsequencia (fnj ) de (fn ) tal que fnj (x) f (x) q.t.p
em X.

Demonstracao. Considere (fn ) tal que fn f em medida.

25
1
Dado = , k N, existe nk tal que
2k
1
({x X : |fn (x) f (x)| }), n nk .
2k
[
1
Definimos Xk = {x X : |fn (x) f (x)| 2k
}. Para N N fixado, seja AN = Xk .
kN
Entao:
X X 1 1
(AN ) (Xk ) k
= N 1 .
kN kN
2 2
Se x X\AN , entao:
\ \ 1
x AcN = Xkc = {x X : |fn (x) f (x)| < },
kN kN
2k
1
ou seja, |fnk (x) f (x)| < 2k
, para todo k N . Portanto, para algum N N, temos:

fnk (x) f (x) sobre AcN .

Observando que (A1 ) 1 e A1 A2 ... AN , tem-se:


\ 1
0 (A) = ( AN ) = lim (AN ) lim = 0.
N N 2N 1
N 1

Como fn (x) f (x) sobre X\AN , para cada N , entao fnk (x) f (x) sobre X\A e (A) = 0.
Assim,
fnk (x) f (x) q.t.p. X.

Apresentamos agora o famoso Teorema da Convergencia de Vitali. Tal teorema nos sera
util no final do Captulo 3.

Teorema 1.4.9 (Convergencia de Vitali). Seja (fn ) uma sequencia de funcoes mensuraveis
em X tal que (fn ) Lp (X, ), para 1 p < . Entao, (fn ) converge em Lp (X, ) para f e
f Lp (X, ) se, e somente se, (fn ) satisfaz as seguintes propriedades:
(i) (fn ) converge em medida para f ;
(ii) Para cada > 0, existe () > 0, tal que se A M com (A) < (), entao:
Z
|fn |p d < p , para todo n N.
A

e existe C M com (C) < tal que


Z
|fn |p d < p , para todo n N;
X\C

26
Demonstracao. () Assumimos que fn , f Lp (X, ) e ||fn f ||Lp 0. Como (fn ) converge
para f em Lp (X, ), temos que (fn ) converge para f em medida. Pela desigualdade de Min-
kowski, temos:
Z  p1  Z  p1  Z  p1  Z  p1
p p p p
|fn | d = |fn f + f | d |f | d + |fn f | d . (1.3)
X X X X

Dado > 0, definimos F = {x E : |f (x)|p > 0}. Note que F tem medida finita,
pois Z Z
p
(F ) |f | d |f |p d M
F E

observe que na terceira desigualdade acima usamos que f Lp (X, ), por hipotese, e assim,
(F ) M .
Fazendo = n1 , temos:
Z Z
p
lim |f | d = lim |f |p XF 1 d.
n F1 n X n
n

Como |f |p XF 1 |f |p q.t.p e |f |p XF 1 |f |p , onde |f |p L1 (X, ), segue pela Proposicao


n n

1.4.4, pag. 24, que:


Z Z Z
p p
lim |f | d = lim |f | XF 1 d = |f |p d.
n F1 n X n X
n

Agora, como f Lp , existe 0 > 0 tal que para cada A e B M tais que (A) < 0 e
(B) < , temos: Z Z
 p  p
p
|f | d < e |f |p d < .
X\B 4 A 4
Alem disso, existe n0 N tal que se n n0 , entao:
 p
||fn f ||Lp < .
4

Por (1.3), se n n0 e (A) < 0 , temos:


Z  p1  Z  p1  Z  p1
p p
|fn | d |f | d + |fn f |p d < + =
X\B X\B X\B 4 4 2

e
Z  p1 Z  p1  Z  p1
p p p
|fn | d |f | d + |fn f | d < + = .
A A A 4 4 2
Logo Z Z
p p
|fn | d < e |fn |p d < p .
X\B A

27
Sejam B1 , B2 , ..., Bn0 conjuntos mensuraveis de medidas finitas e 1 , 2 , ..., n0 tais que:
Z
|fi |p d < p se 1 i n0
X\Bi

Z
|fi |p d < p se 1 i n0 e (A) < i .
A

Tomando C = B B1 B2 ... Bn0 e = min{0 , 1 , 2 , ..., n0 }, entao:


Z
|fn |p d < p n 1 e (C) <
X\C

e Z
|fn |p d < p se (A) < n 1.
A

() Agora assumimos que (fn ) converge em medida para f . Pela Proposicao 1.4.8, existe uma
subsequencia (fnk ) de (fn ), tal que fnk (x) f (x) q.t.p. Pela condicao (ii), existe C e pelo
Lema de Fatou para a subsequencia (fnk ), temos:
Z Z Z
p p
|f | d = lim inf |fnk | d lim inf |fnk |p d < p ,
X\C X\C k k X\C

onde (C) < , e alem disso, ainda pela condicao (ii), temos que:
Z Z Z
p p
|f | d = lim inf |fnk | d lim inf |fnk |p d < p ,
A A k k A

para todo A M tal que (A) < .



T
Seja En = {x E : |fn (x) f (x)| > (C)
} C. Como fn converge em medida para f , entao
existe n0 N tal que (En ) < , para todo n n0 . Note que En C X, assim:
Z Z Z Z
p p p
|fn f | d = |fn f | d + |fn f | d + |fn f |p d
X X\C C\En En

Z Z Z Z Z
p p p p
|fn | d + |f | d + |fn f | d + |fn | d + |f |p d
X\C X\C C\En En En

5.

Portanto, ||fn f ||Lp 0 e f Lp (X, ).

28
Captulo 2

Existencia de Solucao para dados em


1,p 0
W ()

Este captulo e baseado em Ciarlet [7] e Leray-Lions [13]. Apresentaremos neste captulo
resultados, hoje em dia classicos, que sao essenciais para a investigacao de diversas Equacoes
Diferenciais Parciais Quasilineares e, em particular, o problema

u = f em
p
(2.1)
u = 0 sobre .
Estabeleceremos os rudimentos das ditas Tecnicas de Monotoniana Secao 2.1, para entao
investigarmos o problema (2.1) e seus analogos na Secao 2.2.
Apesar de classicos, os resultados aqui apresentados nao sao vistos em geral nos cursos
introdutorios sobre Equacoes Diferenciais Parciais e, por isto, decidimos por destaca-los do
captulo de preliminares.
Ressaltamos, por fim, que as Secoes 2.1 e 2.2 sao, em sua maior parte, releituras dos trabalhos
de Ciarlet [7] e Leray-Lions [13]. Naturalmente, adaptamos os originais para o contexto desta
dissertacao.

2.1 Operadores Monotonos


Entre os operadores nao lineares, destacamos a classe dos operadores monotonos que sao
de extrema importancia, pois constituem-se uma ferramenta muito eficaz para estabelecermos
a existencia de solucoes para certos problemas de contorno nao-lineares.

29
Sejam X um espaco de Banach e X 0 o seu dual. Vamos denotar por || || a norma em X,
|| || a norma em X 0 e por ( , ) a dualidade entre o espaco de Banach X e seu dual X 0 , ou
seja,
(f, u) = f (u), para todo u X, f X 0 .

Definicao 2.1.1. Um operador A, de um espaco de Banach X em um espaco de Banach Y ,


e dito limitado se leva conjuntos limitados de X em conjuntos limitados de Y . Em outras
palavras, existe M > 0 tal que:

||Au||Y M, para todo u X.

Definicao 2.1.2. Um operador A : X X 0 e dito monotono se:

(A(u) A(v), u v) 0, para todo u, v X.

Vamos agora introduzir uma nocao de continuidade que aparecera nas hipoteses dos proximos
resultados, sendo essencial para o teorema que garante a sobrejetividade de operadores monotonos.

Definicao 2.1.3. Um operador A : X X 0 e dito hemicontnuo se, para quaisquer u, v, w


X, existir t0 = t0 (u, v, w) > 0 tal que a funcao:

f : (t0 , t0 ) R
t 7 (A(u + tv), w)

e contnua em t = 0.

O lema a seguir e uma versao do conhecido Truque de Minty. Com ele, podemos com-
pensar atraves de monotonia a conhecida dificuldade entre se conciliar convergencias fracas e
operadores nao lineares.

Lema 2.1.4. Sejam X um espaco de Banach e A : X X 0 um operador monotono hemi-


contnuo. Se (un ) X for tal que:

un * u em X, A(un ) * b em X 0 e lim sup (A(un ), un ) (b, u)


n

entao
A(u) = b.

30
Demonstracao. Seja (un ) como no enunciado. Observe que, como A e monotono, dado w X,
temos:
(A(un ) A(w), un w) 0, n N. (2.2)

Agora, por hipotese:


lim sup (A(un ), un ) (b, u)
n

e
lim sup (A(un ), w) = (b, w).
n

Entao, por (2.2)

(b A(w), v w) lim sup (A(un ) A(w), un w) 0. (2.3)


n

Agora, sejam v X, t > 0 e defina:

w = u + tv.

Segue de (2.3) que

t(b A(u + tv), v) = (b A(w), u w) 0, t > 0.

Isto e,
(b A(u + tv), v) 0, t > 0.

Pela hemicontinuidade do operador A, segue que:

(b A(u), v) = lim+ (b A(u + tv), v), v X.


t0

Em particular,
(b A(u), v) 0, v X. (2.4)

Agora, tomando v em (2.4), segue que:

(b A(u), v) = 0, v X,

portanto:
A(u) = b.

31
O proximo lema e uma versao do resultado principal desta secao para espacos vetoriais
normados de dimensao finita.

Lema 2.1.5. Seja X um espaco vetorial normado de dimensao finita e A : X X um


operador limitado e contnuo. Suponha que A seja coercivo no sentido de que:
(A(v), v)
lim = .
||v|| ||v||
Entao temos que A e sobrejetivo.

Demonstracao. Primeiramente, observe que todo espaco de dimensao finita e isometricamente


isomorfo a RN . De fato, considere que dimX = N e seja {x1 , ..., xN } uma base ortonormal para
X. Definimos entao:
T : X RN
N
X
x 7 T (x) = ai e i ,
i=1
N
X
onde x = ai xi e {e1 , ..., eN } representa a base canonica de RN . Observe que T e uma bijecao
i=1
linear.
Entao considerando ||y||RN = ||x||X , onde y = T x, obtemos que X e RN sao isometricamente
isomorfos. Vale lembrar que todas as normas em RN sao equivalentes.
Tendo em vista esse fato, sejam w X e Bk = {v X : ||v|| k} com fronteira Sk = {v
X : ||v|| = k}. Tomando o mesmo k tal que ||w|| < k, entao pela hipotese do operador A ser
coercivo, temos que para qualquer k, podemos escolher R suficientemente grande tal que:

(A(v), v) Rk v SR .

Agora, consideremos
H : B [0, 1] X
k
H(v, ) = A(v) + (1 ) k v,
R

vk
de modo que H(v, 0) = e H(v, 1) = A(v).
R
Note que H e contnuo. Alem disso, para v SR , temos:
k
(A(v) + (1 ) v, v) kR.

R
Assim

H(v, ) k, v SR .

32
Em particular, w
/ H(SR [0, 1]) e entao d(H( , ), BR , w), onde d( ) denota o grau de
Brouwer, esta bem definido para [0, 1]. Porem, pelo Teorema 1.3.2, pag. 23, temos:

k
1 = d(Id , BR , w) = d(H( , 0), BR , w) = d(H( , 1), BR , w) = d(A, BR , w).
R

Portando, como d(A, BR , w) 6= 0, pelo Teorema 1.3.1, pag. 22, existe v BR (0) tal que
A(v) = w.

O proximo teorema e o resultado principal desta secao. As hipoteses sobre o operador A


foram encontradas em [13], pag. 98, Teorema 1.

Teorema 2.1.6. Sejam X um espaco de Banach separavel e reflexivo e A : X X 0 um


operador limitado e hemicontnuo. Suponha que A e coercivo no sentido de que:

(A(v), v)
lim = .
||v|| ||v||

Se A e monotono, entao A e sobrejetivo.

Demonstracao. Para demonstrar o teorema, com o Lema 2.1.5 estabelecido, usaremos o famoso
metodo de Galerkin para construirmos solucoes aproximadas em subespacos de X que tenham
dimensao finita e depois usaremos o processo limite. Para maior conveniencia do leitor, dividi-
mos a demonstracao em passos.
Passo 1: solucoes aproximadas
Como X e separavel, existe uma famlia enumeravel linearmente independente {wi }
i=1 de

[
vetores wi X tal que Xn e denso em X, onde Xn = span(w)ni=1 .
n=1

Afirmacao 2.1.1. Se f X 0 , existe un Xn tal que:

(A(un ), w) = (f, w), w Xn .

De fato, se 1 , 2 , ..., n X 0 com (i , wj ) = ji , definimos Pn por:


n
X
0
Pn v = (v 0 , wj )j .
j=1

Denotando Bn (v) = Pn (A(v)) temos que a Afirmacao 2.1.1 e equivalente a:

0
Bn (un ) = Pn f em Xn .

33
Tomamos Xn0 o espaco gerado por 1 , 2 , ..., n , entao Bn aplica Xn em Xn0 . Como (Bn (v), v) =
(A(v), v), a condicao de coercividade e satisfeita e a afirmacao segue aplicando o resultado
quando estamos no caso de dimensao finita.
Passo 2: processo limite
Pela Afirmacao 2.1.1, temos:

|(A(un ), un )| = |(f, un )| ||f || ||un ||. (2.5)

Pela hipotese do operador A ser coercivo, segue que a sequencia un e uniformemente limitada,
ou seja, existe C > 0 tal que:
||un || C.

De fato, se un nao fosse limitada, entao teramos:

|(A(un ), un )|
lim = = ,
||un || ||un ||

o que e um absurdo com (2.5).


Agora, como tambem por hipotese A e um operador limitado, segue que ||A(un )|| C.
Sendo X reflexivo, temos tambem que X 0 e reflexivo. Assim, existe uma subsequencia (um ) de
(un ) tal que:
u * u em X
m
A(u ) * g
m em X 0
Afirmacao 2.1.2. g = f e A(um ) * f em X 0 .

Pela Afirmacao 2.1.1, para k 1, temos:

(A(um ), wk ) = (f, wk ) m k.

Portanto:
(g, wk ) = lim (A(um ), wk ) = (f, wk ).
m

Assim, para todo k 1, temos:



[
(g, w) = (f, w), w Xm .
m=1

Por construcao
m=1 Xm = n=1 Xn e denso em X, e assim, segue que g = f . Por conseguinte,

A(um ) * f .

34
Agora note que estabelecida a Afirmacao 2.1.2, segue direto que:

lim (A(um ), um ) = lim (f, um ) = (f, u).


m m

Assim
u * u em X
m


A(um ) * f em X 0


(A(u ), u ) (f, u),

m m

segue do Lema 2.1.4 que


A(u) = f.

Observamos que na versao original deste resultado de Leray e Lions [13], a hipotese do
operador A ser hemicontnuo e substituda por uma outra mais forte. Mais precisamente,
em [13], pede-se que A seja fracamente estrela contnuo em subespacos de dimensao finita.

2.2 Existencia de Solucao para o p-Laplaciano


Nesta secao, RN sera um aberto, limitado e conexo. Seja u W01,p (), onde 1 < p < .
O operador p-Laplaciano
p u = div (|u|p2 u)
0
age em W0p () tomando valores em W 1,p () da seguinte maneira:
Z
(p u, v) = |u|p2 u v, para u, v W01,p ().

0
Observacao 2.2.1. Observe que se u W01,p (), entao p u W 1,p (). De fato, seja
u W01,p () e note que (p u, v) e linear em v. Alem disso, para toda v W01,p () temos,
por Cauchy-Schwarz, que:
Z Z
p2
|(p u, v)| = |u| u v |u|p1 |v|.

e, usando a desigualdade de Holder:


Z Z  1 Z 1
p p0 p p
|(p u, v)| p1
|u| |v| |u| |v| = ||u||p1
W 1,p
||v||W 1,p .
0 0

35
Lema 2.2.2. O operador p-Laplaciano p e limitado.

Demonstracao. Seja u W01,p () tal que ||u||W 1,p M , onde M > 0. Temos:
0

|| p u||W 1,p0 = sup||v||1 |(p u, v)|


Z  1 Z  p1
p p0
sup||v||1 |u| |v|p

p1 p1
||u||W 1,p M .
0

Portanto, p e limitado.

Para o que segue, queremos mostrar que o operador p-Laplaciano e monotono, ou seja,

(p u + p v, u v) 0, u, v W01,p ().

Para tanto, sera necessario introduzir o seguinte lema.

Lema 2.2.3. Sejam x, y RN e p 2. Entao:

(|x|p2 |y|p2 )(|x|2 |y|2 ) + (|x|p2 + |y|p2 )|x y|2 = 2(|x|p2 x |y|p2 y) (x y).

Demonstracao. A demonstracao deste lema sai por um calculo direto.

(|x|2 |y|2 )(|x|p2 |y|p2 ) + |x y|2 (|x|p2 + |y|p2 )


h i
= (x y) (x + y)(|x|p2 |y|p2 ) + 2(x y) (|x|p2 + |y|p2 )
= 2(x y) (|x|p2 x |y|p2 y).

Proposicao 2.2.4. O operador p-Laplaciano e monotono.

Demonstracao. Devemos mostrar que:


Z
(p u + p v, u v) = (|u|p2 u |v|p2 v) (u v) 0.

De fato, sejam x, y RN . Vamos dividir em dois casos, quando p 2 e 1 < p < 2.


Caso 1: p 2
Como p 2, temos a seguinte desigualdade:

|x y|p = |x y|p2 |x y|2 2p3 |x y|2 (|x|p2 + |y|p2 ).

36
Combinando a desigualdade acima com o Lema 2.2.3, e notando que x 7 |x|p2 e x 7 |x|2 sao
monotonas nao-decrescentes, temos:

|x y|p 2p2 (|x|p2 x |y|p2 y)(x y).

Assim, para o caso p 2 temos:


Z
(p u + p v, u v) = (|u|p2 u |v|p2 v) (u v)

Z
1
|u v|p 0 u, v W01,p ().
2p2
Caso 2: 1 < p < 2
Para 1 < p < 2, temos a desigualdade:

(p 1)|x y|2 (1 + |x| + |y|)p2 (|x|p2 x |y|p2 y)(x y).

De fato, comecamos notando que:


Z 1
p2 2 d
(|x| x |y| y) (x y) = (x y) (|y + t(x y)|p2 (y + t(x y)))dt.
0 dt
Agora, calculando a derivada no integrando acima, temos:
Z 1
2
p2 2
(|x| x |y| y) (x y) = |x y| |y + t(x y)|p2 dt
0

Z 1
+(p 2) |y + t(x y)|p4 ((y + t(x y)) (x y)2 dt.
0
Por Cauchy-Schwarz, segue que:

((y + t(x y)) (x y))2 |y + t(x y)|2 |x y|2 .

Como 1 < p < 2, segue que (p 2) < 0 e a desigualdade acima se reverte quando multiplicamos
por (p 2) em ambos os lados. Portanto:
Z 1
2
p2
(|x| 2
x |y| y) (x y) = |x y| |y + t(x y)|p2 dt
0

Z 1
+(p 2) |y + t(x y)|p4 ((y + t(x y)) (x y)2 dt.
0

Z 1
2
(p 1)|x y| |y + t(x y)|p2 dt.
0

(p 1)|x y|2 (1 + |y| + |x|)p2 .

37
Logo:
(|x|p2 x |y|2 y) (x y) (p 1)|x y|2 (1 + |y| + |x|)p2 .

Assim, para o caso 1 < p < 2, temos:


Z
(p u + p v, u v) = (|u|p2 u |v|p2 v) (u v)

Z
(p 1) |u v|2 (1 + |u| + |v|)p2 0 u, v W01,p ().

Com isso, conclumos que o operador p e monotono para 1 < p < .

Com estes resultados em maos, podemos provar o seguinte resultado, essencial no decorrer
do texto.

Teorema 2.2.5. Sejam RN um aberto, limitado, conexo e 1 < p < .


(a) O operador p e hemicontnuo e coercivo.
0
(b) Para cada f W 1,p (), o problema:

u = f em
p
u = 0 sobre ,

tem uma solucao unica u W01,p ().

Demonstracao. (a) Para provarmos que o operador p e hemicontnuo, basta observarmos


que a aplicacao:
t 7 (p (u + tv), )

e contnua em t = 0, para toda W01,p (). De fato, seja (tn ) uma sequencia tal que tn 0.
Entao:
un = u + tn v u em W01,p ()
un = u + tn v u em Lp ().
Assim, pelo Teorema 1.4.5, pag. 24, passando a uma subsequencia se necessario, temos:

un u q.t.p em

e existe g Lp () tal que:


|un | g Lp ().

38
Tome W01,p (). Afirmamos que:
Z Z
p2
|un | un |u|p2 u .

De fato, basta ver que:


|un |p2 un |u|p2 u

e
|un |p2 |un | |un |p1 ||| g p1 || L1 ().

Entao pelo Teorema da Convergencia Dominada de Lebesgue, segue a afirmacao. Portanto,


temos que o operador p-Laplaciano p e hemicontnuo.
Agora, para provarmos que p u e coercivo, note que:
R
(p u, u) |u|p p1
= = ||u||W 1,p ,
||u||W 1,p ||u||W 1,p 0
0 0

e quando ||u||W 1,p temos que:


0

(p u, u)
.
||u||W 1,p
0

Assim o operador p e coercivo.


(b) Pela Proposicao 2.2.4 o operador p e monotono, logo, pelo item (a), satisfaz todas as
hipoteses do Teorema 2.1.6, e assim temos a existencia da u.
Agora, para a unicidade, suponha que:

u = f em
p i
ui = 0 sobre ,

para i = 1, 2. Suponha tambem, sem perda de generalidade, que ao menos uma ui nao seja
identicamente nula.
Entao, em particular:
p u1 + p u2 = 0 em
u1 u2 = 0 sobre .

Assim, para toda W01,p (), segue que:


Z
(|u1 |p2 u1 |u2 |p2 u2 ) = 0.

39
Tome = u1 u2 . Logo
Z
(|u1 |p2 u1 |u2 |p2 u2 ) (u1 u2 ) = 0.

Analisamos dois casos:


Caso 1: p 2
Como p 2, segue que
Z Z
p p2
|u1 u2 | 2 (|u1 |p2 u1 |u2 |p2 u2 ) (u1 u2 ) = 0.

Assim, (u1 u2 ) = 0 q.t.p em .


Como u1 u2 W01,p (), segue pela desigualdade de Poincare que:

||u1 u2 ||Lp K||u1 u2 ||Lp = 0.

Isto e,
u1 = u2 q.t.p. em .

Caso 2: 1 < p < 2


Como 1 < p < 2, temos:

|u1 u2 |2
Z Z
1
2p
(|u1 |p2 u1 |u2 |p2 u2 ) (u1 u2 ) = 0.
(1 + |u1 + |u2 |) p1

Logo, (u1 u2 ) = 0 q.t.p em . Portanto, de maneira analoga ao caso anterior, temos:

u1 = u2 q.t.p em .

O resultado abaixo generaliza o Teorema 2.2.5.

0
Teorema 2.2.6. Seja f W 1,p (). Entao existe uma unica u W01,p () tal que:

u + h(x, u) = f em
p
(P 1)
u = 0 sobre ,

onde h e Caratheodory e existe k1 > 0 tal que |h(x, t)| k1 para todo x e t R.

40
Demonstracao. Considere o seguinte problema: Dada un1 W01,p (), encontrar un W01,p ()
tal que:

u + h(x, u ) = f em
p n n1
(P 2)
un = 0 sobe .
0
Observe que h(x, un1 ) W 1,p (), para todo n N, pois h L (). Alem disso, veja que
pelo Teorema 2.2.5 o problema (P 2) esta bem posto.
Tomando un como funcao teste em (P 2), obtemos que:
Z Z
p
|un | = (f, un ) h(x, un1 )un

||f ||W 1,p0 ||un ||W 1,p + k1 ||un ||L1


0

||f ||W 1,p0 ||un ||W 1,p + k1 k2 ||un ||W 1,p ,


0 0

onde k2 e a constante da desigualdade de Poincare.


Agora, tomando c = max{1, k1 k2 }, temos que dado > 0:

||un ||W 1,p c (||f ||W 1,p0 + 1) ||un ||W 1,p


0 0

c (||f ||W 1,p0 + 1) 1


= 1 ||un ||W 1,p p
0
p

h c (||f ||
W 1,p0 + 1)
ip0 1 ||un ||W 1,p
1 0
+ 0
.
p p p

A ultima desigualdade segue por Young. Entao:


 
1 ||un ||pW 1,p K,p ,
p 0

hc (||f ||
ip0
0 +1)
W 1,p
onde K,p = 1 .
p
p
Porem, fazendo = , segue que:
2

||un ||pW 1,p 2K,p , n N.


0

Assim, como pelo Teorema 1.2.9, pag. 22, W01,p () esta imerso compactamente em Lq (),

41
para todo 1 q < Np
N p
, existe u W01,p () tal que, a menos de subsequencias, temos:

un * u em W01,q ()
un u em Lq () (2.6)
un u q.t.p. em .

Agora, observamos que dado v W01,p () tal que ||v||W 1,p 1, aplicando a desigualdade de
0

Holder, temos:
Z Z
p2
(p un , v) = |un | un v |un |p1 |v|

||un ||Lp1
p ||v||Lp

||un ||p1
W 1,p 0
p0
2K,p n N.

Sendo assim,
p 0
|| p un ||W 1,p0 2K,p
0 0
e pela reflexibilidade de W 1,p (), existe b W 1,p tal que, a menos de subsequencias,

0
p un * b em W 1,p (). (2.7)

Precisamos mostrar que b = p u. Observe que:


Z
(p un , un ) = f un h(x, un1 )un . (2.8)

Por (2.6), segue que: Z Z


lim f un = f u. (2.9)
n

Afirmacao 2.2.1. Z Z
lim h(x, un1 )un = h(x, u)u.
n

De fato, como h e Caratheodory, temos:

lim h(x, un1 )un = h(x, u)u q.t.p em .


n

Alem disso, pela recproca do Teorema da Convergencia Dominada de Lebesgue, pag. 22, existe
g Lp () tal que, a menos de subsequencias,

|un | g q.t.p em .

42
Logo, por hipotese, segue que:

|h(x, un1 )un | Cg Lp ().

Entao, pelo Teorema da Convergencia Dominada de Lebesgue, temos que:


Z Z
lim h(x, un1 )un = h(x, u)u.
n

Assim, a Afirmacao 2.2.1 esta provada.


Agora, veja que por (2.8) e (2.9), segue que:
Z
lim (p un , un ) = f u h(x, u)u.
n

Entretanto, por outro lado, notemos que:

0
p un = f h(x, un1 ) em W 1,p (). (2.10)

Porem, observamos que:


0
h(x, un1 ) h(x, u) em Lp (). (2.11)
0
De fato, basta observar que h(x, un1 ) h(x, u) q.t.p. em e que |h(x, un1 )| C Lp ()
q.t.p. em , por hipotese.
0
Logo, pelo Teorema da Convergencia Dominada de Lesbesgue para Lp , pag. 24, segue que:

0
h(x, un1 ) h(x, u) em Lp (),

como queramos.
Em particular, como:
0 0
Lp () , W 1,p (),

temos que:
0
h(x, un1 ) h(x, u) em W 1,p ().

Assim, por (2.7), (2.10) e (2.11), segue que:

b = f h(x, u). (2.12)

Agora, usando o Truque de Minty, combinando (2.10) e (2.12), obtemos que:

lim (p un , un ) = (b, u). (2.13)


n

43
Porem, pelo Lema 2.1.4, (2.6), (2.7) e (2.8), temos que:

b = p u. (2.14)

Portanto, por (2.7), (2.10), (2.11) e (2.14):

0
p u + h(x, u) = f em W 1,p ()

e o resultado segue.

44
Captulo 3

Existencia de Solucao para dados em


M ()

Neste captulo, estudaremos os principais topicos proposto no presente trabalho. Estes


resultados sao versoes adaptadas do trabalho de Boccardo & Gallouet em [2].
Na Secao 3.1, estudaremos a existencia de solucao do problema (P ) com dados em espacos de
medida. Na Secao 3.2, estudaremos a existencia de solucao do problema (P ) com termo forcante
linear, mas com uma certa regularidade. Em seguida, na Secao 3.3, estaremos interessados em
estudar a existencia de solucao do problema p-Laplaciano com termo forcante nao linear de
ordem zero.
Em todo este captulo, RN e um aberto, limitado e conexo.

3.1 Existencia de Solucao para o p-Laplaciano


Consideremos, para uma f arbitraria em M (), a equacao:

u = f em
p
(P )
u = 0 em .
Por simplicidade, nesta secao dada f M (), denotaremos:
Z Z
f := df.

Antes de prosseguir, precisaremos introduzir um novo conceito de solucao fraca.

45
Definicao 3.1.1. Uma funcao u e dita solucao fraca de (P ) se satisfaz:




u W01,1 (), |u|p2 u L1loc () e

Z Z
f , para toda Cc ().
p2
|u| u =



0
Pelo Teorema 2.2.5, pag. 38, quando f W 1,p (), sabemos que (P ) tem uma unica
solucao fraca u tal que:
u W01,p ()
Z Z
p2
|u| u v = f v, para toda v W01,p (). (3.1)

0
Em geral, quando f M () ou L1 (), nao temos que |u|p1 Lp (). Isto poderia
comprometer o termo: Z
|u|p2 u v

quando v W01,p (), isto e, v Lp (). Isto torna necessaria a inclusao da hipotese
|u|p2 u L1loc () na definicao acima e a alteracao do espaco das funcoes teste de W01,p ()
para Cc ().
Nossa estrategia sera a de investigar uma versao preliminar de (P ), ligeiramente mais regu-
lar, onde:
0
f W 1,p () L1 ().

Observe que, neste caso, o melhor que poderamos esperar seria que:

u W01,p1 ().

De fato, supondo que f = div(g), com g L1 (), teramos:

div(|u|p2 u) = div(g)

o que primeiramente, nos forneceria que:

|u|p1 = g L1 (),

de modo que u W01,p1 ().


Na realidade, obteremos estimativas em W01,q () onde 1 q < N
N 1
(p 1). Vale observar
N
que N 1
(p 1) > (p 1).

46
Alem disso, se p (2 1/N, N ], entao 1 < (N/(N 1))(p 1). De fato, como 2 1/N < p,
temos que:
((N 1 + N )/N ) < p.

A desigualdade acima nos da que N + N pN < 1, e portanto, 1 < (N/(N 1))(p 1). Com
isso, nossa estimativa abrangera uma classe maior de regularidade sobre u.

Lema 3.1.2. Para todo 1 q < (N/(N 1))(p 1) e B > 0, existe C > 0, dependendo de
0
q, p, e B, tal que se f W 1,p () L1 () e u e a solucao de (3.1), entao ||u||W 1,q C,
0

sempre que ||f ||L1 () B.

0
Demonstracao. Tome f W 1,p () L1 () tal que ||f ||L1 () B.
Por simplicidade de notacao, usaremos o smbolo ci para denotar uma constante arbitraria,

ci = ci (p, q, B, ) > 0.

Consideremos entao, n N e dada por:





n se s > n

(s) = s se nsn (3.2)


n se s < n

Pelo Teorema 2.2.5, pag 38, existe u W01,p () tal que:

Z Z
|u| p2
u = f W01,p (). (3.3)

Observe que (u) W01,p (), pois e localmente Lipschitz (para mais detalhes, veja Gilbarg
& Trudinger em [14], Teorema 7.8, pag.153).
Neste caso, tomando = (u) em (3.3), temos que:
Z Z
0 p2
(u)|u| u u = f (u). (3.4)

Consideremos entao o conjunto:

Dn = {x : |u(x)| n}. (3.5)

0
Como (u) = 1 em Dn , segue de (3.4) que:

47
Z Z Z
p
|u| = f (u) = f u n||f ||L1 = nB. (3.6)
Dn Dn Dn

Por outro lado, consideremos outra funcao teste para obter estimativas melhores. De fato,
consideremos:


1 se s > n + 1


sn se n s n + 1





(s) = 0 se nsn (3.7)


n 1 s n



s+n se


1

se s < n 1.
Seja tambem o conjunto:

Bn = {x : n |u(x)| n + 1}. (3.8)

Afirmacao 3.1.1. Para cada n N


Z
|u|p ||f ||L1 . (3.9)
Bn

Para provar (3.9), basta observar que:



0 (u) = 1
q.t.p. em Bn .
|(u)| = |u(x) n|

Alem disso, como n |u(x)| n + 1, entao:

|u(x) n| 1.

Logo, como (u) W01,p () (ver novamente em [14], Teorema 7.8, pag.153) tomando-se =
(u) em (3.3), segue que: Z Z
p
|u| = f (u). (3.10)
Bn Bn

Assim, como: Z Z Z
|f |(u) = |f ||u n| |f |, (3.11)
Bn Bn Bn

combinando-se (3.10) e (3.11), obtemos que:


Z
|u|p ||f ||L1 B
Bn

o que prova a Afirmacao 3.1.1.

48
Agora, vamos combinar (3.6) e (3.9) para obtermos estimativas em todo .
De fato, primeiramente observamos que, pela desigualdade de Holder para 1 q < p, temos:
Z Z q/p pq
q p
|u| |u| (med(Bn ))(pq)/p B q/p med() q , (3.12)
Bn Bn

onde med(Bn ) e med() denotam a medida de Lebesgue dos conjuntos Bn e , respectivamente.


Alem disso, observamos que como 1 q < p N , entao q < p e por Imersao de Sobolev,


W01,p () , Lq () (3.13)


de modo que u Lq () e, em particular,
Z

|u|q < .

Temos ainda, pela definicao de Bn :


Z Z
q
|un | nq = nq med(Bn )
Bn Bn

e assim Z
1
med(Bn ) q |u|q . (3.14)
n Bn

Alem disso, por (3.12) e (3.14), para c1 = B q/p :


Z Z
q (pq)/p
 1
|u| c1 |u|q (3.15)
Bn Bn nq ((pq)/p)

Assim, dado n0 N, tomando o somatorio:


Z Z
X
q
X
(pq)/p 1
|u| c1 |u|q . (3.16)
n=n0 Bn n=n0 Bn nq ((pq)/p)

p
Entao, aplicando a desigualdade de Holder para series, com os expoentes pq
e pq , obtemos que:
Z Z 
X
q
X
q
(pq)/p X 1 q/p
|u| c1 |u| . (3.17)
n=n0 Bn n=n0 Bn n=n0
nq ((pq)/q)


[
Note que Bn = , entao pela subaditividade da medida de Lebesgue:
n=0

Z

X
|u|q < .
n=n0 Bn

49
Alem disso, por (3.17) e por (3.6), temos que:
Z
q q/p q(pq)/p
X 1 q/p
|u| n0 c2 + c1 ||u||Lq , (3.18)
n=n0
nq((pq)/q)

onde c2 = c1 (med())(pq)/p .
De fato, observe que = Dn0 (
n=n0 )Bn , onde Dn0 = {x : |u(x)| n0 } e Bn0 = {x

: n0 |u(x)| n0 + 1}. Assim,

Z Z Z
X
q q
|u| |u| + |u|q .
Dno n=n0 Bn0

Na primeira integral do lado direito, pela desigualdade de Holder com expoentes p/q, (p
q)/q e por (3.6) segue que:
Z Z q/p
q q/p q/p
|u| |u|p (med(Dn0 ))(pq)/p n0 c1 (med())(pq)/p = n0 c2 .
D no Dno
P R R
Na ultima, usamos que n=n0 Bn
|u|q
|u|q , e assim:
Z
X (pq)/p
q q (pq)/p
|u| ||u||Lq () .
n=n0 Bn

c = max{c1 , c2 }, entao:
Logo, a estimativa (3.18) esta provada. Seja b

Z
q

q/p q (pq)/p
X 1 q/p 
|u| b
c 1 + n0 + ||u||Lq
nq ((pq)/q) n=n0

1 q/p q (pq)/p
X 1 q/p
c(1 + q/p )n0 + b
=b c||u||Lq (3.19)
n0
n=n0
nq ((pq)/q)

1

q/p q (pq)/p
X 1 q/p 
b
c(1 + q/p ) n0 + ||u||Lq
n0
n=n
nq ((pq)/q)
0

Pelo Teorema 1.2.8, pag. 22, obtemos que:



q/p q (pq)/p
X 1 q/p 
||u||qLq c3 n0 + ||u||Lq , (3.20)
n=n0
nq ((pq)/q)
1
onde c3 = Kb
c(1 + q/p ), sendo K a constante do Teorema da Imersao de Sololev.
n0
Lembrando que 2 1/N < p N . Devemos analisar dois casos.
Caso 1: p = N
Neste caso, temos:
N q(N q)
q (p q)/p = =q
(N q)N

50
e
N q(N q)
q ((p q)/q) = = N 2.
(N q)q

X 1 q/p
Como q ((p q)/q) 2, entao q ((pq)/q)
converge e se escolhermos um n0 suficien-
n=n0
n

X 1
temente grande temos que lim
q ((pq)/q)
0. Assim, escolhendo um n0 em (3.20) tal
n0
n=n0
n

X 1  q/p 1
que q ((pq)/q) < q/p temos que
n=n
n 2 c3
0

||u||Lq c4 ,
 q/p 1/q
c3 n0 2q/p
onde c4 = 2q/p 1
.
Entao, por (3.18),
||u||Lq c5 ,

o que prova o lema para o caso p igual a N .


Caso 2: p < N
Se p e estritamente menor que N , entao q ((p q)/p) = (qN/(N q))/((p q)/p) < q e
q ((p q)/q) = (qN/(N q))/((p q)/q) = N (p q)/(N q) > 1. De fato, como por hipotese
q < (N/(N 1))(p 1) (N 1)q < N (p 1) 0 < N p N q(N 1) N <

X 1
N p + (N + 1) N q < N (p q) 1 < N (p q)/(N q). Assim, a serie q ((pq)/q)
n=n0
n
converge e escolhendo n0 = 1 em (3.20), temos:

||u||Lq c6

e assim, segue que:


||u|||Lq c7 ,

o que prova o lema para o caso p < N.

Observacao 3.1.3. E importante notar que no caso p = N , q e estritamente menor que


(N/(N 1))(p 1), o que nos permite aplicar o Teorema da Imersao de Sobolev (q < N ). No
caso p < N , a limitacao de q garante a convergencia da serie do lado direito de (3.18).

Com o Lema 3.1.2, provamos o teorema a seguir.

Teorema 3.1.4. Existe uma solucao fraca u para o problema (P ) com a regularidade u
W01,q () para todo 1 q < (N/(N 1))(p 1).

51
Demonstracao. Consideremos f M ().
Combinando o Corolario 1.1.30, pag. 17, e pelo Teorema 1.1.35, pag. 19, existe (fn )
0 0
Lp () L1 () W 1,p () tal que fn f no sentido das distribuicoes.
Alem disso, pelo Teorema 1.1.26, pag. 15,

||fn ||L1 B = ||f ||M () .

Consideramos entao o seguinte problema aproximado:



v = f em
p n
(3.21)
v = 0 sobre

Pelo Teorema 2.2.5, pag. 38, existe uma unica un W01,p () solucao de (3.21). Alem disso,
aplicando-se o Lema 3.1.2, obtemos que

||un ||W 1,q C = C(p, q, , N )


0

N
e1q< N 1
(p 1).
Usando a reflexibilidade de W01,q () e pelo Teorema 1.2.9, pag. 22, existe u W01,q () tal
que, a menos de subsequencias,

un * u em W01,q ()
un u em Lq () (3.22)
un u q.t.p em
Falta mostrar que:
0
p un p u em W 1,p ().

No caso em que q p, basta repetir o mesmo argumento do Teorema 2.2.6, pag. 40.
Para evitarmos este inconveniente e, ao mesmo tempo, exibir uma abordagem alternativa,
iremos seguir Boccardo & Gallouet, [2], pag. 156, neste ponto.
Para tanto, sera necessario a seguinte afirmacao.

Afirmacao 3.1.2. : (un ) e relativamente compacta em W01,q () para todo 1 q < (N/(N
1))(p 1)

Faremos a prova deste resultado no final demonstracao.

52
Supondo que a Afirmacao 3.1.2 seja verdadeira, em particular temos que, a menos de sub-
sequencias:
q
h N 
un u em L (), para todo q 1, (p 1) . (3.23)
N 1
De fato, existe g Lq () tal que, a menos de subsequencias,

un g em Lq ().

Em particular, pela observacao logo apos ao Teorema 1.1.35, pag. 20, segue que:

un g no sentido das distribuicoes. (3.24)

Agora, por (3.22), temos que:

un * u em Lq ().

Assim, novamente pelo comentario logo apos ao Teorema 1.1.35, pag. 20, segue que:

un u no sentido das distribuicoes. (3.25)

Combinando (3.24) e (3.25) juntamente com a unicidade da convergencia em distribuicao, segue


que:
g = u,

e assim, vale (3.23).


Agora, por (3.23) e pelo Teorema 1.4.5, pag. 24, temos a menos de subsequencias (denotada
ainda por (un )) que:

un (x) u(x) q.t.p. em


(3.26)
|un (x)| g(x) para todo n, q.t.p. em ,
onde g Lq (), para todo q [1, (N/(N 1))(p 1)).
Por (3.26), |un |p2 un |u|p2 u q.tp em e ||un |p2 un | |un |p1 g p1 .
Como g p1 Lr (), para todo r [1, NN1 ), entao |un |p2 un Lr (), para todo r
[1, NN1 ). Assim, pelo Teorema da Convergencia Dominada, temos:

h N 
|un |p2 un |u|p2 u em Lr (), para todo r 1, . (3.27)
N 1

53
Com a convergencia obtida em (3.27), segue que:
Z Z
lim p2
|un | un = |u|p2 u , Cc ().
n

Alem disso,
|u|p2 u Lr () , L1loc ().

Como fn f vagamente em M (), entao pela Definicao 1.1.16, pag. 12, temos:
Z Z
lim fn = f .
n

Ainda falta provar a Afirmacao 3.1.2. Para tanto, dado > 0 consideramos : R R,
onde:



se s >

(s) = s se s (3.28)


se s < .

Usando (3.1) com f = fn e fm , u = un e um e v = (un um ), obtemos:


Z
0
(un um ) (|un |p2 un |um |p2 um )(un um )
Z (3.29)
= (fn fm )(un um ).

Como ||f ||L1 () B, por (3.29) para p 2, temos que:

Z
1
|un um |p 2B, (3.30)
Dn,m, 22p
e para 2 1/N < p < 2, temos que:
p1
Z
|un um |2 2B, (3.31)
Dn,m, (1 + |un | + |um |)2p
onde Dn,m, = {x ; |un (x) um (x)| }.
Para ver (3.30) e (3.31), basta aplicar a monotonicidade do operador p-Laplaciano. Para
p 2, temos:
1
(|un |p2 un |um |p2 um ) (un um ) |un um |p ,
2p2
e para (2 1/N, 2) temos:
(p 1)
(|un |p2 un |um |p2 um ) (un um ) |un um |2 .
(1 + |un | + |um |)2p

54
0
Com as desigualdades acima e recordando que em Dn,m, temos (un um ) = 1, segue que

Z Z
p2 p2 1
(|un | un |um | um ) (un um ) |un um |p ,
2p2
se p 2, e
(p 1)
Z Z
p2 p2
(|un | un |um | um ) (un um ) |un um |2 ,
(1 + |un | + |um |)2p
se 2 1/N < p < 2. Mas:
Z Z
p2 p2
(|un | un |um | um ) (un um ) = (fn fm )(un um )
Dn,m,
Z

(fn fm )(un um )

Z Dn,m,
|fn fm ||(un um )|
Dn,m,

Logo:
Z Z
p2 p2
(|un | un |um | um ) (un um ) |fn fm ||(un um )|
ZDn,m,
|fn fm |
ZDn,m,
(|fn | + |fm |)
Dn,m,
Z Z
 
= |fn | + |fm |
Dn,m, Dn,m,

2B.

e assim seguem de (3.30) e (3.31).


Para p 2 por (3.30) e pela desigualdade de Holder, temos:
Z Z 0
1/p0
1/p 2p p /p
|un um | c1 (2 ) ,
Dn,m, Dn,m,

onde c1 = (2B)1/p . Ja para o caso 2 1/N < p < 2 por (3.31) e novamente usando a
desigualdade de Holder, temos:
p1
Z Z 1/2
1/2
|un um | c2 ,
Dn,m, Dn,m, (1 + |un | + |um |)2p

onde c2 = (2B)1/2 .
Notando que ambas as integrais do lado direito das desigualdades acima sao finitas, deno-
tamos por c3 e c4 , respectivamente, seus valores. Agora, tomando c5 = max {c1 c3 , c2 c4 }, junto
com a estimativa de un em W01,q (), obtemos:

55
Z
|un um | c5 1/s , (3.32)
Dn,m,

onde s depende de p. A estimativa (3.32) e usada para provar que (un ) e uma sequencia de
Cauchy em L1 (). Sabemos que:

Z Z Z
|(un um )| = |(un um )| + |(un um )|
Dn,m, \Dn,m,

Usando a desigualdade de Holder na segunda parcela da soma do lado direito da igualdade


0
acima com os expoentes conjugados q e q , temos:

Z Z 1/q  Z 1/q0
q
|(un um )| |(un um )|
\Dn,m, \Dn,m, \Dn,m,

= c6 med{x : |un (x) um (x)| > }11/q ,


para algum q (1, (N/(N 1))(p 1)).
Assim, por (3.32) e pela desigualdade acima, temos:

Z
|(un um )| c5 1/s + c6 med{x : |un (x) um (x)| > }11/q (3.33)

Como un converge fortemente para u em L1 (), temos que un e uma sequencia de Cauchy
em L1 (), assim un e uma sequencia de Cauchy em medida, ou seja, dado > 0 existe n0 () N
dependendo de tal que para todo n, m n0 () implica med{x : |un (x)um (x)| } .
Logo, (3.33) implica que:

Z
|(un um )| c5 1/s + , para n, m n0 (),

assim provamos que (un ) e uma sequencia de Cauchy em L1 (). Portanto:

un u em L1 ().

Agora vamos mostrar que (un ) e uma sequencia de Cauchy em Lr (), para todo 1 r
q [1, (N/(N 1))(p 1)). De fato, como (un ) W01,q para todo q [1, (N/(N 1))(p 1)),
entao (un ) Lq () para todo q [1, (N/(N 1))(p 1)). Assim, fazendo r = 1 t + tq
para t [0, 1] e aplicando a desigualdade de Holder com os expoentes conjugados 1/t e 1/1 t,
obtemos:

56
Z
|un um |r ||un um ||L1t t
1 () ||un um ||Lq () ,

e portanto (un ) e uma sequencia de Cauchy em Lr (), pois ||un um ||Lr () ||un ||Lr () +
||um ||Lr () e limitado e (un ) e sequencia de Cauchy em L1 ().
Logo, (un ) e uma sequencia de Cauchy em Lq (), para todo q [1, NN1 (p 1)), e portanto,
a Afirmacao 3.1.2 e verdadeira.

Como consequencia do Teorema 3.1.4, observamos que:


p2 r N  h
|u| u L () para cada r 1, . (3.34)
N 1
h 
De fato, basta observar que r(p 1) 1, NN1 (p 1) .
Alem disso, Z Z
p2 r
||u| u| |u|r(p1) <

r(p1)
pois u W0 (). Ainda, como:
Z Z
p2
|u| u = f , Cc (), (3.35)

0 0
consideramos v W01,r () e (vn ) Cc () tal que vn v em W01,r ().
0
No caso em que r0 > N , W01,r () , L (). Logo,

vn v em L ()

e entao
Z
lim vn v df lim ||vn v||L ||f ||M () = 0. (3.36)

n n

Alem disso, como:


|u|p2 u Lr (),

temos que: Z Z
p2
lim |u| u vn = |u|p2 u v. (3.37)
n
Combinando-se (3.34) - (3.37), obtemos que:
Z Z
0
p2
|u| u v = fv v W01,r () e r0 > N







|u|p2 u Lr () r [1, NN1 ).

Sendo assim, no Teorema 3.1.4, provamos a existencia de uma solucao mais regular do que
dado na Definicao 3.1.1.

57
3.2 Continuidade para Regularidades Intermediarias
Na secao anterior, obtivemos um resultado de existencia e regularidade de solucoes para o
problema
u = f em
p
(P )
u = 0 em .
para f M (), o que inclui naturalmente o caso f L1 ().
Paralelamente, no Teorema 2.2.5, pag. 36, obtivemos um resultado analogo para o caso em
0
que f W 1,p .
A questao que surge e o que aconteceria com as solucoes de (P ) para f em um espaco
intermediario.
Na realidade, estamos interessados em entender o comportamento das solucoes deste pro-
0
blema quando f W 1,p Lm , para m > 1.
Veja que assim, usando uma estrategia analoga ao do Teorema 3.1.4, recuperaramos o caso
em que f Lm .
Assim, sendo o caso de interesse se restringe a quando:

1 < m < (p )0 .

De fato, se m (p )0 , entao por Imersao de Sobolev,

0 0
Lm () , L(p ) () , W 1,p (),

de modo que
0 0
W 1,p () Lm () = W 1,p (),

e assim, bastaria usar o Teorema 2.1.6 (cf. Leray-Lions [13]).


0
Portanto, nesta secao, investigaremos o problema (P ) para f W 1,p Lm , onde 1 < m <
(p )0 .
Vale ainda notarmos que:
NP
(p )0 = .
Np N + p
Logo, nossa analise fara sentido quando p satisfazer a seguinte restricao adicional:

1
2 < p < N.
N

58
De fato, se p = n, entao (p )0 = 1. A proxima figura resume de maneira simples o argumento
acima

0 0
M () L1 () Lm () W 1,p () W 1,p ()

Por simplicidade de notacao, tomaremos

m = (p )0 . (3.38)

Neste contexto, vale o seguinte resultado de regularidade para os casos intermediarios.


0
Lema 3.2.1. Sejam p (2 N1 , N ) e 1 < m < m. Entao, se f Lm () W 1,p () para cada
B > 0 tal que ||f ||Lm B, existe C = C(p, q, , B) > 0 tal que

||u||W 1,q C,
0

onde 1 q < m (p 1), para toda u solucao fraca de (P ).

Demonstracao. A prova deste lema e analoga a do Lema 3.1.2. Para conveniencia do leitor,
apresentamos aqui os detalhes.
Sendo assim, consideramos n N {0} e os seguintes conjuntos:

Bn = {x ; n |u(x)| n + 1};
En = {x ; n < |u(x)|}.

Alem disso, tomaremos mais uma vez : R R dada por:





1 se s > n + 1


s n se n s n + 1





(s) = 0 se n s n (3.39)


s + n se n 1 s n






1

se s < n 1.
0
Consideramos f Lm () W 1,p (), e entao, pelo Teorema 2.2.5, pag. 38, existe u
W01,p () tal que: Z Z
p2
|u| u = f , W01,p ().

59
Tomando em (3.39) = (u), o que e possvel pois (u) W01,p (), obtemos que:
Z Z
p
|u| f (u). (3.40)
Bn En

De fato, sejam:

Dn = {x ; |u(x)| = n} e An = {x ; |u(x)| > n + 1}.

Claramente, temos An Bn = Dn En , alem do mais,

An Bn = .

Assim, Z Z
0 p 0
(u)|u| = (u)|u|p
Bn An ZDn En
= f (u)
ZDn En
= f (u).
Bn An

Entretanto, como med(An Bn ) = 0, segue que


Z Z Z
0 p 0 p 0
(u)|u| = (u)|u| + (u)|u|p
Bn An Bn An
(3.41)
Z
0
= (u)|u|p ,
Bn
0
pois (u) = 0 em An .
0
De modo analogo, como med(Dn En ) = 0 e (u) = 0 em Dn , temos:

Z Z
0 p 0
(u)|u| = (u)|u|p . (3.42)
Dn En En

Combinando (3.41) e (3.42), obtemos que:


Z Z
p
|u| = 0 (u)|u|p
Bn Bn

Z
f (u),
En

afinal 0 (u) = 1 em Bn , provando entao (3.40).


Prosseguindo, pela Desigualdade de Holder, obtemos que:
Z
1 1
f (u) ||f ||Lm (En ) (med(En )) m0 B(med(En )) m0 . (3.43)
En

60
Logo, por (3.40) e (3.43), obtemos que:
Z
1
|u|p B(med(En )) m0 . (3.44)
Bn

Agora, observe que:


q < p. (3.45)

De fato, q < m (p 1) e m m. Logo, m (m) .


Porem,
N (p )0 Np p
(m) = ((p )0 ) = 0
= = . (3.46)
N (p ) Np N p1
p
Portanto, q < p1
(p 1), o que mostra a validade de (3.45). Assim, como q [1, p), pela
desigualdade de Holder, segue que:
Z Z q/p
q
|u| |u|p (med(Bn ))(pq)/p . (3.47)
Bn Bn

Agora, como q < p e u W01,p (), temos pelo Teorema 1.2.8, pag. 22, que W01,q () ,

Lq (), e assim, segue que u Lq () por (3.47). Alem disso, pela escolha de Bn , temos:
Z
1
med(Bn ) q |u|q . (3.48)
n Bn

Usando o mesmo argumento acima para o conjunto En , segue que:


Z Z
1 q 1
med(En ) q |u| q |u|q . (3.49)
n En n

Combinando-se (3.44), (3.47), (3.48) e (3.49), obtemos que:


Z
0
|u|q B q/p (med(En ))q/pm (med(Bn ))(pq)/p
Bn

 1 Z q/pm0  1 Z (pq)/p
q q
c1 q |u| |u|
n nq Bn

1 0
1 Z (pq)/p
q (q/pm ) q
= c1 0 ||u||Lq () q (pq/p) |u|
n q (q/pm ) n Bn

0 Z (pq)/p 1
q (q/pm )
= c1 ||u||Lq () |u|q .
(q /p)(q/m0 +pq)
n
Bn

Portanto, Z 0 Z (pq)/p 1
q q (q/pm )
|u| c1 ||u||Lq () |u|q , (3.50)
n (q /p)(q/m0 +pq)
Bn Bn

61
onde c1 = B q/p .
Tomando-se o somatorio em (3.50), obtemos que:
Z Z
X
q q (q/pm )
0 X
(pq)/p 1
|u| c1 ||u||Lq () |u|q , (3.51)
n (q /p)(q/m0 +pq)
n=1 Bn n=1 Bn

Aplicando-se Holder para series, segue que:


Z Z
X
q q (q/pm )
0 X
q
(pq)/p  X 1 q/p
|u| c1 ||u||Lq |u| 0 . (3.52)
n=1 Bn n=1 Bn n=1
n(q /p)(q/m +pq)

Porem, para G1 = {x : |u(x)| 1}, escolhendo-se como a mesma de (3.2), temos que:
Z
|u|p ||f ||L1 B.
G1

Assim, Z
|u|q B p/q . (3.53)
G1

Alem disso, de maneira analoga (3.47), temos:


Z Z q/p
q p
|u| |u| (med(G1 ))(pq)/p c1 (med())(pq)/p = c2 . (3.54)
G1 G1

Como
n=1 Bn G1 , segue da subaditividade da medida de Lebesgue que:

Z Z Z
X
q q
|u| |u| + |u|q
G1 n=1 Bn

Z
0
q (q/pm )
X
q
(pq)/p  X 1 q/p
c2 + c1 ||u||Lq |u| 0 .
n=1 Bn n=1
n(q /p)(q/m +pq)

Observando que:
Z Z
q
X
|u| |u|q ,
n=1 Bn

temos: Z
q
0
q (q/pm +(pq)/p)
X 1 q/p
|u| c2 + c1 ||u||Lq 0 . (3.55)
n=1
n(q /p)(q/m +pq)
Pelo Teorema 1.2.8, pag. 22, e tomando c3 = max{c1 , c2 }, segue que:


q(q/pm0 +(pq)/p)
X 1 q/p 
||u||qLq c3 K 1 + ||u||Lq , (3.56)
n=1
n(q /q)(pq/m)

onde K e a constante de Sobolev.

62
Agora, observe que:
 q p q
q + <q (3.57)
pm0 p
e
q  q
p > 1. (3.58)
q m
De fato, para provar (3.57) observe que por hipotese 1 < p < N e m < m = N p/(N pN +p).
Assim, se p < N , temos p2 < N p N + p. Com isso, segue que:

N p2
< N.
Np N + p

Mas assim, obtemos pm < N . Multiplicando por q 2 e somando qN por ambos lados, segue
que:
q2N
qN < q(N q).
pm
Note que:
q2N  pm q 
qN < q(N q) = qN < q(N q),
pm pm
logo:
qN  q 1 p 1
(1 ) + < q.
N q p m p
Portanto, segue (3.57).
Agora, para provar (3.58), como por hipotese q < (p 1)m = (p 1)(mN/N m), temos
N mp > N m qm + qN . E assim,

N mp N m qm + qN
> .
N m qm N m qm

Com isso, observe que


N mp qN
> 1.
N m qm N m qm
Multiplicando por q ambos os lados, segue que:

qN mp q2N
> q.
N m qm N m qm

Assim, segue (3.58).


Neste caso, obtemos por (3.56) que:

||u||qLq c4 (1 + ||u||q
Lq
),

63
onde

n X 1 q/p o
c4 = max c3 K, c3 K
n=1
n(q /q )(p q/m)
e
q (q/pm0 + (p q)/p)
= (0, 1).
q
Assim, usando a desigualdade de Young:

||u||qLq c4 (1 + ||u||qLq + c()).

1
Tomando = , temos que:
2c4
||u||qLq c5 , (3.59)

onde c5 = 2c4 (1 + c( 2c14 )).


Assim, o resultado segue.

Teorema 3.2.2. Para p (2 1/N, N ), considere f Lm (), onde m (1, m). Entao o
problema (P ) possui uma solucao tal que, para cada q [1, (p 1)m ), u W01,q ().

Demonstracao. Basta usar o Lema 3.2.1 e repetir o argumento do Teorema 3.1.4.

Observe que o resultado do teorema acima, nos fornece a regularidade para a solucao com
dependencia contnua na ordem de integrabilidade do termo forcante f . De fato, o Teorema

2.1.6 nos garante que u W01,p () caso f L(p) () = Lm ().
De maneira complementar, pelo Teorema 3.1.4, tais que se f L1 () entao:

N
u W01,q () para q< (p 1).
N 1

Porem, com o teorema acima em maos, conclumos que se f Lm (), entao:

u W01,q () onde 1 q < m (p 1).

Veja que se m = 1, entao:


N
m (p 1) = (p 1).
N 1
Alem disso, se m = (p )0 entao:
m (p 1) = p.

Neste sentido, temos continuidade da regularidade nos dois casos extremos previstos no
Teorema 3.2.2.

64
3.3 Efeitos das Perturbacoes Semilineares
Nesta secao estamos interessados em estudar a existencia de solucoes fracas para o seguinte
problema:


p u + g( , u) = f, em ,
(P 0 )
u = 0, em
onde f M () ou f L1 () e a funcao g satisfaz as seguintes hipoteses:

g(x, s) e mensuravel em x , s R e contnua em s R, q.t.p em x ; (3.60)

g(x, s)s 0 s R, q.t.p em x ; (3.61)

existem b1 , b2 , com b1 L1loc (), b2 L


loc (),

< N (p 1)/(N p), tal que |g(x, s)| b1 (x) + b2 (x)|s| (3.62)
q.t.p. em x, para todo numero real s.
Observamos que com a hipotese (3.62), a funcao g(x, s) esta em L1loc (), para cada s R.
A seguir, definimos o conceito de solucao fraca para o problema (P 0 ).

Definicao 3.3.1. Dizemos que uma funcao u e solucao fraca de (P 0 ) se satisfaz:






u W01,1 (), |u|p2 u L1loc (), g( , u) L1loc () e

Z Z Z (3.63)

f , para toda C0 ().
p2
|u| u + g(x, u) =



O metodo utilizado nesta secao para encontrarmos existencia de solucoes fracas para o
problema (P 0 ) e muito semelhante ao usado na Secao 3.1.
Com as hipoteses (3.60)-(3.62) sobre a g do problema (P 0 ), temos o seguinte resultado:

Teorema 3.3.2. Seja g satisfazendo (3.60), (3.61) e (3.62), e f M (). Entao existe uma
solucao fraca u de (P 0 ) (ou seja, uma u que satisfaz (3.63)).

Demonstracao. Seja f M () com ||f ||M () = B. Novamente, combinando o Corolario 1.1.30,


0 0
pag. 17, e pelo Teorema 1.1.35, pag. 19, existe (fn ) Lp () L1 () W 1,p () tal que

fn f no sentido das distribuicoes.

65
Nossa estrategia para provar o Teorema 3.3.2 sera dividida em 3 passos. O primeiro passo
e dedicado a obtencao de solucoes fracas para um problema aproximado. Ja o segundo passo,
obteremos estimativas sobre a solucao do problema aproximado para por fim, no terceiro passo
usarmos o processo do limite.
Passo 1: Problema Aproximado
Seja g satisfazendo (3.60) e (3.61). Para cada n N, definimos:



g(x, s) se |g(x, s)| n, x , s R

gn (x, s) = n se g(x, s) > n, x , s R (3.64)


n

se g(x, s) < n, x , s R.
0
Tomando-se fn W 1,p (), para cada n N, consideramos o seguinte problema:

p u + gn ( , u) = fn , em ,
(3.65)
u = 0, em

Note que para cada n N, gn satisfaz as hipoteses (3.60) e (3.61). De fato, separamos nos
tres casos:

|g(x, s)| n

Neste caso, temos que gn (x, s) = g(x, s), e assim, o resultado segue de imediato.

g(x, s) > n

Temos que gn (x, s) = n. Note que a hipotese (3.60) e satisfeita tambem de imediato.
Para ver (3.61), observe que como g(x, s) > n, entao necessariamente s 0 pela hipotese
sobre g, e assim, gn (x, s)s = ns 0.

g(x, s) < n

Como neste caso gn (x, s) = n, as hipoteses (3.60) e (3.61) sao satisfeitas. Para ver (3.61),
observe que como g(x, s) < n, entao necessariamente s 0, logo gn (x, s)s = ns 0.

Com isso, ainda notamos que

|gn (x, s)| n, para cada n N,

66
e entao pelo Teorema 2.2.6, pag. 40, temos que para cada n N, existe solucao fraca para
(3.65), ou seja, existe un W01,p () tal que:
Z Z Z
p2
|un | un + gn (x, un ) = fn , para toda W01,p (). (3.66)

Passo 2: Estimativas do Problema Aproximado


Nosso objetivo e obter estimativas para a solucao (un ). Para tanto, precisamos estabelecer
as afirmacoes seguintes:

Afirmacao 3.3.1.
Z Z
|gn (x, un )| |fn |, para todo inteiro n e
{|un |>t} {|un |>t}

todo t R+ , onde {|un | > t} = {x : |un (x)| > t}.

Prova da Afirmacao 3.3.1:


Seja i uma sequencia de funcoes suaves a valores reais. Note que i (un ) W01,p ()
(veja [14], Teorema 7.8, pag. 153), e assim, tomando-se i (un ) como funcao teste em (3.66),
temos

Z Z
gn (x, un )i (un ) fn i (un ). (3.67)

Agora, tomamos a sequencia i da seguinte forma:





1 se s > t


( s )i

se 0 s t
t
i (s) =


( st )i se t s 0


1

se s < t.
Note que:



1 se s > t

lim i (s) = 0 se t s t
i

1

se s < t.
Com isso, temos:

67



1 se un (x) > t

lim i (un (x)) = 0 se t un (x) t
i

1

se un (x) < t.
Entao:

g (x, un ) se un (x) > t
n


lim gn (x, un )i (un (x)) = 0 se t un (x) t
i

g (x, u )

se un (x) < t.
n n

|g (x, u )| se |un (x)| > t
n n
=
0 se |un (x)| t.
Pelo Lema de Fatou, temos:
Z Z
lim inf gn (x, un )i (un ) lim inf gn (x, un )i (un )
i i

Z
lim inf fn i (un )
i

Z
|fn |.

Logo: Z Z
|gn (x, un )| |fn |, para todo t R+ .
{|un |>t} {|un |>t}

Portanto, a Afirmacao 3.3.1 esta estabelecida.


A proxima afirmacao, nos dara um resultado de compacidade para a sequencia (un ).

Afirmacao 3.3.2.

A sequencia (un ) e relativamente compacta em W01,q () para todo


q em [1, (N/(N 1))(p 1)), onde p (2 1/N, N ].

Prova da Afirmacao 3.3.2:


Tomando-se t 0+ e aplicando-se novamente o Lema de Fatou, segue que:

||gn ( , un )||L1 ||fn ||L1 (3.68)

Tomando-se hn = fn gn ( , un ), obtemos que:

68
Z Z
fn gn ( , un ) |fn gn ( , un )|

Z
|fn | + |gn ( , un )|

Z Z
|fn | + |fn |

2B.
Portanto
0
||hn ||L1 2B, hn L1 () W 1,p (). (3.69)

Note que un e a solucao de (3.1) tomando-se f = hn .


Agora, por (3.69) e repetindo o mesmo argumento que no Lema 3.1.2, segue que (un ) e
limitada em W01,q (), para todo 1 q < (N/(N 1))(p 1). Com isso, podemos tambem
repetir o mesmo argumento da demonstracao do Teorema 3.1.4 e, assim, obter a Afirmacao
3.3.2.
Passo 3: Processo Limite
Estabelecidos os passos 1 e 2, podemos concluir a prova do Teorema 3.3.2.
Como vimos, temos que para cada n N, existe un W01,p () satisfazendo:
Z Z Z
p2
|un | un + g(x, un ) = fn , para toda C0 (). (3.70)

Por (3.3.2), segue que a sequencia (un ) e relativamente compacta em W01,q () para 1 q <
(N/(N 1))(p 1). Entao, existe u W01,q (), tal que menos de subsequencias, temos que:

N
un u em W01,q (), 1 q < (p 1)
N 1
un u q.t.p. em (3.71)
N
|un |p2 un |u|p2 u em Lr (), 1 r < N 1
.
Observando que a ultima hipotese de (3.71) e obtida pelo mesmo argumento que usamos para
obter (3.27).

Alem disso, como W01,q () , Lq (), para 1 q < N , segue que:

N (p 1)
un u em Lr (), 1 r < . (3.72)
N p

69
Agora, note que q < N (p 1)/N p. De fato, por hipotese q < N (p 1)/N 1, e assim
qN q < pN N . Subtraindo pq e somando q em ambos os lados da desigualdade, segue que:

qN pq < pN pq N + q.

Rearranjando a desigualdade acima, obtemos:

(p 1)(N q)
q< .
N p

Multiplicando por N ambos os lado da desigualdade acima, temos:

Nq N (p 1)
< .
N q N p

Logo:
N (p 1)
q < .
N p
Agora, por (3.71) como un (x) u(x) q.t.p em , e alem disso, g sendo contnua no seu
segundo argumento, segue que:

gn ( , un ) g( , u) q.t.p. em .

Ainda, note que:

|gn ( , un ) g( , u)| |gn ( , un )| + |g( , u)| 2b1 (x) + b2 (x)(|un | + |u| ),

e como
|un | (|un u| + |u|) 21 (|un u| + |u| ),

temos
|gn ( , un ) g( , u)| 2b1 (x) + b2 (x)(21 |un u| + 21 |u| + |u| ).

Assim, pela hipotese (3.62) com |un u| e |u| sendo limitados, temos pelo Teorema da Con-
vergencia Dominada de Lebesgue que:

gn ( , un ) g( , u) em L1loc (). (3.73)

Pelos resultados em (3.71) e (3.73) junto com o fato de (fn ) convergir para f no sentido
das distribuicoes, podemos entao passar o limite em (3.70) e obter (3.63). Para concluirmos o

70
Teorema 3.3.2, ainda demos mostrar que g( , u) L1 (). Porem, pelo Lema de Fatou e pela
estimativa obtida em (3.68), temos:
Z Z Z
|g( , u)| = lim inf |gn ( , un )| lim inf |g( , un )|
n n

Z
lim inf |fn |
n

||f ||M () .

Portanto, ||g( , u)||L1 B = ||f ||M () , e assim, a demonstracao do Teorema 3.3.2 esta completa,
isto e, temos:

u W01,q (), para todo 1 q < N


N 1
(p 1),

N
|u|p2 u Lr () para todo 1 r < N 1

(3.74)
g( , u) L1 ()

Z Z Z
p2
|u| u + g(x, u) = f ,

0
para toda r0 >N W01,r ().
S

Se colocarmos uma hipotese mais forte sobre a funcao f podemos enfraquecer a hipotese
(3.62). De fato, se f L1 (), entao trocando a hipotese (3.62) pela hipotese:

sup{|g(x, s)|, |s| t} L1loc (), t R+ , (3.75)

temos o seguinte resultado:

Teorema 3.3.3. Seja f L1 () e g satisfazendo (3.60), (3.61) e (3.75). Entao existe uma
solucao fraca u para o problema (P 0 ).

Demonstracao. Seja f L1 (), e alem disso, g satisfazendo as hipoteses (3.60), (3.61) e (3.75).
Observamos que com os mesmos argumentos usados no Teorema 3.3.2 podemos obter (3.71).

71
Como nesse caso g nao satisfaz a hipotese (3.62), o processo de passar o limite no segundo
termo do lado esquerdo da igualdade em (3.66) e um pouco mais delicado. Neste ponto, o
trabalho de Boccardo & Gallouet cita o trabalho de Gallouet & Morel, em [11], para podermos
passar o limite em (3.66). Esse metodo consiste em mostrar que a sequencia (gn ) e equi-
integravel e depois usar o Teorema de Vitali, para concluirmos que

gn ( , un ) g( , u) em L1loc ().

Por hipotese, vamos considerar que B = ||f ||L1 e assumir que fn converge para f em L1 ().
Como em (3.71), temos que:
un u, q.t.p.

e sendo g contnua no seu segundo argumento pela hipotese (3.60), segue que:

gn ( , un ) g( , u) q.t.p. (3.76)

Para que u satisfaca (3.63), e suficiente provarmos que gn ( , un ) converge para g( , u) em


L1loc () e g( , u) L1 (). De fato, estabelecidas tais afirmacoes junto com (3.71) e pelo fato de
fn convergir em L1 para f , podemos passar o limite em (3.66) e obter (3.63).

Afirmacao 3.3.3. gn ( , un ) converge para g( , u) em L1loc () e g( , u) L1 ().

Pelo Teorema de Vitali, para mostrarmos tal afirmacao, basta provarmos que:

gn ( , un ) e equi-integravel em K para todo K , K compacto. (3.77)

Sejam K , com K compacto, > 0 e B K, onde B e mensuravel.


Note que como (un ) e limitado em L1 () (por (3.69) e pelo Lema 3.1.2), temos:

med({|un | > t}) 0, uniformemente quando t , para todo n N. (3.78)

Alem disso, como fn e equi-integravel em , em particular em K, entao existe 1 > 0, tal que
para todo E K com med(E) < 1 , temos
Z
|fn |dx , para todo n N.
E

Para 1 > 0, existira um t0 tal que med({|un | > t0 }) < 1 (por (3.78)), entao:
Z
|fn |dx , para todo n N.
({|un |>t0 }

72
Por (3.3.1), obtemos:
Z
|gn (x, un )|dx , para todo n N.
({|un |>t0 }

Note que B = (B {|un | > t0 }) (B {|un | t0 }). Sendo assim, temos:


Z Z Z
|gn (x, un )|dx = |gn (x, un )|dx + |gn (x, un )|dx
B B{|un |>t0 } B{|un |t0 }

Z
+ sup{|gn (x, un )|, |un | t0 }dx.
B{|un |t0 }

Pela hipotese (3.75), sup{|gn (x, un )|, |un | t0 } L1loc (), para todo n N, entao temos que
existe 2 > 0, tal que
Z
sup{|gn (x, un )|, |un | t0 }dx ,
B{|un |t0 }

sempre que med(B {|un | t0 }) < 2 . Dessa forma, tomamos B K tal que med(B) < 2 , e
assim, Z
|gn (x, un )|dx 2.
B

Logo, gn ( , un ) e equi-integravel em K para todo K , K compacto. Portanto a Afirmacao


3.3.1, esta provada.

Afirmacao 3.3.4. g( , u) L1 ().

Pela hipotese de fn convergir em L1 () para f junto com (3.76), aplicamos o Lema de Fatou
e, assim, temos:
Z Z Z
|g( , u)| = lim inf |gn ( , un )| lim inf |g( , un )|
n n

Z
lim inf |fn |
n

Z
= |f |.

Portanto, a Afirmacao 3.3.2 esta provada.


Com esses resultados, temos que u satisfaz (3.74).

73
Observamos que com a hipoteses sobre a g no Teorema 3.3.3, podemos nao ter existencia de
solucao fraca quando f M (). No trabalho de Brezis, em [3], foi mostrado que o problema:

u + u3 = , em ,
u = 0, sobre

nao tem solucao fraca quando N = 3 e 0 .

74
Referencias Bibliograficas

[1] BARTLE, R. G.. The Elements of Integration, John Wiley & Sons, Inc., 1966

[2] BOCCARDO, Lucio.; GALLOUET, Thierry.. Nonlinear elliptic and parabolic equations
involving measure data, J. Funct. Anal. 87, 1989, no. 1, 149-169

[3] BREZIS, H.. Some variational problems of the Thomas-Fermi type, Variational inequalities
and complementarity problems (Proc. Internat. School, Erice, 1978), pp. 53?73, Wiley,
Chichester, 1980.

[4] BREZIS, H.. Functional Analysis, Sobolev Spaces and Partial Differential Equations, Sprin-
ger, 2010.

[5] BROWDER, F.E.. Variational boundary value problems for quasi-linear elliptic equations
of arbitrary order, Proc. Nat. Acad. Sci. U.S.A. 50, 1963, 31-37.

[6] BROWDER, F.E.. Nonlinear elliptic boundary value problems, Bull. Amer. Math. Soc. 69,
1963, 862-874.

[7] CIARLET, P.G.. Linear and Nonlinear Functional Analysis with Applications, Society for
Insdustrial and Applied Mathematics, 2013.

[8] EVANS, Lawrence C.. Partial Differential Equations, American Mathematical Society, Vol.
19., 1997.

[9] FOLLAND, G.B.. Real Analysis: Modern Techniques and Their Applications, 2nd ed. A
Whiley-Interscience Publication, 1999.

[10] FONSECA, Irene.; GANGBO, Wilfrid.. Degree Theory in Analysis and Aplications, Oxford
Sciencee Publications, 1995.

75
[11] GALLOUET, T.; MOREL, J.M.. On some semilinear problems in L1 ,Boll. Un. Mat. Ital.
A (6) 4, 1985, no. 1, 123-131.

[12] GALLOUET, T.. Equations elliptiques semilineaires avec, pour la non linearite, une con-
dition de signe et une dependance sous quadratique par rapport au gradient, Ann. Fac. Sci.
Toulouse Math. (5) 9, 1988, no. 2, 161-169.

[13] LERAY, Jeans.; LIONS, J.L ..Quelques resulatats de Visik sur les problemes elliptiques
nonlineaires par les methodes de Minty-Browder, Bull. Soc. Math. France 93, 1965, 97-
107.

[14] GILBARG, David.; TRUDINGER, Neil, S.. Elliptic Partial Differential Equations of Se-
cond Order, Springer, 1998.

[15] MINTY, George J.. Monotone (nonlinear) operators in Hilbert space, Duke Math. J. 29,
1962, 341-346.

[16] MINTY, George J.. On the maximal domain of a monotone function, Michigan Math.
J. 8, 1961, 135-137.

[17] MINTY, George J.. On a monotonicity method for the solution of non-linear equations
in Banach spaces, Proc. Nat. Acad. Sci. U.S.A. 50, 1963, 1038?1041.

[18] MEDEIROS, L.A.; MIRANDA, M.M.. Espacos de Sobolev: Iniciacao aos Problemas
Elticos nao Homogeneos, UFRJ, 2000

[19] VISIK, M. I.. Boundary-value problems for quasilinear strongly elliptic systems of equations
having divergence form, Dokl. Akad. Nauk SSSR 138, 1961, 518-521.

[20] VISIK, M. I.. Quasi-linear strongly elliptic systems of differential equations of divergence
form, Trudy Moskov. Mat. Obsc. 12, 1963, 125-184.

You might also like