Available online at www.sciencedirect.com
ScienceDirect J. Differential Equations 266 (2019) 2100–2124 www.elsevier.com/locate/jde
The principal eigenvalue for periodic nonlocal dispersal systems with time delay Xing Liang a , Lei Zhang b,∗ , Xiao-Qiang Zhao c a School of Mathematical Sciences and Wu Wen-Tsun Key Laboratory of Mathematics, University of Science and
Technology of China, Hefei, Anhui 230026, China b Department of Mathematics, Harbin Institute of Technology in Weihai, Weihai, Shandong 264209, China c Department of Mathematics and Statistics, Memorial University of Newfoundland, St. John’s, NL A1C 5S7, Canada
Received 28 January 2018; revised 29 July 2018 Available online 14 August 2018
Abstract The theory of the principal eigenvalue is established for the eigenvalue problem associated with a linear time-periodic nonlocal dispersal cooperative system with time delay. Then we apply it to a Nicholson’s blowflies population model and obtain a threshold type result on its global dynamics. © 2018 Elsevier Inc. All rights reserved. MSC: 34K08; 35K57; 37B55 Keywords: Principal eigenvalue; Periodic systems; Time delay; Nonlocal dispersal
1. Introduction In this paper, we focus on the eigenvalue problem associated with a linear time-periodic nonlocal dispersal system with time delay. In the past decades, there have been quite a few works on reaction–diffusion systems in spatial ecology and epidemiology (see, e.g., [11,12,23]), and the principal eigenvalue is a powerful tool to analyze the dynamics of such systems (see, e.g., [5,34,39]). For some special evolution systems, the global dynamics can also be determined by the sign of the principal eigenvalue of the associated linear system. However, the integral oper* Corresponding author.
E-mail address:
[email protected] (L. Zhang). https://doi.org/10.1016/j.jde.2018.08.022 0022-0396/© 2018 Elsevier Inc. All rights reserved.
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
2101
ator seems to be a more natural choice in the description of a long-range process. For nonlocal dispersal systems in a heterogeneous environment, Coville and his collaborators [7,3,18] investigated the existence, estimates and asymptotic behaviors of the principal eigenvalues. Shen and her collaborators [29,28,2] developed the principal eigenvalue theory for the spatially heterogeneous nonlocal dispersal systems in time homogeneous and time-periodic environments. Wang, Li, and Sun [32] studied the principal eigenvalue for a class of partially degenerate nonlocal dispersal systems. In population models, time delay arises naturally, e.g., the mutation period and latent period. Although there have been some investigations on nonlocal dispersal systems with time delay (see, e.g., [33,36]), the principal eigenvalue has not been well studied for the associated linear systems. Our purpose is to develop the theory of the principal eigenvalue for periodic nonlocal dispersal systems with time delay. Due to the lack of compactness for the solution maps of linear nonlocal dispersal systems, the existence of the principal eigenvalue cannot be obtained directly by the Krein–Rutman theorem. In order to overcome this difficulty, Bürger [4] presented a method to study the eigenvalue problem of perturbations of positive semigroups. The principal eigenvalue theory developed by Shen and her collaborators [29,28,2] benefits from the Bürger’s results. An alternative way is to use a generalized Krein–Rutman theorem, going back to Nussbaum [24] and Edmunds, Potter and Stuart [10]. It is worth pointing out that Coville [7] obtains the existence of the principal eigenvalue by verifying the conditions in [10]. Ding and Liang [9] showed that the principal eigenvalue exists for an integral operator by using the results in [29] and [24]. For our purpose, we will employ the results established in [10,24] and [20, Appendix A]. Another difficulty is that the infinitesimal generator of a nonlocal dispersal system with time delay cannot be expressed explicitly, which makes the Bürger’s method not applicable. To obtain sufficient conditions for the existence of the principal eigenvalue, we also use some properties of resolvent positive operators (see, e.g., [1,30]). The remaining part of the paper is organized as follows. In the next section, we give the definition of the principal eigenvalue and properties about the resolvent positive operators, and prove spectral properties for ordinary differential equations (ODEs) and delay differential equations (DDEs). In section 3, we establish the theory of the principal eigenvalue for nonlocal dispersal systems with time delay in spatially heterogeneous and time-periodic environments with the help of a generalized Krein–Rutman theorem. In section 4, we apply these results to study the global dynamics of a Nicholson’s blowflies population model. 2. Preliminaries Let (E, E+ ) be an ordered Banach space with Int(E+ ) = ∅. We use ≥(> and ) to represent the (strict and strong) order relation induced by the cone E+ . For convenience, we say an element ˜ the is positive if it is in the cone E+ . Letting E˜ be another Banach space, we denote by L(E, E) Banach space of all continuous linear operators from E to E˜ which is equipped with the operator norm · E,E˜ . Moreover, we write L(E) = L(E, E) and · E = · E,E . Throughout this paper, we use I to denote the identity map on any Banach space. We first recall some definitions related to a closed operator L. The spectrum set and resolvent set of L are defined as σ (L) = {λ ∈ C : λI − L has no bounded inverse}, and ρ(L) = C \ σ (L). Then the spectral bounded of L is denoted by
2102
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
s(L) = sup{Re λ : λ ∈ σ (L)}. We use N (L) and R(L) to denote the null space and range of L, respectively. L is said to be a Fredholm operator if the following conditions are satisfied: (1) (2) (3) (4)
R(L) is closed, L is densely defined, dim N (L) < +∞, codim R(L) < +∞.
The Fredholm index is defined to be ind(L) = dim N (L) − codim R(L). According to [27, Section 7.5], the essential spectrum of L is defined as σe (L) ={λ ∈ σ (L) : λI − L is not a Fredholm operator with ind(λI − L) = 0}. A closed linear operator L is called resolvent positive if the resolvent set of L contains a ray (ω, +∞) such that (λI − L)−1 is positive for all λ ≥ ω. For a bounded linear operator A, we use r(A) to denote its spectral radius. The following two results are straightforward consequence of [30, Theorem 1.1]. Lemma 2.1. Let (E, E+ ) be an ordered Banach space with the cone E+ being normal and reproducing. Let B be a resolvent positive operator and C be a bounded positive operator, respectively. If r((λ0 I − B)−1 C) < 1 for some λ0 > s(B), then the following statements are valid: (i) (ii) (iii) (iv)
B + C is resolvent positive. s(B + C) ≥ s(B). (λI − (B + C))−1 φ ≥ (λI − B)−1 φ in E for all φ ∈ E+ , whenever λ > s(B + C). If, in addition, r((λ1 − B)−1 C) > 1 for some λ1 > s(B), then s(B + C) > s(B).
Lemma 2.2. Let (E, E+ ) be an ordered Banach space with the cone E+ being normal and reproducing. Let B be a resolvent positive operator and C be a bounded positive operator, respectively. If A = B + C is resolvent positive, then s(A) ≥ s(B). Let T > 0 be a given number. A family of bounded linear operators (t, s) on E, t, s ∈ R with t ≥ s, is called T -periodic evolutionary system provided that (s, s) = I,
(t, r)(r, s) = (t, s),
(t + T , s + T ) = (t, s),
for all t, s, r ∈ R with t ≥ r ≥ s, and for each e ∈ E, (t, s)e is a continuous function of (t, s), t ≥ s. Throughout this paper, we adopt the following definition of the principal eigenvalue. Definition 2.3. Assume that (E, E+ ) is an ordered Banach space, and L is a positive bounded linear operator on E. The spectral radius r(L) of L is called the principal eigenvalue if r(L) is an eigenvalue of L with a positive eigenvector. The principal eigenvalue is said to be isolated if r(L) is isolated in the spectrum of L.
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
2103
For a given integer m > 0, we write Y = Rm with the positive cone Y+ = Rm + . Let Y := {u ∈ C(R, Y ) : u(t) = u(t + T ), ∀t ∈ R}, which is equipped with the maximum norm and the positive cone Y+ := {u ∈ Y : u(t) ≥ 0 in Y, ∀t ∈ R}. 2.1. Spectral properties for ODEs Let A(t) be a m × m matrix-valued continuous and T -periodic function on R. Assume that (A) For any t ∈ R, A(t) is cooperative, that is, all off-diagonal elements of A(t) are nonnegative. Define an operator from D(LO ) ⊂ Y to Y: [LO u](t) = −
du + A(t)[u(t)], u ∈ D(LO ), t ∈ R. dt
It is easy to verify that LO is closed and densely defined on Y. Proposition 2.4. Let (A) hold. Then the following statements are valid: (i) The operator LO is resolvent positive on Y. (ii) λI − LO is a Fredholm operator with index being 0 on Y for all λ ∈ R and on the complexification of Y for all λ ∈ C. (iii) The spectrum of LO consists of eigenvalues only, and each eigenvalue is isolated. (iv) The spectral bound s(LO ) is an eigenvalue of LO with a positive eigenvector. (v) Let ω be a real number such that ω > s(LO ). Then there exists some M > 0 such that M (λI − LO )−1 Y ≤ λ−ω for all λ > ω. Proof. (i) We first notice that LO is closed and densely defined on Y. Moreover, βI − LO is invertible and (βI − LO )−1 is compact and positive for all large enough real number β. Thus, LO is resolvent positive. (ii) and (iii) According to [27, Theorem 6.23], it suffices to prove Ind(λI − LO ) = 0 for all λ ∈ R, where Ind(L) is the Fredholm index of the operator L. Let λ be a real number. Fix β0 large enough such that (β0 I − LO )−1 is compact, and hence, Ind([(λ − β0 )(β0 I − LO )−1 + I ]) = 0,
Ind(β0 I − LO ) = 0.
Since λI − LO = [(λ − β0 )(β0 I − LO )−1 + I ](β0 I − LO ) on D(LO ), it follows (see, e.g., [27, Theorem 7.3]) Ind(λI − LO ) = Ind([(λ − β0 )(β0 I − LO )−1 + I ]) + Ind(β0 I − LO ) = 0.
2104
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
In the case where λ is a complex number, the desired conclusion can be derived by the same arguments. (iv) It is a straightforward result of [30, Proposition 3.10]. (v) This conclusion can be derived by using the fact that LO is an infinitesimal generator of a strongly continuous semigroup (see, e.g., [6, Section 3.2 and Theorem 2.2]). 2 2.2. Spectral properties for DDEs Let τ > 0 be a given number, and write Y := C([−τ, 0], Y ) with the maximum norm and the positive cone Y+ := C([−τ, 0], Y+ ). Let F : R → L(Y, Y ) be a map and F (t) be T -periodic in t ∈ R. For any u : [−τ, σ ) → Y with σ > 0, we define ut ∈ Y by ut (θ ) = u(t + θ ), θ ∈ [−τ, 0]. Assume that (F) For each t ∈ R, the linear operator F (t) : Y → Y can be expressed as 0 F (t)φ =
[dθ η(t, θ)]φ(θ), t ∈ R, φ ∈ Y,
−τ
where η(t, θ ) is an m × m matrix-value function which is measurable in (t, θ ) ∈ R × R and normalized so that η(t, θ ) = 0, ∀θ ≥ 0 and η(t, θ ) = η(t, −τ ), ∀θ ≤ −τ . Moreover, η(t, θ ) is continuous from the left in θ on (−τ, 0), η(t, θ ) has bounded variation in θ on [−τ, 0] for each t , and V ar[−τ,0] η(t, ·) ≤ M(t) for some M ∈ Lloc 1 (R), the space of functions on R that are Lebesgue integrable on each compact subset of R. Further, M(t) ≤ M0 , ∀t ∈ [0, T ], for some real number M0 > 0, F (t)φ is jointly continuous in (t, φ) ∈ R × Y, and for each t ∈ R, F (t) is positive in the sense that F (t)Y+ ⊂ Y+ . Define two operators LD : D(LD ) ⊂ Y → Y and LF : Y → Y, [LD u](t) := −
du + A(t)u(t) + F (t)ut , u ∈ D(LD ), t ∈ R, dt
and [LF u](t) := F (t)ut , u ∈ Y, t ∈ R. Clearly, LD = LO + LF , and LD is closed and densely defined on Y. We further have the following result. Proposition 2.5. Let (A) and (F) hold. Then the following statements are valid: (i) The operator LD is resolvent positive on Y. (ii) λI − LD is a Fredholm operator with index being 0 on Y for all λ ∈ R and on the complexification of Y for all λ ∈ C.
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
2105
(iii) The spectrum of LD consists of eigenvalues only, and each eigenvalue is isolated. (iv) The spectral bound s(L0 ) is an eigenvalue of LO with a positive eigenvector. Proof. (i) We first show that LF is a bounded linear operator on Y. For any u ∈ Y, t ∈ R, F (t)ut Y ≤ F (t)Y ,Y ut Y ≤ F (t)Y ,Y uY , and hence, LF Y = sup LF uY = sup uY =1
sup F (t)ut Y ≤ sup M(t) ≤ M0 .
uY =1 t∈[0,T ]
t∈[0,T ]
By Lemma 2.1 with B = LO and C = LF , it suffices to prove r(LF (β0 − LD )−1 ) < 1 for some β0 . Here, we choose β0 such that (β0 − LD )−1 Y < LF −1 Y due to Proposition 2.4(v). Therefore, r(LF (β0 − LD )−1 ) ≤ (β0 − LD )−1 Y LF Y < 1. Since LF is a bounded linear operator, we have D(LO ) = D(LD ). Note that for any λ ∈ R, (λI − LD ) = [(λI − β0 I − LF )(β0 I − LO )−1 + I ](β0 I − LO ) on D(LD ). The remaining conclusions can be obtained by the essentially same arguments as those in Proposition 2.4. 2 According to [14, Section 6.1], the following linear and periodic delay differential system dv = A(t)v(t) + F (t)vt , dt
(2.1)
admits a unique solution u(t, s, φ) with the initial data u(s + θ, s, φ) = φ(θ), ∀θ ∈ [−τ, 0]. The evolution family {D(t, s) : t ≥ s} on Y associated with system (2.1) is defined by [D(t, s)φ](θ ) = u(s + θ, s, φ), θ ∈ [−τ, 0]. Clearly, D(t, s) is positive on Y for any t ≥ s. Now we introduce a series of perturbation operators. For any given γ ∈ R, let εγ be a linear operator on Y defined by: [εγ φ](θ ) := eγ θ φ(θ), θ ∈ [−τ, 0], φ ∈ Y, and Qγ be the linear operator on Y defined by: [Qγ u](t) := −
du + A(t)u(t) + F (t)εγ ut , u ∈ Y, t ∈ R. dt
Lemma 2.6. Let (A) and (F) hold. Then there exists a unique γ ∗ ∈ R such that s(Qγ ∗ ) = γ ∗ . ∗ Moreover, r(D(T , 0)) = eγ T .
2106
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
Proof. It follows from [16, Section IV.3.5] and Proposition 2.5 that s(Qγ ) is continuous in γ ∈ R. Since εγ1 φ ≤ εγ2 φ, ∀γ1 ≥ γ2 , φ ∈ Y+ , letting B = Qγ1 and [Cu](t) = F (t)εγ2 ut − F (t)εγ1 ut in Lemma 2.2, we easily see that the function s(Qγ ) is nonincreasing in γ ∈ R. Therefore, μ(γ ) = s(Qγ ) − γ is strictly decreasing on R. Since μ(0) = s(Q0 ) is a finite number, we have μ(+∞) ≤ μ(0) − ∞ and μ(−∞) ≥ μ(0) + ∞, and hence, μ(+∞) = −∞ and μ(−∞) = +∞. Thus, there exists a unique γ ∗ ∈ R such that s(Qγ ∗ ) = γ ∗ by the intermediate value theorem. It is easy to see that γ ∗ satisfies the following eigenvalue problem du = A(t)u(t) + F (t)ελ ut − λu, dt ∗
with a positive eigenvector u∗ ∈ Y+ \ {0}. Let v(t) = eγ t u∗ (t), t ∈ R. Then v(t) is a solution of system (2.1). Letting φ = v0 , we then have D(T , 0)φ = vT = eγ
∗T
εγ ∗ u∗T = eγ
∗T
εγ ∗ u∗0 = eγ
∗T
φ.
We further claim that φ = 0. Otherwise, v(t) ≡ 0, and hence, u∗ (t) ≡ 0. Note that D(T , 0) is eventually compact, that is, there is some n0 > 0 such that D(n0 T , 0) is compact (see, e.g., [14, Section 3.6]). This implies that re (D(T , 0)) = 1. Since D(T , 0) is positive, r(D(T , 0)) is an eigenvalue of D(T , 0) with a positive eigenvector due to [24, Corollary 2.2]. ∗ Suppose, by contradiction, that r(D(T , 0)) > eγ T . Then there exists λ∗ > γ ∗ such that ∗T λ ∗ e = r(D(T , 0)). This implies that λ is an eigenvalue of Qλ∗ by the Krein–Rutman theorem. Since s(Qγ ) is nonincreasing in γ ∈ R, it follows that λ∗ ≤ s(Qλ∗ ) ≤ s(Qγ ∗ ) = γ ∗ , which is impossible. 2 Remark 2.1. By Lemma 2.6, we have the following observation: (i) r(D(T , 0)) = 1 implies that γ ∗ = 0, and hence, s(Q0 ) = 0. (ii) r(D(T , 0)) > 1 implies that γ ∗ > 0, and hence, s(Q0 ) ≥ s(Qγ ∗ ) = γ ∗ > 0. (iii) r(D(T , 0)) < 1 implies that γ ∗ < 0, and hence, s(Q0 ) ≤ s(Qγ ∗ ) = γ ∗ < 0. Thus, the sign equivalence in [38, Theorem 2.1] is implied by [31, Theorem 3.5] and the above observation with Q0 = LD . 2.3. Proprieties of the spectrum of bounded operators Let be a compact subset of Rl , Y˜ be a Banach space, and X˜ = C(, Y˜ ) with the maximum norm. For each x ∈ , let M(x) be a bounded operator on Y˜ . We assume that M(x) is continuous in x ∈ with respect to the operator norm. Next, we define ˜ x ∈ . [Mu](x) := M(x)u(x), ∀u ∈ X, Proposition 2.7. σe (M) = σ (M) = ∪x∈ σ (M(x)). Proof. We only prove the conclusion for the real spectrum point. The result for the complex ˜ We prospectrum point can be obtained by an analogous method on the complexification of X. ceed with three steps.
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
2107
Step 1: ∪x∈ σ (M(x)) ⊂ σ (M). For each x ∈ , it suffices to show that if μ ∈ σ (M(x)), then μ ∈ σ (M). Fix a x0 ∈ . Without loss of generality, we assume that μ = 0. If M(x0 ) is not a surjection, we can choose c ∈ Y˜ such that c does not belong to the range of M(x0 ). Let v ∈ X˜ with v(x0 ) = c. It is easy to see that v does not belong to the range of M either. Hence, 0 ∈ σ (M). Next, we consider the case when M(x0 ) is a surjection. For any > 0, there exists δ > 0 such that M(x0 ) − M(x)Y˜ ≤ , ∀x ∈ B(x0 , δ), where B(x, r) is a ball centered at x of radius r. Since 0 ∈ σ (M(x0 )), it is easy to find an element a ∈ Y˜ with aY˜ = 1 such that M(x0 )a ≤ . Hence, M(x)aY˜ ≤ M(x0 )aY˜ + M(x0 )a − M(x)aY˜ ≤ 2, ∀x ∈ B(x0 , δ). Let p(x) be a continuous function on defined by p(x) =
1, x ∈ B(x0 , 2δ ), 0, x ∈ \ B(x0 , δ),
with p(x) ≤ 1, ∀x ∈ . Define u ∈ X˜ by u(x) = p(x)a, ∀x ∈ . It then follows that MuX˜ = max M(x)u(x)Y˜ = max p(x)M(x)aY˜ ≤ 2. x∈
x∈
This implies that 0 ∈ σ (M). Step 2: ∪x∈ σ (M(x)) = σ (M). It suffices to show that if μ ∈ / ∪x∈ σ (M(x)), then μ ∈ / σ (M). Fix a μ ∈ / ∪x∈ σ (M(x)). This implies that (μ − M(x))−1 is bounded for all x ∈ . Hence, (μ − M)−1 can be defined as ˜ x ∈ . [(μ − M)−1 u](x) = (μ − M(x))−1 u(x), ∀u ∈ X, ˜ For any x, y ∈ , we We only need to prove that (μ − M)−1 is well defined and bounded on X. have (μ − M(x))−1 − (μ − M(y))−1 = (μ − M(x))−1 (M(x) − M(y))(μ − M(y))−1 . ˜ Moreover, (μ − M(x))−1 ˜ is continuous This implies that (μ − M)−1 is well defined on X. Y with respect to x ∈ from the above formula, and hence, maxx∈ (μ − M(x))−1 Y˜ exists. Since (μ − M)−1 uX˜ = max (μ − M(x))−1 u(x)Y˜ ≤ max (μ − M(x))−1 Y˜ uX˜ , x∈
x∈
˜ that is, μ ∈ we conclude that (μ − M)−1 is bounded on X, / σ (M). Step 3: σ (M) = σe (M). Obviously, σe (M) ⊂ σ (M). It remains to show that μ ∈ σe (M) for any μ ∈ σ (M). Otherwise, we choose μ ∈ σ (M) \ σe (M). Without loss of generality, we assume μ = 0. Hence, 0 is ˜ that is, M(x)u(x) = 0, ∀x ∈ . For any b ∈ C(), we an eigenvalue with eigenvector u ∈ X, have M(x)b(x)u(x) = 0, ∀x ∈ . It follows that the kernel of M is infinite dimensional, and hence, 0 ∈ σe (M), which is a contradiction. 2
2108
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
Remark 2.2. In the case where Y˜ = Rm , Proposition 2.7 is a straightforward consequence of [15, Propositions 2.3 and 3.2]. 3. The principal eigenvalue Let m > 0, T > 0, τ > 0, Y , Y and Y be given as in the last section. Let l > 0 be an integer and ⊂ Rl be a bounded simply connected domain. We write X = C(, Rm ) with the positive cone X+ = C(, Rm + ) and the maximum norm. Denote by X the ordered Banach space of all T -periodic and continuous functions from R to X with the maximum norm and the positive cone X+ := {u ∈ X : u(t) ≥ 0 in X}. Set X := C([−τ, 0], X) with the positive cone X+ = C([−τ, 0], X+ ) and the maximum norm. For any u : [−τ, σ ) → X with σ > 0 and t ∈ [0, σ ), define ut ∈ X by ut (θ ) = u(t + θ ), θ ∈ [−τ, 0]. For each x ∈ and t ∈ R, we let A(x, t) = (Aij (x, t))m×m : Y → Y and F (x, t) : Y → Y be two linear operators. We assume that (H1) For each x ∈ and t ∈ R, A(x, t) is cooperative, and F (x, t) : Y → Y is given by 0 F (x, t)φ =
[dθ η(x, t, θ)]φ(θ), x ∈ , t ∈ R, φ ∈ Y,
−τ
where η(x, t, θ ) is an m × m matrix-value function. For each x ∈ , η(x, t, θ ) is measurable in (t, θ ) ∈ R × R and normalized so that η(x, t, θ ) = 0, ∀θ ≥ 0 and η(x, t, θ ) = η(x, t, −τ ), ∀θ ≤ −τ . Moreover, η(x, t, θ ) is continuous from the left in θ on (−τ, 0), η(x, t, θ ) has bounded variation in θ on [−τ, 0] for each t , and V ar[−τ,0] η(x, t, ·) ≤ M(x, t) for some M(x, ·) ∈ Lloc 1 (R), the space of functions from R into R that are Lebesgue integrable on each compact set (−∞, ∞), and |M(x, t)| ≤ M, ∀x ∈ , t ∈ [0, T ]. For each x ∈ and t ∈ R, F (x, t) is a positive operator. (H2) A(x, t) and F (x, t) are continuous on × R with respect to the operator norm. For each 1 ≤ i ≤ m, we let Ki (x, y, t) be a nonnegative T -periodic and continuous functions on × × R with the following property: (H3) For each 1 ≤ i ≤ m, x ∈ , t ∈ R, Ki (x, x, t) > 0. For each t ∈ R, let A(t) : X → X, F(t) : X → X and K(t) : X → X be three families of linear operators defined by [A(t)w](x) := A(x, t)w(x), x ∈ , w ∈ X, [F(t)φ](x) := F (x, t)φ(x), x ∈ , φ ∈ X , K(t)w := ([K(t)w]1 , · · · , [K(t)w]i , · · · , [K(t)w]m ) , w ∈ X, where
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
2109
[K(t)w]i (x) :=
Ki (x, y, t)wi (y)dy, 1 ≤ i ≤ m, x ∈ , w ∈ X.
For each t ∈ R, let G(t) : X → X be a positive and compact operator and G(t) is continuous on R with respect to the operator norm and T -periodic in t ∈ R. Remark 3.1. For each 1 ≤ i ≤ m, let Gi (x, y, t) be a nonnegative T -periodic and continuous functions on × × R. Then we can define G(t) as follows: G(t)φ = ([G(t)φ]1 , · · · , [G(t)φ]i , · · · , [G(t)φ]m ) , φ ∈ X , where [G(t)φ]i (x) =
Gi (x, y, t)φi (y, −τ )dy, 1 ≤ i ≤ m, x ∈ , φ ∈ X ,
or 0 [G(t)φ]i (x) =
Gi (x, y, t + θ )φi (y, θ )dydθ, 1 ≤ i ≤ m, x ∈ , t ∈ R, φ ∈ X .
−τ
In this section, we study the eigenvalue problem associated with the following system: dv = A(t)v + K(t)v + F(t)vt + G(t)vt . dt
(3.1)
For any given λ ∈ R, let Eλ be a linear operator on X defined by: [Eλ φ](θ ) := eλθ φ(θ), θ ∈ [−τ, 0], φ ∈ X . Next, we investigate the following eigenvalue problem du = A(t)u + K(t)u + F(t)Eλ ut + G(t)Eλ ut − λu. dt
(3.2)
According to [22, Corollary 4], system (3.1) admits the evolution family {V (t, s) : t ≥ s} on X . Moreover, it follows from [22, Corollary 5] that V (t, s) is positive for t ≥ s. We make an additional assumption: (H4) There exists some positive integer k0 such that the solution w(t, s, φ) of system (3.1) with ws = φ ∈ X+ \ {0} satisfies w(t, s, φ) 0 in X, for all t ≥ k0 T + s. Remark 3.2. If assumption (H4) holds, then V (t, s) is eventually strongly positive in the sense that V (t, s) is strongly positive for all t ≥ s + k0 T + τ .
2110
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
Let {Vλ (t, s) : t ≥ s} be the evolution family on X of linear system (3.2). It is easy to see that for all λ ∈ R, Vλ (t, s) = e−λ(t−s) V (t, s), ∀t ≥ s. For each x ∈ , let {Dx (t, s) : t ≥ s} be the evolution family determined by the following linear system dw(t) = A(x, t)w(t) + F (x, t)wt , dt
(3.3)
and set h(x) = ln r(DTx (T ,0)) . According to the assumption (H2), Dx (T , 0) is continuous in x ∈ with respect to the operator norm. Hence, h(x) is continuous on due to [16, Section IV.3.5]. Denote η := maxx∈ h(x). Then we have the following result. Theorem 3.1. Let (H1)–(H3) hold. If r(Vη (T , 0)) > 1, then the following statements are valid: (i) r(V (T , 0)) is the principal eigenvalue of V (T , 0) with an eigenvector φ ∗ ∈ X+ \ {0}. ∗ (ii) λ∗ and u∗ satisfy (3.2), where λ∗ = ln r(VT(T ,0)) and u∗ (·, t) = [e−λ t V (t, 0)φ ∗ ](0) ∈ X+ . If, in addition, (H4) holds, then (iii) (iv) (v) (vi)
φ ∗ ∈ Int(X + ) and u∗ ∈ Int(X+ ). φ ∗ is the unique non-negative eigenvector up to scalar multiplications on X . r(V (T , 0)) is an algebraically simple eigenvalue on X . |λ| < r(V (T , 0)) for all λ ∈ σ (V (T , 0)) with λ = r(V (T , 0)).
To prove Theorem 3.1, we first analyze the essential spectrum of V (T , 0). Let {(t, s) : t ≥ s} be the evolution family on X determined by the system du = A(t)u + F(t)ut . dt
(3.4)
Obviously, (t, s) is positive for all t ≥ s. Lemma 3.2. Let (H1)–(H3) hold. Then σe (V (T , 0)) = σe ((T , 0)). Proof. For each t > 0, let L(t) = V (t, 0) − (t, 0). It suffices to show that L(T ) is compact on X due to [27, Theorem 7.27]. For any φ ∈ X , let v(x, t, φ) and u(x, t, φ) be the solutions of the following two systems: dv (x, t) = A(x, t)v(x, t) + F (x, t)vt (x) + [K(t)v](x) + [G(t)vt ](x), x ∈ , t ≥ 0, dt du (x, t) = A(x, t)u(x, t) + F (x, t)ut (x), x ∈ , t ≥ 0, dt with v(x, θ, φ) = φ(θ )(x), u(x, θ, φ) = φ(θ )(x), x ∈ , θ ∈ [−τ, 0], respectively. Note that v(·, t, φ) and u(·, t, φ) can be regarded the solution of (3.1) and (3.4) with initial data φ. Then w(·, t, φ) = v(·, t, φ) − u(·, t, φ), t ≥ −τ , satisfies the following equation
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
2111
dw = A(t)w + F(t)wt + K(t)v + G(t)vt , t ≥ 0. dt
(3.5)
Let B be a given bounded set on X . For any φ ∈ B, we have v(·, t, φ) = [V (t, 0)φ](0) and u(·, t, φ) = [(t, 0)φ](0) for all t ≥ 0, and v(·, t, φ) = u(·, t, φ) = φ(t) for all −τ ≤ t ≤ 0. By a generalized Ascoli–Arzelà theorem (see, e.g., [17, Chapter 7] or [8, Section 7.4]), we only need to prove the following two statements: (i) For each θ ∈ [−τ, 0], the set {[L(T )φ](θ ) : φ ∈ B} = {w(·, T + θ, φ) : φ ∈ B} is compact on X; (ii) L(T )B = {wT (φ) : φ ∈ B} is equicontinuous in θ ∈ [−τ, 0]. To prove (i), it is sufficient to show that the set {w(·, r, φ) : φ ∈ B} is compact on X for all r ∈ [−τ, T ]. In the case where r ∈ [−τ, 0], the set {w(·, r, φ) : φ ∈ B} = {0} is compact. Next, we consider the case where r ∈ (0, T ] and let r be fixed. Note that {w(·, r, φ) : φ ∈ B} is bounded on X, and hence, we only need to show that it is equicontinuous in x ∈ . Set h(x, y, t, φ) = w(x, t, φ) − w(y, t, φ), ∀x, y ∈ , t ∈ [−τ, r], φ ∈ B. For any x, y ∈ , we have dw (x, t, φ) = A(x, t)w(x, t, φ) + F (x, t)wt (x, φ) + [K(t)v(φ)](x) + [G(t)vt (φ)](x), t ≥ 0, dt dw (y, t, φ) = A(y, t)w(y, t, φ) + F (y, t)wt (y, φ) + [K(t)v(φ)](y) + [G(t)vt (φ)](y), t ≥ 0. dt It then follows that dh (x, y, t, φ) = A(x, t)h(x, y, t, φ) + F (x, t)ht (x, y, φ) + g(x, y, t, φ), t ≥ 0, dt where g(x, y, t, φ) =[K(t)v(φ)](x) − [K(t)v(φ)](y) + [G(t)vt (φ)](x) − [G(t)vt (φ)](y) + [A(x, t) − A(y, t)]w(y, t, φ) + [F (x, t) − F (y, t)]wt (y, φ), t ≥ 0. Obviously, h(x, y, t, φ) = 0 for all x ∈ , y ∈ , −τ ≤ t ≤ 0, φ ∈ B. By [14, Section 6.1], there exists a family of operators {x (t, s) : t ≥ s} on Y such that r h(x, y, r, φ) =
x (r, s)g(x, y, s, φ)ds, ∀x ∈ , y ∈ , φ ∈ B. 0
Let A = maxx∈,t∈[0,T ] A(x, t)Y . For any ψ ∈ Y, x ∈ , t ∈ [0, T ], we have A(x, t)ψ(0) + F (x, t)ψY ≤ (A + M)ψY . According to [14, Section 6.1] and the assumption (H1), we further obtain x (r, s)Y ≤ e
r s
(A+M)dα
≤ e(A+M)T , ∀0 ≤ s ≤ r.
Note that Ki is continuous on × × R for 1 ≤ i ≤ m and G(t) is compact for all t ∈ R. We now fix > 0. Then there exists some δ1 > 0 such that
2112
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
|[K(t)v(φ)](x) − [K(t)v(φ)](y)| ≤ ,
|[G(t)vt (φ)](x) − [G(t)vt (φ)](y)| ≤ ,
for all x, y ∈ with |x − y| < δ1 . Since the set {w(x, t, φ) : φ ∈ B} is uniformly bounded for x ∈ , t ∈ [−τ, r], there exists some δ2 > 0 such that |[A(x, t) − A(y, t)]w(y, t, φ)| ≤ ,
|[F (x, t) − F (y, t)]wt (y, φ)| ≤ ,
for all x, y ∈ with |x − y| < δ2 . We remark that δ1 , δ2 are independent of t . This is because K(t), G(t) are T -periodic continuous on R and A(x, t) and F (x, t) are continuous on × R with respect to the operator norm. Set δ = min(δ1 , δ2 ). It then follows that |h(x, y, r, φ)| ≤ 4e(A+M)T r, ∀x, y ∈ with |x − y| < δ, and hence, the set {w(·, r, φ) : φ ∈ B} is equicontinuous in x ∈ and the statement (i) holds. It dw remains prove (ii). We observe that (·, t, φ) = 0 for all t ∈ (−τ, 0), φ ∈ B, and there exists dt dw some M > 0 such that dt (·, t, φ) ≤ M for all t ∈ (0, T ], φ ∈ B. Hence, the statement (ii) is X valid. 2 The following result is a straightforward consequence of Proposition 2.7. Lemma 3.3. Let (H1)–(H3) hold. Then σe ((T , 0)) = σ ((T , 0)). Moreover, σe ((T , 0)) = ∪x∈ σ (Dx (T , 0)), where Dx (T , 0) is determined by (3.3). By Lemmas 3.3 and 2.6, we have the following observation. Lemma 3.4. Let (H1)–(H3) hold. Then r((T , 0)) = eηT . Proof of Theorem 3.1. Combining Lemmas 3.2 and 3.4, we obtain that re (Vη (T , 0)) = re (e−ηT V (T , 0)) = 1. By a generalized Krein–Rutman theorem (see, e.g., [24, Corollary 2.2]), it then follows that r(Vη (T , 0)) is the principal eigenvalue of Vη (T , 0), and hence, r(V (T , 0)) is the principal eigenvalue of V (T , 0) due to Vη (T , 0) = e−ηT V (T , 0). Now the conclusion follows from [20, Lemma 2.5]. 2 In the rest of this section, we give some sufficient conditions for r(Vη (T , 0)) > 1. Proposition 3.5. Let (H1)–(H4) hold. If there exists vˆ ∈ X+ \ {0} such that dvˆ ˆ ≤ A(t)vˆ + K(t)vˆ + F(t)Eη vˆt + G(t)Eη vˆt − ηv, dt in X and the strict inequality holds for some t0 ∈ [0, T ], then r(Vη (T , 0)) > 1. Proof. Let φ = vˆ0 , u(t, φ) be the solution of the following system du = A(t)u + K(t)u + F(t)Eη ut + G(t)Eη ut − ηu, dt
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
2113
and w(t) = u(t, φ) − v(t) ˆ for all t ≥ −τ . It is easy to see that w(t) satisfy the following inequity in X dw (t) ≥ A(t)w(t) + K(t)w(t) + F(t)Eη wt + G(t)Eη wt − ηw(t), t ≥ 0. dt This implies that w(t) ≥ 0, ∀t ≥ 0. We first claim that w(T ) > 0 in X. Note that w(t) > 0 in X for all t ≥ t1 when w(t1 ) > 0 in X. Thus, if w(T ) = 0, then we have w(t) = 0, ∀t ∈ [0, T ]. It is impossible since the strict inequality holds for some t0 ∈ [0, T ]. Now we claim that φ = 0. Otherwise, φ = 0 implies that u(t, φ) ≡ 0, ∀t ≥ 0, and hence, w(t) ≡ 0, ∀t ≥ 0, a contradiction. It then follows from the assumption (H4) that w(t + T + k0 T ) 0 in X for all t ≥ 0. Let k1 be a positive integer such that k1 T > (k0 + 1)T + τ . We conclude that Vη (k1 T , 0)φ − φ = wk1 T 0 in X . Thus, there exists some r0 > 1 such that Vη (k1 T , 0)φ ≥ r0 φ in X . This implies that r(Vη (k1 T , 0)) ≥ r0 due to [26, Proposition 3]. 2 In order to give a condition similar to that in [2], we introduce some operators on X. Let K : X → X be a linear operator on X defined by [Ku](t) := K(t)u(t), u ∈ X, t ∈ R. For each γ ∈ R, linear operators G(γ ) : X → X and J(γ ) : D(J(γ )) ⊂ X → X are defined by G(γ )u(t) := G(t)Eγ ut , u ∈ X, t ∈ R, J(γ )u(t) := −
du (t) + A(t)u(t) + F(t)Eγ ut , u ∈ D(J(γ )), t ∈ R. dt
For each x ∈ , we set [Qx,γ w](t) := −
dw (t) + A(x, t)w(t) + F (x, t)εγ wt , w ∈ Y, t ∈ R, dt
ˆ and h(x) = s(Qx,η ), x ∈ . Then we have the following result. Proposition 3.6. Let (H1)–(H3) hold. Then the following statements are valid: (i) (ii) (iii) (iv)
For each γ ∈ R, σ (J(γ )) = σe (J(γ )) = ∪x∈ σ (Qx,γ ) and s(J(γ )) = maxx∈ s(Qx,γ ). For each γ ∈ R, the operator J(γ ) is resolvent positive on X. ˆ h(x) ≤ h(x), ∀x ∈ and s(J(η)) = η. For each γ ∈ R, the operator J(γ ) + G(γ ) + K is resolvent positive on X.
Proof. (i) Note that J(γ ) is closed densely defined on X for each γ ∈ R. We start our proof with the following claim. Claim. σ (J(γ )) = ∪x∈ σ (Qx,γ ).
2114
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
We first show that σ (J(γ )) ⊃ ∪x∈ σ (Qx,γ ). For any fixed x0 ∈ and γ ∈ R, choose λ ∈ σ (Qx0 ,γ ). According to Proposition 2.5, the mapping λI − Qx0 ,γ is neither a surjection nor an injection. Taking b ∈ / R(λI − Qx0 ,γ ) and letting φ ∈ X with φ(x0 ) = b, we obtain that φ ∈ / R(λI − J(γ )). This implies that λ ∈ σ (J(γ )). The remaining arguments of the claim are similar to those in Proposition 2.7. By [30, Theorem 3.5], we obtain that s(Qx,γ ) ∈ σ (Qx,γ ) for all x ∈ . It then follows from Proposition 2.5(iii) and [16, Section IV.3.5] that s(Qx,γ ) is continuous in x ∈ , and hence, maxx∈ s(Qx,γ ) exists. Since σ (J(γ )) is a closed set, we conclude that maxx∈ s(Qx,γ ) ∈ σ (J(γ )) by the above claim. Moreover, there exists no λ ∈ σ (J(γ )) with Reλ > maxx∈ s(Qx,γ ) due to the above claim. Hence, the desired conclusion holds true. (ii) Let γ be fixed. Since for each λ > s(J(γ )), [(λI − J(γ ))−1 w](x) = (λI − Qx,γ )−1 w(x), w ∈ X, x ∈ , we conclude that (λ − J(γ ))−1 is positive due to s(J(γ )) = maxx∈ s(Qx,γ ). ˆ (iii) According to Lemma 2.2 and η = maxx∈ h(x), we have h(x) = s(Qx,η ) ≤ s(Qx,h(x) ) = h(x), ∀x ∈ . It is easy to choose some x0 ∈ such that h(x0 ) = η. It follows that s(Qx0 ,η ) = s(Qx0 ,h(x0 ) ) = h(x0 ) = η, and hence, η = maxx∈ s(Qx,η ). (iv) We introduce a closed densely defined linear operator on X, which is defined from D(L) ⊂ X to X: [Lu](t) := −
du (t) + A(t)[u(t)], u ∈ D(L). dt
Let γ be a given real number. Define a bonded linear operator on X: [F(γ )u](t) := F(t)Eγ ut , u ∈ X. Then J(γ ) = L + F(γ ) and J(γ ) + G(γ ) + K = L + F(γ ) + G(γ ) + K. Note that L is an infinitesimal generator of some strongly continuous semigroup (see, e.g., [2, Proposition 3.3]). M This implies that s(L) < +∞ and there exists some M > 0 such that (λ − L)−1 X ≤ λ−s(L) for all λ > s(L). Since F(γ ) + G(γ ) + K is a bounded positive linear operator on X, the statement J(γ ) + G(γ ) + K is resolvent positive can be derived by arguments similar to those in Lemma 2.6. 2 Remark 3.3. There is an error in the proof of [20, Lemma 2.14], and it can be easily corrected by Proposition 2.7 or using the arguments in Proposition 3.6. Proposition 3.7. Let (H1)–(H4) hold. If there exists wˆ ∈ X+ \ {0} and β0 > η such that K(β0 − J(η))−1 wˆ ≥ wˆ in X, then r(Vη (T , 0)) > 1. Proof. Letting vˆ = (β0 − J(η))−1 wˆ ∈ X+ , we obtain that vˆ = 0. Otherwise, wˆ = 0. Hence, Kvˆ ≥ [β0 − J(η)]vˆ > [η − J(η)]vˆ in X. This implies that dvˆ ˆ ≤ A(t)vˆ + K(t)vˆ + F(t)Eη vˆt + G(t)Eη vˆt − ηv, dt
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
2115
in X and the strict inequality holds for some t0 ∈ [0, T ]. Then the desired conclusion follows from Proposition 3.5. 2 ˆ −1 ∈ Lemma 3.8. Let (H1)–(H4) hold. If (η − h) / L1 (0 ) for some open set 0 ⊂ , and for each ˜ x ∈ , Qx,η possesses strongly positive eigenvector w(x) ˜ corresponding to h(x), then there exists −1 wˆ ∈ X+ \ {0} and β0 > η such that K(β0 − J(η)) wˆ ≥ wˆ in X. Proof. Our proof is motivated by [2, Proposition 3.1]. Let w˜ i (x) be the i-th component of w(x). ˜ It then follows from [16, Section IV.3.5] that w(x) ˜ is continuous in x ∈ . Without loss of generality, we assume that max1≤i≤m,(x,t)∈×R [w˜ i (x)](t) = 1. According to (H3), there exist r1 > 0 and c0 > 0 such that Ki (x, y, t) > c0 for all x, y ∈ with |x − y| < r1 , t ∈ R and 1 ≤ i ≤ m. Let c1 = min1≤i≤m,(x,t)∈×R [w˜ i (x)](t). Since ˆ −1 ∈ / L1 (0 ), we can choose some δ > 0, β0 > η and x1 ∈ such that B(x1 , δ) ⊂ 0 , (η − h) −1 dx ≥ 2(c c )−1 and 3δ < r , where B(x, r) is the ball cenˆ B(x1 , 2δ) ⊂ , B(x1 ,δ) (β0 − h(x)) 0 1 1 tered at x with radius r. Let p(x) be a continuous function on defined by p(x) =
1, 0,
x ∈ B(x1 , δ), x ∈ \ B(x1 , 2δ),
and w(x, ˆ t) := p(x)[w(x)](t), ˜ ∀(x, t) ∈ × R. It then follows that for any (x, t) ∈ \ B(x1 , 2δ) × R and 1 ≤ i ≤ m, we have
−1 ˆ Ki (x, y, t)(β0 − h(y)) wˆ i (y, t)dy ≥ 0.
For any (x, t) ∈ B(x1 , 2δ) × R and 1 ≤ i ≤ m, it is easy to see that
−1 ˆ Ki (x, y, t)(β0 − h(y)) wˆ i (y, t)dy
≥
−1 ˆ Ki (x, y, t)(β0 − h(y)) [w˜ i (y)](t)dy
B(x1 ,δ)
≥ 2c0 c1 (c0 c1 )−1 ≥ 2wˆ i (x, t). −1 [w(x)] ˆ Note that [(β0 − J(η))−1 w](x) ˆ = (β0 − Qx,η )−1 [w(x)] ˆ = (β0 − h(x)) ˆ for all x ∈ . It −1 then follows that K(β0 − J(η)) wˆ ≥ 2wˆ > wˆ in X. 2
Remark 3.4. By [16, Section VII.1.3], it follows that hˆ ∈ C l () under the assumption that all parameters are continuously differentiable. If l = 1 or l = 2, then conditions in Lemma 3.8 hold automatically. Remark 3.5. According to the above discussions, Theorem 3.1 and Lemma 3.8 still hold provided that the assumption (H3) is replaced by
2116
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
(H3 ) For each 1 ≤ i ≤ m, x ∈ 0 , t ∈ R, Ki (x, x, t) > 0, where 0 is the same domain as in Lemma 3.8. According to Proposition 3.6, there exists some x0 ∈ such that s(Qx0 ,η ) = s(J(η)) = η. Now we discuss some more properties of the principal eigenvalue. Theorem 3.9. Let (H1)–(H4) hold. Choose x0 ∈ such that s(Qx0 ,η ) = s(J(η)) = η and assume that Dx0 (k1 T , 0) is strongly positive for some positive integer k1 with k1 T > T + τ . If there exists some γ ∗ ∈ R and u∗ ∈ Int(X+ ) such that [J(γ ∗ ) + G(γ ∗ ) + K]u∗ = γ ∗ u∗ , then the following statements are valid: (i) γ ∗ > η. (ii) γ ∗ = s(J(γ ∗ ) + G(γ ∗ ) + K). (iii) r(Vη (T , 0)) > 1 and γ ∗ = ln r(VT(T ,0)) . Proof. (i) By Lemma 2.6, we have r(e−ηk1 T Dx0 (k1 T , 0)) = 1. The equality [J(γ ∗ ) + G(γ ∗ ) + K]u∗ = γ ∗ u∗ implies that J(γ ∗ )u∗ < γ ∗ u∗ in X due to (H3). Then we have Qx0 ,γ ∗ u∗ (x0 , ·) < γ ∗ u∗ (x0 , ·) in Y, that is, [
du∗ (t)](x0 ) ≥ A(x0 , t)[u∗ (t)](x0 ) + F (x0 , t)εγ ∗ u∗t (x0 ) − γ ∗ [u∗ (t)](x0 ) dt
and the strict inequality holds for some t0 ∈ [0, T ]. Let ψ(θ) = u∗ (x0 , θ ), ∀θ ∈ [−τ, 0] and u(t, ψ) be the solution of the following delay differential system: dv (t) = A(x0 , t)v(t) + F (x0 , t)εγ ∗ vt − γ ∗ v(t). dt We then have ψ(θ ) = [u∗ (k1 T + θ )](x0 ) > u(k1 T + θ, ψ), ∀θ ∈ [−τ, 0] in Y by arguments ∗ similar to those in Proposition 3.5. It follows that e−γ k1 T Dx0 (k1 T , 0)ψ < ψ in Y, and hence, ∗ r(e−γ k1 T Dx0 (k1 T , 0)) < 1 due to [20, Proposition A.6] and Dx0 (k1 T , 0) is strongly positive. This shows that γ ∗ > η. (ii) The equality [J(γ ∗ ) + G(γ ∗ ) + K]u∗ = γ ∗ u∗ implies that [γ ∗ − J(γ ∗ )]−1 [K + G(γ ∗ )]u∗ = u∗ , and hence, r([K + G(γ ∗ )][γ ∗ − J(γ ∗ )]−1 ) = r([γ ∗ − J(γ ∗ )]−1 [K + G(γ ∗ )]) = 1 due to [19, Lemma 2.6]. Notice that γ ∗ > η. It follows that s(J(γ ∗ ) + G(γ ∗ ) + K) ≥ γ ∗ > η. Thus, the conclusion follows from [30, Theorem 4.4] and Proposition 3.6 (iv). (iii) Let φ ∗ (θ ) = u∗ (θ ), ∀θ ∈ [−τ, 0]. Then we have Vγ ∗ (T , 0)φ ∗ = φ ∗ . Note that φ ∗ ∈ Int(X+ ) due to u∗ ∈ Int(X+ ). It follows that r(Vγ ∗ (T , 0)) = 1 by [19, Lemma 2.6]. Thus, ∗ ∗ ∗ r(Vη (T , 0)) = e(γ −η)T r(Vγ ∗ (T , 0)) > 1, and r(V (T , 0)) = eγ T r(Vγ ∗ (T , 0)) = eγ T , which implies that γ ∗ = ln r(VT(T ,0)) . 2 Next we give a remark on the sign equivalence of r(V (T , 0)) − 1 and s(J(0) + G(0) + K). Remark 3.6. Let the assumptions in Theorem 3.9 hold and define β(γ ) = s(J(γ ) + G(γ ) + K), ∀γ ∈ R. It is easy to see that β(γ ) is nonincreasing with respect to γ . Then the following statements hold true:
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
2117
(i) r(V (T , 0)) = 1 implies that γ ∗ = 0, and hence, β(0) = 0. (ii) r(V (T , 0)) > 1 implies that γ ∗ > 0, and hence, β(0) ≥ β(γ ∗ ) = γ ∗ > 0. (iii) r(V (T , 0)) < 1 implies that γ ∗ < 0, and hence, β(0) ≤ β(γ ∗ ) = γ ∗ < 0. Compared with Lemma 2.6, here we need an additional assumption (H4). This is because V (t, s) isn’t eventually compact. As a consequence of Remark 3.6, we have the following observation. Corollary 3.10. Let (H1)–(H4) hold and s(J(0) + G(0) + K) < 0. If r((β0 − J(η))−1 K) ≥ 1 for some β0 > η, then for any g ∈ X+ \ {0}, the system dv = A(t)v + K(t)v + F(t)vt + G(t)vt + g(t), dt
(3.6)
admits a unique positive solution in X, and it is globally attractive for any initial data in X+ . Proof. Since s(J(0) +G(0) +K) < 0, it follows that −(J(0) +G(0) +K)−1 is a bounded positive operator on X. Thus, v ∗ = −(J(0) + G(0) + K)−1 g ∈ X+ \ {0}. We next show that it is globally attractive for any initial data in X+ . Let u(t, φ) be the solution of (3.6) with initial data u0 = φ and set v(t, φ) = u(t, φ) − v ∗ (t), t ≥ −τ . Note that v(t, φ) is a solution of (3.1) with initial data v0 with v0 (θ ) = φ(θ) − v ∗ (θ ), θ ∈ [−τ, 0]. It then follows from Remark 3.6 that r(V (T , 0)) < 1, and hence, vt = V (t, 0)v0 → 0 as t → 0. 2 Remark 3.7. By Theorems 3.1 and 3.9, it follows that r(Vη (T , 0)) > 1 is a sufficient and necessary condition for the existence of the principal eigenvalue of V (T , 0). Remark 3.8. By similar arguments, we can show that Theorems 3.1 and 3.9 are still valid for the time–space periodic eigenvalue problem. For reader’s convenience, here we present the necessary notations and assumptions. Letting = li=j (0, pj ), where pj > 0, j = 1, 2, · · · , l, we then define three Banach spaces X, X and X as before. Let (e1 , . . . , el ) be the standard base in Rl . We need the following additional assumptions: (i) A(x + pj ej , t) = A(x, t) = A(x, t + T ), ∀j = 1, 2, · · · , l, x ∈ Rl , t ∈ R. (ii) F (x + pj ej , t) = F (x, t) = F (x, t + T ), ∀j = 1, 2, · · · , l, x ∈ Rl , t ∈ R. (iii) Ki (x, y, t) = Ki (x + pj ej , y + pj ej , t) = Ki (x, y, t + T ), ∀i = 1, 2, · · · , m, j = 1, 2, · · · , l, x ∈ Rl , y ∈ Rl , t ∈ R. (iv) The function K˜ i (x, y, t) =
l +∞
Ki (x, y + kpj ej , t), ∀x ∈ , y ∈ , t ∈ R,
k=−∞ j =1
is T -periodic in t and continuous on × × R. The operators A(t), F(t), G(t) are defined in a similar way. Define K(t) on X by K(t)w := ([K(t)w]1 , · · · , [K(t)w]i , · · · , [K(t)w]m ) , w ∈ X,
2118
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
where [K(t)w]i (x) :=
K˜ i (x, y, t)wi (y)dy, 1 ≤ i ≤ m, x ∈ , w ∈ X.
The other notations are the same as those in this section. 4. An application In this section, we study a model of Nicholson’s blowflies with nonlocal dispersal. For some investigations on such a model with random diffusion, we refer to [13,35,21,37]. We use the same notations m, l = 2, τ , T , , X, X, X , X+ , X+ , X+ as in the last section. The model is governed by ∂u = ∂t
k(x, y, t)u(y, t)dy −
k(y, x, t)dyu(x, t) − α(x, t)u(x, t) (4.1)
+ p(x, t)u(x, t − τ )e−a(x,t)u(x,t−τ ) ,
x ∈ , t > 0.
Here k(x, y, t) is the dispersal rate from location y to x at time t ; α(t) is the mortality rate of blowflies at time t; p(x, t)u(x, t − τ )e−a(x,t)u(x,t−τ ) is a Ricker type birth function at location x and time t . We assume that k, α, p, a are continuously differentiable positive functions. It is worth pointing out that
k(x, y, t)ψ(y)dydx =
k(y, x, t)dyψ(x)dx, ∀ψ ∈ X+ , t ∈ R. c
c
This implies that the blowflies can fly neither from to nor from to . Hence, this corresponds to the Neumann boundary condition. We are interested in the global dynamics of system (4.1). For convenience, we define [B(t)w](x) =
k(x, y, t)w(y)dy −
k(y, x, t)dyw(x) − α(x, t)w(x), x ∈ , t ∈ R, w ∈ X.
We first investigate the linearized system of (4.1) at the zero steady state: ∂u = [B(t)u(·, t)](x) + p(x, t)u(x, t − τ ), ∂t
x ∈ , t > 0.
(4.2)
This linear system can be regarded as the following abstract delay equation: dv = B(t)v(t) + p(·, t)u(t − τ ), t > 0. dt
(4.3)
According to [22, Corollary 4], system (4.3) admits an evolution family {V (t, s) : t ≥ s} on X . It is easy to see that (H1)–(H3) hold. Moreover, it follows from [22, Corollary 5 and Theorem 3]
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
2119
that V (t, s) is positive for t ≥ s and strongly positive for t > s + 2τ , and (H4) holds. The following result is a straightforward consequence of Theorem 3.1 and Lemma 3.8. Lemma 4.1. V (T , 0) possesses the isolated principal eigenvalue with a strongly positive eigenvector. For any u : × [−τ, σ ) → R with σ > 0 and t ∈ [0, σ ), we define ut ∈ X by ut (·, θ) = u(·, t + θ ), θ ∈ [−τ, 0]. We first consider the following system: ∂u p(x, t) −1 = [B(t)u(·, t)](x) + e , ∂t a(x, t)
x ∈ , t > 0.
(4.4)
By the same arguments as in Corollary 3.10, system (4.4) admits a periodic solution U ∗ (x, t) and limt→+∞ u(·, t, φ) − U ∗ (·, t)X = 0 for all φ ∈ X+ , where u(x, t, φ) has the initial data u(x, 0, φ) = φ(x), x ∈ . By arguments similar to those in [21, Theorem 3.4], we have the following threshold type result on the dynamics of system (4.1). Theorem 4.2. Let v(x, t, φ) be the solution of system (4.1) with initial data φ ∈ X+ \ {0}, that is, v(x, θ, φ) = φ(θ )(x), x ∈ , θ ∈ [−τ, 0]. Then the following statements hold: (i) If r(V (T , 0)) < 1, then limt→+∞ v(·, t, φ)X = 0 for all φ ∈ X+ \ {0}. (ii) If r(V (T , 0)) > 1, then there exists some δ0 > 0 such that lim supt→+∞ v(·, t, φ)X ≥ δ0 for all φ ∈ X+ \ {0}. It is worth pointing out that Lemma 4.1 and the perturbation theory of isolated eigenvalue (see, e.g., [16, Section IV.3.5]) are powerful tools to obtain Theorem 4.2 (ii). To analyze the existence and global attractivity of the positive periodic solution of nonmonotone system (4.1), we first consider the following monotone system: ∂u = [B(t)u(·, t)](x) + f (x, t, u(x, t − τ )), ∂t
x ∈ , t > 0,
(4.5)
where f (x, t, v) =
if a(x, t)v < 1, p(x, t)ve−a(x,t)v , p(x, t)/a(x, t)e−1 , if a(x, t)v ≥ 1.
It is easy to see that f (x,t,v) is strictly decreasing with respect to v. For any φ, ψ ∈ Int(X+ ), we v define the part metric ρ(φ, ψ) = inf{ln γ :
1 φ ≤ ψ ≤ γ φ in X , γ ≥ 1}. γ
Clearly, for any φ, ψ ∈ Int(X+ ), there exists γ > 0 such that ρ(φ, ψ) = γ . We further have the following result.
2120
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
Proposition 4.3. Let u(x, t, φ) be the solution of system (4.5) with initial data φ ∈ X+ . For any integer k with kT > τ , the following statements hold true: (i) ρ(ukT (φ), ukT (ψ)) < ρ(φ, ψ) for any φ, ψ ∈ Int(X+ ) with φ = ψ . (ii) For any > 0 and M > 0 with < M, there exists δ > 0 such that ρ(ukT (φ), ukT (ψ)) < ρ(φ, ψ) − δ for any φ, ψ ∈ Int(X+ ) with ≤ u(x, t, φ) ≤ M, ≤ u(x, t, ψ) ≤ M, x ∈ , t ∈ [−τ, kT ] and ρ(φ, ψ) ≥ . Proof. Statement (i) can be derived from the proof of (ii), so we only prove (ii). The arguments 1 are motivated by [25, Proposition 5.1 and Theorem E]. Let γ = eρ(φ,ψ) ≥ e . Then φ ≤ ψ ≤ γ γ φ in X . By the comparison principle, it is easy to see that u(·, t, ψ) ≤ u(·, t, γ φ), t ≥ 0 in X. For convenience, let v(·, t) = γ u(·, t, φ) and u(·, t) = u(·, t, φ) for t ≥ −τ . Then we have ∂v = [B(t)v](x) + γf (x, t, u(x, t − τ )) ∂t = [B(t)v](x) + f (x, t, v(x, t − τ )) + [γf (x, t, u(x, t − τ )) − f (x, t, v(x, t − τ ))] = [B(t)v](x) + f (x, t, v(x, t − τ )) f (x, t, u(x, t − τ )) f (x, t, v(x, t − τ )) + v(x, t − τ ) − u(x, t − τ ) v(x, t − τ ) ≥ [B(t)v](x) + f (x, t, v(x, t − τ )) + v(x, t − τ )δ0 ,
x ∈ , t > 0.
f (x, t, u(x, t − τ )) f (x, t, v(x, t − τ )) − ≥ δ0 for some δ0 = u(x, t − τ ) v(x, t − τ ) δ0 () > 0, which is due to u(x, t) ≥ and ρ(φ, ψ) ≥ . Let u(x, t) be the solution of the following system
Here we have used the estimate
∂w = [B(t)w](x) + f (x, t, w(x, t − τ )) + δ0 w(x, t − τ ), ∂t
x ∈ , t > 0,
with initial data γ φ. Let {(t, s) : t ≥ s} be the evolution family on X of the following system dw = B(t)w. dt By the constant-variation formula, we then have t u(·, t) = (t, 0)[γ φ(0)] +
(t, s)[f (·, s, u(·, s − τ )) + δ0 u(·, s − τ )]ds, t ≥ 0. 0
It follows from the comparison principle that u(·, t) ≥ u(·, t, γ φ), t ≥ 0 in X. There is some c1 > 0 such that (t, s)b ≥ c1 b for any constant b > 0 and 0 ≤ s ≤ t ≤ kT . We have t u(·, t) ≥ (t, 0)[γ φ(0)] +
(t, s)[f (·, s, u(·, s − τ, γ φ)) + δ0 u(·, s − τ, γ φ)]ds 0
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
2121
t ≥ u(·, t, γ φ) +
(t, s)δ0 u(·, s − τ, γ φ)ds 0
t ≥ u(·, t, γ φ) +
(t, s)δ0 ds 0
≥ u(·, t, γ φ) + tδ0 c1 ≥ ρ0 u(·, t, γ φ), t ∈ [kT − τ, kT ], in X for some ρ0 = ρ0 (δ0 (), , γ (), M) > 1. The last inequality is due to the fact that u(·, t, γ φ) ≤ γ u(·, t, φ) ≤ γ M in X and t ≥ kT − τ > 0. Thus, v(·, kT + θ ) ≥ u(·, kT + θ ) ≥ ρ0 u(·, kT + θ, γ φ) in X for all θ ∈ [−τ, 0]. It is worth pointing out that ρ0 depends only on and M. It follows that ργ0 u(·, kT + θ, φ) ≥ u(·, kT + θ, γ φ) ≥ u(·, kT + θ, ψ) in X for all θ ∈ [−τ, 0], and hence, ργ0 ukT (γ φ) ≥ ukT (ψ) in X . This shows that (γ − δ1 )ukT (γ φ) ≥ ukT (ψ) in X . By similar arguments, the other side inequality can be obtained, and hence, the desired conclusions hold. 2 Theorem 4.4. Let u(x, t, φ) be the solution of system (4.5) with initial data φ ∈ X+ . Assume that r(V (T , 0)) > 1. Then (4.5) admits a periodic solution v ∗ ∈ Int(X+ ) such that limt→+∞ u(·, t, φ) − v ∗ (t)X = 0 for any φ ∈ X+ \ {0}. Proof. Choose a positive number k such that kT > τ . We first show that system (4.5) possesses a positive periodic solution. It is easy to see that U ∗ (x, t) is a supersolution of (4.5). Moreover, by arguments similar to those in [19, Lemma 4.4], there is a small enough subsolution v(x, t) of (4.5) which is T -periodic and 0 < v(x, t) ≤ U ∗ (x, t), x ∈ , t ∈ R. Let φ1 (θ ) = v(·, θ ) and φ2 (θ ) = U ∗ (·, θ ) for all θ ∈ [−τ, 0]. By the comparison principle, it follows that φ1 ≤ uT (φ1 ) ≤ uT (φ2 ) ≤ φ2 in X . We then obtain that unT (φ1 ) ≤ u(n+1)T (φ1 ) ≤ u(n+1)T (φ2 ) ≤ unT (φ2 ) in X for all n ≥ 1 by the induction argument. Define φ − (x, θ ) = lim {[unT (φ1 )](θ )}(x), n→+∞
φ + (x, θ ) = lim {[unT (φ2 )](θ )}(x). n→+∞
Note that φ + (x, θ ) is upper semi-continuous and φ − (x, θ ) is lower semi-continuous on × [−τ, 0]. Next, we prove the following claim. Claim. φ − (x, θ ) = φ + (x, θ ), ∀x ∈ , θ ∈ [−τ, 0]. The proof is motivated by [25, Theorem E]. Write γn = eρ(unT (φ1 ),unT (φ2 )) . By Proposition 4.3 (i), we have γn ≥ γn+1 for all n ≥ 1, and hence, γ ∗ = limn→+∞ γn for some γ ∗ ≥ 1. It then follows that 1 − φ (x, θ ) ≤ φ + (x, θ ) ≤ γ ∗ φ − (x, θ ), ∀x ∈ , θ ∈ [−τ, 0]. γ∗ Suppose, by contradiction, that φ + (x, θ ) ≡ φ − (x, θ ). Then we obtain γ ∗ > 1. This implies that there exists γ > 1 and N > 0 such that γn > γ , ρ(unT (φ1 ), unT (φ2 )) ≥ ln γ for all n ≥ N . We fix integer n0 ≥ N . According to Proposition 4.3 (ii), there exists δ0 > 0 such that
2122
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
ρ(u(n0 +kq)T (φ1 ), u(n0 +kq)T (φ2 )) ≤ ρ(un0 T (φ1 ), un0 T (φ2 )) − qδ0 , ∀q ≥ 1. Choose an integer q0 > 0 such that q0 δ0 > ρ(un0 T (φ1 ), un0 T (φ2 )). We then have ρ(u(n0 +kq0 )T (φ1 ), u(n0 +kq0 )T (φ2 )) ≤ ρ(un0 T (φ1 ), un0 T (φ2 )) − q0 δ0 < 0, which is impossible. The above claim implies that φ + (x, θ ) = φ − (x, θ ) is continuous on × [−τ, 0]. Hence, we can define φ ∗ ∈ X such that [φ ∗ (θ )](x) := φ + (x, θ ). Since φ1 is strongly positive and φ ∗ ≥ φ1 in X , we conclude φ ∗ is strongly positive in X . By Dini’s theorem, it then follows that limn→+∞ un (φ1 ) − φ ∗ X = 0. Let v ∗ (t) = u(·, t, φ ∗ ), t ∈ [0, T ]. Since v ∗ (0) = v ∗ (T ), we can define v ∗ (t) = v ∗ (t ), where t = t − n0 T ∈ [0, T ) for some integer n0 . It then follows that v ∗ ∈ X. Moreover, v ∗ ∈ Int(X+ ) due to φ ∗ ∈ Int(X+ ). The remaining parts (uniqueness and attractiveness) can be proved by arguments similar to those in [25, Theorem E]. 2 We then obtain the global dynamics for system (4.1) in the case where r(V (T , 0)) > 1. Theorem 4.5. Let v(x, t, φ) be the solution of system (4.1) with initial data φ ∈ X+ . Assume that 1 r(V (T , 0)) > 1. If U ∗ (x, t − τ ) < a(x,t) , ∀(x, t) ∈ × R, then (4.1) admits a periodic solution v ∗ ∈ Int(X+ ) such that limt→+∞ v(·, t, φ) − v ∗ (t)X = 0 for any φ ∈ X+ \ {0}. Proof. Let w(x, t, φ) and u(x, t, φ) be the unique solutions of systems (4.4) and (4.5) with initial data φ ∈ X+ \ {0}, respectively. Since v(x, t, φ) is a subsolution of (4.4), we have v(x, t, φ) ≤ w(x, t, φ), x ∈ , t ≥ −τ, φ ∈ X+ \ {0} due to the standard comparison arguments. 1 By the assumption U ∗ (x, t − τ ) < a(x,t) , ∀(x, t) ∈ × R, we can choose a number ρ0 > 1
1 such that ρ0 U ∗ (x, t − τ ) < a(x,t) , ∀(x, t) ∈ × R. Let φ(x, θ ) = ρ0 U ∗ (x, θ ), x ∈ , θ ∈ ∗ [−τ, 0]. Since U (x, t) is globally attractive in X+ \ {0} for system (4.4), it follows that v(x, t, φ) ≤ w(x, t, φ) ≤ ρ0 U ∗ (x, t) for all x ∈ and t large enough. Then we only need to prove the following two claims.
Claim 1. v(x, t, φ) ≤ ρ0 U ∗ (x, t), x ∈ , t ≥ −τ for all φ ≤ φ in X . In view of ∂U ∗ p(x, t) −1 (x, t) = [B(t)U ∗ (·, t)](x) + e , ∂t a(x, t)
x ∈ , t ≥ 0,
we have ∂ρ0 U ∗ p(x, t) −1 (x, t) ≥ [B(t)ρ0 U ∗ (·, t)](x) + e , ∂t a(x, t)
x ∈ , t ≥ 0.
This implies that ρ0 U ∗ (x, t) is a supersolution of (4.4). Since φ(x, t) ≤ ρ0 U ∗ (x, t), x ∈ , − τ ≤ t ≤ 0, we obtain v(x, t, φ) ≤ w(x, t, φ) ≤ ρ0 U ∗ (x, t), x ∈ , t ≥ 0, by the comparison arguments.
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
2123
Claim 2. u(x, t, φ) ≡ v(x, t, φ), x ∈ , t ≥ −τ for all φ ≤ φ in X . Obviously u(x, t, φ) ≡ v(x, t, φ), ∀x ∈ , t ∈ [−τ, 0]. It then follows from Claim 1 that 1 u(x, t − τ, φ) = φ(x, t − τ ) ≤ ρ0 U ∗ (x, t − τ ) ≤ a(x,t) , ∀x ∈ , t ≥ −τ , and hence, f (x, t, u(x, t − τ, φ)) = p(x, t)u(x, t − τ, φ)e−a(x,t)u(x,t−τ,φ) , ∀x ∈ , t ≥ 0. Thus, u(x, t, φ) ≡ v(x, t, φ), ∀x ∈ , t ≥ −τ for all φ ≤ φ in X due to the uniqueness of the solution. Consequently, the desired conclusion follows from Proposition 4.3. 2 Acknowledgments Liang’s research is supported by the National Natural Science Foundation of China (11571334) and the Fundamental Research Funds for the Central Universities; Zhang’s research was supported by the China Scholarship Council under a joint-training program at Memorial University of Newfoundland when he was a Ph. D student at University of Science and Technology of China; and Zhao’s research is supported in part by the NSERC of Canada. Our sincere thanks also goes to Jia-Bing Wang for helpful discussions on the basic properties of nonlocal dispersal equations and the eigenvalue problem of autonomous nonlocal dispersal systems with time delay. We are also grateful to the anonymous referee for his careful reading and valuable comments which led to an improvement of our original manuscript. References [1] W. Arendt, Resolvent positive operators, Proc. Lond. Math. Soc. (3) 3 (1987) 321–349. [2] X. Bao, W. Shen, Criteria for the existence of principal eigenvalues of time periodic cooperative linear systems with nonlocal dispersal, Proc. Amer. Math. Soc. 145 (2017) 2881–2894. [3] H. Berestycki, J. Coville, H.-H. Vo, On the definition and the properties of the principal eigenvalue of some nonlocal operators, J. Funct. Anal. 271 (2016) 2701–2751. [4] R. Bürger, Perturbations of positive semigroups and applications to population genetics, Math. Z. 197 (1988) 259–272. [5] R.S. Cantrell, C. Cosner, Spatial Ecology Via Reaction–Diffusion Equations, Wiley, Chichester, 2004. [6] C.C. Chicone, Y. Latushkin, Evolution Semigroups in Dynamical Systems and Differential Equations, Mathematical Surveys and Monographs, vol. 70, American Mathematical Society, Providence, 1999. [7] J. Coville, On a simple criterion for the existence of a principal eigenfunction of some nonlocal operators, J. Differential Equations 249 (2010) 2921–2953. [8] K. Deimling, Nonlinear Functional Analysis, Springer-Verlag, Berlin, Heidelberg, 1985. [9] W. Ding, X. Liang, Principal eigenvalues of generalized convolution operators on the circle and spreading speeds of noncompact evolution systems in periodic media, SIAM J. Math. Anal. 47 (2015) 855–896. [10] D. Edmunds, A. Potter, C. Stuart, Non-compact positive operators, Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 328 (1972) 67–81. [11] P.C. Fife, Mathematical Aspects of Reacting and Diffusing Systems, vol. 28, Springer-Verlag, Berlin, New York, 1979. [12] R.A. Fisher, The Genetical Theory of Natural Selection: a Complete Variorum Edition, Oxford University Press, Oxford, 1999, Edited by H. Bennett. [13] W. Gurney, S. Blythe, R. Nisbet, Nicholson’s blowflies revisited, Nature 287 (1980) 17–21. [14] J.K. Hale, S.M.V. Lunel, Introduction to Functional Differential Equations, Applied Mathematical Sciences, vol. 99, Springer-Verlag, New York, 1993. [15] V. Hardt, E. Wagenführer, Spectral properties of a multiplication operator, Math. Nachr. 178 (1996) 135–156.
2124
X. Liang et al. / J. Differential Equations 266 (2019) 2100–2124
[16] T. Kato, Perturbation Theory for Linear Operators, Classics in Mathematics, Reprint of the 1980 edition, SpringerVerlag, Berlin, Heidelberg, 1995. [17] J.L. Kelley, General Topology, vol. 27, Springer-Verlag, New York, Heidelberg, Berlin, 1975. [18] F. Li, J. Coville, X. Wang, On eigenvalue problems arising from nonlocal diffusion models, Discrete Contin. Dyn. Syst. 37 (2017) 879–903. [19] X. Liang, L. Zhang, X.-Q. Zhao, Basic reproduction ratios for periodic abstract functional differential equations (with application to a spatial model for Lyme disease), J. Dynam. Differential Equations (2017), https://doi.org/10. 1007/s10884-017-9601-7. [20] X. Liang, L. Zhang, X.-Q. Zhao, The principal eigenvalue for degenerate periodic reaction–diffusion systems, SIAM J. Math. Anal. 49 (2017) 3603–3636. [21] Y. Lou, X.-Q. Zhao, Threshold dynamics in a time-delayed periodic sis epidemic model, Discrete Contin. Dyn. Syst. Ser. B 126 (2009) 169–186. [22] R. Martin, H. Smith, Abstract functional-differential equations and reaction–diffusion systems, Trans. Amer. Math. Soc. 321 (1990) 1–44. [23] J.D. Murray, Mathematical Biology. I, Interdisciplinary Applied Mathematics, vol. 17, Springer-Verlag, New York, 2002. [24] R. Nussbaum, Eigenvectors of nonlinear positive operators and the linear Krein–Rutman theorem, Fixed Point Theory 886 (1981) 309–330. [25] N. Rawal, W. Shen, Criteria for the existence and lower bounds of principal eigenvalues of time periodic nonlocal dispersal operators and applications, J. Dynam. Differential Equations 24 (2012) 927–954. [26] H. Schaefer, Some spectral properties of positive linear operators, Pacific J. Math. 10 (1960) 1009–1019. [27] M. Schechter, Principles of Functional Analysis, vol. 2, Academic Press, New York, 1971. [28] W. Shen, X. Xie, Spectral theory for nonlocal dispersal operators with time periodic indefinite weight functions and applications, Discrete Contin. Dyn. Syst. Ser. B 22 (2017) 1023–1047. [29] W. Shen, A. Zhang, Spreading speeds for monostable equations with nonlocal dispersal in space periodic habitats, J. Differential Equations 249 (2010) 747–795. [30] H.R. Thieme, Remarks on resolvent positive operators and their perturbation, Discrete Contin. Dyn. Syst. 4 (1998) 73–90. [31] H.R. Thieme, Spectral bound and reproduction number for infinite-dimensional population structure and time heterogeneity, SIAM J. Appl. Math. 70 (2009) 188–211. [32] J. Wang, W. Li, J. Sun, Global dynamics and spreading speeds for a partially degenerate system with nonlocal dispersal in periodic habitats, Preprint. [33] J.-B. Wang, W.-T. Li, G.-B. Zhang, Spatial dynamics of a nonlocal dispersal vector disease model with spatiotemporal delay, Electron. J. Differential Equations 2015 (2015) 1–28. [34] W. Wang, X.-Q. Zhao, Basic reproduction numbers for reaction–diffusion epidemic models, SIAM J. Appl. Dyn. Syst. 11 (2012) 1652–1673. [35] D. Xu, X.-Q. Zhao, A nonlocal reaction–diffusion population model with stage structure, Can. Appl. Math. Q. 11 (2003) 303–319. [36] Z. Xu, Asymptotic speeds of spread for a nonlocal diffusion equation, J. Dynam. Differential Equations (2016) 1–27. [37] Y. Yuan, X.-Q. Zhao, Global stability for non-monotone delay equations (with application to a model of blood cell production), J. Differential Equations 252 (2012) 2189–2209. [38] X.-Q. Zhao, Basic reproduction ratios for periodic compartmental models with time delay, J. Dynam. Differential Equations 29 (2017) 67–82. [39] P. Zhou, On a Lotka–Volterra competition system: diffusion vs advection, Calc. Var. Partial Differential Equations 55 (2016) 137.