Tema 1

Las ecuaciones del calor y de ondas unidimensionales.

1.-Definiciones y motivaci
on.
Uno de los objetivos de este Curso es realizar una introduccion al estudio de las Ecuaciones
en Derivadas Parciales (EDP) de segundo orden, y mas concretamente de las EDP lineales de
segundo orden, centrandonos en los representantes canonicos de estas u
ltimas EDP: las ecuaciones
de Laplace y de Poisson, de ondas, y del calor.
De manera imprecisa, una EDP es una ecuacion en la que la incognita es una funcion de dos o
m
as variables independientes, y tal que en dicha ecuacion aparecen derivadas parciales, respecto de
las variables independientes, de la funcion incognita. Se denomina orden de una EDP al mayor de
los ordenes de las derivadas parciales que aparecen en la misma. As, por ejemplo, si u = u(x1 , x2 )
es una funcion incognita de las dos variables
x1 y x2 , y F : IR 7 IR es una funcion
independientes

4u
dada no constante, entonces la ecuacion F u +
= 0 es una EDP de cuarto orden. Nosotros,
x41
como ya se ha dicho, nos vamos a centrar en las EDP de segundo orden.
Definici
on 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 funci
on inc
ognita u = u(x1 , x2 , ..., xN ), es una expresi
on de la
forma

(1.1)

2u
u u
u 2 u
2u
x1 , x2 , ..., xN , u,
,
, ...,
, 2 , ...,
, ..., 2
x1 x2
xN x1
xi xj
xN

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

decir, con la notaci
on habitual, F C 0 (U).

+2N +1

= 0,

abierto, es una funci

on continua dada, es

Observaci
on 1.1.- En la definicion precedente, para simplificar la notacion, es costumbre denotar

u u
u
x = (x1 , x2 , ..., xN ), u = u(x), u = Du =
,
, ...,
,
x1 x2
xN
el vector gradiente de u, y

D u=

2u
2u
2u
,
...,
,
...,
x21
xi xj
x2N

la matriz hessiana de u, y con esta notacion escribir la EDP (1) como

(1.2)

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

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.
1

El concepto de solucion de una EDP resulta de capital importancia. El analisis 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 seran analizadas en la en la segunda parte de este Curso. Un estudio mas
profundo se llevara a cabo en las asignaturas optativas Ampliaci
on de Ecuaciones en Derivadas
Parciales y Ecuaciones en Derivadas Parciales de Evoluci
on.
Por el momento, nos limitamos a introducir el concepto siguiente:
Definici
on 1.2.- Una soluci
on cl
asica de (1.2) es cualquier pareja (U, u) tal que
a) U IRN es un abierto no vaco,
b) u C 2 (U ),
c) (x, u(x), Du(x), D2 u(x)) U

x U y

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

x U.

Se dice entonces, que u es soluci

on de (1.2) en el abierto U .
Como ya ha sido dicho, no existe una teora general para las EDP de segundo orden. Ademas,
no todas estas u
ltimas resultan tener el mismo interes; las hay que tienen tan solo un interes
puramente academico, mientras que hay otras cuyo interes reside en tener su origen en problemas
de la Fsica, de otra Ciencia de la Naturaleza, o en las Matematicas mismas. Nosotros nos vamos
a interesar por las mas clasicas e importantes de este u
ltimo tipo de EDP de segundo orden.
A continuacion, introducimos un caso particular muy importante de la EDP (1.2).
Definici
on 1.3.- Una EDP lineal de segundo orden en las variables independientes x = (x1 , ..., xN )
y en la inc
ognita u, es una EDP de la forma
N
X

(1.3)

i,j=1

aij (x)

X
2u
u
+
bi (x)
+ c(x)u = f (x),
xi xj
xi
i=1

donde aij , bi , c y f son funciones dadas en C 0 (), con un abierto de IRN . A las funciones
aij , bi y c se las denominan los coeficientes de (1.3), mientras que la funci
on f es denominada el
termino independiente de la ecuaci
on.
Si f 0, se dice que (1.3) es homogenea. Si las funciones aij , bi y c son todas constantes, se
dice que (1.3) es una EDP lineal de segundo orden con coeficientes constantes.
Observaci
on 1.2.- En (1.3) siempre supondremos, lo cual no es restrictivo, que aij aji .
Evidentemente, una solucion clasica de (1.3) es cualquier par (U, u) tal que U sea un abierto
no vaco, u C 2 (U ), y
N
X

2 u(x) X
u(x)
aij (x)
+
bi (x)
+ c(x)u(x) = f (x) x U.
x
x
xi
i
j
i,j=1
i=1
En el caso en que f 0, el conjunto de todas las soluciones clasicas de (1.3) definidas en un mismo
abierto U es, evidentemente, un subespacio vectorial de C 2 (U ).
2

Observaci
on 1.3.- Otras dos clases muy importantes de EDP de segundo orden son las semilineales, que son las de la forma
(1.4)

N
X
i,j=1

aij (x)

2u
= f (x, u, Du),
xi xj

y las EDPs cuasilineales, cuya forma general es

(1.5)

N
X
i,j=1

aij (x, u, Du)

2u
= f (x, u, Du).
xi xj

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 practica se
plantean para las EDP suelen consistir en a
nadir a la ecuacion una o varias condiciones adicionales
que han de ser satisfechas por la solucion. 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 ecuacion a otra.
Supongamos fijada una funcion C 1 (IR), y consideremos los problemas

2
u
u
2u
2

= 0 en IR

2 x = 0 en IR

x
x
x

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

u (x1 , 0) = (x1 ) en IR,

(x1 , 0) = (x1 ) en IR,
x2
x2
2

u 2u
2u 2u
2

+
= 0 en IR2

2
2
2 x2 = 0 en IR

x
x
x

2
2
1
1
(c) u(x1 , 0) = 0 en IR
(d) u(x1 , 0) = 0 en IR

u (x1 , 0) = (x1 ) en IR.

(x1 , 0) = (x1 ) en IR,
x2
x2
En los cuatro problemas nos planteamos hallar una solucion clasica global, es decir, una funcion
u
u C 2 (IR2 ) tal que satisfaga las condiciones (denominadas iniciales) u(x1 , 0) = 0 y
(x1 , 0) =
x2
2
(x1 ) para todo x1 IR, y tambien satisfaga la EDP correspondiente en todo IR . Analicemos que
sucede en cada uno de los cuatro problemas.
Problema (a).Si u es solucion de (a), entonces es inmediato concluir que se ha de tener que 0 (x1 ) = 0 para
todo x1 IR. Es decir, para que el problema (a) posea solucion clasica global, es necesario que
sea constante, esta condicion es lo que se denomina una condicion 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 IR arbitrario, son soluciones
de (a).
En resumen, para el problema (a), en caso de existir solucion existen infinitas.
3

Problema (b).u
2u
(x1 , 0) =
(x1 , 0), pero
2
x1
x2

Si u es solucion de (b), entonces en particular

u(x1 , 0) = 0

2u
(x1 , 0) = 0
x21

x1 IR =

x1 IR,

u
(x1 , 0) = (x1 ), obtenemos que ha de ser 0.
x2
Es decir, el problema (b) posee solucion si y solo si es identicamente nula. Observese que la
conclusi
on en este caso parece natural si se piensa que la EDP en (b) es de primer orden en la
variable x2 , mientras que se estan imponiendo dos condiciones en x2 = 0.
con lo que, como se ha satisfacer

Problema (c).Si u es solucion de (c), entonces la funcion v(x1 , x2 ) definida por

Z
v(x1 , x2 ) =
0

x1

u
(s, 0) ds
x2

pertenece evidentemente a C 1 (IR2 ), satisface

x2

u
(x1 , t) dt (x1 , x2 ) IR2 ,
x1

v
u

