# Exponentially Fitted Two-Derivative Runge-Kutta Methods for Simulation of Oscillatory Genetic Regulatory Systems

Authors: Zhaoxia Chen; Juan Li; Ruqiang Zhang; Xiong You
Journal: Computational and Mathematical Methods in Medicine
 (2015)

---

## Abstract

Oscillation is one of the most important phenomena in the chemical reaction systems in
living cells. The general purpose simulation algorithms fail to take into account this special
character and produce unsatisfying results. In order to enhance the accuracy of the integrator,
the second-order derivative is incorporated in the scheme. The oscillatory feature of the solution
is captured by the integrators with an exponential fitting property. Three practical exponentially
fitted TDRK (EFTDRK) methods are derived. To test the effectiveness of the new EFTDRK
methods, the two-gene system with cross-regulation and the circadian oscillation of the period
protein inDrosophila are simulated. Each EFTDRK method has the best fitting frequency
which minimizes the global error. The numerical results show that the new EFTDRK methods
are more accurate and more efficient than their prototype TDRK methods or RK methods of
the same order and the traditional exponentially fitted RK method in the literature.


---

## Body

## 1. Introduction

The qualitative analysis and quantitative simulation of gene expression and regulation play an important role in understanding the dynamics of complex processes in cells. Ordinary differential equations (ODEs) have proved to be one of the powerful tools for modeling the complex dynamics of genetic regulation in cells, where the cellular concentrations of mRNAs, proteins, and other molecules are assumed to vary continuously in time (see, e.g., de Jong [1], Widder et al. [2], Polynikis et al. [3], Altinok et al. [4], and Gérard and Goldbeter [5] and the references therein).Due to the nonlinearity of the ODE models, the closed form of solution is usually not acquirable. Therefore, in order to reveal the dynamics of such gene regulatory systems, one usually resorts to numerical simulation. Up till now, differential equations of gene regulatory systems are mostly simulated by Runge-Kutta (RK) methods, especially by the classical fourth-order Runge-Kutta method, or by the Runge-Kutta-Fehlberg adaptive method (see Butcher [6, 7] and Hairer et al. [8]).As is often observed in experiments, in a variety of cell processes, genes exhibit an oscillatory behavior. Among examples are sustained oscillations associated with circadian clocks, enzyme synthesis, or the cell cycle (see Goldbeter [9] and Jolley et al. [10]). Unfortunately, when applied to these oscillatory systems, the general purpose RK method often fails to produce satisfactorily efficient numerical results since it did not take into account the special structure of the true solution. There are mainly two deficiencies of the classical RK methods: (i) they cannot produce as accurate numerical results as required even if they have a very high algebraic order and (ii) the true dynamical behavior of the system cannot be preserved as expected in long-term integration.Recently, some authors have proposed to adapt traditional integrators to problems whose solutions are oscillatory or periodic (see Bettis [11], Gautschi [12], Martín and Ferándiz [13], and Raptis and Simos [14]). Bettis [15] constructed a three-stage method and a four-stage method which can solve the equation y
′
=
i
ω
y
(
i
2
=
-
1
) exactly. Very recently You [16] developed a new family of phase-fitted and amplification fitted methods of RK type which have been proved very effective for genetic regulatory systems with a limit-cycle structure. You et al. [17] considered a splitting approach for the numerical simulation of genetic regulatory networks with a stable steady state structure. The numerical results of the simulation of a one-gene network, a two-gene network, and a p53-mdm2 network showed that the new splitting methods constructed in this paper are remarkably more effective and more suitable for long-term computation with large steps than the traditional general purpose Runge-Kutta methods.Motivated by the work of Chan and Tsai [18] and Fang et al. [19] on the two-derivative Runge-Kutta methods (TDRK), the objective of this paper is to develop a novel type of exponentially fitted two-derivative Runge-Kutta (EFTDRK) methods for simulating genetic regulatory systems with an oscillatory structure. These new numerical integrators respect the limit cycle structure of the system and are expected to be more accurate than the traditional RK methods in the long-term integration of gene regulatory systems. In Section 2 we present the main models: one is for gene systems with cross regulations and the other is for the circadian oscillation of the period protein inDrosophila. In Section 3, three EFTDRK methods of algebraic order six are constructed. In Section 4 the new EFTDRK methods are applied to the simulation of the two genetic regulatory systems given in Section 2 and their efficiency is compared with that of a sixth-order traditional RK and a sixth-order TDRK method and three exponentially fitted RK methods. Section 5 is devoted to some conclusive remarks and discussions. The mathematical theory of order conditions and the evaluation of best fitting frequencies for EFTDRK methods are presented in the Appendix.


## 2. Models

### 2.1. Cross-Regulation Systems

AnN-gene regulatory system can be modeled by a system of ordinary differential equations,(1)
m
˙
i
=
-
γ
i
m
i
t
+
R
i
p
1
t
,
…
,
p
N
t
,
p
˙
i
=
-
μ
i
p
i
t
+
T
i
m
i
t
,
i
=
1
,
…
,
N
,or in matrix form,(2)
m
˙
t
=
R
p
t
-
Γ
m
t
,
p
˙
t
=
T
m
t
-
M
p
t
,where m
(
t
)
=
(
m
1
(
t
)
,
…
,
m
N
(
t
)
)
T and p
(
t
)
=
(
p
1
(
t
)
,
…
,
p
N
(
t
)
)
T are N-dimensional vectors which represent the concentrations of mRNAs and proteins at time t, respectively, a dot “·” over a variable represents time derivative, R
(
p
(
t
)
)
=
(
R
1
(
p
(
t
)
)
,
…
,
R
N
(
p
(
t
)
)
)
T, T
(
m
(
t
)
)
=
(
T
1
(
m
1
(
t
)
)
,
…
,
T
N
(
m
N
(
t
)
)
)
T, Γ
=
diag
⁡
(
γ
1
,
…
,
γ
N
), and M
=
diag
⁡
(
μ
1
,
…
,
μ
N
) are diagonal matrices. For i
=
1
,
…
,
N, m
i is the concentration of mRNA R
i produced by gene G
i, p
i is the concentration of protein P
i produced by R
i, γ
i is the degradation rate of R
i, and μ
i is the degradation rate of P
i. Function T
i
(
m
i
) is the translation function. Function R
i
(
p
(
t
)
) is the regulation function, typically defined as sums of functions of p
1
,
…
,
p
N. If ∂
R
i
/
∂
p
j
>
0, protein P
j is anactivator of gene G
i. If ∂
R
i
/
∂
p
j
<
0, protein P
j is aninhibitor of gene G
i. If protein P
j has no effect on gene G
i, p
j does not appear in R
i. Usually, T
(
m
(
t
)
)
=
(
κ
1
m
1
(
t
)
,
…
,
κ
N
m
N
(
t
)
)
T
=
diag
⁡
(
κ
1
,
…
,
κ
N
)
m
(
t
)
.In particular, we will be concerned with the following two-gene system:(3)
m
˙
1
=
λ
1
H
+
p
2
;
θ
2
,
n
2
-
γ
1
m
1
,
m
˙
2
=
λ
2
H
-
p
1
;
θ
1
,
n
1
-
γ
2
m
2
,
p
˙
1
=
κ
1
m
1
-
μ
1
p
1
,
p
˙
2
=
κ
2
m
2
-
μ
2
p
2
,where m
1 and m
2 are the concentrations of R
1 and R
2, respectively, p
1 and p
2 are the concentrations of the corresponding P
1 and P
2, respectively, λ
1 and λ
2 are the maximal transcription rates of gene 1 and gene 2, respectively, γ
1 and γ
2 are the degradation rates of R
1 and R
2, respectively, μ
1 and μ
2 are the degradation rates of P
1 and P
2, respectively,(4)
H
+
p
2
;
θ
2
,
n
2
=
p
2
n
2
p
2
n
2
+
θ
2
n
2
,
H
-
p
1
;
θ
1
,
n
1
=
θ
1
n
1
p
1
n
1
+
θ
1
n
1are theHill functions for activation and inhibition, respectively, n
1 and n
2 are theHill coefficients, and θ
1 and θ
2 are the thresholds.


### 2.2. Circadian Rhythms

Another model we are interested in is for circadian oscillations in the period protein (PER) inDrosophila. A crucial mechanism for oscillations in the model is the negative feedback exerted by nuclear PER on the production ofper mRNA. This negative feedback will be described by a Hill type equation, where the Hill coefficient n represents the degree of cooperativity, and K
I represents the threshold inhibition constant. It is assumed thatper mRNA is synthesized in the nucleus and immediately transfers to the cytosol, where it accumulates at a maximum rate v
s; there it is degraded enzymatically, in a Michaelian manner, at a maximum rate v
m. The rate of synthesis of PER is characterized by an apparent first-order rate constant k
s. PER experiences a series of phosphorylations (Edery et al. [20]). For simplicity, it is assumed that there are three states of the protein: unphosphorylated, monophosphorylated, and bisphosphorylated. Goldbeter [21] formulated the five-variable system of equations as follows:(5)
d
M
d
t
=
v
s
K
I
n
K
I
n
+
P
N
n
-
v
m
M
K
m
1
+
M
,
d
P
0
d
t
=
k
s
M
-
V
1
P
0
K
1
+
P
0
+
V
2
P
1
K
2
+
P
1
,
d
P
1
d
t
=
V
1
P
0
K
1
+
P
0
-
V
2
P
1
K
2
+
P
1
-
V
3
P
1
K
3
+
P
1
+
V
4
P
2
K
4
+
P
2
,
d
P
2
d
t
=
V
3
P
1
K
3
+
P
1
-
V
4
P
2
K
4
+
P
2
-
k
1
P
2
+
k
2
P
N
-
v
d
P
2
K
d
+
P
2
,
d
P
N
d
t
=
k
1
P
2
-
k
2
P
N
,where the dependent variables M, P
0, P
1, P
2, and P
N are the concentrations of cytosolicper mRNA, unphosphorylated PER, monophosphorylated PER, bisphosphorylated PER, and nuclear PER, respectively, V
i and K
i
(
i
=
1
,
…
,
4
) denote the maximum rate and Michaelis constant of the kinase(s) and phosphatase(s) involved in the reversible phosphorylation of P
0 into P
1 and of P
1 into P
2, respectively.


