N-дене проблемасы - Википедия - n-body problem

Жылы физика, n- адамның проблемасы тобының жеке қозғалыстарын болжау проблемасы болып табылады аспан объектілері бір-бірімен өзара әрекеттесу гравитациялық.[1] Бұл мәселені шешудің себептерін түсінуге деген ұмтылыс түрткі болды Күн, Ай, планеталар және көрінетін жұлдыздар. 20 ғасырда, динамикасын түсіну глобулярлық кластер жұлдызды жүйелер маңызды болды n- адамның проблемасы.[2] The n- адамның проблемасы жалпы салыстырмалылық шешімі едәуір қиын.

Классикалық физикалық мәселені бейресми түрде келесі түрде айтуға болады:

Квазиге тұрақты орбиталық қасиеттерді ескере отырып (лездік позиция, жылдамдық және уақыт)[3] аспан денелері тобының, олардың интерактивті күштерін болжау; демек, олардың болашақтағы барлық орбиталық қозғалыстарын болжау.[4]

The екі дене проблемасы толығымен шешілді және төменде, сондай-ақ әйгіліде талқыланады шектелген үш дене проблемасы.[5]

Тарих

Планета орбитасының үш орбиталық позициясын білу - Сир алған позициялар Исаак Ньютон астрономнан Джон Фламстид[6] - Ньютон тікелей аналитикалық геометрия арқылы теңдеу құра алды, планетаның қозғалысын болжады; яғни, оның орбиталық қасиеттерін беру: орны, орбиталық диаметрі, периоды және орбиталық жылдамдығы.[7] Осыны жасай отырып, ол және басқалары көп ұзамай бірнеше жыл ішінде бұл қозғалыс теңдеулері кейбір орбиталарды дұрыс немесе тіпті жақсы болжай алмады.[8] Ньютон бұған барлық планеталардағы гравитациялық интерактивті күштер олардың барлық орбиталарына әсер еткендіктен екенін түсінді.

