Skip to main content
Springer logoLink to Springer
. 2017 Jun 19;2017(1):143. doi: 10.1186/s13660-017-1417-9

New results on the existences of solutions of the Dirichlet problem with respect to the Schrödinger-prey operator and their applications

Xu Chen 1, Lei Zhang 2,
PMCID: PMC5487944  PMID: 28680246

Abstract

In this paper, by using the Beurling-Nevanlinna type inequality we obtain new results on the existence of solutions of the Dirichlet problem with respect to the Schrödinger-prey operator. Meanwhile, the local stability of the Schrödingerean equilibrium and endemic equilibrium of the model are also discussed. We specially analyze the existence and stability of the Schrödingerean Hopf bifurcation by using the center manifold theorem and bifurcation theory. As applications, theoretic analysis and numerical simulation show that the Schrödinger-prey system with latent period has a very rich dynamic characteristics.

Keywords: existence, Beurling-Nevanlinna type inequality, Dirichlet problem, Schrödinger-prey operator

Introduction

The role of mathematical modeling has been intensively growing in the study of epidemiology. Various epidemic models have been proposed and explored extensively and great progress has been achieved in the studies of disease control and prevention. Many authors have investigated the autonomous epidemic models. May and Odter [1] proposed a time-periodic reaction-diffusion epidemic model which incorporates a simple demographic structure and the latent period of an infectious disease. Guckenheimer and Holmes [2] examined an SIR epidemic model with a non-monotonic incidence rate, and they also analyzed the dynamical behavior of the model and derived the stability conditions for the disease-free and the endemic equilibrium. Berryman and Millstein [3] investigated an SVEIS epidemic model for an infectious disease that spreads in the host population through horizontal transmission, and they have shown that the model exhibits two equilibria, namely, the disease-free equilibrium and the endemic equilibrium. Hassell et al. [4] presented four discrete epidemic models with the nonlinear incidence rate by using the forward Euler and backward Euler methods, and they discussed the effect of two discretizations on the stability of the endemic equilibrium for these models. Shilnikov et al. [5] proposed a VEISV network worm attack model and derived the global stability of a worm-free state and local stability of a unique worm-epidemic state by using the reproduction rate. Robinson and Holmes [6] discussed the dynamical behaviors of a Schrödinger-prey system and showed that the model undergoes a flip bifurcation and a Hopf bifurcation by using the center manifold theorem and bifurcation theory. Bacaër and Dads [7] investigated an SVEIS epidemic model for an infectious disease that spreads in the host population through horizontal transmission.

Recently, Yan et al. [8], Xue [9] and Wan [10] discussed the threshold dynamics of a time-periodic reaction-diffusion epidemic model with latent period. In this paper, we will study the existence of the disease-free equilibrium and endemic equilibrium, and the stability of the disease-free equilibrium and the endemic equilibrium for this system. Conditions will be derived for the existence of a flip bifurcation and a Hopf bifurcation by using bifurcation theory [11, 12] and the center manifold theorem [13].

The rest of this paper is organized as follows. A discrete SIR epidemic model with latent period is established in Section 2. In Section 3 we obtain the main results: the existence and local stability of fixed points for this system. We show that this system goes through a flip bifurcation and a Hopf bifurcation by choosing a bifurcation parameter in Section 4. A brief discussion is given in Section 5.

Model formulation

In 2015, Yan et al. [9] discussed the threshold dynamics of a time-periodic reaction-diffusion epidemic model with latent period. We consider the following continuous-time SIR epidemic model described by the Schröding-prey equations:

