The non-holonomic double pendulum: An example of non-linear non-holonomic system

An example of physically realizable non-linear non-holonomic mechanical system is proposed. The dynamical equations are written following a general method proposed in an earlier paper. In order to make this paper self-contained, an improved and shortened approach to the dynamics of non-holonomic systems is illustrated in preliminary sections.