en IR2 , y para todo (x1 , x2 ) IR2 ,

x2
x1

v
u
(x1 , x2 ) =
(x1 , 0)
x1
x2
u
=
(x1 , 0) +
x2

Z
0

x2

Z
0

x2

2u
(x1 , t) dt =
x21

u
2u
(x1 , t) dt =
(x1 , x2 ).
2
x2
x2

As pues, la pareja de funciones u y v satisfacen las ecuaciones de Cauchy-Riemann en todo IR2 ,

lo que en particular implica que u es una funcion analtica en IR2 , y por tanto ha de ser una
funci
on analtica en IR. En consecuencia, si no es una funcion analtica el problema (c) no posee
soluci
on clasica.
Otra forma de ver que es una funcion analtica en IR, consiste en introducir las funciones
u
u
w1 =
y w2 =
. Evidentemente, w1 y w2 pertenecen a C 1 (IR); ademas, por la igualdad de
x1
x2
w1
w2
las derivadas cruzadas de u, se tiene que
=
, en todo IR, y por satisfacer u la EDP en (c),
x2
x1
w1
w2
=
, en todo IR. Es decir, la pareja de funciones w1 y w2 satisfacen las ecuaciones de
x1
x2
Cauchy-Riemann en todo IR2 , lo que implica que w2 es una funcion analtica en IR2 , y por tanto,
como (x1 ) = w2 (x1 , 0), en todo IR, se deduce que ha de ser una funcion analtica en IR.
Problema (d).-

Z
1 x1 +x2
(s) ds es una solucion del problema (d). Mas
2 x1 x2
adelante, en este mismo Tema, demostraremos que de hecho la solucion as obtenida es la u
nica.
As pues, para cualquier C 1 (IR2 ) el problema (d) posee una y solo una solucion clasica global.
Es sencillo comprobar que u(x1 , x2 ) =

Observaci
on 1.4.- Las ecuaciones que aparecen en los problemas (a) y (d) son esencialmente
equivalentes, en el sentido de que una puede ser obtenida de la otra mediante un cambio global
4

de variables independientes. En efecto, si se definen las nuevas variables y1 e y2 mediante las

igualdades y1 = x1 + x2 e y2 = x1 x2 , es inmediato comprobar que, en las nuevas variables, la
2u 2u
2u
EDP
2 = 0 se transforma en 4
= 0. El hecho de que, no obstante, los problemas
2
x1
x2
y1 y2
(a) y (d) se porten de manera 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 mas 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).
2.- Las ecuaciones de Laplace, del calor y de ondas.
Consideremos las tres EDP siguientes:
(2.1)

u(x) = f (x),

(2.2)

2u
(x, t) c2 u(x, t) = f (x, t),
t2

(2.3)

u
(x, t) u(x, t) = f (x, t),
t

donde u es el laplaciano de u en las variables x = (x1 , ..., xN ), y viene dado por u =

N
X
2u
i=1

x2i

siendo N 1, y c en (2.2) es una constante positiva dada.

A (2.1) se le denomina le ecuacion de Poisson, y en el caso particular en que f 0, es conocida
como ecuacion de Laplace. A la ecuacion (2.2) se le denomina la ecuacion de ondas, y a (2.3) se
le denomina le ecuacion del calor. Las tres ecuaciones, al estudio de las cuales va a estar dedicada
la primera parte del Curso, pueden ser consideradas representantes canonicos de un gran n
umero
de EDP lineales de segundo orden con coeficientes constantes. Ademas, lo que es mucho mas
importante, las tres ecuaciones aparecen en problemas fundamentales de la Fsica.
As, la ecuacion de Poisson aparece en Teora de Campos (electrostaticos, gravitatorios, etc). La
ecuaci
on de Laplace, cuando N = 2, aparece tambien en la teora de funciones de variable compleja.
La ecuacion (2.3), para N 3, describe, bajo hipotesis fsicas adecuadas, y tras renormalizacion,
la evoluci
on de la temperatura u(x, t), en cada instante t y en cada punto x IRN , de un cuerpo
sometido a una fuente de calor determinada por f (x, t).
Por otra parte, la ecuacion (2.2) describe en el caso N = 1, y bajo hipotesis fsicas adecuadas,
las peque
nas vibraciones de una cuerda elastica. De hecho, en este caso el origen historico de la
ecuaci
on reside en el estudio de las vibraciones de la cuerda de un violn. Finalmente, si N = 2 o
3, la ecuacion (2.2) describe la propagacion de ondas ac
usticas o electromagneticas 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 evolucion.
5

Aparte de las tres antes citadas, hay muchas otras EDP que aparecen en la Fsica. As, por
ejemplo, si se estudian fenomenos de propagacion de ondas en un medio fsico no vaco, aparece
una EDP que resulta de a
nadir en el primer termino de la ecuacion (2.2) un termino de rozamiento,
obteniendose de esta forma la ecuacion
2u
u
c2 u +
= f (x, t),
2
t
t

(2.4)

que se conoce con el nombre de ecuacion del telegrafista, y que aproxima bien, por ejemplo, a la
propagaci
on de ondas de radio en la atmosfera.
Para otros ejemplos de EDP que aparecen en las aplicaciones, se pueden consultar los libros de
R. Dautray y J.L. Lions, y de I. Peral Alonso, citados en la bibliografa.
3.-Problemas de valores iniciales, de contorno, y mixtos.
A partir de ahora, usaremos con frecuencia la notacion ut y utt para designar respectivamente a
u
2u
ya
. El mismo convenio notacional se usara con ux y uxx cuando x sea unidimensional.
t
t2
Planteamos a continuacion varios de los tipos de problemas que aparecen en las aplicaciones para
las tres EDP (2.1)-(2.3), algunos de los cuales seran 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 funcion u : IRN [0, +) 7 IR tal que,
(
(P CC)

ut u = f

en IRN (0, +),

u(x, 0) = u0 (x)

x IRN ,

donde f : IRN (0, +) 7 IR y u0 : IRN 7 IR, son funciones dadas.

b) El problema de valores iniciales para la EDP de ondas se formula como el problema de hallar
una funcion u : IRN [0, +) 7 IR tal que,
(
(P CO)

utt c2 u = f
u(x, 0) = u0 (x),

en IRN (0, +),

ut (x, 0) = u1 (x) x IRN ,

donde f : IRN (0, +) 7 IR, u0 : IRN 7 IR y u1 : IRN 7 IR, son funciones dadas.
Desde el punto de vista de las aplicaciones, mas que los problemas de valores iniciales, resultan
de gran interes un tipo diferente de problemas. Restringiendonos a las tres ecuaciones modelo
(las ecuaciones de Poisson, del calor y de ondas), los problemas por los que vamos a interesarnos
primordialmente, son los de contorno (en el caso de la ecuacion 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 ecuacion
Ejemplos basicos de estos tipos de problemas son los tres siguientes:

c) El problema de Dirichlet para la ecuacion de Poisson.

En terminos imprecisos, este problema puede formularse como sigue. Dados IRN conjunto
abierto acotado de frontera , f : 7 IR y g : 7 IR, hallar una funcion u : 7 IR tal que
(
u = f en ,
(P DP )
u = g sobre .
Precisando mas, y suponiendo f C 0 () y g C 0 (), se define una solucion (clasica) de (P DP )
como cualquier funcion u C 2 () C 0 () tal que u(x) = f (x) x y u(x) = g(x) x .
Con esta nocion de solucion, el problema (P DP ) sera analizado en el tema 2 de este Curso, pero
adelantemos ya que es posible introducir otro concepto mas debil de solucion; el estudio de (P DP )
con dicho concepto sera iniciado en la segunda parte de esta asignatura.
d) El problema mixto de Cauchy-Dirichlet para la ecuacion del calor.
Tambien en terminos imprecisos, este problema se formula como sigue. Dados IRN conjunto
abierto acotado, T (0, +], f : (0, T ) 7 IR, g : (0, T ) 7 IR y u0 : 7 IR, hallar una
funci
on u : [0, T ] 7 IR tal que

u u = f en (0, T ),

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

u(x, 0) = u0 (x) en .
Existen varias nociones de solucion 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 IR es un intervalo de la forma (0, l). En este caso, dado que (0, l) = {0, l}, el problema
(P CDC) suele escribirse como

u uxx = f en (0, l) (0, T ),

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 IR, u0 : (0, l) 7 IR, : (0, T ) 7 IR y : (0, T ) 7 IR funciones dadas.
e) El problema mixto de Cauchy-Dirichlet para la ecuacion de ondas.
El problema consiste en, dados los datos , T , f , g y u0 como en el problema (P CDC), mas
u1 : 7 IR, y c > 0, hallar una funcion u : [0, T ] 7 IR tal que

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

