DEDUCCION MATEMATICA DE LA ECUACION DEL CALOR

*
BARAJAS CALONGE JUAN DAVID

1 de agosto de 2017

*
Universidad de Cordoba

1
Empezamos derivando la solucion fundamental de la ecuaion del calor. Usemos la propiedad de
invariancia de escala de la ecuacion del calor. Sea a > 0 una constante dada e introducimos el
cambio de variables t = a2 t y x = ax. Entonces la ecuacion del calor no se altera, en efecto, notese
que,

ut = ut tt = a2 ut

ux = ux xx = aux

uxx = a(ux x xx ) = a2 ux x

De ese modo,
ut = kux x .

Esta invariancia de escala sugiere que busquemos soluciones de la forma autosimilar,

( )
x
u(x, t) = t v

t

para algun R. Sea y = x

t
. Luego,
( y) 1
ut = t1 v(y) + t v (y) = t1 v(y) t1 yv (y)
2t 2
1
ux = t 2 v (y)

uxx = t1 v (y)

De ese modo, sustituyendo en la la ecuacion del calor obtenemos que,

1
kt1 v (y) + t1 yv (y) t1 v(y) = 0
2

Como t1 = 0 para cualesquier valor de , entonces,

1
kv (y) + yv (y) v(y) = 0. (1)
2

Para seleccionar introducimos la propiedad de la conservacion de la energa, la cual deseamos que

sea satisfecha por nuestra solucion. Supongamos que u es una solucion de la ecuacion del calor con

la propiedad | u(x, 0)dx| < , y ux (x, t) 0 cuando x . Ahora bien, tenemos que

u(x, t) 2 u(x, t)
=k
t x2

Integrando con respecto a x la ecuacion en todo R obtenemos que,

2
u(x, t) u(x, t)
dx = k dx
t x2
esto es,

d
u(x, t)dx = k lm ux (x, t)|uu = 0
dt u

es decir,

d
u(x, t)dx = 0
dt
Integrando respecto a t se sigue que,

u(x, t)dx = M (2)

donde M es una constante. Dado que,

( )
x 1
v dx = t 2 v(y)dy,
t

Lo cual sugiere escalar la funcion v por t 2 , esto es,

1

( )
1 x
u(x, t) = v
t t
esto es, elegimos = 12 . Con esta escala, el calor es conservado en el sentido de (2).
Ahora (1) toma la forma,
1 1
kv (y) + yv (y) + v(y) = 0
2 2
esto es,
1
kv (y) + (yv(y)) = 0
2
Por lo tanto,
1
kv (y) + yv(y) = N
2
Donde N es una constante. Debido a que solo buscamos una solucion, es conveniente tomar N = 0,
resultando una ecuacion de primer orden homogenea que tiene solucion general,
y2
v(y) = Ae 4k

Volviendo a las variables (x, t) obtenemos que,

1 x2
u(x, t) = A e 4kt
t
Elegimos A de tal manera que M = 1 en (2). As,

1 x2
1= u(x, t)dx = A e 4kt dx
t

1 x2
= A e 4kt dx
t
( )2 ( )
A 4kt 4kt x x
= e d
t 4kt

= A 4k
Por lo tanto, A = 1 . De esta manera, la solucion fundamental de la ecuacion del calor es,
4k

1 x2
(x, t) = e 4kt
4kt

Ahora procederemos a resolver el problema de Cauchy,

ut = kuxx < x < , t>0 *

u(x, 0) = g(x) < x < **

Tenemos que,
1 x2
(x, t) = e 4kt
4kt
por la invariancia de la traslacion, (x y, t) es una solucion de (*) para todo y. Por lo tanto,

(x y, t)g(y)

es una solucion de (*).

Por la linearidad y la homogeniedad de la EDP, podemos tomar combinaciones lineales de soluciones,
lo cual sugiere que,

u(x, t) = (x y, t)g(y)dy (3)

Mostremos ahora que (3) satisface el problema de Cauchy para la ecuacion del calor. Para ello
probemos el siguiente resultado,

Teorema. Sea g C(R) acotada, y sea u(x, t) dada por (3), entonces,

1. u es C en R (0, );

