Harmonic synchronization under all three types of coupling: position, velocity, and acceleration

The paper’s Theorem 1 states that the oscillator array (M+m0 I)x¨ + Bx˙ + (K+k0 I)x = 0 synchronizes iff Re λ2(Λ) > 0 with Λ := (M+m0 I)^{-1/2}(B + j(K+k0 I))(M+m0 I)^{-1/2} − j(k0/m0) I, and proves it via a bounded-energy lemma (Lemma 1) and a spectral argument showing Re λi(Λ) ≥ 0 and that a second imaginary-axis eigenvalue is equivalent to a non-synchronizing oscillatory mode . The candidate solution reconstructs the same complex Laplacian, mass-normalizes, separates consensus vs. disagreement, and establishes the same iff criterion. The only minor gap is that it informally “separates real/imag parts” of an eigenvalue equation for a complex eigenvector; rigorously, one should first pre-multiply by the conjugate to use the PSD quadratic form to deduce Dη=0, as in the paper’s proof . Aside from this stylistic slip, the model’s proof is mathematically aligned with (and essentially the same as) the paper’s argument.