Questions about stochastic analysis or stochastic calculus, for example the Ito integral. See https://en.wikipedia.org/wiki/Stochastic_calculus

learn more… | top users | synonyms

7
votes
0answers
128 views

Donsker's Theorem for triangular arrays

Assume we have a sequence of smooth i.i.d. random variables $(X_i)_{i=1}^{\infty}$. Given $\alpha>0$, does some sort of Donsker's Theorem hold for $\left(\frac{X_i}{n^{\alpha}}\right)_{i=1}^n$? ...
6
votes
0answers
92 views

Derivation of a stochastic Navier-Stokes equation with multiplicative noise

Most of the literature is targeting a special stochastic version of the deterministic Navier-Stokes equation without giving a derivation of the considered equation. I'm searching for such a ...
5
votes
0answers
130 views

Representation theorem for continuous process of finite variation

There is a martingale representation theorem If $M$ is a continuous $L^2$-martingale, there is a Brownian motion $B$ and a cadlag adapted function $\sigma$ such that $$ M_t = M_0 + \int_0^t ...
4
votes
0answers
66 views

Interchangeability of the malliavin derivative with a lebesgue integral

I was curious to know the most general conditions under which a malliavin derivative $\mathscr{D}_t \int^T_t F_v d\mu(v) = \int^T_t \mathscr{D}_t F_v d\mu(v)$ commutes with a lebesgue integral? I was ...
4
votes
0answers
367 views

Can infinitesimal generator be defined by the time-inhomogeneous stochastic process?

The following is the definition of infinitesimal generator from Oksendal. Let $\{X_t,t\in[0,T]\}$ be a time-homogeneous It\^o diffusion in $\mathbb{R}^d$. The $\textit{infinitesimal generator}$ ...
3
votes
0answers
69 views

stochastic exponential uniformly integrable martingale

$N$ is a continuous local martingale and $T_c:=\inf\{t>0:[N]_t>c\}$, $c>0$ . I need to show that the stochastic exponential $\mathcal{E}(-N)$ is a uniformly integrable martingale if and only ...
3
votes
0answers
44 views

Question about “Stochastic Analysis on Manifolds”

After Definition 2.3.1 Hsu says that if $M$ is a closed submanifold of $\mathbb{R}^N$ then a semimartingale $X$ on $M\subseteq\mathbb{R}^N$ should satisfy $$X_t=X_0+\int_0^tP\left(X_s\right)\circ ...
3
votes
0answers
27 views

Stochastic process is brownian motion by Levy's characterization

I would like to know if $B_t=W_t-\int_0^t \frac{W_u}{u}du$ is a brownian motion. I know that $W_t$ is a brownian motion. For that i would like to use Levy's characterization, so I have to show that ...
3
votes
0answers
27 views

Conditional expectation on Function space

This question is from a notation in section 13.4 of the book "Linear and Nonlinear Filtering for Scientists and Engineers" By N U Ahmed In this section, the author is deriving the Zakai ...
3
votes
0answers
43 views

The limit of the ratio of two stochastic integrals

I am just wondering how to calculate the limit of stochastic integrals. Here is one example: $$ \lim\limits_{N \rightarrow \infty}\dfrac{\int_{0}^{N}B(s)dB(s)}{\int_{0}^{N}B^2(s)ds}$$ where $B(s)$ is ...
3
votes
0answers
18 views

What kind of decomposition is $X_{t \wedge L}=\tilde{X}_t+\int_0^{t \wedge L} \frac{d \langle X, M^L \rangle_s}{Z^L_{s^-}}$?

In one of the papers I was reading for my masters thesis I came across a theorem with no references. Theorem: If $(X_t)$ is an $(\mathcal{F}_t)$ martingale then there exists a $(\mathcal{F}^L_t)$ ...
3
votes
0answers
31 views

Why does there exist a right continuous version of the supermartingale $\{P(L >u \vert F_u),u \geq 0)\}$

Why does there exist a right continuous version of the supermartingale $\{P(L >u \vert F_u),u \geq 0)\}$ where $L$ is a measurable random variable Its is clear that not all supermartingales have ...
3
votes
0answers
31 views

How do theorems like the optional stopping theorem generalize to Bochner integrable processes with values in a separable Banach spaces?

