RAMANUJAN Capi Corrales Srinivasa Ramanujan naci6 el 22 de diclem- bre de 1887 en el seno de una familia pobre del sur de India, Recibié ensefianza primarla y pecundaria on Kumbakonan, y fracasé en ‘vats Intentos por aceeder a la Universidad al suspender en los exdmenes de ingreso todas las asignaturas salvo las matematica, La vida de Ramanujan la pobreza de sus origenes, la falta de formacién matemétl- a, su muerte temprana-, tan inusual en un clentifico de su tala, le ha converti- do en uno de los grandes mitos mate- imaticos. André Well ({W-1]) resume ast Ja biografia de Ramanujan: Este joven cuya carrera fue loqueada por su pobre conacimiento del ings, tuvo que vegelar en trabajos inferioes ‘como contable, que consguié gracias a la protecién de algunos patronos alos que Interes su trabajo; por ss cuenta y sin ningtn apoyo lew a cabo sus investigaio- nes en teoria de nimers, la tori de as series yl facciones continua. Habiendo tenia acceso tan slo anticuados y medlocres bros de texto briténicos, no eon ‘ia ni tan squiera la nocién de convergenia de una sere. Por un aecientefortuto algunos de us resultados cayeron en manos de Hardy, que se apresué a areas ‘aj a nglterra hacn 1916, All Ramanujan escnibié sus trabajos ms importantes Jos cuales did, algunos anos desputs, su eleceién como Fellow de la Royal Society, un titulo de gran prestsio munca hasta entonces concedido a alguien de Inia, Pero durante su estaneia.en Inglaterra Ramanujan contrajo tuberculosis; muro «1820 al poco tiempo de regresarasu pals, donde nunca legs a concedérsele una posicién académica, Asi pues, nunca fund6 escuela ni tuvoalumnos ‘Su abundante produccién matematica no es facil de describir Sus resulta- ‘dos aparecen recogidos en tres cuadernos personales escritos en India entre 1909 y 1916, en numnerosas cartas personales (s6lo en las que escribi6 a Hardy, por ejemplo, describe ya mas de 120 teoremas) y en numerosos articulos, algu- nos publicados a partir de 1911 en India, los mas en revistas mateméticas ‘europeas de prestigio entre los afios 1912 y 1920. En sus cuaderos y cartas, primeras los resultados triviales se mezclan con los protundos, los conocidos {que Ramanujan produjo era fruto de la intuicién y cudndo de la certidumbre verificada. El método de la escuela tradicional en India, atin vigente en época dde Ramanujan, no ponia mucho énfasis en las demostraciones. Posiblemente la influencia de esta tradicion, junto con la mediocridad de los libros de mate- Las matematicas del siglo X 101 20métleas que estudl6 antes de le gar a Inglaterra y su falta de for- macion matemética, expliquen la carencia de demostraciones y rigor que encontramos en sus escritos anteriores a 1916 (lecha de su toma de contacto con la escuela matemstica europea), y la falta de justificacién en muchos de sus escritos posterio- Otra difcultad que ofrecen los textos de Ramanujan es la variedad de temas que encaré, Su colaboracln con Hardy, mag- nifico analista, sac6 a la luz su talento para el andlisis, quizis el, aspecto més conocido de su tra bajo; sin embargo, tuvieron que pasar algunos aflos antes de que varias de sus conteibueiones fun- ddamentales a la teorfa de los imeros fuesen entendidas, valoradas y utllzadas ([Ra). De entre todos los trabajos de Ramanujan deseribiremos bbrevemente dos. El primero pone de manifesto su talla como analista; el segundo la profundidad de su visién y conocimlento del comportamiento de los nimeros. En ambos casos tan importantes son los resultados en si mismos ‘como el efecto posterior de las ideas desarrolladas y los métodos de demos- tracion utilzados. Aspiramos con ellos allustrar cémo pese a su poca prepa- raci6n técnica, al alslamiento de sus primeros afos y a su juventud, os traba- jos de Ramanujan van mucho més alla de los trucos y astucias numéricas. Ramanujan es, sin duda alguna, uno de los grandes matematicos de este siglo. 1 cua de Ramansjan en Kuban (Ini), 1. La formula de las partictones, Una partcién de un entero n es cualquler expresién de n como suma de enteros positives. Por ejemplo, 4 Lele «34 +2 = Dele, luego 4 tiene 5 particiones distintas y lo expresamos eseribiendo p(t) = 5. Se ‘conoce muy poco sobre las propiedades de la funcién p(n), y Ramanujan fue cl primer matemstico que descubri algunas de elas, como por ejemplo _p(Gm-4) es siempre maltiplo de 5, sea cual sea el valor de m, _pCim-5) es siempre miitiplo de 7, sea cual sea el valor de m, 102 Ramanujan‘p(Lm-6) es siempre miltiplo de 11, sea cual sea el valor de m. La funcién p() es un ejemplo de las lamadas funclones aritméticas, fun ‘clones que toman valores en los ndmeros enteros, Puesto que los enteros apa recen a saltos en la recta real, los métodos usuales del andlisis real o comple- Jono funcionan para estudiar el comportamlento de funciones aritmeticas. La estrategia que se sigue con frecuencia para evitar este problema, y que deno- tatemos por “(@)*, es asociar a una funcion aritmética /(n) una serie infinita cconvergente de potencias, Ee anys ‘en la que los coeficientes a(n) se construyan a partir ce nuestra funcin fy ‘estudiar las propiedades de / a partir de las de esta serie, que si se pueden estudiar mediante el andlisis usual, Las contribuclones en esta estrategia ana- Iitca estan entre las fundamentales de Ramanujan, Por ejemplo, su método de ‘trabajo en el teorema VIl-(7) de su primera carta a Hardy (del que este ditimo ‘comenta “la afirmacién falsa de Ramanujan es una de las ms fructiferas que hizo nunca, pues acabé llevéndonos a nuestro trabajo en colaboracién sobre las particiones") y en [RAH], dio lugar, de la mano de Hardy y Littlewood en [HL] al llamado método del circulo. Deseribamosio a grandes trazos. Sigulendo la estrategla “(@)", la manera analitica de estudiar p(n) es mediante la serie de potencias Ih pi aque Euler demost6 tene un desarrollo en producto Lz, p@ 2-12, a-254 Las singularidades de (2) =I (1-24) son las rales de la nldad es decir, todos los nimeros compiejosz tales que 2 -1 para algin valor de, y (2) €8 regular si '21 <7 1. Segtn el teorema de los residuos de Cauchy, pin) =h- | “Pas con rarbitrarlo,0« r« 1, Buscamos una estimactén asintiea para p(w) cuar- {do n ~ =. A grandes rasgos, si tomamos rcercano a 1, para todo kel valor de _/G@) en 2» rege acerca al que toma en la singularidad z » eink, y por Io tanto |7(re204)| es muy grande; por otro lado, para todo k, fre2n/) es lnversamente proporcional a k. Ambas condiciones juntas garantizan que | f€ve280/8)| es muy grande si esta cerca de 1 y & no supera un cierto tama fo, digamos RN, y es de suponer que la contribucion esencial a nuestra inte. ral venga de entornos de tales puntos. Llamamos a tales entornos arco ‘mayor, y al resto arco menor. Resulta que la contribucién del arco mayor ‘cuando n ~ « viene dada por una férmulaasintética, mientras que la del arco, ‘menor es pequena en comparacién con la del arco mayor y podemos ignorar- 1a, obteniendo ast la formula asintotica buseada para p(n). ‘capi Corrales 103