## 2.1. Cross-Regulation Systems

AnN-gene regulatory system can be modeled by a system of ordinary differential equations,(1)
m
˙
i
=
-
γ
i
m
i
t
+
R
i
p
1
t
,
…
,
p
N
t
,
p
˙
i
=
-
μ
i
p
i
t
+
T
i
m
i
t
,
i
=
1
,
…
,
N
,or in matrix form,(2)
m
˙
t
=
R
p
t
-
Γ
m
t
,
p
˙
t
=
T
m
t
-
M
p
t
,where m
(
t
)
=
(
m
1
(
t
)
,
…
,
m
N
(
t
)
)
T and p
(
t
)
=
(
p
1
(
t
)
,
…
,
p
N
(
t
)
)
T are N-dimensional vectors which represent the concentrations of mRNAs and proteins at time t, respectively, a dot “·” over a variable represents time derivative, R
(
p
(
t
)
)
=
(
R
1
(
p
(
t
)
)
,
…
,
R
N
(
p
(
t
)
)
)
T, T
(
m
(
t
)
)
=
(
T
1
(
m
1
(
t
)
)
,
…
,
T
N
(
m
N
(
t
)
)
)
T, Γ
=
diag
⁡
(
γ
1
,
…
,
γ
N
), and M
=
diag
⁡
(
μ
1
,
…
,
μ
N
) are diagonal matrices. For i
=
1
,
…
,
N, m
i is the concentration of mRNA R
i produced by gene G
i, p
i is the concentration of protein P
i produced by R
i, γ
i is the degradation rate of R
i, and μ
i is the degradation rate of P
i. Function T
i
(
m
i
) is the translation function. Function R
i
(
p
(
t
)
) is the regulation function, typically defined as sums of functions of p
1
,
…
,
p
N. If ∂
R
i
/
∂
p
j
>
0, protein P
j is anactivator of gene G
i. If ∂
R
i
/
∂
p
j
<
0, protein P
j is aninhibitor of gene G
i. If protein P
j has no effect on gene G
i, p
j does not appear in R
i. Usually, T
(
m
(
t
)
)
=
(
κ
1
m
1
(
t
)
,
…
,
κ
N
m
N
(
t
)
)
T
=
diag
⁡
(
κ
1
,
…
,
κ
N
)
m
(
t
)
.In particular, we will be concerned with the following two-gene system:(3)
m
˙
1
=
λ
1
H
+
p
2
;
θ
2
,
n
2
-
γ
1
m
1
,
m
˙
2
=
λ
2
H
-
p
1
;
θ
1
,
n
1
-
γ
2
m
2
,
p
˙
1
=
κ
1
m
1
-
μ
1
p
1
,
p
˙
2
=
κ
2
m
2
-
μ
2
p
2
,where m
1 and m
2 are the concentrations of R
1 and R
2, respectively, p
1 and p
2 are the concentrations of the corresponding P
1 and P
2, respectively, λ
1 and λ
2 are the maximal transcription rates of gene 1 and gene 2, respectively, γ
1 and γ
2 are the degradation rates of R
1 and R
2, respectively, μ
1 and μ
2 are the degradation rates of P
1 and P
2, respectively,(4)
H
+
p
2
;
θ
2
,
n
2
=
p
2
n
2
p
2
n
2
+
θ
2
n
2
,
H
-
p
1
;
θ
1
,
n
1
=
θ
1
n
1
p
1
n
1
+
θ
1
n
1are theHill functions for activation and inhibition, respectively, n
1 and n
2 are theHill coefficients, and θ
1 and θ
2 are the thresholds.


## 2.2. Circadian Rhythms

Another model we are interested in is for circadian oscillations in the period protein (PER) inDrosophila. A crucial mechanism for oscillations in the model is the negative feedback exerted by nuclear PER on the production ofper mRNA. This negative feedback will be described by a Hill type equation, where the Hill coefficient n represents the degree of cooperativity, and K
I represents the threshold inhibition constant. It is assumed thatper mRNA is synthesized in the nucleus and immediately transfers to the cytosol, where it accumulates at a maximum rate v
s; there it is degraded enzymatically, in a Michaelian manner, at a maximum rate v
m. The rate of synthesis of PER is characterized by an apparent first-order rate constant k
s. PER experiences a series of phosphorylations (Edery et al. [20]). For simplicity, it is assumed that there are three states of the protein: unphosphorylated, monophosphorylated, and bisphosphorylated. Goldbeter [21] formulated the five-variable system of equations as follows:(5)
d
M
d
t
=
v
s
K
I
n
K
I
n
+
P
N
n
-
v
m
M
K
m
1
+
M
,
d
P
0
d
t
=
k
s
M
-
V
1
P
0
K
1
+
P
0
+
V
2
P
1
K
2
+
P
1
,
d
P
1
d
t
=
V
1
P
0
K
1
+
P
0
-
V
2
P
1
K
2
+
P
1
-
V
3
P
1
K
3
+
P
1
+
V
4
P
2
K
4
+
P
2
,
d
P
2
d
t
=
V
3
P
1
K
3
+
P
1
-
V
4
P
2
K
4
+
P
2
-
k
1
P
2
+
k
2
P
N
-
v
d
P
2
K
d
+
P
2
,
d
P
N
d
t
=
k
1
P
2
-
k
2
P
N
,where the dependent variables M, P
0, P
1, P
2, and P
N are the concentrations of cytosolicper mRNA, unphosphorylated PER, monophosphorylated PER, bisphosphorylated PER, and nuclear PER, respectively, V
i and K
i
(
i
=
1
,
…
,
4
) denote the maximum rate and Michaelis constant of the kinase(s) and phosphatase(s) involved in the reversible phosphorylation of P
0 into P
1 and of P
1 into P
2, respectively.


## 3. Methods

### 3.1. Modified Two-Derivative Runge-Kutta Methods

We begin by considering the general initial value problem (IVP) of ordinary differential equations(6)
y
˙
=
f
y
,
y
0
=
y
0
,where y
:
[
0
,
+
∞
)
→
R
d, “y
˙” represents the first derivative of y with respect to time, and f
:
R
d
→
R
d is a sufficiently smooth function. Based on experimental observation of oscillatory behavior in genetic regulatory systems, it is reasonable to make the following assumptions on system (6):(i)
System (6) has a steady state y
∗; that is, f
(
y
∗
)
=
0.
(ii)
System (6) has oscillatory solution near y
∗; that is, the Jacobian J
=
f
′
(
y
∗
) has at least a pair of complex eigenvalues with nonzero imaginary part.A special form oftwo-derivative Runge-Kutta (TDRK) method reads(7)
Y
i
=
y
n
+
c
i
h
f
y
n
+
h
2
∑
j
=
1
s
a
i
j
g
Y
j
,
i
=
1
,
…
,
s
,
y
n
+
1
=
y
n
+
h
f
y
n
+
h
2
∑
i
=
1
s
b
i
g
Y
i
,where a
i
j, b
i, c
i, i
,
j
=
1
,
…
,
s are real numbers and g
(
y
)
≔
f
′
(
y
)
f
(
y
)
. The order conditions for TDRK methods can be found in Chan and Tsai [18].In applications, for some choice of the parameter values, system (2) has oscillatory solutions. This motivates us to consider themodified two-derivative Runge-Kutta (TDRK) methods
(8)
Y
i
=
y
n
+
c
i
h
f
y
n
+
h
2
∑
j
=
1
s
a
i
j
g
Y
j
,
i
=
1
,
…
,
s
,
y
n
+
1
=
η
ν
y
n
+
h
β
ν
f
y
n
+
h
2
∑
i
=
1
s
b
i
ν
g
Y
i
,where a
i
j, i
,
j
=
1
,
…
,
s are constants and the coefficients η
(
ν
), β
(
ν
), b
i
(
ν
), i
=
1
,
…
,
s are the functions of ν
=
h
ω with h being the step size and ω being the principal frequency of the problem. We assume that η
(
0
)
=
β
(
0
)
=
1 so that as ω
→
0
(
ν
→
0
) the modified TDRK method (8) reduces to a traditional special TDRK method called thelimit method or theprototype method of (8).In Kronecker’s notation, scheme (8) can be written compactly as(9)
Y
=
e
⊗
y
n
+
h
c
⊗
f
y
n
+
h
2
A
⊗
I
d
g
Y
,
y
n
+
1
=
η
ν
y
n
+
h
β
ν
f
y
n
+
h
2
b
ν
T
⊗
I
d
g
Y
,where(10)
e
=
1,1
,
…
,
1
T
,
Y
=
Y
1
T
,
Y
2
T
,
…
,
Y
s
T
T
,
g
Y
=
g
Y
1
T
,
…
,
g
Y
s
T
T
,
c
=
c
1
,
…
,
c
s
Tand I
d is d
×
d identity matrix. The TDRK method (7) can be briefly expressed by the following Butcher tableau of coefficients:(11)
e
c
A
η
ν
β
ν
b
T
=
1
c
1
a
11
…
a
1
s
⋮
⋮
⋮
⋮
⋮
1
c
s
a
s
1
…
a
s
s
η
ν
β
ν
b
1
…
b
s
.The order conditions for modified TDRK methods will be derivative via the theory of biordered trees in Appendix. For purpose of construction of practical methods, we list the sixth-order conditions as follows:(12)
η
ν
=
1
+
O
ν
7
,
β
ν
=
1
+
O
ν
6
,
b
T
ν
e
=
1
2
+
O
ν
5
,
b
T
ν
c
=
1
6
+
O
ν
4
,
b
T
ν
c
2
=
1
12
+
O
ν
3
,
b
T
ν
A
e
=
1
24
+
O
ν
3
,
b
T
ν
c
3
=
1
20
+
O
ν
2
,
b
T
ν
c
·
A
e
=
1
40
+
O
ν
2
,
b
T
ν
A
c
=
1
120
+
O
ν
2
,
b
T
ν
c
4
=
1
30
+
O
ν
,
b
T
ν
c
2
·
A
e
=
1
60
+
O
ν
,
b
T
ν
c
·
A
c
=
1
90
+
O
ν
,
b
T
ν
A
e
·
A
e
=
1
120
+
O
ν
,
b
T
ν
A
c
2
=
1
360
+
O
ν
,
b
T
ν
A
2
e
=
1
720
+
O
ν
,where c
2
=
(
0
,
c
2
2
,
…
,
c
s
2
),  c
3
=
(
0
,
c
2
3
,
…
,
c
s
3
), c
4
=
(
0
,
c
2
4
,
…
,
c
s
4
), and a dot “·” between two vectors indicates a pairwise multiplication. If we assume that(13)
A
e
=
1
2
c
2
,
that  is,
∑
j
=
1
i
-
1
a
i
j
=
1
2
c
i
2
,
i
=
2
,
…
,
s
, then conditions (12) become(14)
η
ν
=
1
+
O
ν
7
,
β
ν
=
1
+
O
ν
6
,
b
T
ν
e
=
1
2
+
O
ν
5
,
b
T
ν
c
=
1
6
+
O
ν
4
,
b
T
ν
c
2
=
1
12
+
O
ν
3
,
b
T
ν
c
3
=
1
20
+
O
ν
2
,
b
T
ν
A
c
=
1
120
+
O
ν
2
,
b
T
ν
c
4
=
1
30
+
O
ν
,
b
T
ν
c
·
A
c
=
1
180
+
O
ν
,
b
T
ν
A
c
2
=
1
360
+
O
ν
.


