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, ...

Filter by
Sorted by
Tagged with
131
votes
17answers
29k 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/...
126
votes
6answers
11k 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 ...
100
votes
5answers
8k 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)}{\...
98
votes
27answers
34k 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 ...
82
votes
2answers
8k 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 ...
75
votes
8answers
12k 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 ...
71
votes
1answer
5k 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 ...
53
votes
4answers
3k 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.$...
49
votes
4answers
5k 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 ...
43
votes
3answers
4k 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 ...
36
votes
4answers
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
0answers
1k 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 ...
34
votes
6answers
5k 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}: ...
34
votes
3answers
4k 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 ...
34
votes
2answers
2k 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 ...
34
votes
1answer
1k 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 ...
32
votes
3answers
3k 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 $$\...
30
votes
2answers
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
3answers
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 ...
26
votes
6answers
7k 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 ...
25
votes
2answers
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)}...
24
votes
4answers
12k 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) ...
23
votes
6answers
4k 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(...
23
votes
2answers
1k 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< ...
23
votes
3answers
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 ...
23
votes
3answers
4k 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 ...
23
votes
1answer
419 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 ...
22
votes
4answers
4k 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 ...
22
votes
1answer
1k 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=...
22
votes
3answers
619 views

Proof of an identity involving $\int \exp(-|x-s|)dx$ over an even sphere

I want to prove the following identity calculating the integral of an exponential over an even dimensional sphere in terms of functions $\chi_i(R)$ and $\tilde\psi_i(s)$ (described below) which are ...
22
votes
0answers
522 views

A multiple integral

Let us consider the multiple integral $$I_{n}=\int_{-\infty }^{\infty }ds_{1}\int_{-\infty}^{s_{1}}ds_{2}\cdots \int_{-\infty }^{s_{2n-1}}ds_{2n}\;\cos {(s_{1}^{2}-s_{2}^{2})}\;\cdots \cos {(s_{2n-1}...
21
votes
3answers
5k 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 ...
21
votes
1answer
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
2answers
917 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 ...
21
votes
2answers
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
1answer
729 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? ...
21
votes
2answers
818 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}$$ ...
20
votes
6answers
2k 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. ...
20
votes
2answers
1k 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 := \...
19
votes
2answers
1k 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 ...
19
votes
1answer
930 views

Fubini without CH

In Real and Complex Analysis, Rudin gives an example (due to Sierpinski) of a function $f:[0,1]^2\to[0,1]$ separately Lebesgue-measurable in each argument, such that $$ \int_0^1 dx\int_0^1f(x,y)\,dy \...
18
votes
4answers
4k views

Is $x \, \tan(x)$ integrable in elementary functions?

I'm teaching Calculus and my students asked me to calculate the integral of $x \, \tan(x)$. I spent quite a lot of effort to do this, but I'm now even not sure if the integral could be presented in ...
18
votes
2answers
921 views

An interesting triple integral

What is the value of this triple integral $$\int\limits_0^{2\pi}\int\limits_0^{2\pi}\int\limits_0^{2\pi}|\cos x+\cos y+\cos z|\ dx\ dy\ dz?$$ It has to do with some Schwarz lemma.
18
votes
2answers
8k 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 ...
17
votes
3answers
2k views

A curious sin-integral

While contending with a certain Fourier series, I stumbled on an incredibly simple evaluation (numerically) of a slightly complicated-looking sin-integral. So, I wish ask: Question. Is this really ...
17
votes
5answers
13k views

Visualization of Riemann–Stieltjes Integrals

The Riemann–Stieltjes integral $\int_a^b f(x)\,dg(x)$ is a generalization of the Riemann integral. It is e.g. heavily used as a starting point for stochastic integration. The approximating Riemann–...
17
votes
2answers
638 views

Non-negative polynomials on $[0,1]$ with small integral

Let $P_n$ be the set of degree $n$ polynomials that pass through $(0,1)$ and $(1,1)$ and are non-negative on the interval $[0,1]$ (but may be negative elsewhere). Let $a_n = \min_{p\in P_n} \int_0^1 ...
17
votes
5answers
888 views

Closed-form expression for certain product

$\mathrm G$ is Catalan's constant. I recently found the product $$ \alpha=\prod_{n=1}^{\infty}\frac{E_n(\frac12)E_n(\frac7{12})E_n(\frac1{20})E_n(\frac{13}{20})}{E_n(\frac14)E_n(\frac1{12})E_n(\...
17
votes
1answer
750 views

An NP-hard $n$ fold integral

We are given rational numbers $[c_1, c_2, \ldots, c_n]$ and $v$ from the interval $[0,1]$. Consider the $n$-fold integral $$ J = \int_{\theta_1 \in I_1, \theta_2 \in I_2 \ldots, \theta_n \in I_n} d\...
16
votes
0answers
405 views

Reference request for Grothendieck's work on “Integration with values in a topological group”

Disclaimer. This question was already asked in Mathematics Stack Exchange (see the link here). I wanted the question to be migrated here but I was told by a moderator that a question that old is ...

1
2 3 4 5
20