Shil'nikov 同宿轨的计算机辅助证明：及其在 Lorenz-84 模型中的应用
动力系统
2016-05-26 v1
摘要
我们提出了一种用于 Shil'nikov 同宿相交的计算机辅助证明方法。该方法基于利用速率条件对不变流形进行几何界定，并通过区间算术积分器传播这些界限。我们的方法确保了同宿现象发生时参数的唯一性。我们将该方法应用于 Lorenz-84 大气环流模型，获得了参数的精确界限，以及稳定/不稳定流形同宿相交发生位置的界限。
引用
@article{arxiv.1605.07799,
title = {Computer assisted proof of Shil'nikov homoclinics: with application to the Lorenz-84 model},
author = {Maciej J. Capinski and Anna Wasieczko-Zajac},
journal= {arXiv preprint arXiv:1605.07799},
year = {2016}
}
备注
22 pages, 6 figures