Академический Документы
Профессиональный Документы
Культура Документы
UNC ABIERTA
OpenCourseWare I UNC
Uriel Kaufmann
FaMAF, Universidad Nacional de Córdoba
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
ii
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
Índice general
Prólogo V
1. Espacios de Sobolev 1
1.1. Derivadas débiles . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1. Funciones en Cc1 ( ) y molli…ers . . . . . . . . . . . . . . 1
1.1.2. Derivadas débiles . . . . . . . . . . . . . . . . . . . . . . . 6
1.2. Espacios de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.1. De…niciones y propiedades básicas . . . . . . . . . . . . . 9
1.2.2. El espacio W0k;p ( ) . . . . . . . . . . . . . . . . . . . . . 13
1.2.3. Desigualdad de Poincaré . . . . . . . . . . . . . . . . . . . 15
1.2.4. Regla de la cadena . . . . . . . . . . . . . . . . . . . . . . 17
1.2.5. Algo más sobre el espacio W01;p ( ) . . . . . . . . . . . . . 21
1.2.6. Teorema de Fréchet-Kolmogorov . . . . . . . . . . . . . . 23
1.2.7. Inmersión compacta de H01 ( ) en L2 ( ) . . . . . . . . . 26
1.2.8. Convergencia débil y compacidad débil . . . . . . . . . . . 28
iii
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
iv ÍNDICE GENERAL
Bibliografía 139
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
Prólogo
Estas notas son la versión …nal de los apuntes de clase que fui armando
para el curso de posgrado sobre problemas elípticos que dicté en FaMAF en los
años 2010, 2012, 2014 y 2016. Los contenidos que aparecen en este texto son
exactamente los que di durante el curso en 2016. Las notas están basadas en
muchos libros -principalmente [3], [4] y [9]- y en algunas poquitas cosas mías.
La gran cantidad de fuentes que fui utilizando hizo que con el paso del tiempo
los apuntes del curso fueran creciendo en tamaño y desorden. Con la esperanza
de frenar a ambos hace varios meses emprendí la tarea de pasar los apuntes a
la computadora, lo que sigue es el resultado de ese trabajo.
Salvo por cuestiones muy básicas de Funciones Reales y Análisis Funcional, el
curso es totalmente autocontenido. De hecho, ni siquiera hacen falta conocimien-
tos previos de ecuaciones diferenciales.
Me gustaría por último agradecer a Rocío que tuvo la enorme paciencia de
leer y corregir una versión previa de estas notas, y a Tomás, de quién aprendí
-entre tantas otras cosas- muchos de estos temas.
v
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
vi
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
Capítulo 1
Espacios de Sobolev
@ 1 @ n @j j
@ := ::: := := @x1 1 :::@xnn .
@x1 1
@xn n
@x1 1 :::@xnn
Observación 1. Veamos como podemos construir funciones en Cc1 ( ) a partir
de una sola función. Sea
1=x
e si x > 0
f (x) :=
0 si x 0:
1
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
En particular, sop g = B (0; 1) y por tanto g 2 Cc1 (Rn ). Notar además que g
es radial, o sea, g sólo depende de jxj. Dado ahora Rn abierto y x0 2 ,
elegimos " > 0 tal que B (x0 ; ") y de…nimos
x x0
h (x) := g .
"
Tenemos entonces h 2 Cc1 ( ), de hecho, sop h = B (x0 ; ").
Recordemos que dadas f 2 L1 (Rn ) y g 2 Lp (Rn ) (1 p 1), la convolu-
ción f g está de…nida por
Z
(f g) (x) := f (x y) g (y) dy:
Rn
p n
Se tiene que f g 2 L (R ), más aún, kf gkp kf k1 kgkp (ver [3], Teorema
4.15). Notar además que f g = g f .
De…nición 1.1 (Molli…ers). Sea : Rn ! R dada por
( 2
Observación 2. (i) Como sop " = B (0; "), notar que de cualquiera de las
dos últimas igualdades de (1.2) se tiene u" (x) está bien de…nido (o sea, las
integrales son …nitas) si dist (x; @ ) > ". En particular, tiene sentido considerar
l m"!0 u" (x).
(ii) Notar también que " ! en D0 (Rn ), donde con denotamos a la delta
de Dirac. En efecto, dada 2 Cc1 (Rn ), usando el teorema de convergencia
dominada vemos que
Z Z
1 x
"( )= " (x) (x) dx = n (x) dx =
Rn " B(0;") "
Z
(z) ("z) dz ! (0)
B(0;1) "!0
R
pues Rn
= 1.
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
y repitiendo esto se ve que existen todas las derivadas parciales de todos los
órdenes. Como x 2 0 es arbitrario, concluimos que u" 2 C 1 ( 0 ).
Antes de seguir, veri…quemos que vale (1.4). Llamamos primero
" (x + hei
y) " (x y)
%x;";h (y) := ;
h
Bx;";h := B (x + hei ; ") [ B (x; ") :
Es claro que u (y) %x;";h (y) ! u (y) @xi " (x y) a:e: y 2 cuando h ! 0.
Además, por el teorema del valor medio existe algún 2 [x + hei y; x y] tal
que
hr " ( ) ; hei i
j%x;";h (y)j = = j@xi " ( )j k@xi " kL1 (Rn ) :
h
Luego, como las integrales de (1.4) son en realidad sobre el conjunto Bx;";h y
como B (x; ") , para todo jhj h0 su…cientemente pequeño es B x;";h0
y
ju (y) %x;";h (y)j ju (y)j k@xi " kL1 (Rn ) Bx;";h0 2 L1 ( )
a:e: x 2 (pues jB (x; ")j = "n jB (0; 1)j) y así hemos probado (ii).
Supongamos ahora u 2 C ( ). Entonces u es uniformemente continua en todo
compacto de y por tanto para todo > 0 existe " > 0 tal que si x 2 0 y
jx yj ", ju (x) u (y)j . Razonando ahora como en el párrafo anterior
obtenemos
Z Z
ju" (x) u (x)j ju (y) u (x)j " (x y) dy " (x y) dy =
B(x;") B(x;")
y vale (iii).
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
Para acotar el tercer sumando, elegimos primero " pequeño de manera que
x z 2 00 paraRtodo x 2 0 y z 2 B (0; "). Usando la desigualdad de Hölder y
recordando que " = 1, obtenemos
Z
p p
kb
u" u" kLp ( 0 ) = jb
u" (x) u" (x)j dx =
0
Z Z h ih i p
1=p 1 1=p
(b
u (y) u (y)) " (x y) " (x y) dy dx
0 B(x;")
Z Z Z !p=p0
p
jb
u (y) u (y)j " (x y) dy " (x y) dy dx =
0 B(x;") B(x;")
Z Z
p
jb
u (x z) u (x z)j " (z) dz dx =
0
B(0;")
Z Z
p
" (z) jb
u (x z) u (x z)j dx dz
B(0;") 0
Z Z
p p
" (z) jb
u ( ) u ( )j d dz = kb
u ukLp ( 00 ) ; (1.7)
B(0;") 00
Demostración. Sea " > 0 tal que dist (K; @ ) > 4", y sea m 2 N. De…nimos
y en particular, 2R Cc1 ( ).
Además, como " = 1,
y entonces
sop (1 ) B (0; ") + Rn K 2" Rn K ":
Luego 1 = 0 en K " , o sea 1 en K " .
sig (u) si x 2 K
(x) :=
0 si x 62 K:
R R
De lo anterior resulta 0 = u = K juj y por tanto u = 0 a:e: en K. Como K
es arbitrario, esto termina la prueba.
Corolario 1.6 (Unicidad de la derivada débil). La -ésima derivada débil de
u, si existe, es única.
Demostración. Supongamos que existen v; w 2 L1loc ( ) tales que
Z Z Z
j j j j
u@ = ( 1) v = ( 1) w para toda 2 Cc1 ( ) .
R
Entonces (v w) = 0 para toda 2 Cc1 ( ) y por tanto del lema anterior
se tiene que v = w a:e: x 2 .
Observación 4. (i) Notar que a diferencia de la derivada usual, no hablamos
de derivada débil en un punto sino en todo .
(ii) Es claro que razonando como en (1.8) obtenemos que si u 2 C 1 ( )
entonces uxi existe en sentido débil (para cualquier 1 i n) y coincide con
la derivada usual.
Recíprocamente, veremos en el Ejercicio 11 más adelante que si u 2 C ( ) y
si uxi existe en sentido débil para todo 1 i n y cumple uxi 2 C ( ), entonces
u 2 C 1 ( ) (y por tanto las derivadas parciales usuales existen y coinciden con
las débiles).
En el siguiente ejemplo vemos que la derivada débil efectivamente extiende
la noción usual de derivada.
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
x si x 2 (0; 1] 1 si x 2 (0; 1]
u (x) := v (x) :=
1 si x 2 [1; 2) ; 0 si x 2 (1; 2) :
x si x 2 (0; 1]
u (x) :=
2 si x 2 (1; 2) :
Entonces
Z 2 Z 2 Z 1 Z 2
0 0 0
v = u = x (x) dx + 2 =
0 0 0 1
Z 1
1
x (x) 0
(x) dx + 2 ( (2) (1)) =
0
Z 1 Z 1
(1) (x) dx 2 (1) = (1)
0 0
y por lo tanto Z Z
2 1
(1) = v . (1.10)
0 0
Tomemos ahora una sucesión de funciones f j gj2N Cc1 ( ) satisfaciendo
Notar que tal sucesión existe: en efecto, basta tomar una sucesión "j con
"j > 0 y "j ! 0 y de…nir
x 1
j (x) = g , x 2 (0; 2) ;
"j
Concluimos esa sección con otro ejercicio que muestra que, a diferencia de las
derivadas usuales, pueden existir derivadas débiles de orden dos sin que existan
las de orden uno.
o sea, @xi ('u) = (@xi u) ' + u@xi ' en sentido débil. Como asimismo 'u y
(@xi u) ' + u@xi ' están en Lp ( ) tenemos que 'u 2 W 1;p ( ) y esto termina la
prueba.
Ejercicio 3. Probar los incisos (i) y (ii) del teorema anterior.
Lema 1.9. Si uj ! u en Lp ( ) y @ uj ! v en Lp ( ) para todo 1 j j k,
entonces u 2 W k;p ( ) y @ u = v .
Demostración. Sea 2 Cc1 ( ). Tenemos que
Z Z Z Z
j j j j
u@ uj @ = ( 1) (@ uj ) ! ( 1) v :
j!1 j!1
y listo.
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
con C independiente de j.
Demostración. Veamos primero que kkW k;p ( ) es norma. Es claro que k ukW k;p ( ) =
j j kukW k;p ( ) y que kukW k;p ( ) = 0 si y sólo si u = 0 a:e: x 2 .
Veamos ahora la desigualdad triangular. Si p = 1 es trivial. Supongamos
entonces 1 p < 1, y sean u; v 2 W k;p ( ). Aplicando las desigualdades de
Minkowski
kf + gkp kf kp + kgkp ;
X p
1=p X p
1=p X p
1=p
jak + bk j jak j + jbk j ;
obtenemos
0 11=p 0 11=p
X p
X p
ku + vkW k;p = @ k@ u + @ vkp A @ k@ ukp + k@ vkp A
j j k j j k
0 11=p 0 11=p
X p
X p
@ k@ ukp A +@ k@ vkp A = kukW k;p + kvkW k;p :
j j k j j k
Queda por veri…car que W k;p ( ) es completo. Sea fuj gj2N una sucesión de
Cauchy en W k;p ( ). Entonces para cada con j j k, f@ uj g es de Cauchy
en Lp ( ). Como Lp ( ) es completo, existen v 2 Lp ( ) tales que @ uj ! v
en Lp ( ). En particular, uj ! u en Lp ( ) para alguna u 2 Lp ( ), y además
por el Lema 1.9 v = @ u y u 2 W k;p ( ).
u (x) si x 2 @ u (x) si x 2
e (x) :=
u @gu (x) :=
0 si x 2 Rn ; 0 si x 2 Rn :
Entonces
e 2 W0k;p (Rn ).
(i) u
(ii) @ ue = @gu para todo j j k.
(iii) ke
ukW k;p (Rn ) = kukW k;p ( ) .
Demostración. Por hipótesis existe f'j gj2N Cc1 ( ) tal que 'j ! u y
p
@ 'j ! @ u en L ( ) para todo 1 j j k. De…nimos
fj ! u
' e en Lp (Rn )
@ 'fj = @]'j ! @gu en Lp (Rn ) , para todo j j k:
En efecto, Z Z
p p
jf
'j ej =
u j'j uj ! 0
Rn
e 2 W k;p (Rn ) y
y análogamente la otra convergencia. Luego, por el Lema 1.9, u
@ u g
e = @ u, y es claro también que u k;p n
e 2 W0 (R ) y que vale (iii).
Observación 10. (i) Si u 2 W k;p ( ) es obvio que u
e 2 Lp (Rn ), pero en general
k;p n
e 62 W (R ) (¿por qué?).
u
(ii) Sea u 2 Lp ( ) con 1 < p < 1. Se puede probar (ver [3], Proposición
9.18) que si @ es su…cientemente regular, entonces se tiene que
u 2 W01;p ( ) () u e = @g
e 2 W 1;p (Rn ) y @xi u xi u para todo 1 i n:
0
(iii) Es claro que vale un resultado análogo al del teorema poniendo en
lugar de Rn , para cualquier abierto 0 c .
Corolario 1.15. En general, W0k;p ( ) 6= W k;p ( ).
Demostración. Sea := (0; 1) y u 1. Se tiene que u 2 W k;p ( ) para todo
k y todo p. Si fuera u 2 W0k;p ( ), entonces por el teorema anterior tendríamos
e 2 W0k;p (R). En particular, u
u e0 2 Lp (R), pero es fácil ver con cálculos como los
del Ejemplo 2 que no existe ue0 en sentido débil.
Observación 11. En algunos casos sí coinciden. Por ejemplo, veremos en el
Ejercicio 12 más adelante que W01;p (Rn ) = W 1;p (Rn ), y lo mismo es cierto si
p < n y Rn es “su…cientemente pequeño” (ver [3]).
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
L2 de sus derivadas. Esto será una consecuencia del siguiente teorema. Antes
de enunciarlo recordamos la noción de derivada direccional.
Si una función v : Rn ! R es diferenciable y es un vector unitario en Rn ,
entonces el límite
v (x + h ) v (x)
lm
h!0 h
existe y se dice derivada en la dirección de . Por ejemplo, @x1 v es la derivada
en la dirección de e1 := (1; 0; :::; 0). Para ver que el límite anterior efectivamente
existe escribimos F (t) := v (x + th ) y entonces del teorema del valor medio y
la regla de la cadena resulta
v (x + h ) v (x) = F (1) F (0) = F 0 ( ) = hrv (x + h ) ; h i .
Dividiendo ahora por h y haciendo h ! 0 tenemos
v (x + h ) v (x)
lm = hrv (x) ; i := @ v (x) .
h!0 h
Es natural entonces la siguiente
De…nición 1.16. Dado un vector unitario en Rn y u 2 W 1;p ( ) de…nimos
@ u (x) := hru (x) ; i, donde ru se entiende en sentido débil. Notar que @ u 2
Lp ( ).
Teorema 1.17 (Desigualdad de Poincaré). Sea un vector unitario en Rn , y
sea Rn un abierto acotado en la dirección , o sea,
fx 2 Rn : jhx; ij rg para cierto r > 0:
Entonces
p
kukL2 ( ) 2r k@ ukL2 ( ) para toda u 2 H01 ( ) . (1.12)
Demostración. Como la medida de Lebesgue es invariante por rotaciones
podemos elegir el sistema de coordenadas de manera que = e1 . Tomamos
primero u 2 Cc1 ( ) y la extendemos por cero fuera de . Ahora, para x =
(x1 ; :::; xn ) 2 tenemos
Z x1
u (x) = u (x) u ( r; x2 ; :::; xn ) = @x1 u (s; x2 ; :::; xn ) ds
r
R 2 R 2
y entonces elevando al cuadrado y usando la desigualdad O jvj jOj O jvj
(Hölder con p = q = 2) resulta
Z x1 2 Z x1 2
u2 (x) = @x1 u (s; x2 ; :::; xn ) ds j@x1 u (s; x2 ; :::; xn )j ds
r r
Z x1 Z r
2 2
jx1 + rj [@x1 u (s; x2 ; :::; xn )] ds jx1 + rj [@x1 u (s; x2 ; :::; xn )] ds:
r r
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
En la demostración del teorema anterior hemos hecho uso del teorema fun-
damental del cálculo. Se puede probar como ejercicio que un resultado similar
es cierto reemplazando la derivada usual por la derivada débil.
Ejercicio 7. Sea Rn acotado. Veri…car que la desigualdad de Poincaré no
vale en H ( ) y que H 1 ( ) 6= H01 ( ).
1
y entonces
Z Z
2 2 2 2
kukH 1 ( ) = u2 + jruj 1 + 2r2 jruj = 1 + 2r2 kjrujkL2 ( )
no son equivalentes en H 1 ( ).
Demostración. Sea x 2 " …jo. Teniendo en cuenta que las derivadas par-
ciales de los mollifers “pasan” a las derivadas de " (esto lo vimos en la prueba
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
del Teorema 1.2 (i)), usando la de…nición de derivada débil con " (x ) co-
mo función de prueba (lo cual es correcto pues sop " (x ) = B (x; ") )
obtenemos
Z Z
@xi u" (x) = u (y) @xi " (x y) dy = u (y) @yi " (x y) dy =
Z
@yi u (y) " (x y) dy = ( " @xi u) (x) :
y por tanto, si u 2 L1loc ( ) tenemos que f (u) 2 L1loc ( ) (pues las constantes
son localmente integrables).
Sea 2 Cc1 ( ) y sea " > 0 su…cientemente pequeño de manera que sop
:= K " . Sean u" = " u los molli…ers de u. Por la regla de la cadena
(usual), @xi f (u" ) = f 0 (u" ) @xi u" 2 C ( " ) y entonces usando la de…nición de
derivada débil en " es
Z Z Z Z
0
f (u" ) @xi = f (u" ) @xi = f (u" ) @xi u" = f 0 (u" ) @xi u" .
" "
(1.17)
Ahora, utilizando el teorema del valor medio y el Teorema 1.2 (iii) obtenemos
Z Z
0
j(f (u" ) f (u)) @xi j kf k1 k@xi k1 ju" uj ! 0.
K "!0
"
ya que el primer término tiende a cero por de…nición de las j y es fácil compro-
bar que el segundo término tiende a cero utilizando el teorema de convergencia
p p
dominada (pues el integrando se va a 0, y está acotado por j@xi uj 2 kf 0 k1 2
1 1;p 1;p
L ( )). Pero entonces f (u) es límite en W ( ) de funciones en W0 ( ), y
como W01;p ( ) es cerrado se tiene f (u) 2 W01;p ( ).
o sea,
u (x) si u (x) > 0
H" (u) !
0 si u (x) 0:
Es decir, H" (u) ! u+ a:e: x 2 . Además, por el teorema anterior es @xi H" (u) =
h" (u) @xi u. Luego, para toda 2 Cc1 ( ) resulta
Z Z Z Z
u+ @xi H" (u) @xi = h" (u) @xi u ! fu>0g @xi u,
"!0 "!0
que H" ( j ) 2 Cc1 ( ) (pues H" (0) = 0) y por convergencia dominada H" ( j ) !
H" (u) en W 1;p ( ) (es la misma prueba que f ( j ) ! f (u) en W 1;p ( ) en el
Teorema 1.22). Por tanto, H" (u) 2 W01;p ( ). Pero además H" (u) ! u+ en
Lp ( ) (por convergencia dominada, recordando que jH" (u)j u+ ) y también
0 si jtj 1
jf (t)j jtj para todo t 2 R f (t) =
t si jtj 2:
1 si jxj 1
2 Cc1 (Rn ) , 0 1; (x) =
0 si jxj 2;
j (x) := (x=j) :
Notar que j (x) ! 1 para todo x (y que existe gracias al Lema 1.3). Ahora,
por la primera parte de la prueba resulta que j u 2 W01;p ( ), y se ve usando
el teorema d convergencia dominada que j u ! u en W 1;p ( ) y por tanto
u 2 W01;p ( ).
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
De…nición 1.26. Decimos que X es totalmente acotado si para todo " > 0,
X [m n
i=1 Bi (xi ; ") para algún m 2 N. (Es fácil ver que en R totalmente
acotado es equivalente a acotado.)
En particular, notar que esto dice que la bola cerrada en un espacio de Hilbert
separable (de dimensión in…nita) nunca es compacta. En efecto, si fej gj2N es
una base ortonormal, entonces
2 2 2
kej ek k = kej k + kek k 2 hej ; ek i = 2 si j 6= k (1.19)
y por tanto fej g no tiene ninguna subsucesión convergente pues no hay sub-
sucesiones de Cauchy.
Luego, para ver que A es relativamente compacto basta chequear que A es to-
talmente acotado.
Enunciamos ahora el teorema de Ascoli-Arzelà. La prueba de esta versión
del teorema puede consultarse en [16], Teorema 45.4.
Teorema 1.28 (Ascoli-Arzelà). Sea K un espacio métrico compacto y
L C (K) := ff : K ! R continuag ;
donde
L es acotado en C (K) , sup fjf (x)j : f 2 Lg < 1;
x2K
H2. L es equicontinuo en Lp ( 0
), esto es,
En efecto, con cuentas muy similares a las de la prueba del Teorema 1.2 (iv)
(ver (1.7)) obtenemos
Z
p p
" f f Lp ( 0 )
= " f (x) f (x) dx =
0
Z Z p
L" := " f : f 2 L0
cumple las hipótesis del teorema de Ascoli-Arzelà con K = 0. Por una parte,
Z
" f L1 ( 0) = f (y) " (x y) dy
B(x;")
L1 ( 0)
f L1 (Rn )
k " kL1 (Rn ) cte
v en
L := v= 0 :v2L :
0 en ;
Por lo tanto, dado cualquier > 0, si tomamos < =R, tenemos que si
jhj < entonces k h v vkL2 ( ) < para toda v 2 L, o sea L es equicontinuo
en L2 ( ).
ju (u)j
ku kX := sup ju (u)j = sup :
kukX 1 u6=0 kukX
y por tanto vale la primera a…rmación de (i). Para ver que la recíproca no es
cierta, supongamos que X es un espacio de Hilbert separable y que ya hemos
probado (vi). Elegimos fek gk2N una base ortonormal de X. Para cada v 2 X es
1
X
v= k ek ; k = hek ; vi :
k=1
y así, como kuk = supku k 1 ju (u)j (ver [3], Corolario 1.4), deducimos que
kuk l m kuk k.
Para probar (iii) supongamos que uk * u y uk * v. Entonces para todo
u 2X ;
u kj ! u en L2 ( ) ; u kj * u en H01 ( ) :
Demostración. Por el teorema anterior, existe alguna subsucesión ukj y
u 2 H01 ( ) tal que ukj * u en H01 ( ); y por otro lado, como ukj es acotada
en H01 ( ) y n
i : H01o( ) ! L2 ( ) es compacta (ver Teorema 1.32), existe alguna
subsucesión ukjl (que seguiremos llamando ukj ) tal que ukj ! u en L2 ( ).
R
Veamos que u = u. Sean 2 Cc1 ( ) y u (v) := v. Tenemos que u
es lineal y además, utilizando la desigualdad de Poincaré vemos que para v 2
H01 ( ) es
Z
u (v) j vj k kL2 ( ) kvkL2 ( ) (1.24)
uk * u en L2 ( ) ;
@uk @u
* en L2 ( ) para todo 1 i n:
@xi @xi
uk * u en L2 ( )
uk * u en H01 ( ) ,
ruk * ru en L2 ( ; Rn ) :
Capítulo 2
2.1. Introducción
Consideremos primeramente, a modo de ejemplo, el problema
u = f (x) en
(2.1)
u=0 en @ ;
Recordamos la
Una primera ventaja que se ve es que podemos pedir muy poca regularidad
sobre f para considerar soluciones fuertes en (2.1). Sin embargo, probar que
33
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
(2.1) admite solución fuerte aún requiere de muchos cálculos (ver por ejemplo
[10]). Es por ello que daremos otra de…nición de solución.
o sea Z Z
hru; r i = f para toda 2 Cc1 ( ) : (2.3)
2.1. INTRODUCCIÓN 35
(iv) Supongamos que tiene frontera suave. Sea u solución débil de (2.1) y
supongamos además que u 2 C 2 ( ) \ C . De la Observación 16 es u = 0 en
@ , y razonando como en (2.2) obtenemos
Z Z
u= f para toda 2 Cc1 ( )
u es solución clásica,
) u es solución fuerte ) u es solución débil.
u 2 C2 , acotado
Veremos a continuación que se puede probar la existencia y unidad de solu-
ciones débiles de (2.1) de manera muy simple y utilizando únicamente la de-
sigualdad de Poincaré (en realidad el Corolario 1.18) y el teorema de repre-
sentación de Riesz. Recordamos antes el teorema de Riesz (para la demostración,
ver por ejemplo [4], Teorema 1.4).
Teorema 2.4 (Riesz). Sea H un espacio de Hilbert real y
y por tanto ' es continuo y luego ' 2 H . Pero entonces por el teorema de
Riesz existe un único u 2 H01 ( ) tal que
Z Z
f v = ' (v) = hu; viH 1 = hru; rvi para todo v 2 H01 ( ) ,
0
u = f (x) en
u=0 en @ :
ku ekH 1 (
u ) c nf ku vkH 1 ( ) ;
0 v2V 0
2.1. INTRODUCCIÓN 37
u = f (x) en
(2.8)
u=0 en @ ;
R R
Como hrg; rvi = ( g) v (es claro que esto vale si v 2 Cc1 ( ), y por
densidad también para v 2 H01 ( )), concluimos que u es solución de (2.7). La
unicidad sigue de observar que u es solución de (2.7) si y sólo si u g es solución
de (2.8).
Finalizamos esta introducción con dos ejercicios en los cuales se ve que estas
ideas funcionan igualmente bien para otros operadores diferenciales y/u otras
condiciones de borde. En ambos ejercicios Rn es un abierto acotado con
2
frontera regular, y f 2 L ( ).
u = @u=@ = 0 en @ , u = ru = 0 en @ :
kukH 2 ( ) c kf kL2 ( ) :
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
son normas en el espacio de matrices que tiene dimensión …nita, y por tanto son
equivalentes. Luego, si L es uniformemente elíptico, entonces
2 2
j j hA (x) ; i j j a:e: x 2 , para todo 2 Rn :
Salvo que digamos otra cosa, siempre supondremos hasta la Sección
2.5 que L es uniformemente elíptico y que viene dado por (2.14).
Observación 6. Recordemos que si = ( 1 ; :::; n) 2 Rn es un campo, la
divergencia de viene dada por
n
X
div := @xi i:
i=1
(Notar que div ru = u:) De…niendo b := (b1 ; :::; bn ), podemos escribir (2.14)
en forma “vectorial” como
Lu := div (A (x) ru) + hb (x) ; rui + c (x) u: (2.17)
En efecto, si (Aru)i denota la i-ésima componente de ese vector, entonces
n
X
(Aru)i = aij (x) uxj
j=1
y por tanto
n
X
div (Aru) = aij (x) uxj xi
i;j=1
que coincide con el término correspondiente de (2.14).
Para introducir la de…nición de solución débil del problema (2.13), en for-
ma similar a lo hecho con (2.1), multiplicamos (2.13) por una 2 Cc1 ( ),
integramos sobre y usamos la de…nición de derivada débil para obtener
Z X n n
X Z
aij (x) uxj xi + bi (x) uxi + c (x) u = f ;
i;j=1 i=1
Por otro lado, como f 2 H , también por el teorema de Riesz existe un único
w 2 H tal que hw; vi = f (v) para toda v 2 H. Supongamos por el momento
que A es biyectivo. Entonces existe un único u 2 H tal que Au = w y así
con lo cual resulta cierta la primera a…rmación del teorema. (La unicidad de u
también se tiene notando que si B (u; v) = f (v) = B (e
u; v) para todo v, entonces
2
B (e
u u; v) = 0, y eligiendo v = u e u y usando (ii) queda 0 ke
u uk ). Más
aún, tomando ahora v = u, de (ii) y (1.21) es
2
kuk B (u; u) = f (u) kf k kuk
1
y por tanto kuk kf k.
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
P
Luego, w = j wj y por tanto A es lineal. Además, de (i) y (2.20) obtenemos
2
kAuk = hAu; Aui = B (u; Au) kuk kAuk
Vale la pena notar que en el caso en que B es simétrica, la prueba del teorema
de Lax-Milgram se simpli…ca notablemente ya que en este caso B ( ; ) de…ne un
nuevo producto escalar en H al cual el teorema de Riesz se aplica directamente.
En otras palabras, la importancia de este teorema radica en que no se requiere
que B sea simétrica.
Por otra parte, la idea para obtener un resultado de existencia de soluciones
para el problema (2.13) es muy simple: copiar la prueba del Teorema 2.5 pero
usando el teorema de Lax-Milgram con la forma bilineal
R B dada en (2.18) en
lugar del teorema de Riesz con el producto interno hru; rvi. Para esto nece-
sitamos probar que la forma B de (2.18) es continua y coerciva en H01 ( ). La
continuidad se obtiene fácilmente, pero la coercividad no siempre es cierta. Sin
embargo, tenemos el siguiente
2 2
(ii) kukH 1 ( ) B (u; u) + kukL2 ( ) para toda u 2 H01 ( ) ,
0
(2.22)
Más aún, si b 0yc 0 en , entonces se puede elegir = 0:
X 1=2 p
jhb (x) ; yij
jb (x)j jyj k12 jyj = nk1 jyj ;
0 12 2 32
2
X X X X
jA (x) yj = @ aij (x) yj A k02 4 jyj j5
i j i j
XX 2 2
nk02 jyj j = n2 k02 jyj :
i j
Elegimos ahora
p
K := max nk0 ; nk1 ; kckL1 ( ) :
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
3K kukH 1 ( ) kvkH 1 ( )
0 0
2 1 2
c kukH 1 ( ) B (u; u) + K 1 + kukL2 ( )
2 0 4"
para algún c > 0 que no depende de u, y queda probado (ii).
Teorema 2.13 (Existencia, unicidad y dependencia continua). Sea Rn un
abierto acotado en una dirección. Existe 0 tal que para todo y toda
f 2 L2 ( ), el problema
L u := Lu + u = f (x) en
(2.25)
u=0 en @
Más aún,
(i) Si L es autoadjunto (b 0) y c 0 en , entonces se puede elegir = 0.
En particular, en este caso, para toda f 2 L2 ( ) el problema (2.13) admite una
única solución débil.
(ii) Si L es autoadjunto y A (x) es simétrica (A = AT ), entonces la solución
u minimiza (en H01 ( )) el funcional
Z
1
J (v) := B (v; v) f v:
2
Es inmediato veri…car que por el Teorema 2.12 se cumplen para B las hipótesis
2
del teorema de Lax-Milgram R en el espacio H. Dada ahora f 22 L ( ), le asoci-
amos el funcional f (v) := f v que es lineal y continuo en L ( ) (y por tanto
en H). Luego, Lax-Milgram provee una única u 2 H tal que B (u; v) = f (v)
para todo v 2 H, o sea un única solución de (2.25).
Eligiendo v = u en la forma débil de la ecuación y recordando (2.22) tenemos
además que
Z
2 2
kukH 1 ( ) B (u; u) + kukL2 ( ) = B (u; u) = fu
0
y vale (2.26).
Por último, (i) es consecuencia inmediata de la última a…rmación del Teore-
ma 2.12, y (ii) se deduce de la última a…rmación del teorema de Lax-Milgram,
ya que si b 0 y A = AT entonces es claro que B es simétrica pues para todo
; 2 Rn es hA ; i = ; AT = h ; A i.
Observación 8. (i) Es obvio que el teorema anterior incluye como caso partic-
ular al Teorema 2.5 si tomamos A = Id, b 0 c.
(ii) El teorema anterior da la existencia y unicidad de soluciones del prob-
lema que nos interesa (esto es, (2.13)) cuando L es autoadjunto y c 0 en .
Veremos más adelante, como consecuencia de la Alternativa de Fredholm y del
principio del máximo, que esto sigue siendo válido aún si L no es autoadjunto
(ver Observación 24, Sección 2.5.1).
Por otro lado, aún siendo L autoadjunto, el teorema anterior no es cierto
en general en el caso c 6 0 en . Más precisamente, para ciertas f el problema
(2.13) puede tener más de una solución (considerar, por ejemplo, u00 u = 0
en := (0; ), u = 0 en @ , y dar dos soluciones). Veremos que esta situación
puede ocurrir en cualquier acotado empleando los resultados sobre autovalores
del Capítulo 3 (ver Ejercicio 2 en ese capítulo).
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
u00 + u u (0) = f en
(2.27)
u=0 en @ :
u=f en
(2.28)
@u=@ = 0 en @ :
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
R (i) Dar una de…nición de solución débil para (2.28), y probar que la condición
f = 0 es necesaria para que haya solución.
R
(ii) Sea V := v 2 H 1 ( ) : v = 0 . Mostrar que V es un subespacio cer-
rado de H 1 ( ).
(iii) Probar la siguiente desigualdad de Poincaré: si es conexo, existe c > 0
tal que Z Z
2
v2 c jrvj para toda v 2 V .
u 2 H 1 ( ) : u = v + c, c 2 R :
Es fácil comprobar que A está bien de…nido, o sea que existe y es único.
Mostramos la existencia y dejamos la unicidad como ejercicio. Dado v 2 H …jo,
u ! hAu; vi 2 H y entonces por el teorema de Riesz existe un único w 2 H
tal que hAu; vi = hw; ui para todo u 2 H. De…nimos entonces A v := w.
En el siguiente teorema compilamos algunas propiedades que necesitaremos
sobre A . Al igual que antes denotamos con R (A) al rango de A, y además
llamamos N (A) al núcleo de A.
Demostración. Ver [19], Teorema 6.1, Teorema 6.10, Lema 6.11 (b) y Teorema
7.14 respectivamente.
[u Ku = 0 ) u = 0] () 8f 2 H 9! u 2 H tal que u Ku = f:
1
kuk Kuk k < para todo k:
k
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
O sea, uk Kuk ! 0. Pero como fuk g es acotada, por el Teorema 1.35 (com-
pacidad débil de la bola) existe una subsucesión ukj * u para algún u. A su
vez, como K es compacto, el Teorema 1.34 (v) dice que entonces Kukj ! Ku.
Luego,
ukj Ku ukj Kukj + Kukj Ku ! 0:
j!1
Pero entonces
u ( ukj ! Ku (2.30)
j!1 j!1
kvk vj k = uk uj K uk uj uk uj :
y vale (iii) (para la segunda igualdad, ver por ejemplo [19], Corolario 3.36).
Veamos (iv). Sea T := I K, y supongamos primero que N (T ) = f0g
pero H1 := T (H) H. Por (ii), H1 es cerrado. Además, H2 := T (H1 )
H1 . En efecto, por la de…nición de H1 es claro que T (H1 ) H1 . Si fuera
T (H1 ) = H1 , entonces T 2 (H) = H1 y así, como por hipótesis T es inyectivo,
T (H) = T 1 H1 = H.
Siguiendo así construimos una familia de espacios cerrados fHk gk2N con
Hk+1 := T k+1 (H) = T (Hk ) y Hk+1 Hk . Elegimos ahora uk 2 Hk con
?
kuk k = 1 y uk 2 Hk+1 (esto último es posible por ser Hk cerrado y Hk+1 Hk ).
Supongamos k > j. Tenemos entonces
Hk+1 Hk Hj+1
y por tanto
?
Luego, como uj 2 Hj+1 y kuj k = 1 resulta
2 2 2 2
kKuk Kuj k = kvjk uj k = kvjk k 2 hvjk ; uj i + kuj k 1:
Absurdo, pues K es compacto, fuk g es acotada y fKuk g no posee ninguna
subsucesión convergente.
?
Supongamos ahora R (I K) = H. Por (iii) es R (I K) = N (I K )
y por tanto N (I K ) = f0g. Pero entonces, como K es compacto pues K
lo es (ver Teorema 2.17 (iv)), aplicando lo hecho en los dos párrafos anteriores
con K en lugar de K deducimos que R (I K ) = H. Por lo tanto, al ser
(K ) = K (ver Teorema 2.17 (ii)), empleando (iii) con K en vez de K es
?? ?
N (I K) = N (I K) = R (I K ) = f0g
y concluimos la prueba de (iv).
Probamos (v). Como (K ) = K, basta ver que
dim N (I K ) dim N (I K) : (2.32)
Supongamos que no es cierto. Siendo ambos subespacios de dimensión …nita
(por (i)), existe A : N (I K) ! N (I K ) lineal, continua, inyectiva y no
n m
sobreyectiva. En efecto, si f j gj=1 y f'j gj=1 , n < m, son bases ortonormales
Pn
de N (I K) y N (I K ), dado u = j=1 j j 2 N (I K) de…nimos Au =
Pn
j=1 j 'j . Es claro que A es lineal y no sobreyectiva, y además
n
X
2 2 2
kAuk = j = kuk
j=1
Lu = f (x) en
(2.33)
u=0 en @ ;
si Z
B (u; v) = fv para toda v 2 H01 ( ) :
para toda u 2 H01 ( ). Es fácil ver que ambas de…niciones son equivalentes. En
efecto, como AT (x) rv; ru = hrv; A (x) rui, basta ver que
Z Z
hb (x) ; rui v = hb (x) ; rvi u + (div b (x)) vu (2.36)
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
Lu = f (x) en
( ) (2.37)
u=0 en @ ;
Lu + u = g (x) en
u=0 en @ ;
R R
(esto es, B (u; v) := B (u; v) + uv = gv para toda v 2 H01 ( )) y por
2 1
tanto el operador solución S : L ( ) ! H0 ( ) dado por g ! S g := u está
bien de…nido.
Sea ahora f 2 L2 ( ). Observamos que u 2 H01 ( ) es solución de (2.37) si y
sólo si para toda v 2 H01 ( ) se tiene
Z Z
B (u; v) = f v , B (u; v) = (f + u) v , u = S (f + u) :
L v + v = g (x) en
(2.42)
v=0 en @
R R
(pues por de…nición, v es solución de (2.42) si y sólo si B (u; v) + uv = gu
para toda u 2 H01 ( ), y entonces la prueba de que hay solución única de
(2.42) para toda g es exactamente igual a la prueba del Teorema 2.13 ya que
podemos usar Lax-Milgram). Sea ahora v := S g la única solución de (2.42) y
sea K := S . Es claro que así de…nido vale (2.41) pues podemos repetir todos
los pasos del comienzo de la demostración con K y S en lugar de K y S .
Dada f 2 L2 ( ), escribimos ahora u := S f . Veamos que K es efectiva-
mente el adjunto de K:
Para todas f; g 2 L2 ( ) es
donde la tercer igualdad es consecuencia del hecho de que por de…nición se tiene
Z Z
B (u; v) + uv = fv para toda v 2 H01 ( ) ;
Z Z
B (u; v) + uv = gu para toda u 2 H01 ( ) :
1 1 1
hh; viL2 = hS f; viL2 = hKf; viL2 = hf; K viL2 = hf; viL2
Observación 11. (i) El Teorema 2.13 provee operadores L para los cuales
ocurre ( ): basta con que L sea autoadjunto y c 0 en . Más aún, como
corolario del principio del máximo veremos que esto aún es cierto sin que L sea
autoadjunto (ver Observación 24 en la Sección 2.5.1). Por otro lado, a partir de
los resultados sobre autovalores del Capítulo 3 podremos construir ejemplos de
operadores para los cuales ocurre ( ) en cualquier acotado, ver Ejercicio 2 del
mencionado capítulo. R
(ii) Se puede probar rápidamente que la condición f v = 0 para toda
v 2 N es necesaria para que (2.37) tenga soluciones, sin recurrir a la Alterna-
tiva de Fredholm. En efecto, si u; v 2 H01 ( ) son soluciones de (2.37) y (2.39)
respectivamente, entonces
Z
B (u; w) = fw para toda w 2 H01 ( ) ;
u00 0 en
u 0 en @ :
Lu 0 en sentido débil si
Z
hA (x) ru; r i + hb (x) ; rui + c (x) u 0 para toda 0 2 H01 ( ) ;
y Lu = f en sentido débil si
Z Z
hA (x) ru; r i + hb (x) ; rui + c (x) u = f para toda 2 H01 ( ) :
sup u := nf fk 2 R : u k en @ g ;
@
nf u := sup ( u) :
@ @
Teorema 2.23 (Principio del máximo débil para soluciones débiles). Sea
Rn un abierto acotado en una dirección, y supongamos que L es autoadjunto y
que c 0 en . Si u; v 2 H 1 ( ) son tales que (en sentido débil)
Lu Lv en
u v en @ ;
Lu := u 2u = 0 en
u=0 en @ ;
u = f (u) en
u=0 en @
n 2
Ejercicio 10. Sean 1 2 abiertos acotados en R , y para fi 2 L ( i ),
1
i = 1; 2, sean ui 2 H0 ( i ) soluciones de
Concluimos esta sección con dos corolarios del principio del máximo.
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
Lu = f (x) en Lv = g (x) en
u=0 en @ ; v=0 en @ ;
Lu 0 en
u M en @ ;
L (u M ) = Lu cM 0
2.4.1. Estimaciones L1
Comenzamos dando dos resultados que muestran que si f es acotada, u
también lo es. Ambos son esencialmente consecuencia del principio del máximo,
y las demostraciones son muy simples. Una forma de convencerse de que no son
resultados triviales es intentar probarlos sin usar principio del máximo.
Recordamos el siguiente hecho que será de gran utilidad (ver Ejercicio 19 de
la Sección 1.2.8):
9
acotado, =
u 2 H 1 ( ) , v 2 H01 ( ) , =) u 2 H01 ( ) . (2.44)
;
0 u v
u = f (x) en
(2.45)
u=0 en @ ;
está en L1 ( ) y
v = 1 en
v=0 en @ ;
o sea, w es solución de
w = kf k1 en
w=0 en @ :
z= kf k1 en
z=0 en @ ;
2
Sea ahora g el polinomio dado por g (x) = 12 (R hx; i ), donde 2 Rn es
cualquier vector unitario y R > 0 es su…cientemente grande de manera que sea
g 0 en (esto es posible pues es acotado). Es claro que
@g @2g 2
= hx; i j, = j
@xj @x2j
2
y por tanto g=j j =1= v. A…rmamos que además v g en sentido
+
débil en @ , o sea que (v g) 2 H01 ( ). En efecto, v g 2 H 1 ( ) y v + 2
H01 ( ) (por el Corolario 1.23, ya que v 2 H01 ( )), y como g 0 también
obtenemos que
+
0 (v g) v+ :
+
Así, (v g) 2 H01 ( ) gracias a (2.44). Luego, el principio del máximo implica
que v g a:e: en y entonces
R
juj kf k1 v kf k1 g kf k1 en .
2
Teorema 2.27 (Estimaciones L1 ). Sea acotado y supongamos c (x) >0
en . Entonces, dada f 2 L1 ( ), la única solución u 2 H01 ( ) de
está en L1 ( ) y
1
kukL1 ( ) kf kL1 ( ) .
kf k1 kf k1
L( )= c (x) kf k1 f = Lu.
Además, como
kf k1
0 (u )+ u+ ,
(i) Supongamos primero que b 0. Probar que existe una única solución
débil u 2 H01 ( ) de (2.48).
(ii) Probar que u 2 H 2 ( ) y por tanto u es solución fuerte de (2.48).
(iii) Probar que si f 2 C entonces u 2 C 2 y es solución clásica de
(2.48).
(iv) De…nir
Rx b(t)
dt
h (x) := e 0 a(t) ;
e
a := ha; e
c := hc; fe := hf .
u 2 C ( ); R
u es armónica en , 1
u (x) = jB(x;r)j B(x;r)
u (y) dy 8 B (x; r) ;
u es armónica en ) u 2 C1 ( ) :
Demostración. Supongamos que es acotado, y sea > 0 …jo. Para 0 < " <
, sean u" = " u 2 C 1 ( ) los molli…ers de u. Sea x 2 …jo. Con la misma
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
cuenta que hicimos en el Teorema 1.2 (i) para probar que los molli…ers son C 1
podemos justi…car que
Z Z
u" (x) = u (y) " (x y) dy = u (y) " (x y) dy = 0;
donde la última igualdad es por hipótesis, ya que sop " (x ) = B (x; ") .
Por lo tanto u" es armónica en (pues x era arbitrario) y así de la observación
anterior resulta
Z
1
u" (x) = u" (y) dy 8 B (x; r) : (2.49)
jB (x; r)j B(x;r)
Sea ahora x 2 2 y tomemos una sucesión f"j gj2N con > "j & 0. Es
B (x; ) y entonces
Z
1
u"j (x) u"k (x) u"j (y) u"k (y) dy (2.50)
jB (x; )j B(x; )
Z
1
u"j (y) u"k (y) dy:
jB (x; )j
R
Luego, del párrafo anterior resulta que 0 (uxi + wi ) = 0 para toda
2 Cc1 ( 0 ) y así el Lema de Weyl implica que uxi +wi 2 C 1 ( 0 ). En particular,
1
uxi + wi 2 Hloc ( 0 ) y por tanto, como wi 2 H01 ( 0 ), concluimos que uxi 2
1
Hloc ( 0 ) para todo i. En otras palabras, u 2 Hloc 2
( 0 ). Al ser 0 arbitrario,
2
resulta u 2 Hloc ( ).
Más aún, usando otra vez (2.51) y el hecho de que ahora sabemos que existen
las derivadas de u de orden dos, para toda 2 Cc1 ( ) obtenemos
Z Z Z
f = hru; r i = ( u) .
R
Pero entonces (f + u) = 0 para tales y por tanto (recordar el Lema 1.5)
es u = f (x) a:e: x 2 .
1 3
Probamos por último que si f 2 Hloc ( ) entonces u 2 Hloc ( ) (el caso
general es una aplicación directa del método de inducción y lo dejamos como
ejercicio). Sea 2 Cc1 ( ) y sea 0 abierto con sop 0
b . Teniendo en
2
cuenta que u 2 Hloc ( ), que u = f a:e: en y que las derivadas de
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
es decir, Z Z
hr ; ruxi i = fxi para toda 2 Cc1 ( ) :
Pero entonces podemos repetir la primera parte de la prueba con uxi (que está
1 2
en Hloc pues u está en Hloc ) y fxi (que está en L2loc pues f está en Hloc
1
) en
2
lugar de u y f y por tanto probar que uxi 2 Hloc ( ) para todo 1 i n, o sea
3
que u 2 Hloc ( ).
Observación 17. Se puede probar el mismo resultado para un operador L
general bajo adecuadas condiciones de regularidad sobre los coe…cientes del
operador. La demostración es muchísimo más complicada (ver, [9], Teoremas
1 y 2, Sección 6.3.1; o [4], p. 218-224, para el caso autoadjunto). Asimismo,
con apropiadas condiciones sobre @ y sobre L, se pueden probar resultados de
regularidad hasta la frontera, ver por ejemplo [9], Teoremas 1 y 2, Sección 6.3.2.
y entonces
2
jruj = u2x + u2y =
2 2 2 2
(ur rx ) + (u x) + (ur ry ) + (u y) + 2ur u (rx x + ry y) =
2
2 2 2 2 u
(ur rx ) + (u x) + (ur ry ) + (u y) = u2r + :
r2
Luego,
Z Z Z " #
1 2 2
2 1 1
jruj dxdy = r sin + 2 r cos rd dr =
0 0 r
2
Z 1
r 2( 1)
rdr < 1
0
u0 = f (x) en 0
(2.55)
u0 = 0 en @ 0 :
0
Como f es continua, f" ! f uniformemente en (recordar el Teorema 1.2
(iii)) y por tanto f" ! f en L2 ( 0 ). Luego, la continuidad del operador solución
S : L2 ( 0 ) ! H01 ( 0 ) (ver De…nición 2.14 y Corolario 2.15, o simplemente ver
(2.5)) dice que u" ! u0 en H01 ( 0 ).
Por otra parte, f" 2 L1 ( 0 ) y entonces las estimaciones L1 del Teorema
0
2.26 dan, para x 2 ,
0 0
y entonces fu" g converge uniformemente en . Por lo tanto, u0 2 C( ). Em-
pleando ahora (2.54) y (2.55) vemos que
Z Z
(u u0 ) = hr (u u0 ) ; r i = 0 para toda 2 Cc1 ( 0
)
0
y así el Lema de Weyl dice que u u0 2 C 1 ( 0 ). Luego, como u0 2 C( ),
deducimos que u 2 C( 0 ). Al ser 0 arbitrario, esto concluye la demostración.
P
(Es equivalente la norma dada por k@ ukL1 ( ) .)
0 j j k
Observamos que toda función uniformemente continua en un abierto ad-
mite una (única) extensión continua a @ . Luego, pensamos a las funciones de
C k ( ) y a sus derivadas de…nidas en . En efecto, dada f 2 C( ), para x0 2 @ ,
sea xj ! x0 con xj 2 . Como f es uniformemente continua, jxj xk j < im-
plica que jf (xj ) f (xk )j < " y por tanto ff (xj )g es una sucesión de Cauchy y
entonces tiene sentido de…nir f (x0 ) := l mj!1 f (xj ). Es claro que así de…nida
f resulta continua en x0 . Veamos que la de…nición no depende de la sucesión
elegida. Sean yj ! x0 con yj 2 y Y := l mj!1 f (yj ). Ponemos
xj si j es par
zj :=
yj si j es impar:
Como arriba, ff (zj )g converge pues es de Cauchy. Pero entonces toda subsuce-
sión converge. En particular, f (zj ) ! f (x0 ) si j es par y f (zj ) ! Y si j es
impar y por tanto Y = f (x0 ).
jf (x) f (y)j
[f ] ; := sup < 1:
x;y2 ; x6=y jx yj
o equivalentemente
C k;1 ( ) C k; ( ) C k; ( ) C k ( ):
Si es convexo, entonces
C k+1 ( ) C k;1 ( );
C k+1 ( ) C k; ( ):
u = f (x) en
(2.56)
u = g (x) en @ ;
Desigualdad de Morrey
Comenzamos con el primer teorema de inmersión, conocido como desigual-
dad de Morrey.
Teorema 2.33 (Desigualdad de Morrey). Sea Rn un abierto (no necesari-
amente acotado), y sean p > n y := 1 n=p. Entonces, para toda u 2 W01;p ( )
existe u 2 C ( ) con u = u a:e: en y satisfaciendo que
kukL1 ( ) c kukW 1;p ( ) ; [u] ; c kjrujkLp ( ) ; (2.57)
para cierta c = c (n; p) > 0. En particular, se tiene la inmersión continua
W01;p ( ) ,! C ( ):
Siempre identi…caremos u con su representante continuo u.
es decir
ju (x)j e
c (n; p) kukW 1;p (Rn ) para todo x 2 Rn : (2.61)
1
u (x) := log log ; x2 f0g :
jxj
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
Desigualdad de Sobolev-Gagliardo-Nirenberg
Probamos ahora el segundo teorema de inmersión.
Observación 21. Vale la pena notar que si para algún q > 0 se tiene
es decir
1 n=p+n=q
kukLq (Rn ) c kjrujkLp (Rn ) :
Si fuera 1 n=p + n=q 6= 0, haciendo ! 1 o ! 0 llegamos a una con-
tradicción. Por lo tanto debe ser 1 n=p + n=q = 0, o lo que es lo mismo,
q=p .
Notar además que (2.63) no puede ser cierta para toda u 2 C 1 (Rn ) (tomar,
por ejemplo, u constante).
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
Z xi
u (x) = uxi (x1 ; :::; xi 1 ; yi ; xi+1 ; :::; xn ) dyi
1
y entonces
Z 1
ju (x)j jru (x1 ; :::; xi 1 ; yi ; xi+1 ; :::; xn )j dyi :
1
n
Y Z 1 1=(n 1)
n=(n 1)
ju (x)j jru (x1 ; :::; xi 1 ; yi ; xi+1 ; :::; xn )j dyi :
i=1 1
Z 1 Z 1 n
Y Z 1 1=(n 1)
n=(n 1)
juj dx1 jruj dyi dx1 =
1 1 i=1 1
Z 1 1=(n 1) Z 1 Y n Z 1 1=(n 1)
jruj dy1 jruj dyi dx1
1 1 i=2 1
Z 1 n
1=(n 1) Y Z 1 Z 1 1=(n 1)
jruj dy1 jruj dyi dx1 ;
1 i=2 1 1
Z Y Y X 1
jfi j kfi kpi ; 1; (2.64)
pi
R1
tomando en nuestro caso fi := ( 1
jruj dyi )1=(n 1)
y pi := n 1 para todo i.
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
p =1 p p
1
r juj = juj 1 sgn (u) ru:
1
p =1
Empleando (2.65) con juj en lugar de u y la desigualdad de Hölder resulta
p =1 p =1 p =1
kukLp (Rn )
= juj r juj = (2.66)
L1 (Rn ) L1 (Rn )
Z Z 1=p0
p p
1 p p
1 p0
juj 1 jruj juj 1
kjrujkLp (Rn ) :
1 Rn 1 Rn
y por tanto
p p
1= : (2.67)
1 p0
Reemplazando en (2.66) queda
p =1 p p =p0
kukLp (Rn )
kukLp (Rn ) kjrujkLp (Rn ) ;
1
y teniendo en cuenta (2.67) deducimos además que
p
kukLp (Rn ) kjrujkLp (Rn ) := c (n; p) kjrujkLp (Rn ) : (2.68)
1
a b
ab + : (2.69)
1 1 1
kf kr kf kp kf kq ; donde = + . (2.70)
r p q
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
Si 1 p q 1 y j j < 1, entonces Lq ( ) ,! Lp ( ) y
1 1
kf kp j jp q
kf kq . (2.71)
W0k;p ( ) ,! C m; ( ); (2.75)
con ( h i
n n n
n p +1 p si p 62 N
m := k 1; := n
p 0< <1 si p 2 N:
Demostración. Si k = 1 no hay nada que probar ya que (i) y (ii) se reducen a
los Teoremas 2.34 y 2.33 respectivamente. Haremos ahora en detalle las cuentas
para k = 2 y dejaremos indicado como se procede en el caso general.
Supongamos primero que 2p < n. A…rmamos que W02;p ( ) W01;p ( ). En
efecto, sea u 2 W02;p ( ), y sea f m gm2N Cc1 ( ) tal que
8
< m!u en Lp ( )
@x m ! @xi u en Lp ( )
: i
@xi xj m ! @xi xj u en Lp ( ):
Por el Teorema 2.34 tenemos
k m n kLp ( ) c kjr ( m n )jkLp ( ) ! 0
m;n!1
con
1 1 1 1 1 k
:::
= ::: = ,
p p n n p n
o sea p ::: = np= (n kp). Como además es fácil chequear que las inmersiones
involucradas son continuas (pues la inmersión del Teorema 2.34 lo es), queda
probado (i).
Supongamos ahora que 2p > n y que n=p 62 N. En este caso es [n=p] 1,
es decir, m = 0 o m = 1. Si m = 0, tenemos [n=p] = 1 y por tanto, como
n=p 62 N, resulta p < n. Luego, razonando como en la primera parte de la
prueba obtenemos que W02;p ( ) W01;p ( ). Más aún, p > n pues
2 1 1 1 1 1
2p > n ) > ) > = : (2.76)
n p n p n p
Podemos aplicar entonces el Teorema 2.33 con p en lugar de p y deducir que
W01;p ( ) C ( ) con
n 1 1 n n n
=1 =1 n =2 = +1 :
p p n p p p
Por otra parte, si m = 1 tenemos que [n=p] = 0, o sea, p > n. Sea ahora
u 2 W02;p ( ). Entonces u; uxi 2 W01;p ( ). Luego, como p > n, el Teorema 2.33
dice que u; uxi 2 C ( ) con
n n n
=1 = +1 :
p p p
Pero entonces en particular resulta que u y todas sus derivadas parciales débiles
son continuas, y por tanto u es diferenciable en sentido usual y las derivadas
débiles coinciden con las usuales (recordar el Ejercicio 11 en la Sección 1.2.4). O
sea, hemos probado que u 2 C 1; ( ) como queríamos ver, y al igual que en (i)
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
y análogamente
Se tiene
0
(i) Si k > n=2 2, entonces u 2 C m; ( ) para todo 0
b , con
hni n n n
m := k + 1; := 2 +1 2 si 2 62 N
(2.77)
n
2 0< <1 si 2 2 N:
En particular, u 2 C m ( ).
0
(ii) Si k [n=2] + 1, entonces u 2 C 2; ( ) para todo 0 b (con dado
por (2.77)). En particular, la ecuación u = f se cumple en sentido usual en
.
(iii) Si f 2 C 1 ( ), entonces u 2 C 1 ( ).
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
u = f (x) en
u=0 en @ ;
Más aún, recordando (2.79) y que Q es ortogonal, si C := [cij (x0 )]n n tenemos
que para todo 2 Rn
hC ; i = QT Hu (x0 ) Q ; = (Hu (x0 ) Q ; Q ) 0
y en particular cii (x0 ) 0.
Luego, al ser ru (x0 ) = 0 y D diagonal, obtenemos que
X @2u
0 > Lu (x0 ) = aij (x0 ) (x0 ) = tr (DC) =
i;j
@xj @xj
X
di (x0 ) cii (x0 ) 0;
i
h ;xi
" e + n max kbi kL1 ( ) j j <0
i
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
Teorema 2.40 (Principio del máximo débil). Sea L dado por (2.78), con A
como en el teorema anterior y c 0 en . Sea u 2 C 2 ( ) \ C( ) tal que Lu 0
en . Entonces
max u max u+ :
@
max u = max u:
@
+ +
Demostración. Sea := fx 2 : u (x) > 0g. Si = ; no hay nada que
probar. Si + 6= ;,
+
(L c (x)) u c (x) u 0 en
+
y aplicando el teorema anterior al operador L c (x) en el abierto resulta
max u = max
+
u max
+
u max u+ :
@ @
max ( u) max u :
@
Lu = f (x) en
(2.81)
u = g (x) en @ ;
Lu = f (x) en
u=0 en @ ;
Concluimos esta sección con otra consecuencia interesante del principio del
máximo débil. La prueba está tomada de [17].
Si Lu = f (x) en , entonces
L0 er(xi +k) = r2 aii (x) er(xi +k) +rbi (x) er(xi +k) = rer(xi +k) ( raii (x) + bi (x)) .
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
Sea ahora
L (u v) f (x) sup f + 0 en
@u @u
(x0 ) := lm hru (x) ; i = lm (x) :
@ x!x0 ; x2 x!x0 ; x2 @
f 00 (0) 2
f (x) = x + o x2 (jf 00 (0)j + 1) x2 + o x2 := cx2 + o x2 ;
2
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
dado cualquier r > 0, existe r0 2 (0; r) tal que jxj r0 implica que Rx
1= (4cr). Eligiendo entonces r 1= (4c), la bola B (0; r0 ) sirve para veri…car que
se cumple la CEI en x0 = 0.
c 0; u (x0 ) arbitrario
c 0; u (x0 ) 0 (2.82)
c arbitrario, u (x0 ) = 0:
Notar que el teorema no es cierto con la hipótesis u (x0 ) u (x) para todo
x 2 (tomar, por ejemplo, u constante).
Demostración. Sea B (y; r) la bola que existe por hipótesis, satisfaciendo
que @B (y; r) \ @ = fx0 g. Sean A := Anillo (y; r=2; r) y L+ := L + c ; y para
x 2 A y > 0 a elegir, sea
jx yj2 r2
v (x) := e e 0.
Elegimos ahora
@ x0
@ (u u (x0 ) + "v) (x0 ) 0. Como @ (u (x0 )) =@ = 0 y = (x0 y) =r,
recordando (2.83) deducimos que
@u @v x0
(x0 ) " (x0 ) = " lm hrv (x) ; i=
@ @ x!x0 ; x2
r2 x0 y
"2 e lm x y; >0
x!x0 ; x2 r
c 0 y u alcanza un máximo en
c 0 y u alcanza un máximo no negativo en (2.84)
c es arbitrario y u alcanza un máximo igual a 0 en ;
Capítulo 3
Autovalores y
descomposición espectral
3.1. Introducción
En el siguiente capítulo, el principal objetivo será estudiar la existencia de
soluciones a problemas de la forma
Lu = f (x; u) en
u=0 en @ ;
u= u en
(3.1)
u=0 en @ ;
Lu := u u = 0 en
u=0 en @
Lu = u en
(3.2)
u=0 en @
91
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
si existe 0 6 u 2 H01 ( ) tal que vale (3.2) en sentido débil; y en tal caso decimos
que u es una autofunción asociada a .
uj ! u en L2 ( ) ; uj * u en H01 ( )
O sea, Z
2
jruj = 1 (3.5)
y el ín…mo se alcanza en u.
Comprobaremos ahora que u es autofunción principal de (3.2). Para j j 0
y v 2 H01 ( ), sea R 2
jr (u + v)j
R ( ) := R 2 :
(u + v)
Entonces R ( ) tiene un mínimo en = 0 y así, teniendo en cuenta (3.5) y que
kukL2 ( ) = 1, resulta que
(R 2 2
)
d d jruj + 2 hru; rvi + 2 jrvj
0= R ( )j =0 = R 2 =
d d (u + v) j =0
8 9
> R 2 R R 2R
2 (u + v) v >
2
<2 hru; rvi + jrvj (u + v) jr (u + v)j =
> R 2 >
: (u + v)
2 ;
j =0
2 R R 2R Z Z
2 kukL2 ( ) hru; rvi 2 jruj uv
= 4 =2 hru; rvi 1 uv :
kukL2 ( )
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
(3.6)
L L
(i) Supongamos c 0. Probar que 1 > 0 y que 1 es el menor autovalor
del problema
Lu = u en
u=0 en @ :
L
(ii) Si c 6 0, probar que si bien en general 1 6> 0 la otra a…rmación de (i)
sigue siendo cierta.
Lu = 0 en
u=0 en @ :
Observación 2. Aún para un dominio acotado general puede probarse que las
autofunciones u 2 L1 ( ) (ver [18], Teorema 8.10). Si además @ es regular,
entonces u es regular en como consecuencia de los teoremas de inmersión
para los espacios W k;p ( ). Más precisamente, si es de clase C k , entonces
u 2 H ( ); en particular, si es de clase C , entonces u 2 C 1 ( ). Más aún,
k 1
juj + u juj u
u+ = y u = .
2 2
En particular, por el teorema anterior, u+ ; u 2 C 1 ( ) y entonces u+ =
+
1u y u = 1 u se cumplen en sentido usual en .
Supongamos ahora que existen x0 ; x1 2 tales que u+ (x0 ) = 0 < u+ (x1 ).
Sea 0 un abierto conexo con 0 b y tal que x0 ; x1 2 0 . Se tiene que u+ 2
0
C 1 ( ) y que ( u+ ) 0 en 0 . Pero u+ 0 y alcanza su máximo en x0 2
0
. Luego, el principio del máximo fuerte para soluciones clásicas (Teorema 2.46)
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
Más aún, si valiera la igualdad tendríamos que la extensión de u por cero sería
autofunción principal en 2 , contradiciendo el Teorema 3.4 (ii).
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
Lu := u u = f (x) en
(3.7)
u=0 en @ :
(i) Si 0 < < 1 , demostrar que existe una única u 2 H01 ( ) solución de
(3.7).
Mostrar además que si h 0 en entonces u 0 en . Más aún, si
nf h > 0, existe " > 0 tal que u "'1 en ('1 > 0 la autofunción principal
positiva normalizada con k'1 kL1 ( ) = 1). En particular, u > 0 en .
(ii) Probar que si vale el principio del máximo débil para el operador L,
entonces < 1 .
(iii) Mostrar que si = 1 , la primera a…rmación de (i) no es cierta.
Vale la pena notar que la prueba del inciso (ii) es exactamente igual a la
prueba del inciso (i) de la Alternativa de Fredholm (Teorema 2.18).
Como consecuencia directa del teorema espectral y de los resultados de los
dos primeros capítulos tenemos el siguiente
Luj = j uj en
(3.8)
uj = 0 en @ :
Lu = f (x) en
u=0 en @ :
hf; SgiL2 = hf; viL2 = B (u; v) = B (v; u) = hu; giL2 = hSf; giL2
Concluimos esta sección con dos resultados que complementan los teoremas
de existencia demostrados en las Secciones 2.2.2 y 2.2.4.
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
Luj = uj + fj (x) en
uj = 0 en @
y
kuj kL2 ( ) > j kfj kL2 ( )
para todo j 2 N. Como podemos suponer sin generalidad que kuj kL2 ( ) = 1
para todo j (pues L es lineal) tenemos que fj ! 0 en L2 ( ).
Por otro lado, sea
Z
B (u; v) := hA (x) ru; rvi + hb (x) ; rui v + c (x) uv
+ kfj kL2 ( ) + 1;
y por otra parte, de las estimaciones de energía del Teorema 2.12 (ii) (ver (2.22))
sabemos que existen ; > 0 tales que
2 2
kuj kH 1 ( ) B (uj ; uj ) + kuj kL2 ( ) = B (uj ; uj ) + .
0
Lu = u en
u=0 en @ :
R R 2
Más aún, si fuera m (x) u2 = 0, tendríamos que jruj = 0 y por tanto
1
(pues es conexo y u 2 H0 ( )) sería u 0:
Sean ahora > 0 un autovalor Rde (3.14) y u una autofunción asociada. Por
lo anterior podemos suponer que m (x) u2 = 1. Teniendo en cuenta (3.16),
(3.15) y empleando la desigualdad de Hölder (2.64) y el Corolario 2.35 (ii) (con
p = 2 y q = 2 ) obtenemos que
Z R 2
2 jruj
= jruj 1 (m) = Rnf R
u2H01 ( ); m(x)u2 =1 m (x) u2
2
kjrujkL2 ( ) c
Rnf 2 >0
u2H01 ( ); m(x)u2 =1 kmkLp ( ) kukL2 ( )
kmkLp ( )
uj ! u en Lr ( ) ; uj * u en H01 ( ) ;
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
R
y por tanto m (x) u2 = 1. La prueba de que u realiza el mínimo sigue ahora
exactamente igual que la del Teorema 3.2.
Más aún, de…niendo para j j 0 y v 2 H01 ( )
R 2
jr (u + v)j
R ( ) := R 2;
m (x) (u + v)
haciendo exactamente los mismos cálculos que en el citado teorema resulta que
u es una autofunción asociada a 1 (m) y esto concluye la prueba de (i).
Por otra parte, razonando como en el primer párrafo de la demostración
del Teorema 3.4 vemos que si u es una autofunción principal entonces también
lo son u+ y u . Pero entonces por la teoría de regularidad W 2;p se tiene que
u+ ; u 2 W 2;p ( ) con p > n y por tanto el principio del máximo fuerte de [10],
Teorema 9.6, implica que ambas son estrictamente positivas o identicamente
cero en . Más aún, teniendo frontera regular deducimos de los teoremas de
inmersión de Sobolev que u+ ; u 2 C 1 ( ), y podemos usar entonces ahora el
Lema de Hopf enunciado en [6], Proposición 1.16, para concluir que @u=@ < 0
en @ en el caso en que u+ > 0 en .
R R
Si m1 m2 entonces m1 (x) u2 m2 (x) u2 y A1 A2 . Luego,
R 2 R 2 R 2
jruj jruj jruj
1 (m1 ) = nf R nf R nf R = 2 (m) :
A1 m1 (x) u2 A1 m2 (x) u2 A2 m2 (x) u2
Notamos
R ahora que si Rmj ! m en Lp ( ), entonces para toda u 2 H01 ( ) se
2
tiene que mj (x) u ! m (x) u2 pues
Z
2
(mj (x) m (x)) u2 kmj mkLp ( ) kukL2 !
( ) j!1 0.
R
Eligiendo = u resulta entonces que m (x) u2 > 0 y así
R 2
jruj
1 (m) R .
m (x) u2
Capítulo 4
Problemas no lineales
Lu = f (x; u) en
u=0 en @ ;
107
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
ser límite de funciones medibles. (Es fácil veri…car usando la segunda condición
de la De…nición 4.1 que f (x; j ) es medible. En efecto, si := c A con c 2 R y
A medible, entonces
O sea, para cualquier sucesión uj ! u en Lp ( ), existe ujk tal que f (x; ujk ) !
f (x; u) en Lq ( ). Pero entonces la sucesión original f (x; uj ) converge a f (x; u)
en Lq ( ). En efecto, si f (x; uj ) 6! f (x; u), existe alguna subsucesión ujk satis-
faciendo que kf (x; ujk ) f (x; u)kLq ( ) ", pero de esa subsucesión podemos
extraer otra subsucesión ujkl tal que que f (x; ujkl ) sí converge a f (x; u) en
Lq ( ), lo cual es un absurdo. Esto termina la demostración.
Lu = f (x; u) en
(4.2)
u=0 en @ ;
Lu f (x; u) en
u 0 en @ ;
Lu f (x; u) en
u 0 en @ ;
y sea ' > 0 una autofunción principal. Si ponemos u := ' y u := ', es claro
que u y u son sub y supersoluciones de (4.3) (pues son soluciones) y que u > u en
. Notar asimismo que no existen soluciones maximales ni minimales de (4.3).
(vi) Hay problemas de la forma (4.2) que admiten solución pero se puede
demostrar que ésta no puede ser encontrada mediante sub y supersoluciones
bien ordenadas, ver Observación 3 más adelante.
Demostración del teorema. Procederemos en varios pasos. Comenzamos ob-
servando que f (x; v) 2 L2 ( ) para toda v 2 A. En efecto, si vale H1,
ya que L. Pero entonces en cualquier caso, del principio del máximo débil
para soluciones débiles (Teorema 2.23) concluimos que u1 u2 en y por tanto
T es creciente.
A…rmamos que además se tiene que T (A) A. En efecto, sea v 2 A. Como
T es creciente resulta que T (u) T (v) T (u), y entonces para probar la
a…rmación basta ver que T (u) u y u T (u). Escribamos u1 := T (u).
Ahora, como u es subsolución de (4.2) resulta que
L u1 = u + f (x; u) u + Lu = L u
u= 1u + h (x) := f (x; u) en
(4.6)
u=0 en @ :
u = f (u) + h (x) en
u=0 en @ :
v = m (x) en
(4.9)
v=0 en @ :
Más exactamente, sea 0 < v 2 H01 ( ) una solución, y supongamos que existe
0 < u 2 H01 ( ) subsolución (y que no es solución) con u v. Observamos
primero que uq 1 ; v q 1 2 Lr ( ) para algún r > n=2. En efecto, por el teorema
de inmersión de Sobolev u 2 L2 ( ) y por tanto uq 1 2 L2 =q 1 ( ). Ahora,
q 1 < 4=(n 2) y así
2 n 2 2n n
> = :
q 1 4 n 2 2
Luego, podemos usar la teoría de autovalores principales para problemas con
peso de la Sección 3.4 con los pesos muq 1 y mv q 1 . Más precisamente, como
v = m (x) v p = m (x) v p 1
v
tenemos que 1 = 1 mv p 1
, y por otro lado, como
u m (x) up = m (x) up 1
u;
del Teorema 3.14 (iv) deducimos que 1 > 1 mup 1 . Pero u v y entonces
de la monotonía del autovalor principal positivo respecto al peso (Teorema 3.14
(ii)) concluimos que 1 mup 1 1 mv
p 1
, lo cual es una contradicción.
Notar que bajo apropiadas condiciones de integrabilidad se puede usar el
mismo argumento para una f (x; ) tal que ! f (x; ) = sea creciente a:e:
x2 .
Observación 4. Consideremos nuevamente el problema (4.10) pero con m que
pueda cambiar de signo en (y m+ 6 0, para que el problema pueda admitir
alguna solución). Una lectura rápida a los cálculos del Ejemplo 3 muestra que
la construcción de la supersolución allí obtenida sigue funcionando en este caso
si reemplazamos m por m+ . Sin embargo, no queda claro como obtener una
subsolución estrictamente positiva en . De hecho, el problema ahora se vuelve
mucho más complicado, inclusive en una dimensión. Sólo se conocen algunas
condiciones su…cientes sobre m y q y algunas otras condiciones necesarias para
que el problema posea solución, pero el problema está lejos de quedar resuelto
completamente (ver [11], Sección 2, para el caso del laplaciano, y [15] para un
operador de segundo orden general).
Vamos a mostrar en el siguiente ejemplo como una pequeña variación en
un problema difícil (el de la Observación anterior) lo convierte en uno muy
fácil. Para utilizar sólo los resultados que hemos probado sólo vamos a ver el
caso unidimensional, pero esencialmente la misma demostración vale en más
dimensiones.
Vale la pena mencionar también que la subsolución que vamos a construir
en el ejemplo que sigue nunca puede ser subsolución en sentido usual (de hecho,
nunca puede ser ni siquiera de clase C 1 ).
Ejemplo 4. Sean := (a; b) R, m : ! R con m 2 L2 ( ) \ C ( ) y
q 2 (0; 1). Estudiamos ahora el problema
8
< u00 = m (x) uq en
06 u 0 en (4.11)
:
u=0 en @ :
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
'00 = I
1 (m) m (x) ' := m (x) ' en I
'=0 en @I:
Observamos ahora que ' 2 C I por el teorema de Morrey. Más aún, como
m' 2 L2 (I), razonando como en la Observación 15 de la Sección 2.4.2, tenemos
que ' 2 H 2 (I) y que la ecuación se cumple puntualmente (para las derivadas
débiles) a:e: en I. Además, siendo m 2 C I , resulta que '00 2 C I y entonces
integrando la ecuación también vemos que '0 2 C I . Es decir, ' y sus derivadas
débiles son continuas, y así ' 2 C 2 (I) (recordar el Ejercicio 11 del Capítulo 1)
y la ecuación se satisface en sentido usual.
1=(1 q)
Sea 0 < " < ( ) . De…nimos ahora
"' en I
u :=
0 en I:
:= l m f ( ) = ; := l m f ( ) = :
!0+ !1
u v en Oc
w :=
0 en Oc ;
f (x;v)
de lo anterior deducimos que O 1
c
v < 1. Pero la monotonía del autovalor
principal positivo respecto al dominio (Teorema (3.14) (i)) dice que
Oc f (x; v) f (x; v)
1 1 = 1;
v v
1
A := (x; y) 2 R2 : y = , x 6= 0
jxj
La demostración del siguiente lema puede verse en [8], Lema 4, Sección V.2.1,
y Teorema 6, Sección V.2.1. El inciso (ii) es conocido como teorema de Mazur.
co (A) = co (A):
La demostración del siguiente resultado puede verse en, por ejemplo, [4],
Teorema 1.1.
En particular, PK : H ! H es continua.
Notar que (4.21) implica que PK (h) = h para todo h 2 K, o sea, PK (K)
K.
Demostración. Sea R > 0 tal que K B (0; R), sea PK como en el lema
anterior, y sea G := F PK : B (0; R) ! B (0; R). Entonces G es continua y por
el teorema de Brouwer tiene un punto …jo (pues G e : B (0; 1) ! B (0; 1) dada
e
por G (x) := G (Rx) =R tiene un punto …jo), o sea F (PK (x)) = x para algún
x 2 B (0; R). Pero Im G K , es decir, PK (x) = x, y así queda demostrado (i).
Por otra parte, si h : Y ! K es un homeomor…smo, entonces h F h 1 :
K ! K es continua y por tanto tiene un punto …jo por (i). O sea, existe x 2 K
tal que h F h 1 (x) = x, o dicho de otra forma, F h 1 (x) = h 1 (x).
1
X 1
X
2
x= xj ej ; con xj = hx; ej i ; kxk = x2j :
j=1 j=1
P1
Sea A : H ! H el operador dado por Aej = ej+1 , esto es, A j=1 xj ej =
P1
j=1 xj ej+1 . Es claro que A es lineal, P
y además kAxk = kxk (en particular, A
P1
1
es continuo). En efecto, si escribimos j=1 xj ej+1 := j=1 yj ej con y1 := 0,
yj := xj 1 si j > 1, entonces
1
X 1
X 1
X 1
X
2 2
kAxk = yj2 = yj2 = x2j 1 = x2j = kxk : (4.22)
j=1 j=2 j=2 j=1
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
1=2
2
Sea ahora F (x) := 1 kxk e1 + Ax. Entonces F es continua y uti-
lizando (4.22) vemos que
1=2
2 2 2 2
kF (x)k = 1 kxk + kAxk + 2 1 kxk he1 ; Axi = 1:
P1
Luego, F : B (0; 1) ! @B (0; 1) B (0; 1). Si x = j=1 xj ej es un punto …jo,
entonces F (x) = x y en particular kxk = 1. Así,
1
X 1
X
xj ej = x = F (x) = Ax = xj ej+1
j=1 j=1
NS
(")
K B (xk ; ") : (4.23)
k=1
Sea K" := co (S" ). Como K es convexo, recordando el Lema 4.9 (i) y (4.20)
deducimos que K" K, y además por el Lema 4.12 (ii) resulta que K" es
homeomorfo a un compacto convexo de RM (") para algún M (") N (").
Para x 2 X y 1 k N ("), sea ahora
Es claro que gk es continua, 0 gk (x) " para todo x 2 X, y (por (4.23)) para
todo x 2 K existe k0 = k0 (x) tal que gk0 (x) > 0. Luego, la función g" : K ! K"
dada por
PN (")
k=1 gk (x) xk
g" (x) = P N (")
(4.24)
k=1 gk (x)
De…nimos a continuación F" := g" FjK" : K" ! K" . Al ser F" continua y
K" homeomorfo a un compacto convexo de RM (") , el Corolario 4.15 (ii) implica
que existe x" 2 K" tal que F" (x" ) = x" . Así, teniendo en cuenta (4.25),
kF (x" ) x" k = kF (x" ) F" (x" )k = kF (x" ) g" (F (x" ))k ":
e
por ser K cerrado. O sea, K K.
e
Al ser K e
K tenemos que F (K) F (K) e
co (F (K)) = K.
Tu si kT uk M
T u := MT u
kT uk si kT uk M:
T xj = T xj ! T x = T x:
SjK : K ! H01 ( ) \ K ,! L2 ( ) \ K = K;
R R
Por otra parte, por el párrafo anterior, hruj ; i ! hru1 ; i para
toda 2 L2 ( ; Rn ), y además fuj g es acotada en H01 ( ). Luego, para cualquier
sucesión j ! en L2 ( ; Rn ) se tiene que
Z Z Z
hruj ; j i hru1 ; i jhruj ; j ij + hr (uj u1 ) ; i
(4.31)
Z
kjruj jkL2 ( ) k j kL2 ( ;Rn ) + hr (uj u1 ) ; i ! 0:
j!1
Es decir, u1 = Sw.
Resumiendo, hemos probado que para cualquier sucesión wj ! w en L2 ( ),
existe una subsucesión wjk tal que Swjk ! Sw en L2 ( ). Pero entonces la
sucesión original Swj converge a Sw en L2 ( ) (si no fuera así, extraemos todas
las subsucesiones convergentes a Sw, pero de la subsucesión que queda podemos
sacar otra convergente a Sw). Por lo tanto, w ! Sw es continua respecto de la
norma L2 y esto concluye la prueba.
Ejemplo 7. Sea L un operador uniformemente elíptico con coe…cientes acotados
dado por
Lu := div (A (x) ru) + c (x) u;
con c 0 en . Sean g : R ! R continua y m; h : ! R. Consideramos a
continuación problemas de la forma
(H2) m 2 L1 ( ) ; h 2 L2 ( ) y
p
jg ( )j kj j para todo 2 R y ciertos p 2 (0; 1) y k > 0: (4.35)
Lu = f (x; v) en
(4.37)
u=0 en @ :
es decir,
kukL2 ( ) k kmkL2 ( ) + khkL2 ( ) = (c ) := R:
SjK : K ! H01 ( ) \ K ,! L2 ( ) \ K = K;
Ahora,
1 p 2 p
0 =1 =
(2=p) 2 2
0
y por tanto (2=p) 2 (1; 2). Luego, kukL(2=p)0 ( ) e
c kukL2 ( ) para alguna e
c>0
p p
que sólo depende de , y además es fácil veri…car que kjvj kL2=p ( ) = kvkL2 ( ) .
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
p
kukL2 ( ) e
ck kmkL1 ( ) kvkL2 ( ) + khkL2 ( ) = (c ): (4.39)
Como p 2 (0; 1), por (4.39) vemos que si R es su…cientemente grande la solución
u de (4.37) está en K. Así, el operador solución SjK : K ! K y podemos seguir
exactamente como en el caso anterior.
Observación 10. (i) Notar que H2 implica que f (x; 0) = 0 a:e: x 2 . Luego,
si h 0, puede ocurrir a priori que la solución u encontrada con el teorema
de Schauder sea la solución trivial u 0. Esto mismo pasa en general para
cualquier f con f (x; 0) = 0 si el conjunto en el cual encontramos el punto …jo
contiene al cero.
(ii) En algunos casos en la hipótesis H2 se puede permitir p = 1, ver el
ejercicio que sigue.
u = g (x; u) en
u=0 en @ :
0
De…nición 4.20 (p-Laplaciano). Sea 1 < p < 1 y f 2 Lp ( ) (donde 1=p +
1=p0 = 1). Decimos que u 2 W01;p ( ) es solución débil del problema
(
p 2
div jruj ru = f (x) en
(4.41)
u=0 en @ ;
1
(iii) Recordar que si es un abierto con frontera
R regular yR 2 C ; Rn
es un campo, el teorema de la divergencia dice que div = @ h ; i, donde
es la normal exterior unitaria en @ . Sea ahora v 2 C 1 . Es fácil obtener
que div (v ) = h ; rvi + v div . Luego,
Z Z Z
h ; rvi = v div + vh ; i. (4.43)
@
Si F es de clase C 1 , entonces
jruj
p
jrvj
p D E
p 2
f (x) u f (x) v f (x) (u v) + jrvj rv; ru rv =
p p
(4.45)
jrvj
p D E
p 2
f (x) u + jrvj rv; ru rv :
p
para cierta c > 0 que depende sólo de , y entonces, como 1=p + 1=p0 = 1,
empleando la desigualdad de Young (2.69) obtenemos que
p
kjrujkLp ( )
Jp (v) c kf kLp0 (
kjrvjkLp ( )
)
p
2 3
p 0 p0 p 0 p0
kjrujkLp ( ) cp kf kLp0 ( ) kjrvjkLp ( ) cp kf kLp0 ( )
4 + 5= :
p p0 p p0
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
y por tanto
1=(p 1)
kjruj jkLp ( ) pc kf kLp0 ( ) :
Es decir, Jp (u) nf v2W 1;p ( ) Jp (v), y por tanto debe ser Jp (u) =
0
(f ( ) f ( )) ( ) 0; f( ) 0;
jf ( )j a + bj j ;
y entonces
Z X
A= uxi xi xj uxj =
i;j
Z X Z X
i
uxi xj uxj xi
uxi xj uxj := A1 + A2 :
i;j @ i;j
2
Ahora, empleando (4.50) con jruj =2 y xj en lugar de v y w respectivamente
deducimos que
Z X Z !
2
X jruj2
A1 = uxi ij uxj + uxi xj uxj xi = jruj + xj =
i;j j
2
xj
Z X jruj2 Z X jruj2
2
jruj + xj j =
j
2 @ j
2
Z Z 2
n 2 jruj
1 jruj + hx; i : (4.52)
2 @ 2
Por otro lado, recordando que ru = jruj (ver observación anterior) y
que h ; i = 1,
Z Z
2
A2 = hru; i hx; rui = jruj hx; i : (4.53)
@ @
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
es u 0.
Demostración. De…nimos
p
si 0
f ( ) :=
0 si < 0:
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
Luego,
n 2 n
< ;
2 p+1
es decir, p < (n + 2) = (n 2).
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
Bibliografía
139
Curso l Introducción a problemas elípticos lineales y no lineales
Autor l Uriel Kaufmann
140 BIBLIOGRAFÍA