U2. Edp

Ecuaciones Diferenciales Parciales
Unidad 2. El problema de Cauchy para EDP de segundo orden
Unidad 2: El problema de Cauchy para EDPs de

segundo orden
Andrs Fraguela Collar
Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Contenido
Unidad 2. El problema de Cauchy para EDP de segundo orden............................................4
Presentacin de la unidad........................................................................................................ 4
Propsitos de la unidad............................................................................................................4
Competencia especfica de la unidad......................................................................................4
2.1. Clasificacin de las EDP cuasilineales de segundo orden..............................................4
2.1.1. El problema de Cauchy para alguno ejemplos de EDP de segundo orden.............4
2.1.2. Formas cannicas y clasificacin...............................................................................4
2.1.3. EDP con coeficientes constantes...............................................................................4
2.1.4. Problema de Cauchy y superficies caractersticas...................................................4
2.2. El Problema de Cauchy para la ecuacin de onda en dimensiones espaciales uno,
dos y tres.................................................................................................................................... 5
2.2.1. La ecuacin de onda en dimensin uno: La frmula de DAlembert.......................5
2.2.2. La ecuacin de onda en dimensin espacial tres: Mtodo de las medias esfricas.
................................................................................................................................................. 9
2.2.3. El problema de Cauchy en dimensin espacial dos: Mtodo de descenso de
Hadamard.............................................................................................................................. 15
2.2.4. La ecuacin de onda no homognea........................................................................17
2.2.5. Energa y unicidad de solucin del problema de Cauchy.......................................19
2.2.6. Propiedades de la solucin de la ecuacin de onda de acuerdo a la dimensin
espacial................................................................................................................................. 21
2.3. El problema de Cauchy para la ecuacin de calor.........................................................24
2.3.1. Ncleo de Gauss. Solucin del problema de Cauchy..............................................25
2.3.2. El principio del mximo. Resultados clsicos de unicidad....................................34
2.3.3. El problema de Cauchy no homogneo...................................................................37
2.3.4. Comparacin entre las soluciones del problema de Cauchy para la ecuacin de
onda y la ecuacin de calor.................................................................................................43
Autoevaluacin........................................................................................................................ 44
Evidencia de aprendizaje. Resolucin de ejercicios.........................................................44
Autorreflexiones...................................................................................................................... 45
Cierre de la unidad................................................................................................................... 45
Para saber ms........................................................................................................................ 45

Referencias bibliogrficas......................................................................................................45

Presentacin de la unidad
En esta segunda unidad se presenta una forma de clasificacin de las EDP cuasilineales de
segundo orden y se introduce el llamado problema de Cauchy para estas ecuaciones como una
extensin del problema de Cauchy, presentado en la unidad 1, para las ecuaciones de primer
orden. Daremos el planteamiento general del problema de Cauchy para ecuaciones de segundo
orden y estudiaremos su relacin con el concepto de superficie caracterstica. En el caso de las
ecuaciones clsicas de ondas y difusin del calor se estudian versiones particulares del
problema de Cauchy y se obtienen frmulas para la solucin de los respectivos problemas que
dependen de la dimensin espacial. Dichas frmulas muestran las diferencias entre los
procesos de propagacin de ondas de acuerdo a la dimensin espacial y permiten explicar
ciertas caractersticas particulares que distinguen los procesos de difusin del calor de los de
propagacin de ondas como son las propiedades de regresin en el tiempo, la conservacin de
energa y la velocidad de propagacin en ambos procesos.
Propsitos de la unidad
Clasificar las EDP cuasilineales de segundo orden de acuerdo a su reduccin a la

llamada forma cannica.
Presentar el llamado problema de Cauchy para una EDP cuasilineal de segundo orden y
estudiar su relacin con la nocin de superficie caracterstica y la clasificacin vista
previamente.
Presentar un planteamiento particular para el problema de Cauchy para la ecuacin de
ondas y estudiar las propiedades de su solucin de acuerdo a la dimensin espacial.
Presentar un problema particular con condiciones iniciales para la ecuacin del calor que
puede ser considerado como una generalizacin del problema de Cauchy.
Competencia especfica de la unidad

Obtener las soluciones del problema de Cauchy para las ecuaciones de ondas y de calor en
dimensiones uno dos y tres mediante la aplicacin de las correspondientes frmulas para
resolver los modelos asociados a problemas clsicos de la fsica matemtica.
2.1. Clasificacin de las EDP cuasilineales de segundo orden
Tras el estudio del problema de Cauchy para las ecuaciones de primer orden que se ha hecho
en temas anteriores, parece natural plantear el mismo problema para ecuaciones de orden
superior. Se limitar a dar algunos resultados de carcter cualitativo general, para ecuaciones
de segundo orden y slo en lo referente a la estructura algebraica de la ecuacin, que es lo que
permitir la clasificacin en tipos.

2.1.1. El problema de Cauchy para algunos ejemplos de EDP de segundo

orden.
Se comienza por estudiar algunos ejemplos que ayudan a ver los diferentes comportamientos
del problema de Cauchy segn las ecuaciones.
R2
Todos ellos tienen en comn que se trata de ecuaciones de orden dos en
y que, por
tanto, fijando dos datos; el valor de la funcin y de la derivada respecto a la direccin normal en
una recta, se espera obtener una solucin de la respectiva ecuacin que satisfaga estos datos
de Cauchy.
Ejemplo 1.
Considera el siguiente problema
uxt =0
u ( x , 0 )= 0 ( x )
u t ( x , 0 )= 1 ( x)
(2.1.1 .1)
Se supondrn los datos regulares, por ejemplo, con segunda derivada continua. Sea
u(x ,t )
una solucin clsica, es decir, una funcin con segundas derivadas continuas que verifica la
ecuacin puntualmente. Entonces, en particular, se verifica
0=uxt ( x , 0 )= 1,x = ' ( x ) ,
es decir,
1 necesariamente es constante. En consecuencia el problema
(2.1.1 .1) no es
soluble para cualquier dato; pero, adems, si se supone la condicin de compatibilidad,
1 c , donde c
es constante, por integracin elemental se tiene
ut ( x ,t )= ( t ) , independientede x ,
por lo que todas las funciones verificando la ecuacin son de la forma
u ( x , t )=w 1 ( x )+ w2 (t )
De esta manera si tomamos una funcin
w 2(t)=ct +a t 2 con a arbitrario,

ua ( x , t )= 0 ( x )+ ct+ at 2
es solucin
Tenemos as una alternativa extrema
i)
El problema
ii)
Si
(2.1.1 .1) no es soluble si 1 no es constante.
1 es constante, el problema (2.1.1 .1) tiene infinitas soluciones.
Como puedes notar la eleccin de

ejemplo,
w2
slo requiere que
w 2(0)=0
w '2(0)=0 . Por
w 2=ct +t ,r > 0 , son elecciones vlidas.
Ejemplo 2.
Considera el siguiente problema para la ecuacin para la ecuacin de calor
u t=u xx
u ( x , 0 )= 0 ( x ) ,
u t ( x , 0 )= 1 ( x)
(2.1.1 .2)
con datos regulares. Entonces en particular
1 ( x )=u t ( x , 0 ) =uxx ( x , 0 )= '0' ( x ) .