Let $(\Omega,\mathcal A,\operatorname P)$ be a probability space $(\mathcal F_t)_{t\ge 0}$ be a filtration on $(\Omega,\mathcal A)$ $(E,\left\|\;\cdot\;\right\|)$ be a separable Banach space ...
3
votes
0answers
22 views

Interchanging Malliavin derivative with Lebesgue integral

I am reading Oksendal's book "Malliavin calculus for Levy processes with application to finance". In the proof of Lemma 4.9 (page 47), the author interchanges the Malliavin derivative $D_t$ with the ...
3
votes
0answers
27 views

How to derive the distribution of measurement noise in discrete Kalman filter which is transformed from continuous one?

With sampling time $T$, and a continuous measuring model: $$ \begin{align} y(t) &= Cx(t)+v(t) \\ v(t) & \sim \text{N}(0,R_c) \end{align} $$ we can change it into a practical discrete one, ...
3
votes
0answers
39 views

pointwise convergence of semimartingales in probability

In a paper on stochastic finance I'm recently studying, the author defined a closure of some subspace of semimartingales by convergence in probability: $S^N_t\rightarrow S_t$ for each $t$, as ...
3
votes
0answers
75 views

What can you tell me about backward Brownian motion?

I'm trying to understand "backward Brownian motion" and how it relates to standard Brownian motion. In this paper, they construct a solution to Burgers Equation (transformed via Cole-Hopf) with ...
3
votes
0answers
57 views

Doob's inequalities for not necessarily right-continuous martingales

In Revuz and Yor, they denote $\mathbb{H}^2$ the space of $L^2$-bounded martingales, and $H^2$ the space of continuous $L^2$-bounded martingales. They state "... by Doob's inequality ... ...
3
votes
0answers
277 views

Existence and uniqueness of strong solution of stochastic differential equation.

I am currently going through the proof of the existence of a solution of the SDE \begin{align} dX_t = bdt + \sigma dB_t \end{align} where $B_t$ is a Brownian motion with respect to a filtration ...
3
votes
0answers
115 views

Why do two points never 'arrive at once' in a Poisson point process

In the following, all the measure spaces are endowed with the Borel $\sigma$-algebra corresponding to their topology (we take the usual topology on $[0,\infty)$). Let $E$ be a Polish space and let ...
3
votes
0answers
23 views

Continuity in $x$ of $E^x \int_0^{\tau} f(X_t)dt$

Suppose I have a stochastic diffusion $X$. I am studying an expression of the form $u(x):=E^x\int_0^\tau f(X_t)dt$ where $\tau$ is the exit time of $X$ from my bounded open domain $D$. I am also ...
3
votes
0answers
154 views

Example of a regular strong solution of an SDE, which doesn't satisfy a Lyapunov condition?

Let $$dX_t = a(t,X_t) \, dt + b(t, X_t) \, dW_t, \quad t \in [0,T]$$ be a stochastic differential equation, where $W$ is an $m$-dimensional Brownian motion, $X_0 = x \in \mathbb{R}^d$, and the ...
3
votes
0answers
66 views

variational inequality

Consider the following dynamics \begin{align} dX_{s} &= a(s,X_{s},Y_{s},Z_{s})ds + \sigma(s,X_{s},Y_{s},Z_{s})dW_s \\ X_{t}&=x \, (\in\mathbb{R}^{n}) \end{align} and the associated payoff ...
3
votes
0answers
558 views

Variance of a Wiener process

Problem statement: a continuous wiener process $w(t)$ with unit incremental variance and $w(0)=0$ is given, and then we check the wiener process at every $h$ seconds, $h>0$ is a positive number. If ...
2
votes
0answers
30 views

Brownian Motion with Levy's Characterization 2

Let W be a $\mathbb{R}$-valued Brownian motion. To prove that $(B_t)_{t\geq 0}$, where: $B_t:=W_t-\int_0^t\frac{W_u}{u}du$, is a Brownian Motion with respect to $\mathcal{F}^B$, I showed $[B]_t=t$ and ...
2
votes
0answers
54 views

Brownian motion with Lévy’s Characterization

