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
la temperatura del alambre en el punto

(x , t)

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
( x , 0 )=f ( x ) ,
x 0, L
Condicininicial

(1)

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
Donde

(2)

son funciones desconocidas no nulas que

x
t
dependen solamente de
y
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 0, L , t> 0
X Y =X ' ' Y ,

Y ' X''
=
Y
X ,

x 0, L , t > 0

Como las variables

son independientes, la nica posibilidad

para que la igualdad anterior se produzca es que exista una constante

R tal que:
Y ' X''
=
= ,
Y
X

x 0, L , t> 0

Imponiendo condiciones de contorno:

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

(3)

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

Donde

(5)

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

Utilizando CC, se tiene nuevamente que:

Con

c1 , c2 R

c 1=c 2=0

As:
X ( x )=0

Solucin trivial

<0 :

2 Si

X ' ' + X=0

Utilizando CC, se tiene:

X ( x )=c 1 e x + c2 e x

Con

c1 , c2 R

c 1=c 2=0

As:
X ( x )=0

Solucin trivial

>0 :

3 Si
''

X + X=0

X (x )=c 1 cos( x )+ c2 Sen ( x)

Con

c1 , c2 R

c 1=0

Utilizando CC, se tiene:

c 2 Sen ( L )=0

c 2=0
2
( n)
= 2
L

Como deseamos soluciones no nulas, tomamos:

2
(n )
= 2
Para algn n N
L
As:
X n ( x )= A . Sen(

2. Resolviendo

nx
)
L

Soluciones no nulas, donde

A R

Y ' + Y =0 ; t >0 .

Y
=
Y

ln ( Y )=t+ c

Y =et +c =e c . et =B et

Y =B et
2

Reemplazando el valor de

(n )
L2

, se obtiene:
2

Y n ( t )=B e

(n )
t
2
L

3. Solucin del problema planteado:

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

nx
n ( x , t ) =C Sen (
)e
L

n t
2
L

Soluciones de la ecuacin
del calor, donde C R .

Verificando la condicin inicial:

Si t=0 , entonces:
n ( x , 0 )=C Sen
Luego el valor de

( nxL )=f ( x)

C , depende de la forma que tenga

f ( x) ;

Por ejemplo si

f ( x )=3 Sen(

5 x
)
L

n=5
{C=3

( x , y )=3 Sen(

5 x
) .
L

25
t
2
L

Del mismo modo, por la linealidad, si

f ( x )=3 Sen

( 5Lx )+2 Sen( 7Lx )

entonces:
2

5 x
( x , t ) =3 Sen
e
L

( )

25 t
2
L

7 x
+ 2 Sen
e
L

( )

49 t
2
L

En general, si:
N

f ( x )= b n Sen
n=1

( nxL )

Entonces:
N

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

( )

n t
2
L

Solucin de la ecuacin del calor

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
L
n=1

( )

Nos permite expresar formalmente la solucin del problema

dado de la ecuacin del calor como:

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

( )

n t
2
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:

f ( x ) Sen

( kxL ) dx ; k Z

bk =

L0

Ejemplo 1: Resolver la ecuacin del calor del problema anterior si

f ( x )=x (1x )
x [ 0,1 ] .
Solucin
f (x)

1. Expresando
en trminos de senos:
+
k Z , se tiene que:
L

bk =

2
dx
f ( x ) Sen kx
L0
L

( )

. (1)

Para nuestro caso:

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

As:
1

bn =2 x (1x ) Sen ( nx ) dx=

0

4 [ 1(1)n ]
n3 3

Siendo:

f ( x )= b n Sen
n=1

( nxL )

Entonces:

[ 1(1) ] Sen ( nx )
nx
f ( x )= b n Sen
=4
L
n3 3
n=1
n=1

( )

Siendo adems:

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

( )

n t
2
L

=4
n=1

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

n3 3

Por lo tanto:

( x , t ) =4
n=1

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

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 )=t ( L ,t ) ,
t> 0
Condiciones de contorno
( x , 0 )=f ( x ) ,
x 0, L
Condicininicial

(1)

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
Para algn n N
L
Luego:
X n ( x )= A . cos(

nx
)
L

Soluciones no nulas, donde

A R

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

funcin f ( x ) debe ser expresada en la forma:
f ( x )=

a0
nx
+ a cos (
)
2 n=1 n
L

Que se Conoce como la serie de Fourier de cosenos de

f ( x ) cos

( kxL ) dx ; k Z

f ( x ) , donde:

an =

L0

Finalmente, la solucin del problema queda expresado como:

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

( )

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
f (x)

1. Expresando
en trminos de cosenos:
+
k Z , se tiene que:
L

ak =

2
dx
f ( x ) cos kx
L0
L

( )

. (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:

an=

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

n2 2

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

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

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

( )

2. Solucin del problema planteado:

n t

[
1+(1)n ]
1 2
(x , t)= 2
cos ( nx ) e L
2
6 n=1
n
2

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
L y densidad
vibraciones de una cuerda elstica de longitud
constante, sujeta por los extremos y de la cual conocemos la posicin

 (x , t)

del punto

de la cuerda en el instante

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)
x 0, L
Condiciones iniciales
t ( x ,0 )=g(x )

(1)

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
Donde

(2)

son funciones desconocidas no nulas que

x
t
dependen solamente de
y
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''
=
Y
X ,

Como las variables

x 0, L , t> 0

son independientes, la nica posibilidad

para que la igualdad anterior se produzca es que exista una constante

R tal que:
Y '' X''
=
= ,
Y
X

x 0, L , t> 0

De la relacin (3), obtenemos:

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

Donde

(3)

(4)

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:

2
(n )
= 2
Para algn n N , si tomamos:
L
Se obtiene las soluciones no nulas:
nx
X n ( x )= A . Sen(
)
L
2 Solucin de la EDO para
Resolviendo la EDO:

Y :

en esta EDO y resolviendo se obtiene:

Y n ( t )=c 1 cos
c1 , c2 R

As, siendo

( ntL )+ c Sen ( ntL )

2

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

n ( x , t ) =X n ( x ) . Y n (t )= A . Sen(

A R

Y + Y =0, t >0

Reemplazando el valor de

Donde

Donde

Por lo tanto para cada

[ ( )

nx
nt
nt
) c1 cos
+ c2 Sen (
)
L
L
L

+
n Z , una solucin bsica de la

ecuacin de Ondas es:

n ( x , t ) =Sen (
Donde

an , bn R

[ ( )

nx
nt
nt
) a n cos
+ bn Sen (
)
L
L
L

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 (
)
L
L
L
n=1

[ ( )

Es decir:

nx
)
L
n=1

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

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
n=1

[ 1 (1 )n ] Sen ( nx ) cos (nt )

3

Ejercicio 6: Resolver el ejemplo 4, para

L=1 ,

f ( x )=0

g ( x ) =x(1x)

Solucin
[ 1 (1 )n ] Sen ( nx ) Sen(nt )
( x , t ) =4
n4 4
n=1

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

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

con

condiciones de frontera de tipo Neumann consiste en las ecuaciones:

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

funciones conocidas.
Ejemplo 2. Un PVI de Poisson 2D en un cuadrado de lado

2L

son
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