### 3.2. Exponentially Fitted Two-Derivative Runge-Kutta Methods

With the modified TDRK method (8) we associate a linear operator L on C
2
[
0
,
∞
), the linear space of functions on [
0
,
∞
) with continuous second derivatives, defined by(15)
L
y
t
=
y
t
+
h
-
η
ν
y
t
-
h
β
ν
y
˙
t
-
h
2
∑
i
=
1
s
b
i
ν
y
¨
t
+
c
i
h
.Definition 1.
The modified TDRK method (8) is said to beexponentially fitted if the linear operator L satisfies (16)
L
y
t
≡
0for the function y
(
t
) in the reference set (17)
F
=
t
j
k
exp
⁡
±
λ
k
t
,
j
k
=
0,1
,
…
,
M
k
,
k
=
0,1
,
…
,
N
,where λ
k
,
k
=
0,1
,
…
,
N are real or complex numbers and N
,
M
k are nonnegative integers.In this subsection, we consider four-stage explicit modified TDRK methods given by the following tableau:(18)
1
0
1
1
4
1
32
1
2
3
-
2
81
20
81
1
1
5
4
-
6
5
9
20
η
ν
β
ν
b
1
ν
b
2
ν
b
3
ν
b
4
ν
.The coefficients η
(
ν
), β
(
ν
), b
i
(
ν
), i
=
1,2
,
3,4 will be obtained by the exponential fitting conditions for some specific reference sets.


#### 3.2.1. First EFTDRK Method

We take the reference set(19)
F
a
=
exp
⁡
±
i
ω
t
,
t
exp
⁡
±
i
ω
tand assume that the linear operator L in (15) vanishes for all functions in F
a
. This leads to(20)
b
2
ν
sin
⁡
c
2
ν
+
b
3
ν
sin
⁡
c
3
ν
+
b
4
sin
⁡
c
4
ν
=
ν
β
ν
-
sin
⁡
ν
ν
2
,
b
1
ν
+
b
2
ν
cos
⁡
c
2
ν
+
b
3
ν
cos
⁡
c
3
ν
+
b
4
ν
cos
⁡
c
4
ν
=
η
ν
-
cos
⁡
ν
ν
2
,
ν
2
b
2
ν
c
2
cos
⁡
c
2
ν
+
b
3
ν
c
3
cos
⁡
c
3
ν
+
b
4
ν
c
4
cos
⁡
c
4
ν
+
2
ν
b
2
ν
sin
⁡
c
2
ν
+
b
3
ν
sin
⁡
c
3
ν
+
b
4
ν
sin
⁡
c
4
ν
=
β
ν
-
cos
⁡
ν
,
2
ν
b
1
ν
+
b
2
ν
cos
⁡
c
2
ν
+
b
3
ν
cos
⁡
c
3
ν
+
b
4
ν
cos
⁡
c
4
ν
-
ν
2
b
2
ν
c
2
sin
⁡
c
2
ν
+
b
3
ν
c
3
sin
⁡
c
3
ν
+
b
4
ν
c
4
sin
⁡
c
4
ν
=
sin
⁡
ν
.The third and fourth conditions in (14) for s
=
4 with higher order terms neglected give(21)
b
1
ν
+
b
2
ν
+
b
3
ν
+
b
4
ν
=
1
2
,
b
2
c
2
ν
+
b
3
ν
c
3
+
b
4
ν
c
4
=
1
6
.We can solve system (20)-(21) for η
(
ν
), β
(
ν
), and b
i
(
ν
)
,
i
=
1,2
,
3,4, whose expressions are extremely complicated. For small values of |
ν
|, we have their Taylor series used as follows: (22)
η
ν
=
1
+
23
ν
8
348364800
-
2087
ν
10
222953472000
+
⋯
,
β
ν
=
1
+
ν
6
1209600
+
1637
ν
8
20901888000
-
3444061
ν
10
3973030871040000
+
⋯
,
b
1
ν
=
3
40
+
ν
2
11200
-
4601
ν
4
870912000
-
36863647
ν
6
165542952960000
+
248988432157
ν
8
86770994223513600000
+
⋯
,
b
2
ν
=
64
225
-
ν
2
5250
+
5407
ν
4
816480000
+
52884329
ν
6
155196518400000
-
391939117499
ν
8
81347807084544000000
+
⋯
,
b
3
ν
=
27
200
+
9
ν
2
56000
+
17
ν
4
17920000
-
9073027
ν
6
91968307200000
+
35868256579
ν
8
16068702633984000000
+
⋯
,
b
4
ν
=
1
180
-
ν
2
16800
-
427
ν
4
186624000
-
4822283
ν
6
248314429440000
-
36912938527
ν
8
130156491335270400000
+
⋯
.It is easily verified that these coefficients satisfy all conditions in (14). Therefore the method has algebraic order six and we denote this method as EFTDRK4s6a.


#### 3.2.2. Second EFTDRK Method

We take the reference set(23)
F
b
=
1
,
t
,
t
2
,
t
3
,
exp
⁡
i
ω
t
,
exp
⁡
2
i
ω
tand assume that the linear operator (15) vanishes for all functions in F
b. Then we obtain the expression of η
(
ν
), β
(
ν
), and b
i
(
ν
)
,
i
=
1,2
,
3,4
.For small values of|
ν
|, the following Taylor series should be used: (24)
η
ν
=
1
+
299
ν
8
136080000
-
16561
ν
10
108864000000
+
⋯
,
β
ν
=
1
+
ν
6
189000
+
12749
ν
8
8164800000
+
9829099
ν
10
277136640000000
+
⋯
,
b
1
ν
=
3
40
+
ν
2
4000
-
159449
ν
4
5443200000
-
328547263
ν
6
117573120000000
-
168770118283
ν
8
3386105856000000000
+
⋯
,
b
2
ν
=
64
225
-
ν
2
1875
+
155713
ν
4
5103000000
+
398361581
ν
6
110224800000000
+
1477535874781
ν
8
34919216640000000000
+
⋯
,
b
3
ν
=
27
200
+
9
ν
2
20000
+
2153
ν
4
112000000
+
16429997
ν
6
65318400000000
+
374690334049
ν
8
6897623040000000000
+
⋯
,
b
4
ν
=
1
180
-
ν
2
6000
-
166921
ν
4
8164800000
-
188918627
ν
6
176359680000000
-
2614342153777
ν
8
55870746624000000000
+
⋯
.It is easily verified that these coefficients satisfy all conditions in (14). Therefore the method has algebraic order six and we denote this method as EFTDRK4s6b.


#### 3.2.3. Third EFTDRK Method

We take the reference set(25)
F
c
=
1
,
t
,
t
2
,
t
3
,
t
exp
⁡
2
i
ω
t
,and we assume that the linear operator (15) vanishes for all functions in F
c. Then we obtain the expression of η
(
ν
), β
(
ν
), and b
i
(
ν
)
,
i
=
1,2
,
3,4
. For small values of |
ν
|, the following Taylor series should be used: (26)
η
ν
=
1
+
23
ν
8
1360800
-
2087
ν
10
217728000
+
⋯
,
β
ν
=
1
+
ν
6
18900
+
1637
ν
8
81648000
-
3444061
ν
10
3879912960000
+
⋯
,
b
1
ν
=
3
40
+
ν
2
2800
-
4601
ν
4
54432000
-
36863647
ν
6
2586608640000
+
248988432157
ν
8
338949196185600000
+
⋯
,
b
2
ν
=
64
225
-
2
ν
2
2625
+
5407
ν
4
51030000
+
52884329
ν
6
2424945600000
-
391939117499
ν
8
317764871424000000
+
⋯
,
b
3
ν
=
27
200
+
9
ν
2
14000
+
17
ν
4
1120000
-
9073027
ν
6
1437004800000
+
35868256579
ν
8
62768369664000000
+
⋯
,
b
4
ν
=
1
180
-
ν
2
4200
-
427
ν
4
11664000
-
4822283
ν
6
3879912960000
-
36912938527
ν
8
508423794278400000
+
⋯
.We denote this method as EFTDRK4s6c.It is noted that asν
→
0, the new methods EFTDRK4s6a, EFTDRK4s6b, and EFTDRK4s6c reduce to a traditional TDRK method given by the following tableau:(27)
1
0
1
1
4
1
32
1
2
3
-
2
81
20
81
1
1
5
4
-
6
5
9
20
3
40
64
225
27
200
1
180
.


## 3.1. Modified Two-Derivative Runge-Kutta Methods

