Pfaffian constraint explained

In dynamics, a Pfaffian constraint is a way to describe a dynamical system in the form:

nA
\sum
rs

dus+Ardt=0;r=1,\ldots,L

[1] where

L

is the number of equations in a system of constraints.

Holonomic systems can always be written in Pfaffian constraint form.

Derivation

Given a holonomic system described by a set of holonomic constraint equations

fr(u1,u2,u3,\ldots,un,t)=0;r=1,\ldots,L

where

\{u1,u2,u3,\ldots,un\}

are the n generalized coordinates that describe the system, and where

L

is the number of equations in a system of constraints, we can differentiate by the chain rule for each equation:
n\partialfr
\partialus
\sum
s=1

dus+

\partialfr
\partialt

dt=0;r=1,\ldots,L

By a simple substitution of nomenclature we arrive at:

nA
\sum
rs

dus+Ardt=0;r=1,\ldots,L

Examples

Pendulum

Consider a pendulum. Because of how the motion of the weight is constrained by the arm, the velocity vector

\overrightarrow{V}

of the weight must be perpendicular at all times to the position vector

\overrightarrow{L}

. Because these vectors are always orthogonal, their dot product must be zero. Both position and velocity of the mass can be defined in terms of an

x

-

y

coordinate system:

\overrightarrow{L}\overrightarrow{V}=\begin{bmatrix}x\\y\end{bmatrix}\begin{bmatrix}

x\\
y

\end{bmatrix}=0

Simplifying the dot product yields:

xx

+y

y

=x

dx
dt

+y

dy
dt

=0

We multiply both sides by

dt

. This results in the Pfaffian form of the constraint equation:

xdx+ydy=0

This Pfaffian form is useful, as we may integrate it to solve for the holonomic constraint equation of the system, if one exists. In this case, the integration is rather trivial:

\intxdx+\intydy=0=x2+y2+C

Where C is the constant of integration.

And conventionally, we may write:

x2+y2=L2

The term

L2

is squared simply because it must be a positive number; being a physical system, dimensions must all be real numbers. Indeed,

L

is the length of the pendulum arm.

Robotics

In robot motion planning, a Pfaffian constraint is a set of k linearly independent constraints linear in velocity, i.e., of the form A(q) \, \dot q = 0

One source of Pfaffian constraints is rolling without slipping in wheeled robots.[2]

Notes and References

  1. Book: Ardema, Mark D. . 2005 . Analytical Dynamics: Theory and Applications . Kluwer Academic / Plenum Publishers . 0-306-48681-4 . 57.
  2. Book: Choset, H.M. . 2005 . Principles of Robot Motion: Theory, Algorithms, and Implementation . The MIT Press . 0-262-03327-5 .