Kuramoto model

From Wikipedia, the free encyclopedia
Jump to: navigation, search

The Kuramoto model, first proposed by Yoshiki Kuramoto (蔵本 由紀 Kuramoto Yoshiki) [1] ,[2] is a mathematical model used to describe synchronization. More specifically, it is a model for the behavior of a large set of coupled oscillators [3] .[4] Its formulation was motivated by the behavior of systems of chemical and biological oscillators, and it has found widespread applications such as in neuroscience [5] .[6] Kuramoto was quite surprised when the behavior of some physical systems, namely coupled arrays of Josephson junctions followed his model.[7]

The model makes several assumptions, including that there is weak coupling, that the oscillators are identical or nearly identical, and that interactions depend sinusoidally on the phase difference between each pair of objects.

Definition[edit]

Phase locking in the Kuramoto model

In the most popular version of the Kuramoto model, each of the oscillators is considered to have its own intrinsic natural frequency \omega_i, and each is coupled equally to all other oscillators. Surprisingly, this fully nonlinear model can be solved exactly, in the infinite-N limit, with a clever transformation and the application of self-consistency arguments.

The most popular form of the model has the following governing equations:

 \frac{d \theta_i}{d t} = \omega_i + \frac{K}{N} \sum_{j=1}^{N} \sin(\theta_j - \theta_i), \qquad i = 1 \ldots N,

where the system is composed of N limit-cycle oscillators.


Noise can be added to the system. In that case, the original equation is altered to:


\frac{d \theta_i}{d t} = \omega_{i}+\zeta_{i}+\dfrac{K}{N}\sum_{j=1}^N\sin(\theta_{j}-\theta_{i})
,

where \zeta_{i} is the fluctuation and a function of time. If we consider the noise to be white noise, then


\langle\zeta_{i}(t)\rangle=0
,

\langle\zeta_{i}(t)\zeta_{j}(t')\rangle=2D\delta_{ij}\delta(t-t')


with D denoting the strength of noise.

Transformation[edit]

The transformation that allows this model to be solved exactly (at least in the N → ∞ limit) is as follows. Define the "order" parameters r and ψ as

re^{i \psi} = \frac{1}{N} \sum_{j=1}^{N} e^{i \theta_j}  .

Here r represents the phase-coherence of the population of oscillators, and ψ indicates the average phase. Applying this transformation, the governing equation becomes

 \frac{d \theta_i}{d t} = \omega_i + K r \sin(\psi-\theta_i) .

Thus the oscillators' equations are no longer explicitly coupled; instead the order parameters govern behavior. A further transformation is usually done, to a rotating frame in which the statistical average of phases over all oscillators is zero. That is, \psi=0. Finally, the governing equation becomes

 \frac{d \theta_i}{d t} = \omega_i - K r \sin(\theta_i) .

Large N limit[edit]

Now consider the case as N tends to infinity. Take the distribution of intrinsic natural frequencies as g(ω) (assumed normalized). Then assume that the density of oscillators at a given phase θ, with given natural frequency ω, at time t is \rho(\theta, \omega, t). Normalization requires that

 \int_{-\pi}^{\pi} \rho(\theta, \omega, t) \, d \theta = 1.

The continuity equation for oscillator density will be

 \frac{\partial \rho}{\partial t} + \frac{\partial}{\partial \theta}[\rho v] = 0,

where v is the drift velocity of the oscillators given by taking the infinite-N limit in the transformed governing equation, i.e.,

 \frac{\partial \rho}{\partial t} + \frac{\partial}{\partial \theta}[\rho \omega + \rho K r \sin(\psi-\theta)] = 0.

Finally, we must rewrite the definition of the order parameters for the continuum (infinite N) limit. \theta_i must be replaced by its ensemble average (over all ω) and the sum must be replaced by an integral, to give

 
r e^{i \psi} = \int_{-\pi}^{\pi} e^{i \theta} \int_{-\infty}^{\infty} \rho(\theta, \omega, t) g(\omega) \, d \omega \, d \theta.

Solutions[edit]

The incoherent state with all oscillators drifting randomly corresponds to the solution \rho = 1/(2\pi). In that case r = 0, and there is no coherence among the oscillators. They are uniformly distributed across all possible phases, and the population is in a statistical steady-state (although individual oscillators continue to change phase in accordance with their intrinsic ω).

When coupling K is sufficiently strong, a fully synchronized solution is possible. In the fully synchronized state, all the oscillators share a common frequency, although their phases are different.

