论文标题
红色珊瑚种群动态的计算机辅助研究
A Computer-Assisted Study of Red Coral Population Dynamics
论文作者
论文摘要
我们考虑一个13维的年龄结构化离散红色珊瑚种群模型，随着适应性参数的变化。我们的数值结果给出了平衡和稳定轨道不变曲线的分叉图。我们观察到，不仅对于低水平的健身，而且对于高水平的健身，人口非常脆弱，因为他们花了很长时间的时间几乎灭绝。然后，我们使用计算机辅助的证据技术严格验证已在数值上找到的常规和分叉固定点集。
We consider a 13-dimensional age-structured discrete red coral population model varying with respect to a fitness parameter. Our numerical results give a bifurcation diagram of both equilibria and stable invariant curves of orbits. We observe that not only for low levels of fitness, but also for high levels of fitness, populations are extremely vulnerable, in that they spend long time periods near extinction. We then use computer-assisted proofs techniques to rigorously validate the set of regular and bifurcation fixed points that have been found numerically.
