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

learn more… | top users | synonyms

11
votes
0answers
248 views

Reference for a proof of the fiberwise Stokes theorem

The fiberwise Stokes theorem says that given a differential form on a smooth fiber bundle whose fibers have boundary, the difference between the fiberwise integral of the differential and the ...
11
votes
0answers
310 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 ...
9
votes
0answers
65 views

Assymptotics of a Selberg type integral

Does any one know some references/ ideas on how to study the assymptotics as $N$ goes to $\infty$ of the following Selberg type integral $$\int _{\mathbb R^N} e^{-|x|^2}\ \prod_{1\le i<j\le N} ...
8
votes
0answers
121 views

Summation of series involving $\sinh$ of a square root

Consider the following series: $$ S = \sum_{\text{odd } n} \sum_{\text{odd } m} \frac{(-1)^{(n+m)/2}}{nm} \frac{\sinh( \pi \sqrt{n^2 + m^2}/2)}{\sinh( \pi \sqrt{n^2 + m^2})} $$ From the physical ...
7
votes
0answers
407 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, ...
6
votes
0answers
215 views

An inequality which involves a sum of integrals

Please help me to prove $$ \sum\limits_{j=2}^n \frac{1}{j^\alpha (j-1)^\alpha} \int\limits_{j-1}^j \frac{dx}{x^{1-\alpha}(n-x)^\alpha} \leq \int\limits_0^1 \frac{dx}{x^{1-\alpha}(n-x)^\alpha},\quad ...
6
votes
0answers
98 views

Integral identity related with cubic analogue of arithmetic-geometric mean

This is re-post from MSE as I did not get an answer there. Let $a,b$ be positive real numbers and we define two sequences $\{a_{n}\},\{b_{n}\}$ as follows: ...
6
votes
0answers
107 views

How to take this Grassmann integral?

I'm trying to reconstruct and understand what is explained in a paragraph of this paper. I am trying to check if the method they describe actually gives us the Laughlin state. The integral I'm facing ...
5
votes
0answers
114 views

Integral-like concepts

I am looking for interesting concepts (I guess you could say functionals from the function space $[a;b]\to\mathbb R$) that are like integrals in some respect. The background is that I have proven a ...
5
votes
0answers
300 views

Reference request : Grothendieck's topological space valued integral

As I am learning the different kind of Banach space valued integrals (Pettis, Bochner), I know that Grothendieck made a "mémoire" in his youth about this topic, but I don't know if it is available ...
4
votes
0answers
128 views

Contour integral $\int_{\gamma}e^{-t\mu}(-\mu)^{-m}\log\sqrt{-\mu}d\mu$

Motivation: In my research I try to find the asymptotics of the heat trace $\text{tr}e^{-t\Delta}$ as $t\to0$, where $\Delta$ is Laplace operator on a manifold with singularities. First I find the ...
4
votes
0answers
84 views

Numerical integration error bounds on the unit sphere

A sequence of points $x_1,x_2,\dots$ on the unit sphere $S^{D-1}$ is said to be uniformly distributed if \begin{align} \lim_{N \rightarrow \infty} \frac{1}{N} \sum_{j=1}^N f(x_j) = \int_{x \in ...
4
votes
0answers
172 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 ...
4
votes
0answers
149 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
0answers
263 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
0answers
152 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)$. ...
4
votes
0answers
2k views

Fourier transforms via Kurzweil-Henstock integral on locally compact commutative groups

Is it possible to define Fourier transforms on locally compact commutative groups using the Kurzweil-Henstock integral instead of the Lebesgue integral?
3
votes
0answers
67 views

Divergence theorem on stratified spaces

It is very common in physics and engineering to apply the divergence theorem to compact spaces whose boundary is not smooth. For example, in the wikipedia link I just gave, the picture illustrating ...
3
votes
0answers
63 views

Using and understanding the Atiyah-Bott localization theorem/integration formula

I posted this on r/math, but was told I might have better success here given the level of the question. Basically, I need to learn how to use the localization theorem to compute integrals on ...
3
votes
0answers
82 views

Numerical inversion involved confluent hypergeometric (1F1) (or Kummer function)

Edit: The question is solved !! The code is actually correct. There is not error in the codes. I miss-used it. Thank you for your attention : ) This problem arises when I tried to compute the valua ...
3
votes
0answers
53 views

Dual cone of 'positive' Bochner integrable functions

If we consider the space of integrable functions $L^1([0,1];\mathbb{R})$, it can be ordered by the convex cone of positive integrable functions $L^1([0,1];\mathbb{R}_+)$. It is known that the ...
3
votes
0answers
195 views

A difficult integral which the Risch algorithm shows is not elementary

For reasons which aren't conceptually related to the problem a few of my colleagues and I are in need of finding an expression for the following integral in terms of $a$ and $\delta$: ...
3
votes
0answers
170 views

An upper bound for a average of a function in $L_{p}([0,1))$

