(Markov property for geometric Brownian motion and its maximum to date). Recall the geometric Brownian motion $S(t)$ of (7.4.1) and its maximum-to-date process $Y(t)$ of (7.4.3). According to Definition 2.3.6, in order to show that the pair of processes $(S(t), Y(t))$ is Markov, we must show that whenever $0 \leq t \leq T$ and $f(x, y)$ is a function, there exists another function $g(x, y)$ such that
$$
\mathbb{E}[f(S(T), Y(T)) \mid \mathcal{F}(t)]=g(S(t), Y(t)) .
$$
Use the Independence Lemma, Lemma 2.3.4, to show that such a function $g(x, y)$ exists.
7.8 Exercises
335