# Pfaff’s problem

Given a manifold $M$, let $S$ be a set of differential forms on $M$. Pfaff’s problem is to determine all submanifolds of $M$ such that the pullback  of any form in $S$ vanishes identically.

In the context of Pfaff’s problem, a set of differential forms is often called a Pfaffian system and a manifold on which the pullback (http://planetmath.org/PullbackOfAKForm) of these forms vanishes is called a solution to this system. Sometimes, (especially in older literature) one also sees a notation like $a\,dx+b\,dx=0$ to indicate that the pullback of the form $a\,dx+b\,dy$ is required to vanish. A more accurate notation would be $\iota_{M}^{*}(a\,dx+b\,dy)=0$ which explicitly indicates the pullback to the submanifold.

On the one hand, translating a system of differential equations into a Pfaff’s problem makes it easier to discuss the transformation  properties of that equation since changes of variable for the equation correspond to diffeomorphisms of the manifold on which the Pfaff’s problem is formulated. This is especially true when the transformations mix dependent and independent variables or involve derivatives of variables. For this reason, it is often easier to study the transformation properties and symmetries  of a system of differential equations by examining the transformation properties and symmetries of a system of differential forms corresponding to the system of equations. Also, questions of consistency and integrability conditions are usually much more easily discussed for systems of differential forms than for systems of differential equations.

On the other hand, to prove the existence or uniqueness of a solution to Pfaff’s problem for a certain class of systems of differential forms, it is typical to first translate the statement to be proven to a statement about the existence or uniqueness of a solution to a system of differential equations and then apply existence and uniqueness theorems for differential equations.

Reference: Schouten and v. d. Kulk 1949 in bibliography for differential geometry

Title Pfaff’s problem PfaffsProblem 2013-03-22 14:37:48 2013-03-22 14:37:48 rspuzio (6075) rspuzio (6075) 13 rspuzio (6075) Definition msc 53B99