The integration tag has no usage guidance.

**1**

vote

**2**answers

145 views

### Evaluate an integral or Fourier coefficients

Consider an integral
$$
\int_0^\pi \frac{\cos(kx)}{\cosh(ax)}\ dx
$$
there $k\in
\mathbb{Z}, a\in \mathbb{R}.$
Of course that is Fourier coefficient for the function $f(x)=\frac{1}{\cosh(ax)}.$
...

**0**

votes

**0**answers

98 views

### Integral of Bessel function of 1st kind with complex exponential

Does someone know the solution (simple closed form) of one of theses integrals:
$$\int_0^t J_l(s) e^{-iA(t-s)}ds$$
$$\int_0^t \frac{J_l(s)}{s} e^{-iA(t-s)}ds$$
with $l>0$, $t>0$, $\Re(A)>0$, ...

**4**

votes

**0**answers

159 views

### Is there a coordinate free proof of the Morrey--Kohn--Hormander identity?

The Morrey--Kohn--Hormander identity is the key to proving vanishing/existence results on bounded pseudoconvex domains in $\mathbb{C}^n$, or more generally, Stein domains. See, for instance, the ...

**5**

votes

**1**answer

298 views

### Laurent expansion of a principal value integral

Let $f(t)$ be a nice Hölder continuous function. Also, suppose that $f$ is even. I'm interested in evaluating integrals of the form:
$$\oint (1-z)^{k+1}\int_0^1 \frac{f(t)}{(1-zt)^{n+1}}dtdz,$$
...

**0**

votes

**1**answer

179 views

### Laplace transform of : $t^{\gamma-1} F(\alpha,\beta,\delta,t)$, where $F$ is the Gauss' hypergeometric function

What is the Laplace transform of : $t^{\gamma-1} F(\alpha,\beta,\delta,t)$, where $\gamma >0 $ and $F$ is the Gauss' hypergeometric function.
Thanks!

**2**

votes

**0**answers

121 views

**10**

votes

**0**answers

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

**56**

votes

**2**answers

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

**8**

votes

**4**answers

528 views

### Computing $\int_0^T e^{itA}Be^{-itA} dt$ without an infinite series

I'm hoping to compute the following integral: $\int_0^T e^{itA}Be^{-itA} dt$ where $iA, iB$ are traceless anti-Hermitian matrices (i.e. $\mathfrak{su}(n)$). I have found the following form for the ...

**1**

vote

**0**answers

237 views

### Inflated independent samples for Monte Carlo estimation

In my particular problem, running an MCMC is too expensive, so I'm looking for a simple MC estimator, which would partially inherit the correlated samples of MCMC, yet would not require computing ...

**2**

votes

**0**answers

563 views

### Integral of sin(x)/sqrt(x) from 0 to \pi [closed]

How to calculate improper integral $\int_{0}^{\pi}{\frac{\sin{t}}{\sqrt{t}}dt}$?

**2**

votes

**0**answers

258 views

### Can it be decided whether $\int\root 3 \of{\cos^2(t)}\,dt$ is expressible by elementary functions? [closed]

I would like to decide by methods of Differential Algebra whether the integral $\int\root 3 \of{\cos^2(t)}\,dt$ contrary to the output of CAS Mathematica Online Integrator might
be expressible by ...

**2**

votes

**1**answer

371 views

### Conjectured closed form for definite integral

Let $K(x)$ be the complete elliptic integral of the first kind
(the argument is the parameter $m = k^2$).
Let $$ A = \int_0^1 \arcsin(K(x)) dx$$
With precision $1000$ decimal digits $\Re A = ...

**2**

votes

**2**answers

258 views

### How to calculate $P(\sum_{i=1}^{m}(A_i+S_i)\le L)$ with $A_i,L\sim\text{exp}(\lambda),S_i\sim\text{exp}(\mu)$ and positive integers $\lambda\neq\mu$?

Recently I was stumped by the calculation of the probability
$$\mathbb{P} \big(\sum_{i=1}^{m} (A_i + S_i) \le L < \sum_{i=1}^{m+1} (A_i + S_i) \big)$$
where $A_i \sim \text{exp}(\lambda), S_i \sim ...

**-1**

votes

**1**answer

138 views

### Question about the derivative of a fuctional

I have this lemma+proof and i dont understand why it follows from $J'(u_n)\rightarrow 0$ that $-\Delta_p u_n- f(x,u_n)\rightarrow 0$ such that
$J(u)=\frac1p\int_{\Omega} |\bigtriangledown u|^p ...

**0**

votes

**1**answer

123 views

### Monte Carlo estimator with autocorrelated samples

Given an integration problem $I=\int{f(x)dx}$, we can construct an ordinary Monte Carlo estimator as
$E[I]=\sum\limits_i\frac{f(x_i)}{p(x_i)}$
where the samples $x_i$ are usually i.i.d. and drawn ...

**2**

votes

**1**answer

177 views

### To understand integral :$\lambda (x) = \int_{0}^{\infty} \frac{\sin^{2} \alpha x}{\alpha^{2}} d\mu(\alpha), (\mu(0)=0)$

I wants to understand the integrals of the form
$$\lambda (x) = \int_{0}^{\infty} \frac{\sin^{2} \alpha x}{\alpha^{2}} d\mu(\alpha), (\mu(0)=0)$$
where $\mu(\alpha)$ is a non decreasing function ...

