Questions tagged [integration]
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, ...
1,430
questions
142
votes
7
answers
14k
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 ...
139
votes
17
answers
37k
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/...
108
votes
27
answers
40k
views
Why should one still teach Riemann integration?
In the introduction to chapter VIII of Dieudonné's Foundations of Modern Analysis (Volume 1 of his 13-volume Treatise on Analysis), he makes the following argument:
Finally, the reader will ...
105
votes
5
answers
9k
views
integral of a "sin-omial" coefficients=binomial
I find the following averaged-integral amusing and intriguing, to say the least. Is there any proof?
For any pair of integers $n\geq k\geq0$, we have
$$\frac1{\pi}\int_0^{\pi}\frac{\sin^n(x)}{\...
91
votes
2
answers
11k
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 ...
87
votes
8
answers
15k
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 ...
84
votes
1
answer
7k
views
A hard integral identity on MathSE
The following identity on MathSE
$$\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 ...
65
votes
2
answers
23k
views
Does there exist a complete implementation of the Risch algorithm?
Is there a generally available (commercial or not) complete implementation of the Risch algorithm for determining whether an elementary function has an elementary antiderivative?
The Wikipedia article ...
55
votes
4
answers
4k
views
An interesting integral expression for $\pi^n$?
I came on the following multiple integral while renormalizing elliptic multiple zeta values:
$$\int_0^1\cdots \int_0^1\int_1^\infty {{1}\over{t_n(t_{n-1}+t_n)\cdots (t_1+\cdots+t_n)}} dt_n\cdots dt_1.$...
51
votes
4
answers
6k
views
A historical mystery : Poincaré’s silence on Lebesgue integral and measure theory?
Lebesgue published his celebrated integral in 1901-1902. Poincaré passed away in 1912, at full mathematical power.
Of course, Lebesgue and Poincaré knew each other, they even met on several occasions ...
44
votes
1
answer
2k
views
Existence and uniqueness of Haar measure on compacta; a cohomological approach
I am trying to use a modification of group cohomology to prove the existence and uniqueness of Haar measure on a compact Hausdorff group.
I think the best way of introducing the idea I am pursuing is ...
43
votes
1
answer
2k
views
Is $\int_0^\infty{dx\over x^{x^{x^x}}}<\int_0^\infty{dx\over x^{x^{x^{x^{x^x}}}}}<\int_0^\infty{dx\over x^{x^{x^{x^{x^{x^{x^x}}}}}}}<\cdots$ true?
On MSE I asked whether each of $\int_0^\infty\frac{dx}{x^x},\int_0^\infty\frac{dx}{x^{x^{x^x}}},\int_0^\infty\frac{dx}{x^{x^{x^{x^{x^x}}}}},\cdots$ was less than $2$ and received answers on bounding ...
43
votes
3
answers
5k
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 ...
42
votes
6
answers
10k
views
Why do I need densities in order to integrate on a non-orientable manifold?
Integration on an orientable differentiable n-manifold is defined using a partition of unity and a global nowhere vanishing n-form called volume form. If the manifold is not orientable, no such form ...
42
votes
6
answers
7k
views
An algebra of "integrals"
When discussing divergent integrals with people, I got curious about the following:
Is there an $\mathbb{R}$-algebra $A$ together with a map (could be defined on just a subspace)
$$\int_0^{\infty}: ...
40
votes
0
answers
2k
views
Are we better in computing integrals than mathematicians of 19th century?
When I started to learn mathematics, I was fascinating by legendary «Демидович»: problems in mathematical analysis. Fifteen years later, when I open chapters about integrals, I see a long list of ...
38
votes
4
answers
3k
views
Binomial again, and again
Let $\lceil a\rceil=$ the smallest integer $\geq a$, otherwise known as the ceiling function. When the arguments are real, interpret $\binom{a}b$ using the Euler's gamma function, $\Gamma$.
Recently, ...
35
votes
5
answers
3k
views
Looking for some interesting complex integration contours
I am currently working on some tools to make contour integration in a proof assistant less painful and I'm looking for interesting examples of contours in the complex plane used in the literature. I ...
35
votes
3
answers
5k
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 ...
33
votes
3
answers
4k
views
Can we simplify $\int_{0}^{\infty}\frac{{\sin}^px}{x^q}dx$?
We know the followings :
$$\int_{0}^{\infty}\frac{{\sin}x}{x}dx=\int_{0}^{\infty}\frac{{\sin}^2x}{x^2}dx=\frac{\pi}{2},\int_{0}^{\infty}\frac{{\sin}^3x}{x^3}dx=\frac{3\pi}{8}.$$
Also, we can get
$$\...
32
votes
3
answers
3k
views
What are the obstructions for a Henstock-Kurzweil integral in more than one dimension?
I have recently come across the book The Kurzweil-Henstock Integral and its Differentials by Solomon Leader, in which, if I understand correctly, the HK integration process is modified in a way that ...
31
votes
3
answers
7k
views
Counterexamples to differentiation under integral sign?
I'm exploring differentiation under the integral sign (I want to be much faster and more assured in doing this common task). So one thing I'm interested in is good counterexamples, where both ...
31
votes
4
answers
4k
views
The "ds" which appears in an integral with respect to arclength is not a 1-form. What is it?
The only reasonable way to interpret "$ds$" as a functional on tangent vectors has to be that it takes a tangent vector and spits out its length, but this is not linear. So $ds$ is not a 1-form. It ...
31
votes
4
answers
17k
views
About the Riemann integrability of composite functions
When I was teaching calculus recently, a freshman asked me the conditions of the Riemann integrability of composite functions.
For the composite function $f \circ g$, He presented three cases:
1) ...
30
votes
6
answers
3k
views
Can distribution theory be developed Riemann-free?
I imagine most people who frequent MO have been indoctrinated into the point of view that the Riemann integral can be safely discarded once one has taken the time to develop the Lebesgue integral. ...
29
votes
2
answers
2k
views
Is there a closed form for $\int_0^\infty\frac{\tanh^3(x)}{x^2}dx$?
For $n\geqslant m>1$, the integral $$I_{n,m}:=\int\limits_0^\infty\dfrac{\tanh^n(x)}{x^m}dx$$ converges. If $m$ and $n$ are both even or both odd, we can use the residue theorem to easily evaluate ...
29
votes
2
answers
2k
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 ...
28
votes
4
answers
2k
views
If $X$ and $Y$ independent and identically distributed, then $E(|X-Y|)\leq E(|X+Y|)$. Are other proofs of this known?
I know a proof of the theorem that if $X$ and $Y$ independent and identically distributed, then $E(|X-Y|)\leq E(|X+Y|)$. The proof uses an integral representation of the absolute value,
$$\int_0^\...
28
votes
2
answers
3k
views
Importance of integral equations
Differential equations are at the heart of applied mathematics - they are used to great success in fields from physics to economics. Certainly, they are very useful in modelling a wide range of ...
27
votes
3
answers
2k
views
Integral $\int_0^1 \int_0^1 \cdots \int_0^1\frac{x_{1}^2+x_{2}^2+\cdots+x_{n}^2}{x_{1}+x_{2}+\cdots+x_{n}}dx_{1}\, dx_{2}\cdots \, dx_{n}=?$
How to evaluate this integral:
$$\int_0^1 \int_0^1 \cdots \int_0^1\frac{x_{1}^2+x_{2}^2+\cdots+x_{n}^2}{x_{1}+x_{2}+\cdots+x_{n}}dx_{1}\, dx_{2}\cdots \, dx_{n}=?$$
I'm making use of the integral ...
26
votes
6
answers
5k
views
Why not evaluate integrals using ODE-solvers?
Hello!
I have a question about the relationship between numerical integration and the solution of ordinary differential equations (ODE). Suppose I want to evaluate the integral
$I(x) = \int_{0}^{x} f(...
26
votes
3
answers
5k
views
Weak and Strong Integration of vector-valued functions
This is probably an elementary question, but outside my area of expertise, and I was unable to find any suitable reference:
Suppose $f:X\to E$ is a continuous function from a compact spaces (endowed ...
26
votes
2
answers
1k
views
Are these two new ways of representing odd zeta values as integrals known?
This is inspired by the same beautiful integral expression for $\zeta(3)$ as this question, but goes in a slightly different direction. Writing the original integral in the form $$\int_0^1\frac{x(1-x)}...
25
votes
2
answers
2k
views
Interesting integral
Numerical evidence shows the validity of the following identity
$$\int\limits_0^z\frac{xdx}{\sin{x}\sqrt{\sin^2{z}-\sin^2{x}}}=\frac{\pi}{4\sin{z}}\ln{\frac{1+\sin{z}}{1-\sin{z}}},\tag{1}$$
if $0< ...
25
votes
4
answers
5k
views
Integrals from a non-analytic point of view
I've mentioned before that I'm using this forum to expand my knowledge on things I know very little about. I've learnt integrals like everyone else: there is the Riemann integral, then the Lebesgue ...
25
votes
2
answers
2k
views
Evaluation of an $n$-dimensional integral
I asked the same question on math.se but got no answer there. Since it pertains to my current research, I decided to ask here:
Let $n\in 2\mathbb{N}$ be an even number. I want to evaluate
$$I_n
:=
\...
25
votes
2
answers
2k
views
Integration in the surreal numbers
In the appendix to ONAG (2nd edition), Conway points that the definition of integration (using Riemann sums as left and right options) gives the "wrong" answer : $\int_0^\omega \exp(t)\thinspace dt=\...
24
votes
1
answer
2k
views
Why these surprising proportionalities of integrals involving odd zeta values?
Inspired by the well known $$\int_0^1\frac{\ln(1-x)\ln x}x\mathrm dx=\zeta(3)$$ and the integral given here (writing $\zeta_r:=\zeta(r)$ for easier reading)$$\int_0^1\frac{\ln^3(1-x)\ln x}x\mathrm dx=...
24
votes
2
answers
1k
views
Is $\iiint_{[0, 1]^3} \lvert f(x)+f(y)+f(z)\rvert\, dx\, dy\, dz \ge \int_0^1 \lvert f(x)\rvert\, dx$?
$\newcommand\abs[1]{\lvert#1\rvert}\newcommand\Abs[1]{\left\lvert#1\right\rvert}$Question: Let $f(x)$ be a continuous real-valued function defined on the interval $[0, 1]$. Does the following ...
24
votes
3
answers
1k
views
Average measure of intersection of a convex region with its translate
Let $\lambda$ denote the Lebesgue-measure on $\mathbb{R}^n$, and let $C\subset\mathbb{R}^n$ be a convex region.
My question is about
$$f(C):=\int_{C} \lambda(C \cap (x + C) ) \mathrm{d} x.$$
How ...
23
votes
4
answers
5k
views
Is $\ x\! \cdot\!\tan(x)\ $ integrable in elementary functions?
I'm teaching Calculus and my students asked me to calculate the integral of $\ x\! \cdot\!\tan(x)$.
I spent quite a lot of effort to do this, but I'm now even not sure if the integral could be ...
23
votes
2
answers
11k
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 ...
23
votes
1
answer
501
views
A characterization of constant functions
In How to recognize constant functions. Connections with Sobolev spaces (Russian Math Surveys 57 (2002); MSN), H. Brezis recalls the following fact:
Let $\Omega\subset{\mathbb R}^N$ be connected ...
23
votes
1
answer
1k
views
Number theoretic interpretation of the integral $\int_{-\infty}^\infty\frac{dx}{\left(e^x+e^{-x}+e^{ix\sqrt{3}}\right)^2}=\frac{1}{3}$?
Is there any explanation based on algebraic number theory that the integral
$$
\int_{-\infty}^\infty\frac{dx}{\left(e^x+e^{-x}+e^{ix\sqrt{3}}\right)^2}=\frac{1}{3}\tag{1}
$$
has a closed form? ...
23
votes
2
answers
1k
views
Evaluating an integral using real methods
This is a bit of recreational integration. The following, rather attractive integral is quite straightforward via residues:
$$\int_0^1 x^{-x}(1-x)^{x-1}\sin \pi x\,\mathrm{d}x=\frac{\pi}{e}$$
...
22
votes
2
answers
6k
views
$\mathbf{P} = \mathbf{NP}$, what's the problem?
Let's take the problem of the backpack: $A_1,\ldots ,A_n$ the weights that are integers, and we want to know if we can achieve a total weight of $V$.
We take $$I=\dfrac{1}{2\pi}\int_0^{2\pi} \exp(-iVt)...
22
votes
1
answer
2k
views
A difficult integral for the Chern number
Cross post from Maths stack exchange
The integral
$$
I(m)=\frac{1}{4\pi}\int_{-\pi}^{\pi}\mathrm{d}x\int_{-\pi}^\pi\mathrm{d}y\phantom{,} \frac{m\cos(x)\cos(y)-\cos x-\cos y}{\left( \sin^2x+\sin^2y +...
22
votes
2
answers
1k
views
A closed form for an integral expressed as a finite series of $\zeta(2k+1)$, $\pi^m$ and a rational?
In this paper the following beautiful integral expression for $\zeta(3)$ is derived:
$$\zeta(3)=\frac{1}{7}\,\int_0^{\pi} x\,(\pi-x)\csc(x)\, dx$$
In a comment at the end of this question, I ...
21
votes
1
answer
2k
views
Who was Heinrich Hake?
Hake's Theorem, due to Heinrich Hake of Düsseldorf in 1921, says that an improper Henstock–Kurzweil integral (aka generalized Riemann integral, gauge integral, Perron integral, or Denjoy integral) on ...
21
votes
1
answer
972
views
A multiple integral that seems related to the $\zeta$ function at even integers
I came across this integral that seems related to the Riemann zeta function $\zeta(2n)$ evaluated at even integers $2n \in 2\mathbb{Z}$. Letting $n$ be an even integer, define the multiple integral ...