Facultat de Matemtiques i Estadstica Universitat Politcnica de Catalunya Leccin inaugural del curso 2003-2004 22 de setiembre de 2003

La ecuacin del calor

Professor Luis Caffarelli Departament of Mathematics University of Texas at Austin

Fourier La ecuacin del calor fue propuesta por Fourier en 1807en su memoria sobre la propagacin del calor en los cuerpos slidos. En ella propona adems el germen de lo que pasara a ser la Teora de las Series de Fourier. Tan controvertida fue esta ltima, que tom quince aos, hasta 1822, para que la Academia de Ciencias decidiese publicarla.

Modelos matemticos La ecuacin del calor es un modelo matemtico (quizs el ms sencillo) que trata de describir la evolucin de la temperatura en un cuerpo slido. Consideremos, para simplificar la presentacin, una barra metlica aislada de longitud uno ( 0 x 1 ), inicialmente a temperatura cero, que despus de un cierto tiempo, t0 , hemos calentado a una temperatura T ( x, t0 ) manteniendo sus extremos, x = 0 y x = 1 , a temperatura cero. A partir de ese instante, t0 , dejamos que la temperatura T ( x, t0 ) evolucione libremente y estamos interesados en un modelo matemtico que nos permita predecir la temperatura T ( x, t ) para todo x en el intervalo [0,1], en todo tiempo futuro (es decir, para todo t > t0 ), a partir de nuestro conocimiento de T ( x, t0 ) = T0 ( x) y del hecho que para x = 0 o x = 1 la temperatura permanece igual a cero.

Naturalmente no hay un nico modelo. Hay infinitos, dependiendo de la precisin y el rango de valores en que pretendemos sea vlido (altas o bajas temperaturas cambiarn el comportamiento del material, impurezas podran ser relevantes, etc.). El modelo propuesto por Fourier puede sintetizarse as: 1. La energa (calrica) necesaria para llevar un trozo de la barra de longitud de temperatura cero a temperatura T es proporcional a T (i.e., la densidad de energa, e = kT , es proporcional a la temperatura, con k una constante caracterstica del material). 2. La energa fluye de las zonas de mayor temperatura a las de menor temperatura. Ms precisamente, la densidad de flujo de energa es

f ( x) = DxT
(o f ( x) = T en varias dimensiones), nuevamente es una constante caracterstica del material. 3. La energa se conserva. Si tomamos un trozo de barra, , la energa contenida en en el instante t2 es igual a la energa que haba en en el instante t1 ms el flujo de energa que penetr en los ex tremos x1 , x2 en el intervalo de tiempo de t1 a t2 . Matemticamente:

Si dibujamos el rectngulo t ,

( e( x, t2 ) e( x, t1 ) ) dx = t ( f ( x2 , t ) + f ( x1 , t ) ) dt
1

t2

la primera integral ocurre en los bordes superior e inferior, mientras que la segunda ocurre en los laterales. Para poder compararlas, necesitamos poder escribirlas en un dominio comn, el rectngulo. Lo logramos tomando derivadas:

Dt e( x, t ) dx dt =

Dx f ( x, t ) dx dt

Como esta relacin se debe verificar para cualquier rectngulo, no importa cuan pequeo, necesariamente los integrandos deben ser iguales: Dt e + Dx f = 0 . Recordando las expresiones de e y f en funcin de T, obtenemos la ecuacin

kDt T = DxxT

En trminos actuales las relaciones 1) y 2) se denominan leyes constitutivas, y establecen relaciones puntuales entre las variables de estado, e, f, T y sus derivadas, que dependen de las carctersticas del material, etc. La relacin 3), en cambio, es de ndole diversa, es una ley de conservacin, y establece que ciertas cantidades (masa, energa, etc.) se conservan a travs de un proceso. Eso no quiere decir que sean puntualmente constantes. En un gas, por ejemplo, la masa fluye de una parte a otra. Lo que una ley de conservacin hace es postular la existencia de una variable conservada, e, y un flujo, f , que satisfacen Dt e + Dx f = 0 . (o Dt e + div f = 0 ). En definitiva, escribir un modelo matemtico consiste en elegir aquellas variables de estado que son relevantes para el fenmeno que queremos describir, encontrar (en general experimentalmente) sus leyes constitutivas, y como se conservan.
Existencia y unicidad