Es decir, es un problema sobredeterminado. En este caso es ms natural el resultado pues
respecto a la variable
t , la ecuacin del calor es solo de orden 1 .
Ejemplo 3.
El problema que sigue requiere el uso de algunos resultados bsicos de variable compleja. (Si
fuese necesario, puedes encontrarlos en L.V. Ahlfors, "Complex Analysis)

u xx +u yy =0 en y >0
,
u ( x , 0 ) =0
u y ( x ,0 )=h( x )
Una funcin
(2.1.1 .3)
u(x , y )
con segundas derivadas continuas y verificando la ecuacin es
llamada armnica y se verifica que
u=R f (z)
para
f =u+iv
funcin analtica en
y >0
.
El principio de reflexin de Schwarz prueba que en estas hiptesis la funcin
~
f (z),I z0
f ( z )=
f ( z ) , I z <0
donde
f =uiv
es la funcin conjugada de
f , es analtica. Adems
~
R f =~u donde
u(x, y), y 0
~
u ( x , t )=
u ( x , y ) , y <0
y por tanto es analtica real. Pero en particular,

En consecuencia, si
(2.1.1 .3)
~
u(x , 0)
~
u y ( x , 0)
son analticas reales.
no es analtica no hay solucin, o dicho de otra forma el problema
es sobredeterminado. Se puede enunciar entonces que el problema de Cauchy
para la ecuacin de Laplace es sobredeterminado.
Ejemplo 4.
Por ltimo se va a analizar otro problema de valores iniciales. Se trata de la ecuacin de ondas
utt u xx =0
u ( x , 0 )=f ( x ) ,
u t ( x , 0 )=g ( x)
Si se hace el cambio de coordenadas
(2.1.1 .4)

1
X= ( x+ t )
2
1
T = ( xt)
2
la ecuacin se transforma en
u XT =0
(2.1.1 .5)
(revisa el tema 2.2.1 para encontrar todos los detalles).

Como se vio en el Ejemplo 1 la solucin general de (2.1.1.5) es
u ( X ,T )=w1 ( X ) +w 2 ( T )
o bien en las coordenadas primitivas
u ( X ,T )=w1 ( x+t ) +w 2 ( xt )
Si se imponen los datos se obtiene de manera nica que la solucin de
(2.1.1 .4) es
x+t
f ( x+t ) + f ( xt) 1
u ( x , t )=
+ g ( s ) ds
2
2 xt
que es la conocida como frmula de D'Alambert. (Ve el tema 2.2.1)
El problema de Cauchy respecto a existencia y unicidad de la solucin depende de alguna

misteriosa relacin entre la ecuacin en derivadas parciales y la superficie donde se prescriben
los datos. Se estudiar este problema en detalle en los siguientes subtemas de esta Unidad.
2.1.2. Formas cannicas y clasificacin.

Un problema tpico en las EDP consiste en hallar la solucin de una ecuacin o sistema sujetos
a condiciones iniciales y de contorno.
Para estudiar este sistemticamente se necesita un esquema de clasificacin que caracterice a

las ecuaciones por clase con propiedades comunes. El tipo de una ecuacin determina la
naturaleza de las condiciones iniciales y de contorno que le pueden ser impuestas para que

tenga solucin, el tipo de soluciones que puede tener y sus propiedades y los mtodos que se
pueden usar para obtener dichas soluciones.
Se ver cmo se clasifican las ecuaciones en derivadas parciales de 2 orden cuasilineales, es
decir, que son lineales con respecto a las derivadas de 2 orden:
n
i , j=1
aij ( x ) x ux
+ ( x , u , u ) =0, aij continuas ,

j
el tipo de la ecuacin se define en una vecindad de cada punto, es decir, la clasificacin es

local.
Se comenzar viendo cmo se transforma la ecuacin ante un cambio de variable no singular
con el objetivo de ver qu cambio se debe hacer para que en las nuevas variables simplifique la
ecuacin
esto ltimo es el determinante de la matriz Jacobiana

Supondremos
D 0
(
( )
y l C 2 , D=
x y= y ( x ) , y l= yl ( x 1 , , x n ) ,l=1,2, ,n
yi
x j
y1 , y2 , , yn
,
x1 , x2 , , x n
en una vecindad del punto donde se quiere estudiar el tipo de ecuacin.
Entonces por el teorema de la funcin inversa en un entorno de ese punto se puede invertir la
transformacin o expresar
Se denota
en funcin de
y : x =x( y) .
u ( x ( y ) ) =~u( y ) , de modo que ~

u ( y ( x ) ) =u( x ) .
Se tiene:
n
u
~
u yl
=
x i l=1 y l x i
y por lo tanto
2
n
n
2 u
u
2 ~
u yl yk
~
u yl
=
=
+
x i x j x j x i k ,l=1 y l y k xi x j l=1 y l x i y j
( )
Sustituyendo esto en la expresin del operador diferencial se tiene:

n
k ,l=1
n
n
yl y k n ~
2 y l
2 ~
u
u
a
+
a
+ ( y, ~
u , ~
u )=0

y l y k i , j=1 i x i x j l=1 y l i , j =1 ij xi x j
n
y y
~
a
(
y
)
=
ai x l xk
lk
Denotando
i , j=1
i
j
se obtiene

n
k ,l=1
~a ( y )
lk
2 ~
u
~
+( y , ~
u , ~
u ) =0
yl yk
Fijando ahora un punto
x 0 , poniendo
yl
y
(x 0) , kj= k .
y 0= y (x 0 ) , li =
xi
xj
n
Entonces en el punto
x0
se puede escribir
transformacin para los coeficientes
aij
~
al k ( y o ) = aij ( x 0 ) l i kj
i , j=1
en el punto
que es la frmula de
x0 .
Se nota que la frmula de transformacin de los coeficientes
aij
coincide con la frmula de
transformacin de la forma cuadrtica

n
aij ( x 0 ) pi p j
(2.1.2 .1)
i , j=1
la cual es conocida como Smbolo de la Ecuacin Diferencial en
x0 .
Cuando se hace un cambio lineal de variables

n
pi= l k ( y 0 ) ql , det ( l i ) 0
(2.1.2 .2)
l=1
que cambia la forma cuadrtica
(2.1.2 .1) en
~al k ( y 0 ) q l qk .
k ,l=1
Entonces para simplificar la ecuacin original en

con simplificar la forma cuadrtica
(2.1.2 .1)
x0
mediante un cambio de variables basta
por una transformacin no singular del tipo
(2.1.2 .2) .
Del lgebra Lineal es conocido que existe una transformacin lineal no singular
que cambia la forma cuadrtica
(2.1.2 .1) en la forma cannica:
(2.1.2 .2)

r
q l q l con m n
2
l=1
(2.1.2 .3)
l=r +1
y que segn el teorema de la Ley de Inercia para la forma cuadrtica

del tipo de transformacin
y negativos de la matriz
no dependen
(2.1.2 .2) y son iguales a la cantidad de valores propios positivos
( aij ( x 0 ) )
con sus multiplicidades algebraicas.
Esto permite clasificar la ecuacin en cada punto

(E)
Si en la forma cuadrtica
(2.1.2 .3)
x0 :
se tiene
que la ecuacin es de tipo elptico en
x0
m=n
y si
r=m o
r=0 se dice
(en este caso todos los trminos en
(2.1.2 .3) son del mismo signo)

(H)
Si
m=n , pero existen trminos en
1 r n1
cuando
(2.1.2 .3)
con diferente signo, es decir,
se dice, que la ecuacin es de tipo hiperblico en
r=1
r=n1
x 0 . En el caso
se dice que es de tipo hiperblico normal. En otro caso
se llama ultrahiperblica.
(P)
Si
m<n
la ecuacin se dice que es de tipo parablico en
x 0 . Si
m=n1
r=0 o r=n1 se dice que es de tipo parablico normal.
Observaciones:
En el caso (E) todos los cuadrados son del mismo signo, es decir, (La forma cuadrtica
estrictamente definida).
En el caso (H) hay
n cuadrados pero tienen diferente signo (La forma cuadrtica indefinida).
En el caso (P) hay menos de
n cuadrados (La forma cuadrtica es degenerada).
Ejemplo. En todos los puntos:

La ecuacin de Laplace es elptica.
La ecuacin de onda es hiperblica normal.
La ecuacin del calor es parablica normal.
En los ltimos dos casos las variables son todas las espaciales y el tiempo.

2.1.3. EDP con coeficientes constantes.
Sea
2
u
u
u
F x1 , , x n , u ,
,,
,,
, =0
x1
xn
xi x j
Se considera por ahora ecuaciones de 2 orden con variables independientes:
F x , y ,u ,
u u 2 u 2 u 2 u
,
,
,
,
=0
x y x2 x y y2
y de estas se tomarn solo ecuaciones cuasilineales:
a11 ( x , y ) u xx+ 2 a12 ( x , y ) uxy + a22 ( x , y ) u yy + F 1 ( x , y ,u , u x , u y ) =0
(2.1.3 .1)
Un caso particular de estas son las lineales:
a11 u xx +2 a12 u xy +a22 u yy +b1 u x + b2 u y + cu+ f =0

Donde si
f =0
se trata de una ecuacin homognea, si
f 0
es una ecuacin no
homognea.
Adems una ecuacin lineal con coeficientes constantes es aquella en que
aij ,bi , c
son
constantes.
Es posible pasar de las variables
(x , y ) a ( ,) mediante un cambio de variables
= ( x , y ) , = ( x , y )
El problema que no planteamos es: Cmo elegir
variables la ecuacin
de manera que en las nuevas
(2.1.3 .1) adquiera la forma ms simple posible?

2
u x =u x +u x ,u y =u y +u y , uxx =u x +2 u x x +u x +u xx +u xx , u xy=u x y +u ( x y + y x ) +u x y +
Sustituyendo estas expresiones en la ecuacin cuasilineal
(2.1.3 .1) se tiene:

a 11 u +2 a12 u + a22 u + F 1=0
donde:
a 11 =a11 2x +2 a12 x y + a22 2y a 12=a11 x x + a12 ( x y + y x )+ a22 y y a 22=a 11 2x +2 a12 x y +a22 2y
y la funcin
F 1 no depende de segundas derivadas.
Se nota que si la ecuacin inicial fuera lineal la transformada tambin resulta lineal.
Se toman ahora
como funcin de
sea igual a cero, eso quiere decir que
de manera que el coeficiente
a 11
= ( x , y ) debe ser solucin de la ecuacin parcial no
lineal de primer orden:

2
(2.1.3 .2)
a11 x +2 a12 x y +a22 y =0

Se probarn algunos resultados necesarios para continuar.
z= ( x , y )
1. Si
es solucin de la ecuacin
(2.1.3 .1) entonces la relacin ( x , y )=C
es una primera integral para la ecuacin diferencial ordinaria

2
(2.1.3 .3)
a11 d y 2 a12 d x d y +a22 d x =0

(Ecuacin de las curvas caractersticas).
2. Recprocamente, si
( x , y )=C
es una primera integral de la ecuacin ordinaria
(2.1.3 .3) , entonces la funcin
z=( x , y)
satisface la ecuacin
(2.1.3 .2) ,
entonces se tiene:
z= ( x , y )
es solucin de
(2.1.3 .2)
( x , y ) es primera integral de la ecuacin
(2.1.3 .3) .
Luego, las soluciones de la ecuacin parcial
( 2.1.3 .2 )
son constantes sobre las
caractersticas.
Demostracin
1.
Del hecho que
2
a11
z=( x , y)
es solucin de la ecuacin entonces
x
x
2 a12
+ a22=0
y
y
( )
( )

(x, y)
Para que
sea una primera integral de
obtenidad de la relacin implcita

Sea
( x , y )=C
(2.1.3 .3)
basta ver que si la funcin
(2.1.3 .3) .
satisface
y=f (x ,C) , entonces
dy x ( x , y )
=
dx y ( x , y )
y=f (x ,C )
Pero entonces:
a11
[(
x ( x , y )
x ( x , y )
dy 2
dy
2 a12 + a22= a11
2a 12
+ a22
dx
dx
y (x , y )
y ( x , y )
( )
=0
y=f (x ,C)
2.
Sea
ahora
(x, y)
una
primera
integral
de
(2.1.3 .3) .
Entonces
( x , y )=C y=f ( x ,C ) por lo tanto:
a11
x ( x , y )
(x , y)
dy 2
dy
2 a12 + a22= a11
+2 a12 x
+a 22
dx
dx
y (x , y )
y ( x , y )
( )
=0 a11 2x +2 a12 x y +a22 2y =0

y= f ( x, C )
Si se pone
a11 =0
= ( x , y )
y si
entonces se hace
(x, y)
donde
(x, y)
es una primera integral de
(2.1.3 .3) , entonces
es otra primera integral independiente y se pone
= ( x , y )
a22=0 .
La ecuacin de las caractersticas se descompone en dos ecuaciones ordinarias de 1er orden

2
dy a 12+ a12 a11 a22
=
dx
a 11
2
dy a 12 a12a11 a 22
=
dx
a11
El signo de la expresin bajo el radical determina el tipo de ecuacin en cada punto

de la regin de definicin de los coeficientes:
T ipo hiperblico si a212a11 a22 >0

Tipo elptico
si a212a11 a22 <0
Tipo parabico si a212a 11 a22=0
(x , y )

a 212a11 a 22=( a 12 a11 a22 ) ( x y y x )2
La relacin
que es posible obtener, nos dice que el
tipo de ecuacin no cambia ante un cambio de variables.

En el caso hiperblico por cada punto de hiperbolicidad de la regin pasan dos caractersticas
reales diferentes, por los puntos de elipticidad pasan dos caractersticas complejas diferentes y
por los puntos de parabolicidad una sola caracterstica real doble.
Reduccin a la forma cannica
a) En la regin de hiperbolicidad tomando dos primeras integrales
la ecuacin
(2.1.3 .3) y haciendo = ( x , y ) , = ( x , y )
(x, y)
(x , y)
de
se reduce a:
u= ( , , u ,u )
(2.1.3 . 4 )
donde
F 1
2 a 12
Haciendo
, =
= + , = , es decir, =
2
2
se obtiene:
1
1
1
u = ( u +u ) , u= ( u u ) , u= (u u )
2
2
4
y por lo tanto la ecuacin se puede expresar tambin en la forma:
u u = 1 , 1=
b) En la regin de parabolicidad se tiene una sola primera integral
hace el cambio
independiente con
En este caso
= ( x , y ) , =(x , y )
(x , y)
donde
( x , y)
es cualquier funcin
( x , y) .
a 11 =0 y adems como a212a11 a22=0 a 12=|a11||a22| y por lo tanto
a 12=a11 x x +a12 ( x y + y x ) +a22 y y =
( a11 x + a 22 y )( a11 x + a 22 y ) =0
2
ya que
0=a11 =a11 2x +2 a12 x y +a 22 2y =( a 11 x + a22 y )
Si se divide a cada lado por el coeficiente de
y entonces se
u , se obtiene la forma cannica

u = ( , , u , u , u ) , donde =
Si no aparece
F 1
a22
en la parte derecha entonces se tiene una ecuacin ordinaria con
como parmetro.
c) En la regin de elipticidad, sea
( x , y) una primera integral compleja de
2
dy a 12+ a12 a11 a22
=
dx
a 11
Entonces
(x , y)
sea una primera integral de la ecuacin conjugada
dy a 12 a12a11 a 22
=
dx
a11
2
se introducen las nuevas variables
=R , =I
(2.1.3 . 5)
= +i , = i
Entonces:
2
a11 x +2 a12 x y +a 22 y =( a11 x +2 a12 x y + a22 y ) ( a11 x +2 a12 x y +a 22 y ) +2i ( a11 x x +a 12 ( x y + y x ) +a22
es decir, en el cambio
(2.1.3 .5) se tiene:
a 11 =a22 , a 12=0
Entonces la ecuacin toma la forma:
u +u = ( , , u , u ,u ) , =
1
F
a 22
En fin se tienen tres modelos cannicos:
u xx u yy =
u xx +u yy =
u xx =
(hip) si a212a11 a22> 0

(elip) si a212a11 a22< 0
(parab ) si a212a 11 a22=0

Forma cannica de ecuaciones lineales de 2 orden en 2 variables con coeficientes
constantes.
a11 u xx +2 a12 u xy +a22 u yy b1 u x +b2 u y +cu+ f ( x , y )=0

Primero de acuerdo al signo del discriminante
a12a11 a22 se reduce a uno de los tipos:
En este caso las curvas caractersticas son rectas:
a12 + a212a 11 a22

a12 a212a11 a22
y=
x+ c1 , y=
x+ c 2
a11
a11
u +u + b 1 u + b 2 u + c u+ f ( , ) =0
u + b 1 u + b 2 u + c u+ f ( , )=0
u u + b 1 u + b2 u + c u+ f ( , ) =0
tipo elptico
u + b 1 u + b 2 u + c u+ f ( , )=0
tipo hiperblico
tipo parablico
y ahora se introduce una nueva funcin
en lugar de
u :
u=e + v
Entonces:
u =e + ( v + v )
u=e + ( v + v )
u=e + ( v + v + v + v )
u =e + ( v + 2 v + 2 v )
u =e + ( v +2 v + 2 v )
Sustituyendo en la ecuacin del tipo elptico queda:
v + v + ( b 1+2 ) v + ( b 2 +2 ) v + ( 2 + 2 + b 1 + b 2 + c ) v +f 1 =0.
Se seleccionan
de manera que los coeficientes de v
de la forma:
v + v +v + f 1=0
Actuando de manera anloga para los otros tipos resulta:
se anulen y queda

v + v + v+f 1 =0
v + v + f 1=0
v v +v+ f 1=0
v + b 2 v + f 1=0
tipo elptico
tipo hiperblico
(2.1.3 . 6)
tipo parablico
Observacin. En el caso de varias variables se tiene la ecuacin lineal de 2 orden con

coeficientes constantes:
n
aij u x x + b i u x + cu+f =0
i
i , j=1
i=1
primero con un cambio lineal de coordenadas se reduce a la forma cannica y despus se hace
{ ( ) }
n
u= exp
el cambio:
i x i v
i=1
y se seleccionan los
de manera conveniente
(2.1.3 .6) para el caso n=2 .
obteniendo una forma similar a
Clasificacin de las Ecuaciones de 2 orden con varias variables.

Consideremos la ecuacin lineal
n
aij u x x + b i u x + cu+f =0, ( aij =a ji ) ( Simetra )

i
i , j=1
i=1
Si introducimos las nuevas variables independientes:
k = k ( x 1 , , x n ) ,
Entonces:
n
u x = u ik , ik =
i
k=1
k
xi
u x x = u ik jl + u ( k ) x x
i
k , l=1
k l
k=1
Sustituyendo en la ecuacin inicial se tiene:

n
k ,l=1
akl u + b k u +cu +f =0
k l
k=1

c
Donde
son las mismas pero en las nuevas variables y:
a kl = aij ik jl
i , j=1
i=1
i , j=1
b k = bi ik + aij ( k )x x
i
Nota que si se tiene la forma cuadrtica:

n
aoij y i y j donde aijo=aij ( x oi , , x on ) y ( x oi , , x on )
i , j=1
entonces haciendo el cambio lineal de variables

n
y i= ik k ,
k=1
se obtiene la nueva expresin:

n
k ,l=1
akl k l donde a kl= aij ik jl .

o
i , j=1
Es decir, los coeficientes de las segundas derivadas se transforman como los coeficientes de
una forma cuadrtica bajo una transformacin lineal.
Como la matriz
(aij ) es simtrica, se sabe que se puede seleccionar el cambio de variables
de manera que la forma cuadrtica se reduzca a la forma diagonal:
|a iio|=1 0
(2.1.3 . 7)
o
ii
a =0 ( i j ) , i , j=1, , n
Adems la cantidad de elementos de la diagonal nulos, iguales a
o a
no vara
independientemente de la transformacin lineal que reduzca la forma cuadrtica a la forma
(2.1.3 .7) .

Definicin. La ecuacin original en el punto
o
a ii
coeficientes
(n1)
son distintos de
coeficientes
a oii
( x oi , , x on )
y del mismo signo; del tipo hiperblico normal si
son del mismo signo y el que falta es de signo opuesto; de tipo
a oii
ultrahiperblico si todos los coeficientes
si alguno de los coeficientes
o
a ii
0 , siendo
son distintos de
nm del signo opuesto, donde
mismo signo y
es de tipo elptico, si los
es igual a
m>0
0
de ellos del
nm> 0 , o de tipo parablico
(este ltimo tiene muchas subdivisiones:
elpticamente parablico, hiperblicamente parablico, etc.).

Se deben seleccionar las nuevas variables
( x oi , , x on )
k o
( x , , x on )= oik
xi i
n
a oik y i y k
cuadrtica
tales que en
ik ( x oi , , x on ) =
transformacin lineal asociada a

n
se cumpla que la
reduzca la forma
a la forma cannica, si se pone k = ik x i .

i=1
i ,k=1
( x oi , , x on )
Entonces en cada punto
se reduce la ecuacin a cada una de las formas
cannicas:
n
u x x +=0
i
i=1
tipo elptico
u x x = u x x +
1
i=2
n
ux x =
i
i=1
i=m+1
i i
ux x +
i
tipo hiperbliconormal o hiperblico

tipo ultrahiperblico(n1>m>1)
nm
u x x + =0
i =1
tipo parablico (m>0)
Se ver el problema de cuando la ecuacin puede ser reducida a una forma cannica en toda
una vecindad de un punto
( x 0i , , x 0n )
, mediante un nico cambio de variables, suponiendo
que en cada punto de una vecindad la ecuacin produzca el mismo tipo.

En primer lugar es necesario que las funciones
i ( x1 , , xn )
satisfagan las ecuaciones
diferenciales:

n
i , j=1
i , j=1
a kl = aij ik jl = a ij
que son
k l
=0
xi x j
n(n1)
. Pero
2
n(n1)
>n
2
(nmero de funciones
i ) para
n>3 , es decir,
hay ms ecuaciones que funciones a determinar y por esta razn puede no haber solucin para
n>3 , por lo que puede no existir el cambio de variables que haga cero los elementos no
diagonales.
Adems, para
n=3
los elementos no diagonales pueden hacerse iguales a cero pero
entonces quedan fijados los
n 3
Luego para
a ii
que pueden cambiar de regin muy arbitrariamente.
en general no se puede reducir la ecuacin a una forma cannica en una
vecindad de un punto con un nico cambio de variable aunque en toda la vecindad sea del
mismo tipo. En el caso
n=2 esto es posible, como ya se ha visto.
En el caso de coeficientes constantes se puede reducir mediante un cambio de variables a una

forma cannica en todo
y despus mediante el cambio:
{ ( ) }
n
u= exp
i x i v
i=1
se reduce a una forma muy simple pues se pueden generalmente eliminar los trminos en
primeras derivadas (salvo en el caso parablico).
2.1.4. Problema de Cauchy y superficies caractersticas.

A la vista de las consideraciones anteriores se vuelve al problema inicial de intentar entender la
diversidad de comportamiento de los ejemplos de los que se parti el estudio. Por claridad
considera slo el caso
n=2 .
Se tiene que la ecuacin que define las caractersticas asigna un cono de direcciones a cada
punto
x0 ,
C ( x 0 )= {( 1 , 2 ) :a11 ( x 0 ) 21 +2 a12 ( x 0 ) 1 2+ a22 ( x 0 ) 22=0 } ,
al cual se llamar cono caracterstico.

Si se toma una direccin C ( x 0)
y la caracterstica con tal direccin como normal, el
cambio de variables que se hizo antes resulta que:

La ecuacin no es de orden dos en la direccin
Como consecuencia:
Si se fijan datos sobre una caracterstica el problema de Cauchy resultante es
sobredeterminado.
Ejemplos.
1. La ecuacin
u xt =0 tiene como cono caracterstico a
C={( 1 , 2 ) :1 2=0 } .
Las direcciones caractersticas son
( 1,0 ) y ( 0,1 ) y las curvas caractersticas son
x= ,t= .
El Ejemplo (1) del Tema 2.1.1 tiene fijados los datos sobre la caracterstica
t=0
y es
t=0
y es
sobredeterminado.
2. La ecuacin
ut u xx =0 tiene como cono caracterstico a
C={( 1 , 2 ) :22=0 } .
( 0,1 ) y las curvas caractersticas son
t= .
En el Ejemplo (2) del Tema 2.1.1 se tiene fijos los datos sobre la caracterstica
sobredeterminado.
Se ver en el subtema correspondiente a la ecuacin del calor, que en este caso tiene sentido
considerar el problema de Cauchy con nico dato
u( x , 0) .

3. La ecuacin
u xx+u yy=0 tiene como cono caracterstico a
C={( 1 , 2 ) :21 +22 =0 } { 0 }

es decir, el cono es degenerado. No hay caractersticas reales. El ejemplo 3) del Tema 2.1.1
tiene fijados los datos sobre
t=0 y es sobredeterminado.
En este caso se necesitaran consideraciones de otro tipo, que se harn ms adelante

4. La ecuacin
utt u xx =0 tiene como cono caracterstico a
C={( 1 , 2 ) :2122=0 }
( 1,1 ) y (1,1) y las curvas caractersticas son
x+ t= , xt=
En este caso el problema 4 tiene fijos los datos sobre
t=0 , que no es caracterstica y el
problema tiene solucin nica.

Considera el problema de Cauchy con datos en la superficie
S= { ( x , y ) : g ( x , y ) =0 }
es decir
a11 ( x , y ) uxx +2 a12 ( x , y ) u xy +a 22 ( x , y ) u yy ++b 1 ( x , y ) u x + b2 ( x , y ) u y + c ( x , y ) u=f ( x , y )

u ( x , y )=u0 ( x , y ) , si ( x , y ) S
( P)
u v ( x , y ) =u1 ( x , y ) , si ( x , y ) S
donde
uv
significa la derivada de
en direccin
de la normal
S . Como resumen
de este subtema se tiene:
El comportamiento del problema de Cauchy
( P)
depende de si la curva
que se fijan los datos es solucin o no de
a11 p2 +2 a12 pq+ a22 q 2=0
sobre la

es decir, si
es caracterstica o no.
Si S es caracterstica la ecuacin no es genuinamente de orden dos en la direccin de su

normal y, en consecuencia, el problema
( P) es sobredeterminado.
En el caso en que no hay caractersticas reales, es decir, cuando la ecuacin es de tipo

elptico el problema
( P) es sobredeterminado, pero en este caso el comportamiento est
determinado por la propia ecuacin.

Su estudio se har ms adelante.
2.2. El Problema de Cauchy para la ecuacin de ondas en dimensiones

espaciales uno, dos y tres.
Nos ocupa ahora el problema de valores iniciales para la ecuacin de ondas. Ya se ha visto que
la condicin necesaria para que el problema de Cauchy no caracterstico este bien planteado,
es que se verifique la condicin de Hadamard. Tal condicin se verifique en particular para la
ecuacin de ondas en cualquier dimensin, como se puede comprobar de manera elemental.
Se demostrar que, en el caso particular de la ecuacin de ondas, el problema de Cauchy no
caracterstico est bien planteado. Es decir, en este caso particular, la condicin de Hadamard
resulta ser tambin suficiente.
Aunque queda fuera de los lmites de este texto, hay que decir que, en general para una
ecuacin con coeficientes constantes de segundo orden, la condicin de Hadamard es
necesaria y suficiente para que el problema no caracterstico de Cauchy est bien planteado.
El contenido de este tema se reduce a estudiar el caso ms clsico y tambin el ms concreto e
interesante de la ecuacin de ondas en una, dos y tres dimensiones espaciales
respectivamente. Precisamente, se plantea el problema de Cauchy
u tt ( x , t ) u ( x , t )=F ( x ,t ) , ( x ,t ) R N R
u ( x , 0 )=f ( x ) , x R N
ut ( x , 0 )=g ( x ) , x RN ,
donde
(2.2.1)
N=1, 2, 3.
La organizacin del tema 2.2 es la siguiente, en el subtema 2.2.1 se estudiar la frmula de

D'Alembert para la ecuacin de ondas homognea en una dimensin espacial.
Consecutivamente se estudia el mtodo de medias esfricas para resolver la ecuacin de
ondas en tres dimensiones espaciales, y el mtodo de descenso de Hadamard para resolverla
en dos dimensiones espaciales, en los subtemas 2.2.2 y 2.2.3, respectivamente. El tema 2.2.4
se dedica a resolver la ecuacin no homognea por la formula de Duhamel. El tema final

estudia resultados de unicidad mediante la integral de energa, la velocidad de propagacin y el
comportamiento que segn cada dimensin se observa en la ecuacin de ondas.
2.2.1. La ecuacin de onda en dimensin uno: La frmula de DAlembert.

Considera el problema
u tt u xx=0, ( x ,t ) R R
u ( x ,0 )=f ( x ) , x R
ut ( x ,0 )=g ( x ) , x R ,
(2.2.1.1)
donde se suponen los datos con regularidad suficiente para que podamos efectuar todos los
clculos. Al final se precisan las condiciones de regularidad que se requieren.
Observacin. Si se tiene la ecuacin de ondas con velocidad de propagacin
c , es decir,
utt c2 u xx =0 , haciendo un cambio de escala en la variable espacial se reduce a la ecuacin

y=x /c ).
(2.2.1.1). (Hgase
El mtodo que sigue es debido a DAlembert y puede resumirse en las siguientes etapas
1) Mediante un cambio de variables se obtienen todas las soluciones de la ecuacin.
2) Se determina una solucin que satisfaga los datos. Se comprueba que hay una nica
solucin.
La idea del cambio de variable a realizar viene sugerida por una sencilla observacin.
Si supones
u C ( R ) , se tiene
( t + x )( t x ) u
utt u xx =
la idea es considerar nuevas variables