Suppose that $ f $ is $ 1 $-periodic and that $ f \in {L^{p}}([0,1) $, where $ p > 1 $. Let $$ (D_{n})_{n \in \mathbb{N}_{0}} = \left( \left\{ I^{n}_{j},~ 1\leq j \leq 2^{n} \} \right\} \right)_{n ...
3
votes
0answers
108 views

motivic integration and jacobian ideal

When we consider the change of variables in motivic integration, we have a birational map $f:Y\rightarrow X$ with Y smooth and we have to consider two invariants the order of the Jacobian ideal of $X$ ...
3
votes
0answers
104 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
0answers
250 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
0answers
234 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
0answers
1k 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 ...
3
votes
0answers
164 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
0answers
143 views

A question about multidimensional integral

Consider the function $$\Omega(N,E)=\int dE_1 \int dE_2 \cdots \int dE_N \Omega_1(E_1)\Omega_2(E_2) \cdots \Omega_N(E_N)\delta(E-E_1-E_2\cdots -E_N)$$ Is there a necessary condition on the ...
2
votes
0answers
206 views

Is there a Bayesian theory of deterministic signal? Prequel and motivation for my previous question

This is a prequel to my question: What's the probability distribution of a deterministic signal? (functional integrals in probability theory) Clearly my question looks at the same time fairly ...
2
votes
0answers
601 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 ...
2
votes
0answers
164 views

How to analytically evaluate this n-dimensional iterated integral?

I would very much appreciate any suggestions and/or pointers to references relevant for the analytic evaluation of the following n-dimensional iterated integral ...
2
votes
0answers
65 views

Summation of an integral involving Laguerre polynomial and Bessel function

In an engineering setting, I reduced my problem to calculating the following sum: $$\sum_{n=0}^\infty \frac{n!}{(k+n)!}\left[\int_0^a ...
2
votes
0answers
53 views

Integral of a parametrized commutator

I am trying to solve the following integral $$ \int_{-1}^{1}\;db\;||[t_{b}(A),J]||_{F}^{2} $$ where $t_{b}$ is the entrywise threshold of the matrix A ($0$ if $a_{ij}<b$, $a_{ij}$ if $a_{ij}>b$, ...
2
votes
0answers
120 views

Closed form for Gaussian-like integral

Let $X$ be a tall $M\times N$ matrix with complex elements, i.e. $M >> N$, and $h$ an $N\times 1$ complex vector. Furthermore, $c$ is an $M\times 1$ vector, $\Sigma_h$ an $N\times N$ diagonal ...
2
votes
0answers
89 views

Approximating a divergent integral with modified Bessel functions of the first and second kinds

I am a physicist who needs to evaluate the following (divergent at the origin) integral involving the modified Bessel functions of the first and second kinds $$I = \int_0^{\infty} \frac{\cos(ax)}{x} ...
2
votes
0answers
90 views

Swapping sums and integration for a kernel in Fourier space (the non absolutely convergent case)

Under what conditions on $c_{r}^{m}$ does $$\int_0^{2\pi} k(p,q)\exp(-inq)dq=\sum_{r=0}^{\infty}c_{r}^{m}\exp\left(-imp\right) \text{ in } L^2_{per}$$ hold for ...
2
votes
0answers
65 views

expectation involving normal pdf and Rayleigh distribution

I need to calculate following definite integral \begin{equation*} \frac{1}{2\pi }\int_0^\infty \frac{x^2 e^{-x^2/\sigma^2 } }{\sigma} \frac{e^{-\frac{\lambda}{{ax^2+b}}}}{\sqrt{ax^2+b}} ~~dx. ...
2
votes
0answers
59 views

Trigonometric multiple integral identity

How this alleged multiple integral identity can be proved? $$\int\limits_{-\infty }^{\infty }ds_{1}\int\limits_{-\infty}^{s_{1}}ds_{2}\cdots \int\limits_{-\infty }^{s_{2n-1}}ds_{2n}\;\cos { ...
2
votes
0answers
222 views

Inequality with CDF of order statistics

here is a problem I have been struggling with for a while now. This is for a paper I am working on. Any help would be appreciated! Here we go: Each bidder's valuation $\theta _{i},$ $i=1,...,N$, is ...
2
votes
0answers
228 views

A integral equation with Discrete to result by inverse problem

Problem 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, (I know the ...
2
votes
0answers
216 views

Integral involving a Meijer-G function

I am having trouble with calculating the following integral: $$ \int_{0}^{\infty} \ln{(1 + \alpha x)\, G^{k,0}_{k,k}\left[e^{-x}\left|^{(a_k)}_{(b_k)} \right. \right]} \, dx, $$ where $\alpha > ...
2
votes
0answers
148 views

Regularity of measures in the theorem of Riesz

There are two concurrent theories of measure/integration on a locally compact topological spaces: either as positive linear forms on the space of continuous functions with compact support, or as Borel ...
2
votes
0answers
104 views

Mean and variance of a general multivariate skew normal distribution

I have a problem about a general multivariate skew normal distribution. There is a $p\times 1$ vector, $\mathbf{y}=(\mathbf{y}_1',\mathbf{y}_2',\ldots,\mathbf{y}_n')',p>n$, which has the density as ...
2
votes
0answers
130 views

An integral problem related to matrix determinant

I am stuck in an integral problem: ...
2
votes
0answers
110 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
0answers
372 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
0answers
229 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
0answers
259 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 ...