耗散 twist 映射中双曲拟周期不变环面的计算机辅助证明
动力系统
2023-05-09 v1 数值分析
数值分析
摘要
本文概述了一种利用基于后验类 KAM 定理的计算机辅助方法来证明双曲拟周期不变环面存在性的途径。我们依照该方法对耗散标准映射进行实现，并给出某些参数选择下不变圆存在的计算机辅助证明。
引用
@article{arxiv.2305.04640,
title = {Computer assisted proofs for hyperbolic quasi-periodic invariant tori in dissipative twist maps},
author = {Victor Linroth},
journal= {arXiv preprint arXiv:2305.04640},
year = {2023}
}
备注
23 pages