The theory of exterior calculus of differential forms was developed by the influential French mathematician Élie Cartan, who did fundamental work in the theory of differential geometry. Cartan is regarded as one of the great mathematicians of the twentieth century. The exterior calculus generalizes multivariate calculus, and allows us to integrate functions over differentiable manifolds in dimensions.

The fundamental theorem of calculus on manifolds is called Stokes’ Theorem. It is a generalization of the theorem in three dimensions. In essence, it says that the change on the boundary of a region of a manifold is the sum of the changes within the region. We will discuss the basis for the theorem and then the ideas of exterior calculus that allow it to be generalized. Finally, we will use exterior calculus to write Maxwell’s equations in a remarkably compact form.

**Stokes’ Theorem **

The fundamental theorem of calculus connects differention and integration. For functions defined on the real line , we have

This relates the values of the function on the boundary points of the interval to the values of the derivative in the interval.

Now suppose is a function on . Changes in are measured by its gradient, and integrating the gradient along a path from point to , we have

It follows from this that the integral around a closed curve vanishes:

Moving from a scalar function to a vector field , Stokes’ Theorem connects the values of on the boundary of a 2D surface in to the values of its derivatives in the interior:

If is the velocity field, Stokes’ Theorem relates the circulation around the

boundary to the spin, or vorticity, over the surface.

Now considering a 3D volume , the integral of the normal component of a vector field over its bounding surface is related to the integral of the derivatives of over the volume by the divergence theorem, or Gauss’s theorem:

If is the fluid velocity, this says that the total outward flux through the boundary is equal to the divergence summed over the volume.

There is great similarity between the relationships (1), (2) and (3). They all equate an integral of some differential operator “d” acting on a function over a path “” (or a higher-dimensional region), to the integral of the function over the the boundary of . We can write all three equations in the form

In fact, (4) is the general form of Stokes’ Theorem. Here, is a *chain*, a combination of -dimensional paths or regions in an -dimensional manifold , with a -dimensional boundary , and is a differential form defined over .

**Forms and Chains**

A differential form is an expression appearing under an integral sign. The -dimensional forms on an -dimensional manifold comprise a vector space . Cartan defined a multiplication method, the wedge product, which combines elements and to yield an element of . The wedge product is skew-symmetric: .

Cartan also defined an operator , called the exterior derivative, which produces a -form when applied to a -form. If the exterior derivative is applied twice in succession, a null output results: . In the special case , it reduces to the classical vector operators grad, curl and div (see table). The familiar identities and are embraced within the relationship .The differential 0-forms are just real-valued functions on . There are three elementary 1-forms, , and and a general 1-form looks like

There are also just three elementary 2-forms, and and a general 2-form can be written

There are only one elementary 3-form, and a general 3-form can be written

The domain over which differential forms are integrated is called a *chain*. It may be of any dimension up to that of the underlying manifold. It is inconvenient to restrict the domain to a single connected piece. A -chain is a sum of a finite number of elementary -cells, such as triangles or tetrahedrons, The -chains form a group and the boundary operator reduces the dimension by one: . Application of the boundary operator twice in succession yields a null result: .

** Application to Maxwell’s Equations **

The usual formulation of Maxwell’s equations is in terms of vector operators:

This is a system of four vector equations or eight scalar equations. Using differential forms, the system can be written in very compact form. We define a 2-form called the Faraday,

and the *dual* 2-form called the Maxwell:

Maxwell’s equations may then be written as

This is clearly a great simplification, at least in formal terms.

**A Cautionary Word**

There is no doubt that the formalism of exterior calculus provides a powerful toolset for calculus on manifolds. Arnold (1978) is unambiguous in advocating the methods, writing **“Hamiltonian mechanics cannot be understood without differential forms”.** Of course, a cynic might observe that differential forms were not available to Hamilton!

While the general formalism facilitates the proof of theorems, the development is tortuous, and many definitions are abstract and difficult to visualize. Are difficulties really being removed, or are they being swept under the carpet by the abstract formalism of differential forms? For example, starting from Maxwell’s equations in the form (5), how do we arrive at a wave equation for electromagnetic radiation? (The wave equation follows immediately from the vectorial equations).

In his *Lectures on Physics*, Richard Feynmann showed how a collection of mathematical or physical equations can be combined in a single equation

Much earlier, in his seminal book *Weather Prediction by Numerical Process*, Lewis Fry Richardson wrote “There is a tale of a philosopher who succeeded in reducing the whole of physics to a single equation , but the explanation of the meaning of occupied twelve fat volumes.” A similar impression may be formed by the student battling with the theory of differential forms. The general form of Stokes’ Theorem (4) does indeed comprise all the familiar integral relationships of classical vector calculus, but it takes a substantial investment of effort to understand what the innocent-looking symbols and actually mean.

**Sources**

Arnold, V. I., 1978: *Mathematical Methods of Classical Mechanics*. Springer-Verlag, 462p.

Flanders, Harley, 1989: *Differential Forms with Applications to the Physical Sciences*. Dover Publs., New York, 205pp.

Richardson, Lewis Fry, 1922: *Weather Prediction by Numerical Process*. Cambridge Univ. Press. 2nd Edn., 2007. ISBN: 978-0-5216-8044-8 (See page 220).

You must be logged in to post a comment.