=
+
x t x
t t x
(
(
(2.2.1.2)
x,t
de forma que se verifique
)
)
con lo que la ecuacin (2.2.1.2) se convierte en
(2.2.1.3)

utt u xx =ux t
(2.2.1.4)
Para conseguir (2.2.1.3) basta tomar el cambio variable
1
x = (x+ t)
2
1
t= ( xt )
2
(2.2.1.5)
o bien,
=x+t
{xt=xt
(2.2.1.6)
Se te deja comprobar que se obtiene (2.2.1.4) haciendo los cambios de haciendo los cambios
de variable anteriores
En resumen, si se parte de la ecuacin de onda
utt u xx =0 ,
en el cambio (2.2.1.6) se pasa a
u xt =0,
(2.2.1.7)
que tiene por soluciones aquellas funciones tales que
ut = ( t ) ,
o bien
t
u ( x , t )= ( s ) ds+ ( x ) .
Es decir, las soluciones de (2.2.1.7) son de la forma
u ( x , t )=w 1 ( x ) +w 2 ( t ) ,
con
w 1 y w 2 funciones arbitrarias. Deshaciendo el cambio de variables obtenemos
u ( x , t )=w 1 ( x+ t ) + w2 ( x t ) ,
(2.2.1.8)
(2.2.1.9)

soluciones de la ecuacin de ondas. La expresin (2.2.1.9) es una suma de ondas planas. De
w 1(x +t)
se dice que es una onda plana progresando a la izquierda con velocidad
mientras que
w 2(x t)
1 ,
es una onda plana progresando hacia la derecha, tambin con
1 . Con esta nomenclatura lo que se obtiene en (2.2.1.9) es la expresin de las
velocidad
soluciones de la ecuacin de ondas como suma de ondas planas.

Para determinar la solucin del problema (2.2.1.1) hemos de determinar
w1
w2
tales
que
u ( x , 0 ) =w 1 ( x )+ w2 ( x )=f (x)
u t ( x , 0 )=w'1 ( x ) w '2 ( x )=g( x )
(2.2.1.10)
o bien
w1 ( x ) +w 2 ( x )=f (x)
x
w1 ( x)w 2 ( x )= g ( s ) ds+c ,
(2.2.1.11)
es decir
[
]
1
w ( x ) = [ f ( x ) g ( s ) dsc ]
2
x
w 1 ( x )=
1
f ( x ) + g ( s ) ds+c
2
x
(2.2.1.12)
Sustituyendo en (2.2.1.9) obtenemos la frmula de DAlembert

x+t
u ( x , t )=
f ( x+t ) + f ( xt) 1
+ g (s) ds
2
2 xt
Como puede observarse la frmula (2.2.1.13) no depende de la primitiva de

por tanto,
(2.2.1.13)
que se tome,
w 1 y w 2 quedan determinadas de forma nica por los datos.
Como consecuencia de los clculos y consideraciones anteriores es posible formular el

siguiente resultado.

2.2.1.1 Teorema
f C 2 (R) y g C 1 (R) , entonces la nica solucin del problema (2.2.1.1) viene
Sean
expresada por la frmula de D'Alembert

x+t
u ( x , t )=
Adems
f ( x+t ) + f ( xt) 1
+ g (s) ds
2
2 xt
u C 2(R 2)
(2.2.1.14)
y depende continuamente de los datos iniciales con respecto a la
convergencia uniforme sobre compactos.

Demostracin.
Es clara la regularidad de
Que
u por las hiptesis sobre los datos y la formula (2.2.1.14).
u es solucin del problema (2.2.1.1) resulta del clculo que se ha hecho para obtenerla.
Puede comprobarse tambin derivando directamente y sustituyendo en la ecuacin. La unicidad

es consecuencia de estar determinadas
w 1 y w 2 de forma nica a partir de los datos.
Se establecer la dependencia continua respecto a los datos. Supongamos que se tienen datos
f , g tales que
f ( x )f ( x )=0, x [a , b]
g ( x )g ( x )=0, x [ a ,b ] ,
(2.2.1.15)
, x [a , b]
1+|ba|
|g ( x )g ( x )| , x [ a ,b ] ,
1+|ba|
(2.2.1.16)
|f ( x )f ( x )|
Consideremos las correspondientes
u y u dadas por la formula de D'Alembert se tiene

(2.2.1.17)
|u ( x , t )u ( x , t )|
f ( x +t ) +f ( xt )( f ( x+t ) + f ( xt ) ) 1 x+t
+ |g ( s )g ( s )|ds
2
2 xt

+
|ba|=
1+|ba| 1+|ba|
Que es lo que se quera.
Observacin. Resulta del teorema (2.2.1.1): La solucin no mejora la regularidad de los datos.
De otra parte, si se fija
(x 0 , y 0 ),
punto del espacio-tiempo, la frmula de D'Alembert
establece que el valor de la solucin en dicho punto,

los valores de los datos en el intervalo cerrado
u( x 0 ,t 0 ) , depende exclusivamente de
A ( x 0 , t 0 )=[x 0 |t 0|, x 0 +|t 0|] del eje
A ( x 0 ,t o ) se le llama dominio de dependencia del punto

el intervalo cerrado
I =[a , b]
del eje
t=0 . A
(x 0 , y 0 ) . Si ahora se considera
t=0 , los puntos del espacio-tiempo en los cuales el
valor de la solucin de la ecuacin de ondas depende del valor de los datos sobre
I , esta
dado por
B ( I )= {( x , t ) R2| x +t [ a ,b ] x t [a , b]}.
La regin
en
t> 0
B ( I ) es llamada dominio de influencia del intervalo

esta formada por las semirrectas
dominio de influencia respecto al eje
xt=b
I . La frontera de B ( I )
x+ t=a . Siendo simtrico el
t=0 , la frontera en t < 0 resulta ser
x+t =b . Es decir, la frontera la podemos escribir como
xt =a ,
x+|t|=a , x t b . Dicha
frontera est formada por rectas caractersticas, de acuerdo con lo estudiado en el tema 2.1.4.
La forma que tiene el dominio de influencia se traduce en que la velocidad de propagacin de
las ondas es finita, ms precisamente, en nuestro caso es uno.
Para entender mejor esta afirmacin supongamos que
I { x0 } , t=0
x0
. Entonces en
t 0 unidades de tiempo, la seal producida por los datos en
ha llegado a los puntos del intervalo de la recta
del punto
se reduce a un punto, es decir,
t=t 0
comn al dominio de influencia
x 0 , es decir, B ( x 0 ) {t=t 0 } . Pero segn la frontera obtenida para el dominio de
influencia, tal intervalo es hacia la izquierda
[x 0t 0 , x0 ]
y hacia la derecha
Entonces
[x 0 , x0 +t 0 ] .

espacio t 0
= =1.
tiempo t 0
velocidad media=
Estas observaciones sobre la frmula de D'Alembert concuerdan con la experiencia fsica en el

estudio de la luz y el sonido.
2.2.2. La ecuacin de onda en dimensin espacial tres: Mtodo de las

medias esfricas.
Se estudia el problema de Cauchy
u ttu=0, ( x , t ) R 3 R
u ( x , 0 )=f ( x ) , x R 3
ut ( x , 0 )=g ( x ) , x R3
donde a
f yg
(2.2.2.1
)
se les supone por el momento regularidad suficiente para que los clculos
puedan llevarse a cabo. Al final se precisarn las hiptesis de regularidad de los datos para que
la solucin sea clsica.
Seguramente la experiencia fsica de que las ondas se propagan esfricamente, sugiri a
Poisson el mtodo para resolver el problema (2.2.2.1) que se estudia detalladamente a
continuacin. La idea conductora del mtodo es buscar una expresin de la solucin que
permita usar la frmula de DAlembert unidimensional estudiada en el subtema previo.
Supongamos que
u(x ,t ) es una solucin de (2.2.2.1) y fijemos
Integrando la ecuacin en la bola centrada en
|x y|r
utt ( y , t) dy=
x R 3 y r >0 .
x y con radio r , es decir, en |x y| r ,
u ( y , t ) dy .
|x y|r
Utilizando el teorema de la divergencia obtenemos
(2.2.2.2
)

3
(
(
i=1
|x y|r
u ( y ,t ) dy=
u x ( x+ rv , t ) v i d ( rv )=
uv ( y , t ) d ( y )=
u x ( y ,t ) v i d ( y )=
i=1
|x y|=r
|v|=1
(2.2.2.3
)
|x y|=r
u x ( x+ rv ,t ) v i
r2
|v|=1 i=1
u r ( x +rv , t )d ,
d=r 2
|v|=1
ya que la medida sobre la esfera de radio
r , d ( y ) viene expresada por d ( y )=r 2 d ,
d es el elemento de rea en la esfera unidad y v
donde
es la normal exterior.
Por otro lado, el trmino de la izquierda en (2.2.2.2) se calcula pasando a coordenadas polares
r
utt ( y , t) dy= 2
0
|x y|r
(2.2.2.4
)
utt ( x + v ,t ) dd .
|v|=1
De (2.2.2.3) y (2.2.2.4) se obtiene que (2.2.2.2) puede escribirse

r
2
0
utt ( x + v ,t ) dd=r 2
|v|=1
|v|=1
Derivando en (2.2.2.5) respecto a
u tt ( x +rv , t ) d=
r2
(2.2.2.5
)
ur ( x +rv , t ) d
2r
|v|=1
resulta
u r ( x+ v , t ) d+ r 2
|v|=r
urr ( x+ rv ,t ) d ,
|v|=1
(2.2.2.6
)
de donde
(2.2.2.7
)
2 r
u ( x+rv , t ) d =
t 2 4 |v|=1
1
2 1
u
(
x+
rv
,t
)
d
+
r
u ( x+ rv ,t ) d
r 4 |v|=1
r 2 4 |v|=1

2 r
u ( x +rv , t ) d
r 2 4 |v|=1
Llamado
M u( x , r , t)=
1
u ( x +rv ,t ) d
4 |v|=1
media sobre la esfera de radio
(2.2.2.8
)
de
u , en el punto
y el instante
t , la expresin
(2.2.2.7) se traduce en
u
r M
u
r M
(2.2.2.9
)
que es la ecuacin de ondas en una dimensin. Es decir, fijado

por las medias esfricas,
r M u , de una solucin
ondas respecto a las variables
x R 3 el producto del radio
de (2.2.2.1), verifica la ecuacin de
t . Por consiguiente, podemos expresar r M u como
suma de ondas planas de acuerdo con lo estudiado en el tema anterior, es decir,

(2.2.2.10
)
r M u ( x , r , t ) =1 ( x , r +t ) +2 ( x , rt ) .
En particular, si tomamos lmites para
r 0
0=1 ( x , t )+ 2 ( x ,t ) ,
(2.2.2.11
)
o bien
1 ( x , t ) =2 ( x ,t ) .
(2.2.2.12
)
por lo que (2.2.2.10) se convierte en
r M u ( x , r , t ) =1 ( x , r +t ) 1 ( x ,tr ) .
(2.2.2.13
)

Derivando en (2.2.2.13) respecto a la variable
resulta
M u ( x ,r , t )+ r ( M u )r ( x , r , t ) = 1 ( x , r +t ) 1 ( x ,tr ) .
y tomando lmites de nuevo para
r 0
(2.2.2.14
)
en (2.2.2.14), se obtiene
lim M u ( x , r ,t )=2 1 ( x ,t ) ,
(2.2.2.15
)
r 0
Pero si se supone que
u es continua se tiene tambin
lim M u ( x , r ,t )=u (x , t)
r 0
luego (2.2.2.15) nos permite recuperar la solucin
en trminos de la onda plana
1 , es
decir,
u ( x , t )=2 '1 ( x , t ) ,
La idea que se sugiere ahora de forma natural es intentar determinar
(2.2.2.16
)
'1 (x , t) a partir de los
datos iniciales del problema (2.2.2.1). Pero de (2.2.2.13), se concluyen las dos identidades
siguientes
u
rM
'
'
r ( x , r ,t )=1 ( x , r +t )+1 ( x , tr )
u
rM
o bien,
(2.2.2.17
)

u
r M
u
r M
(2.2.2.18
)
Pero si ahora se toman lmites en (2.2.2.18) para
r
r
u ( x +rv , 0 ) d +
u1 ( x+rv , 0 ) d=
r 4 |v|=1
4 |v
|=1
2 '1 ( x , r )=
t 0 , resulta
(2.2.2.19
)
r
r
f ( x+ rv ) d +
g ( x +rv ) d .
r 4 |v|=1
4 |v
|=1
Como
'1 en funcin de los datos iniciales y (2.2.2.16) expresa
(2.2.2 .19) determina
en trminos de
u ( x , t )=
'
1 , podemos escribir
t
t
f ( x +tv ) d +
g ( x +tv ) d .
t 4 |v|=1
4 |v|=1
(2.2.2.20
)
A la vista de la anterior expresin es natural requerir que

quiere obtener
f C 3 (R3 )
g C 2(R 3)
si se
u C 2(R 3 R) , en este sentido podemos enunciar el resultado central de ese
tema.
Teorema 2.2.2.1
Sean
f C 3 (R3 )
g C 2(R 3) entonces la funcin
u(x ,t )
definida por (2.2.2.20) tiene
segundas derivadas continuas y es la solucin del problema de Cauchy (2.2.2.1).

Adems la solucin del problema (2.2.2.1) depende continuamente de los datos con respecto a
la convergencia uniforme sobre compactos de los datos y de sus primeras derivadas.
Denostacin.
Una vez hecha la construccin de
u( x ,t )
por la formula (2.2.2.20), slo queda comprobar
que, en efecto, es solucin del problema (2.2.2.1). En primer lugar se tiene que
los datos iniciales pues
satisface

lim u ( x ,t )=
t0
lim
t0
1
t
t
f ( x +tv ) d +
f ( x +tv ) , v d+
g ( x +tv ) d
4 |v|=1
4 |v|=1
4 |v
|=1
(2.2.2.21
)
f (x )
por la regularidad de
lim u t ( x , t ) =
t0
g . Y tambin
1
1
g ( x +tv ) d+ 4 f ( x +tv ) , v d +
4 |v|=1
|v|=1
lim
(2.2.2.22
)
t0
+lim t
t0
{ (
1 2
4 t2
f ( x +tv ) d +
|v|=1
1
4 t
)}
g ( x +tv ) d =
|v|=1
g (x)
por la continuidad de los datos iniciales y de sus derivadas parciales y porque
f x (x)
i
v i d)
|v|=1
3
1
lim
f ( x+ tv ) , v d= 1
4 i=1
t 0 4 |v|=1
ya que las componentes de la normal en la esfera son funciones impares y entonces su integral
se anula.
Para ver que es solucin basta notar que si
h C ( R )
y se define
v ( x , t )=t M h ( x , t ) ,
donde
M h ( x ,t )=
entonces,
1
h ( x +tv ) d
4 |v|=1
v ( x , t) es solucin de la ecuacin de ondas. Pero
(2.2.2.23)

2
v tt ( x , t )=2
M h ( x , t ) +t 2 M h ( x ,t ) .
t
t
Calcularemos ahora
h ( y ) dy=
(2.2.2.24)
para ello se observa que
1
h v ( y ) d ( y )=
4 t 2 |x y|=t
1

4 t 2 |x y|t
3
(2.2.2.25)
1
1
h ( y ) v i d ( y ) =
h ( x+ tv ) v i d=
2 x
4
|v|=1 i=1 x
4 t |x y|=t i=1
i
M h (x , t) ,
t
donde se ha aplicado el teorema de la divergencia y que
d ( y )=t 2 d .
Pero el primer trmino de (2.2.2.25) se calcula tambin pasando a coordenadas

polares
y resulta
t
1
1
h ( y ) dy=
h ( y ) d ( y ) .
2
4 t |x y| t
4 t 2 0 |x y|=
(2.2.2.26)
Por lo tanto, de (2.2.2.25) y de (2.2.2.26) se concluye
h ( y ) d ( y )=
|x y|=
t
2
1
M h( x , t ) =
2
t 4 t2 0
t
t
h ( y ) d ( y )+ 4 1 t 2 h ( y ) d ( y )
0 |x y|=t
|x y|t
t
2 t3 0
Entonces sustituyendo (2.2.2.25) y (2.2.2.27) en (2.2.2.24) se tiene
(2.2.2.27)

v tt = v ,
como se quera demostrar.
La conclusin de que
medias esfricas, como
es solucin de ecuacin de ondas es consecuencia de ser suma de
v .
La dependencia continua resulta como sigue. Supongamos datos
f , g y f , g , y sean u
u las respectivas soluciones. Supondremos que

g ( x ) =g ( x)
f ( x )= f (x)
x R N B ( 0, R ) .
y
a)
b) Para
en
T > 0 dado > 0
,| f ( x ) f ( x )|<
,| g ( x ) g ( x )|<
|f ( x ) f ( x )|< 3+T
3+ T
3+T
Entonces partir de (2.2.2.20), obtenemos
|u ( x , t )u ( x , t )| .
2.2.3. El problema de Cauchy en dimensin espacial dos: Mtodo de

