The integration tag has no wiki summary.

**2**

votes

**0**answers

79 views

### The Haar integral on uniform spaces

Does anybody know what the current research status is on the topic of Haar measures on uniform spaces? I'm specifically interested in compact uniform spaces and its corresponding Haar probability.
As ...

**4**

votes

**2**answers

108 views

### Reference for the fact that the images of the narrow and wide Denjoy integrals are respectively $ACG_\ast$ and $ACG$?

The narrow Denjoy integral (which also goes by the names Henstock-Kurzweil integral, Perron integral, and Lusin integral) is a transfinite integration process defined by Denjoy in the early 20th ...

**4**

votes

**0**answers

206 views

### Inverse of matrix-valued function

Given $c>0$. Let $\gamma_c:{\cal M}_{k \times k}^+\mapsto {\cal M}_{k \times k}^+$ is a function defined by
\begin{equation}
...

**2**

votes

**0**answers

107 views

### How to show the identity $\int_0^T \int_{\Gamma(t)}f(s,t)\;dsdt = \int_S f(\sigma)(1+(\mathbf w \cdot \mathbf n)^2)^{-\frac{1}{2}}\;d\sigma$?

I am reading this paper.
Let $\Gamma(t)$ be a smooth closed connected oriented hypersurface for each $t \in [0,T]$. Define the set $$S = \bigcup_{t \in (0,T)}\Gamma(t) \times \{t\}.$$
On page 5 of ...

**0**

votes

**0**answers

63 views

### What function is “$U_{\nu}(\cdot, \cdot)$”?

I was searching in the Prudnikov (vol. 2) how to solve an integral and I finally found it. However, I didn't recognized a function that appears in the answer.
Integral 1.8.2.4:
$$
\int_0^x x^{\nu+1} ...

**1**

vote

**1**answer

131 views

### Characterization of a particular integrable function

Let $f$ be a strictly positive function such that $\int_{0}^{\infty}f(x)dx=\int_{0}^{\infty}xf(x)=1$ (i.e., a probability density function with expectation one). Let also $g$ be a nonnegative ...

**3**

votes

**1**answer

311 views

### Integral wrt probability measure

Let $\Theta\subseteq\mathbb{R}^d$ is open set and $(\cal X, \cal A)$ be a measurable space . For every $\theta\in\Theta$, suppose that $P_\theta$ is a probability measure on $(\cal X, \cal A)$. ...

**0**

votes

**2**answers

181 views

### Indefinite integration of multiplication of two Bessel function

I am trying to calculate this integral. I know it has an analytic expression when $a = 0$. But, is there any analytic expression for this case?
$$\int_{a}^{\infty}J_2(bx)J_1(cx)\,dx$$
Thanks in ...

**5**

votes

**2**answers

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

**0**

votes

**0**answers

202 views

### Contour integral (inverse Laplace transform) with arctan

I have what I think is a relatively simple contour integral involving arctan, but it is giving me difficulty. I would really appreciate any help.
The integral itself is, with $\tau$, $\lambda$, and ...

**54**

votes

**1**answer

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

**1**

vote

**2**answers

146 views

### How to show this integral on boundary of Lipschitz domain is finite?

Sorry for asking a basic question but this did not get answered on M.SE.
Let $\Omega \subset \mathbb{R}^n$ be a Lipschitz domain. How do I show rigorously that
$$\int_{\partial\Omega} ...

**7**

votes

**2**answers

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

**0**

votes

**2**answers

141 views

### Defining surface integral on boundary of $C^1$-domain

Let $\Omega$ be a bounded $C^1$ domain with bounded boundary $\partial\Omega$. Can someone point me to a reference where the surface integral of a measurable function $f\colon \partial\Omega \to ...

**1**

vote

**1**answer

334 views

### Prove or disprove $ \int_{0}^{\infty} \int_{-x}^{0} f(x)f(y)dydx > \int_{0}^{\infty} \int_{-\infty}^{-x} f(x)f(y)dydx. $

Consider a symmetric, unimodal distribution $f(x)$ such that $\int_{0}^{\infty} f(x) > 1/2$. I want to prove or disprove the following:
$$
\int_{0}^{\infty} \int_{-x}^{0} f(x)f(y)dydx > ...

**2**

votes

**2**answers

143 views

### dense lattices in high dimensions

I want a collection of points $\{ x_1, \dots, x_m\}$ to sample a unit cube $[0,1]^n$ with $n >>1 $ in high dimensions so that summing over these points is approximate the integral over that ...

**7**

votes

**2**answers

246 views

### Integration on Compact Semirings

I want to know if integration of functions $f:X\rightarrow G$ where $G$ is a compact semiring has been defined and if it is possible to ensure that all continuous functions are integrable. This is ...

