last updated: October 16, 2024

Stochastic Processes and Financial Mathematics
(part two)

\(\newcommand{\footnotename}{footnote}\) \(\def \LWRfootnote {1}\) \(\newcommand {\footnote }[2][\LWRfootnote ]{{}^{\mathrm {#1}}}\) \(\newcommand {\footnotemark }[1][\LWRfootnote ]{{}^{\mathrm {#1}}}\) \(\let \LWRorighspace \hspace \) \(\renewcommand {\hspace }{\ifstar \LWRorighspace \LWRorighspace }\) \(\newcommand {\mathnormal }[1]{{#1}}\) \(\newcommand \ensuremath [1]{#1}\) \(\newcommand {\LWRframebox }[2][]{\fbox {#2}} \newcommand {\framebox }[1][]{\LWRframebox } \) \(\newcommand {\setlength }[2]{}\) \(\newcommand {\addtolength }[2]{}\) \(\newcommand {\setcounter }[2]{}\) \(\newcommand {\addtocounter }[2]{}\) \(\newcommand {\arabic }[1]{}\) \(\newcommand {\number }[1]{}\) \(\newcommand {\noalign }[1]{\text {#1}\notag \\}\) \(\newcommand {\cline }[1]{}\) \(\newcommand {\directlua }[1]{\text {(directlua)}}\) \(\newcommand {\luatexdirectlua }[1]{\text {(directlua)}}\) \(\newcommand {\protect }{}\) \(\def \LWRabsorbnumber #1 {}\) \(\def \LWRabsorbquotenumber "#1 {}\) \(\newcommand {\LWRabsorboption }[1][]{}\) \(\newcommand {\LWRabsorbtwooptions }[1][]{\LWRabsorboption }\) \(\def \mathchar {\ifnextchar "\LWRabsorbquotenumber \LWRabsorbnumber }\) \(\def \mathcode #1={\mathchar }\) \(\let \delcode \mathcode \) \(\let \delimiter \mathchar \) \(\def \oe {\unicode {x0153}}\) \(\def \OE {\unicode {x0152}}\) \(\def \ae {\unicode {x00E6}}\) \(\def \AE {\unicode {x00C6}}\) \(\def \aa {\unicode {x00E5}}\) \(\def \AA {\unicode {x00C5}}\) \(\def \o {\unicode {x00F8}}\) \(\def \O {\unicode {x00D8}}\) \(\def \l {\unicode {x0142}}\) \(\def \L {\unicode {x0141}}\) \(\def \ss {\unicode {x00DF}}\) \(\def \SS {\unicode {x1E9E}}\) \(\def \dag {\unicode {x2020}}\) \(\def \ddag {\unicode {x2021}}\) \(\def \P {\unicode {x00B6}}\) \(\def \copyright {\unicode {x00A9}}\) \(\def \pounds {\unicode {x00A3}}\) \(\let \LWRref \ref \) \(\renewcommand {\ref }{\ifstar \LWRref \LWRref }\) \( \newcommand {\multicolumn }[3]{#3}\) \(\require {textcomp}\) \(\newcommand {\intertext }[1]{\text {#1}\notag \\}\) \(\let \Hat \hat \) \(\let \Check \check \) \(\let \Tilde \tilde \) \(\let \Acute \acute \) \(\let \Grave \grave \) \(\let \Dot \dot \) \(\let \Ddot \ddot \) \(\let \Breve \breve \) \(\let \Bar \bar \) \(\let \Vec \vec \) \(\DeclareMathOperator {\var }{var}\) \(\DeclareMathOperator {\cov }{cov}\) \(\DeclareMathOperator {\indeg }{deg_{in}}\) \(\DeclareMathOperator {\outdeg }{deg_{out}}\) \(\newcommand {\nN }{n \in \mathbb {N}}\) \(\newcommand {\Br }{{\cal B}(\R )}\) \(\newcommand {\F }{{\cal F}}\) \(\newcommand {\ds }{\displaystyle }\) \(\newcommand {\st }{\stackrel {d}{=}}\) \(\newcommand {\uc }{\stackrel {uc}{\rightarrow }}\) \(\newcommand {\la }{\langle }\) \(\newcommand {\ra }{\rangle }\) \(\newcommand {\li }{\liminf _{n \rightarrow \infty }}\) \(\newcommand {\ls }{\limsup _{n \rightarrow \infty }}\) \(\newcommand {\limn }{\lim _{n \rightarrow \infty }}\) \(\def \ra {\Rightarrow }\) \(\def \to {\rightarrow }\) \(\def \iff {\Leftrightarrow }\) \(\def \sw {\subseteq }\) \(\def \wt {\widetilde }\) \(\def \mc {\mathcal }\) \(\def \mb {\mathbb }\) \(\def \sc {\setminus }\) \(\def \v {\textbf }\) \(\def \p {\partial }\) \(\def \E {\mb {E}}\) \(\def \P {\mb {P}}\) \(\def \R {\mb {R}}\) \(\def \C {\mb {C}}\) \(\def \N {\mb {N}}\) \(\def \Q {\mb {Q}}\) \(\def \Z {\mb {Z}}\) \(\def \B {\mb {B}}\) \(\def \~{\sim }\) \(\def \-{\,;\,}\) \(\def \|{\,|\,}\) \(\def \qed {$\blacksquare $}\) \(\def \1{\unicode {x1D7D9}}\) \(\def \cadlag {c\`{a}dl\`{a}g}\) \(\def \p {\partial }\) \(\def \l {\left }\) \(\def \r {\right }\) \(\def \F {\mc {F}}\) \(\def \G {\mc {G}}\) \(\def \H {\mc {H}}\) \(\def \Om {\Omega }\) \(\def \om {\omega }\) \(\def \Vega {\mc {V}}\)

11.3 Brownian motion and the heat equation \(\offsyl \)

Brownian motion lies at the heart of many modern models of the physical world. Before we study Brownian motion in its own right, let us give one example of a model with close connection to Brownian motion, namely heat diffusion. Note that this section is marked with a \(\offsyl \), meaning that it is off syllabus.

Consider a long thin metal rod. If, initially, some parts of the rod are hot and some are cold, then as time passes heat will diffuse through the rod: the differences in temperature slowly average out. Suppose that the temperature of the metal in the rod at position \(x\) at time \(t\) is given by \(u(t,x)\), where \(t\in [0,\infty )\) represents time and \(x\in \R \) represents space. Suppose that, at time \(0\), the temperature at the point \(x\) is \(f(x)=u(0,x)\).

Then (as you may have seen from e.g. MAS222), it is well known that the heat equation

\begin{equation} \label {eq:heat} \frac {\p u}{\p t}=\frac 12\frac {\p ^2 u}{\p x^2} \end{equation}

with the initial condition

\begin{equation} \label {eq:heat_init} u(0,x)=f(x) \end{equation}

describes how the temperature \(u(t,x)\) changes with time, from an initial temperature of \(f(x)\) at site \(x\). This equation has a close connection to Brownian motion, which we now explore.

  • Remark 11.3.1 \(\offsyl \) In the world of PDEs, the factor \(\frac 12\) in (11.3) is not normally included, but in probability we tend to include it. The difference is just that time runs twice as fast (i.e. we substituted \(2t\) in place of \(t\)), which isn’t very important.

If we start Brownian motion from \(x\in \R \), then \(B_t\sim x+N(0,t)\sim N(x,t)\), so we can write down its probability density function

\[\phi _{t,x}(y)=\frac {1}{\sqrt {2\pi t}}\exp \l (-\frac {(y-x)^2}{2t}\r ).\]

  • Lemma 11.3.2 \(\phi _{t,x}(y)\) satisfies the heat equation (11.3).

Proof: Note that if any function \(u(t,x)\) satisfies the heat equation, so does \(u(t,x-y)\) for any value of \(y\). So, we can assume \(y=0\) and need to show that

\[\phi _{t,x}(0)=\frac {1}{\sqrt {2\pi t}}\exp \l (-\frac {x^2}{2t}\r )\]

satisfies (11.3). This is an exercise in partial differentiation. Using the chain and product rules:

\begin{align*} \frac {\p \phi }{\p t}&=\frac {\frac {-1}{2}}{\sqrt {2\pi t^3}}\exp \l (-\frac {x^2}{2t}\r )+\frac {1}{\sqrt {2\pi t}}\frac {-x^2(-1)}{2t^2}\exp \l (-\frac {x^2}{2t}\r )\\ &=\frac {1}{\sqrt {2\pi }}\l (\frac {x^2}{2t^{5/2}}-\frac {1}{2t^{3/2}}\r )\exp \l (-\frac {x^2}{2t}\r ) \end{align*} and

\begin{align*} \frac {\p \phi }{\p x} &=\frac {1}{\sqrt {2\pi t}}\frac {-2x}{2t}\exp \l (-\frac {x^2}{2t}\r )\\ &=\frac {-x}{\sqrt {2\pi t^3}}\exp \l (-\frac {x^2}{2t}\r ) \end{align*} so that

\begin{align*} \frac {\p ^2\phi }{\p x^2} &=\frac {-1}{\sqrt {2\pi t^3}}\exp \l (-\frac {x^2}{2t}\r )+\frac {-x}{\sqrt {2\pi t^3}}\frac {-2x}{2t}\exp \l (-\frac {x^2}{2t}\r )\\ &=\frac {1}{\sqrt {2\pi }}\l (\frac {x^2}{t^{5/2}}-\frac {1}{t^{3/2}}\r )\exp \l (-\frac {x^2}{2t}\r ). \end{align*} Hence, \(\frac {\p \phi }{\p t}=\frac 12\frac {\p ^2\phi }{\p x^2}\).   ∎

We can use Lemma 11.3.2 to give a physical explanation of the connection between Brownian motion and heat diffusion. We define

\begin{align} \label {eq:heat_duality} w(t,x)&=\E _x[f(B_t)] \end{align} That is, to get \(w(t,x)\), we start a particle at location \(x\), let it perform Brownian motion for time \(t\), and then take the expected value of \(f(B_t)\).

  • Lemma 11.3.3 \(w(t,x)\) satisfies the heat equation (11.3) and the initial condition (11.4).

Before we give the proof, let us discuss the physical interpretation of this result. Within our metal rod, the metal atoms have fixed positions. But atoms that are next to each other transfer heat between each other, in random directions. If we could pick on an individual ‘piece’ of heat and watch it move, it would move like a Brownian motion. Since there are lots of little pieces of heat moving around, and they are very small, when we measure temperature we only see the average effect of all the little pieces, corresponding to \(\E [\ldots ]\).

We should think of the Brownian motion in (11.5) as running in reverse time, so as it tracks (backwards in time) the path through space that a typical piece of heat has followed. Then, after running for time \(t\), it looks at the initial condition to find out how much heat there was initially that its eventual location.

Proof: We have \(B_0=x\), so

\[w(0,x)=\E _x[f(B_0)]=\E _x[f(x)]=f(x).\]

Hence the initial condition (11.4) is satisfied. We still need to check (11.3). To do so we will allow ourselves to swap \(\int \)s and partial derivatives2. We have

\begin{align*} w(t,x)&=\E _x[f(B_t)]\\ &=\int _{-\infty }^\infty f(y)\phi _{t,x}(y)\,dy \end{align*} so, by Lemma 11.3.2,

\begin{align*} \frac {\p w}{\p t} &=\frac {\p }{\p t}\int _{-\infty }^\infty f(y)\phi _{t,x}(y)\,dy\\ &=\int _{-\infty }^\infty f(y)\frac {\p }{\p t}\phi _{t,x}(y)\,dy\\ &=\int _{-\infty }^\infty f(y)\frac 12\frac {\p ^2}{\p x^2}\phi _{t,x}(y)\,dy\\ &=\frac 12\frac {\p ^2}{\p x^2}\int _{-\infty }^\infty f(y)\phi _{t,x}(y)\,dy\\ &=\frac 12\frac {\p ^2 w}{\p x^2}\\ \end{align*} as required.   ∎

There are many similar ways to connect various stochastic processes to PDEs. This kind of connection can be very useful, because it allows us to transfer knowledge about stochastic process to (and from) knowledge about PDEs. We’ll see a more sophisticated example in Section 14.1.

2 As far as this course is concerned, there is no need for you to justify interchanging \(\int \) and derivatives. In reality, though, it can (occasionally) fail and there are conditions to check. See MAS350/61022 for details.