summaryrefslogtreecommitdiff
path: root/source/know/concept/martingale/index.md
blob: 53a346a40445831c2fbe6b862eea43b3a4adaf04 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
---
title: "Martingale"
sort_title: "Martingale"
date: 2021-10-31
categories:
- Mathematics
- Stochastic analysis
layout: "concept"
---

A **martingale** is a type of
[stochastic process](/know/concept/stochastic-process/)
with important and useful properties,
especially for stochastic calculus.

For a stochastic process $$\{ M_t : t \ge 0 \}$$
on a probability filtered space $$(\Omega, \mathcal{F}, \{ \mathcal{F}_t \}, P)$$,
then $$M_t$$ is a martingale if it satisfies all of the following:

1.  $$M_t$$ is $$\mathcal{F}_t$$-adapted, meaning
    the filtration $$\mathcal{F}_t$$ contains enough information
    to reconstruct the current and all past values of $$M_t$$.
2.  For all times $$t \ge 0$$, the expectation value exists $$\mathbf{E}(M_t) < \infty$$.
3.  For all $$s, t$$ satisfying $$0 \le s \le t$$,
    the [conditional expectation](/know/concept/conditional-expectation/)
    $$\mathbf{E}(M_t | \mathcal{F}_s) = M_s$$,
    meaning the increment $$M_t \!-\! M_s$$ is always expected
    to be zero $$\mathbf{E}(M_t \!-\! M_s | \mathcal{F}_s) = 0$$.

The last condition is called the **martingale property**,
and basically means that a martingale is an unbiased random walk.
Accordingly, the [Wiener process](/know/concept/wiener-process/) $$B_t$$
(Brownian motion) is an example of a martingale,
since each of its increments $$B_t \!-\! B_s$$ has mean $$0$$ by definition.

Martingales are easily confused with
[Markov processes](/know/concept/markov-process/),
because stochastic processes will often be both,
e.g. the Wiener process.
However, these are distinct concepts:
the martingale property says nothing about history-dependence,
and the Markov property does not say *what* the future expectation should be.

Modifying property (3) leads to two common generalizations.
The stochastic process $$M_t$$ above is a **submartingale**
if the current value is a lower bound for the expectation:

3.  For $$0 \le s \le t$$, the conditional expectation
    $$\mathbf{E}(M_t | \mathcal{F}_s) \ge M_s$$.

Analogouly, $$M_t$$ is a **supermartingale**
if the current value is an upper bound instead:

3.  For $$0 \le s \le t$$, the conditional expectation
    $$\mathbf{E}(M_t | \mathcal{F}_s) \le M_s$$.

Clearly, submartingales and supermartingales are *biased* random walks,
since they will tend to increase and decrease with time, respectively.



## References
1.  U.H. Thygesen,
    *Lecture notes on diffusions and stochastic differential equations*,
    2021, Polyteknisk Kompendie.