Copyright 2006 by Tecnun (University of Navarra)

Ecuacin de difusin.


INTRODUCCIN
La ecuacin de difusin es de la forma

u
t
u
x
=
2
2
2
(1)
Esta ecuacin describe la conduccin de calor a travs de slidos. Por ejemplo, si se
considerara una barra de seccin transversal, uniforme y de material homogneo,
eligiendo el eje x como eje horizontal de la barra y haciendo coincidir los extremos
de la barra con los puntos x = 0 y x = , la ecuacin anterior describira la variacin
de temperatura a lo largo de la barra. La funcin incgnita u = u(x,t) depende de la
coordenada x de la barra, que variar entre 0 y y del tiempo t, que tomar valores
mayores que 0.
Para resolver la ecuacin (1), es preciso imponer ciertas condiciones iniciales y de
contorno sobre los extremos, que surgirn del estudio de algunos de los fenmenos
de naturaleza fsica en relacin con estos procesos de difusin. Algunos tipos de
condiciones de contorno sobre los extremos que pueden imponerse son los
siguientes:
1) Que uno o los dos extremos de la barra se mantienen a temperatura constante,
lo que da lugar a las condiciones
u t T ( , ) 0
1
= o bien u t T t ( , ) l = >
2
0
2) Que uno o los dos extremos de la barra se aslen para que no pase calor a travs
de ellos, lo que da lugar a las condiciones
u t
x
( , ) 0 0 = o bien u t t
x
( , ) l = > 0 0
3) Otro tipo ms general de condiciones de contorno surgen de imponer que el flujo
de calor a travs de uno o de ambos extremos de la barra es proporcional a la
temperatura en l, que se expresa en la forma
u t h u t t
x
( , ) ( , ) 0 0 0 0
1
= >
u t h u t t
x
( , ) ( , ) l l + = >
2
0 0
donde h
1
y h
2
son constantes no negativas de proporcionalidad.
Por ltimo, para determinar completamente el flujo de calor en la barra es
necesario conocer la distribucin de temperatura en un instante fijo, por ejemplo en
el instante t = 0. Esta es una condicin inicial que puede expresarse en la forma
u(x,0) = h(x) 0 x
Los problemas que se van a resolver en este tema van a consistir en determinar la
solucin de la ecuacin diferencial (1), sujeta a alguna de las condiciones de
contorno comentadas en cada uno de los extremos y a una condicin inicial del tipo
anterior.

MTODO DE SEPARACIN DE VARIABLES
Sea la ecuacin

u
t
u
x
=
2
2
2
(1)
con 0 < x < y t > 0. Supngase conocida la distribucin inicial de temperatura
u(x,0) = h(x) 0 x (2)
y supngase que los extremos de la barra se mantienen a temperaturas fijas
u t T ( , ) 0
1
= u t T t ( , ) l = >
2
0 (3)

Copyright 2006 by Tecnun (University of Navarra)

Se comenzar resolviendo el caso homogneo, es decir, cuando los extremos se
mantienen a temperatura nula, para a continuacin centrarse en el caso ms
general, que podr reducirse a ste.
Para resolverlo, se considera en primer lugar la ecuacin junto con las condiciones
de contorno sobre los extremos y a continuacin se impondr la condicin inicial. El
mtodo de resolucin empleado es el de separacin de variables, que consiste en
buscar soluciones de la forma
u(x,t) = f(x)g(t)
Derivando y sustituyendo en la ecuacin se obtiene
f g f g =
2

dividiendo por el producto fg

=
f
f
g
g
1
2

pero como f es slo funcin de x y g es slo funcin de t, entonces para que la
igualdad anterior sea cierta el cociente debe ser constante. Llamando a tal
constante

=

=
f
f
g
g
1
2

se obtienen las dos ecuaciones diferenciales siguientes
= f x f x ( ) ( ) 0
= g t g t ( ) ( )
2
0
Pero como u(x,t) debe ser tal que
u(0,t) = 0 y u( ,t) = 0 t
la funcin f(x) debe verificar las condiciones de contorno
f(0) = 0 y f( ) = 0
Luego, para hallar la solucin de la ecuacin (1), es preciso resolver el problema de
Sturm-Liouville regular homogneo para f:
f"(x) - f = 0
f(0) = 0 y f( ) = 0
Al resolver este problema hay que tener en cuenta los tres casos que pueden
presentarse en cuanto a los valores de
i) = 0
ii) > 0
iii) < 0
Puede observarse fcilmente que la nica solucin que puede obtenerse en los dos
primeros casos es la solucin trivial, por lo que habr que restringirse al caso iii) en
que = <
2
0. La solucin general de la ecuacin es
f x C x C sin x ( ) cos( ) ( ) = +
1 2

