Documentos de Académico
Documentos de Profesional
Documentos de Cultura
por
Braslia
2016
Ficha catalogrfica elaborada automaticamente,
com os dados fornecidos pelo(a) autor(a)
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
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:
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:
iii
Notacoes
p
p0 = , conjugado de p.
p1
Np
p = , expoente crtico de Sobolev.
N p
un * u, convergencia fraca.
iv
D(), espaco das funcoes teste.
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.
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
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 ,
1
Quando f M (), e necessaria uma hipotese mais forte, a saber:
(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.
p0 /p
||u||W 1,p C||f ||Lp0 .
0
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.
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}.
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:
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 ).
5
Logo, f L1 (RN ). Alem disso, note que a aplicacao
Z
f 7 f d
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
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
e
(K) = sup {I(f ) : f Cc (RN ) e f XK } para todo compacto K RN . (1.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)}) < .
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}.
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.
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 ).
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:
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:
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,
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 ).
(f + g)+ (f + g) = f + g = f + f + g + g .
Logo,
(f + g)+ + f + g = (f + g) + f + + g + .
Logo,
I + (f + g) = I + (f ) + I + (g).
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 ).
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 ).
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 ).
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 ||||,
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.
Vale observar que de maneira inteiramente analoga ao Teorema 1.1.14, pode-se mostrar que,
dado RN , um aberto, temos:
M ()
= C0 ()0 ,
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
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 ().
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.
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.
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).
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.
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
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
vagamente para . Recordando que cada 1 corresponde a uma funcao (ou: e uma) em L1 (RN )
j
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 .
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
O espaco denotado por D() das funcoes em Cc () com a nocao da convergencia definida
acima e chamado o espaco das funcoes teste.
18
O conjunto de todas as distribuicoes definidas em e denotado por D0 (). No espaco
D0 (), temos a seguinte nocao de convergencia.
Tn () 0 em R, quando n , D().
(b) Tn T em D0 () se
Proposicao 1.1.34. Seja M (). Entao pode ser representada como uma distribuicao,
isto e, D0 ().
D n 0 uniformemente em K, multi-ndice.
Portanto, D0 ().
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
Observe que segue diretamente do Teorema 1.1.35, que dadas (fn ) Lr (), onde r > 1 e
f Lr (), se
fn * f em Lr ()
Isto e,
Lr () ,, C0 ().
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.
20
Demonstracao. Ver [4] , pag. 264, Proposicao 9.1.
Um fato importante dos espacos W01,p () e que podemos controlar as normas Lp pelas
normas das derivadas em certos casos.
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 ,
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 ()
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 (),
(x) = p,
onde e um aberto.
A seguir apresentaremos dois resultados que nos sera util para esta dissertacao.
22
Teorema 1.3.2 (Invariancia Homotopica). Seja H : [0, 1] RN . Considere p RN e
suponha que p
/ H( [0, 1]). Entao
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
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
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 < .
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:
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:
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.
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
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:
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
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
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
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
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
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.
28
Captulo 2
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.
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 .
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.
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.
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)
e
lim sup (A(un ), w) = (b, w).
n
w = u + tv.
Isto e,
(b A(u + tv), v) 0, t > 0.
Em particular,
(b A(u), v) 0, v X. (2.4)
(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.
(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.
(A(v), v)
lim = .
||v|| ||v||
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
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:
Pela hipotese do operador A ser coercivo, segue que a sequencia un e uniformemente limitada,
ou seja, existe C > 0 tal que:
||un || C.
|(A(un ), un )|
lim = = ,
||un || ||un ||
(A(um ), wk ) = (f, wk ) m k.
Portanto:
(g, wk ) = lim (A(um ), wk ) = (f, wk ).
m
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:
Assim
u * u em X
m
A(um ) * f em X 0
(A(u ), u ) (f, u),
m m
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.
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
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 ().
(|x|p2 |y|p2 )(|x|2 |y|2 ) + (|x|p2 + |y|p2 )|x y|2 = 2(|x|p2 x |y|p2 y) (x y).
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:
Z
1
|u v|p 0 u, v W01,p ().
2p2
Caso 2: 1 < p < 2
Para 1 < p < 2, temos a desigualdade:
Z 1
+(p 2) |y + t(x y)|p4 ((y + t(x y)) (x y)2 dt.
0
Por Cauchy-Schwarz, segue que:
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
37
Logo:
(|x|p2 x |y|2 y) (x y) (p 1)|x y|2 (1 + |y| + |x|)p2 .
Z
(p 1) |u v|2 (1 + |u| + |v|)p2 0 u, v W01,p ().
Com estes resultados em maos, podemos provar o seguinte resultado, essencial no decorrer
do texto.
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
38
Tome W01,p (). Afirmamos que:
Z Z
p2
|un | un |u|p2 u .
e
|un |p2 |un | |un |p1 ||| g p1 || L1 ().
(p u, u)
.
||u||W 1,p
0
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 .
39
Tome = u1 u2 . Logo
Z
(|u1 |p2 u1 |u2 |p2 u2 ) (u1 u2 ) = 0.
Isto e,
u1 = u2 q.t.p. em .
|u1 u2 |2
Z Z
1
2p
(|u1 |p2 u1 |u2 |p2 u2 ) (u1 u2 ) = 0.
(1 + |u1 + |u2 |) p1
u1 = u2 q.t.p em .
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
h c (||f ||
W 1,p0 + 1)
ip0 1 ||un ||W 1,p
1 0
+ 0
.
p p p
hc (||f ||
ip0
0 +1)
W 1,p
onde K,p = 1 .
p
p
Porem, fazendo = , segue que:
2
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)
Afirmacao 2.2.1. Z Z
lim h(x, un1 )un = h(x, u)u.
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:
0
p un = f h(x, un1 ) em W 1,p (). (2.10)
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 ().
43
Porem, pelo Lema 2.1.4, (2.6), (2.7) e (2.8), temos que:
b = p u. (2.14)
0
p u + h(x, u) = f em W 1,p ()
e o resultado segue.
44
Captulo 3
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 ().
div(|u|p2 u) = div(g)
|u|p1 = g L1 (),
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
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.
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)
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:
|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
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
W01,p () , Lq () (3.13)
de modo que u Lq () e, em particular,
Z
|u|q < .
e assim Z
1
med(Bn ) q |u|q . (3.14)
n Bn
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
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
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 ,
||u||Lq c6
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,
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
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)
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 * u em Lq ().
Assim, novamente pelo comentario logo apos ao Teorema 1.1.35, pag. 20, segue que:
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 < .
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.
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,
Z Z 1/q Z 1/q0
q
|(un um )| |(un um )|
\Dn,m, \Dn,m, \Dn,m,
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 (),
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.
vn v em L ()
e entao
Z
lim vn v df lim ||vn v||L ||f ||M () = 0. (3.36)
n n
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 .
0 0
Lm () , L(p ) () , W 1,p (),
de modo que
0 0
W 1,p () Lm () = W 1,p (),
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 ()
m = (p )0 . (3.38)
||u||W 1,q C,
0
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)|}.
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:
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
Z Z
0 p 0
(u)|u| = (u)|u|p . (3.42)
Dn En En
Z
f (u),
En
60
Logo, por (3.40) e (3.43), obtemos que:
Z
1
|u|p B(med(En )) m0 . (3.44)
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
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
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
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)
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
qN mp q2N
> q.
N m qm N m qm
||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:
1
Tomando = , temos que:
2c4
||u||qLq c5 , (3.59)
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 ().
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
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:
< 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 ).
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)).
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.
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)
Afirmacao 3.3.1.
Z Z
|gn (x, un )| |fn |, para todo inteiro n e
{|un |>t} {|un |>t}
Z Z
gn (x, un )i (un ) fn i (un ). (3.67)
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}
Afirmacao 3.3.2.
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)
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.
(p 1)(N q)
q< .
N p
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 .
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:
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:
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:
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)
Pelo Teorema de Vitali, para mostrarmos tal afirmacao, basta provarmos que:
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 }
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
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 |.
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
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.