**0**

votes

**1**answer

86 views

### Estimating a quantity from an estimate in its integral

I am reading a paper in which the following argument is made. We have two positive real valued functions $f(x)$ and $g(x)$. We know that $$\int_0^x \int_0^y f(z) \ dz \ dy \leq g(x).$$
It is then ...

**1**

vote

**1**answer

259 views

### From Lebesgue Integral to Stieltjes Integral, and integration by parts

Let $X$ be a real random variable with c.d.f function $F$.
Let $g$ be an increasing measurable real function and assume that $\mathbb{E}\left[g(X)\right]$ exists (and is finite).
What additional ...

**2**

votes

**0**answers

231 views

### How to perform this matrix integral?

Edit: some backgrouds added.
In quiver matrix model which is reviewed DV or CKR, the path integral reduce to the matrix integral
$$Z \sim \int \prod_{i=1}^r d\Phi_i \prod_{<a,b>} dQ_{ab} ...

**1**

vote

**1**answer

79 views

### Is sequential completeness of LCS strictly stronger that Riemann integrability of curves?

$\def\RiemInt{\,\text{-}\,\lower.5mm\hbox{$^{^{\rm Riem}}$}\kern-1mm\int}$
This is essentially a reformulation of this MSE question which has not received any answers for about three weeks. To ...

**1**

vote

**0**answers

122 views

### Are the two functions equal? If not, what relation are they?

