15

I am recently learning some basic differential geometry. As I understand, differential forms provide a neat way to deal with the topics in calculus such as Stoke's theorem. In order to define the differential forms, one needs to learn the basic concepts in multi-linear algebra.

Here are my questions:

  • Are "differential forms" basically an algebraic approach to (multivariable) calculus?
  • If the answer is YES, what would be a analysis counterpart and what are the advantages and disadvantages of these two approaches?
  • If the answer is NO, how should I understand it properly? (EDITED: Are differential forms the only approach to multivariable analysis calculus?)

MOTIVATION:

When I look for a rigorous theoretical approach to multivariable calculus, such as I asked in this question , differential forms are almost always included in the books recommended. I am thus wondering if this is the only approach to multivariable calculus.

I may not being asking a good question. Any suggestion for improving the questions above will be really appreciated.

Community
  • 1
  • 2
    I'm not sure what you mean. What would it mean to say yes to this question? What would it mean to say no? – Qiaochu Yuan Aug 28 '11 at 00:46
  • @Qiaochu: Oops, I should have made it more precise question. I am editing it. –  Aug 28 '11 at 00:49
  • 2
    Okay. I am not sure in what sense differential forms don't count as analysis. I would say that they are an elegant blend of algebra and analysis. Perhaps the answers to http://mathoverflow.net/questions/10574/how-do-i-make-the-conceptual-transition-from-multivariable-calculus-to-differenti might be helpful to you. – Qiaochu Yuan Aug 28 '11 at 01:24
  • The are a Series of lectures https://www.youtube.com/playlist?list=PLmsIjFudc1l2wDQ_ekx6iLtqcWJQQvOsw given by Frederic Schuller on General Relativity. In the first half of the lectures, he develops all the underlying math needed and he does not use differential forms at all.

    The lecture 12 is about integration on manifolds. You can translate the theory to plain real space, using the euclidean metric and the identity chart as the atlas.

    Doing so, you can have an advanced approach to calculus on Rn withou using differential forms.

     – nadapez Nov 29 '21 at 13:42

2 Answers2

11

Any approach to multivariable calculus necessitates some modicum of multilinear algebra ( for instance because the change of variables formula for integrals uses determinants), and the cleaner the interface between calculus and algebra, the better. The language of differential forms is a clean interface between the two, and this language generalizes from $\mathbb{R}^n$ to arbitrary manifolds. That is, differential forms are how calculus is done on manifolds. Or, to be more accurate, they are a convenient algebraic formalism for doing calculus on manifolds. To abandon differential forms is not to go to analysis, but to lose oneself in an ocean of notation.

Robert Haraway
  • 1,445
  • 4
    Your "for instance" is the reason for multilinear algebra in multivariable calculus. – KCd Aug 28 '11 at 03:11
  • 1
    @AmbroseH: I don't understand your last two sentences... You seem to imply that there is another way of doing calculus on manifolds, one that involves an "ocean of notation." As for myself, I don't know of any other approach to integration on manifolds (except maybe if one counts densities as something separate), do you? – Jesse Madnick Aug 28 '11 at 04:25
  • 2
    The "ocean of notation" is probably related to Ricci-calculus and tensor analysis. But both Ricci-calculus and tensor analysis seem to be quite successful, and there are definitively situations that can be described by tensors but not by (alternating) differential forms alone. But there are also things like "Christoffel symbols" that don't even fit into the formalism of tensor analysis (or Ricci-calculus), and evoke an even worse "ocean of notation". (Conclusion: differential forms are a good first step in avoiding an "ocean of notation", but differential geometry has many more notions.) – Thomas Klimpel Aug 28 '11 at 14:54
  • @KCd: Duly noted. – Robert Haraway Aug 29 '11 at 16:16
  • 1
    @KCd I think there is more motivation for multilinear algebra in multivaraible calculus than just the change of variables formula for integrals. For instance, the $kth$ derivative of a smooth map from $\mathbb{R^n} \to \mathbb{R}$ is really a symmetric $k-$tensor field on $\mathbb{R}^n$. Undergrads even see a little bit of this, with the Hessian "matrix" (really $2$ -tensor). – Steven Gubkin Feb 12 '14 at 19:00
  • @StevenGubkin: Yes, higher-order derivatives in several variables are symmetric multilinear maps, but I think the role of the Jacobian determinant in the change of variables is a more immediately direct illustration of multilinear aspects of multivariable calculus. Also, I was thinking in the direction of differential forms, which was the subject of the question. – KCd Feb 13 '14 at 00:18
  • 1
    @KCd Indeed. Really I just made my comment to alert anyone reading to the fact that higher orderer derivatives are symmetric multilinear maps. I didn't realize this until recently and I am defending my thesis this summer! Somehow I feel that many basic things in mathematics are not made explicit anywhere - you kind of have to absorb the correct perspective from the culture. – Steven Gubkin Feb 13 '14 at 13:21
  • @StevenGubkin: you can find that discussed in Lang's Undergraduate Analysis. It is where I first read about how to treat derivatives of mappings between Euclidean spaces without reference to coordinates. – KCd Feb 13 '14 at 18:47
  • @Kcd thanks for the tip! I will check it out. – Steven Gubkin Feb 13 '14 at 19:03
6

The answer to the question

  • Are differential forms the only approach to multivariable calculus?

is a definitive NO. Differential forms are a topic of differential geometry or calculus on manifolds. And I think Wikipedia takes the right approach to calculus on manifolds by first talking about implicit and inverse function theorems, vector fields, the directional derivative, the Lie derivative, the Lie bracket and other important topics before even mentioning differential forms.

If you define multivariable calculus as the extension of calculus in one variable to calculus in more than one variable, and divide calculus into differential calculus and integral calculus, an introduction to differential forms as part of multivariable integral calculus could make sense.

  • Are "differential forms" basically an algebraic approach to (multivariable) calculus?

It's true that differential forms have important algebraic properties that are useful for the global analysis of manifolds:

  • Differential forms are capable of being pulled back by smooth maps, while vector fields cannot be pushed forward by smooth maps unless the map is, say, a diffeomorphism. (A vector field can only be pulled back by an immersion if it's tangential to the immersed manifold.)
  • The exterior derivative has the important property that $d^2 = 0$.

This leads to exact sequences which allow to build algebraic cohomology theories.

  • What would be a analysis counterpart and what are the advantages and disadvantages of these two approaches?

One drawback of differential forms for high dimensional manifolds comes from the curse of dimensionality. The vector space of alternating $k$-linear forms over an $n$-dimensional vector space has dimension $\frac{n!}{k!(n-k)!}$. So failing to visualize differential forms "correctly" before your inner eye is not the fault of your imagination, but simply one of the disadvantages of differential forms. As a consequence, there is nothing wrong with visualizing differential forms in $\mathbb{R}^3$ as vector fields.

Perhaps surprisingly, there are ways around the curse of dimensionality. (Monte Carlo methods are probably the best known examples, but there also exist deterministic methods.) However, there is so much material to be covered in a multivariable calculus course that the curse of dimensionality is rarely even mentioned at all.

Thomas Klimpel
  • 7,396