Volume 2012, Issue 1 357382
Research Article
Open Access

Stability and Bifurcation Analysis of a Three-Dimensional Recurrent Neural Network with Time Delay

Yingguo Li

Corresponding Author

Yingguo Li

School of Mathematics and Computer Science, Fujian Normal University, Fuzhou 350007, China fjtu.edu.cn

Search for more papers by this author
First published: 18 January 2012
Citations: 2
Academic Editor: Shiping Lu

Abstract

We consider the nonlinear dynamical behavior of a three-dimensional recurrent neural network with time delay. By choosing the time delay as a bifurcation parameter, we prove that Hopf bifurcation occurs when the delay passes through a sequence of critical values. Applying the nor- mal form method and center manifold theory, we obtain some local bifurcation results and derive formulas for determining the bifurcation direction and the stability of the bifurcated periodic solution. Some numerical examples are also presented to verify the theoretical analysis.

1. Introduction

Starting with the work of Hopfield [1] on neural networks, recurrent neural networks including Hopfield neural networks, Cohen-Grossberg neural networks, and cellular neural networks have been used extensively in different areas such as signal processing, pattern recognition, optimization, and associative memories. Many researchers studied the dynamical behavior of Recurrent neural network systems, and most of papers are devoted to the stability of equilibrium, existence and stability of periodic solutions, bifurcation, and chaos [25]. In [5], Ruiz et al. considered a particular configuration of a recurrent neural network, illustrated in Figure 1. In Figure 1, u(t) is the input and y(t) is the output of the network. This recurrent neural network can be described by the following system:
()
Here, x(t) ∈ Rn is the state, wiR, i = 1, …, n − 1 are the network parameters or weights, u(t) is a smooth input, and y(t) is the output. The transfer function of the neurons is taken as f(·) = tanh(·). A three-node network of the form (1.1) in feedback configuration, with u(t) = y(t), has been studied in [5]; that is,
()
Ruiz et al. found and analyzed the Hopf bifurcation behavior in system (1.2). In [4], Maleki et al. considered system (1.1) with a transfer function , where α2i−1 > 0 for i odd and α2i−1 < 0 for i even. The authors analyzed the Bogdanov-Takens bifurcation in the system.
Details are in the caption following the image
Class of recurrent neural networks.

It is well known that there exist time delays in the information processing of neurons. The delayed axonal signal transmissions in the neural network models make the dynamical behaviors become more complicated and may destabilize the stable equilibria and admit periodic oscillation, bifurcation, and chaos. Therefore, the delay is an important control parameter in living nervous system: different ranges of delays correspond to different patterns of neural activities (see, e.g., [611]).

In the present paper, we consider the following three-dimensional recurrent neural network model with time delay
()
By choosing the time delay as a bifurcation parameter, we prove that Hopf bifurcation occurs in the neuron and study the properties of periodic solutions of this model.

The organization of this paper is as follows. In Section 2, by analyzing the characteristic equation of the linearized system of system (1.3) at the equilibrium, we discuss the stability of the equilibrium and the existence of the Hopf bifurcation occurring at the equilibrium. In Section 3, the formulae determining the direction of the Hopf bifurcations and the stability of bifurcating periodic solutions on the center manifold are obtained by using the normal form theory and the center manifold theorem due to Hassard et al. [12]. We do some computer observations to validate our theoretical results in Section 4.

2. Stability and Existence of Hopf Bifurcation

For most of the models in the literature, including the ones in [5, 7, 8], the activation function f is f(u) = tanh(cu). However, we only make the following assumption on function f:
  • (H)

    fC3(R),   f(0) = 0,   and  f(0) ≠ 0.

Clearly, (x1, x2, x3) T = (0,0, 0) T is equilibrium of system (1.3). Linearization of (1.3) at the zero equilibrium yields
()
whose characteristic equation is
()
that is,
()
The zero equilibrium is stable if all roots of (2.3) have negative real parts and unstable if at least one root has positive real part. Therefore, in order to study the local stability of the zero equilibrium of system (2.3), we need to investigate the distribution of the roots of (2.3).
When τ = 0, characteristic equation (2.3) yields
()
Let y = λ + 1, (2.4) reduces to
()
Denote
()
From Cardano formula for the third-degree algebra equation, we have the following lemma.

Lemma 2.1. (1) If Δ > 0, then (2.5) has a real root α + β and a pair of conjugate complex roots . Furthermore, the roots of (2.4) are given by λ1 = −1 + α + β and .

