Generalized Hopf Bifurcation in a Delay Model of Neutrophil Cells Model

Abstract

The DDE-Biftool software is applied to solve the dynamical stability and bifurcation problem of the neutrophil cells model. Based on Hopf point finding with the stability property of the equilibrium solution loss, the continuation of the bifurcating periodical solution starting from Hopf point is exploited. The generalized Hopf point is tracked by seeking for the critical value of free parameter of the switching phenomena of the open loop, which describes the lineup of bifurcating periodical solutions from Hopf point. The normal form near the generalized Hopf point is computed by Lyapunov-Schimdt reduction scheme combined with the center manifold analytical technique. The near dynamics is classified by geometrically different topological phase portraits.

Share and Cite:

Ma, S. and Hogan, S. (2024) Generalized Hopf Bifurcation in a Delay Model of Neutrophil Cells Model. International Journal of Modern Nonlinear Theory and Application, 13, 11-28. doi: 10.4236/ijmnta.2024.132002.

1. Introduction

Mathematical modelling is powerful designed in understanding hematological stem cells (HSCs) regulation mechanism to explore its complex behaviors underlying dynamical bifurcation mechanism ([1]-[3]). Normally, the circulating white cells, red cells and platelets are maintained at a homeostatic level, hence no obvious evidence of any oscillation behavior occurring. However, the neutrophil dynamics is further discussed based on the circulating cells dynamics with the discipline of the cell lineage. When neutrophil numbers fall to sufficiently low levels, the periodic oscillation phenomena of neutrophil counts are observed ([4]-[6]). The often hematopoietic diseases are modeled with several delays history in one period, which describes neutrophil dynamics by DDEs with nonlinearity ([4] [7] [8]).

Even brilliantly with some known models, the administration of the periodic diseases and the production of blood cells number is partially understood yet. Biologically and mathematically, the outline of the circulating cells feedback mechanism is schemed, which originated from HSCs number, as shown in Figure 1. In mammals, hematopoietic stem cells can proliferate and differentiate into one of the three major cells, and end with the release of the mature blood cells into the circulation ([9]-[11]). The computation models of HSCs dynamics obey the Hill rules with the introduction rate manifesting time delay feedback in proliferating phase, which is described as ([9]):

Q ( t )=β( Q )Q+2 e γ 0 τ s β( Q( t τ s ) )Q( t τ s ) (1.1)

Here in Q denotes HSCs number, and giving Hill function ([10] [12] [13])

β( Q )= θ n Q n + θ n (*)

With all sorts of bifurcating solutions, and even chaos, system (1.1) has shed light on the pathophysiology dynamically development of the related hematopoietic diseases. In this paper, we also get a brand new function to replace of Hill function,

β( Q )= β 0 1 p n Q n ( 1+ p n +2 p n/2 cos( Q ) ) , (F)

with p= e θ .

Figure 1. The outline of the two department cells model of neutropenia dynamics.

The control of the circulating blood cells is mediated by a delayed negative feedback mechanism, such as granulocyte colony stimulating factor (G-CSF) for the white blood cells ([14]-[16]). As is known, the apoptosis is the programmed death of cells happening during the proliferation and differentiation process. In paper ([5] [17]-[19]), the feedback control of G-CSF has supposed to experience two time segments τ NP and τ NM , and the amplifying coefficients in the peripheral cells cycle are set forth, which is formulated as

A= e η NP τ NP γ τ NM (1.2)

With the guide of the outline schemed in Figure 1, the studied neutrophil model is put forth as the follows

dQ dt =( β( Q )+ k N ( N )+ k δ )Q+2c( τ s )β( Q τ s ) Q τ s dN dt = γ N N+ e η NP τ NP γ τ NM k( N τ N )( Q τ N ) (1.3)

System (1.3) is of highly nonlinearity of DDEs with history of multi-delays, wherein with positive integer m=1,n=2 . Hill function of K( N ) is often given as ([7] [20]).

K( N )= f 0 θ 1 m θ 1 m + N m (1.4)

We set c( τ s )=1 0 τ s g γ j ( s )ds , which is increasing with time delay τ s . In general, the function g γ j ( s ) denotes Gamma-distribution with formula

g γ j ( s )= s j1 γ 0 j e γ 0 s Γ( j ) (1.5)

where in γ 0 is positive constant and j N 0 , Γ( j )=( j1 )! . It is easily seen that if j=1 , c( τ s )= e γ 0 τ s , and herein after we choose j=2 to get

c( τ s )= e γ 0 τ s + γ 0 τ s e γ 0 τ s (1.6)

and lim τ s 0 c( τ s )=1 .

The stability property of system loss as Hopf bifurcation is observed, and double Hopf bifurcation occurs as Hopf lines intersect itself with varying free parameters. We discuss double Hopf bifurcation further in another paper. The often analytical technique of Hopf bifurcation is completed by the imaginary roots computation of the related characteristic equation of the linearized system ([21] [22]). And the bifurcation direction of the periodical solutions arising from Hopf point is calculated by the normal form on the center manifold ([23] [24]). With the Lyapunov-Schmidt reduction method referred, the near dynamics of the double Hopf point is classified geometrically in topological phase portraits by the derived normal form. Generalized Hopf bifurcation happens at the switch point of super-Hopf bifurcation and sub-Hopf bifurcation. And in general, the calculated first Lyapunov coefficient in normal form is zero ([25]-[27]). Hence after the expanded normal form to five degree is demanded and the limit point cycle bifurcation line is computed by normal form coefficients.

