Abstract

Interconnected, self-excited oscillators are often found in nature and in engineered devices. In this work, a ring of van der Pol oscillators, each of which is connected to its immediate neighbors, is considered. The focus is on the emergent behavior of a large number of oscillators. Conditions are determined under which time-independent solutions are obtained, and the linear stability of these solutions is investigated. The effect of the singularity of the coupling matrix on the ring dynamics is explored. When this becomes singular, an infinite number of steady states is present, and the phenomenon of oscillation death arises. It is also possible to have, depending on initial conditions, all oscillators with in-phase synchrony, metachronal traveling waves with different wavelengths going around the ring, or standing waves. Interconnected oscillators can propagate information at a group velocity, and the information signal is present as an amplitude modulation.

Introduction

The collective dynamics of a complex system consisting of a large number of self-excited oscillators interacting with each other in some way is very interesting. Self-excited oscillators occur in diverse fields such as biology [1–3], optics [4], electronics [5–7], fluid flow [8,9], and buildings [10]. The global behavior of the system is dependent on, but different from, that of the individual oscillators, and new emergent dynamic phenomena arise when they are coupled. Frequently, however, the coupling is ignored, and they are studied in isolation so that the global dynamics is not appreciated.

Let us start from a single self-excited oscillator governed by the autonomous equation
(1)

where Dosc is a time-independent, nonlinear, differential operator that leads to self-excited oscillation y(t), where t is time. The emphasis here is on a lack of forcing by an external, periodic input, which would provide a frequency; the self-excited oscillator has no need of that. Examples of such operators are integrate-and-fire [11], hysteretic thermostat [12,13], van der Pol [14], and many others. The periodic variable y(t) is a problem-dependent quantity that may be a current, displacement, light intensity, etc., but which will simply be referred to as motion here. One of the simplest connecting configurations possible is that of a ring [15–18]. Let us look at N of these oscillators in this form, as shown in Fig. 1, and let each be connected to its immediate neighbor on either side. The numbering system of the ring geometry means that oscillators i=0 and i=N+1 are actually i=N and i=1, respectively. Then

Fig. 1
N self-excited oscillators in a ring
Fig. 1
N self-excited oscillators in a ring
Close modal
(2)

with i=1,2,,N, where the function f takes into account the interaction of oscillator i with its neighbors i-1 and i+1. If all solutions of Eq. (2) are assumed to be the same, i.e., yi=y(t), then it can be seen by substitution that it is a solution, as long as it is also assumed that f(y,y,y)=0. All the oscillators move in phase, there is zero interaction, and the frequency is the same as that of a single oscillator given by Eq. (1).

Here, the specific case of van der Pol oscillators in the form of a ring with each oscillator coupled to its two nearest neighbors is chosen. For this
(3)
A linear difference interaction (also called diffusive [19,20]) is given by
(4)
so that
(5)

for i=1,2,,N, with a>0 and appropriate initial conditions.

Pioneering work on this problem was done by Lubkin and Rand [1], Linkens [15], and Endo and Mori [16]. The present authors have worked on a ring of four oscillators [14,21]. In that context, they have shown that if b<-0.25 the oscillators are unstable [21]. Phase shift depends on the interactive coupling; as the coupling parameter b is raised, the phase shift decreases and disappears beyond a certain finite value. Others have also worked on different aspects of a ring of four coupled van der Pol oscillators [22–24].

This work will build upon previous work on interacting van der Pol rings and extend them in several directions: studying the effect of singularity of the coupling matrix on the ring dynamics, consideration of a large number of oscillators, and highly nonlinear behavior of the oscillator in the form of a large a parameter. The existence and linear stability of time-independent solutions is studied in detail. Also investigated are the emergent behavior for the ring as a whole, the waves that occur, their dispersion relationship, and phase and group velocities.

Time-Independent Solutions

These are the simplest solutions to the problem; their existence and linear stability are investigated.

Existence of Trivial Solution.

The time-independent solution of Eq. (5), indicated by an overbar, is determined from
(6)
which gives y¯i=0 as long as D0, where
(7a)
(7b)