descenso de Hadamard.
Una vez resuelto el problema de Cauchy para la ecuacin de ondas en dimensin espacial 3,
nos ocupamos en esta seccin de obtener formulas explicitas para la solucin del problema
u tt ( x 1 , x 2 , t ) u ( x 1 , x 2 , t )=0 ( x 1 , x 2 , t ) R 2 R
u ( x 1 , x 2 ,0 )=f ( x1 , x2 ) ( x 1 , x 2 ) R2
(2.2.3.1)
ut ( x 1 , x 2 , t ) =g ( x1 , x 2) ( x 1 , x 2 ) R .
La idea para obtener la solucin de (2.2.3.1) en funcin de los datos es sencilla y debida a J.
Hadamard. De forma precisa es la siguiente.
Se consideran los datos en (2.2.3.1) como funciones definidas en
R R , independientes de
x 3 , es decir,

~
f ( x 1 , x 2 , x 3 ) =f (x 1 , x 2 ) ,
~
g ( x 1 , x 2 , x 3 ) =g (x 1 , x 2)
(2.2.3.2)
y se calcula la solucin de la ecuacin de ondas en tres dimensiones espaciales con los datos
(2.2.3.2). Tal solucin viene dada por la expresin
v ( x , t )=
t
~f ( x +tv ) d + t
~g ( x+ tv)d ,
t 4 |v
4
|=1
|v|=1
La no dependencia de
~
f
~
g
de la variable
v x x =0
x 3 , en particular entonces
(2.2.3.3)
x 3 , motiva que
. Por tanto,
sea independiente de
es solucin de la ecuacin del
problema (2,2.3.1).
Con estas ideas, la solucin de (2.2.3.1) viene expresada por
u ( x 1 , x 2 , t )=
t
~
f ( x 1 +t v 1 , x2 +t v 2, x 3+t v 3 ) d +
t 4 |v| =1
2
(2.2.3.4)
t
~g( x 1+ t v 1 , x2 +t v 2, x3 +t v 3 )d ,
4 |v| =1
2
y vamos a expresar las medias esfricas tridimensionales en trminos bidimensionales. Para

ello observemos que, por ejemplo,
t
~
t
~
f ( x 1+t v 1 , x 2 +t v 2, x 3 +t v 3)d=
f ( y ) d ( y),
4 v + v +v =1
4 t |x y|=1
2
1
2
2
2
3
En consecuencia hemos de integrar sobre la esfera

2
2
2
2
( x 1 y 1 ) + ( x 2 y 2 ) + y 3=t .
Por tanto, escribiendo
y 3= t 2( x1 y 1) ( x 2 y 2 )
el element de rea es
(2.2.3.5)

d ( y )=
td y 1 d y 2
1 /2
(t 2( x 1 y 1 )2 ( x 2 y 2 )2 )
1 /2
|x y|=(t 2( x 1 y 1 )2 ( x 2 y 2 )2 )
Llamado
se tiene que (2.2.3.5) se transforma
td y 1 d y 2
t
~
2
f ( y ) d ( y )=
f ( y1 , y2 )
.
1/ 2
4 t |x y|=1
4 t |x y|=1
( t 2|x y|2 )
t
~f ( x 1+t v 1 , x 2 +t v 2, x 3 +t v 3)d= 4 tt ~f ( y ) d ( y),
4 v + v +v =1
|x y|=1
2
1
2
2
(2.2.3.6)
2
3
Con este planteamiento podemos formular el teorema de existencia y unicidad para dimensin
espacial dos que se obtiene gratuitamente del teorema (2.2.2.1).
Teorema 2.2.3.1 Sean
f C 3 ( R2 )
g C 2 ( R2 ) , entonces la solucin nica del problema
(2.2.3.1) viene dada por la expresin siguiente
u ( x 1 , x 2 , t )=
f ( y1 , y2 ) d y1 d y2 1
g ( y 1 , y 2 ) d y1 d y 2
1
+
,
1
1
t 2 |x y|=t
2 |x y|=t
2 2
2 2
2
2
(t |x y| )
(t |x y| )
(2.2.3.7)
Adems la solucin depende continuamente de los datos en el mismo sentido que en el

teorema (2.2.2.1).
El mtodo de Hadamard que hemos estudiado se conoce como mtodo de descenso, nombre
que resulta ahora transparente. Lo que quiere decir es que resolviendo la ecuacin en
dimensin 3, se puede "descender" a dimensin dos por simple reinterpretacin de las formulas
explicitas. Este mtodo se aplica en todas las dimensiones pares. De hecho, se resuelve el
problema de Cauchy en las dimensiones impares y a partir de dichas soluciones se obtiene la
solucin en dimensiones pares por el mtodo de Hadamard. Las dems propiedades que
pueden concluirse de (2.2.3.7) se estudian en la seccin 2.2.5.
2.2.4. La ecuacin de onda no homognea.

Se considera el problema
u tt ( x , t ) u ( x , t )= ( x ,t ) ( x , t ) R N R
N
u ( x ,0 )=0, x R
ut ( x , 0 ) =0, x R N ,
(2.2.4.1)

donde
N=1, 2 o 3 .
C ( R R) y
Es evidente que si se resuelve el problema (4.4.1), con los resultados de las secciones
anteriores y la linealidad de la ecuacin, se habr resuelto el problema general
u tt ( x , t ) u ( x , t )= ( x ,t ) ( x , t ) R N R
u ( x , 0 ) =f ( x ) , x R N
u t ( x , 0 ) =g ( x), x R N ,
(2.2.4.2)
La idea de como obtener la solucin de (4.4.1) es sugerida por el mtodo de variacin de las
constantes de las ecuaciones diferenciales ordinarias lineales, que se ve complicado aqu por el
hecho de que el espacio de soluciones de la ecuacin homognea no es de dimensin finita.
Desde un punto de vista fsico se puede obtener el mtodo por la siguiente idea: Puesto que el
impulso, es decir, la fuerza por unidad de tiempo, es igual a la masa por la velocidad, o cantidad
de movimiento, entonces la solucin del problema (2.2.4.1) parece que debe poder expresarse
como una "suma" de soluciones de los problemas.
u tt ( x , t , s )u ( x ,t , s )=0
u ( x , s , s )=0
(
u t x , s , s )= ( x , s ),
(2.2.4.3)
Esta estrategia es la seguida por Duhamel y la recogemos en el siguiente resultado.

2
C (R R) , entonces la solucin de (2.2.4.1) es
Teorema 2.2.4.1Sea
t
u ( x , t )= v ( x , t , s ) ds
(2.2.4.4)
Demostracin. Se tiene que
u ( x , 0 )=0 y
ut ( x ,t )=v t ( x , t , t )+ v t ( x , t , s ) ds= vt ( x , t , s ) ds
0
por ser solucin de (2.2.4.3), entonces tambin se tiene que
derivando respecto a
(2.2.4.5)
ut ( x ,0 )=0 . Por otro lado,
en (2.2.4.5) resulta
utt ( x , t )=v t ( x , t , t ) + v tt ( x ,t , s ) ds
(2.2.4.6)

