EDP Eliptica Cap4 2017 PDF

EDPs ELIPTICAS - MAT5812 - IMEUSP - 2017
Professor Oswaldo Rio Branco de Oliveira
Estas notas baseiam-se em Gilbarg, D. and Trudinger, N. S., Elliptic Par-

tial Differential Equations of Second Order, Springer (2001) e, como material de
apoio, em G. B. Folland, Real Analysis - Modern Techniques and Their Appli-
cations, 2nd ed, John Wiley & Sons. Agradeco particularmente as notas de aula
do curso sobre os mesmos topicos e ministrado por J. C. D. Fernandes.
Notacoes.
Captulo 1 - Espacos Lp e de Hilbert.

1.1 Introducao.
1.2 Fatos Basicos sobre a Integral de Lebesgue.
1.3 Fatos Basicos sobre Lp .
1.4 Desigualdades e Interpolacoes Basicas.
1.5 O Dual de Lp .
1.6 Algumas Desigualdades Uteis.
1.7 O Teorema de Interpolacao de Marcinkiewicz.
1.8 O Lema de Lax-Milgram e a Alternativa de Fredholm
Captulo 2 - Produto de Convolucao, Aproximacao e Regularizacao.

2.1 Introducao.
2.2 Produto de Convolucao.
2.3 Aproximacao da Identidade.
2.4 Lema de Urysohn (C ) e Teorema de Tietze.
2.5 Regularizacao e Lploc ().

Captulo 3 - Espacos de Sobolev.
3.1 Introducao
3.2 Derivada fraca
3.3 Regra da Cadeia e Regra do Produto
3.4 Espacos W k,p
3.5 Teoremas de Densidade
3.6 Teoremas de Imersao
3.7 Estimativas para o Potencial e Teoremas de Imersao
3.8 Estimativas de Morrey e de John-Nirenberg
3.9 Resultados de Compacidade
3.10 Diferencas de Quociente
Captulo 4 - Solucoes Generalizadas e Regularidade.
4.1 Introducao....................................................................................................7
4.2 Princpio do Maximo Fraco (Classico)..........................................................15
4.3 Princpio do Maximo Fraco Estendido..........................................................18
4.4 Solvabilidade do Poblema de Dirichlet..........................................................29
4.5 Diferenciabilidade das solucoes fracas...........................................................34

Captulo 1
ESPACOS Lp e de HILBERT
3
Captulo 2
PRODUTO DE
CONVOLUCAO,
APROXIMACAO E
REGULARIZACAO
4
Captulo 3
ESPACOS DE SOBOLEV
5
.
6
Captulo 4
SOLUCOES GENERALIZADAS
E REGULARIDADE
4.1 Introducao
Seja um aberto limitado, conexo e com de classe C 1 .

Consideremos um operador diferencial linear (elptico) da forma
P u = P (x, )u = aij i j u + bi i u + cu,

i,j i
onde aij = aji e bi sao funcoes mensuraveis em . A matriz

a11 a1n

A=

an1 ann

e simetrica. Com a notacao para produto interno em Rn , escrevemos
b = (b1 , . . . , bn ) e bi i u = b u.
i
Ainda mais, se u e de classe C 2 entao i j u = j i u e ainda
aij i j u = aii i2 u + 2 aij i j u.

i,j i i<j
A seguir, mostramos (rememoramos) propriedades de A = A(x). O teorema

fundamental da algebra garante que A tem ao menos um auto-valor complexo.
7
Representemos um vetor z Cn como uma matriz-coluna z Mn1 (C). Seja
z o conjugado de z, coordenada a coordenada. Dada uma matriz arbitraria M
seja M T sua transposta. Dados vetores z e w, ambos em Mn1 (C), indiquemos
o produto interno complexo z w pelo produto matricial
z w = wT z.
Portanto temos
z2 = z T z = z1 2 + + zn 2 = z2 para todo z T = (z1 , . . . , zn ).
Definicao. Uma matriz simetrica e real A Mnn (R) e definida positiva se
v T Av = Av v > 0, para todo v Rn {0}.
Ainda, A e positiva (negativa) semi-definida se v T Av 0 ( 0) para todo v.
Proposicao. Seja A uma matriz n n, simetrica e real.
Os auto-valores de A sao reais
A matriz A e definida positiva se e somente se todos os seus auto-valores

sao estritamente positivos. Neste caso, se e sao, respectivamente, o
menor e o maior auto-valores de A entao temos
0 < v2 v T Av v2 , para todo v 0.
Prova.
Seja um auto-valor de A e v 0 um auto-vetor, possivelmente complexos.

Podemos supor v = 1. Notemos que
Av = v e Av = Av = v = v.
Isto e, e auto-valor associado ao auto-vetor v, com v = 1. Segue
= v T v = v T v = v T Av = (v T Av)T
= v T AT v = v T Av = v T v = v T v
= .
8
Por hipotese, A e simetrica. Consideremos a funcao (forma bilinear)
B(v) = v T Av, onde v Rn .
Pelo teorema do maximo de Weierstrass, a restricao B S n1 R assume

um maximo em algum vM e um mnimo em algum vm , ambos em S n1 .
O gradiente B(v) = 2Av. Seja e1 o primeiro vetor canonico. Segue
v T Ae1 = (v T Ae1 )T = eT1 AT v = eT1 Av = Av e1
e a primeira coordenada de Av. Por quocientes de Newton encontramos

(v + te1 )T A(v + te1 ) v T Av
= v T Ae1 + eT1 Av + teT1 Ae1 2(Av e1 ).
t0
t
Analogamente para as demais coordenadas. Logo, B(v) = 2Av.
Por multiplicadores de Lagrange, B e ortogonal a S n1 em vm e em vM .
Figura 4.1: Em vm e vM (talvez varios), temos B ortogonal a S n1 .
Ainda por Lagrange, existem reais m e M satisfazendo
B(vm ) = 2m vm e B(vM ) = 2M vM .
Logo, 2Avm = 2m vm e 2AvM = 2M vM . Isto e, m e M sao auto-valores.

Ainda mais, B(vm ) = vm
T Av = v 2 = . Analogamente, B(v ) = .
m m m m M M
Seja um auto-valor. Como usual, podemos supor Av = v com v S n1 .

Segue = v T Av = B(v) B(S n1 ). Conclumos entao
B(S n1 ) = [m , M ] = [, ].
Dado v 0, segue B(v/v) . Tal desigualdade e equivalente a
v2 v T Av v2 , se v 0.
Se A e definida positiva, seja v um auto-vetor unitario associado ao menor

auto-valor . Segue = vT Av > 0. Se todo auto-valor de A e maior que
zero, entao B(S n1 ) (0, +). Donde segue (e trivial) v T Av > 0 se v 0
9
Definicoes. Mantendo a notacao, consideremos o operador
P = P (x, ) = aij i j + bi i + c.
i
Sejam (x) e (x) o menor e o maior auto-valores de A(x), respectivamente.
O operador diferencial P e elptico no ponto x se a matriz (simetrica)

a11 a1n

A(x) =

an1 ann

e positiva. Isto e, se todos os auto-valores de A(x) sao estritamente positi-
vos. Equivalentemente,
0 < (x)2 aij i j = T A (x)2 , para todo Rn {0}.
O operador P e elptico em se P e elptico em todo ponto de .
P e estritamente elptico em se existe uma constante 0 satisfazendo
(x) 0 > 0, para todo x .
P e uniformemente elptico se P e elptico e a funcao

e limitada em .

