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

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

### What's the probability distribution of a deterministic signal or how to marginalize dynamical systems? (functional integrals in probability theory)

In many signal processing calculations, the (prior) probability distribution of the theoretical signal (not the signal + noise) is required. In random signal theory, this distribution is typically a ...
3k 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 ...
234 views

448 views

### Help with the integral $\int_{0}^{\infty}\log\left(1+\frac{s^{2}}{4\pi^{2}} \log^{2}(1+ix)\right ) e^{-2\pi nx}dx$

We have the integral : $$\int_{0}^{\infty}\log\left(1+\frac{s^{2}}{4\pi^{2}} \log^{2}(1+ix)\right ) e^{-2\pi nx}dx$$ Where s is a complex parameter, and n is a positive integer. The integral ...
393 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 ...
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, ...
433 views

143 views

### Asymptotics of Fresnel integrals

It is known that \begin{equation*} I(p) = \sqrt { \frac {4 \mathrm{i} p} {\pi}}\int \limits _{-\infty} ^{\infty} \mathrm{e}^{- \mathrm{i} p x^2} \varphi (x) \mathrm{d}x \end{equation*} is a bounded ...
404 views

### How to integrate an exponential function of an exponential function?

Does any one know how to calculate the following integration? $$\int_{\mathbb{R}} \left(\exp(z \: e^{-y^2})-1\right)^2 dy=?,\quad z>0.$$ This post is related to my previous question here , ...
333 views

### Positivity of the Coulomb energy in two dimensions

In dimensions $d\geq 3$ the Coulomb energy is always non-negative (since the Fourier transform of $\frac{1}{\|\cdot\|^{d-2}}$ is non-negative). What can one say about positivity properties of the ...
691 views

### Riesz's representation theorem for non-locally compact spaces

Every version of Riesz's representation theorem (the one expressing linear functionals as integrals) that I have found so far assumes that the underlying topological space is locally-compact. (For ...
348 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 abscisas and weights $\{ x_j, w^j \} _{j=1}^N$ for large $N\in\mathbb{N}$. My question is how to do it, ...
340 views

### Convergence of an oscillatory integral

Given $f\in H^1(\mathbb{R}^3)$ and $t>0$, consider the following integral: $$I_f(t):=\int_{\mathbb{R}^3}\int_0^{+\infty}e^{-s+i\frac{(s+|x|)^2}{t}}f(x)dsdx$$ I need to show that $I_f(t)$ is finite, ...
284 views

### When is this multiple integral finite?

Consider the following integral: $$I_k(\alpha)=\int_{[0,1]^k}|x_1-x_2|^{\alpha}|x_2-x_3|^{\alpha}\ldots|x_{k-1}-x_k|^{\alpha}|x_k-x_1|^{\alpha}d\mathbf{x}.$$ where $k=2,3,4,\ldots$ The question is ...
361 views

### Improper integral $\int_0^1 \frac{\exp(ctx)}{\sqrt{(\exp(bt)-1)(1-\exp(atx))-(1-\exp(at))(\exp(btx)-1)}} dx$ with $-a$ and $b$ positive

Is the following function real analytic in $t>0$: $$F(t)=\int_0^1\frac{\exp(ctx)}{\sqrt{(\exp(bt)-1)(1-\exp(atx))-(1-\exp(at))(\exp(btx)-1)}} dx,$$ where $-a$ and $b$ are positive, and $c\not=a$? ...
121 views

### Mean value of a function associated with continued fractions

Suppose that an irrational $x$ in $(0,1)$ has convergents $c(k,x)$, and let $$d(x) = \sum_{k=0}^{\infty} \mid x - c(k,x)\mid.$$ What is the mean value of $d$?
294 views

### Integrating a barycentric monomial over a simplex

Are there standard formulas for the integral over a simplex of a monomial in the barycentric coordinates? Can someone supply a reference? I think I have seen such formulas, but I am unable to find ...
Related to this and this questions. Basically got definite integral that experimentally equals $\zeta(s)$ both numerically and symbolically. Closed form for the indefinite integral is known, but I ...