Жоғарыда келтірілген ашылым мәселенің дәл өзегіне сәйкес келеді, дәл осы n- дененің проблемасы физикалық тұрғыдан: Ньютон түсінгендей, планетаның шын орбитасын анықтау үшін бастапқы күй мен жылдамдықты немесе үш орбиталық позицияны көрсету жеткіліксіз: гравитациялық интерактивті күштер де белгілі болуы керек. Осылай деген сана мен өсу пайда болды n- 17 ғасырдың басындағы «проблема». Бұл тартылыс күші Ньютонның күшіне сәйкес келеді қозғалыс заңдары және оған бүкіләлемдік тартылыс заңы, бірақ көптеген ( nөзара қарым-қатынастар тарихи тұрғыдан нақты шешімді шешілмейтін етіп жасады. Бір қызығы, бұл сәйкестік дұрыс емес тәсілге әкелді.

Ньютонның уақытынан кейін n-тарихи тұрғыдан ешкімнің проблемасы дұрыс айтылмаған өйткені оған гравитациялық интерактивті күштерге сілтеме кірмеген. Ньютон мұны тікелей айтпайды, бірақ оны білдіреді Принципия The n- сол гравитациялық интерактивті күштердің арқасында бірде бір проблема шешілмейді.[9] Ньютон айтты[10] оның қағидасының 21-тармағында:

Демек, тартымды күш екі денеде де болады. Күн Юпитерді және басқа планеталарды тартады, Юпитер оның серіктерін тартады және сол сияқты жер серіктері бір-біріне әсер етеді. Планеталардың әрқайсысының екіншісіндегі әрекеттерін бір-бірінен ажыратуға болады және оларды әрқайсысы бірін-бірі өзіне тартатын екі әрекет деп санауға болады, бірақ олардың денелері бірдей болғандықтан, олар екі емес, бірақ екі терминал арасындағы қарапайым операция. Екі денені бір-біріне арқанның жиырылуы арқылы тартуға болады. Әрекеттің себебі екі жақты, яғни екі дененің әрқайсысының орналасуы; іс-әрекет екі денеде болатындай етіп екі жақты; бірақ екі дененің арасында қандай болса, ол жалғыз, ал бір денеде ...

Ньютон ол арқылы қорытындылады үшінші қозғалыс заңы «осы Заңға сәйкес барлық органдар бір-бірін тартуға тиіс». Гравитациялық интерактивті күштердің болуын білдіретін бұл соңғы мәлімдеме маңызды болып табылады.

Төменде көрсетілгендей, мәселе де сәйкес келеді Жан Ле Ронд Д'Алемберт Ньютондық емес бірінші және екінші қағидалар және бейсызықтық n- дененің проблемалық алгоритмі, соңғысы осы интерактивті күштерді есептеуге арналған жабық түрдегі шешімге мүмкіндік береді.

-Ның жалпы шешімін табу мәселесі n- адамның проблемасы өте маңызды және күрделі деп саналды. Шынында да, 19 ғасырдың соңында Король Оскар II Швеция, кеңес берді Gösta Mittag-Leffler, проблеманың шешімін таба алатын кез-келген адамға сыйлық тағайындады. Хабарландыру өте нақты болды:

Ньютон заңы бойынша әрқайсысын тартатын ерікті көптеген масса нүктелерінің жүйесін ескере отырып, екі нүкте ешқашан соқтығыспайды деген болжам бойынша, уақыттың белгілі функциясы болып табылатын айнымалының қатарлары ретінде әр нүктенің координаталарының көрінісін табуға тырысыңыз және олардың барлық мәндері үшін серия біркелкі жинақталады.

Егер мәселе шешілмесе, классикалық механикаға қосқан кез-келген басқа маңызды үлес өте маңызды деп саналады. Сыйлық берілді Пуанкаре, ол бастапқы мәселені шешпесе де. (Оның үлесінің алғашқы нұсқасында тіпті үлкен қателік болған[11]). Ақырында басылған нұсқа көптеген маңызды идеяларды қамтыды, олар дамуға әкелді хаос теориясы. Бастапқыда айтылған проблема ақыр соңында шешілді Карл Фритиоф Сундман үшін n = 3.

Жалпы тұжырымдау

The n- адам мәселесі қарастырады n нүктелік массалар ммен, мен = 1, 2, …, n ан инерциялық санақ жүйесі үш өлшемді кеңістікте 3 өзара тартылыс күшінің әсерінен қозғалатын. Әрбір масса ммен позициялық векторы бар qмен. Ньютонның екінші заңы массалық уақыт үдеуі дейді ммен г.2qмен/дт2 массадағы күштердің қосындысына тең. Ньютонның ауырлық күші заңы ауырлық күші массаға әсер етті дейді ммен бір масса бойынша мj арқылы беріледі[12]

қайда G болып табылады гравитациялық тұрақты және ||qjqмен|| - арасындағы қашықтықтың шамасы qмен және qj (индукцияланған метрика The л2 норма ).

Барлық массаның қорытындысынан нәтиже шығады n-біреу қозғалыс теңдеулері:

қайда U болып табылады өзіндік әлеует энергия

Импульсті анықтау бмен = ммен г.qмен/дт, Гамильтонның қозғалыс теңдеулері үшін n- адамның проблемасы болады[13]

қайда Гамильтондық функция болып табылады

және Т болып табылады кинетикалық энергия

Гамильтон теңдеулері n- адамның проблемасы 6n бірінші ретті дифференциалдық теңдеулер, бірге 6n бастапқы шарттар сияқты 3n бастапқы позиция координаттары және 3n импульстің бастапқы мәндері.

Симметриялар n- жалпыға ортақ проблема қозғалыс интегралдары мәселені жеңілдететін.[14] Трансляциялық симметрия Мәселенің нәтижесі масса орталығы

тұрақты жылдамдықпен қозғалу, осылайша C = L0т + C0, қайда L0 - бұл сызықтық жылдамдық және C0 бастапқы позиция болып табылады. Қозғалыс тұрақтылығы L0 және C0 қозғалыстың алты интегралын білдіреді. Айналмалы симметрия жалпы нәтижелер бұрыштық импульс тұрақты

Мұндағы × кросс өнім. Толық бұрыштық импульс үш компоненті A қозғалыстың тағы үш константын шығарыңыз. Қозғалыстың соңғы жалпы константасын энергияны сақтау H. Демек, әрқайсысы n- бірде-бір проблемада қозғалыс он интегралды болады.

Себебі Т және U болып табылады біртектес функциялар сәйкесінше 2 және −1 дәрежедегі қозғалыс теңдеулерінде а болады инвариантты масштабтау: егер qмен(т) шешім болып табылады, солай болады λ−​23qмен(λt) кез келген үшін λ > 0.[15]

The инерция моменті туралы n- дене жүйесі арқылы беріледі

және вирустық арқылы беріледі Q = 1/2 dI/дт. Содан кейін Лагранж-Якоби формуласы дейді[16]

Жүйелер үшін динамикалық тепе-теңдік, ұзақ мерзімді уақыт г.2Мен/дт2 нөлге тең. Сонда орташа кинетикалық энергия жалпы потенциалдың жартысына тең болады, Т⟩ = 1/2U, мысалы вирустық теорема гравитациялық жүйелер үшін.[17] Егер М жалпы масса және R жүйенің сипаттамалық мөлшері (мысалы, жүйенің массасының жартысын қамтитын радиус), онда жүйенің динамикалық тепе-теңдікке орналасуының критикалық уақыты[18]

Ерекше жағдайлар

Екі дене проблемасы

Планетарлық интерактивті күштердің кез-келген талқылауы әрқашан тарихи түрде басталды екі дене проблемасы. Бұл бөлімнің мақсаты - кез-келген планеталық күштерді есептеудегі нақты күрделілікке қатысты. Осы бөлімдегі ескертулер, мысалы, бірнеше тақырыптар ауырлық, бариентр, Кеплер заңдары және т.б.; және келесі бөлімде де (Үш дене проблемасы ) Википедияның басқа беттерінде талқыланады. Бірақ бұл тақырыптар тұрғысынан қарастырылады n- адамның проблемасы.

Екі дене проблемасы (n = 2) толығымен шешілді Иоганн Бернулли (1667–1748) авторы классикалық теориясы (және Ньютон емес) негізгі нүкте-масса болған деп санау арқылы тұрақты, мұнда көрсетілген.[19] Екі дененің, мысалы, Күн мен Жердің Күнмен қозғалысын қарастырайық тұрақты, содан кейін:

Масса қозғалысын сипаттайтын теңдеу м2 массаға қатысты м1 осы екі теңдеудің айырмашылықтарынан оңай алынады және ортақ терминдер жойылғаннан кейін:

Қайда

  • р = р2р1 - векторының орны м2 қатысты м1;
  • α болып табылады Эйлериан үдеу г.2р/дт2;
  • η = G(м1 + м2).

Теңдеу α + η/р3р = 0 1734 жылы шешілген екі денелі есеп Бернулли үшін дифференциалды теңдеу болып табылады. Бұл тәсілге ескерту алдымен күштерді анықтап, содан кейін қозғалыс теңдеуін шешу керек. Бұл дифференциалдық теңдеу эллиптикалық немесе параболалық немесе гиперболалық шешімдерге ие.[20][21][22]

Бұл туралы ойлау дұрыс емес м1 (Күн) Ньютонның бүкіләлемдік тартылыс заңын қолдану кезінде кеңістікте бекітілген және бұл қате нәтижелерге әкеледі. Екі оқшауланған гравитациялық өзара әрекеттесетін денелер үшін бекітілген нүкте - олардың өзара байланысы бариентр, және осы екі дене проблемасы қолдану сияқты дәл шешуге болады Якоби координаттары барицентрге қатысты.

Доктор Кларенс Клеминшоу Күн жүйесінің бариентрінің шамамен орналасуын есептеді, бұл нәтиже тек Юпитер мен Күннің массаларын біріктіру арқылы жүзеге асты. Ғылыми бағдарлама оның жұмысына сілтеме жасай отырып:

Күнде Күн жүйесіндегі массаның 98 пайызы бар, ал Марстан тысқары планеталар қалғандарының көп бөлігін құрайды. Орташа алғанда, Күн-Юпитер жүйесінің массаның орталығы, ең үлкен екі объектіні жалғыз қарастырған кезде, Күн центрінен 462000 миль қашықтықта немесе Күн бетінен 30 000 миль жоғары орналасқан! Алайда, басқа үлкен планеталар Күн жүйесінің масса орталығына әсер етеді. Мысалы, 1951 жылы жүйелердің масса орталығы Күн центрінен алыс емес еді, өйткені Юпитер Сатурн, Уран және Нептунға қарама-қарсы тұрған. 1950 жылдардың соңында, осы төрт планета да Күннің бір жағында болған кезде, жүйенің масса орталығы Күн бетінен 330 000 мильден астам қашықтықта болды, деп есептеді Лос-Анджелестегі Гриффит обсерваториясының докторы К.Х.Клеминшоу.[23]

Кеплердің айқын қозғалысына қарсы нақты қозғалыс

Күн галактикалық орталықтың айналасында айналып, Күн жүйесін және Жерді өзімен бірге сүйрейді. Қандай математик Кеплер өзінің үш әйгілі теңдеуіне келген кезде планеталардың айқын қозғалыстарына сәйкес болды Tycho Brahe деректер, және емес олардың Күн туралы шынайы айналмалы қозғалыстарын қисық етіп орналастыру (суретті қараңыз). Екеуі де Роберт Гук және Ньютон Ньютонның екенін жақсы білді Бүкіләлемдік тартылыс заңы эллиптикалық орбиталармен байланысты күштер үшін ұстамады.[10] Шындығында, Ньютонның әмбебап заңында Меркурий орбитасы, астероид белдеуінің гравитациялық әрекеті немесе Сатурнның сақиналары.[24] Ньютон мәлімдеді (11 бөлімінде Принципия) эллиптикалық орбиталарға арналған күштерді болжай алмаудың басты себебі оның математикалық моделі нақты әлемде болмайтын жағдайға, яғни қозғалмайтын орталыққа тартылған денелердің қозғалыстарына шектелген дене үшін болды. Қазіргі кейбір физика және астрономия оқулықтарында Ньютонның болжамының жағымсыз мәні айтылмайды және оның математикалық моделі шындыққа негізделген деп үйретеді. Жоғарыда келтірілген екі денелі есептердің классикалық шешімі - бұл математикалық идеалдау деп түсіну керек. Сондай-ақ қараңыз Кеплердің планеталар қозғалысының бірінші заңы.

Үш дене проблемасы

Бұл бөлім тарихи маңыздыға қатысты n- жеңілдетілген болжамдардан кейін адам проблемаларын шешу.

Бұрын бұл туралы көп білмейтін n- адамның проблемасы n ≥ 3.[25] Іс n = 3 ең көп зерттелген. Түсінуге көптеген алдыңғы әрекеттер Үш дене проблемасы ерекше жағдайлар үшін нақты шешімдер табуға бағытталған сандық болды.

  • 1687 жылы, Исаак Ньютон жарияланған Принципия үш дененің өзара гравитациялық тартымдылығына тәуелді қозғалыстар мәселесін зерттеудегі алғашқы қадамдар, бірақ оның күш-жігері сөздік сипаттама мен геометриялық очерктерге әкелді; әсіресе 1-кітап, 66-ұсыныс және оның нәтижелерін қараңыз (Ньютон, 1687 және 1999 (аудар.), сонымен қатар Тиссеранд, 1894 қараңыз).
  • 1767 жылы, Эйлер табылды коллинеарлы кез-келген массаның үш денесі тіркелген түзу бойымен пропорционалды қозғалатын қозғалыстар. The Эйлердің үш дене проблемасы денелердің екеуі кеңістікте бекітілген ерекше жағдай (мұны деп шатастыруға болмайды үш денелі дөңгелек шектелген проблема, онда екі массивті денелер дөңгелек орбита сипаттайды және тек синодтық санақ жүйесінде бекітілген).
  • 1772 жылы, Лагранж кез-келген массаның үш денесі үшін әрқайсысы периодты шешімнің екі класын ашты. Бір сыныпта денелер айналатын түзудің бойында жатыр. Басқа сыныпта денелер айналатын тең бүйірлі үшбұрыштың төбелерінде жатыр. Екі жағдайда да денелердің жолдары конустық қималар болады. Бұл шешімдер зерттеуге әкелді орталық конфигурациялар, ол үшін = кк тұрақты үшін к > 0.
  • Жер-Ай-Күн жүйесін негізгі зерттеуді қолға алды Чарльз-Эжен Делона, 1860 және 1867 жылдары әрқайсысы 900 беттен тұратын тақырып бойынша екі том шығарды. Басқа көптеген жетістіктермен қатар, жұмыс хаосты меңзеп, проблема деп аталатын проблеманы айқын көрсетеді »кіші бөлгіштер«in мазасыздық теориясы.
  • 1917 жылы, Орман Рэй Мултон өзінің қазіргі классикасын жариялады, Аспан механикасына кіріспе (сілтемелерді қараңыз) оның сюжетімен үш дененің проблемасы шешім (төмендегі суретті қараңыз).[26] Мұнымен қатар, Мейировичтің кітабын, 413–414 беттерді, оның үш денеге қатысты шектеулі шешімдерін қараңыз.[27]
Үш бөлшектің ауырлық күші әсерінен қозғалысы ретсіз мінез-құлық

Мултонның шешімін елестету оңайырақ болуы мүмкін (және оны шешу оңай), егер біреу үлкенірек денені қарастырса (мысалы, Күн ) кеңістіктегі қозғалмайтын және аз массивті дене болуы керек (мысалы Юпитер ) тепе-теңдік нүктелерімен оның айналасында айналу үшін (Лагранждық нүктелер ) аз массивті дененің өз орбитасында алдыңғы және артқы жағындағы 60 ° аралықты ұстап тұру (дегенмен, шындығында денелердің ешқайсысы да стационар емес, өйткені олардың екеуі де бүкіл жүйенің масса центрін айналады - бариентр туралы). Бастапқы массалардың жеткілікті аз масса қатынасы үшін бұл үшбұрышты тепе-теңдік нүктелері тұрақты (массаға жуық) бөлшектер үлкенірек (Күн) айналасында осы нүктелер бойынша айналады. Дөңгелек есептің тепе-теңдік бес нүктесі Лагранж нүктелері деп аталады. Төмендегі суретті қараңыз:

Үш денелі проблема

Ішінде үш дененің проблемасы жоғарыда келтірілген математикалық модель фигурасы (Мултоннан кейін), Лагранж нүктелері L4 және Л.5 қайда Троян планетоидтар мекендеген (қараңыз) Лагранж нүктесі ); м1 Күн және м2 Юпитер. L2 - бұл астероид белдеуінің ішіндегі нүкте. Бұл модель үшін оны жүзеге асыру керек, бұл Күн-Юпитердің бүкіл диаграммасы өзінің бариентрінде айналады. Үш денеден тұратын шектеулі проблемалық шешім трояндық планетоидтарды олар пайда болғанға дейін алдын-ала болжады. The сағ-шеңберлер мен тұйық циклдар Күн мен Юпитерден шыққан электромагниттік ағындарды қайталайды. Бұл Ричард Х.Батиннің болжамына қарама-қайшы (сілтемелерді қараңыз), екеуі сағ1 гравитациялық күштер нөлге тең болатын гравитациялық раковиналар және планетоидтардың трояндықтары сол жерде қамалып қалады. Планетоидтар массасының жалпы мөлшері белгісіз.