Quizs la variacin ms importante que han sufrido estas ideas hoy en da est en tomar en cuenta efectos aleatorios. Independientemente de cuan bueno sea un modelo matemtico para representar la realidad, debe tener un mnimo de coherencia interna. Si las relaciones que especificamos son excesivas, sern en general contradictorias y nuestro problema puede no tener solucin.

Si son muy pocas, puede que tengamos muchas soluciones distintas, cuando en realidad esperamos tener una solucin nica. Por eso el prximo paso de Fourier fue tratar de encontrar solucin al problema. Dada la temperatura inicial, T0 ( x) , y la condicin

T (1, t ) = T (0, t ) = 0
para todo t > t0 , se trata de demostrar que existe una nica funcin T ( x, t ) que satisface la ecuacin (hacemos k = = 1 ).

Tt = Txx

Intentemos primero encontrar algunas soluciones para T0 particulares de la forma

T ( x, t ) = T0 ( x) g (t ).

Para ello es necesario que

g (t )T0 ( x) = g (t )T0 ( x)
o que

g (t ) T0 ( x) = = constante g (t ) T0 ( x)
(la nica forma posible para que dos funciones de variables distintas sean iguales es que sean constantes, ya que podemos fijar t y variar x sobre todos sus valores posibles). Como T0 (0) = T0 (1) = 0 , los nicos pares posibles son

T0 ( x) = sen (n x) g (t ) = e ( n ) t .
Pero el problema que estbamos considerando es lineal. Por lo tanto, cualquier combinacin de soluciones
2

T ( x, t ) = cn sen (n x)e ( n )
es una nueva solucin, con dato inicial

T0 ( x) = cn sen (n x) .

Fourier demuestra entonces que cualquier funcin T0 (digamos continuamente diferenciable, con T0 (0) = T0 (1) = 0 ) puede expresarse de esa manera, y da una formula para los coeficientes. Nace as el anlisis de Fourier, tan revolucionario que tom quince aos para que matemticos de la poca aceptaran que una serie de funciones altamente oscilatoria como es sen (n x) pueda representar, por ejemplo, un arco de parbola o una poligonal.
Anlisis armnico

El anlisis de Fourier ha pasado a llamarse anlisis armnico. Podemos decir que consiste en describir una funcin no por sus caractersticas especiales (donde es grande, donde es pequea), sino por la influencia que cada frecuencia ( sen x ) tiene en su composicin. Como tal, ocupar un lugar fundamental en todo lo que se relaciona a teora de ondas, transmisin de todo tipo de seales, reconstruccin de imgenes por ultrasonido, anlisis espectral, etc. Recientemente ha tomado gran importancia una forma de descomponer funciones en trozos elementales que describen las propiedades oscilatorias de la funcin simultneamente en el espacio fsico (la variable x) y el espacio de frecuencias (la variable n o ). Estos trozos elementales se llaman wavelets y han revolucionado la compresin de imgenes, la transmisin de datos, etc.
El ncleo de Gauss y paseos al azar

Hay en realidad una forma ms convincente de representar a la solucin T ( x, t ) , y que exhibe ms claramente las propiedades cualitativas de la propagacin del calor. Consiste en poner inicialmente masas puntuales. Supongamos ahora que la barra es infinita, est a temperatura cero y logramos poner una masa puntual de una unidad calor en el origen y en el instante t0 . Es decir, logramos concentrar una cantidad c = 1 de energa calrica en el origen de forma tan veloz que para nuestra escala de tiempos resulta instantnea. Como evoluciona la temperatura a continuacin?

Un pequeo anlisis de autosemejanza: si T ( x, t ) es una solucin de la ecuacin, tambin lo es aT (bx, b 2t) , lo cual nos permite calcular que en este caso

