All Questions
Tagged with stochastic-processes real-analysis
59 questions
0
votes
1
answer
57
views
Lower bounding an alternating series with signs from a martingale difference sequence
Let $\epsilon_n \in \{-1, 1\}$ be a martingale difference sequence, in the sense that
$$M_n := \sum_{i = 0}^n \epsilon_i$$
is a martingale.
We assume $\epsilon_0 = \pm 1$ with probability $\frac{1}{2}$...
- 6,155
4
votes
1
answer
110
views
Scaling of stopped Hölder norm of Brownian motion
I'm interested in the behaviour of the stopped $\alpha$-Hölder norm of a one-dimensional real-valued Brownian motion $(B_t)_{t \geq 0}$ for $\alpha < 1/2$.
For fixed $T>0$, self similarity ...
- 153
2
votes
1
answer
179
views
Is the average of a $\alpha$-Hölder process Hölder continuous of every order less than $\alpha$?
Let $X_t$ be a stochastic process on $[0, 1]$ that is almost surely Hölder continuous of order $\alpha > 0$, and almost surely uniformly bounded by some deterministic constant. It is not hard to ...
- 6,155
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
0
votes
0
answers
73
views
Asymptotic stochastic ordering for weighted sum of i.i.d. random variables
Are you aware of any literature focusing on the conditions such that for two i.i.d. sequences of discrete r.v.'s $\{X_n\}$ and $\{Y_n\}$,
\begin{equation}
a_1X_1+a_2X_2+\ldots+a_nX_n\geq_1 a_1Y_1+...
- 19
3
votes
0
answers
86
views
Finite dimensional distribution of a stochastic process Lipschitz on every relatively compact set
Let $X_t$ be a Markovian Itô diffusion process, defined by an SDE
\begin{equation}
dX_t = \mu(X_t)\,dt + \sigma(X_t)\,dW_t\,.
\end{equation}
Let $f(x,t|x_0,0)$ denote its transition density function. ...
1
vote
0
answers
96
views
Regularity of Feynman-Kac formula for a simple diffusion
Let consider the diffusion process given by:
$$dX_t = \alpha(X_t) dW_t$$
where $\alpha(x) = \alpha_1\mathbf{1}_{x\geq 0} + \alpha_2\mathbf{1}_{x< 0}$ ($\alpha_1,\alpha_2>0$) and $W$ a Wiener ...
- 393
2
votes
0
answers
103
views
Find a function $f\geq 0$ such that $e^{-t[(x-\partial_x)\partial_x]^2} f$ is not non-negative for some $t\geq 0$
Consider the square of the Ornstein-Uhlenbeck operator $$A=[(x-\partial_x)\partial_x]^2=(x-\partial_x)\partial_x (x-\partial_x)\partial_x.$$ We know that $[(x-\partial_x)\partial_x]^2$ cannot be a ...
- 90
2
votes
1
answer
211
views
Macroscopic sets - a notion of largeness for Lebesgue null sets
Let $E$ be a measurable subset of $\mathbb R$. We say $E$ is $\alpha$-macroscopic, for $0 \leq \alpha \leq 1$, if there exists an $\alpha$-Holder continuous function $f: \mathbb R \to \mathbb R$ such ...
- 6,155
1
vote
1
answer
300
views
Convergence of concave/convex function
Let assume that you have a sequence of twice differentiable functions $(f_n)_{n\in\mathbb{N}}\in\mathscr{C}^2(\mathbb{R})^{\mathbb{N}}$. Let suppose that for each $f_n$, it exists a $x_n\in\mathbb{R}$ ...
- 393
2
votes
1
answer
294
views
Are the jumps of a càdlàg function "summable"?
This question is motivated by the question https://math.stackexchange.com/questions/4644235/ on Math Stack Exchange. First, I need to define a notion of transfinite summability that I have not seen ...
- 708
1
vote
2
answers
169
views
Asymptotic properties of weighted random walks / infinite convolutions of random variables
Let $(X_n)_{n\in\mathbb{N}}$ be a sequence of i.i.d. real-random variables. Let further $0<c<1$. I'm interested in the asymptotic properties of
$$
\sum_{k=1}^n c^k X_k.
$$
I can prove that this ...
0
votes
1
answer
51
views
Is the number of uncrossing invariant under time-change?
Let $X=(X_t:t\ge 0)$ be a stochastic process (martingale in general) starting at $X_0=0$. For $T>0$ and $a<b$, let $U^T_{a,b}(X)$ be the number of upcrossings of $X$ across the interval $[a,b]$ ...
- 1,389
1
vote
1
answer
179
views
For fixed $f \in L^2$ and $T>0$, choose $g$ so that $ \mathbb{E}^x[g(T-\tau)\chi_{X_\tau=1}]=-\mathbb{E}^x[f(X_T)\chi_{\tau \ge T}]$
Let $f \in L^2(0,1)$ and $T>0$ be fixed. How can I choose $g \in L^2(0,T)$ such that
\begin{align*}
0\equiv \mathbb{E}^x\left[f\left(X_T\right) \chi_{\tau \geqslant T}+g(T-\tau) \chi_{X_\tau=1}\...
- 19
1
vote
0
answers
182
views
Hardy's inequality proof using Doob's inequalities
Consider a probability space $([0,1],\mathcal{B}([0,1],\lambda),p>1$ and $f \in L^p(]0,\infty[).$
We want to prove Hardy's inequality using martingale theory and Doob's maximal inequalities.
Let $\...
- 573
1
vote
0
answers
75
views
Existence of solutions to $\alpha(s)=\mathbb P[Y_s>0] + \int_0^s \dot{\alpha}(t)\mathbb P[Y^{t,0}_s>0] dt$
Let $\alpha:\mathbb R_+\to\mathbb R_+$ be a "nice" function with $\alpha(0)=1$. Define the process
$$Y_t=Y_0+t+\int_0^t\frac{dW_u}{1+\alpha(u)},\quad \forall t\ge 0,$$
where $Y_0>0$ has a ...
- 1,334
2
votes
1
answer
268
views
Existence of the derivative of functionals of Brownian motion
Let $v(x, t) = \mathbb E [f(x + W_t)]$ with a Brownian motion $W$. Then, Malliavin calculus leads to the sensitivity in $x$:
$$\partial_x v(x, t) = \frac{1}{t} \mathbb E [ f(x + W_t) W_t ].$$
I am ...
- 1,399
1
vote
1
answer
166
views
Discontinuity set of the expected value of a continuous process
Let $X_t$ be a continuous real valued stochastic process on $\mathbb R_+$. Then it is not necessarily true that $E[X_t]$ is continuous in $t$.
Question:
What is known about the discontinuity set of $E[...
- 6,155
6
votes
1
answer
256
views
Perron-Frobenius and Markov chains on countable state space
The following question naturally arises in the theory of Markov chains with countable state space to which I would be curious to know the answer:
Let $A:\ell^1 \rightarrow \ell^1$ be a contraction, i....
- 173
4
votes
1
answer
216
views
Finding super(sub)-harmonic functions for an elliptic operator
I am looking for a super(sub) harmonic function for an elliptic operator.
Let $n$ be a positive integer. We denote by $(\cdot,\cdot)$ and $|\cdot|$ the standard inner product and norm on $\mathbb{R}^n$...
- 721
0
votes
1
answer
115
views
Average over spheres finite
Let $X_1,...,X_N$ be random variables that are iid with the uniform distribution over $\mathbb S^n.$
I am curious how to see that $f(X_1,..,X_N):=\left \lvert \sum_{i=1}^N X_i \right\rvert^{-1}$ has ...
- 124
0
votes
1
answer
163
views
Is the following function Lipschitz?
Given a vector $Q \in \mathbb{R}^{S\times A}$ where $S$ and $A$ are sets of finite cardinality, for $0<\gamma<1$ define the function $H_{w}:\mathbb{R}^{S\times A} \rightarrow \mathbb{R}^{S\times ...
- 53
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
1
vote
2
answers
194
views
Continuity of the densities of a stochastic process
Let $X=(X_t)_{t\in I}$ ($I\subset\mathbb{R}$ an interval) be a stochastic process with continuous sample paths and such that $X_t$ admits a continuous Lebesgue density $\chi_t\in C(\mathbb{R}^d)$ for ...
- 463
4
votes
1
answer
291
views
Variance of random variable decreasing in parameter
I did quite a few numerical computations and think the following is true, but I cannot prove it:
Let $\varphi(x):=\sum_{i=1}^n \varphi_i(x_i)$ where $x=(x_1,...,x_n) \in \mathbb{R}^n$ and $\varphi_i \...
- 536
2
votes
1
answer
112
views
Static Widom-Rowlinson model
In Elena Pulvirenti's slides she introduced a $\textbf{static Widom-Rowlinson model of one species}$. Consider $\Lambda\subset R^2$ with periodic boundary conditions, $\Lambda$ set of particle ...
- 288
4
votes
1
answer
2k
views
Kolmogorov tightness criterion for stochastic processes
I am searching for the criterion stated above and also here: The question about Kolmogorov tightness criterion.
It should state the following: If a sequence of stochastic processes $(X^n)$ fulfills:
...
- 43
0
votes
2
answers
156
views
Show that if $A_{0}(t)+A_{1}(t)W(t)=0$ for all $t$ with $A_{0}$ and $A_{1}$ differentiable in $t$ and $W(t)$ a Wiener process, then $A_{0}=A_{1}=0$
I am learning the quadratic variation of stochastic process, and I am working on an exercise stating that
If for all $t$, we have $$0=A_{0}(t)+A_{1}(t)W(t),$$ where $(A_{0}(t),\mathcal{F}_{t})$ ...
user157103
2
votes
2
answers
380
views
Convergence of fraction of expectation values
Let $X_1,...,X_n$ be iid normal random variables.
I am looking for a strategy to establish the following limit for fraction of expectation values
$$\lim_{N \rightarrow \infty} \frac{E(\prod_{1\le i ...
- 536
0
votes
1
answer
131
views
Dirichlet problem for a subharmonic function
Suppose $K$ is a compact subset of $\mathbb R^n$ , $V_0$ and $V_1$ the complements of $K$ in $\mathbb R^n$ a and $\mathbb R^n_\infty$ (one point compactification), respectively. Let $u$ be ...
- 411
4
votes
1
answer
346
views
Mehta integral and orthogonality
The Mehta integral is the following expression:
$$\frac{1}{(2\pi)^{n/2}}\int_{-\infty}^{\infty} \cdots \int_{-\infty}^{\infty} \prod_{i=1}^n e^{-t_i^2/2}
\prod_{1 \le i < j \le n} |t_i - t_j |^{2 \...
- 124
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^{-...
- 124
0
votes
0
answers
146
views
Derivatives in unusual support domains
Originally posted on Math.StackExchange, here, but I was advised to post it on MathOverflow as it is a research question. Now two final, great answers have been posted, see on Math.StackExchange.
I ...
- 3,098
1
vote
1
answer
860
views
Right continuous filtration
In optimal control theory, we often need a filtration do be right continuous. Consider a filtered probability space $(\Omega, \mathcal F, \mathbb P)$ equipped with a right continuous filtration $\...
- 553
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\{...
- 5,405
6
votes
1
answer
433
views
Triangle inequality for Ito integral?
For Lebesgue integrals one has the triangle inequality saying that for continuous functions let's say
$$\left\vert\int_0^t f(s) \ ds\right\vert \le \Vert f \Vert_{\infty} \int_0^t \ ds$$
Now if ...
- 536
3
votes
0
answers
72
views
Random Two-Player Asymmetric Game
About half a year ago I asked a question on MSE about a random two player game. At the time, the question received some attention and some progress was made, but was not resolved completely. I have ...
- 181
1
vote
0
answers
99
views
How is the dominated convergence theorem applied in the proof of Lyapunov’s criterion?
Let $$\Gamma(f,g):=\frac12f'g'\;\;\;\text{for }f,g\in C^1(\mathbb R),$$ $\mu$ be a probability measure on $(\mathbb R,\mathcal B(\mathbb R))$ with a continuously differentiable and positive density $\...
- 167
3
votes
1
answer
2k
views
When do supremum and expectation commute?
This is an alternative form of the question in When do maximum and expectation commute?
When we looking for conditions on $G(t,x(t))$ such that
$$
\sup\limits_{t\in [0,N]}E[G(t,X(t))]=E[\sup\limits_{...
- 77
2
votes
0
answers
198
views
Continuous Local Martingales under time change under what conditions are they still local martingales?
This question is motivated by reading a section in Continuous Martingales and Brownian Motion by Daniel Revuz, Marc Yor.
In Chapter V there is a section on time-change:
Definition:
A time change $C$...
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
1
vote
1
answer
632
views
Does sequence almost sure convergence imply almost sure convergence?
This is a cross-post of this and this questions from math.stackexchange.com since I have not received any response there. I would like to seek help here.
Suppose $x(t,\omega): [0,T]\times\Omega\...
- 2,239
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 ...
- 485
3
votes
1
answer
409
views
Transformations of càdlàg functions
Denote by $D[0,1]$ the space of càdlàg functions on $[0,1]$. Take a Borel set $B$ in $\mathbb R$ such that $0\notin \overline{B}$ and consider the function
$$(Tf)(t) = \sum_{s\leqslant t, f(s)-f(s-)\...
- 331
1
vote
1
answer
357
views
Does CLT hold for joint distribution of two dependent binomial variables?
Let $S_n$ and $T_m$ be two binomial variables satisfying $S_n\sim B(n,\frac12)$ and $T_m\sim B(m,\frac12)$. Define $\tilde{S}_n=\frac{2S_n-n}{\sqrt{n}}$ and define $\tilde{T}_m$ similarly. For any ...
- 111
1
vote
1
answer
175
views
Stochastic operator on $\ell^1$ has dense range
Let $P:\ell^1(\mathbb{Z}^d) \rightarrow \ell^1(\mathbb{Z}^d)$
be given by
$$(Pz)(x)=\sum_{y \tilde \ x} \frac{1}{2d} z(y)$$
where the tilde indicates that $y$ is a neighboured vertex of $x.$
I ...
- 329
3
votes
0
answers
1k
views
Concentration of Sub-exponential random Vectors
I was wondering if there is a similar definition of multivariate sub-exponential distribution as the sub-Gaussian case.
Specifically, a random vector $X \in \mathbf{R}^d$ is sub-Gaussian if
\begin{...
- 1,127
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
2
votes
0
answers
86
views
I have an embedding $\iota$ between two Hilbert spaces and want to know if $\iota\iota^\ast$ is something simple like an orthogonal projection
I'm reading A Concise Course on Stochastic Partial Differential Equations. In Proposition 2.5.2 the authors define the notion of a cylindrical $Q$-Wiener process $W$. It turns out that $W$ is just a $...
user74319
1
vote
0
answers
334
views
A problem on Markov chains and Dirichlet forms
Let $X$ be a countable set. Let $c:X\times X\to[0,+\infty)$ satisfy
$$c(x,y)=c(y,x)\text{ for all }x,y\in X,$$
$$m(x)=\sum_{y\in X}c(x,y)\in (0,+\infty)\text{ for all }x\in X,$$
$$c(x,x)=0\text{ for ...
- 369