We begin by considering the general initial value problem (IVP) of ordinary differential equations(6)
y
˙
=
f
y
,
y
0
=
y
0
,where y
:
[
0
,
+
∞
)
→
R
d, “y
˙” represents the first derivative of y with respect to time, and f
:
R
d
→
R
d is a sufficiently smooth function. Based on experimental observation of oscillatory behavior in genetic regulatory systems, it is reasonable to make the following assumptions on system (6):(i)
System (6) has a steady state y
∗; that is, f
(
y
∗
)
=
0.
(ii)
System (6) has oscillatory solution near y
∗; that is, the Jacobian J
=
f
′
(
y
∗
) has at least a pair of complex eigenvalues with nonzero imaginary part.A special form oftwo-derivative Runge-Kutta (TDRK) method reads(7)
Y
i
=
y
n
+
c
i
h
f
y
n
+
h
2
∑
j
=
1
s
a
i
j
g
Y
j
,
i
=
1
,
…
,
s
,
y
n
+
1
=
y
n
+
h
f
y
n
+
h
2
∑
i
=
1
s
b
i
g
Y
i
,where a
i
j, b
i, c
i, i
,
j
=
1
,
…
,
s are real numbers and g
(
y
)
≔
f
′
(
y
)
f
(
y
)
. The order conditions for TDRK methods can be found in Chan and Tsai [18].In applications, for some choice of the parameter values, system (2) has oscillatory solutions. This motivates us to consider themodified two-derivative Runge-Kutta (TDRK) methods
(8)
Y
i
=
y
n
+
c
i
h
f
y
n
+
h
2
∑
j
=
1
s
a
i
j
g
Y
j
,
i
=
1
,
…
,
s
,
y
n
+
1
=
η
ν
y
n
+
h
β
ν
f
y
n
+
h
2
∑
i
=
1
s
b
i
ν
g
Y
i
,where a
i
j, i
,
j
=
1
,
…
,
s are constants and the coefficients η
(
ν
), β
(
ν
), b
i
(
ν
), i
=
1
,
…
,
s are the functions of ν
=
h
ω with h being the step size and ω being the principal frequency of the problem. We assume that η
(
0
)
=
β
(
0
)
=
1 so that as ω
→
0
(
ν
→
0
) the modified TDRK method (8) reduces to a traditional special TDRK method called thelimit method or theprototype method of (8).In Kronecker’s notation, scheme (8) can be written compactly as(9)
Y
=
e
⊗
y
n
+
h
c
⊗
f
y
n
+
h
2
A
⊗
I
d
g
Y
,
y
n
+
1
=
η
ν
y
n
+
h
β
ν
f
y
n
+
h
2
b
ν
T
⊗
I
d
g
Y
,where(10)
e
=
1,1
,
…
,
1
T
,
Y
=
Y
1
T
,
Y
2
T
,
…
,
Y
s
T
T
,
g
Y
=
g
Y
1
T
,
…
,
g
Y
s
T
T
,
c
=
c
1
,
…
,
c
s
Tand I
d is d
×
d identity matrix. The TDRK method (7) can be briefly expressed by the following Butcher tableau of coefficients:(11)
e
c
A
η
ν
β
ν
b
T
=
1
c
1
a
11
…
a
1
s
⋮
⋮
⋮
⋮
⋮
1
c
s
a
s
1
…
a
s
s
η
ν
β
ν
b
1
…
b
s
.The order conditions for modified TDRK methods will be derivative via the theory of biordered trees in Appendix. For purpose of construction of practical methods, we list the sixth-order conditions as follows:(12)
η
ν
=
1
+
O
ν
7
,
β
ν
=
1
+
O
ν
6
,
b
T
ν
e
=
1
2
+
O
ν
5
,
b
T
ν
c
=
1
6
+
O
ν
4
,
b
T
ν
c
2
=
1
12
+
O
ν
3
,
b
T
ν
A
e
=
1
24
+
O
ν
3
,
b
T
ν
c
3
=
1
20
+
O
ν
2
,
b
T
ν
c
·
A
e
=
1
40
+
O
ν
2
,
b
T
ν
A
c
=
1
120
+
O
ν
2
,
b
T
ν
c
4
=
1
30
+
O
ν
,
b
T
ν
c
2
·
A
e
=
1
60
+
O
ν
,
b
T
ν
c
·
A
c
=
1
90
+
O
ν
,
b
T
ν
A
e
·
A
e
=
1
120
+
O
ν
,
b
T
ν
A
c
2
=
1
360
+
O
ν
,
b
T
ν
A
2
e
=
1
720
+
O
ν
,where c
2
=
(
0
,
c
2
2
,
…
,
c
s
2
),  c
3
=
(
0
,
c
2
3
,
…
,
c
s
3
), c
4
=
(
0
,
c
2
4
,
…
,
c
s
4
), and a dot “·” between two vectors indicates a pairwise multiplication. If we assume that(13)
A
e
=
1
2
c
2
,
that  is,
∑
j
=
1
i
-
1
a
i
j
=
1
2
c
i
2
,
i
=
2
,
…
,
s
, then conditions (12) become(14)
η
ν
=
1
+
O
ν
7
,
β
ν
=
1
+
O
ν
6
,
b
T
ν
e
=
1
2
+
O
ν
5
,
b
T
ν
c
=
1
6
+
O
ν
4
,
b
T
ν
c
2
=
1
12
+
O
ν
3
,
b
T
ν
c
3
=
1
20
+
O
ν
2
,
b
T
ν
A
c
=
1
120
+
O
ν
2
,
b
T
ν
c
4
=
1
30
+
O
ν
,
b
T
ν
c
·
A
c
=
1
180
+
O
ν
,
b
T
ν
A
c
2
=
1
360
+
O
ν
.


## 3.2. Exponentially Fitted Two-Derivative Runge-Kutta Methods

With the modified TDRK method (8) we associate a linear operator L on C
2
[
0
,
∞
), the linear space of functions on [
0
,
∞
) with continuous second derivatives, defined by(15)
L
y
t
=
y
t
+
h
-
η
ν
y
t
-
h
β
ν
y
˙
t
-
h
2
∑
i
=
1
s
b
i
ν
y
¨
t
+
c
i
h
.Definition 1.
The modified TDRK method (8) is said to beexponentially fitted if the linear operator L satisfies (16)
L
y
t
≡
0for the function y
(
t
) in the reference set (17)
F
=
t
j
k
exp
⁡
±
λ
k
t
,
j
k
=
0,1
,
…
,
M
k
,
k
=
0,1
,
…
,
N
,where λ
k
,
k
=
0,1
,
…
,
N are real or complex numbers and N
,
M
k are nonnegative integers.In this subsection, we consider four-stage explicit modified TDRK methods given by the following tableau:(18)
1
0
1
1
4
1
32
1
2
3
-
2
81
20
81
1
1
5
4
-
6
5
9
20
η
ν
β
ν
b
1
ν
b
2
ν
b
3
ν
b
4
ν
.The coefficients η
(
ν
), β
(
ν
), b
i
(
ν
), i
=
1,2
,
3,4 will be obtained by the exponential fitting conditions for some specific reference sets.


### 3.2.1. First EFTDRK Method

We take the reference set(19)
F
a
=
exp
⁡
±
i
ω
t
,
t
exp
⁡
±
i
ω
tand assume that the linear operator L in (15) vanishes for all functions in F
a
. This leads to(20)
b
2
ν
sin
⁡
c
2
ν
+
b
3
ν
sin
⁡
c
3
ν
+
b
4
sin
⁡
c
4
ν
=
ν
β
ν
-
sin
⁡
ν
ν
2
,
b
1
ν
+
b
2
ν
cos
⁡
c
2
ν
+
b
3
ν
cos
⁡
c
3
ν
+
b
4
ν
cos
⁡
c
4
ν
=
η
ν
-
cos
⁡
ν
ν
2
,
ν
2
b
2
ν
c
2
cos
⁡
c
2
ν
+
b
3
ν
c
3
cos
⁡
c
3
ν
+
b
4
ν
c
4
cos
⁡
c
4
ν
+
2
ν
b
2
ν
sin
⁡
c
2
ν
+
b
3
ν
sin
⁡
c
3
ν
+
b
4
ν
sin
⁡
c
4
ν
=
β
ν
-
cos
⁡
ν
,
2
ν
b
1
ν
+
b
2
ν
cos
⁡
c
2
ν
+
b
3
ν
cos
⁡
c
3
ν
+
b
4
ν
cos
⁡
c
4
ν
-
ν
2
b
2
ν
c
2
sin
⁡
c
2
ν
+
b
3
ν
c
3
sin
⁡
c
3
ν
+
b
4
ν
c
4
sin
⁡
c
4
ν
=
sin
⁡
ν
.The third and fourth conditions in (14) for s
=
4 with higher order terms neglected give(21)
b
1
ν
+
b
2
ν
+
b
3
ν
+
b
4
ν
=
1
2
,
b
2
c
2
ν
+
b
3
ν
c
3
+
b
4
ν
c
4
=
1
6
.We can solve system (20)-(21) for η
(
ν
), β
(
ν
), and b
i
(
ν
)
,
i
=
1,2
,
3,4, whose expressions are extremely complicated. For small values of |
ν
|, we have their Taylor series used as follows: (22)
η
ν
=
1
+
23
ν
8
348364800
-
2087
ν
10
222953472000
+
⋯
,
β
ν
=
1
+
ν
6
1209600
+
1637
ν
8
20901888000
-
3444061
ν
10
3973030871040000
+
⋯
,
b
1
ν
=
3
40
+
ν
2
11200
-
4601
ν
4
870912000
-
36863647
ν
6
165542952960000
+
248988432157
ν
8
86770994223513600000
+
⋯
,
b
2
ν
=
64
225
-
ν
2
5250
+
5407
ν
4
816480000
+
52884329
ν
6
155196518400000
-
391939117499
ν
8
81347807084544000000
+
⋯
,
b
3
ν
=
27
200
+
9
ν
2
56000
+
17
ν
4
17920000
-
9073027
ν
6
91968307200000
+
35868256579
ν
8
16068702633984000000
+
⋯
,
b
4
ν
=
1
180
-
ν
2
16800
-
427
ν
4
186624000
-
4822283
ν
6
248314429440000
-
36912938527
ν
8
130156491335270400000
+
⋯
.It is easily verified that these coefficients satisfy all conditions in (14). Therefore the method has algebraic order six and we denote this method as EFTDRK4s6a.


### 3.2.2. Second EFTDRK Method

