**103**

votes

**6**answers

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

**89**

votes

**17**answers

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

**61**

votes

**2**answers

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

**59**

votes

**1**answer

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

**55**

votes

**8**answers

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

**33**

votes

**3**answers

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

**29**

votes

**3**answers

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

**26**

votes

**2**answers

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

**25**

votes

**3**answers

2k 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
$$\...

**20**

votes

**2**answers

2k 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 ...

**20**

votes

**3**answers

567 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}$$
...

**19**

votes

**6**answers

3k 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(...

**19**

votes

**4**answers

3k 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 ...

**19**

votes

**3**answers

3k 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 ...

**18**

votes

**1**answer

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

**17**

votes

**4**answers

3k 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 ...

**17**

votes

**2**answers

411 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

**1**answer

609 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

**2**answers

662 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
:=
\...

**15**

votes

**1**answer

916 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=\...

**14**

votes

**5**answers

4k 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 ...

**14**

votes

**1**answer

872 views

### Calculate in closed form $\int_0^1 \int_0^1 \frac{dx\,dy}{1-xy(1-x)(1-y)}$

The following question has a 500 points bounty on MSE that soon comes to an end, and no answer
as expected was given yet. How would a professional solve the problem? Wish you succcess.
http://math....

**14**

votes

**2**answers

453 views

### On the convexity of certain integrals involving Bessel functions

Let $n\geq 0$ be an integer and let $J_n=J_n(r)$ denote the usual Bessel function (of the first kind) of order $n$ i.e. one of the solutions to Bessel's differential equation
$$r^2\frac{d^2y}{dr^2}+r\...

**14**

votes

**1**answer

1k views

### A mass spring model for hair simulation

A strand of hair is represented by a set of particles connected by springs.
The velocity for a particular particle is calculated implicitly using the following formula:
$\boldsymbol{v}^{n+1/2}=\...

**13**

votes

**3**answers

3k 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 ...

**13**

votes

**5**answers

1k 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}: ...

**13**

votes

**1**answer

288 views

### Summation of series involving $\sinh$ of a square root

Consider the following series:
$$
S = \sum_{\text{odd } n} \sum_{\text{odd } m} \frac{(-1)^{(n+m)/2}}{nm} \frac{\sinh( \pi \sqrt{n^2 + m^2}/2)}{\sinh( \pi \sqrt{n^2 + m^2})}
$$
From the physical ...

**12**

votes

**4**answers

9k 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–...

**12**

votes

**1**answer

1k views

### Naive definition of surface area doesn't work?

A first stab at a definition of surface area might go like this:
Let S be a surface. Select finitely many points from S and make a bunch of triangles having these points as vertexes. Add up the ...

**12**

votes

**7**answers

4k views

### Numerical integration over 2D disk

I have a real-valued function $f$ on the unit disk $D$ that is fairly well behaved (real-analytic everywhere) and would like to find the integral $\int_D f(x,y)dxdy$ numerically. After much searching, ...

**12**

votes

**3**answers

424 views

### Is there a closed form of $\int_0^\frac12\dfrac{\text{arcsinh}^nx}{x^m}dx$?

For naturals $n\ge m$, define
$$I(n,m):=\int_0^\frac12\dfrac{\text{arcsinh}^nx}{x^m}dx$$
with $\text{arcsinh}\ x=\ln(x+\sqrt{1+x^2} )$, so $\text{arcsinh} \frac12=\ln \frac{\sqrt{5}+1}2 $.
Is it ...

**12**

votes

**1**answer

451 views

### Are there integral representations of the Mertens constant?

It is well-known that the Euler constant $$\gamma=\lim\limits_{n\to \infty}\biggl( \sum\limits_{k\le n}\dfrac{1}{k}-\ln{n}\biggr ) $$ has a bunch of integral representations, e.g. $$\gamma=-\int\...

**11**

votes

**2**answers

303 views

### How to prove that $\int _0^\infty\frac{\text{arcsinh}^nx}{x^m}dx$ is a rational combination of zeta values?

