Intereting Posts

Locally continuously differentiable implies locally Lipschitz
system of equation (3 unknown, 3 equations)
Convergence in topologies
Intermediate Text in Combinatorics?
Is every function with the intermediate value property a derivative?
$\sum_{n=1}^{50}\arctan\left(\frac{2n}{n^4-n^2+1}\right)$
Show that a given set has full measure or measure 0
The function $f(x) = \int_0^\infty \frac{x^t}{\Gamma(t+1)} \, dt$
One approach to showing the total variation of an absolutely continuous function f is the integral of |f'|
How find this $\sum\limits_{n=0}^{\infty}(-1)^{n}\left(\frac{1}{n+1}-\frac{1}{n+2}+\frac{1}{n+3}-\cdots\right)^{2}$
Link between Gram Matrix and volume of parallelpiped question – Determinant
Solving an equation with irrational exponents
Finite automaton that recognizes the empty language $\emptyset$
Existence of the absolute value of the limit implies that either $f \ $ or $\bar{f} \ $ is complex-differentiable
Can the number of numbers in two intervals over $\mathbb{R^+}$ be compared?

On the first page of Ustunel’s lecture notes, he defines the Wiener measure in the following way:

Let $W = C_0([0,1]), \omega \in W, t\in [0,1]$, define $W_t(\omega) = \omega(t)$. If we denote by $\mathcal{B}_t = \sigma\{W_s; s\leq t\}$, then there is one and only one measure $\mu$ on $W$ such that

1) $\mu \{W_0(\omega) = 0\} = 1$

- martingale and stochastic Integral
- Expected value of average of Brownian motion
- A planar Brownian motion has area zero
- Second order linear partial differential equation: $\partial_t u(t,x)+\frac12 \partial_{x,x} u(t,x)+u(t,x)v(x)=0$
- Probability Brownian Motion - dependence
- Showing that Brownian motion is bounded with non-zero probability

2) $\forall f \in C_b^{\infty}$, the stochastic process

$$(t, \omega ) \mapsto f(W_t(\omega)) – \dfrac{1}{2}\int_0^tf”(W_s(\omega))ds$$

is a $(\mathcal{B}_t, \mu)$-martingale. $\mu$ is called the Wiener measure

I am more familiar with the definition which supposes that we have already a Brownian motion $B_t$ available and then define

$$\nu\left(\{\omega: \omega_{t_1} \in A_1, \cdots, \omega_{t_n} \in A_ n\}\right) = P(B_{t_1} \in A_1, \cdots, B_{t_n} \in A_ n)$$

My question is why $\mu$ and $\nu$ are the same? Of couree if we begin with $\nu$ and use Its’s formula, we can see the two conditions defning $\mu$ are verified. But if we begin with the definition of $\mu$, how can we verify the condition defining $\nu$?

In addition, in Ustunel’s notes, he first presented his definition of Wiener measure then introduced stochastic integral. So I am wondering if there is a way to begin with the definition of $\mu$, then to show $\mu$ satisfies the condition defining $\nu$ without using stochastic integral.

Of course I will still appreciate it if you help me show $\mu \implies \nu$ using stochastic integral.

Thank you!

- Simple question about the definition of Brownian motion
- “Continuity” of stochastic integral wrt Brownian motion
- Variance of the square variation process
- Probability Brownian Motion - dependence
- Representation theorem for local martingales
- What is the conditional distribution of $B(s)\mid B(t_1)=x_1,B(t_2)=x_2$ for $0<t_1<s<t_2$?
- Ornstein-Uhlenbeck process: Markov, but not martingale?
- Why do people all the time exploiting almost sure properties of a stochastic process as if they were sure properties?
- Expected value of average of Brownian motion
- Range of a standard brownian motion, using reflection principle

For fixed $x \in \mathbb{R}$, we choose $f(x) := e^{\imath \, x \xi}$. By assumption,

$$(t,\omega) \mapsto e^{\imath \, \xi W_t(\omega)} – \frac{\xi^2}{2} \int_0^t e^{\imath \, \xi W_r(\omega)} \, dr$$

is a martingale, i.e.

