# Is Riemannian integration sufficient in physics?

Are there any applications in physics or engineering which require the Lebesgue integral and cannot be treated by Riemannian integration

-
If there is probability involved in the problem, then you may need Lebesgue integration for the probability part, but this may not be what you had in mind. –  rem Jun 7 '13 at 10:01
Fearless physicists don't bother about Riemann and Lebesgue, they use the Feynman path integral. –  Robert Haslhofer Jun 7 '13 at 12:17
@András I would not be that strict here. Cf. other comparably broad questions (for example that one about the Riemann integral: mathoverflow.net/questions/52708/… ) –  The User Jun 7 '13 at 13:38
This question has been asked this morning by a student. Now I see so many good answers that I hesitate to accept one of them. Beforehand I have each one upvoted without exception. Special thanks to G. Edgar for this fantastic picture and the clear statement (although it sounds to me somewhat infiltrated by irony). Modern quantum mechanics is beyond my scope and when asked yesterday, the delta-function, which is a very good example, did not occur to me. Thanks to all who answered. –  user34265 Jun 7 '13 at 17:16
@The User: In my opinion, this would be a typical candidate for a community wiki flag then. –  András Bátkai Jun 7 '13 at 17:31
show 1 more comment

Yes, there are such applications. For example quantum mechanics and the theory of solutions of partial differential equations rely on appropriate function spaces. In principle, you could define the typical function spaces as a completion of certain spaces of Riemann integrable functions. But if you want to work with an explicit structure of these spaces—and this will happen at some point—, you should know about Lebesgue-integration and the special convergence theorems for such functions. Measure theory gives the framework to work not just “abstractly” using general concepts from functional analysis, but “concretely” with integrable functions.

It might be possible to recover many results using ugly calculations with the Riemann integral, but I think you do not want to do that. Only the Lebesgue integral will give you a clear picture of the situation. Have in mind that the Lebesgue integral is just a natural “continuation” of the Riemann integral inducing nicer function spaces: By the Riesz–Markov–Kakutani theorem the Riemann integral, defined on continuous functions with compact support, induces the Lebesgue integral uniquely (and in fact you do not even need the Riemann integral, weaker notions would suffice). As long as you only need abstract arguments from functional analysis, you would not have to define measures to get the same results on the function spaces.

Also, understanding Lebesgue integration will help you to understand general measure theory. And general measure theory is important in the theory of distributions, which is widely used in physics, and for spectral theory of operator algebras/operators on Hilbert spaces (which is essential for quantum mechanics). And sometimes you want to do integration on more general manifolds or topological groups. Again, in many cases you might be able to describe the integration on the manifolds using Riemann integrals, but you really do not want to work with it.

-

Of course Riemann is sufficient. Those weird mathematical fictions like fractals never occur in the real world!

-
Well given that we have atoms and therefore truly self-similar things can't occur in nature, I agree with your comment! –  stankewicz Jun 7 '13 at 13:16
I agree, it is just a question of how deep you get into the matter. –  Jon Jun 7 '13 at 13:35
Where did you get the picture? –  The User Jun 7 '13 at 13:41
Nope. They never occur. Not ever. i1.trekearth.com/photos/11352/fern.jpg –  Lee Mosher Jun 7 '13 at 14:10

In the comments, Constantin says that the question came from a student. I remember that when I was a student getting ready to study the Lebesgue integral for the first time, and discussing it with my peers and with other students who were slightly ahead of us, the motivation for the Lebesgue integral was not particularly clear. Someone pointed out that weird functions like the characteristic function of the rationals were Lebesgue integrable but not Riemann integrable. Someone else said that the Lebesgue theory allowed you to prove nicer theorems about interchanging the order of operations (i.e., limits, integrals, derivatives). For my peers who were more interested in physics than in math, these motivations were not convincing. I mean, who cares about the characteristic function of the rationals? And rigorous justification of the interchanging of limits is the paradigmatic example of something that fussy mathematicians sweat over but physicists just do. Does the budding physicist really need to learn all that math?

Implicitly, I think there are two separate questions being conflated here. The first question is the question being asked on the surface, namely whether rigorous mathematical theories of integration beyond the Riemann integral ever find application in physics. The second question, which is perhaps closer to the real concern of the student, is whether the conceptual understanding of integration afforded by undergraduate courses on the Riemann integral is good enough for most physicists (and engineers, perhaps).

Others have answered the first question well. I'd like to say a bit about the second question. I believe that there are some concepts that virtually every physicist/engineer is going to have to learn about, that go beyond what the "freshman calculus" treatment of integration gives you. Perhaps the first one that the student will encounter is the Dirac delta function. Now here's an interesting thing about the Dirac delta function: If you want to deal with it rigorously, then the standard course on Lebesgue integration may not help you very much. Instead, you either need to introduce the theory of distributions, or if you're content with a more lowbrow treatment that suffices for basic applications, you'll need the Riemann–Stieltjes integral. But perhaps more importantly, it's not clear to me that most physicists really "need" any mathematically rigorous treatment of the Dirac delta function. The mathematical physicists do, but do "regular users" need the rigor? Not clear.

