1: \documentclass{article}
2:
3: \usepackage{algorithm}
4: \usepackage{algorithmic}
5: \usepackage{amsmath}
6: \usepackage{amssymb}
7: \usepackage{graphics}
8: \usepackage{graphicx}
9:
10: \newcommand{\pn}{{(\mathbb{R}^*_+)^n}}
11: \newcommand{\rn}{{\mathbb{R}^n}}
12: \newcommand{\sgn}{\text{sgn}}
13: %\newcommand{\algorithmicerror}[1]{{\bf error :} #1}
14:
15: \newtheorem{thm}{Theorem}[section]
16: \newtheorem{defi}{Definition}[section]
17: \newtheorem{prop}{Proposition}[section]
18: \newtheorem{lemme}{Lemma}[section]
19:
20: \newenvironment{proof}
21: {\noindent {\sc proof.} \\}
22: {\begin{flushright}$\Box$\end{flushright}}
23:
24:
25: \begin{document}
26:
27: \title{Approximation of Dynamical Systems using S-Systems Theory:
28: Application to Biological Systems\footnote{This work is part of
29: the CALCEL project, funded by "La Région Rh\^one-Alpes", France.}}
30:
31:
32: \author{Laurent Tournier}
33: \date{january 2005}
34:
35: \maketitle
36:
37: \begin{abstract}
38: In this article we propose a new symbolic-numeric algorithm to find positive
39: equilibria of a $n$-dimensional dynamical system. This algorithm implies a
40: symbolic manipulation of ODE in order to give a local approximation of
41: differential equations with power-law dynamics (S-systems). A numerical
42: calculus is then needed to converge towards an equilibrium, giving at the same
43: time a S-system approximating the initial system around this equilibrium. This
44: algorithm is applied to a real biological example in 14 dimensions which
45: is a subsystem of a metabolic pathway in Arabidopsis Thaliana.
46: \end{abstract}
47:
48:
49:
50: \section{Introduction}
51: The modelling and study of biological or biochemical systems has become an
52: exciting challenge in applied mathematics. The complexity of real biological
53: dynamical systems lies essentially in the non-linearities of the dynamics as
54: well as in the huge dimension of systems, often leading to a numerical approach.
55: However, as the understanding of cellular mechanisms grows, it has
56: become obvious that the modelling step strongly needs symbolic tools in order
57: to manipulate more and more information and data, and to improve computational
58: tools. Therefore a new area emerged, called "systems biology". It involves
59: different fields of applied mathematics, from computer algebra (see for instance
60: \cite{laubenbacher})
61: to numerical computation (\cite{goldbeter}).\\
62: In the past decades, a lot of different frameworks have been developped to
63: study behaviors of complex biochemical processes. Let us cite here three of
64: them: the discrete networks (see the work of R. Thomas \cite{thomas}), the
65: piecewise linear systems (the so-called Glass networks \cite{glass}, see also
66: \cite{dejong}) and sigmoidal switch systems (\cite{plahte}). The main goal of
67: all these
68: approaches is to propose a (more or less) generic class of dynamical systems,
69: either discrete or differential, that model some behaviors of complex
70: interaction systems. Once this class is clearly defined, its mathematical
71: relevance generally allows both theoretical and numerical analysis.\\
72: The class of systems we use in this paper is the set of S-systems (see
73: \cite{mishra}, \cite{savvoi}, \cite{sav1}). The basic idea of this model is to
74: represent interactions
75: between biochemical species with power-law dynamics. Their mathematical
76: expression is
77: quite general, but sufficiently simple to allow theoretical and practical
78: investigations. We propose in this article a symbolic-numeric algorithm that is
79: based upon S-systems theory. Its goal is to compute the positive equilibria of a
80: $n$-dimensional system of ordinary differential equations (ODE). As it converges
81: towards an equilibrium, it provides a S-system that approaches the original
82: dynamics around this equilibrium. As we will see, the local approximation of
83: some dynamics with power-laws can be made symbolically in any point of the phase
84: space. It can also include treatment of symbolic parameters. However,
85: iterating this process in order to converge towards equilibria needs a
86: numerical computation, which prevents the use of pure symbolic tools to the
87: end.\\
88: In the following, we give a definition of the S-system class as it can be found
89: in the litterature(see for instance \cite{savvoi}). We then
90: propose a symbolic-numeric algorithm that computes an iteration leading to the
91: positive equilibria of a dynamical system. We will see an application of this
92: algorithm on a biological example in dimension $14$. We finally conclude with
93: some remarks on our algorithm and some future works.
94:
95:
96: \section{S-systems}
97:
98: \subsection{Definition}
99: We give here a definition of the class of S-systems.
100: \begin{defi}
101: \label{defSS}
102: A $n$-dimensional S-system $S(\alpha,\beta,G,H)$ is a dynamical system defined
103: by the $n$ differential equations:
104: $$
105: \dot{x_i} = \alpha_i \prod_{j=1}^{n} x_j^{g_{ij}} -
106: \beta_i \prod_{j=1}^{n} x_j^{h_{ij}}
107: \; ,\;\; i = 1\dots n
108: $$
109: with
110: $\alpha = \left(
111: \alpha_1, \dots, \alpha_n
112: \right)\in \pn$
113: , $\beta = \left(
114: \beta_1 \dots \beta_n
115: \right) \in \pn$\\
116: and $G = \left( g_{ij} \right)_{i,j=1\dots n} \in \mathcal{M}_n(\mathbb{R})$,
117: $H = \left( h_{ij} \right)_{i,j=1\dots n} \in \mathcal{M}_n(\mathbb{R}).$\\
118: $\mathbb{R}^*_+$ denotes the set of strictly positive real numbers and
119: $\mathcal{M}_n(\mathbb{R})$ denotes the set of real square matrices of order
120: $n$.
121: \end{defi}
122: Let us introduce the vector field $F$ defined on $\Omega = \pn$:
123: $$
124: F(x) = \left(
125: \begin{array}{c}
126: f_1(x_1,\dots,x_n)\\
127: \vdots\\
128: f_n(x_1,\dots,x_n)
129: \end{array}
130: \right)
131: $$
132: with:
133: $$f_i(x_1\dots,x_n) =
134: \alpha_i \prod_{j=1}^{n} x_j^{g_{ij}} - \beta_i \prod_{j=1}^{n}
135: x_j^{h_{ij}} \,,\quad i=1\dots n$$
136: $F$ is $\mathcal{C}^1$ and therefore locally lipschitz on the open $\Omega$.
137: Cauchy-Lipschitz theorem ensures the existence and unicity of a maximal
138: solution of $S(\alpha,\beta,G,H)$ in $\Omega$,
139: given any initial condition $x(0)=x^0\in\Omega$.
140:
141: This definition of S-systems with power-law differential equations is strongly
142: linked with equations of chemical kinetics. As an example, if we consider the
143: following chemical pathway:
144: $$
145: A+2B \stackrel{k_1}{\rightarrow} C \stackrel{k_2}{\rightarrow} 3D+E
146: $$
147: then the mass-action law applied to species $C$ gives the equation:
148: $$
149: \frac{dc}{dt} = k_1ab^2 - k_2d^3e
150: $$
151: (capital letters design species and small letters design concentrations)\\
152: Therefore in definition \ref{defSS}, coefficients $\alpha_i$ and $\beta_i$ are
153: sometimes called {\it kinetic rates} while $g_{ij}$ and $h_{ij}$ are called
154: {\it kinetic orders}.
155:
156: S-systems are part of a broader formalism known as
157: quasi-monomial (QM) systems (see \cite{brenig}). An interesting result shows that QM systems can
158: be expressed in the form of Lotka-Volterra quadratic systems (see \cite{brenig}
159: for details).
160:
161: \subsection{Equilibrium points}
162: The study of the phase portrait of a S-system $S(\alpha,\beta,G,H)$ begins with
163: the search for equilibrium points in $\Omega$.
164: To find them, we have to solve the system:
165: \begin{equation}
166: \alpha_i\prod_{j=1}^{n} x_j^{g_{ij}} = \beta_i
167: \prod_{j=1}^{n} x_j^{h_{ij}} \,, \quad i = 1\dots n
168: \label{eq_equi}
169: \end{equation}
170: In this paper we will use the following notation:\\
171: Given a vector $x\in \pn$ and a real square matrix $A =
172: \left(a_{ij}\right)_{i,j=1\dots n}$, we
173: define the vector $x^A\in\pn$ by:
174: $$(x^A)_i = \prod_{j=1}^{n} x_j^{a_{ij}}\,,\quad i = 1\dots n$$
175: With this notation, we can express equation (\ref{eq_equi}) as
176: follows:
177: $$x^{G-H} = b$$
178: where $b$ is the vector $\left( \beta_1/\alpha_1, \dots, \beta_n/\alpha_n
179: \right)$.\\
180: Taking the neperian logarithm, this equation leads to:
181: $$
182: (G-H) \ln x = \ln b
183: $$
184: (the logarithm is applied to all components of vector, i.e. $\ln x$ is the
185: $n$-dimensional vector $(\ln x_1,
186: \dots, \ln x_n)$). Posing $y=\ln x$, we are brought back to
187: the resolution of a $n$-dimensional linear system in $y$.\\
188: We have therefore the following proposition:
189: \begin{prop}
190: A S-system $S(\alpha,\beta,G,H)$ has a unique equilibrium $\widetilde{x}$ in
191: $\Omega$ (i.e. a positive equilibrium) if and only if the matrix $(G-H)$ is
192: invertible. $\widetilde{x}$ can be calculated by the formula:
193: \begin{equation}
194: \widetilde{x} = b^{(G-H)^{-1}}
195: \label{eq_equilibre}
196: \end{equation}
197: \end{prop}
198:
199: \subsection{Stability analysis of the equilibrium}
200:
201: The stability analysis of the equilibrium $\widetilde{x}$ uses the study of the
202: spectrum of $J_F(\widetilde{x})$ (the
203: jacobian of $F$ in $\widetilde{x}$).
204: The question we tackle here is to find some relationship between the stability
205: of $\widetilde{x}$ and some properties of the matrix $G-H$.\\
206: As a motivating example, let us consider the one-dimensional case. A
207: one-dimensional S-system is expressed by a single differential equation:
208: $$
209: S(\alpha,\beta,g,h)\,:\quad \dot{x} = f(x) = \alpha x^g - \beta x^h
210: $$
211: where $\alpha, \beta >0$ and $g,h\in \mathbb{R}$. The positive equilibrium
212: $\widetilde{x}$ of $(S)$ exists and is unique if and only if $g-h\neq0$. In this
213: case, an obvious calculation leads to:
214: $$
215: \frac{\partial f}{\partial x}(\widetilde{x}) = \alpha \widetilde{x}^{g-1} (g-h)
216: $$
217: so the stability of $\widetilde{x}$ depends directly on the sign of $g-h$: it
218: is asymptotically stable if $g-h <0$ and unstable if $g-h>0$, regardless of
219: parameters $\alpha$ and $\beta$.
220:
221: In the $n$-dimensional case, the stability depends on the sign of the real
222: parts of the jacobian's eigenvalues. Derivating the functions
223: $f_i(x_1\dots,x_n)$, we obtain, for $i,j=1\dots n$:
224: \begin{equation}
225: \label{eq_jacGH}
226: \frac{\partial f_i}{\partial x_j} (\widetilde{x}) =
227: \frac{\alpha_i}{\widetilde{x}_j} \prod_{k=1}^n \widetilde{x}_k^{g_{ik}} .\,
228: (g_{ij}-h_{ij})
229: \end{equation}
230: As in one-dimensional case, we thus obtain a formula that links the jacobian
231: of $F$ in
232: $\widetilde{x}$ with the matrix $G-H$. However, it is not trivial to link
233: the spectrum of $J_F(\widetilde{x})$ with the spectrum of $G-H$.\\
234: Let us recall here the definition of stability of matrices:
235: \begin{defi}
236: \label{defst}
237: A real square matrix $A$ of order $n$ is said to be stable (resp. semi-stable)
238: if all its
239: eigenvalues $\lambda_i$, $i = 1\dots n$, have a negative (resp. non positive)
240: real part.
241: \end{defi}
242: We could hope that the stability of matrix $G-H$ was sufficient to deduce the
243: stability of $\widetilde{x}$. However this is not true, as we can see in the
244: following example.\\
245: For $n = 2$, consider the S-system:
246: $$
247: (S1) : \left\{
248: \begin{array}{lll}
249: \dot{x} & = & 3 x y^2 - 2 x^4\\
250: \dot{y} & = & 4 x^3 y^4 - x^5 y^3
251: \end{array}
252: \right.
253: $$
254: we have:
255: $$
256: \alpha = \left( \begin{array}{l} 3\\ 4 \end{array} \right),\,
257: \beta = \left( \begin{array}{l} 2\\ 1 \end{array}\right),\,
258: G = \left( \begin{array}{ll} 1&2\\ 3&4 \end{array}\right),\,
259: H = \left( \begin{array}{ll} 4&0\\ 5&3 \end{array}\right)
260: $$
261: The matrix $G-H$ is equal to:
262: $$
263: G-H = \left( \begin{array}{ll} -3&2\\ -2&1 \end{array}\right)
264: $$
265: Its characteristic polynomial is $\chi(\lambda) =
266: (\lambda+1)^2$ so the matrix is stable.\\
267: Since $G-H$ is invertible, there is a unique equilibrium:
268: $\widetilde{x} = \left( \frac{32}{3},\frac{256}{9} \right)$.We can calculate
269: the two
270: eigenvalues $\lambda_1$ and $\lambda_2$ of $J_F(\widetilde{x})$.
271: We find that $\lambda_1,\lambda_2 > 0$, implying that
272: $\widetilde{x}$ is an unstable node. As a result, in spite of the stability of
273: matrix $G-H$, the equilibrium $\widetilde{x}$ is unstable.
274:
275: The stability of $G-H$ is therefore insufficient to deduce the stability of
276: $\widetilde{x}$.\\
277: We need a stronger property known as sign stability
278: (see \cite{jefvdd},\cite{mayqui}).
279: \begin{defi}
280: Two real square matrices of order $n$, $A = \left(a_{ij}\right)_{i,j=1\dots n}$
281: and $B = \left(b_{ij}\right)_{i,j=1\dots n}$, have the same sign pattern if:
282: $$
283: \forall \, i,j = 1\dots n\,,\; \sgn(a_{ij}) = \sgn(b_{ij})
284: $$
285: The function $\sgn$ is the classical signum function:
286: $$
287: \forall x\in\mathbb{R}\,,\; \sgn(x) = \left\{
288: \begin{array}{cl}
289: +1 & \text{ if } x>0\\
290: 0 & \text{ if } x=0\\
291: -1 & \text{ if } x<0\\
292: \end{array}
293: \right.
294: $$
295: \end{defi}
296: \begin{defi}
297: A real square matrix $A$ of order $n$ is said to be sign stable
298: (resp. sign semi-stable) if
299: all the matrices that have the same sign pattern
300: are stable (resp. semi-stable) in the sense of definition \ref{defst}.
301: \end{defi}
302: In \cite{jefvdd} we find a characterization of the sign
303: semi-stability:
304: \begin{thm}[Quirk-Ruppert-Maybee]
305: \label{th_qrm}\ \\
306: A real square matrix $A = \left(a_{ij}\right)_{i,j=1\dots n}$ is sign
307: semi-stable if and only if it
308: satisfies the following three conditions:\\[2mm]{}
309: \begin{tabular}{l}
310: (i) $\forall\, i = 1\dots n\,,\; a_{ii} \leq 0$\tabularnewline[2mm]
311: (ii) $\forall\, i\neq j \,,\; a_{ij}a_{ji} \leq 0$\tabularnewline[2mm]
312: (iii) for each sequence of $k\geq 3$ distinct indices $i_1,\dots,i_k$,\\
313: $\qquad$we have: $ a_{i(1)i(2)}\dots a_{i(k-1)i(k)}a_{i(k)i(1)} = 0$
314: \end{tabular}
315: \\[2mm]{}
316: (The third condition is equivalent to the fact that the directed graph
317: associated to $A$ admits no $k$-cycle for $k\geq3$)
318: \end{thm}
319: With this notion, we can formulate the following proposition, which links the
320: stability of the equilibrium $\widetilde{x}$ of a S-system with the sign
321: semi-stability of matrix $G-H$:
322: \begin{prop}
323: \label{prop_stabilite}
324: Let consider a $n$-dimensional S-system $S(\alpha,\beta,G,H)$. We assume that
325: $G-H$ is invertible and we note $\widetilde{x}$ the unique positive equilibrium
326: of $(S)$. We also assume that $\widetilde{x}$ is hyperbolic (i.e. none of the
327: eigenvalues of the jacobian of $F$ in $\widetilde{x}$ have zero real part).\\ If
328: the matrix $G-H$ is sign semi-stable (i.e. if it verifies
329: the three conditions of theorem \ref{th_qrm}) then, regardless of parameters
330: $\alpha$ and $\beta$, the equilibrium $\widetilde{x}$ is
331: asymptotically stable.
332: \end{prop}
333: \begin{proof}
334: Let us note $J$ the Jacobian of $F$ in $\widetilde{x}$ and $P$ the matrix $G-H$.
335: The equation \ref{eq_jacGH} yields:
336: $$
337: \frac{\partial f_i}{\partial x_j} (\widetilde{x}) =
338: \frac{\gamma_i}{\widetilde{x}_j} p_{ij}
339: $$
340: with $\gamma_i = \alpha_i \prod_{k=1}^n \widetilde{x}_k^{g_{ik}}$. As
341: $\gamma_i>0$ and $\widetilde{x}_j>0$ for all $i$ and $j$, matrices $J$ and $P$
342: have the same sign pattern. We can thus deduce that $J$ is semi-stable and as
343: $\widetilde{x}$ is supposed hyperbolic, it is asymptotically stable.
344: \end{proof}
345: Let us remark that the latter equation gives, in
346: matricial notation:
347: $$
348: J = \Gamma P D^{-1}
349: $$
350: where $\Gamma$ and $D$ are diagonal matrices:
351: $$
352: \Gamma=\left(\begin{array}{ccc}\gamma_1&&\\&\ddots&\\&&\gamma_n\end{array}
353: \right)\,, \qquad D=\left(
354: \begin{array}{ccc}\widetilde{x}_1&&\\&\ddots&\\&&\widetilde{x}_n
355: \end{array}\right)
356: $$
357: so $\sgn(\det(J)) = \sgn(\det(P))$. As we have supposed that $P$ is invertible,
358: we deduce that $J$ is also invertible and does not have null eigenvalues.
359: So we supposed the hyperbolicity of $\widetilde{x}$ in order to avoid
360: imaginary eigenvalues of $J$.\\
361: We can easily verify in the previous example that $G-H$ is stable but not sign
362: semi-stable ($g_{22}-h_{22} = 1 >0$).
363:
364: \section{Local approximation of dynamical system using S-systems}
365:
366: In this part, we propose an algorithm for approaching the equilibria of a
367: dynamical system using S-systems. Simultaneously, we obtain a
368: S-system that approximates the initial system around the equilibrium.
369:
370: \subsection{Monomial approximation of a positive vector field}
371: (see \cite{sav1},\cite{sav2},\cite{savvoi}).\\
372: Let's consider the positive vector field $F : \pn \rightarrow \pn$.
373: $$
374: F(x) = \left( \begin{array}{c}
375: f_1(x_1,\dots,x_n)\\
376: \vdots\\
377: f_n(x_1,\dots,x_n)
378: \end{array} \right)
379: $$
380: We will suppose $F$ sufficiently smooth on $\pn$.\\
381: Let us define the following change of variables: $y = \ln x$, and
382: express the logarithm of $F(x)$ as a function $G$ of the new variable
383: $y$:
384: $$
385: \ln F(x) = \ln F(e^y) = G(y)
386: $$
387: The function G is sufficiently smooth on $\rn$. Given any arbitrary point
388: $y^0\in \rn$, let
389: us write the Taylor expansion of $g_i$ (for $i=1\dots n$) in the neighborhood
390: of $y^0$ at the first order:
391: $$
392: \forall i = 1\dots n\,,\; g_i(y) = g_i(y^0) + \sum_{j=1}^n (y_j - y_j^0)
393: \frac{\partial g_i}{\partial y_j} (y^0) + o(\parallel y-y^0 \parallel)
394: $$
395: We introduce the functions $\tilde{g}_i(y)$ for $i=1\dots n$:
396: $$\forall i=1\dots n\,,\;\tilde{g}_i(y) = g_i(y^0) + \sum_{j=1}^n
397: (y_j - y_j^0) \frac{\partial g_i}{\partial y_j} (y^0)$$
398: and the functions $\tilde{f}_i = \exp (\tilde{g}_i(y))$:
399: $$
400: \begin{array}{lll}
401: \tilde{f}_i(x) &\stackrel{def}{=}& e^{\tilde{g_i}(y)}\\
402: & = & e^{g_i(y^0)} \exp \left( \displaystyle \sum_{j=1}^n (y_j-y_j^0)
403: \frac{\partial g_i}{\partial y_j} (y^0) \right)\\
404: & = & e^{g_i(y^0)} \displaystyle \prod_{j=1}^n \exp \left( (y_j-y_j^0)
405: \frac{\partial g_i}{\partial y_j} (y^0) \right)
406: \end{array}
407: $$
408: As $y=\ln x$ and $g_i(y)=\ln f_i(x)$, we have:
409: $$
410: \tilde{f}_i(x) = f_i(x^0) \prod_{j=1}^n \left( \frac{x_j}{x_j^0}
411: \right)^{\frac{\partial g_i}{\partial y_j} (y^0)}
412: $$
413: and:
414: $$
415: \begin{array}{lll}
416: \displaystyle
417: \frac{\partial g_i}{\partial y_j} (y) &=& \displaystyle
418: \frac{\partial}{\partial y_j} \left( \ln (f_i(e^y)) \right)\\[3mm]{}
419: &=& \displaystyle \frac{1}{f_i(e^y)} \frac{\partial}{\partial y_j}
420: \left( f_i(e^y) \right)\\[3mm]{}
421: &=& \displaystyle \frac{1}{f_i(x)} e^{y_j} \frac{\partial f_i}{\partial x_j}
422: ( e^y )\\[3mm]{}
423: &=& \displaystyle \frac{x_j}{f_i(x)} \frac{\partial f_i}{\partial x_j} (x)\\
424: \end{array}
425: $$
426: Therefore, we have defined a vector field $\widetilde{F} = \displaystyle
427: \left(\tilde{f}_i\right)_{i=1\dots n}$
428: \begin{equation}
429: \label{ftilde}
430: \widetilde{F}(x) = \left( \alpha_i \prod_{j=1}^n x_j^{g_{ij}} \right)_{i=1\dots n}
431: \end{equation}
432: \begin{equation}
433: \label{coeffFtilde}
434: \text{with: } \left\{
435: \begin{array}{lcl}
436: \alpha_i(x^0) &=& \displaystyle f_i(x^0) \prod_{j=1}^n (x_j^0)^{-g_{ij}}\\[2mm]{}
437: g_{ij}(x^0) &=& \displaystyle \frac{x_j^0}{f_i(x^0)}
438: \frac{\partial f_i}{\partial x_j}(x^0)
439: \end{array}
440: \right.
441: \end{equation}
442: The basic idea is to use the monomial vector field $\widetilde{F}$ as an
443: approximation of $F$ in a neighborhood of $x^0$.
444: \begin{defi}
445: \label{defSapp}
446: Let $F$ be a smooth $n$-dimensional vector field, $F:\pn\rightarrow\pn$ and
447: $x^0$ any vector of $\pn$. We call S-approximation of $F$ in $x^0$ the
448: vector field $\widetilde{F}$ defined by equations (\ref{ftilde}) and
449: (\ref{coeffFtilde}).
450: \end{defi}
451:
452: The following proposition is basic for what follows:
453: \begin{prop}
454: \label{propstab}
455: Let $F$ be a positive vector field and
456: $\widetilde{F}$ its S-approximation in $x^0$. The following
457: equalities hold:
458: \begin{itemize}
459: \item $\widetilde{F}(x^0)=F(x^0)$
460: \item $\displaystyle \forall\, i,j=1\dots n\,,\; \frac{\partial
461: \tilde{f}_i}{\partial x_j}
462: (x^0) = \frac{\partial f_i}{\partial x_j}(x^0)$\\
463: (or, which is equivalent: $J_F(x^0) = J_{\widetilde{F}}(x^0)$)
464: \end{itemize}
465: \end{prop}
466:
467:
468: \subsection{Finding equilibria of a dynamical system}
469:
470: We consider a $n$-dimensional dynamical system of the form:
471: $$
472: (S)\quad \dot{x} = V^+(x) - V^-(x)
473: $$
474: where $x$ lies in $\pn$ and $V^+$, $V^-$ are positive vector fields.
475: $V^+,V^- : \pn\rightarrow\pn$. For $i=1\dots n$,
476: the term $v_i^+(x)$ is the {\em production term} of the variable $x_i$ and
477: $v_i^-(x)$
478: the {\em decay term} of $x_i$. We propose an algorithm for finding
479: an equilibrium point of $(S)$ that lies in $\pn$. Meanwhile, we get a
480: S-system that approximates the system $(S)$ around this equilibrium.
481:
482: Given a point $x^0$ in $\pn$, we introduce the fields $\widetilde{V}^+$ and
483: $\widetilde{V}^-$ which are the S-approximations of the
484: fields $V^+$ and $V^-$ in $x^0$. Let us consider the $n$-dimensional S-system:
485: $$
486: (S_{x^0})\quad \dot{x} = \widetilde{V}^+(x) - \widetilde{V}^-(x)
487: $$
488: using (\ref{ftilde}) and (\ref{coeffFtilde}), we obtain:
489: $$
490: (S_{x^0}) :\quad \dot{x}_i = \alpha_i \prod_{j=1}^{n} x_j^{g_{ij}} -
491: \beta_i \prod_{j=1}^{n} x_j^{h_{ij}}
492: ,\quad i = 1\dots n
493: $$
494: where:
495: \begin{equation}
496: \label{eq_coeffab}
497: \left\{
498: \begin{array}{lll}
499: \alpha_i & = & \displaystyle v_i^+(x^0)\prod_{j=1}^n (x_j^0)^{-g_{ij}}\\[2mm]{}
500: \beta_i & = & \displaystyle v_i^-(x^0)\prod_{j=1}^n (x_j^0)^{-h_{ij}}\\
501: \end{array}
502: \right.
503: \end{equation}
504: and:
505: \begin{equation}
506: \label{eq_coeffgh}
507: \left\{
508: \begin{array}{lll}
509: g_{ij} &=& \displaystyle \frac{x_j^0}{v_i^+(x^0)}
510: \frac{\partial v_i^+}{\partial x_j}(x^0)\\[2mm]{}
511: h_{ij} &=& \displaystyle \frac{x_j^0}{v_i^-(x^0)}
512: \frac{\partial v_i^-}{\partial x_j}(x^0)
513: \end{array}
514: \right.
515: \end{equation}
516:
517: If the matrix $G-H$ is invertible, the system $(S_{x^0})$ admits a
518: unique equilibrium $x_{eq} \in \pn$:
519: $$
520: x_{eq} = b^{(G-H)^{-1}}
521: $$
522: with $b = \left( \beta_1/\alpha_1,\dots,\beta_n/\alpha_n
523: \right)$. This point $x_{eq}$ depends on the initial point $x^0$ where we made
524: our approximation. Let $x^1 = x_{eq}$ be the new initial point where we make our
525: new S-approximation. The
526: algorithm (\ref{alg1}) computes the iteration of that process.
527:
528: \begin{algorithm}[ht]
529: \caption{Search of an equilibrium point of system $(S)$}
530: \label{alg1}
531: \begin{algorithmic}
532: \REQUIRE
533: $$\begin{array}{ll}
534: X = x^0&\in\pn \text{ (initial condition)}\\ V^+,V^- &\text{: positive vector
535: fields defined over }\pn\\ \epsilon >0 &\text{: precision }
536: \end{array}$$
537: \ENSURE
538: unless we fall in a degenerate case, we find a point $y$ close to a positive
539: equilibrium of $(S)$ with the precision $\epsilon$. Meanwhile, we obtain the
540: S-system $(S_y)$ that approximate system $(S)$ around this equilibrium.
541: \STATE
542: \REPEAT
543: \STATE $Y := X$
544: \FOR{$i=1$ to $n$}
545: \FOR{$j=1$ to $n$}
546: \STATE $g_{ij} := \displaystyle \frac{X_j}{v_i^+(X)} \frac{\partial
547: v_i^+}{\partial X_j}$
548: \STATE $h_{ij} := \displaystyle \frac{X_j}{v_i^-(X)} \frac{\partial
549: v_i^-}{\partial X_j}$
550: \ENDFOR
551: \STATE $\alpha_i := \displaystyle v_i^+(X)\prod_{j=1}^n
552: (X_j)^{-g_{ij}}$
553: \STATE $\beta_i := \displaystyle v_i^-(X)\prod_{j=1}^n
554: (X_j)^{-h_{ij}}$
555: \STATE $b_i := \beta_i / \alpha_i$
556: \ENDFOR
557: \IF{$\det(G-H)\neq0$}
558: \STATE $X := b^{(G-H)^{-1}}$
559: %\COMMENT{Recall that $b = \left( \frac{\beta_1}{\alpha_1},\dots,
560: %\frac{\beta_n}{\alpha_n} \right)$}
561: \ELSE
562: \STATE degenerate case: algorithm terminated
563: $\rightarrow$ restart the algorithm with a new initial condition
564: \ENDIF
565: \UNTIL $\parallel X - Y \parallel < \epsilon$
566: \STATE Result $:= X$
567: \end{algorithmic}
568: \end{algorithm}
569:
570: \subsection{Correctness of the algorithm}
571: Let's describe the first iteration.\\
572: Let $x^0\in\pn$. With formulae (\ref{eq_coeffab}) and (\ref{eq_coeffgh}), we
573: define the quantities
574: $\alpha_i(x^0)$, $\beta_i(x^0)$, $g_{ij}(x^0)$ and $h_{ij}(x^0)$.They depend
575: on the choice of the initial point $x^0$. We assume that the constructed
576: matrices $G(x^0)$ and $H(x^0)$ verify the condition: $\det(G-H)\neq0$.
577: Thanks to this assumption, there exists a unique equilibrium point of the system
578: $(S_{x^0})$. We will denote it $x^1$, and we define the function $\Psi : \pn
579: \rightarrow \pn$ that, to each $x^0\in \pn$ associates the point $x^1$.\\
580: Our algorithm is iterative, in the sense that it computes:
581: $$
582: (I) \left\{
583: \begin{array}{l}
584: x^0 \in \pn\\
585: x^{n+1} = \Psi (x^n)
586: \end{array}
587: \right.
588: $$
589: This iterative process converges towards fixed points of $\Psi$. However we do
590: not {\it a priori} know if
591: all fixed points of $\Psi$ are indeed limits of $(I)$. In other words, we must
592: find
593: which fixed points are {\em attracting}.\\ The correctness of the
594: algorithm (\ref{alg1}) is a consequence of the two following lemmas:
595: \begin{lemme}
596: The equilibria of initial system $(S)$ are the fixed points of the
597: function $\Psi$
598: \end{lemme}
599: \begin{lemme}
600: Given a fixed point $\bar{x}$ of $\Psi$, there exists some initial points $x^0$ that
601: lead to $\bar{x}$ by the iteration $(I)$. In other words, the positive equilibria of
602: $(S)$ are the attracting fixed points of $\Psi$.
603: \end{lemme}
604: \begin{proof} (First lemma)
605: Let $\bar{x}\in\pn$ such that $\det(G(\bar{x})-H(\bar{x}))$ is different from
606: zero.
607: (for convenience, we will omit the dependency in $\bar{x}$, and note for instance
608: $G$ in place of $G(\bar{x})$). Using equation (\ref{eq_equilibre}), we have:
609: \begin{equation}
610: \label{eq_psi}
611: \Psi(\bar{x}) = b^{(G-H)^{-1}}
612: \end{equation}
613: where $b$ is the vector $\left( \beta_i / \alpha_i \right)_{i=1\dots n}$.\\
614: Therefore:
615: $$
616: \begin{array}{lll}
617: \Psi(\bar{x}) = \bar{x} & \Longleftrightarrow & b^{(G-H)^{-1}} = \bar{x}\\
618: & \Longleftrightarrow & b = \bar{x}^{(G-H)}\\
619: & \Longleftrightarrow & \displaystyle \forall i = 1\dots n ,\,
620: \frac{\beta_i}{\alpha_i} = \prod_{j=1}^n \bar{x}_j^{g_{ij}-h_{ij}}\\
621: & \Longleftrightarrow & \displaystyle \forall i = 1\dots n ,\,
622: \beta_i \prod_{j=1}^n \bar{x}_j^{h_{ij}} = \alpha_i \prod_{j=1}^n
623: \bar{x}_j^{g_{ij}}\\
624: \end{array}
625: $$
626: By definition, $\alpha_i \prod_{j=1}^n \bar{x}_j^{g_{ij}}$ (resp.
627: $\beta_i \prod_{j=1}^n \bar{x}_j^{h_{ij}}$) is the S-approximation of $V^+$
628: (resp. $V^-$) in $\bar{x}$. Proposition \ref{propstab} implies then:
629: $$
630: \Psi(\bar{x}) = \bar{x} \quad \Longleftrightarrow \quad V^+(\bar{x}) =
631: V^-(\bar{x})
632: $$
633: Thus, the equilibria of $(S)$ are the fixed points of the function $\Psi$.
634: \end{proof}
635:
636: In order to prove the second lemma, we will use the following fixed point
637: criterion:\\
638: \begin{em}
639: If the function $\Psi$ is a contraction on the open set $W$ and if $\bar{x}\in
640: W$ is a fixed point of $\Psi$, then $\bar{x}$ is the unique fixed point of
641: $\Psi$ in $W$ and it is attracting, that is to say,
642: for all $x^0\in W$, the iteration $(I)$ converges towards $\bar{x}$.
643: \end{em}
644: \begin{proof} (Second lemma)
645: Let $\bar{x}$ be a fixed point of $\Psi$. We assume that
646: $\det(G(\bar{x})-H(\bar{x}))\neq0$. The continuity of the determinant implies
647: that there exists a neighboorhood $W$ of $\bar{x}$ in which $\det(G-H)\neq0$.
648: To prove that $\bar{x}$ is attracting, it is sufficient to show that $\Psi$ is
649: contracting in a neighboorhood of $\bar{x}$. For that, we show that the
650: jacobian of $\Psi$ in $\bar{x}$ is zero.\\
651: Using (\ref{eq_coeffab}) and (\ref{eq_coeffgh}) and posing:
652: $$
653: \left\{
654: \begin{array}{lll}
655: U^+ &=& \log (V^+)\\
656: U^- &=& \log (V^-)\\
657: U &=& U^+ - U^- = \displaystyle \log \left( \frac{V^+}{V^-} \right)\\
658: P &=& G-H
659: \end{array}
660: \right.
661: $$
662: we obtain, for all $x\in W$:
663: $$
664: \Psi_i(x) = \prod_{j=1}^n \left( \frac{v_j^+(x)}{v_j^-(x)}
665: \right)^{p_{ij}^{(-1)}(x)}
666: $$
667: where $\displaystyle \left( p_{ij}^{(-1)} \right)_{i,j=1\dots n}$ is the inverse
668: of the matrix $P = G - H$.\\
669: Let's calculate $p_{ij}^{(-1)}$:
670: $$
671: \begin{array}{lll}
672: p_{ij} &=& g_{ij}-h_{ij}\\
673: &=& \displaystyle x_j \left(\frac{1}{v_i^+}
674: \frac{\partial v_i^+}{\partial x_j}
675: - \frac{1}{v_i^-} \frac{\partial v_i^-}{\partial x_j} \right)\\[3mm]{}
676: &=& \displaystyle x_j \left( \frac{\partial u_i^+}{\partial x_j}
677: - \frac{\partial u_i^-}{\partial x_j} \right)\\[3mm]{}
678: &=& x_j \displaystyle \frac{\partial u_i}{\partial x_j}
679: \end{array}
680: $$
681: in matricial notation: $P = J_u(x) \Delta\,$ where $J_u(x)$ is the
682: jacobian of the function $U$ evaluated in $x$ and $\Delta$ is the
683: diagonal matrix:
684: $$
685: \Delta = \left(
686: \begin{array}{lll}
687: x_1 & &\\
688: & \ddots &\\
689: & & x_n
690: \end{array}
691: \right)
692: $$
693: Therefore $P^{-1} = \Delta^{-1} \left( J_u(x)\right)^{-1} = \Delta^{-1}
694: \left( J_{u^{-1}}(x)\right)$ ($u^{-1}$ is the reciprocal function of $u$)
695: and so:
696: $$
697: \forall i,j=1\dots n\,,\quad
698: p_{ij}^{(-1)} = \frac{1}{x_i} \frac{\partial u_i^{-1}}{\partial x_j}
699: $$
700: with (\ref{eq_psi}) we have, for $i=1\dots n$ and $x\in W$:
701: $$
702: \begin{array}{lll}
703: \Psi_i(x) &=& \displaystyle x_i \prod_{j=1}^n \exp\left( -\frac{1}{x_i} u_j(x)
704: \frac{\partial u_i^{-1}}{\partial x_j}(x) \right)\\
705: &=& \displaystyle x_i \exp\left( - \sum_{j=1}^n \frac{u_j(x)}{x_i}
706: \frac{\partial u_i^{-1}}{\partial x_j}(x) \right)
707: \end{array}
708: $$
709: Deriving this (and omitting the dependency in $x$), we get, for $k\neq i$:
710: $$
711: \frac{\partial \Psi_i}{\partial x_k} = \left[ \displaystyle \sum_{j=1}^n u_j
712: \frac{\partial^2 u_i^{-1}}{\partial x_j \partial x_k} \right]
713: \exp\left( - \sum_{j=1}^n \frac{u_j(x)}{x_i}
714: \frac{\partial u_i^{-1}}{\partial x_j} \right)
715: $$
716: and
717:
718: $\displaystyle
719: \frac{\partial \Psi_i}{\partial x_i} = \left[ \displaystyle \sum_{j=1}^n u_j
720: \frac{\partial^2 u_i^{-1}}{\partial x_j \partial x_k} - \frac{1}{x_i}
721: \sum_{j=1}^n u_j \frac{\partial u_i^{-1}}{\partial x_j}\right] \times
722: $
723: \vspace{-0.6cm}
724: \begin{flushright}
725: $\displaystyle
726: \exp\left( - \sum_{j=1}^n \frac{u_j(x)}{x_i}
727: \frac{\partial u_i^{-1}}{\partial x_j} \right)
728: $
729: \end{flushright}
730: As we have shown that the fixed points of $\Psi$ are the equilibria of $(S)$, we
731: deduce that $\forall k = 1\dots n,\, u_k(\bar{x}) = 0$, therefore:
732: $$
733: J_{\Psi}(\bar{x}) = 0
734: $$
735: We deduce that $\Psi$ is contracting in a neighboorhood of $\bar{x}$, and then
736: that $\bar{x}$ is attracting. This concludes the proof of the second lemma and
737: the correctness of the algorithm.
738: \end{proof}
739:
740: \subsection{An example with multiple positive equilibria}
741:
742: We present here the application of our algorithm for a dynamical system having
743: multiple positive equilibrium points. It is a system known as {\em biological
744: switch} (see \cite{switch}).\\
745: Let's consider the two dimensional dynamical system:
746: \begin{equation}
747: \label{eq_switch}
748: \left\{
749: \begin{array}{lll}
750: \dot{x} &=& \displaystyle \frac{3}{1+y^2} - x\\[3mm]{}
751: \dot{y} &=& \displaystyle \frac{6.75}{3.375+x^3} - y
752: \end{array}
753: \right.
754: \end{equation}
755: It represents the temporal evolution of two positive quantities $x$ and $y$ with
756: linear decay and sigmoidal production (we use here the Hill function
757: $\displaystyle H^-(z) = \frac{K^n}{K^n+z^n}$ often used by biologists to model
758: sigmoidal interactions). As we can see on figure
759: \ref{fig_switch}, This system shows three equilibrium points. The
760: values of these points can be calculated:
761: $$
762: P1\approx \left( \begin{array}{l} 0.697\\1.818 \end{array} \right) \quad
763: P2= \left( \begin{array}{l} 1.5\\1.0 \end{array} \right) \quad
764: P3\approx \left( \begin{array}{l} 2.802\\0.266 \end{array} \right)
765: $$
766: We can show that $P2$ is unstable whereas $P1$ and $P3$ are stable (cf.
767: \cite{switch}).
768:
769: \begin{figure}[htbp]
770: \begin{center}
771: \includegraphics[scale=0.5]{switch2.eps}
772: \caption{nullclines of system (\ref{eq_switch}). (The dash line represents
773: $f_1(x,y)=0$ and the solid one represents $f_2(x,y)=0$).
774: The central equilibrium $P2$ can be
775: shown to be unstable while the two others, $P1$ and $P3$ are stable. The arrows
776: represent the three experimentations described in the text.}
777: \label{fig_switch}
778: \end{center}
779: \end{figure}
780:
781: Applying our program in {\sf Maple}, we found three different initial conditions
782: each of which tends towards one of the three equilibrium points (see figure
783: \ref{fig_switch} and numerical results below). The convergence appears
784: to be fast since we need only 4 iterations to approach the equilibria with a
785: precision of $10^{-5}$. We will discuss about the convergence speed in part
786: \ref{cv}.
787:
788: \begin{itemize}
789: \item With initial condition $x^0 = (2,2)$, algorithm finished in 4
790: iterations and found $P2$ with a precision of $10^{-5}$. The numerical
791: S-system obtained is given by:
792: $$
793: \left\{
794: \begin{array}{lll}
795: \dot{x} &=& 1.500\, y^{-1} - x\\
796: \dot{y} &=& 1.837\, x^{-1.5} -y
797: \end{array}
798: \right.
799: $$
800: \item With initial condition $x^0 = (0.2,1.5)$, algorithm finished in 4
801: iterations and found $P1$ with a precision of $10^{-5}$. The numerical
802: S-system obtained is given by:
803: $$
804: \left\{
805: \begin{array}{lll}
806: \dot{x} &=& 1.745\, y^{-1.535} - x\\
807: \dot{y} &=& 1.647\, x^{-0.274} - y
808: \end{array}
809: \right.
810: $$
811: \item With initial condition $x^0 = (2,0.2)$, algorithm finished in 4
812: iterations and found $P3$ with a precision of $10^{-5}$. The numerical
813: S-system obtained is given by:
814: $$
815: \left\{
816: \begin{array}{lll}
817: \dot{x} &=& 2.352\, y^{-0.132} - x\\
818: \dot{y} &=& 3.879\, x^{-2.6} - y
819: \end{array}
820: \right.
821: $$
822: \end{itemize}
823:
824: \subsection{Stability analysis of approximate S-systems}
825: Consider the $n$-dimensional dynamical system:
826: \begin{equation}
827: \label{sysdyn}
828: \left\{
829: \begin{array}{l}
830: \displaystyle \frac{dx}{dt} = F(x) = V^+(x) - V^-(x)\\
831: x \in \pn
832: \end{array}
833: \right.
834: \end{equation}
835: Algorithm \ref{alg1} ensures that, given any initial condition $x^0$ in $\pn$,
836: unless we fall in a degenerate case, we produce a sequence
837: $(x^q)_{q\in\mathbb{N}}$ (with $x^q\in\pn$) that tends towards a limit point
838: $\widetilde{x}\in\pn$ which is an equilibrium of (\ref{sysdyn}). More
839: precisely, $x^q = \Psi^{(q)}(x^0)$.\\
840: Meanwhile, at each step, it provides us with a S-system $S_q(\alpha_q, \beta_q,
841: G_q, H_q)$ which comes from the S-approximations of functions $V^+$ and
842: $V^-$ in $x^q$. Thus, we have:
843: $$
844: \left\{
845: \begin{array}{lll}
846: \alpha_q &=& \alpha(x^q)\\
847: \beta_q &=& \beta(x^q)\\
848: G_q &=& \displaystyle \left(g_{ij}^q\right)_{i,j=1\dots n}
849: \text{ with: }g_{ij}^q = g_{ij}(x^q) \\
850: H_q &=& \displaystyle \left(h_{ij}^q\right)_{i,j=1\dots n}
851: \text{ with: }h_{ij}^q = h_{ij}(x^q) \\
852: \end{array}
853: \right.
854: $$
855: where $\alpha$, $\beta$, $g_{ij}$ and $h_{ij}$ are the functions defined in
856: (\ref{coeffFtilde}). If we assume that $V^+$ and $V^-$ are at least
857: $\mathcal{C}^1$, we deduce that these sequences converge, as $q$ tends to
858: $\infty$, towards:
859: $$
860: \left\{
861: \begin{array}{lllll}
862: \alpha_q &\rightarrow & \alpha(\widetilde{x})
863: &\stackrel{def}{=}&\widetilde{\alpha}\\
864: \beta_q &\rightarrow & \beta(\widetilde{x})
865: &\stackrel{def}{=}&\widetilde{\beta}\\
866: G_q &\rightarrow & G(\widetilde{x})
867: &\stackrel{def}{=}&\widetilde{G}\\
868: H_q &\rightarrow & H(\widetilde{x})
869: &\stackrel{def}{=}&\widetilde{H}\\
870: \end{array}
871: \right.
872: $$
873: Let $(\widetilde{S})$ be the following S-system:
874: \begin{equation}
875: \label{sysapp}
876: (\widetilde{S})\,:\; \dot{x_i} = \widetilde{\alpha}_i
877: \prod_{j=1}^{n} x_j^{\tilde{g}_{ij}} -
878: \widetilde{\beta}_i \prod_{j=1}^{n} x_j^{\tilde{h}_{ij}},
879: \; i = 1\dots n
880: \end{equation}
881: We want to know in what sense the system (\ref{sysapp}) approach the system
882: (\ref{sysdyn}).
883: An answer is given by the following proposition:
884: \begin{prop}
885: $F$ is supposed $\mathcal{C}^r$ ($r\geq 1$). The equilibrium $\widetilde{x}$ of
886: (\ref{sysdyn}) is an equilibrium of (\ref{sysapp}). Moreover,
887: if $\widetilde{x}$ is hyperbolic, then the flow generated by
888: (\ref{sysapp}) is topologically conjugate to the flow generated by
889: (\ref{sysdyn}) in a neighborhood of~$\widetilde{x}$.
890: \end{prop}
891: \begin{proof}
892: The first assertion is obvious with proposition \ref{propstab}. Let prove the
893: second assertion: it is a direct consequence of the Hartman-Grobman theorem
894: (see for instance \cite{wiggins}).\\
895: Proposition \ref{propstab} shows that systems (\ref{sysdyn}) and
896: (\ref{sysapp}) have the same linearized dynamical systems in $\widetilde{x}$.
897: Thanks to the Hartman-Grobman theorem, we know that these systems are
898: topologically conjugate to their linearized dynamical systems. By transitivity
899: of the topological conjugation, we deduce that (\ref{sysdyn}) and (\ref{sysapp})
900: are topologically conjugate around $\widetilde{x}$.
901: \end{proof}
902: This proposition implies that the stability of $\widetilde{x}$ for system
903: (\ref{sysapp}) is the same that the stability of $\widetilde{x}$ for system
904: (\ref{sysdyn}). As an exemple, let us consider the following 2-dimensional
905: dynamical system:
906: $$
907: (Ex)\left\{
908: \begin{array}{lll}
909: \dot{x} &=& \displaystyle \frac{x}{2+y} - \frac{x^2y^4}{(3+x)(4+y^3)}\\[3mm]{}
910: \dot{y} &=& \displaystyle \frac{5x}{3+x} - \frac{2xy^3}{(x+1)(y+2)}\\
911: \end{array}
912: \right.
913: $$
914: We find the equilibrium point $\widetilde{x}\approx(1.2301,1.6950)$ and the
915: matrix $\widetilde{G}-\widetilde{H}$:
916: $$
917: \widetilde{G}-\widetilde{H} = \left(
918: \begin{array}{cc}
919: -0.709&-2.812\\
920: 0.261&-2.541
921: \end{array}
922: \right)
923: $$
924: Thanks to theorem \ref{th_qrm}, we see that $\widetilde{G}-\widetilde{H}$ is
925: sign semi-stable. The point $\widetilde{x}$, as equilibrium of
926: $(Ex)$ is hence stable.
927:
928: \section{Application to a biological example}
929:
930: We present here a current work we are doing in collaboration with
931: G. Curien
932: (see \cite{curien}). The goal of this work is to understand
933: the metabolic system responsible for the
934: synthesis of aminoacids in Arabidopsis Thaliana.
935: So far, we have focused our study on a subsystem of $14$ variables, with
936: $9$ symbolic parameters. The
937: differential equations present several strongly nonlinear terms due to
938: allosteric control of some enzymes~; in particular, Hill functions and
939: compositions of Hill functions. Since the latter are rational
940: functions, seeking positive equilibria is equivalent to solving a polynomial
941: system. Algebraic manipulations have led us to a simplified system with $5$
942: polynomial equations in $5$ variables. Because of the complexity of these
943: equations, we were not able to achieve the resolution of this system with
944: purely symbolic computations and manipulating symbolic parameters (we used
945: {\sf Maple} 8 and 9).
946: That is why symbolic-numeric methods appeared as a satisfactory way to tackle
947: this problem. As it is a system of equations coming from biochemical kinetics,
948: S-systems seemed to be an appropriate tool in this work.\\
949: {\it In vivo}, this system exhibits a stationnary behavior.
950: Giving realistic values of parameters, we managed, thanks to our algorithm, to
951: find this positive equilibrium. We now have to study the S-approximation of the
952: system near this equilibrium, with different realistic sets of parameters. An
953: interesting idea is also to propose a piecewise S-approximation of the system in
954: order to reproduce its behavior in a wider zone of the phase space.
955: This work is in progress.
956:
957: \section{Discussions and concluding remarks}
958:
959: \subsection{Convergence of our algorithm\label{cv}}
960: The algorithm described above computes the iterations of a vectorial function
961: $\Psi$ on an initial point $x^0\in\pn$, in order to converge towards a fixed
962: point of $\Psi$. As the jacobian of $\Psi$ is the null matrix in those fixed
963: points, we know that the convergence speed is very fast (up to four or five
964: iterations in all the examples presented, for a precision of $10^{-4}$ or
965: $10^{-5}$). As a matter of fact, we are in a case where the speed of convergence
966: is the best possible. Indeed, if the function $\Psi$ is $K$-contractant, one
967: can easily verify that the convergence of the iteration
968: is in $K^n$ (where $n$ is the number of iterations). Since
969: $J_{\Psi}(\widetilde{x})=0$, then we can find a neighborhood
970: of $\widetilde{x}$ wherein $\Psi$ is $K$-contractant for any $0<K<1$.\\
971: However, even if the speed of convergence is very fast, the algorithm
972: behaviour is strongly dependent on the choice of initial point $x^0$. Indeed, if
973: initial system has multiple positive equilibria, each of them have distinct
974: basins of attraction. We cannot {\it a priori} know in which of these basins is
975: the point $x^0$. We even cannot ensure that $x^0$ actually lye in one of them.
976: In fact, the study of basins of attractions of such iterations is a complex
977: issue. The boundaries of such basins can be quite complicated, even fractals
978: \cite{fractal}. As an example, we launched our
979: algorithm for the switch system (equations (\ref{eq_switch})) with initial
980: conditions taken on a grid of $]0,4]^2$. To vizualize the three basins, we
981: colored the initial points (fig \ref{bassins}).
982:
983: \subsection{interaction between symbolic and numerical calculus}
984:
985: As we said in the introduction, a large part of research concerning the
986: analysis of biological phenomena uses both symbolic and numerical techniques.
987: The S-systems as we described represent a large class of systems, yet their
988: simple mathematical expression allows symbolic manipulations, providing
989: a practical framework of study. Algorithm~\ref{alg1}, as presented here needs
990: numerical estimations of symbolic parameters. Nevertheless the technique of
991: S-approximation (def
992: \ref{defSapp}) consists of symbolic manipulations (in particular, we use
993: symbolic computation of partial derivatives). It can be calculated in any point
994: of the phase space and can include symbolic parameters.\\
995: S-approximation gives a computable and rather good approximation of ODE systems
996: (see \cite{sav1} for a comparison between power-law approximation and
997: linearization). A very interesting idea is therefore to use the context
998: information (given for instance by biologists) of a particular system in order
999: to create a piecewise S-approximation of this system. This should provide a
1000: global approximation interpolating the system in some critical points in the
1001: phase space (see \cite{sav4}).
1002:
1003:
1004:
1005: \begin{figure}[htbp]
1006: \begin{center}
1007: \includegraphics[scale=0.5]{bassins3.ps}
1008: \caption{Basins of attraction of points $P1$ (dark), $P2$ (white) and $P3$
1009: (grey). We obtained these graphs by applying algorithm \ref{alg1} for system
1010: (\ref{eq_switch}) with initial conditions taken in a regular grid of $]0,4]$.}
1011: \label{bassins}
1012: \end{center}
1013: \end{figure}
1014:
1015:
1016: \bibliographystyle{plain}
1017: \bibliography{maBiblio}
1018: \end{document}
1019:
1020: