# Tagged Questions

Questions related to various forms of integration including the Riemann integral, Lebesgue integral, Riemann–Stieltjes integral, double integrals, line integrals, contour integrals, surface integrals, integrals of differential forms, ...

6answers
8k views

### Source and context of $\frac{22}{7} - \pi = \int_0^1 (x-x^2)^4 dx/(1+x^2)$?

Possibly the most striking proof of Archimedes's inequality $\pi < 22/7$ is an integral formula for the difference: $$\frac{22}{7} - \pi = \int_0^1 (x-x^2)^4 \frac{dx}{1+x^2},$$ where the ...
17answers
20k views

### Why is differentiating mechanics and integration art?

It is often said that "Differentiation is mechanics, integration is art." We have more or less simple rules in one direction but not in the other (e.g. product rule/simple <-> integration by parts/...
2answers
4k views

### Is it possible to express $\int\sqrt{x+\sqrt{x+\sqrt{x+1}}}dx$ in elementary functions?

I asked a question at Math.SE last year and later offered a bounty for it, but it remains unsolved even in the simplest case. So I finally decided to repost this case here: Is it possible to express ...
1answer
4k views

### A hard integral identity on MATH.SE

The following identity on MATH.SE $$\int_0^{1}\arctan\left(\frac{\mathrm{arctanh}\ x-\arctan{x}}{\pi+\mathrm{arctanh}\ x-\arctan{x}}\right)\frac{dx}{x}=\frac{\pi}{8}\log\frac{\pi^2}{8}$$ seems to be ...
8answers
8k views

### Why is Lebesgue integration taught using positive and negative parts of functions?

Background: When I first took measure theory/integration, I was bothered by the idea that the integral of a real-valued function w.r.t. a measure was defined first for nonnegative functions and only ...
3answers
3k views

### Is there a systematic method for differentiating under the integral sign?

This MO question by Tim Gowers reminded me of a question I've wondered about for some time. In the delightful book Surely You're Joking, Mr. Feynman!, Feynman praises the technique of differentiating ...
3answers
3k views

### What is the standard notation for a multiplicative integral?

If $f: [a,b] \to V$ is a (nice) function taking values in a vector space, one can define the definite integral $\int_a^b f(t)\ dt \in V$ as the limit of Riemann sums $\sum_{i=1}^n f(t_i^*) dt_i$, or ...
2answers
1k views

### What theorem constructs an initial object for this category? (Formerly “Integrability by abstract nonsense”)

Tom Leinster has a note here about how you can realize L^1[0,1] as the initial object of a certain category. You should really read his note because it is only 2.5 pages and is much more charming than ...
3answers
2k views

2answers
662 views

1answer
1k views

0answers
258 views

### Reference for a proof of the fiberwise Stokes theorem

The fiberwise Stokes theorem says that given a differential form on a smooth fiber bundle whose fibers have boundary, the difference between the fiberwise integral of the differential and the ...
0answers
325 views

2answers
3k views

### About the definition of Borel and Radon measures

I am trying to understand the notion of Radon measure, but I am a little bit lost with the different conventions used in the litterature. More precisely, I have a doubt about the very definition of ...
2answers
498 views

### Summary of Lie-Algebra integration tactics

If this is in the scope of MO, I would like to gather here the known tactics of Lie algebra integration, since it appear surprisingly hard to find such a compendium, library or any other kind of ...