Linear Stability of Trivial Solution.

The linear stability of y¯i=0 can be examined by perturbing it slightly and linearizing, which gives
(8)
This can be written as
(9a)
(9b)
In matrix form this is
(10)
with
(11)
(12)

where I is the N×N identity matrix, and B is given by Eq. (7b).

The 2N eigenvalues of the block matrix A determine the stability of the time-independent solution. The characteristic polynomial of A is
(13)
where
(14a)
(14b)
(14c)
(14d)

and so forth. In addition, σ2N=detA.

Polynomial stability requires that all the roots have negative real parts. The necessary and sufficient condition for this is that all coefficients of the first column of the Routh–Hurwitz (RH) array have the same sign. Table 1 shows the derived expressions for four coefficients of the RH array corresponding to the characteristic polynomial of Eq. (13). The first element of the RH array is positive whereas the second one is negative. The third coefficient is always positive for any value of N. The fourth coefficient is negative for N3. Two sign changes are detected for these four coefficients; consequently, the characteristic polynomial of A has at least two right-half plane roots. This means that the RH stability condition is not satisfied and, therefore, the trivial solution is unstable.

Table 1

First-column coefficients of the Routh–Hurwitz array

Exponent of λCoefficient
2N1
2N-1-Na
2N-2a2(N2-2N+2)N
2N-3-2a3(N-2)N2-2N+2
Exponent of λCoefficient
2N1
2N-1-Na
2N-2a2(N2-2N+2)N
2N-3-2a3(N-2)N2-2N+2

B Singular.

Since B is a circulant matrix
(15)
The first j=0 factor on the right is -1. D can be zero if any one of the other factors vanish, i.e., if
(16)

for j=1,2,,N-1. Some of these critical values of b are given in Table 2, where only values that are different from each other are shown. It can be seen that for even values of N, there are N/2 different critical values, while for odd there are (N-1)/2.

Table 2

Different values of b at which D=detB vanishes; rank of B shown in brackets

Nb[rankofB]
3-0.3333[1]
4-0.2500[3]-0.5000[2]
5-0.2764[3]-0.7236[3]
6-0.2500[5]-0.3333[4]-1.0000[4]
7-0.2630[5]-0.4090[5]-1.3280[5]
8-0.2500[7]-0.2929[6]-0.5000[6]-1.7071[6]
9-0.2578[7]-0.3333[7]-0.6051[7]-2.1372[7]
10-0.2500[9]-0.2764[8]-0.3820[8]-0.7236[8]-2.6180[8]
Nb[rankofB]
3-0.3333[1]
4-0.2500[3]-0.5000[2]
5-0.2764[3]-0.7236[3]
6-0.2500[5]-0.3333[4]-1.0000[4]
7-0.2630[5]-0.4090[5]-1.3280[5]
8-0.2500[7]-0.2929[6]-0.5000[6]-1.7071[6]
9-0.2578[7]-0.3333[7]-0.6051[7]-2.1372[7]
10-0.2500[9]-0.2764[8]-0.3820[8]-0.7236[8]-2.6180[8]

An interesting behavior of coupled oscillators is oscillation death, which occurs through a saddle-node bifurcation mechanism allowing the emergence of new fixed points. A new stable steady state with nonzero amplitude is created by the coupling [25,26]. When B is singular, Eq. (6) can have an infinite number of steady-state solutions, and oscillation death can arise. The right column of Table 2 shows the rank(B) as a function of N and critical b. For even values of N, rank(B)=N-1 for b=-0.25 and rank(B)=N-2 for other values of b. For odd values of N, rank(B)=N-2, irrespective of the value of b. Then, when B is singular, this matrix has one or two linearly dependent rows or columns, which can be ignored, and the dynamical system can be analyzed in a reduced dimensional space.

Waves for Small a