I want to show that: if for all $\lambda \in \mathbb{R}$ the process $(exp(\lambda X_t-\frac{\lambda ^2}{2}t))_{t\geq0}$ is a $\mathcal{F}^X$ local martingale, then the $\mathbb{R}$-valued process X ...
2
votes
0answers
26 views

Expectation of an Exponentiated Integral of a Brownian Bridge

Given a Brownian bridge $X(t)$ where $X(0)=0$ and $X(1)$ equal to some given constant. What is $\displaystyle \mathbf E\Big[\exp\Big(\int_0^1X(t)dt\Big)\Big]$? I suppose I can always discretize the ...
2
votes
0answers
26 views

Derive an Itō formula for $f(t,X_t)$ where $X_t=X_0+tY+W_tZ$ and $f:[0,\infty)\times H\to\mathbb R$ and $H$ is a Hilbert space

Let $(U,\langle\;\cdot\;,\;\cdot\;\rangle)$ and $H$ be separable Hilbert spaces $Q\in\mathfrak L(U)$$^1$ be nonnegative and symmetric with finite trace $f:[0,\infty)\times H\to\mathbb R$ be Fréchet ...
2
votes
0answers
35 views

Why is a discounted price process a local martingale under the Risk Neutral Measure?

I'm familiar with the fact that if the stochastic process $\left( g(t) \right)_{t \in \left[0 , T \right]}$ is almost surely square integrable, i.e. $\mathbb{P}\left( \int_0^t |g(s)|^2ds < \infty ...
2
votes
0answers
18 views

bromnian motion and use of Lebesgue's differentiation theorem

Let $M$ be a Brownian motion with $M_0=0$ and $V\in L(M)$. Use Lebesgue's differentiation theorem to prove that there exists a predictable process $H\in L(M)$ such that $V\cdot M$ and $H\cdot M$ are ...
2
votes
0answers
22 views

Martingale w.r.t. the filtration $\{\mathcal{F}_{t \wedge \tau}\}$

I want to show that any martingale w.r.t. the filtration $\{\mathcal{F}_{t \wedge \tau}\}$ is also a martingale w.r.t. the filtration $\{\mathcal{F}_{t}\}$. So, suppose $(X_n)_{n \geq 0}$ is a ...
2
votes
0answers
21 views

Ito Formula for increments of Ito Processes

Let $X_{t}=X_{0}+\int_{0}^{t}a_{s}ds+\int_{0}^{t}\sigma_{s}dW_{s}$, $W_{t}$ is a standard BM. How can I apply Ito formula to $(X_{t}-X_{s})^{2}$? Should I use a multidimensional version?
2
votes
0answers
16 views

Two ways of understanding $\sigma\{Y_t, 0\leq t \leq T\}$

Given a probability space $(\Omega, \mathcal{F}, P)$ and a stochastic process $Y_t$ with continuous path, are there two ways of understanding $$ \sigma\{Y_s, 0\leq s \leq t\}?$$ First is looking at ...
2
votes
0answers
35 views

For a stopping time $T$, prove that $X^T_t = \mathbb{E}\left[X_T\mid \mathcal{F}_t\right]$

We have a sigma-algebra $\mathcal{F}=\mathcal{F}_{\infty}$, a stopping time $T$ and an integrable random variable $X$ and define a martingale by $X_t = \mathbb{E}[X \mid \mathcal{F}_t], ...
2
votes
0answers
26 views

A functional of a Lévy process

Does anyone know if there are any papers/results on functionals of the type : $$\int_0^tp(X_s)ds$$ where $X$ is a Lévy process and $p$ is a polynomial. For example, is the distribution of such an ...
2
votes
0answers
35 views

Stochastic process on compact spaces