DDE-Biftool is an artificial hand-tool in DDEs bifurcation computation and has the big compatibility with every sort of delay systems ([28] [29]). As another preserved method, DDE-Biftool discovers the generalized Hopf point by a special observation of loops of limit cycles. With free parameter γ 0 varying, the bifurcating periodical solutions arise from Hopf point. However, near GH point, the super-critical Hopf point and the sub-critical Hopf point are close to each other, and surely candidates for a lineup of the limit cycles continued from one Hopf point to another. The featured open loops of lineup of periodical solutions continuation are described. At GH point, the collide of stable limit cycles and unstable limit cycles also happens, which extends a limit point cycle bifurcation line from GH point. Whether the limit point cycle bifurcation line is in coincidence with the above referred bifurcation line calculated by normal form coefficients?

The whole paper is organized as follows. In Section 2, the continuation of equilibrium solution is done with varying free parameter γ 0 , and the bifurcating periodical solution arising Hopf point is finished. In Section 3, the preserved method of discover generalized Hopf point is programmed, which display both the open loops of lineup solutions nearby and the closed lineup solutions of periodical oscillation at the critical values. In Section 4, the programmed lineup solutions of limit cycle are also observed by varying parameter k δ and τ N , which are either open loops or closed loops continued by DDE-Biftool; In Section 5, the normal form of GH are computed by dimensional reduction method.

2. Hopf Bifurcation Analysis of System

Suppose E * =( Q * , N * ) is the equilibrium solution of system (1.3), then it is satisfied the right side of the equations. Applying DDE-Biftool with sys_ rhs command to setup system (1.3), the continuation solution of the equilibrium is often carried out. The stability property of equilibrium solutions is analyzed by br_ stable command. As shown in Figure 2(a), applying DDE-Biftool software, we continue the equilibrium solution and compute the stability property as varying γ 0 . Hopf points are found due to the loss of stability of the equilibrium solution as varying free parameter. We use γ 0* to denote the threshold of Hopf bifurcation and Hopf points are listed

(a) (b)

Figure 2. The continuation of the equilibrium solution and bifurcating periodical solutions arise from Hopf points v.s. γ 0 , the other parameters are fixed as k δ =0.143 , τ N =0.577 . (a) The equilibrium solutions and Hopf points; (b) The continuation of periodical solutions with maximal magnitude and minimal magnitude versus γ 0 .

The bifurcating periodical solution arise from Hopf point, as shown in Figure 2(b), in which using solid line to denote the maximal amplitude and dash line to represent the minimal amplitude of periodical solution. The bifurcating periodical solution is devastating to find nearby possible generalized Hopf(GH) bifurcation.

3. Generalized Hopf Point with γ 0

(a) (b)

Figure 3. The detection of GH point and the continuation of periodical solutions. (a) The imaginary roots calculation of GH point; (b) The amplitude picture with respect to γ 0 is continued.

Figure 4. (a) The continuation of periodical solution near GH point in X-Z view; (b) The picture near GH point in X-Y-Z view; (c) The continuation of periodical solution of GH point in X-Z view; (d) The picture of GH point in X-Y-Z view.

We give the preserved method to detect Generalized Hopf point by programmed code in DDE-Biftool. That is, the periodical solution from left and right Hopf point on equilibrium solutions line collide. Therefore, with the amination to detect GH point, we pick up two periodical solutions to do continuation of periodical solutions as varying γ 0 , as shown in Figure 6. Originated from the following two periodical solutions psol1 and psol2 respectively,

The continue of periodical solutions is completed from Hopf point to Hopf point with respect to γ 0 . As shown in Figure 3(a), the nearby GH are found with

As seen in Figure 3(b), the periodical solution continued from GH is completed. The amplitude of periodical solutions versus γ 0 is shown which hints both subcritical Hopf bifurcation and supercritical bifurcation occurring. However, the calculation of bifurcating direction of periodical solution of GH point should be further discussed subsequently.

The line up of the bifurcating periodical solutions is looped by the continuation method in DDE-Biftool. The red color and blue color separate the periodical solutions before and after the limit point cycle bifurcation. As seen in Figure 4(a) and Figure 4(b), the open loop of line up of solution is obtained with the continuation from the originated periodical solution “psol1”; however, the closed loop of line up of solution which started from the solution “psol2” gets into sight of Figure 4(c) and Figure 4(d). Hence GH point is found as listed above. Other parameter are fixed as γ N =2.5 , η NP =2.542 , f 0 =0.8 , θ 1 =0.36 , r s =0.0631 , τ NP =5 , β 0 =2.3 , p=0.43 .

4. GH Point with Parameter τ N and k δ

