1.简介
登革热、疟疾、寨卡病毒、黄热病、西尼罗河热等蚊媒疾病严重威胁着热带和亚热带地区人民的健康。最近,全球气温上升和无节制的城市化大大扩大了此类疾病的威胁范围[1,2,三]. 预防和控制这些蚊媒疾病的最直接方法是控制媒介蚊子。无菌昆虫技术(SIT)和不兼容昆虫技术(IIT)是两种很有前途的环保灭蚊方法[4,5,6,7,8,9]包括饲养大量不育或沃尔巴奇亚-受感染的蚊子(以下称为无菌蚊子)在实验室或工厂中,然后释放到野外对野生蚊子进行消毒,从而可以逐步控制蚊子密度。 数学建模在控制和预防蚊媒疾病方面发挥了重要作用。一是研究沃尔巴奇亚蚊虫种群传播动力学研究沃尔巴奇亚蚊子种群[10,11,12,13,14,15,16,17,18,19]另一个是研究野生蚊子和无菌蚊子的相互作用动力学,旨在将野生蚊子消灭或控制在蚊媒疾病暴发风险以下。大多数早期的交互动力学研究主要集中在模型上,其中无菌蚊子的数量被假定为满足独立动力学方程的独立变量,例如,见[20,21,22,23,24]最近的调查提出了一种动机-注意模型的想法,将不育蚊子的数量视为一个控制函数,而不是一个独立变量,因为不育蚊子的基本和唯一作用是与野生蚊子交配以诱导野生雌性不育,例如,见[25,26,27,28,29,30,31,32,33,34,35,36,37,38]. 在[21],李制定了以下模型探讨野生蚊虫与无菌蚊虫之间的相互作用动力学。在这个模型中,是当时野生和无菌蚊子的数量t吨分别为,一是每只野生蚊子每单位时间产生的后代总数,是与野生蚊子交配的比例,表示野生蚊子的承载能力描述了依赖密度的生存概率,是野生和无菌蚊子的密度无关死亡率系数,以及是无菌蚊子释放的速率。在三种不同的释放策略下:恒定释放(),比例释放()、和部分释放()得到了正平衡点存在和稳定的相应条件。 请注意,释放不育雄性蚊子是为了给野生蚊子消毒,还有两个事实:蚊子的寿命很短,而释放不育蚊子的性寿命远短于它们的寿命[39,40],似乎有理由忽视那些释放出来的无菌蚊子在性活跃和充满活力时的死亡。此外,当时被释放到野外的无菌蚊子数量t吨提前知道[9]. 因此,通过考虑数字当时释放的无菌蚊子数量t吨作为一个任意给定的非负连续函数,作者在[28]在中省略了第二个等式(1),并通过以下模型研究了野生蚊子的全球动态 这种处理大大简化了模型,使分析在数学上更容易处理。
在设计无菌蚊子的释放策略时,有三个重要参数:c(c),每个批次中的发布编号;T型,两个相邻释放之间的等待时间;不育蚊子的性寿命。从关系的角度来看T型和,有三种情况:和.英寸[38],我们研究了第一种情况,并拆分了方程(2)转化为以下两个子方程和哪里我们定义了第一个发布量阈值 假设,我们进一步获得了第二个释放量阈值和等待时间阈值如下 我们研究了方程式(三)和(4)探讨释放无菌蚊虫干扰下野生蚊虫的动态行为。 然而,饲养无菌蚊子需要巨大的经济投入,并使野生蚊子的密度低于给定值,这比消灭它们更现实。考虑到这些事实,在本文中,我们主要讨论模型的动力学(三)和(4)在发布策略下该公司致力于减少野生蚊子的数量,成本低于[38]. 论文的其余部分结构如下。在第2节,我们介绍了一些准备工作,其中主要包括引入Poincaré映射来确定模型的周期解数(三)和(4),以及一些对证明主要结果至关重要的引理。我们在以下方面给出了主要结果第3节和第4节.英寸第5节,我们提供了两个数值例子来验证我们的引理和定理。最后,对当前和未来的工作进行了一些讨论第6节. 2.准备工作
在这一节中,我们给出了一些引理,它们为我们主要结果的证明提供了一个跳板。
引理 1 ([38]).假设和那么,以下结论是正确的。 如果和然后,原点,表示为,全局渐近稳定;
如果或和然后,模型(三)和(4)具有唯一的T周期解,该解全局渐近稳定; 如果.然后,局部渐近稳定当且仅当.
接下来我们给出模型解的定义(三)和(4)。A函数据说是模型的解决方案(三)和(4),如果它同时满足这两个条件(三)和(4)。让是的左极限具有,并定义然后,是定义在上的连续且分段可微的函数.表示的解决方案(三)和(4)具有初始值通过.然后,是一个T型-模型的周期解(三)和(4)前提是。为了方便起见,我们设置贯穿本文始终。显然,两者都是和是中的连续可微函数. 如中所示[33],我们定义了以下两个序列和通过 以下引理建立了符号之间的关系和,在判断T型-模型的周期解(三)和(4). 引理 2 (引理2.1英寸[38]).对于任何给定的初始值u,以下结论成立。 序列和当且仅当.
,当且仅当因此,是模型的T周期解(三)和(4). 序列和当且仅当.
类似于中的引理2.9[30],我们给出了以下充要条件渐近稳定。该证明也与[30]我们在这里省略了它。 柠檬 三。 原产地是渐近稳定的当且仅当存在这样的话 引理2告诉我们在确定T型-模型的周期解(三)和(4)。为了得到这个符号,我们首先求解方程(三)的获取的表达式,并求解方程(4)的得到以下关系和然后,我们取上述两个表达式两边的导数,得到和。我们首先考虑方程式(4)因为它独立于c(c). 什么时候?,方程式(4)是哪里。提供进一步的计算 正在集成(7)来自到T型,我们获得也就是说,哪里. 什么时候?,我们解方程(三)获取的表达式由于解决方案可能取决于c(c)和,我们考虑以下三种可能的情况。 案例(1):在这种情况下,我们可以重写方程式(三)在表单中或者,同等地, 作为,我们知道有两个真正的根: 正在集成(11)从0到以及事实我们获得案例(2): 在这种情况下,.设置然后,方程式(三)是 然后我们转变(14)至通过从0到积分得出,案例(3): 。在这种情况下,我们从英寸[38]哪里 由于上述准备,我们现在给出以下引理,这表明模型(三)和(4)没有T型-周期解,当. 引理 4 假设.然后,.
证明。 由于解对初始数据的持续依赖性严格来说u个,相对于t吨对于什么时候。然后,存在一个唯一的这样的话、和什么时候,这意味着因此,解决方案正在严格减少什么时候,如所示图1A.因此,当,我们有,这表明这个引理在这种情况下成立。什么时候?,我们有因此,在这种情况下,引理也成立。这就完成了证明。□ 下面的引理告诉我们模型(三)和(4)没有T型-周期解,当具有. 引理 5 假设.那么,我们有对于.
证明。 如果,我们有,它来自(6)和(13)那个,这证明了本例中的引理。 如果,我们有,根据(12), 然后,、和(17)成为,这表明。通过对两边求导(18),我们获得 因此,我们获得此外,从事实来看(参见图1B) ,我们看到了正在严格增加等等显然,当或,我们也有。证明已完成。□ 什么时候?,以下引理意味着模型(三)和(4)最多有一个T型-周期解。 引理 6 假设.然后,当.
证明。 我们把证据分为两种情况和.定义。对于以下情况自相矛盾地认为至少有两个正实根,表示最大的两个相邻根和,使用。请注意,我们已经有来自引理5。因此,我们必须。请参阅图2用于图示。 为了方便起见,我们具有此后。发件人(12),我们有 计算两边的导数(19),我们获得其中,结合(19),给出 此外,通过对(21),我们到达或者,同等地,它产生了,以及(20), 从两个事实来看和,我们得到其中,连同,给出其中三个系数定义为 定义然后(26)成为.对于和1,我们需要考虑两种情况:(I)(参见中的面板(A)、(B)和(C)图2用于说明)和(II)(参见中的面板(D)图2用于图示)。接下来,我们证明了两种情况(I)和(II)都是不可能的。 对于情况(I),类似于和,我们有此外,我们有以下观察结果:因此,我们得到因此,,这与. 此外,如果情况(II)成立,那么我们得到,或等效地,,这也与(30)。案件的证据已完成。 对于以下情况,使用类似的参数导致(25),我们有剩下的证据与案件相似省略。我们完成了证明。□ 下面的引理告诉我们模型(三)和(4)有一个独特的T型-当. 引理 7 假设.然后,正好有一个正实根.
证明。 我们首先考虑这个案子.从引理4和5,我们得到然后,存在这样的话接下来,我们证明是唯一的正实根对于. 自相矛盾地假设至少有两个正实根,最小值和最大值表示为和分别是。因此(32)意味着 因此,我们得到然而,从,我们知道存在这样的话。我们考虑两种情况:(一)(参见中的面板(A–C图3用于说明)和(II)(请参见图3D)讨论. 对于案例(I),我们有这就产生了哪里定义于(28)。为了完成证明,我们考虑了两个案例和分别进行。既然我们已经知道了和是二次多项式,第一种情况不成立。现在,我们集中讨论后者。存在两个子案例,即(a); 和(b). 根据情况中使用的类似论点,我们可以证明子情况(a)不成立。对于子情形(b),我们首先使用摄动方法讨论.
为此,让足够小,以便正好有三个正实根,表示为,令人满意和请参见图4B用于图示。 替换到(24),我们有其产量,通过(33),具有定义如下:因此,我们有,事实上. 设置然后,我们有,从(34),这与之相矛盾和是一个二次多项式。这证明了是不可能的。 此外,如果,然后,因此然而,我们发现这引发了矛盾,因为和和是一个二次多项式。因此,子案例也是不可能的,因此情况(I)是不可能的。 对于案例(II),我们得到这将导致,与,因此情况(II)也是不可能的,这表明当. 对于本案通过使用与案件证明中的论据类似的论据,我们可以证明这个引理在这种情况下也成立。证明就这样完成了。□
3.最多两个周期解
在本节中,我们给出了主要定理,其证明涉及引理1–7,并在发布策略下处理了三种不同的情况.
定理 1 假设然后,模型(三)和(4)最多允许两个T周期解。 证明。 我们将证据分为以下三种情况:对于情况(i),引理4-7告诉我们模型(三)和(4)没有T型-周期解,当,正好一个T型-周期解,当,最多一个T型-周期解,当; 这些事实表明,模型(三)和(4)最多有两个T型-这种情况下的周期解。 对于情况(ii),从引理1(2),我们知道模型(三)和(4)有一个独特的T型-当因此,我们只需要考虑. 自相矛盾地假设模型(三)和(4)至少有三个T型-周期解。让和分别是初始值最小和最大的两个周期解。从引理4,我们得到从引理1(3)我们知道是局部渐近稳定的,它给出如果模型(三)和(4)正好有三个T型-周期解,我们表示第三个T型-周期解.对于和1,如所示图5,我们需要考虑两种可能的情况:和. 在这里,我们只考虑,作为案例分析类似,已省略。存在这样的话和.让那么,我们有由(35), (16)成为通过对两边求导,替换(36)和(37)到(38),我们获得两边取导数(8),我们得到替换(8)和(39)到(40),我们到达那么,我们有和 定义哪里然后(41)和(42)暗示请注意和是一个二次多项式,并且,违反了(43)。在这种情况下,证明已经完成。 对于情况(iii),引理1(1)和引理1(三)和(4)最多有一个T型-周期解。我们完成了证明。□ 4.唯一精确的两个周期解
引理4-7意味着模型(三)和(4)至少有一个,最多两个T型-周期解,当在本节中,我们给出了模型的相应充要条件(三)和(4)承认一个独特的或正好两个T型-周期性解决方案表明,只有当野生蚊子的初始种群规模小于给定值时,才能将其消灭。 定理 2 假设那么,以下两个结论成立。
模型(三)和(4)具有唯一全局渐近稳定的T周期解,当且仅当不稳定; 模型(三)和(4)正好有两个T周期解当且仅当是局部渐近稳定的。对于两个T周期解,初值较大的解是渐近稳定的,而另一个解是不稳定的。
证明。 引理7告诉我们模型(三)和(4)有一个独特的T型-周期解,当。表示唯一T型-周期解.那么,我们有(1)假设全局渐近稳定。然后,很明显,不稳定。此外,假设不稳定。然后,存在这样的话为所有人保留通过引理6和(44),这个,连同(44),我们得到的全局渐近稳定性的证明类似于中的定理3.4[38]省略。 (2)从引理4-7,我们发现“模型(三)和(4)正好有两个T型-周期解“等价于”正好有一个正实根”. 我们首先展示是渐近稳定的,前提是正好有一个正实根.让表示这个根。发件人(44),我们到达 矛盾地假设(46)不是真的。请注意没有积极的真正根源,然后为所有人保留。这个,连同(45)和,表示.如果然后我们从(24),这就产生了哪里定义于(27)。发件人(29),我们有,这表明为所有人保留,这与和因此(46)在以下情况下是正确的. 如果,然后我们从中获得(31),这就产生了哪里 让.然后,通过简单计算,我们得出这将导致为所有人。这与和因此(46)在这种情况下也是如此。从引理3我们知道是渐近稳定的。 接下来,我们证明正好有一个正实根前提是是渐近稳定的。从引理3中,我们看到存在这样的话为所有人保留、和(或什么时候)来自引理5。因此,有这样的话此外,根据引理6,我们发现除此之外没有额外的正实根对于因此,是另一个T型-模型的周期解(三)和(4)。到目前为止,我们已经证明了模型(三)和(4)正好有两个T型-周期解,即。,和剩下的证明是以及事实上,从上述分析来看,我们已经 由于不稳定可以从(47)直接来说,我们只需要证明是渐近稳定的。对于和,我们证明前提是存在这样的话。对于,我们有 为了方便起见,我们设置.选择然后,我们需要证明这一点(48)在以下情况下保持.自相矛盾地假设(48)不是真的,那么就存在这样的话 在不失一般性的情况下,我们假设。那么,必须存在一些非负整数这样的话,,或.如果,然后我们得到这表明作为.从引理2,我们得到,这与(47). 根据第一个案例中显示的相同原因,我们发现也是不可能的。
最后,我们假设一方面,如果,那么我们有,因为,以及(10),这是不可能的,因为严格来说另一方面,如果,来自和(6),我们得到或者,同等地,这也是不可能的,因为相对于因此(50)持有,以及是稳定的。 最后,我们证明(49)是真的。它源自(47)那个对于.根据引理2,我们知道这个序列正在严格减少。然后,,这意味着(49)为true,如果。对于以下情况,该证明类似于省略。这就完成了证明。□ 以下定理提供了一个充分条件,确保模型(三)和(4)正好可以容纳两个T型-周期解。 定理 三。 假设和然后,模型(三)和(4)正好可以接受两个T周期解。此外,较大的是渐近稳定的,较小的是不稳定的,原点也是渐近稳定的。 证明。 从定理2中,我们只需要证明原点是渐近稳定的。什么时候?,我们有和,这两个事实,结合(8), (12)和(15),显示和因此,我们得到它与引理3一起产生了原点是渐近稳定的。我们完成了证明。□ 5.数值模拟
在本节中,我们给出了一些数值模拟来支持我们的引理和定理。
例子 1 让然后,和。我们选择,其中。然后我们描述对抗中的u图6通过随机选择8000个点作为模型的初始值(三)和(4),然后解决(三)和(4)得到在面板(A)中,我们让.然后,正好有两个正根和,其值约等于和分别是。与此同时,我们看到了等待、和等待,验证了引理4、5和7。在面板(B)中,我们让然后,我们观察到正好有一个正根在这种情况下,该图也与引理4、5和7一致。将面板(A)和(B)放在一起,我们发现引理6和定理2-3也得到了证实。我们在这里提到的是几乎与的相同图6和被省略。 最后,从不同的角度,我们给出了以下数值例子来验证定理3。
例子 2 让参数在中指定(51).然后,和。如果我们选择和或,则满足定理3中的条件,因此模型(三)和(4)正好可以接受两个T周期解。此外,起源和较大的T周期解都是渐近稳定的,而另一个T周期解是不稳定的,如所示图7. 6.结论
吸血雌蚊是许多危及生命的蚊媒疾病的罪魁祸首,防治蚊媒疾病最有效的方法是控制媒介蚊子,许多学者一直关注这一项目[13,16,32,41,42,43,44]. 使用杀虫剂可能会迅速减少蚊子种群数量,以减轻疫情,但它也会造成环境污染,并且由于昆虫会产生耐药性,因此只会产生短期影响。SIT和IIT是控制蚊子的有效且环保的方法,它们有两个共同的步骤:(i)在实验室或工厂饲养大量雄性蚊子,(ii)将其释放到野外,对野生蚊子进行消毒,从而抑制野生蚊子种群。考虑到蚊虫饲养和人工释放的成本,释放项目,包括释放量和释放周期,需要仔细分析。 周期性和脉冲性现象在生物种群的人工干预中普遍存在[30,31,33]. 基于SIT或IIT的抑制可以很快将野生蚊子数量减少到较低水平,但很难完全消灭野生蚊子,野生蚊子数量在相对较小的范围内周期性变化[9]. 周期性解决意味着野生蚊子种群是持续存在的,可以在低水平下控制,这可以保证蚊子种群数量低于疫情风险阈值。在本文中,我们假设无菌蚊子在固定的时间点释放具有大小c(c)此外,我们设定性寿命无菌蚊子的数量小于释放期,且释放量不大于,定义于(5)即。,和。我们发现T型-周期解取决于原点的稳定性:如果是不稳定的,那么模型(三)和(4)具有唯一的全局渐近稳定T型-周期解;如果是渐近稳定的,那么模型(三)和(4)正好可以容纳两个T型-周期解,初值较大的解是渐近稳定的,而另一个解是不稳定的。这表明了本文和[38]:当前的工作意味着该模型(三)和(4)至少有一个周期性解决方案,这在生物学上意味着完全抑制取决于释放期和野生蚊子的初始密度。具体来说,只有在释放期较短的情况下才能消灭野生蚊子野生蚊子的初始大小小于给定的阈值。While期间[38]表明可能是全球渐近稳定的,这在生物学上意味着无论野生蚊子的初始密度如何,它们都可以在特定条件下被消灭。然而,本文中的发布策略补充了[38]. 结合本文和[38],我们发现模型(三)和(4)最多有两个T型-周期解,当. 众所周知,蚊子一生中会经历四个不同的阶段(卵、幼虫、蛹和成虫),前三个阶段发生在水中,最后一个阶段出现在空气中。在我们的ODE模型中(三)和(4),我们忽略了发展过程,让表示成虫阶段的蚊子数量。然而,发育滞后可能会影响蚊子种群的动态行为[45]. 因此,考虑滞后因素更为合理和现实[24,31]这将在我们未来的工作中得到体现。