Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight
pl
dc.type
JournalArticle
pl
dc.description.physical
1241-1255
pl
dc.abstract.other
We present a general method to produce computer assisted proofs of the
existence of choreographies in the N-body problem. This method allows us to
verify rigorously numerical data from computer simulations. As an example
we use it to prove the existence of nonsymmetric choreographies with six and
seven bodies. The method provides estimates for the initial conditions and
for the monodromy matrix of the choreography. These data are used to show
linear stability of the Eight solution restricted to the plane and zero angular
momentum motions.
pl
dc.description.volume
20
pl
dc.description.number
5
pl
dc.identifier.doi
10.1088/0951-7715/20/5/010
pl
dc.identifier.eissn
1361-6544
pl
dc.title.journal
Nonlinearity
pl
dc.language.container
eng
pl
dc.affiliation
Wydział Matematyki i Informatyki : Instytut Informatyki i Matematyki Komputerowej