LA GACETA DE LA RSME, Vol. 10.3 (2007), Pags.

651688

651

HISTORIA
Seccin a cargo de o Jes s Hernndez Alonso1 u a

200 a os de convergencia de las series de Fourier n

por Javier Duoandikoetxea

1.

Fourier

El 21 de diciembre de 1807, Joseph Fourier, a la sazn prefecto del departao mento de Is`re2 , present al Institut de France una memoria titulada Mmoire e o e sur la propagation de la chaleur dans les corps solides. Cuatro miembros, uno ms de lo que era habitual, Lagrange, Laplace, Lacroix y Monge, fueron dea signados para emitir un informe, que nunca se lleg a escribir a pesar de las o insistencias de Fourier, que deseaba un juicio sobre su trabajo. A cambio, el Instituto propuso como tema para el premio que se deb otorgar en 1812 a ((dar la teor matemtica de las leyes de propagacin del calor y comparar los a a o resultados de esta teor con los de experiencias exactas)). A nales de 1811 a Fourier entreg una nueva memoria como concursante, esta vez con el t o tulo Thorie du mouvement de la chaleur dans les corps solides. Gan el premio, e o al que slo concurri otra obra sin ninguna posibilidad de hacerle sombra, o o aunque la valoracin del jurado mostraba sus reservas (((la manera en la que o el autor llega a sus ecuaciones no est exenta de dicultades y su anlisis para a a integrarlas deja an algo que desear, sea respecto a la generalidad, sea incluso u del lado del rigor)), [13, pg. 344]), lo que tuvo como consecuencia inmediata a la no publicacin del trabajo. o Nacido en Auxerre en 1768, Fourier era profesor de la Ecole Polytechnique cuando en 1798 fue reclutado por su colega Gaspard Monge para participar en
Los interesados en colaborar con esta seccin pueden dirigir sus contribuciones a la o siguiente direccin: Jess Hernndez Alonso; Departamento de Matemticas, Universidad o u a a Autnoma de Madrid; 28049 Madrid; Correo electrnico: jesus.hernandez@uam.es o o 2 El departamento de Is`re est en el sudeste de Francia y su capital es Grenoble. El cargo e a de prefecto equivale al de gobernador civil. Desde 1987 la universidad cient ca y mdica de e Grenoble lleva el nombre de Universit Joseph Fourier. e
1

652

HISTORIA

la seccin cient o ca de la expedicin de Napolen a Egipto. All tuvo algunas o o responsabilidades administrativas, adems de cient a cas, y a la vuelta de la expedicin a Francia en 1801 sus planes de reincorporarse a la Escuela Politcnica o e como profesor se vieron truncados por su nombramiento de prefecto de Is`re. e No volvi a ensear pero no por ello abandon su labor cient o n o ca que, adems a de con su labor pol tica, tuvo que compaginar con la coordinacin de la edio cin de la Description de lEgypte, la gran obra que recog los estudios de la o a expedicin napolenica. El mismo fue el autor de su Prefacio histrico (1809). o o o Conserv su puesto de prefecto durante la primera restauracin monrquica o o a de 1814, fue depuesto a la vuelta de Napolen de Elba en 1815, pas a ser nomo o brado prefecto del departamento de Rhne y perdi el cargo un par de meses o o despus por discrepancias con las exigencias de Napolen. En 1815, poco antes e o de la segunda restauracin monrquica, se traslad a Par donde comenz su o a o s o carrera pol tica en el campo cient co. Intent ser miembro de la Acadmie des Sciences3 y fue elegido por primera o e vez en 1816, pero Luis XVIII rechaz su nombramiento por su pasado napoo lenico. La segunda vez opt a un puesto en la seccin de F o o o sica, lo gan amo pliamente y fue aceptado. Era en 1817, lo que ha quedado recogido en el tercer cap tulo de la obra Les Misrables de Victor Hugo: e Hab en la Academia de Ciencias un Fourier clebre a quien a e la posteridad ha olvidado y en no se qu desvn un Fourier oscuro e a de quien el futuro se acordar4 . a A partir de su nombramiento puso especial empeo en que se publicase su n trabajo premiado de 1812, lo que consigui en dos partes aparecidas en 1824 o y 1826, aunque datadas en fecha anterior. Mientras tanto, hab publicado en a 1822 su libro Thorie analytique de la chaleur, que el f e sico Arnold Sommerfeld calic como ((Biblia de la F o sica Matemtica)) (en el prlogo de [62])5 . Ese a o mismo ao fue nombrado Secretario Perpetuo de la Academia de Ciencias y n en 1826 fue elegido miembro de la Academia Francesa. Muri en Par en o s 1830. (Una biograf muy completa de Fourier con abundante documentacin a o es [13].)
La Acadmie royale nacida a nales del siglo XVII fue suprimida en 1793. Dos aos e n despus se cre el Institut national des sciences et des arts que reagrupaba a las ane o tiguas academias cient ca, literaria y art stica. En 1816 las secciones (classes) del Instituto volvieron a llamarse academias. As la premi`re classe (Ciencias f , e sicas y matemticas), la a ms numerosa, se convirti en Acadmie des sciences. a o e 4 El ((Fourier oscuro)) es Charles Fourier, lsofo, fundador de la Escuela societaria, cono siderado ((socialista utpico)). Sobre el olvido de ((nuestro)) Fourier que anuncia Victor Hugo, o vase el art e culo de Jean-Pierre Kahane en este nmero de La Gaceta. u 5 Ms elogios al trabajo de Fourier debidos a Lord Kelvin, Darboux, Poincar y Boussinesq a e aparecen en [10, pg. 7]. a
3

LA GACETA

653

Figura 1: Joseph Fourier (17681830), primera pgina de su memoria de 1811 a y portada de la Thorie analytique de la chaleur (1822). e

2.

El problema

La memoria de Fourier de 1807 permaneci indita hasta la publicacin o e o de [29], donde se hace un estudio de su contenido. Aunque desarrollados en sus trabajos posteriores, casi todos los elementos destacados de su aportacin o cient ca se encuentran ya en esa primera memoria y slo la propagacin o o del calor en un cuerpo innito, que conduce a lo que llamamos integrales de Fourier, se echa en falta. En [28] se puede ver una tabla comparativa de los temas tratados en las dos memorias y el libro de Fourier. En sus tres obras Fourier comienza deduciendo la ecuacin que gobierna o la difusin del calor. Despus resuelve el problema de la distribucin de temo e o peratura en un tiempo dado a partir de la distribucin en el instante inicial, en o varios casos. Para ello inventa el mtodo de separacin de variables, tambin e o e conocido como mtodo de Fourier. Para escribir la solucin necesita escribir e o la funcin que da el dato inicial como suma de una serie trigonomtrica. Este o e es precisamente el aspecto del trabajo de Fourier del que nos vamos a ocupar aqu dejando a un lado otros mritos. , e Aunque se presenta de varias maneras segn el tipo de problema estudiado, u en el caso general y para una funcin de periodo 2 el problema consiste en, o dada una funcin f , encontrar un serie trigonomtrica o e a0 + 2

(ak cos kx + bk sin kx),

k=1

(1)

cuya suma coincida con f (x) para cada x. En primer lugar Fourier decidi que o los coecientes deb venir dados por las frmulas an o ak = 1

f (x) cos kx dx ,

bk =

f (x) sin kx dx .

(2)

(El factor 1/2 del primer sumando de (1) se pone para que la frmula de o a0 sea la misma que la de los dems ak .) La manera en que Fourier dedujo a

654

HISTORIA