We take the reference set(23)
F
b
=
1
,
t
,
t
2
,
t
3
,
exp
⁡
i
ω
t
,
exp
⁡
2
i
ω
tand assume that the linear operator (15) vanishes for all functions in F
b. Then we obtain the expression of η
(
ν
), β
(
ν
), and b
i
(
ν
)
,
i
=
1,2
,
3,4
.For small values of|
ν
|, the following Taylor series should be used: (24)
η
ν
=
1
+
299
ν
8
136080000
-
16561
ν
10
108864000000
+
⋯
,
β
ν
=
1
+
ν
6
189000
+
12749
ν
8
8164800000
+
9829099
ν
10
277136640000000
+
⋯
,
b
1
ν
=
3
40
+
ν
2
4000
-
159449
ν
4
5443200000
-
328547263
ν
6
117573120000000
-
168770118283
ν
8
3386105856000000000
+
⋯
,
b
2
ν
=
64
225
-
ν
2
1875
+
155713
ν
4
5103000000
+
398361581
ν
6
110224800000000
+
1477535874781
ν
8
34919216640000000000
+
⋯
,
b
3
ν
=
27
200
+
9
ν
2
20000
+
2153
ν
4
112000000
+
16429997
ν
6
65318400000000
+
374690334049
ν
8
6897623040000000000
+
⋯
,
b
4
ν
=
1
180
-
ν
2
6000
-
166921
ν
4
8164800000
-
188918627
ν
6
176359680000000
-
2614342153777
ν
8
55870746624000000000
+
⋯
.It is easily verified that these coefficients satisfy all conditions in (14). Therefore the method has algebraic order six and we denote this method as EFTDRK4s6b.


### 3.2.3. Third EFTDRK Method

We take the reference set(25)
F
c
=
1
,
t
,
t
2
,
t
3
,
t
exp
⁡
2
i
ω
t
,and we assume that the linear operator (15) vanishes for all functions in F
c. Then we obtain the expression of η
(
ν
), β
(
ν
), and b
i
(
ν
)
,
i
=
1,2
,
3,4
. For small values of |
ν
|, the following Taylor series should be used: (26)
η
ν
=
1
+
23
ν
8
1360800
-
2087
ν
10
217728000
+
⋯
,
β
ν
=
1
+
ν
6
18900
+
1637
ν
8
81648000
-
3444061
ν
10
3879912960000
+
⋯
,
b
1
ν
=
3
40
+
ν
2
2800
-
4601
ν
4
54432000
-
36863647
ν
6
2586608640000
+
248988432157
ν
8
338949196185600000
+
⋯
,
b
2
ν
=
64
225
-
2
ν
2
2625
+
5407
ν
4
51030000
+
52884329
ν
6
2424945600000
-
391939117499
ν
8
317764871424000000
+
⋯
,
b
3
ν
=
27
200
+
9
ν
2
14000
+
17
ν
4
1120000
-
9073027
ν
6
1437004800000
+
35868256579
ν
8
62768369664000000
+
⋯
,
b
4
ν
=
1
180
-
ν
2
4200
-
427
ν
4
11664000
-
4822283
ν
6
3879912960000
-
36912938527
ν
8
508423794278400000
+
⋯
.We denote this method as EFTDRK4s6c.It is noted that asν
→
0, the new methods EFTDRK4s6a, EFTDRK4s6b, and EFTDRK4s6c reduce to a traditional TDRK method given by the following tableau:(27)
1
0
1
1
4
1
32
1
2
3
-
2
81
20
81
1
1
5
4
-
6
5
9
20
3
40
64
225
27
200
1
180
.


## 3.2.1. First EFTDRK Method

We take the reference set(19)
F
a
=
exp
⁡
±
i
ω
t
,
t
exp
⁡
±
i
ω
tand assume that the linear operator L in (15) vanishes for all functions in F
a
. This leads to(20)
b
2
ν
sin
⁡
c
2
ν
+
b
3
ν
sin
⁡
c
3
ν
+
b
4
sin
⁡
c
4
ν
=
ν
β
ν
-
sin
⁡
ν
ν
2
,
b
1
ν
+
b
2
ν
cos
⁡
c
2
ν
+
b
3
ν
cos
⁡
c
3
ν
+
b
4
ν
cos
⁡
c
4
ν
=
η
ν
-
cos
⁡
ν
ν
2
,
ν
2
b
2
ν
c
2
cos
⁡
c
2
ν
+
b
3
ν
c
3
cos
⁡
c
3
ν
+
b
4
ν
c
4
cos
⁡
c
4
ν
+
2
ν
b
2
ν
sin
⁡
c
2
ν
+
b
3
ν
sin
⁡
c
3
ν
+
b
4
ν
sin
⁡
c
4
ν
=
β
ν
-
cos
⁡
ν
,
2
ν
b
1
ν
+
b
2
ν
cos
⁡
c
2
ν
+
b
3
ν
cos
⁡
c
3
ν
+
b
4
ν
cos
⁡
c
4
ν
-
ν
2
b
2
ν
c
2
sin
⁡
c
2
ν
+
b
3
ν
c
3
sin
⁡
c
3
ν
+
b
4
ν
c
4
sin
⁡
c
4
ν
=
sin
⁡
ν
.The third and fourth conditions in (14) for s
=
4 with higher order terms neglected give(21)
b
1
ν
+
b
2
ν
+
b
3
ν
+
b
4
ν
=
1
2
,
b
2
c
2
ν
+
b
3
ν
c
3
+
b
4
ν
c
4
=
1
6
.We can solve system (20)-(21) for η
(
ν
), β
(
ν
), and b
i
(
ν
)
,
i
=
1,2
,
3,4, whose expressions are extremely complicated. For small values of |
ν
|, we have their Taylor series used as follows: (22)
η
ν
=
1
+
23
ν
8
348364800
-
2087
ν
10
222953472000
+
⋯
,
β
ν
=
1
+
ν
6
1209600
+
1637
ν
8
20901888000
-
3444061
ν
10
3973030871040000
+
⋯
,
b
1
ν
=
3
40
+
ν
2
11200
-
4601
ν
4
870912000
-
36863647
ν
6
165542952960000
+
248988432157
ν
8
86770994223513600000
+
⋯
,
b
2
ν
=
64
225
-
ν
2
5250
+
5407
ν
4
816480000
+
52884329
ν
6
155196518400000
-
391939117499
ν
8
81347807084544000000
+
⋯
,
b
3
ν
=
27
200
+
9
ν
2
56000
+
17
ν
4
17920000
-
9073027
ν
6
91968307200000
+
35868256579
ν
8
16068702633984000000
+
⋯
,
b
4
ν
=
1
180
-
ν
2
16800
-
427
ν
4
186624000
-
4822283
ν
6
248314429440000
-
36912938527
ν
8
130156491335270400000
+
⋯
.It is easily verified that these coefficients satisfy all conditions in (14). Therefore the method has algebraic order six and we denote this method as EFTDRK4s6a.


## 3.2.2. Second EFTDRK Method

We take the reference set(23)
F
b
=
1
,
t
,
t
2
,
t
3
,
exp
⁡
i
ω
t
,
exp
⁡
2
i
ω
tand assume that the linear operator (15) vanishes for all functions in F
b. Then we obtain the expression of η
(
ν
), β
(
ν
), and b
i
(
ν
)
,
i
=
1,2
,
3,4
.For small values of|
ν
|, the following Taylor series should be used: (24)
η
ν
=
1
+
299
ν
8
136080000
-
16561
ν
10
108864000000
+
⋯
,
β
ν
=
1
+
ν
6
189000
+
12749
ν
8
8164800000
+
9829099
ν
10
277136640000000
+
⋯
,
b
1
ν
=
3
40
+
ν
2
4000
-
159449
ν
4
5443200000
-
328547263
ν
6
117573120000000
-
168770118283
ν
8
3386105856000000000
+
⋯
,
b
2
ν
=
64
225
-
ν
2
1875
+
155713
ν
4
5103000000
+
398361581
ν
6
110224800000000
+
1477535874781
ν
8
34919216640000000000
+
⋯
,
b
3
ν
=
27
200
+
9
ν
2
20000
+
2153
ν
4
112000000
+
16429997
ν
6
65318400000000
+
374690334049
ν
8
6897623040000000000
+
⋯
,
b
4
ν
=
1
180
-
ν
2
6000
-
166921
ν
4
8164800000
-
188918627
ν
6
176359680000000
-
2614342153777
ν
8
55870746624000000000
+
⋯
.It is easily verified that these coefficients satisfy all conditions in (14). Therefore the method has algebraic order six and we denote this method as EFTDRK4s6b.


## 3.2.3. Third EFTDRK Method

We take the reference set(25)
F
c
=
1
,
t
,
t
2
,
t
3
,
t
exp
⁡
2
i
ω
t
,and we assume that the linear operator (15) vanishes for all functions in F
c. Then we obtain the expression of η
(
ν
), β
(
ν
), and b
i
(
ν
)
,
i
=
1,2
,
3,4
. For small values of |
ν
|, the following Taylor series should be used: (26)
η
ν
=
1
+
23
ν
8
1360800
-
2087
ν
10
217728000
+
⋯
,
β
ν
=
1
+
ν
6
18900
+
1637
ν
8
81648000
-
3444061
ν
10
3879912960000
+
⋯
,
b
1
ν
=
3
40
+
ν
2
2800
-
4601
ν
4
54432000
-
36863647
ν
6
2586608640000
+
248988432157
ν
8
338949196185600000
+
⋯
,
b
2
ν
=
64
225
-
2
ν
2
2625
+
5407
ν
4
51030000
+
52884329
ν
6
2424945600000
-
391939117499
ν
8
317764871424000000
+
⋯
,
b
3
ν
=
27
200
+
9
ν
2
14000
+
17
ν
4
1120000
-
9073027
ν
6
1437004800000
+
35868256579
ν
8
62768369664000000
+
⋯
,
b
4
ν
=
1
180
-
ν
2
4200
-
427
ν
4
11664000
-
4822283
ν
6
3879912960000
-
36912938527
ν
8
508423794278400000
+
⋯
.We denote this method as EFTDRK4s6c.It is noted that asν
→
0, the new methods EFTDRK4s6a, EFTDRK4s6b, and EFTDRK4s6c reduce to a traditional TDRK method given by the following tableau:(27)
1
0
1
1
4
1
32
1
2
3
-
2
81
20
81
1
1
5
4
-
6
5
9
20
3
40
64
225
27
200
1
180
.


