The Existence of Positive Nonconstant Steady States in a Reaction: Diffusion Epidemic Model
Abstract
We investigate the disease’s dynamics of a reaction-diffusion epidemic model. We first give a priori estimates of upper and lower bounds for positive solutions to model and then give the conditions of the existence and nonexistence of the positive nonconstant steady states, which guarantees the existence of the stationary patterns.
1. Introduction
Infectious diseases are the second leading cause of death worldwide, after heart disease, and are responsible for more deaths annually than cancer [1]. Since the pioneer work of Kermark and McKendrick [2], mathematical models have been contributing to improve our understanding of infectious disease dynamics and help us develop preventive measures to control infection spread qualitatively and quantitatively.
Many studies indicate that spatial epidemiology with self-diffusion has become a principal scientific discipline aiming at understanding the causes and consequences of spatial heterogeneity in disease transmission [3]. In these studies, reaction-diffusion equations have been intensively used to describe spatiotemporal dynamics. In particular, the spatial spread of infections has been studied by analyzing traveling wave solutions and calculating spread rates [4–10].
Besides, there has been some research on pattern formation in the spatial epidemic model, starting with Turing’s seminal paper [11]. Turing’s revolutionary idea was that the passive diffusion could interact with chemical reaction in such a way that even if the reaction by itself has no symmetry-breaking capabilities, diffusion can destabilize the symmetric solutions with the result that the system with diffusion has them [12]. In these studies [3, 13–20], via standard linear analysis, the authors obtained the conditions of Turing instability, and, via numerical simulation, they showed the pattern formation induced by self-diffusion or cross-diffusion and found that model dynamics exhibits a diffusion controlled formation growth to stripes, spots, and coexistence or chaos pattern replication.
Recently, the researchers are interested in research on the stationary patterns due to the existence and nonexistence nonconstant solutions of the reaction-diffusion model [21–29]. But the research on the existence and nonexistence nonconstant solutions of reaction-diffusion epidemic model, seems rare [3].
In this paper, we will focus on the disease’s dynamics through studying the existence of the constant and nonconstant steady states of a simple reaction-diffusion epidemic model.
The rest of this paper is organized as follows. In Section 2, we derive a reaction-diffusion epidemic model. In Section 3, we give a priori estimates of upper and lower bounds for positive solutions to model. In Section 4, we give the main results on the existence and nonexistence of positive nonconstant steady states of the model. The paper ends with a brief discussion in Section 5.
2. Basic Model
See [30] for more details.
The corresponding kinetic model (5) with m = 2 has been investigated by Wang et al. [20].
3. A Priori Estimates for Positive Solutions to Model (6)
The main purpose of this section is to give a priori upper and lower positive bounds for positive solution of model (6). To this aim, we first cite two known results. The first is due to Lin et al. [31] and the second to Lou and Ni [32]. In the following, let us denote the constants ν, Rd, and R0 collectively by Λ. The positive constants C, , , C*, and so forth will depend only on the domains Ω and Λ.
Lemma 1 (Harnack inequality [31]). Let be a positive solution to Δw(x) + c(x)w(x) = 0, where , satisfying the homogeneous Neumann boundary conditions. Then there exists a positive constant C* = C*(∥c∥∞, Ω), such that
Lemma 2 (maximum principle [32]). Let Ω be a bounded Lipschitz domain in ℝm and .
- (a)
Assume that and satisfies
(9) -
If , then g(x0, w(x0)) ≥ 0.
- (b)
Assume that and satisfies
(10) -
If , then g(x1, w(x1)) ≤ 0.
Theorem 3. If R0 > 1, then the positive solution (S(x), I(x)) of model (6) satisfies
Proof. Assume that (S(x), I(x)) is a positive solution of model (6). We set
Theorem 4. Assume that Rd > 1 and R0 > 1. Let d and D be fixed positive constants. Then there exists a positive constant such that, if dS, dI > d, every positive solution (S(x), I(x)) of model (6) satisfies
Proof. Let
Now, on the contrary, suppose that (15) is not true, then there exist sequences , with (dS,i, dI,i)∈[d, ∞)×[d, ∞) and the positive solution (Si, Ii) of model (6) corresponding to (dS, dI) = (dS,i, dI,i), such that
Letting i → ∞ in (22) we obtain that
Case 1 ( , or , ). Since Ii satisfies the second inequality of (18), Ii > 0 on . Therefore, R0Si/(Si + Ii) − 1 → −1 < 0 on as i → ∞. Hence, ∫Ω Ii(R0Si/(Si + Ii) − 1)dx < 0 for sufficiently large i which contradicts the second integral identity of (22).
Case 2 ( , ). As above, on . It follows from the first integral identity of (23) that
4. Existence and Nonexistence of Positive Nonconstant Steady States
4.1. Nonexistence for Positive Nonconstant Steady States to Model (6)
This section is devoted to the consideration of the nonexistence for the nonconstant positive solutions of model (6), and, in the following results, the diffusion coefficients do play a significant role.
Theorem 5. Assume that R0 > 1. Let D2 be a fixed positive constant with D2 > (R0 − 1)/μ1. Then there exists a positive constant D1(Λ, D2) such that model (6) has no positive nonconstant solution provided that dS ≥ D1 and dI ≥ D2.
Proof. Let (S(x), I(x)) be any positive solution of model (6) and denote . Then, multiplying the first equation of model (6) by , integrating over Ω, by virtue of Theorem 3, we have that
4.2. Existence for Positive Nonconstant Steady States to Model (6)
In this section, we discuss the global existence of nonconstant positive classical solutions to model (6), which guarantees the existence of the stationary patterns [21, 24, 26, 27].
Set B : = B(dS, dI) = {μ : μ ≥ 0, μ−(dS, dI) < μ < μ+(dS, dI)}, Sp = {μ0, μ1, μ2, …}, and m(μi) the multiplicity of μi.
To compute index (I − ℱ, u*), we can assert the following conclusion by Pang and Wang [22].
Lemma 6 (see [22].)Suppose H(dS, dI, μi) ≠ 0 for all μi ∈ Sp. Then
From Lemma 6, we see that to calculate the index of index(I − ℱ, u*), the key step is to determine the range of μ for which H(dS, dI, μ) < 0.
Theorem 7. Assume that Rd > max {1, (ν + R0 − 1)/R0ν}. If , for some j ≥ 1, and is odd, then there exists a positive constant d* such that model (6) has at least one nonconstant solution if dI > d*.
Proof. Since , equivalently, a1 > 0, it follows that if dI is large enough, then (dSa4 − dIa1) 2 > 4dSdIρ and 0 < μ−(dS, dI) < μ+(dS, dI). Furthermore,
By Theorem 5, we know that there exists d > d0 such that model (6) with diffusion coefficients dS = d and dI ≥ d has no nonconstant solutions. Moreover, we can choose d so large that a1/d < μ1. It follows that there exists d* > d such that
By virtue of Theorems 3 and 4, there exists a positive constant such that the positive solution (S(x), I(x)) of model (6) satisfies C−1 < S, I < C.
Set
It is clear that finding the positive solution of model (31) is equivalent to finding the fixed point of Φ(u, 1) in ℳ. Further, by virtue of the definition of ℳ, we have that Φ(u, θ) = 0 has no fixed point in ∂ℳ for all 0 ≤ θ ≤ 1.
Since Φ(u, t) is compact, the Leray-Schauder topological degree deg (I − Φ(u, θ), ℳ, 0) is well defined. From the invariance of Leray-Schauder degree at the homotopy, we deduce
In view of μ− ∈ (μi, μi+1) and μ+ ∈ (μj, μj+1), we have B(dS, dI)∩Sj = {μi+1, μi+2, …, μp}. Clearly, I − Φ(u, 1) = I − ℱ. Thus, if model (6) has no other solutions except the constant one u*, then Lemma 6 shows that
On the contrary, by the choice of d and d*, we have that and u* is the only fixed point of Φ(u, 0). It therefore follows from Lemma 6 that
5. Discussion
In this paper, we investigate the disease’s dynamics through studying the existence and nonexistence positive constant steady states of a reaction-diffusion epidemic model. We give a priori estimates for positive solutions to model and show that the nonconstant positive steady states exist due to the emergence of diffusion, which demonstrates that stationary patterns can be found as a result of diffusion. The numerical results about the stationary patterns for model (5) can be found in [20].
On the other hand, there are plenty of papers which focus on the pattern formation of reaction-diffusion population models via standard linear analysis method and numerical simulations. But there is little literature analytically concerning the existence of a stationary patterns via theory and methods of partial differential equations infrequently. The methods and results in the present paper may enrich the research of pattern formation in the spatial epidemic model.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
The authors thank the anonymous referee for very helpful suggestions and comments which led to improvement of our original paper. This research was supported by the National Science Foundation of China (61373005) and Zhejiang Provincial Natural Science Foundation (LY12A01014).