红珊瑚种群动态的计算机辅助研究
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