A parte principal de P e
aij i j .
Exemplo. Consideremos, no plano, o operador
Q = x2 + xy2 .
No semi-plano a direita, Q e elptico mas nao uniformemente elptico.

Nas faixas verticais (a, b) (, +), temos que Q e uniformemente elptico
(cheque).
10
Neste captulo, estudaremos o operador P cuja parte principal possa ser apre-
sentada na forma divergente (i.e., segundo o teorema da divergencia) e com
hipoteses de suavidade (regularidade) fracas para seus coeficientes.
Como motivacao, suponhamos que os coeficientes aij sao funcoes diferenciaveis,

com os demais coeficientes mensuraveis. Entao, dada f C 2 () temos
aij i j f = i (aij j f ) i (aij )j f.
Logo,
P f = aij i j f + bi i f + cf
i,j i
= i (aij j f ) i (aij )j f + bi i f + cf.

i,j i,j i
Escrevemos P f na forma (com i = 0)
P f = i ( ij j f + i f ) + i i f + f.
i j i
Entao, renomeando P por L e abusando da notacao retornamos as letras a, b e

c, introduzimos a letra d e passamos a estudar o operador L dado por
Lu = i (aij j u) + i (bi u) + ci i u + du.

i,j i i
O operador L e extensvel a uma classe de funcoes bem mais ampla que C 2 ().
Definicao. Uma funcao u W 1,2 () e uma solucao fraca ou generalizada

da equacao homogenea
Lu = 0
se e somente se vale a condicao
( aij (j u)(i ) bi ui + ci (i u) + du) dx = 0,

i,j i i

para toda Cc1 ().
Toda funcao no espaco Cc1 () e chamada funcao teste.
11
A seguir, consideremos formalmente a forma bilinear
L(u, v) = ( aij (j u)(i v) + bi ui v ci (i u)v duv) dx.

i,j i i

Seja c = (c1 , . . . , cn ). Indiquemos o produto interno em Rn por , . Logo,
(x1 , . . . , xn ), (y1 , . . . , yn ) = x1 y1 + + xn yn .
Como u e v sao funcoes reais, podemos tambem reescrever
L(u, v) = [ Au, v + u b, v c, u v duv ]dx.

Sejam u W 1,2 (), Cc1 () e L com coeficientes suaves o suficiente. Segue
(Lu) dx = ( i (aij j u) + i (bi u) + ci i u + du) dx

i,j i i

= ( (aij j u)(i ) bi u(i ) + ci (i u) + du) dx

i,j i i

= L(u, ).
Definicoes e Notacoes. Escrevemos

Lu = 0 se e so se L(u, ) = 0 para toda funcao teste Cc1 (). Neste caso,
u e uma solucao fraca.
Lu 0 se e so se L(u, ) 0 para toda funcao nao-negativa Cc1 ().

Neste caso, u e uma sub-solucao.
Lu 0 se e so se L(u, ) 0 para toda funcao nao-negativa Cc1 ().

Neste caso, u e uma super-solucao.
Observemos que se L e o operador Laplaciano, entao
L(u, v) = u, v dx.
Ainda, as condicoes Lu = 0, Lu 0 e Lu 0, para u C 2 (), correspondem as

seguintes situacoes similares no caso do operador laplaciano.
u = 0 e entao u e dita harmonica.
u 0 e entao u e dita sub-harmonica.
u 0 e entao u e dita super-harmonica.
12
Definicao. Seja L = Lu = i (aij j u) + i (bi u) + ci i u + du como acima.

Sejam g e f1 , . . . , fn funcoes localmente integraveis em . Dizemos que uma
funcao fracamente diferenciavel u e solucao fraca ou generalizada da equacao
nao homogenea
Lu = g + i fi
se e somente se vale a identidade integral
L(u, ) = F () = ( fi i g) dx para toda Cc1 ().

Notemos que
L(u, ) = (Lu) dx = Lu, .

Definicao. Mantenhamos a notacao para o operador L. Dizemos que L e estrita-
mente elptico se existe uma constante > 0 tal que
T A(x) = aij i j 2 , para todos x e Rn Mn1 (R).

Doravante, supomos L estritamente elptico e com coeficientes em L ().
Tambem reescrevemos a hipotese coeficientes em L () dizendo que exis-
tem constantes e 0 satisfazendo q.t.p. as condicoes
aij (x)2 2 e 2 (bi (x)2 + ci (x)2 ) + 1 d(x) 2 .
Dado um espaco de matrizes (de um especfico tamanho), identificando-o com

um espaco euclidiano RN adequado e entao munindo o espaco das matrizes desta
norma euclidiana (as vezes dita norma de Hilbert-Schmidt no espaco das
matrizes), reescrevemos tais condicoes como (com indicando tal norma)
A2 2 e 2 (b2 + c2 ) + 1 d 2 , ambas q.t.p. em .
O problema de Dirichlet generalizado. Uma funcao u W 1,2 () e uma

solucao do problema de Dirichlet generalizado

Lu = g + i fi em ,

u = v em , onde v W (),
1,2

se

u e uma solucao generalizada/fraca de Lu = g + i fi ,

u v W0 ().

1,2
13
Sejam u W 1,2 () e Cc1 (). A desigualdade de Schwarz acarreta
RRR RRR
RRR R
L(u, ) = RR [ Au, + u b, c, u du ]dxRRRR
RRR RRR
R R
CuW 1,2 () W 1,2 () .
Logo, fixada uma funcao u W 1,2 (), o funcional linear
L(u, )
e contnuo em Cc1 () = W01,2 (). Por continuidade, a validade das relacoes
L(u, ) = 0 L(u, ) 0 L(u, ) 0
para Cc1 () assegura a validade das mesmas trocando por v W01,2 ().
Ainda mais, a valida estimativa
L(u, v) CuW 1,2 () vW 1,2 () , com u W 1,2 () e v W 1,2 (),
mostra que L e uma forma bilinear contnua no espaco de Hilbert W 1,2 () [e no

espaco de Hilbert W01,2 ()]. Vide captulo 3 - secao 3.4 - os espacos W k,p ().
Desta forma, fixada u W 1,2 (), podemos definir Lu como um elemento do
dual (W01,2 ()) atraves da expressao

Lu(v) = L(u, v), onde v W01,2 ().
Sabidamente, pelo teorema da representacao de Riesz para espacos de Hilbert

(vide captulo 1, secao 1.8 - Lema de Lax-Milgram e a Alternativa de Fredholm)
podemos identificar
(W01,2 ()) = W01,2 ().

Segue entao que o operador L induz uma aplicacao
L W 1,2 () W01,2 ().
Neste captulo mostraremos que a resolubilidade do problema de Dirichlet e re-

dutvel a inversibilidade desta aplicacao.
14
4.2 Princpio do maximo fraco (classico)
Mantenhamos a notacao na secao anterior. Sejam P = aij i j + bi i + c e

= (x) o menor auto-valor da matriz simetrica A = (aij ) no ponto x. A maioria
dos resultados sobre P requer alguma condicao que limita a influencia dos termos
de menor ordem bi i e c relativamente a parte principal aij i j .
Teorema (Princpio do maximo fraco, classico). Seja
P = aij i j + bi i + c, com c = 0.
Suponhamos P elptico no aberto (limitado) e satisfazendo a condicao

b
limitada, onde b = (b1 , . . . , bn ).

Suponhamos tambem
P f 0 (P f 0) em , onde f C 2 () C 0 ().
Entao, o maximo (mnimo) de f e atingido na fronteira . Isto e,
sup f = sup f (inf f = inf f ) .

