LLULL, vol.

5, 1983, 27-63

IMPACTOS DEL ANALISIS ARMONICO*

MIGUEL DE GUZMAN
Universidad Autnoma de Madrid.
Madrid-34

RESUMEN

ABSTRACT

El articulo que sigue pretende

analizar someramente algunas de
las implicaciones que el andlisis armnico ha tenido, a lo largo de la
historia de la ciencia y de la tecnologa, sobre el desarrollo de stas,
sealando en particular cmo una
disciplina, que en cierto modo se
puede considerar includa entre las
ms abstractas de las matemticas,
presenta vertientes que han inj7uido extraordinariamente, no slo en
el curso del pensamiento matemtico, cientifico y tecnolgico, sino
tambin en el del pensamiento jilosfico. El trabajo est dividido en
cinco secciones. En la primera se
analiza el impacto de la visin fundamental de los pitagricos, de origen en un primitivo ancilisis arm-

The following article tries to

analyze some of the impacts that
the harmonic analysis has exerted,
along the history of science and
technology, on their development
and even on the evolution of certain basic philosophic conceptions
of the world. The work is distributed in five sections. -The first one
studies the impact of the fundamental vision of the Pythagoreans,
originated in a primitive harmonic
analysis, according to which all is
harmony and number and so the
nature becomes intelligible through
the mathematical thought. In the
second section the author explains
the initial treatment of the harmonic analysis made by Bernoulli,
Euler, D'Alembert and its influen-

El trabajo presente es un extracto del discurso de ingreso del autor en la Real Academia de Ciencias Exactas, Fisicas y Naturales el 23 de marzo de 1983.

28

MIGUEL DE GUZMAN

nico, de que la naturaleza toda es

armona y nmero, inteligible a
travs del pensamiento matemdtico. En la segunda parte se expone
el tratamiento inicial del andlisis armnico de Bernoulli, Euler,
D'Alembert, y su influencia sobre
el curso de la matemdtica del siglo
XVIII. La tercera parte se dedica a
analizar la significacin de la obra
de Fourier dentro del pensamiento
matemdtico del siglo XIX. Se expone en ella cmo una gran parte
de la dedicacin de los matemdticos del siglo XIX a la fundamentacin rigurosa de las matemdticas se
debe al deseo de aclarar los muchos misterios que rodeaban para
ellos los fenmenos extraflos que
ocurran en las series de Fourier.
La cuarta parte se dedica a sealar
brevemente algunos de los campos
de la matemdtica moderna que han
sido inspirados o influenciados
muy decisivamente por el desarrollo del andlisis armnico. Finalmente en la seccin quinta se sealan brevemente algunos de los desarrollos que el impacto del andlisis de Fourier ha ocasionado en la
tecnologa y en las ciencias contempordneas. A lo largo de cada una
de las secciones se ha procurado indicar cmo la concepcin de la
ciencia ha sido influenciada en
puntos muy bdsicos por estos desarrollos del andlisis armnico.

ce on the mathematical development of the XVIII century. The

third part is devoted to analyze the
significance of Fourier's work in
the mathematical thought of the
XIX century. It is explained there
how a great part of the activity of
the mathematicians of that century
was motivated by the desire to find
an explanation to many of the
mysteries around the Fourier series. The fourth sectiona briefly indicates some of the modern mathematical fields that have been inspired or strongly influenced by the
developments of the harmonic
analysis. In the last section some
advancements of several sciences
and technological fields that have
been motivated by the development
of the harmonic analysis are reviewed. Along the exposition the author has tried to indicate how the
philosophical concepction of science has been influenced by the progress of harmonic analysis.

Palabras clave: anlisis armnico, evolucin del pensamiento matemtico.

1MPACTOS DEL ANAL1SIS ARMONICO

29

EI sueo pitagrico. Todo es annonfa y nrnero

Por la admiracin, dice Aristteles, comenz el hombre a filosofar. La
capacidad de admiracin, esa prerrogativa del hombre sobre los animales, lleva al ser humano a inquirirlo todo, incluso el fenmeno ms rutinario, una vez que adquiere la paz y la posibilidad de ocio necesarias para ello. <:,Cmo est constituda la tierra y el cielo? z,Cmo giran los astros, Sol, Luna y estrellas? <:,Existe alguna ordenacin de sus movimientos acompasados? j,Qu tienen que ver nuestras estaciones y nuestro propio vivir con ellos? El volar de los pjaros, el transcurrir de las nubes, el
tejer de las araas, el crecer de los rboles, el fuego, el agua,... desde todos los rincones a donde el hombre dirige su mirada surge una admiracin primero y una interrogacin despus.
Durante mucho tiempo el hombre ha ido a buscar la respuesta a sus
preguntas, sobre todo a sus preguntas ms cercanas e ineludibles, las que
envuelven su propia felicidad y su miseria, su vida y su muerte, en la magia y en la religin. Tales preguntas son, por supuesto, las ms misteriosas, profundas y oscuras, puesto que involucran la raz de su propio ser.
Era un problema demasiado difcil para comenzar su tarea de pensador
y por ello el contenido de su respuesta, que respuesta s que tena que dar
perentoriamente, estuvo, est y estar, por fuerza, encarnado en la entraa
misma del hombre, all donde el elemento tel rico, visceral, se entrevera
con los condicionamientos previos y con los elementos volitivos y racionales de su complicada estructura.
Pero llego un momento en que el hombre pudo, y quiso, dirigir con
intensidad su mirada y su interrogacin hacia objetos ms despegados de
su preocupacin existencial. Con ello se hizo capaz de buscar su resPuesta en razones estables, slidas, independientes del pas, de la moda, del
correr de los aos, de su propio humor. Es probable que los primeros objetos en que este tipo de acuerdo universal se plasm fueran la figura y
el n mero. En ellos aprendi el hombre a razonar, es decir, a basar sus
aserciones sobre aserciones previas aceptadas, deducindolas de ellas de
un modo que no poda menos de suscitar la aprobacin - del interlocutor.
No es que el hombre no hubiese razonado antes. Lo nuevo fue el poder
elevarse, a travs de peldaos slidos, hasta afirmaciones incontrovertibles, a primera vista bien alejadas de los principios que les dieron naci-

30

MIGUEL DE GUZMAN

miento. Segn parece el hombre que hizo de este ejercicio su modo de pensar fue Pitgoras, en el siglo VI a. de C. A esta actividad la Ilam
latopia exploracin, y a su producto, pte n cr i s, enseanza.
Es muy probable que los elementos dispersos de este sistema estuvieran ya en el ambiente culto de la Grecia jnica de Tales y Anaximandro,
pero parece Pitgoras el responsable de haberlos convertido en mtodo firmemente establecido. Nunca en la historia las ideas matemticas ejercieron un influjo social tan importante como en un cierto fragmento de la
sociedad de la ciudad de Crotona, en el sur de Italia, una vez convertido
al pitagorismo. Pitgoras no fue un matemtico descarnado. Haba viajado mucho. Es posible que aprendiera de Tales de Mileto todo lo que este
saba de geometra. En Egipto haba sido iniciado tal vez en astronoma
y en los misterios religiosos. Es posible que visitara Babilonia y aprendiera de los sabios orientales sus mtodos astronmicos. Con esta brillante
aureola constituy en Crotona su escuela. Su gran xito social se debe probablemente a la integracin armoniosa que logr con su saber. Los conocimientos matemticos constituyeron el annazn esotrico destinado a los
iniciados, los pciterwat Intimamente ligada a ellos y firmemente fundamentada en ellos estaba la doctrina especulativa. De los resultados de
este concimiento y del respeto reverencial hacia el maestro participaban los
aicoticrpatocoi , los acusmticos, los miembros del grupo no iniciados que
reciban de odas el credo de la secta. Todos ellos estaban hermanados en
la creencia de doctrinas religiosas de naturaleza rfica, de la transmigracin de las almas, en la prctica de prescripciones rituales de oscuro origen y de mandatos y ejercicios espirituales de una gran perfeccin.
La visin pitagrica fundamental, la base de su sistema, consisti en
la petsuasin profunda de la inteligibilidad del cosmos mediante el n mero.
En uno de los pocos fragmentos que han Ilegado hasta nosotros de uno
de los pitagricos primitivos, Filolao, se encuentra el siguiente himno al
nmero:
"Grande, todopoderosa, todoperfeccionadora y divina es la fuerza del n mero, comienzo
y regidor de la vida divina y humana, participante de todo. Sin el n mero todo carece de
fronteras y todo es confuso y oscuro. Porque la naturaleza del n mero proporciona conocimiento y es gua y maestra para todos en todo lo que es dudoso o desconocido. Porque nada de las cosas nos serla claro ni en su mismo ser ni en sus relaciones mutuas si no existiera
el nmero y su esencia. Este es quien armoniza en el alma las cosas con su percepcin, hacindolas cognoscibles y congruentes unas con otras segn su naturaleza, proporcionndoles corporeidad. (Diels, B. II).

IMPAC7OS DEL ANALISIS ARMONICO

31

i,Cal pudo ser el camino intelectual de Pitgoras para llegar a esta idea
tan profundamente moderna? Ms de 21 siglos habrn de transcurrir para que, a partir del siglo XVI, tal doctrina quede firinemente establecida
en el pensamiento de la humanidad.
Es en este itinerario mental donde tiene lugar el primer impacto notable del andlisis armnico.
Los pitagricos no escriban sus teoremas. Ni siquiera los dibujaban.
Los construan con piedrecillas (11,fiSoi ). j,Qu tipo de teoremas? Por ejemplo: 1 +3 =22, 1 +3 +5 =32, 1 +3 +5 +7 =42..., es decir, la suma de los n
primeros impares es igual al cuadrado de n.
La demostracin del teorema es sencilla al ir construyendo con piedrecillas cuadrados sucesivos de dos, tres, cuatro piedrecillas en cada lado.
Cuando ste y otros teoremas nada obvios sobre n meros surgan de la
simple formacin de figuras, debi de quedar claramente impresa en la
mente de Pitgoras que una relacin profunda tena que existir entre aquellos dos objetos de naturaleza aparentemente tan distinta, la figura y el
nmero.
Pero la observacin fundamental que debi provocar en Pitgoras su
iluminaccin definitiva sobre la naturaleza aritmtica del cosmos fue probablemente la de la armona producida en el sonido de los instrumentos
de cuerda. La cuerda de una citara produce un sonido. Pisada en la mitad, 1/2, produce la octava superior, pisada en los 2/3 produce la quinta, pisada en los 3/4 produce la cuarta. La m sica de una citara est gobernada por las distintas proporciones entre los nmeros! Los n meros
y sus proporciones dominan la figura, la geometra... y tambin la m sica! Y si mundos aparentemente tan inconexos estn claramente regidos por
el nmero... ,por qu no el universo entero? Posiblemente en el n mero
se encontrara la clave para entender el cosmos. Para el entusiasmo mistico de Pitgoras las experiencias acumuladas a lo largo de sus aos de viajes por los pases de milenaria tradicin como Egipto y Babilonia .convergan con sus propias observaciones para constituir, ms que una demostracin, una autntica evidencia directa. La aritmtica, la m sica, la geometra y la astronoma constituiran el mtodo para tratar de despegar al
alma de la tumba (crnpa ) de este cuerpo (awila ) a fin de ayudarla a evadirse del crculo de reencarnaciones.

32

MIGUEL DE GUZMAN

El nmero como mtodo de pensamiento para desvelar los misterios

