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 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ä.
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ää.
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ä):
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] .
Sanakirjat ja tietosanakirjat | |
---|---|
Bibliografisissa luetteloissa |
Taivaan mekaniikka | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
|