It is claimed that GH point is found if a super-critical Hopf point collide with a sub-critical Hopf point. It is concluded that before and after threshold value of GH point, the lineup of limit cycle by continuation method manifests different routes design. Either lineup of periodical solutions from Hopf point continuation to Hopf point, or only lineup of periodical solutions from limit point cycle to limit point cycle without Hopf point found. For example, we choose the following two different periodical solutions, which respectively continued to be the referred different lineup solutions of system. With k δ =0.0124 , the continuation of limit cycle is done with varying delay τ N , the closed loop of lineup of periodical solutions are observed. We increase the value of k δ until attach at GH point, about k δ =0.013431205338737 , the loop of lineup of periodical solutions shows connecting cusp point at GH point. The value of k δ is increased further, the loop of lineup of periodical solutions is done, which is open lineup loop. As shown in Figure 5, three open loop of lineup solutions are observed when varying τ N with k δ =0.0124,0.0133,0.0134 ; three closed loop of lineup solutions are also exhibited with k δ =0.0135,0.0137,0.0141 .

At GH point listed as following, we setup the new solutions with profile method (example is illustrated at DDE-Biftool), the continuation of lineup of limit cycles is shown in Figure 6, as varying k δ .

Figure 5. The loops set of the continuation of periodical solutions as increasing free parameter k δ . The lineup solutions are obtained by varying time delay τ N .

Figure 6. The loops set of the continuation of periodical solutions as increasing free parameter k δ . The lineup solutions are obtained by varying time delay τ N .

5. The Norm Form of GH Point

As discussed in the above sections, the generalized Hopf bifurcation occurs at ( k δ0 , τ N0 ) with other parameter fixed. On Hopf line, the generalized Hopf point separates the supercritical Hopf points from the subcritical Hopf points. Since it happens with a limit point cycle bifurcation line arise from bifurcation point, two limit cycles coexist due to GH bifurcation. In Normal form, we can compute the first lyapunov exponent equals zero. The bifurcating periodical solutions arising from GH point is determined by the second Lyapunov exponent, which is stable if the exponent is less than zero, and otherwise versus. Applying Lyapunov-Schimdt reduction method, the norm form is often computed by the projection of solution operator on the phase space into the center manifold, and the bifurcating direction is determined.

We set x=Q Q * ,y=N N * , then applying the perturbation parameters method, the trunction system of system (1.3) with Taylor expansion to fifth order is written as

U( t )=L U t +F U t (5.1)

With U= ( x,y ) T , and

L U t = τ N 0 dη( θ )ϕ( θ ) (5.2)

With η:[ τ N ,0 ] R 2 is a bounded variation function vector. We also have

F U t = i+j+k2 B ijk ( U t ( 0 ) i U t ( τ s ) j U t ( τ s ) k )

where in the above expression represents the multi-linear form style as often referred.

System (5.1) is defined on the phase space of a Banach space C=[ τ N ,0 ] R 2 with super norm ϕ = sup τ N θ0 | ϕ( θ ) | , with U t ( θ )=U( t+θ ) and U t C .

As often calculated in Section 3, the linearized system of Equation (1.3) has eigen roots with ±iω and eigenvector q e iωθ , q ¯ e iωθ for τ N θ0 . Based on the fundamental theory of DDEs ([20]), the solutions of the linear operator are a strong continuous semigroup which has infinitesimal generator

