{"categories":["Stochastic Calculus"],"contentHtml":"<h3>Week 5</h3><h4>Lecture Notes</h4><h5>Baby’s First Stochastic Integral</h5><p>This is seemingly one of the simplest integrals you could do.</p><p><math><msubsup><mo lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math></p><p>If we’re going to do this integral, how we’re going to do that is to create a process <math><msub><mi mathvariant=\"normal\">Δ</mi><mi>𝑛</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">→</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math> that converges so that this integral equals</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><msub><mo form=\"prefix\" lspace=\"0em\" rspace=\"0.16666666666666666em\">lim</mo><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\" stretchy=\"false\">→</mo><mi>∞</mi></mrow></msub><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msub><mi mathvariant=\"normal\">Δ</mi><mi>𝑛</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math></p><p>We essentially want this integral to converge to the integral of a Brownian motion.</p><p>We’re going to define</p><p>We’re going to assume wer’e cutting up our timespan <math><mo stretchy=\"false\">[</mo><mn>0</mn><mo>,</mo><mi>𝑡</mi><mo stretchy=\"false\">]</mo></math> into <math><mi>𝑛</mi></math> equal sized pieces.</p><p>What we’re doing here is that if we have this path of a Brownian motion, we will create time partitions where we are cutting it up into equal spaces. And our process takes the value of the motion at time 0 until time 1, then resets to time 1, then time 2, so it turns it into a random walk. As <math><mi>𝑛</mi></math> gets larger and larger, this converges to Brownian motion pointwise, no place for discontinuities to hide.</p><p>I can now express this integral as</p><p>The widths come from the change in Brownian motion.</p><p>We’ll denote <math><msub><mi>𝑊</mi><mi>𝑗</mi></msub><mo>=</mo><mi>𝑊</mi><mrow><mo>(</mo><mfrac><mrow><mi>𝑗</mi><mi>𝑡</mi></mrow><mi>𝑛</mi></mfrac><mo>)</mo></mrow></math> for convenience, so this becomes</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><msub><mi>𝑊</mi><mi>𝑗</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑊</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo>−</mo><msub><mi>𝑊</mi><mi>𝑗</mi></msub><mo stretchy=\"false\">)</mo></math></p><p>We’re going to look at the expansion of this squaredd</p><p><math><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mo form=\"prefix\" rspace=\"0em\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑊</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo>−</mo><msub><mi>𝑊</mi><mi>𝑗</mi></msub><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>2</mn></msup><mo>=</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mo form=\"prefix\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><msubsup><mi>𝑊</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow><mn>2</mn></msubsup><mo>−</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><msub><mi>𝑊</mi><mi>𝑗</mi></msub><msub><mi>𝑊</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mo form=\"prefix\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><msubsup><mi>𝑊</mi><mi>𝑗</mi><mn>2</mn></msubsup></math></p><p>The 1/2 will become relevant later</p><p>Now, first thing I’m going to observe is that I could take this first term and rewrite it as</p><p><math><msubsup><mo lspace=\"0em\">∑</mo><mrow><mi>𝑘</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>1</mn></mrow><mi>𝑛</mi></msubsup><msubsup><mi>𝑊</mi><mi>𝑘</mi><mn>2</mn></msubsup></math></p><p>I’m doing a reindex and starting at <math><mi>𝑘</mi></math>. What would this be when <math><mi>𝑘</mi><mo>=</mo><mn>0</mn></math>? 0. So this will be the same thing as</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑘</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mi>𝑛</mi></msubsup><msubsup><mi>𝑊</mi><mi>𝑘</mi><mn>2</mn></msubsup><mo>=</mo><msubsup><mi>𝑊</mi><mi>𝑛</mi><mn>2</mn></msubsup><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑁</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><msubsup><mi>𝑊</mi><mi>𝑗</mi><mn>2</mn></msubsup></math></p><p>The expansion of this is</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mi>𝑊</mi><mi>𝑛</mi><mn>2</mn></msubsup><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\" rspace=\"0em\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><mo form=\"prefix\" stretchy=\"false\">(</mo><msubsup><mi>𝑊</mi><mi>𝑗</mi><mn>2</mn></msubsup><mo>−</mo><msub><mi>𝑊</mi><mi>𝑗</mi></msub><msub><mi>𝑊</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo stretchy=\"false\">)</mo></math></p><p>Well, this is</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mi>𝑊</mi><mi>𝑛</mi><mn>2</mn></msubsup><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><msub><mi>𝑊</mi><mi>𝑗</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑊</mi><mi>𝑗</mi></msub><mo>−</mo><msub><mi>𝑊</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo stretchy=\"false\">)</mo></math></p><p>This term here is very close to where we left off in the original expansion. I can move this to the other side, which takes out the −1, which makes them correspond.</p><p>We have just proven that</p><p><math><msubsup><mo lspace=\"0em\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><msub><mi>𝑊</mi><mi>𝑗</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑊</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo>−</mo><msub><mi>𝑊</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mi>𝑊</mi><mi>𝑛</mi><mn>2</mn></msubsup><mo>−</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mo form=\"prefix\" rspace=\"0em\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑊</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo>−</mo><msub><mi>𝑊</mi><mi>𝑗</mi></msub><msup><mo stretchy=\"false\">)</mo><mn>2</mn></msup></math></p><p>After substituting that back in, I now have that</p><p><math><msubsup><mo lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msub><mo form=\"prefix\" lspace=\"0em\" rspace=\"0em\">lim</mo><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\" stretchy=\"false\">→</mo><mi>∞</mi></mrow></msub><mrow><mo>(</mo><mrow><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mi>𝑊</mi><mi>𝑛</mi><mn>2</mn></msubsup><mo>−</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mo form=\"prefix\" rspace=\"0em\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑊</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo>−</mo><msub><mi>𝑊</mi><mi>𝑗</mi></msub><msup><mo stretchy=\"false\">)</mo><mn>2</mn></msup></mrow><mo>)</mo></mrow></math></p><p>What is <math><msub><mi>𝑊</mi><mi>𝑛</mi></msub></math>?</p><p>This doesn’t depend on <math><mi>𝑛</mi></math>. If you look very carefully at the summation of the difference of squares, that’s quadratic variation, so <math><mi>𝑡</mi></math></p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msup><mi>𝑊</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mfrac><mi>𝑡</mi><mn>2</mn></mfrac></math></p><p>The quadratic variation is the precise property which makes stochastic integral different</p><p>This is the correct answer if we use the left-hand endpoints i.e.&nbsp;if this is an adaptive process.</p><p>Right hand endpoint also</p><p>Stratonyvich integral if we use midpoint, so that’s intuitive. Why don’t we use it? It’s not adaptive/measurable, it requires you to evaluate the value of the expression halfway through the integral. That would be the equivalent of choosing your trading position at the middle of the day for the entire day. That’s impossible. So we have to use Ito integrals.</p><h5>Differential Form</h5><p>If we were dealing with regular calculus, and you asked me to find the differential of a function, I would look at it and use the chain rule. But Brownian motion isn’t differentiable.</p><p><math><mi>𝑑</mi><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msup><mi>𝑓</mi><mo>′</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑊</mi><mo>′</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi><mo>=</mo><msup><mi>𝑓</mi><mo>′</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p>We’re still not going to have it correct because of quadratic variation. We actually have</p><p><math><mi>𝑑</mi><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msup><mi>𝑓</mi><mo>′</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msup><mi>𝑓</mi><mo>″</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi></math></p><p>If we look at the integral form and we look at both sides,</p><p>By the theorem of calculus, integral of differential should be difference between bounds. So we must prove this.</p><p>We’re going to use the Taylor series to come up with some expansions. This is going to be</p><p><math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑥</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑘</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mi>∞</mi></msubsup><mfrac><mrow><msup><mi>𝑓</mi><mrow><mo stretchy=\"false\">(</mo><mi>𝑘</mi><mo stretchy=\"false\">)</mo></mrow></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑥</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑎</mi><msup><mo stretchy=\"false\">)</mo><mi>𝑘</mi></msup></mrow><mrow><mi>𝑘</mi><mo>!</mo></mrow></mfrac></math></p><p>writing out the first few terms, this is</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><msup><mi>𝑓</mi><mo>′</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑥</mi><mo>−</mo><mn>1</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msup><mi>𝑓</mi><mo>″</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑥</mi><mo>−</mo><mi>𝑎</mi><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>2</mn></msup><mo>+</mo><mfrac><mn>1</mn><mn>6</mn></mfrac><msup><mi>𝑓</mi><mo>‴</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑥</mi><mo>−</mo><mi>𝑎</mi><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>3</mn></msup><mi>…</mi></math></p><p>So, I have that <math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑥</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo stretchy=\"false\">)</mo></math> equals all of this stuff</p><p>This is true for any function that we can do the Taylor approximation on. We’re going to keep this in mind and then I want to talk about <strong>telescoping sums</strong>. For a sequence <math><msub><mrow><mo>{</mo><msub><mi>𝑋</mi><mi>𝑖</mi></msub><mo>}</mo></mrow><mrow><mi>𝑖</mi><mo lspace=\"0em\" rspace=\"0em\">∈</mo><mrow><mo>{</mo><mrow><mn>1</mn><mo rspace=\"0em\">,</mo><mi>…</mi><mo rspace=\"0em\">,</mo><mi>𝑛</mi></mrow><mo>}</mo></mrow></mrow></msub></math> what can you tell me about this/</p><p><math><msubsup><mo lspace=\"0em\" rspace=\"0em\">∑</mo><mrow><mi>𝑖</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑋</mi><mrow><mi>𝑖</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo>−</mo><msub><mi>𝑋</mi><mi>𝑖</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msub><mi>𝑋</mi><mn>1</mn></msub><mo>−</mo><msub><mi>𝑋</mi><mn>0</mn></msub><mo>+</mo><msub><mi>𝑋</mi><mn>2</mn></msub><mo>−</mo><msub><mi>𝑋</mi><mn>1</mn></msub><mo>+</mo><msub><mi>𝑋</mi><mn>3</mn></msub><mo>−</mo><msub><mi>𝑋</mi><mn>2</mn></msub><mo>+</mo><mi>…</mi><mo>+</mo><msub><mi>𝑋</mi><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msub><mo>−</mo><msub><mi>𝑋</mi><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>2</mn></mrow></msub><mo>+</mo><msub><mi>𝑋</mi><mi>𝑛</mi></msub><mo>−</mo><msub><mi>𝑋</mi><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msub></math></p><p>Well this is going to cancel out in between so we end up just getting the difference between the endpoints.</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><msub><mi>𝑋</mi><mi>𝑛</mi></msub><mo>−</mo><msub><mi>𝑋</mi><mn>0</mn></msub></math></p><p>We now have most of our pieces.</p><p>I’m going to say that for a given partition <math><mi mathvariant=\"normal\">Π</mi></math>, I’m going to let <math><mi>𝑥</mi><mo>=</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo stretchy=\"false\">)</mo></math>, <math><mi>𝑎</mi><mo>=</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo stretchy=\"false\">)</mo></math>. I’m going to rewrite this Taylro series expansions with these variables. I now have</p><p><math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msup><mi>𝑓</mi><mo>′</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msup><mi>𝑓</mi><mo>″</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>2</mn></msup><mo>+</mo><mfrac><mn>1</mn><mn>6</mn></mfrac><msup><mi>𝑓</mi><mo>‴</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>3</mn></msup><mo>+</mo><mi>…</mi></math></p><p>Then, I am now going to take (and remember, if I can do it to both sides I can do anything) I am going to add both of these sides up</p><p><math><msubsup><mo lspace=\"0em\" rspace=\"0em\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><mrow><mo>(</mo><mrow><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo></mrow><mo>)</mo></mrow><mo>=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\" rspace=\"0em\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><mrow><mo>(</mo><mrow><msup><mi>𝑓</mi><mo>′</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msup><mi>𝑓</mi><mo>″</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>2</mn></msup><mo>+</mo><mfrac><mn>1</mn><mn>6</mn></mfrac><msup><mi>𝑓</mi><mo>‴</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>3</mn></msup><mo>+</mo><mi>…</mi></mrow><mo>)</mo></mrow></math></p><p>The left is just our telescoping summation. We have various summations on the other side.</p><p><math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><msup><mi>𝑓</mi><mo>′</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mo form=\"prefix\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><msup><mi>𝑓</mi><mo>″</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>2</mn></msup><mo>+</mo><mfrac><mn>1</mn><mn>6</mn></mfrac><msubsup><mo form=\"prefix\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><msup><mi>𝑓</mi><mo>″</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>3</mn></msup><mo>+</mo><mi>…</mi></math></p><p>Because this is for an arbitrary partition, let’s look at the limit as the norm of partition goes to 0. Nothing happens on the left side, because there’s no index involved there. So we’ll leave it untouched.</p><p><math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msub><mo form=\"prefix\" lspace=\"0em\" rspace=\"0.16666666666666666em\">lim</mo><mrow><mo form=\"infix\" lspace=\"0em\" rspace=\"0em\">∥</mo><mi mathvariant=\"normal\">Π</mi><mo lspace=\"0em\" rspace=\"0em\">∥</mo><mo lspace=\"0em\" rspace=\"0em\" stretchy=\"false\">→</mo><mn>0</mn></mrow></msub><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><msup><mi>𝑓</mi><mo>′</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msub><mo form=\"prefix\" lspace=\"0.16666666666666666em\" rspace=\"0.16666666666666666em\">lim</mo><mrow><mo form=\"infix\" lspace=\"0em\" rspace=\"0em\">∥</mo><mi mathvariant=\"normal\">Π</mi><mo lspace=\"0em\" rspace=\"0em\">∥</mo><mo lspace=\"0em\" rspace=\"0em\" stretchy=\"false\">→</mo><mn>0</mn></mrow></msub><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><msup><mi>𝑓</mi><mo>″</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>2</mn></msup><mo>+</mo><msub><mo form=\"prefix\" lspace=\"0em\" rspace=\"0.16666666666666666em\">lim</mo><mrow><mo form=\"infix\" lspace=\"0em\" rspace=\"0em\">∥</mo><mi mathvariant=\"normal\">Π</mi><mo lspace=\"0em\" rspace=\"0em\">∥</mo><mo lspace=\"0em\" rspace=\"0em\" stretchy=\"false\">→</mo><mn>0</mn></mrow></msub><mfrac><mn>1</mn><mn>6</mn></mfrac><msubsup><mo form=\"prefix\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><msup><mi>𝑓</mi><mo>″</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>3</mn></msup><mo>+</mo><mi>…</mi></math></p><p>We’re writing this all down because we will need to refer back to this later! Now, let’s look and see how this limit affects this. As we’re dealing with the limit of the norm of this partition going to 0, this change in Brownian motion is going to converge to <math><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math> the differential. That is the definition of the differential. That means that this term inside the exponent is just the differential. So we get the first term as <math><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math>, then the second term as <math><mi>𝑑</mi><mi>𝑢</mi></math> because that’s what we determined. And after we multiply it one more time, it will be 0, because that’s also proven. So we can throw out all terms after the second order. This gives us one Ito integral and one Riemann integral. What we have here is</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msup><mi>𝑓</mi><mo>′</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mo form=\"prefix\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msup><mi>𝑓</mi><mo>″</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑢</mi></math> At this point, everybody should know that the 1/2 appears because of the Taylor expansion. Everybody makes the mistake and forgets it, so you need to be extra vigilant on homework and tests for this.</p><h5>Ito Formula</h5><p>That leads us to being able to prove Theorem 4.4.1 the Ito formula for Brownian motion:</p><p>Let <math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑥</mi><mo stretchy=\"false\">)</mo></math> be a function for which the partial derivatives etc.</p><p><math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑇</mi><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑇</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>…</mi></math></p><p>I would strongly suggest that you use a different form of the Ito formula.</p><p><math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo>,</mo><mi>𝑏</mi><mo stretchy=\"false\">)</mo></math> is some function such that <math><msub><mi>𝑓</mi><mi>𝑎</mi></msub></math>, <math><msub><mi>𝑓</mi><mi>𝑏</mi></msub></math>, and <math><msub><mi>𝑓</mi><mrow><mi>𝑏</mi><mi>𝑏</mi><mi>𝑏</mi><mi>𝑏</mi></mrow></msub></math> exist.</p><p><math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msub><mi>𝑓</mi><mi>𝑎</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑢</mi><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msub><mi>𝑓</mi><mi>𝑏</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mo form=\"prefix\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msub><mi>𝑓</mi><mrow><mi>𝑏</mi><mi>𝑏</mi></mrow></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑊</mi><mo>,</mo><mi>𝑊</mi><mo form=\"postfix\" stretchy=\"false\">]</mo><mi>𝑑</mi><mi>𝑢</mi></math></p><p>This lets us remember where all the pieces are coming from. We can see that <math><mi>𝑓</mi></math> is only considered with respect to these dummy variables.</p><p>Where does this formula come from? The two dimensional Taylor series expansion!</p><p>For some function, centered around the point <math><mo stretchy=\"false\">(</mo><msub><mi>𝑎</mi><mn>0</mn></msub><mo>,</mo><msub><mi>𝑏</mi><mn>0</mn></msub><mo stretchy=\"false\">)</mo></math></p><p><math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo>,</mo><mi>𝑏</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑎</mi><mn>0</mn></msub><mo>,</mo><msub><mi>𝑏</mi><mn>0</mn></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msub><mi>𝑓</mi><mi>𝑎</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑎</mi><mn>0</mn></msub><mo>,</mo><msub><mi>𝑏</mi><mn>0</mn></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo>−</mo><msub><mi>𝑎</mi><mn>0</mn></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><msub><mi>𝑓</mi><mi>𝑏</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑎</mi><mn>0</mn></msub><mo>,</mo><msub><mi>𝑏</mi><mn>0</mn></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑏</mi><mo>−</mo><msub><mi>𝑏</mi><mn>0</mn></msub><mo stretchy=\"false\">)</mo></math></p><p>These are all the first order derivatives. Then we get</p><p><math><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msub><mi>𝑓</mi><mrow><mi>𝑎</mi><mi>𝑎</mi></mrow></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑎</mi><mn>0</mn></msub><mo>,</mo><msub><mi>𝑏</mi><mn>0</mn></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo>−</mo><msub><mi>𝑎</mi><mn>0</mn></msub><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>2</mn></msup><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msub><mi>𝑓</mi><mrow><mi>𝑎</mi><mi>𝑏</mi></mrow></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑎</mi><mn>0</mn></msub><mo>,</mo><msub><mi>𝑏</mi><mn>0</mn></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo>−</mo><msub><mi>𝑎</mi><mn>0</mn></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑏</mi><mo>−</mo><msub><mi>𝑏</mi><mn>0</mn></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msub><mi>𝑓</mi><mrow><mi>𝑏</mi><mi>𝑎</mi></mrow></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑎</mi><mn>0</mn></msub><mo>,</mo><msub><mi>𝑏</mi><mn>0</mn></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑏</mi><mo>−</mo><msub><mi>𝑏</mi><mn>0</mn></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo>−</mo><msub><mi>𝑎</mi><mn>0</mn></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msub><mi>𝑓</mi><mrow><mi>𝑏</mi><mi>𝑏</mi></mrow></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑎</mi><mn>0</mn></msub><mo>,</mo><msub><mi>𝑏</mi><mn>0</mn></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑏</mi><mo>−</mo><msub><mi>𝑏</mi><mn>0</mn></msub><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>2</mn></msup><mo>+</mo><mfrac><mn>1</mn><mn>6</mn></mfrac><mo>+</mo><mi>…</mi></math></p><p>into the second and third order and so on.</p><p>We will let <math><msub><mi>𝑎</mi><mn>0</mn></msub><mo>=</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub></math>, <math><mi>𝑎</mi><mo>=</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub></math>, <math><msub><mi>𝑏</mi><mn>0</mn></msub><mo>=</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo stretchy=\"false\">)</mo></math>, <math><mi>𝑏</mi><mo>=</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo stretchy=\"false\">)</mo></math></p><p>We’re going to do the same sum to telescoping sum trick here.</p><p><math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo>,</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><msub><mi>𝑓</mi><mi>𝑎</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo>−</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><msub><mi>𝑓</mi><mi>𝑏</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mo form=\"prefix\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><msub><mi>𝑓</mi><mrow><mi>𝑎</mi><mi>𝑎</mi></mrow></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo>−</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>2</mn></msup><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><msub><mi>𝑓</mi><mrow><mi>𝑎</mi><mi>𝑏</mi></mrow></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo>−</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo>−</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mo form=\"prefix\">∑</mo><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑛</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow></msubsup><msub><mi>𝑓</mi><mrow><mi>𝑏</mi><mi>𝑏</mi></mrow></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo>−</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo></math></p><p>assume that fab and fba are the same</p><p>The differential notation makes the limit transparent: <math><mi>𝑑</mi><mi>𝑢</mi></math> is first-order time, <math><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math> is the Brownian increment, <math><mi>𝑑</mi><mi>𝑢</mi></math> times any differential is 0, and <math><mo stretchy=\"false\">(</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>2</mn></msup><mo>=</mo><mi>𝑑</mi><mi>𝑢</mi></math> through quadratic variation. The only nonzero second-order term is therefore the quadratic-variation term. That is how we get the Itô formula.</p><p>Using this formula, we can now try and solve a simple exercise. The only stochastic part of the Ito formula is in the <math><msub><mi>𝑓</mi><mi>𝑏</mi></msub></math> part. So let’s try and move everything to the other side of the expression.</p><p><math><msubsup><mo lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msub><mi>𝑓</mi><mi>𝑏</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msub><mi>𝑓</mi><mi>𝑎</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑢</mi><mo>−</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mo form=\"prefix\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msub><mi>𝑓</mi><mrow><mi>𝑏</mi><mi>𝑏</mi></mrow></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑢</mi></math></p><p>So, if I was given the problem, what is</p><p><math><msubsup><mo lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math></p><p>That seems to suggest that</p><p><math><msub><mi>𝑓</mi><mi>𝑏</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math></p><p>What would be <math><msub><mi>𝑓</mi><mi>𝑏</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo>,</mo><mi>𝑏</mi><mo stretchy=\"false\">)</mo></math>? I don’t want to work with my functions with stochastic crap, I want to use well-defined dummy variables?</p><p><math><msub><mi>𝑓</mi><mi>𝑏</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo>,</mo><mi>𝑏</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑏</mi></math></p><p>If I do this substitution, then this is what i results in.</p><p>Then what is</p><p><math><msub><mi>𝑓</mi><mrow><mi>𝑏</mi><mi>𝑏</mi></mrow></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo>,</mo><mi>𝑏</mi><mo stretchy=\"false\">)</mo></math>? 1.</p><p>I am going to do this the hardest possible way right now, to demonstrate how it’s done.</p><p><math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo>,</mo><mi>𝑏</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mfrac><msup><mi>𝑏</mi><mn>2</mn></msup><mn>2</mn></mfrac><mo>+</mo><mi>𝑔</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mi>𝐶</mi></math></p><p>with <math><mi>𝑔</mi></math> being some arbitrary function, which has to be true because of all these derivatives. NOTE: this <math><msub><mi>𝑓</mi><mi>𝑏</mi></msub></math> is the notation for a partial derivative with respect to <math><mi>𝑏</mi></math>.</p><p>We will prove that <math><mi>𝑔</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo stretchy=\"false\">)</mo></math> and <math><mi>𝐶</mi></math> must be 0, so we don’t have to worry about them later.</p><p><math><msub><mi>𝑓</mi><mi>𝑎</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo>,</mo><mi>𝑏</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msup><mi>𝑔</mi><mo>′</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo stretchy=\"false\">)</mo></math></p><p>With these choices, I’m going to be able to say that this</p><p><math><msubsup><mo lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mfrac><mrow><msup><mi>𝑊</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow><mn>2</mn></mfrac><mo>+</mo><mi>𝑔</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mi>𝐶</mi><mo>−</mo><mfrac><mrow><msup><mi>𝑊</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo stretchy=\"false\">)</mo></mrow><mn>2</mn></mfrac><mo>−</mo><mi>𝑔</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝐶</mi><mo>−</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msup><mi>𝑔</mi><mo>′</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑢</mi><mo>−</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mo form=\"prefix\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝑑</mi><mi>𝑢</mi></math></p><p>This is just plugging are previous values in the formula. We can cancel out the constant, so it will be 0 in the future.</p><p>What is the integral of <math><mi>𝑔</mi></math>? It would just be <math><mi>𝑔</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑔</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo stretchy=\"false\">)</mo></math>. So it didn’t matter at all what function we used, so we’ll just use 0 in the future. What’s left over is</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mfrac><mrow><msup><mi>𝑊</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow><mn>2</mn></mfrac><mo>−</mo><mfrac><mi>𝑡</mi><mn>2</mn></mfrac></math></p><p>which is the same exact answer.</p><h5>Another Baby</h5><p><math><msubsup><mo lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝑢</mi><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math></p><p>We know that the partial derivative <math><msub><mi>𝑓</mi><mi>𝑏</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑢</mi></math>, so <math><msub><mi>𝑓</mi><mi>𝑏</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo>,</mo><mi>𝑏</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑎</mi></math>, <math><msub><mi>𝑓</mi><mrow><mi>𝑏</mi><mi>𝑏</mi></mrow></msub><mo>=</mo><mn>0</mn></math>.</p><p>So what is <math><mi>𝑓</mi></math>? <math><mi>𝑓</mi><mo>=</mo><mi>𝑎</mi><mi>𝑏</mi></math>. We know that <math><msub><mi>𝑓</mi><mi>𝑎</mi></msub><mo>=</mo><mi>𝑏</mi></math>.</p><p>Professor recommendation: do everything with <math><mi>𝑎</mi></math> and <math><mi>𝑏</mi></math>, which is very handy. You don’t get messed up about the connections between <math><mi>𝑡</mi></math> and <math><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math>. This becomes</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝑡</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑢</mi></math></p><p>because everything else is 0. This is the fast way of doing it, just calculate the partial derivatives and solve through dummy variables until you can’t anymore.</p><p>Can you integrate Brownian motion? That value represents the area under Brownian motion. Knowing that every time Brownian motion is generated, it has a different value every time, you have to represent it as an integral, there’s no simplification because you can’t know more. Lonon will troll the students by putting Riemann integrals on exams and homework. Students always try to throw away all the other math when they learn stochastic calculus.</p><h5>Ito Processes</h5><p>One benefit of these stochastic integrals is that we can create the <strong>Ito process</strong>. Our only requirement is that our processes have to be adapted.</p><p><math><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi mathvariant=\"normal\">Δ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi mathvariant=\"normal\">Θ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑢</mi></math></p><p>We can show that the quadratic variation of this process is the same as the quadratic variation of the integral</p><p><math><mo stretchy=\"false\">[</mo><mi>𝑋</mi><mo>,</mo><mi>𝑋</mi><mo form=\"postfix\" stretchy=\"false\">]</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msup><mi mathvariant=\"normal\">Δ</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑢</mi></math></p><p>Now let’s talk about the differential of a stochastic process.</p><p><math><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msub><mo form=\"prefix\" lspace=\"0em\" rspace=\"0em\">lim</mo><mrow><mi>𝛿</mi><mo lspace=\"0em\" rspace=\"0em\" stretchy=\"false\">→</mo><msup><mn>0</mn><mo>+</mo></msup></mrow></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>+</mo><mi>𝛿</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo></math></p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><msub><mo form=\"prefix\" lspace=\"0em\" rspace=\"0em\">lim</mo><mrow><mi>𝛿</mi><mo lspace=\"0em\" rspace=\"0em\" stretchy=\"false\">→</mo><msup><mn>0</mn><mo>+</mo></msup></mrow></msub><mrow><mo>(</mo><mrow><msubsup><mo lspace=\"0em\">∫</mo><mi>𝑡</mi><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mi>𝛿</mi></mrow></msubsup><mi mathvariant=\"normal\">Δ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mi>𝑡</mi><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mi>𝛿</mi></mrow></msubsup><mi mathvariant=\"normal\">Θ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑢</mi></mrow><mo>)</mo></mrow></math></p><p>When we’re talking about integrals over these tiny increments, it’s something different.</p><p><math><msub><mo lspace=\"0em\" rspace=\"0em\">lim</mo><mrow><mi>𝛿</mi><mo lspace=\"0em\" rspace=\"0em\" stretchy=\"false\">→</mo><msup><mn>0</mn><mo>+</mo></msup></mrow></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi mathvariant=\"normal\">Δ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>+</mo><mi>𝛿</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mi mathvariant=\"normal\">Θ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>+</mo><mi>𝛿</mi><mo>−</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo></math></p><p>These limits are the same. This means that when you take the limit, you get</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi mathvariant=\"normal\">Δ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mi mathvariant=\"normal\">Θ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi></math></p><p>We can now take the differential of any integral really quickly. This is a really simple trick.</p><p>What if we squared it?</p><p><math><mo stretchy=\"false\">(</mo><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>2</mn></msup><mo>=</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi mathvariant=\"normal\">Δ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mi mathvariant=\"normal\">Θ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi><msup><mo stretchy=\"false\">)</mo><mn>2</mn></msup></math></p><p>Let’s expand the square</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><msup><mi mathvariant=\"normal\">Δ</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>2</mn></msup><mo>+</mo><mn>2</mn><mi mathvariant=\"normal\">Δ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi mathvariant=\"normal\">Θ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><msup><mi mathvariant=\"normal\">Θ</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑑</mi><mi>𝑡</mi><msup><mo stretchy=\"false\">)</mo><mn>2</mn></msup></math> Let’s simplify almost all of this. We know that all the dt squared and dtdW(t) are 0</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><msup><mi mathvariant=\"normal\">Δ</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi></math></p><p>This is an approach that will work for a continuous process. An Ito process has to be a continuous process. It’s a nonrandom variable plus an Ito integral plus a Riemann integral. We can use this approach: Since I know that</p><p><math><mo stretchy=\"false\">(</mo><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>2</mn></msup><mo>=</mo><mi>𝑑</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑋</mi><mo>,</mo><mi>𝑋</mi><mo form=\"postfix\" stretchy=\"false\">]</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p>That means that</p><p><math><msubsup><mo lspace=\"0em\" rspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>2</mn></msup><mo>=</mo><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑋</mi><mo>,</mo><mi>𝑋</mi><mo form=\"postfix\" stretchy=\"false\">]</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p>IF <math><mi>𝑋</mi></math> IS CONTINUOUS<strong>.</strong></p><p>This is the quick proof.</p><p>We can now define an Ito integral with respect to an Ito process.</p><p><math><msubsup><mo lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi mathvariant=\"normal\">Γ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi mathvariant=\"normal\">Γ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi mathvariant=\"normal\">Δ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi mathvariant=\"normal\">Γ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi mathvariant=\"normal\">Θ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑢</mi></math></p><p>Your stock process would follow some stochastic process, and this reprseents a trading strategy</p><p>We can now find, where <math><mi mathvariant=\"normal\">Δ</mi></math> is a simple process that dictates how we choose stocks,</p><p><math><msubsup><mo lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi mathvariant=\"normal\">Δ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑤</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑤</mi><mo stretchy=\"false\">)</mo></math></p><p>We can vary it based on the stock price. We can actually use this Ito formula to take differentials as well as integrals. With the expression <math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo></math>, if we assume</p><p><math><mi>𝑑</mi><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msub><mi>𝑓</mi><mi>𝑎</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><msub><mi>𝑓</mi><mi>𝑏</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msub><mi>𝑓</mi><mrow><mi>𝑏</mi><mi>𝑏</mi></mrow></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo stretchy=\"false\">)</mo><mn>2</mn></msup></math></p><p>If I said this function was geometric Brownian motion</p><p><math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑒</mi><mrow><mo stretchy=\"false\">(</mo><mi>𝛼</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mfrac><msup><mi>𝜎</mi><mn>2</mn></msup><mn>2</mn></mfrac><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mi>𝜎</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow></msup></math></p><p>For simplicity, we’ll replace with a and b</p><p><math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo>,</mo><mi>𝑏</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑒</mi><mrow><mo stretchy=\"false\">(</mo><mi>𝛼</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mfrac><msup><mi>𝜎</mi><mn>2</mn></msup><mn>2</mn></mfrac><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑎</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mi>𝜎</mi><mi>𝑏</mi></mrow></msup></math></p><p>Then what are our partials? <math><msub><mi>𝑓</mi><mi>𝑎</mi></msub><mo>=</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝛼</mi><mo>−</mo><mfrac><msup><mi>𝜎</mi><mn>2</mn></msup><mn>2</mn></mfrac><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo>,</mo><mi>𝑏</mi><mo stretchy=\"false\">)</mo></math></p><p><math><msub><mi>𝑓</mi><mi>𝑏</mi></msub><mo>=</mo><mi>𝜎</mi><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo>,</mo><mi>𝑏</mi><mo stretchy=\"false\">)</mo></math></p><p><math><msub><mi>𝑓</mi><mrow><mi>𝑏</mi><mi>𝑏</mi></mrow></msub><mo>=</mo><msup><mi>𝜎</mi><mn>2</mn></msup><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo>,</mo><mi>𝑏</mi><mo stretchy=\"false\">)</mo></math></p><p><strong>Open question:</strong> look more into partial derivatives and why this is true.</p><p>This means that</p><p><math><mi>𝑑</mi><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝛼</mi><mo>−</mo><mfrac><msup><mi>𝜎</mi><mn>2</mn></msup><mn>2</mn></mfrac><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><mi>𝜎</mi><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msup><mi>𝜎</mi><mn>2</mn></msup><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi></math></p><p>Those terms cancel, which means this whole thing is</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝛼</mi><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><mi>𝜎</mi><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p>or, written slightly differently,</p><p><math><mfrac><mrow><mi>𝑑</mi><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow><mrow><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow></mfrac><mo>=</mo><mi>𝛼</mi><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><mi>𝜎</mi><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p>Now we can see why we’re looking at GBM. When Black-Scholes were looking for a way to model the stock prices. They looked at this instantaneous drift <math><mi>𝛼</mi></math> and the <math><mi>𝜎</mi></math> that is the diffusion. The problem is that this is nonsense because you can have negative stocks in that model. So now they look at proportional changes in the stock processes, which is sort of like instantaneous return. This is what this dynamic is showing us. We have drift and diffusion.</p><p>That means that our original integral for choosing stocks is</p><p><math><msubsup><mo lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi mathvariant=\"normal\">Δ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi mathvariant=\"normal\">Δ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝛼</mi><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑢</mi><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi mathvariant=\"normal\">Δ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝜎</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math></p><p>Our process is coming from deterministic drift and random diffusion. That also finally gets us to theorem 4.4.6, which is the best version of this formula, the Ito formula for an Ito process.</p><p>The source starts the general Itô-process formula here but leaves it unfinished (<strong>Open question:</strong> finish the displayed formula from the slides).</p><p>The first argument corresponds to the first differential <math><mi>𝑑</mi><mi>𝑢</mi></math>, and then the second one is done once than twice, which is what goes into the quadratic variation.</p><p>Why is this true? Let’s go back to the two dimensional Taylor series.</p><p>If we use <math><mi>𝑋</mi></math> the Ito process instead of <math><mi>𝑊</mi></math> Brownian motion, you end up with the same combinations. <math><mi>𝑑</mi><mi>𝑢</mi><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math>. We can create a general rule that <math><mi>𝑑</mi><mi>𝑡</mi></math>/<math><mi>𝑑</mi><mi>𝑢</mi></math> multiplied by any other differential is 0. REMEMBER THIS.</p><p>The only difference is that the quadratic variation of the Ito process, which is <math><msup><mi mathvariant=\"normal\">Δ</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑢</mi></math></p><p>This also can be expressed in differential form, which loses a few details.</p><h5>Generalized GBM</h5><p>You can also have generalized Geometric Brownian Motion, which is different from regular GBM. We can now say that <math><mi>𝛼</mi></math> and <math><mi>𝜎</mi></math> are no longer inputs, they are stochastic processes in themselves. They are still adapted, but they are stochastic.</p><p>IF I define</p><p><math><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" lspace=\"0.16666666666666666em\" rspace=\"0em\">exp</mo><mrow><mo>(</mo><mrow><msubsup><mo lspace=\"0em\" rspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝛼</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mfrac><mrow><msup><mi>𝜎</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></mrow><mn>2</mn></mfrac><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑢</mi><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝜎</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></mrow><mo>)</mo></mrow></math></p><p>I can’t do the differential hre normally because I don’t have everything substitutable, we don’t have W(t) really. We can’t write this as a function of <math><mi>𝑡</mi></math> and <math><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p>But I can define a new stochastic process</p><p><math><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\" rspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝛼</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mfrac><mrow><msup><mi>𝜎</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></mrow><mn>2</mn></mfrac><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑢</mi><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝜎</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math></p><p>Can I write <math><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math> now as an Ito process?</p><p><math><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑒</mi><mrow><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow></msup><mo>=</mo><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo></math></p><p>My Ito formula is going to tell me that</p><p><math><mi>𝑑</mi><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msub><mi>𝑓</mi><mi>𝑎</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><msub><mi>𝑓</mi><mi>𝑏</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msub><mi>𝑓</mi><mrow><mi>𝑏</mi><mi>𝑏</mi></mrow></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo stretchy=\"false\">)</mo><mn>2</mn></msup></math></p><p>This helps me know what I’m missing to find this differential.</p><p><math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo>,</mo><mi>𝑏</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑒</mi><mi>𝑏</mi></msup></math></p><p>Therefore, <math><msub><mi>𝑓</mi><mi>𝑎</mi></msub><mo>=</mo><mn>0</mn></math>, <math><msub><mi>𝑓</mi><mi>𝑏</mi></msub><mo>=</mo><mi>𝑓</mi></math>, <math><msub><mi>𝑓</mi><mrow><mi>𝑏</mi><mi>𝑏</mi></mrow></msub><mo>=</mo><mi>𝑓</mi></math></p><p><math><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝛼</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mfrac><mrow><msup><mi>𝜎</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow><mn>2</mn></mfrac><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><mi>𝜎</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p><math><mo stretchy=\"false\">(</mo><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>2</mn></msup><mo>=</mo><msup><mi>𝜎</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi></math></p><p>This is because… I don’t know he didn’t explain 🙁</p><p><math><mi>𝑑</mi><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mn>0</mn><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo stretchy=\"false\">)</mo><mn>2</mn></msup></math></p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝛼</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mfrac><mrow><msup><mi>𝜎</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow><mn>2</mn></mfrac><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝜎</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝜎</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi></math> All of that is <math><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p>We can cancel out the <math><msup><mi>𝜎</mi><mn>2</mn></msup></math> portion and create</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝛼</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝜎</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p>This is the same as GBM, but we need to derive this by using the Ito process.</p><p>The Ito formula for Ito processes works for everything, which makes it the best one, 4.4.6.</p><p>An interesting result of theorem 4.4.9 is that</p><p><math><mi>𝐼</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi mathvariant=\"normal\">Δ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></math></p><p>The random variable is normally distributed. Let’s prove that.</p><p>The key to this proof is that I’m going to first define</p><p><math><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑢</mi><mi>𝐼</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mfrac><msup><mi>𝑢</mi><mn>2</mn></msup><mn>2</mn></mfrac><msubsup><mo form=\"prefix\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msup><mi mathvariant=\"normal\">Δ</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑠</mi></math>.</p><p>What is <math><mi>𝔼</mi><mrow><mo>[</mo><msup><mi>𝑒</mi><mrow><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow></msup><mo>]</mo></mrow><mo rspace=\"0em\">=</mo><mo separator=\"true\" lspace=\"0em\" rspace=\"0em\">?</mo></math></p><p>Let’s look at the differential, the <strong>Ito decomposition</strong>. This makes it much more clear if this is an Ito process.</p><p><math><mi>𝑑</mi><mrow><mo>(</mo><msup><mi>𝑒</mi><mrow><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow></msup><mo>)</mo></mrow><mo>=</mo><msup><mi>𝑒</mi><mrow><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow></msup><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msup><mi>𝑒</mi><mrow><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo stretchy=\"false\">)</mo><mn>2</mn></msup></math></p><p>But what we don’t have well defined is <math><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math>. But that shouldn’t be too bad.</p><p><math><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑢</mi><mi>𝑑</mi><mi>𝐼</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mfrac><msup><mi>𝑢</mi><mn>2</mn></msup><mn>2</mn></mfrac><msup><mi mathvariant=\"normal\">Δ</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi></math></p><p>I know what is given to us by 4.4.9</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝑢</mi><mi mathvariant=\"normal\">Δ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mfrac><msup><mi>𝑢</mi><mn>2</mn></msup><mn>2</mn></mfrac><msup><mi mathvariant=\"normal\">Δ</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi></math></p><p><math><mi>𝑑</mi><mrow><mo>(</mo><msup><mi>𝑒</mi><mrow><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow></msup><mo>)</mo></mrow><mo>=</mo><msup><mi>𝑒</mi><mrow><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow></msup><mi>𝑢</mi><mi mathvariant=\"normal\">Δ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><msup><mi>𝑒</mi><mrow><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow></msup><mfrac><msup><mi>𝑢</mi><mn>2</mn></msup><mn>2</mn></mfrac><msup><mi mathvariant=\"normal\">Δ</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msup><mi>𝑒</mi><mrow><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow></msup><msup><mi>𝑢</mi><mn>2</mn></msup><msup><mi mathvariant=\"normal\">Δ</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi></math></p><p>REMEMBER THAT <math><mo stretchy=\"false\">(</mo><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo stretchy=\"false\">)</mo><mn>2</mn></msup></math> is <math><msup><mi mathvariant=\"normal\">Δ</mi><mn>2</mn></msup><mi>𝑑</mi><mi>𝑡</mi></math></p><p>Canceling out <math><mi>𝑒</mi></math> terms, we get</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><msup><mi>𝑒</mi><mrow><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow></msup><mi>𝑢</mi><mi mathvariant=\"normal\">Δ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p>Integrating both sides, we get</p><p><math><msup><mi>𝑒</mi><mrow><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow></msup><mo>=</mo><msup><mi>𝑒</mi><mrow><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo stretchy=\"false\">)</mo></mrow></msup><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msup><mi>𝑒</mi><mrow><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></mrow></msup><mi>𝑢</mi><mi mathvariant=\"normal\">Δ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></math></p><p>I can see an interesting thing here. This formula must be a martingale, because it’s a constant plus a martingale. All Ito integrals with respect to Brownian motion are martingales.</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mn>1</mn><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msup><mi>𝑒</mi><mrow><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></mrow></msup><mi>…</mi></math></p><p>The expected value is the same as when it’s conditioned on zero information, which is 1.</p><p><math><mi>𝔼</mi><mrow><mo>[</mo><mrow><mo lspace=\"0em\" rspace=\"0em\">exp</mo><mrow><mo>(</mo><mrow><mi>𝑢</mi><mi>𝐼</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mfrac><msup><mi>𝑢</mi><mn>2</mn></msup><mn>2</mn></mfrac><msubsup><mo form=\"prefix\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msup><mi mathvariant=\"normal\">Δ</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow><mo>]</mo></mrow><mo>=</mo><mn>1</mn></math></p><p><math><mi mathvariant=\"normal\">Δ</mi></math> is explicitly nonrandom, so <math><mi>𝐼</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math> is the only stochastic part of it.</p><p>That means you actually have</p><p><math><mi>𝔼</mi><mrow><mo>[</mo><msup><mi>𝑒</mi><mrow><mi>𝑢</mi><mi>𝐼</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow></msup><mo>]</mo></mrow><mo>=</mo><mo form=\"prefix\" lspace=\"0em\" rspace=\"0.16666666666666666em\">exp</mo><mi>…</mi></math></p><p>That’s how you get a moment generating function, for a normal random variable, for mean 0 and variance given by this integral.</p><h5>Vasicek</h5><p>We don’t only use stochastic processes for stock prices. There are many random things in finance, like interest rates. There are different models for this. This is given by this stochastic differential equation:</p><p><math><mi>𝑑</mi><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝛼</mi><mo>−</mo><mi>𝛽</mi><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><mi>𝜎</mi><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p>It ahsa closed form solution, which we can prove.</p><p>This Vasicek model has a mean reverting component. We can see this by looking at the behavior of this process if the current value of interest rate <math><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>&lt;</mo><mfrac><mi>𝛼</mi><mi>𝛽</mi></mfrac></math>, then <math><mo stretchy=\"false\">(</mo><mi>𝛼</mi><mo>−</mo><mi>𝛽</mi><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>&gt;</mo><mn>0</mn></math>. If our interest rate falls below this level, our drift term becomes strictly positive. We’re going to have a general upward drift if this happens. But what if it goes below that? We get pulled back down. What happens if we hit it perfectly? We still have noise in our model from <math><mi>𝜎</mi><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math>, so we will never have an equilibrium.</p><p>Closed form solution:</p><p><math><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mo>+</mo><mfrac><mi>𝛼</mi><mi>𝛽</mi></mfrac><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>1</mn><mo>−</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mi>𝜎</mi><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><msubsup><mo form=\"prefix\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msup><mi>𝑒</mi><mrow><mi>𝛽</mi><mi>𝑢</mi></mrow></msup><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math></p><p>We’ll pick the Ito process</p><p><math><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msup><mi>𝑒</mi><mrow><mi>𝛽</mi><mi>𝑢</mi></mrow></msup><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math></p><p>Because this will give us</p><p><math><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo></math></p><p>We need to find <math><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p><math><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msup><mi>𝑒</mi><mrow><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math> We’ll substitute with <math><mi>𝑎</mi><mi>𝑎</mi><mi>𝑛</mi><mi>𝑑</mi></math>b$</p><p><math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo>,</mo><mi>𝑏</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑎</mi></mrow></msup><mo>+</mo><mfrac><mi>𝛼</mi><mi>𝛽</mi></mfrac><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>1</mn><mo>−</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑎</mi></mrow></msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mi>𝜎</mi><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑎</mi></mrow></msup><mi>𝑏</mi></math></p><p>What’s our partials? <math><msub><mi>𝑓</mi><mi>𝑎</mi></msub><mo>=</mo><mo form=\"prefix\">−</mo><mi>𝛽</mi><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑎</mi></mrow></msup><mo>+</mo><mi>𝛼</mi><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑎</mi></mrow></msup><mo>−</mo><mi>𝛽</mi><mi>𝜎</mi><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑎</mi></mrow></msup><mi>𝑏</mi></math></p><p><math><msub><mi>𝑓</mi><mi>𝑏</mi></msub><mo>=</mo><mi>𝜎</mi><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑎</mi></mrow></msup></math></p><p><math><msub><mi>𝑓</mi><mrow><mi>𝑏</mi><mi>𝑏</mi></mrow></msub><mo>=</mo><mn>0</mn></math></p><p>If we run our Ito formula:</p><p><math><mi>𝑑</mi><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mo form=\"prefix\">−</mo><mi>𝛽</mi><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mo>+</mo><mi>𝛼</mi><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mo>−</mo><mi>𝛽</mi><mi>𝜎</mi><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><mi>𝜎</mi><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo stretchy=\"false\">)</mo><mn>2</mn></msup></math></p><p>Let’s factor out this <math><mo>−</mo><mi>𝛽</mi></math> and cancel out <math><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo></math> when we factor it in.</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mo form=\"prefix\">−</mo><mi>𝛽</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mo>−</mo><mfrac><mi>𝛼</mi><mi>𝛽</mi></mfrac><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mo>+</mo><mi>𝜎</mi><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><mi>𝜎</mi><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo></math></p><p>We are very close to being <math><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math>. The only difference is <math><mfrac><mi>𝛼</mi><mi>𝛽</mi></mfrac></math> So we’ll add and subtract it.</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mo form=\"prefix\">−</mo><mi>𝛽</mi><mrow><mo>(</mo><mrow><mo>−</mo><mfrac><mi>𝛼</mi><mi>𝛽</mi></mfrac><mo>+</mo><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mo>+</mo><mfrac><mi>𝛼</mi><mi>𝛽</mi></mfrac><mo>−</mo><mfrac><mi>𝛼</mi><mi>𝛽</mi></mfrac><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mo>+</mo><mi>𝜎</mi><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow><mo>)</mo></mrow><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><mi>𝜎</mi><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p>When we cancel out the denominator with <math><mi>𝛽</mi></math>, we get</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝛼</mi><mo>−</mo><mi>𝛽</mi><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><mi>𝜎</mi><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p>This is very nice because we can get the expected value of <math><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math> more easily.</p><p><math><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">]</mo><mo>=</mo><mi>𝔼</mi><mrow><mo>[</mo><mrow><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mo>+</mo><mfrac><mi>𝛼</mi><mi>𝛽</mi></mfrac><mrow><mo>(</mo><mrow><mn>1</mn><mo>−</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup></mrow><mo>)</mo></mrow><mo>+</mo><mi>𝜎</mi><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><msubsup><mo form=\"prefix\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msup><mi>𝑒</mi><mrow><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></mrow><mo>]</mo></mrow></math></p><p><strong>Whenever you’re calculating expectations, you need to figure out what’s random, because the expectation of a constant is itself.</strong></p><p>The only random thing is the Ito integral, which is a martingale, so we get</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mo>+</mo><mfrac><mi>𝛼</mi><mi>𝛽</mi></mfrac><mrow><mo>(</mo><mrow><mn>1</mn><mo>−</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup></mrow><mo>)</mo></mrow></math></p><p>What would be the long-term rate?</p><p><math><msub><mo lspace=\"0em\" rspace=\"0.16666666666666666em\">lim</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\" stretchy=\"false\">→</mo><mi>∞</mi></mrow></msub><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">]</mo><mo>=</mo><mfrac><mi>𝛼</mi><mi>𝛽</mi></mfrac></math></p><p>This term is called the long-term interest rate, what it’s mean reverting to.</p><p>This seems like a pretty interesting process. Ito process, closed form solution, but it’s got a big flaw. The only thing that’s random is the integral.</p><p>If you add a constant to a normal distribution, it’s still normal. We just agreed that this process is normally distributed, which means that there’s a nonzero probability that the interest rate could be negative. Depending on what you’re modeling, like risk-free interest rates in a functioning economy, this could be really bad.</p><p>Some very intelligent people saw this problem and fixed it.</p><h5>Cox-Ingersoll-Ross</h5><p>The CIR interest rate model adds in one thing: a square root. In order for the interest rate to go negative, it has to go to 0. This model causes noise to disappear as interest rates go to 0, so upward drift increases.</p><p><math><mi>𝑑</mi><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝛼</mi><mo>−</mo><mi>𝛽</mi><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><mi>𝜎</mi><msqrt><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></msqrt><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p>Unfortunately, there is no obvious closed-form solution. Fortunately, we’re built different. We would look at</p><p><math><mi>𝑑</mi><mrow><mo>(</mo><mrow><msup><mi>𝑒</mi><mrow><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow><mo>)</mo></mrow><mo>=</mo><mi>𝑑</mi><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo></math></p><p>where the dummy function is</p><p><math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑎</mi><mo>,</mo><mi>𝑏</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msup><mi>𝑒</mi><mrow><mi>𝛽</mi><mi>𝑎</mi></mrow></msup><mi>𝑏</mi></math></p><p><math><msub><mi>𝑓</mi><mi>𝑎</mi></msub><mo>=</mo><mi>𝛽</mi><mi>𝑓</mi></math></p><p><math><msub><mi>𝑓</mi><mi>𝑏</mi></msub><mo>=</mo><msup><mi>𝑒</mi><mrow><mi>𝛽</mi><mi>𝑎</mi></mrow></msup></math></p><p><math><msub><mi>𝑓</mi><mrow><mi>𝑏</mi><mi>𝑏</mi></mrow></msub><mo>=</mo><mn>0</mn></math></p><p>So the differential becomes</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝛽</mi><msup><mi>𝑒</mi><mrow><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><msup><mi>𝑒</mi><mrow><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mi>𝑑</mi><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝛽</mi><msup><mi>𝑒</mi><mrow><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><msup><mi>𝑒</mi><mrow><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝛼</mi><mo>−</mo><mi>𝛽</mi><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><msup><mi>𝑒</mi><mrow><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mi>𝜎</mi><msqrt><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></msqrt><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p>We see what happens is that the terms get canceled because we chose this specific differential.</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝛼</mi><msup><mi>𝑒</mi><mrow><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><mi>𝜎</mi><msqrt><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></msqrt><msup><mi>𝑒</mi><mrow><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p>I can integrate both sides and get</p><p><math><msup><mi>𝑒</mi><mrow><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><msup><mi>𝑒</mi><mrow><mi>𝛽</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo stretchy=\"false\">)</mo></mrow></msup><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝛼</mi><msup><mi>𝑒</mi><mrow><mi>𝛽</mi><mi>𝑢</mi></mrow></msup><mspace width=\"0.1667em\"></mspace><mi>𝑑</mi><mi>𝑢</mi><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝜎</mi><msqrt><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></msqrt><msup><mi>𝑒</mi><mrow><mi>𝛽</mi><mi>𝑢</mi></mrow></msup><mspace width=\"0.1667em\"></mspace><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math></p><p>I can kind of get <math><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math> by itself but not all the way because I can’t get rid of the square root. There is no fancy thing I can look at to make this thing behave. But I will still have</p><p><math><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mo>+</mo><mfrac><mi>𝛼</mi><mi>𝛽</mi></mfrac><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>1</mn><mo>−</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝛽</mi><mi>𝑡</mi></mrow></msup><msubsup><mo form=\"prefix\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝜎</mi><msqrt><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></msqrt><msup><mi>𝑒</mi><mrow><mi>𝛽</mi><mi>𝑢</mi></mrow></msup><mi>𝑑</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math></p><p>Which means I can get the expectation, which would not necessarily be given by the original expression.</p><p>If I tried doing that with the original, I depend on <math><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math>. But in my new form, the only <math><mi>𝑅</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math> is contained in the stochastic integral which we know has expectation 0.</p>","contentSourceFormat":"typst","contentTypst":"== Week 5\n<week-5>\n=== Lecture Notes\n<lecture-notes>\n==== Baby's First Stochastic Integral\n<babys-first-stochastic-integral>\nThis is seemingly one of the simplest integrals you could do.\n\n$integral_0^t W\\(u\\)d W\\(u\\)$\n\nIf we're going to do this integral, how we're going to do that is to create a process $Delta_n\\(u\\)arrow.r W\\(u\\)$ that converges so that this integral equals\n\n$= lim_(n arrow.r oo) integral_0^t Delta_n\\(u\\)d W\\(u\\)$\n\nWe essentially want this integral to converge to the integral of a Brownian motion.\n\nWe're going to define\n\nWe're going to assume wer'e cutting up our timespan $\\[0\\,t\\]$ into $n$ equal sized pieces.\n\nWhat we're doing here is that if we have this path of a Brownian motion, we will create time partitions where we are cutting it up into equal spaces. And our process takes the value of the motion at time 0 until time 1, then resets to time 1, then time 2, so it turns it into a random walk. As $n$ gets larger and larger, this converges to Brownian motion pointwise, no place for discontinuities to hide.\n\nI can now express this integral as\n\nThe widths come from the change in Brownian motion.\n\nWe'll denote $W_j = W (frac(j t, n))$ for convenience, so this becomes\n\n$= sum_(j = 0)^(n - 1) W_j\\(W_(j + 1) - W_j\\)$\n\nWe're going to look at the expansion of this squaredd\n\n$1 / 2 sum_(j = 0)^(n - 1)\\(W_(j + 1) - W_j\\)^2= 1 / 2 sum_(j = 0)^(n - 1) W_(j + 1)^2 - sum_(j = 0)^(n - 1) W_j W_(j + 1) + 1 / 2 sum_(j = 0)^(n - 1) W_j^2$\n\nThe 1/2 will become relevant later\n\nNow, first thing I'm going to observe is that I could take this first term and rewrite it as\n\n$sum_(k = 1)^n W_k^2$\n\nI'm doing a reindex and starting at $k$. What would this be when $k = 0$? 0. So this will be the same thing as\n\n$= sum_(k = 0)^n W_k^2 = W_n^2 + sum_(j = 0)^(N - 1) W_j^2$\n\nThe expansion of this is\n\n$= 1 / 2 W_n^2 + sum_(j = 0)^(n - 1)\\(W_j^2 - W_j W_(j + 1)\\)$\n\nWell, this is\n\n$= 1 / 2 W_n^2 + sum_(j = 0)^(n - 1) W_j\\(W_j - W_(j + 1)\\)$\n\nThis term here is very close to where we left off in the original expansion. I can move this to the other side, which takes out the -1, which makes them correspond.\n\nWe have just proven that\n\n$sum_(j = 0)^(n - 1) W_j\\(W_(j + 1) - W_j\\)= 1 / 2 W_n^2 - 1 / 2 sum_(j = 0)^(n - 1)\\(W_(j + 1) - W_j\\)^2$\n\nAfter substituting that back in, I now have that\n\n$integral_0^t W\\(u\\)d W\\(u\\)= lim_(n arrow.r oo) (1 / 2 W_n^2 - 1 / 2 sum_(j = 0)^(n - 1) \\( W_(j + 1) - W_j \\)^2)$\n\nWhat is $W_n$?\n\nThis doesn't depend on $n$. If you look very carefully at the summation of the difference of squares, that's quadratic variation, so $t$\n\n$= 1 / 2 W^2\\(t\\)- t / 2$\n\nThe quadratic variation is the precise property which makes stochastic integral different\n\nThis is the correct answer if we use the left-hand endpoints i.e.~if this is an adaptive process.\n\nRight hand endpoint also\n\nStratonyvich integral if we use midpoint, so that's intuitive. Why don't we use it? It's not adaptive/measurable, it requires you to evaluate the value of the expression halfway through the integral. That would be the equivalent of choosing your trading position at the middle of the day for the entire day. That's impossible. So we have to use Ito integrals.\n\n==== Differential Form\n<differential-form>\nIf we were dealing with regular calculus, and you asked me to find the differential of a function, I would look at it and use the chain rule. But Brownian motion isn't differentiable.\n\n$d f\\(W\\(t\\)\\)= f'\\(W\\(t\\)\\)W'\\(t\\)d t = f'\\(W\\(t\\)\\)d W\\(t\\)$\n\nWe're still not going to have it correct because of quadratic variation. We actually have\n\n$d f\\(W\\(t\\)\\)= f'\\(W\\(t\\)\\)d W\\(t\\)+ 1 / 2 f''\\(W\\(t\\)\\)d t$\n\nIf we look at the integral form and we look at both sides,\n\nBy the theorem of calculus, integral of differential should be difference between bounds. So we must prove this.\n\nWe're going to use the Taylor series to come up with some expansions. This is going to be\n\n$f\\(x\\)= sum_(k = 0)^oo frac(f^(\\(k\\))\\(a\\)\\(x - a\\)^k, k !)$\n\nwriting out the first few terms, this is\n\n$= f\\(a\\)+ f'\\(a\\)\\(x - 1\\)+ 1 / 2 f''\\(a\\)\\(x - a\\)^2+ 1 / 6 f'''\\(a\\)\\(x - a\\)^3dots.h$\n\nSo, I have that $f\\(x\\)- f\\(a\\)$ equals all of this stuff\n\nThis is true for any function that we can do the Taylor approximation on. We're going to keep this in mind and then I want to talk about #strong[telescoping sums]. For a sequence ${ X_i }_(i in { 1\\,dots.h\\,n })$ what can you tell me about this/\n\n$sum_(i = 0)^(n - 1)\\(X_(i + 1) - X_i\\)= X_1 - X_0 + X_2 - X_1 + X_3 - X_2 + dots.h + X_(n - 1) - X_(n - 2) + X_n - X_(n - 1)$\n\nWell this is going to cancel out in between so we end up just getting the difference between the endpoints.\n\n$= X_n - X_0$\n\nWe now have most of our pieces.\n\nI'm going to say that for a given partition $Pi$, I'm going to let $x = W\\(t_(j + 1)\\)$, $a = W\\(t_j\\)$. I'm going to rewrite this Taylro series expansions with these variables. I now have\n\n$f\\(W\\(t_(j + 1)\\)\\)- f\\(W\\(t_j\\)\\)= f'\\(W\\(t_j\\)\\)\\(W\\(t_(j + 1)\\)- W\\(t_j\\)\\)+ 1 / 2 f''\\(W\\(t_j\\)\\)\\(W\\(t_(j + 1)\\)- W\\(t_j\\)\\)^2+ 1 / 6 f'''\\(W\\(t_j\\)\\)\\(W\\(t_(j + 1)\\)- W\\(t_j\\)\\)^3+ dots.h$\n\nThen, I am now going to take (and remember, if I can do it to both sides I can do anything) I am going to add both of these sides up\n\n$sum_(j = 0)^(n - 1) (f \\( W \\( t_(j + 1) \\) \\) - f \\( W \\( t_j \\) \\)) = sum_(j = 0)^(n - 1) (f' \\( W \\( t_j \\) \\) \\( W \\( t_(j + 1) \\) - W \\( t_j \\) \\) + 1 / 2 f'' \\( W \\( t_j \\) \\) \\( W \\( t_(j + 1) \\) - W \\( t_j \\) \\)^2 + 1 / 6 f''' \\( W \\( t_j \\) \\) \\( W \\( t_(j + 1) \\) - W \\( t_j \\) \\)^3 + dots.h)$\n\nThe left is just our telescoping summation. We have various summations on the other side.\n\n$f\\(W\\(t\\)\\)- f\\(W\\(0\\)\\)= sum_(j = 0)^(n - 1) f'\\(W\\(t_j\\)\\)\\(W\\(t_(j + 1)\\)- W\\(t_j\\)\\)+ 1 / 2 sum_(j = 0)^(n - 1) f''\\(W\\(t_j\\)\\)\\(W\\(t_(j + 1)\\)- W\\(t_j\\)\\)^2+ 1 / 6 sum_(j = 0)^(n - 1) f''\\(W\\(t_j\\)\\)\\(W\\(t_(j + 1)\\)- W\\(t_j\\)\\)^3+ dots.h$\n\nBecause this is for an arbitrary partition, let's look at the limit as the norm of partition goes to 0. Nothing happens on the left side, because there's no index involved there. So we'll leave it untouched.\n\n$f\\(W\\(t\\)\\)- f\\(W\\(0\\)\\)= lim_(parallel Pi parallel arrow.r 0) sum_(j = 0)^(n - 1) f'\\(W\\(t_j\\)\\)\\(W\\(t_(j + 1)\\)- W\\(t_j\\)\\)+ 1 / 2 lim_(parallel Pi parallel arrow.r 0) sum_(j = 0)^(n - 1) f''\\(W\\(t_j\\)\\)\\(W\\(t_(j + 1)\\)- W\\(t_j\\)\\)^2+ lim_(parallel Pi parallel arrow.r 0) 1 / 6 sum_(j = 0)^(n - 1) f''\\(W\\(t_j\\)\\)\\(W\\(t_(j + 1)\\)- W\\(t_j\\)\\)^3+ dots.h$\n\nWe're writing this all down because we will need to refer back to this later! Now, let's look and see how this limit affects this. As we're dealing with the limit of the norm of this partition going to 0, this change in Brownian motion is going to converge to $d W\\(u\\)$ the differential. That is the definition of the differential. That means that this term inside the exponent is just the differential. So we get the first term as $d W\\(u\\)$, then the second term as $d u$ because that's what we determined. And after we multiply it one more time, it will be 0, because that's also proven. So we can throw out all terms after the second order. This gives us one Ito integral and one Riemann integral. What we have here is\n\n$= integral_0^t f'\\(W\\(u\\)\\)d W\\(u\\)+ 1 / 2 integral_0^t f''\\(W\\(u\\)\\)d u$ At this point, everybody should know that the 1/2 appears because of the Taylor expansion. Everybody makes the mistake and forgets it, so you need to be extra vigilant on homework and tests for this.\n\n==== Ito Formula\n<ito-formula>\nThat leads us to being able to prove Theorem 4.4.1 the Ito formula for Brownian motion:\n\nLet $f\\(t\\,x\\)$ be a function for which the partial derivatives etc.\n\n$f\\(T\\,W\\(T\\)\\)= f\\(0\\,W\\(0\\)\\)dots.h$\n\nI would strongly suggest that you use a different form of the Ito formula.\n\n$f\\(a\\,b\\)$ is some function such that $f_a$, $f_b$, and $f_(b b b b)$ exist.\n\n$f\\(t\\,W\\(t\\)\\)= f\\(0\\,W\\(0\\)\\)+ integral_0^t f_a\\(u\\,W\\(u\\)\\)d u + integral_0^t f_b\\(u\\,W\\(u\\)\\)d W\\(u\\)+ 1 / 2 integral_0^t f_(b b)\\(u\\,W\\(u\\)\\)d\\[W\\,W\\]d u$\n\nThis lets us remember where all the pieces are coming from. We can see that $f$ is only considered with respect to these dummy variables.\n\nWhere does this formula come from? The two dimensional Taylor series expansion!\n\nFor some function, centered around the point $\\(a_0\\,b_0\\)$\n\n$f\\(a\\,b\\)- f\\(a_0\\,b_0\\)= f_a\\(a_0\\,b_0\\)\\(a - a_0\\)+ f_b\\(a_0\\,b_0\\)\\(b - b_0\\)$\n\nThese are all the first order derivatives. Then we get\n\n$+ 1 / 2 f_(a a)\\(a_0\\,b_0\\)\\(a - a_0\\)^2+ 1 / 2 f_(a b)\\(a_0\\,b_0\\)\\(a - a_0\\)\\(b - b_0\\)+ 1 / 2 f_(b a)\\(a_0\\,b_0\\)\\(b - b_0\\)\\(a - a_0\\)+ 1 / 2 f_(b b)\\(a_0\\,b_0\\)\\(b - b_0\\)^2+ 1 / 6 + dots.h$\n\ninto the second and third order and so on.\n\nWe will let $a_0 = t_j$, $a = t_(j + 1)$, $b_0 = W\\(t_j\\)$, $b = W\\(t_(j + 1)\\)$\n\nWe're going to do the same sum to telescoping sum trick here.\n\n$f\\(t\\,W\\(t\\)\\)- f\\(0\\,0\\)= sum_(j = 0)^(n - 1) f_a\\(t_j\\,W\\(t_j\\)\\)\\(t_(j + 1) - t_j\\)+ sum_(j = 0)^(n - 1) f_b\\(t_j\\,W\\(t_j\\)\\)\\(W\\(t_(j + 1)\\)- W\\(t_j\\)\\)+ 1 / 2 sum_(j = 0)^(n - 1) f_(a a)\\(t_j\\,W\\(t_j\\)\\)\\(t_(j + 1) - t_j\\)^2+ sum_(j = 0)^(n - 1) f_(a b)\\(t_j\\,W\\(t_j\\)\\)\\(t_(j + 1) - t_j\\)\\(W\\(t_(j + 1) - W\\(t_j\\)\\)+ 1 / 2 sum_(j = 0)^(n - 1) f_(b b)\\(t_j\\,W\\(t_j\\)\\)\\(t_(j + 1) - t_j\\)\\(W\\(t_(j + 1)\\)- W\\(t_j\\)\\)$\n\nassume that fab and fba are the same\n\nThe differential notation makes the limit transparent: $d u$ is first-order time, $d W\\(u\\)$ is the Brownian increment, $d u$ times any differential is 0, and $\\(d W\\(u\\)\\)^2= d u$ through quadratic variation. The only nonzero second-order term is therefore the quadratic-variation term. That is how we get the Itô formula.\n\nUsing this formula, we can now try and solve a simple exercise. The only stochastic part of the Ito formula is in the $f_b$ part. So let's try and move everything to the other side of the expression.\n\n$integral_0^t f_b\\(u\\,W\\(u\\)\\)d W\\(u\\)= f\\(t\\,W\\(t\\)\\)- f\\(0\\,W\\(0\\)\\)- integral_0^t f_a\\(u\\,W\\(u\\)\\)d u - 1 / 2 integral_0^t f_(b b)\\(u\\,W\\(u\\)\\)d u$\n\nSo, if I was given the problem, what is\n\n$integral_0^t W\\(u\\)d W\\(u\\)$\n\nThat seems to suggest that\n\n$f_b\\(u\\,W\\(u\\)\\)= W\\(u\\)$\n\nWhat would be $f_b\\(a\\,b\\)$? I don't want to work with my functions with stochastic crap, I want to use well-defined dummy variables?\n\n$f_b\\(a\\,b\\)= b$\n\nIf I do this substitution, then this is what i results in.\n\nThen what is\n\n$f_(b b)\\(a\\,b\\)$? 1.\n\nI am going to do this the hardest possible way right now, to demonstrate how it's done.\n\n$f\\(a\\,b\\)= b^2 / 2 + g\\(a\\)+ C$\n\nwith $g$ being some arbitrary function, which has to be true because of all these derivatives. NOTE: this $f_b$ is the notation for a partial derivative with respect to $b$.\n\nWe will prove that $g\\(a\\)$ and $C$ must be 0, so we don't have to worry about them later.\n\n$f_a\\(a\\,b\\)= g'\\(a\\)$\n\nWith these choices, I'm going to be able to say that this\n\n$integral_0^t W\\(u\\)d W\\(u\\)= frac(W^2\\(t\\), 2) + g\\(t\\)+ C - frac(W^2\\(0\\), 2) - g\\(0\\)- C - integral_0^t g'\\(u\\)d u - 1 / 2 integral_0^t d u$\n\nThis is just plugging are previous values in the formula. We can cancel out the constant, so it will be 0 in the future.\n\nWhat is the integral of $g$? It would just be $g\\(t\\)- g\\(0\\)$. So it didn't matter at all what function we used, so we'll just use 0 in the future. What's left over is\n\n$= frac(W^2\\(t\\), 2) - t / 2$\n\nwhich is the same exact answer.\n\n==== Another Baby\n<another-baby>\n$integral_0^t u d W\\(u\\)$\n\nWe know that the partial derivative $f_b\\(u\\,W\\(u\\)\\)= u$, so $f_b\\(a\\,b\\)= a$, $f_(b b) = 0$.\n\nSo what is $f$? $f = a b$. We know that $f_a = b$.\n\nProfessor recommendation: do everything with $a$ and $b$, which is very handy. You don't get messed up about the connections between $t$ and $W\\(t\\)$. This becomes\n\n$= t W\\(t\\)- integral_0^t W\\(u\\)d u$\n\nbecause everything else is 0. This is the fast way of doing it, just calculate the partial derivatives and solve through dummy variables until you can't anymore.\n\nCan you integrate Brownian motion? That value represents the area under Brownian motion. Knowing that every time Brownian motion is generated, it has a different value every time, you have to represent it as an integral, there's no simplification because you can't know more. Lonon will troll the students by putting Riemann integrals on exams and homework. Students always try to throw away all the other math when they learn stochastic calculus.\n\n==== Ito Processes\n<ito-processes>\nOne benefit of these stochastic integrals is that we can create the #strong[Ito process]. Our only requirement is that our processes have to be adapted.\n\n$X\\(t\\)= X\\(0\\)+ integral_0^t Delta\\(u\\)d W\\(u\\)+ integral_0^t Theta\\(u\\)d u$\n\nWe can show that the quadratic variation of this process is the same as the quadratic variation of the integral\n\n$\\[X\\,X\\]\\(t\\)= integral_0^t Delta^2\\(u\\)d u$\n\nNow let's talk about the differential of a stochastic process.\n\n$d X\\(t\\)= lim_(delta arrow.r 0^(+))\\(X\\(t + delta\\)- X\\(t\\)\\)$\n\n$= lim_(delta arrow.r 0^(+)) (integral_t^(t + delta) Delta \\( u \\) d W \\( u \\) + integral_t^(t + delta) Theta \\( u \\) d u)$\n\nWhen we're talking about integrals over these tiny increments, it's something different.\n\n$lim_(delta arrow.r 0^(+))\\(Delta\\(t\\)\\(W\\(t + delta\\)- W\\(t\\)\\)+ Theta\\(t\\)\\(t + delta - t\\)\\)$\n\nThese limits are the same. This means that when you take the limit, you get\n\n$= Delta\\(t\\)d W\\(t\\)+ Theta\\(t\\)d t$\n\nWe can now take the differential of any integral really quickly. This is a really simple trick.\n\nWhat if we squared it?\n\n$\\(d X\\(t\\)\\)^2=\\(Delta\\(t\\)d W\\(t\\)+ Theta\\(t\\)d t\\)^2$\n\nLet's expand the square\n\n$= Delta^2\\(t\\)\\(d W\\(t\\)\\)^2+ 2 Delta\\(t\\)Theta\\(t\\)d t d W\\(t\\)+ Theta^2\\(t\\)\\(d t\\)^2$ Let's simplify almost all of this. We know that all the dt squared and dtdW(t) are 0\n\n$= Delta^2\\(t\\)d t$\n\nThis is an approach that will work for a continuous process. An Ito process has to be a continuous process. It's a nonrandom variable plus an Ito integral plus a Riemann integral. We can use this approach: Since I know that\n\n$\\(d X\\(t\\)\\)^2= d\\[X\\,X\\]\\(t\\)$\n\nThat means that\n\n$integral_0^t\\(d X\\(u\\)\\)^2=\\[X\\,X\\]\\(t\\)$\n\nIF $X$ IS CONTINUOUS#strong[.]\n\nThis is the quick proof.\n\nWe can now define an Ito integral with respect to an Ito process.\n\n$integral_0^t Gamma\\(u\\)d X\\(u\\)= integral_0^t Gamma\\(u\\)Delta\\(u\\)d W\\(u\\)+ integral_0^t Gamma\\(u\\)Theta\\(u\\)d u$\n\nYour stock process would follow some stochastic process, and this reprseents a trading strategy\n\nWe can now find, where $Delta$ is a simple process that dictates how we choose stocks,\n\n$integral_0^t Delta\\(w\\)d S\\(w\\)$\n\nWe can vary it based on the stock price. We can actually use this Ito formula to take differentials as well as integrals. With the expression $f\\(t\\,W\\(t\\)\\)$, if we assume\n\n$d f\\(t\\,W\\(t\\)\\)= f_a\\(t\\,W\\(t\\)\\)d t + f_b\\(t\\,W\\(t\\)\\)d W\\(t\\)+ 1 / 2 f_(b b)\\(t\\,W\\(t\\)\\)\\(d W\\(t\\)\\)^2$\n\nIf I said this function was geometric Brownian motion\n\n$f\\(t\\,W\\(t\\)\\)= S\\(0\\)e^(\\(alpha - sigma^2 / 2\\)t + sigma W\\(t\\))$\n\nFor simplicity, we'll replace with a and b\n\n$f\\(a\\,b\\)= S\\(0\\)e^(\\(alpha - sigma^2 / 2\\)a + sigma b)$\n\nThen what are our partials? $f_a =\\(alpha - sigma^2 / 2\\)f\\(a\\,b\\)$\n\n$f_b = sigma f\\(a\\,b\\)$\n\n$f_(b b) = sigma^2 f\\(a\\,b\\)$\n\n#strong[Open question:] look more into partial derivatives and why this is true.\n\nThis means that\n\n$d S\\(t\\)=\\(alpha - sigma^2 / 2\\)S\\(t\\)d t + sigma S\\(t\\)d W\\(t\\)+ 1 / 2 sigma^2 S\\(t\\)d t$\n\nThose terms cancel, which means this whole thing is\n\n$= alpha S\\(t\\)d t + sigma S\\(t\\)d W\\(t\\)$\n\nor, written slightly differently,\n\n$frac(d S\\(t\\), S\\(t\\)) = alpha d t + sigma d W\\(t\\)$\n\nNow we can see why we're looking at GBM. When Black-Scholes were looking for a way to model the stock prices. They looked at this instantaneous drift $alpha$ and the $sigma$ that is the diffusion. The problem is that this is nonsense because you can have negative stocks in that model. So now they look at proportional changes in the stock processes, which is sort of like instantaneous return. This is what this dynamic is showing us. We have drift and diffusion.\n\nThat means that our original integral for choosing stocks is\n\n$integral_0^t Delta\\(u\\)d S\\(u\\)= integral_0^t Delta\\(u\\)alpha S\\(u\\)d u + integral_0^t Delta\\(u\\)sigma\\(u\\)$\n\nOur process is coming from deterministic drift and random diffusion. That also finally gets us to theorem 4.4.6, which is the best version of this formula, the Ito formula for an Ito process.\n\nThe source starts the general Itô-process formula here but leaves it unfinished (#strong[Open question:] finish the displayed formula from the slides).\n\nThe first argument corresponds to the first differential $d u$, and then the second one is done once than twice, which is what goes into the quadratic variation.\n\nWhy is this true? Let's go back to the two dimensional Taylor series.\n\nIf we use $X$ the Ito process instead of $W$ Brownian motion, you end up with the same combinations. $d u d X\\(u\\)$. We can create a general rule that $d t$/$d u$ multiplied by any other differential is 0. REMEMBER THIS.\n\nThe only difference is that the quadratic variation of the Ito process, which is $Delta^2\\(u\\)d u$\n\nThis also can be expressed in differential form, which loses a few details.\n\n==== Generalized GBM\n<generalized-gbm>\nYou can also have generalized Geometric Brownian Motion, which is different from regular GBM. We can now say that $alpha$ and $sigma$ are no longer inputs, they are stochastic processes in themselves. They are still adapted, but they are stochastic.\n\nIF I define\n\n$S\\(t\\)= S\\(0\\)exp (integral_0^t \\( alpha \\( u \\) - frac(sigma^2\\(u\\), 2) \\) d u + integral_0^t sigma \\( u \\) d W \\( u \\))$\n\nI can't do the differential hre normally because I don't have everything substitutable, we don't have W(t) really. We can't write this as a function of $t$ and $W\\(t\\)$\n\nBut I can define a new stochastic process\n\n$X\\(t\\)= integral_0^t\\(alpha\\(u\\)- frac(sigma^2\\(u\\), 2)\\)d u + integral_0^t sigma\\(u\\)d W\\(u\\)$\n\nCan I write $S\\(t\\)$ now as an Ito process?\n\n$S\\(t\\)= S\\(0\\)e^(X\\(t\\)) = f\\(t\\,X\\(t\\)\\)$\n\nMy Ito formula is going to tell me that\n\n$d S\\(t\\)= f_a\\(t\\,X\\(t\\)\\)d t + f_b\\(t\\,X\\(t\\)\\)d X\\(t\\)+ 1 / 2 f_(b b)\\(t\\,X\\(t\\)\\)\\(d X\\(t\\)\\)^2$\n\nThis helps me know what I'm missing to find this differential.\n\n$f\\(a\\,b\\)= S\\(0\\)e^b$\n\nTherefore, $f_a = 0$, $f_b = f$, $f_(b b) = f$\n\n$d X\\(t\\)=\\(alpha\\(t\\)- frac(sigma^2\\(t\\), 2)\\)d t + sigma\\(t\\)d W\\(t\\)$\n\n$\\(d X\\(t\\)\\)^2= sigma^2\\(t\\)d t$\n\nThis is because… I don't know he didn't explain 🙁\n\n$d S\\(t\\)= 0 d t + S\\(t\\)d X\\(t\\)+ 1 / 2 S\\(t\\)\\(d X\\(t\\)\\)^2$\n\n$= S\\(t\\)\\(alpha\\(t\\)- frac(sigma^2\\(t\\), 2)\\)d t + S\\(t\\)sigma\\(t\\)d W\\(t\\)+ 1 / 2 S\\(t\\)sigma^2\\(t\\)d t$ All of that is $S\\(t\\)d X\\(t\\)$\n\nWe can cancel out the $sigma^2$ portion and create\n\n$= S\\(t\\)alpha\\(t\\)d t + S\\(t\\)sigma\\(t\\)d W\\(t\\)$\n\nThis is the same as GBM, but we need to derive this by using the Ito process.\n\nThe Ito formula for Ito processes works for everything, which makes it the best one, 4.4.6.\n\nAn interesting result of theorem 4.4.9 is that\n\n$I\\(t\\)= integral_0^t Delta\\(s\\)d W\\(s\\)$\n\nThe random variable is normally distributed. Let's prove that.\n\nThe key to this proof is that I'm going to first define\n\n$X\\(t\\)= u I\\(t\\)- u^2 / 2 integral_0^t Delta^2\\(s\\)d s$.\n\nWhat is $bb(E) [e^(X\\(t\\))] = ?$\n\nLet's look at the differential, the #strong[Ito decomposition]. This makes it much more clear if this is an Ito process.\n\n$d (e^(X\\(t\\))) = e^(X\\(t\\)) d X\\(t\\)+ 1 / 2 e^(X\\(t\\))\\(d X\\(t\\)\\)^2$\n\nBut what we don't have well defined is $d X\\(t\\)$. But that shouldn't be too bad.\n\n$d X\\(t\\)= u d I\\(t\\)- u^2 / 2 Delta^2\\(t\\)d t$\n\nI know what is given to us by 4.4.9\n\n$= u Delta\\(t\\)d W\\(t\\)- u^2 / 2 Delta^2\\(t\\)d t$\n\n$d (e^(X\\(t\\))) = e^(X\\(t\\)) u Delta\\(t\\)d W\\(t\\)- e^(X\\(t\\)) u^2 / 2 Delta^2\\(t\\)d t + 1 / 2 e^(X\\(t\\)) u^2 Delta^2\\(t\\)d t$\n\nREMEMBER THAT $\\(d X\\(t\\)\\)^2$ is $Delta^2 d t$\n\nCanceling out $e$ terms, we get\n\n$= e^(X\\(t\\)) u Delta\\(t\\)d W\\(t\\)$\n\nIntegrating both sides, we get\n\n$e^(X\\(t\\)) = e^(X\\(0\\)) + integral_0^t e^(X\\(s\\)) u Delta\\(s\\)d W\\(s\\)$\n\nI can see an interesting thing here. This formula must be a martingale, because it's a constant plus a martingale. All Ito integrals with respect to Brownian motion are martingales.\n\n$= 1 + integral_0^t e^(X\\(s\\)) dots.h$\n\nThe expected value is the same as when it's conditioned on zero information, which is 1.\n\n$bb(E) [exp (u I \\( t \\) - u^2 / 2 integral_0^t Delta^2 \\( s \\) d s)] = 1$\n\n$Delta$ is explicitly nonrandom, so $I\\(t\\)$ is the only stochastic part of it.\n\nThat means you actually have\n\n$bb(E) [e^(u I\\(t\\))] = exp dots.h$\n\nThat's how you get a moment generating function, for a normal random variable, for mean 0 and variance given by this integral.\n\n==== Vasicek\n<vasicek>\nWe don't only use stochastic processes for stock prices. There are many random things in finance, like interest rates. There are different models for this. This is given by this stochastic differential equation:\n\n$d R\\(t\\)-\\(alpha - beta R\\(t\\)\\)d t + sigma d W\\(t\\)$\n\nIt ahsa closed form solution, which we can prove.\n\nThis Vasicek model has a mean reverting component. We can see this by looking at the behavior of this process if the current value of interest rate $R\\(t\\)< alpha / beta$, then $\\(alpha - beta R\\(t\\)\\)> 0$. If our interest rate falls below this level, our drift term becomes strictly positive. We're going to have a general upward drift if this happens. But what if it goes below that? We get pulled back down. What happens if we hit it perfectly? We still have noise in our model from $sigma d W\\(t\\)$, so we will never have an equilibrium.\n\nClosed form solution:\n\n$R\\(t\\)= R\\(0\\)e^(- beta t) + alpha / beta\\(1 - e^(- beta t)\\)+ sigma e^(- beta t) integral_0^t e^(beta u) d W\\(u\\)$\n\nWe'll pick the Ito process\n\n$X\\(t\\)= integral_0^t e^(beta u) d W\\(u\\)$\n\nBecause this will give us\n\n$R\\(t\\)= f\\(t\\,X\\(t\\)\\)$\n\nWe need to find $d X\\(t\\)$\n\n$d X\\(t\\)= e^(beta t) d W\\(t\\)$ We'll substitute with $a a n d$b\\$\n\n$f\\(a\\,b\\)= R\\(0\\)e^(- beta a) + alpha / beta\\(1 - e^(- beta a)\\)+ sigma e^(- beta a) b$\n\nWhat's our partials? $f_a = - beta R\\(0\\)e^(- beta a) + alpha e^(- beta a) - beta sigma e^(- beta a) b$\n\n$f_b = sigma e^(- beta a)$\n\n$f_(b b) = 0$\n\nIf we run our Ito formula:\n\n$d R\\(t\\)=\\(- beta R\\(0\\)e^(- beta t) + alpha e^(- beta t) - beta sigma e^(- beta t) X\\(t\\)\\)d t + sigma e^(- beta t) d X\\(t\\)+ 1 / 2\\(0\\)\\(d X\\(t\\)\\)^2$\n\nLet's factor out this $- beta$ and cancel out $d X\\(t\\)\\)$ when we factor it in.\n\n$= - beta\\(R\\(0\\)e^(- beta t) - alpha / beta e^(- beta t) + sigma e^(- beta t) X\\(t\\)\\)d t + sigma d W\\(t\\)\\)$\n\nWe are very close to being $R\\(t\\)$. The only difference is $alpha / beta$ So we'll add and subtract it.\n\n$= - beta (- alpha / beta + R \\( 0 \\) e^(- beta t) + alpha / beta - alpha / beta e^(- beta t) + sigma e^(- beta t) X \\( t \\)) d t + sigma d W\\(t\\)$\n\nWhen we cancel out the denominator with $beta$, we get\n\n$=\\(alpha - beta R\\(t\\)\\)d t + sigma d W\\(t\\)$\n\nThis is very nice because we can get the expected value of $R\\(t\\)$ more easily.\n\n$bb(E)\\[R\\(t\\)\\]= bb(E) [R \\( 0 \\) e^(- beta t) + alpha / beta (1 - e^(- beta t)) + sigma e^(- beta t) integral_0^t e^(beta t) d W \\( s \\)]$\n\n#strong[Whenever you're calculating expectations, you need to figure out what's random, because the expectation of a constant is itself.]\n\nThe only random thing is the Ito integral, which is a martingale, so we get\n\n$= R\\(0\\)e^(- beta t) + alpha / beta (1 - e^(- beta t))$\n\nWhat would be the long-term rate?\n\n$lim_(t arrow.r oo) bb(E)\\[R\\(t\\)\\]= alpha / beta$\n\nThis term is called the long-term interest rate, what it's mean reverting to.\n\nThis seems like a pretty interesting process. Ito process, closed form solution, but it's got a big flaw. The only thing that's random is the integral.\n\nIf you add a constant to a normal distribution, it's still normal. We just agreed that this process is normally distributed, which means that there's a nonzero probability that the interest rate could be negative. Depending on what you're modeling, like risk-free interest rates in a functioning economy, this could be really bad.\n\nSome very intelligent people saw this problem and fixed it.\n\n==== Cox-Ingersoll-Ross\n<cox-ingersoll-ross>\nThe CIR interest rate model adds in one thing: a square root. In order for the interest rate to go negative, it has to go to 0. This model causes noise to disappear as interest rates go to 0, so upward drift increases.\n\n$d R\\(t\\)=\\(alpha - beta R\\(t\\)\\)d t + sigma sqrt(R\\(t\\)) d W\\(t\\)$\n\nUnfortunately, there is no obvious closed-form solution. Fortunately, we're built different. We would look at\n\n$d (e^(beta t) R \\( t \\)) = d f\\(t\\,R\\(t\\)\\)$\n\nwhere the dummy function is\n\n$f\\(a\\,b\\)= e^(beta a) b$\n\n$f_a = beta f$\n\n$f_b = e^(beta a)$\n\n$f_(b b) = 0$\n\nSo the differential becomes\n\n$= beta e^(beta t) R\\(t\\)d t + e^(beta t) d R\\(t\\)$\n\n$= beta e^(beta t) R\\(t\\)d t + e^(beta t)\\(alpha - beta R\\(t\\)\\)d t + e^(beta t) sigma sqrt(R\\(t\\)) d W\\(t\\)$\n\nWe see what happens is that the terms get canceled because we chose this specific differential.\n\n$= alpha e^(beta t) d t + sigma sqrt(R\\(t\\)) e^(beta t) d W\\(t\\)$\n\nI can integrate both sides and get\n\n$e^(beta t) R\\(t\\)- e^(beta\\(0\\)) R\\(0\\)= integral_0^t alpha e^(beta u) thin d u + integral_0^t sigma sqrt(R\\(u\\)) e^(beta u) thin d W\\(u\\)$\n\nI can kind of get $R\\(t\\)$ by itself but not all the way because I can't get rid of the square root. There is no fancy thing I can look at to make this thing behave. But I will still have\n\n$R\\(t\\)= R\\(0\\)e^(- beta t) + alpha / beta\\(1 - e^(- beta t)\\)+ e^(- beta t) integral_0^t sigma sqrt(R\\(t\\)) e^(beta u) d W\\(u\\)$\n\nWhich means I can get the expectation, which would not necessarily be given by the original expression.\n\nIf I tried doing that with the original, I depend on $R\\(u\\)$. But in my new form, the only $R\\(u\\)$ is contained in the stochastic integral which we know has expectation 0.","dataUrl":"https://sharifhsn.dev/api/posts/ito-calculus.json","date":"2024-10-10","datePublished":"2024-10-10","description":"This is seemingly one of the simplest integrals you could do. If we’re going to do this integral, how we’re going to do that is to create a process Δ 𝑛 ( 𝑢 ) → 𝑊 ( 𝑢 ) that…","site":"https://sharifhsn.dev","slug":"ito-calculus","source":"FE-610 | Stochastic Calculus","sourceUrl":null,"tags":["Stochastic Calculus","Ito Lemma","Geometric Brownian Motion"],"title":"Itô Calculus","url":"https://sharifhsn.dev/blog/ito-calculus/","version":"1","wordCount":6816}