We have
$$A=\frac{1}{2\pi}\int_{-\infty}^{\infty}\prod_{i=1}^{\infty}\frac{\sin(v2^{-k})}{v2^{-k}}e^{ivx}dx$$
$$B=\frac{1}{2}\sum_{k=1}^{n}\cos (\pi kx)\prod_{i=1}^{m}\frac{\sin(\pi k2^{-i})}{\pi ...

**1**

vote

**2**answers

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

**16**

votes

**2**answers

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

**3**

votes

**3**answers

220 views

### How to extract the divergent part from the singular integral

How to extract the divergent part of the following integral simply as $u \rightarrow \infty$
$$g(u) = \frac{\sqrt{2u}}{\pi} \int^1_{\frac{1}{u}} dz \frac{\sqrt{z-1}}{\sqrt{z^2-u^{-2}}} $$

**4**

votes

**1**answer

299 views

### Integral of a product of Laguerre polynomials

In order to estimate the non linear term in a particular PDE, I have to decompose $L_k^\alpha(x)^3\cdot x^{-\delta}$ (with $0<\delta<\alpha+1$) into a basis consisting of Laguerre polynomials ...

**2**

votes

**0**answers

206 views

### An integral inequality

Let $g:\mathbb{R}\rightarrow\mathbb{R}$ be bounded with derivative $g'$. I have shown that the following inequality holds for all $w\in\mathbb{R}$,
...

**1**

vote

**3**answers

211 views

### limit of a singular integral

Denote $f_{\gamma}(x) =\frac { (1+\gamma)}{2} |x|^{\gamma}$. We consider:
$$I(\gamma) = \int_{-1}^1\int_{-1}^1 \ln (|x-y|) f_{\gamma}(x) f_{\gamma}(y) dx dy$$
I would like to know the limit of ...

**4**

votes

**0**answers

125 views

### About arithmetic-geometric mean

It's well known that if we set $a_0=x \geq 0, \ g_0=y \geq 0$, and
$$ a_{n+1}=\dfrac{1}{2}(a_n+g_n), \ g_{n+1}=\sqrt{a_n g_n} ,$$
then both $\{a_n\}$ and $\{g_n\}$ will converge to $AGM(x,y)$. ...

**0**

votes

**3**answers

154 views

### Definite integral of a function containing an exponential

I have to calculate analytically this integral:
$$
{\rm J}\left(q\right)
=
\int_{0}^{\infty}{{\rm d}x \over x^{q}\left({\rm e}^{kx}-1\right)}
$$
where $-1\le q\le N$
with:
$N\in\mathbb{N}$ and ...

**1**

vote

**1**answer

149 views

### Lebesgue's integrability condition in several variables

The well known Lebesgue's condition of Riemann integrability says that a bounded function in one variable
$f\colon [a,b] \to \mathbb{R}$ is Riemann integrable if and only if it is continuous almost ...

**1**

vote

**0**answers

236 views

### exponential integral $e^{x/t^{3}}$ and floor function

Is it possible to give a closed form for the integral
$$ \int_{0}^{\infty} \frac{dt}{t^{3}}\rho (t)e^{-\frac{x}{n^{2}t^{2}}}$$
where $ \rho (t) = t- \left\lfloor t\right\rfloor $ is the fractional ...

**1**

vote

**0**answers

83 views

### Distribute Monte Carlo samples among dimensions

Simplified problem: Given a $d$-times nested convolution of an input function $g(x):\mathbb{R}\mapsto \mathbb{R}$ with the same band-limited smooth function $f(x):\mathbb{R}\mapsto \mathbb{R}$. I am ...

**1**

vote

**1**answer

162 views

### Lebesgue integrability and Kurzweil Henstock integrability

Why it's possible to integrate the function: $$f(x)=\frac{1}{x}\sin\left(\frac{1}{x^\alpha}\right)$$ using Kurzweil Henstok integral while it's not Lebesgue integrable because the singularity in ...

**1**

vote

**0**answers

243 views

### complex contour integral calculation after Möbius transformation

Good day to everyone.
In my scientific research I've got stuck with a contour integration problem.
I would like to evaluate the following integral:
$$I=\int_0^{\infty } \frac{e^{\frac{\alpha -\mathrm ...

**5**

votes

**2**answers

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

**6**

votes

**1**answer

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

**0**

votes

**0**answers

163 views

### Convergence of the integral of step functions

This is a question about the proof of Lemma A in ยง16 of the book Functional Analysis by F. Riesz and B. Sz.-Nagy.
Lemma A: For every sequence of step functions $\{\varphi_n\}$ which decreases to ...

**2**

votes

**0**answers

233 views

### Definite integral probably equal to zeta with known (but unusable) closed form for the indefinite integral

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

**3**

votes

**0**answers

198 views

### When does this method for integrals of fractional/integer parts work?

In a question
Agno suggested an interesting way to compute $\{x\}$ and $\zeta(s)$.
Define
$$ F(x) = \{x\} = x - \lfloor x \rfloor = \frac{i \, \log\left(-e^{\left(-2 i \, \pi x\right)}\right)}{2 \, ...

**0**

votes

**2**answers

442 views

### Is there a probability density function satisfying the following conditions?

I find myself in need of the solution of this problem in finding a probability density function. I had asked this question in Math Stack Exchange but I did not get an answer so I am posting it here.
...

**1**

vote

**0**answers

128 views

### Equal maximum and minimum in a large-scale linear programming

For a linear optimization of an integral (with integral constraints), I perform a linear programming for the equivalent series. Maximum and minimum of the LP problem tend to be equal as I increase the ...

**2**

votes

**0**answers

154 views

### Expectation involving the ratio of normal pdf to normal cdf?

i need to calculate some expectations which involving the ratio of normal pdf to normal cdf.
Specifically, they are $E\{\phi(x)/\Phi(x)\}$ and $E\{x\phi(x)/\Phi(x)\}$ where $x\sim N(0,1)$.
Written ...

**4**

votes

**1**answer

222 views

### How to get an expression for this integral(Numerically/Analytically)

I have the following problem:
I need to evaluate the integral $$\int_{\cos(\alpha)}^{1} P_l(t)P_{l'}(t) dt $$ for $\alpha \in [0,\pi]$ and each combination of $l$ and $l'$, where $P_l$ is the l-th ...

**3**

votes

**1**answer

184 views

### Practical error-estimates for (adaptive) Newton-Cotes Quadrature

I am looking for practical error estimates for Newton-Cotes Quadrature rules.
Most books on numerical methods I have found mainly deal with theoretical error bounds/estimates for the respective ...

**1**

vote

**1**answer

101 views

### Integral estimate on a two dimensional Riemannian manifold

For my Master's thesis, I'd like to prove the following (but I'm not sure it's true):
On a two-dimensional Riemannian manifold (oriented and closed), for any smooth function $f$, it holds that
$$
...

**17**

votes

**1**answer

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

**4**

votes

**1**answer

368 views

### Numerical multivariate definite integration

I need to compute a set of multivariate definite integrals with infinite integration domain
$$\displaystyle \int_{-\infty}^{\infty} \cdots \int_{-\infty}^{\infty} f(x_1,x_2, \ldots , x_n)\;\;dx_1 ...

**2**

votes

**0**answers

105 views

### Marginalizing multivariate normal over defined interval

Hello everyone,
I am trying to obtain an analytic expression for the following Gaussian integral
$$\frac{1}{\sqrt{(2 \pi)^n |\Sigma|}} \int \kern-0.2em \cdots \kern-0.2em \int d\mathbf{x}_{\sim i} ...

**2**

votes

**3**answers

203 views

### Speed of convergence for Weyl's Equidistribution theorem

If $f$ is a continuous periodic fonction on $[0,1]$ and $a\not\in\mathbb{Q}$, the Weyl's equidistribution theorem states that
$$\frac{1}{n}\sum_{k=0}^{n-1}f(ak)\rightarrow \int_0^1 f(x)dx.$$
Can we ...