del universo! Esta iluminacin constituy un verdadero giro en la historia del pensamiento. Implicaba cambiar radicahnente de orculo en la b squeda de respuesta a muchas de las infinitas preguntas del hombre. La naturaleza es regular, es una armona, es decir, sus componentes estn entrelazadas segn unos cnones constantes, invariables. Nuestro pensamiento puede asir estas normas de actuacin de la naturaleza. El n mero es la
herramienta a su disposicin para hacerse con ellas.
El primer impacto del anlisis armnico, como vemos, est presente
en la misma raz del pensamiento filosfico y cientfico occidental, la inteligibilidad del universo a travs de la razn, y precisamente de la razn
cuantificadora y matematizante.
El anlisis armnico, tal como lo entendemos hoy, consiste en un proceso matemtico para explorar los fenmenos de naturaleza recurrente. Toda inteleccin, no slo la matemtica, est en realidad fuertemente ligada a la recurrencia, a la repetitividad o a la repetibilidad. Sin ella nuestro
pensamiento no encontrara esquemas de referencia. La recurrencia es condicin intrinseca de nuestro tipo de inteleccin. El caos, lo ininteligible,
es la ausencia de recurrencias. Si cada animal que nos encontrsemos fuese
totalmente diferente en su modo de locomocin, en sus rganos sensoriales, en su forma de alimentacin, etc... iyodriamos tener una ciencia zoolgica organizada? Si los astros todos llevasen trayectorias de diferentes
tipos, si nuestros das y noches fuesen todos de diferente duracin, sin las
uniformidades que observamos, no tendramos la ciencia astronmica que
tenemos. Nuestra forma de entender referencial exige esquemas de recurrencia en los que encajar los nuevos fenmenos.
En el espritu matemtico la recurrencia motiva y estimula la nocin
misma del nmero. Con el nmero como instrumento se puede analizar
ms de cerca la recurrencia, entenderla ms profundamente desde diversos ngulos, relacionando unas recurrencias con otras. Asi aparece la proporcin. Con este bagaje, al contemplar el universo llegamos al firme convencimiento de que el todo es un cosmos lleno de proporciones, de ritmos,
de artnonas antes insospechadas. i3O tal vez son las categoras que proyectamos nosostros mismos para entender el universo a nuestro modo? En
cualquier caso, para nosotros el mundo est lleno de orden y armona y
all donde no lo encontramos a primera vista lo buscamos ansiosamente,
porque sabemos que est escondido esperando ser desvelado.

IMPACTOS DEL ANALISIS ARMONICO

33

La ubictdad de la periodicidad en la naturaleza es patente y bien cercana. Nuestra vida est regida por la sucesin de das y noches, veranos,
inviernos, aos..., nuestro cuerpo est constantemente animado por ritmos fisiolgicos, latidos, respiraciones. Nuestro esplitu tambin tiene su
ritmos annicos. Nuestra actividad toda, nuestra m sica, nuestros juegos,
nuestras mquinas estn invadidas por la periodicidad. Y esta es ms importante, si cabe, si descendemos a los niveles ms elementales de la materia, como veremos ms adelante. Por todo ello no es de extraftar que el
progreso del pensamiento humano en su exploracin de la naturaleza haya sido fuertemente estimulado, como tendremos ocasin de resaltar despus, por el anlisis matemtico de los procesos peridicos.
La influencia pitagrica a lo largo de los siglos ha sido inmensa. La
antorcha pitagrica fu recogida dos siglos ms tarde por Platn y transmitida con empuje a travs de su escuela y de sus escritos. Platn no fue
propiamente un matemtico profesional. Sin embargo su veneracin profunda artte el poder las matemticas y el est nulo que de l recibieron tantos matemticos posteriores son motivo de que Platn tenga un lugar muy
prominente en la historia de las matemticas. Tambin Aristteles fue un
profundo conocedor de las matemticas, como buen discpulo de Platn.
Posiblemente slo Leibniz y Descartes, entre los filsofos, le igualaron en
el concimiento profundo de la matemtica contempornea. Pero el talante intelectual de Aristteles y su fuerte influencia en el pensamiento del final de la edad media tuvo otro sabor diferente. En Aristteles domin el
espritu clasificador, que estimula el estudio cualitativo de las relaciones
entre las cosas (categoras), sobre el espritu cuantificador tan eminente en
los pitagricos, platnicos, neoplatnicos y neopitagricos. Del espritu clasificador sugen la filosofa y las ciencias de tipo ms cualitativo (no en vano
Aristteles, hijo de un mdico, sobresali especialmente por sus observaciones en el terreno de la biologa). Del espritu cuantificador surgen las
ciencias que se han llamado exactas. Naturalmente que todas las ciencias
acuden a mtodos cuantitativos y tualitativos cuando lo necesitan para su
progreso. La biologa, desde siempre, ha recurrido a elementos cuantitativos en sus intentos explicativos y clasificatorios. Asimismo la matemtica recurre al espritu clasificador para lograr la unificacin y ordenacin
cuando su ciencia se le dispersa (recurdese el programa de Erlangen o los
intentos de clasificacin en la selva de mtodos y resultados en la teora
de ecuaciones en derivadas parciales).

34

MIGUEL DE GUZMAN

Los matemticos de todos los tiempos se han identificado con el esplritu soador de Pitgoras y Platn ms que con el espiritu aristotlico. En
la historia del anlisis armnico se revela especialinente el maridaje, extrao para muchos, de matemticas y inisticismo que perdura en nuestros
das en las elucubraciones de nuestros astrlogos de claro sabor cabalstico y neopitagrico, slo que con mucho menos soporte racional y mucha
ms superficialidad que en buena parte de los antiguos.
En el siglo XVI aparece un nuevo Pitgoras totalmente imbudo de la
idea de que el universo es explicable mediante la armona y proporciones
numricas, Johannes Kepler. En su Mysterium Cosmographicum (1596)
se expresa del siguiente modo:
Yo me propongo demostrar que Dios, al crear el universo y al establecer el orden del cosmos, tuvo ante sus ojos los cinco slidos regulares de la geometra conocidos dede los das
de Pitgoras y Platn, y que El ha fijado de acuerdo con sus dimensiones el nmero de los
astros, sus proporciones y las relaciones de sus movimientos.

En el sistema del misterio cosmogrfico el Sol ocupaba el centro de una

esfera en la que se mova Saturno. Si en ella se inscriba un cubo y en el
cubo otra esfera, all giraba J piter. En esta ltima esfera se inscriba un
tetraedro y en l otra esfera. All se mova Marte..., Kepler era un mistico respetuoso de los hechos. Estos desmintieron su teora concreta de los
cinco cuerpos regulares, pero nunca le hicieron abandonar la idea de la
armona matemtica del cosmos. Esta confianza absoluta en el orden del
universo le llev en 1609 al hallazgo de sus dos primeras leyes sobre el movinento planetario, habiendo de superar para ello nada menos que sus
propios prejuicios sobre la preferencia de la naturaleza por el movimiento circular y por el movimiento uniforme, pensamientos tan platnicos y
tan fuertemente enraizados en el ambiente. En 1616, en su obra Harmonices Mundi, enuncia su tercera ley que vena a confirmar que aunque la
armona musical de las esferas de los pitagricos no fuese una realidad fisica, era ciertamente una realidad asequible a los ojos y odos del alma,
mucho ms profunda que la m sica de los sentidos. Kepler lleg incluso
a idear una notacin musical para representar el movimiento de los planetas. Bien se puede afirmar que el pitagorismo de Kepler, apoyado en su
respeto extraordinario por los hechos y por las mediciones aportadas por
Tycho Brahe, fue el elemento esencial que logr asentar la teora copernicana en la mente de los astrnomos.

IMPACMS DEL ANALISIS ARMONICO

35

El primer anlisis matemtico de las ondas, en un sentido ms cuantitativo, lo realiz otro gran mstico matemtico que se mantuvo oculto como tal durante toda su vida, Isaac Newton. En sus Principia (1687) estudia las ondas y gracias a este anlisis calcula la elipticidad de la tierra con
una exactitud que hoy nos asombra. La faceta esotrica de Newton, un
ferviente seguidor del mstico Jakob Bhme, ha permanecido en la sombra durante mucho tiempo. El hombre que p blicamente "no forjaba hiptesis" se reservaba par s mismo un gran banquete de ellas de la ms
variada naturaleza. Despus de su muerte, al levantar la tapa del arcn en
que Newton mantena sus escritos esotricos, el obispo Horsley qued tan
aterrado por los fantasmas de tales especulaciones heterodoxas de aquel
padre de la patria que estaba enterrado junto a los reyes de la nacin, que
decidi que ms vala cerrar rpidamente aquella caja de Pandora. El ejemplo de Newton podra ser devastador para las doctrinas establecidas.
El retorno de los armnicos

La Historia moderna del anlisis armnico comienza como una nueva variacin del tema pitagrico, esta vez con los instumentos del anlisis
matemtico del siglo XVIII. Entre los problemas propuestos por Brook
Taylor en su Methodus incrementorum directa et inversa (1715) figuran
los dos siguientes:
Problema 17. Determinar el movimiento de una cuerda tensa.
Problema 18. Dada la longitud y el peso de la cuerda, asi como la fuerza que la tensa,

encontrar el tiempo de vibracin.

Taylor obtiene en su lenguaje propio, un tanto distinto del nuestro, la

ecuacin diferencial de la cuerda vibrante, es decir la ecuacin de ondas
unidimensional. Encontr que el movimiento de un punto arbitrario es el
de un pndulo simple y deterrnin su tiempo de vibracin, su perodo. Asmismo estableci que la forma de curva que toma la cuerda en un instante dado es sinusoidal.
El estudio matemtico, iniciado por Taylor, de la cuerda vibrante di
lugar a una de las controversias ms encendidas y ms fructferas en la historia de las matemticas. Sin temor a equivocacin se puede afirmar que
el desarrollo del anlisis matemtico del siglo XIX tiene como hilo con-

36

MIGUEL DE GUZMAN

ductor el deseo de proporcionar respuestas satisfactorias a las muchas preguntas originadas en el estudio de la cuerda vibrante.
En 1727, doce allos despus del tratamiento de Taylor, Johann Bernoulli propone a su hijo Daniel que se ocupe del problema de la cuerda.
Pero no puede esperar para hacer pblicas sus propias ideas sobre el asunto
y en 1728 publica sus Meditaciones sobre cuerdas vibrantes con pesos pequeos a distancias iguales, donde trata, con mtodos muy diferentes, el
mismo problema. Pero sus resultados no van mucho ms lejos.
Una idea ms original llega veinte aos ms tarde, en 1747, con el hallazgo, por D'Alembert, de la forma general de la solucin de la ecuacin
de ondas, y = f(t + s)+ g(t-s). D'Alembert trata de demostrar "que existe
una infinidad de curvas distintas de la sinusoidal" entre las posibles formas de la cuerda vibrante. Por la forma de la ecuacin general, dice, "es
fcil ver que esta ecuacin encierra una infinidad de curvas". Estudia el
caso particular de que la cuerda "est en lnea recta al comienzo de la vibracin y luego, por un impulso adecuado, toma la forma de una curva
sinusoidal muy alargada".
La deduccin de D'Alembert en este artculo era un tanto tortuosa. Por
otra parte no quedaba bien claro cmo se determinaban las funciones f
y g ante un problema que claramente deba tener una respuesta bien determinada. Por ello Euler, en 1748, trat de aclarar estas cuestiones. Present otra demostracin y determin f y g supuestas conocidas las condiciones iniciales, posicin y velocidad, de la cuerda. Para Euler esta posicin y velocidad venan dadas por curvas "mecnicas" arbitrarias, por
ejemplo, la curva inicial formada por la cuerda poda ser, al pisarla en su
punto medio, una lnea quebrada.
Algo haba oscuro para D'Alembert en estas consideraciones de Euler.
El mtodo parta de que la curva formada por la cuerda en cada instante
se pudiese expresar "analticamente" a partir de la abscisa y del tiempo.
As se expresa l mismo en 1750, enfrentndose a la concepcin de Euler:
"En cualquier ouo caso, el problema no puede ser resuelto, al menos por mi mtodo,
y no estoy cierto de que no sobrepase la potencia del anlisis conocido. En efecto no se puede,
me parece, expresar y analtticamente de una manera ms general que suponindola funcin
de t y de s, pero en este supuesto, no se encuentra la solucin del problema ms que para
los casos en que las diferentes figuras de la cuerda vibrante puedan ser encerradas en una
sola y misma ecuacin".

