Metodos Teoricos de La Fisica

Indice general
1. Clasificaci
on de las EDPs. Caractersticas.
1.1. Definiciones y notaci

on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Reducci
on de EDP semilineales de segundo orden a la forma canonica . . . . . . . . . . . . .
1.2.1. Ecuaci
on semilineal de segundo orden para N = 2 . . . . . . . . . . . . . . . . . . . .
1.2.2. Caso general . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Principios del m
aximo. Resoluci
on del problema de Dirichlet-Laplace: M
etodo de Perron.
9
2.1. Funciones arm
onicas y subarm
onicas. Primeras propiedades . . . . . . . . . . . . . . . . . . . 10
2.2. Principio del m
aximo fuerte. Consecuencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.3. Resoluci
on del Problema de Dirichlet para la ecuacion de Laplace: metodo de Perron . . . . . 13
2.4. El problema de Dirichlet para la ecuacion de Poisson: potencial newtoniano . . . . . . . . . . 17
2.5. Resultados complementarios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3. Introducci
on a la Teora de Distribuciones
19
3.1. Espacios de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

3.2. Funciones tests: el espacio vectorial D() . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.3. Convoluci
on de funciones. Sucesiones regularizantes . . . . . . . . . . . . . . . . . . . . . . . . 21
3.4. El espacio de las distribuciones sobre . Convergencia de distribuciones . . . . . . . . . . . . 24
3.5. Derivaci
on de distribuciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.6. El producto de una funci
on C por una distribucion . . . . . . . . . . . . . . . . . . . . . . . 28
3.7. Resultados comlementarios: Primitivas en D0 (I) . . . . . . . . . . . . . . . . . . . . . . . . . . 28
4. Espacios de Sobolev. Primeras propiedades
31
4.1. Espacios de Sobolev. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

4.2. Primeras propiedades de los espacios de Sobolev. Teorema de Friedrichs . . . . . . . . . . . . 35
5. Teoremas de Prolongaci
on y de Densidad en los Espacios de Sobolev
41
5.1. Teorema de Prolongaci

on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
5.2. Teorema de densidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
6. Teoremas de Inyecci
on continua y compacta en los Espacios de Sobolev
45
6.1. Teoremas de Inyecci

on continua . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
1
INDICE GENERAL
6.2. Teoremas de Inyecci

on compacta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
6.3. Anexo: Dos resultados de compacidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
7. Aplicaci
on traza. Caracterizaci
on de H0k (). Normas equivalentes
55
7.1. Espacios Lp () . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
7.2. Teorema de trazas en H 1 ()
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
7.3. Normas equivalentes en H 1 () . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

8. El espacio H k ()
63
9. Formulaci
on d
ebil de problemas de contorno elpticos
67
9.1. Problema de Dirichlet para un operador lineal elptico de segundo orden en forma de divergencia 67
9.2. El problema de Neumann para . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
9.3. Problemas con condiciones de contorno de tipo Fourier o Robin . . . . . . . . . . . . . . . . . 73
9.4. Problemas de contornos mixtos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
9.5. Problemas con dominios no acotados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
9.6. El problema de Dirichlet homogeneo para el bilaplaciano . . . . . . . . . . . . . . . . . . . . . 76
10.Principio del m
aximo. Unicidad de soluci
on d
ebil del problema de Dirichlet
79
10.1. Principio del M

aximo debil . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
10.2. Unicidad de soluci
on debil del problema de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . 81
11.Regularidad de las soluciones d
ebiles
83
11.1. Un resultado de regularidad en IRN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83

11.2. Un resultado de regularidad local . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
11.3. Teoremas de regularidad para los problemas de Dirichlet, Robin y Neumann homogeneos
12.Problemas de valores propios. Descomposici
on espectral
. . 86
87
12.1. Algunos resultados de An

alisis Funcional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
12.2. El espectro del laplaciano con condicion de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . 88
12.3. El espectro del laplaciano con otras condiciones de contorno: el caso de Robin . . . . . . . . . 91
12.4. Teoremas de alternativa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
Bibliografa
95
CAPITULO
Clasificaci
on de las EDPs. Caractersticas.
1.1.
Definiciones y notaci
on
En este curso vamos a seguir y a ampliar el estudio de las Ecuaciones en Derivadas Parciales (en lo que
sigue EDP) iniciado en la asignatura de cuarto curso, EDP y Analisis Funcional. Comenzamos recordando
algunos conceptos introducidos el a
no pasado en la referida asignatura.
De manera imprecisa, una EDP es una ecuacion en la que la incognita es una funcion de dos o m
as
variables independientes, y tal que en dicha ecuacion aparecen derivadas parciales, respecto de las variables
independientes, de la funci
on inc
ognita. Se denomina orden de una EDP al mayor de los ordenes de las
derivadas parciales que aparecen en la misma. As, por ejemplo, si u = u(x, y) es una funcion inc
ognita de
las dos variables independientes x y y, entonces la ecuacion
u+
4u
+ u2 = 0
x4
es una EDP de cuarto orden.

Definici
on 1.1. Sea N 1 un entero. Una EDP de segundo orden en las N variables independientes
x1 , x2 , ..., xN y en la funci
on inc
ognita u = u(x1 , x2 , ..., xN ), es una expresi
on de la forma
(1.1)

u u
u 2 u
2u
2u
F x1 , x2 ..., xN , u,
,
, ...,
,
, ...,
, ..., 2 = 0,
x1 x2
xN x21
xi xj
xN
donde, por fijar ideas, F : U IR, con U IRN

decir, con la notaci
on habitual, F C 0 (U).
2 +2N +1
abierto no vaco, es una funci

on continua dada, es
Para simplificar la notaci

on, es costumbre denotar

x = (x1 , x2 ..., xN ),
u = u(x),
u = Du =
u u
u
,
, ...,
x1 x2
xN
el denominado gradiente, y
2
D u=
2u
2u
2u
,
...,
,
...,
xi xj
x21
x2N
(Hessiano de u) y con esta notaci

on escribir la EDP (1.1) como
(1.2)
F (x, u, Du, D2 u) = 0.
3

,

,
Captulo 1.
Clasificacion de las EDPs. Caractersticas.
A diferencia de lo que sucede con las ecuaciones diferenciales ordinarias, no existe una teora general de
las EDP, ni de las EDP de segundo orden. Lo que se puede desarrollar son teoras generales de tipos de
EDP.
El concepto de soluci
on de una EDP resulta de capital importancia. Para la ecuacion (1.2), el citado
concepto, que a primera vista parece evidente, ha dado lugar al desarrollo de conceptos de gran importancia
en la actualidad, tales como la teora de Distribuciones, los espacios de Sobolev, etc, que seran introducidos
en la segunda parte de este Curso.
Por el momento, nos limitamos a introducir el concepto siguiente:
Definici
on 1.2. Una soluci
on cl
asica de (1.2) es cualquier pareja (U, u) tal que
a) U IRN es un abierto no vaco,
b) u : U 7 IR funci
on, u C 2 (U ),
c) (x, u(x), Du(x), D2 u(x)) U
x U y
d) F (x, u(x), Du(x), D2 u(x)) = 0
x U.
Se dice entonces que u es soluci

on de (1.2) en el abierto U .
Como ya ha sido dicho, no existe una teora general para las EDP de segundo orden. Ademas, no todas
estas u
ltimas resultan tener el mismo interes; las hay que tienen tan solo un interes puramente academico,
mientras que hay otras cuyo interes reside en su origen en la Fsica, en otra Ciencia de la Naturaleza, o en
las Matematicas mismas. Nosotros nos vamos a interesar preferentemente por este u
ltimo tipo de EDP de
segundo orden.
A continuaci
on, introducimos un caso particular muy importante de la EDP (1.2).
Definici
on 1.3. Una EDP lineal de segundo orden en la inc
ognita u y en las variables independientes
x = (x1 , x2 , ..., xN ), es una EDP de la forma
N
X
(1.3)
aij (x)
i,j=1
X
2u
u
+
bi (x)
+ c(x)u = f (x),
xi xj
xi
i=1
C 0 (),
donde aij , bi , c y f son funciones dadas en

con un abierto de IRN . A las funciones aij , bi y c se
las denominan los coeficientes de (1.3), mientras que la funci
on f es denominada el termino independiente
de la ecuaci
on.
Si f 0, se dice que (1.3) es homogenea. Si las funciones aij , bi y c son todas constantes, se dice que
(1.3) es una EDP lineal de segundo orden con coeficientes constantes.
Observaci
on 1.4. En (1.3) siempre supondremos, lo cual no es restrictivo, que aij aji . Evidentemente,
una soluci
on cl
asica de (1.3) es cualquier par (U, u) tal que U sea un abierto no vaco, u C 2 (U ), y
N
X
i,j=1
2 u(x) X
u(x)
aij (x)
+
bi (x)
+ c(x)u(x) = f (x)
xi xj
xi
x U.
i=1
Observaci
on 1.5. Otras dos clases muy importantes de EDP de segundo orden son las semilineales, que
son de la forma
N
X
2u
aij (x)
= f (x, u, Du),
xi xj
i,j=1
y las EDPs cuasilineales, cuya forma general es

N
X
i,j=1
aij (x, u, Du)
2u
= f (x, u, Du).
xi xj
1.2. Reducci
on de EDP semilineales de segundo orden a la forma canonica
1.2.
Reducci
on de EDP semilineales de segundo orden a la forma can
onica
Nos planteamos en esta secci

on establecer primero una clasificacion de ecuaciones semilineales de segundo
orden en el caso particular N = 2, y luego considerar el caso de ecuaciones lineales con coeficientes constantes
en el caso de N variables. Probaremos que estas pueden reducirse a una forma simplificada denominada
can
onica.
1.2.1.
Ecuaci
on semilineal de segundo orden para N = 2
Trabajaremos con una ecuaci

on semilineal de segundo orden en dos variables independientes (que denotaremos ahora x e y). Cambiaremos la notacion utilizada hasta ahora y denotaremos ux , uy , uxx , ... a
las distintas derivadas parciales de la funci
on u respecto de las variables independientes. Con esta notaci
on
consideramos
(1.4)
a(x, y)uxx + 2b(x, y)uxy + c(x, y)uyy = d(x, y, u, ux , uy )
donde a, b, c y d son funciones regulares dadas. Como veremos posteriormente, sera importante conocer el
signo de la siguiente cantidad, denominada discriminante de la ecuacion (1.4) en el punto (x, y) G:
D(x, y) = a(x, y)c(x, y) b2 (x, y).
As podemos definir
Definici
on 1.6. La ecuaci
on (1.4) es llamada hiperb
olica, parab
olica o elptica en el punto (x, y) G si el
discriminante D de la ecuaci
on en el punto (x, y) es negativo, nulo o positivo respectivamente. La ecuaci
on
(1.4) es hiperb
olica, parab
olica o elptica en G si lo es en cada uno de sus puntos.
Observaci
on 1.7.
a) Supongamos que los coeficientes a, b y c son constantes. La expresi

on
!
!
a b
x
= 0,
(x, y)
b c
y
representa geometricamente en coordenadas cartesianas una hiperbola si ac b2 < 0, una elipse si

ac b2 > 0 y una par
abola si ac b2 = 0. Ello justifica la terminologa empleada en la definici
on
anterior.
b) Es claro que si una ecuaci
on es hiperb
olica o elptica en un punto (x0 , y0 ) lo es en un entorno del
punto.
Consideramos la ecuaci
on semilineal (1.4). Nos planteamos encontrar un cambio local de variables independientes en un entorno O de un punto (x0 , y0 ) G, dado por
(
s = (x, y)
con , C 2 (O)
t = (x, y)
con jacobiano x y y x no nulo en O y tal que la ecuacion (1.4) se transforme en ust = g(s, t, u, us , ut )
con (s, t) variando en el abierto imagen. Supondremos tambien que no todos los coeficientes son nulos en
(x0 , y0 ). Utilizando la regla de la cadena y tras un sencillo calculo obtenemos
ux = us x + ut x ,
uy = us y + ut y ,
uxx = uss (x )2 + 2ust x x + utt (x )2 + us xx + ut xx ,
uxy = uss x y + ust (x y + y x ) + utt x y + us xy + ut xy ,
uyy = uss (y )2 + 2ust y y + utt (y )2 + us yy + ut yy .
Captulo 1.
Llevando este cambio a la ecuaci

on (1.4) y pasando todas las derivadas de primer orden al segundo miembro,
llegamos a la ecuaci
on en las nuevas variables
(1.5)
A(s, t)uss + 2B(s, t)ust + C(s, t)utt = g(s, t, u, us , ut )
cuyos coeficientes vienen dados por

A = a(x )2 + 2bx y + c(y )2 ,
B = ax x + b(x y + y x ) + cy y ,
C = a(x )2 + 2bx y + c(y )2 .
El discriminante de la nueva ecuaci
on (1.5) viene dado por
e t) = (x y y x )2 D(x, y)
D(s,
lo que demuestra que el signo de este discriminante es invariante bajo la transformacion de variables anterior.
Como nuestro objetivo es reducir la ecuacion (1.5) a una forma mas sencilla, pensemos por ejemplo
encontrar un cambio de variable de forma que
A = C = 0.
Esto es equivalente a encontrar soluciones de la EDP de primer orden
a(x )2 + 2bx y + c(y )2 = 0.
(1.6)
Una curva caracterstica de (1.4) es cualquier curva plana definida de manera implcita por la igualdad
(x, y) = k, con k IR fijado, y soluci
on de (1.6). A la EDP (1.6) se la denomina la ecuacion de las curvas
caractersticas de (1.4).
1.2.1.1.
Caso hiperb
olico
Supongamos que la ecuaci

on (1.4) es hiperbolica en (x0 , y0 ) y por comodidad, supongamos que a(x0 , y0 ) 6=
0 (si fuese c(x0 , y0 ) 6= 0 razonaramos de manera analoga intercambiando los papeles de las variables; si ambos
coeficientes fuesen cero, ya tendramos la ecuacion en su forma canonica). Para anular los coeficientes A y
C, bastara tomar como funciones y dos curvas caractersticas de la ecuacion (1.4). En concreto, en este
caso la ecuacion
(1.7)
a2 + 2b + c = 0
tiene dos races reales distintas, 1 (x, y), 2 (x, y), por lo que podemos tomar y soluciones de
x 1 (x, y)y = 0,
x 2 (x, y)y = 0.
e y teniendo en cuenta que A y C son nulos, deducimos que B 2 > 0.

De la expresion del discriminante D
Dividiendo la nueva ecuaci
on por el coeficiente B, llegamos a la forma canonica
ust = F (s, t, u, us , ut ).
Un cambio de variables adicional = s + t, = s t, transforma esta ecuacion en
u u = G(, , u, u , u ),
en la conocida ecuaci
on de ondas semilineal. En este caso hiperbolico, se dice que esta u
ltima ecuaci
on es la
forma canonica de (1.4).
1.2. Reducci
on de EDP semilineales de segundo orden a la forma canonica
1.2.1.2.
Caso parab
olico
Supongamos ahora que la ecuaci

on (1.4) es parabolica en (x0 , y0 ) y, de nuevo, que el coeficiente a
es no nulo en (x0 , y0 ). En este caso, (1.7) solo tiene una raz, 1 , y podemos tomar como la soluci
on
correspondiente a 1 y como una funci
on regular tal que el jacobiano x y y x sea no nulo en un
entorno de (x0 , y0 ). En este caso el coeficiente A es identicamente nulo y, gracias al caracter parab
olico de
la ecuacion, B 2 AC = 0, obtenemos B 0. Dividiendo la ecuacion por el coeficiente C (necesariamente
no nulo) llegamos
utt = F (s, t, u, us , ut ),
la forma canonica para ecuaciones parab
olicas semilineales de segundo orden en dos variables independientes.
1.2.1.3.
Caso elptico
Este caso es el m
as complejo. La ecuacion (1.7) no tiene races reales. Se procede de la siguiente forma:
sea una de las dos races complejas conjugadas. Calculamos tal que
y = 0
x
y despues tomamos
= Re(),
= Im().
No es difcil comprobar que este cambio tiene jacobiano no nulo, que el coeficiente B de la ecuaci
on en
las nuevas variables se anula y que A = C 6= 0. Dividiendo por este u
ltimo coeficiente, obtenemos la forma
canonica:
uss + utt = F (s, t, u, ut , us )
que es la ecuacion de Laplace semilineal.
1.2.2.
Caso general
Consideramos en este caso la ecuaci

on lineal de segundo orden con coeficientes constantes
(1.8)
N
X
i,j=1
aij
X u
2u
+
bi
+ cu = f,
xi xj
xi
i=1
con f C 0 () dada, siendo IRN abierto, y aij = aji IR, bi IR y c IR dados. Denotemos por
A a la matriz simetrica A = (aij ). Sea p 0 el n
umero de autovalores positivos de A y q 0 el n
umero
de autovalores negativos de A, en ambos casos, contando a cada autovalor tantas veces como indique su
multiplicidad. Evidentemente, p + q es el rango de A.
Por la ley de inercia de Sylvester, existe una matriz real N N no singular, que denotaremos por P , tal
que
A = P DP t ,
con
Ip
0 0
D = 0 Iq 0 ,
0
0 0
donde Ip e Iq denotan respectivamente la matriz identidad p p y q q.

En el caso en que p
o q es igual a N , se dice que la ecuacion (1.8) es elptica. Si (p, q) = (N 1, 1)
o (p, q) = (1, N 1), se dice que la ecuacion (1.8) es hiperbolica. Finalmente, se dice ecuacion (1.8) es
parabolica si (p, q) = (N 1, 0)
o (p, q) = (0, N 1), y la componente N -esima del vector P 1 b, donde
b = (b1 , ..., bN )t , es no nula.
Se puede demostrar el resultado siguiente (ver [3]):
Captulo 1.
Teorema 1.8. Con la notaci

on precedente, consideremos el cambio de variables independientes y de funci
on
inc
ognita dado por
y = P 1 x,
v(y) = u(P y)eg(y) ,
donde
p
p+q
1X
1 X
g(y) =
[P (b)]i yi
[P (b)]i yi .
2
2
i=1
i=p+1
En estas nuevas variables, la ecuaci

on (1.8) se transforma, seg
un los casos, como sigue:
a) Si (1.8) es elptica, la ecuaci
on se transforma en
N
X
2v
(1.9)
i=1
yi2
+ kv = h(y),

donde k IR y h C 0 P 1 () .
b) Si la ecuaci
on (1.8) es hiperb
olica, esta se transforma en
N
1 2
X
2v
v
2
2 + kv = h(y),
yN
y
i
i=1
(1.10)

donde k IR y h C 0 P 1 () .
c) Si la ecuaci
on (1.8) es parab
olica, esta se transforma en
(1.11)
[P (b)]N
N
1 2
X
v
v
+
+ kv = h(y),
yN
yi2
i=1

donde k IR, h C 0 P 1 () , y = 1 si p = N 1
o = 1 si q = N 1.
Observaci
on 1.9. En los casos a) y b) del teorema precedente, las ecuaciones (1.9) y (1.10) son denominadas, respectivamente, la forma can
onica de (1.8) cuando esta es elptica
o cuando es hiperb
olica. En el
caso c), multiplicando si es preciso (1.11) por 1, esta queda en la forma
N
1 2
X
v
v
+ v = l(y),
yN
yi2
i=1
(1.12)

donde IR con 6= 0, IR, l C 0 P 1 () .
Si en (1.12) hacemos el cambio de variables
yN = t,
w(y 1, ..., yN 1 , t) = v(y 1, ..., yN 1 , t)et ,
se obtiene la denominada forma can

onica de la ecuaci
on (1.8) en el caso parab
olico:
N 1
w X 2 w
= l(y 1, ..., yN 1 , t).

t
yi2
i=1
Observaci
on 1.10. Es posible dar una clasificaci
on de ecuaciones en derivadas parciales m
as generales.
En concreto, una clasificaci
on de ecuaciones y sistemas de ecuaciones lineales de orden superior a dos y una
generalizaci
on para ecuaciones o sistemas de ecuaciones no lineales. Para profundizar algo m
as en el tema,
cons
ultese [11].
CAPITULO
Principios del m
aximo. Resoluci
on del problema de
Dirichlet-Laplace: M
etodo de Perron.
El objetivo fundamental del presente tema es demostrar la existencia de solucion al Problema de Dirichlet
para la ecuacion de Laplace.
Concretemos un poco m
as. Sea un abierto acotado no vaco de IRN (N 2 entero). Suponemos fijadas
f C 0 (), no identicamente nula, y g C 0 (), y nos planteamos el problema:
(
u = f en ,
(P DP )
u=g
sobre .
Del problema (PDP) podemos afirmar los siguientes hechos:
a) Si (PDP) posee soluci
on cl
asica, esta es u
nica.
b) Incluso aunque sea una bola y g 0, no siempre posee solucion clasica (para un contraejemplo
en este sentido se puede consultar el libro de I. Peral [10]). En concreto, independientemente de la
es suficiente para garantizar existencia de soluci
regularidad de y de g, ni la hip
otesis f C 0 ()
on
clasica de (P DP ). Si se quiere obtener existencia, se hace preciso considerar funciones f en una clase
mas restringida que las continuas; dicha clase va a estar constituida por las funciones localmente
-holderianas en (ver Secci
on 2.4).
c) Si es una bola, f acotada y -holderiana en y g C 0 (), se sabe que existe una u
nica soluci
on
de (P DP ).
d) Por u
ltimo, tambien conocemos que si somos capaces de resolver el problema de Dirichlet para la
ecuacion de Laplace,
(
u = 0 en ,
(P DL)
u=g
sobre ,
resolveremos (P DP ) (ver Secci
on 2.4).
Luego el objetivo fundamental de este tema es resolver (P DL). Para ello usaremos el metodo de Perron, tambien denominado metodo de las funciones subarmonicas, que se basa en el principio del m
aximo,
propiedades de funciones arm
onicas y la solucion del problema en bolas.
A lo largo del tema, denotaremos por |x| la norma eucldea de x IRN .
9
10
Captulo 2.
2.1.
Resolucion del problema de Dirichlet-Laplace.
Funciones arm
onicas y subarm
onicas. Primeras propiedades
) , se
Definici
on 2.1. Sea u C 0 () una funci
on dada. Para cada y cada > 0 tales que B(,
define la media esferica de u sobre B(, ), denotada Mu (, ), como
Z
1
u(x) d(x),
Mu (, ) =
N N 1 B(,)
donde N es la medida superficial de la esfera unidad (respecto de la norma eucldea) de IRN .
Definici
on 2.2.
a) Diremos que u es una funci
on arm
onica en si u C 0 (), y para todo y
) , se satisface
todo > 0 tales que B(,
(2.1)
u() = Mu (, ).
b) Diremos que u es una funci

on subarm
onica en si u C 0 (), y para todo y todo > 0 tales
) , se satisface
que B(,
u() Mu (, ).
(2.2)
Nota 2.3. La propiedad (2.1) se expresa tambien diciendo que u satisface la ley de Gauss de la media
aritmetica en .
Nota 2.4. Observese que toda funci
on constante es arm
onica en , y que el conjunto de todas las funciones
arm
onicas en constituyen un subespacio vectorial de C 0 ().
Evidentemente, toda funci
on arm
onica en es subarm
onica en . La suma de funciones subarm
onicas
en es tambien una funci
on subarm
onica en , y el producto de una funci
on subarm
onica en por un
n
umero real no negativo es asimismo una funci
on subarm
onica en .
Dos propiedades inmediatas de las funciones armonicas en son las siguientes:
Proposici
on 2.5. Si u es una funci
on arm
onica en , entonces para cada y cada > 0 tales que
) se satisface
B(,
Z
N
u() =
u(x) dx
N N B(,)
) , entonces, como u es armonica en , para todo
Demostraci
on.- Si y > 0 son tales que B(,
r (0, ] se tiene u() = Mu (, r), es decir:
Z
N rN 1 u() =
u(x) d(x), r (0, ],
B(,r)
y en consecuencia, integrando entre 0 y ,

N
N
u() =
N
u(x) d(x)
0
B(,r)
Z
dr =
u(x) dx.
B(,)
Proposici
on 2.6. Sea {un }n1 una sucesi
on de funciones arm
onicas en , tal que un u cuando n
uniformemente en compactos de (es decir, lm (sup |un u|) = 0 para todo compacto K ). En estas
n
condiciones, la funci
on u es tambien arm
onica en .
2.2. Principio del maximo fuerte. Consecuencias
11
) . Para cada funci

