The integration tag has no wiki summary.

**9**

votes

**0**answers

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

**6**

votes

**0**answers

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

**4**

votes

**0**answers

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

**4**

votes

**0**answers

124 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)$. ...

**3**

votes

**0**answers

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

**3**

votes

**0**answers

182 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) &=& ...

**3**

votes

**0**answers

194 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 \, ...

**3**

votes

**0**answers

143 views

### An isoperimetric inequality for “order” polytopes

I am looking for an isoperimetric inequality for order-like polytopes.
An order polytope $K\in \mathbb{R}^n$ is defined by a set of linear inequaities:
$$ \forall i \; 0\leq x_i \leq 1 $$
and
$ ...

**2**

votes

**0**answers

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

**2**

votes

**0**answers

101 views

**2**

votes

**0**answers

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

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

204 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}$,
...

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

103 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

**0**answers

305 views

### Hubbard-Stratonovich Transformation

Hello,
The Hubbard-Stratonovich transformation
$\exp(x^2) = \frac{1}{\sqrt{4 \pi}} \int_{-\infty}^{+\infty} du \exp(-\frac{u^2}{4} - xu)$
allows one to wirte the exponential of a the square of a ...

**2**

votes

**0**answers

192 views

### Coutour Integral of Gamma Functions

How do I solve the Integral
$$ \frac{1}{2\pi j} \oint
\frac{b^{ - s} \Gamma[2 + i - s] \Gamma[s] \Gamma[-1 - i + s]}{
(2 + i - s) \Gamma[3 + i - s]} \:\mathrm{d}s$$
This integral is an inverse ...

**1**

vote

**0**answers

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

**1**

vote

**0**answers

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

**1**

vote

**0**answers

121 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

**0**answers

234 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

**0**answers

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

**1**

vote

**0**answers

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

**1**

vote

**0**answers

168 views

### convergence of sets and limit of an integral

Let $X\subset\mathbb{R}$ and $Y\subset\mathbb{R}$ be compact sets.
Let $f:X\times Y\rightarrow\mathbb{R}$ be a $C^{1}$ function.
Let $s:Y\rightarrow X$ be a function (not necessarily continuous).
...

**1**

vote

**0**answers

75 views

### Integrating B-Spline composed with log

If $f$ is a real B-Spline and $a, b$ are real numbers, then is there a numerically stable way to evaluate the following expression?
$\int_a^b f (\log x) \mathrm{d}x$

**1**

vote

**0**answers

98 views

### Variation of a Function

Let $g$ be a function of finite $q$ Variation and $f$ be a function of finite $p$ Variation, and $\frac{1}{q}+\frac{1}{p}>1$.
What can be said about the variation of $H$ with ...

**1**

vote

**0**answers

79 views

### Semi implicit DAE integration using an implicit Runge Kutta scheme

I'm looking for some references regarding integration of DAEs in the form
$M(t) \frac{dy}{dt} + G(y(t),t) + f(t) = 0, \quad y \in R^n, M(t) \in R^{nxn}$
using a high order implicit Runge Kutta ...

**1**

vote

**0**answers

151 views

### On explicit eigenfunctions

Given an algebraic surface $S$ defined by an algebraic equation such
as $x^{4}+2y^{4}+3z^{4}=1$, how would one find the third smallest
eigenvalue $\mu_{3}$ for the differential equation $\Delta ...

**1**

vote

**0**answers

176 views

### Integrating gamma products and quotients over a vertical line

The Wolfram functions collection contains a small number of integrals of products and quotients of terms $\Gamma(a_i\pm t)$ over a vertical line, all of which can be evaluated in terms of only gamma ...

**1**

vote

**0**answers

278 views

### Residue Cancellation

I am trying to understand how to apply the residue theorem to solve
$\frac{1}{2\pi j}\int^{\gamma+j\infty}_{\gamma-j\infty}\Gamma(n-s)\Gamma(s)\Gamma(1-s) {}_1F_1(s;b;c) ...

**1**

vote

**0**answers

393 views

### Integral with modified bessel function and exponentials