If b>-0.25, the system exhibits stable sustained oscillations. If N is large, then the right side of Eq. (2) can be approximated by a second-order spatial derivative. Thus, writing yi=y(θi,t), where θi is the angular position of oscillator i gives
(17a)
(17b)
where 2π/N is the angular distance between neighboring oscillators. Assuming that a is small, Eq. (5) becomes
(18)
A solution is
(19)
Standard nonlinear analysis for a single oscillator with small a gives an amplitude of A=2. This is a wave traveling in the positive θ direction of frequency ω, period 2π/ω, wave number k, and wavelength that is (1/k)th of the circumference of the ring. The frequency is determined by substitution and is given by
(20)
This is the dispersion relation, from which the phase velocity of the wave is found to be
(21)
The group velocity is
(22a)
(22b)

The individual waves travel at the phase velocity, while the information travels at the group velocity. The phase velocity decreases with the wave number k, but the group velocity increases. Furthermore, as N, νp1/k and νg0 if b is held constant. The reason for this is that the angular distance between oscillators 2π/N0, and hence the interaction term in Eq. (18)4π2b/N20 also. If, however, it is assumed that b~N2 such that 4π2b/N2=C, where C is a constant, then both νp=k-1(1+Ck2)1/2 and νg=Ck(1+Ck2)-1/2 are independent of N. They become independent of the wave number k also for large k, and strangely enough, become equal.

Since Eq. (18) is linear, wave solutions may be superposed. This means that any initial conditions will be propagated as a wave with each constituent wave number traveling at its own phase velocity. As a special case, two waves traveling in opposite directions, i.e., with k and -k in Eq. (19), may be added to give a standing wave
(23)

Numerical Solutions.

Equation (5) is solved numerically using a fourth-order Runge–Kutta method. A nonzero a creates self-excitation, and no external forcing is needed, but at the same time, a small enough a satisfies the linearized analysis. Numerical solutions shown are for a=0.01 and an arbitrarily chosen b=1. The time step used for integration is 10-4, which is found to be small enough for numerical stability and convergence. It is observed that N=100 is sufficiently large and that any increase in the number of oscillators does not change the global behavior of the system.

k=0.

The simplest version of Eq. (19) is with zero wave number. The motion is then independent of space and only oscillates in time. Full synchronization in which all oscillators move in phase is exhibited by the ring. Equation (20) shows that the frequency does not depend on N.

k=±1,±2,…

The temporal motions of five equally-spaced oscillators around the ring are shown in Fig. 2(a) for k=1. The phases are seen to be equally spaced also. Figure 2(b) shows three oscillators that are neighbors. The wave peaks first for i=40, then i=41, and finally i=42, indicating a wave motion around the ring in a counterclockwise direction. In the biological literature, especially for cilia, this is often referred to as a metachronal wave [27–29]. Similarly, there is another solution possible, k=-1, in which the (i+1)th oscillator leads the ith so that it would be an identical wave but in the clockwise direction. A standing wave is formed by identical waves running in opposite directions. Other possibilities are those of multiple integer or noninteger wavelengths in the ring depending on k.

Fig. 2
Time series for k=1. (a) Thick i=1, thin i=21, dashed i=41, dotted i=61, dash-dot i=81. (b) Neighboring oscillators. Lines: solid i=40, dashed i=41, dotted i=42.
Fig. 2
Time series for k=1. (a) Thick i=1, thin i=21, dashed i=41, dotted i=61, dash-dot i=81. (b) Neighboring oscillators. Lines: solid i=40, dashed i=41, dotted i=42.
Close modal

Waves for Large a

Van der Pol oscillators with a1 of Sec. 3 present quasi-linear behavior and, therefore, exhibit oscillations that are nearly sinusoidal. Nonlinear behavior is more evident for a1. For single van der Pol oscillators, it is known that the frequency of oscillation decreases with increasing a. The form of the oscillation also changes, the rise and fall in each period becoming steeper as a increases. The numerical results shown here are obtained in the following way. Since initial conditions have a significant effect on the long-time results, the small a initial conditions are introduced as before. Then, however, the value of a is ramped up slowly with each time step until the desired value is reached, at which stage it is held constant for 1000 time units.

a=1.

