{"categories":["Stochastic Calculus"],"contentHtml":"<h4>Lecture Notes</h4><h5>Motivation - Sports Betting</h5><p>Let’s go into the world of sports gambling. Hypothetically, we’re going to have two teams competing, Team A and Team B. Objectively, Team A is the better team. Let’s say in the real world odds, they are 4:1, meaning that Team A is 4x as likely to win as Team B. That means that</p><p><math><mi>ℙ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mtext>Team A wins</mtext><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mfrac><mn>4</mn><mn>5</mn></mfrac></math></p><p><math><mi>ℙ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mtext>Team B wins</mtext><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mfrac><mn>1</mn><mn>5</mn></mfrac></math></p><p>If I use these odds for betting, let’s say I have a $10 stake on Team A. If Team A wins, I will receive my original stake + a quarter of the original stake, or $12.50. If I bet on Team B, then if Team B wins, I will receive the original stake + four times the original stake, or $50.</p><p>A bookie is collecting bets. He rounds up 40 people to bet on the game. Half bet on Team A, and half bet on Team B. Assuming that the stake is $10, they have collected $400.</p><p>If Team A wins, then the $400 collected will be paid out to the 20 individuals for the value they should get</p><p><math><mn>400</mn><mo>−</mo><mn>20</mn><mo lspace=\"0.2222222222222222em\" rspace=\"0.2222222222222222em\">×</mo><mi>$</mi><mn>12.50</mn><mo>=</mo><mi>$</mi><mn>150</mn></math></p><p>The bookie will make $150 if A wins. If B wins, then</p><p><math><mn>400</mn><mo>−</mo><mn>20</mn><mo lspace=\"0.2222222222222222em\" rspace=\"0.2222222222222222em\">×</mo><mi>$</mi><mn>50</mn><mo>=</mo><mo form=\"prefix\">−</mo><mi>$</mi><mn>600</mn></math> The bookie will lose $650 if B wins.</p><p>Let this amount be <math><mi>𝑋</mi></math>. What is <math><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑋</mi><mo stretchy=\"false\">]</mo></math>?</p><p><math><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑋</mi><mo form=\"postfix\" stretchy=\"false\">]</mo><mo>=</mo><mfrac><mn>4</mn><mn>5</mn></mfrac><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>$</mi><mn>150</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>5</mn></mfrac><mo form=\"prefix\" stretchy=\"false\">(</mo><mo form=\"prefix\">−</mo><mi>$</mi><mn>600</mn><mo stretchy=\"false\">)</mo></math></p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mn>0</mn></math> This would be what would happen if the bookie was doing this out of the goodness of their heart. What if they took 1% of the winnings (still generous)? That’s calculated out of the winnings, so 50 cents for A winning, and $8 for B winning.</p><p>This is in expectation. What if B wins four games in a row? You’re out $4000, minus this small amount.</p><p>The bookie is much more likely to notice that A and B are equally bet. They don’t care about who wins, just how people are betting. People are betting evenly on the two teams. So if the bookie gives 1:1 odds instead of 4:1, the new numbers are:</p><p>if A wins, the bettor receives $10 + $10(1/1) = $20. And the same for B.</p><p>If A wins,</p><p><math><mn>400</mn><mo>−</mo><mn>20</mn><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>20</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mn>0</mn></math></p><p>And the same for B, so expected value is 0. But if we take a little off the top, which is calculated off the difference between total received and original stake for each person and then scaled to the number of people.</p><p>The preferred approach for bookies is to do this because this way, you’ll always make money.</p><p>This is the motivation for risk-neutral pricing.</p><h5>Risk-Neutral Measure</h5><p>We are going to define a new <math><mover accent=\"true\"><mi>ℙ</mi><mo>̃</mo></mover></math> which is a probability measure defined as</p><p><math><mover accent=\"true\"><mi>ℙ</mi><mo>̃</mo></mover><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝐴</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msub><mo form=\"prefix\" lspace=\"0em\">∫</mo><mi>𝐴</mi></msub><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>on the original probability space, where <math><mi>𝑍</mi></math> is a nonnegative random variable.</p><p>In order for this to be a valid probability measure, we have to define</p><p><math><mover accent=\"true\"><mi>ℙ</mi><mo>̃</mo></mover><mo form=\"prefix\" stretchy=\"false\">(</mo><mi mathvariant=\"normal\">Ω</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msub><mo form=\"prefix\" lspace=\"0em\">∫</mo><mi mathvariant=\"normal\">Ω</mi></msub><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><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑍</mi><mo form=\"postfix\" stretchy=\"false\">]</mo><mo>=</mo><mn>1</mn></math></p><p>I could have two probability measures on a fair coin and unfair coin.</p><p>For every random variable <math><mi>𝑍</mi></math> that satisfies these properties, we can use this to define a new probability measure on the same event space (<math><mi mathvariant=\"normal\">Ω</mi></math>) and sample space (<math><mi>ℱ︀</mi></math>).</p><p>The expectation under the new probability measure is the same as multiplying with Z</p><p><math><mover accent=\"true\"><mi>𝔼</mi><mo>̃</mo></mover><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><mi>𝑍</mi><mo stretchy=\"false\">]</mo></math></p><h5>Equivalent Measures</h5><p>What’s of particular importance is that we are going to have equivalent probability measures.</p><p>When you create this random variable Z, you can create any probability measure. But it might not be equivalent. Let’s draw a distinction between identical and equivalent probability measures.</p><p>If for all <math><mi>𝜔</mi><mo>∈</mo><mi mathvariant=\"normal\">Ω</mi></math></p><p><math><mi>ℙ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝜔</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mover accent=\"true\"><mi>ℙ</mi><mo>̃</mo></mover><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝜔</mi><mo stretchy=\"false\">)</mo></math></p><p>then these are <em>identical</em> probability measures.</p><p>If for any set <math><mi>𝐴</mi><mo>∈</mo><mi>ℱ︀</mi></math> such that <math><mi>ℙ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝐴</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mn>0</mn><mo stretchy=\"false\">→</mo><mover accent=\"true\"><mi>ℙ</mi><mo>̃</mo></mover><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝐴</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mn>0</mn></math></p><p>and if for any set <math><mi>𝐴</mi><mo>∈</mo><mi>ℱ︀</mi></math>, <math><mover accent=\"true\"><mi>ℙ</mi><mo>̃</mo></mover><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝐴</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mn>0</mn><mo stretchy=\"false\">→</mo><mi>ℙ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝐴</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mn>0</mn></math></p><p>Equivalence means that they agree on what can’t happen, they agree on what has measure 0. We care about this when we start pricing instruments. Under real world probability measurements, it’s impossible for a stock to triple in five days, we can’t have that happen in our risk-neutral artificial world.</p><p>We can then define</p><p><math><mi>𝑍</mi><mo>=</mo><mfrac><mrow><mi>𝑑</mi><mover accent=\"true\"><mi>ℙ</mi><mo>̃</mo></mover></mrow><mrow><mi>𝑑</mi><mi>ℙ</mi></mrow></mfrac></math></p><p>Using this <strong>Radon-Nikodym derivative</strong>, we can confirm these results from earlier. For <math><mi>𝑋</mi></math> nonnegative RV, then</p><p><math><mover accent=\"true\"><mi>𝔼</mi><mo>̃</mo></mover><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑋</mi><mo form=\"postfix\" stretchy=\"false\">]</mo><mo>=</mo><msub><mo form=\"prefix\" lspace=\"0em\">∫</mo><mi mathvariant=\"normal\">Ω</mi></msub><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝜔</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mover accent=\"true\"><mi>ℙ</mi><mo>̃</mo></mover><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝜔</mi><mo stretchy=\"false\">)</mo></math></p><p>This is the more theoretical construct where <math><mi>𝜔</mi></math> could be anything. Because we’re not going to just get numerical values, it’s hard to write a numerical representation of that space. IF we’re dealing with the real number line, this becomes</p><p><math><msubsup><mo lspace=\"0em\">∫</mo><mrow><mo>−</mo><mi>∞</mi></mrow><mi>∞</mi></msubsup><mi>𝑋</mi><msub><mi>𝑓</mi><mi>𝑋</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑥</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑥</mi></math></p><p>To deal with this expected value, I will multiply it by</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><mi>ℙ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝜔</mi><mo stretchy=\"false\">)</mo></mrow></mfrac></math></p><p>which becomes</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><msub><mo form=\"prefix\" lspace=\"0em\">∫</mo><mi mathvariant=\"normal\">Ω</mi></msub><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>which simplifies to</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑋</mi><mi>𝑍</mi><mo stretchy=\"false\">]</mo></math></p><p>which we are trying to prove.</p><h5>Adapted Stochastic Process</h5><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 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>This is an adapted stochastic process because it depends on information at time t.</p><p>What is</p><p><math><mi>𝑍</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo rspace=\"0em\">=</mo><mo separator=\"true\" lspace=\"0em\" rspace=\"0em\">?</mo></math></p><p>It would just be 1 because there’s nothing to condition on so it’s just the expectation.</p><p>What about if it’s at time T, maturity? Then Z is measurable with respect to all that information, which is Z, the Radon-Nikodym derivative.</p><p>So <math><mi>𝑍</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math> is a stochastic process that begins at 1 and goes to the Radon-Nikodym derivative.</p><p>Is it a martingale? We can use iterated conditioning to figure out that <em>yes</em>, it is.</p><p>What if we add another RV into the mix? <math><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</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>=</mo><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑌</mi><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑍</mi><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 lspace=\"0em\" rspace=\"0em\">|</mo><mi>ℱ︀</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">]</mo></math></p><p>What do I know about Y? It’s measurable with respect to <math><mi>ℱ︀</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math>, so we can put what’s known back in, in the same way we can take it out.</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑌</mi><mi>𝑍</mi><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 lspace=\"0em\" rspace=\"0em\">|</mo><mi>ℱ︀</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">]</mo></math></p><p>Iterated conditioning shows that this is</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑌</mi><mi>𝑍</mi><mo stretchy=\"false\">]</mo></math></p><p>Side note: why are we doing this? In math, you have theorems, corollaries and lemmas. Theorems are widely used, versatile and powerful results. Corollaries are results proved using just one theorem. Lemmas are little disposable proofs that are used to prove one thing that you will use somewhere later. Sometimes these lemmas become famous, like Ito’s lemma. We are building towards Girsanov.</p><p>The partial averaging theorem states</p><p><math><msub><mo lspace=\"0em\">∫</mo><mi>𝐴</mi></msub><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑋</mi><mo lspace=\"0em\" rspace=\"0em\">|</mo><mi>𝒢︀</mi><mo form=\"postfix\" stretchy=\"false\">]</mo><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\">∫</mo><mi>𝐴</mi></msub><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>For the problem we’re looking at, this will become</p><p><math><msub><mo lspace=\"0em\">∫</mo><mi>𝐴</mi></msub><mi>𝑌</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝜔</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mover accent=\"true\"><mi>ℙ</mi><mo>̃</mo></mover><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝜔</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msub><mo form=\"prefix\" lspace=\"0em\">∫</mo><mi>𝐴</mi></msub><mover accent=\"true\"><mi>𝔼</mi><mo>̃</mo></mover><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑌</mi><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 form=\"prefix\" stretchy=\"false\">(</mo><mi>𝜔</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mover accent=\"true\"><mi>ℙ</mi><mo>̃</mo></mover><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝜔</mi><mo stretchy=\"false\">)</mo></math></p><p>What this theorem is telling me that I want to prove that the expectation of Y conditioned on information up to s is all that.</p><p>If I can confirm this is true, then I can prove this lemma.</p><p>If I’m integrating the left hand expression, it should be the same as the right hand expression.</p><p>We’re going to disassemble the toaster and then fix the broken wire inside, then reassemble the toaster.</p><p>Rewrite</p><p><math><msub><mo lspace=\"0em\">∫</mo><mi>𝐴</mi></msub><mfrac><mn>1</mn><mrow><mi>𝑍</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></mrow></mfrac><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑌</mi><mi>𝑍</mi><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><mi>𝑑</mi><mover accent=\"true\"><mi>ℙ</mi><mo>̃</mo></mover><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝜔</mi><mo stretchy=\"false\">)</mo></math></p><p>as</p><p><math><msub><mo lspace=\"0em\">∫</mo><mi mathvariant=\"normal\">Ω</mi></msub><mfrac><mn>1</mn><mrow><mi>𝑍</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></mrow></mfrac><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑌</mi><mi>𝑍</mi><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><msub><mi>𝕀</mi><mrow><mo>{</mo><mi>𝐴</mi><mo>}</mo></mrow></msub><mi>𝑑</mi><mover accent=\"true\"><mi>ℙ</mi><mo>̃</mo></mover><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝜔</mi><mo stretchy=\"false\">)</mo></math></p><p>And that’s the definition of the expected value, and we can bring indicator inside because it’s nonrandom</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mover accent=\"true\"><mi>𝔼</mi><mo>̃</mo></mover><mrow><mo>[</mo><mrow><mfrac><mn>1</mn><mrow><mi>𝑍</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></mrow></mfrac><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msub><mi>𝕀</mi><mrow><mo>{</mo><mi>𝐴</mi><mo>}</mo></mrow></msub><mi>𝑌</mi><mi>𝑍</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mspace width=\"0.2222em\"></mspace><mo lspace=\"0em\" rspace=\"0em\">|</mo><mspace width=\"0.2222em\"></mspace><mi>ℱ︀</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">]</mo></mrow><mo>]</mo></mrow></math></p><p>We can use the lemma about the transformation of expectation into a different expectation using Z.</p><p><math><mover accent=\"true\"><mi>𝔼</mi><mo>̃</mo></mover><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><mi>𝑍</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">]</mo></math></p><p>To get that</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝔼</mi><mrow><mo>[</mo><mrow><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msub><mi>𝕀</mi><mrow><mo>{</mo><mi>𝐴</mi><mo>}</mo></mrow></msub><mi>𝑌</mi><mi>𝑍</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mspace width=\"0.2222em\"></mspace><mo lspace=\"0em\" rspace=\"0em\">|</mo><mspace width=\"0.2222em\"></mspace><mi>ℱ︀</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">]</mo></mrow><mo>]</mo></mrow></math></p><p>We did all that to take out the tilde. So we can use iterated conditioning to get</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msub><mi>𝕀</mi><mrow><mo>{</mo><mi>𝐴</mi><mo>}</mo></mrow></msub><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><math><mo form=\"infix\" lspace=\"0em\">=</mo><mover accent=\"true\"><mi>𝔼</mi><mo>̃</mo></mover><mo form=\"prefix\" stretchy=\"false\">[</mo><msub><mi>𝕀</mi><mrow><mo>{</mo><mi>𝐴</mi><mo>}</mo></mrow></msub><mi>𝑌</mi><mo stretchy=\"false\">]</mo></math> Which we can work backwards to prove the original.</p><p>Let <math><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math> 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><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>Let’s discuss the conditions for when an Ito process is a martingale.</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 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><mi>𝔼</mi><mrow><mo>[</mo><mrow><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><mspace width=\"0.2222em\"></mspace><mo lspace=\"0em\" rspace=\"0em\">|</mo><mspace width=\"0.2222em\"></mspace><mi>ℱ︀</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></mrow><mo>]</mo></mrow></math></p><p>We know that an Ito integral with respect to a martingale is a martingale. I know that the expected value of it will be 0. But the conditioned expectation up until time s will be that integral. We have the result for the stochastic part, but not the Riemann part.</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><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><mi>𝔼</mi><mrow><mo>[</mo><mrow><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><mspace width=\"0.2222em\"></mspace><mo lspace=\"0em\" rspace=\"0em\">|</mo><mspace width=\"0.2222em\"></mspace><mi>ℱ︀</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></mrow><mo>]</mo></mrow></math></p><p>Let’s rewrite that as a combination of integrals</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><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><mi>𝔼</mi><mrow><mo>[</mo><mrow><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>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mi>𝑠</mi><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><mspace width=\"0.2222em\"></mspace><mo lspace=\"0em\" rspace=\"0em\">|</mo><mspace width=\"0.2222em\"></mspace><mi>ℱ︀</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></mrow><mo>]</mo></mrow></math></p><p>And I know that the s part is known.</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><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><mo>+</mo><mi>𝔼</mi><mrow><mo>[</mo><mrow><msubsup><mo lspace=\"0em\">∫</mo><mi>𝑠</mi><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><mspace width=\"0.2222em\"></mspace><mo lspace=\"0em\" rspace=\"0em\">|</mo><mspace width=\"0.2222em\"></mspace><mi>ℱ︀</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></mrow><mo>]</mo></mrow></math></p><p>which we can finally rewrite, using our original, as</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><mi>𝔼</mi><mrow><mo>[</mo><mrow><msubsup><mo lspace=\"0em\">∫</mo><mi>𝑠</mi><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><mspace width=\"0.2222em\"></mspace><mo lspace=\"0em\" rspace=\"0em\">|</mo><mspace width=\"0.2222em\"></mspace><mi>ℱ︀</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></mrow><mo>]</mo></mrow></math></p><p>I can’t adjust this in any way. But we want to know whether it’s a martingale. So in order for us to conclude this, then that last term has to be 0. Are there restrictions that we can place on <math><mi mathvariant=\"normal\">Θ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math> to make sure that this is a martingale regardless of s and t? It has to always be 0. So we can get rid of it.</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 stretchy=\"false\">)</mo></math></p><p>and</p><p><math><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><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math> We stumbled over another way to get a martingale. If we take the differential of our process and there’s dt terms, then it can’t be a martingale because <math><mi mathvariant=\"normal\">Θ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math> is not 0.</p><h5>Girsanov</h5><p>The Big One.</p><p>What this theorem states, is that if I start with a Brownian motion, and some adapted process <math><mi mathvariant=\"normal\">Θ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math> that is square integrable. Using <em>any</em>, we can define a new Z(t)</p><p><math><mi>𝑍</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mo form=\"prefix\" lspace=\"0em\" rspace=\"0em\">exp</mo><mrow><mo>(</mo><mrow><mo>−</mo><msubsup><mo form=\"prefix\">∫</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><mfrac><mn>1</mn><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></math></p><p>And define a new stochastic process which is the Brownian motion plus the integral of the process</p><p><math><mover accent=\"true\"><mi>𝑊</mi><mo>̃</mo></mover><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 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>Then that stochastic process is a Brownian motion.</p><p>And this is all for the goal of finding risk-neutral probability measures.</p><p>First, let’s prove that the expected value of Z is 1.</p><p><math><mi>𝑍</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mo form=\"prefix\" lspace=\"0em\" rspace=\"0em\">exp</mo><mrow><mo>(</mo><mrow><mo>−</mo><msubsup><mo form=\"prefix\">∫</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><mfrac><mn>1</mn><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></math></p><p>Let’s find the differential to see if it’s a martingale.</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><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><mo form=\"prefix\">−</mo><mi>𝑍</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><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 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><mi>𝑍</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</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><math><mo form=\"infix\" lspace=\"0em\">=</mo><mo form=\"prefix\">−</mo><mi>𝑍</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 stretchy=\"false\">)</mo></math></p><p>Because all of the dt combinations cancel out, this is a martingale.</p><p>We will use the Lévy theorem to prove that <math><mover accent=\"true\"><mi>𝑊</mi><mo>̃</mo></mover><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math> is a Brownian motion. It needs to be a martingale, continuous paths, starts at 0, and quadratic variation is t.</p><p>The only one of these should change because of a probability measure. So we only need to show that Brownian motion is a martingale.</p><p>Now we can finally use the partial averaging proof</p><p><math><mover accent=\"true\"><mi>𝔼</mi><mo>̃</mo></mover><mo form=\"prefix\" stretchy=\"false\">[</mo><mover accent=\"true\"><mi>𝑊</mi><mo>̃</mo></mover><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><mfrac><mn>1</mn><mrow><mi>𝑍</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></mrow></mfrac><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mover accent=\"true\"><mi>𝑊</mi><mo>̃</mo></mover><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><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>This is the direct result of that lemma. The only thing standing in our way to finishing this proof is establishing that this is a martingale under <math><mi>ℙ</mi></math>.</p><p>Is <math><mover accent=\"true\"><mi>𝑊</mi><mo>̃</mo></mover><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> a <math><mi>ℙ</mi></math>-martingale? What’s the differential? By the product rule, it’s</p><p><math><mi>𝑑</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mover accent=\"true\"><mi>𝑊</mi><mo>̃</mo></mover><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><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mover accent=\"true\"><mi>𝑊</mi><mo>̃</mo></mover><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>𝑍</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mover accent=\"true\"><mi>𝑊</mi><mo>̃</mo></mover><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mi>𝑑</mi><mover accent=\"true\"><mi>𝑊</mi><mo>̃</mo></mover><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>Well we already proved this result for the various differentials, so it’s</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mo form=\"prefix\">−</mo><mover accent=\"true\"><mi>𝑊</mi><mo>̃</mo></mover><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><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>𝑍</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>𝑍</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>+</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><mo>+</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=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mo form=\"prefix\">−</mo><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 form=\"postfix\" stretchy=\"false\">)</mo><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>That last term gets multiplied out, dt * anything is 0, becomes the negative to that third term, so we only get dW(t), so it’s a martingale.</p><p>This completes our proof.</p><h5>Discount Process</h5>","contentSourceFormat":"typst","contentTypst":"=== Lecture Notes\n<lecture-notes>\n==== Motivation - Sports Betting\n<motivation---sports-betting>\nLet's go into the world of sports gambling. Hypothetically, we're going to have two teams competing, Team A and Team B. Objectively, Team A is the better team. Let's say in the real world odds, they are 4:1, meaning that Team A is 4x as likely to win as Team B. That means that\n\n$bb(P)\\(upright(\"Team A wins\")\\)= 4 / 5$\n\n$bb(P)\\(upright(\"Team B wins\")\\)= 1 / 5$\n\nIf I use these odds for betting, let's say I have a \\$10 stake on Team A. If Team A wins, I will receive my original stake + a quarter of the original stake, or \\$12.50. If I bet on Team B, then if Team B wins, I will receive the original stake + four times the original stake, or \\$50.\n\nA bookie is collecting bets. He rounds up 40 people to bet on the game. Half bet on Team A, and half bet on Team B. Assuming that the stake is \\$10, they have collected \\$400.\n\nIf Team A wins, then the \\$400 collected will be paid out to the 20 individuals for the value they should get\n\n$400 - 20 times\\$12.50 =\\$150$\n\nThe bookie will make \\$150 if A wins. If B wins, then\n\n$400 - 20 times\\$50 = -\\$600$ The bookie will lose \\$650 if B wins.\n\nLet this amount be $X$. What is $bb(E)\\[X\\]$?\n\n$bb(E)\\[X\\]= 4 / 5\\(\\$150\\)+ 1 / 5\\(-\\$600\\)$\n\n$= 0$ This would be what would happen if the bookie was doing this out of the goodness of their heart. What if they took 1% of the winnings (still generous)? That's calculated out of the winnings, so 50 cents for A winning, and \\$8 for B winning.\n\nThis is in expectation. What if B wins four games in a row? You're out \\$4000, minus this small amount.\n\nThe bookie is much more likely to notice that A and B are equally bet. They don't care about who wins, just how people are betting. People are betting evenly on the two teams. So if the bookie gives 1:1 odds instead of 4:1, the new numbers are:\n\nif A wins, the bettor receives \\$10 + \\$10(1/1) = \\$20. And the same for B.\n\nIf A wins,\n\n$400 - 20\\(20\\)= 0$\n\nAnd the same for B, so expected value is 0. But if we take a little off the top, which is calculated off the difference between total received and original stake for each person and then scaled to the number of people.\n\nThe preferred approach for bookies is to do this because this way, you'll always make money.\n\nThis is the motivation for risk-neutral pricing.\n\n==== Risk-Neutral Measure\n<risk-neutral-measure>\nWe are going to define a new $tilde(bb(P))$ which is a probability measure defined as\n\n$tilde(bb(P))\\(A\\)= integral_A Z\\(omega\\)d bb(P)\\(omega\\)$\n\non the original probability space, where $Z$ is a nonnegative random variable.\n\nIn order for this to be a valid probability measure, we have to define\n\n$tilde(bb(P))\\(Omega\\)= integral_Omega Z\\(omega\\)d bb(P)\\(omega\\)= bb(E)\\[Z\\]= 1$\n\nI could have two probability measures on a fair coin and unfair coin.\n\nFor every random variable $Z$ that satisfies these properties, we can use this to define a new probability measure on the same event space ($Omega$) and sample space ($cal(F)$).\n\nThe expectation under the new probability measure is the same as multiplying with Z\n\n$tilde(bb(E))\\[X\\]= bb(E)\\[X Z\\]$\n\n==== Equivalent Measures\n<equivalent-measures>\nWhat's of particular importance is that we are going to have equivalent probability measures.\n\nWhen you create this random variable Z, you can create any probability measure. But it might not be equivalent. Let's draw a distinction between identical and equivalent probability measures.\n\nIf for all $omega in Omega$\n\n$bb(P)\\(omega\\)= tilde(bb(P))\\(omega\\)$\n\nthen these are #emph[identical] probability measures.\n\nIf for any set $A in cal(F)$ such that $bb(P)\\(A\\)= 0 arrow.r tilde(bb(P))\\(A\\)= 0$\n\nand if for any set $A in cal(F)$, $tilde(bb(P))\\(A\\)= 0 arrow.r bb(P)\\(A\\)= 0$\n\nEquivalence means that they agree on what can't happen, they agree on what has measure 0. We care about this when we start pricing instruments. Under real world probability measurements, it's impossible for a stock to triple in five days, we can't have that happen in our risk-neutral artificial world.\n\nWe can then define\n\n$Z = frac(d tilde(bb(P)), d bb(P))$\n\nUsing this #strong[Radon-Nikodym derivative], we can confirm these results from earlier. For $X$ nonnegative RV, then\n\n$tilde(bb(E))\\[X\\]= integral_Omega X\\(omega\\)d tilde(bb(P))\\(omega\\)$\n\nThis is the more theoretical construct where $omega$ could be anything. Because we're not going to just get numerical values, it's hard to write a numerical representation of that space. IF we're dealing with the real number line, this becomes\n\n$integral_(- oo)^oo X f_X\\(x\\)d x$\n\nTo deal with this expected value, I will multiply it by\n\n$frac(d bb(P)\\(omega\\), d bb(P)\\(omega\\))$\n\nwhich becomes\n\n$= integral_Omega X\\(omega\\)Z\\(omega\\)d bb(P)\\(omega\\)$\n\nwhich simplifies to\n\n$= bb(E)\\[X Z\\]$\n\nwhich we are trying to prove.\n\n==== Adapted Stochastic Process\n<adapted-stochastic-process>\n$Z\\(t\\)= bb(E)\\[Z\\|cal(F)\\(t\\)\\]$\n\nThis is an adapted stochastic process because it depends on information at time t.\n\nWhat is\n\n$Z\\(0\\)= ?$\n\nIt would just be 1 because there's nothing to condition on so it's just the expectation.\n\nWhat about if it's at time T, maturity? Then Z is measurable with respect to all that information, which is Z, the Radon-Nikodym derivative.\n\nSo $Z\\(t\\)$ is a stochastic process that begins at 1 and goes to the Radon-Nikodym derivative.\n\nIs it a martingale? We can use iterated conditioning to figure out that #emph[yes], it is.\n\nWhat if we add another RV into the mix? $bb(E)\\[Y Z\\(t\\)\\]= bb(E)\\[Y bb(E)\\[Z\\|cal(F)\\(t\\)\\]\\|cal(F)\\(0\\)\\]$\n\nWhat do I know about Y? It's measurable with respect to $cal(F)\\(t\\)$, so we can put what's known back in, in the same way we can take it out.\n\n$= bb(E)\\[bb(E)\\[Y Z\\|cal(F)\\(t\\)\\]\\|cal(F)\\(0\\)\\]$\n\nIterated conditioning shows that this is\n\n$= bb(E)\\[Y Z\\]$\n\nSide note: why are we doing this? In math, you have theorems, corollaries and lemmas. Theorems are widely used, versatile and powerful results. Corollaries are results proved using just one theorem. Lemmas are little disposable proofs that are used to prove one thing that you will use somewhere later. Sometimes these lemmas become famous, like Ito's lemma. We are building towards Girsanov.\n\nThe partial averaging theorem states\n\n$integral_A bb(E)\\[X\\|cal(G)\\]\\(omega\\)d bb(P)\\(omega\\)= integral_A X\\(omega\\)d bb(P)\\(omega\\)$\n\nFor the problem we're looking at, this will become\n\n$integral_A Y\\(omega\\)d tilde(bb(P))\\(omega\\)= integral_A tilde(bb(E))\\[Y\\|cal(F)\\(t\\)\\]\\(omega\\)d tilde(bb(P))\\(omega\\)$\n\nWhat this theorem is telling me that I want to prove that the expectation of Y conditioned on information up to s is all that.\n\nIf I can confirm this is true, then I can prove this lemma.\n\nIf I'm integrating the left hand expression, it should be the same as the right hand expression.\n\nWe're going to disassemble the toaster and then fix the broken wire inside, then reassemble the toaster.\n\nRewrite\n\n$integral_A frac(1, Z\\(s\\)) bb(E)\\[Y Z\\(t\\)\\|cal(F)\\(s\\)\\]d tilde(bb(P))\\(omega\\)$\n\nas\n\n$integral_Omega frac(1, Z\\(s\\)) bb(E)\\[Y Z\\(t\\)\\|cal(F)\\(s\\)\\]bb(I)_({ A }) d tilde(bb(P))\\(omega\\)$\n\nAnd that's the definition of the expected value, and we can bring indicator inside because it's nonrandom\n\n$= tilde(bb(E)) [frac(1, Z\\(s\\)) bb(E) \\[ bb(I)_({ A }) Y Z \\( t \\) \\| cal(F) \\( s \\) \\]]$\n\nWe can use the lemma about the transformation of expectation into a different expectation using Z.\n\n$tilde(bb(E))\\[X\\]= bb(E)\\[X Z\\(s\\)\\]$\n\nTo get that\n\n$= bb(E) [bb(E) \\[ bb(I)_({ A }) Y Z \\( t \\) \\| cal(F) \\( s \\) \\]]$\n\nWe did all that to take out the tilde. So we can use iterated conditioning to get\n\n$= bb(E)\\[bb(I)_({ A }) Y Z\\(t\\)\\]$\n\n$= tilde(bb(E))\\[bb(I)_({ A }) Y\\]$ Which we can work backwards to prove the original.\n\nLet $X\\(t\\)$ an Ito process.\n\n$X\\(t\\)= X\\(0\\)+ integral_0^t Delta\\(u\\)d W\\(u\\)+ integral_0^t Theta\\(u\\)d u$\n\nLet's discuss the conditions for when an Ito process is a martingale.\n\n$bb(E)\\[X\\(t\\)\\|cal(F)\\(s\\)\\]= bb(E) [X \\( 0 \\) + integral_0^t Delta \\( u \\) d W \\( u \\) + integral_0^t Theta \\( u \\) d u \\| cal(F) \\( s \\)]$\n\nWe know that an Ito integral with respect to a martingale is a martingale. I know that the expected value of it will be 0. But the conditioned expectation up until time s will be that integral. We have the result for the stochastic part, but not the Riemann part.\n\n$= X\\(0\\)+ integral_0^s Delta\\(u\\)d W\\(u\\)+ bb(E) [integral_0^t Theta \\( u \\) d u \\| cal(F) \\( s \\)]$\n\nLet's rewrite that as a combination of integrals\n\n$= X\\(0\\)+ integral_0^s Delta\\(u\\)d W\\(u\\)+ bb(E) [integral_0^s Theta \\( u \\) d u + integral_s^t Theta \\( u \\) d u \\| cal(F) \\( s \\)]$\n\nAnd I know that the s part is known.\n\n$= X\\(0\\)+ integral_0^s Delta\\(u\\)d W\\(u\\)+ integral_0^s Theta\\(u\\)d u + bb(E) [integral_s^t Theta \\( u \\) d u \\| cal(F) \\( s \\)]$\n\nwhich we can finally rewrite, using our original, as\n\n$= X\\(s\\)+ bb(E) [integral_s^t Theta \\( u \\) d u \\| cal(F) \\( s \\)]$\n\nI can't adjust this in any way. But we want to know whether it's a martingale. So in order for us to conclude this, then that last term has to be 0. Are there restrictions that we can place on $Theta\\(u\\)$ to make sure that this is a martingale regardless of s and t? It has to always be 0. So we can get rid of it.\n\n$X\\(t\\)= X\\(0\\)+ integral_0^t Delta\\(u\\)d W\\(u\\)$\n\nand\n\n$d X\\(t\\)= Delta\\(t\\)d W\\(t\\)$ We stumbled over another way to get a martingale. If we take the differential of our process and there's dt terms, then it can't be a martingale because $Theta\\(t\\)$ is not 0.\n\n==== Girsanov\n<girsanov>\nThe Big One.\n\nWhat this theorem states, is that if I start with a Brownian motion, and some adapted process $Theta\\(t\\)$ that is square integrable. Using #emph[any], we can define a new Z(t)\n\n$Z\\(t\\)= exp (- integral_0^t Theta \\( u \\) d W \\( u \\) - 1 / 2 integral_0^t Theta^2 \\( u \\) d u)$\n\nAnd define a new stochastic process which is the Brownian motion plus the integral of the process\n\n$tilde(W)\\(t\\)= W\\(t\\)+ integral_0^t Theta\\(u\\)d u$\n\nThen that stochastic process is a Brownian motion.\n\nAnd this is all for the goal of finding risk-neutral probability measures.\n\nFirst, let's prove that the expected value of Z is 1.\n\n$Z\\(t\\)= exp (- integral_0^t Theta \\( u \\) d W \\( u \\) - 1 / 2 integral_0^t Theta^2 \\( u \\) d u)$\n\nLet's find the differential to see if it's a martingale.\n\n$d Z\\(t\\)= Z\\(t\\)d Y\\(t\\)+ 1 / 2 Z\\(t\\)\\(d Y\\(t\\)\\)^2$\n\n$= - Z\\(t\\)Theta\\(t\\)d W\\(t\\)- 1 / 2 Z\\(t\\)Theta^2\\(t\\)d t + 1 / 2 Z\\(t\\)Theta^2\\(t\\)d t$\n\n$= - Z\\(t\\)Theta\\(t\\)d W\\(t\\)$\n\nBecause all of the dt combinations cancel out, this is a martingale.\n\nWe will use the Lévy theorem to prove that $tilde(W)\\(t\\)$ is a Brownian motion. It needs to be a martingale, continuous paths, starts at 0, and quadratic variation is t.\n\nThe only one of these should change because of a probability measure. So we only need to show that Brownian motion is a martingale.\n\nNow we can finally use the partial averaging proof\n\n$tilde(bb(E))\\[tilde(W)\\(t\\)\\|cal(F)\\(s\\)\\]= frac(1, Z\\(s\\)) bb(E)\\[tilde(W)\\(t\\)Z\\(t\\)\\|cal(F)\\(s\\)\\]$\n\nThis is the direct result of that lemma. The only thing standing in our way to finishing this proof is establishing that this is a martingale under $bb(P)$.\n\nIs $tilde(W)\\(t\\)Z\\(t\\)$ a $bb(P)$-martingale? What's the differential? By the product rule, it's\n\n$d\\(tilde(W)\\(t\\)Z\\(t\\)\\)= tilde(W)\\(t\\)d Z\\(t\\)+ Z\\(t\\)d tilde(W)\\(t\\)+ d tilde(W)\\(t\\)d Z\\(t\\)$\n\nWell we already proved this result for the various differentials, so it's\n\n$= - tilde(W)\\(t\\)Theta\\(t\\)Z\\(t\\)d W\\(t\\)+ Z\\(t\\)d W\\(t\\)+ Z\\(t\\)Theta\\(t\\)d t +\\(d W\\(t\\)+ Theta\\(t\\)d t\\)\\(- Theta\\(t\\)Z\\(t\\)d W\\(t\\)\\)$\n\nThat last term gets multiplied out, dt \\* anything is 0, becomes the negative to that third term, so we only get dW(t), so it's a martingale.\n\nThis completes our proof.\n\n==== Discount Process\n<discount-process>","dataUrl":"https://sharifhsn.dev/api/posts/risk-neutral-measures.json","date":"2024-11-07","datePublished":"2024-11-07","description":"Let’s go into the world of sports gambling. Hypothetically, we’re going to have two teams competing, Team A and Team B. Objectively, Team A is the better team. Let’s say in the…","site":"https://sharifhsn.dev","slug":"risk-neutral-measures","source":"FE-610 | Stochastic Calculus","sourceUrl":null,"tags":["Stochastic Calculus","Risk-Neutral Pricing","Girsanov"],"title":"Risk-Neutral Measures","url":"https://sharifhsn.dev/blog/risk-neutral-measures/","version":"1","wordCount":2648}