# Pfaffian equation

An equation of the form

 (1)

where , is a differential -form (cf. Differential form), and the functions , , are real-valued. Let and suppose that the vector field does not have critical points in the domain .

A manifold of dimension and of class is called an integral manifold of the Pfaffian equation (1) if on . The Pfaffian equation is said to be completely integrable if there is one and only one integral manifold of maximum possible dimension through each point of the domain .

Frobenius' theorem: A necessary and sufficient condition for the Pfaffian equation (1) to be completely integrable is

 (2)

Here is the differential form of degree 2 obtained from by exterior differentiation, and is the exterior product. In this case the integration of the Pfaffian equation reduces to the integration of a system of ordinary differential equations.

In three-dimensional Euclidean space a Pfaffian equation has the form

 (3)

where , and are functions of , and and condition (2) for complete integrability is

 (4)

or

In this case there exist smooth functions , () such that

and the integral surfaces of the Pfaffian equation (3) are given by the equations . If is a certain force field, then the field has as a potential function. If the Pfaffian equation (3) is not completely integrable, then it does not have integral surfaces but can have integral curves. If arbitrary functions , are given, then (3) will be an ordinary differential equation in and the curve , , will be an integral curve.

It was J. Pfaff [1] who posed the problem of studying equation (1) for arbitrary and of reducing the differential -form to a canonical form. Condition (4) was first obtained by L. Euler in 1755 (see [2]).

By a smooth change of variables any Pfaffian equation can locally be brought to the form

 (5)

where are the new independent variables (, ). The number is called the class of the Pfaffian equation; here is the largest number such that the differential form of degree is not identically zero. When the Pfaffian equation is completely integrable. The functions are called the first integrals of the Pfaffian equation (5) and the integral manifolds of maximum possible dimension are given by the equations

A Pfaffian system is a system of equations of the form

 (6)

where and are differential -forms:

The rank of the matrix is the rank of the Pfaffian system at the point . A Pfaffian system is said to be completely integrable if there is one and only one integral manifold of maximum possible dimension through each point .

Frobenius' theorem: A necessary and sufficient condition for a Pfaffian system (6) of rank to be completely integrable is

The problem of integrating any finite non-linear system of partial differential equations is equivalent to the problem of integrating a certain Pfaffian system (see [6]).

A number of results has been obtained on the analytic theory of Pfaffian systems. A completely-integrable Pfaffian system

of equations has been considered, where and are positive integers and the vector functions , are holomorphic at the point , , ; sufficient conditions have been given for the existence of a holomorphic solution at the origin (see [7]); generalizations to a larger number of independent variables have also been given.

#### References

 [1] J.F. Pfaff, Berl. Abh. (1814–1815) pp. 76–135 [2] L. Euler, "Institutiones calculi differentialis" G. Kowalewski (ed.) , Opera Omnia Ser. 1; opera mat. , 10 , Teubner (1980) pp. Chapt. IX ((in Latin)) [3] I.G. Petrovskii, "Ordinary differential equations" , Prentice-Hall (1966) (Translated from Russian) [4] Yu.S. Bogdanov, "Lectures on differential equations" , Minsk (1977) (In Russian) [5] E. Cartan, "Sur la théorie des systèmes en involution et ses applications à la relativité" Bull. Soc. Math. France , 59 (1931) pp. 88–118 [6] P.K. Rashevskii, "Geometric theory of partial differential equations" , Moscow-Leningrad (1947) (In Russian) [7] R. Gérard (ed.) J.-R. Ramis (ed.) , Equations différentielles et systèmes de Pfaff dans le champ complexe 1–2 , Lect. notes in math. , 712; 1015 , Springer (1979)