Problem 34 - A History of Mathematics: An Introduction

Question

If \(\omega\) is the differential one-form in three dimensions given by \(\omega=A d x+B d y+C d z\), show that $$ \begin{aligned} d \omega=&\left(\frac{\partial C}{\partial y}-\frac{\partial B}{\partial z}\right) d y d z+\left(\frac{\partial A}{\partial z}-\frac{\partial C}{\partial x}\right) d z d x \\ &+\left(\frac{\partial B}{\partial x}-\frac{\partial A}{\partial y}\right) d x d y \end{aligned} $$

Step-by-Step Solution

Answer

Short Answer: The exterior derivative \(d\omega\) of the given 1-form \(\omega = A dx + B dy + C dz\) in three dimensions is:$$ d\omega = \left(\frac{\partial C}{\partial y}-\frac{\partial B}{\partial z}\right) dy \wedge dz+\left(\frac{\partial A}{\partial z}-\frac{\partial C}{\partial x}\right) dz \wedge dx+\left(\frac{\partial B}{\partial x}-\frac{\partial A}{\partial y}\right) dx \wedge dy.

Step 1: Recall the definition of exterior derivative

To find the exterior derivative \(d\omega\), we need to differentiate each component of \(\omega\) with respect to each variable (x, y, z) and introduce the corresponding wedge (\wedge) products: $$ d\omega = \left( \frac{\partial A}{\partial x} dx + \frac{\partial B}{\partial x} dy + \frac{\partial C}{\partial x}dz \right) \wedge dx + \left( \frac{\partial A}{\partial y} dx + \frac{\partial B}{\partial y} dy + \frac{\partial C}{\partial y}dz \right) \wedge dy + \left( \frac{\partial A}{\partial z} dx + \frac{\partial B}{\partial z} dy + \frac{\partial C}{\partial z}dz \right) \wedge dz $$

Step 2: Apply rules for wedge products

The wedge product is antisymmetric, so the product of a form with itself is 0. That is, \(dx \wedge dx = dy \wedge dy = dz \wedge dz = 0\). Therefore, we need to expand the wedge product and eliminate terms that involve the product of a form with itself:$$ d\omega = \left(\frac{\partial B}{\partial x} dy\wedge dx - \frac{\partial C}{\partial x}dz\wedge dx \right) + \left(-\frac{\partial A}{\partial y} dx\wedge dy + \frac{\partial C}{\partial y}dz\wedge dy \right) + \left(-\frac{\partial A}{\partial z} dx\wedge dz - \frac{\partial B}{\partial z} dy\wedge dz \right) $$

Step 3: Rearrange the terms

Since the wedge product is antisymmetric, it changes the sign of a term when we swap its orders. So, applying this property, we can rearrange the terms to the final expression:$$ \begin{aligned} d \omega=&\left(\frac{\partial C}{\partial y}-\frac{\partial B}{\partial z}\right) dy \wedge dz+\left(\frac{\partial A}{\partial z}-\frac{\partial C}{\partial x}\right) dz \wedge dx \\ &+\left(\frac{\partial B}{\partial x}-\frac{\partial A}{\partial y}\right) dx \wedge dy \end{aligned} $$

Key Concepts

Differential Forms

Differential forms are a central concept in exterior calculus, enabling us to describe various geometrical and physical phenomena. At their core, differential forms are expressions that can integrate over manifolds, making them highly versatile tools.

• A differential one-form, like the ones given by the expression \(\omega = A \, dx + B \, dy + C \, dz\), is an object that assigns a linear combination of differentials to functions.
• These one-forms can be thought of as generalized vectors that help us in analyzing directions and magnitudes in a geometrical space.
• They are especially useful in physics and engineering, where they represent things like electric and magnetic fields.

One can integrate differential forms over paths, surfaces, or volumes, linking them directly to fundamental theorems in calculus, such as Green's theorem, Stokes’ theorem, and Gauss's theorem. They generalize the idea of measuring the 'total' effect along a path or within a boundary, enabling complex geometrical and physical interactions to be studied in a compact and uniform framework.
Understanding differential forms provides a profound way to analyze changes and interactions within multidimensional spaces.

Wedge Product

The wedge product is a special mathematical operation used in exterior calculus. It combines differential forms and results in a new differential form that expresses area, volume, or higher-dimensional spaces.

• It is denoted by the symbol \( \wedge \), and is key in operations involving differential forms, such as finding \(d\omega\) in our exercise.
• The wedge product is antisymmetric, which means \(dx \wedge dx = 0\), and switching the order of the forms in the product changes its sign. For example, \(dx \wedge dy = -dy \wedge dx\).
• This property is crucial in simplifying expressions and eliminating terms, as seen in the solution where terms like \(dx \wedge dx\) and \(dy \wedge dy\) vanish.

The wedge product turns our one-dimensional differentials, like \(dx\) or \(dy\), into multi-dimensional objects. This results in expressions capable of capturing the orientation and magnitude of elements within a system.
Using wedge products, you can express complex interactions and motions succinctly and consistently, proving indispensable in advanced calculus, physics, and engineering.

Exterior Derivative

The exterior derivative is an operation that extends the concept of derivative to differential forms, a way to compute derivatives that maintain the essential properties of calculus.

• For a differential one-form \(\omega = A \, dx + B \, dy + C \, dz\), the exterior derivative \(d\omega\) creates a two-form.
• It's computed by differentiating each component of the differential form and applying the wedge product with differentials, as shown in the exercise solution.
• The exterior derivative is linear, and it obeys a property of nilpotency, meaning applying it twice results in zero, \(d(d\omega) = 0\).

In practice, the exterior derivative translates into finding the way the form changes, providing insights into fields and flows within a space. It's essential in reformulating and solving differential equations in high dimensions, especially ones involved in electromagnetic theory and fluid dynamics.
The exterior derivative's ability to extend the derivative to abstract geometrical contexts revolutionized the way mathematicians and scientists describe multi-dimensional systems, offering a robust framework for understanding the foundational behaviors of various physical systems.