El mtodo de separacin de variables (MSV) se basa principalmente en las

propiedades de los operadores lineales simtricos: principio de superposicin y las

posibilidades de aproximar funciones suficientemente regulares mediante series de
Fourier (SF).
Al separar los problemas por el MSV, se define el problema adjunto como un
problema de contorno dependiente del parmetro resultado de la separacin. Las
soluciones no triviales de dicho problema, las autofunciones en el contexto de los
operadores lineales simtricos y regulares: senx , cos x , senx, cos x , etc.
constituyen una base ortonormal del espacio de las soluciones. Representando los datos
en SF de dichas autofunciones, podremos conocer las constantes de la solucin de la
representacin mediante SF de la solucin.

s,

ne

ge

mo

ho

no

no

do

an

cu

am

Ad

ig

Pu

de

as

ad

riv

De

le

ab

ri

rte

pa

la

qu

de

s,

ne

cio

un

tof

au

es

ial

nc

ere

dif

es

en

ne

io

ac

cu

va

de

ci

ra

so

ca

los

mo

co

as

las

de

rm

fo

sm

ion

ac

cu

s:

ro

an

rm

be

Ha

__

__

pa

se

de

od

in

ac

lic

ap

la

mi

la

ne

tie

les

lib

los

so

da

da

de

ale

rci

pa

as

er.

__

__

__

__

__

__

al

ci

uc

ist

ns

co

qu

en

cia

ini

es

on

ici

nd

ior

ter

an

lo

en

om

rec

af

gr

lio

ad

riv

de

en

es

ion

rg

be

ein

de

__

__

__

od

tr

In

iar

tud

1es

co

las

de

de

ce

su

bib

La

ac

cu

ale

rci

Pa

Como ejemplo en esta clase utilizaremos la ecuacin del calor, lo que nos permitir

Breve introduccin al mtodo de separacin de variables

Como introduccin al tema, sea el problema de condiciones mixtas de contorno e
iniciales en ecuaciones en derivadas parciales (EDP) homogneo dado por:

Lu

0, x

0, l , t

u(0, t )

u (l , t )

u( x, 0)

f ( x)

La solucin general del problema homogneo con las condiciones de contorno

homogneas vendr dada en trmino de las autofunciones del PA y tendr la forma
u ( x, 0)

cn

( x)

n 1

Como el desarrollo de la SF de f(x) en trmino de las autofunciones tendr la forma:

f ( x)

fn

( x)

n 1

las cn de la solucin anterior se determinarn, tras aplicar la condicin inicial,

identificndolos con los trminos del desarrollo en serie de Fourier de f ( x) :
f n cn
n
Antes de empezar, veamos someramente las propiedades de los Operadores
lineales: Se dice que un operador es lineal cuando cumple:
L(c1u1 c2u2 )

c1L(u1 ) c2 L(u2 )

Los operadores lineales cumplen las siguientes propiedades bsicas:

2

a) Si la ecuacin es homognea: Lu

un cn para un

uH

Ncleo de L

n 1

u H es combinacin lineal de las soluciones del ncleo, que forman un

espacio vectorial de dimensin el orden de la ecuacin (se ha supuesto dos).
b) Si el problema es completo: Lu F u uH u p , donde u p es una solucin
particular cualquiera de la ecuacin no homogenea. Las soluciones del problema
completo constituyen un espacio afn asociado al espacio vectorial de la
ecuacin homognea.
Lu f1 f 2
c) Se cumple el principio de superposicin: Sea
la solucin del problema completo es la suma de las soluciones para cada
problema completo parcial:

Lu

f1

u1

Lu

f2

u2

u1 u2

teniendo en cuenta que ambos problemas comparten solucin homognea pero

no particular: u uH u p1 u p 2

Vamos a centrarnos en una aplicacin tpica del mtodo de separacin de

variables es la de la ecuacin del calor para iniciar su descripcin. Antes de considerar
esta aplicacin, hay que tener en cuenta que el mtodo de separacin de variables es
aplicable nicamente cuando las condiciones de contorno son homogneos.
Dicho esto, sea el problema de conduccin del calor en que se tiene una barra
de longitud l, aislada del exterior (F=0), con temperaturas u0 , ul fijas en los extremos
y una distribucin de temperaturas inicial que depende de f ( x) :
Lu

ut

k1 u xx

