# Stochastic Logistic Systems with Jumps

Authors: Ruihua Wu; Ke Wang
Journal: Journal of Applied Mathematics
 (2014)

---

## Abstract

This paper is concerned with a stochastic nonautonomous logistic model with jumps. In the model, the martingale and jump noise are taken into account. This model is new and more feasible and applicable. Sufficient criteria for the existence of global positive solutions are obtained; then asymptotic boundedness inpth moment, stochastically ultimate boundedness, and asymptotic pathwise behavior are to be considered.


---

## Body

## 1. Introduction

The well-known logistic system is an important and applicable system in both ecology and mathematical ecology. The classical nonautonomous logistic equation can be described by(1)
d
x
(
t
)
=
x
(
t
)
[
a
(
t
)
-
b
(
t
)
x
(
t
)
]
d
t
for t
≥
0 with initial value x
(
0
)
>
0. In this model, x
(
t
) is the population size at time t, so we are only concerned with positive solutions. The coefficient a
(
t
) is the intrinsic growth rate and a
(
t
)
/
b
(
t
) stands for the carrying capacity at time t. Both a
(
t
) and b
(
t
) are continuous bounded functions on t
≥
0. System (1) models the population density of a single species whose members compete among themselves for a limited amount of food and living space. About the detailed model construction, readers can refer to [1].Because of the importance in theory and practice, many authors have studied deterministic model (1) and its generalization. Many good results on the dynamical behavior have been reported; see, for example, Freedman and Wu [2], Lisena [3], Golpalsamy [4], Kuang [5], and the references therein. Among them, the books [4, 5] are good references in this area.However, in the real world, the population systems are inevitably subject to much stochastic environmental noise which is important in ecosystem (see, e.g., Gard [6, 7]). In model (1), the parameters are all deterministic and irrespective of the environmental fluctuations; therefore, they have limitations in applications and it is difficult to fit data and predict the future accurately [8]. May [1] proposed the fact that because of the environmental noise, the birth rate, carrying capacity, and other parameters involved in the system exhibit random fluctuation to a greater or lesser extent. So it is necessary to find a more practical model.According to the well-known central limit theorem, the sum of all stochastic environmental noise follows a normal distribution, and we usually call the white noise and denote it byB
˙
(
t
). We impose the stochastic perturbation on b
(
t
) and then get the following Itô's equation:
(2)
d
x
(
t
)
=
x
(
t
)
[
(
a
(
t
)
-
b
(
t
)
x
(
t
)
)
d
t
+
σ
(
t
)
x
(
t
)
d
B
(
t
)
]
,
where B
(
t
) is a standard Brownian motion defined on a complete probability space (
Ω
,
ℱ
,
{
ℱ
t
}
t
≥
0
,
ℙ
) with a filtration {
ℱ
t
}
t
≥
0 satisfying the usual conditions (i.e, ℱ
t is right continuous and ℱ
0 contains all ℙ-null sets) and σ
2
(
t
) denotes the intensity of the noise. The white noise has important effects on the model. The famous result is that Mao et al. [9] showed that the environmental Brownian noise suppresses explosion in population dynamics. From then on, many valuable results are established. Liu and Wang studied the persistence and extinction of the solutions of model (2) in [10]. There are many other literatures to consider the models with white noise; the readers can refer to [11–22] and the references cited therein.In addition, the population may suffer from sudden environmental shocks, namely, some jump type stochastic perturbation, for example, tsunami, earthquakes, floods, hurricanes, epidemics, red tides, and so on. These events are so strong that they break the continuity of the solution, so these phenomena cannot be described by (2). Introducing jump noise into the model may be a reasonable way to describe these phenomena; see [23, 24]. Models with jumps have received considerable attention in recent years, but by now, there are few papers to deal with population systems driven by jumps. About the knowledge of jumps, the readers can refer to Applebaum [25] and Situ [26].On the other hand, as is well known now, martingale is also an important field of stochastic analysis. Martingale theory has important and valuable applications in science, economics, finance, and elsewhere, and it has been developed well [26–28]. As we know that Brownian motion is a special martingale and it has many good properties, such as the independent increments, the increment stationary, and the Gaussian. So we attempt to generalize the driving process.Motivated by the above reasons, it is eager to introduce a general driving process with jumps. In this paper, we propose and study the following logistic equation driven by martingales with jumps:(3)
d
x
(
t
)
=
x
(
t
-
)
[
∫
ℤ
‍
(
a
(
t
)
-
b
(
t
)
x
(
t
-
)
)
d
t
+
σ
(
t
)
x
(
t
-
)
d
M
(
t
)
+
∫
ℤ
‍
c
(
x
(
t
-
)
,
z
)
N
~
(
d
t
,
d
z
)
]
.
In the model, x
(
t
-
) is the left limit of x
(
t
)
,
N is a Poisson counting measure with characteristic measure π on a measurable subset ℤ of (
0
,
∞
) with π
(
ℤ
)
<
∞, and  N
~
(
d
t
,
d
z
)
=
N
(
d
t
,
d
z
)
-
π
(
d
z
)
d
t is the corresponding martingale measure. It is worth noting that a martingale usually does not share the good properties which a Brownian motion satisfies, so there are many difficulties when we extend the Brownian motion in the stochastic integral to the martingale; maybe this is one of the reasons why biological models driven by martingales have not been widely studied. About the detailed information of martingales, readers can refer to [26–28]. Throughout this paper, we assume that M is independent of N.The rest of this paper is organized as follows. In Section2, sufficient conditions for global positive solutions are obtained. In Section 3, asymptotic boundedness in pth moment and stochastically ultimate boundedness of model (3) are investigated. In Section 4, the asymptotic pathwise behavior is examined. We complete the paper with conclusions in Section 5.