pero al imponer f(0) = 0, se llega a que C
1
= 0, y como tambin f( ) = 0 se tiene
que






, ,... l
l l
= = = = n
n n
n
2 2
2
12
Las soluciones asociadas a estos autovalores son
f x
n x
n
n
( ) sin

, ,... =

l
12
Resolviendo ahora la ecuacin diferencial para g
+ = g t
n
g t ( )

( )
2 2 2
2
0

l

se obtienen como soluciones

Copyright 2006 by Tecnun (University of Navarra)

g K e
n n
n t
=

2 2 2 2
l

Los productos de estas funciones f
n
y g
n
constituyen una familia infinita de
soluciones de la ecuacin de difusin (1), junto con las condiciones de contorno
homogneas. A tales soluciones
u
n x
e n
n
n t
=

sin

, ,...

l
l
2 2 2 2
12
se les llama soluciones fundamentales. Pero como la ecuacin (1) es una ecuacin
lineal y las condiciones de contorno son homogneas, cualquier combinacin lineal
finita de estas soluciones sigue siendo tambin solucin. Procediendo formalmente
tambin ser solucin la serie infinita
u x t C
n x
e
n
n t
n
( , ) sin

l
l
2 2 2 2
1
(4)
Las constantes C
n
se determinarn imponiendo la condicin inicial que falta por
considerar:
u x h x C
n x
n
n
( , ) ( ) sin

0
1
= =

l

Es decir, los coeficientes C
n
deben ser los coeficientes del desarrollo de la funcin
h(x) en serie de las autofunciones f
n
del problema de Sturm-Liouville. Por los
resultados vistos en temas anteriores se sabe que tales coeficientes vienen dados
por las frmulas
C
n x
dx
h x
n x
dx
n
=

1
2
0
0
sin

( ) sin

l
l
l
l
=
=

2
12
0
l l
l
( ) sin

, ,... h x
n x
dx n

(5)
Por tanto, la solucin de la ecuacin de difusin, junto con las condiciones de
contorno homogneas y la inicial (2), viene dada por la serie (4), siendo los
coeficientes C
n
los establecidos en las frmulas (5).
En principio, esta solucin obtenida es una serie formal, pero puede demostrarse
que en el intervalo 0 < x < y para todos los valores de t > 0, la serie converge a
una funcin continua cuyas derivadas u
t
y u
xx
pueden computarse por derivacin
trmino a trmino, y que verifica la ecuacin del calor y las condiciones de contorno
e iniciales establecidas. Adems

lim
t
u x t

= ( , ) 0
Ejemplo :
Un ejemplo donde surge un problema de este tipo es en el calentamiento sbito de
un bloque definido geomtricamente por
0 x
- < y < , - < z <
En el instante inicial est a una temperatura uniforme T
0
. En un cierto instante se
eleva la temperatura de los planos x = 0, x = a la temperatura T , que se
mantendr constante a lo largo de todo el proceso. Denotando por T(x,t) a la
temperatura, la ecuacin que verifica es

T
t
T
x
=
2
2
2
0 x (6)

Copyright 2006 by Tecnun (University of Navarra)

Para eliminar algunas constantes se hace un cambio de escala de la forma
siguiente. Se considera como nueva variable dependiente
( , )
( , )
x t
T x t T
T T
=

1
0 1

Esta nueva variable dependiente sigue verificando la ecuacin difusin (6), pero con
las condiciones iniciales y de contorno siguientes
(x,0)=1 0 x (7)
(0,t)=0=( ,t) t > 0 (8)
Si se efecta ahora un cambio de las variables independientes de la forma
x x =
l

t = t' donde se elegir convenientemente
entonces, considerando la funcin (x',t') la relacin entre las derivadas parciales es

2
2
2
2
2
2
x x
=

t t
=

1

quedando la ecuacin

=
t x

1
2
2
2
2
2
l

eligiendo de forma que


2 2
2
1
l
=
la ecuacin queda reducida a

