{"categories":["Stochastic Calculus"],"contentHtml":"<h4>Lecture Notes</h4><p>in-class final will be decided by Thanksgiving</p><h5>Poisson Processes</h5><p>All of the stuff we learned about stochastic calculus has been organized around the Ito process, which is continuous. We’re going to learn about how we can apply these ideas to other processes.</p><p>What exactly is a Poisson process?</p><p>If <math><mi>𝜏</mi></math> is a random variable with this pdf</p><p><math><msub><mi>𝑓</mi><mi>𝜏</mi></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mo form=\"prefix\" stretchy=\"false\">{</mo><mi>𝜆</mi><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝜆</mi><mi>𝑡</mi></mrow></msup><mi>𝑡</mi><mo>≥</mo><mn>0</mn><mspace width=\"0.2222em\"></mspace><mn>0</mn><mi>𝑡</mi><mo>&lt;</mo><mn>0</mn></math></p><p>This is the exponential process with the cdf</p><p>This is a memoryless random variable. Think of a light bulb. If the lifetime of a lightbulb is memoryless, I’m saying that if I screw in a light bulb today, and the probability that the lightbulb would last for more than a year is the same. All we have to know is that it hasn’t died yet. How we can prove this is true is with cdfs?</p><p>If I know that</p><p><math><mi>ℙ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝜏</mi><mo>≤</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑞</mi><mo>−</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝜆</mi><mi>𝑡</mi></mrow></msup></math></p><p>Then</p><p><math><mi>ℙ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝜏</mi><mo>&gt;</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝜆</mi><mi>𝑡</mi></mrow></msup></math></p><p>by definition. Then what is the probability that</p><p><math><mi>ℙ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝜏</mi><mo>&gt;</mo><mi>𝑡</mi><mo>+</mo><mi>𝑠</mi><mo lspace=\"0em\" rspace=\"0em\">|</mo><mi>𝜏</mi><mo>&gt;</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></math></p><p>to answer that, we would simply use conditional probabilities. This would be the same as</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mfrac><mrow><mi>ℙ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝜏</mi><mo lspace=\"0em\" rspace=\"0em\">&gt;</mo><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo lspace=\"0em\" rspace=\"0em\">∩</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝜏</mi><mo lspace=\"0em\" rspace=\"0em\">&gt;</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo></mrow><mrow><mi>ℙ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝜏</mi><mo lspace=\"0em\" rspace=\"0em\">&gt;</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></mrow></mfrac></math></p><p>But because this is a strict subset on top,</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mfrac><mrow><mi>ℙ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝜏</mi><mo lspace=\"0em\" rspace=\"0em\">&gt;</mo><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></mrow><mrow><mi>ℙ</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝜏</mi><mo lspace=\"0em\" rspace=\"0em\">&gt;</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></mrow></mfrac></math></p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mfrac><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝜆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></mrow></msup><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝜆</mi><mi>𝑠</mi></mrow></msup></mfrac></math></p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝜆</mi><mi>𝑡</mi></mrow></msup></math></p><p>If I’m trying to model a stock process that has discontinuitied, it would be really inconvenient if I had to go back and find a jump to understand my process. We want the Markov property, so the process needs to be Markov no matter what happened in the past: including a jump. Therefore, the process should be totally memoryless, so there is <em>no</em> information encoded in it that we can condition into.</p><p>We’re going to use our process to model the time in between events.</p><p>For our list of jump times <math><mi>𝜏</mi></math>, we can define</p><p>This counting process is memoryless because it’s built off of exponential random variables which are memoryless.</p><p>It’s a counting process, so we’re only dealing with nonnegative numbers.</p><p>We need something that can go to infinity because there could b infinite.</p><p>We’re going to have independent increments just like Brownian motion. All of these are stationary and independent.</p><p>For these increments: <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>−</mo><mi>𝑁</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">]</mo><mo>=</mo><mi>𝜆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>−</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></math></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>−</mo><mi>𝑁</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">]</mo><mo>=</mo><mi>𝜆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>−</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></math></p><p>Starting with this idea that</p><p><math><mi>ℙ</mi><mrow><mo>(</mo><mrow><mi>𝑁</mi><mrow><mo>(</mo><mi>𝑡</mi><mo>)</mo></mrow><mo>−</mo><mi>𝑁</mi><mrow><mo>(</mo><mi>𝑠</mi><mo>)</mo></mrow><mo>=</mo><mi>𝑘</mi></mrow><mo>)</mo></mrow><mo>=</mo><mfrac><mrow><msup><mrow><mo>(</mo><mrow><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow><mo>)</mo></mrow><mi>𝑘</mi></msup><mo lspace=\"0em\" rspace=\"0em\">×</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow></msup></mrow><mrow><mi>𝑘</mi><mo>!</mo></mrow></mfrac></math></p><p>If I was tasked with determining what is the expected value, what would I do? The same for any discrete random variable:</p><p><math><mi>𝔼</mi><mrow><mo>[</mo><mrow><mi>𝑁</mi><mrow><mo>(</mo><mi>𝑡</mi><mo>)</mo></mrow><mo>−</mo><mi>𝑁</mi><mrow><mo>(</mo><mi>𝑠</mi><mo>)</mo></mrow></mrow><mo>]</mo></mrow><mo>=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑘</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mi>∞</mi></msubsup><mi>𝑘</mi><mi>ℙ</mi><mrow><mo>(</mo><mrow><mi>𝑁</mi><mrow><mo>(</mo><mi>𝑡</mi><mo>)</mo></mrow><mo>−</mo><mi>𝑁</mi><mrow><mo>(</mo><mi>𝑠</mi><mo>)</mo></mrow><mo>=</mo><mi>𝑘</mi></mrow><mo>)</mo></mrow><mo>=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑘</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mi>∞</mi></msubsup><mi>𝑘</mi><mfrac><mrow><msup><mrow><mo>(</mo><mrow><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow><mo>)</mo></mrow><mi>𝑘</mi></msup><mo lspace=\"0em\" rspace=\"0em\">×</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow></msup></mrow><mrow><mi>𝑘</mi><mo>!</mo></mrow></mfrac></math></p><p>I can potentially cancel a k, but that would be dividing by zero.</p><p>But this is 0 when <math><mi>𝑘</mi><mo>=</mo><mn>0</mn></math>, so we can just remove that term.</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>1</mn></mrow><mi>∞</mi></msubsup><mi>𝑘</mi><mfrac><mrow><msup><mrow><mo>(</mo><mrow><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow><mo>)</mo></mrow><mi>𝑘</mi></msup><mo lspace=\"0em\" rspace=\"0em\">×</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow></msup></mrow><mrow><mi>𝑘</mi><mo>!</mo></mrow></mfrac></math></p><p>So now I can kill that k</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>1</mn></mrow><mi>∞</mi></msubsup><mfrac><mrow><msup><mrow><mo>(</mo><mrow><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow><mo>)</mo></mrow><mi>𝑘</mi></msup><mo lspace=\"0em\" rspace=\"0em\">×</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow></msup></mrow><mrow><mrow><mo>(</mo><mrow><mi>𝑘</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn></mrow><mo>)</mo></mrow><mo>!</mo></mrow></mfrac></math></p><p>We can do a reindex and say</p><p><math><mi>𝑙</mi><mo>=</mo><mi>𝑘</mi><mo>−</mo><mn>1</mn></math></p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑙</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mi>∞</mi></msubsup><mfrac><mrow><msup><mrow><mo>(</mo><mrow><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow><mo>)</mo></mrow><mrow><mi>𝑙</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msup><mo lspace=\"0em\" rspace=\"0em\">×</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow></msup></mrow><mrow><mi>𝑙</mi><mo>!</mo></mrow></mfrac></math></p><p>This is really close to fitting the power series</p><p><math><msup><mi>𝑒</mi><mi>𝑥</mi></msup><mo>=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑘</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mi>∞</mi></msubsup><mfrac><msup><mi>𝑥</mi><mi>𝑘</mi></msup><mrow><mi>𝑘</mi><mo>!</mo></mrow></mfrac></math></p><p>What would keep from taking advantage of that here? I can factor out the e part that’s a constant. Now that I have one two many ls, I can take one out.</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo>−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow><mo lspace=\"0.2222222222222222em\" rspace=\"0.2222222222222222em\">×</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow></msup><mo lspace=\"0.2222222222222222em\" rspace=\"0.2222222222222222em\">×</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑙</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mi>∞</mi></msubsup><mfrac><msup><mrow><mo>(</mo><mrow><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow><mo>)</mo></mrow><mi>𝑙</mi></msup><mrow><mi>𝑙</mi><mo>!</mo></mrow></mfrac></math></p><p>Then by the power series form, this is</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo>−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow><mo lspace=\"0.2222222222222222em\" rspace=\"0.2222222222222222em\">×</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow></msup><mo lspace=\"0.2222222222222222em\" rspace=\"0.2222222222222222em\">×</mo><msup><mi>𝑒</mi><mrow><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow></msup><mo>=</mo><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo>−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></math></p><p>Therefore this is proven.</p><p>How could I get the variance?</p><p>Let’s build on our knowledge of the expectation:</p><p><math><mi>𝔼</mi><mrow><mo>[</mo><msup><mrow><mo>(</mo><mrow><mi>𝑁</mi><mrow><mo>(</mo><mi>𝑡</mi><mo>)</mo></mrow><mo>−</mo><mi>𝑁</mi><mrow><mo>(</mo><mi>𝑠</mi><mo>)</mo></mrow></mrow><mo>)</mo></mrow><mn>2</mn></msup><mo>]</mo></mrow><mo>=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑘</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mi>∞</mi></msubsup><mfrac><mrow><msup><mi>𝑘</mi><mn>2</mn></msup><msup><mrow><mo>(</mo><mrow><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow><mo>)</mo></mrow><mi>𝑘</mi></msup><mo lspace=\"0em\" rspace=\"0em\">×</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow></msup></mrow><mrow><mi>𝑘</mi><mo>!</mo></mrow></mfrac></math></p><p>If it’s squared, then we can use the same steps to take out zero through reindexing</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑙</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mi>∞</mi></msubsup><mfrac><mrow><mrow><mo>(</mo><mrow><mi>𝑙</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow><mo>)</mo></mrow><msup><mrow><mo>(</mo><mrow><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow><mo>)</mo></mrow><mrow><mi>𝑙</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msup><mo lspace=\"0em\" rspace=\"0em\">×</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow></msup></mrow><mrow><mi>𝑙</mi><mo>!</mo></mrow></mfrac></math></p><p>So I’m going to factor out one of those <math><mi>𝜆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo>−</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></math> and distribute <math><mi>𝑙</mi><mo>+</mo><mn>1</mn></math></p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo>−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow><mo lspace=\"0.2222222222222222em\" rspace=\"0.2222222222222222em\">×</mo><mrow><mo>(</mo><mrow><msubsup><mo lspace=\"0em\">∑</mo><mrow><mi>𝑙</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mi>∞</mi></msubsup><mfrac><mrow><mi>𝑙</mi><msup><mrow><mo>(</mo><mrow><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow><mo>)</mo></mrow><mi>𝑙</mi></msup><mo lspace=\"0em\" rspace=\"0em\">×</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow></msup></mrow><mrow><mi>𝑙</mi><mo>!</mo></mrow></mfrac><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑙</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mi>∞</mi></msubsup><mfrac><mrow><msup><mrow><mo>(</mo><mrow><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow><mo>)</mo></mrow><mi>𝑙</mi></msup><mo lspace=\"0em\" rspace=\"0em\">×</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></mrow></msup></mrow><mrow><mi>𝑙</mi><mo>!</mo></mrow></mfrac></mrow><mo>)</mo></mrow></math></p><p>The first term is just the expectation. The second is interesting. It’s the sum of the probabilities of all of the outcomes of the Poisson distribution, so it must be 1 based on the definition of a density.</p><p><math><mo form=\"infix\" lspace=\"0em\">=</mo><msup><mi>𝜆</mi><mn>2</mn></msup><msup><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo>−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow><mn>2</mn></msup><mo>+</mo><mi>𝜆</mi><mrow><mo>(</mo><mrow><mi>𝑡</mi><mo>−</mo><mi>𝑠</mi></mrow><mo>)</mo></mrow></math></p><p>What would be the moment generating function with dummy variable <math><mi>𝑢</mi></math>?</p><p><math><msub><mi>𝛾</mi><mrow><mi>𝑁</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msup><mi>𝑒</mi><mrow><mi>𝑢</mi><mi>𝑁</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow></msup><mo stretchy=\"false\">]</mo></math></p><p>To calculate this expected value, this is 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><mi>∞</mi></msubsup><mfrac><mrow><msup><mi>𝑒</mi><mrow><mi>𝑢</mi><mi>𝑘</mi></mrow></msup><mo lspace=\"0em\" rspace=\"0em\">×</mo><msup><mrow><mo>(</mo><mrow><mi>𝜆</mi><mi>𝑡</mi></mrow><mo>)</mo></mrow><mi>𝑘</mi></msup><mo lspace=\"0em\" rspace=\"0em\">×</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝜆</mi><mi>𝑡</mi></mrow></msup></mrow><mrow><mi>𝑘</mi><mo>!</mo></mrow></mfrac></math></p><p>We’re going to repeat some of the tricks from earlier.</p><h5>Martingale Property</h5><p>Poisson being a counting process, this is not a martingale. It only increases. But what we can do is create a new 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><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝜆</mi><mi>𝑡</mi></math></p><p>This creates a <strong>compensated Poisson process</strong></p><p>In order to prove this a martingale, we will see</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><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><mi>𝑡</mi></math></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><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 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><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝜆</mi><mi>𝑡</mi></math></p><p>But because of the memoryless nature, we can take out what’s independent.</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><mi>𝑠</mi><mo>=</mo><mi>𝑀</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></math></p><h5>Compound Process</h5><p>We can’t just say the process could go up by 1. That’s not interesting to us. What we do here is make a compound Poisson process which uses <math><mi>𝑁</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math> to determine how many events have happened until <math><mi>𝑡</mi></math>. Then it draws the sizes of those events from another distribution that we are going to say are iid called <math><mrow><mo>{</mo><msub><mi>𝑌</mi><mi>𝑖</mi></msub><mo>}</mo></mrow></math> with expectation <math><mi>𝛽</mi></math>.</p><p><math><mi>𝑄</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑖</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>1</mn></mrow><mrow><mi>𝑁</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow></msubsup><msub><mi>𝑌</mi><mi>𝑖</mi></msub></math></p><p>We have a result called Wald’s Equation, which states that</p><p><math><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mi>𝑖</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>1</mn></mrow><mrow><mi>𝑛</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑇</mi><mo stretchy=\"false\">)</mo></mrow></msubsup><msub><mi>𝑌</mi><mi>𝑖</mi></msub><mo form=\"postfix\" stretchy=\"false\">]</mo><mo>=</mo><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑁</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">]</mo><mi>𝔼</mi><mo form=\"prefix\" stretchy=\"false\">[</mo><msub><mi>𝑌</mi><mi>𝑖</mi></msub><mo stretchy=\"false\">]</mo></math></p><p>Let’s say I have lootboxes in my video game. The number of boxes I get is also random. But the number of boxes I get is independent of how much is in each individual box. Those are independent distributions. If I expect 5 items in a box, and on average I expect to get 10 boxes, then I expect to get 50 items. That’s what this equation is saying. We can also show this by iterated conditioning, but this is easier</p><p>Then the stock price will evolve like so</p><p><math><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" lspace=\"0.16666666666666666em\" rspace=\"0em\">exp</mo><mrow><mo>{</mo><mrow><mo stretchy=\"false\">(</mo><mi>𝑟</mi><mo>−</mo><mi>𝜆</mi><mi>𝑘</mi><mo>−</mo><mfrac><msup><mi>𝜎</mi><mn>2</mn></msup><mn>2</mn></mfrac><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑡</mi><mo>+</mo><mi>𝜎</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow><mo>}</mo></mrow></math></p><p>Then the log returns would be normally distributed if GBM was reality.</p><p>You could do a Q-Q plot (quantile quantile) You figure out what point of data in your plot would be in which quantile, and then do that for another data.</p><p>We have leptokurtosis in our real weights which make this not a straight line (heavy tails).</p><p>There are strategies to deal with this:</p><ul><li>Regime Switching: You assume that your stock follows four or five, or even more geometric Brownian motion. There are some periods where you’re in low or high volatility, and then you combine those, which explains some of leptokurtosis</li><li>Stochastic Volatility: This is a different stock model like the Heston stock market model, which is that instead of <math><mi>𝜎</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math> being multiplied by the stock price, it’s multiplied by a different stochastic process with a different Brownian motion</li><li>Fractional Brownian Motion: Brownian motion which doesn’t have independent increments.</li></ul><p>Thomas Lonon’s PhD was on jump diffusion, so he wants to talk about that!</p><h5>Jump Diffusion</h5><p>Using our compound Poisson process, we can created a compensated compound process</p><p><math><mi>𝑄</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝛽</mi><mi>𝜆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p>And this is a martingale.</p><p>We will require that every process has independent increments for now.</p><p>We’re now going to define the stochastic integral</p><p>where <math><mi>𝑋</mi></math> has jumps and is not a</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><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><mi>𝐽</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p>where <math><mi>𝐽</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math> is an adapted, right-continuous process with <math><mi>𝐽</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mn>0</mn></math> and <math><mi>𝐽</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msub><mo form=\"prefix\" lspace=\"0em\" rspace=\"0.16666666666666666em\">lim</mo><mrow><mi>𝑠</mi><mo lspace=\"0em\" rspace=\"0em\" stretchy=\"false\">↓</mo><mi>𝑡</mi></mrow></msub><mi>𝐽</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></math>.</p><p>Also known as <strong>cadlag</strong>, continuous from the right, and limit exists from the left, from the French. This is very important to adapted processes.</p><p><math><msubsup><mo lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝜙</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝜙</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi 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>𝜙</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><msub><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mn>0</mn><mo lspace=\"0em\" rspace=\"0em\">&lt;</mo><mi>𝑠</mi><mo lspace=\"0em\" rspace=\"0em\">≤</mo><mi>𝑡</mi></mrow></msub><mi>𝜙</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi mathvariant=\"normal\">Δ</mi><mi>𝐽</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></math></p><p>Well how do you calculate this <math><mi mathvariant=\"normal\">Δ</mi><mi>𝐽</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo stretchy=\"false\">)</mo></math>?</p><p>It’s <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><msub><mi>𝑠</mi><mo>−</mo></msub><mo stretchy=\"false\">)</mo></math></p><p>This will give the magnitude of the jump at time <math><mi>𝑠</mi></math>, and 0 everywhere else.</p><p>We will still need the square-integrability to hold true, in order for this stochastic integral to be a martingale, even though it has jumps.</p><h5>Quadratic Variation</h5><p>How do we prove quadratic variation? We go back to norms of partitions.</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><msub><mo form=\"prefix\" lspace=\"0em\" rspace=\"0.16666666666666666em\">lim</mo><mrow><mo form=\"infix\" lspace=\"0em\" rspace=\"0em\">∥</mo><mi mathvariant=\"normal\">Π</mi><mo lspace=\"0em\" rspace=\"0em\">∥</mo><mo lspace=\"0em\" rspace=\"0em\" stretchy=\"false\">→</mo><mn>0</mn></mrow></msub><msubsup><mo form=\"prefix\" lspace=\"0em\" 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><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mrow><mi>𝑗</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mn>1</mn></mrow></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑡</mi><mi>𝑗</mi></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo stretchy=\"false\">)</mo><mn>2</mn></msup></math></p><p>And this ends up being 0, because the uncountably infinite number of zeros from the continuous part of the process destroys the countable number of nonzero terms in the jump part of the process.</p><p>Ito formula for a Jump Process</p><p><math><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><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><msup><mi>𝑓</mi><mo>′</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><msup><mi>𝑋</mi><mi>𝑐</mi></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mo form=\"prefix\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msup><mi>𝑓</mi><mo>″</mo></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><msup><mi>𝑋</mi><mi>𝑐</mi></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><msup><mi>𝑋</mi><mi>𝑐</mi></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><msub><mo form=\"prefix\" lspace=\"0em\" rspace=\"0em\">∑</mo><mrow><mn>0</mn><mo lspace=\"0em\" rspace=\"0em\">&lt;</mo><mi>𝑠</mi><mo lspace=\"0em\" rspace=\"0em\">≤</mo><mi>𝑇</mi></mrow></msub><mo form=\"prefix\" stretchy=\"false\">[</mo><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>−</mo><mi>𝑓</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑠</mi><mo>−</mo></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">]</mo></math></p><p>This is the same as the Ito decomposition for the continuous aprt of the process plus the jumps.</p><p>We’re going to prove that our Brownian motion and our Poisson process are independent, with the Ito formula.</p><p>Let <math><msub><mi>𝑢</mi><mn>1</mn></msub></math> and <math><msub><mi>𝑢</mi><mn>2</mn></msub></math> be our dummy variables:</p><p><math><mi>𝑌</mi><mo form=\"prefix\" stretchy=\"false\">(</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 form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo lspace=\"0em\" rspace=\"0em\">+</mo><msub><mi>𝑢</mi><mn>2</mn></msub><mi>𝑁</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo lspace=\"0em\" rspace=\"0em\">−</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msubsup><mi>𝑢</mi><mn>1</mn><mn>2</mn></msubsup><mi>𝑡</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝜆</mi><mi>𝑡</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msup><mi>𝑒</mi><msub><mi>𝑢</mi><mn>2</mn></msub></msup><mo lspace=\"0em\" rspace=\"0em\">−</mo><mn>1</mn><mo stretchy=\"false\">)</mo></mrow></msup></math></p><p>The continuous part is time and the Brownian motion, <math><mi>𝑡</mi></math> and <math><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math>. The jump part is the jumps, given by <math><mi>𝑁</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math>.</p><p>We can prove that these are independent by showing that the expectation of their joint moment generating function is the same as the product of their individual moment generating functions.</p><h5>Two Dimensional Ito Formula</h5><p>For two dimensional jump processes, you have the integrals for both.</p><p>We can get an Ito product rule for Ito processes.</p><p><math><msub><mi>𝑋</mi><mn>1</mn></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" 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>=</mo><msub><mi>𝑋</mi><mn>1</mn></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msub><mi>𝑋</mi><mn>2</mn></msub><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><msub><mi>𝑋</mi><mn>2</mn></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑠</mi><mo>−</mo></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mspace width=\"0.1667em\"></mspace><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><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><msub><mi>𝑋</mi><mn>1</mn></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑠</mi><mo>−</mo></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mspace width=\"0.1667em\"></mspace><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><mtext>jump cross-terms</mtext></math></p><p>We need this to prove the <strong>Doleans-Dade exponential</strong></p><p><math><msup><mi>𝑍</mi><mi>𝑋</mi></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msup><mi>𝑒</mi><mrow><msup><mi>𝑋</mi><mi>𝑐</mi></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo lspace=\"0em\" rspace=\"0em\">−</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><mo form=\"prefix\" stretchy=\"false\">[</mo><msup><mi>𝑋</mi><mi>𝑐</mi></msup><mo rspace=\"0em\">,</mo><msup><mi>𝑋</mi><mi>𝑐</mi></msup><mo form=\"postfix\" stretchy=\"false\">]</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow></msup><msub><mo form=\"prefix\" rspace=\"0em\">∏</mo><mrow><mn>0</mn><mo lspace=\"0em\" rspace=\"0em\">&lt;</mo><mi>𝑠</mi><mo lspace=\"0em\" rspace=\"0em\">≤</mo><mi>𝑡</mi></mrow></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>1</mn><mo>+</mo><mi mathvariant=\"normal\">Δ</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑠</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo></math></p><p>We claim that this process is the solution to the SDE</p><p><math><mi>𝑑</mi><msup><mi>𝑍</mi><mi>𝑋</mi></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msup><mi>𝑍</mi><mi>𝑋</mi></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo rspace=\"0em\">−</mo><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑋</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></math></p><p>With the initial condition</p><p>We will need this result to establish our risk-neutral probability measure.</p><p>How do we get the differential for a jump process?</p><p>We can change the intensity of a Poisson process through the risk-neutral probability measure <math><mover accent=\"true\"><mi>ℙ</mi><mo>̃</mo></mover></math> The uniqueness of the risk-neutral measure comes into doubt when you’re looking for a unique solution. You don’t have a complete market, so you calibrate the market to the existing market.</p><p>This is in contrast to GBM which always has a unique solution.</p><h5>Diffusion</h5><p>Let’s look again at these parameters:</p><p><math><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" lspace=\"0.16666666666666666em\" rspace=\"0em\">exp</mo><mrow><mo>{</mo><mrow><mo stretchy=\"false\">(</mo><mi>𝑟</mi><mo>−</mo><mi>𝜆</mi><mi>𝑘</mi><mo>−</mo><mfrac><msup><mi>𝜎</mi><mn>2</mn></msup><mn>2</mn></mfrac><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑡</mi><mo>+</mo><mi>𝜎</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo stretchy=\"false\">)</mo></mrow><mo>}</mo></mrow></math></p><h5>Theorem 11.5.1</h5><p>For</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=\"0.16666666666666666em\">log</mo><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><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><msup><mi>𝐻</mi><mi>𝑐</mi></msup><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><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑑</mi><msup><mi>𝐻</mi><mi>𝑐</mi></msup><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mo form=\"postfix\" stretchy=\"false\">)</mo><mn>2</mn></msup><mo>+</mo><msub><mo form=\"prefix\" lspace=\"0em\" rspace=\"0em\">∑</mo><mrow><mn>0</mn><mo lspace=\"0em\" rspace=\"0em\">&lt;</mo><mi>𝑢</mi><mo lspace=\"0em\" rspace=\"0em\">≤</mo><mi>𝑡</mi></mrow></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><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><msub><mi>𝑢</mi><mo>−</mo></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo></math></p><p>We know some of these things</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>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑟</mi><mo>−</mo><mi>𝜆</mi><mi>𝑘</mi><mo>−</mo><mfrac><msup><mi>𝜎</mi><mn>2</mn></msup><mn>2</mn></mfrac><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑢</mi><mo>+</mo><msubsup><mo form=\"prefix\" lspace=\"0em\">∫</mo><mn>0</mn><mi>𝑡</mi></msubsup><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝜎</mi><mi>𝑑</mi><mover accent=\"true\"><mi>𝑊</mi><mo>̃</mo></mover><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><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝜎</mi><mn>2</mn></msup><mi>𝑑</mi><mi>𝑢</mi></math></p><p>And the rest of this stuff…</p><p><math><mo>+</mo><msub><mo form=\"prefix\" rspace=\"0em\">∑</mo><mrow><mn>0</mn><mo lspace=\"0em\" rspace=\"0em\">&lt;</mo><mi>𝑢</mi><mo lspace=\"0em\" rspace=\"0em\">≤</mo><mi>𝑡</mi></mrow></msub><mo form=\"prefix\" stretchy=\"false\">(</mo><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><msub><mi>𝑢</mi><mo>−</mo></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo></math></p><p>We can say that the <math><msup><mi>𝜎</mi><mn>2</mn></msup></math> portions cancel out, so for a jump at time <math><mi>𝑢</mi></math>,</p><p><math><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mn>0</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><msup><mi>𝑒</mi><mrow><mo stretchy=\"false\">(</mo><mi>𝑟</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mi>𝜆</mi><mi>𝑘</mi><mo lspace=\"0em\" rspace=\"0em\">−</mo><mfrac><msup><mi>𝜎</mi><mn>2</mn></msup><mn>2</mn></mfrac><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑢</mi><mo lspace=\"0em\" rspace=\"0em\">+</mo><mi>𝜎</mi><mi>𝑊</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo lspace=\"0em\" rspace=\"0em\">+</mo><msubsup><mo form=\"prefix\">∑</mo><mrow><mi>𝑖</mi><mo lspace=\"0em\" rspace=\"0em\">=</mo><mn>0</mn></mrow><mrow><mi>𝑁</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑢</mi><mo>−</mo></msub><mo stretchy=\"false\">)</mo></mrow></msubsup><msub><mi>𝑋</mi><mi>𝑖</mi></msub><mo lspace=\"0em\" rspace=\"0em\">+</mo><msub><mi>𝑋</mi><mrow><mi>𝑁</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></mrow></msub></mrow></msup></math></p><p>Then for the jump increment,</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><msub><mi>𝑢</mi><mo>−</mo></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><msub><mi>𝑢</mi><mo>−</mo></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><msup><mi>𝑒</mi><msub><mi>𝑋</mi><mrow><mi>𝑁</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></mrow></msub></msup><mo>−</mo><mn>1</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mi mathvariant=\"normal\">Δ</mi><mi>𝑁</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math></p><p>Let’s look at the discount process</p><p><math><mi>𝐷</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑡</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mo>=</mo><msup><mi>𝑒</mi><mrow><mo>−</mo><mi>𝑟</mi><mi>𝑡</mi></mrow></msup></math> <math><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><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><mo form=\"prefix\">−</mo><mi>𝜆</mi><mi>𝑘</mi><mi>𝐷</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑆</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo form=\"postfix\" stretchy=\"false\">)</mo><mi>𝑑</mi><mi>𝑢</mi><mo>+</mo><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 form=\"postfix\" stretchy=\"false\">)</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><msub><mo form=\"prefix\" lspace=\"0em\">∑</mo><mrow><mn>0</mn><mo lspace=\"0em\" rspace=\"0em\">&lt;</mo><mi>𝑢</mi><mo lspace=\"0em\" rspace=\"0em\">≤</mo><mi>𝑡</mi></mrow></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><msub><mi>𝑢</mi><mo>−</mo></msub><mo form=\"postfix\" stretchy=\"false\">)</mo><mo form=\"prefix\" stretchy=\"false\">(</mo><msup><mi>𝑒</mi><msub><mi>𝑋</mi><mrow><mi>𝑁</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></mrow></msub></msup><mo>−</mo><mn>1</mn><mo form=\"postfix\" stretchy=\"false\">)</mo><mi mathvariant=\"normal\">Δ</mi><mi>𝑁</mi><mo form=\"prefix\" stretchy=\"false\">(</mo><mi>𝑢</mi><mo stretchy=\"false\">)</mo></math></p>","contentSourceFormat":"typst","contentTypst":"=== Lecture Notes\n<lecture-notes>\nin-class final will be decided by Thanksgiving\n\n==== Poisson Processes\n<poisson-processes>\nAll of the stuff we learned about stochastic calculus has been organized around the Ito process, which is continuous. We're going to learn about how we can apply these ideas to other processes.\n\nWhat exactly is a Poisson process?\n\nIf $tau$ is a random variable with this pdf\n\n$f_tau\\(t\\)= {lambda e^(- lambda t) & t gt.eq 0 med 0 & t < 0$\n\nThis is the exponential process with the cdf\n\nThis is a memoryless random variable. Think of a light bulb. If the lifetime of a lightbulb is memoryless, I'm saying that if I screw in a light bulb today, and the probability that the lightbulb would last for more than a year is the same. All we have to know is that it hasn't died yet. How we can prove this is true is with cdfs?\n\nIf I know that\n\n$bb(P)\\(tau lt.eq t\\)= q - e^(- lambda t)$\n\nThen\n\n$bb(P)\\(tau > t\\)= e^(- lambda t)$\n\nby definition. Then what is the probability that\n\n$bb(P)\\(tau > t + s\\|tau > s\\)$\n\nto answer that, we would simply use conditional probabilities. This would be the same as\n\n$= frac(bb(P)\\(\\(tau > t + s\\)inter\\(tau > s\\)\\), bb(P)\\(tau > s\\))$\n\nBut because this is a strict subset on top,\n\n$= frac(bb(P)\\(tau > t + s\\), bb(P)\\(tau > s\\))$\n\n$= e^(- lambda\\(t + s\\)) / e^(- lambda s)$\n\n$= e^(- lambda t)$\n\nIf I'm trying to model a stock process that has discontinuitied, it would be really inconvenient if I had to go back and find a jump to understand my process. We want the Markov property, so the process needs to be Markov no matter what happened in the past: including a jump. Therefore, the process should be totally memoryless, so there is #emph[no] information encoded in it that we can condition into.\n\nWe're going to use our process to model the time in between events.\n\nFor our list of jump times $tau$, we can define\n\nThis counting process is memoryless because it's built off of exponential random variables which are memoryless.\n\nIt's a counting process, so we're only dealing with nonnegative numbers.\n\nWe need something that can go to infinity because there could b infinite.\n\nWe're going to have independent increments just like Brownian motion. All of these are stationary and independent.\n\nFor these increments: $bb(E)\\[N\\(t\\)- N\\(s\\)\\]= lambda\\(t - s\\)$\n\n$bb(V)\\[N\\(t\\)- N\\(s\\)\\]= lambda\\(t - s\\)$\n\nStarting with this idea that\n\n$bb(P)(N(t) - N(s) = k) = frac((lambda (t - s))^k times e^(-lambda (t - s)), k!)$\n\nIf I was tasked with determining what is the expected value, what would I do? The same for any discrete random variable:\n\n$bb(E)[N(t) - N(s)] = sum_(k = 0)^oo k bb(P)(N(t) - N(s) = k) = sum_(k = 0)^oo k frac((lambda (t - s))^k times e^(-lambda (t - s)), k!)$\n\nI can potentially cancel a k, but that would be dividing by zero.\n\nBut this is 0 when $k = 0$, so we can just remove that term.\n\n$= sum_(k = 1)^oo k frac((lambda (t - s))^k times e^(-lambda (t - s)), k!)$\n\nSo now I can kill that k\n\n$= sum_(k = 1)^oo frac((lambda (t - s))^k times e^(-lambda (t - s)), (k - 1)!)$\n\nWe can do a reindex and say\n\n$l = k - 1$\n\n$= sum_(l = 0)^oo frac((lambda (t - s))^(l + 1) times e^(-lambda (t - s)), l!)$\n\nThis is really close to fitting the power series\n\n$e^x = sum_(k = 0)^oo frac(x^k, k !)$\n\nWhat would keep from taking advantage of that here? I can factor out the e part that's a constant. Now that I have one two many ls, I can take one out.\n\n$= lambda (t - s) times e^(-lambda (t - s)) times sum_(l = 0)^oo frac((lambda (t - s))^l, l!)$\n\nThen by the power series form, this is\n\n$= lambda (t - s) times e^(-lambda (t - s)) times e^(lambda (t - s)) = lambda (t - s)$\n\nTherefore this is proven.\n\nHow could I get the variance?\n\nLet's build on our knowledge of the expectation:\n\n$bb(E)[(N(t) - N(s))^2] = sum_(k = 0)^oo frac(k^2 (lambda (t - s))^k times e^(-lambda (t - s)), k!)$\n\nIf it's squared, then we can use the same steps to take out zero through reindexing\n\n$= sum_(l = 0)^oo frac((l + 1) (lambda (t - s))^(l + 1) times e^(-lambda (t - s)), l!)$\n\nSo I'm going to factor out one of those $lambda\\(t - s\\)$ and distribute $l + 1$\n\n$= lambda (t - s) times (sum_(l = 0)^oo frac(l (lambda (t - s))^l times e^(-lambda (t - s)), l!) + sum_(l = 0)^oo frac((lambda (t - s))^l times e^(-lambda (t - s)), l!))$\n\nThe first term is just the expectation. The second is interesting. It's the sum of the probabilities of all of the outcomes of the Poisson distribution, so it must be 1 based on the definition of a density.\n\n$= lambda^2 (t - s)^2 + lambda (t - s)$\n\nWhat would be the moment generating function with dummy variable $u$?\n\n$gamma_(N\\(t\\))\\(u\\)= bb(E)\\[e^(u N\\(t\\))\\]$\n\nTo calculate this expected value, this is the summation\n\n$= sum_(k = 0)^oo frac(e^(u k) times (lambda t)^k times e^(-lambda t), k!)$\n\nWe're going to repeat some of the tricks from earlier.\n\n==== Martingale Property\n<martingale-property>\nPoisson being a counting process, this is not a martingale. It only increases. But what we can do is create a new process\n\n$M\\(t\\)= N\\(t\\)- lambda t$\n\nThis creates a #strong[compensated Poisson process]\n\nIn order to prove this a martingale, we will see\n\n$bb(E)\\[M\\(t\\)\\|cal(F)\\(s\\)\\]= bb(E)\\[N\\(t\\)\\|cal(F)\\(s\\)\\]- lambda t$\n\n$= bb(E)\\[N\\(t\\)- N\\(s\\)\\|cal(F)\\(s\\)\\]+ N\\(s\\)- lambda t$\n\nBut because of the memoryless nature, we can take out what's independent.\n\n$= N\\(s\\)- lambda s = M\\(s\\)$\n\n==== Compound Process\n<compound-process>\nWe can't just say the process could go up by 1. That's not interesting to us. What we do here is make a compound Poisson process which uses $N\\(t\\)$ to determine how many events have happened until $t$. Then it draws the sizes of those events from another distribution that we are going to say are iid called ${ Y_i }$ with expectation $beta$.\n\n$Q\\(t\\)= sum_(i = 1)^(N\\(t\\)) Y_i$\n\nWe have a result called Wald's Equation, which states that\n\n$bb(E)\\[sum_(i = 1)^(n\\(T\\)) Y_i\\]= bb(E)\\[N\\(t\\)\\]bb(E)\\[Y_i\\]$\n\nLet's say I have lootboxes in my video game. The number of boxes I get is also random. But the number of boxes I get is independent of how much is in each individual box. Those are independent distributions. If I expect 5 items in a box, and on average I expect to get 10 boxes, then I expect to get 50 items. That's what this equation is saying. We can also show this by iterated conditioning, but this is easier\n\nThen the stock price will evolve like so\n\n$S\\(t\\)= S\\(0\\)exp {\\( r - lambda k - sigma^2 / 2 \\) t + sigma W \\( t \\)}$\n\nThen the log returns would be normally distributed if GBM was reality.\n\nYou could do a Q-Q plot (quantile quantile) You figure out what point of data in your plot would be in which quantile, and then do that for another data.\n\nWe have leptokurtosis in our real weights which make this not a straight line (heavy tails).\n\nThere are strategies to deal with this:\n\n- Regime Switching: You assume that your stock follows four or five, or even more geometric Brownian motion. There are some periods where you're in low or high volatility, and then you combine those, which explains some of leptokurtosis\n- Stochastic Volatility: This is a different stock model like the Heston stock market model, which is that instead of $sigma\\(t\\)$ being multiplied by the stock price, it's multiplied by a different stochastic process with a different Brownian motion\n- Fractional Brownian Motion: Brownian motion which doesn't have independent increments.\n\nThomas Lonon's PhD was on jump diffusion, so he wants to talk about that!\n\n==== Jump Diffusion\n<jump-diffusion>\nUsing our compound Poisson process, we can created a compensated compound process\n\n$Q\\(t\\)- beta lambda\\(t\\)$\n\nAnd this is a martingale.\n\nWe will require that every process has independent increments for now.\n\nWe're now going to define the stochastic integral\n\nwhere $X$ has jumps and is not a\n\n$X\\(t\\)= X\\(0\\)+ I\\(t\\)+ R\\(t\\)+ J\\(t\\)$\n\nwhere $J\\(t\\)$ is an adapted, right-continuous process with $J\\(0\\)= 0$ and $J\\(t\\)= lim_(s arrow.b t) J\\(s\\)$.\n\nAlso known as #strong[cadlag], continuous from the right, and limit exists from the left, from the French. This is very important to adapted processes.\n\n$integral_0^t phi.alt\\(s\\)d X\\(s\\)= integral_0^t phi.alt\\(s\\)Gamma\\(s\\)d W\\(s\\)+ integral_0^t phi.alt\\(s\\)Theta\\(s\\)d s + sum_(0 < s lt.eq t) phi.alt\\(s\\)Delta J\\(s\\)$\n\nWell how do you calculate this $Delta J\\(s\\)$?\n\nIt's $J\\(s\\)- J\\(s_(-)\\)$\n\nThis will give the magnitude of the jump at time $s$, and 0 everywhere else.\n\nWe will still need the square-integrability to hold true, in order for this stochastic integral to be a martingale, even though it has jumps.\n\n==== Quadratic Variation\n<quadratic-variation>\nHow do we prove quadratic variation? We go back to norms of partitions.\n\n$\\[X\\,X\\]\\(t\\)= lim_(parallel Pi parallel arrow.r 0) sum_(j = 0)^(n - 1)\\(X\\(t_(j + 1)\\)- X\\(t_j\\)\\)^2$\n\nAnd this ends up being 0, because the uncountably infinite number of zeros from the continuous part of the process destroys the countable number of nonzero terms in the jump part of the process.\n\nIto formula for a Jump Process\n\n$f\\(X\\(t\\)\\)= f\\(0\\,X\\(0\\)\\)+ integral_0^t f'\\(X\\(s\\)\\)d X^c\\(s\\)+ 1 / 2 integral_0^t f''\\(X\\(s\\)\\)d X^c\\(s\\)d X^c\\(s\\)+ sum_(0 < s lt.eq T)\\[f\\(X\\(s\\)\\)- f\\(X\\(s_(-)\\)\\)\\]$\n\nThis is the same as the Ito decomposition for the continuous aprt of the process plus the jumps.\n\nWe're going to prove that our Brownian motion and our Poisson process are independent, with the Ito formula.\n\nLet $u_1$ and $u_2$ be our dummy variables:\n\n$Y\\(t\\)= e^(u_1 W\\(t\\)+ u_2 N\\(t\\)- 1 / 2 u_1^2 t - lambda t\\(e^(u_2) - 1\\))$\n\nThe continuous part is time and the Brownian motion, $t$ and $W\\(t\\)$. The jump part is the jumps, given by $N\\(t\\)$.\n\nWe can prove that these are independent by showing that the expectation of their joint moment generating function is the same as the product of their individual moment generating functions.\n\n==== Two Dimensional Ito Formula\n<two-dimensional-ito-formula>\nFor two dimensional jump processes, you have the integrals for both.\n\nWe can get an Ito product rule for Ito processes.\n\n$X_1\\(t\\)X_2\\(t\\)= X_1\\(0\\)X_2\\(0\\)+ integral_0^t X_2\\(s_(-)\\)thin d X_1\\(s\\)+ integral_0^t X_1\\(s_(-)\\)thin d X_2\\(s\\)+ upright(\"jump cross-terms\")$\n\nWe need this to prove the #strong[Doleans-Dade exponential]\n\n$Z^X\\(t\\)= e^(X^c\\(t\\)- 1 / 2\\[X^c\\,X^c\\]\\(t\\)) product_(0 < s lt.eq t)\\(1 + Delta X\\(s\\)\\)$\n\nWe claim that this process is the solution to the SDE\n\n$d Z^X\\(t\\)= Z^X\\(t -\\)d X\\(t\\)$\n\nWith the initial condition\n\nWe will need this result to establish our risk-neutral probability measure.\n\nHow do we get the differential for a jump process?\n\nWe can change the intensity of a Poisson process through the risk-neutral probability measure $tilde(bb(P))$ The uniqueness of the risk-neutral measure comes into doubt when you're looking for a unique solution. You don't have a complete market, so you calibrate the market to the existing market.\n\nThis is in contrast to GBM which always has a unique solution.\n\n==== Diffusion\n<diffusion>\nLet's look again at these parameters:\n\n$S\\(t\\)= S\\(0\\)exp {\\( r - lambda k - sigma^2 / 2 \\) t + sigma W \\( t \\)}$\n\n==== Theorem 11.5.1\n<theorem-11.5.1>\nFor\n\n$H\\(t\\)= log S\\(t\\)$\n\n$S\\(t\\)= S\\(0\\)+ integral_0^t S\\(u\\)d H^c\\(u\\)+ 1 / 2 integral_0^t S\\(u\\)\\(d H^c\\(u\\)\\)^2+ sum_(0 < u lt.eq t)\\(S\\(u\\)- S\\(u_(-)\\)\\)$\n\nWe know some of these things\n\n$= S\\(0\\)+ integral_0^t S\\(u\\)\\(r - lambda k - sigma^2 / 2\\)d u + integral_0^t S\\(u\\)sigma d tilde(W)\\(u\\)+ 1 / 2 integral_0^t S\\(u\\)sigma^2 d u$\n\nAnd the rest of this stuff…\n\n$+ sum_(0 < u lt.eq t)\\(S\\(u\\)- S\\(u_(-)\\)\\)$\n\nWe can say that the $sigma^2$ portions cancel out, so for a jump at time $u$,\n\n$S\\(u\\)= S\\(0\\)e^(\\(r - lambda k - sigma^2 / 2\\)u + sigma W\\(u\\)+ sum_(i = 0)^(N\\(u_(-)\\)) X_i + X_(N\\(u\\)))$\n\nThen for the jump increment,\n\n$S\\(u\\)- S\\(u_(-)\\)= S\\(u_(-)\\)\\(e^(X_(N\\(u\\))) - 1\\)Delta N\\(u\\)$\n\nLet's look at the discount process\n\n$D\\(t\\)= e^(- r t)$ $D\\(t\\)S\\(t\\)= S\\(0\\)+ integral_0^t - lambda k D\\(u\\)S\\(u\\)d u + integral_0^t sigma S\\(u\\)D\\(u\\)d tilde(W)\\(u\\)+ sum_(0 < u lt.eq t) D\\(u\\)S\\(u_(-)\\)\\(e^(X_(N\\(u\\))) - 1\\)Delta N\\(u\\)$","dataUrl":"https://sharifhsn.dev/api/posts/poisson-processes.json","date":"2024-11-28","datePublished":"2024-11-28","description":"in-class final will be decided by Thanksgiving All of the stuff we learned about stochastic calculus has been organized around the Ito process, which is continuous. We’re going…","site":"https://sharifhsn.dev","slug":"poisson-processes","source":"FE-610 | Stochastic Calculus","sourceUrl":null,"tags":["Stochastic Calculus","Poisson Processes","Jump Diffusion"],"title":"Poisson Processes","url":"https://sharifhsn.dev/blog/poisson-processes/","version":"1","wordCount":2924}