Universidade Federal Fluminense

EDP II
Teorema sobre regularidade global

31/05/2019

No teorema de regularidade interior, estuda - se a solução fraca de Lu = f

em um aberto compactamente contido em Ω aberto limitado de RN . Sem con-
siderar condição de fronteira.

Agora consideraremos Ω com bordo de tipo C 2

Sejam então
Lu = f em Ω, com f ∈ L2 (Ω)
u = g em ∂Ω, com g ∈ W 2,2 (Ω), eventualmente g = 0 L operador uniforme
e estritamente elíptico na forma divergente com cocientes ai,j , bi ∈ C 1 (Ω),
ci , d ∈ L∞ (Ω). Se u é solução fraca do problema dado, então

1) u ∈ W 2,2 (Ω)

2) Existe C independente de u tal que

kukW 2,2 (Ω) ≤ C(kukW 1,2 (Ω) + kf kL2 (Ω) + kgkW 2,2 (Ω) )

Primeira etapa da prova: Ω = B1 (0) ∩ RN +

Seja η função de corte, valendo 1 na bola B 21 (0) = V e 0 em ∂B1 (0) Como u
é solução fraca vale que Ω Luv = Ω f v, ∀v ∈ H01 (Ω), em particular pegamos
R R

v = −Dk−h (η 2 Dkh u), para cada k = 1, ...N − 1.

XZ Z
Re arranjando a equação de modo a car A = ai,j uxi vxj = fev = B .
ai,j ∂ i u ∂x ∂
[Dk−h (η 2 Dkh u)] = (integrar por partes e derivar os produ-
RP
A=
R P ∂x j

tos) = (ahi,j Dkh ∂x∂

i
u + Dkh ai,j ∂x∂
i
∂
u)(2η ∂x j
∂
ηDkh u + η 2 Dkh ∂x j
u). Aplicando
distributiva, e separando em duas sumas, ca A = A 1 + A2 ;
u ≥ θ η 2 |Dkh Du|2 aplicando a elipticidade uni-
RP h 2 h ∂ ∂
ai,j η Dk ∂xj uDkh ∂x
R
A1 = i

forme RdoPoperador para o vetor Dkh (Du)

A2 = ∂
ahi,j Dkh ∂x i
u2η ∂x ∂
j
ηDkh u+Dkh ai,j ∂x∂
i
∂
u2η ∂x j
ηDkh u+Dkh ai,j ∂x∂
i
∂
uη 2 Dkh ∂x j
u.
Estimamos A2 como |A2 | ≤ C η(|Dk Du||Dk u| + |Dk Du||Du| + |Dk Du||Du|)
H h h h
R

1
(como η ≤ 1 ⇒ η 2 ≤ η )
Nos dois primeiros sumandos da integral da estimativa de |A2 | se aplica Cauchy
com . O fator η ca associado ao |DkH Du| e no segundo ca estimado por cima
ao integrar no supp(η). O terceiro sumando da integral depende das mesmas
expressões que o que vai car estimado o segundo sumando resultado de aplicar
Cauchy
E
R estas duas expressões podem ser reducidas a uma só:
|Dkh u|2 ≤ C |Du|2
R
supp(η) Ω
Seja  = θ
2 (θ da elipticidade uniforme)

Para
R estimar B , aplicando Cauchy R Schwartz, temos que
|B| ≤ (|f | + C1|Du| + |cu|)|v| ≤ C (|f | + |Du| R + |u|)|v| R
Pela desigualdade de Cauchy com  ca |B| ≤  |v|2 + C (|f |2 + |Du|2 + |u|2 )
E |v|2 = |Dk−h (η 2 Dkh u)|2 ≤ C |D(η 2 Dkh u)|2 ≤ C supp(η) |Dkh u|2 + |Dkh Du|2
R R R R

≤ C 0 Ω |Du|2 + η 2 |Dkh Du|2

R

Aplicando à expressão anterior onde R já tinha no integral um sumando de |Du|2 ,

pelo queR o primeiro sumando de |v| seR agrega com ele, ca
2

|B| ≤  Ω η 2 |Dkh u|2 + C Ω f 2 + u2 + C Ω |Du|2

R

Como  é livre, seja  = θ4

θ
R Então θ
η 2 |Dkh Du|2 −C Ω |Du|2 ≤ A = B ≤ η 2 |Dkh Du|2 +C f 2 +u2 +|Du|2
R R R
2 Ω 4 Ω Ω

Daí, |Dkh Du|2 ≤ C Ω f 2 + u2 + |Du|2 . Então Dkh u ∈ W 1,2 (V ) logo

R R
V
∂k u ∈ W 1,2
(V ). Para k = 1...N − 1.

A última derivada parcial pode ser colocada em evidencia a partir da equação

(na forma não divergente) em função das outras N − 1. Usando a elipticidade
uniforme aplicada ao vetor eN obtemos uma cota inferior positiva para aN,N
Dividir o resto da equação por aN,N e obtemos a expressão para ∂x∂2 x e limitar
N

seu modulo como | ∂x

2
∂ ∂2
P
2 u| ≤ C( (i,j)6=(N,N ) | ∂xi ∂xj u| + |Du| + |u| + |f |)
N

Por teorema de quociente das diferençãs temos estimativa para as derivadas

(i, j) 6= (N, N ), (i,j)6=(N,N ) k ∂x∂i ∂xj ukL2 (V ) ≤ C(kf kL2 (Ω) + kukH 1 (Ω) )
P 2

Aplicando no anterior resulta que kukH 2 (V ) ≤ C(kf kL2 (Ω) + kukH 1 (Ω) ) e
conclui - se que u ∈ W 2,2

Segunda etapa: Ω um aberto limitado de RN tal que ∂Ω é de tipo C 2 .

Então, para cada x0 ∈ ∂Ω podemos considerar um difeomorsmo φ de classe

C 2 que aplica uma bola B centrada em x0 em um aberto de RN de modo que
ao ∂Ω ∩ B corresponde φ(B) ∩ xn = 0.
Por este dífeo corresponde em φ(B) um problema que está nas condições da
parte anterior, e valem as conclusões e estimativas feitas, que também pelo di-

2
feo valem para o dominio original.

Terceira etapa: Até o momento temos soluções regulares locais em cada

ponto do ∂Ω e tambem nos abertos compactamente contidos em Ω (isto pela
regularidade interior).
Como Ω é limitado, ∂Ω é compacto, podemos pegar um recobrimento nito
de Ω dado por um recobrimento nito do ∂Ω união um aberto compactamente
contido em Ω, e uma partição da unidade associada a este recobrimento.