t
( x ,t ) + v ( x ,t , s ) ds= ( x , t ) +
0
v ( x ,t , s ) ds =
( x ,t ) + u ( x , t ) ,
es decir,
u es solucin
Como tenemos frmulas precisas para los problemas (2.2.4.3) en dimensiones
N=1, 2
3 , podemos obtener explcitamente la solucin de (2.2.4.1). Haremos una primera

observacin que implicara los clculos posteriores. Como la ecuacin de ondas es invariante
por traslaciones, si se define
U (x ,t , s)=v ( x ,t + s , s) , entonces se verifica
U tt ( x , t , s )U ( x ,t , s )=0
U ( x , 0, s )=0
U t ( x , 0, s ) = ( x , s ) .
(2.2.4.7)
Por lo tanto, en virtud de (2.2.1.14), (2.2.3.7) y (2.2.2.20), respectivamente, se tiene
x+t
1
( y , s ) dy , si N =1
2 xt
( y , s ) dy
1
si N =1
2 |x y| t t 2| x y|2
1
( x , s ) d ( y ) , si N =3 .
4 t |x y|=t
(2.2.4.8)
Segn el teorema (2.2.4.1) ha de ser

t
u ( x , t )= v ( x , t , s) ds U ( x , ts , s ) ds ,
0
y entonces la frmula para la solucin de (2.2.4.1) de acuerdo con la dimensin es

t x+(t s)
1
( y , s ) dy , si N =1
2 0 x(t s)
t
( y , s ) dy
1
si N =1
2 0 |x y|(ts ) ( ts)2| x y|2
(2.2.4.9)
1
1
( x , s ) d ( y ) ds si N=3.
4 t 0 ts |x y
|= ( t s)
2.2.5. Energa y unicidad de solucin del problema de Cauchy.

Se considera el problema
u tt ( x , t ) u ( x , t )=0 ( x , t ) R N R
N
u ( x ,0 )=f ( x ) , x R
N
ut ( x , 0 )=g ( x ) , x R , N =1,2, 3
y supongamos que
(2.2.5.1)
verifican las hiptesis de regularidad de los teoremas de
existencia probados en las secciones anteriores, y que tienen soporte compacto, es decir, son
cero fuera de una bola
B (0, R) .
De acuerdo con las frmulas explcitas obtenidas para la solucin

soporte de
u satisface para cada t
u(x ,t )
de (2.2.5.1) el
fijo
sop u ( x , t ) B ( 0, R+|t |) .
Si se multiplica la ecuacin por
ut
se tiene
N
2
1
1
0=ut ( utt ( x , t )u ( x ,t ) ) = ( U t )2t + |u xi|t ( u xi u t ) x =
2
2 i=1
i=1
i
(2.2.5.2)
1 2
2
u t +| x u| } {( u xi ut )i=1, ,N } ,
{
2
donde
denota el gradiente respecto a las variables espaciales. Integrando
(2.2.5.2) sobre una bola
B (0 , ) R2
con
> R+ t 0
para
t 0 fijado

0=
2
1
2
{ut ( x ,t 0 ) +| x u ( x ,t 0 )| }dx
2 B(0 , ) t
(2.2.5.3)
{( u xi ( x ,t 0 ) ut ( x ,t 0 ) )i=1, , N } dx ,
B (0 , )
llamando
S (0, )
a la frontera de la bola
B (0, )
a su normal exterior, por el
teorema de la divergencia obtenemos
{(u xi ( x , t0 ) ut ( x , t0 ) )i=1, , N } dx=
B (0 , )
(2.2.5.4)
(u xi ( x , t0 ) ut ( x , t0 ) )i=1,, N , v d 0 para ,
S (0 , )
en efecto, la integral es cero si
> R+ t 0 . Por tanto, a partir de (4.5.3) y (4.5.4)
se concluye
0=
2
d 1
{u 2t ( x , t 0 ) +| x u ( x , t 0 )| }dx .
dt 2 B (0 , )
(2.2.5.3)
La expresin
E(t)=
2
1
{u2t ( x , t 0 ) +| x u ( x , t 0 )| }dx .
2 B (0 , )
representa la energa, de forma que (4.5.5) se traduce diciendo que la energa es

constante en el tiempo, o bien que
E(t) E (0)=
2
1
{g( x )+| x f ( x)| }dx .
2 B (0 , )
(2.2.5.3)
Es evidente que el resultado que acabamos de obtener sobre la conservacin de la

energa, implica la unicidad de solucin del problema de Cauchy
v tt v=0 ( x ,t ) R N R
v ( x , 0 )=f ( x ) , x R N
v t =g ( x ) , x R N , N=1, 2,3
(2.2.5.1)

y segn (2.2.5.6)
E(t)=
2
2
1
{|u t ( x , 0 )| +| x v ( x ,0 )| }dx
2 B (0 , )
de donde,
v t (x , t)=0
x v ( x , t )=0 , es decir,
v es constante y como
v ( x , 0)=0 ,
v ( x , t) 0 , o bien,
u1 ( x ,t)=u2 (x ,t).
Observamos que el argumento anterior sigue siendo vlido en cualquier dimensin

y para cualquier solucin con energa finita.
2.2.6. Propiedades de la solucin de la ecuacin de onda de acuerdo a la

dimensin espacial.
Por el mismo tipo de tcnica que hemos usado para establecer la unicidad, vamos a analizar lo
relativo a la velocidad de propagacin de las ondas. Este estudio nos dar las bases para
estudiar tambin el comportamiento de la propagacin de las ondas segn la dimensin.
Teorema.2.2.6.1 Sea
u C 2(R
[0,T ])
y tal que
RN [0, T ] .Supongamos que u( x , 0)=ut ( x , 0)=0
utt ( x , t ) u( x , t)=0 sobre la regin

sobre
B={ ( x , 0 )||xx 0| t 0 }, para algun t 0 ( 0, t ) .

Entonces
u 0
sobre la regin canonca
C={ ( x ,t )|0 t t 1 ,|xx 0|<t 0t }.

Demostracin. Para
0<t 1< t 0
se considera el tronco de cono como
C={ ( x ,t )|0 t t 1 ,|xx 0|<t 0t }
Se integra la identidad
0=ut (u tt ( x ,t ) u( x ,t)) sobre Ct 1 , es decir

0= ut ( uutt ) dxdt=
C t1
C t1
(2.2.6.1)
( uxi u t ) x t 12 {|ut|2 +| x u|2 } dxdt

i=1
i
y aplicando el teorema de Gauss se tiene
0=
S
1
2
2
1
2
2
u t| +| x u| } v 0+ uxi ut v i d ( y ) {|ut| +| x u| } dx
{
|
2
i=1
B 2
B t1
siendo
el circulo superior del tronco de cono, S es la superficie lateral,
elemento de rea en
(2.2.6.2)
t1
v =(v 0 , v 1 , .. , v N )
d ( y )
es la normal unitaria exterior a
es el
S . Se
observa que la base del tronco de cono no aparece en (2.2.5.9) por suponerse los datos nulos
en
t=0.
Se calcula la integral sobre la superficie lateral

Que
2
v =( , v 1 .. , v N )
2
integral sobre
S . En primer trmino se tiene
y entonces
v 2i =1v 20= 12 ;
i=1
en segundo lugar si
en (2.2.6.2) se tiene
( x i v 0ut v i)2
N
N
1
2
2
ut v 0 v i + d ( y ) 0
v 0 i=1
i=1
I s=
S
I s designa la
(2.2.6.3)
1
2
2
1
ut| +| x u| ) v0 + u xi u t v i d ( y ) =
(
|
2
2 S
i =1
como resulta por ser suma de cuadrados. De esta forma (2.2.6.2) y (2.2.6.3)
permiten concluir

|ut|
2
( 2+| x u| ) dx
(2.2.6.4)
1
0=
2B
t1
La regularidad de
cualquier
x Bt
y (2.2.6.4) implican que
y cualquier
y como en la base de
0<t 1< T . Por tanto

C , es decir, sobre
ut ( x , t 1 )=0
u
x u( x , t 1)=0
para
es constante en la regin cnica
t=0
x B , u( x , 0) 0 , resulta
u ( x , t ) 0 para ( x ,t ) C .
2.2.6.1 Definicin
i) Dada una bola
B={ x R N||xx 0|r }
conjunto de puntos
( x t ) RN R para los que se determina de manera nica la solucin del
el dominio de determinacin
problema de Cauchy para la ecuacin de ondas con datos en
ii) Dada una bola

de puntos en
en el plano
R R
t=0
C( x 0 , r )
es el
B .
llamamos dominio de influencia de
al conjunto
en los que el valor de la solucin del problema de Cauchy para la
ecuacin de ondas depende de los datos en
B . Lo notaremos por B (B) .
2.2.6.2 Definicin.
Dado un punto
puntos
( x 0 ,t 0 ) R N R
( x , 0 ) R N {0 }
ondas en el punto
el dominio de dependencia
A N (x 0 ,t 0 0) es el conjunto de
tales que la solucin del problema de Cauchy para la ecuacin de
(x 0 , t 0) depende de los valores de los datos en
A N ( x 0 ,t 0 )
El teorema anterior junto con las frmulas (2.2.1.14), (2.2.2.20) y (2.2.3.7), permiten determinar
C( x 0 , r ) como el doble cono
C ( x 0 ,r )= {( x , t ) R N R||xx 0|=r t}N =1,2,3 ,

A las superficies cannicas
S ( x o , r ) ={ ( x ,t )||xx 0|=r t},

se les llama conos caractersticos por coincidir con las caractersticas de la ecuacin
de ondas estudiadas en la tema 2.2.3. En otras palabras, los conos caractersticos son
las fronteras de los dominios de determinacin.
De esta forma dada una bola
el conjunto de
en el plano
t=0, el dominio de anuencia B (B)
es
N
R R tal que los conos caractersticos con vrtice en B ( B ) cortan a
B .
El mismo calculo hecho para la ecuacin de ondas en una dimensin en la tema
2.2.1, demuestra en general que la
veloci dad de propagacin es 1.
De nuevo consideramos las frmulas (2.2.1.14), (2.2.2.20) y (2.2.3.7). Se aprecia una diferencia
sustancial entre lo que ocurre en dimensiones
1 y
N= 1 y
N=2
el dominio de dependencia de un punto
efecto, en el caso de dimensiones
y lo que ocurre en dimensin 3. En
(x 0 , t 0) es
A N ( x 0 , t 0 )= {( x , 0 )||xx 0|t 0}N =1,2,3
Mientras que en dimensin
N=3
el dominio de dependencia es
A 3 ( x 0 , t 0 )= {( x , 0 )||xx 0|t 0}.

En dimensin espacial tres resulta que el dominio de dependencia es la interseccin del
cono caracterstico con el plano
t=0 , es decir, si tomamos el cono caracterstico
x 0 ,t 0
con vrtice en ( x 0 , t 0) , se tiene
S3
A 3 ( x 0 , t 0 )=S3 ( x 0 ,|t 0|) { ( x , 0 )| x R3 }.
(2.2.6.5)

Por el contrario en dimensiones
el dominio de dependencia es toda la bola y la
t=0
interseccin del cono caracterstico con
A 2 (x 0 ,t 0 ) en
A 1 ( x 0 ,t 0)
es slo la frontera de
RN y R , respectivamente.
La propiedad que expresa (2.2.5.12) se refiere diciendo que la ecuacin de ondas en dimensin
satisface el principio fuerte de Huygens. As pues la ecuacin de ondas en dimensiones
1 y 2 no satisface el principio fuerte de Huygens.

Analizaremos que significa el principio fuerte de Huygens. Supongamos los datos en el
problema de Cauchy (2.2.6.5) soportados en una bola
BR
En el caso de no verificarse el principio fuerte de Huygens, el dominio de influencia de una bola
es el tronco de cono con base
pasando por la frontera de

un tiempo
t0
y superficie lateral generada por las caractersticas
B . Esto quiere decir que si tomamos un punto
en el cual el dominio de determinacin
C( x 0 , t 0 )
corta a
x0 R N
B
Pero entonces es claro que a partir de ese instante continua verificndose que
corta a
si
t> t 0 . En este sentido una propagacin de ondas en dimensiones
en
existe
t=0 .
C( x 0 , t 0 )
1 y 2
con seal inicial de soporte compacto, tiene la propiedad que cuando la perturbacin alcanza un
punto permanece perturbndole para todo tiempo posterior. Pinsese en las ondas de agua de
un estanque como ejemplo. Si el agua vuelve al reposo es por rozamiento y otras
perturbaciones externas.
Si se verifica el principio fuerte de Huygens, es decir si estamos en
punto
en
x0 R3
(x 0 , t)
entonces los tiempos
interseca
R3 R , y se toma un
que verifican que el cono caracterstico con vrtice
es un intervalo acotado.
Esto quiere decir que el dominio de influencia de una bola
es el tronco de cono con base
B , menos un cono interior.

Es decir, en tres dimensiones espaciales una perturbacin de soporte compacto, llega a cada
punto y despus de un tiempo desaparece. El principio de Huygens fuerte permite que puedan
emitirse sonidos y que posteriormente se vuelva al silencio.
Puede imaginar el lector un espacio fsico sin principio de Huygens?, Cmo podran
comunicarse los individuos en un espacio fsico sin principio de Huygens?

2.3. El problema de Cauchy para la ecuacin de calor.
La ecuacin de calor,
ut u=F ( x ,t )
( 2.3 .0.1 )
es el modelo ms sencillo de ecuacin de difusin y fue obtenida en el subtema

detalle. Se ha visto en el tema
con los datos en
2.1.1
1.2.1
con
cmo el problema de Cauchy para la ecuacin de calor
t=0 es un problema caracterstico.
A diferencia de la ecuacin de ondas que permanece inalterable al cambiar
por
t , en
la ecuacin del calor aparece un signo menos delante de la derivada con respecto al tiempo.
Esto dice que la ecuacin del calor describe fenmenos irreversibles. Por otra parte, como se
ver en la Unidad 3, al efectuar este cambio de variables en la ecuacin del calor el decaimiento
exponencial de la solucin con respecto al tiempo se convierte en crecimiento exponencial.
En este tema se proyecta estudiar el problema de Cauchy en
RN
comprobando que es
compatible, si bien es necesaria una condicin unilateral para obtener solucin nica, por ser
caracterstico.
Al fin de poder demostrar resultados de unicidad se establecer el principio del mximo para
la ecuacin del calor.
Se empezar este tema con el estudio de algunos resultados bsicos relativos a la
transformada de Fourier de funciones integrables definidas en todo el espacio. Estos resultados
sern indispensables para obtener la solucin fundamental de la ecuacin del calor que es el
objeto del segundo subtema.
La obtencin de la solucin fundamental es el objeto del subtema
2.3 .2 . Con ella se
obtendr una solucin del problema de Cauchy homogneo. Se estudia tambin un

contraejemplo de Tychonoff que pone de manifiesto la no unicidad. Al final del segundo subtema
se expondr sin demostracin el resultado general de unicidad de Widder.
El subtema
2.3 .3
se dedica a estudiar el principio del mximo en dominios acotados y a los
teoremas de unicidad ms simples.

La solucin del problema no homogneo ser el objeto del subtema
2.3 .5 . El subtema
2.3 .5 se dedica a un anlisis comparativo de las propiedades de la solucin del problema de

Cauchy para la ecuacin de ondas y la ecuacin del calor.
2.3.1. Ncleo de Gauss. Solucin del problema de Cauchy.

