Questions tagged [integration]
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, ...
1,442
questions
3
votes
4
answers
822
views
Compute the two-fold partial integral, where the three-fold full integral is known
I have the following trivariate ($\rho_{11}, \rho_{22}, \mu$) function
\begin{equation}
4 \mu ^{3 \beta +1} \rho_{11}^{3 \beta +1} \left(-\rho_{11}-\rho_{22}+1\right){}^{3 \beta +1}
\rho_{22}^{3 \...
4
votes
1
answer
313
views
Why is it difficult to define a direct integral of Banach spaces or Banach algebras?
In the relevant Wikipedia entry, I can read about how to define a direct integral on Hilbert spaces and Von-Neumann algebras.
Suppose that I want to define a direct integral on either Banach spaces or ...
7
votes
2
answers
1k
views
How would you work out this integral as a series?
The integral is:
$$f(a) = \int\limits_{-\infty}^\infty \frac{x e^{-a^2 x^2}}{\tanh(x)}dx$$
which seems to converge for all $a>0$. But I don't know how to get a sense of the function $f(a)$ such as ...
4
votes
1
answer
265
views
Mikusiński's approach to Bochner integrals; replace absolute by unconditional?
In the book The Bochner Integral, Mikusiński described an approach to Lebesgue and Bochner integrals via absolutely convergent series corresponding to step functions:
Defn. Let $X$ be a Banach space. ...
3
votes
1
answer
94
views
On an integral of Gaussian CDFs
Let $c>0$ and $T>0$ be fixed. Denote by $F$ the Gaussian CDF, i.e. $F:\mathbb R\to\mathbb R$ is defined by
$$F(x):=\int_{-\infty}^x \frac{1}{\sqrt{2\pi}} e^{-z^2/2}dz.$$
For every $a\in [0,1)$, ...
1
vote
3
answers
492
views
Squeezing more convergence from the convergence in all $L^p$ spaces
Let $X$ be a space endowed with a finite measure $m$. Let $f_n : \to \mathbb C$ be measurable functions such that $|f_n| \le 1$ for all $n$ and $f_n \to 0$ in every space $L^p (X)$ with $p \in [1, \...
6
votes
4
answers
537
views
Generalizing contour integration to quaternions and bicomplex numbers
I am interested in the possibility of generalizing the notion of contour integration to the quaternions or bicomplex numbers. I am aware that the Frobenius theorem prevents the construction of a true ...
2
votes
4
answers
942
views
Change of variables in a Gaussian integral in matrix form
I have a problem in which I have to compute the following integral: $$\mathop{\idotsint\limits_{\mathbb{R}^k}}_{\sum_{i=1}^k y_i=x} e^{-N^2r(\sum_{i=1}^k y_i^2-\frac{1}{k}x^2)} dy_1\dots dy_k,$$
where ...
0
votes
0
answers
142
views
Difference between summation for "$\aleph$" terms and summation for "$\aleph_0$" terms
Addition: Could we say that the dimension of a space is "$\aleph_0$" or"$\aleph$"? I guess that every elementary functions can be uniquely expanded as integer order power series ...
2
votes
1
answer
267
views
Probability density of a hyperplane for a Gaussian distribution
I have a vector $\mathbf{x}$ with a multivariate Gaussian distribution
$$P[\textbf{x}\in S]
=\int_{\textbf{x}\in S}
\det(2\pi H^{-1})^{-1/2}\exp(-\frac{1}{2} \textbf{x}^T H\textbf{x}) \, d\textbf{x}$$...
1
vote
2
answers
152
views
Is $\int_{\mathbb{R}} \int_{\mathbb{R}^n} \alpha w(t) e(\alpha (a_1t_1 + \dotsb + a_n t_n)) dt\,d \alpha = 0$?
Let $a_i$ be a nonzero real number for each $1 \leq i \leq n$. $w$ a smooth nonnegative with compact support. I would like to understand the following integral.
$$
I = \int_{\mathbb{R}} \int_{\mathbb{...
1
vote
1
answer
61
views
Weak lower semicontinuity of a sequence of Riemann sums
Let us have a sequence of functions $\{f^K\}_{K \in \mathbb{N}} \in C([0,1],\mathbb{R})$ which is uniformly bounded in $L^2((0,1))$. We observe a sequence of Riemann sums
$$R^K=\frac{1}{K} \sum_{k=0}^{...
0
votes
0
answers
63
views
Integration of matrix form of Vasicek variance (Python/Matlab)
$X_t$ is a vector and follows the following Vasicek process.
$$
dX_t=(mu-K\cdot X_t)dt+Sigma_x\cdot dZ_t \\
$$
What is the variance of $X_t$?
In scalar form the answer is $\frac{Sigma_x^2}{2\cdot K}\...
13
votes
2
answers
722
views
How to prove that $\int _0^\infty\frac{\text{arcsinh}^nx}{x^m}dx$ is a rational combination of zeta values?
For $n\ge m\ge 2$, define $$I(n,m):= \int _0^\infty\dfrac{\text{arcsinh}^nx}{x^m}dx$$ Computer algebra systems say that the indefinite integral can be expressed in terms of polylog functions (of ...
1
vote
1
answer
138
views
Can the integral inherit the Lipschitz continuity of its integrand?
Let $C$ be the set of continuous functions on $[0,T]$ taking values in $[0,1]$. Denote $\|f-g\|_t:=\max_{0\le u\le t}|f(u)-g(u)|$ for $f,g \in C$ and $t\in [0, T]$. Let $\phi: C\times C\times \{(s,t): ...
1
vote
1
answer
312
views
A Bessel-like integral
I encounter the following integral when trying to find the inverse Fourier transform of the characteristic function of a certain sum of random variables. Here, $0\le\lambda\le1$, $p\ge0$, $q\ge0$ are ...
1
vote
0
answers
35
views
How to relate this integration with the integral expansion of special functions?
I encounter the following integral when trying to find the inverse Fourier transform of the characteristic function of a certain sum of random variables. Here, $p\ge0$, $q\ge0$ are real, and $n,a,b$ ...
5
votes
2
answers
246
views
Inverse Mellin transform of 3 gamma functions product
I want to calculate the inverse Mellin transform of products of 3 gamma functions.
$$F\left ( s \right )=\frac{1}{2i\pi}\int \Gamma(s)\Gamma (2s+a)\Gamma( 2s+b)x^{-s}ds$$
Above contour integral has ...
1
vote
0
answers
76
views
Integral of $f \in L^{\infty}(\mathbb{T}^2)$
Let $f \in L^{\infty}(\mathbb{T}^2)$, where $\mathbb{T}$ is the torus.
Can we somehow compare the integral $$\int_{\mathbb{T}^2}\int_{\mathbb{T}^2} \left( \int_{3x+y=z} f(w+x)f(w+y)dm_{\mathbb{T}^2}(x,...
0
votes
0
answers
47
views
How was this heat semigroup estimate made in a paper on reaction–diffusion systems?
In Yamauchi - Blow-up results for a reaction–diffusion system, in the proof of Lemma 3.3, there is the passage
$$S(t-s)|x|^{\sigma/1-k} \geq C_1(t-s)^{\sigma/2(1-k)}.$$
Here $S(t)$ denotes the heat ...
0
votes
1
answer
181
views
Numerical methods for evaluating singular integrals
The Helmholtz decomposition for a vector field B contains both volume integrals and two boundary integrals (https://en.wikipedia.org/wiki/Helmholtz_decomposition). For brevity I show just one of the ...
2
votes
0
answers
110
views
What is the justification for using Wiener integrals to integrate over a space of differentiable functions?
In the literature on stiff/semiflexible polymer chains modelled as continuous chains rather than as discrete links, the partition function (among other things) is taken to be an integral over the ...
3
votes
1
answer
353
views
A specific integration with Grassmann variables
I have recently read (for example, here) that this relation below is true
$$ \int dz \: e^{\frac{1}{2} \sum_{ij} z_i A_{ij} z_j} = Pf(\mathbf{A}),
$$
where $Pf(\mathbf{A})$ is the Pfaffian of an even ...
22
votes
2
answers
6k
views
$\mathbf{P} = \mathbf{NP}$, what's the problem?
Let's take the problem of the backpack: $A_1,\ldots ,A_n$ the weights that are integers, and we want to know if we can achieve a total weight of $V$.
We take $$I=\dfrac{1}{2\pi}\int_0^{2\pi} \exp(-iVt)...
1
vote
1
answer
87
views
Questions on the integral of pseudo Gaussian kernel and its derivative on $(0,\infty)$
Consider pseudo Gaussian densities for $0<s<t$ and $x,y\in\mathbb R$
$$f(s,x,t,y):=\frac{1}{\sqrt{2\pi A(s,t,y)}}\exp\left(-\frac{(y-x)^2}{2A(s,t,y)}\right)\quad\mbox{and} \quad g(s,x,t,y):=\...
3
votes
0
answers
227
views
Birationally equivalent elliptic curves and singularities
I got the following cubic elliptic curve from some physical problem $$E_c(\mathbb{C}): w^2=4 z^3-zG_2-G_3,$$ where $G_2=3
\alpha ^2+\gamma$ and $G_3=\alpha ^3-\alpha \gamma
-\beta ^2$ for known ...
1
vote
1
answer
210
views
Convergence of oscillatory integrals
I'm considering integrals of the (Hilbert transform) type
$$p.v.\int_{-\infty}^\infty\frac{f(r)}{r}\,dr$$
where $f(r)$ is periodic, say, with period $2\pi$. I'm assuming very little regularity on $f$. ...
-1
votes
1
answer
403
views
Topological properties of complex valued Riemann sum limit curve and a particular integral inequality
I am studying under what conditions the following integral inequality would hold ($a$ real, $a>0$):
$$ \int_{-\infty} ^{\infty} \frac{f(ix)}{a\pm ix}dx\ = 0 \ \ \ \ \Rightarrow \ \ \ \int_{-\...
4
votes
2
answers
422
views
On the search for an explicit form of a particular integral
Let $f$ be integrable over the interval $(0, 1)$, and
$$I_n = \int_0^{1} x^n f(x) \, \mathrm{d}x.$$
Suppose $f(x) = f(1-x)$; we can then show that
$$I_n = \sum_{k=0}^{n} \binom{n}{k} (-1)^k \, I_{k}...
1
vote
0
answers
64
views
How to define integration for general functions?
In general, the integration is defined on a measurable space $(X, \mathcal{A}, \mu)$, where $X$ is the whole space, $\mathcal{A}$ is a $\sigma$-algebra on $X$, and measure $\mu$. Usually integration ...
3
votes
0
answers
267
views
Gaussian integral with Vandermonde determinant
I want to compute the following integral, which contains a Gaussian piece and a Vandermonde determinant:
$$
\int d^Nx \,e^{-\frac{1}{2} \sum_{k=1}^N a_k x_k^2 + \sum_{k=1}^N b_k x_k} \Delta(x),
$$
...
35
votes
5
answers
3k
views
Looking for some interesting complex integration contours
I am currently working on some tools to make contour integration in a proof assistant less painful and I'm looking for interesting examples of contours in the complex plane used in the literature. I ...
0
votes
1
answer
491
views
Asymptotics of a 1D integral, or the orthant probability of an equicorrelated random Gaussian vector
Problem: Let $\phi(x)$ be the normal probability density function (pdf), and $\Phi(x)$ the normal cumulative distribution (cdf). I'm interested in the asymptotic behavior of the following integral
$I(...
2
votes
1
answer
156
views
Radon transform of the function $h(x_1,\ldots,x_n) = x_1 g(x_1,\ldots,x_n)$, where $g$ is the density of multivariate Gaussian $N(\mu,\Sigma)$
Given an absolutely integrable function $f:\mathbb R^n \to \mathbb R$, let $R[f]$ be its Radon transform defined for every $(w,b) \in (\mathbb R^n \setminus \{0\}) \times \mathbb R$ by
$$
R[f](w,b) := ...
0
votes
1
answer
313
views
Closed-form CDF for bivariate normal distribution in point $(\Phi^{-1}(p),\,\Phi^{-1}(p))$
Let $\Phi(x)$ be a CDF of standard normal distribution and $\Phi^{-1}(p),\,p\in(0,1)$ its inverse.
It is evident that
$$
\mathbb{P}(X<\Phi^{-1}(p))=\Phi(\Phi^{-1}(p))=p,
$$
where $X\sim N(0,1)$.
Is ...
2
votes
1
answer
160
views
As-closed-as-possible formula for an integral and/or sum
I need to find the solution of this integral:
$$\int^\pi_{-\pi}{d\varphi\,{}\frac{\Gamma(n,2\pi\varphi)}{(1+ia\varphi)^n}},\tag{1}\label{1}$$
where $a\in(0,1)$ and $n$ is a positive integer (not zero)....
3
votes
2
answers
223
views
Bochner integral over convex sets lies in the convex set?
Let $(\Omega,\Sigma,\mu)$ be a probability space, $E$ be a separable Banach space, $f:\Omega\rightarrow E$ be Borel-measurable and consider the Bochner-integral
$$
\bar{\mu}:=\int_{\omega\in \Omega}\, ...
4
votes
0
answers
121
views
Integrating a function of distance between a set and its neighbourhood
I am aware of the isoperimetric inequality, which states that if you fix the Lebesgue measure of a measurable set $A \subset \mathbb R^d. d \geq 2$ then the smallest possible value of the perimeter of ...
1
vote
0
answers
69
views
Prove or disprove the positivity of the ess inf of a singular function
Consider a measurable radial function $u:\Bbb R^d\to(0,\infty)$ such that
$$\int_{B_\delta(0)} u(x) d x=\infty\quad\forall\,\, \delta>0.$$
I would like to prove or to disprove that there exists $r&...
3
votes
1
answer
135
views
On an asymptotic integral
Let $\phi, a \in C^{\infty}([0,1])$ and assume $a(0)=1$. Suppose that
$$
\int_0^1 e^{\tau \,\phi(t)}\,a(t)\,dt =0 \qquad \text{for all $\tau \in \mathbb R$}.
$$
Does it follow that $\phi$ is a ...
1
vote
0
answers
151
views
Fourier transform of inverse of determinant of 1+ skew-symmetric matrix
I have asked the following question in math stackexchange(https://math.stackexchange.com/questions/4389626/fourier-transform-of-inverse-of-determinant-of-1-skew-symmetric-matrix), but did not receive ...
2
votes
2
answers
147
views
Lower bound for integrals like $\int_1^{t+1}e^{-\sqrt{s}}s^{-1}ds$
Let
$$I(t) = \int_{1}^{t+1}\exp\left\{-c\frac{s^{1-\beta}}{1-\beta}\right\}s^{-2\beta}ds,$$
where $c$ is some positive constant and $\beta\in(0, 1)$.
Since the integral $I(t)$ given above could not be ...
0
votes
0
answers
117
views
Does this book use non-mainstream stochastic analysis constructions and is thus perhaps not a good start?
I'm attempting to read a book on stochastic calculus by D.H. Fremlin, which is the 6th volume of his treatise on measure theory encompassing all kinds of topics related it.
Before I make a very ...
1
vote
1
answer
247
views
Exponential decay bound on integral
I have an integral of the form
$$ \int_R^{\infty} e^{-x} x^n \vert L_m^{\alpha}(x) \vert^2 \ dx,$$
where $L_m^{\alpha}$ is the generalized Laguerre polynomial and $n \ge 0.$
I would to get a nice ...
5
votes
0
answers
646
views
Nature of function as $x\rightarrow\infty$
I'm studying the limits and applicability of Abel Plana summation for different test functions (class of functions). In doing so this just pops out and couldn't handle the said integral so asked here (...
0
votes
1
answer
120
views
Characterizing subsets of integrable functions
Let us consider the space $L^1(0,1;\mathbb{R})$ of real-valued, Lebesgue integrable functions defined on the interval $(0,1)$ (where we only distinguish functions which are not equal almost everywhere)...
10
votes
1
answer
382
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 ...
0
votes
0
answers
90
views
Optimal growth of an oscillating integral
Let $f\in H^1(\mathbb{R}^3)$, with $f\equiv0$ inside a ball around the origin. For $t>0$, consider the following integral
$$I(t):=\int_{\mathbb{R}^3}e^{i|x|^2/t}\frac{f(x)}{|x|}dx$$
It`s easy to ...
1
vote
1
answer
117
views
Volume of a frustum knowing the volume and height of the pyramid and the height of the frustum [closed]
Can I calculate the volume of a frustum if all I know is the volume of the pyramid the height of the pyramid and the height of the frustum?
0
votes
1
answer
141
views
What are the steps involved in the solution to $\int{x^{-a} (b -cx^{-d})^e }dx$? [closed]
Mathematica gives me the following solution to $\int{x^{-a} (b -cx^{-d})^e }$:
$$\int{x^{-a} (b -cx^{-d})^e dx} = -\frac{b^{e}x^{1-a} \, _2F_1\left(\frac{a-1}{d},-e;\frac{a+d-1}{d};\frac{c x^{-d}}{b}\...