Professional Documents
Culture Documents
Synchronization of Weakly Nonlinear Oscillators With Huygens' Coupling
Synchronization of Weakly Nonlinear Oscillators With Huygens' Coupling
Downloaded 29 Aug 2013 to 152.14.136.96. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://chaos.aip.org/about/rights_and_permissions
CHAOS 23, 033118 (2013)
[http://dx.doi.org/10.1063/1.4816360]
Probably, the earliest writing on inanimate synchroniza- Figure 1(a), exhibiting anti-phase synchronized motion as he
tion is due to the Dutch scientist Christiaan Huygens brought forward in his notebook6 addresses this question.
(1629–1695), who discovered that two pendulum clocks Despite the lack of good modelling tools, Huygens did real-
hanging from a common support show synchronized ize that there is a “medium,” “the coupling,” responsible for
behaviour. Since then, Huygens’ synchronization has the synchronized motion, namely the bar, to which both pen-
drawn the attention of many researchers.3,7,20,21,28,33 dula were attached. This coupling bar is, therefore, referred
However, a complete understanding of this phenomenon to as Huygens’ coupling.
is still missing. Consequently, the present contribution In this paper, the onset of synchronization in pairs of
aims to provide new insights into the intriguing synchro- weakly nonlinear self-driven oscillators that interact via
nization phenomenon discovered by Huygens. In particu- Huygens’ coupling is investigated. In the analysis, a general-
lar, the following questions are addressed: given the
ized version of the original Huygens system of pendulum
Huygens system of coupled pendulum clocks, is it possible
clocks, see Figure 1(b), is considered. It is generalized in the
to replace the pendulum clocks by other types of second
sense that both pendulum clocks are replaced by two identi-
order nonlinear oscillators and still to observe the
synchronized motion? Additionally, which is/are the key cal but arbitrary oscillators. The coupling bar supported by
parameter(s) in the coupled system for the occurrence two chairs, i.e., the Huygens coupling, is modelled by a sin-
of in-phase, respectively, anti-phase, synchronization? gle degree of freedom (dof) suspended rigid bar, which is
These questions are answered by means of theoretical considered as the key element in the occurrence of synchro-
analysis, computer simulations, and experiments. nization. Moreover, it is assumed that the oscillators are
subject to the following limitations:
• small damping,
I. INTRODUCTION
• weak nonlinearities, and
• small coupling strength.
Oscillatory motion is a ubiquitous form of motion in the
universe. When the oscillatory motion of a system is influ- Here, small has to be understood in the sense that the
enced by the oscillations of (an)other oscillatory system(s), value of the parameter (damping coefficient and/or coupling
then the interacting systems may experience a striking phe- strength parameter) is much less than unity. The term weak
nomenon called synchronization. Synchronization, or as the indicates that the magnitude of the nonlinear terms is small
Oxford advanced dictionary defines it, “agreement in time” when compared to the magnitude of the linear terms. In con-
or “happening at the same time,”1 is one of the most deeply sequence, the dynamic behaviour of each nonlinear oscillator
rooted and pervasive behaviours in nature. It extends from is close to a harmonic oscillator.
human beings to unconscious entities.25,29,30 The aforementioned assumptions/limitations on the oscil-
A natural question is: “under what conditions do a pair lators allow to analyze, to a large extent, the occurrence of syn-
or group of oscillatory systems show synchronized behav- chronization by means of approximate methods of the theory
iour?” The famous example by Christiaan Huygens of two of oscillations.2,4,8,10,32 For the present analysis, a result based
pendulum clocks hanging from a suspended wooden bar, see on the Poincare method is used in order to derive conditions,
under which synchronous solutions in a pair of nonlinear oscil-
a) lators with Huygens’ coupling exist and are stable. In particu-
Electronic mail: j.pena@tue.nl
b)
Electronic mail: R.H.B.Fey@tue.nl lar, it is shown that the mass of the coupling bar, which is
c)
Electronic mail: h.nijmeijer@tue.nl directly associated with the coupling strength, is an important
Downloaded 29 Aug 2013 to 152.14.136.96. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://chaos.aip.org/about/rights_and_permissions
033118-2 Pena Ramirez, Fey, and Nijmeijer Chaos 23, 033118 (2013)
FIG. 1. Huygens’ original system of pendulum clocks and its generalized (and modern) version.
parameter with respect to the limit synchronized behaviour in A-1: The functions Us ðx1 ; …; xl Þ are analytical functions
the oscillators, namely in-phase or anti-phase synchronization. in x1 ; …; xl , i.e., they can be expanded as a power series in
Throughout the manuscript, the synchronization phe- x1 ; …; xl or they are polynomials.
nomenon is interpreted in the following manner. For the When l ¼ 0, system (1) can be written as a set of linear
theoretical analysis while assuming identical oscillators, the differential equations with constant coefficients, i.e.,
strongest definition of synchronization is used: two oscilla-
tors are said to be synchronized if their frequencies and x_ ¼ Ax; (2)
amplitudes are identical and their mutual phase difference is
either 0 (in-phase synchronization) or p (anti-phase synchro- where A 2 Rll and x ¼ ½x1 ; …; xl T . For the matrix A, the
nization). For the experimental analysis, where there are following assumption is made:
unavoidable small mismatches between the oscillators, we A-2: The characteristic equation associated to matrix A
use the concept of practical synchronization:11 two oscilla- has k ð0 < k lÞ purely imaginary roots of any multiplic-
tors are said to be practically synchronized if the difference ity13 and the remaining roots are assumed to be either real or
in their amplitudes and frequencies is below a certain complex but with negative real part.
“small” threshold value and their mutual phase difference is Then, by using a nonsingular linear transformation, sys-
“sufficiently close” to 0 (practical in-phase synchronization) tem (1) can be transformed to the canonical form
or p (practical anti-phase synchronization). y_ s ¼ ks ys þ lfs ðy1 ; …; yl Þ s ¼ 1; …; l: (3)
This manuscript is organized as follows. First, in Sec. II
the mathematical framework used is briefly described. Next, The fundamental or generating system, i.e., system (3) with
Sec. III presents an analysis of the synchronous behaviour l ¼ 0 is
occurring in a pair of nonlinear oscillators, driven by an
energy-dependent term, which interact via Huygens’ cou- y_ s ¼ ks ys ; s ¼ 1; …; l; (4)
pling. In Sec. IV, a similar analysis is performed for the case
of nonlinear oscillators driven by a van der Pol term. Finally, which has the solution
in Sec. V, for both cases, it is experimentally demonstrated
that the two nonlinear oscillators may synchronize in-phase y0s ¼ as eks t ; s ¼ 1; …; l; (5)
or in anti-phase in a natural way via Huygens’ coupling. The
paper is concluded by a discussion of the obtained results. where as ; s ¼ 1; …; l are arbitrary parameters determining
the amplitude of the solution.
II. PRELIMINARIES A-3: In accordance with A-2, it is assumed that the char-
acteristic exponents ks ; s ¼ 1; …; l are categorized as follows:
Consider the dynamical system
X
l ins x; s ¼ 1; …; k;
x_ s ¼ asj xj þ lUs ðx1 ; …; xl Þ; s ¼ 1; …; l; (1) ks ¼ (6)
as þ ibs ; s ¼ k þ 1; …; l;
j¼1
pffiffiffiffiffiffiffi
where asj are real constants and l > 0 is a “sufficiently where i is the imaginary unit, i.e., i ¼ 1; as > 0, ns is a
small” real parameter.12 The following assumption is made positive or negative integer, x ¼ 2p T is the oscillation fre-
on system (1): quency associated to system (4) and T is the period. It will
Downloaded 29 Aug 2013 to 152.14.136.96. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://chaos.aip.org/about/rights_and_permissions
033118-3 Pena Ramirez, Fey, and Nijmeijer Chaos 23, 033118 (2013)
also be assumed that only real solutions xs of Eq. (1) are of The proof is sketched in Ref. 4 (in Russian) and in Ref. 23
interest (physical systems do not have complex solutions). (in English) and a recent application is presented in Ref. 7.
Therefore, the characteristic exponents with purely imagi-
nary part appear as complex conjugate pairs and likewise the III. SYNCHRONIZATION OF OSCILLATORS DRIVEN BY
functions fs appear as complex conjugate pairs. This implies AN ENERGY-DEPENDENT TERM
that k is a positive even number. Consider the schematic model depicted in Figure 1(b),
From the above assumption, it follows that system (4) which can be seen as a simplified though generalized version
will have periodic solutions of period T. Moreover, the of Huygens’ setup of pendulum clocks. In this model, the two
asymptotic periodic solutions associated to Eq. (4) can be pendulum clocks are now replaced by two (actuated) mass-
written as spring-damper oscillators. The wooden bar supported by two
( chairs is substituted by a single dof suspended rigid bar.
as eks t ¼ as eins xt s ¼ 1; …; k; Clearly, in the generalized model, rotational angles are
y0s ¼ (7)
0 s ¼ k þ 1; …; l: replaced by translational displacements. Furthermore, it comes
natural to relate the control inputs Ui, i ¼ 1, 2 to the escape-
The problem now is to determine the values of ment mechanisms (cf. Ref. 9) as used in the pendulum clocks.
as ; s ¼ 1; …; k, such that (asymptotically) the periodic solu- The results presented in this section correspond to the
tions of Eq. (3) reduce, for l ¼ 0, to the generating solutions case where the resupply of energy into the oscillators is pro-
(7) of period T. Moreover, the periodic solutions of Eq. (3) vided by the energy-dependent term
will have a period different from T, i.e., T ðlÞ ¼ T þ sc ðlÞ.
Ui ¼ #ðHi H Þx_ i ; i ¼ 1; 2; (13)
Therefore, it is also necessary to determine the “correction”
sc ðlÞ of the period. The following result, which is due to where # 2 Rþ and H ¼ 12 jx2ref , which is a reference energy
Blekhman,4 addresses these issues and also provides condi- level with xref being a reference amplitude, and Hi is the
tions for the existence and stability of periodic solutions in Hamiltonian of the uncoupled and unforced oscillator i and
system (3). is defined by
Theorem 1. [Blekhman5] Periodic solutions with period
1 1
T ðlÞ ¼ T þ sc ðlÞ for the autonomous system (3) becoming Hi ¼ mx_ 2i þ jx2i ; i ¼ 1; 2: (14)
at l ¼ 0 periodic (period T) solutions (7) of the fundamental 2 2
system (4) can correspond only to such values of constants Hence, the dynamic behaviour of the generalized Huygens
a1 ; …; ak2 ; ak1 ¼ ak , which satisfy equations system depicted in Figure 1(b) with inputs (13) is described
by the set of equations
Rs ða1 ; …; ak Þ ¼ ak nk Ps as ns Pk ¼ 0; s ¼ 1; …; k 1; (8)
x€i ¼ x2 ðxi x3 Þ 2fxðx_ i x_ 3 Þ kðHi H Þx_ i ; i ¼ 1; 2;
where
(15)
ðT
Ps ða1 ; …; ak Þ ¼ fs ðy01 ; …; y0l Þeins xt dt (9) X2
0 x€3 ¼ x23 x3 2f3 x3 x_ 3 l x€i ; (16)
ðT i¼1
Downloaded 29 Aug 2013 to 152.14.136.96. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://chaos.aip.org/about/rights_and_permissions
033118-4 Pena Ramirez, Fey, and Nijmeijer Chaos 23, 033118 (2013)
where the primes denote differentiation with respect to the y1 ¼ a1 eis ; y2 ¼ a2 eis ; y3 ¼ a3 eis ; y4 ¼ a4 eis ;
dimensionless time s, p ¼ 2f; k ¼ 2x k
; a ¼ mx2 ; c ¼ 2H ; (25)
x23 2f3 x3 y5 ¼ y6 ¼ 0:
q ¼ x2 , and s ¼ x .
Furthermore, it is assumed that the damping in the oscil- The amplitudes of these solutions are assumed to be com-
lators is small, i.e., p ¼ ld and that the nonlinearity is small, plex,7 i.e., ai ¼ ri ei/i , i ¼ 1, 2, 3, 4, where ai 2 C; ri 2 Rþ
i.e.,
k ¼ la. These assumptions yield the system and /i 2 S 1 . In this way, it is easy to analyze phase synchro-
nization by looking at the phase differences. At this point, it
x00i ¼ ðxi x3 Þ lðdðx0i x03 Þ aðax0i 2 þ jx2i cÞx0i Þ; (19)
is also worth noting that four eigenvalues of A appear in
X
2 complex conjugate pairs, see Eq. (23). In order to have real
x003 ¼ qx3 sx03 l x00i ; i ¼ 1; 2: (20) solutions, it is necessary and sufficient that a2 ¼ a 1 and
i¼1 a4 ¼ a 3 , i.e., /2 ¼ /1 and /4 ¼ /3 and correspondingly
r1 ¼ r2 and r3 ¼ r4 . This yields
After neglecting quadratic terms in l, Eqs. (19) and (20) can
be written in the form a1 ¼ r1 ei/1 ; a2 ¼ r1 ei/1 ; a3 ¼ r3 ei/3 ; a4 ¼ r3 ei/3 : (26)
x0 ¼ Ax þ lUðxÞ; (21) In order to have a characterization for the synchronized
regimen in terms of a single phase, the phase /3 is set to
with
zero. Hence, synchronization is characterized by the phase
2 3 / ¼ /1 . Moreover, it will be assumed that the amplitudes
0 1 0 0 0 0
6 7 are the same, i.e., r ¼ r1 ¼ r3 (compare this with Ref. 7).
6 1 0 0 0 1 0 7 Consequently, the solutions (25) of the generating system
6 7
6 7 become
6 0 0 0 1 0 0 7
6 7
A¼6 7;
6 0 0 1 0 1 0 7 y1 ¼ reiðsþ/Þ ; y2 ¼ reiðsþ/Þ ; y3 ¼ reis ;
6 7 (27)
6 7
6 0
4 0 0 0 0 1 75 y4 ¼ reis ; y5 ¼ y6 ¼ 0:
0 0 0 0 q s
2 3 (22) Next, the values of r and / are determined. This can be done
0 by writing condition (8) of Theorem 1 as a system of equa-
6 7 tions in terms of r and /. This yields
6 aðax01 2 þ jx21 cÞx01 dðx01 x03 Þ 7
6 7
6 7
6 0 7 sð1 þ ei/ Þ
6
UðxÞ ¼ 6
7 ei/ ½a c ð3a þ jÞr2 d ¼ 0; (28)
7; ð1 þ qÞ2 þ s2
6 aðax0 2 þ jx2 cÞx0 dðx0 x0 Þ 7
6 2 2 2 2 3 7
6 7
6 0 7 f ðs; /; qÞ
4 5 a c ð3a þ jÞr 2 d ¼ 0; (29)
ð1 þ qÞ2 þ s2
x1 þ x2 2x3
ið1 e2i/ Þ
and x ¼ ½ x1 x01 x2 x02 x3 x03 T . 1 þ q is
¼ 0; (30)
The next step is to determine the transformation that
leads to the canonical form (3). Since for l ¼ 0 system (21) where
becomes linear, such transformation can be easily obtained
by diagonalizing A in the form A ¼ VDV 1 , where D is a s 1
diagonal matrix containing the eigenvalues of A and V the f ðs; /; qÞ ¼ s þ ðei/ þ ei/ Þ þ ð1 þ qÞðei/ þ ei/ Þi: (31)
2 2
matrix of corresponding eigenvectors, which are stored
column-wise. For A as defined in Eq. (22), the diagonal From Eq. (30), it follows that16
matrix D verifies
/¼0 or / ¼ p: (32)
D ¼ diagði; i; i; i; r1 ; r2 Þ; (23)
pffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi pffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi The corresponding expressions for the half-amplitudes r of
where r1 ¼ 12 ðs þ s2 4qÞ and r2 ¼ 12 ðs s2 4qÞ. the periodic solutions are obtained by substitution of Eq.
Note that since s > 0 and q > 0; Reðr1 Þ < 0 and Reðr2 Þ
(32) into Eq. (28) or Eq. (29). This yields
< 0. Note further that k ¼ 4 and l ¼ 6 in Eq. (6).
By defining x ¼ Vy, system (21) takes the canonical • Existence: / ¼ 0 (in-phase synchronization)
form, see Eq. (3)15
sffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
y0 ¼ Dy þ lV 1 UðVyÞ: (24) c rþd a
r¼ ; (33)
ð3a þ jÞ
According to Eq. (7), the generating system (4) associated to
Eq. (24) has solutions of the form 2s
with r ¼ ð1þqÞ 2
þs2
. Note that Eq. (33) is defined if c > rþd
a .
Downloaded 29 Aug 2013 to 152.14.136.96. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://chaos.aip.org/about/rights_and_permissions
033118-5 Pena Ramirez, Fey, and Nijmeijer Chaos 23, 033118 (2013)
• Existence: / ¼ p (anti-phase synchronization) where z ¼ ð1 þ qÞ2 þ s2 . In this case, the roots of panti ðvÞ
will have negative real parts if and only if
sffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
c da d d 1s
r¼ : (34) C4 ¼ c > 0; C5 ¼ c > 0: (41)
ð3a þ jÞ a a
In this case, Eq. (34) will be defined if c > da. Since d and s are positive, for panti ðvÞ having negative roots,
Next, the local stability of the periodic solutions is it is sufficient that C4 > 0. Note that, again, stability condi-
investigated by using Eq. (11) in Theorem 1. This requires tion C4 > 0 coincides with the condition for the existence of
the computation of a characteristic polynomial for both the the solution, see Eq. (34).
in-phase solution and the anti-phase solution. Condition C4 > 0 can be rewritten in terms of the origi-
nal parameters of the system, i.e.,
• Local stability: / ¼ 0 (in-phase synchronization)
After elaborated computations, one finds the following 2b
C4 ¼ 2H > 0: (42)
characteristic polynomial: km
pin ðvÞ ¼ ½v þ 2pðac d rÞ Clearly, this condition for the existence and stability of the
anti-phase regime does not depend on m3, i.e., the mass of
½ðð1 qÞ2 þ s2 Þv2 þ 2pðac d 2rÞv þ c; (35)
the coupling bar. Note that this coincides with the fact that,
ideally, the coupling bar comes to standstill when the oscilla-
where
tors synchronize in anti-phase, i.e., the coupling “disappears”
2s during the anti-phase motion. Furthermore, it should be
r¼ ; c ¼ 4p2 ð1 þ sr sðac dÞÞ: (36) noted that condition (41) is “softer” than condition (37) for
ð1 þ qÞ2 þ s2
in-phase synchronization because if Eq. (37) is satisfied, then
This polynomial will have roots with negative real part if Eq. (41) will be satisfied too, whereas the opposite is not
and only if true.
Finally, the period of the synchronous solutions is
rþd 2r þ d computed. From Theorem 1 and Eq. (12), it follows that the
C1 ¼ c > 0; C2 ¼ c > 0; and
a a (37) in-phase synchronous solutions of system (21) have period
1 " #
C3 ¼ ðac dÞ þ r þ > 0: q1
s Tin ¼ T þ sc ðlÞ ¼ 2p 1 þ l þ Oðl2 Þ; (43)
ð1 þ qÞ2 þ s2
Note that condition C1 > 0 is the same condition for the
existence of the in-phase synchronous solution, see Eq. (33).
which is in terms of dimensionless time s, whereas the anti-
Moreover, since r > 0, condition C1 > 0 is weaker than con-
phase synchronous solutions will have dimensionless period
dition C2 > 0. In other words, for Eq. (35) having negative
roots, it is necessary and sufficient that C2 > 0 and C3 > 0. Tanti ¼ T þ sc ðlÞ ¼ 2p þ Oðl2 Þ: (44)
By substituting the original parameters of Eqs. (15) and
(16) in Eq. (37), it is possible to rewrite the conditions for C2 These results are very intuitive: when the oscillators syn-
and C3 in terms of the original parameters including m3, i.e., chronize in anti-phase, the coupling bar has no influence
the mass of the coupling bar. This yields because it will be in rest and the oscillation frequency will
closely approximate the eigenfrequency of the uncoupled,
8b3 j2 m 4b
C2 ¼ 2H 2 2 2
> 0; undamped oscillators. On the other hand, when the oscilla-
2 2
k½j m3 2j3 jmm3 þ j3 m þ b3 jm 2km
tors synchronize in-phase, the coupling bar converges to an
(38) oscillatory motion, which will influence the oscillation fre-
quency of the oscillators.
km3 2m3 b3
C3 ¼ pffiffiffiffiffiffiffi H þ The above results are summarized in the following two
jm pffiffijffi 2j3 mm3 j33 m2 b23 m theorems and corollary.
m m23 þ 2 þ
j j j Theorem 2. Consider system (19), (20). Assume 0 <
pffiffiffi
bm3 jm3 l 1 and that the parameter values satisfy conditions (37).
þ 3=2
pffiffiffi þ pffiffiffiffi > 0: (39)
m j mb3 Then, in-phase synchronized solutions exist in system (19),
(20) and these solutions are (asymptotically) stable, i.e.,
• Local stability: / ¼ p (anti-phase synchronization)
lim ein ðtÞ :¼ x1 ðtÞ x2 ðtÞ ¼ 0;
t!1
Again, after elaborated computations, one finds the fol- (45)
lowing characteristic polynomial: lim e_ in ðtÞ :¼ x_ 1 ðtÞ x_ 2 ðtÞ ¼ 0:
t!1
Downloaded 29 Aug 2013 to 152.14.136.96. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://chaos.aip.org/about/rights_and_permissions
033118-6 Pena Ramirez, Fey, and Nijmeijer Chaos 23, 033118 (2013)
sffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
sffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
Now, these analytical results are illustrated and
c rþd a 2H lh1 4fx k
Ainphase ðlÞ ¼ 2r ¼ 2 ¼2 ; supported by means of numerical simulations. Consider
ð3a þ jÞ 3mx2 þ j system (19), (20) with the following parameter
(46) values: a ¼ 37:1080 ½kg rad2 =s2 ; c ¼ 1:6 103 ½Nm; j ¼
1 2
4
37:1080 ½N=m; l ¼ 2:110 m3 ½; d ¼ 1:4310
l ½; a ¼ 19:9l
3 x3 x
with h1 ¼ k½x4 2x28f
x2 þx4 þ4f2 x2 x2
, and period 2 2
½s =ðkg m radÞ; q ¼ 14:750l ½, and s ¼ 1:169l ½.
3 3 3 3
Some of these parameters have been chosen such that the
Tinphase ¼ T þ sc ðlÞ limitations on damping and nonlinearities, see Sec. I, are sat-
" # isfied. Other parameter values have been taken from a model
q1
¼ 2p 1 þ l þ Oðl2 Þ: (47) corresponding to the experimental platform presented in
ð1 þ qÞ2 þ s2 Ref. 24 (see also Sec. V in this manuscript).
It follows that for the aforementioned values, conditions
Theorem 3. Consider system (19), (20). Assume that (37) are satisfied if m3 > 5:68 ½kg, see Figure 2. Here, a
0 < l 1 and that the parameter values satisfy conditions value of m3 ¼ 16:8 ½kg is considered. Consequently,
(41). Then, anti-phase synchronized solutions exist and are l ¼ 0:0125 ½.
(asymptotically) stable, i.e., Figure 3 shows the obtained simulation results. The nonzero
initial conditions are x1 ð0Þ ¼ 3 103 ½m; x2 ð0Þ ¼ 2
lim ean ðtÞ :¼ x1 ðtÞ þ x2 ðtÞ ¼ 0; 103 ½m. After initial transient behaviour, the oscillators syn-
t!1 chronize in-phase, as depicted in Figure 3. By using Eq. (46), the
(48)
lim e_ an ðtÞ :¼ x_ 1 ðtÞ þ x_ 2 ðtÞ ¼ 0; limit amplitude of the synchronized solution is computed. It fol-
t!1
lows that for the given parameters Ainphase ¼ 4:713 103 ½m.
This value and its negative counterpart are denoted by the hori-
and
zontal dotted lines in Figure 3(b). The agreement between the
lim x3 ðtÞ ¼ x_ 3 ðtÞ ¼ 0: (49) analytical and the numerical results is evident. In fact, the differ-
t!1
ence between the actual amplitude and predicted amplitude is
2.256%. Additionally, the period of the synchronous solution is
Moreover, the anti-phase limit solutions corresponding to
computed by using Eq. (47). This yields Tinphase ¼ 6:1928 ½.
the oscillators have amplitude
Again, this result is very close (with an error of 0.033%) to the
sffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi sffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi obtained result by numerical integration of Eqs. (19) and (20) as
c da 2H 4fx k depicted in Figure 3(b) (vertical dotted lines). These differences
Aantiphase ¼ 2r ¼ 2 ¼2 (50)
ð3a þ jÞ 3mx2 þ j are due to the fact that the theoretical analysis has been per-
formed by using an approximated method and, moreover, high
and period order terms in l have been neglected. Additionally, since for the
given parameter values also condition (41), see Theorem 3, holds
Tantiphase ¼ T þ sc ðlÞ ¼ 2p þ Oðl2 Þ: (51) with C4 ¼ 8:487 104 , it follows that also stable anti-phase
synchronization exists. This case is presented in Figures 3(c) and
Corollary 1. If 0 < l 1 and condition (37) is 3(d). These results have been obtained by using the same param-
satisfied then system (19), (20) admits both in-phase and eter values as above except for the initial condition of oscillator
anti-phase synchronized solutions and both solutions are 2, which now is x2 ð0Þ ¼ 5 104 ½m. Clearly, the oscillators
locally asymptotically stable. are synchronized in anti-phase. The amplitude of the anti-phase
Downloaded 29 Aug 2013 to 152.14.136.96. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://chaos.aip.org/about/rights_and_permissions
033118-7 Pena Ramirez, Fey, and Nijmeijer Chaos 23, 033118 (2013)
FIG. 4. When the coupling strength is increased (by decreasing m3) the only
synchronous solution in system (19), (20) is anti-phase synchronization. In
Fig. 4(b), black line: x1 and grey line: x2. In Fig. 4(c), black line: transient
FIG. 3. For a small coupling strength (m3 large) and initial conditions close behaviour and grey: long term behaviour.
to in-phase, system (19), (20) synchronizes in-phase as depicted in Figures
3(a) and 3(b). For the same coupling strength and initial conditions close to
anti-phase, the oscillators synchronize in anti-phase, as shown in Figures by using the nonlinear damping term of the van der Pol equa-
3(c) and 3(d), where black line: x1 and grey line: x2. tion, see, e.g., Refs. 5, 22, and 31. This facilitates the model-
ling of the real escapement mechanism and allows to
perform a fairly complete analytic analysis of the in-phase
solution, computed by using Eq. (50) in Theorem 3, is
and anti-phase synchronized motion, which becomes tremen-
Aantiphase ¼ 4:782 103 ½m. Again, this value and its nega-
dously involved if the escapement is modelled, for instance,
tive counterpart are indicated by two horizontal lines in Figure
by an impulsive function.9,27
3(d). The error in the predicted amplitude and the actual ampli-
This section investigates the occurrence of synchroniza-
tude of the solution is 0.083%. The period of the solution, indi-
tion in the system of coupled oscillators depicted in Figure
cated by two vertical lines in Figure 3(d), is Tantiphase
1(b) for the case where the resupply of energy into the oscil-
¼ 6:2827 ½, whereas the expected value from Eq. (51) in
lators is provided by the van der Pol term
Theorem 3 is T ¼ 2p, i.e., there is a difference of 0.006%.
In order to illustrate the influence of the coupling strength Ui ¼ gðax2i 1Þx_ i ; i ¼ 1; 2; (52)
l ¼ mm3 in the limit synchronizing behaviour of the oscillators,
system (19), (20) is again numerically integrated by using the where g 2 Rþ determines the amount of nonlinearity and
same parameter values and initial conditions as used in the the strength of the damping and a 2 Rþ is a parameter,
first simulation presented above, except for the coupling which defines the switching between positive and negative
strength, which is increased by decreasing m3 to damping. For xi < p1ffiffia, the velocity in oscillator i is increased
m3 ¼ 4:1 ½kg. This yields l ¼ 0:0512 ½. Consequently, and for xi > p1ffiffia, it is decreased.
condition (37), see Theorem 2, is not fulfilled. However, By again assuming identical oscillators, it can be shown
condition (41), see Theorem 3, is satisfied and consequently that the dynamic behaviour of the coupled system shown in
the only stable solution is anti-phase synchronization, as Figure 1(b) with input (52) is described by
depicted in Figure 4. It can be seen that although the initial
conditions of the system are very close to in-phase motion, x€i ¼ x2 ðxi x3 Þ 2fxðx_ i x_ 3 Þ ðax2i 1Þx_ i i ¼ 1; 2;
after initial transient behaviour, the system synchronizes in (53)
anti-phase.
X2
Downloaded 29 Aug 2013 to 152.14.136.96. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://chaos.aip.org/about/rights_and_permissions
033118-8 Pena Ramirez, Fey, and Nijmeijer Chaos 23, 033118 (2013)
x0 ¼ Ax þ lU1 ðxÞ þ l2 U2 ðxÞ; (55) lim ean ðtÞ :¼ x1 ðtÞ þ x2 ðtÞ ¼ 0; lim e_ an ðtÞ :¼ x_ 1 ðtÞ þ x_ 2 ðtÞ ¼ 0
t!1 t!1
Downloaded 29 Aug 2013 to 152.14.136.96. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://chaos.aip.org/about/rights_and_permissions
033118-9 Pena Ramirez, Fey, and Nijmeijer Chaos 23, 033118 (2013)
Downloaded 29 Aug 2013 to 152.14.136.96. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://chaos.aip.org/about/rights_and_permissions
033118-10 Pena Ramirez, Fey, and Nijmeijer Chaos 23, 033118 (2013)
TABLE II. Parameter values for the van der Pol escapement experiments.
Downloaded 29 Aug 2013 to 152.14.136.96. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://chaos.aip.org/about/rights_and_permissions
033118-11 Pena Ramirez, Fey, and Nijmeijer Chaos 23, 033118 (2013)
Downloaded 29 Aug 2013 to 152.14.136.96. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://chaos.aip.org/about/rights_and_permissions
033118-12 Pena Ramirez, Fey, and Nijmeijer Chaos 23, 033118 (2013)
18 25
For the given parameters, condition (57) in Theorem 4 is satisfied if A. Pikovsky, M. Rosenblum, and J. Kurths, Synchronization. A Universal
m3 > 8:8519 ½kg. Concept in Nonlinear Sciences (Cambridge University Press, Cambridge,
19
Clearly, the coupling strength may be affected by modifying m and/or m3. 2001).
26
However, modifying m requires to modify the dynamics of the uncoupled B. van der Pol, “On relaxation-oscillations,” Philos. Mag. Ser. 7 2,
oscillators, which is not intended in the present study. Hence, in the analy- 978–992 (1926).
27
sis presented in this paper, the coupling strength has been modified by A. V. Roup, D. S. Bernstein, S. G. Nersesov, W. S. Haddad, and V.
means of the mass of the coupling bar m3. Chellaboina, “Limit cycle analysis of the verge and foliot clock escape-
20
W. T. Oud, H. Nijmeijer, and A. Y. Pogromsky, “A study of Huijgens’ ment using impulsive differential equations and Poincare maps,” Int. J.
synchronization: Experimental results,” in Group Coordination and Control 76, 1685–1698 (2003).
28
Cooperative Control, Lecture Notes in Control and Information Sciences M. Senator, “Synchronization of two coupled escapement-driven pendu-
Vol. 336, edited by K. Pettersen, J. Gravdahl, and H. Nijmeijer (Springer, lum clocks,” J. Sound Vib. 291, 566–603 (2006).
29
Berlin, 2006), pp. 191–203. S. Strogatz, Sync. The Emerging Science of Spontaneous Order (Hyperon,
21
E. V. Pankratova and V. N. Belikh, “Synchronization of self-sustained New York, 2003).
30
oscillators inertially coupled through common damped system,” Phys. S. Strogatz and I. Steward, “Coupled oscillators and biological syn-
Lett. A 376, 3076–3084 (2012). chronization,” Sci. Am. 269, 102–109 (1993).
22 31
J. Pantaleone, “Synchronization of metronomes,” Am. J. Phys. 70, H. Ulrichs, A. Mann, and U. Parlitz, “Synchronization and chaotic dynam-
992–1000 (2002). ics of coupled mechanical metronomes,” Chaos 19, 043120-1–043120-6
23
J. Pena-Ramirez, “Huygens’ synchronization of dynamical systems,” (2009).
32
Ph.D. thesis (Eindhoven University of Technology, 2013). F. Verhulst, Nonlinear Differential Equations and Dynamical Systems
24
J. Pena-Ramirez, R. H. B. Fey, and H. Nijmeijer, “An experimental study (Springer-Verlag, Heidelberg, 1990).
33
on synchronization of nonlinear oscillators with Huygens’ coupling,” K. Wiesenfeld and D. Borrero-Echeverry, “Huygens (and others) revis-
NOLTA, IEICE 3, 128–142 (2012). ited,” Chaos 21, 047515 (2011).
Downloaded 29 Aug 2013 to 152.14.136.96. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://chaos.aip.org/about/rights_and_permissions