All Questions
Tagged with stochastic-processes fa.functional-analysis
157 questions
4
votes
0
answers
146
views
Poisson summation formula for infinite dimensional spaces
Let $M$ be an orientable, compact smooth manifold with a metric $g$ and $H^{-1}(M)$ be the dual space of $$H^{1}(M)=\{f:\int |f|^2+(\nabla f)^2 d\mu<\infty\}$$
I know it is well known that (see ...
- 6,249
5
votes
1
answer
179
views
Critical Smoothness on Besov Spaces $B^s_{p}$: how does it evolved with $p$?
We denote by $B_{p}^s(\mathbb{T}) := B_{p,p}^s(\mathbb{T})$ the Besov space over the circle $\mathbb{T}$ with parameters $p=q \in (0, \infty]$ and smoothness $s \in \mathbb{R}$.
For $p>0$ fixed and ...
- 2,306
1
vote
1
answer
342
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
0
votes
0
answers
107
views
Norm equivalences for Gaussian random functions (Cameron-Martin space)
Preliminaries
Consider the Hilbert space $H :={L^2_{\text{per}}(\mathbb{R})}$ of Gaussian random functions, $2\pi$-periodic in $\mathbb{R}$.
These random functions are drawn from a Gaussian measure $\...
- 101
3
votes
0
answers
148
views
Markov semigroups and resolvents, difference of continuity
Let $(E,d)$ be a locally compact separable metric space. We have a Markov process $X=(\{X_t\}_{t \ge 0},\{P_x\}_{x \in E})$ on $E$. For bounded measurable function $f$ on $E$, we define
\begin{align*}
...
- 721
2
votes
0
answers
172
views
Non-integer conditional moment of exponential functional of Brownian motion
Let $B_t$ be a standard Brownian motion.
I want to solve the following:
$$
\mathbb{E}\left[\left(\int_0^1 e^{\sigma B_t}dt \right)^{1/(1-\beta) }\mid e^{\sigma B_1}=z \right],
$$
for some fixed $0<\...
- 284
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
3
votes
0
answers
90
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
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
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
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
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
0
votes
0
answers
145
views
“Chapman-Kolmogorov”-convolution vs. smoothness
Let $K:\mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}$ be a so-called "integral-kernel": we certainly require $K(x,.)$ and $K(.,y)$ to be Lebesgue measurable for almost all $x,y \in \mathbb{R}^n$. An ...
- 1,461
6
votes
1
answer
1k
views
How is Kolmogorov forward equation derived from the theory of semigroup of operators?
In Lamperti's Stochastic Processes, given
a time-homogeneous Markov process $X(t), t\geq 0$ with Markov transition kernel $p_t(x,E)$ and state space being a measurable space $(S, \mathcal{F})$,
a ...
- 2,772
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
2
votes
0
answers
116
views
Factorization of the Fokker-Planck semigroup
I have posted this question on stackexchange over four month ago, but didn't get an answer: "In the classical theory of Markov processes, the Fokker-Planck semigroup $\{T_t:t\ge 0\}$ can be factored ...
- 63.9k
3
votes
1
answer
199
views
Markov-semigroup Sobolev inequality
I have a question about the following definition:
A probability measure $\mu$, such that the Markov semigroup $e^{Lt} \in \mathcal{L}(L^2)$ exists and is symmetric, satisfies the Sobolev inequality ...
- 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
3
votes
1
answer
439
views
Strong continuity of the Ornstein-Uhlenbeck operator
It's well known that the Ornstein-Uhlenbeck semigroup defined by
$$
P_tf(x)=\int_{\mathbb{R}}f\left(xe^{-t}+\sqrt{1-e^{-2t}}z\right)\frac{e^{-z^2/2}}{\sqrt{2\pi}}\,dz
$$
is not strongly continuous on ...
- 63.9k
7
votes
1
answer
439
views
About the convergence rate for an approximation to the heat kernel
Let $G(t,x)$ be the heat kernel
$$
G(t,x)=\frac{1}{\sqrt{2\pi t}}e^{-\frac{x^2}{2t}}, \quad t>0, \:x\in\mathbb{R}.
$$
Here is one approximation to $G(t,x)$:
$$
G_\epsilon(t,x)=e^{-t/\epsilon} \...
- 63.9k
2
votes
1
answer
264
views
Bounded-pointwise continuity of Markov operators / semigroups
Let $B_b(E)$ be the space of bounded measurable functions on some Polish space $E$ endowed with the supremum norm. It seems quite classical that Markov semigroups $P_t:B_b(E)\to B_b(E)$ are in one to ...
- 63.9k
3
votes
2
answers
307
views
Random matrix is positive
This is a follow up question on my previous question here that was on solved in the deterministic setting by Denis Serre, when the perturbation can be separated. Therefore, I decided to split the ...
- 9
2
votes
0
answers
173
views
Weak convergence of $\mathcal{L}^2$ valued random variables
Consider two continuous functions $f,g: \mathbb{R}^{2} \rightarrow \mathbb{R}$ with $f(x,\cdot), g(x,\cdot) \in \mathcal{L}^2(\mathbb{R},\mathcal{B},\lambda)$ for all $x \in \mathbb{R}$ and a sequence ...
- 83
4
votes
1
answer
623
views
Relation between Gaussian processes and RKHSs with tensor product kernels
For sets $\cal X$ and $\cal Y$, let $a:{\cal X}\times{\cal X}\rightarrow \mathbb{R}$ and $a:{\cal Y}\times{\cal Y}\rightarrow \mathbb{R}$ be positive definite symmetric kernels. Define the tensor ...
0
votes
1
answer
123
views
"Geometric" Decomposition of Wiener Space
Let $C_0([0,1];\mathbb{R}^d)$ be the classical Wiener space (of continuous paths with initial value $0$) and let $\nu$ be the Wiener measure on this space. Does there exist a countable family $\left\{...
- 128k
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/...
- 16.4k
-1
votes
1
answer
122
views
Approximation of function in general measure space
Let $\mu$ be a $\sigma$-finite measure on $R^n$ ($n\geq 1$) and $(E,d)$ be a complete metric space. For any measurable function $f: R^n\to E$ with
$$
\int_{R^n}d(f(x),f(x_0))\mu(dx)<\infty,\quad \...
- 42.8k
2
votes
1
answer
336
views
Is this a "contradiction" on stochastic Burgers' equation? How to understand it?
For the stochastic Burgers' equation with linear noise, I can deduce two results. Both of them can be applied to same initial data, but the first result means the global existence with high ...
- 10.3k
1
vote
0
answers
67
views
Angle between Fleming-Viot type 3-particle system
Consider $(X^1,X^2,X^3)\in (0,\infty)^3$ with each particle starting at $1$ and moving independently according to Brownian motion until random time $\tau_1:=\min \lbrace t>0: X_{t-}^1\wedge X_{t-}^...
- 284
7
votes
2
answers
1k
views
Weighted Poincaré inequality
Consider a probability distribution $\pi$ with density $e^{-H(x)}$ on $\mathbb{R}$. Let us say that there is a Poincaré inequality with weight $w$ if for any smooth function $\phi$ satisfying $\int \...
- 3,486
2
votes
1
answer
404
views
Feynman-Kac formula for lattice heat equation with non-diagonal potential
Suppose that $X$ is the continuous-time simple symmetric random walk on the lattice $\mathbb Z^d$ (i.e., a simple symmetric random walk with i.i.d. exponential jump times), and let
$$u(t,x):=\mathbf E\...
- 6,045
0
votes
0
answers
153
views
Equivalent Definitions of Gaussian Process?
The Gaussian process $\{X_t\}_{t \in T}$ ($T=[0,1]$ for example) is usually defined using its finite-dimensional distribution. I came across this statement many times: linear operator (not necessarily ...
- 103
3
votes
0
answers
569
views
Domain of the Generator of a Bessel process
Consider the Bessel Process of index $\nu\in (-1,0)$, or dimension $\delta=2\nu-1$
\begin{align}
\rho_{t}=x+\frac{\delta-1}{2}\int_{0}^{t}\frac{1}{\rho_{s}}\,ds+W_{t}
\end{align}
where $(W_{t})_{t\geq ...
1
vote
0
answers
127
views
Gradient bound for the Markov semigroup generated by the solution to an Langevin SDE
Let
$h\in C^2(\mathbb R)$ with $$h''\ge\rho\tag1$$ for some $\rho>0$ and $$\int\underbrace{e^{-h}}_{=:\:\varrho}\:{\rm d}\lambda=1$$
$\mu$ be the measure with density $\varrho$ with respect to the ...
- 167
2
votes
1
answer
440
views
Can we extract information from signature (rough path theory) to construct part of signal?
This question is related to rough path theory. Consider we have obtained signature obtained from a set discrete data points postulating linear from one data point to another. Such signature are used ...
CommunityBot
- 1
2
votes
1
answer
69
views
Lyapunov-type function in a non locally-compact space and boundedness of the average
Set-up and question.
Let $\mathcal{X}$ be a complete separable metric space which is not locally-compact. Let $V: \mathcal{X} \to [0; +\infty]$ be a function and $(X_t)_{t\geq 0}$ a Markov process in $...
- 128k
5
votes
0
answers
242
views
Spectral gap for the Brownian motion with drift on a compact manifold
Let $M$ be a compact Riemannian manifold without boundary, $X$ a smooth vector field on $M$. Consider the Brownian motion $t\mapsto B_t$ on $M$ with drift $X$, so that its generator is $L=\Delta +X$. ...
- 3,669
2
votes
1
answer
775
views
Properties of Cameron Martin Space
In the case that I'm working with a separable Hilbert space, $H$, on which I have a trace class operator, $K$, that's coming from a Gaussian (i.e., $K$ is self-adjoint, and for simplicity, has trivial ...
- 54.2k
1
vote
0
answers
235
views
Associative law of the stochastic integral in Hilbert spaces
Let
$(\Omega,\mathcal A,\operatorname P)$ be a complete probability space
$T>0$
$I:=(0,T]$
$(\mathcal F_t)_{t\in\overline I}$ be a complete and right-continuous filtration on $(\Omega,\mathcal A)$
...
- 133
3
votes
1
answer
228
views
Are Holder Condition and signal to noise ratio (SNR) related?
This question was posted in https://math.stackexchange.com but I got hardly any view. If posting here is an objection please let me know I would delete it immediately.
This question has evolved from ...
- 188k
2
votes
1
answer
288
views
order of the singularity of a Green's function to the fractional Laplacian
I was looking at a problem which involves the Green's function of a fractional Poisson equation.
To fix notation, let $D\subset \mathbb{R}^n$ very nice, i.e. a hypercube, and
\begin{equation}
\begin{...
- 17.2k
1
vote
0
answers
134
views
Operator-valued stochastic integral and quadratic variation for operator-valued processes
Let $U$ be a separable $\mathbb R$-Hilbert space and $W$ be a $Q$-Wiener process on a complete and right-continuous filtered probability space. Let $H$ be a separable $\mathbb R$-Hilbert space and $X$ ...
- 167
3
votes
1
answer
308
views
$f: [0,1]\rightarrow L^1(\Omega)$ as a (measurable?) function from $[0,1]\times \Omega\rightarrow \mathbb{R}$
Given a map from $\big([0,1], \mathcal{B}[0,1], m\big)$ to a Banach space $(X, \|\cdot \|)$. There are strong measurable functions (they are the point wise a.e. limit of simple functions) and weak ...
- 12.9k
6
votes
1
answer
898
views
Injectivity of a Fredholm operator
While doing my study on the boundary-crossing time of a stochastic process, I happened to deal with the following question which is somehow related to Fredholm theory.
Question : Suppose $K$ is ...
- 42.8k
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
2
votes
0
answers
169
views
How can we show that a $Q$-Wiener process on a Hilbert space $U$ takes values in $Q^{1/2}U$?
Let
$(\Omega,\mathcal A,\operatorname P)$ be a complete probability space
$(\mathcal F_t)_{t\ge0}$ be a complete and right-continuous filtration on $(\Omega,\mathcal A)$
$U$ be an infinite-...
- 167
2
votes
0
answers
169
views
Stochastic Approximation in Reproducing Kernel Hilbert Space
Consider an iterative algorithm with incremental updates
\begin{align}
x_{t+1} = x_t + \alpha_t \cdot [ h(x_t) + M_{t+1}],
\end{align}
where $\{x_t \}_{t \geq 0}$ is in a reproducing kernel Hilbert ...
- 1,127
1
vote
0
answers
100
views
Convergence and boundedness in $L^\infty([0,T]\times \Omega)$ of Karhunen-Loeve expansion
Let $X:[0,T]\times\Omega\rightarrow\mathbb{R}$ be a stochastic process in $L^2([0,T]\times\Omega)$. Consider the Karhunen-Loeve expansion of $X$:
$$ X(t,\omega)=\mu_X(t)+\sum_{n=1}^\infty \sqrt{\nu_n}\...
- 141