Demostraci
on.- Evidentemente u C 0 (). Fijemos y > 0 tal que B(,
on
un se satisface un () = Mun (, ), con lo que teniendo en cuenta que B(, ) es compacto, es inmediato
comprobar que u tambien satisface u() = Mu (, ).
Observese que para las funciones subarmonicas se tienen resultados similares a las dos proposiciones
precedentes.
A continuaci
on demostramos el siguiente resultado:
Proposici
on 2.7. Sea u C 2 () una funci
on dada.
a) La funci
on u es subarm
onica en si y s
olo si u(x) 0 en todo punto x .
b) Si u(x) = 0 en todo punto x , entonces u es arm
onica en .
) , y denotemos v(y) = u( + y) para cada
Demostraci
on.- Fijemos y > 0 tales que B(,
).
y B(0,
)), por la f
Como v C 2 (B(0,
ormula de representacion de Green obtenemos
Z
Z
(2.3)
v() =
G(y, )y v(y) dy +
H(y, )v(y) d(y),
B(0,)
B(0,)
para todo B(0, ), siendo G la funci

on de Green para la bola B(0, ), y H el correspondiente n
ucleo de
Poisson dado por
2 ||2
H(y, ) =
N |y |N
Si u(x) = 0 en todo punto x , entonces de (2.3) escrito en = 0 obtenemos
Z
2
u( + y)
u() = v(0) =
d(y)
N B(0,) |y|N
Z
1
=
u( + y) d(y) = Mu (, ),
N N 1 B(0,)
y por tanto u es arm
onica en .
Analogamente, si u(x) 0 en todo punto x , entonces de (2.3) escrito en = 0 y del hecho que
G(y, 0) < 0 en todo punto y B(0, ) tal que y 6= 0, obtenemos que u() Mu (, ), y por tanto u es
subarmonica en .
) y u > 0
Finalmente, si es un punto tal que u() > 0, tomando un > 0 tal que B(,
en B(, ), y nuevamente teniendo en cuenta que G(y, 0) < 0 en todo punto y B(0, ) tal que y 6= 0, es
inmediato obtener de (2.3) que u() > Mu (, ), y por tanto u no es subarmonica en .
En la seccion siguiente vamos a ver que el recproco de la afirmacion b) de la Proposicion precedente es
tambien cierto.
2.2.
Principio del m
aximo fuerte. Consecuencias
es
Recordemos que el Principio del m
aximo debil afirma que si es acotado y u C 2 () C 0 ()
subarmonica en , entonces
max u = max u.
Un resultado mas refinado que este Principio, es el siguiente:

Teorema 2.8. (Principio del m
aximo fuerte) Sea un abierto conexo (no necesariamente acotado),
y supongamos que u C 0 () es una funci
on subarm
onica en . En estas condiciones, si existe un punto
x
tal que u(
x) = sup u, forzosamente es entonces u constante en .
12
Captulo 2.
Demostraci
on.- Denotemos M = sup u, y supongamos que existe x
tal que u(
x) = M . En tal caso,
M IR y el conjunto 1 = {x ; u(x) = M } es no vaco.

Ademas, 1 es un subconjunto abierto de IRN . En efecto, si 1 , podemos fijar un > 0 tal que
) , y obtenemos
B(,
Z
1
M = u() Mu (, ) =
u(x) d(x) M, (0, ],
N N 1 B(,)
es decir,
1
0 = u() M
N N 1
Z
u(x) d(x) M 0,
(0, ],
B(,)
y por consiguiente
1
0=
N N 1
1
u(x) d(x) M =
N 1
N
B(,)
Z
(u(x) M ) d(x),
B(,)
para todo (0, ]. Esto u

ltimo implica que u M es identicamente nula en B(, ) cualquiera que sea
) 1 .
(0, ], es decir, B(,
Como el conjunto 2 = {x ; u(x) < M } es abierto, y evidentemente 1 2 = y 1 2 = ,
del caracter conexo de concluimos que si existe x
tal que u(
x) = M , entonces u(x) = M para todo
x .
Como consecuencia inmediata del Teorema 2.8, obtenemos:
Corolario 2.9. Sea un abierto conexo (no necesariamente acotado), y supongamos que u C 0 () es una
funci
on arm
onica en , y u no es identicamente constante en . En tal caso,
nf u < u(x) < sup u,
x .
Tambien podemos concluir:

es una funci
Corolario 2.10. Sea un abierto conexo acotado, y supongamos que u C 0 ()
on subarm
onica
en y u no es identicamente constante en . En tal caso,
u(x) < max u,
x .
se tiene que
Demostraci
on.- Por el Teorema 2.8, u(x) < sup u para cada x . Pero, como u C 0 (),
se ha de alcanzar en un punto de .
sup u = max u, y evidentemente el m
aximo de u en
Tenemos tambien el siguiente importante resultado:

es una funci
Corolario 2.11. Sea un abierto conexo acotado, y supongamos que u C 0 ()
on arm
onica en
0
. Si v C () es una funci
on subarm
onica en tal que v u sobre , entonces tambien es v(x) u(x)
en todo punto x .
y que v u es subarmonica en . Si v u es identicamente
Demostraci
on.- Es inmediato que v u C 0 ()
constante en , como v u 0 sobre , forzosamente v u 0 en . Si v u no es identicamente constante
en , entonces, por el Corolario 2.10, v(x) u(x) < 0 en todo punto x .
Estamos ahora en condiciones de demostrar:
Proposici
on 2.12. Si u C 0 () es arm
onica en (siendo abierto no vaco cualquiera), entonces
u C () y u(x) = 0 en todo punto x .
2.3. Resoluci
on del Problema de Dirichlet para la ecuacion de Laplace: metodo de Perron
13
) . Sea w C 2 (B(, ))C 0 (B(,

)) la soluci
Demostraci
on.- Fijemos y > 0 tales que B(,
on
clasica de
(
w = 0 en B(, ),
w=u
sobre B(, ),
de la que sabemos que w C (B(, )).

), y satisfacen u = w y u = w en
Como u y u son subarm
onicas en B(, ), continuas en B(,
B(, ), por el Corolario 2.11 podemos afirmar que u w y u w en B(, ), y por tanto u coincide
con w en dicha bola.
Nota 2.13. Como consecuencia inmediata de la Proposici
on 2.12, tenemos garantizado que si una funci
on
es arm
onica en , todas sus derivadas parciales de cualquier orden tambien lo son.
Proposici
on 2.14. (estimaci
on interior del gradiente de una funci
on arm
onica) Sean un abierto
N
0
0
. Bajo estas condiciones, existe una constante
de IR y abierto acotado no vaco tal que
0
C > 0, que u
nicamente depende de N , y , tal que para toda funci
on u arm
onica en se satisface
sup |u| C sup |u|.
0
0 es un compacto contenido en el abierto , la distancia dist(

0 , IRN \) (0, +]
Demostraci
on.- Como
0
, ) = +).
(se recuerda que, por definici
on, dist(
) para todo 0 (dicho solo depende de y de
En consecuencia, existe un > 0 tal que B(,
0 ).
Fijemos un tal . Como u es arm
onica en , gracias a la Nota 2.13 tambien lo es la funcion i u para
cada i = 1, ..., N , con lo que, por la Proposicion 2.5,
Z
Z
N
N
u(x)
dx
=
u(x)ni (x) d(x), 0 ,
i u() =
i
N N B(,)
N N B(,)
y en consecuencia
N
|i u()|
1
N N 1
!
|u(x)| d(x)
B(,)
N
sup |u|,

0 ,
para todo i = 1, ..., N.
2.3.
Resoluci
on del Problema de Dirichlet para la ecuaci
on de Laplace: m
etodo de Perron
Analizamos en esta secci

on la existencia de solucion clasica al problema de Dirichlet para la ecuaci
on de
Laplace,
(
u = 0 en ,
(P DL)
u=g
sobre ,
utilizando para ello el denominado metodo de las funciones subarmonicas o metodo de Perron.
Partimos de la observaci
on de que si IRN es un abierto conexo y acotado no vaco, dadas u
arm
subarmonica en y satisfaciendo v u sobre , entonces,
C 2 () C 0 ()
onica en , y v C 0 ()
En particular, en estas
de acuerdo con el Corolario 2.11 al principio fuerte del maximo, v u en todo .
circunstancias, para cada punto x el valor de u en x ha de ser el maximo de los valores que toman en
y que tomen sobre valores menores
dicho punto las funciones subarm
onicas en que sean de clase C 0 ()
o iguales que u. Vamos a ver c
omo esta observacion permite establecer la existencia de solucion cl
asica al
problema (P DL) para una clase bastante amplia de dominios acotados.
14
Captulo 2.
Definici
on 2.15. Sean IRN un abierto no vaco, u C 0 () subarm
onica en y B una bola abierta
. Se denomina levantamiento arm
tal que B
onico de u en B a la funci
on U definida por
(
u(x) si x \ B
U (x) =
u
(x) si x B,
denotamos a la soluci
donde por u
C 2 (B) C 0 (B)
on del problema (P DL) en B con dato de contorno
u
= u sobre B.
el levantamiento arm
En el caso particular en que u C 0 (),
onico de u en B se considera extendido a
por
(
\ B,
u(x) si x
U (x) =
u
(x) si x B.
Para el levantamiento arm
onico tenemos el resultado siguiente:
Proposici
on 2.16. Sean IRN un abierto no vaco, u C 0 () subarm
onica en y B una bola abierta
tal que B . La funci

on U levantamiento arm
onico de u en B satisface:
U C 0 (),
(2.4)
U u en ,
U es subarm
onica en .
entonces U C 0 (),
siendo U = u sobre .
Adem
as, si u C 0 (),
en el caso en que u C 0 ()).
Demostraci
on.- Es inmediato comprobar que U C 0 () (o que U C 0 ()
mientras que la desigualdad U u en B es consecuencia del
Por otro lado, se tiene U u en \ B,
Corolario 2.11 aplicado al abierto B y a las funciones U y u.
es facil deducir (2.2) pues u es subarm
Veamos que U es subarm
onica en y sea . Si \ B
onica
en . Para B llegamos a la desigualdad (2.2) (en este caso igualdad) pues u
es armonica en B. Por
u
ltimo, si B, sea 0 > 0 tal que se tiene (2.2) para u. As, si (0, 0 ]
Z
Z
1
1
U () = u()
u(x) d(x)
U (x) d(x),
N N 1 B(,)
N N 1 B(,)
pues U u en . De este modo obtenemos que U es subarmonica en .
Ahora, en las dos proposiciones que siguen, establecemos los resultados que nos van a permitir obtener
existencia de soluci
on cl
asica al problema (P DL).
De manera general, dada : IR, denotemos a partir de ahora
: v es subarmonica en , y v sobre },
S = {v C 0 ()
(2.5)
(2.6)
u (x) = sup v(x),
x .
vS
Sobre la funcion u con valores en [, +] as definida, se tiene el siguiente resultado:

Proposici
on 2.17. Si IRN es un abierto acotado conexo no vaco, y : IR es una funci
on
acotada, entonces la funci
on u definida por (2.5) y (2.6) es arm
onica en .
Demostraci
on.- En primer lugar, como 6= y es acotada, nf y sup pertenecen a IR. La funci
on
constante v nf pertenece a S , con lo que S 6= . Ademas, si v es una funcion cualquiera de S , se
tiene que v sup sobre , con lo que tambien v sup en , y en consecuencia u sup en .
2.3. Resoluci
on del Problema de Dirichlet para la ecuacion de Laplace: metodo de Perron
15
En resumen, bajo las condiciones de la proposicion, podemos afirmar que u (x) IR y

nf u (x) sup ,
x .
Para terminar, basta demostrar que dado 0 existen un entorno abierto de 0 contenido en , y una
funcion armonica en dicho entorno, tales que u coincide con la citada funcion armonica en el mencionado
entorno.
0 , 0 ) . Denotemos B0 = B(0 , 0 ).
Sea pues 0 fijado, y tomemos un 0 > 0 tal que B(
Por definicion de u , existe una sucesi
on {vn } S tal que lm vn (0 ) = u (0 ). Como es inmediato
n
comprobar que si vn S , entonces m

ax(vn ,nf ) tambien pertenece a S , podemos suponer que la sucesi
on
{vn } ha sido tomada satisfaciendo adem

as
nf vn (x) sup ,
x ,
para cualquier n.
Denotemos por Vn al levantamiento armonico de vn en B0 . Es inmediato comprobar que Vn S , con
lo que, como Vn vn en ,
lm Vn (0 ) = u (0 ).
n
y, por el Corolario 2.10 al principio del m

aximo fuerte,
nf Vn (x) sup ,
x ,
para cualquier n.
0
Por otra parte, si tomamos B = B(0 , ), por la Proposicion 2.14 podemos afirmar que existe una
2
constante C > 0 tal que
sup |Vn | C sup |Vn | C n,
0
B
y todas las Vn son arm

onicas en B.
Por el teorema de Ascoli-Arzel
a y la Proposicion 2.6, extrayendo eventualmente una subsucesi
on de las
Vn , subsucesion que seguiremos denotando igual, podemos afirmar la existencia de una funcion v C 0 (B),
armonica en B y tal que Vn v en C 0 (B).

Solo queda comprobar que v = u en B. Evidentemente,
v(0 ) = lm Vn (0 ) = u (0 ),
n
Si B es un punto donde v( ) < u ( ), entonces existe w S tal que v( ) < w( )

y v u en B.
u ( ). Denotando wn = m
ax(w, Vn ), y Wn al levantamiento armonico de wn en B0 , podemos concluir,
razonando como se hizo con anterioridad para las Vn , que, con extraccion eventual de una subsucesi
on,
Wn w en C (B). As, llegamos a la existencia de un par de funciones v y w en C (B), armonicas en B,

w ( ) > v( ) y w (0 ) = v(0 ), en contradiccion con el principio del maximo.
tales que w v en B,
Como consecuencia evidente de la Proposicion 2.17, se tiene que si g C 0 (), con IRN abierto
por
acotado y conexo no vaco, entonces la funcion u(x) definida en
(
ug (x) si x ,
(2.7)
u(x) =
g(x) si x ,
entonces es solucion clasica del problema (P DL)
es armonica en , y en consecuencia, si es continua en ,
con dato de contorno g.
Para el estudio de la continuidad de u dada por (2.7), introducimos los siguientes conceptos:
16
Captulo 2.
Definici
on 2.18. Diremos que satisface la condici
on de bola exterior en un punto 0 , si existen
1 IRN y 1 > 0 tales que
1 , 1 )
= {0 }.
B(
Podemos ahora demostrar el resultado siguiente:
Proposici
on 2.19. Sean IRN un abierto acotado conexo no vaco, y : IR una funci
on acotada.
Si 0 satisface la condici
on de bola exterior y es continua en 0 , entonces la funci
on u definida por
(2.6) satisface
lm u (x) = (0 ).
x0
1 , 1 )
= {0 }. Tomemos en primer
Demostraci
on.- Sea 0 y B(1 , 1 ) la bola exterior tal que B(
lugar la funcion
2N
si N 3,
|x 1 |2N 1
(2.8)
w(x) =
1
log
si N = 2.
|x 1 |
y satisface que es subarmonica en , tal que w < 0 en
\ {0 } y
Es inmediato demostrar que w C 0 ()
w(0 ) = 0.
Denotemos M = sup ||. Fijemos > 0. Por la continuidad de en 0 y las propiedades de w, podemos
afirmar que existen > 0 y k > 0 tales que
(2.9)
(2.10)
|x 0 | = |(x) (0 )| /2,
|x 0 | = kw(x) 2M.
es subarmonica en , y es f
En estas condiciones, la funci
on kw + (0 ) /2 pertenece a C 0 (),
acil
comprobar de (2.9) y (2.10), que satisface kw(x) + (0 ) /2 (x) para todo x . En consecuencia,
kw + (0 ) /2 pertenece a S , y por tanto
(2.11)
kw(x) + (0 ) /2 u (x)
x .
es subarmonica en y, de nuevo
Por otra parte, la funci
on kw (0 ) /2 tambien pertenece a C 0 (),
por (2.9) y (2.10), satisface kw(x)(0 )/2 (x) para todo x . As, si v S , v+kw(0 )/2
es subarm
pertenece a C 0 (),
onica en y satisface v + kw (0 ) /2 0 sobre , con lo que, por el
principio del maximo fuerte, v(x) kw(x) + (0 ) + /2 en todo punto x . Como la u
ltima desigualdad
es valida para cualquiera v S , concluimos que
(2.12)
u (x) kw(x) + (0 ) + /2
x .
Teniendo en cuenta (2.11) y (2.12), podemos afirmar que, fijado > 0, existe k > 0 tal que
(2.13)
|u (x) (0 )| k|w(x)| + /2
x .
Finalmente, como w(0 ) = 0 y w es continua en 0 , existe un > 0 tal que

x
|x 0 | = |w(x)|
2k
con lo que, por (2.13), se obtiene que si x y |x 0 | , entonces |u (x) (0 | .

Como consecuencia inmediata de las Proposiciones 2.17 y 2.19, obtenemos el resultado siguiente:
2.4. El problema de Dirichlet para la ecuacion de Poisson: potencial newtoniano
17
Teorema 2.20. Si IRN es un abierto acotado conexo no vaco tal que todos los puntos de su frontera
satisfacen la condici
on esfera exterior, entonces para cada g C 0 () existe una y s
olo una soluci
on cl
asica
del problema (P DL).
Nota 2.21. Podemos afirmar que un abierto acotado y convexo de IRN satisface que todos los puntos de su
frontera satisfacen la condici
on esfera exterior.
2.4.
El problema de Dirichlet para la ecuaci

on de Poisson: potencial newtoniano
Como comentamos en la Introducci

on, para resolver (P DP ) se hace preciso tomar f en una clase m
as
restringida que las continuas; las funciones localmente -holderianas en .
Definici
on 2.22. Sean f : IR, y (0, 1]. Diremos que f es -holderiana en D si
sup
x,yD, x6=y
|f (x) f (y)|
< +.
|x y|
Diremos que f es localmente -holderiana en si f es -holderiana en todo compacto D contenido en

.
0,
().
Al conjunto de todas las funciones localmente -holderianas en lo denotaremos Cloc
0,1
0,
() coincide
() es un subespacio vectorial de C 0 (), y que Cloc
Nota 2.23. Es inmediato comprobar que Cloc
con el espacio de las funciones localmente lipschitzianas en .
Para la resoluci
on del problema (P DP ) se introduce el concepto de potencial newtoniano asociado a la
funcion f .
Definici
on 2.24. Dada f L (), se define el potencial newtoniano asociado a la funci
on f como la
N
funci
on wf : IR IR dada por
Z
(2.14)
wf () =
K(x, )f (x) dx, IRN ,
donde por K(, ) denotamos a la soluci

on fundamental de en IRN , definida en el conjunto
A = {(x, ) IRN IRN ; x 6= },
por
(N 2)N |x |N 2
K(x, ) =
1 log |x |
2
si N 3,
si N = 2.
Para el potencial newtoniano se satisfacen los dos resultados siguientes, cuyas demostraciones omitimos
(ver Gilbarg-Trudinger pp. 52-56 [5], o el libro de I. Peral [10]):
Proposici
on 2.25. Si IRN es un abierto acotado no vaco y f L (), la funci
on wf dada por (2.14)
est
a bien definida y satisface wf C 1 (IRN ), con
Z
wf () =
K(x, )f (x) dx, IRN .
0,
Proposici
on 2.26. Si IRN es un abierto acotado no vaco y f L ()Cloc
() para alg
un (0, 1],
la funci
on wf dada por (2.14) pertenece a C 2 () y satisface wf f en .
18
Captulo 2.
Como consecuencia de la proposici

on precedente y del Teorema 2.20, es inmediato el resultado siguiente:
Teorema 2.27. Sea IRN un abierto acotado y conexo no vaco tal que todos los puntos de su frontera
0,
son regulares. Si f L () Cloc
() para alg
un (0, 1], y g C 0 (), entonces existe una y s
olo una
soluci
on cl
asica del problema (P DP ).
Demostraci
on.- Basta tomar como soluci
on u = v wf , con v la solucion clasica del problema de Dirichlet
(
v = 0
en ,
v = g + wf
sobre .
Observese que bajo las condiciones del Teorema 2.27, la solucion clasica u, ademas de pertenecer a C 2 ()
2,
satisface que todas todas sus derivadas segundas pertenecen a C 0, (), es decir, u C 0 ()C
C 0 (),
loc
loc ().
Nota 2.28. Este resultado tambien es cierto cuando el operador es sustituido por un operador unifor0,
memente elptico con coeficientes en Cloc
().
2.5.
Resultados complementarios
Como hemos visto en una secci

on anterior, una condicion suficiente para que exista solucion cl
asica es
que los puntos de la frontera satisfagan la condicion frontera exterior.
Veamos que en realidad hay una condicion necesaria y suficiente, para ello introduzcamos el siguiente
concepto:
Definici
on 2.29. Diremos que 0 es un punto regular de si existe una funci
on w C 0 (),
subarm
onica en , tal que w < 0 en \ {0 } y w(0 ) = 0. Una tal funci
on w satisfaciendo las condiciones
precedentes, es denominada una funci
on barrera en 0 relativa a .
Proposici
on 2.30. Sea IRN un abierto acotado conexo no vaco. Entonces para toda funci
on g
0
C () existe soluci
on cl
asica del correspondiente problema (P DL), si y s
olo si, todos los puntos de la
frontera de son regulares,
Demostraci
on.- Supongamos que existe solucion y sea 0 . Por hipotesis, existe solucion w de
w C 2 () C 0 (),
w = 0
en ,
w(x) = |x 0 |
sobre ,
y es inmediato comprobar que, por el principio del maximo fuerte, w es una funcion barrera en 0 relativa
a .
Supongamos que todos los puntos de la frontera son regulares, y veamos que existe solucion de (P DL).
Basta para ello probar que la funci
on u definida en (2.7) es continua, o lo que es lo mismo, probar que la
Proposicion 2.19 es cierta suponiendo que los puntos de la frontera son regulares. Si 0 es regular existe
subarmonica en , tal que w < 0 en
\ {0 } y w(0 ) = 0. Basta
una funcion barrera w, w C 0 (),
ahora observar que con una funci
on w de esta forma podemos seguir exactamente la demostraci
on de la
Proposicion 2.19, sustituyendo la funci
on w definida en (2.8), por la funcion barrera.
CAPITULO
Introducci
on a la Teora de Distribuciones
En todo el tema denotamos por un abierto no vaco de IRN (N 1 entero), por |x| la norma eucldea
de x IRN , y por B(x0 , r) la bola abierta (respecto de la norma eucldea) de centro x0 IRN y radio r > 0.
3.1.
Espacios de Lebesgue
Por comodidad, se recuerda la definici

on de los espacios Lp (). Denotemos por M() al conjunto de
las funciones definidas sobre con valores reales medibles en el sentido de Lebesgue. Es bien conocido que
M() es un espacio vectorial con la suma y producto por escalar usuales.
Por L1 () denotamos el subespacio vectorial de M() constituido por las funciones integrables en
respecto de la Zmedida de Lebesgue. Si u L1 (), denotamos la integral de u en respecto de la medida de
Lebesgue por
u(x) dx.
Resulta conveniente identificar las funciones medibles que son iguales casi por doquier (c.p.d) en , esto
es, que son iguales salvo en un subconjunto de de medida Lebesgue cero. Esto se traduce en considerar
en vez de M() el espacio cociente M()/N , donde N denota el subespacio vectorial de M() constituido
por las funciones que valen cero c.p.d. en . A este respecto se recuerda que C 0 () M(), y que si u
y v son dos funciones de C 0 () tales que u = v c.p.d. en entonces u(x) = v(x) para todo x . En
consecuencia, no existe ambig
uedad en identificar una funcion de C 0 () con la clase de M()/N a la que
pertenece, lo cual permite escribir C 0 () M()/N .
Si p [1, +), se define Lp () por
Z
L () = {u M()/N :
|u(x)|p dx < +}.
Lp () es un subespacio vectorial de M()/N . Sobre Lp () se define la norma

Z
kukLp () =
1/p
|u(x)| dx
Con dicha norma Lp () es un espacio de Banach separable, y en particular para p = 2 es un espacio de

Hilbert.
Se define L () como el subespacio vectorial de M()/N constituido por las clases de funciones que
estan acotadas c.p.d. en . Sobre L () se considera la norma
kukL () = nf{M > 0 : |u(x)| M
19
c.p.d. en }.
20
Captulo 3.
Introduccion a la Teora de Distribuciones
Con dicha norma L () es un espacio de Banach no separable.

Es inmediato comprobar que C 0 () 6 Lp (), p [1, +]. Se recuerdan las siguientes propiedades:
0
Desigualdad de Holder: Si u Lp () y v Lp (), con p [1, +] y p0 el exponente conjugado

1
1
de p, esto es, tal que + 0 = 1, entonces el producto uv L1 (), con
p p
Z
|u(x)v(x)| dx kukLp () kvkLp0 () .
Desigualdad de interpolaci
on:
a) Si fi Lri (), i = 1, 2, con 1/r = 1/r1 + 1/r2 1, entonces f1 f2 Lr (), y se satisface
kf1 f2 kLr () kf1 kLr1 () kf2 kLr2 () .
b) Si 1 p pb y f Lp () Lpb(), entonces f Lq () para todo q [p, pb], y de hecho, si
1/q = /p + (1 )/b
p, con [0, 1], entonces
1
kf kLq () kf kLp () kf kL
p
b() .
Convergencia dominada: Sea {un } una sucesion de funciones de L1 () tal que:

a) existe lm un (x) = u(x) c.p.d. en ,
n
b) existe v L1 () tal que para todo n |un (x)| v(x) c.p.d. en .

Entonces u L1 () y lm kun ukL1 () = 0.
n
Sea p [1, ) y {un }n1 Lp () tal que un u en Lp (). Entonces, existe una subsucesion {unk }k1
de {un }n1 y una funci
on h Lp () tal que
|unk (x)| h(x)
unk (x) u(x)
p.c.t. x ,
k 1,
p.c.t. x .
Motivado en parte por el hecho de que por ejemplo C 0 () 6 L1 (), se introduce el espacio de las
funciones localmente integrables en :
Definici
on 3.1. Diremos que u es localmente integrable en si u M()/N y para todo K compacto
contenido en la funci
on u1K pertenece a L1 (). Al conjunto de todas las (clases de) funciones localmente
integrables en lo denotaremos por L1loc ().
Aunque el espacio L1loc () no es normado, podemos definir una nocion de convergencia de sucesiones
definida por:
Definici
on 3.2. Diremos que un u en L1loc () si y s
olo si para todo compacto K ,
Z
lm
|un (x) u(x)| dx = 0.
n K
Nota 3.3. Es inmediato comprobar que L1loc () es un subespacio vectorial de M()/N , as como que se
tienen las inclusiones:
C 0 () L1loc ()
Lp () L1loc (),
p [1, +].
Adem
as, si un u en Lp () con u Lp (), entonces un u en L1loc ().
3.2. Funciones tests: el espacio vectorial D()
3.2.
21
Funciones tests: el espacio vectorial D()
Se recuerdan en esta secci

on algunas definiciones y propiedades estudiadas en la asignatura de cuarto
curso EDPyAF.
Definici
on 3.4. Dada C 0 (), se define el soporte de como el conjunto
sop = {x : (x) 6= 0},
donde {...} denota la clausura en IRN .
En el caso en que sop es
Observese que en consecuencia sop es un conjunto cerrado contenido en .
compacto y esta contenido en , se dice que es de soporte compacto en . Se definen los subconjuntos
de C 0 () siguientes:
Cc0 () = { C 0 () : es de soporte compacto en },
Cck () = C k () Cc0 (),
D() = C () Cc0 ().
Es inmediato comprobar que todos los conjuntos definidos precedentemente son subespacios vectoriales
de C 0 () y que Cc0 () Lp (). A D(), el espacio de las funciones de clase infinito y de soporte compacto
en , se le denomina tambien el espacio de las funciones test, por constituir el espacio de base sobre el
que se construye el concepto de distribuci
on sobre .
y prolongando por cero las funciones de D(), se tiene que D()
Nota 3.5. Dados dos abiertos ,
D().
Sobre D() recordamos los resultados que siguen, cuyas demostraciones pueden consultarse, por ejemplo,
en las notas de la asignatura EDPyAF. En primer lugar se tiene:
Teorema 3.6.
a) Dado K , con K compacto, existe D() tal que 0 (x) 1 en y 1
en un entorno de K.
b) Para todo p [1, +), el conjunto D() es denso en Lp ().
c) Si u L1loc () es tal que
Z
u(x)(x) dx = 0
para toda D(),
entonces u = 0 c.p.d. en .
3.3.
Convoluci
on de funciones. Sucesiones regularizantes
Introducimos y estudiamos la convolucion de dos funciones, en el caso particular en que una pertenece
a Cc0 (IRN ) y la otra a L1loc (IRN ).
Si Cc0 (IRN ) y u L1loc (IRN ), es inmediato comprobar que para cada x IRN fijado la funci
on
N
1
N
y IR 7 (x y)u(y) IR pertenece a L (IR ), con lo cual tiene sentido definir
Definici
on 3.7. Dadas Cc0 (IRN ) y u L1loc (IRN ), se define el producto de convoluci
on de con u,
como la funci
on u dada por
Z
( u)(x) =
(x y)u(y) dy, x IRN .
IRN
22
Captulo 3.
Es inmediato comprobar que el producto de convolucion es conmutativo, es decir, para todo x IRN se
satisface
Z
(y)u(x y) dy.
( u)(x) =
IRN
Por otra parte u es regular, en concreto se tiene el siguiente resultado:

Proposici
on 3.8. Si Cc0 (IRN ) y u L1loc (IRN ), el producto de convoluci
on de ambas satisface las
propiedades siguientes:
a) u C 0 (IRN ).
b) Si K IRN es tal que u = 0 c.p.d. en IRN \ K, entonces sop ( u) sop + K.
c) Si Cck (IRN ), con k 1 entero, entonces u C k (IRN ), y para todo multindice con || k se
tiene ( u)(x) = ( u)(x) x IRN
Demostraci
on.- Las propiedades a) y c) son consecuencias inmediatas de las propiedades de dependencia
continua y derivabilidad de la integral de Lebesgue respecto de parametros (ver [2] para los detalles).
Para demostrar b), sea x IRN \ (sop + K). En tal caso, si y K, entonces x y 6 sop , y en
consecuencia (x y)u(y) = 0. Por otra parte, c.p.d. y IRN \ K se tiene u(y) = 0. En consecuencia, c.p.d.
en IRN , (x y)u(y) = 0, con lo que ( u)(x) = 0.
Otro resultado de interes lo constituye el siguiente:
Proposici
on 3.9. Si Cc0 (IRN ) y u Lp (IRN ) con p [1, +], entonces u Lp (IRN ) y satisface:
k ukLp (IRN ) kkL1 (IRN ) kukLp (IRN ) .
Demostraci
on.- Si p = +, el resultado es inmediato.
Si p = 1, denotando f (x, y) = (x y)u(y), se tiene:
Z
Z
|f (x, y)| dx = |u(y)|
|(x y)| dx = kkL1 (IRN ) |u(y)|,
IRN
IRN
Z

