期刊
SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS
卷 16, 期 3, 页码 1618-1649出版社
SIAM PUBLICATIONS
DOI: 10.1137/17M1113254
关键词
stable elliptic periodic orbit; continuation; computer-assisted proof; normal forms; invariant tori; resonances
资金
- Polish National Science Center [2015/19/B/ST1/01454, 2014/14/A/ST1/00453]
- Spanish Research project [MTM2015-64095-P]
- European Social Fund
- Diputacion General de Aragon [E48]
- Austrian Science Fund (FWF) [E48] Funding Source: Austrian Science Fund (FWF)
We present a concurrent algorithm for rigorous validation of the existence of continuous branches of stable elliptic fixed points for area-preserving planar maps. The method utilizes a classical theorem of Siegel and Moser combined with computed-assisted estimation of higher order derivatives of maps, continuation along the parameter range, and concurrent scheduling of tasks. We apply the algorithm to certain exemplary Poincare maps coming from reversible or Hamiltonian systems: the periodically forced pendulum equations, the Michelson system, and the Henon Heiles Hamiltonian. Moreover, our algorithm provides at once a computer-assisted proof of the existence of wide branches of stable elliptic periodic solutions and the existence of invariant tori surrounding them.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据