**8**

votes

**1**answer

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

**3**

votes

**0**answers

87 views

### What are the criteria for an elementary function to be infinitely integrable in elementary functions?

What features of elementary functions define a class of functions whose consecutive indefinite integration also gives an elementary function?
Is there a way to check whether a given elementary ...

**2**

votes

**1**answer

134 views

### Is an integral against a probability measure in the convex hull of the range?

This may be really obvious but I don't see it. Let $f:\Omega \to \mathbb R^n$ be integrable with respect to a probability measure $\mu$. Does it follow that $\int_\Omega f \, d\mu$ is in the convex ...

**4**

votes

**2**answers

259 views

### Integrals of two Bessel functions of the first kind and a modified bessel function of the second kind

I'm searching for a suitable (hopefully simple enough) solution to the following form of integral:
$$\int_0^\infty \mathrm{d}x~x^n J_\nu(a x) J_\nu(b x) K_\mu(c x) $$
Where $n$, $\nu$, and $\mu$ are ...

**-3**

votes

**1**answer

103 views

### Suppose I know $\int h(t) dt = H(t)$, is there a way to find $\int h(t)^N dt$?

I am trying to find the -1 moments of sum of N geometric random variable, i.e. $E[\frac{1}{\sum_{i=1}^N X_i}]$
Suppose the probability mass function is $f_X(x) = (1 - p)^{x - 1} p$
The moment ...

**11**

votes

**2**answers

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

**0**

votes

**1**answer

158 views

### Is any derivative of $f_1^x f_0^{1-x}$ w.r.t. $x$ integrable?

For $f_0$ and $f_1$ two continuos probability density functions on $\mathbb{R}$, by Hölder, I know that $f_1^x f_0^{1-x}$ is integrable on $\mathbb{R}$, where $0 \leq x \leq 1$. Let $l=f_1/f_0$, then ...

**3**

votes

**1**answer

178 views

### Convergence of the Double Integral of a Polynomial Reciprocal

Let $f \in \mathbb{R}[x,y]$ be a polynomial satisfying the following conditions:
(i) $f(\mathbb{R}^2) \subset [a,\infty)$ where $a>0$;
(ii) $f$ is non-degenerate, in the sense that there isn't a ...

**1**

vote

**1**answer

122 views

### Inversion of incomplete elliptic integral of third kind

I would like to know whether there is any solution available on the inversion of elliptic integrals of the third kind (incomplete)?
That means that given $\Pi(n,u,m) = f(x)$, I would like to obtain ...

**3**

votes

**2**answers

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

**4**

votes

**2**answers

499 views

### I don't understand behavior of this integral, help!

In an answer to a question I needed the following integral:
$$
f(z):=\int\limits_0^\infty t\coth(zt)e^{-t^2}dt;
$$
it represented deviation from modularity of some other function. However I noticed ...

**1**

vote

**1**answer

272 views

### Is there an example where the error of Gauss-Laguerre quadrature does not vanish?

The $n$th Gauss-Laguerre quadrature aims to approximate integral $$\int_{\mathbb{R}_+} f(x) \exp(-x)$$ by the sum
$$\sum_{i=1}^n f(x_i) w_i$$
where $x_1,...,x_n$ are the roots of the $n$th Laguerre ...

**5**

votes

**1**answer

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

**1**

vote

**0**answers

122 views

### Bound for a certain integral expression

I am working to establish an estimate in $X^{s,b}$ spaces to prove local well-posedness of a certain equation, and I need to consider some sub-cases. In particular, I wish to show that the following ...

**3**

votes

**0**answers

223 views

### How is the deconvolution of a fat gaussian from a polynomial derived?

We have a 2D order-2 polynomial, a Gaussian and a 'box' indicator function. Let:
$\begin{eqnarray}
p(x,y) &=& c_0+c_1x+c_2y+c_3xy+c_4x^2+c_5y^2+c_6xy^2 \\
G(x,y) &=& ...

**1**

vote

**2**answers

135 views

### Numerical calculation of Fourier transform with a nice error bound

I'd like to have an algorithm for a numerical calculation of Fourier transform with a nice error bound. To be precise, if $f$ is a function from $L_1(R)$, $F[f]$ is it's exact Fourier transform and ...

**1**

vote

**1**answer

216 views

### Request for help with two integrals

It would be great if someone can help me do these integrals - using numerical integration on Mathematica it seems that these converge - in what follows $a \in \mathbb{R}$ and $q \in \mathbb{N}$ and $n ...

**3**

votes

**2**answers

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

**3**

votes

**1**answer

315 views

### Does there exist a function such that $\int_{\mathbb{R}_+^{\star} } t^nf(t)dt=0$? [closed]

Let $f\in C([a,b],\mathbb{R})$ such that $\displaystyle\int_{a}^{b} t^nf(t)dt=0$ for all integer n.
We know that $f\equiv 0$. It's call Hausdorff theorem.
This theorem is wrong on $\mathbb{R^+}$, a ...

**4**

votes

**0**answers

124 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

144 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

239 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

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

**1**

vote

**1**answer

95 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

133 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

358 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

258 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

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

**57**

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

**1**

vote

**2**answers

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

**8**

votes

**2**answers

437 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

201 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

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