Prova.
Pelo teorema de Weierstrass f R assume um maximo.
Se P f > 0 em , entao vale um princpio do maximo forte: todo ponto

de maximo de f (pode haver mais que um) nao esta em . De fato, se p
e um ponto de maximo de f e p , entao temos f (p) = 0 e a matriz
hessiana (e simetrica) Hf = (ij2 f ) em p e negativa semi-definida. Isto e,
v T Hf (p)v 0, para todo v Rn {0} [v T Hf (p)v = (p)] .

2f
v 2
Mas A = (aij ) e (definida) positiva, pois P e elptico, e b f (p) = 0. Logo,
0 < P f (p) = aij (p)ij2 f (p).
Algebra linear garante as existencias de uma matriz diagonal D = (dij ), com

cada dii 0, e uma matriz ortogonal B = (bkl ) [i.e., BB T = I] tal que
(ij2 f (p)) = Hf (p) = B T DB.
15
[Vide diagonalizacao de uma matriz hermtica em T. M. Apostol, Calculo,
vol 2, ed. Reverte, p. 138 ou vide Real Spectral Theorem em S. Axler,
Linear Algebra Done Right, 2nd ed., Springer, p. 136.]
Dada uma matriz qualquer C = (crs ), tambem escrevemos Crs = crs . Segue
ij2 f (p) = (B T )ik dkl blj = bki dkl blj = bmi dmm bmj .
k,l kl m
Donde segue (a contradicao)
aij (p)ij2 f (p) = dmm ( bmi aij bmj ) 0 = 0

ij m ij m
[Destaque-se que utilizamos apenas que A e positiva semi-definida.]
Conclusao do teorema. Evidentemente, a desigualdade
eT1 Ae1 implica a11 .
Seja uma constante tal que
b
.

Entao, para uma constante grande o suficiente obtemos
P (ex1 ) = ( 2 a11 + b1 )ex1 ( 2 )ex1 > 0.
Logo, devido a hipotese P f 0, para todo > 0 temos
P (f + ex1 ) > 0 em
e portanto pelo que ja provamos acima segue
sup (f + ex1 ) = sup (f + ex1 ) .

Impondo 0 encontramos (cheque)
sup f = sup f

16
A seguir, eliminemos a condicao c = 0. Investiguemos o caso
c 0 em .
Definamos o subconjunto
+ = {x f (x) > 0}
.
Sob a hipotese P f 0 encontramos
P0 f = aij i j f + bi i f cf 0 em + .
Logo, o maximo de f em + e assumido em (+ ) e assim em (cheque).
Utilizemos as notacoes f + = max(f, 0) e f = max(f, 0) = (f )+ .
Corolario. Seja P = ( aij i j + bi i + c) elptico, com c 0 e b / limitada.

Suponhamos P f 0 (P f 0) em , onde f C 2 () C 0 (). Entao,
sup f sup f + (inf f inf f ) .

Se P f = 0 em , entao
sup f = sup f .

Prova. Exerccio
Teorema (Unicidade da solucao e princpio de comparacao). Seja P

elptico, com c 0 em . Sejam f e g funcoes em C 2 () C().
(Unicidade da solucao do problema de Dirichlet classico.) Vale o que segue.

P f = P g em
f = g em .

f =g

em .
(Princpio de comparacao.) Vale o que que segue.

P f P g em
f g em .

f g

em .
Prova. Exerccio
17
4.3 Princpio do maximo fraco (estendido)
O princpio do maximo classico enunciado para o operador P se estende a

operadores L no formato do divergente. Para isto conceituamos desigualdade na
fronteira para funcoes em W 1,2 ().
Dada uma funcao u e decompondo
u = u+ u ,
pelo corolario gradientes das partes positiva e negativa e do modulo (captulo 3,

secao 3.3 - regra da cadeia) temos
u W 1,2 () {u+ , u } W 1,2 ().
Observemos (u )+ = 0, onde u e uma funcao qualquer.
Figura 4.2: Uma funcao u = u(x, y) com u+ 0 e u 0. Vide animacao

http://archives.math.utk.edu/ICTCM/VOL10/C009/lc.gif
Desigualdade na Fronteira para Funcoes em W 1,2 () [em geral, podemos

supor de classe C 1 ] . Seja u W 1,2 (). Escrevemos
u 0 em [no sentido de W 1,2 ()] se u+ W01,2 ().
18
Proposicao (As funcoes de W01,2 () sao negativas na fronteira). Dada

u W01,2 (), entao temos
u+ W01,2 () ou, equivalentemente, u 0 em [no sentido de W 1,2 ()].
Prova.
Por definicao de W01,2 () e pelo teorema convergencia em Lp e convergencia

pontual (vide captulo 1) segue que existe (n ) Cc1 () tal que
(n , n ) (u, u) e (n , n ) (u, u).

L2 () q.t.p.
E trivial ver que +n Cc () e que +n u+ n u. Portanto
+n u+ L2 () 0.
E trivial ver que +n u+ 2 n u2 + n 2 + u2 (cheque).

Seja x tal que u(x) > 0. Como n (x) u(x), para n grande o suficiente
temos +n (x) = n (x). Segue lim +n (x) = lim n (x) = u(x) = u+ (x).
Seja x tal que u(x) < 0. Como n (x) u(x), para n grande o suficiente
temos +n (x) = 0. Segue lim +n (x) = 0 = u+ (x).
Seja x tal que u(x) = 0. Logo, u(x) = 0. Como n (x) u(x), obtemos
+n (x) + n (x) = n (x) 0. Segue lim +n (x) = 0 = u+ (x).
Em suma, temos +n u+ . Donde segue +n u+ 2 0.
q.t.p. q.t.p.
Por outro lado, temos n u2 + n 2 + u2 2u2 L1 ().

q.t.p.
Desta forma, pelo teorema da convergencia dominada generalizado segue
n u dx 0.
+ +2
Resumindo, encontramos
(+n , +n ) (u+ , u+ ).
L2 ()
Temos que +n W 1,2 () e +n tem suporte compacto. Seja +n proxima a u+

na norma de W 1,2 (). Pelo lema regularizacao e aproximacao em W k,p (),
vide secao 3.5, existe Cc () com proxima a +n na norma de W 1,2 ().
A desigualdade triangular mostra proxima a u+ na norma de W 1,2 ()
19
Comentario. Se u e uma funcao contnua numa vizinhanca de , dizemos que
u satisfaz u 0 em se tal desigualdade vale no sentido pontual classico. A
proposicao abaixo mostra que nao ha ambiguidade entre estas definicoes. Para
prova-la, usamos o teorema a seguir (um caso particular de um teorema ja visto).
Teorema (Caracterizacao de W01,2 ().) Seja um aberto conexo e limitado

tal que e de classe C 1 . Seja u W 1,2 () C(). Temos
u W01,2 () u = 0 em (no sentido classico).
Prova. Apresentada no Captulo 3 (secao 3.12).
- Vide tambem Treves [15, pp. 193196] e Treves [15, section a weak maxi-
mum principle, pp. 259267].
- Vide tambem Lista 4, Exerccio 6, sugerido em Gilioli [9, p. 351].
- E tambem util ler no captulo 3 (secao 3.5 - teoremas de densidade) a

demonstracao do teorema
C ( ) e denso em W 1,2 (),
no caso em que a fronteira e de classe C 1 (estamos assumindo tal sua-

vidade na fronteira, ao longo desta secao).
- Vide tambem o setimo comentario dos oito comentarios apos o exemplo de