IMPACMS DEL .ANALISIS ARMONICO

37

Para D'Alembert la curva "mecnica" de Euler no es tratable mediante

los mtodos de clculo diferencial, no admite una expresin mediante "una
sola y misma ecuacin". Por ello no puede aceptar la solucin de Euler.
En este momento interviene Daniel Bernoulli, con cuya entrada el asunto se embrolla todava ms. Bernoulli, en 1753, subraya un aparente conflicto entre las consideraciones de Taylor, por una parte, con sus soluciones sinusoidales, y la infinita variedad de soluciones, distintas de las sinusoidales, por parte D'Alembert y Euler. Trata de reconciliar las dos consideraciones mediante una visin sinttica de la naturaleza musical de las
vibraciones:
"...un anlisis abstracto que se acepta sin un examen sinttico de la cuestin discutida
nos puede posiblemente sorprender rns que iluminar. Me parece que slo tenemos que prestar
atencin a la naturaleza de las vibraciones simples de las cuerdas para prever sin clculo todo lo que estos dos grandes gemetras han encontrado mediante los clculos ms espinosos
y abstractos que la mente pueda reglizar"
La cuerda admite unos cuantos modos simples de vibracin natural que
vienen dados por las soluciones de Taylor. Por otra parte cualquier combinacin lineal de estas soluciones simples es claramente una solucin del
problema "...esto es cierto, si bien no lo tengo a n del todo claro: si exiten an otras curvas, entonces no s en qu sentido puedan ser adrnitidas".
Lo que Bernoulli pareca conocer con claridad era que una respetable confusin reinaba sobre el tema.
La contestacin de Euler en el mismo ao 1753 no contribuy mucho
a aclarar la situacin. Euler afirmaba que la solucin de Bernoulli, necesariamente peridica no poda ser una solucin general. Contra D'Alembert Euler simplemente reafirma la validez y la generalidad de su solucin
en todos los casos.
"Yo creo que la solucin que he dado no es limitada en ning n respecto; al menos yo
no puedo descubrir ningn fallo en ella y nadie todavla ha demostrado su insuficiencia".

La polmica qued un tanto petrificada en este estado. Otros matemtios, como Lagrange, Laplace, intervinieron en ella ms adelante, pero en
realidad la clarificacin del tema slo poda venir de una profundizacin
en las ralces mismas del anlisis.

38

MIGUEL DE GUZMAN

A los matemticos de hoy da nos resulta difcil pensar que una controversia semejante pudiera sugir en medio de nuestro anlisis matemtico. Para buscar un lugar de nuestra matemtica en que algo parecido haya sucedido o est sucediendo en nuestros tiempos tenemos que acudir a
los puntos de los fundamentos en los que no hay claridad ni acuerdo universal. Son en el fondo, los mismos enigmas que desde los tiempos de Zenn de Elea siguen constituyendo un desafo a nuestra potencia de racionalizacin del infinito.
Vista a distancia, la controversia de la cuerda vibrante nos parece hoy
ms superficial. Las discusiones de la polmica constituan en realidad las
contracciones de la matemtica por dar a luz una nueva nocin de dependencia funcional. La concepcin prevalente de funcin era fuertemente algebraica. La funcin tratable por los medios del anlisis, lo hemos odo
al propio D'Alembert, debe ser expresable mediante "una sola y misma
ecuacin". Euler mismo, a pesar de su nocin de "curva mecnica" no
parece concebir, frente a Daniel Bernoulli, que una expresin analtica, tal
como la combinacin lineal infinita en senos y cosenos, pueda coincidir,
dentro de un cierto intervalo, con una de sus curvas mecnicas. La serie
infinita no era, por su infinitud, preocupacin importante para Euler que
las trataba con una audacia bien temeraria. Por su parte Bernoulli mismo presenta la solucin del problema, pero no pareca ver las cosas tan
claras como para ser capaz de dar la razn profunda de sus afirmaciones.
Las escamas que cubran los ojos de los matemticos del tiempo eran
su concepcin de funcin, al modo de polinomio. Y un polinomio queda perfectamente determinado para todos los valores una vez que se conocen sus valores en un intervalo por pequeo que sea! Este era el paradigma que haba que romper.
i,Cmo se rompe un paradigma? El paradigma, en matemticas, como en todas las ciencias, se suele romper con la paradoja, para dar lugar
a un paradigma nuevo. La paradoja nos enfrenta con nuestras propias
ideas y modos de proceder rutinarios, con nuestros paradigmas. Las herramientas que cotidianamente manejamos sin cuestionarlas en modo alguno, nos aparecen como iluminadas de un modo nuevo. El hombre primitivo que con su tosca maza quiso un da hacer un agujero en la piel del
mamut que le atacaba, pronto tuvo que percibir que algo iba mal. Y yo
,por qu manejo esta herramienta precisamente? por qu precisamente
as? Haba inventado la lanza.

IMPACTOS DEL ANALISIS ARMONICO

39

Las revoluciones cientficas se gestan a menudo por la aparicin de fenmenos paradjicos que no encajan en los paradigmas del momento. En
el armonioso sistema de las proporciones pitagricas apareci, era inevitable, el 1Xoyos, el monstruo, el n mero irracional. Los panwatiKoi los
iniciados, guardaron el secreto por algn tiempo. No convena que los
acusmticos supieran de su existencia. Segn cuenta Proclo, Hipaso de Metaponto pereci en un naufragio como castigo por la divulgacin del secreto. Las paradojas de Zenn, en particular la del estadio, parece haber
ido encarninada a establecer la inconsistencia del atomismo numrico de
los pitagricos. Las paradojas de los infinitesimales, esos "fantasmas de
las cantidades difuntas", puestas de manifiesto por. Berkeley, a propsito de los nacientes paradigmas del clculo infinitesimal, estimularon fuertemente la bsqueda de un apoyo slido para el clculo.
Para la emergencia y consolidacin de nuevos paradigmas cuando los
antiguos van quedando inservibles se deben dar condiciones favorables.
La paradoja del irracional vino a minar el maridaje fecundo que los pitagricos haban concertado entre el n mero y la figura. Eudoxo construy una perfectisima tcnica para solucionar las desavenencias surgidas, el
mtodo de ediauscin. Sin embargo, el mtodo debi de parecer a los matemticos contemporneos demasiado complicado. El precio que haba que
pagar por conservar la armona entre proporcin y figura era excesivo. La
consecuencia fue la dedicacin de los griegos a una geometria ms desligada del nmero. Las ideas de Eudoxo hubieron de esperar hasta el siglo
XIX. Si para los griegos hubiera sido ms importante conservar y continuar por el camino pitagrico puro, el transcurso de la matemtica hubiera sido bien distinto probablemente.
En el caso de los infinitesimales, los productos tan valiosos que salan
desde el principio del oscuro castillo del clculo de fluxiones, densamente
poblado por los "fantasmas de las cantidades difuntas" no dejaban lugar a dudas sobre el valor prctico de los nuevos paradigmas. "iAdelante, que la fe ya os Ilegar!", era el consejo de D'Alembert. Y los matemticos continuaron trabajando con fe, aunque no muy fundamentada
hasta bien fmalizado el siglo XIX. En realidad, la fundamentacin del anlisis corre pareja con la solucin de las dificultades en torno a la cuerda
vibrante.

40

MIGUEL DE GUZMAN

La visin de Fourier: Incluso el fuego es regido por los n meros

El asentamiento definitivo del nuevo concepto de funcin hubo de esperar algn tiempo. Quien di los pasos decisivos par lograrlo fue Fourier.
Fourier se manifiesta tambin profundamente pitagrico en el interesante discurso preliminar de su obra fundamental, Teora analtica del calor, publicada en 1822.

"Las ecuacions analticas... no se restringen a las propiedades de las figuras y a las que
son objeto de la mecnica racional; se extienden a todos los fenmenos generales. No puede haber un lenguaje ms universal ni ms simple, ms exento de errores y de oscuridades,
es decir ms digno de exprear las relaciones invariables de los seres naturales. Considerado
bajo este punto de vista, el anlisis matemtico es tan extenso como la naturaleza misma;
define todas las relaciones sensibles, mide el tiempo, los espacios, las fuerzas, las temperaturas;... s-u atributo principl es la claridad; no tiene en absoluto signos para expresar nociones confusas. Relaciona los fenmenos ms diversos y descubre las analogias secretas que
los une. Si la materia se nos evade, por su extrema tenuidad, como la del aire y de la luz,
si los cuerpos estn situados lejos de nosotros, en la inmensidad del espacio, si el hombre
quiere conocer el espectculo de los cielos en pocas sucesivas que un gran n mero de siglos
se para, si las acciones de la gravedad y el calor se ejercen en el interior del globo slido a
profundidades que nos sern siempre inaccesibies, el anlisis matemtico puede, con todo,
dominar las leyes de estos fenmenos. El nos los hace presentes y parece ser una facultad
de la razn humana destinada a suplir la brevedad de la vida y la imperfeccin de los sentidos; y, lo que es an ms notable, sigue el mismo camino en el estudio de todos los fenmenos; los interpreta con el mismo lenguaje como para atestiguar la unidad y la simplicidad del plan del universo, y hacer a n ms patente este orden inmutable que preside en todas las causas naturales".

A la cabeza del capltulo primero de este gran "poema matemtico",

como Maxwell llam a la Teon'a analtica del calor, figura en latin una cita
de Platn que resume el pensamiento bsico de Fourier sobre la aplicabilidad universal del anlisis matemtico: et ignem regunt numeri (incluso
el fuego est gobernado por los n meros). Fourier llev adelante esta persuasin con tenacidad. En su actitud matemtica signific en particular no
poner ninguna barrera al tipo de dependencia funcional manejable mediante el anlisis.
"Si se propone una funcin f(x) cuyo valor est representado, en un intervalo determinado, desde x = o hasta x = X, por la ordenada de una curva trazada arbitrariamente, se podr desarrollar esta funcin en una serie que no contendr ms que los senos y cosenos de
los arcos mltiples... Estas series trigonomtricas, ordenadas segn los cosenos o los senos

IMPACTOS DEL ANALISIS ARAIDNICO

41

