Received 16 February 2016; accepted 23 April 2016; published 26 April 2016
First, an n dimensional system with feedbacks from the n’th variable is introduced and some applications from bio-medicine and biochemistry are described. Then, analysis of a scaled version of the system is made including fixed point investigation. Finally, an easy applicable sufficient criterion for a unique, globally stable fixed point is formulated and proved.
Mathematically, the results in this paper follow from the dimensionless form of the equations stated in (6) of Section 2. But before turning to this form we motivate and discuss the dimensional form of the equations in Section 1 as we relate the system to applications and earlier results.
Many applications of ODEs to physics, chemistry, biology, medicine, and life sciences give rise to non-linear non-negative compartment systems. These include metabolic pathways, membrane transports, pharmacodynamics, epidemiology, ecology, cellular control processes, enzyme synthesis, and control circuits in biochemical pathways  -  .
This paper concerns the stability of the solutions of such models. More specifically, the paper presents criteria for both local and global stability of all systems of ODEs that can be presented as a compartment model with n compartments, on the form shown in Figure 1. Here the n’th variable may have a non-linear feedback on any of the variables. The main results of this paper are:
・ Existence of a “trapping region”―a compact set with non negative elements in which any solution will be trapped after finite time.
・ At least one fixed point exists and a real valued function of one variable and the system parameters determines the fixed point.
・ A unique, globally stable fixed point exists if the norm of a real valued function of one variable and the system parameters is less than 1.
2.1. Motivating Background
Figure 1 reflects typical hormone regulation. Since a hormone has to bind to a receptor to cause a feedback, a bounded number of receptors justify that the feedback functions are bounded. Examples of systems corresponding to Figure 1 with are models of the hypothalamic-pituitary-adrenal axis (HPA axis) concerning the interplay of three hormones in the human body  -    . Here cortisol exerts a feedback on two other hormones that are involved in the production of cortisol. The system is related to stress and depression. Also testosterone secretion has been modelled by a three dimensional compartment ODE-model including a single feedback  which is included in the system investigated here. Similar models exist of gonadotropin hormone secretion  , for describing female fertility  -  and for cellular metabolism  .
A two dimensional model of the HPA axis corresponding to Figure 1 is found in  . Here the focus is on a sufficient criterion for a locally stable fixed point. However it is made clear that a global investigation is preferable. Criteria for global stability of solutions are rare. An example is through use of a Liapunov function   that can be employed to some problems. Existence and construction of a Liapunov function are unfortunately not easily addressed in general, and Liapunov functions are not used in this article.
Some general and analytical considerations partly similar to our has been considered in previous papers   . However,  investigate only a feedback from compartment n to compartment 1. The approach of  proves the existence of periodic solutions but does not touch upon global stability.
The mathematical results derived in this article relate to the robustness of hormonal systems, cellular metabolism, etc. The existence of a trapping region ensures that non negative initial (hormone) values lead to (hormone) levels that stay non negative and bounded which is reasonable. Existence of locally stable fixed points may be interpreted as states where (hormone) levels may settle. Perturbing parameters such that a solution enters the basin of attraction to another fixed point may then be interpreted as a new (physiological) state (for a person). Or distinct stable fixed points may be interpreted as states for distinct groups (of people). In case of a unique, globally stable fixed point the long term behaviour is very robust to perturbations.
2.2. Mathematical Formulation
We consider an n dimensional system of differential equations with n non negative variables,. may exert a feedback on all the variables thus making the system non-linear.
Figure 1. Compartment model of the system.
with production rates and consumption rates. The feedback from on occurs through the function. The following demands are posed for the feedback functions:, , and, and. The feedbacks are modelled to influence the positive stimulation of the variable in a compartment but with a saturation which justify why the feedbacks must be bounded functions. This means a feedback acts like an adjustable tap that affects the production of variable as a function of. When modelling many biochemical systems, such as hormone dynamics, saturation is present due to a finite number of binding sites, e.g., receptors. When all binding sites, or receptors, are occupied and work at maximum speed, then an increase in concentration has insignificant effect. The feedback functions must not attain negative values since this corresponds to reverting the flow. When the concentration of is zero the feedback functions must not cause the production rates to be zero. Therefore,. In life sciences the consumption rates correspond to elimination rates in general and are therefore by and large constants. However, some results hold even if we allow the wi’s to be bounded non-negative functions of. The models outlined in      are covered by Equation (1). An example of a typical feed-
back function is the sigmoidal Hill-function, with, and being an
integer. Such Hill-functions are often the result of underlying inter cellular enzymatic reactions regulating feedbacks in the quasi-steady-state approximation  . In neural networks applications a utilized feedback function is the hyperbolic tangent  .
First a scaling is performed to facilitate the analysis. Defining dimensionless variables by the equations
where and are constants to be defined.
Choosing as a unit of inverse time we get
A scaling of Equation (1) thus leads to the dimensionless system
with constants, , and and, and. corresponds to a dimensionless time and the value of may be fixed arbitrarily. Differentiation with respect to will be noted by a dot such that.
3.1. Existence and Uniqueness of Solutions
Since is and locally Lipschitz in, for all local existence and uniqueness of solutions to Equation (6) are guaranteed given . Since the right hand side of Equation (6) in addition fulfils,
at least one global solution exists. Here we have made exclusive use of the fact that the’s are bounded. Combined with the aforementioned local uniqueness result a unique global solution exist. Alternatively one may combine the fact that Equation (6) is autonomous with theorem 3.22 of  to guarantee global existence and uniqueness of solutions to Equation (6).
3.2. Positivity of Solutions
Avoiding negative modelling hormone levels is necessary for a sound model and is proved in the following lemma.
Lemma 1. The non negative hypercube is an invariant solution set to Equation (6)
Proof. Given a solution initially in the non negative hypercube we consider the behaviour at a boundary of the hypercube―a hyperplane defined by, for. Considering Equation (6) and first considering
which is non negative for all non negative. Then, considering
which is a product of non negative factors for all non-negative. This means a solution cannot pass a boundary given by the non negative hypercube due to the aforementioned (local) uniqueness property of solutions. W
3.3. Existence of a Fixed Point
The fixed point condition of Equation (6) can be expressed
This means that for each fixed point value the fixed point values of the other variables are easily calculated. The equation
may not be explicitly solvable for. However, existence of a solution can be guaranteed and the solution can be numerically approximated.
Define the functions
Thus, finding fixed points of Equation (6) is equivalent to finding that fulfills. Notice that since is bounded we have a bound for R
Now choose for any. Then,
Define the function
Since L and R are continuous so is and notice that and. Then there exists a such that, i.e.. This means there exists at least one fixed point of the system. Notice that any fixed point is in the set.
3.4. Sufficient Criteria for a Unique Fixed Point
We now discuss a sufficient criterion for existence of a unique fixed point of the system. Let denote the smallest existing fixed point of Equation (11). If increase faster than for all (this means for values of larger than), there can only be one fixed point. Since a sufficient criteria for only one fixed point is, which is equivalent to
If the feedback functions correspond to negative feedbacks or are independent of, the criteria is fulfilled since, , Since only attains non negative values, none positive feedbacks guarantee that there exists exactly one fixed point.
3.5. Trapping Region
A trapping region is a set, , where a solution will never escape if it is once in there. It is a physiological desirable property of a model, since this guarantees, that reasonable initial values lead to reasonable levels of the variables for all future time.
Lemma 2. Let and define as
Then is a trapping region for Equation (6).
Proof. is given. For, for all non negative values of the remaining variables. This means that is a ‘trapping region’ for. Using this region for we can find a ‘trapping
region’ for and so on by induction. Assume. Then for we have
This ensures that is a trapping region. W
Notice that if then , for,. This means there is a “hierarchy” when finding the trapping region has to be bounded before a bound on can be found.
For then. Therefore is denoted the ‘minimal’ trapping region. Notice that any fixed point of Equation (1) is contained in U.
3.6. All Solutions Get Arbitrarily Close to U in Finite Time and Stay Close to U
For any we can choose such that the distance between elements of and U is less than i.e.. We will prove that for any any solution enters in finite time (the time depends on the initial condition). Since is a trapping region this means that the solution stays less than away from U for all future time.
Lemma 3. Let, and and. If, then,.
Proof. Follows by the comparison theorem for integrals. W
Lemma 4. Let, and and. Let and let. If, and is decreasing on then there exists such that.
Proof. If then choose. Else. Since and since f is continuous there exists such that with.
Lemma 5. Consider Equation (6). For any any initial condition leads to a solution in after finite time.
Proof. Fix. Assume we have an arbitrary non negative initial condition. If define the compact interval. Thus on.
Since is continuous then has a maximum on. Using lemma 3 and lemma 4 with
and and there exists a finite time such that. Hence by the proof of theorem 2 stays in this region for all future time. If is not yet in we will have to repeat the argument. In general assume for. If then we are done. If then form the compact interval as
Since is continuous on a maximum, , exists and since,. Then by lemma 3 and 4 there exists such that. Then is trapped in this set for all future time. This argument ensures there exists such that.
Since is a trapping region, a solution once in will stay in for all future time. We emphasize that, may be increasing for some time for some initial conditions outside U.
U is the ‘minimal’ trapping region. However, if is strictly positive on then a smaller trapping region can be found using a lower bound on the derivatives which we will not pursue further here.
4. Sufficient Criteria for a Globally Stable Fixed Point
Fix any. Denote. Define the function H
This means H is the restriction of R to. H only attains non negative values since this is the case for R.
To continue we assume H is positive and a contraction on which means we assume there exists such that and and,. This ensures the existence of a unique fixed point of Equation (6). Moreover, any solution of Equation (6) in converge to the unique fixed point of the system which will be proven in this section. The approach relies on squeezing the solutions of the Equation (6) with solutions of linear systems. The contraction property then ensures the upper and lower bound converge towards the same limit why the solutions of Equation (6) must converge to that limit, the unique fixed point of Equation (6).
Thus, two linear systems of differential equations can be constructed with initial condition for.
Then for. Solving the linear systems
and are monomiums in determined from the initial conditions. If for then and are constants. With lemma 3 can be used
Since, the sums appearing in the solutions of the linear systems get arbitrarily small for increasing time. This means for any there exists such that
This means especially
Choosing sufficiently small makes
since. The argument may be repeated using the solutions of linear differential equations as bounds for the non-linear system but with a restricted domain for. Define
From above there exists a finite time such that,.
Now a sequence of sets, , is defined
Lemma 6. in Equation (36) is well defined and compact and.
Proof. The proof is done by induction. and are given by the expressions
Since is compact and H is continuous then and are well defined and finite. This guarantees that is well defined and compact. Since then. Now assume is well defined and compact. Then
are well defined and finite. Then is well defined and compact.
Since by assumption, then and. This means
and ensures. W
Due to the squeezing of the solutions using linear systems we have shown that if then there exists such that for. We may repeat the argument with bounding the solutions of the non-linear differential equations by solutions to linear systems of differential equations. This means there exists such that if then for.
We now want to prove that converges to meaning that all points of converge to. The idea of the proof is based on the convergence of, by the Banach Fixed Point Theorem  . However, there is also a large number of ‘error terms’ that we have to control. This is done by using the contraction property of H as well as a specific choice of the sequence which is decreasing and positive. Thus, all solutions of the non-linear differential equations converge to the unique fixed point of the system. We need the following two lemmas to prove this main result.
Lemma 7. Let p be the contraction constant for H. Then
Proof. Follows from the contraction property and the triangle inequality. W
Similarly it follows.
Lemma 8. Let p be the contraction constant for H. Then
Lemma 7 and 8 means we can bound the maximum and minimum of H applied on a compact interval by the maximal distance between any two points in the interval and H evaluated at an end point of the interval.
As mentioned a specific choice of is chosen as a decaying sequence. Introducing a fixed.
where is the contraction constant for H and is given by Equation (34). Choose iteratively,
For simplicity we put
To simplify notation further we introduce
For later use we emphasize that
and are well defined since repeated use of a continuous function maps compact sets into compact sets.
and are crucial for the range of. We want to make bounds on and using and since we know the latter converges. In “error terms” () are introduced at each step in the sequence. The following lemma helps bounding by a series in the ‘error terms’ and a sequence. This means the “error terms” are separated from and we can then estimate the two separately.
Lemma 9. If H is a contraction and positive on then
Proof. The proof is by induction. Since and and a basis for the induction is justified. Let
We will show
By inequality (51)
Because then and since shrinking the domain of a function can only increase the minimum and decrease the maximum of the function values. Thus, from Equation (39) and. Using inequality (45) we get from Equation (58)
By equality (34)
Using Equation (56)
Since H is continuous on the compact sets,
Using the contraction property as shown in lemma 7 and lemma 8
From the definitions of
Thus, we have upper and lower bounds for each of the sets, , . From Equations (62)-(67) we get
and applying Equation (68)
Using Equation (52)
which completes the proof. W
Lemma 10. Let H be defined as in Equation (23). If H is a contraction and positive on then a unique fixed point exists of Equation (6). All solutions in converge to the fixed point.
Proof. Fix. We will first show that for any there exists a such that
,. Then the convergence of the remaining follows easily.
Since H is a contraction on a complete metric space the Banach Fixed Point Theorem applies, i.e. a uniquefixed point of for any exists.
By Equation (72) there exists such that for,. This means
There exists a such that, ,. By lemma 9 and Equation (58)
Inserting from Equations (73)-(76).
Therefore for. Hence we have proved that converges to for any.
When converges to, converge to since is continuous,. From Equation (28) and Equation (29) this means that and converge towards the same limit as
Since is squeezed between the limit of and.
This means that all solutions with initial conditions in converge to the unique fixed point of Equation (6).W
Since all solutions outside enter in finite time then if H is a contraction and positive on all solutions converge to the fixed point as tends to infinity. This implies that no periodic solution exists. Assuming existence of a periodic solution there must be a positive distance between the fixed point and any periodic solution. Since we have just proved that any solution converge to the fixed point then, after some time we have a contradiction which means, there cannot exist any periodic solutions in the trapping region.
Sufficient Criteria for a Contraction
A sufficient, easily applicable criteria for H being a contraction can be formulated  .
Lemma 11. Let with compact be. If, then f is a contraction.
If H is positive on and if, then all solutions of the non-linear system of differential Equation (6) converge to the unique fixed point. However since it is sufficient that, for this conclusion to hold.
With the results of Section 3 we now have established the main result of global stability of system (6).
Theorem 1. If, and, a unique, globally stable fixed point exists of system (6).
The general formulation and results in this paper guarantee that the hormone levels in the models  -    stay in a trapping region where non-negative concentrations are impossible which is a physiological necessity. A repeating pattern is often visible in hormone levels. However, for Equation (1) periodic solutions are impossible outside the “minimal” trapping region. This narrows the domain for interesting initial conditions. The one dimensional function contains a lot of relevant information about the system since it determines the fixed point(s) and the derivative gives a sufficient criterion for a globally stable fixed point. In  -   , the sufficient criteria for a globally stable fixed point are fulfilled for a subset of the physiologically relevant parameter space. In  , the focus is on local stability of the fixed point. The investigation of global stability using the criteria found in this paper seems straight forward. Similarly for  when the external input to the system is independent of time.
A model of mRNA and Hes1 protein production fits Figure 1   . However, a time delay in the feedback has to be included in order to obtain experimentally observed oscillations. A model of testorone dynamics including delay in the feedback is investigated in  . Including time delays in models corresponding to Figure 1 has proved useful in the search for oscillatory behaviour  -  . One may wonder whether the feedback itself can cause oscillations or if a time delay needs to be included. The contribution of this paper may help in quickly ruling out oscillatory behaviour in the case of no time delay.
Including time delay in the feedbacks, global stability criteria have been formulated for a subset of possible feedback functions in systems resembling 1  . This requires that all feedbacks are monotone functions. The approach is different from ours and relies on control theory.
A general formulation of an n-dimensional system of differential equations with up to n feedbacks from the n’th variable is formulated. The feedbacks may be non-linear but must be represented by bounded functions which are considered to be the case for some biological systems. Some relevant general results are shown.
・ Existence and uniqueness of solutions are guaranteed.
・ Non-negative initial conditions cause non-negative solutions for all future time.
・ A trapping region, , with non-negative elements exists. A “minimal” trapping region, , exists. The existence of a trapping region is a desirable property if e.g. the system is a model of hormone levels. Then moderate hormone levels are guaranteed for future time if the initial conditions are reasonable.
・ All solutions of the system enter in finite time for. Then any solution gets arbitrarily close to U in finite time. This eliminates the existence of possible limit cycles outside U.
・ At least one fixed point exists and all fixed points are contained in U. Using a sufficient criteria for uniqueness of the fixed point is
If the feedback functions correspond to negative feedbacks or are independent of then a unique fixed point exists.
・ If, and, a unique, globally stable fixed point exists.1
 Savic, D., Jelic, S. and Buric, N. (2006) Stability of a General Delay Differential Model of the Hypothalamo-Pituitary-Adrenocortical System. International Journal of Bifurcation and Chaos, 16, 3079-3085.
 Vinther, F., Andersen, M. and Ottesen, J.T. (2010) The Minimal Model of the Hypothalamic-Pituitary-Adrenal Axis. Journal of Mathematical Biology, 63, 663-690.
 Andersen, M., Vinther, F. and Ottesen, J.T. (2013) Mathematical Modeling of the Hypothalamic-Pituitary-Adrenal gland (Hpa) Axis, Including Hippocampal Mechanisms. Mathematical Biosciences, 246, 122-138.
 Tyson, J.J. and Othmer, H.G. (1978) The Dynamics of Feedback Control Circuits in Biochemical Pathways. Progress in Theoretical Biology, 5, 1-62.
 Tyson, J.J. (1983) Periodic Enzyme Synthesis and Oscillatory Repression: Why Is the Period of Oscillation Close to the Cell Cycle Time. Journal of Theoretical Biology, 103, 313-328.
 Bingzhenga, L., Zhenye, Z. and Liansong, C. (1990) A Mathematical Model of the Regulation System of the Secretion of Glucocorticoids. Journal of Biological Physics, 17, 221-233.
 Hosseinichimeh, N., Rahmandad, H. and Wittenborn, A. (2015) Modeling the Hypothalamus-Pituitary-Adrenal Axis: A Review and Extension. Mathematical Biosciences, 268, 52-65.
 Clarke, I. and Cummings, J. (1984) Direct Pituitary Effects of Estrogen and Progesterone on Gonadotropin Secretion in the Ovariectomized Ewe. Neuroendocrinology, 39, 267-274.
 Harris-Clark, P., Schlosser, P. and Selgrade, J. (2003) Multiple Stable Solutions in a Model for Hormonal Control of Menstrual Cycle. Bulletin of Mathematical Biology, 65, 157-173.
 Karsch, F., Dierschke, D., Weick, R., Yamaji, T., Hotchkiss, J. and Knobil, E. (1973) Positive and Negative Feedback Control by Estrogen of Luteinizing Hormone Secretion in the Rhesus Monkey. Endocrinology, 92, 799-804.
 Chitour, Y., Grognard, F. and Bastin, G. (2003) Lecture Notes in Control and Information Sciences: Stability Analysis of a Metabolic Model with Sequential Feedback Inhibition. Springer Berlin/Heidelberg.
 Conrad, M., Hubold, C., Fischer, B. and Peters, A. (2009) Modeling the Hypothalamus-Pituitary-Adrenal System: Homeostasis by Interacting Positive and Negative Feedback. Journal of Biological Physics, 35, 149-162.
 Hastings, S., Tyson, J. and Webster, D. (1977) Existence of Periodic Solutions for Negative Feedback Cellular Control Systems. Journal of Differential Equations, 25, 39-64.
 Jensen, M.H., Sneppen, K. and Tiana, G. (2003) Correspondence Sustained Oscillations and Time Delays in Gene Expression of Protein Hes1. FEBS Letters, 541, 176-177.
 Ruan, S. and Wei, J. (2001) On the Zeros of a Third Degree Exponential Polynomial with Applications to a Delayed Model for the Control of Testosterone Secretion. IMA Journal of Mathematics Applied in Medicine and Biology, 18, 41-52.