uma funcao em W01,2 () Cc1 (), o qual e dado logo a seguir.
Proposicao (Equivalencia entre as definicoes de u 0 na fronteira).

Seja um aberto conexo e limitado de classe C 1 . Seja u W 1,2 () C().
Entao, temos
u 0 em , no sentido de W 1,2 (), u 0 em , no sentido classico.
20
Prova.
() Por hipotese temos u+ W01,2 (). E trivial ver que u+ C(). Logo,
u+ W01,2 () C().
Pelo teorema de caracterizacao de W01,2 () segue u+ = 0 em pontual-

mente. Donde segue u 0 em pontualmente.
() O teorema o gradiente das partes positiva e negativa e do modulo garante
u+ W 1,2 () C().
A hipotese u 0 em , pontualmente, mostra u+ = 0 em pontualmente.

Pelo teorema de caracterizacao de W01,2 () segue u+ W01,2 (). Isto e, u 0
em no sentido de W 1,2 ()
Outras definicoes para desigualdades na fronteira seguem naturalmente.

Por exemplo, dado um par {u, v} em W 1,2 () definimos
u 0 em se u 0 em .
Ainda,
u v em se u v 0 em .
Definimos
sup u = inf {k u k em [isto e, (u k)+ W01,2 ()] , onde k R}.

Definimos tambem
inf u = sup(u).

A seguir, o exemplo mencionado nos comentarios acima.
21
Exemplo [Uma funcao em W01,2 () Cc1 ().] Seja a bola B(0, 2) R2 .
Consideremos

(1 x2 y 2 ) 4 se x2 + y 2 1,
3
u(x, y) =

se 1 x2 + y 2 < 2.
0
Figura 4.3: Exemplo de u = u+ W01,2 () ou, ainda, u 0 em , com = B(0, 2).

Claramente u e contnua, positiva e supp(u) = D(0, 1) e compacto em B(0, 2).

Temos

2
3(x,y)
se x2 + y 2 < 1
u(x, y) =
4

1x2 y 2

0 caso contrario.
Logo, u nao e de classe C 1 . Assim, u Cc1 (B(0, 2)).
Evidentemente u L2 (B(0, 2)). Mostremos que u W 1,2 (). Temos
9 x2 + y 2
u2L2 () =
9 1 r3
dx dy =
2 0
dr.
B(0,1) 4 1 x2 y 2 1 r2
Esta ultima integral e finita, pois

0 = 2 1 r = 2.
1 dr 1
1r 0
Logo, u W () [assim, u e u estao em L ()] e u tem suporte compacto.

1,2 2
Sejam a funcao curva do sino e a convolucao u = u Cc () (vide

teorema derivada do produto de convolucao - captulo 2, secao 2.2). Pelo lema
derivada fraca e regularizacao (capitulo 3, secao 3.2 - derivadas fracas) temos
j (u ) = (j u) , para cada j = 1, . . . , n.
O lema regularizacao em Lploc () [cap. 2, secao 2.5 - regularizacao e Lploc ] mostra

u u e
L2 ()

(
L2 ()
j u) j u.
Portanto, como j (u ) = (j u) e u Cc (), conclumos que
(u , u ) (u, u) u W01,2 ()
L2 ()
e
22
Comentarios (cheque). Sejam u e v, ambas em W 1,2 ().
(1) Se u 0 em entao u 0 em . Analogamente, se u M em [isto e,

u M 0 no aberto ] com M uma constante, entao u M em .
(2) Se u v em , entao u v em .
(3) Evidentemente (u )+ = 0 W01,2 () e entao u 0 em (em linguagem

figurada, a parte submersa u e menor ou igual a zero na fronteira).
(4) Se u W01,2 (), entao existe (n ) Cc1 () convergente a u na norma de

W 1,2 (). Podemos supor (vide teorema convergencia em Lp e convergencia
pontual) que (n , n ) (u, u). Toda n e identicamente nula na
q.t.p
fronteira . Logo, podemos definir u = 0 em (mesmo que > 0).
(5) Se Cc1 (), entao temos 0 em no sentido de W 1,2 ().

Sugestao. Pelo corolario gradientes das partes positiva e negativa e do
modulo (vide captulo 3, secao 3.4 - regra da cadeia) vemos que + e fraca-
mente diferenciavel, com {+ , + } L2 (), cheque. Logo, + W 1,2 ().
Evidentemente
supp(+ ) e compacto em .
Considerando a funcao curva do sino segue (vide Lista 3 - Exerccio 7)

(+ ) Cc ()

e

(+ ) + .
W 1,2 ()

Conclumos entao que
+ W01,2 ().
(6) Temos u 0 em se a funcao u+ (figurativamente, a parte emersa) e

limite de uma sequencia em Cc1 () e na norma de W 1,2 ().
(7) Se C 1 () satisfaz 0 em , entao W01,2 ().
(8) Se u e limite [no espaco W 1,2 ()] de uma sequencia de funcoes suaves (de
classe C 1 no aberto , neste contexto), todas estas majoradas por 0 em ,
entao segue u 0 em .
23
Recordemos as definicoes (dadas acima)
sup u = inf {k u k em [isto e, (u k)+ W01,2 ()] , onde k R} e

inf u = sup(u).

Lema (O sup u em e um majorante de u em ). Sejam u W 1,2 () e
l = sup u < .

Entao temos
u l em [equivalentemente, (u l)+ W01,2 ()].
Prova.
Seja k satisfazendo u k em .
l k
Figura 4.4: A disposicao l k.
A funcao x+ e contnua e satisfaz x+ y + x y (cheque).

Seguem
(u k)+ (u l)+ k l
com (uk)+ em W01,2 (), pela definicao de u k em , e a convergencia

(u k)+ (u l)+ L2 () k l 0.
kl
Pelos gradientes das partes positiva e negativa e o modulo (secao 3.3) temos

(u k)+ = u se u > k u, u > l,
(u k) = e (u l) =

+ +

0 se u k
0, u l.
Donde segue
(u k)+ (u l)+ = u
{l < u k}
.
24
Temos (cheque, argumente com sequencias se preferir)
{x l < u(x) k} se k l.
Por hipotese, u L2 (). Pelo teorema da convergencia dominada segue
(u k)+ (u l)+ L2 () u
kl
({l < u(x) k})
0.
L2
Portanto, (u k)+ pertence ao espaco completo e fechado W01,2 () e, im-

pondo k l, converge a (u l)+ em W 1,2 (). Logo,
(u l)+ W01,2 ()
Nas consequencias do princpio do maximo classico (um corolario e um teo-

rema) impusemos o coeficiente c na expressao P = ( aij i j + bi i +c) negativo.
Isto e, c 0. A parcela correspondente para o operador
L = Lu = i (aij j u) + i (bi u) + ci i u + du
e
i bi + d = div(b) + d.
[Obviamente, div(b) e o divergente de b dado por
div(b) = 1 b1 + + n bn .]
Entao, como as derivadas i bi podem nao existir como funcoes, a nao positividade
desta parcela deve ser interpretada no sentido generalizado. Isto e, assumimos
(d bi i )dx = (d b, )dx 0 se 0 e Cc ().

1
Como ja combinado na secao 4.1, os coeficientes de L sao limitados. Entao,

por densidade, a desigualdade imediatamente acima tambem vale para toda w 0
com w W01,1 (). Isto e,
(dw bi i w) dx 0 se w 0 e w W0 ().
1,1
25
Segue entao o princpio abaixo.
Teorema (Princpio do maximo fraco, estendido). Mantidas as notacoes

