Pontificia Universidad Católica de Chile

Facultad de Matemáticas
Departamento de Matemática
Primer Semestre de 2018
Ayudantı́a Ecuaciones en Derivadas Parciales
Rodrigo Bazaes
rebazaes@uc.cl
April 22, 2018

Ejercicio 1 Consideremos Ω ⊂ Rn , y la ecuación


−4u = λu en Ω

(0.0.1)
u = 0

en ∂Ω

Demuestre que existe única solución C 2 (Ω) si λ < 0.

Proof. Notemos que u ≡ 0 satisface la ecuación trivialmente. Supongamos que hubiera

otra solución v de (0.0.1) ,v 6= 0.Luego se cumple −4v = λv.Multiplicando por v ambos
lados,nos queda −4v · v = λv 2 Integrando respecto a Ω,nos queda
Z Z
− 4v · v = λ v 2
Ω Ω

Usando un corolario de la fórmula de Stokes, recordamos que

Z Z Z
∂v
4v · v = v − ∇v · ∇v
Ω ∂Ω ∂ν Ω

Como v|∂Ω = 0, la última ecuación nos queda

Z Z
4v · v = − ∇v · ∇v
Ω Ω
2
Recordando que −4v · v = λv ,obtenemos
Z Z
− |∇v| = λ v 2
2
(0.0.2)
Ω Ω

Como λ < 0,el lado derecho de la ecuación es menor o igual a cero.Por otro lado,el lado
R
izquiero es mayor o igual a cero. Por tanto,necesariamente Ω v 2 = 0.Esto ocurre si y
solo si v ≡ 0 en Ω,una contradicción. Por tanto,la solución de (0.0.1) es única.

1
Ejercicio 2 Considere la ecuación −4u ≤ 0 en Ω ⊂ Rn , u ∈ C 2 (Ω) un conjunto abierto.Pruebe que
si x0 ∈ Ω,entonces R
BR (x0 )
u(z)dz
u(x0 ) ≤ ∀BR (x0 ) ⊂ Ω (0.0.3)
|BR (x0 )|
donde BR (x0 ) := {x ∈ Rn : ||x − x0 || < R}, y |BR (x0 )| es la medida de Lebesgue de la
bola.
R
∂Br (x0 ) u(z)dS(z)
Proof. Sea φ(r) := |Br (x0 )|
. Consideremos el cambio de variables
rm + x0 = z.Luego,usando cambio de variables nos queda
R n−1
R
∂B1 (0)
r u(x 0 + rm)dS(m) ∂B1 (0)
u(x0 + rm)dS(m)
φ(r) = =
rn−1 |∂B1 (0)| |∂B1 (0)|
Derivando con respecto a r,nos queda
0
R R
∂B (0)
u (x 0 + rm)dS(m) ∂B1 (0)
∇u(x0 + rm) · mdS(m)
φ0 (r) = 1
=
|∂B1 (0)| |∂B1 (0)|
Donde en la última igualdad usamos la regla de la cadena.
y−x0
Sea m = r
↔ x0 +rm = y.Notemos que r ∈ B0 (1) ↔ y ∈ Br (x0 ).Usando nuevamente
cambio de variables, llegamos a
y−x0 ∂u
R R
0 ∂Br (x0 )
∇u(y) · r
dS(y) ∂B1r (x0 ) ∂ν
dS(m)
φ (r) = =
|∂Br (x0 )| |∂Br (x0 )|
donde ν es el vector normal exterior.Ahora, por la fórmula de Greene,
Z Z Z
∂u
4u · 1dx = · 1dx − ∇u · ∇1dx
Br (x0 ) ∂Br (x0 ) ∂ν Br (x0 )

Como ∇1 = 0,tenemos que

Z Z
∂u
dS(y) = 4u(y)dy ≥ 0 (0.0.4)
∂Br (x0 ) ∂ν Br (x0 )

por (0.0.3).Concluı́mos que φ0 (r) ≥ 0,es decir, φ es creciente.

Como u ∈ C 2 (Ω),entonces limr→0 φ(r) = u(x0 ).Esto implica que
R
∂Br (x0 )
u(z)dS(z)
u(x0 ) ≤ φ(r) = ,r ≥ 0 (0.0.5)
|Br (x0 )|
Luego, Z
u(x0 )|Br (x0 )| ≤ u(z)dS(z)
∂Br (x0 )

2
 Sea R > 0 tal que BR (x0 ) ⊂ Rn . Integrando la última ecuación entre 0 y R,llegamos a
que Z R Z R Z
u(x0 ) |Br (x0 )|dr ≤ u(z)dS(z)dr
0 0 ∂Br (x0 )
Esto es equivalente a decir que
Z
u(x0 )|BR (x0 )| ≤ u(z)dS(z)
BR (x0 )

Finalmente,diviendo por la medida de la bola,llegamos a lo pedido.

Ejercicio 3 Sean U, V ⊂ Rn , U, V abiertos, y V conexo tal que V ⊂ V ⊂ U ,y V es compacto.Pruebe

que existe una constante C > 0 que solo depende de V ,tal que

sup u ≤ C inf u (0.0.6)

V V

para toda función armónica no negativa u en U .

Proof. Sea r := 14 dist(V, ∂U ) > 0.Sean x, y ∈ V tal que |x − y| ≤ r.Por la fórmula del
promedio,tenemos que
R R
B2r (x)
u(z)dz Br (y)
u(z)dz
u(x) = ≥
|B2r (x)| |B2r (x)|
π n/2
Esto pues si |z − y| ≤ r → |z − x| ≤ 2r Denotemos por α(n) := Γ( n +1)
, la medida de la
2

bola unitaria n-dimensional.Luego, |B2r (x)| = α(n)2n rn = 2n |Br (y)|.Por tanto,

R
1 Br (y) u(z)dz 1
u(x) ≥ n = n u(y) (0.0.7)
2 |Br (y)| 2
donde usamos nuevamente la fórmula del promedio en la última ecuación.Por tanto,
1
u(x) ≥ 2n
u(y) para todo x, y ∈ V con |x − y| ≤ r.
Como V es conexo, y V es compacto,entonces existen finitas bolas de radio r que cubren
V ,no disjuntas entre ellas.Sean {B1 , · · · BN } tales bolas.Luego,si x, y ∈ V ,entonces ex-
isten y1 , · · · yN −1 tales que

|x − y1 | ≤ r, |y1 − y2 | ≤ r, · · · |yN −1 − y| ≤ r

Aplicando la desigualdad (0.0.7) a cada par de puntos ,llegamos a que

1 1 1
u(x) ≥ u
u(y1 ) ≥ 2n u(y2 ) ≥ · · · ≥ N n u(y) (0.0.8)
2 2 2

3
Finalmente,como x, y son arbitrarios, si fijamos x y aplicamos supremo respecto a y ∈
V ,obtenemos
supu ≤ u(x)
V

Aplicando ı́nfimo respecto a x ∈ V ,llegamos a

sup u ≤ C inf u
V V