\relax \providecommand\zref@newlabel[2]{} \providecommand\hyper@newdestlabel[2]{} \providecommand\HyField@AuxAddToFields[1]{} \providecommand\HyField@AuxAddToCoFields[2]{} \@writefile{toc}{\contentsline {section}{\numberline {1}General Probability Theory}{3}{section.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {1.1}$\sigma $-algebra}{3}{subsection.1.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~1.1.1\else \numberline {1.1.1}Definition\fi }{3}{definition.1.1.1.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~1.1.2\else \numberline {1.1.2}Definition\fi \thmtformatoptarg {$\sigma $-algebra}}{3}{definition.1.1.1.2}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~1.1.3\else \numberline {1.1.3}Definition\fi \thmtformatoptarg {$\sigma $-algebra generated by families of sets}}{3}{definition.1.1.1.3}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~1.1.1\else \numberline {1.1.1}Theorem\fi }{3}{theorem.1.1.1.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Probability Space}{3}{subsection.1.2}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~1.2.1\else \numberline {1.2.1}Definition\fi \thmtformatoptarg {measurability}}{3}{definition.1.1.2.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~1.2.2\else \numberline {1.2.2}Definition\fi \thmtformatoptarg {probability measure}}{4}{definition.1.1.2.2}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~1.2.1\else \numberline {1.2.1}Theorem\fi \thmtformatoptarg {probability measure $\mathbb {P}$ is continuous along monotone sequences of events}}{4}{theorem.1.1.2.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Random Variables}{4}{subsection.1.3}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~1.3.1\else \numberline {1.3.1}Definition\fi \thmtformatoptarg {measurability of a function}}{4}{definition.1.1.3.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~1.3.2\else \numberline {1.3.2}Definition\fi \thmtformatoptarg {random variable}}{4}{definition.1.1.3.2}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~1.3.3\else \numberline {1.3.3}Definition\fi \thmtformatoptarg {almost sure equality of two r.v.s}}{4}{definition.1.1.3.3}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~1.3.1\else \numberline {1.3.1}Theorem\fi \thmtformatoptarg {measurability of a function}}{4}{theorem.1.1.3.1}\protected@file@percent } \@writefile{loe}{\contentsline {corollary}{\ifthmt@listswap Corollary~1.3.1\else \numberline {1.3.1}Corollary\fi }{4}{corollary.1.1.3.1}\protected@file@percent } \@writefile{loe}{\contentsline {corollary}{\ifthmt@listswap Corollary~1.3.2\else \numberline {1.3.2}Corollary\fi }{5}{corollary.1.1.3.2}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~1.3.2\else \numberline {1.3.2}Theorem\fi \thmtformatoptarg {pre-image of $\sigma $-algebra on domain is also $\sigma $-algebra}}{5}{theorem.1.1.3.2}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {1.4}Expectation}{5}{subsection.1.4}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~1.4.1\else \numberline {1.4.1}Definition\fi \thmtformatoptarg {characteristic function, mgf}}{5}{definition.1.1.4.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~1.4.2\else \numberline {1.4.2}Definition\fi \thmtformatoptarg {expectation}}{5}{definition.1.1.4.2}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~1.4.3\else \numberline {1.4.3}Definition\fi \thmtformatoptarg {$L^1$}}{5}{definition.1.1.4.3}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~1.4.1\else \numberline {1.4.1}Theorem\fi }{5}{theorem.1.1.4.1}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~1.4.2\else \numberline {1.4.2}Theorem\fi \thmtformatoptarg {Jensen's inequality}}{5}{theorem.1.1.4.2}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {1.5}Conditional Expectation}{6}{subsection.1.5}\protected@file@percent } \@writefile{toc}{\contentsline {subsubsection}{\numberline {1.5.1}Conditional Expectation w.r.t.\ a Partition}{6}{subsubsection.1.5.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~1.5.1\else \numberline {1.5.1}Definition\fi \thmtformatoptarg {conditional expectation w.r.t.\ a partition}}{6}{definition.1.1.5.1}\protected@file@percent } \@writefile{loe}{\contentsline {result}{\ifthmt@listswap Result~1.5.1\else \numberline {1.5.1}Result\fi }{6}{result.1.1.5.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsubsection}{\numberline {1.5.2}General Conditional Expectation}{6}{subsubsection.1.5.2}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~1.5.2\else \numberline {1.5.2}Definition\fi \thmtformatoptarg {conditional expectation w.r.t.\ a $\sigma $-algebra}}{6}{definition.1.1.5.2}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~1.5.1\else \numberline {1.5.1}Theorem\fi \thmtformatoptarg {existence and uniqueness of conditional expectation}}{6}{theorem.1.1.5.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsubsection}{\numberline {1.5.3}Properties of Conditional Expectation}{7}{subsubsection.1.5.3}\protected@file@percent } \@writefile{loe}{\contentsline {result}{\ifthmt@listswap Result~1.5.2\else \numberline {1.5.2}Result\fi }{7}{result.1.1.5.2}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~1.5.2\else \numberline {1.5.2}Theorem\fi \thmtformatoptarg {conditional expectation}}{8}{theorem.1.1.5.2}\protected@file@percent } \@writefile{loe}{\contentsline {lemma}{\ifthmt@listswap Lemma~1.5.1\else \numberline {1.5.1}Lemma\fi \thmtformatoptarg {Doob's measurability theorem}}{8}{lemma.1.1.5.1}\protected@file@percent } \@writefile{loe}{\contentsline {remark}{\ifthmt@listswap Remark~1.5.1\else \numberline {1.5.1}Remark\fi }{8}{remark.1.1.5.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsubsection}{\numberline {1.5.4}Geometric Interpretation of Conditional Expectation}{8}{subsubsection.1.5.4}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~1.5.3\else \numberline {1.5.3}Theorem\fi }{8}{theorem.1.1.5.3}\protected@file@percent } \@writefile{loe}{\contentsline {remark}{\ifthmt@listswap Remark~1.5.2\else \numberline {1.5.2}Remark\fi }{8}{remark.1.1.5.2}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {1.6}Visual Representation of Expectation}{9}{subsection.1.6}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {2}Stochastic Processes: Preliminaries}{10}{section.2}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Stochastic Processes}{10}{subsection.2.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~2.1.1\else \numberline {2.1.1}Definition\fi \thmtformatoptarg {stochastic process}}{10}{definition.2.2.1.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~2.1.2\else \numberline {2.1.2}Definition\fi \thmtformatoptarg {filtration, $\mathcal {F}$-adapted process, natural filtration}}{10}{definition.2.2.1.2}\protected@file@percent } \@writefile{loe}{\contentsline {remark}{\ifthmt@listswap Remark~2.1.1\else \numberline {2.1.1}Remark\fi }{10}{remark.2.2.1.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~2.1.3\else \numberline {2.1.3}Definition\fi \thmtformatoptarg {``equality'' of stochastic processes}}{10}{definition.2.2.1.3}\protected@file@percent } \@writefile{loe}{\contentsline {remark}{\ifthmt@listswap Remark~2.1.2\else \numberline {2.1.2}Remark\fi }{10}{remark.2.2.1.2}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Martingales}{11}{subsection.2.2}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~2.2.1\else \numberline {2.2.1}Definition\fi \thmtformatoptarg {martingales, submartingales, supermartingales}}{11}{definition.2.2.2.1}\protected@file@percent } \@writefile{loe}{\contentsline {remark}{\ifthmt@listswap Remark~2.2.1\else \numberline {2.2.1}Remark\fi }{11}{remark.2.2.2.1}\protected@file@percent } \@writefile{loe}{\contentsline {lemma}{\ifthmt@listswap Lemma~2.2.1\else \numberline {2.2.1}Lemma\fi }{11}{lemma.2.2.2.1}\protected@file@percent } \@writefile{loe}{\contentsline {lemma}{\ifthmt@listswap Lemma~2.2.2\else \numberline {2.2.2}Lemma\fi \thmtformatoptarg {convex transform of a martingale}}{11}{lemma.2.2.2.2}\protected@file@percent } \@writefile{loe}{\contentsline {lemma}{\ifthmt@listswap Lemma~2.2.3\else \numberline {2.2.3}Lemma\fi \thmtformatoptarg {conditional expectation process is a martingale}}{11}{lemma.2.2.2.3}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Local Martingales}{12}{subsection.2.3}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~2.3.1\else \numberline {2.3.1}Definition\fi \thmtformatoptarg {local martingales}}{12}{definition.2.2.3.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Doob Decomposition Theorem}{12}{subsection.2.4}\protected@file@percent } \@writefile{toc}{\contentsline {subsubsection}{\numberline {2.4.1}Discrete Time: Doob Decomposition}{12}{subsubsection.2.4.1}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~2.4.1\else \numberline {2.4.1}Theorem\fi \thmtformatoptarg {Doob decomposition theorem}}{12}{theorem.2.2.4.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsubsection}{\numberline {2.4.2}Continuous Time: Doob--Meyer Decomposition}{13}{subsubsection.2.4.2}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~2.4.2\else \numberline {2.4.2}Theorem\fi \thmtformatoptarg {Doob--Meyer decomposition theorem}}{13}{theorem.2.2.4.2}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {2.5}Stopping Times}{13}{subsection.2.5}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~2.5.1\else \numberline {2.5.1}Definition\fi \thmtformatoptarg {stopping time}}{13}{definition.2.2.5.1}\protected@file@percent } \@writefile{loe}{\contentsline {lemma}{\ifthmt@listswap Lemma~2.5.1\else \numberline {2.5.1}Lemma\fi \thmtformatoptarg {stopped processes in discrete time, p.26}}{13}{lemma.2.2.5.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~2.5.2\else \numberline {2.5.2}Definition\fi }{13}{definition.2.2.5.2}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~2.5.1\else \numberline {2.5.1}Theorem\fi \thmtformatoptarg {Doob's optional sampling theorem}}{13}{theorem.2.2.5.1}\protected@file@percent } \@writefile{loe}{\contentsline {lemma}{\ifthmt@listswap Lemma~2.5.2\else \numberline {2.5.2}Lemma\fi \thmtformatoptarg {a discrete time result}}{13}{lemma.2.2.5.2}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {3}Brownian Motion}{14}{section.3}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Brownian Motion}{14}{subsection.3.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~3.1.1\else \numberline {3.1.1}Definition\fi \thmtformatoptarg {standard Brownian motion}}{14}{definition.3.3.1.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~3.1.2\else \numberline {3.1.2}Definition\fi \thmtformatoptarg {Gaussian process}}{14}{definition.3.3.1.2}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Properties of Brownian Motion}{14}{subsection.3.2}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~3.2.1\else \numberline {3.2.1}Theorem\fi \thmtformatoptarg {properties of Brownian motion}}{14}{theorem.3.3.2.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Quadratic Variation}{15}{subsection.3.3}\protected@file@percent } \@writefile{toc}{\contentsline {subsubsection}{\numberline {3.3.1}Total Variation}{15}{subsubsection.3.3.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~3.3.1\else \numberline {3.3.1}Definition\fi \thmtformatoptarg {total variation, aka first-order variation}}{15}{definition.3.3.3.1}\protected@file@percent } \@writefile{loe}{\contentsline {lemma}{\ifthmt@listswap Lemma~3.3.1\else \numberline {3.3.1}Lemma\fi }{15}{lemma.3.3.3.1}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~3.3.1\else \numberline {3.3.1}Theorem\fi \thmtformatoptarg {Jordan's decomposition and related results}}{15}{theorem.3.3.3.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsubsection}{\numberline {3.3.2}Quadratic Variation}{16}{subsubsection.3.3.2}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~3.3.2\else \numberline {3.3.2}Definition\fi \thmtformatoptarg {quadratic variation}}{16}{definition.3.3.3.2}\protected@file@percent } \@writefile{loe}{\contentsline {lemma}{\ifthmt@listswap Lemma~3.3.2\else \numberline {3.3.2}Lemma\fi }{16}{lemma.3.3.3.2}\protected@file@percent } \@writefile{loe}{\contentsline {lemma}{\ifthmt@listswap Lemma~3.3.3\else \numberline {3.3.3}Lemma\fi \thmtformatoptarg {finite variation $\Rightarrow $ zero quadratic variation}}{16}{lemma.3.3.3.3}\protected@file@percent } \@writefile{loe}{\contentsline {corollary}{\ifthmt@listswap Corollary~3.3.1\else \numberline {3.3.1}Corollary\fi }{16}{corollary.3.3.3.1}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~3.3.2\else \numberline {3.3.2}Theorem\fi }{16}{theorem.3.3.3.2}\protected@file@percent } \@writefile{loe}{\contentsline {lemma}{\ifthmt@listswap Lemma~3.3.4\else \numberline {3.3.4}Lemma\fi }{17}{lemma.3.3.3.4}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~3.3.3\else \numberline {3.3.3}Theorem\fi \thmtformatoptarg {alternative definition of quadratic variation for martingales}}{17}{theorem.3.3.3.3}\protected@file@percent } \@writefile{loe}{\contentsline {remark}{\ifthmt@listswap Remark~3.3.1\else \numberline {3.3.1}Remark\fi }{17}{remark.3.3.3.1}\protected@file@percent } \@writefile{loe}{\contentsline {corollary}{\ifthmt@listswap Corollary~3.3.2\else \numberline {3.3.2}Corollary\fi }{17}{corollary.3.3.3.2}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Reflection Principle}{17}{subsection.3.4}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~3.4.1\else \numberline {3.4.1}Theorem\fi }{17}{theorem.3.3.4.1}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {4}Ito's Integral}{19}{section.4}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Ito's Integral for Processes from $L^2_\mathbb {P}(W)$}{19}{subsection.4.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~4.1.1\else \numberline {4.1.1}Definition\fi }{19}{definition.4.4.1.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~4.1.2\else \numberline {4.1.2}Definition\fi \thmtformatoptarg {Ito's integral for general integrands}}{19}{definition.4.4.1.2}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~4.1.1\else \numberline {4.1.1}Theorem\fi \thmtformatoptarg {properties of Ito's integrals}}{19}{theorem.4.4.1.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Ito's Integral for Processes from $L_\mathbb {P}(W)$}{20}{subsection.4.2}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~4.2.1\else \numberline {4.2.1}Definition\fi }{20}{definition.4.4.2.1}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~4.2.1\else \numberline {4.2.1}Theorem\fi }{20}{theorem.4.4.2.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Ito's Lemma in 1D}{20}{subsection.4.3}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~4.3.1\else \numberline {4.3.1}Definition\fi \thmtformatoptarg {Ito process}}{20}{definition.4.4.3.1}\protected@file@percent } \@writefile{loe}{\contentsline {lemma}{\ifthmt@listswap Lemma~4.3.1\else \numberline {4.3.1}Lemma\fi \thmtformatoptarg {quadratic variation of Ito processes}}{21}{lemma.4.4.3.1}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~4.3.1\else \numberline {4.3.1}Theorem\fi \thmtformatoptarg {Ito's Lemma, 1D}}{21}{theorem.4.4.3.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Ito's Lemma in Multidimensional Space}{22}{subsection.4.4}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~4.4.1\else \numberline {4.4.1}Definition\fi \thmtformatoptarg {Ito's integral, multidimensional}}{22}{definition.4.4.4.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~4.4.2\else \numberline {4.4.2}Definition\fi \thmtformatoptarg {Ito process, multidimensional}}{22}{definition.4.4.4.2}\protected@file@percent } \@writefile{loe}{\contentsline {lemma}{\ifthmt@listswap Lemma~4.4.1\else \numberline {4.4.1}Lemma\fi \thmtformatoptarg {quadratic variation of $k$-dimensional Ito processes}}{23}{lemma.4.4.4.1}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~4.4.1\else \numberline {4.4.1}Theorem\fi \thmtformatoptarg {Ito's Lemma, multidimensional}}{23}{theorem.4.4.4.1}\protected@file@percent } \@writefile{loe}{\contentsline {corollary}{\ifthmt@listswap Corollary~4.4.1\else \numberline {4.4.1}Corollary\fi \thmtformatoptarg {integration by parts formula}}{23}{corollary.4.4.4.1}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {5}Semimartingales}{25}{section.5}\protected@file@percent } \@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces The family of martingales. An arrow from $A$ to $B$ indicates that $A$ is subclass of $B$.}}{25}{figure.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Local Martingales}{25}{subsection.5.1}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~5.1.1\else \numberline {5.1.1}Theorem\fi \thmtformatoptarg {local martingales}}{25}{theorem.5.5.1.1}\protected@file@percent } \@writefile{loe}{\contentsline {remark}{\ifthmt@listswap Remark~5.1.1\else \numberline {5.1.1}Remark\fi }{25}{remark.5.5.1.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Semimartingales}{26}{subsection.5.2}\protected@file@percent } \@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.1}Properties of Semimartingales}{26}{subsubsection.5.2.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~5.2.1\else \numberline {5.2.1}Definition\fi \thmtformatoptarg {continuous semimartingale}}{26}{definition.5.5.2.1}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~5.2.1\else \numberline {5.2.1}Theorem\fi \thmtformatoptarg {uniqueness of semimartingale decomposition}}{26}{theorem.5.5.2.1}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~5.2.2\else \numberline {5.2.2}Theorem\fi \thmtformatoptarg {quadratic variation of semimartingales}}{27}{theorem.5.5.2.2}\protected@file@percent } \@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.2}It\^o's Lemma for Continuous Semimartingales}{27}{subsubsection.5.2.2}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~5.2.3\else \numberline {5.2.3}Theorem\fi \thmtformatoptarg {It\^o's Lemma}}{27}{theorem.5.5.2.3}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Recognising a Brownian Motion}{27}{subsection.5.3}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~5.3.1\else \numberline {5.3.1}Theorem\fi \thmtformatoptarg {L\'evy, 1D}}{27}{theorem.5.5.3.1}\protected@file@percent } \@writefile{loe}{\contentsline {lemma}{\ifthmt@listswap Lemma~5.3.1\else \numberline {5.3.1}Lemma\fi }{28}{lemma.5.5.3.1}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~5.3.2\else \numberline {5.3.2}Theorem\fi \thmtformatoptarg {an oversimplified version of Dubins--Schwarz theorem}}{28}{theorem.5.5.3.2}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {5.4}Martingale Representation Theorem (for the Brownian Filtration)}{28}{subsection.5.4}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~5.4.1\else \numberline {5.4.1}Theorem\fi \thmtformatoptarg {It\^o representation theorem}}{28}{theorem.5.5.4.1}\protected@file@percent } \@writefile{loe}{\contentsline {remark}{\ifthmt@listswap Remark~5.4.1\else \numberline {5.4.1}Remark\fi }{29}{remark.5.5.4.1}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~5.4.2\else \numberline {5.4.2}Theorem\fi \thmtformatoptarg {martingale representation theorem}}{29}{theorem.5.5.4.2}\protected@file@percent } \@writefile{loe}{\contentsline {remark}{\ifthmt@listswap Remark~5.4.2\else \numberline {5.4.2}Remark\fi }{29}{remark.5.5.4.2}\protected@file@percent } \@writefile{loe}{\contentsline {corollary}{\ifthmt@listswap Corollary~5.4.1\else \numberline {5.4.1}Corollary\fi }{29}{corollary.5.5.4.1}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {6}Stochastic Differential Equations}{30}{section.6}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~6.0.1\else \numberline {6.0.1}Definition\fi \thmtformatoptarg {pathwise uniqueness}}{30}{definition.6.6.0.1}\protected@file@percent } \@writefile{loe}{\contentsline {remark}{\ifthmt@listswap Remark~6.0.1\else \numberline {6.0.1}Remark\fi }{30}{remark.6.6.0.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {6.1}It\^o's Existence and Uniqueness Theorem}{30}{subsection.6.1}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~6.1.1\else \numberline {6.1.1}Theorem\fi \thmtformatoptarg {It\^o's theorem, sufficient but not necessary conditions for the uniqueness of SDE solution}}{30}{theorem.6.6.1.1}\protected@file@percent } \@writefile{loe}{\contentsline {remark}{\ifthmt@listswap Remark~6.1.1\else \numberline {6.1.1}Remark\fi }{30}{remark.6.6.1.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {6.2}Linear SDE}{31}{subsection.6.2}\protected@file@percent } \@writefile{loe}{\contentsline {proposition}{\ifthmt@listswap Proposition~6.2.1\else \numberline {6.2.1}Proposition\fi }{31}{proposition.6.6.2.1}\protected@file@percent } \@writefile{loe}{\contentsline {remark}{\ifthmt@listswap Remark~6.2.1\else \numberline {6.2.1}Remark\fi }{31}{remark.6.6.2.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {6.3}Non-Linear SDE}{31}{subsection.6.3}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {6.4}Stochastic Exponential and Stochastic Logarithmic}{32}{subsection.6.4}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~6.4.1\else \numberline {6.4.1}Definition\fi \thmtformatoptarg {stochastic exponential}}{32}{definition.6.6.4.1}\protected@file@percent } \@writefile{loe}{\contentsline {lemma}{\ifthmt@listswap Lemma~6.4.1\else \numberline {6.4.1}Lemma\fi }{32}{lemma.6.6.4.1}\protected@file@percent } \@writefile{loe}{\contentsline {remark}{\ifthmt@listswap Remark~6.4.1\else \numberline {6.4.1}Remark\fi }{32}{remark.6.6.4.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~6.4.2\else \numberline {6.4.2}Definition\fi \thmtformatoptarg {stochastic logarithm}}{32}{definition.6.6.4.2}\protected@file@percent } \@writefile{loe}{\contentsline {remark}{\ifthmt@listswap Remark~6.4.2\else \numberline {6.4.2}Remark\fi }{32}{remark.6.6.4.2}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {7}Girsanov Theorem}{33}{section.7}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {7.1}Change of Measure}{33}{subsection.7.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~7.1.1\else \numberline {7.1.1}Definition\fi }{33}{definition.7.7.1.1}\protected@file@percent } \@writefile{loe}{\contentsline {remark}{\ifthmt@listswap Remark~7.1.1\else \numberline {7.1.1}Remark\fi }{33}{remark.7.7.1.1}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~7.1.1\else \numberline {7.1.1}Theorem\fi \thmtformatoptarg {Radon--Nikodym Theorem}}{33}{theorem.7.7.1.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {7.2}Radon--Nikodym Density Process}{34}{subsection.7.2}\protected@file@percent } \@writefile{loe}{\contentsline {remark}{\ifthmt@listswap Remark~7.2.1\else \numberline {7.2.1}Remark\fi }{34}{remark.7.7.2.1}\protected@file@percent } \@writefile{loe}{\contentsline {definition}{\ifthmt@listswap Definition~7.2.1\else \numberline {7.2.1}Definition\fi \thmtformatoptarg {Radon--Nikodym density process}}{34}{definition.7.7.2.1}\protected@file@percent } \@writefile{loe}{\contentsline {remark}{\ifthmt@listswap Remark~7.2.2\else \numberline {7.2.2}Remark\fi }{34}{remark.7.7.2.2}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {7.3}Abstract Bayes Formula}{34}{subsection.7.3}\protected@file@percent } \@writefile{loe}{\contentsline {lemma}{\ifthmt@listswap Lemma~7.3.1\else \numberline {7.3.1}Lemma\fi \thmtformatoptarg {abstract Bayes formula}}{34}{lemma.7.7.3.1}\protected@file@percent } \@writefile{loe}{\contentsline {lemma}{\ifthmt@listswap Lemma~7.3.2\else \numberline {7.3.2}Lemma\fi }{35}{lemma.7.7.3.2}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {7.4}Girsanov Theorem}{35}{subsection.7.4}\protected@file@percent } \@writefile{toc}{\contentsline {subsubsection}{\numberline {7.4.1}Linear Drift}{35}{subsubsection.7.4.1}\protected@file@percent } \@writefile{loe}{\contentsline {proposition}{\ifthmt@listswap Proposition~7.4.1\else \numberline {7.4.1}Proposition\fi }{35}{proposition.7.7.4.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsubsection}{\numberline {7.4.2}Stochastic Drift}{35}{subsubsection.7.4.2}\protected@file@percent } \@writefile{loe}{\contentsline {proposition}{\ifthmt@listswap Proposition~7.4.2\else \numberline {7.4.2}Proposition\fi }{35}{proposition.7.7.4.2}\protected@file@percent } \@writefile{loe}{\contentsline {proposition}{\ifthmt@listswap Proposition~7.4.3\else \numberline {7.4.3}Proposition\fi }{36}{proposition.7.7.4.3}\protected@file@percent } \@writefile{loe}{\contentsline {proposition}{\ifthmt@listswap Proposition~7.4.4\else \numberline {7.4.4}Proposition\fi }{36}{proposition.7.7.4.4}\protected@file@percent } \@writefile{toc}{\contentsline {subsubsection}{\numberline {7.4.3}Continuous Semimartingales}{37}{subsubsection.7.4.3}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~7.4.1\else \numberline {7.4.1}Theorem\fi \thmtformatoptarg {Girsanov theorem for continuous semimartingales}}{37}{theorem.7.7.4.1}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {A}Some Useful Results}{38}{appendix.A}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~A.0.1\else \numberline {A.0.1}Theorem\fi \thmtformatoptarg {Cauchy--Schwarz inequality}}{38}{theorem.A.A.0.1}\protected@file@percent } \@writefile{loe}{\contentsline {theorem}{\ifthmt@listswap Theorem~A.0.2\else \numberline {A.0.2}Theorem\fi \thmtformatoptarg {Fubini--Tonelli theorem}}{38}{theorem.A.A.0.2}\protected@file@percent } \gdef \@abspage@last{38}