tt
(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 solucion 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 IR es un intervalo de la forma (0, l). En cuyo caso, el problema
(P CDO) suele escribirse como

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

tt
(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 ).

7

Siendo f : (0, l) (0, T ) 7 IR, u0 : (0, l) 7 IR, u1 : (0, l) 7 IR, : (0, T ) 7 IR y : (0, T ) 7 IR
funciones dadas.
Recalquemos que el punto clave en el analisis de los problemas anteriores es el concepto de
soluci
on, cosa que esperemos que quede clarificada a lo largo del Curso.
Una vez establecido el concepto de solucion, el analisis de cualquiera de estos problemas pasa en
primera instancia por establecer resultados de existencia y/o unicidad de solucion, dependencia
continua respecto de los datos, etc.
Naturalmente, otro punto importante consiste en establecer metodos de calculo de las soluciones.
Un metodo importante de este tipo lo constituye el denominado metodo de separacion de variables,
que pasamos a describir y aplicar sobre ejemplos sencillos.
4.-Descripci
on del m
etodo de separaci
on de variables.
El metodo de separacion 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 homogeneas de contorno) que
aparezcan junto con la EDP. De esa forma, se suele obtener una sucesion de funciones un (x, y) =
Xn (x)Yn (y), y a partir de ellas se busca la solucion u del problema como una serie de las un . En
ese proceso se obtiene una solucion formal para la que, a posteriori, hay que estudiar en que sentido
converge, y en que sentido define una solucion del problema de que se trate.
Precisemos algo mas el sentido del metodo sobre un ejemplo sencillo. En concreto, consideremos
el siguiente problema de Cauchy-Dirichlet para la ecuacion de ondas unidimensional:

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

tt
(4.1)
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 IR dada.
La idea del metodo de separacion de variables para resolver (4.1) consiste en buscar, en primer
lugar, soluciones u C 2 ([0, 1] [0, +)) no identicamente nulas del problema auxiliar
(
utt uxx = 0 en (0, 1) (0, +),
(4.2)
u(0, t) = u(1, t) = 0 en t > 0.
Observese que el conjunto de todas las soluciones u C 2 ([0, 1] [0, +)) de (4.2) constituye un
subespacio vectorial de C 2 ([0, 1] [0, +)). En consecuencia, cualquier combinacion lineal finita
de soluciones de (4.2) es tambien solucion de (4.2).
Para buscar soluciones no nulas de (4.2), 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, +)).
Si exigimos que u satisfaga la EDP, obtenemos X 00 T = X T, as que para ello basta que
T
X 00
=
= ,
X
T
8

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
( 00
X = X,
(4.3)
X(0) = X(1) = 0.
Es decir, buscamos los valores IR para los que (4.3) tiene solucion X no identicamente nula. Es
inmediato comprobar que este es el caso si y solo si = n2 2 con n = 1, 2, ..., y para = n2 2
cualquier solucion de (4.3) es un m
ultiplo de Xn (x) = sennx.
Por otra parte, para = n2 2 , la ecuacion diferencial ordinaria Tn = n2 2 Tn tiene por
soluci
on general Tn (t) = An cos nt + Bn sennt.
Recordemos que cualquier combinacion lineal finita de soluciones de (4.2) es tambien solucion
de (4.2). En consecuencia, para todo entero m 1, la funcion
m
X
m
u (x, t) =
(An cos nt + Bn sennt) sennx,
n=1

con An y Bn constantes arbitrarias, es solucion de (4.2). Por ello, se busca una solucion de (4.1)
de la forma

X
u(x, t) =
(An cos nt + Bn sennt) sennx,
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 termino a termino en la serie precedente, se obtiene

X
ut (x, t) =
(nAn sennt + nBn cos nt) sennx,
n=1

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

Bn = 0

n 1.

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

X
(4.4)
u(x, t) =
An cos ntsennx,
n=1

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

X
(4.5)
u0 (x) =
An sennx, x (0, 1).
n=1

Si u0 es una combinacion lineal finita de funciones sennx, es decir, si u0 es de la forma

m
X
u0 (x) =
n sennx,
n=1

con n IR constantes dadas, la condicion (4.5) conduce a An = n , si 1 n m, y An = 0, si

n > m, y en consecuencia, en este caso, la solucion formal dada por (4.4) pasa a ser
m
X
u(x, t) =
n cos ntsennx,
n=1

funci
on que resulta inmediato comprobar que es una solucion (clasica) de (4.1), en el sentido de que
pertenece a C 2 ([0, 1] [0, +)), satisface la ecuacion 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, +).
9

La situacion no es siempre tan favorable. Si u0 no es una combinacion lineal finita de funciones

sennx, pero pertenece a L2 (0, 1), entonces, como veremos mas adelante, es desarrollable en serie
de Fourier de senos en el intervalo [0, 1], es decir, si denotamos
Z
An = 2

(4.6)

u0 (x)sennx dx,

n 1,

entonces
u0 (x) =

An sennx,

n=1

con la serie convergiendo a u0 en L2 (0, 1). En consecuencia, (4.4) y (4.5) nos conducen a que
An = An para todo n 1, y por tanto obtenemos como solucion formal de (4.1),
(4.7)

u(x, t) =

An cos ntsennx,

n=1

con los An dados por (4.6).

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

u(x, t) =

4 X 1 (1)n
sennx cos nt.
3 n=1
n3

Es inmediato comprobar aplicando el criterio M de Weierstrass que la serie que aparece en (4.8)
converge absoluta y uniformemente en IR2 , y que de hecho la funcion u definida por (4.8) pertenece
a C 1 (IR2 ). Pero u no puede ser solucion de (4.1) en el sentido de pertenecer a C 2 ([0, 1] [0, +))
y satisfacer la EDP, las condiciones iniciales y las condiciones de contorno de (4.1), 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 funcion u definida por (4.8) tampoco pertenece a C 2 ((0, 1) (0, +)). En efecto,
consideremos la funcion v(y) dada por
(4.9)

4 X 1 (1)n
v(y) = 3
senny
n=1
n3

y IR.

Es inmediato que v C 1 (IR), es impar, es decir, v(y) = v(y) para todo y IR, y es 2-periodica,
es decir, v(y + 2) = v(y) para todo y IR. Ademas, de los resultados del proximo apartado sobre
series de Fourier, v(y) = y(1 y) para todo y [1, 1].
De la identidad
senn(x + t) + senn(x t) = 2sennx cos nt,
es inmediato que la funcion u definida por (4.8) viene dada por
(4.10)

u(x, t) =

1
(v(x + t) + v(x t))
2

10

(x, t) IR2 .