## 2. Global Positive Solutions

Throughout this paper, we assume thata
(
t
)
,
b
(
t
), and σ
(
t
) are continuous bounded functions on t
∈
ℝ
+
=
[
0
,
∞
), inf
t
∈
ℝ
+
b
(
t
)
>
0
.
M
(
t
) denotes a square integrable martingale with M
(
0
)
=
0, and 〈
M
〉
(
t
) is the unique integrable increasing process such that M
2
(
t
)
-
〈
M
〉
(
t
) is a martingale. Further, we assume that 𝔼
〈
M
〉
(
t
)
<
∞, where 𝔼
(
f
) means the mathematical expectation of f. In the sequel, we denote by K a generic constant whose value may vary in different appearance.Before we consider the asymptotic properties of solutions to system (3), first we should guarantee the existence of the global positive solutions. For the jump-diffusion coefficient c
(
x
,
z
), we impose the following conditions.Assumption 1.
For anyx
∈
ℝ
+ and z
∈
ℤ,
(4)
c
(
x
,
z
)
>
-
1
,
and, for each k
>
0, there exists a L
k
>
0 such that
(5)
∫
ℤ
‍
|
c
(
x
,
z
)
-
c
(
y
,
z
)
|
2
π
(
d
z
)
≤
L
k
|
x
-
y
|
2
,
where x
,
y
∈
ℝ
+ with |
x
|
∨
|
y
|
≤
k.Theorem 2.
Let Assumption1 hold. And further assume that for p
∈
(
0,1
) there exist constants δ
>
0, α
>
1 such that
(6)
∫
ℤ
‍
[
(
1
+
c
(
x
,
z
)
)
p
-
1
-
p
c
(
x
,
z
)
]
π
(
d
z
)
≤
-
δ
|
x
|
α
+
o
(
|
x
|
α
)
,
for x
∈
ℝ
+, where o
(
|
x
|
α
)
/
|
x
|
α
→
0 as |
x
|
→
∞. Then for any initial value x
¯
>
0, (3) has a unique global positive solution x
(
t
) for t
≥
0 almost surely.Proof.
Our proof is motivated by Bao and Yuan [24]. By (5), the coefficients of (3) satisfy the local Lipschitz condition, so for any initial value x
¯
>
0, (3) has a unique local solution x
(
t
) on t
∈
[
0
,
τ
e
), where τ
e is the exploded time (see [28]). To show that this solution is global, we only need to show that τ
e
=
∞a.s. Let k
0
>
0 be sufficiently large satisfying x
¯
<
k
0. For each integer k
≥
k
0, define an increasing sequence of stopping times τ
k by the prescription
(7)
τ
k
=
inf
{
t
∈
[
0
,
τ
e
)
:
|
x
(
t
)
|
>
k
}
.
Clearly, τ
k is increasing as k
→
∞. Let τ
∞
=
lim
k
→
∞
τ
k; then τ
∞
≤
τ
e. If we can obtain τ
∞
=
∞ a.s., then τ
e
=
∞ a.s. In other words, if we can derive τ
∞
=
∞, then we complete the proof. For p
∈
(
0,1
), define a C
2-function V
:
ℝ
+
→
ℝ
+ by
(8)
V
(
x
)
=
x
p
.
Let T be an arbitrary positive constant, for 0
≤
t
≤
τ
k
∧
T, applying Itô's formula for semimartingales with jumps deduces that
(9)
d
V
(
x
(
t
)
)
=
p
x
p
-
1
x
[
(
a
(
t
)
-
b
(
t
)
x
)
d
t
+
σ
(
t
)
x
d
M
(
t
)
]
+
1
2
p
(
p
-
1
)
x
p
-
2
σ
2
(
t
)
x
4
d
〈
M
〉
(
t
)
+
∫
ℤ
‍
[
(
x
+
x
c
(
x
,
z
)
)
p
-
x
p
]
N
~
(
d
t
,
d
z
)
+
∫
ℤ
‍
[
(
x
+
x
c
(
x
,
z
)
)
p
-
x
p
-
p
x
p
-
1
x
c
(
x
,
z
)
]
×
π
(
d
z
)
d
t
=
p
x
p
[
(
a
(
t
)
-
b
(
t
)
x
)
d
t
+
σ
(
t
)
x
d
M
(
t
)
]
+
1
2
p
(
p
-
1
)
x
p
+
2
σ
2
(
t
)
d
〈
M
〉
(
t
)
+
x
p
∫
ℤ
‍
[
(
1
+
c
(
x
,
z
)
)
p
-
1
]
N
~
(
d
t
,
d
z
)
+
x
p
∫
ℤ
‍
[
(
1
+
c
(
x
,
z
)
)
p
-
1
-
p
c
(
x
,
z
)
]
π
(
d
z
)
d
t
≤
p
x
p
[
a
(
t
)
-
b
(
t
)
x
]
d
t
+
p
x
p
+
1
σ
(
t
)
d
M
(
t
)
+
x
p
∫
ℤ
‍
[
(
1
+
c
(
x
,
z
)
)
p
-
1
]
N
~
(
d
t
,
d
z
)
+
x
p
∫
ℤ
‍
[
(
1
+
c
(
x
,
z
)
)
p
-
1
-
p
c
(
x
,
z
)
]
π
(
d
z
)
d
t
=
L
V
(
x
(
t
)
)
d
t
+
p
x
p
+
1
σ
(
t
)
d
M
(
t
)
+
x
p
∫
ℤ
‍
[
(
1
+
c
(
x
,
z
)
)
p
-
1
]
N
~
(
d
t
,
d
z
)
,
where, for x
∈
ℝ
+,
(10)
L
V
(
x
)
=
p
x
p
[
a
(
t
)
-
b
(
t
)
x
]
+
x
p
∫
ℤ
‍
[
(
1
+
c
(
x
,
z
)
)
p
-
1
-
p
c
(
x
,
z
)
]
π
(
d
z
)
≔
K
1
(
x
,
p
)
+
K
2
(
x
,
p
)
.
Note that(11)
K
1
(
x
,
p
)
≤
K
|
x
|
p
+
1
+
o
(
|
x
|
p
+
1
)
.
By condition (6),
(12)
K
2
(
x
,
p
)
≤
-
δ
|
x
|
p
+
α
+
o
(
|
x
|
p
+
α
)
.
So, for α
>
1, there exists a K
>
0 such that
(13)
L
V
(
x
)
≤
K
,
∀
x
∈
ℝ
+
.
For any given l
>
0, define
(14)
μ
(
l
)
=
inf
{
V
(
x
)
,
|
x
|
≥
l
}
.
Then we see that
(15)
lim
l
→
∞
μ
(
l
)
=
∞
.
By (9), (13), and the definition of μ, we derive
(16)
μ
(
k
)
ℙ
(
τ
k
≤
T
)
≤
𝔼
[
V
(
x
(
τ
k
)
)
I
τ
k
≤
T
]
≤
𝔼
V
[
x
(
τ
k
∧
T
)
]
≤
K
.
Letting k
→
∞ and making use of (15), we obtain
(17)
ℙ
(
τ
∞
≤
T
)
=
0
.
By the arbitrariness of T, we reach that
(18)
ℙ
(
τ
∞
=
∞
)
=
1
.
This completes the proof.Remark 3.
From the conditions and the results of Theorem2, we can see that the jump processes can suppress the potential population explosion and guarantee the existence of the global solution.Remark 4.
The condition (6) can be achieved. Bao and Yuan [24] give an example to illustrate this.