Деп шектелген үш денелі проблема масса денелердің біреуі елеусіз.[дәйексөз қажет ] Елеусіз дене аз массаның денесінің серігі болып табылатын жағдайды талқылау үшін қараңыз Тау сферасы; екілік жүйелер үшін қараңыз Рош лобы. Үш денелі проблеманың нақты шешімдері ретсіз қайталанатын жолдың айқын белгісі жоқ қозғалыс.[дәйексөз қажет ]

Шектелген мәселені (дөңгелек және эллипс түрінде) көптеген танымал математиктер мен физиктер кеңінен өңдеді, ең бастысы Пуанкаре 19 ғасырдың аяғында. Пуанкаренің шектеулі үш дене проблемасы бойынша жұмысы негізін қалады детерминистік хаос теориясы.[дәйексөз қажет ] Шектелген проблемада бесеу бар тепе-теңдік нүктелері. Үшеуі массамен коллинеар (айналмалы рамада) және тұрақсыз. Қалған екеуі тең денелі үшбұрыштардың үшінші төбесінде орналасқан, олардың денелері бірінші және екінші төбелер болып табылады.

Төрт дене проблемасы

Дөңгелек шектеулі үш дене есебінен шабыттанып, төрт дене мәселесін басқа үш массивті денелермен салыстырғанда кіші денені аз массаға ие етіп қарастыру арқылы едәуір жеңілдетуге болады, олар өз кезегінде дөңгелек орбиталарды сипаттауға жуықтайды. Бұл төрт дөңгелекті шектелген екі шеңберлі проблема деп аталады (оны екі дөңгелек модель деп те атайды) және оны 1960 жылдан бастап Су-Шу Хуан жазған НАСА-ның есебінен іздеуге болады.[28] Бұл тұжырымдама өте маңызды болды астродинамика, негізінен, Күннің гравитациялық тартуымен Жер-Ай жүйесіндегі ғарыш аппараттарының траекториясын модельдеу. Екі шеңберлі шектеулі төрт денелі проблеманың бұрынғы тұжырымдамасы Жер-Ай-Күн емес басқа жүйелерді модельдеу кезінде проблемалы болуы мүмкін, сондықтан тұжырымдаманы Негри мен Прадо жалпылаған[29] қолдану аясын кеңейту және қарапайымдылықты жоғалтпай дәлдігін жақсарту.

