0
votes
1answer
79 views

Behavior of the integral of products of probability densities

Assume $z \in \mathbb{R}^m$ and $x \in \mathbb{R}^n$. Assume we have proper density function $P(z)$ and proper conditional density function $P(x|z)$. We give the definition $$ T(x_1,\ldots,x_n) := ...
0
votes
1answer
127 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 ...
3
votes
2answers
330 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 ...
2
votes
0answers
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 ...
1
vote
2answers
144 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} ...
0
votes
2answers
140 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
1answer
79 views

Is sequential completeness of LCS strictly stronger that Riemann integrability of curves?

$\def\RiemInt{\,\text{-}\,\lower.5mm\hbox{$^{^{\rm Riem}}$}\kern-1mm\int}$ This is essentially a reformulation of this MSE question which has not received any answers for about three weeks. To ...
1
vote
2answers
192 views

Positivity of the Coulomb energy in two dimensions

In dimensions $d\geq 3$ the Coulomb energy is always non-negative (since the Fourier transform of $\frac{1}{|\cdot|^{d-2}}$ is non-negative). What can one say about positivity properties of the ...
1
vote
1answer
148 views

Lebesgue's integrability condition in several variables

The well known Lebesgue's condition of Riemann integrability says that a bounded function in one variable $f\colon [a,b] \to \mathbb{R}$ is Riemann integrable if and only if it is continuous almost ...
1
vote
0answers
236 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 ...
0
votes
2answers
441 views

Is there a probability density function satisfying the following conditions?

I find myself in need of the solution of this problem in finding a probability density function. I had asked this question in Math Stack Exchange but I did not get an answer so I am posting it here. ...
3
votes
1answer
510 views

definition of operator valued integral with spectral measure

I am trying to make sense of some operators that come up on Buchholz and Summers' work on warped convolutions (two works on arxiv: 2008 and 2011). There, they work on a Hilbert space $H$ and on the ...
6
votes
0answers
289 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
4answers
332 views

Reference for integral of functions taking values in a topological vector space.

(Note that I am interested in the Gelfand-Pettis integral specifically, as opposed to, for example, the Bochner integral.) I have tried Googling things like "integral topological vector space", ...
8
votes
1answer
419 views

Certain compact subset of $L_1$

Let $(\Omega,\Sigma, \mu)$ be a probability measure and $X$ a Banach space. I am interested in subsets $F\subseteq L_\infty (\mu,X)$ that satisfy these two compactness conditions: $F$ is a ...
3
votes
2answers
375 views

One-sided Cauchy principal value

What is the notion of a principal value of an integral when the singularity appears at one endpoint? Namely, $ PV \int_a^b f(t) dt = ? $, where the integral is convergent in the upper limit, but ...
1
vote
2answers
432 views

High dimensional beta integral (a typo in Stein's book “singular integrals”)

Hello, When I read Stein's book of Singular Integrals, at p. 118, there is an obvious mistake: $$ \int_{R^n} |x-y|^{-n+\alpha} ...
5
votes
3answers
711 views

Can distribution theory be developed Riemann-free?

I imagine most people who frequent MO have been indoctrinated into the point of view that the Riemann integral can be safely discarded once one has taken the time to develop the Lebesgue integral. ...
2
votes
2answers
443 views

Is there a corresponding Hahn decomposition theorem for the real-valued Radon measures?

Hello, As we know that a signed measure $\mu$ on $R$ can be decomposed to the positive part $\mu_+$ and negative one $\mu_-$ by the Hahn decomposition theorem. My question is whether each ...
5
votes
3answers
927 views

Integration by parts for a general negative-definite self-adjoint operator.

I suspect I am asking a very stupid question. Suppose you have self-adjoint negative-definite operator $L$ densely defined on a space $L^2(\pi)$, with $Lf = \nabla \cdot ( A(x)\nabla f)$, for some ...
2
votes
1answer
208 views

Multiple ergodic averages with varying number of terms

Hi. I've been stuck on the following question for some time. Consider a sequence of functions $\left( f_n \right)$ from an ergodic space $\left( \mathsf{X}, \mathsf{S}, \mu \right)$ to $\left[ 0,1 ...
16
votes
3answers
2k views

Weak and Strong Integration of vector-valued functions

This is probably an elementary question, but outside my area of expertise, and I was unable to find any suitable reference: Suppose $f:X\to E$ is a continuous function from a compact spaces (endowed ...
0
votes
1answer
322 views

Linear Mapping and integration

I have been reading the paper - "Introduction to Quantum Fisher Information". In section 1.2 the author talks about the linear map $\mathbb{J}_D$, which he defines as follows: Let $D \in M_n$ be a ...
4
votes
1answer
2k views

Inverse of a function defined by an integral

Hi, I have a function defined by an integral as follows. $$ z=f(w) = \int_0^w \frac{(\zeta-a_1)^{\alpha_1}(\zeta-a_2)^{\alpha_2}...}{(\zeta-b_1)^{\beta_1}(\zeta-b_2)^{\beta_2}...}\ d\zeta $$ where $w$ ...