t x
x
2
2
0 (9)
y las condiciones iniciales y de contorno se transforman en
( , ) = x x 0 1 0 (10)
( , ) ( , ) 0 0 0 = = > t t t (11)
quedando un problema anlogo al que se acaba de resolver. Se busca la solucin
por el mtodo de separacin de variables de la forma
( , ) ( ) ( ) = x t f x g t
derivando y sustituyendo en la ecuacin, se llega a

=
g t
g t
f x
f x
( )
( )
( )
( )

donde es una constante, lo queda lugar a las ecuaciones
g'(t) - g(t) = 0
f"(x') - f(x') = 0
Las condiciones de contorno implican
f(0) = 0 = f()
quedando el problema de contorno homogneo de Sturm-Liouville para f
f"(x') - f(x') = 0
f(0) = 0 = f()
razonando como se ha hecho antes se llega a la conclusin de los nicos valores de
que permiten obtener soluciones no nulas son los negativos = -
2
< 0, siendo la
solucin general
( ) ( ) f x C x C x ( ) cos sin = +
1 2

Al imponer las condiciones de contorno, se deduce que C
1
= 0 y que
= = n n
2
n = 1, 2,... son los autovalores

Copyright 2006 by Tecnun (University of Navarra)

siendo las autofunciones correspondientes
( ) f n x
n
= sin n = 1, 2,...
Para los valores de anteriores la ecuacin para g queda
+ = g n g
2
0
cuya solucin general es
( ) g t C e
n
n t
=

2

Luego, las soluciones fundamentales son
( )
n n
n t
x t C e n x ( , ) sin

=

2
n = 1, 2, .....
Considerando la serie infinita
( ) ( , ) sin

=

=

x t C e n x
n
n t
n
2
1

e imponiendo finalmente la condicin inicial, se determinan los coeficientes C
n
:
( ) ( , ) sin = =
=

x C n x
n
n
0 1
1
0 < x' <
es decir, los C
n
son los coeficientes del desarrollo en serie de las autofunciones f
n

