On QUAD, Lipschitz, and Contracting Vector Fields for Consensus and Synchronization of Networks

In this paper, a relationship is discussed between three common assumptions made in the literature to prove local or global asymptotic stability of the synchronization manifold in networks of coupled nonlinear dynamical systems. In such networks, each node, when uncoupled, is described by a nonlinear ordinary differential equation of the form ẋ = <i>f</i> (<i>x</i>,<i>t</i>) . In this paper, we establish links between the QUAD condition on <i>f</i> (<i>x</i>, <i>t</i>), i.e.,(<i>x</i>-<i>y</i>)^T[<i>f</i>(<i>x</i>, <i>t</i>)-<i>f</i>(<i>y</i>, <i>t</i>)] - (<i>x</i>-<i>y</i>)^T Δ(<i>x</i>-<i>y</i>) ≤-ω(<i>x</i>-<i>y</i>)<i>T</i>(<i>x</i>-<i>y</i>) for some arbitrary Δ and ω, and contraction theory. We then investigate the relationship between the assumption of <i>f</i> being Lipschitz and the QUAD condition. We show the usefulness of the links highlighted in this paper to obtain proofs of asymptotic synchronization in networks of identical nonlinear oscillators and illustrate the results via numerical simulations on some representative examples.