Gravitaatio N-kappaleen ongelma

N - kappaleen gravitaatioongelma on klassinen taivaanmekaniikan ja Newtonin gravitaatiodynamiikan ongelma .

Se on muotoiltu seuraavasti.

Tyhjiössä on N materiaalipistettä , joiden massat tunnetaan { m i }. Olkoon pisteiden parillinen vuorovaikutus Newtonin painovoimalain alainen , ja painovoimat ovat additiivisia . Olkoon kunkin pisteen alkupaikat ja nopeudet r i | t = 0 = ri0 , v i | t = 0 = v i0 . Pisteiden paikat on löydettävä kaikilta myöhemmiltä ajanhetkeltä.

N -kappaleen gravitaatioongelman matemaattinen muotoilu

N gravitaatiokappaleen ( ainepisteen ) järjestelmän kehitystä kuvataan seuraavalla yhtälöjärjestelmällä:

missä on i :nnen kappaleen  massa, sädevektori ja nopeus ( i vaihtelee välillä 1 - N ), G  on gravitaatiovakio . Kappaleiden massat sekä paikat ja nopeudet alkuajan katsotaan tunnetuiksi. On tarpeen löytää kaikkien hiukkasten paikat ja nopeudet mielivaltaisella ajanhetkellä.

Analyyttinen ratkaisu

Yksittäisen pisteen tapaus ei ole gravitaatiodynamiikan tarkastelun kohteena. Tällaisen pisteen käyttäytymistä kuvaa Newtonin ensimmäinen laki . Gravitaatiovuorovaikutus on ainakin paritoimi.

Ratkaisu kahden kappaleen ongelmaan on barysentrinen systeeminen kiertorata (jota ei pidä sekoittaa Kepler-kentän keskuskiertorataan). Täysin tehtävän alkuperäisen muotoilun mukaisesti kahden kappaleen ongelman ratkaisu on täysin epäherkkä pisteiden numerointille ja niiden massojen suhteelle. Keplerin kentän keskikiertorata syntyy siirtymällä rajaan . Tässä tapauksessa pisteiden yhtäläisyys menetetään: sen oletetaan olevan ehdottoman liikkumaton painopiste, ja ensimmäinen piste "menettää" massan, parametri putoaa pois dynaamisista yhtälöistä. Matemaattisessa mielessä tuloksena oleva järjestelmä on degeneratiivinen, koska yhtälöiden ja parametrien määrä puolittuu. Siksi käänteinen asymptotiikka tulee mahdottomaksi: Newtonin gravitaatiolaki ei seuraa Keplerin laeista. (Huomaa, että massoja ei mainita Keplerin laeissa ollenkaan.)

Kolmen kehon ongelmaan vuonna 1912 Karl Zundman sai yleisen analyyttisen ratkaisun sarjan muodossa. Vaikka nämä sarjat konvergoivat minkä tahansa ajan ja minkä tahansa alkuehtojen kanssa, ne konvergoivat erittäin hitaasti [1] . Äärimmäisen hitaan konvergenssin vuoksi Sundman-sarjan käytännön käyttö on mahdotonta [2] .

Myös kolmen kappaleen ongelman osalta Heinrich Bruns ja Henri Poincaré osoittivat, että sen yleistä ratkaisua ei voida ilmaista algebrallisilla tai yksiarvoisilla koordinaattien ja nopeuksien transsendentaalisilla funktioilla [2] . Lisäksi kolmen kappaleen ongelman erityisistä alkunopeuksista ja kohteen koordinaateista tunnetaan vain 5 tarkkaa ratkaisua .

Tällä hetkellä yleensä kehon ongelma voidaan ratkaista vain numeerisesti ja Sundman-sarjassa jopa moderneilla[ milloin? ] tietotekniikan kehitystasoa on lähes mahdotonta käyttää.

Numeeriset menetelmät

Tietotekniikan myötä on ilmestynyt todellinen mahdollisuus tutkia gravitaatiokappaleiden järjestelmien ominaisuuksia ratkaisemalla numeerisesti liikeyhtälöjärjestelmä. Tätä varten käytetään esimerkiksi Runge-Kutta -menetelmää (neljäs tai korkeampi astetta).

