All Questions
Tagged with stochastic-processes measure-theory
57 questions with no upvoted or accepted answers
5
votes
1
answer
774
views
Question/References on the Skorokhod M1 topology
Let $D(0,T)$ be the space of right continuous functions with left limits defined on $[0,T]$. Consider the Skorokhod M1 topology on $D(0,T)$, see e.g. S. Ledger, Skorokhod’s M1 topology for ...
user128095
5
votes
0
answers
696
views
Cadlag and adapted (usual conditions assumed) imply progressively measurable (related to Protter's Stochastic Calculus theorem 6)
Hi maybe someone on here can help me. I have been stuck on showing this fact for several months. I asked this question in the stack exchange and it has floated around for a while but to no avail.
...
- 151
5
votes
0
answers
178
views
Support of a Measure with Characteristic Functional Continuous in $L_p$, $1\leq p <2$?
Let $\mathcal{S}(\mathbb{R})$ be the space of smooth and rapidly decaying functions and $\mathcal{S}'(\mathbb{R})$ its dual, the space of tempered distributions. Let $\mathscr{P}$ be a probability ...
- 2,306
5
votes
0
answers
597
views
Skorohod theorem (weak convergence) on a discrete setting
I have a question about the application of Skorohod representation theorem. The questions arises in this paper about robust hedging in mathematical finance. It is about the very last equation on page ...
- 51
4
votes
0
answers
95
views
Approximating martingales given marginal distributions
Let $(\mu_0,\mu_1)$ be a vector of probability measures on $\mathbb R$ that are of finite first moment, i.e.
$$\int_{\mathbb{R}}|x|\mu_i(dx)~<~+\infty \mbox{ for } i=0,1$$
and increasing in ...
- 1,835
4
votes
0
answers
91
views
Importance sampling of finite path of stochastic difference equation
Before passing to question, let me briefly recap what's importance sampling of random variables is about. Suppose $\xi$ is a real-valued random variable with density $f$, and let $g:\Bbb R\to \Bbb R$ ...
- 1,655
3
votes
0
answers
145
views
What is an example of a non-tight probability measure?
Billingsley (Convergence of Probability Measures, 1968) and van der Vaart and Wellner (Weak Convergence and Empirical Processes, 2023) discuss the concept of tight probability measures and use the ...
- 277
3
votes
0
answers
164
views
Existence of a conditional distribution
Let $X$ and $Y$ be standard Borel spaces and let $J$ be an analytic subset of $X\times \mathcal P(Y)$ where $\mathcal P(\Omega)$ is a set of probability measures on a Borel space $\Omega$ endowed ...
- 1,655
2
votes
0
answers
80
views
Stability of Hölder constants of frozen Itô stochastic integrals
$
\newcommand{\RR}{\mathbb{R}}
\newcommand{\TT}{\mathbb{T}}
\newcommand{\NN}{\mathbb{N}}
\newcommand{\PP}{\mathbb{P}}
\newcommand{\EE}{\mathbb{E}}
\newcommand{\FF}{\mathbb{F}}
\newcommand{\PPP}{\...
- 835
2
votes
0
answers
66
views
Is $F: \mathbb T \times \mathbb R^d \times \Omega \to \mathbb R^d$ (constructed from Itô integral) Borel measurable in the product $\sigma$-algebra?
$
\newcommand{\RR}{\mathbb{R}}
\newcommand{\TT}{\mathbb{T}}
\newcommand{\NN}{\mathbb{N}}
\newcommand{\PP}{\mathbb{P}}
\newcommand{\EE}{\mathbb{E}}
\newcommand{\FF}{\mathbb{F}}
\newcommand{\PPP}{\...
- 835
2
votes
0
answers
155
views
Can a diffusion process admit an invariant measure with a non-differentiable density?
The precise domain of the generator $A$ of an Itō diffusion on a Hilbert space $H$ (assume $H=\mathbb R^d$, if that's easier for you to work with) can usually not be determined explicitly$^1$. Usually,...
- 167
2
votes
0
answers
81
views
Closedness of a subset of probability measures on $C([0,1])$
Suppose $\Omega:=C([0,1])$ is the space of continuous functions $\omega:[0,1]\to \mathbb R$. Let $S=(S_t)_{0\le t\le 1}$ be the coordinate process on $\Omega$, i.e.
$$S_t(\omega):=\omega(t),\quad \...
user420828
2
votes
0
answers
56
views
What is the Wiener measure of the set of curves with given Hölder constant on a Riemannian manifold?
Let $M$ be a connected Riemannian manifold and $x_0 \in M$. For $0 < \alpha < \frac 1 2$, let
$$H = \{ c : [0,1] \to M \mid c(0) = x_0 \text{ and } \exists C>0 \text { s.t. } d(c(s), c(t)) \...
- 5,407
2
votes
0
answers
77
views
Extension of probability space problem: Hilbert space valued process V.S. random field
Maybe the question should be "Understanding the measurability: Hilbert space valued process V.S. random field"
Consider the SPDE $${\rm d}u+\cdots{\rm d}t=\sigma(t,u){\rm d}W.$$
Consider the ...
2
votes
0
answers
41
views
Distribution of a multivariate continuous process determined by that of linear combination of its coordinates?
To keep the question short: Let $C([0,1], \mathbb{R}^d)$, $d \geq 2$ be the space of all $\mathbb{R}^d$-valued continuous processes. $X$ and $Y$ are two $C([0,1],\mathbb{R}^d)$-valued random variates, ...
- 223
2
votes
0
answers
225
views
Stopping time sigma-fields
Let $(F_n)$ be a discrete Filtration and $S_n,S$ (not necessarily finite) stopping times with $S_n\uparrow S$ (increasing convergence).
Is it true that the associated sigma-fields satisfy $F_{S_n}\...
- 93
2
votes
0
answers
190
views
Progressive measurability and functional composition
Suppose we have a progressively measurable process $X$ taking values in $\mathbb{R}^d$.
What are sufficient conditions on a function $$f( x, t, \omega ) \colon \mathbb{R}^d \times [0,\infty) \...
- 21
1
vote
0
answers
115
views
Concatenation of Markov processes and independence
In chapter 14 of Sharpe's General Theory of Markov Processes the concatenation of Markov processes $X^1$ and $X^2$ is described. I've posed the relevant part at the bottom of this post.
It is rather ...
- 167
1
vote
0
answers
79
views
Does weak convergence of filtrations preserve progressive measurability?
Suppose on some probability space $(\Omega, \mathcal{F}, \mathbb{P})$ I have a sequence of filtrations $\mathbb{F}^n =(\mathcal{F}^n_t)_{t \geq 0}$ generated by Brownian motions $W^n$ for each $n$, ...
- 11
1
vote
0
answers
175
views
Interpretation of the Lévy measure of an infinitely divisible random vector
We know that a random vector $X$ is infinitely divisible (ID) if for all $n \in \mathbb N$, there exist $X_1^n,..., X_{n}^n$ i.i.d. random vectors such that:
\begin{equation}
X = X_1^n + ...+ X_n^...
- 13
1
vote
0
answers
44
views
Measurability in a product space of a set defined only along its fibers
Consider the probability space $([0,1],\mathcal{B}([0,1]),\lambda)$, where $\mathcal{B}([0,1])$ denotes the Borel $\sigma$-algebra in $[0,1]$ and $\lambda$ is the Lebesgue measure in $[0,1]$. Then, ...
1
vote
0
answers
166
views
Wiener Integral and its distribution
Let $(\Omega, \mathcal{A}, \mathbb{P})$ be a probability space.
Let $(W(t))_{x \in \mathbb{R}^d}$ be a Gaussian random field.
Then, we can define Wiener integral $\int_{\mathbb{R}^d} f(\xi) \, dW(\xi)$...
- 193
1
vote
0
answers
103
views
Continuity of Wiener measure on open balls
Let $\mu$ be the Wiener measure on $C_0 [0, T]$, the space of continuous functions starting at $0$, under the sup norm.
Question: Is it true that the function $r \mapsto \mu(B_r(x))$ is continuous in $...
- 6,155
1
vote
0
answers
47
views
How do we need to argue in this step of the Itō-Lévy-Khintchine decomposition?
Let
$E$ be a $\mathbb R$-Banach space;
$(\Omega,\mathcal A,\operatorname P)$ be a probability space;
$(\mathcal F_t)_{t\ge0}$ be a filtration on $(\Omega,\mathcal A)$;
$(X_t)_{t\ge0}$ be an $E$-...
- 167
1
vote
0
answers
328
views
Preservation of variance for log-normal variables under change of measure
Aim: to show that changing a probability measure via the application of a Radon-Nikodym derivative preserves variance of a log-normally distributed random variable (for the case when variance is non-...
- 141
1
vote
0
answers
191
views
Characterization of Poisson random measure in terms of Laplace transform
Let $(E,\mathcal E)$ be a measurable space and $\mu$ be a measure on $(E,\mathcal E)$.
A random measure $\pi$ on $(E,\mathcal E)$ is called Poisson with intensity $\mu$ if
$\pi(B)\sim\operatorname{...
- 167
1
vote
0
answers
157
views
Pulling random times out of conditional expectation ("Substitution rule")
Problem
Let $G$ be a positive random variable (a random time) that is a.s. finite, $(X)_{t \geq 0}$ be a càdlàg process taking values in $\mathbb{R}^d$ and $g$ is some sufficiently nice real-valued ...
1
vote
0
answers
158
views
Translation of Dellacherie's Capacités et Processus Stochastiques
I have been studying the Strasbourg school's general theory of processes from Dellacherie and Meyer's Probabilities and Potential, and I really like it. I have heard very good reviews about another ...
- 141
1
vote
0
answers
305
views
Gaussian measures on infinite dimensional spaces
On Zabczyk & Da Prato book about infinite dimensional SDEs they introduce the idea of Gaussian measures in infinite dimensional Banach spaces. They do so by means of Fernique theorem.
In the ...
- 515
1
vote
0
answers
72
views
Local time as a measurable map from Wiener space
Let $B$ be a Brownian motion on $[0,1]$. The local time of $B$, which I will denote by $L$, is defined as the process on $\mathbb R$ such that
$$\int_0^1 F(B_t)~dt=\int_\mathbb R F(x)L(x)~dx,\qquad\...
- 891
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
1
vote
0
answers
63
views
Approximation of measured-valued function by continuous functions
For each $x\in R^d$, let $\nu(x,dz)$ be a L\'evy measure, i.e.,
$$
\int_{R^d}(|z|^2\wedge1)\nu(x,dz)<\infty.
$$
Let $\mu$ be a probability measure on $R^d$ such that
$$
\int_{R^d}\int_{R^d}(|z|^2\...
- 411
1
vote
0
answers
162
views
Does the law of a Feller process depend continuously on the initial condition?
Let $E$ be a locally compact and separable metric space, and suppose $X$ is a Feller process with transition function $P_t$. To be precise, let $C_0$ denote the space of continuous functions vanishing ...
- 11
1
vote
0
answers
1k
views
Sigma algebra of stochastic process
A stochastic process is a collection $(X_t)_{t\in T}$ of random variables from a prob. space $(\Omega,\mathcal{F},P)$ to some measurable space $(E,\mathcal{E})$. Now, in order to understand the whole ...
- 11
1
vote
0
answers
192
views
References about distances between singular probability measures
I would be interested in references on the topic of distances between probability measures that are singular with one another and not reduced to trivial ones. For example from here we know that total ...
- 1,334
1
vote
0
answers
364
views
Bounds on Wasserstein (Kantorovich) distance
Let $X$ be a Polish space endowed with a bounded metric $\rho_X$. Let $\mu, \mu'$ be two probability measures, and $\kappa, \kappa'$ be two stochastic kernels on $X$. Assume that $\kappa, \kappa'$ are ...
- 1,655
1
vote
0
answers
417
views
Defining density of a random function using Radon-Nikodym Theorem
Let $(\Omega,\mathbb{F},P)$ be a probability space and $E$ be an infinite dimensional Banach space and $\mathbb{B}$ be the $\sigma$-algebra of Borel subset of $E$.
Let $X$ be random function defined ...
- 213
0
votes
0
answers
80
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
54
views
Reference request: "doubly empirical" measure associated to a random measure
I am considering the following type of situation. Suppose we have a random probability measure, by which I mean a probability measure on a space of probability measures atop some Polish space $X$. In ...
- 660
0
votes
0
answers
161
views
Markov process with time varying transition kernels
I cross post this question from StackExchange as it may be more appropriate.
I am interested in studying the evolution of a variable $\alpha_t\in [0,1]$ governed by the following stochastic dynamical ...
0
votes
0
answers
95
views
Prove that $\forall x,y \in \mathbb{R}^d , P_x\{y\in B\mathopen]0,1]\}=0$
I'm folowing the proof of corollary 1.8 page 5 of Mörters - Sample path properties of Brownian motion.
I want to show that $$\forall x,y \in \mathbb{R}^d , P_x\{y\in B\mathopen]0,1]\}=0$$ where $B$ is ...
- 11
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
72
views
If $\kappa$ is a Markov kernel with density $p$, does it generally hold $p(x,z)=\int p(x,y)p(y,z)\:{\rm d}y$?
Let $(E,\mathcal E)$ be a measurable space and $\kappa$ be a Markov kernel on $(E,\mathcal E)$. Assume that $$\kappa(x,B)=\int_Bp(x,y)\:\lambda({\rm d}y)\;\;\;\text{for all }(x,B)\in E\times\mathcal E$...
- 167
0
votes
0
answers
42
views
If $X$ is a right-continuous process, is $t\mapsto\operatorname E\left[X_\tau\mid\tau=t\right]$ right-continuous as well?
Let
$(\Omega,\mathcal A,\operatorname P)$ be a probability space;
$(X_t)_{t\in[0,\:\infty]}$ be a real-valued process on $(\Omega,\mathcal A,\operatorname P)$;
$\tau$ be an $[0,\infty]$-valued random ...
- 167
0
votes
0
answers
86
views
A non trivial example of a Gaussian semi-Markov process?
Let $(\Omega, \mathcal A, \mathbb P)$ be a probability space and $X=(X_t)$ a real Gaussian stochastic process.
Let $\mathcal F=(\mathcal F_t)$ be the filtration generated by $(X_t)$.
$X$ is Markov ...
- 143
0
votes
0
answers
71
views
Conditions for existence of a semi-martingale representing a system of probability measures
Let $(\nu_t)_{t \in [0,1]}$ be Borel probability measures on a stochastic basis $(\Omega,\mathcal{F},(\mathcal{F}_{t \in [0,1]})_t,\mathbb{P})$.
Does there exist a semi-martingale $(X_t)_{t\in[0,1]}$ ...
- 5,405
0
votes
0
answers
150
views
Define the convolution root of probability measures on a measurable group
Let $(G,\mathcal G)$ be a measurable group and $\nu^{\ast k}$ denote the $k$th convolution power of a probability measure $\nu$ on $(G,\mathcal G)$ for $k\in\mathbb N$.
Remember that a probability ...
- 167
0
votes
0
answers
85
views
If $W$ is a Markov chain and $N$ is a Poisson process, then $\left(W_{N_t}\right)_{t\ge0}$ is Markov
Let $(\Omega,\mathcal A,\operatorname P)$ be a probability space, $(E,\mathcal E)$ be a measurable space, $(W_n)_{n\in\mathbb N_0}$ be a time-homogeneosu Markov chain on $(\Omega,\mathcal A,\...
- 167
0
votes
0
answers
53
views
Are the densities of a continuous stochastic process locally positive in time?
Let $X=(X_t)_{t\in I}$ ($I\subset\mathbb{R}$ a (non-degenerate) interval) be a stochastic process with continuous sample paths and such that $X_t$ admits a continuous Lebesgue density $\chi_t\in C(\...
- 463
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