一类高维生物数学模型小扰动下的Hopf分支

摘要

讨论一类六维生物数学模型，在［１，２］的基础上，进一步考虑生物种群之间的相互作用，引进扰动项，研究了中心流形及Ｈｏｐｆ分支问题．利用计算机代数符号软件计算了中心流形，得到了产生Ｈｏｐｆ分支的判定条件，并给出了数值算例，所用机器证明的思想方法可广泛运用于类似复杂生物数学模型的研究．