del arco, pertenecen al anlisis elemental como las series cuyos trminos contienen las potencias sucesivas de la variable. Los coeficientes de las series trigonomtrias son reas definidas, y los de las series de potencias son funciones dadas por diferenciacin y en las cuales
se atribuye tambin a la variable un valor defundo". (Cap 111, Sec. vp.

En esta ltima comparacin de la serie trigonomtrica, que hoy llamamos serie de Fourier, con la serie de potencias, se encierra el paso fundamental hacia el nuevo paradigma sobre el concepto de funcin. Los coeficientes de la serie de Fourier surgen como reas a partir de la interpretacin geomtrica de la funcin, que ahora puede ser representada por una
curva mecnica sin ninguna dificultad. Los -de las series de potencias surgen de la manipulacin de la funcin interpretada algebraicamente. En
nuestros trminos ms actuales, la gran diferencia entre la serie trigonomtrica de Fourier y la serie de potencias de Taylor estriba en que la de
Taylor, all donde representa la funcin de la que proviene es una funcin
analtica, en nuestros trminos, de modo que toda ella est determinada
por su comportamiento en cualquier pequeo intervalo, mientras que la
serie de Fourier, que puede provenir efectivamente de una funcin mucho
ms general, tiene un carcter local, es decir, el valor de la serie en un entorno no contiene ninguna informacin sobre el valor de la serie en otro
entorno disjunto del anterior.
Esta diferencia radical de comportamiento entre una y otra serie, cuya naturaleza an no se entenda nada bien, constituy en el fondo la causa
principal de la oposicin decidida que las ideas de Fourier tuvieron que
afrontar al principio. Ya en 1807 Fourier tena bien organizadas sus ideas
sobre la propagacin del calor en las que aparecia la posibilidad de representar una funcin totalmente arbitraria, incluso una funcin discontinua,
mediante una serie trigonomtrica. Present su trabajo a la Academia de
Ciencias y se encontr con la oposicin de Lagrange. Laplace y Legendre
fueron los otros dos miembros de la acadernia que hubieron de juzgar el
trabajo de Fourier. Laplace no debi de ser tan desfavorable al trabajo.
La monografa no fue admitida para su publicacin, pero la Academia dese estimular a Fourier a desarrollar sus ideas y estableci un premio, que
se debera otorgar cuatro allos despus, en 1812, al mejor trabajo matemtico sobre la propagacin del calor. Fourier present de nuevo sus ideas
en 1811 con una revisin de su trabajo de 1807. Gan el premio, pero el
tribunal, en el que de nuevo estaban presentes Lagrange, Laplace y Legendre, decidi que careca del rigor suficiente para ser publicado en las
Memorias de la Academia. No debi de agradar nada a Fourier este re-

42

MIGUEL DE GUZMAN

sultado. Comenz a trabajar en una tercera versin de sus ideas para publicarlas en forma de libro que por fin sali a la luz p blica en 1822, la
Teora analtica del calor, uno de los grandes clsicos de la matemtica y
de la fsica matemtica, que traa consigo el germen de una verdadera revolucin cientfica. Los desarrollos matemticos de Fourier sobre un problema como el del calor, de un inters enorme en los crculos cientficos
contemporneos (Sadi Carnot publicara en 1824 sus Reflexiones sobre la
potencia motriz del fuego, fundando la termodinmica con ellas) se presentaban como una clave para entender y aclarar fenmenos que, por otra
parte, eran comprobables y medibles. El nuevo paradigma no estaba exento
de oscuridades, pero para la mayor parte de los cientficos era claro que
vala la pena aceptarlo y exploralo. Dos aos despus, en 1824, Fourier
era Secretario de la Academia y, siendo por naturaleza insistente, logr
que su trabajo de 1811 fuese tambin publicado en su forma original en
las Memorias de la Academia en 1824 y 1826.
Los trabajos de Fourier contienen ciertamente muchas afirmaciones
audaces que justifican en buena parte los escr pulos de Lagrange y de otros
muchos matemticos de su tiempo. En realidad, gran parte de los intentos de fundamentacin, y muchas de las nuevas herramientas del anlisis
matemtico del siglo XIX fueron motivados para poder establecerlos con
el rigor y claridad que Fourier mismo reclamaba para el anlisis. Para empezar, la nocin de lmite de una serie no estaba an del todo clarificada.
Se operaba con series divergentes con una audacia limitada, como si fuesen sumas finitas, aunque muchos matemticos de la poca, entre ellos
Euler, parecan gozar de una percepcin extramatemtica para Ilegar con
ellas a conclusiones correctas. Abel escribe en una carta a su maestro
Holmbo en 1826:
"Las series divergentes son una invencin del diablo... Usndolas se puede llegar a cualquier conclusin y es as como estas series han dado lugar a tantas falacias y paradojas...
Con la excepcin de la serie geomtrica no existe en toda la matemtica una sola serie infinita cuya suma haya sido determinada rigurosamente. En otras palabras, las cosas ms importantes en matemticas son las que tienen un fundamento ms dbil... El que muchos resultados sean correctos a pesar de ello es extraordinariamente sorprendente. Yo estoy tratando de encontrar una razn para ello; es una cuestin profundamente interesante".

La convergencia era un problema importante que oscureca los resultados de Fourier. En los aos 1820 Poisson y Cauchy trataran de dar demostraciones, ambas tan poco rigurosas como las del mismo Fourier. Pero
haba otro problema ms bsico. La determinacin de los coeficientes de

IMPAC719S DEL ANALISIS ARMONICO

43

la serie de Fourier se realizaba, lo hemos odo en palabras del mismo Fourier, mediante el clculo de un rea. Este clculo, para un rea limitada
por una curva definida.por un polinomio o por otra funcin sencilla se
poda realizar mediante la regla de Barrow. Pero para una curva arbitraria, dejando aparte la significacin geomtrica, que mientras la curva no
fuese muy estrafalaria podra estar ms o menos clara, ,cmo se poda Ilegar a tal clculo? Y si la funcin a representar en serie era verdaderamente
extraa, se podra uno incluso cuestionar el significado de tal rea. En
otros trminos, L,qu era y cmo se haba de calcular la integral de una
funcin arbitraria? Los sucesivos refinamientos de la teora por Cauchy,
Riemann, L,ebesgue..., estuvieron fuertemente motivados por el deseo de
clarificar este punto importante de anlisis de Fourier, as como los manejos un tanto indiscriminados de la sumacin, integracin, derivacin bajo el signo integral...
Y a pesar del grado de oscuridad de tales cuestiones fundamentales del
anlisis, Fourier afirma, sin otro fundamento que la seguridad que le inspiraba la congruencia de su doctrina:
"Las series ordenadas segn los cosenos o los senos de los arcos m ltiples son siempre
convergentes". (Cap. IlL Soe. VI).

Como haba sucedido con los infinitesimales y como sucedera ms tarde con el clculo operacional de Heaviside y de Dirac, la potencia de las
series de Fourier para resolver problemas interesantes de la fsica contempornea estimul a los matemticos a tratar de iluminar sus oscuridades,
ms bien que a proponerlas como objecin, a fin de darles franca entrada en el mundo de los entes matemticos bien establecidos. En 1829 Dirichlet public un artculo con el que comenzaba este proceso clarificador.
En l se propona el primer criterio de suficiencia rigurosamente establecido para la convergencia de una serie de Fourier: Supongamos que una
funcin (a) es peridica de periodo 21T, (b) no presenta un n mero infinito de mximos y minimos, y (c) si es discontinua en un punto, entonces
toma en dicho punto el valor medio de los l nites finitos a la izquierda
y a la derecha de tal punto. Entonces la serie de Fourier de esta funcin
converge al valor de la funcin en cada punto.
El trabajo de Dirichlet marca un hito en la historia de la fundamentacin del anlisis, pues constituye un verdadero modelo de rigor. Como
ejemplo de una funcin que no satisface sus condiciones propuso la que

44

MIGUEL DE GUZMAN

hoy llamamos funcin de Dirichlet, que toma el valor constante c par cada nmero racional y otro diferente d para cada irracional. Dirichlet era
claramente consciente de la necesidad de discutir ms ampliamente los principios fundamentales del anlisis infinitesimal. Sellala incluso la posibilidad y la conveniencia de ampliar la nocin de integral. Dirichlet comprendi que a fin de definir la integral de una funcin no era necesario que
sta fuese continua ni que tuviese a lo sumo un n mero finito de discontinuidades. En su artculo de 1829 no intent justificar esta afirmacin que,
dice:
"Requiere algunos detalles relacionados con los principios fundamentales del anlisis infinitesimal que sern presentados en otra nota...".

Absorbido sobre todo por sus investigaciones en teora de n meros

nunca lleg a realizar este proyecto, pero transmiti su inters por l a
quien haba de sucederle en 1859 en la ctedra de Gttingen en la que l
mismo haba sucedido a Gauss haca tan slo cuatro afios.
Se ha llegado a afirmar que la historia del anlisis matemtico en el
ltimo tercio del siglo XIX ha sido en gran parte la historia de la solucin
de problemas propuestos por Riemann con tcnicas introducidas por
Weierstrass. Una de las fuentes principales de estos problemas de Riemann,
algunos an sin resolver, se encuentra en el escrito de Habilitacin (Habilitationsschrift) presentado por Riemann en 1854 ante los profesores de
la Universidad de Giittingen como prueba de su capacitacin para ensear. No fue publicado hasta 1867, en que despus de su muerte su amigo
y colega Dedekind decidi hacerlo, "tanto por el inters considerable de
la materia en cuestin como por la manera en que se tratan los principios
ms importantes del anlisis". El escrito estuvo sin duda motivado por las
conversaciones y trabajos de Dirichlet. En l se contiene primero una breve
historia de los trabajos relativos a la representacin en serie trigonomtrica de una funcin arbitrariamente dada, luego una extensinde la nocin de integral en donde en pocas pginas aparece lo que hoy Ilamamos
integral de Riemann y finalmente la aplicacin de las nociones anteriores
al problema de la representacin en serie trigonomtrica "sin hacer hiptesis particulares sobre la naturaleza de la funcin".
La originalidad de la visin de Riemann se manifiesta de forma extraordinariamente clara en los tres trabajos que hubo de realizar para demostrar su talento matemtico. Es posible que, de no haber sido por el estru-

IMPACTOS DEL ANALISIS ARMONICO

45

