Saltar para o conteúdo

Problema de três corpos

Origem: Wikipédia, a enciclopédia livre.
Trajetórias aproximadas de três corpos idênticos localizados nos vértices de um triângulo escaleno e com velocidades iniciais nulas. Vê-se que o centro de massa, de acordo com a lei da conservação do momento, permanece no lugar

Na física e na mecânica clássica, o problema de três corpos é o problema de tomar as posições e velocidades iniciais (ou momento) de três massas pontuais e resolver seu movimento subsequente de acordo com as leis do movimento de Newton e a lei da gravitação universal de Isaac Newton.[1] O problema de três corpos é um caso especial do Problema de n-corpos. Ao contrário do problema de dois corpos, não existe uma solução geral de forma fechada,[1] pois o sistema dinâmico resultante é caótico para a maioria das condições iniciais, e métodos numéricos são geralmente necessários.

Historicamente, o primeiro problema específico de três corpos a receber estudo prolongado foi o que envolvia a Lua, Terra e o Sol.[2] Em um sentido moderno estendido, um problema de três corpos é qualquer problema em mecânica clássica ou mecânica quântica que modela o movimento de três partículas.

Descrição matemática

[editar | editar código-fonte]

A afirmação matemática do problema de três corpos pode ser dada em termos das equações newtonianas de movimento para posições vetoriais de três corpos gravitacionalmente interagindo com massas :

onde é a constante gravitacional.[3][4] Este é um conjunto de nove equações diferenciais de segunda ordem. O problema também pode ser enunciado de forma equivalente no formalismo hamiltoniano, caso em que é descrito por um conjunto de 18 equações diferenciais de primeira ordem, uma para cada componente das posições e momento :

onde é o hamiltoniano:

Neste caso é simplesmente a energia total do sistema, gravitacional mais cinética.

Problema restrito de três corpos

[editar | editar código-fonte]
O problema circular restrito de três corpos é uma aproximação válida das órbitas elípticas encontradas no Sistema Solar, e isso pode ser visualizado como uma combinação dos potenciais devidos à gravidade de dois corpos primários juntamente com o efeito centrífugo de sua rotação (efeitos Coriolis são dinâmicos e não mostrados). Os pontos de Lagrange podem ser vistos como os cinco lugares onde o gradiente na superfície resultante é zero (mostrado como linhas azuis), indicando que as forças estão em equilíbrio

No problema restrito de três corpos,[3] um corpo de massa desprezível (o "planetoide") se move sob a influência de dois corpos massivos. Tendo massa desprezível, a força que o planetoide exerce sobre os dois corpos massivos pode ser desprezada, e o sistema pode ser analisado e, portanto, descrito em termos de um movimento de dois corpos. Normalmente, esse movimento de dois corpos é considerado como consistindo de órbitas circulares em torno do centro de massa, e o planetoide se move no plano definido pelas órbitas circulares.

O problema restrito de três corpos é mais fácil de analisar teoricamente do que o problema completo. Também é de interesse prático, pois descreve com precisão muitos problemas do mundo real, sendo o exemplo mais importante o sistema Terra-Lua-Sol. Por essas razões, ocupou um papel importante no desenvolvimento histórico do problema de três corpos.

Matematicamente, o problema é enunciado da seguinte forma. Seja as massas dos dois corpos massivos, com coordenadas (planares) e , e deixe são as coordenadas do planetoide. Para simplificar, escolha unidades tais que a distância entre os dois corpos massivos, bem como a constante gravitacional, sejam iguais a . Então, o movimento do planetoide é dado por

onde . Nesta forma as equações de movimento carregam uma dependência de tempo explícita através das coordenadas . No entanto, esta dependência do tempo pode ser removida através de uma transformação para um referencial rotativo, o que simplifica qualquer análise subsequente.

Enquanto um sistema de três corpos interagindo gravitacionalmente é caótico, um sistema de três corpos interagindo elasticamente não é.

Solução geral

[editar | editar código-fonte]

Não existe uma solução geral de forma fechada para o problema de três corpos,[1] o que significa que não existe uma solução geral que possa ser expressa em termos de um número finito de operações matemáticas padrão. Além disso, o movimento de três corpos geralmente não é repetido, exceto em casos especiais.[5]

