12
$\begingroup$

In multivariate calculus,

  1. I was wondering what types of integrals are studied? Here are my naive view:

    • Multiple integral: If I understand correctly, it is just a plain generalization of Riemann integral on $\mathbb{R}$ to on $\mathbb{R^n}$.
    • Integral of differential forms: It is something I am not able to truly understand. Is it a special kind of Lebesgue integral? Does its definition rely on measure?
  2. When trying to compare them together, I have some further questions:

    1. Are multiple integrals and integrals of differential forms two different types of integrals? Do they belong to some common type of integral, similarly to that Riemann integral and Lebesgue-Stieltjes integrals both belong to Lebesgue integral? How are they related?

    2. Is it correct that multiple integrals have no orientation involved, but an integral of differential forms does, in the sense of changing the order of dummy variables in $dx_1 dx_2$ will or will not change the integral?

  3. What type of integral is used in vector calculus, for topics such as gradient, divergence, curl, Laplacian, the gradient theorem, Green's theorem, Stokes' theorem, divergence theorem? Are the line integral, surface integral and volume integral defined as belonging to Lebesgue integrals or Riemann integrals, integrals of differential forms, or something else? Do their definitions rely on measure?

Thanks and regards!

  • 0
    It is important to note that a differential form is different from (or rather a generalization of) the typical differentials $dx,dy,\text{etc.}$ you typically work with. As for 2.3, I suggest you look up *line integrals* and *surface integrals*.2011-04-12
  • 0
    @Alex: Thanks! Are Line integral, Surface integral and Volume integral defined as belonging to Lebesgue integral or Riemann integral, or integral of differential forms, or something else? Do their definitions rely on measure?2011-04-12
  • 1
    AFAIK, after parameterization of the line/surface/volume/higher-dimension equivalent one can use whatever integral, so to be proper one would talk about a function as being Riemann or Lebesgue or whatnot integrable along a line/volume/etc. But I've never seen anyone take a line/etc. integral of a function not Riemann-integrable on that line (and of course values coincide whenever different integrals exist), so I can't be sure.2011-04-12
  • 1
    I can not see any comment box, so I put the link here. http://www.math.ucla.edu/~tao/preprints/forms.pdf I think this can answer your questions.2011-04-12
  • 2
    @Jack: the reason you cannot see any comment box is because you have fewer than 50 reputation points. We hope that this encourages you to go ahead and earn them! `:)`2011-04-12
  • 0
    This is a nice question. I wonder why there is no answer yet.2011-10-03
  • 0
    @Srivatsan: Thanks for your nice comment. Chance might have been bigger if it had been asked by another person.2011-10-03
  • 0
    I made some small edits. Hope it's ok. (Incidentally, that would bump up the post as well. Let's see :=))2011-10-04
  • 2
    Dear Tim: It sounds like you think that people are less likely to answer a question when you ask it, which is highly unfortunate! I do think you have some interesting questions, and I've even answered a few of them. So if you'll allow me to offer a friendly observation: There are often several different questions in the same question post of yours. Because of this, I don't always know where to start with an answer, or addressing all of your questions in the same post would take more of my time than I have at that moment. Others might feel the same way. (to be continued...)2011-10-04
  • 2
    (continued...) You might get more of your questions answered if they were more focused; say, one true question per question post. But please don't give up asking questions; like I said, I've seen some really good ones from you!2011-10-04
  • 1
    @Mike: Thanks for the nice and kind comment, advice and encouragement! PS: I didn't give up asking questions, but sometimes more to myself than to others, which may make me seem to be on a break.2011-10-04

1 Answers 1

3

I am reading this question as saying: There are too many integrals and that confuses me. Here is my attempt to clear the waters a little.

First, let's consider our old friend the Riemann integral. We used this to find the areas between curves (or volume bounded by surfaces if we go up a dimension). In fact, The Riemann integral was presented as the solution to this problem, and it works very well except that some things which are "obviously true" fail to even make sense for this integral. The example I have in mind is that $\int_{\mathbb{R}}\chi_{\mathbb{Q}} = 0$, where $\chi_{\mathbb{Q}}$ is the indicator function of the rationals, is something that we want to be true, but the function fails to be Riemann integrable. The Lebesgue integral is the solution to this problem.

Even though you have to learn a whole new theory of Lebesgue integration on measure spaces you can think of it as a patch which makes the dominated convergence theorem true since (as long as you pick the right definition of measurable function) the two integrals agree whenever the Riemann integral exists. This is done by (more or less) slicing horizontally rather that vertically, and having a more robust version of "area".

Your questions about differential forms are possibly answered by the following statement:

Calculus is awesome!

What I mean is that we have learned a tremendous amount by doing calculus, and wouldn't it be great if we could use this tool on "shapes" other than (open subsets of) $\mathbb{R}^n$, say for example curves and surfaces. As it turns out differential forms are the solution to this problem. Rather than go into a whole course about manifolds let me just say that whatever a manifold is, $\mathbb{R}^n$ is one and the forms notion of integration coincides with the regular way. So we can think of differential forms less like a new way to integrate and more like a way to extend the value of integration while at the same time giving a new language in which to reinterpret what what we know in $\mathbb{R}^n$.

To sum up when you are integrating you are always using differential forms and the Lebesgue integral, but of course you don't need to know that most of the time.

I hope this answers at least a few of your questions.