Fenomenos 1

Indice general
1. Clasicaci on de las EDPs. Caractersticas. 3

1.1. Deniciones y notacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Reduccion de EDP semilineales de segundo orden a la forma canonica . . . . . . . . . . . . . 5
1.2.1. Ecuacion semilineal de segundo orden para N = 2 . . . . . . . . . . . . . . . . . . . . 5
1.2.2. Caso general . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2. Principios del maximo. Resolucion del problema de Dirichlet-Laplace: Metodo de Pe-
rron. 9
2.1. Funciones armonicas y subarmonicas. Primeras propiedades . . . . . . . . . . . . . . . . . . . 10
2.2. Principio del maximo fuerte. Consecuencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.3. Resolucion 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 T() . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.3. Convolucion de funciones. Sucesiones regularizantes . . . . . . . . . . . . . . . . . . . . . . . . 21
3.4. El espacio de las distribuciones sobre . Convergencia de distribuciones . . . . . . . . . . . . 24
3.5. Derivacion de distribuciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.6. El producto de una funcion C
por una distribucion . . . . . . . . . . . . . . . . . . . . . . . 28

3.7. Resultados comlementarios: Primitivas en T
t
(I) . . . . . . . . . . . . . . . . . . . . . . . . . . 28
4. Espacios de Sobolev. Primeras propiedades 31
4.1. Espacios de Sobolev. Deniciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.2. Primeras propiedades de los espacios de Sobolev. Teorema de Friedrichs . . . . . . . . . . . . 35
5. Teoremas de Prolongacion y de Densidad en los Espacios de Sobolev 41
5.1. Teorema de Prolongacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
5.2. Teorema de densidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
6. Teoremas de Inyeccion continua y compacta en los Espacios de Sobolev 45
6.1. Teoremas de Inyeccion continua . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
1
2

INDICE GENERAL
6.2. Teoremas de Inyeccion compacta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
6.3. Anexo: Dos resultados de compacidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
7. Aplicacion traza. Caracterizacion de H
k
0
(). Normas equivalentes 55
7.1. Espacios L
p
() . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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. Formulacion debil 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 maximo. Unicidad de solucion debil del problema de Dirichlet 79
10.1. Principio del Maximo debil . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
10.2. Unicidad de solucion debil del problema de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . 81
11.Regularidad de las soluciones debiles 83
11.1. Un resultado de regularidad en IR
N
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
11.2. Un resultado de regularidad local . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
11.3. Teoremas de regularidad para los problemas de Dirichlet, Robin y Neumann homogeneos . . 86
12.Problemas de valores propios. Descomposicion espectral 87
12.1. Algunos resultados de Analisis 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
CAP
ITULO 1
Clasicaci on de las EDPs. Caractersticas.
1.1. Deniciones y notacion
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 mas
variables independientes, y tal que en dicha ecuacion aparecen derivadas parciales, respecto de las variables
independientes, de la funcion incognita. 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 incognita de
las dos variables independientes x y y, entonces la ecuacion
u +

4
u
x
4
+u
2
= 0
es una EDP de cuarto orden.
Denicion 1.1. Sea N 1 un entero. Una EDP de segundo orden en las N variables independientes
x
1
, x
2
, ..., x
N
y en la funcion incognita u = u(x
1
, x
2
, ..., x
N
), es una expresion de la forma
(1.1) F
_
x
1
, x
2
..., x
N
, u,
u
x
1
,
u
x
2
, ...,
u
x
N
,

2
u
x
2
1
, ...,

2
u
x
i
x
j
, ...,

2
u
x
2
N
_
= 0,
donde, por jar ideas, F : | IR, con | IR
N
2
+2N+1
abierto no vaco, es una funcion continua dada, es
decir, con la notacion habitual, F C
0
(|).
Para simplicar la notacion, es costumbre denotar
x = (x
1
, x
2
..., x
N
), u = u(x), u = Du =
_
u
x
1
,
u
x
2
, ...,
u
x
N
_
,
el denominado gradiente, y
D
2
u =
_
2
u
x
2
1
, ...,

2
u
x
i
x
j
, ...,

2
u
x
2
N
_
,
(Hessiano de u) y con esta notacion escribir la EDP (1.1) como
(1.2) F(x, u, Du, D
2
u) = 0.
3
4 Captulo 1. Clasicacion 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 solucion 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:
Denicion 1.2. Una solucion clasica de (1.2) es cualquier pareja (U, u) tal que
a) U IR
N
es un abierto no vaco,
b) u : U IR funcion, u C
2
(U),
c) (x, u(x), Du(x), D
2
u(x)) | x U y
d) F(x, u(x), Du(x), D
2
u(x)) = 0 x U.
Se dice entonces que u es solucion 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 ultimas 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 ultimo tipo de EDP de
segundo orden.
A continuacion, introducimos un caso particular muy importante de la EDP (1.2).
Denicion 1.3. Una EDP lineal de segundo orden en la incognita u y en las variables independientes
x = (x
1
, x
2
, ..., x
N
), es una EDP de la forma
(1.3)
N
i,j=1
a
ij
(x)

2
u
x
i
x
j
+
N
i=1
b
i
(x)
u
x
i
+c(x)u = f(x),
donde a
ij
, b
i
, c y f son funciones dadas en C
0
(), con un abierto de IR
N
. A las funciones a
ij
, b
i
y c se
las denominan los coecientes de (1.3), mientras que la funcion f es denominada el termino independiente
de la ecuacion.
Si f 0, se dice que (1.3) es homogenea. Si las funciones a
ij
, b
i
y c son todas constantes, se dice que
(1.3) es una EDP lineal de segundo orden con coecientes constantes.
Observacion 1.4. En (1.3) siempre supondremos, lo cual no es restrictivo, que a
ij
a
ji
. Evidentemente,
una soluci on clasica de (1.3) es cualquier par (U, u) tal que U sea un abierto no vaco, u C
2
(U), y
N
i,j=1
a
ij
(x)
2
u(x)
x
i
x
j
+
N
i=1
b
i
(x)
u(x)
x
i
+c(x)u(x) = f(x) x U.
Observacion 1.5. Otras dos clases muy importantes de EDP de segundo orden son las semilineales, que
son de la forma
N
i,j=1
a
ij
(x)

2
u
x
i
x
j
= f(x, u, Du),
y las EDPs cuasilineales, cuya forma general es
N
i,j=1
a
ij
(x, u, Du)

2
u
x
i
x
j
= f(x, u, Du).
1.2. Reduccion de EDP semilineales de segundo orden a la forma canonica 5
1.2. Reduccion de EDP semilineales de segundo orden a la forma canonica
Nos planteamos en esta seccion establecer primero una clasicacion de ecuaciones semilineales de segundo
orden en el caso particular N = 2, y luego considerar el caso de ecuaciones lineales con coecientes constantes
en el caso de N variables. Probaremos que estas pueden reducirse a una forma simplicada denominada
canonica.
1.2.1. Ecuacion semilineal de segundo orden para N = 2
Trabajaremos con una ecuacion semilineal de segundo orden en dos variables independientes (que de-
notaremos ahora x e y). Cambiaremos la notacion utilizada hasta ahora y denotaremos u
x
, u
y
, u
xx
, ... a
las distintas derivadas parciales de la funcion u respecto de las variables independientes. Con esta notacion
consideramos
(1.4) a(x, y)u
xx
+ 2b(x, y)u
xy
+c(x, y)u
yy
= d(x, y, u, u
x
, u
y
)
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:
T(x, y) = a(x, y)c(x, y) b
2
(x, y).
As podemos denir
Denicion 1.6. La ecuaci on (1.4) es llamada hiperbolica, parabolica o elptica en el punto (x, y) G si el
discriminante T de la ecuaci on en el punto (x, y) es negativo, nulo o positivo respectivamente. La ecuaci on
(1.4) es hiperbolica, parab olica o elptica en G si lo es en cada uno de sus puntos.
Observacion 1.7. a) Supongamos que los coecientes a, b y c son constantes. La expresion
(x, y)
_
a b
b c
__
x
y
_
= 0,
representa geometricamente en coordenadas cartesianas una hiperbola si ac b
2
< 0, una elipse si
ac b
2
> 0 y una parabola si ac b
2
= 0. Ello justica la terminologa empleada en la denicion
anterior.
b) Es claro que si una ecuacion es hiperb olica o elptica en un punto (x
0
, y
0
) lo es en un entorno del
punto.
Consideramos la ecuacion semilineal (1.4). Nos planteamos encontrar un cambio local de variables inde-
pendientes en un entorno O de un punto (x
0
, y
0
) G, dado por
_
s = (x, y)
t = (x, y)
con , C
2
(O)
con jacobiano
x
y

y
x
no nulo en O y tal que la ecuacion (1.4) se transforme en u
st
= g(s, t, u, u
s
, u
t
)
con (s, t) variando en el abierto imagen. Supondremos tambien que no todos los coecientes son nulos en
(x
0
, y
0
). Utilizando la regla de la cadena y tras un sencillo calculo obtenemos
u
x
= u
s
x
+u
t
x
,
u
y
= u
s
y
+u
t
y
,
u
xx
= u
ss
(
x
)
2
+ 2u
st
x
+u
tt
(
x
)
2
+u
s
xx
+u
t
xx
,
u
xy
= u
ss
y
+u
st
(
x
y
+
y
x
) +u
tt
y
+u
s
xy
+u
t
xy
,
u
yy
= u
ss
(
y
)
2
+ 2u
st
y
+u
tt
(
y
)
2
+u
s
yy
+u
t
yy
.
Llevando este cambio a la ecuacion (1.4) y pasando todas las derivadas de primer orden al segundo miembro,
llegamos a la ecuacion en las nuevas variables
(1.5) A(s, t)u
ss
+ 2B(s, t)u
st
+C(s, t)u
tt
= g(s, t, u, u
s
, u
t
)
cuyos coecientes vienen dados por
A = a(
x
)
2
+ 2b
x
y
+c(
y
)
2
,
B = a
x
x
+b(
x
y
+
y
x
) +c
y
y
,
C = a(
x
)
2
+ 2b
x
y
+c(
y
)
2
.
El discriminante de la nueva ecuacion (1.5) viene dado por
T(s, t) = (
x
y

y
x
)
2
T(x, y)
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
(1.6) a(
x
)
2
+ 2b
x
y
+c(
y
)
2
= 0.
Una curva caracterstica de (1.4) es cualquier curva plana denida de manera implcita por la igualdad
(x, y) = k, con k IR jado, y solucion 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 hiperbolico
Supongamos que la ecuacion (1.4) es hiperbolica en (x
0
, y
0
) y por comodidad, supongamos que a(x
0
, y
0
) ,=
0 (si fuese c(x
0
, y
0
) ,= 0 razonaramos de manera analoga intercambiando los papeles de las variables; si ambos
coecientes fuesen cero, ya tendramos la ecuacion en su forma canonica). Para anular los coecientes 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) a
2
+ 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.
De la expresion del discriminante

T y teniendo en cuenta que A y C son nulos, deducimos que B
2
> 0.
Dividiendo la nueva ecuacion por el coeciente B, llegamos a la forma canonica
u
st
= F(s, t, u, u
s
, u
t
).
Un cambio de variables adicional = s +t, = s t, transforma esta ecuacion en
u
= G(, , u, u
, u
),
en la conocida ecuacion de ondas semilineal. En este caso hiperbolico, se dice que esta ultima ecuacion es la
forma canonica de (1.4).
1.2. Reduccion de EDP semilineales de segundo orden a la forma canonica 7
1.2.1.2. Caso parabolico
Supongamos ahora que la ecuacion (1.4) es parabolica en (x
0
, y
0
) y, de nuevo, que el coeciente a
es no nulo en (x
0
, y
0
). En este caso, (1.7) solo tiene una raz,
1
, y podemos tomar como la solucion
correspondiente a
1
y como una funcion regular tal que el jacobiano
x
y

y
x
sea no nulo en un
entorno de (x
0
, y
0
). En este caso el coeciente A es identicamente nulo y, gracias al caracter parabolico de
la ecuacion, B
2
AC = 0, obtenemos B 0. Dividiendo la ecuacion por el coeciente C (necesariamente
no nulo) llegamos
u
tt
= F(s, t, u, u
s
, u
t
),
la forma canonica para ecuaciones parabolicas semilineales de segundo orden en dos variables independientes.
1.2.1.3. Caso elptico
Este caso es el mas 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
y despues tomamos
= Re(
), = Im(
).
No es difcil comprobar que este cambio tiene jacobiano no nulo, que el coeciente B de la ecuacion en
las nuevas variables se anula y que A = C ,= 0. Dividiendo por este ultimo coeciente, obtenemos la forma
canonica:
u
ss
+u
tt
= F(s, t, u, u
t
, u
s
)
que es la ecuacion de Laplace semilineal.
1.2.2. Caso general
Consideramos en este caso la ecuacion lineal de segundo orden con coecientes constantes
(1.8)
N
i,j=1
a
ij
2
u
x
i
x
j
+
N
i=1
b
i
u
x
i
+cu = f,
con f C
0
() dada, siendo IR
N
abierto, y a
ij
= a
ji
IR, b
i
IR y c IR dados. Denotemos por
A a la matriz simetrica A = (a
ij
). 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 = PDP
t
, con D =
_
_
_
I
p
0 0
0 I
q
0
0 0 0
_
_
_
,
donde I
p
e I
q
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 = (b
1
, ..., b
N
)
t
, es no nula.
Se puede demostrar el resultado siguiente (ver [3]):
Teorema 1.8. Con la notacion precedente, consideremos el cambio de variables independientes y de funcion
incognita dado por
y = P
1
x, v(y) = u(Py)e
g(y)
,
donde
g(y) =
1
2
p
i=1
[P(b)]
i
y
i

1
2
p+q
i=p+1
[P(b)]
i
y
i
.
En estas nuevas variables, la ecuacion (1.8) se transforma, seg un los casos, como sigue:
a) Si (1.8) es elptica, la ecuacion se transforma en
(1.9)
N
i=1
2
v
y
2
i
+kv = h(y),
donde k IR y h C
0
_
P
1
()
_
.
b) Si la ecuacion (1.8) es hiperbolica, esta se transforma en
(1.10)

2
v
y
2
N
N1
i=1
2
v
y
2
i
+kv = h(y),
donde k IR y h C
0
_
P
1
()
_
.
c) Si la ecuacion (1.8) es parabolica, esta se transforma en
(1.11) [P(b)]
N
v
y
N
+
N1
i=1
2
v
y
2
i
+kv = h(y),
donde k IR, h C
0
_
P
1
()
_
, y = 1 si p = N 1 o = 1 si q = N 1.
Observacion 1.9. En los casos a) y b) del teorema precedente, las ecuaciones (1.9) y (1.10) son denomi-
nadas, respectivamente, la forma canonica de (1.8) cuando esta es elptica o cuando es hiperbolica. En el
caso c), multiplicando si es preciso (1.11) por 1, esta queda en la forma
(1.12)
v
y
N
N1
i=1
2
v
y
2
i
+v = l(y),
donde IR con ,= 0, IR, l C
0
_
P
1
()
_
.
Si en (1.12) hacemos el cambio de variables
y
N
= t, w(y 1, ..., y
N1
, t) = v(y 1, ..., y
N1
, t)e
t
,
se obtiene la denominada forma canonica de la ecuaci on (1.8) en el caso parabolico:
w
t

N1
i=1
2
w
y
2
i
=

l(y 1, ..., y
N1
, t).
Observacion 1.10. Es posible dar una clasicacion de ecuaciones en derivadas parciales m as generales.
En concreto, una clasicaci on de ecuaciones y sistemas de ecuaciones lineales de orden superior a dos y una
generalizacion para ecuaciones o sistemas de ecuaciones no lineales. Para profundizar algo mas en el tema,
cons ultese [11].
CAP
ITULO 2
Principios del maximo. Resolucion del problema de
Dirichlet-Laplace: Metodo 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 mas. Sea un abierto acotado no vaco de IR
N
(N 2 entero). Suponemos jadas
f C
0
(), no identicamente nula, y g C
0
(), y nos planteamos el problema:
(PDP)
_
u = f en ,
u = g sobre .
Del problema (PDP) podemos armar los siguientes hechos:
a) Si (PDP) posee solucion clasica, esta es unica.
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
regularidad de y de g, ni la hipotesis f C
0
(
) es suciente para garantizar existencia de solucion

clasica de (PDP). 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 Seccion 2.4).
c) Si es una bola, f acotada y -holderiana en y g C
0
(), se sabe que existe una unica solucion
de (PDP).
d) Por ultimo, tambien conocemos que si somos capaces de resolver el problema de Dirichlet para la
ecuacion de Laplace,
(PDL)
_
u = 0 en ,
u = g sobre ,
resolveremos (PDP) (ver Seccion 2.4).
Luego el objetivo fundamental de este tema es resolver (PDL). Para ello usaremos el metodo de Pe-
rron, tambien denominado metodo de las funciones subarmonicas, que se basa en el principio del maximo,
propiedades de funciones armonicas y la solucion del problema en bolas.
A lo largo del tema, denotaremos por [x[ la norma eucldea de x IR
N
.
9
10 Captulo 2. Resolucion del problema de Dirichlet-Laplace.
2.1. Funciones armonicas y subarmonicas. Primeras propiedades
Denicion 2.1. Sea u C
0
() una funcion dada. Para cada y cada > 0 tales que

B(, ) , se
dene la media esferica de u sobre B(, ), denotada M
u
(, ), como
M
u
(, ) =
1
N1
_
B(,)
u(x) d(x),
donde
N
es la medida supercial de la esfera unidad (respecto de la norma eucldea) de IR
N
.
Denicion 2.2. a) Diremos que u es una funcion armonica en si u C
0
(), y para todo y
todo > 0 tales que

B(, ) , se satisface
(2.1) u() = M
u
(, ).
b) Diremos que u es una funcion subarmonica en si u C
0
(), y para todo y todo > 0 tales
que

B(, ) , se satisface
(2.2) u() M
u
(, ).
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 funcion constante es armonica en , y que el conjunto de todas las funciones
armonicas en constituyen un subespacio vectorial de C
0
().
Evidentemente, toda funcion armonica en es subarmonica en . La suma de funciones subarmonicas
en es tambien una funcion subarmonica en , y el producto de una funcion subarmonica en por un
n umero real no negativo es asimismo una funci on subarmonica en .
Dos propiedades inmediatas de las funciones armonicas en son las siguientes:
Proposicion 2.5. Si u es una funcion armonica en , entonces para cada y cada > 0 tales que
B(, ) se satisface
u() =
N
N
_
B(,)
u(x) dx
Demostracion.- Si y > 0 son tales que

B(, ) , entonces, como u es armonica en , para todo
r (0, ] se tiene u() = M
u
(, r), es decir:
N
r
N1
u() =
_
B(,r)
u(x) d(x), r (0, ],
y en consecuencia, integrando entre 0 y ,
N
N
u() =
_

0
_
_
B(,r)
u(x) d(x)
_
dr =
_
B(,)
u(x) dx.
Proposicion 2.6. Sea u
n
n1
una sucesion de funciones armonicas en , tal que u
n
u cuando n
uniformemente en compactos de (es decir, lm
n
(sup
K
[u
n
u[) = 0 para todo compacto K ). En estas
condiciones, la funcion u es tambien armonica en .
2.2. Principio del maximo fuerte. Consecuencias 11
Demostracion.- Evidentemente u C
0
(). Fijemos y > 0 tal que

B(, ) . Para cada funcion
u
n
se satisface u
n
() = M
u
n
(, ), con lo que teniendo en cuenta que B(, ) es compacto, es inmediato
comprobar que u tambien satisface u() = M
u
(, ).
Observese que para las funciones subarmonicas se tienen resultados similares a las dos proposiciones
precedentes.
A continuacion demostramos el siguiente resultado:
Proposicion 2.7. Sea u C
2
() una funcion dada.
a) La funcion u es subarm onica en si y solo si u(x) 0 en todo punto x .
b) Si u(x) = 0 en todo punto x , entonces u es armonica en .
Demostracion.- Fijemos y > 0 tales que

B(, ) , y denotemos v(y) = u( + y) para cada
y

B(0, ).
Como v C
2
(

B(0, )), por la formula de representacion de Green obtenemos
(2.3) v() =
_
B(0,)
G(y, )
y
v(y) dy +
_
B(0,)
H(y, )v(y) d(y),
para todo B(0, ), siendo G la funcion de Green para la bola B(0, ), y H el correspondiente n ucleo de
Poisson dado por
H(y, ) =

