All Questions
Tagged with pr.probability fa.functional-analysis
616 questions
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
1
vote
1
answer
96
views
Laguerre convolution truncation error
Suppose i have extended two d-variate functions $f$ and $g$ (two densities: positives and integrate to one) supported on $\mathbb{R}_{+}^d$ into the following (tensorised) Laguerre($\alpha = 0$) ...
- 98
2
votes
0
answers
142
views
Radon-Nikodým-like theorem for Radon measures
Let $(E,d)$ be a metric space, $\mu$ be a nonnegative Radon$^1$ measure on $\mathcal B(E)$ and $\nu$ be a finite (signed) Radon measure on $\mathcal B(E)$.
I'm searching for a Radon-Nikodým-like ...
- 167
2
votes
1
answer
183
views
Does set of finitely additive probability measures embed linearly into a strictly convex dual Banach space?
I am trying to better understand a condition that appears in Theorem 1 of this paper.
Let $K$ be a convex and compact subset of a locally convex tvs. The condition is:
$K$ embeds linearly into a ...
- 1,916
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
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 ...
- 128k
4
votes
0
answers
160
views
Can we show equivalence of two distributions based on their statistics?
Let $p,q$ be two distributions on $\mathbb{R}^d$. Let $f:\mathbb{R}^d\times\mathbb{R}^d\rightarrow\mathbb{R}$. Under what conditions does $\mathbb{E}_{x\sim p}f(x,z)=\mathbb{E}_{x\sim q}f(x,z)\ \...
- 57
1
vote
1
answer
343
views
Concentration inequality for the supremum of $L_2$ norm of a vector-valued Gaussian process with iid components
Let $\Omega$ be a compact subset of $\mathbb R^p$ and let $f_1,\ldots,f_k$ be zero mean identically distrubuted Gaussian processes on $\Omega$ such that $f_1(x),\ldots,f_k(x)$ are independent $x \in \...
- 128k
1
vote
0
answers
56
views
Moduli of continuity and Wasserstein differentiability of functions between measures
Let $X=\mathbb{R}^n$; I am also interested in the general case $X$ is a metric space but for simplicity let's focus on Euclidean space. Let $\mathcal{P}(X)$ denote the space of Borel probability ...
- 11
4
votes
3
answers
251
views
A functional integral inequality
Suppose $f:I=(0,1)\to \mathbb R$ is a continuous function that satisfies
$$ \int_I f(t) e^{at}\,dt \geq 0\quad \text{for all $a \in \mathbb R$}.$$
Does it follow that $f\geq 0$ on $I$?
- 128k
4
votes
1
answer
1k
views
Functional derivative of differential entropy
I have trouble finding the derivative of the differential entropy w.r.t the probability density function, i.e. what is $\frac{\delta F[p]}{\delta p(x)}$, where $F[p] = \int_X p(x)\ln(p(x))dx$, and $p(...
- 128k
1
vote
1
answer
293
views
Does the Skorokhod space with the uniform topology admit a smooth partition of unity?
Does the Skorokhod Banach space $D[0,1]$ (cadlag functions equipped with the uniform norm) admit a smooth partition of unity? I found Johanis - Smooth partitions of unity on Banach spaces, which ...
- 3,584
3
votes
1
answer
404
views
The sign of the tail of Fourier transform of a positive function/ characteristic function
I am interested in a specific density (positive function) and would like to prove that the tail of its characteristic function (Fourier transform) is positive ($>0$). Here is the density $f(x)=c_\...
- 17.2k
3
votes
1
answer
984
views
About the metrizability of the space of Probability measures $\mathcal{P}(S)$
It is often proved in Books that the space of Probability measures $\mathcal{P}(S)$ on a Polish metric space $(S,\rho)$ endowed with the weak/narrow topology induced by declaring it to be be the ...
- 660
1
vote
2
answers
597
views
Moments of complex random variables
My question is that how much information we can get form integer moments of a complex random variable?
Let $\mathcal{Z}$ be a complex value random variable, and assume that we can compute $$\int \...
- 128k
14
votes
0
answers
718
views
Lower bounds on analytic functions connected to Fox H
The question is related to the one I asked before and never got an answer to. Fourier transform of $f_a(x)= a^{-2}\exp(-|x|^a)$, $a \in (0,2)$, is decreasing in $a$ . I need to demonstrate that the ...
- 178
2
votes
2
answers
155
views
Existence of classical solution for a parabolic equation without Hölder continuity in time for its coefficients
Consider equation
$$\partial_t u = \partial_x u + \partial_{xx} u - c u + f, \hbox{ on } (t, x) \in (0, \infty) \times \mathbb R$$
with initial condition $u(0, x) = g(x).$
Suppose that $c(t, x)$ and $...
- 1,399
1
vote
1
answer
173
views
Spectral gap of a Markov chain on the nonnegative integers
Let $\lambda_k,\mu_k\in\mathbb R_{\ge0}$ $(k\ge1)$ be nonnegative real numbers such that $\sum_{k=1}^\infty k\lambda_k<\infty,$ let $S=\mathbb Z_{\ge0}$ be the nonnegative integers, let $T=\mathbb ...
- 15.4k
2
votes
0
answers
172
views
Can Schauder's fixed point theorem apply to a metric space?
I am currently reading the existence proof of Mean Field Game equation, which is a coupled system of Hamilton-Jacobi-Bellman equation and Fokker-Planck equation, see page 42 of the paper here. The ...
- 4,713
2
votes
1
answer
122
views
How is this bound for a Wasserstein contraction coefficient in this paper obtained?
I'm trying to understand the following conclusion from this paper (see below for the relevant paragraphs):
I'm not sure whether they really mean that it follows from the statements of Lemma 3.2 (...
- 230
1
vote
0
answers
36
views
Does a total preorder on lotteries that preserves countable mixtures preserve arbitrary mixtures?
Let $X$ be a countable set. A lottery on $X$ is a function $\lambda: X \to [0,1]$ such that $\sum_x \lambda(x) = 1$. Let $\Delta X$ be the set of lotteries on $X$.
A total preorder $\preceq$ on $\...
- 869
3
votes
0
answers
91
views
How does one define the gradient of a Markov semigroup?
In the context of functional inequalities for Markov semigroups $(\mathcal P_t)_{t\ge0}$, what is one denoting by $\nabla\mathcal P_tf$? For example, I've found the following assumption in this paper:
...
- 167
5
votes
2
answers
393
views
Connections between two constructions of infinite dimensional Gaussian measures
Let me discuss two possible constructions of Gaussian measures on infinite dimensional spaces. Consider the Hilbert space $l^{2}(\mathbb{Z}^{d}) := \{\psi: \mathbb{Z}^{d}\to \mathbb{R}: \hspace{0.1cm} ...
2
votes
1
answer
205
views
Eigenspace of Gaussian Markov operator
Consider the (one-dimensional) Gaussian distribution $Q := N(\nu,\tau^2)$ and the (Gaussian) Markov operator
\begin{equation*}
\begin{array}{rccc}
R : & L_1(\mathbb{R},\mathcal{B}(\mathbb{R}),Q) &...
- 123
3
votes
0
answers
140
views
Sufficient condition for the unique solvability of Dirichlet problem of Hamilton-Jacobi equation
It shall be an old story in PDE.
I am looking for a sufficient condition of Dirichlet problem for the existence of the unique viscosity solution of the equation in the form of
$$\inf_{a \in [-1,1]} \{...
- 5,380
12
votes
1
answer
1k
views
Riesz–Markov–Kakutani representation theorem for compact non-Hausdorff spaces
Let $X$ be a compact Hausdorff topological space, and $\mathcal C^0 (X) = \{f:X\to\mathbb{R}; \ f \text{ is continuous }\}$. It is well known that for any bounded linear functional $\phi: \mathcal C^...
2
votes
0
answers
520
views
Example of a non-reflexive Banach space and two sequences
Let $(E,\mathcal {A}, \mu ) $ be a finite measure space and $X$ be a Banach space. The set of all Bochner-integrable functions from $E$ into $X$ is denoted by $\mathcal{L}_X^1$.
If $X$ is reflexive, ...
CommunityBot
- 1
6
votes
2
answers
905
views
Gaussian measure on function spaces
I'm reading this classic work and I'd like to get deeper inside some of its techniques. In particular, the authors state: "We construct a Gaussian measure $d\mu_{0}(\phi)$ on a measure space of ...
- 34.7k
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. ...
- 12.9k
3
votes
1
answer
143
views
Density of $C(X,\operatorname{co}\{\delta_y\}_{y \in Y})$ in $C(X,\mathcal{P}(Y))$
Let $X,Y$ be locally-compact Polish spaces, equip the set $\mathcal{P}(Y)$ of probability measures on $Y$ with the weak$^{\star}$ topology (topology of convergence in distribution), and equip $C(X,\...
- 128k
1
vote
0
answers
109
views
Is this a positive definite kernel?
Under which conditions on the function :
\begin{array}{l|rcl}
K : & \mathbb R^+ & \longrightarrow & (0, 1)\\
&t & \longmapsto & K(t) \end{array}
is the symmetric ...
21
votes
2
answers
2k
views
A strange variant of the Gaussian log-Sobolev inequality
Let $\phi : \mathbb{R}^d \to \mathbb{R}$ be a convex function, and assume that it grows at most linearly at infinity for simplicity. Denote by $\gamma$ the standard Gaussian measure on $\mathbb{R}^d$, ...
- 52.3k
1
vote
0
answers
114
views
Spins in classical statistical mechanics
I'm reading Kupiainen's notes on the renormalization group and also caught my attention. Actually, this is something that often causes my some confusion. On page 43, in the section about Ginzburg-...
- 63.9k
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
3
votes
0
answers
188
views
Invariant subspaces of Markov operators
I am currently working on some kind of graph theoretic problem and the following question came up:
Suppose you have a Markov operator $T$ on $\ell^\infty$, that is a positive, bounded operator such ...
- 381
2
votes
0
answers
109
views
Tightness of Hilbert-space-valued arrays
Let $\mathcal{H}$ be a separable Hilbert space. Assume we have some triangular array $W_{n,j}, j=1, \ldots ,n $ of $\mathcal{H}$-valued random elements with $\mathbb{E} \Vert W_{n,j} \Vert_{\mathcal{H}...
- 83
2
votes
0
answers
458
views
Random variable matrix exponential
I am trying to find out the distribution of a matrix exponential which is a function of a random variable. My mathematics background is very limited and I hope I can receive some help from here.
What ...
2
votes
1
answer
1k
views
Marchenko-Pastur Law under general covariance structure
Let $x_1,...,x_n\in\mathbb{R}^p$ be i.i.d. random vectors with mean 0 and covariance $\Sigma_p$. Let $S_{n,p}=\sum_{i=1}^nx_ix_i^T/n$ be the sample covariance. We consider the asymptotics of the ...
- 7,514
5
votes
1
answer
1k
views
A general formula for Gaussian integrals over matrix elements
The question I have is quite specific. So in the hope that this post might help others in the future, my problem boils down to solving the following integral:
$$I_\tau=\int \prod_{i, j=1}^{N} d J_{i ...
- 188k
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 "...
- 128k
1
vote
0
answers
169
views
A question about Stroock's notes on the Weyl lemma
On p.4 of these notes, D. Stroock gives a quick and efficient construction of the Markov transition functions of a certain diffusion. The idea of his construction (on page 4) is to 'freeze' the ...
- 1,461
26
votes
3
answers
11k
views
L1 distance between gaussian measures
L1 distance between gaussian measures: Definition
Let $P_1$ and $P_0$ be two gaussian measures on $\mathbb{R}^p$ with respective "mean,Variance" $m_1,C_1$ and $m_0,C_0$ (I assume matrices have full ...
- 6,853
2
votes
0
answers
189
views
Point wise convergence of Laplace transform and convergence of functions
Assume that functions $f_n(t), f(t)\in C_b(R_+)$. For every $\lambda >0$, we have
$$
\bigg|\int_0^\infty e^{-\lambda t}f_n(t)d t-\int_0^\infty e^{-\lambda t}f(t)d t\bigg|\leq C_\lambda n^{-1},
$$
...
- 411
9
votes
1
answer
652
views
Scaling in Mehta's integral
The following expression is known as Mehta's integral and deeply connected to random matrix theory:
$$\frac{1}{(2\pi)^{n/2}}\int_{-\infty}^{\infty} \cdots \int_{-\infty}^{\infty} \prod_{i=1}^n e^{-...
- 128k
1
vote
0
answers
83
views
Embedding random variables in infinite-dimensional spaces
Let $H$ be a reproducing kernel Hilbert space of functions $f:E\to F$ with kernel $k$. A point in $E$ may be embedded into $H$ via the canonical embedding $x\mapsto k(x,\cdot)$. Similarly, a random ...
- 710
8
votes
1
answer
1k
views
Is there a regular Dirichlet form with no associated Feller process?
I'm reading Dirichlet Forms and Symmetric Markov Processes by M. Fukushima, Y. Oshima, and M. Takeda (hereafter, [FOT]). In Chapter 7, where they discuss the construction of a Markov process ...
- 63.9k
6
votes
2
answers
742
views
Symmetric Feller processes and Dirichlet forms
Let $(G, \mathcal D)$ be a densely defined operator on $C_0$ (continuous functions vanishing at infinity on some nice topological space) whose closure $\bar G$ generates a Feller semigroup and let $X$ ...
- 63.9k
10
votes
1
answer
652
views
Extending state space to make a process Feller
Let $X$ be a locally compact Hausdorff space, and let $Y_t$ be a continuous Markov process on $X$ with transition function $P(t, x, \Gamma) := \mathbb{P}_x (Y_t \in \Gamma)$. Let $T_t$ be the ...
- 63.9k
4
votes
0
answers
322
views
Compactness of semigroups of one-dimensional diffusions
I have a question about semigroups of one-dimensional diffusions.
Let $X$ be the Ornstein-Uhlenbeck process on $\mathbb{R}$. The generator is expresses as
$$\frac{d^2}{dx^2}-x\frac{d}{dx}.$$
It is ...
- 63.9k
20
votes
2
answers
922
views
A functional inequality about log-concave functions
Let $f,g$ be smooth even log-concave functions on $\mathbb{R}^{n}$, i.e.,$f=e^{-F(x)}, g=e^{-G(x)}$ for some even convex functions $F(x),G(x)$. Is it true that:
$$
\int_{\mathbb{R}^{n}} \langle \...
- 63.9k