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 pullbackPlanetmathPlanetmath 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 ( of these forms vanishes is called a solution to this system. Sometimes, (especially in older literature) one also sees a notation like adx+bdx=0 to indicate that the pullback of the form adx+bdy is required to vanish. A more accurate notation would be ιM*(adx+bdy)=0 which explicitly indicates the pullback to the submanifold.

Given a system of local coordinates on M, Pfaff’s problem is equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmath to a system of partial differential equationsMathworldPlanetmath. Conversely, given a system of differential equations, one can find a set of differential forms such that solutions of the system of equations correspond to solutions of Pfaff’s problem for that set of forms. In this way, Pfaff’s problem differential geometry and the theory of differential equations. The resulting cross-fertilization has been beneficial for both .

On the one hand, translating a system of differential equations into a Pfaff’s problem makes it easier to discuss the transformationPlanetmathPlanetmath 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 symmetriesPlanetmathPlanetmath 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
Canonical name PfaffsProblem
Date of creation 2013-03-22 14:37:48
Last modified on 2013-03-22 14:37:48
Owner rspuzio (6075)
Last modified by rspuzio (6075)
Numerical id 13
Author rspuzio (6075)
Entry type Definition
Classification msc 53B99