jatniento intelectual que el sistema alemn impona a aquellos que deseaban que se les permitiese ensefiar en sus Universidades, la matemtica actual sera tres veces ms pobre, sin tres de las contribuciones ms importantes de Riemann. En 1851 haba presentado su tesis doctoral Principios
fundamentales para una teora general de las funciones de una variable
compleja. Tres aos despus, en 1854, present como discurso de Habilitacin (Habilitationsvortrag) su trabajo Sobre las hiptsis que sirven de
fundamento a la geometra y como escrito de Habilitacin la memoria que
nos ocupa Sobre la representacin de una funcin mediante una serie trigonomtrica. Con sus trabajos de Habilitacin Riemann consegua que se
le nombrase Privatdozent, es decir que se le permitiese ensear, sin sueldo, en Gttingen a los estudiantes que quisieran matricularse en su curso. Sus honorarios seran las matrculas de sus estudiantes. Cualquiera de
los tres trabajos citados de Riemann hubiera bastado por s solo para ganarle un puesto eminente en la historia del desarrollo de las matemticas.
En su trabajo sobre series trigonomtricas, aparte de llevar a cabo, con
su teora de la integral, el proyecto de Dirichlet sobre la integracin de funciones con infinitas discontinuidades, inici un nuevo camino en el estudio de las series trigonomtricas, tratando de obtener condiciones necesarias y suficientes para que una serie trigonomtrica general, no necesariamente obtenida a partir de una funcin al modo de Fourier, fuese convergente. En su artculo no slo demostr el que hoy llamamos teorema de
Riemann-Lebesgue sobre la convergencia hacia cero de los coeficientes de
una serie de Fourier, y el teorema de localizacin (incluso en una forma
ms general) seg n el cual la convergencia de una serie de Fourier en un
punto depende del comportamiento de la funcin en un entorno de dicho
punto, sino que su visin original suscit una serie de problemas nuevos
extraordinariamente sutiles y estimulantes. Entre ellos se cuenta el problema sobre el conjunto de unicidad de una serie trigonomtrica que, como
veremos, incitar ms adelante a Cantor a la creacin de su original teora de conjuntos. El estudio, iniciado por Riemann de los problemas que
presentan las series trigonomtricas arbitrarias, es decir, cuyos coeficientes no son necesariamente los coeficientes de Fourier de una funcin dada, es uno de los temas del anlisis armnico que, despus de ms de un
siglo y cuarto, preenta an ms cuestiones.
Tal vez sea ste el lugar ms adecuado para tratar de analizar con perspectiva algunos aspectos que llaman la atencin ante la emergencia del anlisis annnico. Pronto, a partir de Riemann, los problemas interesantes

46

MIGUEL DE GUZMAN

se sucedern incesantemente. Sern muchas las personas y escuelas trabajando en muy diferentes aspectos del anlisis annnico, tanto desde el punto de vista de la matemtica fundamental como desde las aplicaciones. Lo
que comenz como una tenue raz se habr hecho a fines del siglo XIX
tronco robusto y se ramificar extraordinariamente invadiendo una gran
parte del espacio cientfico del siglo XX. i,Dnde radica la pertinencia, la
oportunidad de la herramienta de Fourier que motiva su xito? es
el secreto de la ubicuidad del anlisis armnico en el mundo de la matemtica aplicada?
Nuestro mundo est en perpetuo flujo. El intento racionalizador para
entender cuantitativamente este movimiento y crecimiento da lugar de modo natural, si bien el pensamiento humano necesit unos cuantos siglos
para percatarse de ello, a las nociones bsicas del clculo infinitesimal, la
derivada y la integral. No en vano lo llam Newton "clculo de fluxiones". Al mismo tiempo el flujo de los fenmenos naturales se nos,presenta,
como hemos visto antes, de modo fundamentalmente recurrente. El flujo
de las cosas se pueden racionalizar cuantitativamente mediante una funcin. El intento de entender cuantitativamente las recurrencias que pueda
presentar esta funcin, sus periodicidades, condujo a Daniel Bernoulli, lo
hemos visto, en el caso particular de la cuerda vibrante, a la descomposicin de la funcin que define su movimiento en una suma de funciones,
movimientos simples, lo que hace la estructura del movimiento compuesto difana y transparente desde el punto de vista matemtico. Fourier extendi este proceso con audacia a cualquier funcin. Al descomponerla de
este modo la haca asequible al tratamiento matemtico. La rueda de los
acontecimientos haba llevado a Fourier a ocuparse de pproblemas en los
que la descomposicin en senos y cosenos era profundamente significativa. Si se trata simplemente de representar una funcin peridica como suma de otras funciones simples existen muchas alternativas. Es verdad que
las funciones trigonomtricas, las ms simples entre las funciones peridicas, eran un candidato natural para este anlisis. Pero hay otra razn
ms profunda de la conveniencia del uso de estas funciones. Las funciones trigonomtricas tienen propiedades muy especiales con respecto a la
operacin bsica de la derivacin. La derivada del seno es el coseno y la
del coseno el seno cambiado de signo. En trminos modernos, las funciones trigonomtricas son autofunciones de los distintos operadores de derivacin. Los problemas de la cuerda vibrante y de la proPagacin del calor
se expresan analticamente mediante ecuaciones diferenciales particular-

IMPACTOS DEL ANAL1SIS ARMONICO

47

mente simples. Las autofunciones de los operadores de derivacin, combinadas linealmente de modo adecuado conducen efectivamente a la solucin de cualquier problema particular razonable relacionado con tales
ecuaciones. Este es el secreto del xito inicial del anlisis de Fourier en su
sorprendente aplicabilidad al estudio de los fenmenos naturales. Multitud de fenmenos interesantes se rigen de acuerdo con ecuaciones semejantes a las de la cuerda vibrante y de la propagacin del calor. Pinsese
en la ubicuidad del laplaciano en la fsica matemtica que tiene su razn
de ser profunda en la presencia constante de la simetra en las leyes naturales. Los mismos procesos matemticos que han sido sealados conducen a una expresin fcil de las soluciones de los roblemas relacionados
con tales fenmenos naturales.
Pero la importancia de la herramienta de Fourier puede explicarse tambin de otro modo interesante. El sistema de la cuerda vibrante puede contemplarse matemticamente como una mquina que nos transforma una
funcin, la que representa la situacin inicial de la cuerda, en otra funcin, la que representa la situacin de la cuerda, por ejemplo, despus de
diez segundos. En el problema de propagacin del calor en una barra homognea, se tiene una funcin, que representa la distribucin inicial de
temperaturas en diversos puntos de la barra. Al cabo de diez segundos el
sistema nos proporciona otra funcin, otra distribucin de temperaturas.
En trminos matemticos, el sistema viene determinado por un operador
que transforma una funcin en otra. Muchos de los fenmenos naturales
tienen las dos caractersticas siguientes. Primero, el sistema presenta una
cierta invariancia respecto del tiempo. La cuerda vibrante, en su modo de
actuar, no se entera de la hora que es, es decir que las mismas condiciones iniciales producen la misma situacin de la cuerda despus de diez segundos a las 8 de la maana que a las 4 de la tarde. Por otra parte, muchos sistemas naturales suelen ser lineales, es decir, ante un est nulo que
es suma de otros estmulos presenta una respuesta que es suma de las respuestas correspondientes a stos. Es decir, los operadores matemticos correspondientes a muchos fenmenos naturales son invariantes frente al
tiempo y lineales, y cuando en realidad los fenmenos no son exactamente as, se procura interpretarlos en un primer estudio mediante tales operadores lineales. Es fcil ver que un operador de estas caractersticas se
comporta de modo especialmente simple ante un estmulo representable
mediante una funcin trigonomtrica como el seno o el coseno. La respuesta es una funcin trigonomtrica del mismo perodo aunque de am-

48

MIGUEL DE GUZMAN

plitud y fase posiblemente diferentes. Por ello, una vez conocida la respuesta a estnulos elementales se obtiene de modo sencillo la respuesta a
un estnulo cualquiera. Se expresa este est nulo en el cdigo de las funciones trigonomtricas (serie de Fourier) y la respuesta viene dada en el
mismo cdigo como suma de las respuestas correspondientes a los est nulos trigonomtricos elementales.
Estas consideraciones explican la versatilidad y ubicuidad del anlisis
armnico en el intento de explicar los fenmenos naturales. Ms adelante examinaremos con alg n detenimiento estas aplicaciones. La influencia profunda del anlisis armnico en el interior del cuerpo mismo de las
matemticas se explica por su carcter de banco de prueba de las nociones bsicas y fundamentales del anlisis matemtico, derivada integral,
convergencia... Por otra parte en el anlisis armnico, como veremos a
continuacin, se forjaron conceptos y teoras que han dado lugar a una
buena porcin de lo que la matemtica es actualmente.
La inspiracin del anlisis annnico

La riqueza y complejidad conceptual de las fecundas herramientas del

anlisis armnico inicial, la serie e integral de Fourier, estimularon efectivamente el desarrollo de la matemtica desde el momento mismo de su
firme aceptacin. Las preguntas que surgen de modo natural ante el carcter paradjico de muchos aspectos de su estructura obligaron a afilar
los instrumentos del anlisis matemtico y a crear otros nuevos. Ya hemos podido observar cmo la nocin de funcin hubo de ser revisada hasta
que alcanz de modo ntido con Dirichlet su forma actual. Una de las cuestiones que inicialmente intrig ms a los matemticos y que surge de modo espontneo es la siguiente. ,Cmo es que una serie de trminos continuos, sin saltos, senos y cosenos, es capaz de representar una funcin con
un salto en un punto? Durante mucho tiempo fue un teorema, incluso para
Cauchy, que una serie de trminos continuos es una funcin continua. Incluso despus del artculo de Dirichlet en 1829 sigui siendo un teorema,
obviamente falso. Los diferentes modos de convergencia de una serie de
funciones emergieron poco a poco hasta aparecer ntidos, con su significado e importancia bien claramente expresados, en la obra de Weierstrass
y de su escuela, en particular la nocin de convergencia uniforme y su im-

IMPACTOS DEL ANALISIS ARMONICO

49

portancia especial en los procesos de cambio de orden en la teora de lrnites.y en las operaciones del clculo infinitesimal.
Ya hemos visto cmo Riemann se ve precisado a crear su integral y cmo su bsqueda de condiciones necesarias y suficientes para la convergencia de una serie trigonomtrica le llevan al diseo de nuevas tcnicas.
Otra pregunta interesante y natural que surgi muy pronto y cuya respuesta fue curiosamente olvidada durante ms de 50 aos fue la siguiente. Puesto que, por ejemplo, la funcin representada por un segmento rectilneo a distancia IT /4 sobre el intervalo (- 1T/2, TT /2) del eje x y por otros
dos segmentos a distancia -17/4 sobre el resto del intervalo (- 1T,IT) es representable por la serie y =cosx-1/3 cos3x + 1/5cos5x... ,cmo se van pegando las sumas parciales, funciones continuas, a la funcin lmite en el
entorno de los puntos de salto? La forma natural que a cualquiera se le
ocurrira es la siguiente. Si se traza un segmento a distancia IT /4 + E sobre el intervalo (-7T /2, 71 /2) y otros dos a distancia - 7T/4- C sobre el resto
del intervalo (-7T,11), entonces las curvas continuas que representan las sumas parciales acaban por situarse por debajo del primer segmento y por
encna de los segundos por pequeo que sea E . Que esta conjetura es falsa
lo demostr impecablemente en 1848 Wilbraham. Tal vez el hecho de que
su artculo fuera publicado en Dublin contribuy a su permanencia en la
sombra. El fenmeno, que aparece en la representacin de cualquier funcin con un salto semejante, se llama hoy fenmeno de Gibbs, quien lo
descubri en 1898. En realidad, quien volvi a descubrir el hecho bruto
fue el fsico Michelson. Junto con Stratton haba diseado un analizador
armnico capaz de obtener de modo automtico los 80 prneros coeficientes de la serie de Fourier de una funcin. Al tratar de reproducir con ellos
la grfica de una funcin sencilla como la anterior observ una separacin extraa en las cercanas del salto que no desapareca al tomar ms
tnninos de la aproximacin. Lo atribuy a algn fallo de su mecanismo
y lo consult a Gibbs, quien public su explicacin.
La naturaleza de las funciones representables por medio de su serie de
Fourier sigui siendo por mucho tiempo un problema central en la teora. En 1864 Lipschitz, y ms tarde en 1878 Dini, publicaron nuevos criterios de representabilidad. Du Bois Reymond en 1876 construy, para refutar una conjetura de Dirichlet, una funcin continua cuya serie de Fourier diverga en un punto.