acima, sejam L com coeficientes em L () e constantes 0 e 0 satisfazendo
A2 2 q.t.p. e 2 (b2 + c2 ) + 1 d 2 q.t.p..
Suponhamos tambem
(dw bi i w) dx 0 se w 0 e w W0 () [ou w Cc ()].

1,1 1
i

Seja uma sub-solucao (respectivamente, super-solucao) u W01,2 () com Lu 0

(respectivamente, Lu 0) em . Suponhamos que
sup u+ = l [0, +).

Entao,
sup u sup u+ (inf u inf u ) .

Prova. [Vide tambem, Trudinger, N. S., Linear Elliptic operators with me-
asurable coefficients, Ann. Scuola Norm. Sup. Pisa (3) 27, 265308 (1973).
As hipoteses sobre a matriz A garantem que A e estritamente e uniformemente
elptico e entao o artigo generaliza este teorema/princpio.]
Dadas u W01,2 () e v W01,2 (), e trivial ver que uv W01,1 (). De fato,
por definicao existem un Cc1 () e vn Cc1 () tais que

u u,
L2 () L2 ()

u n u e n
e

v v.
L2 () L2 ()
v n v e n
A desigualdade de Schwarz [ou a continuidade do produto interno em L2 ]
garante
e (un vn ) = un vn + vn un uv + vu.
L1 () L1 ()
un vn uv
Pelo teorema caracterizacao das derivadas fracas (especificamente a im-

plicacao nao direta, vide secao 3.2 - derivadas fracas) segue
uv = uv + vu L1 ().
Logo, uv W 1,1 (). Como un vn Cc1 (), conclumos que uv W01,1 ().
26
Por definicao temos Lu 0 se e so se vale a condicao L(u, ) 0 para toda

0 Cc1 (). Assim, escrevendo bi ui = bi i u+bi i (u) e reescrevendo
a condicao L(u, ) 0 encontramos (cheque, veja tambem as hipoteses)
L(u, v) = [ aij i uj v (bi + ci )vi u] dx [duv bi i (uv)] dx 0

i i

se v W01,2 () e tal que v 0 e w = uv 0 (vide formula destacada acima).

[Abreviadamente, dada v 0 tal que uv 0 obtemos
{ Au, v b + c, vu } dx {duv b, (uv) }dx 0.]

Pelas hipoteses sobre os coeficientes de L segue (a ser usada no caso trivial)
Au, v dx b + c, vu dx b + c vu dx

e destacamos a desigualdade (a ser usada no caso geral)
(4.3.1) Au, v dx 2 vu dx se v 0 e uv 0.

Caso trivial: b + c = 0. Pelas desigualdades imediatamente acima segue
Au, v dx b + c v u dx = 0.

Consideremos a constante
l = sup u+ [0, +) [l = inf {k u+ k em com k R}].

Pelo lema o sup u em majora u em temos u+ l em . Entao,

por definicao segue
u+ l 0 em ou, equivalentemente, (u+ l)+ W01,2 ().
E trivial ver que (cheque, use l 0)
v = max(u l, 0) = (u+ l)+ 0.
E claro que v W 1 () (cheque, e trivial). Pelo corolario gradiente para

partes positivas, negativas e o modulo (secao 3.3 - regra da cadeia) segue

(u l) = u se u l > 0,
v =

se u l 0.
0
27
E trivial constatar a condicao uv = u(u l)+ 0.
Pela expressao para v obtemos
0 Au, v dx Av, v dx 0.

A positividade definida de A garante v = 0. Pela propriedade funcoes cons-

tantes e gradiente fraco (secao 3.2 - derivadas fracas), v e constante. Entao,
pelas desigualdades de Sobolev-Gagliardo-Nirenberg (secao 3.6) temos
v = 0, com v = max(u l, 0) = 0.
Donde segue
sup u l = sup u+ .

Caso geral. Seja l [0, +) como acima. Suponhamos (por contradicao)

l < M = sup{u(x) x }. Logo, existe k tal que
l k < M e u k em , e entao v = vk = (u k)+ = (u+ k)+ W01,2 ().
Pelo corolario gradientes das partes positiva e negativa e do modulo (secao

3.3 - regra da cadeia) a funcao v = (u k)+ satisfaz

u se u > k,
(4.3.2) v = = {x v(x) 0} {x u(x) > k} .

e

0 se u k
E claro que uv = u(u k)+ 0 (cheque). E trivial ver que

0 se u(x) < M
vk (x)
kM

0 se u(x) = M.
A seguir, analisemos as integrais a esquerda e a direita em (4.3.1). Temos
Au, v dx = v, Au dx

= Av, u dx
A=AT
= Av, v dx.

28
Para a integral a direita em (4.3.1) temos v = 0 se u k e encontramos
vu dx = vu dx
u>k
= vv dx
u>k
= vv dx.
{u>k}
Por tais identidades integrais e a desigualdade (4.3.1) obtemos
Av, v dx 2 vvdx.

Assim, como L e estritamente elptico obtemos
v2 dx 2vL2 () vL2 ()

e entao
vL2 () 2vL2 () .
O caso dimensao n 3. Pelas desigualdades de Sobolev (secao 3.6 - teorema

de imersao) destacamos as desigualdades em normas
v 2n CvL2 () 2CvL2 () .
n2
Pelo corolario visto na secao 1.4 (desigualdades e interpolacoes), a funcao
1 p
1
v dx
p

p

e crescente. Como
> 2,
2n
n2
segue
1 2 1 1 2n
1 n2
vL2 () = v dx 2 v n2 dx = n v 2n .
1 2n 1
2

2
n2

29
Pelas desigualdades ja destacadas para normas de v, segue para a desi-
gualdade
1 2C n .
1
E claro que
= k {x u(x) 0} .
Isto e, quase todo ponto de k pertence a {x u(x) 0}.

Suponhamos k e k tais que k < k M . Seja x satisfazendo vk (x) 0.
Portanto u(x) 0 e u(x) > k . Logo, vk (x) 0. Donde encontramos
k k .
E entao trivial ver que (cheque)
se k M = sup u entao = k uM = {x u(x) = M }.

Logo, k uM e a desigualdade enfatizada para = k mostra
uM > 0.
O teorema gradiente fraco e funcoes constantes garante que
u = 0 em uM (i.e., u = 0 q.t.p. em uM ).
Po outro lado, ja destacamos que k {x u(x) 0}.

Encontramos entao (uma contradicao)

uM > 0

u 0 em uM

uM {x u(x) 0}
O caso dimensao n = 2. Basta trocar, no caso ja analisado n 3, o expoente

2n/(n 2) por qualquer expoente p > 2. Cheque
30
Exemplo. A hipotese
(d bi i ) dx 0 se 0 e Cc ()
1
i

e essencial no princpio do maximo acima. De fato, a equacao
u + 2u = 0 em , com u = 0 em ,
no quadrado (0, 2) (0, 2) (vide figura abaixo)
Figura 4.5: O quadrado [0, 2) [0, 2).
admite a solucao nao trivial (cheque os detalhes)
u(x, y) = sin(x) sin(y)
Corolario (Unicidade da solucao para o problema de Dirichlet genera-

lizado). Seja u W01,2 () tal que Lu = 0 em . Entao, u = 0 em .
Prova.
Pela proposicao as funcoes de W01,2 () sao negativas na fronteira segue

u 0 em , no sentido de W 1,2 ().
E obvio que Lu 0. Pelo princpio do maximo estendido segue
sup u sup u+ 0.

Tambem u W01,2 () e L(u) 0. Segue
inf u = sup u sup(u)+ = 0.

