32

Riemann integration is fine for physics in general because the functions dealt with tend to be differentiable and well behaved. Despite this, it's possible that Lebesgue integration can be more powerfully used even in physical situations that can be solved by Riemann integration. So my questions is the following:

In solving physics problems, when is Lebesgue integration useful over Riemann integration?

KCd
  • 364
Larry Harson
  • 5,456

3 Answers3

22

An important example in quantum mechanics is e.g. the Hilbert space

$$H~=~L^2(\mathbb{R}^3)$$

of Lebesgue square integrable wave functions $\psi$ in the position space $\mathbb{R}^3$. The Lebesgue square integrable functions (as opposed to just the Riemann square integrable functions) are needed to complete the Hilbert space with respect to the square norm

$$||\psi||_2~:=~\sqrt{\int d^3x ~ |\psi(x)|^2}.$$

Concerning completeness, see also this Phys.SE post.

Qmechanic
  • 220,844
11

In theory: Lebesgue integrable functions form a Banach space, whereas Riemann integrable functions do not. This causes problems in, e.g., Quantum mechanics if we try to work with Riemann integrable functions instead of Lebesgue integrable functions...

(We want the functions to form a Banach space so we can use good old fashioned linear algebra to solve problems!)

When does it matter? Take $$\chi_{\mathbb{Q}}(x)=\begin{cases}1 & x\in\mathbb{Q}\\ 0&\mathrm{otherwise}\end{cases}$$ It is Lebesgue integrable but not Riemann integrable.

Riemann integration cannot happen over infinite intervals, e.g., $\int^{\infty}_{0}f(x)\,\mathrm{d}x$ is illegal for Riemann integration.

On the other hand, $\mathrm{sinc}(x)$ is Riemann integrable but not Lebesgue integrable.

These are all measure theory statements that are irrelevant to physical explanations, but mathematicians are conscious of. Consequently...

In Practice: For everyday physics, the "symbolic integration" you learn in calculus is perfectly fine. Even when physicists say "We work with $L^{2}(X)$..." we think about integration in the "symbolic manner".

It's only if you work on making the path integral rigorous that you need to be careful about "What you mean with integration...".

Alex Nelson
  • 3,025
6

I would like to point out a completely practical example here, too. You can also need to change the order of integration and summation, or integration and derivative is some calculations, i.e., $\int dx\sum_n \to \sum_n \int dx$, or $\int dx\, \partial/\partial t \to \partial/\partial t \int dx$. While this is a problem with Riemann integration, it works for the Lebesgue integral, under certain assumptions, which are, in physical systems, usually fulfilled.