esta frmula es cuando menos curiosa6 , utilizando sistemas lineales de innitas o ecuaciones, pero tambin present en el libro el argumento habitual de ortoe o gonalidad. Vase [8], adems de la obra original [26]. La serie trigonomtrica e a e (1) en la que los coecientes se eligen segn las frmulas (2) se llama serie de u o Fourier de f . Escribiremos SN f la suma parcial de la serie de Fourier de f correspondiente a los trminos desde k = 0 hasta k = N . e Tras considerar varios ejemplos Fourier arma ([26, pg. 259]): a Las series ordenadas segn los cosenos y los senos de arcos u mltiplos son siempre convergentes, es decir, que dando a la vau riable un valor cualquiera no imaginario, la suma de los trminos e converge cada vez ms hacia un unico l a mite jo, que es el valor de la funcin desarrollada. o Puede uno preguntarse a qu tipo de funciones pretende Fourier aplicar e sus desarrollos trigonomtricos. Podemos leer en [26, pg. 552]: e a En general, la funcin f x representa una sucesin de valores u o o ordenadas, cada una de las cuales es arbitraria. Como la abscisa x puede recibir una innidad de valores, hay un nmero igual de u ordenadas f x. Todas tienen valores numricos concretos, sean poe sitivos, negativos o nulos. No se supone que estas ordenadas estn e sujetas a una ley comn; se suceden de cualquier manera, y cada u una de ellas se da como si fuese una sola cantidad. Tomada literalmente, sta es una denicin moderna de funcin. Sin embare o o go, en la prctica Fourier siempre considera propiedades ms restrictivas de a a las funciones, incluso su representacin en serie de Taylor. Nunca dud de o o la posibilidad de denir los coecientes ya que ((los coecientes de las series trigonomtricas son reas denidas)) ([26, pg. 259]). Fourier est dando por e a a a sentado que siempre hay un rea bien denida entre la grca de una funcin a a o y el eje de abscisas. En cuanto a la convergencia, indica que no le parece necesario demostrarla, que es fcil ([26, pg. 247]). A continuacin podemos leer lo siguiente: a a o Esto no resulta solamente de que los valores de los trminos e disminuyen continuamente; pues esta condicin por s sola no basta o para establecer la convergencia de una serie. Es necesario que los valores a los que se llega aumentando continuamente el nmero de u trminos se acerquen cada vez ms a un l e a mite jo y no se separen de ste ms que en una cantidad que puede hacerse menor que e a toda magnitud dada: este l mite es el valor de la serie. Pues bien, se demuestra rigurosamente que las sucesiones de las que se trata satisfacen esta ultima condicin. o
Lebesgue comenta en [49, pg. 29] que aunque el mtodo no es riguroso, ((es interesante a e sobre todo por la ingeniosidad de las transformaciones que efecta Fourier)). u
6

LA GACETA

655

Aunque sin la precisin formal de la denicin de Cauchy, el concepto de o o convergencia de una serie parece estar bien establecido en Fourier. A falta de demostraciones generales de sus resultados, lo que Fourier nos leg no fue un teorema sobre la representacin de una funcin en serie o o o trigonomtrica, sino un problema. Un problema en el que estaban implicados e los conceptos de funcin, integral, suma de series y, posteriormente, tipo de o convergencia. La inuencia de este problema en el desarrollo de los conceptos del anlisis matemtico fue considerable. a a Si situamos en los trabajos de Fourier la historia del problema, entonces hay que decir que existe una prehistoria que comenz unos sesenta aos antes o n con la discusin del problema de la cuerda vibrante por dAlembert, Euler o y Daniel Bernouilli, y aportaciones posteriores de Lagrange y Clairaut. No vamos a entrar en esta cuestin en la que tuvieron ms que ver las diferentes o a concepciones de funcin que la determinacin de la serie y su convergencia o o (vanse, por ejemplo, [38, cap. 22] o la introduccin de [56]). Que Fourier no e o ve la funcin sujeta a una (sola) frmula como pod pensarse en el siglo a o o a XVIII se puede ver en su armacin de que distintas series pueden dar la o misma funcin ([26, pg. 258]): o a Si se nos propone una funcin f x, cuyo valor viene representado o en un intervalo determinado, desde x = 0 hasta x = X, por la ordenada de una l nea curva trazada arbitrariamente se podr siempre a desarrollar esta funcin en una serie que no contendr ms que los o a a senos, o los cosenos, o los senos y cosenos de arcos mltiplos, o slo u o los cosenos de los mltiplos impares. u Incluso la frmula de los coecientes de Fourier aparece en alguna manera en o trabajos precedentes, como se puede leer en la documentada informacin de o [49].

3.

Dirichlet y los criterios de convergencia

Una vez planteado el problema de la representacin de funciones por series o trigonomtricas, los intentos de probar la convergencia de la serie de Fourier e aparecieron inmediatamente. Poisson y Cauchy publicaron sendas pruebas incorrectas, aunque sobre la de Poisson volveremos en la seccin 6. Fue Dirichlet7 o quien en 1829 inaugur una nueva poca ya que public el primer resultado o e o correcto de convergencia ([15]): Si la funcin (x), cuyos valores se suponen nitos y detero minados, no presenta ms que un nmero nito de soluciones de a u
Dirichlet, cuya familia era de origen francs, se traslad a Par en 1822, con tan slo 17 e o s o aos, para estudiar matemticas. All entr en contacto con destacados matemticos, Fourier n a o a entre ellos. Volvi a Alemania en 1825 y fue uno de los responsables de que la matemtica o a alemana ocupase el primer lugar mundial durante casi un siglo.
7

656

HISTORIA

continuidad entre los l mites y , y si adems no tiene ms que a a un nmero determinado de mximos y m u a nimos entre esos mismos l mites, la serie [de Fourier] cuyos coecientes son integrales denidas dependientes de la funcin (x) es convergente a un valor o 1 expresado generalmente por 2 [(x + ) + (x )], donde designa un nmero innitamente pequeo. u n Es decir, si una funcin acotada es continua a trozos y montona a trozos, su o o serie de Fourier converge en cada punto a la semisuma de los l mites laterales de la funcin. o El art culo de Dirichlet comienza indicando las razones por las que la prueba de Cauchy no era vlida. Despus estudia las integrales hoy llamadas a e de Dirichlet, b sin kt g(t) dt (3) sin t a con 0 a < b /2 y g montona. Deduce que cuando k tiende a innito o convergen a cero, excepto cuando a = 0, en cuyo caso convergen a g(0+). El estudio de esas integrales est motivado por la representacin integral de la a o suma parcial 1 sin(N + 1/2)t SN f (x) = f (x t) dt, sin t/2 donde reconocemos la presencia de lo que hoy llamamos ncleo de Dirichlet. u El resultado de convergencia se obtiene aplicando el resultado probado para las integrales (3). La demostracin original es estrictamente rigurosa y se lee sin dicultad, o aunque hoy es habitual presentarla en forma diferente (por ejemplo, con el segundo teorema del valor medio para integrales). La continuidad a trozos de las funciones no se usa en realidad en ningn lugar de la prueba, pero incoru porndola Dirichlet se asegura de que las integrales que dan los coecientes a de Fourier estn bien denidas. En efecto, le sirve la denicin de Cauchy a o para la integral, que data de 1823. Al nal de su art culo Dirichlet sugiri una o condicin ms amplia de integrabilidad que podr aceptar un nmero innito o a a u de discontinuidades y mostr las dicultades para extenderla a ((todas)) las o funciones: Tenemos un ejemplo de una funcin que no cumple esta condio cin [de integrabilidad] si suponemos (x) igual a una constante o determinada c cuando la variable x tiene un valor racional e igual a otra constante d cuando esta variable es irracional. La funcin o as denida tiene valores nitos y determinados para todo valor de x y, sin embargo, no se puede sustituir en la serie [de Fourier], puesto que las diferentes integrales que entran en esta serie perder todo su sentido en este caso. an

LA GACETA

657

Aqu la referencia a la prdida de sentido la podemos entender no slo como la e o imposibilidad de usar la denicin de Cauchy la funcin ni siquiera ser ino o a tegrable en el sentido de Riemann, sino que incluso la armacin de Fourier o de que los coecientes son ((reas denidas)) queda en entredicho. a Adems de por el inters de su resultado, el trabajo de Dirichlet vino a a e claricar los trminos en que se planteaba el problema. Por una parte, no e podemos hablar de coecientes de Fourier ms que para las funciones para a las que las integrales que aparecen en las frmulas tienen sentido. Por otra, o Dirichlet comprendi que no hab que buscar un resultado tan general como o a Fourier suger sino condiciones sucientes que asegurasen la convergencia de a, la serie. Inaugur as los criterios de convergencia. En un trabajo posterior o ([16]) ampli su resultado al caso de funciones no acotadas, con la condicin o o aadida de que sean absolutamente integrables. n

Figura 2: Peter Gustav Lejeune-Dirichlet (18021856) y Camille Jordan (1838 1922).

