Volume 2013, Issue 1 921401
Research Article
Open Access

The Existence of Positive Nonconstant Steady States in a Reaction: Diffusion Epidemic Model

Yuan Yuan

Yuan Yuan

College of Mathematics and Information Science, Wenzhou University, Wenzhou 325035, China wzu.edu.cn

Search for more papers by this author
Hailing Wang

Hailing Wang

Department of Mathematics, Hubei Minzu University, Enshi, Hubei 445000, China muc.edu.cn

Search for more papers by this author
Weiming Wang

Corresponding Author

Weiming Wang

College of Mathematics and Information Science, Wenzhou University, Wenzhou 325035, China wzu.edu.cn

Search for more papers by this author
First published: 22 December 2013
Citations: 1
Academic Editor: Kaifa Wang

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 [410].

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, 1320], 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 [2129]. 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

In [30], Berezovsky and coworkers introduced a simple epidemic model through the incorporation of variable population, disease induced mortality, and emigration into the classic model of Kermark and McKendrick [2]. The total population (N) is divided into two groups susceptible (S) and infectious (I); that is, N = S + I. The model describing the relations between the state variables is
(1)
where the birth process incorporates density dependent effects via a logistic equation with the intrinsic growth rate r and the carrying capacity K; S(t), I(t) represent population densities of susceptible and infected population, respectively; β denotes the transmission rate (the infection rate constant); μ is the natural mortality; d denotes the disease-induced mortality; θ is the per-capita emigration rate of noninfective.
For model (1), the epidemic threshold of basic reproduction number R0 is then computed as
(2)
The basic demographic reproductive number Rd is given by
(3)
For simplicity, rescalling the model (1) by letting SS/K, II/K, and tt/(μ + d) leads to the following model:
(4)
where ν = (μ + θ)/(μ + d) defined by the ratio of the average life-span of susceptibles to that of infections and S + I ≤ 1.

See [30] for more details.

Assume that the habitat Ωm (m ≥ 1) is a bounded domain with smooth boundary Ω (when m > 1), and n is the outward unit normal vector on Ω. We consider the following reaction-diffusion SI epidemic model:
(5)
where the nonnegative constants dS and dI are the diffusion coefficients of S and I, respectively. The symbol Δ is the Laplacian operator. The homogeneous Neumann boundary condition implies that the above model is self-contained and there is no infection across the boundary.

The corresponding kinetic model (5) with m = 2 has been investigated by Wang et al. [20].

In this paper, we concentrated on the steady states of model (5) which satisfy
(6)
Throughout this paper, the positive solution (S, I) satisfying model (6) refers to a classical one with S > 0, I > 0 on . Clearly, model (6) has a unique positive constant solution (endemic equilibrium) E* = (S*, I*) if Rd > (ν + R0 − 1)/R0ν and R0 > 1, where
(7)

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

(8)

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

(11)

Proof. Assume that (S(x), I(x)) is a positive solution of model (6). We set

(12)
By applying Lemma 2, we have
(13)
and R0S(x2)I(x2)/(S(x2) + I(x2)) ≥ I(x2). This clearly gives
(14)

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

(15)

Proof. Let

(16)
In view of Theorem 3, there exists a positive constant C = C(Λ) such that , provided that dS, dI > d. As S and I satisfy
(17)
It follows from Lemma 1 that there exists a positive constant C* = C*(Λ, d) such that
(18)
for dS, dId.

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

(19)
It follows from Lemma 1 that
(20)
(Si, Ii) satisfies
(21)
Integrating by parts, we obtain that, for i = 1,2, …,
(22)
By the regularity theory for elliptic equations [33], we see that there exist a subsequence of , which we will still denote by , and two nonnegative functions , such that in [C2(Ω)] 2 as i. By (20), we have that or .

Letting i in (22) we obtain that

(23)

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

(24)
This fact combines with yielding to , which implies that R0Si/(Si + Ii) → R0 uniformly on as i, since Ii → 0 uniformly on . As R0 > 1, this contradicts the second integral identity of (23) and the fact that Ii > 0. This completes the proof.

4. Existence and Nonexistence of Positive Nonconstant Steady States

In this section, we provide some sufficient conditions for the existence and nonexistence of nonconstant positive solution of model (6) by using the Leray-Schauder degree theory [34]. From now on, we denote by
(25)
the eigenvalues of the operator −Δ on Ω with the zero-flux boundary conditions.

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 dSD1 and dID2.

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

(26)
where C1, C2 depend only on Λ. In a similar manner, we multiply the second equation in model (6) by to have
(27)
It follows from (26), (27) and the ε-Young inequality that
(28)
where C = C2 + R0. It follows from the well-known Poincaré inequality that
(29)
Since dIμ1 > R0 − 1 from the assumption, we can find a sufficiently small ε0 such that dIμ1R0 − 1 + εC/2. Finally, by taking D1 : = (1/μ1)(C1 + C/2ε0) one can conclude that and , which asserts our results.

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].

Unless otherwise specified, in this section, we always require that Rd > (ν + R0 − 1)/R0ν and R0 > 1, which guarantees that model (6) has one positive constant steady state E*. From now on, let us denote
(30)
Let X = {u ∈ [C2(Ω)] 2u/n = 0, xΩ} and . Then we write model (6) in the form
(31)
where
(32)
Define a compact operator : X+X+ by
(33)
where (I − Δ) −1 is the inverse operator of I − Δ subject to the zero-flux boundary condition. Then u is a positive solution of model (31) if and only if u satisfies
(34)
To apply the index theory, we investigate the eigenvalue of the problem
(35)
where Ψ = (Ψ1, Ψ2) T and u(u*) = (I − Δ) −1(I + A) with
(36)
λ is an eigenvalue of (35) if and only if λ is an eigenvalue of the matrix (μi + 1) −1(μiIA) for any i ≥ 0. Therefore, Iu(u*) is invertible if and only if, for any i ≥ 0, the matrix
(37)
is invertible. A straightforward computation yields
(38)
where ρ = (1/R0)(νR0RdR0 + 1 − ν)(R0 − 1) > 0. For the sake of convenience, we denote
(39)
Then H(dS, dI, μ) = dSd2det (Mi).
If (dSa4dIa1) 2 > 4dSd2ρ, then H(dS, dI, μ) = 0 has two real roots μ± given by
(40)

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 μiSp. Then

(41)
where
(42)
In particular, if H(dS, dI, μ) > 0 for all μ ≥ 0, then σ = 0.

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 (dSa4dIa1) 2 > 4dSdIρ and 0 < μ(dS, dI) < μ+(dS, dI). Furthermore,

(43)
Since a1/dS ∈ (μj, μj+1) for some j ≥ 1, there exists d0 ≫ 1 such that
(44)

By Theorem 5, we know that there exists d > d0 such that model (6) with diffusion coefficients dS = d and dId has no nonconstant solutions. Moreover, we can choose d so large that a1/d < μ1. It follows that there exists d* > d such that

(45)
We shall prove that, for any dId*, model (6) has at least one nonconstant positive solution. On the contrary, suppose that this assertion is not true for some . In the following, we will derive a contradiction by using a homotopy argument.

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

(46)
and define
(47)
by
(48)
where
(49)

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

(50)

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

(51)

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

(52)
From (50)–(52), we get a contradiction. Therefore, there exists a nonconstant solution of model (6). The proof is completed.

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).

        The full text of this article hosted at iucr.org is unavailable due to technical difficulties.