Se tratar de obtener las soluciones de la ecuacin del calor que son singulares en el origen.
Para empezar se presentan algunos resultados de la teora de la transformada de Fourier para
RN
funciones integrables en
ya que es necesaria para poder dar la estructura del ncleo de
Gauss. Se comienza con la definicin siguiente:

2.3.1.1. Definicin. [Transformada de Fourier]
Sea
una funcin integrable en
R , es decir, tal que
|f (t)|dt<
Se define la transformada de Fourier de
por
f^ ( )= e2 it f ( t ) dt
( 2.3 .1.1 )
En calidad de ejemplo y, como se ver ms adelante, por su importancia para la obtencin de la

transformada inversa de Fourier en la clase de las funciones temperadas, calcularemos la
transformada de Fourier de la funcin gaussiana, es decir, la transformada de Fourier de
2
g ( x ) =ea|x| ,a> 0.
(2.3 .1.1) para la funcin
Escribiendo la frmula
g se tiene
^g ( )= e2 it ea|x| dt
( 2.3 .1.2 )
poniendo
2
a t +2 it= a t+i
+ 2
a
a
2
resulta
^g ( )=e
(
e
a t +i
) dt
( 2.3 .1.3 )
Calculando la integral que se tiene en

para cada
R+ i0
va de
R+i
R>0
(2.3 .1.3)
consideramos la trayectoria
a
definida por el segmento del eje real que
R+i0 , el segmento vertical que une el punto
a , el segmento horizontal uniendo el punto
usando variable compleja. Fijado
R+i
R+i0
con el punto
y el punto
R+ i

y por ltimo, el segmento vertical uniendo el punto
es un rectngulo que se denotar
R+ i
con
R+i0 . El interior de
R , donde la funcin de variable compleja
h ( z )=ez , es analtica. El teorema de Cauchy implica entonces que

2
ez dz=0
Como adems
lim
1
2
( a )
e( a R+ is ) ds = 0
resulta que
(
e
a t +i
) dt = e
a t
dt = e
dy
1
=
a a
( 2.3 .1.4 )
Dado que
e y dy=
sustituyendo en
^g ( )=
1
e
a
(2.3 .1.3) obtenemos
( 2.3 .1.5 )
que muestra como la transformada de Fourier de una gaussiana es otra gaussiana.

Dado el xito obtenido con la gaussiana, se destacan algunas de sus propiedades;
fundamentalmente en las dos siguientes:
1) Toda gaussiana,
g C (R) .
2) Dada una gaussiana
xm
x R
g y dados enteros no negativos n y m se verifica
dn g
(x ) <c (m ,n)
d xn
donde
( 2.3 .1.6 )
c (m , n) es una constante dependiendo de n y m .
Ambas propiedades se obtienen por clculo directo. Es posible agrupar en una familia a todas
las funciones verificando las propiedades 1) y 2) de la gaussiana. Tal clase de funciones se

S ( R)
suele designar como por
en honor a Laurent Schwartz, quien por primera vez la
introdujo, llamndola clase de las funciones temperadas. El nombre es bastante afortunado
S ( R)
pues quiere decir que est en
si ella y cualquier derivada suya tiende a cero en el
infinito ms rpidamente que cualquier polinomio. Formalmente la clase
S ( R)
se da de la
siguiente forma:
S ( R )= f C ( R ) : x R x
De la propia definicin de
d f
( x ) < cm ,n < , n ,m N
n
dx
se sigue que:
a) Si
f , g S y , R , entonces f + g S .
b) Si
f , g S , entonces fg S .
Adems si
( 2.3 .1.7 )
es una funcin temperada, tomando en
(2.3 .1.6)
n=0
m=2
se
tiene que
|(1+|x| ) f ( x )| M
2
( 2.3 .1.8 )
por lo tanto,
|f (x)|dx M 1+dxx 2 <
es decir,
( 2.3 .1.9 )
es integrable.
La observacin anterior implica, en particular, que la transformada de Fourier de
f S (R)
sta bien definida pues
f^ ( )= e2 it f (t)dt ,
( 2.3 .1.10 )
y la integral es finita. De
(2.3 .1.10) y (2.3 .1.9) se concluye
|f^ ()| |f ( t )|dt <
( 2.3 .1.11 )
es que la transformada de Fourier de una funcin integrable es acotada y entonces, en
particular, esto es cierto si
f S (R) .

Las propiedades ms elementales de la transformada de Fourier de funciones temperadas
ponen de manifiesto cmo sern las aplicaciones de ella a las ecuaciones en derivadas
parciales. El siguiente teorema da algunas de estas propiedades.
2.3.1.2. Teorema.
Sea
1)
f S ( R ) , entonces
f^ C (R) y adems
k
d f^
k
( )= g^ ( ) , siendo g ( x ) =(2 ix ) f (x )
k
d
( 2.3 .1.12 )
k
d f^
( x ) S ( R ) , adems
k
dx
2)
^
dk f
k
()= ( 2 i ) f^ ()
k
dx
3) Si se supone tambin que
( 2.3 .1.13 )
g es una funcin integrable y se define
h ( x )= f ( t ) g ( xt ) dt f g(x)
( 2.3 .1.14 )
integral de convolucin de
g , se tiene que h es integrable y que
h^ ( )= ^f ( ) ^g ( )
( 2.3 .1.15 )
f^ S ( R) .
4)
La demostracin de este teorema puede hacerse de manera directa realizando la transformada

de Fourier, integrando por partes y aplicando el teorema de Fubini.
Se puede resumir el teorema anterior como sigue:

a) La transformada de Fourier aplica
en
S , es decir, ^ : S S .
b) La transformada de Fourier transforma derivacin en multiplicacin por monomios como se

indica en
(2.3 .1.13) .
c) La derivacin de la transformada por Fourier es la transformada de Fourier del producto de
un monomio por la funcin, como precisa la frmula
(2.3 .1.12) .

d) El producto de convolucin es transformado en el producto de las transformadas de Fourier,
como expresa
(2.3 .1.15) .
Observaciones.
1) La transformada de Fourier se extiende a
RN
por la frmula
f^ ( )= f ( t ) e2 i t , dt
R
donde
, es el producto escalar en RN .
2) La transformacin de Fourier permite que un problema diferencial se convierta en un

problema algebraico, por ejemplo, si se quiere resolver el problema
u=f , en R2
(2.3 .1.17)
se transforma en
2
4 2|| u^ ( )= f^ ( )
Para que la estrategia expuesta culmine con xito el clculo de una solucin de
(2.3 .1.17) ,
es necesario saber si es posible recuperar una funcin a partir de su transformada de Fourier,

es decir, necesitamos saber invertir la transformada de Fourier. A esta importante cuestin
dedicamos lo siguiente parte del contenido.
El apartado 4) del teorema
2.3 .1.2 tiene como caso particular que
lim |f^ ( )|=0
(2.3 .1.18)
||
que puede verse como una extensin a la transformada de Fourier del teorema de RiemannLebesgue demostrado para series de Fourier, es decir, tenemos un resultado de localizacin.
Realmente el resultado, que es conocido tambin como teorema de Riemann-Lebesgue, es
para funciones integrables y puede obtenerse de (2.3.1.18) por un argumento de densidad de
en las funciones integrables.
2.3.1.3 Teorema [Riemann-Lebesgue]
Sea f
funcin integrable en
R , es decir,
|f|dx<
, entonces
lim |f^ ( )|=0
||
(2.3 .1.19)

Demostracin.
Para
funcin integrable y
g S
> 0 existe
tal que
|f g|dx <
Entonces
|^f ()||^f ( ) g^ ( )|+|g^ ( )| |f g|dx +|g^ ( )|,
que teniendo en cuenta
(2.3 .1.18) , implica que para todo > 0 .
lim |f^ ( )|
||
Lo que prueba el resultado.
A continuacin se presenta un resultado importante.

2.3.1.4 Lema
Sean
f , g S ( R ) . Entonces
f^ ( y ) g ( y ) dy= f ( y ) g^ ( y ) dy
Demostracin.
Basta utilizar el teorema de Fubini,
2 it
t
g ()dt
2 it
e f () d
f ( )
(2.3 .1.20)

que prueba el resultado.
Este resultado y el hecho que la transformada de Fourier de una gaussiana es otra gaussiana
sern los ingredientes fundamentales de la prueba del teorema de inversin.
Si
f S
se tiene que
f^ S , entonces tiene sentido la siguiente definicin.
2.3.1.5 Definicin [Transformada inversa de Fourier]
f^
Sea
transformada de Fourier de
f S
se define:
( ^f ) ( t )= e 2 it f^ ( ) d
La conjetura es que
( ^f ) =f
. El resultado siguiente prueba esta conjetura.
2.3.1.6 Teorema [Inversin de la transformada de Fourier]

Si
f S ( R) , entonces ( ^f ) =f .
La demostracin del teorema puede hallarse en cualquier libro de teora de transformaciones

integrales, el resultado importante de esto es que es posible regresar a la funcin original dada
la transformada de Fourier, por lo que dadas las propiedades de continuidad de la transformada
es posible resolver una ecuacin diferencial respecto de su transformada y luego aplicar la
transformada de Fourier inversa para obtener la funcin que es la solucin buscada.
El teorema
2.3 .1.6
tiene una consecuencia interesante que se presenta en el siguiente
teorema.
2.3.1.7 Teorema [Identidad de Plancherel]
Si i
f S
se verifica:
f 2=f^2
Demostracin
Sea
x
g( x)=f ) y, por tanto,
demostradas en el teorema
^g ( )= ^f ( ) . Las propiedades de la transformada de Fourier
2.3 .1.2 permiten escribir la siguiente cadena de identidades

2
f 2= f ( x ) f ( x ) dx=fg ( 0 )=
(^
fg ) ( ) d= ^f ( ) ^g ( ) d=
|f^ ( )| d=f^ 2
Observacin.
La densidad de
obre
en
y el teorema anterior, permite definir la transformada de Fourier
L2 . En efecto, sea f L2
y supongamos
{ gn }n N S
tal que
lim gn f 2=0
Se define:
f^ ( )=lim ^gn ( ) .
n
De esta manera la transformada de Fourier es inversible en

una isometra en
L2
L2 verificndose adems que es
pues e tiene la extensin de la identidad de Plancherel a
L2 , es
decir,
f 2=f^2 , f L2
Continuando con el Ncleo de Gauss, el trabajo de realizar la transformada de Fourier permitir
resolver las dimensiones para las cuales no es posible aplicar el mtodo de obtener el ncleo,
esto se explica adelante.
Se empieza por el caso dimensional espacial uno que es ms sencillo de describir y en el que
usaremos un argumento de homogeneidad fuerte al cambio de escala, que reduce el
problema a una ecuacin ordinaria.
El uso de la transformacin de Fourier permitir obtener la solucin fundamental en
dimensiones mayores.
A) En el caso de dimensin
N=1 , hay un camino muy elemental para obtener la solucin
fundamental.

Se buscan soluciones autosemejantes, es decir, soluciones que al cambiar la escala
convenientemente permanecen invariantes. Ms precisamente, la escala conveniente queda
determinada observando que en la ecuacin del calor hay una derivada en el tiempo y dos en el
espacio. Con esta observacin, se hace el cambio de escala
x= y ,t= s y consideramos
u ,
para una solucin
v ( y , s )=u ( y , s ) =u ( x , t )
v
Para que
sea solucin se debe tener,
v sv yy=0
al calcular,
v sv yy= ut uxx
=2
de manera que si
se tiene que,
v sv yy= ( ut u xx )=0
Como consecuencia, parece natural buscar soluciones que respeten la homogeneidad
observada, es decir, soluciones que dependen de la variable
x
t . La forma de una de
estas funciones es:
u ( x , t )=t f
x
.
t
( )
u verifique la ecuacin, ut u xx=0 , se debe tener,
Imponiendo que
f ' ' ( ) + f ' ( ) f ( )=0,

2
=
Donde
x
t . Desde el punto de vista fsico se sabe que hay que imponer la conservacin
de la cantidad de calor. Normalizando se tiene que:
u( x ,t )dx= t f xt
( ) dx=1
es decir,
tf
+
x
dx=t 2 f ( y ) dy=1
t
( )

por lo tanto, necesariamente se debe tener
1
2 . La ecuacin ordinaria puede escribirse
como
'
( 2 f ' +f ) =0
Tomando en particular las soluciones de
2
|x|
4t
'
2 f +f =0,es decir , f ( ) =c e
que para que tenga integral uno, debe ser,

2
1
2
u ( x , t )=( 4 t ) e
|x|
4t
ncleo de Gauss, que es la solucin fundamental buscada. La justificacin del nombre

quedar clara en unas cuantas lneas. El mtodo es sensible a ms dimensiones. Se omiten
ms detalles, pues se tiene un mtodo alternativo que se estudia a continuacin
B) Consideremos el problema
ut u=0, x R N , t >0
u ( x , 0 )=f ( x ) , x R N , f S ( R N )
Donde
( 2.3 .1.21 )
es el espacio de funciones temperadas que se introdujo al empezar el subtema, en
el cual la transformacin de Fourier se comporta bien. Si se aplica la transformacin de Fourier

en las variables espaciales, es decir,
u^ ( , t)= e2 i x, u ( x , t ) dx
R
se tiene
2
N
u^ t ( , t )+ 4 || u^ ( , t )=0 , R , t>0
u^ ( , 0 )= f^ ( )
Integrando la ecuacin ordinaria en
t , considerando
(2.3 .1.22)
como parmetro, se obtiene:
u^ ( , t )= ^f ( ) e4 || t
Como se trata de una funcin gaussiana podemos calcular su transformada de Fourier, como se
hizo anteriormente, resultando otra gaussiana a la que llamamos ncleo de Gauss. Ms
precisamente
2
e2 i x , e4 || t d=
N
( 4 t )
N
2
|x|
4t

Por lo tanto, por el apartado 3) del teorema
2.3 .1.2 se tiene
u ( x , t )=
( 4 t )
|x y|
4t
N
N
2 R
f ( y)dy
(2.3 .1.23)
f S (RN ) , esta bien definida.
que al ser
Llamando
K (x )=
(4 )
N
2
|x|
4
y definiendo
K t ( x )=
1
t
N
2
( xt ) ,
es decir,
2
K t ( x )=
( 4 t )
N
2
|x|
4t
se verifica
1)
K t ( x )> 0 , para todo
2)
K t ( x ) dx=1
3)
lim
x RN ,
t 0 |x|> >0
K t ( x ) dx=0
Las tres propiedades se comprueban de forma inmediata por clculo directo.

A
K t (x )
es llamada solucin fundamental de la ecuacin del calor. El siguiente resultado
justica esta denominacin.

Nota que la frmula
f C ( R N )
(2.3 .1.23)
tiene sentido tambin si, por ejemplo, se supone que
y est acotada. Por eso se formula el resultado en el contexto de las funciones
continuas.

2.3.1.7 Teorema
Sea
f C ( R N )
|f (x)|< M
tal que
x R N . Entonces,
si
u(x ,t )
definida por
(2.3 .1.23) verifica