En 1881 Camille Jordan extendi el criterio de Dirichlet a las funciones o de variacin acotada ([33]). Prob que toda funcin de variacin acotada se o o o o puede escribir como diferencia de dos funciones crecientes, por lo que se limit a o sealar que ((la demostracin de Dirichlet es aplicable, sin modicacin)). El n o o concepto de funcin de variacin acotada naci precisamente en ese trabajo o o o de Jordan8 . Indic que ((las funciones de oscilacin limitada forman una clase o o bien denida, cuyo estudio podr presentar algn inters)) y mostr algunas de a u e o sus propiedades. En particular, la posibilidad de que una funcin de variacin o o acotada tenga una cantidad innita de discontinuidades en cualquier intervalo, lo que le sirvi para mostrar que una posible condicin necesaria y suciente o o de integrabilidad que Dirichlet suger al nal de su art a culo no era necesaria. Como es bien sabido, las funciones de variacin acotada han tenido muchas o otras aplicaciones en anlisis matemtico. a a
Jordan us en [33] el trmino fonction a oscillation limite, en la primera edicin de su o e ` e o Cours dAnalyse lo cambi por el de fonction a variation limite, y en la segunda edicin o ` e o por el de fonction ` variation borne, que fue el adoptado nalmente. a e
8

658

HISTORIA

Un criterio de convergencia sencillo de aplicar se debe a Rudolph Lips chitz9 . Este mostr en su tesis que si la funcin f satisface o o |f (x + t) f (x)| C|t| para algn > 0 y todo t sucientemente pequeo, la serie de Fourier de f u n converge a f (x) en el punto x. Se reconoce inmediatamente que la condicin o sobre la funcin es lo que llamamos una condicin de Lipschitz (aunque a o o veces este nombre se reserva para el caso = 1 y se llama condicin de o Hlder al caso general). Es fcil dar una prueba del resultado de Lipschitz o a utilizando la representacin de Dirichlet y el lema de Riemann-Lebesgue (que o mencionaremos en la siguiente seccin). Pero la prueba original de Lipschitz no o es tan sencilla; l no dispon del lema, debido al retraso en la publicacin del e a o trabajo de Riemann y, a cambio, su prueba pasaba por el criterio de Dirichlet. Exactamente con los mismos medios ncleo de Dirichlet y lema de Rieu mann-Lebesgue se puede probar con facilidad el criterio de Dini, que engloba al de Lipschitz ([14, pg. 114]). Dice que si la funcin |f (x + t) f (x)|/t es a o integrable en un entorno de cero, la serie de Fourier de f converge a f (x). Se pueden introducir variantes adecuadas, tanto en el criterio de Lipschitz como en el de Dini, para cubrir los casos en que la funcin no sea continua. o

Figura 3: Rudolph Lipschitz (18321903) y Ulisse Dini (18451918).

Los criterios de Dirichlet-Jordan y de Lipschitz-Dini son los habituales en los libros. A veces se suelen presentar otros de principios del siglo XX, debidos a Lebesgue, de la Valle-Poussin y Young. En [6, cap. III] aparecen todos ellos e comparados entre s vanse tambin [31], [64] o [65]. ; e e
Curiosamente el art culo en que Lipschitz public sus resultados ([50]) est escrito en o a lat lo que en 1864 ya no era habitual (el art n, culo anterior del mismo nmero de la revista u tambin es de Lipschitz y est en alemn). En 1913 se public en Acta Mathematica una e a a o traduccin al francs de Paul Montel. o e
9

LA GACETA

659

4.

Riemann

Es casi imposible pasar por un tema importante de las matemticas del a siglo XIX sin mencionar a Riemann. Continuador de la obra de Dirichlet, Riemann present en 1855 su trabajo escrito de habilitacin titulado Sobre o o la representabilidad de una funcin en serie trigonomtrica ([56], un amplio o e extracto en castellano aparece en [24]) que, sin duda, es uno de los varios con los que su autor merece pasar a la historia de las matemticas. No fue publicado a hasta 1867, un ao despus de su muerte. En el trabajo se distinguen tres n e partes: comienza con un recorrido histrico, sigue con la generalizacin de la o o integral de Cauchy y nalmente se ocupa de las propiedades de las sumas de series trigonomtricas. Un anlisis de la memoria de Riemann se puede leer en e a [52]. La parte histrica es un excelente repaso a la situacin del problema a o o lo largo de los cien aos anteriores y la divide en tres secciones: de Euler a n Fourier, de Fourier a Dirichlet y desde Dirichlet. Termina diciendo ([24, pg. a 52]): La cuestin de la representabilidad de una funcin mediante o o una serie trigonomtrica slo ha sido resuelta hasta ahora bajo e o los dos supuestos de que la funcin admita integracin en todo el o o recorrido, y que no posea innitos mximos y m a nimos. Si no se hace la ultima presuposicin, entonces los dos teoremas integrales o de Dirichlet son insucientes para decidir la cuestin; mas si se o suprime la primera, ya no es aplicable la propia determinacin de o los coecientes de Fourier. Un poco antes ha indicado que todas las funciones que intervienen en los fenmenos naturales caen bajo el teorema de Dirichlet pero que la extensin o o del concepto de integral merece la pena por dos motivos: En primer lugar, como Dirichlet mismo seala al nal de su n memoria, este asunto est en la ms estrecha conexin con los a a o principios del clculo innitesimal, y puede servir para traer dichos a principios a una mayor claridad y precisin. En este sentido su o consideracin tiene un inters inmediato. o e Mas, en segundo lugar, la aplicabilidad de las series de Fourier no se limita a investigaciones f sicas; hoy se han aplicado con xito e tambin a un campo de la matemtica pura, la teor de nmeros, e a a u y aqu parecen ser de importancia precisamente aquellas funciones cuya representabilidad mediante series trigonomtricas no ha ine vestigado Dirichlet. Descrita la necesidad de extender la nocin de integral, a ello dedica la o continuacin de su memoria. Su integral modica ligeramente la denicin o o de Cauchy, pero a diferencia de ste, que slo se ocupa de funciones cone o tinuas (a trozos), Riemann se interesa por el estudio de la clase mxima de a

660

HISTORIA

funciones a las que se puede aplicar, las funciones integrables (integrables Riemann dir amos hoy). Fue capaz de dar una caracterizacin en trminos de la o e oscilacin y, con ello, de construir funciones integrables con un conjunto denso o de discontinuidades. En la parte nal de la memoria aborda el estudio de las series trigonomtrie cas. Al jar los coecientes de stas por la frmula de Fourier estamos dejando e o fuera la posibilidad de representar una funcin por otra serie trigonomtrica o e que no sea la de Fourier. Riemann pretende recuperar esta posibilidad y busca propiedades de las sumas de series trigonomtricas generales, es decir, condie ciones necesarias para que una funcin sea representable. o Para nuestros nes, el recorrido [de la funcin] slo se debe o o someter a las condiciones necesarias para la representabilidad de la funcin; por ello, se deber buscar, en primer lugar, condiciones o an necesarias para la representabilidad, y a continuacin elegir entre o ellas las sucientes para la representabilidad. Por tanto, mientras los trabajos anteriores mostraron que si una funcin tiene esta y o aquella propiedad, entonces es representable mediante la serie de Fourier; nosotros deberemos partir de la pregunta inversa: si una funcin es representable mediante una serie trigonomtrica, qu se o e e deduce de ello acerca de su recorrido, acerca de la variacin de su o valor al variar continuamente su argumento? ([24, pg. 58]). a Riemann observ que si los coecientes de una serie trigonomtrica tieno e den a cero, la serie integrada trmino a trmino dos veces es uniformemente e e convergente. Habr que derivar dos veces la funcin as obtenida para dar la a o suma de la serie y para ello introduce una especie de derivada generalizada. En realidad, estaba inventando un mtodo de sumabilidad. Los teoremas de e Riemann estn en la base de los estudios de Cantor sobre la unicidad de sea ries trigonomtricas ([12]). Con respecto a las series de Fourier aparecen dos e resultados importantes: 1. Los coecientes de Fourier de una funcin integrable tienden a cero (lema o de Riemann-Lebesgue). 2. La convergencia o divergencia de la serie de Fourier en un punto slo o depende de los valores de la funcin en un entorno del punto (principio o de localizacin). o

5.

Funciones continuas, convergencia uniforme y divergencia

Cauchy hab escrito en su Cours dAnalyse que el l a mite de una sucesin o de funciones continuas es una funcin continua (lo que implicar de paso que o a slo las funciones continuas son representables por series trigonomtricas). o e

LA GACETA

661

Figura 4: Bernhard Riemann (18261866) y Eduard Heine (18211881).

Ante la evidencia de que no era cierto, la necesidad de ((corregirlo)) condujo al concepto de convergencia uniforme. Parece que Weierstrass ya lo hab tenido a en cuenta desde 1842 y que lo hab recogido de su maestro Gudermann; desde a luego fue un concepto comn en sus cursos de Berl ([17] y [27, sec. 3.12]). u n Las primeras publicaciones en que aparece se deben a Seidel y Stokes y son de 1847. En 1870 Heine public un trabajo ([30]) que comenzaba indicando cmo o o Weierstrass hab demostrado que la convergencia uniforme permit integrar a a trmino a trmino una serie de funciones, lo que sin esa condicin pod ser e e o a falso. Por tanto, no estaba justicado que si una serie trigonomtrica repree sentaba a una funcin, sus coecientes tuvieran que ser los dados por la frmula o o de Fourier. Incluso, sealaba Heine, los criterios de convergencia slo dec n o an que la serie de Fourier converg a la funcin, pero no que no pudiese haber a o otras series trigonomtricas con la misma suma. Esto conduce inmediatamente e a la cuestin de la unicidad: pueden dos series trigonomtricas distintas tener o e la misma suma? Cantor estudi este problema por inuencia de Heine y sus o investigaciones le condujeron al estudio de subconjuntos de la recta real con implicaciones en la futura teor de conjuntos y en los conceptos topolgicos. a o Un anlisis de los trabajos de Cantor y sus implicaciones posteriores aparece a en [12]. Otra cuestin sugerida por el planteamiento de Heine era la de determio nar condiciones para la convergencia uniforme y a ello dedic su art o culo. Su teorema principal probaba que la serie de Fourier de una funcin continua con o un nmero nito de mximos y m u a nimos (condiciones de Dirichlet) converge uniformemente10 . Y sealaba que ((todav no se sabe si una serie que repren a senta a una funcin continua tiene que converger uniformemente, lo que es o impl citamente aceptado)).
Fatou hizo notar que toda condicin de convergencia puntual se puede transformar en o una condicin de convergencia uniforme en un intervalo con los cambios adecuados ([49, pg. o a 62]).
10

662

HISTORIA

A pesar de esa conviccin general que Heine suger la sorpresa no tard en o a, o llegar. En 1873, slo tres aos despus de la publicacin del art o n e o culo de Heine, Paul du Bois-Reymond anunci un contraejemplo ([7]) que mostraba que la o serie de Fourier de una funcin continua puede ser divergente en un punto. o No slo no era uniformemente convergente, ni siquiera puntualmente. Una vez o conocido el resultado fueron apareciendo otras construcciones para el contraejemplo, debidas a Schwarz, Lebesgue y Fejr. La de Lebesgue se puede ver en e [49], la de Fejr de [22] se reproduce en [65]. Hoy es habitual presentar el resule tado en forma no constructiva utilizando el principio de acotacin uniforme, o que aparecer de nuevo en la seccin 9. a o

Figura 5: Paul du Bois-Reymond (18311889) y Lipot Fejr (18801959). e

6.

Fejer y la sumabilidad

Una solucin al problema de representacin de funciones continuas creado o o por el resultado de du Bois-Reymond vino de cambiar la manera de sumar la serie. En 1900, Fejr public un trabajo ([21]) en el que mostraba que la e o funcin continua se recupera siempre, y con convergencia uniforme, si antes o de pasar al l mite se toman los promedios de las sumas parciales. Es decir, S0 f (x) + S1 f (x) + + SN f (x) = f (x) N N +1 lim uniformemente,

si f es continua. El resultado de Fejr permite recuperar una funcin a partir de sus coee o cientes de Fourier. Pero tambin el mtodo de las sumas de Poisson. Precisae e mente la ((falsa prueba)) de Poisson que mencionamos en la seccin 3 intentaba o ver que a0 lim + rk (ak cos kx + bk sin kx) = f (x). (4) r1 2
k=1

Este resultado no valdr para probar la convergencia de la serie, como Poisson a pretend pero s como un mtodo de recuperar la funcin a partir de sus a, e o

LA GACETA

663

coecientes de Fourier. Y aunque la prueba de Poisson no fuese completa, s lo era la que en 1872 hab publicado H. A. Schwarz para funciones continuas a en su trabajo sobre el problema de Dirichlet en un c rculo ([61]). Podemos preguntarnos por qu se dio ms importancia al resultado de Fejr. Una posible e a e explicacin que se ha avanzado es que el mtodo de Poisson no utiliza la serie o e de Fourier, sino sus coecientes, mientras que Fejr recupera la funcin a partir e o de las sumas parciales. Plancherel hace notar en [54] que el mtodo de Fejr e e necesita un solo paso al l mite y el de Poisson dos (precisamente el cambio de orden de estos dos pasos es crucial). Al nal de su art culo, Fejr indica que a partir de su teorema ((se puede e dar una teor general y nueva de la integral de Poisson)), que l no ve como a e a sumabilidad de la serie de Fourier sino como solucin del problema de Dirichlet. o Puesto que Frobenius hab probado que si sk son las sumas parciales de la a serie ak se tiene
r1

lim

rk ak = lim
k=1

s1 + s2 + + sN , N N

(5)

siempre que el segundo miembro exista, esta aplicacin al problema de Diricho let pudo ser la causa del inters de Fejr en el estudio de las medias aritmticas; e e e en su art culo, sin embargo, da la mayor relevancia al resultado para series de Fourier y la mencin a la integral de Poisson queda reducida al comentario o mencionado. Sobre el trabajo de Fejr y su importancia vase [34]. e e Las cr ticas de Cauchy y Abel hab dejado en mal lugar la manipulacin an o de series divergentes, que de uno u otro modo exist desde el siglo XVII. En a la ultima parte del siglo XIX ya hay intentos serios de formalizar mtodos de e sumabilidad y en 1901 encontramos uno de los grandes libros sobre el tema, Leons sur les sries divergentes de E. Borel. El resultado de Fejr vino a c e e reforzar el inters por las series divergentes, ya que ahora hab algo con lo e a que comparar la suma asignada, la funcin original. En el art o culo [63] se presenta el desarrollo histrico de la teor de series divergentes y se incluye o a la prueba original de Frobenius de (5).

7.

El problema renace

Aparentemente el siglo XIX se cerraba con respuestas satisfactorias para las series de Fourier. Se ten varios criterios de convergencia, se sab que las an a funciones continuas pod tener series de Fourier divergentes, se recuperaba an la funcin original si se utilizaban mtodos de sumabilidad para la serie. En o e 1924 Michel Plancherel escribi un informe sobre el desarrollo de la teor o a de las series trigonomtricas durante el ultimo cuarto de siglo, es decir, el e primer cuarto del siglo XX ([54]). Inmediatamente se observa que, lejos de haberse terminado, el problema sigui siendo un campo de gran actividad: o el art culo de Plancherel trae ms de 200 referencias, casi todas posteriores a a

664

HISTORIA

1900. Las razones cualquiera que conozca la historia del anlisis matemtico a a las intuye fueron el nacimiento de la teor de la medida e integracin de a o Lebesgue y del anlisis funcional. a La tesis de Lebesgue con la que nace su teor de integracin apareci en a o o 1902. La nueva teor trajo ms funciones integrables, pero no slo eso: la a a o identicacin de funciones que coinciden en casi todo punto sugiere una nueva o manera de comparar la suma de la serie y la funcin de partida, podr no o an coincidir en todos los puntos pero de modo que la discrepancia sea slo en un o conjunto ((pequeo)), es decir, de medida nula. Pregunta que se abr incluso n a para funciones continuas. El propio Lebesgue estudi las series de Fourier con la nueva herramienta. o En un trabajo de 1903 ([48]) escribi: ((voy a aplicar la nocin de integral al eso o tudio del desarrollo trigonomtrico de las funciones no integrables en el sentido e de Riemann)). Adems de extender resultados previos al nuevo contexto, dio a un ejemplo de funcin integrable con su denicin, pero no con la de Riemann, o o que ten serie de Fourier convergente. Durante el curso 1904-05 imparti un a o curso sobre series trigonomtricas en el Coll`ge de France, del que surgi su e e o libro Leons sur les sries trigonomtriques ([49]) publicado en 1906. c e e Algunos de los resultados de Lebesgue son los siguientes: 1. Los coecientes de Fourier de una funcin integrable tienden a cero (lema o de Riemann-Lebesgue). 2. Si una serie trigonomtrica converge a una funcin integrable acotada, e o es la serie de Fourier de su suma. 3. Si f es integrable, los promedios de las sumas parciales de su serie de Fourier convergen a f en casi todo punto. 4. La serie que resulta al integrar trmino a trmino una serie de Fourier e e siempre es convergente y su suma es una primitiva de la funcin original. o Una vez probado el lema de Riemann-Lebesgue, tanto el principio de localizacin como el criterio de convergencia de Dini, por ejemplo, se extienden o inmediatamente a la nueva clase de funciones integrables. El resultado de sumabilidad nos dice que siempre se recupera la funcin de partida (en casi todo o punto, como no pod ser de otra manera) con el mtodo de Fejr. El resultado a e e de integracin trmino a trmino junto con el teorema de derivacin de inteo e e o grales del propio Lebesgue tiene como consecuencia un mtodo para recuperar e la funcin original a partir de sus coecientes de Fourier; en efecto, en casi o todo punto se cumple d a0 + f (x) = 2 dx
k=1