{dSdt=βS(t)I(t),dIdt=βS(t)I(t)γI(t),dRdt=γI(t), 1

where S(t), I(t) and R(t) denote the sizes of the susceptible, infected and removed individuals, respectively, the constant β is the transmission coefficient, and γ is the recovery rate. Let S0=S(0) be the density of the population at the beginning of the epidemic with everyone susceptible. It is well known that the basic reproduction number R0=βS0/γ completely determines the transmission dynamics (an epidemic occurs if and only if R0>1); see also [8]. It should be emphasized that system (1) has no vital dynamics (births and deaths) because it was usually used to describe the transmission dynamics of a disease within a short outbreak period. However, for an endemic disease, we should incorporate the demographic structure into the epidemic model. The classical endemic model is the following SIR model with vital dynamics:

{dSdt=μNμS(t)βS(t)I(t)N,dIdt=βS(t)I(t)NγI(t)μI(t),dRdt=γI(t)μI(t), 2

which is almost the same as the SIR epidemic model (2) above, except that it has an inflow of newborns into the susceptible class at rate μN and deaths in the classes at rates μN, μI and μR, where N is a positive constant and denotes the total population size. For this model, the basic reproduction number is given by

R0=βS0γ+μ,

which is the contact rate times the average death-adjusted infectious period 1γ+μ. If R01, then the disease-free equilibrium E0(N,0,0) of model (2) is defined as follows:

{Sn+1=Sn+h(μNμSnβSnInN),In+1=In+h(βSnInNγInμIn),Rn+1=Rn+h(γInμIn), 3

where h, N, μ, β and γ are all defined as in (2).

Main results

We firstly discuss the existence of the equilibria of model (2). If we take two eigenvalues of J(E1),

ω1=1hμandω2=1+hβh(γ+μ),

then we have the following results.

Theorem 1

Let R0 be the basic reproductive rate such that R0<1. Then:

  1. If
    0<h<min{2μ,2(γ+μ)β},
    then E1(N,0) is asymptotically stable.
  2. If
    h>max{2μ,2(γ+μ)β}or2μ<h<2(γ+μ)β
    or
    2(γ+μ)β<h<2μ,
    then E1(N,0) is unstable.
  3. If
    h=2μorh=2(γ+μ)β,
    then E1(N,0) is non-hyperbolic.

The Jacobian matrix of model (2) at E2(S,I) is

J(E2)=(1hμβγ+μh(γ+μ)hμγ+μ(βγμ)1),

which gives

F(ω)=ω2trJ(E2)ω+detJ(E2), 4

where

trJ(E2)=2hμβγ+μ 5

and

detJ(E2)=1hμβγ+μ+h2[μβμ(γ+μ)]. 6

Two eigenvalues of J(E2) are

ω1,2=1+12(hμβγ+μ±(μR0)24[μβμ(γ+μ)]). 7

Next we obtain the following result as regards E2(S,I).

Theorem 2

Let R0 be the basic reproductive rate such that R01. Then:

  1. Put
    • (A)
      h>h and (μR0)24[μβμ(γ+μ)]0,
    • (B)
      h>h and (μR0)24[μβμ(γ+μ)]0.

    If one of the above conditions holds, then we know that E2(S,I) is asymptotically stable.

  2. Put
    • (A)
      hh and (μR0)24[μβμ(γ+μ)]<0,
    • (B)
      hh and (μR0)24[μβμ(γ+μ)]0,
    • (C)
      hh and (μR0)24[μβμ(γ+μ)]<0.

    If one of the above conditions holds, then E2(S,I) is unstable.

  3. Put
    • (A)
      h>h or h<h and (μR0)24[μβμ(γ+μ)]0,
    • (B)
      hh and (μR0)24[μβμ(γ+μ)]<0, where
      h=μβμ(γ+μ)(μR0)24[μβμ(γ+μ)](γ+μ)[μβμ(γ+μ)],h=μβ(γ+μ)[μβμ(γ+μ)],
      and
      h=μβ+μ(γ+μ)(μR0)24[μβμ(γ+μ)](γ+μ)[μβμ(γ+μ)].

    If one of the above conditions holds, then E2(S,I) is non-hyperbolic.

By a simple calculation, Conditions (A) in Theorem 2 can be written in the following form:

(μ,N,β,h,γ)M1M2,

where

M1={(μ,N,β,h,γ):h=h,N>0,0,R0>1,0<μ,β,γ<1}

and

M2={(μ,N,β,h,γ):h=h,N>0,0,R0>1,0<μ,β,γ<1}.

It is well known that if h varies in a small neighborhood of h or h and (μ,N,β,h,γ)M1 or (μ,N,β,h,γ)M2, then there may be a flip bifurcation of equilibrium E2(S,I).

Bifurcation analysis

If h varies in a neighborhood of h and (μ,N,β,h,γ)M1, then we derive the flip bifurcation of model (2) at E2(S,I). In particular, in the case that h changes in the neighborhood of h and (μ,N,β,h,γ)M2 we need to give a similar calculation.

Set

(μ,N,β,h,γ)=(μ1,N1,β1,h1,γ1)M1.

If we give the parameter h1 a perturbation h, model (2) is considered as follows:

{Sn+m=Sn+(r+h1)(μ1N1μ1Snβ1SnInN1),In+1=In+(h+h1)(β1SnInN1γ1Inμ1In), 8

where |h|1.

Put Un=Sn+1S and Vn=In+1I. We have

{Un+1=a11Un+a12Vn+a13UnVn+b11Unh+b12Vnh+b13UnVnh,Vn+1=a21Un+a22Vn+a23UnVn+b21Unh+b22Vnh+b23UnVnh, 9

where

a11=1h1(μ1+β1IN1),a12=h1β1SN1,a13=h1β1N1,b11=(μ1+β1IN1),b12=β1SN1,b13=β1N1,a21=h1β1IN1,a22=1,a23=β1h1N1,b21=β1IN1,b22=0,b23=β1N1.

If we define the matrix T as follows:

T=(a12a121a11ω2a11),

then we know that T is invertible. If we use the transformation

(UnVn)=T(XnYn),

then model (2) becomes

{Xn+1=Xn+F(Un,Vn,h),Yn+1=ω2Yn+G(Un,Vn,h). 10

Thus

Wc(0,0)={(Xn,Yn):Yn=a1Xn2+a2Xnh+o((|Xn|+|h|)2)},

where o((|Xn|+|h|)2) is a transform function,

a1=a13(a11a211)ω2+1

and

a2=b12(1+a11)2a12(ω2+1)2a12b12+b11(1+a11)(ω2+1)2.

Further we find that the manifold Wc(0,0) has the following form:

c1=a13(1+a11)(ω2a11+a12)ω2+1,c2=b11(ω2a11)a12b21ω2+1b12(ω2a11)(1+a11)a12(ω2+1),c3=a2a13(ω22a111)(ω2a11+a12)b13(1+a11)(ω2a11+a12)ω2+1,

and

c4=0,c5=a1a13(ω22a111)(ω2a11+a12)ω2+1.

Therefore the map G with respect to Wc(0,0) can be defined by

G(Xn)=Xn+c1Xn2+c2Xnh+c3Xn2h+c4Xnh2+c5Xn3+o((|Xn|+|h|)3). 11

In order to calculate map (11), we need two quantities α1 and α2 which are not zero,

α1=(GXnh+12GhGXnXn)|0,0

and

α2=(16GXnXnXn+(12GXnXn)2)|0,0.

By a simply calculation, we obtain

α1=c2=2h1,α2=c5+c12=h1β1N1(ω2+1)[(2h1β1μ1γ1μ1)(2h1γ1)]2,

where

c1=h1β1μ1γ1μ1[h1(γ1+μ1)2][2+h1(γ1+μ1)+h1β1μ1γ1μ1].

Therefore we have the following result.

Theorem 3

Let h change in a neighborhood of the origin. If α3>0, then the model (9) has a flip bifurcation at E2(S,I). If α20, then the period-2 points of that bifurcation from E3(S,I) are stable. If α30, then it is unstable.

We further consider the bifurcation of E3(S,I) if h varies in a neighborhood of h. Taking the parameters (μ,N,β,h,γ)=(μ2,N2,β2,h2,γ2)N arbitrarily, and also giving h a perturbation h at h2, then model (2) gets the following form:

{Sn+1=Sn+(h+h2)(μ2N2μ2Snβ2SnInN2),In+1=In+(h+h2)(β2SnInN2γ2Inμ2In). 12

Put Un=SnS and Vn=InI. We change the equilibrium E3(S,I) of model (9) and have the following result:

{Un+1=Un+(h+h2)(μ2Unβ2N2UnVnβ2N2UnIβ2N2VnS),Vn+1=Vn+(h+h2)(β2N2UnVn(γ1+μ1)Vn+β2N2UnI+β2N2VnS), 13

which gives

ω2+P(h)ω+Q(h)=0,

where

2+P(h)=β2μ2(h2+h)γ2μ2

and

Q(h)=1β2μ2(h2+h)γ2μ2+(h2+h)2[μ2β2μ2(μ2+γ2)].

It is easy to see that

ω1,2=P(h)±(P(h))24Q(h)2,

which gives

|ω1,2|=Q(h),k=d|ω1,2|dh|h=0=μ2β22(μ2+γ2).

We remark that (μ2,N2,β2,h2,γ2)N+ and <0, and then we have

(μ2β2)2(γ2+μ2)2[μ2β2μ2(μ2+γ2)]<4.

Thus

P(0)=2+(μ2β2)2(γ2+μ2)2[μ2β2μ2(μ2+γ2)]±2,

which means that

μ2β2(γ2+μ2)2[μ2β2μ2(μ2+γ2)]j(γ2+μ2)μ2β2,j=2,3. 14

Hence, the eigenvalues ω1,2 of equilibrium (0,0) of model (14) do not lie in the intersection when h=0 and (14) holds.

When h=0 we begin to study the model (14). Put

α=(μ2β2)22(γ2+μ2)2[μ2β2μ2(μ2+γ2)],β=μ2β24[μ2β2μ2(μ2+γ2)](μ2β2)22(γ2+μ2)[μ2β2μ2(μ2+γ2)],

and

T=(01βα),

where T is invertible.

If we use the following transformation:

(UnVn)=T(XnYn),

then the model (14) gets the following form:

{Xn+1=αXnβYn+F¯(Xn,Yn),Yn+1=βXn+αYn+G¯(Xn,Yn), 15

where

F¯(Xn,Yn)=h2β2(1+α)(βXnYn+αYn2)N2β

and

G¯(Xn,Yn)=h2β2(βXnYn+αYn2)N2.

Moreover,

F¯XnXn=0,F¯YnYn=2h2β2α(1+α)N2β2,F¯XnYn=h2β2(1+α)N2,F¯XnXnXn=F¯XnXnYn=F¯XnYnYn=F¯YnYnYn=0,G¯XnXn=0,G¯YnYn=2h2β2αN2,G¯XnYn=h2β2βN2,G¯XnXnXn=G¯XnXnYn=G¯XnYnYn=G¯YnYnYn=0.

Thus we have

a=Re[12ω¯1ωξ11ξ20]12ξ112ξ022+Re(ω¯ξ21),

where

ξ02=18[(F¯XnXnF¯YnYn2G¯XnYn)+(G¯XnXnG¯YnYn+2F¯XnYn)i],ξ11=14[(F¯XnXn+F¯YnYn)+(G¯XnXn+G¯YnYn)i],ξ20=18[(F¯XnXnF¯YnYn+2G¯XnYn)+(G¯XnXnG¯YnYn2F¯XnYn)i],

and

ξ21=116[(F¯XnXnXn+F¯XnYnYn+G¯XnXnYn+G¯YnYnYn)].

Therefore we have the following result.

Theorem 4

Let a0 and h change in a neighborhood of h. If the condition (15) holds, then model (13) undergoes a Hopf bifurcation at E2(S,I). If a>0, then the repelling invariant closed curve bifurcates from E2 for h<0. If a<0, then an attracting invariant closed curve bifurcates from E2 for h>0.

Conclusions

The paper investigated the basic dynamic characteristics of a Schrödinger-prey system with latent period. First, we applied the forward Euler scheme to a continuous-time SIR epidemic model and obtained the Schrödinger-prey system. Then the existence and local stability of the disease-free equilibrium and endemic equilibrium of the model are discussed. In addition, we chose h as the bifurcation parameter and studied the existence and stability of flip bifurcation and Hopf bifurcation of this model by using the center manifold theorem and the bifurcation theory. Numerical simulation results show that for the model (2) there occurs a flip bifurcation and a Hopf bifurcation when the bifurcation parameter h passes through the respective critical values, and the direction and stability of flip bifurcation and Hopf bifurcation can be determined by the sign of α2 and a, respectively. Apparently there are more interesting problems as regards this Schrödinger-prey system with latent period which deserve further investigation.

Acknowledgements

The authors would like to thank anonymous referees for their constructive comments which improve the readability of the paper. This work was supported by the Humanities and Social Science Fund of Ministry of Education (No. 2015-HU-042).

Footnotes

Competing interests

The authors declare that they have no conflict of interest.

Authors’ contributions

LZ carried out the transformation process, designed the solution methodology and drafted the manuscript. XC participated in the design of the study and helped to draft the manuscript. Both authors read and approved the final manuscript.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

References

  • 1.May RM, Odter GF. Bifurcations and dynamic complexity in simple ecological models. Am. Nat. 1976;110:573–599. doi: 10.1086/283092. [DOI] [Google Scholar]
  • 2.Guckenheimer J, Holmes P. Nonlinear Oscillations, Dynamical Model and Bifurcation of Vector Field. New York: Springer; 1983. [Google Scholar]
  • 3.Berryman AA, Millstein JA. Are ecological systems chaotic - and if not, why not? Trends Ecol. Evol. 1989;4:26–28. doi: 10.1016/0169-5347(89)90014-1. [DOI] [PubMed] [Google Scholar]
  • 4.Hassell MP, Comins HN, May RM. Spatial structure and chaos in insect population dynamics. Nature. 1991;353:255–258. doi: 10.1038/353255a0. [DOI] [Google Scholar]
  • 5.Shilnikov LP, Shilnikov A, Turaev D, Chua L. Methods of Qualitative Theory in Nonlinear Dynamics. Singapore: World Scientific; 1998. [Google Scholar]
  • 6.Robinson C, Holmes P. Dynamical Models, Stability, Symbolic Dynamics and Chaos. 2. Boca Raton: CRC Press; 1999. [Google Scholar]
  • 7.Bacaër N, Dads E. Genealogy with seasonality, the basic reproduction number, and the influenza pandemic. J. Math. Biol. 2011;62:741–762. doi: 10.1007/s00285-010-0354-8. [DOI] [PubMed] [Google Scholar]
  • 8.Guo Y, Xue M. Characterizations of common fixed points of one-parameter nonexpansive semigroups. Fixed Point Theory. 2015;16(2):337–342. [Google Scholar]
  • 9.Yan Z, Zhang J, Ye W. Rapid solution of 3-D oscillatory elastodynamics using the pFFT accelerated BEM. Eng. Anal. Bound. Elem. 2010;34(11):956–962. doi: 10.1016/j.enganabound.2010.06.008. [DOI] [Google Scholar]
  • 10.Wan L, Xu R. Some generalized integral inequalities and their applications. J. Math. Inequal. 2013;7(3):495–511. doi: 10.7153/jmi-07-44. [DOI] [Google Scholar]
  • 11.Huang J. Well-posedness and dynamics of the stochastic fractional magneto-hydrodynamic equations. Nonlinear Anal. 2016;133:102–133. doi: 10.1016/j.na.2015.12.001. [DOI] [Google Scholar]
  • 12.Jiang Z, Sun S. On completely irreducible operators. Front. Math. China. 2006;4:569–581. doi: 10.1007/s11464-006-0028-4. [DOI] [Google Scholar]
  • 13.Li C. A free boundary problem for a ratio-dependent diffusion predator-prey system. Bound. Value Probl. 2016;2016 doi: 10.1186/s13661-016-0701-9. [DOI] [Google Scholar]

Articles from Journal of Inequalities and Applications are provided here courtesy of Springer

RESOURCES