Aϕ={ dϕ dθ , τ N θ<0, ϕ( θ ), θ=0 (5.3)

For ϕC( [ τ N ,0 ] R 2 ) .

For ψ C * ( [ 0, τ N ] R 2 ) , the adjoint operator is also defined as

A * ψ={ dψ ds , 0<s τ N , * ψ( s ), s=0. (5.4)

For ϕC,ψ C * , we define the bilinear function of inner product as

ψ,ϕ = ψ ¯ T ( 0 )ϕ( 0 ) τ N 0 0 θ ψ ¯ T ( ξ+θ )dη( θ )ϕ( ξ )dξ (5.5)

Therefore, since it is satisfied with

Aq e iωθ =iωq e iωθ , A q ¯ e iωθ =iω q ¯ e iωθ , for τ N θ0, A * p e iωs =iωp e iωs , A * p ¯ e iωs =iω p ¯ e iωs , for0s τ N . (5.6)

The center space is defined with its bases as P=span{ q e iωθ , q ¯ e iωθ } . Suppose QC being the complementary subspace, and we can decompose the phase space C into its direct summation C=PQ . We define the base function Φ( θ )=( q e iωθ , q ¯ e iωθ ) for τ N θ0 , and also the base function Ψ( s ) in its conjugate space C * , Ψ( s )=( p e iωs , ψ ¯ ( s )= p ¯ e iωs ) for 0s τ N . Hence, we have

Ψ,Φ =1 (5.7)

For τ N θ0 , make the axis transformation

U t =Φ( θ )( z( t ) z ¯ ( t ) )+ W t (5.8)

with U t = ( x t , y t ) T .

The axis z( t ) is calculated with formula

z( t )= p e iωs , U t , z ¯ ( t )= p ¯ e iωs , U t (5.9)

and W t = U t z( t )q e iωθ z ¯ ( t ) q ¯ e iωθ .

We define the projection operator on the center manifold Π,CP by

Π U t =Φ( θ ) Ψ( s ), U t (5.10)

and the complementary operator IΠ,CQ , wherein QKerΠ . Then on the center manifold, one derives

W t =( IΠ ) U t (5.11)

Then by system (1.3), one gets that

( z ( t ) z ¯ ( t ) )=B( z( t ) z ¯ ( t ) )+ Ψ ¯ T ( 0 )F( z( t ) Φ 1 ( θ )+ z ¯ ( t ) Φ 2 ( θ )+ W t ) (5.12)

and B=( iω 0 0 iω ) . Set

(5.13)

for m=2,3, .

Combined with center manifold analytical technique, we write

W t = H 20 ( θ ) z 2 + H 11 ( θ )z z ¯ + H 02 ( θ ) z ¯ 2 + (5.14)

By definition (5.11), one has

W t ={ A W t ( θ )Φ( θ ) Ψ T ( 0 )F( z( t ) Φ 1 ( θ )+ z ¯ ( t ) Φ 2 ( θ )+ W t ), τ N θ<0 A W t ( θ )+FΦ( θ ) Ψ T ( 0 )F( z( t ) Φ 1 ( θ )+ z ¯ ( t ) Φ 2 ( θ )+ W t ),θ=0 (5.15)

Therefore, we differentiate W t with respect to t to get

A H 20 ( θ )=2iω H 20 ( θ )+ Φ 1 ( θ ) g 200 + Φ 2 ( θ ) g ¯ 020 , A H 11 ( θ )= Φ 1 ( θ ) g 110 + Φ 2 ( θ ) g ¯ 110 , A H 02 ( θ )=2iω H 02 ( θ )+ Φ 1 ( θ ) g 020 + Φ 2 ( θ ) g ¯ 200 (5.16)

With initial value condition determined by the case θ=0 in Equation (5.15).

Integral Equation (5.16) with respect to θ to get the coefficients H 20 ( θ ), H 11 ( θ ), H 02 ( θ ) in the expression of W t on the center manifold.

By the near identity transformation

z ˜ =z+p( z, z ¯ )

With

p( z, z ¯ )= g 20 iω z 2 + g 11 iω z z ¯ + g 02 3iω z ¯ 2

We get the first Lyapunov coefficient as

l 0 = g 210 + g 200 g 110 iω | g 110 | 2 iω + 2 | g 020 | 2 3iω + g 101,0 H 11 ( 0 ) + g 101,1 H 11 ( τ s )+ g 101,2 H 11 ( τ N )+ g 011,0 H 20 ( 0 ) + g 011,1 H 20 ( τ s )+ g 011,2 H 20 ( τ N ) (5.17)

With

g ij1,0 = g ij1, W t ( 0 ) , g ij1,1 = g ij1, W t ( τ s ) , g ij1,2 = g ij1, W t ( τ N )

For l=1,i+j+l=m , with m=2,3, . and system (5.1) is equivalent to

(5.18)

where in with no doubt, we omit ˜ in Equation (5.18). We have g 21 = l 0 , and

g 30 = g 300 + 2 9ω i g 200 2 + H 20 ( 0 ) g 101,0 + H 20 ( τ s ) g 101,1 + H 20 ( τ N ) g 101,2 ,

g 12 = g 120 + H 11 ( 0 ) g 011,0 + H 11 ( τ s ) g 011,1 + H 11 ( τ N ) g 011,2 + H 11 ( 0 ) g 011,0 + H 02 ( 0 ) g 101,0 + H 02 ( τ s ) g 101,1 + H 02 ( τ N ) g 101,2 + i ω g 110 2 2i 3ω g 020 g 200 ,

g 03 = g 030 i ω g 020 g 110 + H 02 ( 0 ) g 011,0 + H 02 ( τ s ) g 011,1 + H 02 ( τ N ) g 011,2 ,

g 40 = g 400 + i ω g 020 g 21 + H 30 ( 0 ) g 101,0 + H 30 ( τ s ) g 101,1 + H 30 ( τ N ) g 101,2 + H 20 ( 0 ) g 201,0 + H 20 ( τ s ) g 201,1 + H 20 ( τ N ) g 201,2 ,

g 31 = g 310 i ω g 110 g 21 + H 30 ( 0 ) g 011,0 + H 30 ( τ s ) g 011,1 + H 30 ( τ N ) g 011,2 + H 21 ( 0 ) g 101,0 + H 21 ( τ s ) g 101,1 + H 21 ( τ N ) g 101,2 + H 11 ( 0 ) g 201,0 + H 11 ( τ s ) g 201,1 + H 11 ( τ N ) g 201,2 + H 20 ( 0 ) g 111,0 + H 20 ( τ s ) g 111,1 + H 20 ( τ N ) g 111,2 + 4i 3ω g 21 g 200 ,

g 22 = g 220 + H 02 ( 0 ) g 201,0 + H 02 ( τ s ) g 201,1 + H 02 ( τ N ) g 201,2 + H 11 ( 0 ) g 111,0 + H 11 ( τ s ) g 111,1 + H 11 ( τ N ) g 111,2 + H 12 ( 0 ) g 101,0 + H 12 ( τ s ) g 101,1 + H 12 ( τ N ) g 101,2 + H 20 ( 0 ) g 021,0 + H 20 ( τ s ) g 021,1 + H 20 ( τ N ) g 021,2 + H 21 ( 0 ) g 011,0 + H 21 ( τ s ) g 011,1 + H 21 ( τ N ) g 011,2 i 3ω g 200 g 21 + 3i ω g 21 g 110 ,

g 13 = g 130 + H 02 ( 0 ) g 111,0 + H 02 ( τ N ) g 111,2 + H 02 ( τ s ) g 111,1 + H 12 ( 0 ) g 011,0 + H 12 ( τ s ) g 011,1 + H 12 ( τ N ) g 011,2 + H 11 ( 0 ) g 021,0 + H 11 ( τ s ) g 021,1 + H 11 ( τ N ) g 021,2 + H 03 ( 0 ) g 101,0 + H 03 ( τ s ) g 101,1 + H 03 ( τ N ) g 101,2 2i ω g 21 g 020 ,

g 04 = g 040 + H 03 ( 0 ) g 011,0 + H 03 ( τ s ) g 011,1 + H 03 ( τ N ) g 011,2 + H 02 ( 0 ) g 021,0 + H 02 ( τ s ) g 021,1 + H 02 ( τ N ) g 021,2

g 50 = g 500 + H 20 ( 0 ) 2 g 102,00 + H 20 ( τ s ) 2 g 102,11 + H 20 ( τ N ) 2 g 102,22 +2 H 20 ( 0 ) H 20 ( τ s ) g 102,01 +2 H 20 ( 0 ) H 20 ( τ N ) g 102,02 +2 H 20 ( τ N ) H 20 ( τ s ) g 102,12 + H 20 ( 0 ) g 301,0 + H 20 ( τ s ) g 301,1 + H 20 ( τ N ) g 301,2 + H 30 ( 0 ) g 201,0 + H 30 ( τ s ) g 201,1 + H 30 ( τ N ) g 201,2 + H 40 ( 0 ) g 101,0 + H 40 ( τ s ) g 101,1 + H 40 ( τ N ) g 101,2 + 4 3 ω 2 g 020 g 21 g 200 ,

g 41 = g 410 +2 H 11 ( 0 ) H 20 ( 0 ) g 102,00 +2 H 11 ( τ s ) H 20 ( τ s ) g 102,11 +2 H 11 ( 0 ) H 20 ( τ s ) g 102,01 +2 H 11 ( τ N ) H 20 ( τ N ) g 102,22 +2 H 11 ( τ s ) H 20 ( 0 ) g 102,10 +2 H 11 ( 0 ) H 20 ( τ N ) g 102,02 +2 H 11 ( τ N ) H 20 ( 0 ) g 102,20 +2 H 11 ( τ N ) H 20 ( τ s ) g 102,21 +2 H 11 ( τ s ) H 20 ( τ N ) g 102,12 + 5 9 ω 2 g 21 g 200 2 + H 20 2 ( 0 ) g 012,00 + H 20 2 ( τ s ) g 012,11 + H 20 2 ( τ N ) g 012,22 +2 H 20 ( 0 ) H 20 ( τ s ) g 012,01 +2 H 20 ( 0 ) H 20 ( τ N ) g 012,02 +2 H 20 ( τ N ) H 20 ( τ s ) g 012,21 + H 30 ( 0 ) g 111,0 + H 30 ( τ s ) g 111,1 + H 30 ( τ N ) g 111,2 + H 20 ( 0 ) g 211,0 + H 20 ( τ s ) g 211,1 + H 20 ( τ N ) g 211,2 + H 31 ( 0 ) g 101,0 + H 31 ( τ s ) g 101,1 + H 31 ( τ N ) g 101,2 + H 11 ( 0 ) g 301,0 + H 11 ( τ s ) g 301,1 + H 11 ( τ N ) g 301,2 + H 21 ( 0 ) g 201,0 + H 21 ( τ s ) g 201,1 + H 21 ( τ N ) g 201,2 + H 40 ( 0 ) g 011,0 + H 40 ( τ s ) g 011,1 + H 40 ( τ N ) g 011,2 + 3 ω 2 g 21 g 110 g 020 4 3 ω 2 g 21 g 110 g 200 ,

g 14 = g 140 + H 03 ( 0 ) g 111,0 + H 03 ( τ s ) g 111,1 + H 03 ( τ N ) g 111,2 + H 02 ( 0 ) g 121,0 + H 02 ( τ s ) g 121,1 + H 02 ( τ N ) g 121,2 + H 04 ( 0 ) g 101,0 + H 04 ( τ s ) g 101,1 + H 04 ( τ N ) g 101,2 + H 13 ( 0 ) g 011,0 + H 13 ( τ s ) g 011,1 + H 13 ( τ N ) g 011,2 + H 11 ( 0 ) g 031,0 + H 11 ( τ s ) g 031,1 + H 11 ( τ N ) g 031,2 + H 12 ( 0 ) g 021,0 + H 12 ( τ s ) g 021,1 + H 12 ( τ N ) g 021,2 + 2 3 ω 2 g 020 g 21 g 200 4 ω 2 g 21 g 110 g 020 + H 02 2 ( 0 ) g 102,00 + H 02 2 ( τ s ) g 102,11 + H 02 2 ( τ N ) g 102,22 +2 H 02 ( 0 ) H 02 ( τ s ) g 102,01 +2 H 02 ( 0 ) H 02 ( τ N ) g 102,02 +2 H 02 ( τ s ) H 02 ( τ N ) g 102,12 +2 H 02 ( 0 ) H 11 ( 0 ) g 012,00 +2 H 02 ( τ s ) H 11 ( τ s ) g 012,11 +2 H 02 ( τ N ) H 11 ( τ N ) g 012,22 +2 H 02 ( 0 ) H 11 ( τ s ) g 012,01 +2 H 02 ( τ s ) H 11 ( 0 ) g 012,10 +2 H 02 ( 0 ) H 11 ( τ N ) g 012,02 +2 H 02 ( τ N ) H 11 ( 0 ) g 012,20 +2 H 02 ( τ N ) H 11 ( τ s ) g 012,21 +2 H 02 ( τ s ) H 11 ( τ N ) g 012,12

g 05 = g 050 + 1 ω 2 g 020 2 g 21 + H 04 ( 0 ) g 011,0 + H 04 ( τ s ) g 011,1 + H 04 ( τ N ) g 011,2 + H 02 ( 0 ) g 031,0 + H 02 ( τ s ) g 031,1 + H 02 ( τ N ) g 031,2 + H 03 ( 0 ) g 021,0 + H 03 ( τ s ) g 021,1 + H 03 ( τ N ) g 021,2 + H 02 2 ( 0 ) g 012,00 + H 02 2 ( τ s ) g 012,11 + H 02 2 ( τ N ) g 012,22 +2 H 02 ( 0 ) H 02 ( τ s ) g 012,01 +2 H 02 ( 0 ) H 02 ( τ N ) g 012,02 +2 H 02 ( τ N ) H 02 ( τ s ) g 012,21

Equation (5.8) is an ODE with its coefficients have unknown coefficient H ij ,i+j3 , we solve it by the same differential methods as referred in Equation (5.11) - Equation (5.16), that is

A H 30 ( θ )=3iω H 30 ( θ )+ Φ 1 ( θ ) g 30 + Φ 2 ( θ ) g ¯ 03 , A H 21 ( θ )=iω H 21 ( θ )+ Φ 1 ( θ ) g 21 + Φ 2 ( θ ) g ¯ 12 , A H 12 ( θ )=iω H 12 ( θ )+ Φ 1 ( θ ) g 12 + Φ 2 ( θ ) g ¯ 21 , A H 03 ( θ )=3iω H 03 ( θ )+ Φ 1 ( θ ) g 03 + Φ 2 ( θ ) g ¯ 30 , A H 40 ( θ )=4iω H 30 ( θ )+ Φ 1 ( θ ) g 40 + Φ 2 ( θ ) g ¯ 04 , A H 31 ( θ )=2iω H 31 ( θ )+ Φ 1 ( θ ) g 31 + Φ 2 ( θ ) g ¯ 13 , A H 22 ( θ )= Φ 1 ( θ ) g 22 + Φ 2 ( θ ) g ¯ 22 , A H 13 ( θ )=2iω H 13 ( θ )+ Φ 1 ( θ ) g 13 + Φ 2 ( θ ) g ¯ 31 , A H 04 ( θ )=4iω H 04 ( θ )+ Φ 1 ( θ ) g 04 + Φ 2 ( θ ) g ¯ 40 (5.19)

With initial value condition determined by the case θ=0 in Equation (5.15).

Set

p( z, z ¯ )= 1 2ω i g 30 z 3 i 2ω g 12 z z ¯ 2 i 4ω g 03 z ¯ 3 (5.20)

And do near identity transformation

z ˜ =z+p( z, z ¯ ) (5.21)

We get the second Lyapunov exponent

l 2 = g 32 3 4ω i g ¯ 03 g 03 + i ω g 12 g 30 i ω g ¯ 12 g 12 (5.22)

Therefore, the normal form of the reduced system is written as

z ( t )=iωz+ S ε z+ l 1 z 2 z ¯ + l 2 z 3 z ¯ 2 (5.23)

Under the polar axis ( ρ,θ ) , the normal form is written as

ρ ( t )=ρ( { S ε }+{ l 1 } ρ 2 +{ l 2 } ρ 4 ) (5.24)

The limit cycle bifurcation is computed as

{ l 1 } 2 ε{ S ε }{ l 2 }=0 (5.25)

The first Lyapunov exponent of GH point equals zero, and it is concluded that the nearby dynamics of GH is classified by at least two parameters perturbation.

Fixed γ 0 =0.283470299684549 , we draw Hopf bifurcation line on parameters ( k δ , τ N ) plane, as shown in Figure 7(a). GH bifurcation is found at the bottom of the valley located in Hopf line, and the eigen roots of GH is pictured in Figure 1(a). GH is the separation point between supercritical Hopf points and subcritical Hopf points which locates on Hopf line on ( k δ , τ N ) plane. The computation of the normal form are exemplified by choosing Hopf points respectively. For Hopf point 1 with ( τ N , k δ )=( 8.187,0.0134316 ) , which is subcritical Hopf point with { l 1 }>0 ; For Hopf point 2 with ( τ N , k δ )=( 8.202,0.0134305 ) , which is subcritical Hopf point with { l 1 }>0 ; For Hopf point 3 with ( τ N , k δ )=( 8.242,0.0134307 ) , which is supercritical Hopf point with { l 1 }>0 ; For Hopf point 4 with ( τ N , k δ )=( 8.256,0.0134318 ) , which is supercritical Hopf point with { l 1 }>0 . The bifurcating periodical solutions from Hopf point 1, 2, 3, 4 are shown in Figure 7(b).

Specially, for GH point with ( τ N , k δ )=( 8.22,0.01343 ) , which is both supercritical and subcritical Hopf bifurcation with singularity of codimension 2. The near dynamics of phase portraits of GH point is topological classified, as shown in Figure 8(a). The continuation results of periodical solutions arising from GH point are pictured as varying τ N . The continuation of bifurcating periodical solutions is completed by DDE-Biftool software, as shown in Figure 8(b).

(a) (b)

Figure 7. The generalized Hopf bifurcation point in parameters ( k δ , τ N ) plane. (a) Hopf line with the GH point, the imaginary roots is pictured in the middle view; (b) The bifurcating solutions from subcritical Hopf points 1, 2 and supercritical Hopf points 3, 4.

(a) (b)

Figure 8. GH point is both the supercritical Hopf point and subcritical Hopf point. (a) The phase portraits of near dynamics of GH point geometrically; (b) The maximal magnitude and minimal magnitude of bifurcating solutions continued when varying τ N , which bifurcates from GH point.

6. Conclusion

With delay dependent coefficients in DDEs of neutrophil dynamics, the neutrophil system was numerical simulated with the continuation method proposed by DDE-Biftool software. The generalized Hopf point (GH) was exploited to separate the supercritical Hopf points from the subcritical Hopf points. The observed GH point was located in the bottom of the valley of Hopf line, which manifested the produced phase portraits of the classification of the near dynamics. The usual stable and unstable limit cycle collide to disappear beyond the equilibrium solution preserved its local stable property. The preserved program by applying DDE-Biftool also displayed the lineup solutions of bifurcating period limit cycles. Near GH point, the open lineup of periodical solutions was observed, which often bifurcates from one Hopf point and then gets to another Hopf point to form a bubble of continuation of limit cycles. However, once the free parameter crossing the critical threshold, the closed lineup of periodical solutions was exhibited which is a cycle again with no equilibrium solutions bifurcation any more. Nevertheless, the lineup of bifurcating limit cycles connects GH point, which features GH bifurcation with both supercritical Hopf and subcritical Hopf derived.

Availability of Data and Materials

All data generated or analyzed during this study are included in this published article.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1] Kaushansky, K. (2016) Hematopoietic Stem Cells, Progenitors, and Cytokines. In: Kaushansky, K., et al., Eds., Williams Hematology, 9th Edition, McGraw-Hill.
[2] Brunetti, M., Mackey, M.C. and Craig, M. (2021) Understanding Normal and Pathological Hematopoietic Stem Cell Biology Using Mathematical Modelling. Current Stem Cell Reports, 7, 109-120.
https://doi.org/10.1007/s40778-021-00191-9
[3] Mackey, M.C. (2001) Cell Kinetic Status of Haematopoietic Stem Cells. Cell Proliferation, 34, 71-83.
https://doi.org/10.1046/j.1365-2184.2001.00195.x
[4] Colijn, C., Foley, C. and Mackey, M.C. (2007) G-CSF Treatment of Canine Cyclical Neutropenia: A Comprehensive Mathematical Model. Experimental Hematology, 35, 898-907.
https://doi.org/10.1016/j.exphem.2007.02.015
[5] Foley, C., Bernard, S. and Mackey, M.C. (2006) Cost-Effective G-CSF Therapy Strategies for Cyclical Neutropenia: Mathematical Modelling Based Hypotheses. Journal of Theoretical Biology, 238, 754-763.
https://doi.org/10.1016/j.jtbi.2005.06.021
[6] Hearn, T., Haurie, C. and Mackey, M.C. (1998) Cyclical Neutropenia and the Peripheral Control of White Blood Cell Production. Journal of Theoretical Biology, 192, 167-181.
https://doi.org/10.1006/jtbi.1997.0589
[7] Haurie, C., Dale, D., Rudnicki, R., et al. (2000) Modeling Complex Neutrophil Dynamics in the Grey Collie. Journal of Theoretical Biology, 192, 167-181.
[8] Haurie, C., Dale, D.C. and Mackey, M.C. (1998) Cyclical Neutropenia and Other Periodic Hematological Disorders: A Review of Mechanisms and Mathematical Models. Blood, 92, 2629-2640.
https://doi.org/10.1182/blood.v92.8.2629.420a35_2629_2640
[9] De Souza, D.C. and Humphries, A.R. (2019) Dynamics of a Mathematical Hematopoietic Stem-Cell Population Model. SIAM Journal on Applied Dynamical Systems, 18, 808-852.
https://doi.org/10.1137/18m1165086
[10] Crauste, F. (2006) Global Asymptotic Stability and Hopf Bifurcation for a Blood Cell Production Model. Mathematical Biosciences and Engineering, 3, 325-346.
[11] Pujo-Menjouet, L., Bernard, S. and Mackey, M.C. (2005) Long Period Oscillations in a G0 Model of Hematopoietic Stem Cells. SIAM Journal on Applied Dynamical Systems, 4, 312-332.
https://doi.org/10.1137/030600473
[12] Fortin, P. and Mackey, M.C. (1999) Periodic Chronic Myelogenous Leukaemia: Spectral Analysis of Blood Cell Counts and Aetiological Implications. British Journal of Haematology, 104, 336-345.
https://doi.org/10.1046/j.1365-2141.1999.01168.x
[13] Fowler, A.C. and Mackey, M.C. (2002) Relaxation Oscillations in a Class of Delay Differential Equations. SIAM Journal on Applied Mathematics, 63, 299-323.
https://doi.org/10.1137/s0036139901393512
[14] Colijn, C. and Mackey, M.C. (2007) Bifurcation and Bistability in a Model of Hematopoietic Regulation. SIAM Journal on Applied Dynamical Systems, 6, 378-394.
https://doi.org/10.1137/050640072
[15] Colijn, C. and Mackey, M.C. (2007) Bifurcation and Bistability in a Model of Hematopoietic Regulation. SIAM Journal on Applied Dynamical Systems, 6, 378-394.
https://doi.org/10.1137/050640072
[16] Bernard, S., Bélair, J. and Mackey, M.C. (2003) Oscillations in Cyclical Neutropenia: New Evidence Based on Mathematical Modeling. Journal of Theoretical Biology, 223, 283-298.
https://doi.org/10.1016/s0022-5193(03)00090-0
[17] Adimya, M., Craustea, F. and Ruanb, S. (2006) Modelling Hematopoiesis Mediated by Growth Factors with Applications to Periodic Hematological Diseases. Bulletin of Mathematical Biology, 68, 2321-2351.
https://doi.org/10.1007/s11538-006-9121-9
[18] Talibi Alaoui, H. and Yafia, R. (2007) Stability and Hopf Bifurcation in an Approachable Haematopoietic Stem Cells Model. Mathematical Biosciences, 206, 176-184.
https://doi.org/10.1016/j.mbs.2006.03.004
[19] Andersen, L.K. and Mackey, M.C. (2001) Resonance in Periodic Chemotherapy: A Case Study of Acute Myelogenous Leukemia. Journal of Theoretical Biology, 209, 113-130.
https://doi.org/10.1006/jtbi.2000.2255
[20] Ma, S. (2022) Bifurcation Analysis of Periodic Oscillation in a Hematopoietic Stem Cells Model with Time Delay Control. Mathematical Problems in Engineering, 2022, Article ID: 7304280.
https://doi.org/10.1155/2022/7304280
[21] Hale, J.K. (1977) Theory of Functional Differential Equations. Springer.
[22] Kolmanovskii, V. and Myshkis, A. (1999) Introduction to the Theory and Applications of Functional Differential Equations. Kluwer Academic Publishers.
[23] Vainstein, V., Ginosar, Y., Shoham, M., Ranmar, D.O., Ianovski, A. and Agur, Z. (2005) The Complex Effect of Granulocyte Colony-Stimulating Factor on Human Granulopoiesis Analyzed by a New Physiologically-Based Mathematical Model. Journal of Theoretical Biology, 234, 311-327.
https://doi.org/10.1016/j.jtbi.2004.11.026
[24] Kuznetsov, Y.A. (2004) Elements of Applied Bifurcation Theory. 3rd Edition, Springer.
[25] Hassard, B., Kazarinoff, N. and Wan, Y. (1981) Theory and Applications of Hopf Bifurcation. Cambridge Univ. Press.
[26] Faria, T. and Magalhaes, L.T. (1995) Normal Forms for Retarded Functional Differential Equations with Parameters and Applications to Hopf Bifurcation. Journal of Differential Equations, 122, 181-200.
https://doi.org/10.1006/jdeq.1995.1144
[27] Ma, S.Q., Lu, Q. and Hogan, S. (2007) The Normal Form for Double Hopf Bifurcation for Stuart-Landau System with Nonlinear Delay Feedback and Delay-Dependent Parameters. Advances in Complex Systems.
[28] Engelborghs, K., Luzyanina, T. and Roose, D. (2002) Numerical Bifurcation Analysis of Delay Differential Equations Using Ddebiftool. ACM Transactions on Mathematical Software, 28, 1-21.
https://doi.org/10.1145/513001.513002
[29] Engelborghs, K., Luzyanina, T. and Samaey, G. (2001) DDE-BIFTOOL v. 2.00: A MATLAB Package for Bifurcation Analysis of Delay Differential Equations. Tech. Rep., Department of Computer Science, K. U. Leuven.

Copyright © 2025 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.