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
20mé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 103Ny
Et bonc on poche de a cata de Ramanan
EL método del frculo de RamanujanHardy:Littlewood es una poderosa
herramienta para estudiar problemas aditivos de teoria de los mimeros. El
Ids famoso de ellos quizés sea el llamado problema de Waring. En sus
Meaitationes Algebraicae (1770), Waring afiemé que todo entero cistinto de
cero es suma de 4 cuadrados, 9 cubos, 19 bicuadrados. En la tercera edicion
de su libro (1782) sugirié que una propiedad similar deberia ser cierta para
Potencias mayores, Llamemos () el nimero minimo de sumandos necesarios
para expresar todo entero como suma de potenclas k-ésimas. Lagrange demos-
{16 en 1770 que g(2)=4, y sigulendo sus métodos Liouville obtuvo en 1859 que
(4) $53, Wieterich obtuvo g(@) = 9 en 1909 (con un “agujero” en su argumen-
to.cubierto por Kempner en 1912), y ese mismo ano Hilbert demostré que e()
es fnito para todo entero & > 0. El trabajo de Ramanujan y Hardy de 1917 abrio
luna nueva viaen el tratamiento del problema; con el método del cculo suge-
ido en este articulo((D).
Hardy y Littlewood (1925) hallaron otra demostracién para el resultado de
Hilbert, y demostraron que g(4) > 14 para enteros sulicientemente grandes;
En os aos 30 Dickiny Pillai demostraron g(7) = 147, a8) = 279, ¢(@) = 548.
CChen-Jing Run demosteé en 1964 que g(S) « 37.
104 RamanujanFinalmente, en
1986 Deshouillers,
Balasubramanian y
Dress coneluyeron
que g(t) = 19.
2, La funetén tau de
Ramanujan
El segundo ejem-
plo tustra la contribu-
clén de Ramanujan a
la estrategia seguida
en Teoria de Nimeros
en este siglo que ha
producido, entre
‘otros frutos, la
demostracién del dit
mo teorema de
Fermat de Andrew
Wiles en 1994. Esta
estrategia (conocida
como el Programa
Langlands) consiste
fen asoclar a una
estructura algebraica
un tipo especitico de
serie infinita lamada
Leserie) construida a
partir de datos con-
cretos de la estructi-
1a, cuyas propiedades
analiticas —brindan
informacion sobre la
estructura viceversa
(@H),{G), IMD.
Para estudiar a
representacion de
rndmeros _enteros
o
o
o
o
pues aie gee
fs omg we — os
tte Be SS
« ESSe) enemy
Peamgnet) resmpeey
Peames) Meemgeet)”
bees Set At ae eee
FE a Pn labo
BL HAP TE
GPR Cate
=
Carey 7 aminns * mashes *4|
wes Ga te
Ci ye ay Whe staat
1a pina mae dea rina cana que Ramanan exis
‘dy (Cari Gnesi library).
como suma de 24 cuadrados. Ramanujan introdujo en 1916 su funcién 7. de-
rida mediante la serie de potenclas
ws
a[a-od-e0-2).J 2 oe20
{y conjetur6 en su articulo més famoso, [Rl], que
(@) rami = 7(n) 7m) si myn son enteros relativamente primos,
@ |7(P)1 2p" para todo primo p,
Mordell demostr6 (1) en 1928, y Deigne (2) en 1974 como consecuencia de
su demostracin de las conjeturas de Well. De hecho, Deligne obtiene su resul-
tado haciendo uso de las propiedades de la estructura algebraica asociada a
la sere infnita Er(nq
[iigraia bea
(i) Hardy, GH: Ramanyin Telee leans on subjects sugested by his lie and work,
‘Cambridge U res, 10.
[1] Ramanujan, S: On certain arithmetical factions, Trans, Camb, Ph Soe, #22 (1916)
pp. S184
{Ra} —Some properties of (a) the numberof pations of, Pree. Cam. Phil. Soe, 18,
(918), pp. 207210.
{R9] — Notetooks, ols. I, Tata Ineiteof Fundamental Research, Bombay, 157
[Rel] —Letere and Commentary, B.C. Bernt, R.A. Rankin ed. Alliated East West Press
Pvt, Special Indian Eton, Nueva Deli, 1897.
[RS]—y 6-H Hardy: Une formule astotiqne pour fe nombre des potions de n, RAS,
‘RY 1641917 pp. 9638
[Rat Romanian Revised, Procedings ofthe Centenary Conference (ds. GE. Andrews,
IRA Aste. BC. Bernd, KG Ramanathan, R.A. ADkn, Universo tints at Urbans
(Champaign, 185
[Rel anganatnan, SR: Ranjan’ The Man and the Mathematician, Asia Publishing Huse,
Bombay, 1967
[21] Wel, A: Mamtemats in Ii, Oeuvres Selentiques, Vl
[2] — Teo lecaes in Number Tory; past and preset Oeaes,Scetiigues VM
Bbilograiasuplementaria
[Ch] Chow "The Riemana Hypothesis and Hiber’s Tenth Problem”: Mathematics and ts
‘Applications 4, Gorda and Breach Seance Publishers, Nueva York, 1965,
{D)Deshouilers, JM. "Warings Problem and the Ciel Method, en Number Theory and
‘Appication (Mel ed.) Kuwer Acaderlc Publishers, 198.
{6} Golstta, C: modction to Zeta and ncions, en 400 anos de ates en torno
al Teorema de Fema” (Andradas y Corrales Rodrgiez eds). Eatorial Comphitense,
Maar, 1998
[na] Ram Muy, M: A Motooted induction fo the Largans Program, in Advances in
[Number Theory Guvea Yul eds). Oxford Science Publications, 199, pp. 3746,
[na] — y V. Kumar Murty: “Nonwanishing of functions and Appbeations” rogess on
106 RamanujanCirculo espinoso