I am trying to solve the following equations
$\int^\infty_0 \exp\left(-\frac{\alpha}{x+1}\right)\exp(-c x) x^{\frac{n-1}{2}} I_{n-1}\left(\sqrt{\beta x}\right)\ \mathrm{d}x $
and
$\int^\infty_0 ...

**1**

vote

**0**answers

240 views

### Gauge integral of the derivative of a function except on a set of measure 0.

For the entire question, the interval I am integrating over is $[0,1]$.
Background: In order to exhibit an isometry from $L^2[0,1]$ into $l^2$, I need to either assume absolute continuity over some ...

**0**

votes

**0**answers

29 views

### numerical solution of volterra integral equation

Consider the basic type of integral equation. In particular, a volterra integral equation of the first kind. That is, we have the following integral equation
$$
\int_{a}^{x}f(s)g(s,x)ds=h(x)
$$
...

**0**

votes

**0**answers

86 views

### Question about a particular estimate in Riemannian geometry

I have been studying the book Some Nonlinear Problems In Riemannian Geometry - Thierry Aubin. On page $46$ he begins the proof of the Sobolev imbedding theorem to manifolds. The proof is divided in ...

**0**

votes

**0**answers

57 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$, ...

**0**

votes

**0**answers

16 views

### Luria-Delbrueck model with deterministic gompertz growth of the wild type

i'm currently looking at a problem from population dynamics. The assumption is that a colony of wild-type cells growth according to the "gompertz-function"
$f(t)=m^{1-\exp(-\lambda_0 t)}$
where $m$ ...

**0**

votes

**0**answers

19 views

### Convergence integral in probability

Let $X_1,\dots,X_n$ be i.i.d with distribution function $F$. Let $\hat F_n$ be their modified empirical distribution function, i.e.,
$$
\hat F_n(x)=\frac1{n+2}\left(1+\sum_{i=1}^n1_{\{X_i\le ...

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

**0**

votes

**0**answers

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

**0**

votes

**0**answers

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

**0**

votes

**0**answers

86 views

### An integral over Clifford torus

This is part of my research project and I hope somebody can help with it.
Let $F_{ij}$ be the antisymmetric function
$$\frac{1}{4}L^4 \left(\text{cos}\left[\frac{f_{2j}}{2}-\frac{g_{2j}}{2}\right] ...

**0**

votes

**0**answers

571 views

### Real analytic functions

I am quite confused with some ideas regarding the Real analytic functions.
Just to introduce my questions:
A function $f$ is real analytic on an open set $D$ of the real line if for any $x_0\in D$ ...

**0**

votes

**0**answers

283 views

### Help with an irregular integral

I am looking for help with doing the following integral :
$$\frac{1}{2\pi i}\int_{1}^{\infty}\ln\left(\frac{1-e^{-2\pi i x}}{1-e^{2\pi i x}} \right )\frac{dx}{x\left(\ln x+z\right)}\;\;\;\;z\in ...

**0**

votes

**0**answers

115 views

### Boundedness of Riemann-like sums on unbounded interval

Hi
I am trying to find suitable conditions (integrability, growth...) on a function $f:\mathbb{R}\to \mathbb{R}$ such that:
\begin{equation}
\sum_{k\in\mathbb{Z}}f(kh)h= \mathcal{O}(1),\qquad h\to ...

**0**

votes

**0**answers

120 views

### convergence of multiple integral

I am searching for some theorems and books about convergence of multiple integrals of the form:
$$
\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}\;f(x,y)\;\mathrm{d}x\,\mathrm{d}y.
$$
In particular, ...

**0**

votes

**0**answers

182 views

### Evaluating the integral $\int_{a}^{+\infty} \frac{\exp(-bx)}{x+c} Ei(x) dx$

I'm trying to evaluate or simplify this integral:
$$I_{a,b,c} = \int_{a}^{+\infty} \frac{\exp(-bx)}{x+c} Ei(x) dx $$
with $a,b,c \in \mathbb{R}_+^*$.
and $ Ei(x) =\int_{-\infty}^{x} ...

**0**

votes

**0**answers

212 views

### More multinomial type integrals over the hypercube

The question is related to my previous question about integrating the multinomial over the hypercube and the motivation for this question is the same, but the integral is a bit different. Here it is,
...