1)
u C ( R N ( 0, )) ,
2)
ut u=0 si
3)
4)
x R N , t >0 ,
lim u ( x 0 , t ) =f ( x0 )
siendo la convergencia uniforme,
t0
|u ( x , t )| x R N|f ( x )|, ( x , t ) R N ( 0, ) .
Demostracin.
K t (t ) es una aproximacin de la identidad. En
La demostracin es una consecuencia de que
efecto, los apartados 1) y 2) resultan de la deduccin de
Kt
y pueden comprobarse tambin
por clculo directo sin grandes dificultades. La conclusin 4) resulta directamente de la

propiedad 2) para el ncleo de Gauss
x0 R
En cuanto a 3) para
Kt .
, se tiene
|u ( x 0 ,t )f (x 0 )|= K t ( x 0 y ) ( f ( y )f ( x 0 ) ) dy .
Por la continuidad de
; entonces en
f , dado > 0 existe
(2.3 .1.24)
|u ( x 0 ,t )f (x 0 )|=
(2.3 .1.24)
> 0 tal que si
| yx 0|< ,|f ( y )f ( x 0 )|<
resulta
K t (x 0 y )dy +2 x R N |f ( x )|
|x0 y|<
esto debido a las propiedades del ncleo

Como se estudi en el subtema
K t (x 0 y)dy 2
(2.3 .1.25)
|x 0 y|<
K .
2.1.4 , el problema
2.3 .1.7
es caracterstico, por lo que
sin condiciones adicionales no es de esperar unicidad. As lo pone de manifiesto el ejemplo

debido a Tychonoff que se analiza a continuacin sin demostracin.
Consideremos el problema

u tu xx =0, ( x , t ) R (0, )
u ( x , 0 )=0
(2.3 .1.26)
este tiene la solucin cero. La idea es usar el problema no caracterstico,
u xx =ut ,( x ,t ) R 2
u ( 0, t )=g ( t ) , t R
ux ( 0,t )=0,
para buscar soluciones de
(2.3 .1.27)
(2.3 .1.26) .
Se puede demostrar que si se toma
t
g ( t )= e , t>0
0, t 0
para
(2.3 .1.28)
> 1 , entonces la correspondiente solucin u(x ,t ) del problema no caracterstico es
una solucin no nula del problema caracterstico, con lo cual se obtiene la no unicidad
mencionada. Es posible mostrar que la solucin obtenida del problema de Cauchy no es
acotada en
R ( 0, ) . Este hecho sugiere que para obtener resultados de unicidad de
solucin del problema de Cauchy, es conveniente imponer condiciones al crecimiento de la

solucin en infinito.
Un importante resultado del propio Tychonoff dice que si la solucin del problema de Cauchy
2
homogneo con condicin inicial nula satisface la acotacin
|u(x , t)| A e a|x|
para
( x , t ) R N (0, T ) , entonces ella tiene que ser identicamente nula en este dominio.
Sin embargo, hay un resultado de D. Widder, mucho ms interesante, no slo desde el punto de
vista matemtico sino tambin por su significado fsico.
Una de las consecuencias del Segundo Principio de la Termodinmica es que la temperatura
absoluta es siempre positiva. Este hecho sugiere que la condicin natural a verificar por las
soluciones de la ecuacin del calor es la condicin unilateral
Evidentemente es lo mismo suponer
v =uH , conduce al caso
u 0 .
u H , pues el cambio en la escala de temperaturas
v 0 . Widder prueba que con la condicin fsicamente natural
de que la temperatura sea positiva, el problema de Cauchy para la ecuacin del calor tiene una
nica solucin.
2.3.2. El principio del mximo. Resultados clsicos de unicidad.

Se comenzara esta seccin estableciendo el principio del mximo dbil para el problema de
Dirichlet. Como consecuencia, se tiene la prueba de unicidad para el problema que se estudiar
(3.3 .1) .
en
Sea
R N
un dominio acotado con frontera regular
D T =( 0,T ) y la frontera parablica de
Se define
, y sea 0<T < .
DT
P ( { 0 } ) ( [0,T ])
2.3.2.1 Teorema
Sea
T)
u C ( D
, tal que ut , u x x C ( D T ( { T } ) ) ,i , j=1,2, , N
i
ut u 0 en DT .
Entonces
max u=max u
p
DT
Demostracin
Si se hace la hiptesis adicional
ut u<0 en D T
(2.3 .2.1)
el resultado es inmediato. En efecto, si se tuviese que el mximo se alcanza en un punto
( x 0 ,t 0 ) DT ( 0, T ' ) , T ' <T
, habra de verificarse que
'
ut ( x 0 ,t 0 ) =0, u ( x 0 , t 0 ) 0,
(2.3 .2.1) . Por consiguiente, en la hiptesis
con lo cual se contradice

no se puede alcanzar en
( x 0 ,T ) {T }
DT
'
, para cualquier
(2.3 .2.1) el mximo
T < T . Si el mximo se alcanzase en
se tendra
ut ( x 0 ,t 0 ) 0, u ( x0 , t 0 ) 0,
que contradice tambin
alcanza en
(2.3 .2.1) . Por lo tanto, en la hiptesis
(2.3 .2.1)
el mximo se
P .
Se trata ahora de quitar la hiptesis adicional. Para ello se considera para cada
funcin
>0
la

2
v ( x , t )=u ( x , t )+ |x| .
v
La funcin
tiene la misma regularidad que la funcin
u , verificndose adems
v t v=ut u2 N< 0
u . Entonces puesto que v verifica la hiptesis
de acuerdo con las hiptesis sobre
(2.3 .2.1) concluimos que
max v =max v .
P
DT
Pero entonces,
2
max u max v=max v max u+ max |x| .

DT
DT
Como esto es para
> 0 arbitrario, se tiene
max u max u
DT
que con la desigualdad obvia
max u max u
P
DT
prueba el resultado.
Observamos que el principio del mximo para la ecuacin del calor excluye parte de la frontera,
justamente la frontera temporal en la direccin del tiempo creciente.
Este principio de mximo se llama dbil porque no excluye que el mximo se tome en un
punto interior.
Se tiene un enunciado ms fuerte debido a L. Nirenberg, el cual se ver sin demostracin. Para
los detalles te remitimos al libro: M.H. Protter, H.F. Weinberger, "Maximum Principles in
Differential Equations" Ed. Springer Verlag 1984
Principio del mximo fuerte
Sea
verificando las hiptesis del teorema
2.3 .2.1
en
DT . Si existe
( x 1 , t 1) D T
tal que
u ( x 1 , t 1 ) =M =max u ,
DT
entonces
uM .
A continuacin se aplica el principio del mximo dbil a la obtencin de algunos resultados de

unicidad.

Sea como antes
un dominio acotado con la frontera regular
. Consideremos
el problema
u t u=0, x , t>0
u ( x ,t )=0, x , t>0
u ( x , 0 )=0, x .
(2.3 .2.2)
Por aplicacin directa del principio del mximo se tiene el siguiente corolario, el cual establece
(2.3 .2.2) .
la unicidad para el problema

2.3.2.2 Corolario
Sea
ut , u x x C ( D T ( { T } ) ) ,i , j=1,2, , N
u C (DT ) , tal que
solucin del problema
(2.3 .2.2) . Entonces u 0 .

Menos obvia es la segunda consecuencia del principio del mximo dbil.
Como se ha visto en subtema anterior el problema de Cauchy
(2.3 .1.21) , en general, puede
tener ms de una solucin. No obstante, si se restringe a ciertas clases de funciones, se va a

poder demostrar la unicidad. Este subtema se limita al ejemplo, muy interesante, de funciones
acotadas.
Se demostrar que dentro de la clase de funciones acotadas, el problema
( 2.3 .1.21 )
tiene
una nica solucin.

La prueba de este resultado, se basa en el principio del mximo; la dificultad est en que en el
problema de Cauchy se tiene todo
RN
y no un dominio acotado. En otras palabras, sobre la
"frontera lateral" de la frontera parablica, no se tienen condiciones. Esta dificultad se

resolver con el conocimiento de ciertas soluciones explcitas de la ecuacin del calor, con las
cuales se har un proceso de comparacin.
Es claro que cualquier funcin de la forma
w ( x ,t )= 2 t+
|x|
N
,R,
es una solucin de la ecuacin del calor en
RN . Estas son las soluciones de la ecuacin
del calor que se usarn para comparar.
Es posible pasar a establecer el resultado de unicidad con precisin.

2.3.2.3 Teorema
Sean
u1 ,u 2 soluciones acotadas del problema
u t u=0, x RN ,t >0
u ( x , 0 )=f ( x ) , x R N , f continua y acotada en R N .
Entonces
(2.3 .2.3)
u1 u2 .
Demostracin.
|u1 ( x , t )| M 1
si
|u2 ( x , t )| M 2
M =max {M 1 , M 2 } .
llamamos
La
funcin
v =u1u2 verifica el problema
v t v=0, x R N , t >0
u ( x , 0 )=0, x R N .
v
La idea es aplicar a
el principio del mximo como en el corolario
esto no es posible dado que el dominio es todo
R>0 la bola |x|< R
considera para cada
2.3 .2.3 . Directamente
RN ; para resolver esta dificultad se
y la funcin
|x|
2 NM
w R ( x , t )= 2 2 t +
, RR,
N
R
que como se ha visto satisface la ecuacin de calor, en particular en
|x|< R , t>0 .
Adems
w R ( x , 0 ) |v ( x , 0 )|=0, w R ( y ,t ) 2 M |v ( y , t )|, si| y|=R , t >0

Aplicando el principio del mximo en el cilindro
| y| R ,
t [0,T ]
v w R
y a
w R v , resulta que
w R ( x , t ) v ( x , t ) w R ( x , t )
para cada
Dejando fijo
lmite para
( x , t)
tal que
(2.3 .2.4)
|x| R , 0 t T .
( x , t) , la desigualdad
R
(2.3 .2.4)
es vlida si
R>|x| . Entonces tomando
se tiene

v ( x , t )=0
Como
(x , t)
es arbitrario se concluye que
v 0
como se quera.
Como consecuencia inmediata podemos formular el importante resultado que sigue.

2.3.2.4 Corolario.
( 2.3 .1.21 )
La nica solucin acotada del problema
con dato acotado, es dada por la frmula
( 2.3 .1.23 ) .
2.3.3. El problema de Cauchy no homogneo.

Nos vamos a ocupar del problema
u t u=F ( x , t ) , x R N , t> 0
u ( x , 0 )=f ( x ) , x RN
(2.3 .3.1)
donde la regularidad de los datos
la suponemos, por el momento, suficiente para
que sean ciertos los clculos que vamos a realizar. Ms tarde se estudiaran cuales son las
condiciones de regularidad suficientes.
Se ver que un papel importante lo jugar la solucin fundamental. Ahora vamos a escribir la
solucin fundamental con la singularidad desplazada, es decir, consideramos
v ( x , t , y , s ) K t s (x y) , es decir
v ( x , t , y , s )=
( 4 ( t s ) ) N /2
exp
|x y|
4 ( t s )
,t>s.
(2.3 .3.2)
Por clculo directo, o bien, por los argumentos en el tema 2.3.1 se tiene el siguiente resultado.
Lema 2.3.3.1 Sea
definida por (2.3.3.2), entonces,
i v t y v=0 si t> s .
ii v s + y v=0
si
t> s .

El apartado i) se puede traducir diciendo que fuera de la singularidad la solucin fundamental
verifica la ecuacin del calor respecto a
que la funcin
ya
y , mientras que el apartado ii) establece
vrica la ecuacin del calor "retrgrada" como funcin de
s , y, lo cual es
claro por tener s el signo contrario a t. Obsrvese, por ltimo, que el laplaciano se puede tomar
tambin con respecto a
y se sigue cumpliendo el lema.
Un cambio de coordenadas y lo visto en el tema 2.3.1 permiten escribir la siguiente propiedad
v .
importante de la funcin
Lema 2.3.3.2 Sea
definida por (2.3.3.2), entonces
v ( x , t , y , s ) dy=1 para cada x RN y t > s .

R
Lema 2.3.3. Sean
definida por
(2.3 .3.2) y R N
un dominio, entonces
V ( x , ts )= v ( x ,t , y , s ) dy
Verifica
lim V ( x , ts )= 1, x .
ts 0
0, x
(Basta aplicar el teorema (2.3.1.1) a la funcin caracterstica de

Supongamos ahora que
es una solucin regular del problema (2.3.3.1) y sea
la bola de centro el origen y radio

Se observa que llamando
).
R .
( y , s) las variables de espacio y tiempo respectivamente, se tiene
( uv )s=u s v +v s u=v uu v
(2.3 .3.3)
De acuerdo con el apartado el apartado ii) del lema 2.3.3.1.

Teniendo en cuenta (6.3.3), integrando en
B R (0, t) y utilizando la frmula de
Green en la integral de espacio, obtenemos la siguiente identidad
BR RN

( u ( v s + v )v ( uus ) ) dyds=
BR
vFdyds=
0 BR
(2.3 .3.4 )
s 0
uv dy + ( v un u vn ) d ( y ) ds
BR
0 BR
s t uv dylim
BR
lim
donde
n es la normal exterior a B R
Si se supone, por ejemplo, que

exponencialmente cuando
d ( y ) el elemento de superficies sobre B R .
es acotada, como
u
n
decaen
R , pasando al lmite en (2.3.3.4) se obtiene
s 0 + uv dy
BR
s t uv dy lim
BR
(6.3.3.5
)
vFdyds=lim
0 BR
Se observa que segn el teorema 2.3.1.7
s t u ( y , s ) v ( x , t , y , s ) dy =u ( x , t ) ,
BR
lim
(2.3.3.6
)
Y tambin, por el mismo resultado,
s 0+ u ( y , s ) v ( x , t , y , s ) dy= u ( y , 0 ) v ( x , t , y , 0 ) dy=
BR
BR
lim
(2.3.3.7
)

f ( y )v ( x , t , y , 0)dy ,
BR
sustituyendo (2.3.3.6) y (2.3.3.7) en (2.3.3.5) obtenemos:

Si u es solucin regular del problema (2.3.3.1), entonces
t
u ( x , t )= v (x , t , y ,0) F( y , s )dyds + f ( y) v (x , t , y ,0) dy

0 BR
BR
Sustituyendo el valor de
BR
exp
N
( 4 ( t s ) ) 2
(2.3.3.8
)
se tiene
2
|x y|
F ( y , s ) dyd +
4 ( t s )
t
u ( x , t )=
(2.3.3.9
)
( 4 t )
f ( y ) exp
N
2 BR
|x y|
4t
dy
Una vez hecha la conjetura de cmo escribir la solucin slo falta un resultado de regularidad
en funcin de la regularidad de
que nos permita concluir que la funcin
definida por (2.3.3.9) es solucin clsica del problema (2.3.3.1).

El resultado que se presenta a continuacin da condiciones suficientes para la existencia de
solucin clsica del problema no homogneo (2.3.3.1). Al igual que ocurre en la ecuacin de
Laplace la sola continuidad del segundo miembro de la ecuacin no es suficiente para que la
solucin tenga derivadas segundas.
Recordamos que la solucin fundamental para la ecuacin del calor es
K t ( x )=
1
N
( 4 t ) 2
( )
|x|
exp
,t>0
4t
(2.3.3.10
)
El siguiente teorema requiere de algunos resultados sobre diferenciacin de funciones definidas

por integrales a los que no haremos mencin explcita. El lector interesado puede tratar de
deducir estos resultados a partir de los que se encuentran en el libro de Anlisis Matemtico de
Tom Apostol.