|f (x, y)| dx
con lo que
IRN
IRN
L1 (IRN IRN ) y
Z Z

|f (x, y)| dy
IRN
dy = kkL1 (IRN ) kukL1 (IRN ) < +, as que, por Fubini-Tonelli, f
IRN
Z

|f (x, y)| dx
dx =
IRN
IRN
dy = kkL1 (IRN ) kukL1 (IRN ) ,
lo que, en particular, implica que u L1 (IRN ) con norma en L1 (IRN ) menor o igual que kkL1 (IRN ) kukL1 (IRN ) .
Finalmente, si p (1, +), para todo x fijado en IRN la funcion de y |(x y)||u(y)|p pertenece a
L1 (IRN ) y, denotando por p0 el exponente conjugado de p, se tiene
Z
Z
1
1
|( u)(x)|
|(x y)||u(y)| dy =
|(x y)| p |u(y)||(x y)| p0 dy
IRN
Z
IRN
p
1 Z
p
10
|(x y)||u(y)| dy
|(x y)| dy
IRN
IRN
1
p
1
0
= ((|| |u|p )(x)) kkLp 1 (IRN ) .

Elevando a p esta u
ltima desigualdad, integrando en x, y teniendo en cuenta lo visto en el caso p = 1, se
obtiene
Z
p
0
|( u)(x)|p dx kkLp 1 (IRN ) k|| |u|p kL1 (IRN )
IRN
3.3. Convoluci
on de funciones. Sucesiones regularizantes
23
p
0
kkLp 1 (IRN ) kkL1 (IRN ) k|u|p kL1 (IRN ) = kkpL1 (IRN ) kukpLp (IRN ) .
A continuaci
on, introducimos la importante tecnica de regularizacion, debida a Leray y Friedrichs, consistente en convolucionar con una sucesi
on regularizante.
Definici
on 3.10. Una sucesi
on regularizante en IRN es cualquier sucesi
on de funciones (n )n1 D(IRN )
tal que:
a) n 0 en IRN ,
1
),
b) sop n B(0,
n
Z
c)
n (x) dx = 1.
IRN
Es facil demostrar la existencia de sucesiones regularizantes; Consideramos la funcion real de variable

real
(
0
si t 0
(t) =
1/t
e
si t < 0,
que, evidentemente, es una funci
on infinitamente derivable en IR. As, para k > 0 dado, construimos la
funcion

(x) = k |x|2 1
que es una funci
on de D(IRN ) que adem
as verifica que sop = B(0, 1), (x) > 0 en B(0, 1) y, eligiendo k de
forma conveniente, tambien
Z
(x) dx = 1.
IRN
Si queremos una funci

on de D(IRN ) que tenga soporte en B(0, 1/n), basta hacer
n (x) = nN (nx) .
Esta funcion verifica que n D(IRN ), sop n = B(0, 1/n), n > 0 en B(0, 1/n) y
Z
n (x) dx = 1.
IRN
Nota 3.11. Es tambien inmediato comprobar a partir de los resultados precedentes que si (n )n1 es una
sucesi
on regularizante, y u L1loc (IRN ) entonces n u C (IRN ). Si, adem
as, u es cero c.p.d. en el
N
complementario de un compacto entonces n u D(IR ).
El interes de la convoluci
on por una sucesion regularizante radica en las propiedades de aproximaci
on
que posee.
Proposici
on 3.12. Sea (n )n1 una sucesi
on regularizante. Se tiene:
a) Si u C 0 (IRN ), entonces n u u uniformemente sobre compactos de IRN , cuando n +.
b) Si u Lp (IRN ) con p [1, +), entonces n u u en Lp (IRN ), cuando n +.
24
Captulo 3.
Demostraci
on.a) Sean u C 0 (IRN ), K un compacto de IRN y > 0 fijados. Hemos de demostrar que existe un n0 1
tal que |(n u)(x) u(x)| x K n n0 .
Como u es uniformemente continua en los compactos de IRN , existe un > 0 tal que
|u(x y) u(x)|
x K
|y| .
1
Fijado un tal , basta tomar n0 entero tal que n0 . Con esta eleccion, si n n0 entonces sop n
B(0, ) B(0, ), con lo que para todo x K se tiene:

n
Z

|(n u)(x) u(x)| =
(u(x y) u(x))n (y) dy
IRN

Z

(u(x y) u(x))n (y) dy .
=
1

B(0,
)
n
b) Sea u Lp (IRN ) con p [1, +). Sabemos que en tal caso n u Lp (IRN ), para todo n 1.
Fijemos > 0, entonces gracias al Teorema 3.6 2) existe D(IRN ) tal que
ku kLp (IRN ) .
Ya sabemos que n converge a , cuando n tiende a , uniformemente sobre los compactos de IRN ; en
particular, como
sop , sop (n ) sop + B(0,

1),
es inmediato que
n cuando n tiende a en Lp (IRN ).
En consecuencia:
kn u ukLp (IRN ) kn (u )kLp (IRN ) + kn kLp (IRN ) + k ukLp (IRN )
2k ukLp (IRN ) + kn kLp (IRN ) 2 + kn kLp (IRN ) ,
y en consecuencia lm sup kn u ukLp (IRN ) 2. Basta ahora tener en cuenta que > 0 es arbitrario.
n
3.4.
El espacio de las distribuciones sobre . Convergencia de distribuciones
El espacio D() puede ser dotado de una topologa, la denominada topologa lmite inductivo, que
no proviene de una norma, pero que es compatible con la estructura de espacio vectorial del mismo. Nos
contentamos con describir en que se traduce la convergencia de sucesiones para esta topologa.
Definici
on 3.13. Sean (n ) una sucesi
on en D() y D(). Diremos que n converge a en D() (y
escribiremos n ) si existe un compacto K tal que
sop n K,
n 1
n uniformemente en ,
INN ,
(recordemos que, 0 es la identidad).

Es inmediato comprobar la compatibilidad de la nocion de convergencia anterior con la estructura de
espacio vectorial de D(), es decir, si n converge a y n converge a en D() entonces n + n converge
a + y n converge a en D() para todo escalar IR. En particular, n converge a en D() si
y solo si n converge a cero en D().
3.4. El espacio de las distribuciones sobre . Convergencia de distribuciones
25
Como ya hemos dicho, es posible introducir en D() una topologa para la que la nocion de convergencia
de sucesiones coincide con la de la Definicion 3.13. Al dual topologico de D(), es decir al espacio vectorial de las formas lineales continuas sobre D(), se le denota D0 () y se le denomina el espacio de las
distribuciones sobre .
Nos vamos a contentar en estas notas con una definicion equivalente de D0 () que tan solo utiliza la
nocion de convergencia de sucesiones en D().
Definici
on 3.14. Una distribuci
on sobre es cualquier aplicaci
on T : D() IR tal que:
a) T es lineal.
b) T es (secuencialmente) continua, es decir, tal que si n en D(), entonces T (n ) T () en IR.
Al conjunto de todas las distribuciones sobre se le denota D0 ().
A partir de ahora, si T D0 (), usaremos de manera indistinta las notaciones T () y hT, i.
Nota 3.15. Es inmediato comprobar que dada T : D() IR lineal, T es una distribuci
on sobre si y s
olo
si n 0 en D() implica hT, n i 0 en IR.
El conjunto D0 () se considera dotado de las operaciones suma y producto por escalar definidos de
manera natural para cada T y S en D0 () y cada escalar por:
hT + S, i = hT, i + hS, i,
hT, i = hT, i,
D().
Es inmediato comprobar que D0 (), dotado de las operaciones as definidas, es un espacio vectorial.
El espacio D0 () es muy rico en elementos, en particular toda funcion de L1loc () es (identificable con)
una distribucion sobre . En concreto se tiene:
Proposici
on 3.16. Para cada u L1loc () denotemos por Tu la aplicaci
on definida sobre D() con valores
en IR, dada por
Z
(3.1)
hTu , i =
u(x)(x) dx D().
Entonces Tu D0 (), y la aplicaci

on u L1loc () Tu D0 () es lineal e inyectiva.
Demostraci
on.- Inmediata a partir de los resultados obtenidos hasta ahora.
Nota 3.17. A partir de ahora, si u L1loc () identificamos u con la distribuci
on sobre definida por (3.1).
Con esta identificaci
on, teniendo en cuenta la proposici
on precedente, resulta que L1loc () es un subespacio
0
vectorial de D ().
Otro ejemplo de distribuci
on es la distribuci
on o delta de Dirac: dado a , se define a (la delta
de Dirac en a) como la aplicaci
on
a : D() 7 (a) IR.
Es inmediato comprobar que a D0 (), y que no es la distribucion nula, pues existe D() tal que
ha , i = (a) = 1.
El espacio L1loc () est
a contenido de manera estricta en D0 (), es decir, la aplicacion dada por u
L1loc () Tu D0 () no es sobre. Un ejemplo de distribucion sobre que no es identificable mediante
(3.1) con una funci
on de L1loc () lo constituye la delta de Dirac en un punto de . Se tiene:
26
Captulo 3.
Proposici
on 3.18. Dado a , la distribuci
on a no pertenece a L1loc (), es decir, no existe u L1loc ()
0
tal que Tu = a como elementos de D ().
Demostraci
on.- Supongamos que existe u L1loc () tal que Tu = a como elementos de D0 (). Entonces,
en particular
Z
u(x)(x) dx = 0, D( \ {a}),
y en consecuencia u = 0 c.p.d. en \ {a}, y por tanto tambien u = 0 c.p.d. en .

As,
Z
0=
D(),
u(x)(x) dx = (a),
contra el hecho de que, por ejemplo, sabemos que existen funciones D() tales que (a) = 1.
Sobre el espacio D0 () es posible definir una topologa (a partir de la de D()) para la que la noci
on de
convergencia de sucesiones se traduce en la definicion siguiente:
Definici
on 3.19. Dada una sucesi
on (Tn )n1 en D0 (), diremos que la sucesi
on converge a un elemento
0
T D (), cuando n , si para toda en D() se satisface que
lm hTn , i = hT, i.
Nota 3.20.
a) Si {n } es una sucesi
on regularizante en IRN entonces n converge a 0 en D0 (IRN ).
b) Con el convenio de identificar u y Tu , es f

acil comprobar que las inyecciones de Lp () en D0 () son
(secuencialmente) continuas para todo p [1, ], es decir, un u en Lp () implica un u en D0 ().
Lo mismo sucede con la inyecci
on de L1loc () en D0 ().
Una propiedad importante es la completitud (secuencial) de D0 (). En concreto se tiene el siguiente
resultado, cuya demostraci
on omitimos (consultar, por ejemplo, [11]).
Proposici
on 3.21. Sea (Tn )n1 D0 () una sucesi
on satisfaciendo que existe lm hTn , i para toda en
n
D(). En tal caso, si se define hT, i = lm hTn , i, para toda D(), la aplicaci
on T pertenece a D0 (),
n
y en consecuencia la sucesi
on Tn converge a T en D0 ().
Utilizando un razonamiento de reduccion al absurdo similar al que se emplea para demostrar la proposicion precedente, se puede tambien probar que la aplicacion (T, ) D0 () D() 7 hT, i IR, es
(secuencialmente) continua.
3.5.
Derivaci
on de distribuciones
En esta secci
on vamos a introducir un concepto de derivacion en D0 (), de tal manera que toda distribucion va a ser derivable de todos los
ordenes. En particular, con este concepto, toda funcion de L1loc ()
0
sera derivable en el sentido de D ().
Para motivar la definici
on consideremos dada una funcion u C 0 () tal que existe la derivada parcial
(en sentido clasico) k u para alg
un 1 k N y k u C 0 (). En tal caso u y k u pertenecen a D0 () y se
puede uno plantear que relaci
on existe entre k u y u como distribuciones. En primer lugar es evidente que
para toda D():
Z
Z
hk u, i =
k (u)(x) dx
u(x)k (x) dx.
Pero u Cc0 () y existe k (u) Cc0 (). Denotando por v la prolongacion por cero en el complementario de
de una funcion v definida en , es inmediato que u
f Cc0 (IRN ) y existe k (u)
f Cc0 (IRN ), satisfaciendose
que k (u)
f ^
k (u), y
Z
Z
k (u)(x) dx =
k (u)(x)
f
dx.
IRN
3.6. El producto de una funcion C por una distribucion
27
Tomando M > 0 tal que (x) = 0 para toda x tal que |xk | M , se tiene
Z M

Z
Z
k (u)(x)
f
dx =
k (u)(x)
f
dxk dx1 ...dxk1 dxk+1 ...dxN = 0.
IRN
IRN 1
En consecuencia, hemos demostrado el siguiente resultado:

Proposici
on 3.22. Si u C 0 () es tal que existe la derivada parcial (en sentido cl
asico) k u para alg
un
0
1 k N y k u C (), entonces
hk u, i = hu, k i,
D().
Por aplicacion reiterada de la proposici

on precedente, se obtiene de manera inmediata que si u C k (),
con k 1 entero, entonces
h u, i = (1)|| hu, i,
D(),
|| k.
Por otra parte, es f

acil comprobar que si T es un elemento cualquiera de D0 (), para cada multndice de
derivacion , la aplicaci
on
D() 7 hT, i IR,
define un elemento de D0 (). Queda, en consecuencia motivada y con sentido la definicion que sigue:
Definici
on 3.23. Dada T D0 (), para cualquier multindice se define T , la derivada de T , como
el elemento de D0 () determinado de manera unvoca por la igualdad
h T, i = (1)|| hT, i,
D().
Nota 3.24.
a) De las consideraciones precedentes, es claro que la noci
on de derivaci
on en D0 () es
congruente con la derivaci
on ordinaria de funciones de C k ().
b) Con esta noci
on, toda distribuci
on, y en particular toda funci
on localmente integrable, es derivable de
cualquier orden (aunque la derivada no tiene porque ser una funci
on).
c) Se tiene la independencia del orden en la derivaci
on, es decir, para todo par y de multindices de
derivaci
on y toda T D0 () se tiene que
( T ) = ( T ) = + T.
d) Es tambien f
acil comprobar que la derivaci
on es una operaci
on lineal secuencialmente continua en
0
D (), es decir, para todo multindice de derivaci
on la aplicaci
on
T D0 () T D0 ()
es lineal y tal que Tn T en D0 (), implica que
Tn T
en D0 ().
En relacion con la derivaci

on de distribuciones, resulta de interes el siguiente resultado, recproco de la
Proposicion 3.22, y cuya demostraci
on se puede consultar en [11].
Proposici
on 3.25. Sean u y v dos funciones en C 0 () tales que para alg
un entero k con 1 k N se
0
satisface k u = v en D (). Entonces u es derivable en sentido cl
asico respecto de xk en , con derivada
igual a v.
28
Captulo 3.
3.6.
El producto de una funci

on C por una distribuci
on
En general, es imposible definir el producto de dos distribuciones sobre de tal manera que sea compatible con el producto de funciones. Un caso particular en que resulta facil tal definicion es aquel en que una
de las distribuci
ones corresponde a una funcion de C ().
Definici
on 3.26. Sean u C () y T D0 (). Se define el producto de u con T , denotado uT , como el
elemento de D0 () determinado por la igualdad
huT, i = hT, ui
(3.2)
D().
Es inmediato comprobar que efectivamente (3.2) define una distribucion en . Es tambien facil demostrar
que k (uT ) = (k u)T + uk T , para toda u C () y toda T D0 ().
1
1
, que denotamos por vp ( ) (ver la definici
on en
x
x
0
la hoja de ejercicios), y 0 , es f
acil comprobar la imposibilidad de definir un producto en D (IR) que sea a la
vez asociativo, conmutativo y compatible con la Definici
on 3.26.
Nota 3.27. Utilizando el denominado valor principal de
Como consecuencia de la definici

on anterior aparece el problema de division en D0 (), consistente en,
dados u C () y S D0 (), encontrar T D0 () tal que uT = S en D0 (). Este problema tiene soluci
on
inmediata si u no se anula en ; en caso contrario, la respuesta al problema es, en general, difcil. El resultado
que sigue proporciona una respuesta en un caso muy particular:
Proposici
on 3.28. Una distribuci
on T D0 (IR) satisface xT = 0 en D0 (IR) si y s
olo si existe c IR tal
que T = c0 .
Demostraci
on.- Si T = c0 , entonces es inmediato que xT = 0 en D0 (IR).
Recprocamente, sea T D0 (IR) tal que xT = 0 en D0 (IR). En tal caso < T, >= 0 para toda C,
siendo C = {x : D(IR)}.
Pero es facil comprobar que C = { D(IR) : (0) = 0}. En efecto, es inmediato que C { D(IR) :
R1
(0) = 0}, y recprocamente, si pertenece a D(IR) y es tal que (0) = 0, entonces (x) = x 0 0 (sx) ds,
para todo x IR, y es inmediato que la funcion
Z 1
(x) =
0 (sx) ds
0
es tal que
C (IR)
y sop est
a contenido en sop {0}, con lo que D(IR).
En resumen, si T D0 (IR) satisface xT = 0 en D0 (IR), entonces hT, i = 0 para toda D(IR) tal que
(0) = 0. Basta ahora fijar 0 D(IR) tal que 0 (0) = 1; dada cualquier D(IR), se tiene = (0)0 + ,
donde = (0)0 , es tal que pertenece a D(IR) y satisface (0)
= 0. En consecuencia,
hT, i = hT, 0 i(0) = ch0 , i,
con c = hT, 0 i.
Para mas detalles sobre distribuciones (en particular el estudio de la convolucion de distribuciones, distribuciones atemperadas y transformada de Fourier de distribuciones) se puede consultar [3] y [13]. Nosotros
vamos a terminar estas notas con unas consideraciones sobre la b
usqueda de primitivas en D0 (IR).
3.7.
Resultados comlementarios: Primitivas en D0 (I)
Dados I = (a, b), intervalo abierto de IR, y S D0 (I), diremos que T es una primitiva de S en I si
T D0 (I) y T 0 = S en D0 (I).
En primer lugar, se tiene el siguiente resultado:
3.7. Resultados comlementarios: Primitivas en D0 (I)
29
Proposici
on 3.29. Dada T D0 (I), la distribuci
on T es una primitiva en I de la distribuci
on nula si y
s
olo si es constante. Es decir, T 0 = 0 en D0 (I) si y s
olo si existe c IR tal que
Z
hT, i = c (t) dt, para toda D(I).
I
Demostraci
on.- Es evidente que si T es constante entonces T 0 = 0.
Recprocamente, si T 0 = 0 entonces < T, 0 >= 0 para toda D(I). Pero
Z
(t) dt = 0}.
{0 : D(I)} = { D(I) :
I
(t) dt = 0. Recprocamente, si D(I)

En efecto, es evidente que si = 0 con D(I) entonces
I Z
Z
t
satisface
(t) dt = 0 entonces la funci
on definida por (t) =
(s) ds, t I, es la u
nica funci
on tal
I
que D(I) y satisface 0 = en I.
0
Z = 0 para toda funcion D(I) que satisfaga la igualdad
Z En consecuencia, si T = 0 entonces hT, i
0 (t) dt = 1; en tal caso, para cada D(I) la funci
on
(t) dt = 0. Fijemos 0 D(I) tal que
I
I Z

(t) dt 0 pertenece a D(I) y tiene integral cero en I. De la identidad

I
Z
Z
(t) dt 0 +
I

(t) dt 0 ,
se obtiene entonces hT, i = hc, i, con c = hT, 0 i.

Nota 3.30. La proposici
on precedente puede ser extendida al caso de IRN . En concreto, se puede demostrar
que si IRN es un abierto conexo y T D0 () es tal que T = 0 en D0 (), entonces existe c IR tal que
T = c en D0 (). Para la demostraci
on de este resultado se puede consultar, por ejemplo, el libro de Renardy
y Rogers, [11].
Como consecuencia de la Proposici
on 3.29 se obtiene la siguiente,
Proposici
on 3.31. Dados I = (a, b) intervalo abierto de IR y S D0 (I), existe T D0 (I) tal que T 0 = S
en D0 (I). Adem
as, dicha T es u
nica salvo constantes aditivas, es decir, si T es otra primitiva de S en D0 (I),
entonces existe c IR tal que T T = c en D0 (I).
Demostraci
on.- La unicidad de T salvo constantes aditivas es consecuencia inmediata de la Proposicion 3.29.
En cuanto a la existencia de T , lo primero que es claro es que T es una primitiva de S en D0 (I) si y
solo si hT, 0 i = hS, i para toda D(I), lo cual esZequivalente, de acuerdo con la demostraci
on de la
proposicion anterior, a que para toda D(I) tal que
(t) dt = 0 se satisfaga:
I
hT, i = hS, i,
(3.3)
Z
siendo (t) =
(s) ds.
a
Z
Fijemos 0 D(I) tal que
0 (t) dt = 1. Para cada D(I) definamos T por hT, i = hS, i, con

I
(3.4)

Z t
Z
(t) =
(s) ( (x) dx)0 (s) ds.
a
30
Captulo 3.
Evidentemente, la T as definida satisface (3.3), y es un funcional lineal sobre D(I). Es un ejercicio sencillo
comprobar que si n 0 en D(I) entonces la sucesion correspondiente n definida por (3.4) converge
tambien a cero en D(I). En consecuencia la T definida por (3.3) es un elemento del espacio D0 (I)
Supongamos que queremos resolver en D0 (I) la EDO
(3.5)
T 0 = f (t)T + g(t),
donde f C (I) y g D0 (I) est

an dadas. Considerando la nueva incognita S dada por S = eF T, con
F C (I) una primitiva de f , la ecuacion original (3.5) equivale a S 0 = eF g en D0 (I). Podemos en

consecuencia afirmar, por aplicaci
on de la Proposicion 3.31, que (3.5) posee infinitas soluciones en D0 (I),
siendo todas de la forma T = Tp + ceF , con Tp una solucion particular de (3.5), y c IR una constante
arbitraria. En particular, si g C 0 (I), podemos afirmar que el conjunto de soluciones de (3.5) en D0 (I)
coincide con el de las soluciones cl
asicas.
En general, si g es una distribuci
on arbitraria, las soluciones de (3.5) no son funciones de C 1 (I). Lo
mismo sucede con una EDO de primer orden implcita aunque los datos sea regulares; as la EDO tT 0 = 0
en D0 (IR) tiene por soluci
on particular la funcion de Heaviside, H(t) = 1(0,) (t).
CAPITULO
Espacios de Sobolev. Primeras propiedades
Dedicamos el tema a introducir los espacios de Sobolev y a estudiar las primeras propiedades de estos
espacios. Igual que en el tema anterior, denotara un abierto no vaco de IRN , con N 1 entero.
4.1.
Espacios de Sobolev. Definiciones
0
En el tema anterior vimos que, dada T D0 () y ZN
+ , existe T D (). En particular, si
p
0
u L (), con p [1, ], entonces existe u D () y verifica
h u, i = (1)|| hu, i = (1)||
u(x) (x) dx,
D().
y es acotado, entonces
A veces, se tiene que u Lp () (es una funcion). Por ejemplo, si u C || ()
p
su derivada distribucional coincide con la clasica y u L ().
Definici
on 4.1. Sean k 1 un entero y p [1, ]. Definimos el espacio de Sobolev W k,p () como
W k,p () = {u Lp () : u Lp (),
ZN
+ tal que || k}.
Nota 4.2. Evidentemente,

W 1,p () = {u Lp () : i u Lp (),
1 i N } ,
W 2,p () = {u Lp () : i u Lp (), ij u Lp (),
1 i, j N } .
Nota 4.3. En la definici

on de W k,p (), las derivadas consideradas son derivadas distribucionales. As, decir
p
que u L () significa que existe v Lp () tal que u = v en D0 (), es decir, tal que
Z
Z
||
(1)
u dx =
v dx, D().
Observese que en tal caso v est

a unvocamente determinada.
p
Nota 4.4. Observese que u W k,p () si y solo si para cada ZN
+ con || k existe v L () tal que
Z
Z
(1)||
u dx =
v dx, Cck ().
La demostraci
on de esta afirmaci
on se puede hacer mediante convolucion con una sucesion regularizante,
y se deja como ejercicio.
31
32
Captulo 4.
Es facil comprobar que W k,p () es un subespacio vectorial de Lp ().

Sobre W k,p () se considera la norma
1/p
||u||W k,p () =
(4.1)
|| u||pLp ()
si
p < ,
||k
||u||W k, () = max || u||L ()
(4.2)
||k
si p = .
En particular, para p < ,

||u||pLp ()
||u||W 1,p () =
N
X
!1/p
||i u||pLp ()
i=1
||u||W 2,p () = ||u||pLp () +
N
X
i=1
||i u||pLp () +
N
X
1/p
||ij u||pLp ()
= ||u||pW 1,p () +
i,j=1
N
X
1/p
||ij u||pLp ()
i,j=1
Observaci
on 4.5. Se deja como ejercicio la comprobaci
on de que || ||W k,p () es efectivamente una norma
en W k,p ().
As mismo, se deja como ejercicio la comprobaci
on de que, tanto si p es finito como si no, una norma
equivalente a la dada por (4.1) y (4.2), es la definida por
X
(4.3)
|u|W k,p () =
|| u||Lp () .
||k
Definici
on 4.6. El caso p = 2 es un caso de especial interes, ya que la norma || ||W k,2 () procede del
producto escalar
X
( u, v)L2 () .
(u, v)H k () =
||k
Utilizaremos la notaci
on H k () para representar a W k,2 (), es decir
H k () W k,2 ().
Observaci
on 4.7. De la propia definici
on de la norma, es inmediato deducir que un u en W k,p () si y
s
olo si un u en Lp (), para todo 0 || k.
En lo que sigue, vamos a hacer uso del siguiente resultado:
p
p
Proposici
on 4.8. Sean ZN
+ , {un }n1 L () y u, v L () tales que un u y un v en
p
L (). Entonces v = u.
Demostraci
on.- Si un u en Lp (), entonces un u en D0 (), y en consecuencia un u en D0 ().
Pero, un v en Lp () implica que un v en D0 (), as que v = u.
Teorema 4.9. Sean IRN un abierto no vaco, k 1 un entero, y p [1, ]. Se tiene
a) W k,p () es un espacio de Banach y H k () es un espacio de Hilbert.
b) W k,p () es un espacio reflexivo si p (1, ).
4.1. Espacios de Sobolev. Definiciones
33
c) W k,p () es un espacio separable si p [1, ).