2
[[
2
N
[y [
N
Si u(x) = 0 en todo punto x , entonces de (2.3) escrito en = 0 obtenemos
u() = v(0) =

2
_
B(0,)
u( +y)
[y[
N
d(y)
=
1
N1
_
B(0,)
u( +y) d(y) = M
u
(, ),
y por tanto u es armonica 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 ,= 0, obtenemos que u() M
u
(, ), y por tanto u es
subarmonica en .
Finalmente, si es un punto tal que u() > 0, tomando un > 0 tal que

B(, ) y u > 0
en

B(, ), y nuevamente teniendo en cuenta que G(y, 0) < 0 en todo punto y B(0, ) tal que y ,= 0, es
inmediato obtener de (2.3) que u() > M
u
(, ), y por tanto u no es subarmonica en .
En la seccion siguiente vamos a ver que el recproco de la armacion b) de la Proposicion precedente es
tambien cierto.
2.2. Principio del maximo fuerte. Consecuencias
Recordemos que el Principio del maximo debil arma que si es acotado y u C
2
() C
0
(
) es
subarmonica en , entonces
max
u = max
u.
Un resultado mas renado que este Principio, es el siguiente:
Teorema 2.8. (Principio del maximo fuerte) Sea un abierto conexo (no necesariamente acotado),
y supongamos que u C
0
() es una funcion subarmonica en . En estas condiciones, si existe un punto
x tal que u( x) = sup
u, forzosamente es entonces u constante en .

Demostracion.- 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 IR
N
. En efecto, si
1
, podemos jar un > 0 tal que
B(, ) , y obtenemos
M = u() M
u
(, ) =
1
N1
_
B(,)
u(x) d(x) M, (0, ],
es decir,
0 = u() M
1
N1
_
B(,)
u(x) d(x) M 0, (0, ],
y por consiguiente
0 =
1
N1
_
B(,)
u(x) d(x) M =
1
N1
_
B(,)
(u(x) M) d(x),
para todo (0, ]. Esto ultimo implica que u M es identicamente nula en B(, ) cualquiera que sea
(0, ], es decir,

B(, )
1
.
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
funcion arm onica en , y u no es identicamente constante en . En tal caso,
nf
u < u(x) < sup
u, x .
Tambien podemos concluir:
Corolario 2.10. Sea un abierto conexo acotado, y supongamos que u C
0
(
) es una funci on subarmonica

en y u no es identicamente constante en . En tal caso,
u(x) < max
u, x .
Demostracion.- Por el Teorema 2.8, u(x) < sup
u para cada x . Pero, como u C

0
(
), se tiene que
sup
u = max
u, y evidentemente el maximo de u en

se ha de alcanzar en un punto de .
Tenemos tambien el siguiente importante resultado:
Corolario 2.11. Sea un abierto conexo acotado, y supongamos que u C
0
(
) es una funcion armonica en

. Si v C
0
(
) es una funcion subarmonica en tal que v u sobre , entonces tambien es v(x) u(x)
en todo punto x .
Demostracion.- Es inmediato que vu C
0
(
) y que vu es subarmonica en . Si vu es identicamente

constante en , como vu 0 sobre , forzosamente vu 0 en . Si vu 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:
Proposicion 2.12. Si u C
0
() es armonica en (siendo abierto no vaco cualquiera), entonces
u C
() y u(x) = 0 en todo punto x .

2.3. Resolucion del Problema de Dirichlet para la ecuacion de Laplace: metodo de Perron 13
Demostracion.- Fijemos y > 0 tales que

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

B(, )) la solucion
clasica de
_
w = 0 en B(, ),
w = u sobre B(, ),
de la que sabemos que w C
(B(, )).
Como u y u son subarmonicas en B(, ), continuas en

B(, ), y satisfacen u = w y u = w en
B(, ), por el Corolario 2.11 podemos armar 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 Proposicion 2.12, tenemos garantizado que si una funcion
es armonica en , todas sus derivadas parciales de cualquier orden tambien lo son.
Proposicion 2.14. (estimacion interior del gradiente de una funcion armonica) Sean un abierto
de IR
N
y
t
abierto acotado no vaco tal que

t
. Bajo estas condiciones, existe una constante
C > 0, que unicamente depende de N, y
t
, tal que para toda funcion u armonica en se satisface
sup
[u[ C sup
[u[.
Demostracion.- Como

t
es un compacto contenido en el abierto , la distancia dist(
t
, IR
N
) (0, +]
(se recuerda que, por denicion, dist(
t
, ) = +).
En consecuencia, existe un > 0 tal que

B(, ) para todo
t
(dicho solo depende de y de
t
).
Fijemos un tal . Como u es armonica 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,
i
u() =
N
N
_
B(,)
i
u(x) dx =
N
N
_
B(,)
u(x)n
i
(x) d(x),
t
,
y en consecuencia
[
i
u()[
N
_
1
N1
_
B(,)
[u(x)[ d(x)
_
sup
[u[,
t
,
para todo i = 1, ..., N.
2.3. Resolucion del Problema de Dirichlet para la ecuacion de Laplace: meto-
do de Perron
Analizamos en esta seccion la existencia de solucion clasica al problema de Dirichlet para la ecuacion de
Laplace,
(PDL)
_
u = 0 en ,
u = g sobre ,
utilizando para ello el denominado metodo de las funciones subarmonicas o metodo de Perron.
Partimos de la observacion de que si IR
N
es un abierto conexo y acotado no vaco, dadas u
C
2
() C
0
(
) armonica en , y v C
0
(
) subarmonica en y satisfaciendo v u sobre , entonces,

de acuerdo con el Corolario 2.11 al principio fuerte del maximo, v u en todo

. En particular, en estas
circunstancias, para cada punto x el valor de u en x ha de ser el maximo de los valores que toman en
dicho punto las funciones subarmonicas en que sean de clase C
0
(
) y que tomen sobre valores menores

o iguales que u. Vamos a ver como esta observacion permite establecer la existencia de solucion clasica al
problema (PDL) para una clase bastante amplia de dominios acotados.
Denicion 2.15. Sean IR
N
un abierto no vaco, u C
0
() subarmonica en y B una bola abierta
tal que

B . Se denomina levantamiento armonico de u en B a la funcion U denida por
U(x) =
_
u(x) si x

B
u(x) si x

B,
donde por u C
2
(B) C
0
(

B) denotamos a la soluci on del problema (PDL) en B con dato de contorno
u = u sobre B.
En el caso particular en que u C
0
(
), el levantamiento armonico de u en B se considera extendido a
por
U(x) =
_
u(x) si x

B,
u(x) si x

B.
Para el levantamiento armonico tenemos el resultado siguiente:
Proposicion 2.16. Sean IR
N
un abierto no vaco, u C
0
() subarmonica en y B una bola abierta
tal que

B . La funcion U levantamiento armonico de u en B satisface:
(2.4) U C
0
(), U u en , U es subarm onica en .
Ademas, si u C
0
(
), entonces U C
0
(
), siendo U = u sobre .
Demostracion.- Es inmediato comprobar que U C
0
() (o que U C
0
(
) en el caso en que u C
0
(
)).
Por otro lado, se tiene U u en

B, mientras que la desigualdad U u en B es consecuencia del
Corolario 2.11 aplicado al abierto B y a las funciones U y u.
Veamos que U es subarmonica en y sea . Si

B es facil deducir (2.2) pues u es subarmonica
en . Para B llegamos a la desigualdad (2.2) (en este caso igualdad) pues u es armonica en B. Por
ultimo, si B, sea
0
> 0 tal que se tiene (2.2) para u. As, si (0,
0
]
U() = u()
1
N1
_
B(,)
u(x) d(x)
1
N1
_
B(,)
U(x) d(x),
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 solucion clasica al problema (PDL).
De manera general, dada : IR, denotemos a partir de ahora
(2.5) S
= v C
0
(
) : v es subarmonica en , y v sobre ,
(2.6) u
(x) = sup
vS
v(x), x .
Sobre la funcion u
con valores en [, +] as denida, se tiene el siguiente resultado:

Proposicion 2.17. Si IR
N
es un abierto acotado conexo no vaco, y : IR es una funcion
acotada, entonces la funcion u
denida por (2.5) y (2.6) es armonica en .

Demostracion.- En primer lugar, como ,= y es acotada, nf
y sup
pertenecen a IR. La funcion

constante v nf
pertenece a S
, con lo que S
,= . 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. Resolucion del Problema de Dirichlet para la ecuacion de Laplace: metodo de Perron 15
En resumen, bajo las condiciones de la proposicion, podemos armar que u
(x) IR y
nf
(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.
Sea pues
0
jado, y tomemos un
0
> 0 tal que

B(
0
,
0
) . Denotemos B
0
= B(
0
,
0
).
Por denicion de u
, existe una sucesi on v

n
S
tal que lm
n
v
n
(
0
) = u
(
0
). Como es inmediato
comprobar que si v
n
S
, entonces max(v
n
,nf
) tambien pertenece a S
, podemos suponer que la sucesion

v
n
ha sido tomada satisfaciendo ademas
nf
v
n
(x) sup
, x

,
para cualquier n.
Denotemos por V
n
al levantamiento armonico de v
n
en B
0
. Es inmediato comprobar que V
n
S
, con
lo que, como V
n
v
n
en

,
lm
n
V
n
(
0
) = u
(
0
).
y, por el Corolario 2.10 al principio del maximo fuerte,
nf
V
n
(x) sup
, x

,
para cualquier n.
Por otra parte, si tomamos B = B(
0
,

0
2
), por la Proposicion 2.14 podemos armar que existe una
constante C > 0 tal que
sup
B
[V
n
[ C sup
B
0
[V
n
[

C n,
y todas las V
n
son armonicas en B.
Por el teorema de Ascoli-Arzela y la Proposicion 2.6, extrayendo eventualmente una subsucesion de las
V
n
, subsucesion que seguiremos denotando igual, podemos armar la existencia de una funcion v C
0
(

B),
armonica en B y tal que V
n
v en C
0
(

B).
Solo queda comprobar que v = u
en B. Evidentemente,
v(
0
) = lm
n
V
n
(
0
) = u
(
0
),
y v u
en

B. Si
B es un punto donde v(
) < u
), entonces existe w S
tal que v(
) < w(
)
u
). Denotando w
n
= max(w, V
n
), y W
n
al levantamiento armonico de w
n
en B
0
, podemos concluir,
razonando como se hizo con anterioridad para las V
n
, que, con extraccion eventual de una subsucesion,
W
n
w
en C
0
(

B). As, llegamos a la existencia de un par de funciones v y w
en C
0
(

B), armonicas en B,
tales que w
v en

B, w
) > v(
) y w
(
0
) = v(
0
), en contradiccion con el principio del maximo.
Como consecuencia evidente de la Proposicion 2.17, se tiene que si g C
0
(), con IR
N
abierto
acotado y conexo no vaco, entonces la funcion u(x) denida en

por
(2.7) u(x) =
_
u
g
(x) si x ,
g(x) si x ,
es armonica en , y en consecuencia, si es continua en

, entonces es solucion clasica del problema (PDL)
con dato de contorno g.
Para el estudio de la continuidad de u dada por (2.7), introducimos los siguientes conceptos:
Denicion 2.18. Diremos que satisface la condicion de bola exterior en un punto
0
, si existen
1
IR
N
y
1
> 0 tales que
B(
1
,
1
)

=
0
.
Podemos ahora demostrar el resultado siguiente:
Proposicion 2.19. Sean IR
N
un abierto acotado conexo no vaco, y : IR una funcion acotada.
Si
0
satisface la condicion de bola exterior y es continua en
0
, entonces la funcion u
denida por
(2.6) satisface
lm
x
0
u
(x) = (
0
).
Demostracion.- Sea
0
y B(
1
,
1
) la bola exterior tal que

B(
1
,
1
)

=
0
. Tomemos en primer
lugar la funcion
(2.8) w(x) =
_
_
_
[x
1
[
2N
2N
1
si N 3,
log

1
[x
1
[
si N = 2.
Es inmediato demostrar que w C
0
(
) y satisface que es subarmonica en , tal que w < 0 en

0
y
w(
0
) = 0.
Denotemos M = sup
[[. Fijemos > 0. Por la continuidad de en

0
y las propiedades de w, podemos
armar que existen > 0 y k > 0 tales que
(2.9) x y [x
0
[ = [(x) (
0
)[ /2,
(2.10) x

y [x
0
[ = kw(x) 2M.
En estas condiciones, la funcion kw + (
0
) /2 pertenece a C
0
(
), es subarmonica en , y es facil
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 .
Por otra parte, la funcion kw(
0
) /2 tambien pertenece a C
0
(
), es subarmonica en y, de nuevo
por (2.9) y (2.10), satisface kw(x)(
0
)/2 (x) para todo x . As, si v S
, v+kw(
0
)/2
pertenece a C
0
(
), es subarmonica 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 ultima 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 armar que, jado > 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 y [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 IR
N
es un abierto acotado conexo no vaco tal que todos los puntos de su frontera
satisfacen la condicion esfera exterior, entonces para cada g C
0
() existe una y solo una solucion clasica
del problema (PDL).
Nota 2.21. Podemos armar que un abierto acotado y convexo de IR
N
satisface que todos los puntos de su
frontera satisfacen la condicion esfera exterior.
2.4. El problema de Dirichlet para la ecuacion de Poisson: potencial newto-
niano
Como comentamos en la Introduccion, para resolver (PDP) se hace preciso tomar f en una clase mas
restringida que las continuas; las funciones localmente -holderianas en .
Denicion 2.22. Sean f : IR, y (0, 1]. Diremos que f es -holderiana en D si
sup
x,yD, x,=y
[f(x) f(y)[
[x y[
< +.
Diremos que f es localmente -holderiana en si f es -holderiana en todo compacto D contenido en
.
Al conjunto de todas las funciones localmente -holderianas en lo denotaremos C
0,
loc
().
Nota 2.23. Es inmediato comprobar que C
0,
loc
() es un subespacio vectorial de C
0
(), y que C
0,1
loc
() coincide
con el espacio de las funciones localmente lipschitzianas en .
Para la resolucion del problema (PDP) se introduce el concepto de potencial newtoniano asociado a la
funcion f.
Denicion 2.24. Dada f L
(), se dene el potencial newtoniano asociado a la funcion f como la

funcion w
f
: IR
N
IR dada por
(2.14) w
f
() =
_
K(x, )f(x) dx, IR

N
,
donde por K(, ) denotamos a la solucion fundamental de en IR
N
, denida en el conjunto
/ = (x, ) IR
N
IR
N
; x ,= ,
por
K(x, ) =
_
1
(N 2)
N
[x [
N2
si N 3,
1
2
log [x [ 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]):
N
es un abierto acotado no vaco y f L
(), la funcion w
f
dada por (2.14)
esta bien denida y satisface w
f
C
1
(IR
N
), con
w
f
() =
_
K(x, )f(x) dx, IR

N
.
N
es un abierto acotado no vaco y f L
()C
0,
loc
() para alg un (0, 1],
la funcion w
f
dada por (2.14) pertenece a C
2
() y satisface w
f
f en .
Como consecuencia de la proposicion precedente y del Teorema 2.20, es inmediato el resultado siguiente:
Teorema 2.27. Sea IR
N
un abierto acotado y conexo no vaco tal que todos los puntos de su frontera
son regulares. Si f L
() C
0,
loc
() para alg un (0, 1], y g C
0
(), entonces existe una y s olo una
solucion clasica del problema (PDP).
Demostracion.- Basta tomar como solucion u = v w
f
, con v la solucion clasica del problema de Dirichlet
_
v = 0 en ,
v = g +w
f
sobre .
Observese que bajo las condiciones del Teorema 2.27, la solucion clasica u, ademas de pertenecer a C
2
()
C
0
(
), satisface que todas todas sus derivadas segundas pertenecen a C

0,
loc
(), es decir, u C
0
(
)C
2,
loc
().
Nota 2.28. Este resultado tambien es cierto cuando el operador es sustituido por un operador unifor-
memente elptico con coecientes en C
0,
loc
().
2.5. Resultados complementarios
Como hemos visto en una seccion anterior, una condicion suciente para que exista solucion clasica es
que los puntos de la frontera satisfagan la condicion frontera exterior.
Veamos que en realidad hay una condicion necesaria y suciente, para ello introduzcamos el siguiente
concepto:
Denicion 2.29. Diremos que
0
es un punto regular de si existe una funcion w C
0
(
),
subarmonica en , tal que w < 0 en

0
y w(
0
) = 0. Una tal funcion w satisfaciendo las condiciones
precedentes, es denominada una funcion barrera en
0
relativa a .
Proposicion 2.30. Sea IR
N
un abierto acotado conexo no vaco. Entonces para toda funcion g
C
0
() existe solucion clasica del correspondiente problema (PDL), si y solo si, todos los puntos de la
frontera de son regulares,
Demostracion.- 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 (PDL).
Basta para ello probar que la funcion u denida 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
una funcion barrera w, w C
0
(
), subarmonica en , tal que w < 0 en

0
y w(
0
) = 0. Basta
ahora observar que con una funcion w de esta forma podemos seguir exactamente la demostracion de la
Proposicion 2.19, sustituyendo la funcion w denida en (2.8), por la funcion barrera.
CAP
ITULO 3
Introducci on a la Teora de Distribuciones
En todo el tema denotamos por un abierto no vaco de IR
N
(N 1 entero), por [x[ la norma eucldea
de x IR
N
, y por B(x
0
, r) la bola abierta (respecto de la norma eucldea) de centro x
0
IR
N
y radio r > 0.
3.1. Espacios de Lebesgue
Por comodidad, se recuerda la denicion de los espacios L
p
(). Denotemos por /() al conjunto de
las funciones denidas sobre con valores reales medibles en el sentido de Lebesgue. Es bien conocido que
/() es un espacio vectorial con la suma y producto por escalar usuales.
Por L
1
() denotamos el subespacio vectorial de /() constituido por las funciones integrables en
respecto de la medida de Lebesgue. Si u L
1
(), denotamos la integral de u en respecto de la medida de
Lebesgue por
_
u(x) dx.
Resulta conveniente identicar 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 /() el espacio cociente /()/^, donde ^ denota el subespacio vectorial de /() constituido
por las funciones que valen cero c.p.d. en . A este respecto se recuerda que C
0
() /(), 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 identicar una funcion de C
0
() con la clase de /()/^ a la que
pertenece, lo cual permite escribir C
0
() /()/^.
Si p [1, +), se dene L
p
() por
L
p
() = u /()/^ :
_
[u(x)[
p
dx < +.
L
p
() es un subespacio vectorial de /()/^. Sobre L
p
() se dene la norma
|u|
L
p
()
=
__
[u(x)[
p
dx
_
1/p
.
Con dicha norma L
p
() es un espacio de Banach separable, y en particular para p = 2 es un espacio de
Hilbert.
Se dene L
() como el subespacio vectorial de /()/^ constituido por las clases de funciones que
estan acotadas c.p.d. en . Sobre L
() se considera la norma
|u|
L
()
=nfM > 0 : [u(x)[ M c.p.d. en .
19
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
() , L
p
(), p [1, +]. Se recuerdan las siguientes propiedades:
Desigualdad de Holder: Si u L
p
() y v L
p
(), con p [1, +] y p

t
el exponente conjugado
de p, esto es, tal que
1
p
+
1
p
t
= 1, entonces el producto uv L
1
(), con
_
[u(x)v(x)[ dx |u|
L
p
()
|v|
L
p
()
.
Desigualdad de interpolacion:
a) Si f
i
L
r
i
(), i = 1, 2, con 1/r = 1/r
1
+ 1/r
2
1, entonces f
1
f
2
L
r
(), y se satisface
|f
1
f
2
|
L
r
()
|f
1
|
L
r
1()
|f
2
|
L
r
2()
.
b) Si 1 p p y f L
p
() L
b p
(), entonces f L
q
() para todo q [p, p], y de hecho, si
1/q = /p + (1 )/ p, con [0, 1], entonces
|f|
L
q
()
|f|
L
p
()
|f|
1
L
b p
()
.
Convergencia dominada: Sea u
n
una sucesion de funciones de L
1
() tal que:
a) existe lm
n
u
n
(x) = u(x) c.p.d. en ,
b) existe v L
1
() tal que para todo n [u
n
(x)[ v(x) c.p.d. en .
Entonces u L
1
() y lm
n
|u
n
u|
L
1
()
= 0.
Sea p [1, ) y u
n
n1
L
p
() tal que u
n
u en L
p
(). Entonces, existe una subsucesion u
n
k
k1
de u
n
n1
y una funcion h L
p
() tal que
[u
n
k
(x)[ h(x) p.c.t. x , k 1,
u
n
k
(x) u(x) p.c.t. x .
Motivado en parte por el hecho de que por ejemplo C
0
() , L
1
(), se introduce el espacio de las
funciones localmente integrables en :
Denicion 3.1. Diremos que u es localmente integrable en si u /()/^ y para todo K compacto
contenido en la funcion u1
K
pertenece a L
1
(). Al conjunto de todas las (clases de) funciones localmente
integrables en lo denotaremos por L
1
loc
().
Aunque el espacio L
1
loc
() no es normado, podemos denir una nocion de convergencia de sucesiones
denida por:
Denicion 3.2. Diremos que u
n
u en L
1
loc
() si y solo si para todo compacto K ,
lm
n
_
K
[u
n
(x) u(x)[ dx = 0.
Nota 3.3. Es inmediato comprobar que L
1
loc
() es un subespacio vectorial de /()/^, as como que se
tienen las inclusiones:
C
0
() L
1
loc
() y L
p
() L
1
loc
(), p [1, +].
Ademas, si u
n
u en L
p
() con u L
p
(), entonces u
n
u en L
1
loc
().
3.2. Funciones tests: el espacio vectorial T() 21
3.2. Funciones tests: el espacio vectorial T()
Se recuerdan en esta seccion algunas deniciones y propiedades estudiadas en la asignatura de cuarto
curso EDPyAF.
Denicion 3.4. Dada C
0
(), se dene el soporte de como el conjunto
sop = x : (x) ,= 0,
donde ... denota la clausura en IR
N
.
Observese que en consecuencia sop es un conjunto cerrado contenido en

. En el caso en que sop es
compacto y esta contenido en , se dice que es de soporte compacto en . Se denen los subconjuntos
de C
0
() siguientes:
C
0
c
() = C
0
() : es de soporte compacto en ,
C
k
c
() = C
k
() C
0
c
(),
T() = C
() C
0
c
().
Es inmediato comprobar que todos los conjuntos denidos precedentemente son subespacios vectoriales
de C
0
() y que C
0
c
() L
p
(). A T(), el espacio de las funciones de clase innito 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 distribucion sobre .
Nota 3.5. Dados dos abiertos

, y prolongando por cero las funciones de T(), se tiene que T()
T(
).
Sobre T() 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 T() tal que 0 (x) 1 en y 1
en un entorno de K.
b) Para todo p [1, +), el conjunto T() es denso en L
p
().
c) Si u L
1
loc
() es tal que
_
u(x)(x) dx = 0 para toda T(),

entonces u = 0 c.p.d. en .
3.3. Convolucion de funciones. Sucesiones regularizantes
Introducimos y estudiamos la convolucion de dos funciones, en el caso particular en que una pertenece
a C
0
c
(IR
N
) y la otra a L
1
loc
(IR
N
).
Si C
0
c
(IR
N
) y u L
1
loc
(IR
N
), es inmediato comprobar que para cada x IR
N
jado la funcion
y IR
N
(x y)u(y) IR pertenece a L
1
(IR
N
), con lo cual tiene sentido denir
Denicion 3.7. Dadas C
0
c
(IR
N
) y u L
1
loc
(IR
N
), se dene el producto de convolucion de con u,
como la funcion u dada por
( u)(x) =
_
IR
N
(x y)u(y) dy, x IR
N
.
Es inmediato comprobar que el producto de convolucion es conmutativo, es decir, para todo x IR
N
se
satisface
( u)(x) =
_
IR
N
(y)u(x y) dy.
Por otra parte u es regular, en concreto se tiene el siguiente resultado:
Proposicion 3.8. Si C
0
c
(IR
N
) y u L
1
loc
(IR
N
), el producto de convolucion de ambas satisface las
propiedades siguientes:
a) u C
0
(IR
N
).
b) Si K IR
N
es tal que u = 0 c.p.d. en IR
N
K, entonces sop( u) sop +K.
c) Si C
k
c
(IR
N
), con k 1 entero, entonces u C
k
(IR
N
), y para todo multindice con [[ k se
tiene
( u)(x) = (
u)(x) x IR
N
Demostracion.- 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 IR
N
(sop + K). En tal caso, si y K, entonces x y , sop, y en
consecuencia (x y)u(y) = 0. Por otra parte, c.p.d. y IR
N
K se tiene u(y) = 0. En consecuencia, c.p.d.
en IR
N
, (x y)u(y) = 0, con lo que ( u)(x) = 0.
Otro resultado de interes lo constituye el siguiente:
Proposicion 3.9. Si C
0
c
(IR
N
) y u L
p
(IR
N
) con p [1, +], entonces u L
p
(IR
N
) y satisface:
| u|
L
p
(IR
N
)
||
L
1
(IR
N
)
|u|
L
p
(IR
N
)
.
Demostracion.- Si p = +, el resultado es inmediato.
Si p = 1, denotando f(x, y) = (x y)u(y), se tiene:
_
IR
N
[f(x, y)[ dx = [u(y)[
_
IR
N
[(x y)[ dx = ||
L
1
(IR
N
)
[u(y)[,
con lo que
_
IR
N
__
IR
N
[f(x, y)[ dx
_
dy = ||
L
1
(IR
N
)
|u|
L
1
(IR
N
)
< +, as que, por Fubini-Tonelli, f
L
1
(IR
N
IR
N
) y
_
IR
N
__
IR
N
[f(x, y)[ dy
_
dx =
_
IR
N
__
IR
N
[f(x, y)[ dx
_
dy = ||
L
1
(IR
N
)
|u|
L
1
(IR
N
)
,
lo que, en particular, implica que u L
1
(IR
N
) con norma en L
1
(IR
N
) menor o igual que ||
L
1
(IR
N
)
|u|
L
1
(IR
N
)
.
Finalmente, si p (1, +), para todo x jado en IR
N
la funcion de y [(x y)[[u(y)[
p
pertenece a
L
1
(IR
N
) y, denotando por p
t
el exponente conjugado de p, se tiene
[( u)(x)[
_
IR
N
[(x y)[[u(y)[ dy =
_
IR
N
[(x y)[
1
p
[u(y)[[(x y)[
1
p
dy
__
IR
N
[(x y)[[u(y)[
p
dy
_1
p
__
IR
N
[(x y)[ dy
_ 1
p
= (([[ [u[
p
)(x))
1
p
||
1
p
L
1
(IR
N
)
.
Elevando a p esta ultima desigualdad, integrando en x, y teniendo en cuenta lo visto en el caso p = 1, se
obtiene _
IR
N
[( u)(x)[
p
dx ||
p
p
L
1
(IR
N
)
|[[ [u[
p
|
L
1
(IR
N
)

3.3. Convolucion de funciones. Sucesiones regularizantes 23
||
p
p
L
1
(IR
N
)
||
L
1
(IR
N
)
|[u[
p
|
L
1
(IR
N
)
= ||
p
L
1
(IR
N
)
|u|
p
L
p
(IR
N
)
.
A continuacion, introducimos la importante tecnica de regularizacion, debida a Leray y Friedrichs, con-
sistente en convolucionar con una sucesion regularizante.
Denicion 3.10. Una sucesion regularizante en IR
N
es cualquier sucesion de funciones (
n
)
n1
T(IR
N
)
tal que:
a)
n
0 en IR
N
,
b) sop
n

B(0,
1
n
),
c)
_
IR
N
n
(x) dx = 1.
Es facil demostrar la existencia de sucesiones regularizantes; Consideramos la funcion real de variable
real
(t) =
_
0 si t 0
e
1/t
si t < 0,
que, evidentemente, es una funcion innitamente derivable en IR. As, para k > 0 dado, construimos la
funcion
(x) = k
_
[x[
2
1
_
que es una funcion de T(IR
N
) que ademas verica que sop = B(0, 1), (x) > 0 en B(0, 1) y, eligiendo k de
forma conveniente, tambien
_
IR
N
(x) dx = 1.
Si queremos una funcion de T(IR
N
) que tenga soporte en B(0, 1/n), basta hacer
n
(x) = n
N
(nx) .
Esta funcion verica que
n
T(IR
N
), sop
n
= B(0, 1/n),
n
> 0 en B(0, 1/n) y
_
IR
N
n
(x) dx = 1.
Nota 3.11. Es tambien inmediato comprobar a partir de los resultados precedentes que si (
n
)
n1
es una
sucesion regularizante, y u L
1
loc
(IR
N
) entonces
n
u C
(IR
N
). Si, ademas, u es cero c.p.d. en el
complementario de un compacto entonces
n
u T(IR
N
).
El interes de la convolucion por una sucesion regularizante radica en las propiedades de aproximacion
que posee.
Proposicion 3.12. Sea (
n
)
n1
una sucesi on regularizante. Se tiene:
a) Si u C
0
(IR
N
), entonces
n
u u uniformemente sobre compactos de IR
N
, cuando n +.
b) Si u L
p
(IR
N
) con p [1, +), entonces
n
u u en L
p
(IR
N
), cuando n +.
Demostracion.-
a) Sean u C
0
(IR
N
), K un compacto de IR
N
y > 0 jados. Hemos de demostrar que existe un n
0
1
tal que [(
n
u)(x) u(x)[ x K n n
0
.
Como u es uniformemente continua en los compactos de IR
N
, existe un > 0 tal que
[u(x y) u(x)[ x K [y[ .
Fijado un tal , basta tomar n
0
entero tal que n
0

1
. Con esta eleccion, si n n

0
entonces sop
n

B(0,
1
n
)

B(0, ), con lo que para todo x K se tiene:
[(
n
u)(x) u(x)[ =
_
IR
N
(u(x y) u(x))
n
(y) dy
B(0,
1
n
)
(u(x y) u(x))
n
(y) dy
.
b) Sea u L
p
(IR
N
) con p [1, +). Sabemos que en tal caso
n
u L
p
(IR
N
), para todo n 1.
Fijemos > 0, entonces gracias al Teorema 3.6 2) existe T(IR
N
) tal que
|u |
L
p
(IR
N
)
.
Ya sabemos que
n
converge a , cuando n tiende a , uniformemente sobre los compactos de IR
N
; en
particular, como
sop, sop(
n
) sop +

B(0, 1),
es inmediato que
n
cuando n tiende a en L
p
(IR
N
).
En consecuencia:
|
n
u u|
L
p
(IR
N
)
|
n
(u )|
L
p
(IR
N
)
+|
n
|
L
p
(IR
N
)
+| u|
L
p
(IR
N
)

2| u|
L
p
(IR
N
)
+|
n
|
L
p
(IR
N
)
2 +|
n
|
L
p
(IR
N
)
,
y en consecuencia lmsup
n
|
n
u u|
L
p
(IR
N
)
2. Basta ahora tener en cuenta que > 0 es arbitrario.
3.4. El espacio de las distribuciones sobre . Convergencia de distribuciones
El espacio T() 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.
Denicion 3.13. Sean (
n
) una sucesion en T() y T(). Diremos que
n
converge a en T() (y
escribiremos
n
) si existe un compacto K tal que
sop
n
K, n 1 y
uniformemente en , IN
N
,
(recordemos que,
0
es la identidad).
Es inmediato comprobar la compatibilidad de la nocion de convergencia anterior con la estructura de
espacio vectorial de T(), es decir, si
n
converge a y
n
converge a en T() entonces
n
+
n
converge
a + y
n
converge a en T() para todo escalar IR. En particular,
n
converge a en T() si
y solo si
n
converge a cero en T().
3.4. El espacio de las distribuciones sobre . Convergencia de distribuciones 25
Como ya hemos dicho, es posible introducir en T() una topologa para la que la nocion de convergencia
de sucesiones coincide con la de la Denicion 3.13. Al dual topologico de T(), es decir al espacio vecto-
rial de las formas lineales continuas sobre T(), se le denota T
t
() y se le denomina el espacio de las
distribuciones sobre .
Nos vamos a contentar en estas notas con una denicion equivalente de T
t
() que tan solo utiliza la
nocion de convergencia de sucesiones en T().
Denicion 3.14. Una distribucion sobre es cualquier aplicacion T : T() IR tal que:
a) T es lineal.
b) T es (secuencialmente) continua, es decir, tal que si
n
en T(), entonces T(
n
) T() en IR.
Al conjunto de todas las distribuciones sobre se le denota T
t
().
A partir de ahora, si T T
t
(), usaremos de manera indistinta las notaciones T() y T, ).
Nota 3.15. Es inmediato comprobar que dada T : T() IR lineal, T es una distribucion sobre si y solo
si
n
0 en T() implica T,
n
) 0 en IR.
El conjunto T
t
() se considera dotado de las operaciones suma y producto por escalar denidos de
manera natural para cada T y S en T
t
() y cada escalar por:
T +S, ) = T, ) +S, ), T, ) = T, ), T().
Es inmediato comprobar que T
t
(), dotado de las operaciones as denidas, es un espacio vectorial.
El espacio T
t
() es muy rico en elementos, en particular toda funcion de L
1
loc
() es (identicable con)
una distribucion sobre . En concreto se tiene:
Proposicion 3.16. Para cada u L
1
loc
() denotemos por T
u
la aplicacion denida sobre T() con valores
en IR, dada por
(3.1) T
u
, ) =
_
u(x)(x) dx T().
Entonces T
u
T
t
(), y la aplicacion u L
1
loc
() T
u
T
t
() es lineal e inyectiva.
Demostracion.- Inmediata a partir de los resultados obtenidos hasta ahora.
Nota 3.17. A partir de ahora, si u L
1
loc
() identicamos u con la distribucion sobre denida por (3.1).
Con esta identicacion, teniendo en cuenta la proposicion precedente, resulta que L
1
loc
() es un subespacio
vectorial de T
t
().
Otro ejemplo de distribucion es la distribucion o delta de Dirac: dado a , se dene
a
(la delta
de Dirac en a) como la aplicacion
a
: T() (a) IR.
Es inmediato comprobar que
a
T
t
(), y que no es la distribucion nula, pues existe T() tal que
a
, ) = (a) = 1.
El espacio L
1
loc
() esta contenido de manera estricta en T
t
(), es decir, la aplicacion dada por u
L
1
loc
() T
u
T
t
() no es sobre. Un ejemplo de distribucion sobre que no es identicable mediante
(3.1) con una funcion de L
1
loc
() lo constituye la delta de Dirac en un punto de . Se tiene:
Proposicion 3.18. Dado a , la distribucion
a
no pertenece a L
1
loc
(), es decir, no existe u L
1
loc
()
tal que T
u
=
a
como elementos de T
t
().
Demostracion.- Supongamos que existe u L
1
loc
() tal que T
u
=
a
como elementos de T
t
(). Entonces,
en particular
_
u(x)(x) dx = 0, T( a),
y en consecuencia u = 0 c.p.d. en a, y por tanto tambien u = 0 c.p.d. en .
As,
0 =
_
u(x)(x) dx = (a), T(),

contra el hecho de que, por ejemplo, sabemos que existen funciones T() tales que (a) = 1.
Sobre el espacio T
t
() es posible denir una topologa (a partir de la de T()) para la que la nocion de
convergencia de sucesiones se traduce en la denicion siguiente:
Denicion 3.19. Dada una sucesion (T
n
)
n1
en T
t
(), diremos que la sucesion converge a un elemento
T T
t
(), cuando n , si para toda en T() se satisface que
lm
n
T
n
, ) = T, ).
Nota 3.20. a) Si
n
es una sucesion regularizante en IR
N
entonces
n
converge a
0
en T
t
(IR
N
).
b) Con el convenio de identicar u y T
u
, es facil comprobar que las inyecciones de L
p
() en T
t
() son
(secuencialmente) continuas para todo p [1, ], es decir, u
n
u en L
p
() implica u
n
u en T
t
().
Lo mismo sucede con la inyeccion de L
1
loc
() en T
t
().
Una propiedad importante es la completitud (secuencial) de T
t
(). En concreto se tiene el siguiente
resultado, cuya demostracion omitimos (consultar, por ejemplo, [11]).
Proposicion 3.21. Sea (T
n
)
n1
T
t
() una sucesion satisfaciendo que existe lm
n
T
n
, ) para toda en
T(). En tal caso, si se dene T, ) = lm
n
T
n
, ), para toda T(), la aplicacion T pertenece a T
t
(),
y en consecuencia la sucesi on T
n
converge a T en T
t
().
Utilizando un razonamiento de reduccion al absurdo similar al que se emplea para demostrar la pro-
posicion precedente, se puede tambien probar que la aplicacion (T, ) T
t
() T() T, ) IR, es
(secuencialmente) continua.
3.5. Derivacion de distribuciones
En esta seccion vamos a introducir un concepto de derivacion en T
t
(), de tal manera que toda distri-
bucion va a ser derivable de todos los ordenes. En particular, con este concepto, toda funcion de L
1
loc
()
sera derivable en el sentido de T
t
().
Para motivar la denicion 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 T
t
() y se
puede uno plantear que relacion existe entre
k
u y u como distribuciones. En primer lugar es evidente que
para toda T():
k
u, ) =
_
k
(u)(x) dx
_
u(x)
k
(x) dx.
Pero u C
0
c
() y existe
k
(u) C
0
c
(). Denotando por v la prolongacion por cero en el complementario de
de una funcion v denida en , es inmediato que u C
0
c
(IR
N
) y existe
k
( u) C
0
c
(IR
N
), satisfaciendose
que
k
( u)
k
(u), y
_
k
(u)(x) dx =
_
IR
N
k
( u)(x) dx.
por una distribucion 27

Tomando M > 0 tal que (x) = 0 para toda x tal que [x
k
[ M, se tiene
_
IR
N
k
( u)(x) dx =
_
IR
N1
__
M
M
k
( u)(x) dx
k
_
dx
1
...dx
k1
dx
k+1
...dx
N
= 0.
En consecuencia, hemos demostrado el siguiente resultado:
Proposicion 3.22. Si u C
0
() es tal que existe la derivada parcial (en sentido clasico)
k
u para alg un
1 k N y
k
u C
0
(), entonces
k
u, ) = u,
k
), T().
Por aplicacion reiterada de la proposicion precedente, se obtiene de manera inmediata que si u C
k
(),
con k 1 entero, entonces
u, ) = (1)
[[
u,
), T(), [[ k.
Por otra parte, es facil comprobar que si T es un elemento cualquiera de T
t
(), para cada multndice de
derivacion , la aplicacion
T() T,
) IR,
dene un elemento de T
t
(). Queda, en consecuencia motivada y con sentido la denicion que sigue:
Denicion 3.23. Dada T T
t
(), para cualquier multindice se dene
T, la derivada de T, como
el elemento de T
t
() determinado de manera unvoca por la igualdad
T, ) = (1)
[[
T,
), T().
Nota 3.24. a) De las consideraciones precedentes, es claro que la noci on de derivacion en T
t
() es
congruente con la derivacion ordinaria de funciones de C
k
().
b) Con esta nocion, toda distribucion, y en particular toda funcion localmente integrable, es derivable de
cualquier orden (aunque la derivada no tiene porque ser una funcion).
c) Se tiene la independencia del orden en la derivacion, es decir, para todo par y de multindices de
derivacion y toda T T
t
() se tiene que
T) =
T) =
+
T.
d) Es tambien facil comprobar que la derivacion es una operaci on lineal secuencialmente continua en
T
t
(), es decir, para todo multindice de derivacion la aplicacion
T T
t
()
T T
t
()
es lineal y tal que T
n
T en T
t
(), implica que
T
n

T en T
t
().
En relacion con la derivacion de distribuciones, resulta de interes el siguiente resultado, recproco de la
Proposicion 3.22, y cuya demostracion se puede consultar en [11].
Proposicion 3.25. Sean u y v dos funciones en C
0
() tales que para alg un entero k con 1 k N se
satisface
k
u = v en T
t
(). Entonces u es derivable en sentido cl asico respecto de x
k
en , con derivada
igual a v.
por una distribucion

En general, es imposible denir el producto de dos distribuciones sobre de tal manera que sea compa-
tible con el producto de funciones. Un caso particular en que resulta facil tal denicion es aquel en que una
de las distribuciones corresponde a una funcion de C
().
Denicion 3.26. Sean u C
() y T T
t
(). Se dene el producto de u con T, denotado uT, como el
elemento de T
t
() determinado por la igualdad
(3.2) uT, ) = T, u) T().
Es inmediato comprobar que efectivamente (3.2) dene una distribucion en . Es tambien facil demostrar
que
k
(uT) = (
k
u)T +u
k
T, para toda u C
() y toda T T
t
().
Nota 3.27. Utilizando el denominado valor principal de
1
x
, que denotamos por vp(
1
x
) (ver la denicion en
la hoja de ejercicios), y
0
, es facil comprobar la imposibilidad de denir un producto en T
t
(IR) que sea a la
vez asociativo, conmutativo y compatible con la Denici on 3.26.
Como consecuencia de la denicion anterior aparece el problema de division en T
t
(), consistente en,
dados u C
() y S T
t
(), encontrar T T
t
() tal que uT = S en T
t
(). Este problema tiene solucion
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:
Proposicion 3.28. Una distribucion T T
t
(IR) satisface xT = 0 en T
t
(IR) si y solo si existe c IR tal
que T = c
0
.
Demostracion.- Si T = c
0
, entonces es inmediato que xT = 0 en T
t
(IR).
Recprocamente, sea T T
t
(IR) tal que xT = 0 en T
t
(IR). En tal caso < T, >= 0 para toda (,
siendo ( = x : T(IR).
Pero es facil comprobar que ( = T(IR) : (0) = 0. En efecto, es inmediato que ( T(IR) :
(0) = 0, y recprocamente, si pertenece a T(IR) y es tal que (0) = 0, entonces (x) = x
_
1
0

t
(sx) ds,
para todo x IR, y es inmediato que la funcion
(x) =
_
1
0
t
(sx) ds
es tal que C
(IR) y sop esta contenido en sop 0, con lo que T(IR).

En resumen, si T T
t
(IR) satisface xT = 0 en T
t
(IR), entonces T, ) = 0 para toda T(IR) tal que
(0) = 0. Basta ahora jar
0
T(IR) tal que
0
(0) = 1; dada cualquier T(IR), se tiene = (0)
0
+ ,
donde = (0)
0
, es tal que pertenece a T(IR) y satisface (0) = 0. En consecuencia,
T, ) = T,
0
)(0) = c
0
, ),
con c = T,
0
).
Para mas detalles sobre distribuciones (en particular el estudio de la convolucion de distribuciones, dis-
tribuciones 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 T
t
(IR).
/
(I)
Dados I = (a, b), intervalo abierto de IR, y S T
t
(I), diremos que T es una primitiva de S en I si
T T
t
(I) y T
t
= S en T
t
(I).
En primer lugar, se tiene el siguiente resultado:
t
(I) 29
Proposicion 3.29. Dada T T
t
(I), la distribucion T es una primitiva en I de la distribucion nula si y
solo si es constante. Es decir, T
t
= 0 en T
t
(I) si y solo si existe c IR tal que
T, ) = c
_
I
(t) dt, para toda T(I).
Demostracion.- Es evidente que si T es constante entonces T
t
= 0.
Recprocamente, si T
t
= 0 entonces < T,
t
>= 0 para toda T(I). Pero
t
: T(I) = T(I) :
_
I
(t) dt = 0.
En efecto, es evidente que si =
t
con T(I) entonces
_
I
(t) dt = 0. Recprocamente, si T(I)
satisface
_
I
(t) dt = 0 entonces la funcion denida por (t) =
_
t
a
(s) ds, t I, es la unica funcion tal
que T(I) y satisface
t
= en I.
En consecuencia, si T
t
= 0 entonces T, ) = 0 para toda funcion T(I) que satisfaga la igualdad
_
I
(t) dt = 0. Fijemos
0
T(I) tal que
_
I
0
(t) dt = 1; en tal caso, para cada T(I) la funcion

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

__
I
(t) dt
_
0
+
__
I
(t) dt
_
0
,
se obtiene entonces T, ) = c, ), con c = T,
0
).
Nota 3.30. La proposicion precedente puede ser extendida al caso de IR
N
. En concreto, se puede demostrar
que si IR
N
es un abierto conexo y T T
t
() es tal que T = 0 en T
t
(), entonces existe c IR tal que
T = c en T
t
(). Para la demostracion de este resultado se puede consultar, por ejemplo, el libro de Renardy
y Rogers, [11].
Como consecuencia de la Proposicion 3.29 se obtiene la siguiente,
Proposicion 3.31. Dados I = (a, b) intervalo abierto de IR y S T
t
(I), existe T T
t
(I) tal que T
t
= S
en T
t
(I). Ademas, dicha T es unica salvo constantes aditivas, es decir, si

T es otra primitiva de S en T
t
(I),
entonces existe c IR tal que T

T = c en T
t
(I).
Demostracion.- La unicidad de T salvo constantes aditivas es consecuencia inmediata de la Proposi-
cion 3.29.
En cuanto a la existencia de T, lo primero que es claro es que T es una primitiva de S en T
t
(I) si y
solo si T,
t
) = S, ) para toda T(I), lo cual es equivalente, de acuerdo con la demostracion de la
proposicion anterior, a que para toda T(I) tal que
_
I
(t) dt = 0 se satisfaga:
(3.3) T, ) = S, ),
siendo (t) =
_
t
a
(s) ds.
Fijemos
0
T(I) tal que
_
I
0
(t) dt = 1. Para cada T(I) denamos T por T, ) = S, ), con
(3.4) (t) =
_
t
a
_
(s) (
_
I
(x) dx)
0
(s)
_
ds.
Evidentemente, la T as denida satisface (3.3), y es un funcional lineal sobre T(I). Es un ejercicio sencillo
comprobar que si
n
0 en T(I) entonces la sucesion correspondiente
n
denida por (3.4) converge
tambien a cero en T(I). En consecuencia la T denida por (3.3) es un elemento del espacio T
t
(I)
Supongamos que queremos resolver en T
t
(I) la EDO
(3.5) T
t
= f(t)T +g(t),
donde f C
(I) y g T
t
(I) estan dadas. Considerando la nueva incognita S dada por S = e
F
T, con
F C
(I) una primitiva de f, la ecuacion original (3.5) equivale a S

t
= e
F
g enT
t
(I). Podemos en
consecuencia armar, por aplicacion de la Proposicion 3.31, que (3.5) posee innitas soluciones en T
t
(I),
siendo todas de la forma T = T
p
+ ce
F
, con T
p
una solucion particular de (3.5), y c IR una constante
arbitraria. En particular, si g C
0
(I), podemos armar que el conjunto de soluciones de (3.5) en T
t
(I)
coincide con el de las soluciones clasicas.
En general, si g es una distribucion 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
t
= 0
en T
t
(IR) tiene por solucion particular la funcion de Heaviside, H(t) = 1
(0,)
(t).
CAP
ITULO 4
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 IR
N
, con N 1 entero.
4.1. Espacios de Sobolev. Deniciones
En el tema anterior vimos que, dada T T
t
() y Z
N
+
, existe
T T
t
(). En particular, si
u L
p
(), con p [1, ], entonces existe
u T
t
() y verica
u, ) = (1)
[[
u,
) = (1)
[[
_
u(x)
(x) dx, T().

A veces, se tiene que
u L
p
() (es una funcion). Por ejemplo, si u C
[[
(
) y es acotado, entonces
su derivada distribucional coincide con la clasica y
u L
p
().
Denicion 4.1. Sean k 1 un entero y p [1, ]. Denimos el espacio de Sobolev W
k,p
() como
W
k,p
() = u L
p
() :
u L
p
(), Z
N
+
tal que [[ k.
Nota 4.2. Evidentemente,
W
1,p
() = u L
p
() :
i
u L
p
(), 1 i N ,
W
2,p
() = u L
p
() :
i
u L
p
(),
ij
u L
p
(), 1 i, j N .
Nota 4.3. En la denicion de W
k,p
(), las derivadas consideradas son derivadas distribucionales. As, decir
que
u L
p
() signica que existe v
L
p
() tal que
u = v
en T
t
(), es decir, tal que
(1)
[[
_
dx =
_
dx, T().
Observese que en tal caso v
esta unvocamente determinada.

Nota 4.4. Observese que u W
k,p
() si y solo si para cada Z
N
+
con [[ k existe v
L
p
() tal que
(1)
[[
_
dx =
_
dx, C
k
c
().
La demostracion de esta armacion se puede hacer mediante convolucion con una sucesion regularizante,
y se deja como ejercicio.
31
32 Captulo 4. Espacios de Sobolev. Primeras propiedades
Es facil comprobar que W
k,p
() es un subespacio vectorial de L
p
().
Sobre W
k,p
() se considera la norma
(4.1) [[u[[
W
k,p
()
=
_
_
[[k
[[
u[[
p
L
p
()
_
_
1/p
si p < ,
(4.2) [[u[[
W
k,
()
= max
[[k
[[
u[[
L
()
si p = .
En particular, para p < ,
[[u[[
W
1,p
()
=
_
[[u[[
p
L
p
()
+
N
i=1
[[
i
u[[
p
L
p
()
_
1/p
,
[[u[[
W
2,p
()
=
_
_
[[u[[
p
L
p
()
+
N
i=1
[[
i
u[[
p
L
p
()
+
N
i,j=1
[[
ij
u[[
p
L
p
()
_
_
1/p
=
_
_
[[u[[
p
W
1,p
()
+
N
i,j=1
[[
ij
u[[
p
L
p
()
_
_
1/p
.
Observacion 4.5. Se deja como ejercicio la comprobacion de que [[ [[
W
k,p
()
es efectivamente una norma
en W
k,p
().
As mismo, se deja como ejercicio la comprobacion de que, tanto si p es nito como si no, una norma
equivalente a la dada por (4.1) y (4.2), es la denida por
(4.3) [u[
W
k,p
()
=
[[k
[[
u[[
L
p
()
.
Denicion 4.6. El caso p = 2 es un caso de especial interes, ya que la norma [[ [[
W
k,2
()
procede del
producto escalar
(u, v)
H
k
()
=
[[k
(
u,
v)
L
2
()
.
Utilizaremos la notacion H
k
() para representar a W
k,2
(), es decir
H
k
() W
k,2
().
Observacion 4.7. De la propia denici on de la norma, es inmediato deducir que u
n
u en W
k,p
() si y
solo si
u
n

u en L
p
(), para todo 0 [[ k.
En lo que sigue, vamos a hacer uso del siguiente resultado:
Proposicion 4.8. Sean Z
N
+
, u
n
n1
L
p
() y u, v
L
p
() tales que u
n
u y
u
n
v
en
L
p
(). Entonces v
u.
Demostracion.- Si u
n
u en L
p
(), entonces u
n
u en T
t
(), y en consecuencia
u
n

u en T
t
().
Pero,
u
n
v
en L
p
() implica que
u
n
v
en T
t
(), as que v
u.
Teorema 4.9. Sean IR
N
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 reexivo si p (1, ).
4.1. Espacios de Sobolev. Deniciones 33
c) W
k,p
() es un espacio separable si p [1, ).
d) T() W
k,p
().
e) C
k
c
() W
k,p
(), y si es acotado, entonces C
k
() W
k,p
().
Demostracion.- Sea M = card Z
N
+
: [[ k y consideramos el espacio producto
X =
[[k
L
p
() = [L
p
()]
M
,
que es un espacio de Banach para la norma (producto):
[[U[[
X
=
_
_
[[k
[[u
[[
p
L
p
()
_
_
1/p
si p [1, ),
[[U[[
X
= max
[[k
[[u
[[
L
()
si p = ,
donde U = (u
)
[[k
X. De hecho, sabemos que X es reexivo si y solo si L
p
() es reexivo y X es
separable si y solo si L
p
() lo es.
Consideramos la aplicacion lineal
J : u W
k,p
() (
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 reexivi-
dad y separabilidad de X. Ademas, J es un isomorsmo isometrico entre W
k,p
() y E. Concluimos que
_
W
k,p
(), [[ [[
W
k,p
()
_
es un espacio de Banach y se tienen b) y c). Los dos ultimos apartados son faciles
de comprobar.
Observacion 4.10. Los espacios W
k,1
() y W
k,
() no son reexivos. Adem as, W
k,
() no es separable
(ver [2]).
Denicion 4.11. Sean k 1 un entero y p [1, ]. Denimos W
k,p
0
() como la clausura de T() en
W
k,p
(), es decir,
W
k,p
0
() T()
[[[[
W
k,p
()
.
En el caso particular p = 2, usaremos la notacion H
k
0
() W
k,2
0
().
De la propia denicion deducimos que W
k,p
0
() 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 reexividad y separabilidad
de W
k,p
(). En el caso p = 2, al igual que H
k
(), H
k
0
() es un espacio de Hilbert con el producto escalar
(, )
H
k
()
.
Nota 4.12. a) Observese que decir que u W
k,p
0
() es equivalente a decir que existe una sucesion
n1
T() tal que
n
u en W
k,p
(), es decir, tal que
u en L
p
(), para todo
0 [[ k, con lo que es interesante encontrar una caracterizacion manejable del espacio W
k,p
0
().
b) Aunque T() es denso en W
k,p
0
() no podemos deducir que las funciones W
k,p
0
() tenga soporte
compacto en .
c) Utilizando la convolucion con una sucesion regularizante, es inmediato comprobar que C
k
c
() W
k,p
0
(),
para todo k 1, p [1, ].
d) Sabemos que W
k,p
0
() 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 W
k,p
0
(). Denamos u como la extension por 0 de u a
IR
N
, esto es
u(x) =
_
u(x) x ,
0 x IR
N
.
Entonces,
a) u W
k,p
0
(IR
N
),
b)
u =

u, [[ k y
c) [[ u[[
W
k,p
(IR
N
)
= [[u[[
W
k,p
()
.
Demostracion.- Por hipotesis u W
k,p
0
(), por lo que existe
n
n1
T() tal que
_

n
u en L
p
() y
u en L
p
(), [[ k.
Consideramos
n
denida por

n
(x) =
_

n
(x) x ,
0 x IR
N
,
que evidentemente verica que
n
T(IR
N
) y

n
=

n
para [[ k. Deducimos que
_

n
u en L
p
(IR
N
) y

n
=

u en L
p
(IR
N
), [[ k.
Aplicando la Proposicion 4.8 llegamos a que existe
u =

u L
p
(IR
N
) para todo [[ k, es decir,
u W
k,p
0
(IR
N
) y [[ u[[
W
k,p
(IR
N
)
= [[u[[
W
k,p
()
.
Corolario 4.14. En general, W
k,p
() , W
k,p
0
().
Demostracion.- Para ello, consideramos u 1 en = (0, 1). Esta claro que u W
k,p
() para cualesquiera
valores de k y p. Sin embargo u , W
k,p
0
(), pues eso dara que u W
k,p
0
(IR) y que u
t
L
p
(IR), contra el
hecho de que u
t
=
0

1
, que se puede comprobar que no es una funcion.
Observacion 4.15. a) Sea u W
1,p
() dada. De lo que hemos dicho hasta ahora, podemos armar que,
en general, u L
p
(IR
N
), pero u , W
1,p
(IR
N
).
b) Lo que s puede armarse por ejemplo es que si C
1
c
(), entonces u W
1,p
() con
i
(u) =
i
u +u
i
,
para todo 1 i N. Ademas,

u (la prolongacion por cero a IR
N
) pertenece a W
1,p
(IR
N
) y se
satisface
i
(
u) =
i
u +
u
i
, 1 i N.
Se deja la comprobacion como ejercicio. Lo mismo se satisface si solamente C
1
(IR
N
) L
(IR
N
)
es tal que L
(IR
N
)
N
y sop IR
N
.
4.2. Primeras propiedades de los espacios de Sobolev. Teorema de Friedrichs 35
4.2. 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 T() no es denso en W
1,p
(), pero, como vamos a demostrar, s que se tiene
la densidad en el caso = IR
N
y p < . Para demostrar esto ultimo utilizamos el siguiente resultado:
Lema 4.16. Si C
0
c
(IR
N
) y u W
1,p
(IR
N
), entonces u W
1,p
(IR
N
) C
1
(IR
N
) y
(4.4)
i
( u) =
i
u, 1 i N.
Demostracion.- Basta comprobar (4.4) en el sentido de T
t
(IR
N
) y tener en cuenta la Proposicion 3.25.
Para cada T(IR
N
) jada se tiene, aplicando Fubini,
<
i
( u), >=
_
IR
N
( u)(x)
i
(x) dx
=
_
IR
N
__
IR
N
(x y)
i
(x) dx
_
u(y) dy =
_
IR
N
(
i
)(y)u(y) dy,
con (y) = (y). Ahora bien, de las propiedades ya vistas para el producto de convolucion, sabemos que
pertenece a T(IR
N
), con derivada (clasica)
i
( ) =
i
.
En consecuencia, aplicando de nuevo Fubini,
<
i
( u), >=
_
IR
N
(
i
)(x)u(x) dx =
_
IR
N
(
i
( )) (x)u(x) dx
=
_
IR
N
( )(x)
i
u(x) dx =
_
IR
N
(
i
u)(x)(x) dx =<
i
u, > .
Denicion 4.17. Se denomina sucesion truncante en IR
N
a cualquier sucesion
n
T(IR
N
) denida por:
a)
1
(x) = (x), con T(IR
N
) tal que 0 1 en IR
N
, 1 en

B(0, 1) y sop

B(0, 2),
b)
n
(x) = (
x
n
), para todo n 2.
Teorema 4.18. T(IR
N
) es denso en W
1,p
(IR
N
), para todo 1 p < .
Demostracion.- La demostracion se basa en dos pasos:
1. Regularizacion: Sea u W
1,p
(IR
N
) jado. Tomemos
n
, una sucesion regularizante en IR
N
, y denotemos
v
n
=
n
u. Evidentemente, v
n
C
(IR
N
) y v
n
u en L
p
(IR
N
). Ademas, por (4.4) y Proposicion 3.12 b)
sigue que
i
v
n
=
n

i
u
i
u en L
p
(IR
N
),
con lo que
v
n
u en W
1,p
(IR
N
).
2. Truncamiento: Sea
n
una sucesion truncante en IR
N
, y denotemos u
n
=
n
v
n
. Veamos que u
n
verica
las tesis del Teorema. Evidentemente u
n
T(IR
N
). Ademas,
_
IR
N
[u
n
v
n
[
p
dx =
_
[x[>n
[
n
v
n
v
n
[
p
dx
_
[x[>n
[v
n
[
p
dx
2
p
_
[x[>n
[u[
p
dx + 2
p
_
[x[>n
[v
n
u[
p
dx 0.
En consecuencia
u
n
u L
p
(IR
N
).
Por otro lado,
i
u
n
=
n
i
v
n
+v
n
1
n
(
i
)(
x
n
).
De manera analoga a lo hecho anteriormente se demuestra que
n
i
v
n

i
u en L
p
(IR
N
). Ademas,
denotando por C una cota superior de los valores absolutos de las parciales primeras de ,
_
IR
N
v
n
1
n
(
i
)(
x
n
)
p
dx
C
p
n
p
_
IR
N
[v
n
[
p
dx 0,
de donde se deduce que
i
u
n

i
u L
p
(IR
N
).
Es claro ahora el siguiente resultado:
Corolario 4.19. Se tiene que W
1,p
(IR
N
) = W
1,p
0
(IR
N
), para todo 1 p < .
A partir de ahora utilizamos la notacion
t
para expresar que
t
es un abierto tal que su clausura
es un compacto contenido en . En el caso de ,= IR
N
, se tiene:
Teorema 4.20. (de Friedrichs) Sean IR
N
abierto y 1 p < . Dada u W
1,p
(), existe una
sucesion u
n
T(IR
N
) tal que
u
n
u en L
p
(),
i
u
n

i
u en L
p
(
t
),
para todo 1 i N y todo abierto
t
.
Demostracion.- De nuevo la demostracion consiste en un proceso de regularizacion seguido por uno de
truncamiento.
1. Regularizacion: Denotemos por u la prolongacion de u por cero a IR
N
. En principio, u no pertenece
a W
1,p
(IR
N
).
Fijemos
n
, una sucesion regularizante en IR
N
, y denotemos v
n
=
n
u. Sabemos que v
n
C
(IR
N
) y
v
n
u en L
p
(IR
N
).
Dado
t
, jemos T() tal que 0 1 y 1 en todo un entorno de
t
contenido en , que
existe gracias al Teorema 3.6 1). En primer lugar, observemos que
sop(
n
u
n
u) = sop(
n
( 1) u) sop(
n
) + sop( 1) u B(0, 1/n) + sop( 1) u IR
N

t
,
para todo n sucientemente grande, con lo que podemos armar la existencia de un n
0
tal que si n n
0
entonces
(4.5)
n
u =
n
u en
t
.
Por la Observacion 4.15 2), u W
1,p
(IR
N
) y
i
( u) =
i
u +
u
i
. As:
i
(
n
u)
i
u +
u
i
en L
p
(IR
N
),
y en particular
i
v
n
=
i
(
n
u)
i
u +u
i
en L
p
(
t
).
Pero en
t
se satisface = 1 y
i
= 0, con lo que, por (4.5),
i
(
n
u) =
i
v
n

i
u en L
p
(
t
).
2. Truncamiento: Consideremos ahora una sucesion truncante
n
y tomemos
u
n
=
n
v
n
T(IR
N
).
Basta ahora, para terminar la demostracion, razonar como en el Teorema 4.18.
A partir de ahora, en la demostracion de los resultados que siguen, que son validos para todo p [1, ],
vamos a suponer que p es nito; para el razonamiento en el caso p = cons ultese [2].
Como primera consecuencia del teorema de Friedrichs, es facil obtener algunas reglas basicas de derivacion
en W
1,p
().
Proposicion 4.21. (Derivacion del producto) Si u y v pertenecen a W
1,p
()L
(), entonces tambien

uv W
1,p
() L
(), con
(4.6)
i
(uv) = u
i
v +v
i
u, i = 1, ..., N.
Demostracion.- Como u, v L
() L
p
() es inmediato que uv L
() L
p
().
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 u
n
=
n
(
n
u) y v
n
=
n
(
n
v) de la demostracion del teorema de
Friedrichs. Observese que
|u
n
|
L
()
= |
n
(
n
u)|
L
()
|
n
u|
L
(IR
N
)
|
n
|
L
1
(IR
N
)
| u|
L
(IR
N
)
= |u|
L
()
,
y por tanto,
(4.7) |u
n
|
L
()
|u|
L
()
, |v
n
|
L
()
|v|
L
()
.
Dada T(), se ja un abierto
t
tal que sop
t
. Probar (4.6) es equivalente a probar
_
uv
i
dx =
_
(u
i
v +v
i
u) dx.
Recordemos que gracias al Teorema de Friedrichs
u
n
u, v
n
v en L
p
() y,
i
u
n

i
u,
i
v
n

i
v en L
p
(
t
).
Ademas, extrayendo subsucesiones si es preciso (ver Captulo 3), podemos suponer que
u
n
u y v
n
v c.p.d. en y [u
n
[ h, [v
n
[ g con h, g L
p
().
Como las u
n
y las v
n
son en particular de C
(), se tiene:
(4.8)
_
u
n
v
n
i
dx =
_
(u
n
i
v
n
+v
n
i
u
n
) dx.
Basta ahora hacer pasar al lmite en (4.8) por convergencia dominada, para obtener (4.6). En efecto, deno-
tando por
f
n
:= u
n
v
n
i
,
es claro que f
n
(x) u(x)v(x)v
i
(x) c.p.d. en
t
y gracias a (4.7)
[f
n
[ C < ,
y por tanto gracias al Teorema de la Convergencia Dominada
_
u
n
v
n
i
dx
_
uv
i
dx.
Analogamente se act ua con las otras integrales de (4.8).
Observacion 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 (razonese), y por tanto, al menos, tenemos garantizado que uv W
1,1
().
Proposicion 4.23. (Derivada de una composicion) Sea G C
1
(IR) una funcion tal que G(0) = 0 y
[G
t
(s)[ C < , s IR. Si u W
1,p
(), entonces
(4.9) G(u) W
1,p
() y
i
(G(u)) = G
t
(u)
i
u 1 i N.
Ademas, si u W
1,p
0
(), entonces tambien G(u) W
1,p
0
().
Demostracion.- Evidentemente
[G(u)[ = [G(u) G(0)[ C[u[,
con lo que G(u) L
p
(). Ademas, como G
t
(u) L
() se tiene que G
t
(u)
i
u L
p
(). As que, para ver
que G(u) W
1,p
(), solo falta demostrar que
(4.10)
_
G
t
(u)(
i
u)dx =
_
G(u)
i
dx T().
Supongamos que p es nito, para el caso p = cons ultese [2]. Para demostrar (4.10), se toma una
sucesion u
n
en las condiciones del teorema de Friedrichs. Dada T(), se ja un abierto
t
tal que
sop
t
. Como G(u
n
) C
1
(IR
N
), en particular se satisface
(4.11)
_
G
t
(u
n
)(
i
u
n
)dx =
_
G(u
n
)
i
dx.
Basta ahora pasar al lmite en (4.11), para alguna subsucesion de las u
n
. Para ello se observa que de u
n
se puede extraer otra subsucesion u
tal que
u
u c.p.d. en ,
i
u

i
u c.p.d. en
t
,
[u
(x)[ v(x) c.p.d. en , con v L

p
(),
[
i
u
(x)[ h
i
(x) c.p.d. en
t
, con h
i
L
p
(
t
).
Con lo que, en particular, llamando
f
= G(u
)
i
,
tenemos que
f
(x) G(u(x))
i
(x) c.p.d. en
t
y
[f
[ [G(u
)[ C[u
[ Cv en
t
.
Teniendo en cuenta el teorema de convergencia dominada de Lebesgue se tiene que
_
G(u
)
i

_
G(u)
i
.
Por otro lado, tomando
g
= G
t
(u
)(
i
u
),
se tiene que
g
(x) G
t
(u(x))
i
u(x)(x) c.p.d. en
t
y ademas
[g
[ = [G
t
(u
)[[
i
u
[[[ Ch
i
L
p
(
t
),
por el teorema de convergencia dominada de Lebesgue se concluye que
_
G
t
(u
)
i
u
G
t
(u)
i
u.
Finalmente, si u W
1,p
0
(), existe una sucesion
n
n1
T() 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
) C
1
c
() W
1,p
0
().
Por otra parte, existe una subsucesion
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 funcion h L
p
().
Es ahora inmediato comprobar que G(
) G(u) en W
1,p
(), y por tanto G(u) W
1,p
0
().
Observacion 4.24. Las proposiciones precedentes pueden ser extendidas a situaciones mas generales:
a) La igualdad (4.6) contin ua siendo valida si u y v son dos funciones de L
1
loc
() tales uv L
1
loc
() y
u, v y uv +vu pertenecen todas a L
1
loc
()
N
(ver [5]).
b) Tambien la Proposicion 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 W
1,p
0
()). Entonces, las funciones
u
+
:= maxu, 0, u
:= maxu, 0, [u[ W
1,p
() (resp. en W
1,p
0
()) y
i
u
+
(x) =
_

i
u si u(x) > 0,
0 si u(x) 0,
i
u
(x) =
_
0 si u(x) 0,
i
u si u(x) < 0,
i
[u[(x) =
_
i
u si u(x) > 0,
i
u si u(x) < 0,
0 si u(x) = 0,
casi por doquier en .
Se propone como ejercicio demostrar este resultado, usando las funciones
G
(s) =
_
(s
2
+
2
)
1/2
_
1
s>0
.
Como una ultima consecuencia del teorema de Friedrichs, obtenemos es resultado siguiente:
Proposicion 4.26. (Formula de cambio de variables) Sean y

dos abiertos de IR
N
, y H :

una aplicaci on biyectiva, x = H(y), tal que
H C
1
(
)
N
, H
1
C
1
()
N
, Jac H L
)
NN
, Jac H
1
L
()
NN
,
donde por Jac H denotamos a la matriz jacobiana de H.
En estas condiciones, si u W
1,p
(), entonces u H W
1,p
(
), y
(4.12)

y
j
(u H)(y) =
N
i=1
u
x
i
(H(y))
H
i
y
j
(y) j = 1, ..., N.
Demostracion.- Como Jac H
1
L
()
NN
es inmediato comprobar que uH L
p
(
), y por la misma
razon, y el hecho de que Jac H L
)
NN
, para probar que uH W
1,p
(
), basta con demostrar (4.12).

Supongamos que 1 p < . En tal caso, por el teorema de Friedrichs, existe una sucesion u
n
T(IR
N
)
tal que u
n
u en L
p
() y
i
u
n

i
u en L
p
(
t
) para todo 1 i N y todo abierto
t
. Entonces,
nuevamente por el caracter L
de Jac H y Jac H
1
, tenemos que u
n
H u H en L
p
(
) y
_
u
n
x
i
H
_
H
i
y
j
_
u
x
i
H
_
H
i
y
j
en L
p
(
t
) para todo abierto

t

.
Como u
n
H C
1
(
), dada cualquier T(
), se tiene
_
e
(u
n
H)

y
j
dy =
_
e
i=1
_
u
n
x
i
H
_
H
i
y
j
dy .
Pasando al lmite en esta igualdad, se obtiene (4.12).
CAP
ITULO 5
Teoremas de Prolongacion y de Densidad en los Espacios de
Sobolev
En general, hay resultados que son mas faciles de probar para funciones que estan denidas en todo IR
N
.
As, para poder probarlo en un abierto , una tecnica consiste en prolongar la funcion de a todo IR
N
, usar el
resultado valido en IR
N
y, nalmente, restringir la funcion a . Estos son resultados de prolongacion, de entre
los que ya sabemos que si u W
1,p
0
() entonces su prolongacion u por cero a IR
N
pertenece a W
1,p
0
(IR
N
)
y de hecho tiene la misma norma en L
p
(IR
N
) y W
1,p
(IR
N
) que u en L
p
() y W
1,p
() respectivamente.
Tambien hemos visto como esta armacion 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 T() es denso en L
p
(), 1 p < , que T(IR
N
) es denso en W
1,p
(IR
N
),
para todo 1 p < , y por supuesto por denicion T() es denso en W
k,p
0
(), 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, denotara un abierto no vaco de IR
N
, con N 1 entero. Dado x IR
N
, escribiremos
tambien x = (x
t
, x
N
), con x
t
IR
N1
, x
N
IR, y usaremos [x
t
[ para denotar la norma euclidiana de x
t
.
Denotaremos
IR
N
+
= x = (x
t
, x
N
) IR
N
: x
N
> 0 ,
Q = x = (x
t
, x
N
) IR
N
: [x
t
[ < 1, [x
N
[ < 1 ,
Q
+
= Q IR
N
+
,
Q
0
= x = (x
t
, 0) IR
N
: [x
t
[ < 1 .
5.1. Teorema de Prolongacion
Introducimos en primer lugar la clase de abiertos para los que vamos a demostrar el resultado de pro-
longacion.
Denicion 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 aplicacion biyectiva H : Q O tal que
H C
m
(Q), H
1
C
m
(O), H(Q
+
) = O , H(Q
0
) = O .
41
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 = IR
N
+
.
Lema 5.2. Sea u W
1,p
(Q
+
) una funcion dada, y denotemos por u
a la funcion denida sobre Q mediante

prolongacion por reexion de u, es decir,
u
(x
t
, x
N
) =
_
u(x
t
, x
N
) si x
N
> 0,
u(x
t
, x
N
) si x
N
< 0.
Entonces u
W
1,p
(Q) y satisface
|u
|
L
p
(Q)
2|u|
L
p
(Q
+
)
, |u
|
W
1,p
(Q)
2|u|
W
1,p
(Q
+
)
.
Demostracion.- El resultado es consecuencia de que las derivadas parciales primeras de u
en el sentido
de T
t
(Q) vienen dadas por
(5.1)
i
u
= (
i
u)
, si 1 i N 1,
N
u
= (
N
u)
,
donde (
i
u)
es la prolongacion por reexion de

i
u, y para cualquier funcion real f denida sobre Q
+
se
denota f
a la funcion denida sobre Q por

f
(x
t
, x
N
) =
_
f(x
t
, x
N
) si x
N
> 0,
f(x
t
, x
N
) si x
N
< 0.
Las igualdades en (5.1), aunque intuitivamente claras, no son inmediatas, y necesitan de una demostracion
cuidadosa que omitimos y que se puede consultar en [2] (Lema IX.2) o [7] (Teorema 2.3.1).
Observacion 5.3. El resultado del Lema 5.2 contin ua siendo cierto, con la misma demostraci on, si susti-
tuimos Q
+
por IR
N
+
.
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. (Particion de la unidad) Sean un compacto de IR
N
y O
1
,..., O
k
subconjuntos abiertos de
IR
N
tales que
k
_
i=1
O
i
.
Entonces, existen k + 1 funciones
0
,
1
,...,
k
de C
(IR
N
) tales que
a) 0
i
(x) 1 para todo x IR
N
y cualquier i = 0, 1, ..., k,
b)
k
i=0
i
(x) = 1 para todo x IR
N
,
c) sop(
i
) es un compacto y sop(
i
) O
i
para todo i = 1, ..., k,
d) sop(
0
) IR
N
.
Si un abierto acotado y = , entonces
0[
T().
A la familia (
i
)
0ik
se le denomina una particion de la unidad subordinada al recubrimiento (O
i
)
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 IR
N
de clase C
1
con frontera acotada. Entonces
existe una aplicacion P : W
1,p
() W
1,p
(IR
N
) lineal y tal que para toda u W
1,p
()
a) Pu
[
= u,
b) |Pu|
L
p
(IR
N
)
C|u|
L
p
()
,
c) |Pu|
W
1,p
(IR
N
)
C|u|
W
1,p
()
,
donde C > 0 es una constante que solo depende de .
El resultado contin ua siendo cierto si = IR
N
+
.
Demostracion.- Que el teorema se satisface si = IR
N
+
es consecuencia evidente de la Observacion 5.3,
tomando en este caso Pu = u
y C = 2.
Supongamos ahora que es un abierto de IR
N
de clase C
1
con frontera acotada. En tal caso, existe
un recubrimiento abierto nito (O
i
)
1ik
de tal que para para cada i = 1, .., k existe una aplicacion
biyectiva H
i
: Q O
i
tal que
H
i
C
1
(Q), H
1
i
C
1
(O
i
), H
i
(Q
+
) = O
i
, H
i
(Q
0
) = O
i
.
Consideremos una particion de la unidad subordinada al recubrimiento (O
i
)
1ik
de = , formada
por las funciones
0
,
1
, ...,
k
, con las propiedades descritas en el Lema 5.4. Diremos en tal caso que hemos
recticado por cartas locales y hemos introducido una particion de la unidad.
Dada una funcion u W
1,p
(), denotemos u
i
=
i
u, i = 0, 1, .., k, con lo que podemos escribir que
u =
k
i=0
u
i
.
Lo que hacemos a continuacion es prolongar a IR
N
cada funcion u
i
, distinguiendo el caso i = 0 de los demas.
Prolongacion de u
0
.- Evidentemente,
0
C
1
(IR
N
) L
(IR
N
), con sop(
0
) IR
N
. Ademas, como
0
=
k
i=1
i
,
es claro que
0
L
(IR
N
)
N
, gracias a que cada sop(
i
) es un compacto y sop(
i
) O
i
. En consecuencia,
si consideramos la funcion u
0
, prolongacion por cero de u
0
a IR
N
, por la Observacion 4.15 podemos
armar que u
0
W
1,p
(IR
N
), y satisface
i
u
0
=
0
i
u + u
i
0
,
con lo que
| u
0
|
L
p
(IR
N
)
C
0
|u|
L
p
()
y | u
0
|
W
1,p
(IR
N
)
C
0
|u|
W
1,p
()
,
con C
0
> 0 solo dependiente de
0
.
Prolongacion de u
i
para i = 1, ..., k.- Se considera la restriccion de u a O
i
. Se dene
v
i
(y) = u(H
i
(y)), para cada y Q
+
.
Por la Proposicion 4.26, sabemos que v
i
W
1,p
(Q
+
). A continuacion, se considera la funcion v
i
, denida
sobre Q por prolongacion por reexion de v
i
, que sabemos que satisface v
i
W
1,p
(Q). Seguidamente, se
dene
w
i
(x) = v
i
(H
1
i
(x)), x O
i
.
44 Captulo 5. Teoremas de Prolongacion y de Densidad en los Espacios de Sobolev
Por construccion y por la Proposicion 4.26, w
i
W
1,p
(O
i
), w
i
(x) = u(x) sobre O
i
,
|w
i
|
L
p
(C
i
)
c
i
|u|
L
p
()
y |w
i
|
W
1,p
(C
i
)
c
i
|u|
W
1,p
()
,
con c
i
> 0 una constante que solo depende de H
i
.
Si se dene ahora
u
i
(x) =
_

i
(x)w
i
(x) si x O
i
,
0 si x IR
N
O
i
,
por la Observacion 4.15 2) y por construccion, podemos armar que u
i
W
1,p
(IR
N
), u
i
(x) = u
i
(x) para
todo x , y
| u
i
|
L
p
(IR
N
)
C
i
|u|
L
p
()
y | u
i
|
W
1,p
(IR
N
)
C
i
|u|
W
1,p
()
,
con C
i
> 0 una constante que solo depende de c
i
y de
i
.
Basta denir
Pu = u
0
+
k
i=1
u
i
.
Es inmediato comprobar que P satisfacen todas las condiciones del teorema.
Observacion 5.6. El teorema de prolongacion es tambien valido 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 si-
guiente.
Teorema 5.7. Supongamos que es un abierto de IR
N
de clase C
1
y sea u W
1,p
(), con 1 p < .
Entonces, existe una sucesion u
n
T(IR
N
) tal que
u
n[
u en W
1,p
().
Es decir, si denotamos por T() al espacio de las restricciones a de funciones de T(IR
N
), podemos armar
que T() es denso en W
1,p
(), para todo 1 p < .
Demostracion.- Sea u W
1,p
(), con 1 p < . Sean
n
una sucesion regularizante y
n
una
sucesion truncante en IR
N
.
a) Si es acotada, entonces existe un operador de prolongacion P satisfaciendo las condiciones del
Teorema 5.5. Es sencillo comprobar que u
n
=
n
(
n
Pu) es una sucesion tal que u
n
Pu en W
1,p
(IR
N
) y
satisface las condiciones del teorema.
b) Si no es acotada, dado > 0 existe un n
0
1 tal que |u
n
0
u|
W
1,p
()
< . Teniendo en
cuenta que solo interviene la interseccion de con la bola de centro 0 y radio grande, se puede construir
una prolongacion v W
1,p
(IR
N
) de
n
0
u. Basta ahora tener en cuenta que existe w T(IR
N
) tal que
|v w|
W
1,p
(IR
N
)
< .
Observacion 5.8. En el caso de un abierto general, un resultado de demostracion difcil debido a Meyers
y Serrin arma que C
() W
1,p
() es denso en W
1,p
() para todo 1 p < (ver [1]).
CAP
ITULO 6
Teoremas de Inyecci on continua y compacta en los Espacios
de Sobolev
N
, con N 2 entero, y por denicion, para cada
1 p ,
|u|
L
p
()
N =
N
i=1
|
i
u|
L
p
()
.
6.1. Teoremas de Inyeccion continua
Teorema 6.1. (Sobolev-Gagliardo-Nirenberg) Sea 1 p < N y denotemos p
al n umero denido por

1
p
=
1
p

1
N
_
p
=
Np
N p
_
.
Se satisface
W
1,p
(IR
N
) L
p
(IR
N
),
con inyeccion continua. Adem as, existe una constante positiva C = C(p, N) tal que
(6.1) |u|
L
p
(IR
N
)
C|u|
L
p
(IR
N
)
N, para toda u W
1,p
(IR
N
).
Demostracion.- Vamos a demostrar el resultado en el caso N = 2. La prueba del caso N general se puede
consultar en [2].
As pues, suponemos N = 2, y en consecuencia 1 p < 2 y p
=
2p
2 p
2p 2.
Supongamos en primer lugar que u C
1
c
(IR
2
). En tal caso, para todo (x
1
, x
2
) IR
2
,
[u(x
1
, x
2
)[ =
_
x
1
1
u(t, x
2
) dt
[
1
u(t, x
2
)[ dt,
[u(x
1
, x
2
)[ =
_
x
2
2
u(x
1
, t) dt
[
2
u(x
1
, t)[ dt,
y en consecuencia, multiplicando ambas desigualdades e integrando en IR
2
, obtenemos
(6.2) |u|
2
L
2
(IR
2
)
|
1
u|
L
1
(IR
2
)
|
2
u|
L
1
(IR
2
)
.
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 perte-
nece a C
1
c
(IR
2
), con derivadas parciales
i
([u[
r1
u) = r[u[
r1
i
u. Aplicando la desigualdad (6.2) a [u[
r1
u,
obtenemos
_
IR
2
[u(x)[
2r
dx r
2
|[u[
r1
1
u|
L
1
(IR
2
)
|[u[
r1
2
u|
L
1
(IR
2
)
,
y por tanto, teniendo en cuenta que por la desigualdad de Holder
|[u[
r1
i
u|
L
1
(IR
2
)

__
IR
2
[u(x)[
(r1)p
dx
_
1/p
|
i
u|
L
p
(IR
2
)
,
obtenemos
(6.3)
_
IR
2
[u(x)[
2r
dx r
2
__
IR
2
[u(x)[
(r1)p
dx
_
2/p
|
1
u|
L
p
(IR
2
)
|
2
u|
L
p
(IR
2
)
,
para todo r 1.
Tomando r =
p
2
=
p
2 p
, con lo cual (r 1)p
t
= p
, obtenemos de (6.3)
_
IR
2
[u(x)[
p
dx
_
p
2
_
2
__
IR
2
[u(x)[
p
dx
_
2/p
|
1
u|
L
p
(IR
2
)
|
2
u|
L
p
(IR
2
)
,
y de aqu, teniendo en cuenta que 1
2
p
t
=
2
p
,
(6.4) |u|
L
p
(IR
2
)

p
2
|
1
u|
1/2
L
p
(IR
2
)
|
2
u|
1/2
L
p
(IR
2
)

p
4
(|
1
u|
L
p
(IR
2
)
+|
2
u|
L
p
(IR
2
)
) .
Ahora, si u W
1,p
(IR
2
), existe una sucesion u
n
T(IR
2
), tal que u
n
u en W
1,p
(IR
2
). Teniendo en
cuenta que por (6.4)
|u
n
u
m
|
L
p
(IR
2
)

p
4
(|
1
(u
n
u
m
)|
L
p
(IR
2
)
+|
2
(u
n
u
m
)|
L
p
(IR
2
)
)
la sucesion u
n
tambien converge a u en L
p
(IR
2
), y por tanto pasando al lmite en la desigualdad (6.4)
escrita para las u
n
, la obtenemos para u.
Observacion 6.2. A lo largo del tema se utilizara en muchas ocasiones la desigualdad de Young,
ab
a
r
r
+
b
r
r
t
,
valida para todo a 0, b 0 y 1 < r < , con 1/r + 1/r
t
= 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 denido por 1/p
= 1/p 1/N. Se satisface que

W
1,p
(IR
N
) L
q
(IR
N
), para todo q [p, p
],
con inyeccion continua.
En el caso p = N se tiene el resultado siguiente:
6.1. Teoremas de Inyeccion continua 47
Corolario 6.4. (Caso lmite p = N) Se satisface
W
1,N
(IR
N
) L
q
(IR
N
), para todo q [N, +),
Demostracion.- 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
(6.5) W
1,2
(IR
2
) L
q
(IR
2
), para todo q [2, +),
Sea u C
1
c
(IR
2
). De acuerdo con la desigualdad (6.3) con p = 2, para todo r 1 se satisface
|u|
L
2r
(IR
2
)
r
__
IR
2
[u(x)[
2(r1)
dx
_
1/(2r)
|u|
1/r
L
2
(IR
2
)
,
es decir, teniendo en cuenta que
1
2r
=
1
2(r 1)
_
1
1
r
_
,
|u|
L
2r
(IR
2
)
r|u|
11/r
L
2(r1)
(IR
2
)
|u|
1/r
L
2
(IR
2
)
,
con lo que por la desigualdad de Young,
(6.6) |u|
L
2r
(IR
2
)
(r 1)|u|
L
2(r1)
(IR
2
)
+|u|
L
2
(IR
2
)
,
para todo r 1.
Tomando r = 2 en (6.6), se obtiene que |u|
L
4
(IR
2
)
|u|
L
2
(IR
2
)
+|u|
L
2
(IR
2
)
, con lo que, por la desigual-
dad de interpolacion, se tiene
|u|
L
q
(IR
2
)
C
q
(|u|
L
2
(IR
2
)
+|u|
L
2
(IR
2
)
),
para todo q [2, 4].
Reiterando el argumento con r = 3, r = 4, etc, se llega a
(6.7) |u|
L
q
(IR
2
)
C
q
(|u|
L
2
(IR
2
)
+|u|
L
2
(IR
2
)
),
para todo q [2, +) y toda u C
1
c
(IR
2
), con C
q
una funcion que solo depende de q.
A continuacion, la desigualdad (6.7) se prolonga por densidad a toda funcion u de W
1,2
(IR
2
).
Teorema 6.5. (Morrey) Si p > N, entonces
(6.8) W
1,p
(IR
N
) L
(IR
N
),
Ademas existe una constante positiva C = C(p, N) tal que
(6.9) [u(x) u(y)[ C|u|
L
p
(IR
N
)
N[x y[
1N/p
, c.p.d. x, y IR
N
, para toda u W
1,p
(IR
N
).
Demostracion.- Supongamos que u C
1
c
(IR
N
). Evidentemente, se satisface
(6.10) u(x) u(0) =
_
1
0
d
dt
u(tx) dt para todo x IR
N
.
Sea Q un cubo abierto de IR
N
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
u =
1
[Q[
_
Q
u(x) dx.
Integrando en (6.10) es inmediato que
u u(0) =
1
[Q[
_
Q
_
1
0
d
dt
u(tx) dt dx =
1
[Q[
N
i=1
_
Q
_
1
0
x
i
i
u(tx) dt dx,
y en consecuencia, teniendo en cuenta que [Q[ = r
N
,
[u u(0)[
1
r
N1
N
i=1
_
Q
_
1
0
[
i
u(tx)[ dt dx
=
1
r
N1
N
i=1
_
1
0
_
Q
[
i
u(tx)[ dxdt =
1
r
N1
N
i=1
_
1
0
_
tQ
[
i
u(y)[
t
N
dy dt. (6.11)
Teniendo en cuenta que tQ Q para todo 0 < t < 1, es inmediato de la desigualdad de Holder que
_
tQ
[
i
u(y)[ dy |
i
u|
L
p
(Q)
[tQ[
1/p
= |
i
u|
L
p
(Q)
t
N/p
r
N/p
,
con lo que de (6.11) obtenemos
(6.12) [u u(0)[
1
r
N1
|u|
L
p
(Q)
r
N/p
_
1
0
t
N/p
t
N
dt =
r
1N/p
1 N/p
|u|
L
p
(Q)
.
Por translacion, 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)[
r
1N/p
1 N/p
|u|
L
p
(Q)
para todo x Q,
y en consecuencia
(6.14) [u(x) u(y)[
2r
1N/p
1 N/p
|u|
L
p
(Q)
para todo x, y Q.
Ahora, basta tener en cuenta que dados dos puntos cualesquiera x, y IR
N
existe un cubo Q de lados
de longitud 2[x y[ paralelos a los ejes de coordenadas, para deducir (6.9) con C =
2
2N/p
1 N/p
, para todo
u C
1
c
(IR
N
).
Si u W
1,p
(IR
N
), basta considerar una sucesion u
n
C
1
c
(IR
N
) tal que u
n
u en W
1,p
(IR
N
) y c.p.d.
en IR
N
.
Finalmente, para demostrar (6.8), se considera en primer lugar u C
1
c
(IR
N
), y se tiene en cuenta que si
x IR
N
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 49
[u(x)[ [u[ +
1
1 N/p
|u|
L
p
(Q)
,
con lo que teniendo en cuenta que |u|
L
p
(Q)
|u|
L
p
(IR
N
)
y que
[u[ |u|
L
p
(Q)
|u|
L
p
(IR
N
)
,
es inmediato que
|u|
L
(IR
N
)

1
1 N/p
|u|
W
1,p
(IR
N
)
, para toda u C
1
c
(IR
N
).
Ahora, si u W
1,p
(IR
N
), basta considerar una sucesion u
n
C
1
c
(IR
N
) tal que u
n
u en W
1,p
(IR
N
).
Observacion 6.6. De la desigualdad (6.9) es sencillo comprobar que si p > N, entonces toda funcion de
W
1,p
(IR
N
) posee un (y solo un) representante continuo, de hecho -hoderiano, en todo IR
N
, con = 1N/p.
Nota 6.7. Asimismo, es inmediato comprobar por (6.8) que si p > N, entonces
W
1,p
(IR
N
) L
q
(IR
N
),
con inyeccion 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 IR
N
un abierto cualquiera no vaco. Se satisfacen:
a) si 1 p < N, entonces
W
1,p
0
() L
p
()
con inyeccion continua, siendo
1
p
=
1
p

1
N
, y de hecho existe una constante C = C(p, N) > 0 tal que
para toda u W
1,p
0
() se tiene
|u|
L
p
()
C|u|
L
p
()
,
b) si p = N, entonces
W
1,p
0
() L
q
()
con inyeccion continua, para todo q [p, +),
c) si p > N, entonces
W
1,p
0
() L
q
()
con inyeccion continua, para todo q [p, ], y ademas existe una constante C = C(p, N) > 0 tal que
para toda u W
1,p
0
() se tiene
[u(x) u(y)[ C|u|
L
p
()
[x y[
1N/p
, c.p.d. x, y ,
con lo que, en particular en este caso, W
1,p
0
() C
0
().
Idea de la Demostracion.- Veamos solo el caso 1 p < N. Si u W
1,p
0
() entonces por el Teorema 4.13,
u W
1,p
0
(IR
N
) = W
1,p
(IR
N
). Gracias ahora al Teorema 6.1 sigue que u L
p
(IR
N
) y por tanto u L
p
().
Ademas,
|u|
L
p
()
= | u|
L
p
(IR
N
)
C| u|
L
p
(IR
N
)
= C|u|
L
p
()
.
Teorema 6.9. Sea IR
N
un abierto de clase C
1
con frontera acotada, o sea = IR
N
+
. Se satisfacen:
a) si 1 p < N, entonces
W
1,p
() L
p
()
con inyeccion continua, siendo
1
p
=
1
p

1
N
,
b) si p = N, entonces
W
1,p
() L
q
()
con inyeccion continua, para todo q [p, +),
c) si p > N, entonces
W
1,p
() L
q
()
con inyeccion continua, para todo q [p, ], y ademas existe una constante C = C(p, N) > 0 tal que
para toda u W
1,p
() se tiene
(6.15) [u(x) u(y)[ C|u|
W
1,p
()
[x y[
1N/p
, c.p.d. x, y ,
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 L
p
(), 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
(p
=
1
p

1
N
=
1
p

2
N
.
Por aplicacion reiterada del Teorema 6.9 y de los resultados anteriores para el caso de IR
N
, se obtiene el
siguiente:
Teorema 6.10. Sea k 1 un entero y sea IR
N
1
con frontera acotada, o sea
= IR
N
+
, o sea = IR
N
. Se satisfacen:
a) si
1
p

k
N
> 0, entonces W
k,p
() L
q
() con inyeccion continua, siendo
1
q
=
1
p

k
N
,
b) si
1
p

k
N
= 0, entonces W
k,p
() L
q
() con inyeccion continua, para todo q [p, +),
c) si
1
p

k
N
< 0, entonces W
k,p
() L
() con inyeccion continua, y ademas si k

N
p
> 0 no es un
entero, y denotamos
m = [k N/p], = (k N/p) m,
existe una constante C = C(k, p, N) > 0 tal que para toda u W
k,p
() se tienen
|
u|
L
()
C|u|
W
k,p
()
, para todo [[ m,
[
u(x)
u(y)[ C|u|
W
k,p
()
[x y[
, c.p.d. x, y , para todo [[ m,

k,p
() C
m
().
Observacion 6.11. a) El Teorema 6.10 admite una version para W
k,p
0
(), con un abierto no vaco de
IR
N
cualquiera.
b) En general no es cierto que W
1,N
() L
().
6.2. Teoremas de Inyeccion compacta 51
6.2. Teoremas de Inyeccion compacta
Comenzamos con una caracterizacion de los espacios W
1,p
en el caso p > 1.
Proposicion 6.12. Sean un abierto no vaco de IR
N
y u L
p
() con p > 1. Las tres propiedades
siguientes son equivalentes:
a) u W
1,p
().
b) Existe una constante C > 0 tal que
u
i
dx
C||
L
p
()
,
para toda T() y todo i = 1, ..., N.
c) Existe una constante C > 0 tal que para todo abierto
t
y todo h IR
N
tal que [h[ < dist(
t
, IR
N
), se satisface
|
h
u u|
L
p
(
)
C[h[,
donde
h
u(x) = u(x +h), y en tal caso se puede tomar C = |u|
L
p
()
en b) y c).
Demostracion.- 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 T(IR
N
). Sea h IR
N
, y denamos
v(t) = u(x +th), t [0, 1].
En tal caso,
dv
dt
(t) = h u(x +th), y en consecuencia
u(x +h) u(x) = v(1) v(0) =
_
1
0
h u(x +th) dt,
con lo que,
[
h
u(x) u(x)[
p
[h[
p
_
1
0
[u(x +th)[
p
dt,
y por tanto, dado
t
,
_
[
h
u(x) u(x)[
p
dx [h[
p
_
_
1
0
[u(x +th)[
p
dt dx
= [h[
p
_
1
0
_
[u(x +th)[
p
dxdt = [h[
p
_
1
0
_
+th
[u(y)[
p
dy dt .
Si h IR
N
es tal que [h[ < dist(
t
, IR
N
), existe
h
tal que
t
+th
h
para todo t [0, 1], y
en consecuencia, por la desigualdad anterior,
(6.16) |
h
u u|
p
L
p
(
)
[h[
p
_
h
[u(x)[
p
dx.
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 nito y se hace tender p a + en (6.16) (razonese).
c) implica b): Sea T(), y consideremos un abierto
t
tal que sop
t
. Sea h IR
N
tal que
[h[ < dist(
t
, IR
N
). Por c),
(6.17)
(
h
u u)dx
(
h
u u)dx
C[h[||
L
p
()
.
Ahora bien, es inmediato comprobar que,
_
(
h
u u)dx =
_
u(y)((y h) (y)) dy,

con lo que de (6.17) se obtiene
u(y)
(y h) (y)
[h[
dy
C||
L
p
()
,
y tomando h = te
i
, y pasando al lmite para t 0, se obtiene b).
Observacion 6.13. De la demostracion 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 seccion anterior, podemos ahora demostrar:
Teorema 6.14. (Rellich-Kondrachov) Sea IR
N
un abierto acotado de clase C
1
. Se satisfacen:
a) si 1 p < N, entonces W
1,p
() L
q
() con inyeccion compacta, para todo q [1, p
), siendo
1
p
=
1
p

1
N
,
b) si p = N, entonces W
1,p
() L
q
() con inyeccion compacta, para todo q [1, +),
c) si p > N, entonces W
1,p
() C
0
() con inyeccion compacta.
Demostracion.-
a) Si 1 p < N.
En este caso sabemos que W
1,p
() L
p
() con inyeccion continua, y como es acotado, sabemos que

L
p
() L
q
() con inyeccion continua, para todo q [1, p
). Tambien por ser acotado, es inmediato

que W
1,p
() W
1,1
() con inyeccion continua.
Sea T un subconjunto acotado de W
1,p
(), y jemos q [1, p
). Desde luego, T es un subconjunto

acotado de L
p
() y por tanto de L
q
(), y tambien de W
1,1
(). Hemos de demostrar que T es relativamente
compacto en L
q
(), 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
t
,
h IR
N
tal que [h[ < dist(
t
, IR
N
), y un funcion u T, gracias a la desigualdad de interpolacion (ver
Tema 3) podemos escribir
(6.18) |
h
u u|
L
q
(
)
|
h
u u|
L
1
(
)
|
h
u u|
1
L
p
)
.
Teniendo en cuenta la Observacion 6.13, podemos armar que |
h
u u|
L
1
(
)
[h[|u|
L
1
()
, y por tanto,
de la desigualdad de Minkowski y del hecho de que T es un subconjunto acotado de L
p
() y de W
1,1
(),
deducimos de (6.18) que
|
h
u u|
L
q
(
)
([h[|u|
L
1
()
)
(2|u|
L
p
()
)
1
C[h[
,
desigualdad de la que es evidente concluir que T satisface la condicion a) del Teorema 6.18.
Para ver que T tambien satisface la condicion b) del Teorema 6.18 observemos que si u T, por la
desigualdad de Holder, para todo abierto
t
se tiene
|u|
L
q
(\
)
|u|
L
p
(\
)
[
t
[
1/q1/p
C[
t
[
1/q1/p
.
6.3. Anexo: Dos resultados de compacidad 53
Basta ahora tener en cuenta que jado cualquier > 0, existe un abierto
t
tal que [
t
[ <
(razonese), para concluir que T tambien satisface la condicion b) del Teorema 6.18, y por tanto, por dicho
teorema es relativamente compacto en L
q
().
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 facilmente de los Teoremas 6.9, del Teorema de Ascoli-Arzela (ver
Teorema 6.17 en el Anexo) y la desigualdad (6.15).
Observacion 6.15. Observese que como consecuencia del Teorema de Rellich-Kondrachov, si IR
N
es un
abierto acotado de clase C
1
, en particular W
1,p
() L
p
() con inyeccion compacta, para todo p [1, ].
Observacion 6.16. Observese que como consecuencia del Teorema 6.8, las conclusiones del teorema de
Rellich-Kondrachov son tambien validas sustituyendo W
1,p
() por W
1,p
0
(), y en este caso para todo abierto
acotado IR
N
.
6.3. Anexo: Dos resultados de compacidad
Para demostrar el resultado de inyeccion 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-Arzela) Sean K un espacio metrico compacto y T un subconjunto acotado de
C(K) (i.e., tal que sup
uT
(max
xK
[u(x)[) < +) que sea equicontinuo, es decir, tal que para todo > 0 existe un
> 0 tal que
x
1
, x
2
K, d(x
1
, x
2
) < [u(x
1
) u(x
2
)[ < , para toda u T.
Entonces T es relativamente compacto en C(K), es decir, de toda sucesion de elementos de T se puede
extraer una subsucesion uniformemente convergente en K.
Teorema 6.18. (Frechet-Kolmogorov) Sean IR
N
un conjunto abierto y T un subconjunto acotado
de L
q
() con 1 q < . Supongamos que ademas,
a) para todo > 0 y todo abierto
t
, existe un > 0 con < dist(
t
, IR
N
), tal que
|
h
u u|
L
q
(
)
< , para todo h IR
N
que satisfaga [h[ < , y toda u T,
b) para todo > 0 existe un abierto
t
tal que
|u|
L
q
(\
)
< , para toda u T.
Entonces T es relativamente compacto en L
q
(), es decir, de toda sucesion de elementos de T se puede
extraer una subsucesion convergente en L
q
().
CAP
ITULO 7
Aplicaci on traza. Caracterizacion de H
k
0
(). Normas
equivalentes
7.1. Espacios L
p
()
N
, de clase C
1
con frontera acotada. En tal
caso, existe un recubrimiento abierto nito (O
i
)
1ik
de tal que para para cada i = 1, .., k existe una
aplicacion biyectiva H
i
: Q O
i
satisfaciendo
H
i
C
1
(Q), H
1
i
C
1
(O
i
), H
i
(Q
+
) = O
i
, H
i
(Q
0
) = O
i
.
Consideraremos jada una particion de la unidad subordinada al recubrimiento (O
i
)
1ik
de = ,
formada por funciones
0
,
1
,...,
k
, con las propiedades descritas en el Lema 5.4.
Denicion 7.1. Diremos que A es -medible si para todo 1 i k, H
1
i
(A) es un subconjunto
medible Lebesgue de IR
N1
.
Dada f : IR, diremos que f es -integrable en , si para todo 1 i k la funcion f(H
i
(y
t
, 0))
es integrable en Q
0
respecto de la medida de Lebesgue en IR
N1
.
Denicion 7.2. Dada f : IR que sea -integrable en , se dene su integral en como sigue.
En primer lugar, para cada 1 i k, se denota
(7.1)
_
C
i
(
i
f)(x) d(x) =
_
[y
[<1
(
i
f)(H
i
(y
t
, 0))
_
N
r=1
(
H
ir
(y
t
, 0))
2
_
1/2
dy
t
,
siendo

H
ir
(y) = det
_
H
l
i
y
j
(y); 1 l N, l ,= r, 1 j N 1
_
, donde por H
l
i
denotamos a la compo-
nente l-esima de H
i
.
Finalmente, se dene
(7.2)
_
f(x) d(x) =
k
i=1
_
C
i
(
i
f)(x) d(x) .
Denicion 7.3. Diremos que un conjunto -medible A tiene medida nula si se satisface que
_
1
A
(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 Captulo 7. Aplicacion traza. Caracterizacion de H
k
0
(). Normas equivalentes
A partir de ahora, identicaremos todas las funciones -integrables en que sean iguales casi por
doquier en dicho conjunto. Con este convenio, dado 1 p < , denotaremos por L
p
() al conjunto de
todas las funciones f : IR tales que [f[
p
sea -integrable en , y deniremos
|f|
L
p
()
=
__
[f(x)[
p
d(x)
_
1/p
, f L
p
().
Diremos que f L
() si f es acotada respecto a la medida en .

El espacio L
p
(), con la suma de funciones y producto de una funcion por un n umero real denidos
en la forma usual, es un espacio vectorial, y dotado de | |
L
p
()
es un espacio de Banach, separable si
p [1, ), reexivo si p (1, ) y cuyo dual es L
p
() cuando p [1, ) y 1/p +1/p

t
= 1. En particular,
L
2
() es un espacio de Hilbert con el producto escalar denido por
(f, g)
L
2
()
=
_
f(x)g(x) d(x), f, g L
2
().
Para todo punto x es posible denir el vector unitario normal exterior en x, que denotaremos
n(x). Se dene as una funcion vectorial n = (n
1
, ..., n
N
) tal que n C
0
()
N
L
()
N
, para la que se
satisface la formula de Green (ver [9] o [14])
(7.3)
_
u
i
v dx =
_
v
i
udx +
_
uvn
i
d(x), para todo u, v C
1
c
(IR
N
), 1 i N.
Observacion 7.4. La formula (7.3) es tambien cierta en el caso = IR
N
+
.
1
()
Si u H
1
() pero u / C
0
(
), en principio no tiene sentido hablar de los valores de u sobre . No

obstante, si es regulares posible introducir un concepto, la traza, que generaliza el de valor de una
funcion regular sobre la frontera de .
Comenzamos con el caso = IR
N
+
. Evidentemente IR
N
+
= IR
N1
0, y la medida de supercie sobre
IR
N
+
consiste en integrar en la variable x
t
.
En lo que sigue, consideramos identicado en la manera obvia IR
N1
0 con IR
N1
, y en consecuencia
identicamos Q
0
con la bola unidad de IR
N1
.
Lema 7.5. Para toda funcion u C
1
c
(IR
N
) se satisface
(7.4)
_
IR
N1
[u(x
t
, 0)[
2
dx
t
|u|
2
H
1
(IR
N
+
)
.
Demostracion.- Si u C
1
c
(IR
N
) y x
t
IR
N1
, es evidente que
[u(x
t
, 0)[
2
=
_
+
0
N
(u
2
(x
t
, x
N
)) dx
N
= 2
_
+
0
u(x
t
, x
N
)
N
u(x
t
, x
N
) dx
N
2
__
+
0
u
2
(x
t
, x
N
) dx
N
_
1/2
__
+
0
(
N
u(x
t
, x
N
))
2
dx
N
_
1/2
_
+
0
u
2
(x
t
, x
N
) dx
N
+
_
+
0
(
N
u(x
t
, x
N
))
2
dx
N
.
Integrando esta desigualdad en IR
N1
, se obtiene
_
IR
N1
[u(x
t
, 0)[
2
dx
t
|u|
2
L
2
(IR
N
+
)
+|
N
u|
2
L
2
(IR
N
+
)
|u|
2
H
1
(IR
N
+
)
.
1
() 57
Podemos denir ahora la aplicacion
0
: C
1
c
(IR
N
) L
2
(IR
N1
),
0
() = |
IR
N1 = (x
t
, 0) para
todo x
t
IR
N1
. Es claro que
0
es lineal y que por el Lema anterior
|
0
()|
L
2
(IR
N1
)
C|u|
H
1
(IR
N
+
)
C
1
c
(IR
N
),
y teniendo en cuenta que C
1
c
(IR
N
) es denso en H
1
(IR
N
+
), se deduce facilmente,
Teorema 7.6. Existe una y s olo una aplicaci on
0
L
_
H
1
(IR
N
+
); L
2
(IR
N
+
)
_
tal que para toda u C
1
c
(IR
N
)
se satisface
0
(u) = u
[IR
N
+
.
A la aplicacion
0
as denida se le denomina la aplicacion traza (de orden cero) sobre H
1
(IR
N
+
).
Dicha aplicacion permite dar un sentido a la expresion el valor de u H
1
(IR
N
+
) sobre la frontera de IR
N
+
.
Estas consideraciones pueden ser extendidas al caso de un abierto de clase C
1
.
Vamos a denir la traza sobre de una funcion de H
1
(). Consideremos en primer lugar jada
u C
1
c
(IR
N
), y para cada 1 i k consideremos la funcion w
i
: IR
N
IR denida por
w
i
(y) =
_
(
i
u)(H
i
(y)) si y Q,
0 si y IR
N
Q.
Observese que
_
[u(x)[
2
d(x) =
_
_
k
i=1
i
(x)
_
2
[u(x)[
2
d(x) k
k
i=1
_
[
i
(x)[
2
[u(x)[
2
d(x)
= k
k
i,j=1
_
[y
[<1
[
j
(
2
i
[u[
2
)](H
j
(y
t
, 0))
_
N
r=1
(
H
jr
(y
t
, 0))
2
_
1/2
dy
t
,
y en consecuencia, teniendo en cuenta que si H
j
(y
t
, 0) , O
i
entonces [
j
(
2
i
[u[
2
)](H
j
(y
t
, 0)) = 0, y si
H
j
(y
t
, 0) O
i
entonces H
j
(y
t
, 0) = H
i
[H
1
i
(H
j
(y
t
, 0))], se puede comprobar que existe una constante C
1
> 0,
independiente de u, tal que
(7.5)
_
[u(x)[
2
d(x) k
2
C
1
k
i=1
_
IR
N1
[w
i
(y
t
, 0)[
2
dy
t
Por otra parte, teniendo en cuenta que sop
i
es un compacto contenido en O
i
, es inmediato ver que
sop(
i
u) H
i
es un compacto contenido en Q, y por consiguiente w
i
C
1
c
(Q) C
1
c
(IR
N
). As pues, por el
Lema 7.5,
(7.6)
_
IR
N1
[w
i
(y
t
, 0)[
2
dy
t
|w
i
|
2
H
1
(IR
N
+
)
, para todo 1 i k.
Ahora bien, de la denicion de w
i
no es difcil deducir que existe una constante C
2
> 0, independiente
de u, tal que
|w
i
|
2
H
1
(IR
N
+
)
C
2
|u|
2
H
1
()
, para todo 1 i k,
y por tanto, de (7.5) y (7.6) obtenemos
(7.7) |u|
2
L
2
()
k
3
C
1
C
2
|u|
2
H
1
()
, para toda u C
1
c
(IR
N
).
k
0
Teorema 7.7. Sea IR
N
1
de frontera acotada. Existe una y solo una aplicacion
0
L(H
1
(); L
2
()) tal que
0
(u) = u
[
u C
1
c
(IR
N
).
Demostracion.- Basta tener en cuenta la desigualdad (7.7), y que C
1
c
(IR
N
) es denso en H
1
().
A
0
se le denomina aplicacion traza (de orden cero) sobre . Para cada u H
1
(), a la funcion
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 formula de integracion por partes se satisface para las funciones de H
1
().
N
1
de frontera acotada, o sea = IR
N
+
. Se satisface,
(7.8)
_
u
i
v dx =
_
v
i
udx +
_
uvn
i
d(x), para todo u, v H
1
(), 1 i N.
Demostracion.- Basta aplicar la igualdad (7.3), teniendo en cuenta que C
1
c
(IR
N
) es denso en H
1
(), y que
0
L(H
1
(); L
2
()).
Tambien se satisface que H
1
0
() esta formado por los elementos de traza nula. Para demostrar esta
armacion, haremos uso del siguiente resultado, cuya prueba se puede encontrar en [2], del que ya parte
conocemos por el Teorema 4.13.
N
1
y u L
2
(). Entonces, u H
1
0
() si y solo si la
funcion u, prolongacion por cero de u a IR
N
, pertenece a H
1
(IR
N
), y en tal caso
i
u =

i
u para todo
1 i N.
N
1
de frontera acotada, o sea = IR
N
+
. Se satisface
H
1
0
() = ker (
0
) = u H
1
() :
0
(u) = 0.
Demostracion.- Si u pertenece a H
1
0
(), por denicion existe una sucesion u
n
T() tal que u
n
u en
H
1
(). Evidentemente, para cada n, se tiene que
0
(u
n
) = 0, y en consecuencia, por continuidad, tambien
0
(u) = 0.
Recprocamente, sea u H
1
(), tal que
0
(u) = 0. Consideremos la funcion u L
2
(IR
N
), prolongacion
por cero de u a IR
N
. Dada T(IR
N
), como dicha funcion en particular pertenece a H
1
(), de (7.8)
obtenemos
i
u, ) =
_
u
i
dx =
_
(
i
u)dx =
_
IR
N
(
i
u)dx, para todo 1 i N.
En consecuencia, u H
1
(IR
N
), con
i
u =

i
u para todo 1 i N, y por tanto u H
1
0
().
Observacion 7.11. La imagen de
0
no es todo el espacio L
2
() (ver [7]). Por razones que se pueden ver
en la referencia citada, se denota
H
1/2
() :=
0
(H
1
()) L
2
(),
con contenido estricto.
Observacion 7.12. a) La noci on de traza y las propiedades que hemos estudiado pueden ser extendidas al
caso de funciones de W
1,p
(), con 1 p < (ver [2]).
b) Asimismo, se puede extender la nocion de traza a los espacios de Sobolev de orden superior; nos
contentamos con exponer aqu el caso de H
2
().
1
() 59
Suponemos por tanto que es de clase C
1
con frontera acotada, o que = IR
N
+
. Si u H
2
(), entonces
tanto u,
i
u, 1 i N, pertenecen a H
1
(), y por consiguiente estan bien denidas las trazas
0
(u) y
0
(
i
u), 1 i N, siendo todas elementos de L
2
(). Se dene la traza de orden 1 de u sobre por,
(7.9)
1
(u) =
N
i=1
0
(
i
u)n
i
,
que evidentemente satisface
1
(u) L
2
(). Es claro que si u es regular, entonces
1
(u) coincide con la
derivada de u en la direccion de n, es por ello que tambien se denota
n
u :=
1
(u) , u H
2
().
Si consideramos la aplicacion (
0
,
1
) : u H
2
() (
0
(u),
1
(u)) L
2
() L
2
(), es inmediato
comprobar que H
2
0
() ker(
0
,
1
). De hecho, se puede demostrar (ver [8]) que
H
2
0
() = 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,
_
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
().
1
()
Comencemos recordando una importante desigualdad cuya prueba puede verse en [2] o en los apuntes
de la asignatura de cuarto curso EDPyAF.
Proposicion 7.14. (Primera desigualdad de Poincare) Sea IR
N
un abierto no vaco acotado al
menos en una direccion. Entonces existe una constante positiva C (que solo depende de ) tal que
(7.10)
_
[u[
2
dx C
_
[u[
2
u H
1
0
().
Corolario 7.15. La expresion
__
[u[
2
_
1/2
dene sobre H
1
0
() 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 IR
N
, y sea
0
un
subconjunto medible Lebesgue tal que [
0
[ > 0. Entonces, existe una constante C > 0 tal que
(7.11) |u|
2
H
1
()
C(|u|
2
L
2
(
0
)
+|u|
2
L
2
()
N
) para toda u H
1
().
Demostracion.- 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 u
n
H
1
() tal que
|u
n
|
2
H
1
()
> n(|u
n
|
2
L
2
(
0
)
+|u
n
|
2
L
2
()
N
).
Denotando por
v
n
=
u
n
|u
n
|
H
1
()
,
k
0
obtenemos una sucesion v
n
H
1
() tal que |v
n
|
H
1
()
= 1 y
(7.12) 1/n > |v
n
|
2
L
2
(
0
)
+|v
n
|
2
L
2
()
N
para todo n 1.
De (7.12) es evidente que
(7.13)
i
v
n
0 en L
2
(), para toda 1 i N, y que v
n
0 en L
2
(
0
).
Como la sucesion v
n
esta acotada en H
1
(), por el Teorema de Rellich-Kondrachov podemos extraer una
subsucesion de v
n
, que lo seguiremos denotando igual, tal que
v
n
v en L
2
() para alguna funcion v L
2
().
Como v
n
v en L
2
(), se tiene que
i
v
n

i
v en T
t
(), con lo que por (7.13) se obtiene que
i
v = 0 para
todo 1 i N, y por tanto, al ser conexo, podemos armar que v es constante en . Al tener tambien
que v
n
0 en L
2
(
0
), sigue que v = 0 en . Por lo tanto, v
n
0 en H
1
(), lo que es un absurdo con el
hecho de que |v
n
|
H
1
()
= 1.
Como una consecuencia del teorema de Rellich-Kondrachov y de la nocion de traza, obtenemos el si-
guiente resultado.
Teorema 7.17. (Desigualdad de Friedrichs) Supongamos que es un abierto acotado conexo de clase
C
1
de IR
N
, y sea
0
tal que (
0
) > 0. Entonces, existe una constante C > 0 tal que
(7.14) |u|
2
H
1
()
C(|u|
2
L
2
(
0
)
+|u|
2
L
2
()
N
) para toda u H
1
(),
siendo |u|
2
L
2
()
N
=
N
i=1
|
i
u|
2
L
2
()
.
Demostracion.- 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 u
n
H
1
() tal que
|u
n
|
2
H
1
()
> n(|u
n
|
2
L
2
(
0
)
+|u
n
|
2
L
2
()
N
).
En consecuencia, si denotamos
v
n
=
u
n
|u
n
|
H
1
()
,
obtenemos una sucesion v
n
H
1
() tal que |v
n
|
H
1
()
= 1 y
(7.15) 1/n > |v
n
|
2
L
2
(
0
)
+|v
n
|
2
L
2
()
N
para todo n 1.
De (7.15) es evidente que
(7.16)
i
v
n
0 en L
2
(), para toda 1 i N, y que v
n
0 en L
2
(
0
).
Por otra parte, como la sucesion v
n
es acotada en H
1
(), por el teorema de Rellich-Kondrachov, podemos
extraer una subsucesion de las v
n
, que por comodidad vamos a seguir denotando igual, tal que
v
n
v en L
2
()
para alguna funcion v L
2
().
Podemos ahora probar que v
n
es de Cauchy en H
1
(). En efecto,
|v
n
v
m
|
2
H
1
()
= |v
n
v
m
|
2
L
2
()
+|(v
n
v
m
)|
2
L
2
()
N
|v
n
v
m
|
2
L
2
()
+2|(v
n
)|
2
L
2
()
N
+2|(v
m
)|
2
L
2
()
N
,
1
() 61
y por tanto v
n
v en H
1
().
Como
0
L(H
1
(); L
2
()), sigue que v
n
v en L
2
(
0
), con lo que, teniendo en cuenta que v
n
0
en L
2
(
0
), obtenemos
(7.17) v = 0 sobre
0
.
Por otra parte, como v
n
v en L
2
(), se tiene que
i
v
n

i
v en T
t
(), con lo que por (7.16) se
obtiene que
i
v = 0 para todo 1 i N, y por tanto, al ser conexo, podemos armar 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 v
n
0 en L
2
(), lo que unido a (7.16) implica que
v
n
0 en H
1
(), lo cual esta en contradiccion con el hecho de que |v
n
|
H
1
()
= 1 para todo n 1.
Nota 7.18. La desigualdad (7.11) implica evidentemente que bajo las condiciones del Teorema 7.16, la
expresion
_
|u|
2
L
2
(
0
)
+|u|
2
L
2
()
N
_
1/2
dene 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
expresion
_
|u|
2
L
2
(
0
)
+|u|
2
L
2
()
N
_
1/2
tambien dene 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 Poincare) Supongamos que es un abierto acotado conexo
de clase C
1
de IR
N
. Entonces, existe una constante C > 0 tal que
(7.18) |u|
2
H
1
()
C
_
u(x) dx
2
+|u|
2
L
2
()
N
_
para toda u H
1
().
CAP
ITULO 8
El espacio H
k
()
Aunque sean espacios de Hilbert, es interesante no identicar mediante el teorema de Riesz los espacios
H
k
0
() con sus duales topologicos.
Denicion 8.1. Se dene H
k
() como el dual topologico de H
k
0
().
Sobre H
k
() se considera la norma natural
|F|
H
k
()
= sup
uH
k
0
(),u,=0
[F(u)[
|u|
H
k
()
= sup
uH
k
0
(): |u|
H
k
()
1
[F(u)[.
Analicemos el caso de H
1
(), siendo el caso general similar. Sean f
0
, f
1
,..., f
N
en L
2
(), y consideremos
la distribucion T T
t
() denida por
(8.1) T = f
0

N
i=1
i
f
i
.
Evidentemente, si T() entonces
T, ) =
_
f
0
dx +
N
i=1
_
f
i
i
dx,
con lo que aplicando la desigualdad de Cauchy-Schwartz
[T, )[
_
N
i=0
|f
i
|
2
L
2
()
_
1/2
||
H
1
()
T(),
y en consecuencia, por ser T() denso en H
1
0
(), T admite una unica extension a un unico elemento de
H
1
(). En resumen, toda distribucion de la forma (8.1) es identicable con un elemento de H
1
().
Recprocamente se tiene el siguiente resultado, cuya prueba puede verse en los apuntes de EDPyAF. Pre-
sentamos aqu otra prueba alternativa valida tambien para caracterizar los duales de los espacios W
1,p
0
()
con p general.
Teorema 8.2. Si F H
1
(), entonces existen N + 1 funciones f
0
, f
1
,..., f
N
en L
2
() tales que
(8.2) F(u) =
_
f
0
udx +
n
i=1
_
f
i
i
udx, u H
1
0
(),
63
64 Captulo 8. El espacio H
k
()
y
|F|
H
1
()
=
_
N
i=0
|f
i
|
2
L
2
()
_
1/2
.
Ademas, si es acotado, entonces se puede tomar f
0
= 0.
En consecuencia, todo elemento de H
1
() es identicable, en el sentido de T
t
(), con una suma de
funciones y de derivadas primeras de funciones de L
2
().
Demostracion.- Sea Y = L
2
()
N+1
, con el producto escalar
((u
0
, u
1
, ..., u
N
), (v
0
, v
1
, ..., v
N
)) =
N
i=0
(u
i
, v
i
)
L
2
()
,
y denotemos por J a la aplicacion J : u H
1
0
() (u,
1
u, ...,
N
u) Y. Evidentemente, J es lineal
inyectiva y conserva las normas, con lo que J
1
L(J(H
1
0
()), H
1
0
()) es biyectiva y conserva las normas.
En consecuencia, F J
1
_
J(H
1
0
())
t
, con norma
|F J
1
|
[J(H
1
0
())]
= |F|
H
1
()
.
Por el teorema de Hahn-Banach, existe Y
t
tal que
[
J(H
1
0
())
F J
1
, y ||
Y
= |F|
H
1
()
.
Como Y es un espacio de Hilbert, existen f
0
, f
1
,..., f
N
en L
2
() tales que
, (u
0
, u
1
, ..., u
n
)) =
n
i=0
_
f
i
u
i
dx, (u
0
, u
1
, ..., u
n
) Y
y
|(f
0
, f
1
, ..., f
N
)|
Y
= ||
Y
.
En particular, si u H
1
0
() se tiene:
, (u,
1
u, ...,
n
u)) =
_
f
0
udx +
n
i=1
_
f
i
i
udx,
y
, (u,
1
u, ...,
n
u)) = , J(u)) = F J
1
, J(u)) = F(u).
Cuando es acotado se puede razonar igual pero considerando, en vez de J, la aplicacion
J : u H
1
0
() u L
2
()
N
,
y sobre H
1
0
() el producto escalar (, )
H
1
0
()
.
Nota 8.3. En particular, podemos denir la derivada de una funcion de L
2
() como un elemento de
H
1
(), esto es para f L
2
(), se tiene que
i
f H
1
(), 1 i N que verica
i
f(v) =
_
f
i
v v H
1
0
().
65
Observacion 8.4. Utilizando la misma argumentacion que en la demostracion precedente, es facil concluir
que dado F (H
1
())
t
tambien existen N + 1 funciones f
0
, f
1
, ..., f
N
en L
2
() tales que se satisface (8.2)
para toda u H
1
() y
|F|
(H
1
())
=
_
N
i=0
|f
i
|
2
L
2
()
_
1/2
.
La diferencia con el caso de H
1
() reside en que la extension de la distribucion asociada
T = f
0

N
i=1
i
f
i
a un elemento de (H
1
())
t
puede no ser unica.
Observacion 8.5. Con argumentos similares a los del Teorema 8.2 se puede demostrar que todo elemento
de T H
k
() se puede identicar en el sentido de T
t
() con una distribucion de la forma
T =
[[k
,
siendo todas las funciones g
L
2
().
Observacion 8.6. Recordemos que por el Teorema de Representacion de Riesz, puede ser identicado un
espacio de Hilbert con su dual. Si identicamos solo el espacio L
2
() con su dual (L
2
())
t
= L
2
() se tiene
T() H
k
0
() L
2
() (L
2
())
t
H
k
() T
t
().
CAP
ITULO 9
Formulaci on debil 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 | |, 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|u||v| u, v V (continuidad),
a(u, u) |u|
2
u V (coercividad).
En tal caso, para cada L V
t
dado se tiene:
a) Existe un y solo un u V tal que a(u, v) = L(v) v V.
b) Si a(, ) es simetrica, entonces u esta caracterizado por ser la unica solucion de
1
2
a(u, u) L(u) = mn
vV
_
1
2
a(v, v) L(v)
_
.
Observacion 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
|u|
2
a(u, u) = L(u) |L|
V
|u|,
y en consecuencia se tiene la dependencia continua de u respecto de L, i.e.,
|u|
1
|L|
V
.
9.1. Problema de Dirichlet para un operador lineal elptico de segundo orden
en forma de divergencia
Suponemos jado IR
N
abierto acotado, y el operador en derivadas parciales
(9.1) Au =
N
i,j=1
j
(a
ij
(x)
i
u(x)) +
N
i=1
b
i
(x)
i
u(x) +c(x)u(x),
donde los coecientes satisfacen la hipotesis
67
68 Captulo 9. Formulacion debil de problemas de contorno elpticos
(H1) a
ij
, b
i
, c L
(), 1 i, j N.
De la hipotesis (H1) se concluye facilmente que A esta bien denido como operador de H
1
() con valores
en T
t
(). De hecho, Au H
1
() para todo u H
1
(). Al operador A se le asocia la forma bilineal a(, )
denida por
(9.2) a(u, v) =
N
i,j=1
_
a
ij
(x)
i
u
j
v dx +
N
i=1
_
b
i
(x)v
i
udx +
_
c(x)uv dx, u, v H
1
().
Ahora es facil demostrar
Lema 9.3. La forma bilineal a(, ) esta bien denida y es continua en H
1
() H
1
().
Ademas, si b
i
= 0 para todo i = 1, ..., N y a
ij
= a
ji
c.p.d. en para todo 1 i, j N entonces a es
simetrica.
Demostracion.- Sean u, v H
1
() entonces aplicando (H1) se tiene que
[a(u, v)[
N
i,j=1
_
[a
ij
[[
i
u[[
j
v[ +
N
i=1
_
[b
i
[[
i
u[[v[ +
_
[c[[uv[
C
__
[u[[v[ +
_
[u[[v[ +
_
[u[[v[
_
C
_
|u|
L
2
()
|v|
L
2
()
+|u|
L
2
()
|v|
L
2
()
+|u|
L
2
()
|v|
L
2
()
_
C|u|
H
1
()
|v|
H
1
()
.
Cuando b
i
= 0 para todo i = 1, ..., N y a
ij
= a
ji
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
(9.3)
_
Au = F en ,
u = 0 sobre ,
con
(9.4) F H
1
().
Denicion 9.4. Se denomina solucion debil o generalizada del problema de Dirichlet (9.3) a cualquier
funcion u que sea solucion de
(9.5)
_
u H
1
0
(),
a(u, v) = F, v) v H
1
0
(),
donde por , ) denotamos al producto de dualidad entre H
1
() y H
1
0
().
Nota 9.5. Recordemos que por el Teorema 8.2 si F H
1
(), entonces existen N +1 funciones f
0
, f
1
,...,
f
N
en L
2
() tales que
F, v) =
_
f
0
v dx +
n
i=1
_
f
i
i
v dx, v H
1
0
(),
y
|F|
H
1
()
=
_
N
i=0
|f
i
|
2
L
2
()
_
1/2
.
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
(9.6)
_
Au = F en ,
u = g sobre ,
con F y g dadas satisfaciendo
(9.7) F H
1
(), g H
1
().
Denicion 9.6. Se denomina solucion debil o generalizada del problema de Dirichlet (9.6) a cualquier
funcion u que sea solucion de
(9.8)
_
u g +H
1
0
(),
a(u, v) = F, v) v H
1
0
(),
o equivalentemente de
(9.9)
_
u g +H
1
0
(),
Au = F en T
t
().
A (9.8) se la denomina la formulacion variacional del problema de Dirichlet (9.6).
A lo largo del captulo usaremos tambien las siguientes hipotesis sobre el operador A:
(H2) Supongamos ademas que A es uniformemente elptico; es decir, existe > 0 satisfaciendo
N
i,j=1
a
ij
(x)
i
j
[[
2
para todo IR
N
, c.p.d. x .
(H3) El coeciente c(x) 0 c.p.d. x .
Recordemos que en el caso en que todos los coecientes b
i
son nulos, el problema (9.6) ha sido ya
analizado en la asignatura Ecuaciones en Derivadas Parciales y Analisis Funcional. Como extension del
resultado obtenido en ese caso, obtenemos el siguiente.
Teorema 9.7. Sea IR
N
abierto acotado, y supongamos que se satisfacen las hipotesis (H1)-(H2)-(H3)
y (9.7). Supongamos tambien que o bien
(D1) los coecientes b
i
son todos constantes o
(D2) satisfacen que existe > 0 tal que
(9.10) max
1iN
|b
i
|
L
()
< , con
N
i=1
[b
i
(x)[ 4c(x) c.p.d. x .
Entonces, existe una y solo una solucion debil del problema de Dirichlet (9.6). Ademas, existe una constante
C > 0, independiente de F y g, tal que
|u|
H
1
()
C
_
|F|
H
1
()
+| g|
H
1
()
_
.
Finalmente, si todos los b
i
son nulos y a
ij
= a
ji
c.p.d. en para todo 1 i, j N, entonces u viene
caracterizada por
(9.11)
1
2
a(u, u) l(u) = mn
ve g+H
1
0
()
_
1
2
a(v, v) l(v)
_
,
donde l viene denido por l(v) = F, v)
Demostracion.- Tomemos V = H
1
0
() con norma |v| = |v|
L
2
()
N, que como sabemos es norma equi-
valente a la usual de H
1
() en V y denotemos
L(v) = l(v) a( g, v) para toda v H
1
0
().
Observemos que L H
1
(), y u es solucion debil de (9.6) si y solo si
u = u + g con u H
1
0
(), y a( u, v) = L(v) v H
1
0
().
Si comprobamos que la forma bilineal a(, ) es coerciva en H
1
0
(), es inmediato obtener nuestro teorema
como consecuencia del de Lax-Milgram.
La coercividad de a(, ) en el caso (D1) en que todos los b
i
sean constantes es consecuencia directa de
que
_
v
i
v dx = 0 v H
1
0
() 1 i N,
como se deduce de la Proposicion 7.8.
Supongamos ahora la hipotesis (D2). Observese en primer lugar que para todo par de n umeros reales a
y b se tiene
ab = 2
_
a
1
2
b a
2
+
1
4
b
2
,
por lo que es facil concluir que para toda v H
1
() se satisface
i=1
_
b
i
v
i
v dx
max
1iN
|b
i
|
L
()
_
[v[
2
dx +
1
4
N
i=1
_
[b
i
(x)[[v(x)[
2
dx.
Sea ahora v V , entonces usando (H2), la desigualdad anterior y (9.10) sigue que
a(v, v) =
N
i,j=1
_
a
ij
i
v
j
v +
N
i=1
_
b
i
v
i
v +
_
cv
2
( max
1iN
|b
i
|
L
()
)
_
[v[
2
dx +
_
_
c
1
4
N
i=1
[b
i
(x)[
_
[v(x)[
2
|v|
2
H
1
0
()
.
Teniendo en cuenta el teorema de trazas, las consideraciones precedentes pueden ser trasladadas al caso
de un dato g denido sobre , si esta es regular. En concreto, supongamos la situacion precedente, salvo
que ahora es, ademas, de clase C
1
, por lo que tenemos denido la aplicacion traza
0
: H
1
() L
2
()
que es lineal y continua pero no sobreyectiva. Es decir, existen g L
2
() que no son trazas de funciones
de H
1
(). Recordemos que en el Tema 7 habamos denido
H
1/2
() =
0
(H
1
()) L
2
(),
y que por tanto dada g H
1/2
() existe g H
1
() tal que
0
( g) = g. Podemos ahora plantear el problema
(9.12)
_
Au = F en ,
u = g sobre ,
con g H
1/2
().
9.2. El problema de Neumann para 71
Denicion 9.8. Se denomina solucion debil del problema de Dirichlet (9.12) a cualquier funcion u que sea
solucion de
_
_
u H
1
(),
a(u, v) = F, v) v H
1
0
(),
0
(u) = g,
o equivalentemente de
(9.13)
_
_
u H
1
(),
Au = F en T
t
(),
0
(u) = g.
Consideremos sobre H
1/2
() =
0
(H
1
()) la norma denida por
(9.14) |g|
H
1/2
()
:= nf
v
1
0
(g)
|v|
H
1
()
, g H
1/2
(),
con la que H
1/2
() es un espacio de Banach (de hecho de Hilbert).
Teorema 9.9. Sea IR
N
un abierto acotado de clase C
1
y supongamos que se satisfacen las hipotesis
(H1)-(H2)-(H3), (D1) o (D2) y ademas
(9.15) F H
1
(), g H
1/2
().
Entonces, existe una y solo una solucion debil del problema de Dirichlet (9.12). Ademas, existe una
constante C > 0 independiente de F y g tal que
|u|
H
1
()
C
_
|F|
H
1
()
+|g|
H
1/2
()
_
.
Finalmente, si todos los b
i
son nulos y a
ij
= a
ji
c.p.d. en para todo 1 i, j N, entonces u viene
caracterizada por (9.11) con g cualquiera en
1
0
(g).
Demostracion.- Dada g H
1/2
() existe g H
1
() tal que
0
( g) = g. Basta aplicar el Teorema 9.7 y
obtener la existencia de una solucion u de (9.7) tal que u g +H
1
0
(). Pero entonces
0
(u) =
0
( g) = g, y
por lo tanto u es solucion de (9.12).
Falta probar la unicidad. Para ello consideremos dos soluciones u
1
y u
2
de (9.12). Entonces, w = u
1
u
2
es solucion de a(w, v) = 0 para todo v H
1
0
() y
0
(w) = 0. Por el Teorema de Lax-Milgram podemos
concluir que w 0.
Observacion 9.10. Tomemos g H
1
() tal que
0
( g) = g. Teniendo en cuenta que ker (
0
) = H
1
0
(), es
inmediato comprobar que el conjunto g +H
1
0
() es independiente del representante g elegido en
1
0
(g).
Observacion 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 solucion, para, eventualmente,
concluir que es una solucion clasica. Sobre este particular obtendremos algunos resultados en el Tema 11.
9.2. El problema de Neumann para
Consideremos el problema de Neumann
(9.16)
_
u +c(x)u = f en ,
n
u = g sobre .
Observese que si buscamos u H
1
() solucion de (??) entonces en principio no esta denida 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
_
u v dx +
_
c(x)uv dx =
_
fv dx +
_
gv d(x) v H
1
().
As, por ejemplo si c L
() y f L
2
() para tomar la igualdad anterior como denicion basta con dar
sentido a _
gv d(x)
para lo que bastara que g L
2
(). Pero podemos considerar un espacio mayor.
Sea ahora IR
N
, abierto acotado de clase C
1
, y denotemos por
H
1/2
() := (H
1/2
())
t
,
esto es H
1/2
() es es dual topologico de H
1/2
(), donde a este ultimo espacio se considera con la norma
denida por (9.14). Consideremos el problema de Neumann (??) con c, f y g dados satisfaciendo
(9.17) c L
(), f L
2
(), g H
1/2
().
En consecuencia, se introduce el concepto de solucion debil de (??) por
Denicion 9.12. Una solucion debil de (??) es cualquier funcion u H
1
() tal que
(9.18)
_
u v dx +
_
c(x)uv dx =
_
fv dx +g,
0
(v))
v H
1
(),
donde por , )
denotamos al producto de dualidad entre H

1/2
() y H
1/2
().
N
1
, los datos c, f y g satisfaciendo (9.17), y
supongamos que ademas existe c
0
> 0 tal que
(9.19) c(x) c
0
c.p.d. x .
Entonces existe una y solo una solucion debil del problema de Neumann (??). Dicha solucion esta caracte-
rizada por satisfacer
1
2
_
[u[
2
dx +
1
2
_
c(x)u
2
dx
_
fudx g,
0
(u))
= mn
vH
1
()
_
1
2
_
[v[
2
dx +
1
2
_
c(x)v
2
dx
_
fv dx g,
0
(v))
_
.
Ademas (dependencia continua), existe una constante C > 0 independiente de f y g tal que
|u|
H
1
()
C
_
|f|
L
2
()
+|g|
H
1/2
()
_
.
Demostracion.- Basta aplicar el Teorema de Lax-Milgram con V = H
1
(),
a(u, v) =
_
u v dx +
_
c(x)uv dx,
y L(v) =
_
fv dx +g,
0
(v))
.
9.3. Problemas con condiciones de contorno de tipo Fourier o Robin 73
Observacion 9.14. 1) La hipotesis (9.19) puede ser debilitada a c(x) 0 c.p.d. en y |c|
L
()
> 0
(ver [3] para la demostracion).
2) Sin embargo, el teorema precedente es falso si c = 0 c.p.d. en . En este caso es obvio que si u es
solucion 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 solucion debil se ha de satisfacer la condicion de compatibilidad
(9.20)
_
f dx +g, 1)
= 0.
3) Demostraremos en ejercicios, que usando la desigualdad de Poincare en H
1
(), si se denota por V
al conjunto
V = u H
1
() :
_
udx = 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 IR
N
es un abierto acotado conexo de clase C
1
, f y g satisfacen (9.17) y la relacion de
compatibilidad (9.20), entonces el problema de Neumann (??) con c = 0 posee innitas soluciones debiles,
siendo la diferencia de dos cualesquiera de ellas una constante.
Observacion 9.15. Es posible extender el Teorema 9.13 al caso del problema de Neumann
(PN)
_
Au = f en ,
n
A
u = g sobre ,
donde el operador A es de la forma (9.1), con los coecientes satisfaciendo (H1)-(H2) y una condici on
similar a (H3), siendo IR
N
1
, f L
2
(), g H
1/2
(), y
n
A
u, la
denominada derivada conormal asociada al operador A, esta denida (formalmente) por
(
n
A
u)(x) =
N
i,j=1
(a
ij
(x)
i
u(x))n
j
(x)
(ver [3] para los detalles).
Observacion 9.16. Usando un espacio denotado por H(div, ) (ver [3]), es posible demostrar, al ser f
L
2
(), que si u H
1
() es solucion debil de (??), se puede denir
n
u como un elemento de H
1/2
(),
y de hecho u es solucion debil de (??) si y solo si
_
u +c(x)u = f en T
t
(),
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 IR
N
un abierto acotado conexo de clase C
1
, f L
2
(), L
() y g H
1/2
() dadas. Sobre
suponemos ademas 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
_
u v dx +
_
(x)u(x)v(x) d(x) =
_
fv dx +
_
g(x)v(x) d(x) v H
1
().
Denicion 9.17. Una solucion debil de (9.21) es cualquier funcion u H
1
() tal que
_
u v dx +
_
(x)u(x)v(x) d(x) =
_
fv dx +g, v)
v H
1
(),
donde por , )
denotamos el producto de dualidad entre H

1/2
() y H
1/2
().
Teorema 9.18. Existe una unica solucion debil de (9.21). Ademas, existe una constante C > 0 indepen-
diente de f y g, tal que
|u|
H
1
()
C
_
|f|
L
2
()
+|g|
H
1/2
()
_
.
Demostracion.- El resultado es consecuencia del Teorema de Lax-Milgram. El unico punto delicado es
demostrar el caracter coercivo en H
1
() de la forma bilineal
a(u, v) :=
_
u v dx +
_
(x)u(x)v(x) d(x),
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).
Observacion 9.19. Tambien es f acil caracterizar la solucion debil de (9.21) como solucion de un problema
de minimizaci on en H
1
().
9.4. Problemas de contornos mixtos
Sea IR
N
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
(9.22)
_
_
u = f en ,
u = u
0
sobre
0
,
n
u = g sobre
g
=
0
,
con f L
2
(), u
0
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
|u
0
|
H
1/2
(
0
)
:= nf
e u
|
0
=u
0
| u|
H
1
()
,
donde u
[
0
denota
0
( u)
[
0
(analogamente para H
1/2
(
g
)), y H
1/2
(
g
) es el dual topologico de H
1/2
(
g
).
Denotemos
(9.23) V = v H
1
() : v
[
0
= 0.
Si todos los datos, as como la solucion u de (9.22) son regulares, es inmediato comprobar que
_
u v dx =
_
fv dx +
_
g
g(x)v(x) d(x) v V.
En consecuencia,
Denicion 9.20. Una solucion debil de (9.22) es cualquier funcion u H
1
() tal que u = u
0
sobre
0
y
_
u v dx =
_
fv dx +g, v)
g
v V,
donde por , )
g
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
Teorema 9.21. Existe una unica solucion debil de (9.22). Ademas, existe una constante C > 0 indepen-
diente de f, u
0
y g, tal que
|u|
H
1
()
C
_
|f|
L
2
()
+|u
0
|
H
1/2
(
0
)
+|g|
H
1/2
(
g
)
_
.
Demostracion.- Para resolver el problema (9.22), de manera similar al caso del problema de Dirichlet, se
ja en primer lugar una funcion u H
1
() tal que u
[
0
= u
0
. Es sencillo comprobar que u es solucion debil
de (9.22) si y solo si u = u +u
g
, siendo u
g
solucion de
(9.24)
_
_
_
u
g
V,
_
u
g
v dx =
_
fv dx
_
u v dx +g, v)
g
v V.
Consideremos la forma bilineal a : V V IR denida por
a(u, v) =
_
u v.
Para probar que a es coercivo hay que recordar que como consecuencia de la Desigualdad de Friedrichs (ver
Teorema 7.17) la expresion
_
|u|
2
L
2
(
0
)
+|u|
2
L
2
()
N
_
1/2
dene sobre H
1
() una norma equivalente a la usual, y por tanto sobre V es equivalente a
|u|
L
2
()
N.
Basta ahora aplicar el Teorema de Lax-Milgram con esa norma en V .
Observacion 9.22. Tambien, es facil caracterizar la solucion debil de (9.22) como solucion de un problema
de minimizaci on en V similar a los obtenidos en situaciones anteriores.
Observacion 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 coecientes 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. Presen-
tamos a continuacion un ejemplo en el que el dominio es todo el espacio IR
N
, y por lo tanto no hay condicion
frontera.
Nos planteamos resolver el siguiente problema
(9.25) u +u = f en IR
N
,
con f L
2
(IR
N
).
Denicion 9.24. Diremos que u H
1
(IR
N
) es solucion debil de (9.25) si
_
IR
N
u v +
_
IR
N
uv =
_
IR
N
fv, v H
1
(IR
N
).
De nuevo se tiene
Teorema 9.25. Existe una unica solucion debil de (9.25).
Demostracion.- Basta aplicar de nuevo el Teorema de Lax-Milgram a la forma bilineal
a(u, v) =
_
IR
N
u v +
_
IR
N
uv.
9.6. El problema de Dirichlet homogeneo para el bilaplaciano
Al operador de cuarto orden
2
, denido por
2
u = (u), se le denomina el operador bilaplaciano,
o tambien operador biarmonico. Se denomina problema de Dirichlet homogeneo para el bilaplaciano al
problema
(9.26)
_

2
u = f en ,
u =
n
u = 0 sobre ,
con IR
N
un abierto acotado y f L
2
() dados.
Si u C
4
() es solucion de (9.26), es inmediato que
_
udx =
_
fdx T().
Por esto, y teniendo en cuenta el caracter denso de T() en H
2
0
(), y la caracterizacion de este ultimo
espacio cuando es C
1
, se dice
Denicion 9.26. u es una solucion debil del problema (9.26) si satisface
(9.27)
_
_
_
u H
2
0
(),
_
uv dx =
_
fv dx v H
2
0
().
Teorema 9.27. Para cada f L
2
() el problema (9.26) posee una y solo una solucion debil u, que viene
caracterizada por ser solucion del problema de minimizacion
1
2
_
[u[
2
dx
_
fudx = mn
vH
2
0
()
_
1
2
_
[v[
2
dx
_
fv dx
_
.
Ademas, se obtiene dependencia continua respecto del dato f,
|u|
H
2
()

1
|f|
L
2
()
.
Demostracion.- Consideremos la forma
a(u, v) :=
_
uv dx, u, v H
2
0
(),
que evidentemente esta bien denida y es bilineal continua sobre H
2
0
(). En efecto,
[a(u, v)[ |u|
L
2
()
|v|
L
2
()
|u|
H
2
()
|v|
H
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
(9.28) a(u, u) =
_
[u[
2
dx |u|
2
H
2
()
u H
2
0
().
Para demostrar (9.28), lo primero que se observa es que, para toda funcion T() y todo 1 i, j N,
se satisface _
ii
jj
dx =
_
[
ij
[
2
dx,
y en consecuencia, por densidad, se obtiene
(9.29)
_
[u[
2
=
N
i,j=1
|
ij
u|
2
L
2
()
u H
2
0
().
9.6. El problema de Dirichlet homogeneo para el bilaplaciano 77
Por otra parte, para toda funcion T() y todo 1 i N, se satisface
_
[
i
[
2
dx =
_
ii
dx,
y por tanto, nuevamente por densidad,
(9.30) |u|
2
L
2
()
N
=
_
uudx u H
2
0
().
Finalmente, recordemos que por la desigualdad de Poincare, existe una constante C > 0 tal que en
particular
(9.31) |u|
2
L
2
()
C|u|
2
L
2
()
N
u H
2
0
().
De (9.30) es inmediato que para todo > 0,
(9.32) |u|
2
L
2
()
N

1
2
|u|
2
L
2
()
+|u|
2
L
2
()
u H
2
0
().
De (9.31) y (9.32) podemos concluir que
|u|
2
L
2
()
N

1
2
|u|
2
L
2
()
+C|u|
2
L
2
()
N
,
y por tanto
(1 C)|u|
2
L
2
()
N

1
2
|u|
2
L
2
()
.
Usando ahora (9.29), sigue que
|u|
2
H
2
()
= |u|
2
L
2
()
+|u|
2
L
2
()
N
+
N
i,j=1
|
ij
u|
2
L
2
()
(C + 1)|u|
2
L
2
()
N
+
N
i,j=1
|
ij
u|
2
L
2
()
C + 1
2(1 C)
|u|
2
L
2
()
+|u|
2
L
2
()
.
Tomando =
1
2C
es sencillo comprobar que se satisface (9.28) con =
1
1 + 2C(1 +C)
.
Con esto podemos aplicar el Teorema de Lax-Milgram y concluir el resultado.
Observacion 9.28. Es sencillo ver que lo que precede se puede generalizar al caso en que f H
2
().
CAP
ITULO 10
Principio del maximo. Unicidad de solucion debil del
problema de Dirichlet
Consideremos un dominio IR
N
abierto, conexo, acotado y de clase C
1
y el operador
Au =
N
i,j=1
j
(a
ij
(x)
i
u(x)) +
N
i=1
b
i
(x)
i
u(x) +c(x)u(x),
donde los coecientes satisfacen
(H1) a
ij
, b
i
, c L
(), 1 i, j N.
(H2) A es uniformemente elptico, esto es, existe > 0 tal que
N
i,j=1
a
ij
(x)
i
j
[[
2
, IR
N
, c.p.d. x .
(H3) c(x) 0 c.p.d. x .
10.1. Principio del Maximo debil
A lo largo del tema usaremos la notacion siguiente
u
+
:= maxu, 0, u
:= mnu, 0,
y denimos
Denicion 10.1. Sea u H
1
(), denimos
sup
u =nfK IR : u K en .
Es claro que nf
u = sup
(u).
Con esta notacion se puede ya enunciar el Principio del maximo.
Teorema 10.2. (Principio del maximo en forma generalizada) Sea u H
1
() tal que Au 0 en ,
esto es,
_
Auv 0, v H
1
0
(), v 0 en ,
79
80 Captulo 10. Principio del maximo. Unicidad de solucion debil del problema de Dirichlet
o equivalentemente
(10.1) a(u, v) 0, v H
1
0
(), v 0 en ,
donde a es la forma bilineal asociada a A.
a) Supongamos que A verica (H1) (H2) (H3). Entonces,
sup
u sup
u
+
.
b) Supongamos que A verica (H1) (H2) y c 0. Entonces,
sup
u sup
u.
Demostracion.- Supondremos por simplicidad que b
i
0 para i = 1, . . . , N, para el caso general ver [5].
Sea
l := sup
u
+
0.
Es claro que si l = + el resultado esta probado. As podemos suponer que l < . Tomemos
v := (u l)
+
.
Es claro que v 0 y que v H
1
0
() gracias al Corolario 4.25. Por tanto, tomando esta funcion en (10.1)
llegamos a
N
i,j=1
_
a
ij
(x)
i
u
j
(u l)
+
dx +
_
c(x)u(u l)
+
dx 0,
y por tanto usando que
(10.2)
i
u
j
(u l)
+
=
i
(u l)
+
j
(u l)
+
, c(x)u(u l)
+
0,
se tiene que
_
[(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 verica (H1) (H2) (H3). Entonces,
nf
u nf
.
b) Supongamos que A verica (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 verica (H1) (H2) (H3) y sea u H
1
() tal que
_
Au 0 en ,
u 0 sobre .
Entonces,
u 0 en .
10.2. Unicidad de solucion debil 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
(PD)
_
Au = F en ,
u = g sobre ,
con F H
1
() y g H
1/2
(). Se tiene
Corolario 10.5. Supongamos que A verica (H1)(H2)(H3). Entonces si existe solucion debil de (PD),
esta es unica.
Demostracion.- Supongamos que existen dos soluciones u
1
, u
2
H
1
() de (PD). Denamos
w := u
1
u
2
H
1
0
(),
que satisface claramente que Aw = 0. Aplicando ahora el Teorema 10.2 y el Corolario 10.3 se tiene que
nf
nf
w sup
w sup
w
+
.
Pero como w H
1
0
() se tiene que nf
= sup
w
+
= 0, de donde concluimos que w = 0.
CAP
ITULO 11
Regularidad de las soluciones debiles
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 IR
N
Para empezar, obtenemos un resultado de regularidad para la solucion debil de
(11.1)
_
_
_
u H
1
(IR
N
),
_
IR
N
u v dx +
_
IR
N
uv dx =
_
IR
N
fv dx, v H
1
(IR
N
),
o equivalentemente
_
u H
1
(IR
N
),
u +u = f en T
t
(IR
N
).
Teorema 11.1. Dada f L
2
(IR
N
), si u es la solucion debil de (11.1), entonces u H
2
(IR
N
), y de hecho
|u|
H
2
(IR
N
)
C|f|
L
2
(IR
N
)
, con C = 1 +N.
Ademas, si f H
m
(IR
N
), con m 1 entero, entonces u H
m+2
(IR
N
), y existe una constante C
m
> 0,
que solo depende de m y N, tal que
|u|
H
m+2
(IR
N
)
C
m
|f|
H
m
(IR
N
)
.
En particular, si m > N/2 entonces u C
2
(IR
N
).
Demostracion.- 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 : IR
N
IR es una funcion dada, y h IR
N
, con h ,= 0, denotamos (
h
w)(x) = w(x + h), y
D
h
w = (
h
w w)/[h[, es decir
(D
h
w)(x) =
w(x +h) w(x)
[h[
para todo x IR
N
.
Es inmediato que si w H
1
(IR
N
), entonces D
h
w H
1
(IR
N
), con
i
(D
h
w) = D
h
(
i
w). En particular,
por tanto, tomando v = D
h
(D
h
u) en (11.1), obtenemos
_
IR
N
u (D
h
(D
h
u)) dx +
_
IR
N
u(D
h
(D
h
u)) dx =
_
IR
N
f(D
h
(D
h
u)) dx,
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
_
IR
N
w(D
h
(D
h
u)) dx =
_
IR
N
(D
h
w)(D
h
u) dx,
obtenemos
_
IR
N
[D
h
u[
2
dx +
_
IR
N
[D
h
u[
2
dx =
_
IR
N
f(D
h
(D
h
u)) dx,
y por tanto
(11.2) |D
h
u|
2
H
1
(IR
N
)
|f|
L
2
(IR
N
)
|D
h
(D
h
u)|
L
2
(IR
N
)
, h IR
N
0.
Por otra parte, recordemos que por la Proposicion 6.12 para toda w H
1
(IR
N
) y todo h IR
N
0 se
satisface
|D
h
w|
L
2
(
)
|w|
L
2
(IR
N
)
N,
para todo
t
IR
N
, y por tanto
|D
h
w|
L
2
(IR
N
)
|w|
L
2
(IR
N
)
N.
De esta ultima desigualdad y de (11.2), obtenemos de manera inmediata que
(11.3) |D
h
u|
H
1
(IR
N
)
|f|
L
2
(IR
N
)
, h IR
N
0.
Observando que
i
(D
h
u) = D
h
(
i
u), de (11.3) se deduce en particular
|D
h
(
i
u)|
L
2
(IR
N
)
|f|
L
2
(IR
N
)
, h IR
N
0, i = 1, .., N,
y por consiguiente, por la Proposicion 6.12, para todo i = 1, ..., N, se satisface que
i
u H
1
(IR
N
), con lo
que u H
2
(IR
N
) y
(11.4) |
ij
u|
L
2
(IR
N
)
|f|
L
2
(IR
N
)
, i, j = 1, .., N.
Como u es solucion de (11.1) sigue que
|u|
H
1
(IR
N
)
|f|
L
2
(IR
N
)
,
luego usando (11.4) se tiene
|u|
2
H
2
(IR
N
)
|f|
2
L
2
(IR
N
)
+N
2
|f|
2
L
2
(IR
N
)
,
de donde se deduce la desigualdad
|u|
H
2
(IR
N
)
C|f|
L
2
(IR
N
)
, con C = 1 +N.
Supongamos ahora que f H
1
(IR
N
), y demostremos que entonces u H
3
(IR
N
). Para ello, hemos de
demostrar que
i
u H
2
(IR
N
) para todo 1 i N. Por lo ya demostrado anteriormente, sabemos que
i
u H
1
(IR
N
), y para demostrar que pertenece de hecho a H
2
(IR
N
) basta ver que
(11.5)
_
IR
N
(
i
u) v dx +
_
IR
N
(
i
u)v dx =
_
IR
N
(
i
f)v dx, v H
1
(IR
N
).
Para comprobar (11.5), basta tener en cuenta que por (11.1),
u +u = f en T
t
(IR
N
),
y por tanto, (
i
u) +
i
u =
i
f en T
t
(IR
N
), con lo que, como T(IR
N
) es denso en H
1
(IR
N
), es inmediato
obtener (11.5).
Para demostrar que si f H
m
(IR
N
) entonces u H
m+2
(IR
N
), basta razonar por recurrencia sobre m y
usar (11.5).
11.2. Un resultado de regularidad local 85
11.2. Un resultado de regularidad local
En esta seccion demostramos el siguiente resultado de regularidad local, tambien denominado de regu-
laridad en el interior.
N
un abierto no vaco y supongamos que u satisface
(11.6)
_
_
_
u H
1
(),
_
u v dx +
_
uv dx =
_
fv dx, v H
1
0
(),
con f L
2
(). Entonces, para toda T(), se satisface que u H
2
(), y de hecho, si f H
m
(),
entonces u H
m+2
().
Demostracion.- Denotemos w =

u, la prolongacion por cero a IR
N
de u. De acuerdo con la Obser-
vacion 4.15, w H
1
(IR
N
), y se satisface
i
w =

i
u +

u
i
, 1 i N,
igualdad en el sentido de T
t
(IR
N
). En consecuencia, dada T(IR
N
), para todo 1 i N se satisface
_
IR
N
i
w
i
dx =
_
IR
N
i
u
i
dx +
_
IR
N
u
i
i
dx =
_
i
u
i
dx +
_
u
i
i
dx
=
_
i
u
i
() dx
_
i
u
i
dx +
_
u
i
i
dx. (11.7)
Teniendo en cuenta que
i
i
=
i
(
i
)
ii
, y que al ser
i
T(),
_
u
i
(
i
) dx =
_
i
u
i
dx,
de (11.7) obtenemos
_
IR
N
w dx =
_
u () dx 2
_
(u )dx
_
()udx,
con lo que si observamos que por (11.6), al ser T(),
_
u () dx =
_
udx +
_
fdx,
obtenemos facilmente que
_
IR
N
w dx +
_
IR
N
wdx =
_
IR
N
gdx, T(IR
N
),
con g =

f 2
u

u.
Basta ahora tener en cuenta que T(IR
N
) es denso en H
1
(IR
N
) y la expresion de g, para concluir, por
aplicacion del Teorema 11.1 que w H
2
(IR
N
), 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
u H
1
().
As, g H
1
(IR
N
) y por tanto w H
3
(IR
N
), 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 caracter de regularidad interior del resultado anterior:
Corolario 11.3. En las condiciones del Teorema anterior, si
t
entonces u H
2
(
t
) si f L
2
()
y u H
m+2
(
t
) si f H
m
().
Observacion 11.4. Observese que los resultados anteriores no dependen de la condici on de contorno que
satisfaga u.
86 Captulo 11. Regularidad de las soluciones debiles
11.3. Teoremas de regularidad para los problemas de Dirichlet, Robin y Neu-
mann homogeneos
A continuacion enunciamos tres resultados de regularidad (para las demostraciones ver [2]).
N
2
de frontera acotada, f L
2
() y u H
1
0
() la
solucion debil del problema de Dirichlet
(PD)
_
u +u = f en ,
u = 0 sobre .
Entonces, u H
2
(), y de hecho
|u|
H
2
()
C|f|
L
2
()
,
con C > 0 una constante que solo depende de .
Ademas, si es de clase C
m+2
y f H
m
(), con m 1 entero, entonces u H
m+2
(), y existe una
constante C
m
> 0, que solo depende de m y , tal que
|u|
H
m+2
()
C
m
|f|
H
m
()
.
2
().
N
2
2
(), C
1
() y
u H
1
() la solucion debil del problema de Robin
(PR)
_
u +u = f en ,
n
u +(x)u = 0 sobre .
Entonces, u H
2
(), y de hecho
|u|
H
2
()
C|f|
L
2
()
,
m+2
, f H
m
() y C
m+1
() con m 1 entero, entonces u H
m+2
(),
y existe una constante C
m
|u|
H
m+2
()
C
m
|f|
H
m
()
.
2
().
Como consecuencia inmediata tenemos el siguiente resultado:
N
2
2
() y u H
1
() la
solucion debil del problema de Neumann
(PN)
_
u +u = f en ,
n
u = 0 sobre .
Entonces, u H
2
(), y de hecho
|u|
H
2
()
C|f|
L
2
()
,
m+2
y f H
m
(), con m 1 entero, entonces u H
m+2
(), y existe una
constante C
m
|u|
H
m+2
()
C
m
|f|
H
m
()
.
2
().
Observacion 11.8. Los Teoremas 11.5, 11.6 y 11.7 se satisfacen tambien si = IR
N
+
.
CAP
ITULO 12
Problemas de valores propios. Descomposicion espectral
12.1. Algunos resultados de Analisis Funcional
A lo largo de este tema usaremos dos resultados de Analisis Funcional que presentamos a continuacion.
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 dimension innita, tales que:
a) V es denso en H,
b) V H con inyeccion compacta.
Sea a(, ) una forma bilineal continua y simetrica sobre V , vericando la condicion de coercividad
> 0 tal que a(v, v) |v|
2
V
v V.
Entonces, existe una sucesion creciente de n umeros reales positivos:
0 <
1

2
...
n
..., y lm
n
n
= +,
y existe una base ortonormal de H, e
n
n1
, formada por elementos de V , tal que
a(e
n
, v) =
n
(e
n
, v)
H
v V, n 1.
Ademas, el conjunto
1
n
e
n
n1
constituye una base ortonormal de V si sobre este espacio se considera el
producto escalar denido 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 solo una solucion u H para cada F H si y solo si la unica solucion de la ecuacion
homogenea
u Tu = 0
es u = 0.
87
88 Captulo 12. Problemas de valores propios. Descomposicion espectral
b) Por otra parte, si la ecuacion homogenea u Tu = 0 posee soluciones distintas del cero, entonces,
dada F H, la ecuacion
u Tu = F,
posee soluciones si y solo si F es ortogonal a todas las soluciones v H de la ecuacion homogenea
adjunta
v T
v = 0,
y en ese caso el conjunto de las soluciones de u Tu = F es una variedad afn de espacio soporte el
formado por las soluciones de la ecuacion homogenea adjunta.
12.2. El espectro del laplaciano con condicion de Dirichlet
Vamos a considerar el problema de autovalores siguiente
(12.1)
_
u = u en ,
u = 0 sobre ,
donde IR
N
es un abierto acotado no vaco y IR.
Denicion 12.3. Se dice que IR es un autovalor del problema de Dirichlet (12.1) si (12.1) posee una
solucion debil no nula. Se dice en tal caso que la soluci on u es una autofuncion asociada al autovalor .
Al conjunto de todos los autovalores se le denomina el espectro.
Observacion 12.4. Observese que si u es autofuncion entonces tambien lo es ku para toda k IR, k ,= 0.
El primer resultado que vamos a obtener estudia el espectro del problema (12.1).
Teorema 12.5. Si IR
N
es un abierto acotado no vaco, el espectro de (12.1) esta constituido por una
sucesion creciente
n
n1
de n umeros reales positivos, tal que
0 <
1

2
...
n
..., y lm
n
n
= +.
Ademas, existe una base ortonormal e
n
n1
de L
2
(), formada por autofunciones asociadas a los auto-
valores
n
. Por ultimo
e
n
n1
constituye una base ortonormal del espacio H
1
0
() dotado del producto
escalar (u, v)
H
1
0
()
= (u, v)
L
2
()
N.
En consecuencia, para toda f L
2
(), la solucion debil del problema de Dirichlet
(12.2)
_
u = f en ,
u = 0 sobre ,
viene dada por
u =
n=1
1
n
(f, e
n
)
L
2
()
e
n
,
siendo la serie convergente en H
1
0
().
Demostracion.- La demostracion es una aplicacion del Teorema 12.1. En efecto, basta tomar H = L
2
()
y V = H
1
0
(), que gracias al Teorema de Rellich-Kondrachov sigue que V se inyecta de forma compacta el
H.
Por otro lado, sea a : H
1
0
() H
1
0
() IR denida por
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 ultima parte del Teorema. En primer lugar, gracias
a que e
n
forma una base ortonormal en L
2
(), u puede ser escrito como (ver [2])
u =
n=1
(u, e
n
)
L
2
()
e
n
.
Ahora bien, usando que u es solucion de (12.2) tenemos que
(f, e
n
)
L
2
()
=
_
fe
n
=
_
e
n
u =
n
_
e
n
u =
n
(u, e
n
)
L
2
()
,
de donde sigue el resultado.
El siguiente resultado nos garantiza que las autofunciones tienen mas regularidad que la establecida en
los Teoremas 12.5.
Proposicion 12.6. Sea e
n
una autofuncion asociada al autovalor
n
cuya existencia garantiza el Teore-
ma 12.5. Entonces
e
n
C
() para todo n 1.
Demostracion.- En efecto, dado cualquier abierto
t
, existe T() tal que 1 en
t
. Teniendo
en cuenta que en particular e
n
H
1
(), y que
e
n
+e
n
= (
n
+ 1)e
n
en T
t
(),
del Teorema 11.2 se deduce inmediatamente que e
n
H
3
(
t
).
As pues obtenemos que e
n
H
3
(
t
) para todo
t
. Pero entonces, razonando como antes,
obtenemos que e
n
H
5
(
t
) para todo
t
, y continuando indenidamente, llegamos a la conclusion
de que e
n
H
k
(
t
) para todo
t
, y para todo k 1. Pero esto, teniendo en cuenta los teoremas
de inyeccion de Sobolev, implica que e
n
es de clase C
en toda bola cerrada contenida en , y por tanto

e
n
C
().
El siguiente proposito es caracterizar los autovalores
n
del problema (12.1). Para ello denamos el
cociente de Rayleigh, denido para cada u H
1
0
(), con u ,= 0, por
R(u) =
|u|
2
L
2
()
N
|u|
2
L
2
()
=
_
[u[
2
_
u
2
.
Proposicion 12.7. a) Si
n
es un autovalor y e
n
es una autofuncion asociada a dicho autovalor, enton-
ces
n
= R(e
n
).
b) Se tiene que
(12.3)
1
= mn
uH
1
0
(), u,=0
R(u),
n
= max
uspane
1
,...,e
n
, u,=0
R(u).
Demostracion.- El primer apartado es evidente. Por otra parte, si u H
1
0
() se tiene que
u =
n=1
(u, e
n
)
L
2
()
e
n
,
1
0
(), con lo que
|u|
2
L
2
()
N
=
n=1
[(u, e
n
)
L
2
()
[
2
|e
n
|
2
L
2
()
N
=
n=1
n
[(u, e
n
)
L
2
()
[
2

1
n=1
[(u, e
n
)
L
2
()
[
2
=
1
|u|
2
L
2
()
,
y por tanto
1
R(u), u H
1
0
(),
con lo que gracias al primer apartado, sigue la primera igualdad de (12.3).
Sea ahora u spane
1
, ..., e
n
y por tanto
u =
n
k=1
k
e
k
.
Entonces,
R(u) =
n
k=1
2
k
n
k=1
2
k

n
,
de donde de nuevo usando el primer apartado sigue la segunda igualdad de (12.3).
De la carectizacion anterior se pueden obtener diferentes propiedades de los autovalores, presentamos
solo una de ellas.
Corolario 12.8. Sea
t
y denotemos por
1
(
t
) y
1
() los primeros autovalores de (12.1) en
t
y
respectivamente. Entonces,
1
()
1
(
t
).
Demostracion.- Sea u H
1
0
(
t
), entonces si la prolongamos por cero fuera de
t
, la prolongacion pertenece
a H
1
0
(), con lo que H
1
0
(
t
) H
1
0
(). Basta ahora aplicar la Proposicion 12.7, en concreto la primera
igualdad de (12.3).
Observacion 12.9. a) Existen otras caracterizaciones de los autovalores similares a las de la Proposi-
cion 12.7. No son difciles de demostrar las siguientes (ver [7]):
n
= mn
ue
1
,...,e
n
, u,=0
R(u),
n
= mn
WH
1
0
(),dimW=n
max
uW
R(u),
donde por e
1
, ..., e
n
denotamos al subespacio vectorial de todas las funciones de H

1
0
() que sean
ortogonales en L
2
() a las n primeras autofunciones e
1
,...,e
n
. Observese que la segunda caracterizacion
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 H
1
0
() y R(v) =
1
, entonces v es una autofuncion asociada a
1
. Ademas, si es conexo,
entonces
1
es un autovalor simple, es decir,
1
<
2
, siendo el espacio de autofunciones asociadas
a
1
de dimension 1, y por otra parte e
1
no cambia de signo en , con lo que se puede suponer que
e
1
(x) > 0 para todo x (ver [7] para todas estas ultimas armaciones).
c) La noci on de autovalores para el operador en con condicion de Dirichlet, as como el Teo-
rema 12.5, pueden ser generalizados sin dicultad al caso de un operador elptico autoadjunto de la
forma
Au =
N
i,j=1
j
(a
ij
i
u) +cu,
12.3. El espectro del laplaciano con otras condiciones de contorno: el caso de Robin 91
siendo a
ij
= a
ji
L
(), c L
(), y tales que existe > 0 satisfaciendo

N
i,j=1
a
ij
(x)
i
j
[[
2
IR
N
, c.p.d. en .
Evidentemente, en este caso, la sucesi on de autovalores que se obtiene satisface |c|
L
()

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
(12.4)
_
u +u = u en ,
n
u +(x)u = 0 sobre ,
donde IR
N
es un abierto acotado no vaco, L
(), 0 y IR. Observese que (12.4) incluye

el caso de Neumann con 0.
Denicion 12.10. Se dice que IR es un autovalor del problema de Robin (12.4), si (12.4) posee una
solucion debil no nula. Se dice en tal caso que la soluci on u es una autofuncion 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 IR
N
es un abierto acotado no vaco, el espectro de (12.4) esta constituido por una
sucesion creciente
n
n1
de n umeros reales positivos, tal que
0 <
1

2
...
n
..., y lm
n
n
= +.
Ademas, existe una base ortonormal e
n
n1
de L
2
(), formada por autofunciones asociadas a los auto-
valores
n
. Por ultimo
e
n
n1
constituye una base ortonormal del espacio H
1
() dotado del producto
escalar
(u, v)
H
1
()
= (u, v)
L
2
()
N + (u, v)
L
2
()
+
_
uv.
En consecuencia, para toda f L
2
(), la solucion debil del problema de Robin
(12.5)
_
u +u = f en ,
n
u +(x)u = 0 sobre ,
viene dada por
u =
n=1
1
n
(f, e
n
)
L
2
()
e
n
,
1
().
Por ultimo, e
n
C
().
Demostracion.- Basta tomar H = L
2
(), V = H
1
() y a : H
1
() H
1
() IR denida por
a(u, v) =
_
u v +
_
uv +
_
uv ,
y aplicar nuevamente el Teorema 12.1.
Para obtener la caracterizacion de los autovalores, necesitamos denir el siguiente cociente de Rayleigh,
denido para u H
1
(), u ,= 0, por
R(u) =
_
[u[
2
+
_
u
2
+
_
(x)u
2
_
u
2
.
La demostracion es analoga a la de la Proposicion 12.7 y por tanto la omitimos.
Proposicion 12.12. a) Si
n
es un autovalor y e
n
es una autofuncion asociada a dicho autovalor, en-
tonces
n
= R(e
n
).
b) Se tiene que
1
= mn
uH
1
(), u,=0
R(u),
n
= max
uspane
1
,...,e
n
, u,=0
R(u).
Observacion 12.13. Similares resultados pueden ser obtenidos para un problema de autovalores con con-
diciones de contorno mixtas, esto es para el problema siguiente
(12.6)
_
_
u = u en ,
u = 0 sobre
0
,
n
u = 0 sobre
1
,
donde IR
N
es un abierto acotado no vaco y =
0

1
con [
0
[ , = .
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.
N
un abierto acotado no vaco y consideremos el problema de Dirichlet
(12.7)
_
u = u +f en ,
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 condicion de Dirichlet, esto es ,=
j
para toda j IN,
entonces para cada f L
2
() el problema (12.7) posee una y solo una solucion debil.
(b) Si es un autovalor del laplaciano en con condicion de Dirichlet, digamos =
j
para alg un j IN,
entonces, dada f L
2
(), el problema (12.7) posee soluciones debiles si y solo si f es ortogonal en
L
2
() el espacio de todas las autofunciones asociadas al autovalor
j
, es decir,
_
fv = 0 para toda autofuncion v asociada a

j
,
y en tal caso el conjunto de todas las soluciones de (12.7) esta formado por la suma de una solucion
particular mas el subespacio de autofunciones asociado a
j
.
12.4. Teoremas de alternativa 93
Demostracion.- Consideremos el operador S : L
2
() L
2
(), f u
f
, con u
f
= S(f) solucion debil del
problema
(12.8)
_
u = f en ,
u = 0 sobre .
Veamos que S es lineal, compacto y autoadjunto.
Es claro que S es lineal veamos ahora que es compacto. Sea f
n
n1
L
2
() una sucesion acotada
|f
n
|
L
2
()
C para alguna constante C > 0. Denotemos u
n
= S(f
n
) la solucion de (12.8), entonces
|u
n
|
H
1
0
()
C|f
n
|
L
2
()
C
t
,
para constantes C y C
t
. Teniendo en cuenta el Teorema Rellich-Kondrachov, es facil comprobar que u
n
es
relativamente compacto en L
2
(), y por tanto S L(L
2
()) es compacto.
Veamos ahora que S es autoadjunto. Sean f, g L
2
(), u = S(f) y v = S(g). Entonces
(S(f), g)
L
2
()
=
_
S(f)gdx =
_
u(v)dx =
_
(u)vdx = (f, S(g))

L
2
()
.
Es inmediato que u es solucion debil de (12.7) si y solo si u = S(u +f), si y solo si es solucion de
(I S)u = S(f).
Sea ,= 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 facil 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 Tu = 0 tiene solo
la solucion trivial, y por tanto existe una unica solucion de (12.7).
Por otra parte, si =
j
para alg un j IN la ecuacion u Tu = 0 tiene soluciones no triviales. En este
caso, hay solucion si, y solo si, para cada v autofuncion asociada a
j
se tiene que
0 =
_
S(f)v =
1
j
_
u(v) =
1
j
_
v(u) =
1
j
_
vf,
o equivalentemente
0 =
_
vf.
Por ultimo, si = 0 el problema (12.7) tiene una unica solucion.
Observacion 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 Univer-
sidad de Cantabria, Santander, 1992.
[4] Dieudonne J. Fundamentos de Analisis Moderno, Reverte, Barcelona, 1970.
[5] Gilbarg D. & Trudinger N.S. Elliptic partial dierential equations of second order, Springer-Verlag,
1983.
[6] John F. Partial dierential 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 Dierential Equations, Springer-Verlag, Berln-
Heidelberg-New York, 1993
[12] Schwartz L. Metodos matem aticos de la Fsica, Selecciones Cientcas, 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

Fenomenos 1

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Fenomenos 1

Загружено:

Авторское право:

Доступные форматы

Indice general

1. Clasicaci on de las EDPs. Caractersticas. 3

por una distribucion . . . . . . . . . . . . . . . . . . . . . . . 28

) es suciente para garantizar existencia de solucion

u, forzosamente es entonces u constante en .

u, y supongamos que existe x tal que u( x) = M. En tal caso,

u < u(x) < sup

) es una funci on subarmonica

u para cada x . Pero, como u C

) es una funcion armonica en

) y que vu es subarmonica en . Si vu es identicamente

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

) subarmonica en y satisfaciendo v u sobre , entonces,

) y que tomen sobre valores menores

), el levantamiento armonico de u en B se considera extendido a

con valores en [, +] as denida, se tiene el siguiente resultado:

denida por (2.5) y (2.6) es armonica en .

pertenecen a IR. La funcion

,= . Ademas, si v es una funcion cualquiera de S

sobre , con lo que tambien v sup

coincide con la citada funcion armonica en el mencionado

, existe una sucesi on v

, podemos suponer que la sucesion

) y satisface que es subarmonica en , tal que w < 0 en

[[. Fijemos > 0. Por la continuidad de en

> 0 tal que

(), se dene el potencial newtoniano asociado a la funcion f como la

K(x, )f(x) dx, IR

K(x, )f(x) dx, IR

), satisface que todas todas sus derivadas segundas pertenecen a C

), subarmonica en , tal que w < 0 en

() es un espacio de Banach no separable.

(), con p [1, +] y p

u(x)(x) dx = 0 para toda T(),

. Con esta eleccion, si n n

u(x)(x) dx = (a), T(),

por una distribucion 27

por una distribucion

(IR) y sop esta contenido en sop 0, con lo que T(IR).

(I) una primitiva de f, la ecuacion original (3.5) equivale a S

(x) dx, T().

esta unvocamente determinada.

(), entonces tambien

se puede extraer otra subsucesion u

(x)[ v(x) c.p.d. en , con v L

(x)[ h(x), c.p.d. en , para todo i = 1, .., N,

), basta con demostrar (4.12).

a la funcion denida sobre Q mediante

es la prolongacion por reexion de

a la funcion denida sobre Q por

al n umero denido por

= 2, y en este caso (6.1) se obtiene directamente de (6.2), con

al n umero denido por 1/p

= 1/p 1/N. Se satisface que

(). Gracias a la condicion p < N/2 sigue que

< N y por tanto por el Teorema 6.9 se tiene que

() con inyeccion continua, y ademas si k

, c.p.d. x, y , para todo [[ m,

u(y)((y h) (y)) dy,

() con inyeccion continua, y como es acotado, sabemos que

). Tambien por ser acotado, es inmediato

). Desde luego, T es un subconjunto

() si f es acotada respecto a la medida en .