Conclumos entao u = 0 q.t.p. em
31
4.4 Resolubilidade do Problema de Dirichlet
Como na secao anterior, consideremos o operador L dado por
Lu = i (aij j u) + i (bi u) + ci i u + du, com u W 1,2 (),
e suponhamos que L satisfaz as condicoes

aij (x)i j 2 , para todos x e Rn ,

A2 2
(4.4.1) e 2 (b2 + c2 ) + 1 d 2 , ambas em ,

[dv b, ] dx 0, para toda 0 com Cc ().
1

O objetivo nesta secao e provar o teorema de unicidade abaixo.
Teorema (Existencia e unicidade para o problema de Dirichlet genera-

lizado). Seja L satisfazendo (4.4..1). Sejam v W 1,2 () e funcoes g, f1 , . . . , fn
em L2 (). Entao, o problema de Dirichlet generalizado

Lu = g + j j fj

u = v em ,
tem solucao unica.
Reducao do problema (e unicidade). Podemos supor u = 0 em .
Consideremos w = u v. Entao obtemos
Lw = Lu Lv
= g + i fi [ i ( aij j v + bi v) + ci i v + dv]
= [g ci i v dv] + [ i (fi aij j v bi v)]
g + i fi .
=
g e f1 , . . . , fn , definidas de forma obvia, pertencem a L2 ().
Notemos que
Entao, w e solucao do problema reduzido

L(w) = i fi +

g

w W0 ().
1,2
Assim, determinada uma solucao w de tal problema reduzido vemos que

u = w+v resolve o problema original (cheque). A unicidade foi estabelecida
no corolario acima
32
Como ja citado na introducao a este captulo, para provarmos a existencia de

uma solucao ao problema de Dirichlet generalizado utilizaremos a alternativa de
Fredholm. Recordemos (vide secao 4.1 - Introducao) que a forma
L W01,2 () W01,2 () R, onde
L(u, v) = [ Au, v + u b, v c u, v duv]dx,

satisfaz
L(u, v) CuW 1,2 () vW 1,2 ()
0 0
e e entao contnua. A seguir analisamos L quanto a coercividade (coercao: coagir,

coibir, reprimir, obrigar; controlar).
Dado R, e uma funcao u, definamos o operador L pela equacao funcional
(4.4.2) L u = Lu u.
Mostremos que L e coerciva para grande o suficiente.

Consideremos o problema

L u = i f i + g

(D )

u W0 ().
1,2
Recordemos as notacoes Lu, = L(u, ) e L u, = L (u, )]. Por de-

finicao, u e solucao de (D ) se vale a identidade
L (u, ) = L(u, ) u dx = ( fi i + g) dx

para toda Cc1 () [ou para toda = v W01,2 ()].

Assim, u e solucao de (D ) se para toda Cc1 () [ou = v W01,2 ()] temos
L (u, ) = L(u, ) + u dx = ( fi i g) dx.

Lema. E contnuo o funcional linear
F (v) = ( fi i v gv) dx, onde v W01,2 ().

n
i=1
Prova. Segue de
F (v) fi 2 i v2 + g2 v2
CvW 1,2 () , onde C = g2 + fi 2
0
33
Lema. A forma L e coerciva para grande o suficiente.
Prova.
Seja u W01,2 (). Existe uma constante m > 0 tal que
L(u, u) = [ Au, u + b c, uu du2 ]dx

u2 dx m u u dx m u2 dx

Notemos que
2 2 2 2
1 1
u u dx u dx u dx
2 2

2 u2 dx + 12 u2 dx

.
2
Logo,
L(u, u) u2 dx u
m2
u2 dx m u2 dx.
m
22 2
2
dx

Seja > 0 determinado por

= .
m
22 2
Segue
L(u, u) + u2 dx u2 dx + (
m2
m) u2 dx.

2 2

Entao, para 0 tal que

m>0
m2
0
2
temos que existe uma constante C1 > 0 (dependente de 0 ) tal que
L0 u(u) = L0 (u, u) C1 u2W 1,2 () .

0
Isto mostra que L0 e coerciva
No que segue, fixamos = 0 obtido na demonstracao acima.
34
Pela reducao ja feita ao problema de Dirichlet generalizado, devemos resolver

o problema reduzido

Lu = g + j j fj
(DR)

u W0 (),
1,2
Isto e, devemos achar u W01,2 () satisfazendo
Lu(v) = L(u, v) = F (v), para toda v W01,2 ().
Em outras termos, devemos resolver no espaco de Hilbert H = W01,2 () a equacao
Lu = F, dada F H .
Fixado tal que L e coerciva, estudemos a equacao
(4.4.3) L (u, v) = L(u, v) + uv dx.

Seja
J H H dado por Ju(v) = uv dx.

Lema. A aplicacao J H H e compacta.
Prova.
Podemos fatorar J = J1 J2 , onde

J2 H L2 () e a inclusao J2 (u) = u

e

J1 L2 () H e dada por J1 (u)(v) = uv dx.

Pelo teorema de compacidade de Rellich-Kondrachov, item (a) [vide captulo

3, secao 3.9 - resultados de compacidade], a inclusao J2 W01,2 () L2 ()
e compacta se n > 2. Se n = 2, dado um aberto limitado R2 tambem a
inclusao W01,2 () L2 () e compacta (cheque, vide Lista 5 de exerccios).
A aplicacao J1 e contnua (cheque, e trivial). Logo, J1 J2 e compacta

Pela identidade (4.4.3) e as notacoes L u(v) = L (u, v) e Lu(v) = L(u, v), obte-
mos L u(v) = Lu(v) + Ju(v) e entao a identidade entre funcionais lineares
(4.4.4) Lu = L u Ju.
Donde segue
Lu = F L u Ju = F .
35
Apliquemos os tres lemas acima.
Pelos dois primeiros destes tres lemas (i.e., o funcional linear F e contnuo e
a forma L e coerciva) e pelo corolario ao lema de Lax-Milgram [vide captulo
1, secao 1.8 - o lema de Lax-Milgram e a alternativa de Fredholm, vide tambem
Lista 5 de Exerccios] temos que
L H H e bicontnua.
Assim, a equacao L u Ju = F e equivalente a
u (L )1 Ju = (L )1 F.
Pelo terceiro e ultimo dos tres lemas acima (i.e., J e compacta), segue que
T = (L )1 J
e compacta.
Ja provamos a unicidade da solucao, em H = W01,2 (), da equacao homogenea
Lu = 0
e [notando que Lu = L (u T u)] e clara a equivalencia
Lu = 0 u (T )u = 0.
Entao, pela Alternativa de Fredholm (vide secao 1.8), a equacao nao homogenea
u (T )u = (L )1 F.
tem solucao (unica) u W01,2 (). Donde, completando a prova do teorema

existencia e unicidade para o problema de Dirichlet generalizado, conclumos que
Lu = F
36
A seguir, analisamos o comportamento espectral do operador L. Computemos

o adjunto formal de L.
Dadas duas funcoes R e R, utilizemos a notacao usual para

distribuicoes
, = dx.