## 4. Results

In order to examine the effectiveness of the EFTDRK methods proposed in this paper, we apply these methods as well as a sixth-order RK method and a sixth-order TDRK method to the two genetic regulatory systems presented in Section2. The numerical methods we will use are listed as follows:(i)
RK6: the classical RK method of order six presented in [8].
(ii)
TDRK4s6: the classical TDRK method of order six presented in [18].
(iii)
EFTDRK4s6a, EFTDRK4s6b, EFTDRK4s6c: the three four-stage EFTDRK methods of order six derived in Section3 of this paper.
(iv)
ETFRK4: the fourth-order exponentially and trigonometrically fitted RK method constructed by Simos [22].
(v)
EFRK4: the fourth-order exponentially fitted RK method constructed by Vanden Berghe et al. [23].
(vi)
MRK4: the fourth-order modified RK method constructed by Van de Vyver [24].We will compare the efficiency of these methods by plotting the decimal logarithm of the maximal global error against the computational effort measured by the number of function evaluations.


### 4.1. The Two-Gene System

Denotey
=
(
m
1
,
m
2
,
p
1
,
p
2
)
T. The Jacobian of system (3) is given by (28)
f
′
y
=
-
γ
1
0
0
λ
1
n
2
θ
2
n
2
p
2
n
2
-
1
θ
2
n
2
+
p
2
n
2
2
0
-
γ
2
-
λ
2
n
1
θ
1
n
1
p
1
n
1
-
1
θ
1
n
1
+
p
1
n
1
2
0
κ
1
0
-
μ
1
0
0
κ
2
0
-
μ
2and the function(29)
g
y
=
f
′
y
f
y
=
γ
1
γ
1
m
1
-
λ
1
p
2
n
2
θ
2
n
2
+
p
2
n
2
+
λ
1
n
2
θ
2
n
2
p
2
n
2
-
1
κ
2
m
2
-
μ
2
p
2
θ
2
n
2
+
p
2
n
2
2
γ
2
γ
2
m
2
-
λ
2
θ
1
n
1
θ
1
n
1
+
p
1
n
1
-
λ
2
n
1
θ
1
n
1
p
1
n
1
-
1
κ
1
m
1
-
μ
1
p
1
θ
1
n
1
+
p
1
n
1
2
-
μ
1
κ
1
m
1
-
μ
1
p
1
-
κ
1
γ
1
m
1
-
λ
1
p
2
n
2
θ
2
n
2
+
p
2
n
2
-
μ
2
κ
2
m
2
-
μ
2
p
2
-
κ
2
γ
2
m
2
-
λ
2
θ
1
n
1
θ
1
n
1
+
p
1
n
1
.We take the values of parameters as follows (Polynikis et al. [3]): (30)
n
1
=
n
2
=
3
,
λ
1
=
1.15
,
λ
2
=
2.35
,
γ
1
=
γ
2
=
1
,
κ
1
=
κ
2
=
1
,
μ
1
=
μ
2
=
1
,
θ
1
=
θ
2
=
0.21
.We solve system m
˙
1
=
m
˙
2
=
p
˙
1
=
p
˙
2
=
0 by Newton iteration for the unique positive steady state of system (3) which is given by(31)
m
1
∗
,
m
2
∗
,
p
1
∗
,
p
2
∗
=
0.475099,0.186810,0.475099,0.186810
.The Jacobian matrix at the steady state has the eigenvalues (32)
ξ
1,2
=
-
2.049997
±
1.049997
i
,
ξ
3,4
=
0.049997
±
1.049997
i
.Since these eigenvalues have nonzero imaginary parts, the solution near the steady state is oscillatory with frequency ω
=
0.989478. This oscillatory behavior of the two proteins is shown in Figure 1 which is plotted straightly by the classical Runge-Kutta method of order four.Figure 1
Time evolution of proteins in the two-gene system.For the initial values(
m
1
(
0
)
,
m
2
(
0
)
,
p
1
(
0
)
,
p
2
(
0
)
)
=
(
0.6,0.8,0.4,0.6
) near the equilibrium point, we solve system (3) on the interval [
0,100
] by the methods EFTDRK4s6a, EFTDRK4s6b, and EFTDRK4s6c with step sizes h
=
1
/
2
i, i
=
2,3
,
4,5, with respect to best fitting frequencies ω. Tables 1–4 display the global error (GE) of Protein 1 for comparison.Table 1
Two-gene systems: global error of Protein 1 with step sizeh
=
1
/
4.
ETFRK4
EFRK4
MRK4
RK6
ω
0.659
0.100
0.412
GE
3.9971
e
-
08
2.1795
e
-
07
1.3827
e
-
04
1.3216
e
-
06
TDRK4s6
EFTDRK4s6a
EFTDRK4s6b
EFTDRK4s6c
ω
0
0
0
GE
2.0703
e
-
07
2.0703
e
-
07
2.0703
e
-
07
2.0703
e
-
07Table 2
Two-gene systems: global error of Protein 1 with step sizeh
=
1
/
8.
ETFRK4
EFRK4
MRK4
RK6
ω
0.653
1.815
0.640
GE
1.0441
e
-
09
1.3170
e
-
06
6.7673
e
-
06
2.9632
e
-
08
TDRK4s6
EFTDRK4s6a
EFTDRK4s6b
EFTDRK4s6c
ω
3.145
2.395
1.573
GE
4.0028
e
-
09
3.6251
e
-
12
3.1940
e
-
09
4.4587
e
-
12Table 3
Two-gene systems: global error of Protein 1 with step sizeh
=
1
/
16.
ETFRK4
EFRK4
MRK4
RK6
ω
0.751
0.022
0.813
GE
1.6283
e
-
10
1.6144
e
-
08
2.7404
e
-
07
5.3117
e
-
10
TDRK4s6
EFTDRK4s6a
EFTDRK4s6b
EFTDRK4s6c
ω
2.964
2.292
1.482
GE
6.6183
e
-
11
5.6954
e
-
14
7.6938
e
-
14
5.6954
e
-
14Table 4
Two-gene systems: global error of Protein 1 with step sizeh
=
1
/
32.
ETFRK4
EFRK4
MRK4
RK6
ω
1.356
0.011
0.931
GE
3.7377
e
-
12
2.9958
e
-
09
9.2907
e
-
09
8.7911
e
-
12
TDRK4s6
EFTDRK4s6a
EFTDRK4s6b
EFTDRK4s6c
ω
2.891
2.185
1.445
GE
1.0523
e
-
12
1.2212
e
-
15
1.6653
e
-
15
1.8874
e
-
15In Figure2 we compare the efficiency of the eight methods by plotting the global error against the number of evaluations of nonlinear functions f and g.Figure 2
Two-gene system: global error versus function evaluations.


### 4.2. PER Oscillations inDrosophila