ak sin kx bk cos kx . k

Fatou observ que hay series trigonomtricas convergentes que no son series o e de Fourier (la suma no es integrable en el sentido de Lebesgue), por ejemplo,

LA GACETA

665

a k sin kx/ log k ([49, pg. 124]). Si fuese una serie de Fourier, al integrarla trmino a trmino y evaluar en x = 0 deducir e e amos que k 1/(k log k) es convergente, lo que es falso.

Figura 6: Henry Lebesgue (18751941) y Frygies Riesz (18801956).

8.

Sistemas ortogonales y teor L2 a

En los primeros aos del siglo XX se desarrollaron los conceptos que condun jeron a la teor de los espacios de Hilbert, nombre popularizado aos despus. a n e Partiendo de trabajos previos sobre ecuaciones integrales de Volterra, Fredholm y otros, D. Hilbert y su alumno E. Schmidt se encontraron con valores propios y funciones propias, propiedades de ortogonalidad, sistemas lineales de innitas ecuaciones, etc., y desarrollaron los conceptos asociados a los espacios de sucesiones l2 . Junto con las ideas que Frchet esbozaba en su tesis e de 1906 sobre espacios mtricos, Riesz elabor la nocin de distancia en los e o o espacios de funciones L2 y poco despus llegaron los teoremas que permit e an la identicacin de funciones de cuadrado integrable con sucesiones de l2 . o Fatou demostr en [20] que la igualdad de Parseval o 1 a2 |f (x)| dx = 0 + 2
2

