^{1}

^{2}

In this paper, we study a drive-response discrete-time dynamical system which has been coupled using convex functions and we introduce a synchronization threshold which is crucial for the synchronizing procedure. We provide one application of this type of coupling in synchronized cycles of a generalized Nicholson-Bailey model. This model demonstrates a rich cascade of complex dynamics from stable fixed point to periodic orbits, quasi periodic orbits and chaos. We explain how this way of coupling makes these two chaotic systems starting from very different initial conditions, quickly get synchronized. We investigate the qualitative behavior of GNB model and its synchronized model using time series analysis and its long time dynamics by the help of bifurcation diagram.

Traditionally, the study of long time behavior of a dynamical systems was based on the examples of ordinary differential equations with regular solutions and those solutions which remained in a bounded region of the phase space could be divided into two different types based on their local behavior: first, a stable equilibrium point and second, a periodic (or quasi-periodic) oscillation. Edward Lorenz in 1961, by working on a simplified version of atmospheric transfer model which was consisting of three nonlinear ordinary differential equations, numerically observed that a very small changing in the initial conditions of the system equations makes a huge difference on the long term behavior of their solutions [

Chaos is a complex nonlinear phenomenon that has been increasingly studied in the last three decades. During those years, many fields of science and engineering have been affected by chaos studies. One of the most important achievements in nonlinear and complex dynamics is the discovery of synchronized chaos. Synchronization happens when two events take place in synchrony at the same time and when time approaches infinity, the error between solutions of the first system and its synchronized one vanishes and approaches to zero. The synchronization between two dynamical systems is a well-known phenomena occurring in Physics, Biology or Engineering and refers to a phenomenon that may occur when two or more oscillators are coupled. For the first time, Christiaan Huygens discovered synchronization of coupled pendulum clocks in 1665 [

The dynamics of coupled chaotic systems show properties which we cannot detect in the behavior of the individual elements [

As we have already discussed, there are many varieties of synchronization. In this research, instead of exploring all of these different types of synchronization which have been proposed for different purposes and with various applications, we simply focus on the most fundamental case, and we will develop our new approach based on a basic mathematical concept. Indeed, the purpose of this paper is that after defining and setting the fundamental concepts which we need to establish the basis of our study, to demonstrate such configurations under a suitable coupling method is possible. Moreover, we explore the dynamical and ecological effects of synchronization of a host-parasitoid model which is a generalization of Nicholson-Bailey model (GNB). The GNB model demonstrates regular and irregular or chaotic oscillations. We define a lift function which is technically a convex function and maps the orbits of the drive system into the orbits of the response system. Using this convex function, we drive the response system which inherits all the complex qualitative dynamics of GNB model and mimics that certain properties of the motion which is shared between them. We investigate numerically that this method of coupling, synchronizes completely the stable and periodic cycles and even the chaotic motions of GNB model and to do that, we need to adjust the synchronization constant to be closer to zero. We demonstrate the complex dynamics of GNB model and its coupled system by conducting some time series and bifurcation analysis.

In this section, we derive the coupled system corresponding to the drive system by defining a convex link function. We consider the following drive system:

X n + 1 = g ( X n ) , (2.1)

where X n ∈ ℝ n is the state vector of a general discrete-time drive system and g : ℝ n → ℝ n is continuous. To find an appropriate response system, we provide the following definition [

Definition 2.1. Assume X , Y ∈ ℝ n are the state vectors of two non-linear discrete-time dynamical systems and a constant 0 < s ≤ 1 . Then, a continuous function h ( X , Y , s ) : = ( 1 − s ) X + s Y where h : ℝ 2 n + 1 → ℝ n is called a link function which maps the orbits of first system keeping the same qualitative dynamics to the orbits of second system.

Using the definition (2.1), we develop a new system which inherits the qualitative features of the system (2.1) and has the following form

Y n + 1 = g ( ( 1 − s ) X n + s Y n ) (2.2)

and it is called response system. Now, for the following non-linear discrete-time dynamical system, we are going to develop a theorem which helps us to find the synchronization threshold. We consider the following drive-response system:

{ X n + 1 = g ( X n ) , Y n + 1 = g ( ( 1 − s ) X n + s Y n ) . (2.3)

where X n , Y n ∈ ℝ n are the state vectors of drive system (2.1) and response system (2.2) respectively, g is a mapping from ℝ n to itself and a constant 0 < s ≤ 1 . The Jacobian matrix for drive-response system (2.3) has the following form:

J : = [ ∂ g ( X ) ∂ X 0 ∂ g ( h ) ∂ X ∂ g ( h ) ∂ Y ] (2.4)

Definition 2.2. We say that the drive system (2.1) and response system (2.2) are in complete synchronization if

l i m n → ∞ ‖ Y n − X n ‖ = 0 (2.5)

Here, we imply to a general definition in synchronization theory which is crucial for proposed coupling method.

Definition 2.3. Let E be a Banach space. Then, the map g : E → E is called a contraction mapping if there exists a constant 0 ≤ α < 1 such that for every pair of points X , Y ∈ E , we have ‖ g ( X ) − g ( Y ) ‖ ≤ α ‖ X − Y ‖ , where α is called a contraction constant of g on E [

Now, we have the following result for drive-response system (2.3).

Proposition 2.4. For drive-response system (2.3) if g is a contraction function, then the solutions eventually evolve identically in time and

l i m n → ∞ ‖ e ( n + 1 ) ‖ = 0

where e ( n + 1 ) = ‖ Y n + 1 − X n + 1 ‖ is the error between the solutions of the system (2.3).

Proof. For drive-response system (2.3), we have:

e ( n + 1 ) = Y n + 1 − X n + 1 = g ( ( 1 − s ) X n + s Y n ) − g (Xn)

We can easily see that for 0 < s ≤ 1 :

‖ ( ( 1 − s ) X n + s Y n ) − X n ‖ ≤ s ‖ Y n − X n ‖

for 0 ≤ α < 1 and since g is a contraction mapping, we can write:

‖ e ( n + 1 ) ‖ = ‖ g ( ( 1 − s ) X n + s Y n ) − g ( X n ) ‖ ≤ α ‖ Y n − X n ‖ = α ‖ e ( n ) ‖

That is to say

‖ e ( n + 1 ) ‖ ≤ α ‖ e ( n ) ‖

It is obvious that

lim n → ∞ ‖ e ( n ) ‖ = lim n → ∞ ‖ Y n − X n ‖ = 0

Therefore;

l i m n → ∞ ‖ e ( n + 1 ) ‖ = 0

To obtain our rigorous results for complete synchronization, we need to find the normal form for drive-response system (2.3), we need to perform a few linear coordinate transformations that will put (2.3) into a form which is easier to work with [

F : = { X ¯ n + 1 = g ( X ¯ n + X * ) − X * ≡ G ( X ¯ n ) , Y ¯ n + 1 = g ( ( 1 − s ) ( X ¯ n + X * ) + s ( Y ¯ n + Y * ) ) − Y * ≡ G ( X ¯ n , Y ¯ n ) . (2.6)

The Jacobian matrix for drive-response system (2.6) has the following form:

J ˜ : = [ ∂ G ( X ¯ ) ∂ X ¯ 0 ∂ G ( X ¯ , Y ¯ ) ∂ X ¯ ∂ G ( X ¯ , Y ¯ ) ∂ Y ¯ ] (2.7)

Then, we split off the linear part of the system (2.6) and write

[ X ¯ Y ¯ ] = [ ∂ G ( X ¯ ) ∂ X ¯ 0 ∂ G ( X ¯ , Y ¯ ) ∂ X ¯ ∂ G ( X ¯ , Y ¯ ) ∂ Y ¯ ] [ X ¯ Y ¯ ] + [ G ˜ ( X ¯ ) G ˜ ( X ¯ , Y ¯ ) ] = [ ∂ G ( X ¯ ) ∂ X ¯ X ¯ + G ˜ ( X ¯ ) ∂ G ( X ¯ , Y ¯ ) ∂ X ¯ X ¯ + ∂ G ( X ¯ , Y ¯ ) ∂ Y ¯ Y ¯ + G ˜ ( X ¯ , Y ¯ ) ] (2.8)

where

[ G ˜ ( X ¯ ) G ˜ ( X ¯ , Y ¯ ) ] = [ G ( X ¯ ) G ( X ¯ , Y ¯ ) ] − [ ∂ G ( X ¯ ) ∂ X ¯ 0 ∂ G ( X ¯ , Y ¯ ) ∂ X ¯ ∂ G ( X ¯ , Y ¯ ) ∂ Y ¯ ] [ X ¯ Y ¯ ] (2.9)

Let Q be the matrix that transforms the matrix J ˜ into (real) Jordan canonical form which has the following form

Q = [ ∂ G ( X ¯ , Y ¯ ) ∂ Y ¯ − ∂ G ( X ¯ ) ∂ X ¯ 0 ∂ G ( X ¯ , Y ¯ ) ∂ X ¯ 1 ] , Q − 1 = [ 1 ∂ G ( X ¯ , Y ¯ ) ∂ Y ¯ − ∂ G ( X ¯ ) ∂ X ¯ 0 ∂ G ( X ¯ , Y ¯ ) ∂ X ¯ ∂ G ( X ¯ ) ∂ X ¯ − ∂ G ( X ¯ , Y ¯ ) ∂ Y ¯ 1 ]

Then, under the transformation

[ X ¯ Y ¯ ] = [ ∂ G ( X ¯ , Y ¯ ) ∂ Y ¯ − ∂ G ( X ¯ ) ∂ X ¯ 0 ∂ G ( X ¯ , Y ¯ ) ∂ X ¯ 1 ] [ U V ] (2.10)

(2.8) becomes

[ U V ] = J ^ [ U V ] + Q − 1 [ G ˜ ( U ) G ˜ ( U , V ) ] (2.11)

where J ^ = Q − 1 J ˜ Q . We remark that the transformation (2.10) has simplified the linear part of (2.8) as much as possible. One can continue the task of simplifying the nonlinear part. However, for our purpose, we only need to focus on the linear part of the system. The schematic representation of the procedure of complete synchronization in a general discrete-time drive-response dynamical system has been demonstrated in

Hartman (1960) and Grobman (1959) proved that the orbit structure near a hyperbolic fixed point has the same qualitative structure of associated linearized system [

systems behave similar to their linearization part around the fixed point. However, this theorem needs the linearization part without eigenvalues with real part zero for continuous-time system and for discrete-time systems, it needs the absolute value of the eigenvalues of linearized part not become one.

Remark 1. Because of the nature of the contraction mapping theorem and therefore the proposed coupling method, the Hartman-Grobman theorem can be applied directly into our problem.

Lemma 2.5. Using Hartman-Grobman theorem, to find the condition under which the drive-response system (2.11) achieves complete synchronization, we only need to look at the linear part of (2.11) which is

L ( U , V ) ≡ Q − 1 J ˜ Q (2.12)

Theorem 2.6. Given Jacobian matrix J ^ = Q − 1 J ˜ Q , for which the following inequality holds:

‖ J ^ ‖ : = ρ J ^ = max | λ i | ≤ α < 1 (2.13)

where α is the contraction constant, ρ J ^ is the spectral radius of J ^ and λ i for i = 1, ⋯ , n are the eigenvalues of Jacobian matrix J ^ . Then, the mapping G is a contraction and the drive-response system (2.11) satisfies the complete synchronization properties, i.e.

lim n → ∞ ‖ e ( n + 1 ) ‖ = lim n → ∞ ‖ Y ¯ n + 1 − X ¯ n + 1 ‖ = 0

Proof. Using the contraction mapping theorem [

In dynamical system point of view, it is possible for a point arbitrarily close to fixed point Z * = ( U * , V * ) of system (2.11) to generate an orbit which stays arbitrarily close to Z * . An orbit which could circle around the equilibrium Z * staying within the proposed bounded region, for initial conditions sufficiently close to Z * , could eventually approach Z * . In this case, Z * and all invariant set of points which demonstrating the same attractive property called attractor. Using this statement, we define an attractor of drive-response system (2.11):

Definition 2.7. Let Λ ⊂ ℝ n such that Λ is invariant under the function G; i.e., G ( Λ ) ⊆ Λ . We define the distance between Λ and a point Z, as d ( Λ , Z ) = min z ∈ Λ ‖ Z − z ‖ . If there exists an ϵ > 0 such that d ( Λ , Z ) < ϵ implies l i m l → ∞ d ( Λ , G l ( Z ) ) = 0 , then Λ is called an attractor for drive-response system (2.11).

For a stable fixed point, it is of special interest to determine the set of initial conditions whose subsequent orbits end up at this fixed point and we call this set as the basin of attraction of stable fixed point which achieves by the following definition:

Definition 2.8. Given G : ℝ 2 n + 1 → ℝ 2 n a continuously differentiable map, then, the compact and invariant set Γ is called the attracting set of drive-response system (2.11) if there exists an open neighborhood B of Γ such that G ( B ) ⊂ B and ∩ l = 0 ∞ G l ( B ) = Γ . The largest such B is called the basin of attraction for system.

Stable Threshold for Synchronization in Discrete-Time Dynamical SystemsWe continue this section by defining a new concept in synchronization theory of discrete-time dynamical systems. The concept of stability in this study is similar to the one that we have in contraction mapping theorem which is different from the relative stability of equilibrium point and some nominal motion. We say that a system is stable if the final state of the system is independent on initial conditions and we call a system is attracting if the orbits of that system get pulled in or converge towards each other [

Definition 2.9. A variable response system to the dynamical system X ¯ 0 , X ¯ 1 , ⋯ , X ¯ n , with the map Φ : D ⊆ ℝ n → D ⊆ ℝ n with respect to the sequence s = ( s 0 , s 1 , ⋯ , s n ) where 0 < s i ≤ 1 is the sequence Y ˜ 0 = ( Y ¯ 1 , ⋯ , Y ¯ n ) , ⋯ , Y ˜ n + 1 = Φ ( C o n t X ¯ n s n ( Y ¯ n ) ) where the map C o n t u s : ℝ n → ℝ n can be represented via C o n t u s ( v ) = ( 1 − s ) u → + s v → .

Definition 2.10. The threshold for the coupled dynamical system with drive system X ¯ 0 , X ¯ 1 , ⋯ , X ¯ n , with the map Φ : D ⊆ ℝ n → D ⊆ ℝ n is s if given any s ˜ < s and any Y ¯ 0 , there exists a sequence s = ( s 0 , s 1 , ⋯ , s n ) with 0 < s i ≤ 1 and s i = s ˜ for i ≫ 0 such that

l i m n → ∞ ‖ Y ¯ n − X ¯ n ‖ = 0 (2.14)

Using the definitions (2.9) and (2.10), we state the main results of this section.

Theorem 2.11. Consider a linear discrete-time dynamical system (drive-response system) as following form:

X n + 1 = A X n . (2.15)

Y n + 1 = A ( ( 1 − s ) X n + s Y n ) . (2.16)

where matrix A is similar to a diagonal matrix. For the values s < s ˜ 1 = 1 ρ ( A ) where s ˜ 1 represents the synchronization threshold, we have

l i m n → ∞ ‖ Y n − X n ‖ = 0

and passing this threshold decreases the stability of synchronization and consequently, the drive-response system (2.15) and (2.16) lose the complete synchronization properties.

Proof. Considering the drive system (2.15) and (2.16), we have

‖ Y n + 1 − X n + 1 ‖ ≤ s A ‖ Y n − X n ‖ . (2.17)

To have a complete synchronization, at first we need to clarify the concept of the norm of a matrix. To find the behavior of the sequence of { A } , we need to look at the modulus of the largest eigenvalue of A. But, for the initial value X 0 = 0 ¯ , we have X 0 = X 1 = X 2 = ⋯ = X n = 0 ¯ . So, (2.16) can be written as Y n + 1 = A ( s Y n ) . Thus, for ℝ n to be the direct sum of ℝ n = V λ 1 ⊕ V λ 2 ⊕ ⋯ ⊕ V λ n where λ i are the eigenvalues of the matrix A, we have Y n + 1 = s A Y n . For the sequences Y 1 , Y 2 , ⋯ , Y n , we have:

Y 1 = s A Y 0 Y 2 = s A Y 1 = s A ( s A ) Y 0 = ( s A ) 2 Y 0 ⋮ Y n = ( s A ) n Y 0

we need to find minimal k where Y 0 ∈ V λ i 1 ⊕ V λ i 2 ⊕ ⋯ V λ i k . So, for Y 0 = ∑ j = 1 k v j and for all v j ∈ V λ i j , we have Y n = ∑ j = 1 k ( s λ i j ) n v j . So, for A v i = λ i j v i , we can write, l i m n → ∞ Y n = 0 if and only if l i m n → ∞ ( s λ i j ) n v j = 0 which gives us | s λ i j | < 1

if and only if s ≤ 1 | λ i j | . If Y 0 is generic, we get s ≤ 1 | λ | for all λ which gives s < 1 ρ ( A ) , where, ρ ( A ) is the spectral radius of A and can be written as

ρ ( A ( n ) ) = m a x | λ i | . Therefore, the threshold for (2.15) and (2.16) to be completely

synchronized is s < 1 ρ ( A ) = s ˜ 1 . When we pass this threshold, two systems (2.15) and (2.16) cannot be completely synchronized anymore.

Now, for the non-linear discrete-time dynamical system, we are going to develop a theorem which helps us to find the synchronization threshold.

Theorem 2.12. Given the non-linear coupled dynamical system (2.3), where the map g : D ⊆ ℝ n → D ⊆ ℝ n , for the values s < s ˜ 2 = 1 ρ A + α , we get

l i m n → ∞ ‖ Y n − X n ‖ = 0

means that passing the synchronization threshold s ˜ 2 makes the drive-response system (2.3) lose the complete synchronization properties.

Proof. Suppose the following C r maps which have a fixed point at the origin:

X n + 1 = A X n + F ^ ( X n ) , (2.18)

Y n + 1 = A ( ( 1 − s ) X n + s Y n ) + F ^ ( ( 1 − s ) X n + s Y n ) , (2.19)

and the F ^ ( X n ) = F ^ 2 ( X n ) + ⋯ + F ^ r − 1 ( X n ) + O ( | ( X n ) | r ) which including the vector-valued homogeneous polynomials of degree 2 , ⋯ , r . Consider the following equation for the error:

e ( n + 1 ) = Y n + 1 − X n + 1 = ( 1 − s ) A X n + s A Y n − A X n + F ^ ( ( 1 − s ) X n + s Y n ) − F ^ ( X n ) = s A ( Y n − X n ) + F ^ ( ( 1 − s ) X n + s Y n ) − F ^ (Xn)

By triangular inequality we can write:

‖ e ( n + 1 ) ‖ = ‖ s A ( Y n − X n ) + F ^ ( ( 1 − s ) X n + s Y n ) − F ^ ( X n ) ‖ ≤ s ρ A ‖ Y n − X n ‖ + s α ‖ Y n − X n ‖ = s ρ A ‖ e ( n ) ‖ + s α ‖ e ( n ) ‖

where, ρ A is the spectral radius of A which is equal to ρ A = m a x | λ i | where λ is the root of characteristic polynomial or eigenvalue for A and 0 ≤ α < 1 and 0 < s i ≤ 1 (to find the behavior of the sequence of { A } , we need to look at the modulus of the largest eigenvalue of A). So,

‖ e ( n + 1 ) ‖ ≤ s ρ A ‖ e ( n ) ‖ + s α ‖ e ( n ) ‖

We know that

lim n → ∞ ‖ e ( n ) ‖ = lim n → ∞ ‖ Y n − X n ‖ = 0

Therefore,

‖ e ( n + 1 ) ‖ ≤ s ( ρ A + α ) ‖ e ( n ) ‖

Thus, for s ( ρ A + α ) < 1 we have

l i m n → ∞ ‖ Y n − X n ‖ = 0

for which, s < 1 ρ A + α = s ˜ 2 . Here, s ˜ 2 = β , which we discussed in the beginning

of this section. After passing s ˜ 2 , we lose the complete synchronization in system (2.3).

Lemma 2.13. If drive system (2.15) becomes periodic. Then, for the values s < ( 1 ρ A + α ) 1 k : = s ˜ 3 , where s ˜ 3 implies to the synchronization threshold, the

non-linear coupled dynamical system (2.3) becomes completely synchronized. In other word,

l i m n → ∞ ‖ Y n − X n ‖ = 0

Generalized Nicholson Bailey (GNB) model is a generalization of the work presented by Beddington, Free and Lawton in 1975 [

H ( n + 1 ) = H ( n ) e r ( 1 − H ( n ) k ) − a P ( n ) , P ( n + 1 ) = H ( n ) ( 1 − e − a P ( n ) ) (3.1)

where H ( n ) presents the host population after being attacked by the parasitoid and P ( n ) implies to the parasitoids population before they die because of biological reasons like shortage of food and or some other natural biological reasons at the end of the season n. k is the carrying capacity and shows maximum population size that can be supported by availability of all the potentially limiting resources. It is usually limited by the intensity of light and space. The fractions of hosts not parasitized is e x p ( − a P ( n ) ) where a is called the searching efficiency which is the probability that a given parasitoid confronts a host whole of the lifetime.

Here, we focus on the above model including a new parameter b which has the following form

H ( n + 1 ) = H ( n ) e r ( 1 − H ( n ) k ) − b P ( n ) , P ( n + 1 ) = H ( n ) ( 1 − e − a P ( n ) ) (3.2)

Without loss of generality, we assume b = r and follow the same model assumptions as Asheghi in 2014 [

H ( n + 1 ) = H ( n ) e r ( 1 − H ( n ) k ) − r P ( n ) , P ( n + 1 ) = H ( n ) ( 1 − e − a P ( n ) ) (3.3)

The local dynamics of system (3.3), have been studied by different authors numerically and analytically [

x ( n + 1 ) = x ( n ) e r ( 1 − x ( n ) k ) − r y ( n ) , y ( n + 1 ) = x ( n ) ( 1 − e − a y ( n ) ) (3.4)

Now, we apply this coupling method on the system (3.4). Consider the following drive-response system:

x 1 ( n + 1 ) = x 1 ( n ) e r ( 1 − x 1 ( n ) k ) − r y 1 ( n ) (3.5)

y 1 ( n + 1 ) = x 1 ( n ) ( 1 − e − a y 1 ( n ) ) (3.6)

x 2 ( n + 1 ) = p e r ( 1 − p k ) − r q (3.7)

y 2 ( n + 1 ) = p ( 1 − e − a q ) (3.8)

where

p = ( 1 − s ) x 1 ( n ) + s x 2 ( n ) (3.9)

q = ( 1 − s ) y 1 ( n ) + s y 2 ( n ) (3.10)

Here, p : ℝ 2 → ℝ and q : ℝ 2 → ℝ are two continuous functions. So, if we consider the drive system G 1 ( x 1 , y 1 ) : ℝ 2 → ℝ 2 , the synchronized system would be G 2 ( p , q ) : ℝ 4 → ℝ 2 , where p = ( x 1 , x 2 ) and q = ( y 1 , y 2 ) . The local stability results for the drive system (3.5) - (3.6) and (3.7) - (3.8) are the same. To investigate the qualitative dynamics of the solutions of system (3.5) - (3.8), we use several dynamical systems tools.

Synchronized Cycles in GNB Model without ParasitoidHere, we show that in system (3.4), when the parasitoid populations go extinct (because of severe intraspecific competition or due to external factors), the dynamics of (3.4) inherits all different behaviors of Ricker curves from stable fixed point to cascade of period doubling bifurcations and then chaos [

x 1 ( n + 1 ) = x 1 ( n ) e r ( 1 − x 1 ( n ) k ) (3.11)

x 2 ( n + 1 ) = p e r ( 1 − p k ) (3.12)

where

p = ( 1 − s ) x 1 ( n ) + s x 2 ( n ) (3.13)

Here, p : ℝ 2 → ℝ is a continuous function. So, if we consider the drive system R 1 ( x 1 ) : ℝ → ℝ , the synchronized system would be R 2 ( p ) : ℝ 2 → ℝ , where p is a function of x 1 and x 2 .

We have demonstrated the time-series corresponding to the solution of the drive-response system (3.11) - (3.12) in

Also, we performed a one co-dimensional bifurcation analysis for system (3.11) - (3.12) with respect to growth rate r in

investigate the stability or chaotic behavior of system (3.11) - (3.12). As we know, the negative Lyapunov Exponent implies to stable behavior and when it is positive, we expect to see chaotic behavior.

In chaotic systems, it seems to not being possible to reproduce exactly the same initial conditions and parameters and force the orbits converge. However, in this section, we will numerically show that by using a sufficiently strong coupling method, we can change the track of the orbits to converge. Therefore, there exists a possible way to get a complete synchronization in chaotic systems whereas they have been coupled by a suitable coupling method.

In this section, we demonstrate some numerical simulation to describe the qualitative behavior of drive-response system (3.5) - (3.8). The orbits of the system (3.5) - (3.8) in chaotic regime can be considered as chaotic oscillations. Now we want to study the evolution of the dynamic variables x 1 , x 2 corresponding to the host population of drive system and response system, and y 1 , y 2 which are corresponding to the parasitoid population of drive system and response system respectively. All analysis and numerical simulations which have been conducted in this section, are expected to reveal the type of attractor from equilibrium point, periodic and quasi-periodic orbits, and chaotic attractors for which the dynamics will eventually settle down and remain forever.

In

In

In

However, when we compare

As it can be easily seen in

r and when ( y 1 , y 2 ) = ( 0,0 ) (without parasitoid), is similar to classical bifurcation diagram of Ricker model where the routes to chaos happen through the cascade of period-doubling bifurcations and crisis corresponding to the extinction of parasitoid for drive and response system. However, for smaller values of growth rate r, the host and parasitoid in both systems can coexist through the periodic and quasi-periodic cycles of the Neimark-Sacker bifurcation of interior steady states. We also can easily observe that the sudden changes of attractors (crisis) happen frequently when we increase the parameter values of r.

In this paper, we developed a drive-response system by defining a convex continuous link function which maps the orbits of the drive system into the orbits of its coupled system and keeps the same qualitative dynamics. We found an appropriate normal form for drive-response system and we obtained the conditions under which the solutions of drive and response system become completely synchronized. We provided a new concept in chaos synchronization, called, synchronization threshold, which means that the solutions of drive and response system diverge from each other and lose the complete synchronization properties when they pass the threshold. Also, we studied a coupled discrete-time two-dimensional host-parasitoid model which is a generalization of famous Nicholson-Bailey model. One of our objectives in this paper was to investigate the rich dynamics of drive-response system (3.5) - (3.8) around its equilibrium points and achieving the chaos synchronization. We developed a new drive-response system by defining a convex continuous link function which maps the orbits of the drive system keeping the same qualitative properties such as stability and periodicity into the orbits of its coupled system. We observed that this coupling method can be successful for drive-response system (3.5) - (3.8) to get a complete synchronization when the synchronization constant has smaller values, closer to zero. Moreover, numerical verification is performed to show the existence of wide range of dynamics of drive-response system (3.5) - (3.8) around the positive equilibrium point. We also changed the values of synchronization constant s in its range between (0, 1) and we observed that the response system (3.7) - (3.8) for smaller values of synchronization constant s is completely synchronized with its original drive system (3.5) - (3.6) and when we increased the values of synchronization constant s, we noticed that the qualitative behaviors of both systems remain the same, however, we do not get a complete synchronization between the solutions of drive and response system (3.5) - (3.8). In chaotic regime, for larger values of synchronization constant s, closer to one, we could not get a complete synchronization. But, for smaller synchronization constant s, closer to zero, we have shown that two systems are in complete synchronization when the dynamic is chaotic.

This work was supported by the Institute of Computational Comparative Medicine (ICCM) and Department of Mathematics of Kansas State University. With a special thanks to Dr. Majid Jaberi-Douraki for his full support.

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

Azizi, T. and Kerr, G. (2020) Synchronized Cycles of Generalized Nicholson-Bailey Model. American Journal of Computational Mathematics, 10, 147-166. https://doi.org/10.4236/ajcm.2020.101009

We have demonstrated different types of attractors of drive-response system (3.5) - (3.8) in Figures A1-A4 when we are changing the threshold s.