Documentos de Académico
Documentos de Profesional
Documentos de Cultura
0 FCFD 51293625127 e 3000000
0 FCFD 51293625127 e 3000000
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.
f ( x) = DxT
G
(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, A , la energa
contenida en A en el instante t2 es igual a la energa que haba en
A 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:
t2
( e( x, t2 ) e( x, t1 ) ) dx = t ( f ( x2 , t ) + f ( x1 , t ) ) dt
1
Si dibujamos el rectngulo A t ,
A
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 =
At
Dx f ( x, t ) dx dt
At
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
G
flujo, f , que satisfacen
Dt e + Dx f = 0 .
G
(o Dt e + div f = 0 ).
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
Tt = Txx
(hacemos k = = 1 ).
T ( x, t ) = T0 ( x) g (t ).
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)
2
g (t ) = e ( n ) t .
Pero el problema que estbamos considerando es lineal. Por lo tanto, cualquier combinacin de soluciones
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
T ( x, t ) =
1
x2 / 4t
e
= G ( x, t ) .
( t )1/ 2
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
u ( x,t ) u ( x,t t ) =
1
( u ( x + x,t t ) + u ( x x,t t ) 2u ( x,t t ) )
2
u 2u
=
,
t ( x )2
que es una forma discreta de la ecuacin del calor.
( x )
t
= 1,
X=
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
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.