RESOLUCIN DE ECUACIONES DIFERENCIALES PARCIALES DE

SEGUNDO ORDEN
EL MTODO DE SEPARACIN DE VARIABLES
Supongamos que queremos estudiar cmo se difunde el calor en
un alambre homogneo de longitud L a lo largo del tiempo. Para
ello, necesitamos conocer la temperatura inicial en cada punto del
alambre.
Tambin necesitamos contar con alguna informacin sobre lo que
sucede en los extremos del alambre (cul es su temperatura durante
el proceso, si permanecen aislados, si reciben calor, etc...)
Comencemos considerando el caso en que dicha temperatura
permanece igual a cero todo el tiempo. Supondremos que el alambre
es suficientemente fino de manera que el calor est igualmente
distribuido sobre cada seccin transversal en cada instante de tiempo
t y que la superficie del alambre est aislado, por lo que no se

produce prdida de calor a travs de ella. Si denotamos por (x , t)

la temperatura del alambre en el punto x y en el instante t ,

desde el punto de vista matemtico, este problema se puede formular
de la siguiente manera:

{
t ( x , t )= xx ( x , t ) , x 0, L Ecuacin del calor
( 0, t )= ( L, t )=0, t >0 Condiciones de contorno (1)
( x , 0 )=f ( x ) , x 0, L Condic in inicial

Iniciamos el procedimiento de solucin, admitiendo que el problema

tiene una solucin de la forma:
( x , t ) =X ( x ) . Y (t )

Por comodidad utilizaremos:

= X . Y (2)

Donde X y Y
son funciones desconocidas no nulas que
dependen solamente de x y t respectivamente. Es decir,
queremos determinar las soluciones en las cuales las variables x y
t aparecen separadas (de ah el nombre del mtodo). Es inmediato

ver que para este tipo de funciones la ecuacin del Calor se reduce a
un par de EDO: sustituyendo la expresin (2) en la EDP dada, resulta:
'
X Y =X ' ' Y , x 0, L , t> 0

Y ' X''
= x 0, L , t > 0
Y X ,
Como las variables x y t son independientes, la nica posibilidad
para que la igualdad anterior se produzca es que exista una constante
R tal que:

Y ' X''
= = , x 0, L , t> 0 (3)
Y X
Imponiendo condiciones de contorno:

{
( 0, t )= X ( 0 ) Y ( t )=0 ; t >0
( L , t )= X ( L ) Y ( t ) =0 ; t >0
X ( 0 )= X ( L )=0 (4)

De la relacin (3), obtenemos:

{
X ' ' + X =0 ; x 0, L , X ( 0 )=X ( L )=0
Y ' + Y =0 t>0 (5)

Donde es una constante desconocida arbitraria cuyos valores se

determinan resolviendo (5).
1. Resolviendo el problema de contorno:
X ' ' + X=0 ; x 0, L , X ( 0 ) =X ( L )=0

Observamos que se tiene una EDO de segundo orden lineal y con

coeficientes constantes. Hallemos su solucin:
1 Si =0 :
X ' ' =0 X ( x )=c 1 x +c 2 c1 , c2 R
Con

c 1=c 2=0
Utilizando CC, se tiene nuevamente que:
As:
X ( x )=0 Solucin trivial

2 Si <0 :
''
X + X=0

X (x )=c 1 e x + c2 e x c1 , c2 R
Con
c 1=c 2=0
Utilizando CC, se tiene:
As:
X ( x )=0 Solucin trivial

3 Si >0 :

X ' ' + X=0 X (x )=c 1 cos( x )+ c2 Sen ( x) c1 , c2 R

Con
 {
c 2=0
2
c 1=0 c 2 Sen ( L )=0 (n)
Utilizando CC, se tiene: y = 2
L

Como deseamos soluciones no nulas, tomamos:

2
(n )
= 2
L Para algn n N

As:
nx
X n ( x )= A . Sen( ) A R
L Soluciones no nulas, donde

2. Resolviendo Y ' + Y =0 ; t >0 .

Y
=
Y

ln ( Y )=t+ c
t +c c t t
Y =e =e . e =B e
t
Y =B e
2
(n )
Reemplazando el valor de = 2 , se obtiene:
L
2
(n )
2
t
L
Y n ( t )=B e

3. Solucin del problema planteado:

Siendo:
n ( x , y )=X n ( x ) .Y n ( t )

Entonces:
Soluciones de la ecuacin
2 2
n t
nx L
2

n ( x , t ) =C Sen (
del calor, donde C R .
)e
L

Verificando la condicin inicial:

Si t=0 , entonces:

n ( x , 0 )=C Sen ( nxL )=f ( x)

Luego el valor de C , depende de la forma que tenga f ( x) . Por

ejemplo si

5 x
f ( x )=3 Sen(
L
)
C Sen ( nxL )=3 Sen( 5 Lx )
5 x
{n=5 2
25
t
( x , t ) =3 Sen( ) . 2

C=3 L e L

Del mismo modo, por la linealidad:

5 x 7 x
( )
si f ( x )=3 Sen L +2 Sen L ( )
, entonces:
2 2
25 t 49 t
5 x 7 x
( ) ( )
2 2
L L
( x , t ) =3 Sen e + 2 Sen e
L L

En general, si:
N
f ( x )= b n Sen
n=1
( nxL )
Entonces:
Solucin de la ecuacin del
2 2
N n t
nx
( )
2

( x , t ) = bn Sen e L
calor
n=1 L
Nota:
1. ste mtodo es muy importante en la solucin de EDP, pero no
cubre todas las posibilidades, ya que no siempre la temperatura
inicial f ( x ) , va a tener la forma anterior. El aporte que hizo
Fourier y expuesto en 1807 ante la Academia de Ciencias de
Pars, de que cualquier funcin arbitraria f ( x ) puede ser
expresada como una serie infinita de senos ", es decir en la
forma:

nx
f ( x )= b n Sen
n=1 L ( )
Nos permite expresar formalmente la solucin del problema
dado de la ecuacin del calor como:
2 2
n t
nx
( )
2

( x , t ) = bn Sen e L

n=1 L

2. Es de suponer que la afirmacin de Fourier caus un

impresionante revuelo entre los miembros de la Academia,
muchos de los cuales no aceptaron la validez de su
planteamiento. Tal incomprensin puede entenderse fcilmente,
debido a que era la primera vez en la Historia que apareca el
concepto de una base con infinitos elementos" y a que en
 aqul momento muchos de los conceptos matemticos
(funcin, convergencia de series, etc...) todava no estaban
rigurosamente establecidos.
3. Se debe recordar que:
kx
f ( x ) Sen
L
dx ; k Z
+
( )
L
2
bk =
L0

Ejemplo 1: Resolver la ecuacin del calor del problema anterior si
f ( x )=x (1x ) x [ 0,1 ] .

Solucin
1. Expresando f (x)
en trminos de senos:
+
k Z , se tiene que:
L
2
bk =
L0
f ( x ) Sen kx
L
dx ( ) . (1)

Para nuestro caso:

{ f ( x )= x ( 1x )
0, L = 0,1 L=1

As:
4 [ 1(1)n ]
1
bn =2 x (1x ) Sen ( nx ) dx=
0 n3 3

Siendo:

f ( x )= b n Sen
n=1
( nxL )
Entonces:

nx [ 1(1) ] Sen ( nx )
n
f ( x )= b n Sen
n=1 L ( )
=4
n=1 n3 3
Siendo adems:
2 2
n t

nx

[ 1(1)n ] Sen ( nx ) en t
( )
2 2 2

( x , t ) = bn Sen e L
=4 3 3
n=1 L n=1 n

Por lo tanto:

[ 1(1)n ] Sen ( nx ) en t 2 2

( x , t ) =4 3 3
n=1 n
Ejemplo 2: Resolver la ecuacin del calor del problema anterior,
suponiendo ahora que los extremos del alambre permanecen aislados
todo el tiempo.
Solucin
El problema se formula de la siguiente manera:

{
t ( x , t )=xx ( x ,t ) , x 0, L , t> 0 Ecuacin del calor
x ( 0,t )= x ( L , t )=0 , t >0 Condiciones de contorno (1)
( x , 0 )=f ( x ) , x 0, L Condicin inicial

Admitimos que el problema tiene una solucin de la forma:

( x , t ) =X ( x ) . Y (t )

Que por comodidad utilizaremos:

= X . Y
Se observa adems, que slo han cambiado las condiciones de contorno, que se
imponen sobre las derivadas de (x , t) con respecto de x . Aplicando el mismo
razonamiento anterior, se tiene:

{ X ' ' + X =0 ; x 0, L , X ( 0 )=X ( L )=0

Y ' + Y =0 t >0 (2)

La solucin para Y sigue siendo la misma; la nica que cambia es

para X , cuya solucin se obtiene considerando los tres casos para
ya estudiados.
Siendo as, las soluciones no nulas se obtienen si tomamos:
2
(n )
n = 2
L Para algn n N

Luego:
nx
X n ( x )= A . cos( ) A R
L Soluciones no nulas, donde

La presencia del trmino de coseno en esta solucin, nos indica que la

funcin f ( x ) debe ser expresada en la forma:
a0 nx
f ( x )= + a n cos ( )
2 n=1 L

Que se Conoce como la serie de Fourier de cosenos de f ( x ) , donde:

f ( x ) cos ( kxL ) dx ; k Z +

L
2
an =
L0

Finalmente, la solucin del problema queda expresado como:

 2 2
n t
a0 nx
( )
2

( x , t ) = + an cos e L
2 n=1 L

Ejemplo 3: Resolver la ecuacin del calor del problema anterior

expresando f ( x )=x (1x ) en una serie de cosenos en x [ 0,1 ]
Solucin
1. Expresando f (x)
en trminos de cosenos:
+
k Z , se tiene que:
L
2 kx
ak = f ( x ) cos
L0 L
dx ( ) . (1)

Para nuestro caso:

{ f ( x )= x ( 1x )
0, L = 0,1 L=1

As:
1
an =2 x (1x ) cos ( nx ) dx
0

Entonces:

{
1
a0=
3
2 [ 1+(1)n ]
an= 2 2
n

Siendo:
a0 nx
f ( x )= + a n cos ( )
2 n=1 L

Entonces:
1 2

[ 1+(1)n ] cos ( nx )
f ( x )= 2
6 n=1 n2
Siendo adems:
2 2
n t
a0 nx
( )
2

( x , t ) = + an cos e L
2 n=1 L

2. Solucin del problema planteado:

2 2
n t
1 2

[ 1+(1)n ] 2

(x , t)= 2 cos ( nx ) e L
6 n=1 n2
Ejemplo 4: Ecuacin de la cuerda vibrante. Este problema se
resuelve mediante el mismo procedimiento, aunque la EDP
correspondiente es del tipo hiperblico. Consiste en determinar las
vibraciones de una cuerda elstica de longitud L y densidad

constante, sujeta por los extremos y de la cual conocemos la posicin

( x , t ) del punto x de la cuerda en el instante t y; la velocidad

inicial en cada punto.

Este problema se reduce a resolver la EDP:

{{
tt ( x , t )= xx ( x ,t ) , x 0, L ,t >0 Ecuacin de ondas
( 0, t )= ( L, t )=0, t >0 Condiciones de contorno
( x ,0 )=f (x) (1)
x 0, L Condiciones iniciales
t ( x ,0 )=g(x )

Iniciamos el procedimiento de solucin, admitiendo que el problema

tiene una solucin de la forma:
( x , t ) =X ( x ) . Y (t )

Por comodidad utilizaremos:

= X . Y (2)

Donde X y Y
son funciones desconocidas no nulas que
dependen solamente de x y t respectivamente. Es decir,
queremos determinar las soluciones en las cuales las variables x y
t aparecen separadas (de ah el nombre del mtodo). Es inmediato

ver que para este tipo de funciones la ecuacin de la onda se reduce

a un par de EDO: sustituyendo la expresin (2) en la EDP dada,
resulta:
XY = X ' ' Y , x 0, L , t> 0
Y X''
= x 0, L , t> 0
Y X ,

Como las variables x y t son independientes, la nica posibilidad

para que la igualdad anterior se produzca es que exista una constante
R tal que:

Y '' X''
= = , x 0, L , t > 0 (3)
Y X
De la relacin (3), obtenemos:
 {X '' + X=0;
Y + Y =0
x 0, L , X ( 0 )= X ( L )=0
t> 0 (4)

Donde es una constante desconocida arbitraria cuyos valores se

determinan resolviendo (4).
1 Solucin de la EDO para X :
Es la misma que para la ecuacin del calor, es decir:
(n )2
nN =
Para algn , si tomamos: L2
Se obtiene las soluciones no nulas:
nx
X n ( x )= A . Sen( ) A R
L Donde

2 Solucin de la EDO para Y :

Resolviendo la EDO:
Y + Y =0, t >0

Reemplazando el valor de en esta EDO y resolviendo se obtiene:

Y n ( t )=c 1 cos ( ntL )+ c Sen ( ntL )

2

c1 , c2 R
Donde .

As, siendo ( x , t ) =X ( x ) . Y (t )

n ( x , t ) =X n ( x ) . Y n (t )= A . Sen(
nx
L [ ( )
) c1 cos
nt
L
+ c2 Sen (
nt
L
)
]
+
Por lo tanto para cada n Z , una solucin bsica de la

ecuacin de Ondas es:

n ( x , t ) =Sen (
nx
L [ ( )
) a n cos
nt
L
+ bn Sen (
nt
L
)
]
an , bn R
Donde y; verifica tambin las condiciones de contorno.
Verificando que se satisface las condiciones iniciales en:

[ ( ) ]

nx nt nt
( x , t ) = Sen ( ) an cos +bn Sen ( )
n=1 L L L

Es decir:
 {

nx
f ( x ) = ( x , 0 )= an Sen( )
n=1 L

nb n nt
g ( x )=t ( x , 0 )= Sen( )
n=1 L L

Observamos que nuevamente encontramos series de Fourier de

senos.
Ejercicio 5: Resolver el ejemplo 4, para L=1 , f ( x )=x (1x ) y
g ( x ) =0

Solucin

( x , t ) =4
[ 1 (1 )n ]
Sen ( nx ) cos (nt)
n=1 n3 3

Ejercicio 6: Resolver el ejemplo 4, para L=1 , f ( x )=0 y

g ( x ) =x(1x)

Solucin

( x , t ) =4
[ 1 (1 )n ]
Sen ( nx ) Sen(nt )
4 4
n=1 n
EL MTODO DE SEPARACIN DE VARIABLES EN EDP ELPTICAS
Consideremos el siguiente problema de Dirichlet para la Ecuacin de
Laplace sobre un rectngulo:

{
xx ( x , t )+ tt ( x ,t )=0, x 0, L ; t 0, L^ Ecuacin de Laplace
( 0, t ) = ( L , t ) =0, t 0, ^L Condiciones de Contorno
( x , 0 )=0 (1)
x 0, L Condicionesiniciales
( x , L^ ) =f (x)

Iniciamos el procedimiento de solucin, admitiendo que el problema

tiene una solucin de la forma:
( x , t ) =X ( x ) . Y (t )

Por comodidad utilizaremos:

= X . Y (2)
Reemplazando en la EDP (1), resulta:
Y X ' '
= = R , x 0, L ; t 0, ^L
Y X

Utilizando CC, para cada t 0, L :

{
( 0, t )= X ( 0 ) .Y ( t )=0
( L , t )= X ( L ) . Y (t )=0
X ( 0 ) =X ( L )=0
Utilizando CI, para cada x 0, L :

( x , 0 )= X ( x ) .Y ( 0 )=0 Y ( 0 )=0

Teniendo en cuenta estos resultados, resolvemos las EDOs:

X ' ' + X=0
Y '' Y =0 {(3)

Donde es una constante desconocida arbitraria cuyos valores se

determinan resolviendo (3).
1 Solucin de la EDO para X :

Es la misma que para la ecuacin del calor, es decir:

(n )2
Para algn n N , si tomamos: = 2
L
Se obtiene las soluciones no nulas:
nx
X n ( x )= A . Sen( ) Donde A R
L

2 Solucin de la EDO para Y :

Se debe resolver la EDO:
Y Y =0,Y ( 0 )=0 y t 0, ^L

Reemplazando el valor de en esta EDO y resolviendo se obtiene

para algn n :

Y n ( t )=C . Senh ( ntL )

Donde CR .

Utilizando la condicin ( x , ^L )=f (x ) :

La solucin de la EDP (1), tiene la forma:

nx nt
( x , t ) = bn Sen( ) Senh( )
n=1 L L

bn R t= ^L ; obtenemos:
Con . Tomando

nx n ^L
f ( x )= b n Sen( )Senh( )
n=1 L L

Que es una expresin de la forma:

nx
f ( x )= b n Sen
n=1 L ( )
Ejercicio: Resolver la EDP (1) para L= ^L=1 y f ( x )=x (1x ) .

Solucin

( x , t ) =4 3 3
[ 1 (1 )n ] Sen ( nx ) Senh(nt)
n=1 n Senh ( n )

CONDICIONES INICIALES Y CONDICIONES DE FRONTERA

Todas las ecuaciones anteriores tienen infinitas soluciones. Para
capturar una solucin concreta aadiremos a la ecuacin un nmero
adecuado de condiciones adicionales, que pueden ser de dos tipos:
Condiciones iniciales: posicin, velocidad y temperatura. Estas
condiciones fijan el estado del objeto en el instante inicial.
Empezamos por la ecuacin de ondas, que es de segundo orden en el
tiempo, luego necesita exactamente dos condiciones iniciales; a
saber, fijar:
- La posicin inicial : ( x , 0 )=f (x ) para x ; y

- La velocidad inicial: t ( x , 0 )=g( x ) para x .

En cambio, la ecuacin del calor es de primer orden en el tiempo,
luego basta fijar la temperatura inicial: ( x , 0 )=f (x ) para x . Y,
para acabar, la ecuacin de Laplace/Poisson es esttica, luego no
tiene sentido fijar el estado inicial del objeto, ya que ese estado es
justamente la incgnita del problema. Sera como preguntar de qu
color es el caballo blanco de Santiago.
Condiciones de frontera: Dirichlet (valor fijo) y Neumann (flujo fijo).
Estas condiciones (tambin llamadas condiciones de contorno)
determinan la interaccin del objeto con el medio que lo rodea, luego
slo tienen sentido cuando el objeto estudiado tiene frontera. Por
ejemplo, la cuerda vibrante infinita no tiene frontera y las cuerdas de
una guitarra s. Hay de dos tipos de condiciones de frontera:
- Tipo Dirichlet: Consisten en fijar el valor de la funcin incgnita
en los puntos de la frontera.
- Tipo Neumann: Consisten en fijar el flujo" - es decir, el valor de
la derivada en la direccin normal a la frontera - de la funcin
incgnita en los puntos de la frontera.
Diremos que estas condiciones son homogneas cuando el valor (o el
flujo) fijado sea igual a cero.

Ejemplo 1. Un PVI de calor 1D en una barra de longitud L con

condiciones de frontera de tipo Neumann consiste en las ecuaciones:
 {
2
t =k xx x 0, L
t >0
( x , 0 )=f ( x ) x 0, L
x ( 0,t )=hl (t )
t >0
x ( L ,t )=h (t )

Donde la temperatura f : [ 0, L ] R y los flujos hl , h : [ 0, R son

funciones conocidas.
Ejemplo 2. Un PVI de Poisson 2D en un cuadrado de lado 2L barra
con condiciones de frontera de tipo Dirichlet homogneas consiste en
ecuaciones de la forma:

{
xx + tt =G ( x ,t ) , x L , L t L , L
( L , t )=0
t L , L
( x , L )=0, x L , L