Teorema 2.3.3.5 Sea
F (x ,t)
,
xi
f ( x)
i=1, , N
una funcin continua y acotada en

funciones continuas y acotadas en
y sean
F( x , t )
RN ( 0, T ) , para algn
T>0 .
Entonces la funcin
u( x ,t ) definida para ( x , t ) R por

t
u ( x , t )= K t ( x y ) f ( y ) dy + K (t s) (x y) F ( y , s )dyds ,
R
0 RN
(2.3.3.11)
Verifica
(1)
u C ( R N [ 0, T ) )
(2)
u
2 u
C ( R N ( 0,T ) ) ,
C ( R N ( 0, T ) ) ,i , j=1,. . , N
t
xi x j
(3)
u es la nica solucin acotada del problema (2.3.3.1)
Demostracin
Lamamos
u1 ( x , t ) = K t (x y ) f ( y )dy
R
y
t
u2 ( x , t ) = K ( ts ) F ( y , s) dyds
(2.3.3.12
)
0 RN
Por el teorema 2.3.1.7 la funcin u1 verifica 1) y 2). En particular, de 1) resulta que
u1 ( x , 0 )=f ( x ) , y por tanto u1 es solucin del problema homogneo,
u t u=0, x R ,t >0
u ( x , 0 ) =f (x ), x R N
Basta entonces demostrar que
u2 verifica 1) y 2) y es solucin del problema
u t u=F ( x ,t) , x R , t >0

u ( x ,0 )=0, x R N

Haciendo el cambio de variables espaciales
x y
=z
en la integral (2.3.3.12) resulta
2 ts
K (t s) ( x y ) F ( y , s )=
R
u2 ( x , t )=
( 6.3 .3.13 )
K 1 ( z) F ( x +2 z ts , s) dzds.
0 RN
x+ 2 z ts , s
h ( x , z ,t , s )=K 1 (z) F ), es continuo en
El integrando,
x , z RN
0< s<t
verificando
x h( x , z , t , s) es continuo y que
adems que
|h ( x , z ,t , s )|=|k 1 ( z ) F ( x+ 2 z ts , s )|
e|x|
N /2
|F ( y , )|,
( y , ) R N [ 0, T )
(6.3.3.14
)
Siendo tambin
| x h ( x , z ,t , s )|
|z|e|z|
|F ( y , )|
N
N/2
(
y
,
R
[ 0, T )
2
2
donde se ha sustituido el valor de
K 1 ( z) . Es decir, tanto
6.3 .3.15
como su gradiente respecto a
estn mayorados por funciones integrables. Se puede comprobar a partir de estas
propiedades que la funcin definida por la integral.
g ( x , t , s )= K 1 (z) F( x , 2 z ts , s) dz
R
(2.3.3.16
)
Resulta que es continua y acotada en
RN , ms concretamente.
|g ( x , t , s )| M =( y , ) RN [ 0,T )|F ( y , )| .

Adems aplicar el teorema 2.3.1.7 para
s t , resulta
g ( x , t , t )=F( x , t) .
Por consiguiente se tiene,

N
u2 C(R [ 0, T ))
u2 ( x , 0 )=0
La funcin
u2 es acotada, siendo
|u ( x , t )| MT
( y , ) RN [ 0,T ) 2
u2 tiene derivadas primeras continuas verificndose
Se tiene que la funcin
t
u 2
1
1
F
( x , t ) = N /2
ds e|z|
( x+ 2 z ts , s ) dzds .
xi
0 ts
i
R
2
Integrando por partes resulta

t
u 2
1
1
(x , t )= N /2
ds e|z| z i F ( x+2 z ts , s ) dzds .
xi
ts
2
0
R
2
(2.3.3.17
)
Por (2.3.3.15) se puede demostrar que es posible que es posible derivar la expresin (2.3.3.17)
obtenindose que
u2 tiene derivadas segundas respecto a
continuas en
R (0, T )
y en particular se verifica
u2 ( x , t )=
N /2
ds e|z| z i F ( x +2 z ts , s ) dzds
1
ts
2
(2.3.3.18
)
Por otro lado, para calcular la derivada con respecto al tiempo
escribimos
u 2 ( x ,t +k ) u2 ( x , t )
=
k
t +k
g ( x , t+ k , s )g( x ,t , s)
1
g(x , t+ k , s)ds+
ds I 1 ( k )+ I 2 (k )
k t
k
0
Por el teorema fundamental del clculo

lim I 1 ( k )=g ( x , t ,t )=F ( x , t ) .
(2.3.3.19
)
k0
la funcin
g( x ,t , s)
respecto a
x , adems
gt ( x , t , s ) =
1
N /2
tiene derivada respecto a
ya que
tiene derivadas parciales
F
e|z|
( x +2 z ts , s ) dz
x
ts
2
y por lo tanto, por (2.3.3.15) se concluye que
I 2 ( k ) =
N /2
t1s e|z| Fx ( x +2 z ts , s ) dzds.

0
(2.3.3.20
)
lim
k 0
De las igualdades (2.3.3.18), (.2.3.3.19) y (2.3.3.20), se concluye que
u2
verifica la ecuacin
del calor no homognea, es decir,
u 2
= u2+ F ,
t
Como se quera demostrar.
2.3.4. Comparacin entre las soluciones del problema de Cauchy para la

ecuacin de onda y la ecuacin de calor.
Las ecuaciones de ondas y del calor son sin duda dos de los modelos ms simples y
fundamentales en la teora de EDP. El anlisis anterior de los mismos indica que se trata de
modelos con propiedades cualitativas muy distintas o, incluso, contrapuestas. Se mencionan
aqu algunas de ellas:
Reversibilidad temporal.
La ecuacin de ondas es reversible en tiempo. Basta para ello hacer el cambio de variable
temporal
t ' =t . Se comprueba que el operador de dAlembert se mantiene invariante por
incluir trminos en los que slo aparece un nmero par de derivadas. Esto no es as en el caso
de la ecuacin del calor. Por otra parte, la frmula de dAlembert para la solucin de la ecuacin
de ondas es tambin perfectamente reversible en tiempo. En particular, predice que las

soluciones son igualmente regulares en el pasado que en el futuro. Esto es exactamente lo
contrario de lo que ocurre con la ecuacin del calor en la que, a causa de un efecto
regularizante sumamente fuerte, basta que el dato inicial sea integrable para que en todos los
tiempos
t> 0 la solucin pertenezca a B C ( R) .
Conservacin de energa.
Las diferencias antes mencionadas se observan tambin el comportamiento temporal de la
energa de las soluciones.
En efecto mientras que en la ecuacin de ondas de energa
E (t)=
1
[u2t ( x , t ) +u2x (x , t)]dx
2R
se conserva, en la ecuacin del calor la energa correspondiente
e ( t )=
1
u2 dx
2R
se disipa, tal y como se ve, segn la ley

2
de ( t )
=|u x ( x , t )| dx .
dt
R
Velocidad infinita de propagacin.

En la ecuacin de ondas la velocidad de propagacin es finita. Esto queda claramente de
manifiesto en la frmula de dAlembert para la solucin:
x+t
1
1
u ( x , t )= [ f ( x+ t ) + g ( xt ) ] + g ( s ) ds
2
2 xt
(x , t)
De esta frmula se deduce que el valor de la solucin en el punto

exclusivamente del valor de los datos iniciales en el intervalo
[xt , x+t ]
depende
denominado
dominio de dependencia.
Del mismo, el valor de los datos iniciales en el punto
exclusivamente en el cono:
|xx 0|t
x0
en el instante
t=0
se perciben
, denominado regin de influencia.
Estos dos hechos confirman que la velocidad de propagacin en la ecuacin de ondas

considerada es de hecho la unidad.

Sin embargo, en la ecuacin del calor, el hecho de que la solucin fundamental o ncleo de
Gauss
sea estrictamente positivo en todos los puntos hace que la velocidad de
propagacin sea infinita de modo que una perturbacin del dato inicial en cualquier punto es
instantneamente percibida en todos los puntos de la recta real.
Autoevaluacin
Para reforzar los conocimientos relacionados con los temas que se abordaron en esta unidad
del curso, es necesario que resuelvas la autoevaluacin.
Evidencia de aprendizaje. Resolucin de ejercicios

Es momento de realizar tu evidencia de aprendizaje, donde tendrs que aplicar tus
conocimientos sobre aproximacin de funciones continuas.
Instrucciones:
1.
Descarga el documento EA. Resolucin de ejercicios :
2. Lee las instrucciones y resuelve los problemas que se plantean, tomando en cuenta el
contenido de la unidad.
3. .Guarda y enva tu reporte al portafolio de evidencias con la nomenclatura
MEDP1_U1_EA_XXYZ.
4. Enva tu reporte al portafolio de evidencias y espera la retroalimentacin de tu
Facilitador(a). Una vez que la tengas, atiende sus comentarios y reenva la nueva versin
de tu evidencia.
Nota: No olvides consultar la Escala de evaluacin para conocer los criterios con que ser
evaluado tu trabajo.
Autorreflexiones
Como parte de cada unidad, es importante que ingreses al foro Preguntas de autorreflexin y
leas los cuestionamientos que formul tu Facilitador(a), ya que a partir de ellos debes elaborar
tu Autorreflexin y enviarla mediante la herramienta Autorreflexiones. No olvides que tambin
se toman en cuenta para la calificacin final.

Cierre de la unidad
La Unidad que acabas de ver es de una gran importancia conceptual en el contexto de la teora
clsica de ecuaciones en derivadas parciales ya que en ella se efecta la clasificacin de las
ecuaciones cuasilineales de segundo orden en parablicas, hiperblicas y elpticas las que a su
vez corresponden a la descripcin de los modelos ms simples de difusin, propagacin de
ondas y procesos estacionarios que aparecen en la Fsica Matemtica. La clasificacin se basa
en la nocin de superficie caracterstica la cual est ntimamente relacionada con el
planteamiento correcto de los problemas de contorno que aparecen al utilizar las ecuaciones
diferenciales para modelar procesos fsicos. Los conocimientos adquiridos en esta unidad
resultan indispensables para la comprensin de la unidad 3.
Para saber ms
Para una mejor comprensin de los resultados de esta Unidad se recomienda revisar algunos
temas relacionados con:
1. Transformaciones lineales de matrices y reduccin a la forma cannica con aplicaciones
a formas cuadrticas para lo que pueden consultarse los textos:
a. David XC. Lay, Linear Algebra and its applications, Addison Wesley 1994.
b. Gene H. Golub, Charles F. van Loan, Matrix Computation, Third Ed. John
Hopkins Univ. Press, 1996.
2. Teora elemental de curvas y superficies con resultados bsicos de las integrales de
lnea, superficie y volumen, que pueden consultarse en la Parte 2 del libro:
a. Tom Apostol, Calculus T. 2, 2nd Ed. John Wiley, 1969.
3. El Teorema de Cauchy - Kovalevskaya sobre la existencia y el Teorema de unicidad de
Holmgrem para la solucin del problema de Cauchy para ecuaciones con coeficientes y
datos analticos sobre una superficie analtica no caracterstica, que se pueden consultar
en:
a. Fritz John, Partial Differencial Equations, Third Ed. Serie Applied Math. Sciences
1, Springer Verlag, 1978.
Referencias bibliogrficas
Kurmyshev, E.V. (2003). Fundamentos de mtodos matemticos para fsica e ingeniera.
Mxico. Editorial Limusa.
Mauch, S. (2003). Introduction to Methods of Applied Mathematics or Advanced Mathematical
Methods
for
Scientists
and
Engineers.[Versin
electrnica]
Recuperado
de
http://maji.utsi.edu/courses/06_690_perturbations_2/ref_math_advmathmethods_sean_mauch.p
df
Myint-U, T. (1973). Partial differential equations of mathematical physics.

Editado por American Elsevier Publishing.

Peral Alonso, I. (2004). Primer curso de ecuaciones en derivadas parciales. [Versin

electrnica]. Recuperado de http://www.uam.es/personal_pdi/ciencias/ireneo/libro.pdf
Zuazua, E. Ecuaciones en derivadas parciales. [Versin electrnica] Recuperado de
http://www.uam.es/personal_pdi/ciencias/ezuazua/informweb/ecudepa.pdf

U2. Edp

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

U2. Edp

Caricato da

Copyright:

Formati disponibili

Ecuaciones Diferenciales Parciales

Unidad 2. El problema de Cauchy para EDP de segundo orden

Ecuaciones Diferenciales Parciales

Unidad 2: El problema de Cauchy para EDPs de

Andrs Fraguela Collar

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Ecuaciones Diferenciales Parciales

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Ecuaciones Diferenciales Parciales

Unidad 2. El problema de Cauchy para EDP de segundo orden

Clasificar las EDP cuasilineales de segundo orden de acuerdo a su reduccin a la

Competencia especfica de la unidad

2.1. Clasificacin de las EDP cuasilineales de segundo orden

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Ecuaciones Diferenciales Parciales

2.1.1. El problema de Cauchy para algunos ejemplos de EDP de segundo

Todos ellos tienen en comn que se trata de ecuaciones de orden dos en

0=uxt ( x , 0 )= 1,x = ' ( x ) ,

1 necesariamente es constante. En consecuencia el problema

soluble para cualquier dato; pero, adems, si se supone la condicin de compatibilidad,

es constante, por integracin elemental se tiene

De esta manera si tomamos una funcin

w 2(t)=ct +a t 2 con a arbitrario,

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Ecuaciones Diferenciales Parciales

(2.1.1 .1) no es soluble si 1 no es constante.

1 es constante, el problema (2.1.1 .1) tiene infinitas soluciones.

Como puedes notar la eleccin de

slo requiere que

w 2=ct +t ,r > 0 , son elecciones vlidas.

con datos regulares. Entonces en particular

1 ( x )=u t ( x , 0 ) =uxx ( x , 0 )= '0' ( x ) .

t , la ecuacin del calor es solo de orden 1 .

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Ecuaciones Diferenciales Parciales

con segundas derivadas continuas y verificando la ecuacin es

llamada armnica y se verifica que

y por tanto es analtica real. Pero en particular,

son analticas reales.

no es analtica no hay solucin, o dicho de otra forma el problema

es sobredeterminado. Se puede enunciar entonces que el problema de Cauchy

para la ecuacin de Laplace es sobredeterminado.

Si se hace el cambio de coordenadas

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Ecuaciones Diferenciales Parciales

(revisa el tema 2.2.1 para encontrar todos los detalles).

Si se imponen los datos se obtiene de manera nica que la solucin de

El problema de Cauchy respecto a existencia y unicidad de la solucin depende de alguna

2.1.2. Formas cannicas y clasificacin.

Para estudiar este sistemticamente se necesita un esquema de clasificacin que caracterice a

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Ecuaciones Diferenciales Parciales

+ ( x , u , u ) =0, aij continuas ,

el tipo de la ecuacin se define en una vecindad de cada punto, es decir, la clasificacin es

esto ltimo es el determinante de la matriz Jacobiana

en una vecindad del punto donde se quiere estudiar el tipo de ecuacin.

u ( x ( y ) ) =~u( y ) , de modo que ~

Sustituyendo esto en la expresin del operador diferencial se tiene:

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Ecuaciones Diferenciales Parciales

Fijando ahora un punto

transformacin para los coeficientes

Se nota que la frmula de transformacin de los coeficientes