50

MIGUEL DE GUZMAN

Gran parte del desarrollo y fundamentacin rigurosos del anlisis en

el final del siglo XIX se debe a Weierstrass y sus discpulos. Du Bois Reymond fue uno de ellos. Otro importante fue Heine quien comenz a atacar el llamado problema de unicidad de las series trigonomtricas. El problema consiste en lo siguiente: Si una funcin arbitraria es represenable
por una serie trigonomtrica esta representacin nica o pueden existir varias series trigonomtricas de coeficientes distintos que convergen a
la misma funcin? El problema es interesante en s mismo, pero aparte
de su inters intrinseco, uno estara tentado a afirmar, aun sin fundamento
objetivo aparente, que debe tener un no se qu especial para potenciar la
teoria de conjuntos. Como veremos enseguida, Cantor tuvo este problema como ocasin para la creacin de la teora de conjuntos. Y 80 afos
ms tarde Paul Cohen, que bajo la direccin de Zygmund haba realizado su tesis en la Universidad de Chicago sobre este mismo problema, logr, con la demostracin de la independencia de la hiptesis del continuo
en 1963, dar un paso de gigante en los estudios sobre los fundamentos de
la matemtica.
Heine, profesor en la Universidad de Halle, estimul a Cantor, en 1869,
recien llegado.all como Privatdozent, a trabajar en el problema de unicidad. Cantor, para atacar este problema, construy inicialmente una fundamentacin original de los nmeros reales con un mtodo que ya hace
barruntar algunos procesos transfinitos de su posterior teora de conjuntos. Asimismo para elaborar su teorema de unicidad de la serie trigonomtrica introdujo la nocin de conjunto derivado de un conjunto de puntos
de la recta. Esta ser una de las nociones bsicas de la moderna topologa conjuntista. Dado un conjunto P, el punto a ser punto lmite de P
si cada entorno de a contiene infinitos puntos de P. El conjunto P de todos los puntos lmite de P constituye el conjunto derivado de P. Se puede considerar el conjunto P", derivado del P', y as sucesivamente. Si un
conjunto P es tal que en su n-simo derivado es un conjunto infinito de
puntos, entonces se dice que P es de primera especie. Si para todo n el nsimo derivado de P es un conjunto finito, el conjunto P se llama de segunda especie.
Cantor demostr que si P es de primera especie, entonces P es un conjunto de unicidad, es decir si dos series trigonomtricas coinciden en todo punto salvo tal vez en los de P, entonces las dos series son idnticas
y as coinciden en todos los puntos. Al preguntarse Cantor por la natura-

IMPACTOS DEL ANALISIS ARMONICO

51

leza y caracterizacin de los conjuntos de unicidad, forzosamente deba

considerar los conjuntos de segunda especie y stos conducen claramente
a la nocin de nmero transfinito. Por otra parte estas consideraciones
condujeron a Cantor a tratar de diferenciar las distintas maneras en que
un conjunto puede ser infinito. No tardara en establecer la no numerabilidad de los nmeros reales, la igual cardinalidad de la recta y el plano,
y tantos otros resultados con sabor a paradoja que abrieron un mundo
nuevo por explorar.
Es necesario apuntar que la caracterizacin de los conjuntos de unicidad es todava un problema abierto en la teora de series trigonomtricas.
Existen resultados modernos que indican claramente que la estructura aritmtica del conjunto, y no slo su tamao, ha de ser un elemento esencial
de tal caracterizacin, pero a n no sabemos cmo obtener mediante ella
la caracterizacin buscada.
La integral de Riemann fue considerada durante algn tiempo como
un instrumento perfecto del anlisis, entre otros por el mismo Weierstrass.
A fines del siglo XIX se iba preparando sin embargo un movimiento, en
Francia y Alemara, que haca prever que pronto la nocin de integral sufrira un nuevo cambio substancial, otra vez mediante una visin ms geomtrica. Ciertos resultados de Dini (1878), Darboux y Volterra, hacan barruntar que la integral de Riemann presentaba fenmenos indeseables, en
particular desde el punto de vista ms apetecido en el tratarniento de los
problemas de anlisis armnico: el cambio de orden en los procesos de lmite. Para asegurarse, por ejemplo, de que la integral del Iffnite de una
sucesin de funciones es el l nite de la integral, haba que imponer condiciones restrictivas enojosas. Esto embarazaba notablemente el uso de esta
herramienta en muchos problemas. La idea nueva puede interpretarse del
modo siguiente. Puesto que la integral es un rea, tratemos de abordar la
medicin del rea por consideraciones geomtricas directamente..Las b squedas de Jordan, Baire, Borel y otros recibieron finalmente en Henri Lebesgue la forma definitiva que a n hoy utilizamos. Una de las diferencias
fundamentales entre la concepcin de Lebesgue y la de Riemann la ha explicado Lebesgue mismo del modo siguiente. Sobre el mantel cuadriculado de nuestra mesa tenemos un montn de monedas, unas de una peseta,
otras de cinco, otras de veinticinco, otras de cincuenta y otras de cien. Deseamos contar el dinero que all tenemos. En el mtodo de Riemann iramos contando el dinero total en cada cuadrcula del mantel y luego suma-

52

MIGUEL DE GUZMAN.

ramos el de todas las cuadrculas. En el mtodo de Lebesgue amontonaramos primero las monedas de cien pesetas, sin tener en cuenta dnde estn, luego las de cincuenta, etc... Se contara cada montn y se sumaran
las cantidades de todos ellos. Una de las virtudes principales de la integral
de Lebesgue consisti en la facilidad y sencillez con que se poda operar
con ella en los procesos de limite. El anlisis de Fourier fue de nuevo el
banco de pruebas para comprobar la idoneidad del nuevo instrumento. Lebesgue mismo escribi en 1905 un artculo importante sobre series trigonomtricas. La historia del anlisis armnico tiene dos etapas bien diferenciadas, antes y despus de Lebesgue. Los teoremas anteriores se hicieron ms generales, ms simples, ms fciles. Se obtuvieron resultados nuevos mucho ms profundos. Se iniciaron investigaciones muy estimulantes.
Al principio la integral de Lebesgue fue considerada como un instrumento de precisin para especialistas. Hoy la integral de Lebesgue es el instrumento de trabajo cuyas propiedades maneja el estudiante al modo como utiliza las propiedades de los nmeros reales aun sin conocer las sutilezas de su fundamentacin.
A partir de los comienzos del siglo actual, el anlisis armnico se desarrolla extraordinariamente en mltiples direcciones. Nuevas escuelas, como la rusa (Lusin, Menchov, Privalov, Fatou...), la polaca (Rachjman,
Zygmund, Marcinkiewicz...) y la britnica (Hardy, Littlewood, Paley...)
primero, y ms tarde la norteamericana (Zygmund, Caldern, Stein...) y
la sueca (M. Riesz, Carleson...) entran con fuerza en este terreno que durante el siglo XIX haba estado en buena parte monopolizado por franceses y alemanes. Mtodos nuevos diferentes se cultivan con preponderancia en cada una de estas escuelas. Se estudian viejos problemas con nuevo esfuerzo y con nuevas ideas. Ante la dificultad del problema de la convergencia, Fejer, en 1905, idea un tratamiento distinto de las sumas parciales de la serie de Fourier para recuperar la funcin. La sucesin de las
medias aritmticas de las sumas parciales de la serie de Fourier de una funcin integrable converge en casi todo punto a la funcin. Comienza as el
estudio de los mtodos de sumabilidad. En 1926 Kolmogorov demuestra
la existencia de una funcin integrable cuya serie de Fourier diverge en todo
punto. Pero el problema de la convergencia ha recibido una respuesta muy
satisfactria en el teorema de Carleson (1966), que afirma que la serie de
Fourier de una funcin de cuadrado integrable converge en casi todo punto
a la funcin. El Problema de la unicidad de una serie trigonomtrica se
estudia con esfuerzo y se obtienen resultados parciales de inters, tales co-

IMPACTOS DEL ANALISIS ARMONICO

53

mo el de Salem y Zygmund que alFirma que si r es mayor que 1, el conjunto construdo al modo del conjunto ternario de Cantor substituyendo
por r es un conjunto de unicidad exactamente cuando r es un n mero
algebraico tal que el polinomio irreducible del que r es un cero tiene todas sus restantes raices de mdulo menor que 1. Pero a n parece que estamos lejos de la solucin final.
Sera improcedente tratar de dar aqu una visin de conjunto de las
mltiples ramificaciones del anlisis armnico actual y de los nuevos problemas que se estn tratando. Pero quisiera sealar, al menos con unas
pocas palabras, algunos desarrollos que han involucrado ms de cerca a
una gran parte de los matemticos espaoles que trabajamos en anlisis
artnnico.
En 1952 el anlisis armnico experiment un cambio de rumbo a partir de la publicacin de un famoso artculo de Caldern y Zygmund sobre integrales sirtgulares. Hasta entonces, y tal vez a impulsos de la escuela
rusa, muchos de los problemas importantes se haban tratado acudiendo
a profundos resultados de la teora de funciones de una variable compleja. Esta teora estaba muy desarrollada desde los tiempos de Riemann y
Weierstrass, y tanto sus profundos resultados como sus mtodos tenan un
fuerte sabor unidimensional. Consecuentemente muchos de los teoremas
importantes en anlisis armnico obtenidos mediante el apoyo en la teora de variable compleja participaban de esta restriccin fundamental. Eran
eininentemente unidimensionales. Ya en la escuela britnica se haba comenzado a tratar de obtener los mismos resultados por procedimientos de
variable real, especialmente por Besicovitch y, en parte, por Hardy y Littlewood. Pero fueron Caldern y Zygmund quienes produjeron el impulso decisivo. Sus resultados sobre operadores integrales singulares, generalizando por mtodos. de variable real a varias dimensiones las propiedades
de la transformada de Hilbert, pronto recibieron aplicaciones sorprendentes en ecuaciones en derivadas parciales e incluso en campos aparentemente
alejados de gran actualidad como la teora del ndice. El papel de los operadores integrales singulares y de sus generalizaciones posteriores, operadores pseudodiferenciales, operadores integrales de Fourier, etc. en el anlisis actual es verdaderamente central. Los mtodos introducidos por Caldern y Zygmund han dado lugar a la formacin de una verdadera escuela,
la escuela de Chicago, cuyos componentes llevan adelante una buena parte
del desarrollo actual del anlisis armnico.-Es en esta escuela donde mu-

54

MIGUEL DE GUZMAN