A solution for the case of partial synchronization yields a state in which only some oscillators (those near the ensemble's mean natural frequency) synchronize; other oscillators drift incoherently. Mathematically, the state has

\rho = \delta\left(\theta - \psi - \arcsin\left(\frac{\omega}{K r}\right)\right)

for locked oscillators, and

\rho = \frac{\rm{normalization \; constant}}{(\omega - K r \sin(\theta - \psi))}

for drifting oscillators. The cutoff occurs when |\omega| < K r .

Variations on the models[edit]

Distinct synchronization patterns in a two-dimensional array of Kuramoto-like oscillators with differing phase interaction functions and spatial coupling topologies. (A) Pinwheels. (B) Waves. (C) Chimeras. (D) Chimeras and waves combined. Color scale indicates oscillator phase.

There are two types of variations of models based on the original model presented above, one that deals with changing the topological structure of the model; the second are more related to models that are inspired by Kuramoto model but don't have the same functional form.

Variations on topology[edit]

Beside the original model, which has an all-to-all topology, a sufficiently dense complex network-like topology is amenable to the mean-field treatment used in the solution of the original model (see Transformation and Large N Limit above for more info). One also may ask for the behavior of models in which there are intrinsically local , like one-dimensional topologies which the chain and the ring are prototypical examples. In such topologies, in which the coupling is not scalable according to 1/N, it's not possible to apply the canonical mean-field approach, so one must relies upon case-by-case analysis, making use of symmetries whenever it is possible, which may give basis for abstraction of general principles of solutions.

Spirals and waves can readily be observed in two-dimensional Kuramoto networks with diffusive local coupling. The stability of waves in these models can be determined analytically using the methods of Turing stability analysis.[8][9]

Variations on the phase interaction[edit]

Kuramoto approximated the phase interaction between any two oscillators by its first Fourier component, namely \Gamma(\phi) = \sin(\phi), where \phi = \theta_j - \theta_i. Better approximations can be obtained by including higher-order Fourier components,

\Gamma(\phi) = \sin(\phi) + a_1 \sin(2\phi + b_1) + ... + a_n \sin(2n\phi + b_n),

where parameters a_i and b_i must be estimated. For example, synchronization among a network of weakly-coupled Hodgkin-Huxley neurons can be replicated using coupled oscillators that retain the first four Fourier components of the interaction function .[10] The introduction of higher-order phase interaction terms can also induce interesting synchronization phenomena such as heteroclinic cycles[11] and Chimeras.[12]

See also[edit]

References[edit]

  1. ^ Kuramoto, Yoshiki (1975). H. Araki, ed. Lecture Notes in Physics, International Symposium on Mathematical Problems in Theoretical Physics 39. Springer-Verlag, New York. p. 420. 
  2. ^ Kuramoto Y (1984). Chemical Oscillations, Waves, and Turbulence. New York, NY: Springer-Verlag. 
  3. ^ Strogatz S (2000). "From Kuramoto to Crawford: Exploring the onset of synchronization in populations of coupled oscillators". Physica D 143 (1–4): 1–20. Bibcode:2000PhyD..143....1S. doi:10.1016/S0167-2789(00)00094-4. 
  4. ^ Acebrón, Juan A.; Bonilla, L. L.; Vicente, Pérez; Conrad, J.; Ritort, Félix; Spigler, Renato (2005). "The Kuramoto model: A simple paradigm for synchronization phenomena". Reviews of Modern Physics 77: 137–185. Bibcode:2005RvMP...77..137A. doi:10.1103/RevModPhys.77.137. 
  5. ^ Cumin, D.; Unsworth, C. P. (2007). "Generalising the Kuromoto model for the study of neuronal synchronisation in the brain". Physica D 226 (2): 181–196. Bibcode:2007PhyD..226..181C. doi:10.1016/j.physd.2006.12.004. 
  6. ^ Breakspear M, Heitmann S, Daffertshofer A (2010). "190". "Generative models of cortical oscillations: Neurobiological implications of the Kuramoto model". Front Hum Neurosc 4. doi:10.3389/fnhum.2010.00190. 
  7. ^ Steven Strogatz, Sync: The Emerging Science of Spontaneous Order, Hyperion, 2003.
  8. ^ Kazanci, F.; Ermentrout, B. (2006). "Pattern formation in an array of oscillators with electrical and chemical coupling". SIAM J Appl Math. 67, pages = 512–529. doi:10.1137/060661041. 
  9. ^ Heitmann, S.; Gong, P.; Breakspear, M (2012). "A computational role for bistability and traveling waves in motor cortex". Front Comput Neurosci 6 (67). doi:10.3389/fncom.2012.00067. 
  10. ^ Hansel, D.; Mato, G.; Meunier, C (1993). "Phase Dynamics for Weakly Coupled Hodgkin-Huxley Neurons". Europhysics Letters 23 (5): 367–372. Bibcode:1993EL.....23..367H. doi:10.1209/0295-5075/23/5/011. 
  11. ^ Hansel, D.; Mato, G.; Meunier, C (1993). "Clustering and slow switching in globally coupled phase oscillators". Physical Review E 48 (5): 34–70. 
  12. ^ Abrams, D.M.; Strogatz, S.H. (2004). "Chimera states for coupled oscillators". Physical Review Letters 93 (17).