Es sencillo comprobar que la funcion 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 funcion 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 ecuacion utt uxx = 0, es decir u satisface la ecuacion de
ondas bidimensional homogenea salvo en un conjunto de medida Lebesgue en IR2 nula. Ademas,
es evidente que u satisface las condiciones iniciales y de contorno del correspondiente problema
(4.1). En resumen, la funcion u definida por (4.8) es solucion del problema (4.1) con dato inicial
u0 (x) = x(1 x), en un sentido generalizado.
5.-Algunos resultados de convergencia para desarrollos en serie de Fourier.
Como paso previo a la aplicacion del metodo de separacion de variables a la ecuacion 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 analisis del problema de la cuerda
vibrante, deben su nombre a J. Fourier, que en su Theorie Analytique de la Chaleur (1822) las
introdujo para el estudio de problemas de difusion del calor.
En primer lugar, recordamos que el conjunto de funciones

1
1
1
, cos nx, sennx, n 1
(5.1)

2
constituye una base ortonormal de L2 (, ), y en consecuencia, dada f L2 (, ), si denotamos
Z
1
(5.2)
an =
f (t) cos nt dt n 0,

(5.3)

1
bn =

f (t)sennt dt

n 1,

entonces la serie

(5.4)

a0 X
+
(an cos nx + bn sennx) ,
2
n=1

que denominaremos serie de Fourier de f respecto de la base dada por (5.1), converge a f en
L2 (, ), es decir, si para cada entero m 1 denotamos por sm a la funcion
m

a0 X
sm (x) =
+
(an cos nx + bn sennx) ,
2
n=1
se satisface

lim

|f (x) sm (x)|2 dx = 0.

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

2(s a)
,
ba

que transforma de manera biyectiva [a, b] en [, ], es posible obtener una base ortonormal numerable de L2 (a, b) a partir de (5.1). En concreto, si denotamos
11

(5.5)

2(s a)

n (s) = cos n

ba

n 0

2(s a)

n (s) = sen n

ba

n 1,

entonces para cada f L2 (a, b) la serie

A0 X
(An n (s) + Bn n (s)) ,
+
2
n=1

(5.6)
con

Z b
2

An =
f ()n () d

ba a

(5.7)

Bn =

2
ba

n 0

f ()n () d

n 1,

converge a f en L2 (a, b).

Recordemos que si f L2 (a, b), y An y Bn vienen dadas por (5.7), entonces se satisface la
identidad de Parseval
Z b

2
A2 X 2
(5.8)
f 2 (s) ds = 0 +
An + Bn2 ,
ba a
2
n=1

X
2

en consecuencia
An + Bn2 < +, y en particular lim An = lim Bn = 0.
n

n=1

Observaci
on 5.1.- En el caso particular en que [a, b] = [l, l] con l > 0, las expresiones (5.6) y
(5.7) adoptan la forma
ns
ns
A0 X
+
An cos
+ Bn sen
,
2
l
l
n=1

(5.6 )
y

(5.70 )

n
1 l

A
=
f
()
cos
d
n

l l
l

n 0

1 l

Bn =
f ()sen
d
l l
l

n 1,

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

Si f L2 (l, l) es una funcion par, es decir, si f (s) = f (s) c.p.d. en (l, l), entonces Bn = 0
para todo n 1. Analogamente, si f L2 (l, l) es una funcion 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 funcion f L2 (0, l),
considerando fimpar , la prolongacion impar de f a (l, l), y fpar , la prolongacion 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
12

(5.9)

entonces las series

Z
n
2 l

A
=
d
f
()
cos

l 0
l

n 0

2 l

Bn =
d
f ()sen
l 0
l

n 1,

ns
A0 X
+
An cos
2
l
n=1

(5.10)
y

(5.11)

Bn sen

n=1

ns
l

convergen ambas a f en L2 (0, l), ya que la serie definida por (5.10) converge a fp , y la serie definida
por (5.11) converge a fimp , en ambos casos en L2 (l, l).
Volviendo al caso general de un intervalo [a, b] IR, exponemos a continuacion un criterio sencillo
que garantiza la convergencia absoluta y uniforme, en todo [a, b], de la serie (5.6) a f .
Teorema 5.1.- Sea f C 0 [a, b] tal que f (a) = f (b), y supongamos que existe una funci
on g
2
perteneciente a L (a, b) tal que
Z s
(5.12)
f (s) = f (a) +
g() d s [a, b].
a

Bajo estas condiciones, la serie de Fourier dada por (5.6) converge absoluta y uniformemente a f
en el intervalo [a, b].
Demostraci
on.- Sea f en las condiciones del teorema. Basta demostrar que la serie (5.6) converge
absoluta y uniformemente en el intervalo [a, b], ya que en tal caso (5.6) converge en C 0 [a, b] a una
funci
on 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 (5.6) 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
(5.13)
(|An | + |Bn |) < +,
n=1

con An y Bn dadas por (5.7).

Para comprobar (5.13), denotemos por A0n y Bn0 los coeficientes del desarrollo (5.6) correspondiente a la funcion g que aparece en la hipotesis (5.12), es decir:

Z b

A0n = 2
g()n () d n 0

ba a
(5.14)
Z b

0
2

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

0 2
|An | + |Bn0 |2 < +,
(5.15)
n=1

13

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

Z

(5.16)

g() d = 0.
a

Para cada n 1 se tiene

Z
Z b
Z b
2
2
g( ) d n () d,
An =
f ()n () d =
f (a) +
ba a
ba a
a
con lo que teniendo en cuenta que por la definicion de n dicha funcion 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 u
ltima igualdad, se tiene
!
Z b Z b
2
(5.17)
An =
n () d g( ) d.
ba a

Teniendo en cuenta que

=b
ba
n () d =
n ()
,
2n
=

y n (b) = 0, es inmediato que de (5.17) se obtiene

(5.18)

An =

ba 0
B
2n n

n 1.

An
alogamente, es facil obtener que
(5.19)
Como

2
Bn =
ba
Z

n () d g( ) d.
a

=b
ba
n () d =
n ()
,
2n
=

y teniendo en cuenta (5.16), de (5.19) se obtiene

(5.20)

Bn =

ba 0
A
2n n

n 1.

Como consecuencia de (5.18) y (5.20), se tiene para cada n 1

ba 1 0
ba 1

0 2

|A
|
=
|B
|

+
(B
)

n
n

2 n n
4
n2

(5.21)

ba 1 0
ba 1

0 2

|A |
+ (An )
|Bn | =
2 n n
4
n2
con lo que (5.13) resulta evidente.

14

Observaci
on 5.2.- Toda f C 1 [a, b], o mas generalmente toda f de clase 1 a trozos en [a, b] (es
decir, tal que f C 0 [a, b] y existe una particion finita {a = s0 < s1 < ... < sn = b} del intervalo
[a, b] tal que f C 1 [si1 , si ] para todo i = 1, ..., n) satisface la hipotesis (5.12) del teorema 5.1.
La funcion g en (5.12) es la derivada casi por doquier de f . La condicion (5.12) impuesta sobre
f en el teorema 5.1 se traduce, en el lenguaje de los espacios de Sobolev que se estudiaran en el
tercer Tema de esta asignatura, en la pertenencia de f a lo que se denotara el espacio H 1 (a, b).
Observaci
on 5.3.- Es facil obtener, como consecuencia del teorema 5.1, el siguiente resultado:
Teorema 5.2 Sea f C 0 [0, l] tal que existe una funci
on g L2 (0, l) satisfaciendo
Z
(5.22)

g() d

f (s) = f (0) +

s [0, l].

Bajo estas condiciones, se tiene:

