# What is Differential forms: Definition and 135 Discussions

In the mathematical fields of differential geometry and tensor calculus, differential forms are an approach to multivariable calculus that is independent of coordinates. Differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, especially in geometry, topology and physics.
For instance, the expression f(x) dx from one-variable calculus is an example of a 1-form, and can be integrated over an oriented interval [a, b] in the domain of f:

a

b

f
(
x
)

d
x
.

{\displaystyle \int _{a}^{b}f(x)\,dx.}
Similarly, the expression f(x, y, z) dx ∧ dy + g(x, y, z) dz ∧ dx + h(x, y, z) dy ∧ dz is a 2-form that has a surface integral over an oriented surface S:

S

(
f
(
x
,
y
,
z
)

d
x

d
y
+
g
(
x
,
y
,
z
)

d
z

d
x
+
h
(
x
,
y
,
z
)

d
y

d
z
)
.

{\displaystyle \int _{S}(f(x,y,z)\,dx\wedge dy+g(x,y,z)\,dz\wedge dx+h(x,y,z)\,dy\wedge dz).}
The symbol ∧ denotes the exterior product, sometimes called the wedge product, of two differential forms. Likewise, a 3-form f(x, y, z) dx ∧ dy ∧ dz represents a volume element that can be integrated over an oriented region of space. In general, a k-form is an object that may be integrated over a k-dimensional oriented manifold, and is homogeneous of degree k in the coordinate differentials.
The algebra of differential forms is organized in a way that naturally reflects the orientation of the domain of integration. There is an operation d on differential forms known as the exterior derivative that, when given a k-form as input, produces a (k + 1)-form as output. This operation extends the differential of a function, and is directly related to the divergence and the curl of a vector field in a manner that makes the fundamental theorem of calculus, the divergence theorem, Green's theorem, and Stokes' theorem special cases of the same general result, known in this context also as the generalized Stokes theorem. In a deeper way, this theorem relates the topology of the domain of integration to the structure of the differential forms themselves; the precise connection is known as de Rham's theorem.
The general setting for the study of differential forms is on a differentiable manifold. Differential 1-forms are naturally dual to vector fields on a manifold, and the pairing between vector fields and 1-forms is extended to arbitrary differential forms by the interior product. The algebra of differential forms along with the exterior derivative defined on it is preserved by the pullback under smooth functions between two manifolds. This feature allows geometrically invariant information to be moved from one space to another via the pullback, provided that the information is expressed in terms of differential forms. As an example, the change of variables formula for integration becomes a simple statement that an integral is preserved under pullback.

View More On Wikipedia.org
1. ### I Help with Differential Forms - self wedge product terms

I'm completely new to differential forms so I am having trouble following the arguments from the following post: https://physics.stackexchange.com/questions/555668/integrating-over-non-trivial-fiber-bundles-chern-simons-theory Specifically: 1.) In equation (12) of the accepted answer, where did...
2. ### I Contact manifold and Darboux's theorem

Hi, I'm studying the concept of contact manifold -- Contact geometry A related theorem is Darboux's theorem for one-forms -- Darboux theorem In the particular case of one-form ##\theta \neq 0## such that ##d\theta## has constant rank 0 then if ##\theta \wedge (d\theta)^0 \neq 0## there exists a...
3. ### I Differential operator vs one-form (covector field)

Hi, I'd like to ask for clarification about the definition of differential of a smooth scalar function ##f: M \rightarrow \mathbb R## between smooth manifolds ##M## and ##\mathbb R##. As far as I know, the differential of a scalar function ##f## can be understood as: a linear map ##df()##...
4. ### I Action of metric tensor on Levi-Civita symbol

We know that a metric tensor raises or lowers the indices of a tensor, for e.g. a Levi-Civita tensor. If we are in ##4D## spacetime, then \begin{align} g_{mn}\epsilon^{npqr}=\epsilon_{m}{}^{pqr} \end{align} where ##g_{mn}## is the metric and ##\epsilon^{npqr}## is the Levi-Civita tensor. The...
5. ### A Solving Equation 15.43 Line 2 to 3 in Tevian Dray's Differential Forms

The equality is implied in the move from equation 15.43 line 2 to line 3. I do find Dray's book is admirably clear and absolutely says something I wish to understand, but my 78 year old brain has difficulty. However, in this case I can be precise about where I fail to follow. Oh! I find...
6. ### Calculus Hubbard’s vector calculus text

Anyone know of an online course or set of video lectures on John Hubbard's textbook on Vector Calculus, Linear Algebra, and Differential Forms?
7. ### Best way to teach myself differential forms?

Any suggestions? Online courses or videos?
8. ### I What is differential about differential forms?

Why are n-forms called differential forms? What is differential about them? And why was the dx notation adopted for them? It must have something to do with the differential dx in calculus. But dx in calculus is an infinitesimal quantity. I don't see what n-forms have to do with infinitesimal...
9. ### I Darboux theorem for symplectic manifold

Hi, I am missing the point about the application of Darboux theorem to symplectic manifold case as explained here Darboux Theorem. We start from a symplectic manifold of even dimension ##n=2m## with a symplectic differential 2-form ##w## defined on it. Since by definition the symplectic 2-form...
10. ### A Differential forms on R^n vs. on manifold

First time looking at differential forms. What is the difference of the forms over R^n and on manifolds? Does the exterior product and derivative have different properties? (Is it possible to exaplain this difference without using the tangent space?)
11. ### A Dx in an integral vs. differential forms