0, x ]0, l[

k1

u (0, t ) u0
u (l , t ) ul
u ( x, 0)

f ( x)

Las condiciones de contorno son separables pero no tienen por qu ser

obligatoriamente de tipo Dirichlet, repetir el ejercicio con otras condiciones de
contorno.
En el mtodo de separacin de variables (MSV) los pasos que hay que seguir
son los siguientes:
1) Hacer un cambio de variable con el fin de homogeneizar las condiciones de
contorno: probaremos soluciones ( x) Ax B / B u0 , Al u0 ul
ul u0
( x)
x u0 , que es la solucin estacionaria del problema de
l
transmisin de calor. Hacemos el cambio de variable dependiente:
u u
( x) , de modo que el problema queda:
Lu 0
u (0, t ) u (l , t ) 0
u ( x, 0) f ( x)

(1)

que representa el transitorio que se produce en la barra hasta alcanzar el

rgimen estacionario.
2) El mtodo de separacin de variables se basa en obtener una solucin que
es producto de dos funciones dependientes cada una de ellas de una sola
variable del problema:

u( x, t )

X ( x)T (t )

Entrando con esta hiptesis en la ecuacin:

XT k1 X T

dividimos por XT para separar de esta forma la parte en X de la parte en T e

igualamos, para poder hacerlo igualamos a una constante
:
T
k1T

X
X

obtenindose por tanto, los dos problemas separados:

T k1T
X X

0
0

t 0
x ]0, l[

3) Consideramos ahora las condiciones de contorno homogneas:

u(0, t ) 0 X (0)T (t )
u(l , t ) 0 X (l )T (t )
como las soluciones triviales no interesan, entonces

T (t ) 0

X (0)

X (l ) 0

4) Se resuelve el problema en T:
T

k1T

0
r
k1 0
T cexp( k1t )
como lo que se busca es la solucin del transitorio, cuando t tiende a infinito
T 0
0
5) Resolvemos el problema en X, que recibe el nombre de problema adjunto
(PA) al problema de partida y que depender del tipo de operador lineal.
Como vimos en la clase anterior, por tratarse del mismo operador lineal y
condiciones de contorno, se tiene:
2

n
n x
sen
n
n
n ( x)
l
l
Interpretndose como:
n x
X n ( x) cn sen
n
l
y que nos permite reducir el rango de valores de

Entrando de nuevo en el problema en T:

T

n k1T

Tn

cn exp

n
l

k1t , n

Obtenindose un infinito numerable de soluciones en T.

Unificando las constantes en una nica, las soluciones generales del problema
homogneo sern:

un ( x, t ) cn exp(

k t ) sen

n 1

n x
l

6) Nos ocupamos ahora de la condicin inicial en t = 0:

n x
,
l
consideremos para ello distintas funciones f ( x) :
3 x
a) f ( x) 4sen
l
un ( x, 0)

cn sen

del infinito grupo de soluciones, aquella que cumple esta condicin inicial es:
cn 4
n 3

9 2
3 x
luego la solucin ser: u1 ( x, t ) 4exp(
; cn
k1t ) sen
2
l
l

n 3

3 x
8 x
7 sen
l
l
3 x
8 x
donde f1 ( x) 4sen
y f 2 ( x) 7 sen
l
l
aplicamos el principio de superposicin, obtenindose:
f1 ( x) cn 4 n = 3
f 2 ( x) cn 7 n = 8
b) f ( x) 4sen

u2

7 exp

64 2
8 x
k1t sen
2
l
l

u1 u2

En el caso en que f ( x)

f n , se procedera de forma anloga, aunque en general

n 1

f ( x) no es de la misma forma que la solucin.

En general, cuando m
, lo que hacemos es aproximar f ( x) utilizando
autofunciones en forma de series de Fourier:
f ( x)

fn

( x)

n 1

donde :
l

f, n
f ( x) g ( x)dx
con la mtrica f , g
n
n, n
0
Aplicndolo al problema de contorno que nos ocupa de la ecuacin del calor:
n x
f ( x)
f n sen
l
n 1
fn

fn

f ( ) sen
0

n
l

d l
sen

1
2 n
l

2
n
f ( ) sen
d
l 0
l

fn

luego
u ( x, 0)

cn sen
n 1

cn

fn

n x
l

f n sen
n 0

n x
l

Y por tanto la solucin ser:

l

2
n
f ( ) sen
d exp
l
1 l 0

u ( x, t )
n

k t sen

n 1

n x
l

Como caso particular tendramos aqul en que f ( x)

l

fn
=

2k 2
n
sen
d
l 0
l

2k 2
cos n
n

2k 2 l
n
cos
l n
l

cte

=
0

2k 2
1 cos n
n

cos n

( 1) n

cosn
cosn

1 si n es par
-1 si n es impar
fn

k2

n 0

0 si n es par
4k2
si n es impar
n

fn
luego:

n2

4k 2
n x
sen
exp
l
1 n

4k 2
(2c 1) x
sen
exp
l
0 (2c 1)

u ( x, t )
u ( x, t )

k1

t , siendo n impar
(2c 1)2
l2

k1