Published: 18 May 2023

On attractors in systems of ordinary differential equations arising in models of genetic networks

Olga Kozlovska1
Felix Sadyrbaev2
1Department of Engineering Mathematics, Riga Technical University, Riga, Latvia
2Institute of Mathematics and Computer Science, University of Latvia, Riga, Latvia
Corresponding Author:
Olga Kozlovska
Views 55
Reads 27
Downloads 184

Abstract

Two three-dimensional systems are considered, which have solutions with irregular behavior, tending to attractors. The comparison and comparative analysis are made

1. Introduction

We study systems of ordinary differential equations, arising in applications. The following system:

1
x'1=11+e-μ1w11x1+w12x2++w1nxn-θ1-v1x1,x'n=11+e-μnwn1x1+wn2x2++wnnxn-θn.-vnxn,

first appeared in the study of neuronal networks [1]. It was applied later by several authors to treat genetic regulatory networks [2], [3] and telecommunication networks [4]. In this note, we focus on genetic networks. System Eq. (1) models the evolution of a genetic regulatory network (GRN). The interrelation between elements of a network is described by the regulatory matrix W=wij. A variable xit stands for the expression of protein by an i-th gene. The main question is the future state of a network. The current state is described by the vector Xt=x1t,,xnt. Future states are represented by trajectories Xt. The system has attracting sets in a phase space, which heavily influence the behavior of trajectories and other important properties of a network. The system Eq. (1) has at least one critical point (equilibrium) since nullclines intersect in the invariant parallelepiped Qn=0<xi<1/vi,i=1,,n. The vector field, defined by system Eq. (1), is directed inward on the border of Qn. Therefore, an attractor for trajectories of the system Eq. (1) must exist. Stable equilibria can appear in the system Eq. (1), but their number is finite. Stable equilibria are simple attractors. There are systems with a critical point, which is not attractive [5]. A stable periodic solution appears instead. Limit cycles can emerge from stable focuses as a result of Andronov – Hopf bifurcation. Attractors were constructed in systems with dimensions higher than three [6], [7]. These attractors are not solutions themselves, but they attract periodic solutions of a system. System (1) can exhibit chaotic behavior, which is not easy to detect. We would like to recall the example, which was obtained first in [8], then modified and analyzed in [9], [10]. In what follows, we recall this example and consider another one. Both examples are to be compared and supplied with related images.

2. Three-dimensional systems. First example

Consider system Eq. (1) for n= 3 (three-dimensional system), x1t=xt, x2t=yt, x3t=zt. We use the simplified notation x,y,z now, to avoid indices:

2
x'=11+e-μ1w11x+w12y+w13z-θ1-v1x,y'=11+e-μ2w21x+w22y+w23z-θ2-v2yz'=11+e-μ3w31x+w32y+w33z-θ3-v3z.,

Recall the modification [9] of the example, first obtained in [8]. Let the parameters be: v1=0.65, v2=0.42, v3=0.1; μ1=7, μ2=7, μ3=13;θ1=0.5, θ2=0.3, θ3=0.7. The coefficients wij are elements of the regulatory matrix:

3
W=01-5.64100.110.020.

The nullclines of a system Eq. (2) are depicted in Fig. 1 together with some trajectories, tending to an attractor. The mutual disposition of nullclines and an attractor can be checked visually. The irregular behavior of solutions is shown in Fig. 2.

Fig. 1The nullclines of the system Eq. (2). The trajectory tending to an attractor (blue)

The nullclines of the system Eq. (2). The trajectory tending to an attractor (blue)

Fig. 2Solutions of system Eq. (2), with the initial conditions x1=0.9; y1=0.7; z1=0.11

Solutions of system Eq. (2), with the initial conditions x1=0.9; y1=0.7; z1=0.11

Fig. 3LE1= 0.011; LE2 = –0.008; LE3 = –1.173

LE1= 0.011; LE2 = –0.008; LE3 = –1.173

There is one critical points: (0.3768; 1.5870; 0.2212). Linearization around this point yields the characteristic numbers λ: λ1=-1.2709; λ2,3=0.0504±0.7378i.

Lyapunov exponents of the system Eq. (2) (calculations made by the program lce.m by M. Sandri [11]).

The sum of two first Lyapunov numbers is positive. This is the evidence of chaotic behavior of solutions.

3. Three-dimensional systems. Second example

Consider system Eq. (1) for n= 3 (three-dimensional system), x1t=xt, x2t=yt, x3t=zt:

4
x'=11+e-μ1w11x+w12y+w13z-θ1-v1x,y'=11+e-μ2w21x+w22y+w23z-θ2-v2yz'=11+e-μ3w31x+w32y+w33z-θ3-v3z,,

with the following parameters: v1=1, v2=1, v3=0.32; μ1=2.38, μ2=5.095, μ3=1.66; θ1=1.574, θ2=0.5362, θ3=1.5255. The coefficients wij are elements of the regulatory matrix:

5
W=21.480.372-0.852200.030501.1.

The nullclines of the system Eq. (4) are depicted in Fig. 4 together with a trajectory. There are three critical points at (0.1126; 0.1260; 0.7926); (0.9709; 0.0010; 2.9674); (0.1862; 0.2274; 0.6596). Linearization around these points provides us with the characteristic numbers λ.

Table 1Characteristic numbers

Critical point
λ1
λ2
λ3
(0.1126; 0.1260; 0.7926)
0.0249594
–0.20054+0.25042i
–0.20054-0.25042i
(0.9709; 0.0010; 2.9674)
–0.986657
–0.868851
–0.23245
(0.1862; 0.2274; 0.6596)
–0.020568
0.25795+0.348554i
0.25795-0.348554i

