ApuntesAFEDP PDF

AN
ALISIS FUNCIONAL Y
ECUACIONES EN DERIVADAS
PARCIALES
Asignatura optativa, Cuarto Curso
Grado de Matem aticas
Facultad de Matem
aticas
Universidad de Sevilla
E. Fern andez Cara
2
Tabla de contenidos
Introduccion 5
1 Generalidades 9
1.1 Motivacion. Las EDPs como herramientas para la descripcion de
fenomenos reales . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.1.1 Deniciones fundamentales . . . . . . . . . . . . . . . . . 9
1.1.2 Las EDPs de Laplace, Poisson, calor y ondas . . . . . . . 11
1.2 Soluciones clasicas y soluciones generalizadas. Interpretaciones. . 14
1.3 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2 El teorema de Lax-Milgram y la formulacion debil de problemas
elpticos 21
2.1 Operadores lineales continuos . . . . . . . . . . . . . . . . . . . . 21
2.2 El teorema de la proyeccion y el teorema de Lax-Milgram . . . . 25
2.3 Los espacios de Sobolev H
1
, H
1
0
y H
1
. Propiedades . . . . . . . 29
2.4 Formulacion debil de problemas elpticos . . . . . . . . . . . . . . 38
2.5 Apendice: Algunos resultados auxiliares . . . . . . . . . . . . . . 42
2.6 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
3 Teora espectral y aplicaciones a las EDPs 63
3.1 Operadores lineales compactos. Propiedades . . . . . . . . . . . . 63
3.1.1 Deniciones y propiedades . . . . . . . . . . . . . . . . . . 63
3.1.2 Primeros ejemplos: operadores integrales . . . . . . . . . 66
3.2 El teorema de alternativa de Fredholm. Primeras aplicaciones . . 67
3.3 El espectro de un operador lineal compacto . . . . . . . . . . . . 70
3.3.1 Deniciones y resultados fundamentales . . . . . . . . . . 71
3.3.2 Aplicacion a la resolucion de algunas ecuaciones integrales 74
3.4 El teorema de Hilbert-Schmidt . . . . . . . . . . . . . . . . . . . 76
3.5 El caso de un operador elptico autoadjunto . . . . . . . . . . . . 80
3.5.1 Un resultado abstracto . . . . . . . . . . . . . . . . . . . . 80
3.5.2 Autovalores y autofunciones de un operador elptico au-
toadjunto . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
3.6 Soluciones debiles de problemas de evolucion . . . . . . . . . . . 84
3.7 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
Bibliografa 93
3
4
Introducci on
El objetivo principal de estas Notas es presentar los fundamentos de la teora
moderna de ecuaciones en derivadas parciales (en lo que sigue EDPs).
De forma bastante imprecisa, diremos que una EDP es una igualdad en la
que la incognita es una funcion de dos o mas variables independientes y en la que
aparecen derivadas parciales de esta. Se denomina orden de la EDP al mayor
de todos los ordenes de estas derivadas.
Por ejemplo, si aceptamos que u = u(x
1
, x
2
) es una funcion desconocida (la
incognita), entonces
2
u
x
2
1
+

2
u
x
2
2
= 0,

2
u
x
2
1
+
u
x
1

2
u
x
2
2
= 0,
u
x
1

2
u
x
2
2
= u(1 u)
son EDPs de segundo orden (se trata de EDPs de gran importancia en las
aplicaciones). Por otra parte,
4
u
x
4
1
+ 2

4
u
2
x
2
1
x
2
2
+

4
u
x
4
2
= 0,
u
x
1

3
u
x
1
x
2
2
+

4
u
x
4
2
= 0
y
sen u + exp
_
2
u
x
2
1
_
+

4
u
x
2
1
x
2
2
= 0
son EDPs de cuarto orden.
La resolucion de problemas ligados a EDPs puede llevarse a cabo bajo dos
enfoques diferentes. El enfoque clasico utiliza las herramientas fundamentales
del Calculo Diferencial y proporciona, cuando es posible, funciones que son
soluciones en un sentido habitual. Esto es, funciones con derivadas parciales
del orden adecuado que verican las EDPs consideradas puntualmente, en
todos los puntos de una region apropiada. Desgraciadamente, este enfoque solo
condice a reultados satisfactorios bajo condiciones muy restrictivas.
Como alternativa a este punto de vista, encontramos el enfoque moderno,
que reposa sobre la siguiente idea: generalizamos el concepto de funcion, apare-
ciendo las distribuciones; seguidamente, aceptamos que una solucion es una
distribucion que verica identidades integrales adecuadas, donde conseguimos
(entre otras ventajas) rebajar el orden de las derivadas. Se suele decir que esta-
mos considerando soluciones debiles. Si este proceso se lleva a cabo de manera
correcta, se consigue resolver un n umero mucho mayor de problemas ligados a
EDPs. Ademas, en muchas ocasiones, en una segunda etapa es posible pro-
bar resultados de regularidad que muestran que la solucion debil encontrada es
realmente una solucion clasica.
5
6 Introduccion
En estas Notas, adoptaremos el punto de vista de la teora moderna en el
contexto de varias EDPs de naturaleza y propiedades distintas. Para ello, sera
preciso probar previamente varios resultados de caracter abstracto, propios del
Analisis Funcional: teora elemental de operadores lineales continuos en espacios
de Banach, teorema de Lax-Milgram, teora espectral de operadores compactos,
etc.
El enfasis principal se ha puesto en las ecuaciones de Poisson, del calor y de
ondas (las representantes canonicas de las EDPs lineales de segundo orden).
Se ha intentado aclarar que, para cada una de ellas, tiene sentido considerar
problemas de naturaleza distinta. En la medida de lo posible, se indica ademas
el papel que juegan estas EDPs en las aplicaciones.
Notacion 7
Notacion y abreviaturas
EDP: ecuacion en derivadas parciales.
EDO: ecuacion diferencial ordinaria.
R: cuerpo de los n umeros reales.
R
+
: conjunto de los n umeros reales positivos.
R
N
+
: el conjunto R
N1
R
+
.
, G, U, O: abiertos de R
N
.
A: frontera del conjunto A.
n(x): vector normal unitario en x , dirigido hacia el exterior de .
d: elemento de integracion sobre (vease el Apendice al Tema 2).
1
G
: funcion caracterstica de G; vale 1 en G y 0 en su complementario.
ij
: delta de Kronecker;
ij
= 1 si i = j,
ij
= 0 si no.
C
0
(U): espacio de las funciones : U R que son continuas.
C
k
(U): subespacio de C
0
(U) formado por las funciones k veces continuamente
diferenciables.
C
(U): interseccion de todos los C

k
(U) con k 1.
C
(U): subespacio de C
(U) formado por las funciones analticas.

sop : soporte de la funcion ; se trata de la adherencia del conjunto de puntos
donde no se anula.
C
k
c
(): subespacio de C
k
() formado por las funciones de soporte compacto
contenido en .
T(): subespacio de C

contenido en .
C
k
c
(): subespacio de C
k
(contenido en ).
T(): subespacio de C
() formado por las funciones de soporte compacto.

c.p.d.: casi por doquier; se usa para indicar que una propiedad se verica en
todo punto salvo a lo sumo en un conjunto de medida nula.
N(A) y R(A), con A /(H; G): el n ucleo y el rango de un operador dado; se
tiene que N(A) = h H : Ah = 0 y R(A) = Ah : h H.
p
, con 1 p < +: espacio de las sucesiones p-sumables.
: espacio de las sucesiones acotadas.