Планетарлық проблема

The планеталық проблема болып табылады n- массаның біреуі басқаларға қарағанда әлдеқайда үлкен болған жағдайда, ешкімге проблема болмайды. Планетарлық проблеманың прототиптік мысалы - Күн -ЮпитерСатурн жүйе, мұнда Күннің массасы Юпитер немесе Сатурн массаларынан шамамен 100 есе үлкен.[15] Мәселенің шамамен шешімі - оны бөлшектеу n − 1 жұлдыз-планета жұптары Кеплер проблемалары, планеталар арасындағы өзара әрекеттесуді мазасыздық ретінде қарастыру. Пербербативті жуықтау жоқ болғанша жақсы жұмыс істейді орбиталық резонанстар жүйеде, бұл бұзылмаған Кеплер жиіліктерінің қатынастарының ешқайсысы рационалды сан емес. Резонанс кеңеюде кіші бөлгіштер ретінде пайда болады.

Резонанс пен кішігірім бөлгіштердің болуы планетарлық проблемадағы тұрақтылық туралы маңызды мәселеге әкелді: жұлдыздар айналасындағы айналмалы орбиталардағы планеталар уақыт өте келе тұрақты немесе шектелген орбиталарда қала ма?[15][30] 1963 жылы, Владимир Арнольд қолданғанын дәлелдеді KAM теориясы планетарлық мәселенің тұрақтылығының бір түрі: оң өлшемдерінің жиынтығы бар квазипериодты жазықтықта шектелген планеталық проблема кезіндегі орбиталар.[30] КАМ теориясында хаостық планеталық орбиталар квазипериодты КАМ торимен шектеледі. Арнольдтың нәтижесін Феджоз және Герман 2004 жылы жалпы теоремаға дейін кеңейтті.[31]

Орталық конфигурациялар

A орталық конфигурация q1(0), …, qN(0) бастапқы конфигурация, егер бөлшектердің барлығы нөлдік жылдамдықпен шығарылса, олардың барлығы масса центріне қарай құлайды C.[30] Мұндай қозғалыс деп аталады гомотетикалық. Орталық конфигурациялар да пайда болуы мүмкін гомографиялық қозғалыстар онда барлық массалар эксцентриситеті бірдей барлық траекториялары бар (эллиптикалық, дөңгелек, параболалық немесе гиперболалық) Кеплер траекториялары бойынша қозғалады. e. Эллиптикалық траекториялар үшін, e = 1 гомотетикалық қозғалысқа сәйкес келеді және e = 0 береді салыстырмалы тепе-теңдік қозғалысы онда конфигурация бастапқы конфигурацияның изометриясы болып қалады, егер конфигурация қатты дене болса.[32] Орталық конфигурациялар түсіну үшін маңызды рөл атқарды топология туралы өзгермейтін коллекторлар жүйенің алғашқы интегралдарын бекіту арқылы жасалған.