(a2 + b2 ) k k
k=1

se cumple sin ms hiptesis que f L2 . Para entonces ya se conoc en a o a condiciones ms restrictivas sobre la funcin (ver referencias en [37, pg. 100]) a o a y debe su nombre a un resultado de Parseval de 1799, publicado en 1806 anterior, por tanto, a la primera memoria de Fourier, en que se probaba de manera formal. El resultado rec proco, que complet el panorama, es debido independieno temente a Frigyes Riesz y a Ernst Fischer en sendas notas en los Comptes Rendus de 1907 ([57], [25]). Ambos lo enuncian para sistemas ortogonales de funciones, no exclusivamente para el sistema trigonomtrico. Por ejemplo, la e

666

HISTORIA

versin de Fischer es (adaptando algo los trminos): sea 1 , 2 , . . . un conjunto o e numerable de funciones de L2 (a, b), que forma un sistema ortonormal. Si la serie de trminos constantes no negativos a2 +a2 + converge, a1 1 +a2 2 + e 1 2 converger en media cuadrtica a una funcin denida en casi todo punto a a o b y tal que ak = a k . Fischer prueba primero la completitud de L2 : las sucesiones de Cauchy convergen en la norma de L2 . Una vez probado esto, puesto que de las hiptesis o sobre {ak } y {k } se deduce inmediatamente que las sumas parciales de o k ak k forman una sucesin de Cauchy, se obtiene su resultado. La prueba de Riesz comienza con el sistema trigonomtrico y extiende despus el resultado e e a una familia ortonormal cualquiera a travs de un sistema lineal de innitas e ecuaciones. Una consecuencia inmediata del teorema de Riesz-Fischer es la convergencia en norma cuadrtica de la serie de Fourier: limN SN f f 2 = 0. a La identicacin del espacio de funciones L2 con el de sucesiones l2 fue o un resultado clave en la construccin de la teor de los espacios de Hilbert. o a Aos despus Riesz seal como uno de los grandes xitos de la integral de n e n o e Lebesgue el hecho de que L2 se construya sobre ella. El sistema trigonomtrico e se convirti en un ejemplo modelo de base ortogonal y las series de Fourier de o funciones de L2 resultaron ser desarrollos en esa base ortogonal.

9.

Convergencia en Lp

La convergencia en L2 de la serie de Fourier suger el estudio del problema a anlogo en los espacios Lp : es limN SN f f p = 0 para f Lp si p es a distinto de 2? Para p nito, por supuesto, ya que si p = la convergencia ser uniforme y el l a mite deber ser una funcin continua (y ya sabemos que a o ni siquiera eso es suciente). La primera respuesta vino en sentido negativo: Banach y Steinhaus probaron en 1918 que no hay convergencia en media, es decir, en L1 ([4]). Los nombres de los autores evocan el principio de acotacin uniforme, que ciertao mente est relacionado con su resultado. Pero en su forma abstracta el prina cipio de acotacin uniforme apareci por primera vez unos aos ms tarde o o n a ([5]), y en ese art culo Banach y Steinhaus mencionan la no convergencia en la norma de L1 como una de sus aplicaciones. Fue Marcel Riesz11 quien consigui demostrar en 1923 que la respuesta a la o convergencia en norma es armativa si 1 < p < . Se suele citar a menudo la fecha de 1927, que corresponde a su art culo [59], pero ya antes hab anunciado a el resultado en [58], una nota publicada en los Comptes Rendus de 1924. Riesz no trabaj directamente con las sumas parciales, sino con la funcin conjugada, o o
Marcel Riesz, hermano menor de Frigyes Riesz, naci en Hungr en 1886 y all realiz su o a o tesis doctoral. A instancias de Mittag-Leer se traslad a Suecia en 1911 donde fue profesor o en Estocolmo y Lund hasta su retiro. As que tanto la convergencia en norma como la puntual de series de Fourier acabaron siendo ((productos suecos)).
11

LA GACETA

667

concepto que proviene del anlisis complejo a travs de la armnica conjugada a e o de la solucin del problema de Dirichlet en el c o rculo. Para una funcin f cuya o serie trigonomtrica viene dada por (1), su funcin conjugada, f , es la que e o tiene como serie asociada

(bk cos kx + ak sin kx).

k=1

Est claro por los resultados mencionados en la seccin anterior que si f est en a o a L2 , tambin lo est f y rec e a procamente. Riesz prob que lo mismo ocurre en o Lp si 1 < p < . Es interesante leer la correspondencia que mantuvo con Hardy a propsito o de este resultado ([11]). En junio de 1923 Riesz comunic a Hardy que hab deo a mostrado que ((dos series trigonomtricas conjugadas son siempre simultneae a mente series de Fourier de funciones de la clase Lp (p > 1))). Inmediatamente Hardy contest diciendo que estaba muy interesado en el resultado y quer o a ver la prueba. Varios meses despus Hardy, que no hab recibido la prueba e a de Riesz, insisti con un imperativo ((I want the proof)), al que segu una exo a plicacin: ((Tanto yo como mi alumno Titchsmarsh hemos intentado en vano o probarlo. (...) Ya no merece la pena si usted lo ha conseguido. Pero como T. est ocupado en las cuestiones correspondientes sobre integrales, es vital para a l tener la prueba de este teorema tan fundamental)). e Por n, en diciembre de 1923, Riesz escribi todos los detalles de la prueba o en una carta a Hardy. La prueba se divide en tres partes: (i) si el exponente es par; (ii) si el exponente no es entero; (iii) si el exponente es impar. Usaba como propiedad bsica que las potencias de una funcin anal a o tica son anal ticas, aunque tuvo que cuidar los detalles de esa denicin para exponentes no eno teros. Para exponentes impares se ve obligado a aplicar un argumento de a dualidad, que tambin explicaba en detalle. La respuesta de Hardy muestra e su sorpresa: ((muy elegante y hermoso. (...) Es sorprendente que ninguno de nosotros lo haya visto antes (ni siquiera para p = 4!))). La sencilla prueba de Riesz para el caso p = 4 es as sea u armnica en el disco unidad y sea v su : o armnica conjugada tal que v(0) = 0. De la frmula de Cauchy aplicada a la o o funcin anal o tica (u + iv)4 en |z| = r (r < 1) se deduce
2 2