No entanto, em 1912, o matemático finlandês Karl F. Sundman provou que existe uma solução analítica para o problema de três corpos na forma de uma série de potências em termos de potências de t1/3.[6] Esta série converge para todos os t reais, exceto para as condições iniciais correspondentes ao momento angular zero. Na prática, esta última restrição é insignificante, pois as condições iniciais com momento angular zero são raras, tendo medida de Lebesgue zero.

Uma questão importante na comprovação deste resultado é o fato de que o raio de convergência para esta série é determinado pela distância até a singularidade mais próxima. Portanto, é necessário estudar as possíveis singularidades dos problemas de três corpos. Como será brevemente discutido abaixo, as únicas singularidades no problema de três corpos são colisões binárias (colisões entre duas partículas em um instante) e colisões triplas (colisões entre três partículas em um instante).

Colisões, sejam binárias ou triplas (na verdade, qualquer número), são um tanto improváveis, pois foi demonstrado que elas correspondem a um conjunto de condições iniciais de medida zero. No entanto, não há nenhum critério conhecido para ser colocado no estado inicial para evitar colisões para a solução correspondente. Assim, a estratégia de Sundman consistiu nos seguintes passos:

  1. Usando uma mudança de variáveis apropriada para continuar analisando a solução além da colisão binária, em um processo conhecido como regularização.
  2. Provando que colisões triplas só ocorrem quando o momento angular L se anula. Ao restringir os dados iniciais a L0, ele removeu todas as singularidades reais das equações transformadas para o problema de três corpos.
  3. Mostrando que se L0, então não só não pode haver colisão tripla, mas o sistema está estritamente limitado a uma colisão tripla. Isso implica, usando o teorema da existência de Augustin-Louis Cauchy para equações diferenciais, que não há singularidades complexas em uma faixa (dependendo do valor de L) no plano complexo centrado em torno do eixo real (tons de Kovalevskaya).
  4. Encontre uma transformação conforme que mapeie essa faixa no disco unitário. Por exemplo, se s = t1/3 (a nova variável após a regularização) e se |ln s| ≤ β, então este mapa é dado por

Isso conclui a prova do teorema de Sundman.

A série correspondente, no entanto, converge muito lentamente. Ou seja, obter um valor de precisão significativa requer tantos termos que esta solução é de pouca utilidade prática. De fato, em 1930, David Beloriszky calculou que se a série de Sundman fosse usada para observações astronômicas, então os cálculos envolveriam pelo menos 108000000 termos.[7]

Soluções para casos especiais

[editar | editar código-fonte]

Em 1767, Leonhard Euler encontrou três famílias de soluções periódicas nas quais as três massas são colineares em cada instante. Veja Problema de Euler dos três corpos.

Em 1772, Joseph-Louis Lagrange encontrou uma família de soluções em que as três massas formam um triângulo equilátero a cada instante. Juntamente com as soluções colineares de Euler, essas soluções formam as configurações centrais para o problema de três corpos. Essas soluções são válidas para quaisquer razões de massa, e as massas se movem em elipses keplerianas. Essas quatro famílias são as únicas soluções conhecidas para as quais existem fórmulas analíticas explícitas. No caso especial do problema circular restrito de três corpos, essas soluções, vistas em um quadro girando com as primárias, tornam-se pontos que são referidos como L1, L2, L3, L4 e L5, e chamados de pontos lagrangianos, com L4 e L5 sendo instâncias simétricas da solução de Lagrange.

No trabalho resumido em 1892-1899, Henri Poincaré estabeleceu a existência de um número infinito de soluções periódicas para o problema restrito de três corpos, juntamente com técnicas para continuar essas soluções no problema geral de três corpos.

Em 1893, Meissel afirmou o que hoje é chamado de problema de três corpos de Pitágoras: três massas na razão 3:4:5 são colocadas em repouso nos vértices de um triângulo retângulo 3:4:5. Burrau[8] investigou ainda mais esse problema em 1913. Em 1967, Victor Szebehely e C. Frederick Peters estabeleceram uma eventual fuga para este problema usando integração numérica, enquanto ao mesmo tempo encontravam uma solução periódica próxima.[9]

