Next Article in Journal
A Multi-Period Optimization Framework for Portfolio Selection Using Interval Analysis
Previous Article in Journal
Hybrid LSTM–Transformer Architecture with Multi-Scale Feature Fusion for High-Accuracy Gold Futures Price Forecasting
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Dynamics of an Impulsive Predator–Prey Model with a Seasonally Mass Migrating Prey Population

1
School of Mathematics Science, Guizhou Normal University, Guiyang 550025, China
2
School of Mathematics and Statistics, Guizhou University of Finance and Economics, Guiyang 550025, China
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(10), 1550; https://doi.org/10.3390/math13101550
Submission received: 24 February 2025 / Revised: 28 April 2025 / Accepted: 6 May 2025 / Published: 8 May 2025
(This article belongs to the Section E3: Mathematical Biology)

Abstract

:
Seasonality is a complex force in nature that affects multiple processes in wild animal populations. Animal mass migration refers to the migration of a large number of animals from a certain distance due to breeding, foraging, climate change or other reasons. In this work, an impulsive predator–prey model with a seasonally mass migrating prey population is constructed. The predator–extinction boundary periodic solution of system (3) is proved to be globally asymptotically stable. System (3) is also proved to be permanent. Our results provide a theoretical reference for biodiversity protection management.

1. Introduction

With the rapid loss of global biodiversity, the relationship between biodiversity and ecosystem stability has become an important scientific problem facing human beings [1]. Seasonality is a complex force in nature that affects multiple processes in wild animal populations. Animal mass migration refers to the migration of a large number of animals from a certain distance due to breeding, foraging, climate change or other reasons [2]. The migration of species is a common biological phenomenon which plays a major role in the stability of ecosystems. The effects of species migration between patches have received considerable attention in ecology. Migration has been described and studied in a variety of taxa from insects to higher vertebrates [3,4,5].
Mathematical ecology has its roots in population ecology, which examines the increase in and fluctuation of population [6]. Natural populations often exhibit some degree of spatial structure; that is, individuals interact more frequently with nearby than with distant organisms [7]. In most population models, diffusion between patches is assumed to be continuous or discrete [8,9]. The seasonal changes every year encourage the phenomenon of animal migration, which is often a seasonal and cyclical activity by which animals adapt to climate and food changes, or ensure successful reproduction. Animals migrate from their habitat to another area and return after a certain length of time [10]. The distribution of a species over its range of habitats is a fundamental and inseparable aspect of its interaction with its environment [11]. The effect of dispersal on population size and stability has been explored for a population that disperses passively between two discrete habitat patches. Robert [12] considered the following general model of density-dependent growth in two patches of equal size, linked symmetrically by passive dispersal:
d N 1 d t = N 1 ϕ 1 ( N 1 ) ϵ N 1 + ϵ N 2 , d N 2 d t = N 2 ϕ 2 ( N 2 ) + ϵ N 1 ϵ N 2 ,
where N i ( i = 1 , 2 ) is the number of individuals in patch i, and the functions ϕ i encapsulate within-patch density-dependent processes influencing population growth. ϵ > 0 is the dispersal rate. Recently, theories of impulsive differential equations have been introduced into population dynamics [13,14,15,16,17,18]. Especially, Wang et al. [19] investigated impulsive diffusion in a single-species model:
d N 1 d t = r 1 N 1 ln k 1 N 1 , d N 2 d t = r 2 N 2 ln k 2 N 2 , t n τ , N 1 = d ( N 2 N 1 ) , N 2 = d ( N 1 N 2 ) , t = n τ ,
where model (3) is constructed with two patches connected by diffusion, and N i is the density of species in the i-th patch. The intrinsic increasing rate of population in the i-th habitat is denoted by r i > 0 ( i = 1 , 2 ) . k i > 0 ( i = 1 , 2 ) denotes the carrying capacity in the i-th patch, and d i > 0 ( i = 1 , 2 ) ) is dispersal rate in the i-th patch.

2. The Model

Motivated by the above discussion, we consider an impulsive predator–prey model with a seasonally mass migrating prey population
d x 1 ( t ) d t = x 1 ( t ) ( a 11 b 11 x 1 ( t ) ) , d x 2 ( t ) d t = x 2 ( t ) ( a 12 b 12 x 2 ( t ) ) , d x 3 ( t ) d t = x 3 ( t ) ( a 13 b 13 x 3 ( t ) ) , t ( n τ , ( n + l ) τ ] , x 1 ( t ) = ε 1 x 1 ( t ) , x 2 ( t ) = 0 , x 3 ( t ) = 0 , t = ( n + l ) τ , d x 1 ( t ) d t = x 1 ( t ) ( a 21 b 21 x 1 ( t ) ) β 2 x 1 ( t ) x 2 ( t ) , d x 2 ( t ) d t = x 2 ( t ) ( a 22 b 22 x 2 ( t ) ) + k 2 β 2 x 1 ( t ) x 2 ( t ) , d x 3 ( t ) d t = x 3 ( t ) ( a 23 b 23 x 3 ( t ) ) , t ( ( n + l ) τ , ( n + l + η ) τ ] , x 1 ( t ) = ε 2 x 1 ( t ) , x 2 ( t ) = h 2 x 2 ( t ) , x 3 ( t ) = 0 , t = ( n + l + η ) τ , d x 1 ( t ) d t = x 1 ( t ) ( a 31 b 31 x 1 ( t ) ) β 3 x 1 ( t ) x 3 ( t ) , d x 2 ( t ) d t = x 2 ( t ) ( a 32 b 32 x 2 ( t ) ) , d x 3 ( t ) d t = x 3 ( t ) ( a 33 b 33 x 3 ( t ) ) + k 3 β 3 x 1 ( t ) x 3 ( t ) , t ( ( n + l + η ) τ , ( n + 1 ) τ ] , x 1 ( t ) = ε 3 x 1 ( t ) , x 2 ( t ) = 0 , x 3 ( t ) = h 3 x 3 ( t ) , t = ( n + 1 ) τ ,
where the prey population seasonally migrates between patch 1, patch 2 and patch 3 .   x 1 ( t ) is the density of the prey population at time t .   x 2 ( t ) is the density of predator population in patch 2 at time t , and the predator population x 2 only lives in patch 2 .   x 3 ( t ) is the density of predator population in patch 3 at time t , and predator population x 3 only lives in patch 3 .   a 11 > 0 is the intrinsic increasing rate of prey population x 1 in patch 1 on ( n τ , ( n + l ) τ ] .   b 11 > 0 is the intraspecific competition coefficient of prey population x 1 in patch 1 on ( n τ , ( n + l ) τ ] .   a 12 > 0 is the intrinsic increasing rate of predator population x 2 in patch 2 on ( n τ , ( n + l ) τ ] .   b 12 > 0 is the intraspecific competition coefficient of predator population x 2 in patch 2 on ( n τ , ( n + l ) τ ] .   a 13 > 0 is the intrinsic increasing rate of predator population x 3 in patch 3 on ( n τ , ( n + l ) τ ] .   b 13 > 0 is the intraspecific competition coefficient of predator population x 3 in patch 3 on ( n τ , ( n + l ) τ ] .   0 < ε 1 < 1 is the loss coefficient of the prey population during prey population x 1 mass migrating from patch 1 to patch 2 at t = ( n + l ) τ .   a 21 > 0 is the intrinsic increasing rate of prey population x 1 in patch 2 on ( ( n + l ) τ , ( n + l + η ) τ ] .   b 21 > 0 is the intraspecific competition coefficient of prey population x 1 in patch 2 on ( ( n + l ) τ , ( n + l + η ) τ ] .   a 22 > 0 is the intrinsic increasing rate of predator population x 2 in patch 2 on ( ( n + l ) τ , ( n + l + η ) t a u ] .   b 22 > 0 is the intraspecific competition coefficient of predator population x 2 in patch 2 on ( ( n + l ) τ , ( n + l + η ) τ ] .   a 23 > 0 is the intrinsic increasing rate of predator population x 3 in patch 3 on ( ( n + l + η ) τ , ( n + 1 ) ] .   b 23 > 0 is the intraspecific competition coefficient of predator population x 3 in patch 3 on ( ( n + l ) τ , ( n + l + η ) τ ] .   β 2 > 0 is the catchable coefficient of the prey population by predator population x 2 in patch 2 on ( ( n + l + η ) τ , ( n + 1 ) τ ] . k 2 > 0 is the rate of conversion of nutrients into the reproduction rate of the predator population x 2 in patch 2 on ( ( n + l + η ) τ , ( n + 1 ) τ ] .   0 < ε 2 < 1 is the loss coefficient of prey population x 1 mass migrating from patch 2 to patch 3 at t = ( n + l + η ) τ .   0 < h 2 < 1 is the harvesting coefficient of predator population x 2 while the mass prey population x 1 migrates from patch 2 to patch 3 at t = ( n + l + η ) τ .   a 31 > 0 is the intrinsic increasing rate of prey population x 1 in patch 3 on ( ( n + l + η ) τ , ( n + 1 ) τ ] .   b 31 > 0 is the intraspecific competition coefficient of prey population x 1 in patch 3 on ( ( n + l + η ) τ , ( n + 1 ) τ ] .   a 32 > 0 is the intrinsic increasing rate of predator population x 2 in patch 2 on ( ( n + l + η ) τ , ( n + 1 ) τ ] .   b 32 > 0 is the intraspecific competition coefficient of predator population x 2 in patch 2 on ( ( n + l + η ) τ , ( n + 1 ) τ ] .   a 33 > 0 is the intrinsic increasing rate of predator population x 3 in patch 3 on ( ( n + l ) τ , ( n + 1 + η ) τ ] .   b 33 > 0 is the intraspecific competition coefficient of the predator population x 3 in patch 3 on ( ( n + l + η ) τ , ( n + 1 ) τ ] .   β 3 > 0 is the catchable coefficient of the prey population by predator population x 3 in patch 3 on ( ( n + l + η ) τ , ( n + 1 ) τ ] . k 3 > 0 is the rate of conversion of nutrients into the reproduction rate of the predator population x 3 in patch 3 on ( ( n + l + η ) τ , ( n + 1 ) τ ] .   0 < ε 3 < 1 is the loss coefficient of prey population x 1 mass migrating from patch 3 to patch 1 at t = ( n + 1 ) τ .   0 < h 2 < 1 is the harvesting coefficient of predator population x 3 while prey population x 1 mass migrates from patch 3 to patch 1 at t = ( n + 1 ) τ . The mass migration of the prey population occurs every τ period ( τ is a positive constant; 0 < l < 1 , and 0 < l + η < 1 ), and x i ( t ) = x i ( t + ) x i ( t ) ( i = 1 , 2 , 3 ) .