(u(reit ) + iv(reit ))4 dt = 2u(0)4

0 0

u(reit )4 dt.

(En el ultimo paso se usa la propiedad de la media de las funciones armnicas o y la desigualdad de Hlder.) Considerando la parte real del miembro de la o izquierda se sigue fcilmente que v 4 C u 4 sobre cada circunferencia de a radio r centrada en el origen (con C independiente de r). Basta tomar el l mite cuando r tiende a 1 para obtener el teorema. El mismo procedimiento vale para los dems exponentes pares. a

668

HISTORIA

La prueba que Riesz envi a Hardy es la misma que apareci publicada o o en [59] y esbozada en [58]. La convergencia en norma Lp de la serie de Fourier aparece como aplicacin del resultado para la funcin conjugada. o o Meses antes, cuando an no le hab enviado los detalles, Riesz le hab u a a escrito a Hardy: ((es enormemente curioso que mientras mi demostracin es o por as decirlo trivial para los exponentes pares, para los exponentes impares no tengo por el momento ms que una demostracin indirecta pasando por los a o exponentes no enteros)). Hoy sabemos que hecho el caso de exponentes pares, el ms sencillo, se puede utilizar interpolacin para completar los exponentes a o p > 2 y dualidad para 1 < p < 2. Si Riesz no sigui ese camino fue porque no o ten an teorema de interpolacin. Quiz motivado por su inters en hacer a u o a e ms sencilla la demostracin de su teorema, el propio Riesz demostr el primer a o o teorema de interpolacin12 ([60]) y lo aplic a la funcin conjugada en la o o o manera indicada. Hoy d la parte de la demostracin original de Riesz que a o trata de los exponentes no enteros ha ca en el olvido. do

Figura 7: Marcel Riesz (18861969) y Andrei Kolmogorov (19031987).

Entre las dos publicaciones de Marcel Riesz apareci un art o culo de Kolmogorov ([41]) en el que probaba una desigualdad dbil para la funcin cone o jugada de una funcin de L1 : o sup t|{x : |f (x)| > t}| C f
t>0 1.

De aqu se deduce que la sucesin {SN f (x)} de sumas parciales de una funcin o o f integrable converge en Lp para 0 < p < 1. La desigualdad dbil junto con e un teorema de interpolacin de Marcinkiewicz, de nales de los aos treinta, o n tambin permite deducir el teorema de Marcel Riesz. e
Este teorema es parte de lo que hoy llamamos teorema de Riesz-Thorin. Olof Thorin, alumno de Riesz, introdujo las propiedades de las funciones anal ticas en la prueba y extendi el teorema original en 1939. o
12

LA GACETA

669

10 .

Convergencia en casi todo punto

Nikolai Lusin public en 1913 una nota en los Comptes Rendus en la que o presentaba una condicin necesaria y suciente para la convergencia puntual o de la serie de Fourier de una funcin de L2 ([51]). Lusin comenz viendo que o o la serie de Fourier de f converge en casi todo punto si y slo si se cumplen o simultneamente: a 1 y 1 n lim
0 0

f (x + t) f (x t) dt = f (x) 2 tan t/2

c.t.p.

(6)

f (x + t) f (x t) cos nt dt = 0, t

(7)

donde f es la funcin conjugada de f . (Las integrales en cero se entienden como o valor principal.) Prob que (6) se cumple para toda funcin de L2 , de modo que o o (7) quedaba como unica condicin necesaria y suciente. Dice Plancherel ([54]): o ((pero esta condicin no es simple e ignoramos si la serie de Fourier de una o funcin continua o de una funcin de cuadrado integrable tiene necesariamente o o puntos de convergencia y si su conjunto es de medida positiva)). Ahora bien, satisfecha la condicin (6) Lusin indica que es ((innitamente probable)) que lo o mismo ocurra con (7). Su argumento se basa en que la existencia de la integral en (6) es debida a la cancelacin y no al tamao, y que como cos nt tiene o n sus valores positivos y negativos uniformemente distribuidos, la cancelacin o deber seguir aplicndose por igual. Ah nace la conjetura de Lusin: la serie a a de Fourier de una funcin de L2 converge en casi todo punto. o Lusin present su tesis en 1915 y fue nombrado profesor de la univero sidad de Mosc. All junto con su maestro Egorov, encabez un extraordiu , o nario grupo de investigacin que los estudiantes llamaban Luzitania al o que pertenecieron Aleksandrov, Suslin, Menshov, Khinchine, Urysohn, Kolmogorov, Nina Bari, Lyusternik, Shnirelman y Novikov, entre otros. La tesis de Lusin, Integracin y series trigonomtricas, inclu una larga coleccin de o e a o problemas abiertos que fue una inagotable fuente de trabajo para su escuela. Los resultados ms importantes sobre convergencia y divergencia puntual ana teriores al teorema de Carleson aparecen en los primeros trabajos del joven Kolmogorov, uno de los ms destacados matemticos del siglo XX y alumno a a de Lusin ([53]). Kolmogorov demostr en 1923 que existe una funcin integrable cuya serie o o de Fourier diverge en casi todo punto ([39]) y poco despus, en 1926, fue capaz e de llevar la divergencia a todo punto ([42]). Adems obtuvo dos resultados de a convergencia: en 1924 demostr la convergencia lagunar para funciones de cuadrado o integrable: si nk+1 /nk > > 1 y f L2 , entonces la sucesin {Snk f (x)} o converge a f (x) en casi todo punto ([40]);

670

HISTORIA

en 1926 dio con Seliverstov ([43]) la siguiente condicin suciente para o la convergencia en casi todo punto de la serie de Fourier:

(a2 + b2 ) log n < +. n n

n=1

Esta condicin, obtenida independientemente por Plessner ([55]), permaneci coo o mo mejor resultado conocido durante cuarenta aos. n Sin embargo, la conjetura de Lusin permanec sin respuesta y el tiempo a hizo cambiar de opinin a los expertos en cuanto a su veracidad. La primera o monograf de Zygmund sobre series trigonomtricas ([64], 1935) ni siquiera a e menciona la conjetura de Lusin. Pero ms signicativa es la manera en que a presenta el problema en su segundo libro ([65], 1959). Primero dice en el prefacio que ((el problema de la existencia de una funcin continua con serie de o Fourier divergente en todo punto est todav abierto)). Luego leemos en el a a texto (vol. 2, pg. 164): a Es concebible que la estimacin SN f = o((log n)1/2 ) sea ptio o ma. Esta es una conjetura muy fuerte, porque implica en particular la existencia de una f L2 con serie de Fourier divergente en casi todo punto. El problema est abierto. a Ms adelante trae el siguiente comentario (vol. 2, pg. 165): a a El teorema que sigue arroja alguna luz sobre el problema todav no resuelto de la existencia de una funcin de L2 con serie a o de Fourier divergente en casi todo punto Claramente se ve que Zygmund no est sugiriendo la conjetura de Lusin, sino a su negacin. ((El teorema que sigue)) se reere a la siguiente observacin de o o Caldern, que fue importante en la resolucin del problema: si SN f (x) cono o verge a f (x) en casi todo punto para funciones de L2 , entonces sup t2 |{x : sup |SN f (x)| > t}| C f
t>0 N 2 2.

(8)

La otra gran monograf sobre series trigonomtricas fue escrita por Nina a e Bari, alumna de Lusin, y publicada en 1961 (en ruso, [6] es la edicin inglesa o de 1964). En el cap tulo VIII presenta el resultado de Lusin y explica los argumentos en que Lusin bas su conjetura. Despus aade: o e n La hiptesis de Lusin no ha sido ni conrmada ni refutada, o aunque ya han pasado cuarenta aos desde que fue propuesta. Sin n embargo, los argumentos que condujeron a ella no tienen ninguna fuerza hoy d a.

LA GACETA

671

Se basa en que con argumentos semejantes se llegar a concluir que si f y f a 1 , la serie de Fourier converger en casi todo punto, lo que se sabe estn en L a a que no ocurre. Por tanto, indica, para probar (7) el hecho de que f est en L2 a debe usarse en forma esencial, no slo la existencia en casi todo punto de la o integral en (6).