Fig. 4The nullclines of the system Eq. (4). The trajectory of system Eq. (4) forming the attractor.

The nullclines of the system Eq. (4). The trajectory of system Eq. (4) forming the attractor.

Fig. 5Solutions of system Eq. (4), with the initial conditions x0=0.1; y0=0.7; z0=0

Solutions of system Eq. (4), with the initial conditions x0=0.1; y0=0.7; z0=0

The first and the third points possess characteristics of opposite nature. Both are saddle-focus points, the first point having stable focus, while repelling in the third dimension. The third point has unstable focus, but it is attractive in the remaining dimension. The second point is relatively far away of these two ones.

Three components of a solution with the initial conditions x0=0.1; y0=0.7; z0=0 are depicted in Fig. 5.

The dynamics of Lyapunov exponents is shown in Fig. 6.

The sum of the two first Lyapunov numbers is positive, and this is an indication of the chaotic behavior of solutions.

Fig. 6. LE1= 0.014; LE2= –0.004; LE3= –0.197

4. Conclusions

In addition to the previously known attractor in a system of the form Eq. (2), another example of an attractor with chaotic behavior of solutions is obtained. The mechanisms of the appearance of the attractor in both examples are different. In the first example, the attractor exists in a vicinity of a single critical point, with an unstable two-dimensional manifold and a stable one-dimensional one.

The motion of trajectories in the second example: a trajectory enters the area of the equilibrium point ((0.1126; 0.1260; 0.7926), unstable in a one-dimensional manifold and stable in a two-dimensional manifold), trajectories leave this point and approach the critical point ((0.1862; 0.2274; 0.6596) stable in a one-dimensional manifold, unstable in a two-dimensional manifold). The movement of trajectories continues around the same point (0.1862; 0.2274; 0.6596).

To the best of the author’s knowledge, these are the only three-dimensional examples of chaotic behavior of solutions in systems of the form Eq. (1).

References

  • H. R. Wilson and J. D. Cowan, “Excitatory and inhibitory interactions in localized populations of model neurons,” Biophysical Journal, Vol. 12, No. 1, pp. 1–24, Jan. 1972, https://doi.org/10.1016/s0006-3495(72)86068-5
  • H. de Jong, “Modeling and simulation of genetic regulatory systems: a literature review,” Journal of Computational Biology, Vol. 9, No. 1, pp. 67–103, Jan. 2002, https://doi.org/10.1089/10665270252833208
  • C. Furusawa and K. Kaneko, “A generic mechanism for adaptive growth rate regulation,” PLoS Computational Biology, Vol. 4, No. 1, p. e3, Jan. 2008, https://doi.org/10.1371/journal.pcbi.0040003
  • Y. Koizumi, T. Miyamura, S.I. Arakawa, E. Oki, K. Shiomoto, and M. Murata, “Adaptive virtual network topology control based on attractor selection,” Journal of Lightwave Technology, Vol. 28, No. 11, pp. 1720–1731, Jun. 2010, https://doi.org/10.1109/jlt.2010.2048412
  • O. Kozlovska and F. Sadyrbaev, “Models of genetic networks with given properties,” WSEAS Transactions on Computer Research, Vol. 10, pp. 43–49, 2022.
  • I. Samuilik and F. Sadyrbaev, “On trajectories of a system modeling evolution of genetic networks,” Mathematical Biosciences and Engineering, Vol. 20, No. 2, pp. 2232–2242, 2022, https://doi.org/10.3934/mbe.2023104
  • I. Samuilik and F. Sadyrbaev, “Genetic engineering – construction of a network of arbitrary dimension with periodic attractor,” Vibroengineering PROCEDIA, Vol. 46, pp. 67–72, Nov. 2022, https://doi.org/10.21595/vp.2022.22992
  • A. Das, A. B. Roy, and P. Das, “Chaos in a three dimensional neural network,” Applied Mathematical Modelling, Vol. 24, No. 7, pp. 511–522, Jun. 2000, https://doi.org/10.1016/s0307-904x(99)00046-3
  • A. Das, P. Das, and A. B. Roy, “Chaos in a three-dimensional general model of neural network,” International Journal of Bifurcation and Chaos, Vol. 12, No. 10, pp. 2271–2281, Oct. 2002, https://doi.org/10.1142/s0218127402005820
  • S. Mukherjee, S. K. Palit, and D. K. Bhattacharya, “Is one dimensional Poincaré map sufficient to describe the chaotic dynamics of a three dimensional system?,” Applied Mathematics and Computation, Vol. 219, No. 23, pp. 11056–11064, Aug. 2013, https://doi.org/10.1016/j.amc.2013.04.043
  • M. Sandri, “Numerical calculation of Lyapunov exponents,” The Mathematica Journal, Vol. 6, No. 3, pp. 78–84, 1996.

Cited by

A New 3D Chaotic Attractor in Gene Regulatory Network
Olga Kozlovska | Felix Sadyrbaev | Inna Samuilik
(2023)

About this article

Received
23 April 2023
Accepted
11 May 2023
Published
18 May 2023
SUBJECTS
Chaos, nonlinear dynamics and applications
Keywords
attractor
nullclines
three-dimensional system
Acknowledgements

The authors have not disclosed any funding.

Data Availability

The datasets generated during and/or analyzed during the current study are available from the corresponding author on reasonable request.

Conflict of interest

The authors declare that they have no conflict of interest.