a) El desarrollo en cosenos de f determinado por (5.10) converge absoluta y uniformemente a f
en el intervalo [0, l].
b) Si adem
as f (0) = f (l) = 0, entonces el desarrollo en senos de f determinado por (5.11) tambien
converge absoluta y uniformemente a f en el intervalo [0, l].
(
Demostraci
on.- Si consideramos fpar (s) =

f (s)

si s [0, l],

la prolongacion par de f a
f (s) si s [l, 0],
[l, l], es inmediato que fpar C 0 [l, l], y que fpar (l) = fpar (l). Ademas, es sencillo comprobar
a partir de (5.22), que para todo s [l, l] se satisface
Z

fpar (s) = fpar (l) +

gimpar ( ) d,
l

con gimpar la prolongacion impar de g a (l, l), funcion que pertenece a L2 (l, l). En consecuencia,
por el Teorema 5.1, 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 (5.10), converge absoluta y uniformemente a f en el intervalo [0, l].
(
f (s)
si s [0, l],
An
alogamente, si consideramos fimpar (s) =
la prolongacion impar de f
f (s) si s [l, 0],
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). Ademas, es sencillo comprobar a partir de (5.22), que si f (0) = f (l) = 0,
para todo s [l, l] se satisface
Z

fimpar (s) = fimpar (l) +

gpar ( ) d,
l

con gpar la prolongacion par de g a (l, l), funcion que pertenece a L2 (l, l). En consecuencia,
en esas circunstancias, por el Teorema 5.1, 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 (5.11), converge absoluta y uniformemente a f en el intervalo [0, l].

15

6.- Aplicaci
on del m
etodo de separaci
on de variables a la ecuaci
on del calor unidimensional.
Consideremos el problema mixto de Cauchy-Dirichlet para la ecuacion del calor unidimensional
homogenea

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

(6.1)
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 IR estan dados.
Aplicando separacion de variables, se buscan en primer lugar soluciones no nulas de la ecuacion
del calor homogenea que sean de la forma X(x)T (t), y tales que X(0) = X(l) = 0. Ello conduce a
la ecuacion T = T , y al problema de contorno
( 00
X = X,
X(0) = X(l) = 0.
Para que el problema de contorno posea solucion 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 solucion
l
l
n 2
t , y en consecuencia se busca una
general de T = n T viene dada por Tn (t) = cn exp
l
soluci
on de (6.1) de la forma

nx
X
2
(6.2)
u(x, t) =
cn e(n/l) t sen
,
l
n=1
donde para la determinacion de los cn , partiendo de la condicion u(x, 0) = u0 (x), y suponiendo
u0 L2 (0, l), se tiene
Z
ns
2 l
(6.3)
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 funcion u0 .
De hecho, para el problema (6.1) se tiene el siguiente resultado:
Teorema 6.1.- Si u0 L2 (0, l), la igualdad (6.2), con los coeficientes cn dados por (6.3), define
una funci
on u = u(x, t) tal que
u C (IR (0, +)),
y es soluci
on del problema (6.1) en el sentido de que satisface la ecuaci
on ut uxx = 0 en cada
punto de [0, l] (0, +), u(0, t) = u(l, t) = 0 para todo t > 0, y
(6.4)

lim ku(, t) u0 kL2 (0,l) = 0.

t0

Adem
as , si u0 C ([0, l]), u0 (0) = u0 (l) = 0, y existe v0 L2 (0, l) tal que
Z x
v0 (s) ds x [0, l],
u0 (x) =
0

entonces
(6.5)

u C 0 (IR [0, +)),

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

16

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

nx
2
(n/l)2 t

sen
cn e
|cn |e(n/l) x IR.
l
Como lim cn = 0, es inmediato de la desigualdad anterior que existe una constante C > 0 tal que
n

nx
2
(n/l)2 t

sen
cn e
Ce(n/l)
l

(6.6)

(x, t) IR [, +) n 1.

De manera analoga, se puede comprobar que cualquier derivada parcial de un termino generico
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
(6.7)
+
nx
1 2
(n/l)2 t

C n1 +22 e(n/l)2 (x, t) IR [, +) n 1.

sen
x1 t2 cn e

l
Estas desigualdades, junto con el criterio M de Weierstrass, implican, teniendo en cuenta que para
todo > 0 y todo (1 , 2 ) Z2+

n1 +22 e(n/l)

< +,

n=1

que u C (IR [, +)) para todo > 0, y en consecuencia u C (IR (0, +)).
Con esto, por construccion, es inmediato que ut uxx = 0 en IR (0, +), y u(0, t) = u(l, t) = 0
para todo t > 0.
Para demostrar (6.4), denotemos para cada entero m 1 y cada t 0 por sm (t) a la funcion de
la variable x definida por
m
nx
X
2
sm (t)(x) =
cn e(n/l) t sen
l
n=1
Por construccion,
lim ksm (0) u0 kL2 (0,l) = 0

lim ksm (t) u(, t)kL2 (0,l) = 0

t > 0.

Consideremos fijado > 0. Tomemos un entero m 1 tal que ksm (0) u0 kL2 (0,l) . De esta
forma, tenemos
ksm (0)

2
u0 kL2 (0,l)

n=m +1

nx 2

cn sen

L2 (0,l)

l X 2
=
c 2 ,
2 n=m +1 n

y por tanto,
2

ksm (t) u(, t)kL2 (0,l)

cn e(n/l)

n=m +1

l X 2 2(n/l)2 t
c e
2
2 n=m +1 n

17

nx 2

t
sen

L2 (0,l)

t > 0.

En consecuencia, obtenemos
(6.8)

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

Pero
2

ksm (t) sm (0)kL2 (0,l) =

nx 2
X
2

=
cn e(n/l) t 1 sen
2
l
L (0,l)
n=1

2
l X
(n/l)2 t
2
1
=
c e
2 n=1 n

con lo que, denotando d =

t > 0.

t > 0,

c2n < +, resulta

n=1

(6.9)

ksm (t) sm (0)k2 L2 (0,l)

m
2
2
dl X
e(n/l) t 1
2 n=1

t > 0.

De las desigualdades (6.8) y (6.9), haciendo t 0, se obtiene

(6.10)

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

t0

Basta ahora tener en cuenta que el > 0 en la desigualdad (6.10) es arbitrario, con lo que se
obtiene (6.4).
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
(6.11)

|cn |

11
+
n2

v0 (s) cos
0

ns
l

!2
ds

n 1.

Dado que

nx
(n/l)2 t

sen
cn e
|cn | t 0,
l
de (6.11) se obtiene de manera inmediata (6.5).
Observaci
on 6.1.- Es facil 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
00
v0 (s) ds x [0, l],
u0 (x) =
0

entonces la solucion u del problema (6.1) definida por (6.2) y (6.3) satisface
(6.12)

ut ,

uxx C 0 (IR [0, +)).

18

Observaci
on 6.2.- Aunque el dato inicial u0 sea irregular, la solucion u del problema (6.1) definida
por (6.2) y (6.3) pertenece a C (IR (0, +)). En este sentido, se dice que la ecuacion del calor
posee un efecto regularizante. Tal efecto diferencia a la ecuacion del calor de la de ondas; de
hecho, la primera describe fenomenos irreversibles en tiempo, mientras que en la ecuacion de ondas
el cambio t por t no altera la ecuacion.
Observese tambien que, de la expresion de u, si t > > 0 entonces
|u(t, x)|

X
2
2 X
2
2
d
e(n/l) t = de(/l) t
e(/l) (1n )t
n=1

n=1

de(/l)

e(/l)

(1n2 )

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.
Observaci
on 6.3.- Junto al resultado de existencia de solucion para el problema (6.1) que supone
el teorema 6.1, tambien se puede obtener el siguiente resultado de unicidad:
Teorema 6.2.- Sea u C 0 ([0, l] (0, +)) tal que existen las derivadas parciales ut , ux y uxx y
tambien 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
lim ku(, t)kL2 (0,l) = 0.
t0

Bajo las condiciones precedentes, forzosamente u 0 en [0, l] (0, +).

Demostraci
on.- Basta considerar la funcion E(t) definida por
1
E(t) =
2

u2 (x, t) dx t > 0.

Derivando E(t) se puede ver que dicha funcion es no creciente, y concluir que es identicamente
nula. Los detalles se dejan como ejercicio.
Observaci
on 6.4.- Es posible analizar tambien por el metodo de separacion de variables un
problema de Cauchy-Dirichlet para la ecuacion del calor unidimensional no homogenea de la forma

(6.13)

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

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

u(0, t) = u(l, t) = 0 en (0, T ).

En este caso, se busca solucion de la forma

u(x, t) =

an (t)sen

n=1

(vease [2] para los detalles).

19

nx
l

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

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

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

u(0, t) = (t), u(l, t) = (t) en (0, T ),

basta hacer el cambio de funcion incognita
v(x, t) = u(x, t) (t)

x
((t) (t)),
l

para obtener un problema de la forma (6.13) en la incognita v.

Observaci
on 6.5.- En los ejercicios haremos uso del metodo de separacion de variables para la
resoluci
on de algunos problemas de contorno o mixtos referentes a, entre otras, las ecuaciones de
Laplace bidimensional y de ondas unidimensional. Para un estudio mas teorico de estos temas, se
pueden consultar [2] y [3].
7.- Soluci
on cl
asica de los problemas de Cauchy y de Cauchy-Dirichlet para la ecuaci
on
de ondas unidimensional homog
enea.
Hasta ahora, hemos hecho uso del metodo de separacion de variables para analizar un ejemplo
de problema de Cauchy-Dirichlet para la ecuacion de ondas unidimensional. En dicho ejemplo,
obtenamos una solucion que no era C 2 en todo el dominio de definicion del problema. Ahora, en
este paragrafo, nos vamos a restringir al estudio de la existencia y unicidad de soluciones clasicas
de los problemas, es decir C 2 en todo el dominio de definicion del problema.
En primer lugar, consideramos el problema de Cauchy (o de valores iniciales) para la ecuacion
de ondas unidimensional homogenea:
(
utt c2 uxx = 0, (x, t) IR2 ,
(P COh )
u(x, 0) = f (x), ut (x, 0) = g(x), x IR,
donde c > 0, f : IR IR y g : IR IR son datos del problema (a partir de ahora, cambiamos la
notaci
on que hemos empleado, sustituyendo u0 por f , y u1 por g).
Definici
on 7.1.- Una soluci
on cl
asica de (P COh ) es cualquier funci
on u C 2 (IR2 ) tal que
2
2
utt (x, t) = c uxx (x, t) (x, t) IR , u(x, 0) = f (x) x IR y ut (x, 0) = g(x) x IR.
Es evidente que para que exista solucion clasica de (P COh ) es necesario que f C 2 (IR) y
g C 1 (IR). De hecho, estas dos condiciones son tambien suficientes, ya que se tiene el siguiente
resultado:
Teorema 7.1.- Si f C 2 (IR) y g C 1 (IR), el problema (P COh ) posee una y s
olo una soluci
on
cl
asica u, que viene determinada por
Z x+ct
1
1
(7.1)
u(x, t) = (f (x + ct) + f (x ct)) +
g(s) ds (x, t) IR2 .
2
2c xct
A la igualdad (7.1) se le denomina f
ormula de dAlembert.
20

Demostraci
on.- Considerando el cambio de variables independientes determinado por = x + ct
y = x ct, es inmediato comprobar que u C 2 (IR2 ) satisface utt c2 uxx = 0 en IR2 , si y solo si,
la funcion v = v(, ), definida por
+
,
),
2
2c
satisface la ecuacion v = 0 en todo IR2 . En consecuencia, u C 2 (IR2 ) satisface utt c2 uxx = 0
en IR2 si y solo si es de la forma
v(, ) = u(

(7.2)

u(x, t) = F (x + ct) + G(x ct) (x, t) IR2 ,

con F y G funciones de C 2 (IR).

Evidentemente, la funcion u dada por (7.1) pertenece a C 2 (IR2 ) y es de la forma (7.2). Ademas,
es inmediato comprobar que satisface las condiciones iniciales en todo punto x IR. Para terminar
con la demostracion del teorema, basta comprobar que la funcion u dada por (7.1) es la u
nica
funci
on de la forma (7.2) que satisface las condiciones iniciales en todo punto de IR.
En efecto, si u es una funcion de la forma (7.2), con F y G funciones de C 2 (IR), y u(x, 0) = f (x)
y ut (x, 0) = g(x) en todo punto x de IR, entonces

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

1
1
0
0
F (x) =
f (x) + g(x)
x IR,
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 IR,
2
2c 0
con k IR, y por tanto G ha de ser
Z x
1
1
G(x) = f (x) F (x) = f (x)
g(s) ds k x IR.
2
2c 0
Llevando a (7.2) las expresiones obtenidas para F y G, obtenemos (7.1).
Observaci
on 7.1.- La formula de dAlembert nos indica que la ecuacion de ondas unidimensional
no mejora la regularidad de los datos iniciales f y g, es decir, no posee el efecto regularizante de
la ecuacion del calor unidimensional. Lo u
nico que se puede afirmar sobre la solucion clasica de
(P COh ) es que, para todo entero m 2, si f C m (IR) y g C m1 (IR), entonces u C m (IR2 ).
Observaci
on 7.2.- 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 (IR), g y g pertenecen a C 1 (IR), y existe un intervalo
cerrado y acotado [a, b] IR tal que f f y g g en IR \ [a, b], entonces, si denotamos por u a la
soluci
on de (P COh ) correspondiente a los datos iniciales f y g, y por u
a la solucion de (P COh )
correspondiente a los datos iniciales f y g, se satisface:
ba
(7.3)
|u(x, t) u
(x, t)| kf fkC 0 ([a,b]) +
kg gkC 0 ([a,b]) (x, t) IR2 .
2c

21

Observaci
on 7.3.- Sea (x , t ) un punto de IR2 dado tal que, por fijar ideas, t > 0. Teniendo en
cuenta la formula (7.1), podemos afirmar sobre la solucion u de (P COh ):
a) 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.
b) Los valores de f y g en x influyen en el instante t u
nicamente en los valores de u en los puntos
(x, t ) con x [x ct , x + ct ]. Al intervalo traladado de este u
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 ecuacion de ondas unidimensional homogenea. En concreto, consideramos el problema

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

tt
(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] IR, g : [0, l] IR, : [0, +) IR y : [0, +) IR son datos del
problema.
El problema (P CDOh ) se denomina tambien el problema de la cuerda vibrante. Para dicho
problema, introducimos el siguiente concepto de solucion:
Definici
on 7.2.- Una soluci
on cl
asica de (P CDOh ) es cualquier funci
on u = u(x, t) que pertenezca
2
2
a C ([0, l] [0, +)), y tal que utt (x, t) = c 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 facil establecer la unicidad de solucion clasica para el problema (P CDOh ).
Lema 7.1.- Existe, a lo m
as, una soluci
on cl
asica para el problema (P CDOh ).
Demostraci
on.- Basta ver que si u es solucion clasica para el problema (P CDOh ) con f g
0, entonces u 0 en [0, l] [0, +).
Para demostrar esto u
ltimo, se considera la funcion E(t) definida por
(7.4)

E(t) =

1
2

c2 (ux (x, t))2 + (ut (x, t))2 dx

t 0.

Es inmediato que E(0) = 0, y que E C 1 ([0, +)) con derivada

Z

E(t)
=

c ux (x, t)uxt (x, t) + ut (x, t)utt (x, t) dx

t 0,

con lo que

E(t)
= c2
0

x=l

(ux ut )x (x, t) dx = c2 [ux (x, t)ut (x, t)]x=0 = 0

t 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 solucion clasica 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]),
22

 C 2 ([0, +)) y C 2 ([0, +)). Ademas, 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 tambien suficientes para la existencia de solucion clasica del