Figura 8: Nikolai Lusin (18831950) y Lennart Carleson (1928). Ante esta situacin el resultado que Lennart Carleson obtuvo en 1965 o fue una autntica sorpresa. En efecto, prob que la conjetura de Lusin era e o cierta: la serie de Fourier de una funcin de L2 converge en casi todo punto. o Por tanto, tambin la de una funcin continua13 , lo que tampoco se conoc e o a hasta entonces. Su prueba consisti precisamente en probar que (8) se cumpl o a ([9]). El propio Carleson ha contado ms de una vez que comenz buscando a o un contraejemplo y termin produciendo una prueba. He aqu sus palabras o tomadas de [19]: La gran autoridad en esos d era Zygmund y l estaba comas e pletamente convencido de que lo que uno ten que obtener no a era una prueba sino un contraejemplo. Cuando yo era un joven estudiante en Estados Unidos, ten una idea de cmo producir a o unas funciones muy complicadas para un contraejemplo, encontr a Zygmund y l me anim a hacerlo. Estuve pensando durante e e o unos quince aos por aqu y por all sobre cmo hacer que esos n a o contraejemplos funcionasen, y la cosa interesante que sucedi fue o que me di cuenta por qu deb haber un contraejemplo y cmo e a o hab que construirlo. Pens que ya hab comprendido cul era la a e a a base y entonces para mi sorpresa pude probar que ese contraejemplo ((correcto)) no pod existir, y me di cuenta de repente de que a hab que intentar lo contrario, hab que intentar probar lo que a a no estaba de moda, es decir, probar la convergencia. El aspecto
Este resultado para funciones continuas se completa con el siguiente de Kahane y Katznelson: dado un conjunto cualquiera de medida nula, existe una funcin continua cuya o serie de Fourier diverge en ese conjunto [36].
13

672

HISTORIA

ms importante al resolver un problema matemtico es la convica a cin de cul es el resultado verdadero. Entonces me llev dos o o a o tres aos, usando las tcnicas que hab sido desarrolladas en los n e an veinte aos anteriores. n El premio Abel 2006 fue otorgado a Lennart Carleson. El jurado destac vao rios de sus resultados, pero indudablemente el nombre de Carleson va unido sobre todo al teorema de convergencia en casi todo punto de las funciones de L2 . Poco despus Richard Hunt extendi el resultado de Carleson hasta cubrir e o el rango de todos los espacios Lp con p > 1 ([32]).

11 .

Los anos recientes

El teorema de Carleson con la extensin por Hunt supuso la culminacin o o de un camino que hab empezado siglo y medio antes. En cierto modo, las a grandes cuestiones sobre la convergencia de las series de Fourier quedaban resueltas. La prueba de Carleson, adems de la sorpresa que hemos mencionado, a tambin trajo consigo una fama de impenetrabilidad. Se dec que era dif e a cil de entender. Pero una vez sabido cul es el resultado verdadero, es ms fcil a a a intentar otras pruebas. Pronto lleg una segunda debida a Charles Feerman o ([23]), distinta en los mtodos, pero no por eso ms sencilla. Durante mue a cho tiempo el resultado estaba ah pero no parec que las pruebas hubiesen , a abierto nuevos caminos. Se escribieron libros con detalles de la demostracin, o como el de J. Arias de Reyna ([3]) que pretende explicar la motivacin de o cada paso de la prueba de Carleson. M. Lacey y C. Thiele resolvieron una conjetura sobre la transformada de Hilbert bilineal basndose en parte en los a mtodos de la prueba de Feerman, lo que a su vez les permiti escribir su e o propia prueba del teorema de Carleson ([47]; una versin ms detallada con o a informacin adicional es [46]). Estas pruebas de Lacey y Thiele estn escritas o a para la transformada de Fourier en la recta real, aunque se pueden transferir a series de Fourier. Una de los problemas en que se ha trabajado tras el teorema de CarlesonHunt es en ir llenando el hueco que queda entre L1 , donde hay series de Fourier divergentes, y la unin de los espacios Lp , p > 1, donde las series de Fourier o convergen en casi todo punto. Si consideramos un escala de espacios en la que se introducen logaritmos, los mejores resultados actuales provienen de la escuela rusa. Sea : [0, +) [0, +) no decreciente y escribamos f (L) si (|f (t)|)dt < +. Tenemos los resultados siguientes: 1. sea log+ t = log max(t, 1) y (t) = t log+ t log+ log+ log+ t; si f (L), la serie de Fourier de f converge en casi todo punto (Antonov, [2])); 2. si (t) = o(t log t/ log log t) cuando t tiende a innito, existe f en (L) con serie de Fourier divergente en todo punto (Konyagin, [44]).

LA GACETA

673

Fuera de la escala mencionada, Arias de Reyna construy un espacio invariante o por reordenamiento, que contiene la clase de Antonov y para el que se tiene la convergencia en casi todo punto ([3]). Para otros resultados y problemas relacionados vase [45]. e Por otra parte, mucho queda por hacer en dimensiones superiores. Tanto que intentar una descripcin de resultados y problemas alargar demasiado o a este art culo. En [1] se puede encontrar un recorrido por la situacin del proo blema hasta nales de los aos ochenta y en [18] un resumen de resultados y n problemas abiertos.

REFERENCIAS
[1] Sh. A. Alimov, R. R. Ashurov y A. K. Pulatov, Multiple Fourier series and Fourier integrals en V. P. Khavin y N. K. Nikolskii (eds.), Commutative Harmonic Analysis IV, Enc. Math. Sci., 42, Springer, 1992, 195. [2] N. Yu. Antonov, Convergence of Fourier series, East J. Approx. 2 (1996), 187196. [3] J. Arias de Reyna, Pointwise convergence of Fourier series, Lecture Notes in Mathematics, 1785, Springer-Verlag, Berl 2002. n, [4] S. Banach y H. Steinhaus, Sur la convergence en moyenne de sries de Fourier, e Bulletin Int. Acad. Sciences de Cracovie (1918), 8796. [5] S. Banach y H. Steinhaus, Sur le principle de la condensation de singularits, e Fund. Math. 9 (1927), 5061. [6] N. K. Bary, A treatise on trigonometric series. Vols. I, II, Pergamon Press, Macmillan, New York, 1964. [7] P. du Bois-Reymond, Ueber die Fourierschen Reihen, Nachr. Kn. Ges. Wiss. o Gttingen 21 (1873), 571-582. o
[8] A. Canada, Fourier y sus coecientes, Bolet de la SEMA 36 (2006), 125148. n

[9] L. Carleson, On convergence and growth of partial sums of Fourier series, Acta Math. 116 (1966), 135157. [10] H. S. Carslaw, An introduction to the theory of Fouriers series and integrals, tercera edicin, Macmillan, 1930 (reeditado en Dover Publications, New York, o 1950). [11] M. L. Cartwright, Manuscripts of Hardy, Littlewood, Marcel Riesz and Titchmarsh, Bull. London Math. Soc. 14 (1982), 472532. [12] R. Cooke, Uniqueness of trigonometric series and descriptive set theory, 18701985, Arch. History Exact Sci. 45 (1993), 281334. [13] J. Dhombres y J.-B. Robert, Fourier. Crateur de la physique-mathmatique, e e Belin, Par 1998. s,

674

HISTORIA