d) D() W k,p ().
e) Cck () W k,p (), y si es acotado, entonces C k () W k,p ().
Demostraci
on.- Sea M = card { ZN
+ : || k} y consideramos el espacio producto
X=
Lp () = [Lp ()]M ,
||k
que es un espacio de Banach para la norma (producto):

1/p
||U ||X =
||u ||pLp ()
si p [1, ),
||k
||U ||X = max||k ||u ||L ()
si p = ,
donde U = (u )||k X. De hecho, sabemos que X es reflexivo si y solo si Lp () es reflexivo y X es

separable si y solo si Lp () lo es.
Consideramos la aplicaci
on lineal
J : u W k,p () 7 ( u)||k X,
y sea E = J(W k,p ()) X. Por la Proposicion 4.8 es inmediato comprobar que E es un subespacio
vectorial cerrado de X. As, (E, || ||X ) es un espacio de Banach que hereda las propiedades de reflexividad
as, J es un isomorfismo isometrico entre W k,p () y E. Concluimos que
y separabilidad de
X. Adem
W k,p (), || ||W k,p () es un espacio de Banach y se tienen b) y c). Los dos u
ltimos apartados son f
aciles
de comprobar.
Observaci
on 4.10. Los espacios W k,1 () y W k, () no son reflexivos. Adem
as, W k, () no es separable
(ver [2]).
Definici
on 4.11. Sean k 1 un entero y p [1, ]. Definimos W0k,p () como la clausura de D() en
W k,p (), es decir,
W0k,p () D()
||||W k,p ()
En el caso particular p = 2, usaremos la notaci

on H0k () W0k,2 ().
De la propia definici
on deducimos que W0k,p () es un subespacio vectorial cerrado de W k,p () y que, con
la norma || ||W k,p () , es un espacio de Banach que hereda las propiedades de reflexividad y separabilidad
de W k,p (). En el caso p = 2, al igual que H k (), H0k () es un espacio de Hilbert con el producto escalar
(, )H k () .
Nota 4.12.
a) Observese que decir que u W0k,p () es equivalente a decir que existe una sucesi
on
k,p
p
{n }n1 D() tal que n u en W (), es decir, tal que n u en L (), para todo
0 || k, con lo que es interesante encontrar una caracterizaci
on manejable del espacio W0k,p ().
b) Aunque D() es denso en W0k,p () no podemos deducir que las funciones W0k,p () tenga soporte
compacto en .
c) Utilizando la convoluci
on con una sucesi
on regularizante, es inmediato comprobar que Cck () W0k,p (),
para todo k 1, p [1, ].
34
Captulo 4.
d) Sabemos que W0k,p () es un subespacio vectorial cerrado de W k,p () y veremos que, en general, es un
subespacio vectorial cerrado propio de W k,p (), aunque en algunos casos coinciden.
Teorema 4.13. Sean k 1, p [1, ] y sea u W0k,p (). Definamos u
e como la extensi
on por 0 de u a
IRN \ , esto es
(
u(x) x ,
u
e(x) =
0
x IRN \ .
Entonces,
a) u
e W0k,p (IRN ),
u,
b) u
e = g
|| k y
c) ||e
u||W k,p (IRN ) = ||u||W k,p () .
Demostraci
on.- Por hip
otesis u W0k,p (), por lo que existe {n }n1 D() tal que
(
n u en Lp () y
n u en Lp (),
Consideramos
en definida por
en (x) =
|| k.
n (x) x ,
0
x IRN \ ,
para || k. Deducimos que

que evidentemente verifica que
en D(IRN ) y
en = g
n
(
en u
e en Lp (IRN ) y
u en Lp (IRN ),

g
|| k.
en = g
n
u Lp (IRN ) para todo || k, es decir,
Aplicando la Proposici
on 4.8 llegamos a que existe u
e = g
u||W k,p (IRN ) = ||u||W k,p () .
u
e W0k,p (IRN ) y ||e
Corolario 4.14. En general, W k,p () 6 W0k,p ().

Demostraci
on.- Para ello, consideramos u 1 en = (0, 1). Esta claro que u W k,p () para cualesquiera
e W0k,p (IR) y que u
e0 Lp (IR), contra el
valores de k y p. Sin embargo u 6 W0k,p (), pues eso dara que u
hecho de que u
e0 = 0 1 , que se puede comprobar que no es una funcion.
Observaci
on 4.15.
a) Sea u W 1,p () dada. De lo que hemos dicho hasta ahora, podemos afirmar que,
en general, u
e Lp (IRN ), pero u
e 6 W 1,p (IRN ).
b) Lo que s puede afirmarse por ejemplo es que si Cc1 (), entonces u W 1,p () con
i (u) = i u + ui ,
f (la prolongaci
para todo 1 i N . Adem
as, u
on por cero a IRN \ ) pertenece a W 1,p (IRN ) y se
satisface
f =
]
]
i (u)
1 i N.
i u + ui ,
Se deja la comprobaci
on como ejercicio. Lo mismo se satisface si solamente C 1 (IRN ) L (IRN )
es tal que L (IRN )N y sop IRN \ .
4.2. Primeras propiedades de los espacios de Sobolev. Teorema de Friedrichs
4.2.
35
Primeras propiedades de los espacios de Sobolev. Teorema de Friedrichs
Aunque los resultados que vamos a obtener en esta seccion son validos, con los cambios pertinentes, en
los espacios W k,p (), nos vamos a restringir a partir de ahora, por comodidad de notacion, a los W 1,p ().
Ya sabemos que en general D() no es denso en W 1,p (), pero, como vamos a demostrar, s que se tiene
la densidad en el caso = IRN y p < . Para demostrar esto u
ltimo utilizamos el siguiente resultado:
Lema 4.16. Si Cc0 (IRN ) y u W 1,p (IRN ), entonces u W 1,p (IRN ) C 1 (IRN ) y
i ( u) = i u,
(4.4)
1 i N.
Demostraci
on.- Basta comprobar (4.4) en el sentido de D0 (IRN ) y tener en cuenta la Proposici
on 3.25.
Para cada D(IRN ) fijada se tiene, aplicando Fubini,
Z
< i ( u), >=
( u)(x)i (x) dx
IRN
Z
Z
=
IRN

Z
(x y)i (x) dx u(y) dy =
(
i )(y)u(y) dy,
IRN
IRN
con (y) = (y). Ahora bien, de las propiedades ya vistas para el producto de convolucion, sabemos que
pertenece a D(IRN ), con derivada (cl
asica) i (
) = i .
En consecuencia, aplicando de nuevo Fubini,
Z
Z
< i ( u), >=
(
i )(x)u(x) dx =
IRN
(i (
)) (x)u(x) dx
IRN
Z
(
)(x)i u(x) dx =
=
IRN
( i u)(x)(x) dx =< i u, > .

IRN
Definici
on 4.17. Se denomina sucesi
on truncante en IRN a cualquier sucesi
on {n } D(IRN ) definida por:
1) y sop B(0,
2),
a) 1 (x) = (x), con D(IRN ) tal que 0 1 en IRN , 1 en B(0,
x
b) n (x) = ( ), para todo n 2.
n
Teorema 4.18. D(IRN ) es denso en W 1,p (IRN ), para todo 1 p < .
Demostraci
on.- La demostraci
on se basa en dos pasos:
1. Regularizacion: Sea u W 1,p (IRN ) fijado. Tomemos {n }, una sucesion regularizante en IRN , y denotemos
vn = n u. Evidentemente, {vn } C (IRN ) y vn u en Lp (IRN ). Ademas, por (4.4) y Proposici
on 3.12 b)
sigue que
i vn = n i u i u en Lp (IRN ),
con lo que
vn u
en W 1,p (IRN ).
2. Truncamiento: Sea {n } una sucesi

on truncante en IRN , y denotemos un = n vn . Veamos que un verifica
las tesis del Teorema. Evidentemente un D(IRN ). Ademas,
Z
|un vn | dx =
IRN
|n vn vn | dx
{|x|>n}
{|x|>n}
|vn |p dx
36
Captulo 4.

p
|u| dx + 2
|vn u|p dx 0.
{|x|>n}
{|x|>n}
En consecuencia
Lp (IRN ).
un u
Por otro lado,
x
1
i un = n i vn + vn (i )( ).
n
n
De manera an
aloga a lo hecho anteriormente se demuestra que n i vn i u en Lp (IRN ). Adem
as,
denotando por C una cota superior de los valores absolutos de las parciales primeras de ,
p
Z
p Z
1

vn (i )( x ) dx C
|vn |p dx 0,
n

p
n
n
N
N
IR
IR
de donde se deduce que
i un i u
Lp (IRN ).
Es claro ahora el siguiente resultado:

Corolario 4.19. Se tiene que W 1,p (IRN ) = W01,p (IRN ), para todo 1 p < .
A partir de ahora utilizamos la notaci
on 0 para expresar que 0 es un abierto tal que su clausura
es un compacto contenido en . En el caso de 6= IRN , se tiene:
Teorema 4.20. (de Friedrichs) Sean IRN abierto y 1 p < . Dada u W 1,p (), existe una
sucesi
on {un } D(IRN ) tal que
un u en Lp (),
i un i u en Lp (0 ),
para todo 1 i N y todo abierto 0 .

Demostraci
on.- De nuevo la demostraci
on consiste en un proceso de regularizacion seguido por uno de
truncamiento.
1. Regularizacion: Denotemos por u
la prolongacion de u por cero a IRN \ . En principio, u
no pertenece
1,p
N
a W (IR ).
Fijemos {n }, una sucesi
on regularizante en IRN , y denotemos vn = n u
. Sabemos que vn C (IRN ) y
vn u
en Lp (IRN ).
Dado 0 , fijemos D() tal que 0 1 y 1 en todo un entorno de 0 contenido en , que

existe gracias al Teorema 3.6 1). En primer lugar, observemos que
e 1)e
u B(0, 1/n) + sop(
e 1)e
u IRN \ 0 ,
sop (n u
f n u
) = sop(n (
e 1)e
u) sop(n ) + sop(
para todo n suficientemente grande, con lo que podemos afirmar la existencia de un n0 tal que si n n0
entonces
(4.5)
n u
f = n u
en 0 .
]
]
Por la Observaci
on 4.15 2), u
f W 1,p (IRN ) y i (u)
f =
:
i u + ui . As
p
N
]
]
i (n u)
f
i u + ui en L (IR ),
37
y en particular
i vn = i (n u)
f i u + ui
en Lp (0 ).
Pero en 0 se satisface = 1 y i = 0, con lo que, por (4.5),

i (n u
) = i vn i u en Lp (0 ).
2. Truncamiento: Consideremos ahora una sucesion truncante n y tomemos
un = n vn D(IRN ).
Basta ahora, para terminar la demostraci
on, razonar como en el Teorema 4.18.
A partir de ahora, en la demostraci
on de los resultados que siguen, que son validos para todo p [1, ],
vamos a suponer que p es finito; para el razonamiento en el caso p = cons
ultese [2].
Como primera consecuencia del teorema de Friedrichs, es facil obtener algunas reglas basicas de derivaci
on
1,p
en W ().
Proposici
on 4.21. (Derivaci
on del producto) Si u y v pertenecen a W 1,p ()L (), entonces tambien
1,p
uv W () L (), con
(4.6)
i (uv) = ui v + vi u , i = 1, ..., N.
Demostraci
on.- Como u, v L () Lp () es inmediato que uv L () Lp ().
Es inmediato ahora que basta demostrar (4.6) para concluir el resultado. Suponemos que 1 p < ,
para el caso p = cons
ultese [2].
Consideremos las sucesiones un = n (n u
) y vn = n (n v) de la demostracion del teorema de
Friedrichs. Observese que
kun kL () = kn (n u
)kL () kn u
kL (IRN ) kn kL1 (IRN ) k
ukL (IRN ) = kukL () ,
y por tanto,
(4.7)
kun kL () kukL () ,
kvn kL () kvkL () .
Dada D(), se fija un abierto 0 tal que sop 0 . Probar (4.6) es equivalente a probar
Z
Z
uvi dx =
(ui v + vi u) dx.
0
Recordemos que gracias al Teorema de Friedrichs

un u,
i un i u,
vn v
i vn i v
en Lp () y,
en Lp (0 ).
Ademas, extrayendo subsucesiones si es preciso (ver Captulo 3), podemos suponer que
un u y vn v c.p.d. en y |un | h, |vn | g con h, g Lp ().
Como las un y las vn son en particular de C (), se tiene:
Z
Z
(4.8)
un vn i dx =
(un i vn + vn i un ) dx.
0
Basta ahora hacer pasar al lmite en (4.8) por convergencia dominada, para obtener (4.6). En efecto, denotando por
fn := un vn i ,
38
Captulo 4.
es claro que fn (x) u(x)v(x)vi (x) c.p.d. en 0 y gracias a (4.7)

|fn | C < ,
y por tanto gracias al Teorema de la Convergencia Dominada
Z
Z
uvi dx.
un vn i dx
0
Analogamente se act
ua con las otras integrales de (4.8).
Observaci
on 4.22. Si u y v pertenecen a H 1 (), la formula (4.6) contin
ua siendo valida aunque ninguna
de las dos funciones este acotada (raz
onese), y por tanto, al menos, tenemos garantizado que uv W 1,1 ().
Proposici
on 4.23. (Derivada de una composici
on) Sea G C 1 (IR) una funci
on tal que G(0) = 0 y
0
1,p
|G (s)| C < , s IR. Si u W (), entonces
(4.9)
G(u) W 1,p ()
i (G(u)) = G0 (u)i u
1 i N.
Adem
as, si u W01,p (), entonces tambien G(u) W01,p ().
Demostraci
on.- Evidentemente
|G(u)| = |G(u) G(0)| C|u|,
con lo que G(u) Lp (). Adem
as, como G0 (u) L () se tiene que G0 (u)i u Lp (). As que, para ver
1,p
que G(u) W (), s
olo falta demostrar que
Z
Z
0
(4.10)
G (u)(i u) dx = G(u)i dx D().
Supongamos que p es finito, para el caso p = cons

ultese [2]. Para demostrar (4.10), se toma una
sucesion un en las condiciones del teorema de Friedrichs. Dada D(), se fija un abierto 0 tal que
sop 0 . Como G(un ) C 1 (IRN ), en particular se satisface
Z
Z
0
(4.11)
G (un )(i un ) dx =
G(un )i dx.
0
Basta ahora pasar al lmite en (4.11), para alguna subsucesion de las un . Para ello se observa que de {un }
se puede extraer otra subsucesi
on {u } tal que
u u c.p.d. en ,
i u i u c.p.d. en 0 ,
|u (x)| v(x) c.p.d. en , con v Lp (),
|i u (x)| hi (x) c.p.d. en 0 , con hi Lp (0 ).
Con lo que, en particular, llamando
f = G(u )i ,
tenemos que
f (x) G(u(x))i (x) c.p.d. en 0 y
|f | |G(u )| C|u | Cv en 0 .
Teniendo en cuenta el teorema de convergencia dominada de Lebesgue se tiene que
Z
Z
G(u )i
G(u)i .
0
39
Por otro lado, tomando

g = G0 (u )(i u ),
se tiene que
g (x) G0 (u(x))i u(x)(x) c.p.d. en 0 y ademas
|g | = |G0 (u )||i u ||| Chi Lp (0 ),
por el teorema de convergencia dominada de Lebesgue se concluye que
Z
Z
0
G0 (u)i u.
G (u )i u
0
Finalmente, si u W01,p (), existe una sucesion {n }n1 D() tal que n u en W 1,p (). Como
G C 1 (IR) y G(0) = 0, sigue que
sop(G(n )) sop(n )
por lo que es inmediato que G(n ) Cc1 () W01,p ().
Por otra parte, existe una subsucesi
on { }1 {n }n1 tal que u y i i u c.p.d. en ,
para todo i = 1, .., N, satisfaciendose ademas que
| (x)| h(x),
|i (x)| h(x),
c.p.d. en , para todo i = 1, .., N,
para alguna funci

on h Lp ().
Es ahora inmediato comprobar que G( ) G(u) en W 1,p (), y por tanto G(u) W01,p ().
Observaci
on 4.24. Las proposiciones precedentes pueden ser extendidas a situaciones m
as generales:
a) La igualdad (4.6) contin
ua siendo v
alida si u y v son dos funciones de L1loc () tales uv L1loc () y
u, v y uv + vu pertenecen todas a L1loc ()N (ver [5]).
b) Tambien la Proposici
on 4.23 es cierta con G globalmente-Lipschitz, ver [7] pag 60.
Por otra parte, se puede demostrar que
Corolario 4.25. Sea p [1, ) y u W 1,p () (resp. u W01,p ()). Entonces, las funciones
u+ := m
ax{u, 0}, u := m
ax{u, 0}, |u| W 1,p ()
(
+
i u (x) =
i u si u(x) > 0,
0
si u(x) 0,
i u (x) =
si u(x) 0,
i u si u(x) < 0,
(resp. en W01,p ())
i u
i |u|(x) =
i u
y
si u(x) > 0,
si u(x) < 0,
si u(x) = 0,
casi por doquier en .

Se propone como ejercicio demostrar este resultado, usando las funciones
h
i
G (s) = (s2 + 2 )1/2 1{s>0} .
Como una u
ltima consecuencia del teorema de Friedrichs, obtenemos es resultado siguiente:
e dos abiertos de IRN , y H :
e
Proposici
on 4.26. (F
ormula de cambio de variables) Sean y
una aplicaci
on biyectiva, x = H(y), tal que
e N,
H C 1 ()
H 1 C 1 ()N ,
e N N ,
Jac H L ()
Jac H 1 L ()N N ,
donde por Jac H denotamos a la matriz jacobiana de H.

e y
En estas condiciones, si u W 1,p (), entonces u H W 1,p (),
N
(4.12)
X u
Hi
(u H)(y) =
(H(y))
(y)
yj
xi
yj
i=1
j = 1, ..., N.
40
Captulo 4.
e y por la misma
Demostraci
on.- Como Jac H 1 L ()N N es inmediato comprobar que u H Lp (),
N
N
1,p
e
e basta con demostrar (4.12).
razon, y el hecho de que Jac H L ()
, para probar que u H W (),
Supongamos que 1 p < . En tal caso, por el teorema de Friedrichs, existe una sucesion {un } D(IRN )
tal que un u en Lp () y i un i u en Lp (0 ) para todo 1 i N y todo abierto 0 . Entonces,
e y
nuevamente por el car
acter L de Jac H y Jac H 1 , tenemos que un H u H en Lp ()

un
Hi
u
Hi
e 0 ) para todo abierto
e 0 .
e
H
H
en Lp (
xi
yj
xi
yj
e dada cualquier D(),
e se tiene
Como un H C 1 (),
Z
(un H)
dy =
yj
e
Z X
N
un
e
i=1
Pasando al lmite en esta igualdad, se obtiene (4.12).
xi

H
Hi
dy .
yj
CAPITULO
Teoremas de Prolongaci
on y de Densidad en los Espacios de
Sobolev
En general, hay resultados que son m

as faciles de probar para funciones que estan definidas en todo IRN .
As, para poder probarlo en un abierto , una tecnica consiste en prolongar la funcion de a todo IRN , usar el
resultado valido en IRN y, finalmente, restringir la funcion a . Estos son resultados de prolongacion, de entre
e por cero a IRN \ pertenece a W01,p (IRN )
los que ya sabemos que si u W01,p () entonces su prolongacion u
y de hecho tiene la misma norma en Lp (IRN ) y W 1,p (IRN ) que u en Lp () y W 1,p () respectivamente.
Tambien hemos visto c
omo esta afirmaci
on no es cierta en general para las funciones de W 1,p ().
Por otra parte, hay muchos resultados relativos a espacios de funciones faciles de probar para funciones
regulares. Mediante razonamientos de densidad, estos pueden ser generalizados a funciones arbitrarias de
un espacio dado. En este sentido, son importantes resultados de densidad (aproximacion) de los elementos
de W k,p (). Ya sabemos que D() es denso en Lp (), 1 p < , que D(IRN ) es denso en W 1,p (IRN ),
para todo 1 p < , y por supuesto por definicion D() es denso en W0k,p (), as como el importante
Teorema de Friedrichs. En este tema vamos a ver la manera en que se pueden extender estos resultados a
las funciones de W 1,p (), cuando el abierto es regular.
En todo el tema, denotar
a un abierto no vaco de IRN , con N 1 entero. Dado x IRN , escribiremos
tambien x = (x0 , xN ), con x0 IRN 1 , xN IR, y usaremos |x0 | para denotar la norma euclidiana de x0 .
Denotaremos
0
N
IRN
+ = {x = (x , xN ) IR : xN > 0} ,
Q = {x = (x0 , xN ) IRN : |x0 | < 1, |xN | < 1} ,

Q+ = Q IRN
+ ,
Q0 = {x = (x0 , 0) IRN : |x0 | < 1} .
5.1.
Teorema de Prolongaci
on
Introducimos en primer lugar la clase de abiertos para los que vamos a demostrar el resultado de prolongacion.
Definici
on 5.1. Sea m 1 un entero. Diremos que es un abierto de clase C m si para cada punto x
existen un entorno abierto O de x y una aplicaci
on biyectiva H : Q O tal que
H C m (Q),
H 1 C m (O),
H(Q+ ) = O ,
41
H(Q0 ) = O .
42
Captulo 5.
Teoremas de Prolongacion y de Densidad en los Espacios de Sobolev
Nosotros vamos a establecer el resultado de prolongacion para los abiertos de clase C 1 con frontera
acotada, y tambien en el caso en que = IRN
+.
Lema 5.2. Sea u W 1,p (Q+ ) una funci
on dada, y denotemos por u a la funci
on definida sobre Q mediante
prolongaci
on por reflexi
on de u, es decir,
(
u(x0 , xN )
si xN > 0,
0
u (x , xN ) =
u(x0 , xN ) si xN < 0.
Entonces u W 1,p (Q) y satisface
ku kLp (Q) 2kukLp (Q+ ) ,
ku kW 1,p (Q) 2kukW 1,p (Q+ ) .
Demostraci
on.- El resultado es consecuencia de que las derivadas parciales primeras de u en el sentido
de D0 (Q) vienen dadas por
i u = (i u) ,
(5.1)
si 1 i N 1,
N u = (N u) ,
donde (i u) es la prolongaci
on por reflexion de i u, y para cualquier funcion real f definida sobre Q+ se

denota f a la funci
on definida sobre Q por
(
f (x0 , xN ) =
f (x0 , xN )
si xN > 0,
0
f (x , xN ) si xN < 0.
Las igualdades en (5.1), aunque intuitivamente claras, no son inmediatas, y necesitan de una demostraci
on
cuidadosa que omitimos y que se puede consultar en [2] (Lema IX.2) o [7] (Teorema 2.3.1).
Observaci
on 5.3. El resultado del Lema 5.2 contin
ua siendo cierto, con la misma demostraci
on, si sustiN
tuimos Q+ por IR+ .
En lo que sigue, y en varias ocasiones durante el curso, vamos a hacer uso del siguiente resultado, cuya
demostracion se puede consultar, por ejemplo, en [3].
Lema 5.4. (Partici
on de la unidad) Sean un compacto de IRN y O1 ,..., Ok subconjuntos abiertos de
k
[
IRN tales que
Oi .
i=1
Entonces, existen k + 1 funciones 0 , 1 ,...,k de C (IRN ) tales que

a) 0 i (x) 1 para todo x IRN y cualquier i = 0, 1, ..., k,
b)
k
X
i (x) = 1 para todo x IRN ,
i=0
c) sop(i ) es un compacto y sop(i ) Oi para todo i = 1, ..., k,

d) sop(0 ) IRN \ .
Si un abierto acotado y = , entonces 0 | D().
A la familia (i )0ik se le denomina una partici
on de la unidad subordinada al recubrimiento (Oi )1ik
de .
Estamos ahora en condiciones de demostrar el teorema de prolongacion para funciones de W 1,p ().
5.1. Teorema de Prolongacion
43
Teorema 5.5. Supongamos que es un abierto de IRN de clase C 1 con frontera acotada. Entonces
existe una aplicaci
on P : W 1,p () W 1,p (IRN ) lineal y tal que para toda u W 1,p ()
a) P u| = u,
b) kP ukLp (IRN ) CkukLp () ,
c) kP ukW 1,p (IRN ) CkukW 1,p () ,
donde C > 0 es una constante que s
olo depende de .
El resultado contin
ua siendo cierto si = IRN
+.
Demostraci
on.- Que el teorema se satisface si = IRN
on 5.3,
+ es consecuencia evidente de la Observaci
tomando en este caso P u = u y C = 2.

Supongamos ahora que es un abierto de IRN de clase C 1 con frontera acotada. En tal caso, existe
un recubrimiento abierto finito (Oi )1ik de tal que para para cada i = 1, .., k existe una aplicaci
on
biyectiva Hi : Q Oi tal que
Hi C 1 (Q),
Hi1 C 1 (Oi ),
Hi (Q+ ) = Oi ,
Hi (Q0 ) = Oi .
Consideremos una partici

on de la unidad subordinada al recubrimiento (Oi )1ik de = , formada
por las funciones 0 , 1 , ..., k , con las propiedades descritas en el Lema 5.4. Diremos en tal caso que hemos
rectificado por cartas locales y hemos introducido una particion de la unidad.
Dada una funci
on u W 1,p (), denotemos ui = i u, i = 0, 1, .., k, con lo que podemos escribir que
u=
k
X
ui .
i=0
Lo que hacemos a continuaci

on es prolongar a IRN cada funcion ui , distinguiendo el caso i = 0 de los dem
as.
Prolongaci
on de u0 .- Evidentemente, 0 C 1 (IRN ) L (IRN ), con sop (0 ) IRN \ . Adem
as, como
0 =
k
X
i ,
i=1
es claro que 0 L (IRN )N , gracias a que cada sop(i ) es un compacto y sop(i ) Oi . En consecuencia,
si consideramos la funci
on u
e0 , prolongaci
on por cero de u0 a IRN \ , por la Observacion 4.15 podemos
afirmar que u
e0 W 1,p (IRN ), y satisface
i u
e0 = 0 f
ei 0 ,
iu + u
con lo que
ke
u0 kLp (IRN ) C0 kukLp ()
ke
u0 kW 1,p (IRN ) C0 kukW 1,p () ,
con C0 > 0 solo dependiente de 0 .

