arXiv reader

Competition between transients in the rate of approach to a fixed point

Judy Day, Jonathan Rubin and Carson C. Chow

arXiv
0804.0248v1 · PDF · 2 April 2008
Categories
math.DS, math.SP, q-bio.QM
DOI
10.1137/080718929
Licence
CC0 1.0 The site shows the text.

Abstract

Dynamical systems studies of differential equations often focus on the behavior of solutions near critical points and on invariant manifolds, to elucidate the organization of the associated flow. In addition, effective methods, such as the use of Poincare maps and phase resetting curves, have been developed for the study of periodic orbits. However, the analysis of transient dynamics associated with solutions on their way to an attracting fixed point has not received much rigorous attention. This paper introduces methods for the study of such transient dynamics. In particular, we focus on the analysis of whether one component of a solution to a system of differential equations can overtake the corresponding component of a reference solution, given that both solutions approach the same stable node. We call this phenomenon tolerance, which derives from a certain biological effect. Here, we establish certain general conditions, based on the initial conditions associated with the two solutions and the properties of the vector field, that guarantee that tolerance does or does not occur in two-dimensional systems. We illustrate these conditions in particular examples, and we derive and demonstrate additional techniques that can be used on a case by case basis to check for tolerance. Finally, we give a full rigorous analysis of tolerance in two-dimensional linear systems.

Items 12

Remark

Remark 1

JUPZ

We will also use the terminology that (x_p,y_p) or \psi produces (or does not produce) tolerance in (?) with respect to (x_r,y_r) or \phi to mean that Definition ? (Definition ?) holds. Figure ? illustrates definitions ? and ? with time courses of the first component of solutions \phi(t) and \psi(t) for a given \langle(x_r,y_r),(x_p,y_p)\rangle.

Remark

Remark 2

MG3M

Under (A3), \psi(0) \> \lower 2pt \hbox{def = }\> (x_p,y_p) \in [x_r,\infty) \times [0,\infty); that is, the initial value for the P solution could lie at any point on or to the right of the line x=x_r in the first quadrant. Correspondingly, we define \Gamma^{x_r}_{(0,0)} to be the basin of attraction of (0,0) in [x_r,\infty)\times[0,\infty)\subset\mathbb{R}^{2+}:

\Gamma^{x_r}_{(0,0)} = \Gamma^+_{(0,0)} \cap [x_r,\infty)\times[0,\infty).
Remark

Remark 3

A6VY

The above definitions of tolerance are related to the biological setting that motivated this study through the interpretation of the P trajectory. Consider a non-negative pre-conditioning solution \rho(t)=(\rho_1(t),\rho_2(t)) of (?) with initial value

\rho (0)=(x_\rho,y_\rho) \text{, } 0< x_{\rho}\leq x_r \text{, }0 \leq y_{\rho} \leq y_r.

We then interpret the pre-conditioned solution \psi (t)=(\psi_1(t),\psi_2(t)) as the solution of (?) with initial value

\psi (0)=(x_p(s),y_p(s))\> \lower 2pt \hbox{$\buildrel{\rm def} \over = $}\> \rho (s)+(x_h,y_h)\text{ for some }0\leq s<\infty,

where (x_h,y_h) \in \mathbf R^{2+}. If (x_h,y_h)=(x_r,y_r), which is typical for inflammation experiments, then for fixed \phi(0)=(x_r,y_r) and \rho(0)=(x_\rho,y_\rho), every s defines a unique initial value for \psi that satisfies (A3), namely (x_p(s),y_p(s)) as defined in equation (3). Thus, for a continuum of s values ranging from 0 to \infty, a curve of possible (x_p,y_p) values is formed, and it is of biological interest to know which of these (x_p,y_p) lead to tolerance.

Remark

Remark 4

4AH1

Condition (b) on g in Definition ? is not necessary for our approach, but this assumption clarifies the presentation to follow.

Remark

Remark 5

NADG

We may define y-isoclines analogously to x-isoclines. Since we do not consider these, we will drop the x- and just use isocline to refer to the x-isoclines here.

Remark

Remark 6

TRIM

Note that the sign of f(x,y) is not specified in Definition ?. Thus, when y inhibits x, it may either slow the growth of x or speed up its decay.

Remark

Remark 7

9BOJ

Note that Propositions ? and ? together imply that for an n-excitable trajectory to exist there must exist a region of inhibition.

Example

Example 1

85MN

Consider the system given by

\left. \begin{array}{ccccc} \dot{x} & = & f(x,y) & = & \frac{x^{2}}{1+y}-x \\ \dot{y} & = & g(x,y) & = & x^2-\frac{y}{2} \end{array} \right\} \text{.}
Remark

Remark 8

T4QF

If y_p is increased for fixed x_p, then y_\psi increases, such that the right hand side of (?) decreases. Thus, the larger y_p is, the more likely it is that (?) is satisfied.

Example

Example 2

KV72

Let \dot y=rx-y, r>0 and consider the following general equations as possibilities for \dot x = f(x,y):

\begin{aligned} \dot x = f(x,y) &= \frac{ax^n}{1+by} - cx\\ \dot x = f(x,y) &= ax-by^n\\ \dot x = f(x,y) &= \frac{ax^n}{1+by^m} - cx, \end{aligned}

where a,b,c>0, n,m\in \mathbb{Z}^+ and x,y \geq0.

Example

Example 3

7SHX

Consider the nonlinear system

\left. \begin{array}{ccccc} \dot{x} & = & f(x,y) & = & (.5x-y)\left( \frac{0.1x}{1+y}-1\right) \\ \dot{y} & = & g(x,y) & = & 0.4x-y\text{,} \end{array} \right\}.
Example

Example 4

MB7F

Consider the nonlinear system:

\left. \begin{array}{ccccl} \dot{x} & = & f(x,y) & = & x\left(\frac{1+y^2}{1-y+y^2}-1.9 \right)\\ \dot{y} & = & g(x,y) & = & x-y \end{array} \right\}

Source and licence

The text on this page is from arXiv:0804.0248v1 by Judy Day, Jonathan Rubin and Carson C. Chow, under the licence CC0 1.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/0804/0804.0248.jsonl.