The tag has no wiki summary.

learn more… | top users | synonyms

75
votes
5answers
5k 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 ...
64
votes
16answers
14k 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 ...
52
votes
1answer
2k 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 ...
47
votes
9answers
6k 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 ...
30
votes
3answers
2k 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 ...
23
votes
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 ...
19
votes
2answers
972 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 ...
17
votes
1answer
500 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} ...
16
votes
6answers
2k 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} ...
16
votes
3answers
2k 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 ...
14
votes
2answers
433 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 := ...
14
votes
1answer
919 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: ...
13
votes
2answers
708 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 ...
12
votes
4answers
2k 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 ...
12
votes
5answers
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}: ...
11
votes
2answers
836 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
3answers
770 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
1answer
585 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 ...
10
votes
5answers
2k 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 ...
10
votes
2answers
944 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 ...
10
votes
1answer
557 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
1answer
305 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 ...
9
votes
2answers
595 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 ...
9
votes
6answers
2k 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, ...
8
votes
3answers
2k 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 ...
8
votes
4answers
2k views

An integral that somehow equals pi^2/6 and involves dilogarithms?

I am attempting to show that $$ \sum_{k \ge 1}^\infty {k^2 x^k \over (1+x^k)^2} \sim (1-x)^{-3} {\pi^2 \over 6} $$ as $x$ approaches 1 from below. The sum can be approximated by the integral $$ ...
8
votes
2answers
552 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)} ...
8
votes
2answers
470 views

Rain droplets falling on a table

Suppose you have a circular table of radius $R$. This table has been left outside, and it begins to rain at a constant rate of one droplet per second. The drops, which can be considered points as they ...
8
votes
1answer
393 views

Certain compact subset of $L_1$

Let $(\Omega,\Sigma, \mu)$ be a probability measure and $X$ a Banach space. I am interested in subsets $F\subseteq L_\infty (\mu,X)$ that satisfy these two compactness conditions: $F$ is a ...
8
votes
1answer
1k views

About the surface area vs. volume of polytopes

Given a convex body $K\in\mathbb{R}^n$, represented by a set of linear inequalities (intersection of halfspaces), I am interested in understanding how much of its volume can be close to its perimeter ...
7
votes
5answers
704 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 ...
7
votes
2answers
1k 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 ...
7
votes
3answers
912 views

Rationale for Hadamard's finite part of a divergent integral

(Note: I asked this question a few days ago on math.stackexchange but didn't get any responses. I've therefore decided to post it here instead.) I have a problem justifying the throwing away the ...
7
votes
3answers
730 views

Nontrivial trivial integrals

I posted this question to stackexchange and after 24 hours it's got five votes and no answers, so let's see if mathoverflow can say more than that. Consider two propositions in geometry: ...
7
votes
1answer
758 views

Universally measurable sets and weak topology

After I posted this question, a couple of months ago, and got from MO-users several good hints, I think i'm ready, after some study, to ask another related question (or rather, to focus on the main ...
6
votes
2answers
1k 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 ...
6
votes
2answers
247 views

$\mathrm{Bessel}^3$ Integral

I'm trying to calculate the following integral: $\int_0^\infty \mathrm{BesselJ}[l_0,k_0r] \cdot \mathrm{BesselJ}[l_1,k_1r] \cdot \mathrm{BesselJ}[l_0-l_1,kr] \cdot r\,dr$ ($\mathrm{BesselJ}[n,x]$ is ...
6
votes
2answers
698 views

Contour integration problem from probability

Can integrals of the form $$ \int_{-\infty}^{\infty}{\exp\left(-\left[x - c\right]^{2}\right) \over 1 + x^{2}}\, {\rm d}x $$ be computed in closed form using contour integration (or any other ...
6
votes
1answer
144 views
+100

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 ...
6
votes
1answer
227 views

“Values” of divergent integrals

Are there existing theories of integration in which $I_0 = \int_0^{\infty} dx$ and $I_1 = \int_0^{\infty} x \ dx$ are well-defined infinite elements in a non-archimedean extension of the reals? I can ...
6
votes
0answers
272 views

Minkowski's Inequality for Integrals in Orlicz spaces

EDIT: I have changed the question to have less parameters, fitting it into the context of Orlicz spaces. Suppose $f:[0,\infty)\to[0,\infty)$ is convex and increasing, ...
5
votes
3answers
824 views

An Integral and derived double integral

Suppose that $f\left(x\right)\geq0$ is continuous on $\left[-\infty,\infty\right]$ and $\int_{-\infty}^{\infty}f\left(x\right)dx=1$. Is it true that ...
5
votes
3answers
592 views

What is the Dunford Integral and why is it useful?

Wikipedia http://en.wikipedia.org/wiki/Pettis_integral defines the Pettis Integral for Banach space valued functions wrt to some measure space by duality. It calls the Pettis & Bochner integral ...
5
votes
3answers
699 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. ...
5
votes
2answers
519 views

Integral with Dirac delta (me or wolfram mathematica?) [closed]

I asked the question on math.stackexchange but didn't get an answer so I came here. I tried to compute with Wolfram Mathematica the following integral $$I=\int_0^\pi\int_{-\infty}^\infty x e^{-\mathrm ...
5
votes
2answers
1k views

How to do integrals involving two Bessel functions and another function?

I often encounter the integrals in the following form: $\int_0^\infty{\rm Bessel}(ax)\cdot{\rm Bessel}(bx)\cdot f(cx)dx$, where Bessel can be $J$, $N$, $H^{(1)}$, $H^{(2)}$, $I$, or $K$; and $f(x)$ ...
5
votes
3answers
906 views

Integration by parts for a general negative-definite self-adjoint operator.

I suspect I am asking a very stupid question. Suppose you have self-adjoint negative-definite operator $L$ densely defined on a space $L^2(\pi)$, with $Lf = \nabla \cdot ( A(x)\nabla f)$, for some ...
5
votes
1answer
107 views

Approximations of the identity on Lie groups and homogenous spaces

I'm looking for a nice (and preferably classic or book) reference for the following type of result: Consider a transitive action of a compact Lie group $G$ on a compact manifold $M$ and a continuous ...
5
votes
1answer
419 views

Contour Integral with Gamma functions and 2F1

Given the following contour integral $$\frac{1}{2\pi j}\int^{c+j\infty}_{c-j\infty} \frac{\Gamma(-1+a+s)\Gamma(b+s)}{\Gamma(3+a-s)}\cos(-1+a+s)\, {}_2F_1\Big(-1-a+s,-1+a+s;\frac{1}{2};z\Big) y^s\: ...
5
votes
2answers
1k views

A tricky integral

Let $\alpha>0$ and $\beta\in\mathbb{R}$. I am looking for an explicit formula for the integral $$\int_{-\infty}^{\infty} (1+x^2)^{-1/2}e^{-\alpha x^2}e^{-i \beta x}dx.$$ I tried several changes ...