La buena noticia es que, gracias al teorema de KAM, existen grandes clases de problemas de n cuerpos que podemos simular con gran precisión en la medida en que nos interese calcular.
La mala noticia es que hay ciertos aspectos del problema de los n cuerpos que hacen improbable que podamos poner una solución en una camiseta: colisiones que son singularidades, resonancias cuando las frecuencias de múltiples cuerpos conducen a inestabilidades y la falta de suficientes constantes de movimiento para conducir a respuestas simples.
Comencemos con la ecuación sin colisión donde los cuerpos no hacen cosas extrañas como chocar entre sí.
Matemáticamente, no hay una solución simple. Es improbable que encontremos integrales de movimiento que nos permitan escribir el problema del cuerpo n en términos de funciones periódicas simples que evolucionan sin problemas con el tiempo para todos los sistemas de cuerpo n, excepto los más artificiales (para n> 3).
- ¿Puede un gráfico simple no dirigido con 11 vértices y 53 aristas tener un ciclo euleriano?
- ¿Existe algún algoritmo que pueda devolver una solución de forma cerrada a un problema de integración simbólica dado si existe?
- ¿Cuál es el mejor algoritmo para decir si un entero es una hipotenusa o no?
- Cómo resolver un problema de seleccionar un subconjunto de columnas para maximizar la suma de las filas en una matriz [matemática] 2 \ veces n [/ matemática]
- ¿Cuándo son los elementos de n! (n factorial) divisible en dos productos con una diferencia de 2?
Numéricamente, en su mayoría es simple calcular el movimiento cuasiperiódico de n cuerpos. La imagen numérica es mucho más optimista. Usando enfoques como el método multipolo rápido, la complejidad de determinar cómo evoluciona un conjunto de cuerpos con el tiempo hace posible simular miles de cuerpos independientes.
Para los sistemas que obedecen el teorema de KAM, las soluciones son lo suficientemente cercanas a periódicas como para que pequeñas desviaciones conduzcan a soluciones limitadas, y a las computadoras les gustan bastante.
¿Cuál es el problema? Digamos que estamos en un sistema donde las resonancias orbitales significan que el sistema no es estable en el tiempo y pequeños cambios en las condiciones iniciales conducen a trayectorias de fase espacial muy diferentes. Aquí simplemente no hay mucha esperanza para una solución a largo plazo, más de lo que hay esperanza para una solución climática a largo plazo.
Con las colisiones, todas las apuestas están canceladas.
Las matemáticas se desmoronan cuando permitimos que la separación entre dos puntos llegue a cero. Los denominadores pequeños son a menudo una señal de que el modelo subyacente (en este caso la gravedad newtoniana en partículas puntuales) no es una imagen realista y un regularizador (como la presencia de separaciones mínimas, la interacción de cuerpos rígidos, y mucho menos los efectos de la relatividad general) cambia la historia
Wikipedia tiene todas las referencias:
problema del cuerpo n