The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
2answers
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
0answers
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
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 ...
1
vote
2answers
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
2answers
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
2answers
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
1answer
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
2answers
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
2answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
2answers
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
2answers
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
3answers
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
1answer
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
0answers
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
3answers
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
0answers
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
3answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
2answers
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
1answer
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
0answers
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
0answers
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
0answers
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
2answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
3answers
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 ...