Na década de 1970, Michel Hénon e Roger A. Broucke encontraram um conjunto de soluções que fazem parte da mesma família de soluções: a família Broucke-Henon-Hadjidemetriou. Nesta família, os três objetos têm a mesma massa e podem apresentar formas retrógradas e diretas. Em algumas das soluções de Broucke, dois dos corpos seguem o mesmo caminho.[10]

Uma animação da solução da figura 8 para o problema dos três corpos em um único período T ≃ 6.3259[11]

Em 1993, uma solução de momento angular zero com três massas iguais movendo-se em torno de uma forma de oito foi descoberta numericamente pelo físico Cristopher Moore no Santa Fe Institute.[12] Sua existência formal foi provada mais tarde em 2000 pelos matemáticos Alain Chenciner e Richard Montgomery.[13][14] A solução mostrou-se numericamente estável para pequenas perturbações da massa e dos parâmetros orbitais, o que torna possível que tais órbitas possam ser observadas no universo físico. No entanto, tem sido argumentado que esta ocorrência é improvável, uma vez que o domínio de estabilidade é pequeno. Por exemplo, a probabilidade de um evento de espalhamento binário-binário resultando em uma órbita em forma de 8 foi estimada em uma pequena fração de 1%.[15]

Em 2013, os físicos Milovan Šuvakov e Veljko Dmitrašinović, do Instituto de Física de Belgrado, descobriram 13 novas famílias de soluções para o problema de três corpos com momento angular zero de massa igual.[5][10]

Em 2015, a física Ana Hudomal descobriu 14 novas famílias de soluções para o problema de três corpos de massa igual e momento angular zero.[16]

Em 2017, os pesquisadores Xiaoming Li e Shijun Liao encontraram 669 novas órbitas periódicas do problema de três corpos com momento angular zero de massa igual.[17] Isso foi seguido em 2018 por 1.223 novas soluções adicionais para um sistema de momento angular zero de massas desiguais.[18]

Em 2018, Li e Liao relataram 234 soluções para o problema de três corpos de "queda livre" de massa desigual.[19] A formulação de queda livre do problema de três corpos começa com os três corpos em repouso. Por causa disso, as massas em uma configuração de queda livre não orbitam em um "loop" fechado, mas viajam para frente e para trás ao longo de uma "pista" aberta.

Abordagens numéricas

[editar | editar código-fonte]

Usando um computador, o problema pode ser resolvido arbitrariamente com alta precisão usando integração numérica, embora a alta precisão exija uma grande quantidade de tempo de CPU. Usando a teoria do passeio aleatório, a probabilidade de resultados diferentes pode ser calculada.[20][21]

O problema gravitacional de três corpos em seu sentido tradicional data em substância de 1687, quando Isaac Newton publicou seu Philosophiæ Naturalis Principia Mathematica. Na Proposição 66 do Livro 1 dos Principia, e seus 22 Corolários, Newton deu os primeiros passos na definição e estudo do problema dos movimentos de três corpos massivos sujeitos às suas atrações gravitacionais mutuamente perturbadoras. Nas Proposições 25 a 35 do Livro 3, Newton também deu os primeiros passos na aplicação de seus resultados da Proposição 66 à teoria lunar, o movimento da Lua sob a influência gravitacional da Terra e do Sol.

O problema físico foi abordado por Américo Vespúcio e posteriormente por Galileu Galilei. Em 1499, Vespúcio usou o conhecimento da posição da Lua para determinar sua posição no Brasil. Tornou-se de importância técnica na década de 1720, pois uma solução precisa seria aplicável à navegação, especificamente para a determinação da longitude no mar, resolvida na prática pela invenção do cronômetro marítimo de John Harrison. No entanto, a precisão da teoria lunar era baixa, devido ao efeito perturbador do Sol e dos planetas no movimento da Lua ao redor da Terra.

