EDP Apuntes 1 PDF

1
ECUACIONES EN DERIVADAS PARCIALES

Y
ANLISIS FUNCIONAL
Apuntes de la Asignatura
Curso: 2010/11
Jos D. Martn Gmez y Jos Real Anguas

ndice general
1. LAS ECUACIONES DEL CALOR Y DE ONDAS UNIDIMENSIONALES 4

1.1. Definiciones y motivacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2. Las ecuaciones de Laplace, del calor y de ondas . . . . . . . . . . . . . . . . . . . . . . 8
1.3. Problemas de valores iniciales, de contorno, y mixtos. . . . . . . . . . . . . . . . . . . . 9
1.4. Descripcin del mtodo de separacin de variables. . . . . . . . . . . . . . . . . . . . . 10
1.5. Resultados de convergencia para desarrollos en serie de Fourier. . . . . . . . . . . . . . 13
1.6. Aplicacin del mtodo de separacin de variables a la ecuacin del calor unidimensional. 18
1.7. Solucin clsica de los problemas de Cauchy y de Cauchy-Dirichlet para la ecuacin de
ondas unidimensional homognea. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.8. El Principio de Duhamel. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2. EL PROBLEMA DE DIRICHLET PARA LAS ECUACIONES DE LAPLACE Y

DE POISSON 32
2.1. Definiciones y motivacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.2. Identidades de Green. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.3. Principio del mximo dbil. Consecuencias. . . . . . . . . . . . . . . . . . . . . . . . . 33
2.4. Solucin fundamental. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.5. La frmula de representacin de Green: funcin de Green. . . . . . . . . . . . . . . . . 35
2.6. Resolucin del problema (P DL) en una bola. La frmula integral de Poisson. . . . . . 38
2.7. El problema de Dirichlet para la EDP de Poisson: potencial newtoniano. . . . . . . . . 42
3. FORMULACIN VARIACIONAL DEL PROBLEMA DE DIRICHLET PARA EL

LAPLACIANO 45
3.1. Operadores lineales continuos en espacios de Hilbert. Operadores adjuntos. . . . . . . . 45
3.2. Teoremas de la Proyeccin y de Lax-Milgram. . . . . . . . . . . . . . . . . . . . . . . . 47
3.3. Algunos espacios de funciones. Distribuciones. . . . . . . . . . . . . . . . . . . . . . . . 52
3.4. Los espacios de Sobolev H 1 (), H01 () y H 1 (). . . . . . . . . . . . . . . . . . . . . 59
3.5. Solucin dbil del problema de Dirichlet para el Laplaciano. . . . . . . . . . . . . . . . 63
4. TEORA ESPECTRAL DE OPERADORES COMPACTOS 67

4.1. Relaciones de ortogonalidad entre rango y ncleo de un operador y su adjunto . . . . . 67
4.2. Compacidad y operadores compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.3. Teorema de alternativa de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
4.4. Espectro de un operador compacto en espacio de Banach . . . . . . . . . . . . . . . . . 73
4.5. Teorema de Hilbert-Schmidt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
4.6. Aplicacin del Teorema de Hilbert-Schmidt al espectro del laplaciano . . . . . . . . . . 78
2
Ecuaciones en Derivadas Parciales y Anlisis Funcional 3
A. Algunos Resultados de Convergencia 83

A.1. Convergencia uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
A.2. Convergencia uniforme de las series de Fourier . . . . . . . . . . . . . . . . . . . . . . . 83
B. Problemas de Sturm-Liouville 87
B.1. Soluciones de las EDO lineales de segundo rden . . . . . . . . . . . . . . . . . . . . . 87
B.2. Funcin de Green para el problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . 88
B.3. Autovalores y autofunciones del problema de Sturm-Liouville . . . . . . . . . . . . . . 89
B.4. Otras propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
B.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
C. Problema de Cauchy para la ecuacin de ondas 93

C.1. Frmula de Green-Ostrogradski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
C.2. Existencia del problema de Cauchy para la ecuacin de ondas . . . . . . . . . . . . . . 93
D. Integral de Superficie. 95
D.1. Coordenadas esfricas en RN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
D.2. Dominios regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
D.3. Integral de superficie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
E. Complementos sobre Regularizacin de funciones 100

E.1. Particiones de la unidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
E.2. Convolucin de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
E.3. Regularizacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
Captulo 1
LAS ECUACIONES DEL CALOR Y DE

ONDAS UNIDIMENSIONALES
1.1. Definiciones y motivacin

Uno de los objetivos de este Curso es realizar una introduccin al estudio de las Ecuaciones en
Derivadas Parciales (EDP) de segundo orden, y ms concretamente de las EDP lineales de segundo
orden, centrndonos en los representantes cannicos de estas ltimas EDP: las ecuaciones de Laplace
y de Poisson, de ondas, y del calor.
De manera imprecisa, una EDP es una ecuacin en la que la incgnita es una funcin de dos o
ms variables independientes, y tal que en dicha ecuacin aparecen derivadas parciales, respecto de
las variables independientes, de la funcin incgnita. Se denomina orden de una EDP al mayor de los
rdenes de las derivadas parciales que aparecen en la misma. As, por ejemplo, si u = u(x1 , x2 ) es una
funcin incgnita de las dos variables
independientes
x1 y x2 , y F : R 7 R es una funcin dada no
4u
constante, entonces la ecuacin F u + 4 = 0 es una EDP de cuarto orden. Nosotros, como ya se
x1
ha dicho, nos vamos a centrar en las EDP de segundo orden.
Definicin 1.1.1 Sea N un entero mayor que 1. Una EDP de segundo orden en las N variables
independientes x1 , x2 , ..., xN y en la funcin incgnita u = u(x1 , x2 , ..., xN ), es una expresin de la
forma

u u u 2 u 2u 2u
(1.1) F x1 , x2 , ..., xN , u, , , ..., , , ..., , ..., 2 = 0,
x1 x2 xN x21 xi xj xN
2 +2N +1
donde, por fijar ideas, F : U 7 R, con U RN abierto, es una funcin continua dada, es decir,
con la notacin habitual, F C 0 (U).
Observacin 1.1.2 En la definicin precedente, para simplificar la notacin, es costumbre denotar

u u u
x = (x1 , x2 , ..., xN ), u = u(x), u = Du = , , ..., ,
x1 x2 xN
el vector gradiente de u, y
2 2u 2u 2u
D u= , ..., , ..., ,
x21 xi xj x2N
la matriz hessiana de u, y con esta notacin escribir la EDP (1.1) como
(1.2) F (x, u, Du, D2 u) = 0.
4
A diferencia de lo que sucede con las ecuaciones diferenciales ordinarias, no existe una teora general de
las EDP, ni de las EDP de segundo orden. Lo que se puede desarrollar son teoras generales de tipos
de EDP.
El concepto de solucin de una EDP resulta de capital importancia. El anlisis de dicho concepto,
que a primera vista puede parecer evidente, ha dado lugar al desarrollo de nociones de gran importancia
en la actualidad, tales como las Distribuciones, los espacios de Sobolev, etc. Algunas de estas nociones
sern analizadas en la segunda parte de este Curso. Un estudio ms profundo se llevar a cabo en las
asignaturas optativas Ampliacin de Ecuaciones en Derivadas Parciales y Ecuaciones en Derivadas
Parciales de Evolucin.
Por el momento, nos limitamos a introducir el concepto siguiente:
Definicin 1.1.3 Una solucin clsica de (1.2) es cualquier pareja (U, u) tal que
1. U RN es un abierto no vaco,
2. u C 2 (U ),
3. (x, u(x), Du(x), D2 u(x)) U x U,
4. F (x, u(x), Du(x), D2 u(x)) = 0 x U.

Se dice entonces, que u es solucin de (1.2) en el abierto U .
Como ya ha sido dicho, no existe una teora general para las EDP de segundo orden. Adems, no
todas estas ltimas resultan tener el mismo inters; las hay que tienen tan slo un inters puramente
acadmico, mientras que hay otras cuyo inters reside en tener su origen en problemas de la Fsica, de
otra Ciencia de la Naturaleza, o en las Matemticas mismas. Nosotros nos vamos a interesar por las
ms clsicas e importantes de este ltimo tipo de EDP de segundo orden.
A continuacin, introducimos un caso particular muy importante de la EDP (1.2).
Definicin 1.1.4 Una EDP lineal de segundo orden en las variables independientes x = (x1 , ..., xN )
y en la incgnita u, es una EDP de la forma
N
X X N
2u u
(1.3) aij (x) + bi (x) + c(x)u = f (x)
xi xj xi
i,j=1 i=1
donde aij , bi , c y f son funciones dadas en C 0 (), con un abierto de RN . A las funciones aij , bi
y c se las denominan los coeficientes de (1.3), mientras que la funcin f es denominada el trmino
independiente de la ecuacin.
Si f 0, se dice que (1.3) es homognea. Si las funciones aij , bi y c son todas constantes, se dice
que (1.3) es una EDP lineal de segundo orden con coeficientes constantes.
Observacin 1.1.5 En (1.3) siempre supondremos, lo cul no es restrictivo, que aij aji .
Evidentemente, una solucin clsica de (1.3) es cualquier par (U, u) tal que U sea un abierto
no vaco, u C 2 (U ), y
N
X N
2 u(x) X u(x)
aij (x) + bi (x) + c(x)u(x) = f (x) x U.
xi xj xi
i,j=1 i=1
En el caso en que f 0, el conjunto de todas las soluciones clsicas de (1.3) definidas en un mismo
abierto U es, evidentemente, un subespacio vectorial de C 2 (U ), i.e. si u1 , u2 , , uk y c1 , c2 , , ck
P
son soluciones entonces ki=1 ci ui tambin es solucin (Principio de superposicin).
6 Ecuaciones en Derivadas Parciales y Anlisis Funcional
Observacin 1.1.6 Otras dos clases muy importantes de EDP de segundo orden son las semilineales,
que son las de la forma
N
X 2u
(1.4) aij (x) = f (x, u, Du),
xi xj
i,j=1
y las EDPs cuasilineales, cuya forma general es

N
X 2u
(1.5) aij (x, u, Du) = f (x, u, Du).
xi xj
i,j=1
De todas maneras, como ya hemos dicho, nuestro estudio se va a centrar en las ecuaciones de Laplace,
del calor y de ondas, que, como veremos, son tres EDP lineales de segundo orden de coeficientes
constantes.
Al igual que sucede con las Ecuaciones Diferenciales Ordinarias, los problemas que en la prctica se
plantean para las EDP suelen consistir en aadir a la ecuacin una o varias condiciones adicionales que
han de ser satisfechas por la solucin. Como vamos ahora a ver, ya en el caso de las EDP lineales de
segundo orden con coeficientes constantes el comportamiento frente a unas mismas condiciones vara
de una ecuacin a otra.
Supongamos fijada una funcin C 1 (R), y consideremos los problemas
2

2u 2
u u 2

x x = 0 en R ,
x2 x = 0 en R ,

1 2 1 2
(a) u(x1 , 0) = 0 en R, (b) u(x1 , 0) = 0 en R,

u
u
(x1 , 0) = (x1 ) en R, (x1 , 0) = (x1 ) en R,
x2 x2
2 2

u 2u 2
u 2u

+ = 0 en R ,
= 0 en R2 ,
x21 x22 x21 x22
(c) u(x1 , 0) = 0 en R, (d) u(x1 , 0) = 0 en R,

u
u
(x1 , 0) = (x1 ) en R, (x1 , 0) = (x1 ) en R.
x2 x2
En los cuatro problemas nos planteamos hallar una solucin clsica global, es decir, una funcin u
u
C 2 (R2 ) tal que satisfaga las condiciones (denominadas iniciales) u(x1 , 0) = 0 y (x1 , 0) = (x1 )
x2
para todo x1 R, y tambin satisfaga la EDP correspondiente en todo R2 . Analicemos qu sucede en
cada uno de los cuatro problemas.
Problema (a).- Si u es solucin de (a), entonces es inmediato concluir que se ha de tener que
0 (x1 ) = 0 para todo x1 R. Es decir, para que el problema (a) posea solucin clsica global, es
necesario que sea constante, esta condicin es lo que se denomina una condicin de compatibilidad
para el problema (a).
Por otra parte, si c, entonces el problema (a) posee una infinidad de soluciones; as, por
ejemplo, todas las funciones de la forma u(x1 , x2 ) = cx2 + ax22 , con a R arbitrario, son soluciones de
(a).
En resumen, para el problema (a), en caso de existir solucin existen infinitas.
2u u
Problema (b).- Si u es solucin de (b), entonces en particular 2 (x1 , 0) = (x1 , 0), pero
x1 x2
2u
u(x1 , 0) = 0 x1 R = (x1 , 0) = 0 x1 R,
x21
u
con lo que, como se ha satisfacer (x1 , 0) = (x1 ), obtenemos que ha de ser 0.
x2
Es decir, el problema (b) posee solucin si y slo si es idnticamente nula. Obsrvese que la
conclusin en este caso parece natural si se piensa que la EDP en (b) es de primer orden en la variable
x2 , mientras que se estn imponiendo dos condiciones en x2 = 0.
Problema (c).- Si u es solucin de (c), entonces la funcin v(x1 , x2 ) definida por
Z x1 Z x2
u u
v(x1 , x2 ) = (s, 0) ds (x1 , t) dt (x1 , x2 ) R2 ,
0 x 2 0 x 1
v u
pertenece evidentemente a C 1 (R2 ), satisface en R2 , y para todo (x1 , x2 ) R2 ,
x2 x1
Z x2 2
v u u
(x1 , x2 ) = (x1 , 0) (x1 , t) dt =
x1 x2 0 x21
Z x2
u 2u u
= (x1 , 0) + 2 (x1 , t) dt = (x1 , x2 ).
x2 0 x2 x2
As pues, la pareja de funciones u y v satisfacen las ecuaciones de Cauchy-Riemann en todo R2 , lo
que en particular implica que u es una funcin analtica en R2 , y por tanto ha de ser una funcin
analtica en R. En consecuencia, si no es una funcin analtica el problema (c) no posee solucin
clsica.
u
Otra forma de ver que es una funcin analtica en R, consiste en introducir las funciones w1 =
x1
u 1
y w2 = . Evidentemente, w1 y w2 pertenecen a C (R); adems, por la igualdad de las derivadas
x2
w1 w2 w1 w2
cruzadas de u, se tiene que = , en todo R, y por satisfacer u la EDP en (c), = ,
x2 x1 x1 x2
en todo R. Es decir, la pareja de funciones w1 y w2 satisfacen las ecuaciones de Cauchy-Riemann en
todo R2 , lo que implica que w2 es una funcin analtica en R2 , y por tanto, como (x1 ) = w2 (x1 , 0),
en todo R, se deduce que ha de ser una funcin analtica en R. Z
1 x1 +x2
Problema (d).- Es sencillo comprobar que u(x1 , x2 ) = (s) ds es una solucin del
2 x1 x2
problema (d). Ms adelante, en este mismo Captulo, demostraremos que de hecho la solucin as
obtenida es la nica. As pues, para cualquier C 1 (R2 ) el problema (d) posee una y slo una
solucin clsica global.
Observacin 1.1.7 Las ecuaciones que aparecen en los problemas (a) y (d) son esencialmente equi-
valentes, en el sentido de que una puede ser obtenida de la otra mediante un cambio global de variables
independientes. En efecto, si se definen las nuevas variables y1 e y2 mediante las igualdades y1 = x1 +x2
2u 2u
e y2 = x1 x2 , es inmediato comprobar que, en las nuevas variables, la EDP = 0 se
x21 x22
2u
transforma en 4 = 0. El hecho de que, no obstante, los problemas (a) y (d) se porten de manera
y1 y2
diferente, radica en el lugar, la recta x2 = 0, en que se han tomado los datos iniciales.
Hemos visto el comportamiento distinto ante unas mismas condiciones iniciales de los problemas (b), (c)
y (d). De hecho, se puede demostrar que toda EDP lineal, y ms generalmente semilineal, de segundo
orden en dos variables independientes, y con los coeficientes aij constantes, puede ser transformada
mediante un cambio de variables en una EDP ntimamente relacionada con una de las tres ecuaciones
que aparecen en los problemas (b), (c) y (d).
1.2. Las ecuaciones de Laplace, del calor y de ondas

Consideremos las tres EDP siguientes:
(1.6) u(x) = f (x),
2u
(1.7) (x, t) c2 u(x, t) = f (x, t),
t2
u
(1.8) (x, t) u(x, t) = f (x, t),
t
N
X 2u
donde u es el laplaciano de u en las variables x = (x1 , ..., xN ), y viene dado por u = ,
i=1
x2i
siendo N 1, y c en (1.7) es una constante positiva dada.
A (1.6) se le denomina le ecuacin de Poisson, y en el caso particular en que f 0, es conocida
como ecuacin de Laplace. A la ecuacin (1.7) se le denomina la ecuacin de ondas, y a (1.8) se le
denomina le ecuacin del calor. Las tres ecuaciones, al estudio de las cules va a estar dedicada la
primera parte del Curso, pueden ser consideradas representantes cannicos de un gran nmero de EDP
lineales de segundo orden con coeficientes constantes. Adems, lo que es mucho ms importante, las
tres ecuaciones aparecen en problemas fundamentales de la Fsica.
As, la ecuacin de Poisson aparece en Teora de Campos (electrostticos, gravitatorios, etc). La
ecuacin de Laplace, cuando N = 2, aparece tambin en la teora de funciones de variable compleja.
La ecuacin (1.8), para N 3, describe, bajo hiptesis fsicas adecuadas, y tras renormalizacin, la
evolucin de la temperatura u(x, t), en cada instante t y en cada punto x RN , de un cuerpo sometido
a una fuente de calor determinada por f (x, t).
Por otra parte, la ecuacin (1.7) describe en el caso N = 1, y bajo hiptesis fsicas adecuadas, las
pequeas vibraciones de una cuerda elstica. De hecho, en este caso el origen histrico de la ecuacin
reside en el estudio de las vibraciones de la cuerda de un violn. Finalmente, si N = 2 3, la ecuacin
(1.7) describe la propagacin de ondas acsticas o electromagnticas en el vaco.
Las ecuaciones de Laplace y de Poisson son denominadas EDP estacionarias, es decir, que no
dependen de la variable tiempo, mientras que de las ecuaciones de ondas y del calor se dice que son
EDP de evolucin.
Aparte de las tres antes citadas, hay muchas otras EDP que aparecen en la Fsica. As, por ejemplo,
si se estudian fenmenos de propagacin de ondas en un medio fsico no vaco, aparece una EDP que
resulta de aadir en el primer trmino de la ecuacin (1.7) un trmino de rozamiento, obtenindose de
esta forma la ecuacin
2u u
(1.9) 2
c2 u + = f (x, t),
t t
que se conoce con el nombre de ecuacin del telegrafista, y que aproxima bien, por ejemplo, a la
propagacin de ondas de radio en la atmsfera.
Para otros ejemplos de EDP que aparecen en las aplicaciones, se pueden consultar los libros de R.
Dautray y J.L. Lions [3], L.C. Evans [5] y de I. Peral Alonso [13].
1.3. Problemas de valores iniciales, de contorno, y mixtos.

A partir de ahora, usaremos con frecuencia la notacin ut y utt para designar respectivamente a
u 2u
y a 2 . El mismo convenio notacional se usar con ux y uxx cuando x sea unidimensional.
t t
Planteamos a continuacin varios de los tipos de problemas que aparecen en las aplicaciones para
las tres EDP (1.6)-(1.8), algunos de los cules sern estudiados en este Curso.
En primer lugar, citemos los problemas de valores iniciales (o problemas de Cauchy) para las EDP
del calor y de ondas.
a) El problema de valores iniciales para la EDP del calor puede ser formulado como el
problema de hallar una funcin u : RN [0, +) 7 R tal que,
(
ut u = f en RN (0, +),
(P CC)
u(x, 0) = u0 (x) x RN ,
donde f : RN (0, +) 7 R y u0 : RN 7 R, son funciones dadas.

b) El problema de valores iniciales para la EDP de ondas se formula como el problema de
hallar una funcin u : RN [0, +) 7 R tal que,
(
utt c2 u = f en RN (0, +),
(P CO)
u(x, 0) = u0 (x), ut (x, 0) = u1 (x) x RN ,
donde f : RN (0, +) 7 R, u0 : RN 7 R y u1 : RN 7 R, son funciones dadas.

Desde el punto de vista de las aplicaciones, ms que los problemas de valores iniciales, resultan
de gran inters un tipo diferente de problemas. Restringindonos a las tres ecuaciones modelo (las
ecuaciones de Poisson, del calor y de ondas), los problemas por los que vamos a interesarnos primor-
dialmente, son los de contorno (en el caso de la ecuacin de Poisson) y los mixtos, es decir de contorno
y valores iniciales ( en el caso de las ecuaciones del calor y de ondas). Como vamos a ver en algunos
ejemplos, la diferencia entre los dos tipos de problemas viene determinada por la presencia de la variable
tiempo en la ecuacin.
Ejemplos bsicos de estos tipos de problemas son los tres siguientes:
c) El problema de Dirichlet para la ecuacin de Poisson.
En trminos imprecisos, este problema puede formularse como sigue. Dados RN conjunto
abierto acotado de frontera , f : 7 R y g : 7 R, hallar una funcin u : 7 R tal que
(
u = f en ,
(P DP )
u=g sobre .
Precisando ms, y suponiendo f C 0 () y g C 0 (), se define una solucin (clsica) de (P DP )

como cualquier funcin u C 2 () C 0 () tal que u(x) = f (x) x y u(x) = g(x) x .
Con esta nocin de solucin, el problema (P DP ) ser analizado en el tema 2 de este Curso, pero
adelantemos ya que es posible introducir otro concepto ms dbil de solucin; el estudio de (P DP )
con dicho concepto ser iniciado en la segunda parte de esta asignatura.
d) El problema mixto de Cauchy-Dirichlet para la ecuacin del calor..
Tambin en trminos imprecisos, este problema se formula como sigue. Dados RN conjunto
abierto acotado, T (0, +], f : (0, T ) 7 R, g : (0, T ) 7 R y u0 : 7 R, hallar una
funcin u : [0, T ] 7 R tal que

ut u = f en (0, T ),

(P CDC) u = g sobre (0, T ),

u(x, 0) = u0 (x) en .
Existen varias nociones de solucin para el problema (P CDC), y por el momento no introducimos
ninguna de ellas. En este Curso vamos a analizar el caso particular de (P CDC) cuando N = 1 y R
es un intervalo de la forma (0, l). En este caso, dado que (0, l) = {0, l}, el problema (P CDC) suele
escribirse como
ut uxx = f en (0, l) (0, T ),

(P CDC) u(x, 0) = u0 (x) en (0, l),

u(0, t) = (t), u(l, t) = (t), t (0, T ).
Siendo f : (0, l) (0, T ) 7 R, u0 : (0, l) 7 R, : (0, T ) 7 R y : (0, T ) 7 R funciones dadas.
e) El problema mixto de Cauchy-Dirichlet para la ecuacin de ondas.
El problema consiste en, dados los datos , T , f , g y u0 como en el problema (P CDC), ms
u1 : 7 R, y c > 0, hallar una funcin u : [0, T ] 7 R tal que

utt c2 u = f en (0, T ),

(P CDO) u = g sobre (0, T ),

u(x, 0) = u0 (x) ut (x, 0) = u1 (x) en .
Como en el caso anterior, existen varios conceptos posibles de solucin del problema (P CDO), aunque
por ahora no especifiquemos ninguno. En este Curso vamos a analizar el caso particular de (P CDO)
cuando N = 1 y R es un intervalo de la forma (0, l). En cuyo caso, el problema (P CDO) suele
escribirse como

utt c2 uxx = f en (0, l) (0, T ),

(P CDO) u(x, 0) = u0 (x), ut (x, 0) = u1 (x) en (0, l),

u(0, t) = (t), u(l, t) = (t), en (0, T ).
Siendo f : (0, l) (0, T ) 7 R, u0 : (0, l) 7 R, u1 : (0, l) 7 R, : (0, T ) 7 R y : (0, T ) 7 R funciones
dadas.
Recalquemos que el punto clave en el anlisis de los problemas anteriores es el concepto de solucin,
cosa que esperemos que quede clarificada a lo largo del Curso.
Una vez establecido el concepto de solucin, el anlisis de cualquiera de estos problemas pasa
en primera instancia por establecer resultados de existencia y/o unicidad de solucin, dependencia
continua respecto de los datos, etc.
Naturalmente, otro punto importante consiste en establecer mtodos de clculo de las soluciones.
Un mtodo importante de este tipo lo constituye el denominado mtodo de separacin de variables,
que pasamos a describir y aplicar sobre ejemplos sencillos.
1.4. Descripcin del mtodo de separacin de variables.

El mtodo de separacin de variables es, en principio, aplicable a EDP lineales de segundo orden
en dos variables independientes x e y de la forma
a1 (x)uxx + a2 (x)ux + a3 (x)u + b1 (y)uyy + b2 (y)uy + b3 (y)u = 0.
La idea consiste en buscar soluciones de la EDP de la forma X(x)Y (y), es decir, con las variables
separadas, y de tal forma que satisfagan parte de las condiciones (las homogneas de contorno) que
aparezcan junto con la EDP. De esa forma, se suele obtener una sucesin de funciones un (x, y) =
Xn (x)Yn (y), y a partir de ellas se busca la solucin u del problema como una serie de las un . En
ese proceso se obtiene una solucin formal para la que, a posteriori, hay que estudiar en qu sentido
converge, y en qu sentido define una solucin del problema de que se trate.
Precisemos algo ms el sentido del mtodo sobre un ejemplo sencillo. En concreto, consideremos el
siguiente problema de Cauchy-Dirichlet para la ecuacin de ondas unidimensional:

utt uxx = 0 en (0, 1) (0, +),

(1.10) u(x, 0) = u0 (x) ut (x, 0) = 0 en (0, 1),

u(0, t) = u(1, t) = 0 en t > 0,
con u0 : (0, 1) 7 R dada.