## 3. Asymptotic Moment Properties

By now, we give the conditions to guarantee that (3) admits a unique global positive solution. From the biological point of view, the nonexplosion property and positivity in a population dynamical system are not good enough. In this section, we will examine the moment properties and stochastically ultimate boundedness.Theorem 5.
Let the conditions of Theorem2 hold. Then for any p
∈
(
0,1
), there exists a positive constant K satisfying
(19)
limsup
t
→
∞
𝔼
|
x
(
t
)
|
p
≤
K
.
Namely, (3) is asymptotically bounded in pth moment.Proof.
LetV be defined as (8). For any x
¯
<
k, we define a stopping time sequence
(20)
σ
k
=
inf
{
t
≥
0
:
|
x
(
t
)
|
>
k
}
.
Clearly,σ
k goes to infinity when k
→
∞. Applying Itô's formula leads to
(21)
𝔼
[
e
t
∧
σ
k
V
(
x
(
t
∧
σ
k
)
)
]
≤
V
(
x
¯
)
+
𝔼
∫
0
t
∧
σ
k
‍
e
s
[
V
(
x
(
s
)
)
+
L
V
(
x
(
s
)
)
]
d
s
,
where L
V is defined by (10). Because the leading term of L
V
(
x
) is -
δ
|
x
|
α
+
p with α
>
1 and δ
>
0, then there exists a constant K
>
0 such that
(22)
V
(
x
)
+
L
V
(
x
)
≤
K
.
Therefore,
(23)
𝔼
[
e
t
∧
σ
k
V
(
x
(
t
∧
σ
k
)
)
]
≤
V
(
x
¯
)
+
K
(
e
t
-
1
)
.
Letting k
→
∞, we reach
(24)
𝔼
[
e
t
x
p
(
t
)
]
≤
V
(
x
¯
)
+
K
(
e
t
-
1
)
.
This is equivalent to
(25)
𝔼
[
x
p
(
t
)
]
≤
V
(
x
¯
)
e
t
+
K
(
1
-
e
-
t
)
.
Taking upper limit for both sides, we can get our desired results. This completes the proof.As an application of Theorem5, together with Chebyshev's inequality, we follow the next corollary.Corollary 6.
Under the conditions of Theorem5, (3) is stochastically ultimate bounded. Namely, ∀
ϵ
∈
(
0,1
), ∃
H
=
H
ϵ
>
0 such that
(26)
limsup
t
→
+
∞
ℙ
[
|
x
(
t
)
|
>
H
]
<
ϵ
,
for any initial value x
(
0
)
>
0.