chos de los matemticos espaoles que nos ocupamos del anlisis armnico estamos entroncados. De Caldern y Zygmund hemos recibido las herramientas mismas con que trabajamos y, lo que es ms nportante, el estnulo y el apoyo humano que nunca nos han escatimado.
Antes de pasar a describir los impactos del anlisis armnico sobre
otros temas de la ciencia y de la tecnologa, quiero dejar sealado que, dentro del terreno mismo de las matemticas, el anlisis armnico ha motivado y estimulado el desarrollo de muchos otros campos que hoy constituyen especialidades autnomas dentro de ellas, adems de los que ya he
sealado, teora de conjuntos, teora de la medida. Indicar brevemente
algunos de tales desarrollos.
En 1836 y 1837 Sturm y Liouville iniciaban el estudio de la propagacin del calor en una barra no homognea. Como hemos visto anteriormente, para una barra homognea las autofunciones pertinentes del operador correspondiente a la difusin del calor son los senos y cosenos, y
en ello estriba el xito en este problema del desarrollo en serie de Fourier.
Para una barra no homognea surgen autofunciones ms generales y con
ello aparece la generalizacin de la serie de Fourier que constituye el germen de la teora espectral de operadores, que alcanzar ms adelante su
pleno desarrollo y su importancia en la fsica reciente. La teora de ecuaciones integrales, la teora de Fredholm-Riesz-Schauder, el espacio de Hilbert, son variaciones que van surgiendo relacionadas con este proceso de
evolucin de las ideas matemticas.
La teora de distribuciones, tal como aparece de forma definitiva en
Schwartz (1950-51), tiene como uno de sus temas centrales el posibilitamiento de la utilizacin de la transformada de Fourier en condiciones mucho ms amplias que las permitidas hasta entonces. Con la teora de funciones generalizadas se repite en cierto modo el proceso de generalizacin
de la nocin de funcin que hizo posible el desarrollo del anlisis de Fourier. Una visin geomtrica rompi las trabas que impona una visin algebraica de la funcin. Con la aplicacin de una tcnica operativa, que
naci entre los fsicos Heaviside, van der Pol, Dirac y otros, se disuelven
ahora los impedimentos que los residuos de la visin geomtrica a n comportaba. Una funcin generalizada es algo mucho ms difcil de intu que
una funcin ordinaria, pero mucho ms fcil de manejar. El mundo de
las funciones generalizadas es casi el paraso del clculo en que todas las

IMPACTOS DEL ANALISIS ARMONICO

55

series son convergentes, toda funcin es derivable, se puede cambiar siempre derivacin y sumacin, etc... Las distribuciones han venido, por otra
parte, a poner ms de manifiesto el papel central de la convolucin en el
anlisis armnico y en sus conexiones con las ecuaciones en derivadas parciales. Ya desde Fourier y Dirichlet los coeficientes de la serie de Fourier
se haban calculado mediante la convolucin con un cierto n cleo, lo que
facilit grandemente el anlisis. La transformada de Fourier de una convolucin de dos funciones es el producto ordinario de las transformadas
de Fourier de las dos funciones. La transformada de Fourier de la funcin que resulta de aplicar un operador diferencial lineal de coeficientes
constantes a una funcin es el producto ordinario de la transformada de
Fourier de la funcin por el polinomio caracterstico de tal operador diferencial. De este modo se ha conseguido convertir una buena parte de la
teora de ecuaciones diferenciales en un simple clculo algebraico. Se ha
llegado con ello a una cierta algebraizacin del anlisis.
El anlisis annnico se ha extendido con gran fruto a la teora de grupos. En 1933 Haar, con la introduccin de una medida en ciertos grupos
topolgicos compactos, hizo posible la traslacin de los resultados del anlisis armnico a tales grupos. Con esta luz el anlisis armnico clsico apareca tan slo como un ejemplo muy particular de todo un universo mucho ms amplio. El lgebra se enriqueci y el anlisis tambin. Entre otras
nuevas perspectivas, la teora de funciones especiales logr una notable unificacin, al poder observarse cmo estas resultan como autofunciones de
ciertos operadores sobre grupos especiales.
El acercamiento, realizado a partir de los aflos 30, principahnente por
Levy, de las tcnicas propias de la teora de la probabilidad y de las del
anlisis annnico ha beneficiado tambin profundamente a ambas teoras.
Como puede verse, el "poema matemtico" de Fourier ha constitudo una fecunda fuente de inspiracin en esta epopeya del espiritu humano que es el desarrollo del pensamiento matemtico.
Explorando las ondas del universo

Si hay algn elemento que se pueda considerar dominante en los diversos campos de la ciencia y tecnologia modernas es sin duda la explo-

56.

MIGUEL DE GUZMAN

racin y explotacin de la vibracin y de la onda. En realidad la utilizacin de las ondas es tan antigua como el hombre mismo. Los dos sentidos ms importantes del hombre, la vista y el odo, que constituyen sus
medios de comunicacin principales con la naturaleza entera y con sus congneres, son en realidad dos perfectsimos sistemas de anlisis espectral,
es decir de anlisis de las ondas que reciben. De alguna manera lo intuy
el hombre muy pronto respecto del odo con sus primeros anlisis de la
msica. El terico pitagrico de la msica Aristoxeno de Tarento construy
una teora musical muy desarrollada del ritmo y de la annona ya en el
siglo IV a. de C. Las vibraciones del aire son analizadas en nuestro sistema auditivo que recoge y ordena una cantidad de informacin contenida
en las ondas sonoras verdaderamente sorprendente. El poder de separacin, es decir el poder de distincin entre las diferentes componentes armnicas que llegan a nuestro odo le hace capaz de reconocer entre miles
la voz de una persona conocida despus de cuatro o cinco palabras, y sto incluso en medio de la contaminacin con que llegan a travs de nuestros hilos telefnicos. La perfeccin de nuestro sistema auditivo como analizador parece ir mucho ms all de lo que la mera necesidad del hombre
hubiera requerido para su supervivencia. La redundancia de informacin
que es capaz de absorber y analizar con su percepcin tan exacta del tono sobrepasa con mucho sus necesidades primarias de comunicacin. Pero gracias a ello tenemos en nuestra voz y en nuestra m sica un vehculo
de informacin que es capaz de transmitir todo un mundo interior de vivencias y sentimientos. Para nuestra comunicacin, incluso para una comunicacin racional, un sistema primitivo de captacin de la intensidad
del ruido y un lenguaje de tipo Morse hubieran bastado. Pero nuestra m sica no existira en absoluto. Basta para convencerse de ello tratar de reconocer una tonadilla a la que se le suprime el tono y se le deja slo el
ritmo.
Nuestra vida, con su percepcin de los colores, es capaz asmismo de
distinguir las diferentes longitudes de onda que recibe con una exactitud
extraordinaria, sobre todo en la zona del color verde. Una diferencia profunda entre la informacin auditiva y la visual consiste en que mientras
las ondas sonoras son fciles de producir y manejar a nuestro arbitrio, las
ondas luminosas estn ah, no las cambiamos tan fcilmente a nuestro antojo, no las podemos estructurar con el tiempo ni mezclar a nuestro gusto, como hacemos con las ondas sonoras construyendo nuestros ritmos,
armonas, melodas. Tal vez llegar alg n da en que el hombre desarro-

IMPACTOS DEL ANALIS1S ARMONICO

57

lle un arte nuevo con el que goce de la armona y el ritmo de la sucesin

temporal de colores en un concierto puramente visual.
La manipulabilidad del sonido constituy la ocasin para el desarrollo temprano de la msica y acstica. La luz, en cambio, no fue analizada hasta 1664 en que Newton, con su prisma, obtuvo lo que l llam el
espectro de la luz solar, la descomposicin en colores. La interpretacin
corpuscular de Newton de la naturaleza de la luz no pennita fcilmente
dar con la explicacin correcta del espectro, pero con su descubrimiento
Newton comenz a abrir una rendija en el amplio ventanal que constituye hoy da la exploracin de todos los componentes del universo, grandes
como las galaxias o pequerlos como el tomo, por medio del anlisis de
las ondas con que cada uno de forma caracterstica emite o interacciona.
Las ondas propias de cada sistema del cosmos constituyen la voz con la
que hoy da nos manifiesta su propia estructura. Los jalones rns importantes del anlisis de las ondas luminosas tuvieron que esperar siglo y medio despus del descubrimiento del espectro. Herschel, en 1800, descubri
los rayos infrarrojos midiendo la temperatura en las zonas del espectro ms
all del rojo. En 1801 Ritter descubre los rayos ultravioleta estudiando la
accin quimica del espectro solar ms all del violeta. En 1802 Thomas
Young da un salto cualitativo importante en los estudios espectroscpicos
al reemplazar la teora corpuscular por la teora ondulatoria. Por fin los
mtodos de difraccin de Fraunhofer permiten en 1814 una medicin ms
exacta de la longitud de las ondas luminosas. Las leyes principales de la
espectroscopla serian propuestas en 1859 por Kirchhof y en 1861 ICirchhof y Bunsen realizaran el primer anlisis de la atmsfera solar. La fecundidad de la espectroscopia se hizo manifiesta en campos muy diversos.
En la investigacin qumica primero, no slo con el anlisis espectroqumico, sino tambin con la exploracin de la estructura fina y cuantitativa
del tomo. La espectroscopia astronmica nos permite obtener una gran
cantidad de informacin sobre la estructura y composicin de las diferentes
estrellas y galaxias.
Pero una vez abierto el carnino y una vez comprobada su utilidad, la
idea de la aplicabilidad del mtodo en otras circunstancias surge espontneamente. La esctructura de un sistema nos es cognoscible a travs de su
forma de comportarse en la interaccin con un cierto tipo de ondas que
el sistema mismo emite o absorbe. El problema consiste en dar con las ondas adecuadas con las que el sistema es capz de dialogar,que suelen ser

58

MIGUEL DE GUZMAN

vibraciones de una longitud de oncia comparable con el tamaflo de las componentes del sistema con las que las ondas de alg n modo interaccionan.
El descubrimiento por Rfint&en en 1895 de los rayos X, de longitudes de
oncia muy pequellas, entre 1 A y 103 , y la observacin en 1912 por Max
von Laue de que las radiaciones de rayos X son difractadas por cristales
naturales dieron origen al nacimiento de la espectroscopia por rayos X que
permite explorar el mundo de otra escala diferente, y extraer otro tipo de
informacin del mundo al que se le aplica.
El dominio de las ondas electromagnticas corre en gran parte paralelo en el tiernpo con los descubrimientos que dieron lugar al desarrollo de
la espectroscopia. En 1845 Faraday observ la rotacin del eje de polarizacin de un rayo de luz polarizada a su paso por un fuerte campo magntico. Con ello se empezaba a desvelar la conexin profunda entre luz,
electricidad y magnetismo. Las ecuaciones de Maxwell, publicadas ,en 1864,
constituyen uno de esos monumentos en que la razn matemtica ha sido
capaz de adelantarse a la experimentacin fsica. La invasin de nuestro
espacio por las ondas electromagnticas ha homogeneizado extraordinariamente nuestra civilizacin.
Estos que hemos enumerado son algunos de los campos en los que la
exploracin de las ondas ha mostrado su profunda influencia en la evolucin de nuestro modo de ser y de actuar. Una enumeracin exhaustiva
de todos los campos cientficos y prcticos donde el dominio de las ondas haya producido un impacto considerable sera un catlogo de una gran
parte de la ciencia y la tecnologa contemporneas.
es el papel de los desarrollos que los matemticos van realizando con su anlisis armnico frente a esta multitud de aplicaciones prcticas? Es cierto que muchas de sus investigaciones, probablemente las que
los matemticos corporativamente ms estiman, vienen estimuladas y dirigidas por la dinmica interna de la misma teora, por el inters de entender ms profundamente las herramientas que se van creando enfrentndolas a problemas internos cada vez ms difciles y tambin, por qu
no decirlo, por las modas impuestas por los grupos ms activos y numerosos, que, naturalmente, no siempre coinciden con los problemas ms
apropiados para fomentar el desarrollo de la teora y de sus aplicaciones.
Pero la produccin matemtica, al menos colectivamente, no ha resultado a la larga narcisstica ni puramente endogmica. Siempre han ido sur-

IMPACTOS DEL ANALISIS ARMONICO