n-ореография

Барлық массалар қозғалатын шешімдер бірдей соқтығысусыз қисық хореография деп аталады.[33] Хореография n = 3 1772 жылы Лагранж ашты, онда үш дене ан шыңында орналасқан тең бүйірлі үшбұрыш айналмалы жақтауда. A сегіз сурет хореография n = 3 1993 жылы К.Мур сандық түрде тапқан, ал 2000 жылы А.Ченцинер мен Р.Монтгомери жалпылап дәлелдеген.[дәйексөз қажет ] Содан бері көптеген басқа хореографиялар табылды n ≥ 3.

Аналитикалық тәсілдер

Мәселені шешудің әрқайсысы үшін тек қана емес изометрия немесе уақыт ауысуы, сонымен қатар а уақыттың кері бағыты (үйкеліс жағдайынан айырмашылығы) шешімін де береді.[дәйексөз қажет ]

Туралы физикалық әдебиеттерде n-адам мәселесі (n ≥ 3), кейде сілтеме жасалады шешудің мүмкін еместігі n- адамның проблемасы (жоғарыда аталған тәсілді қолдану арқылы).[дәйексөз қажет ] Алайда шешімнің «мүмкін еместігін» талқылау кезінде мұқият болу керек, өйткені бұл тек бірінші интегралдар әдісіне қатысты (теоремаларды салыстырыңыз: Абыл және Галуа шешудің мүмкін еместігі туралы бесінші алгебралық теңдеулер немесе тек тамырларды қамтитын формулалар арқылы жоғары).

Қуат сериясының шешімі

Классиканы шешудің бір әдісі n- біреудің проблемасы « n- адам проблемасы Тейлор сериясы ".

Жүйесін анықтаудан бастаймыз дифференциалдық теңдеулер:[дәйексөз қажет ]

Қалай хмен(т0) және г.хмен(т0)/дт бастапқы шарттар ретінде беріледі, әрқайсысы г.2хмен(т)/дт2 белгілі. Дифференциалдау г.2хмен(т)/дт2 нәтижелері г.3хмен(т)/дт3 қай уақытта т0 ол белгілі, және Тейлор сериясы итеративті түрде салынған.[түсіндіру қажет ]

Сундманның жалпыланған шешімі

Сандменнің іс бойынша нәтижесін қорыту үшін n > 3 (немесе n = 3 және в = 0[түсіндіру қажет ]) біреу екі кедергіге тап болуы керек:

  1. Зигель көрсеткендей, екі денеден артық денені қамтитын соқтығыстарды аналитикалық жолмен жүйеге келтіру мүмкін емес, сондықтан Сундманның регуляризациясын жалпылауға болмайды.[дәйексөз қажет ]
  2. Ерекшеліктердің құрылымы бұл жағдайда күрделене түседі: дара ерекшеліктердің басқа түрлері пайда болуы мүмкін (қараңыз) төменде ).

Ақырында, Сундманның нәтижесі жағдайға жалпыланды n > 3 денелер Qiudong Wang 1990 жылдары.[34] Сингулярлық құрылымы күрделі болғандықтан, Ванға сингулярлық мәселелерін толығымен қалдыруға тура келді. Оның көзқарасының орталық мәні - теңдеулерді сәйкесінше жаңа жүйеге айналдыру, осылайша жаңа жүйенің шешімдері үшін болмыс аралығы [0,∞).

-Ның ерекшеліктері n- адамның проблемасы

Сыңарларының екі түрі болуы мүмкін n-адам мәселесі:

  • екі немесе одан да көп денелердің соқтығысуы, бірақ ол үшін q(т) (органдардың позициялары) шектеулі болып қалады. (Осы математикалық мағынада «соқтығысу» дегеніміз екі нүкте тәрізді дененің кеңістіктегі орындары бірдей болатындығын білдіреді).
  • соқтығыспайтын сингулярлықтар, бірақ q(т) шектеулі болып қалмайды. Бұл сценарийде денелер ақырғы уақытта шексіздікке ауысады, сонымен бірге нөлдік бөлінуге ұмтылады (қиялдағы соқтығысу «шексіздікте» болады).

Соңғылары Пенлевенің гипотезасы деп аталады (соқтығыспайтын сингулярлықтар). Олардың тіршілігі болжалды n > 3 арқылы Пенлеве (қараңыз Painlevé болжам ). Бұл мінез-құлықтың мысалдары n = 5 Ся салған[35] және эвристикалық модель n = 4 Авторы: Гервер.[36] Саари Дональд 4 немесе одан аз денелер үшін сингулярлықты тудыратын бастапқы мәліметтер жиынтығы болатындығын көрсетті өлшеу нөл.[37]

Модельдеу

Екі денелі классикалық (мысалы, релятивтік емес) проблема үшін және таңдалған конфигурациялар үшін аналитикалық шешімдер бар n > 2, жалпы алғанда n- сандық әдістерді қолдана отырып, бірде-бір проблема шешілуі немесе модельденуі керек.[18]

Дене аз

Денелердің аз саны үшін n- адамның мәселесін шешу арқылы шешуге болады тікелей әдістер, деп те аталады бөлшектер - бөлшектер әдістері. Бұл әдістер қозғалыстың дифференциалдық теңдеулерін сандық интеграциялайды. Бұл проблеманың сандық интеграциясы бірнеше себептерге байланысты болуы мүмкін. Біріншіден, гравитациялық потенциал сингулярлы; ол екі бөлшектің арақашықтығы нөлге жеткендіктен шексіздікке жетеді. Гравитациялық потенциал болуы мүмкін жұмсарды кішігірім қашықтықтағы сингулярлықты жою:[18]

Екіншіден, жалпы үшін n > 2, n- адамның проблемасы ретсіз,[38] бұл дегеніміз, интеграциядағы кішігірім қателіктер уақыт өте келе өсуі мүмкін. Үшіншіден, модельдеу модельдеу уақытының үлкен уақытында болуы мүмкін (мысалы, миллиондаған жылдар) және интеграция уақыты өскен сайын сандық қателіктер жинақталады.