3. Lemmas and Definition

Let f = ( f 1 , f 2 , f 3 ) , and let the map defined by the right side of system (3). The solution of system (3), denoted by X ( t ) = ( x 1 ( t ) , x 2 ( t ) , x 3 ( t ) ) T , is a piecewise continuous function X: R + R + 3 , where R + = [ 0 , ) , R + 3 = { X R 3 : X > 0 } . X ( t ) is continuous on ( n τ , ( n + l ) τ ] × R + 3 , ( ( n + l ) τ , ( n + l + η ) τ ] × R + 3 ( n Z + and ( ( n + l + η ) τ , ( n + 1 ) τ ] × R + 3 ( n Z + ) . According to reference [16], the global existence and uniqueness of solutions of system (3) is guaranteed by the smoothness properties of f, which denote the mapping defined by right side of system (3).
Lemma 1. 
There exists a constant M > 0 such that x i ( t ) M ( i = 1 , 2 , 3 ) with sufficient t in system (3).
Proof. 
Defining V ( t ) = k 1 x 1 ( t ) + x 2 ( t ) + x 3 ( t ) with k 1 = max { k 2 , k 3 } , we can obtain the following differential inequality for t ( n τ , ( n + l ) τ ]
D + V ( t ) + V ( t )
< k 1 b 11 ( x 1 ( t ) a 11 + 1 2 b 11 ) 2 + k 1 ( a 11 + 1 ) 2 4 b 11 b 12 ( x 2 ( t ) a 12 + 1 2 b 12 ) 2
+ ( a 12 + 1 ) 2 4 b 12 b 13 ( x 3 ( t ) a 13 + 1 2 b 13 ) 2 + ( a 13 + 1 ) 2 4 b 13
k 1 ( a 11 + 1 ) 2 4 b 11 + ( a 12 + 1 ) 2 4 b 12 + ( a 13 + 1 ) 2 4 b 13 = Δ M 1 .
For t ( ( n + l ) τ , ( n + 1 + η ) τ ] , the following is easily obtained
D + V ( t ) + V ( t )
= k 1 b 21 ( x 1 ( t ) a 21 + 1 2 b 21 ) 2 + k 1 ( a 21 + 1 ) 2 4 b 21 b 22 ( x 2 ( t ) a 22 + 1 2 b 22 ) 2
+ ( a 22 + 1 ) 2 4 b 22 b 23 ( x 3 ( t ) a 23 + 1 2 b 23 ) 2 + ( a 23 + 1 ) 2 4 b 23
k 1 ( a 21 + 1 ) 2 4 b 21 + ( a 22 + 1 ) 2 4 b 22 + ( a 23 + 1 ) 2 4 b 23 = Δ M 2 ,
For t ( ( n + l + η ) τ , ( n + 1 ) τ ] , the following is easily obtained
D + V ( t ) + V ( t )
= k 1 b 31 ( x 1 ( t ) a 31 + 1 2 b 31 ) 2 + k 1 ( a 31 + 1 ) 2 4 b 31 b 32 ( x 2 ( t ) a 32 + 1 2 b 32 ) 2
+ ( a 32 + 1 ) 2 4 b 32 b 33 ( x 3 ( t ) a 33 + 1 2 b 33 ) 2 + ( a 33 + 1 ) 2 4 b 33
k 1 ( a 31 + 1 ) 2 4 b 31 + ( a 32 + 1 ) 2 4 b 32 + ( a 33 + 1 ) 2 4 b 33 = Δ M 3 .
Then, taking M 0 = max { M 1 , M 2 , M 3 } , when t n τ , t ( n + l + η ) τ and t ( n + 1 ) τ , we have
D + V ( t ) + V ( t ) M 0 .
For t = ( n + l ) τ , we have V ( ( n + l ) τ + ) k 1 ( 1 ε 1 ) x 1 ( ( n + l ) τ ) + x 2 ( ( n + l ) τ ) + x 3 ( ( n + l ) τ ) V ( ( n + l ) τ ) . For t = ( n + l + η ) τ , we have V ( ( n + l + η ) τ + ) k 1 ( 1 ε 2 ) x 1 ( ( n + l ) τ ) + ( 1 h 1 ) x 2 ( ( n + l + η ) τ ) + x 3 ( ( n + l + η ) τ ) V ( ( n + l + η ) τ ) . For t = ( n + 1 ) τ , we have V ( ( n + 1 ) τ + ) = k 1 ( 1 ε 3 ) x 1 ( ( n + 1 ) τ ) + x 2 ( ( n + 1 ) τ ) + ( 1 h 2 ) x 3 ( ( n + 1 ) τ ) V ( ( n + 1 ) τ ) . According to the lemma of reference [16], for t ( n τ , ( n + l ) τ ] , t ( ( n + l ) τ , ( n + l + η ) τ ] , and t ( ( n + l + η ) τ , ( n + 1 ) τ ] , we have
V ( t ) V ( 0 ) exp ( t ) + 0 t M 0 exp ( ( t s ) ) d s
< V ( 0 ) exp ( t ) + M 0 ( 1 exp ( t ) )
M 0 , a s t .
So, V ( t ) is uniformly ultimately bounded. According to the definition of V ( t ) , there exists a constant M > 0 such that x i ( t ) M ( i = 1 , 2 , 3 ) for sufficient t. □
Lemma 2. 
([17]). Considering the following difference equation
x ( ( t + 1 ) ) = F ( x ( t ) ) ,
x * satisfies
x * = F ( x * ) ,
then x * is called a equilibrium of (4), and if
F ( x ) x | x = x * < 1 ,
then, the unique equilibrium x * of difference Equation (5) is globally asymptotically stable. Otherwise, it is not stable.
If x i ( t ) = 0 ( i = 2 , 3 ) , one subsystem of system (3) can be obtained as
d x 1 ( t ) d t = x 1 ( t ) ( a 11 b 11 x 1 ( t ) ) , t ( n τ , ( n + l ) τ ] , x 1 ( t ) = ε 1 x 1 ( t ) , t = ( n + l ) τ , d x 1 ( t ) d t = x 1 ( t ) ( a 21 b 21 x 1 ( t ) ) , t ( ( n + l + η ) τ , ( n + l + η ) τ ] , x 1 ( t ) = ε 2 x 1 ( t ) , t = ( n + l + η ) τ . d x 1 ( t ) d t = x 1 ( t ) ( a 31 b 31 x 1 ( t ) ) , t ( ( n + l + η ) τ , ( n + 1 ) τ ] , x 1 ( t ) = ε 3 x 1 ( t ) , t = ( n + 1 ) τ .
The analytic solution of system (7) between pulses is obtained as
x 1 ( t ) = x 1 ( n τ + ) e a 11 ( t n τ ) a 11 + b 11 x 1 ( n τ ) ( e a 11 ( t n τ ) 1 ) , t ( n τ , ( n + l ) τ ] , x 1 ( ( n + l ) τ + ) e a 21 ( t ( n + l ) τ ) a 21 + b 21 x 1 ( ( n + l ) τ ) ( e a 21 ( t ( n + l ) τ ) 1 ) , t ( ( n + l ) τ , ( n + l + η ) τ ] . x 1 ( ( n + l + η ) τ + ) e a 31 ( t ( n + l + η ) τ ) a 31 + b 31 x 1 ( ( n + l + η ) τ ) ( e a 31 ( t ( n + l + η ) τ ) 1 ) , t ( ( n + l + η ) τ , ( n + 1 ) τ ] .
We compute the stroboscopic map of system (7)
x 1 ( ( n + 1 ) τ + ) = A 11 A 21 A 31 x 1 ( n τ + ) a 11 a 21 a 31 + ( B 11 a 21 a 31 + A 11 B 21 a 31 + A 11 A 21 B 31 ) x 1 ( n τ + ) .
with A 11 = ( 1 ε 1 ) e a 11 l τ , B 11 = b 11 ( e a 11 l τ 1 ) , A 21 = ( 1 ε 2 ) e a 21 η τ , B 21 = b 21 ( e a 21 η τ 1 ) , A 31 = ( 1 ε 3 ) e a 31 ( 1 l η ) τ , B 31 = b 31 ( e a 31 ( 1 l η ) τ 1 ) . Two fixed points of (9) are obtained as x 1 0 = 0 and
x 1 * = A 11 A 21 A 31 a 11 a 21 a 31 B 11 a 21 a 31 + A 11 B 21 a 31 + A 11 A 21 B 31 , A 11 A 21 A 31 > a 11 a 21 a 31 .
Lemma 3. 
(i) If A 11 A 21 A 31 < a 11 a 21 a 31 , the fixed point x 1 0 of (9) is globally asymptotically stable.
(ii) If A 11 A 21 A 31 > a 11 a 21 a 31 , the fixed point x 1 * , of (9) is globally asymptotically stable; here, x 1 * is defined as (10).
Proof. 
Using the following notation
F ( x 1 ( n τ + ) ) = A 11 A 21 A 31 x 1 ( n τ + ) a 11 a 21 a 31 + ( B 11 a 21 a 31 + A 11 B 21 a 31 + A 11 A 21 B 31 ) x 1 ( n τ + ) ,
we change (11) to
x 1 ( ( n + 1 ) τ + ) = F ( x 1 ( n τ + ) ) = A 11 A 21 A 31 x 1 ( n τ + ) a 11 a 21 a 31 + ( B 11 a 21 a 31 + A 11 B 21 a 31 + A 11 A 21 B 31 ) x 1 ( n τ + ) ,
then,
F ( x 1 ( n τ + ) ) x 1 ( n τ + ) = A 11 A 21 A 31 a 11 a 21 a 31 [ a 11 a 21 a 31 + ( B 11 a 21 a 31 + A 11 B 21 a 31 + A 11 A 21 B 31 ) x 1 ( n τ + ) ] 2 .
( i ) If A 11 A 21 A 31 < a 11 a 21 a 31 , x 1 0 is a unique fixed point of (9), then we have
F ( x 1 ( n τ + ) ) x 1 ( n τ + ) | x 1 ( n τ + ) = 0 = A 11 A 21 A 31 a 11 a 21 a 31 [ a 11 a 21 a 31 + ( B 11 a 21 a 31 + A 11 B 21 a 31 + A 11 A 21 B 31 ) x 1 ( n τ + ) ] 2 | x 1 ( n τ + ) = 0 = A 11 A 21 A 31 a 11 a 21 a 13 < 1 .
From Lemma 2, we obtain that fixed point x 1 0 of (9) is globally asymptotically stable.
( i i ) If A 11 A 21 A 31 > a 11 a 21 a 31 , x 1 * is one fixed point of (9), then we have
F ( x 1 ( n τ + ) ) x 1 ( n τ + ) | x 1 ( n τ + ) = 0 = A 11 A 21 A 31 a 11 a 21 a 31 [ a 11 a 21 a 31 + ( B 11 a 21 a 31 + A 11 B 21 a 31 + A 11 A 21 B 31 ) x 1 ( n τ + ) ] 2 | x 1 ( n τ + ) = 0 = A 11 A 21 A 31 a 11 a 21 a 31 > 1 .
Then, we obtain that fixed point x 1 0 of (9) is unstable. x 1 * is another fixed point of ( 9 ) , then we have
F ( x 1 ( n τ + ) ) x 1 ( n τ + ) | x 1 ( n τ + ) = x 1 * = A 11 A 21 A 31 a 11 a 21 a 31 [ a 11 a 21 a 31 + ( B 11 a 21 a 31 + A 11 B 21 a 31 + A 11 A 21 B 31 ) x 1 ( n τ + ) ] 2 | x 1 ( n τ + ) = x 1 * = a 11 a 21 a 31 A 11 A 21 A 31 < 1 .
From Lemma 2, we obtain that fixed point x * of (10) is locally stable. Furthermore, it is globally asymptotically stable.
Similar to [18], we can easily obtain the following lemma. □
Lemma 4. 
( i ) If A 11 A 21 A 31 < a 11 a 21 a 31 , the trivial periodic solutions of system (7) is globally asymptotically stable.
( i i ) If A 11 A 21 A 31 > a 11 a 21 a 31 , the periodic solution x 1 ( t ) ˜ of system (7) is globally asymptotically stable, where x 1 ( t ) ˜ is defined as
x 1 ( t ) ˜ = x 1 * e a 11 ( t n τ ) a 11 + b 11 x 1 * ( e a 11 ( t n τ ) 1 ) , t ( n τ , ( n + l ) τ ] , x 1 * * e a 21 ( t ( n + l ) τ ) a 21 + b 21 x 1 * * ( e a 21 ( t ( n + l ) τ ) 1 ) , t ( ( n + l ) τ , ( n + l + η ) τ ] , x 1 * * * e a 31 ( t ( n + l + η ) τ ) a 31 + b 31 x 1 * * * ( e a 31 ( t ( n + l + η ) τ ) 1 ) , t ( ( n + l + η ) τ , ( n + 1 ) τ ] ,
where x 1 * is defined as (10) and
x 1 * * = x 1 * ( 1 ε 1 ) e a 11 l τ a 11 + b 11 x 1 * ( e a 11 l τ 1 ) , x 1 * * * = x 1 * * ( 1 ε 2 ) e a 21 η τ a 21 + b 21 x 1 * * ( e a 21 η τ 1 ) .
If x 1 ( t ) = 0 , the other two subsystems of system (3) are
d x 2 ( t ) d t = x 2 ( t ) ( a 12 b 12 x 2 ( t ) ) , t ( n τ , ( n + l ) τ ] , x 2 ( t ) = 0 , t = ( n + l ) τ , d x 2 ( t ) d t = x 2 ( t ) ( a 22 b 22 x 2 ( t ) ) , t = ( ( n + l ) τ , ( n + l + η ) τ ] , x 2 ( t ) = h 2 x 2 ( t ) , t = ( n + l + η ) τ , d x 2 ( t ) d t = x 2 ( t ) ( a 32 b 32 x 2 ( t ) ) , t = ( ( n + l + η ) τ , ( n + 1 ) τ ] , x 2 ( t ) = 0 , t = ( n + 1 ) τ ,
and
d x 3 ( t ) d t = x 3 ( t ) ( a 13 b 13 x 3 ( t ) ) , t ( n τ , ( n + l ) τ ] , x 3 ( t ) = 0 , t = ( n + l ) τ , d x 3 ( t ) d t = x 3 ( t ) ( a 23 b 23 x 3 ( t ) ) , t = ( ( n + l ) τ , ( n + l + η ) τ ] , x 3 ( t ) = 0 , t = ( n + l + η ) τ , d x 3 ( t ) d t = x 3 ( t ) ( a 32 b 33 x 3 ( t ) ) , t = ( ( n + l + η ) τ , ( n + 1 ) τ ] , x 3 ( t ) = h 3 x 3 ( t ) , t = ( n + 1 ) τ .
The stroboscopic maps of system (19) and (20) are
x 2 ( ( n + 1 ) τ + ) = A 1 x 2 ( n τ + ) a 12 a 22 a 32 + B 1 x 2 ( n τ + ) ,
and
x 3 ( ( n + 1 ) τ + ) = A 2 x 3 ( n τ + ) a 13 a 23 a 33 + B 2 x 3 ( n τ + ) ,
with A 1 = ( 1 h 2 ) e [ a 12 l + a 22 η + a 32 ( 1 l η ) ] τ , B 1 = b 12 a 22 a 32 ( e a 12 l τ 1 ) + b 22 a 32 e a 12 l τ ( e a 22 η 1 ) + ( 1 h 2 ) b 32 e ( a 12 l + a 32 η ) τ ( e a 32 ( 1 l η ) τ 1 ) ,   A 2 = ( 1 h 3 ) e [ a 13 l + a 23 η + a 33 ( 1 l η ) ] τ , B 2 = b 13 a 23 a 33 ( e a 13 l τ 1 ) + b 23 a 33 e a 13 l τ ( e a 23 η 1 ) + ( 1 h 3 ) b 33 e ( a 13 l + a 33 η ) τ ( e a 33 ( 1 l η ) τ 1 ) .
Similar to Lemmas 3 and 4, we can obtain
Lemma 5. 
( i ) If ( 1 h 2 ) e [ a 12 l + a 22 η + a 32 ( 1 l η ) ] τ < a 12 a 22 a 32 , the fixed point x 2 0 of (21) is globally asymptotically stable.
( i i ) If ( 1 h 3 ) e [ a 13 l + a 23 η + a 33 ( 1 l η ) ] τ < a 13 a 23 a 33 , the fixed point x 3 0 of (22) is globally asymptotically stable.
( i i i ) If ( 1 h 2 ) e [ a 12 l + a 22 η + a 32 ( 1 l η ) ] τ > a 12 a 22 a 32 , the fixed point x 2 * of (21) is globally asymptotically stable.
( i v ) If ( 1 h 3 ) e [ a 13 l + a 23 η + a 33 ( 1 l η ) ] τ > a 13 a 23 a 33 , the fixed point x 3 * of (22) is globally asymptotically stable. x 2 * and x 3 * are
x 2 * = A 1 a 12 a 22 a 32 B 1 ,
and
x 3 * = A 2 a 13 a 23 a 33 B 2 .
Lemma 6. 
( i ) If ( 1 h 2 ) e [ a 12 l + a 22 η + a 32 ( 1 l η ) ] τ < a 12 a 22 a 32 , the trivial periodic solutions of system (19) are globally asymptotically stable.
(ii) If ( 1 h 3 ) e [ a 13 l + a 23 η + a 33 ( 1 l η ) ] τ < a 13 a 23 a 33 , the trivial periodic solutions of system (20) are globally asymptotically stable.
( i i i ) If ( 1 h 2 ) e [ a 12 l + a 22 η + a 32 ( 1 l η ) ] τ > a 12 a 22 a 32 , the periodic solution x 2 ( t ) ˜ of system (19) is globally asymptotically stable.
( i v ) If ( 1 h 3 ) e [ a 13 l + a 23 η + a 33 ( 1 l η ) ] τ > a 13 a 23 a 33 , the periodic solution x 3 ( t ) ˜ of system (20) is globally asymptotically stable. x 2 ( t ) ˜ and x 3 ( t ) ˜ are defined as
x 2 ( t ) ˜ = x 2 * e a 12 ( t n τ ) a 12 + b 13 x 2 * ( e a 12 ( t n τ ) 1 ) , t ( n τ , ( n + l ) τ ] , x 2 * * e a 22 ( t ( n + l ) τ ) a 22 + b 21 x 2 * * ( e a 22 ( t ( n + l ) τ ) 1 ) , t ( ( n + l ) τ , ( n + l + η ) τ ] , x 2 * * * e a 32 ( t ( n + l + η ) τ ) a 32 + b 32 x 2 * * * ( e a 32 ( t ( n + l + η ) τ ) 1 ) , t ( ( n + l + η ) τ , ( n + 1 ) τ ] ,
and
x 3 ( t ) ˜ = x 3 * e a 13 ( t n τ ) a 13 + b 13 x 3 * ( e a 13 ( t n τ ) 1 ) , t ( n τ , ( n + l ) τ ] , x 3 * * e a 23 ( t ( n + l ) τ ) a 23 + b 23 x 2 * * ( e a 23 ( t ( n + l ) τ ) 1 ) , t ( ( n + l ) τ , ( n + l + η ) τ ] , x 3 * * * e a 33 ( t ( n + l + η ) τ ) a 33 + b 33 x 3 * * * ( e a 33 ( t ( n + l + η ) τ ) 1 ) , t ( ( n + l + η ) τ , ( n + 1 ) τ ] ,
with x 2 * and x 3 * are defined as (21) and (22) and
x 2 * * = x 2 * ( 1 h 2 ) e a 12 l τ a 12 + b 12 x 2 * ( e a 12 l τ 1 ) , x 2 * * * = x 2 * * e a 22 η τ a 22 + b 22 x 2 * * ( e a 22 η τ 1 ) ,
and
x 3 * * = x 3 * e a 13 l τ a 13 + b 13 x 3 * ( e a 13 l τ 1 ) , x 3 * * * = x 3 * * ( 1 h 3 ) e a 23 η τ a 23 + b 23 x 3 * * ( e a 23 η τ 1 ) .
Definition 1. 
System (3) is said to be permanent if there are constants m , M > 0 (independent of initial values) and a finite time T 0 such that m x i ( t ) M ( i = 1 , 2 , 3 ) for all solutions ( x 1 ( t ) , x 2 ( t ) , x 3 ( t ) ) with all initial values x i ( 0 + ) > 0 ( i = 1 , 2 , 3 ) , Here, T 0 may depend on the initial values ( x 1 ( 0 + ) , x 2 ( 0 + ) , x 3 ( 0 + ) ) .

4. The Dynamics

   In this paper, we refrain from investigating the trivial solution ( 0 , 0 , 0 ) of system (3). So, we only devote ourselves to considering the globally asymptotic stability of boundary periodic solution ( x ( t ) ˜ , 0 , 0 ) of system (3) and the permanence of system (3).
Theorem 1. 
If
( 1 ε 1 ) ( 1 ε 2 ) ( 1 ε 3 ) e [ a 11 l + a 21 η + a 31 ( 1 l η ) ] τ > a 11 a 21 a 31 ,
and
ln 1 ( 1 ε 1 ) ( 1 ε 2 ) ( 1 ε 3 ) > a 11 l τ 2 a 11 ln a 11 + b 11 x 1 * ( e a 11 l τ 1 ) a 11 a 21 η τ 2 a 21 ln a 21 + b 21 x 1 * * ( e a 21 ( l + η ) τ 1 ) a 21 + b 21 x 1 * * ( e a 21 l τ 1 ) + a 31 ( 1 l η ) τ 2 a 31 ln a 31 + b 31 x 1 * * * ( e a 31 τ 1 ) a 31 + b 31 x 1 * * * ( e a 31 ( l + η ) τ 1 ) ,
and
ln 1 1 h 2 > ( a 12 l + a 22 η + a 32 ( 1 l η ) ) τ k 2 β 2 a 21 b 21 ln a 21 + b 21 x 1 * * ( e a 21 ( l + η ) τ 1 ) a 21 + b 21 x 1 * * ( e a 21 l τ 1 ) ,
and
ln 1 1 h 3 > ( a 13 l + a 23 η + a 33 ( 1 l η ) ) τ k 3 β 3 a 31 b 31 ln a 31 + b 31 x 1 * * * ( e a 31 τ 1 ) a 31 + b 31 x 1 * * * ( e a 31 ( l + η ) τ 1 )
hold, then the predator–extinction boundary periodic solution ( x ( t ) ˜ , 0 , 0 ) of (3) is globally asymptotically stable, where x 1 * is defined as (10) and x 1 * * and x 1 * * * are defined as (18).
Proof. 
First, we prove the local stability of the predator–extinction solution ( x 1 ( t ) ˜ , 0 , 0 ) of (3). Defining x ( t ) = x 1 ( t ) x ( t ) ˜ , y ( t ) = x 2 ( t ) , and z ( t ) = x 3 ( t ) , we have the following linearly similar system for system (3), which concerns one periodic solution ( x 1 ( t ) ˜ , 0 , 0 )
d x ( t ) d t d y ( t ) d t d z ( t ) d t = a 11 2 b 11 x 1 ( t ) ˜ 0 0 0 a 12 0 0 0 a 13 x ( t ) y ( t ) z ( t ) , t ( n τ , ( n + l ) τ ] .
For t ( ( n + l ) τ , ( n + l + η ) τ ] , we have
d x ( t ) d t d y ( t ) d t d z ( t ) d t = a 21 2 b 21 x 1 ( t ) ˜ β 2 x 1 ( t ) ˜ 0 0 a 22 + k 2 β 2 x 1 ( t ) ˜ 0 0 0 a 23 x ( t ) y ( t ) z ( t ) .
For t ( ( n + l + η ) τ , ( n + 1 ) τ ] , we also have
d x ( t ) d t d y ( t ) d t d z ( t ) d t = a 31 2 b 31 x 1 ( t ) ˜ 0 β 3 x 1 ( t ) ˜ 0 a 32 0 0 0 a 33 + k 23 β 3 x 1 ( t ) ˜ x ( t ) y ( t ) z ( t ) .
For t ( n τ , ( n + l ) τ ] , it is easy to to obtain the fundamental solution matrix
Φ 1 ( t ) = e n τ t ( a 11 2 b 11 x 1 ( s ) ˜ ) d s 0 0 0 e a 12 ( t n τ ) 0 0 0 e a 13 ( t n τ ) ,
For t ( ( n + l ) τ , ( n + l + η ) τ ] , we can also obtain the fundamental solution matrix
Φ 2 ( t ) = e ( n + l ) τ t ( a 21 2 b 21 x 1 ( s ) ˜ ) d s 1 2 0 e ( n + l ) τ t ( a 22 + k 2 β 2 x 1 ( t ) ˜ ) d s 3 0 0 e a 23 ( t ( n + l ) τ .
There is no need to calculate the exact form of i ( i = 1 , 2 , 3 ) as it is not required in the analysis that follows. For t ( ( n + l + η ) τ , ( n + 1 ) τ ] , we can also obtain the fundamental solution matrix
Φ 3 ( t ) = e ( n + l + η ) τ t ( a 31 2 b 31 x 1 ( s ) ˜ ) d s 1 2 0 e a 32 ( t ( n + l + η ) τ ) 3 0 0 e ( n + l + η ) τ t ( a 23 + k 3 β 3 x 1 ( t ) ˜ ) d s .
There is no need to calculate the exact form of i ( i = 1 , 2 , 3 ) as it is not required in the analysis that follows.
The linearization of the fourth, fifth and sixth equations of system (3) is
x ( ( n + l ) τ + ) y ( ( n + l ) τ + ) z ( ( n + l ) τ + ) = 1 ε 1 0 0 0 1 0 0 0 1 x ( ( n + l ) τ ) y ( ( n + l ) τ ) z ( ( n + l ) τ ) ,
and the linearization of the tenth, eleventh and twelfth equations of system (3) is
x ( ( n + l + η ) τ + ) y ( ( n + l + η ) τ + ) z ( ( n + l + η ) τ + ) = 1 ε 2 0 0 0 1 h 2 0 0 0 1 x ( ( n + l + η ) τ ) y ( ( n + l + η ) τ ) z ( ( n + l + η ) τ ) ,
and the linearization of the sixteenth, seventeenth and eighteenth equations of system (3) is
x ( ( n + 1 ) τ + ) y ( ( n + 1 ) τ + ) z ( ( n + 1 ) τ + ) = 1 ε 2 0 0 0 1 0 0 0 1 h 3 x ( ( n + 1 ) τ ) y ( ( n + 1 ) τ ) z ( ( n + 1 ) τ ) .
The stability of the periodic solution ( x ( t ) ˜ , 0 , 0 ) is determined by the eigenvalues of
M = 1 ε 1 0 0 0 1 0 0 0 1 1 ε 2 0 0 0 1 h 2 0 0 0 1 1 ε 3 0 0 0 1 0 0 0 1 h 3 Φ 1 ( l τ ) Φ 2 ( ( η ) τ ) Φ 3 ( τ ) ,
which are
λ 1 = ( 1 ε 1 ) ( 1 ε 2 ) ( 1 ε 3 ) e 0 l τ ( a 11 2 b 11 ( x 1 ( s ) + ε ˜ ) ) d s + l τ ( l + η ) τ ( a 21 2 b 21 x 1 ( s ) ˜ d s + ( l + l ) τ τ ( a 31 2 b 31 x 1 ( s ) ˜ ) d s
= ( 1 ε 1 ) ( 1 ε 2 ) ( 1 ε 3 ) e a 11 l τ 2 a 11 × ln a 11 + b 11 x 1 * ( e a 11 l τ 1 ) a 11
× e a 21 η τ 2 a 21 × ln a 21 + b 21 x 1 * * ( e a 21 ( l + η ) τ 1 ) a 21 + b 21 x 1 * * ( e a 21 l τ 1 ) + a 31 ( 1 l η ) τ 2 a 31 × ln a 31 + b 31 x 1 * * * ( e a 31 τ 1 ) a 31 + b 31 x 1 * * * ( e a 31 ( l + η ) τ 1 ) ,
and
λ 2 = ( 1 h 2 ) e 0 l τ a 12 d s + l τ ( l + η ) τ ( a 22 + k 2 β 2 x 1 ( s ) ˜ d s + ( l + η ) τ τ a 32 d s ) d s
= ( 1 h 2 ) e a 12 l τ + a 22 η τ + a 32 ( 1 l η ) τ k 2 β 2 a 22 b 22 × ln a 22 + b 22 x 1 * * ( e a 22 ( l + η ) τ 1 ) a 22 + b 22 x 1 * * ( e a 22 l τ 1 ) ,
λ 3 = ( 1 h 3 ) e 0 1 τ a 13 d s + l τ l + η a 23 d s + ( l + η ) τ τ ( a 33 + k 3 β 3 ( x 1 ( s ) + ε ˜ ) ) d s
= ( 1 h 3 ) e a 13 l τ + a 23 η τ + a 33 ( 1 l η ) τ k 3 β 3 a 31 b 31 × ln a 31 + b 31 x 1 * * * ( e a 31 τ 1 ) a 31 + b 31 x 1 * * * ( e a 31 ( l + η ) τ 1 ) .
where x 1 * is defined as (10), and x * * and x * * * are defined as (18). According to the Floquet theory [16] and conditions (30)–(32), we can derive λ 1 < 1 , λ 2 < 1 and λ 3 < 1 . Therefore, ( x ( t ) ˜ , 0 , 0 ) of system (3) is locally stable.
In the next step, we will prove the global attraction. According to conditions (29)–(32), a ε > 0 is chosen such that
( 1 ε 1 ) ( 1 ε 2 ) ( 1 ε 3 ) e [ a 11 l + ( a 21 β 2 ε ) η + ( a 31 β 3 ε ) ( 1 l η ) ] τ > a 11 ( a 21 β 2 ε ) ( a 31 β 3 ε ) ,
and
ρ 1 = ( 1 ε 1 ) ( 1 ε 2 ) ( 1 ε 3 )
× e 0 l τ ( a 11 2 b 11 ( x 1 ( s ) ˜ + ε ) ) d s + l τ ( l + η ) τ ( a 21 2 b 21 ( x 1 ( s ) ˜ + ε ) ) d s + ( l + l ) τ τ ( a 31 2 b 31 ( x 1 ( s ) ˜ + ε ) ) d s < 1 ,
and
ρ 2 = ( 1 h 2 ) e 0 l τ a 12 d s + l τ τ ( a 22 + k 2 β 2 ( x 1 ( s ) ˜ + ε ) ) d s + ( l + η ) τ τ a 32 d s < 1 .
ρ 3 = ( 1 h 3 ) e a 13 l τ + a 23 η τ + a 33 ( 1 l η ) τ k 3 β 3 a 31 b 31 × ln a 31 + b 31 x 1 * * * ( e a 31 τ 1 ) a 31 + b 31 x 1 * * * ( e a 31 ( l + η ) τ 1 )
From the seventh and thirteen equations of (3), we know that
d x 1 ( t ) d t x 1 ( t ) ( a 21 b 21 x 1 ( t ) ) ,
and
d x 1 ( t ) d t x 1 ( t ) ( a 31 b 31 x 1 ( t ) ) .
We consider the impulsive differential equation
d y 1 ( t ) d t = y 1 ( t ) ( a 11 b 11 y 1 ( t ) ) , t ( n τ , ( n + l ) τ ] , y 1 ( t ) = ε 1 y 1 ( t ) , t = ( n + l ) τ , n Z + , d y 1 ( t ) d t = y 1 ( t ) ( a 21 b 21 y 1 ( t ) ) , t ( ( n + l ) τ , ( n + l + η ) τ ] , y 1 ( t ) = ε 2 y 1 ( t ) , t = ( n + l + η ) τ , d y 1 ( t ) d t = y 1 ( t ) ( a 31 b 31 y 1 ( t ) ) , t ( ( n + l + η ) τ , ( n + 1 ) τ ] , y 1 ( t ) = ε 3 y 1 ( t ) , t = ( n + 1 ) τ , n Z + .
From condition (29), Lemma 4 and the comparison theorem of impulsive Equation [16], we have x ( t ) y 1 ( t ) and y 1 ( t ) y 1 ( t ) ˜ as t . Then,
x 1 ( t ) y 1 ( t ) y 1 ( t ) ˜ + ε = x 1 ( t ) ˜ + ε ,
for sufficient t. For convenience, we assume that (34) holds for all t 0 . From system (3) and (34), and we obtain
d x 2 ( t ) d t = x 2 ( t ) ( a 12 b 12 x 2 ( t ) ) , t ( n τ , ( n + l ) τ ] , x 2 ( t ) = 0 , t = ( n + l ) τ , d x 2 ( t ) d t x 2 ( t ) ( a 22 + k 2 β 2 ( y 1 ( t ) ˜ + ε ) ) , t = ( ( n + l ) τ , ( n + l + η ) τ ] , x 2 ( t ) = h 2 x 2 ( t ) , t = ( n + l + η ) τ , d x 2 ( t ) d t = x 2 ( t ) ( a 32 b 32 x 2 ( t ) ) , t = ( ( n + l + η ) τ , ( n + 1 ) τ ] , x 2 ( t ) = 0 , t = ( n + 1 ) τ ,
and
d x 3 ( t ) d t = x 3 ( t ) ( a 13 b 13 x 3 ( t ) ) , t ( n τ , ( n + l ) τ ] , x 3 ( t ) = 0 , t = ( n + l ) τ , d x 3 ( t ) d t = x 3 ( t ) ( a 23 b 23 x 3 ( t ) ) , t = ( ( n + l ) τ , ( n + l + η ) τ ] , x 3 ( t ) = 0 , t = ( n + l + η ) τ , d x 3 ( t ) d t x 3 ( t ) ( a 33 + k 3 β 3 ( y 1 ( t ) ˜ + ε ) ) , t = ( ( n + l + η ) τ , ( n + 1 ) τ ] , x 3 ( t ) = h 3 x 3 ( t ) , t = ( n + 1 ) τ .
So,
x 2 ( ( n + 1 ) τ ) x 2 ( n τ + ) ( 1 h 2 ) e n τ ( n + l ) τ a 12 d s + ( n + l ) τ ( n + l + η ) τ ( a 22 + k 2 β 2 ( x 1 ( s ) + ε ˜ ) + ( n + l + η ) τ ( n + 1 ) τ a 32 d s ) d s ,
and
x 3 ( ( n + 1 ) τ ) x 3 ( n τ + ) ( 1 h 3 ) e n τ ( n + 1 ) τ a 13 d s + ( n + l ) τ ( n + l + η ) τ a 23 d s + ( n + l + η ) τ ( n + 1 ) τ ( a 33 + k 3 β 3 ( x 1 ( s ) + ε ˜ ) ) d s .
Hence, x 2 ( n τ ) x 1 ( 0 + ) ρ 2 n , and x 3 ( n τ ) x 3 ( 0 + ) ρ 3 n ; accordingly, x 2 ( n τ ) 0 , and x 3 ( n τ ) 0 as n . Therefore x 2 ( t ) 0 and x 3 ( t ) 0 as t .
In the last step, we will prove that x 1 ( t ) x 1 ( t ) ˜ as t . For sufficient 0 < ε < min { a 12 β , a 13 β } , there must exist a t 0 > 0 such that 0 < x 2 ( t ) < ε and 0 < x 3 ( t ) < ε for all t t 0 . Without loss of generality, we assume that 0 < x 2 ( t ) < ε and 0 < x 3 ( t ) < ε for all t 0 , then we have
x 1 ( t ) [ ( a 21 β 2 ε ) b 21 x 1 ( t ) ) d x 1 ( t ) d t x 1 ( t ) ( a 21 b 21 x 1 ( t ) ) , t ( ( n + l ) τ , ( n + l + η ) τ ] ,
and
x 1 ( t ) [ ( a 31 β 3 ε ) b 31 x 1 ( t ) ) d x 1 ( t ) d t x 1 ( t ) ( a 31 b 31 x 1 ( t ) ) , t ( ( n + l + η ) τ , ( n + 1 ) τ ] ,
and z 1 ( t ) x 1 ( t ) z 2 ( t ) and z 1 ( t ) x 1 ( t ) ˜ , z 2 ( t ) z 2 ( t ) ˜ as t , while z 1 ( t ) and z 2 ( t ) are the solutions of
d z 1 ( t ) d t = z 1 ( t ) [ a 11 b 11 z 1 ( t ) ] , t ( n τ , ( n + l ) τ ] , z 1 ( t ) = ε 1 z 1 ( t ) , t = ( n + l ) τ , d z 1 ( t ) d t = z 1 ( t ) [ ( a 21 β 2 ε ) b 21 z 1 ( t ) ] , t ( ( n + l ) τ , ( n + 1 ) τ ] , z 1 ( t ) = ε 2 z 1 ( t ) , t = ( n + 1 ) τ , d z 1 ( t ) d t = z 1 ( t ) [ ( a 31 β 3 ε ) b 31 z 1 ( t ) ] , t ( ( n + l ) τ , ( n + 1 ) τ ] , z 1 ( t ) = ε 3 z 1 ( t ) , t = ( n + 1 ) τ , n Z + .
and
d z 2 ( t ) d t = z 2 ( t ) ( a 11 b 11 z 2 ( t ) ) , t ( n τ , ( n + l ) τ ] , z 2 ( t ) = ε 1 z 2 ( t ) , t = ( n + l ) τ , d z 2 ( t ) d t = z 2 ( t ) ( a 21 b 21 z 2 ( t ) ) , t ( ( n + l ) τ , ( n + 1 ) τ ] , z 2 ( t ) = ε 2 z 2 ( t ) , t = ( n + 1 ) τ , d z 2 ( t ) d t = z 2 ( t ) ( a 31 b 31 z 2 ( t ) ) , t ( ( n + l ) τ , ( n + 1 ) τ ] , z 2 ( t ) = ε 3 z 2 ( t ) , t = ( n + 1 ) τ .
respectively. Here,
z 1 ( t ) ˜ = z 1 * e a 11 ( t n τ ) a 11 + b 11 z 1 * ( e a 11 ( t n τ ) 1 ) , t ( n τ , ( n + l ) τ ] , z 1 * * e ( a 21 β 2 ε ) ( t ( n + l ) τ ) ( a 21 β 2 ε ) + b 21 z 1 * * ( e ( a 21 β 2 ε ) ( t ( n + l ) τ ) 1 ) , t ( ( n + l ) τ , ( n + l + η ) τ ] , z 1 * * * e ( a 31 β 3 ε ) ( t ( n + l + η ) τ ) ( a 31 β 3 ε ) + b 31 z 1 * * * ( e ( a 31 β 3 ε ) ( t ( n + l + η ) τ ) 1 ) , t ( ( n + l + η ) τ , ( n + 1 ) τ ] ,
where
z 1 * = A 11 A 21 A 31 a 11 ( a 21 β 2 ε ) ( a 31 β 3 ε ) B 11 ( a 21 β 2 ε ) ( a 31 β 3 ε ) + A 11 B 21 ( a 31 β 3 ε ) + A 11 A 21 B 31 ,
with A 11 = ( 1 ε 1 ) e a 11 l τ , B 11 = b 11 ( e a 11 l τ 1 ) , A 21 = ( 1 ε 2 ) e ( a 21 β 2 ε ) η τ , B 21 = b 21 ( e ( a 21 β 2 ε ) η τ 1 ) , A 31 = ( 1 ε 3 ) e ( a 31 β 3 ε ) ( 1 l η ) τ , B 31 = b 31 ( e ( a 31 β 3 ε ) ( 1 l η ) τ 1 ) .
And
z 1 * * = z 1 * ( 1 ε 1 ) e a 11 l τ a 11 + b 11 z 1 * ( e a 11 l τ 1 ) , z 1 * * * = z 1 * * ( 1 ε 2 ) e ( a 21 β 2 ε ) η τ ( a 21 β 2 ε ) + b 21 z 1 * * ( e ( a 21 β 2 ε ) η τ 1 ) .
From condition (29) and Lemma 4, the periodic solution z 1 ( t ) ˜ of system (39) is globally asymptotically stable. Therefore, for any ε 1 > 0 , there exists a t 1 , t > t 1 such that
z 1 ( t ) ˜ ε 1 < x 1 ( t ) < z 2 ( t ) ˜ + ε 1 .
Let ε 0 , so we have
x 1 ( t ) ˜ ε 1 < x 1 ( t ) < x 1 ( t ) ˜ + ε 1 ,
for sufficient t, which implies x 1 ( t ) x 1 ( t ) ˜ as t . This completes the proof. □
Theorem 2. 
If conditions (29) and
( 1 h 2 ) e [ a 12 l + a 22 η + a 32 ( 1 l η ) ] τ > a 12 a 22 a 32 ,
and
ln 1 ( 1 ε 1 ) ( 1 ε 2 ) ( 1 ε 3 ) < a 12 l τ + a 22 η τ + a 32 ( 1 l η ) τ β 2 a 22 b 22 × ln a 22 + b 22 x 2 * ( e a 22 ( l + η ) τ 1 ) a 22 + b 22 x 2 * ( e a 22 l τ 1 ) ,
hold, system (3) is permanent, where x 2 * is defined as (23), and x 2 * * and x 2 * * * are defined as (27).
Proof. 
Assume ( x 1 ( t ) , x 2 ( t ) , x 3 ( t ) ) is a solution of system (3) with x 1 ( 0 ) > 0 , x 2 ( 0 ) > 0 , x 3 ( 0 ) > 0 . According to Lemma 1, we have proved that there exists a constant M > 0 such that x i ( t ) M ( i = 1 , 2 , 3 ) for sufficient t, and we may assume that x i ( t ) M ( i = 1 , 2 , 3 ) for t 0 .
From the eighth and the fifth equation of system (3), we can obtain
d x 2 ( t ) d t x 2 ( t ) ( a 22 b 22 x 2 ( t ) ) , t ( ( n + l ) τ , ( n + l + η ) τ ] ,
and
d x 3 ( t ) d t x 3 ( t ) ( a 33 b 33 x 3 ( t ) ) , t ( ( n + l + η ) τ , ( n + 1 ) τ ] .
Then,
d x 2 ( t ) d t = x 2 ( t ) ( a 12 b 12 x 2 ( t ) ) , t ( n τ , ( n + l ) τ ] , x 2 ( t ) = 0 , t = ( n + l ) τ , d x 2 ( t ) d t x 2 ( t ) ( a 22 b 22 x 2 ( t ) ) , t ( ( n + l ) τ , ( n + l + η ) τ ] x 2 ( t ) = h 2 x 2 ( t ) , t = ( n + l + η ) τ , d x 2 ( t ) d t x 2 ( t ) ( a 32 b 32 x 2 ( t ) ) , t ( ( n + l + η ) τ , ( n + 1 ) τ ] x 2 ( t ) = 0 , t = ( n + 1 ) τ ,
and
d x 3 ( t ) d t = x 3 ( t ) ( a 13 b 13 x 3 ( t ) ) , t ( n τ , ( n + l ) τ ] , x 3 ( t ) = 0 , t = ( n + l ) τ , d x 3 ( t ) d t = x 3 ( t ) ( a 23 b 23 x 3 ( t ) ) , t ( ( n + l ) τ , ( n + l + η ) τ ] x 3 ( t ) = 0 , t = ( n + l + η ) τ , d x 3 ( t ) d t x 3 ( t ) ( a 33 b 33 x 3 ( t ) ) , t ( ( n + l + η ) τ , ( n + 1 ) τ ] x 2 ( t ) = h 3 x 2 ( t ) , t = ( n + 1 ) τ .
So, the comparative impulsive differential equations of (48) and (49) are
d y 2 ( t ) d t = y 2 ( t ) ( a 12 b 12 y 2 ( t ) ) , t ( n τ , ( n + l ) τ ] , y 2 ( t ) = 0 , t = ( n + l ) τ , d y 2 ( t ) d t = y 2 ( t ) ( a 22 b 22 y 2 ( t ) ) , t ( ( n + l ) τ , ( n + l + η ) τ ] y 2 ( t ) = h 2 y 2 ( t ) , t = ( n + l + η ) τ , d y 2 ( t ) d t y 2 ( t ) ( a 32 b 32 y 2 ( t ) ) , t ( ( n + l + η ) τ , ( n + 1 ) τ ] y 2 ( t ) = 0 , t = ( n + 1 ) τ ,
and
d y 3 ( t ) d t = y 3 ( t ) ( a 13 b 13 y 3 ( t ) ) , t ( n τ , ( n + l ) τ ] , y 3 ( t ) = 0 , t = ( n + l ) τ , d y 3 ( t ) d t = y 3 ( t ) ( a 23 b 23 y 3 ( t ) ) , t ( ( n + l ) τ , ( n + l + η ) τ ] y 3 ( t ) = 0 , t = ( n + l + η ) τ , d y 3 ( t ) d t = y 3 ( t ) ( a 33 b 33 y 3 ( t ) ) , t ( ( n + l + η ) τ , ( n + 1 ) τ ] y 2 ( t ) = h 3 y 2 ( t ) , t = ( n + 1 ) τ .
From condition (44) and Lemma 6 , we know that x 2 ( t ) > y 2 ( t ) y 2 ( t ) ˜ ε 2 = y 2 ( t ) ˜ ε 2 and x 3 ( t ) > y 3 ( t ) y 3 ( t ) ˜ ε 2 = x 3 ( t ) ˜ ε 2 for sufficient t and ε 2 > 0 . So, x i ( t ) x i * a 1 i + x i * * a 2 i + x i * * * a 3 i ε 2 = m i ( i = 2 , 3 ) for sufficient t. Thus, we only need to find m 1 > 0 such that x 1 ( t ) m 1 for sufficient t, as shown in the following.
According to the conditions of this theorem, we can select m < min { m 2 , m 3 } and m 0 > 0 , ε 1 > 0 , which is sufficiently small such that ( 1 h 2 ) e [ a 12 l + ( a 22 + k 2 β 2 m 0 ) η + a 32 ( 1 l η ) ] τ > a 12 ( a 22 + k 2 β 2 m 0 ) a 32 and σ = ( a 12 b 12 m 0 ) l τ + ( a 22 b 22 m 0 ) η τ + ( a 32 b 32 m 0 ) ( 1 l η ) τ β 2 ε τ β 2 ( a 22 + k 2 β 2 m 0 ) b 22 × ln ( k 2 β 2 m 0 ) + b 22 z 2 * ( e ( k 2 β 2 m 0 ) ( l + η ) τ 1 ) ( k 2 β 2 m 0 ) + b 22 z 2 * ( e ( k 2 β 2 m 0 ) l τ 1 ) > 0 , and z 2 * * = z 2 * ( 1 h 2 ) e a 12 l τ a 12 + b 12 z 2 * ( e a 12 l τ 1 ) , z 2 * = A 3 a 12 a 22 a 32 B 3 , with A 3 = ( 1 h 2 ) e [ a 12 l + ( a 22 + k 2 β 2 m 0 ) η + a 32 ( 1 l η ) ] τ , B 3 = b 12 ( a 22 + k 2 β 2 m 0 ) a 32 ( e a 12 l τ 1 ) + b 22 a 32 e a 12 l τ ( e ( a 22 + k 2 β 2 m 0 ) η 1 ) + ( 1 h 2 ) b 32 e ( a 12 l + a 32 η ) τ × ( e a 32 ( 1 l η ) τ 1 ) .
We will prove that x 1 ( t ) < m 0 cannot hold for t 0 . Otherwise,
d x 2 ( t ) d t = x 2 ( t ) [ a 12 b 12 x 2 ( t ) ) ] , t ( n τ , ( n + l ) τ ] , x 2 ( t ) = 0 , t = ( n + l ) τ , d x 2 ( t ) d t x 2 ( t ) ( a 21 + k 2 β 2 m 0 b 21 x 2 ( t ) ) , t ( ( n + l ) τ , ( n + l + η ) τ ] , x 2 ( t ) = h 2 x ( t ) , t = ( n + l + η ) τ , n Z + d x 2 ( t ) d t = x 2 ( t ) ( a 31 b 31 x 2 ( t ) ) , t ( ( n + l + η ) τ , ( n + 1 ) τ ] , x 2 ( t ) = 0 , t = ( n + 1 ) τ , n Z +
According to the comparative theorem of the impulsive differential equation and Lemma 6 , we have x 2 ( t ) z 2 ( t ) and z 2 ( t ) z 2 ( t ) ¯ , t , where z 2 ( t ) is the solution of
d z 2 ( t ) d t = z 2 ( t ) [ a 12 b 12 z 2 ( t ) ) ] , t ( n τ , ( n + l ) τ ] , z 2 ( t ) = 0 , t = ( n + l ) τ , d z 2 ( t ) d t = z 2 ( t ) ( a 21 + k 2 β 2 m 0 b 21 z 2 ( t ) ) , t ( ( n + l ) τ , ( n + l + η ) τ ] , z 2 ( t ) = h 2 z ( t ) , t = ( n + l + η ) τ , n Z + d z 2 ( t ) d t = z 2 ( t ) ( a 31 b 31 z 2 ( t ) ) , t ( ( n + l + η ) τ , ( n + 1 ) τ ] , z 2 ( t ) = 0 , t = ( n + 1 ) τ , n Z +
and
z 2 ( t ) ¯ = z 2 * e a 12 ( t n τ ) a 12 + b 13 z 2 * ( e a 12 ( t n τ ) 1 ) , t ( n τ , ( n + l ) τ ] , z 2 * * e ( a 22 + k 2 β 2 m 0 ) ( t ( n + l ) τ ) ( a 22 + k 2 β 2 m 0 ) + b 22 z 2 * * ( e ( a 22 + k 2 β 2 m 0 ) ( t ( n + l ) τ ) 1 ) , t ( ( n + l ) τ , ( n + l + η ) τ ] , z 2 * * * e a 32 ( t ( n + l + η ) τ ) a 32 + b 32 z 2 * * * ( e a 32 ( t ( n + l + η ) τ ) 1 ) , t ( ( n + l + η ) τ , ( n + 1 ) τ ] ,
here
z 2 * = A 3 a 12 a 22 a 32 B 3 , z 2 * * = z 2 * ( 1 h 2 ) e a 12 l τ a 12 + b 12 z 2 * ( e a 12 l τ 1 ) ,
z 2 * * * = z 2 * * e ( a 22 + k 2 β 2 m 0 ) η τ ( a 22 + k 2 β 2 m 0 ) + b 22 z 2 * * ( e ( a 22 + k 2 β 2 m 0 ) η τ 1 ) ,
with A 3 = ( 1 h 2 ) e [ a 12 l + ( a 22 + k 2 β 2 m 0 ) η + a 32 ( 1 l η ) ] τ , B 3 = b 12 ( a 22 + k 2 β 2 m 0 ) a 32 ( e a 12 l τ 1 ) + b 22 a 32 e a 12 l τ ( e ( a 22 + k 2 β 2 m 0 ) η 1 ) + ( 1 h 2 ) b 32 e ( a 12 l + a 32 η ) τ ( e a 32 ( 1 l η ) τ 1 ) . From condition (44) and Lemma 6, the periodic solution z 2 ( t ) ¯ of system (53) is globally asymptotically stable. Therefore, exists a T 1 > 0 such that
x 2 ( t ) z 2 ( t ) z 2 ( t ) ¯ + ε 1 ,
and
d x 1 ( t ) d t x 1 ( t ) ( a 12 b 12 x 1 ( t ) ) , t ( n τ , ( n + l ) τ ] , x 1 ( t ) = ε 1 x 1 ( t ) , t = ( n + l ) τ , d x 1 ( t ) d t [ ( a 22 β 2 ( z ( t ) ¯ + ε ) ) b 22 x 1 ( t ) ] x 1 ( t ) , t ( ( n + l ) τ , ( n + l + η ) τ ] , x 1 ( t ) = ε 2 x 1 ( t ) , t = ( n + l + η ) τ , d x 1 ( t ) d t = ( a 32 b 32 x 1 ( t ) ) x 1 ( t ) , t ( ( n + l + η ) τ , ( n + 1 ) τ ] , x 1 ( t ) = ε 3 x 1 ( t ) , t = ( n + 1 ) τ .
For t T 1 , let N 1 N and N 1 τ > T 1 , integrating (55) on ( n τ , ( n + 1 ) τ ) , n N 1 , and we have
x 1 ( ( n + 1 ) τ ) x 1 ( n τ + ) ( 1 ε 1 ) ( 1 ε 2 ) ( 1 ε 3 )
× e n τ ( n + l ) τ ( a 12 b 12 m 0 ) d s + ( n + l ) n τ ( n + l + η ) τ [ ( a 22 b 22 m 0 ) β 2 ( z 2 ( t ) ¯ + ε ) ] d s + ( n + l + η ) τ ( n + l ) τ ( a 32 b 32 m 0 ) d s
= ( 1 ε 1 ) ( 1 ε 2 ) ( 1 ε 3 ) x 1 ( n τ ) e σ ,
then x 1 ( ( N 1 + k ) τ ) [ i = 1 i = 3 ( 1 ε i ) ] k x 1 ( N 1 τ + ) e k σ , as k , which is a contradiction to the boundedness of x 1 ( t ) . Hence, there exists a t 1 > 0 such that x 1 ( t ) m 1 . The proof is complete. □
Similar to Theorem 2, we can easily obtain the following theorem.
Theorem 3. 
If conditions (29) and
( 1 h 3 ) e [ a 13 l + a 23 η + a 33 ( 1 l η ) ] τ > a 13 a 23 a 33 ,
and
ln 1 ( 1 ε 1 ) ( 1 ε 2 ) ( 1 ε 3 ) < a 13 l τ + a 23 η τ + a 33 ( 1 l η ) τ β 3 a 33 b 33 × ln a 33 + b 33 x 3 * ( e a 33 ( l + η ) τ 1 ) a 33 + b 33 x 3 * ( e a 33 l τ 1 ) ,
hold, system (3) is permanent, where x 3 * is defined as (24), and x 3 * * and x 3 * * * are defined as (28).

5. Discussion

In this paper, we present an impulsive predator–prey system with a prey population seasonally mass migrating from habitats to survival areas. The sufficient conditions of existence of globally asymptotically stable predator–extinct boundary periodic solution ( x 1 ( t ) ˜ , 0 , 0 ) of system (3) are obtained. The sufficient conditions for the permanence of the investigated system are also obtained. If it is assumed that x 1 ( t ) = 1 , x 2 ( t ) = 1 , x 3 ( t ) = 1 , a 11 = 0.6 , b 11 = 0.3 , a 12 = 0.8 , b 12 = 0.6 , a 13 = 0.8 , b 13 = 0.6 , ε 1 = 0.3 , a 21 = 0.6 , b 21 = 0.3 , β 2 = 0.7 , a 22 = 0.8 , b 22 = 0.6 , k 2 = 0.9 , a 23 = 0.6 , b 23 = 0.6 , ε 2 = 0.35 , h 2 = 0.6 , a 31 = 2 , b 31 = 1 , β 3 = 0.7 , a 32 = 0.8 , b 32 = 0.6 , a 33 = 0.8 , b 33 = 0.6 , k 3 = 0.9 , ε 3 = 0.01 , h 3 = 0.6 , l = 0.3 , η = 0.3 , τ = 1 , the parameters satisfy conditions (29)–(32) in Theorem 1, and the simulations indicate that the population x 2 ( t ) and x 3 ( t ) goes extinct (see Figure 1). If it is assumed that x 1 ( t ) = 1 , x 2 ( t ) = 1 , x 3 ( t ) = 1 , a 11 = 0.6 , b 11 = 0.3 , a 12 = 0.8 , b 12 = 0.6 , a 13 = 0.8 , b 13 = 0.6 , ε 1 = 0.01 , a 21 = 0.6 , b 21 = 0.3 , β 2 = 0.7 , a 22 = 0.8 , b 22 = 0.6 , k 2 = 0.9 , a 23 = 0.6 , b 23 = 0.6 , ε 2 = 0.35 , h 2 = 0.6 , a 31 = 2 , b 31 = 1 , β 3 = 0.7 , a 32 = 0.8 , b 32 = 0.6 , a 33 = 0.8 , b 33 = 0.6 , k 3 = 0.9 , ε 3 = 0.01 , h 3 = 0.6 , l = 0.3 , η = 0.3 , τ = 1 , the parameters satisfy conditions (29), (44) and (45) in Theorem 2, and the simulations indicate that system (3) is permanent (see Figure 2). From the numerical analysis, we can infer that there a threshold of ε 1 * of ε 1 . If ε 1 < ε 1 * , system (3) is permanent. If ε 1 > ε 1 * , the predator goes extinct. The same method can be also applied to other parameters in system (3). The results indicate that the prey population migration plays an important role in the permanence of the predator populations. In order to conserve the biological diversity, we should reduce the mortality of the prey population during the prey population’s seasonal large-scale migration. Our results provide a theoretical reference population ecology management.

Author Contributions

Writing—original draft, Y.X.; Writing—review & editing, J.J. All authors have read and agreed to the published version of the manuscript.

Funding

This article is supported by the National Natural Science Foundation of China (12261018) and Universities Key Laboratory of System Modeling and Data Mining in Guizhou Province (2023013).

Data Availability Statement

The original contributions presented in this study are included in the article. Further inquiries can be directed to the corresponding author.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Zhang, J.; Huang, Y. Biodiversity and stability mechanism: Understanding and future reseach. Acta Ecol. Sinaca 2016, 36, 1–12. (In Chinese) [Google Scholar]
  2. O’Regan, S.M.; Kelly, T.C.; Korobeinikov, A.; O’Callaghan, M.J.; Pokrovskii, A.V.; Rachinskii, D. Chaos in a seasonally perturbed SIR model: Avian influenza in a seabird colony as a paradigm. J. Math. Biol. 2013, 67, 293–327. [Google Scholar] [CrossRef] [PubMed]
  3. Dingle, H. Migration strategies of insects. Science 1972, 175, 1327–1335. [Google Scholar] [CrossRef] [PubMed]
  4. Dixon, A.F.C.; Horth, S.; Kindlmann, P. Migration in in insect:cost and strategies. J. Anim. Ecol. 1993, 63, 182–190. [Google Scholar] [CrossRef]
  5. Matthiopoulos, J.; Harwood, J.; Thomas, L.E.N. Metapopulation consequences of site fidelity for colonially breeding mammals and birds. J. Anim. Ecol. 2005, 74, 716–727. [Google Scholar] [CrossRef]
  6. Murray, J.D. Mathematical Biology II Spatial Models and Biomedical Applications; Springer: New York, NY, USA, 2000. [Google Scholar]
  7. Hassel, M.P.; Comins, N.H.; May, R.M. Spatial structure and chaos in insect population dynamics. Nature 1991, 353, 255–258. [Google Scholar] [CrossRef]
  8. Stone, L.; Hart, D. Effects of Immigration on the Dynamics of Simple Population Models. Theor. Popul. Biol. 1999, 55, 227–234. [Google Scholar] [CrossRef] [PubMed]
  9. Pal, N.; Samanta, S.; Chattopadhyay, J. The impact of diffusive migration on ecosystem stability. Chaos Solitons Fractals 2015, 78, 317–328. [Google Scholar] [CrossRef]
  10. Hobson, K.A.; Wassenaar, L.I. Tracking Animal Migration with Stable Isotopes, 2nd ed.; Academic Press-Elsevier: New York, NY, USA, 2019. [Google Scholar]
  11. Levin, S.A. Dispersal and population interactions. Am. Nat. 1974, 108, 207–228. [Google Scholar] [CrossRef]
  12. Holt, R.D. Population Dynamics in two-patch environments: Some anomalous consequences of an optimal habitat distribution. Theor. Popul. Biol. 1985, 28, 181–208. [Google Scholar] [CrossRef]
  13. Jiao, J.; Cai, S.; Chen, L. Analysis of a stage-structured predator-prey system with birth pulse and impulsive harvesting at different moments. Nonlinear Anal. Real World Appl. 2011, 12, 2232–2244. [Google Scholar] [CrossRef]
  14. Jiao, J.; Cai, S.; Li, L. Impulsive vaccination and dispersal on dynamics of an SIR epidemic model with restricting infected individuals boarding transports. Phys. Stat. Mech. Its Appl. 2016, 449, 145–159. [Google Scholar] [CrossRef] [PubMed]
  15. Jiao, J.; Quan, Q.; Dai, X. Dynamics of a pest-nature enemy model for IPM with repeatedly releasing natural enemy and impulsively spraying pesticides. Adv. Contin. Discret. Model. 2025, 52, 1–13. [Google Scholar] [CrossRef]
  16. Lakshmikantham, V. Theory of Impulsive Differential Equations; World Scientific: Singapore, 1989. [Google Scholar]
  17. Jiao, J.; Cai, S.; Li, L. Dynamics of a periodic switched predator-prey system with impulsive harvesting and hibernation of prey population. J. Frankl. Inst. 2016, 353, 3818–3834. [Google Scholar] [CrossRef]
  18. Jiao, J.; Liu, Z.; Li, L.; Nie, X. Threshold dynamics of a stage-structured single population model with non-transient and transient impulsive effects. Appl. Math. Lett. 2019, 97, 88–92. [Google Scholar] [CrossRef]
  19. Wang, L.; Liu, Z.; Hui, J.; Chen, L. Impulsive diffusion in single species model. Chaos Solitons Fractals 2007, 33, 1213–1219. [Google Scholar] [CrossRef]
Figure 1. Globally asymptotically stable predator–extinction periodic solution of system (3) with x 1 ( t ) = 1 , x 2 ( t ) = 1 , x 3 ( t ) = 1 , a 11 = 0.6 , b 11 = 0.3 , a 12 = 0.8 , b 12 = 0.6 , a 13 = 0.8 , b 13 = 0.6 ε 1 = 0.3 , a 21 = 0.6 , b 21 = 0.3 , β 2 = 0.7 , a 22 = 0.8 , b 22 = 0.6 , k 2 = 0.9 , a 23 = 0.6 , b 23 = 0.6 , ε 2 = 0.35 , h 2 = 0.6 , a 31 = 2 , b 31 = 1 , β 3 = 0.7 , a 32 = 0.8 , b 32 = 0.6 , a 33 = 0.8 , b 33 = 0.6 , k 3 = 0.9 , ε 3 = 0.01 , h 3 = 0.6 , l = 0.3 , η = 0.3 , τ = 1 ; (a) time series of x 1 ( t ) ; (b) time series of x 3 ( t ) ; (c) time series of x 3 ( t ) ; (d) the phase portrait of the globally asymptotically stable predator–extinction periodic solution of system (3).
Figure 1. Globally asymptotically stable predator–extinction periodic solution of system (3) with x 1 ( t ) = 1 , x 2 ( t ) = 1 , x 3 ( t ) = 1 , a 11 = 0.6 , b 11 = 0.3 , a 12 = 0.8 , b 12 = 0.6 , a 13 = 0.8 , b 13 = 0.6 ε 1 = 0.3 , a 21 = 0.6 , b 21 = 0.3 , β 2 = 0.7 , a 22 = 0.8 , b 22 = 0.6 , k 2 = 0.9 , a 23 = 0.6 , b 23 = 0.6 , ε 2 = 0.35 , h 2 = 0.6 , a 31 = 2 , b 31 = 1 , β 3 = 0.7 , a 32 = 0.8 , b 32 = 0.6 , a 33 = 0.8 , b 33 = 0.6 , k 3 = 0.9 , ε 3 = 0.01 , h 3 = 0.6 , l = 0.3 , η = 0.3 , τ = 1 ; (a) time series of x 1 ( t ) ; (b) time series of x 3 ( t ) ; (c) time series of x 3 ( t ) ; (d) the phase portrait of the globally asymptotically stable predator–extinction periodic solution of system (3).
Mathematics 13 01550 g001
Figure 2. The permanence of system (3) with x 1 ( t ) = 1 , x 2 ( t ) = 1 , x 3 ( t ) = 1 , a 11 = 0.6 , b 11 = 0.3 , a 12 = 0.8 , b 12 = 0.6 , a 13 = 0.8 , b 13 = 0.6 , ε 1 = 0.01 , a 21 = 0.6 , b 21 = 0.3 , β 2 = 0.7 , a 22 = 0.8 , b 22 = 0.6 , k 2 = 0.9 , a 23 = 0.6 , b 23 = 0.6 , ε 2 = 0.35 , h 2 = 0.6 , a 31 = 2 , b 31 = 1 , β 3 = 0.7 , a 32 = 0.8 , b 32 = 0.6 , a 33 = 0.8 , b 33 = 0.6 , k 3 = 0.9 , ε 3 = 0.01 , h 3 = 0.6 , l = 0.3 , η = 0.3 , τ = 1 ; (a) time series of x 1 ( t ) ; (b) time series of x 3 ( t ) ; (c) time series of x 3 ( t ) ; (d) the phase portrait of the permanence of system (3).
Figure 2. The permanence of system (3) with x 1 ( t ) = 1 , x 2 ( t ) = 1 , x 3 ( t ) = 1 , a 11 = 0.6 , b 11 = 0.3 , a 12 = 0.8 , b 12 = 0.6 , a 13 = 0.8 , b 13 = 0.6 , ε 1 = 0.01 , a 21 = 0.6 , b 21 = 0.3 , β 2 = 0.7 , a 22 = 0.8 , b 22 = 0.6 , k 2 = 0.9 , a 23 = 0.6 , b 23 = 0.6 , ε 2 = 0.35 , h 2 = 0.6 , a 31 = 2 , b 31 = 1 , β 3 = 0.7 , a 32 = 0.8 , b 32 = 0.6 , a 33 = 0.8 , b 33 = 0.6 , k 3 = 0.9 , ε 3 = 0.01 , h 3 = 0.6 , l = 0.3 , η = 0.3 , τ = 1 ; (a) time series of x 1 ( t ) ; (b) time series of x 3 ( t ) ; (c) time series of x 3 ( t ) ; (d) the phase portrait of the permanence of system (3).
Mathematics 13 01550 g002
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Xiao, Y.; Jiao, J. Dynamics of an Impulsive Predator–Prey Model with a Seasonally Mass Migrating Prey Population. Mathematics 2025, 13, 1550. https://doi.org/10.3390/math13101550

AMA Style

Xiao Y, Jiao J. Dynamics of an Impulsive Predator–Prey Model with a Seasonally Mass Migrating Prey Population. Mathematics. 2025; 13(10):1550. https://doi.org/10.3390/math13101550

Chicago/Turabian Style

Xiao, Yunpeng, and Jianjun Jiao. 2025. "Dynamics of an Impulsive Predator–Prey Model with a Seasonally Mass Migrating Prey Population" Mathematics 13, no. 10: 1550. https://doi.org/10.3390/math13101550

APA Style

Xiao, Y., & Jiao, J. (2025). Dynamics of an Impulsive Predator–Prey Model with a Seasonally Mass Migrating Prey Population. Mathematics, 13(10), 1550. https://doi.org/10.3390/math13101550

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop