next up previous contents
Next: Theoretical Foundation - Takens' Up: Geometry from an Ideal Previous: Geometry from an Ideal   Contents

The Principle of Reconstruction - Method of Delays

The first group to propose a solution for the problem of extracting geometric information from time series was Packard et al. [3]. The basic idea of their approach is that the state of an $m$-dimensional dynamical system can be uniquely characterized by $m$ independent quantities. One such set of independent quantities are, of course, the phase space coordinates (more exact: the coordinates in some $m$-dimensional basis which spans $M$)
\begin{displaymath}
\quad y(t) = \bigl(y_1(t),\ldots,y_m(t)\bigr)^T \quad,
\end{displaymath} (8)

but these are not available, since the only data one has is the one-dimensional time series. Based on the conjecture that any $m$-tupel of numbers should give equivalent results (in the sense that, if one reconstructs several phase portraits in accordance with this idea, then for any two of these phase portraits there should be a diffeomorphism which maps one onto the other) Packard et al. proposed two different possibilities to construct $m$-vectors which in some sense contain the same information as the original state vectors in eq. (8): One can work with the method of delays which simply takes $m$ consecutive elements of the time series directly as coordinates in phase space:
\begin{displaymath}
\quad x_i = \bigl(v_i,v_{i+1},\ldots,v_{i+m-1}\bigr)^T, \ \ \ \ i=0,1,2,\ldots \quad.
\end{displaymath} (9)

For example when analyzing a dynamical system it is often convenient just to take one coordinate of phase space as the observable $v$:
\begin{displaymath}
\quad x_i = \Bigl(y_1(i\tau),y_1((i+1)\tau),\ldots,y_1((i+m-1)\tau)\Bigr)^T,
\ \ \ \ i=0,1,2,\ldots \quad.
\end{displaymath} (10)

The other possibility suggested by Packard et al. is to use the time series to construct time derivatives of the measured observable2 and use the vectors
\begin{displaymath}
\quad \left(v(i\tau),\dot v(i\tau),\ddot v(i\tau),\ldots,...
...}{dt^{m-1}}v(i\tau)\right)^T,
\ \ \ \ i=0,1,2,\ldots \quad.
\end{displaymath} (11)

In this way the one-dimensional time series is used to build a sequence of $m$-dimensional vectors which form a trajectory in some $m$-dimensional space. Numerical experiments done by Packard et al. show that this procedure gives reasonable results: the phase-space pictures one gets seem closely related to the corresponding pictures of the original dynamical system. In particular, topological properties and the geometrical form of the attractor seem to be conserved under this procedure. As an illustration of this method of phase space reconstruction, we present a result of Broomhead and King [7]: They considered the Lorenz system:
$\displaystyle \frac{dx}{dt}$ $\textstyle =$ $\displaystyle \sigma(y-x)$  
$\displaystyle \frac{dy}{dt}$ $\textstyle =$ $\displaystyle \rho x-y-xz$ (12)
$\displaystyle \frac{dz}{dt}$ $\textstyle =$ $\displaystyle -\beta z+xy$  

(with the parameter values $\sigma=10$, $\beta=\frac{8}{3}$, $\rho=28$). First they integrated this set of ordinary differential equations to get the ``complete solution''; the projection of this solution onto the $xy$-plane is shown in Fig. 1.a. They chose the $x$-coordinate to be their ``observable'' $v$ and thus got the one-dimensional data stream as shown in Fig. 1.b. Then, after choosing some delay time $\tau$, they obtained a discrete time series from the data stream and used this time series to construct a phase portrait, using the method of delays: See Fig. 1.c. Comparison of the original Lorenz attractor (Fig. 1.a) and the reconstructed one justifies Packard's approach: Although the pictures are not exactly the same and although Fig. 1.a is much coarser than Fig. 1.c, both of them seem to show an object with the same geometry. A shortcoming of Packard's method is that it does not give a general strategy how to choose $m$. If one knows that the dynamical system is evolving in $s$-dimensional phase space then one can use the idea mentioned above and take $m=s$. But if one is analyzing a system about the dimensionality of which nothing is known a priori then how to proceed? This problem will be addressed in section 3. It is also not quite clear what $m$ should be when we try to reconstruct phase portrait of a system with infinitely many degrees of freedom, such as the Mackey-Glass equation ([5,12] and [14], chapter 5.3):
\begin{displaymath}
\quad \frac{dx(t)}{dt} \quad = \quad \frac{ax(t-\Delta)}{1+\big( x(t-\Delta) \big)^{10}} \quad.
\end{displaymath} (13)















$\textstyle \parbox{12cm}{
Figure 1.a. The attractor of the Lorenz system ($\sigma=10$,
$\beta=\frac{8}{3}$, $\rho=28$), projected onto the $xy$-plane.
}$










% latex2html id marker 2468
$\textstyle \parbox{12cm}{
Figure 1.b. $x(t)$, the...
...}). From this data one gets
the time series $x(i\tau)$, $i=0,1,2,\ldots$.
}$
$\textstyle \parbox{12cm}{
Figure 1.c. A phase portrait of the Lorenz system, constructed
by the method of delays.
}$


Footnotes

... observable2
One can compute an approximation to the derivatives from the time series for example by using the formula

\begin{displaymath}
\quad
\frac{d^k}{dt^k}v(i\tau)=\frac{k!}{\tau^k} \sum_{j=-...
...((i+j)\tau) \ + \ \cal O \rm \left(\tau^{p+1-k}\right) \quad,
\end{displaymath}

where the $\alpha_j$ are determined by

\begin{displaymath}
\quad
\sum_{j=-p/2}^{p/2} j^l \alpha_j =
\left\{ \begin{a...
...uad}l} 1 & l=k \\
0 & l\not=k
\end{array} \right. \quad.
\end{displaymath}

This formula results from differentiating the interpolating polynomial. See [10], §§ 27 and 28, for details of this method of numerical differentiation. See [11], chapter 3.4, for a more sophisticated extrapolation method.

next up previous contents
Next: Theoretical Foundation - Takens' Up: Geometry from an Ideal Previous: Geometry from an Ideal   Contents
Martin_Engel 2000-05-25