I just heard some strange reasoning that I would like to understand with your help, let me describe the situation (unfortunately, I hesitated to ask the lecturer about it, because I apparently lacked ...
2
votes
0answers
48 views

Show that for every $p >0$, $E[\sup \limits_{t \leq L_n} |R_n(t)-t|^p]=O(n^{-p/2})$

I am trying to prove that $E[\sup \limits_{t \leq L_n} |R_n(t)-t|^p]=O(n^{-p/2})$ where $\rho(n)$ is a solution of the following Stochastic differential equation \begin{equation} \rho_n^2(t)=2 ...
2
votes
0answers
98 views

How can we desribe a particle whose motion is perturbed by a random forcing using a stochastic partial differential equation?

Let $d\in\left\{2,3\right\}$ and $\mathcal V_t$ be the bounded set occupied by a fluid at time $t\ge 0$. Let $x_0\in\mathcal V_0$ be a particle and $$[0,\infty)\to\mathbb R^d\;,\;\;\;t\mapsto ...
2
votes
0answers
67 views

Uniform integrability of process with bounded conditional expectation

Let $[0, T]$ be a finite time horizon, i.e., $T < \infty$. Consider a complete filtered probability space $(\Omega, {\cal F}, {\mathbb F}, P)$, where ${\mathbb F} = \{ {\cal F}_t \}_{t \in [0, T]}$ ...
2
votes
0answers
45 views

cumulant of infinite sum of random variables

Could you help me the following question? Let $X_i$ are identical independent random variables. Putting $Z:=\sum_{i=1}^{\infty}X_i$. Which conditions do we have ...
2
votes
0answers
26 views

Is $d \langle X,Y \rangle = \langle dX,dY \rangle$ where X,Y are continous semi-martingales

Is $d \langle X,Y \rangle = \langle dX,dY \rangle$. I think the answer is yes because $ d \langle X,Y \rangle=\langle X,Y \rangle_t- \langle X,Y \rangle_s$ and $\langle dX,dY \rangle=\langle ...
2
votes
0answers
72 views

Dual space $L^p$

Take a probability space $(\Omega,\mathscr{E},\mathbb{P}).$ Then it is known that $L^\infty \subset L^p \subset L^q \subset L^1$ for $\infty \ge p \ge q \ge 1.$ Let $l: L^p \rightarrow \mathbb{R}$ be ...
2
votes
0answers
59 views

How to calculate analytical solution to fokker planck equation in finite domain?

I am looking for the solution to the following fokker planck equation. $\frac{\partial f(x,t)}{\partial t}= (k_1 x - v)\frac{\partial f(x,t)}{\partial x} + (k_2 x + D) \frac{\partial^2 ...
2
votes
0answers
46 views

proving equivalence of strongly continuity

A semigroup $S(t)$ on a Banach space $E$ is a family of bounded linear operators $\{S(t)\}_{t\ge 0}$ with the property that $S(t)S(s)=S(t+s)$ for any $s,t\ge 0$ and that $S(0)=I$. A semigroup is ...
2
votes
0answers
14 views

Covariance of nonlinear sde

My problem is to compute the covariance of the following Ito process $$ dX_t=AX_t+\sum_{k=1}^{n}B_kX_tdW_k, $$ where $A,B_k$ are nonlinear operators defined on a complex separable Hilbert space $H$. ...
2
votes
0answers
20 views

Compute the Gibbs energy

I have a question about Gibbs distribution in Stochastic theory. In which, it defined a clique as a a subset $C$ in the whole image $\Omega$ if two different element of $C$ are neighbors. Figure 2 ...
2
votes
0answers
29 views

Stochastic Control

I would like to solve the following stochastic dynamic programming in the discrete-case and continuous case: Let the state variables have the following dynamics: \begin{align*} dS_t = \mu S_t dt + ...
2
votes
0answers
36 views

Why are functions of semimartingales again semimartingales?

I am trying to prove the Itō's lemma, and need to show that if $X$ is a semimartingale and $f$ is a $\mathcal{C}^2$-function, then $f(X_t)$ is again a semimartingale. How do I do that? I cannot see ...
2
votes
0answers
61 views

Semigroup associated to a Markov process

I'm studying the transition semigroup associated to a Markov Process, in particular the Hille-Yosida theorem and the Martingale Problem. In my notes I found : "If $\{T_t\}_t$ is a strongly continuous ...
2
votes
0answers
37 views

Proofing Analytic continuation and stationary increments of an exponential Family

In U.Küchler "Exponential Families of Stochastic Processes" 1997 Theorem 4.2.1 we have the following setup. Let $(\Omega,\mathcal{F},(\mathcal{F}_{t})_{t\geq0})$ be a filtered measurable space. Let ...