problema (P CDOh ). En concreto, se satisface el siguiente resultado:
Teorema 7.2.- 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 s
olo una soluci
on cl
asica del problema (P CDOh ).
Antes de demostrar el Teorema 7.2, hagamos algunos comentarios.
En primer lugar, teniendo en cuenta el Lema 7.1, esta claro que para probar el Teorema 7.2 lo
que hace falta es demostrar la existencia de solucion.
En el caso en que y son funciones afines, la demostracion de la existencia de solucion clasica
del problema (P CDOh ) se puede llevar a cabo, de una forma relativamente sencilla, mediante
el metodo de separacion 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 IR, efectuando el cambio de funcion incognita
v(x, t) = u(x, t) (t)

x
((t) (t)),
l

la cuestion se reduce a demostrar la existencia de solucion clasica del problema

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

(7.5)
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
g(x) = g(x) (0)

x
((0) (0)).

Supuestas satisfechas las condiciones (CC), es inmediato comprobar que f C 2 ([0, l]), g
C ([0, l]), y satisfacen
1

f(0) = f(l) = f00 (0) = f00 (l) = g(0) = g(l) = 0.

En resumen, si y son funciones afines, para demostrar el Teorema 7.2 basta demostrar
existencia de solucion clasica de los problemas

(7.6)

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

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

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