Jean le Rond d'Alembert e Alexis Claude de Clairaut, que desenvolveram uma rivalidade de longa data, ambos tentaram analisar o problema em algum grau de generalidade; eles submeteram suas primeiras análises concorrentes à Académie Royale des Sciences em 1747.[22] Foi em conexão com sua pesquisa, em Paris durante a década de 1740, que o nome "problema de três corpos" (em francês: Problème des trois Corps) começou a ser comumente usado. Um relato publicado em 1761 por Jean le Rond d'Alembert indica que o nome foi usado pela primeira vez em 1747.[23]

George William Hill trabalhou no problema restrito no final do século XIX.[24]

Em 2019, Breen et al. anunciou um solucionador de rede neural rápido para o problema de três corpos, treinado usando um integrador numérico.[25]

Outros problemas envolvendo três corpos

[editar | editar código-fonte]

O termo "problema de três corpos" às vezes é usado no sentido mais geral para se referir a qualquer problema físico envolvendo a interação de três corpos.

Um análogo da mecânica quântica do problema gravitacional de três corpos na mecânica clássica é o átomo de hélio, no qual um núcleo de hélio e dois elétrons interagem de acordo com a interação de Coulomb do quadrado-inverso. Como o problema gravitacional de três corpos, o átomo de hélio não pode ser resolvido exatamente.[26]

Tanto na mecânica clássica quanto na quântica, no entanto, existem leis de interação não triviais além da força do quadrado-inverso que levam a soluções analíticas exatas de três corpos. Um desses modelos consiste em uma combinação de atração harmônica e uma força repulsiva do cubo inverso.[27] Este modelo é considerado não trivial, pois está associado a um conjunto de equações diferenciais não lineares contendo singularidades (em comparação, por exemplo, apenas com interações harmônicas, que levam a um sistema de equações diferenciais lineares de fácil resolução). Nesses dois aspectos, é análogo a modelos (insolúveis) com interações de Coulomb e, como resultado, foi sugerido como uma ferramenta para entender intuitivamente sistemas físicos como o átomo de hélio.[27][28]

O problema gravitacional de três corpos também foi estudado usando a relatividade geral. Fisicamente, um tratamento relativista torna-se necessário em sistemas com campos gravitacionais muito fortes, como próximo ao horizonte de eventos de um buraco negro. No entanto, o problema relativista é consideravelmente mais difícil do que na mecânica newtoniana, e são necessárias técnicas numéricas sofisticadas. Mesmo o problema de dois corpos completo (ou seja, para razão arbitrária de massas) não tem uma solução analítica rigorosa na relatividade geral.[29]

Problema de n-corpos

[editar | editar código-fonte]

O problema de três corpos é um caso especial do problema de n-corpos, que descreve como n objetos se movem sob uma das forças físicas, como a gravidade. Esses problemas têm uma solução analítica global na forma de uma série de potências convergentes, como foi comprovado por Karl F. Sundman para n = 3 e por Qiudong Wang para n > 3. No entanto, as séries de Sundman e Wang convergem tão lentamente que são inúteis para fins práticos;[30] portanto, atualmente é necessário aproximar soluções por análise numérica na forma de integração numérica ou, para alguns casos, aproximações de séries trigonométricas clássicas (veja Simulação de n-corpos). Sistemas atômicos, por exemplo, átomos, íons e moléculas, podem ser tratados em termos do problema quântico de n-corpos. Entre os sistemas físicos clássicos, o problema de n-corpos geralmente se refere a uma galáxia ou a um aglomerado de galáxias; sistemas planetários, como estrelas, planetas e seus satélites, também podem ser tratados como sistemas de n-corpos. Algumas aplicações são convenientemente tratadas pela teoria da perturbação, na qual o sistema é considerado como um problema de dois corpos mais forças adicionais que causam desvios de uma trajetória hipotética não perturbada de dois corpos.

[editar | editar código-fonte]

No clássico filme de ficção científica de 1951 The Day the Earth Stood Still (O Dia em que a Terra Parou), o alienígena Klaatu, usando o pseudônimo Sr. Carpenter, faz algumas anotações nas equações no quadro-negro do Prof. Barnhardt. Essas equações são uma descrição precisa de uma forma particular do problema de três corpos.[carece de fontes?]