(2) If Δ = 0, then (2.5) has a simple root 2α and a multiple root −α with the multiplicity of 2. Furthermore, the roots of (2.4) are given by λ1 = −1 + 2α and λ2,3 = −1 − α. Meanwhile, if w1 = w2 = 0, that is, α = 0, then (2.4) has a multiple root −1 with the multiplicity of 3.

(3) If Δ < 0, then (2.5) has three real roots 2 Re{α}, 2 Re{αε}, and . Furthermore, the roots of (2.4) are given by λ1 = −1 + 2 Re{α}, λ2 = −1 + 2 Re{αε}, and .

Applying Lemma 2.1, we have the following lemma.

Lemma 2.2. All roots of (2.4) have negative real parts if one of the following holds.

(1)   Δ > 0 and −2 < α + β < 1.

(2)   Δ = 0 and −1 < α < 1/2.

(3)   Δ < 0 and .

Let z = (λ + 1)eλτ, then (2.3) becomes
()
We notice that (2.7) and (2.5) have the same coefficients.
Denote the three roots of (2.7) by zn = Rn + iIn  (n = 1,2, 3). Hence, (2.3) is equivalent to
()
Clearly, iω  (ω > 0) is a root of (2.3) if and only if ω satisfies
()
which implies that
()
This yields
()
Obviously, we have the following lemma.

Lemma 2.3. Equation (2.11) is meaningless when . If (2.7) has a root, denoted by zj, satisfying |zn | > 1, then (2.11) has a positive root given by

()

Summarizing the discussion above, we have the following.

Lemma 2.4. If Δ ≥ 0, then (2.11) has at most two positive roots. If Δ < 0, then (2.11) has at most three positive roots.

Without loss of generality, one assumes that (2.11) has three positive roots ωn  (n = 1,2, 3).

Define
()
Then, ±iωn is a pair of purely imaginary roots of (2.3) with .
Let λ(τ) = σ(τ) + iω(τ) be the root of (2.3) near satisfying
()
We have the following.

Lemma 2.5. One has

()

Proof. Differentiating both sides of (2.8) with respect to τ, we have

()
Note that , therefore
()
We have
()
This completes the proof.

For convenience, we let , such that
()
where
()
and is defined in (2.13).

Applying Lemmas 2.12.5 and Corollary 2.4 of Ruan and Wei [13], we have the following results.

Lemma 2.6. All roots of (2.3) have negative real parts if one of the following holds:

  • (H1) Δ > 0, −1 < α + β < 1 and (1/4)(α+β)2 + (3/4)(αβ)2 < 1,

  • (H2) Δ = 0 and −1 < α < 1/2,

  • (H3) Δ < 0 and .

Lemma 2.7. Suppose that one of the following hypothesis is satisfied:

  • (H4) Δ > 0, −2 < α + β < −1,

  • (H5) Δ > 0, −1 < α + β < 1 and (1/4)(α+β)2 + (3/4)(αβ)2 > 1.

Then, there exists a sequence values of τ defined by (2.19) such that all roots of (2.3) have negative real parts for all τ ∈ [0, τ0), and (2.3) has at least one root with positive real part when τ > τ0, and (2.3) exactly has a pair of purely imaginary roots ±iωn  (n = 1,2, 3) when , where ωn and are defined by (2.12) and (2.13), respectively.

From Lemmas 2.52.7 and the Hopf bifurcation theorem for functional differential equations in [14], we have the theorem.

Theorem 2.8. (1) If one of the hypothesis (H1), (H2), (H3) is satisfied, then the zero solution of system (1.3) is asymptotically stable for all τ ≥ 0.

(2) If (H4) or (H5) is satisfied, then the zero solution of system (1.3) is asymptotically stable for τ ∈ [0, τ0) and unstable for τ > τ0, and system (1.3) undergoes a Hopf bifurcation at the origin when τ = τj  (j = 0,1, 2,3, …).

3. Direction of Hopf Bifurcations and Stability of the Bifurcating Periodic Orbits

In this section, we will study the direction of the Hopf bifurcation and stability of bifurcating periodic solutions by using the normal theory and the center manifold theorem due to Hassard et al. [12].