Figure 3(a) depicts a time series for N=100, with initial conditions corresponding to Eq. (19) with k=2. A modulated signal is clearly visible with a dominant carrier frequency and a modulation, which persists even if the integration is carried out much longer. The power spectral density, shown in Fig. 3(b), quantifies these frequencies as 0.1527 and 0.0076, respectively. The envelope is shown in further detail in Fig. 3(c) for neighboring oscillators. The envelope is itself a traveling wave that is moving at the group velocity.

Fig. 3
(a) Time series for a=1, k=2, i=1. (b) Corresponding power spectrum. (c) Detail of envelope to show modulated signal traveling through ring; lines: solid i=1, dashed i=2, dotted i=3.
Fig. 3
(a) Time series for a=1, k=2, i=1. (b) Corresponding power spectrum. (c) Detail of envelope to show modulated signal traveling through ring; lines: solid i=1, dashed i=2, dotted i=3.
Close modal

a=10.

Figures 4(a) and 4(b) show a time series and its corresponding power spectrum for N=100 and initial conditions corresponding to k=2. Three frequencies of 0.0534, 0.1607, and 0.2680 are detected. The first is the fundamental, the others being the third and the fifth harmonics, respectively.

Fig. 4
(a) Time series for a=10, k=2, i=1. (b) Corresponding power spectrum.
Fig. 4
(a) Time series for a=10, k=2, i=1. (b) Corresponding power spectrum.
Close modal

Conclusions

Self-excited oscillators connected to each other in the form of a ring with linear neighbor-to-neighbor coupling have been considered. Global behavior of the ring was investigated by using the example of a van der Pol operator. The effect of the singularity of the matrix B in the ring dynamics has been explored. When this matrix becomes singular, the ring has an infinite number of steady states and oscillation death can arise. However, fixing the motion of some oscillators makes the system determinate and oscillating.

For b>0 and small a, it has been shown that wavelike behavior exists for different initial conditions. These dispersive, metachronal waves traveling around the ring can be analytically determined and numerically confirmed. The dynamics for large a are more complicated; nonlinear behaviors, such as modulation and harmonics, emerge.

It has been shown that interconnected oscillators can propagate signals. An oscillator has an intrinsic frequency, i.e., a stand-alone frequency if it were to be completely isolated. For a van der Pol oscillator, the intrinsic linear frequency for small a, determined by the coefficients of the y·· and y terms, has been taken to be unity here. However, as a becomes larger the intrinsic nonlinear frequency is somewhat smaller. For communication purposes, this is a carrier frequency. Interaction between oscillators, however, is determined by the coupling constant b. For nonzero b, information travels at group velocity along the ring in the form of waves as an amplitude modulation of the carrier.

Nomenclature
a =

damping parameter

aij =

elements of A

A =

matrix of differential system

b =

coupling parameter

B =

coupling matrix

D =

det(B)

Dosc =

oscillator operator

f =

coupling function between oscillators

I =

identity matrix

k =

wavenumber

N =

number of oscillators

t =

time

νg =

group velocity

νp =

phase velocity

y =

dependent variable

y¯ =

time-independent value of y

y =

column vector of y's and z's

z =

y·

Greek Symbols
θ =

angular position of oscillator

λ =

eigenvalues

σ =

coefficients of characteristic polynomial

ω =

frequency

Subscript
i =

oscillator number

References