Prolongaci
on de ui para i = 1, ..., k.- Se considera la restriccion de u a Oi . Se define
vi (y) = u(Hi (y)),
para cada y Q+ .
Por la Proposici
on 4.26, sabemos que vi W 1,p (Q+ ). A continuacion, se considera la funcion vi , definida
sobre Q por prolongaci
on por reflexi
on de vi , que sabemos que satisface vi W 1,p (Q). Seguidamente, se
define
wi (x) = vi (Hi1 (x)), x Oi .
44
Captulo 5.
Teoremas de Prolongacion y de Densidad en los Espacios de Sobolev
Por construcci
on y por la Proposici
on 4.26, wi W 1,p (Oi ), wi (x) = u(x) sobre Oi ,
kwi kLp (Oi ) ci kukLp ()
kwi kW 1,p (Oi ) ci kukW 1,p () ,
con ci > 0 una constante que s

olo depende de Hi .
Si se define ahora
(
u
bi (x) =
i (x)wi (x) si x Oi ,
0
si x IRN \ Oi ,
por la Observaci
on 4.15 2) y por construccion, podemos afirmar que u
bi W 1,p (IRN ), u
bi (x) = ui (x) para
todo x , y
kb
ui kLp (IRN ) Ci kukLp () y kb
ui kW 1,p (IRN ) Ci kukW 1,p () ,
con Ci > 0 una constante que s
olo depende de ci y de i .
Basta definir
Pu = u
e0 +
k
X
u
bi .
i=1
Es inmediato comprobar que P satisfacen todas las condiciones del teorema.

Observaci
on 5.6. El teorema de prolongaci
on es tambien v
alido para algunos abiertos que no son C 1 .
As por ejemplo, lo es para = (0, 1) (0, 1) (ver [2]).
5.2.
Teorema de densidad
Como una consecuencia sencilla del teorema de prolongacion, obtenemos el resultado de densidad siguiente.
Teorema 5.7. Supongamos que es un abierto de IRN de clase C 1 y sea u W 1,p (), con 1 p < .
Entonces, existe una sucesi
on {un } D(IRN ) tal que
un | u
en W 1,p ().
Es decir, si denotamos por D() al espacio de las restricciones a de funciones de D(IRN ), podemos afirmar
que D() es denso en W 1,p (), para todo 1 p < .
Demostraci
on.- Sea u W 1,p (), con 1 p < . Sean {n } una sucesion regularizante y {n } una
sucesion truncante en IRN .
a) Si es acotada, entonces existe un operador de prolongacion P satisfaciendo las condiciones del
Teorema 5.5. Es sencillo comprobar que un = n (n P u) es una sucesion tal que un P u en W 1,p (IRN ) y
satisface las condiciones del teorema.
b) Si no es acotada, dado > 0 existe un n0 1 tal que ku n0 ukW 1,p () < . Teniendo en
cuenta que solo interviene la intersecci
on de con la bola de centro 0 y radio grande, se puede construir
una prolongacion v W 1,p (IRN ) de n0 u. Basta ahora tener en cuenta que existe w D(IRN ) tal que
kv wkW 1,p (IRN ) < .
Observaci
on 5.8. En el caso de un abierto general, un resultado de demostraci
on difcil debido a Meyers
1,p
1,p
y Serrin afirma que C () W () es denso en W () para todo 1 p < (ver [1]).
CAPITULO
Teoremas de Inyecci
on continua y compacta en los Espacios
de Sobolev

a un abierto no vaco de IRN , con N 2 entero, y por definicion, para cada
1 p ,
N
X
kukLp ()N =
ki ukLp () .
i=1
6.1.
Teoremas de Inyecci
on continua
Teorema 6.1. (Sobolev-Gagliardo-Nirenberg) Sea 1 p < N y denotemos p al n

umero definido por

1
1
Np
1
=
p =
.
p
p N
N p
Se satisface
W 1,p (IRN ) , Lp (IRN ),

con inyecci
on continua. Adem
as, existe una constante positiva C = C(p, N ) tal que
(6.1)
kukLp (IRN ) CkukLp (IRN )N ,
para toda u W 1,p (IRN ).
Demostraci
on.- Vamos a demostrar el resultado en el caso N = 2. La prueba del caso N general se puede
consultar en [2].
2p
As pues, suponemos N = 2, y en consecuencia 1 p < 2 y p =
2p 2.
2p
Supongamos en primer lugar que u Cc1 (IR2 ). En tal caso, para todo (x1 , x2 ) IR2 ,
Z
Z x1

|1 u(t, x2 )| dt,
|u(x1 , x2 )| =
1 u(t, x2 ) dt
Z

|u(x1 , x2 )| =
x2
Z

2 u(x1 , t) dt
|2 u(x1 , t)| dt,
y en consecuencia, multiplicando ambas desigualdades e integrando en IR2 , obtenemos
(6.2)
kuk2L2 (IR2 ) k1 ukL1 (IR2 ) k2 ukL1 (IR2 ) .

45
46
Captulo 6.
Teoremas de Inyeccion continua y compacta en los Espacios de Sobolev
Observese que si p = 1, entonces p = 2, y en este caso (6.1) se obtiene directamente de (6.2), con
C = 1/2.
Supongamos por tanto p > 1, sea ahora r 1, y consideremos la funcion |u|r1 u, que tambien pertenece a Cc1 (IR2 ), con derivadas parciales i (|u|r1 u) = r|u|r1 i u. Aplicando la desigualdad (6.2) a |u|r1 u,
obtenemos
Z
IR2
|u(x)|2r dx r2 k|u|r1 1 ukL1 (IR2 ) k|u|r1 2 ukL1 (IR2 ) ,
y por tanto, teniendo en cuenta que por la desigualdad de Holder

r1
k|u|
Z
i ukL1 (IR2 )
(r1)p0
|u(x)|
IR2
1/p0
dx
ki ukLp (IR2 ) ,
obtenemos
Z
(6.3)
|u(x)|2r dx r2
Z
|u(x)|(r1)p dx
2/p0
k1 ukLp (IR2 ) k2 ukLp (IR2 ) ,
IR2
IR2
para todo r 1.
Tomando r =
p
p
=
, con lo cual (r 1)p0 = p , obtenemos de (6.3)
2
2p
2 Z
2/p0
Z
p
|u(x)|p dx
|u(x)|p dx
k1 ukLp (IR2 ) k2 ukLp (IR2 ) ,
2
IR2
IR2
y de aqu, teniendo en cuenta que 1

(6.4)
kukLp (IR2 )
2
2
= ,
0
p
p
p
p
1/2
1/2
k1 ukLp (IR2 ) k2 ukLp (IR2 ) (k1 ukLp (IR2 ) + k2 ukLp (IR2 ) ) .
2
4
Ahora, si u W 1,p (IR2 ), existe una sucesion {un } D(IR2 ), tal que un u en W 1,p (IR2 ). Teniendo en
cuenta que por (6.4)
kun um kLp (IR2 )
p
(k1 (un um )kLp (IR2 ) + k2 (un um )kLp (IR2 ) )
4
la sucesion {un } tambien converge a u en Lp (IR2 ), y por tanto pasando al lmite en la desigualdad (6.4)
escrita para las un , la obtenemos para u.
Observaci
on 6.2. A lo largo del tema se utilizar
a en muchas ocasiones la desigualdad de Young,
0
ab
br
ar
+ 0,
r
r
v
alida para todo a 0, b 0 y 1 < r < , con 1/r + 1/r0 = 1 (ver [2] pag. 56).
Como consecuencia del teorema anterior y de la desigualdad de interpolacion (ver Tema 3), obtenemos
el resultado siguiente:
Corolario 6.3. Sea 1 p < N y denotemos p al n
umero definido por 1/p = 1/p 1/N . Se satisface que
W 1,p (IRN ) , Lq (IRN ),
con inyecci
on continua.
En el caso p = N se tiene el resultado siguiente:
para todo q [p, p ],
6.1. Teoremas de Inyeccion continua
47
Corolario 6.4. (Caso lmite p = N ) Se satisface

W 1,N (IRN ) , Lq (IRN ),
para todo q [N, +),
con inyecci
on continua.
Demostraci
on.- De nuevo vamos a demostrar el resultado en el caso N = 2. La prueba del caso N general
se puede consultar en [2].
As pues, vamos a demostrar que
W 1,2 (IR2 ) , Lq (IR2 ),
(6.5)
para todo q [2, +),
con inyeccion continua.

Sea u Cc1 (IR2 ). De acuerdo con la desigualdad (6.3) con p = 2, para todo r 1 se satisface
Z
kukL2r (IR2 ) r
2(r1)
|u(x)|
1/(2r)
dx
IR2
1/r
kukL2 (IR2 ) ,
es decir, teniendo en cuenta que

1
1
=
2r
2(r 1)

1
1
,
r
11/r
1/r
kukL2r (IR2 ) rkukL2(r1) (IR2 ) kukL2 (IR2 ) ,

con lo que por la desigualdad de Young,
kukL2r (IR2 ) (r 1)kukL2(r1) (IR2 ) + kukL2 (IR2 ) ,
(6.6)
para todo r 1.
Tomando r = 2 en (6.6), se obtiene que kukL4 (IR2 ) kukL2 (IR2 ) + kukL2 (IR2 ) , con lo que, por la desigualdad de interpolaci
on, se tiene
kukLq (IR2 ) Cq (kukL2 (IR2 ) + kukL2 (IR2 ) ),
para todo q [2, 4].
Reiterando el argumento con r = 3, r = 4, etc, se llega a
kukLq (IR2 ) Cq (kukL2 (IR2 ) + kukL2 (IR2 ) ),
(6.7)
para todo q [2, +) y toda u Cc1 (IR2 ), con Cq una funcion que solo depende de q.
A continuaci
on, la desigualdad (6.7) se prolonga por densidad a toda funcion u de W 1,2 (IR2 ).
Teorema 6.5. (Morrey) Si p > N, entonces
W 1,p (IRN ) , L (IRN ),
(6.8)
con inyecci
on continua.
Adem
as existe una constante positiva C = C(p, N ) tal que
(6.9)
|u(x) u(y)| CkukLp (IRN )N |x y|1N/p ,
c.p.d. x, y IRN , para toda u W 1,p (IRN ).
48
Captulo 6.
Demostraci
on.- Supongamos que u Cc1 (IRN ). Evidentemente, se satisface
Z 1
d
(6.10)
u(x) u(0) =
u(tx) dt para todo x IRN .
dt
0
Sea Q un cubo abierto de IRN de lados de longitud r > 0 paralelos a los ejes de coordenadas y tal que
0 Q. Denotemos por u a la media de u sobre Q, dada por
Z
1
u(x) dx .
u=
|Q| Q
Integrando en (6.10) es inmediato que
1
u u(0) =
|Q|
Z Z
Q
Z Z
i=1
d
1 X
u(tx) dt dx =
dt
|Q|
xi i u(tx) dt dx,
0
y en consecuencia, teniendo en cuenta que |Q| = rN ,

|u u(0)|
(6.11)
N Z
X
1
rN 1
rN 1
i=1
1Z
|i u(tx)| dx dt =
i=1
N Z Z
X
|i u(tx)| dt dx
1
rN 1
N Z
X
i=1
1Z
tQ
|i u(y)|
dy dt.
tN
Teniendo en cuenta que tQ Q para todo 0 < t < 1, es inmediato de la desigualdad de Holder que
Z
0
0
0
|i u(y)| dy ki ukLp (Q) |tQ|1/p = ki ukLp (Q) tN/p rN/p ,
tQ
con lo que de (6.11) obtenemos

(6.12)
|u u(0)|
kukLp (Q) r
N 1
N/p0
Z
0
1 N/p0
t
tN
dt =
r1N/p
kukLp (Q) .
1 N/p
Por translaci
on, la desigualdad (6.12) contin
ua siendo cierta para todo cubo Q de lados de longitud r > 0
paralelos a los ejes de coordenadas y todo punto x Q, es decir
(6.13)
|u u(x)|
r1N/p
kukLp (Q)
1 N/p
para todo x Q,
|u(x) u(y)|
2r1N/p
kukLp (Q)
1 N/p
para todo x, y Q.
y en consecuencia
(6.14)
Ahora, basta tener en cuenta que dados dos puntos cualesquiera x, y IRN existe un cubo Q de lados
22N/p
, para todo
de longitud 2|x y| paralelos a los ejes de coordenadas, para deducir (6.9) con C =
1 N/p
u Cc1 (IRN ).
Si u W 1,p (IRN ), basta considerar una sucesion {un } Cc1 (IRN ) tal que un u en W 1,p (IRN ) y c.p.d.
en IRN .
Finalmente, para demostrar (6.8), se considera en primer lugar u Cc1 (IRN ), y se tiene en cuenta que si
x IRN y Q es un cubo de lados de longitud r = 1 paralelos a los ejes de coordenadas que contenga a x,
entonces por (6.13),
6.1. Teoremas de Inyeccion continua
|u(x)| |u| +
49
1
kukLp (Q) ,
1 N/p
con lo que teniendo en cuenta que kukLp (Q) kukLp (IRN ) y que
|u| kukLp (Q) kukLp (IRN ) ,
es inmediato que
kukL (IRN )
1
kukW 1,p (IRN ) ,
1 N/p
para toda u Cc1 (IRN ).
Ahora, si u W 1,p (IRN ), basta considerar una sucesion {un } Cc1 (IRN ) tal que un u en W 1,p (IRN ).
Observaci
on 6.6. De la desigualdad (6.9) es sencillo comprobar que si p > N, entonces toda funci
on de
1,p
N
N
W (IR ) posee un (y s
olo un) representante continuo, de hecho -h
oderiano, en todo IR , con = 1N/p.
Nota 6.7. Asimismo, es inmediato comprobar por (6.8) que si p > N, entonces
W 1,p (IRN ) , Lq (IRN ),
con inyecci
on continua, para todo q [p, ].
Como consecuencia inmediata de los resultados precedentes y de los Teoremas 4.13 y 5.5, se tienen los
teoremas siguientes:
Teorema 6.8. Sea IRN un abierto cualquiera no vaco. Se satisfacen:
a) si 1 p < N, entonces
W01,p () , Lp ()
con inyecci
on continua, siendo
1
1
1
= , y de hecho existe una constante C = C(p, N ) > 0 tal que
p
p N
para toda u W01,p () se tiene

kukLp () CkukLp () ,
b) si p = N, entonces
W01,p () , Lq ()
con inyecci
on continua, para todo q [p, +),
c) si p > N, entonces
W01,p () , Lq ()
con inyecci
on continua, para todo q [p, ], y adem
as existe una constante C = C(p, N ) > 0 tal que
1,p
para toda u W0 () se tiene
|u(x) u(y)| CkukLp () |x y|1N/p ,
c.p.d. x, y ,
con lo que, en particular en este caso, W01,p () , C 0 ().

Idea de la Demostraci
on.- Veamos s
olo el caso 1 p < N . Si u W01,p () entonces por el Teorema 4.13,
u
W01,p (IRN ) = W 1,p (IRN ). Gracias ahora al Teorema 6.1 sigue que u
Lp (IRN ) y por tanto u Lp ().
Ademas,
kukLp () = k
ukLp (IRN ) Ck
ukLp (IRN ) = CkukLp () .
50
Captulo 6.
Teorema 6.9. Sea IRN un abierto de clase C 1 con frontera acotada, o sea = IRN
+ . Se satisfacen:
a) si 1 p < N, entonces
W 1,p () , Lp ()
1
1
1
con inyecci
on continua, siendo = ,
p
p N
b) si p = N, entonces
W 1,p () , Lq ()
con inyecci
c) si p > N, entonces
W 1,p () , Lq ()
con inyecci
on continua, para todo q [p, ], y adem
as existe una constante C = C(p, N ) > 0 tal que
para toda u W 1,p () se tiene
(6.15)
|u(x) u(y)| CkukW 1,p () |x y|1N/p ,
c.p.d. x, y ,
con lo que, en particular en este caso, W 1,p () , C 0 ().

Supongamos ahora que 1 p < N/2 y supongamos u W 2,p (). Entonces, u, i u W 1,p () y como
p < N/2 < N se tiene que u, i u Lp (), esto es u W 1,p (). Gracias a la condicion p < N/2 sigue que
p < N y por tanto por el Teorema 6.9 se tiene que
u L(p
con
(),
1
1
1
1
2
=
= .
(p )
p
N
p N
Por aplicacion reiterada del Teorema 6.9 y de los resultados anteriores para el caso de IRN , se obtiene el
siguiente:
Teorema 6.10. Sea k 1 un entero y sea IRN un abierto de clase C 1 con frontera acotada, o sea
N
= IRN
+ , o sea = IR . Se satisfacen:
a) si
1
k
1
1
k
> 0, entonces W k,p () , Lq () con inyecci

on continua, siendo = ,
p N
q
p N
b) si
1
k
= 0, entonces W k,p () , Lq () con inyecci

p N
1
k
N
< 0, entonces W k,p () , L () con inyecci

on continua, y adem
as si k
> 0 no es un
p N
p
entero, y denotamos
m = [k N/p], = (k N/p) m,
c) si
existe una constante C = C(k, p, N ) > 0 tal que para toda u W k,p () se tienen
k ukL () CkukW k,p () ,
| u(x) u(y)| CkukW k,p () |x y| ,
para todo || m,
c.p.d. x, y , para todo || m,
con lo que, en particular en este caso, W k,p () , C m ().

Observaci
on 6.11. a) El Teorema 6.10 admite una versi
on para W0k,p (), con un abierto no vaco de
IRN cualquiera.
b) En general no es cierto que W 1,N () , L ().
6.2. Teoremas de Inyeccion compacta
6.2.
51
Teoremas de Inyecci
on compacta
Comenzamos con una caracterizaci

on de los espacios W 1,p en el caso p > 1.
Proposici
on 6.12. Sean un abierto no vaco de IRN y u Lp () con p > 1. Las tres propiedades
siguientes son equivalentes:
a) u W 1,p ().
b) Existe una constante C > 0 tal que
Z

ui dx Ckk p0 ,
L ()

para toda D() y todo i = 1, ..., N.

c) Existe una constante C > 0 tal que para todo abierto 0 y todo h IRN tal que |h| < dist(0 , IRN \
), se satisface
kh u ukLp (0 ) C|h|,
donde h u(x) = u(x + h), y en tal caso se puede tomar C = kukLp () en b) y c).
Demostraci
on.- Se deja como ejercicio (ver Ejercicio 41) comprobar que a) y b) son equivalentes.
a) implica c): Supongamos en primer lugar que 1 p < . Sea u D(IRN ). Sea h IRN , y definamos
t [0, 1].
v(t) = u(x + th),

En tal caso,
dv
(t) = h u(x + th), y en consecuencia
dt
Z
u(x + h) u(x) = v(1) v(0) =
h u(x + th) dt,

0
con lo que,
p
|h u(x) u(x)| |h|
|u(x + th)|p dt,
y por tanto, dado
,
Z
Z Z 1
|h u(x) u(x)|p dx |h|p
|u(x + th)|p dt dx
0
0
0
Z 1Z
Z 1Z
p
p
p
= |h|
|u(x + th)| dx dt = |h|
|u(y)|p dy dt .
0
0 +th
Si h IRN es tal que |h| < dist(0 , IRN \ ), existe h tal que 0 + th h para todo t [0, 1], y
en consecuencia, por la desigualdad anterior,
Z
p
p
(6.16)
kh u ukLp (0 ) |h|
|u(x)|p dx .
h
Ahora, si u W 1,p (), basta aplicar el teorema de Friedrichs y tener en cuenta (6.16) para obtener c).
Finalmente, si p = , se aplica lo que precede para p finito y se hace tender p a + en (6.16) (raz
onese).
c) implica b): Sea D(), y consideremos un abierto 0 tal que sop 0 . Sea h IRN tal que
|h| < dist(0 , IRN \ ). Por c),
Z
Z

(6.17)
(h u u) dx = (h u u) dx C|h|kkLp0 () .
52
Captulo 6.
Ahora bien, es inmediato comprobar que,

Z
Z
u(y)((y h) (y)) dy,
(h u u) dx =
con lo que de (6.17) se obtiene

Z

u(y) (y h) (y) dy Ckk p0 ,
L ()

|h|
y tomando h = tei , y pasando al lmite para t 0, se obtiene b).

Observaci
on 6.13. De la demostraci
on precedente queda claro que a) implica c) tambien en el caso p = 1.
Haciendo uso de los dos teoremas de compacidad que aparecen en el Anexo y de los resultados de
inyeccion continua demostrados en la secci
on anterior, podemos ahora demostrar:
Teorema 6.14. (Rellich-Kondrachov) Sea IRN un abierto acotado de clase C 1 . Se satisfacen:
a) si 1 p < N, entonces W 1,p () , Lq () con inyecci
on compacta, para todo q [1, p ), siendo
1
1
1
= ,
p
p N
b) si p = N, entonces W 1,p () , Lq () con inyecci
on compacta, para todo q [1, +),
c) si p > N, entonces W 1,p () , C 0 () con inyecci
on compacta.
Demostraci
on.a) Si 1 p < N.
En este caso sabemos que W 1,p () , Lp () con inyeccion continua, y como es acotado, sabemos que
Lp () , Lq () con inyecci
on continua, para todo q [1, p ). Tambien por ser acotado, es inmediato
1,p
1,1
que W () , W () con inyecci
on continua.
Sea F un subconjunto acotado de W 1,p (), y fijemos q [1, p ). Desde luego, F es un subconjunto
acotado de Lp () y por tanto de Lq (), y tambien de W 1,1 (). Hemos de demostrar que F es relativamente
compacto en Lq (), para lo que usaremos el Teorema 6.18.
En primer lugar, observemos que existe (0, 1] tal que 1/q = +(1)/p . Dados un abierto 0 ,
h IRN tal que |h| < dist(0 , IRN \ ), y un funcion u F, gracias a la desigualdad de interpolaci
on (ver
Tema 3) podemos escribir
(6.18)
1
kh u ukLq (0 ) kh u ukL1 (0 ) kh u ukL
p (0 ) .
Teniendo en cuenta la Observaci

on 6.13, podemos afirmar que kh u ukL1 (0 ) |h|kukL1 () , y por tanto,
de la desigualdad de Minkowski y del hecho de que F es un subconjunto acotado de Lp () y de W 1,1 (),

deducimos de (6.18) que
kh u ukLq (0 ) (|h|kukL1 () ) (2kukLp () )1 C|h| ,
desigualdad de la que es evidente concluir que F satisface la condicion a) del Teorema 6.18.
Para ver que F tambien satisface la condicion b) del Teorema 6.18 observemos que si u F, por la
desigualdad de H
older, para todo abierto 0 se tiene
kukLq (\0 ) kukLp (\0 ) | \ 0 |1/q1/p C| \ 0 |1/q1/p .
6.3. Anexo: Dos resultados de compacidad
53
Basta ahora tener en cuenta que fijado cualquier > 0, existe un abierto 0 tal que | \ 0 | <
(razonese), para concluir que F tambien satisface la condicion b) del Teorema 6.18, y por tanto, por dicho
teorema es relativamente compacto en Lq ().
b) Si p = N.
En este caso, el resultado es consecuencia inmediata de lo ya visto para el caso p < N.
c) Si p > N.
En este caso, el resultado se deduce f
acilmente de los Teoremas 6.9, del Teorema de Ascoli-Arzel
a (ver
Teorema 6.17 en el Anexo) y la desigualdad (6.15).
Observaci
on 6.15. Observese que como consecuencia del Teorema de Rellich-Kondrachov, si IRN es un
abierto acotado de clase C 1 , en particular W 1,p () , Lp () con inyecci
on compacta, para todo p [1, ].
Observaci
on 6.16. Observese que como consecuencia del Teorema 6.8, las conclusiones del teorema de
Rellich-Kondrachov son tambien v
alidas sustituyendo W 1,p () por W01,p (), y en este caso para todo abierto
acotado IRN .
6.3.
Anexo: Dos resultados de compacidad
Para demostrar el resultado de inyecci

on compacta en los espacios de Sobolev, hemos hecho uso de los
dos siguientes importantes criterios de compacidad relativa, ver [4] y [2] para las demostraciones.
Teorema 6.17. (Ascoli-Arzel
a) Sean K un espacio metrico compacto y F un subconjunto acotado de
C(K) (i.e., tal que sup (m
ax |u(x)|) < +) que sea equicontinuo, es decir, tal que para todo > 0 existe un
uF xK
> 0 tal que

x1 , x2 K,
d(x1 , x2 ) < |u(x1 ) u(x2 )| < ,
para toda u F.
Entonces F es relativamente compacto en C(K), es decir, de toda sucesi

on de elementos de F se puede
extraer una subsucesi
on uniformemente convergente en K.
Teorema 6.18. (Fr
echet-Kolmogorov) Sean IRN un conjunto abierto y F un subconjunto acotado
de Lq () con 1 q < . Supongamos que adem
as,
a) para todo > 0 y todo abierto 0 , existe un > 0 con < dist(0 , IRN \ ), tal que
kh u ukLq (0 ) < ,
para todo h IRN que satisfaga |h| < , y toda u F,
b) para todo > 0 existe un abierto 0 tal que

kukLq (\0 ) < ,
para toda u F.
Entonces F es relativamente compacto en Lq (), es decir, de toda sucesi

on de elementos de F se puede
q
on convergente en L ().
CAPITULO
Aplicaci
on traza. Caracterizaci
on de H0k (). Normas
equivalentes
7.1.
Espacios Lp ()

a un abierto no vaco de IRN , de clase C 1 con frontera acotada. En tal
caso, existe un recubrimiento abierto finito (Oi )1ik de tal que para para cada i = 1, .., k existe una
aplicacion biyectiva Hi : Q Oi satisfaciendo
Hi C 1 (Q),
Hi1 C 1 (Oi ),
Hi (Q+ ) = Oi ,
Hi (Q0 ) = Oi .
Consideraremos fijada una partici

on de la unidad subordinada al recubrimiento (Oi )1ik de = ,
formada por funciones 0 , 1 ,...,k , con las propiedades descritas en el Lema 5.4.
Definici
on 7.1. Diremos que A es -medible si para todo 1 i k, Hi1 (A) es un subconjunto
medible Lebesgue de IRN 1 .
Dada f : IR, diremos que f es -integrable en , si para todo 1 i k la funci
on f (Hi (y 0 , 0))
N
1
es integrable en Q0 respecto de la medida de Lebesgue en IR
.
Definici
on 7.2. Dada f : IR que sea -integrable en , se define su integral en como sigue.
En primer lugar, para cada 1 i k, se denota
Z
(7.1)
(i f )(x) d(x) =
Oi

