{"categories":["Stochastic Calculus"],"contentHtml":"<h3>Week 7</h3><h4>Lecture Notes</h4><p>We’re going to be talking about multivariable stochastic calculus. All of this material is fair game for the midterm. Next week is the midterm review session. Bring questions!</p><p>We’re mostly going to be doing applications and extensions today, which is not too bad.</p><p>How do we deal with more than one source of randomness? We need to have more than one Brownian motion. We have been talking about the money market and a risky asset, but there are multiple stocks in existence. We need multiple sources of noise. We can’t use the single source of noise, because Tropicana and Amtrak are impacted differently from e.g.&nbsp;the price of steel. How do we work with multiple sources of noise?</p><p>Let’s define what it means to have a d-dimensional Brownian motion. In order to consider a 10-dimensional Brownian motion as opposed to 10 Brownian motions, we need to have each process to be a Brownian motion, and these are all independent. We need to define the associated filtration on this space. Information should accumulate, and everything should be measurable with respect to that filtration, and each of those increments should be independent.</p><p>Because each one is a Brownian motion in its own right, the quadratic variation for each Brownian motion is t. I’m still going to have</p><p><math><mi>𝑑</mi><msub><mi>𝑊</mi><mi>𝑖</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><msub><mi>𝑊</mi><mi>𝑖</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑑</mi><mi>𝑡</mi></math></p><p>We still don’t know the cross-variation between two independent Brownian motions? <math><mi>𝑑</mi><msub><mi>𝑊</mi><mi>𝑖</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><msub><mi>𝑊</mi><mi>𝑗</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo rspace=\"0em\">=</mo><mo separator=\"true\" lspace=\"0em\" rspace=\"0em\">?</mo></math></p><p>We will prove that this is 0.</p><p>Similar to what we did for proving the quadratic variation to be t, we’re going to do a mean squared convergence. We will create a process <math><msub><mi>𝐶</mi><mi mathvariant=\"normal\">Π</mi></msub></math> the sample cross-variation:</p><p><math><msub><mi>𝐶</mi><mi mathvariant=\"normal\">Π</mi></msub><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><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 form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><msub><mi>𝑊</mi><mi>𝑖</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑘</mi></msub><mo stretchy=\"false\">)</mo></mrow><mo>)</mo></mrow><mrow><mo>(</mo><mrow><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 form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><msub><mi>𝑊</mi><mi>𝑗</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑘</mi></msub><mo stretchy=\"false\">)</mo></mrow><mo>)</mo></mrow></math></p><p>This would be the real cross variation if it went to 0. We are going to study the expectation and variance as the norm of the partition goes to 0.</p><p>If we can define these and figure these out, we can show that the cross variation will converge to the variable that has this mean and this variance.</p><p>How could I calculate the expected value? Let’s just use the definition</p><p><math><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msub><mi>𝐶</mi><mi mathvariant=\"normal\">Π</mi></msub><mo form=\"postfix\" stretchy=\"false\">]</mo><mo>=</mo><mi>𝔼</mi><mrow><mo>[</mo><mrow><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><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 form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><msub><mi>𝑊</mi><mi>𝑖</mi></msub><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><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 form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><msub><mi>𝑊</mi><mi>𝑗</mi></msub><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></math></p><p>I have linearity, so I can move the expectation inside the summation.</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><mi>𝔼</mi><mrow><mo>[</mo><mrow><mo stretchy=\"false\">(</mo><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 form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><msub><mi>𝑊</mi><mi>𝑖</mi></msub><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><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 form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><msub><mi>𝑊</mi><mi>𝑗</mi></msub><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></math></p><p>Now we use independence. These two Brownian motions are independent from each other, so their increments are independent. Using this independence, we say</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><mi>𝔼</mi><mrow><mo>[</mo><mrow><mo stretchy=\"false\">(</mo><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 form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><msub><mi>𝑊</mi><mi>𝑖</mi></msub><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><mi>𝔼</mi><mrow><mo>[</mo><mrow><mo stretchy=\"false\">(</mo><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 form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><msub><mi>𝑊</mi><mi>𝑗</mi></msub><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></math></p><p>Well what is that expected value? 0!</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mn>0</mn></math></p><p>What is the limit as the norm of the partition goes to 0, of 0? 0!</p><p>Now let’s do variance <math><mi>𝕍</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msub><mi>𝐶</mi><mi mathvariant=\"normal\">Π</mi></msub><mo stretchy=\"false\">]</mo></math></p><p>We could try the traditional expectation of squares method, but we would then have to work with <math><msubsup><mi>𝐶</mi><mi mathvariant=\"normal\">Π</mi><mn>2</mn></msubsup></math>. What is that?</p><p><math><msubsup><mi>𝐶</mi><mi mathvariant=\"normal\">Π</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><mrow><mo>(</mo><mrow><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 form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><msub><mi>𝑊</mi><mi>𝑖</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑘</mi></msub><mo stretchy=\"false\">)</mo></mrow><mo>)</mo></mrow><mrow><mo>(</mo><mrow><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 form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><msub><mi>𝑊</mi><mi>𝑗</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑘</mi></msub><mo stretchy=\"false\">)</mo></mrow><mo>)</mo></mrow><mo lspace=\"0.2222222222222222em\" rspace=\"0.2222222222222222em\">⋅</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><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 form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><msub><mi>𝑊</mi><mi>𝑖</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑘</mi></msub><mo stretchy=\"false\">)</mo></mrow><mo>)</mo></mrow><mrow><mo>(</mo><mrow><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 form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><msub><mi>𝑊</mi><mi>𝑗</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑘</mi></msub><mo stretchy=\"false\">)</mo></mrow><mo>)</mo></mrow></math></p><p>Which isn’t wrong, but is maybe more daunting than we need. Maybe there’s a better way we can tackle this. We’re going to take advantage of properties we know about variance. In particular, we have this result:</p><p><math><mi>𝕍</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝛼</mi><mi>𝑋</mi><mo>+</mo><mi>𝛽</mi><mi>𝑌</mi><mo form=\"postfix\" stretchy=\"false\">]</mo><mo>=</mo><msup><mi>𝛼</mi><mn>2</mn></msup><mi>𝕍</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑋</mi><mo form=\"postfix\" stretchy=\"false\">]</mo><mo>+</mo><mn>2</mn><mi>𝛼</mi><mi>𝛽</mi><mi>𝑐</mi><mi>𝑜</mi><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><mn>2</mn></msup><mi>𝕍</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑌</mi><mo stretchy=\"false\">]</mo></math></p><p>In order for this to be useful, we need these numbers to be independent. We have the property that future increments are independent of the filtration, so we will have the independence between the product of the increments.</p><p>Aside: The cross variation of a process with respect to itself is the same as quadratic variation.</p><p>We can then write</p><p><math><mi>𝕍</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msub><mi>𝐶</mi><mi mathvariant=\"normal\">Π</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><mi>𝕍</mi><mrow><mo>[</mo><mrow><mo stretchy=\"false\">(</mo><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 form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><msub><mi>𝑊</mi><mi>𝑖</mi></msub><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><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 form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><msub><mi>𝑊</mi><mi>𝑗</mi></msub><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></math></p><p>because of this independence. Let’s examine the variance of one of these elements.</p><p>To get this variance, we can take the expectation of squares here.</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝔼</mi><mrow><mo>[</mo><mrow><msubsup><mtext>Inc</mtext><mi>𝑖</mi><mn>2</mn></msubsup><mo lspace=\"0.2222222222222222em\" rspace=\"0.2222222222222222em\">⋅</mo><msubsup><mtext>Inc</mtext><mi>𝑗</mi><mn>2</mn></msubsup></mrow><mo>]</mo></mrow><mo>−</mo><mi>𝔼</mi><msup><mrow><mo>[</mo><mrow><msub><mtext>Inc</mtext><mi>𝑖</mi></msub><mo lspace=\"0.2222222222222222em\" rspace=\"0.2222222222222222em\">⋅</mo><msub><mtext>Inc</mtext><mi>𝑗</mi></msub></mrow><mo>]</mo></mrow><mn>2</mn></msup></math></p><p>I know for any Brownian motion that the variance is length of time, because that’s quadratic variation. Therefore it’s just that value squared.</p><p><math><mo form=\"infix\" lspace=\"0em\">=</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 stretchy=\"false\">)</mo><mn>2</mn></msup></math></p><p>For this normal random variable, the expected value is 0, so in this case the variance is the same as the variance squared. Now if we look at the limit of the norm of the partition going to 0 for the variance, we get</p><p><math><msub><mo 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\" 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>But that’s just the formula for the quadratic variation of time, which must be 0 because it’s a continuous differentiable function.</p><p>If it’s converging to mean 0 and variance 0, then that’s just 0.</p><p>We have proven that the cross variation is 0, and therefore the differential of the cross variation is also 0.</p><p>If you multiply a Brownian motion by itself, you get the variance not the mean. This result is only for independent Brownian motions.</p><h5>Two Dimensional Ito Process</h5><p>This leads us to our two dimensional Ito process. Big distinction between just two Brownian motions and the two-dimensional, because dimensional means independent.</p><p>We could write a standard Ito process as</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>But now my <math><mi mathvariant=\"normal\">Δ</mi></math> and <math><mi>𝑊</mi></math> are both vectors, and we take the dot product of these, which is a scalar vector multiplication</p><p>Why don’t we have a dot product with the <math><mi mathvariant=\"normal\">Θ</mi></math>s? Can you have multi-dimensional time? No.&nbsp;We don’t want multidimensional time, so we don’t have multidimensional <math><mi mathvariant=\"normal\">Θ</mi></math>. <math><mi mathvariant=\"normal\">Θ</mi></math> could depend on the process, but you wouldn’t decompose with reference to different aspects of movements in time.</p><p>What if we take the differential?</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><mn>1</mn></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><msub><mi>𝑊</mi><mn>1</mn></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><msub><mi>𝜎</mi><mn>2</mn></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><msub><mi>𝑊</mi><mn>2</mn></msub><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>Now what if we square it? Too long to write out, but it follows all the rules of multiplication. We proved earlier that <math><mo stretchy=\"false\">(</mo><mi>𝑑</mi><msub><mi>𝑊</mi><mn>1</mn></msub><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 dt, and the same for <math><mi>𝑑</mi><msub><mi>𝑊</mi><mn>2</mn></msub></math>. We also know that the product of those is 0 because their cross variation is 0, and the product of dt and any of these dW is 0. So most of it is gone. The only thing that sticks around is</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mrow><mo>(</mo><mrow><msubsup><mi>𝜎</mi><mn>1</mn><mn>2</mn></msubsup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><msubsup><mi>𝜎</mi><mn>2</mn><mn>2</mn></msubsup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow><mo>)</mo></mrow><mi>𝑑</mi><mi>𝑡</mi></math> I can use this result. I know that this is a handy way to get the quadratic variation of an Ito process by integrating this differential.</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\" rspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mrow><mo>(</mo><mrow><msubsup><mi>𝜎</mi><mn>1</mn><mn>2</mn></msubsup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><msubsup><mi>𝜎</mi><mn>2</mn><mn>2</mn></msubsup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></mrow><mo>)</mo></mrow><mspace width=\"0.1667em\"></mspace><mi>𝑑</mi><mi>𝑢</mi></math></p><p>There’s a lot of different ways to do this. <math><mi mathvariant=\"normal\">Σ</mi></math> is just standing in here for any adapted stochastic process. We are going to define <math><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math> by its own Ito process. These multidimensional Ito processes have the nonrandom constant, d Ito integrals, and then the Riemann of time.</p><p>Let’s say we have two well-defined multidimensional Ito processes in this way. Defined as such, what is</p><p><math><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 rspace=\"0em\">=</mo><mo separator=\"true\" lspace=\"0em\" rspace=\"0em\">?</mo></math></p><p>Let’s not write out all these terms. We know that dW multiplied by any differential except itself is 0, and dt multiplied by any differential is 0. So we get the terms</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝜎</mi><mrow><mi>𝑋</mi><mo rspace=\"0em\">,</mo><mn>1</mn></mrow></msub><mo>+</mo><msub><mi>𝜎</mi><mrow><mi>𝑋</mi><mo rspace=\"0em\">,</mo><mn>2</mn></mrow></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝜎</mi><mrow><mi>𝑌</mi><mo rspace=\"0em\">,</mo><mn>1</mn></mrow></msub><mo>+</mo><msub><mi>𝜎</mi><mrow><mi>𝑌</mi><mo rspace=\"0em\">,</mo><mn>2</mn></mrow></msub><mo stretchy=\"false\">)</mo></math></p><p>This is all to build up to the concept of the two dimensional Ito formula. We are going to use the Taylor series expansion with <em>three</em> variables now. That would say that</p><p><math><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><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>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>,</mo><msub><mi>𝑋</mi><mi>𝑘</mi></msub><mo>,</mo><msub><mi>𝑌</mi><mi>𝑘</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><msub><mi>𝑓</mi><mi>𝑡</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑘</mi></msub><mo>,</mo><msub><mi>𝑋</mi><mi>𝑘</mi></msub><mo>,</mo><msub><mi>𝑌</mi><mi>𝑘</mi></msub><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><msub><mi>𝑓</mi><mi>𝑋</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑘</mi></msub><mo>,</mo><msub><mi>𝑋</mi><mi>𝑘</mi></msub><mo>,</mo><msub><mi>𝑌</mi><mi>𝑘</mi></msub><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><msub><mi>𝑓</mi><mi>𝑌</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑘</mi></msub><mo>,</mo><msub><mi>𝑋</mi><mi>𝑘</mi></msub><mo>,</mo><msub><mi>𝑌</mi><mi>𝑘</mi></msub><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 stretchy=\"false\">)</mo></math> And all the second order terms. But we don’t worry about those… we can use the same arguments from the past and move the first element to the left as a telescoping sum. When we sum all of these together and get the limits, we can turn all those increment terms into differentials. And then because the second order involves multiplying differentials, these all become 0. Not all of them though. The cross terms are not 0 based on our definition, so we still need to consider <math><msub><mi>𝑓</mi><mrow><mi>𝑋</mi><mi>𝑋</mi></mrow></msub></math>, <math><msub><mi>𝑓</mi><mrow><mi>𝑋</mi><mi>𝑌</mi></mrow></msub></math>, and <math><msub><mi>𝑓</mi><mrow><mi>𝑌</mi><mi>𝑌</mi></mrow></msub></math>. But we can rage quit on third order because that definition includes dt, so we will eliminate those and get 0.</p><p><strong>For future reference: <math><mi>𝑋</mi><mo>=</mo><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math>, <math><mi>𝑌</mi><mo>=</mo><mi>𝑌</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math>, to save my fingers.</strong></p><p><math><mi>𝑑</mi><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑋</mi><mo>,</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>,</mo><mi>𝑌</mi><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>,</mo><mi>𝑌</mi><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>,</mo><mi>𝑌</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑌</mi><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>,</mo><mi>𝑌</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><msup><mi>𝑋</mi><mn>2</mn></msup><mo>+</mo><msub><mi>𝑓</mi><mrow><mi>𝑋</mi><mi>𝑌</mi></mrow></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑋</mi><mo>,</mo><mi>𝑌</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑋</mi><mi>𝑑</mi><mi>𝑌</mi><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>,</mo><mi>𝑌</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><msup><mi>𝑌</mi><mn>2</mn></msup></math></p><p>These are all partials.</p><p>We have the product rule of Ito processes. And we still need to include the cross term. In normal calculus, this term is 0. <math><mi>𝑑</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑋</mi><mi>𝑌</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑋</mi><mi>𝑑</mi><mi>𝑌</mi><mo>+</mo><mi>𝑌</mi><mi>𝑑</mi><mi>𝑋</mi><mo>+</mo><mi>𝑑</mi><mi>𝑋</mi><mi>𝑑</mi><mi>𝑌</mi></math></p><p>Let’s do our partials to prove this. <math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑋</mi><mo>,</mo><mi>𝑌</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑋</mi><mi>𝑌</mi></math></p><p><math><msub><mi>𝑓</mi><mi>𝑡</mi></msub><mo>=</mo><mn>0</mn><mo>,</mo><msub><mi>𝑓</mi><mi>𝑋</mi></msub><mo>=</mo><mi>𝑌</mi><mo>,</mo><msub><mi>𝑓</mi><mi>𝑌</mi></msub><mo>=</mo><mi>𝑋</mi><mo>,</mo><msub><mi>𝑓</mi><mrow><mi>𝑋</mi><mi>𝑋</mi></mrow></msub><mo>=</mo><mn>0</mn><mo>,</mo><msub><mi>𝑓</mi><mrow><mi>𝑋</mi><mi>𝑌</mi></mrow></msub><mo>=</mo><mn>1</mn><mo>,</mo><msub><mi>𝑓</mi><mrow><mi>𝑌</mi><mi>𝑌</mi></mrow></msub><mo>=</mo><mn>0</mn></math></p><p>Then using our formula, that’s</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mn>0</mn><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><mi>𝑌</mi><mi>𝑑</mi><mi>𝑋</mi><mo>+</mo><mi>𝑋</mi><mi>𝑑</mi><mi>𝑌</mi><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><mi>𝑑</mi><msup><mi>𝑋</mi><mn>2</mn></msup><mo>+</mo><mn>1</mn><mi>𝑑</mi><mi>𝑋</mi><mi>𝑑</mi><mi>𝑌</mi><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><mi>𝑑</mi><msup><mi>𝑌</mi><mn>2</mn></msup></math></p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝑋</mi><mi>𝑑</mi><mi>𝑌</mi><mo>+</mo><mi>𝑌</mi><mi>𝑑</mi><mi>𝑋</mi><mo>+</mo><mi>𝑑</mi><mi>𝑋</mi><mi>𝑑</mi><mi>𝑌</mi></math></p><p>Let’s find the differential of the discounted stock process</p><p><math><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></math> I could do the whole stochastic mess we did before, or I could recognize that this is something where I can use the Ito product rule.</p><p><math><mi>𝑑</mi><mrow><mo>(</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝑟</mi><mi>𝑡</mi></mrow></msup><mo>)</mo></mrow><mo>=</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝑟</mi><mi>𝑡</mi></mrow></msup><mi>𝑑</mi><mi>𝑆</mi><mo>+</mo><mi>𝑆</mi><mi>𝑑</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝑟</mi><mi>𝑡</mi></mrow></msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mi>𝑑</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝑟</mi><mi>𝑡</mi></mrow></msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑆</mi></math></p><p><math><mi>𝑑</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝑟</mi><mi>𝑡</mi></mrow></msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mo form=\"prefix\">−</mo><mi>𝑟</mi><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝑟</mi><mi>𝑡</mi></mrow></msup><mi>𝑑</mi><mi>𝑡</mi></math></p><p>Warning: you need the dt, or it’s not a differential, it’s a derivative! A derivative is the rate of change, and the differential is the instantaneous change. The derivative does not exist because Brownian motion is not smooth anywhere, so we have to use the differential.</p><p>Any continuous process with t and W(t) is an Ito process. All of our results are only for continuous processes.</p><h5>Lévy</h5><p>This is a very handy result. If we have a martingale M relative to filtration <math><mi>ℱ︀</mi></math>, the starting value is 0, it’s continuous, and the quadratic variation is t, then it is a Brownian motion. We don’t actually need the normally distributed part to prove this.</p><p>Quadratic variation and variance are different things! Quadratic variation is how much second order variation a process will have on one path, and it’s a random variable. The variance is how much you expect the process to differ from its mean on average, which is a single number.</p><p>We are going to prove that this is a Brownian motion. We will need all of these components. Because M is continuous, it must be a continuous process, which means we have an Ito decomposition, so M is an Ito process.</p><p>So we can now use the Ito formula to look at an arbitrary function f on M <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><msup><mi>𝑀</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math></p><p>I know that M(0) is equal to 0 from rule 2, and we also know that <math><mi>𝑑</mi><msup><mi>𝑀</mi><mn>2</mn></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math> is <math><mi>𝑑</mi><mi>𝑢</mi></math> because of rule 4 (definition of quadratic variation).</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\" rspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mrow><mo>(</mo><mrow><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><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 stretchy=\"false\">)</mo></mrow><mo>)</mo></mrow><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><mspace width=\"0.1667em\"></mspace><mi>𝑑</mi><mi>𝑀</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math></p><p>This is a trick where we use a sledgehammer as a scalpel. We have established this true for any function f, so it has to be true for one particular function. That particular function is if</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><mo lspace=\"0em\" rspace=\"0em\">−</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msup><mi>𝑢</mi><mn>2</mn></msup><mi>𝑎</mi></mrow></msup></math></p><p>with a nonrandom dummy variable <math><mi>𝑢</mi></math> that we don’t know the value of. Let’s get our partials.</p><p><math><msub><mi>𝑓</mi><mi>𝑎</mi></msub><mo>=</mo><mo form=\"prefix\">−</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>,</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> <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> If I plugged this in, I would get</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><mo lspace=\"0em\" rspace=\"0em\">−</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msup><mi>𝑢</mi><mn>2</mn></msup><mi>𝑡</mi></mrow></msup></math> I have now that (skipping some steps)</p><p><math><msup><mi>𝑒</mi><mrow><mi>𝑢</mi><mi>𝑀</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msup><mi>𝑢</mi><mn>2</mn></msup><mi>𝑡</mi></mrow></msup><mo>=</mo><mn>1</mn><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝑢</mi><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>If I take the expected value, I can factor out the nonrandom component</p><p><math><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msup><mi>𝑒</mi><mrow><mi>𝑢</mi><mi>𝑀</mi></mrow></msup><mo form=\"postfix\" stretchy=\"false\">]</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msup><mi>𝑢</mi><mn>2</mn></msup><mi>𝑡</mi></mrow></msup><mo>=</mo><mn>1</mn><mo>+</mo><mi>𝔼</mi><mrow><mo>[</mo><mrow><msubsup><mo lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝑢</mi><mo lspace=\"0.2222222222222222em\" rspace=\"0.2222222222222222em\">⋅</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></mrow><mo>]</mo></mrow></math></p><p>Exercise 4.1 asked us to prove that an Ito integral with respect to a martingale is still a martingale, which was a further proof of the class proof on a Brownian motion. Therefore the expectation of the Ito integral, which is itself a martingale, must be 0, because that was its initial value.</p><p><math><mi>𝔼</mi><mrow><mo>[</mo><msup><mi>𝑒</mi><mrow><mi>𝑢</mi><mi>𝑀</mi></mrow></msup><mo>]</mo></mrow><mo>=</mo><msup><mi>𝑒</mi><mrow><mfrac><mn>1</mn><mn>2</mn></mfrac><msup><mi>𝑢</mi><mn>2</mn></msup><mi>𝑡</mi></mrow></msup></math></p><p>And that is the moment generating function of a normal variable with mean 0 and variance t.</p><p>So you can prove that the martingale is normally distributed. Then you can go forward and say that it’s a Brownian motion (proof left as exercise).</p><p>Now let’s do a two dimensional Lévy.</p><p>The same four properties are important to us, with the tweak that the cross variation has to be 0.</p><p>We are considering each martingale in the set. We can use the same proof we did before to find the expectation and variance of a two dimensional Brownian motion to get the solution for every function f, and then generalize to</p><p><math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>,</mo><mi>𝑋</mi><mo>,</mo><mi>𝑌</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msup><mi>𝑒</mi><mrow><msub><mi>𝑢</mi><mn>1</mn></msub><mi>𝑋</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><msub><mi>𝑢</mi><mn>2</mn></msub><mi>𝑌</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><mo form=\"prefix\" stretchy=\"false\">(</mo><msubsup><mi>𝑢</mi><mn>1</mn><mn>2</mn></msubsup><mo lspace=\"0em\" rspace=\"0em\">+</mo><msubsup><mi>𝑢</mi><mn>2</mn><mn>2</mn></msubsup><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑡</mi></mrow></msup></math></p><p>which results in</p><p><math><mi>𝔼</mi><mrow><mo>[</mo><msup><mi>𝑒</mi><mrow><msub><mi>𝑢</mi><mn>1</mn></msub><msub><mi>𝑀</mi><mn>1</mn></msub><mo lspace=\"0em\" rspace=\"0em\">+</mo><msub><mi>𝑢</mi><mn>2</mn></msub><msub><mi>𝑀</mi><mn>2</mn></msub></mrow></msup><mo>]</mo></mrow><mo>=</mo><msup><mi>𝑒</mi><mrow><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mi>𝑢</mi><mn>1</mn><mn>2</mn></msubsup><mi>𝑡</mi></mrow></msup><msup><mi>𝑒</mi><mrow><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mi>𝑢</mi><mn>2</mn><mn>2</mn></msubsup><mi>𝑡</mi></mrow></msup></math></p><p>which is the joint moment generating function.</p><p>What we have expressed here is that the joint moment generating functions are the product of the individual moment generating functions, which means that the martingales are independent. That’s the only requirement to prove dimensionality, since we’ve already proved that they’re individually Brownian motions.</p><h5>Correlated Stock Prices</h5><p>Let’s say you have two stock prices and you don’t want them to be independent, since that’s how the real world works. The claim is that we can express differentials for the stock processes:</p><p><math><mi>𝑑</mi><msub><mi>𝑆</mi><mn>1</mn></msub><mo>=</mo><msub><mi>𝛼</mi><mn>1</mn></msub><msub><mi>𝑆</mi><mn>1</mn></msub><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><msub><mi>𝜎</mi><mn>1</mn></msub><msub><mi>𝑆</mi><mn>1</mn></msub><mi>𝑑</mi><msub><mi>𝑊</mi><mn>1</mn></msub></math></p><p><math><mi>𝑑</mi><msub><mi>𝑆</mi><mn>2</mn></msub><mo>=</mo><msub><mi>𝛼</mi><mn>2</mn></msub><msub><mi>𝑆</mi><mn>2</mn></msub><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><msub><mi>𝜎</mi><mn>2</mn></msub><msub><mi>𝑆</mi><mn>2</mn></msub><mrow><mo>(</mo><mrow><mi>𝜌</mi><mi>𝑑</mi><msub><mi>𝑊</mi><mn>1</mn></msub><mo>+</mo><msqrt><mn>1</mn><mo>−</mo><msup><mi>𝜌</mi><mn>2</mn></msup></msqrt><mi>𝑑</mi><msub><mi>𝑊</mi><mn>2</mn></msub></mrow><mo>)</mo></mrow></math></p><p>We can all agree that <math><msub><mi>𝑆</mi><mn>1</mn></msub></math> follows Brownian motion, so we know its closed form solution.</p><p><math><msub><mi>𝑆</mi><mn>2</mn></msub></math> is only a Brownian motion if that big term on the right is a Brownian motion.</p><p>Let’s think abstractly. We have a Brownian motion</p><p><math><msub><mi>𝐵</mi><mn>1</mn></msub><mo>=</mo><msub><mi>𝑊</mi><mn>1</mn></msub></math></p><p>And another</p><p><math><msub><mi>𝐵</mi><mn>2</mn></msub><mo>=</mo><mi>𝜌</mi><msub><mi>𝑊</mi><mn>1</mn></msub><mo>+</mo><msqrt><mn>1</mn><mo>−</mo><msup><mi>𝜌</mi><mn>2</mn></msup></msqrt><msub><mi>𝑊</mi><mn>2</mn></msub></math></p><p>Lévy helps us prove this by giving us the four conditions to satisfy. We need the martingale property. So let’s see what the expectation is on the filtration.</p><p><math><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝜌</mi><msub><mi>𝑊</mi><mn>1</mn></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><msqrt><mn>1</mn><mo>−</mo><msup><mi>𝜌</mi><mn>2</mn></msup></msqrt><msub><mi>𝑊</mi><mn>2</mn></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo lspace=\"0em\" rspace=\"0em\">|</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 can separate through linearity.</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝜌</mi><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msub><mi>𝑊</mi><mn>1</mn></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo lspace=\"0em\" rspace=\"0em\">|</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><msqrt><mn>1</mn><mo>−</mo><msup><mi>𝜌</mi><mn>2</mn></msup></msqrt><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msub><mi>𝑊</mi><mn>2</mn></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo lspace=\"0em\" rspace=\"0em\">|</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 already know that Brownian motion is a martingale, so we can use that information here.</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝜌</mi><msub><mi>𝑊</mi><mn>1</mn></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><msqrt><mn>1</mn><mo>−</mo><msup><mi>𝑝</mi><mn>2</mn></msup></msqrt><msub><mi>𝑊</mi><mn>2</mn></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></math></p><p>Which by definition is</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><msub><mi>𝐵</mi><mi>𝑤</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></math></p><p>It also fulfills the zero property if you substitute. What about continuity? It’s a linear combination of continuous processes, so it must be continuous.</p><p>Final: what is quadratic variation? We can solve that simply through <math><mi>𝑑</mi><msup><mi>𝐵</mi><mn>2</mn></msup></math></p><p><math><mi>𝑑</mi><msubsup><mi>𝐵</mi><mn>2</mn><mn>2</mn></msubsup><mo>=</mo><msup><mi>𝜌</mi><mn>2</mn></msup><mi>𝑑</mi><mi>𝑡</mi><mo>+</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>1</mn><mo>−</mo><msup><mi>𝑝</mi><mn>2</mn></msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑡</mi></math></p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝑑</mi><mi>𝑡</mi></math></p><p>So it must be a Brownian motion. Now pulling us back to our original stock process.</p><p><math><msub><mi>𝑆</mi><mn>1</mn></msub><mo>=</mo><msub><mi>𝑆</mi><mn>1</mn></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑒</mi><mrow><mo stretchy=\"false\">(</mo><msub><mi>𝛼</mi><mn>1</mn></msub><mo lspace=\"0em\" rspace=\"0em\">−</mo><mfrac><msubsup><mi>𝜎</mi><mn>1</mn><mn>2</mn></msubsup><mn>2</mn></mfrac><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><msub><mi>𝜎</mi><mn>1</mn></msub><msub><mi>𝐵</mi><mn>1</mn></msub></mrow></msup></math></p><p>We have chosen our correlation coefficient to be between −1 and 1 so that we don’t deal with imaginary numbers.</p><p>If we take the cross variation of these stock processes.</p><p>These are two Brownian motions, but they have correlation. Their cross variation is not 0! But what about their covariance?</p><p>What is the correlation between our sources of noise? We need to know the covariance. We already know the variances of Brownian motion.</p><p>I’m going to have that</p><p><math><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msub><mi>𝐵</mi><mn>1</mn></msub><mo lspace=\"0em\" rspace=\"0em\">|</mo><msub><mi>𝐵</mi><mn>2</mn></msub><mo form=\"postfix\" stretchy=\"false\">]</mo><mo>=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msub><mi>𝐵</mi><mn>1</mn></msub><mi>𝑑</mi><msub><mi>𝐵</mi><mn>2</mn></msub><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msub><mi>𝐵</mi><mn>2</mn></msub><mi>𝑑</mi><msub><mi>𝐵</mi><mn>1</mn></msub><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝑑</mi><msub><mi>𝐵</mi><mn>1</mn></msub><mi>𝑑</mi><msub><mi>𝐵</mi><mn>2</mn></msub></math></p><p>We have Ito integral with respect to martingale, so that becomes 0</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝜌</mi><mi>𝑑</mi><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">]</mo><mo>=</mo><mi>𝜌</mi><mi>𝑡</mi></math></p><p>Therefore the covariance is</p><p><math><mfrac><mrow><mtext>Cov</mtext><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝐵</mi><mn>1</mn></msub><mo rspace=\"0em\">,</mo><msub><mi>𝐵</mi><mn>2</mn></msub><mo stretchy=\"false\">)</mo></mrow><mrow><msqrt><mi>𝕍</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msub><mi>𝐵</mi><mn>1</mn></msub><mo stretchy=\"false\">]</mo></msqrt><msqrt><mi>𝕍</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msub><mi>𝐵</mi><mn>2</mn></msub><mo stretchy=\"false\">]</mo></msqrt></mrow></mfrac><mo>=</mo><mi>𝜌</mi></math></p><p>This is the Kolesky decomposition of these two correlated Brownian motion into independent Brownian motions.</p><p>What is the correlation of my two stocks given by these processes? We get this through the original equation that <math><msub><mi>𝑆</mi><mn>1</mn></msub></math> follows GBM, and we know that structure</p><p><math><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msub><mi>𝑆</mi><mn>1</mn></msub><mo form=\"postfix\" stretchy=\"false\">]</mo><mo>=</mo><mi>𝔼</mi><mrow><mo>[</mo><mrow><msub><mi>𝑆</mi><mn>1</mn></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑒</mi><mrow><mo stretchy=\"false\">(</mo><msub><mi>𝛼</mi><mn>1</mn></msub><mo lspace=\"0em\" rspace=\"0em\">−</mo><mfrac><msubsup><mi>𝜎</mi><mn>1</mn><mn>2</mn></msubsup><mn>2</mn></mfrac><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><msub><mi>𝜎</mi><mn>1</mn></msub><msub><mi>𝐵</mi><mn>1</mn></msub></mrow></msup></mrow><mo>]</mo></mrow></math></p><p>Skipping some steps,</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><msub><mi>𝑆</mi><mn>1</mn></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑒</mi><mrow><msub><mi>𝛼</mi><mn>1</mn></msub><mi>𝑡</mi></mrow></msup></math></p><p>How do we get the variance of <math><msub><mi>𝑆</mi><mn>1</mn></msub></math>?</p><p><math><mi>𝕍</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msub><mi>𝑆</mi><mn>1</mn></msub><mo form=\"postfix\" stretchy=\"false\">]</mo><mo>=</mo><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msubsup><mi>𝑆</mi><mn>1</mn><mn>2</mn></msubsup><mo form=\"postfix\" stretchy=\"false\">]</mo><mo>−</mo><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msub><mi>𝑆</mi><mn>1</mn></msub><msup><mo stretchy=\"false\">]</mo><mn>2</mn></msup></math></p><p>This would be</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><msubsup><mi>𝑆</mi><mn>1</mn><mn>2</mn></msubsup><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑒</mi><mrow><mn>2</mn><msub><mi>𝛼</mi><mn>1</mn></msub><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><msubsup><mi>𝜎</mi><mn>1</mn><mn>2</mn></msubsup><mi>𝑡</mi></mrow></msup><mo>−</mo><msubsup><mi>𝑆</mi><mn>1</mn><mn>2</mn></msubsup><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑒</mi><mrow><mn>2</mn><mi>𝛼</mi><mi>𝑡</mi></mrow></msup></math></p><p>We would then take the square root of this to get the standard deviation, so in order to plug this in we need to know the covariance between <math><msub><mi>𝑆</mi><mn>1</mn></msub></math> and <math><msub><mi>𝑆</mi><mn>2</mn></msub></math>, which is</p><p><math><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msub><mi>𝑆</mi><mn>1</mn></msub><msub><mi>𝑆</mi><mn>2</mn></msub><mo form=\"postfix\" stretchy=\"false\">]</mo><mo>−</mo><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msub><mi>𝑆</mi><mn>1</mn></msub><mo form=\"postfix\" stretchy=\"false\">]</mo><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msub><mi>𝑆</mi><mn>2</mn></msub><mo stretchy=\"false\">]</mo></math></p><p>I’ve created these through correlated Brownian motion, so I can’t just say they’re independent. I know that they’re Ito processes though! So I can decompose.</p><p><math><mi>𝑑</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑆</mi><mn>1</mn></msub><msub><mi>𝑆</mi><mn>2</mn></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msub><mi>𝑆</mi><mn>1</mn></msub><mi>𝑑</mi><msub><mi>𝑆</mi><mn>2</mn></msub><mo>+</mo><msub><mi>𝑆</mi><mn>2</mn></msub><mi>𝑑</mi><msub><mi>𝑆</mi><mn>1</mn></msub><mo>+</mo><mi>𝑑</mi><msub><mi>𝑆</mi><mn>1</mn></msub><mi>𝑑</mi><msub><mi>𝑆</mi><mn>2</mn></msub></math></p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><msub><mi>𝑆</mi><mn>1</mn></msub><msub><mi>𝛼</mi><mn>2</mn></msub><msub><mi>𝑆</mi><mn>2</mn></msub><mi>𝑑</mi><msub><mi>𝐵</mi><mn>2</mn></msub></math></p>","contentSourceFormat":"typst","contentTypst":"== Week 7\n<week-7>\n=== Lecture Notes\n<lecture-notes>\nWe're going to be talking about multivariable stochastic calculus. All of this material is fair game for the midterm. Next week is the midterm review session. Bring questions!\n\nWe're mostly going to be doing applications and extensions today, which is not too bad.\n\nHow do we deal with more than one source of randomness? We need to have more than one Brownian motion. We have been talking about the money market and a risky asset, but there are multiple stocks in existence. We need multiple sources of noise. We can't use the single source of noise, because Tropicana and Amtrak are impacted differently from e.g.~the price of steel. How do we work with multiple sources of noise?\n\nLet's define what it means to have a d-dimensional Brownian motion. In order to consider a 10-dimensional Brownian motion as opposed to 10 Brownian motions, we need to have each process to be a Brownian motion, and these are all independent. We need to define the associated filtration on this space. Information should accumulate, and everything should be measurable with respect to that filtration, and each of those increments should be independent.\n\nBecause each one is a Brownian motion in its own right, the quadratic variation for each Brownian motion is t. I'm still going to have\n\n$d W_i\\(t\\)d W_i\\(t\\)= d t$\n\nWe still don't know the cross-variation between two independent Brownian motions? $d W_i\\(t\\)d W_j\\(t\\)= ?$\n\nWe will prove that this is 0.\n\nSimilar to what we did for proving the quadratic variation to be t, we're going to do a mean squared convergence. We will create a process $C_Pi$ the sample cross-variation:\n\n$C_Pi = sum_(k = 0)^(n - 1) (W_i \\( t_(k + 1) \\) - W_i \\( t_k \\)) (W_j \\( t_(k + 1) \\) - W_j \\( t_k \\))$\n\nThis would be the real cross variation if it went to 0. We are going to study the expectation and variance as the norm of the partition goes to 0.\n\nIf we can define these and figure these out, we can show that the cross variation will converge to the variable that has this mean and this variance.\n\nHow could I calculate the expected value? Let's just use the definition\n\n$bb(E)\\[C_Pi\\]= bb(E) [sum_(k = 0)^(n - 1) \\( W_i \\( t_(k + 1) \\) - W_i \\( t_k \\) \\) \\( W_j \\( t_(k + 1) \\) - W_j \\( t_k \\) \\)]$\n\nI have linearity, so I can move the expectation inside the summation.\n\n$= sum_(k = 0)^(n - 1) bb(E) [\\( W_i \\( t_(k + 1) \\) - W_i \\( t_k \\) \\) \\( W_j \\( t_(k + 1) \\) - W_j \\( t_k \\) \\)]$\n\nNow we use independence. These two Brownian motions are independent from each other, so their increments are independent. Using this independence, we say\n\n$= sum_(k = 0)^(n - 1) bb(E) [\\( W_i \\( t_(k + 1) \\) - W_i \\( t_k \\) \\)] bb(E) [\\( W_j \\( t_(k + 1) \\) - W_j \\( t_k \\) \\)]$\n\nWell what is that expected value? 0!\n\n$= 0$\n\nWhat is the limit as the norm of the partition goes to 0, of 0? 0!\n\nNow let's do variance $bb(V)\\[C_Pi\\]$\n\nWe could try the traditional expectation of squares method, but we would then have to work with $C_Pi^2$. What is that?\n\n$C_Pi^2 = sum_(k = 0)^(n - 1) (W_i \\( t_(k + 1) \\) - W_i \\( t_k \\)) (W_j \\( t_(k + 1) \\) - W_j \\( t_k \\)) dot.op sum_(k = 0)^(n - 1) (W_i \\( t_(k + 1) \\) - W_i \\( t_k \\)) (W_j \\( t_(k + 1) \\) - W_j \\( t_k \\))$\n\nWhich isn't wrong, but is maybe more daunting than we need. Maybe there's a better way we can tackle this. We're going to take advantage of properties we know about variance. In particular, we have this result:\n\n$bb(V)\\[alpha X + beta Y\\]= alpha^2 bb(V)\\[X\\]+ 2 alpha beta c o v\\(X\\,Y\\)+ beta^2 bb(V)\\[Y\\]$\n\nIn order for this to be useful, we need these numbers to be independent. We have the property that future increments are independent of the filtration, so we will have the independence between the product of the increments.\n\nAside: The cross variation of a process with respect to itself is the same as quadratic variation.\n\nWe can then write\n\n$bb(V)\\[C_Pi\\]= sum_(k = 0)^(n - 1) bb(V) [\\( W_i \\( t_(k + 1) \\) - W_i \\( t_k \\) \\) \\( W_j \\( t_(k + 1) \\) - W_j \\( t_k \\) \\)]$\n\nbecause of this independence. Let's examine the variance of one of these elements.\n\nTo get this variance, we can take the expectation of squares here.\n\n$= bb(E) [upright(\"Inc\")_i^2 dot.op upright(\"Inc\")_j^2] - bb(E) [upright(\"Inc\")_i dot.op upright(\"Inc\")_j]^2$\n\nI know for any Brownian motion that the variance is length of time, because that's quadratic variation. Therefore it's just that value squared.\n\n$=\\(t_(k + 1) - t_k\\)^2$\n\nFor this normal random variable, the expected value is 0, so in this case the variance is the same as the variance squared. Now if we look at the limit of the norm of the partition going to 0 for the variance, we get\n\n$lim_(parallel Pi parallel arrow.r 0) sum_(k = 0)^(n - 1)\\(t_(k + 1) - t_k\\)^2$\n\nBut that's just the formula for the quadratic variation of time, which must be 0 because it's a continuous differentiable function.\n\nIf it's converging to mean 0 and variance 0, then that's just 0.\n\nWe have proven that the cross variation is 0, and therefore the differential of the cross variation is also 0.\n\nIf you multiply a Brownian motion by itself, you get the variance not the mean. This result is only for independent Brownian motions.\n\n==== Two Dimensional Ito Process\n<two-dimensional-ito-process>\nThis leads us to our two dimensional Ito process. Big distinction between just two Brownian motions and the two-dimensional, because dimensional means independent.\n\nWe could write a standard Ito process as\n\n$X\\(t\\)= X\\(0\\)+ integral_0^t Delta\\(u\\)d W\\(u\\)+ integral_0^t Theta\\(u\\)d u$\n\nBut now my $Delta$ and $W$ are both vectors, and we take the dot product of these, which is a scalar vector multiplication\n\nWhy don't we have a dot product with the $Theta$s? Can you have multi-dimensional time? No.~We don't want multidimensional time, so we don't have multidimensional $Theta$. $Theta$ could depend on the process, but you wouldn't decompose with reference to different aspects of movements in time.\n\nWhat if we take the differential?\n\n$d X\\(t\\)= sigma_1\\(t\\)d W_1\\(t\\)+ sigma_2\\(t\\)d W_2\\(t\\)+ Theta\\(t\\)d t$\n\nNow what if we square it? Too long to write out, but it follows all the rules of multiplication. We proved earlier that $\\(d W_1\\(t\\)\\)^2$ is dt, and the same for $d W_2$. We also know that the product of those is 0 because their cross variation is 0, and the product of dt and any of these dW is 0. So most of it is gone. The only thing that sticks around is\n\n$= (sigma_1^2 \\( t \\) + sigma_2^2 \\( t \\)) d t$ I can use this result. I know that this is a handy way to get the quadratic variation of an Ito process by integrating this differential.\n\n$\\[X\\,X\\]\\(t\\)= integral_0^t (sigma_1^2 \\( u \\) + sigma_2^2 \\( u \\)) thin d u$\n\nThere's a lot of different ways to do this. $Sigma$ is just standing in here for any adapted stochastic process. We are going to define $X\\(t\\)$ by its own Ito process. These multidimensional Ito processes have the nonrandom constant, d Ito integrals, and then the Riemann of time.\n\nLet's say we have two well-defined multidimensional Ito processes in this way. Defined as such, what is\n\n$d X\\(t\\)d Y\\(t\\)= ?$\n\nLet's not write out all these terms. We know that dW multiplied by any differential except itself is 0, and dt multiplied by any differential is 0. So we get the terms\n\n$=\\(sigma_(X\\,1) + sigma_(X\\,2)\\)\\(sigma_(Y\\,1) + sigma_(Y\\,2)\\)$\n\nThis is all to build up to the concept of the two dimensional Ito formula. We are going to use the Taylor series expansion with #emph[three] variables now. That would say that\n\n$f\\(t_(k + 1)\\,X_(k + 1)\\,Y_(k + 1)\\)= f\\(t_k\\,X_k\\,Y_k\\)+ f_t\\(t_k\\,X_k\\,Y_k\\)\\(t_(k + 1) - t_k\\)+ f_X\\(t_k\\,X_k\\,Y_k\\)\\(X_(k + 1) - X_k\\)+ f_Y\\(t_k\\,X_k\\,Y_k\\)\\(Y_(k + 1) - Y_k\\)$ And all the second order terms. But we don't worry about those… we can use the same arguments from the past and move the first element to the left as a telescoping sum. When we sum all of these together and get the limits, we can turn all those increment terms into differentials. And then because the second order involves multiplying differentials, these all become 0. Not all of them though. The cross terms are not 0 based on our definition, so we still need to consider $f_(X X)$, $f_(X Y)$, and $f_(Y Y)$. But we can rage quit on third order because that definition includes dt, so we will eliminate those and get 0.\n\n#strong[For future reference: $X = X\\(t\\)$, $Y = Y\\(t\\)$, to save my fingers.]\n\n$d f\\(t\\,X\\,Y\\)= f_t\\(t\\,X\\,Y\\)d t + f_X\\(t\\,X\\,Y\\)d X + f_y\\(t\\,X\\,Y\\)d Y + 1 / 2 f_(X X)\\(t\\,X\\,Y\\)d X^2 + f_(X Y)\\(t\\,X\\,Y\\)d X d Y + 1 / 2 f_(Y Y)\\(t\\,X\\,Y\\)d Y^2$\n\nThese are all partials.\n\nWe have the product rule of Ito processes. And we still need to include the cross term. In normal calculus, this term is 0. $d\\(X Y\\)= X d Y + Y d X + d X d Y$\n\nLet's do our partials to prove this. $f\\(t\\,X\\,Y\\)= X Y$\n\n$f_t = 0\\,f_X = Y\\,f_Y = X\\,f_(X X) = 0\\,f_(X Y) = 1\\,f_(Y Y) = 0$\n\nThen using our formula, that's\n\n$= 0 d t + Y d X + X d Y + 1 / 2\\(0\\)d X^2 + 1 d X d Y + 1 / 2\\(0\\)d Y^2$\n\n$= X d Y + Y d X + d X d Y$\n\nLet's find the differential of the discounted stock process\n\n$e^(- r t) S\\(t\\)$ I could do the whole stochastic mess we did before, or I could recognize that this is something where I can use the Ito product rule.\n\n$d (e^(- r t)) = e^(- r t) d S + S d\\(e^(- r t)\\)+ d\\(e^(- r t)\\)d S$\n\n$d\\(e^(- r t)\\)= - r e^(- r t) d t$\n\nWarning: you need the dt, or it's not a differential, it's a derivative! A derivative is the rate of change, and the differential is the instantaneous change. The derivative does not exist because Brownian motion is not smooth anywhere, so we have to use the differential.\n\nAny continuous process with t and W(t) is an Ito process. All of our results are only for continuous processes.\n\n==== Lévy\n<lévy>\nThis is a very handy result. If we have a martingale M relative to filtration $cal(F)$, the starting value is 0, it's continuous, and the quadratic variation is t, then it is a Brownian motion. We don't actually need the normally distributed part to prove this.\n\nQuadratic variation and variance are different things! Quadratic variation is how much second order variation a process will have on one path, and it's a random variable. The variance is how much you expect the process to differ from its mean on average, which is a single number.\n\nWe are going to prove that this is a Brownian motion. We will need all of these components. Because M is continuous, it must be a continuous process, which means we have an Ito decomposition, so M is an Ito process.\n\nSo we can now use the Ito formula to look at an arbitrary function f on M $f\\(t\\,M\\(t\\)\\)= f\\(0\\,M\\(0\\)\\)+ integral_0^t f_a\\(u\\,M\\(u\\)\\)d u + integral_0^t f_b\\(u\\,M\\(u\\)\\)d M\\(u\\)+ 1 / 2 integral_0^t f_(b b)\\(u\\,M\\(u\\)\\)d M^2\\(u\\)$\n\nI know that M(0) is equal to 0 from rule 2, and we also know that $d M^2\\(u\\)$ is $d u$ because of rule 4 (definition of quadratic variation).\n\n$f\\(t\\,M\\(t\\)\\)= f\\(0\\,0\\)+ integral_0^t (f_a \\( u \\, M \\( u \\) \\) + 1 / 2 f_(b b) \\( u \\, M \\( u \\) \\)) d u + integral_0^t f_b\\(u\\,M\\(u\\)\\)thin d M\\(u\\)$\n\nThis is a trick where we use a sledgehammer as a scalpel. We have established this true for any function f, so it has to be true for one particular function. That particular function is if\n\n$f\\(a\\,b\\)= e^(u b - 1 / 2 u^2 a)$\n\nwith a nonrandom dummy variable $u$ that we don't know the value of. Let's get our partials.\n\n$f_a = - 1 / 2 u^2 f\\(a\\,b\\)$\n\n$f_b = u f\\(a\\,b\\)$ $f_(b b) = u^2 f\\(a\\,b\\)$ If I plugged this in, I would get\n\n$f\\(t\\,M\\)= e^(u M - 1 / 2 u^2 t)$ I have now that (skipping some steps)\n\n$e^(u M - 1 / 2 u^2 t) = 1 + integral_0^t u f\\(u\\,M\\)d M$\n\nIf I take the expected value, I can factor out the nonrandom component\n\n$bb(E)\\[e^(u M)\\]e^(- 1 / 2 u^2 t) = 1 + bb(E) [integral_0^t u dot.op f \\( u \\, M \\) d M]$\n\nExercise 4.1 asked us to prove that an Ito integral with respect to a martingale is still a martingale, which was a further proof of the class proof on a Brownian motion. Therefore the expectation of the Ito integral, which is itself a martingale, must be 0, because that was its initial value.\n\n$bb(E) [e^(u M)] = e^(1 / 2 u^2 t)$\n\nAnd that is the moment generating function of a normal variable with mean 0 and variance t.\n\nSo you can prove that the martingale is normally distributed. Then you can go forward and say that it's a Brownian motion (proof left as exercise).\n\nNow let's do a two dimensional Lévy.\n\nThe same four properties are important to us, with the tweak that the cross variation has to be 0.\n\nWe are considering each martingale in the set. We can use the same proof we did before to find the expectation and variance of a two dimensional Brownian motion to get the solution for every function f, and then generalize to\n\n$f\\(t\\,X\\,Y\\)= e^(u_1 X + u_2 Y - 1 / 2\\(u_1^2 + u_2^2\\)t)$\n\nwhich results in\n\n$bb(E) [e^(u_1 M_1 + u_2 M_2)] = e^(1 / 2 u_1^2 t) e^(1 / 2 u_2^2 t)$\n\nwhich is the joint moment generating function.\n\nWhat we have expressed here is that the joint moment generating functions are the product of the individual moment generating functions, which means that the martingales are independent. That's the only requirement to prove dimensionality, since we've already proved that they're individually Brownian motions.\n\n==== Correlated Stock Prices\n<correlated-stock-prices>\nLet's say you have two stock prices and you don't want them to be independent, since that's how the real world works. The claim is that we can express differentials for the stock processes:\n\n$d S_1 = alpha_1 S_1 d t + sigma_1 S_1 d W_1$\n\n$d S_2 = alpha_2 S_2 d t + sigma_2 S_2 (rho d W_1 + sqrt(1 - rho^2) d W_2)$\n\nWe can all agree that $S_1$ follows Brownian motion, so we know its closed form solution.\n\n$S_2$ is only a Brownian motion if that big term on the right is a Brownian motion.\n\nLet's think abstractly. We have a Brownian motion\n\n$B_1 = W_1$\n\nAnd another\n\n$B_2 = rho W_1 + sqrt(1 - rho^2) W_2$\n\nLévy helps us prove this by giving us the four conditions to satisfy. We need the martingale property. So let's see what the expectation is on the filtration.\n\n$bb(E)\\[rho W_1\\(t\\)+ sqrt(1 - rho^2) W_2\\(t\\)\\|cal(F)\\(s\\)\\]$\n\nWe can separate through linearity.\n\n$= rho bb(E)\\[W_1\\(t\\)\\|cal(F)\\(s\\)\\]+ sqrt(1 - rho^2) bb(E)\\[W_2\\(t\\)\\|cal(F)\\(s\\)\\]$\n\nWe already know that Brownian motion is a martingale, so we can use that information here.\n\n$= rho W_1\\(s\\)+ sqrt(1 - p^2) W_2\\(s\\)$\n\nWhich by definition is\n\n$= B_w\\(s\\)$\n\nIt also fulfills the zero property if you substitute. What about continuity? It's a linear combination of continuous processes, so it must be continuous.\n\nFinal: what is quadratic variation? We can solve that simply through $d B^2$\n\n$d B_2^2 = rho^2 d t +\\(1 - p^2\\)d t$\n\n$= d t$\n\nSo it must be a Brownian motion. Now pulling us back to our original stock process.\n\n$S_1 = S_1\\(0\\)e^(\\(alpha_1 - sigma_1^2 / 2\\)t + sigma_1 B_1)$\n\nWe have chosen our correlation coefficient to be between -1 and 1 so that we don't deal with imaginary numbers.\n\nIf we take the cross variation of these stock processes.\n\nThese are two Brownian motions, but they have correlation. Their cross variation is not 0! But what about their covariance?\n\nWhat is the correlation between our sources of noise? We need to know the covariance. We already know the variances of Brownian motion.\n\nI'm going to have that\n\n$bb(E)\\[B_1\\|B_2\\]= integral_0^t B_1 d B_2 + integral_0^t B_2 d B_1 + integral_0^t d B_1 d B_2$\n\nWe have Ito integral with respect to martingale, so that becomes 0\n\n$= bb(E)\\[integral_0^t rho d u\\]= rho t$\n\nTherefore the covariance is\n\n$frac(\"Cov\"\\(B_1\\,B_2\\), sqrt(bb(V)\\[B_1\\]) sqrt(bb(V)\\[B_2\\])) = rho$\n\nThis is the Kolesky decomposition of these two correlated Brownian motion into independent Brownian motions.\n\nWhat is the correlation of my two stocks given by these processes? We get this through the original equation that $S_1$ follows GBM, and we know that structure\n\n$bb(E)\\[S_1\\]= bb(E) [S_1 \\( 0 \\) e^(\\(alpha_1 - sigma_1^2 / 2\\)t + sigma_1 B_1)]$\n\nSkipping some steps,\n\n$= S_1\\(0\\)e^(alpha_1 t)$\n\nHow do we get the variance of $S_1$?\n\n$bb(V)\\[S_1\\]= bb(E)\\[S_1^2\\]- bb(E)\\[S_1\\]^2$\n\nThis would be\n\n$= S_1^2\\(0\\)e^(2 alpha_1 t + sigma_1^2 t) - S_1^2\\(0\\)e^(2 alpha t)$\n\nWe would then take the square root of this to get the standard deviation, so in order to plug this in we need to know the covariance between $S_1$ and $S_2$, which is\n\n$bb(E)\\[S_1 S_2\\]- bb(E)\\[S_1\\]bb(E)\\[S_2\\]$\n\nI've created these through correlated Brownian motion, so I can't just say they're independent. I know that they're Ito processes though! So I can decompose.\n\n$d\\(S_1 S_2\\)= S_1 d S_2 + S_2 d S_1 + d S_1 d S_2$\n\n$= S_1 alpha_2 S_2 d B_2$","dataUrl":"https://sharifhsn.dev/api/posts/multidimensional-ito-calculus.json","date":"2024-10-24","datePublished":"2024-10-24","description":"We’re going to be talking about multivariable stochastic calculus. All of this material is fair game for the midterm. Next week is the midterm review session. Bring questions!…","site":"https://sharifhsn.dev","slug":"multidimensional-ito-calculus","source":"FE-610 | Stochastic Calculus","sourceUrl":null,"tags":["Stochastic Calculus","Multidimensional Models","Correlation"],"title":"Multidimensional Itô Calculus","url":"https://sharifhsn.dev/blog/multidimensional-ito-calculus/","version":"1","wordCount":3906}