Loading [MathJax]/jax/output/SVG/jax.js
Research article Special Issues

Deflection analysis of long-span girder bridges under vehicle bridge interaction using cellular automaton based traffic microsimulation

  • Deflection is a crucial indicator to reflect the operating condition of girder bridges, which can be used to evaluate structure condition and identify abnormal loading. The paper analyzed the deflection characteristics of long-span girder bridges based on the coupling vibration between stochastic traffic stream and bridge. First, the latest research advances were integrated to form an analytical model of the coupling vibration between stochastic traffic stream and bridge. Then, a generalized Pareto distribution model based on peaks-over-threshold theory was established to predict the extreme girder deflection. Next, a cellular automaton based microsimulation method was proposed to model the traffic loads on bridges, which utilized the intelligent driver car-following model and acceptance distance based lane-changing model. Finally, these theories were applied in the case study of a long-span prestressed concrete continuous girder bridge. It is discovered from the study that, under the coupling vibration between stochastic traffic stream and bridge, the predicted extreme deflection of the case bridge is far lower than the specified design value. Hence, a grading warning model was established and employed to the analysis of deflection monitoring data of the bridge, showing a wide potential prospect of application.

    Citation: Pan Zeng, Ronghui Wang, Zhuo Sun, Junyong Zhou. Deflection analysis of long-span girder bridges under vehicle bridge interaction using cellular automaton based traffic microsimulation[J]. Mathematical Biosciences and Engineering, 2019, 16(5): 5652-5671. doi: 10.3934/mbe.2019281

    Related Papers:

    [1] Huanyi Liu, Hengguo Yu, Chuanjun Dai, Zengling Ma, Qi Wang, Min Zhao . Dynamical analysis of an aquatic amensalism model with non-selective harvesting and Allee effect. Mathematical Biosciences and Engineering, 2021, 18(6): 8857-8882. doi: 10.3934/mbe.2021437
    [2] Shengyu Huang, Hengguo Yu, Chuanjun Dai, Zengling Ma, Qi Wang, Min Zhao . Dynamics of a harvested cyanobacteria-fish model with modified Holling type Ⅳ functional response. Mathematical Biosciences and Engineering, 2023, 20(7): 12599-12624. doi: 10.3934/mbe.2023561
    [3] Moitri Sen, Malay Banerjee, Yasuhiro Takeuchi . Influence of Allee effect in prey populations on the dynamics of two-prey-one-predator model. Mathematical Biosciences and Engineering, 2018, 15(4): 883-904. doi: 10.3934/mbe.2018040
    [4] Fang Liu, Yanfei Du . Spatiotemporal dynamics of a diffusive predator-prey model with delay and Allee effect in predator. Mathematical Biosciences and Engineering, 2023, 20(11): 19372-19400. doi: 10.3934/mbe.2023857
    [5] Zhenliang Zhu, Yuming Chen, Zhong Li, Fengde Chen . Dynamic behaviors of a Leslie-Gower model with strong Allee effect and fear effect in prey. Mathematical Biosciences and Engineering, 2023, 20(6): 10977-10999. doi: 10.3934/mbe.2023486
    [6] Xiaofen Lin, Hua Liu, Xiaotao Han, Yumei Wei . Stability and Hopf bifurcation of an SIR epidemic model with density-dependent transmission and Allee effect. Mathematical Biosciences and Engineering, 2023, 20(2): 2750-2775. doi: 10.3934/mbe.2023129
    [7] Kunlun Huang, Xintian Jia, Cuiping Li . Analysis of modified Holling-Tanner model with strong Allee effect. Mathematical Biosciences and Engineering, 2023, 20(8): 15524-15543. doi: 10.3934/mbe.2023693
    [8] Minjuan Gao, Lijuan Chen, Fengde Chen . Dynamical analysis of a discrete two-patch model with the Allee effect and nonlinear dispersal. Mathematical Biosciences and Engineering, 2024, 21(4): 5499-5520. doi: 10.3934/mbe.2024242
    [9] Yue Xia, Lijuan Chen, Vaibhava Srivastava, Rana D. Parshad . Stability and bifurcation analysis of a two-patch model with the Allee effect and dispersal. Mathematical Biosciences and Engineering, 2023, 20(11): 19781-19807. doi: 10.3934/mbe.2023876
    [10] Manoj K. Singh, Brajesh K. Singh, Poonam, Carlo Cattani . Under nonlinear prey-harvesting, effect of strong Allee effect on the dynamics of a modified Leslie-Gower predator-prey model. Mathematical Biosciences and Engineering, 2023, 20(6): 9625-9644. doi: 10.3934/mbe.2023422
  • Deflection is a crucial indicator to reflect the operating condition of girder bridges, which can be used to evaluate structure condition and identify abnormal loading. The paper analyzed the deflection characteristics of long-span girder bridges based on the coupling vibration between stochastic traffic stream and bridge. First, the latest research advances were integrated to form an analytical model of the coupling vibration between stochastic traffic stream and bridge. Then, a generalized Pareto distribution model based on peaks-over-threshold theory was established to predict the extreme girder deflection. Next, a cellular automaton based microsimulation method was proposed to model the traffic loads on bridges, which utilized the intelligent driver car-following model and acceptance distance based lane-changing model. Finally, these theories were applied in the case study of a long-span prestressed concrete continuous girder bridge. It is discovered from the study that, under the coupling vibration between stochastic traffic stream and bridge, the predicted extreme deflection of the case bridge is far lower than the specified design value. Hence, a grading warning model was established and employed to the analysis of deflection monitoring data of the bridge, showing a wide potential prospect of application.


    Nowadays, great quantities of rivers and lakes around the world are more or less affected by algal bloom, which phenomenon has received more and more attention from aquatic ecologists and environmentalists[1,2]. Algae are the simplest vegetative organisms capable of photosynthesis, they have various kinds and are widely distributed. The outbreak of algal bloom will bring a lot of troubles to our life and environment. For examples, some algaes can secrete toxic substances, which can not be easily removed by conventional water treatment processes, then directly affect the quality and safety of water supply. A large number of algae populations will also consume too much oxygen, causing fish and other aquatic organisms to die due to the lackness of oxygen, which also further deteriorates water quality [3,4]. However, until now, the outbreak and control of algal bloom is still one of the world's difficult problems. Therefore, it is urgent for scientists to choose new ideas and methods to explore this world problem.

    Since the 1950s, as system models and mathematical methods have penetrated into the field of ecological research, a research method combining mathematical model and numerical simulation is formed, which can not only dynamically reflect the internal essential characteristics of real ecological problems, but also analyze their causality and find out the laws reflecting the internal mechanism according to their deep understanding[5,6,7]. Consequently, more and more scholars use mathematical models to describe ecological phenomena and use numerical simulation to predict the future trend, and then some excellent research results were obtained in these papers[8,9]. The papers[9,10,11,12,13,14] introduced refuge effect into predator-prey model to explore its impact on dynamic behaviors, and gave some meaningful results, such as: refuge effect has a crucial role in the evolution of dynamic behaviors[9,10,11], prey refuge can balance the relationship of predator-prey under the presence of habitat complexity[12], prey refuge can affect spatiotemporal patterns[13], Both nonlinear harvesting and refuge will influence the Turing instability [14]. the papers[15,16,17,18,19,20,21] added Allee effect to predator-prey model to explore its impact mechanism, and some good results were obtained, such as the system without Allee effect will always take a shorter time to get a steady-state solution than that with Allee effect[15], Allee effect can create or destroy the interior attractor [16], Allee effect in prey growth can reduce the complex dynamics[17], Allee effect will cause strong impact on population dynamics[18,19,20,21]. The papers[22,23,24] considered how harvest factors affect the dynamic relationship of predator-prey model, and obtained some important results. The paper[25] pointed out that different level of fear will induce differently, such as striped inhomogeneous distribution is induced under high level of fear, spotted inhomogeneous distribution is induced under low level of fear, the mixture of spotted and striped inhomogeneous distribution is induced under intermediate level of fear. The paper[8] declared that cross-diffusion was able to create stationary patterns, which could enrich the findings of pattern formation in an ecosystem. All in all, it is successful to explore the action mechanism of eco-environmental factors in predator-prey model by using mathematical model and numerical simulation. Therefore, we believe that this method is particularly useful to study the outbreak and control of algal bloom.

    From the perspective of fish controlling cyanobacteria bloom, the most important aim of the paper is to propose a modified algae and fish model based on an aquatic ecological model, which can make the dynamic relationship between algae and fish represented by the modified model closer to the dynamic relationship in the natural ecological environment. On this basis, the dynamic behavior of the modified aquatic ecological model is investigated in detail especially bifurcations, and some practical results are obtained.

    The paper[26] proposed an ecological model of aquatic organisms to express the algal aggregation based on 5 modeling assumptions, and revealed the dynamic relationship between algae and fish, which can be described by the following differential equations:

    {˙X=r1X(1Xk)Yα(Xm)a+Xm,˙Y=ηYα(Xm)a+Xm+r2Y(1Xk)dY, (2.1)

    where X(t) and Y(t) represent the population densities of algae and fish respectively, the ecological significance of all parameters are detailed in the paper [26].

    However, the aquatic ecological model (2.1) has two shortcomings. One is that the Allee effect is not considered in the growth function of algae. As far as we know, since the population size of microbial species is often "huge" and most microorganisms reproduce asexually, there are few researches on microorganisms with Allee effect. However, some scholars have found the existing evidences of Allee effect in microbial population experiments. For example, Smith et al. [27] engineered Allee effects in Escherichia coli, and Qi et al. [28] detected Allee effect in experimental population of Vibrio fischeri in a specific experimental environment. The causes of Allee effect are various and different for different species. Compared with algae monomer, algal aggregation has some obvious survival advantages [29,30,31]. There are gaps between algal aggregation, which will increase buoyancy then promote photosynthesis better [29]. Algal aggregation is usually composed of thousands of cells, which is large enough that can effectively prevent zooplankton from preying, and better avoid the invasion of viruses, bacteria and algae phagocytes [30]. Algal aggregation can secrete more microcystins than monomer, which reduces the risk of predation [31]. Thus algal aggregation can make algae to find a more suitable niche, then promote the growth and reproduction. The individual reproduction of algae monomer with low aggregation degree will be relatively reduced, which will result in Allee effect. The other is that the function r2Y(1Xk) of algae monomer affecting the abundance of fish is not reasonable, this is because that the function includes the influence of algal aggregation. Thus, relatively speaking, the function r2Y(1XMK) is more reasonable.

    Based on the above analysis, we will construct a modified aquatic ecological model, which can be described by the following differential equations:

    {dXdT=R1X(1XK)(XN1)Yα1(XM)A+XM,dYdT=β1Yα1(XM)A+XM+R2Y(1XMK)DY, (2.2)

    where N (0<N<K) is Allee effect threshold, the prey population is doomed to extinction when the prey population density or size is below the threshold. It is worth mentioning that the term of feeding on the alternative prey R2Y(1XMK) in model (2.2) is more reasonable than it in model (2.1), this is because the aggregated part of algae M is always composed by thousands of units, which is too big for fish, hence fish can only turn to the monomer part of algae XM for grazing.

    There are too many parameters of model (2.2), which will bring inconvenience to our follow-up research, in order to reduce the number of parameters, replacing it with the following variables

    x=XA,y=α1YAR1,t=R1T,

    then model (2.2) can be rewritten as the following dimensionless form:

    {dxdt=x(1xk)(xn1)xm1+xmy,dydt=βxm1+xmy+ry(1xmk)dy, (2.3)

    where m=MA,k=KA,n=NA,β=α1β1R1,r=R2R1 and d=DR1 are positive constants and apparently 0mk. It is worth noting that the density of prey X must greater than the aggregation parameter M, therefore x must satisfy mx and m must be euqal to zero when x=0. To illustrate how Allee effect affects the per-capita growth rate of algae population, we numerically show the change trend of per-capita growth rate under different values of Allee effect control parameter n. It can be seen from Figure 1 that if the Allee effect is not considered, the per-capita growth rate of algae population decreases monotonically with the increase of x value, if the Allee effect is considered, the per-capita growth rate of algae population increases first and then decreases monotonically with the increase of x value, and if the algae population density is lower than an Allee threshold, the per-capita growth rate is negative, which implies that the algae population density can not support the large-scale reproduction of algae population, and will lead to the extinction of algae population. At the same time, it is also worth pointing out that the per-capita growth rate curve is concave, which can better describe the proliferation stage of algae population. Thus, considering Allee effect in the construction of algae ecological dynamics model is more in line with the actual ecological and environmental significance.

    Figure 1.  Per-capita growth rate of algae under the influence of different Allee effect parameters n without predator. Other parameters are as follows: k=5, m=0.5, β=0.17, r=0.15, d=0.21.

    In this paper, firstly, we analyze the relevant dynamic properties of model (2.3), and obtain several conditions of critical threshold to ensure that model (2.3) can undergo transcritical, saddle-node, Hopf and B-T bifurcation. Secondly, we carry out numerical experiments on the dynamic behaviors of model (2.3), which can confirm the effectiveness of theoretical derivation and visually display the dynamic behavior evolution process. Finally, we reveal the quality of dynamic relationship between algae and fish from the view of population dynamics evolution according to results of the numerical simulation.

    Equilibrium points are the special solutions, which will exhibit rich properties of model (2.3), therefore, the existence and stability of all possible equilibrium points of model (2.3) will be discussed in this section, and we will also use the PoincareBendixson Theorem to confirm the existece of a limit cycle.

    It is obvious that model (2.3) has at most five possible equilibrium points: trivial extinction equilibrium point E0(0,0), two predator-free equilibrium points E1(k,0) and E2(n,0), two coexistence equilibrium points E1(x1,y1) and E2(x2,y2). The equilibrium points E1 and E2 exist unconditionally, and E0 exists when m1 from the mathematical perspective, while from the biological perspective it exists without condition. Where x1 and x2 are the roots of the equation:

    rkx2+Bx+C=0,

    with

    B=βd+r+2mrkrk,C=dmdmβ+rmr+mrkm2rk,

    then we can obtain the concrete expressions of x1 and x2 as

    x1=kBkΔ2r,x2=kB+kΔ2r,

    where

    Δ=B2+4rkC=(drβ)2k22r(dr+β)k+r2k2,

    corresponding, the concrete expressions of y1 and y2 are

    y1=x1(1x1k)(x1n1)(1+x1m)x1m,y2=x2(1x2k)(x2n1)(1+x2m)x2m.

    The existence of coexistence equilibrium points is conditional, and the condition mxik,i=1,2 must be satisfied, this is out of the consideration of biological significance. It is obvious that yi>0 when xi>max{m,n}. The specific existence conditions of coexistence equilibrium points can be viewed in the appendix. Coexistence equilibrium points have a decisive influence on the dynamic behavior, for an example, the fish will finally die out and model (2.3) will not be persistent if there exists no coexistence equilibrium point.

    The stability of equilibrium points can be obtained through the signs of the eigenvalues of Jacobian matrix, firstly we obtain the expression of Jacobian matrix about model (2.3) as

    JE(x,y)=(3nkx2+(2n+2k)x1y(1+xm)2xm1+xmβy(1+xm)2rykβxm1+xm+r(1xmk)d),

    then we have the following theorems about the stability of equilibrium points.

    Theorem 3.1. E0(0,0) exists when m1 and it is stable when r<d, while E0 is a saddle when r>d.

    Proof. When x=0, m must be equal to zero, therefore the Jacobian matrix of E0 can be written as

    JE0(0,0)=(100rd),

    it is obvious that both the two eigenvalues of matrix JE0(0,0), λ1=1 and λ2=rd, are negative when r<d, then E0 is stable. However the two eigenvalues of JE0(0,0) have opposite signs when r>d, then E0 is an unstable saddle.

    Theorem 3.2. E1(k,0) exists unconditionally, and E1 is stable when d>βkm1+km+mkr, but E1 is an unstable saddle when d<βkm1+km+mkr.

    Proof. The Jacobian matrix of E1 can be written as

    JE1(k,0)=(1knkm1+km0βkm1+km+mkrd),

    the two characteristic roots of matrix JE1(k,0) are λ1=1kn and λ2=βkm1+km+mkrd, the former is negative since the Allee effect threshold N is smaller than the maximum environmental capacity K, then n<k is satisfied. Therefore, when d>βkm1+km+mkr, the two eigenvalues of JE0(0,0) are both negative, then E0 is stable, but E0 is an unstable saddle as d<βkm1+km+mkr.

    Theorem 3.3. E2 allways exists as an unstable equilibrium point. When d<βnm1+nm+r(1nmk), E2 is an unstable node or focus, otherwise E2 is an unstable saddle if d>βnm1+nm+r(1nmk).

    Proof. The expression of the Jacobian matrix around the equilibrium point E2 is given by:

    JE2(n,0)=(1nknm1+nm0βnm1+nm+r(1nmk)d).

    Obviously, JE2(n,0) has two characteristic roots λ1=1nk and λ2=βnm1+nm+r(1nmk)d. From the previous content that n<k then the root λ1 is positive, which means E2 is always unstable. Moreover, E2 is an unstable node or focus when d<βnm1+nm+r(1nmk), and a saddle when d>βnm1+nm+r(1nmk).

    Next we will focus on the stability of the internal equilibrium points E1 and E2, the Jacobian matrixs of them can be written as

    JEi(xi,yi)=(3nkxi2+(2n+2k)xi1yi(1+xim)2xim1+ximβyi(1+xim)2ryik0),

    the expression of characteristic equations of JEi(xi,yi) is

    λ2[3nkxi2+(2n+2k)xi1yi(1+xim)2]λ+yi[β(1+xim)2rk]xim1+xim=0,

    where i=1,2, then we have the following two theorems, which are under the conditions of their existence.

    Theorem 3.4. Suppose E1(x1,y1) exists, then E1 is an unstable saddle as long as r<kk+1(dβ+Δ). As for r>kk+1(dβ+Δ), E1 is asymptotically stable in a small domain when Tr(JE1)<0, while E1 is an unstable node or focus when Tr(JE1)>0.

    Proof. It is not hard to get the following equation through calculation

    S1=β(1+x1m)2rk = 2rΔΔk+(drβ)kr,

    then for the stability of equilibrium point E1, we have the following two situations

    (1) If 0<r<kk+1(dβ+Δ), then S1<0, which means Det(E1)<0 i.e., the two eigenvalues of JE1 have opposite signs, therefore E1 is an unstable saddle.

    (2) If r>kk+1(dβ+Δ), then S1>0, which means Det(E1)>0. Under this condition, E1 is asymptotically stable in a small domain when Tr(JE1)<0 i.e., JE1 has two negative eigenvalues or the real part of eigenvalues are negative, but E1 is an unstable focus or node when Tr(JE1)>0 i.e., both the two eigenvalues of JE1 are positive or have positive real part.

    Theorem 3.5. The equilibrium point E2 is an unstable saddle as long as it exists.

    Proof. Similar to the above theorem, we can obtain the following equation

    S2=β(1+x2m)2rk=2rΔΔk+(d + r + β)k + r.

    It's obvious that S2<0 due to the existing condition of E2 including r>d, which means Det(E2)<0, then JE2 has a positive eigenvalue and a negative eigenvalue i.e., E2 is an unstable saddle under the existing conditions.

    In this subsection, we assume that E1 is the unique internal equilibrium point, which is unstable, then as for model (2.3) we have the following main theorem about the existence of limit cycle.

    Theorem 3.6. For model (2.3), there exists one limit cycle when m>n at least.

    Proof. Consider the lines L1:xm=0, L2:xk=0, we have

    dL1dt=x(1xk)(xn1)xm1+xmy|x=m>0,
    dL2dt=x(1xk)(xn1)xm1+xmy|x=k<0.

    Therefore the orbit of model (2.3) will across the lines L1 and L2 from left and right, respectively. Moreover, we define the second line L3:x+yβB=0, then we have

    dL3dt=x(1xk)(xn1)rx(1xmk)+dx+[rrk(xm)d]B,

    here B is a positive constant and large enough. According to the existence of E1 from appendix we have r<d, then [rrk(xm)d]B is a quite small negative number for any specific x[m,k], meanwhile x(1xk)(xn1)rx(1xmk)+dx is bounded. Thus dL3dt<0 for all x[m,k], which means that model (2.3) has at least one limit cycle according to PoincareBendixson Theorem.

    In order to make the results more visualized, we fix the parameters k=5,n=0.2,r=0.15,d=0.21,m=0.4 and β=0.25, then E1 is the unique equilibrium point of model (2.3), which is unstable. At the same time, the condition dL3dt<0 is satisfied when B=120, so it is obvious to find from Figure 2 that there exists one limit cycle at least. The condition dL1dt>0 means that the density values of the two populations will tend to the right side of the line L1 when the initial density values lie on the line, dL2dt<0 and dL3dt<0 denote similar meanings. Furthermore, the limit cycle describes such a phenomenon in biology that neither of algae and fish will be extinct, but reach a state of periodic oscillation and dynamic coexistence.

    Figure 2.  The limit cycle of this model with k = 5, n = 0.2, r = 0.15, d = 0.21, m = 0.4, β = 0.25, B = 120, where E1 is the unique internal equilibrium point in the region and the lines L1–L3 are defined in the main text.

    In this section, the local bifurcation of model (2.3) will be discussed in detail. We not only consider the codimension one bifurcations, scuh as the transcritical, saddle-node and Hopf bifurcation but also explore codimension two bifurcation as B-T bifurcation. Here the transversality conditions for transcritical bifurcation and saddle-node bifurcation will be verified by the Sotomayor's theorem[32].

    Usually, the boundary equilibrium points are the main research object of transcritical bifurcation. In this subsection, the existence of transcritical bifurcation at the equilibrium point E1(k,0) is studied. From Theorem 2, we know that E1 is an unstable saddle when g(m)<0, while E1 is stable when g(m)>0, where

    g(m)=rm2+(βkdkrkr)mβk2+dk2+dk,

    letting m1m2 be the two possible solutions of equition g(m)=0, we have

    m1=r+(d+rβ)kkΔ2r,m2=r+(d+rβ)k+kΔ2r.

    Thus, when m1 or m2 is in the set [0,k], the equilibrium point E1 will translate its stability as the value of m passes through m1 or m2. Furthermore, it should be attention that when m=m1 or m=m2, the equilibrium point E1 coincides with E1 if βkdkrk+2mrr>0, and coincides with E2 if βkdkrk+2mrr<0.

    Theorem 4.1. Model (2.3) will undergo two transcritical bifurcations.

    (a) Transcritical bifurcation takes place in model (2.3) at E1 when m=m1 with either of the following two cases is satisfied.

    case 1. Δ>0, (βd)k<d, |r+dkβk|<rk.

    case 2. Δ>0, (βd)k<d, r+dkβk>rk, d<r.

    (b) Transcritical bifurcation takes place in model (2.3) at E1 when m=m2 with either of the following two cases is satisfied.

    case 1. Δ>0, r<d, |r+dkβk|<rk.

    case 2. Δ>0, r<d<(βd)k, r+dkβk<rk.

    Proof. (a) m1(0,k), when case 1 or case 2 is satisfied. And E1 shifts it's stability from stable to unstable with m passing through m1 from left to right. When m=m1, the Jacobion matrix at E1 can be expressed as

    J(E1;m)=(1knkm1+km00),

    we assume that V and W respectively are eigenvectors of J(E1;m) and JT(E1;m) with respect to eigenvalue zero, which means.

    J(E1;m)V=0,JT(E1;m)W=0,

    we can set

    V=(v1v2)=(km1+km1kn),W=(w1w2)=(01),

    then

    WTFm(E1;m)=(01)(y(1+xm)2βy(1+xm)2+ryk)(E1,m)=(01)(00)=0,
    WT[DFm(E1;m)V]=(01)(2y(1+xm)31(1+xm)22βy(1+xm)3β(1+xm)2+rk)(E1,m)(km11+km11kn)=2r(nk)[k2Δ((drβ)kr)kΔ]nk[(drβ)krkΔ]2,
    WT[D2F(E1;m)(V,V)]=(01)(f1xxf1xyf1yxf1yyf2xxf2xyf2yxf2yy)(E1;m)(v1v1v1v2v2v1v2v2)=4r(kn)[(drβ)k+rkΔ][k2Δ((drβ)kr)kΔ]nk[(drβ)krkΔ]3,

    where

    f1=x(1xk)(xn1)xm1+xmy,f2=βxm1+xmy+ry(1xmk)dy,

    due to β0 and nk, it's obvious that

    WT[DFm(E1;m)V]0,WT[D2F(E1;m)(V,V)]0.

    Therefore, by the Sotomayors theorem, transcritical bifurcation takes place in model (2.3) at E1 when m=m1.

    (b) We omitted the process since it is similiar to the proof of (a).

    The existing conditions of the two internal equilibrium points E1 and E2 are given in the appendix. When β is chosen as the bifurcation parameter, the collision of E1 and E2 may overlap as an equilibrium point ESN(xSN,ySN) when Δ=0. With the change of the value of β, the value of Δ will change, and when Δ<0, there is no internal equilibrium point ESN. The change of equilibrium point number is caused by the taking place of saddle-node bifurcation in model (2.3) when β=βSN, where

    βSN=dkrk+r+2dkrkr2k,

    corresponding, we have

    xSN=mr+rk(dr)r,
    ySN=xSN(1xSNk)(xSNn1)(1+xSNm)xSNm.

    Theorem 4.2. Saddle-node bifurcation takes place in model (2.3) when β=βSN under the conditions of

    (1) d>r,

    (2) (nm)r<rk(dr)<(km)r.

    Proof. The equilibrium point ESN exists under the above two conditions according to the Appendix. The Jacobian matrix at ESN when β=βSN can be written as

    JESN=(3nkx2SN+(2n+2k)xSN1ySN(1+xSNm)2xSNm1+xSNm00).

    Letting the eigenvectors of the zero eigenvalues of JESN and JTESN are V and W respectively, where

    V=(v1v2)=(xSNm1+xSNm3nkx2SN+(2n+2k)xSN1ySN(1+xSNm)2),W=(w1w2)=(01),

    then, we can get

    WTFβ(ESN;βSN)=(01)(0xSNm1+xSNmySN)=xSNm1+xSNmySN0,
    WT[D2Fm(ESN;βSN)(V,V)]=(01)(f1xxf1xyf1yxf1yyf2xxf2xyf2yxf2yy)(ESN;βSN)(v1v1v1v2v2v1v2v2)=2βSNySN(mxSN)2(1+xSNm)50.

    Clearly, the transversality condition for the taking place of saddle-node bifurcation at ESN is satisfied when β=βSN. Therefore, it is obvious that the number of internal equilibrium point of model (2.3) changes from zero to two when the value of parameter β passes through β=βSN.

    From the analysis in the previous content, it's easy to conclude that the equilibrium point E1 has different stability under different restrictions of parameters, which may caused by Hopf bifurcation. In order to figure out how algal aggregation and Allee effect influence the dynamic behavior of model (2.3), m and n are chosen as the control parameter of Hopf bifurcation respectively, then we have the following two Theorems.

    Theorem 4.3. Hopf bifurcation takes place in model (2.3) around E1 at m=mHp when r>kk+1(dβ+Δ) based on Theorem 3.4.

    Proof. As for matrix JE1, the characteristic equation of it can be written as λ2Tr(JE1)λ+Det(JE1)=0, then a Hopf bifurcation takes place when m=mHp such that

    (1) Tr(JE1)=0,

    (2) Det(JE1)>0,

    (3) ddmTr(JE1)|m=mHp0.

    When m=mHp, Tr(JE1)=0 is set up, and Det(JE1)>0 is satisfied when r>kk+1(dβ+Δ) according to Theorem 3.4. Therefore we only need to certify the transersality condition (3) to guarantee the changes of stability of E1 through Hopf bifurcation.

    ddmTr(JE1)|m=mHp={6x12n2knk+x1(1x1k)(x1n1)+[x31nk(1n+1k)x21+x1](2+4x14m)(x1m)2(1+x1m)2}|m=mHp,

    The condition (3) is satisfied through our numerical simulation, then Hopf bifurcation takes place in model (2.3) at m=mHp. To find out the stability of the limit cycle brought by Hopf bifurcation, the first Lyapunov number l1 at the equilibrium point E1 is going to be computed following.

    Firstly, translating the equilibrium point E1 to the origin by using the transformation x=xm+x1, y=ym+y1, then model (2.3) can be rewritten as

    {˙xm=a10xm+a01ym+a20x2m+a11xmym+a02y2m+a30x3m+a21x2mym+a12xmy2m+a03y3m+P1(xm,ym),˙ym=b10xm+b01ym+b20x2m+b11xmym+b02y2m+b30x3m+b21x2mym+b12xmy2m+b03y3m+P2(xm,ym),

    where a10, a01, b10, b01 are the components of the Jacobian matrix at E1, we have a10+b01=0 and Det=a10b01a01b10>0. The coefficients aij and bij are determined by

    a02=a12=a03=b01=b02=b03=b12=0,a10=3nkx21+2(1n+1k)x11y1(1+x1m)2,a01=x1m1+x1m,a20=3nkx1+1n+1k+y1(1+x1m)3,a11=1(1+x1m)2,a30=1nky1(1+x1m)4,a21=1(1+x1m)3,b10=βy1(1+x1m)2rky1,b20=βy1(1+x1m)3,b11=β(1+x1m)2rk,b30=βy1(1+x1m)4,b21=β(1+x1m)3.

    P1(xm,ym) and P2(xm,ym) are the power series in (xm,ym) with terms ximyjm satisfying i+j4.

    The expression of the first Lyapunov number can be expressed by the formula:

    l1=3π2a01(Det)3/2{[a10b10(a211+a11b02+a02b11)+a10a01(b211+a20b11+a11b02)2a10b10(b202a20a02)2a10a01(a220b20b02)a201(2a20b20+b11b20)+(a01b102a210)(b11b02a11a20)+b210(a11a02+2a02b02)](a210+a01b10)[3(b10b03a01a30)+2a10(a21+b12)+(b10a12a01b21)]},=3πβy1[6x1nk+2k+2n+2y1(1+x1m)3+βy1(1+x1m)2rk]2(x1m)1/2[βy1(1+x1m)2y1rk]3/2(1+x1m)5/23π[3nk3y1(1+x1m)4β(1+x1m)3]2(x1m)1/2[βy1(1+x1m)3y1rk(1+x1m)]1/23π[3x1nk+1k+1n+y1(1+x1m)3]2(x1m)3/2[βy1(1+x1m)y1rk(1+x1m)]1/2.

    The limit cycle around equilibrium point E1 caused by Hopf bifurcation is unstable if l1>0, otherwise the limit cycle is stable if l1<0. For the expression of the first Lyapunov number l1 is too cumbersome to tell the sign, the accuracy of this Theorem will be verified in the Section 5.

    Theorem 4.4. Hopf bifurcation takes place in model (2.3) around E1 at n=nHp when r>kk+1(dβ+Δ).

    Proof. This Theorem is similar to the above one, we only need to prove the third condition

    (3') ddnTr(JE1)|n=nHp0.

    Through calculation we can obtain

    ddnTr(JE1)|n=nHp=(3n2kx212n2x1+x21(1x1k)(1+x1m)(x1m)n2)|n=nHp0,

    then we complete the proof.

    Usually several main parameters will affect model (2.3) collectively, therefore it is significant to focus on the dynamic behavior caused by the combined parameters. We study a bifurcation of codimension two with parameters m and β in this section, we pay main attention to the B-T bifurcation, which is caused by the simultaneous occurrence of saddle-node bifurcation and Hopf bifurcation.

    Theorem 4.5. When choose two bifurcation parameters m and β, mBT and βBT are the bifurcation threshold valves, which satisfy

    Tr(JE1)|(mBT,βBT)=0,Det(JE1)|(mBT,βBT)=0,

    then a B-T bifurcation takes place near the equilibrium point E1 with changing parameters (m,β) near (mBT,βBT).

    Here we derive model (2.3) into a normal form of the B-T bifurcation to obtain the specific expressions of the saddle-node, Hopf and homoclinic bifurcation curve in a small domain near the B-T point.

    Substituting m=mBT+ξ1, β=βBT+ξ2 into model (2.3), where ξ1 and ξ2 stand for two small perturbations. Then we can obtain the following model

    {dxdt=x(1xk)(xn1)xmBTξ11+xmBTξ1y,dydt=(βBT+ξ2)xmBTξ11+xmBTξ1y+ry(1xmBTξ1k)dy, (4.1)

    Through introducing new variables u=xx1 and v=yy1, the equilibrium point E1 is translated to the origin, we have

    {dudt=a00(ξ)+a10(ξ)u+a01(ξ)v+a20(ξ)u2+a11(ξ)uv+a02(ξ)v2,dvdt=b00(ξ)+b10(ξ)u+b01(ξ)v+b20(ξ)u2+b11(ξ)uv+b02(ξ)v2+P3(u,v,ξ), (4.2)

    where

    a00(ξ)=x1(1x1k)(x1n1)x1mBTξ11+x1mBTξ1y1,a01(ξ)=x1mBTξ11+x1mBTξ1,
    a10(ξ)=3nkx21+2(1n+1k)x11y1(1+x1mBTξ1)2,a11(ξ)=1(1+x1mBTξ1)2,
    a20(ξ)=3nkx1+1n+1k+y1(1+x1mBTξ1)3,b10(ξ)=(βBT+ξ2)y1(1+x1mBTξ1)2rky1,
    a02(ξ)=b02(ξ)=0,b20(ξ)=(βBT+ξ2)y1(1+x1mBTξ1)3,b11(ξ)=βBT+ξ2(1+x1mBTξ1)2rk.
    b00(ξ)=(βBT+ξ2)x1mBTξ11+x1mBTξ1y1+ry1(1x1mBTξ1k)dy1,
    b01(ξ)=(βBT+ξ2)x1mBTξ11+x1mBTξ1+r(1x1mBTξ1k)d,

    and P3(u,v,ξ) is power series in (u,v) with terms uivj satisfying i+j4, whose coefficients are depend on ξ1 and ξ2 smoothly.

    Then, in a small domain of the origin (0,0), we take the following C change of coordinates:

    n1=u,n2=a00(ξ)+a10(ξ)u+a01(ξ)v+a20(ξ)u2+a11(ξ)uv,

    model (4.2) can be written as

    {dn1dt=n2,dn2dt=c00(ξ)+c10(ξ)n1+c01(ξ)n2+c20(ξ)n21+c11(ξ)n1n2+c02(ξ)n22+P4(n1,n2,ξ), (4.3)

    where

    c10(ξ)=a01(ξ)b10(ξ)a10(ξ)b01(ξ)a00(ξ)b11(ξ)+a11(ξ)b00(ξ)a00(ξ)a11(ξ)b01(ξ)a01(ξ),c00(ξ)=a01(ξ)b00(ξ)a00(ξ)b01(ξ),c01(ξ)=a10(ξ)+b01(ξ)a00(ξ)a11(ξ)a01(ξ),c20(ξ)=a01(ξ)b20(ξ)a20(ξ)b01(ξ)a10(ξ)b11(ξ)+a11(ξ)b10(ξ)+2a00(ξ)a112(ξ)b01(ξ)a012(ξ),c11(ξ)=2a20(ξ)+b11(ξ)a10(ξ)a11(ξ)a01(ξ)+a00(ξ)a112(ξ)a012(ξ),c02(ξ)=a11(ξ)a01(ξ),

    and P4(n1,n2,ξ) is power series in (n1,n2) with terms ni1nj2 satisfying i+j4, whose coefficients are depend on ξ1 and ξ2 smoothly.

    In order to remove the term c02(ξ)n22 from model (4.3), we take a new time variable τ, which satisfies (1c02(ξ)n1)dτ=dt. Then letting p1=n1, p2=n2(1c02n1) and rewriting τ as t for the seek of briefness, we obtain

    {dp1dt=p2,dp2dt=η00(ξ)+η10(ξ)p1+η01(ξ)p2+η20(ξ)p21+η11(ξ)p1p2+P5(p1,p2,ξ), (4.4)

    where

    η00(ξ)=c00(ξ),η10(ξ)=c10(ξ)2c00(ξ)c02(ξ),η01(ξ)=c01(ξ),η20(ξ)=c20(ξ)+c00(ξ)c202(ξ)2c02(ξ)c10(ξ),η11(ξ)=c11(ξ)2c01(ξ)c02(ξ),

    and P5(p1,p2,ξ) is power series in (p1,p2) with terms pi1pj2 satisfying i+j4, whose coefficients are depend on ξ1 and ξ2 smoothly.

    Let

    q1=p1+η10(ξ)2η20(ξ),q2=p2,

    under which, model (4.4) can be translated into the following one

    {dq1dt=q2,dq2dt=ϖ00(ξ)+ϖ01(ξ)q2+ϖ20(ξ)q21+ϖ11(ξ)q1q2+P6(q1,q2,ξ), (4.5)

    where

    ϖ00(ξ)=η00(ξ)η210(ξ)4η20(ξ),ϖ01(ξ)=η01(ξ)η10(ξ)η11(ξ)2η20(ξ),ϖ20(ξ)=η20(ξ),ϖ11(ξ)=η11(ξ),

    and P6(q1,q2,ξ) is power series in (q1,q2) with terms qi1qj2 satisfying i+j4, whose coefficients are depend on ξ1 and ξ2 smoothly.

    Notice that the expression of ϖ20(ξ) is too complex to determine the sign, two cases are considered follows.

    case 1:ϖ20(ξ)>0, when ξi (i=1,2) is small enough, then take the following new variables

    ν1=q1,ν2=q2ϖ20(ξ),τ=tϖ20(ξ),

    retaining t to denote τ, then model (4.5) can be rewritten as

    {dν1dt=ν2,dν2dt=θ00(ξ)+θ01(ξ)ν2+ν21+θ11(ξ)ν1ν2+P7(ν1,ν2,ξ), (4.6)

    where

    θ00(ξ)=ϖ00(ξ)ϖ20(ξ),θ01(ξ)=ϖ01(ξ)ϖ20(ξ),θ11(ξ)=ϖ11(ξ)ϖ20(ξ),

    and P7(ν1,ν2,ξ) is power series in (ν1,ν2) with terms νi1νj2 satisfying i+j4, whose coefficients are depend on ξ1 and ξ2 smoothly.

    Assume θ11(ξ)0, then through introducing new variables

    x=θ211(ξ)ν1,y=θ311(ξ)ν2,τ=tθ11(ξ),

    and retaining t to represent τ, then model (4.6) can be rewritten as

    {dxdt=y,dydt=σ00(ξ)+σ01(ξ)y+x2+xy+P8(x,y,ξ), (4.7)

    where

    σ00(ξ)=θ00(ξ)θ411(ξ),σ01(ξ)=θ01(ξ)θ11(ξ),

    and P8(x,y,ξ) is power series in (x,y) with terms xiyj satisfying i+j4, whose coefficients depend on ξ1 and ξ2 smoothly.

    case 2:ϖ20(ξ)<0, when ξi (i=1,2) is small enough, then take the following new variables

    ν1=q1,ν2=q2ϖ20(ξ),τ=tϖ20(ξ),

    retaining t to denote τ, then model (4.5) can be rewritten as

    {dν1dt=ν2,dν2dt=θ00(ξ)+θ01(ξ)ν2ν21+θ11(ξ)ν1ν2+P7(ν1,ν2,ξ), (4.6')

    where

    θ00(ξ)=ϖ00(ξ)ϖ20(ξ),θ01(ξ)=ϖ02(ξ)ϖ20(ξ),θ11(ξ)=ϖ11(ξ)ϖ20(ξ),

    and P7(ν1,ν2,ξ) is power series in (ν1,ν2) with terms νi1νj2 satisfying i+j4, whose coefficients depend on ξ1 and ξ2 smoothly.

    Supposing θ11(ξ)0, then we make the following transformation:

    x=θ211(ξ)ν1,y=θ311(ξ)ν2,τ=tθ11(ξ),

    retaining t to denote τ, then model (4.6) can be rewritten as

    {dxdt=y,dydt=σ00(ξ)+σ01(ξ)y+x2+xy+P8(x,y,ξ), (4.7')

    where

    σ00(ξ)=θ00(ξ)θ411(ξ),σ01(ξ)=θ01(ξ)θ11(ξ),

    and P8(x,y,ξ) is power series in (x,y) with terms xiyj satisfying i+j4, whose coefficients depend on ξ1 and ξ2 smoothly.

    We retain σ00(ξ) and σ01(ξ) to denote σ00(ξ) and σ01(ξ) in (4.7) to reduce the number of situations to be discussed. In a small domain of (0,0), the two transformations of models (4.7) and (4.7) are homeomorphisms, and σ00(ξ), σ01(ξ) are independent parameters when |(σ00,σ01)(ξ1,ξ2)|ξ1=ξ2=00. According to the results of [33,34], model (2.3) undergoes a B-T bifurcation when ξ=(ξ1,ξ2) is in a small doamin of the origin. The local expressions around the origin of the bifurcation curves can be expressed as follows ("+" denotes ϖ20(ξ)>0 and "" denotes ϖ20(ξ)<0) :

    (1) The expression of saddle-node bifurcation curve:

    SN={(ξ1,ξ2):σ00(ξ1,ξ2)=0,σ01(ξ1,ξ2)0};

    (2) The expression of Hopf bifurcation curve:

    Hp={(ξ1,ξ2):σ01(ξ1,ξ2)=±σ00(ξ1,ξ2),σ00(ξ1,ξ2)<0};

    (3) The expression of homoclinic bifurcation curve:

    HL={(ξ1,ξ2):σ01(ξ1,ξ2)=±57σ00(ξ1,ξ2),σ00(ξ1,ξ2)<0}.

    In real life, ecological control of cyanobacteria bloom is one of the most effective methods, especially, controlling algae bloom by fish. Although fish can effectively graze algae, algae can prevent grazing through aggregation. Thus, to better understand the dynamic variation of fish and algae, some numerical simulation work needs to be implemented. Since model (2.3) contains too many parameters, we fix some of the parameters as follows for the seek of convenient: k=5,n=0.2,r=0.15,d=0.21.

    On the premise of the fixed parameters previously, we fix the parameter m=1.5 and let parameter β vary within a certain range as Figure 3(a). It is can be find from Figure 3(a) obviously that model (2.3) has abundant dynamic properties. When β=βSN=0.1748528137 and β=βTC=0.2121428571, there takes place a saddle-node bifurcation and transcritical bifurcation in model (2.3) respectively. Firstly the internal equilibrium points E1(x1,y1) and E2(x2,y2) are not exist when β<βSN. In the meantime, E0 and E2 are unstable, but E1 is a stable node. With the value of β increasing and passing through βSN, there appear two additional internal equilibrium points E1(x1,y1) and E2(x2,y2), the former is a stable node while the latter is an unstable saddle, this process can be seen more clearly from Figure 4. Secondly, the internal equilibrium point E2(x2,y2) will coincide with the boundary equilibrium point E1(5,0) with the value of β increasing and passing through βTC. And this collision of the two equilibrium points changes E1(5,0) from a stable node to an unstable saddle.

    Figure 3.  Bifurcation diagrams of model (2.3) with the previously fixed parameters. The red and bule curves represent the internal equilibrium points E1 and E2, respectively. And three horizontal lines stand for three other equilibrium points: E0(green), E1(cyan) and E2(pink). Equilibrium points presented as solid curves are stable, dotted curves are unstable. Moreover, the vertical lines with labels 'SN', 'TC' and 'Hp' indicate that model (2.3) undergoes saddle-node, Transcritical and Hopf bifurcation here respectively. (a) fix m = 1.5 then vary β. (b) fix β=0.17488281 then vary m.
    Figure 4.  The process of saddle-node bifurcation of model (2.3) with parameters fixed as mentioned in the main text. (a) Internal equilibrium points E1 and E2 are not exist when 0.1738=β<βSN. (b) When β=βSN, there exists a special internal equilibrium point, which is a saddle-node. (c) Exist two internal equilibrium points E1 and E2, the former is a stable node and the latter is an unstable saddle, when 0.1758=β>βSN. (d) Partical enlarged view of the whole process of saddle-node bifurcation. The black point represents a saddle-node, red for E1 and blue for E2.

    Similar to the above approach, now we fix an additional parameter β=0.17488281, then let parameter m vary within a certain range as Figure 3(b). At the beginning, that is to say when m<mHp=1.385035335, both two internal equilibrium points E1 and E2 are unstable, the former is an unstable focus and the latter is an unstable saddle. Furthermore, it is worth mentioning that there is a limit cycle in a small neighborhood containing E1, which is surrendered by one of the unstable trajectory of saddle E2. At the same time, we can calculate that the first Lyapunov number is l1=770.954244π<0, which means that the limit cycle is stable. Thus, the unstable focus will become a center when the value of m gets greater and reaches mHp. that is to say, E1 will turn into a stable focus, as the value of m continues to increase and exceeds mHp. In a word, the detailed dynamic evolution process of Hopf bifurcation can be seen in Figure 5. Furthermore, it is easy to see from Figure 5(d) that if the value of m is less than mHp, model (2.3) has limit cycles around E1, which are represented by the colorful circles in the diagram, if the value of m is larger than mHp, model (2.3) has a stable equilibrium point. Moreover, it is also worth emphasizing that the amplitude of limit cycle is increasing as the value of m is decreasing, which means that if the aggregation area of algae is smaller, the area where algae and fish periodically oscillate and coexist is more wider. And with the passage of time, fish and algae will eventually reach a state of coexistence within a small range of m>mHp.

    Figure 5.  The process of Hopf bifurcation according to the bifurcation parameter n, with k=5,r=0.15,d=0.21,m=1.385035335,β=0.17488281. (a) E1 is locally asymptotically stable when 0.1998=n<nHp. (b) E1 is a center when n=nHp=0.2. (c) Through Hopf bifurcation with 0.2005=n=nHp, there exists a stable periodic orbits around the unstable focus E1. (d) Hopf bifurcation diagram repressenting stable E1 and stable limit cycles with various values of n.

    In order to explore how Allee effect affect the dynamic behavior of model (2.3), we choose Allee threshold n as the control parameter to simulate the Hopf bifurcation with k=5,r=0.15,d=0.21,m=1.385035335,β=0.17488281, the detailed results are shown in Figure 6. It is can see clearly that the equilibrium point E1 is a stable focus and E2 is an unstable saddle when 0.1998=n<nHp=0.2. That is to say, when the population densities are within a certain range, the algae and fish will coexist at equilibrium point E1. When the value of n is larger than nHp=0.2, the equilibrium point E1 will lose stability, and a stable limit cycle will appear, which implies that a supercritical Hopf bifurcation takes place. Moreover, when the value of n increases, the amplitude of limit cycle will be larger and larger. Obviously, this situation represents that the periodic oscillation coexistence mode between algae and fish will gradually take shape when n exceeds the Hopf bifurcation threshold value. And in a certain small range, the larger the value of n, the more conducive it is for the coexistence of periodic oscillation of algae and fish. At the same time, it is also worth mentioning that the value of Allee threshold n seriously affects the dynamic behavior of model (2.3).

    Figure 6.  The process of Hopf bifurcation according to the bifurcation parameter m. (a) Through Hopf bifurcation with 1.3840=m<mHp, there exists a stable periodic orbits around the unstable focus E1. (b) E1 is a center when m=mHp=1.385035335. (c) E1 is locally asymptotically stable when 1.3851=m>mHp. (d) Hopf bifurcation diagram repressenting stable E1 and stable limit cycles with various values of m.

    Now, it can be found from Figure 3(b) that model (2.3) can go through two transcritical bifurcations as the value of m increase. When mHp<m<mTC1=3.547677046, the equilibrium points E1 and E1 are stable node, the equilibrium point E2 is an unstable saddle. As the value of m passes through mTC1, a transcritical bifurcation takes place, which can cause the collision of saddle E2 with stable node E1. This collision transforms the stability of boundary equilibrium point E1, and makes it an unstable saddle. Then if the value of m increases greater than mTC2=3.622895828, model (2.3) occurs a transcritical bifurcation at E1 again, but this time is the consequence of the collision of E1 with E1, which can prompt saddle E1 regain its stability and back to a node. These switching of stability with respect to two Transcritical bifurcations can be better explained through the phase portraits in Figure 7.

    Figure 7.  The bifurcation curves diagram of model (2.3). The small diagram inside is a partial enlargement of the big diagram.

    In order to study how the parameters m and β synergistically affect the dynamic behavior of model (2.3), the numerically simulation of B-T bifurcation with k=5,n=0.2,r=0.15,d=0.21 will be carried out. By calculation, we obtain mBT=1.374006280 and βBT=0.1748528137, and we have

    |(σ00,σ01)(ξ1,ξ2)|ξ1=ξ2=0 = |0.00009876 - 43590.5557695.31449003 - 7.25883992| = 4.1548115911060,
    ϖ20=0.19835682+0.30459173ξ1+1.52158465ξ2+0.41550653ξ21+1.88040682ξ1ξ2,
    θ11=5.51455564+24.53907955ξ1+21.15093188ξ2+12.40764023ξ21100.4590524ξ1ξ2121.6857571ξ22.

    Therefore, we know that the transformation of parameters is nonsingular, and ϖ20>0 and θ000 for small ξ1 and ξ2. Moreover, the local expressions of bifurcation curves SN, Hp and HL around the origin are revealed up to second-order approximately as:

    (1) The saddle-node bifuecation curve satisfies σ01(ξ1,ξ2)0, and

    SN={(ξ1,ξ2)|0.00009876ξ143590.55576ξ2+0.06615614ξ21+855595.4398ξ1ξ2+1003142.522ξ22},

    (2) The Hopf bifurcation curve satisfies σ00(ξ1,ξ2)<0 and

    Hp={(ξ1,ξ2)|0.00009876ξ143590.55576ξ2+9084.918166ξ21+854211.6945ξ1ξ2+1003195.213ξ22},

    (3) The homoclinic bifurcation curve satisfies σ00(ξ1,ξ2)<0 and

    HL={(ξ1,ξ2)|0.00009876ξ143590.55576ξ2+17806.37610ξ21+852883.2991ξ1ξ2+1003245.796ξ22}.

    Meanwhile, the corresponding bifurcation curves is depicted in Figure 8, and the small image in Figure 8 is a partial enlargement of the saddle-node bifurcation curve, which should be exactly coincided with horizontal line ξ2=0. Here we need to explain that the error in the image is inevitable through simulation, but this error does not affect the readability of the numerical simulation results. Obviously, these three curves will divide the visible area into four regions as I, II, III and IV. It is easy to see form Figure 9(a) that when (ξ1,ξ2)=(0,0), model (2.3) has an unique internal equilibrium point, which is a cusp of codimension 2. If we fix ξ1=0.01 for the seek of convenience, then we have the following results.

    Figure 8.  The process of Transcritical bifurcation of model (2.3) with parameters fixed as mentioned in the main text. (a) Internal equilibrium point E1 and boundary equilibrium point E1 are stable node but E2 is an unstable saddle when 3.2=m<mTC1=3.547677046. (b) When mTC1<m=3.6<mTC2=3.622895828, E1 lose its stability and becomes a saddle through colliding with E2. (c) E1 regains its stability and becomes a node through colliding with E1 when 4=m>mTC2. (d) Partical enlarged view of the whole process of Transcritical bifurcation. The black point represents equilibrium point E1, red for E1 and blue for E2.
    Figure 9.  Phase portraits of model (4.1) as varying the values of ξ1 and ξ2 around (0,0). (a) When (ξ1,ξ2)=(0,0), there exists a cusp with codimension two. (b) Model (4.1) has no internal equilibrium point as (ξ1,ξ2)=(0.01,0.0001) locating in region I. (c) Two internal equilibrium points appear through a saddle-node bifurcation, E1 is a stable focus and E2 is an unstable saddle, when (ξ1,ξ2)=(0.01,0.00001) lies in region II. (d) A stable limit cycle arises surrounding E1 with the happening of Hopf bifurcation as (ξ1xi2) into region III. (e) When (ξ1,ξ2)=(0.01,0.00005307) lies on the curve HL, the limit cycle will get larger and approaches to the saddle E2 then becomes a homoclinic orbit. (f) The homoclinic break as (ξ1,ξ2) into region IV, E1 and E2 are unstable, the former is a focus while the latter is a saddle.

    (1) There is no internal equilibrium point when ξ2=0.0001 in region I, it can see from Figure 9(b) that the fish will finally extinct as long as the algae population exceeds a certain threshold.

    (2) Model (4.1) has gone through a saddle-node bifurcation when ξ2=0.00001, (ξ1,ξ2) can go through the curve SN into region II, there exists a stable focus E1 and an unstable saddle E2, which is shown in Figure 9(c).

    (3) With the value of ξ2 varying from 0.00001 to 0.00003, (ξ1,ξ2) moves from region I to II and model (4.1) occurs a supercritical Hopf bifurcation (see Figure 9(d)), which deprives the stability of E1 and produces a stable limit cycle surrounding E1.

    (4) As the value of ξ2 increases to 0.00005307, (ξ1,ξ2) is exactly locating on the curve HL, the stable limit cycle grows and goes through the saddle E2 and converts to an unstable homoclinic orbit, which can be seen in Figure 9(e).

    (5) The homoclinic orbit disappears when ξ2=0.00007 and (ξ1,ξ2) is in region IV, and there exists an unstable focus E1 and a saddle E2 (see Figure 9(f)).

    From the above numerical example, it can be seen that the aggregation effect and conversion rate have a great influence on model (2.3), and the two populations show a series of rich properties such as extinction, coexistence and periodic oscillation near the B-T bifurcation point.

    Based on the above numerical simulation analysis, we can know that the values of three key parameters m, n and β have an important influence on the dynamic behaviors of model (2.3), which can not only essentially change the dynamic characteristics, but also affect the survival and extinction of algae and fish. It is clearly visible from Figures 3(a) and 4 that the value of key parameter β can lead to the taking place of a saddle-node bifurcationthe in model (2.3), which can promote algae and fish to form a new stable coexistence model. It must be stated from Figures 3(b), 5 and 7 that the value of the key parameter m is very important for the occurrence of subcritical Hopf bifurcation and transcritical bifurcation of model (2.3), which is not only related to whether algae and fish can survive for a long time, but also can urge algae and fish to form a stable periodic oscillation coexistence mode. It is more worthy of our clear understanding from Figures 8 and 9 that the synergistic action mechanism of key parameters m and β plays an important role in changing the dynamic characteristics and internal essential laws of model (2.3), which can not only impel algae and fish to form two new types of periodic oscillation coexistence modes (Limit cycle coexistence mode and homoclinic orbit coexistence mode), but also lead to the extinction of algae and fish, or the extinction of fish and the outbreak of algae bloom. All in all, it is necessary to consider Allee effect and aggregation effect in building aquatic ecological model to further ascertain the dynamic relationship between algae and fish.

    Although the dynamic behaviors of the predator-prey model with Allee effect in the single or both species have been studied by many mathematicians and biologists, there was relatively few literature on the combination of it with algal aggregation. Within the research framework of mutual restriction between algae and fish, we proposed a modified algae and fish model to probe bifurcation dynamic behaviors. Firstly, we studied all possible equilibrium points of model (2.3) and their stability, which could not only directly give the ideal coexistence mode of algae and fish, but also provide a theoretical basis for the subsequent discussion of bifurcation dynamics. Secondly, when there is only one internal equilibrium point in model (2.3), we gave a threshold condition about aggregation effect parameter m and Allee effect parameter n to ensure that model (2.3) has a limit cycle, this result implied that the relationship between aggregation effect parameter m and Allee effect parameter n was very important for whether algae and fish could exist periodic oscillation survival mode. Finally, by selecting the absorption-conversion rate β, aggregation effect parameter m and Allee effect threshold n as control parameters respectively, we theoretically derived some key threshold conditions to compel that model (2.3) could undergo transcritical, saddle-node, Hopf and B-T bifurcation, these bifurcation dynamic behaviors could force the internal essential changes in the dynamic relationship and coexistence mode between algae and fish. Moreover, it had to be said that these theoretical results not only could summarize and develop the previous theoretical research results, but also further promote the rapid development of bifurcation dynamics in aquatic ecosystem.

    In order to verify the feasibility of the theoretical analysis results and visually explore dynamic relationship between algae and fish, a large number of bifurcation numerical simulation results were implemented. Through analysis and comparison, it could be seen that in model (2.3) aggregation effect parameter m and Allee effect parameter n played an important role in the occurrence and evolution of bifurcation dynamics, which also indirectly showed that the coexistence mode of algae and fish depended heavily on aggregation effect and Allee effect. Furthermore, through numerical analysis of B-T bifurcation behavior, it was worth us to clarify that value relationship of the absorption-conversion rate β and aggregation effect parameter m could promote that model (2.3) experienced saddle-node, Hopf and Homoclinic bifurcation, these bifurcation behaviors could not only force algae and fish to form three new coexistence modes, but also was the internal driving force to dynamically adjust their coexistence mode. In a word, it should be emphasized that when we used the mathematical ecological model to study the dynamic relationship between algae and fish, aggregation effect and Allee effect were one of the ecological and environmental factors, which needed to be considered urgently.

    The theoretical and numerical results of this paper can get the following four results: (1) If the dynamic behavior of transcritical bifurcation can occur in model (2.3), which means that algae and fish can change from a single population survival mode to a dual population sustainable survival mode. (2) If the dynamic behavior of saddle-node bifurcation can occur in model (2.3), which hints that algae and fish can change from a dual population unsteady coexistence mode to a dual population steady coexistence mode. (3) If the dynamic behavior of Hopf bifurcation can occur in model (2.3), which shows that algae and fish can change from a dual population steady-state coexistence mode to a dual population periodic oscillation mode. (4) If the dynamic behavior of B-T bifurcation can occur in model (2.3), which suggests that the coexistence mode of algae and fish is easily affected by eco-environmental factors, and the coexistence mode can change back and forth between an equilibrium point steady-state mode, a stable periodic oscillation mode and an unstable survival mode. Therefore, the four kinds of bifurcation dynamic behaviors occurred in model (2.3) can represent the dynamic change characteristics of the coexistence mode of algae and fish under the dynamic change of eco-environmental factors. In other words, the interaction mechanism between algae and fish in nature can be described and explained by the bifurcation dynamic behavior, dynamic evolution process and internal essential characteristics of model (2.3).

    In the follow-up research works, we will firstly deepen theoretical research of bifurcation dynamics in some modified ecological models, especially B-T bifurcation. Since neither algae nor fish will remain in a fixed space for many factors (mate choice, food supplies, population density, etc.), it is meaningful to consider their changes of spatial diffusibility[35,36]. Finally explore how to control algae bloom by fish under human external control. In a word, all the results are expected to be helpful in the process of study bifurcation dynamic behavior in some aquatic ecosystems.

    This work was supported by the National Natural Science Foundation of China (Grants No. 61871293 and No. 61901303), the National Key Research and Development Program of China (Grant No. 2018YFE0103700).

    All authors declare that there is no conflict of interest.

    Table .  Existence of internal equilibrium points.
    Equilibrium points Conditions
    E1 case 1: (mn)(1km+n)k>0
    max{0,(βd)k2+(dmβmd)km(mk1)}<r<min{d,k[d(dβ)(mn)](mn)(1km+n)k}
    case 2: (mn)(1km+n)k<0
    max{0,(βd)k2+(dmβmd)km(mk1),k[d(dβ)(mn)](mn)(1km+n)k}<r<d
    E2 case 1: m>n
    d<r<(βd)k2+(dmβmd)km(mk1)
    case 2: m<n
    (1).(mn)(1km+n)k>0
    max{0,k[d(dβ)(mn)](mn)(1km+n)k}<r<(βd)k2+(dmβmd)km(mk1)
    (2).(mn)(1km+n)k<0
    0<r<min{(βd)k2+(dmβmd)km(mk1),k[d(dβ)(mn)](mn)(1km+n)k}
    E1, E2 (2n2m+1)r<k(βd)
    (k+1)2r2+2[(βd)k2(β+d)k]r+(βd)2k2>0
    case 1: (mn)(1km+n)k>0
    0<r<min{d,k[d(dβ)(mn)](mn)(1km+n)k,(βd)k2+(dmβmd)km(mk1),k1+k(βd)}
    case 2: (mn)(1km+n)k<0
    max{0,k[d(dβ)(mn)](mn)(1km+n)k}<r<min{d,(βd)k2+(dmβmd)km(mk1),k1+k(βd)}
    E1=E2 r=k(dkβk+d+β±β2k+βdk+βd)(k+1)2
    0<r<k1+k(βd)
    max{0,2n2m+1βdr}<kdβd

     | Show Table
    DownLoad: CSV


    [1] Z. P. Bažant, Q. Yu, G. H. Li, et al., Excessive deflections of record-span prestressed box girder: Lessons learned from the collapse of the Koror-Babeldaob Bridge in Palau, ACI Concrete Int., 32 (2010), 44–52.
    [2] J. Xie, G. Wang and X. H. Zheng, Review of study of long-term deflection for long span prestressed concrete box-girder bridge, Journal of Highway and Transportation Research and Development (English Edition), 2 (2007), 47–51.
    [3] Z. P. Bažant, Q. Yu and G. H. Li, Excessive long-time deflections of prestressed box girders. I: Record-span bridge in Palau and other paradigms, J. Struct. Eng., 138 (2012), 676–686.
    [4] M. Alexander and H. Beushausen, Durability, service life prediction, and modelling for reinforced concrete structures–review and critique, Cement Concrete Res., 122 (2019), 17–29.
    [5] J. M. Ko and Y. Q. Ni, Technology developments in structural health monitoring of large-scale bridges, Eng. Struct., 27 (2005), 1715–1725.
    [6] M. Cao, L. Ye, L. Zhou, et al., Sensitivity of fundamental mode shape and static deflection for damage identification in cantilever beams, Mech. Syst. Signal Proc., 25 (2011), 630–643.
    [7] Y. Zhang, S. T. Lie and Z. Xiang, Damage detection method based on operating deflection shape curvature extracted from dynamic response of a passing vehicle, Mech. Syst. Signal Proc., 35 (2013), 238–254.
    [8] A. Elhattab, N. Uddin and E. J. O'Brien, Drive-by bridge damage monitoring using bridge displacement profile difference, J. Civil Struct. Health Monit., 6 (2016), 839–850.
    [9] J. W. Lee, J. D. Kim, C. B. Yun, et al., Health-monitoring method for bridges under ordinary traffic loadings, J. Sound Vib., 257 (2002), 247–264.
    [10] Z. X. Li, T. H. T. Chan and J. M. Ko, Fatigue damage model for bridge under traffic loading: application made to Tsing Ma Bridge, Theor. Appl. Fract. Mec., 35 (2001), 81–91.
    [11] B. Enright and E. J. O'Brien, Monte Carlo simulation of extreme traffic loading on short and medium span bridges, Struct. Infrastruct. E., 9 (2013), 1267–1282.
    [12] C. C. Caprani, E. J. O'Brien and A. Lipari, Long-span bridge traffic loading based on multi-lane traffic micro-simulation, Eng. Struct., 115 (2016), 207–219.
    [13] X. Ruan, J. Y. Zhou, H. Z. Tu, et al., An improved cellular automaton with axis information for microscopic traffic simulation, Transport. Res. C-Emer., 78 (2017), 63–77.
    [14] J. Y. Zhou, X. Ruan, X. F. Shi, et al., An efficient approach for traffic load modeling of long span bridges, Struct. Infrastruct. Eng., 15 (2019), 569–581.
    [15] S. R. Chen and C. S. Cai, Equivalent wheel load approach for slender cable-stayed bridge fatigue assessment under traffic and wind: Feasibility study, J. Bridge Eng., 12 (2007), 755–764.
    [16] E. J. O'Brien, D. Cantero, B. Enright, et al., Characteristic dynamic increment for extreme traffic loading events on short and medium span highway bridges, Eng. Struct., 32 (2010), 3827–3835.
    [17] W. S. Han, J. Y. Yan, J. Wu, et al., Analysis of bridge dynamic amplification factors under extra-heavy truck scenarios based on long-term monitoring data, J. Vib. Eng., 27 (2014), 222–232.
    [18] M. Sekiguchi, E. Ishiwata and Y. Nakata, Dynamics of an ultra-discrete SIR epidemic model with time delay, Math. Biosci. Eng., 15 (2018), 653–666.
    [19] A. Kesting, M. Treiber and D. Helbing, Enhanced intelligent driver model to access the impact of driving strategies on traffic capacity, Philos. T. R. Soc. A., 368 (2010), 4585–4605.
  • This article has been cited by:

    1. Li Yin, Ying Xu, Desheng Kong, Juan Wang, Kaipian Shi, Yong Zhang, Huan He, Shaogui Yang, Lixiao Ni, Shiyin Li, Role of extracellular polymeric substances in resistance to allelochemical stress on Microcystis aeruginsosa and its mechanism, 2023, 41, 2096-5508, 2219, 10.1007/s00343-023-2318-z
    2. Shengyu Huang, Hengguo Yu, Chuanjun Dai, Zengling Ma, Qi Wang, Min Zhao, Dynamics of a harvested cyanobacteria-fish model with modified Holling type Ⅳ functional response, 2023, 20, 1551-0018, 12599, 10.3934/mbe.2023561
    3. I. R. Belshiasheeela, Mini Ghosh, The role of zooplankton in the growth of algal bloom: a mathematical study, 2024, 42, 0736-2994, 591, 10.1080/07362994.2024.2323535
    4. Chenyu Liang, Hangjun Zhang, Yancong Xu, Libin Rong, Bifurcation Analysis of a New Aquatic Ecological Model with Aggregation Effect and Harvesting, 2023, 33, 0218-1274, 10.1142/S0218127423501808
  • Reader Comments
  • © 2019 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(7181) PDF downloads(757) Cited by(9)

Figures and Tables

Figures(9)  /  Tables(6)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog