Abstract
This paper investigates the dynamic properties of a differential equation model of mammals’ circadian rhythms, including parameter identification, adaptive control, and outer synchronization. The circadian oscillator network is described by a Goodwin oscillator network, the couplings of which are from vasoactive intestinal polypeptides described by modified Van der Pol oscillators. We build up a drive-response system consisting of two networks with unknown parameters and disturbances. Then, we propose effective parameter updating laws to identify the unknown parameters and design adaptive control strategies to achieve outer synchronization in the drive-response system. As special cases, two succinct corollaries are presented for different instances. All the theoretical results are proved through strict mathematical deduction based on Lyapunov stability theory, and a numerical example is also carried out to illustrate the effectiveness.
1. Introduction
In the past decades, there has been tremendous interest in studying circadian rhythms of mammals at the cellular level [1–8]. Based on experimental findings of system biology and network biology, several gene regulatory network models have been established to describe the circadian rhythm system [3, 4]. Experimental evidence has shown that the circadian rhythms are controlled by a pacemaker located in the suprachiasmatic nucleus (SCN) of the hypothalamus [5] and the circadian oscillator is usually described by a Goodwin oscillator model, which describes a protein which represses the transcription of its own gene via an inhibitor [6]. Now, the Goodwin oscillator model and its variants have been widely adopted as one of the classic hypothetical genetic oscillators [7, 8]. The SCN consists of a dorsomedial shell and a ventrolateral core, and the ventrolateral core can be defined by cells containing vasoactive intestinal polypeptide (VIP) [9]. The circadian oscillators are coupled with each other via the rhythmic influence from VIP, and the VIP is required to maintain circadian synchrony of the SCN [10]. However, we know nothing about the dynamics of the VIP except its fundamental observational properties. Based on these observational properties, the Van der Pol oscillator was usually employed to describe the dynamics of the VIP [11]. In this paper, we will carry out a modified circadian rhythm network model with unknown parameters and investigate its several dynamical properties from the viewpoint of complex network dynamics with the help of nonlinear dynamics theory.
Recent years have seen significant advances in the study of complex network dynamics [12, 13], and its related studies will lead to more potential applications in the future. Synchronization is a kind of typical collective behaviors and basic motions in nature, which is one of the main research focuses in complex network science. From the viewpoint of mathematics, the core of synchronization is the stability of the zero solution of network error systems [14–16]. In previous studies, two effective methods are usually employed: the first one is to study synchronization induced by the mutual couplings between nodes [17, 18], and the second one is to design reasonable control laws [19–21]. A great number of researches on the first method have indicated that synchronization without external control needs certain requirement in both network structures and node dynamics. Therefore, a variety of external control approaches have been developed such as pinning control [22, 23], sliding mode control [24, 25], and feedback control [26, 27].
However, there are still lots of urgent and challenging problems in practical application. For instance, we often know very little about the exact values of system parameters, or there are some time-varying parameters. Under the effects of these uncertainties, the achieved synchronization might be destroyed and broken. Therefore, it is necessary to design an adaptive control law that adapts itself to these uncertainties, which is a popular control technique used for complex network models with unknown parameters [28–30]. The theoretical basis of adaptive control is parameter identification. As far as complex networks are concerned, three dynamic properties of uncertain networks need to be discussed, i.e., parameter identification, adaptive control, and outer synchronization [31]. In order to achieve each one of the three research goals above, Lyapunov stability is usually employed, which will show the convergence of the error systems and the parameter identification laws at the same time. Due to the convenience and effectiveness of adaptive control, it has been widely applied to many fields of science and technology, including secure communication, chaos generator design, biological systems, and information science.
As far as the circadian rhythm model is concerned, it is more difficult to get the exact values of the system parameters, and this becomes one of the interesting and significant questions remaining open for discussion. In order to estimate or evaluate the unknown parameters existing in the circadian rhythm model, lots of researches have been carried out. Based on the time series data of a certain group of individuals in a circadian rhythm model, Tong [32] obtained the estimations of the group level, group amplitude, and group phase. Later, the estimations of the true values of unknown parameters were investigated for different circadian rhythm models [33–35]. Now, it has become an interesting and significant research direction in the fields of system biology. To the best of our knowledge, most of the previous results were based on the statistical method or experimental data, and few theoretical researches have been carried out. Motivated by the discussions mentioned above, this paper aims at providing theoretical estimations of unknown parameters existing in such a network. It may help us build more accurate mathematical models and better understand the circadian rhythms of mammals. Therefore, the subject of this paper has a certain degree of innovation, and it may also have some latent applications. By proposing appropriate parameter updating laws and adaptive control strategies, we identify the unknown parameters successfully and the network realizes outer synchronization. Based on Lyapunov stability theory and matrix theory, we give theoretical proof for adaptive outer synchronization of the Goodwin oscillator network with unknown parameters. As special cases, we present two succinct corollaries for different instances.
The organization of the remaining sections is as follows. In Section 2, some preliminaries are introduced, including the model descriptions of the Goodwin oscillator network with unknown parameters. In Section 3, adaptive controllers and parameter updating laws are designed, and their effectiveness is also proved theoretically. In Section 4, a simple example is provided to verify the validity of the theoretical results. In the last section, conclusions are provided to summarize the contributions of this paper and to highlight some interesting issues as a further work.
1.1. Model Descriptions
The Goodwin model describes a circadian oscillator consisting of three variables, which is illustrated in Figure 1. A clock gene mRNA (a) produces a clock protein (b), which activates a transcriptional inhibitor (c), and in turn inhibits the transcription of the clock gene. By the repression exerted by the inhibitor to the mRNA synthesis, the three variables build up a closed negative feedback loop.

The mathematical model for the circadian oscillator is given as follows, in which each variable is governed by a simple ordinary differential equation: where can be interpreted as the concentrations of clock genes, clock proteins, and transcriptional inhibitors, respectively; the constants are the dimensionless transcription rates or translation rates; the constants are the dimensionless degradation rates of the chemical molecules; and and are the parameters of the Hill function. The equations above describe what is probably the simplest conceivable control process consistent with certain essential features of the genetic control of enzyme synthesis [6]. For instance, by choosing , , , and , the system (1) produces a damped oscillator.
In order to produce physiological rhythms, many researches considered the rhythmic influence of vasoactive intestinal polypeptides (VIP). Then, a Goodwin oscillator network model with a coupling term from VIP reads where is the concentration of VIP in the th cell. The coupling matrix represents the coupling configuration; if there is a coupling from cell to cell , then denote the weight of this coupling as ; otherwise, denote . Different from most of the previous researches on complex networks, it is assumed that because the term describes the coupling from VIP in the cell to the Goodwin oscillator in the same cell. Throughout this paper, we further assume that the coupling matrix has equal row sums and equal column sums, i.e., there exists a nonnegative constant such that .
In many previous studies [11], the concentration dynamics of VIP was described by the following modified Van der Pol oscillators: where , , and are constants.
For ease of notations, we denote and and rewrite the network (2)–(3) as follows: where , , and are all real-valued vectors; the coupling component matrix
The matrix functions where . Assuming that the parameters and the network topology matrices and are all unknown, we build the following response network: where , , , , and are the updating laws of the unknown parameters in the network (4); are the external disturbances such as wind and noise; and are the adaptive controllers left to be designed in the next section, where . Network (4) and network (7) form a drive-response system; the next section will design adaptive controllers to make the drive-response system realize the outer synchronization and design parameter updating laws to identify the unknown parameters.
2. Adaptive Control Schemes for Outer Synchronization
Let us first carry out the definition of outer synchronization, two hypotheses, and a lemma to prove the effectiveness of our results.
Definition 1. The system (4)–(7) is said to achieve outer synchronization if where and , where .
Hypothesis 1. For any and , denote , and Suppose that there exists a positive constant such that holds for any .
Since the function of the network (4) is differentiable and the oscillator is a damped oscillator, there exists a positive constant satisfying Hypothesis 1 in theory.
Hypothesis 2. For the disturbances and , suppose that there exist two positive constants such that The second hypothesis guarantees the boundedness of the disturbances, and this paper yields adaptive controllers that are robust against all possible bounded disturbances.
Lemma 1. For any vectors and the matrix defined by (5), the following inequality holds:
Proof. Denote and ; it follows from (5) that , , and . After a simple deduction, one gets that
Based on the inequality , the lemma is proved.
Now, with the help of the preceding preliminaries and Lyapunov stability theory, we turn to prove the following theorem.
Theorem 1. Under Hypothesis 1 and Hypothesis 2, let the parameter updating laws and the adaptive controllers Then, the following conclusions hold: (i)The parameter updating laws (14) satisfy (ii)There exist constants such that the adaptive controllers (15) satisfy (iii)The system (4)–(7) achieves outer synchronization, i.e., where and , where .
Proof. Denote , , , and , and consider the following Lyapunov function: where where are positive constants left to be chosen, where . The aim of the proof is to select appropriate constants to ensure that .
By the parameter updating laws (14) and the controllers (15), the derivative of and along the trajectories of (4)–(7) can be calculated as follows:
It follows from Hypothesis 1 that the derivative of can be written as and then,
Combining the identities , and Lemma 1 together yields
Then, one concludes from the inequalities (21), (22), and (26) that
Choosing the constants large enough to ensure that one finally proves that . Based on Lyapunov stability theory, indicates the validity of the first item, indicates the validity of the first two equalities of the second item, the second term of indicates that , and the first term of indicates the validity of the third item. Hence, the three items are all proved.
As special cases, when some of the three unknown parameters are given and fixed, Theorem 1 remains valid. For example, assuming that the parameters and are both determined, one gets the following corollary.
Corollary 1. Consider the system (4)–(7) with under Hypothesis 1 and Hypothesis 2 hold. Choose the adaptive controllers (15) and the parameter updating the law The three statements in Theorem 1 still hold.
Proof. Choose the following Lyapunov function: where are defined in the proof of Theorem 1, and Analogous to the proof of Theorem 1, it follows from Lemma 1 that and Thus, one gets which is similar to the inequality (27). The remainder of the argument is analogous to that of Theorem 1, and it is omitted here.
It follows from the proof of Theorem 1 that the functions and are designed for the disturbances and . Therefore, we obtain the following corollary without considering the disturbances.
Corollary 2. Consider the system (4)–(7) under Hypothesis 1. If the disturbances , choose the parameter updating laws (14) and the adaptive controllers where ; the three statements of Theorem 1 still hold.
Proof. Choose the following Lyapunov function: where and are defined in the proof of Theorem 1, and Analogous to the proof of Theorem 1, it follows from Lemma 1 that and Thus, one has which is similar to the inequality (27). The remainder of the argument is analogous to that of Theorem 1, and it is omitted here.
3. A Numerical Example
In this section, a special case of the system (4)–(7) is given to illustrate the effectiveness of the three statements of Theorem 1 one by one.
For clarity, we choose the coupling matrices as follows, the row sums of which are equal to 5:
The topology structure corresponding to the above coupling matrices is shown in Figure 2. For instance, the element implies that there is a coupling from the oscillator to the oscillator , and the weight of this coupling is 3; the element implies that there is a coupling from the oscillator to the oscillator , and the weight of this coupling is 3.

