ASYMPTOTIC SPREADING IN A DELAYED DISPERSAL PREDATOR-PREY SYSTEM WITHOUT COMPARISON PRINCIPLE

. This paper deals with the initial value problem of a predator-prey system with dispersal and delay, which does not admit the classical comparison principle. When the initial value has nonempty compact support, the initial value problem formulates that two species synchronously invade the same habi- tat in population dynamics. By constructing proper auxiliary equations and functions, we conﬁrm the faster invasion speed of two species, which equals to the minimal wave speed of traveling wave solutions in earlier works.


Introduction
Spatial propagation dynamics of parabolic type systems has been widely investigated in literature, and two important indices on spatial propagation are minimal wave speed and spreading speed. Here, the minimal wave speed is the threshold on the existence of specific traveling wave solutions and the spreading speed of a nonnegative function u(x, t), x ∈ R, t > 0 is defined as follows [1]. Definition 1.1. Assume that u(x, t) is a nonnegative function for x ∈ R, t > 0. Then c is called the spreading speed of u(x, t) if a): lim t→∞ sup |x|>( c+ )t u(x, t) = 0 for any given > 0; b): lim inf t→∞ inf |x|<( c− )t u(x, t) > 0 for any given ∈ (0, c).
From the viewpoint of mathematical biology, the above speed characterizes the spatial expansion of the individuals [28,34]. In the past decades, some important results on these two thresholds have been established for monotone semiflows, see [12,18,26,37,38] and a survey paper by Zhao [43]. When some special cooperative systems are concerned, it has been proven that all components governed by a system have the same spreading speed that is also the minimal wave speed of traveling wave solutions [18,26,38]. At the same time, it has been shown that different components may have different spreading speeds in several noncooperative systems [19,20,21,22,30,33], and at least the spreading speed of one species equals to the minimal wave speed of traveling wave solutions.
Recently, Li et al. [17] investigated the following nonmonotone system where x ∈ R, t > 0, (u 1 , u 2 ) ∈ R 2 , r 1 , r 2 , d 1 , d 2 are positive constants, F 1 , F 2 are defined by In this system, [J 1 * u 1 ](x, t), [J 2 * u 2 ](x, t) reflecting the spatial dispersal indicate the long distance effect and nonadjacent contact among individuals [4,13,14], and are defined by where J i , i = 1, 2, play the role of probability kernel functions about the random walk of individuals and satisfy the following assumptions: (J1): J i is nonnegative and continuous for each i = 1, 2; (J2): for any λ ∈ R, R J i (y)e λy dy < ∞, i = 1, 2; (J3): R J i (y)dy = 1, J i (y) = J i (−y), y ∈ R, i = 1, 2. Clearly, (1) is a predator-prey system in population dynamics. In Li et al. [17], Yu and Yuan [41], Zhang et al. [42], the authors investigated its traveling wave solutions connecting (0, 0) with the positive steady state, which reflect the process that these two species invade a new habitat from the viewpoint of biology invasion. In particular, Li et al. [17] obtained the minimal wave speed defined by c * = max{c * 1 , c * 2 } with From the viewpoint of initial value problem, let any fixed time be the initial time, the traveling wave solutions in [17,41,42] indicate the initial size of habitat of both species is infinite, which contradicts to some natural phenomena because the initial invasion often begins in finite domain. The purpose of this paper is to explore the dynamics when the initial habitats of two invaders are finite and investigate the long time behavior of in which φ i (x, s) satisfies (I): For i = 1, 2, φ i (x, s), x ∈ R, s ∈ [−τ, 0], is nonnegative, bounded and continuous such that Since (2) involves delay effect of intraspecific competition if b 1 + b 2 > 0, it does not satisfy the comparison principle of classical predator-prey systems or monotone semiflows [40]. Therefore, the spreading speeds can not be investigated by the abstract results mentioned above. In this paper, we shall estimate the spreading speeds of these two species. By constructing proper auxiliary equations and functions, we confirm that either the predator or the prey invades the new habitat at the rough speed c * while the spreading speed of the other species may be smaller than c * .

