Estudio sobre JOSEPH FOURIER

Universidad Autnoma de Madrid o Agustin Ortiz Melguizo

20 de diciembre de 2006

Resumen

The purpose of this document is to point out the importance of Fouriers contribution to the progress of mathematics, physics and engineering. It has been carried out in the frame of the Historia de las Matemticas course, witha in the Licenciatura en Matemticas curricula. The work is a divided into eight sections; the rst two sections give an introduction to Fouriers pioneering personality and briey describe the concept of function at that time. The third section portraits Fouriers biography. The fourth section is devoted to analysing the famous vibrating string problem and the solutions given by DAlembert and Bernouilli; the two solutions and compared and shown that they are obviously compatible. The fth section derives the heat dierential equation and solves it by using Fouriers method of separation of variables. It is worth noting that, although these last two sections follow the ideas and method of the authors, I have used the modern approach, i.e., I have followed the current notation and ways of solving these types of problems, otherwise the document would have been unjustiably long and tedious. The sixth section briey describes the studies and research performed after Fouriers ideas, that brought about the rigour that Fouriers work somewhat lacked. The seventh section gives an idea about the powerful applications that Fouriers analysis has in the Telecommunications Engineering eld, one of them being ltering; two types of frequency lters are mentioned. The last section translates, in its entirety, the preamble of Fouriers book: Thorie Anae lytique de la Chaleur which, althoug being long (twenty-two pages), gives the ideas underlying Fouriers motivation for performing his work on the topic of heat (despite the opposition he found from his colleages).

1.

INTRODUCCION

La aportacin clave de J.B Fourier, ya clsica hoy en las matemticas, o a a fu la idea, ya intuida por D. Bernouilli, de que cualquier funcin y = f (x) e o se puede representar por una serie de la forma: 1 y = a0 + 2

(ak cos(kx) + bk sen(kx))

k=1

(1)

donde los coecientes ak y bk (k = 0, 1, 2, ...) son constantes. Serie que hoy conocemos con el nombre de serie de Fourier. Si tal serie converge para todo x tal que < x < , entonces representa una funcion peridica de o per odo 2 y bastar, por tanto, estudiar su restriccin al intervalo [, ]. a o Las representaciones por medio de tales series permiten un grado de generalidad mucho mayor, en cuanto al tipo de funciones a desarrollar, que el que permite la serie de Taylor. Incluso si hay muchos puntos en los que no exista la derivada, o en los que sea discontinua, la funcin puede tener un o desarrollo en serie de Fourier. (Ver gura 1).

Figura 1: Ejemplo de funciones desarrollables en serie de Fourier Fourier hab deducido una ecuacin que describ la conduccin del a o a o calor a travs de los cuerpos slidos: la ecuacin del calor. Pero no slo la e o o o hab deducido, sino que hab desarrollado un mtodo para resolverla: el a a e mtodo de separacin de variables, y lo usa de manera sistemtica en la rese o a olucin de Ecuaciones en Derivadas Parciales. La aplicacin de esta tcnica o o e en la ecuacin del calor le condujo a escribir la solucin en forma de serie o o trigonomtrica, e incluso llegar a armar que cualquier funcin peridica de e o o

per odo 2, se puede expresar de esa forma. Y, para ello, encontr las frmuo o las que permiten calcular los coecientes de la serie, los cuales se determinan mediante: 1 1 1 a0 = f (x)dx; an = f (x)cosnxdx; bn = f (x)sennxdx (2) Aunque la representacin de una funcin en serie trigonomtrica se hab o o e a considerado antes de que lo hiciera Fourier, nadie antes que l puso de mane iesto la correspondencia entre funcin y coecientes. o Es de justicia aadir que el estudio de las series de Fourier contribuy de n o manera decisiva a claricar la idea de funcin hasta el moderno concepto de o nuestros d Todo el tratamiento posterior est asociado a nombres tales as. a como P. G. L. Dirichlet (1805-1859), B. Riemann (1826-1866), G. Cantor (1845-1918) y H. Lebesgue (1875-1941). La idea de Fourier se demostr fruct o fera, no slo en el campo del Anlio a sis Matemtico, sino tambin en Ingenier y, particularmente, en el de la a e a Ingenier de Telecomunicacin, donde su aportacin ha permitido desarrola o o lar el Anlisis Espectral, lo que posibilita pasar del dominio del tiempo al a dominio de la frecuencia, lo cual ha dado pi a numeros e simas aplicaciones prcticas, como ltros, modems, etc. a
1

2.

PERSPECTIVA HISTORICA

El desarrollo del anlisis de Fourier tiene una larga historia que involucra a a un gran nmero de personas as como la investigacin de muchos fenmenos u o o f sicos diferentes. La idea de emplear sumas trigonomtricas, relacionadas e armnicamente, para describir fenmenos peridicos data, cuando menos, o o o del tiempo de los babilonios, quienes utilizaron ideas de este tipo para eventos astronmicos. o La historia moderna de esta materia comienza a mediados del siglo XVIII, cuando varios matemticos (DAlembert, Euler, Bernouilli) estudian el a
Lienhard [1983] resume la contribucin de Fourier en matemticas puras y aplicadas, o a que present en su memoria de 1807 sobre la transferencia del calor: o Fourier submitted a new 234 page manuscript to the Institut de France in Paris in 1807. In it he did something more important than determining how to formulate the laws governing the ow of heat in a solid. He did something beyond updating Bernoullis trigonometric series to solve the equation. He actually provided us with the strategies that would be basic to the entire eld of continuum mechanics, of which heat conduction and convection are a major part. These are the identication of eld dierential equations and boundary conditions, the technique of separation of variables, and the idea of representing solutions in the form of series of arbitrary functions.
1

movimiento de una cuerda vibratoria. La teor de sus vibraciones lleva a la a resolucin de la ecuacin diferencial en derivadas parciales: o o a2 2 y/x2 = 2 y/t2 donde a es una constante positiva. Esta ecuacin de ondas unidimensional o tiene muchas soluciones y se trata de obtener la que cumpla unas condiciones iniciales predeterminadas. La solucin dada por Daniel Bernouilli en 1753 consiste en una serie o trigonomtrica de la forma (ver seccin ??): e o y = b1senxcosat + b2sen2xcos2at + Bernouilli llega a este resultado basndose en consideraciones de tipo a f sico, que le llevan a pensar que la cuerda oscila con varias frecuencias al mismo tiempo, cuyas amplitudes relativas dependen de las condiciones iniciales de la vibracin. Esta caracter o stica cierta, descubierta por Bernouilli, es lo que se llama principio de superposicin y es de una importancia capital. o Sin embargo, DAlembert y Euler anteriormente ya hab publicado an independientemente soluciones al problema, de la forma y = 1/2[f (x + at) + f (x at)] Euler objetaba que la idea de Bernouilli llevaba a un resultado aparentemente paradjico, que es el hecho de que una funcin arbitraria pueda ser o o expresada en forma de serie trigonomtrica. Hay que tener en cuenta que, e para los matemticos contemporneos de Euler, las curvas se divid en a a an dos clases: las curvas continuas y las geomtricas. En contraste con la tere minolog adoptada hoy d una curva se dec continua si ordenadas y a a, a abscisas pod conectarse mediante alguna frmula y = f (x). Por otra an o parte, una curva se denominaba geomtrica si pod dibujarse con trazos e a continuos o discont nuos. Pensaban, por tanto, que la segunda categor era a ms amplia que la primera ya que, lo que nosotros consideramos como una a funcin continua a trozos, puede dibujarse, pero no expresarse, si no es con o varias frmulas. Por consiguiente, si una funcin arbitraria pod expresarse, o o a por ejemplo, como una serie de senos, entonces cualquier curva geomtrica e ser continua, lo cual no era admisible en aquel entonces. a La solucin al problema de la cuerda vibrante, expresada por la anterio or ecuacin, aportada por DAlembert, consiste en una forma de onda que o avanza y otra que retrocede, las cuales se determinan a partir de la posicin o y velocidades iniciales de la cuerda. DAlembert consideraba que la manera ms natural de hacer que una cuerda empezase a vibrar era desplazarla a 5

de su posicin de equilibrio tirando de algn punto de ella. Esto hace que o u su posicin inicial se pueda representar mediante dos rectas que forman un o determinado ngulo. Para DAlembert, esto hac imposible pensar en que a a pudiese expresarse como una serie trigonomtrica. e Como consecuencia del anlisis matemtico de este problema f a a sico, Bernouilli intuy la posibilidad de que una funcin tan general, como la forma de o o una cuerda arbitrariamente deformada, pudiera ser desarrollada en una serie trigonomtrica. e Estudiando el problema de la transmisin del calor, en 1807 el f o sico y matemtico francs Joseph Fourier anunci que una funcin arbitraria f (x) a e o o se puede representar en la forma (1), con los coecientes dados por (2). Nadie le crey y a lo largo de 15 aos acumul evidencias emp o n o ricas a favor de su tesis. Present sus resultados en la clsica obra Thorie Analtytique de o a la Chaleur (1822). No aport demostraciones sino evidencia emp o rica de muchos problemas resueltos, de tal forma que muchos matemticos se pusieron a manos a la obra para intentar demostrar esa armacin, ms bien que para o a contradecirla. Dirichlet prob con con todo rigor que la serie (1) converge a la funcin o o f (x) para toda funcin continua cuya grca consiste en un nmero nito o a u de trozos crecientes o decrecientes. (Ver seccin 6). En reconocimiento a la o tenacidad pionera de Fourier, es por lo que este tipo de series se conocen como series de Fourier.