T ( x, t ) =

2 1 e x / 4 t = G ( x, t ) . ( t )1/ 2

Este es el ncleo (la campana) de Gauss, o frmula de dispersin de error. Si trasladamos la masa puntual a x0 , la nueva frmula es

T ( x,t ) = G ( x x0 ,t ) ,
puesto que la ecuacin es invariante por traslaciones. Si superponemos masas puntuales de intensidades ci en los puntos xi

T ( x,t ) = ci G ( x xi ,t )
y finalmente, para una densidad de energa e = T0 ( x ) ,

T ( x,t ) = G ( x x0 ,t ) T ( x0 ) dx0 .
Esta representacin nos dice entre otras cosas y de manera inmediata, que a) si la temperatura original es positiva, permanece positiva. b) Que el efecto de cualquier cambio de temperatura se hace sentir instantneamente en toda la barra. c) Que la temperatura T0 puede ser altamente discontinua y un instante ms tarde se regulariza. Pero, cual es la relacin entre la ecuacin del calor y la propagacin de errores? Supongamos que en el instante t0 estamos parados en el origen. Revoleamos una moneda; si sale cara, damos un paso, x , a la derecha. Si sale cruz, a la izquierda.

t
x

x
Cada intervalo t , repetimos la operacin. Cual es la probabilidad u ( x ,t ) que en tiempo t nos encontremos en la posicin x? Parece complejo de calcular, pero podemos observar que en el instante t t estbamos o en x + x o en x x y que de all nos movimos con probabilidad a ( x,t ) , es decir

u ( x,t ) =
o sea

1 ( u ( x + x,t t ) + u ( x x,t t ) ) 2 1 ( u ( x + x,t t ) + u ( x x,t t ) 2u ( x,t t ) ) 2

2

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

Todo depende ahora del balance entre t y ( x ) . Si elegimos podemos dividir ambos miembros por t y obtenemos:

( x )
t

= 1,

u 2u = , t ( x )2
que es una forma discreta de la ecuacin del calor.

Es decir, en el lmite t 0 , u converge a la solucin de la ecuacin del calor. Pero en el instante inicial, estamos parados en el origen con probabilidad 1, es decir u ( x,t ) = G ( x,t ) . Esta es una versin del teorema central del lmite que dice que si repetimos en forma independiente n veces un mismo experimento X i de esperanza cero, entonces la distribucin de probabilidad de

X=
converge a una Gaussiana.
Difusiones no lineales

X
n

Es por eso que a una ecuacin del tipo de la del calor se le suele llamar una ecuacin de difusin. Las ecuaciones de difusin aparecen en diversos campos. Por ejemplo, en dinmica de poblaciones la densidad de energa e es substituida por la densidad de poblacin , y una de las muchas razones por las que una poblacin migra es para ir hacia zonas de densidad menor, es decir, el flujo de poblacin tiene la forma

f = +

(otras razones)

y por lo tanto las ecuaciones correspondientes sern de la forma

Dt = +
O, en una epidemia, la probabilidad de infeccin en un lugar x, en un instante de tiempo t, depende en forma montona de las probabilidades de los puntos adyacentes unas horas antes. Esto da lugar, infinitesimalmente, a una ecuacin de la forma

Dt e = F ( Dx2 e, e)
donde e es la esperanza matemtica de infeccin en x, t. En un fluido viscoso, las partculas adyacentes a una dada tratan de arrastrarla o frenarla si intenta dispararse. El punto que quiero destacar es que, en todos estos fenmenos, el trmino de difusin o viscosidad induce un proceso de achatamiento o promediado de las variables de estado que caracteriza a los problemas difusivos o viscosos.

La influencia de la teora de ecuaciones parablicas es hoy en da inmensa, en las ecuaciones de fluidos (NavierStokes, flujo en medios porosos, ecuaciones de cambio de fase), en teora de control ptimo y teora de juegos (ecuaciones totalmente no lineales), modelado de dinmica de poblaciones, epidemiologa, matemtica de las finanzas, etc.