I think the story is similar for the more advanced integration concepts that show up in physics. For quantum field theory, you absolutely need the Feynman path integral. But do the physicists need a mathematically rigorous treatment of the Feynman path integral to do their work? Clearly not, since the physicists have been merrily using the path integral non-rigorously for eons. Is taking a course on Lebesgue integration going to help the student master the Feynman path integral? Seems doubtful to me.

So I would answer as follows. Should budding physicists expect to have to expand their conceptual understanding of integration beyond the Riemann integral? Yes. Does this mean that they need to study more integration theory, in particular the Lebesgue integral, from a rigorous mathematical standpoint? The answer to this is less clear. Certain concepts from probability theory and functional analysis are indispensable in physics, and the Lebesgue theory forms the mathematical foundation for these subjects. So if you're the kind who benefits from being exposed to a rigorous treatment of the foundations, then you'll want to study Lebesgue integration. But many physicists get by with an intuitive understanding of those concepts without worrying too much about the mathematical niceties.

-
The question was whether it gets applied in physics, not wether every physicist directly works with it. And mathematically rigorous treatments are not just a game for mathematical physicists, other physicists actually rely on it. There is a rock-solid proof of the CPT theorem, thus physicists trust in it—would it be the same situation without a theory of Hilbert spaces, distributions etc.? And every physicist should know about the completeness of $L^2(\mathbb{R})$. –  The User Jun 7 '13 at 23:17
Probably, you don't need mathematical rigor for physical arguing, and you don't need it to believe heuristic arguments that others tell you. But when you are doing physical research on your own, it may happen that you are far beyond mathematical rigor and suddenly come to a contradiction. Then you are stuck, if you are not able to justify your steps mathematically to see which way was right. –  Kofi Jun 8 '13 at 10:49

I would like to say that the question should be phrased differently in my opinion.

Of course, in physics, you need to integrate, as a concept of integration occurs naturally when speaking of differentiation (and many laws of nature seem to have the form of differential equations).

The Riemann integral and the Lebesgue integral are two different concepts of defining an integral with mathematical rigour that coincide on certain classes of functions. An appropriate question can therefore be: are there functions that occur in physics that are not in that are not in the class that can be treated by the Riemann concept, but can be treated with the Lebesgue integral. The answer to this question, as pointed out by earlier answers, is "yes, for example in quantum mechanics".

However, I am writing this answer mainly to stress the following point: In physics, it is particularly useful to not see the Lebesgue integral as extension of the Riemann integral, but instead see them as different concepts that are useful in different contexts. For example, one of the most important functions in physics, $e^{ix^2}$ has an improper Riemann integral but is not Lebesgue integrable.

This example is generic: Especially in the theory of $\Psi$DOs and Fourier integral operators, you need further concepts of integration (oscillatory integrals, for example) that in my view are somewhat nearer to the concept of the Riemann integral.

Another example would be regularized integrals and all that.

So, summing up: Yes, in physics you need every different concept of integration that you can get your hands on, and you won't get away with only one, neither with the Riemann nor with the Lebesgue integral.

-
I think this common example of non-overlap between improper Riemann and Lebesgue integrals is rather silly. If anything, it shows that the concept of the 'Lebesgue integral' (as integral with respect to the Lebesgue measure on $\mathbb{R}$) is as antiquated as the much maligned Riemann integral. Both are subsumed by the modern notion of continuous linear functionals on function spaces and distributions. The latter, in fact, cover all the examples that you've given above. –  Igor Khavkine Jun 7 '13 at 11:59
I second Igor: That the standard $\sin(x)/x$-example, $e^{ix^2}$ or the integrals occuring when defining the Fourier-transform on non-compact spaces or oscillatory integrals might in some cases be treated using an improper Riemann integral is not a notable propertyof “Riemann integration” but of “improper integration”: You define “improper integrals” as limits of some integrals, you can consider improper Lebesgue integration, improper Stieltjes integration and whatever you like. You can integrate $e^{ix^2}$ improperly using any notion of an integral, which is defined on compact sets. –  The User Jun 7 '13 at 13:29
And under certain circumstances you can “control” the convergence of the improper integration, such that you get a well-defined continuous functional. –  The User Jun 7 '13 at 13:30
My point was to argue that the Lebesgue integral is not the end of the story. Sorry if that did not come over well. –  Kofi Jun 8 '13 at 10:44

Distributions are used in physics quite often and are closely related to measures. For example this integral involving a Dirac delta function, $\int f(x) \delta(x) dx = f(0)$, cannot be interpreted in any way as a Riemann integral of some continuous functions. On the other hand, $\delta(x) dx$ is a perfectly fine measure on $\mathbb{R}$ in the sense of Lebesgue, though different from the translation invariant Lebesgue measure on $\mathbb{R}$.

-
I think the question was not about measures in general, but about the Lebesgue (Haar) measure on $\mathbb{R}^n$. –  The User Jun 7 '13 at 10:01
Abstract Lebesgue integration on measure spaces other than $R^n$ is certainly useful in mathematical physics. See, for example, Barry Simon's book "Functional Integration and Quantum Physics" or Glimm and Jaffe "Quantum Physics: A functional integral point of view".