1. 引言
最近,Messan和Kopp等人为了研究元生态系统中两个生态系统之间的双向资源交换的动态产出,在 [1] 中建立了如下生态模型:
,
其中,
、
是在时间t进行资源交换的两个相邻生态系统的产出,
是生态系统中生物量的内在增长率,
是在没有资源交换的情况下生态系统i的承载能力;
表示从贡献者生态系统转移到接收系统i的资源数量;
表示生态系统层面上供体生态系统i的资源枯竭率。 [1] 指出上述系统当
时为一致持久的。
事实上,动力系统不仅仅依赖与现在和过去的状态,还与时滞的衍生物有关 [2] [3] [4] [5]。正如Kuang在 [6] 中所指出的,任何没有时滞的物种动态模型在最好情况下也只能是近似值。时滞模型在物理学 [7]、神经网络 [8] [9]、种群动力学等领域有着重要的应用,更多关于时滞的重要性的详细论述可以参见Kuang [6] 和Gopalsamy [10] 的经典书籍。是以在本文建立了以下带有时滞的模型:
是定义在R上的非负连续有界函数。我们得到了该系统一致持久的充分条件。
在现实生活中,因为环境的变化具有周期性,是以研究周期系统及其周期解的存在性是非常重要的。近年来,研究周期解的存在性已经有了非常多的研究结果。受上述的启发,在本文我们将主要研究以下集合生态系统:
(1)
其中
是定义在R上的非负连续有界的
周期函数。据我们所知,系统(1)周期解的存在性未有相应成果,本文将致力于解决这一问题。
2. 正周期解的存在性
引理1 (连续理论 [11] [12] ) 假设X和Z是两个Banach空间,映射
是一个指标为0的Fredholm算子,映射
在
上L-紧的。
是X的一个有界开子集,另外,假设下列所有条件满足:
1)
,
2)
,对
,
3)
,
那么方程
在
上至少存在一个解。
定理1 假设
是定义在R上的非负连续有界的
周期函数,
则系统(1)至少有一个
正周期解。其中
证明:考虑到(1)的现实生物意义,在此本文仅聚焦于该系统正周期解的存在性。因此,令
方程组(1)变为:
(2)
其中所有函数定义同(1)。显然若(2)有一个周期解
,那么
是(1)的一个
周期解。因此,我们只需证明定理1的条件能保证系统(2)有一个
周期解即可。令
,定义
则X按照上述范数构成Banach空间。令
,定义
,则
分别定义P、Q算子如下形式:
从而L是指标为0的Fredholm算子。令
:
为有界开集,则
从而
连续,且
有界。
L的广义逆
:
从而
,其中
从而
及
为相对紧,从而N在
上为L-紧。
设
,
,满足
,则
(3)
从0到
对(3)积分得:
(4)
由(3)及(4)知:
(5)
同理可得
(6)
由(4)知:
(7)
记
,
。若
,
,由(7)推出矛盾,从而存在
,使
。故由(5),
,有
类似可证
,
由(4)知
。从而存在
使
由(6)知,
,有
记
,与上面类似可证
,有
令
,
,则J为X的有界开子集,由J的取法知,
,有
令
,
。
,
,
。由同伦不变性知
从而
满足引理的所有条件。故存在
,使
。即(2)存在
周期解
,从而(1)存在正
周期解
。定理得证。
3. 应用
下面将举一个例子来支持前面所得出的结果。
例3.1 对于以下系统
(8)
至少有一个
周期解。其中
证明:由(8)可得:
由定理1,方程(8)至少有一个
周期解。