de la funcin h(x') = 1

( )
( ) ( ) C
n x dx
h x n x dx h x n x dx
n
=

=

1 2
2
0
0 0
sin
( ) sin ( ) sin

( )
( ) =
2
1 1
n
n

n = 1, 2,...
Si n es par C
n
= 0
Si n es impar C
n
n
=
4

Por tanto, la solucin es

( )
( )
( ) ( )

( , )

sin

=

x t
n
e n x
n t
n
4 1
2 1
2 1
2 1
1
2

Deshaciendo los cambios de variable efectuados, se obtendra finalmente la
solucin T(x,t) buscada.

CONDICIONES DE CONTORNO NO HOMOGNEAS
Supngase ahora que uno de los extremos de la barra se mantiene a una
temperatura constante T
1
y el otro a una temperatura T
2
. El problema a resolver es

u
t
u
x
=
2
2
2
0 x > t 0
u t T ( , ) 0
0
= > t 0
u t T t ( , ) l = >
1
0
u(x,0) = h(x) 0 x
Para resolver este problema se utiliza la siguiente tcnica. Cuando el tiempo t se
hace suficientemente grande, cabe esperar que se alcance una distribucin de
temperatura estable que sea independiente del tiempo y de la condicin inicial. A
una tal funcin se la denotar por v(x). Entonces, la solucin u = u(x,t) buscada se
descompone en
u(x,t) = v(x) + w(x,t) (1)
de modo que
w(0,t) = 0
w( ,t) = 0

Copyright 2006 by Tecnun (University of Navarra)

v(0) = T
0

v( ) = T
1

y como adems u(x,t) es solucin de la ecuacin de difusin

2
2
2
2
2

v
x
w
x
w
t
+

=
pero v(x) debe seguir verificando esta ecuacin, luego cumplir

2
2 1 2
0
v
x
v C x C = = +
y al imponer las condiciones de contorno
v T ( ) 0
0
=
v T ( ) l =
1

se obtiene
v x
T T
x T ( ) =

+
1 0
0
l
(2)
Finalmente, falta obtener w(x,t) que sigue verificando la ecuacin de difusin,

2
2
2

w
x
w
t
=
con condiciones de contorno nulas,
w(0,t) = 0
w( ,t) = 0
y con la condicin inicial
w(x,0) = h(x) - v(x)
Este problema es el que se ha resuelto ya en el apartado anterior, quedando de
esta forma perfectamente determinada la funcin u(x,t), como suma de la funcin
v(x) obtenida en (2) y de esta w(x,t).

EXTREMOS AISLADOS

Supngase ahora que los extremos de la barra estn aislados, es decir que no hay
trasvase de calor a travs de ellos. Esto se expresa mediante las siguientes
condiciones de contorno

( )

u t
x
0
0
,
=

( )

u t
x
l,
= 0
supuesto que se aslan ambos extremos.
Por tanto, el problema a resolver ahora es

u
t
u
x
=
2
2
2
0 x > t 0

( )

u t
x
0
0
,
=
( )

u t
x
l,
= 0 > t 0
u(x,0) = h(x) 0 x
Buscando de nuevo la solucin por separacin de variables
u(x,t) = f(x)g(t)
se obtienen las dos ecuaciones diferenciales ordinarias siguientes
f" - f = 0
= g g
2
0
Pero en este caso las condiciones de contorno implican que

Copyright 2006 by Tecnun (University of Navarra)

f'(0) = 0 = f'( )
por lo que f debe ser solucin del problema homogneo de Sturm-Liouville
f" - f = 0
f'(0) = 0 = f'( )
Supuesto en primer lugar = 0, la solucin general de la ecuacin es
f x C x C ( ) = +
1 2

Como f'(0) = 0 C
1
0 = , quedando f x C ( ) =
2
, funcin que ya verifica la otra
condicin de contorno. Luego, = 0 es autovalor.
Puede observarse fcilmente que no puede ser positivo, por lo que nos
restringiremos al caso en que = -
2
0 < :
( ) ( ) f x C x C x ( ) cos sin = +
1 2

( ) ( ) = + f x C x C x ( ) sin cos
1 2

como f'(0) = 0 C
2
0 =
y como f'( ) = 0 l = n

=
n
l


=
n
2 2
2

l
n = 1, 2,...
Para estos autovalores, las correspondientes autofunciones son
f
n x
n
= cos

l
n = 1, 2,...
Resolviendo la ecuacin diferencial para g:
para = 0 g' = 0 g(t) = C
para

=
n
2 2
2

l

+ = g
n
g

2 2 2
2
0

l

g t K e
n
n t
( )

=

2 2 2 2
l

Por tanto, se obtiene la familia de soluciones fundamentales
u C
0 0
=
u C e
n x
n n
n t
=

cos


2 2 2 2
l
l
n = 1, 2,...
La suma infinita de estas soluciones seguir siendo solucin de la ecuacin y de las
condiciones de contorno homogneas. Falta imponer nicamente la condicin
inicial:
u x t C C e
n x
n
n t
n
( , ) cos


= +

=

0
1
2 2 2 2


l
l

u x h x C C
n x
n
n
( , ) ( ) cos

0
0
1
= = +
=

l

Luego, los C
n
son los coeficientes del desarrollo en serie de las autofunciones
obtenidas, de la funcin h(x), y vienen dados por
C
dx
h x dx h x dx
0
0
0 0
1
1
1
= =

( ) ( )
l
l l
l

C h x
n x
dx
n
=

2
0
l l
l
( ) cos

n = 1, 2,..
quedando as resuelto completamente el problema.
Puede observarse que la solucin obtenida es suma de una distribucin de
temperatura estable independiente del tiempo (la constante C
0
), y de una
distribucin transitoria (la constituda por el resto de los trminos de la serie
infinita), que tiende a cero para valores grandes de t. El que la distribucin de

Copyright 2006 by Tecnun (University of Navarra)

temperatura estacionaria sea constante, en este caso, es consistente con el hecho
de que al no existir trasvase de calor por los extremos, cabe esperar que el proceso
de conduccin de calor suavice gradualmente la temperatura de la barra.

Nota:
El mtodo de separacin de variables puede utilizarse tambin para resolver la
ecuacin de difusin con otro tipo de condiciones de contorno, diferentes a las
vistas aqu. Se podr emplear incluso con ecuaciones en derivadas parciales ms
generales, describiendo fenmenos de difusin ms complejos en los que existen
otras fuentes de calor. En general, se podr utilizar, siempre que las ecuaciones
diferenciales a las que da lugar, junto con las condiciones de contorno e inicial
fijadas constituyan un problema homogneo de Sturm-Liouville.