La idea del mtodo de separacin de variables para resolver (1.10) consiste en buscar, en primer
lugar, soluciones u C 2 ([0, 1] [0, +)) no idnticamente nulas del problema auxiliar
(
utt uxx = 0 en (0, 1) (0, +),
(1.11)
u(0, t) = u(1, t) = 0 en t > 0.
Obsrvese que el conjunto de todas las soluciones u C 2 ([0, 1] [0, +)) de (1.11) constituye un
subespacio vectorial de C 2 ([0, 1] [0, +)). En consecuencia, cualquier combinacin lineal finita de
soluciones de (1.11) es tambin solucin de (1.11).
Para buscar soluciones no nulas de (1.11), se separan las variables, y se buscan que sean de la forma
u(x, t) = X(x)T (t), con X C 2 ([0, 1]) y T C 2 ([0, +)) no nulas.
Si exigimos que u satisfaga la EDP, obtenemos X 00 T = X T, as que para ello basta que
X 00 T
= = ,
X T
con constante.
Para que se satisfaga u(0, t) = u(1, t) = 0, basta exigir X(0) = X(1) = 0. En consecuencia, se
plantea el problema de autovalores
(
X 00 = X, en (0, 1),
(1.12)
X(0) = X(1) = 0.
Es decir, buscamos los valores R para los que (1.12) tiene solucin X no idnticamente nula. Es
inmediato comprobar que este es el caso si y slo si = n2 2 con n = 1, 2, ..., y para = n2 2
cualquier solucin de (1.12) es un mltiplo de Xn (x) = sen nx.
Por otra parte, para = n2 2 , la ecuacin diferencial ordinaria Tn = n2 2 Tn tiene por solucin
general Tn (t) = An cos nt + Bn sen nt.
Recordemos que cualquier combinacin lineal finita de soluciones de (1.11) es tambin solucin de
(1.11). En consecuencia, para todo entero m 1, la funcin
m
X
um (x, t) = (An cos nt + Bn sen nt) sen nx,
n=1
con An y Bn constantes arbitrarias, es solucin de (1.11). Por ello, se busca una solucin de (1.10) de
la forma
X
u(x, t) = (An cos nt + Bn sen nt) sen nx,
n=1
a la que se imponen las condiciones u(x, 0) = u0 (x) y ut (x, 0) = 0. En primer lugar, derivando de
manera formal trmino a trmino en la serie precedente, se obtiene

X
ut (x, t) = (nAn sen nt + nBn cos nt) sen nx,
n=1
con lo que imponiendo la condicin ut (x, 0) = 0, e identificando coeficientes, se obtiene
Bn = 0 n 1.
En consecuencia, se obtiene como solucin (en principio formal)

X
(1.13) u(x, t) = An cos nt sen nx,
n=1
a la que ahora imponemos la condicin u(x, 0) = u0 (x), es decir,

X
(1.14) u0 (x) = An sen nx, x (0, 1).
n=1
Si u0 es una combinacin lineal finita de funciones sen nx, es decir, si u0 es de la forma

m
X
u0 (x) = n sen nx,
n=1
con n R constantes dadas, la condicin (1.14) conduce a An = n , si 1 n m, y An = 0, si

n > m, y en consecuencia, en este caso, la solucin formal dada por (1.13) pasa a ser
m
X
u(x, t) = n cos nt sen nx,
n=1
funcin que resulta inmediato comprobar que es una solucin (clsica) de (1.10), en el sentido de que
pertenece a C 2 ([0, 1] [0, +)), satisface la ecuacin de ondas en todo punto de [0, 1] [0, +), y
satisface u(x, 0) = u0 (x) y ut (x, 0) = 0 x [0, 1], y u(0, t) = u(1, t) = 0 t [0, +).
La situacin no es siempre tan favorable. Si u0 no es una combinacin lineal finita de funciones
sen nx, pero pertenece a L2 (0, 1), entonces, como veremos ms adelante, es desarrollable en serie de
Fourier de senos en el intervalo [0, 1], es decir, si denotamos
Z 1

(1.15) An = 2 u0 (x) sen nx dx, n 1,
0
entonces

X
u0 (x) = An sen nx,
n=1
con la serie convergiendo a u0 enL2 (0, 1).

En consecuencia, (1.13) y (1.14) nos conducen a que An = An
para todo n 1, y por tanto obtenemos como solucin formal de (1.10),

X
(1.16) u(x, t) = An cos nt sen nx,
n=1
con los An dados por (1.15).

Como ejemplo, consideremos el problema (1.10) en el caso en que u0 (x) = x(1 x). En tal caso,
calculando los coeficientes An dados por (1.15), obtenemos como solucin formal de (1.10)

4 X 1 (1)n
(1.17) u(x, t) = 3 sen nx cos nt.
n3
n=1
Es inmediato comprobar aplicando el criterio M de Weierstrass que la serie que aparece en (1.17)
converge absoluta y uniformemente en R2 , y que de hecho la funcin u definida por (1.17) pertenece
a C 1 (R2 ). Pero u no puede ser solucin de (1.10) en el sentido de pertenecer a C 2 ([0, 1] [0, +)) y
satisfacer la EDP, las condiciones iniciales y las condiciones de contorno de (1.10), ya que en tal caso,
en particular se habra de satisfacer uxx (0, 0) = utt (0, 0); pero si u(x, 0) = x(1 x) para todo x [0, 1]
y u(0, t) = 0 para todo t 0, entonces uxx (0, 0) = 2 y utt (0, 0) = 0.
De hecho, la funcin u definida por (1.17) tampoco pertenece a C 2 ((0, 1) (0, +)). En efecto,
consideremos la funcin v(y) dada por

4 X 1 (1)n
(1.18) v(y) = 3 sen ny y R.
n3
n=1
Es inmediato que v C 1 (R), es impar, es decir, v(y) = v(y) para todo y R, y es 2-peridica, es
decir, v(y + 2) = v(y) para todo y R. Adems, de los resultados del prximo apartado sobre series
de Fourier, v(y) = y(1 y) para todo y [0, 1].
De la identidad
sen n(x + t) + sen n(x t) = 2 sen nx cos nt,
es inmediato que la funcin u definida por (1.17) viene dada por
1
(1.19) u(x, t) = (v(x + t) + v(x t)) (x, t) R2 .
2
Es sencillo comprobar que la funcin v(y) es C salvo en los puntos y = m con m entero, en los cuales
la derivada segunda de v tiene un salto de valor absoluto cuatro. En consecuencia, podemos afirmar
que la funcin u es de clase C 2 (de hecho C ) salvo en los puntos (x, t) de las rectas x + t = m y
x t = m, con m entero, puntos en los que uxx y utt no existen. Ahora bien, en los restantes puntos
del plano u satisface la ecuacin utt uxx = 0, es decir u satisface la ecuacin de ondas bidimensional
homognea salvo en un conjunto de medida Lebesgue en R2 nula. Adems, es evidente que u satisface
las condiciones iniciales y de contorno del correspondiente problema (1.10). En resumen, la funcin u
definida por (1.17) es solucin del problema (1.10) con dato inicial u0 (x) = x(1 x), en un sentido
generalizado.
1.5. Resultados de convergencia para desarrollos en serie de Fourier.

Como paso previo a la aplicacin del mtodo de separacin de variables a la ecuacin del calor
unidimensional, recordamos algunos resultados referentes a las series de Fourier. Estas series, aunque
ya fueron utilizadas por J. Bernoulli y L. Euler para el anlisis del problema de la cuerda vibrante,
deben su nombre a J. Fourier, que en su Thorie Analytique de la Chaleur (1822) las introdujo para
el estudio de problemas de difusin del calor.
En primer lugar, recordamos que el conjunto de funciones

1 1 1
(1.20) , cos nx, sen nx, n 1
2
constituye una base ortonormal de L2 (, ), y en consecuencia, dada f L2 (, ), si denotamos

Z
1
(1.21) an = f (t) cos nt dt n 0,

Z
1
(1.22) bn = f (t) sen nt dt n 1,

entonces la serie

a0 X
(1.23) + (an cos nx + bn sen nx) ,
2
n=1
que denominaremos serie de Fourier de f respecto de la base dada por (1.20), converge a f en L2 (, ),
es decir, si para cada entero m 1 denotamos por sm a la funcin
m
a0 X
sm (x) = + (an cos nx + bn sen nx) ,
2
n=1
se satisface Z
lm |f (x) sm (x)|2 dx = 0.
m
Dado ahora un intervalo cerrado y acotado [a, b] R, mediante el cambio de variables

2(s a)
x= ,
ba
que transforma de manera biyectiva [a, b] en [, ], es posible obtener una base ortonormal numerable
de L2 (a, b) a partir de (1.20). En concreto, si denotamos

2(s a)
n (s) = cos n

ba
n 0,
(1.24)

2(s a)
n (s) = sen n
n 1.
ba
entonces para cada f L2 (a, b) la serie

A0 X
(1.25) + (An n (s) + Bn n (s)) ,
2
n=1
con
Z b

2

An = f ()n () d n 0,
ba a
(1.26) Z

2 b

Bn = f ()n () d n 1,
ba a
converge a f en L2 (a, b).

Recordemos que si f L2 (a, b), y An y Bn vienen dadas por (1.26), entonces se satisface la identidad
de Parseval
Z b
2 A2 X 2
(1.27) f 2 (s) ds = 0 + An + Bn2 ,
ba a 2
n=1

X 2
en consecuencia An + Bn2 < +, y en particular lm An = lm Bn = 0.
n n
n=1
Observacin 1.5.1 En el caso particular en que [a, b] = [l, l] con l > 0, las expresiones (1.25) y
(1.26) adoptan la forma
A0 X ns ns

(1.28) + An cos + Bn sen ,
2 l l
n=1
y
Z n

1 l

An = f () cos d n 0,
l l l
(1.29) Z n

1 l

Bn = f () sen d n 1,
l l l
con la serie (1.28) convergente a f en L2 (l, l).

Si f L2 (l, l) es una funcin par, es decir, si f (s) = f (s) c.p.d. en (l, l), entonces Bn = 0
para todo n 1. Anlogamente, si f L2 (l, l) es una funcin impar, es decir, si f (s) = f (s)
c.p.d. en (l, l), entonces An = 0 para todo n 0. En consecuencia, dada una funcin f L2 (0, l),
considerando fimpar , la prolongacin impar de f a (l, l), y fpar , la prolongacin par de f a (l, l),
podemos hablar de desarrollos en senos o en cosenos de f . Es decir, si f L2 (0, l) y denotamos
Z n

2 l
A
n = f () cos d n 0,
l 0 l
(1.30) Z n

2 l

Bn = f () sen d n 1,
l 0 l
entonces las series
A0 X
ns
(1.31) + An cos
2 l
n=1
y

X ns
(1.32) Bn sen
l
n=1
convergen ambas a f en L2 (0, l), ya que la serie definida por (1.31) converge a fp , y la serie definida
por (1.32) converge a fimp , en ambos casos en L2 (l, l).
Volviendo al caso general de un intervalo [a, b] R, exponemos a continuacin un criterio sencillo

que garantiza la convergencia absoluta y uniforme, en todo [a, b], de la serie (1.25) a f .
Teorema 1.5.2 Sea f C 0 [a, b] tal que f (a) = f (b), y supongamos que existe una funcin g perteneciente
a L2 (a, b) tal que
Z s
(1.33) f (s) = f (a) + g() d s [a, b].
a
Bajo estas condiciones, la serie de Fourier dada por (1.25) converge absoluta y uniformemente a f en
el intervalo [a, b].
Demostracin.- Sea f en las condiciones del teorema. Basta demostrar que la serie (1.25) converge
absoluta y uniformemente en el intervalo [a, b], ya que en tal caso (5,6) converge en C 0 [a, b] a una
funcin f, pero como la convergencia de sucesiones en C 0 [a, b] implica la convergencia en L2 (a, b),
forzosamente f f .
Para demostrar que la serie (1.25) converge absoluta y uniformemente en el intervalo [a, b], de
acuerdo con el criterio M de Weierstrass, y teniendo en cuenta que para todo n 1 se satisface que
|An n (s) + Bn (s)| |An | + |Bn |, basta demostrar que

X
(1.34) (|An | + |Bn |) < +,
n=1
con An y Bn dadas por (1.26).

Para comprobar (1.34), denotemos por A0n y Bn0 los coeficientes del desarrollo (1.25) correspondiente
a la funcin g que aparece en la hiptesis (1.33), es decir:
Z b

0 2

An = b a g()n () d n 0
a
(1.35) Z b

2

Bn =0 g()n () d n 1.
ba a
Por la identidad de Parseval, en particular se tiene

X 0 2
(1.36) |An | + |Bn0 |2 < +,
n=1
Como f (a) = f (b), obviamente se satisface

Z b
(1.37) g() d = 0.
a
Para cada n 1 se tiene

Z b Z b Z
2 2
An = f ()n () d = f (a) + g( ) d n () d,
ba a ba a a
con lo que teniendo en cuenta que por la definicin de n dicha funcin tiene integral cero en [a, b], se
obtiene Z b Z
2
An = g( ) d n () d.
ba a a
Aplicando el teorema de Fubini a esta ltima igualdad, se tiene
Z b Z b
2
(1.38) An = n () d g( ) d.
ba a
Teniendo en cuenta que

Z b =b
ba
n () d = n () ,
2n =
y n (b) = 0, es inmediato que de (1.38) se obtiene
ba 0
(1.39) An = B n 1.
2n n
Anlogamente, es fcil obtener que

Z b Z b
2
(1.40) Bn = n () d g( ) d.
ba a
Como Z =b
b
ba
n () d = n () ,
2n =
y teniendo en cuenta (1.37), de (1.40) se obtiene
ba 0
(1.41) Bn = A n 1.
2n n
Como consecuencia de (1.39) y (1.41), se tiene para cada n 1

ba1 0 ba 1 0 2
|An | = 2 n |Bn |

4 n2
+ (Bn )
(1.42)

ba1 0 ba 1

|Bn | = |A | 0 2
+ (An )
2 n n 4 n2
con lo que (1.34) resulta evidente.
Observacin 1.5.3 Toda f C 1 [a, b], o ms generalmente toda f de clase 1 a trozos en [a, b] (es
decir, tal que f C 0 [a, b] y existe una particin finita {a = s0 < s1 < ... < sn = b} del intervalo [a, b]
tal que f C 1 [si1 , si ] para todo i = 1, ..., n) satisface la hiptesis (1.33) del Teorema 1.5.2.
La funcin g en (1.33) es la derivada casi por doquier de f . La condicin (1.33) impuesta sobre
f en el Teorema 1.5.2 se traduce, en el lenguaje de los espacios de Sobolev que se estudiarn en el
Captulo 3 de esta asignatura, en la pertenencia de f a lo que se denotar el espacio H 1 (a, b).
Es fcil obtener, como consecuencia del Teorema 1.5.2, el siguiente resultado:
Teorema 1.5.4 Sea f C 0 [0, l] tal que existe una funcin g L2 (0, l) satisfaciendo
Z s
(1.43) f (s) = f (0) + g() d s [0, l].
0
Bajo estas condiciones, se tiene:
1. El desarrollo en cosenos de f determinado por (1.31) converge absoluta y uniformemente a f en

el intervalo [0, l].
2. Si adems f (0) = f (l) = 0, entonces el desarrollo en senos de f determinado por (1.32) tambin
converge absoluta y uniformemente a f en el intervalo [0, l].
Demostracin.- 1. Si consideramos fpar definida por fpar (s) = f (s) si s [0, l], y fpar (s) = f (s) si
s [l, 0], la prolongacin par de f a [l, l], es inmediato que fpar C 0 [l, l], y que fpar (l) = fpar (l).
Adems, es sencillo comprobar a partir de (1.43), que para todo s [l, l] se satisface
Z s
fpar (s) = fpar (l) + gimpar ( ) d,
l
con gimpar la prolongacin impar de g a (l, l), funcin que pertenece a L2 (l, l). En consecuencia, por
el Teorema 1.5.2, el desarrollo en serie de Fourier de fpar en (l, l) converge absoluta y uniformemente
a fpar en [l, l], con lo que, en particular, el desarrollo en cosenos de f determinado por (1.31), converge
absoluta y uniformemente a f en el intervalo [0, l].
2. Anlogamente, si consideramos fimpar definida por fimpar (s) = f (s) si s [0, l], y fimpar (s) =
f (s) si s [l, 0], la prolongacin impar de f a [l, l], es inmediato que, si f (0) = 0, entonces
fimpar C 0 [l, l], y que, si f (l) = 0, entonces fimpar (l) = fimpar (l). Adems, es sencillo comprobar
a partir de (1.43), que si f (0) = f (l) = 0, para todo s [l, l] se satisface
Z s
fimpar (s) = fimpar (l) + gpar ( ) d,
l
con gpar la prolongacin par de g a (l, l), funcin que pertenece a L2 (l, l). En consecuencia, en esas
circunstancias, por el Teorema 1.5.2, el desarrollo en serie de Fourier de fimpar en (l, l), converge
absoluta y uniformemente a fimpar en [l, l], con lo que, en particular, el desarrollo en senos de f
determinado por (1.32), converge absoluta y uniformemente a f en el intervalo [0, l].
1.6. Aplicacin del mtodo de separacin de variables a la ecuacin

del calor unidimensional.
Consideremos el problema mixto de Cauchy-Dirichlet para la ecuacin del calor unidimensional
homognea

ut uxx = 0 en (0, l) (0, +),

(1.44) u(x, 0) = u0 (x) en (0, l),

u(0, t) = u(l, t) = 0 en t > 0,
donde l (0, +) y u0 : (0, l) 7 R estn dados.
Aplicando separacin de variables, se buscan en primer lugar soluciones no nulas de la ecuacin
del calor homognea que sean de la forma X(x)T (t), y tales que X(0) = X(l) = 0. Ello conduce a la
ecuacin T = T , y al problema de contorno
( 00
X = X en (0, l),
(1.45)
X(0) = X(l) = 0.
Para que el problema de contorno posea solucin no nula, es inmediato deducir que ha de ser de
n 2 nx
la forma n = , n = 1, 2, .., con Xn (x) = sen . Para cada uno de los n , la solucin
l l
n 2
general de T = n T viene dada por Tn (t) = cn exp t , y en consecuencia se busca una
l
solucin de (1.44) de la forma

X 2
nx
(1.46) u(x, t) = cn e(n/l) t sen ,
l
n=1
donde para la determinacin de los cn , partiendo de la condicin u(x, 0) = u0 (x), y suponiendo u0

L2 (0, l), se tiene
Z ns
2 l
(1.47) cn = u0 (s) sen ds n 1.
l 0 l
Es decir, los cn son los coeficientes del desarrollo en serie de senos en (0, l) de la funcin u0 .
De hecho, para el problema (1.44) se tiene el siguiente resultado:
Teorema 1.6.1 Si u0 L2 (0, l), la igualdad (1.46), con los coeficientes cn dados por (1.47), define
una funcin u = u(x, t) tal que
u C (R (0, +)),
y es solucin del problema (1.44) en el sentido de que satisface la ecuacin ut uxx = 0 en cada punto
de [0, l] (0, +), u(0, t) = u(l, t) = 0 para todo t > 0, y
(1.48) lm ku(, t) u0 kL2 (0,l) = 0.

t0
Adems, si u0 C 0 ([0, l]), u0 (0) = u0 (l) = 0, y existe v0 L2 (0, l) tal que

Z x
u0 (x) = v0 (s) ds x [0, l],
0
entonces
(1.49) u C 0 (R [0, +)),
y, en particular, u(x, 0) = u0 (x) para todo x [0, l].
Demostracin.- Sea u0 L2 (0, l). Fijado > 0, si t entonces

nx
(n/l)2 t 2
cn e sen |cn |e(n/l) x R.
l
Como lm cn = 0, es inmediato de la desigualdad anterior que existe una constante C > 0 tal que
n
nx
(n/l)2 t 2
(1.50) cn e sen Ce(n/l) (x, t) R [, +) n 1.
l
De manera anloga, se puede comprobar que cualquier derivada parcial de un trmino genrico de los
que constituyen la serie que define a u admite una cota similar, en concreto, dado = (1 , 2 ) Z2+ ,
existe una constante C > 0 tal que
+ nx
1 2 2t
(1.51) 1 2 cn e (n/l)
sen C n1 +22 e(n/l)2 (x, t) R [, +) n 1.
x t l
Estas desigualdades, junto con el criterio M de Weierstrass,implican, teniendo en cuenta que para todo
> 0 y todo (1 , 2 ) Z2+
X
2
n1 +22 e(n/l) < +,
n=1
que u C (R [, +)) para todo > 0, y en consecuencia u C (R (0, +)), y cualquier

derivada de u en R (0, +) se obtiene derivando trmino a trmino la serie que la define.
Con esto, por construccin, es inmediato que ut uxx = 0 en R (0, +), y u(0, t) = u(l, t) = 0
para todo t > 0.
Para demostrar (1.48), denotemos para cada entero m 1 y cada t 0 por sm (t) a la funcin de
la variable x definida por
m
X 2
nx
sm (t)(x) = cn e(n/l) t sen
l
n=1
Por construccin,
lm ksm (0) u0 kL2 (0,l) = 0 y lm ksm (t) u(, t)kL2 (0,l) = 0 t > 0.
m m
Consideremos fijado > 0. Tomemos un entero m 1 tal que ksm (0) u0 kL2 (0,l) . De esta forma,
tenemos
X nx 2
l X 2

ksm (0) u0 k2L2 (0,l) = cn sen = cn 2 ,
l 2
n=m +1 L2 (0,l) n=m +1
y por tanto,
X nx 2
(n/l)2 t
ksm (t) u(, t)k2L2 (0,l) = cn e sen =
l
n=m +1 L2 (0,l)

X
l 2
= c2n e2(n/l) t 2 t > 0.
2
n=m +1
En consecuencia, obtenemos
(1.52) ku(, t) u0 kL2 (0,l) 2 + ksm (t) sm (0)kL2 (0,l) t > 0.
Pero
m
X nx 2
2
ksm (t) sm (0)k2L2 (0,l) = cn e(n/l) t 1 sen 2 =
l L (0,l)
n=1
l
m
X 2
2
= c2n e(n/l) t 1 t > 0,
2
n=1

X
con lo que, denotando d = c2n < +, resulta
n=1
m 2
2 dl X 2
(1.53) ksm (t) sm (0)k L2 (0,l) e(n/l) t 1 t > 0.
2
n=1
De las desigualdades (1.52) y (1.53), haciendo t 0, se obtiene
(1.54) lm sup ku(, t) u0 kL2 (0,l) 2.

t0
Basta ahora tener en cuenta que el > 0 en la desigualdad (1.54) es arbitrario, con lo que se obtiene
(1.48).
Finalmente, si u0 C 0 ([0, l]), u0 (0) = u0 (l) = 0, y existe v0 L2 (0, l) tal que
Z x
u0 (x) = v0 (s) ds x [0, l],
0
entonces sabemos que los cn vienen dados por

Z l ns
2
cn = v0 (s) cos ds,
n 0 l
y en consecuencia
Z 2 !
1 1 l ns
(1.55) |cn | + v0 (s) cos ds n 1.
n2 0 l
Dado que nx
(n/l)2 t
cn e sen |cn | t 0,
l
de (1.55) se obtiene de manera inmediata (1.49).
Observacin 1.6.2 Es fcil comprobar que si u0 C 2 ([0, l]), u0 (0) = u0 (l) = u000 (0) = u000 (l) = 0, y
existe v0 L2 (0, l) tal que Z x
u000 (x) = v0 (s) ds x [0, l],
0
entonces la solucin u del problema (1.44) definida por (1.46) y (1.47) satisface
(6,12) ut , uxx C 0 (R [0, +)).
Observacin 1.6.3 Aunque el dato inicial u0 sea irregular, la solucin u del problema (1.44) definida
por (1.46) y (1.47) pertenece a C (R (0, +)). En este sentido, se dice que la ecuacin del calor
posee un efecto regularizante. Tal efecto diferencia a la ecuacin del calor de la de ondas; de hecho,
la primera describe fenmenos irreversibles en tiempo, mientras que en la ecuacin de ondas el cambio
t por t no altera la ecuacin.
Obsrvese tambin que, de la expresin de u, si t > > 0 entonces
X
X
2 2 2 2
|u(t, x)| d e(n/l) t = de(/l) t e(/l) (1n )t
n=1 n=1

(/l)2 t X 2 2 2
de e(/l) (1n ) C e(/l) t ,
n=1
y por consiguiente, |u(t, x)| decae a cero cuando t + de manera exponencial uniformemente en
la variable x. Es decir, el calor se difunde y la temperatura decae exponencialmente a cero cuando el
tiempo tiende al infinito.
Observacin 1.6.4 Junto al resultado de existencia de solucin para el problema (1.44) que supone
el Teorema 1.6.1, tambin se puede obtener el siguiente resultado de unicidad:
Teorema 1.6.5 Sea u C 0 ([0, l] (0, +)) tal que existen las derivadas parciales ut , ux y uxx y
tambin pertenecen a C 0 ([0, l] (0, +)). Supongamos que ut uxx en [0, l] (0, +), que u(0, t) =
u(l, t) = 0 para todo t > 0, y que lm ku(, t)kL2 (0,l) = 0. Bajo las condiciones precedentes, forzosamente
t0
u 0 en [0, l] (0, +).
Demostracin.- Basta considerar la funcin E(t) definida por

Z l
1
E(t) = u2 (x, t) dx t > 0.
2 0
Derivando E(t) se puede ver que dicha funcin es no creciente, y concluir que es idnticamente nula.
Los detalles se dejan como ejercicio.
Observacin 1.6.6 Es posible analizar tambin por el mtodo de separacin de variables un problema
de Cauchy-Dirichlet para la ecuacin del calor unidimensional no homognea de la forma

ut uxx = f (x, t) en (0, l) (0, T ),

(1.56) u(x, 0) = u0 (x) en (0, l),

u(0, t) = u(l, t) = 0 en (0, T ).
En este caso, se busca solucin de la forma

X nx
u(x, t) = an (t) sen
l
n=1
(vase [2] para los detalles).

En los ejercicios estudiaremos ejemplos de ste y otros problemas de tipo mixto para la ecuacin
del calor unidimensional.
En particular, si se pretende resolver un problema con condiciones no homogneas de la forma

ut uxx = 0 en (0, l) (0, T ),

(1.57) u(x, 0) = u0 (x) en (0, l),

u(0, t) = (t), u(l, t) = (t) en (0, T ),
basta hacer el cambio de funcin incgnita

x
v(x, t) = u(x, t) (t) ((t) (t)),
l
para obtener un problema de la forma (1.56) en la incgnita v.
Observacin 1.6.7 En los ejercicios haremos uso del mtodo de separacin de variables para la res-
olucin de algunos problemas de contorno o mixtos referentes a, entre otras, las ecuaciones de Laplace
bidimensional y de ondas unidimensional. Para un estudio ms terico de estos temas, se pueden con-
sultar [2] y [3].
1.7. Solucin clsica de los problemas de Cauchy y de Cauchy-Dirichlet

para la ecuacin de ondas unidimensional homognea.
Hasta ahora, hemos hecho uso del mtodo de separacin de variables para analizar un ejemplo de
problema de Cauchy-Dirichlet para la ecuacin de ondas unidimensional. En dicho ejemplo, obtenamos
una solucin que no era C 2 en todo el dominio de definicin del problema. Ahora, en este pargrafo,
nos vamos a restringir al estudio de la existencia y unicidad de soluciones clsicas de los problemas, es
decir C 2 en todo el dominio de definicin del problema.
En primer lugar, consideramos el problema de Cauchy (o de valores iniciales) para la ecuacin de
ondas unidimensional homognea:
(
utt c2 uxx = 0, (x, t) R2 ,
(P COh )
(x, 0) = f (x), ut (x, 0) = g(x), x R,
donde c > 0, f : R R y g : R R son datos del problema (a partir de ahora, cambiamos la notacin
que hemos empleado, sustituyendo u0 por f , y u1 por g).
Definicin 1.7.1 Una solucin clsica de (P COh ) es cualquier funcin u C 2 (R2 ) tal que utt (x, t) =
c2 uxx (x, t) (x, t) R2 , u(x, 0) = f (x) x R y ut (x, 0) = g(x) x R.
Es evidente que para que exista solucin clsica de (P COh ) es necesario que f C 2 (R) y g C 1 (R).
De hecho, estas dos condiciones son tambin suficientes, ya que se tiene el siguiente resultado:
Teorema 1.7.2 Si f C 2 (R) y g C 1 (R), el problema (P COh ) posee una y slo una solucin clsica
u, que viene determinada por
Z x+ct
1 1
(1.58) u(x, t) = (f (x + ct) + f (x ct)) + g(s) ds (x, t) R2 .
2 2c xct
A la igualdad (1.58) se le denomina frmula de dAlembert.
Demostracin.- Considerando el cambio de variables independientes determinado por = x + ct y

= x ct, es inmediato comprobar que u C 2 (R2 ) satisface utt c2 uxx = 0 en R2 , si y slo si, la
funcin v = v(, ), definida por
+
v(, ) = u( , ),
2 2c
satisface la ecuacin v = 0 en todo R2 . En consecuencia, u C 2 (R2 ) satisface utt c2 uxx = 0 en R2
si y slo si es de la forma
(1.59) u(x, t) = F (x + ct) + G(x ct) (x, t) R2 ,
con F y G funciones de C 2 (R).

Evidentemente, la funcin u dada por (1.58) pertenece a C 2 (R2 ) y es de la forma (1.59). Adems,
es inmediato comprobar que satisface las condiciones iniciales en todo punto x R. Para terminar con
la demostracin del teorema, basta comprobar que la funcin u dada por (1.58) es la nica funcin de
la forma (1.59) que satisface las condiciones iniciales en todo punto de R.
En efecto, si u es una funcin de la forma (1.59), con F y G funciones de C 2 (R), y u(x, 0) = f (x)
y ut (x, 0) = g(x) en todo punto x de R, entonces

F (x) + G(x) = f (x) x R,
F 0 (x) G0 (x) = 1 g(x) x R.
c
As pues, se ha de satisfacer

0 1 0 1
F (x) = f (x) + g(x) x R,
2 c
con lo que F ha de ser de la forma

Z x
1 1
F (x) = f (x) + g(s) ds + k x R,
2 2c 0
con k R, y por tanto G ha de ser

Z x
1 1
G(x) = f (x) F (x) = f (x) g(s) ds k x R.
2 2c 0
Llevando a (1.59) las expresiones obtenidas para F y G, obtenemos (1.58).
Observacin 1.7.3 La frmula de dAlembert nos indica que la ecuacin de ondas unidimensional
no mejora la regularidad de los datos iniciales f y g, es decir, no posee el efecto regularizante de la
ecuacin del calor unidimensional. Lo nico que se puede afirmar sobre la solucin clsica de (P COh )
es que, para todo entero m 2, si f C m (R) y g C m1 (R), entonces u C m (R2 ).
Observacin 1.7.4 El problema (P COh ) posee la propiedad de dependencia continua, en el sentido

de la convergencia uniforme sobre compactos, respecto de los datos iniciales.
En concreto, si f y f pertenecen a C 2 (R), g y g pertenecen a C 1 (R), y existe un intervalo cerrado
y acotado [a, b] R tal que f f y g g en R \ [a, b], entonces, si denotamos por u a la solucin de
(P COh ) correspondiente a los datos iniciales f y g, y por u a la solucin de (P COh ) correspondiente

a los datos iniciales f y g, se satisface:
ba
(1.60) (x, t)| kf fkC 0 ([a,b]) +
|u(x, t) u kg gkC 0 ([a,b]) (x, t) R2 .
2c
Observacin 1.7.5 Sea (x , t ) un punto de R2 dado tal que, por fijar ideas, t > 0. Teniendo en
cuenta la frmula (7,1), podemos afirmar sobre la solucin u de (P COh ):
1. El valor de u en el punto (x , t ) depende, exclusivamente, del valor de f en los puntos x + ct

y x ct , y de los valores que toma g en los puntos del intervalo [x ct , x + ct ]. A dicho
intervalo se le denomina el intervalo de dependencia del punto (x , t ) para t = 0.
2. Los valores de f y g en x influyen en el instante t nicamente en los valores de u en los puntos

(x, t ) con x [x ct , x + ct ]. Al intervalo traladado de ste ltimo a t = t se le denomina
el intervalo de influencia del punto (x , 0) en el instante t = t .
Pasamos ahora a estudiar el problema de Cauchy-Dirichlet para la ecuacin de ondas unidimensional

homognea. En concreto, consideramos el problema
2
utt c uxx = 0 en [0, l] [0, +),

(P CDOh ) u(x, 0) = f (x), ut (x, 0) = g(x) si x [0, l],

u(0, t) = (t), u(l, t) = (t) si t [0, +),
donde c > 0, f : [0, l] R, g : [0, l] R, : [0, +) R y : [0, +) R son datos del problema.
El problema (P CDOh ) se denomina tambin el problema de la cuerda vibrante. Para dicho pro-
blema, introducimos el siguiente concepto de solucin:
Definicin 1.7.6 Una solucin clsica de (P CDOh ) es cualquier funcin u = u(x, t) que pertenezca a
C 2 ([0, l] [0, +)), y tal que utt (x, t) = c2 uxx (x, t) (x, t) [0, l] [0, +), u(x, 0) = f (x) x [0, l],
ut (x, 0) = g(x) x [0, l], u(0, t) = (t) t 0 y u(l, t) = (t) t 0.
En primer lugar, es fcil establecer la unicidad de solucin clsica para el problema (P CDOh ).
Lema 1.7.7 Existe, a lo ms, una solucin clsica para el problema (P CDOh ).
Demostracin.- Basta ver que si u es solucin clsica para el problema (P CDOh ) con f g
0, entonces u 0 en [0, l] [0, +).
Para demostrar esto ltimo, se considera la funcin E(t) definida por
Z l
1 2
(1.61) E(t) = c (ux (x, t))2 + (ut (x, t))2 dx t 0.
2 0
Es inmediato que E(0) = 0, y que E C 1 ([0, +)) con derivada

Z l 2

E(t) = c ux (x, t)uxt (x, t) + ut (x, t)utt (x, t) dx t 0,
0
con lo que
Z l

E(t) = c2 x=l
(ux ut )x (x, t) dx = c2 [ux (x, t)ut (x, t)]x=0 = 0 t 0.
0
En consecuencia, E(t) = 0 para todo t 0, y por tanto u es constante en [0, l] [0, +), con lo que
forzosamente u = 0 en [0, l] [0, +).
Respecto de la existencia, resulta inmediato que, si existe solucin clsica para el problema
(P CDOh ), entonces los datos iniciales y de contorno han de satisfacer f C 2 ([0, l]), g C 1 ([0, l]),
C 2 ([0, +)) y C 2 ([0, +)). Adems, es sencillo comprobar que se han de satisfacer las
relaciones (
(0) = f (0), (0)
= g(0), (0) = c2 f 00 (0),
(CC)

(0) = f (l), (0)
= g(l), (0) = c2 f 00 (l),
denominadas relaciones de compatibilidad para los datos del problema (P CDOh ).
De hecho, estas condiciones son tambin suficientes para la existencia de solucin clsica del prob-
lema (P CDOh ). En concreto, se satisface el siguiente resultado:
Teorema 1.7.8 Si f C 2 ([0, l]), g C 1 ([0, l]), C 2 ([0, +)), C 2 ([0, +)), y se satisfacen
las condiciones (CC), entonces existe una y slo una solucin clsica del problema (P CDOh ).
Antes de demostrar el Teorema 1.7.8, hagamos algunos comentarios.
En primer lugar, teniendo en cuenta el Lema 1.7.7, est claro que para probar el Teorema 1.7.8 lo
que hace falta es demostrar la existencia de solucin.
En el caso en que y son funciones afines, la demostracin de la existencia de solucin clsica del
problema (P CDOh ) se puede llevar a cabo, de una forma relativamente sencilla, mediante el mtodo
de separacin de variables. En efecto, en el caso de condiciones de contorno afines (t) 1 + 2 t y
(t) 1 + 2 t, con i y i R, efectuando el cambio de funcin incgnita
x
v(x, t) = u(x, t) (t) ((t) (t)),
l
la cuestin se reduce a demostrar la existencia de solucin clsica del problema

vtt c2 vxx = 0 en [0, l] [0, +),

(1.62) v(x, 0) = f(x), vt (x, 0) = g(x) si x [0, l],

v(0, t) = v(l, t) = 0 si t [0, +),
donde
x
f(x) = f (x) (0) ((0) (0)),
l
y
x
g(x) = g(x) (0)
((0) (0)).

l
Supuestas satisfechas las condiciones (CC), es inmediato comprobar que f C 2 ([0, l]), g
C 1 ([0, l]), y satisfacen
f(0) = f(l) = f00 (0) = f00 (l) = g(0) = g(l) = 0.
En resumen, si y son funciones afines, para demostrar el Teorema 1.7.8 basta demostrar
existencia de solucin clsica de los problemas

utt c2 uxx = 0 en [0, l] [0, +),

(1.63) u(x, 0) = f (x), ut (x, 0) = 0 si x [0, l],

u(0, t) = u(l, t) = 0 si t [0, +),

utt c2 uxx = 0 en [0, l] [0, +),

(1.64) u(x, 0) = 0, ut (x, 0) = g(x) si x [0, l],

u(0, t) = u(l, t) = 0 si t [0, +),
donde en (1.63) f C 2 ([0, l]) y satisface f (0) = f (l) = f 00 (0) = f 00 (l) = 0, y en (1.64) g C 1 ([0, l]) y
satisface g(0) = g(l) = 0.
Para demostrar que (1.63) posee solucin clsica, se procede por separacin de variables, y se
obtiene como solucin formal

X nx
nct
(1.65) u(x, t) = cn cos sen ,
l l
n=1
con Z
2 l ns
cn = f (s) sen ds n 1.
l 0 l
Consideremos la funcin F : R R definida por

X ny
F (y) = cn sen y R.
l
n=1
La funcin F as definida no es ms que la resultante de prolongar f de manera impar a [l, l], y a

continuacin considerar la prolongacin de esta ltima a todo R por 2l-periodicidad, es decir, se toma
f definida en [l, l] por
(
f (y) si y [0, l],
f(y) =
f (y) si y [l, 0),
y se define F por
F (y + 2kl) = f(y) y [l, l] k Z.
Como f C 2 ([0, l]) y satisface f (0) = f (l) = f 00 (0) = f 00 (l) = 0, es fcil comprobar que F C 2 (R).
Basta ahora observar que
nx 1
nct n(x + ct) n(x ct)
cos sen = sen + sen ,
l l 2 l l
para concluir que la funcin definida por (1.65) viene dada por
1
u(x, t) = (F (x + ct) + F (x ct)) (x, t) R2 ,
2
con lo que es inmediato ver que u es solucin clsica de (1.63).
Para la existencia de solucin clsica de (1.64), procediendo de nuevo por separacin de variables,
se obtiene como solucin formal
X nx
nct
(1.66) u(x, t) = cn sen sen ,
l l
n=1
con Z
2 l ns
cn = g(s) sen ds n 1.
nc 0 l
As pues, de manera formal,

X nx
nct
(1.67) ut (x, t) = bn cos sen ,
l l
n=1
con Z
2 l ns
bn = g(s) sen ds n 1.
l 0 l
Como g C 1 ([0, l]) y g(0) = g(l) = 0, la serie definida en (1.64) converge absoluta y uniformemente
en R2 .
Definamos
X ny
(1.68) G(y) = bn sen y R.
l
n=1
La funcin G definida por (1.68) no es ms que la resultante de prolongar g de manera impar a [l, l], y
a continuacin considerar la prolongacin de esta ltima a todo R por 2l-periodicidad. En consecuencia,
como g C 1 [0, l] con g(0) = g(l) = 0, es fcil ver que G C 1 (R).
La igualdad formal (1.67) puede ser escrita como
1
(1.69) ut (x, t) = [G(x + ct) + G(x ct)] ,
2
que integrada con u(x, 0) = 0 produce
Z Z
1 t 1 t
u(x, t) = G(x + cs) ds + G(x cs) ds,
2 0 2 0
o haciendo el cambio x + cs = en la primera integral y x cs = en la segunda integral,
Z
1 x+ct
(1.70) u(x, t) = G( ) d (x, t) R2 .
2c xct
Es sencillo comprobar que la funcin u definida por (1.70) es solucin clsica del problema (1.64).
Observacin 1.7.9 De la discusin precedente, se deduce que para resolver el problema (P CDOh )
en el caso de condiciones de contorno homogneas, y supuestas satisfechas las condiciones (CC), lo
que hay que hacer, es considerar las prolongaciones impares y 2l-peridicas de f y g a todo R, y a
continuacin resolver por la frmula de dAlembert el problema de Cauchy correspondiente.
Pasamos ahora a demostrar el Teorema 1.7.8 en el caso general.
Demostracin del Teorema 1.7.8 En primer lugar, es inmediato que toda funcin de la forma
(1.71) u(x, t) = F (x + ct) + G(x ct), (x, t) [0, l] [0, +),
con F C 2 ([0, +)) y G C 2 ((, l]), es una funcin que pertenece a C 2 ([0, l][0, +)) y satisface
la ecuacin utt c2 uxx = 0 en todo punto de [0, l] [0, +).
Lo que hay que comprobar, es que es posible hallar F C 2 ([0, +)) y G C 2 ((, l]), tales que
la funcin u determinada por (1.71) satisfaga las condiciones iniciales y de contorno en (P CDOh )
En primer lugar, para que u determinada por (1.71) satisfaga las condiciones iniciales en (P CDOh ),
es necesario y suficiente que F y G satisfagan

F () + G() = f () [0, l],
F 0 () G0 () = 1 g() [0, l].
c
As pues, razonando como para la obtencin de la frmula de dAlembert, es inmediato que para que u
determinada por (1.71) satisfaga las condiciones iniciales en (P CDOh ), es suficiente que F y G vengan
dadas por
Z
1 1
(1.72) F () = f () + g(s) ds, [0, l],
2 2c 0
Z
1 1
(1.73) G() = f () g(s) ds, [0, l].
2 2c 0
Por otra parte, la funcin u determinada por (1.71) satisface la condicin de contorno u(0, t) = (t),
si y slo si F y G satisfacen la relacin
F (ct) + G(ct) = (t), t 0,
o lo que es lo mismo, si y slo si

(1.74) G() = ( ) F (), 0.
c
Finalmente, la funcin u determinada por (1.71) satisface la condicin de contorno u(l, t) = (t), si y
slo si F y G satisfacen la relacin
F (l + ct) + G(l ct) = (t), t 0,
es decir, si y slo si
l
(1.75) F () = ( ) G(2l ), l.
c
As pues, para terminar con la demostracin del Teorema 1.7.8, basta comprobar que, supuestas satis-
fechas las condiciones (CC), existen F C 2 ([0, +)) y G C 2 ((, l]), satisfaciendo las condiciones
(1.72)-(1.75). En primer lugar, es inmediato que, las cuatro relaciones (1.72)-(1.75) determinan una
y slo una pareja de funciones F : [0, +) 7 R y G : (, l] 7 R. Adems, como f C 2 ([0, l]) y
g C 1 ([0, l]), es inmediato que F y G son de C 2 ([0, l]).
Por otra parte, de (1.72)-(1.74), tenemos que
Z

1 1

2 f () 2c g(s) ds [0, l],
0
(1.76) G() = Z

1 1

( ) f () g(s) ds, [l, 0].
c 2 2c 0
Tambin, de (1.72), (1.73) y (1.75), tenemos que

Z

1 1

2 f () + 2c g(s) ds [0, l],
0
(1.77) F () = Z

l 1 1 2l

( ) f (2l ) + g(s) ds, [l, 2l].
c 2 2c 0
Es fcil ahora comprobar que, por las relaciones (CC), la funcin G determinada por (1.76) pertenece
a C 2 ([l, l]), y la funcin F determinada por (1.77) pertenece a C 2 ([0, 2l]).
Para terminar con la demostracin, procedamos por induccin. Supongamos que la pareja de
funciones F y G determinadas por las relaciones (1.72)-(1.75) satisfacen F C 2 ([0, (k + 1)l]) y
G C 2 ([kl, l]), con k 1 entero. Vamos a demostrar que, entonces, las relaciones (1.74) y (1.74)
implican que F C 2 ([0, (k + 2)l]) y G C 2 ([(k + 1)l, l]).
En efecto si F C 2 ([0, (k + 1)l]) con k 1, como C 2 ([0, +)), la relacin (1.74) implica en
particular que G C 2 ([(k + 1)l, 0]), lo que, junto al hecho de que ya sabemos que G C 2 ([l, l]),
implica que G C 2 ([(k + 1)l, l]).
Por otra parte, si G C 2 ([kl, l]) con k 1, como C 2 ([0, +)), la relacin (1.75) implica que
F C 2 ([l, (k + 2)l]), y basta ahora tener en cuenta que ya sabemos que F C 2 ([0, 2l]), para concluir
que F C 2 ([0, (k + 2)l]).
Observacin 1.7.10 El mtodo que hemos seguido para demostrar el Teorema 1.7.8, que propor-
ciona otro mtodo distinto del de separacin de variables para hallar la solucin clsica del problema
(P CDOh ), aunque ha sido puramente analtico, permite una interpretacin geomtrica evidente. Dicha
interpretacin se puede generalizar al caso en que no se satisfacen las condiciones (CC). Para ello, se
hace uso de la nocin de solucin generalizada de la ecuacin de ondas unidimensional homognea.
Definicin 1.7.11 Sean Q R2 un abierto no vaco y u : Q R una funcin. Diremos que u es una
solucin generalizada de la EDP utt c2 uxx = 0 en Q si para todo punto (x , t ) Q y todo par ,
R tales que los puntos (x + c, t + ), (x c, t + ) y (x + c c, t + + ) pertenezcan a
Q, se satisface la igualdad
(1.78) u(x , t ) + u(x + c c, t + + ) = u(x + c, t + ) + u(x c, t + ).
La interpretacin geomtrica de la Definicin 1.7.11 es inmediata. Fijado un punto A = (x , t ) en Q,

se toman dos puntos, B y D, en Q, que estn en cada una de las dos rectas caractersticas que pasan
por A (de ecuaciones x ct = x ct y x + ct = x + ct respectivamente). A continuacin se toma
como punto C aqul que junto con A, B y D determinen los vrtices de un paralelogramo. Suponiendo
que C pertenece tambin a Q, si u es solucin generalizada de utt c2 uxx = 0 en Q, se ha de satisfacer
u(A) + u(C) = u(B) + u(D).
La relacin del concepto de solucin generalizada con el de solucin clsica viene dada por el
resultado siguiente:
Lema 1.7.12 Sean Q R2 un abierto no vaco y u C 2 (Q). Bajo estas condiciones, se satisfacen:
1. Si utt c2 uxx 0 en Q, y Q es convexo, entonces u es solucin generalizada de utt c2 uxx = 0

en Q.
2. Si u es solucin generalizada de utt c2 uxx = 0 en Q, entonces utt c2 uxx 0 en Q.
Demostracin.-
1. Sea u C 2 (Q), con Q es convexo, tal que utt c2 uxx 0 en Q.
Fijados cuatro puntos A = (x , t ), B = (x + c, t + ), C = (x + c c, t + + ) y
D = (x c, t + ), todos en Q, denotemos por R el interior del paralelogramo de vrtices A, B, C
y D.
Como Q es convexo, la clausura de R est contenida en Q, as que podemos escribir
ZZ
(1.79) (utt c2 uxx ) dx dt = 0.
R
Para obtener (1.78), basta aplicar a (1.79) la frmula de Green.

2. Sea u C 2 (Q) solucin generalizada de utt c2 uxx = 0 en Q.
Fijemos un punto (x , t ) Q. Como Q es abierto, existe > 0 tal que para todo (0, ) y todo
(0, ) los puntos (x + c, t + ), (x + c c, t + + ) y (x c, t + ) estn tambin todos
en Q. En consecuencia, se satisface
(1.80) u(x + c c, t + + ) u(x + c, t + ) = u(x c, t + ) u(x , t ) , (0, ).
Sumando y restando u(x + c c, t + ) en el primer miembro de la igualdad (1.80), y sumando y

restando u(x c, t ) en el segundo miembro de la igualdad (1.80), se obtiene, tras dividir por y
pasar al lmite para 0,
(1.81) ut (x + c, t + ) cux (x + c, t + ) = ut (x , t ) cux (x , t ) (0, ).
De (1.81) es inmediato que se tiene

(
ut (x + c, t + ) ut (x + c, t ) + ut (x + c, t ) ut (x , t ) =
(1.82)
c [ux (x + c, t + ) ux (x , t + ) + ux (x , t + ) ux (x , t )] (0, ).
Dividiendo en (1.82) por y haciendo 0, se obtiene utt (x , t ) = c2 uxx (x , t ).

Como consecuencia del Lema 1.7.12, podemos afirmar que para hallar solucin clsica del prob-
lema (P CDOh ) basta construir una funcin u : Q R, con Q = (0, l) (0, +), que sea solucin
2
generalizada de la EDP utt c uxx = 0 en Q y satisfaga las condiciones iniciales y de contorno, y a
continuacin comprobar que u C 2 (Q).
Para efectuar la construccin de la solucin generalizada, se subdivide Q en subdominios mediante
las rectas caractersticas x + ct = kl y x ct = kl, con k Z+ . De esta forma, se tiene que

[
= Q00
Q i1,i Q
(Q i,i Q
i,i+1 ),
i=1
con
Q00 = {(x, t) Q; x + ct (0, l), x ct (0, l)},
Q01 = {(x, t) Q; x + ct (0, l), x ct (l, 0)},
Q10 = {(x, t) Q; x + ct (l, 2l), x ct (0, l)}, etc.
A continuacin, se va encontrando la solucin generalizada por etapas, construyndola en cada

i,j , comenzando por D
uno de los D 00 , a continuacin D
01 y D10 , y as sucesivamente, como en la
demostracin del Teorema 1.7.8.
1.8. El Principio de Duhamel.

Consideramos en este pargrafo el problema de Cauchy para la ecuacin de ondas unidimensional
no homognea
(
utt c2 uxx = h(x, t) en R2 ,
(P CO)
u(x, 0) = f (x), ut (x, 0) = g(x) si x R.
Est claro que para resolver (P CO), basta resolver el problema correspondiente para la ecuacin
homognea con datos iniciales f y g, cosa que sabemos ya hacer, y sumarle a la solucin obtenida la
del problema
(
utt c2 uxx = h(x, t) en R2 ,
(1.83)
u(x, 0) = ut (x, 0) = 0 si x R.
As pues, la nica cuestin que se plantea es cmo resolver (1.83). Esto ltimo puede ser llevado a cabo
mediante el denominado principio de Duhamel:
Teorema 1.8.1 (Principio de Duhamel) Sea h C 1 (R2 ). Para cada s R, consideremos el problema
(
vtt c2 vxx = 0 en R2 ,
(1.84)
v(x, 0) = 0, vt (x, 0) = h(x, s) si x R.
Denotemos por v(, , s) a la nica solucin clsica de (1.84). Entonces, el problema (1.83) posee una
y slo una solucin u C 2 (R2 ), que viene dada por la frmula
Z t
(1.85) u(x, t) = v(x, t s, s) ds (x, t) R2 .
0
Demostracin.- La unicidad es inmediata. Para la existencia, es fcil comprobar que la funcin u

dada por (1.85) est bien definida y pertenece a C 2 (R2 ). Adems, evidentemente u(x, 0) = 0, y
Z t Z t
(1.86) ut (x, t) = vt (x, t s, s) ds + v(x, 0, t) = vt (x, t s, s) ds (x, t) R2 .
0 0
De (1.86)se obtiene en particular que ut (x, 0) = 0, y derivando nuevamente respecto de t,

Z t Z t
utt (x, t) = vtt (x, t s, s) ds + vt (x, 0, t) = c2 vxx (x, t s, s) ds + h(x, t) (x, t) R2 ,
0 0
es decir,
Z t
2 2
utt (x, t) = c v(x, t s, s) ds + h(x, t) = c2 uxx (x, t) + h(x, t) (x, t) R2 .
x2 0
Observacin 1.8.2 Es un ejercicio sencillo, a partir del principio de Duhamel, escribir de forma
explcita la frmula que resuelve (1.83). En concreto, como solucin u de (1.83), se tiene:
Z Z x+c(ts) !
1 t
u(x, t) = h(y, s) dy ds, (x, t) R2 .
2c 0 xc(ts)
Captulo 2
EL PROBLEMA DE DIRICHLET PARA

LAS ECUACIONES DE LAPLACE Y DE
POISSON
2.1. Definiciones y motivacin

En todo este Captulo, salvo mencin en contra, designamos por un abierto conexo y acotado
no vaco de RN , con N entero mayor que 1. Denotamos por a la frontera de , y por |x| la norma
eucldea de un punto x RN .
Vamos a obtener, en un marco clsico, varios resultados elementales referentes al problema de
Dirichlet para las ecuaciones de Laplace y de Poisson. Recordamos la formulacin de estos problemas;
en concreto, suponemos fijadas f C 0 () y g C 0 (), y nos planteamos el problema de Dirichlet
para la ecuacin de Poisson: (
u = f en ,
(P DP )
u = g sobre
Para el mencionado problema, se introduce el concepto de solucin clsica:
Definicin 2.1.1 Una solucin clsica de (P DP ) es cualquier funcin u C 2 () C 0 () tal que

u(x) = f (x) para todo x , y u(x) = g(x) para todo x .
Observacin 2.1.2 Denominaremos problema de Dirichlet para la ecuacin de Laplace, y lo deno-

taremos (P DL), al problema (P DP ) en el caso en que f 0.
Como paso previo al estudio de los problemas (P DP ) y (P DL), recordamos las Identidades de Green.
2.2. Identidades de Green.

En este pargrafo, vamos a suponer que satisface, adems, que su frontera es suficientemente
regular, en concreto suponemos que C 0,1 . Denotamos por a la medida de superficie inducida
sobre por la medida de Lebesgue en RN , por ~n(x) al vector unitario normal exterior a en x ,
y por ni (x) a la componente i-sima de ~n(x) (para las definiciones, vase el Apndice D).
Un resultado fundamental en el estudio de las EDP lo constituye el siguiente, cuya demostracin
se puede consultar, por ejemplo, en [5], [7]:
32
Teorema 2.2.1 (Frmula de Green) Si C 0,1 y f C 1 (), entonces

Z Z
(2.1) i f (x) dx = f (x)ni (x) d(x) i = 1, ..., N.

Como consecuencia inmediata de (2.1) se obtienen las siguientes relaciones (siempre con C 0,1 ):
a) Frmula de integracin por partes: Si u y v pertenecen a C 1 (), entonces
Z Z Z
(2.2) u(x)i v(x) dx = v(x)i u(x) dx + u(x)v(x)ni (x) d(x) i = 1, ..., N.

N
b) Frmula de Ostrogradski o teorema de la divergencia: Si f~ C 1 () y denotamos la
N
X
divergencia de f~ por f~ = i fi , entonces
i=1
Z Z
(2.3) f~(x) dx = f~(x) ~n(x) d(x).

c) Primera identidad de Green: Si u C 2 () y v C 1 (), entonces

Z Z Z
(2.4) u(x) v(x) dx = v(x)u(x) dx + v(x)~n u(x) d(x),

donde, por definicin, ~n u(x) = u(x) ~n(x) en todos los puntos de en que est definido ~n(x), es
la derivada de u en la direccin de la normal unitaria exterior a en el punto x.
d) Segunda identidad de Green: Si u y v pertenecen a C 2 (), entonces
Z Z
(2.5) (v(x)u(x) u(x)v(x)) dx = (v(x)~n u(x) u(x)~n v(x)) d(x).

En particular, tomando v = u o v = 1 en (2.4), se obtiene para toda u C 2 ()

Z Z Z
2
(2.6) |u(x)| dx = u(x)u(x) dx + u(x)~n u(x) d(x),

y
Z Z
(2.7) u(x) dx = ~n u(x) d(x).

A (2.6) la denominaremos la identidad de la energa, y a (2.7) Ley de Gauss.
Observacin 2.2.2 Si C 0,1 , entonces es inmediato obtener, como consecuencia de la identidad

de la energa, que existe a lo ms una solucin clsica de (P DP ) en C 2 (). En el siguiente pargrafo
vamos a ver que, de hecho, se puede obtener unicidad de solucin clsica de (P DP ) sin exigir para
ello regularidad a .
2.3. Principio del mximo dbil. Consecuencias.

Un resultado importante, que en particular nos permite obtener la unicidad de solucin clsica del
problema (P DP ), es el denominado principio del mximo dbil. En concreto, se tiene:
Teorema 2.3.1 (Principio del mximo dbil) Si RN es un abierto acotado no vaco, y u

C 2 () C 0 () es una funcin tal que u 0 en , entonces
(2.8) m
ax u = max u.

En particular,
(2.9) u 0 sobre = u 0 en .
Demostracin.- Supongamos en primer lugar que u < 0 en . En tal caso, si no se satisface (2.8),
existe un x
b tal que u(b ax u, y por la condicin necesaria de extremo local, en
x) = max u > m

dicho punto ha de tenerse u(bx) 0, en contradiccin con la suposicin de partida. En resumen, si
u < 0 en , entonces se satisface (2.8).
En el caso general, como u 0 en , si tomamos v(x) = |x|2 , para cada > 0 se tiene que
(u + v) < 0 en . En consecuencia,
max(u + v) = max(u + v) > 0,

y por tanto
(2.10) max(u + v) max u + m

ax v > 0.

Por otra parte, como v es no negativa, siempre se satisface
(2.11) max u m
ax(u + v) > 0.

ax u max u
Basta hacer 0 en (2.10) y (2.11) para obtener m

Como consecuencias inmediatas del Teorema 2.3.1, se tienen:
Corolario 2.3.2 Si RN es un abierto acotado no vaco, y u C 2 () C 0 () es una funcin tal

que u = 0 en , entonces
(2.12) mn u u(x) m
ax u x .

Corolario 2.3.3 (Unicidad de solucin clsica de (P DP )) Para cada f C 0 () y g C 0 () dadas,

el problema de Dirichlet para la ecuacin de Poisson (P DP ) en un abierto acotado no vaco RN
posee, a lo ms, una solucin clsica.
2.4. Solucin fundamental.

En este apartado, nos planteamos la bsqueda de soluciones de la ecuacin de Laplace en RN ,
que tengan simetra esfrica. En concreto, suponemos fijado RN y nos planteamos hallar u
C 2 (RN \ {}) de la forma u(x) = (|x |), con C 2 (0, +), y tal que u(x) = 0 en RN \ {}.
Es inmediato comprobar que en tal caso = (r) ha de satisfacer la EDO
N 1 0
(2.13) 00 + = 0 en (0, +).
r
La solucin general de (2.13) viene dada por

C1
+ C2 si N 3,
(2.14) (r) = (N 2)rN 2

C log r + C si N = 2,
1 2
con C1 y C2 constantes arbitrarias. En consecuencia, toda funcin de la forma
u(x) = (|x |),
con dada por (2.14) y RN fijado, es una funcin de C (RN \ {}) que satisface u(x) = 0 en
RN \ {}.
Por razones que van a quedar de manifiesto de inmediato, introducimos la definicin siguiente:
Definicin 2.4.1 Se denomina solucin fundamental de la ecuacin de Laplace en RN a la funcin

K(x, ) definida en el conjunto
(2.15) A = {(x, ) RN RN ; x 6= },
por

1

si N 3,
(N 2)N |x |N 2
(2.16) K(x, ) =

1 log |x | si N = 2,

2
donde N es la medida superficial de la esfera unidad (respecto de la norma eucldea) de RN .
Observacin 2.4.2 Es obvio que K C (A). Adems, si denotamos por al laplaciano en la

variable x, o al laplaciano en la variable , es inmediato que K(x, ) = 0 para todo par (x, ) A.
Obsrvese tambin que, para cada RN , la funcin K(, ), que est bien definida en todo RN
salvo en el punto , es localmente integrable en RN (es decir, es integrable en todo compacto de RN ).
2.5. La frmula de representacin de Green: funcin de Green.

Una propiedad importante de las soluciones fundamentales la proporciona el siguiente resultado:
Teorema 2.5.1 (Frmula de representacin de Green) Si C 0,1 , entonces para cada funcin
u C 2 () se satisface,
Z Z
(2.17) u() = K(x, )u(x) dx + (u(x)~n K(x, ) K(x, )~n u(x)) d(x) .

Demostracin.- Fijemos y 0 > 0 tal que B(, 0 ) . Para cada (0, 0 ] denotemos
= \ B(, ).
Las funciones u y K(, ) restringidas a pertenecen a C 2 ( ), con lo que, por la segunda identidad
de Green, obtenemos
Z Z

K(x, )u(x) dx = (K(x, )~n u(x) u(x)~n K(x, )) d(x)+

(2.18) Z

+ (K(x, )~n u(x) u(x)~n K(x, )) d(x).
B(,)
La igualdad (2.18) se tiene para cada (0, 0 ]. A continuacin, hacemos decrecer a 0 en (2.18).
Es inmediato comprobar que
Z Z
lm K(x, )u(x) dx = K(x, )u(x) dx.
0
1
Por otra parte, si denotamos por a la funcin definida por (2.14) con C1 = y C2 = 0, tenemos
N
por la ley de Gauss (2.7):
Z Z
K(x, )~n u(x) d(x) = () ~n u(x) d(x).
B(,) B(,)
A partir de esta igualdad, teniendo en cuenta que

Z Z

N 1
u(x) d(x) m
a x |u| dy,
B(,) ~n B(0,1)
y que lm ()N 1 = 0, es inmediato que

0
Z
(2.19) lm K(x, )~n u(x) d(x) = 0.
0 B(,)
As pues, el teorema quedar demostrado si probamos que se satisface

Z
(2.20) lm u(x)~n K(x, ) d(x) = u().
0 B(,)
Ahora bien, si observamos que la normal exterior a en un punto de B(, ) viene dada por la
normal interior a B(, ) en dicho punto, para todo x B(, ), la normal exterior unitaria a en
x viene dada por
x
~n(x) = ,
|x |
con lo que, como K(x, ) = (|x |) x 6= , y en consecuencia
xi i
i K(x, ) = 0 (|x |) x 6= ,
|x |
donde i denota la derivada respecto de xi , podemos afirmar que se satisface

Z Z
0
(2.21) u(x)~n K(x, ) d(x) = () u(x) d(x).
B(,) B(,)
A partir de (2.21), haciendo el cambio de variables x = + y, obtenemos

Z Z Z
1
u(x)~n K(x, ) d(x) = 0 ()N 1 u( + y) d(y) = u( + y) d(y)
B(,) B(0,1) N B(0,1)
Para obtener (2.20), y en consecuencia tener demostrado el teorema, basta tener en cuenta la ltima
igualdad y el hecho de que, como
Z Z

u( + y) d(y) N u() = (u( + y) u()) d(y)
B(0,1) B(0,1)

N m
ax |u( + y) u()| ,
yB(0,1)
por la continuidad de u es inmediato que

Z
lm u( + y) d(y) = N u().
0 B(0,1)
Observacin 2.5.2 Como consecuencia inmediata del teorema precedente, obtenemos que si
C 0,1 y u C 2 () es tal que u(x) = 0 en , entonces
Z
(2.22) u() = (u(x)~n K(x, ) K(x, )~n u(x)) d(x) .

La frmula (2.22), permite obtener
Corolario 2.5.3 Sea RN un abierto no vaco cualquiera. Si u C 2 () es tal que u(x) = 0

en , entonces u C ().
Demostracin.- Fijado 0 , se puede tomar un 0 > 0 tal que B(0 , 0 ) . Aplicando la frmula
(2.22) a u en B(0 , 0 ), obtenemos
Z
(2.23) u() = (u(x)~n K(x, ) K(x, )~n u(x)) d(x) B(0 , 0 ).
B(0 ,0 )
Basta ahora tener en cuenta que la expresin que define K(x, ) tiene sentido y es C para todo par
(x, ) RN RN tal que x 6= .
Observacin 2.5.4 Admitamos el siguiente resultado (para la demostracin se puede consultar [7]):
Proposicin 2.5.5 Si O es un abierto no vaco de CN y U C 1 (O, C), entonces la funcin parte

real de U es analtica real en O RN .
Razonando como en la demostracin del Corolario 2.5.3, y teniendo en cuenta la Proposicin 2.5.5, lo
que en realidad se puede obtener es que si u C 2 () es tal que u(x) = 0 en , entonces u C (),
es decir, u es analtica real en .
Observacin 2.5.6 Las igualdades (2.17) y (2.22) son frmulas de representacin. En teora, per-
miten conocer una funcin u C 2 (), cuando C 0,1 , a partir de los valores de u en y de
los de u y ~n u sobre .
Ahora bien, las citadas frmulas no son totalmente satisfactorias, ya que, en general, dadas f , g
y h, no existe u C 2 () tal que u = f en , u = g sobre y ~n u = h sobre (pensar, por
ejemplo, en el caso f = g = 0 y h = 1).
El inconveniente puesto de manifiesto en la observacin precedente, motiva la introduccin del concepto

de funcin de Green. El punto de partida para la nocin de funcin de Green lo proporciona el siguiente
resultado, que no es ms que una reformulacin del Teorema 2.5.1:
Proposicin 2.5.7 Supongamos que C 0,1 . Sea w una funcin
w : (x, ) w(x, ) R,
tal que
w(, ) C 2 () y x w(x, ) = 0 (x, ) ,
donde por x denotamos el laplaciano en la variable x.
Denotemos G = K + w. Entonces, si u C 2 (),
Z Z
(2.24) u() = G(x, )u(x) dx + (u(x)~n G(x, ) G(x, )~n u(x)) d(x) .

Demostracin.- La frmula (2.24) es consecuencia inmediata de (2.17) y de la segunda identidad de

Green aplicada a la pareja u y w(, ).
Definicin 2.5.8 Sea RN un abierto no vaco. Denotemos
A() = ( ) A = {(x, ) ; x 6= }.
Se denomina funcin de Green en (para el problema de Dirichlet para la ecuacin de Laplace) a una
funcin G : A() R que sea de la forma G = K + w, con w satisfaciendo las condiciones de la
Proposicin 2.5.7, y tal que
G(x, ) = 0 (x, ) .
Es inmediato comprobar, teniendo en cuenta el Corolario 2.3.3, que si es un abierto acotado entonces
la funcin de Green en para el problema (P DL), caso de existir, es nica.
Por otra parte, es evidente que si G es la funcin de Green en , entonces si u C 2 () es solucin
del problema (P DL) para una g C 0 () dada, y C 0,1 , forzosamente se tiene
Z
(2.25) u() = g(x)~n G(x, ) d(x) .

El problema radica en encontrar G. Ello puede lograrse, de manera explcita, para determinadas formas
particulares de . En concreto, en el caso particular de una bola, vamos a construir la funcin de Green
en el prximo pargrafo.
2.6. Resolucin del problema (P DL) en una bola. La frmula integral

de Poisson.
En el caso en que = B(0, R), la bola abierta de centro el origen y radio R para la norma eucldea
de RN , es posible construir una funcin de Green mediante el denominado mtodo de reflexin.
Para cada B(0, R) \ {0} denotemos
R2
= .
||2
Obtenemos as una aplicacin
R2
B(0, R) \ {0} = RN \ B(0, R)
||2
para la que es fcil comprobar, utilizando el desarrollo de |x |2 y teniendo en cuenta que |x|2 = R2
para todo x B(0, R), que se satisface la relacin fundamental
|x | R
(2.26) = (x, ) B(0, R) (B(0, R) \ {0}).
|x | ||
Recordemos que K(x, ) = (|x |) para x 6= , con

1

si N 3,
N (N 2)rN 2
(2.27) (r) =

1 log r si N = 2.

2
Como consecuencia de (2.26) se tiene:

(|x |) = || |x | (x, ) B(0, R) (B(0, R) \ {0}),

R

(|x|) = (R) x B(0, R).
As pues, si tomamos w(x, ) definida por:

|| |x | (x, ) B(0, R) (B(0, R) \ {0}),

w(x, ) = R

(R) (x, ) B(0, R) {0},
entonces w satisface las condiciones de la Proposicin 2.5.7, y por construccin G = K + w, es decir,

(|x |) || |x |
(x, ) A(B(0, R)) con 6= 0,
(2.28) G(x, ) = R

(|x|) (R) (x, ) A(B(0, R)) con = 0,
es la funcin de Green en B(0, R). Sustituyendo la expresin de (r) en esta ltima frmula, obtenemos:
a) Si N 3,
" N 2 #

1 1 R

(N 2)
N 2

|||x |
(x, ) A(B(0, R)), 6= 0
N |x |
G(x, ) =

1 1 1

(x, ) A(B(0, R)), = 0
(N 2)N |x|N 2 RN 2
b) Si N = 2,

1 R|x |

log (x, ) A(B(0, R)) con 6= 0,
2 |||x |
G(x, ) =

1 log |x| (x, ) A(B(0, R)) con = 0.

2 R
Podemos ahora, demostrar el siguiente resultado:
Proposicin 2.6.1 (Frmula integral de Poisson) Si u C 2 (B(0, R)), y satisface u = 0 en

B(0, R), entonces
Z
R2 ||2 u(x)
(2.29) u() = N
d(x) B(0, R).
N R B(0,R) |x |
Demostracin.- Ya sabemos que

Z
u() = u(x)~n G(x, ) d(x) B(0, R),
B(0,R)
con G dada por (2.28).

Pero, en todo punto x B(0, R), la normal unitaria exterior viene dada por ~n(x) = x/R, y en
consecuencia
N
X xi
~n G(x, ) = i G(x, ) (x, ) B(0, R) B(0, R).
R
i=1
Un sencillo clculo de las derivadas i G(x, ) a partir de (2.28), conduce a
R2 ||2
~n G(x, ) = (x, ) B(0, R) B(0, R).
N R|x |N
Definicin 2.6.2 Se denomina ncleo de Poisson en B(0, R), a la funcin H(x, ) definida por
R2 ||2
(2.30) H(x, ) = (x, ) A(B(0, R)).
N R|x |N
Las propiedades del ncleo de Poisson que nos van a resultar de inters, vienen dadas por el siguiente
resultado:
Proposicin 2.6.3 El ncleo de Poisson H(x, ) definido por (2.30) satisface:
1. H C (A(B(0, R))) (de hecho, H es analtico real en A(B(0, R))).
2. H(x, ) > 0 (x, ) A(B(0, R)).
3. H(x, ) = 0 (x, ) B(0, R) B(0, R).

Z
4. H(x, ) d(x) = 1 B(0, R).
B(0,R)
5. Si 0 B(0, R) y > 0 estn fijados, entonces
lm H(x, ) = 0 uniformemente en x B(0, R) \ B(0 , ).

0
Demostracin.- Las propiedades 1. y 2. son inmediatas. La igualdad en 3. se comprueba por un

clculo directo a partir de (2.30), y la igualdad en 4. no es ms que (2.29) aplicado a u 1.
Finalmente, dados 0 B(0, R) y > 0, si B(0, R) satisface | 0 | /2, y x B(0, R)
satisface |x 0 | , entonces
R2 ||2 R2 ||2
(2.31) H(x, ) ,
N R(|x 0 | | 0 |)N N R(/2)N
y evidentemente esto implica 5.

Estamos ahora en condiciones de demostrar el siguiente resultado:
Teorema 2.6.4 Dada g C 0 (B(0, R)), la funcin u : B(0, R) R definida por

Z

H(x, )g(x) d(x) si B(0, R),
(2.32) u() = B(0,R)

g() si || = R,
pertenece a C (B(0, R)) C 0 (B(0, R)), y es la nica solucin clsica del problema de Dirichlet
(
u = 0 en B(0, R),
(P DL)
u = g sobre B(0, R).
Demostracin.- Teniendo en cuenta los resultados precedentes, es inmediato comprobar todas las
propiedades de u que se afirman en el teorema, salvo el carcter C 0 (B(0, R)). En concreto, lo que hace
falta demostrar es que fijados 0 B(0, R) y > 0, existe un () > 0 tal que
Z

(2.33) H(x, )g(x) d(x) g(0 )
B(0,R)
para todo B(0, R) tal que | 0 | ().

Fijemos 0 B(0, R) y > 0. Como g C 0 (B(0, R)), existe un 1 > 0 tal que
(2.34) |g(x) g(0 )| /2 x B(0, R) tal que |x 0 | 1 .
Fijado este 1 , y denotando M = max |g|, de acuerdo con la propiedad 5. de la Proposicin 2.6.3,
B(0,R)
podemos afirmar que existe un 2 > 0 tal que para todo B(0, R) con | 0 | 2 , y para todo
x B(0, R) \ B(0 , 1 ) se satisface

(2.35) 0 < H(x, ) .
4M N RN 1
En consecuencia, teniendo en cuenta que si B(0, R)
Z Z
H(x, )g(x) d(x) g(0 ) = H(x, )(g(x) g(0 )) d(x) =
B(0,R) B(0,R)
Z Z
= H(x, )(g(x) g(0 )) d(x) + H(x, )(g(x) g(0 )) d(x),
B(0,R){|x0 |<1 } B(0,R){|x0 |1 }
es inmediato obtener (2.33) a partir de (2.34) y (2.35) si tomamos () = 2 .
Observacin 2.6.5 Es inmediato demostrar que si g C 0 (B(x0 , R)), la nica solucin clsica del
problema de Dirichlet (
u = 0 en B(0, R),
(P DL)
u = g sobre B(0, R).
viene dada por
Z

H(x x0 , x0 )g(x) d(x) si B(x0 , R),
u() = B(x0 ,R)

g() si | x0 | = R.
Como una consecuencia sencilla de la Proposicin 2.6.1, se tiene el siguiente resultado:

Proposicin 2.6.6 Si u C 2 () y u = 0 en , entonces para todo y todo > 0 tal que

B(, ) se satisface
(2.36) u() = Mu (, ),
donde Z
1
Mu (, ) = u(x) d(x),
N N 1 B(,)
es la media esfrica de u sobre B(, ).

Demostracin.- Fijados y > 0 tal que B(, ) , la funcin v(y) = u( + y), definida
para y B(0, ), pertenece a C 2 (B(0, )), y satisface y v = 0 en B(0, ). En consecuencia, por la
Proposicin 2.6.1,
Z
2 ||2 v(y)
v() = N
d(y) B(0, ).
N B(0,) |y |
En particular, tomando en esta igualdad = 0, obtenemos (2.36).

La propiedad (2.36), puesta de manifiesto en la proposicin precedente, se expresa diciendo que u
satisface la ley de Gauss de la media aritmtica en . Ello motiva la definicin siguiente:
Definicin 2.6.7 Una funcin armnica en es, por definicin, cualquier funcin u C 2 () tal que
u = 0 en .
Observacin 2.6.8 De acuerdo con los resultados que hemos obtenido, si u es una funcin armnica
en , entonces u C (), y satisface la ley de Gauss de la media aritmtica en . Se demostrar en
el Curso Ampliacin de Ecuaciones en Derivadas Parciales que, de manera recproca, si u C 0 () y
satisface la ley de Gauss de la media aritmtica en , entonces u es armnica en .
Observacin 2.6.9 El Teorema 2.6.4 y la Observacin 2.6.1, constituyen, en particular, un resultado

de existencia y unicidad para el problema (P DL) en planteado en una bola abierta de RN . De manera
ms general, se tiene el siguiente resultado, que es un caso particular de un teorema que ser tambien
demostrado en la asignatura Ampliacin de Ecuaciones en Derivadas Parciales:
Teorema 2.6.10 Si RN es un abierto acotado convexo no vaco, entonces, para cada funcin
g C 0 () dada, existe una y slo una solucin del problema (P DL).
Demostracin.- Se puede encontrar, por ejemplo, en el libro de F. John, o en el de D. Gilbarg y N.S.

Trudinger.
2.7. El problema de Dirichlet para la EDP de Poisson: potencial new-

toniano.
En este pargrafo indicamos una manera de resolver, en un marco clsico, y bajo condiciones ade-
cuadas, el problema (P DP ), partiendo para ello de la resolucin previa del correspondiente problema
(P DL).
Sea un abierto acotado no vaco de RN (N entero mayor que 1). Suponemos fijadas f C 0 (),
no idnticamente nula, y g C 0 (), y nos planteamos el problema:
(
u = f en ,
(P DL)
u = g sobre ,
Sobre dicho problema sabemos que, caso de poseer solucin clsica, sta es nica. Adems, si es una
bola, o, admitiendo el Teorema 2.6.10, si es convexo, sabemos que el problema (P DL) asociado:
(
u = 0 en ,
(P DL)
u = g sobre ,
posee una y slo una solucin.

En consecuencia, demostrar existencia y unicidad de solucin de (P DP ), equivale a demostrarla
en el caso en que g 0. Ahora bien, en este ltimo caso, incluso aunque sea una bola, no siempre
existe solucin clsica para el problema (P DP ). As, por ejemplo, si se considera la funcin fb definida
1
en la bola cerrada B(0, ) de RN por
2

x22 x21 1 1
p N +2 si 0 < |x| ,
fb(x) = 2|x|2 log |x| 2 log |x| 2

0 si x = 0,
1
se puede comprobar que fb es continua en B(0, ), y sin embargo, el problema
2
1
u = fb en B(0, ),

2

u = 0 sobre B(0, 1 ),
2
no posee solucin clsica (para los detalles, se puede consultar el libro de I. Peral). As pues, inde-
pendientemente de la regularidad de y de g, ni la hiptesis f C 0 () es suficiente para garantizar
existencia de solucin clsica de (P DP ).
Si se quiere obtener existencia, se hace preciso considerar funciones f en una clase ms restringida
que las continuas; dicha clase va a estar constituida por las funciones localmente -holderianas en .
Definicin 2.7.1 Sean f : R y (0, 1]. Diremos que f es -holderiana en D si
|f (x) f (y)|
sup < +.
x,yD, x6=y |x y|
Diremos que f es localmente -holderiana en si f es -holderiana en todo compacto D .

0,
Al conjunto de todas las funciones localmente -holderianas en lo denotaremos Cloc ().
0,
Observacin 2.7.2 Es inmediato comprobar que Cloc () es un subespacio vectorial de C 0 (), y que
0,1
Cloc () coincide con el espacio de las funciones localmente lipschitzianas en .
Para la resolucin del problema (P DP ) se introduce el concepto de potencial newtoniano asociado a

la funcin f .
Definicin 2.7.3 Dada f L (), se define el potencial newtoniano asociado a la funcin f como
la funcin wf : RN R dada por
Z
(2.37) wf () = K(x, )f (x) dx RN ,

donde por K(, ) denotamos a la solucin fundamental de en RN .

Para el potencial newtoniano se satisfacen los dos resultados siguientes, cuyas demostraciones omitimos
(ver [6] pp. 52-56):
Proposicin 2.7.4 Si RN es un abierto acotado no vaco y f L (), la funcin wf dada por

(2.37) est bien definida y satisface wf C 1 (RN ), con
Z
wf () = K(x, )f (x) dx RN .

0,
Proposicin 2.7.5 Si RN es un abierto acotado no vaco y f L () Cloc () para algn
2
(0, 1], la funcin wf dada por (6,1) pertenece a C () y satisface wf f en .
Como consecuencia de la proposicin precedente y del Teorema 2.6.10, es inmediato concluir el resultado
siguiente:
0,
Teorema 2.7.6 Sea RN un abierto acotado y convexo no vaco. Si f L () Cloc () para
0
algn (0, 1], y g C (), entonces existe una y slo una solucin clsica del problema (P DP ).
Demostracin.- Basta tomar como solucin u = v wf , con v la solucin clsica del problema de
Dirichlet (
v = b 0 en ,
v = g + wf sobre .
Proposicin 2.7.7 De hecho, bajo las condiciones del Teorema 2.7.6, la solucin clsica u, adems
0,
de pertenecer a C 2 () C 0 (), satisface que todas todas sus derivadas segundas pertenecen a Cloc ()
0 2,
(esto se expresa por u C () Cloc ()).
Captulo 3
FORMULACIN VARIACIONAL DEL

PROBLEMA DE DIRICHLET PARA EL
LAPLACIANO
3.1. Operadores lineales continuos en espacios de Hilbert. Operadores

adjuntos.
Sean X e Y dos espacios normados reales. Denotaremos por k k, de manera indistinta, a la norma
en X y a la norma en Y .
Recordemos que un operador T : X 7 Y lineal es continuo si y slo si es acotado, es decir, existe
una constante M > 0 tal que kT xk M kxk para todo x X. Si T : X 7 Y es lineal y continuo, se
define
kT xk
(3.1) kT kL(X,Y ) = sup = sup kT xk = sup kT xk.
xX,x6=0 kxk kxk1 kxk=1
El conjunto de todos los operadores lineales continuos de X en Y , dotado de la suma y el producto

por un nmero real usuales, constituye un espacio vectorial real, y la funcin kT kL(X,Y ) definida
por (3.1) es una norma sobre dicho espacio vectorial. A partir de ahora, por simplicidad, notaremos
kT k = kT kL(X,Y ) . Se denota por L(X, Y ) al espacio normado de los operadores lineales continuos de X
en Y as construido, y en el caso particular en que X = Y , denotaremos al espacio L(X, X) por L(X).
Se recuerda que si Y es un espacio de Banach, entonces L(X, Y ) es tambin un espacio de Banach.
En el caso particular en que Y = R, al espacio de Banach L(X, R) se le denota por X , y se le
denomina el dual topolgico de X. A partir de ahora, omitiremos la palabra topolgico, y designaremos
a X simplemente como el espacio dual de X (otra notacin que se usa para designar al dual topolgico
de X es X 0 ).
Recordemos que si X = H es un espacio de Hilbert real, entonces H es identificable algebraica y
topolgicamente con su espacio dual; ello es posible gracias al teorema de Riesz:
Teorema 3.1.1 (de representacin de Riesz) Sean H un espacio de Hilbert real y f un elemento de
H . Existe un y slo un elemento xf H tal que
(3.2) f (y) = (xf , y) y H,
donde por (, ) denotamos al producto escalar en H.
45
En efecto, si para cada x H se denota por fx H al elemento definido por
fx (y) = (x, y) y H,
entonces la aplicacin x H 7 fx H , es lineal y conserva las normas, y es por tanto inyecti-

va, y adems, por el Teorema 3.1.1, dicha aplicacin es suprayectiva, obtenindose de esta forma la
identificacin de H con su dual. No obstante, interesa saber que esta identificacin no siempre resulta
conveniente en la prctica.
Sean H y G dos espacios de Hilbert reales. Denotaremos por (, ), de manera indistinta, al producto
escalar en H o en G, y por k k a la norma que en H o en G induce dicha producto escalar.
A continuacin, definimos el concepto de operador adjunto de un operador T L(H, G), concepto
que generaliza al de matriz traspuesta de otra dada.
Definicin 3.1.2 Sean H y G dos espacios de Hilbert reales, y T L(H, G). Se define el operador
adjunto de T como el nico operador T L(G, H) tal que
(3.3) (T x, y) = (x, T y) x H, y G.
Hemos de comprobar que la Definicin 3.1.2 tiene sentido. En primer lugar, obsrvese que, dado y G
la aplicacin Jy : H 7 R definida por Jy (x) = (T x, y) x H pertenece al dual de H, y por tanto,
por el teorema de representacin de Riesz, existe un y slo un elemento de H, que denotamos por T y
tal que (T y, x) = Jy (x) para todo x H. Obtenemos as que para cada y G existe un y slo un
elemento T y H que satisface (3.3). La misma igualdad (3.3) permite deducir de manera inmediata
que el operador T : G 7 H as definido es lineal. Adems, en particular,
kT yk2 = (T (T y), y) kT kkT ykkyk y G,
de donde es inmediato que T es continuo como operador de G en H, y que
(3.4) kT k kT k.
De hecho, se tiene:
Proposicin 3.1.3 Sean H y G dos espacios de Hilbert reales, T L(H, G), y denotemos por IH al
operador identidad de H sobre H. Se satisfacen las siguientes propiedades:
1. =I .
IH H
2. kT k = kT k.
3. T = (T ) .
4. Si S L(H, G) y , R, entonces (T + S) = T + S .
5. Si S L(G, F ), siendo F otro espacio de Hilbert real, entonces (S T ) = T S .
6. Si T es biyectivo de H sobre G, entonces T es biyectivo de G sobre H y (T )1 = (T 1 ) .

Demostracin.- Si x H, por (3.3),
kT xk2 = (x, T (T x)) kxkkT kkT xk,
y por consiguiente kT xk kT kkxk para todo x H, con lo que kT k kT k. Esta desigualdad, junto
con (3.4), demuestra 2).
Las demostraciones de 1., 3., 4. y 5. son inmediatas a partir de (3.3). Asmismo, la demostracin
de 6. es fcil a partir de 1. y 3.
Ejemplo 3.1.4 Sea K L2 ((a, b) (a, b)) dada. Se denomina operador integral (de Fredholm) en
L2 (a, b) de ncleo integral K, al operador T : L2 (a, b) 7 L2 (a, b) definido por
Z b
(3.5) (T )(t) = K(t, s)(s) ds c.p.d. t (a, b), L2 (a, b).
a
Es sencillo comprobar que el operador integral T definido por (3.5) pertenece a L(L2 (a, b)). Para ello,
basta tener en cuenta que
Z b Z b 2 Z b Z b Z b

K(t, s)(s) ds dt 2
|K(t, s)| ds dt 2
|(s)| ds L2 (a, b).

a a a a a
Por otra parte, es inmediato obtener que el adjunto de T viene definido por
Z b
(3.6) (T )(t) = K(s, t)(s) ds c.p.d. t (a, b), L2 (a, b).
a
Obsrvese en consecuencia, que para que T sea autoadjunto, es decir, T = T , es necesario y suficiente
que el ncleo K satisfaga la relacin K(t, s) = K(s, t), c.p.d. s, t (a, b), en cuyo caso se dice que el
ncleo K es simtrico.
3.2. Teoremas de la Proyeccin y de Lax-Milgram.

Sean H un espacio de Hilbert real, y C H un subconjunto no vaco. Recordemos que se define el
ortogonal de C como el conjunto
C = {x H; (x, y) = 0 y C}.
Es inmediato comprobar que C es un subespacio vectorial cerrado de H, y que

(C) = C y C C {0}.
Como primer resultado fundamental, se tiene:
Teorema 3.2.1 (Teorema de la Proyeccin sobre un convexo) Sean H un espacio de Hilbert real,
C H un convexo cerrado no vaco, y x0 H dado. Bajo estas condiciones existe un y slo un
elemento b
c C tal que
(3.7) kx0 b
ck = inf kx0 ck.
cC
Dicho elemento b
c viene caracterizado por
(
b
c C,
(3.8)
(x0 b
c, c b
c) 0 c C.
Demostracin.- La existencia y unicidad de b c satisfaciendo (3.7) es conocida del estudiante.

Para la demostracin de la caracterizacin (3.8), supongamos en primer lugar que b c C satisface
(3.7). En tal caso, fijado c C, como C es convexo, para todo t (0, 1)se satisface que tc + (1 t)b
c
tambin pertenece a C, y en consecuencia
ck2 kx0 tc (1 t)b

kx0 b ck2 = kx0 b
ck2 2t(x0 b c) + t2 kc b
c, c b ck2 ,
con lo que
2t(x0 b c) t2 kc b
c, c b ck2 ,
para todo t (0, 1). Basta dividir por t y hacer t 0, para obtener (3.8).
Recprocamente, si b c C satisface (3.8), entonces, fijado c C, se tiene
ck2 = (x0 b
kx0 b c, x0 c + c b
c) (x0 b
c, x0 c) kx0 b
ckkx0 ck,
de donde dividiendo por kx0 b

ck, se obtiene que b
c satisface (3.7).
Observacin 3.2.2 La caracterizacin de b c dada por (3.8) admite una interpretacin geomtrica sen-
cilla si, por ejemplo, H = R2 : el punto bc que da la mnima distancia de x0 al convexo cerrado C es el
nico punto de C que tiene la propiedad de que para todo c C el coseno del ngulo que forman los
vectores x0 b c y cbc es negativo. Al punto bc se le denomina la proyeccin de x0 sobre C.
Obsrvese tambin que cabe interpretar el Teorema 3.2.1 como un resultado de existencia y unicidad
de solucin para la inecuacin (3.8).
Como caso particular del Teorema 3.2.1, se tiene
Teorema 3.2.3 Sean H un espacio de Hilbert real, M H un subespacio vectorial cerrado, y x0 H

dado. Bajo estas condiciones, existe un y slo un elemento m
b M tal que
kx0 mk
b = inf kx0 mk.
mM
Dicho elemento m
b viene caracterizado por
(3.9) m
b M y b M .
x0 m
El Teorema 3.2.3 admite una reformulacin, que es la que conoce el alumno, de la Asignatura Anlisis
Funcional como Teorema de la Proyeccin:
Teorema 3.2.4 Sean H un espacio de Hilbert real y M H un subespacio vectorial cerrado. Existe
un nico par de aplicaciones P y Q tales que P : H 7 M , Q : H 7 M , y
x = P x + Qx x H.
Dichas aplicaciones, tienen las propiedades siguientes:
1. x M P x = x, Qx = 0,
2. x M P x = 0, Qx = x,
3. kx P xk = inf kx mk x H,
mM
4. P y Q son lineales, y kxk2 = kP xk2 + kQxk2 x H, con lo que, en particular, P, Q L(H),

con kP k = kQk = 1.
Observacin 3.2.5 Es un sencillo ejercicio comprobar que los operadores P y Q del Teorema 3.2.4
satisfacen P P = P, P = P, Q Q = Q y Q = Q, (i.e. P y Q son idempotentes y autoadjuntos)
Como consecuencias inmediatas de los resultados precedentes, se obtienen los siguientes:

Corolario 3.2.6 Si H es un espacio de Hilbert real y M H es un subespacio vectorial, entonces H

L
se escribe como la suma directa de de M y M (se denota H = M M ), es decir,
H = M + M y M M = {0}.
As pues, todo elemento de H se descompone de manera nica como la suma de un elemento de M y

otro de M .
Corolario 3.2.7 Sean H un espacio de Hilbert y M H un subespacio vectorial. En tal caso, M es

denso en H si y slo si M = {0}, es decir,
M = H Dado x H tal que (x, m) = 0 m M, f orzosamente x = 0.
Observacin 3.2.8 Como consecuencia del Corolario 3.2.7, si H es un espacio de Hilbert y C H un

subconjunto, para que el subespacio vectorial generado por C sea denso en H es necesario y suficiente
que no haya vectores no nulos de H ortogonales a C.
Como consecuencia tambin del teorema de la proyeccin, vamos a obtener un resultado de extensin
para operadores. En primer lugar, es fcil demostrar el siguiente resultado:
Teorema 3.2.9 (de prolongacin por continuidad densidad) Sean X un espacio normado, Y un espa-
cio de Banach, M X un subespacio vectorial denso en X, y T L(M, Y ), es decir, T es un operador
lineal continuo de M en Y . Denotemos kT kL(M,Y ) = sup kT mk.
mM, kmk1
Bajo estas condiciones, existe un nico operador Te L(X, Y ) tal que Te|M T y kTekL(X,Y ) =
kT kL(M,Y ) .
Demostracin.- Es fcil comprobar que si x H,
Tex = lm T mk ,
k
siendo {mk } cualquier sucesin de elementos de M que converja a x (se dejan los detalles como
ejercicio).
Podemos ahora demostrar:
Teorema 3.2.10 Sean H un espacio de Hilbert, Y un espacio de Banach, M H un subespacio

vectorial de H, y T L(M, Y ).
Bajo estas condiciones, existe un operador Te L(H, Y ) tal que Te|M T y kTekL(H,Y ) = kT kL(M,Y ) .
Demostracin.- El teorema de prolongacin por continuidad densidad, permite prolongar T a M

conservando la norma. En consecuencia, podemos considerar que M es cerrado. Pero entonces, basta
definir Te = T P , siendo P el operador de proyeccin de H sobre M del Teorema 3.2.4.
Observacin 3.2.11 El teorema precedente, en el caso en que Y = R, puede ser tambin obtenido
como una consecuencia del teorema de Hahn-Banach.
Como aplicacin sencilla del teorema de representacin de Riesz, vamos a obtener como resultado
final en este pargrafo el denominado teorema (o lema) de Lax-Milgram. Este resultado resulta de una
gran importancia en la formulacin dbil de los problemas de contorno para EDP elpticas.
Adoptamos ahora un cambio de notacin respecto de la mantenida con anterioridad. Dicho cambio
viene motivado por tener en la mente que vamos a aplicar el resultado que obtengamos a espacios de
funciones como H01 () y H 1 (), espacios que sern definidos en Seccin 3.4.
Consideremos dado un espacio de Hilbert real que denotaremos por V . Denotemos por u, v, etc.
los elementos de V , por ((, )) el producto escalar y por k k la norma en V .
Definicin 3.2.12 Sea a(, ) : (u, v) V V a(u, v) R una forma bilineal sobre V .
1. Diremos que a(, ) es continua sobre V si lo es como aplicacin de V V con valores en R, es

decir, de manera equivalente, si existe M > 0 tal que
|a(u, v)| M kukkvk u, v V.
2. Diremos que a(, ) es coerciva sobre V si existe > 0 tal que
a(u, u) kuk2 u V.
Sea a(, ) una forma bilineal continua y coerciva sobre V . Asociado a dicha forma bilineal, se considera
el operador A : V V que a cada u V le hace corresponder Au V definido como el nico elemento
de V tal que
((Au, v)) = a(u, v) v V.
Es sencillo comprobar, por el teorema de representacin de Riesz, que A est bien definido, pertenece
a L(V ) y satisface
((Au, u)) kuk2 u V,
con lo que, en particular,
(3.10) kAuk kuk u V.
Teorema 3.2.13 (Lax-Milgram) Sean V un espacio de Hilbert real y a(, ) : V V R una forma
bilineal continua y coerciva sobre V . En tal caso, dado f V , existe un y slo un elemento u
b V tal
que
(3.11) a(b
u, v) = f (v) v V.
Si adems la forma a(, ) es simtrica, entonces u

b est caracterizado por ser la nica solucin de
a(b
u, u
b) 2f (b
u) = mn (a(v, v) 2f (v)) .
vV
Demostracin.- Sea f V dado, y denotemos por uf al nico elemento de V asociado a f por el

teorema de representacin de Riesz. Evidentemente, (3.11) es equivalente a
(3.12) Ab
u = uf
con A el operador de L(V ) asociado a la forma bilineal a(, ).

Resulta evidente, por (3.10), que (3.12) posee, a lo ms, una solucin. Para demostrar la existencia
de solucin de (3.12) basta demostrar que el rango de A, es decir el subespacio vectorial
R(A) = {Au; u V },
es a la vez cerrado y denso en V .

Si v (R(A)) , entonces en particular ((Av, v)) = 0, con lo que kvk2 ((Av, v)) = 0, y por
tanto v = 0. Esto demuestra que (R(A)) = {0}, y en consecuencia que R(A) es denso en V .
Para demostrar que R(A) es cerrado en V , sea vn = Aun una sucesin en R(A) tal que vn v en
V . Teniendo en cuenta (3.10), obtenemos
kun um k kAun Aum k = kvn vm k,
y en consecuencia, la sucesin {un } es de Cauchy, por lo que existe u V tal que un u. As pues,
como A L(V ), vn = Aun Au, es decir, v = Au y por tanto v R(A).
Para obtener la caracterizacin de u
b cuando a(, ) es simtrica, se observa que en este caso se puede
considerar sobre V un nuevo producto escalar que denotaremos ((, ))a definido por
((u, v))a = a(u, v) u, v V.
Dicho producto escalar induce sobre V una norma, que denotaremos k ka , equivalente a k k y, en
consecuencia, V con dicha norma es tambin un espacio de Hilbert, y f tambin pertenece al dual
topolgico de V cuando se considera a V dotado de la norma k ka . As pues, por el teorema de Riesz,
existe un y slo un elemento u
ef V tal que
f (v) = ((e
uf , v))a v V.
Resolver el problema (3.11) equivale a resolver
((b
u, v))a = ((e
uf , v))a v V,
y en consecuencia la solucin u b de (3.11) est caracterizada por ser u

b = u
ef , es decir, por resolver
2
mn kv u
f ka . Basta ahora observar que
vV

ef k2a = mn kvk2a 2((e
mn kv u uf k2a = ke
uf , v))a + ke uf k2a + mn (a(v, v) 2f (v)) .
vV vV vV
Observacin 3.2.14 En el caso simtrico podemos demostrar la caracterizacin de otra forma. De

hecho vamos a probar que:
(
u
V
(3.13)
a(
u, v) = f (v) v V,
es equivalente a
(
u
V
(3.14)
a(
u, u
) 2f (
u) a(v, v) 2f (v) v V.
Demostracin.-
a) (3.13)=(3.14). Como a es simtrica y se tiene (3.13) entonces:
0 a(
u v, u
v) = a(
u, u
) 2a(
u, v) + a(v, v) = a(
u, u
) 2f (v) + a(v, v),
luego
(3.15) a(
u, u
) a(v, v) 2f (v).
Como de (3.13) se tiene 2a(

u, u
) = 2f (
u) i.e. a(
u, u
) 2f (
u) = a(
u, u
), entonces de (3.14) se deduce
(3.15).
b) (3.14)=(3.13). Para todo t R y todo v V , reemplazando v por u + tv en (3.14) y teniendo
en cuenta que a es simtrica, obtenemos:
a(
u, u
) 2f (
u) a(
u + tv, u
+ tv) 2f (
u + tv) = a(
u, u
) 2f ( u, v) 2tf (v) + t2 a(v, v),
u) + 2ta(
luego
(3.16) u, v) f (v)) + t2 a(v, v) 0 t R v V.

2t (a(
Dividiendo por t en (3.16) se obtiene:
2 (a(
u, v) f (v)) + ta(v, v) = 0 t R v V,
y haciendo t tender a cero se obtiene (3.13).
Observacin 3.2.15 En las condiciones del teorema de Lax-Milgram, es evidente que la igualdad
a(b
u, v) = f (v) v V , junto a la coercividad, implican en particular que
uk2 a(b
kb u, u
b) = f (b
u) kf kkb
uk,
y en consecuencia se obtiene la dependencia continua de u

b respecto de f :
1
kb
uk kf k.

3.3. Algunos espacios de funciones. Distribuciones.

En todo lo que resta del Captulo, denota un abierto no vaco de RN (N entero mayor o igual
que 1). Denotamos por |x| la norma eucldea de x RN , y por B(x0 , r) la bola abierta (respecto de
la norma eucldea) de centro x0 RN y radio r > 0.
Se recuerda que se denota por C 0 () al conjunto de las funciones continuas definidas sobre con
valores reales. Si k es un entero mayor o igual que 1, se denota por C k () al conjunto de las funciones
C 0 () tales que existen y pertenecen a C 0 () todas las derivadas parciales de de orden menor
o igual que k. Finalmente, se define \
C () = C k ().
k1
Los conjuntos precedentes, con la suma de funciones y el producto de un escalar real por una funcin
usuales, son espacios vectoriales sobre R.
Definicin 3.3.1 Dada C 0 (), se define el soporte de como el conjunto
(3.17) sop = {x ; (x) 6= 0},
donde {...} denota la clausura en RN .
En consecuencia sop es un conjunto cerrado contenido en . En el caso en que sop es compacto y

est contenido en , se dice que es de soporte compacto en . Se definen los subconjuntos de C 0 ()
siguientes:
(3.18) Cc0 () = { C 0 (); es de soporte compacto en },

(3.19) Cck () = C k () Cc0 (),
(3.20) D() = Cc () = C () Cc0 ().
Es inmediato que todos los conjuntos definidos precedentemente son subespacios vectoriales de
C 0 ().A D(), el espacio de las funciones de clase infinito y de soporte compacto en , se le denomina
tambin el espacio de las funciones test.
El espacio D() es rico en funciones. En primer lugar, partiendo de la funcin de variable real
(t) = e1/t 1{t<0} , que pertenece a C (R), es posible construir funciones de D() distintas de la
idnticamente nula. En concreto:
Lema 3.3.2 Dados x0 RN y r > 0, existe una funcin D(RN ) tal que > 0 en B(x0 , r) y
sop = B(x0 , r).
Demostracin.- Basta tomar (x) = (|x x0 |2 r2 ).
Es evidente que si x0 , entonces tomando r > 0 suficientemente pequeo la del lema precedente
estar en D().
A partir del Lema 3.3.2 se obtiene el siguiente resultado, para cuya demostracin se puede consultar
el Apndice E.
Proposicin 3.3.3 Dado K , con K compacto, existe D() tal que 0 (x) 1 en y
1 en un entorno de K.
A continuacin, recordamos las nociones bsicas sobre los espacios Lp (). Denotamos por M()
al conjunto de las funciones definidas sobre con valores reales que son medibles en el sentido de
Lebesgue. Es bien conocido que M() es un R-espacio vectorial con la suma y producto por escalar
usuales.
Por L1 () denotamos el subespacio vectorial de M() constituido por las funciones integrables en
respecto de la medida Zde Lebesgue. ZSi u L1 (), denotamos la integral de u en respecto de la
medida de Lebesgue por u(x) dx = u.

Resulta conveniente identificar las funciones medibles que son iguales casi por doquier (c.p.d) en
, esto es, que son iguales salvo en un subconjunto de de medida Lebesgue cero. Esto se traduce
en considerar en vez de M() el espacio cociente M()/N , donde N denota el subespacio vectorial
de M() constituido por las funciones que valen cero c.p.d. en . A este respecto se recuerda que
C 0 () M(), y que si u y v son dos funciones de C 0 () tales que u = v c.p.d. en , entonces
u(x) = v(x) para todo x . En consecuencia, no existe ambigedad en identificar una funcin de
C 0 () con la clase de M()/N a la que pertenece, lo cual permite escribir C 0 () M()/N .
Se recuerda que si p [1, +), se define Lp () por
Z
p
L () = {u M()/N ; |u(x)|p dx < +}.

Lp () es un subespacio vectorial de M()/N . Sobre Lp () se define la norma

Z 1/p
p
kukLp () = |u(x)| dx .

Con dicha norma, Lp () es un espacio de Banach. En particular, la norma en L2 () est inducida por
el producto escalar Z
(u, v)L2 () = u(x)v(x) dx u, v L2 (),

y en consecuencia, L2 () es un espacio de Hilbert.

Se define L () como el subespacio vectorial de M()/N constituido por las clases de funciones
que estn acotadas c.p.d. en . Sobre L () se considera la norma
kukL () = inf{M > 0; |u(x)| M c.p.d. en }.
Con dicha norma L () es un espacio de Banach.

Es inmediato comprobar que Cc0 () Lp () y C 0 () 6 Lp () p [1, +].
Se suponen conocidos los siguientes resultados:

0
1. (Desigualdad de Hlder) Si u Lp () y v Lp (), con p [1, +] y p0 el exponente
1 1
conjugado de p, esto es, tal que + 0 = 1, entonces el producto uv L1 () con
p p
Z
|u(x)v(x)| dx kukLp () kvkLp0 () .

2. (Teorema de Convergencia dominada) Sea {un } una sucesin de funciones de Lp (), con
p [1, +), tal que:
i) Existe lm un (x) = u(x) c.p.d. en , y

n
ii) Existe v Lp () tal que para todo n |un (x)| v(x) c.p.d. en .
Entonces u Lp () y lm kun ukLp () = 0.

n
Suponemos tambin conocido que para todo p [1, +), el espacio Cc0 (RN ) es denso en Lp (RN ).
La demostracin de este importante resultado puede consultarse en [8]. De manera ms precisa, se
tiene:
Teorema 3.3.4 Para todo p [1, +) el espacio D() es denso en Lp ().
Demostracin.- Esbozamos la demostracin, quedando los detalles para el Apndice E.

En primer lugar, sea u Lp () tal que u = 0 c.p.d. en \ K, con K compacto. Sea
(t) = e1/t 1{t<0} , y denotemos (x) = (|x|2 1). Consideremos la sucesin de funciones, llamada
sucesin regularizante, definida por
nN (nx)
(3.21) n (x) = Z x RN .
(y) dy
RN
Es inmediato comprobar que (n )n1 D(RN ), y que para todo n 1 se satisface que n 0 en RN ,
Z
1
sop n B(0, ), y n (x) dx = 1.
n RN
Para cada n 1, sea n la funcin definida por
Z
n (x) = n (x y)u(y) dy x RN .

De los resultados del Apndice E, se obtiene que para cada n 1, la funcin n est bien definida,
1
pertenece a C (RN ), el soporte de n est contenido en K + B(0, ), y la sucesin n converge a u
e
n
en Lp (RN ), donde u
e es la prolongacin por cero de u a RN \ . Con esto, es inmediato, que existe un
n0 1 tal que para todo n n0 , n D() y n u en Lp ().
Ahora, sea u Lp () tal que no es cero c.p.d fuera de un compacto contenido en . Definamos
para cada entero n 1 el conjunto
1
n = {x ; d(x, RN \ ) > , |x| < n}.
n
Es fcil comprobar que los conjuntos n as definidos son abiertos tales que n es un compacto
contenido en , y se satisface [
n n+1 y n = .
n1
Denotemos un = u1n , por el teorema de convergencia dominada de Lebesgue, es inmediato que

un u en Lp (). Basta ahora observar que cada un es cero fuera de un compacto contenido en .
Como consecuencia inmediata del Teorema 3.3.4, se tiene:
Z
2
Corolario 3.3.5 Si u L () es tal que u(x)(x) dx = 0 para toda D(), entonces u = 0

c.p.d. en .
Demostracin.- Por el Teorema 3.3.4, D() es un subespacio vectorial denso en el espacio de Hilbert
L2 (), as que su ortogonal se reduce al elemento nulo.
Otra consecuencia del Teorema 3.3.4 viene dada por el siguiente resultado:
Proposicin 3.3.6 Para todo p [1, +), el espacio Lp () es separable.
Demostracin.- Basta tener en cuenta el Teorema 3.3.4, y el hecho de que dado K compacto,
el conjunto de los polinomios en las variables x1 , ..., xN con coeficientes racionales es denso en C 0 (K)
(se dejan los detalles como ejercicio).
Observacin 3.3.7 El espacio L () no es separable (una demostracin de esta afirmacin se puede

encontrar en [1]).
Con una demostracin similar a la del Teorema 3.3.4, se obtiene:
Teorema 3.3.8 Dada Cc1 (), existe una sucesin {n } D() tal que para todo p [1, +]
kn kLp () 0, y ki n i kLp () 0 i = 1, ..., N.
Demostracin.- Se toma la sucesin (n )n1 D(RN ), definida por (3.21), que se construy en la
demostracin del Teorema 3.3.4.
Sea Cc1 () dada. Para cada n 1, sea n la funcin definida por
Z
n (x) = n (x y)(y) dy x RN .

De los resultados del Apndice E, se obtiene que para cada n 1, la funcin n est bien definida,
1
pertenece a C (RN ), el soporte de n est contenido en sop + B(0, ), y la sucesin n converge a
n
e en Lp (RN ), y uniformemente en los compactos de RN , donde
e es la prolongacin por cero de a
RN \ . Tambin, por ser e Cc1 (RN ), se tiene que, para cada i = 1, ..., N , la sucesin i n converge
e en Lp (RN ), y uniformemente en los compactos de RN . Con esto, es inmediato, que existe un
a i
n0 1 tal que para todo n n0 , n D() y la sucesin {n }nn0 satisface las conclusiones del
teorema.
Observacin 3.3.9 Motivado, entre otras cosas, por el hecho de que C 0 () 6 Lp (), se introduce el
espacio de las funciones localmente integrables en :
Definicin 3.3.10 Diremos que u es localmente integrable en si u M()/N y para todo K

compacto contenido en la funcin u1K pertenece a L1 (). Al conjunto de todas las (clases de)
funciones localmente integrables en lo denotaremos por L1loc ().
Es inmediato comprobar que L1loc () es un subespacio vectorial de M()/N , as como que se tienen
las inclusiones:
C 0 () L1loc () y Lp () L1loc () p [1, +].
Es importante el siguiente resultado, que generaliza al Corolario 3.3.5, y cuya demostracin se
puede consultar en el Apndice E:
Z
Proposicin 3.3.11 Si u L1loc () es tal que u(x)(x) dx = 0 para toda D(), entonces

u = 0 c.p.d. en .
El espacio D() puede ser dotado de una topologa, la denominada topologa lmite inductivo, que
no proviene de una norma, pero que es compatible con la estructura de espacio vectorial del mismo.
Nos contentamos con describir en qu se traduce la convergencia de sucesiones para esta topologa.
Definicin 3.3.12 Sean {n }n1 una sucesin en D() y D(). Diremos que n converge a
en D(), y escribiremos n en D(), si
1. Existe un compacto K contenido en tal que el sopn K, n, y
2. max | n (x) (x)| 0 cuando n tiende a infinito, para todo multindice INN .
x
(naturalmente, 0 es la identidad).
Es inmediato comprobar la compatibilidad de la nocin de convergencia anterior con la estructura

de espacio vectorial de D(), es decir, si n converge a y n converge a en D(), y n converge a
en R, entonces n + n converge a + y n n converge a en D(). En particular, n converge
a en D() si y slo si n converge a cero en D().
Como ya hemos dicho, es posible introducir en D() una topologa para la que la nocin de
convergencia de sucesiones coincide con la de la Definicin 3.3.12. Al dual topolgico de D(), es decir
al espacio vectorial de las formas lineales continuas sobre D(), se le denota D0 () y se le denomina
el espacio de las distribuciones sobre .
Nos vamos a contentar con una definicin equivalente de D0 () que tan slo utiliza la nocin de
convergencia de sucesiones en D().
Definicin 3.3.13 Una distribucin sobre es cualquier aplicacin T : D() IR tal que:
1. T es lineal,
2. T es (secuencialmente) continua, es decir, tal que
n en D() = T (n ) T () en IR.
Al conjunto de todas las distribuciones sobre se le denota D0 ().

A partir de ahora, si T D0 (), usaremos de manera indistinta las notaciones T () y < T, >. Es
inmediato comprobar que dada T : D() IR lineal, T es una distribucin sobre si y slo si
n 0 en D() =< T, n > 0 en IR.
El conjunto D0 () dotado de las operaciones suma y producto por escalar definidos de manera
natural, es un espacio vectorial. El espacio D0 () es muy rico en elementos, en particular toda funcin
de L1loc () es identificable con una distribucin sobre . En concreto se tiene:
Proposicin 3.3.14 Para cada u L1loc () denotemos por Tu la aplicacin definida sobre D() con
valores en IR dada por
Z
(3.22) < Tu , >= u(x)(x) dx D().

Entonces se tiene
1. Tu D0 (),
2. La aplicacin u L1loc () Tu D0 () es lineal, inyectiva y no sobreyectiva.
Demostracin.- Es inmediato, a partir de los resultados obtenidos hasta ahora, todo salvo que la
aplicacin dada por u L1loc () Tu D0 () sea sobreyectiva. Un ejemplo de distribucin sobre
que no es identificable mediante (3.22) con una funcin de L1loc () lo constituye la delta de Dirac en
un punto de . Dado a , se define a (la delta de Dirac en a) como la aplicacin
a : D() 7 (a) R.
Es inmediato comprobar que a D0 (). Supongamos que existe u L1loc () tal que Tu = a como
elementos de D0 (), es decir:
Z
u(x)(x) dx = (a) D().

Entonces, en particular
Z
u(x)(x) dx = 0 D( \ {a}),

y en consecuencia, por la Proposicin 3.3.11, u = 0 c.p.d. en \ {a}, y por tanto tambin u = 0 c.p.d.
en . As: Z
0= u(x)(x) dx = (a) D(),

contra el hecho de que sabemos que existen funciones D() tales que (a) = 1.
Observacin 3.3.15 A partir de ahora, si u L1loc () identificamos, si no hay confusin, u con la

distribucin Tu sobre definida por (3.22) y se le llama distribucin regular. Con esta identificacin,
teniendo en cuenta 2. de la proposicin precedente, resulta que L1loc () es un subespacio vectorial propio
de D0 ().
Sobre el espacio D0 () es posible definir una topologa (a partir de la de D()) para la que la nocin
de convergencia de sucesiones se traduce en la definicin siguiente:
Definicin 3.3.16 Dada una sucesin {Tn }n1 en D0 (), diremos que la sucesin converge a un
elemento T D0 (), cuando n tiende a infinito, si para toda en D() se satisface:
(3.23) lm < Tn , >=< T, > .

n
Observacin 3.3.17 Es fcil comprobar que el lmite es nico. Tambin es fcil ver que si un u
en Lp (), entonces un u en D0 ().
Vamos ahora a introducir un concepto de derivacin en D0 () de tal manera que toda distribucin
va a ser derivable de todos los rdenes. En particular, con este concepto, toda funcin de L1loc () ser
derivable en el sentido de D0 ().
Para motivar la definicin consideremos dada una funcin u C 0 (), tal que existe la derivada
parcial (en sentido clsico) k u para algn 1 k N y k u C 0 (). En tal caso Tu y Tk u pertenecen
a D0 () y se puede uno plantear que relacin existe entre Tu y Tk u como distribuciones.
En primer lugar, para toda D() se tiene:
Z Z Z
< Tk u , >= k u(x)(x) dx = k (u)(x) dx u(x)k (x) dx = < Tu , k > .

En consecuencia se tiene:
(3.24) < Tk u , >= < Tu , k > D().
Ms generalmente se tiene que si u C k () entonces:
(3.25) < T u , >= (1)|| < Tu , > D() || k.
Es fcil comprobar que si T es un elemento cualquiera de D0 () y es un multndice de derivacin

cualquiera, la aplicacin
D() < T, > IR
define un elemento de D0 (). Queda, en consecuencia, motivada y con sentido la definicin que sigue:
Definicin 3.3.18 Dada T en D0 (), para cualquier multindice se define T , la derivada de

T , como el elemento de D0 () determinado de manera unvoca por la igualdad
(3.26) < T, >= (1)|| < T, >, D().
Con esta nocin, toda distribucin, y en particular toda funcin localmente integrable, es derivable
de cualquier orden, y se tiene la independencia del orden en la derivacin, es decir, para todo par y
de multindices de derivacin y toda T D0 (), se tiene:
( T ) = ( T ) = + T.
Es tambin fcil comprobar que la derivacin es una operacin lineal secuencialmente continua en
D0 (), es decir, para todo multindice de derivacin la aplicacin
T D0 () 7 T D0 (),
es lineal y tal que

Tn T en D0 () = Tn T en D0 ().
Observacin 3.3.19 Naturalmente, existen funciones de L2 () que no son derivables en sentido clsi-
co, pero s poseen derivada en el sentido de D0 (). As, por ejemplo, si tomamos = (1, 1)(1, 1)
R2 , y u : 7 R definida por (
x1 si x1 0,
u(x1 , x2 ) =
0 si x1 < 0,
es un sencillo ejercicio comprobar que u L2 (), no posee derivada clsica respecto de x1 en todos los
puntos de la forma (0, x2 ) , pero la funcin
(
1 si x1 0,
v1 (x1 , x2 ) =
0 si x1 < 0,
pertenece a L2 () y es la derivada en el sentido de D0 () de primer orden de u respecto de x1 .
3.4. Los espacios de Sobolev H 1 (), H01 () y H 1 ().

Como en la seccin anterior denota un abierto no vaco de RN (N 1).
Definicin 3.4.1 Se define el espacio de Sobolev H 1 () como el conjunto de todas las (clases de)
funciones de L2 () tales que sus derivadas primeras en el sentido de D0 () pertenecen a L2 (). Es
decir:
(3.27) H 1 () = {u L2 (); i u L2 () 1 i N }.
Observacin 3.4.2 Se observa que u H 1 () si y slo si u L2 () y existen vi L2 (), 1 i N ,

tales que
Z Z
(3.28) vi dx = ui dx D() 1 i N,

y en tal caso vi = i u.
La Definicin 3.4.1 tiene perfecto sentido, ya que la igualdad i Tu = Tvi , donde u y vi pertenecen a
L1loc (), determina de manera unvoca, dada u, a vi .
Observacin 3.4.3 Si u y vi L2 () satisfacen la relacin (3.28), entonces, por el Teorema 3.3.8,
es inmediato que se satisface tambin
Z Z
(3.29) vi dx = ui dx Cc1 (),

y en consecuencia, (3.29) puede ser usada, sustituyendo a (3.28), como la definicin de derivada de
primer orden de u respecto de xi en D0 ().
Es inmediato comprobar que H 1 () es un subespacio vectorial de L2 () que contiene a Cc1 (), y
H 1 ().
que C 1 () 6 H 1 (). Si es acotado, entonces C 1 ()
Sobre H 1 () se define el producto:
(3.30) (u, v)H 1 () = (u, v)L2 () + (u, v)L2 ()N
donde
Z N Z
X
(3.31) (u, v)L2 ()N = u v dx = i ui v dx.
i,j=1
Se tiene:
Teorema 3.4.4 La igualdad (3.30) define un producto escalar en H 1 (). Dotado de dicho producto
escalar, H 1 () es un espacio de Hilbert.
Demostracin.- Es inmediato comprobar que (3.30) define en H 1 () un producto escalar.

Por otra parte, sea {un } H 1 () una sucesin de Cauchy para la norma inducida por (3.30). En
tal caso {un } y {i un } son sucesiones de Cauchy en L2 (), con lo que existen u y vi pertenecientes a
L2 () tales que
(3.32) un u y i un vi en L2 ().
Lo que queda por demostrar es que vi = i u, en cuyo caso estar probado que u H 1 () y un
converge a u en H 1 (). Para ello, basta tener en cuenta que (3.32) implica que
(3.33) un u y i un vi en D0 (),
y que un u en D0 () implica que tambin i un i u en D0 (). Esto ltimo, junto a (3.33) implica
que vi = i u, como queramos.
Observacin 3.4.5 A partir de ahora consideramos siempre a H 1 () dotado del producto escalar
definido por (3.31). La norma inducida en H 1 () por dicho producto escalar viene dada por
1/2
(3.34) kukH 1 () = kuk2L2 () + kuk2L2 ()N ,
donde
N
X
(3.35) kuk2L2 ()N = ki uk2L2 () .
i=1
Observacin 3.4.6 De la demostracin del Teorema 3.4.4 se concluye que para probar que una suce-
sin {un } H 1 () es convergente en H 1 () basta comprobar que {un } y {i un }, 1 i N , son
convergentes en L2 ().
Teorema 3.4.7 El espacio de Hilbert H 1 () es separable.

N +1
Demostracin.- Sea Y = L2 () , dotado del producto escalar
N
X
((u0 , u1 , ..., uN ), (v0 , v1 , ..., vN )) = (ui , vi )L2 () .
i=0
El espacio Y es separable por serlo L2 (). Denotemos por J a la aplicacin
J : u H 1 () 7 (u, 1 u, ..., N u) Y.
El conjunto J(H 1 ()) Y es separable por serlo Y . Por otra parte, es inmediato que J es lineal

y conserva las normas, y en particular es inyectiva. En consecuencia J 1 J(H 1 ()) (= H 1 ()) es
separable.
Observacin 3.4.8 Evidentemente D() es un subespacio vectorial de H 1 (). En general D() no

es denso en H 1 (), pero s que se tiene la densidad en el caso = RN , es decir, D(RN ) es denso
en H 1 (RN ) (ver [1] para la demostracin). Si es un abierto conexo y acotado con C 0 , o
= RN 0 N
+ = {x = (x , xN ) R ; xN > 0}, entonces se puede demostrar que D() (el conjunto de las
restricciones a de las funciones de D(RN )) es denso en H 1 () (ver [2]).
Como en general D() no es denso en H 1 (), se introduce la definicin siguiente:
Definicin 3.4.9 Se define el espacio H01 () como la clausura de D() en H 1 (). En consecuencia,
H01 () es un subespacio vectorial cerrado de H 1 (), y dotado del producto escalar de H 1 (), el espacio
H01 () es un espacio de Hilbert separable.
Observacin 3.4.10 Por la Observacin 3.4.8, H01 (RN ) = H 1 (RN ), pero en general H01 () 6= H 1 ().
Se puede demostrar que si u H 1 () y existe K compacto tal que u = 0 c.p.d. en \ K, entonces
u H01 () (ver [1]). En [1] tambin puede encontrarse la demostracin de que si u H 1 () C 0 (),
y u| = 0, entonces u H01 ().
Por otra parte, en [2] se puede consultar la demostracin del siguiente resultado, que ser estudiado
en la asignatura Ampliacin de Ecuaciones en Derivadas Parciales, y que indica que la pertenencia de
u a H01 () implica, en algn sentido, que u se anula sobre (obsrvese que a priori no tiene sentido
hablar de los valores de una clase de funciones iguales casi por doquier sobre un conjunto, en general
de medida nula en RN , como ):
Teorema 3.4.11 (de trazas) Sea RN un abierto conexo acotado de frontera de clase C 0,1 (o sea
= RN 1 2
+ ). Bajo estas condiciones, existe una y slo una aplicacin L(H (); L ())tal que
(3.36) () = | Cc1 (RN ).
A se le denomina la aplicacin traza (de orden cero) sobre . A (u) se le denomina la traza de
u sobre , y por abuso de notacin se denota (u) = u| (el valor"de u sobre la frontera de ).
Adems para dicha aplicacin se satisface que el conjunto (H 1 ()) est contenido estrictamente en
L2 (), el ncleo de coincide con H01 (), es decir,
H01 () = {u H 1 (); (u) = 0},
y
Z Z Z
(3.37) ui v dx = vi u dx + (u)(v)ni d u, v H 1 ().

A (3.37) se le denomina la frmula de Green generalizada.
Hechas estas consideraciones, exponemos a continuacin un resultado importante que en particular

permite, cuando es acotado, cambiar de producto escalar en H01 () y obtener una norma equivalente
a la de H 1 ().
Teorema 3.4.12 (desigualdad de Poincar) Si es acotado en al menos una direccin entonces existe
una constante C > 0, que slo depende de , tal que
Z N Z
X
2
(3.38) |u(x)| dx C |i u(x)|2 dx, u H01 ().
i=1
Demostracin.- Por densidad, basta demostrar (3.38) en el caso en que u = D(). Supongamos,
por fijar ideas, que es acotado en la direccin de x1 . En tal caso, existe un M > 0, que fijamos, tal
que (M, M ) RN 1 .
Consideremos extendida por cero a RN \ ; as D(RN ) con
sop (M, M ) RN 1 .
Si (x1 , x2 , ..., xN ) (M, M ) RN 1 , entonces

Z x1
(x1 , x2 , ..., xN ) = t (t, x2 , ..., xN ) dt
M
y Z M
(x1 , x2 , ..., xN ) = t (t, x2 , ..., xN ) dt,
x1
con lo que tomando valores absolutos, sumando ambas igualdades, y aplicando la desigualdad de
Cauchy-Schwarz, obtenemos, tras elevar al cuadrado,
Z M
2
4|(x1 , x2 , ..., xN )| 2M |t (t, x2 , ..., xN )|2 dt.
M
Integrando esta ltima desigualdad se obtiene:

Z Z M Z
2 2 2
4 |(x)| dx = 4M |(x1 , x2 , ..., xN )| dx2 , ..., dxN dx1
M RN 1
Z Z M
4M 2 |t (t, x2 , ..., xN )|2 dt dx2 , ..., dxN ,
RN 1 M
con lo que se concluye en particular (3.38).
Definicin 3.4.13 Si es acotado en al menos una direccin, se define

N Z
X
(3.39) (u, v)H 1 () = (u, v)L2 ()N = i ui v dx u, v H01 ().
0
i=1
De la desigualdad de Poincar se deduce que entonces (, )H 1 () es un producto escalar sobre H01 ()

0
que induce una norma equivalente a la de H 1 (), dada por
(3.40) kukH 1 () = kukL2 ()N .

0
A continuacin, introducimos el espacio H 1 ().

Definicin 3.4.14 Se define el espacio H 1 () como el dual topolgico de H01 ().
Sobre la estructura de H 1 () se tiene el resultado siguiente:
Teorema 3.4.15 Se tiene:
1. Si f0 , f1 ,..., fN , son N + 1 funciones pertenecientes a L2 (), la aplicacin F : H01 () 7 R
definida por
Z n Z
X
(3.41) F (v) = f0 v dx + fi i v dx, v H01 (),
i=1
est bien definida, es lineal y satisface

N !1/2
X 2
|F (v)| kfi kL2 () kvkH 1 () v H01 ().
i=0
En consecuencia, F H 1 ().
2. Recprocamente, si F H 1 (), entonces existen N + 1 funciones f0 , f1 ,..., fN en L2 () tales

que se satisface (4,15), y
N !1/2
X
2
kF kH 1 () = kfi k L2 () .
i=0
Adems, si es acotado en al menos una direccin, entonces se puede tomar f0 = 0.
Demostracin.- La demostracin de 1. es inmediata. En cuanto a 2., basta tener en cuenta el teorema

de representacin de Riesz aplicado al espacio de Hilbert H01 (), por el que dado F H 1 (), existe
un elemento uF H01 () tal que
F (v) = (uF , v)H 1 () v H01 (), y kF kH 1 () = kuF kH 1 () .
Basta entonces tomar f0 = uF , y fi = i uF , i = 1, ..., N.

Cuando es acotado en al menos una direccin, para la demostracin de 2. se puede razonar igual
pero considerando sobre H01 () el producto escalar (, )H 1 () definido por (3.39).
0
Observacin 3.4.16 A partir de ahora, siempre consideraremos L2 () identificado con su dual topolgi-
co por el teorema de representacin de Riesz, pero no identificaremos H01 () con H 1 (), sino que
identificaremos los elementos de H 1 () por la frmula (3.41). De esta forma, L2 () queda identificado
con un subespacio de H 1 (), y obtenemos
H01 () L2 () H 1 ().
Observacin 3.4.17 Teniendo en cuenta la nocin de derivada de primer orden respecto de xi en

el sentido de las distribuciones en , y la densidad de D() en H01 (), el teorema precedente lo que
afirma es que F H 1 () si y slo si existen N + 1 funciones f0 , f1 ,..., fN en L2 () tales que
N
X
F = f0 i fi en el sentido de las distribuciones en .
i=1
Observacin 3.4.18 Utilizando la misma argumentacin que en la demostracin del Teorema 3.4.15,
es fcil concluir que dado F (H 1 ()) tambin existen N + 1 funciones f0 , f1 , ..., fN en L2 () tales
que se satisface (3.41) para toda v H 1 (), y
N !1/2
X
2
kF k(H 1 ()) = kfi k L2 () .
i=0
3.5. Solucin dbil del problema de Dirichlet para el Laplaciano.

En esta seccin, analizamos un problema que contiene en particular a los problemas (P DL) y
(P DP ) estudiados en el Captulo 2. Para dicho problema, vamos a introducir el concepto de solucin
dbil, y vamos a establecer la existencia y unicidad de este tipo de soluciones.
Consideremos en primer lugar el problema
(
u = f en ,
(3.42)
u = 0 sobre .
Definicin 3.5.1 Sea RN un abierto acotado, y f L2 () dada. Se denomina solucin dbil del
problema (3.42) a cualquier funcin u que sea solucin de

1
u H0 (),
(3.43) Z Z

u v dx = f v dx v H01 ().

Observacin 3.5.2 Es inmediato comprobar, teniendo en cuenta la densidad de D() en H01 (), que
el problema (3.43) es equivalente a
(
u H01 (),
(3.44)
u = f en D0 ().
En consecuencia, (3.44) puede ser tomada de manera equivalente como la definicin de solucin dbil
del problema (3.42). A la formulacin (3.43) del concepto de solucin dbil se le denomina tambin
formulacin variacional del problema (3.42).
Observacin 3.5.3 El concepto de solucin dbil de (3.42) es una generalizacin del de solucin
clsica. En concreto, si suponemos que RN es un abierto acotado, f C 0 () L2 (), y u
C 2 () C 0 () es solucin clsica de (3.42) tal que u L2 ()N , entonces u es solucin dbil de
(3.42). En efecto, en primer lugar observemos que u(x) = f (x) en todo punto de , implica que
u = f en D0 (). Por otra parte, evidentemente u H 1 () C 0 () y u = 0 sobre , y ello implica
(ver [1]) que u H01 (). As pues, u es solucin de (3.44), y por tanto de (3.43).
Es fcil obtener el siguiente resultado:
Proposicin 3.5.4 Si RN es un abierto acotado, entonces para cada f L2 () existe una y slo
una u solucin dbil de (3.42). Dicha u viene caracterizada por
Z Z Z Z
1 2 1 2
(3.45) |u| dx f u dx = mn |v| dx f v dx .
2 vH01 () 2
Adems (dependencia continua respecto del dato f ) existe una constante C > 0, que slo depende de
, tal que
kukH 1 () Ckf kL2 () .
Demostracin.- Es inmediata. Basta recordar el Teorema 3.4.12 de Poincar y aplicar el Lema 3.2.13
de Lax-Milgram en V = H01 (), con kvk = kvkL2 ()N ,
N Z
X Z
a(u, v) = i ui v dx y f (v) = f v dx.
i=1

La nocin de solucin dbil, y la existencia y unicidad de la misma, puede ser extendida a situaciones
ms generales. Por ejemplo, consideremos dadas una funcin c L (), N +1 funciones fi , 0 i N ,
en L2 (), y una funcin ge H 1 (). Consideremos el problema
N

X
u + c(x)u = f0 i fi en ,
(3.46) i=1

u = ge sobre .D0 ().
Definicin 3.5.5 Diremos que u es una solucin dbil de (3.46) si

u ge + H01 (),

(3.47) Z Z Z N Z
X

u v dx + c(x)uv dx = f0 v dx + fi i v dx v H01 ().

i=1
Observacin 3.5.6 Al igual que pasaba con el problema (3.42), es sencillo comprobar, teniendo en
cuenta la densidad de D() en H01 (), que el problema (3.47) es equivalente a

u ge + H01 (),

N
X

en D0 ().
u + cu = f0 i fi
i=1
Para el problema (3.46) tenemos el siguiente resultado:
Proposicin 3.5.7 Sean RN abierto acotado, c L () tal que c 0 c.p.d. en , fi , 0 i N ,

N + 1 funciones en L2 (), y g H 1 () dadas. Entonces, existe una y slo una funcin u solucin
dbil de (3.46). Dicha solucin dbil viene caracterizada por
Z Z Z N Z
X
1 2 2
|u| dx + c(x)u dx f0 u dx fi i u dx
2
i=1
" Z Z Z N Z
#
1 X
2 2
(3.48) = mn |v| dx + c(x)v dx f0 v dx fi i v dx .
g +H01 () 2
ve i=1
Adems (dependencia continua respecto de los datos ) existe una constante C > 0, que slo depende de
y de kckL () , tal que
N
!
X
(3.49) kukH 1 () C kfi kL2 () + ke
g kH 1 () .
i=0
Demostracin.- Sea V = H01 () con el producto escalar (u, v) = (u, v)L2 ()N . Consideremos
Z Z
a(u, v) = u v dx + c(x)uv dx,

forma bilineal simtrica continua en H 1 (), y coerciva en el espacio V .

Denotemos para v V,
Z N Z
X
fe(v) = f0 v dx + fi i v dx,
i=1
y
f (v) = fe(v) a(
g , v).
Es inmediato que f H 1 (), y que u es solucin dbil de (3.46) si y slo si
(3.50) u = ge + u
e, e H01 (),
con u y u, v) = f (v) v H01 ().
a(e
Para obtener ahora la existencia y unicidad de solucin dbil de (3.46), as como la caracterizacin
(3.48), basta aplicar el teorema de Lax-Milgram, y tener en cuenta que

1 1 1
mn a(e
v , ve) f (e
v ) = mn g + ve, ge + ve) fe(e
a(e g , ge) + fe(e
g + ve) a(e g ).
eH01 () 2
v eH01 () 2
v 2
Finalmente, la obtencin de la estimacin (3.49) es consecuencia de que si u es solucin dbil de

(3.46), entonces
kukH 1 () ke
g kH 1 () + ke
ukH 1 () ,
con u
e dada por (3.50). Entonces, en particular,
uk2H 1 () a(e
ke e) = fe(e
u, u u) a(e
g, u
e)
0
N !
X
(1 + kckL () ) kfi kL2 () + ke
g kH 1 () ke
ukH 1 () .
i=0
Basta ahora tener en cuenta la equivalencia de las normas k kH 1 () y k kH 1 () en H01 ().

0
Captulo 4
TEORA ESPECTRAL DE
OPERADORES COMPACTOS
4.1. Relaciones de ortogonalidad entre rango y ncleo de un operador

y su adjunto
Sean H y G dos espacios de Hilbert reales. Denotaremos por k k, de manera indistinta, a la norma
en H y a la norma en G, y por (, ) al producto escalar en H o en G que induce dicha norma.
Dado un operador T L(H, G), se denota por N (T ) al ncleo de T , y R(T ) al rango de T , definidos
respectivamente por
N (T ) = T 1 (0) = {x H; T x = 0}, R(T ) = T (H) = {T x; x H}.
Se recuerda que N (T ) es un subespacio vectorial cerrado de H, y que R(T ) es un subespacio vectorial,

no necesariamente cerrado, de G.
El ncleo y el rango de un operador lineal continuo entre dos espacios de Hilbert y su adjunto,
satisfacen las siguientes relaciones:
Proposicin 4.1.1 Para todo operador T L(H, G) se verifica:
1. N (T ) = R(T ) .
2. N (T ) = R(T ) .
3. N (T ) = R(T ).
4. N (T ) = R(T ).
Demostracin.- En primer lugar, se tiene que
x N (T ) T x = 0 (T x, y) = 0 y G
(x, T y) = 0 y G x R(T ) ,
y por tanto, se satisface 1.

Teniendo en cuenta que H = R(T ) R(T ) , la propiedad 3. es consecuencia inmediata de 1.
Ahora, 2. y 3. son consecuencias directas de 1. y 3., y del hecho de que (T ) = T.
67
4.2. Compacidad y operadores compactos

Sean X y Y dos espacios de Banach reales, cuya norma denotamos por k k, de manera indistinta.
Denotemos por BX a la bola unidad cerrada de X:
BX = {x X; kxk 1}.
Definicin 4.2.1 Un operador T L(X, Y ) se dice que es compacto si el conjunto T (BX ) es relati-
vamente compacto en Y .
Observacin 4.2.2 Recordemos que un conjunto C Y se dice que es relativamente compacto en Y

si su clausura C es un compacto en Y , es decir, de todo recubrimiento del conjunto C por subconjuntos
abiertos de Y , se puede extraer un subrecubrimiento finito de C.
De manera equivalente, si Y es un espacio mtrico, C Y es relativamente compacto en Y si
y slo si de toda sucesin de elementos de C se puede extraer una subsucesin convergente en Y .
En consecuencia, es sencillo comprobar que un operador T L(X, Y ) es compacto si y slo si de
toda sucesin {xn } X que sea acotada, se puede extraer una subsucesin {xnk } tal que {T xnk } sea
convergente en Y . Tambin, de manera equivalente, es fcil ver que T L(X, Y ) es compacto si y slo
si transforma subconjuntos acotados de X en subconjuntos relativamente compactos de Y .
Observacin 4.2.3 Como Y es, en particular, un espacio mtrico completo, dado un conjunto C Y ,
para determinar si es relativamente compacto en Y , basta comprobar que, para todo > 0, C puede
ser recubierto por un nmero finito de bolas de Y de radio (ver [10]).
Observacin 4.2.4 Es bien conocido el Teorema de Riesz, que nos indica que BX es compacta, si y
slo si X es un espacio vectorial de dimensin finita. En consecuencia, si denotamos por I al operador
identidad de X sobre X, y suponemos que X no es de dimensin finita, I L(X), pero no es un
operador compacto.
Un primer ejemplo de operadores compactos lo constituye el subespacio de L(X, Y ) formado por

los operadores de rango finito.
Definicin 4.2.5 Un operador T L(X, Y ) se dice que es de rango finito si la dimensin de R(T ) =
{T x; x X} es finita.
Observacin 4.2.6 Como en todo espacio normado de dimensin finita un conjunto es relativamente
compacto si y slo si es acotado, resulta evidente que todo operador T L(X, Y ) de rango finito es
compacto.
Es sencillo comprobar que el conjunto de todos los operadores T L(X, Y ) compactos es un

subespacio vectorial de L(X, Y ). Ms exactamente, se tiene:
Teorema 4.2.7 El conjunto de todos los operadores T L(X, Y ) compactos es un subespacio vectorial
cerrado de L(X, Y ).
Demostracin.- Como ya hemos dicho, es sencillo comprobar que toda combinacin lineal de oper-
adores de L(X, Y ) compactos es un operador compacto. Lo que queda por demostrar es que si {Tn }
L(X, Y ) es una sucesin de operadores compactos, y T L(X, Y ) es tal que kTn T kL(X,Y ) 0,
entonces T es tambin compacto. Para ello, basta con demostrar que, fijado > 0, el conjunto T (BX )
puede ser recubierto por un nmero finito de bolas de Y de radio . Fijemos > 0, y tomemos un n

tal que kTn T kL(X,Y ) < . Como Tn (BX ) es relativamente compacto, existe un nmero finito I de
2 [ [

elementos {yi }iI Y tales que Tn (BX ) B(yi , ). En consecuencia, T (BX ) B(yi , ).
2
iI iI
Como consecuencia del Teorema 4.2.7 y la Observacin 4.2.6, resulta inmediato:
Corolario 4.2.8 Si {Tn } L(X, Y ) es una sucesin de operadores rango finito, y T L(X, Y ) es tal
que kTn T kL(X,Y ) 0, entonces T es compacto.
Observacin 4.2.9 Cuando X e Y son espacios de Hilbert, el recproco del Corolario 4.2.8 es tambin
cierto, es decir, si H y G son dos espacios de Hilbert y T L(H, G) es compacto, entonces existe una
sucesin {Tn } L(H, G) de operadores de rango finito tal que kTn T kL(H,G) 0 (ver [1]).
Otro ejemplo de operadores compactos lo constituye la clase de los operadores integrales en C 0 ([a, b])
o en Lp (a, b), con p (1, 2] y a, b finitos. En concreto,
Definicin 4.2.10 Sea K C 0 ([a, b] [a, b]) una funcin dada. Se denomina operador integral en
C 0 ([a, b]) de ncleo integral K, al operador T : C 0 ([a, b]) 7 C 0 ([a, b]) definido por
Z b
(4.1) (T )(t) = K(t, s)(s) ds t [a, b], C 0 ([a, b]).
a
1 1
Definicin 4.2.11 Sean p (1, 2] y K Lq ((a, b) (a, b)), con + = 1, dados. Se denomina
p q
operador integral en Lp (a, b) de ncleo integral K, al operador T : Lp (a, b) 7 Lp (a, b) definido por
Z b
(4.2) (T )(t) = K(t, s)(s) ds c.p.d. t (a, b), Lp (a, b).
a
No es difcil demostrar el siguiente resultado:
Teorema 4.2.12 Se tiene:
1. Si K C 0 ([a, b] [a, b]), el operador integral T definido por (4.1) pertenece a L(C 0 ([a, b])), y es
compacto.
2. Si K Lq ((a, b) (a, b)), el operador integral T definido por (4.2) pertenece a L(Lp (a, b)), y es
compacto.
Demostracin.- 1. Es sencillo comprobar que si K C 0 ([a, b] [a, b]), T dado por (4.1) est bien
definido y pertenece a L(C 0 ([a, b])). Adems, en este caso si {n } es una sucesin acotada en C 0 ([a, b]),
es fcil comprobar que {T n } es una sucesin acotada y equicontinua en C 0 ([a, b]), con lo que, por
el Teorema de Ascoli-Arzel, existe una subsucesin de {T n } que es convergente en C 0 ([a, b]), y por
tanto, si K C 0 ([a, b] [a, b]), el operador T definido por (2,1) es compacto en C 0 ([a, b]).
2. Tambin es fcil comprobar que si K Lq ((a, b) (a, b)), el operador T dado por (4.2) est bien
definido y pertenece a L(Lp (a, b)).
Para demostrar en este caso que T es compacto, se supone en primer lugar que K C 0 ([a, b][a, b]).
En tal caso, si {n } es una sucesin acotada en Lp (a, b), es fcil comprobar que {T n } es una sucesin
acotada y equicontinua en C 0 [a, b], con lo que, por el Teorema de Ascoli-Arzel, existe una subsucesin
de {T n } que es convergente en C 0 ([a, b]), y por tanto tambin es convergente en Lp (a, b). As pues,
si K C 0 ([a, b] [a, b]), el operador T definido por (4.2) es compacto en Lp (a, b).
En el caso general, basta tener en cuenta el Teorema 4.2.7, y la densidad del espacio C 0 ([a, b][a, b])
en Lp ((a, b) (a, b)) (se dejan los detalles como ejercicio).
Dos propiedades generales de inters de los operadores compactos vienen dadas por los siguientes
resultados:
Proposicin 4.2.13 Sean X, Y y Z tres espacios de Banach. Si S L(Y, Z), T L(X, Y ), y al

menos uno de los dos es compacto, entonces S T es compacto.
Demostracin.- Es inmediata.
Observacin 4.2.14 De la proposicin precedente y la Observacin 4.2.4, se deduce que si T

L(X, Y ) es compacto y X o Y no son de dimensin finita, entonces T no puede ser biyectivo.
Teorema 4.2.15 (de Schauder) Sean H y G dos espacios de Hilbert reales. Un operador T L(H, G)
es compacto si y slo si su adjunto T es tambin compacto.
Demostracin.- Como T = (T ) , slo hay que demostrar que si T es compacto, entonces T tambin
es compacto.
Supongamos por tanto que T L(H, G) es compacto. Sea {yn } G una sucesin acotada. Lo
que hay que comprobar es que se puede extraer una subsucesin {ynk } {yn } tal que {T ynk } sea
convergente en H. Para ver esto ltimo, denotemos por fn a la aplicacin
fn : z T (BH ) 7 (z, yn ) R.
Es inmediato comprobar que la sucesin F = {fn } constituye una familia acotada y equicontinua de
C 0 (T (BH )). Teniendo en cuenta que T (BH ), con la distancia inducida por la norma de G, es un espacio
mtrico compacto, por el Teorema de Ascoli (ver [10]), podemos afirmar que existe una subsucesin
{fnk } {fn } que es convergente en C 0 (T (BH )). En particular, la sucesin {fnk } es de Cauchy en
C 0 (T (BH )), y por consiguiente, como
0 kT ynk T ynl k = sup |(T x, ynk ) (T x, ynl )| kfnk fnl kC 0 (T (BH )) ,

kxk1
podemos afirmar que {T ynk } es de Cauchy, y por tanto convergente, en H.
4.3. Teorema de alternativa de Fredholm

De manera previa a la demostracin del Teorema central de este pargrafo, recordemos el Lema de
Riesz, que ha sido demostrado en la asignatura Anlisis Funcional:
Lema 4.3.1 (de Riesz) Sean X un espacio normado, y X0 X un subespacio vectorial cerrado de X
tal que X0 6= X. Entonces, para cada (0, 1) existe un elemento x X tal que
kx k = 1 y d(x , X0 ) = inf kx xk .
xX0
Observacin 4.3.2 En el caso en que X un espacio de Hilbert, el Lema 4.3.1 es tambin vlido para
= 1 (hgase como ejercicio).
Nuestro objetivo es demostrar el siguiente resultado:

Teorema 4.3.3 (de alternativa de Fredholm) Sean H un espacio de Hilbert real, T L(H) un operador
compacto, y denotemos por I al operador identidad de H sobre H. Entonces, se satisfacen las siguientes
propiedades:
1. N (I T ) y N (I T ) son de dimensin finita, y de hecho,
(4.3) dim N (I T ) = dim N (I T ).
2. R(I T ) y R(I T ) son cerrados, y por tanto,
(4.4) R(I T ) = N (I T ) y R(I T ) = N (I T ) .
3. N (I T ) = {0} R(I T ) = H, y N (I T ) = {0} R(I T ) = H.
Demostracin.- Denotemos M = N (I T ), que es un subespacio de Hilbert de H. Es inmediato que

BM T (BM ) T (BH ), y en consecuencia BM es compacto, con lo que M es de dimensin finita. En
resumen, N (I T ) es de dimensin finita, y como T es tambin compacto, N (I T ) es de dimensin
finita.
Para demostrar 2., basta ver que R(I T ) es cerrado. Es decir, basta ver que si yn = xn T xn , con
yn y, entonces existe x H tal que y = x T x. En primer lugar, si y = 0, basta tomar x = 0. Por
otra parte, si y 6= 0, podemos suponer que yn 6= 0, es decir xn 6 N (I T ), para todo n. Denotemos
como antes M = N (I T ), subespacio vectorial cerrado de H, y por P al operador de proyeccin
ortogonal de H sobre M . Evidentemente, P xn 6= xn y, como T P xn = P xn ,
(4.5) yn = xn P xn T (xn P xn ).
La sucesin xn P xn est acotada. En efecto, si dicha sucesin no estuviese acotada, habra una
subsucesin xnk P xnk tal que kxnk P xnk k , y en tal caso, denotando
xnk P xnk
znk = M ,
kxnk P xnk k
por (4.5), obtenemos

ynk
(4.6) znk T znk = 0.
kxnk P xnk k
Adems, como kznk k = 1, extrayendo una subsucesin, que vamos a seguir denotando znk , podemos
suponer (ya que T es compacto) que existe z H tal que T znk z, con lo que, por (4.6), znk z, y
z M . Evidentemente, kzk = 1, y como znk M , z M . En resumen, z M M , con lo que
z = 0, y sin embargo kzk = 1, lo cul es un absurdo. As pues, la sucesin xn P xn est acotada.
En consecuencia, existen una subsucesin xnj P xnj y un w H, tales que T (xnj P xnj ) w.
Entonces, por (4.5), xnj P xnj w+y, y por tanto T (xnj P xnj ) T w+T y. As pues, w = T w+T y,
con lo que y = y + w T (y + w), es decir, y R(I T ).
Para demostrar 3., basta comprobar que N (I T ) = {0} R(I T ) = H. Para ello, supongamos
en primer lugar que N (I T ) = {0}, y R(I T ) 6= H. En tal caso, como R(I T ) es cerrado, denotando
H1 = R(I T ), obtenemos un subespacio de Hilbert de H, distinto de H. Adems, T (H1 ) H1 , y
T restringido a H1 es compacto. En consecuencia, H2 = (I T )(H1 ) es un subespacio cerrado de H1 ,
y como I T es inyectivo, H2 est estrictamente contenido en H1 . Definiendo Hn = (I T )n (H),
para n 1, obtenemos una sucesin estrictamente decreciente de subespacios de Hilbert de H. Por
el Lema de Riesz y la Observacin 4.3.2, existe una sucesin {xn } tal que xn Hn , kxn k = 1, y
d(xn , Hn+1 ) 1. Evidentemente, si n > m
T xn T xm = xn (xn T xn ) + (xm T xm ) xm ,
y, como Hn+1 Hn Hm+1 ,
xn (xn T xn ) + (xm T xm ) Hm+1 .
En consecuencia, si n > m, kT xn T xm k 1, lo cul es absurdo por ser T compacto. As pues, si

N (I T ) = {0}, entonces R(I T ) = H.
Recprocamente, si R(I T ) = H, entonces N (I T ) = R(I T ) = {0}, con lo que, por ser T
compacto, R(I T ) = H, y por tanto N (I T ) = R(I T ) = {0}.
Para terminar con la demostracin del teorema, slo nos queda comprobar la igualdad (4.3). De
hecho, como (T ) = T, basta comprobar que dim N (I T ) dim N (I T ).
Procedamos por reduccin al absurdo. Supongamos que dim N (I T ) > dim N (I T ). En tal
caso, como las dimensiones de ambos espacios vectoriales son finitas, existe una aplicacin
: N (I T ) 7 N (I T ),
lineal continua para la norma de H, tal que es inyectiva pero no es suprayectiva. Sea P el operador de
proyeccin ortogonal de H sobre N (I T ), y definamos
S = T + ( P ).
Evidentemente, S L(H), y es compacto ya que T lo es por hiptesis, y ( P ) lo es por ser de rango

finito. Demostremos que N (I S) = {0}. Para ello, observemos que si
0 = x Sx = (x T x) ( P )x,
entonces como x T x R(I T ) = N (I T ) , y ( P )x N (I T ), resulta que x T x = 0 y

( P )x = 0, es decir, x N (I T ), y x = 0, con lo que, por el carcter inyectivo de , x = 0.
Como S es compacto y N (I S) = {0}, por c), R(I S) = H. Pero esto ltimo es absurdo, ya que
existe y N (I T ) tal que y 6 R(); y para este y, si xSx = y, entonces xT x(P )x = y, con
lo que, como x T x R(I T ) = N (I T ) , resulta que x T x = 0, y (x) = y, en contradiccin
con que y 6 R(). Por consiguiente, hemos probado que dim N (I T ) dim N (I T ).
Observacin 4.3.4 El Teorema 4.3.3 es tambin vlido para un operador T L(X), con X espacio
de Banach, estando en este caso definida la ortogonalidad mediante el produto de dualidad (ver [1] para
los detalles).
Observacin 4.3.5 El teorema precedente es denominado de alternativa por la razn siguiente. Si

T L(H) es compacto, para la ecuacin x T x = y podemos afirmar:
o bien la ecuacin homognea asociada x T x = 0 slo posee la solucin nula, y en ese caso para
cada y H existe una y slo una solucin x H de x T x = y,
o bien el espacio vectorial de las soluciones de la ecuacin homognea asociada x T x = 0 es
de dimensin finita n 1, y para y H dado la ecuacin x T x = y posee solucin si y slo si y
satisface n condiciones de ortogonalidad (y N (I T ) ), y en ese caso la ecuacin admite infinitas
soluciones.
Observacin 4.3.6 La propiedad 3. de los operadores compactos puesta de manifiesto en el Teorema

4.3.3 se satisface siempre en dimensin finita. Si la dimensin de H es finita, un operador lineal de H
en H es inyectivo si y slo si es suprayectivo. Por contra, si la dimensin de H es infinita, un operador
T L(H) puede ser inyectivo sin ser suprayectivo, y recprocamente. Por ejemplo, la aplicacin
x = (x1 , x2 , x3 , ....) l2 7 (0, x1 , x2 , ....) l2 ,
es lineal continua e inyectiva, pero no es suprayectiva. Por el contrario, la aplicacin
x = (x1 , x2 , x3 , ....) l2 7 (x2 , x3 , x4 , ....) l2 ,
es lineal continua y suprayectiva, pero no es inyectiva.
4.4. Espectro de un operador compacto en espacio de Banach

En todo el pargrafo denotamos por X un espacio de Banach real de norma k k, por T a un
operador de L(X), y por I a la aplicacin identidad de X sobre X.
Definicin 4.4.1 Se denomina conjunto resolvente de T , y se denota (T ), al conjunto
(T ) = { R; T I es biyectivo de X sobre X}.
Al conjunto (T ) = R \ (T ), complementario del conjunto resolvente de T , se le denomina el espectro

de T .
Observacin 4.4.2 Si (T ), entonces, por el Teorema del inverso de Banach, (T I)1 L(X).
Evidentemente, si (T ) entonces, o bien T I no es inyectivo, es decir N (T I) 6= {0}, o bien

T I no es suprayectivo (o ambas cosas a la vez).
Definicin 4.4.3 Se dice que R es un valor propio o autovalor de T , si T I no es inyectivo,

es decir si N (T I) 6= {0}. En tal caso, al conjunto N (T I) se le denomina el subespacio propio
o autoespacio asociado a , y a cualquier elemento x N (T I) tal que x 6= 0 se le denomina un
vector propio o autovector asociado a .
Al conjunto de todos los autovalores de T se le denota V P (T ).
Observacin 4.4.4 Es claro que V P (T ) (T ), y en general la inclusin es estricta. Basta consid-

erar la aplicacin
T : x = (x1 , x2 , x3 , ....) l2 7 (0, x1 , x2 , ....) l2 ,
para la que, evidentemente, se tiene que 0 (T ) pero 0 6 V P (T ).
Proposicin 4.4.5 Para todo operador T L(X) el espectro es un conjunto compacto de R tal que
(4.7) (T ) [kT k, kT k],
y en consecuencia el conjunto resolvente es un subconjunto abierto no acotado de R.

Demostracin.- En primer lugar, demostramos (4.7). Para ello, supongamos que R es tal que
|| > kT k, y demostremos que T I es biyectivo. En efecto, dado y X, la ecuacin T x x = y
1
es equivalente a la ecuacin x = (T x y), pero esta ltima posee una y slo una solucin por el

1
teorema del punto fijo de Banach, ya que la aplicacin x X 7 (T x y) X es contractiva por ser

|| > kT k.
Para terminar con la demostracin, basta probar que (T ) es un subconjunto abierto de R. Sea
0 (T ), y demostremos que todo R suficientemente prximo a 0 tambin pertenece a (T ). Para
ello hay que demostrar que para todo R suficientemente prximo a 0 , la ecuacin T x x = y
posee una y slo una solucin para cada y X dado. Ahora bien, dicha ecuacin es equivalente a
T x 0 x = y + ( 0 )x, la cul a su vez, por ser 0 (T ), es equivalente a
(4.8) x = (T 0 I)1 (y + ( 0 )x).
Basta ahora observar que, por el teorema del punto fijo de Banach, la ecuacin (4.8) posee una y slo
una solucin para todo R tal que | 0 |k(T 0 I)1 k < 1.
Teorema 4.4.6 Sean X un espacio de Banach, y T L(X) compacto, entonces se tiene:
1. Si X no es de dimensin finita, 0 (T ).
2. (T ) \ {0} = V P (T ) \ {0}.
3. Todos los puntos de (T ) \ {0} son aislados.
4. El conjunto (T ) \ {0} o es vaco, o es finito, o es infinito numerable y, en este ltimo caso,

puede ser ordenado formando una sucesin cuyos valores absolutos decrecen estrictamente a 0.
Demostracin.-
1. Si 0 6 (T ), entonces T es biyectivo, T 1 L(X), y por la Proposicin 4.2.13 tenemos que
I = T T 1 es compacto, con lo que la dimensin de X es finita.
2. Sea (T ) tal que 6= 0. Hemos de demostrar que entonces V P (T ). Para ello, procedamos
1
por reduccin al absurdo, y supongamos que N (T I) = {0}. Entonces, como N (T I) = N (I T )

1
y el operador T es compacto, por la propiedad 3. del Teorema de alternativa de Fredholm, teniendo

1
en cuenta la Observacin 4.3.4, podemos afirmar que R(I T ) = X, con lo que,

1
R(T I) = R(I T ) = X.

As pues, si (T ), con 6= 0 es tal que 6 V P (T ), entonces T I es biyectivo, y por tanto

(T ), lo cul es un absurdo. c) Hemos de probar que todos los puntos de (T ) \ {0} son aislados.
Es decir, hemos de demostrar que si {n }n1 (T ) \ {0} es una sucesin de nmeros reales todos
distintos tal que n , entonces = 0. Consideremos dada, por tanto, una sucesin {n }n1 en las
condiciones precedentes. De acuerdo con b), sabemos que para todo n 1 n V P (T ). Fijemos, para
cada n 1 un elemento en N (T n I) tal que en 6= 0.
En primer lugar, podemos afirmar que el conjunto {en }n1 est formado por elementos linealmente
independientes. En efecto, razonando por induccin, si para un n 1 es cierto que los e1 , ...., en son
Xn
linealmente independientes, y en+1 = i ei , entonces, como T en+1 = n+1 en+1 ,
i=1
n
X n
X
T en+1 = i i ei = i n+1 ei ,
i=1 i=1
y por consiguiente i (i n+1 ) = 0 para todo i = 1, ..., n, con lo que i = 0 para todo i = 1, ..., n, lo
que es absurdo.
Denotemos para cada n 1 por Xn al subespacio vectorial de X generado por e1 , ..., en . Como
el conjunto {em }m1 est formado por elementos linealmente independientes, obtenemos una sucesin
estrictamente creciente de subespacios vectoriales de dimensin finita, y por tanto cerrados, de X.
Aplicando el Lema 4.3.1 de Riesz, podemos construir una sucesin {xn }n2 en X tal que para todo
1
n 2, xn Xn , kxn k = 1, y d(xn , Xn1 ) . Si 2 m < n, se tiene
2
Xm1 Xm Xn1 ,
y como, evidentemente, (T n I)Xn Xn1 , tenemos que

T xn T xm T xn n xn T xm m xm 1
(4.9) + xn xm
n m = n

m d(xn , Xn1 ) ,
2
para todo 2 m < n. Si n 6= 0, la desigualdad (4.9) es contradictoria con el hecho de que de

{T xn } se puede extraer una subsucesin convergente.
1
4. Para todo entero n 1, el conjunto (T ) { R; || } es vaco o finito, ya que si fuera un
n
conjunto infinito de puntos distintos, teniendo en cuenta que (T ) es compacto, dicho conjunto infinito
contendra un punto de acumulacin que no sera el cero, y tendramos contradiccin con 3.
1
As pues, como (T ) \ {0} = n1 ((T ) { R; || }), cuando (T ) \ {0} contiene infinitos
n
elementos distintos, stos pueden ser ordenados en una sucesin cuyos valores absolutos decrecen a 0.
4.5. Teorema de Hilbert-Schmidt

Nos centramos ahora en el caso de los operadores lineales compactos y autoadjuntos en un espacio
de Hilbert. Suponemos fijado un espacio de Hilbert real H. Denotamos por (, ) al producto escalar en
H, y por k k a la norma en H inducida por dicho producto escalar.
Proposicin 4.5.1 Sea T L(H). Denotemos
m = inf (T x, x) y M = sup (T x, x).

kxk=1 kxk=1
Entonces,
(T ) [m, M ].
Si adems T es un operador autoadjunto, entonces m (T ) y M (T ).

Demostracin.- Por definicin, (T x, x) mkxk2 para todo x H, y por tanto, para todo R se
satisface
(4.10) (T x x, x) (m )kxk2 x H.
Por (4.10), si < m la forma bilineal continua sobre H, definida por
(4.11) a (x, y) = (T x x, y) x, y H,
es tambin coerciva, con lo que, aplicando el teorema de Lax-Milgram, se concluye que (T ). Si

> M, entonces < inf kxk=1 (T x, x), con lo que (T ), es decir, (T ). Queda as
probado que (T ) [m, M ].
Si T es autoadjunto, entonces la forma bilineal am (x, y), definida por (4.11) para = m, es simtrica
y satisface am (x, x) 0 para todo x H. As pues, aplicando la desigualdad de Cauchy-Schwarz a la
forma bilineal am (x, y), se obtiene
|(T x mx, y)| (T x mx, x)1/2 (T y my, y)1/2 x, y H,
de donde en particular, poniendo y = T x mx, se obtiene que existe una constante C > 0 tal que
(4.12) kT x mxk C(T x mx, x)1/2 x H.
Sea {xn } H una sucesin minimizante, i.e. tal que kxn k = 1 para todo n 1, y (T xn , xn ) m,
tal sucesin existe por la definicin de nfimo. Por (4.12) se obtiene que T xn mxn 0, con lo que
si suponemos que m (T ), entonces xn = (T mI)1 (T xn mxn ) 0, en contradiccin con que
kxn k = 1 para todo n 1. As pues, m (T ). Finalmente, que M (T ) se obtiene reemplazando
T por T .
Como consecuencia de la proposicin precedente, se obtiene
Corolario 4.5.2 Si T L(H) es un operador autoadjunto tal que (T ) {0}, entonces (T ) = {0}
y T = 0.
Demostracin.- Si T L(H) es un operador autoadjunto tal que (T ) {0}, como por la proposicin
precedente sabemos que m y M pertenecen a (T ), podemos afirmar que (T ) es no vaco y
(T x, x) = 0 x H.
Entonces, como T es autoadjunto, resulta
2(T x, y) = (T (x + y), x + y) (T x, x) (T y, y) = 0 x, y H,
es decir, T = 0.
El objetivo ahora, es mostrar que si H es separable, todo operador T L(H) compacto y autoadjun-
to es diagonalizable en una base ortonormal de H convenientemente elegida. Para ello, introducimos
algunas consideraciones previas.
Definicin 4.5.3 Sea {Hn }n0 una sucesin de subespacios vectoriales cerrados de H. Se dice que H
es suma de Hilbert de la sucesin {Hn }n0 si:
1. Los Hn son ortogonales dos a dos, es decir, si m 6= n,
(xm , xn ) = 0 x m Hm , xn Hn ,
[
2. El espacio vectorial generado por Hn es denso en H.
n0
El concepto precedente generaliza el concepto de base de Hilbert de H, ya que si {en }n1 es una base
de Hilbert de H, y denotamos H0 = {0}, y Hn al espacio vectorial generado por en , es obvio que H es
suma de Hilbert de la sucesin {Hn }n0 as construida. De hecho, se tiene:
Teorema 4.5.4 Sea {Hn }n0 una sucesin de subespacios vectoriales cerrados de H tal que H es suma
de Hilbert de dicha sucesin. Denotemos, para cada n 0 por Pn al operador de proyeccin ortogonal
de H sobre Hn . Dado x H, denotemos xn = Pn x. Entonces, se satisface:

X k
X
1. x= xn , es decir, x = lm xn
k
n=0 n=0

X
2. kxk2 = kxn k2 (igualdad de Bessel-Parseval).
n=0
Recprocamente, si {xn }n0 es una sucesin de elementos de H tal que xn Hn para todo n 0 y
X
X
kxn k2 < , entonces la serie xn es convergente a un elemento x H que verifica Pn x = xn
n=0 n=0
n 0.
k
X
Demostracin.- Para cada entero k 0, denotemos Sk = Pn . Evidentemente, Sk L(H), y, por
n=0
ser los Hn ortogonales dos a dos, para todo x H se tiene
k
X
(4.13) kSk xk2 = kxn k2 .
n=0
Por otra parte, como (x Pn x, y) = 0 para todo y Hn , en particular

(x, xn ) = kxn k2 n 0,
y sumando, se obtiene
kSk xk2 = (x, Sk x),
de donde
(4.14) kSk xk kxk x H, k 0.
[
Sea x H fijado. Denotemos por F al espacio vectorial generado por Hn , que por hiptesis es
n0
denso en H. Para > 0 fijado,existe
[y F tal que kx y k . Como y es combinacin lineal de
un nmero finito de elementos de Hn , existe un k 0 tal que Sk y = y para todo k k . Por
n0
consiguiente, teniendo en cuenta la desigualdad (4.14), obtenemos que kx Sk xk para todo k k .
As pues, lm Sk x = x.
k
De (4.13) es inmediato ahora deducir 2.
Recprocamente, si {xn }n0 es una sucesin de elementos de H tal que xn Hn para todo n 0

X
y kxn k2 < , entonces es inmediato que para m > k 0
n=0
m 2
X k
X m
X

xn xn = kxn k2 0 si k, m ,

n=0 n=0 n=k+1

X
y en consecuencia la serie xn es convergente a un elemento x H. Que dicho elemento verifica
n=0
Pn x = xn n 0, es evidente.
Podemos ahora demostrar el resultado fundamental:
Teorema 4.5.5 (Hilbert-Schmidt) Supongamos que H es un espacio de Hilbert real separable que no
es de dimensin finita, y sea T L(H) un operador compacto y autoadjunto. Sea {n }n1 la coleccin
(vaca, finita o infinita numerable) de todos los autovalores distintos de T , exceptuado eventualmente
0. Denotemos 0 = 0, y Hn = N (T n I) para n 0, con el convenio de que si la coleccin {n }n1
es vaca o finita con m 0 elementos, entonces Hn = {0} para todo n m + 1. Entonces, se tiene:
1. El espacio H es suma de Hilbert de la sucesin {Hn }n0 .
2. El espacio H posee una base de Hilbert formada por autovectores de T .

1
Demostracin.- Observemos que 0 dimH0 , y que, como N (T n I) = N (I T ), para
n
todo n 1 se tiene que dimHn < .
En primer lugar, demostremos que los Hn son ortogonales dos a dos. En efecto, si xn Hn y
xm Hm , con m, n 0 y m 6= n, entonces T xn = n xn y T xm = m xm , con lo que
n (xn , xm ) = (T xn , xm ) = (xn , T xm ) = m (xn , xm ),
y en consecuencia (xn , xm ) = 0. [
Denotemos por F al espacio vectorial generado por Hn . Hemos de probar que F es denso en
n0
H, para lo cul vamos a probar que F= {0}.
Para ver esto ltimo, observemos que como, T (Hn ) Hn para todo n 0, es inmediato que T (F )
F , pero esto implica que T (F ) F , ya que si x F e y F , entonces (T x, y) = (x, T y) = 0.
As pues, el operador T0 = T|F est bien definido como operador de L(F ), y es autoadjunto y
compacto. Adems, no se olvide que F es cerrado en H, y por tanto es un subespacio de Hilbert de
H. Finalmente, (T0 ) = {0}, ya que si (T0 ) \ {0} = V P (T0 ) \ {0} (obsrvese que esta ltima
igualdad se satisface para todo operador compacto, independientemente de la dimensin del espacio),
entonces existe x F , con x 6= 0, tal que T0 x = x, y por consiguiente, es un autovalor de T y
x F. En resumen, si (T0 ) \ {0}, entonces existe x F F con x 6= 0, lo cul es un absurdo.
As pues, por el Corolario 4.5.2, T0 = 0, es decir, F N (T ) F, con lo que tenemos garantizado
que F = {0}.
Tenemos, pues, demostrado 1. Ahora, 2. es consecuencia inmediata de 1., ya que basta tomar en
cada Hn una base de Hilbert. Es inmediato comprobar que la unin de todas estas bases es una base
de Hilbert de H.
Observacin 4.5.6 Bajo las condiciones del Teorema 4.5.5, si el operador T es adems inyectivo
entonces, teniendo en cuenta las afirmaciones i) de dicho teorema y d) del Teorema 4.4.6, obtenemos
que la coleccin {n }n1 de todos los autovalores distintos de T ordenados por orden de sus valores
absolutos estrictamente decreciente, constituye una sucesin convergente a cero.
4.6. Aplicacin del Teorema de Hilbert-Schmidt al espectro del lapla-

ciano
Vamos a aplicar el Teorema de Hilbert-Schmidt al estudio del espectro del operador con
condicin de Dirichlet.
Definicin 4.6.1 Sea RN un abierto acotado no vaco. Se dice que R es un autovalor del
operador en con condicin de Dirichlet, si el problema de Dirichlet
(
u = u en ,
u=0 sobre ,
posee una solucin dbil no nula; es decir, si existe una funcin u H01 (), con u 6= 0, tal que
Z Z
u(x) v(x) dx = u(x)v(x) dx v H01 ().

Se dice en tal caso que u es una autofuncin asociada al autovalor .

Al conjunto de todos los autovalores del operador en con condicin de Dirichlet se le denomina
el espectro de en con condicin de Dirichlet.
El resultado que vamos a obtener sobre el espectro del operador con condicin de Dirichlet, va
a ser consecuencia del siguiente teorema abstracto que es aplicable a otras muchas situaciones.
Teorema 4.6.2 Sean V y H dos espacios de Hilbert reales, cuyas normas denotamos respectivamente
por k k y | |. Denotemos por ((, )) al producto escalar en V , y por (, ) al producto escalar en H.
Supongamos que V y H son separables, que V H con inyeccin compacta, y que V es denso en H.
Sea a : V V 7 R una forma bilineal continua y simtrica, verificando la condicin de coercividad
(4.15) > 0 tal que a(v, v) kvk2 v V.
Entonces, existe una sucesin no decreciente de nmeros reales positivos:
0 < 1 2 ...n ...,
con lm n = +, y existe una base de Hilbert de H: {en }n1 , formada por elementos de V , tal que
n
(4.16) a(en , v) = n (en , v) v V, n 1.

en
Adems, el conjunto { }n1 constituye una base de Hilbert de V si sobre este espacio se considera
n
el producto escalar inducido por la forma bilineal a(u, v).
Demostracin.- En primer lugar, como la inyeccin de V en H es compacta, en particular es continua,

y por tanto existe una constante c > 0 tal que
(4.17) |v| ckvk v V.
Por el Lema 3.2.13 de Lax-Milgram, para cada f H dada, existe un y slo un elemento uf tal que
(4.18) uf V, a(uf , v) = (f, v) v V.
Consideremos la aplicacin T : f H 7 uf H, con uf dado por (4.18). Evidentemente, el operador

T as construido es lineal. Por otra parte, se tiene de (4.18) que a(uf , uf ) = (f, uf ) |f ||uf |, con lo
que por (4.15) y (4.17) se obtiene
c
kuf k |f | f H,

y por consiguiente la aplicacin S : f H 7 uf V pertenece a L(H, V ). Como la inyeccin de V en
H compacta, y T es la composicin de S con la inyeccin de V en H, concluimos que T L(H) es un
operador compacto.
Como la forma bilineal a(u, v) es simtrica, es inmediato que el operador T es autoadjunto, ya que,
para todo par f, g H
(T f, g) = (g, T f ) = a(ug , uf ) = a(uf , ug ) = (f, T g).
Por otra parte, T es inyectivo, ya que si T f = 0, entonces, por (4.18),
(f, v) = a(T f, v) = a(0, v) = 0 v V,
con lo que, al ser V denso en H, se tiene que f = 0.

Finalmente, todos los autovalores de T son positivos, y todos los autovectores pertenecen a V . En
efecto, si V P (T ) y f H \ {0} es tal que T f = f , entonces 6= 0, por tanto f V \ {0}, y
(f, f ) = (f, T f ) = a(T f, T f ) kf k2 ,
kT f k2
con lo que > 0.
|f |2
As pues, por el Teorema 4.5.4 y la Observacin 4.5.6, el conjunto {m }m1 de todos los autovalores
de T constituye una sucesin de nmeros positivos estrictamente decreciente a cero, y H es suma de
Hilbert de la sucesin {N (T m I)}m1 . Adems, si f N (T m I), entonces f V y
(4.19) m a(f, v) = a(T f, v) = (f, v) v V.
As pues, si consideramos la sucesin {n }n1 construida a partir de la {m }m1 contando cada m

1
tantas veces como indique su multiplicidad, es decir, la dimensin de N (T m I), definimos n = ,
n
y tomamos una base de Hilbert de cada uno de los espacios N (T m I), obtenemos la sucesin no
decreciente de numeros reales positivos {n }n1 convergente a +, y la base de Hilbert de H, {en }n1 ,
de tal manera que se satisface (4.16).
en
Para terminar, falta comprobar que el conjunto { }n1 constituye una base de Hilbert de V si
n
sobre este espacio se considera el producto escalar inducido por la forma bilineal a(u, v).
En primer lugar, como la forma bilineal a(u, v) es continua simtrica y coerciva, el producto
((u, v))a = a(u, v) u, v V,
define un producto escalar en V que induce una norma equivalente a la norma k k de V . Adems,
como
((en , em ))a = a(en , em ) = n (en , em ),
en
es claro que { }n1 constituye un sistema ortonormal de (V, ((, ))a ). Para terminar, basta ver que
n
dicho sistema genera un subespacio denso de V , y para ello, basta comprobar que si f V es tal que
((f, en ))a = 0 para todo n 1, entonces f = 0.
Sea pues f V tal que ((f, en ))a = 0 para todo n 1. Entonces, por (4.16),
n (en , f ) = a(en , f ) = ((en , f ))a = 0 n 1,
y en consecuencia, como n 6= 0 y {en }n1 es base de Hilbert de H, obtenemos que f = 0.

Admitamos el siguiente resultado, para cuya demostracin se puede consultar [1].
Teorema 4.6.3 (de Rellich) Si RN es un abierto acotado no vaco, la inyeccin de H01 () en

L2 () es compacta.
Observacin 4.6.4 El Teorema 4.6.3, en el caso en que N = 1 y = I es un intervalo acotado, ha

sido demostrado en los ejercicios del Captulo 3. De hecho, en dicho ejercicio se obtiene el carcter
compacto de la inyeccin de H 1 (I) en L2 (I). La extensin de este ltimo resultado al caso N > 1 exige
que el abierto sea acotado de frontera regular (ver [1]).
Como consecuencia de los Teoremas 4.6.2 y 4.6.3, se obtiene el siguiente resultado:
Teorema 4.6.5 Si RN es un abierto acotado no vaco, el espectro de en con condicin de

Dirichlet est constituido por una sucesin no decreciente {n }n1 de nmeros reales positivos, tal que
lm n = +.
n
Adems, existe una base de Hilbert {en }n1 de L2 (), formada por autofunciones asociadas a los
en
autovalores n . Por ltimo { }n1 constituye una base de Hilbert del espacio H01 () dotado del
n
producto escalar (, )H 1 () , y en consecuencia, para toda f L2 (), la solucin dbil del problema de
0
Dirichlet
(
u = f en ,
(4.20)
u = 0 sobre ,
viene dada por

X 1
(4.21) u= (f, en )L2 () en ,
n
n=1
siendo la serie en (4.21) convergente en H01 ().
Demostracin.- Es inmediata, basta tomar H = L2 (), V = H01 () con el producto escalar (, )H 1 () ,

0
y
a(u, v) = (u, v)H 1 () , v H01 (),
0
y tener en cuenta los Teoremas 4.6.2 y 4.6.3.

Terminamos el Captulo con una aplicacin del Teorema de alternativa de Fredholm al problema
de Dirichlet para . Recordemos, que por la Definicin 4.6.1, dado R, una solucin dbil del
problema de Dirichlet
(
u u = f en ,
(4.22)
u = 0 sobre ,
con f L2 () dada, es cualquier solucin del problema

1
u H0 (),
(4.23) Z Z Z

u v dx uv dx = f v dx v H01 ().

De acuerdo con la Proposicin 3.5.7, si 0, el Lema 3.2.13 de Lax-Milgram garantiza la existencia

y unicidad de solucin dbil de (4.22). Para el resto de los valores de , la respuesta viene dada por el
siguiente resultado:
Teorema 4.6.6 (de alternativa) Sean RN abierto acotado no vaco, y R dado. Entonces:
1. Si no es un autovalor de en con condicin de Dirichlet, para cada f L2 () dada existe

una y slo una solucin dbil de (4.21).
2. Si es un autovalor de en con condicin de Dirichlet, para una f L2 () dada existe

solucin dbil de (4.22) si y slo si (f, v)L2 () = 0 para toda autofuncin v asociada al autovalor
y, en tal caso, la solucin dbil de (4.22) no es nica, estando el conjunto de soluciones dbiles
de (4.22) formado por la suma de una solucin particular ms el subespacio de las autofunciones
asociadas al autovalor .
Demostracin.- Basta considerar el operador S : f L2 () 7 uf L2 (), con uf solucin dbil del

problema
(
u = f en ,
(4.24)
u = 0 sobre .
Teniendo en cuenta el Teorema 4.6.3, es inmediato que S L(L2 ()) es compacto. Es tambin sencillo
comprobar que S es autoadjunto.
Sea > 0. Es inmediato que u es solucin dbil de (4.22) si y slo si es solucin de
(I S)u = Sf.
Resulta ahora fcil obtener las conclusiones del teorema por aplicacin del Teorema de alternativa de
Fredholm al operador T = S (se dejan los detalles como ejercicio).
Apndice A
Algunos Resultados de Convergencia
A.1. Convergencia uniforme

Teorema A.1.1 (Criterio de Mayoracin de Weierstrass) Sea S un conjunto y fn : S R o C una
sucesin de funciones tales que existe una sucesin de nmeros positivos Mn verificando:
1.
|fn (x)| Mn , x K
2. X
Mn < ,
n1
P P
entonces la serie n1 fn converge uniformemente en K, y para cada x K la serie n1 fn (x)
converge absolutamente.
Teorema A.1.2 Sea S R y fn : S R una sucesin de funciones continuamente derivables. Se

supone que
1. Existe un x S para el cual {fn (x)}n1 converge.
2. La sucesin de derivadas {fn0 }n1 converge uniformemente en S.
Entonces sucesin {fn }n1 converge uniformemente en S a una funcin f continuamente derivable y
se tiene:
f 0 (x) = lm fn0 (x), x S
n
Teorema A.1.3 (Teorema de Ascoli-Arzel) Sea I = [a, b] un intervalo cerrado y acotado de R,

fn : S R o C una sucesin de funciones uniformemente acotadas y equicontinuas. Entonces la
sucesin {fn }n1 contiene una subsucesin uniformemente convergente.
A.2. Convergencia uniforme de las series de Fourier

Vamos a estudiar la relacin que existe entre la regularidad de una funcin y el decrecimiento
de sus coeficientes de Fourier (de hecho veremos que a mayor regularidad de la funcin corresponde
mayor decrecimiento de sus coeficientes de Fourier) y como consecuencia obtendremos la convergencia
uniforme de la serie de Fourier asociada. Es interesante observar que la continuidad de una funcin
83
no implica la convergencia uniforme, en realidad ni siquiera la convergencia puntual, ya que dado un

conjunto numerable J [a, b] es posible construir una funcin continua en [a, b] tal que su serie de
Fourier no converja en los puntos de J y s en [a, b] \ J.
Para no alargar la notacin, consideramos el caso [a, b] = [l, l], l > 0, y para una funcin f
2
L (l, l) denotamos an (f ) = An , bn (f ) = Bn , los coeficientes de Fourier de f dados por (1.28) y
(1.29).
Lema A.2.1 Sea f C 1 [l, l] (hiptesis de regularidad) y tal que f (l) = f (l) (hiptesis de compati-
bilidad). Entonces

l
an (f ) = bn (f 0 ) n 1,
n
(A.1)

l
bn (f ) = + an (f 0 ) n 1.
n
Demostracin.- Por las hiptesis de regularidad sobre f podemos integrar por partes y se tiene:
Z Z l
1 l
n 1 h n il 1 n
an (f ) = f () cos( ) d = f () sen( ) f 0 () sen( ) d,
l l l n l l n l l
de donde se deduce la primera igualdad de (A.1). Anlogamente, con la condicin de compatibilidad,

se obtiene la segunda.
Observacin A.2.2 Si adems de las hiptesis del lema, se supone que f C 2 [l, l] y que f 0 (l) =
f 0 (l), entonces
2

l
a
n (f ) = an (f 00 ) n 1,
n
(A.2) 2

l

bn (f ) = bn (f 00 ) n 1.
n
Estas frmulas, junto con la igualdad de Parseval, nos dicen como decrecen los coeficientes de Fourier,
i.e. para cada k = 0, 1, 2 se tiene:
lm nk an (f ) = 0, lm nk bn (f ) = 0
n n
Se pueden deducir frmulas anlogas a las anteriores si f es ms regular y verifica ms condiciones de

compatibilidad en los puntos l y l.
La idea de integracin por partes nos sugiere que podemos considerar funciones de L2 (l, l) tales
que para ellas valga la frmula de integracin por partes cuando las multiplicamos por una funcin
regular y 2l-peridica. Para ello introducimos el espacio C]1 = { C 1 [a, b] / (a) = (b)} y la
definicin (en la Seccin 3.4 se ver una definicin ms general):
Definicin A.2.3 Sea f L2 (a, b) tal que f (a) = f (b). Se dice que una funcin g L2 (a, b) es la
derivada generalizada de f en [a, b] si
Z b Z b
0
(A.3) f (x) (x) dx = g(x)(x) dx, C]1
a a
Evidentemente para funciones f con derivada generalizada g se tiene:

l
an (f ) = bn (g) n 1,
n
(A.4)

l
bn (f ) = + an (g) n 1.
n
Veamos ahora que la definicin de derivada generalizada es consistente con el Teorema Fundamental
del Clculo, i.e. si una funcin f se obtiene integrando otra funcin g entonces g es la derivada de f .
En sentido clsico esto es cierto si g es continua, sin embargo en sentido generalizado no es necesario.
De heho se tiene:
Proposicin A.2.4 Sea f L2 (a, b) tal que f (a) = f (b). Si existe una funcin g L2 (a, b) tal que
Z x
(A.5) f (x) = f (a) + g() d x [a, b],
a
entonces g es la derivada generalizada de f en [a, b].
Demostracin.- Sea C]1 entonces se tiene:

Z b Z b Z x
f (x)0 (x) dx = f (a) + g() d 0 (x) dx =
a a a
Z b Z b Z x
0
= f (a) (x) dx + g() d 0 (x) dx
a a a
y aplicando el teorema de Fubini se obtiene
Z b Z b Z b
0
= f (a) ((b) (a)) + (x) dx g() d = ((b) ()) g() d
a a
Z b Z b Z b
= (b) g() d g()() d = g(x)(x) dx
a a a
Rb
ya que a g() d = 0 pues f (a) = f (b).
Observacin A.2.5 La Proposicin A.2.4 tiene su recproco, i.e. Si una funcin g L2 (a, b) es la
derivada generalizada de otra funcin f L2 (a, b) tal que f (a) = f (b) entonces se tiene (A.5). La
demostracin la omitimos aunque lo utilizaremos. Adems de (A.5) se deduce que las funciones con
derivada generalizada son continuas en [a, b]. Ver ejercicios del Captulo 3.
Las funciones con derivada generalizada son las que tienen un desarrollo en serie de Fourier que
converge uniformemente, para verlo probamos primero el siguiente teorema:
Teorema A.2.6 Sea f L2 (l, l) tal que f (l) = f (l) con derivada generalizada, entonces se tiene:
X
(A.6) |an (f )| + |bn (f )| < +.
n1
Demostracin.- Sea m N. Vamos obtener una cota, independiente de m, de

m
X
|an (f )| + |bn (f )|.
n=1
Llamemos g a la derivada generalizada de f . De las frmulas (A.4) se obtiene:

m
m !
X l X |an (g)| |bn (g)|
|an (f )| + |bn (f )| = + .
n n
n=1 n=1
Por la desigualdad de Cauchy se obtiene
m
m
!1/2 m 2
!1/2
X |an (g)| X X 1
|an (g)|2
n n
n=1 n=1 n=1
m
m
!1/2 m 2
!1/2
X |bn (g)| X X 1
|bn (g)|2 .
n n
n=1 n=1 n=1
Como
m 2 X 1 2
X 1 2 2
= < ,
n n 6 2
n=1 n1
y como g L2 (l, l) se tiene

!1/2 1/2
m
X X 1
|an (g)|2 |an (g)|2 ||g||L2
l
n=1 n1
!1/2 1/2
m
X X 1
|bn (g)|2 |bn (g)|2 ||g||L2
l
n=1 n1
luego se obtiene la cota deseada:

m
X
|an (f )| + |bn (f )| ||g||L2 , m 1,
n=1
de donde se deduce el teorema.

Mediante el criterio mayoracin de Weierestrass, de este teorema se deduce inmediatamente el
Corolario A.2.7 Sea f L2 (l, l) tal que f (l) = f (l) con derivada generalizada en [l, l], entonces
su serie de Fourier converge absolutamente y uniformemente a f en [l, l].
Tambin, mediante prolongaciones pares o impares, se tiene el
Corolario A.2.8 Sea f L2 (0, l) con derivada generalizada en [0, l]. Entonces
1. El desarrolo en serie de cosenos de f converge absolutamente y uniformemente a f en [0, l].
2. Si adems f (0) = f (l) = 0, el desarrolo en serie de senos de f converge absolutamente y uni-

formemente a f en [0, l].
Observacin A.2.9 De la Observacin A.2.2 se puede deducir que si f es ms regular y verifica ms

condiciones de compatibilidad entonces la serie de Fourier derivada trmino a trmino converge a la
derivada de f .
Apndice B
Problemas de Sturm-Liouville
B.1. Soluciones de las EDO lineales de segundo rden

Se considera la ecuacin diferencial ordinaria (brevemente EDO) lineal de segundo rden:
(B.1) a0 y 00 + a1 y 0 + a2 y = b en I,
con I = [a, b] un intervalo cerrado y acotado de R, a0 , a1 , a2 , b C 0 (I) y a0 (x) 6= 0 x I. Cuando

b = 0 se tiene la EDO homognea:
(B.2) a0 y 00 + a1 y 0 + a2 y = 0 en I.
Se tiene el siguiente
Teorema B.1.1 Sea x0 I e y0 , y1 R entonces existe una nica solucin del problema de Cauchy:

a0 y 00 + a1 y 0 + a2 y = b en I,

(P C) y(x0 ) = y0 ,

y 0 (x0 ) = y1 .
Definicin B.1.2 Sean 1 , 2 C 1 (I), se llama wronskiano de 1 , 2 y se denota por W (.) =

W (1 , 2 ; .) la funcin:
W (x) = 1 (x)02 (x) 01 (x)2 (x).
Se tienen las siguientes proposiciones:
Proposicin B.1.3 Sean 1 , 2 dos soluciones de (B.2). Entonces 1 , 2 son linealmente dependi-
entes en I si y slo si su wronskiano es nulo para algn punto de I.
Proposicin B.1.4 Sean 1 , 2 dos soluciones de (B.2). Entonces 1 , 2 son linealmente independi-
entes en I si y slo si su wronskiano es no nulo en I.
De las anteriores proposiciones se deducen los teoremas:
Teorema B.1.5 Existen dos soluciones 1 , 2 linealmente independientes de (B.2) en I y cualquier

solucin de (B.2) es una combinacin lineal de 1 , 2 .
87
Teorema B.1.6 Sea p una solucin particular de (B.1) y 1 , 2 soluciones linealmente independi-
entes de (B.2) en I, entonces la solucin general de (B.1) viene dada por:
(x) = p (x) + C1 1 (x) + C2 2 (x) con C1 , C2 constantes cualesquieras.
Observacin B.1.7 Mediante el mtodo de variacin de constantes se tiene que

p (x) = C1 (x)1 (x) + C2 (x)2 (x)
con Z x Z x
2 ()f () 1 ()f ()
C1 (x) = d; C2 (x) = d,
a a0 ()W () a a0 ()W ()
con W () = W (1 , 2 ; ).
Finalmente sobre los ceros de las soluciones de (B.2) se tiene:

Teorema B.1.8 Sea una solucin no trivial de (B.2). Entonces los ceros de son simples, i.e.
(x) = 0 = 0 (x) 6= 0. Adems tiene solamente un nmero finito de ceros en I.
B.2. Funcin de Green para el problema de Sturm-Liouville

Una EDO lineal de segundo rden se dice que est en forma autoadjunta si se puede escribir de
la forma:
(B.3) (py 0 )0 + qy = f
donde p C 1 (I), p(x) > 0 x I y q, f C 0 (I).
La EDO (B.1) se transforma en (B.3) poniendo
Z x
a1 () a2 (x)p(x) af (x)p(x)
p(x) = exp d , q(x) = , f (x) = .
a a0 () a0 (x) a0 (x)
Al operador
(B.4) L(y) = (py 0 )0 + qy,
se le llama operador autoadjunto de Sturm-Liouville de segundo rden.
Asociado a la EDO (B.3) se consideran las condiciones de contorno homogneas separadas:
(
Ba (y) = 1 y(a) + 1 y 0 (a) = 0,
(B.5)
Bb (y) = 2 y(b) + 2 y 0 (b) = 0,
donde i , i , i = 1, 2 son nmeros reales dados con i2 + i2 6= 0. Denotaremos por A al conjunto:
A(I) = {(x, ) I I / x 6= }
Definicin B.2.1 Se llama funcin de Green para el operador de Sturm-Liouville en I con condiciones
de contorno (B.5), a una funcin G : (x, ) A(I) R tal que, para cada I fijada, verifica:

i) G C 2 (A(I)) C 0 (I I))

ii)
L(G) = 0 cuando x 6=
iii) Ba (G) = Bb (G) = 0

dG dG 1

iv) = .
dx x=+ dx x= p()
Se tiene el siguiente (ver [11])
Teorema B.2.2 Si el problema de Sturm-Liouville homogneo L(y) = 0, Ba (G) = Bb (G) = 0 slo

tiene la solucin trivial entonces la funcin de Green existe y es nica. Adems la solucin del problema
(B.3),(B.5) viene dada por: Z
y() = G(x, )f (x) dx I.
I
Observacin B.2.3 La funcin de Green se puede construir de la siguiente forma: Sea y1 una solucin
de L(y) = 0, Ba (y) = 0 e y2 una solucin de L(y) = 0, Bb (y) = 0 entonces la funcin de Green viene
dada por:

y1 (x)y2 ()
p()W ()
si x ,
(F G) G(x, ) =

y1 ()y2 (x)

si x .
p()W ()
Corolario B.2.4 La nica solucin del problema no homogneo
L(y) = f, Ba (y) = , Bb (y) =
viene dada por

Z

y() = G(x, )f (x) dx + y1 (x) + y2 (x) I.
I Bb (y1 ) Ba (y2 )
Finalmente se tiene:
Teorema B.2.5 Sea y0 una solucin no trivial del problema homogneo L(y) = 0, Ba (G) = Bb (G) =
0 entonces el problema no homogneo L(y) = f, Ba (y) = 0, Bb (y) = 0 tiene solucin si y slo si
Z
f (x)y0 (x) dx = 0.
I
B.3. Autovalores y autofunciones del problema de Sturm-Liouville

Se considera el espacio
V = { C 2 (I) / Ba () = Bb () = 0}.
Definicin B.3.1 Se dice que es un autovalor del operador Sturm-Liouville L, respecto al peso ,
si existe una funcin no trivial V tal que
(B.6) L() = ,
donde C 0 (I) y (x) > 0 x I. A la funcin no nula se le llama autofuncin asociada al

autovalor .
Respecto a los autovalores y a las autofunciones del operador Sturm-Liouville se tiene el siguiente
Teorema B.3.2 (a) Todos los autovalores son reales.

(b) Sean 1 , 2 dos autovalores distintos y 1 , 2 autofunciones asociadas respectivamente a 1 , 2 .
Entonces 1 , 2 son ortogonales respecto al peso , i.e.
Z
(x)1 (x)2 (x) dx = 0.
I
(c) Las autofunciones son esencialmente reales (en el sentido que si hay una autofuncin compleja
entonces su parte real y su parte imaginaria son tambin autofunciones.)
(d) Todos los autovalores son simples, i.e. existe una nica, salvo constante multiplicativa, auto-
funcin asociada a cada autovalor.
Se tiene el siguiente
Teorema B.3.3 Si = 0 no es autovalor entonces las autofunciones de

(
L() = ,
(P SL)
Ba () = Bb () = 0,
forman un sistema ortogonal completo del espacio C 0 (I), respecto al producto escalar:
Z
(B.7) (1 , 2 ) = 1 (x)2 (x) dx.
I
Observacin B.3.4 (a) El teorema anterior sigue siendo vlido si = 0 es un autovalor de (P SL).
En este caso se elige una constante c tal que
L1 (y) = L(y) c y = 0, Ba () = Bb () = 0,
tenga soluciones distintas de la trivial. El correspondiente problema de autovalores

(
L1 () = ,
(B.8)
Ba () = Bb () = 0,
tiene las mismas propiedades de los autovalores y las autofunciones que el problema (P SL). Adems,
es autovalor de (B.8) si y slo si = + c es autovalor de (P SL) y las correspondientes autofunciones
son las mismas.
(b) Los anteriores resultados son tambin aplicables al caso
(
L() = ,
(B.9)
Ba () = Bb () = 0,
con el producto escalar

Z
(B.10) (1 , 2 ) = (x)1 (x)2 (x) dx.
I
Consideremos ahora el problema de Sturm-Liouville con condiciones de Dirichlet:

(
L() = ,
(P SLD)
(a) = (b) = 0,
y con la hiptesis adicional: q(x) 0, x I.
El problema (P SLD) tiene todas las propiedades desarrolladas anteriormente y adems:

Teorema B.3.5 (a) Todos los autovalores son positivos.

(b) Los autovalores se pueden ordenar tal que
0 < 1 < 2 < < k < k+1 < ,
con k + cuando k +.
(c) Las autofunciones asociadas {k }k1 forman un sistema ortogonal completo respecto al producto
escalar dado por (B.10). En particular si C 2 (I) y (a) = (b) = 0 entonces
X
(x) = Ck k (x),
k1
uniformemente en I, con Z
Ck = (x)(x)k (x) dx.
I
B.4. Otras propiedades

Se tiene la siguiente caracterizacin de los autovalores y las autofunciones:
Teorema B.4.1 El ensimo autovalor del problema de Sturm-Liouville (P SLD) es el valor mnimo
del funcional (llamado cociente de Rayleich):
R
[p(y 0 )2 + qy 2 ] dx
R(y) = I R 2
I y dx
entre todas las funciones continuas y regulares a trozos y verificando y(a) = y(b) = 0 y (y, i ) =
0, i = 1, 2, , n 1, donde i , i = 1, 2, , n 1 son las n 1 primeras autofunciones. La ensima
autofuncin es la correspondiente funcin que minimiza el funcional.
Teorema B.4.2 (Teorema de monotona) Sea n (p, q, , I) el ensimo autovalor del problema de
Sturm-Liouville (P SLD). Entonces
n (p, q, , I) n (
p, q, , I)
si se tiene alguna de las condiciones:
(a) p p, (b) q q, (c) , o (d)

I I.
Finalmente se tiene
Teorema B.4.3 (Teorema de separacin) Sea y(c) solucin no trivial de
L(y) + c(x)y = 0
, b dos ceros consecutivos de y(

donde c C 0 (I). Sea c(x) > c(x) x I y a c), entonces existe al menos
un cero de y(c) en (
a, b).
Corolario B.4.4 Sean 1 , 2 dos autovalores del problema (PSLD) y 1 , 2 las autofunciones asoci-
adas. Si 1 < 2 entonces entre dos ceros consecutivos de 1 hay al menos un cero de 2 .
B.5. Ejercicios
1. Hallar los autovalores y las autofunciones del problema
00

y + y = 0 en (0, 1)

y(0) + y 0 (0) = 0,

y(1) = 0.

00

y + y = 0 en (0, )

y(0) = y 0 (0),

y() = y 0 ().

( 00
y + 2y + (1 )y = 0 en (0, 1)
y(0) = y 0 (1) = 0.

(
(xy 0 )0 + x1 y = 0 en (1, e)
y(1) = y 0 (e) = 0.
5. Se considera el problema: 00

y + y = 0 en (0, 1)

y(0) + y 0 (0) = 0,

y(1) = 0.
donde es una constante dada.
a) Hallar los autovalores positivos para cad valor de .
b) Probar que si = 0 es un autovalor si y slo si = 1.
c) Si < 1, probar que todos los autovalores son positivos.
d) Si > 1, probar que existe uhn nico autovalor negativo.
Apndice C
Problema de Cauchy para la ecuacin de

ondas
C.1. Frmula de Green-Ostrogradski

Vamos a recordar la frmula de Green-Ostrogradski que se utiliza frecuentemente:
Teorema C.1.1 Sea un curva cerrada simple regular a trozos que encierra una regin acotada .
dos funciones dadas. Se tiene la frmula de Green-Ostrogradski:
Sean P, Q C 1 () C 0 ()
Z Z Z
(C.1) P (x, t) dx + Q(x, t) dt = (Qx (x, t) Pt (x, t)) dx dt,

donde la integral de lnea a lo largo de se toma en el sentido contrario a las agujas del reloj.
C.2. Existencia del problema de Cauchy para la ecuacin de ondas

Consideramos el problema de Cauchy (o de valores iniciales) para la ecuacin de ondas unidimen-
sional no homognea:
(
utt c2 uxx = h, en R R+ ,
(P CO)
u(x, 0) = f (x), ut (x, 0) = g(x), x R,
donde c > 0, f : R R, g : R R y h : R R+ R son datos del problema.

Si u C 2 (R [0, +)) es solucin del problema (P CO) entonces se tiene que f C 2 (R), g
C (R), h C 0 (R R+ ). Recprocamente se tiene el siguiente
1
Teorema C.2.1 Sea f C 2 (R), g C 1 (R), h C 0 (R R+ ) entonces la solucin del problema

(P CO) viene dada por:
Z x+ct Z tZ x+c
1 1 1
(C.2) u(x, t) = (f (x+ct)+f (xct))+ g(s) ds+ h(, ) dx dt (x, t) RR+ .
2 2c xct 2c 0 xc
Demostracin Sea u C 2 (R [0, +)) solucin del problema (P CO). Sea (, ) R R+ y

formemos el cono de dependencia de vrtice (, ). Denotemos por
= {(x, t) / x ct = c, c x }
93
0 = {(x, t) / t = 0, c x + c }
+ = {(x, t) / x + ct = + c, x + c }
y pongamos = 0 + . Entonces es una curva cerrada simple regular a trozos que encierra
el cono acotado, (que es un tringulo)
= {(x, t) / 0 t, c x + c }.
Como u C 2 (R R+ ) entonces Q = c2 ux C 1 (R R+ ) y P = ut C 1 (R R+ ) y por tanto

Se est en las condiciones del teorema de Green y por tanto integrando en la
P, Q C 1 () C 0 ().
EDP podemos utilizarlo y se tiene:
Z Z Z Z Z
h(x, t) dx dt = (utt c uxx ) dx dt = ut dx + c2 ux dt
2

Ahora bien, en cada uno de los lados del tringulo se tiene:
En se tiene: dx c dt = 0 = dx = c dt,
En 0 se tiene: dt = 0 = dx = c dt,
En + se tiene: dx + c dt = 0 = dx = c dt,
por tanto
Z Z Z Z
2 2 dx 2 dx
ut dx + c ux dt = ut (c dt) + c ux ( ) + ut dx + c ux 0 + ut (c dt) + c2 ux ( ) =
c 0 + c
Z Z Z Z Z Z
=c ut dt + ux dx c ut dt + ux dx + ut dx = c du c du + ut dx =
+ 0 + 0
Z
= c[u( c, 0) u(, )] c[u(, ) u( + c, 0)] + ut dx =
0
Z
= 2cu(, ) + cu( + c, 0) + cu( c, 0) + ut dx.
0
As pues Z Z Z
h(x, t) dx dt = 2cu(, ) cu( + c, 0) cu( c, 0) ut dx,
0
cambiando de variables obtenemos:

Z x+ct Z Z
1 1 1
u(x, t) = (u(x + ct, 0) + u(x ct, 0)) + ux (, 0) d + h(, ) dx dt,
2 2c xct 2c
y usando las condiciones iniciales obtenemos la frmula (C.2).

Recprocamente si f C 2 (R), g C 1 (R), h C 0 (R R+ ) entonces fcilmente se prueba que (C.2)
es solucin del problema.
Apndice D
Integral de Superficie.
D.1. Coordenadas esfricas en RN

La transformacin de coordenadas cartesianas a coordenadas esfricas en RN viene dada por:
x : RN \ {0} (r, 1 , 2 , , N 1 ) (0, +) (0, ) (0, ) (0, 2)
donde:

x1 = r cos 1 ,

x2 = r sen 1 cos 2 ,
(D.1)

xN 1 = r sen 1 sen 2 sen N 2 cos N 1 ,

xN = r sen 1 sen 2 sen N 2 sen N 1 .
El elemento diferencial de volumen viene dado por:
dx = rN 1 (sen 1 )N 2 (sen 2 )N 3 (sen N 2 ) dr d1 d2 dN 1 .
El elemento diferencial de superficie de la bola de radio R viene dado por:
d = RN 1 (sen 1 )N 2 (sen 2 )N 3 (sen N 2 ) d1 d2 dN 1 .
Abreviadamente se pone:
x = r con = (1 , 2 , , N )
definido obviamente por

1 = cos 1 ,

2 = sen 1 cos 2 ,

(D.2)

N 1 = sen 1 sen 2 sen N 2 cos N 1 ,

N = sen 1 sen 2 sen N 2 sen N 1 .
y se tiene || = 1 luego cada punto definido por dado por (2) es un punto de la esfera unidad, i. e.
B1 = { / con dado por (2) y (1 , 2 , , N 1 ) (0, ) (0, ) (0, 2)}.
Con esta notacin se tiene

dx = rN 1 dr d
95
y entonces d es la medida superficial de la bola unidad, y por tanto la medida superficial de la bola
de radio R es d = RN 1 d.
Para una funcin f L1 (IR) se tiene:
Z Z + Z
f (x) dx = f (r)rN 1 dr d.
RN 0 B1
D.2. Dominios regulares

Consideremos fijado , un abierto conexo acotado no vaco de RN (N entero mayor o igual que
2). Sobre RN consideramos fijado un sistema de coordenadas cartesianas respecto del cual cada punto
de RN se escribe en la forma x = (x1 , ..., xN ). A dicho sistema de coordenadas lo denominaremos el
sistema de referencia.
Definicin D.2.1 Sea k entero no negativo. Diremos que es de clase C k (o, de manera equivalente,
que C k ) si (y slo si) existen:
1. Un nmero natural m de sistemas de coordenadas cartesianas en RN tales que, si para cada
r = 1, ..., m denotamos por
xr = (xr1 , ..., xrN 1 , xrN ) = (x0r , xrN ),
con x0r RN 1 , a cualquier punto de RN escrito en el sistema de coordenadas r-simo, entonces

la transformacin de coordenadas Ar del sistema de referencia al sistema de coordenadas r-simo
viene dada por
xr = Ar (x) = Mr x + br ,
con br vector de N componentes reales fijo y Mr matriz N N de coeficientes reales con deter-
minante igual a +1 y ortogonal (es decir, tal que Mr0 = (Mr )1 ).
2. Un nmero real > 0 tal que si denotamos, para cada r = 1, ..., m,
r = {x0r RN 1 ; |xrj | < , j = 1, ..., N 1},
existen m funciones
ar C k (r ), r = 1, ..., m,
y un nmero real > 0 tales que los conjuntos
0
r = A1r {(xr , xrN ); x0r r , xrN = ar (x0r )}
son subconjuntos de satisfaciendo

m
[
= r ,
r=1
y los conjuntos
0
Ur+ = A1
r {(xr , xrN ); x0r r , ar (x0r ) < xrN < ar (x0r ) + }
y
0
Ur = A1
r {(xr , xrN ); x0r r , ar (x0r ) < xrN < ar (x0r )} ,
satisfacen
Ur+ y Ur RN \ r = 1, ..., m.
Observacin D.2.2
1. La definicin precedente aparece en [9],[12],..., y describe dominios acotados de RN cuya fron-

tera es una variedad C k -diferenciable, N 1 dimensional, con localmente de un slo lado de
su frontera.
2. Evidentemente, si es de clase C k y 0 j < k es un entero, entonces es tambin de clase

C j . Si es de clase C k para todo entero k no negativo se dice que es de clase C .
3. Un ejemplo de dominio acotado de clase C lo proporciona cualquier bola abierta respecto de la

norma eucldea de RN .
D.3. Integral de superficie

Definicin D.3.1 Si es de clase C 1 y x es tal que, con la notacin de la definicin D.2.1,
x r con
x = A1 0 0
r (xr , ar (xr )), x0r r ,
se define ~n(x), el vector unitario normal exterior a en x, por

ar (x0r ) ar (x0r )
, ..., , 1

1 xr1 xrN 1
(D.3) ~n(x) = Ar v

u N
X 1
ar (x0r ) 2
u
t1 +
xrj
j=1
Observacin D.3.2 Se puede demostrar (ver [7]) que la definicin de ~n(x) es independiente del sis-
tema de elementos tomados en la definicin A1 para describir la frontera de , y se corresponde con
la nocin geomtrica de normal unitaria dirigida hacia el exterior de . Es fcil comprobar que la
N
aplicacin ~n : x ~n(x) es tal que ~n C 0 () .
Sea de clase C 1 , y para cada r = 1, ..., m, denotemos por r la funcin de C 0 (r ) definida por
v
u N 1
u X ar (x0r ) 2
(D.4) r (xr ) = t1 +
0
x0r r
xrj
j=1
Si f C 0 (), por congruencia con los conceptos elementales, es natural definir

Z Z

(D.5) f (x) d(x) = f A1 0 0 0 0
r (xr , ar (xr )) r (xr ) dxr
r r
El problema al intentar extender esta definicin a una integral sobre toda la frontera de radica en
que, en general, los r no son disjuntos dos a dos.
Para solventar esta dificultad, se procede de la manera siguiente. Con la notacin de la definicin
A1, denotemos
(D.6) Ur = Ur+ r Ur r = 1, ..., m.

Los Ur as definidos son abiertos acotados de RN y constituyen un recubrimiento de . En conse-

cuencia, podemos considerar una particin de la unidad de subordinada a dicho recubrimiento, es
decir, consideramos fijadas m funciones r (x) tales que

r C (RN ), {x RN ; r (x) 6= 0} Ur y,

0 (x) 1 x RN
r r = 1, ..., m,
(D.7)

Xm

con r (x) = 1 x .
r=1
La existencia de m funciones satisfaciendo (D.7) ser demostrada en un prximo tema.

Con la notacin precedente, se introduce el concepto de integral sobre .
Definicin D.3.3 Sean de clase C 1 y f C 0 (). Se define la integral de f sobre por

Z m Z
X 1 0
(D.8) f (x) d(x) = f A1 0 0 0 0 0
r (xr , ar (xr )) r Ar (xr , ar (xr )) r (xr ) dxr
r=1 r
Se puede demostrar ([7]) que la definicin precedente es independiente de la particin de la unidad

satisfaciendo (D.7), as como de la representacin de satisfaciendo las condiciones de la Definicin
D.2.1, que se hayan tomado.
Las definiciones D.3.1 y D.3.3 pueden ser extendidas (con las modificaciones adecuadas) al caso de
dominios acotados de frontera lipschitciana, clase a la que por ejemplo pertenecen, aparte de todos los
dominios de clase C 1 , los abiertos delimitados por figuras polidricas.
Definicin D.3.4 Diremos que es de clase C 0,1 o, de manera equivalente, que es de frontera lips-
chitciana (lo denotaremos tambin C 0,1 ) si es de clase C 0 y las funciones ar de la definicn
A1 son globalmente lipschitcianas en r para cada r = 1, ..., m, es decir, si para cada r existe Lr > 0
tal que
(D.9) |ar (x0r ) ar (yr0 )| Lr |x0r yr0 | x0r , yr0 r .
Que las definiciones D.3.1 y D.3.3 pueden ser extendidas al caso de dominios de clase C 0,1 , es conse-
cuencia del siguiente resultado cuya demostracin se puede consultar en [7]:
Teorema D.3.5 (de Rademacher) Si ar satisface (D.9), entonces existen las parciales primeras de ar
respecto de todas las variables xrj , j = 1, ..., N 1, en todos los puntos de r salvo, a lo ms, en un
conjunto de puntos de medida nula (para la medida de Lebesgue en RN 1 ). Adems, ar L (r )N .
Como consecuencia del Teorema D.3.5, si C 0,1 , podemos considerar las funciones r definidas
por (D.4) casi por doquier en r , obtenindose ahora que r L (r ), con lo que la Definicin
D.3.3 sigue teniendo sentido en este caso, y en consecuencia a partir de ahora definimos la integral de
f C 0 () sobre C 0,1 tambin por la frmula (D.8).
Respecto de la normal unitaria exterior en x , si C 0,1 y x = A1 0 0 0
r (xr , ar (xr )) con xr r
un punto en que existan todas las derivadas parciales primeras de ar , se define ~n(x) nuevamente por
la frmula (1). Con esta definicin, es inmediato comprobar que, dada g C 0 (), la frmula (D.8)
contina teniendo sentido con f (x) = g(x)ni (x), siendo ni la componente i-sima de ~n(x), y define en
consecuencia lo que llamaremos la integral de gni sobre .
La nocin de integral de superficie que hemos introducido con anterioridad corresponde, en realidad,
a la integracin con respecto de una medida positiva finita definida sobre una sigma-lgebra de
partes de . En efecto, supongamos que con de clase C 0,1 . Si queremos definir la medida
superficial de siendo congruentes con la igualdad (D.8), tendremos
Z m Z
X 1 0
() = (x) d(x) = A1 0 0 0 0 0
r (xr , ar (xr )) r Ar (xr , ar (xr )) r (xr ) dxr .
r=1 r
Ahora bien, es inmediato que en cada una de las integrales que aparecen en el ltimo sumatorio,

A1 0 0 0 0 0
r (xr , ar (xr )) = 1 si y slo si xr r y (xr , ar (xr )) Ar ().
En consecuencia, fijada , para cada r = 1, ..., m se denota
r = {x0r r ; (x0r , ar (x0r )) Ar ()},
y por definicin se dice que es -medible si todos los r son medibles respecto de la medida de
Lebesgue en RN 1 . Se denota por a la familia de partes de que sean -medibles, y para cada
se define
Xm Z

() = r A1 0 0 0 0
r (xr , ar (xr )) r (xr ) dxr .
r=1 r
Es fcil comprobar que es una sigma-lgebra de partes de , y que es una medida positiva
finita sobre . Adems (ver [6]) se demuestra que f : R es integrable respecto de la medida
1 0
si y slo si f A1 0 0 0
r (xr , ar (xr )) r Ar (xr , ar (xr )) es integrable sobre r (respecto de la medida de
Lebesgue en RN 1 ) para todo r = 1, ..., m, y en tal caso la integral de f con respecto a la medida
coincide con la que proporciona la igualdad (D.8).
Notemos para finalizar, que como consecuencia de lo que precede, los espacios Lp (, , ), que
denotaremos de manera ms breve Lp (), estn bien definidos para cada p [1, +], son todos
espacios de Banach con la norma habitual, y en particular L2 () es un espacio de Hilbert.
Apndice E
Complementos sobre Regularizacin de

funciones
E.1. Particiones de la unidad

Recogemos en este apndice algunos resultados que han sido enunciados sin demostracin en el
Captulo 3, as como algunas consideraciones sobre la convolucin de funciones.
En todo el apndice sea un abierto no vaco de RN , con N entero mayor o igual que 1.
En primer lugar, demostramos el siguiente resultado:
Proposicin E.1.1 Dado K , con K compacto, existe D() tal que 0 (x) 1 en y
1 en un entorno de K.
Demostracin.- Para cada nmero positivo denotemos por K al conjunto
K = {x RN ; d(x, K) < },
que constituye un entorno abierto de K. De la compacidad de K y el carcter abierto de , podemos

afirmar que existe un r > 0 tal que K4r . Fijado tal r pongamos por definicin (x)
= (|x|2 r2 ),
1/t
donde (t) = e 1{t<0} .
Es obvio que existe un recubrimiento finito de K3r mediante bolas abiertas de centros en puntos
de K3r y radio r, recubrimiento que denotamos {B(yj1 , r); j1 J1 } con J1 finito. A partir de dicho
recubrimiento definimos X
1 (x) = (x
yj1 ),
j1 J1
con lo que, por construccin, 1 C (RN ), sop 1 K4r y 1 (x) > 0 x K3r .
N
Por otra parte, el cerrado R \ K2r admite un recubrimiento numerable localmente finito mediante
bolas de centro en puntos de RN \ K2r y radio r. Denotemos a dicho recubrimiento por {B(yj2 , r); j2
J2 }, con J2 numerable. Por el carcter localmente finito del citado recubrimiento, podemos definir sin
ambiguedad X
2 (x) = (x
yj2 ),
j2 J2
que satisface 2 C (RN ), 2 > 0 en RN \ K2r y 2 (x) = 0 x Kr .

Como 1 + 2 > 0 en RN , la funcin dada por
1 (x)
(x) =
1 (x) + 2 (x)
100
est bien definida, pertenece a C (RN ), tiene su soporte contenido en el compacto K4r contenido en
y es idnticamente 1 en Kr .
De manera ms general, siguiendo una lnea similar a la demostracin precedente, se obtiene el
siguiente resultado (para los detalles, ver [2]):
Proposicin E.1.2 (Particin de la unidad) Sean K un compacto de RN , y 1 , 2 ,...,k abiertos
k
[
de RN tales que K i . Entonces, existe una particin de la unidad subordinada al recubrimiento
i=1
precedente de K, es decir, existen k funciones 1 , 2 ,...,k tales que:
k
X
i D(i ), 0 i 1, para todo 1 i k, y i 1 en un entorno de K.
i=1
Es importante el siguiente resultado, que ya ha sido enunciado en la Proposicin 3.3.11:

Z
1
Proposicin E.1.3 Si u Lloc () es tal que u(x)(x) dx = 0 para toda D(), entonces u = 0

c.p.d. en
Demostracin.- Se efecta en dos etapas:
a) Supongamos que adems es acotado y que u L1 ().
Fijemos > 0. Por el Teorema 3.3.4, sabemos que existe
Z D() tal que ku kL1 () .
Tomando esta ltima funcin, y teniendo en cuenta que u(x)(x) dx = 0 para toda D(),

obtenemos Z Z

(x)(x) dx = ( (x) u(x))(x) dx kkL () .

Denotemos
K1 = {x ; (x) } y K2 = {x ; (x) }.
Es inmediato comprobar que K1 y K2 son dos compactos disjuntos contenidos en . Con esto, a
partir de la Proposicin A.1, es fcil obtener la existencia de una funcin D() tal que 1
1, |K1 1 y |K2 1.
Denotando K = K1 K2 , se tiene:
Z Z Z Z Z
| (x)| dx = (x) (x) dx = (x) (x) dx (x) (x) dx + | (x)| dx,
K K \K \K
con lo que Z
| (x)| dx + 2||,

y en consecuencia kukL1 (RN ) 2(1 + ||). Como > 0 es arbitrario, obtenemos que kukL1 (RN ) = 0,
es decir, u = 0 c.p.d. en .
b) En el caso general se consideran para cada entero n 1 los conjuntos
1
n = {x ; d(x, RN \ ) > , |x| < n}.
n
n es un compacto
Es fcil comprobar que los conjuntos n as definidos son abiertos tales que
contenido en y se satisface [
n n+1 y n = .
n1
Resulta ahora fcil concluir a partir de a) que u = 0 c.p.d. en cada uno de los n , con lo que u = 0
c.p.d. en .
E.2. Convolucin de funciones

Seguidamente, introducimos y estudiamos la convolucin de dos funciones en el caso particular en
que una de ellas pertenece a Cc0 (RN ) y la otra a L1loc (RN ).
Sean Cc0 (RN ) y u L1loc (RN ). Es inmediato comprobar que para cada x RN fijado la funcin
y RN 7 (x y)u(y) pertenece a L1 (RN ), con lo cual tiene sentido la definicin siguiente:
Definicin E.2.1 Dadas Cc0 (RN ) y u L1loc (RN ), se define la convolucin de con u, y se
denota u, a la funcin dada por:
Z
(E.1) ( u)(x) = (x y)u(y) dy x RN
RN
Lo primero que es inmediato comprobar es que para todo x RN se tiene:

Z
( u)(x) = (y)u(x y) dy.
RN
Por otra parte u es regular, en concreto:
Proposicin E.2.2 Si Cc0 (RN ) y u L1loc (RN ), entonces:
1. u C 0 (RN ).
2. Si K RN es tal que u = 0 c.p.d. en RN \ K, entonces
sop ( u) sop + K.
3. Si Cck (RN ), con k entero mayor que cero, entonces u C k (RN ), y para todo multindice
con || k se tiene:
( u)(x) = ( u)(x) x RN
Demostracin.-
1. Sea xn x en RN y denotemos fn (y) = (xn y)u(y) y f (y) = (x y)u(y). Es evidente
que c.p.d. y RN se tiene que lm fn (y) = f (y). Por otra parte, como xn es convergente, existe un
n
compacto K RN tal que xn sop K para todo n. As fn (y) = 0 para todo n y todo y 6 K, con
lo que
|fn (y)| kkL (RN ) 1K (y)u(y) L1 (RN ),
y por convergencia dominada se obtiene que fn f en L1 (RN ), esto es:
lm ( u)(xn ) = ( u)(x).
n
2. Sea x RN \ (sop + K). En tal caso:

Si y K, entonces x y 6 sop , y en consecuencia (x y)u(y) = 0.
Por otra parte, c.p.d. y RN \K se tiene u(y) = 0. En consecuencia, c.p.d. en RN , (xy)u(y) = 0,
con lo que ( u)(x) = 0.
3. Basta demostrar que si Cc1 (RN ), entonces para todo x RN existe la derivada 1 ( u)(x)
y vale 1 ( u)(x) = (1 u)(x).
Sea pues Cc1 (RN ) y fijemos x RN . Denotemos e1 = (1, 0, ..., 0) RN y sea 0 < || < 1. Como
1 es uniformemente continua en RN , para cada y RN se tiene:
Z 1

|(x + e1 y) (x y) 1 (x y)| = (1 (x + se1 y) 1 (x y)) ds ||O(||).
0
1) sop Kx , entonces para cada 0 < || < 1 y

Si Kx es un compacto de RN tal que x + B(0,
N
cada y R \ Kx se tiene
(x + e1 y) = (x y) = 1 (x y) = 0,
y en consecuencia, para todo 0 < || < 1 y todo y RN
|(x + e1 y) (x y) 1 (x y)| ||O(||)1Kx (y),
con lo que multiplicando por u(y) e integrando en y, se obtiene:

Z
|( u)(x + e1 ) ( u)(x) (1 u)(x)| ||O(||) 1Kx (y)|u(y)| dy.
RN

Otro resultado de inters lo constituye el siguiente:
Proposicin E.2.3 Si Cc0 (RN ) y u Lp (RN ) con p [1, +], entonces u Lp (RN ) y
satisface:
k ukLp (RN ) kkL1 (RN ) kukLp (RN ) .
Demostracin.-
a) Si p = +, entonces para cada x RN se tiene:
Z Z Z

|( u)(x)| = (x y)u(y) dy kukL (RN ) |(x y)| dy = kukL (RN ) |(y)| dy.
RN RN RN
b) Si p = 1, denotando f (x, y) = (x y)u(y), se tiene:

Z Z
|f (x, y)| dx = |u(y)| |(x y)| dx = kkL1 (RN ) |u(y)|,
RN RN
con lo que Z Z
|f (x, y)| dx dy = kkL1 (RN ) kukL1 (RN ) < +,
RN RN
as que, por Fubini-Tonelli, f L1 (RN RN ) y

Z Z Z Z
|f (x, y)| dy dx = |f (x, y)| dx dy = kkL1 (RN ) kukL1 (RN ) ,
RN RN RN RN
lo que, en particular, implica que u L1 (RN ) con norma en L1 (RN ) menor o igual que kkL1 (RN ) kukL1 (RN ) .
c) Si p (1, +), para todo x fijado en RN la funcin y 7 |(x y)||u(y)|p pertenece a L1 (RN )
y, denotando por p0 el exponente conjugado de p, se tiene
Z Z
1 1
|( u)(x)| |(x y)||u(y)| dy = |(x y)| p |u(y)||(x y)| p0 dy
RN RN
Z 1 Z 10
p p
p
|(x y)||u(y)| dy |(x y)| dy ,
RN RN
esto es,
1
1 0
|( u)(x)| ((|| |u|p )(x)) p kkLp 1 (RN ) .
Elevando a p esta ltima desigualdad e integrando en x se obtiene

Z p
0
|( u)(x)|p dx kkLp 1 (RN ) k|| |u|p kL1 (RN )
RN
(por el caso b))

p
kkLp 1 (RN ) kkL1 (RN ) k|u|p kL1 (RN ) = kkpL1 (RN ) kukpLp (RN ) .
0
E.3. Regularizacin
Resulta de inters fundamental la tcnica de regularizacin, debida a Leray y Schauder, consistente
en convolucionar con una sucesin regularizante.
Definicin E.3.1 Una sucesin regularizante en RN es cualquier N

Z sucesin {n }n1 D(R ) tal que
1
para todo n 1 se satisfaga n 0 en RN , sop n B(0, )y n (x) dx = 1.
n RN
Lo primero que es fcil de demostrar es la existencia de sucesiones regularizantes; basta para ello
tomar (x) = (|x|2 1) y considerar la sucesin definida por
nN (nx)
n (x) = Z
(y) dy
RN
Es tambin inmediato comprobar a partir de los resultados precedentes que si {n }1 es una suce-
sin regularizante, y u L1loc (RN ) entonces n u C (RN ); si, adems, u es cero c.p.d. en el
complementario de un compacto entonces n u D(RN ).
El inters de la convolucin por una sucesin regularizante radica en las propiedades de aproxima-
cin que posee.
Proposicin E.3.2 Sea {n }n1 una sucesin regularizante. Se tiene:
1. Si u C 0 (RN ), entonces n u converge a u, cuando n tiende a , uniformemente sobre los

compactos de RN .
2. Si u Lp (RN ) con p [1, +), entonces n u converge a u, cuando n tiende a +, en Lp (RN ).
Demostracin.-
1. Sean u C 0 (RN ), K un compacto de RN y > 0 fijados. Hemos de demostrar que existe un
n0 1 tal que
|(n u)(x) u(x)| x K n n0 .
Como u es uniformemente continua en los compactos de RN , existe un > 0 tal que
|u(x y) u(x)| x K |y| .

1
Fijado un tal , basta tomar n0 entero tal que n0 . Con esta eleccin, si n n0 entonces sop n

1
B(0, ) B(0, ), con lo que para todo x K se tiene:
n
Z Z

|(n u)(x) u(x)| = (u(x y) u(x))n (y) dy = (u(x y) u(x))n (y) dy .
RN 1
B(0, )
n
2. Sea u Lp (RN ) con p [1, +). Sabemos por la Proposicin E.2.3 que en tal caso n u
Lp (RN ), para todo n 1.
Fijemos > 0 y Cc0 (RN ) tal que ku kLp (RN ) . Ya sabemos que n converge a , cuando
n tiende a , uniformemente sobre los compactos de RN ; en particular, como sop y sop (n ) estn
contenidos en el compacto fijo sop + B(0, 1), es inmediato que n converge a , cuando n tiende
a , en Lp (RN ). En consecuencia:
kn u ukLp (RN ) kn (u )kLp (RN ) + kn kLp (RN ) + k ukLp (RN )
2k ukLp (RN ) + kn kLp (RN ) 2 + kn kLp (RN ) ,

y en consecuencia lm sup kn u ukLp (RN ) 2.
n
Basta ahora tener en cuenta que > 0 es arbitrario.
Como aplicacin de la tcnica de regularizacin por convolucin, obtenemos el siguiente resultado
que liga los conceptos de derivada clsica y de derivada generalizada.
Proposicin E.3.3 Sean u y v dos funciones pertenecientes a C 0 () tales que para algn entero i
con 1 i N se satisface
Z Z
v(x)(x) dx = u(x)i (x) dx D().

Entonces u es derivable en sentido clsico respecto de xi en , con derivada igual a v.
Demostracin.- Sea x0 fijado, tomemos > 0 tal que B(x0 , 2) y D() tal que 1
en B(x0 , 2).
Las funciones u y v pertenecen a Cc0 (), con lo que prolongadas por cero al complementario de
pueden ser consideradas en Cc0 (RN ). De esta manera, si consideramos fijada una sucesin regularizante
{n } en RN entonces, de los resultados anteriores, sabemos que si n :
n (u) u = u y n (v) v = v,
uniformemente en B(x0 , 2). Adems, en particular, n (u) C 1 (RN ). Basta, para terminar, de-
mostrar que para todo n suficientemente grande
i (n (u)) n (v) en B(x0 , ).
Sabemos que para todo x RN y para todo n se satisface:

Z
(E.2) (i (n (u))) (x) = (i n (u)) (x) = (i n (x y)) u(y)(y) dy.
1
B(x, n
)
1
Fijemos x B(x0 , ) y n tal que .
n
1
Entonces si y B(x, ) queda claro que y B(x0 , 2), y en consecuencia (y) = 1. As, de (E.2),
n
se tiene para el x y n fijados anteriormente:
Z
(E.3) (i (n (u))) (x) = (i n (x y)) u(y) dy.
1
B(x, n
)
1
Denotemos n (y) = n (x y). Evidentemente n D(RN ) y sop n B(x, ) , con lo que
n
n | D(). Adems,
i n (y) = i n (x y),
con lo que, por (E.3), se obtiene:
Z
(i (n (u))) (x) = i n (y)u(y) dy = < u, i n >=

Z
=< v, n >= n (x y)v(y) dy = (n (v)) (x).

Bibliografa
[1] H. Brzis: Analyse fonctionelle. Thorie et applications, Masson, Pars, 1983.
[2] E. Casas: Introduccin a las Ecuaciones en Derivadas Parciales, Servicio de Publicaciones de la

Universidad de Cantabria, Santander, 1992.
[3] R. Dautray - J.L. Lions: Analyse Mathmatique et Calcul Numrique pour les Sciences et les
Techniques, Masson, 1985.
[4] E. DiBenedetto: Partial Differential Equations, Birkhuser, 1995.
[5] L.C. Evans: Partial Differential Equations, AMS, Graduate Studies in Mathematics Vol. 19, 1998.
[6] D. Gilbarg - N.S.Trudinger: Elliptic partial differential equations of second order, Springer-Verlag,
1983.
[7] F. John: Partial Differential Equations, Springer-Verlag, 1982.
[8] J. Jost: Postmodern Analysis, Second Edition, Springer-Verlag, 2002.
[9] A. Kufner - O. John - S. Fuik: Function spaces, Ed. Noordhoff, 1977.
[10] S. Lang: Real Analysis, Addison-Wesley, 1969.
[11] T. Myint-U: Partial Differential Equations of Mathematical Physics, North-Holland, 1980.
[12] J. Neas: Les mthodes directes en thorie des quations elliptiques, Ed. Masson, 1967.
[13] I. Peral Alonso: Primer Curso de Ecuaciones en Derivadas Parciales, Addison Wes-
ley/Universidad Autnoma de Madrid, 1995.(Tambin disponible en la direccin de Internet
http://www.uam.es/personal pdi/ciencias/ireneo/cursos.htm)
[14] R. E. Showalter: Introduction to partial differential equatios (disponible en la direccin

http://www.math.oregonstate.edu/ show/docs/pde.html)
[15] R. E. Showalter: Hilbert Space Methods for Partial Differential Equations, (disponible en la direc-
cin http://ejde.math.txstate.edu/Monographs/01/abstr.html)
[16] H.F. Weinberger: Ecuaciones Diferenciales en Derivadas Parciales, Revert, 1970.
107

EDP Apuntes 1 PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

EDP Apuntes 1 PDF

Uploaded by

Copyright:

Available Formats

1

ECUACIONES EN DERIVADAS PARCIALES

Jos D. Martn Gmez y Jos Real Anguas

1. LAS ECUACIONES DEL CALOR Y DE ONDAS UNIDIMENSIONALES 4

2. EL PROBLEMA DE DIRICHLET PARA LAS ECUACIONES DE LAPLACE Y

3. FORMULACIN VARIACIONAL DEL PROBLEMA DE DIRICHLET PARA EL

4. TEORA ESPECTRAL DE OPERADORES COMPACTOS 67

A. Algunos Resultados de Convergencia 83

C. Problema de Cauchy para la ecuacin de ondas 93

E. Complementos sobre Regularizacin de funciones 100

LAS ECUACIONES DEL CALOR Y DE

1.1. Definiciones y motivacin

Observacin 1.1.2 En la definicin precedente, para simplificar la notacin, es costumbre denotar

3. (x, u(x), Du(x), D2 u(x)) U x U,

4. F (x, u(x), Du(x), D2 u(x)) = 0 x U.

y las EDPs cuasilineales, cuya forma general es

1.2. Las ecuaciones de Laplace, del calor y de ondas

(1.6) u(x) = f (x),

1.3. Problemas de valores iniciales, de contorno, y mixtos.

donde f : RN (0, +) 7 R y u0 : RN 7 R, son funciones dadas.

donde f : RN (0, +) 7 R, u0 : RN 7 R y u1 : RN 7 R, son funciones dadas.

Precisando ms, y suponiendo f C 0 () y g C 0 (), se define una solucin (clsica) de (P DP )

funcin u : [0, T ] 7 R tal que

1.4. Descripcin del mtodo de separacin de variables.

con u0 : (0, 1) 7 R dada.

con lo que imponiendo la condicin ut (x, 0) = 0, e identificando coeficientes, se obtiene

En consecuencia, se obtiene como solucin (en principio formal)

a la que ahora imponemos la condicin u(x, 0) = u0 (x), es decir,

Si u0 es una combinacin lineal finita de funciones sen nx, es decir, si u0 es de la forma

con n R constantes dadas, la condicin (1.14) conduce a An = n , si 1 n m, y An = 0, si

con la serie convergiendo a u0 enL2 (0, 1).

con los An dados por (1.15).

1.5. Resultados de convergencia para desarrollos en serie de Fourier.

constituye una base ortonormal de L2 (, ), y en consecuencia, dada f L2 (, ), si denotamos

Dado ahora un intervalo cerrado y acotado [a, b] R, mediante el cambio de variables

converge a f en L2 (a, b).

con la serie (1.28) convergente a f en L2 (l, l).

entonces las series

Volviendo al caso general de un intervalo [a, b] R, exponemos a continuacin un criterio sencillo

con An y Bn dadas por (1.26).

Por la identidad de Parseval, en particular se tiene

Como f (a) = f (b), obviamente se satisface

Para cada n 1 se tiene

Teniendo en cuenta que

Anlogamente, es fcil obtener que

con lo que (1.34) resulta evidente.

Es fcil obtener, como consecuencia del Teorema 1.5.2, el siguiente resultado:

Bajo estas condiciones, se tiene:

1. El desarrollo en cosenos de f determinado por (1.31) converge absoluta y uniformemente a f en

1.6. Aplicacin del mtodo de separacin de variables a la ecuacin

donde para la determinacin de los cn , partiendo de la condicin u(x, 0) = u0 (x), y suponiendo u0

(1.48) lm ku(, t) u0 kL2 (0,l) = 0.

Adems, si u0 C 0 ([0, l]), u0 (0) = u0 (l) = 0, y existe v0 L2 (0, l) tal que

(1.49) u C 0 (R [0, +)),

y, en particular, u(x, 0) = u0 (x) para todo x [0, l].

Demostracin.- Sea u0 L2 (0, l). Fijado > 0, si t entonces

que u C (R [, +)) para todo > 0, y en consecuencia u C (R (0, +)), y cualquier

(1.52) ku(, t) u0 kL2 (0,l) 2 + ksm (t) sm (0)kL2 (0,l) t > 0.

De las desigualdades (1.52) y (1.53), haciendo t 0, se obtiene

(1.54) lm sup ku(, t) u0 kL2 (0,l) 2.

entonces sabemos que los cn vienen dados por

(6,12) ut , uxx C 0 (R [0, +)).

Demostracin.- Basta considerar la funcin E(t) definida por