Let u1(t) = x1(τt), u2(t) = x2(τt), u3(t) = x3(τt), then system (1.3) becomes functional differential equation in 𝒞 = 𝒞([−1,0], 3) as
()
where
()
Setting τ = ν + τj, we know that ν = 0 is Hopf bifurcation value of system (3.1).
For , let
()
By the Riesz representation theorem, there exists a function η(θ, ν) of bounded variation for θ ∈ [−1,0], such that
()
In fact, we can choose
()
where δ denotes the Dirac delta function. For ϕ𝒞([−1,0], 3), define
()
where
()
Then system (3.1) is equivalent to
()
where , ut = u(t + θ) for θ ∈ [−1,0].
For ψ𝒞1([0,1], (3) *), define
()
and a bilinear inner product
()
where η(θ) = η(θ, 0). Then, A(0) and A* are adjoint operators. By the discussion in Section 2, we know that ±iω0τj are eigenvalues of A(0) and A* corresponding to iω0τj and −iω0τj, respectively.
Suppose is the eigenvectors of A(0) corresponding to iω0τj, then A(0)q(θ) = iω0τjq(θ). Then from the definition of A(0) and (3.3)–(3.5), we have
()
For , then we obtain
()
Similarly, we can obtain the eigenvector of A* corresponding to −iω0τj, where
()
In order to assure 〈q*(s), q(θ)〉 = 1, we need to determine the value of D. By (3.10), we have
()
Therefore, we can choose D as
()
Following the algorithms given in [12] and using similar computation process in [7], we can get that the coefficients which will be used to determine the important quantities:
()
where
()
moreover E1, E2 satisfy the following equations, respectively,
()
Therefore, all gij in (3.16) can be expressed in terms of parameters. And we can compute the following values:
()
which determine the qualities of bifurcating periodic solution in the center manifold at the critical values τj, that is, μ2 determines the directions of the Hopf bifurcation: if μ2 > 0(μ2 < 0), then the Hopf bifurcation is supercritical (subcritical) and the bifurcating periodic solutions exist for τ > τj(τ < τj); β2 determines the stability of the bifurcating periodic solutions: the bifurcating periodic solutions are stable (unstable) if β2 < 0(β2 > 0); T2 determines the period of the bifurcating periodic solutions: the period increases (decreases) if T2 > 0(T2 < 0).

4. Computer Simulation

In this section, we will confirm our theoretical analysis by numerical simulation. We give an example of system (3.1) with w1 = 1,   w2 = −1, and f(·) = tanh(·). Then, f(0) = 0 and f(0) = 1.

Equation (1.3) becomes
()
From (2.6), we have Δ = 0.2870,   α = 1.0118,   β = −0.3295. By Lemma 2.1, we know (2.7) has roots z1 = α + β = 0.6823 and . Clearly, |z1 | = 0.6823 < 1, |z2,3 | = 1.4655 > 1. From (2.12), it follows that , and, from (2.13), we get τ0 = 1.8434. Thus, the zero equilibrium is asymptotically stable when τ ∈ [0, τ0) as is illustrated by the computer simulations (see Figures 2(a)2(d)). When τ passes through the critical value τ0, zero equilibrium loses its stability and a Hopf bifurcation occurs, that is, a family of periodic solutions bifurcates from the origins (0,0, 0), which are depicted in Figures 3(a)3(d).
Details are in the caption following the image
When τ = 1.7 < τ0 = 1.8434, the zero equilibrium is asymptotically stable. Here initial value is (1, 1, 1).
Details are in the caption following the image
When τ = 1.7 < τ0 = 1.8434, the zero equilibrium is asymptotically stable. Here initial value is (1, 1, 1).
Details are in the caption following the image
When τ = 1.7 < τ0 = 1.8434, the zero equilibrium is asymptotically stable. Here initial value is (1, 1, 1).
Details are in the caption following the image
When τ = 1.7 < τ0 = 1.8434, the zero equilibrium is asymptotically stable. Here initial value is (1, 1, 1).
Details are in the caption following the image
When τ = 1.9 > τ0 = 1.8434, a periodic orbit bifurcates from the zero equilibrium. Here, initial value is (1, 1, 1).
Details are in the caption following the image
When τ = 1.9 > τ0 = 1.8434, a periodic orbit bifurcates from the zero equilibrium. Here, initial value is (1, 1, 1).
Details are in the caption following the image
When τ = 1.9 > τ0 = 1.8434, a periodic orbit bifurcates from the zero equilibrium. Here, initial value is (1, 1, 1).
Details are in the caption following the image
When τ = 1.9 > τ0 = 1.8434, a periodic orbit bifurcates from the zero equilibrium. Here, initial value is (1, 1, 1).

Acknowledgment

The author is very grateful to the referees for their valuable suggestions, which help to improve the paper significantly.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.