Dado um operador L, seu adjunto formal e dado pela formula
Lu, v = u, L v .
Computemos L . Temos
Lu, v = [ i (aij j u) + i (bi u) + ci i u + du]v dx
= [ (aij (j u)(i v) bi ui v ui (ci v) + duv] dx
= [ uj (aij i v) ui (ci v) ubi i v + udv] dx
= u[ j (aij i v) i (ci v) bi i v + dv] dx.
Donde segue a formula para o adjunto formal
L v = i (aij j v) i (ci v) bi i v + dv .
Entao, segue
L (u, v) = L u, v = u, Lv = Lv, u = L(v, u).
Resunindo encontramos
L (u, v) = L(v, u) .
Supondo ambas u e v no espaco W01,2 (), conclumos que L e tambem o adunto

de L no espaco de Hilbert H.
Pela equacao (4.4.4) temos
L u = Lu + Ju.
37
Trocando L por L nos argumentos acima encontramos
L u = F Lu + Ju = F
L u + ( )Ju = F
u + ( )(L )1 Ju = (L )1 F
Como antes, definimos

T = (L )1 J .
Segue
L u = F ( )[( )1 u + T u] = (L )1 F
( )1 u + T u = ( )1 (L )1 F.
( )1 u T u = ( )1 (L )1 F.
Ainda mais, o adjunto T da aplicacao compacta T e
T = J (L )1 .
Podemos entao aplicar a Alternativa de Fredholm e obtemos o resultado abaixo.
Teorema (Descricao Espectral de L). Suponhamos que o operador L satisfaz

aij (x)i j 2 , para todos x e Rn ,

(4.4.5)

A 2 (b2 + c2 ) + 1 d 2 , ambas em .
2 2 e
Entao, existe um conjunto enumeravel e discreto R tal que dado
entao cada um dos problemas de Dirichlet

L u = g + i i fi L u = g + i i fi

e

u = em ,
u = em ,
onde as funcoes g, f1 , . . . , fn estao em L2 () e W 1,2 (), tem solucao unica.
Ainda mais, dado , os subespacos das solucoes dos problemas homogeneos

L u = 0 L u = 0

e

u = 0 em ,
u = 0 em ,
38
tem dimensao finita, e nao nula, e o problema

L u = g + i f i

u = em ,
e soluvel se e somente se temos
(4.4.6) [(g c, d + )v ( f, v A, v b, )] dx = 0,

para toda v satisfazendo

L v = 0

v = 0 em ,
Ainda mais, se vale a condicao
[dv b, ] dx 0, para toda 0 Cc (),

1
entao temos
(, 0).
Prova. Esboco.
Pela alternativa de Fredholm, existe um conjunto K R sem pontos de

acumulacao, com a possivel excecao da origem k = 0 R, tal que para cada
a equacao
( )1 u T u = ( )1 (L )1 F
tem solucao unica. Consideramos entao o conjunto
= + K.
Se k = K, pela alternativa de Fredholm segue que os subespacos
kernel(kI T ) e kernel(kI T )
tem dimensao finita . Logo, o espaco solucao para as equacoes correspon-

dentes aos operadores L e L tem dimensao finita.
Complete a prova
39
O operador
G = (L )1 H H, onde ,
e o Operador de Green para o problema de Dirichlet correspondente ao ope-

rador L . Pela Alternativa de Fredholm (basta a enunciada para espacos reais
e normados, vide captulo 1 - secao 1.8) segue que o operador G e contnuo.
Consequentemente temos as estimativas abaixo.
Corolario. Seja u W 1,2 () satisfazendo

L u = g + i f i

com .

u = em ,
Entao, existe uma constante C dependendo apenas de L, e tal que
uW 1,2 () C(g2 + fi 2 + W 1,2 () ).
Prova. Exerccio
Segue do teorema Descricao espectral de L que o teorema Existencia e uni-

cidade para o problema de Dirichlet generalizado continua valido (cheque) se
trocarmos bi por ci na condicao de negatividade
(dw bi i w) dx 0 se 0 w W0 ().
1,1
40
4.5 Diferenciabilidade das Solucoes Fracas
Analogamente as secoes anteriores, consideremos o operador L dado por
Lu = i (aij j u) + i (bi u) + ci i u + du, com u W 1,2 (),

ij
e suponhamos L estritamente elptico. Isto e, existe uma constante > 0 tal que
aij (x)i j 2 , para todos x e Rn .

Notacoes. Denotamos C 0,1 (), o espaco das funcoes lipschtzianas em . Ana-
logamente, denotamos C 0,1 (), o espaco das funcoes lipschtzianas em .
Exerccios. Seja R de Lipschitz.

(1) (A condicao de Lipschitz implica diferenciabilidade fraca.) A funcao
e absolutamente contnua nos segmentos contidos em e paralelos aos
eixos coordenados e, pelo teorema fundamental do calculo para a integral
de Lebesgue, existem as derivadas parciais [i.e., existem q.t.p. em ] e estas
sao limitadas [i.e., pertencem a L ()]. Entao, e fracamente derivavel.
Assim, e contnua e W 1 ().
(2) (Quociente de diferencas.) Sejam h R e fixemos ek o k-esimo vetor

canonico. Dada u Rn R, seja
u(x + hek ) u(x)
h u(x) = .
h
Consideremos u L1loc () e Cc1 (). Verifique
(a) u dx = ( u) dx.
h h
Consideremos duas funcoes reais, u e v. Verifique
(b) h (uv)(x) = u(x + hek )h v(x) + v(x)h u(x).
(3) ( A regra do produto com uma funcao de Lipschitz.) Consideremos

u W 1,p () e uma funcao de Lipschitz C 0,1 (). Entao,

u W 1,p () e

(u) = u + u.
Dica. Vide dicas aos tres exerccios na Lista 6 de Exerccios.
41
Teorema (Regularidade). Seja u W 1,2 () uma solucao fraca da equacao
Lu = f em ,
onde L e estritamente elptico, os coeficientes aij , bi , onde 1 i, j n, sao de

Lipschitz (uniformemente) em , os coeficientes c1 , . . . , cn e d pertencem a L ()
e a funcao f esta em L2 (). Entao, para todo O temos que u W 2,2, (O) e
uW 2,2 (O) C(uW 1,2 () + f L2 () ),
onde
C = C(n, , K, d ), K = max {aij C 0,1 () , bi C 0,1 () , ci , d } e d = d(O, ).
Ainda mais, u satisfaz a equacao
Lu = aij i j u + ( j aij + bi + ci ) i u + ( i bi + d) u = f
q.t.p. em .
Prova.
Funcoes de Lipschitz se estendem continuamente a e suas derivadas fracas

existem em e sao limitadas (vide exerccios acima e Lista 6 de Exerccios).
Como as funcoes aij e bi sao todas de Lipschitz, pela regra do produto com
uma funcao de Lipschitz (vide exerccio previo a esta prova) e claro que
Lu = aij i j u + (j aij + bi + ci )i u + (i bi + d)u = f.
Seja Cc1 (). Pela definicao de solucao fraca temos (omitindo )
Lu = f [aij j ui + (i bi )u + bi (i u) + ci i u + du] dx = f dx

aij j ui dx = [(bi + ci )i u + (i bi )u + du f ] dx.

Por hipotese, temos Lu = f . Segue entao
(4.5.1) aij j ui = g dx, para toda Cc (),

1

com

g = (bi + ci )i u + (i bi )u + du f em L2 ()

g2 (3n + 1)KuW 1,2 () + f 2 .
42
Suponhamos 2h < d(supp(), ). Fixemos ek , o k-esimo vetor canonico

em Rn , onde 1 k n. Seguindo a notacao apresentada no Exerccio 2
acima, troquemos na formula (4.5.1) a funcao pelo quociente de diferencas
h .
Obtemos entao [por (4.5.1) e por tal exerccio]
h (aij j u)i dx = aij j uh i dx

= aij j ui h dx

= gh dx.

Obtemos tambem (pelo mesmo exerccio)
h (aij j u)(x) = aij (x + hek )h j u(x) + h aij (x)j u(x).
Segue entao
aij (x+hek )j h u(x)i (x) dx = aij (x+hek )h j u(x)i (x) dx

= [h (aij j u) h aij j u]i dx

= gh dx h aij j ui dx

= gh dx
g , dx,

onde
g1 , . . . ,
g = ( gn ) com
gi = h aij j u.
j
Pelo lema estimativa para o quociente de Newton [vide secao 3.10 - dife-
rencas de quociente] para h pequeno o suficiente temos h 2 2
(cheque). Temos tambem h aij K cheque).
g 2 . Logo,
aij (x + hek )j h u(x)i (x) dx gh +

