On the linear operation of cloned dynamical systems and its Lyapunov exponents
Wang Pengfei1,2
1 Center for Monsoon System Research, Institute of Atmospheric Physics, Chinese
Academy of Sciences, Beijing 100190
2 State Key Laboratory of Numerical Modeling for Atmospheric Sciences and
Geophysical Fluid Dynamics, Institute of Atmospheric Physics, Chinese Academy of
Sciences, Beijing 100029
Abstract The cloned dynamical system theory is introduced and the Lyapunov
exponents of this system are qualitatively proven to be same as the original dynamical
system. This property indicates that these two systems have the same error
propagation speed in the phase space, and thus we can interpret the phenomenon as
why the ensemble mean method sometimes is not effective.
1 Introduction
We consider a dynamical system to satisfy
T
T
X = f ( X ) ，where X = ( X 1 , X 2 , " , X m ) ， f = ( f1 , f 2 , " , f m ) ,
⎛ ∂f t
and we define TXt = matrix ⎜ i
⎜ ∂X j
⎝
(1)
⎞
t*
t
⎟⎟ , TX is the adjoint matrix of TX .
⎠
The multiplicative ergodic theorem tells us that if the following limits exists
(Oseledec 1968, Ruelle 1979, Eckmann and Ruelle 1985)：
1
lim (TXt*TXt ) 2 t = Λ X ，
t →∞
(2)
where Λ X is a matrix, then the Lyapunov exponents can be defined as ：
1
lim ln TXt u = λ (i ) ， u ∈ E X(i ) E X(i +1) ，
t →∞ t
where λ (1) > λ ( 2 ) > " λ ( k ) ，is the logarithm of the eigenvalue of Λ X .
Correspondence author: wpf@mail.iap.ac.cn
(3)
E X(i ) is the subspace of R m corresponding to the eigenvalues ≤ exp λ (i ) .
2 the independent and associated cloned dynamical systems
Theorem 1：We consider an independent cloned dynamical system defined by
⎧ x1 = f ( x1 )
⎪
⎪ x2 = f ( x2 )
⎨
⎪ #
⎪ x = f ( x )
n
⎩ n
Where xi = ( xi ,1 , xi ,2 , " , xi ,m )
T
and f
(4)
are the same as in equation (1). Each
sub-systems in equation (4) have different initial values, xi ( 0 ) . Since they following
the same dynamical function, f , we call it an n-th cloned dynamical system. The
Lyapunov exponents of equation (4) are the same as in equation (1) but the number of
Lyapunov exponents is nk .
Proof：
Because each xi = f ( xi ) in equation (4) is independent of other components and
can be looked upon as an independent and self-organized dynamical system, each of
the sub-systems is m-dimensional and in total we have n × m dimensions.
The Jacobian matrix for equation (4) is
0
⎡ J1 0
⎢0 % 0
J =⎢
⎢ 0 0 J n −1
⎢
⎣0 " 0
⎛ ∂f t
where J i = TXt = matrix ⎜ i
⎜ ∂X j
⎝
0⎤
0⎥
⎥,
0⎥
⎥
Jn ⎦
(5)
⎞
⎟⎟ . When we obtain the limit of this matrix, the value
⎠
will be determined by the main diagonal matrix:
1
lim ( J * J ) 2 t
t →∞
0
⎡ Λ1 0
⎢0 % 0
=⎢
⎢ 0 0 Λ n −1
⎢
⎣0 " 0
0⎤
0⎥
⎥.
0⎥
⎥
Λn ⎦
(6)
The ergodic property guarantees that Λ i = Λ X , moreover, the Lyapunov exponents of
each system can be defined by equation (3), and the n-th subsystem together has
nk exponents.
Theorem2：We consider a linear system associated with a cloned dynamical system
n
defined by y = ∑ ci xi ，and ci ≠ 0 , where xi is same as equation (4), ie.
i =1
⎧ x1 = f ( x1 )
⎪
⎪ x2 = f ( x2 )
⎪ #
⎪⎪
⎨ xn −1 = f ( xn −1 )
⎪
⎪ xn = f ( xn )
⎪
n
n
⎪ y = ∑ ci xi = ∑ ci f ( xi ) ≡ F ( x1 , x2 , " , xn )
⎪⎩
i =1
i =1
Transforming the variable in the sub-equation xn = f ( xn ) by xn =
.
(7)
n −1
c
1
y − ∑ i xi
cn
i =1 cn
will obtains the equation y = g ( x1 , x2 , " , xn −1 , y ) .
⎧ x1 = f ( x1 )
⎪
⎪ x2 = f ( x2 )
⎪ #
⎪⎪
⎨ #
⎪ x = f ( x )
n −1
⎪ n −1
n −1
⎪
⎪ y = g ( x1 , x2 , " , xn −1 , y ) = ∑ ci f ( xi ) + cn f
i =1
⎩⎪
,
(8)
n −1
⎛1
ci ⎞
−
y
xi ⎟
∑
⎜
i =1 cn
⎝ cn
⎠
and the Lyapunov exponents of y = g ( x1 , x2 , " , xn , y ) are the same as in equation
(1).
Proof：
the Jacobian matrix for equation (8) is
⎛ ∂f i t
J i = T = matrix ⎜
⎜ ∂X j
⎝
t
X
⎞
⎛ ∂git
⎟⎟ and Ri = matrix ⎜⎜
⎠
⎝ ∂x j
0
⎡ J1 0
⎢0 % 0
J =⎢
⎢ 0 0 J n −1
⎢
⎣ R1 " Rn −1
0⎤
0⎥
⎥ , where
0⎥
⎥
Jn ⎦
⎞
⎟⎟ . It has different values to equation
⎠
(5) in the last m rows, but when we obtain the limits,
1
lim ( J * J ) 2 t
t →∞
0
⎡ Λ1 0
⎢0 % 0
=⎢
⎢ 0 0 Λ n −1
⎢
⎣0 " 0
0⎤
0⎥
⎥
0⎥
⎥
Λn ⎦
(9)
it will be determined by the main diagonal matrix. The ergodic property guarantees
that Λ i = Λ X , so each Lyapunov exponents is the same as in equation (1), including
the maximal Lyapunov exponents.
3. Conclusion and discussion
Following theorem 2, and taking ci =
1 n
1
, thus y = ∑ xi is the ensemble mean
n i =1
n
system of xi , and its Lyapunov exponents are the same as in equation (1). Meanwhile,
the maximal Lyapunov exponents for the equation y = g ( x1 , x2 , " , xn , y ) are λ (1) .
Because the ensemble mean dynamical system has the same maximal Lyapunov
exponents, thus the prediction time is thus Tp ~
1
λ max
ln(
Δ
δ0
) (where Δ is a given
tolerance) and will be same as the original dynamical system in equation (1).
This discussion is under the assumption of linear error propagation, when
considering nonlinear error propagation different dynamics will be obtained. However,
when δ 0 → 0 , the difference of Tp between linear and nonlinear cases is not
significant(Ding and Li 2007).
Acknowledgements: This research was jointly supported by the National Natural
Sciences Foundation of China (41375112) and the National Basic Research Program
of China (2011CB309704).
References:
Ding, R. Q. and J. P. Li (2007). "Nonlinear finite-time Lyapunov exponent and predictability." Physics
Letters A 364(5): 396-400.
Eckmann, J.-P. and D. Ruelle (1985). "Ergodic theory of chaos and strange attractors." Reviews of
modern physics 57(3): 617.
Oseledec, V. I. (1968). "A multiplicative ergodic theorem. Lyapunov characteristic numbers for
dynamical systems." Trans. Moscow Math. Soc 19(2): 197-231.
Ruelle, D. (1979). "Ergodic theory of differentiable dynamical systems." Publications Mathématiques
de l'Institut des Hautes Études Scientifiques 50(1): 27-58.