Denotey
=
(
M
,
P
0
,
P
1
,
P
2
,
P
N
)
T. The Jacobian of system (5) is given by(33)
f
′
y
=
-
K
m
1
v
m
K
m
1
+
M
2
0
0
0
-
n
v
s
K
I
n
P
N
n
-
1
K
I
n
+
P
N
n
2
k
s
-
K
1
V
1
K
1
+
P
0
2
K
2
V
2
K
2
+
P
1
2
0
0
0
K
1
V
1
K
1
+
P
0
2
-
K
2
V
2
K
2
+
P
1
2
-
K
3
V
3
K
3
+
P
1
2
K
4
V
4
K
4
+
P
2
2
0
0
0
K
3
V
3
K
3
+
P
1
2
-
k
1
-
K
4
V
4
K
4
+
P
2
2
-
K
d
v
d
K
d
+
P
2
2
k
2
0
0
0
k
1
-
k
2and the function f
′
(
y
)
f
(
y
)
=
g
(
y
)
=
(
g
1
,
g
2
,
g
3
,
g
4
,
g
5
)
T with(34)
g
1
=
n
v
s
K
I
n
P
N
n
-
1
-
k
1
P
2
+
k
2
P
N
K
I
n
+
P
N
n
2
+
K
m
1
v
m
M
v
m
K
I
n
+
P
N
n
-
K
I
n
v
s
K
m
1
+
M
K
I
n
+
P
N
n
K
m
1
+
M
3
,
g
2
=
-
K
1
V
1
k
s
M
-
U
+
B
K
1
+
P
0
2
+
K
2
V
2
U
-
B
-
C
+
D
K
2
+
P
1
2
+
k
s
-
M
v
m
K
m
1
+
M
+
K
I
n
v
s
K
I
n
+
P
N
n
,
g
3
=
K
1
V
1
k
s
M
-
U
+
B
K
1
+
P
0
2
-
K
2
V
2
K
2
+
P
1
2
+
K
3
V
3
K
3
+
P
1
2
U
-
B
-
C
+
D
+
K
4
V
4
-
k
1
P
2
+
k
2
P
N
+
C
-
D
-
E
K
4
+
P
2
2
,
g
4
=
k
2
k
1
P
2
-
k
2
P
N
+
K
3
V
3
U
-
B
-
C
+
D
K
3
+
P
1
2
-
k
1
+
K
4
V
4
K
4
+
P
2
2
+
K
d
v
d
K
d
+
P
2
2
-
k
1
P
2
+
k
2
P
N
+
C
-
D
-
E
,
g
5
=
k
2
-
k
1
P
2
+
k
2
P
N
+
k
1
-
k
1
P
2
+
k
2
P
N
+
C
-
D
-
E
,where (35)
U
=
P
0
V
1
K
1
+
P
0
,
B
=
P
1
V
2
K
2
+
P
1
,
C
=
P
1
V
3
K
3
+
P
1
,
D
=
P
2
V
4
K
4
+
P
2
,
E
=
P
2
v
d
K
d
+
P
2
.The parameter values in model (5) are given by (Goldbeter [21])(36)
v
s
=
0.76
μ
M
/
h
,
v
m
=
0.65
μ
M
/
h
,
k
s
=
0.38
h
-
1
,
v
d
=
0.95
μ
M
/
h
,
k
1
=
1.9
h
-
1
,
k
2
=
1.3
h
-
1
,
K
I
=
1
μ
M
,
K
d
=
0.2
μ
M
,
K
m
1
=
0.5
μ
M
,
K
1
=
K
2
=
K
3
=
K
4
=
2
μ
M
,
n
=
4
,
V
1
=
3.2
μ
M
/
h
,
V
2
=
1.58
μ
M
/
h
,
V
3
=
5
μ
M
/
h
,
V
4
=
2.5
μ
M
/
h
.SystemM
˙
=
P
˙
0
=
P
˙
1
=
P
˙
2
=
P
˙
N
=
0 is solved for the unique positive steady state (37)
M
∗
,
P
0
∗
,
P
1
∗
,
P
2
∗
,
P
N
∗
=
1.851476,1.049558,0.672924,0.570982,0.834512
.Thus the five eigenvalues of the Jacobian matrix at the steady state are(38)
ξ
1
=
-
4.266573
,
ξ
2
=
-
1.834793
,
ξ
3,4
=
0.032824
±
0.297276
i
,
ξ
5
=
-
0.829294
.Since ξ
3,4 have nonzero imaginary parts, the solution near the steady state (
M
∗
,
P
0
∗
,
P
1
∗
,
P
2
∗
,
P
N
∗
) is oscillatory with frequency ω
=
0.265113. Figure 3 displays time evolution of the concentration of the nuclear protein P
N.Figure 3
Time evolution of nuclear PER inDrosophila.For the initial values(
M
(
0
)
,
P
0
(
0
)
,
P
1
(
0
)
,
P
2
(
0
)
,
P
N
(
0
)
)
=
(
0.1,0.25,0.25,0.25,0.25
) near the equilibrium point, we integrate system (3) on the interval [
0,100
] with step sizes h
=
1
/
2
i
,
i
=
1,2
,
3,4
,
5
. The numerical results are presented in Tables 5–9.Table 5
PER oscillations inDrosophila: global error of P
N with step size h
=
1
/
2.
ETFRK4
EFRK4
MRK4
RK6
ω
0.811
1.311
0.290
GE
2.2113
e
-
04
0.3821
0.0011
0.0011
TDRK4s6
EFTDRK4s6a
EFTDRK4s6b
EFTDRK4s6c
ω
1.971
1.369
0.991
GE
1.2580
e
-
06
8.4100
e
-
10
1.1408
e
-
09
1.3104
e
-
09Table 6
PER oscillations inDrosophila: global error of P
N with step size h
=
1
/
4.
ETFRK4
EFRK4
MRK4
RK6
ω
0.010
0.002
0
GE
4.1924
e
-
10
2.4214
e
-
09
3.0138
e
-
08
7.4781
e
-
08
TDRK4s6
EFTDRK4s6a
EFTDRK4s6b
EFTDRK4s6c
ω
1.934
1.363
0.968
GE
1.3468
e
-
08
1.0491
e
-
11
2.7490
e
-
11
2.0292
e
-
11Table 7
PER oscillations inDrosophila: global error of P
N with step size h
=
1
/
8.
ETFRK4
EFRK4
MRK4
RK6
ω
0
0
0.047
GE
3.7713
e
-
09
3.7713
e
-
09
5.5061
e
-
11
3.5174
e
-
10
TDRK4s6
EFTDRK4s6a
EFTDRK4s6b
EFTDRK4s6c
ω
1.895
1.356
0.947
GE
1.5941
e
-
10
1.5565
e
-
13
1.9101
e
-
13
4.9882
e
-
13Table 8
PER oscillations inDrosophila: global error of P
N with step size h
=
1
/
16.
ETFRK4
EFRK4
MRK4
RK6
ω
0
0
0.057
GE
3.0163
e
-
10
3.0163
e
-
10
4.2553
e
-
12
2.8773
e
-
12
TDRK4s6
EFTDRK4s6a
EFTDRK4s6b
EFTDRK4s6c
ω
1.871
1.354
0.935
GE
2.1183
e
-
12
3.8858
e
-
16
3.1641
e
-
15
6.3283
e
-
15Table 9
PER oscillations inDrosophila: global error of P
N with step size h
=
1
/
32.
ETFRK4
EFRK4
MRK4
RK6
ω
0
0
0.061
GE
2.0380
e
-
11
2.0380
e
-
11
2.3392
e
-
13
3.1641
e
-
14
TDRK4s6
EFTDRK4s6a
EFTDRK4s6b
EFTDRK4s6c
ω
1.880
1.370
0.931
GE
3.1086
e
-
14
3.3307
e
-
16
0
1.1102
e
-
16In Figure4 we plot the efficiency curves for the eight methods.Figure 4
Two-gene system: global error versus function evaluations.It can be seen from Tables1–9 and Figures 2 and 4 that the EFTDRK methods are more efficient than the other methods used for comparison.


## 4.1. The Two-Gene System

Denotey
=
(
m
1
,
m
2
,
p
1
,
p
2
)
T. The Jacobian of system (3) is given by (28)
f
′
y
=
-
γ
1
0
0
λ
1
n
2
θ
2
n
2
p
2
n
2
-
1
θ
2
n
2
+
p
2
n
2
2
0
-
γ
2
-
λ
2
n
1
θ
1
n
1
p
1
n
1
-
1
θ
1
n
1
+
p
1
n
1
2
0
κ
1
0
-
μ
1
0
0
κ
2
0
-
μ
2and the function(29)
g
y
=
f
′
y
f
y
=
γ
1
γ
1
m
1
-
λ
1
p
2
n
2
θ
2
n
2
+
p
2
n
2
+
λ
1
n
2
θ
2
n
2
p
2
n
2
-
1
κ
2
m
2
-
μ
2
p
2
θ
2
n
2
+
p
2
n
2
2
γ
2
γ
2
m
2
-
λ
2
θ
1
n
1
θ
1
n
1
+
p
1
n
1
-
λ
2
n
1
θ
1
n
1
p
1
n
1
-
1
κ
1
m
1
-
μ
1
p
1
θ
1
n
1
+
p
1
n
1
2
-
μ
1
κ
1
m
1
-
μ
1
p
1
-
κ
1
γ
1
m
1
-
λ
1
p
2
n
2
θ
2
n
2
+
p
2
n
2
-
μ
2
κ
2
m
2
-
μ
2
p
2
-
κ
2
γ
2
m
2
-
λ
2
θ
1
n
1
θ
1
n
1
+
p
1
n
1
.We take the values of parameters as follows (Polynikis et al. [3]): (30)
n
1
=
n
2
=
3
,
λ
1
=
1.15
,
λ
2
=
2.35
,
γ
1
=
γ
2
=
1
,
κ
1
=
κ
2
=
1
,
μ
1
=
μ
2
=
1
,
θ
1
=
θ
2
=
0.21
.We solve system m
˙
1
=
m
˙
2
=
p
˙
1
=
p
˙
2
=
0 by Newton iteration for the unique positive steady state of system (3) which is given by(31)
m
1
∗
,
m
2
∗
,
p
1
∗
,
p
2
∗
=
0.475099,0.186810,0.475099,0.186810
.The Jacobian matrix at the steady state has the eigenvalues (32)
ξ
1,2
=
-
2.049997
±
1.049997
i
,
ξ
3,4
=
0.049997
±
1.049997
i
.Since these eigenvalues have nonzero imaginary parts, the solution near the steady state is oscillatory with frequency ω
=
0.989478. This oscillatory behavior of the two proteins is shown in Figure 1 which is plotted straightly by the classical Runge-Kutta method of order four.Figure 1
Time evolution of proteins in the two-gene system.For the initial values(
m
1
(
0
)
,
m
2
(
0
)
,
p
1
(
0
)
,
p
2
(
0
)
)
=
(
0.6,0.8,0.4,0.6
) near the equilibrium point, we solve system (3) on the interval [
0,100
] by the methods EFTDRK4s6a, EFTDRK4s6b, and EFTDRK4s6c with step sizes h
=
1
/
2
i, i
=
2,3
,
4,5, with respect to best fitting frequencies ω. Tables 1–4 display the global error (GE) of Protein 1 for comparison.Table 1
Two-gene systems: global error of Protein 1 with step sizeh
=
1
/
4.
ETFRK4
EFRK4
MRK4
RK6
ω
0.659
0.100
0.412
GE
3.9971
e
-
08
2.1795
e
-
07
1.3827
e
-
04
1.3216
e
-
06
TDRK4s6
EFTDRK4s6a
EFTDRK4s6b
EFTDRK4s6c
ω
0
0
0
GE
2.0703
e
-
07
2.0703
e
-
07
2.0703
e
-
07
2.0703
e
-
07Table 2
Two-gene systems: global error of Protein 1 with step sizeh
=
1
/
8.
ETFRK4
EFRK4
MRK4
RK6
ω
0.653
1.815
0.640
GE
1.0441
e
-
09
1.3170
e
-
06
6.7673
e
-
06
2.9632
e
-
08
TDRK4s6
EFTDRK4s6a
EFTDRK4s6b
EFTDRK4s6c
ω
3.145
2.395
1.573
GE
4.0028
e
-
09
3.6251
e
-
12
3.1940
e
-
09
4.4587
e
-
12Table 3
Two-gene systems: global error of Protein 1 with step sizeh
=
1
/
16.
ETFRK4
EFRK4
MRK4
RK6
ω
0.751
0.022
0.813
GE
1.6283
e
-
10
1.6144
e
-
08
2.7404
e
-
07
5.3117
e
-
10
TDRK4s6
EFTDRK4s6a
EFTDRK4s6b
EFTDRK4s6c
ω
2.964
2.292
1.482
GE
6.6183
e
-
11
5.6954
e
-
14
7.6938
e
-
14
5.6954
e
-
14Table 4
Two-gene systems: global error of Protein 1 with step sizeh
=
1
/
32.
ETFRK4
EFRK4
MRK4
RK6
ω
1.356
0.011
0.931
GE
3.7377
e
-
12
2.9958
e
-
09
9.2907
e
-
09
8.7911
e
-
12
TDRK4s6
EFTDRK4s6a
EFTDRK4s6b
EFTDRK4s6c
ω
2.891
2.185
1.445
GE
1.0523
e
-
12
1.2212
e
-
15
1.6653
e
-
15
1.8874
e
-
15In Figure2 we compare the efficiency of the eight methods by plotting the global error against the number of evaluations of nonlinear functions f and g.Figure 2
Two-gene system: global error versus function evaluations.