g , dx

(g2 +
g 2 ) 2
C(n)K2 .
43
REFERENCIAS
[1.] R. A. Adams and Fournier, J. J. F., Sobolev Spaces, 2nd ed., Academic
Press, 2003.
[2.] A. Bressan, Lecture Notes on Sobolev Spaces, 2012, Univ. of Pennsylvania.
https://www.math.psu.edu/bressan/PSPDF/sobolev-notes.pdf
[3.] H. Brezis, Functional Analysis, Sobolev Spaces and Partial Differential Equa-
tions, 2011, Springer.
[4.] M. M. Cavalcanti e V. N. D. Cavalcanti, Introducao a Teoria das Distribuicoes
e aos Espacos de Sobolev. Ed. Universidade Estadual de Maringa, 2009.
[5.] Driver, B. K., Lecture Notes on PDE, University of California (San Diego).
[6.] Evans, L. C., Partial Differential Equations, 2nd ed., AMS, 2010.
http://www.math.ucsd.edu/~bdriver/231-02-03/lecture_notes.htm
[7.] Folland, G. B., Introduction to Partial Differential Equations, second edition,
Princeton University Press, 1995.
[8.] -, Real Analysis - Modern Techniques and Their Applications, second
edition, Pure and Applied Mathematics, John Wiley and Sons, 1999.
[9.] Gilioli, A., Equacoes Diferenciais Parciais Elpticas, 10 Coloquio Brasileiro
de Matematica, 1975, IMPA.
[10.] Gilbard D. and Trudinger, N. S., Elliptic Partial Differential Equations of
Second Order, reprint of the 1998 edition, 2001.
[11.] Hunter, J. Lecture Notes on Sobolev Spaces, Univ. of California (Davis).
See https://www.math.ucdavis.edu/~hunter/pdes/ch3.pdf
On PDE, see https://www.math.ucdavis.edu/~hunter/pdes/pdes.html
[12.] Royden, H. L. - Fitzpatrick, P. M., Real Analysis, 4th ed, Prent. Hall, 2010.
[13.] Rudin, W., Real & Complex Analysis, third edition, McGraw-Hill, 1987.
[14.] , Functional Analysis, 2nd ed., Int. Ser. Pure and Appl. Math., 1991.
[15.] Treves, F., Basic Linear Partial Differential Equations, Academic Press,
1980.
[16.] Wheeden, R. L. and Zygmund, A. Measure and Integral, M. Deker, 1977.
44

EDP Eliptica Cap4 2017 PDF

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

EDP Eliptica Cap4 2017 PDF

Diunggah oleh

Hak Cipta:

Format Tersedia

EDPs ELIPTICAS - MAT5812 - IMEUSP - 2017

Professor Oswaldo Rio Branco de Oliveira

Estas notas baseiam-se em Gilbarg, D. and Trudinger, N. S., Elliptic Par-

Captulo 1 - Espacos Lp e de Hilbert.

1.2 Fatos Basicos sobre a Integral de Lebesgue.

1.3 Fatos Basicos sobre Lp .

1.4 Desigualdades e Interpolacoes Basicas.

1.6 Algumas Desigualdades Uteis.

1.7 O Teorema de Interpolacao de Marcinkiewicz.

1.8 O Lema de Lax-Milgram e a Alternativa de Fredholm

Captulo 2 - Produto de Convolucao, Aproximacao e Regularizacao.

2.2 Produto de Convolucao.

2.3 Aproximacao da Identidade.

2.4 Lema de Urysohn (C ) e Teorema de Tietze.

2.5 Regularizacao e Lploc ().

3.2 Derivada fraca

3.3 Regra da Cadeia e Regra do Produto

3.4 Espacos W k,p

3.5 Teoremas de Densidade

3.6 Teoremas de Imersao

3.7 Estimativas para o Potencial e Teoremas de Imersao

3.8 Estimativas de Morrey e de John-Nirenberg

3.9 Resultados de Compacidade

3.10 Diferencas de Quociente

Captulo 4 - Solucoes Generalizadas e Regularidade.

4.2 Princpio do Maximo Fraco (Classico)..........................................................15

4.3 Princpio do Maximo Fraco Estendido..........................................................18

4.4 Solvabilidade do Poblema de Dirichlet..........................................................29

4.5 Diferenciabilidade das solucoes fracas...........................................................34

Seja um aberto limitado, conexo e com de classe C 1 .

P u = P (x, )u = aij i j u + bi i u + cu,

onde aij = aji e bi sao funcoes mensuraveis em . A matriz

Ainda mais, se u e de classe C 2 entao i j u = j i u e ainda

aij i j u = aii i2 u + 2 aij i j u.

A seguir, mostramos (rememoramos) propriedades de A = A(x). O teorema

z2 = z T z = z1 2 + + zn 2 = z2 para todo z T = (z1 , . . . , zn ).

Definicao. Uma matriz simetrica e real A Mnn (R) e definida positiva se

v T Av = Av v > 0, para todo v Rn {0}.

Ainda, A e positiva (negativa) semi-definida se v T Av 0 ( 0) para todo v.

Proposicao. Seja A uma matriz n n, simetrica e real.

Os auto-valores de A sao reais

A matriz A e definida positiva se e somente se todos os seus auto-valores

0 < v2 v T Av v2 , para todo v 0.

Seja um auto-valor de A e v 0 um auto-vetor, possivelmente complexos.

Isto e, e auto-valor associado ao auto-vetor v, com v = 1. Segue

Por hipotese, A e simetrica. Consideremos a funcao (forma bilinear)

B(v) = v T Av, onde v Rn .

Pelo teorema do maximo de Weierstrass, a restricao B S n1 R assume

O gradiente B(v) = 2Av. Seja e1 o primeiro vetor canonico. Segue

v T Ae1 = (v T Ae1 )T = eT1 AT v = eT1 Av = Av e1

e a primeira coordenada de Av. Por quocientes de Newton encontramos

Por multiplicadores de Lagrange, B e ortogonal a S n1 em vm e em vM .

Figura 4.1: Em vm e vM (talvez varios), temos B ortogonal a S n1 .

Ainda por Lagrange, existem reais m e M satisfazendo

Logo, 2Avm = 2m vm e 2AvM = 2M vM . Isto e, m e M sao auto-valores.

Seja um auto-valor. Como usual, podemos supor Av = v com v S n1 .

Dado v 0, segue B(v/v) . Tal desigualdade e equivalente a

Se A e definida positiva, seja v um auto-vetor unitario associado ao menor

Sejam (x) e (x) o menor e o maior auto-valores de A(x), respectivamente.

O operador diferencial P e elptico no ponto x se a matriz (simetrica)

0 < (x)2 aij i j = T A (x)2 , para todo Rn {0}.

O operador P e elptico em se P e elptico em todo ponto de .

P e estritamente elptico em se existe uma constante 0 satisfazendo