For $n\ge m\ge 2$, define $$I(n,m):= \int _0^\infty\dfrac{\text{arcsinh}^nx}{x^m}dx$$ Computer algebra systems say that the indefinite integral can be expressed in terms of polylog functions (of ...

**11**

votes

**2**answers

926 views

### Is there a notion of integration over the algebraic numbers?

For reasons which are hard to articulate (due to they not being very clear in my mind), but having to do with the eprint From Matrix Models and quantum fields to Hurwitz space and the absolute Galois ...

**11**

votes

**3**answers

1k views

### Applications of visual calculus

Mamikon's visual calculus (see Mamikon, Tom Apostol, Wikipedia) is a very beautiful and surprisingly efficient tool.
The basis is
Mamikon's theorem. The area of a tangent sweep is equal to the ...

**11**

votes

**2**answers

408 views

### Computing Gauss Legendre Quadrature for Large N

I've been scanning across the web, and haven't found a good method to compute the Gauss Legendre abscissas and weights $\{ x_j, w^j \} _{j=1}^N$ for large $N\in\mathbb{N}$. My question is how to do it,...

**11**

votes

**1**answer

442 views

### $\pi e$ and an unfamiliar polynomial

Ever since my exposure to this integral involving $\pi e$, I've conjectured and set about evaluating the possible nature of the following integral
$$\int_0^1 x^m \sin(\pi x) x^x (1-x)^{1-x} \ dx, \...

**11**

votes

**1**answer

171 views

### Harmonic analysis, compute that this integral tends to $0$

We have the following setting.
$U$ is a bounded Lipschitz domain in the complex plane.
Consider the following classical Dirichlet problem for the Laplace operator:
$$\begin{align}
\Delta{}u&=0 \...

**11**

votes

**0**answers

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

**11**

votes

**0**answers

325 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}...

**10**

votes

**2**answers

1k views

### Borel sets preserved under open maps?

Given open map f: $R^n$ to $R^n$ such that each open set $U\in R^n$, $f(U)$ is also open. Are Borel sets in $R^n$ preserved under f?
Motivation: Pre-image of Borel sets under continuous map is a ...

**10**

votes

**1**answer

212 views

### Calculation of the integral related to the gravitational shock wave

The following integral
$$\int\limits_0^\infty \frac{\cos{\left(\frac{1}{2}\sqrt{3}s\right)}}{\sqrt{\cosh{s}-\cos{\theta}}}\,ds$$
can be found in the paper
Tevian Dray and Gerard 't Hooft, The ...

**10**

votes

**1**answer

627 views

### Is the pairing between contours and functions perfect (modulo the kernel given by Stokes' theorem)?

Let $s: \mathbb C^n \to \mathbb C$ be a homogeneous degree-$d$ polynomial which is nonsingular (in the sense that the hypersurface it defines in $\mathbb{CP}^{n-1}$ is smooth; equivalently the ...

**10**

votes

**1**answer

360 views

### Modern version of an inequality of R. M. Gabriel for contour integrals

I am currently reading the 1998 article Dynamics of the Binary Euclidean Algorithm:
Functional Analysis and Operators by Brigitte Vallée, which cites a 1928 article by R. M. Gabriel for the following ...

**10**

votes

**0**answers

213 views

### Integrability property of polynomials in several variables

This might be very trivial, or not.
Let $p\colon\mathbb{R}^n\to \mathbb{R}$ be a polynomial of even degree, at most $n-2$. Assume that $p(x)\leq 0$ for any $x\in\mathbb{R}^n$. Assume that there ...

**9**

votes

**5**answers

847 views

### $\int^{\infty}_{0}x^{r +s- 1}(1 + x)^{-s}(1 + x^2)^{-\frac{rm}{2}}dx$

I'm trying to solve the integral
$\int^{\infty}_{0}x^{r +s- 1}(1 + x)^{-s}(1 + x^2)^{-\frac{rm}{2}}dx$,
where $s$, $r$ and $m$>1 are positive integers.
My question is whether a closed form ...

**9**

votes

**1**answer

424 views

### Integral formula for $\int_{0}^{\infty}e^{-3\pi x^{2}}((\sinh \pi x)/(\sinh 3\pi x))\,dx$ by Ramanujan

The following is a re-post from MSE because I did not get any answer even after offering a bounty.
Towards the end of G. N. Watson's (one of the joint authors of famous book "A Course of Modern ...

**9**

votes

**2**answers

656 views

### An identity involving an infinite integral with a sinh in the denominator

I recently encountered the rather appealing looking integral, which appears in the theory of random matrices :
$$\int_{-\infty}^{\infty}\prod_{j=1}^{p-1}(j^{2}+z^{2})\frac{zdz}{\mathrm{sinh}(2\pi z)} ...

**9**

votes

**2**answers

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

**9**

votes

**2**answers

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