## 4.2. PER Oscillations inDrosophila

Denotey
=
(
M
,
P
0
,
P
1
,
P
2
,
P
N
)
T. The Jacobian of system (5) is given by(33)
f
′
y
=
-
K
m
1
v
m
K
m
1
+
M
2
0
0
0
-
n
v
s
K
I
n
P
N
n
-
1
K
I
n
+
P
N
n
2
k
s
-
K
1
V
1
K
1
+
P
0
2
K
2
V
2
K
2
+
P
1
2
0
0
0
K
1
V
1
K
1
+
P
0
2
-
K
2
V
2
K
2
+
P
1
2
-
K
3
V
3
K
3
+
P
1
2
K
4
V
4
K
4
+
P
2
2
0
0
0
K
3
V
3
K
3
+
P
1
2
-
k
1
-
K
4
V
4
K
4
+
P
2
2
-
K
d
v
d
K
d
+
P
2
2
k
2
0
0
0
k
1
-
k
2and the function f
′
(
y
)
f
(
y
)
=
g
(
y
)
=
(
g
1
,
g
2
,
g
3
,
g
4
,
g
5
)
T with(34)
g
1
=
n
v
s
K
I
n
P
N
n
-
1
-
k
1
P
2
+
k
2
P
N
K
I
n
+
P
N
n
2
+
K
m
1
v
m
M
v
m
K
I
n
+
P
N
n
-
K
I
n
v
s
K
m
1
+
M
K
I
n
+
P
N
n
K
m
1
+
M
3
,
g
2
=
-
K
1
V
1
k
s
M
-
U
+
B
K
1
+
P
0
2
+
K
2
V
2
U
-
B
-
C
+
D
K
2
+
P
1
2
+
k
s
-
M
v
m
K
m
1
+
M
+
K
I
n
v
s
K
I
n
+
P
N
n
,
g
3
=
K
1
V
1
k
s
M
-
U
+
B
K
1
+
P
0
2
-
K
2
V
2
K
2
+
P
1
2
+
K
3
V
3
K
3
+
P
1
2
U
-
B
-
C
+
D
+
K
4
V
4
-
k
1
P
2
+
k
2
P
N
+
C
-
D
-
E
K
4
+
P
2
2
,
g
4
=
k
2
k
1
P
2
-
k
2
P
N
+
K
3
V
3
U
-
B
-
C
+
D
K
3
+
P
1
2
-
k
1
+
K
4
V
4
K
4
+
P
2
2
+
K
d
v
d
K
d
+
P
2
2
-
k
1
P
2
+
k
2
P
N
+
C
-
D
-
E
,
g
5
=
k
2
-
k
1
P
2
+
k
2
P
N
+
k
1
-
k
1
P
2
+
k
2
P
N
+
C
-
D
-
E
,where (35)
U
=
P
0
V
1
K
1
+
P
0
,
B
=
P
1
V
2
K
2
+
P
1
,
C
=
P
1
V
3
K
3
+
P
1
,
D
=
P
2
V
4
K
4
+
P
2
,
E
=
P
2
v
d
K
d
+
P
2
.The parameter values in model (5) are given by (Goldbeter [21])(36)
v
s
=
0.76
μ
M
/
h
,
v
m
=
0.65
μ
M
/
h
,
k
s
=
0.38
h
-
1
,
v
d
=
0.95
μ
M
/
h
,
k
1
=
1.9
h
-
1
,
k
2
=
1.3
h
-
1
,
K
I
=
1
μ
M
,
K
d
=
0.2
μ
M
,
K
m
1
=
0.5
μ
M
,
K
1
=
K
2
=
K
3
=
K
4
=
2
μ
M
,
n
=
4
,
V
1
=
3.2
μ
M
/
h
,
V
2
=
1.58
μ
M
/
h
,
V
3
=
5
μ
M
/
h
,
V
4
=
2.5
μ
M
/
h
.SystemM
˙
=
P
˙
0
=
P
˙
1
=
P
˙
2
=
P
˙
N
=
0 is solved for the unique positive steady state (37)
M
∗
,
P
0
∗
,
P
1
∗
,
P
2
∗
,
P
N
∗
=
1.851476,1.049558,0.672924,0.570982,0.834512
.Thus the five eigenvalues of the Jacobian matrix at the steady state are(38)
ξ
1
=
-
4.266573
,
ξ
2
=
-
1.834793
,
ξ
3,4
=
0.032824
±
0.297276
i
,
ξ
5
=
-
0.829294
.Since ξ
3,4 have nonzero imaginary parts, the solution near the steady state (
M
∗
,
P
0
∗
,
P
1
∗
,
P
2
∗
,
P
N
∗
) is oscillatory with frequency ω
=
0.265113. Figure 3 displays time evolution of the concentration of the nuclear protein P
N.Figure 3
Time evolution of nuclear PER inDrosophila.For the initial values(
M
(
0
)
,
P
0
(
0
)
,
P
1
(
0
)
,
P
2
(
0
)
,
P
N
(
0
)
)
=
(
0.1,0.25,0.25,0.25,0.25
) near the equilibrium point, we integrate system (3) on the interval [
0,100
] with step sizes h
=
1
/
2
i
,
i
=
1,2
,
3,4
,
5
. The numerical results are presented in Tables 5–9.Table 5
PER oscillations inDrosophila: global error of P
N with step size h
=
1
/
2.
ETFRK4
EFRK4
MRK4
RK6
ω
0.811
1.311
0.290
GE
2.2113
e
-
04
0.3821
0.0011
0.0011
TDRK4s6
EFTDRK4s6a
EFTDRK4s6b
EFTDRK4s6c
ω
1.971
1.369
0.991
GE
1.2580
e
-
06
8.4100
e
-
10
1.1408
e
-
09
1.3104
e
-
09Table 6
PER oscillations inDrosophila: global error of P
N with step size h
=
1
/
4.
ETFRK4
EFRK4
MRK4
RK6
ω
0.010
0.002
0
GE
4.1924
e
-
10
2.4214
e
-
09
3.0138
e
-
08
7.4781
e
-
08
TDRK4s6
EFTDRK4s6a
EFTDRK4s6b
EFTDRK4s6c
ω
1.934
1.363
0.968
GE
1.3468
e
-
08
1.0491
e
-
11
2.7490
e
-
11
2.0292
e
-
11Table 7
PER oscillations inDrosophila: global error of P
N with step size h
=
1
/
8.
ETFRK4
EFRK4
MRK4
RK6
ω
0
0
0.047
GE
3.7713
e
-
09
3.7713
e
-
09
5.5061
e
-
11
3.5174
e
-
10
TDRK4s6
EFTDRK4s6a
EFTDRK4s6b
EFTDRK4s6c
ω
1.895
1.356
0.947
GE
1.5941
e
-
10
1.5565
e
-
13
1.9101
e
-
13
4.9882
e
-
13Table 8
PER oscillations inDrosophila: global error of P
N with step size h
=
1
/
16.
ETFRK4
EFRK4
MRK4
RK6
ω
0
0
0.057
GE
3.0163
e
-
10
3.0163
e
-
10
4.2553
e
-
12
2.8773
e
-
12
TDRK4s6
EFTDRK4s6a
EFTDRK4s6b
EFTDRK4s6c
ω
1.871
1.354
0.935
GE
2.1183
e
-
12
3.8858
e
-
16
3.1641
e
-
15
6.3283
e
-
15Table 9
PER oscillations inDrosophila: global error of P
N with step size h
=
1
/
32.
ETFRK4
EFRK4
MRK4
RK6
ω
0
0
0.061
GE
2.0380
e
-
11
2.0380
e
-
11
2.3392
e
-
13
3.1641
e
-
14
TDRK4s6
EFTDRK4s6a
EFTDRK4s6b
EFTDRK4s6c
ω
1.880
1.370
0.931
GE
3.1086
e
-
14
3.3307
e
-
16
0
1.1102
e
-
16In Figure4 we plot the efficiency curves for the eight methods.Figure 4
Two-gene system: global error versus function evaluations.It can be seen from Tables1–9 and Figures 2 and 4 that the EFTDRK methods are more efficient than the other methods used for comparison.


## 5. Conclusions and Discussions

Oscillation is frequently observed in all living cells. Whether or not this feature is accurately preserved in simulation has a critical effect on the comprehension of genetic regulation systems. Now that the traditional simulation algorithms perform poorly in simulating the oscillatory genetic regulatory networks, new and more effective simulation technology is called for. In this paper, classical two-derivative Runge-Kutta methods are adapted to the oscillatory character of genetic regulatory systems. The newly developed exponentially fitted two-derivative Runge-Kutta methods (EFTDRK) adopt functions ofν
=
ω
h, the product of the fitting frequency ω and the step size h, as weight coefficients in the update. As the fitting frequency tends to zero, EFTDRK methods reduce to their prototype TDRK methods of the same algebraic order.It should be noted that, in applying an exponentially/trigonometrically fitted method to oscillatory problems, a fitting frequencyω, an accurate estimate of the principal frequency, must be obtained in advance. However, for a given oscillatory system, the true frequency is in general not available. In the existing literature, all the methods of fitted type share a common value of the fitting frequency ω once it is well estimated. According to the argument in Appendix A.3, for a given differential equation (given function f), the global error (GE) of an EFTDRK method (e.g., EFTDRK4s6a) depends on the coefficients (and thus ν
=
ω
h). If we consider G
E as a function ω, G
E
(
ω
) then we take the fitting frequency as the value of ω that minimizes the global error. We call it the “best fitting frequency.” It is also noted that it may happen that G
E
(
ω
) is (much) larger than G
E
(
0
). That is, EFTDRK4s6a may be less effective than its prototype TDRK method (TDRK4s6, the case ω
=
0) if an inappropriate value of the fitting frequency ω is employed.EFTDRK methods have two advantages: they respect the second-order structure of the true solution and they can simulate exactly some standard oscillatory functions such asexp
⁡
(
i
ω
t
) and exp
⁡
(
2
i
ω
t
). These characteristic properties contribute to their high accuracy and high efficiency. The EFTDRK methods developed in this paper, a category of structure-preserving algorithms, open a new approach to simulating genetic regulatory systems with an oscillation structure.



---

*Source: 689137-2015-10-13.xml*