## 4. Asymptotic Pathwise Estimation

In the previous section, we consider how the solutions vary onℝ
+ in probability or in moment. The pathwise properties of the solutions are the subject of the present section. For later applications, we first give a lemma which is a generalization of exponential martingale inequality with jumps [25].Lemma 7.
Letf
:
[
0
,
∞
)
→
ℝ and h
:
[
0
,
∞
)
×
𝕐
→
ℝ be both predictable {
ℱ
t
}—adapted processes such that for any T
>
0,
(27)
∫
0
T
‍
|
f
(
t
)
|
2
d
〈
M
〉
(
t
)
<
∞
a
.
s
.
,
∫
0
T
∫
ℤ
|
h
(
t
,
z
)
|
2
π
(
d
z
)
d
t
<
∞
a
.
s
.
Then for any constants α
,
β
>
0,
(28)
ℙ
{
sup
0
≤
t
≤
T
[
∫
0
t
f
(
s
)
d
M
(
s
)
-
α
2
∫
0
t
|
f
(
s
)
|
2
d
〈
M
〉
(
s
)
+
∫
0
t
∫
ℤ
h
(
s
,
z
)
N
~
(
d
s
,
d
z
)
-
1
α
∫
0
t
∫
ℤ
[
e
α
h
(
s
,
z
)
-
1
-
α
h
(
s
,
z
)
]
π
(
d
z
)
d
s
]
>
β
sup
0
≤
t
≤
T
[
∫
0
t
f
(
s
)
d
M
(
s
)
-
α
2
∫
0
t
|
f
(
s
)
|
2
d
〈
M
〉
(
s
)
}
≤
e
-
α
β
.Proof.
This part is motivated by [25]. For every integer k
≥
1, define the stopping time sequence
(29)
ρ
k
=
inf
{
t
≥
0
:
|
∫
0
t
f
(
s
)
d
M
(
s
)
|
+
α
2
∫
0
t
|
f
(
s
)
|
2
d
〈
M
〉
(
s
)
+
|
∫
0
t
∫
ℤ
h
(
s
,
z
)
N
~
(
d
s
,
d
z
)
|
+
1
α
|
∫
0
t
∫
ℤ
[
e
α
h
(
s
,
z
)
-
1
-
α
h
(
s
,
z
)
]
π
(
d
z
)
d
s
|
≥
k
}
and Itô's process
(30)
x
k
(
t
)
=
α
∫
0
t
‍
f
(
s
)
I
[
[
0
,
ρ
k
]
]
(
s
)
d
M
(
s
)
-
α
2
2
∫
0
t
‍
|
f
(
s
)
|
2
I
[
[
0
,
ρ
k
]
]
(
s
)
d
〈
M
〉
(
s
)
+
α
∫
0
t
‍
∫
ℤ
‍
h
(
s
,
z
)
I
[
[
0
,
ρ
k
]
]
(
s
)
N
~
(
d
s
,
d
z
)
-
∫
0
t
‍
∫
ℤ
‍
[
e
α
h
(
s
,
z
)
-
1
-
α
h
(
s
,
z
)
]
I
[
[
0
,
ρ
k
]
]
(
s
)
π
(
d
z
)
d
s
.
From the definition ofρ
k, we can see that x
k
(
t
) is bounded and ρ
k
↑
∞ a.s., when k
→
∞. Applying Itô's formula to exp
[
x
k
(
t
)
], we reach
(31)
e
x
k
(
t
)
=
1
+
α
∫
0
t
‍
e
x
k
(
s
)
f
(
s
)
I
[
[
0
,
ρ
k
]
]
(
s
)
d
M
(
s
)
+
∫
0
t
‍
∫
ℤ
‍
e
x
k
(
s
)
(
e
α
h
(
s
,
z
)
-
1
)
I
[
[
0
,
ρ
k
]
]
(
s
)
N
~
(
d
s
,
d
z
)
.
This equality implies thatexp
[
x
k
(
t
)
] is a local martingale with 𝔼
(
exp
[
x
k
(
t
)
]
)
=
1, so exp
[
x
k
(
t
)
] is a martingale (see Theorem 5.2
.
4 in [25]). By virtue of Doob's martingale inequality, we derive
(32)
ℙ
(
sup
0
≤
t
≤
T
exp
[
x
k
(
t
)
]
>
e
α
β
)
≤
e
-
α
β
𝔼
(
exp
[
x
k
(
T
)
]
)
=
e
-
α
β
.
This is equivalent to(33)
ℙ
{
sup
0
≤
t
≤
T
[
∫
0
t
f
(
s
)
I
[
[
0
,
ρ
k
]
]
(
s
)
d
M
(
s
)
cccccccc
-
α
2
∫
0
t
‍
|
f
(
s
)
|
2
I
[
[
0
,
ρ
k
]
]
(
s
)
d
〈
M
〉
(
s
)
cccccccc
+
∫
0
t
‍
∫
ℤ
‍
h
(
s
,
z
)
I
[
[
0
,
ρ
k
]
]
(
s
)
N
~
(
d
s
,
d
z
)
cccccccc
-
1
α
∫
0
t
‍
∫
ℤ
‍
[
e
α
h
(
s
,
z
)
-
1
-
α
h
(
s
,
z
)
]
I
[
[
0
,
ρ
k
]
]
(
s
)
cccccccccccccccccc
×
π
(
d
z
)
d
s
[
∫
0
t
f
(
s
)
I
[
[
0
,
ρ
k
]
]
(
s
)
d
M
(
s
)
]
>
β
[
∫
0
t
f
(
s
)
I
[
[
0
,
ρ
k
]
]
(
s
)
dM
(
s
)
}
≤
e
-
α
β
.
Letk
→
∞, we can arrive at our desired result. This completes the proof.Theorem 8.
Let the conditions of Theorem2 hold. Assume further that there exist constants θ
∈
(
0,1
) and λ
>
0 such that
(34)
∫
ℤ
‍
[
l
n
2
(
1
+
c
(
x
,
z
)
)
+
16
c
(
x
,
z
)
]
π
(
d
z
)
≤
λ
|
x
|
θ
+
o
(
|
x
|
θ
)
.
Then there exists a constantK
>
0, independent of initial value x
¯
>
0, such that the solution x
(
t
) of (3) satisfyies
(35)
limsup
t
→
∞
ln
x
(
t
)
ln
t
≤
K
a
.
s
.Proof.
By Theorem2, (3) has a unique global positive solution for any initial condition x
¯
>
0. Applying Itô's formula to [
e
t
ln
x
(
t
)
] leads to
(36)
e
t
ln
x
(
t
)
-
ln
x
¯
=
∫
0
t
‍
e
s
[
ln
x
(
s
)
+
a
(
s
)
-
b
(
s
)
x
(
s
)
]
d
s
+
∫
0
t
‍
e
s
σ
(
s
)
x
(
s
)
d
M
(
s
)
-
1
2
∫
0
t
‍
e
s
σ
2
(
s
)
x
2
(
s
)
d
〈
M
〉
(
s
)
+
∫
0
t
∫
ℤ
e
s
ln
(
1
+
c
(
x
,
z
)
)
N
~
(
d
s
,
d
z
)
+
∫
0
t
∫
ℤ
e
s
[
ln
(
1
+
c
(
x
,
z
)
)
-
c
(
x
,
z
)
]
c
c
c
c
c
c
c
×
π
(
d
z
)
d
s
.
By Lemma7, for any α
,
β
,
T
>
0, we have
(37)
ℙ
{
ω
:
sup
0
≤
t
≤
T
[
∫
0
t
e
s
σ
(
s
)
x
(
s
)
d
M
(
s
)
c
c
c
c
c
c
c
c
c
c
c
-
α
2
∫
0
t
e
2
s
σ
2
(
s
)
x
2
(
s
)
d
〈
M
〉
(
s
)
c
c
c
c
c
c
c
c
c
c
c
+
∫
0
t
∫
ℤ
e
s
ln
(
1
+
c
(
x
,
z
)
)
N
~
(
d
s
,
d
z
)
c
c
c
c
c
c
c
c
c
c
c
-
1
α
∫
0
t
∫
ℤ
[
(
1
+
c
(
x
,
z
)
)
α
e
s
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
-
1
-
α
e
s
ln
(
1
+
c
(
x
,
z
)
)
(
1
+
c
(
x
,
z
)
)
α
e
s
]
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
×
π
(
d
z
)
d
s
[
∫
0
t
e
s
σ
(
s
)
x
(
s
)
d
M
(
s
)
]
>
β
}
≤
e
-
α
β
.
TakeT
=
k, α
=
ɛ
e
-
k, and β
=
(
2
e
k
ln
k
)
/
ɛ, where k
∈
ℕ and 0
<
ɛ
<
1
/
2. By Borel-Cantalli's lemma, for almost all ω
∈
Ω, there is an integer k
0
=
k
0
(
ω
) such that
(38)
∫
0
t
e
s
σ
(
s
)
x
(
s
)
d
M
(
s
)
+
∫
0
t
∫
ℤ
e
s
ln
(
1
+
c
(
x
,
z
)
)
N
~
(
d
s
,
d
z
)
≤
2
e
k
ln
k
ɛ
+
ɛ
e
-
k
2
∫
0
t
e
2
s
σ
2
(
s
)
x
2
(
s
)
d
〈
M
〉
(
s
)
+
1
ɛ
e
-
k
∫
0
t
∫
ℤ
[
(
1
+
c
(
x
,
z
)
)
ɛ
e
s
-
k
-
1
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
-
ɛ
e
s
-
k
ln
(
1
+
c
(
x
,
z
)
)
[
(
1
+
c
(
x
,
z
)
)
ɛ
e
s
-
k
-
1
]
π
(
d
z
)
d
s
,
for 0
≤
t
≤
k and k
≥
k
0. Therefore, for 0
≤
t
≤
k and k
≥
k
0,
(39)
ln
x
(
t
)
≤
e
-
t
ln
x
¯
+
∫
0
t
‍
e
s
-
t
[
ln
x
(
s
)
+
a
(
s
)
-
b
(
s
)
x
(
s
)
]
d
s
+
1
2
∫
0
t
e
s
-
t
σ
2
(
s
)
x
2
(
s
)
[
ɛ
e
s
-
k
-
1
]
d
〈
M
〉
(
s
)
+
2
e
k
-
t
ln
k
ɛ
+
∫
0
t
∫
ℤ
e
s
-
t
[
ln
(
1
+
c
(
x
,
z
)
)
cccccccccccccccccccccccccc
-
c
(
x
,
z
)
ln
(
1
+
c
(
x
,
z
)
)
]
π
(
d
z
)
d
s
+
e
k
-
t
ɛ
∫
0
t
∫
ℤ
[
(
1
+
c
(
x
,
z
)
)
ɛ
e
s
-
k
-
1
ccccccccccccccc
-
ɛ
e
s
-
k
ln
(
1
+
c
(
x
,
z
)
)
[
(
1
+
c
(
x
,
z
)
)
ɛ
e
s
-
k
-
1
]
π
(
d
z
)
d
s
≤
e
-
t
ln
x
¯
+
∫
0
t
‍
e
s
-
t
[
ln
x
(
s
)
+
a
(
s
)
ccccccccccccccccccc
-
b
(
s
)
x
(
s
)
]
d
s
+
2
e
k
-
t
ln
k
ɛ
+
e
k
-
t
ɛ
∫
0
t
∫
ℤ
[
(
1
+
c
(
x
,
z
)
)
ɛ
e
s
-
k
-
1
cccccccccccccccc
-
ɛ
e
s
-
k
ln
(
1
+
c
(
x
,
z
)
)
[
(
1
+
c
(
x
,
z
)
)
ɛ
e
s
-
k
-
1
]
π
(
d
z
)
d
s
≔
e
-
t
ln
x
¯
+
J
1
(
t
)
+
2
e
k
-
t
ln
k
ɛ
+
J
2
(
t
)
,
where in the second step we use the fundamental inequality ln
x
≤
x
-
1, for x
>
0, and ɛ
e
s
-
k
-
1
≤
0. Making use of Taylor's series expansion, for ɛ
∈
(
0
,
1
/
2
), x
∈
ℝ
+, z
∈
ℤ,
(40)
(
1
+
c
(
x
,
z
)
)
ɛ
e
s
-
k
=
1
+
ɛ
e
s
-
k
ln
(
1
+
c
(
x
,
z
)
)
+
ɛ
2
e
2
(
s
-
k
)
2
(
1
+
c
(
x
,
z
)
)
ξ
ln
2
(
1
+
c
(
x
,
z
)
)
,
where ξ
∈
(
0
,
ɛ
). Thus
(41)
(42)
J
2
(
t
)
=
∫
0
t
‍
∫
ℤ
‍
ɛ
e
2
s
-
k
-
t
2
(
1
+
c
(
x
,
z
)
)
ξ
ln
2
(
1
+
c
(
x
,
z
)
)
×
π
(
d
z
)
d
s
.
For t
≤
k and k
≥
k
0, we have
(43)
J
2
(
t
)
=
∫
0
t
‍
∫
-
1
<
c
(
x
,
z
)
<
0
‍
ɛ
e
2
s
-
k
-
t
2
(
1
+
c
(
x
,
z
)
)
ξ
×
ln
2
(
1
+
c
(
x
,
z
)
)
π
(
d
z
)
d
s
+
∫
0
t
‍
∫
c
(
x
,
z
)
≥
0
‍
ɛ
e
2
s
-
k
-
t
2
(
1
+
c
(
x
,
z
)
)
ξ
×
ln
2
(
1
+
c
(
x
,
z
)
)
π
(
d
z
)
d
s
≔
J
21
(
t
)
+
J
22
(
t
)
.
For -
1
<
c
(
x
,
z
)
<
0 and 0
<
ξ
<
ɛ
<
1
/
2, we have (
1
+
c
)
ξ
<
1. So
(44)
J
21
(
t
)
<
∫
0
t
‍
∫
-
1
<
c
(
x
,
z
)
<
0
‍
ɛ
e
2
s
-
k
-
t
2
×
ln
2
(
1
+
c
(
x
,
z
)
)
π
(
d
z
)
d
s
≤
∫
0
t
‍
∫
ℤ
‍
ɛ
e
2
s
-
k
-
t
2
ln
2
(
1
+
c
(
x
,
z
)
)
π
(
d
z
)
d
s
.
By virtue of the fundamental inequality (ln
x
≤
x
-
1
,
x
>
0)
(45)
1
4
ln
x
=
ln
x
1
/
4
≤
x
1
/
4
-
1
and noting that (
1
+
c
)
ξ
≤
(
1
+
c
)
1
/
2 when c
(
x
,
z
)
≥
0 and 0
≤
ξ
<
ɛ
<
1
/
2, we see that
(46)
J
22
(
t
)
≤
16
∫
0
t
‍
∫
c
(
x
,
z
)
≥
0
‍
ɛ
e
2
s
-
k
-
t
2
(
1
+
c
(
x
,
z
)
)
π
(
d
z
)
d
s
≤
16
∫
0
t
‍
∫
ℤ
‍
ɛ
e
2
s
-
k
-
t
2
(
1
+
c
(
x
,
z
)
)
π
(
d
z
)
d
s
.
Substituting (44) and (46) into (43), for t
≤
k and k
≥
k
0, we find
(47)
J
2
(
t
)
≤
ɛ
2
∫
0
t
‍
∫
ℤ
‍
e
s
-
t
[
ln
2
(
1
+
c
(
x
,
z
)
)
+
16
(
1
+
c
(
x
,
z
)
)
ln
2
(
1
+
c
(
x
,
z
)
)
]
π
(
d
z
)
d
s
.
By condition (34), there exists a constant K
>
0 such that
(48)
J
1
(
t
)
+
J
2
(
t
)
≤
K
(
1
-
e
-
t
)
.
Substituting (48) into (39), for any ω
∈
Ω, 0
≤
t
≤
k, and k
≥
k
0, we arrive at
(49)
ln
x
(
t
)
≤
e
-
t
ln
x
¯
+
2
e
k
-
t
ln
k
ɛ
+
K
.
Therefore, fork
-
1
≤
t
≤
k, we have
(50)
ln
x
(
t
)
ln
t
≤
ln
x
¯
e
t
ln
t
+
K
ln
t
+
2
e
ln
k
ɛ
ln
(
k
-
1
)
.
Lettingk
→
∞ (then t
→
∞), we follow that
(51)
limsup
t
→
+
∞
ln
x
(
t
)
ln
t
≤
2
e
ɛ
.
Lettingɛ
↑
1
/
2, we can obtain our desired assertion. This completes the proof.Remark 9.
The condition (34) can be fulfilled; Bao and Yuan [24] give an example to show this.Using the equalitylim
t
→
∞
(
ln
t
)
/
t
=
0 and Theorem 8, we follow that the sample Lyapunov exponent of (3) is less than or equal to zero, which is described by the following corollary.Corollary 10.
Under the conditions of Theorem8, one has
(52)
limsup
t
→
+
∞
ln
x
(
t
)
t
≤
0
a
.
s
.


## 5. Conclusions

In this paper, we consider the stochastic logistic system driven by martingales with jumps. The martingale and jumps make our study more difficult. For the system, sufficient criteria for the existence of a global positive solution are obtained; then asymptotic boundedness, inpth moment, stochastically ultimate boundedness and asymptotic pathwise behavior are considered. The results strictly generalize the existing results, so it is meaningful and important.



---

*Source: 927013-2014-01-12.xml*