viernes, 5 de junio de 2009

Particiones del Número N... Ramanujan

Hola Elementales,

Ya que la entrada anterior mencionamos brevemente a Ramanujan como un verdadero "genio" en el sentido clásico o intuitivo del término: de pequeños creemos que los genios son así: gente que se despierta con la solución a un problema complejo de manera intuitiva y natural. En la inmensa mayoría de los casos, por el contrario, esa "inspiración" sólo acude al que la llevaba buscando y trabajando con mucho esfuerzo durante años.
Creo que el ejemplo de la sucesión numérica de las particiones del número n, es muy ilustrativo:

Número (N): 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, ...
Particiones (P): 1, 2, 3, 5, 7, 11, 15, 22, 30, 42, 56, 77, 101, 135, 176, ...
¿Sabe alguien ver el término general? Sn= ?

La sucesión parece un tanto caprichosa y se forma a partir de un enunciado de lo más sencillo e ingenuo, de un juego casi de niños...

"si tengo un conjunto de elementos iguales, digamos por ejemplo un número n de piedrecitas, ¿de cúantas formas distintas puedo agruparlas en montoncitos sin que sobre ninguna"


Así por ejemplo:

n=1, es trivial un montón de una piedra.

n=2
Si tengo dos piedras sólo tengo dos posibilidades: o juntas en un único montón o en dos montones de una piedra cada uno.

n=3

Si tengo 3 piedras, tengo 3 posibilidades: un monton de tres, dos montones de dos y una o tres montones de una única piedra cada uno.

Hasta ahora es fácil, ¿verdad?
n=4
1 montón de 4 piedras: (4)
2 posibilidades de 2 montones con (1,3), o con (2,2)
1 posibilidad de 3 montones: (2,1,1)
1 posibilidad de 4 montones: (1,1,1,1)
P=5



n=5
1 posibilidad de 1 montón (de 5 piedras).
2 posibilidades de 2 montones: (1,4) y (2,3)
2 posibilidades de 3 montones: (3,1,1) y (1,2,2)
1 posibilidad de 4 montones: (2,1,1,1)
1 posibilidad de 5 montones: (1,1,1,1,1)
P=7


Para los que piensen que se exagera un poco con eso de que este genial Matematico literalmente se sacaba de la manga una fórmula increíblemente compleja y larga y nadie sabía de dónde ni cómo había llegado allí. Os pongo un simple ejemplo:

Esta es la formulita con la que desayunaron una mañana Hardy y Litlewood conforma se le había ocurrido esa noche a Ramanujan, como aproximación a la sucesión de las particiones de números, por aquel entonces aún sin solución. Por supuesto esa fórmula no tenía resultados enteros, sino que daba como solución el entero más próximo y luego había que redondear.

Esta es una aproximación a la misma publicada por Hardy-Litlewood-Ramanujan






El problema de la partición de números tiene importantes aplicaciones en combinatoria moderna. La fórmula general se encontró recientemente y era uno de los problemas clásicos abiertos de la matemática. Una de las aplicaciones donde se precisaba era para calcular estados cuánticos y sus probabilidades en sistemas donde los electrones se pudieran agrupar de multiples formas (en montoncitos) en sistemas tales como átomos gigantes (tipicamente radiactivos) o sistemas mayores aún (moleculas, estado solido...)

Nota: Ilustración por cortesía de Wikipedia. Diagramas de Young mostrando el número de particiones de los enteros del 1 al 8. Se asignan diferentes colores a cada entero. Por ejemplo, en verde, observamos que hay 5 particiones de 4


Ramanujan era un experto aficionado a las fracciones continuas. Esta fórmula que las emplea es una de las más "bellas" de todas las matemáticas. Es inusualmente sencillita para lo que acostumbraba, pero es una de mis favoritas:

Una suma de terminos cuyo término enésimo es muy sencillo y consta sólo de números naturales y al otro lado la raiz del producto de los números "e" por pi medios...


