All Questions
Tagged with pr.probability fa.functional-analysis
616 questions
0
votes
1
answer
284
views
Is there a "smooth Kantorovich-Rubinstein duality" for Wasserstein distances on smooth/Euclidean space?
Let $X$ be a compact metric space, and fix an arbitrary point $x_\ast \in X$. By the Kantorovich-Rubinstein duality theorem, the $1$-Wasserstein metric $W_1$ on the set of Borel probability measures ...
- 708
0
votes
2
answers
244
views
Spectrum of a Markov kernel acting on $L^2$
Let $P$ be a Markov kernel on a measurable space $(E,\mathcal E)$ admitting an invariant probability measure $\pi$. $P$ acts on $L^2(\pi)$ via $$Pf:=\int\kappa(\;\cdot\;{\rm d}y)f(y).$$ The invariance ...
- 167
0
votes
1
answer
100
views
Projection on a countable union of linear subspace
For any natural number $n$, $V_n$ denotes a closed linear subspace of a $L_2(m)$ space, which is an Hilbert Space, where $m$ denotes a finite measure. Moreover $(V_n)$ is increasing, that is $V_n$ is ...
- 31
0
votes
1
answer
51
views
Convergence of Gaussian measures $\{ d\mu_a \}$ whose variances depend smoothly on the index $a$
Let $f: \mathbb{R} \to \mathbb{R}$ be a smooth function such that $f(x)$ is positive in a small punctured neighborhood of $x=0$ but $f(0)=0$.
Now, define a collection of centered Gaussian measures on $...
- 3,477
0
votes
1
answer
296
views
When can a convolution be written as a change of variables?
Suppose $X$ is a random variable with a density $f(x)$ such that $f(x)$ is a convolution of some density $g$ with some other density $q$:
$$
f = g\ast q.
$$
Under what conditions does $X=h(Y)$, where $...
- 5
0
votes
1
answer
151
views
Construction of a probability measure from a sequence of probability measures
Summary
I would like to pass from a sequence of probability measures whose "limit" satisfies a desired property to a new probability measure that satisfies this property.
Details
We work on ...
user475819
0
votes
1
answer
86
views
If $\lambda_i$ is symmetric with $\lambda_i\{0\}=0$, why does $\int_B1-\cos\langle x,x'\rangle\:(λ_1-λ_2)({\rm d}x)=0$ imply $λ_1=λ_2$?
Let $E$ be a separable $\mathbb R$-Banach space and $\lambda_i$ be a finite symmetric measure on $\mathcal B(E)$ with $\lambda_i(\{0\})=0$ and $$\int_B1-\cos\langle x,x'\rangle\:\underbrace{(\lambda_1-...
- 167
0
votes
1
answer
479
views
Probabilistic interpretation of derivative of a Dirac delta function
Consider $g : \mathbb{R}^d \mapsto \mathbb{R}$ defines some surface $\Sigma$ in $\mathbb{R}^d$. Then I can define a random variable $X_1$ with support only on $\Sigma$ by using a pdf of the form $$p_1(...
- 333
0
votes
1
answer
1k
views
Bounding $L^p$ norms in terms of lower-order $L^q$ norms
Suppose $f,g\in L^q(\Omega)$ ($\Omega\subset \mathbb{R}^n$) for all $1\le q\le p$. Here, $L^p(\Omega)$ is defined with respect to some measure $\mu$ that is absolutely continuous wrt Lebesgue measure. ...
- 710
0
votes
1
answer
133
views
Product of sets with the Radon-Nikodym Property (RNP)
I have read that it is somewhat well-known that if two Banach spaces $X$ and $Y$ have the Radon-Nikodym Property (RNP), then their product $X\times Y$ also has the RNP.
Does the above result ...
- 1,245
0
votes
1
answer
622
views
Is there any way to compare between diagonals of a resolvent and a Cauchy transform?
Say $A$ is a symmetric matrix of $n$ dimensions. Then let the ``resolvent" of $A$ be the matrix valued function $R_A(z) = \frac{1}{z-A}$ and its Cauchy transform be the real valued function $C_A(z) = ...
- 617
0
votes
1
answer
375
views
About an integral equation
I would like to obtain $g$ by solving the following integral equation
$$ \int_s^T R(u) dg(u) + f(s,T)\int_s^T g(u)du =0$$
where $f,R:\mathbb R _+ ^*\rightarrow \mathbb R _+ $and $g: \mathbb R _+
...
- 123
0
votes
1
answer
195
views
Existence of bounded $n-$th derivative of the solution of differential equation
This question is the copy from mat.stackexchange.com here. I requestioned here due to the very limited responses there.
Let $\phi:\mathbb{R}\mapsto\mathbb{R}$ be the standard normal density, $$\phi(x)...
- 133
0
votes
1
answer
222
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) := \...
- 65
0
votes
1
answer
114
views
Ball in separable Banach space has positive Gaussian measure
I have (presumably non-degenerate) Gaussian $\mu$ over separable Banach space $X$. I would like to prove that for any ball of radius $r$ centered at $x$, $\mu(B_r(x))$. I know how to prove this in ...
- 379
0
votes
1
answer
65
views
Strict positive definite function gradient tuple
I have a (Gaussian) random function (aka "stochastic process" or "random field") $(f(t))_{t\in \mathbb{R}^d}$. I now want to consider the vector valued random function $g=(f, \...
- 385
0
votes
1
answer
102
views
Lower bounds for truncated moments of Gaussian measures on Hilbert space
Let $\mu_C$ be a centered Gaussian probability Borel measure on a real separable Hilbert space $\mathcal{H}$ with covariance operator $C$. Denote the ball with radius $r$ in $\mathcal{H}$ centered at ...
- 505
0
votes
2
answers
101
views
Minimal set of functions to characterize a distribution
In probability theory, there are a number of equivalent ways to characterize a distribution on $\mathbb R^n$. For example, the distribution of a random vector $X\in\mathbb R^n$ may be characterized by:...
- 109
0
votes
1
answer
327
views
Deduce that a function is zero on interval $[0,M]$
I have been thinking about this for the last few days but I was not able to produce a definitive answer.
Take an integrable function $g$ that maps in $\mathbb{R}$ and with domain contained in $[0,M]$ (...
- 141
0
votes
1
answer
307
views
Regularity properties of conditional distributions
Let $(X,Y)\in\mathbb{R}^n\times\mathbb{R}^m$ be a pair of random variables with joint density $p(x,y)$. I am interested in the regularity properties of the conditional densities $p(y|x)$ and $p(x|y)$ (...
- 23
0
votes
1
answer
248
views
Approximating arbitrary probability measures by discrete ones
Let $H$ be a separable Hilbert space and let $\mu$ be an arbitrary probability measure on $H$. I would like to approximate this distribution by by a finitely supported discrete distribution is the ...
- 2,288
0
votes
1
answer
212
views
Expressing the measure of a set in terms of the characteristic function of the measure
Let $\mu$ be a discrete, finitely supported probability measure in $\mathbb{R}^d$ and denote by $\phi$ be the characteristic function of $\mu$, i.e. $\phi(t)=\mathbb{E}e^{i<t,X>}$, where $X$ is ...
- 2,288
0
votes
1
answer
102
views
Law of a step function and its generalization to two dimensions on an appropriate spaces
Let's consider two discontinuous functions defined on $D$ and $D \times [0,T]$, respectively:
A step function: $u_1(x)=\begin{cases}
u_{L}, x<c_1, \\[2ex]
u_{R}, x>c_1,
\end{cases}$
A "...
- 657
0
votes
2
answers
210
views
Limited sum for whole sum approximation
Let $d_n, n\in\{1,2,\cdots,N\}$ be $N$ realizations drawn independent and identically from uniform distribution on $(0,L)$ where $L=\gamma\sqrt{N}$ with constant $\gamma$. Suppose that we need to ...
- 287
0
votes
1
answer
211
views
Relationship between a certain binary optimal transport and total-variation of modified distributions
Let $\mathcal X$ be a Polish space, and let $(N_x)_{x \in \mathcal X}$ be a system of closed neighborhoods in $\mathcal X$. Define $\Omega := \{(x,x') \in \mathcal X^2 \mid N_x \cap N_{x'} = \emptyset\...
- 6,853
0
votes
1
answer
365
views
Convergence of absolutely continuous probability measures
I have a sequence of absolutely continuous probability measures $\mu_{n}$ with finite second moment (ie. $\mu_{n}\in P_{ac}(\mathbb{R})\cap P_{2}(\mathbb{R})$), with densities $\rho_{n}\in L^{\infty}(\...
- 119
0
votes
1
answer
198
views
The eigenfunctions of an operator commuting with all rotations.
When reading the paper
E. Carlen, J. Geronimo & M. Loss: SIAM J. MATH. ANAL., vol. 40, no. 1, 327-374
I found an argument like the following.
Given an bounded and self-adjoint linear operator ...
- 199
0
votes
1
answer
217
views
Reproducing Kernel Hilbert Spaces with positive kernels
In my research I'm dealing with the following question.
Let $E$ set, $K:E \times E \to \mathbb R$ a positive type function, and $\mathcal H := \mathcal H(1+K)$ (in the sense of the Moore theorem). ...
- 11
0
votes
1
answer
162
views
Extracting moments from a special Z-transform
Suppose I have a sequence of positive continuous random variables $\{X_k\}_{k=1}^\infty$ with (unknown) MGF's $M_{X_k}(s)$. Furthermore, it is known that
\begin{equation}\frac{X_n-n\mu}{\sqrt{n}\sigma}...
- 41
0
votes
1
answer
666
views
A Cauchy–Schwarz Type Inequality Involving Scaled Distributions
I have stumbled upon a rather intriguing inequality involving the product of the scaled distribution and the scaled density of a random variable. The inequality has a very attractive form, and it ...
- 197
0
votes
0
answers
45
views
Functional inequalities on neighbourhood graphs
Consider an open domain $\Omega \in \mathbb{R}^d$, say the unit disk in $\mathbb{R}^2$ with $N$ points sampled i.i.d. on it. One of the simplest possible (unnormalised) discrete Laplacian of a ...
- 111
0
votes
0
answers
81
views
Measurable Extension
Let $(\Omega, \mathcal{F})$ be a measurable space and $X$ some metric space (probably Polish) with the Borel $\sigma$-algebra and a function $f: \Omega \times X \to \mathbb{R}$. Usually, functions ...
- 136
0
votes
0
answers
73
views
Criteria giving sufficient conditions for a Borel measure to have compact support
I am interested in criteria that guarantee that a Borel probability measure has compact support.
I outline two below and I am hoping to gather more as answers (if they exist).
The first sufficient ...
- 860
0
votes
0
answers
22
views
Directions of differentiability of log-concave measures with infinite-dimensional support
I recently came across the very nice review "Differentiable Measures and the Malliavin Calculus" by Bogachev (1997) which begins by discussing measures $\mu$ on locally convex spaces $X$ ...
- 651
0
votes
0
answers
73
views
Computationally efficient solution for the measure of central tendency minimizing Lp loss for p > 1
We know that the measure of central tendency that minimizes the Lp loss is $\min_c \sum_{i=1}^n |x_i - c|^p$
For $p=1$ (L1 loss), this is the median. For $p=2$ (L2 loss), this is the mean. Both of ...
- 109
0
votes
0
answers
78
views
Different measurability of Hilbert-space valued random variable
My question is motivated by this link.
Let $(\Omega,\mathcal{F})$ and $(Y,\mathcal{B})$ be measurable spaces, a measurable map $T:\Omega\to Y$ is called a $Y$-valued random variable.
Now let $H$ be a ...
- 503
0
votes
0
answers
128
views
When is the image of $T \colon \ell^2 \to \ell^2$ a Gaussian random variable?
In finite dimensions, if $T$ is a linear operator and $x$ is a (centered) Gaussian random variable, then $Tx$ is again a (centered) Gaussian random variable.
Now suppose that $x$ is a (say, centered) ...
- 420
0
votes
0
answers
118
views
A measure on the group of homeomorphisms of $\mathbb T^2$
Let us consider the group of measure-preserving homeomorphisms of $\mathbb T^2$ (with transformations identified if they agree almost
everywhere) called $G[\mathbb T^2, \mathcal L^2]$. We shall ...
- 101
0
votes
0
answers
84
views
Determining the tails of a convolution from its behavior on a compact set
Let $p$ be a smooth (say, $C^\infty$, but this is not crucial) density on the interval $I=[0,1]$ and $g_\sigma$ be the density of $N(0,\sigma^2)$. Define $f=p\ast g_\sigma$. To what extent does the ...
- 19
0
votes
1
answer
162
views
Iterated integrations by parts using the fractional Laplacian
Let $u \in C^\infty_c(\mathbb{\Omega})$ and $\varphi$ be an eigenfunction of the fractional Laplacian $(-\Delta)^s$ in $\Omega$ with eigenvalue $\lambda$. In what sense, if any, is it true that
$$\...
- 839
0
votes
0
answers
95
views
Empirical estimation of Brenier map from data
Let $f:\mathbb R^d \to \mathbb R$ be a "nice" (say, continuous) function define $A = A_f := \{x \in \mathbb R^d \mid f(x) \ge 0\}$ and $B =B_f:= \{x \in \mathbb R^d \mid f(x) \le 0\}$, and ...
- 6,853
0
votes
0
answers
46
views
Independence of variables predicted by the generator
Let $X$ be en compact metric set, and denote by $\mathcal{C}(X)$ the set of real continuous functions defined on $X$, endowed with the supremum norm $\|\cdot\|_{\infty}$. Let $\Omega$ be the generator ...
- 449
0
votes
0
answers
144
views
Optimization over the set of all bounded probability measures
Given $X$ finite, fix a continuous function $\theta \in \Delta^+ (X) \to [0,1]$, fix a probability measure $\mu^*$, and a $\varepsilon > 0$. Consider:
$$
\max_{\mu \in \Delta^+ (X)} \theta (\mu), \...
- 67
0
votes
0
answers
302
views
Convergence of characteristic functions vs. weak convergence of measures and the Ito-Nisio theorem
In section 2.6 of Linde's Probability in Banach Spaces: Stable and Infinitely Divisible Distributions the author is pointing out that in infinite-dimensional Banach spaces the convergence of ...
- 167
0
votes
0
answers
44
views
Solving nonlinear equations involving expectations
Let $X$ be a random variable and $g(x,y)$ be a function of two variables. Consider the equation
$$
\mathbb{E}_Xg(X,y) = 0
$$
Are there any specialized techniques for solving such equations (...
- 11
0
votes
0
answers
116
views
Finding a square integrable dominating function for function class
problem statement
For any $x \in R^d$, consider the function $$\phi(x,a) = \min_{1\leq j \leq k} \|x-a_j\|^2,$$
where $a = (a_1, \dots, a_k) \in R^{kd}$ and $\| \cdot \|$ is the $L_p$ norm for any $p ...
- 11
0
votes
0
answers
58
views
Bounds on $\inf_{x,x' \in \mathbb B_X}TV(P+x,Q+x')$, where $P$ and $Q$ are distributions with density on the space $X=(\mathbb R^n,\ell_p)$
Let $n \ge 1$ be an integer, $p \in [1,\infty]$, and $P$ and $Q$ be two (probability) measures on the metric space space $X=(\mathbb R^n,\ell_p)$ which have densities w.r.t the Lebesgue measure on $X$,...
- 6,853
0
votes
1
answer
80
views
A question about positive operator pregenerator [closed]
Thank you for reading.
My question was raised up when I tried to prove an example in the book of Liggett(1985), which is in P13 Example 2.3(a).
Here is a link of the page:
https://books.google.com/...
- 385
0
votes
0
answers
45
views
Skorohod Space with $J_1$ topology homeomorphic to Frechet Space
Is the Skorohod space $D([0,T];\mathbb{R}^d)$ equipped with the $J_1$ topology homoeomorphic to a separable Fr\'{e}chet space. In particular, is it homeomorphic to $L_{\mu}^1(\mathcal{B}([0,1])$ ...
- 5,405
0
votes
0
answers
90
views
criterions for polar set of Feller processes
Suppose $X_t$ is the solution to
$$
d X_t=b(X_t)dt+dL_t,\quad X_0=x.
$$
where $L$ is a rotational symmetric $\alpha-$stable process with $\alpha\in (0,1]$, $b$ is Lipchitz.
Assume $\Gamma\subseteq ...
- 515