Tema 2.

El Problema de Cauchy para

la Ecuaci
on de Ondas
2.1.

Introducci
on

En este captulo estudiaremos la llamada ecuacion de ondas homogenea

utt u = 0,
y la ecuacion de ondas no homogenea
utt u = f,
a las que a
nadiremos condiciones iniciales y de contorno apropiadas. Si fijamos RN un
abierto conexo y 0 < T , la incognita u es funcion de (x, t), u = u(x, t), y, como siempre,
denota el operador laplaciano calculado respecto de las variables espaciales. Para la ecuacion
no homogenea, la funcion f : (0, T ) 7 R esta dada. Usualmente, el operador
u = utt u
es llamado dAlembertiano y se denota por .
Nos planteamos en este tema dar algunos resultados relacionados con la existencia y unicidad
de solucion clasica del problema de Cauchy y del problema de Cauchy-Dirichlet para la ecuacion
de ondas.
Interpretaci
on fsica: La ecuacion de ondas es un modelo simplificado para cuerdas vibrantes (N = 1), membranas (N = 2) o cuerpos elasticos (N = 3). En esta interpretacion
fsica, u(x, t) representa el desplazamiento en alguna direccion del punto x en un instante de
tiempo t.
Fijemos O un abierto arbitrario regular. La ley fsica que regula estos fenomenos afirma
que la aceleracion total en O es igual a la fuerza total normal ejercida en O a traves de la frontera
de O (ley de Newton):
Z
Z
d2
u(x, t) dx =
F (x, t) n(x) dS(x), t > 0
dt2 O
O
(n(x) es el vector normal unitario exterior a la frontera O en el punto x O). De nuevo,
deducimos (O es un abierto arbitrario)
utt (x, t) + F (x, t) = 0 en (0, ).
1

2.2. Soluci
on del Problema de Cauchy para N = 1. F
ormula de dAlembert
Para cuerpos elasticos se tiene que F es una funcion del gradiente u. Por tanto
utt (x, t) + F (u) = 0 en (0, ).

Una primera aproximacion valida cuando u es peque

