- Research
- Open Access
- Published:
Co-dimension two bifurcations analysis of a delayed tumor model with Allee effect
Advances in Difference Equations volume 2021, Article number: 516 (2021)
Abstract
The mathematical model has become an important means to study tumor treatment and has developed with the discovery of medical phenomena. In this paper, we establish a delayed tumor model, in which the Allee effect is considered. Different from the previous similar tumor models, this model is mainly studied from the point of view of stability and co-dimension two bifurcations, and some nontrivial phenomena and conclusions are obtained. By calculation, there are at most two positive equilibria in the system, and their stability is investigated. Based on these, we find that the system undergoes Bautin bifurcation, zero-Hopf bifurcation, and Hopf–Hopf bifurcation with time delay and tumor growth rate as bifurcation parameters. The interesting thing is that there is a Zero-Hopf bifurcation, which is not common in tumor models, making abundant dynamic phenomena appear in the system. By using the bifurcation theory of functional differential equations, we calculate the normal form of these Co-dimension two bifurcations. Finally, with the aid of MATLAB package DDE-BIFTOOL, some numerical simulations have been performed to support our theoretical results. In particular, we obtain the bifurcation diagram of the system in the two parameter plane and divide its regions according to the bifurcation curves. Meanwhile, the phenomena of multistability and periodic coexistence of some regions can be also demonstrated. Combined with the simulation results, we can know that when the tumor growth rate and the delay of immune cell apoptosis are small, the tumor may tend to be stable, and vice versa.
1 Introduction
Cancer, also known as malignant tumor, grows fast and is very difficult to cure, which seriously affects people’s life and health [1–4]. In recent years, with the vigorous development of biomathematics and interdisciplinary, it has become a new research trend to solve the related problems in biomedical field by establishing mathematical models. Therefore, many scholars have devoted themselves to the study of tumor models and made remarkable achievements, including tumor-immune and various types of tumor models, such as melanoma model, autoimmune disease model, hepatitis B model, and so on [5–7]. Most of them study the model from the perspective of stability and bifurcation, and consider the delay [8, 9] and other effects in the model. For example, the authors in reference [10] studied the symmetric-breaking bifurcation properties of a tumor model with delay and free boundary. In [11], a three-dimensional ordinary differential equation model is established to explore the growth law of tumor cells, and its bifurcation and multistability are studied. These models have different definitions of tumor growth, most of which are exponential growth and logistic growth. However, many scholars have pointed out that the Allee effect exists not only in the macro population entities but also in the growth of tumors [12–17]. Therefore, considering the delay of apoptosis of immune cells and the Allee effect of tumor cell growth, the following functional differential equation model is established:
where x, y represent the number of human immune cells and tumor cells at time t respectively. α, b, and d stand for the growth rate, semi-saturation constant, and apoptosis rate of immune cells respectively, and the delay of apoptosis is expressed by τ. r, β represent the growth rate and apoptosis rate of tumor cells respectively. The maximum carrying capacity of tumor cells in human body is defined as k, and m is Allee threshold. In particular, inspired by [18–20], we use \(\alpha \frac{y}{y+b}\) instead of the usual immune cells growth term αy, whose growth is independent of tumor cells, and for the apoptosis of tumor cells, we follow the models in [19, 21].
Although many scholars have studied models similar to (1), most of them stop at co-dimension one bifurcations, and there is less research on co-dimension two bifurcations. Co-dimension two bifurcations are usually accompanied by abundant dynamic phenomena, especially when there are multiple codimension two bifurcations in a model. Therefore, this paper focuses on some interesting dynamic phenomena of model (1) from the perspective of high co-dimension bifurcations.
The rest of this paper is organized as follows. In Sect. 2, we analyze the existence and stability of positive equilibria of system (1). Hopf bifurcation and Bautin bifurcation are investigated in Sect. 3, and the key values required for Bautin bifurcation analysis are calculated. We study the existence and normal form of zero-Hopf bifurcation in Sect. 4. In Sect. 5, we analyze another co-dimension two bifurcation, namely Hopf–Hopf bifurcation. To support our theoretical analysis, the two-parameter bifurcation diagram is obtained in Sect. 6, and given the bifurcation diagram, we give some numerical simulations for different parameters. Finally, a brief conclusion and expectation section completes the paper.
2 Existence and stability of positive equilibria
It is obvious that system (1) has a zero equilibrium \({{E}_{0}}=(0,0)\) and no boundary equilibrium. Considering the positive equilibrium \({{E}^{*}}({{x}^{*}},{{y}^{*}})\), one satisfies
After sorting out equation (2), we can get the following result:
Let
and for convenience, we give the derivative of (3)
The two zeros of function (4) are
where
Using some basic knowledge of quadratic function, we have the following.
Theorem 2.1
For system (1).
-
(1)
If \({{y}_{1}^{*}}>0\), \(\Delta >0\), and \(f({{y}_{2}^{*}})<0\) all hold, then function (3) has two different zeros, that is, system (1) has two different positive equilibria, denoted by \({{E}_{1}}({{x}_{1}},{{y}_{1}})\) and \({{E}_{2}}({{x}_{2}},{{y}_{2}})\).
-
(2)
If \({{y}_{1}^{*}}>0\), \(\Delta >0\), and \(f({{y}_{2}^{*}})=0\) are all satisfied, then there is a unique zero for function (3), and the corresponding equilibrium of system (1) is denoted by \({{E}_{3}}({{x}_{3}},{{y}_{3}})\).
Without loss of generality, this paper focuses on the stability of positive equilibrium \({{E}_{2}}\). The linearization of system (1) at this equilibrium is actually
where
Thus, the characteristic equation of the system can be easily obtained as follows:
When \(\tau =0\), equation (6) becomes
and according to the Routh–Hurwitz criterion, all roots of the characteristic equation have negative real parts when \(d>{{a}_{22}}\) and \({{a}_{12}}{{a}_{21}}>{{a}_{22}}d\) hold. That is to say, in this case, the positive equilibrium \({{E}_{2}}\) is locally asymptotically stable.
When \(\tau >0\), suppose that \({{\lambda }_{1,2}}=\pm i\omega \) are the roots of equation (6), and take it into the equation
Separating the real and imaginary parts of (7), we can get
By squaring both sides of (8) and adding the two equations, the following result can be obtained:
Let \(v={{\omega }^{2}}\), and equation (9) is now
and the corresponding two roots are expressed as
It is easy to see that when \({{\eta }_{1}}-4{{\eta }_{2}}>0\) and \(-\frac{{{\eta }_{1}}}{2}>0\) hold, equation (10) has positive roots, and without loss of generality, suppose that \({{v}_{1}}\) and \({{v}_{2}}\) are positive roots. Accordingly, equation (9) has two positive solutions \({{\omega }_{1}}=\sqrt{{{v}_{1}}}\) and \({{\omega }_{2}}=\sqrt{{{v}_{2}}}\), and the corresponding critical value of time delay is
where \(n=1,2\) and \(j=1,2,3,\ldots \) . Defining \({{\tau }_{0}}=\min \{ {{\tau }_{n}^{(j)}} \} \), the corresponding \(\omega _{n}\) is \({\omega }_{0}\). Let \(\lambda =\xi (\tau )+i\omega (\tau )\) be the root of equation (6), where ξ and ω satisfy \(\xi ({{\tau }_{0}})=0\) and \(\omega ({{\tau }_{0}})=\omega _{0}\), respectively. Differentiating both sides of the characteristic equation (6) with respect to λ gives
and then we have
Obviously, the transversality condition \(\operatorname{sign}{{ [ \frac{d\lambda }{d\tau } ]}_{\tau ={{\tau }_{0}}}} \ne 0\) if and only if \(a_{22}^{2}+2\omega _{0}^{2}-{{d}^{2}}-2{{a}_{12}}{{a}_{21}}\ne 0\), where
Theorem 2.2
The positive equilibrium \({{E}_{2}}\) is locally asymptotically stable(unstable) when \(\tau \in (0,{{\tau }_{0}})\) (\(\tau >{{\tau }_{0}}\)), and system (1) undergoes Hopf bifurcation at positive equilibrium \({{E}_{2}}\) when \(\tau ={{\tau }_{0}}\) and \(a_{22}^{2}+2\omega _{0}^{2}-{{d}^{2}}-2{{a}_{12}}{{a}_{21}}\ne 0\).
3 Bautin bifurcation
When the first Lyapunov coefficient is equal to 0, the Hopf bifurcation may degenerate and Bautin bifurcation occurs. In this section, Bautin bifurcation is investigated at positive equilibrium \({{E}_{2}}\) with τ and r as bifurcation parameters. Next, according to the research in [22–24], the properties of Hopf bifurcation and Bautin bifurcation are studied. Let \((\tau _{0},r_{0})\) be the Bautin bifurcation point for bifurcation analysis. After scaling \(t\to \frac{t}{\tau }\) and introducing \(\mu =\tau -{{\tau }_{0}}\), \(\varsigma =r-{{r}_{0}}\), \({{u}_{1}}=x(t)-{{x}_{2}}\), \({{u}_{2}}(t)=y(t)-{{y}_{2}}\), system (1) can be written as
where
The above system (11) is transformed into a functional differential equation on the phase space \(C=C ( [-1 ,0],{{\mathbb{R}}^{2}} )\)
where \(u(t)={{ ( {{u}_{1}}(t),{{u}_{2}}(t) )}^{T}}\in {{ \mathbb{R}}^{2}}\), \(L:C\to {{\mathbb{R}}^{2}}\), \({{u}_{t}}=u(t+\theta )\), \(\theta \in [-1,0]\), and \(F:{{\mathbb{R}}^{2}}\times C\to {{\mathbb{R}}^{2}}\). For \(\varphi (\theta )= ( {{\varphi }_{1}}(\theta ),{{\varphi }_{2}}( \theta ) )\in C\), we have
where
and
By the Riesz representation theorem, there exists bounded variation functions \(\eta (\theta ,\mu ,\varsigma )\) in \(\theta \in [-1,0]\) such that
In fact, \(\eta (\theta ,\mu ,\varsigma )\) can be
where δ is the Dirac delta function. Now define operator
and
System (11) is equivalent to the following abstract ordinary differential equation:
where \({{u}_{t}}=u(t+\theta )\), \(\theta \in [-1,0]\). The adjoint operator \({{A}^{*}}\) of A is
For \(\varphi \in C[-1,0]\) and \(\psi \in C[0,1]\), define the bilinear form
where \(\eta (\theta )=\eta (\theta ,0,0)\). It is easy to show \(\langle \psi ,A\varphi \rangle = \langle {{A}^{*}} \psi ,\varphi \rangle \). Let \(q(\theta )\) be the eigenvector corresponding to eigenvalue \(i{{\omega }_{0}}\) of \(A(0,0)\) and \({{q}^{*}}(s)\) be the eigenvector corresponding to eigenvalue \(-i{{\omega }_{0}}\) of \({{A}^{*}}\), namely
By simple calculation, we have
where
Defining \(z(t)= \langle {{q}^{*}},{{u}_{t}} \rangle \) and \({{W}^{(\mu ,\varsigma )}}(t,\theta )={{u}_{t}}(\theta )-2 \operatorname{Re}[z(t)q(\theta )]\), on the center manifold \({{C}_{0}}\), we have
and
For convenience, rewriting \(W_{ij}^{(\mu ,\varsigma )}\) as \({{W}_{ij}}\), this is \(W_{ij}^{(\mu ,\varsigma )}=(W_{ij}^{(1)},W_{ij}^{(2)})\), \(i+j\ge 2\), we have
where
Moreover, one obtains
The expression of \({{u}_{t}}(\theta )={{ ( {{u}_{1t}}(\theta ),{{u}_{2t}}(\theta ) )}^{T}}\) is easy to get
Substituting (14) into (13), then comparing the coefficient with (12), we can get
where
and
Furthermore, the calculation results show that
where
The sign of \({{\mu }_{2}}\) reveals the direction of the Hopf bifurcation and \({{\beta }_{2}}\) the stability of periodic solutions, so we have the following.
Theorem 3.1
If \({{\mu }_{2}}>0\) (\({{\mu }_{2}}<0\)), then the Hopf bifurcation is supercritical(subcritical) and the bifurcating periodic solutions on the center manifold are stable(unstable) if \({{\beta }_{2}}<0\) (\({{\beta }_{2}}>0\)).
Next, to illustrate the existence of Bautin bifurcation, we need to calculate the first Lyapunov coefficient and the second Lyapunov coefficient as follows:
and
For the transversality condition, obviously, if \(\frac{\partial {{l}_{1}}(\mu ,\varsigma )}{\partial \varsigma }\ne 0\), then the map \((\mu ,\varsigma )\to ( \frac{\xi (\mu )}{\omega (\mu )}, {{l}_{1}}( \mu ,\varsigma ) )\) at \((\mu ,\varsigma )=(0,0)\) is
Theorem 3.2
If \({{l}_{1}}(0,0)=0\), \(\frac{\partial {{l}_{1}}(\mu ,\varsigma )}{\partial \varsigma }\ne 0\) and \({{l}_{2}}(0,0)\ne 0\) are all satisfied, then system (1) undergoes Bautin bifurcation at the critical point \(({{\tau }_{0}},{{r}_{0}})\).
4 Zero-Hopf bifurcation
When the characteristic equation (6) has a simple zero root and a pair of pure imaginary roots and the other roots have negative real parts, the zero-Hopf bifurcation [25–27]will appear in system (1). With the emergence of zero-Hopf bifurcation, the dynamic phenomena of coexistence of periodic solutions and multistability are produced. Then, we study the existence of zero-Hopf bifurcation and calculate its normal form.
4.1 Existence of zero-Hopf bifurcation
To find the existence of zero-Hopf bifurcation, we need to study equation (6). Let
For (15), we have the following.
Theorem 4.1
When \(d=\frac{{{a}_{12}}{{a}_{21}}}{{{a}_{22}}}\) and \(a_{22}^{2}-{{a}_{12}}{{a}_{21}}<0\) hold, the function has a simple zero point for all \(\tau \ge 0\).
Proof
For (15), if \(d=\frac{{{a}_{12}}{{a}_{21}}}{{{a}_{22}}}\), then we have
and
Due to \(a_{22}^{2}-{{a}_{12}}{{a}_{21}}<0\), then \({{ \frac{\partial G(0,\tau )}{\partial \lambda } \vert }_{d= \frac{{{a}_{12}}{{a}_{21}}}{{{a}_{22}}}}}=0\) if and only if \(\tau =\frac{a_{22}^{2}-{{a}_{12}}{{a}_{21}}}{{{a}_{22}}}<0\). So (15) has a simple zero point for all \(\tau \ge 0\). Namely, \(\lambda =0\) is a simple zero eigenvalue for all \(\tau \ge 0\). □
For \(\tau =0\), if \(d=\frac{{{a}_{12}}{{a}_{21}}}{{{a}_{22}}}\) and \(a_{22}^{2}-{{a}_{12}}{{a}_{21}}<0\) are satisfied, the characteristic equation becomes
Apparently, all roots of (16) are
Lemma 4.1
For \(\tau =0\), if \(d=\frac{{{a}_{12}}{{a}_{21}}}{{{a}_{22}}}\) and \(a_{22}^{2}-{{a}_{12}}{{a}_{21}}<0\) hold, then (15) has a simple zero root and the other root with negative part.
Following Sect. 2, we have the following.
Lemma 4.2
For \(\tau >0\), if \(d=\frac{{{a}_{12}}{{a}_{21}}}{{{a}_{22}}}\) holds, then (15) has a simple zero root and a pair of purely imaginary roots \(\pm i{{\omega }_{0}}\) at \(\tau ={{\tau }_{0}}\), and the other roots of (15) have negative real parts. Therefore, system (1) undergoes a zero-Hopf bifurcation around the nontrivial equilibrium \(E_{2}\) at \((\tau ,r) =({{\tau }_{0}},r_{0})\).
4.2 Normal form of zero-Hopf bifurcation
Still denote a zero-Hopf point by \(({{\tau }_{0}},{{r}_{0}})\), and use the previous symbol \(\mu =\tau -{{\tau }_{0}}\), \(\varsigma =r-{{r}_{0}}\). In this case, the eigenvalues of \(A(0,0)\) are \(i\omega _{0}{{\tau }_{0}}\) and 0, and their corresponding eigenvectors are \({{\varphi }_{1}}(\theta )={{(1,\rho )}^{T}}{{e}^{i\omega {{\tau }_{0}} \theta }}\), \({{\varphi }_{2}}(\theta )={{(1,\upsilon )}^{T}}\). For the adjoint operator \({{A}^{*}}\), the eigenvalues of \({{A}^{*}}\) are \(-i\omega _{0}{{\tau }_{0}}\) and 0, and their corresponding eigenvectors are \({{\psi }_{1}}(\theta )={{K}_{1}}(1,\sigma ){{e}^{i\omega _{0}{{\tau }_{0}}s}}\), \({{\psi }_{2}}(\theta )={{K}_{2}}(1,c)\), where according to
and
we have
It is easy to verify \(\langle {{\psi }_{2}},{{\varphi }_{1}} \rangle = \langle {{\psi }_{1}},{{\varphi }_{2}} \rangle =0\), and by
we have
Let \(\Phi =({{\varphi }_{1}},{{\bar{\varphi }}_{1}},{{\varphi }_{2}})\), \(\Psi =({{\bar{\psi }}_{1}},{{\psi }_{1}},{{\psi }_{2}})\) with \(\dot{\Phi }=\Phi J\), \(\dot{\Psi }=-J\Psi \), \(\langle \Psi ,\Phi \rangle =1\), where \(J=\operatorname{diag}(i{{\omega }_{0}}{{\tau }_{0}}, -i{{\omega }_{0}}{{\tau }_{0}},0)\). Furthermore, we set \(\Lambda =\{0,i\omega _{0} ,-i\omega _{0} \}\), and P is the generalized eigenspace associated with Λ and \({{P}^{*}}\) is the space adjoint with P. Then, C can be decomposed as \(C=P\oplus Q\), where
Let \(u=\Phi x+y\) with \(x\in {{C}^{3}}\), \(y\in Q\) and
System (11) can be decomposed into
namely
where we focus on \(f_{2}^{1}(x,y,\mu ,\varsigma )\)
and
Defining \({{M}_{2}}\) to be the operator in \(V_{2}^{5} ( {{\mathbb{R}}^{3}}\times \operatorname{Ker}\pi )\) with values in the same space by
and on the center manifold, (18) can be transformed into the following normal form:
where
and
Equation (19) is rewritten as
Carrying out the following coordinate transformation:
and equation (20) becomes
where
Omitting the third equation of (20), we get the quadratic truncated normal form of zero-Hopf bifurcation
Two quantities that distinguish the bifurcation are
5 Hopf–Hopf bifurcation
From the point of view of bifurcation diagram, when two Hopf bifurcation curves intersect, a Hopf–Hopf bifurcation may occur at these intersections. Theoretically, in this situation, the characteristic equation (6) has two pairs of simple pure imaginary eigenvalues, denoted as \(\pm i{{\omega }_{1}}\) and \(\pm i{{\omega }_{2}}\), and the other eigenvalues have strictly negative real parts [28–31]. In the following, we use the methods in [32] to analyze the Hopf–Hopf bifurcation.
Suppose that the eigenvectors corresponding to \(A(0,0)\) and \({{A}^{*}}\) are \({{p}_{1}}\), \({{p}_{2}}\), \(p_{1}^{*}\), \(p_{2}^{*}\), respectively, and satisfy
then
where
and
Continuing to use the disturbance \(\mu =\tau -{{\tau }_{0}}\), \(\varsigma =r-{{r}_{0}}\), then, on the center manifold, we have
where \(g^{1}\) and \(g^{2}\) are in the form of
The third-order normal form near a Hopf–Hopf point is given by
Similarly, the key quantities to determine the bifurcation are
Remark 5.1
Here, we do not give the specific expressions of \({{e}_{2100}}\), \({{e}_{1011}}\) and \({{e}_{1100}}\), \({{e}_{0021}}\) in (21), and the calculation process can refer to the introduction of Hopf–Hopf bifurcation in reference [32].
6 Simulations
In this section, we perform some simulations to support the theoretical results about co-dimension two bifurcations in system (1). The simulations are divided into two parts, one for Bautin and zero-Hopf bifurcations, and the other for the Hopf–Hopf bifurcation. Moreover, the phenomena of multistability and periodic coexistence are also simulated.
6.1 Simulations of Bautin and zero-Hopf bifurcations
We take τ and r as bifurcation parameters to obtain the bifurcation diagram of system (1). Many papers [33, 34] have given the parameter values of this kind of tumor model. After analysis, the values of other parameters are as follows:
By using DDE-BIFTOOL [35–37], the \(\tau -r\) plane bifurcation diagram is shown in Fig. 1. From the diagram, we can see that there are two Bautin points and one zero-Hopf point of system (1), corresponding to GH1, GH2, and ZH respectively. In fact, for GH1, some calculations demonstrate \(\tau =4.84628\), \(r=0.10548\), and the first Lyapunov coefficient \(\operatorname{Re}{{l}_{1}}(0,0)\approx 0\), the second Lyapunov coefficient \(\operatorname{Re}{{l}_{2}}(0,0)=0.019362>0\). Similarly, for GH2, we have \(\tau =5.65348\), \(r=0.10914\) and \(\operatorname{Re}{{l}_{1}}(0,0)\approx 0\), \(\operatorname{Re}{{l}_{2}}(0,0)=-0.0091855>0\), and at the top right of the point, the Hopf bifurcation is supercritical, and the bottom left of this point, the Hopf bifurcation is subcritical. At ZH, \(\tau =5.0408\), \(r=0.09749\), it is easy to verify that the content of Lemma 4.2 can be satisfied; moreover, we have \(s=0.00062874\), \(\theta =-0.6416\). Meanwhile the limit point of cycles, marked green, originating from Bautin bifurcation and the torus bifurcation, marked cyan, originating from the zero-Hopf bifurcation are also drawn.
Bifurcation diagram of system (1) in \(\tau -r\) plane. Bifurcation curves: H (violet) Hopf; FD (orange) Fold; \(LPC\) (green) Limit point of cycles; TB (cyan) Torus. Special points: GH1 and GH2 (Bautin); ZH(zero-Hopf)
Due to the appearance of these bifurcation curves, the \(\tau -r\) plane is divided into 11 regions, as shown in Fig. 1, labeled I–XI. Next, we take different values of \((\tau ,r)\) in these regions for numerical simulations. Using Matlab function DDE23, the simulation results are shown in Fig. 2, Fig. 3, and Fig. 4, and the black dot in the graph represents the initial value of the solution. Specifically, there are a stable periodic solution for the system in region I and coexistence of two unstable periodic solutions in region IX(see Fig. 2). Figure 3 shows the coexistence of two unstable periodic solutions in region II, one of which is eventually stable to the origin, which reveals that immune cells and tumor cells go to apoptosis together, an unstable periodic solution and an asymptotically stable solution in region III, and shows two opposite phenomena, one of which is asymptotically stable, and the other is unstable, corresponding to regions IV and X, respectively. An asymptotically stable solution and an unstable periodic solution are obtained in region V, an asymptotically stable solution appearing in region VII, and an unstable periodic solution and an asymptotically stable solution showing in region VII, two stable periodic solutions coexisting in region VIII(see Fig. 4). Finally, for region XI, after calculation, we find that there is no positive equilibrium in this region, so the simulation is not carried out.
Trajectories of system (1) with different parameters and initializations in regions (I and IX) of Fig. 1, where the \((\tau ,r)\) of I, IX are \((5,0.1)\) and \((5.15,0.0975)\), respectively. (a)The initial values of the variable are \((0.6001,5.1389)\) and \((0.2333,2.159)\), and they finally stabilize to periodic solutions with large amplitude and small amplitude respectively. (b)The initial value of the variable is \((0.25526,2.5469)\). In fact, it is similar to (a), but the periodic solution fluctuates many times before it is stable. (c) and (d) have the same initial values \((0.2797,2.862)\) and \((0.286326,3.04507)\). (c) Coexistence of two unstable solutions. (d)With the increase of time, it finally stabilizes to the origin
Trajectories of system (1) with different parameters and initializations in regions (II–IV and X) of Fig. 1. For convenience, parameter values are given directly at the label of the graph. (a)Two unstable periodic solutions coexist with the initial value \((0.2932,1.5887)\) and \((0.3601,4.038)\), respectively, one of which is stable to the origin. (b)An unstable periodic solution with the initial value \((0.2233,2.1588)\) and an asymptotically stable solution with the initial value \((0.1265,1.2177)\). (c) and (d) have opposite phenomena, one which is asymptotically stable with the initial value \((0.3034,5.555)\), and the other is unstable with the initial value \((0.4632,5.5445)\)
Trajectories of system (1) with different parameters and initializations in regions (V–\(VIII\)) of Fig. 1. (a)An asymptotically stable solution with the initial value \((0.256326,2.74507)\) and an unstable periodic solution with the initial value \((0.032247,1.0489)\). (b)An asymptotically stable solution with the initial value \((0.30326,5.5545)\). (c)Similarly to (a), an asymptotically stable solution with the initial value \((0.472656,7.07979)\) and an unstable periodic solution with the initial value \((0.58869,7.1607)\). (d)Two stable periodic solutions coexist with the initial values \((0.306325,5.545)\) and \((0.380326,4.505)\), respectively
In a conclusion, in general, the larger the values of τ and r, that is, the closer the values of \((\tau , r)\) in Fig. 1 to the upper right regions, the more likely the solutions to be unstable, such as regions III, IV and V, VII(Although there may be stable solutions in a small range of positive equilibrium). On the contrary, when τ and r are small, the solutions are asymptotically stable or periodically stable, such as regions I, II, and VIII. Therefore, if the tumor cell proliferation rate and the delay of immune cell apoptosis are small, it is conducive to the tumor in a stable state.
6.2 Simulation of Hopf–Hopf bifurcation
For Hopf–Hopf bifurcation, we simply give a numerical example to illustrate the existence of Hopf–Hopf bifurcation and draw a bifurcation diagram near the bifurcation point, as shown in Fig. 5. The two Hopf bifurcation curves intersect, and the Hopf–Hopf bifurcation is generated at the intersection. Meanwhile, the two torus bifurcation curves originating from the bifurcation point are also given in Fig. 5. The parameter values of this example are as follows: \(\alpha =0.7599\), \(b=6.92\), \(d=0.85\), \(k=10\), \(m=0.15\), \(\beta =0.45\). At the Hopf–Hopf point, we can calculate \(\tau =10.734\), \(r=0.055996\). Furthermore, two quantities that characterize the bifurcation are \(\theta (0)=4.6571\), \(\delta (0)=0.061712\). Following [32], the periodic phenomena in different regions (\(D1-D6\)) near the Hopf–Hopf point can be observed.
Bifurcation diagram of the Hopf–Hopf point. H-1 and H-2 represent two Hopf bifurcation curves, and their intersection is the Hopf–Hopf bifurcation. There are two torus bifurcation curves originating from the Hopf–Hopf point, TB-1 and TB-2. \(\tau -r\) plane is divided into six regions, defined as \(D1-D6\)
In fact, system (1) has more than one Hopf–Hopf bifurcation. With the increase of time delay, more Hopf–Hopf points appear in the two-parameter plane \(\tau -r\), so more complex phenomena of periodic solutions and chaos will exist in the system.
7 Conclusion and discussion
Co-dimension two bifurcations are a common bifurcation phenomenon in delay differential equations, which leads to complex dynamic behavior of the system. In this paper, a delayed tumor model is established, and the Allee effect is considered in this model. It is found that there are at most two positive equilibria in the system, and the stability condition of the equilibria is given. Due to the time delay and Allee effect, the system has abundant co-dimension two bifurcations, accompanied by multistability and periodic coexistence. Particularly, after adding Allee effect, the system changes from a single equilibrium to two different positive equilibria, which is an important reason for the appearance of coexistence, and the time-delay also makes the original two-dimensional ordinary differential equation more complex, such as the emergence of zero-Hopf bifurcation and Hopf–Hopf bifurcation. We calculate the normal form of Bautin bifurcation, zero-Hopf bifurcation, and Hopf–Hopf bifurcation of the system. For Bautin bifurcation and zero-Hopf bifurcation, the two-parameter bifurcation diagram is also given in numerical experiments in Sect. 6. By the simulation of different regions, the multistability and periodic coexistence are demonstrated. For Hopf–Hopf bifurcation, we only perform a numerical example. In fact, there are stable periodic solutions and chaos near the Hopf–Hopf bifurcation point.
To conclude, this paper analyzes the stability and bifurcations of a tumor model. The theoretical and simulation results are of biological significance, which is helpful for the future tumor research at the theoretical level. More specifically, the time-delay and growth rate of tumor cells play a key role in the development of tumor, which is conducive to our further research in the future.
Availability of data and materials
All data generated or analysed during this study are included in this published article.
References
Siegel, R.L., Miller, K.D., Jemal, A.: Cancer statistics, 2019. CA Cancer J. Clin. 69(1), 7–34 (2019)
Chalmers, Z.R., Connelly, C.F., Fabrizio, D., Gay, L., Ali, S.M., Ennis, R., Schrock, A., Campbell, B., Shlien, A., Chmielecki, J., et al.: Analysis of 100,000 human cancer genomes reveals the landscape of tumor mutational burden. Gen. Med. 9(1), 1–14 (2017)
Dunn, G.P., Bruce, A.T., Ikeda, H., Old, L.J., Schreiber, R.D.: Cancer immunoediting: from immunosurveillance to tumor escape. Nat. Immunol. 3(11), 991–998 (2002)
Pietras, K., Östman, A.: Hallmarks of cancer: interactions with the tumor stroma. Exp. Cell Res. 316(8), 1324–1331 (2010)
d’Onofrio, A.: A general framework for modeling tumor-immune system competition and immunotherapy: mathematical analysis and biomedical inferences. Physica D 208(3–4), 220–235 (2005)
Makhlouf, A.M., El-Shennawy, L., Elkaranshawy, H.A.: Mathematical modelling for the role of CD4+ t cells in tumor-immune interactions. Comput. Math. Methods Med. 2020, Article ID 7187602 (2020)
Ashyani, A., RabieiMotlagh, O., Mohammadinejad, H.: A mathematical approach to effects of CTLs on cancer virotherapy in the second injection of virus. J. Theor. Biol. 453, 78–87 (2018)
Sardar, M., Biswas, S., Khajanchi, S.: The impact of distributed time delay in a tumor-immune interaction system. Chaos Solitons Fractals 142, 110483 (2021)
Khajanchi, S., Nieto, J.J.: Mathematical modeling of tumor-immune competitive system, considering the role of time delay. Appl. Math. Comput. 340, 180–205 (2019)
Zhao, X.E., Hu, B.: Symmetry-breaking bifurcation for a free-boundary tumor model with time delay. J. Differ. Equ. 269(3), 1829–1862 (2020)
Kemwoue, F.F., Dongo, J.M., Mballa, R.N., Gninzanlong, C.L., Kemayou, M.W., Mokhtari, B., Biya-Motto, F., Atangana, J.: Bifurcation, multistability in the dynamics of tumor growth and electronic simulations by the use of PSpice. Chaos Solitons Fractals 134, 109689 (2020)
Zeng, C., Ma, S.: Dynamic analysis of a tumor-immune system under Allee effect. Math. Probl. Eng. 2020, Article ID 4892938 (2020)
Johnson, K.E., Howard, G., Mo, W., Strasser, M.K., Lima, E.A., Huang, S., Brock, A.: Cancer cell population growth kinetics at low densities deviate from the exponential growth model and suggest an Allee effect. PLoS Biol. 17(8), 3000399 (2019)
Böttger, K., Hatzikirou, H., Voss-Böhme, A., Cavalcanti-Adam, E.A., Herrero, M.A., Deutsch, A.: An emerging Allee effect is critical for tumor initiation and persistence. PLoS Comput. Biol. 11(9), 1004366 (2015)
Bozkurt, F., Yousef, A.: Flip bifurcation and stability analysis of a fractional-order population dynamics with Allee effect. J. Interdiscip. Math. 22(6), 1009–1029 (2019)
Hilker, F.M., Langlais, M., Malchow, H.: The Allee effect and infectious diseases: extinction, multistability, and the (dis-) appearance of oscillations. Am. Nat. 173(1), 72–88 (2009)
Sardar, M., Khajanchi, S.: Is the Allee effect relevant to stochastic cancer model? J. Appl. Math. Comput., 1–23 (2021)
Tsur, N., Kogan, Y., Rehm, M., Agur, Z.: Response of patients with melanoma to immune checkpoint blockade–insights gleaned from analysis of a new mathematical mechanistic model. J. Theor. Biol. 485, 110033 (2020)
Khajanchi, S., Banerjee, S.: Stability and bifurcation analysis of delay induced tumor immune interaction model. Appl. Math. Comput. 248, 652–671 (2014)
Khajanchi, S.: Modeling the dynamics of glioma-immune surveillance. Chaos Solitons Fractals 114, 108–118 (2018)
De Pillis, L.G., Radunskaya, A.: The dynamics of an optimally controlled tumor model: a case study. Math. Comput. Model. 37(11), 1221–1244 (2003)
Yang, X., Yang, M., Liu, H., Liao, X.: Bautin bifurcation in a class of two-neuron networks with resonant bilinear terms. Chaos Solitons Fractals 38(2), 575–589 (2008)
Song, Z., Xu, J.: Bursting near Bautin bifurcation in a neural network with delay coupling. Int. J. Neural Syst. 19(5), 359–373 (2009)
Zhen, B., Xu, J.: Bautin bifurcation analysis for synchronous solution of a coupled FHN neural system with delay. Commun. Nonlinear Sci. Numer. Simul. 15(2), 442–458 (2010)
Wu, X., Wang, L.: Zero-Hopf bifurcation for van der Pol’s oscillator with delayed feedback. J. Comput. Appl. Math. 235(8), 2586–2602 (2011)
Zhen, B., Xu, J.: Fold–Hopf bifurcation analysis for a coupled Fitzhugh–Nagumo neural system with time delay. Int. J. Bifurc. Chaos 20(12), 3919–3934 (2010)
Bramburger, J., Dionne, B., LeBlanc, V.G.: Zero-Hopf bifurcation in the van der Pol oscillator with delayed position and velocity feedback. Nonlinear Dyn. 78(4), 2959–2973 (2014)
Zhang, L., Zhang, Z., Huang, L.: Double Hopf bifurcation of time-delayed feedback control for Maglev system. Nonlinear Dyn. 69(3), 961–967 (2012)
Xu, J., Chung, K.-W., Chan, C.-L.: An efficient method for studying weak resonant double Hopf bifurcation in nonlinear systems with delayed feedbacks. SIAM J. Appl. Dyn. Syst. 6(1), 29–60 (2007)
Chen, M., Wu, R., Liu, B., Chen, L.: Hopf-Hopf bifurcation in the delayed nutrient-microorganism model. Appl. Math. Model. 86, 460–483 (2020)
Guo, S., Chen, Y., Wu, J.: Two-parameter bifurcations in a network of two neurons with multiple delays. J. Differ. Equ. 244(2), 444–486 (2008)
Bosschaert, M., Wage, B., Kuznetsov, Y.: Description of the extension ddebiftool_nmfm (2015)
Banerjee, S., Khajanchi, S., Chaudhuri, S.: A mathematical model to elucidate brain tumor abrogation by immunotherapy with T11 target structure. PLoS ONE 10(5), 0123611 (2015)
Yu, M., Dong, Y., Takeuchi, Y.: Dual role of delay effects in a tumour–immune system. J. Biol. Dyn. 11(suppl. 2), 334–347 (2017)
Engelborghs, K., Luzyanina, T., Roose, D.: Numerical bifurcation analysis of delay differential equations using DDE-BIFTOOL. ACM Trans. Math. Softw. 28(1), 1–21 (2002)
Engelborghs, K., Luzyanina, T., Samaey, G., et al.: DDE-BIFTOOL: a Matlab package for bifurcation analysis of delay differential equations. TW Rep. 305, 1–36 (2000)
Wage, B.: Normal form computations for delay differential equations in DDE-BIFTOOL. Master’s thesis (2014)
Acknowledgements
The authors are grateful to all anonymous reviewers for their valuable comments which have provided great help for the improvement of the paper.
Funding
This work is supported by Excellent Young and Middle-aged Scientific and Technological Innovation Team of Colleges and Universities of Hubei Province(T2020046)-Artificial Intelligence and Robot.
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no conflict of interest. The authors certify that this manuscript is original and has not been published and will not be submitted elsewhere for publication while being considered by Advances in Difference Equations, and all data supporting the findings of this study are included in this manuscript.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Dai, Q. Co-dimension two bifurcations analysis of a delayed tumor model with Allee effect. Adv Differ Equ 2021, 516 (2021). https://doi.org/10.1186/s13662-021-03671-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03671-8
Keywords
- Allee effect
- Bautin bifurcation
- Zero-Hopf bifurcation
- Hopf–Hopf bifurcation