b ir (y) = det
siendo H
|y 0 |<1
N
X
b ir (y 0 , 0))2
(i f )(Hi (y 0 , 0))
(H
!1/2
dy 0 ,
r=1
Hil
(y); 1 l N, l 6= r, 1 j N 1 , donde por Hil denotamos a la compoyj

nente l-esima de Hi .
Finalmente, se define
Z
(7.2)
f (x) d(x) =
k Z
X
i=1
(i f )(x) d(x) .
Oi
Definici
on 7.3. Diremos que un conjunto -medible A tiene medida nula si se satisface que
Z
1A (x) d(x) = 0.
Diremos que dos funciones -integrables en son iguales casi por doquier en dicho conjunto si el
conjunto de los puntos de donde no coinciden tiene medida nula.
55
56
Aplicaci
on traza. Caracterizacion de H0k (). Normas equivalentes
Captulo 7.
A partir de ahora, identificaremos todas las funciones -integrables en que sean iguales casi por
doquier en dicho conjunto. Con este convenio, dado 1 p < , denotaremos por Lp () al conjunto de
todas las funciones f : IR tales que |f |p sea -integrable en , y definiremos
Z
1/p
p
kf kLp () =
|f (x)| d(x)
, f Lp ().
Diremos que f L () si f es acotada respecto a la medida en .

El espacio Lp (), con la suma de funciones y producto de una funcion por un n
umero real definidos
en la forma usual, es un espacio vectorial, y dotado de k kLp () es un espacio de Banach, separable si
0
p [1, ), reflexivo si p (1, ) y cuyo dual es Lp () cuando p [1, ) y 1/p + 1/p0 = 1. En particular,
L2 () es un espacio de Hilbert con el producto escalar definido por
Z
(f, g)L2 () =
f (x)g(x) d(x), f, g L2 ().
Para todo punto x es posible definir el vector unitario normal exterior en x, que denotaremos
~n(x). Se define as una funci
on vectorial ~n = (n1 , ..., nN ) tal que ~n C 0 ()N L ()N , para la que se
satisface la formula de Green (ver [9]
o [14])
Z
ui v dx =
(7.3)
vi u dx +
para todo u, v Cc1 (IRN ), 1 i N.
uvni d(x),
Observaci
on 7.4. La f
ormula (7.3) es tambien cierta en el caso = IRN
+.
7.2.
Teorema de trazas en H 1 ()
en principio no tiene sentido hablar de los valores de u sobre . No

Si u H 1 () pero u
/ C 0 (),
obstante, si es regulares posible introducir un concepto, la traza, que generaliza el de valor de una
funcion regular sobre la frontera de .
N 1 {0}, y la medida de superficie sobre
N
Comenzamos con el caso = IRN
+ . Evidentemente IR+ = IR
0
IRN
+ consiste en integrar en la variable x .
En lo que sigue, consideramos identificado en la manera obvia IRN 1 {0} con IRN 1 , y en consecuencia
identificamos Q0 con la bola unidad de IRN 1 .
Lema 7.5. Para toda funci
on u Cc1 (IRN ) se satisface
Z
(7.4)
|u(x0 , 0)|2 dx0 kuk2H 1 (IRN ) .
+
IRN 1
Demostraci
on.- Si u Cc1 (IRN ) y x0 IRN 1 , es evidente que
Z +
Z +
0
2
2 0
|u(x , 0)| =
N (u (x , xN )) dxN = 2
u(x0 , xN )N u(x0 , xN ) dxN
0
Z
1/2 Z
u (x , xN ) dxN
+
2
1/2
(N u(x , xN )) dxN
u (x , xN ) dxN +
0
0
+
(N u(x0 , xN ))2 dxN .
Integrando esta desigualdad en IRN 1 , se obtiene

Z
|u(x0 , 0)|2 dx0 kuk2L2 (IRN ) + kN uk2L2 (IRN ) kuk2H 1 (IRN ) .
IRN 1
7.2. Teorema de trazas en H 1 ()
57
Podemos definir ahora la aplicaci

on 0 : Cc1 (IRN ) 7 L2 (IRN 1 ), 7 0 () = cIRN 1 = (x0 , 0) para
todo x0 IRN 1 . Es claro que 0 es lineal y que por el Lema anterior
Cc1 (IRN ),
k0 ()kL2 (IRN 1 ) CkukH 1 (IRN )

+
y teniendo en cuenta que Cc1 (IRN ) es denso en H 1 (IRN

acilmente,
+ ), se deduce f

2
N
1
N
Teorema 7.6. Existe una y s
olo una aplicaci
on 0 L H 1 (IRN
+ ); L (IR+ ) tal que para toda u Cc (IR )
se satisface 0 (u) = u|IRN .
+
A la aplicaci
on 0 as definida se le denomina la aplicaci
on traza (de orden cero) sobre H 1 (IRN
+ ).
1
N
N
Dicha aplicacion permite dar un sentido a la expresion el valor de u H (IR+ ) sobre la frontera de IR+ .
Estas consideraciones pueden ser extendidas al caso de un abierto de clase C 1 .
Vamos a definir la traza sobre de una funcion de H 1 (). Consideremos en primer lugar fijada
u Cc1 (IRN ), y para cada 1 i k consideremos la funcion wi : IRN IR definida por
wi (y) =
(
(i u)(Hi (y))
si y Q,
si y IRN \ Q.
Observese que
Z
|u(x)| d(x) =
=k
k Z
X
i,j=1
|y 0 |<1
k
X
!2
i (x)
|u(x)| d(x) k
i=1
k Z
X
i=1
N
X
[j (i2 |u|2 )](Hj (y 0 , 0))
|i (x)|2 |u(x)|2 d(x)
!1/2
b jr (y 0 , 0))2
(H
dy 0 ,
r=1
y en consecuencia, teniendo en cuenta que si Hj (y 0 , 0) 6 Oi entonces [j (i2 |u|2 )](Hj (y 0 , 0)) = 0, y si

Hj (y 0 , 0) Oi entonces Hj (y 0 , 0) = Hi [Hi1 (Hj (y 0 , 0))], se puede comprobar que existe una constante C1 > 0,
independiente de u, tal que
Z
|u(x)| d(x) k C1
(7.5)
k Z
X
IRN 1
i=1
|wi (y 0 , 0)|2 dy 0
Por otra parte, teniendo en cuenta que sop i es un compacto contenido en Oi , es inmediato ver que
sop (i u) Hi es un compacto contenido en Q, y por consiguiente wi Cc1 (Q) Cc1 (IRN ). As pues, por el
Lema 7.5,
Z
(7.6)
|wi (y 0 , 0)|2 dy 0 kwi k2H 1 (IRN ) , para todo 1 i k.
+
IRN 1
Ahora bien, de la definici

on de wi no es difcil deducir que existe una constante C2 > 0, independiente
de u, tal que
kwi k2H 1 (IRN ) C2 kuk2H 1 () , para todo 1 i k,
+
y por tanto, de (7.5) y (7.6) obtenemos
(7.7)
kuk2L2 () k 3 C1 C2 kuk2H 1 () ,
para toda u Cc1 (IRN ).
58
Aplicaci
Captulo 7.
Teorema 7.7. Sea IRN un abierto de clase C 1 de frontera acotada. Existe una y s
olo una aplicaci
on
0 L(H 1 (); L2 ()) tal que
0 (u) = u| u Cc1 (IRN ).
Demostraci
on.- Basta tener en cuenta la desigualdad (7.7), y que Cc1 (IRN ) es denso en H 1 ().
A 0 se le denomina aplicaci
on traza (de orden cero) sobre . Para cada u H 1 (), a la funci
on
0 (u) se le denomina la traza de u sobre , y por abuso de notacion se denota 0 (u) = u| (i.e., 0 (u) es
el valorde u sobre la frontera de ).
Es inmediato obtener que la f
ormula de integracion por partes se satisface para las funciones de H 1 ().
Proposici
on 7.8. Sea IRN un abierto de clase C 1 de frontera acotada, o sea = IRN
+ . Se satisface,
Z
Z
Z
(7.8)
ui v dx = vi u dx +
uvni d(x),
para todo u, v H 1 (), 1 i N.
Demostraci
on.- Basta aplicar la igualdad (7.3), teniendo en cuenta que Cc1 (IRN ) es denso en H 1 (), y que
1
0 L(H (); L2 ()).
Tambien se satisface que H01 () est
a formado por los elementos de traza nula. Para demostrar esta
afirmacion, haremos uso del siguiente resultado, cuya prueba se puede encontrar en [2], del que ya parte
conocemos por el Teorema 4.13.
Proposici
on 7.9. Sea IRN un abierto de clase C 1 y u L2 (). Entonces, u H01 () si y s
olo si la
N
1
N
f
funci
on u
e, prolongaci
on por cero de u a IR \ , pertenece a H (IR ), y en tal caso i u
e = i u para todo
1 i N.
Proposici
on 7.10. Sea IRN un abierto de clase C 1 de frontera acotada, o sea = IRN
+ . Se satisface
H01 () = ker (0 ) = {u H 1 () : 0 (u) = 0}.
Demostraci
on.- Si u pertenece a H01 (), por definicion existe una sucesion {un } D() tal que un u en
H 1 (). Evidentemente, para cada n, se tiene que 0 (un ) = 0, y en consecuencia, por continuidad, tambien
0 (u) = 0.
Recprocamente, sea u H 1 (), tal que 0 (u) = 0. Consideremos la funcion u
e L2 (IRN ), prolongaci
on
N
N
1
por cero de u a IR \ . Dada D(IR ), como dicha funcion en particular pertenece a H (), de (7.8)
obtenemos
Z
Z
Z
hi u
e, i = ui dx = (i u) dx =
(f
para todo 1 i N.
i u) dx,
IRN
1
En consecuencia, u
e H 1 (IRN ), con i u
e = f
i u para todo 1 i N, y por tanto u H0 ().
Observaci
on 7.11. La imagen de 0 no es todo el espacio L2 () (ver [7]). Por razones que se pueden ver
en la referencia citada, se denota
H 1/2 () := 0 (H 1 ()) L2 (),
con contenido estricto.
Observaci
on 7.12. a) La noci
on de traza y las propiedades que hemos estudiado pueden ser extendidas al
1,p
caso de funciones de W (), con 1 p < (ver [2]).
b) Asimismo, se puede extender la noci
on de traza a los espacios de Sobolev de orden superior; nos
contentamos con exponer aqu el caso de H 2 ().
7.3. Normas equivalentes en H 1 ()
59
2
Suponemos por tanto que es de clase C 1 con frontera acotada, o que = IRN
+ . Si u H (), entonces
1
tanto u, i u, 1 i N, pertenecen a H (), y por consiguiente est
an bien definidas las trazas 0 (u) y
2
0 (i u), 1 i N, siendo todas elementos de L (). Se define la traza de orden 1 de u sobre por,
(7.9)
1 (u) =
N
X
0 (i u)ni ,
i=1
que evidentemente satisface 1 (u) L2 (). Es claro que si u es regular, entonces 1 (u) coincide con la
derivada de u en la direcci
on de ~n, es por ello que tambien se denota
~n u := 1 (u) ,
u H 2 ().
Si consideramos la aplicaci
on (0 , 1 ) : u H 2 () 7 (0 (u), 1 (u)) L2 () L2 (), es inmediato
comprobar que H02 () ker(0 , 1 ). De hecho, se puede demostrar (ver [8]) que
H02 () = ker(0 , 1 ) = {u H 2 () : u = ~n u = 0 sobre }.
Nota 7.13. Tampoco es difcil ver que se satisface la identidad de Green,
Z
Z
Z
u(x) v(x) dx = v(x)u(x) dx +
v(x)~n u(x) d(x),
para toda u H 2 () y toda v H 1 ().
7.3.
Normas equivalentes en H 1 ()
Comencemos recordando una importante desigualdad cuya prueba puede verse en [2] o en los apuntes
de la asignatura de cuarto curso EDPyAF.
Proposici
on 7.14. (Primera desigualdad de Poincar
e) Sea IRN un abierto no vaco acotado al
menos en una direcci
on. Entonces existe una constante positiva C (que s
olo depende de ) tal que
Z
Z
(7.10)
|u|2 dx C
|u|2
u H01 ().
Corolario 7.15. La expresi

on
Z
|u|
1/2
define sobre H01 () una norma equivalente a la usual de H 1 ().

El siguiente resultado nos proporcionara una norma equivalente a la usual en H 1 ().
Teorema 7.16. Supongamos que es un abierto acotado conexo de clase C 1 de IRN , y sea 0 un
subconjunto medible Lebesgue tal que |0 | > 0. Entonces, existe una constante C > 0 tal que
(7.11)
kuk2H 1 () C(kuk2L2 (0 ) + kuk2L2 ()N )
para toda u H 1 ().
Demostraci
on.- Razonemos por reducci
on al absurdo. Si no existe C > 0 tal que se satisfaga (7.11),
entonces para todo entero n 1 existe una funcion un H 1 () tal que
kun k2H 1 () > n(kun k2L2 (0 ) + kun k2L2 ()N ).
Denotando por
vn =
un
,
kun kH 1 ()
60
Aplicaci
Captulo 7.
obtenemos una sucesi

on {vn } H 1 () tal que kvn kH 1 () = 1 y
1/n > kvn k2L2 (0 ) + kvn k2L2 ()N
(7.12)
para todo n 1.
De (7.12) es evidente que

en L2 (), para toda 1 i N, y que
i vn 0
(7.13)
vn 0 en L2 (0 ).
Como la sucesion {vn } est

a acotada en H 1 (), por el Teorema de Rellich-Kondrachov podemos extraer una
subsucesion de vn , que lo seguiremos denotando igual, tal que
vn v
en L2 () para alguna funcion v L2 ().
Como vn v en L2 (), se tiene que i vn i v en D0 (), con lo que por (7.13) se obtiene que i v = 0 para
todo 1 i N, y por tanto, al ser conexo, podemos afirmar que v es constante en . Al tener tambien
que vn 0 en L2 (0 ), sigue que v = 0 en . Por lo tanto, vn 0 en H 1 (), lo que es un absurdo con el
hecho de que kvn kH 1 () = 1.
Como una consecuencia del teorema de Rellich-Kondrachov y de la nocion de traza, obtenemos el siguiente resultado.
Teorema 7.17. (Desigualdad de Friedrichs) Supongamos que es un abierto acotado conexo de clase
C 1 de IRN , y sea 0 tal que (0 ) > 0. Entonces, existe una constante C > 0 tal que
kuk2H 1 () C(kuk2L2 (0 ) + kuk2L2 ()N )
(7.14)
siendo
kuk2L2 ()N
N
X
para toda u H 1 (),
ki uk2L2 () .
i=1
Demostraci
on.- Razonemos de nuevo por reduccion al absurdo. Si no existe C > 0 tal que se satisfaga
(7.14), entonces para todo entero n 1 existe una funcion un H 1 () tal que
kun k2H 1 () > n(kun k2L2 (0 ) + kun k2L2 ()N ).
En consecuencia, si denotamos
vn =
un
,
kun kH 1 ()
obtenemos una sucesi

on {vn } H 1 () tal que kvn kH 1 () = 1 y
1/n > kvn k2L2 (0 ) + kvn k2L2 ()N
(7.15)
para todo n 1.
De (7.15) es evidente que

(7.16)
i vn 0
en L2 (), para toda 1 i N, y que
vn 0 en L2 (0 ).
Por otra parte, como la sucesi

on {vn } es acotada en H 1 (), por el teorema de Rellich-Kondrachov, podemos
on de las vn , que por comodidad vamos a seguir denotando igual, tal que
vn v
en L2 ()
para alguna funci

on v L2 ().
Podemos ahora probar que vn es de Cauchy en H 1 (). En efecto,
kvn vm k2H 1 () = kvn vm k2L2 () +k(vn vm )k2L2 ()N kvn vm k2L2 () +2k(vn )k2L2 ()N +2k(vm )k2L2 ()N ,
7.3. Normas equivalentes en H 1 ()
61
y por tanto vn v en H 1 ().

Como 0 L(H 1 (); L2 ()), sigue que vn v en L2 (0 ), con lo que, teniendo en cuenta que vn 0
en L2 (0 ), obtenemos
(7.17)
v=0
sobre 0 .
Por otra parte, como vn v en L2 (), se tiene que i vn i v en D0 (), con lo que por (7.16) se
obtiene que i v = 0 para todo 1 i N, y por tanto, al ser conexo, podemos afirmar que v es constante
en . Con esto, si tenemos en cuenta (7.17) y el hecho de que (0 ) > 0, concluimos que v = 0 en . Pero
esta conclusion es un absurdo, ya que entonces tenemos vn 0 en L2 (), lo que unido a (7.16) implica que
vn 0 en H 1 (), lo cual est
a en contradiccion con el hecho de que kvn kH 1 () = 1 para todo n 1.
Nota 7.18. La desigualdad (7.11) implica evidentemente que bajo las condiciones del Teorema 7.16, la
expresi
on

1/2
kuk2L2 (0 ) + kuk2L2 ()N
define sobre H 1 () una norma equivalente a la usual.
Igualmente, la desigualdad (7.14) implica evidentemente que bajo las condiciones del Teorema 7.17, la
expresi
on

1/2
2
2
kukL2 (0 ) + kukL2 ()N
tambien define sobre H 1 () una norma equivalente a la usual.
Otra norma equivalentes puede ser obtenidas como consecuencia inmediata del resultado siguiente, cuya
demostracion es similar a la del Teorema 7.17, y dejamos como ejercicio (ver [3]).
Teorema 7.19. (Segunda desigualdad de Poincar
e) Supongamos que es un abierto acotado conexo
1
N
de clase C de IR . Entonces, existe una constante C > 0 tal que
!
Z
2

(7.18)
kuk2H 1 () C u(x) dx + kuk2L2 ()N
para toda u H 1 ().
CAPITULO
El espacio H k ()
Aunque sean espacios de Hilbert, es interesante no identificar mediante el teorema de Riesz los espacios
con sus duales topol
ogicos.
H0k ()
Definici
on 8.1. Se define H k () como el dual topol
ogico de H0k ().
Sobre H k () se considera la norma natural
kF kH k () =
|F (u)|
=
sup
kuk
H k ()
{uH k (),u6=0}
{uH k (): kuk
|F (u)|.
sup
H k ()
1}
Analicemos el caso de H 1 (), siendo el caso general similar. Sean f0 , f1 ,..., fN en L2 (), y consideremos
la distribucion T D0 () definida por
T = f0
(8.1)
N
X
i fi .
i=1
Evidentemente, si D() entonces

Z
hT, i =
f0 dx +
N Z
X
i=1
fi i dx,
con lo que aplicando la desigualdad de Cauchy-Schwartz

N
X
|hT, i|
!1/2
kfi k2L2 ()
kkH 1 ()
D(),
i=0
y en consecuencia, por ser D() denso en H01 (), T admite una u

nica extension a un u
nico elemento de
1
H (). En resumen, toda distribuci
on de la forma (8.1) es identificable con un elemento de H 1 ().
Recprocamente se tiene el siguiente resultado, cuya prueba puede verse en los apuntes de EDPyAF. Presentamos aqu otra prueba alternativa v
alida tambien para caracterizar los duales de los espacios W01,p ()
con p general.
Teorema 8.2. Si F H 1 (), entonces existen N + 1 funciones f0 , f1 ,..., fN en L2 () tales que
Z
(8.2)
F (u) =
f0 u dx +
n Z
X
i=1
63
fi i u dx,
u H01 (),
64
El espacio H k ()
Captulo 8.
y
N
X
kF kH 1 () =
!1/2
kfi k2 L2 ()
i=0
Adem
as, si es acotado, entonces se puede tomar f0 = 0.
En consecuencia, todo elemento de H 1 () es identificable, en el sentido de D0 (), con una suma de
funciones y de derivadas primeras de funciones de L2 ().
Demostraci
on.- Sea Y = L2 ()
N +1
, con el producto escalar
((u0 , u1 , ..., uN ), (v0 , v1 , ..., vN )) =
N
X
(ui , vi )L2 () ,
i=0
y denotemos por J a la aplicaci

on J : u H01 () 7 (u, 1 u, ..., N u) Y. Evidentemente, J es lineal
inyectiva y conserva las normas, con lo que J 1 L(J(H01 ()), H01 ()) es biyectiva y conserva las normas.

0
En consecuencia, F J 1 J(H01 ()) , con norma
kF J 1 k[J(H 1 ())]0 = kF kH 1 () .
0
Por el teorema de Hahn-Banach, existe Y 0 tal que

|J(H 1 ()) F J 1 ,
kkY 0 = kF kH 1 () .
Como Y es un espacio de Hilbert, existen f0 , f1 ,..., fN en L2 () tales que

h, (u0 , u1 , ..., un )i =
n Z
X
fi ui dx,
(u0 , u1 , ..., un ) Y
i=0
y
k(f0 , f1 , ..., fN )kY = kkY 0 .
En particular, si u H01 () se tiene:
Z
h, (u, 1 u, ..., n u)i =
f0 u dx +
n Z
X
i=1
fi i u dx,
y
h, (u, 1 u, ..., n u)i = h, J(u)i = hF J 1 , J(u)i = F (u).
Cuando es acotado se puede razonar igual pero considerando, en vez de J, la aplicacion
J : u H01 () u L2 ()N ,
y sobre H01 () el producto escalar (, )H 1 () .
0
Nota 8.3. En particular, podemos definir la derivada de una funci

on de L2 () como un elemento de
H 1 (), esto es para f L2 (), se tiene que i f H 1 (), 1 i N que verifica
Z
i f (v) =
f i v
v H01 ().
65
Observaci
on 8.4. Utilizando la misma argumentaci
on que en la demostraci
on precedente, es f
acil concluir
que dado F (H 1 ())0 tambien existen N + 1 funciones f0 , f1 , ..., fN en L2 () tales que se satisface (8.2)
para toda u H 1 () y
!1/2
N
X
kF k(H 1 ())0 =
kfi k2 L2 ()
.
i=0
La diferencia con el caso de H 1 () reside en que la extensi

on de la distribuci
on asociada
T = f0
N
X
i fi
i=1
a un elemento de (H 1 ())0 puede no ser u

nica.
Observaci
on 8.5. Con argumentos similares a los del Teorema 8.2 se puede demostrar que todo elemento
k
de T H () se puede identificar en el sentido de D0 () con una distribuci
on de la forma
X
g ,
T =
||k
siendo todas las funciones g L2 ().

Observaci
on 8.6. Recordemos que por el Teorema de Representaci
on de Riesz, puede ser identificado un
espacio de Hilbert con su dual. Si identificamos s
olo el espacio L2 () con su dual (L2 ())0 = L2 () se tiene
D() , H0k () , L2 () (L2 ())0 , H k () , D0 ().
CAPITULO
Formulaci
on d
ebil de problemas de contorno elpticos
En este tema se lleva a cabo una introduccion a la formulacion variacional de los problemas de contorno
para EDP lineales elpticas de segundo y cuarto orden.
Recordemos el teorema de Lax-Milgram, demostrado en la asignatura EDP y Analisis Funcional, que
usaremos de manera constante en este tema.
Teorema 9.1. (Lax-Milgram) Sean V un espacio de Hilbert real, cuya norma denotamos por k k, y
a(, ) : V V IR una forma bilineal continua y coerciva, es decir, tal que existen M > 0 y > 0
satisfaciendo
|a(u, v)| M kukkvk u, v V (continuidad),
a(u, u) kuk2
u V (coercividad).
En tal caso, para cada L V 0 dado se tiene:

a) Existe un y s
olo un u V tal que a(u, v) = L(v)
v V.
b) Si a(, ) es simetrica, entonces u est

a caracterizado por ser la u
nica soluci
on de

1
1
a(u, u) L(u) = mn
a(v, v) L(v) .
vV
2
2
Observaci
on 9.2. En las condiciones del teorema de Lax-Milgram, es evidente que la igualdad a(u, v) =
L(v) v V , junto a la coercividad, implican en particular que
kuk2 a(u, u) = L(u) kLkV 0 kuk,
y en consecuencia se tiene la dependencia continua de u respecto de L, i.e.,
kuk
9.1.
1
kLkV 0 .
Problema de Dirichlet para un operador lineal elptico de segundo orden

en forma de divergencia
Suponemos fijado IRN abierto acotado, y el operador en derivadas parciales

(9.1)
Au =
N
X
j (aij (x)i u(x)) +
i,j=1
N
X
i=1
donde los coeficientes satisfacen la hip

otesis
67
bi (x)i u(x) + c(x)u(x),
68
Captulo 9.
(H1)
aij , bi , c L (),
Formulacion debil de problemas de contorno elpticos
1 i, j N.
De la hipotesis (H1) se concluye f

acilmente que A esta bien definido como operador de H 1 () con valores
en D0 (). De hecho, Au H 1 () para todo u H 1 (). Al operador A se le asocia la forma bilineal a(, )
definida por
(9.2)
a(u, v) =
N Z
X
aij (x)i uj v dx +
i,j=1
N Z
X
u, v H 1 ().
i=1
c(x)uv dx,
bi (x)vi u dx +
Ahora es facil demostrar

Lema 9.3. La forma bilineal a(, ) est
a bien definida y es continua en H 1 () H 1 ().
Adem
as, si bi = 0 para todo i = 1, ..., N y aij = aji c.p.d. en para todo 1 i, j N entonces a es
simetrica.
Demostraci
on.- Sean u, v H 1 () entonces aplicando (H1) se tiene que
|a(u, v)|
N Z
X
|aij ||i u||j v| +
Z
|c||uv|
|bi ||i u||v| +