no es F (u) = au (linealizacion)
con a > 0. As,
utt au = 0 en (0, ).
Cuando a 1 obtenemos la ecuacion de ondas.
La anterior interpretacion fsica sugiere que para que el problema este bien planteado tenemos que a
nadir dos condiciones iniciales: una sobre el desplazamiento u y otra sobre la velocidad
ut . De este modo, el problema de Cauchy para la ecuacion de ondas tiene ahora la forma:
(
utt u = f
en RN (0, T ),
(2.1)
u(x, 0) = u0 (x), ut (x, 0) = u1 (x) en RN ,
donde T (0, ], f : RN (0, T ) 7 R y u0 , u1 : RN 7 R son dados.
Definici
on 2.1. Se dice que u es solucion clasica de (2.1) si u C 2 (RN (0, T )) C 1 (RN
[0, T )) satisface
(
utt (x, t) u(x, t) = f (x, t), (x, t) RN (0, T ),
u(x, 0) = u0 (x), ut (x, 0) = u1 (x), x RN .

En este tema estamos interesados en el analisis de la existencia y unicidad de solucion

de (2.1) en los casos N = 1, N = 2 y N = 3. Analizaremos en primer lugar el problema de
Cauchy homogeneo (f 0, T = )
(
utt u = 0
en RN (0, )
(2.2)
u(x, 0) = u0 (x), ut (x, 0) = u1 (x) en RN ,
para pasar seguidamente al analisis del problema no homogeneo.

2.2.

Soluci
on del Problema de Cauchy para N = 1. F
ormula de dAlembert

Nos centramos en este apartado en el analisis del problema de Cauchy (2.1) cuando N = 1.
En concreto, analizaremos el problema homogeneo (2.2) (f 0 y T = ) dando una formula
explcita para la solucion clasica de (2.2).
De manera formal, podemos factorizar la ecuacion de ondas utt uxx = 0 como la composicion de los dos operadores:
(t x ) (t + x ) u = 0 en R (0, ).
Manuel Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla

3
Efectivamente, si u es solucion clasica del problema homogeneo (2.2) (N = 1), entonces la
funcion v(x, t) = (t + x ) u(x, t) = ut (x, t) + ux (x, t) satisface
(t x ) v(x, t) = 0,

(x, t) R (0, ).

La anterior factorizacion formal nos sugiere el cambio de variables

= x + t,

= x t,

es decir, x =

+
,
2

t=

.
2

Si definimos Q = {(, ) R2 : > } y w(, ) = u( +

,
), entonces, u es solucion clasica
2
2
de la ecuacion de ondas si y solo si
w = 0 en Q.
Esta u
ltima ecuacion tiene como solucion general
w(, ) = F () + G()
con F y G funciones regulares. Deshaciendo el cambio, deducimos que si u es una solucion
clasica de la ecuacion de ondas, entonces se tiene
u(x, t) = F (x + t) + G(x t).
Si a
nadimos ahora las condiciones iniciales
(
u(x, 0) = F (x) + G(x) = u0 (x), x R,
ut (x, 0) = F 0 (x) G0 (x) = u1 (x), x R,
y tenemos en cuenta la regularidad de u, obtenemos
F 0 (x) =

1 0
(u (x) + u1 (x))
2 0

y G0 (x) =

es decir,

F (x) = u0 (x) +
2
1

G(x) = u0 (x)
2

1 0
(u (x) u1 (x)) ,
2 0

Z
1 x
u1 (s) ds + C1
2 Z0
1 x
u1 (s) ds + C2
2 0

con C1 y C2 constantes tales que C1 + C2 = 0. Finalmente, para (x, t) R (0, ),

Z
1
1 x+t
(2.3)
u(x, t) = [u0 (x + t) + u0 (x t)] +
u1 (s) ds,
2
2 xt
que es la conocida como f
ormula de dAlembert.
Resumiendo, hemos probado que si u es solucion clasica del problema homogeneo (2.2),
entonces u es de la forma (2.3). Por otro lado, es evidente que si u0 C 2 (R) y u1 C 1 (R),
entonces, u C 2 (R2 ) y u es solucion clasica de (2.2). Hemos probado:
Teorema 2.2. Soluci
on cl
asica del problema de Cauchy homog
eneo unidimensional.
2
1
Supongamos que u0 C (R) y u1 C (R). Entonces, la funcion u dada por (2.3) satisface
u C 2 (R R) y es la u
nica solucion clasica del problema de Cauchy homogeneo (2.2).
Manuel Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla

2.2. Soluci
on del Problema de Cauchy para N = 1. F
ormula de dAlembert

Observaci
on 2.3. La formula (2.3) tambien proporciona un resultado de dependencia continua
de la solucion del problema de Cauchy (2.2) respecto de los datos iniciales. En concreto, si
consideramos sucesiones {u0n }n1 y {u1n }n1 y funciones u0 C 2 (R) y u1 C 1 (R) tales que
u0n u0 y u1n u1 uniformemente sobre compactos de R,
entonces, se tiene
un u uniformemente sobre compactos de R2 ,
donde un y u son, respectivamente, las funciones dadas por (2.3) correspondientes a (u0n , u1n ) y
(u0 , u1 ).
Observaci
on 2.4. Observese que la regularidad de u esta determinada por la regularidad de
u0 y u1 . En concreto, supongamos que u0 C k (R) y u1 C k1 (R) con k 2, entonces,
u C k (R R) y, de hecho,
u(, t) C k (R) t R.
No hay, por tanto, efecto regularizante para la ecuacion de ondas. Esta propiedad establece
una diferencia fundamental con la solucion clasica del problema de Cauchy para la ecuacion
del calor dada por la solucion fundamental. En efecto, esta solucion era analtica en RN para
t > 0, independientemente de la regularidad del dato inicial.
Observaci
on 2.5. Tambien es interesante resaltar que el problema de Cauchy para la ecuacion
de ondas esta bien planteado tanto para tiempos t positivos como para tiempos t < 0: la ecuacion
de ondas es reversible en tiempo. Esta es otra de las diferencias fundamentales que hay entre
la ecuacion de ondas y la ecuacion del calor: la reversibilidad en tiempo.
Planteamos ahora el problema de Cauchy-Dirichlet para la ecuacion de ondas en R+ (0, ):

en R+ (0, ),

utt uxx = 0
u=0
sobre {0} (0, ),
(2.4)

u(x, 0) = u0 (x), ut (x, 0) = u1 (x) en R+ ,

donde u0 y u1 son dadas.
Queremos de nuevo analizar la existencia y unicidad de solucion clasica de (2.4), es decir,
la existencia de una funcion u tal que
u C 2 (R+ (0, )) C 1 (R+ [0, )) C 0 (R+ [0, )),
y

(x, t) R+ (0, ),

utt (x, t) uxx (x, t) = 0

u(0, t) = 0
t 0,

u(x, 0) = u0 (x), ut (x, 0) = u1 (x) x R+ .

Igual que en el Teorema 2.2, supondremos,
u0 C 2 (R+ ) y u1 C 1 (R+ ),
y probaremos que, bajo ciertas condiciones, el problema admite una solucion clasica en el
espacio C 2 (R+ [0, )). Es facil comprobar que, para que (2.4) admita solucion clasica en la
Manuel Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla

5
clase de funciones C 2 (R+ [0, )), debe ser u0 (0) = u1 (0) = 0. Por otro lado, si derivamos
respecto de t la condicion de contorno, derivamos dos veces respecto de x la condicion inicial y
utilizamos la ecuacion, tambien deducimos u000 (0) = 0. De esta manera obtenemos las condiciones
de compatibilidad:
u0 (0) = u1 (0) = u000 (0) = 0.

(2.5)
Se tiene:

Teorema 2.6. Supongamos que u0 C 2 (R+ ) y u1 C 1 (R+ ) satisfacen (2.5). Entonces, el

problema (2.4) posee una u
nica solucion clasica u C 2 (R+ [0, )) dada por:
Z

1
1 x+t

u1 (s) ds si x t 0,
2 [u0 (x + t) + u0 (x t)] + 2
xt
(2.6)
u(x, t) =
Z

1 x+t
1

[u0 (x + t) u0 (t x)] +
u1 (s) ds si 0 x t.
2
2 x+t
Prueba: Como en ocasiones anteriores, aplicaremos un metodo de reflexion. Prolongamos de
forma impar las fuciones u0 y u1 haciendo:
(
u(x, t)
si x 0,
u
e(x, t) =
u(x, t) si x < 0,
y
(
u
e0 (x) =

u0 (x)
si x 0,
u0 (x) si x < 0

(
y u
e1 (x) =

u1 (x)
si x 0,
u1 (x) si x < 0.

Bajo la hipotesis (2.5) se tiene que u

e0 C 2 (R) y u
e1 C 1 (R).
2
Supongamos que u C (R+ [0, )) es solucion clasica de (2.4), entonces es facil comprobar
que u
e C 2 (R (0, )) y que, de hecho, u
ett (x, t) = u
exx (x, t), para todo (x, t) R (0, ).
Tambien se puede comprobar que:
1. u
e C 0 (R [0, )) (pues u0 (0) = 0),
2. u
ex C 0 (R [0, )),
3. u
et C 0 (R [0, )) (pues u1 (0) = 0),
4. u
ext , u
ett C 0 (R [0, )) y
5. u
exx C 0 (R [0, )) (pues u000 (0) = 0).
En definitiva, hemos visto que u
e C 2 (R [0, )) es solucion clasica del problema (2.2) con
datos iniciales (e
u0 , u
e1 ).
Recprocamente, sea u
e la solucion clasica del problema (2.2) con datos iniciales (e
u0 , u
e1 )
2
1
C (R) C (R). Entonces, la funcion u(x, t) = u
e(x, t) definida en R+ [0, ) satisface:
(
u C 2 (R+ [0, ), utt (x, t) uxx (x, t) = 0 (x, t) R+ (0, ),
u(x, 0) = u0 (x) y ut (x, 0) = u1 (x), x R+ .
Por otro lado, la funcion u
e viene dada por (2.3) (para u
e0 y u
e1 ) y es facil comprobar que, para
cualquier x R y t 0, se tiene u
e(x, t) = e
u(x, t). Por tanto, u
e(0, t) = 0 y u es solucion
clasica del problema (2.4). Finalmente, de (2.3), deducimos (2.6).
Manuel Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla

2.3. M
etodo de las medias esf
ericas. Soluci
on para N = 3

Observaci
on 2.7. De nuevo, es facil comprobar que la solucion clasica u del problema (2.4)
esta definida para tiempos t 0. En efecto, para t 0, basta considerar la funcion u
e dada
por (2.3) asociada a u
e0 y u
e1 . De este modo,
Z

1
1 x+t

u1 (s) ds
si x t 0,
2 [u0 (x + t) + u0 (x t)] + 2
xt
u(x, t) =
Z

1
1 xt

[u0 (x t) u0 (x t)]
u1 (s) ds si 0 x t.
2
2 xt

2.3.

M
etodo de las medias esf
ericas. Soluci
on para N = 3

Veremos en este apartado que el problema de Cauchy (2.2) puede ser resuelto por el metodo
de las medias esfericas debido a Poisson. A cada g C 0 (RN ) asociamos su media G(x; r) sobre
la superficie de la bola de centro x y radio r:
Z
1
g(y) dS(y),
G(x; r) =
N rN 1 B(x;r)
donde mediante N estamos denotando la medida superficial de la bola unidad en RN .
Comenzamos viendo un resultado general valido en dimension N 2.
Lema 2.8. Supongamos que g C k (RN ) con k 0 y N 2. Entonces, G C k (RN [0, )).
Si ademas k 2, entonces,
2
G
N 1 G

(x; r) +
(x; r) = x G(x; r) en RN (0, ), (Ecuaci
on de Darboux)
2
r
r r

G(x, 0) = g(x), G (x, 0) = 0 en RN .

r
Prueba: Es facil comprobar que:
1
G(x; r) =
N

Z
g(x + r) dS().
B(0;1)

Observese que, mediante esta expresion, podemos suponer que G esta definida tanto para radios
r positivos como para r 0 (de hecho, as definida, se tiene que G es una funcion par respecto
de r). Podemos aplicar el teorema de derivacion respecto de parametros a la expresion anterior
en RN R y deducir G C k (RN R). En particular, G C k (RN [0, )).
Por otro lado, si k 2,

Z
Z
G
1
1
1

(x;
r)
=
g(x
+
r)

dS()
=
(g(x + r)) dS()

r
N B(0;1)
N B(0;1) r

Z
Z

1
r

=
(g(x + r)) d =
g(x + r) d

rN B(0;1)
N B(0;1)
Z

Z

r
r1N

=
x
g(x + r) d =
x
g(y) dy

N
N
B(0;1)
B(x;r)

Z r  Z
 
Z r


r1N
1N
N
1

=
x
g(y) dS(y) d = r
x

G(x, ) d .

N
0
B(x;)
0
Manuel Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla

7
Multiplicando por rN 1 y derivando respecto a r obtenemos la ecuacion de Darboux. Esta
u
ltima cadena de igualdades proporciona, en particular


Z
G
r
lm
(x; r) = lm
g(x + r) d = 0.
r0 r
r0
N B(0;1)
Finalmente, puesto que g es una funcion continua en x RN , es facil ver que
lm G(x; r) = g(x).

r0

Obtenemos, de este modo, la prueba del lema.

Supongamos ahora que u es solucion clasica del problema de Cauchy (2.2) para datos
iniciales u0 C 2 (RN ) y u1 C 1 (RN ), con N 2. Igual que antes, definimos para cada
(x, t) RN [0, ) las cantidades
Z
Z

1
1

u0 (y) dS(y), U1 (x; r) =

u1 (y) dS(y),
U0 (x; r) = rN 1
N rN 1 B(x;r)
N
B(x;r)
Z
(2.7)
1

u(y, t) dS(y).
U (x; r, t) =
N rN 1 B(x;r)
Deducimos del Lema 2.8 el siguiente resultado:
Teorema 2.9. Ecuaci
on de Euler-Poisson-Darboux. Sea u una solucion clasica de (2.2)
k
N
con u C (R [0, )), k 2 y N 2. Entonces, fijado x RN , se tiene U (x; , )
C k (R+ [0, )), U0 (x; ) C 2 (R+ ), U1 (x; ) C 1 (R+ ) y

N 1

Utt (x; , ) Urr (x; , )

Ur (x; , ) = 0 en R+ (0, ),
r
U (x; r, 0) = U (x; r), U (x; r, 0) = U (x; r) en R .
0

Prueba: Se puede obtener la regularidad de U , U0 y U1 razonando como en el Lema 2.8. Si

aplicamos este u
ltimo resultado a U (x; r, t) deducimos

N 1

Urr (x; r, t) +
Ur (x; r, t) = x U (x; r, t)

rZ

1
1
=
x u(x + r, t) dS() =
utt (x + r, t) dS()
N B(0;1)
N B(0;1)



Z

u(x + r, t) dS() = Utt (x; r, t),

= 2

t N B(0;1)
que es la ecuacion de Euler-Darboux-Poisson.
Finalmente, de las condiciones iniciales de u y de ut deducimos:
U (x; r, 0) = U0 (x; r) y Ut (x; r, 0) = U1 (x; r),

r > 0.

El Lema 2.8 y el Teorema 2.9 son validos cuando N 2. Veremos que en el caso particular
N = 3 podemos deducir del Teorema 2.9 una formula que proporciona la solucion clasica del
problema de Cauchy (2.2). Suponemos as que N = 3 y
u C 2 (R3 [0, ))
Manuel Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla

2.3. M
etodo de las medias esf
ericas. Soluci
on para N = 3

es solucion clasica del problema de valores iniciales (2.2) con datos u0 C 2 (R3 ) y u1 C 1 (R3 ).
En este caso (N = 3), el primer miembro de la ecuacion de Euler-Darboux-Poisson toma la
forma:
2
1
Utt (x; , ) Urr (x; , ) Ur (x; , ) = [(rU )tt (rU )rr ] (x; , ).
r
r
Definimos, por tanto,
e0 (x; r) = rU0 (x; r),
U

e1 (x; r) = rU1 (x; r) y U

e (x; r, t) = rU (x; r, t),
U

e es solucion clasica de
con U0 , U1 y U dados por (2.7). Entonces, para cada x R3 fijo, U

e
e

Utt Urr = 0 en R+ (0, ),

e = 0 sobre {0} (0, ),
(2.8)
U

e
e0 (x; r), U
et (x; r, 0) = U
e1 (x; r) en R+ .
U (x; r, 0) = U
En efecto,


2
e
err
Utt = rUtt = r Urr + Ur = (U + rUr )r = U
r

en R+ (0, ),

e satisface las condiciones iniciales y de contorno. Por otro lado,

y es facil comprobar que U
e
e1 satisfacen las condiciones de compatibilidad dadas en (2.5)
tambien es facil ver que U0 y U
(de nuevo, basta tener en cuenta el Lema 2.8). En definitiva, podemos aplicar el Teorema 2.6
e dada por la formula (2.6).
al problema (2.8) y deducir que este admite una u
nica solucion U
En particular, si 0 r t tenemos
i 1 Z t+r
1 he
e1 (x; s) ds.
e
e
U
U (x; r, t) =
U0 (x; r + t) U0 (x; t r) +
2
2 tr
De esta u
ltima igualdad podemos recuperar el valor u(x, t). Efectivamente, vimos que se satisfaca la igualdad u(x, t) = lmr0 U (x; r, t). As,
!

Z t+r
e
e
e

U (x; r, t)
U0 (x; t + r) U0 (x; t r)
1

e1 (x; s) ds

u(x, t) = lm
= lm
+
U

r0
r0
r
2r
2r

tr

e0
U
e1 (x; t) = (tU0 (x; t)) + tU1 (x; t)

(x; t) + U
=

t
t

=t
(x; t) + U0 (x; t) + tU1 (x; t).
t
De la definicion de U0 , deducimos
Z
Z
1
1
U0 (x; t) =
u0 (y) dS(y) =
u0 (x + t) dS(),
4t2 B(x;t)
4 B(0;1)
y de aqu,
U0
1
(x; t) =
t
4

1
u0 (x + t) dS() =
4t2
B(0;1)

Z
u0 (y)
B(x;t)

yx
t


dS(y).

Manuel Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla

9
Volviendo a la ecuacion de u, deducimos que si u es solucion clasica del problema de Cauchy
homogeneo en dimension N = 3, entonces,
Z
1
(2.9) u(x, t) =
(u0 (y) + u0 (y) (y x) + tu1 (y)) dS(y), x R3 , t 0.
4t2 B(x;t)

Esta
es la llamada formula de Kirchhoff que demuestra que la u
nica posible solucion clasica
del problema de Cauchy (2.2) en dimension N = 3 viene dada por (2.9). Queda comprobar
que, bajo ciertas hipotesis de regularidad sobre los datos iniciales, esta funcion u es solucion
de (2.2) cuando N = 3. Se tiene:
Teorema 2.10. Soluci
on del problema de Cauchy homog
eneo tridimensional. Supongamos que N = 3, u0 C 3 (R3 ) y u1 C 2 (R3 ). Entonces, la funcion u dada por (2.9) satisface
u C 2 (R3 [0, )) y es la u
nica solucion clasica del problema de Cauchy (2.2).
Prueba: Recordemos que la funcion u viene dada por:
u(x, t) =

(tU0 (x; t)) + tU1 (x; t),

t

donde U0 y U1 son, respectivamente, las medias esfericas de u0 y u1 en la esfera de centro x y

radio t. De la regularidad de los datos u0 y u1 y del Lema 2.8 deducimos
U0 C 3 (R3 [0, )) y U1 C 2 (R3 [0, )),
de donde sigue la regularidad de u.
Tambien del Lema 2.8,

3
u(x, 0) = U0 (x; 0) = u0 (x), x R , 
U
2U
U
ut (x, 0) = 2 0 + t 20 + U1 + t 1 (x; t)|t=0 = u1 (x),
t
t
t

x R3 .

Finalmente, utilizando la ecuacion de Darboux para N = 3 (Lema 2.8),

u(x, t) =

(tU0 (x; t)) + tU1 (x; t)

t 
  2

2 U0
U0
U1

U1
t
(x; t) + 2
(x; t) + 2
(x; t) + t
(x; t)
t
t2
t
t2
t


2
2
(t
U
(x;
t))
+
(t U1 (x; t)) = utt (x, t),
0
t t2
t2

de donde obtenemos la prueba.

Observaci
on 2.11. La formula (2.9) indica que hay una perdida de regularidad de la funcion
u respecto de la regularidad de los datos iniciales: si inicialmente u0 C s (R3 ) y u1 C s1 (R3 )
con s 3, entonces la funcion u dada por (2.9) satisface u(, t) C s1 (R3 ) y ut (, t) C s2 (R3 )
en un tiempo posterior t > 0.
Manuel Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla

10

2.4. El problema de Cauchy en dimensi

on N = 2. M
etodo de descenso de
Hadamard

Observaci
on 2.12. La formula (2.9) tambien da la solucion del problema de Cauchy homogeneo para tiempos t < 0: Si definimos v(x, t) = u(x, t), con t > 0, es facil comprobar
que v es la solucion clasica de (2.2) asociada a los datos iniciales u0 y u1 . Utilizando la
formula (2.9) para v y teniendo en cuenta que u(x, t) = v(x, t) para t < 0, obtenemos
Z
1
u(x, t) =
(u0 (y) + u0 (y) (y x) + tu1 (y)) dS(y), x R3 , t 0.
4t2 B(x;t)

Observaci
on 2.13. De nuevo, la solucion del problema de Cauchy (2.2) dada por (2.9) depende
de forma continua respecto de los datos iniciales. En concreto, si {u0n }n1 C 3 (R3 ), {u1n }n1
C 2 (R3 ), u0 C 3 (R3 ) y u1 C 2 (R3 ) son tales que
0
un u0 uniformemente en los compactos de R3 ,
u0 u0 uniformemente en los compactos de R3 y
1 n
un u1 uniformemente en los compactos de R3 ,
entonces, un u uniformemente en los compactos de R3 [0, ), siendo un y u, respectivamente, las funciones dadas por (2.9) asociadas a (u0n , u1n ) y (u0 , u1 ).

2.4.

El problema de Cauchy en dimensi

on N = 2. M
etodo
de descenso de Hadamard

e (x; r, t) = rU (x; r, t) no funciona para transformar la

Cuando N = 2, hacer el cambio U
ecuacion de Euler-Poisson-Darboux en la ecuacion de ondas unidimensional. En lugar de esto,
miraremos el problema de Cauchy (2.2) para N = 2 como si fuera un problema en dimension
N = 3 que no depende de la tercera variable espacial. Trabajaremos con datos iniciales u0
C 3 (R2 ) y u1 C 2 (R2 ).
Supongamos que u C 2 (R2 [0, )) resuelve el problema de Cauchy (2.2) para N = 2 y
definamos
u(x1 , x2 , x3 , t) = u(x1 , x2 , t), (x1 , x2 , x3 ) R3 , t 0.
Entonces, u C 2 (R3 [0, )) y u es solucion clasica del problema (2.2) para N = 3 asociada
a los datos iniciales (independientes de la variable x3 )
u0 (x1 , x2 , x3 ) = u0 (x1 , x2 ) y u1 (x1 , x2 , x3 ) = u1 (x1 , x2 ),

(x1 , x2 , x3 ) R3 .

Tambien se tiene lo contrario: Sea u C 2 (R3 [0, )) una solucion del problema de Cauchy (2.2)
para N = 3 asociada a los datos iniciales u0 y u1 (definidos mediante las igualdades anteriores).
Entonces, u viene definida mediante la formula (2.9) y, debido a que u0 y u1 son independientes
de x3 , u no depende de la variable x3 . Deducimos que
u(x1 , x2 , x3 , t) = u(x1 , x2 , 0, t) = u(x1 , x2 , t),

(x1 , x2 , x3 ) R3 ,

t 0,

y que u C 2 (R2 [0, )) es solucion del problema (2.2) para N = 2 y para datos iniciales u0
y u1 . Utilizaremos esta equivalencia para dar una formula de la solucion u del problema (2.2)
en dimension N = 2.
Manuel Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla

11
Con la notacion previa y de lo visto en la seccion anterior, tenemos que
u(x, t) = u(
x, t) =

tU0 (
x; t) + tU1 (
x; t),
t

donde mediante x y x denotamos los puntos x = (x1 , x2 ) R2 y x = (x1 , x2 , 0) R3 y donde U0

y U1 son, respectivamente, las medias de u0 y u1 sobre la esfera de centro x y radio t. Observese
que, por ejemplo,
Z
1

t U0 (
x; t) =
u0 (y1 , y2 ) dS(y1 , y2 , y3 ).
4t B(x;t)
Podemos calcular esta integral teniendo en cuenta que sobre la esfera B(
x; t) se tiene
p
y3 = t2 (x1 y1 )2 (x2 y2 )2 ,
(cada uno de los signos corresponde a cada una de las semiesferas) cuyo elemento de area es
t
t
dS(y1 , y2 , y3 ) = p
dy1 dy2 = p
dy1 dy2 .
t2 (x1 y1 )2 (x2 y2 )2
t2 |x y|2
As,
2
t U0 (
x; t) =
4t

t
u0 (y) p
dy1 dy2 ,
2
t |x y|2
B(x;t)

y de aqu,

u(x, t) =
t

1
2

Z
B(x;t)

u0 (y)

p
dy
t2 |x y|2

1
+
2

Z
B(x;t)

u1 (y)
p
dy.
t2 |x y|2

Usando de nuevo el teorema de derivacion respecto de parametros (haciendo previamente

el cambio de variables y = x + t) podemos calcular la derivada respecto de t de la primera
integral, obteniendo:
Z
Z

1
1
u0 (y)
u1 (y)

p
p
u(x,
t)
=
dy
+
dy

2t B(x;t) t2 |x y|2
2 B(x;t) t2 |x y|2
(2.10)
Z

1
u0 (y) (y x)

p
+
dy, x R2 , t 0.

2
2
2t B(x;t)
t |x y|

Esta
es la llamada formula de Poisson que da la solucion de problema de Cauchy homogeneo (2.2)
en el caso bidimensional. El metodo que permite calcular la solucion de (2.2) en el caso bidimensional a partir de la solucion en el caso tridimensional se debe a Hadamard y se denomina
metodo de descenso de Hadamard. Resumiendo, hemos probado,
Teorema 2.14. Soluci
on del problema de Cauchy homog
eneo bidimensional. Supon3
2
2
2
gamos que N = 2, u0 C (R ) y u1 C (R ). Entonces, la funcion u dada por (2.10) satisface
u C 2 (R2 [0, )) y es la u
nica solucion clasica del problema de Cauchy (2.2).
Observaci
on 2.15. De nuevo, la formula (2.10) indica que hay una perdida de regularidad de
la funcion u respecto de la regularidad de los datos iniciales: como en el caso tridimensional,
si inicialmente u0 C s (R2 ) y u1 C s1 (R2 ) con s 3, entonces la funcion u dada por (2.10)
satisface u(, t) C s1 (R2 ) y ut (, t) C s2 (R2 ) en un tiempo posterior t > 0.

12

2.5. Dominios de dependencia y de influencia. Principio de Huygens

Observaci
on 2.16. Tambien la formula (2.10) da la solucion del problema de Cauchy homogeneo para tiempos t < 0. Para obtener la formula de u(x, t) cuando t 0, basta hacer un
razonamiento analogo al hecho en la Observacion 2.12.
Observaci
on 2.17. Otra vez, la solucion del problema de Cauchy (2.2) dada por (2.10) depende
de forma continua respecto de los datos iniciales. En concreto, si {u0n }n1 C 3 (R2 ), {u1n }n1
C 2 (R2 ), u0 C 3 (R2 ) y u1 C 2 (R2 ) son tales que
0
un u0 uniformemente en los compactos de R2 ,
u0 u0 uniformemente en los compactos de R2 y
1 n
un u1 uniformemente en los compactos de R2 ,
entonces, un u uniformemente en los compactos de R2 [0, ), siendo un y u, respectivamente, las funciones dadas por (2.10) asociadas a (u0n , u1n ) y (u0 , u1 ).

2.5.

Dominios de dependencia y de influencia. Principio

de Huygens

Consideramos de nuevo el problema de Cauchy homogeneo (2.2) en dimensiones N = 1, 2

o 3. Las correspondientes soluciones de este problema vienen dadas por (2.3), (2.10) y (2.9).
Analizaremos los conceptos de dominio de dependencia y de influencia en cada una de las
dimensiones.

2.5.1.

Caso unidimensional

Observando la formula (2.3) tenemos que, dado (x, t) R [0, ) (N = 1), la solucion
u(x, t) depende de los valores de los datos iniciales u0 y u1 en el intervalo [x t, x + t]:

As, el dominio de dependencia del punto (x, t) es el intervalo [x t, x + t]. Al contrario, si

tomamos un punto x0 R en t = 0, este punto influye, en el calculo de u, en los puntos que se
encuentran en el cono
C(x0 ) = {(x, t) R [0, ) : |x x0 | t}.
Observese tambien que si u0 0 y u1 0 en un intervalo [a, b] R, entonces, la funcion u
es nula en el cono
A([a, b]) = {(x, t) R [0, ) : x [a + t, b t]}.

13
En efecto, si (x, t) A([a, b]), entonces
1
1
u(x, t) = (u0 (x + t) + u0 (x t)) +
2
2

x+t

u1 (s) ds,
xt

pero a x + t b y a x t b y as, u0 y u1 son nulos.

Por u
ltimo, si suponemos que sop u0 , sop u1 [a, b], entonces, fijado t 0, se tiene que
sop u(, t) [a t, b + t]. Podemos as definir el dominio de influencia del intervalo [a, b] como
el conjunto
C([a, b]) = {(x, t) R [0, ) : x [a t, b + t]}.
Observese que la velocidad de propagacion de la onda unidimensional es 1 pues si, p.e., x0 < a
(con sop u0 , sop u1 [a, b]) tienen que pasar a x0 unidades de tiempo para que la onda llegue
al punto x0 . Esta propiedad de velocidad finita de propagacion es otra de las grandes diferencias
existentes entre la ecuacion del calor y la ecuacion de ondas.

2.5.2.

Caso bidimensional

Podemos hacer un analisis muy parecido de la solucion del problema de Cauchy en el caso
N = 2. Observando la formula (2.10), deducimos que si (x, t) R2 (0, ), la solucion u(x, t)
depende de los valores u0 y u1 en el crculo B(x, t):

Esta bola sera el dominio de dependencia del punto (x, t). Al contrario, si tomamos un punto
x0 R2 en t = 0, este influye en el calculo de u en los puntos del cono
C(x0 ) = {(x, t) R2 [0, ) : |x x0 | t},
que llamaremos dominio de influencia del punto x0 R2 .
De nuevo se tiene que, si u0 u1 0 en un crculo B(x0 , r0 ), entonces, u es nula en el cono
A(B(x0 , r0 )) = {(x, t) R2 [0, ) : x B(x0 , r0 t)},

14

2.5. Dominios de dependencia y de influencia. Principio de Huygens

(basta tener en cuenta la formula (2.10)).

Si suponemos ahora que sop u0 , sop u1 B(x0 , r0 ), entonces, dado t 0, se tiene que
sop u(, t) B(x0 , r0 + t). Se tiene as que el dominio de influencia de B(x0 , r0 ) es el conjunto:
C(B(x0 , r0 )) = {(x, t) R2 [0, ) : x B(x0 , r0 + t)}.
Otra vez, la velocidad de propagacion de la onda es 1. Si, p.e., sop u0 , sop u1 B(x0 , r0 ) y
x es tal que |x x0 | > r0 , entonces, inicialmente u(x, t) es nula, en concreto, si
t T0 = |x x0 | r0 = dist (x, B(x0 , r0 )),
entonces, B(x, t) B(x0 , r0 ) = y, en consecuencia, u(x, t) 0. Para tiempos t > T0 , se tiene
B(x, t) B(x0 , r0 ) 6=
y u(x, t) es no nula: En otras palabras, cuando generamos una perturbacion en B(x0 , r0 ), se
crea un frente de onda que se va propagando circularmente a velocidad 1 y que llega a un punto
x R2 en el tiempo T0 = dist (x, B(x0 , r0 )). Una vez pasado el frente de la onda, es decir,
para t > T0 , el efecto de la perturbacion sigue afectando al punto x, aunque, cuando el tiempo
avanza, la onda se va disipando.

2.5.3.

Caso tridimensional. Principio de Huygens

Haremos un analisis parecido al hecho en los casos N = 1 y N = 2, cuando N = 3. Dado

(x, t) R3 (0, T ), la solucion u(x, t) depende de los valores de u0 y u1 (los datos iniciales)
sobre la superficie esferica B(x; t): B(x; t) es, por tanto, el dominio de dependencia del punto
(x, t). Recprocamente, si x0 R3 en t = 0, este punto influye en el calculo de la funcion u en
los puntos que estan sobre el conjunto
C(x0 ) = {(x, t) R3 [0, ) : |x x0 | = t},
conjunto que llamaremos dominio de influencia del punto x0 (se trata de un cono de R4 ).

De nuevo, si u0 y u1 tienen soporte compacto en R3 , por ejemplo, si sop u0 , sop u1 K, con

K un compacto de R3 , entonces, para que u(x, t) 6= 0, la esfera B(x; t) debe cortar al soporte

15
K, es decir, t dist (x, K), o de manera equivalente, x Kt , donde
Kt = {y R3 : dist (y, K) t}.
Obtenemos otra vez que, t 0, sop u(, t) Kt y, en consecuencia, u(, t) C02 (R3 ).

En realidad, el soporte de la funcion u(, t) es mas peque

no que el conjunto Kt . Supongamos
por comodidad que
sop u0 , sop u1 B(x0 ; r0 ),
con x0 R3 y r0 > 0 y tomemos x R3 tal que |x x0 | > r0 . Inicialmente, la funcion u(x, t)
es nula, en concreto, si t < T0 (x) con
T0 (x) = dist (x, B(x0 ; r0 )) = |x x0 | r0 ,
tenemos que u(x, t) = 0 (pues B(x; t) B(x0 ; r0 ) = ). Por otro lado, sea
T1 (x) =

sup

|x y| = r0 + |x x0 |,

yB(x0 ;r0 )

y tomemos t > T1 (x), entonces, u(x, t) = 0 (de nuevo, B(x; t) B(x0 ; r0 ) = ). Deducimos de
este analisis que, para que u(x, t) 6= 0, se debe tener t [T0 (x), T1 (x)], es decir,
|x x0 | r0 t |x x0 | + r0 ,
lo que equivale a x B(x0 ; t + r0 ) \ B(x0 ; t r0 ). En resumen, dado t 0, se tiene que
sop u(, t) B(x0 ; t + r0 ) \ B(x0 ; t r0 ).
As, una perturbacion que se origina (inicialmente) en B(x0 ; r0 ), esta confinada en cada
tiempo t 0 en una corona centrada en x0 y de amplitud 2r0 , corona que se va expandiendo
a velocidad 1. Este comportamiento de las ondas tridimensionales esta de acuerdo con lo que
ocurre con las ondas de sonido: Un sonido que esta producido inicialmente en B(x0 ; r0 ), tarda
un tiempo en llegar a los odos de un receptor que este situado a cierta distancia. Este receptor
capta el sonido durante un tiempo (casi inapreciable debido a que la velocidad del sonido es
alta) y despues deja de percibir la se
nal. Este es el principio de Huygens, principio debido al
hecho de que el dominio de dependencia de (x, t) es la superficie de la esfera B(x; t) y no la
propia esfera (como ocurre en el caso bidimensional). En dimension N = 2 este principio no se
satisface: las perturbaciones producidas en el tiempo inicial t = 0 se propagan con velocidad
finita (velocidad 1) y tardan un cierto tiempo en llegar a un punto x0 pero, una vez que alcanzan
el punto, esta perturbacion nunca muere (comparese con las ondas producidas por una piedra
en un estanque).

16

2.6.

2.6. El problema no homog

eneo

El problema no homog
eneo

Pasamos a tratar en esta seccion el problema de Cauchy no homogeneo para la ecuacion de

ondas (2.1). Utilizando el principio de superposicion constatamos que, para resolver (2.1) basta
plantear el problema de Cauchy no homogeneo:
(
utt u = f
en RN (0, T ),
(2.11)
u(x, 0) = 0, ut (x, 0) = 0 en RN ,
con T (0, ] y f : RN [0, T ) R dada (N = 1, 2
utilizando el principio de Duhamel : Definimos U (x, t; s) a
mogeneo:
(
Utt (, ; s) U (, ; s) = 0
(2.12)
U (x, s; s) = 0, Ut (x, s; s) = f (x, s)

o 3). Otra vez resolveremos (2.11)

traves del problema de Cauchy hoen RN (s, ),
en RN .

Se trata de un problema de Cauchy homogeneo con tiempo inicial t = s.

Definamos
Z t
U (x, t; s) ds, x RN , t [0, T ).
(2.13)
u(x, t) =
0

El principio de Duhamel aserta que u es solucion del problema de Cauchy no homogeneo (2.11).
Teorema 2.18. Soluci
on de la ecuaci
on de ondas no homog
enea. Supongamos que
N
+1
N
]
[
2
(R [0, T )). Entonces, la funcion u dada por (2.13)
T (0, ], N = 1, 2 o 3 y f C
satisface u C 2 (RN [0, T )) y es la u
nica solucion clasica de (2.11).
N
Prueba: Bajo la hipotesis f C [ 2 ]+1 (RN [0, T )), tenemos f (, s) C 1 (R), si N = 1, y
f (, s) C 2 (RN ), si N = 2 o 3. Utilizando el Teorema 2.6 (para N = 1), Teorema 2.14 (para
N = 2) y Teorema 2.10 (para N = 3) obtenemos que la solucion U del problema (2.12) satisface
U (, ; s) C 2 (RN [s, )), para cada s [0, T ). En consecuencia, u C 2 (RN [0, T )).
Por otro lado,

Z t
Z t

ut (x, t) = U (x, t; t) +
Ut (x, t; s) ds =
Ut (x, t; s) ds,

0
0
Z t
Z t
utt (x, t) = Ut (x, t; t) +
Utt (x, t; s) ds = f (x, t) +
U (x, t; s) ds

0
0

= f (x, t) + u(x, t), (x, t) RN (0, T ).

Tambien es facil comprobar que u(x, 0) = ut (x, 0) = 0 para x Rn . Deducimos as que la

funcion u definida mediante (2.13) es solucion clasica del problema de Cauchy (2.11).
Finalmente, la unicidad de solucion del problema homogeneo (2.2) implica la unicidad de
solucion clasica para el problema (2.11).
Daremos a continuacion una formula explcita para la solucion del problema de Cauchy (2.11).
Para ello, sea V (x, t; s) (s [0, T )) la solucion del problema
(
Vtt (, ; s) V (, ; s) = 0
en RN (0, ),
V (x, 0; s) = 0, Vt (x, 0; s) = f (x, s) en RN .

17
Entonces, es facil comprobar que la solucion U del problema (2.12) viene dada por
U (x, t; s) = V (x, t s; s),

x RN ,

T > t s 0,

(igualdad que, en particular, dice que la ecuacion de ondas es invariante respecto de traslaciones
en tiempo).
Utilizando las formulas (2.3), (2.10) y (2.9), tenemos
Z x+(ts)
1

f (y, s) dy
si N = 1,

2 x(ts)

1 Z
f (y, s)
p
U (x, t; s) = V (x, t s; s) =
dy si N = 2,

2 B(x;ts) |t s|2 |x y|2

f (y, s) dS(y)
si N = 3,
4(t s) B(x;ts)
y as,
Z
!
Z x+(ts)
t

f (y, s) dy ds
si N = 1,

2 0

x(ts)

Z t Z
1
f
(y,
s)
u(x, t) =
p
dy ds si N = 2,

2 0

|t s|2 |x y|2
B(x;ts)


Z

Z t

1
1

f (y, s) dS(y) ds
si N = 3.

4 0 t s
B(x;ts)
Corolario 2.19. Existencia y unicidad de soluci
on de (2.1). Supongamos que N = 1, 2
N
N
N
+2
+1
+1
N
N
[
]
[
]
[
]
o 3, u0 C 2 (R ), u1 C 2 (R ) y f C 2 (RN [0, T )) con T (0, ]. Entonces, el
problema de Cauchy no homogeneo (2.1) posee una u
nica solucion clasica u C 2 (RN [0, T )).
Observaci
on 2.20. Como siempre, es posible dar un resultado de dependencia continua de la
solucion clasica de (2.1) respecto de los datos del problema: Sean {u0n }n1 , {u1n }n1 y {fn }n1
tres sucesiones y u0 , u1 y f tres funciones tales que
(
N
N
u0n , u0 C [ 2 ]+2 (RN ), u1n , u1 C [ 2 ]+1 (RN ), n 1,
N
f , f C [ 2 ]+1 (RN [0, T )), n 1.
n

Supongamos ademas que

0
un u0 uniformemente sobre los compactos de RN ,

u0 u uniformemente sobre los compactos de RN ,

0
n
1

un u1 uniformemente sobre los compactos de RN y

fn f uniformemente sobre los compactos de RN [0, T ).

Entonces,
un u uniformemente sobre los compactos de RN [0, T )
donde un y u son, respectivamente, las soluciones clasicas del problema de Cauchy (2.1) asociadas a (u0n , u1n , fn ) y a (u0 , u1 , f ) proporcionadas por el Corolario 2.19.

18

2.7. Energa y unicidad

2.7.

Energa y unicidad

Daremos en esta seccion algunos resultados adicionales para la ecuacion de ondas utilizando
el llamado metodo de la energa. Comenzamos estudiando el problema de Cauchy-Dirichlet

en (0, T ),

utt u = f
u=g
sobre (0, T ),
(2.14)

u(x, 0) = u , u (x, 0) = u en ,
0
t
1
donde RN es un abierto acotado con frontera de clase C 1 , T (0, ] y las funciones
u0 C 2 (), u1 C 1 (), g C 0 ( (0, T )) y f C 1 ( (0, T )) estan dadas. Como viene
siendo habitual, estamos interesados en el estudio de las soluciones clasicas del problema (2.14),
es decir, en las funciones u C 2 ( (0, T )) C 1 ( [0, T )) que satisfacen la EDP, la condicion
de contorno y las condiciones iniciales de (2.14) puntualmente.
Supongamos que u C 2 ( (0, T )) C 1 ( [0, T )) es solucion clasica de (2.14). Introducimos el llamado funcional de energa dado por
Z
Z
1
1
2
|ut (x, t)| dx +
|u(x, t)|2 dx, t [0, T ),
E(t) =
2
2
que a su vez es suma de la energa cinetica (primer sumando) y de la energa potencial (segundo
sumando).
Teorema 2.21. Conservaci
on de la energa. Sea T (0, ]. Supongamos que u C 2 (
[0, T )) es solucion clasica de (2.14) para u0 C 2 (), u1 C 1 (), f 0 y g 0. Entonces,
Z
Z
1
1
2
|u1 (x)| dx +
|u0 (x)|2 dx, t [0, T ).
E(t) = E(0) =
2
2
Prueba: Es facil comprobar que E C 1 ([0, T )) y que se tiene

Z
Z

ut (x, t)utt (x, t) dx + u(x, t) ut (x, t) dx

E (t) =

=
ut (x, t) [utt (x, t) u(x, t)] dx = 0,

pues u(x, t) = 0 para (x, t) [0, T ) y en consecuencia, ut (x, t) = 0 sobre [0, T ).

Obtenemos de este modo el resultado.
Una consecuencia inmediata del resultado previo es:
Corolario 2.22. Unicidad de soluci
on del problema (2.14). Existe a lo sumo una funci
on
2
u C ( [0, T )) solucion clasica del problema (2.14).
Mediante el metodo de la energa examinaremos otra vez el dominio de dependencia y la
velocidad de propagacion de las soluciones de la ecuacion de ondas en un dominio RN .
Para este fin, supongamos que u C 2 ( [0, T )), con T (0, ), resuelve
utt u = 0 en (0, T ).
Fijemos x0 y R0 (0, T ) tales que B(x0 ; R0 ) y consideremos el cono
C = {(x, t) : t [0, T ], |x x0 | R0 t} [0, T ).
Se tiene:

19
Teorema 2.23. Velocidad finita de propagaci
on. En las condiciones anteriores, si u(x, 0) =
ut (x, 0) 0 en B(x0 ; R0 ), entonces u 0 en el cono C.
Prueba: Consideramos de nuevo el funcional energa en B(x0 ; R0 t) dado por:
1
E(t) =
2

1
|ut (x, t)| dx +
2
B(x0 ;R0 t)
2

|u(x, t)|2 dx,

t [0, R0 ].

B(x0 ;R0 t)

Dado que B(x0 ; R0 ) , tenemos que la funcion E(t) esta bien definida y es derivable en el
intervalo [0, R0 ]. Efectivamente, se tiene que E(t) = F (t, t), siendo F : [0, T ) [0, R0 ] R la
funcion dada por:
1
F (s, t) =
2

1
|ut (x, s)| dx +
2
B(x0 ;R0 t)
2

|u(x, s)|2 dx.

B(x0 ;R0 t)

En consecuencia,

F
F

E 0 (t) =
(t, t) +
(t, t)

Zs

[ut (x, t)utt (x, t) + u(x, t) ut (x, t)] dx

=

B(x
;R
t)
0
0



1

|ut (x, t)|2 + |u(x, t)|2 dS(x)

2
Z B(x0 ;R0 t)
Z
u

=
ut (x, t) [utt (x, t) u(x, t)] dx +
(x, t)ut (x, t) dS(x)

B(x
;R
t)
B(x
;R
t)
0
0
0
0



1

|ut (x, t)|2 + |u(x, t)|2 dS(x)

2 B(x0 ;R0 t)



Z

1
u
2
2

=
|ut (x, t)| + |u(x, t)| 2 (x, t)ut (x, t) dS(x).

2 B(x0 ;R0 t)
n
Por otro lado,


 u

 (x, t)ut (x, t) = |ut (x, t)u(x, t) n| |ut (x, t)||u(x, t)| 1 (|ut (x, t)|2 + |u(x, t)|2 ).
 n

2
Combinando estas dos u
ltimas desigualdades deducimos que E 0 (t) 0 en [0, R0 ] y, as,
E(t) E(0) 0,

t [0, R0 ].

Concluimos que ut y u son identicamente nulos en el cono C y, en consecuencia, u 0 en C.

Obtenemos de este modo la prueba del Teorema 2.23.
Observaci
on 2.24. En particular el Teorema 2.23 afirma que cualquier perturbacion que
inicialmente se origine fuera de B(x0 ; R0 ) no tiene efecto en el cono C y, por tanto, no llega al
punto x0 antes de tanscurridos R0 unidades de tiempo: velocidad finita de propagacion.

20

2.7. Energa y unicidad

Bibliografa
[1] Evans, L.C., Partial Differential Equations, Graduate Studies in Mathematics, 19, American Mathematical Society, Providence, RI, 1998.
[2] John, F., Partial Differential Equations, Fourth edition, Applied Mathematical Sciences 1,
Springer-Verlag, New York, 1982.
[3] Peral, I., Primer Curso de Ecuaciones en Derivadas Parciales, Editorial AddisonWesley/Universidad Autonoma de Madrid, Madrid, 1995.