3.

BIOGRAFIA DE FOURIER

Jean Baptiste Joseph Fourier (1768-1830) fu hijo de un sastre en Auxe erre. Fu el noveno hijo de los doce hijos que tuvo en su segundo matrimonio. e La madre de Fourier muri cuando ten nueve aos y su padre muri al siguo a n o iente ao. n Empez sus estudios en la Escuela de Pallais, donde estudi lat y o o n francs con gran aprovechamiento. Continu en en la Ecole Royale Militaire e o de Auxerre donde mostr inters por la literatura pero, muy pronto, a los o e 13 aos, se despert su gran pasin, que eran las matemticas. n o o a En 1787 entr en la Abad de St Benoit-sur-Loire, con la idea de haco a erse religioso, aunque se debat entre su amor a las matemticas y sus ideas a a religiosas. Finalmente no tom los votos. En 1789 dej St Benoit y al ao o o n siguiente fu profesor en la Escuela Militar de Auxerre, donde hab estudie a

Figura 2: Joseph Baptiste Fourier ado con anterioridad. En 1793, poco tiempo despus del comienzo de la Revolucin Francesa, e o se involucr en la pol o tica, unindose al Comit Revolucionario local, con e e gran entusiasmo acerca de las ideas revolucionarias de libertad. Pronto, sin embargo, se di cuenta de que las cosas hab ido demasiado lejos e ino an tent salir del Comit, pero no pudo. Hab demasiadas facciones, cada una o e a en contra de las dems. a En 1794 fu arrestado como consecuencia de sus acciones pol e ticas; entr en prisin y temi por su vida pero, afortunadamente, despus de que o o o e Robespierre fuera guillotinado, hubo cambios pol ticos importantes que dieron la libertad a Fourier. Al nal de este ao, Fourier fu nominado para estun e diar en la Ecole Normale en Paris y sus profesores fueron Lagrange, Laplace y Monge, a los que ten en gran estima y por los que sent admiracin. a a o Comenz su investigacin matemtica y tambin volvi a ensear en la o o a e o n Ecole Polytechnique. En 1797 sucedi a Lagrange en la ctedra de Anlisis o a a y Mecnica y fu considerado como un excelente conferenciante. a e En 1798 se uni a las fuerzas de Napolen en la invasin a Egipto coo o o mo consejero cient co. Al principio, la invasin tuvo xito pero nalmente o e Napolen fu derrotado por Nelson en la Batalla del Nilo y las fuerzas franceo e sas se vieron connadas all Fourier fu nombrado gobernador del Bajo . e Egipto y ayud en exploraciones arqueolgicas. o o Ayud a fundar el Instituto de El Cairo y fu uno de los doce miembros o e de la divisn matemtica. Fu elegido secretario del Instituto y colabor aco a e o tivamente en su funcionamiento. Fourier volvi a Paris en 1801 y retom su puesto de profesor en la o o Escuela Politcnica. Sin embargo, Napolen (por aquel entonces con poder e o 7

absoluto en francia) le nombr Prefecto en Grenoble. Fu durante este tiemo e po en Grenoble cuando Fourier hizo su contribuci matemtica sobre la on a propagacin del calor. Someti un ensayo bsico a la Academia de Ciencias o o a de Paris en 1807. Su trabajo fu juzgado por Lagrange, Laplace, Monge y e Lacroix y no fu bien acogido. e Hubo dos objecciones: la primera fu hecha por Lagrange y Laplace en e 1808 y consisti en admitir el desarrollo de funciones como series trigonomtrio e cas. La segunda fu que Fourier no mencion el trabajo de Biot. e o La Academia propici la investigacin sobre la propagacin del calor en o o o cuerpos slidos como tema para el premio de 1811 para la investigacin o o matemtica. Fourier volvi a enviar el mismo trabajo de 1807 aunque con a o trabajo adicional sobre el enfriamiento de cuerpos slidos innitos y sobre o el calor radiante. Hubo solamente otro competidor y se le di el premio a o Fourier, aunque con reservas en cuanto a cierta falta de rigor que observaron y no fu publicado en las Memoires de la Academia. Fourier se resinti del e o trato recibido, pero continu trabajando sobre el calor y en 1822 public su o o clsica obra Theorie Analytique de la Chaleur. a Incorporaba la primera parte de su art culo de 1811, prcticamente sin a cambios. Dos aos ms tarde se convirti en secretario de la Academia y n a o consigui que se publicara su art o culo de 1811 en las Memorias, conservando su forma original. Durante los ultimos ocho aos de Fourier en Paris, continu su inves n o tigacin matemtica y sac a la luz varias publicaciones, algunas sobre o a o matemtica pura y otras sobre matemticas aplicadas. Su vida no trana a scurri sin incidentes ya que su teor del calor todav provocaba cierta o a a controversia. Biot reclamaba prioridad sobre las ideas de Fourier, aunque ste demostr fcilmente la falsedad de sus armaciones. Poisson le atac en e o a o dos frentes: contra sus tcnicas matemticas y adems presum de tener e a a a una teor alternativa. Fourier escribi Historical Prcis como respuesta, a o e aunque este trabajo nunca se public. o El trabajo de Fourier proporcion un gran impulso para posteriores ino vestigaciones sobre series trigonomtricas y la teor de funciones de variable e a real.

4.

LA CUERDA VIBRANTE