Numeerisissa menetelmissä on samat ongelmat kuin analyyttisissa menetelmissä - kun kappaleet ovat lähellä toisiaan, integrointivaihetta on vähennettävä , ja tässä tapauksessa numeeriset virheet lisääntyvät nopeasti. Lisäksi "suoralla" integroinnilla voimalaskelmien määrä jokaiselle askeleelle kasvaa kappaleiden lukumäärän myötä suunnilleen , mikä tekee kymmenistä ja sadoista tuhansista kappaleista koostuvien järjestelmien mallintamisen lähes mahdottomaksi.

Tämän ongelman ratkaisemiseksi käytetään seuraavia algoritmeja (tai niiden yhdistelmiä):

Liikeintegraalit

Huolimatta kaavojen näennäisestä yksinkertaisuudesta, tälle ongelmalle ei ole ratkaisua äärellisten analyyttisten lausekkeiden muodossa yleisessä muodossa . Kuten Heinrich Bruns on osoittanut, monikappaletehtävässä on vain 10 itsenäistä liikkeen algebrallista integraalia , jotka löydettiin 1700-luvulla ja jotka eivät riitä integroimaan kolmen tai useamman kappaleen ongelmaa [4] [5] . Painlevé ja Poincare tarjosivat omat yleistykset tästä lauseesta . Painlevé onnistui luopumaan vaatimuksesta, että riippuvuus koordinaateista on algebrallinen, kun taas Poincare arveli, että uutta yksiarvoista integraalia ei ole olemassa (kaikki klassiset integraalit energiaintegraalia lukuun ottamatta ovat yksiarvoisia funktioita). Tätä viimeistä väitettä ei ilmeisesti ole vielä tiukasti todistettu näin yleisellä muotoilulla.

Vuonna 1971 V. M. Alekseev kommentoi vastaavaa kohtaa Poincarén kirjassa Celestial Mechanics [6] :

Yksiarvoisen analyyttisen integraalin puuttumista kolmen kappaleen ongelmassa ei ole vielä todistettu täydellä tarkkuudella... Ensimmäinen tarkka todiste melko yleisen Hamiltonin järjestelmän integroimattomuudesta kuuluu Siegelille [7] . On mielenkiintoista huomata, että ei-analyyttiset integraalit ovat mahdollisia tarkasteltavina olevissa ongelmissa; niiden olemassaolo seuraa Kolmogorovin [8] [9] lauseesta . Päinvastoin, jos muuttujien lukumäärä on enemmän kuin kaksi, todennäköisimmin jopa jatkuva integraali on mahdoton [10] .

Katso myös

Muistiinpanot

  1. K. L. Siegel. Luennot taivaanmekaniikasta. Arkistokopio päivätty 2. helmikuuta 2021 Wayback Machinessa  - M .: IL, 1959.
  2. 1 2 A.P. Markeev. Kolmen kehon ongelma ja sen tarkat ratkaisut  // Soros Educational Journal . - 1999. - Nro 9 . ( Internet - arkiston artikkelikopio )
  3. Treecode - Ohjelmistojen jakelu . Haettu 14. syyskuuta 2008. Arkistoitu alkuperäisestä 2. helmikuuta 2021.
  4. Bruns H. Ueber die Integrale der Vielkoerper-Problems // Acta math. bd. 11 (1887), s. 25-96.
  5. Whitaker. Analyyttinen dynamiikka.
  6. V. V. Kozlov. Symmetriat, topologia ja resonanssit Hamiltonin mekaniikassa. - Izhevsk, 1995.
  7. Matematiikka. - 1961. - Nro 5, numero. 2. - S. 129-155.
  8. Kolmogorov A. N. // DAN, 1954, 48, nro 4, 527-530
  9. Arnold V. I. // UMN, 1963, 18, nro 5-6
  10. Arnold V. I. // DAN, 1964, 154, nro 1, 9-12.

Kirjallisuus

Linkit