An interesting consequence of our approach is the following connection between periodic behavior of the original system and multistability of the extended one: if the extended system has unique steady states, then we have convergence to equilibria in the original system. Thus, periodic behavior of this system would imply, under the assumptions of this note, the existence of multiple equilibria for the extension.
A very weak sort of converse is valid as well. Input values
$u$
with
$k\left(k\right(u\left)\right)=u$
which do not arise from the unique fixed point of
$k\left(u\right)=u$
are periodtwo orbits of the iteration
${u}^{+}=k\left(u\right)$
.
Now suppose that we consider the delay differential system
$\dot{x}\left(t\right)=f\left(x\right(t),h(x(tr)\left)\right)$
, where the delay
$r>0$
is very large. We take the initial condition
$x\left(t\right)={x}_{0}$
,
$t\in [r,0]$
, where
${x}_{0}$
is picked in such a manner that
$h\left({x}_{0}\right)={u}_{0}$
, and
${u}_{0}\ne {u}_{1}$
are two elements of
$U$
such that
$k\left({u}_{0}\right)={u}_{1}$
and
$k\left({u}_{1}\right)={u}_{0}$
. By definition of characteristic, the solution
$x\left(t\right)$
approaches
${x}_{1}$
, where
$h\left({x}_{1}\right)={u}_{1}$
, if the input to the openloop system
$\dot{x}=f(x,u)$
is
$u\left(t\right)\equiv {u}_{0}$
. Thus, if
$r$
is large enough, the solution of the closedloop system will be close to the constant value
${x}_{1}$
for
$t\approx r$
. Repeating this procedure, one can show the existence of a lightly damped “oscillation” between the values
${x}_{0}$
and
${x}_{1}$
, in the sense of a trajectory that comes close to these values as many times as desired (a larger
$r$
being in principle required in order to come closer and more often). In certain applications such as molecular biological experiments, measurements have poor resolution and time duration. In such a situation, it may be impossible to practically determine the difference between such pseudooscillations and true oscillations.
It is an open question to prove the existence of true periodic orbits, for large enough delays, when the smallgain condition fails. This is closely related to questions of singular perturbations for delay systems, by timereparametrization (we owe this remark to Roger Nussbaum and to Hal Smith). For example, in the scalar case, and with
$y=x$
, asking that
$\dot{x}=f(x,x(tr\left)\right)$
, has periodic orbits for large enough
$r$
is equivalent to asking that
$\varepsilon \dot{x}\left(t\right)=f\left(x\right(t),x(t1\left)\right)$
has periodic orbits for small enough
$\varepsilon >0$
. For
$\varepsilon =0$
, we have the algebraic equation
$f(x,u)=0$
that defines the characteristic
$x=k\left(u\right)$
. Thus one would want to know that periodic orbits of the iteration
${u}^{+}=k\left(u\right)$
, seen as the degenerate case
$\varepsilon =0$
, survive for small
$\varepsilon >0$
.
References

D. Angeli, E.D. Sontag, Monotone control systems, IEEE Trans. Autom. Control 48: 16841698, 2003.

D. Angeli, E.D. Sontag, Multistability in monotone input/output systems, Systems and Control Letters 51: 185–202, 2004.

G. Enciso, E. Sontag, On the global attractivity of abstract dynamical systems satisfying a small gain hypothesis, with application to biological delay systems, Discrete and Continuous Dynamical Systems, to appear.

G.A. Enciso, E.D. Sontag, Monotone systems under positive feedback: multistability and a reduction theorem, Systems and Control Letters 54: 159–168, 2005.

D. Angeli, P. De Leenheer, E.D. Sontag, On predatorprey systems and smallgain theorems, Mathematical Biosciences and Engineering 2: 25–42, 2005.

D. Angeli, E.D. Sontag, Interconnections of monotone systems with steadystate characteristics, in Optimal Control, Stabilization, and Nonsmooth Analysis (de Queiroz, M., M. Malisoff, and P. Wolenski, eds.), SpringerVerlag, Heidelberg, 2004, pp. 135–154.

Jiang, J.F., On the global stability of cooperative systems, Bulletin of the London Mathematical Society 6: 455–458, 1994.

E.N. Dancer, Some remarks on a boundedness assumption for monotone dynamical systems, Proc. of the AMS 126: 801807, 1998.

E.D. Sontag, Mathematical Control Theory: Deterministic Finite Dimensional Systems, Second Edition, Springer, New York, 1998.

H.L. Smith, Monotone Dynamical Systems, AMS, Providence, 1995.

M. Hirsch, H.L. Smith, Monotone Dynamical Systems, to appear in Handbook of Differential Equations, Ordinary Differential Equations (second volume), Elsevier, 2005.