23

(7.7)

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

tt
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 (7.6) f C 2 ([0, l]) y satisface f (0) = f (l) = f 00 (0) = f 00 (l) = 0, y en (7.7) g C 1 ([0, l])
y satisface g(0) = g(l) = 0.
Para demostrar que (7.6) posee solucion clasica, se procede por separacion de variables, y se
obtiene como solucion formal

nx
X
nct
(7.8)
u(x, t) =
sen
,
cn cos
l
l
n=1
con

2
cn =
l

f (s)sen

ns
l

ds

n 1.

Consideremos la funcion F : IR IR definida por

F (y) =

cn sen

ny

n=1

y IR.

La funcion F as definida no es mas que la resultante de prolongar f de manera impar a [l, l], y
a continuacion considerar la prolongacion de esta u
ltima a todo IR 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 facil comprobar que F C 2 (IR).
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 funcion definida por (7.8) viene dada por
u(x, t) =

1
(F (x + ct) + F (x ct))
2

(x, t) IR2 ,

con lo que es inmediato ver que u es solucion clasica de (7.6).

Para la existencia de solucion clasica de (7.7), procediendo de nuevo por separacion de variables,
se obtiene como solucion formal

nx
X
nct
(7.9)
u(x, t) =
cn sen
sen
,
l
l
n=1
24

con

2
cn =
nc

g(s)sen

ns

ds

n 1.

As pues, de manera formal,

(7.10)

ut (x, t) =

bn cos

n=1

con

2
bn =
l

g(s)sen

nct
l

ns
l

sen

ds

nx
l

n 1.

Como g C 1 ([0, l]) y g(0) = g(l) = 0, la serie definida en (7.10) converge absoluta y uniformemente en IR2 .
Definamos
(7.11)

G(y) =

bn sen

ny

n=1

y IR.

La funcion G definida por (7.11) no es mas que la resultante de prolongar g de manera impar
a [l, l], y a continuacion considerar la prolongacion de esta u
ltima a todo IR por 2l-periodicidad.
En consecuencia, como g C 1 [0, l] con g(0) = g(l) = 0, es facil ver que G C 1 (IR).
La igualdad formal (7.10) puede ser escrita como
(7.12)

ut (x, t) =

1
[G(x + ct) + G(x ct)] ,
2

que integrada con u(x, 0) = 0 produce

1
u(x, t) =
2

Z
0

1
G(x + cs) ds +
2

G(x cs) ds,

0

o haciendo el cambio x + cs = en la primera integral y x cs = en la segunda integral,

(7.13)

1
u(x, t) =
2c

x+ct

G( ) d

(x, t) IR2 .

xct

Es sencillo comprobar que la funcion u definida por (7.13) es solucion clasica del problema (7.7).
Observaci
on 7.4.- De la discusion precedente, se deduce que para resolver el problema (P CDOh )
en el caso de condiciones de contorno homogeneas, y supuestas satisfechas las condiciones (CC),
lo que hay que hacer, es considerar las prolongaciones impares y 2l-periodicas de f y g a todo IR,
y a continuacion resolver por la formula de dAlembert el problema de Cauchy correspondiente.
Pasamos ahora a demostrar el Teorema 7.2 en el caso general.
Demostraci
on del Teorema 7.2.En primer lugar, es inmediato que toda funcion de la forma
(7.14)

u(x, t) = F (x + ct) + G(x ct),

25

(x, t) [0, l] [0, +),

con F C 2 ([0, +)) y G C 2 ((, l]), es una funcion que pertenece a C 2 ([0, l] [0, +)) y
satisface la ecuacion 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 funcion u determinada por (7.14) satisfaga las condiciones iniciales y de contorno en (P CDOh )
En primer lugar, para que u determinada por (7.14) satisfaga las condiciones iniciales en (P CDOh ),
es necesario y suficiente que F y G satisfagan

[0, l],
F () + G() = f ()
F 0 () G0 () = 1 g() [0, l].
c
As pues, razonando como para la obtencion de la formula de dAlembert, es inmediato que para
que u determinada por (7.14) satisfaga las condiciones iniciales en (P CDOh ), es suficiente que F
y G vengan dadas por
(7.15)

(7.16)

F () =

G() =

1
1
f () +
2
2c

1
1
f ()
2
2c

g(s) ds,

[0, l],

g(s) ds,

[0, l].

Por otra parte, la funcion u determinada por (7.14) satisface la condicion de contorno u(0, t) = (t),
si y solo si F y G satisfacen la relacion
F (ct) + G(ct) = (t),

t 0,

o lo que es lo mismo, si y solo si

(7.17)

G() = (

) F (),
c

0.

Finalmente, la funcion u determinada por (7.14) satisface la condicion de contorno u(l, t) = (t),
si y solo si F y G satisfacen la relacion
F (l + ct) + G(l ct) = (t),

t 0,

l
) G(2l ),
c

l.

es decir, si y solo si
(7.18)