Good Morning To cut the chase, what is the dx in an integral? I understand that d/dx is an "operator" on a function; and that one should never split, say, df, from dx in df/dx That said, I have seen it in an integral, specifically for calculating work. I do understand the idea of...
12. ### I Integration of differential forms

I am confused as to how exactly we integrate differential forms. I know how to integrate them in the sense that I can perform the computations and I can prove statements, but I don't understand how it makes sense. Let's integrate a 1-form over a curve for example: Let ##M## be a smooth...
13. ### I Testing my knowledge of differential forms

I am test my knowledge of differential forms and obviously I am missing something because I can't figure out where I am going wrong here: Let ##C## denote the positively oriented half-circle of radius ##r## parametrized by ##(x,y) = (r \cos t, r \sin t)## for ##t \in (0, \pi)##. The value of...
14. ### A Can we always rewrite a Tensor as a differential form?

I read in the book Gravitation by Wheeler that "Any tensor can be completely symmetrized or antisymmetrized with an appropriate linear combination of itself and it's transpose (see page 83; also this is an exercise on page 86 Exercise 3.12). And in Topology, Geometry and Physics by Michio...
15. ### A Differential Forms or Tensors for Theoretical Physics Today

There are a few different textbooks out there on differential geometry geared towards physics applications and also theoretical physics books which use a geometric approach. Yet they use different approaches sometimes. For example kip thrones book “modern classical physics” uses a tensor...
16. ### Arriving at the differential forms of Maxwell's equations

In college I learned Maxwell's equations in the integral form, and I've never been perfectly clear on where the differential forms came from. For example, using \int _{S} and \int _{V} as surface and volume integrals respectively and \Sigma q as the total charge enclosed in the given...
17. ### I Maxwell's equations with differential forms

Hello! I was not quite sure about posting in this category, but I think my question fits here. I am wondering about Maxwell equations in vacuum written with differential forms, namely: $$\label{pippo} dF = 0 \qquad d \star F = 0$$ I know ##F## is a 2-form, and It...
18. ### I Vector valued integrals in the theory of differential forms

So I heard a k-form is an object (function of k vectors) integrated over a k-dimensional region to yield a number. Well what about integrals like pressure (0-form?)over a surface to yield a vector? Or the integral of gradient (1-form) over a volume to yield a vector? In particular I’m...
19. ### I Differential Forms.... Another question.... Browder, Sec 13.1

I am reading Andrew Browder's book: "Mathematical Analysis: An Introduction" ... ... I am reading Chapter 13: Differential Forms ... ... and am currently focused on Section 13.1 Tensor Fields ... I need some help in order to fully understand some statements by Browder in Section 13.1 ... ...
20. ### I Differential Forms & Tensor Fiekds .... Browder, Section 13.1

Andrew Browder in his book: "Mathematical Analysis: An Introduction" ... ... defines a differential form in Section 13.1 which reads as follows: In the above text from Browder we read the following: " ... ... A differential form of degree ##r## (or briefly an ##r##-form) in ##U## is a...
21. ### MHB The Dual Space and Differential Forms .... ....

I am reading the book: Multivariable Mathematics by Theodore Shifrin ... and am focused on Chapter 8, Section 2, Differential Forms ... I need some help in order to fully understand some statements of Shifrin at the start of Chapter 8, Section 2 on the dual space ... The relevant text from...
22. ### Differential 1 form on line

Homework Statement This problem is from V.I Arnold's book Mathematics of Classical Mechanics. Q) Show that every differential 1-form on line is differential of some function Homework Equations The differential of any function is $$df_{x}(\psi): TM_{x} \rightarrow R$$ The Attempt at a Solution...
23. ### Integral of a differential form

Homework Statement Suppose that a smooth differential ##n-1##-form ##\omega## on ##\mathbb{R}^n## is ##0## outside of a ball of radius ##R##. Show that $$\int_{\mathbb{R}^n} d\omega = 0.$$ Homework Equations [/B] $$\oint_{\partial K} \omega = \int_K d\omega$$ The Attempt at a Solution...
24. ### I Differential forms and bases

In the exercises on differential forms I often find expressions such as $$\omega = 3xz\;dx - 7y^2z\;dy + 2x^2y\;dz$$ but this is only correct if we're in "flat" space, right? In general, a differential ##1##-form associates a covector with each point of ##M##. If we use some coordinates...
25. ### A Diff. forms: M_a = {u /\ a=0 | u in L}

Here's exercise 1 of chapter 2 in Flanders' book. Let ##L## be an ##n##-dimensional space. For each ##p##-vector ##\alpha\neq0## we let ##M_\alpha## be the subspace of ##L## consisting of all vectors ##\sigma## satisfying ##\alpha\wedge\sigma=0##. Prove that ##\dim(M_\alpha)\leq p##. Prove also...

48. ### Relativity Differential Forms and the Geometry of General Relativity

Hello, I would like to know if anybody here has used the book "Differential Forms and the Geometry of General Relativity" by Tevian Dray and how they found it. Thanks!
49. ### A Why the terms - exterior, closed, exact?

Hi all, (Thank you for the continuing responses to my other questions...) I am gaining more and more understanding of differential forms and differential geometry. But now I must ask... Why the words? I understand the exterior derivative, but why is it called "exterior?" Ditto for CLOSED and...
50. ### I How to interpret the differential of a function

In elementary calculus (and often in courses beyond) we are taught that a differential of a function, ##df## quantifies an infinitesimal change in that function. However, the notion of an infinitesimal is not well-defined and is nonsensical (I mean, one cannot define it in terms of a limit, and...