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
L
Holonomic systems can always be written in Pfaffian constraint form.
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\}
L
| ||||
\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
Consider a pendulum. Because of how the motion of the weight is constrained by the arm, the velocity vector
\overrightarrow{V}
\overrightarrow{L}
x
y
\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
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
And conventionally, we may write:
x2+y2=L2
The term
L2
L
In robot motion planning, a Pfaffian constraint is a set of k linearly independent constraints linear in velocity, i.e., of the form
One source of Pfaffian constraints is rolling without slipping in wheeled robots.[2]