Computer assisted proof of drift orbits along normally hyperbolic manifolds
Computer assisted proof of drift orbits along normally hyperbolic manifolds
复制标题
计算机辅助证明沿正常双曲流形的漂移轨道
DOI：
10.1016/j.cnsns.2021.105970
复制
发表时间：
2022
影响因子：
3.9
通讯作者：
Mireles James, Jason D.
中科院分区：
文献类型：
--
作者：
Capiński, Maciej J.;Gonzalez, Jorge;Marco, Jean-Pierre;Mireles James, Jason D.
正常双曲不变流形理论为证明动力系统中的扩散提供了一个有效的工具。在这篇文章中，我们发展了一种基于这种方法的先验混沌系统扩散的计算机辅助证明方法。我们设计了一种方法，它允许我们在有限数量的步骤中验证所需的条件，这可以由计算机通过严格的区间算术计算来执行。我们将我们的方法应用于广义标准映射，获得了在显式作用范围内的扩散。
Normally hyperbolic invariant manifolds theory provides an efficient tool for proving diffusion in dynamical systems. In this paper we develop a methodology for computer assisted proofs of diffusion in a-priori chaotic systems based on this approach. We devise a method, which allows us to validate the needed conditions in a finite number of steps, which can be performed by a computer by means of rigorous-interval-arithmetic computations. We apply our method to the generalized standard map, obtaining diffusion over an explicit range of actions.
登录
查看更多内容
影响因子：
2.4
作者：
V. Gelfreich;D. Turaev
通讯作者：
V. Gelfreich;D. Turaev
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
J. Marco
通讯作者：
J. Marco
通过参数化方法计算最大局部（不稳定）流形补丁
DOI：
10.1016/j.indag.2015.11.001
发表时间：
2015
期刊：
arXiv: Dynamical Systems
影响因子：
--
作者：
M. Breden;J. Lessard;J. D. M. James
通讯作者：
J. D. M. James
天体力学中的拉格朗日配置
DOI：
--
发表时间：
1959
期刊：
影响因子：
--
作者：
J. Littlewood
通讯作者：
J. Littlewood
DOI：
10.1007/978-94-009-3807-6
发表时间：
1987
期刊：
--
影响因子：
--
作者：
P. Libermann;C. Marle
通讯作者：
P. Libermann;C. Marle