Сандық интеграция кезінде қателіктерді азайтудың бірқатар әдістері бар.[18] Жергілікті координаттар жүйелері кейбір мәселелерде әртүрлі масштабтарды шешу үшін қолданылады, мысалы, Күн-Ай модельдеу жағдайындағы Жер-Ай координаттар жүйесі. Вариациялық әдістер мен тербеліс теориясы сандық интеграция түзету болатын аналитикалық траекторияларды болжай алады. А пайдалану симплектикалық интегратор модельдеудің Гамильтон теңдеулеріне жоғары дәлдікпен бағынуын және энергияның үнемделуін қамтамасыз етеді.

Көптеген денелер

Сандық интегралдауды қолданудың тікелей әдістері реті бойынша талап етеді 1/2n2 барлық жұп бөлшектердегі потенциалды энергияны бағалауға арналған есептеулер, сөйтіп а уақыттың күрделілігі туралы O(n2). Көптеген бөлшектері бар модельдеу үшін O(n2) фактор ауқымды есептеулер жасайды, әсіресе уақытты алады.[18]

Тікелей әдістерге қатысты уақыттың күрделілігін төмендететін бірқатар жуық әдістер жасалды:[18]

  • Ағаш кодының әдістері, мысалы Barnes – Hut модельдеу, болып табылады соқтығысусыз жұптар арасындағы жақын кездесулер маңызды емес және алшақ бөлшектердің үлесін жоғары дәлдікте есептеудің қажеті жоқ кезде қолданылатын әдістер. Бөлшектердің алыстағы тобының потенциалы a көмегімен есептеледі көппольды кеңейту потенциал. Бұл шамамен күрделіліктің төмендеуіне мүмкіндік береді O(n журнал n).
  • Жылдам көппольды әдістер алыс бөлшектерден алынған мультипол-кеңейтілген күштер бір-біріне жақын бөлшектер үшін ұқсас болатынын пайдаланыңыз. Бұл одан әрі жуықтау күрделілікті төмендетеді деп талап етіледі O(n).[18]
  • Бөлшектерді торлау әдістері модельдеу кеңістігін бөлшектердің масса тығыздығы интерполяцияланатын үш өлшемді торға бөлу. Сонда потенциалды есептеу а шешуге айналады Пуассон теңдеуі есептеуге болатын торда O(n журнал n) пайдалану уақыты жылдам Фурье түрлендіруі техникасы. Қолдану торды бейімдеу немесе көп өлшемді әдістер әдістердің күрделілігін одан әрі төмендете алады.
  • P3М және ПМ ағашының әдістері алшақ бөлшектер үшін бөлшектер торының жуықтауын қолданатын, бірақ жақын бөлшектерге (бірнеше тор аралықтарында) дәлірек әдістерді қолданатын гибридтік әдістер. P3M деген сөз бөлшек – бөлшек, бөлшек – тор және жақын аралықта әлсіреген әлеуеті бар тікелей әдістерді қолданады. PM-ағаш әдісі жақын жерде ағаш кодтарын қолданады. Бөлшектерді торлау әдістері сияқты, адаптивті торлар есептеу тиімділігін арттыра алады.
  • Орташа өріс әдістер уақытқа тәуелді бөлшектер жүйесін жуықтау Больцман теңдеуі потенциалды бейнелейтін өздігінен үйлесетін Пуассон теңдеуімен байланысқан массаның тығыздығын білдіреді. Бұл түрі тегістелген бөлшектердің гидродинамикасы жуықтау үлкен жүйелер үшін жарамды.

Күшті гравитация

Жақын гравитациялық өрістері бар астрофизикалық жүйелерде оқиғалар көкжиегі а қара тесік, n-біреудің модельдеуін ескеру керек жалпы салыстырмалылық; мұндай модельдеу домен болып табылады сандық салыстырмалылық. Сандық модельдеу Эйнштейн өрісінің теңдеулері өте қиын[18] және а Ньютоннан кейінгі формализм Сияқты (PPN) Эйнштейн-Инфельд-Гофман теңдеулері, мүмкіндігінше қолданылады. The жалпы салыстырмалылықтағы екі денелі мәселе аналитикалық тұрғыдан тек бір масса екінші массаға қарағанда едәуір үлкен деп саналатын Кеплер есебі үшін шешіледі.[39]

Басқа n- адамның проблемалары

Көптеген жұмыстар n- адам проблемасы гравитациялық проблемада болды. Бірақ ол үшін басқа жүйелер бар n- математика мен имитациялық техниканың тиімділігі дәлелденді.

Кең ауқымда электростатика модельдеу сияқты мәселелер белоктар және ұялы қондырғылар құрылымдық биология, Кулондық потенциал гравитациялық потенциалмен бірдей формаға ие, тек зарядтар оң немесе теріс болуы мүмкін, бұл итергіш, сонымен қатар тартымды күштерге әкеледі.[40] Жылдам кулонды еріткіштер жылдам мультипольді әдіс тренажерлерінің электростатикалық аналогы болып табылады. Бұлар жиі қолданылады мерзімді шекаралық шарттар аймақ бойынша және Эвальд жиынтығы есептеуді жылдамдату үшін техникалар қолданылады.[41]

Жылы статистика және машиналық оқыту, кейбір модельдерде бар шығын функциялары гравитациялық потенциалға ұқсас түрдегі: барлық жұп объектілердегі ядро ​​функцияларының қосындысы, мұндағы ядро ​​функциясы параметрлер кеңістігіндегі объектілер арасындағы қашықтыққа тәуелді.[42] Осы формаға сәйкес келетін мысалдарға мыналар жатады жақын көршілер жылы жан-жақты оқыту, ядро тығыздығын бағалау, және ядро машиналары. Азайту үшін балама оңтайландыру O(n2) уақыттың күрделілігі O(n) сияқты әзірленді қос ағаш гравитациялық қолданыстағы алгоритмдер n- адамның проблемасы.

Сондай-ақ қараңыз