Todo un "genio" Ramanujan. Fue una auténtica pena que muriera tan jóven... quien sabe lo que hubiera podido legarnos de haber continuado durante toda una larga vida.

¿Conocéis la película de Blade Runner? El famoso diálogo donde el creador del replicante (un hombre sintético creado por ingeniería genética y fabricado en un hipotético mundo del futuro, donde el dilema moral es determinar si es o no un ser humano y si tiene o no derechos...), le dice que "él ha brillado con una luz de mucha más intensidad que la del resto de los hombres y por eso su vida sería mucho más corta". Creo que es muy apropiado para Ramanujan.


Un saludo Elementales

Francisco Jose Menchen Caballero

martes, 2 de junio de 2009

¿Series Divergentes?


¡Hola Elementales!



En el mes de Abril la revista Investigacion y Ciencia traía un artículo sobre el Efecto Casimir, cuyo nombre se debe al físico Holandés Hendrik B.G. Casimir, quien predijo el efecto que ahora lleva su numbre. Sólo se puede apreciar a escalas nanometricas.





Consiste en una manifestación observable de "la energía del vacío" o de la "fluctuación cuántica del vacío". Se manifiesta como una atracción (o repulsión) de dos placas metálicas paralelas y separadas entre sí una distancia muy pequeña (típicamente nanométros) comparada con el tamaño de las mismas (las consideraremos lo suficientemente grandes para considerar que los efectos en sus bordes son despreciables).



El vacío, según la mecánica cuántica no está tan vacío, y en él se están produciendo constantemente pares de partículas y antipartículas, de periodos de vida muy cortos, ya que rápidamente se aniquilan mutuamente o con otras cercanas de una forma continua: se crean y destruyen y en promedio siempre hay un cierto número de ellas, en un número que va decreciendo con la frecuencia (energía) asociada a las mismas. Así las de alta energía y por tanto mayor frecuencia son más infrecuentes y su número escasea.


En principio el efecto viene a ser como las ondas estacionarias en una cuerda tensa, como por ejemplo de una guitarra, donde al imponer condiciones de contorno (los dos extremos de la misma no pueden oscilar porque están fijos). Así sólo terminan propagándose ondas de una longitud de onda igual a la mitad de la longitud de la cuerda y todos sus múltiplos o armónicos(todas las que empiecen y terminen, "quepan" exactamente entre ambos puntos).




Este mismo efecto se produce con las partículas que se van generando en el vacío, con la frecuencia y su longitud de onda asociada, se van primando unas sobre otras y al final hay algunas que se van anulando hasta que sólo quedan determinadas al imponer las placas una condiciones que limitan al vacío, produciendo un efecto de atracción entre las placas que se ha medido tal y como se predijo. Parecía una curiosidad y ahora hay que tenerlo en cuenta, en los nuevos diseños de nanodispositivos y chips.



Lo más interesante del artículo era que manifestaba la dificultad matemática de la mecanica cuántica en general, y en este efecto en partícular, para obtener el resultado de sumas y series infinitas, aparentemente divergentes: como el efecto de la suma de infinitos armónicos de frecuencia creciente, y por tanto de resultado infinito en su cálculo, pero que al medir en el laboratorio producían en cambio resultados finitos y perfectamente medibles.



Por ejemplo: la serie Sn= - 1 + 1 - 1 + 1 - 1 + 1 - 1 + .... ¿alguien ve si tiende a algo?