Denotaremos [ [ la norma Eucldea de R
N
y B(x
0
; r) (resp. B(x
0
; r)) la bola
abierta (resp. cerrada) de centro x
0
y radio r. En ocasiones, dado un espacio
normado X, B
X
denotara la correspondiente bola unidad cerrada.
8 Introduccion
Tema 1
Generalidades
En estas Notas, nos centraremos casi exclusivamente en EDPs de segundo or-
den. En este Tema, veremos que muchas EDPs de segundo orden aparecen de
manera natural cuando se intenta describir fenomenos reales de diversa natu-
raleza. Tambien, hablaremos por primera vez de soluciones clasicas y soluciones
generalizadas e interpretaremos su signicado.
1.1 Motivaci on. Las EDPs como herramientas
para la descripcion de fen omenos reales
1.1.1 Deniciones fundamentales
Denicion 1.1. Sea N 1 un entero. Una EDP de segundo orden en las N
variables independientes x
1
, x
2
, . . . x
N
es una expresion de la forma
F
_
x
1
, . . . , x
N
, u,
u
x
1
, . . . ,
u
x
N
,

2
u
x
2
1
, . . . ,

2
u
x
i
x
j
, . . . ,

2
u
x
2
N
_
= 0, (1.1)
donde F : O R
N
2
+2N+1
R es una funcion dada (aqu, O es un abierto no
vaco). A la incognita u se le suele llamar tambien variable dependiente.
Por simplicidad, pondremos habitualmente
x = (x
1
, . . . , x
N
), u = u(x), u = Du =
_
u
x
1
, . . . ,
u
x
N
_
(el gradiente de u) y
D
2
u =
_
2
u
x
2
1
, . . . ,

2
u
x
i
x
j
, . . . ,
u
x
N
_
(el Hessiano de u). Con esta notacion, la EDP (1.1) se escribe
F(x, u, Du, D
2
u) = 0. (1.2)
Desgraciadamente, a diferencia de lo que sucede con las ecuaciones diferen-
ciales ordinarias (EDOs), no es posible desarrollar una teora general de EDPs
9
10 Generalidades
de segundo orden. Lo que s pueden ser desarrolladas son teoras particulares,
aplicables a determinados tipos de EDPs.
Con frecuencia, se usa otra notacion para designar las variables x
i
y/o la
incognita u. Por ejemplo, cuando N = 2, es usual ecribir
F(x, y, u, u
x
, u
y
, u
xx
, u
xy
, u
yy
) = 0.
No obstante, en muchas ocasiones la notacion asignada esta motivada por el
papel que juega la EDP considerada en las aplicaciones.
El concepto de solucion de una EDP es de importancia fundamental. El
analisis de dicho concepto ha conducido al desarrollo de buena parte de las
Matematicas: Analisis de Fourier, teora de distribuciones, espacios de Sobolev,
etc.
Por el momento, nos limitaremos a la denicion siguiente:
Denicion 1.2. Sean U R
N
un abierto no vaco y u : U R una funcion.
Se dice que u es solucion clasica de (1.2) en U si se cumplen las propiedades
siguientes:
1. u C
2
(U),
2. (x, u(x), Du(x), D
2
u(x)) O para cada x U,
3. F(x, u(x), Du(x), D
2
u(x)) = 0 para cada x U.
No todas las EDPs resultan tener el mismo interes. Algunas de ellas son
interesantes exclusivamente desde el punto de vista academico. Por el contrario,
otras poseen origen en la formulacion de problemas propios de la Fsica, otra
Ciencia de la Naturaleza o incluso otro campo de las Matematicas y por tanto
tienen mayor relevancia y merecen una mayor atencion.
De todas las EDPs de segundo orden, las mas importantes son las EDPs
lineales.
Denicion 1.3. Una EDP lineal de segundo orden en las variables indepen-
dientes x
1
, . . . , x
N
es una EDP de la forma
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), (1.3)
donde las a
ij
, b
i
, c, f son funciones denidas en , un abierto no vaco de R
N
.
Las funciones a
ij
, b
i
, c se denominan coecientes de (1.3) y f se denomina el
termino independiente (o segundo miembro). Si f 0, se dice que la ecuacion
es homogenea. Si las a
ij
, b
i
, c son constantes, se dice que (1.3) es una EDP de
coecientes constantes.
Observacion 1.1. Supondremos siempre en (1.3) que a
ij
a
ji
para i, j =
1, . . . , N. Dado un abierto no vaco U , el conjunto de todas las soluciones
clasicas en U de la EDP (1.3) es una variedad lineal de C
2
(U).
1
1
Si f 0, este conjunto es un subespacio vectorial de C
2
(U).
Laplace, Poisson, calor y ondas 11
Observacion 1.2. Otras EDPs de segundo orden muy importantes son las
llamadas semi-lineales. Se trata de las que tienen la forma
i,j=1
a
ij
(x)

2
u
x
i
x
j
= f(x, u, Du) (1.4)
Tambien suelen considerarse EDPs con la estructura siguiente
i,j=1
a
ij
(x, u, Du)

2
u
x
i
x
j
= f(x, u, Du), (1.5)
a las que se llama EDPs casi-lineales (se trata en este caso de EDPs lineales en
las derivadas de segundo orden).
En lo que sigue, pondremos enfasis sobre todo en el analisis de las ecuaciones
de Laplace y Poisson, la ecuacion del calor y la ecuacion de ondas, que seran
presentadas en la Seccion siguiente. En todos los casos, se trata de EDPs lineales
de segundo orden de coecientes constantes.
Al igual que sucede con las EDOs, las EDPs aparecen en la practica acompa-
nadas (o completadas) por condiciones adicionales (nuevas igualdades que han
de ser satisfechas por la solucion). Con frecuencia, estas condiciones (y tambien
la propia EDP) estan motivadas por leyes que rigen para diversos fenomenos de
naturaleza fsica, qumica, biologica, etc.
Es posible dar ejemplos sencillos de condiciones adicionales que conducen
a resultados totalmente distintos para EDPs diferentes (vease el Ejercicio 1.8).
Por tanto, la eleccion de las condiciones que pueden o deben acompa nar a una
EDP dada no es una cuestion menor.
1.1.2 Las ecuaciones de Laplace y Poisson, la ecuaci on del
calor y la ecuaci on de ondas
Consideraremos las siguientes EDPs lineales de segundo orden y coecientes
constantes:
u = f(x), (1.6)
u
t
ku = F(x, t) (1.7)
y
2
u
t
2
c
2
u = h(x, t). (1.8)
Aqu, hemos usado la notacion
u :=
N
i=1
2
u
x
2
i
(se dice que es el operador de Laplace y que u es el Laplaciano de u).
Supondremos en (1.6)(1.8) que k y c son constantes positivas y que las
funciones f, F y h son (por ejemplo) continuas; mas adelante daremos inter-
pretaciones de estos datos.
12 Generalidades
Hemos utilizado una notacion algo especial, de acuerdo con la cual (1.6) es
una EDP en las N variables independientes x
1
, . . . , x
N
y (1.7) y (1.8) son EDPs
en las N + 1 variables x
1
, . . . , x
N
y t. Pronto quedara justicada esta eleccion.
La EDP (1.6) se denomina ecuacion de Poisson. Cuando f 0, recibe el
nombre de ecuacion de Laplace.
Ambas ecuaciones aparecen con frecuencia en Fsica, Qumica, Biologa, etc.
cuando se intenta describir el comportamiento de fenomenos estacionarios, esto
es, independientes del tiempo. Por ejemplo, el campo electrico generado en un
medio cuyas partculas llenan el abierto R
3
por una distribucion de carga
f C
0
() es E = u, donde u es solucion de
u = f(x), x ,
siendo una constante positiva adecuada.
Generalmente, las EDPs de Laplace y de Poisson son complementadas con
condiciones de contorno. El caso mas sencillo corresponde al llamado problema
de Dirichlet. La situacion es la siguiente:
1. Se ja un abierto no vaco R
N
, de frontera no vaca .
2. Se jan dos funciones f : R una funcion g : R.
3. Entonces, en terminos ambiguos, resolver el problema de Dirichlet para la
EDP de Poisson (1.6) consiste en determinar una solucion de (1.6) en
que verique ademas la condicion de Dirichlet
u(x) = g(x), x .
La EDP (1.7) es la ecuacion del calor. Cuando el n umero de variables inde-
pendientes es N + 1, se suele decir que se trata de la ecuacion N-dimensional
(las x
1
, . . . , x
N
son las variables espaciales; t es la variable temporal).
Tambien es frecuente encontrar esta EDP en muchas aplicaciones. Aparece
cuando se intenta describir el comportamiento de fenomenos difusivos, es decir,
ligados a una propagacion rapida (o instantanea) de la variable dependiente. Por
ejemplo, supongamos que R
3
es un abierto ocupado por un medio conductor
del calor y que sobre este medio act ua una fuente de calor F = F(x, t) durante
el intervalo temporal (0, T), es decir, para x y t (0, T). Entonces se puede
aceptar que la temperatura del medio verica (1.7) para una constante positiva
k (la conductividad del medio).
2
En muchas aplicaciones, la EDP del calor aparece acompa nada de condi-
ciones de contorno (analogas a las mencionadas mas arriba) y condiciones ini-
ciales. Por ejemplo, tiene gran interes el problema de Cauchy-Dirichlet, que
puede ser descrito as:
1. De nuevo, jamos un abierto no vaco R
N
, de frontera no vaca ;
jamos tambien un intervalo temporal (0, T).
2
El hecho de que (1.7) permita describir la evoluci on de una temperatura es justamente lo
que motiva que llamemos ecuaci on del calor a (1.7).
Laplace, Poisson, calor y ondas 13
2. Suponemos dadas tres funciones F : (0, T) R, G : (0, T) R
y u
0
: R.
3. Diremos que resolver el problema de Cauchy-Dirichlet para la EDP del
calor (1.7) consiste en determinar una solucion de (1.7) en (0, T) que
verique ademas la condicion de contorno de tipo Dirichlet
u(x, t) = G(x, t), (x, t) (0, T)
y la condicion inicial (o condicion de Cauchy)
u(x, 0) = u
0
(x), x .
Por otra parte, (1.8) es la ecuacion de ondas N-dimensional. Sirve para
describir fenomenos ondulatorios, caracterizados por la propagacion de se nales
con velocidad nita. Por ejemplo, cuando N = 1, (1.8) permite determinar las
vibraciones de una cuerda elastica (siempre que estas sean de peque na amplitud)
y, por esa razon, (1.8) tambien suele llamarse ecuacion de la cuerda vibrante.
As, si una cuerda elastica sujeta por sus extremos ocupa el intervalo espacial
[0, ] durante el intervalo de tiempo (0, T), se puede aceptar que la posicion de
los puntos de la cuerda esta determinada por una solucion de la EDP
2
u
t
2
c
2
2
u
x
2
= 0, (x, t) (0, ) (0, T),
donde c es una constante positiva.
Como en el caso de la EDP del calor, tiene sentido considerar el problema
de Cauchy-Dirichlet para (1.8). En este caso, dado que aparecen derivadas de
segundo orden en la variable t, parece razonable (por analoga con los problemas
de valores iniciales para EDOs) pedir a la incognita y a su primera derivada
respecto de t que tomen valores dados cuando t = 0. La descripcion es la
siguiente:
1. Fijamos un abierto no vaco R
N
, de frontera no vaca y un inter-
valo temporal (0, T).
2. Suponemos dadas cuatro funciones h : (0, T) R, G : (0, T) R,
u
0
: R y u
1
: R.
3. Entonces, resolver el correspondiente problema de Cauchy-Dirichlet para
la EDP de ondas (1.8) consiste en hallar una solucion de (1.8) en (0, T)
que verique ademas la condicion de contorno
u(x, t) = G(x, t), (x, t) (0, T)
y las condiciones iniciales
u(x, 0) = u
0
(x), u
t
(x, 0) = u
1
(x), x .
Debido a las caractersticas de los fenomenos que describen, se suele decir que
las ecuaciones del calor y de ondas son ecuaciones de evolucion. Por el contrario,
las ecuaciones de Poisson y de Laplace se denominan ecuaciones estacionarias.
14 Generalidades
Aparte de las EDPs que preceden, hay otras muchas interesantes desde el
punto de vista de las aplicaciones. Una buena parte de ellas son variantes de
las anteriores.
Por ejemplo, para la propagacion de ondas en un medio fsico no vaco, es
usual recurrir a la llamada ecuacion del telegrasta
2
u
t
2
+a
u
t
c
2
u = h(x, t),
donde a es una nueva constante positiva. Esta EDP aproxima bien, por ejemplo,
la propagacion de ondas de radio en la atmosfera.
Para la evolucion de la temperatura de un medio fsico tridimensional cuyas
partculas se desplazan con velocidad V = (V
1
, V
2
, V
3
) (que puede ser funcion
de x y de t), se usa la EDP
u
t
+
3
i=1
V
i
u
x
i
ku = F(x, t),
llamada ecuacion de transporte-difusion.
Para otras EDPs de interes en las aplicaciones, vease por ejemplo [7] y [16].
1.2 Soluciones clasicas y soluciones generaliza-
das. Interpretaciones.
Por simplicidad y para jar ideas, consideremos el siguiente problema:
_
u = f(x), x B(0; R),
u = 0, x B(0; R).
(1.9)
Supongamos que f C
0
(). Por denicion, diremos que u es una solucion
clasica de (1.9) si u C
2
(B(0; R)) C
0
(B(0; R)), es solucion clasica de la EDP
en B(0; R) y verica ademas
u(x) = 0 x B(0; R).
A primera vista, se trata del concepto mas natural de solucion. Tiene sentido
intentar demostrar que, para cada f en estas circunstancias, existe al menos una
solucion de (1.9). Sin embargo, esto no es cierto.
En efecto, sea por ejemplo = B(0; 1/2) y
f(x) =
_
_
x
2
2
x
2
1
2[x[
2
_
log [x[
_
N + 2
1
2 log [x[
_
si 0 < [x[ 1/2,
0 si x = 0.
Entonces f C
0
(), pero el correspondiente problema (1.9) no posee solucion
clasica; para detalles, vease [16].
No obstante, como hemos dicho mas arriba, hay realidades fsicas que estan
bien descritas por la o las soluciones de (1.9). Por tanto, queda una importante
cuestion en el aire: que hacer en casos como este ?
Soluciones clasicas y soluciones generalizadas 15
Como hemos avanzado, la respuesta esta en debilitar el concepto de solucion.
Esto se consigue escribiendo propiedades que deba vericar la solucion de (1.9)
(supuesto que exista) y pidiendo a una funcion que cumpla precisamente esas
propiedades.
En el caso particular de (1.9), el procedimiento es el siguiente.
Recordemos que, si u C
2
(B(0; )) y v C
1
(B(0; )), se tiene la primera
identidad de Green en B(0; ):
_
B(0;)
u v dx =
_
B(0;)
(u)v dx +
_
B(0;)
u
n
v d, (1.10)
donde
u
n
= u n es la derivada normal de u (n(x) =
1
x es el vector normal
unitario sobre B(0; ) exterior a B(0; )) y d es el elemento de integracion
asociado a la medida supercial sobre B(0; ).
Supongamos que u C
2
(B(0; R)) C
0
(B(0; R)) es solucion clasica y sea
una funcion que verica
C
(B(0; R)), (x) = 0 para [x[ R , con > 0. (1.11)

Entonces, sin mas que aplicar la identidad (1.10) en B(0; R) a las funciones
u y y usar la EDP de (1.9), obtenemos:
_
B(0;R)
u dx =
_
B(0;R)
(u)dx +
_
B(0;R)
u
n
d
=
_
B(0;R)
fdx
Por tanto,
_
B(0;R)
u dx =
_
B(0;R)
fdx (1.12)
para toda funcion de estas caractersticas.
Diremos que u es solucion debil de (1.9) si pertenece a un espacio adecuado
de funciones que poseen gradiente en L
2
(B(0; R)) y se anulan sobre B(0; R)
y se tiene (1.12) para cualquier funcion que verique (1.11). La denicion
precisa del espacio al que debe pertenecer u se realizara mas adelante; este
espacio se suele denotar H
1
0
(B(0; R)). En realidad, una denicion equivalente
de solucion debil de (1.9) se obtiene diciendo que u H
1
0
(B(0; R)) y que se
tiene (1.12) para toda H
1
0
(B(0; R)).
Veremos en el Tema 2 que la funcion u es solucion debil de (1.9) si y solo si
u es la unica funcion del espacio H
1
0
(B(0; R)) donde el funcional
J(v) :=
1
2
_
[v[
2
dx
_
fv dx (1.13)
alcanza un mnimo. As, resolver (1.9) desde el punto de vista de la teora
moderna de EDPs equivale a minimizar un funcional cuadratico en un espacio
adecuado de funciones.
Obviamente, si u es solucion clasica de (1.9) y pertenece a H
1
0
(B(0; R)),
tambien es solucion debil. Pero puede ocurrir (y de hecho ocurre con frecuencia)
que (1.9) posea solucion debil pero no solucion clasica. De hecho, en la denicion
de solucion debil solo aparecen derivadas parciales de primer orden; en principio,
16 Generalidades
una funcion con derivadas primeras no diferenciables podra ser solucion debil
de (1.9).
Observemos tambien que la denicion de solucion debil sigue teniendo sen-
tido para funciones f no necesariamente continuas. Esto hace pensar en una
gran cantidad de situaciones en las que buscar soluciones debiles y no soluciones
clasicas hace factible obtener resultados de existencia.
Podemos dar interpretaciones de las deniciones de solucion clasica y solucion
debil desde el punto de vista aplicado. En terminos generales, decir que u es
solucion clasica (resp. debil) suele ser consecuencia de una ley de conservacion
(resp. de un principio de mnima energa).
Por ejemplo, supongamos que, en (1.9), u representa una temperatura esta-
cionaria (independiente del tiempo), generada por la fuente de calor f y forzosa-
mente nula sobre . Supongamos que f C
0
(B(0; R)) y que, por ejemplo,
u C
2
(B(0; R)). En tal caso,
q := u
es el ujo de calor asociado, esto es, para cada bola B
t
B(0; R), la cantidad
de calor que entra o sale de B
t
en la unidad de tiempo es
Q(B
t
) :=
_
B
q nd =
_
B
u
n
d =
_
B
udx
donde n = n(x) denota de nuevo el vector normal unitario orientado hacia el
exterior. La ley de conservacion de la energa nos dice que, para toda bola
B
t
B(0; R),
Q(B
t
) =
_
B
f dx
y, por tanto,
_
B
(u f) dx = 0.
De donde se obtiene facilmente que u es solucion clasica de (1.9).
Por otra parte, jada la fuente de calor f, la cantidad total de energa
asociada a una distribucion de temperatura v = v(x) en B(0; R) (con v = 0
sobre B(0; R)) esta dada por
E(v; f) :=
1
2
_
[v[
2
dx
_
fv dx = J(v).
El primer principio de la Termodinamica nos dice que la temperatura u que
elige el medio en la realidad es la que hace mnima esta energa. Esto signica
que u es solucion debil.
1.3 Ejercicios
E 1.1. Se considera la EDP del transporte
u
t
+Mu
x
= 0.
Probar que u es solucion clasica de esta EDP en el abierto R R
+
R
2
si y
solo si existe f C
1
(R) tal que
u(x, t) = f(x Mt) (x, t) R R
+
.
Ejercicios 17
Como aplicacion, dada u
0
C
1
(R), resolver el problema de Cauchy
_
u
t
+Mu
x
= 0, (x, t) R R
+
u(x, 0) = u
0
(x), x R
E 1.2. Efectuar el cambio de variables = x + 2t, = x + 3t en la ecuacion
2w
+ 8w
+ 7w
= 0.
E 1.3. Se considera el problema de la cuerda vibrante
_
_
_
u
tt
c
2
u
xx
= F(x, t), t > 0, a < x < b,
u(x, 0) = f(x), u
t
(x, 0) = g(x), a x b,
u(a, t) = p(t), u(b, t) = q(t).
Efectuar el cambio de variable
=
x a
b a
, =
c
b a
t
y re-escribir el problema en las nuevas variables y .
E 1.4. Demostrar que la EDP
u
tt
au
t
ku
xx
= 0,
donde a y k son constantes, puede reducirse a una ecuacion analoga con a =
k = 1.
Indicacion: Intentar un cambio de variable de la forma = mx, = nt,
siendo m y n constantes adecuadas.
E 1.5. Demostrar que la EDP
u
t
au c
2
u
xx
= 0,
donde a y c son constantes, puede reducirse a otra ecuacion analoga con a = 0.
E 1.6. Demostrar que la funcion u(x, y) = f(x)g(y) es solucion de
uu
xy
= u
x
u
y
para todo par de funciones dos veces continuamente diferenciables f y g.
E 1.7. Hallar la solucion general, esto es, una familia de soluciones dependientes
de dos funciones arbitrarias, de las siguientes ecuaciones:
a) u
xx
= 0; b) u
xy
= 0; c) u
xy
+u
y
= 0; d) u
xx
+u = 0,
con u = u(x, y).
E 1.8 (*). Se consideran las EDPs
u
tt
+u
xx
= 0, u
xt
= 0, u
t
u
xx
= 0, u
tt
u
xx
= 0.
Denominaremos Problema i al constituido por la i-esima EDP en R
2
, comple-
mentada con las condiciones
u(x, 0) = 0, u
t
(x, 0) = (x), x R ( C
1
(R)).
En cada caso, diremos que u es solucion si u C
2
(R
2
) y verica la EDP en D
y las condiciones adicionales en todo (x, 0). Probar lo siguiente:
18 Generalidades
1. El Problema 1 solo posee solucion si es analtica.
2. El Problema 2 solo posee solucion si es constante.
3. El Problema 3 solo posee solucion si 0.
4. El Problema 4 posee solucion unica para toda C
1
([1, 1]). Hallar la
solucion en este caso.
Indicacion: Realizar el cambio de variables = x +t, = x t y resolver
la EDP resultante.
E 1.9. Sea R
N
. Probar que la funcion
v(x) :=
_
_
C
1
log
1
[x [
+C
2
si N = 2
C
1
1
[x [
N2
+C
2
si N 3
(1.14)
es solucion clasica en R
N
de la EDP de Laplace. Deducir que tambien lo
son las funciones siguientes:
x
1
1
[x [
2
,
x
1
x
2
1
+
2
[x [
2
,
[x [
2
2(x
2
2
)
2
[x [
4
para N = 2,
x
1
1
[x [
3
,
x
1
4x
3
1
+ 4
3
[x [
3
,
3(x
2
2
)(x
3
3
)
[x [
5
para N = 3.
E 1.10. Probar que, jado R
N
, las unicas soluciones de la EDP de Laplace
en R
N
que solo dependen de [x[ son las funciones que aparecen en (1.14).
E 1.11. Se considera la EDP lineal de coecienes constantes
i,j=1
a
ij
2
u
x
i
x
j
= f(x), x , (1.15)
donde R
N
es un abierto no vaco, la matriz A = a
ij
es simetrica y denida
positiva y f C
0
(). Probar que existe un cambio de variables y = Px que
permite re-escribir esta EDP de forma equivalente como una EDP de Poisson
en
:= Px : x . Deducir que, para cada R

N
, la funcion
u(x) := [Px [
N
_
_
N
j=1
p
1j
x
j

1
_
_
es solucion clasica en R
N
P
1
de la EDP (1.15) para f 0.
E 1.12 (*). Sea R
3
. Probar que las funciones
z(x) :=
1
[x [
(a
1
cosh [x [ +a
2
sinh [x [)
son soluciones clasicas en R
3
de la EDP
u +u = 0.
Son estas las unicas que solo dependen de [x [ ?
Ejercicios 19
E 1.13 (*). Sean R
0
> 0 y u R. Se considera el problema: Hallar u = u(x, t)
y R = R(t) tales que
_
_
u +u = 0, x B(0; R(t)), t > 0,
u(x, t) = u, [x[ = R(t), t > 0,
u
n
(x, t) =

R(t) [x[ = R(t), t > 0
R(0) = R
0
Probar que la unica solucion de este problema es:
u = u
sinh [x[/[x[
sinh R(t)/R(t)
, R(t) = H
1
(H(R
0
) +ut), para x B(0; R(t)), t 0,
donde H es una primitiva de la funcion
s
1
coth s
1
s
.
20 Generalidades
Tema 2
El teorema de Lax-Milgram
y la formulaci on debil de
problemas elpticos
Existen razones que aconsejan debilitar el concepto de solucion clasica, indi-
cado en el Tema 1, para resolver el problema de Dirichlet para la ecuacion de
Poisson y otras EDPs similares:
Por una parte, los resultados conseguidos son validos solo en un n umero
muy reducido de casos particulares.
Por otra, los problemas con origen en las aplicaciones conducen a EDPs
con coecientes poco regulares, incluso discontinuos; por tanto, parece
difcil imponer que estas EDPs se veriquen en todos los puntos de un
abierto.
Para cumplir este objetivo, debemos recurrir a una formulacion diferente
que reposa sobre ciertos elementos y resultados del Analisis Funcional que seran
recordados brevemente en la Seccion siguiente.
2.1 Operadores lineales continuos en espacios de
Hilbert. Propiedades
A menos que se indique lo contrario, los espacios vectoriales que aparecen a
continuacion son reales.
Sean X e Y dos espacios normados y denotemos | | indistintamente las
normas de X y de Y .
1
Consideraremos aplicaciones T : X Y lineales y
continuas (tambien llamadas operadores lineales continuos).
Si T : X Y es lineal, entonces es continua si y solo si es acotada, es decir,
si y solo si
M > 0 tal que |Tv| M|v| para cada v X;
1
Todos los espacios vectoriales que siguen son reales.
21
22 Lax-Milgram y problemas elpticos de segundo orden
vease el ejercicio 2.1. Por otra parte, si T : X Y es lineal y biyectiva, entonces
su inversa T
1
: Y X es de nuevo lineal y biyectiva. Este resultado se conoce
como teorema del operador inverso de Banach; para su demostracion, veanse [3]
y el ejercicio 2.2.
El conjunto /(X; Y ) de los operadores lineales continuos T : X Y es un
espacio vectorial para las operaciones habituales. En este espacio vectorial,
|T|
1
:= sup
vX,v,=0
|Tv|
|v|
= sup
|v|1
|Tv| = sup
|v|=1
|Tv|
es una norma. As, se puede hablar del espacio normado de los operadores
lineales continuos de X en Y , de nuevo denotado /(X; Y ).
Observese que, si Y es un espacio de Banach (es decir, un espacio normado
completo), entonces /(X; Y ) tambien lo es (vease el ejercicio 2.3).
Cuando X = Y , pondremos /(X) en vez de /(X; X). En el caso particular
en que Y = R, el espacio de Banach /(X; R) se denota X
t
y se denomina dual
topologico (o simplemente dual) de X.
Si X = H es un espacio de Hilbert (esto es, un espacio normado completo
cuya norma es inducida por un producto escalar), entonces H puede identicarse
algebraica y topologicamente con su dual. Esto es justamente lo que dice el
teorema de representacion de Riesz, que enunciamos a continuacion:
Teorema 2.1. Sea H un espacio de Hilbert de producto escalar ( , )
H
y norma
aosciada | |
H
y sea f H
t
. Entonces existe un unico u
f
H tal que
f(v) = (u
f
, v)
H
v H. (2.1)
Ademas, la aplicacion f u
f
es un isomorsmo isometrico de H
t
sobre H.
Demostracion: Consideremos la aplicacion : H H
t
, denida del modo
siguiente: Para cada u H, u esta dado por
u(v) = (u, v)
H
v H.
Veamos que es un isomorsmo isometrico. Esto sera suciente ya que, en tal
caso, su inverso
1
: H
t
H sera la aplicacion buscada.
Es facil comprobar que : H H
t
esta bien denida y es lineal y continua.
En particular,
[u(v)[ |u|
H
|v|
H
u, v H
y, por tanto, ||
1
1.
Tambien esta claro que es isometrica. En efecto,
|u|
H
= sup
|v|1
[(u, v)[ = |u|
H
u H.
Luego tambien es inyectiva.
Solo queda probar que es sobreyectiva. Sea entonces f H
t
; veamos que
existe u H tal que f = u.
Consideremos la funcion F : H R, con
F(v) =
1
2
|v|
2
H
f(v) v H.
Operadores lineales continuos 23
Sea := inf
vH
F(v) y sea v
n
una sucesion minimizante para F, esto es, tal
que
F(v
n
) cuando n +.
Entonces v
n
es una sucesion de Cauchy, puesto que
|v
n
v
m
|
2
H
= 2|v
n
|
2
H
+ 2|v
m
|
2
H
|v
n
+v
m
|
2
H
= 4
_
1
2
|v
n
|
2
H
+
1
2
|v
m
|
2
H
_
4|
1
2
(v
n
+v
m
)|
2
H
= 4 (F(v
n
) +F(v
m
)) 8F(
1
2
(v
n
+v
m
))
4 (F(v
n
) +F(v
m
)) 8
y esta cantidad tiende a 0 cuando n, m +. Sea u el lmite de v
n
. Dado
que F es continua, F(u) = , es decir,
F(u) F(v) v H.
Pero esto muestra lo que queremos. En efecto, si tomamos v = u+sw con w H
y s R arbitrarios, deducimos enseguida que la funcion F
w
: R R, con
F
w
(s) =
1
2
|u +sw|
2
H
f(u +sw) s R
posee un mnimo en 0. Dado que se trata de una funcion polinomica (cuadratica),
su derivada se anula para s = 0, i.e.
(u, w)
H
f(w) = 0.
Como w es arbitrario, necesariamente u = f.
Como consecuencia de este resultado, cuando sea conveniente, podremos
identicar todo espacio de Hilbert H con su dual H
t
.
Denicion 2.1. Sean H y G dos espacios de Hilbert cuyos productos escalares
son denotados indistintamente ( , ) y sea T /(H; G). Se llama operador
adjunto de T al unico operador T
/(G; H) que verica

(Tu, v) = (u, T
v) u H, v G. (2.2)
Si H = G y T
= T, se dice que T es autoadjunto.

Comprobemos que esta denicion es correcta, es decir, que jados H, G y T
existe un unico T
/(G; H) que verica (2.2).

Sea v G. Entonces la aplicacion u (Tu, v) es lineal continua de H R.
Llamemosla f
v
. Entonces f
v
H
t
y por el teorema 2.1 existe un unico punto
de H, denotado m
v
, tal que
(m
v
, u) = f
v
(u) = (Tu, v) u H. (2.3)
Pongamos T
v = m
v
para cada v Y . Entonces la aplicacion T
: G H
esta bien denida, es lineal y verica
|T
v| = |f
v
| = sup
|u|1
[(m
v
, u)[ = sup
|u|1
[(Tu, v)[ |T|
1
|v| v G
y
(T
v, u) = f
v
(u) = (Tu, v) u H, v G.
Esto prueba que existe al menos un operador en T
/(G; H) para el que

se tiene (2.2). Ademas, si S /(G; H) es otro operador con esta propiedad,
entonces
(Sv, u) = (v, Tu) = (T
v, u) u H, v G,
de donde
Sv = T
v v G
y necesariamente S = T
. As pues, la denicion 2.1 es correcta.

Obviamente, el concepto de operador adjunto generaliza el concepto de ma-
triz traspuesta. Se tiene la proposicion siguiente, cuya demostracion es inme-
diata:
Proposicion 2.1. Sean H y G dos espacios de Hilbert y sea T /(H; G).
Denotemos I
H
el operador identidad en H. Entonces:
1. I
H
= I
H
.
2. (T
= T y |T
|
1
= |T|
1
.
3. Si S /(H; G) y , R, entonces (T +S)
= T
+S
.
4. Si F es otro espacio de Hilbert y S /(G; F), entonces (ST)
= T
.
5. T es biyectivo si y solo si T
lo es. En tal caso, (T

1
)
= (T
)
1
.
En el ejemplo siguiente, aparecen un operador lineal continuo no trivial y su
adjunto.
Ejemplo 2.1. Sea K L
2
((a, b) (a, b)) una funcion dada. Por denicion, el
operador integral de Fredholm en L
2
(a, b) de n ucleo K es la aplicacion T
K
, dada
por
T
K
()(t) =
_
b
a
K(t, s)(s) ds c.p.d. en (0, T), L
2
(a, b). (2.4)
No es difcil comprobar que T
K
/(L
2
(a, b)). De hecho, se tiene
_
b
a
_
b
a
K(t, s)(s) ds
2
dt
_
_
b
a
_
b
a
[K(t, s)[
2
ds dt
__
_
b
a
[(s)[
2
ds
_
para cada L
2
(a, b). Por otra parte, es inmediato que T
K
es tambien un
operador integral de Fredholm. Mas precisamente, T
K
= T
K
, donde K
es el
n ucleo simetrico de K, es decir, K
(t, s) := K(s, t). En otras palabras,

T
K
()(t) =
_
b
a
K(s, t)(s) ds c.p.d. en (0, T), L
2
(a, b). (2.5)
En consecuencia, una condicion necesaria y suciente para que T
K
sea autoad-
junto, es que se tenga K = K
, esto es,
K(t, s) = K(s, t) c.p.d. en (0, T) (0, T).
El teorema de la proyeccion 25
2.2 El teorema de la proyecci on y el teorema de
Lax-Milgram
Sean H un espacio de Hilbert y A H un subconjunto no vaco. Por denicion,
el ortogonal de A es el conjunto
A
= v H : (u, v) = 0 u A.
Es facil probar que A
es un subespacio cerrado de H, que A
= A
y que
A
A 0.
El primer resultado principal de este paragrafo es el teorema de la proyeccion
sobre un convexo y dice lo siguiente:
Teorema 2.2. Sean H un espacio de Hilbert, K H un convexo cerrado no
vaco y u
0
H. Entonces existe un unico punto u que verica
| u u
0
| = inf
vK
|v u
0
|, u K. (2.6)
Ademas, u es el unico punto de H que verica
_
u K,
(u
0
u, v u) 0 v K.
(2.7)
Demostracion: Veamos en primer lugar que existe al menos una solucion
de (2.6).
Sea = inf
vK
|v u
0
|
2
y sea v
n
una sucesion minimizante para (2.6).
Entonces, como en la prueba del teorema 2.1, v
n
es una sucesion de Cauchy.
En efecto, tenemos
|v
n
v
m
|
2
= |(v
n
u
0
) (v
m
u
0
)|
2
= 2|v
n
u
0
|
2
+ 2|v
m
u
0
|
2
4|
1
2
(v
n
+v
m
) u
0
|
2
2|v
n
u
0
|
2
+ 2|v
m
u
0
|
2
4,
dado que [
1
2
(v
n
+ v
m
) K. Pero esta ultima cantidad converge a 0 cuando
m, n +.
Sea u el lmite de la sucesion v
n
. Entonces u K por ser K cerrado y
evidentemente tenemos que | u u
0
| = . Luego u es una solucion de (2.6).
Por otra parte, la solucion de este problema es unica. En efecto, si tuvieramos
u K, u ,= u y | u u
0
| = , necesariamente obtendramos que
1
2
( u + u) K
y
|
1
2
( u + u) u
0
|
2
< ,
por la convexidad estricta de la funcion v |v|
2
. Pero esto es absurdo. Luego
la existencia de u es imposible.
Veamos ahora que (2.6) y (2.7) son equivalentes.
Si u verica (2.6), entonces para cada v K y cada t (0, 1), se tiene que
| u u
0
|
2
|(tv + (1 t) u) u
0
|
2
= | u u
0
|
2
2t(u
0
u, v u) +t
2
| u v|
2
,
de donde
2t(u
0
u, v u) t
2
|v u|
2
.
Dividiendo por t y haciendo tender t a 0, obtenemos (2.7).
Recprocamente, si u verica (2.7), para cada v K se tiene
| u u
0
|
2
= ( u u
0
, u v) + ( u u
0
, v u
0
)
( u u
0
, v u
0
) | u u
0
| |v u
0
|.
Por tanto, tambien tenemos (2.6).
Observacion 2.1. La caracterizacion (2.7) de u posee una sencilla interpreta-
cion geometrica: Por ejemplo, cuando H = R
N
con la distancia Eucldea, u es
el punto de K situado a la menor distancia posible de u
0
. Por este motivo, u se
denomina proyeccion de u
0
sobre K.
Ejemplo 2.2. Sean H un espacio de Hilbert, u H y K = B(u; R) (la bola
cerrada de centro u y radio R). Sea u
0
H. Entonces, si u
0
K, esta claro que
la correspondiente proyeccion es x = u
0
. Por el contrario, si u
0
, K, u viene
dado como sigue:
u = u +
R
|u
0
u|
(u
0
u).
Observacion 2.2. La existencia y unicidad de solucion de (2.6) es en realidad
consecuencia de un resultado mucho mas general. En efecto, en (2.6) estamos
minimizando una funcion estrictamente convexa, continua y coerciva en un con-
vexo cerrado de un espacio de Hilbert. En estas condiciones, esta asegurada
la existencia de un unico punto donde la funcion alcanza el mnimo; vease por
ejemplo [?].
Observacion 2.3. El teorema 2.2 puede ser tambien mirado como un resultado
de existencia y unicidad de solucion de (2.7).
Como caso particular del teorema 2.2, tenemos:
Teorema 2.3. Sean H un espacio de Hilbert, M H un subespacio cerrado y
u
0
H. Entonces existe un unico punto u que verica
| u u
0
| = inf
vM
|v u
0
|, u M. (2.8)
Ademas, u es el unico punto de H que verica
_
u M,
u
0
u M
.
(2.9)
Y una reformulacion del teorema 2.3 es el siguiente:
Teorema 2.4. Sean H un espacio de Hilbert, M H un subespacio cerrado
y u
0
H. Entonces existen dos unicas aplicaciones lineales P : H M y
Q : H M
tales que
v = Pv +Qv v H.
Estas aplicaciones tienen las propiedades siguientes:
El teorema de la proyeccion 27
1. P, Q /(H) y |P| = |Q| = 1.
2. v M si y solo si Pv = v y Qv = 0. Analogamente, v M
si y solo si
Pv = 0 y Qv = v.
3. |v Pv| = inf
mM
|v m| para cada v H.
Observacion 2.4. El operador P del teorema 2.4 verica
P P = P, P
= P. (2.10)
Lo mismo le ocurre al operador Q. Diremos que P (resp. Q) es el operador de
proyecci on ortogonal de H sobre M (resp. sobre M
).
Corolario 2.1. Sean H un espacio de Hilbert y M H un subespacio cerrado.
Entonces H es la suma directa ortogonal de M y M
. Es decir, todo punto

de H se puede descomponer de una unica forma en la suma de un elemento
de M y otro de M
.
Ejemplo 2.3. Sea H un espacio de Hilbert, sean u, v H linealmente inde-
pendientes y sea M el subespacio de H generado por u y v. Sea u
0
H un
punto dado. Entonces la proyeccion ortogonal de u
0
sobre M es
x = Pu
0
= au +bv,
donde a y b estan caracterizados por vericar el sistema
_
(u, u) (u, v)
(v, u) (v, v)
_ _
a
b
_
=
_
(u
0
, u)
(u
0
, v)
_
.
Corolario 2.2. Sean H un espacio de Hilbert y M H un subespacio. En-
tonces M es denso en H si y solo si M
= 0.
Observacion 2.5. Como consecuencia de este corolario, si H es un espacio de
Hilbert y A H, para que el espacio vectorial generado por A sea denso es
necesario y suciente que se tenga A
= 0.
El segundo resultado principal de esta Seccion es el teorema de Lax-Milgram.
Como veremos, se trata de un resultado fundamental para el tratamiento de
algunas EDPs. Para su formulacion, necesitamos la denicion siguiente:
Denicion 2.2. Sean H un espacio de Hilbert y a( , ) : HH R una forma
bilineal. Se dice que a( , ) es acotada si
M > 0 tal que [a(u, v)[ M|u| |v| u, v H. (2.11)
Se dice que a( , ) es coerciva (o H-elptica) si
> 0 tal que a(v, v) |v|
2
v H. (2.12)
No es difcil probar que una forma bilineal a( , ) : HH R es acotada si
y solo si es continua (como aplicacion del espacio producto H H en R; vease
el ejercicio 2.5).
Sea a( , ) : H H R una forma bilineal continua y coerciva. Entonces,
gracias al teorema 2.1, sabemos que existe un unico operador A /(H) que
verica
(Au, v) = a(u, v) u, v H. (2.13)
Claramente, (Av, v) |v|
2
para cada v H, de donde, en particular,
|Av| |v| v H (2.14)
y A es inyectivo. El teorema de Lax-Milgram nos dice que A es de hecho un
isomorsmo:
Teorema 2.5. Sean H un espacio de Hilbert y a( , ) : H H R una forma
bilineal continua y coerciva. Entonces, para cada f H
t
, existe un unico u que
verica
a( u, v) = f(v) v H, u H. (2.15)
Ademas, si a( , ) es simetrica, u esta caracterizado por ser la unica solucion
del problema de mnimos
1
2
a( u, u) f( u) = inf
vH
_
1
2
a(v, v) f(v)
_
, u H. (2.16)
Demostracion: Sea f H
t
y sea u
f
H el punto de H asociado a f por el
teorema 2.1. Entonces (2.15) es equivalente a
A u = u
f
, u H, (2.17)
donde A es el operador denido por (2.13).
Gracias a (2.14), la ecuacion en H (2.17) posee a lo mas una solucion. Para
demostrar que posee al menos una, veamos que el rango R(A) de Aes a la
vez cerrado y denso en H. Ambas propiedades van a ser consecuencia de la
coercividad de a( , ).
Probar que R(A) es denso equivale a probar que R(A)
= 0. Pero esto es
inmediato: si v R(A)
, entonces 0 = (Av, v) |v|

2
, de donde v = 0.
Para probar que R(A) es cerrado, supongamos que u
n
H para cada n 1
y que Au
n
z en H y veamos que, en tal caso, z R(A). Tenemos que
|u
n
u
m
|
2
(Au
n
Au
m
, u
n
u
m
) |Au
n
Au
m
| |u
n
u
m
|,
de donde u
n
es una sucesion de Cauchy y necesariamente existe u H tal que
u
n
u. Pero entonces z = Au y en consecuencia z R(A), como queramos
demostrar.
Para demostrar que u esta caracterizado por (2.16) cuando a( , ) es simetri-
ca, razonaremos como sigue. En primer lugar, si u verica (2.15), entonces, para
cada v H,
1
2
a(v, v) f(v) =
1
2
a( u, u) f( u)
+ [a( u, v u) f(v u)] +
1
2
a(v u, v u)
1
2
a( u, u) f( u).
Luego u verica (2.16).
Espacios de Sobolev 29
Recprocamente, si tenemos (2.16), dados v H y [0, 1], necesariamente
1
2
a( u, u) f( u)
1
2
a( u +v, u +v) f( u +v)
=
1
2
a( u, u) f( u) + [a( u, v) f(v)] +

2
2
a(v, v),
de donde
[a( u, v) f(v)] +

2
2
a(v, v) 0.
Dividiendo por y haciendo tender a cero, obtenemos
a( u, v) f(v) 0
y, como esto debe ser cierto para todo v H, resulta nalmente (2.15).
Observacion 2.6. De acuerdo con este resultado, para cada f H
t
el proble-
ma (2.15) posee solucion unica u. Se puede armar tambien que esta solucion
depende continuamente del dato f. En efecto, si u y v son las soluciones asoci-
adas respectivamente a f y g, tenemos:
| u v|
2
a( u v, u v) = f( u v) g( u v) |f g| | u v|,
de donde
| u v|
1
|f g|. (2.18)
Observacion 2.7. Como en el teorema 2.5, sean H un espacio de Hilbert y

a( , ) una forma bilineal continua Cabe preguntarse si la coercividad de a( , )
es condicion necesaria para la existencia y unicidad de solucion de (2.15) para
cada f H
t
. La respuesta es negativa; vease el ejercicio 2.6.
2.3 Los espacios de Sobolev H
1
, H
1
0
y H
1
. Pro-
piedades
En el resto de este Tema, denotara un abierto no vaco de de R
N
(N 1 es
un entero).
Nuestra intencion es aplicar los resultados de las Secciones precedentes en
espacios de funciones adecuados y con formas lineales y bilineales apropiadas,
determinadas por ciertas EDPs. Estos espacios de funciones se denominan espa-
cios de Sobolev. Se trata de subespacios de los espacios de Lebesgue habituales,
habitualmente denotados L
p
(); para una mejor comprension, hemos recogido
en el Apendice de este Tema los principales conceptos, argumentos y resultados
necesitados en este contexto. Se recomienda su lectura con anterioridad a esta
Seccion.
Comenzaremos este paragrafo deniendo un concepto de derivada parcial
mas general que el habitual:
Denicion 2.3. Sean u L
1
loc
() e i 1, . . . , N. Se dice que u posee
derivada generalizada de primer orden respecto de x
i
en L
1
loc
() si existe una
funcion v
i
L
1
loc
() tal que
_
v
i
dx =
_
u

x
i
dx T(). (2.19)
En tal caso, gracias a la proposicion 2.5 (ver el Apendice), la funci on v
i
es
unica, se denota
i
u y se denomina derivada generalizada de u respecto de x
i
.
Observacion 2.8. Existen muchas funciones u L
1
loc
() que no poseen derivada
en el sentido clasico pero s derivada generalizada en L
1
loc
(). Esto puede
ocurrir incluso cuando u C
0
(). Un ejemplo es el siguiente: N = 2, =
(1, 1) (1, 1) y u : R dada por
u(x
1
, x
2
) =
_
x
1
si x
1
> 0,
0 si x
1
< 0.
Es facil comprobar que u posee derivadas generalizadas
1
u y
2
u, con
1
u(x
1
, x
2
) =
_
1 si x
1
> 0,
0 si x
1
< 0
y
2
u = 0. Sin embargo, u no es diferenciable respecto de x
1
en el sentido
habitual en los puntos (0, b) con [b[ < 1.
Por otra parte, tambien existen muchas funciones de L
1
loc
() que no poseen
derivada generalizada en L
1
loc
(). Por ejemplo, de nuevo con N = 2 y =
(1, 1) (1, 1), esto le ocurre a la funcion
v(x
1
, x
2
) =
_
1 si x
1
> 0,
0 si x
1
< 0.
En efecto, pongamos
+
= (0, 1)(1, 1) y
= (1, 0)(1, 1). Si existiera
1
v en L
1
loc
(), tendramos necesariamente
_
1
v dx =
_
v

x
1
dx = 0
para toda T(
+
) y para toda T(
). Por tanto,
1
v debera anularse
c.p.d. en
+
y en
, esto es,
1
v = 0. Pero esto no puede ocurrir, dado que
un sencillo calculo nos dice que
_
1
v dx =
_
1
1
(0, x
2
) dx
2
T().
Observacion 2.9. El concepto derivada generalizada en L

1
loc
() es una particu-
larizacion de otro concepto a un mas util e interesante: la derivada en el sentido
de las distribuciones. Dada u L
1
loc
(), se llama derivada de u respecto de x
i
en el sentido de las distribuciones a la forma lineal D
i
u, denida como sigue:
D
i
u, =
_
u

x
i
dx T().
Si existe
i
u L
1
loc
() tal que se tiene (2.19), entonces se pueden identicar D
i
u
y
i
u de modo que, en tal caso, la derivada de u en el sentido de las distribuciones
coincide con la derivada generalizada en L
1
loc
(). En otras palabras:
D
i
u, =
_
i
udx T().
Obviamente, toda funcion de L
1
loc
() posee derivadas en el sentido de las dis-
tribuciones aunque no necesariamente derivadas generalizadas.
Por el momento, utilizaremos notaciones distintas para la derivada parcial
habitual, la derivada generalizada y la derivada en el sentido de las distribu-
ciones, respectivamente
u
x
i
,
i
u y D
i
u.
Veamos a continuacion que la denicion 2.3 es coherente con la denicion
clasica de derivada parcial:
Proposicion 2.2. Sea u C
0
() y supongamos que
u
x
i
(x) x , con
u
x
i
C
0
().
Entonces u posee derivada generalizada
i
u L
1
loc
() y, ademas,
i
u =
u
x
i
.
Demostracion: Hay que demostrar que
_
u
x
i
dx =
_
u

x
i
dx T(). (2.20)
Sea T(). Tenemos que u posee derivada parcial respecto de x
i
en ,
que esta es continua y que
_
x
i
(u) dx =
_
u
x
i
dx +
_
u

x
i
dx. (2.21)
Veamos que el primer miembro de (2.21) es cero.
Para ello, denotemos u la prolongacion por cero a todo R
N
de la funcion
u. Entonces, si M > 0 es sucientemente grande,
sop ( u) x R
N
: M x
i
M
y
_
x
i
(u) dx =
_
R
N
x
i
( u) dx =
_
R
N1
_
_
M
M
x
i
( u) dx
i
_
dx
t
,
donde dx
t
denota el elemento de integracion en R
N1
. Pero esta ultima integral
es cero, de donde se tiene el resultado deseado.
Denicion 2.4. Se llama espacio de Sobolev H
1
() al conjunto
H
1
() = v L
2
() :
i
v L
2
() para 1 i N , (2.22)
donde las derivadas se entienden en el sentido de la denici on 2.3. Si v
H
1
(), denotaremos v el vector formado por las derivadas parciales generali-
zadas
i
v:
v := (
1
v, . . . ,
N
v)
y diremos que v es el gradiente generalizado de v.
Dotado de las operaciones habituales, H
1
() se convierte en un subespa-
cio vectorial de L
2
(), que sera denotado de igual manera. En virtud de la
proposicion 2.2, H
1
() contiene a C
1
c
(); por otra parte, si es acotado, con
las identicaciones indicadas en el Apendice, C
1
() H
1
().
En H
1
() se puede introducir un producto escalar natural. En efecto,
pongamos
(u, v)
H
1 = (u, v)
L
2 + (u, v)
L
2 u, v H
1
(). (2.23)
Entonces ( , )
H
1 es ciertamente un producto escalar.
Teorema 2.6. Dotado del producto escalar ( , )
H
1, H
1
() se convierte en un
espacio de Hilbert.
Demostracion: La norma inducida por (2.23) es
|v|
H
1 =
_
|v|
2
L
2 +|v|
2
L
2
_
1/2
v H
1
(). (2.24)
Sea u
n
una sucesion de Cauchy para esta norma; veamos que u
n
es conver-
gente en H
1
().
Claramente, u
n
y
i
u
n
(1 i N) son sucesiones de Cauchy en L
2
(),
por lo que existen funciones u, v
1
, . . . , v
N
tales que
u
n
u,
i
u
n
v
i
en L
2
() (1 i N). (2.25)
Veamos que, para cada i, v
i
es la derivada generalizada de u, con lo cual quedara
probado que u H
1
() y que u
n
u en H
1
().
Dados i y T(), tenemos que
_
i
u
n
dx =
_
u
n
x
i
dx (2.26)
para cada n 1. Gracias a (2.25), podemos pasar al lmite en (2.26) y deducir
que
_
v
i
dx =
_
u

x
i
dx. (2.27)
Pero, como es arbitraria en T(), esto signica que u posee derivada genera-
lizada en L
2
() respecto de x
i
. Esto prueba lo que queramos.
En lo que sigue, H
1
() denotara el espacio de Hilbert resultante de consi-
derar el producto escalar ( , )
H
1.
Teorema 2.7. El espacio de Hilbert H
1
() es separable.
Demostracion: Recordemos que el espacio de Hilbert L
2
() es separable,
vease el corolario 2.5 en el Apendice.
Sea Y el espacio producto Y = L
2
()
N+1
, dotado del producto escalar
((u
0
, u
1
, . . . , u
N
), (v
0
, v
1
, . . . , v
N
))
Y
=
N
i=0
(u
i
, v
i
)
L
2.
Entonces Y es un espacio de Hilbert separable.
Sea ahora J : H
1
() Y la aplicacion denida por
Jv = (v,
1
v, . . . ,
n
v) v H
1
(),
que es lineal, continua, inyectiva e isometrica, es decir, verica
|Jv|
Y
= |v|
H
1 v H
1
().
Los espacios H
1
() y R(J) son isomorfos e isometricos. En particular, R(J) es
un subespacio cerrado de Y y es por tanto un nuevo espacio de Hilbert separable.
De donde H
1
() es separable.
Observacion 2.10. En general, T() no es denso en H
1
(). De hecho, T()
nunca es denso si es acotado y su frontera es por ejemplo de clase C
0,1
.
2
Sin embargo, s lo es cuando = R
N
(para la demostracion, vease [3]; vease
tambien el ejercicio 2.17). Por otra parte, si R
N
es un abierto conexo de
frontera regular, se puede demostrar que T() (el espacio de las restricciones
a de las funciones de T(R
N
)) es denso en H
1
() (vease [5]; vease tambien el
ejercicio 2.18).
Denicion 2.5. Llamaremos H
1
0
() a la adherencia de T() en H
1
(). Se
trata por tanto de un subespacio cerrado de H
1
() que, para el producto escalar
de H
1
(), se convierte en un nuevo espacio de Hilbert separable.
Tal vez, la mejor forma que hay de caracterizar H
1
0
() es a traves de la
aplicacion traza. Para una correcta introduccion, necesitamos utilizar el espacio
L
2
(), cuya denicion esta dada en el Apendice de este Captulo.
Teorema 2.8. Supongamos que R
N
y que, o bien es un abierto conexo
acotado no vaco de frontera de clase C
0,1
, o bien = R
N
+
. Existe una
unica aplicaci on /(H
1
(); L
2
()) tal que
= [
C
1
c
() (2.28)
(aqu, C
1
c
() es el espacio de las restricciones a de las funciones de C
1
c
(R
N
)).
El espacio R() esta estrictamente contenido en L
2
() y, por otra parte,
N() = H
1
0
().
Ademas, se verica la siguiente propiedad, llamada formula generalizada de
integracion por partes:
_
u
i
v dx =
_
i
uv dx +
_
uv n
i
d u, v H
1
(). (2.29)
2
Esto es consecuencia de algo que se vera mas adelante: si es un abierto acotado de
frontera regular y v C
1
(), entonces v pertenece a la adherencia de D() en H
1
() si y
solo si v(x) = 0 para todo x .
Demostracion: Presentaremos la prueba solo en el caso en que = R
N
+
;
vease el ejercicio 2.19 para la demostracion correspondiente al otro caso; vease
tambien [5, 19].
Observemos en primer lugar que, en este caso, = (x
t
, 0) : x
t
R
N1
y el espacio C
1
c
:= C
1
c
(R
N
+
) es denso en H
1
(R
N
+
).
Sea
0
la aplicacion denida por
0
= [
C
1
c
.
Entonces
0
: C
1
c
L
2
() esta bien denida y es lineal.
Veamos que
0
es continua cuando C
1
c
se dota de la norma y producto escalar
de H
1
(R
N
+
). En efecto, sean C
1
c
y x = (x
t
, 0) un punto de . Entonces
[(x
t
, 0)[
2
= 2
_
+
0
(x
t
, y
N
)

x
N
(x
t
, y
N
) dy
N
Luego
[(x
t
, 0)[
2
2
__
+
0
[(x
t
, y
N
)[
2
dy
N
_
1/2
__
+
0
[

x
N
(x
t
, y
N
)[
2
dy
N
_
1/2
e, integrando respecto de x
t
en R
N1
, obtenemos:
||
2
L
2
()

_
R
N1
_
+
0
_
[[
2
+[

x
N
[
2
_
dy
N
dx
t
= ||
2
H
1
(R
N
+
)
.
En consecuencia, existe una unica extension lineal continua de
0
que
verica (2.28).
Existen funciones de L
2
() que no pertenecen a R(). En efecto, sea
f R() y denotemos

f la transformada de Fourier de f, es decir, la funcion
de L
2
() denida por
f(
t
) =
_
R
N1
e
i
f(x
t
) dx
t

t
R
N1
.
Entonces no es difcil probar que
_
R
N1
(1 +[
t
[
2
)
1/2
[
f(
t
)[
2
d
t
< + (2.30)
(vease el ejercicio 2.20). Pero es facil construir funciones de L
2
() para las
cuales no se tiene (2.30).
Por otra parte, N() = H
1
0
(R
N
+
). En efecto, si v N(), podemos construir
explicitamente uns sucesion de funciones de T(R
N
+
) que converge a v en el
sentido de la norma de H
1
(R
N
+
). Mas precisamente, para cada > 0, pongamos
K
= x R
N
+
: [x[
1
, x
N
3 (2.31)
y
A
= x R
N
+
: [x[
1
+ 1, x
N
2 , (2.32)
sea
una funcion que verica
T(R
N
), sop
= 1 en K
, 0
1 (2.33)
y, nalmente, sea v
la funcion denida como sigue:

v
(x) =
_
R
N
(x y) (
v)(y) dy x R
N1
. (2.34)
Entonces se puede demostrar facilmente que v
T(R
N
+
) para todo > 0 y,
ademas, v
v en H
1
(R
N
+
) (vease el ejercicio 2.21). En consecuencia, v
H
1
0
(R
N
+
).
Finalmente, veamos que se tiene (2.29).
Supongamos en primer lugar que u, v C
1
c
. Entonces (2.29) es inmediato:
basta tener en cuenta que, para M > 0 sucientemente grande, sop (uv)
[M, M]
N
, de donde
_
R
N
+
i
(uv) dx =
_
(M,M)
N1
_
_
M
M
uv n
i
dx
i
_
dx
t
;
si 1 i N 1, eta integral vale 0; si, por el contrario, i = N, entonces
_
(M,M)
N1
_
_
M
M
uv n
i
dx
i
_
dx
t
=
_
R
N1
u(x
t
, 0) v(x
t
, 0) dx
t
.
Por tanto, tenemos efectivamente (2.29).
Ahora, procediendo por densidad, es posible probar (2.29) primero cuando
u H
1
(R
N
+
) y v C
1
c
y despues, nalmente, cuando u, v H
1
(R
N
+
).
El resultado precedente es conocido como teorema de trazas en H
1
(). La
aplicacion es por denicion la aplicacion traza (tambien se dice que v es la
traza de v sobre y es costumbre escribir v[
en vez de v).
A la vista de lo que precede, dada v H
1
(), si v H
1
0
(), de alg un modo,
v se anula sobre (observese que, en principio, cuando v L
2
(), no tiene
sentido hablar de la restriccion de v sobre , dado que es un conjunto de
medida nula).
Teorema 2.9. Sea R
N
un abierto no vaco, acotado al menos en una
direcci on. Entonces existe una constante positiva C (que solo depende de ) tal
que
_
[v[
2
dx C
_
[v[
2
dx. v H
1
0
() (2.35)
Demostracion: Por densidad, basta probar (2.35) cuando v T().
Sea entonces v T() una funcion dada. Denotaremos tambien v la pro-
longacion por cero de v a todo R
N
(una funcion de T(R
N
)).
No es restrictivo suponer que es acotado en la direccion de x
1
. Esto quiere
decir que existe M > 0 tal que (M, M)R
N1
. Sea x = (x
1
, . . . , x
N
) .
Entonces
v(x) =
_
x
1
M
v
x
1
(y
1
, x
2
, . . . , x
N
) dy
1
=
_
x
1
M
1
v(y
1
, x
2
, . . . , x
N
) dy
1
,
de donde
[v(x)[
2
_
_
M
M
[
1
v(y
1
, x
2
, . . . , x
N
)[ dy
1
_
2
2M
_
M
M
[
1
v(y
1
, x
2
, . . . , x
N
)[
2
dy
1
.
Integrando respecto de x en , tenemos ahora:
_
[v(x)[
2
dx 2M
_
_
M
M
[
1
v(y
1
, x
2
, . . . , x
N
)[
2
dy
1
dx
= 4M
2
_
R
N1
_
M
M
[
1
v(y
1
, x
2
, . . . , x
N
)[
2
dy
1
dx
t
,
(2.36)
donde dx
t
denota el elemento de integracion en R
N1
.
De (2.36), se deduce facilmente (2.35).
Se dice que (2.35) es la desigualdad de Poincare. Observese que (2.35) es
falsa en general para las funciones de H
1
().
Si el abierto es acotado al menos en una direccion, tiene entonces sentido
denir un nuevo producto escalar en H
1
0
(). En efecto, pongamos
(u, v)
H
1
0
= (u, v)
L
2 u, v H
1
0
(). (2.37)
Entonces, gracias a (2.35), ( , )
H
1
0
es un verdadero producto escalar en H
1
0
()
e induce en este espacio una norma | |
H
1
0
, equivalente a la norma usual | |
H
1.
Denicion 2.6. Denominaremos H
1
() al dual topologico de H
1
0
().
Tenemos que H
1
() es un nuevo espacio de Hilbert, isomorfo e isometrico
a H
1
0
(). El resultado que sigue proporciona una importante caracterizacion
de H
1
():
Teorema 2.10. Sean f
0
, f
1
, . . . , f
N
L
2
() y sea F : H
1
0
() R la forma
lineal denida como sigue:
F(v) =
_
_
f
0
v +
N
i=1
f
i
i
v
_
dx v H
1
0
(). (2.38)
Entonces F H
1
(). Ademas, si denotamos | |
H
1 la norma en H
1
()
inducida por la norma de H
1
(),
|F|
H
1
_
N
i=0
|f
i
|
2
L
2
_
1/2
. (2.39)
Recprocamente, si F H
1
(), existen N+1 funciones f
0
, f
1
, . . . , f
N
L
2
()
tales que se tiene (2.38) y
|F|
H
1 =
_
N
i=0
|f
i
|
2
L
2
_
1/2
. (2.40)
Demostracion: Supongamos en primer lugar dadas f
0
, f
1
, . . . , f
N
L
2
(). Es
entonces inmediato que la forma lineal F denida por (2.38) es continua. Por
tanto, F H
1
(). Ademas,
[F(v)[ |f
0
|
L
2|v|
L
2 +
N
i=1
|f
i
|
L
2|
i
v|
L
2
_
N
i=0
|f
i
|
2
L
2
_
1/2
|v|
H
1,
de donde tenemos (2.39).
Recprocamente, sea F H
1
(). Por el teorema 2.1, existe u
F
H
1
0
()
tal que
|u
F
|
H
1 = |F|
H
1, (u
F
, v)
H
1 = F(v) v H
1
0
().
Tomando f
0
= u
F
y f
i
=
i
u
F
para 1 i N, tenemos (2.38) y (2.40).
Si F H
1
() esta denida por (2.38), donde las f
0
, f
1
, . . . , f
N
son fun-
ciones de L
2
(), pondremos
F = f
0
i=1
D
i
f
i
. (2.41)
Esta notacion esta motivada por el hecho de que, si cada f
i
con 1 i N
posee derivada generalizada respecto de x
i
en L
1
loc
(), entonces
F() =
_
_
f
0
i=1
i
f
i
_
dx T().
En particular, podemos denir siempre las derivadas parciales de f L
2
(),
en el sentido que determina (2.38), como elementos de H
1
(): por ejemplo,
D
1
f es el elemento de H
1
() dado por
D
1
f(v) =
_
f
1
v dx v H
1
0
().
En lo que sigue, usaremos el teorema 2.1 para identicar L
2
() con su dual.
Por el contrario, no haremos uso de la identicacion posible de H
1
0
() y H
1
(),
sino que utilizaremos la formula (2.38) para describir los elementos de H
1
().
De este modo, L
2
() puede identicarse con un subespacio de H
1
() y pode-
mos escribir que, salvo isomorsmos isometricos,
H
1
0
() L
2
() H
1
(). (2.42)
Observacion 2.11. Una manera informal de interpretar (2.42) consiste en decir
que las funciones de H
1
0
() estan en L
2
() (aunque en el segundo espacio hay
mas funciones que en el primero) y que, por otra parte, las funciones de L
2
()
determinan formas lineales continuas sobre H
1
0
() (aunque hay formas lineales
continuas que no estan denidas por elementos de L
2
()). Para convencerse de
esto ultimo, basta elegir N = 1 y = (1, 1) y considerar la forma lineal F,
dada como sigue:
F(v) =
_
1
0
v
t
(x) dx v H
1
0
(1, 1).

2.4 Resoluci on de la formulaci on debil de pro-
blemas elpticos
A continuacion, analizaremos algunos problemas de contorno para determinadas
EDPs. Como ya hemos indicado con anterioridad, para ello es conveniente
relajar o debilitar el concepto de solucion.
Para mayor claridad, nos limitaremos de momento a considerar el problema
siguiente:
_
u = f(x), x ,
u = 0, x ,
(2.43)
donde R
N
es un abierto acotado no vaco y f L
2
().
Denicion 2.7. Se llama solucion debil de (2.43) a toda funcion u que verique:
_
_
_
u v dx =
_
f v dx v H
1
0
(),
u H
1
0
().
(2.44)
Este concepto de solucion generaliza el de solucion clasica. Mas precisa-
mente, tenemos el resultado siguiente:
Proposicion 2.3. Sea R
N
un abierto acotado no vaco y supongamos (por
ejemplo) que f L
2
() C
0
(). Si u C
2
() C
1
() es solucion clasica de
(2.43), entonces u es solucion debil.
Demostracion: En las condiciones de esta proposicion, u H
1
0
() (vease el
ejercicio 2.22).
Sea por otra parte T() una funcion dada. Para cada i = 1, . . . , N, se
tiene que
_
2
u
x
2
i
dx =
_
x
i
_
u
x
i
_
dx
_
u
x
i
x
i
dx. (2.45)
La primera integral del lado derecho vale cero. En consecuencia, sumando las
igualdades (2.45) para i = 1, . . . , N y teniendo en cuenta que u = f en ,
obtenemos que
_
u dx =
_
f dx T().
Por densidad, se deduce de aqu que u es solucion debil de (2.43).
Observacion 2.12. Tambien es cierto que si f es sucientemente regular, u es
solucion debil de (2.43) y u C
2
() C
1
(), entonces u es solucion clasica;
vease el ejercicio 2.25.
Observacion 2.13. A priori, cabe esperar que resolver (2.44) sea mas facil
que resolver (2.43) en un sentido clasico. En efecto, en el primer caso estamos
buscando la solucion en un espacio mayor (donde solo tienen sentido derivadas de
primer orden) y estamos pidiendo a la solucion propiedades menos exigentes. De
Resolucion de la formulacion debil 39
hecho, aplicando directamente el teorema 2.5 vemos que, para cada f L
2
(),
existe una unica solucion debil de (2.44). Naturalmente, si ademas se satisfacen
las condiciones del teorema 1.6, la solucion debil hallada coincide con la solucion
clasica que proporciona este resultado.
Consideraremos a continuacion una situacion mas general. Para ello, supon-
gamos dados unos coecientes
a
ij
= a
ji
, b
i
, c L
() (i, j = 1, . . . , N) (2.46)
y unas funciones
f
0
, f
1
, . . . , f
N
L
2
(), g H
1
(). (2.47)
Nuestro problema es ahora el siguiente:
_
i,j=1
x
i
_
a
ij
u
x
j
_
+
N
i=1
b
i
u
x
i
+cu = f
0
i=1
f
i
x
i
, x ,
u = g(x), x ,
(2.48)
Denicion 2.8. Se llama solucion debil de (2.48) a toda funci on u que verique:
_
_
_
(
N
i,j=1
a
ij

j
u
i
v+
N
i=1
b
i
i
uv+c uv) dx =
_
(f
0
v+
N
i=1
f
i
i
v) dx
v H
1
0
(); u g +H
1
0
().
(2.49)
Bajo condiciones de regularidad para los datos precedentes, no es difcil
probar un resultado analogo a la proposicion 2.3 para el problema (2.49). En
consecuencia, la denicion 2.8 es la adecuada.
Observacion 2.14. Tambien esta claro que u es solucion debil de (2.48) si y
solo si u H
1
(), u = g en L
2
() y
i,j=1
D
i
(a
ij
j
u) +
N
i=1
b
i
i
u +cu = f
0
i=1
D
i
f
i
en H
1
(),
donde la notacion
i
(resp. D
i
) se asocia, como antes, a las derivadas generaliza-
das (resp. a las derivadas en H
1
(); vease el parrafo que sigue al teorema 2.10).
Para probar un resultado de existencia y unicidad de solucion debil de (2.48),

introduciremos la notacion siguiente:
a(u, v) :=
_
(
N
i,j=1
a
ij

j
u
i
v+
N
i=1
b
i
i
uv+c uv) dx,
F(v) :=
_
(f
0
v+
N
i=1
f
i
i
v) dx, (v) := F(v) a(g, v),
J(v) :=
1
2
a(v, v) F(v) (2.50)
El resultado principal de este Tema es el siguiente:
Teorema 2.11. Supongamos que los coecientes a
ij
, b
i
y c verican (2.46) y
que las funciones f
i
y g verican (2.47). Supongamos ademas que la forma
bilineal a( , ) es coerciva en H
1
0
(). Entonces existe una unica solucion debil
de (2.48).
Demostracion: Introduzcamos el cambio de variable u = w+g. Entonces, con
la notacion introducida, todo se reduce a probar que existe una unica w H
1
0
()
solucion de
a(w, v) = (v) v H
1
0
(); w H
1
0
(). (2.51)
Para probar la existencia y unicidad de solucion debil de (2.51), basta aplicar
directamente el teorema 2.5. En efecto, es inmediato que la forma bilineal a( , )
esta bien denida y es continua y coerciva en el espacio de Hilbert H
1
0
(),
mientras que la forma lineal pertenece a H
1
().
Un caso particular importante se da cuando los coecientes b
i
se anulan.
Entonces tenemos:
Corolario 2.3. Sea acotado. Supongamos que los a
ij
verican
_
_
a
ij
= a
ji
L
() (i, j = 1, . . . , N),
N
i,j=1
a
ij
(x)
i
j

0
[[
2
R
N
, c.p.d. en ,
0
> 0,
(2.52)
los b
i
= 0, c 0 y las f
i
y g verican (2.47). Entonces existe una unica solucion
debil u del problema (2.48). Ademas, u es la unica solucion del problema de
mnimos
_
J(u) J(z) z g +H
1
0
(),
u g +H
1
0
().
(2.53)
Demostracion: Veamos que, bajo las condiciones impuestas, a( , ) es coerciva
en H
1
0
().
En efecto, para cada v H
1
0
() se tiene en virtud de (2.52) que
a(v, v) =
N
i,j=1
_
a
ij

j
v
i
v dx +
_
c [v[
2
dx
0
N
i=1
|
i
v|
2
L
2.
Dado que es acotado, tenemos entonces
a(v, v) |v|
2
H
1 v H
1
0
()
para alg un > 0; es decir, a( , ) es coerciva.
De nuevo, gracias al teorema 2.5, existe una unica solucion w de (2.51) y
tenemos que u = w +g es la unica solucion debil de (2.48).
Por otra parte, teniendo en cuenta que a( , ) es simetrica y aplicando de
nuevo el teorema 2.5, deducimos que w es, ademas, el unico punto de H
1
0
()
donde la funcion
1
2
a(v, v) (v)
alcanza el mnimo:
1
2
a(w, w) (w)
1
2
a(v, v) (v) v H
1
0
().
Resolucion de la formulacion debil 41
Pero, teniendo en cuenta la denicion de J, vemos que esto es equivalente a
decir que
J(u) J(z) z g +H
1
0
().
Esto termina la demostracion.
Cuando se cumple la hipotesis (2.52), se dice que estamos frente a una EDP
elptica de segundo orden (con independencia de como sean los coecientes b
i
y c).
Observacion 2.15. Es obvio que el teorema 2.11 y el corolario 2.3 dan cober-
tura a muchos otros casos. Por ejemplo, sean
1
y
2
dos abiertos contenidos
en tales que
1

2
=
y sea a(x) = para x c.p.d. en
1
y a(x) = para x c.p.d. en
2
, con 0 < < .
Entonces, para cada f L
2
() y cada g H
1
(), existe una unica solucion
debil del problema
_
i=1
x
i
_
a(x)
u
x
i
_
= f(x), x ,
u = g(x), x .
Observacion 2.16. En el enunciado del corolario 2.3, se puede sustituir la

hipotesis es acotado por esta otra:
c L
(), c
1
> 0 c.p.d. en .
Observacion 2.17. Se pueden probar variantes del teorema 2.11 en el espacio

H
1
() o en alg un otro subespacio cerrado de este. Por ejemplo, si la forma
bilineal a( , ) es coerciva en H
1
(), los coecientes a
ij
, b
i
y c verican (2.46),
las funciones f
i
verican (2.47), h L
2
() y ponemos
H(v) = F(v)
_
hv d v H
1
(),
existe una unica u que verica
a(u, v) = H(v) v H
1
(); u H
1
(). (2.54)
Se interpreta entonces que v es solucion debil del problema de Neumann
_
i,j=1
x
i
_
a
ij
u
x
j
_
+
N
i=1
b
i
u
x
i
+cu = f
0
i=1
f
i
x
i
, x ,
N
i,j=1
a
ij
u
x
j
n
i
= h(x), x ,
(2.55)
donde las n
i
son las componentes del vector normal exterior sobre . En
los ejercicios que se presentan al nal del Captulo, pueden encontrarse mas
variantes.
2.5 Apendice: Algunos resultados auxiliares
En este Apendice, recordaremos conceptos y resultados relacionados con algunos
espacios de Lebesgue de funciones integrables. Para mas detalles y demostra-
ciones completas de todo lo que sigue, vease por ejemplo [14].
Comenzaremos con una denicion:
Denicion 2.9. Sea C
0
(). Llamaremos soporte de (denotado sop ),
a la adherencia del conjunto x : (x) ,= 0 .
El conjunto sop es un cerrado contenido en . Necesitaremos considerar
varios subespacios de C
0
(): C
0
c
(), C
k
c
() y T(). Estan denidos como
sigue:
C
0
c
() = C
0
() : sop es compacto ,
C
k
c
() = C
0
c
() C
k
(), T() = C
0
c
() C
().
Veamos a continuacion que T() es un espacio no trivial y que, de hecho,
ccontiene una gran familia de funciones:
Lema 2.1. Dados x
0
R
N
y r > 0, existe una funcion T(R
N
) tal que
> 0 en B(x
0
; r) y sop = B(x
0
; r).
La demostracion es inmediata. En efecto, sea la funcion de C
(R) dada
por
(s) = e
1/s
1
s<0]
s R.
Entonces basta tomar (x) ([x x
0
[
2
r
2
).
En lo que sigue, dados un conjunto A de R
N
y un n umero positivo , deno-
taremos A
al conjunto
A
= x R
N
: dist (x, A) .
A partir del lema 2.1 se obtiene el resultado siguiente:
Proposicion 2.4. Dado un compacto no vaco K , existe una funcion
T() tal que 0 1 y = 1 en un entorno de K.
Demostracion: En primer lugar, sea T(R
N
) una funcion positiva en la
bola B(0; 1) y nula en su complementario. En virtud del lema 2.1, una tal
existe. Multiplicando si hiciera falta por una constante positiva, podemos
suponer que
_
R
N
(x) dx = 1. (2.56)
Sea una cantidad positiva. Pongamos
(x) =
N
(
1
x) x R
N
y
(x) =
_
K
2
(x y) dy x . (2.57)
Se tiene entonces que, si es sucientemente peque no,
cumple las propiedades

deseadas.
Apendice: Resultados auxiliares 43
En efecto, la funcion
esta bien denida para todo x y verica
(). Ademas,
0
(x)
_
R
N
(x y) dy = 1 x .
Para > 0 sucientemente peque no, el conjunto K
3
es un compacto contenido
en . Por otra parte, si x K
(x) =
_
R
N
(x y)1
K
2
(y) dy =
_
R
N
(y)1
K
2
(x y) dy = 1,
mientras que, si x , K
3
, la bola B(x; ) no corta a K
2
y
(x) =
_
R
N
(y)1
K
2
(x y) dy = 0.
Esto termina la demostracion.
Denotaremos /() el espacio vectorial de las funciones v : R que son
medibles. Si v /() y es no negativa, se puede hablar de su integral en
respecto de la medida de Lebesgue (nita o no). En ambos casos, esta se denota
_
v(x) dx. (2.58)

Si v /(), se dice que v es integrable si las funciones v
+
= max(v, 0) y
v
= max(v, 0) (que son medibles y no negativas) poseen integral nita. En

tal caso, llamaremos integral de v en al n umero real
_
v(x) dx =
_
v
+
(x) dx
_
(x) dx. (2.59)

Denotaremos /
1
() el subconjunto de /() constituido por las funciones
medibles e integrables.
Para cada v /(), se tiene que v /
1
() si y solo si [v[ /
1
() y esto
ocurre si y solo si
_
[v(x)[ dx < +.
Por tanto,
/
1
() = v /() :
_
[v(x)[ dx < +.
M as generalmente, para cada p [1, +), denotaremos /
p
() el siguiente
conjunto
/
p
() = v /() :
_
[v(x)[
p
dx < +.
Para cada p, /
p
() es un subespacio vectorial de /(). Esto es consecuen-
cia de la llamada desigualdad triangular (o desigualdad de Minkowski):
__
[u +v[
p
dx
_
1/p
__
[u[
p
dx
_
1/p
+
__
[v[
p
dx
_
1/p
(2.60)
para cada u, v /
p
(); vease el ejercicio 2.8.
Sea A el subespacio de /() formado por las funciones que se anulan c.p.d.
en . Entonces A /
p
() para cada p y, dada v /
p
(), tenemos que v A
si y solo si
_
[v[
p
dx = 0.
Para poder trabajar en un marco funcional adecuado, nos interesara conside-
rar el espacio-cociente M() = /()/A (con las operaciones suma y producto
por un escalar, inducidas por las operaciones de /() del modo habitual).
Observese que C
0
() /() y que dos funciones de C
0
() que coinciden
c.p.d. necesariamente coinciden en todo punto x . Por tanto, no hay am-
big uedad al identicar cada funcion de C
0
() con la clase de M() a la que
pertenece y podemos admitir que C
0
() es un subespacio de M().
Si dos funciones de /() coinciden c.p.d. en y una de ellas es integrable,
tambien lo es la otra y sus integrales coinciden. Por tanto, tiene sentido con-
siderar los espacios-cociente L
p
() = /
p
()/A. Para cada clase v L
p
(),
la integral de [v[
p
en es por denicion la integral en el sentido que precede de
cualquiera de las funciones de la clase [v[
p
.
Aunque no es totalmente correcto, diremos que los elementos de L
p
() son
las funciones medibles y p-integrables.
Utilizaremos de nuevo la notacion
_
[v[
p
dx
para designar la integral en de una funcion v L
p
(). As,
L
p
() = v M() :
_
[v(x)[
p
dx < +.
Por supuesto, la desigualdad (2.60) es tambien cierta cuando u, v L
p
().
En consecuencia, L
p
() es un espacio normado para la norma | |
L
p, denida
por
|v|
L
p =
__
[v[
p
dx
_
1/p
v L
p
().
Se puede demostrar que este espacio normado, de nuevo denotado L
p
(), es
completo. En particular, dado que la norma ||
L
2 esta inducida por el producto
escalar ( , )
L
2, donde
(u, v)
L
2 =
_
uv dx u, v L
2
(),
resulta que L
2
() es un espacio de Hilbert.
Por otra parte, denotaremos /
() el subespacio de /() constituido por

las funciones medibles acotadas y pondremos L
() = /
()/A. En este
nuevo espacio vectorial, consideraremos la norma | |
L
, con
|v|
L
= inf M > 0 : [v(x)[ M c.p.d. en v L
().
Con esta norma, L
() es de nuevo un espacio de Banach.

Diremos que los elementos de L
() son las funciones medibles esencial-

mente acotadas.
Recordemos la siguiente propiedad, llamada desigualdad de Holder, valida
para cada p [1, +]: Si u L
p
() y v L
p
(), entonces uv L
1
() y
_
[uv[ dx |u|
L
p|v|
L
p
. (2.61)
Aqu, p
t
es el exponente conjugado de p, denido por la igualdad
1
p
+
1
p
t
= 1. (2.62)
Recordemos tambien que, para cada p [1, +), se tiene la propiedad de
convergencia dominada en L
p
():
Si u
n
es una sucesion en L
p
(), existe el lmite lim
n
u
n
(x) =
u(x) para x c.p.d. en y existe una funcion v L
p
() tal que
[u
n
(x)[ v(x) c.p.d. en para cada n 1, entonces u L
p
() y
ademas
lim
n
|u
n
u|
L
p = 0.
Tenemos el resultado de densidad siguiente:
Teorema 2.12. Para cada p [1, +), T() es denso en L
p
().
Demostracion: Sean p [1, +) y v L
p
(). Probaremos que, para cada
> 0, existe una funcion T() que verica
|v |
L
p . (2.63)
Etapa 1: Para cada > 0, sea K() el compacto siguiente:
K() = x : [x[
1
, dist (x, ) .
Pongamos v
= v 1
K()
. Entonces
|v v
|
L
p =
__
[v[
p
1
\K()
dx
_
1/p
converge a cero cuando 0, gracias al teorema de la convergencia dominada.
Por tanto, eligiendo sucientemente peque no, tenemos
|v v
|
L
p

2
. (2.64)
Etapa 2: Fijemos tal que se tenga (2.64) y sea K = K(). Para cada > 0,
sea
la funcion introducida en la demostracion de la proposicion 2.4. Pongamos

w
(x) =
_
R
N
(x y)v
(y) dy x . (2.65)
Entonces, si es sucientemente peque no, w
cumple lo deseado.
En efecto, w
esta bien denida para todo x y verica w
().
Para > 0 sucientemente peque no, el conjunto K
es un compacto contenido
en . Si x , K
, la bola B(x; ) no corta a K y entonces

w
(x) =
_
R
N
(y)v
(x y) dy = 0.
Por tanto, para sucientemente peque no, w
T(). Finalmente,
|v
|
p
=
_
_
B(0;)
(y)(v
(x) v
(x y)) dy
p
dx
|
p
L
p
_
B(0;)
[v
(x) v
(x y)[
p
dy dx
C
_
B(0;)
__
[v
(x) v
(x y)[
p
dx
_
dy,
donde C es independiente de . Por tanto, para sucientemente peque no,
tenemos
|v
|
L
p

2
. (2.66)
Combinando (2.64) y (2.66), obtenemos (2.63) para = w
.
Corolario 2.4. Sea u L
2
() tal que
_
udx = 0 T().
Entonces u = 0 c.p.d.
Demostracion: Gracias al teorema 2.12, T() es un subespacio denso de
L
2
(). Por tanto, T()
= 0 y, en las condiciones del corolario, u T()
Observacion 2.18. Este resultado tambien es cierto cambiando L

2
() por
cualquiera de los L
p
() con p [1, +]. De hecho, veremos mas adelante que
es cierto pidiendole a u tan solo que pertenezca a un espacio adecuado que
contiene a todos los L
p
(); vease la proposicion 2.5.
Corolario 2.5. Para cada p [1, +), L
p
() es un espacio de Banach sepa-
rable.
Demostracion: Sea K
n
una sucesion no decreciente de compactos contenidos
en con =
n1
K
n
. Para cada n 1, se considera el conjunto Z
n
de las fun-
ciones polinomicas en K
n
con coecientes racionales. Dada z Z
n
, designare-
mos z la correspondiente funcion prolongada por cero a todo y llamaremos Z
al conjunto de las funciones z obtenidas de este modo.
Es obvio que Z es numerable (es union numerable de conjuntos numerables).
Por otra parte, Z es denso en L
p
(). En efecto, sean v L
p
() y > 0.
Gracias al teorema 2.12, sabemos que existe T() tal que
|v |
L
p

2
.
Sean n 1 tal que K
n
contiene al soporte de , c
n
la medida (de Lebesgue) de
K
n
y z Z
n
tal que
| z|
C
0
(K
n
)
= max
xK
n
[(x) z(x)[

2c
1/p
n
.
La existencia de z esta garantizada por la densidad de Z
n
en C
0
(K
n
). Entonces
tenemos que
|v z|
L
p |v |
L
p +| z|
L
p

2
+
__
K
n
[(x) z(x)[
p
dx
_
1/p
.
Observacion 2.19. El espacio de Banach L
() no es separable. Para una

demostracion de esta armacion, vease por ejemplo [3]; vease tambien el ejerci-
cio 2.9.
Con una demostracion similar a la del teorema 2.12, tenemos:
Teorema 2.13. Sea p [1, +). Dada C
1
c
(), existe una sucesion
n
de funciones de T() tales que

|
n
|
L
p 0, |
i
i
|
L
p 0 i = 1, . . . , N. (2.67)
Demostracion: Razonaremos como en la Etapa 2 de la prueba del teorema 2.12.
En efecto, sea C
1
c
() y sea K el soporte de . Para cada > 0, sea w
la funcion denida por

w
(x) =
_
R
N
(x y)(y) dy x . (2.68)
Entonces es obvio que, si es sucientemente peque no, w
T(). Razonando
como antes, se deduce que | w
|
L
p 0 cuando 0.
Por otra parte, para cada i = 1, . . . , N, se tiene que
i
w
(x) =
_
R
N
(x y)
i
(y) dy x .
En consecuencia, tambien se puede demostrar que |
i

i
w
|
L
p 0 cuando
0. Esto prueba el teorema.
Denicion 2.10. Sea v M(). Se dice que v es localmente integrable en
si, para cada compacto K , se tiene v1
K
L
1
(). El conjunto de las (clases
de) funciones v localmente integrables en es un subespacio vectorial de M()
y se denota L
1
loc
().
El resultado siguiente es una importante generalizacion del corolario 2.4:
Proposicion 2.5. Sea u L
1
loc
() tal que
_
udx = 0 T().
Entonces u = 0 c.p.d.
Demostracion: Supongamos en primer lugar que es acotado y que u
L
1
().
Sea > 0. Sabemos que existe
T() tal que

|u
|
L
1 .
Para cada T(), tenemos entonces que
dx
u)dx
||
L
.
Sean K
+
y K
los dos conjuntos siguientes:

K
+
= x :
(x) , K
= x :
(x) .
Entonces K
+
y K
son dos compactos contenidos en y, usando la proposi-

cion 2.4, es facil probar que existe una funcion
T() que verica:

1
1,
= 1 en K
+
,
= 1 en K
.
Pongamos K = K
+
K
y denotemos m() la medida de Lebesgue de .

Entonces
_
K
[
(x)[ dx =
_
dx
_
\K
dx
+
_
\K
[
(x)[ dx
(1 +m()),
de donde
|u|
L
1 |u
|
L
1 +|
|
L
1 (2 +m()).
Dado que es arbitrariamente peque no, deducimos que u = 0 c.p.d.
Supongamos ahora que R
N
es un abierto arbitrario y u L
1
loc
(). Para
cada n 1, sea
n
= x : [x[ < n, dist (x, R
N
) > 1/n.
Es inmediato que cada
n
es un abierto acotado, cada
n
es un compacto
contenido en y que ademas se tiene
n

n+1
n 1,
n1
n
= .
En cada
n
podemos razonar como antes para deducir que u se anula c.p.d.
Gracias a las propiedades precedentes de los
n
, es claro que esto implica u = 0
c.p.d. en .
Terminaremos este Apendice con algunos resultados que aclaran cuando un
abierto posee frontera regular y que consecuencias puede tener este hecho.
Consideremos jado un abierto conexo acotado R
N
. Consideremos
tambien jado un sistema de coordenadas cartesianas sobre R
N
, de tal manera
que cada punto x R
N
se escribe en la forma x = (x
1
, . . . , x
N
). Este sistema
de coordenadas sera denominado sistema de referencia.
Denicion 2.11. Sea k 0 un entero. Se dice que es de clase C
k
, o bien que
C
k
, si existe un n umero nito m de sistemas de coordenadas cartesianas
en R
N
, dos n umeros reales positivos y y m funciones a
r
(1 r m) que
verican lo siguiente:
1. Para cada r = 1, . . . , m, los puntos x R
N
se escriben respecto del r-
esimo sistema de coordenadas en la forma
y
r
= (y
r
1
, . . . y
r
N1
, y
r
N
) = (z
r
, y
r
N
).
Aqu, y
r
se obtiene a partir de las x
i
mediante la relacion
y
r
= A
r
(x) M
r
x +b
r
, (2.69)
donde M
r
es una matriz ortogonal de dimension N N con det M
r
= 1
y b
r
R
N
.
2. Si ponemos
r
= z
r
R
N1
: [z
r
i
[ < i = 1, . . . , N 1 ,
entonces a
r
C
k
(
r
), los conjuntos
r
= A
1
r
( (z
r
, x
r
N
) R
N
: z
r

r
, x
r
N
= a
r
(z
r
) ),
verican
m
r=1
r
= y los conjuntos
U
+
r
= A
1
r
( (z
r
, x
r
N
) R
N
: z
r

r
, a
r
(z
r
) < x
r
N
< a
r
(z
r
) + )
y
U
r
= A
1
r
( (z
r
, x
r
N
) R
N
: z
r

r
, a
r
(z
r
) < x
r
N
< a
r
(z
r
) )
verican U
+
r
y U
r
R
N
para r = 1, . . . , m.
Esta denicion esta tomada de [13] y de [15]. Cuando se cumple, se suele
decir que es una variedad diferenciable de clase C
k
y que esta situado
localmente a un lado de su frontera.
Si es de clase C
k
para todo k 0, se dice que es de clase C
. Por ejemplo,
toda bola abierta de R
N
es un abierto de clase C
.
Podemos tambien hablar de abiertos de clase C
k,a
para cada entero k 0 y
cada n umero real a (0, 1]:
Denicion 2.12. Sean k 0 un entero y a un n umero real, con 0 < a 1.
Se dice que es de clase C
k,a
si cumple la denicion 2.11 con funciones a
r

C
k,a
(
r
).
Esto signica que las a
r
C
k
(
r
) y que, ademas, sus derivadas de orden
k son Holder-continuas en
r
con exponente a. En otras palabras, existe una
constante C > 0 tal que, si D
k
a
r
es una cualquiera de estas derivadas, entonces
[D
k
a
r
(z
r
) D
k
a
r
(w
r
)[ C[z
r
w
r
[
a
z
r
, w
r

r
.
Obviamente, si es de clase C
k,a
, tambien es de clase C
j,b
para cada j y
cada b que veriquen j +b k +a.
Cuando es (como mnimo) un abierto de clase C
0,1
, se puede hablar del
vector normal unitario en casi todo punto de :
Denicion 2.13. Sea un abierto de clase C
0,1
y sea x . Con la notacion
utilizada en la denicion 2.11, supongamos que x
r
y x = A
1
r
(y
r
, a
r
(y
r
)),
donde y
r

r
es un punto de diferenciabilidad de a
r
. Sea q(x) el vector cuyas
N 1 primeras componentes son las derivadas
i
a
r
(y
r
) (1 i N 1) y
cuya N-esima componente vale 1. Entonces se llama vector normal unitario
exterior a en el punto x al vector
n(x) =
1
[q(x)[
(M
r
)
1
q(x). (2.70)
Recordemos que, si la funcion a
r
es como en la denicion precedente, ex-
isten las derivadas parciales primeras de a
r
respecto de todas las variables
y
r
1
, . . . , y
r
N1
c.p.d., esto es, en todo punto de
r
salvo a lo sumo en un conjunto
de medida de Lebegue (N 1)-dimensional nula. Ademas, en esta situacion,
las funciones
i
a
r
, denidas en casi todo
r
y con valores en R, son medibles y
acotadas. Para una demostracion de estas armaciones, vease por ejemplo [14]
y [15].
Se puede comprobar que la denicion precedente de n(x) es correcta e inde-
pendiente de los sistemas de referencia utilizados en las deniciones 2.11 y 2.12
para describir . Tambien se puede probar que (2.70) corresponde a la nocion
geometrica habitual de vector normal unitario en x dirigido hacia el exterior de
.
Sea un abierto de clase C
0,1
. Con la notacion de la denicion 2.11, sea
r
para cada r = 1, . . . , m la siguiente funcion:
r
(y
r
) =
_
1 +
N1
i=1
(
i
a
r
(y
r
))
2
_
1/2
c.p.d. en
r
. (2.71)
Dada una funcion g C
0
(), por coherencia con las deniciones usuales, es
natural denir la integral de g sobre
r
como sigue:
_
r
g(x) d(x) =
_
r
g(A
1
r
(y
r
, a
r
(y
r
))
r
(y
r
) dy
r
.
No obstante, no es posible extender directamente esta formula de manera que
proporcione la integral de g en toda la frontera , dado que los
r
no pueden
ser disjuntos dos a dos.
Para superar esta dicultad, procederemos como sigue. Pongamos U
r
=
U
+
r

r
U
r
para cada r. Entonces U
r
1rm
es un recubrimiento abierto
de .
Sea
r
1rm
una particion de la unidad en subordinada a este re-
cubrimiento. Esto signica que las
r
verican
_

r
C
(R
N
), x R
N
:
r
(x) ,= 0 U
r
,
0
r
1 en R
N
,
m
r=1
r
= 1 sobre
(2.72)
(la existencia de particiones de la unidad subordinadas a recubrimientos abiertos
esta demostrada por ejemplo en [1] y [5]).
Ejercicios 51
Denicion 2.14. Sean un abierto de clase C
0,1
y g C
0
(). Con la
notacion precedente, diremos que la integral de g sobre (respecto de la medida
supercial d) es la cantidad siguiente:
_
g(x) d(x) =
m
r=1
_
r
g(A
1
r
(y
r
, a
r
(y
r
)
r
(A
1
r
(y
r
, a
r
(y
r
))
r
(y
r
) dy
r
.
Se puede demostrar que la denicion precedente es correcta, independiente
de la particion de la unidad elegida de modo que se tenga (2.72) y de los sistemas
de referencia elegidos para describir .
La nocion de integral de supercie que precede corresponde en realidad a la
integracion respecto de una medida positiva d, denida sobre una -algebra
adecuada de partes de .
Mas precisamente, supongamos de nuevo que es de clase C
0,1
y suponga-
mos jados unos sistemas de referencia y una particion de la unidad como los
anteriores. Diremos que el conjunto W es d-medible si todos los
W
r
= y
r

r
: (y
r
, a
r
(y
r
)) A
r
(W)
son medibles para la medida de Lebesgue en R
N1
. Denotemos la familia de
los conjuntos W que son d-medibles y pongamos
d(W) =
m
r=1
_
W
r
r
(A
1
r
(y
r
, a
r
(y
r
))
r
(y
r
) dy
r
W .
Entonces es un -algebra de partes de y d es una medida positiva nita
sobre . De nuevo, las deniciones de y d son independientes de las elecciones
de los sistemas de referencia y de la particion de la unidad.
Ademas, una funcion g : R es medible (resp. integrable) respecto de
la medida d si y solo si las funciones
y
r
g(A
1
r
(y
r
, a
r
(y
r
))
r
(A
1
r
(y
r
, a
r
(y
r
))
son medibles (resp. integrables) respecto de la medida de Lebesgue. Cuando
g : R es integrable, su integral respecto de d viene dada por la cantidad
indicada en la denicion 2.14.
Se nalemos nalmente que, como consecuencia de lo que precede, tiene sen-
tido hablar de los espacios L
p
(, , d), que denotaremos mas brevemente
L
p
().
2.6 Ejercicios
E 2.1. Sean X e Y dos espacios normados y sea T : X Y una aplicacion
lineal. Probar que las siguientes armaiones son equivalentes:
1. T es acotada.
2. T : X Y es continua en 0.
3. T : X Y es continua en todo punto.
E 2.2. Sean X e Y dos espacios de Banach.
1. Probar que, si T : X Y es una aplicacion lineal, continua y sobreyectiva,
T es abierta, esto es, la imagen mediante T de todo abierto de X es un
abierto de Y (teorema de la aplicacion abierta).
2. Deducir que, si T : X Y es una aplicacion lineal, continua y biyectiva,
su inversa T
1
: Y X es tambien lineal y continua (teorema de Banach
de la aplicacion inversa).
3. Deducir tambien que, si T : X Y es una aplicacion lineal y para cada
sucesion x
n
en X con x
n
0 y Ax
n
y se tiene y = 0, entonces
T /(X; Y ) (teorema del grafo cerrado).
Indicacion: Daremos por valido el teorema de Baire y, mas concretamente,
que un espacio de Banach no puede escribirse como la union numerable de
conjuntos cerrados de interior vaco.
Pruebese en primer lugar que, si T : X Y es una aplicacion lineal, continua
y sobreyectiva, el conjunto T(B) (donde B es la bola unidad de X), es un entorno
de 0 en Y . A continuacion, demuestrese que T(B) es tambien un entorno de 0
y que, en consecuencia, T es abierta.
E 2.3. Sean X e Y dos espacios normados y sea /(X; Y ) el espacio normado
de las aplicaciones lineales continuas T : X Y . Probar que, si Y es completo,
entonces tambien lo es /(X; Y ).
Indicacion: Sea T
n
una sucesion de Cauchy en /(X; Y ). Probar que,
para cada x X, T
n
x una sucesion de Cauchy en Y . Deducir que existe
T : X Y tal que T
n
x Tx en Y para todo x X y probar a continuacion
que T /(X; Y ) y T
n
T en /(X; Y ).
E 2.4. Sea K L
2
((a, b) (a, b)) una funcion dada. Por denicion, el operador
integral de Volterra en L
2
(a, b) de n ucleo K es la aplicacion V
K
, dada por
V
K
()(t) =
_
t
a
K(t, s)(s) ds c.p.d. en (0, T), L
2
(a, b). (2.73)
Probar que V
K
/(L
2
(a, b)). Que operador es V
K
?
E 2.5. Sean H un espacio de Hilbert y a( , ) : H H R una forma bilineal.
Probar que las tres armaciones siguientes son equivalentes:
1. a( , ) es acotada.
2. a( , ) : H H R es continua en (0, 0).
3. a( , ) : H H R es continua en todo punto.
E 2.6. Sean H un espacio de Hilbert y a( , ) : H H R una forma bilineal
continua. Probar que las dos armaciones siguientes son equivalentes:
1. Para cada f H
t
, existe un unico u que verica
a(u, v) = f(v) v H, u H.
2. a( , ) verica la propiedad siguiente, conocida como condicion inf-sup:
inf
uH
sup
vH
a(u, v)
|u| |v|
> 0.
Ejercicios 53
Dar un ejemplo de forma bilineal a( , ) no coerciva que verique la condicion
inf-sup precedente.
En los ejercicios que siguen, I (resp. ) denota un intervalo abierto (resp. un
abierto conexo no vaco de R
N
, con N 2).
E 2.7. Sea p [1, +) y sea p
t
el exponente conjugado de p. Probar la
desigualdad de Holder en los /
p
():
_
[uv[ dx
__
[u[
p
dx
_
1/p
__
[v[
p
dx
_
1/p
u /
p
(), v /
p
().
E 2.8. Sea p [1, +). Probar la desigualdad de Minkowski en /
p
():
__
[u +v[
p
dx
_
1/p
__
[u[
p
dx
_
1/p
+
__
[v[
p
dx
_
1/p
u, v /
p
().
E 2.9. Probar que el espacio de Banach L
() no es separable.
Indicacion: Sea E
n
: n 1 una familia numerable de abiertos no vacos
E
n
, disjuntos dos a dos. Sea T la famila de funciones de L
() que toman
el valor 0 o 1 en cada E
n
y 0 en
n
E
n
. Pruebese que T es no numerable y
que la distancia en L
() de dos funciones de T distintas es siempre 1.

E 2.10. Sea acotado, supongamos que K L
( ) y pongamos

K :=
|K|
L
()
. Utilizando el teorema de Lax-Milgram y suponiendo que

K[[ <
1, probar que para cada f L
2
() existe una unica solucion u L
2
() de la
ecuacion integral
u(x)
_
K(x, y) u(y) dy = f(x), x c.p.d.

Dada f L
1
loc
() y dado un multi-ndice = (
1
, . . .
N
), se denomina
derivada de f de orden en el sentido de las distribuciones en (o simplemente
derivada de orden en T
t
()) a la forma lineal D
f : T() R denida como

sigue:
D
f() = (1)
]]
_
f

]]
1
1
. . . x
1
1
dx T().
Esta denicion es coherente con la que se da en la observacion 2.9.
En lo que sigue, usaremos indistintamente la notacion D
f,
f, etc. para
referirnos a derivadas en el sentido de las distribuciones, en el sentido genera-
lizado o en el sentido clsico. En cada caso, el signicado vendra dado por el
contexto.
E 2.11. Calcular las derivadas primeras y segundas en T
t
(R) de las funciones
siguientes:
1. Funcion de Heaviside: H(x) = 0 si x < 0 y H(x) = 1 si x > 0.
2. Funcion valor absoluto.
E 2.12. Sean = (1, 1) (1, 1) R
2
y g la funcion denida en por
g(x
1
, x
2
) =
_
x
1
x
2
si x
1
> 0,
x
1
si x
1
0.
Calcular las derivadas parciales primeras y segundas de g en el sentido de las
distribuciones en .
E 2.13. Sea Q el interior del cuadrado de vertices (1, 1), (2, 0), (3, 1) y (2, 2)
(un abierto de R
2
). Denotemos T la funcion caracterstica de Q, i.e. T(x) =
1
Q
(x) = 1 si x Q y T(x) = 0 en caso contrario. Se pide calcular las siguientes
derivadas en el sentido de las distribuciones en R
2
:
T
x
1
,
T
x
2
,

2
T
x
1
x
2
.
E 2.14. Sea B = B(0; 1) R
N
con N 3 y sea u(x) = [x[
, con < N/21.

Probar que u H
1
(B) y que, por tanto, cuando N 3, las funciones de H
1
()
no pertenecen necesariamente a L
().
E 2.15. Sea = B(0; ) R
2
con < 1. Probar que la funcion u(x) =
(log [x[)
k
, denida para x 0, pertenece a H
1
() si 0 < k < 1/2. En
consecuencia, tampoco para N = 2 las funciones de H
1
() pertenecen necesa-
riamente a L
().
E 2.16. Sea u L
2
(). Demostrar que u H
1
() si y solo si existe C > 0 tal
que
u
i
dx
C||
L
2
()
T
t
(), 1 i N.
Indicacion: Sea
f() =
_
u
i
dx T
t
().
Usese un teorema de prolongacion.

E 2.17. Probar que T(R
N
) es denso en H
1
(R
N
).
Indicacion: Sea v H
1
(R
N
). Construir en primer lugar una sucesion v
n
de funciones de H
1
(R
N
) tales que los sop v
n
son compactos y v
n
v en H
1
(R
N
)
cuando n +. A continuacion, con ayuda de una sucesion regularizante,
jado n, construir una sucesion v
nm
de funciones de T(R
N
) que verican
v
nm
v
n
en H
1
(R
N
) cuando m +.
E 2.18. Supongamos que C
0,1
.
1. Probar que existe una aplicacion lineal continua E : H
1
() H
1
(R
N
)
que permite extender las funciones de H
1
(), esto es, verica
Ev = v en v H
1
().
2. Probar que T() es denso en H
1
().
E 2.19. Probar el teorema 2.8 cuando R
N
es un abierto conexo acotado
no vaco de frontera de clase C
0,1
.
Indicacion: Con ayuda de cartas locales, descomponer la construccion de
en un n umero nito de construcciones analogas a las que corresponden al caso
en que = R
N
+
.
Ejercicios 55
E 2.20. Probar que, cuando R
N
+
y f R() se tiene (??).
Indicacion: Pruebese previamente que toda funcion v H
1
(R
N
+
) verica
_
+
0
_
R
N1
_
(1 +[
t
[
2
)[ v(
t
, x
N
)[
2
+[
N
v(
t
, x
N
)[
2
d
t
dx
N
< +,
donde v = v(
t
, x
N
) denota la transformada de Fourier de v respecto de la
variable
t
.
E 2.21. Para cada > 0, sea v
la funcion denida por (2.31)(2.34). Probar

que v
T(R
N
+
) para todo > 0 y, ademas, v
v en H
1
(R
N
+
).
Indicacion: Pruebese previamente que las funciones
v verican
v v en H
1
(R
N
+
).
Para ello, el punto mas delicado es demostrar que
_
R
N
+
[
x
N
[
2
[v[
2
dx 0.
E 2.22. Probar que si v H
1
() y existe un compacto K tal que v = 0
en K, entonces v H
1
0
(). Probar tambien que si v H
1
() C
0
()
y v(x) = 0 para todo x , entonces v H
1
0
().
E 2.23. Sean f
0
, f
1
, . . . , f
N
L
2
() y sea F : H
1
() R la forma lineal
denida como sigue:
F(v) =
_
(f
0
v +
N
i=1
f
i
i
v) dx v H
1
(). (2.74)
Probar que F (H
1
())
t
y que
|F|
(H
1
)

_
N
i=0
|f
i
|
2
L
2
_
1/2
,
donde | |
(H
1
)
es la norma en (H
1
())
t
inducida por la norma de H
1
().
Probar tambien que, recprocamente, si F (H
1
())
t
, existen N + 1 funciones
f
0
, f
1
, . . . , f
N
L
2
() tales que se tiene (2.74) y
|F|
(H
1
)
=
_
N
i=0
|f
i
|
2
L
2
_
1/2
.
E 2.24. Supongamos que es acotado al menos en una direccion. Sean
f
1
, . . . , f
N
L
2
() y sea F : H
1
0
() R la forma lineal denida como sigue:
F(v) =
_
_
N
i=1
f
i
i
v
_
dx v H
1
0
(). (2.75)
Probar que F H
1
() y que
|F|

_
N
i=1
|f
i
|
2
L
2
_
1/2
,
donde | |
es la norma en H
1
() inducida por la norma de H
1
0
(). Probar
tambien que, recprocamente, si F H
1
(), existen N funciones f
1
, . . . , f
N

L
2
() tales que se tiene (2.75) y
|F|
=
_
N
i=1
|f
i
|
2
L
2
_
1/2
.
E 2.25. Sean R
N
un abierto acotado no vaco y f C
0
() una funcion
dada. Supongamos que u es solucion debil de (2.43) y que u C
2
() C
1
().
Probar que u es solucion clasica.
E 2.26. Demostrar las armaciones siguientes:
1. Existe una funcion
0
T(I) tal que
_
I
0
(x) dx = 1.
2. Para cada f T(I), existe T(I) tal que
f(x) =
t
(x) +
__
I
f(y) dy
_
0
(x) x I,
siendo
0
la funci on que aparece en el apartdo precedente.
3. Si v /
1
loc
(I) es tal que
_
I
v(x)
t
(x) dx = 0 T(I),
existe una constante C R tal que v(x) = C c.p.d. en I.
4. Si g /
1
loc
(I), x
0
I y ponemos G(x) :=
_
x
x
0
g(y) dy, entonces G C
0
(I)
y
_
I
G(x)
t
(x) dx =
_
I
g(x) (x) dx T(I).
Indicacion: Pruebese el resultado en primer lugar cuando g C
0
(I) y
razonese a continuacion por densidad.
5. Se supone a partir de ahora que I es acotado. Si u H
1
(I), entonces
existe un unico representante u de u que verica u C
0
(I) y
(1) u(t
2
) u(t
1
) =
_
t
2
t
1
u
t
(s)ds t
1
, t
2
I.
En consecuencia, identicando cada elemento de H
1
(I) con su represen-
tante continuo, podemos escribir que H
1
(I) C
0
(I).
Indicacion: Sean u un representante de u, v un representante de u
t
y
pongamos
u
0
(x) :=
_
x
x
0
v(s) ds.
Entonces u
0
C
0
(I) y u
0
u es c.p.d. igual a una constante C. Basta
tomar u := u
0
C.
Ejercicios 57
6. Existe una constante C
I
tal que
[ u(t)[ C
I
|u|
H
1
(I)
t I.
Por tanto, u u es una aplicacion lineal continua e inyectiva de H
1
(I)
en C
0
(I).
Indicacion:

Usese (1) con t
2
= t I jo y t
1
en un intervalo contenido en
I e integrese respecto de t
1
.
7. De hecho, la inyeccion precedente es compacta, es decir: la imagen me-
diante ella de todo acotado de H
1
(I) es relativamente compacto en C
0
(I).
Indicacion:

Usese el teorema de Ascoli-Arzel`a.
8. Se tiene la siguiente formula de integracion por partes:
_
I
u
t
(x) v(x) dx = u(b)v(b) u(a)v(a)
_
I
u(x) v
t
(x) dx u, v H
1
(I).
E 2.27. Compruebese que C
0
(I) , H
1
(I), esto es, que existen funciones con-
tinuas que no poseen derivada generalizada en L
2
(I).
En los siguientes ejercicios se suponen conocidos los resultados del ejerci-
cio 2.26. Tambien se supone conocido el resultado siguiente, que es consecuencia
inmediata del apartado 5:
Si u, v C
0
(I) y
_
I
v dx =
_
I
u
t
dx T(I),
entonces u C
1
(I) y su derivada clasica coincide con v en I.
Usaremos que, cuando I es acotado, C
1
(I) es denso en H
1
(I) y, mas gene-
ralmente, que C
1
() es denso en H
1
() si R
N
es un abierto acotado de
frontera C
0,1
.
E 2.28. Sean I = (1, 1) R y f : H
1
(I) R, con f(v) = v(0) para todo
v H
1
(I).
1. Demostrar que f (H
1
(I))
t
.
2. Probar que existe una unica funcion u que verica
(u, v)
H
1
(I)
= f(v) v H
1
(I), u H
1
(I).
Determinar u.
3. Probar que f H
1
(I) y hallar w tal que
(w, v)
H
1
0
(I)
= f(v) v H
1
0
(I), w H
1
0
(I).
E 2.29. Sea I = (0, 1) R. Sea a( , ) : H
1
(I) H
1
(I) R la forma bilineal
denida por
a(u, v) :=
_
1
0
(u
t
v
t
+ 2xu
t
v + 3uv) dx
1. Demostrar que a( , ) es continua y coerciva en H
1
(I).
2. Probar que existe una unica funcion u que verica
a(u, v) = v(0) +v(1) v H
1
(I), u H
1
(I).
3. Concluir de manera razonada que u C
([0, 1]) y es solucion clasica de

un problema de contorno que se determinara.
E 2.30. Sea I = (0, 1) R. Sea a( , ) : H
1
(I) H
1
(I) R, denida por
a(u, v) :=
_
I
(u
t
v
t
+uv) dx +ku(0)v(0),
con k > 1 jado. Se considera el siguiente subespacio cerrado de H
1
(I):
V := v H
1
(I) : v(1) = 0 .
1. Demostrar que la forma a( , ) es coerciva en V .
2. Dada f L
2
(I), probar que existe una y solo una u
f
tal que
a(u
f
, v) =
_
I
f v dx v V, u
f
V.
Caracterizar u
f
como solucion de un problema de mnimos.
3. Que se puede decir de u
f
si f C
0
(I) ? Caracterizar en este caso u
f
como solucion clasica de un problema de contorno.
E 2.31. Se dene a( , ) : H
1
(0, 1) H
1
(0, 1) R como
a(u, v) =
_
1
0
(u
t
v
t
+uv) dx
__
1
0
udx
___
1
0
v dx
_
para u, v H
1
(0, 1). Por otra parte, para una constante k ,= 1 ja, ponemos
V = v H
1
(0, 1) : v(0) = kv(1) .
1. Demostrar que existe una constante C
0
> 0 tal que
|v|
L
(0,1)
C
0
|v
t
|
L
2
(0,1)
v V
y que existe otra constante C
1
> 0 tal que
|v|
H
1
(0,1)
C
1
|v
t
|
L
2
(0,1)
v V.
2. Probar que, cualquiera que sea f L
2
(0, 1), existe una unica u
f
con la
propiedad de que
a(u
f
, v) =
_
I
f v dx v V, u
f
V.
3. Probar que, si f C
0
([0, 1]), entonces u
f
C
2
([0, 1]). Caracterizar el
problema de contorno que satisface u
f
, as como el problema de mnimos
asociado.
Ejercicios 59
E 2.32. Sean I = (1, 3) R y a( , ) : H
1
(I) H
1
(I) R la forma bilineal
continua denida por
a(u, v) =
_
3
1
_
t
2
u
t
(t)v
t
(t) +tu
t
(t)v(t) + 4u(t)v(t)
dt u, v H
1
(I).
Se pide:
1. Demostrar que la forma a( , ) es coerciva sobre H
1
(I).
2. Demostrar que existe una unica solucion del problema
a(u, v) =
9
2
v(3)
1
6
v(1) +
_
3
1
v(t) dt v H
1
(I), u H
1
(I). (2.76)
3. Demostrar que la solucion u de (2.76) pertenece a C
(I) y es solucion
clasica de un problema de contorno que se determinara.
E 2.33. Sea V = v H
1
(0, 1) : v(0) = 0 y consideremos la forma bilineal
a( , ) sobre V denida por
a(u, v) =
_
1
0
u
t
(t)v
t
(t)dt
1
2
u(1)v(1) u, v H
1
(0, 1).
Se pide:
1. Probar que para toda v V se tiene que |v|
2
L
2
(0,1)
|v
t
|
2
L
2
(0,1)
2. Sea f L
2
(0, 1). Demostrar que existe una y solo una solucion del pro-
blema
(PV) Hallar u V tal que a(u, v) =
_
1
0
f(t) v
t
(t) dt v V
y que, para dicha solucion, se tiene |u|
C
0
([0,1])
2|f|
L
2
(0,1)
.
3. Caracterizar la solucion u del problema (PV) como solucion de un proble-
ma de mnimos.
4. Probar que, si f C
1
([0, 1]), entonces la solucion u de (PV) pertenece a
C
2
([0, 1]). Obtener el problema de contorno del que u es solucion.
E 2.34. Sean I = (1, 2) R y a( , ) : H
1
(I) H
1
(I) R, denida por
a(u, v) =
_
2
1
(u
t
(t)v
t
(t) +tu
t
(t)v(t) + 2u(t)v(t)) dt u, v H
1
(I).
1. Demostrar que la forma a( , ) es continua y coerciva sobre H
1
(I).
2. Demostrar que existe una y solo una solucion del problema
a(u, v) = v(1) +
_
2
1
v(t) dt v H
1
(I) u H
1
(I). (2.77)
3. Demostrar que la solucion u de (2.77) pertenece a C
2
(I) y determinar el
problema de contorno del que u es solucion clasica.
E 2.35. Sea i 1, ..., N. Se pide:
1. Probar que si a C
1
() entonces
_
a(x) (x)
i
(x) dx =
1
2
_
i
a(x)
2
(x) dx C
1
c
().
2. Probar que si a C
1
() L
() y
i
a L
() entonces
_
a(x) u(x)
i
u(x) dx =
1
2
_
i
a(x) u
2
(x) dx u H
1
0
().
E 2.36. Sea = R
2
(0, 1).
1. Demostrar que toda u H
1
0
() verica |u|
L
2
()
|
3
u|
L
2
()
.
2. Demostrar que la forma bilineal a( , ) : H
1
0
() H
1
0
() R, denida
por
a(u, v) :=
_
u v dx +
_
x
3
v
3
udx
es continua y coerciva en H
1
0
().
3. Sea f L
2
(R
2
) dada. Demostrar de manera razonada que existe una
unica u H
1
0
() que verica
_
u v dx +
_
x
3
v
3
udx =
_
x
3
f(x
1
, x
2
) v(x) dx v H
1
0
().
4. Acotar la norma |u|
L
2 en funcion de |f|
L
2
(R
2
)
.
5. Caracterizar u como solucion de un problema de contorno.
E 2.37. Para = (1, 1) R
2
y R, se considera la forma bilineal continua
a( , ) : H
1
() H
1
() R, denida por
a(u, v) := 9
_
u v dx +
_
_
2(x
1
+ 3) u
1
v dx
_
uv dx
1. Demostrar que |u|
2
L
2
()
4|
1
u|
2
L
2
()
para toda u H
1
0
().
2. Demostrar que si < 2 la forma bilineal es coerciva en H
1
0
() y, para
cada f L
2
(), existe una unica u H
1
0
() tal que
a(u, v) =
_
fv dx v H
1
0
().
Ejercicios 61
E 2.38. Sean = (1, 1)
N
R
N
, R y a( , ) : H
1
0
() H
1
0
() R,
denida por
a(u, v) :=
_
u v dx +
_
(x u)v dx +
_
uv dx.
1. Usando la desigualdad de Poincare en H
1
0
(), probar que, para > N/4,
a( , ) es coerciva en H
1
0
().
2. Probar que la funcion g : R
N
R, dada por g(x) =
N
i=1
[x
i
[ para cada
x R
N
, pertenece a H
1
().
3. Probar que, para cada > N/4, existe una unica u que verica
a(u, v) = 0 v H
1
0
(), u g +H
1
0
().
Hallar una estimacion de |u|
H
1
()
en funcion de |g|
L
2
()
y |g|
L
2
()
.
E 2.39. Sean = B(0; 1) R
N
, R y a( , ) : H
1
()H
1
() R, denida
por
a(u, v) :=
_
u v dx +
_
[x[(x v)udx +
_
uv dx.
1. Probar que, para > (N + 1)/2, a( , ) es coerciva en H
1
0
().
2. Probar que la funcion g : R
N
R, dada por g(x) [x[, pertenece a
H
1
().
3. Sea f L
2
(). Probar que para cada > (N + 1)/2 existe una unica u
que verica
a(u, v) =
_
fv dx v H
1
0
(), u g +H
1
0
().
Con f(x) [x[, hallar una estimacion de |u|
H
1
()
.
E 2.40. Sean = (1, 1) (1, 1), K > 3, a( , ) : H
1
() H
1
() R la
forma bilineal continua denida por
a(u, v) :=
_
(K
2
1
u
1
v +
2
u
2
v +x
1
v
1
u uv) dx.
y g la funcion denida en por g(x
1
, x
2
) = x
2
sin x
1
si x
1
> 0, g(x
1
, x
2
) = x
1
si x
1
0.
1. Demostrar que g H
1
().
2. Demostrar que |v|
L
2
()
2|
1
v|
L
2
()
para cada v H
1
0
() y deducir
que a( , ) es coerciva sobre H
1
0
().
3. Demostrar de manera razonada que existe una y solo una funcion u que
verica
a(u, v) =
_
x
1
v dx v H
1
0
(), u g +H
1
0
().
Tema 3
Teora espectral de
operadores compactos y
aplicaciones a las EDPs
En este Tema presentaremos una introduccion a la teora espectral de opera-
dores. En particular, analizaremos la estructura del espectro de un operador
lineal compacto y autoadjunto. Este analisis permitira llegar a importantes
consecuencias en el marco de las EDPs lineales de segundo orden. Por ejemplo,
conducira a resultados de existencia y unicidad de solucion para problemas de
valores iniciales y de contorno para la EDP del calor.
3.1 Operadores lineales compactos. Propieda-
des
3.1.1 Deniciones y propiedades
En esta Seccion, X e Y son espacios de Banach cuyas normas se denotan res-
pec-tivamente | |
X
y | |
Y
.
En el espacio de Banach /(X; Y ) hay algunos operadores particulares que
merecen nuestra atencion: los operadores lineales compactos.
Denicion 3.1. Sea T /(X; Y ). Se dice que T es compacto si la imagen
T(B) de todo conjunto acotado B X es relativamente compacto en Y .
Recordemos que un conjunto K X es relativamente compacto si y solo si
su adherencia K es un compacto, es decir, si y solo si de todo recubrimiento
abierto de K puede extraerse un sub-recubrimiento nito. Recordemos tambien
que, si K X es relativamente compacto, todo subconjunto de K de nuevo lo
es.
Dado que todo espacio de Banach es en particular un espacio metrico com-
pleto, K es relativamente compacto si y solo si para cada > 0 existe un
recubrimiento nito de K formado por bolas de radio ; vease por ejemplo [14].
Esto es tambien equivalente a la siguiente propiedad, de caracter secuencial: de
63
64 Teora espectral de operadores compactos y aplicaciones
toda sucesion v
n
con los v
n
K puede extraerse una subsucesion convergente
(por supuesto, el lmite de esta subsucesion pertenecera necesariamente a K).
Observacion 3.1. Sabemos que la bola unidad cerrada B
X
es compacta si y
solo si X posee dimension nita; para una demostracion de esta armacion,
vease por ejemplo [3]; vease tambien el ejercicio 3.1. Por tanto, si X es un
espacio de Banach de dimension innita, la identidad Id : X X es un operador
lineal continuo no compacto. Por el contrario, si Y es de dimension nita, todo
operador T /(X; Y ) es compacto.
Proposicion 3.1. Sea T /(X; Y ). Son equivalentes:
1. T es compacto.
2. De toda sucesi on x
n
que sea acotada se puede extraer una subsucesion
x
n
k
tal que Tx
n
k
es convergente (en Y ).
3. T(B
X
) es relativamente compacto en Y .
Demostracion: Evidentemente, la primera armacion implica la segunda.
Por otra parte, si suponemos que la segunda armacion es cierta, es tambien
evidente que de toda sucesion Tx
n
con los x
n
B
X
se puede extraer una sub-
sucesion convergente. Luego T(B
X
) es relativamente compacto. Esto muestra
que la segunda armaci on implica la tercera.
Finalmente, supongamos que T(B
X
) es relativamente compacto en Y y sea
B X un acotado. Entonces existe r > 0 tal que B rB
X
, de donde T(B)
rT(B
X
). Pero, por hipotesis, rT(B
X
) es relativamente compacto; por tanto,
tambien lo es T(B). As, la tercera armacion implica la primera.
Proposicion 3.2. Sean X, Y y Z tres espacios de Banach y sean T /(X; Y )
y S /(Y ; Z). Si alguno de los operadores T o S es compacto, entonces lo es
el operador S T.
La demostracion es inmediata. En particular, si X es de dimension innita
y T /(X; Y ) es compacto, entonces T no puede tener inverso en /(Y ; X). Esa
ultima propiedad sugiere que los operadores compactos deben tener un rango
en cierto modo peque no, lo cual es cierto, como veremos a continuacion.
Por el momento, consideraremos un tipo especial de operadores compactos
de gran utilidad practica: los operadores de rango nito.
Denicion 3.2. Sea T /(X; Y ). Se dice que T es de rango nito si R(T)
posee dimension nita.
Como consecuencia de la proposicion 3.1, todo operador de rango nito es
compacto (en todo espacio de dimension nita los acotados son relativamente
compactos).
En lo que sigue, denotaremos /(X; Y ) el conjunto de los operadores lineales
compactos de X en Y . Cuando tengamos X = Y , pondremos /(X) en vez de
/(X; X).
Teorema 3.1. /(X; Y ) es un subespacio cerrado de /(X; Y ).
Deniciones y propiedades 65
Demostracion: Toda combinacion lineal de operadores compactos es un nuevo
operador compacto. En efecto, sean T
1
, T
2
/(X; Y ) y
1
,
2
R. Entonces
T
1
(B
X
) y T
2
(B
X
) son relativamente compactos en Y . Luego tambien lo es
1
T
1
(B
X
) +
2
T
2
(B
X
), de donde
1
T
1
+
2
T
2
/(X; Y ). Por tanto, /(X; Y )
es un subespacio vectorial de /(X; Y ).
Veamos ahora que /(X; Y ) es cerrado. Sea T
n
una sucesion de operadores
de /(X; Y ), sea T /(X; Y ) y supongamos que T
n
T en /(X; Y ). Debemos
probar que T es compacto.
Sea x
n
una sucesion de puntos de B
X
. Por el procedimiento diagonal
habitual, es posible extraer de ella una subsucesion x
n
k
tal que todas las
sucesiones T
i
(x
n
k
) convergen en Y . Veamos que T(x
n
k
) es una sucesion de
Cauchy.
Sea entonces > 0. Existe i 1 tal que
|T
i
T|
1(X;Y )

3
. (3.1)
Por otra parte, como la sucesion T
i
(x
n
k
) es de Cauchy, existe k
0
1 tal que,
si k, j k
0
, entonces
|T
i
(x
n
k
) T
i
(x
n
j
)|
Y

3
. (3.2)
De (3.1) y (3.2) deducimos que, cuando k, j k
0
,
|T(x
n
k
) T(x
n
j
)|
Y
|T(x
n
k
) T
i
(x
n
k
)|
Y
+|T
i
(x
n
k
) T
i
(x
n
j
)|
Y
+|T
i
(x
n
j
) T(x
n
j
)|
Y
.
(3.3)
As, hemos demostrado que para cada > 0 existe k
0
1 tal que, si k, j k
0
,
entonces necesariamente
|T(x
n
k
) T(x
n
j
)|
Y
.
Esto prueba que T(x
n
k
) es una sucesion de Cauchy y, por tanto, termina la
demostracion.
Una consecuencia inmediata de este teorema es el corolario siguiente:
Corolario 3.1. Sea T
n
una sucesion de operadores de rango nito y sea T
/(X; Y ) tal que |T
n
T|
1(X;Y )
0 cuando n . Entonces T /(X; Y ).
Observacion 3.2. Si X e Y son espacios de Hilbert, se puede demostrar el
recproco del corolario 3.1. En otras palabras, siempre que T /(X; Y ), existen
sucesiones T
n
de operadores de rango nito tales que |T
n
T|
1(X:Y )
0. La
demosracion no es excesivamente complicada; vease el ejercicio 3.5. No obstante,
este resultado no es cierto en general; para mas detalles, vease [3].
Terminaremos esta Seccion con el teorema siguiente:
Teorema 3.2. Sean H y G dos espacios de Hilbert y sea T /(H; G). Entonces
T es compacto si y solo si T
es compacto.
Demostracion: Basta demostrar que si T es compacto tambien lo es T
, dado
que (T
= T.
Supongamos por tanto que T es compacto y sea y
n
una sucesion acotada
en G. Sea M > 0 tal que |y
n
|
H
M para cada n 1. Tenemos que probar
que existe una subsucesion y
n
k
tal que T
y
n
k
converge en H.
La sucesion T
y
n
esta acotada en H:
|T
y
n
|
H
|T
|
1(G;H)
M n 1.
Por tanto, existe una subsucesion y
n
k
tal que T(T
y
n
k
) converge. Veamos
que T
y
n
k
es una sucesion de Cauchy en H, con lo cual estara probado lo que
queramos. En efecto, para k, 1 tenemos
|T
y
n
k
T
y
n
|
2
H
= (y
n
k
y
n
, (T T
)(y
n
k
y
n
))
H
= (y
n
k
y
n
, T(T
y
n
k
) T(T
y
n
))
H
2M|T(T
y
n
k
) T(T
y
n
)|
H
y este ultimo miembro tiende a cero cuando k, .
3.1.2 Primeros ejemplos: operadores integrales
Los ejemplos no triviales mas naturales de operadores compactos son los opera-
dores integrales. Recuerdese que, para cada K L
2
((a, b) (a, b)), el operador
integral de Fredholm en L
2
(a, b) de n ucleo K esta dado como sigue:
T
K
()(t) =
_
b
a
K(t, s)(s) ds c.p.d. en (a, b) L
2
(a, b). (3.4)
Mas generalmente, si 1 < p 2 y K L
p
((a, b) (a, b)) (p

t
es el exponente
conjugado de p), podemos hablar del operador integral de Fredholm en L
p
(a, b)
de n ucleo K. Se trata de la aplicacion lineal denida por
T
K
()(t) =
_
b
a
K(t, s)(s) ds c.p.d. en (a, b), L
p
(a, b). (3.5)
Por otra parte, si K C
0
([a, b] [a, b]), llamaremos operador integral de
Fredholm en C
0
([a, b]) de n ucleo K al operador denido como sigue:
S
K
()(t) =
_
b
a
K(t, s)(s) ds t [a, b], C
0
([a, b]). (3.6)
Teorema 3.3. Si 1 < p 2 y K L
p
((a, b) (a, b)), el operador lineal T

K
denido por (3.5) es compacto: T
K
/(L
p
(a, b)).
Por otra parte, si K C
0
([a, b] [a, b]), el operador lineal S
K
denido por
(3.6) es compacto: S
K
/(C
0
([a, b])).
Demostracion: Supongamos en primer lugar que 1 < p 2 y K L
p
((a, b)
(a, b)). Es facil comprobar que la aplicacion lineal T
K
: L
p
(a, b) L
p
(a, b) es
continua y que
|T
K
|
L
p
(a,b)
|K|
L
p
((a,b)(a,b))
||
L
p
(a,b)
L
p
(a, b). (3.7)
Alternativa de Fredholm 67
Veamos que T
K
es compacto. Para ello, probaremos que T
K
es el lmite
en el espacio de Banach /(L
p
(a, b)) de una sucesion de operadores compactos.
Aplicando el teorema 3.1, quedara demostrado que T
K
es compacto.
La sucesion puede ser construida del modo siguiente. Como p
t
< +,
C
0
(([a, b] [a, b]) es denso en L
p
((a, b) (a, b)). Como K L

p
((a, b) (a, b)),

existe una sucesion K
n
de funciones K
n
C
0
([a, b] [a, b]) que verican
_ _
(a,b)(a,b)
[K
n
(t, s) K(t, s)[
p
dt ds 0 (3.8)
cuando n . Para cada n, sea T
n
esl operador de Fredholm en L
p
(a, b) de
n ucleo integral K
n
, esto es, la aplicacion lineal denida por
T
n
()(t) =
_
b
a
K
n
(t, s)(s) ds c.p.d. en (a, b), L
p
(a, b). (3.9)
Entonces T
n
converge a T
K
en /(L
p
(a, b)). En efecto, T
n
T
K
es, para cada
n, el operador integral de n ucleo K
n
K; aplicando (3.7) con K sustituido por
K
n
K y (3.8), tenemos que |T
n
T
K
|
1(L
p
(a,b))
0.
Veremos a continuacion que los operadores de Fredholm T
n
son compactos.
Para ello, probaremos que T
n
es el lmite en /(L
p
(a, b)) de una sucesion de
operadores de rango nito.
En efecto, basta tener en cuenta que el espacio de las funciones polinomicas
es denso en C
0
(([a, b] [a, b]). As, existe una sucesion H
m
de funciones de la
forma
H
m
(t, s) =
d
m
i=0
a
i
(t) s
i
,
con las a
i
polinomicas, tales que H
m
K
n
en C
0
(([a, b][a, b]) cuando m .
Obviamente, esto implica
_ _
(a,b)(a,b)
[H
m
(t, s) K
n
(t, s)[
p
dt ds 0 (3.10)
cuando m . Sea S
m
el operador de Fredholm en L
p
(a, b) de n ucleo H
m
. En-
tonces S
m
es de rango nito y gracias a (3.10) tenemos que |S
m
T
n
|
1(L
p
(a,b))

0 cuando m .
Por tanto, los T
n
son efectivamente compactos, de donde lo es T
K
. Esto
prueba la primera parte del teorema.
La demostracion de la segunda parte es analoga (e incluso mas sencilla) y se
deja como ejercicio.
3.2 El teorema de alternativa de Fredholm. Pri-
meras aplicaciones
Sean H y G dos espacios de Hilbert, cuyos productos escalares (resp. normas) se
denotan por el momento respectivamente ( , )
H
y ( , )
G
(resp. | |
H
y | |
G
).
Sea T /(H; G). Recordemos que el n ucleo N(T) = v H : Tv = 0 es un
subespacio cerrado de H y que el rango R(T) = Tv : v H es un subespacio
de G.
Proposicion 3.3. Dado un operador T /(H; G), se tiene:
1. N(T) = R(T
y N(T
) = R(T)
.
2. N(T)
= R(T
) y N(T
= R(T).
Demostracion: Observemos que u N(T) si y solo si (Tu, v)
G
= 0 para cada
v G y que esto ocurre si y solo si (u, T
v)
H
= 0 para cada v G, es decir, si
y solo si u R(T
. Esto prueba la primera parte del aptdo. 1.

Por otra parte, como H es la suma directa ortogonal de R(T
) y R(T
y
sabemos ya que R(T
= N(T), deducimos que N(T)
= R(T
). Esto prueba
la primera igualdad del aptdo. 2.
Las restantes armaciones son ahora inmediatas, cambiando T por su ad-
junto T
.
El resultado central de este paragrafo esta relacionado con la existencia o no
de soluciones de ecuaciones de la forma
v Tv = f, v H, (3.11)
donde T /(H). Para su demostracion, necesitaremos el resultado siguiente,
cuya prueba es inmediata:
Lema 3.1. Sean H un espacio de Hilbert y M H un subespacio cerrado no
trivial. Entonces existen puntos v H tales que
|v|
H
= 1, dist (v, M) := inf
mM
|v m|
H
= 1. (3.12)
Teorema 3.4. Sean H un espacio de Hilbert y T /(H) y denotemos Id el
operador identidad en H. Se tiene entonces lo siguiente:
1. N(Id T) es un espacio de dimension nita.
2. R(Id T) es un subespacio cerrado de H. Por tanto,
R(Id T) = N(Id T
.
3. N(Id T) = 0 si y solo si R(Id T) = H.
4. Las dimensiones de los espacios N(Id T) y N(Id T
) coinciden.
Demostracion:
Veamos en primer lugar que N(Id T) es un espacio de dimension nita.
Pongamos M = N(Id T) y sea B
M
la bola unidad cerrada de M. Entonces
es inmediato que B
M
T(B
M
) T(B
H
), de donde B
M
es compacta y la
dimension de M es necesariamente nita.
Veamos ahora que R(IdT) es cerrado. Sean entonces v
n
una sucesion de
H y supongamos que las y
n
= v
n
Tv
n
convergen en H hacia y. Comprobemos
que y R(Id T).
Si y = 0, esto es evidente. En caso contrario, podemos suponer que y
n
,= 0,
es decir que v
n
, M, para cada n 1. Sea P : H M el operador de
proyeccion ortogonal habitual. Entonces TPv
n
= Pv
n
y podemos escribir que
y
n
= v
n
Pv
n
T(v
n
Pv
n
) n 1. (3.13)
Alternativa de Fredholm 69
La sucesion v
n
Pv
n
esta acotada. En efecto, si no fuera as, al menos
para una subsucesion v
n
k
Pv
n
k
tendramos |v
n
k
Pv
n
k
|
H
. Poniendo
z
n
k
=
v
n
k
Pv
n
k
|v
n
k
Pv
n
k
|
H
,
encontraramos que z
n
k
M
, |z
n
k
|
H
= 1 y
z
n
k
Pz
n
k
=
y
n
k
|v
n
k
Pv
n
k
|
H
0. (3.14)
Eventualmente extrayendo una nueva subsucesion, podramos suponer que las
Tz
n
k
convergen a z en H. Luego tambien tendramos que z
n
k
z y que
|z|
H
= 1. Pero entonces habramos encontrado un punto z M M
distinto
de 0, lo que es absurdo.
Como v
n
Pv
n
esta acotada, existen una subsucesion v
n
j
Pv
n
j
y un
punto w H tales que T(v
n
j
Pv
n
j
) w. Pero entonces v
n
j
Pv
n
j
w +y
y en consecuencia T(v
n
j
Pv
n
j
) Tw + Ty. Pasando al lmite en (3.13) con
n = n
j
, obtenemos que y = (Id T)(y +w), esto es, y R(Id T).
Dado que R(Id T) es cerrado, tenemos que coincide con su adherencia y
por tanto con N(Id T
.
Veamos a continuacion que si N(Id T) = 0 entonces R(Id T) = H.
Supongamos lo contrario. Entonces H
1
= R(Id T) es un subespacio cerrado
propio de H (y por tanto un nuevo espacio de Hilbert). Si denotamos T
1
la
restriccion de T a H
1
, es inmediato que T
1
/(H
1
) y H
2
= R(Id T
1
) vuelve
a ser un subespacio cerrado propio de H
1
, etc.
De este modo, conseguimos una sucesion estrictamente decreciente de espa-
cios de Hilbert H
n
, todos ellos subespacios de H. De acuerdo con el lema 3.1,
para cada n 1 existe e
n
H
n
tal que
|e
n
|
H
= 1, dist (e
n
, E
n+1
) = 1. (3.15)
Para n > m, tenemos que
Te
n
Te
m
= (e
n
Te
n
) + (e
m
Te
m
) + (e
n
e
m
)
= [(e
n
Te
n
) + (e
m
Te
m
) +e
n
] e
m
y, como (e
n
Te
n
) + (e
m
Te
m
) +e
n
H
m+1
, obtenemos la desigualdad
|Te
n
Te
m
|
H
1 .
Pero esto esta en contradiccion con que T sea compacto. Por tanto, nece-
sariamente R(Id T) = H.
Recprocamente, supongamos que R(Id T) = H. Entonces N(Id T
) =
R(Id T)
= 0. Dado que T
/(H), podemos aplicar el razonamiento

precedente a T
, lo que conduce a que R(Id T
) = H. En consecuencia,
N(Id T) = R(Id T
= 0.
Esto prueba que, efectivamente, N(IdT) = 0 si y solo si R(IdT) = H.
La demostracion de que los espacios N(IdT) y N(IdT
) poseen la misma
dimension queda como ejercicio.
Observacion 3.3. Se puede demostrar un resultado analogo al teorema 3.4
cuando X es un espacio de Banach y T /(X); para mas detalles, vease [3].
El teorema 3.4 se conoce con nombre de teorema de alternativa de Fredholm.
Para justicar esta denominacion, consideremos la ecuacion (3.11), donde T
/(H) y f H es dada. En primer lugar, podemos armar que la ecuacion
homogenea asociada
v Tv = 0, v H, (3.16)
posee a lo sumo un n umero nito de soluciones linealmente independientes.
En segundo lugar, tenemos que (3.11) posee solucion para cada f H si y
solo si (3.16) solo posee la solucion trivial.
Finalmente, si (3.16) posee soluciones no triviales, entonces, dada f H, la
correspondiente ecuacion (3.11) posee solucion (en cualquier caso no unica) si y
solo si f es ortogonal a las soluciones de la ecuacion adjunta
v T
v = 0, v H. (3.17)
En la practica, esto signica que f debe satisfacer un n umero de restricciones
lineales que coincide con la dimension del espacio de soluciones de (3.16).
Observacion 3.4. El teorema 3.4 es evidentemente cierto (y bien conocido)
cuando H posee dimension nita (en particular, si H es de dimension nita, un
operador T /(H) es inyectivo si y solo si es sobreyectivo). Por el contrario,
el resultado no es cierto en general si la dimension de H es innita y T no es
compacto. As, por ejemplo, en el espacio de Hilbert
2
de las sucesiones de
cuadrado sumable,
1
la aplicacion lineal
Lx
1
, x
2
, x
3
, . . . = 0, x
1
, x
2
, . . . x
n

2
(3.18)
es inyectiva pero no sobreyectiva. Por otra parte, la aplicacion
Sx
1
, x
2
, . . . = x
2
, x
3
, . . . x
n

2
es sobreyectiva pero no inyectiva.
3.3 El espectro de un operador lineal compacto
Con frecuencia, en las aplicaciones se encuentran ecuaciones similares a (3.11)
en donde interviene tambien un parametro (un n umero real) en principio des-
conocido. Se trata de ecuaciones que tienen la estructura
v Tv = f, (v, ) H R, (3.19)
donde f H y T /(H). En esta Seccion, veremos (entre otras cosas) que se
puede decir sobre la existencia de solucion de (3.19) cuando T es compacto.
1
Tenemos
2
:= { {x
n
} : x
n
R n 1,
n1
|x
n
|
2
< +}, con las operaciones habi-
tuales de suma y producto por un escalar y el producto escalar ({x
n
}, {y
n
})
2 :=
n1
x
n
y
n
.
Deniciones y resulytados fundamentales 71
3.3.1 Deniciones y resultados fundamentales
Denicion 3.3. Sea T /(H). Se llama resolvente de T al conjunto de los
R tales que el operador T Id : H H es biyectivo. Se llama espectro de
T al conjunto (T) = R (T).
Gracias al teorema de Banach del operador inverso, si (T), existe
(T Id)
1
y es un operador lineal continuo de H en s mismo. Por otra
parte, si (T), al menos una de las dos cosas siguientes ocurre: o bien
N(T Id) ,= 0, o bien R(T Id) ,= H.
Denicion 3.4. Sea T /(H). Se dice que es un valor propio de T si
N(T Id) ,= 0. En tal caso, se dice que N(T Id) es el subespacio propio
asociado a y a los elementos de N(T Id) no nulos se les llama vectores
propios o autovectores asociados.
Dado T /(H), denotaremos VP(T) el conjunto de valores propios de T.
Obviamente VP(T) (T), pero esta inclusion puede ser estricta. As, para la
aplicacion denida en (3.18), tenemos que 0 (T) pero 0 , VP(T).
Si (T) VP(T), necesariamente R(T Id) ,= H. Esto puede ocurrir
de dos maneras:
R(T Id) es denso en H, pero no es cerrado. En este caso se dice que
pertenece al espectro continuo de T.
R(T Id) no es denso en H. Se dice entonces que pertenece al espectro
residual de T.
Por tanto, (T) se puede escribir como la union disjunta
(T) = VP(T)
c
(T)
r
(T), (3.20)
donde
c
(T) (resp.
r
(T)) es el espectro continuo (resp. residual) de T.
Observese que, si
c
(T), entonces necesariamente
inf
vH,v,=0
|(T Id)v|
|v|
= inf
|v|=1
|(T Id)v| = 0; (3.21)
vease el ejercicio 3.9. Por tanto, cuando
c
(T), existen puntos v
1
, v
2
, . . .
en H tales que
Tv
n
v
n
0, |v
n
| = 1 n 1.
Por esta razon, los
c
(T) se suelen denominar valores propios generalizados.
Proposicion 3.4. Sea T /(H). Entonces (T) es un compacto contenido
en el intervalo [|T|
1(H)
, |T|
1(H)
]. En consecuencia, (T) es un abierto no
acotado de R.
Demostracion: Veamos en primer lugar que si [[ > |T|
1(H)
entonces
(T). Esto probara que (T) [|T|
1(H)
, |T|
1(H)
].
En efecto, si [[ > |T|
1(H)
, entonces para cada f H la ecuacion
Tv v = f, v H, (3.22)
posee solucion unica. Esto es consecuencia de que (3.22) admite la formulacion
equivalente
v =
1
(Tv f), v H,
que es una ecuacion de punto jo a la que se puede aplicar el teorema de Banach.
Veamos ahora que (T) es un abierto. Con esto quedara demostrada la
proposicion. Sea por tanto
0
(T). Dada f H, la ecuacion (3.22) es
equivalente a
Tv
0
v = f + (
0
)v, v H.
Pero esta puede tambien escribirse en la forma
v = (T
0
Id)
1
(f + (
0
)v), v H
y esta ultima es de nuevo una ecuacion de punto jo a la que puede aplicarse
el teorema de Banach a condicion de que [
0
[ sea sucientemente peque no.
Por tanto, existe > 0 tal que, si R y [
0
[ , tenemos (T).
Esto prueba, como queramos, que (T) es un abierto.
El resultado principal de esta Seccion es el siguiente:
Teorema 3.5. Sean H un espacio de Hilbert de dimension innita y T /(H).
Se tiene entonces lo siguiente:
1. 0 (T) (y por tanto (T) es un compacto no vaco).
2. (T) 0 = VP(T) 0.
3. Los puntos de (T) 0 son aislados. Mas precisamente, o bien (T)
0 es el vaco, o bien es un conjunto nito, o bien es numerable. En
este ultimo caso, los puntos de (T) 0 pueden ser ordenados como los
terminos de una sucesion cuyos valores absolutos decrecen estrictamente
y convergen a 0.
Demostracion: En primer lugar, observemos que si tuvieramos 0 (T), T
sera biyectivo, en contra de ser T compacto y H de dimension innita. Por
tanto, 0 (T).
Veamos a continuaci on que si (T) 0 entonces N(T Id) ,= 0.
Esto probara que (T) 0 = VP(T) 0.
Supongamos entonces que (T), ,= 0 y N(T Id) = 0. Como
N(T Id) = N(Id
1
T) y el operador
1
T es compacto, por el teorema 3.4

tenemos que
H = R(Id
1
T) = R(T Id).
Luego T Id es biyectivo, en contra de que sea (T).
Para demostrar el aptdo. 3, supongamos dada una sucesion
n
de puntos
de (T) 0 todos distintos que converge a y veamos que = 0. Para
cada n 1, tenemos
n
VP(T), de donde podemos elegir un punto e
n

N(T
n
Id) distinto de 0.
Los e
n
son linealmente independientes. En efecto, si tuvieramos para alg un
n y algunos
i
R que e
n+1
=
n
i=1
i
e
i
, tambien tendramos
Te
n+1
=
n
i=1
i
Te
i
=
n
i=1
i
e
i
Deniciones y resulytados fundamentales 73
y
n+1
e
n+1
=
n
i=1
n+1
e
i
,
de donde necesariamente
i
(
i
n+1
) = 0 para cada i, lo que es imposible.
Pongamos X
n
= [e
1
, . . . , e
n
] para cada n 1. Pongamos tambien X
0
= 0.
Entonces X
n
es una sucesion estrictamente creciente de subespacios de H de
dimension nita (y por tanto cerrados) que verican
(T
n
)X
n
X
n1
n 1. (3.23)
En virtud del lema 3.1, existe una sucesion v
n
de puntos de H que verican
lo siguiente:
v
n
X
n
, |v
n
|
H
= 1 y dist (v
n
, X
n1
)
1
2
para cada n 1.
Veamos que
|
1
m
Tv
m
j
Tv
j
|
H

1
2
m, j 1, m ,= j. (3.24)
En efecto, podemos suponer por ejemplo que j < m. Entonces X
j1
X
j

X
m1
. Como
|
1
m
Tv
m
j
Tv
j
|
H
= |v
m
+
1
m
(Tv
m
m
v
m
)
1
j
(Tv
j

j
v
j
) v
j
|
H
y se cumple (3.23), esta cantidad es dist (v
m
, X
m1
), de donde obtenemos
(3.24).
Dado que T /(H), es evidente que Tv
n
posee subsucesiones conver-
gentes. Sin embargo, esto solo puede ocurrir si = 0. En efecto, si fuera ,= 0,
tambien podramos extraer subsucesiones convergentes de
1
n
Tv
n
, lo cual
contradice (3.24).
Finalmente, comprobemos que (T) 0 es como se dice en el aptdo. 3.
Para cada n 1, sea
n
(T) = (T) R : [[
1
n
.
Entonces
n
(T) es vaco o a lo sumo nito (si fuera innito, contendra un
punto de acumulacion, en contra de lo que se arma en el aptdo. 3). Por tanto,
(T) 0 es a lo sumo numerable. Si este conjunto contiene una innidad
de puntos distintos, es claro que estos pueden ordenarse en la forma que se ha
indicado.
Observacion 3.5. En las condiciones del teorema 3.5, puede ocurrir que el
origen sea un valor propio, un valor propio generalizado o un valor espectral
residual. Veanse los ejercicios 3.103.12, donde se muestran operadores para
cada una de las tres posibilidades.
Observacion 3.6. Sea X un espacio de Banach y sea T /(X). De forma
analoga a como se hizo mas arriba, se pueden denir en este contexto los con-
juntos (T), (T) y VP(T). Hecho esto, la proposicion 3.4 y el teorema 3.5 son
de nuevo ciertos. Para la demostracion, vease [3].
3.3.2 Aplicaci on a la resoluci on de algunas ecuaciones in-
tegrales
Gracias a los resultados precedentes, podemos analizar la existencia de solucion
de la ecuacion integral de Fredholm de segunda especie
_
_
(t)
_
b
a
K(t, s)(s) ds = f(t) c.p.d. en (a, b),
(, ) L
2
(a, b) R.
(3.25)
En (3.25) supondremos que el n ucleo K L
2
((a, b) (a, b)) y f L
2
(a, b).
Pondremos M = |K|
L
2
((a,b)(a,b))
y supondremos que M > 0.
El primer resultado de existencia se obtiene facilmente a partir del teorema
de Banach del punto jo cuando [[ es sucientemente peque no:
Teorema 3.6. Para cada f L
2
(a, b) y cada (
1
M
,
1
M
) existe una unica
solucion de (3.25).
Demostracion: Supongamos que f y son dadas y cumplen las condiciones
del teorema. Sea : L
2
(a, b) L
2
(a, b) la aplicacion dada por
()(t) = f(t) +
_
b
a
K(t, s)(s) ds c.p.d. en (a, b) (3.26)
para cada L
2
(a, b).
Entonces es facil comprobar que esta bien denida y es contractiva (esto
ultimo gracias a que [[ < 1/M). En consecuencia, posee un unico punto jo
en L
2
(a, b) que evidentemente coincide con la unica solucion de (3.25).
Sabemos que para los valores precedentes de el metodo de las aproxima-
ciones sucesivas aplicado a converge. Por tanto, si consideramos la sucesion
n
donde para t (a, b) c.p.d.
0
(t) = f(t),
1
(t) = f(t) +
_
b
a
K(t, s)
0
(s) ds,
2
(t) = f(t) +
_
b
a
K(t, s)
1
(s) ds,
. . . . . .
sabemos que
n
converge en L
2
(a, b) hacia la solucion . Tras un calculo simple,
no es difcil probar que, para cada n 1,
n
(t) = f(t) +
_
b
a
_
_
n
j=1
K
j
(t, s)
j1
_
_
f(s) ds
c.p.d. en (a, b), donde las funciones K
j
son las siguientes:
K
1
(t, s) K(t, s),
K
j+1
(t, s)
_
b
a
K(t, )K
j
(, s) ds para j 1.
Aplicaciones a las ecuaciones integrales 75
Tambien es sencillo probar que, para casi todo t, la serie
j1
K
j
(t, s)
j1
converge en L
2
(a, b).
Por tanto, cuando f L
2
(a, b) y (1/M, 1/M), la unica solucion de
(3.25) verica
(t) = f(t) +
_
b
a
R(t, s; )f(s) ds c.p.d. en (a, b), (3.27)
donde hemos hecho uso de la notacion siguiente:
R(t, s; ) =
j1
K
n
(t, s)
j1
R c.p.d. en (a, b) (a, b). (3.28)
Investiguemos a continuacion que puede ocurrir cuando [[ 1/M.
Consideremos el operador integral de Fredholm T
K
de n ucleo K. Sabemos
que T
K
es un operador lineal compacto del espacio de Hilbert L
2
(a, b) en s
mismo. Para ,= 0, la ecuacion integral tambien se puede escribir en la forma
T
K
= f, (3.29)
donde = 1/.
Por tanto, por el teorema 3.4, existe a lo sumo un conjunto numerable
n
(el conjunto de los inversos de los valores propios de T

K
) tal que
Si ,=
n
para todo n, para cada f L
2
(a, b) existe una unica solucion
de la correspondiente ecuacion (3.25).
Si =
n
para alg un n, dada f L
2
(a, b), existe solucion (no unica)
de (3.25) si y solo si (f, )
L
2
(a,b)
= 0 para toda solucion de la ecuacion
adjunta

n
T
K
= 0. (3.30)
En la practica, esto signica que f debe vericar un n umero nito de
condiciones de ortogonalidad que coincide con la dimension del espacio
propio asociado a
n
.
Observese que T
K
es un nuevo operador integral de Fredholm. En efecto,
coincide con el operador asociado al n ucleo K
, donde
K
(t, s) K(s, t).

Por denicion, los
n
precedentes son los autovalores de K. Si el conjunto
de los
n
es el vaco, para todo R y para toda f L
2
(a, b) la ecuacion (3.25)
posee solucion unica. Si es nito, esto mismo es cierto salvo un n umero nito
de valores de . La tercera y ultima posibilidad es que
n
sea numerable y
entonces los
n
pueden enumerarse como los terminos de una sucesion cuyos
valores absolutos tienden a innito.
Observacion 3.7. Se puede construir una funcion meromorfa cuyos ceros sobre
la recta real coinciden con los autovalores de K. En efecto, para cada j 1,
pongamos
H
j
(t
1
, . . . , t
j
, s
1
, . . . , s
j
) = det
_
_
_
K(t
1
, s
1
) K
j
(t
1
, s
j
)
.
.
.
.
.
.
.
.
.
K(t
j
, s
1
) K
j
(t
j
, s
j
)
_
_
_
para t
1
, . . . , t
j
, s
1
, . . . , s
j
(a, b) c.p.d. y
d
j
=
_
b
a

_
b
a
H
j
(t
1
, . . . , t
j
, t
1
, . . . , t
j
) dt
1
. . . dt
j
.
Entonces la serie de potencias
j1
(1)
j
d
j
j
j!
converge en todo el campo complejo y la funcion entera
d() = 1 +
j1
(1)
j
d
j
j
j!
R (3.31)
tiene la propiedad deseada: los autovalores de K son los ceros reales de d.
Para mas detalles sobre las ecuaciones integrales de Fredholm, vease por
ejemplo [6, 10].
3.4 El teorema de Hilbert-Schmidt
A continuacion, consideraremos el caso en que H es separable y el operador
lineal T : H H es compacto y autoadjunto.
Recordemos que todo espacio de Hilbert separable posee bases ortonormales,
esto es, sistemas ortonormales completos que pueden ser construidos facilmente
por el procedimiento de Gram-Schmidt; vease el ejercicio 3.4. Veremos que, si
T es compacto y autoadjunto, existe una base ortonormal de H que permite
diagonalizar T.
Proposicion 3.5. Sea T /(H) un operador autoadjunto y pongamos
m
T
:= inf
vH,|v|
H
=1
(Tv, v)
H
, M
T
:= sup
vH,|v|
H
=1
(Tv, v)
H
.
Entonces (T) [m
T
, M
T
]. Ademas, se tiene que m
T
(T) y M
T
(T).
Demostracion: Sea R, con > M
T
. Veamos que (T).
Tenemos por denicion que
(Tv, v)
H
M
T
|v|
2
H
v H.
Por tanto,
(v Tv, v)
H
( M
T
)|v|
2
H
v H, (3.32)
con M
T
> 0. Teniendo en cuenta (3.32), resulta que la forma bilineal a
T
( , ),
con
a
T
(u, v) = (u Tu, v)
H
u, v H,
es continua y coerciva. Por tanto, en virtud del teorema 2.5, Id T es un
isomorsmo y, efectivamente, (T).
De modo analogo se prueba que todo R con < m
T
tambien verica
(T). En consecuencia, (T) [m
T
, M
T
].
El teorema de Hilbert-Schmidt 77
Veamos ahora que M
T
(T). Consideremos la forma bilineal a
T
( , ), con
a
T
(u, v) = (M
T
u Tu, v)
H
u, v H.
Claramente, a
T
( , ) es continua, simetrica (porque T es autoadjunto) y no ne-
gativa, es decir,
a
T
(v, v) 0 v H.
Por tanto,
[ a
T
(u, v)[ a
T
(u, u)
1/2
a
T
(v, v)
1/2
u, v H,
de donde, tomando v = M
T
u Tu, obtenemos que
|M
T
u Tu|
2
H
= a(u, v) C a
T
(u, u)
1/2
|M
T
u Tu|
H
y por tanto
|M
T
u Tu|
2
H
C a
T
(u, u)
1/2
u H. (3.33)
Sea u
n
una sucesion de puntos de H tal que |u
n
|
H
= 1 para todo n y
(Tu
n
, u
n
)
H
M
T
cuando n . Se deduce de (3.33) que, necesariamente,
|M
T
u
n
Tu
n
|
H
0.
Si fuera M
T
(T), entonces M
T
Id T sera un isomorsmo y tendramos
u
n
0 en H, lo que es imposible. Luego M
T
(T).
Como consecuencia, tenemos el resultado siguiente:
Corolario 3.2. Sea T /(H) autoadjunto y supongamos que (T) = 0.
Entonces T = 0.
Demostracion: Por hipotesis,
(Tv, v)
H
= 0 v H.
Por tanto,
(Tu, v)
H
=
1
2
[(T(u +v), u +v)
H
(Tu, u)
H
(Tv, v)
H
] = 0 u, v H
y en consecuencia T = 0.
Denicion 3.5. Sea H
n
: n 0 una familia de subespacios cerrados de H.
Se dice que H es la suma de Hilbert de los H
n
si
1. Los H
n
son ortogonales dos a dos, esto es, se tiene que
(v
m
, v
n
) =
mn
v
m
H
m
, v
n
H
n
, m, n 1.
2. El espacio vectorial generado por
n0
H
n
(formado por las combinaciones
lineales nitas de puntos de
n0
H
n
) es denso en H.
Teorema 3.7. Sea H
n
: n 0 una familia de subespacios cerrados de H
y supongamos que H es la suma de Hilbert de los H
n
. Para cada n 0, sea
P
n
: H H
n
el operador de proyecci on ortogonal sobre H
n
. Entonces
v =
n0
P
n
v = lim
m
m
n=0
P
n
v v H (3.34)
y
|v|
2
H
=
n0
|P
n
v|
2
H
v H (3.35)
(igualdad de Parseval generalizada).
Por otra parte, si los v
n
son dados y tenemos v
n
H
n
para cada n 0 y
n0
|v
n
|
2
< +, entonces la serie
n0
v
n
converge en H hacia un v H
que verica P
n
v = v
n
para todo n 0.
Demostracion: Para cada k 1, pongamos
S
k
=
k
n=0
P
n
.
Sea v H. Entonces S
k
v =
k
n=0
P
n
v y |S
k
v|
2
H
=
k
n=0
|P
n
v|
2
H
. Veamos
que lim
k
|v S
k
v|
H
= 0 y lim
k
|S
k
v|
2
H
= |v|
2
H
, lo cual probara (3.34)
y (3.35).
Denotemos F al subespacio generado por
n0
H
n
; sabemos que F es denso
en H. Por otra parte,
|S
k
w|
H
|w|
H
w H (3.36)
para cada k 1.
Sea > 0. Entonces existe v
F tal que |v v
|
H
/2. Existe k
tal
que v
es suma de puntos de H
0
, H
1
, . . . , H
k
; por tanto,
S
k
v
= v
k k
. (3.37)
En consecuencia, si k k
tenemos que
|v S
k
v|
H
|v v
|
H
+|S
k
v
S
k
v|
H
.
Esto prueba que lim
k
|v S
k
v|
H
= 0.
Teniendo en cuenta que
|v S
k
v|
2
H
= |v|
2
H

k
n=0
|P
n
v|
2
H
= |v|
2
H
|S
k
v|
2
H
,
se deduce tambien que lim
k
|S
k
v|
2
H
= |v|
2
H
.
Recprocamente, supongamos que v
n
H
n
para cada n y
n0
|v
n
|
2
<
+. Entonces, para m > k 0 tenemos que
|S
m
v
n
S
k
v
n
|
2
H
=
m
n=k+1
|v
n
|
2
H
0
cuando k, m . Por tanto, la serie
n0
v
n
converge en H hacia un v que,
evidentemente, verica las igualdades P
n
v = v
n
para cada n.
El resultado principal de este paragrafo es el teorema siguiente, generalmente
conocido como teorema de Hilbert-Schmidt:
El teorema de Hilbert-Schmidt 79
Teorema 3.8. Sea H un espacio de Hilbert separable y sea T /(H) un
operador autoadjunto. Entonces existe una base ortonormal de H formada por
autovectores de T.
Demostracion: Supongamos de momento que el conjunto (T) 0 es nu-
merable y sea
n
una enumeracion de este, con
[
1
[ > [
2
[ > > [
n
[ > ,
n
0.
Pongamos
0
= 0 y H
n
= N(T
n
Id) para cada n 0. Entonces H es la
suma de Hilbert de los H
n
.
En efecto, los H
n
son ortogonales dos a dos: si v
n
H
n
y v
m
H
m
con
n ,= m, entonces
n
(v
n
, v
m
)
H
= (Tv
n
, v
m
)
H
= (v
n
, Tv
m
)
H
=
m
(v
n
, v
m
)
H
,
de donde (v
n
, v
m
)
H
= 0. Por otra parte, si llamamos F al espacio generado por
n0
H
n
, tenemos que F
= 0.
Para probar esta ultima armacion, razonaremos como sigue. En primer
lugar, observamos que T(F) F (porque T(H
n
) H
n
para cada n); por tanto,
tambien se tiene que T(F
) F
. As, T
= T[
F
esta bien denido como
operador de /(F
) y es autoadjunto y compacto en F
.
Si (T
) contuviera un n umero real ,= 0, tendramos VP(T
) 0 y
entonces
T
= v
para alg un v
, v
,= 0. Pero esto signica que v
F y por tanto conduce

al absurdo de que F
F ,= 0. Luego (T
) = 0.
En virtud del corolario 3.2, obtenemos que T
= 0, de donde F
N(T)
F y, nalmente, F
= 0.
Eso prueba que F es denso en H y, en consecuencia, H es la suma de Hilbert
de los H
n
. Ahora, eligiendo en cada uno de los H
n
una base ortonormal, obte-
nemos facilmente una base ortonormal de H. Esto prueba el teorema cuando
(T) 0 es numerable.
Cuando (T)0 es un conjunto nito, la demostracion es analoga (e incluso
mas sencilla) y se deja como ejercicio.
Observacion 3.8. En la demostracion precedente, los H
n
con n 1 son es-
pacios de dimension nita. El unico H
n
que puede ser de dimension innita es
H
0
. De hecho, la separabilidad de H se usa solo para poder asegurar que H
0
posee una base ortonormal.
Observacion 3.9. En el caso particular en que T es inyectivo, el espacio H
0
=
0 y H es la suma de Hilbert de los H
n
con n 1 (todos de dimension nita).
Si ademas T es positivo, es decir,
(Tv, v)
H
0 v H,
entonces todos los valores propios de T son estrictamente positivos.
3.5 El caso de un operador elptico autoadjunto
En esta Seccion, aplicaremos los resultados precedentes en el caso particular en
que H = L
2
() ( R
N
es un abierto no vaco) y T es el operador que asocia
a cada f L
2
() la solucion debil de un problema elptico similar a (2.48) en
donde f aparece como segundo miembro. A continuacion, deduciremos algunas
consecuencias.
Necesitaremos previamente probar un resultado abstracto que conecta los
valores propios de un operador compacto auto-adjunto con los autovalores de
una forma bilineal continua.
3.5.1 Un resultado abstracto
Utilizaremos la denicion siguiente:
Denicion 3.6. Sean V y H dos espacios de Hilbert. Se dice que (V, H) es
un par de Lions si V es un subespacio denso de H y la inyeccion V H es
continua.
Ejemplos inmediatos de pares de Lions son (H
1
0
(), L
2
()) y (L
2
(), H
1
()),
donde hemos identicado, una vez mas, L
2
() con un espacio de formas lineales
continuas sobre H
1
0
(); vease el ejercicio 3.19.
Teorema 3.9. Sean V y H dos espacios de Hilbert separables de dimension
innita. Supongamos que (V, H) es un par de Lions tal que la inyeccion V H
es compacta, es decir que todo acotado de V es relativamente compacto en H.
Sea a( , ) una forma bilineal continua, simetrica y coerciva sobre V . Entonces
existe una sucesion
n
de n umeros reales y una base ortonormal e
n
: n 1
de H que verican
_
a(e
n
, v) =
n
(e
n
, v)
H
v V, e
n
V,
0 <
1

2
, lim
n
n
= +
(3.38)
Ademas,
1/2
n
e
n
: n 1 es una base ortonormal de V para el producto
escalar a( , ).
Demostracion: Vamos a aplicar el teorema 3.8 a un operador lineal compacto
apropiado. Este operador se construye como sigue.
Dado que la inyeccion V H es continua, existe C > 0 tal que
|v|
H
C|v|
V
v V. (3.39)
Por tanto, para cada f H, v (f, v)
H
es una forma lineal continua sobre V
y en virtud del teorema 2.5 existe un unico u
f
que verica:
a(u
f
, v) = (f, v)
H
v V, u
f
V. (3.40)
Consideremos la aplicacion S : H V denida por
Sf = u
f
f H.
Es facil comprobar que S /(H; V ). Ademas, combinando (2.12), (3.40) y
(3.39), obtenemos
|Sf|
V

C
|f|
H
f H.
Un resultado abstracto 81
El operador T deseado es la composicion de S con la inyeccion de V en H.
Gracias a la proposicion 3.2, T es un operador lineal compacto: T /(H).
Ademas, dado que a( , ) es simetrica y coerciva, deducimos que T es autoad-
junto y positivo. En efecto, tenemos por una parte que
(Tf, g)
H
= (g, Tf)
H
= a(u
g
, u
f
) = a(u
f
, u
g
) = (f, Tg)
H
f, g H,
mientras que
(Tf, f)
H
= a(u
f
, u
f
) |u
f
|
2
V
f H.
El operador T es tambien inyectivo puesto que, si Tf = 0, entonces
(f, v)
H
= a(u
f
, v) = 0 v V
y entonces f es ortogonal a V (que es denso en H), de donde f = 0.
Por el teorema 3.8 y la observacion 3.9, el conjunto de los valores propios
de T puede escribirse como una sucesion
m
de n umeros reales positivos
que decrece estrictamente a cero. Consideremos la nueva sucesion
n
, donde
hemos contado cada
m
tantas veces como indica su multiplicidad y pongamos
n
=
1
n
n 1.
Entonces
n
es una sucesion no decreciente de n umeros reales positivos que
tiende a +.
Eligiendo una base ortonormal en cada uno de los espacios N(T
m
Id),
conseguimos una base ortonormal e
n
de H.
Es claro que los e
n
V . En efecto, cada e
n
verica Te
n
=
m
e
n
para alg un
m, con
m
,= 0. Teniendo en cuenta las deniciones de T y de los
n
, obtenemos
ademas que
a(e
n
, v) =
n
a(Te
n
, v) =
n
(e
n
, v)
H
n 1.
Por tanto, para terminar la demostracion del teorema, solo queda probar que
1/2
n
e
n
es una base ortonormal de V para el producto escalar a( , ).
Que los
1/2
n
e
n
son ortonormales para este producto escalar es inmediato.
Por otra parte, si v V y
a(e
n
, v) = 0 n 1,
entonces
(e
n
, v)
H
=
1
n
a(e
n
, v) = 0 n 1,
de donde v = 0. Dicho de otro modo, el subespacio generado por los
1/2
n
e
n
es denso en V para la norma inducida por el producto escalar a( , ). Luego
1/2
n
e
n
es efectivamente una base ortonormal.
En las condiciones del teorema, se suele decir que los
n
son los autovalores
de la forma bilineal a( , ) y que los e
n
son los autovectores o vectores propios
asociados.
3.5.2 Autovalores y autofunciones de un operador elptico
autoadjunto
En todo lo que sigue, a menos que se indique otra cosa, R
N
es un abierto
conexo acotado no vaco. Supondremos dados los coecientes
a
ij
= a
ji
L
() (i, j = 1, . . . , N), c L
()
y utilizaremos la notacion
Lv =
N
i,j=1
i
(a
ij
j
v) +cv. (3.41)
De ahora en adelante, en lo que se reere a las derivadas parciales unicaremos
la notacion, de modo que
z
x
i
,
i
z o D
i
z
puede designar una derivada clasica, una derivada generalizada, una derivada
en H
1
() o incluso una derivada en el sentido de las distribuciones.
Denicion 3.7. Sea R. Se dice que es un autovalor de L en (con
condiciones de Dirichlet) si el problema
_
i,j=1
i
(a
ij
j
u) +cu = u, x ,
u = 0, x ,
(3.42)
posee soluciones debiles no triviales. En tal caso, estas soluciones se llaman
autofunciones asociadas a .
Obviamente, es un autovalor de L en y u es una autofuncion asociada
si y solo si
_
_
_
_
N
i,j=1
a
ij

j
u
i
v +c uv
_
dx =
_
uv dx
v H
1
0
(), u H
1
0
().
(3.43)
Esto explica la terminologa utilizada.
El conjunto de todas las autofunciones correspondientes a un autovalor es
obviamente un subespacio vectorial de L
2
() que se denomina subespacio propio
asociado a .
Observacion 3.10. En contra de lo que puede parecer a primera vista, en (3.43),
u no es necesariamente el mnimo de un funcional cuadratico asociado a L y .
En efecto, puede ocurrir perfectamente que la funcion
v
1
2
_
_
N
i,j=1
a
ij

j
v
i
v + (c ) [v[
2
_
dx
no este acotada inferiormente.
Autovalores y autofunciones de un operador elptico autoadjunto 83
El primer objetivo de esta Seccion es probar que existe una sucesion de
autovalores de L que crece hacia +.
Utilizaremos el resultado siguiente, conocido como teorema de Rellich; para
la demostracion, vease por ejemplo [1]:
Teorema 3.10. Si R
N
es un abierto conexo acotado no vaco, la inyeccion
H
1
0
() L
2
() es compacta.
Como consecuencia, tenemos que (H
1
0
(), L
2
()) es un par de Lions que
cumple las condiciones del teorema 3.9.
Teorema 3.11. Sea L como en (3.41), donde los a
ij
y c verican las condiciones
siguientes:
_
_
a
ij
= a
ji
L
() (i, j = 1, . . . , N),
N
i,j=1
a
ij
(x)
i
j
[[
2
R
N
, c.p.d. en , > 0,
(3.44)
c L
(), c 0 c.p.d. en . (3.45)

1. Los autovalores de L forman una sucesion no decreciente
n
de n umeros
positivos que tiende a +. Ademas, existe una base ortonormal
n
: n
1 de L
2
() formada por autofunciones asociadas. Las correspondientes
1/2
n

n
constituyen una base ortonormal de H
1
0
() para el producto es-
calar a( , ) denido por los a
ij
y c:
a(u, v) =
_
_
N
i,j=1
a
ij

j
u
i
v +c uv
_
dx u, v H
1
0
(). (3.46)
2. Para cada f L
2
(), la solucion debil del problema de Dirichlet
_
i,j=1
i
(a
ij
j
u) +cu = f, x ,
u = 0, x ,
(3.47)
esta dada por
u =
n1
1
n
(f,
n
)
L
2
n
, (3.48)
donde la serie converge en H
1
0
().
Demostracion: Casi todo es inmediato, en virtud de los teoremas 3.9 y 3.10.
Lo unico relativamente nuevo es que debemos probar que, para cada f L
2
(),
la correspondiente solucion debil de (3.47) es (3.48).
Pero esto es consecuencia de las propiedades de las
n
. En efecto, como
1/2
n

n
es una base ortonormal de H
1
0
() para el producto escalar (3.46),
la serie que aparece en (3.48) converge en H
1
0
() hacia la unica funcion u que
verica
a(u,
n
) = (f,
n
)
L
2 n 1, u H
1
0
().
Pero esta es la solucion de (3.47).
Como aplicacion adicional, analizaremos a continuacion la existencia de
pares (u, ) que resuelven el problema
_
i,j=1
i
(a
ij
j
u) +cu = u +f, x ,
u = 0, x ,
(3.49)
donde f L
2
(). Naturalmente, diremos que (u, ) es solucion de (3.49) si se
verica lo siguiente:
_
_
_
_
N
i,j=1
a
ij

j
u
i
v +c uv
_
dx =
_
uv dx +
_
f v dx
v H
1
0
(), (u, ) H
1
0
() R.
(3.50)
Gracias al teorema 2.5, sabemos que, para cada 0, existe una unica u
tal que (u, ) es solucion de (3.49). Cuando > 0, la situacion es mas compleja,
como muestra el resultado siguiente:
Teorema 3.12. Sea R, con > 0.
1. Si no es autovalor de L en , para cada f L
2
() existe una unica
funcion u tal que (u, ) es solucion de (3.49).
2. Por el contrario, si es autovalor de L en , dada f L
2
() existe u tal
que (u, ) es solucion de (3.49) si y solo si
(f, v)
L
2 = 0 v E(),
donde E() es el subespacio propio asociado a . En tal caso, el conjunto
de todas estas u es una variedad afn de L
2
() de espacio soporte E().
La demostracion no es excesivamente complicada, a partir de los teoremas
precedentes y del teorema 3.4 (recuerdese la interpretacion que se dio de la
ecuacion (3.11) tras la demostracion del teorema 3.4).
3.6 Soluciones debiles de problemas de evolucion.
Casos particulares
El teorema 3.11 puede tambien ser aplicado a la resolucion (al menos formal)
de problemas de Cauchy-Dirichlet para las EDPs de evolucion
u
t
+Lu = f
y
u
tt
+Lu = f
Recuerdese que, cuando L = , estamos frente a las EDPs del calor y ondas
N-dimensionales.
Problemas de evolucion 85
Una vez conocidos los autovalores de L, la construccion de la candidata a
soluci on es casi inmediata en ambos casos por el metodo de separacion de va-
riables. De este modo, llegamos a una serie de funciones cuyas propiedades de
convergencia deben ser analizadas en una etapa posterior. Este proceso permite
resolver una gran cantidad de problemas de valores iniciales y de contorno para
las EDPs precedentes.
En esta Seccion, presentaremos brevemente las ideas que hay debajo de este
procedimiento.
As, consideremos el problema
_
_
u
t
Lu = 0, (x, t) (0, T),
u(x, t) = 0, (x, t) (0, T),
u(x, 0) = u
0
(x), x ,
(3.51)
donde L esta dado por (3.41) y u
0
L
2
().
Diremos que u es solucion debil de (3.51) si
u L
2
(0, T; H
1
0
()) C
0
([0, T]; L
2
()),
u( , 0) = u
0
(igualdad en L
2
()) y, para cada v H
1
0
(), la funcion t
(u( , t), v)
L
2 pertenece a H
1
(0, T) y verica
d
dt
(u, v)
L
2 +a(u, v) = 0 (igualdad en L
2
(0, T)),
donde a( , ) es la forma bilineal dada por (3.46).
Es natural buscar la solucion de (3.51) de la forma
u(x, t) =
n1
a
n
e
n
t
n
(x), (3.52)
donde los
n
son los autovalores de L en y las
n
son autofunciones asocia-
das, por comodidad elegidas con norma unidad en L
2
(). En otras palabras, se
supone aqu que
_

n
=
n
, x ,
n
= 0, x
y (
n
,
m
)
L
2 =
nm
para n, m 1.
En efecto, cada uno de los terminos de (3.52) es solucion de la EDP de (3.51)
y verica ademas la condicion de contorno sobre (0, T). Por tanto, parece
razonable tratar de determinar coecientes a
n
tales que la serie de (3.52) posea
buenas propiedades de convergencia y, ademas, la correspondiente funcion u
verique la condicion inicial en (3.51).
Dado que
n
: n 1 es una base ortonormal de L
2
(), tenemos
u
0
=
n1
(u
0
,
n
)
L
2
n
(con convergencia en L
2
()). En consecuencia, si existen unos a
n
tales que la
soluci on de (3.51) puede escribirse como en (3.52), ha de tenerse a
n
= (u
0
,
n
)
L
2
para cada n 1 y la candidata natural a solucion es
u(x, t) =
n1
(u
0
,
n
)
L
2 e
n
t
n
(x). (3.53)
Como hemos dicho antes, para resolver rigurosamente (3.51), es preciso llevar
a cabo ahora un analisis de la convergencia de esta serie.
Ejemplo 3.1. Veamos que ocurre en el caso mas sencillo posible, con = (0, 1),
N = 1 y Lu = u
xx
. El problema es el siguiente:
_
_
_
u
t
u
xx
= 0, (x, t) (0, 1) (0, T),
u(0, t) = u(1, t) = 0, t (0, T),
u(x, 0) = u
0
(x), x (0, 1).
(3.54)
Los pares autofunciones-autovalores son los
(
n
,
n
), con
n

2 sin(nx),
n
= n
2
2
. (3.55)
Por tanto, la candidata a solucion de (3.54) es la funcion
u(x, t) = 2
n1
_
_
1
0
u
0
() sin(n) d
_
e
n
2
2
t
sin(nx). (3.56)
No es difcil comprobar que la serie que aparece en (3.56) posee buenas propiedades
de convergencia y proporciona la unica solucion de (3.54). De hecho, la funcion
precedente posee derivadas parciales continuas de todos los ordenes en el con-
junto [0, 1] (0, T] y, en consecuencia, es solucion de la EDP de (3.54) en el
sentido clasico. Para mas detalles, vease por ejemplo [7].
Consideremos ahora el problema
_
_
u
tt
Lu = 0, (x, t) (0, T),
u(x, t) = 0, (x, t) (0, T),
u(x, 0) = u
0
(x), u
t
(x, 0) = u
1
(x) x ,
(3.57)
donde u
0
H
1
0
() y u
1
L
2
().
Diremos que u es solucion debil de (3.57) si
u C
0
(0, T; H
1
0
()) C
1
([0, T]; L
2
()),
u( , 0) = u
0
y u
t
( , 0) = u
t
(igualdades en H
1
0
() y L
2
(), resp.), para cada
v H
1
0
(), la funcion t (u( , t), v)
L
2 y su derivada pertenecen a H
1
(0, T)
(esto es, podemos hablar de sus derivadas debiles de primer y segundo orden)
y, ademas,
d
2
dt
2
(u, v)
L
2 +a(u, v) = 0.
Esta vez, es natural buscar la solucion de (3.51) de la forma
u(x, t) =
n1
(a
n
cos (
_
n
t) +b
n
sin(
_
n
t))
n
(x), (3.58)
Ejercicios 87
donde hemos conservado la notacion considerada mas arriba.
La explicacion es que cada uno de los sumandos que aparecen en (3.58)
verica la EDP y la condicion de contorno de (3.57). Tenemos que
u
0
=
n1
(u
0
,
n
)
L
2
n
, u
1
=
n1
(u
1
,
n
)
L
2
n
(con convergencia en H
1
0
() y L
2
(), respectivamente).
En consecuencia, si existen unos a
n
y unos b
n
tales que la solucion de (3.57)
puede escribirse como en (3.58), ha de tenerse
a
n
= (u
0
,
n
)
L
2 y b
n
=
1
n
(u
1
,
n
)
L
2 n 1.
La correspondiente candidata a solucion es
u(x, t) =
n1
_
(u
0
,
n
)
L
2cos (
_
n
t) +
1
n
(u
1
,
n
)
L
2 sin(
_
n
t))
_
n
(x).
De nuevo, para resolver rigurosamente (3.57), tendremos que analizar la
convergencia de esta serie.
Ejemplo 3.2. El caso mas sencillo corresponde de nuevo a = (0, 1), N = 1
y Lu = u
xx
. El problema es el siguiente:
_
_
_
u
tt
u
xx
= 0, (x, t) (0, 1) (0, T),
u(0, t) = u(1, t) = 0, t (0, T),
u(x, 0) = u
0
(x), u
t
(x, 0) = u
1
(x), x (0, 1).
(3.59)
Teniendo en cuenta (3.55), obtenemos la expresion siguiente:
u(x, t) = 2
n1
_
_
_
1
0
u
0
() sin(n) d
_
cos (nt)
+
1
n
_
_
1
0
u
0
() sin(n) d
_
sin(nt))
_
sin(nx).
3.7 Ejercicios
E 3.1. Sea X un espacio de Banach. Probar que las tres armaciones siguientes
son equivalentes:
1. X es de dimension nita.
2. La bola unidad B
X
es relativamente compacta.
3. Todo acotado de X es relativamente compacto.
E 3.2. Sea H un espacio de Hilbert separable y sea u
n
: n 1 un sistema
ortonormal de H, i.e. un conjunto numerable con la propiedad siguiente:
(u
n
, u
m
)
H
=
nm
n, m 1.
Probar lo siguiente:
1. Para cada v H, la serie
n1
(v, u
n
)
H
u
n
converge en H hacia un punto
v que verica
( v, u
n
)
H
= (v, u
n
)
H
n 1.
2. Para cada v H, la serie de terminos positivos
n1
[(v, u
n
)
H
[
2
converge
en R y ademas
n1
[(v, u
n
)
H
[
2
|v|
2
H
(desigualdad de Bessel).
n
: n 1 un sistema
ortonormal de H. Probar que las tres armaciones siguientes son equivalentes:
1. u
n
: n 1 es completo, i.e. el subespacio de H generado por los u
n
es
denso en H (se dice tambien que u
n
: n 1 es una base ortonormal).
2. Para cada v H, se tiene que
v =
n1
(v, u
n
)
H
u
n
.
3. Para cada v H, se tiene que
|v|
2
H
=
n1
[(v, u
n
)
H
[
2
(identidad de Parseval).
n
: n 1 un conjunto
de H denso y numerable.
1. Construir un nuevo conjunto v
n
: n 1 denso y numerable con los v
n
linealmente independientes.
2. Supongamos que los z
n
y los w
n
estan dados como sigue:
(a) z
1
= v
1
y w
1
=
1
|z
1
|
H
z
1
.
(b) Dados n 1 y los w
1
, . . . , w
n
,
z
n+1
= v
n+1
i=1
(v
n+1
, w
i
)
H
w
i
, w
n+1
=
1
|z
n+1
|
H
z
n+1
.
Probar que w
n
: n 1 es una base ortonormal de H. El metodo de
construccion de esta base se conoce como procedimiento de Gram-Schmidt.
Ejercicios 89
E 3.5. Sean H y G dos espacios de Hilbert, con G separable y sea T /(H; G),
Probar que existe una sucesion T
n
de operadores T
n
: H G de rango nito
que verican
T
n
T en /(H; G) cuando n +.
Indicacion: Tengase en cuenta que G posee una base ortonormal.
E 3.6. Se considera el operador integral de Volterra V
K
/(L
2
(a, b)), donde
(a, b) es un intervalo acotado y K L
2
((a, b) (a, b)). Probar que V
K

/(L
2
(a, b)).
E 3.7. Hallar el operador adjunto del operador de inyeccion Id : H
1
0
(0, 1)
L
2
(0, 1).
E 3.8. Hallar el operador adjunto del operador derivada generalizada de H
1
0
(0, 1)
en L
2
(0, 1). Hallar el n ucleo y el rango del operador de derivacion y de su ad-
junto. Comprobar las relaciones de ortogonalidad que se tienen entre estos
subespacios.
E 3.9. Sean H un espacio de Hilbert, T /(H) y
c
(T). Probar que se
tiene (3.21).
E 3.10. Se considera el espacio de Hilbert
2
y el operador T :
2

2
, con
T(x
1
, x
2
, . . . ) = 0,
1
x
1
,
2
x
2
, . . . x
1
, x
2
, . . .
2
,
donde
n
:= n
2
. Probar que T esta bien denido y es un operador lineal
compacto. Probar tambien que 0
r
(T).
E 3.11. Sea T : L
2
(0, 1) L
2
(0, 1) el operador denido por
Tf = u u H
1
0
(0, 1),
_
1
0
u
t
v
t
dx =
_
1
0
fv dx v H
1
0
(0, 1).
Probar que T esta bien denido y es un operador lineal compacto. Determinar
(T), V P(T) y los espacios propios asociados. Probar tambien que 0
c
(T).
E 3.12. Se dene el operador T : C
0
([0, 1]) C
0
([0, 1]) como sigue:
(Tv)(t) = v(0) +tv(1) t [0, 1], v C
0
([0, 1]).
Probar que T /(C
0
([0, 1])). Hallar su espectro, sus valores propios y los
espacios propios asociados. En particular, compruebese que 0 V P(T).
E 3.13. Sea T : L
2
(0, 1) L
2
(0, 1), denido por
(T)(t) = t(t) t (0, 1)c.p.d., L
2
(0, 1).
Probar que T /(L
2
(0, 1)) es autoadjunto y no tiene valores propios. Hallar
su espectro.
E 3.14. Se considera el operador T : L
2
(0, 1) L
2
(0, 1), denido por
(T)(t) =
_
1
0
(1 + cos (t) sin(s))(s)ds c.p.d. t [0, 1], L
2
(0, 1).
1. Probar que las ecuaciones (IdT) = 0 y (IdT
) = 0 tienen soluciones
no triviales en L
2
(0, 1).
2. Que condiciones debe vericar f L
2
(0, 1) para que la ecuacion (I
T) = f tenga solucion en L
2
(0, 1) ?
E 3.15. Se considera el operador T : C
0
([1, 1]) C
0
([1, 1]), denido como
(Tv)(t) =
_
1
1
v(s) ds +v(1)t
3
t [1, 1], v C
0
([1, 1]).
1. Demostrar que T /(C
0
([1, 1])) y es compacto.
2. Hallar el espectro y los autovalores de T, as como los espacios propios
asociados y las dimensiones de estos.
Se considera el operador T : C
0
([0, 1]) C
0
([0, 1]), denido como
(Tv)(t) =
_
1
0
v(s) ds t [0, 1], v C
0
([0, 1]).
Probar que T /(C
0
([0, 1])). Hallar su espectro, sus autovalores y los espacios
propios asociados.
2
(0, 1) L
2
(0, 1), denido por
(T)(t) =
_
1
0
K(t, s)(s) ds t (0, 1)c.p.d., L
2
(0, 1),
donde
K(t, s) =
_
t(1 s) si 0 t s 1
s(1 t) si 0 s t 1
Hallar los valores propios de T y los autoespacios asociados.
2
(0, ) L
2
(0, ) denido por
(Tv)(t) =
_

0
K(t, s) v(s) ds, t (0, ) c.p.d., v L
2
(0, ),
donde
K(t, s) =
_
sin t cos s si 0 s t
sin s cos t si 0 t s
1. Probar que T es un operador compacto y autoadjunto en L
2
(0, ).
2. Hallar los valores propios de T y los subespacios asociados.
3. Sea f(t) sin(t/2). Para cada R, discutir la existencia y unicidad de
solucion de
v Tv = f, v L
2
(0, ), R.
2
(, ) L
2
(, ), denido por
(Tv)(t) =
_

(sin s + sin t) v(s) ds t (, ) c.p.d., v L

2
(, ).
Ejercicios 91
1. Demostrar que T satisface las hipotesis del teorema de Hilbert-Schmidt.
2. Hallar el espectro y los autovalores del operador T denido en el apartado
anterior. Determinar los espacios H
n
que se obtienen al aplicar el teorema
de Hilbert-Schmidt.
E 3.19. Probar que (L
2
(), H
1
()), donde L
2
() queda identicado con un
espacio de formas lineales continuas sobre H
1
0
() del modo habitual, es un par
de Lions.
Bibliografa
[1] Adams, R.A. Sobolev spaces. Academic Press, 1975.
[2] Barbu, V. Partial dierential equations and boundary value problems.
Kluwer Academic Publishers, 1998.
[3] Brezis, H. An alisis Funcional. Teora y aplicaciones. Alianza Editorial,
1984.
[4] Ca nada, A. Series y tranformada de Fourier y aplicaciones. Publicaciones
de la Universidad de Granada, 1994.
[5] Casas, E. Introducci on a las ecuaciones en derivadas parciales. Publica-
ciones de la Universidad de Cantabria (Santander), 1992.
[6] Corduneanu, C. Principles of dierential and integral equations. Chelsea
Publishing Company, 1977.
[7] Dautray, R.; Lions, J.L. Analyse Mathematique et Calcul Numerique
pour les sciences et les techniques. Masson, 1985.
[8] Ekeland, I.; T emam, R. Analyse Convexe et Inequations Varationnelles.
Dunod, Gauthiers-Villars, ????.
[9] Gilbarg, D.; Trudinger, N.S.. Elliptic partial dierential equations of
second order, 2nd Ed. Springer-Verlag, 1983.
[10] Hochstadt, H. Integral equations. John Wiley & Sons, 1973.
[11] John, F. Partial dierential equations, 4th Ed. Springer-Verlag, ????.
[12] Kreyszig, E. Introductory Functional Analysis with applications. John
Wiley & Sons, 1978.
[13] Kufner, A. y otros. Function Spaces. Noordho International Publish-
ing, 1977.
[14] Lang, S. Real Analysis. Addison-Wesley, 1969.
[15] Ne cas, J. Les methodes directes en theorie des equations elliptiques. Mas-
son, 1967.
[16] Peral, I. Primer curso de ecuaciones en derivadas parciales. Addison-
Wesley (Universidad Autonoma de Madrid), 1995.
93
94 Bibliografa
[17] Sneddon, I.N. Elements of partial dierential equations, MacGraw & Hill
Book Co. Inc., 1957.
[18] Trenogin, V.A. y otros. Problemas y ejercicios de Analisis Funcional.
Mir, 1987.
[19] Vo Khac Koan, Ecuaciones diferenciales en derivadas parciales. Reverte,
1970.
[20] Weinberger, H.F. Ecuaciones diferenciales en derivadas parciales. Re-
verte, 1970.
[21] Vladimirov, V.S. Recueil de problemes dequations de physique mathe-
matique. Mir, 1976.

ApuntesAFEDP PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

ApuntesAFEDP PDF

Transféré par

Droits d'auteur :

Formats disponibles

AN

(U): interseccion de todos los C

(U) formado por las funciones analticas.

() formado por las funciones de soporte compacto

() formado por las funciones de soporte compacto.

: espacio de las sucesiones acotadas.

(B(0; R)), (x) = 0 para [x[ R , con > 0. (1.11)

:= Px : x . Deducir que, para cada R

/(G; H) que verica

= T, se dice que T es autoadjunto.

/(G; H) que verica (2.2).

/(G; H) para el que

. As pues, la denicion 2.1 es correcta.

lo es. En tal caso, (T

(t, s) := K(s, t). En otras palabras,

es un subespacio cerrado de H, que A

. Es decir, todo punto

, entonces 0 = (Av, v) |v|

Observacion 2.7. Como en el teorema 2.5, sean H un espacio de Hilbert y

= (1, 0)(1, 1). Si existiera

Observacion 2.9. El concepto derivada generalizada en L

una funcion que verica

la funcion denida como sigue:

38 Lax-Milgram y problemas elpticos de segundo orden

Para probar un resultado de existencia y unicidad de solucion debil de (2.48),

Observacion 2.16. En el enunciado del corolario 2.3, se puede sustituir la

Observacion 2.17. Se pueden probar variantes del teorema 2.11 en el espacio

cumple las propiedades

esta bien denida para todo x y verica

v(x) dx. (2.58)

= max(v, 0) (que son medibles y no negativas) poseen integral nita. En

(x) dx. (2.59)

() el subespacio de /() constituido por

() es de nuevo un espacio de Banach.

() son las funciones medibles esencial-

la funcion introducida en la demostracion de la proposicion 2.4. Pongamos

esta bien denida para todo x y verica w

, la bola B(x; ) no corta a K y entonces

= 0 y, en las condiciones del corolario, u T()

Observacion 2.18. Este resultado tambien es cierto cambiando L

Observacion 2.19. El espacio de Banach L

() no es separable. Para una

de funciones de T() tales que

la funcion denida por

T() tal que

los dos conjuntos siguientes:

son dos compactos contenidos en y, usando la proposi-

T() que verica:

y denotemos m() la medida de Lebesgue de .

() de dos funciones de T distintas es siempre 1.

K(x, y) u(y) dy = f(x), x c.p.d.

f : T() R denida como

, con < N/21.

Usese un teorema de prolongacion.

la funcion denida por (2.31)(2.34). Probar

([0, 1]) y es solucion clasica de

((a, b) (a, b)) (p

((a, b) (a, b)), el operador lineal T

((a, b) (a, b)). Como K L

((a, b) (a, b)),

. Esto prueba la primera parte del aptdo. 1.

= N(T), deducimos que N(T)

/(H), podemos aplicar el razonamiento