Ескертулер

  1. ^ Лейманис пен Минорский: Біздің қызығушылығымыз Лейманиске қатысты, ол алдымен кейбір тарихты талқылайды n- адам мәселесі, әсіресе Ковалевская ханымның 1868–1888 жылдардағы жиырма жылдық кешенді-өзгермелі тәсілі, сәтсіздік; 1 бөлім: «Қатты денелердің динамикасы және сыртқы математикалық баллистика» (1 тарау, «Қатты дененің қозғалмайтын нүкте туралы қозғалысы (Эйлер және Пуассон теңдеулері)»; 2 тарау, «Математикалық сыртқы баллистика»), жақсы ізашары дейін n-адам проблемасы; 2-бөлім: «Аспан механикасы» (1-тарау, «Үш денелі есепті бірыңғайлау (шектеулі үш денелік есеп)»; 2-тарау, «Үш денелік есепте ұстау»; 3-тарау, «Жалпыланған n-адам мәселесі »).
  2. ^ Хегги мен Хутқа сілтемелер келтірілген сілтемелерді қараңыз.
  3. ^ Квази-тұрақты жүктемелер деп лездік бұрыштық жылдамдықтар мен үдеулер, сондай-ақ трансляциялық үдеулер (9 айнымалы) тудыратын лездік инерциялық жүктемелерді айтады. Біреуі суретке түскендей, ол сонымен қатар қозғалыстың лездік жағдайы мен қасиеттерін жазды. Керісінше, а тұрақты мемлекет шарт жүйенің уақытқа өзгермейтіндігін білдіреді; әйтпесе, бірінші туындылар мен барлық жоғары туындылар нөлге тең.
  4. ^ Р.М.Розенберг « n- дененің проблемасы да осыған ұқсас (сілтемелерді қараңыз): «Бөлшектердің ақырлы саны жүйесіндегі әрбір бөлшек басқа бөлшектерден Ньютондық гравитациялық тартылысқа ұшырайды және басқа күштерге әсер етпейді. Егер жүйенің бастапқы күйі берілген болса, бөлшектер қалай қозғалады? « Розенберг басқалар сияқты күштерді анықтау керек екенін түсіне алмады бірінші қозғалыс анықталмас бұрын.
  5. ^ Бірінші интеграл бойынша жалпы, классикалық шешім мүмкін емес екені белгілі. Еркіндік үшін нақты теориялық шешім n арқылы жуықтауға болады Тейлор сериясы, бірақ іс жүзінде мұндай ан шексіз серия қысқартылуы керек, ең жақсы жағдайда тек шамамен шешім береді; және қазір ескірген тәсіл. Сонымен қатар, n- біреудің мәселесін шешу арқылы шешуге болады сандық интеграция, бірақ бұлар да шамамен шешімдер; және тағы да ескірген. Sverre J. Aarseth кітабын қараңыз Гравитациялық n- Дене модельдеуі Әдебиеттер тізімінде көрсетілген.
  6. ^ Кларк, Дэвид Х .; Кларк, Стивен П.Х. (2001). Стивен Грей мен Джон Фламстидтің басылған ғылыми жаңалықтары, Ньютонның озбырлығы. W. H. Freeman and Co.. Тарихи оқиғаларды танымал ету және сол тараптар арасындағы қақтығыстар, бірақ ең бастысы олардың нәтижелері туралы.
  7. ^ Қараңыз Брюстер, Дэвид (1905). "Discovery of gravitation, A.D. 1666". In Johnson, Rossiter (ed.). The Great Events by Famous Historians. XII. The National Alumni. pp. 51–65.
  8. ^ Rudolf Kurth has an extensive discussion in his book (see References) on planetary perturbations. An aside: these mathematically undefined planetary perturbations (wobbles) still exist undefined even today and planetary orbits have to be constantly updated, usually yearly. See Astronomical Ephemeris and the American Ephemeris and Nautical Almanac, prepared jointly by the Nautical Almanac Offices of the United Kingdom and the United States of America.
  9. ^ Қараңыз Principia, Book Three, System of the World, "General Scholium", page 372, last paragraph. Newton was well aware that his mathematical model did not reflect physical reality. This edition referenced is from the Батыс әлемінің ұлы кітаптары, Volume 34, which was translated by Andrew Motte and revised by Флориан Кажори.[толық дәйексөз қажет ] This same paragraph is on page 1160 in Стивен Хокинс, Алыптардың иығында, 2002 edition;[толық дәйексөз қажет ] is a copy from Daniel Adee's 1848 addition. Cohen also has translated new editions: Introduction to Newton's Principia, 1970; және Isaac Newton's Principia, with Variant Readings, 1972. Cajori also wrote History of Science, which is online.[толық дәйексөз қажет ]
  10. ^ а б Қараңыз. I. Bernard Cohen's Ғылыми американдық мақала.
  11. ^ For details of the serious error in Poincare's first submission see the article by Diacu.
  12. ^ Meyer 2009, pp. 27–28
  13. ^ Meyer 2009, p. 28
  14. ^ Meyer 2009, pp. 28–29
  15. ^ а б в Chenciner 2007
  16. ^ Meyer 2009, p. 34
  17. ^ "AST1100 Lecture Notes: 5 The virial theorem" (PDF). Осло университеті. Алынған 25 наурыз 2014.
  18. ^ а б в г. e f ж сағ Trenti 2008
  19. ^ See Bate, Mueller, and White, Chapter 1: "Two-Body Orbital Mechanics", pp 1–49. These authors were from the Department of Astronautics and Computer Science, United States Air Force Academy. Their textbook is not filled with advanced mathematics.
  20. ^ For the classical approach, if the common масса орталығы (i.e., the barycenter) of the two bodies is considered to be at rest, then each body travels along a conic section ол бар focus at the barycenter of the system. In the case of a hyperbola it has the branch at the side of that focus. The two conics will be in the same plane. The type of conic (шеңбер, ellipse, parabola немесе гипербола ) is determined by finding the sum of the combined kinetic energy of two bodies and the потенциалды энергия when the bodies are far apart. (This potential energy is always a negative value; energy of rotation of the bodies about their axes is not counted here)
    • If the sum of the energies is negative, then they both trace out ellipses.
    • If the sum of both energies is zero, then they both trace out parabolas. As the distance between the bodies tends to infinity, their relative speed tends to zero.
    • If the sum of both energies is positive, then they both trace out hyperbolas. As the distance between the bodies tends to infinity, their relative speed tends to some positive number.
  21. ^ For this approach see Lindsay's Physical Mechanics, Chapter 3: "Curvilinear Motion in a Plane", and specifically paragraphs 3–9, "Planetary Motion"; 83-96 бет. Lindsay presentation goes a long way in explaining these latter comments for the fixed two-body problem; i.e., when the Sun is assumed fixed.
  22. ^ Note: The fact a parabolic orbit has zero energy arises from the assumption the gravitational potential energy goes to zero as the bodies get infinitely far apart. One could assign кез келген value to the potential energy in the state of infinite separation. That state is assumed to have zero potential energy by convention.
  23. ^ Science Program'sThe Nature of the Universe states Clarence Cleminshaw (1902–1985) served as assistant director of Griffith Observatory from 1938–1958 and as director from 1958–1969. Some publications by Cleminshaw:
  24. ^ Brush, Stephen G., ed. (1983). Maxwell on Saturn's Rings. MIT түймесін басыңыз.
  25. ^ See Leimanis and Minorsky's historical comments.
  26. ^ See Moulton's Restricted Three-body Problem for its analytical and graphical solution.
  27. ^ See Meirovitch's book: Chapters 11: "Problems in Celestial Mechanics"; 12; "Problem in Spacecraft Dynamics"; and Appendix A: "Dyadics".
  28. ^ Huang, Su-Shu. "Very Restricted Four-Body Problem". NASA TND-501.
  29. ^ Negri, Rodolfo B.; Prado, Antonio F. B. A. (2020). "Generalizing the Bicircular Restricted Four-Body Problem". Journal of Guidance, Control, and Dynamics. 43 (6): 1173–1179. Бибкод:2020JGCD...43.1173N. дои:10.2514/1.G004848.
  30. ^ а б в Chierchia 2010
  31. ^ Féjoz 2004
  32. ^ See Chierchia 2010 for animations illustrating homographic motions.
  33. ^ Celletti 2008
  34. ^ Qiu-Dong, Wang (1990-03-01). "The global solution of the N-body problem". Аспан механикасы және динамикалық астрономия. 50 (1): 73–88. Бибкод:1990CeMDA..50...73W. дои:10.1007/BF00048987. ISSN  0923-2958. S2CID  118132097.
  35. ^ Xia, Zhihong (May 1992). "The Existence of Noncollision Singularities in Newtonian Systems". Энн. Математика. Екінші серия. 135 (3): 411–468. дои:10.2307/2946572. JSTOR  2946572.
  36. ^ Gerver, Joseph L. (2003). "Noncollision Singularities: Do Four Bodies Suffice?". Exp. Математика. 12 (2): 187–198. дои:10.1080/10586458.2003.10504491. S2CID  23816314.
  37. ^ Saari, Donald G. (1977). "A global existence theorem for the four-body problem of Newtonian mechanics". J. дифференциалдық теңдеулер. 26 (1): 80–111. Бибкод:1977JDE....26...80S. дои:10.1016/0022-0396(77)90100-0.
  38. ^ Alligood 1996
  39. ^ Blanchet 2001
  40. ^ Krumscheid 2010
  41. ^ Board 1999
  42. ^ Ram 2010