2. u satisface la ecuacion del calor,

ut = kuxx

x R, t > 0;

3. lm u(x, t) = g(x0 ), para todo x0 R

(x,t)(x0 ,0)

Demostracion. 1. Sea t > 0 dado. Como es C en R (0, ) y,

nu n
= g(y)dy
xn xn

para todo n N, entonces se sigue que, u C en R (0, ).

2. Sean x R y t > 0 dados. Como las integrales para u, ut y uxx convergen y dado que g C(R)
es acotada, entonces se sigue que,

(x y, t)
ut = g(y)dy
t

y,

2 (x y, t)
uxx = g(y)dy
x2
As

(x y, t)
ut = dy
t
( 2 )
(x y, t)
= k g(y)dy
x2
2
(x y, t)
=k g(y)dy
x2
= kuxx

Esto es, ut = kuxx , es decir, u satisface la ecuacion del calor.

3. Sean x0 R y > 0 dado. Como g es continua en R entonces existe > 0 tal que,

y R, |y x0 | < implica que |g(x0 ) g(y)| < (4)
2

Luego,
 
 
|u(x, t) g(x0 )| =  (x y, t)g(y)dy (x y, t)g(x0 )dy 


 
=  (x y, t)(g(y) g(x0 ))dy 
 
 
 
= (x y, t)(g(y) g(x0 ))dy + (x y, t)(g(y) g(x0 ))dy 
 |x0 y|< |x0 y| 
   
   
   
 (x y, t)(g(y) g(x0 ))dy  +  (x y, t)(g(y) g(x0 ))dy 
 |x0 y|<   |x0 y| 

Sean,  
 
 
I :=  (x y, t)(g(y) g(x0 ))dy 
 |x0 y|< 
y  
 
 
J :=  (x y, t)(g(y) g(x0 ))dy  .
 |x0 y| 
Ahora bien, por (4) se sigue que,

I (x y, t)|g(y) g(x0 )|dy
|x0 y|<


< (x y, t)dy (x y, t)dy
2 |x0 y|< 2

=
2

As, I < .
2
De otro lado como g es acotada entonces existe K > 0 tal que |g(y)| K para todo y R.
Por lo tanto,

J (x y, t)|g(y) g(x0 )|dy
|x0 y|

2K (x y, t)dy
|x0 y|

1 (xy)2
= 2K e 4kt dy
|x0 y| 4kt

Consideremos |x x0 | < . Ahora, en la region |x0 y| , y R tenemos que,
2

|x0 y| |x0 x| + |x y| < + |x y|
2

esto es,
|x0 y| |x0 y|
|x y| > |x0 y| |x0 y| =
2 2 2
|x0 y|
As, |x y| > , para todo y R tal que |x0 y| . Luego,
2

K 1 (x0 y)2
J e 16kt dy
k |x0 y| t

4K y x0
Sean C = y z = . As,
4 kt

K 1 2
J ez 4 ktdz
k |z|4 kt t

ez dz = C ez dz
2 2
=C
|z|


4 kt 4 kt

Notemos que,

ez dz = C lm ez dz
2 2
J = lm J C lm
t0+ t0+
w w
4 kt
Afirmacion:

ez dz = 0
2
lm
w w

En efecto, notese que ez

2 1 1
z2
para todo z > 0. Sea > 0 dado. Elijamos M := > 0. Si
w > M , entonces,
 
 
 e z 2 
dz  z 2
|e |dz = ez dz
2

w
w w
s
1 1
2
dz = lm dz
w z s w z 2
( )
1 1 1 1
= lm = < =
s s w w M

As,

ez dz = 0
2
lm
w w

En consecuencia,

ez dz = 0
2
lm
t0+ z

4 kt

Por lo tanto, existe > 0 tal que, t < implica que,

ez dz <
2

z 2C
4 kt

As,
( )
ez dz < C
2
J C =
z
2C 2
4 kt

para todo t < . Elijamos := mn{, } > 0. Luego si, |(x, t) (x0 , 0)|| < , entonces

|u(x, t) g(x0 )| I + J < + =
2 2

Por lo tanto,
lm u(x, t) = g(x0 )
(x,t)(x0 ,0)