Es curioso porque parece que depende de si empezamos en 1 o en -1. Esta serie nos da mucho juego y es peligrosa de usar: todas las series que no sean absolutamente convergentes (según los criterios de Dirichlet http://es.wikipedia.org/wiki/Dirichlet) pueden dar valores distintos o absurdos dependiendo de cómo agrupemos términos o en qué orden se sumen parcialmente.


Euler y muchos otros se interesaron por ellas e idearon algún método para abordarlas.


En esta de nuestro ejemplo iremos con mucho cuidado y veremos a donde llegamos:


Tras el primer -1 el resto de la serie es la propia serie cambianda de signo, o sea que podríamos escribirla así:


Sn = -1 -(-1+1-1+1-1+1-1+...);

Sn = -1 - Sn;

2Sn = -1;

Sn = -1/2;



Que coincide con la solución que se precisa para justificar los resultados experimentales: -1/2.
¿No os parece sorprendente?


Este problema de la física cuántica se denomina "renormalización" y consiste en todo un conjunto de reglas o "trucos", según sus detractores, para "eliminar" la enorme cantidad de "molestos infinitos" que aparecen sin cesar en los cálculos.






Uno de estos métodos es efectuar los cálculos siguiente estrictamente un orden muy concreto: el de los famosos diagramas de Feynman http://es.wikipedia.org/wiki/Diagrama_de_Feynman. Al principio parecían sólo una manera muy didáctica de representar interacciones entre partículas y finalmente resultaron muy útiles para "dirigir" los cálculos. Si se hacían los mismos en el orden adecuado siguiendo dichos diagramas se obtenían resultados finitos, en otro orden no.


Otra forma fascinante de conseguir resultados finitos es ¡Usando la Función Zeta de Riemann! la que él empleó para determinar la cantidad y distribución de los números primos. En concreto la expresión que él extendió a todo el plano complejo (salvo en S=1, que es donde se hace infinita).







C(1)= 1 + 1/2 + 1/3 + 1/4 + 1/5 + ... la famosa serie armónica, que es divergente


C(2)= serie de la inversa de los cuadrados (el Problema de Basilea) = pi^2/6


C(3)=1,202... (serie de la inversa de los cubos) = constante de Apéry

...

En el semiplano de valor real negativo, y para valores enteros tenemos que:

C(0)=-1/2 ¿os suena?
C(-1)=1+2+3+4+5+.... que aparentemente debería tender a infinito, pero
C(-1)=-1/12 según la sumación de Ramanujan .


De este genial matemático de origen Indio Srinivasa Ramanujan, descubierto por Hardy, hablaremos monográficamente en otra entrada. En sus escritos enigmáticos que envió para que los revisara Hardy a Cambridge (UK) podía leerse entre otras muchas cosas:

1+2+3+4+5+...=-1/12


Él entendía las matemáticas como reveladas por inspiración divina y decía que una diosa indú se las comunicaba en sueños... ha habido pocos matemáticos como él en todos los sentidos (era capaz de escribir de memoria fórmulas sorprendentes de tamaño increíble como si alguien se las dictara al oído y nadie más sabía de dónde procedían ni por qué camino llegaba a ellas). Por desgracia murió muy jóven (el clima y la comida Inglesas le hicieron enfermar de forma fatal).

Hoy se escribe así en su nombre: 1+2+3+4+5+...=-1/12(R) que significa sumación de Ramanujan, para distinguirla de la suma normal.

Tenemos pues que la función Zeta de Riemann se usa explicitamente en los cálculos del Efecto Casimir. ¿es una coincidencia? También la sumación de Ramanujan (que surgió igualmente para Teoría de Números). Y los misteriosos números de Bernoulli!, que son de hecho valores de función zeta para enteros negativos. B1=-1/2 (Euler los relacionó en una formula con dicha función, os debo una entrada dedicada a ellos).

Como veis las coincidencias entre la matemática más básica, como Teoría de Números (y los números primos) y el Mundo Físico en su escala más elemental son sorprendentes (al menos a mí me lo parece) y están íntimamente relacionados.

¿De nuevo os parece una coincidencia? Al igual que le sucede a los números Pi o e (y en este caso también Phi la constante de Euler-Mascheroni) que aparecen constantemente por todas partes en matemáticas y física.

¿Conoce alguien alguna otra serie aparentemente divergente pero con resultado finito?

O alguna otra curiosidad. Que se anime y lo cuentee o lo planteé.


Un saludo Elementales!