Z
Z
|u||v| +
|u||v| +
|u||v|
i,j=1
Z
N Z
X
i=1
C kukL2 () kvkL2 () + kukL2 () kvkL2 () + kukL2 () kvkL2 ()
CkukH 1 () kvkH 1 () .
Cuando bi = 0 para todo i = 1, ..., N y aij = aji c.p.d. en para todo 1 i, j N es claro que a es
simetrica.
Consideremos en primer lugar el problema de Dirichlet homogeneo
(
Au = F en ,
(9.3)
u=0
sobre ,
con
F H 1 ().
(9.4)
Definici
on 9.4. Se denomina soluci
on debil o generalizada del problema de Dirichlet (9.3) a cualquier
funci
on u que sea soluci
on de
(
u H01 (),
(9.5)
a(u, v) = hF, vi v H01 (),
donde por h, i denotamos al producto de dualidad entre H 1 () y H01 ().
Nota 9.5. Recordemos que por el Teorema 8.2 si F H 1 (), entonces existen N + 1 funciones f0 , f1 ,...,
fN en L2 () tales que
Z
n Z
X
hF, vi =
f0 v dx +
fi i v dx, v H01 (),
i=1
y
kF kH 1 () =
N
X
i=0
!1/2
kfi k2 L2 ()
9.1. Problema de Dirichlet para un operador lineal elptico de segundo orden en forma de divergencia 69
Se considera ahora el problema de Dirichlet no homogeneo
(
Au = F en ,
(9.6)
u = ge
sobre ,
con F y ge dadas satisfaciendo
F H 1 (),
(9.7)
ge H 1 ().
Definici
on debil o generalizada del problema de Dirichlet (9.6) a cualquier
funci
on u que sea soluci
on de
(
u ge + H01 (),
(9.8)
a(u, v) = hF, vi v H01 (),
o equivalentemente de
(
(9.9)
u ge + H01 (),
Au = F en D0 ().
A (9.8) se la denomina la formulaci

on variacional del problema de Dirichlet (9.6).
A lo largo del captulo usaremos tambien las siguientes hipotesis sobre el operador A:
(H2) Supongamos adem
as que A es uniformemente elptico; es decir, existe > 0 satisfaciendo
N
X
aij (x)i j ||2
para todo IRN , c.p.d. x .
i,j=1
(H3) El coeficiente c(x) 0 c.p.d. x .

Recordemos que en el caso en que todos los coeficientes bi son nulos, el problema (9.6) ha sido ya
analizado en la asignatura Ecuaciones en Derivadas Parciales y Analisis Funcional. Como extensi
on del
resultado obtenido en ese caso, obtenemos el siguiente.
Teorema 9.7. Sea IRN abierto acotado, y supongamos que se satisfacen las hip
otesis (H1)-(H2)-(H3)
y (9.7). Supongamos tambien que o bien
(D1) los coeficientes bi son todos constantes o
(D2) satisfacen que existe > 0 tal que
(9.10)
m
ax kbi kL () < ,
1iN
con
N
X
|bi (x)| 4c(x)
c.p.d. x .
i=1
Entonces, existe una y s

olo una soluci
on debil del problema de Dirichlet (9.6). Adem
as, existe una constante
C > 0, independiente de F y ge, tal que

kukH 1 () C kF kH 1 () + ke
g kH 1 () .
Finalmente, si todos los bi son nulos y aij = aji c.p.d. en para todo 1 i, j N , entonces u viene
caracterizada por

1
1
a(u, u) l(u) =
mn
a(v, v) l(v) ,
(9.11)
2
ve
g +H01 () 2
donde l viene definido por l(v) = hF, vi
70
Captulo 9.
Demostraci
on.- Tomemos V = H01 () con norma kvk = kvkL2 ()N , que como sabemos es norma equivalente a la usual de H 1 () en V y denotemos
para toda v H01 ().
L(v) = l(v) a(e

g , v)
Observemos que L H 1 (), y u es solucion debil de (9.6) si y solo si

u=u
e + ge con
u
e H01 (),
a(e
u, v) = L(v) v H01 ().
Si comprobamos que la forma bilineal a(, ) es coerciva en H01 (), es inmediato obtener nuestro teorema
como consecuencia del de Lax-Milgram.
La coercividad de a(, ) en el caso (D1) en que todos los bi sean constantes es consecuencia directa de
que
Z
vi v dx = 0 v H01 ()
1 i N,
como se deduce de la Proposici

on 7.8.
Supongamos ahora la hip
otesis (D2). Observese en primer lugar que para todo par de n
umeros reales a
y b se tiene
p
1 2
1
ab = 2 a b a2 +
b ,
4
2
por lo que es facil concluir que para toda v H 1 () se satisface
N Z

Z
N Z
X

1 X

2
|bi (x)||v(x)|2 dx.
b
v
v
dx
m
a
x
kb
k
|v|
dx
+

i
i
i L ()

1iN
4
i=1
i=1
Sea ahora v V , entonces usando (H2), la desigualdad anterior y (9.10) sigue que
a(v, v) =
N Z
X
aij i vj v +
i,j=1
N Z
X
i=1
Z
bi vi v +
Z
( m
ax kbi kL () )
1iN
cv 2
|v| dx +
!
N
1 X
|bi (x)| |v(x)|2
c
4
i=1
kvk2H 1 () .
0
Teniendo en cuenta el teorema de trazas, las consideraciones precedentes pueden ser trasladadas al caso
de un dato g definido sobre , si esta es regular. En concreto, supongamos la situacion precedente, salvo
que ahora es, adem
as, de clase C 1 , por lo que tenemos definido la aplicacion traza
0 : H 1 () 7 L2 ()
que es lineal y continua pero no sobreyectiva. Es decir, existen g L2 () que no son trazas de funciones
de H 1 (). Recordemos que en el Tema 7 habamos definido
H 1/2 () = 0 (H 1 ()) L2 (),
y que por tanto dada g H 1/2 () existe g H 1 () tal que 0 (
g ) = g. Podemos ahora plantear el problema
(
Au = F en ,
(9.12)
u=g
sobre ,
con g H 1/2 ().
9.2. El problema de Neumann para
71
Definici
on debil del problema de Dirichlet (9.12) a cualquier funci
on u que sea
soluci
on de
u H (),
a(u, v) = hF, vi v H01 (),
(u) = g,
0
o equivalentemente de
(9.13)
u H (),
Au = F
en D0 (),
(u) = g.
0
Consideremos sobre H 1/2 () = 0 (H 1 ()) la norma definida por

(9.14)
kgkH 1/2 () :=
nf
v01 (g)
kvkH 1 () ,
g H 1/2 (),
con la que H 1/2 () es un espacio de Banach (de hecho de Hilbert).

Teorema 9.9. Sea IRN un abierto acotado de clase C 1 y supongamos que se satisfacen las hip
otesis
(H1)-(H2)-(H3), (D1) o (D2) y adem
as
(9.15)
F H 1 (),
g H 1/2 ().
Entonces, existe una y s

olo una soluci
on debil del problema de Dirichlet (9.12). Adem
as, existe una
constante C > 0 independiente de F y g tal que

kukH 1 () C kF kH 1 () + kgkH 1/2 () .
Finalmente, si todos los bi son nulos y aij = aji c.p.d. en para todo 1 i, j N , entonces u viene
caracterizada por (9.11) con ge cualquiera en 01 (g).
Demostraci
on.- Dada g H 1/2 () existe g H 1 () tal que 0 (
g ) = g. Basta aplicar el Teorema 9.7 y
1
obtener la existencia de una soluci
on u de (9.7) tal que u g + H0 (). Pero entonces 0 (u) = 0 (
g ) = g, y
por lo tanto u es soluci
on de (9.12).
Falta probar la unicidad. Para ello consideremos dos soluciones u1 y u2 de (9.12). Entonces, w = u1 u2
es solucion de a(w, v) = 0 para todo v H01 () y 0 (w) = 0. Por el Teorema de Lax-Milgram podemos
concluir que w 0.
Observaci
on 9.10. Tomemos ge H 1 () tal que 0 (e
g ) = g. Teniendo en cuenta que ker (0 ) = H01 (), es
1
inmediato comprobar que el conjunto ge + H0 () es independiente del representante ge elegido en 01 (g).
Observaci
on 9.11. Una vez que se ha demostrado existencia y unicidad de soluci
on debil, el problema
siguiente es determinar bajo que condiciones se tiene regularidad de dicha soluci
on, para, eventualmente,
concluir que es una soluci
on cl
asica. Sobre este particular obtendremos algunos resultados en el Tema 11.
9.2.
El problema de Neumann para
Consideremos el problema de Neumann

(
u + c(x)u = f
(9.16)
~n u = g
en ,
sobre .
72
Captulo 9.
Observese que si buscamos u H 1 () solucion de (??) entonces en principio no esta definida la derivada
normal de u, ~n u. Observese que si por ejemplo u H 2 () es solucion de (??), por la identidad de Green
se obtiene de manera inmediata que
Z
Z
Z
Z
gv d(x) v H 1 ().
f v dx +
c(x)uv dx =
u v dx +
As, por ejemplo si c L () y f L2 () para tomar la igualdad anterior como definicion basta con dar
sentido a
Z
gv d(x)
para lo que bastara que g L2 (). Pero podemos considerar un espacio mayor.
Sea ahora IRN , abierto acotado de clase C 1 , y denotemos por
H 1/2 () := (H 1/2 ())0 ,
esto es H 1/2 () es es dual topol
ogico de H 1/2 (), donde a este u
ltimo espacio se considera con la norma
definida por (9.14). Consideremos el problema de Neumann (??) con c, f y g dados satisfaciendo
c L (),
(9.17)
f L2 (),
g H 1/2 ().
En consecuencia, se introduce el concepto de solucion debil de (??) por

Definici
on 9.12. Una soluci
on debil de (??) es cualquier funci
on u H 1 () tal que
Z
Z
Z
(9.18)
u v dx +
c(x)uv dx =
f v dx + hg, 0 (v)i v H 1 (),
donde por h, i denotamos al producto de dualidad entre H 1/2 () y H 1/2 ().

Teorema 9.13. Sean IRN abierto acotado de clase C 1 , los datos c, f y g satisfaciendo (9.17), y
supongamos que adem
as existe c0 > 0 tal que
c(x) c0 c.p.d. x .
(9.19)
Entonces existe una y s

olo una soluci
on debil del problema de Neumann (??). Dicha soluci
on est
a caracterizada por satisfacer
Z
Z
Z
1
1
2
2
|u| dx +
c(x)u dx
f u dx hg, 0 (u)i
2
2
Z

Z
Z
1
1
2
2
= mn
|v| dx +
c(x)v dx
f v dx hg, 0 (v)i .
2
vH 1 () 2
Adem
as (dependencia continua), existe una constante C > 0 independiente de f y g tal que

kukH 1 () C kf kL2 () + kgkH 1/2 () .
Demostraci
on.- Basta aplicar el Teorema de Lax-Milgram con V = H 1 (),
Z
Z
a(u, v) =
u v dx +
c(x)uv dx,
Z
y L(v) =
f v dx + hg, 0 (v)i .
9.3. Problemas con condiciones de contorno de tipo Fourier o Robin
73
Observaci
on 9.14. 1) La hip
otesis (9.19) puede ser debilitada a c(x) 0 c.p.d. en y kckL () > 0
(ver [3] para la demostraci
on).
2) Sin embargo, el teorema precedente es falso si c = 0 c.p.d. en . En este caso es obvio que si u es
soluci
on debil de (??), tambien lo es u + k con k IR arbitraria; adem
as, tomando v = 1 en (9.18), resulta
claro que para que exista soluci
on debil se ha de satisfacer la condici
on de compatibilidad
Z
(9.20)
f dx + hg, 1i = 0.
3) Demostraremos en ejercicios, que usando la desigualdad de Poincare en H 1 (), si se denota por V

al conjunto
Z
1
V = {u H () :
u dx = 0},
entonces
a) V es un subespacio vectorial cerrado de H 1 () cuyo ortogonal en dicho espacio es el conjunto formado
por las funciones constantes.
b) Si IRN es un abierto acotado conexo de clase C 1 , f y g satisfacen (9.17) y la relaci
on de
compatibilidad (9.20), entonces el problema de Neumann (??) con c = 0 posee infinitas soluciones debiles,
siendo la diferencia de dos cualesquiera de ellas una constante.
Observaci
on 9.15. Es posible extender el Teorema 9.13 al caso del problema de Neumann
(
Au = f
en ,
(P N )
~nA u = g sobre ,
donde el operador A es de la forma (9.1), con los coeficientes satisfaciendo (H1)-(H2) y una condici
on
N
1
2
1/2
similar a (H3), siendo IR abierto acotado de clase C , f L (), g H
(), y ~nA u, la
denominada derivada conormal asociada al operador A, est
a definida (formalmente) por
(~nA u)(x) =
N
X
(aij (x)i u(x))~nj (x)
i,j=1
(ver [3] para los detalles).

Observaci
on 9.16. Usando un espacio denotado por H(div, ) (ver [3]), es posible demostrar, al ser f
2
L (), que si u H 1 () es soluci
on debil de (??), se puede definir ~n u como un elemento de H 1/2 (),
y de hecho u es soluci
on debil de (??) si y s
olo si
(
u + c(x)u = f en D0 (),
~n u = g
como elementos de H 1/2 ().
9.3.
Problemas con condiciones de contorno de tipo Fourier o Robin
Consideremos el problema
(
(9.21)
u = f
en ,
(x)u + ~n u = g sobre ,
con IRN un abierto acotado conexo de clase C 1 , f L2 (), L () y g H 1/2 () dadas. Sobre
suponemos adem
as que no es identicamente nula, y que (x) 0, -c.p.d. en .
Es sencillo comprobar que si todos los datos, as como la solucion u de (9.21), son regulares, entonces
Z
Z
Z
Z
u v dx +
(x)u(x)v(x) d(x) =
f v dx +
g(x)v(x) d(x) v H 1 ().
74
Captulo 9.
Definici
on 9.17. Una soluci
on debil de (9.21) es cualquier funci
on u H 1 () tal que
Z
Z
Z
u v dx +
(x)u(x)v(x) d(x) =
f v dx + hg, vi v H 1 (),
donde por h, i denotamos el producto de dualidad entre H 1/2 () y H 1/2 ().

Teorema 9.18. Existe una u
nica soluci
on debil de (9.21). Adem
as, existe una constante C > 0 independiente de f y g, tal que

kukH 1 () C kf kL2 () + kgkH 1/2 () .
Demostraci
on.- El resultado es consecuencia del Teorema de Lax-Milgram. El u
nico punto delicado es
demostrar el car
acter coercivo en H 1 () de la forma bilineal
Z
Z
(x)u(x)v(x) d(x),
u v dx +
a(u, v) :=
pero esto es consecuencia de la Desigualdad de Friedrichs (Teorema 7.17), si tenemos en cuenta que de las
condiciones sobre se deduce que existen > 0 y 0 tales que (0 ) > 0 y (x) , -c.p.d. en 0
(ver ejercicio 48).
Observaci
on 9.19. Tambien es f
acil caracterizar la soluci
on debil de (9.21) como soluci
on de un problema
1
de minimizaci
on en H ().
9.4.
Problemas de contornos mixtos
Sea IRN un abierto acotado conexo de clase C 1 , y 0 tal que (0 ) > 0. El objetivo es analizar
un problema con condiciones de contorno de tipo mixto de la forma
u = f en ,
(9.22)
u = u0
sobre 0 ,
u=g
sobre g = \ 0 ,
~
n
con f L2 (), u0 H 1/2 (0 ) y g H 1/2 (g ) dadas, donde por H 1/2 (0 ) se denota al espacio de las
restricciones a 0 de los elementos de H 1/2 (), dotado de la norma
ku0 kH 1/2 (0 ) :=
nf
u
e| =u0
ke
ukH 1 () ,
donde u
e|0 denota 0 (e
u)|0 (an
alogamente para H 1/2 (g )), y H 1/2 (g ) es el dual topologico de H 1/2 (g ).
Denotemos
V = {v H 1 () : v|0 = 0}.
(9.23)
Si todos los datos, as como la soluci

on u de (9.22) son regulares, es inmediato comprobar que
Z
Z
Z
u v dx =
f v dx +
g(x)v(x) d(x) v V.
En consecuencia,
Definici
on 9.20. Una soluci
on debil de (9.22) es cualquier funci
on u H 1 () tal que u = u0 sobre 0 y
Z
Z
u v dx =
f v dx + hg, vig v V,
donde por h, ig denotamos el producto de dualidad entre H 1/2 (g ) y H 1/2 (g ).
9.5. Problemas con dominios no acotados
75
Ahora podemos probar

nica soluci
on debil de (9.22). Adem
as, existe una constante C > 0 independiente de f, u0 y g, tal que

kukH 1 () C kf kL2 () + ku0 kH 1/2 (0 ) + kgkH 1/2 (g ) .
Demostraci
on.- Para resolver el problema (9.22), de manera similar al caso del problema de Dirichlet, se
fija en primer lugar una funci
on u
e H 1 () tal que u
e|0 = u0 . Es sencillo comprobar que u es soluci
on debil
de (9.22) si y solo si u = u
e + ug , siendo ug solucion de
u
Z
Z
Zg V,
(9.24)
e
u v dx + hg, vig v V.
f v dx
ug v dx =
Consideremos la forma bilineal a : V V 7 IR definida por

Z
u v.
a(u, v) =
Para probar que a es coercivo hay que recordar que como consecuencia de la Desigualdad de Friedrichs (ver
Teorema 7.17) la expresi
on
1/2

kuk2L2 (0 ) + kuk2L2 ()N
define sobre H 1 () una norma equivalente a la usual, y por tanto sobre V es equivalente a
kukL2 ()N .
Basta ahora aplicar el Teorema de Lax-Milgram con esa norma en V .
Observaci
on 9.22. Tambien, es f
acil caracterizar la soluci
on debil de (9.22) como soluci
on de un problema
de minimizaci
on en V similar a los obtenidos en situaciones anteriores.
Observaci
on 9.23. Finalmente, digamos que tanto el problema (9.22) como el problema (9.21) pueden
ser generalizados al caso de un operador elptico A de la forma (9.1), con los coeficientes satisfaciendo
(H1)-(H2) (ver [3]).
9.5.
Problemas con dominios no acotados
Evidentemente tambien nos podemos plantear un problema elptico en un dominio no acotado. Presentamos a continuaci
on un ejemplo en el que el dominio es todo el espacio IRN , y por lo tanto no hay condici
on
frontera.
Nos planteamos resolver el siguiente problema
u + u = f
(9.25)
en IRN ,
con f L2 (IRN ).
Definici
on 9.24. Diremos que u H 1 (IRN ) es soluci
on debil de (9.25) si
Z
Z
Z
u v +
uv =
f v, v H 1 (IRN ).
IRN
IRN
IRN
De nuevo se tiene
nica soluci
on debil de (9.25).
Demostraci
on.- Basta aplicar de nuevo el Teorema de Lax-Milgram a la forma bilineal
Z
Z
a(u, v) =
u v +
uv.
IRN
IRN
76
Captulo 9.
9.6.
El problema de Dirichlet homog

eneo para el bilaplaciano
Al operador de cuarto orden 2 , definido por 2 u = (u), se le denomina el operador bilaplaciano,

o tambien operador biarm
onico. Se denomina problema de Dirichlet homogeneo para el bilaplaciano al
problema
(
2 u = f
en ,
(9.26)
u = ~n u = 0 sobre ,
con IRN un abierto acotado y f L2 () dados.
on de (9.26), es inmediato que
Si u C 4 () es soluci
Z
Z
u dx =
f dx
D().
Por esto, y teniendo en cuenta el car

acter denso de D() en H02 (), y la caracterizacion de este u
ltimo
1
espacio cuando es C , se dice
Definici
on 9.26. u es una soluci
on debil del problema (9.26) si satisface
Z
u H02 (),
Z
(9.27)
uv dx =
f v dx v H02 ().
Teorema 9.27. Para cada f L2 () el problema (9.26) posee una y s

olo una soluci
on debil u, que viene
caracterizada por ser soluci
on del problema de minimizaci
on
Z

Z
Z
Z
1
1
2
2
|u| dx
f u dx = mn
|v| dx
f v dx .
2
vH02 () 2
Adem
as, se obtiene dependencia continua respecto del dato f ,
kukH 2 ()
1
kf kL2 () .
Demostraci
on.- Consideremos la forma
Z
a(u, v) :=
uv dx,
u, v H02 (),
que evidentemente est

a bien definida y es bilineal continua sobre H02 (). En efecto,
|a(u, v)| kukL2 () kvkL2 () kukH 2 () kvkH 2 () .
Para poder aplicar el Teorema de Lax-Milgram al problema (9.27), es necesario comprobar que la forma es
tambien coerciva sobre dicho espacio. Es decir, hemos de probar que existe > 0 tal que
Z
(9.28)
a(u, u) =
|u|2 dx kuk2H 2 () u H02 ().
Para demostrar (9.28), lo primero que se observa es que, para toda funcion D() y todo 1 i, j N,
se satisface
Z
Z
ii jj dx =
|ij |2 dx,
y en consecuencia, por densidad, se obtiene

Z
|u| =
(9.29)
N
X
i,j=1
kij uk2L2 ()
u H02 ().
9.6. El problema de Dirichlet homogeneo para el bilaplaciano
77
Por otra parte, para toda funci

on D() y todo 1 i N, se satisface
Z
Z
2
|i | dx = ii dx,
y por tanto, nuevamente por densidad,

kuk2L2 ()N
(9.30)
Z
=
uu dx u H02 ().
Finalmente, recordemos que por la desigualdad de Poincare, existe una constante C > 0 tal que en
particular
kuk2L2 () Ckuk2L2 ()N
(9.31)
u H02 ().
De (9.30) es inmediato que para todo > 0,

(9.32)
kuk2L2 ()N
1
kuk2L2 () + kuk2L2 ()
2
u H02 ().
De (9.31) y (9.32) podemos concluir que

kuk2L2 ()N
1
kuk2L2 () + Ckuk2L2 ()N ,
2
y por tanto
(1 C)kuk2L2 ()N
1
kuk2L2 () .
2
Usando ahora (9.29), sigue que

N
X
kuk2H 2 () = kuk2L2 () + kuk2L2 ()N +
kij uk2L2 ()
i,j=1
(C + 1)kuk2L2 ()N +
N
X
kij uk2L2 ()
i,j=1
C +1
kuk2L2 () + kuk2L2 () .
2(1 C)
1
1
es sencillo comprobar que se satisface (9.28) con =
.
2C
1 + 2C(1 + C)
Con esto podemos aplicar el Teorema de Lax-Milgram y concluir el resultado.
Tomando =
Observaci
on 9.28. Es sencillo ver que lo que precede se puede generalizar al caso en que f H 2 ().
CAPITULO
10
Principio del m
aximo. Unicidad de soluci
on d
ebil del
problema de Dirichlet
Consideremos un dominio IRN abierto, conexo, acotado y de clase C 1 y el operador

Au =
N
X
j (aij (x)i u(x)) +
i,j=1
N
X
bi (x)i u(x) + c(x)u(x),
i=1
donde los coeficientes satisfacen

(H1) aij , bi , c L (),
1 i, j N.
(H2) A es uniformemente elptico, esto es, existe > 0 tal que

N
X
aij (x)i j ||2 ,
IRN , c.p.d. x .
i,j=1
(H3) c(x) 0 c.p.d. x .
10.1.
Principio del M
aximo d
ebil
A lo largo del tema usaremos la notaci

on siguiente
u := mn{u, 0},
u+ := m
ax{u, 0},
y definimos
Definici
on 10.1. Sea u H 1 (), definimos
sup u = nf{K IR : u K
en }.
Es claro que nf u = sup (u).

Con esta notaci
on se puede ya enunciar el Principio del maximo.
Teorema 10.2. (Principio del m
aximo en forma generalizada) Sea u H 1 () tal que Au 0 en ,
esto es,
Z
Auv 0, v H01 (), v 0 en ,
79
80
Captulo 10.
Principio del m
aximo. Unicidad de solucion debil del problema de Dirichlet
o equivalentemente
v H01 (), v 0
a(u, v) 0,
(10.1)
en ,
donde a es la forma bilineal asociada a A.

a) Supongamos que A verifica (H1) (H2) (H3). Entonces,
sup u sup u+ .
b) Supongamos que A verifica (H1) (H2) y c 0. Entonces,

sup u sup u.
Demostraci
on.- Supondremos por simplicidad que bi 0 para i = 1, . . . , N , para el caso general ver [5].
Sea
l := sup u+ 0.
Es claro que si l = + el resultado est

a probado. As podemos suponer que l < . Tomemos
v := (u l)+ .
Es claro que v 0 y que v H01 () gracias al Corolario 4.25. Por tanto, tomando esta funcion en (10.1)
llegamos a
Z
N Z
X
aij (x)i uj (u l)+ dx +
c(x)u(u l)+ dx 0,
i,j=1
y por tanto usando que

(10.2)
i uj (u l)+ = i (u l)+ j (u l)+ ,
c(x)u(u l)+ 0,
se tiene que
Z
|(u l)+ |2 0,
de donde se deduce que (u l)+ 0 y por tanto u l c.p.d. en x .

Supongamos ahora que c 0, tomemos ahora
l := sup u,
del que desconocemos su signo. Tomando de nuevo v := (u l)+ , se tiene (10.2) y nuevamente obtenemos
que v 0. Esto completa la prueba.
Cambiando u por u en el Teorema 10.2 se tiene el siguiente corolario
Corolario 10.3. Sea u H 1 () tal que Au 0 en .
a) Supongamos que A verifica (H1) (H2) (H3). Entonces,
nf u nf u .
b) Supongamos que A verifica (H1) (H2) y c 0. Entonces,

nf u nf u.
10.2. Unicidad de solucion debil del problema de Dirichlet
81
Es inmediata la siguiente consecuencia

Corolario 10.4. Supongamos que A verifica (H1) (H2) (H3) y sea u H 1 () tal que
(
Au 0 en ,
u0
sobre .
Entonces,
u0
10.2.
en .
Unicidad de soluci
on d
ebil del problema de Dirichlet
Se puede obtener un resultado de unicidad para el problema de Dirichlet mas general que el obtenido en
el Tema 9. Consideremos el problema general
(
Au = F en ,
(P D)
u=g
sobre ,
con F H 1 () y g H 1/2 (). Se tiene
Corolario 10.5. Supongamos que A verifica (H1)(H2)(H3). Entonces si existe soluci
on debil de (P D),
esta es u
nica.
Demostraci
on.- Supongamos que existen dos soluciones u1 , u2 H 1 () de (P D). Definamos
w := u1 u2 H01 (),
que satisface claramente que Aw = 0. Aplicando ahora el Teorema 10.2 y el Corolario 10.3 se tiene que
nf w nf w sup w sup w+ .
Pero como w H01 () se tiene que nf w = sup w+ = 0, de donde concluimos que w = 0.
CAPITULO
11
Regularidad de las soluciones d

ebiles
En este tema exponemos resultados de regularidad para las soluciones de algunos de los problemas de
contorno estudiados en el Tema 9.
11.1.
Un resultado de regularidad en IRN
Para empezar, obtenemos un resultado de regularidad para la solucion debil de
1
N
u
Z H (IR ),
Z
Z
(11.1)
u v dx +
uv dx =
f v dx, v H 1 (IRN ),
IRN
IRN
IRN
o equivalentemente
(
u H 1 (IRN ),
u + u = f
en D0 (IRN ).
Teorema 11.1. Dada f L2 (IRN ), si u es la soluci

on debil de (11.1), entonces u H 2 (IRN ), y de hecho
kukH 2 (IRN ) Ckf kL2 (IRN ) ,
con C = 1 + N.
Adem
as, si f H m (IRN ), con m 1 entero, entonces u H m+2 (IRN ), y existe una constante Cm > 0,
que s
olo depende de m y N , tal que
kukH m+2 (IRN ) Cm kf kH m (IRN ) .
En particular, si m > N/2 entonces u C 2 (IRN ).
Demostraci
on.- Vamos a usar el metodo de las traslaciones, tambien conocido como metodo de los cocientes
diferenciales, debido a L. Nirenberg (ver [7] para otra demostracion).
Si w : IRN IR es una funci
on dada, y h IRN , con h 6= 0, denotamos (h w)(x) = w(x + h), y
Dh w = (h w w)/|h|, es decir
(Dh w)(x) =
w(x + h) w(x)
|h|
para todo x IRN .
Es inmediato que si w H 1 (IRN ), entonces Dh w H 1 (IRN ), con i (Dh w) = Dh (i w). En particular,

por tanto, tomando v = Dh (Dh u) en (11.1), obtenemos
Z
Z
Z
u (Dh (Dh u)) dx +
u(Dh (Dh u)) dx =
f (Dh (Dh u)) dx,
IRN
IRN
IRN
83
84
Captulo 11.
Regularidad de las soluciones debiles
con lo que teniendo en cuenta que, como se comprueba facilmente, de manera general se satisface
Z
Z
w(Dh (Dh u)) dx =
(Dh w)(Dh u) dx,
IRN
IRN
obtenemos
Z
|Dh u| dx =
|Dh u| dx +
f (Dh (Dh u)) dx,

IRN
IRN
IRN
y por tanto
(11.2)
kDh uk2H 1 (IRN ) kf kL2 (IRN ) kDh (Dh u)kL2 (IRN ) ,
h IRN \ {0}.
Por otra parte, recordemos que por la Proposicion 6.12 para toda w H 1 (IRN ) y todo h IRN \ {0} se
satisface
kDh wkL2 (0 ) kwkL2 (IRN )N ,
para todo 0 IRN , y por tanto
kDh wkL2 (IRN ) kwkL2 (IRN )N .
De esta u
ltima desigualdad y de (11.2), obtenemos de manera inmediata que
kDh ukH 1 (IRN ) kf kL2 (IRN ) ,
(11.3)
h IRN \ {0}.
Observando que i (Dh u) = Dh (i u), de (11.3) se deduce en particular

kDh (i u)kL2 (IRN ) kf kL2 (IRN ) ,
h IRN \ {0},
i = 1, .., N,
y por consiguiente, por la Proposici

on 6.12, para todo i = 1, ..., N, se satisface que i u H 1 (IRN ), con lo
2
N
que u H (IR ) y
kij ukL2 (IRN ) kf kL2 (IRN ) ,
(11.4)
i, j = 1, .., N.
Como u es soluci
on de (11.1) sigue que
kukH 1 (IRN ) kf kL2 (IRN ) ,
luego usando (11.4) se tiene
kuk2H 2 (IRN ) kf k2L2 (IRN ) + N 2 kf k2L2 (IRN ) ,
de donde se deduce la desigualdad
kukH 2 (IRN ) Ckf kL2 (IRN ) ,
con C = 1 + N .
Supongamos ahora que f H 1 (IRN ), y demostremos que entonces u H 3 (IRN ). Para ello, hemos de
demostrar que i u H 2 (IRN ) para todo 1 i N . Por lo ya demostrado anteriormente, sabemos que
i u H 1 (IRN ), y para demostrar que pertenece de hecho a H 2 (IRN ) basta ver que
Z
Z
Z
(i u) v dx +
(i u)v dx =
(i f )v dx, v H 1 (IRN ).
(11.5)
IRN
IRN
IRN
Para comprobar (11.5), basta tener en cuenta que por (11.1),

u + u = f
en D0 (IRN ),
y por tanto, (i u) + i u = i f en D0 (IRN ), con lo que, como D(IRN ) es denso en H 1 (IRN ), es inmediato
obtener (11.5).
Para demostrar que si f H m (IRN ) entonces u H m+2 (IRN ), basta razonar por recurrencia sobre m y
usar (11.5).
11.2. Un resultado de regularidad local
11.2.
85
Un resultado de regularidad local
En esta secci
on demostramos el siguiente resultado de regularidad local, tambien denominado de regularidad en el interior.
Teorema 11.2. Sea IRN un abierto no vaco y supongamos que u satisface
1
u
Z H (),
Z
Z
(11.6)
u v dx +
uv dx =
f v dx, v H01 (),
L2 ().
con f
Entonces, para toda D(), se satisface que u H 2 (), y de hecho, si f H m (),
m+2
entonces u H
().
f la prolongacion por cero a IRN \ de u. De acuerdo con la ObserDemostraci
on.- Denotemos w = u,
vacion 4.15, w H 1 (IRN ), y se satisface
1 i N,
g
g
i w =
i u + ui ,
igualdad en el sentido de D0 (IRN ). En consecuencia, dada D(IRN ), para todo 1 i N se satisface

Z
Z
Z
Z
Z
g
g
i wi dx =
i ui dx +
ui i dx =
i ui dx +
ui i dx
IRN
IRN
IZ
RN
Z
Z
(11.7)
=
i ui () dx
i ui dx +
ui i dx.
Teniendo en cuenta que i i = i (i ) ii , y que al ser i D(),

Z
Z
ui (i ) dx = i ui dx,
de (11.7) obtenemos
Z
Z
w dx =
IRN
Z
u () dx 2
Z
(u ) dx
()u dx,
con lo que si observamos que por (11.6), al ser D(),

Z
Z
Z
u () dx = u dx +
f dx,
obtenemos facilmente que

Z
w dx +
IRN
w dx =
IRN
g dx,
D(IRN ),
IRN
f u.
g
f
con g = ff 2u
Basta ahora tener en cuenta que D(IRN ) es denso en H 1 (IRN ) y la expresion de g, para concluir, por
aplicacion del Teorema 11.1 que w H 2 (IRN ), con lo que u H 2 ().
Supongamos ahora que f H 1 (). Observemos que por lo que acabamos de probar (i )u H 2 () por
lo que i ((i )u) H 1 (), o lo que es equivalente i i u + (ii )u H 1 () y por tanto
i i u H 1 ().
As, g H 1 (IRN ) y por tanto w H 3 (IRN ), lo que implica que u H 3 (). Por recurrencia sobre m, se
prueba el resultado general para f H m ().
El siguiente resultado muestra el car
acter de regularidad interior del resultado anterior:
Corolario 11.3. En las condiciones del Teorema anterior, si 0 entonces u H 2 (0 ) si f L2 ()
y u H m+2 (0 ) si f H m ().
Observaci
on 11.4. Observese que los resultados anteriores no dependen de la condici
on de contorno que
satisfaga u.
86
Captulo 11.
11.3.
Regularidad de las soluciones debiles
Teoremas de regularidad para los problemas de Dirichlet, Robin y Neumann homog

eneos
A continuaci
on enunciamos tres resultados de regularidad (para las demostraciones ver [2]).
Teorema 11.5. Sean IRN un abierto de clase C 2 de frontera acotada, f L2 () y u H01 () la
soluci
on debil del problema de Dirichlet
(
u + u = f en ,
(P D)
u=0
sobre .
Entonces, u H 2 (), y de hecho
kukH 2 () Ckf kL2 () ,
con C > 0 una constante que s
olo depende de .
Adem
as, si es de clase C m+2 y f H m (), con m 1 entero, entonces u H m+2 (), y existe una
constante Cm > 0, que s
olo depende de m y , tal que
kukH m+2 () Cm kf kH m () .
En particular, si m > N/2 entonces u C 2 ().
Teorema 11.6. Sean IRN un abierto de clase C 2 de frontera acotada, f L2 (), C 1 () y
u H 1 () la soluci
on debil del problema de Robin
(
u + u = f
en ,
(P R)
~n u + (x)u = 0 sobre .
olo depende de .
Adem
as, si es de clase C m+2 , f H m () y C m+1 () con m 1 entero, entonces u H m+2 (),
y existe una constante Cm > 0, que s
Como consecuencia inmediata tenemos el siguiente resultado:
Teorema 11.7. Sean IRN un abierto de clase C 2 de frontera acotada, f L2 () y u H 1 () la
soluci
on debil del problema de Neumann
(
u + u = f en ,
(P N )
~n u = 0
sobre .
olo depende de .
Adem
as, si es de clase C m+2 y f H m (), con m 1 entero, entonces u H m+2 (), y existe una
constante Cm > 0, que s
Observaci
on 11.8. Los Teoremas 11.5, 11.6 y 11.7 se satisfacen tambien si = IRN
+.
CAPITULO
12
Problemas de valores propios. Descomposici

on espectral
12.1.
Algunos resultados de An
alisis Funcional
A lo largo de este tema usaremos dos resultados de Analisis Funcional que presentamos a continuaci
on.
El primero de ellos es consecuencia del teorema de Hilbert-Schmidt, y cuya demostracion se puede encontrar,
por ejemplo, en los apuntes de la asignatura EDPyAF.
Teorema 12.1. Sean V y H dos espacios de Hilbert reales separables de dimensi
on infinita, tales que:
a) V es denso en H,
b) V , H con inyecci
on compacta.
Sea a(, ) una forma bilineal continua y simetrica sobre V , verificando la condici
on de coercividad
> 0
tal que
a(v, v) kvk2V
v V.
Entonces, existe una sucesi

on creciente de n
umeros reales positivos:
0 < 1 2 ... n ...,
lm n = +,
y existe una base ortonormal de H, {en }n1 , formada por elementos de V , tal que
a(en , v) = n (en , v)H
v V,
n 1.
1
Adem
as, el conjunto { en }n1 constituye una base ortonormal de V si sobre este espacio se considera el
n
producto escalar definido por la forma bilineal a(u, v).
Recordemos ahora el teorema:
Teorema 12.2. (Teorema de alternativa de Fredholm) Sea T L(H) un operador compacto en el
espacio de Hilbert H. Entonces:
a) La ecuaci
on
u Tu = F
posee una y s
olo una soluci
on u H para cada F H si y s
olo si la u
nica soluci
on de la ecuaci
on
homogenea
u Tu = 0
es u = 0.
87
88
Captulo 12.
Problemas de valores propios. Descomposicion espectral
b) Por otra parte, si la ecuaci

on homogenea u T u = 0 posee soluciones distintas del cero, entonces,
dada F H, la ecuaci
on
u T u = F,
posee soluciones si y s
olo si F es ortogonal a todas las soluciones v H de la ecuaci
on homogenea
adjunta
v T v = 0,
y en ese caso el conjunto de las soluciones de u T u = F es una variedad afn de espacio soporte el
formado por las soluciones de la ecuaci
on homogenea adjunta.
12.2.
El espectro del laplaciano con condici

on de Dirichlet
Vamos a considerar el problema de autovalores siguiente

(
u = u en ,
(12.1)
u=0
sobre ,
donde IRN es un abierto acotado no vaco y IR.
Definici
on 12.3. Se dice que IR es un autovalor del problema de Dirichlet (12.1) si (12.1) posee una
soluci
on debil no nula. Se dice en tal caso que la soluci
on u es una autofunci
on asociada al autovalor .
Al conjunto de todos los autovalores se le denomina el espectro.
Observaci
on 12.4. Observese que si u es autofunci
on entonces tambien lo es ku para toda k IR, k 6= 0.
El primer resultado que vamos a obtener estudia el espectro del problema (12.1).
Teorema 12.5. Si IRN es un abierto acotado no vaco, el espectro de (12.1) est
a constituido por una
sucesi
on creciente {n }n1 de n
umeros reales positivos, tal que
0 < 1 2 ... n ...,
lm n = +.
Adem
as, existe una base ortonormal {en }n1 de L2 (), formada por autofunciones asociadas a los autoen
valores n . Por u
ltimo { }n1 constituye una base ortonormal del espacio H01 () dotado del producto
n
escalar (u, v)H 1 () = (u, v)L2 ()N .
0
En consecuencia, para toda f L2 (), la soluci

on debil del problema de Dirichlet
(
u = f en ,
(12.2)
u=0
sobre ,
viene dada por
X
1
(f, en )L2 () en ,
u=
n
n=1
siendo la serie convergente en
H01 ().
Demostraci
on.- La demostraci
on es una aplicacion del Teorema 12.1. En efecto, basta tomar H = L2 ()
y V = H01 (), que gracias al Teorema de Rellich-Kondrachov sigue que V se inyecta de forma compacta el
H.
Por otro lado, sea a : H01 () H01 () 7 IR definida por
Z
a(u, v) =
u v .
12.2. El espectro del laplaciano con condicion de Dirichlet
89
Basta ahora aplicar el Teorema 12.1. Veamos ahora la u

ltima parte del Teorema. En primer lugar, gracias
a que {en } forma una base ortonormal en L2 (), u puede ser escrito como (ver [2])
u=
(u, en )L2 () en .
n=1
Ahora bien, usando que u es soluci

on de (12.2) tenemos que
Z
Z
Z
en u = n (u, en )L2 () ,
(f, en )L2 () =
f en =
en u = n
de donde sigue el resultado.

El siguiente resultado nos garantiza que las autofunciones tienen mas regularidad que la establecida en
los Teoremas 12.5.
Proposici
on 12.6. Sea en una autofunci
on asociada al autovalor n cuya existencia garantiza el Teorema 12.5. Entonces
en C () para todo n 1.
Demostraci
on.- En efecto, dado cualquier abierto 0 , existe D() tal que 1 en 0 . Teniendo
en cuenta que en particular en H 1 (), y que
en + en = (n + 1)en
en D0 (),
del Teorema 11.2 se deduce inmediatamente que en H 3 (0 ).

As pues obtenemos que en H 3 (0 ) para todo 0 . Pero entonces, razonando como antes,
obtenemos que en H 5 (0 ) para todo 0 , y continuando indefinidamente, llegamos a la conclusi
on
de que en H k (0 ) para todo 0 , y para todo k 1. Pero esto, teniendo en cuenta los teoremas
de inyeccion de Sobolev, implica que en es de clase C en toda bola cerrada contenida en , y por tanto
en C ().
El siguiente prop
osito es caracterizar los autovalores n del problema (12.1). Para ello definamos el
cociente de Rayleigh, definido para cada u H01 (), con u 6= 0, por
Z
|u|2
kuk2L2 ()N
R(u) =
= Z
.
kuk2L2 ()
2
u
Proposici
on 12.7.
a) Si n es un autovalor y en es una autofunci
on asociada a dicho autovalor, entonces n = R(en ).
b) Se tiene que
1 =
(12.3)
n =
mn
uH01 (), u6=0
R(u),
max
uspan{e1 ,...,en }, u6=0
R(u).
Demostraci
on.- El primer apartado es evidente. Por otra parte, si u H01 () se tiene que
u=
(u, en )L2 () en ,
n=1
siendo la serie convergente en H01 (), con lo que

kuk2L2 ()N =
X
n=1
|(u, en )L2 () |2 ken k2L2 ()N =
X
n=1
n |(u, en )L2 () |2 1
X
n=1
|(u, en )L2 () |2 = 1 kuk2L2 () ,
90
Captulo 12.
y por tanto
u H01 (),
1 R(u),
con lo que gracias al primer apartado, sigue la primera igualdad de (12.3).

Sea ahora u span{e1 , ..., en } y por tanto
u=
n
X
k ek .
k=1
Entonces,
n
X
R(u) =
k k2
k=1
n
X
n ,
k2
k=1
de donde de nuevo usando el primer apartado sigue la segunda igualdad de (12.3).

De la carectizaci
on anterior se pueden obtener diferentes propiedades de los autovalores, presentamos
solo una de ellas.
Corolario 12.8. Sea 0 y denotemos por 1 (0 ) y 1 () los primeros autovalores de (12.1) en 0 y
respectivamente. Entonces,
1 () 1 (0 ).
Demostraci
on.- Sea u H01 (0 ), entonces si la prolongamos por cero fuera de 0 , la prolongacion pertenece
a H01 (), con lo que H01 (0 ) H01 (). Basta ahora aplicar la Proposicion 12.7, en concreto la primera
igualdad de (12.3).
Observaci
on 12.9.
a) Existen otras caracterizaciones de los autovalores similares a las de la Proposici
on 12.7. No son difciles de demostrar las siguientes (ver [7]):
n =
n =
mn
u{e1 ,...,en } , u6=0
mn
R(u),
max R(u),
W H01 (),dimW =n uW
donde por {e1 , ..., en } denotamos al subespacio vectorial de todas las funciones de H01 () que sean
ortogonales en L2 () a las n primeras autofunciones e1 ,...,en . Observese que la segunda caracterizaci
on
no depende de las autofunciones, y por tanto de ellas es f
acil deducir otras propiedades entre los
autovalores.
b) El primer autovalor 1 tiene otras propiedades interesantes. Por ejemplo, se puede demostrar que si
v H01 () y R(v) = 1 , entonces v es una autofunci
on asociada a 1 . Adem
as, si es conexo,
entonces 1 es un autovalor simple, es decir, 1 < 2 , siendo el espacio de autofunciones asociadas
a 1 de dimensi
on 1, y por otra parte e1 no cambia de signo en , con lo que se puede suponer que
e1 (x) > 0 para todo x (ver [7] para todas estas u
ltimas afirmaciones).
c) La noci
on de autovalores para el operador en con condici
on de Dirichlet, as como el Teorema 12.5, pueden ser generalizados sin dificultad al caso de un operador elptico autoadjunto de la
forma
N
X
Au =
j (aij i u) + cu,
i,j=1
12.3. El espectro del laplaciano con otras condiciones de contorno: el caso de Robin
91
siendo aij = aji L (), c L (), y tales que existe > 0 satisfaciendo
N
X
aij (x)i j ||2
IRN ,
c.p.d. en .
i,j=1
Evidentemente, en este caso, la sucesi

on de autovalores que se obtiene satisface kckL () 1
2 ... n +. (Ver ejercicios.)
12.3.
El espectro del laplaciano con otras condiciones de contorno: el caso

de Robin
Consideremos ahora otras condiciones de contorno, por ejemplo consideremos el caso de Robin, es decir
el problema de autovalores siguiente
(
u + u = u
en ,
(12.4)
~n u + (x)u = 0 sobre ,
donde IRN es un abierto acotado no vaco, L (), 0 y IR. Observese que (12.4) incluye
el caso de Neumann con 0.
Definici
on 12.10. Se dice que IR es un autovalor del problema de Robin (12.4), si (12.4) posee una
soluci
on debil no nula. Se dice en tal caso que la soluci
on u es una autofunci
on asociada al autovalor .
Al conjunto de todos los autovalores se le denomina el espectro.
Con razonamientos completamente an
alogos a los usados en la seccion anterior podemos estudiar con
detalle (12.4). En el siguiente teorema mostramos dichos resultados:
Teorema 12.11. Si IRN es un abierto acotado no vaco, el espectro de (12.4) est
a constituido por una
sucesi
on creciente {n }n1 de n
umeros reales positivos, tal que
0 < 1 2 ... n ...,
lm n = +.
Adem
as, existe una base ortonormal {en }n1 de L2 (), formada por autofunciones asociadas a los autoen
valores n . Por u
ltimo { }n1 constituye una base ortonormal del espacio H 1 () dotado del producto
n
escalar
Z
(u, v)H 1 () = (u, v)L2 ()N + (u, v)L2 () +
uv.
En consecuencia, para toda f L2 (), la soluci

on debil del problema de Robin
(
u + u = f
en ,
(12.5)
~n u + (x)u = 0 sobre ,
viene dada por
X
1
(f, en )L2 () en ,
u=
n
n=1
siendo la serie convergente en H 1 ().

Por u
ltimo, en C ().
92
Captulo 12.
Demostraci
on.- Basta tomar H = L2 (), V = H 1 () y a : H 1 () H 1 () 7 IR definida por
Z
Z
Z
a(u, v) =
u v +
uv +
uv ,
y aplicar nuevamente el Teorema 12.1.

Para obtener la caracterizaci
on de los autovalores, necesitamos definir el siguiente cociente de Rayleigh,
1
definido para u H (), u 6= 0, por
Z
Z
Z
2
2
|u| +
u +
(x)u2
Z
.
R(u) =
2
u
La demostracion es an
aloga a la de la Proposicion 12.7 y por tanto la omitimos.
Proposici
on 12.12.
a) Si n es un autovalor y en es una autofunci
on asociada a dicho autovalor, entonces n = R(en ).
b) Se tiene que
1 =
n =
mn
uH 1 (), u6=0
max
R(u),
uspan{e1 ,...,en }, u6=0
R(u).
Observaci
on 12.13. Similares resultados pueden ser obtenidos para un problema de autovalores con condiciones de contorno mixtas, esto es para el problema siguiente
u = u en ,
(12.6)
u=0
sobre 0 ,
~n u = 0
sobre 1 ,
donde IRN es un abierto acotado no vaco y = 0 1 con |0 | =
6 .
12.4.
Teoremas de alternativa
Como consecuencia del estudio del espectro del operador laplaciano con condiciones de Dirichlet y del
Teorema de alternativa de Fredholm, se obtiene el siguiente resultado para el problema de Dirichlet para el
laplaciano.
Teorema 12.14. Sea IRN un abierto acotado no vaco y consideremos el problema de Dirichlet
(
u = u + f en ,
(12.7)
u=0
sobre ,
siendo IR. Denotemos por j , j IN, los autovalores del laplaciano con condiciones Dirichlet.
(a) Si no es un autovalor del laplaciano en con condici
on de Dirichlet, esto es 6= j para toda j IN,
entonces para cada f L2 () el problema (12.7) posee una y s
olo una soluci
on debil.
(b) Si es un autovalor del laplaciano en con condici
on de Dirichlet, digamos = j para alg
un j IN,
2
entonces, dada f L (), el problema (12.7) posee soluciones debiles si y s
olo si f es ortogonal en
2
L () el espacio de todas las autofunciones asociadas al autovalor j , es decir,
Z
f v = 0 para toda autofunci
on v asociada a j ,
y en tal caso el conjunto de todas las soluciones de (12.7) est

a formado por la suma de una soluci
on
particular m
as el subespacio de autofunciones asociado a j .
12.4. Teoremas de alternativa
93
Demostraci
on.- Consideremos el operador S : L2 () 7 L2 (), f 7 uf , con uf = S(f ) solucion debil del
problema
(
u = f en ,
(12.8)
u=0
sobre .
Veamos que S es lineal, compacto y autoadjunto.
Es claro que S es lineal veamos ahora que es compacto. Sea {fn }n1 L2 () una sucesion acotada
kfn kL2 () C para alguna constante C > 0. Denotemos un = S(fn ) la solucion de (12.8), entonces
kun kH01 () Ckfn kL2 () C 0 ,
para constantes C y C 0 . Teniendo en cuenta el Teorema Rellich-Kondrachov, es facil comprobar que un es
relativamente compacto en L2 (), y por tanto S L(L2 ()) es compacto.
Veamos ahora que S es autoadjunto. Sean f, g L2 (), u = S(f ) y v = S(g). Entonces
Z
Z
Z
(S(f ), g)L2 () =
S(f )gdx =
u(v)dx = (u)vdx = (f, S(g))L2 () .
Es inmediato que u es soluci

on debil de (12.7) si y solo si u = S(u + f ), si y solo si es soluci
on de
(I S)u = S(f ).
Sea 6= 0. Es facil probar que (, u) es autovalor-autofuncion del laplaciano en con condicion de Dirichlet
si y solo si u Su = 0.
Resulta ahora f
acil obtener las conclusiones del teorema por aplicacion del Teorema de alternativa de
Fredholm al operador T = S. En efecto, si = j entonces la ecuacion homogenea u T u = 0 tiene s
olo
la solucion trivial, y por tanto existe una u
nica solucion de (12.7).
Por otra parte, si = j para alg
un j IN la ecuacion u T u = 0 tiene soluciones no triviales. En este
caso, hay solucion si, y s
olo si, para cada v autofuncion asociada a j se tiene que
Z
Z
Z
Z
1
1
1
0=
S(f )v =
u(v) =
v(u) =
vf,
j
j
j
o equivalentemente
Z
0=
vf.
Por u
ltimo, si = 0 el problema (12.7) tiene una u
nica solucion.
Observaci
on 12.15. Similares resultados pueden ser obtenidos para problemas con condiciones de contorno
Robin, Neumann y mixtas.
Bibliografa
[1] Adams R. A. Sobolev Spaces, Academic Press, New York, 1975.

[2] Brezis H. Analyse fonctionelle. Theorie et applications, Masson, Pars, 1983.
[3] Casas E. Introducci
on a las Ecuaciones en Derivadas Parciales, Servicio de Publicaciones de la Universidad de Cantabria, Santander, 1992.
[4] Dieudonne J. Fundamentos de An
alisis Moderno, Reverte, Barcelona, 1970.
[5] Gilbarg D. & Trudinger N.S. Elliptic partial differential equations of second order, Springer-Verlag,
1983.
[6] John F. Partial differential equations, Springer-Verlag, 1982.
[7] Kesavan S. Topics in Functional Analysis and Applications, John Wiley & Sons, New York, 1989.
[8] Lions J.L. & Magenes E. Problemes aux limites non homog`enes, Dunod, Pars, 1968.
[9] Necas J. Les methodes directes en theorie des equations elliptiques, Ed. Masson, 1967.
[10] Peral Alonso I. Primer Curso de Ecuaciones en Derivadas Parciales, Addison Wesley/Universidad
Autonoma de Madrid, 1995.
[11] Renardy M. & Rogers R. C. An introduction to Partial Differential Equations, Springer-Verlag, BerlnHeidelberg-New York, 1993
[12] Schwartz L. Metodos matem
aticos de la Fsica, Selecciones Cientficas, 1969.
[13] Schwartz L. Theorie des Distributions, Hermann, Pars, 1973.
[14] Vo-Khac Khoan Distributions. Analyse de Fourier et Operateurs aux Derivees Partielles, Librairie
Vuibert, Pars, 1972.
95

Metodos Teoricos de La Fisica

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Metodos Teoricos de La Fisica

Cargado por

Copyright:

Formatos disponibles

Indice general

1.1. Definiciones y notaci

1.2.2. Caso general . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.1. Espacios de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

4.1. Espacios de Sobolev. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

5.1. Teorema de Prolongaci

6.1. Teoremas de Inyecci

6.2. Teoremas de Inyecci

7.3. Normas equivalentes en H 1 () . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

10.1. Principio del M

11.1. Un resultado de regularidad en IRN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83

12.1. Algunos resultados de An

es una EDP de cuarto orden.

donde, por fijar ideas, F : U IR, con U IRN

abierto no vaco, es una funci

Para simplificar la notaci

(Hessiano de u) y con esta notaci

Clasificacion de las EDPs. Caractersticas.

d) F (x, u(x), Du(x), D2 u(x)) = 0

Se dice entonces que u es soluci

donde aij , bi , c y f son funciones dadas en

y las EDPs cuasilineales, cuya forma general es

aij (x, u, Du)

Nos planteamos en esta secci

Trabajaremos con una ecuaci

a(x, y)uxx + 2b(x, y)uxy + c(x, y)uyy = d(x, y, u, ux , uy )

a) Supongamos que los coeficientes a, b y c son constantes. La expresi

representa geometricamente en coordenadas cartesianas una hiperbola si ac b2 < 0, una elipse si

Clasificacion de las EDPs. Caractersticas.

Llevando este cambio a la ecuaci

A(s, t)uss + 2B(s, t)ust + C(s, t)utt = g(s, t, u, us , ut )

cuyos coeficientes vienen dados por

Supongamos que la ecuaci

e y teniendo en cuenta que A y C son nulos, deducimos que B 2 > 0.

Supongamos ahora que la ecuaci

Consideramos en este caso la ecuaci

donde Ip e Iq denotan respectivamente la matriz identidad p p y q q.

Clasificacion de las EDPs. Caractersticas.

Teorema 1.8. Con la notaci

En estas nuevas variables, la ecuaci

w(y 1, ..., yN 1 , t) = v(y 1, ..., yN 1 , t)et ,

se obtiene la denominada forma can

= l(y 1, ..., yN 1 , t).

Resolucion del problema de Dirichlet-Laplace.

b) Diremos que u es una funci

y en consecuencia, integrando entre 0 y ,

2.2. Principio del maximo fuerte. Consecuencias

) . Para cada funci

para todo B(0, ), siendo G la funci

Un resultado mas refinado que este Principio, es el siguiente:

Resolucion del problema de Dirichlet-Laplace.

M IR y el conjunto 1 = {x ; u(x) = M } es no vaco.

para todo (0, ]. Esto u

Tambien podemos concluir:

Tenemos tambien el siguiente importante resultado:

u C () y u(x) = 0 en todo punto x .

) . Sea w C 2 (B(, ))C 0 (B(,

de la que sabemos que w C (B(, )).

0 es un compacto contenido en el abierto , la distancia dist(

para todo i = 1, ..., N.

Analizamos en esta secci

Resolucion del problema de Dirichlet-Laplace.

tal que B . La funci