具有BD 反应项的非均匀恒化器模型平衡解的存在性.docVIP

具有B-D反应项的非均匀恒化器模型平衡解的存在性 冯孝周 马晓丽 张永锋 (西安工业大学 数理系，西安，710032) 摘要：目的: 一类质粒载体的微生物(plasmid-bearing organism)与质粒自由的微生物(plasmid-free organism)之间相互竞争的恒化器模型的平衡解的存在性. 方法: 利用比较原理，局部分歧理论. 结果: 得到了质粒载体的微生物与质粒自由的微生物之间竞争的未搅拌恒化器模型的平衡态解是局部存在的. 结论: 说明该恒化器模型中参数满足一定的条件时，系统中的两种微生物可以产生共存现象. 关键词: B-D反应项; 恒化器模型; 平衡态解; 分歧理论 中图号: O175. 26 文献标识码: A 恒化器模型是微生物学研究中的一个非常重要模型. 事实上,恒化器是一个微生物连续培养的实验装置.最初主要是用于模拟湖泊和海洋中单细胞藻类浮游生物生长的简化了的湖泊模型.后来随着科技与经济的发展,恒化器模型也在微生物工程、食品工程、生态系统开发利用与保护及环境污染的治理等方面也有广泛地应用. 实践证明,恒化器模型具有参数容易被测定, 实验合理和数学结果易被验证等优点.因此, 从上世纪七十年代起,该模型开始被许多生物数学家从实验和理论两方面进行了研究.尤其最近二十多年来,国内外关于恒化器模型研究的论文和专著不断涌现,取得了许多有意义的成果.参见[1-8]. 随着生物工程的发展与应用, 在遗传选择的产品生产中,恒化器模型也有着广泛的应用. 例如,在药品的生产过程中往往是通过在产品细胞上以质体的形式引入一段DNA来实现的这种选择.文献[1]提出了一类质体负载与质体自由的物种相互竞争的均匀搅拌恒化器模型,并得到了模型解的一些局部稳定性. 文献[2]研究了该模型解的长时行为.Hsu等[3]在此模型中引入抑制剂,研究了一类具有外加抑制剂的质体负载与质体自由的物种相互竞争的均匀搅拌的恒化器模型,证明了该模型解的一些渐近稳定性. 预备知识 本文讨论了一类具有Beddington-DeAngelis功能反应函数的非均匀chemostat模型,系统中包含了两个相互竞争的微生物和一个有限增长的营养物,在时刻,点处的浓度分别用表示. 因此模型如下: 其中为Laplace 算子,为空间的具有光滑边界的非空子集; 分别为食饵和捕食者，为沿区域边界外法线方向导数, 为正常数, ,为扩散系数. 为食饵的固有增长率，为食饵的运输能力；为捕食者的死亡率；为食饵提供的给捕食者生长的转化率。 是Beddington-DeAngelis功能反应函数(简记为B-D反应函数）,它类似于Holling II函数, 仅在分母中添加了一项 或者,更加逼真地反映了物种内部的相互干涉与影响.关于B-D反应函数可参见文[4-6]. 参数为正常数. 本文主要考察系统(1)的非负平衡态解, 因此,考虑下面椭圆系统 根据文献[10]类似. 令,则 , 且满足由线性椭圆方程的性质和最大值原理可知,其中的是唯一存在的,且,再由边界条件知,从而 . 故系统(2)变为 其中 因为我们只考虑为非负的情况, 为方便起见, 定义如下反应函数: 那么, ， 我们仍分别用, 来记,.因此系统(3)的解满足 本文首先利用上下解方法与极值原理得到系统(3)的先验估计; 然后利用局部分歧理论得到了系统(3)正解的存在性，并且给出了正解的局部结构。说明该恒化器模型中参数满足一定的条件时，系统中两类微生物可以共同生存。 2. 正解的存在性 在本节中，首先利用上下解方法与极值原理得到(3)的先验估计。 设分别为下面问题的主特征值 是对应的主特征函数且。 考察如下一个单物种平衡态问题 由文献[10]可得到下面结论 引理1. 若, 则0是方程(4)的唯一非负解; 当且仅当, (4)存在唯一正解满足下列性质: (i) ; (ii) 在上关于参数连续可微且关于逐点递增； (iii) 在上一致成立, 在上几乎处处成立; (iv) 设, 并且为(4)在处的线性化算子。 那么在上可微，并且所有特征值都严格小于零。 最后，设分别为下面问题的主特征值 是对应的主特征函数且。 下面我们直接给出先验估计，证明见文献[10]中的注2.2.1. 定理1. 假设是方程(3)的非负解, 且不恒等于0. 则 . 下面，我们应用简单特征值分歧定理，得到本文的主要结论. 定理2. 如果，则为系统的分歧点，且系统在的邻域内存 在正解当且仅当, 其中由给出. 证明. 为了应用分歧理论得到正解，我们把系统变成如