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

6
votes
0answers
109 views

Symmetry of function defined by integral

(Originally posed in Math.SE in Jan 2013. Received no complete answers as of yet.) Define a function $f(\alpha, \beta)$, $\alpha \in (-1,1)$, $\beta \in (-1,1)$ as $$ f(\alpha, \beta) = \int_0^{\...
3
votes
1answer
60 views

Usable Change-of-Variables Formula for Hausdorff Measure

Let $H^{s}$ be the $s$-dimensional Hausdorff measure, let $D$ be a nonsingular matrix. Consider the change of measure formula: $$ \int\limits_{A} f(Dx) \; \mathrm{d}H^{s}(x) = \int\limits_{ D A} f(y)...
2
votes
0answers
48 views

Do any of these integrals have closed forms in terms of special functions?

I've been looking at nonelementary integrals of the form $\frac{1}{f(x) + g(x)}$, where $f$ and $g$ are simple but different enough to be interesting. Mathematica can't evaluate any of these integrals,...
4
votes
0answers
186 views

Verifying a source that lacks a citation

In this German Mathematics Wikibook page, formula $0.5$ lists the following equation $$\int_0^1 \sin(\pi x) x^x (1-x)^{1-x} \ \mathrm{d}x = \frac{\pi e}{24}$$ as supposedly attributed to Ramanujan (...
11
votes
2answers
400 views

Computing Gauss Legendre Quadrature for Large N

I've been scanning across the web, and haven't found a good method to compute the Gauss Legendre abscissas and weights $\{ x_j, w^j \} _{j=1}^N$ for large $N\in\mathbb{N}$. My question is how to do it,...
1
vote
0answers
31 views

Compute Mixed Volume with Respect to Some Regular Sets

Let $( \mathbb{R}^n, \mathcal{B}, \gamma)$ be a measure space where $\mathcal{B}$ is the Borel sigma algebra and $\gamma$ is a continuous measure. For $A, B\in \mathcal{B}$ that are convex, the mixed ...
0
votes
0answers
39 views

Equivalent Definitions of the Gaussian Surface Measure for Regular Sets

I wonder if the following definitions of the Gaussian surface measure are equivalent. First, let $\mathbb{R}^n$ be the Euclidean space and $A \subseteq \mathbb{R}^n$ be a sufficiently regular set, e....
11
votes
1answer
163 views

Harmonic analysis, compute that this integral tends to $0$

We have the following setting. $U$ is a bounded Lipschitz domain in the complex plane. Consider the following classical Dirichlet problem for the Laplace operator: $$\begin{align} \Delta{}u&=0 \...
3
votes
0answers
75 views

interpretation of a singular integral

There is a post on MSE about a principal value integral in this paper. It has not received much attention even with a bounty, and since it concerns a published paper, I believe this is a better forum ...
2
votes
1answer
221 views

Generalizations of the Euler-Maclaurin Summation Formula

I'm using the Euler-Maclaurin formula in a research I'm working on. However brilliant is the elementary proof found here, I need and want to know more about it. Namely Generalizations to broader ...
12
votes
1answer
260 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 ...
1
vote
2answers
243 views

How can we obtain the $-\frac{4\pi}3\mu(x)$ term?

Given the expression $$K_{ik} := \frac{\partial}{\partial x_k} \int_{\mathscr X} \frac{y_i-x_i}{|y-x|^3} \mu(y) dy,$$ where $\mathscr X=\mathbb R^3$, how does one derive the expression \begin{align} ...
4
votes
1answer
65 views

Integral Expression in Complex Dynamics

Let $\phi\in \mathbb{C}(z)$ be a degree $d\geq 2$ rational map, which we can write as $\phi = \frac{f}{g}$ for $f,g\in \mathbb{C}[z]$. Let $\omega_{FS}$ denote the Fubini-Study form on $\mathbb{P}^1(\...
3
votes
0answers
79 views

The integral of $\exp(-|x-a|)$ over an even dimensional sphere

I'm after a reference for an integral. For $m$ a positive integer and $R>0$ let $S^{2m}_R\subset \mathbb{R}^{2m+1}$ denote the radius $R$ sphere of dimension $2m$. Suppose that $a$ lies inside ...
29
votes
3answers
3k views

What is the standard notation for a multiplicative integral?

If $f: [a,b] \to V$ is a (nice) function taking values in a vector space, one can define the definite integral $\int_a^b f(t)\ dt \in V$ as the limit of Riemann sums $\sum_{i=1}^n f(t_i^*) dt_i$, or ...
0
votes
0answers
78 views

Integration and Inverse Function Theorem

Apologies if this sounds too silly for advanced math people here. It's long since I moved from mathematics to medicine and this problem appears in my research. For an $f^{-1}\in C^{1}([a,b])$, ...
0
votes
0answers
33 views

Generalizing Integration by parts for general bounded continous measure

Consider a probability measure $d\mu = w(t) dt$ with $w(t)\in L^1(I)$, $I =\left[ 0,1\right]$. What are the minimal assumption I can take on two functions $f,g:I\ \to \mathbb{R}$ so that an ...
2
votes
1answer
185 views

Extension of a function from almost everywhere to everywhere

The informal general question is: let $f$ be a "sufficiently nice" function, defined "almost everywhere". Can we develop a method to uniquely extend $f$ to the "remaining" points? Example: Let $f(x)=\...
1
vote
2answers
281 views

Is the singular integral that come up in circle method independnet of the representatin of the equations?

Let $F_1(\mathbf{x}), F_2(\mathbf{x}) \in \mathbb{Z}[x_1, ..., x_n]$ be a degree $d$ homogeneous polynomial. For the system of equations $$F_1(\mathbf{x})= F_2(\mathbf{x}) =0,$$ we have the ...
3
votes
1answer
265 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) &=& c_k\...
0
votes
1answer
166 views

Formula for an integration on $\mathbb{Q} \cap [0,1]$

In order to work with functions defined on $\mathbb{Q} \cap [0,1]$ I would like to define an adapted "integration" formula on this set. I though that following definition could be interesting: $$ \...
5
votes
1answer
126 views

Showing the positivity of a singular integral that came up in circle method

Let $F(\mathbf{x}) \in \mathbb{Z}[x_1, ..., x_n]$ be a degree $d$ homogeneous form. Let $$ I(\alpha) = \int_{[0,1]^n} e^{2 \pi i F(\mathbf{x}) \alpha} dx_1...dx_n. $$ Then the singular integral is ...
1
vote
0answers
46 views

First variation on double integral [closed]

Currently I am trying to fully understand the paper of munk1921. In the derivation of the minimum induced drag theorem it is at one point stated (p.378) that in order to minimize drag the following ...
2
votes
0answers
708 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 ...
1
vote
1answer
76 views

$p$-adic Dirac measure as a weak limit

The standard Dirac delta is a generalised function (or measure, or distribution...) $\delta(x)$ which can be seen as a weak limit functions $\delta_n(x)$ spiked at the the origin, in the sense that: $...
20
votes
3answers
550 views

Evaluating an integral using real methods

This is a bit of recreational integration. The following, rather attractive integral is quite straightforward via residues: $$\int_0^1 x^{-x}(1-x)^{x-1}\sin \pi x\,\mathrm{d}x=\frac{\pi}{e}$$ ...
1
vote
0answers
21 views

Bivariate integration with the range of one variable shrinking to a point

Let $f(x,y)$ be a measurable function defined on $(\mathbb{R}^2, \mathcal{B}(\mathbb{R}^2))$. Define $C_{\epsilon} = \{y:d(y, y_0)\leq \epsilon\}$, then can we say for sure that the integration $$ \...
12
votes
3answers
417 views

Is there a closed form of $\int_0^\frac12\dfrac{\text{arcsinh}^nx}{x^m}dx$?

For naturals $n\ge m$, define $$I(n,m):=\int_0^\frac12\dfrac{\text{arcsinh}^nx}{x^m}dx$$ with $\text{arcsinh}\ x=\ln(x+\sqrt{1+x^2} )$, so $\text{arcsinh} \frac12=\ln \frac{\sqrt{5}+1}2 $. Is it ...
4
votes
1answer
266 views

Two similar integrals

Let $n$ be a given even positive integer. We have the following integral \begin{align} \int_0^{\infty}\cdots\int_0^{\infty}e^{-(x_1+\cdots+x_n+y_1+\cdots+y_n)}\prod\limits_{i=1}^n\prod\limits_{j=1}^n(...
2
votes
0answers
237 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
165 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 $\Omega_i$'...
1
vote
0answers
92 views

Integration of Bessel Function of the first kind

I have encountered a problem during my thesis study. I need to find $F(x)$ in terms of $G(y)$. My statement as follows: $$\int_{0}^\infty F(x)[x^3*B*J_0(xy)+x^4*J_1(xy)]dx=G(y)$$ where $B$ is a ...
5
votes
2answers
135 views

Integral over the Cantor's set Hausdorff dimension

As can be seen in the David Morin's Classical Mechanics, there are some scaling strategies in order to calculate the moments of inertia of certain fractals, for example, the Cantor's set has a moment ...
1
vote
0answers
52 views

Complex integration over 1-singular chain

Let $f$ be a continuous function on $\mathbb{C}$ and assume that $\lim_{z\to \infty} zf(z) = \lambda.$ Let us note for all natural $n$ $$C_n = \{z \in \mathbb{C} : |z|=n\}.$$ Then, a usual fact of ...
1
vote
0answers
63 views

A complicated integral inequality

How can we bound this integral: $${\displaystyle \int_{-1}^{1}2\left[\dfrac{1}{4}-\dfrac{1}{4\left(1-\xi^{2}\right)}\left(1-\dfrac{\xi^{2}}{2}\right)^{2}\right]\left(\hat{f}\left(\xi\right)\right)^{2}...
4
votes
1answer
132 views

When this Ad-invariant function on a Lie algebra is zero?

Let $G$ be a compact Lie group with Haar measure $dg$ and (finite-dimensional real) Lie algebra $\frak g$. Endow $\frak g$ with an $\hbox{Ad}$-invariant norm $\|\cdot\|_{\frak g}$ so that $\frak g$ ...
5
votes
1answer
614 views

Is the following integral nonzero?

Recently I met an integral as follow: $$\int_0^{2\pi}\cdots\int_0^{2\pi}\left(\prod\limits_{1\leq i<j\leq9}\sin\frac{\theta_i-\theta_j}{2}\right)\left(\prod\limits_{i=1}^9(1+\cos(\theta_i-\theta_{i+...
0
votes
0answers
62 views

Basic Monte Carlo Integral Approximation

On the very first page of a well-known book on Monte Carlo techniques, there is the following statement. Let \begin{equation} I = \int_D g(\textbf{x})d\textbf{x}, \end{equation} where $D \subset \...
4
votes
3answers
236 views

Quadrature formula max accuracy

I'm looking for a maximum accuracy quadrature formula: $$ \int_{-1} ^{1} \sqrt{\frac {1-x}{1+x}} f(x)dx = A_1f(x_1)+A_2f(x_2)+R(f) $$ I don't know exactly if it's Trapezoidal rule which has the ...
3
votes
0answers
79 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 ...
2
votes
1answer
96 views

Variance of the normal CDF [closed]

Several threads (e.g. Integration of the product of pdf & cdf of normal distribution ) have shown that $E[\Phi(x)]=\Phi(\mu/\sqrt{\sigma^2+1})$ when $x\sim N(\mu,\sigma^2)$. I'd like to compute ...
6
votes
0answers
218 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 \...
5
votes
1answer
137 views

Multidimensional integrals that diverge by oscillation

It's not hard to extend the theory of integration over ${\bf R}$ so that the integral of any compactly supported function is its usual value, while the integral of $f(t) = \cos (at+b)$ (with $a \neq 0$...
1
vote
1answer
72 views

Definite intergal with two K-Bessel functions and x

I would like to calculate the definite integral with K-Bessel funcitons and a and b complex (n and k integers): $$\int_{0}^{\infty} x \;K_{a}(nx) \; K_{b}(kx) \; dx$$ I could not find it in ...
3
votes
1answer
129 views

A linear functional on $C(K)^*$ continuous on each $L_1(\mu)$

I asked this at math.stackexchange, but nobody answered. Let $K$ be a (Hausdorff) compact topological space, ${\mathcal C}(K)$ the usual Banach space of continuous functions $x:K\to{\mathbb C}$, ${\...
7
votes
1answer
366 views

Improper integral $\int_0^1 \frac{\exp(ctx)}{\sqrt{(\exp(bt)-1)(1-\exp(atx))-(1-\exp(at))(\exp(btx)-1)}} dx$ with $-a$ and $b$ positive

Is the following function real analytic in $t>0$: $$F(t)=\int_0^1\frac{\exp(ctx)}{\sqrt{(\exp(bt)-1)(1-\exp(atx))-(1-\exp(at))(\exp(btx)-1)}} dx,$$ where $-a$ and $b$ are positive, and $c\not=a$? ...
6
votes
1answer
321 views

Does every (generalized?) Markov chain admit transition probabilities?

To pose the question let us start by recalling the following notions: Transition Probabilities. A transition probability matrix between two measurable spaces $(S,\mathcal{S})$ and $(V,\mathcal{V})$...
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 $ ...