[14] U. Dini, Serie di Fourier e altre rappresentazioni analitiche delle funzioni di una variabile reale, Tipograa T. Nistri, Pisa, 1880. [15] G. L. Dirichlet, Sur la convergence des series trigonomtriques qui servent ` e a reprsenter une fonction arbitraire entre des limites donnes, J. Reine Angew. e e Math. 4 (1829), 157169. [16] G. L. Dirichlet, Uber die Darstellung ganz willkrlicher Functionen durch u Sinus- und Cosinusreihen, Repertorium der Physik 1 (1837), 152174. e [17] P. Dugac, Elments danalyse de Karl Weierstrass, Arch. History Exact Sci. 10 (1973), 41176. [18] M. I. Dyachenko, Convergence of multiple Fourier series: main results and unsolved problems en Fourier Analysis and related topics, Banach Center Publ. 56, Warsaw, 2002, 3744. [19] B. Engquist, After the Golden Age: what next?, Lennart Carleson entrevistado por Bjrn Enquist en B. Engquist y W. Schmid (eds.), Mathematics o unlimited - 2001 and beyond, Springer, Berl 2001, 455461. n, [20] P. Fatou, Sries trigonomtriques et sries de Taylor, Acta Math. 30 (1906), e e e 335400.
[21] L. Fejer, Sur les fonctions bornes et intgrables, C. R. Acad. Sci. Paris 131 e e (1900), 984987. [22] L. Fejer, Sur les singularits de la srie de Fourier des fonctions continues, e e Ann. Sci. Ec. Norm. Sup. 28 (1911), 63104.

[23] C. Fefferman, Pointwise convergence of Fourier series, Ann. of Math. 98 (1973), 551571.
[24] J. Ferreiros (ed.), Bernhard Riemann: Riemanniana selecta, CSIC, Madrid, 2000.

[25] E. Fischer, Sur la convergence en moyenne, C. R. Acad. Sci. Paris 144 (1907), 10221024. [26] J. Fourier, Thorie analytique de la chaleur, edicin facs e o mil en Editions Jacques Gabay, Paris, 1988. [27] I. Grattan-Guinness, The emergence of mathematical analysis and its foundational progress, 1780-1880 en I. Grattan-Guinness (ed.), From the Calculus to Set Theory 1630-1910: An Introductory History, Duckworth, Londres, 1980 (en castellano, Del clculo a la teor de conjuntos, 1630-1910: una introduca a cin histrica, Alianza editorial, Madrid, 1984). o o [28] I. Grattan-Guinness, Joseph Fourier, Thorie analytique de la chaleur (1822) e en I. Grattan-Guinness, R. Cooke, L. Corry, P. Crepel y N. Guicciardini (eds.), Landmarks Writings in Western Mathematics, Elsevier, Amsterdam, 2005, 354365. [29] I. Grattan-Guinness y J. R. Ravetz, Joseph Fourier 1768-1830. A survey of his life and work, MIT Press, Cambridge, 1972.

LA GACETA

675

[30] E. Heine, Uber trigonometrische Reihen, J. Reine Angew. Math. 71 (1870), 353365. [31] E. W. Hobson, The theory of functions of a real variable and the theory of Fouriers series. Vol. II, Cambridge University Press, 1926 (reeditado en Dover Publications, New York, 1958). [32] R. A. Hunt, On the convergence of Fourier series en Orthogonal Expansions and their Continuous Analogues (Proc. Conf., Edwardsville, Ill., 1967), Southern Illinois Univ. Press, Carbondale, 1968, 235255. [33] C. Jordan, Sur la srie de Fourier, C. R. Acad. Sci. Paris 92 (1881), 228230. e [34] J. P. Kahane, Leopold Fejr et lanalyse mathmatique au dbut du XXe e e e si`cle, Cahiers du Sminaire dHistoire des Mathmatiques 2 (1981), 6784. e e e [35] J. P. Kahane, Le retour de Fourier, Acadmie des Sciences, Paris, 2005 e (http://www.academie-sciences.fr/membres/in memoriam/Generalites o u /Fourier Kahane.pdf). Traduccin al castellano en este nmero de La Gaceta. [36] J. P. Kahane y Y. Katznelson, Sur les ensembles de divergence des sries e trigonomtriques, Studia Math. 26 (1966), 305306. e
[37] J. P. Kahane y P. G. Lemarie-Rieusset, Fourier Series and Wavelets, Gordon and Breach, Londres, 1995.

[38] M. Kline, Mathematical Thought from Ancient to Modern Times, Oxford University Press, 1972 (en castellano, El pensamiento matemtico de la antiguedad a a nuestros d Alianza, Madrid, 1992). as, [39] A. N. Kolmogorov, Une srie de Fourier-Lebesgue divergente presque partout, e Fund. Math. 6 (1923), 324328. [40] A. N. Kolmogorov, Une contribution ` ltude de la convergence des sries a e e de Fourier, Fund. Math. 5 (1924), 9697. [41] A. N. Kolmogorov, Sur les fonctions harmoniques conjugues et les sries de e e Fourier, Fund. Math. 7 (1925), 2429. [42] A. N. Kolmogorov, Une srie de Fourier-Lebesgue divergente partout, C. R. e Acad. Sci. Paris 183 (1926), 13271328. [43] A. N. Kolmogorov y G. A. Seliverstov, Sur la convergence des sries de e Fourier, Atti Accad. Naz. Lincei 3 (1926), 307310. [44] S. V. Konyagin, On divergence of trigonometric Fourier series everywhere, C. R. Acad. Sci. Paris 329 (1999), 693697. [45] S. V. Konyagin, Almost everywhere convergence and divergence of Fourier series en M. Sanz-Sole, J. Soria, J.L. Varona, J. Verdera Proceedings of the International Congress of Mathematicians, Madrid 2006, vol. II, European Mathematical Society, 13931403.

676

HISTORIA

[46] M. T. Lacey, Carlesons theorem: proof, complements, variations, Publ. Mat. 48 (2004), 251307. [47] M. T. Lacey y C. M. Thiele, A proof of boundedness of the Carleson operator, Math. Res. Lett. 7 (2000), 361370. [48] H. Lebesgue, Sur les sries trigonomtriques, Ann. Sci. Ec. Norm. Sup. 20 e e (1903), 453485. [49] H. Lebesgue, Leons sur les sries trigonomtriques. Professes au Coll`ge c e e e e de France, 190405, facs mil en Albert Blanchard, Paris, 1975. [50] R. Lipschitz, De explicatione per series trigonometricas instituenda functionum unius variabilis arbitrariarum, et pr ecipe earum, quae per variabilis spatium nitum valorum maximorum et minimorum habent innitum, disquisitio, J. Reine Angew. Math. 63 (1864), 296308 (en francs, Acta Math. e 36 (1913), 281295). [51] N. Lusin, Sur la convergence des sries trigonomtriques de Fourier, C. R. e e Acad. Sci. Paris 156 (1913), 16551658.
[52] D. Mascre, Bernhard Riemann, posthumous thesis on the representation of functions by trigonometric series (1867) en I. Grattan-Guinness, R. Cooke, L. Corry, P. Crepel y N. Guicciardini (eds.), Landmarks Writings in Western Mathematics, Elsevier, Amsterdam, 2005, 491505.

[53] A. Olevskii, Kolmogorovs theorems in Fourier analysis en J. Lindenstrauss y V. Milman (eds.), Geometric aspects of functional analysis (Israel, 1992 1994), Birkhuser, Basel, 1995, 199218. a [54] M. Plancherel, Le dveloppement de la thorie des sries trigonomtriques e e e e dans le dernier quart de si`cle, Enseignement Math. 24 (1924-25), 1958. e [55] A. I. Plessner, Ueber Konvergenz von trigonometrischen Reihen, J. Reine Angew. Math. 155 (1925), 1525. [56] B. Riemann, Ueber die Darstellbarkeit einer Function durch eine trigonometrische Reihe (Habilitationsschrift, 1854), Abhandlungen der Kniglichen Gesellschaft der Wissenschaften zu Gttingen, 13 (1868). Repros s ducido en B. Riemann, Gesammelte mathematische werke, Springer-Verlag, Berl 1990. Traduccin parcial al castellano en [24], 4160. n, o [57] F. Riesz, Sur les syst`mes orthonormaux de fonctions, C. R. Acad. Sci. Paris e 144 (1907), 615619. [58] M. Riesz, Les fonctions conjugues et les sries de Fourier, C. R. Acad. Sci. e e Paris 178 (1924), 14641467. [59] M. Riesz, Sur les fonctions conjugues, Math. Z. 27 (1927), 218-244. e [60] M. Riesz, Sur les maxima des formes bilinaires et sur les fonctionnelles e linaires, Acta Math. 49 (1926), 465497. e [61] H. A. Schwarz, Zur Integration der partiellen Dierentialgleichung 2u y 2 = 0, J. Reine Angew. Math. 74 (1872), 218253.
2u x2

LA GACETA

677

[62] A. Sommerfeld, Partial dierential equations in physics, Academic Press, New York, 1949. [63] J. Tucciarone, The development of the theory of summable divergent series from 1880 to 1925, Arch. History Exact Sci. 10 (1973), 140. [64] A. Zygmund, Trigonometrical WarszawaLwow, 1935. series, Monograje matematyczne V,

[65] A. Zygmund, Trigonometric series. Vol. I, II, Cambridge University Press, Cambridge, 1959 (ltima reedicin en 2002). u o Javier Duoandikoetxea Departamento de Matemticas a Universidad del Pa Vasco-Euskal Herriko Unibertsitatea s Apartado 644, 48080 Bilbao Correo electrnico: javier.duoandikoetxea@ehu.es o