59.

giendo matemticos dotados de una sensibilidad especial para ir reconduciendo el cauce primario del desarrollo matemtico por caminos que, ms
pronto o ms tarde, han resultado extraordinariamente fecundos en el esfuerzo del hombre por entender un poco ms profundamente su propio
universo. Y para ello, al tiempo que se han ido sirviendo de muchos de
los instrumentos tradicionales, han ido creando otros nuevos y han sabido tambin aprovecharse a fondo de las ventajas que la interaccin con
otras ciencias les podra proporcionar.
La situacin actual del anlisis armnico aplicado puede explicarse simplificadamente como sigue. Se trata de estudiar una caracterstica medible de un fenmeno natural que viene expresada como una funcin y(t)
del tiempo. Tal fenmeno puede ser fsico, qumico, biolgico, econmico o incluso social. A fin de analizar esta caracterstica del fenmeno podemos tratar de expresarla como combinacin lineal de otras caractersticas del fenomeno, xi(t), con coeficientes constantes ai, es decir,
y(t)= aixi(t)
Esperamos con ello que la distribucin y magnitud de los coeficientes a.
pueda proporcionarnos alguna informacin til sobre la caracterstica
fenmeno que estudiamos. Los coeficientes ai constituyen el espectro de
y(t) respecto de las funciones x i(t). El estudio del espectro de un ecocardiograma puede informar al mdico sobre la salud del corazn del paciente
que produce tal espectro. El anlisis del espectro del ruido producido por
un motor puede informar al ingeniero de su estado de funcionan ento. Un
anlisis espectral adecuado de las variaciones de la cotizacin de la bolsa
podra proporcionar una informacin bien rentable, pero nadie parece haber dado todava con los elementos adecuados para ello.
De la misma descripcin del mtodo general propuesto se desprenden
los tres problemas que hay que afrontar en su utilizacin. Primero hemos
de realizar una eleccin adecuada de las caractersticas elementales x.l(t)
del fenmeno. Segundo, hemos de calcular el espectro, los coeficients ai.
Tercero, hemos de interpretar el espectro, es decir extraer la informacin
til que de l se puede desprender.
La adecuacin de las funciones elementales x i(t) consiste, claramente,
en que se ajusten de modo natural a la estructura misma del fenmeno que
estudiamos. Como hemos visto, la aplicabilidad sorprendente del mtodo de Fourier se debi a la eleccin de senos y cosenos en sus problemas.

60

MIGUEL DE GUZMAN

Muchas veces no hay razones obvias para preferir unas funciones ms bien
que otras. La utilizacin del desarrollo clsico en serie de Fourier se debe
en muchos casos nicamente a la ignorancia, a la inercia y al hecho de que
sea este tipo de anlisis el ms desarrollado y estudiado, pero bien se puede
pensar que para el estudio de muchos otros fenmenos, sistemas de funciones tales como el de Walsh u otros anlogos sean ms satisfactorios.
En los mtodos de clculo del espectro ha infludo poderosamente el
desarrollo reciente de los computadores. De los mtodos analgicos, iniciados con el analizador armnico de Michelson y Stratton en 1898 y de
los mltiples mtodos de clculo de los coeficientes, grficos, mecnicos,
elctricos, pticos..., se ha pasado al dominio casi absoluto de los mtodos digitales, ampliamente simplificados mediante la introduccin de la
transformada rpida de Fourier por Cooley y Tukey en 1965 y por otros
mtodos contemporneos como el mtodo de mxima entropa introducido por Burg en 1967.
La interpretacin del espectro es un problema que, como la eleccin
del tipo de espectro depende en buena parte del fenmeno mismo que se
estudia. Tal vez sea qu donde algunos de los desarrollos ms sutiles que
los matemticos del anlisis annnico realizan en la actualidad tengan mayor importancia en el futuro. En biologa, por ejemplo, la determinacin
de una estructura tridimensional a partir del conocimiento parcial que pueden proporcionar los mtodos de obtencin del espectro por rayos X constituye un problema intresante que requiere instrumentos matemticos muy
elaborados.
Los mtodos del anlisis annnico han sido aplicados con xito a fenmenos no peridicos. En el problema de filtrado de series temporales,
de gran importancia en la ingeniera de comunicaciones, se trata de purificar una seal que se recibe perturbada por otra seal o contaminada por
el ruido. En la teora de prediccin se pretende, a travs del anlisis del
pasado de un fenmeno, predecir con el menor error posible la marcha
futura del fenmeno. Los mtodos utilizados para ello por Wiener en 1942,
originados en el anlisis armnico, han dado lugar a resultados muy satisfactorios. Kolmogorov, en 1941, atac problemas semejantes, obteniendo resultados que en parte se solapan con los de Wiener.

IMPACTOS DEL ANALISIS ARMONICO

61

Las ondas parecen estar presentes de una forma u otra en todos los aspectos de nuestra existencia. Pero su presencia nos aparece a n ms dominante hoy da si dirigimos nuestra mirada hacia la estructura elemental
de nuestro tutiverso. La concepcin corpuscular de la materia, por bastante
tiempo preponderante, ha debido ser substituda por una explicacin pragmtica dual. Las estructuras elementales de la materia se manifiestan a veces como si fuesen partculas y otras muchas como si fuesen ondas, vibraciones transmisoras de energa. Es de esperar que el enigma presente detrs de estas apariencias sea resuelto alg n da, aunque sea para dar paso
a enigmas de niveles ms profundos. Algunos fsicos se inclinan a pensar
que el paradigma de la onda es ms potente para explicar satisfactoriamente los fenmenos y que tal vez se pueda uno pensar las partculas, como
lo expres Schrdinger en 1952,
"Como estructuras ms o menos pasajeras dentro del campo de ondas, pero cuya forma y variedad estructural, en el sentido ms amplio de la palabra, est determinada por las
leyes de las ondas de manera tztn clara, exacta y recurrente en la misma forma, que muchas
veces se manifiestan como si fueran entidades duraderas substanciales".

Es muy intereante observar que en 1925, en el mismo ao en que Broglie propusiera las ideas fundamentales sobre la concepcin ondulatoria
de la materi que haba de dar lugar a la forma moderna de la teora cuntica, Witehead, en su obra Ciencia en el mundo moderno, propona su teora orgnica de la materia, en la que el elemento bsico es la vibracin en
sus dos formas radicalmente diferentes, "la locomocin vibratoria de un
esquema dado y el cambio vibratorio de esquema".
La discusin y los intentos de aclaracin en crculos fsicos y filosficos de los problemas que el estudio de la estructura elemental de la materia ha suscitado estn hoy da muy lejos de llegar a sufin. Pero s podemos estar de acuerdo con esta reflexin de Whitehead, con la que quiero
concluir mi trabajo.
Despus de tantos siglos,
"al fm hemos vuelto a una versin de la doctrina del viejo Pitgoras, del cual se origin
la matemtica y la flsica matemtica. El descubri la importancia de ocuparse de las abstracciones y en particular dirigi su atencin al n mero como caracterizador de las periochcidades de las notas musicales... En el siglo XVI el nacintiento de la ciencia moderna requiri una nueva matemtica, ms plenamente equipadi para anali7ar las caracteristicas de la
existencia vibratoria. Y ahora en el siglo XX encontramos a los fsicos ocupados n gran parte

62

MIGUEL DE GUZMAN

en analizar las periodicidades de los tomos. Verdaderamente Pitgoras, con su fundacin

de la filosofa europea y de la matemtica europea, la dot con la ms afortunacta de las conjeturas, pro acaso fue un resplandor de genio divino que penetr6 hasta la naturaleza rns intima de las cosas?".
BIBLIOGRAFIA
BARY, N.K., A treatise on trigonometric series (Pergamon Press, Oxford, 1964).
BECKER, O., Grundlagen der Mathematik in geschitlicher Entw klung (Karl y Alberg,
Freiburg, 1964).
BECKER, O., (editor), Zur Geschichte der griechischen Mathematik (Wissenschaftliche
Buchgesellschaft, Dannstadt, 1965).
BIRKHOFF, G., A source book in classical analysis (Harvard Univ. Press, Cambridge,
1973).
BOURBAIU, N. Elementos de historia de 1as matematicas (Alianza, Madrid, 1972).
BRACEWELL, R.N., The Fourier transform and its applications (McGraw-HillKogakusha, Tokyo, 1978).
BURG, J.P., Maximum entropy spectral analysis, Paper presented at the 37 th. Annual
Int. SEG Meeting, Oklahoma, 1967).
COOLEY, J.W. and TUKEY, J.W., An algorithm for the machine calculation oj complex Fourier series, Math. Comp. 19 (1965), 297-301.
DIEUDONNE, J. y otros, Abrg d'histoire des mathmatiques 1700-1900 (Hermann,
Paris, 1978).
ENRIQUES, F. e SANTILLANA, G., Storia del pensiero scientifico (ZanicheW, Bologna,
1932).
FOURIER, J.B., Oeuvres (publies par G. Darboux) (Gauthier-Villars, Paris, 1888).
GRATTAN-GUINNESS, I. (editor), From the calculus to set theory 1630-1910 (Duckworth, London, 1980).
HEATH, T.L., A manual oj Greek mathematics (Dover, New York, 1963) (1 edicin
1931).
HOBSON, E.W., Theory of junctions of a real variable (Dover, New York, 1957) (1*
edicin 1907).
KEYNES, J.M. Newton the man. En: The world oj mathematics (Editor J.R. NEWMAN)
(Simon and Schuster, New York, 1956), vol. I, 277-285.
KLINE, M., Mathematical thought jrom ancient to modern times (Oxford Univ. Press,
New York, 1972).
KUHN, T.S., The structure of scientific revolutions (The Univ. of Chicago Press, Chicago, 1962).
LANCZOS, C., Applied analysis (Pitman, London 1957).
LANCZOS, C., Dcourse on Fourier series (Oliver and Boyd, Edinburgh, 1966).
LANGER, R.E., Fourier series, Slaught Memorial Paper Amer. Math. MontHy 54 (1947).
Supplement.
PAPOULIS, A., The Fourier integral and its applications (MacGraw-Hill, New York,
1962).
SARTON, G., A history of science (Harvard Univ. Press, Cambridge, 1952).

1MPACTOS DEL ANALIS1S ARMONICO

63

SCHRODINGER, E. Unsere Vorstellung von der Materie. En: L'homme devant la science
(Editions de la Baconnire, Neuchatel, 1953).
SNEDDON, I.N., Fourier tranyforms (fvfacGraw-Hill, New York, 1951).
STRUIK. D.J., A source book in mathematics 1200-1800 (Harvard Univ. Press, Carnbridge, 1969).
WHITEHEAD, A.N., Science and the modern world (The Free Press, New York, 1967)
(1* edicin 1925).
WIENER, N., TYme series (The MIT Press, Cambridge, 1949).
WIENER, N. The Fourier integral and some of its applications (Dover, New York, 1958)
(I* edicin 1933).
YUEN, C.K. and FRASER, D., Digital spectral analysis (Pitman, London, 1979).
ZYGMUND, A., Trigonometrical series (Dover, New York, 1955) (1 edicin 1935).
ZYGMUND, A., Trigonometric series (Cambridge Univ. Press, Cambridge, 1959).
ZYGMUND, A., Notes on the history of Fourier series. En: Studies in harmonic analysis. (editor M. ASH) (The Math. Assoc. of Amer., Washington, 1976).