Әдебиеттер тізімі

Әрі қарай оқу

  • Battin, Richard H. (1987). An Introduction to The Mathematics and Methods of Astrodynamics. AIAA. Employs energy methods rather than a Newtonian approach.
  • Boccaletti, D.; Pucacco, G. (1998). Theory of Orbits. Шпрингер-Верлаг.
  • Brouwer, Dirk; Clemence, Gerald M. (1961). Methods of Celestial Mechanics. Академиялық баспасөз.
  • Crandall, Richard E. (1996). "Chapter 5: "Nonlinear & Complex Systems"; paragraph 5.1: "n-body problems & chaos"". Topics in Advanced Scientific Computation. Шпрингер-Верлаг. pp. 215–221.
  • Crandall, Richard E. (1996). "Chapter 2: "Exploratory Computation"; Project 2.4.1: "Classical Physics"". Projects in Scientific Computation. Computers in Physics. 8 (corrected 3rd ed.). Шпрингер-Верлаг. 93-97 бет. Бибкод:1994ComPh...8..531C. дои:10.1063/1.4823331.
  • Eisele, John A.; Mason, Robert M. (1970). "Applied Matrix and Tensor Analysis". Бүгінгі физика. 25 (12): 55. Бибкод:1972PhT....25l..55E. дои:10.1063/1.3071146.
  • Gelman, Harry (1968). "The second orthogonality conditions in the theory of proper and improper rotations: Derivation of the conditions and of their main consequences". J. Res. NBS 72B (Math. Sci.). 1968 (3).
    Gelman, Harry (1968). "The intrinsic vector". J. Res. NBS 72B (Math. Sci.). 1968 (3).
    Gelman, Harry (1969). "The Conjugacy Theorem". J. Res. NBS 72B (Math. Sci.). 1969 (2).
    Gelman, Harry (October 1971). "A Note on the time dependence of the effective axis and angle of a rotation". J. Res. NBS 72B (Math. Sci.). 1971 (3–4).
  • Hagihara, Y. (1970). Аспан механикасы. I, II pt 1, II pt 2. MIT Press.
  • Korenev, G. V. (1967). The Mechanics of Guided Bodies. CRC Press.
  • Meriam, J. L. (1978). Инженерлік механика. 1–2. Джон Вили және ұлдары.
  • Мюррей, Карл Д .; Dermott, Stanley F. (2000). Solar System Dynamics. Кембридж университетінің баспасы.
  • Quadling, Henley (June 1994). Гравитациялық n-Body Simulation: 16 bit DOS version. nbody*.zip is available at https://web.archive.org/web/19990221123102/http://ftp.cica.indiana.edu/: see external links.
  • Saari, D. (1990). "A visit to the Newtonian n-body problem via Elementary Complex Variables". Американдық математикалық айлық. 89 (2): 105–119. дои:10.2307/2323910. JSTOR  2323910.
  • Saari, D. G.; Hulkower, N. D. (1981). "On the Manifolds of Total Collapse Orbits and of Completely Parabolic Orbits for the n-Body Problem". Дифференциалдық теңдеулер журналы. 41 (1): 27–43. Бибкод:1981JDE....41...27S. дои:10.1016/0022-0396(81)90051-6.
  • Szebehely, Victor (1967). Theory of Orbits. Академиялық баспасөз.

Сыртқы сілтемелер