En física y mecánica clásica , el problema de los tres cuerpos es el problema de tomar las posiciones y velocidades iniciales (o momentos ) de tres masas puntuales y resolver su movimiento posterior de acuerdo con las leyes del movimiento de Newton y la ley de gravitación universal de Newton . [1] El problema de los tres cuerpos es un caso especial del problema de los n cuerpos . A diferencia de los problemas de dos cuerpos , no existe una solución general de forma cerrada , [1] ya que el sistema dinámico resultante es caótico para la mayoría de las condiciones iniciales y generalmente se requieren métodos numéricos .
Históricamente, el primer problema específico de tres cuerpos que recibió un estudio extenso fue el que involucra a la Luna , la Tierra y el Sol . [2] En un sentido moderno ampliado, un problema de tres cuerpos es cualquier problema de la mecánica clásica o la mecánica cuántica que modela el movimiento de tres partículas.
En febrero de 2024, se informaron varios estudios que pueden sugerir una solución. [3] [4]
El enunciado matemático del problema de los tres cuerpos se puede dar en términos de las ecuaciones de movimiento newtonianas para las posiciones vectoriales de tres cuerpos con masas que interactúan gravitacionalmente :
¿ Dónde está la constante gravitacional ? [5] [6] Este es un conjunto de nueve ecuaciones diferenciales de segundo orden . El problema también puede plantearse de manera equivalente en el formalismo hamiltoniano , en cuyo caso se describe mediante un conjunto de 18 ecuaciones diferenciales de primer orden, una para cada componente de las posiciones y momentos :
donde esta el hamiltoniano :
En este caso es simplemente la energía total del sistema, gravitacional más cinética.
En el problema restringido de los tres cuerpos , un cuerpo de masa insignificante (el "planetoide") se mueve bajo la influencia de dos cuerpos masivos. Al tener una masa insignificante, la fuerza que el planetoide ejerce sobre los dos cuerpos masivos puede despreciarse y el sistema puede analizarse y, por tanto, describirse en términos de un movimiento de dos cuerpos. [5] [7] Con respecto a un sistema de referencia giratorio , los dos cuerpos en órbita coorbitante son estacionarios, y el tercero también puede ser estacionario en los puntos lagrangianos , o moverse alrededor de ellos, por ejemplo en una órbita de herradura . Puede resultar útil considerar el potencial efectivo . Por lo general, se considera que este movimiento de dos cuerpos consiste en órbitas circulares alrededor del centro de masa , y se supone que el planetoide se mueve en el plano definido por las órbitas circulares.
El problema restringido de los tres cuerpos es más fácil de analizar teóricamente que el problema completo. También tiene interés práctico, ya que describe con precisión muchos problemas del mundo real, siendo el ejemplo más importante el sistema Tierra-Luna-Sol. Por estas razones, ha ocupado un papel importante en el desarrollo histórico del problema de los tres cuerpos.
Matemáticamente, el problema se plantea de la siguiente manera. [¿ según quién? ] Sean las masas de los dos cuerpos masivos, con coordenadas (planas) y , y sean las coordenadas del planetoide. Para simplificar, elija unidades tales que la distancia entre los dos cuerpos masivos, así como la constante gravitacional, sean iguales a . Entonces, el movimiento del planetoide está dado por
dónde . De esta forma, las ecuaciones de movimiento conllevan una dependencia temporal explícita a través de las coordenadas . Sin embargo, esta dependencia del tiempo se puede eliminar mediante una transformación a un sistema de referencia giratorio, lo que simplifica cualquier análisis posterior.
No existe una solución general cerrada para el problema de los tres cuerpos, [1] lo que significa que no existe una solución general que pueda expresarse en términos de un número finito de operaciones matemáticas estándar. Además, el movimiento de tres cuerpos generalmente no se repite, salvo casos especiales. [8]
Sin embargo, en 1912 el matemático finlandés Karl Fritiof Sundman demostró que existe una solución analítica al problema de los tres cuerpos en forma de serie de Puiseux , específicamente una serie de potencias en términos de potencias de t 1/3 . [9] Esta serie converge para todos los t reales , excepto para las condiciones iniciales correspondientes a momento angular cero . En la práctica, esta última restricción es insignificante ya que las condiciones iniciales con momento angular cero son raras, ya que Lebesgue mide cero.
Una cuestión importante a la hora de probar este resultado es el hecho de que el radio de convergencia de esta serie está determinado por la distancia a la singularidad más cercana. Por tanto, es necesario estudiar las posibles singularidades de los problemas de los tres cuerpos. Como se analiza brevemente a continuación, las únicas singularidades en el problema de los tres cuerpos son las colisiones binarias (colisiones entre dos partículas en un instante) y las colisiones triples (colisiones entre tres partículas en un instante).
Las colisiones, ya sean binarias o triples (de hecho, cualquier número), son algo improbables, ya que se ha demostrado que corresponden a un conjunto de condiciones iniciales de medida cero. Sin embargo, no se conoce ningún criterio que se pueda aplicar al estado inicial para evitar colisiones en la solución correspondiente. Entonces la estrategia de Sundman consistió en los siguientes pasos:
Esto finaliza la demostración del teorema de Sundman.
Sin embargo, la serie correspondiente converge muy lentamente. Es decir, obtener un valor de precisión significativa requiere tantos términos que esta solución tiene poca utilidad práctica. De hecho, en 1930, David Beloriszky calculó que si la serie de Sundman se utilizara para observaciones astronómicas, los cálculos implicarían al menos 108.000.000 términos . [10]
En 1767, Leonhard Euler encontró tres familias de soluciones periódicas en las que las tres masas son colineales en cada instante. Véase el problema de los tres cuerpos de Euler .
En 1772, Lagrange encontró una familia de soluciones en las que las tres masas forman un triángulo equilátero en cada instante. Junto con las soluciones colineales de Euler, estas soluciones forman las configuraciones centrales del problema de los tres cuerpos. Estas soluciones son válidas para cualquier relación de masas y las masas se mueven en elipses keplerianas . Estas cuatro familias son las únicas soluciones conocidas para las que existen fórmulas analíticas explícitas. En el caso especial del problema circular restringido de tres cuerpos , estas soluciones, vistas en un marco que gira con los primarios, se convierten en puntos denominados L 1 , L 2 , L 3 , L 4 y L 5 , y llamados puntos lagrangianos. , siendo L 4 y L 5 casos simétricos de la solución de Lagrange.
En un trabajo resumido en 1892-1899, Henri Poincaré estableció la existencia de un número infinito de soluciones periódicas al problema restringido de los tres cuerpos, junto con técnicas para continuar estas soluciones en el problema general de los tres cuerpos.
En 1893, Meissel planteó lo que ahora se llama el problema pitagórico de los tres cuerpos: tres masas en la proporción 3:4:5 se colocan en reposo en los vértices de un triángulo rectángulo de 3:4:5 . Burrau [11] investigó más a fondo este problema en 1913. En 1967, Victor Szebehely y C. Frederick Peters establecieron una posible salida para este problema mediante la integración numérica, mientras que al mismo tiempo encontraban una solución periódica cercana. [12]
En la década de 1970, Michel Hénon y Roger A. Broucke encontraron cada uno un conjunto de soluciones que forman parte de la misma familia de soluciones: la familia Broucke-Henon-Hadjidemetriou. En esta familia, los tres objetos tienen la misma masa y pueden exhibir formas tanto retrógradas como directas. En algunas de las soluciones de Broucke, dos de los cuerpos siguen el mismo camino. [14]
En 1993, el físico Cris Moore del Instituto Santa Fe descubrió numéricamente una solución de momento angular cero con tres masas iguales moviéndose alrededor de una forma de ocho . [15] Su existencia formal fue demostrada posteriormente en 2000 por los matemáticos Alain Chenciner y Richard Montgomery. [16] [17] Se ha demostrado numéricamente que la solución es estable para pequeñas perturbaciones de la masa y los parámetros orbitales, lo que hace posible que tales órbitas puedan observarse en el universo físico. Sin embargo, se ha argumentado que esto es poco probable ya que el dominio de estabilidad es pequeño. Por ejemplo, se ha estimado que la probabilidad de que un evento de dispersión binario-binario [ se necesita aclaración ] resulte en una órbita en forma de 8 es una pequeña fracción de un porcentaje. [18]
En 2013, los físicos Milovan Šuvakov y Veljko Dmitrašinović del Instituto de Física de Belgrado descubrieron 13 nuevas familias de soluciones para el problema de tres cuerpos de igual masa y momento angular cero. [8] [14]
En 2015, la física Ana Hudomal descubrió 14 nuevas familias de soluciones para el problema de tres cuerpos de igual masa y momento angular cero. [19]
En 2017, los investigadores Xiaoming Li y Shijun Liao encontraron 669 nuevas órbitas periódicas del problema de los tres cuerpos de igual masa y momento angular cero. [20] A esto le siguieron en 2018 1223 nuevas soluciones adicionales para un sistema de momento angular cero de masas desiguales. [21]
En 2018, Li y Liao informaron 234 soluciones al problema de los tres cuerpos en "caída libre" de masa desigual. [22] La formulación de caída libre del problema de los tres cuerpos comienza con los tres cuerpos en reposo. Debido a esto, las masas en una configuración de caída libre no orbitan en un "bucle" cerrado, sino que viajan hacia adelante y hacia atrás a lo largo de una "pista" abierta.
En 2023, Ivan Hristov, Radoslava Hristova, Dmitrašinović y Kiyotaka Tanikawa publicaron una búsqueda del problema de tres cuerpos de "órbitas periódicas de caída libre", limitada al caso de igual masa, en la que encontraron 12.409 soluciones distintas. [23]
Utilizando una computadora, el problema se puede resolver con una precisión arbitrariamente alta mediante integración numérica , aunque la alta precisión requiere una gran cantidad de tiempo de CPU. Ha habido intentos de crear programas de computadora que resuelvan numéricamente el problema de los tres cuerpos (y, por extensión, el problema de los n cuerpos) que involucren interacciones electromagnéticas y gravitacionales, e incorporen teorías modernas de la física como la relatividad especial. [24] Además, utilizando la teoría de los paseos aleatorios , se puede calcular una probabilidad aproximada de diferentes resultados. [25] [26]
El problema gravitacional de tres cuerpos en su sentido tradicional data esencialmente de 1687, cuando Isaac Newton publicó su Philosophiæ Naturalis Principia Mathematica , cuando Newton intentaba descubrir si es posible alguna estabilidad a largo plazo, especialmente el sistema de nuestra Tierra , la Luna. y el sol. Los principales astrónomos del Renacimiento , Nicolás Copérnico , Tycho Brahe y Johannes Kepler lo guiaron hasta el comienzo del problema gravitacional de los tres cuerpos. [27] En la Proposición 66 del Libro 1 de los Principia , y sus 22 Corolarios, Newton dio los primeros pasos en la definición y estudio del problema de los movimientos de tres cuerpos masivos sujetos a sus atracciones gravitacionales mutuamente perturbadoras. En las Proposiciones 25 a 35 del Libro 3, Newton también dio los primeros pasos al aplicar sus resultados de la Proposición 66 a la teoría lunar , el movimiento de la Luna bajo la influencia gravitacional de la Tierra y el Sol. [28] Más tarde, este problema también se aplicó a las interacciones de otros planetas con la Tierra y el Sol. [27]
El problema físico fue abordado primero por Amerigo Vespucci y posteriormente por Galileo Galilei , así como por Simon Stevin , pero no se dieron cuenta de lo que aportaban. Aunque Galileo determinó que la velocidad de caída de todos los cuerpos cambia uniformemente y de la misma manera, no lo aplicó a los movimientos planetarios. [27] Mientras que en 1499, Vespucci utilizó el conocimiento de la posición de la Luna para determinar su posición en Brasil. [29] Adquirió importancia técnica en la década de 1720, ya que una solución precisa sería aplicable a la navegación, específicamente para la determinación de la longitud en el mar , resuelta en la práctica con la invención del cronómetro marino de John Harrison . Sin embargo, la precisión de la teoría lunar era baja debido al efecto perturbador del Sol y los planetas sobre el movimiento de la Luna alrededor de la Tierra.
Jean le Rond d'Alembert y Alexis Clairaut , que desarrollaron una rivalidad de larga data, intentaron analizar el problema con cierto grado de generalidad; presentaron sus primeros análisis competitivos a la Académie Royale des Sciences en 1747. [30] Fue en conexión con su investigación, en París durante la década de 1740, que comenzó el nombre "problema de los tres cuerpos" ( francés : Problème des trois Corps ). para ser de uso común. Un relato publicado en 1761 por Jean le Rond d'Alembert indica que el nombre se utilizó por primera vez en 1747. [31]
Desde finales del siglo XIX hasta principios del siglo XX, los científicos desarrollaron el método para resolver el problema de los tres cuerpos mediante el uso de fuerzas atractivas de dos cuerpos de corto alcance, que ofrecieron a PF Bedaque, H.-W. Hammer y U. van Kolck idearon una idea para renormalizar el problema de los tres cuerpos de corto alcance, lo que proporcionó a los científicos un raro ejemplo de un ciclo límite de grupo de renormalización a principios del siglo XXI. [32] George William Hill trabajó en el problema restringido a finales del siglo XIX con una aplicación del movimiento de Venus y Mercurio . [33]
A principios del siglo XX, Karl Sundman abordó el problema matemática y sistemáticamente proporcionando una prueba teórica de función válida para todos los valores del tiempo. Fue la primera vez que los científicos resolvieron teóricamente el problema de los tres cuerpos. Sin embargo, debido a que no había suficiente solución cualitativa para este sistema y los científicos tardaron demasiado en aplicarlo en la práctica, esta solución aún dejó algunos problemas sin resolver. [34] En la década de 1970, V. Efimov descubrió la implicación de fuerzas de tres cuerpos a partir de fuerzas de dos cuerpos , lo que fue denominado efecto Efimov . [35]
En 2017, Shijun Liao y Xiaoming Li aplicaron una nueva estrategia de simulación numérica para sistemas caóticos llamada simulación numérica limpia (CNS), con el uso de una supercomputadora nacional, para obtener con éxito 695 familias de soluciones periódicas del sistema de tres cuerpos con masa igual. [36]
En 2019, Breen et al. anunció un solucionador rápido de redes neuronales para el problema de los tres cuerpos, entrenado utilizando un integrador numérico. [37]
Según los informes, en septiembre de 2023 se encontraron varias soluciones posibles al problema. [38] [39]
El término "problema de los tres cuerpos" se utiliza a veces en un sentido más general para referirse a cualquier problema físico que implique la interacción de tres cuerpos.
Un análogo mecánico-cuántico del problema gravitacional de los tres cuerpos en la mecánica clásica es el átomo de helio , en el que un núcleo de helio y dos electrones interactúan según la interacción de Coulomb del cuadrado inverso . Al igual que el problema gravitacional de los tres cuerpos, el átomo de helio no puede resolverse exactamente. [40]
Sin embargo, tanto en la mecánica clásica como en la cuántica, existen leyes de interacción no triviales además de la fuerza del cuadrado inverso que conducen a soluciones analíticas exactas de tres cuerpos. Uno de esos modelos consiste en una combinación de atracción armónica y una fuerza repulsiva del cubo inverso. [41] Este modelo se considera no trivial ya que está asociado con un conjunto de ecuaciones diferenciales no lineales que contienen singularidades (en comparación con, por ejemplo, interacciones armónicas solas, que conducen a un sistema de ecuaciones diferenciales lineales de fácil solución). En estos dos aspectos, es análogo a los modelos (insolubles) que tienen interacciones de Coulomb y, como resultado, se ha sugerido como una herramienta para comprender intuitivamente sistemas físicos como el átomo de helio. [41] [42]
Dentro del modelo de vórtice puntual , el movimiento de los vórtices en un fluido ideal bidimensional se describe mediante ecuaciones de movimiento que contienen sólo derivadas temporales de primer orden. Es decir, a diferencia de la mecánica newtoniana, es la velocidad y no la aceleración la que está determinada por sus posiciones relativas. Como consecuencia, el problema de los tres vórtices sigue siendo integrable , [43] mientras que se requieren al menos cuatro vórtices para obtener un comportamiento caótico. [44] Se pueden establecer paralelos entre el movimiento de una partícula trazadora pasiva en el campo de velocidades de tres vórtices y el problema restringido de los tres cuerpos de la mecánica newtoniana. [45]
El problema gravitacional de los tres cuerpos también se ha estudiado utilizando la relatividad general . Físicamente, un tratamiento relativista se hace necesario en sistemas con campos gravitacionales muy fuertes, como cerca del horizonte de sucesos de un agujero negro . Sin embargo, el problema relativista es considerablemente más difícil que en la mecánica newtoniana y se requieren técnicas numéricas sofisticadas . Incluso el problema completo de dos cuerpos (es decir, de una relación arbitraria de masas) no tiene una solución analítica rigurosa en la relatividad general. [46]
El problema de los tres cuerpos es un caso especial del problema de los n cuerpos , que describe cómo n objetos se mueven bajo una de las fuerzas físicas, como la gravedad . Estos problemas tienen una solución analítica global en forma de una serie de potencias convergentes, como lo demostró Karl F. Sundman para n = 3 y Qiudong Wang para n > 3 (ver problema de n -cuerpos para más detalles). Sin embargo, las series de Sundman y Wang convergen tan lentamente que resultan inútiles para fines prácticos; [47] por lo tanto, actualmente es necesario aproximar soluciones mediante análisis numérico en forma de integración numérica o, para algunos casos, aproximaciones de series trigonométricas clásicas (ver simulación de n cuerpos ). Los sistemas atómicos, por ejemplo átomos, iones y moléculas, pueden tratarse en términos del problema cuántico de los n cuerpos. Entre los sistemas físicos clásicos, el problema de los n cuerpos suele referirse a una galaxia o a un cúmulo de galaxias ; Los sistemas planetarios, como las estrellas, los planetas y sus satélites, también pueden tratarse como sistemas de n cuerpos. Algunas aplicaciones se tratan convenientemente mediante la teoría de la perturbación , en la que el sistema se considera como un problema de dos cuerpos más fuerzas adicionales que causan desviaciones de una trayectoria hipotética de dos cuerpos no perturbados.