Vamos a estudiar con cierto detalle este problema, pues di origen a toda o la problemtica que desemboc en la aportacin de Fourier. Este es un proba o o lema t pico de los que describen estados variables con el tiempo. Los ms a interesantes, por llenar casi toda la F sica, son los relativos a fenmenos de o caracter ondulatorio (o propagatorio). Presentan frentes de onda, es decir, curvas o supercies caracter sticas en los que la solucin deja de ser regular o por presentar discontinuidades, en general, de las derivadas segundas. Esta clase de fenmenos vienen descritos por ecuaciones de tipo hiperblico (cuero o das, placas y medios vibrantes, transmisiones en cables elctricos), o de tipo e parablico (propagacin del calor, difusin, etc. o o o Veamos el caso de una cuerda tensa sujeta por los extremos A, B (cuerdas de instrumentos musicales: piano, viol guitarra, etc.). Esta cuerda se n, aparta inicialmente (t = 0) de su posicin de equilibrio segn una curva dao u da de ecuacin z = f (x) (referida a un eje x, coincidente con la posicin de o o equilibrio, y a un eje z perpendicular) y se suelta con una velocidad inicial en direccin del eje z que supondremos conocida v(x). o

Figura 3: Cuerda vibrante Se trata de averiguar la ecuacin z = z(x, t), que da el movimiento o de cada uno de sus puntos o, lo que es lo mismo, la conguracin de la o cuerda en funcin del tiempo. Despreciando el peso de la cuerda frente a la o tensin y a las fuerzas de inercia, en todo momento debe existir equilibrio o entre las tensiones T aplicadas en los extremos de un elemento de cuerda ds y la fuerza de inercia, cuya proyeccin sobre el eje z es (llamando z o a la distancia de dicho elemento a su posicin de equilibrio, a la masa o por unidad de longitud ) ds 2 z/t2 . Llamando nalmente al ngulo que a forma la tangente a la curva adoptada por la cuerda al deformarse, se tendr, a 9

proyectando el tringulo de equilibrio sobre la vertical a T sen T sen( d) = ds 2 z/t2 Sustituyendo sen por , toda vez que se trata de ngulos muy pequeos, a n quedar a 2z T d = 2 ds t o n a pero d es la curvatura (en la hiptesis de pequeez del ngulo ); por ds consiguiente, queda la ecuacin o a2 2z 2z = 2 x2 t

donde la constante a2 = T / es esencialmente positiva. Las soluciones de esta ecuacin darn las conguraciones z(x, t) de la cuerda al variar t. Ahora o a bien, para la integracin de esta ecuacin se pueden seguir dos caminos. o o

4.1.

La solucin de DAlembert o

El primer camino es adaptar la solucin general a este tipo de ecuaciones o z = (x at) + (x + at) (con , arbitrarias), a las condiciones iniciales dadas, con lo que se deber tener a z(x, 0) = (x) + (x) = f (x) zt (x, 0) = a[ (x) + (x)] = v(x) (x) (x) = 1 a
x

v()d
0

lo que determina las funciones arbitrarias y . 1 1 (x) = f (x) 2 2a

x 0

1 1 v()d; (x) = f (x) + 2 2a

v()d
0

y con ellas la solucin adquiere la forma de o 1 1 z = [f (x at) + f (x + at) + 2 a

x+at

v()d]
xat

y, para el caso de velocidad inicial nula v(x) 0 1 z = [f (x at) + f (x + at)] 2 10 (3)

Figura 4: Anlisis de la solucin de DAlembert a o Esta expresin no es en verdad muy elocuente para el f o sico, en relacin o con la esencia acstica del fenmeno planteado. Dnde estn en ella de manu o o a iesto los armnicos del sonido emitido por la cuerda al vibrar? Veamos, sin o embargo, como la sujeccin de los extremos A y B de la cuerda engendra el o carcter peridico ondulatorio de las soluciones. a o Observemos que f (x) se supone slo denida, por la deformacin inicial o o de la cuerda, en el intervalo 0, l; sin embargo, al crecer t los argumentos x at y x + at de la solucin (3) var de a +. o an Cmo completar, pues, la funcin f (x) en todo el intervalo real de o o la variable?. Procurando que la solucin (3) sea constantemente nula para o x = 0 y x = l; es decir, deber tenerse, cualquiera que sea t a f (al) = f (al); f (l + at) = f (l at) lo que indica (v. gura 4) que la curva f (x) prolongada tiene que ser simtrica respecto de los puntos A y B. Ahora bien, cada trozo aadido a e n un extremo engendra un nuevo trozo simtrico en el otro, con lo que la curva e f(x) se prolonga indenidamente en los dos sentidos, como desebamos, y a adquiere adems carcter peridico. a o Llegamos as a la siguiente imagen geomtrica de la solucin (3): e o

11

Desplcese la curva z = f (x) (prolongada en la forma que se ha dicho) a a la izquierda y a la derecha a la velocidad a y promndiense en cada instante e las ordenadas de ambas curvas, la que avanza y la que retrocede ; de otro modo, tmense los puntos medios de los segmentos verticales limitados por o ambas curvas y el lugar geomtrico de los puntos as obtenidos dar en cada e a instante la forma terica de la cuerda vibrante. (Ver gura 4). o Vemos, pues, cmo se pueden manejar las dos ondas de avance y retroceso o de que hemos hablado, para construir grcamente la solucin. Pero sigue a o sin aparecer, con este tratamiento matemtico, la descripcin musical del a o fenmeno, que es el que interesa en Acstica. Esta interpretacin no la da o u o la solucin general, sino las soluciones particulares, segn vamos a ver. o u

4.2.
2

La solucin de Daniel Bernouilli o

Apliquemos a la ecuacin diferencial de la cuerda vibrante o a2 2z 2z = 2 x2 t

el mtodo de hallar soluciones del tipo ex+t . Los parmetros y e a 2 2 = 2 de donde = a. debern vericar la condicin a a o La ecuacin admite, pues, soluciones de la forma o z = eat .ex con arbitrario. Pero si es real, estas funciones no se anulan para ningn valor real de x u y no pueden cumplir las condiciones de contorno. Demos, pues, a valores complejos poniendo = + i y las soluciones adoptarn la forma a z = eat .ex .sen(at + ).sen(x + ) Ahora bien, para x = 0 y x = l debe ser z = 0 cualquiera que sea t, lo que exige sen = 0, sen(l + ) = 0. Adoptemos, pues, = 0 y, por tanto, = n (n=1, 2, 3, ...). l
2 Como se ha explicado en el Abstract, he preferido tener una aproximacin moderna en o la forma de presentar los trabajos realizados originalmente por los autores (D. Bernouilli en este caso), como ayuda para una mejor comprensin de los resultados. El uso de soluciones o de la forma (4) por D. Bernouilli parece ser que respondi a su gran intuicin, basada en o o su conocimiento de la f sica en general y de la m,sica en particular. Su inuencia en los u trabajos posteriores de Fourier es innegable.

12

Figura 5: Prolongacin simtrica de f (x) o e Por otra parte, en el fenmeno f o sico los extremos A y B desempean n entre s el mismo papel, lo que exige soluciones simtricas respecto del pun e to medio o de la mediatriz de AB. Cumplen estas simetr los factores as n n trigonomtricos (pues sen l .(l x) = sen(n l .x) = sen n .x), pero e l no el exponencial ex . Pongamos, pues, = 0 y quedmonos, en denitiva, e con soluciones de la forma n an t + n )sen( x) (4) l l formando con ellas una combinacin lineal arbitraria, en forma de suma o o serie an n z= Cn sen( t + n )sen( x) l l z = sen(
n=1

(Hemos omitido el doble signo de que no da mayor generalidad a la solucin, pues debiendo ser el mismo valor de en ambos factores suponerse o positivo cambiando el signo en ambos si es preciso). Los coecientes Cn (amplitudes), as como las fases n de los trminos de e esta serie trigonomtrica, vendrn determinados por la conguracin inicial e a o y por la velocidad inicial de la cuerda. Dada, por ejemplo, z = f (x) para a t = 0 y velocidad inicial zt nula, habr de tenerse

Cn senn sen(
n=1

n x) = f (x); (zt )0 = l

Cn
n=1

an n cosn sen( x = 0 l l

Esta ultima ecuacin slo puede vericarse idnticamente para cosn = 0 o o e y, por tanto, senn = 1. Bastar, pues, desarrollar en serie de Fourier en el intervalo l, +l la a funcin f (x) prolongada con su simtrica respecto del origen A, funcin que o e o por ser impar, slo dar trminos en seno. Es decir, desarrollar o a e

f (x) =
n=1

Cn sin

n x l

13

o su equivalente f( con = x lo que dar a l Cn = 1

l )=

Cn sin n
n=1

f(

l ) sin(n)d

Estos valores Cn , sustituidos en la serie (4), dan la solucin del problema. o

4.3.

Comparacin entre la solucin matemtica y la solucin o o a o f sico-matemtica a

Conviene pertacarse bien de la diferencia esencial entre los dos mtoe dos seguidos. El mtodo de dAlembert opera sobre la solucin ms general, e o a que podr amos llamar matemtica, con escasas enseanzas en el orden f a n sico. El mtodo de Bernouilli consiste en seleccionar las soluciones partice ulares que mejor se adaptan al fenmeno f o sico, el cual est as presente a en todo el proceso deductivo. No es de extraar, po tanto, que la solucin n o as obtenida sea asimismo mucho ms elocuente en consecuencias de orden a f sico. As en la solucin (4) se hallan prcticamente contenidas todas las leyes , o a de la acstica elemental. Esta solucin nos dice que la vibracin de la cuerda u o o se compone, en general, de una serie de vibraciones superpuestas: P rimera : C1 sin( Tono fundamental 2a 2 t + 2 ) sin x l l Primer armnico, frecuencia doble. Un nodo intermedio. o Segunda : C2 sin( 3 3a t + 3 ) sin x l l Segundo armnico, frecuencia triple. Dos nodos intermedios. Y as sucesivao mente. (Ver gura 6) T ercera : C3 sin( La signicacin musical de estos armnicos, correspondientes a frecueno o cias dobles, triples, cudruples, ..., de la del tono fundamental, es la sigua iente: el primer armnico da la nota octava del tono fundamental; el segundo o armnico la quinta sobre esta octava, el tercero da la segunda octava, el cuaro to da la tercera sobre esta octava, etc. De modo que si la nota fundamental 14 a t + 1 ) sin x l l

Figura 6: Vibraciones de la cuerda es el do2 , las resonancias de los armnicos dan la sucesin de notas musicales o o que muestra la gura 7. De ello se desprende la relacin de frecuencias que caracterizan los ino tervalos musicales puros: 3 4 2 octava = ; quinta = ; cuarta = ; 1 2 3 5 6 7 tercera mayor = ; tercera menor = ; segunda = . 4 5 6

Figura 7: Intervalos musicales Es curioso observar nalmente que la solucin de Bernouilli, pese a su sigo nicacin esencialmente f o sica, tuvo una enorme trascendencia en el campo de la matemtica pura, pues fu la que sugiri la posibilidad de desarrola e o lar en serie trigonomtrica una funcin arbitraria, incluso representable por e o trozos de distintas rectas, como es, por ejemplo, la conguracin inicial de o la cuerda simplemente pulsada en un punto. La representacin de dos funciones algebraicamente distintas por un miso mo algoritmo funcional se ten por imposible en aquellos tiempos. Por ello a

15

el famoso problema de la cuerda vibrante di origen a una larga polmio e ca entre dAlembert, Euler, Bernouilli, Lagrange, ... Fu Fourier quien ms e a tarde, al estudiar por mtodo anlogo el fenmeno de la propagacin cel e a o o calor, dej sentada categricamente la posibilidad de tales desarrollos. o o

5.

LA TEORIA ANALITICA DEL CALOR

Veamos primero la deduccin de la ecuacin diferencial, en base a prino o cipios f sicos. Supongamos que tenemos una distribucin de temperaturas o T = T (x, y, z, t), de clase C 2 (4 ). El gradiente, respecto a las variables espaciales, indica la direccin de mxima variacin. La hoy llamada ley de o a o Fourier dene el ujo de calor como K = T , lo que es muy lgico, o teniendo en cuenta que el calor es una medida de la energ interna, proa porcional a la temperatura. Por tanto, el ujo de calor (cantidad neta de calor transferida por unidad de tiempo) es natural que sea proporcional al gradiente de la temperatura. La energ por unidad de volumen es E = cT , siendo c=calor espec a co y = densidad. Para variaciones moderadas de la temperatura, podemos considerar a c y constantes. El ujo de energ es proporcional al ujo de a calor que se pierde J = KF, siendo K=conductividad trmica (que supone dremos constante). La energ total contenida dentro del cuerpo es a E(x, y, z, t)dxdydz

. Segn la ley de la conservacin de la energ la variacin (disminucin) u o a, o o de la energ experimentada por el cuerpo tiene que ser igual al ujo que a atraviesa su frontera. Variacin de energ o a = d dt E(x, y, z, t)dxdydz

F lujo =
+

J=

divJ

(por el teorema de Gauss). Supongamos que E(x, y, z, t) es lo sucientemente regular para poder introducir la derivada bajo el signo integral: d dt E(x, y, z, t)dxdydz =

E(x, y, z, t)dxdydz = t

divJ

16

Pasando todo al primer miembro: (

E + divJ)dxdydz = 0 t

E + divJ t Entonces debe cumplirse H = 0 para . De aqu se deduce que E T E H 0, o sea, t + divJ = 0. Como t = c t y divJ = div(KF) = K K KdivF = Kdiv(T ) = KT . Resulta, pues, T = c T , siendo t = c t la difusividad, que, en las unidades adecuadas, podemos considerar igual a 1. H Resulta nalmente la ecuacin del calor : o T 2T 2T 2T = + + t x2 y 2 z 2 Fourier no slo dedujo la ecuacin del calor, sino que estableci un proo o o grama sistemtico de resolucin de Ecuaciones en Derivadas Parciales: el a o mtodo de separacin de variables, tambin llamado hoy mtodo de Fourier. e o e e Vamos a resolver esta ecuacin, siguiendo este mtodo, pero para ello neceo e sitamos condiciones iniciales y de contorno. Condiciones iniciales: para t = 0, tenemos T (x, y, z, 0) = (x, y, z). Condiciones de contorno: conciernen a la frontera de y hay dos posibilidades clsicas: a 1. Condicin de Dirichlet: T=0 en la frontera de para todo t (como si o roderamos el cuerpo con hielo). a 2. Condicin de Neumann: el cuerpo se considera totalmente aislado del o exterior, de forma que no hay transferencia de calor. Resolvamos la ecuacin del calor pero en dimensin 1; o sea, suponemos o o que el cuerpo a considerar es una varilla de longitud L, con la condicin de o Dirichlet. La ecuacin ahora es u = u , con x (0, L) y t < 0. (Hemos llamado o t x2 u(x, t) a la funcin de distribucin de la temperatura). Para t = 0 se tiene o o u(x, 0) = (x) y u(0, t) = u(L, t) para todo t. Aplicamos separacin de variables; o sea, conjeturamos que la solucin o o pueda ser de la forma: u(x, t) = X(x)T (t). Si as fuera, tendr amos: u 2u = XT ; = X T t x2 17
2

Llamemos

y la ecuacin de ondas ser: o a T X = T X esta igualdad debe cumplirse para t y x; por tanto, la proporcin debe o ser constante: T X = = T X XT = X T ; Resolvamos X X = 0. Su ecuacin caracter o stica es: r2 = 0. Teniendo en cuenta las condiciones de contorno, slo hay solucin para el caso de o o < 0, en cuyo caso tenemos X(x) = A cos( x) + B sin( x). Los valores de A y B se hallan por medio de las condiciones: De X(0) = 0 obtenemos A=0. De X(L) = 0 obtenemos 0 = B sin(L). (Hemos llamado = ). Para que haya solucin distinta de cero, debe cumplirse: sin(L) = o 0 = L = k(k N); o sea, hay innitas soluciones (una para cada valor de k). Llamemos k Xk (x) = Bk sin( x) L o Si llamamos k = 2 = ( k )2 , vemos que no hay solucin para todo k L valor de , sino slo para esos, que son los autovalores asociados al problema. o Ahora, para cada k, resolvemos T = k Tk , de donde resulta que Tk (t) = Ck exp k t. La solucin buscada es: o uk (x, t) = Xk (x)Tk (t) = Dk exp ( k 2 k ) t sin( x) L L

(donde Dk = Bk Ck ). Estas son todas las soluciones particulares de la 2 o ecuacin lineal u u = 0, por lo que cualquier combinacin lineal nita o t x2 de ellas tambin ser solucin. Sin embargo, Fourier va ms all y arma, e a o a a sin preocuparse demasiado de los posibles problemas de convergencia, que tambin la siguiente serie es solucin de la ecuacin del calor: e o o

u(x, t) =
k=1

Dk exp((

k 2 k ) t) sin( x) L L

Y, para que esto sea as necesita que se satisfaga la condicin inicial u(x, 0) = , o (x); por lo tanto, necesita poder desarrollar la funcin (x) en la forma: o

(x) = u(x, 0) =
k=1

Dk sin(

k x) L

18

Necesitamos, pues, calcular los coecientes Dk . Para ello, multiplicamos por sin( j x) e integramos: L
L

(x) sin(
0 L

j x)dx = L

Dk sin(
0 k=1

k j x) sin( x)dx = L L
L 0

Dk
k=1 0

sin(

k j x) sin( )xdx = Dj L L

sin2 (

j L x) = Dj L 2

Por tanto, los coecientes se calculan mediante la frmula: o Dk = 2 L

L

(x) sin(
0

k x)dx L

Este es el punto controvertido del trabajo de Fourier y la razn por la que o Lagrange, Laplace y Legendre no van a aceptar el razonamiento de Fourier sin ms. Sin embargo, el paso del tiempo y los trabajos posteriores de a Dirichlet y Riemann sobre las condiciones para que una serie de Fourier sea convergente, acabaron por dar al anlisis de Fourier la importancia que a realmente tiene.

6.

ESTUDIOS POSTERIORES

Para muchos matemticos de la poca, el hecho de que grcos arbitrara e a ios pudiesen ser representados mediante una serie trigonomtrica y deb e an considerarse, en consecuencia, como una funcin leg o tima, fu una autntica e e sorpresa y tambin lo fu el comprobar que Fourier ten razn. e e a o Faltaba todav mucho tiempo para que estas nociones estuviesen claras, a y no es accidental que la denicin de funcin hoy universalmente aceptada o o fuera enunciada en 1837 por Dirichlet en un trabajo relativo a las series de Fourier. Incluso la denicin clsica de la integral denida debida a Riemann o a fu dada por primera vez en su trabajo fundamental de 1854 sobre las series e de Fourier. En realidad, muchos de los descubrimientos matemticos ms impora a tantes del siglo XIX estn a ntimamente ligados a la teor de las series de a Fourier, y sus aplicaciones en la f sica y en la ingenier no le van a la zaga. a Dirichlet di el primer conjunto de condiciones sucientes para que la o serie de Fourier converja. La demostracin dada por Dirichlet es un reo namiento de la que bosquej Fourier al nal de su libro. o Teorema 1 (Dirichlet) Sea f (x) denida y acotada en x < , con slo un nmero nito de discontinuidades y un nmero nito de mximos y o u u a 19

m nimos en ese intervalo. Denamos f (x), para otros valores de x, por la condicin de periodicidada f (x + 2) = f (x). Entonces la serie de Fourier o 1 de f (x) converge a 2 (f (x + f (x+ ) en todo punto x y, por tanto, converge a f (x) en todo punto de continuidad de la funcin. As pues, si se redene o en todo punto de discontinuidad el valor de la funcin como el promedio de o sus l mites laterales en l, e 1 f (x) = (f (x + f (x+ ) 2 la serie de Fourier representa a la funcin en todo punto. o Las condiciones impuestas en este teorema sobre f (x) se llaman condiciones de Dirichlet, en su honor. Se puede establecer la misma conclusin o sobre la hiptesis de la diferenciabilidad a trozos, que es sucientemente o dbil para cubrir casi todas las aplicaciones. e La situacin general es que la continuidad de una funcin no es suciente o o para la convergencia de su serie de Fourier, pero tampoco es necesaria.3 . O sea, es perfectamente posible que una funcin discontinua sea representable o por su serie de Fourier en todo punto, siempre que sus discontinuidades sean lo bastante dbiles y que se comporte relativamente bien entre sus puntos e de discontinuidad. Riemann demostr el teorema fundamental de que si f(x) es acotada a ino tegrable en [, ], entonces los coecientas de Fourier se acercan a 0 cuando n tiende a innito. El teorema tambin demostraba que la convergencia de e la serie en un punto del intervalo anterior slo depende del comportamiento o de f (x) en la vecindad de ese punto. Tambin demuestra que una f (x) dada e puede ser integrable y, sin embargo, no ser representable en serie de Fourier. La naturaleza de la convergencia de las series de Fourier recibi mayor o atencin despus de la introduccin del concepto de convergencia uniforme o e o por Stokes y Seidel. Heine hizo notar que la demostracin usual de que una f (x) acotada est representada un a vocamente en [, ] por una serie de Fourier es incompleta porque la serie puede no ser uniformemente convergente y as no puede integrarse trmino a trmino. Esto sugiri que, sin e e o embargo, pueden existir series trigonomtricas no uniformemente convere gentes que s representasen una funcin. Estos problemas dieron origen a o una nueva serie de investigaciones que buscaban establecer la unicidad de la representacin de una funcin mediante una serie trigonomtrica, y si los o o e coecientes son necesariamente los coecientes de Fourier.
Hallar condiciones necesarias y sucientes a la vez constituye uno de los problemas ms importantes sin resolver en las matemticas hasta hoy a a
3

20

Heine demostr, que una serie de Fourier que representa una funcin o o acotada que satisface las condiciones de Dirichlet es uniformemente convergente en las partes del intervalo [, ] que quedan cuando se eliminan del intervalo entornos arbitrariamente pequeos de los puntos de discontinuidad n de la funcin. En estos entornos la convergencia es necesariamente uniforme. o Heine demostr despus que si la convergencia uniforme se cumple para una o e serie trigonomtrica que representa a una funcin entonces la serie es unica. e o Los problemas asociados con la unicidad de las series trigonomtricas y las de Fourier atrajeron a Georg Cantor, quien estudi el trabajo de Heine. o Demostr que cuando f (x) se representa por una serie trigonomtrica cono e vergente para toda x, no existe otra serie trigonomtrica de la misma forma e que converja y represente la misma funcin f (x). o Durante aproximadamente cincuenta aos despus del trabajo de Dirichn e let se crey que la serie de Fourier de cualquier funcin continua en [, ] o o converge a la funcin. Pero Du Bois Reymond di un ejemplo de una funcin o o o continua en [, ] cuya serie de Fourier no converge en un punto particular. La integral de Lebesgue resulta especialmente util en la teor de se a ries de Fourier, a la que Lebesgue mismo hizo importantes contribuciones. Lebesgue demuestra que si f es una funcin acotada representada por una o serie trigonomtrica entonces los an y bn son los coecientes de Fourier. En e 1905 di Lebesgue una nueva condicin suciente para la convergencia de la o o serie de Fourier a la funcin f (x) que inclu todas las condiciones conocio a das previamente. Lebesgue demostr tambin que la posibilidad de integrar o e trmino a trmino una serie de Fourier no depende de la convergencia unie e forme de la serie a la funcin f (x) misma. Parseval, Fatou y otros tambin o e contribuyeron al desarrollo de la teor a.

7.

APLICACIONES

Hacia el nal de su vida Fourier recibi parte del reconocimiento que o merec pero el tributo ms signicativo que se le pudo haber hecho ha sido a, a el enorme impacto que ha tenido su trabajo en muchas disciplinas dentro de los campos de las matemticas, la ciencia y la ingenier La teor de la a a. a integracin, la topolog de los conjuntos de puntos y las expansiones de las o a funciones propias son slo unos cuantos ejemplos de los temas matemticos o a que tienen sus ra ces en el anlisis de las series e integrales de Fourier. a Adems de los estudios originales sobre vibraciones y difusin del calor, a o hay numerosos problemas de la ciencia y la ingenier en los cuales las seales a n senoidales, y por consiguiente las series y transformadas de Fourier, juegan

21

un importante papel. Por ejemplo, las seales senoidales surgen de mann era natural al describir el movimiento de los planetas y el comportamiento peridico del clima de la Tierra. Las fuentes de corriente alterna generan o voltajes y corrientes senoidales y las herramientas del anlisis de Fourier a nos habilitan para analizar la respuesta de un sistema LTI (Linear Time Invariant), como un circuito, a esas entradas senoidales. Tambin las olas en el e ocano consisten en la combinacin lineal de ondas senoidales con diferentes e o periodos espaciales o longitudes de onda. Asimismo, las seales transmitin das por las estaciones de radio y televisin son de naturaleza senoidal, y la o variedad de aplicaciones en las cuales surgen las seales senoidales, y en las n cuales las herramientas del anlisis de Fourier son utiles, se extienden mucho a ms all de estos pocos ejemplos. a a Mientras que muchas de las aplicaciones planteadas en el prrafo antea rior, as como el trabajo original de Fourier y sus contemporneos acerca a de problemas de f sica matemtica, se concentran en fenmenos continuos, a o las herramientas del anlisis de Fourier para seales y sistemas discretos a n tienen sus propias ra ces histricas distintivas y un conjunto igualmente rio co de aplicaciones. En particular, los conceptos y mtodos discretos son e fundamentales para la disciplina del anlisis numrico. Las frmulas para a e o el procesamiento de conjuntos discretos de datos que produzcan aproximaciones numricas para la interpolacin, la integracin y la diferenciacin, e o o o hab sido investigadas desde la poca de Newton, all por el siglo XVII. an e a Adems, el problema de predecir el movimiento de un cuerpo celeste, dada a una secuencia de observaciones del mismo, estimul a eminentes cient o cos y matemticos de los siglos XVIII y XIX, incluyendo a Gauss, a investigar a las series de tiempo armnicas, lo cual proporcion un entorno dentro del o o cual se realiz mucho del trabajo inicial sobre seales y sistemas discretos. o n A mediados de los aos sesenta se introdujo un algoritmo, conocido en n la actualidad como la transformada rpida de Fourier o FFT (por sus sia glas en ingls), el cual fu descubierto independientemente por Cooley y e e Tukey en 1965. Este algoritmo tambin tiene una larga historia y puede, de e hecho, encontrarse en las notas de Gauss.4 Lo que hizo tan importante a este moderno descubrimiento fue el hecho de que la FFT demostr adapo tarse perfectamente a la ejecucin digital eciente, lo cual redujo el tiempo o requerido para calcular las transformadas en varios rdenes de magnitud. o Con esta herramienta, muchas ideas interesantes, pero anteriormente poco prcticas, en las que se utilizaban las series y transformadas discretas de a Fourier, repentinamente fueron practicables, y el desarrollo de las tcnicas e de anlisis de seales y sistemas discretos avanzaron a un ritmo acelerado. a n
M. T. Heideman, D. H. Johnson y C. S. Burrus, Gauss and the History of the Fast Fourier Transform. The IEEE ASSP Magazine I (1984), pp. 14-21.
4

22

Lo que ha surgido de esta larga historia es un marco de referencia poderoso y coherente para el anlisis de seales y sistemas continuos y disa n cretos, as como un conjunto extraordinariamente amplio de aplicaciones existentes y potenciales.

7.1.

Filtrado

En una amplia variedad de aplicaciones, resulta de inters cambiar las e amplitudes relativas de las componentes de frecuencia en una seal, o quizs n a eliminar por completo algunas componentes de frecuencia, proceso conocido como ltrado. Los sistemas lineales invariantes en el tiempo (LTI) que cambian la forma del espectro se conocen como ltros conformadores de frecuencia. Los sistemas diseados para dejar pasar algunas frecuencias esn encialmente no distorsionadas y atenuar de manera signicativa o eliminar por completo otras se conocen como ltros selectivos en frecuencia. Los coecientes de la serie de Fourier de la salida de un sistema LTI son aquellos de la entrada multiplicados por la respuesta en frecuencia del sistema. En consecuencia, el ltrado se puede realizar en forma conveniente mediante el uso de un sistema LTI, con una respuesta en frecuencia seleccionada adecuadamente, y los mtodos en el dominio de la frecuencia, que proporcionan e las herramientas ideales para examinar esta clase tan importante de aplicaciones. 7.1.1. Filtros conformadores de frecuencia

Una aplicacin t o pica de este tipo de ltros se encuentra en los sistemas de audio. Los ltros LTI se incluyen comnmente en esos sistemas para permiu tir al oyente modicar las cantidades relativas de energ de baja frecuencia a (graves) y energ de alta frecuencia (agudos). Estos ltros corresponden a a los sistemas LTI cuya respuesta en frecuencia se puede cambiar manejando los controles de tono. Asimismo, un sistema de audio de alta delidad, llamado ltro ecualizador, se incluye a menudo en el preamplicador para compensar las caracter sticas de respuesta en frecuencia de los altavoces. En conjunto, a estas etapas de ltrado en cascada se les conoce como circuitos ecualizadores para el sistema de audio. (La gura 8 muestra la respuesta en frecuencia de un ecualizador de audio; es t pico realzar la respuesta en altas y bajas frecuencias para compensar la de los altavoces). Otra clase de ltros conformadores de frecuencia encontrados a menudo son aquellos en los cuales la salida del ltro es la derivada de la entrada al ltro, es decir, y(t) = dx(t) . Con una x(t) de la forma x(t) = ejwt , y(t) dt ser y(t) = jwejwt , a partir de lo cual se concluye que la respuesta en a

23

Figura 8: Ecualizador de audio frecuencia es H(jw) = jw Las caracter sticas de la respuesta en frecuencia de un ltro diferenciador se muestran en la gura 9.

Figura 9: Filtro diferenciador Un propsito para el cual se usan con frecuencia los ltros diferenciadores o es para resaltar los bordes en el procesamiento de imgenes. Una imagen en a blanco y negro se puede considerar como una seal x(t1 , t2 ) continua de dos n dimensiones, donde t1 y t2 son las coordenadas horizontal y vertical respectivamente, y x(t1 , t2 ) es la brillantez de la imagen. Si la imagen se repite peridicamente en las direcciones horizontal y vertical, entonces se puede o representar mediante una serie bidimensional de Fourier, que consiste en sumas de productos de las exponenciales complejas ejw1 t1 y ejw2 t2 , que os24

cilan a frecuencias posiblemente diferentes en cada una de las dos direcciones de las coordenadas. Las variaciones lentas de brillantez en una direccin paro ticular se representan mediante las frecuencias armnicas ms bajas en esa o a direccin. Por ejemplo, consideremos el borde correspondiente a una transio cin abrupta en brillantez que se presenta verticalmente en una imagen. Ya o que la brillantez es constante o var lentamente a lo largo del borde, el cona tenido de frecuencia del borde en la direccin vertical est concentrado en o a las frecuencias bajas. En contraste, debido a que hay una variacin abrupta o de la brillantez a travs del borde, el contenido de frecuencia del borde en e la direccin horizontal se concentra en las frecuencias ms altas. Puesto que o a derivada en los bordes de una imagen es mayor que en regiones donde la brillantez var lentamente con la distancia, el efecto del ltro consiste en a resaltar los bordes. La gura 10 muestra una imagen original y el resultado del su procesamiento con este tipo de ltro.

Figura 10: Procesamiento de imagen por ltro diferenciador

25

8.

PROLOGO DE THEORIE ANALYTIQUE DE LA CHALEUR

Por su inters, me ha parecido pertinente traducir el Prlogo del libro e o Thorie Analytique de la Chaleur, ya que, a travs de l, podemos apreciar e e e las ideas fundamentales de Fourier sobre la generalidad de las leyes del universo, el calor y el papel que el anlisis matemtico juega en su comprensin a a o y, sobre todo, cmo la Naturaleza misma nos marca un camino claro para o guiar la investigacin matemtica.5 (Las dos guras ultimas reproducen la o a portada original de 1822 y la primera pgina del prlogo). a o Las causas primordiales no nos son conocidas; pero estn sometidas a a leyes simples y constantes, que se pueden descubrir por la observacin, y o cuyo estudio es el objeto de la losof natural. a El calor penetra, como la gravedad, todas las sustancias del universo, sus rayos ocupan todas las partes del espacio. El objetivo de nuestra obra es exponer las leyes matemticas que sigue este elemento. Esta teor cona a stituir en adelante una de las ramas ms importantes de la f a a sica general. Los conocimientos que los pueblos ms antiguos hab podido adquirir a an sobre mecnica racional no nos han llegado, y la historia de esta ciencia, si se a excluyen los primeros teoremas acerca de la armon no va ms all de los a, a a descubrimientos de Arqu medes. Este gran gemetra explic los principios o o matemticos del equilibrio de los slidos y de los uidos. Pasaron alredea o dor de dieciocho siglos antes de que Galileo, primer inventor de las teor as dinmicas, descubriera las leyes del movimiento de los cuerpos gravitatoa rios. Newton abarc con esta nueva ciencia todo el sistema del universo. Los o sucesores de estos lsofos dieron a estas teor una amplitud y una perfeco as cin admirables; ellos nos ensearon que los fenmenos ms diversos estn o n o a a sometidos a un reducido nmero de leyes fundamentales, que se reproducen en todos los actos de la naturaleza. Se ha reconocido que los mismos principios regulan todos los movimientos de los astros, su forma, las desigualdades de sus cursos, el equilibrio y las oscilaciones de los mares, las vibraciones armnicas del aire y los cuerpos sonoros, la transmisin de la luz, las acciones o o capilares, las ondulaciones de los l quidos, en n los efectos ms complejos de a todas las fuerzas naturales, y se ha conrmado este pensamiento de Newton: Quod tam paucis tam multa proestet geometria gloriatur.
5 Ltude approfondie de la nature est la source la plus fconde des dcouvertes e e e mathmatiques. Non-seulement cette tude, en orant aux recherches un but dtermin, a e e e e lavantage dexclure les questions vagues et les calculs sans issue; elle est encore un moyen assur de former lanalyse elle-mme, et den dcouvrir les lments quil nous importe le e e e ee plus de conna tre, et que cette science doit toujours conserver : ces lments fondamentaux ee sont ceux qui se reproduisent dans tous les eets naturels. Pag. XIII

26

Pero cualquiera que sea el alcance de las teor mecnicas, ellas no as a se aplican a los efectos del calor. Estos comprenden un orden especial de fenmenos que no pueden explicarse por los principios del movimiento y el o equilibrio. Se posee mucho tiempo despus desde instrumentos ingeniosos, e susceptibles de medir varios de estos efectos; se recogieron observaciones preciosas; pero no se conocen ms que resultados parciales, y no la demostracin a matemtica de las leyes que los incluyen todos. Deduje estas leyes de un largo estudio y de la comparacin atenta de los o hechos conocidos hasta la fecha; los observ todos de nuevo en el curso de e varios aos, con los instrumentos ms precisos de los que se haya hecho uso. n a Para fundar esta teor era en primer lugar necesario distinguir y denir a, con precisin las propiedades elementales que determinan la accin del calor. o o He reconocido a continuacin que todos los fenmenos que dependen de esta o o accin, se resuelven con un nmero muy pequeo de hechos generales y simo u n ples; y as toda la cuestin f o sica de este tipo se reduce a una investigacin o de anlisis matemtico. He concluido que para determinar los movimientos a a ms variados del calor, basta con someter cada sustancia a tres observaciones a fundamentales. En efecto, los diferentes cuerpos no poseen en el mismo grado la facultad de contener el calor, de recibirlo, o de transmitirlo a travs de e su supercie, y de conducirlo en el interior de su masa. Son tres cualidades especf cas que nuestra teor distingue claramente, y que aprende a medir. a Es fcil juzgar cuantas de estas investigaciones interesan a las ciencias a f sicas y a la econom civil, y cuales pueden tener su inuencia sobre los a progresos de las artes que exigen el empleo y la distribucin del fuego. Tienen tambin una relacin necesaria con el sistema del mundo, y se conocen estos e o informes, si se consideran los grandes fenmenos que ocurren cerca de la o supercie del globo terrestre. En efecto, el rayo del sol en el cual este planeta est incesantemente a sumergido, penetra el aire, la tierra y las aguas; sus elementos se dividen, cambian de direcciones en todos los sentidos, y penetrando en la masa del globo, elevar cada vez ms la temperatura media, si este calor aadido an a n no fuera compensado exactamente con el que se escapa en rayos desde todos los puntos de la supercie, y se repone a los cielos. Los distintos climas, desigualmente expuestos a la accin del calor solar, o han adquirido despus de un tiempo inmenso temperaturas en consonancia e con su situacin. Este efecto est modicado por varias causas accesorias, o a tales como la elevacin y la forma del suelo, la vecindad y la extensin de o o los continentes y mares, el estado de la supercie, la direccin de los vientos. o 27

La intermitencia de los d y las noches, las alternativas de las estaas ciones causan, en la tierra slida, variaciones peridicas que se renuevan o o cada d o cada ao; pero estos cambios son tanto menos sensibles, cuando a n el punto donde se los mide es ms distante de la supercie. No se puede a observar ninguna variacin diurna a la profundidad de cerca de tres metros; o y las variaciones anuales dejan de ser apreciables a una profundidad mucho menor de 60 metros. La temperatura de los sitios profundos es pues sensiblemente ja, en un lugar dado; pero no es la misma para todos los puntos de un mismo paralelo; en general, se eleva cuando se acerca al ecuador. El calor que el sol ha comunicado al globo terrestre, y que ha producido la diversidad de los climas, est sometido ahora a un movimiento que se a ha vuelto uniforme. Penetra en el interior de la masa que penetra al toda entera, y al mismo tiempo se aleja del plano del ecuador, y va a perderse en el espacio a travs de las regiones polares. e En las altas regiones de la atmsfera, el aire muy enrarecido y difano no o a retiene ms que una escasa parte del calor de los rayos solares; es la causa a principal del fr excesivo de los lugares elevados. Las capas inferiores, ms o a densas y ms recalentadas por la tierra y las aguas, se dilatan, y se elevan; a se enfr por el mismo efecto de la dilatacin. Los grandes movimientos del an o aire, como los vientos alisios que soplan entre los trpicos, no vienen detero minados por las fuerzas atractivas de la luna y el sol. La accin de estos o astros no produce sobre un uido tan raro, a una tan gran distancia, ms a que oscilaciones muy poco sensibles. Son los cambios de las temperaturas que desplazan peridicamente todas las partes de la atmsfera. o o Las aguas del Ocano estn diferentemente expuestas por su supercie e a a los rayos del sol; y el fondo que las contiene se recalienta muy desigualmente, desde los polos hasta el ecuador. Estas dos causas, siempre presentes, y combinadas con la gravedad y la fuerza centr fuga, sostienen movimientos inmensos en el interior de los mares. Desplazan y mezclan todas las partes, y producen estas corrientes regulares y generales que los navegantes han observado. El calor radiante que se escapa de la supercie de todos los cuerpos, y cruza los medios elsticos, o los espacios vac de aire, tiene leyes especiales, a os y contribuye a los fenmenos ms variados. Se conoc ya la explicacin f o a a o sica de varios de estos hechos; la teor matemtica que he desarrollado da la mea a dida exacta. Consiste de alguna manera en un segundo catptrico que tiene o sus propios teoremas, y sirve para determinar mediante el clculo todos los a efectos del calor directo o reejado.

28

Esta enumeracin de los objetos principales de la teor da a conocer o a, bastante la naturaleza de las cuestiones que me he propuesto. Cules son a estas cualidades elementales que en cada sustancia es necesario observar, y qu experiencias son las ms apropiadas para determinarlas exactamente?. e a Si leyes constantes regulan la distribucin del calor en la materia slida, o o cul es la expresin matemtica de estas leyes? y por qu anlisis se puede a o a e a deducir de esta expresin la solucin completa de las cuestiones principales?. o o Por qu las temperaturas terrestres cesan de ser variables a una profune didad tan pequea con relacin al radio del globo?. Cada desigualdad del n o movimiento de este planeta teniendo que causar debajo de supercie una oscilacin del calor solar, qu relacin hay entre la duracin del per o e o o odo y la profundidad donde las temperaturas llegan a ser constantes?. Qu tiempo tuvo que pasar de modo que los climas pudieran adquirir e las diversas temperaturas que hoy conservan; y qu causas pueden ahora e variar su calor medio?. Por qu los unicos cambios anuales de la distancia e del sol a la tierra, no causan en la supercie de este planeta cambios muyconsiderables en las temperaturas?. Con qu carcter se podr reconocer que el globo terrestre no pere a a di enteramente su calor de origen; y cuales son las leyes exactas de la o prdida?. e Si este calor fundamental no se ha disipado totalmente, como indican varias observaciones, puede ser inmenso a grandes profundidades, y sin embargo no tiene hoy ningn efecto apreciable en la temperatura media de los u climas. Los efectos que se han observado son debidos a la accin de los rayos o solares. Pero independientemente de estas dos fuentes de calor, una fundamental y primitiva, propia del globo terrestre, la otra debida a la presencia del sol, no hay una causa ms universal, que determina la temperatura a del cielo., en la parte de espacio que ocupa ahora el sistema solar?. Puesto que los hechos observados hacen necesaria a esta causa, cules son en esta a cuestin enteramente las consecuencias de una teor exacta? cmo se poo a o dr determinar este valor constante de la temperatura del espacio, y deducir a de ella lo que conviene a cada planeta?. Es necesario agregar a estas preguntas las que dependan de las caracter sticas del calor radiante. Se sabe muy bien la causa f sica de la reexin o del fr es decir de la reexin de un calor menor; pero cul es la expresin o, o a o matemtica de este efecto?. a De qu principios generales dependen las temperaturas atmosfricas, ya e e sea que el termmetro que las mide reciba inmediatamente los rayos del o 29

sol, sobre una supercie metlica o deslustrada, sea que este instrumento a sigue expuesto, durante la noche, bajo un cielo exento de nubes, al contacto del aire, a la radiacin de los cuerpos terrestres, y a la de las partes de la atmsfera ms distantes y ms fr o a a as. La intensidad de los rayos que se escapan de un punto de la supercie de los cuerpos calentados var con su inclinacin segn una ley indicada a o u por la experiencia, no hay una relacin matemtica necesaria entre esta ley o a y el hecho general del equilibrio del calor; y cul es la causa f a sica de esta desigual intensidad?. Por ultimo, cuando el calor penetra las masas uidas, y all determina movimientos interiores, por los cambios continuos de temperatura y densidad de cada molcula, se puede todav expresar, por medio de ecuaciones e a diferenciales, las leyes de un efecto tan complicado; y qu cambio resulta en e las ecuaciones generales de la hidrodinmica?. a Tales son las preguntas principales que tengo solucionadas, y que no an u no se hab planteado al clculo. Si se consideran las relaciones multiplian a cadas de esta teora matemtica con los usos civiles y las artes tcnicas, se e reconocer todo el alcance de sus aplicaciones. Es evidente que incluye una a serie entera de fenmenos distintos, y que no se podr omitir el estudio, sin o a restar una parte notable de la ciencia de la naturaleza. Los principios de esta teor se deducen, como los de la mecnica racional, a a de un nmero muy pequeo de hechos primordiales, los cuales los gemetras u n o no consideran la causa, sino que los admiten como resultantes de las observaciones comunes y conrmados por todas las experiencias. Las ecuaciones diferenciales de la propagacin del calor expresan las o condiciones ms generales, y traen las cuestiones f a sicas a problemas de anlisis puro, lo que es propiamente el objeto de la teor No estn menos a a. a rigurosamente demuestradas que las ecuaciones generales del equilibrio y del movimiento. Es para hacer esta comparacin ms sensible, que siempre o a hemos preferido demostraciones similares a las de los teoremas que sirven de fundamento a la esttica y a la dinmica. Estas ecuaciones subsisten a a an, pero reciben una diferente forma, si expresan la distribucin del calor u o luminoso en los cuerpos difanos, o los movimientos que los cambios de a temperatura y densidad causan en el interior de los uidos. Los coecientes que contienen estn sujetos a variaciones cuya medida exacta todav no se a a conoce; pero en todas las cuestiones naturales que ms nos importa consida erar, los l mites de las temperaturas son bastante poco diferentes, como para que se puedan omitir estas variaciones de los coecientes.

30

Las ecuaciones del movimiento del calor, como las que expresan las vibraciones de los cuerpos sonoros, o las ultimas oscilaciones de los l quidos, pertenecen a una de las ramas de la ciencia del clculo ms recientemente a a descubiertas, y que importaba mucho perfeccionar. Despus de haber establecido estas ecuaciones diferenciales, era necesario obtener las integrales; lo que consiste en pasar de una expresin comn, a una solucin propia sometida o u o a todas las condiciones dadas. Esta dif investigacin exig un anlisis esl o a a pecial, fundado sobre nuevos teoremas de los que no podr amos aqu dar a conocer el objetivo. El mtodo que se ha derivado no deja nada de vae go e indeterminado en las soluciones; las lleva hasta las ultimas aplicaciones numricas, condicin necesaria de toda investigacin, y sin la cual se llegar e o o a a transformaciones intiles. u Estos mismos teoremas que nos permitieron conocer las integrales de las ecuaciones del movimiento del calor, se aplican inmediatamente a cuestiones de anlisis general y de la dinmica, cuya solucin se deseaba desde hac a a o a mucho tiempo. El estudio profundo de la naturaleza es la fuente ms frtil de los desa e cubrimientos matemticos. No solamente este estudio, al ofrecer a las invesa tigaciones un objetivo determinado, tiene la ventaja de excluir las cuestiones vagas y los clculos sin salida; es incluso un medio seguro para desallorrar el a propio anlisis, y descubrir los elementos que ms nos importa ms conocer, a a a y que esta ciencia debe siempre conservar: estos elementos fondamentales son los que ocurren en todos los efectos naturales. Se ve, por ejemplo, que una misma expresin, de la cual los gemetras o o hab considerado las propiedades abstractas, y que bajo esta consideracin an o pertenece al anlisis general, representa tambin el movimiento de la luz en a e la atmsfera, que determina las leyes de la difusin del calor en la materia o o slida, y que entra en todas los temas principales de la teor de las probao a bilidades. Las ecuaciones anal ticas, ignoradas por los antiguos gemetras, que o Descartes introdujo el primero en el estudio de las curvas y supercies, no estn limitadas a las propiedades de las guras, y a las que son el objeto a de la mecnica racional; se extienden a todos los fenmenos generales. No a o se puede tener lenguaje ms universal y ms simple, ms libre de errores y a a a oscuridades, es decir, ms digno de expresar las relaciones invariables de los a seres naturales. Considerado bajo este punto de vista, el anlisis matemtico es tan ama a plio como la propia naturaleza; dene todas las relaciones sensibles, mide los tiempos, los espacios, las fuerzas, las temperaturas; esta dif ciencia se cil 31

forma con lentitud, pero conserva todos los principios que una vez adquiri; o aumenta y se consolida sin cesar en medio de tantas variaciones y errores del esp ritu humano. Su atributo principal es el claridad; no tiene s mbolos para expresar los conceptos confusos. Acerca los fenmenos ms diversos, y descubre las anao a log secretas que los unen. Si la materia se nos escapa como el aire y as la luz por ser extremadamente tenues, si los cuerpos estn situados lejos a de nosotros, en la inmensidad del espacio, si el hombre quiere conocer el espectculo de los cielos durante pocas sucesivas separadas por un gran a e nmero de siglos, si las acciones de la gravedad y del calor se ejercen en u el interior del globo slido a profundidades que siempre sern inaccesibles, o a el anlisis matemtico puede an entender las leyes de estos fenmenos. El a a u o nos los vuelve presentes y medibles, y parece ser una facultad de la razn o humana destinada a compensar la brevedad de la vida y la imperfeccin de o los sentidos; y lo que es ms notable todav sigue ei mismo camino en el a a, estudio de todos los fenmenos; los interpreta con el mismo lenguaje, como o para certicar la unidad y la simplicidad del plan del universo, y poner an u ms de maniesto este orden inmutable que preside todas las causas natua rales. Las cuestiones de la teor del calor ofrecen tantos ejemplos de estas a disposiciones simples y constantes que nacen de las leyes generales de la naturaleza; y si el orden que se ha establecido en estos fenmenos pod ser o a escogido por nuestros sentidos, nos causar una impresin comparable a an o las de las resonancias armnicas. o Las formas de los cuerpos var ad innitum; la distribucin del calor an o que los penetra puede ser arbitraria y confusa; pero todas las desigualdades se borran rpidamente y desaparecen a medida que el tiempo pasa. La marcha del fenmeno convertida en ms regular y ms simple, permanece nalmente a a sometida a una ley determinada que es la misma para todos los casos, y que no lleva ya ninguna impronta sensible de la disposicin inicial. o Todas las observaciones conrman estas consecuencias. El anlisis del a que derivan separa claramente y expresa, 1 las condiciones generales, es decir, e las que resultan de las propiedades naturales del calor; 2 el efecto accidental, pero inuyente, de la forma o del estado de las supercies; 3 el efecto no duradero de la distribucin primitiva. o Hemos demostrado en esta obra todos los principios de la teor del calor, a y resuelto todas las cuestiones fundamentales. Se habr podido exponerlos a bajo una forma ms sucinta, omitir los temas simples, y presentar enseguia da las consecuencias ms generales; pero se ha querido mostrar el origen a 32

mismo de la teor y sus progresos sucesivos. Cuando este conocimiento es a adquirido, y los principios enteramente establecidos, es preferible emplear inmediatamente los mtodos anal e ticos ms amplios, como lo hicimos en las a investigaciones posteriores. Es tambin el camino que seguiremos en adelante en las memorias que se adjuntarn a esta obra, y que forman hasta cierto a punto el complemento, y as habremos reconciliado, tanto como puede de pender de nosotros, el desarrollo necesario de los principios con la precisin o que conviene a las aplicaciones del anlisis. a Estas memorias tendrn por objeto la teor del calor radiante, la cuestin a a o de las temperaturas terrestres, la de la temperatura de las viviendas, la comparacin de los resultados tericos con los que hemos observado en distintas o o experiencias, nalmente la demostracin de las ecuaciones diferenciales del o movimiento del calor en los uidos. La obra que publicamos hoy ha sido escrita durante mucho tiempo; distintas circunstancias retrasaron y a menudo interrumpieron su impresin. En o este intervalo, la ciencia se ha enriquecido con observaciones importantes; los principios de nuestro anlisis, que no se hab entendido al principio, se han a an conocido mejor; se han discutido y conrmado los resultados que hab amos deducido. Nosotros mismos hemos aplicado estos principios a nuevos temas, y cambiado la forma de algunas demostraciones. Los retrasos en la publicacin habrn contribuido a rendir la obra ms clara y ms completa. o a a a Nuestras primeras investigaciones anal ticas sobre la comunicacin del o calor, tuvieron por objeto la distribucin entre masas disjuntas; las he cono servado en la seccin II del cap o tulo III. Las cuestiones relativas a los cuerpos continuos, que forman la teor propiamente dicha, se resolvieron varios aos a n despus; esta teor se expuso por primera vez en una obra manuscrita ene a tregada al Instituto de Francia al nal del ao 1807, y cuyo extracto se n ha publicado en el bolet de las Ciencias (Sociedad lomtica, ao 1808, n a n pgina 112). Adjuntamos a esta memoria, y remitidas sucesivamente notas a bastante amplias, cocernientes a la convergencia de las series, la difusin del o calor en un prisma innito, su emisin en los espacios vac de aire, las o os construcciones apropiadas para hacer sensibles los teoremas principales, y el anlisis del movimiento peridico en la supercie del globo terrestre. Nuestra a o segunda memoria, sobre la propagacin del calor, se deposit en los archivos del Instituto, el 28 de septiembre de 1811. est constitu por lo precedente a da y por las notas ya remitidas; se omitieron construcciones geomtricas, y dee talles de anlisis que no ten una relacin necesaria con el tema f a an o sico, y se aadi la ecuacin general que expresa el estado de la supercie. Esta segunda obra se suministr a la imprenta en el transcurso de 1821, para ser insertada o en la coleccin de la Academia de las Ciencias. Se ha impreso sin ningn o u cambio ni adicin; el texto se ajusta literalmente al manuscrito depositado, o 33

que forma parte de los archivos del Instituto. Se podr encontrar en esta memoria, y en los escritos que la han precedia do una primera exposicin de las aplicaciones que no contiene nuestra obra o actual; se tratarn en las memorias subsiguientes, con ms amplitud, y, si a a nos es posible, con ms claridad. Los resultados de nuestro trabajo relativo a a estas mismas cuestiones, tambin se indican en distintos art e culos ya hechos pblicos. El extracto insertado en los Anales de qu u mica y de f sica da a conocer el conjunto de nuestras investigaciones, (tom. III, pag. 350, ann. 1816). Hemos publicado en estos anales dos notas separadas, concernientes al calor radiante, (tom. IV, pag. 128, ann. 1817 y tom. VI, pag. 259, ann. 1817). Otros diversos art culos de la misma recopilacin presentan los resultao dos ms constantes de la teor y de las observaciones; la utilidad y el alcance a a de los conocimientos termolgicos no pod ser mejor apreciados que por o an los famosos redactores de estos anales. Se encontrar en el boletn de las Ciencias, (Soc. philomat., ann. 1818, a pag. I y ann. 1820, pag. 60) el extracto de una memoria sobre la temperatura constante o variable de las viviendas, y la exposicin de las principales o consecuencias de nuestro anlisis de las temperaturas terrestres. a M. Alexandre de Humboldt, cuyas investigaciones abarcan todas las grandes cuestiones de la losof natural, ha considerado bajo un nuevo a punto de vista y muy importante, las observaciones de las temperaturas propias a los diversos climas. (Memoria sobre las lneas isotrmicas, Sociedad e dArcueil, tom. III, pag. 462); (Memoria sobre el l mite inferior de las nieves perpetuas, Anales de Qumica y la Fsica, tom. V, pag. 102, ann. 1817). En cuanto a las ecuaciones diferenciales del movimiento del calor en los l quidos, l hizo mencin en la historia anual de la Academia de las Ciene o cias. Este extracto de nuestra memoria muestra claramente el objeto y el principio. Anlisis de los trabajos de la Academia de las Ciencias, por M. a De Lambre, ao 1820). n El examen de las fuerzas repulsivas que el calor produce, y que determinan las propiedades estticas de los gases, no pertenece al tema anal a tico que hemos considerado. Esta cuestin vinculada a la teor del calor radio a ante viene a ser tratada por el famoso autor de la Mecnica Celeste a quien a todas las ramas principales del anlisis matemtico deben descubrimientos a a importantes (Conocimiento de los tiempos, para los as 1824 y 1825). o Las nuevas teor explicadas en nuestra obra estn unidas para siempre as, a a las ciencias matemticas, y descansan como ellas sobre cimientos invaria 34

ables; conservarn todos los elementos que poseen hoy, y adquirirn contina a uamente ms amplitud. Se mejorarn los instrumentos y se multiplicarn a a a las experiencias. El anlisis que hemos formado ser deducido de mtodos a a e ms generales, es decir, ms simples y fecundos, comunes a varias clases de a a fenmenos. Se determinar para las sustancias slidas o l o a o quidas, para los vapores y para los gases permanentes, todas las cualidades espec cas relativas al calor, y las variaciones de los coecientes que los expresan. Se observarn, a en los distintos lugares del globo, las temperaturas del suelo a distintas profundidades, la intensidad del calor solar, y sus efectos, o constantes o variables, en la atmsfera, en el Ocano y los lagos; y se conocer esta o e a temperatura constante del Cielo, que es propia de las regiones planetarias. La teor misma dirigir todas estas medidas, y asignar la precisin. No a a a o puede haber en adelante ningn progreso considerable que no est basado u e en estas experiencias; ya que el anlisis matemtico puede deducir de los a a fenmenos generales y simples la expresin de las leyes de la naturaleza; o o pero la aplicacin especial de estas leyes a efectos muy complicados exige un o largo seguimiento de observaciones exactas.

35

36

37

9.

BIBLIOGRAFIA
1. A.V. Oppenheim, Seales y Sistemas, Prentice Hall, 1998 n 2. P.Puig Adam, Ecuaciones Diferenciales, Madrid 1968 3. G.F. Simmons, Ecuaciones Diferenciales, McGraw Hill 2002 4. J.B. Fourier, Thorie Analytique de la Chaleur, Editions Jacques Gabay e 1988 5. Notas de clase de Clculo III, impartidas por J.G. Azorero 2006 a 6. Mc Tutor, www-history.mcs.st-and.ac.uk 7. C.B. Boyer, Historia de la Matemtica, Alianza Editorial, 2003 a

38