A proof of the Kuramoto conjecture for a bifurcation structure of the infinite-dimensional Kuramoto model

By Hayato Chiba. Ergodic Theory and Dynamical Systems, 2010

105 citations recorded by the source corpus.

Abstract The Kuramoto model is a system of ordinary differential equations for describing synchronization phenomena defined as coupled phase oscillators. In this paper, a bifurcation structure of the infinite-dimensional Kuramoto model is investigated. A purpose here is to prove the bifurcation diagram of the model conjectured by Kuramoto in 1984; if the coupling strength $K$ between oscillators, which is a parameter of the system, is smaller than some threshold ${K}_{c} $, the de-synchronous state (trivial steady state) is asymptotically stable, while if $K$ exceeds ${K}_{c} $, a non-trivial stable solution, which corresponds to the synchronization, bifurcates from the de-synchronous state. One of the difficulties in proving the conjecture is that a certain non-selfadjoint linear operator, which defines a linear part of the Kuramoto model, has the continuous spectrum on the imaginary axis. Hence, the standard spectral theory is not applicable to prove a bifurcation as well as the asymptotic stability of the steady state. In this paper, the spectral theory on a space of generalized functions is developed with the aid of a rigged Hilbert space to avoid the continuous spectrum on the imaginary axis. Although the linear operator has an unbounded continuous spectrum on a Hilbert space, it is shown that it admits a spectral decomposition consisting of a countable number of eigenfunctions on a space of generalized functions. The semigroup generated by the linear operator will be estimated with the aid of the spectral theory on a rigged Hilbert space to prove the linear stability of the steady state of the system. The center manifold theory is also developed on a space of generalized functions. It is proved that there exists a finite-dimensional center manifold on a space of generalized functions, while a center manifold on a Hilbert space is of infinite dimension because of the continuous spectrum on the imaginary axis. These results are applied to the stability and bifurcation theory of the Kuramoto model to obtain a bifurcation diagram conjectured by Kuramoto.

Subfields: Computational Theory and Mathematics, Computer Networks and Communications, Control and Systems Engineering

View Paper: https://www.semanticscholar.org/paper/7f360784bc390b22b39efa9707bc4bc51bc760c8

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

In Computer Networks and Communications

In Control and Systems Engineering

Citations in the corpus

Synchronization in complex networks of phase oscillators: A survey (2014, background): “This observation leads to the following corollary, which can be found in (Crawford, 1994; Balmforth and Sassi, 2000; Acebrón et al., 2005; Mirollo and Strogatz, 2007; Ott and Antonsen, 2008; Martens et al., 2009; Chiba, 2014), and references therein.”
Phase reduction approach to synchronisation of nonlinear oscillators (2016, methodology): “Moreover, Chiba performed a mathematically rigorous analysis of the Kuramoto transition based on the Gelfand triple [72].”