Main results
In this section, we shall give and prove the main results on (2). Before giving the main results, we first define some positive constants as follows in which the existence and uniqueness of λ 2 > 0 is due to (J2)-(J3) and the convex of d 2 R J 2 (y)e λy dy − 1 − cλ + r 2 in λ > 0 for every c > 0. Using these constants, we present the following conclusion.
(1): If c 1 > c 2 is true, then c * is the spreading speed of u 1 (x, t) while the spreading speed of u 2 (x, t) is not larger than c 2 . (2): Further suppose that is not larger than c * 1 . We now prove the above theorem by several lemmas. Let X be the Banach space of uniformly continuous and bounded functions equipped with supremum norm.
generates a positive C 0 semigroup T i (t) : X → X, t ≥ 0 (see [39,Lemma 3.1]), and the mild solution of the above initial value problem is denoted as for any 0 ≤ s < t < ∞. Moreover, for any given kernel function J satisfying (J1)-(J3), it also generates a positive C 0 semigroup T (t) : X → X, t ≥ 0. Consider the following initial value problem where J satisfies (J1)-(J3), d > 0 and r > 0 are constants. Also define By Jin and Zhao [15], we have the following conclusion.
If χ(x) has nonempty support, then for any c < c , we have On the existence of mild solution of (1), we have the following result.
Proof. The local existence is evident by the theory of abstract functional differential equations [27], here the mild solution is defined by for 0 ≤ θ < t < T with some T ∈ (0, ∞]. If T = ∞, then the global existence is true. Further by the quasipositivity in u 1 F 1 , u 2 F 2 , we see the mild solution is nonnegative. If u 1 (x, t) only exists for t ∈ [0, T ) with bounded T such that for 0 ≤ θ < t < T , and the comparison principle (Lemma 2.2) implies A contradiction occurs. The proof is complete by similar discussion on u 2 (x, t).
To continue the discussion, we investigate the following scalar equation Furthermore, ν(x, s) ≥ 0 is uniformly continuous and bounded. Evidently, the global existence of mild solution of (7) is true by Lemma 2.3. (7). If ν(x, 0) admits nonempty compact support such that 0 ≤ ν(x, 0) ≤ 1, x ∈ R, then its spreading speed is c defined by (6).
Lemma 2.5. If c 1 > c 2 is true, then c * is the spreading speed of u 1 (x, t) while the spreading speed of u 2 (x, t) is not larger than c 2 .
Again by (3), we see that for all 0 ≤ θ < t < ∞, and Lemma 2.4 or its proof implies We now verify that c * is the spreading speed of u 1 (x, t). Because of Lemma 2.2 and for all 0 ≤ θ < t < ∞, it suffices to confirm that (11) lim inf for any given c < c * . We now fix 3c > c 2 + 2c 1 and > 0 such that By (9) and (10), there exists T > 0 such that which implies that there exists M > 0 depending on such that for any T ≤ θ < t. Clearly, the spreading speed is not less than that of by repeating the proof of Lemma 2.4. The proof is complete.
Lemma 2.6. Assume that (4) is true. If c * 1 ≤ c * 2 is true, then c * is the spreading speed of u 2 (x, t) while the spreading speed of u 1 (x, t) is not larger than c * 1 . Proof. By the positivity of (3), u 1 (x, t) satisfies for any 0 ≤ s < t, the spreading speed of u 1 (x, t) is not larger than c * 1 by Lemma 2.2.
On the other hand, u 2 (x, t) satisfies for any 0 ≤ s < t, and Lemma 2.4 implies that the spreading speed of u 2 (x, t) is not less than c * . Now, we shall prove that lim sup t→∞ sup |x|>ct u 2 (x, t) = 0 for any fixed c > c * . By the positivity, we obtain and the result is true if the spreading speed of the following equation is c * where u 2 (x, 0) = u 2 (x, 0), u 1 (x, s) = φ 1 (x, s), s ≤ 0, and u 1 (x, t), t > 0 is defined by The main reason why the above claim is true is that the above equation (12) is monotone and admits comparison principle.

Discussion
The propagation dynamics of predator-prey systems has important ecology background, one typical case is the evolution of insect herbivores and lupins on Mount St Helens, see [11,29]. Another related topic is the asymptotic spreading in epidemic models because of the similar monotone conditions. In literature, much attention has been paid to the traveling wave solutions since the work of Dunbar [10]. However, there are a few results on asymptotic spreading of predator-prey systems, see part results by Ducrot [7,8], Ducrot et al. [9], Lin [19], Lin et al. [23], Pan [30,32], Wang and Zhang [36].
The model in this paper admits nonlocal dispersal and time delays, the mechanism has significant biological reasons and other backgrounds [4,5,13,14,28], and the monotone case has been widely studied, see some recent works by [2,3,6]. Similar to that in [16,24], the model in this paper is not a monotone system [35] and time delay is not small enough. When the diffusion is of the classical Ficker type in (1), Pan [31] studied its minimal wave speed of traveling wave solutions connecting trivial steady state with the positive one.
In this paper, we show that c * may be the spreading speed of u 1 or u 2 , which is the minimal wave speed in [17]. It is possible to study the asymptotic spreading of the model in [31] by our idea. Both thresholds in this paper and [17] formulate that two species invade a new habitat. From our results, we see that the predator and the prey may have different spreading speeds, but it is difficult to estimate these spreading speeds. To answer these questions, more properties on the nonlocal operator and delayed systems are necessary. We shall further investigate these questions in our future research.