F () = (

As pues, para terminar con la demostracion del Teorema 7.2, basta comprobar que, supuestas
satisfechas las condiciones (CC), existen F C 2 ([0, +)) y G C 2 ((, l]), satisfaciendo las
condiciones (7.15)-(7.18). En primer lugar, es inmediato que, las cuatro relaciones (7.15)-(7.18)
determinan una y solo una pareja de funciones F : [0, +) 7 IR y G : (, l] 7 IR. Ademas,
como f C 2 ([0, l]) y g C 1 ([0, l]), es inmediato que F y G son de C 2 ([0, l]).
26

Por otra parte, de (7.15)-(7.17), tenemos que

(7.19)

Z
1
1

g(s) ds [0, l],

2 f () 2c
0
G() =
Z

1
1

(
) f ()
g(s) ds,
c
2
2c 0

[l, 0].

Tambien, de (7.15), (7.16) y (7.18), tenemos que

(7.20)

Z
1
1

g(s) ds [0, l],

2 f () + 2c
0
F () =
Z 2l
l

1
1

(
) f (2l ) +
g(s) ds,
c
2
2c 0

[l, 2l].

Es facil ahora comprobar que, por las relaciones (CC), la funcion G determinada por (7.19)
pertenece a C 2 ([l, l]), y la funcion F determinada por (7.20) pertenece a C 2 ([0, 2l]).
Para terminar con la demostracion, procedamos por induccion. Supongamos que la pareja de
funciones F y G determinadas por las relaciones (7.15)-(7.18) satisfacen F C 2 ([0, (k + 1)l]) y
G C 2 ([kl, l]), con k 1 entero. Vamos a demostrar que, entonces, las las relaciones (7.17) y
(7.18) 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 relacion (7.17) 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 relacion (7.18) implica
que F C 2 ([l, (k + 2)l]), y basta ahora tener en cuenta que ya sabemos que C 2 ([0, 2l]), para
concluir que F C 2 ([0, (k + 2)l]).
Observaci
on 7.5.- El metodo que hemos seguido para demostrar el Teorema 7.2, que proporciona
otro metodo distinto del de separacion de variables para hallar la solucion clasica del problema
(P CDOh ), aunque ha sido puramente analtico, permite una interpretacion geometrica evidente.
Dicha interpretacion se puede generalizar al caso en que no se satisfacen las condiciones (CC).
Para ello, se hace uso de la nocion de solucion generalizada de la ecuacion de ondas unidimensional
homogenea.
Definici
on 7.3.- Sean Q IR2 un abierto no vaco y u : Q IR una funci
on. Diremos que u es
una soluci
on generalizada de la EDP utt c2 uxx = 0 en Q si para todo punto (x , t ) Q y todo
par , IR tales que los puntos (x + c, t + ), (x c, t + ) y (x + c c, t + + )
pertenezcan a Q, se satisface la igualdad
(7.21)

u(x , t ) + u(x + c c, t + + ) = u(x + c, t + ) + u(x c, t + ).

La interpretacion geometrica de la Definicion 7.3 es inmediata. Fijado un punto A = (x , t ) en

Q, se toman dos puntos, B y D, en Q, que esten 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 continuacion
27

se toma como punto C aquel que junto con A, B y D determinen los vertices de un paralelogramo.
Suponiendo que C pertenece tambien a Q, si u es solucion generalizada de utt c2 uxx = 0 en Q,
se ha de satisfacer
u(A) + u(C) = u(B) + u(D).
La relacion del concepto de solucion generalizada con el de solucion clasica viene dada por el
resultado siguiente:
Lema 7.2.- Sean Q IR2 un abierto no vaco y u C 2 (Q). Bajo estas condiciones, se satisfacen:
a) Si utt c2 uxx 0 en Q, y Q es convexo, entonces u es soluci
on generalizada de utt c2 uxx = 0
en Q.
b) Si u es soluci
on generalizada de utt c2 uxx = 0 en Q, entonces utt c2 uxx 0 en Q.
Demostraci
on.2
a) Sea u C (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 vertices A, B,
C y D. Como Q es convexo, la clausura de R esta contenida en Q, as que podemos escribir
ZZ
(utt c2 uxx ) dx dt = 0.

(7.22)
R

Para obtener (7.21), basta aplicar a (7.22) la formula de Green.

b) Sea u C 2 (Q) solucion 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 + ) estan tambien
todos en Q. En consecuencia, se satisface
(7.23) 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 (7.23), y sumando
y restando u(x c, t ) en el segundo miembro de la igualdad (7.23), se obtiene, tras dividir por
y pasar al lmite para 0,
(7.24)

ut (x + c, t + ) cux (x + c, t + ) = ut (x , t ) cux (x , t )

(0, ).

De (7.24) es inmediato que se tiene

(7.25)

ut (x + c, t + ) ut (x + c, t ) + ut (x + c, t ) ut (x , t ) =
c [ux (x + c, t + ) ux (x , t + ) + ux (x , t + ) ux (x , t )]

(0, ).

Dividiendo en (7.25) por y haciendo 0, se obtiene utt (x , t ) = c2 uxx (x , t ).

Como consecuencia del Lema 7.2, podemos afirmar que para hallar solucion clasica del problema
IR, con Q = (0, l) (0, +), que sea solucion
(P CDOh ) basta construir una funcion u : Q
2
generalizada de la EDP utt c uxx = 0 en Q y satisfaga las condiciones iniciales y de contorno, y

a continuacion comprobar que u C 2 (Q).

28

 en triangulos mediante
Para efectuar la construccion de la solucion generalizada, se subdivide Q
las rectas caractersticas x + ct = kl y x ct = kl, con k Z+ . De esta forma, se tiene que
=
Q

i,
Q

i=1

con
Q1 = {(x, t) Q; x + ct (0, l),

x ct (0, l)},

Q2 = {(x, t) Q; x + ct (0, l),

Q3 = {(x, t) Q; x + ct (l, 2l),

x ct (l, 0)},
x ct (0, l)}, etc.

A continuacion, se va encontrando la solucion generalizada por etapas, construyendola en cada

i , comenzando por Q
1 , a continuacion Q
2 , y as sucesivamente,como en la demostracion
uno de los Q
del Teorema 7.2.

8.- El Principio de Duhamel.

Consideramos en este paragrafo el problema de Cauchy para la ecuacion de ondas unidimensional
no homogenea
(
(P CO)

utt c2 uxx = h(x, t)

u(x, 0) = f (x),

en IR2 ,

ut (x, 0) = g(x)

si x IR.

Est
a claro que para resolver (P CO), basta resolver el problema correspondiente para la ecuacion
homogenea con datos iniciales f y g, cosa que sabemos ya hacer, y sumarle a la solucion obtenida
la del problema
(
(8.1)

utt c2 uxx = h(x, t)

u(x, 0) = ut (x, 0) = 0

en IR2 ,
si x IR.

As pues, la u
nica cuestion que se plantea es como resolver (8.1). Esto u
ltimo puede ser llevado a
cabo mediante el denominado principio de Duhamel:
Teorema 8.1 (Principio de Duhamel).- Sea h C 1 (IR2 ). Para cada s IR, consideremos el
problema
(
(8.2)

vtt c2 vxx = 0
v(x, 0) = 0,

en IR2 ,

vt (x, 0) = h(x, s)

si x IR.

Denotemos por v(, , s) a la u

nica soluci
on cl
asica de (8.2). Entonces, el problema (8.1) posee una
2
2
y s
olo una soluci
on u C (IR ), que viene dada por la f
ormula
Z
(8.3)

u(x, t) =

v(x, t s, s) ds
0

29

(x, t) IR2 .

Demostraci
on.- La unicidad es inmediata. Para la existencia, es facil comprobar que la funcion
u dada por (8.3) esta bien definida y pertenece a C 2 (IR2 ). Ademas, evidentemente u(x, 0) = 0, y
Z
(8.4)

ut (x, t) =

vt (x, t s, s) ds + v(x, 0, t) =
0

vt (x, t s, s) ds (x, t) IR2 .

De (8.4) se obtiene en particular que ut (x, 0) = 0, y derivando nuevamente respecto de t,

Z

utt (x, t) =

vtt (x, t s, s) ds + vt (x, 0, t) =

0

c2 vxx (x, t s, s) ds + h(x, t) (x, t) IR2 ,

es decir,
2
utt (x, t) = c
x2

v(x, t s, s) ds + h(x, t) = c2 uxx (x, t) + h(x, t)

(x, t) IR2 .

Observaci
on 8.1.- Es un ejercicio sencillo, a partir del principio de Duhamel, escribir de forma
explcita la formula que resuelve (8.1). En concreto, como solucion u de (8.1), se tiene:
1
u(x, t) =
2c

Z t Z

x+c(ts)

h(y, s) dy
0

ds,

(x, t) IR2 .

xc(ts)

BIBLIOGRAFIA
[1]. R. Dautray, J.L. Lions Analyse Mathematique et Calcul Numerique pour les Sciences et les
Techniques, Masson, 1985.
[2]. I. Peral Alonso Primer Curso de Ecuaciones en Derivadas Parciales, Addison Wesley/Universidad Autonoma de Madrid, 1995. (Tambien disponible en la direccion de Internet
http://www.uam.es/departamentos/ciencias/matematicas/docencia/iperal/)
[3]. H.F. Weinberger Ecuaciones Diferenciales en Derivadas Parciales, Reverte, 1970.

30