O primeiro volume da trilogia Remembrance of Earth's Past, do autor chinês Liu Cixin, é intitulado The Three-Body Problem e apresenta o problema de três corpos como um dispositivo central da trama.[31]

Referências

  1. a b c Barrow-Green, June (2008), «The Three-Body Problem», in: Gowers, Timothy; Barrow-Green, June; Leader, Imre, The Princeton Companion to Mathematics, Princeton University Press, p. 726–728 
  2. «Historical Notes: Three-Body Problem». Consultado em 19 de julho de 2017 
  3. a b Barrow-Green, June (1997). Poincaré and the Three Body Problem. [S.l.]: American Mathematical Society. p. 8–12. Bibcode:1997ptbp.book.....B. ISBN 978-0-8218-0367-7 
  4. «The Three-Body Problem» (PDF) 
  5. a b Cartwright, Jon (8 de março de 2013). «Physicists Discover a Whopping 13 New Solutions to Three-Body Problem». Science Now. Consultado em 4 de abril de 2013 
  6. Barrow-Green, J. (2010). The dramatic episode of Sundman, Historia Mathematica 37, pp. 164–203.
  7. Beloriszky, D. (1930). «Application pratique des méthodes de M. Sundman à un cas particulier du problème des trois corps». Bulletin Astronomique. Série 2. 6: 417–434. Bibcode:1930BuAst...6..417B 
  8. Burrau (1913). «Numerische Berechnung eines Spezialfalles des Dreikörperproblems». Astronomische Nachrichten. 195 (6): 113–118. Bibcode:1913AN....195..113B. doi:10.1002/asna.19131950602 
  9. Victor Szebehely; C. Frederick Peters (1967). «Complete Solution of a General Problem of Three Bodies». Astronomical Journal. 72: 876. Bibcode:1967AJ.....72..876S. doi:10.1086/110355 
  10. a b Šuvakov, M.; Dmitrašinović, V. «Three-body Gallery». Consultado em 12 de agosto de 2015 
  11. Here the gravitational constant G has been set to 1, and the initial conditions are r1(0) = −r3(0) = (−0.97000436, 0.24308753); r2(0) = (0,0); v1(0) = v3(0) = (0.4662036850, 0.4323657300); v2(0) = (−0.93240737, −0.86473146). The values are obtained from Chenciner & Montgomery (2000).
  12. Moore, Cristopher (1993), «Braids in classical dynamics» (PDF), Physical Review Letters, 70 (24): 3675–3679, Bibcode:1993PhRvL..70.3675M, PMID 10053934, doi:10.1103/PhysRevLett.70.3675 
  13. Chenciner, Alain; Montgomery, Richard (2000). «A remarkable periodic solution of the three-body problem in the case of equal masses». Annals of Mathematics. Second Series. 152 (3): 881–902. Bibcode:2000math.....11268C. JSTOR 2661357. arXiv:math/0011268Acessível livremente. doi:10.2307/2661357 
  14. Montgomery, Richard (2001), «A new solution to the three-body problem» (PDF), Notices of the American Mathematical Society, 48: 471–481 
  15. Heggie, Douglas C. (2000), «A new outcome of binary–binary scattering», Monthly Notices of the Royal Astronomical Society, 318 (4): L61–L63, Bibcode:2000MNRAS.318L..61H, arXiv:astro-ph/9604016Acessível livremente, doi:10.1046/j.1365-8711.2000.04027.x 
  16. Hudomal, Ana (outubro de 2015). «New periodic solutions to the three-body problem and gravitational waves» (PDF). Master of Science Thesis at the Faculty of Physics, Belgrade University. Consultado em 5 de fevereiro de 2019 
  17. Li, Xiaoming; Liao, Shijun (dezembro de 2017). «More than six hundreds new families of Newtonian periodic planar collisionless three-body orbits». Science China Physics, Mechanics & Astronomy. 60 (12): 129511. Bibcode:2017SCPMA..60l9511L. ISSN 1674-7348. arXiv:1705.00527Acessível livremente. doi:10.1007/s11433-017-9078-5 
  18. Li, Xiaoming; Jing, Yipeng; Liao, Shijun (13 de setembro de 2017). «The 1223 new periodic orbits of planar three-body problem with unequal mass and zero angular momentum». arXiv:1709.04775Acessível livremente. doi:10.1093/pasj/psy057 
  19. Li, Xiaoming; Liao, Shijun (2019). «Collisionless periodic orbits in the free-fall three-body problem». New Astronomy. 70: 22–26. Bibcode:2019NewA...70...22L. arXiv:1805.07980Acessível livremente. doi:10.1016/j.newast.2019.01.003 
  20. Technion (6 de outubro de 2021). «A Centuries-Old Physics Mystery? Solved». SciTechDaily. SciTech. Consultado em 12 de outubro de 2021 
  21. Ginat, Yonadav Barry; Perets, Hagai B. (23 de julho de 2021). «Analytical, Statistical Approximate Solution of Dissipative and Nondissipative Binary-Single Stellar Encounters». Physical Review. arXiv:2011.00010Acessível livremente. doi:10.1103/PhysRevX.11.031020. Consultado em 12 de outubro de 2021 
  22. The 1747 memoirs of both parties can be read in the volume of Histoires (including Mémoires) of the Académie Royale des Sciences for 1745 (belatedly published in Paris in 1749) (in French):
    Clairaut: "On the System of the World, according to the principles of Universal Gravitation" (at pp. 329–364); and
    d'Alembert: "General method for determining the orbits and the movements of all the planets, taking into account their mutual actions" (at pp. 365–390).
    The peculiar dating is explained by a note printed on page 390 of the "Memoirs" section: "Even though the preceding memoirs, of Messrs. Clairaut and d'Alembert, were only read during the course of 1747, it was judged appropriate to publish them in the volume for this year" (i.e. the volume otherwise dedicated to the proceedings of 1745, but published in 1749).
  23. Jean le Rond d'Alembert, in a paper of 1761 reviewing the mathematical history of the problem, mentions that Euler had given a method for integrating a certain differential equation "in 1740 (seven years before there was question of the Problem of Three Bodies)": see d'Alembert, "Opuscules Mathématiques", vol. 2, Paris 1761, Quatorzième Mémoire ("Réflexions sur le Problème des trois Corps, avec de Nouvelles Tables de la Lune ...") pp. 329–312, at sec. VI, p. 245.
  24. "Coplanar Motion of Two Planets, One Having a Zero Mass". Annals of Mathematics, Vol. III, pp. 65–73, 1887.
  25. Breen, Philip G.; Foley, Christopher N.; Boekholt, Tjarda; Portegies Zwart, Simon (2019). «Newton vs the machine: Solving the chaotic three-body problem using deep neural networks». arXiv:1910.07291Acessível livremente. doi:10.1093/mnras/staa713 
  26. Griffiths, David J. (2004). Introduction to Quantum Mechanics (2nd ed.). [S.l.]: Prentice Hall. p. 311. ISBN 978-0-13-111892-8. OCLC 40251748 
  27. a b Crandall, R.; Whitnell, R.; Bettega, R. (1984). «Exactly soluble two-electron atomic model». American Journal of Physics. 52 (5): 438–442. Bibcode:1984AmJPh..52..438C. doi:10.1119/1.13650 
  28. Calogero, F. (1969). «Solution of a Three-Body Problem in One Dimension». Journal of Mathematical Physics. 10 (12): 2191–2196. Bibcode:1969JMP....10.2191C. doi:10.1063/1.1664820 
  29. Musielak, Z. E.; Quarles, B. (2014). «The three-body problem». Reports on Progress in Physics. 77 (6): 065901. Bibcode:2014RPPh...77f5901M. ISSN 0034-4885. PMID 24913140. arXiv:1508.02312Acessível livremente. doi:10.1088/0034-4885/77/6/065901 
  30. Florin Diacu. "The Solution of the n-body Problem", The Mathematical Intelligencer, 1996.
  31. Qin, Amy (10 de novembro de 2014). «In a Topsy-Turvy World, China Warms to Sci-Fi». The New York Times. Consultado em 5 de fevereiro de 2020. Cópia arquivada em 9 de dezembro de 2019 

Leitura adicional

[editar | editar código-fonte]