1.
Lubkin
,
S.
, and
Rand
,
R.
,
1994
, “
Oscillatory Reaction-Diffusion Equations on Rings
,”
J. Math. Biol.
,
32
(
6
), pp.
617
632
.10.1007/BF00573464
2.
Tenreiro
,
C.
, and
Elgueta
,
R.
,
2010
, “
Modeling the Sleep-Wake Cycle Using Coupled Van der Pol Oscillators
,”
Biol. Rhythm Res.
,
41
(
2
), pp.
149
157
.10.1080/09291010903299095
3.
Tsumoto
,
K.
,
Yoshinaga
,
T.
, and
Kawakami
,
H.
,
2002
, “
Bifurcations of Synchronized Responses in Synaptically Coupled Bonhoffer–van der Pol Neurons
,”
Phys. Rev. E
,
65
(
3
), p.
036230
.10.1103/PhysRevE.65.036230
4.
Blazek
,
V.
,
1968
, “
A Semiconductor Laser as a Classical Van der Pol Oscillator Controlled by an External Signal
,”
Czech. J. Phys.
,
18
(
5
), pp.
644
646
.10.1007/BF01691017
5.
Algaba
,
A.
,
Fernandez-Sanchez
,
F.
,
Freire
,
E.
,
Gamero
,
E.
, and
Rodriguez-Luis
,
A.
,
2002
, “
Oscillation-Sliding in a Modified van der Pol-Duffing Electronic Oscillator
,”
J. Sound Vib.
,
249
(
5
), pp.
899
907
.10.1006/jsvi.2001.3931
6.
Pantaleone
,
J.
,
2002
, “
Synchronization of Metronomes
,”
Am. J. Phys.
,
70
(
10
), pp.
992
1000
.10.1119/1.1501118
7.
McMillan
,
A.
,
1997
, “
A Non-Linear Friction Model for Self-Excited Vibrations
,”
J. Sound Vib.
,
205
(
3
), pp.
323
335
.10.1006/jsvi.1997.1053
8.
Monkewitz
,
P.
,
1996
, “
Modeling of Self-Excited Wake Oscillations by Amplitude Equations
,”
Exp. Therm. Fluid Sci.
,
12
(
2
), pp.
175
183
.10.1016/0894-1777(95)00092-5
9.
Dowell
,
E.
, and
Hall
,
K.
,
2001
, “
Modeling of Fluid-Structure Interaction
,”
Annu. Rev. Fluid Mech.
,
33
, pp.
445
490
.10.1146/annurev.fluid.33.1.445
10.
Duffin
,
R.
, and
Knowles
,
G.
,
1984
, “
A Passive Wall Design to Minimize Temperature Swings
,”
Sol. Energy
,
33
(
3–4
), pp.
337
342
.10.1016/0038-092X(84)90163-4
11.
Goel
,
P.
, and
Ermentrout
,
B.
,
2002
, “
Synchrony, Stability, and Ring Patterns in Pulse-Coupled Oscillators
,”
Physica D
,
163
, pp.
191
216
.10.1016/S0167-2789(01)00374-8
12.
Cai
,
W.
,
Sen
,
M.
,
Yang
,
K.
, and
McClain
,
R.
,
2006
, “
Synchronization of Self-Sustained Thermostatic Oscillations in a Thermal-Hydraulic Network
,”
Int. J. Heat Mass Transfer
,
49
, pp.
4444
4453
.10.1016/j.ijheatmasstransfer.2006.04.027
13.
Cai
,
W.
, and
Sen
,
M.
,
2008
, “
Synchronization of Thermostatically Controlled First-Order Systems
,”
Int. J. Heat Mass Transfer
,
51
(
11–12
), pp.
3032
3043
.10.1016/j.ijheatmasstransfer.2007.09.010
14.
Barron
,
M.
, and
Sen
,
M.
,
2009
, “
Synchronization of Four Coupled van der Pol Oscillators
,”
Nonlinear Dyn.
,
56
(
4
), pp.
357
367
.10.1007/s11071-008-9402-y
15.
Linkens
,
D. A.
,
1974
, “
Analytical Solution of Large Numbers of Mutually Coupled Nearly Sinusoidal Oscillators
,”
IEEE Trans. Circuits Syst.
,
21
(
2
), pp.
294
300
.10.1109/TCS.1974.1083848
16.
Endo
,
T.
, and
Mori
,
S.
,
1978
, “
Mode Analysis of a Ring of a Large Number of Mutually Coupled Vanderpol Oscillators
,”
IEEE Trans. Circuits Syst.
,
25
(
1
), pp.
7
18
.10.1109/TCS.1978.1084380
17.
Bridge
,
J.
,
Mendelowitz
,
L.
,
Rand
,
R.
,
Sah
,
S.
, and
Verdugo
,
A.
,
2009
, “
Dynamics of a Ring of Three Coupled Relaxation Oscillators
,”
Commun. Nonlinear Sci. Numer. Simul.
,
14
(
4
), pp.
1598
1608
.10.1016/j.cnsns.2008.05.012
18.
Yamapi
,
R.
,
Kadji
,
H.
, and
Filatrella
,
G.
,
2010
, “
Stability of the Synchronization Manifold in Nearest Neighbor Nonidentical van der Pol-Like Oscillators
,”
Nonlinear Dyn.
,
61
, pp.
275
294
.10.1007/s11071-009-9648-z
19.
Pogromsky
,
A.
, and
Nijmeijer
,
H.
,
2001
, “
Cooperative Oscillatory Behavior of Mutually Coupled Dynamical Systems
,”
IEEE Trans. Circuit Syst., I: Fundam. Theory Appl.
,
48
(
2
), pp.
152
162
.10.1109/81.904879
20.
Senthilkumar
,
D.
,
Muruganandam
,
P.
,
Lakshmanan
,
M.
, and
Kurths
,
J.
,
2010
, “
Scaling and Synchronization in a Ring of Diffusively Coupled Nonlinear Oscillators
,”
Phys. Rev. E
,
81
, p.
066219
.10.1103/PhysRevE.81.066219
21.
Barron
,
M.
,
Sen
,
M.
, and
Corona
,
E.
,
2008
, “
Dynamics of Large Rings of Coupled Van der Pol Oscillators
,”
Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering
,
K.
Elleithy
, ed.,
Springer
,
New York
, pp.
346
349
.
22.
Ookawara
,
T.
, and
Endo
,
T.
,
1999
, “
Effects of the Deviation of Element Values in a Ring of Three and Four Coupled van der Pol Oscillators
,”
IEEE Trans. Circuits Syst., I: Fundam. Theory Appl.
,
46
, pp.
827
840
.10.1109/81.774228
23.
Nana
,
B.
, and
Woafo
,
P.
,
2006
, “
Synchronization in a Ring of Four Mutually Coupled van der Pol Oscillators: Theory and Experiment
,”
Phys. Rev. E
,
74
(
4
), p.
046213
.10.1103/PhysRevE.74.046213
24.
Kruglov
,
V.
, and
Kuznetsov
,
S.
,
2011
, “
An Autonomous System With Attractor of Smale-Williams Type With Resonance Transfer of Excitation in a Ring Array of van der Pol Oscillators
,”
Commun. Nonlinear Sci. Numer. Simul.
,
16
(
8
), pp.
3219
3223
.10.1016/j.cnsns.2010.11.027
25.
Suarez-Vargas
,
J.
,
Gonzalez
,
J.
,
Stefanovska
,
A.
, and
McClintock
,
P.
,
2009
, “
Diverse Routes to Oscillation Death in a Coupled-Oscillator System
,”
EPL
,
85
, p.
38008
.10.1209/0295-5075/85/38008
26.
Zou
,
W.
,
Wang
,
X.
,
Zhao
,
Q.
, and
Zhan
,
M.
,
2009
, “
Oscillation Death in Coupled Oscillators
,”
Fron. Phys. China
,
374
, pp.
178
185
.10.1007/s11461-009-0022-6
27.
Mitran
,
S.
,
2007
, “
Metachronal Wave Formation in a Model of Pulmonary Cilia
,”
Comput. Struct.
,
85
, pp.
763
774
.10.1016/j.compstruc.2007.01.015
28.
Niedermayer
,
T.
,
Eckhardt
,
B.
, and
Lenz
,
P.
,
2008
, “
Synchronization, Phase Locking, and Metachronal Wave Formation in Ciliary Chains
,”
Chaos
,
18
, p.
037128
.10.1063/1.2956984
29.
Tadokoro
,
S.
,
Yamaguti
,
Y.
,
Fujii
,
H.
, and
Tsuda
,
I.
,
2011
, “
Transitory Behaviors in Diffusively Coupled Nonlinear Oscillators
,”
Cognit. Neurodynamics
,
5
(
1
), pp.
1
12
.10.1007/s11571-010-9130-0