Based on the previous results [6], we set the parameters of the drive network (4) as , , , , , and . The initial values , , and are selected randomly in , the initial values and are selected randomly in , the initial values and are selected randomly in , and the disturbances and . Then, with the help of Matlab, the following figures are provided to verify the effectiveness of the obtained theoretical results.
Figures 3 and 4 are presented to verify the validity of the parameter laws (14). As can be seen, the parameter updating laws (14) are in a good agreement with the actual value of the corresponding parameters; i.e.,


Therefore, the first item of Theorem 1 is verified by Figures 3 and 4.
Figure 5 depicts the time evolutions of the control gains of the adaptive controllers (15). As can be seen, for each adaptive control gain , there exists a positive constant such that

The time evolutions of are all similar to those of , and we omitted them here. The time evolutions of the topology updating laws in the adaptive controllers (15) are plotted in Figure 6, which verifies that

In particular, the blue lines indicate that , the red lines indicate that , the magenta lines indicate that , and the black lines indicate that , , and for other elements. Therefore, the second item of Theorem 1 is verified by Figures 5 and 6.
Finally, the time evolutions of the outer synchronization errors , where are shown in Figure 7, which shows that the errors converge to zero and outer synchronization is achieved under the adaptive control schemes.

4. Conclusions
Based on Lyapunov stability theory, this paper has discussed the dynamic principles of mammals’ circadian rhythms, where the suprachiasmatic nucleus (SCN) of the hypothalamus was modeled by a Goodwin oscillator and the vasoactive intestinal polypeptides (VIP) was modeled by a Van der Pol oscillator. Considering that it is very difficult to get the exact values of the system parameters, this paper has proposed effective parameter updating laws to identify the unknown parameters. The result has been proved based on strict theoretical reduction, and it should have a theoretical advantage over the previous results, which were based on the statistical method or experimental data. Another contribution of this paper is the problem of outer synchronization under adaptive control. Noticing that the coupling manner is different from the widely accepted coupling of the classical complex network, this paper has designed targeted adaptive controllers to synchronize the drive Goodwin oscillator network and the response one. The effectiveness of the obtained results has been verified both theoretically and numerically.
We hope that the results can provide theoretical guidance for biology experiments in spite of the confusing biological applications, and we will continue to study the context of the biological interpretation later. Another possible further work is the identification of unknown time-varying parameters since this paper is only applicable to the identification of given and fixed parameters.
Data Availability
The authors affirm that all data necessary for confirming the conclusions of the article are present in the article.
Conflicts of Interest
The authors declare that there is no conflict of interests regarding the publication of this article.
Acknowledgments
This work was supported by the NNSF of China (11447005, 61771230, and 61877033), NSF of Shandong Province (ZR2016FM40), and Shandong Provincial Key Research and Development Program of China (2017CXGC0701).