$$\mathbb{E}\left( e^{\imath \, \xi W_t} + \frac{\xi^2}{2} \int_0^t e^{\imath \, \xi W_r} \, dr \mid \mathcal{B}_s \right) = e^{\imath \, \xi W_s}+ \frac{\xi^2}{2} \int_0^s e^{\imath \, \xi W_r} \, dr.$$

for any $s \leq t$. Multiplying both sides with $e^{-\imath \, \xi W_s}$ yields

$$\mathbb{E}(e^{\imath \, \xi (W_t-W_s)} \mid \mathcal{B}_s) = 1 – \frac{\xi^2}{2} \mathbb{E} \left( \int_s^t e^{\imath \, \xi (W_r-W_s)} \, dr \mid \mathcal{B}_s \right).$$

By Fubini’s theorem, we can interchange the conditional expectation and integration:

$$\mathbb{E}(e^{\imath \, \xi (W_t-W_s)} \mid \mathcal{B}_s) = 1 – \frac{\xi^2}{2}\int_s^t \mathbb{E}(e^{\imath \, \xi (W_r-W_s)} \mid \mathcal{B}_s) \, dr.$$

This shows that $\varphi(t) := \mathbb{E}(e^{\imath \, \xi (W_t-W_s)} \mid \mathcal{B}_s)$ is a solution to the ordinary differential equation (ODE) $$\varphi'(t) = – \frac{\xi^2}{2} \varphi(t) \qquad \varphi(s)=1.$$

Obviously, the (unique) solution to this ODE is $$\varphi(t) = \exp \left( – (t-s) \frac{\xi^2}{2} \right).$$ In particular, we find that

$$\mathbb{E}(e^{\imath \, \xi (W_t-W_s)} \mid \mathcal{B}_s) = \mathbb{E}e^{\imath \, \xi (W_t-W_s)} = \exp \left(- (t-s) \frac{\xi^2}{2} \right).$$

We conclude that:

- $W_t-W_s$ is Gaussian with mean $0$ and variance $t-s$.
- $\mathcal{B}_s$ is independent from $W_t-W_s$. This implies that $(W_t)_{t \geq 0}$ has independent increments. In particular, $(W_t)_{t \geq 0}$ is a Markov process. Using the Markov property, one can easily obtain the finite-dimensional distributions from the distributions of $W_t$ for each $t \geq 0$.

**Remarks:**

- The proof shows that it suffices to have the martingale property for functions $f$ of the form $f(x) = e^{\imath \, x \xi}$, $\xi \in \mathbb{R}$.
- The definition of $\mu$ is chosen such that $(W_t)_{t \geq 0}$ is the unique solution to the martingale problem $$f(X_t)- \int_0^t Af(X_s) \, ds$$ for the (Laplace) Operator $Af := \frac{1}{2} f”$. Invoking certain theorems from this area, also yields the claim (but is overshoot in this particular case).
- As @LiuGang already mentioned in a comment, Lévy’s characterization of Brownian motion can also be used to prove the claim. To this end, we have to overcome some technical issues since $f(x) := x$ and $f(x) := x^2$ are not bounded.

- All finite abelian groups of order 1024
- Prove that $x^4+x^3+x^2+x+1 \mid x^{4n}+x^{3n}+x^{2n}+x^n+1$
- Does it make sense to define $ \aleph_{\infty}=\lim\limits_{n\to\infty}\aleph_n $? Is its cardinality “infinitely infinite”?
- Series that converge to $\pi$ quickly
- Find lim:$\lim_{x\to0} \frac{\tan(\tan x) – \sin(\sin x)}{\tan x -\sin x}$
- Let $V=V_{1}⊕ ⋯ ⊕ V_{n}$ be semisimple. $U$ irreducible. Show that $\dim_{k} (Hom_A(U,V)) $ is equal to the number of $V_i$ equivalent to $U$.
- Why do we need the partial derivative $\frac {\partial F}{\partial t}$ in the definition of an envelope?
- Variant of dominated convergence theorem
- convergence of a series involving $x^\sqrt{n}$
- Why does the antipodal map on $S^2$ have degree $-1$?
- What is the expected number of trials until x successes?
- Constructing a degree 4 rational polynomial satisfying $f(\sqrt{2}+\sqrt{3}) = 0$
- Iteration matrix and convergence
- Banach Spaces: Uniform Integral vs. Riemann Integral
- The cartesian product $\mathbb{N} \times \mathbb{N}$ is countable