Lesson 2.4: The Itô Integral (Summing Up Randomness)

Welcome to the final lesson of Module 2. We have successfully built our 'weird algebra' and have a 'multiplication table' for our new infinitesimal steps.

dtdt=0dt \cdot dt = 0
dtdWt=0dt \cdot dW_t = 0
(dWt)2=dt(dW_t)^2 = dt

Now, we're going to use this to build a new type of "summing" tool: the Itô Integral. This is the stochastic version of the simple integral we learned about in Lesson 1.5.

Part 1: The "Normal" Integral (A Quick Review)

In Lesson 1.5, we learned that a normal integral, abf(x)dx\int_a^b f(x) dx, is just a "perfect sum" of tiny rectangles.

  • Width: Δt\Delta t (which becomes dtdt)
  • Height: f(t)f(t)
  • Area: f(t)Δtf(t) \cdot \Delta t

To calculate the total sum, f(ti)Δt\sum f(t_i) \Delta t, we have to choose a height f(t)f(t) for each tiny slice. For the slice from tit_i to ti+1t_{i+1}, we could pick:

  • The left point: f(ti)f(t_i)
  • The right point: f(ti+1)f(t_{i+1})
  • The midpoint: f((ti+ti+1)/2)f( (t_i + t_{i+1}) / 2 )

In "normal" calculus, it doesn't matter. As the rectangles get infinitely skinny, all three choices give you the exact same answer.

Part 2: The "Random" Integral (The New Problem)

Now, we want to define a stochastic integral:

I=0Tf(Wt)dWtI = \int_0^T f(W_t) dW_t

This is a completely different and harder problem. We are trying to find the "total" of:

(Height)(Width)f(Wti)(ΔWi)\sum (\text{Height}) \cdot (\text{Width}) \to \sum f(W_{t_i}) \cdot (\Delta W_i)

Our "width" is no longer a predictable Δt\Delta t. It's a random step ΔWi\Delta W_i.

This creates a huge problem: Does our choice of tit_i matter now?

Let's test it. Let's try to solve the simplest possible stochastic integral, f(Wt)=Wtf(W_t) = W_t:

0TWtdWt\int_0^T W_t dW_t

Our "normal" calculus brain says xdx=12x2\int x \, dx = \frac{1}{2}x^2, so the answer *must* be 12WT2\frac{1}{2}W_T^2. Let's see if that's true.

Part 3: The Proof - Why The "Choice of Point" Matters

We will use a simple algebra identity: y(yx)=12(y2x2)+12(yx)2y(y-x) = \frac{1}{2}(y^2 - x^2) + \frac{1}{2}(y-x)^2. Let's define our step:

  • x=Wtix = W_{t_i} (the "left point")
  • y=Wti+1y = W_{t_{i+1}} (the "right point")
  • yx=ΔWiy-x = \Delta W_i (the "step")

Plugging these in gives us two "magic" identities:

WtiΔWi=12(Wti+12Wti2)12(ΔWi)2Wti+1ΔWi=12(Wti+12Wti2)+12(ΔWi)2\begin{gathered} W_{t_i} \Delta W_i = \frac{1}{2}\left( W_{t_{i+1}}^2 - W_{t_i}^2 \right) - \frac{1}{2}(\Delta W_i)^2 \\ W_{t_{i+1}} \Delta W_i = \frac{1}{2}\left( W_{t_{i+1}}^2 - W_{t_i}^2 \right) + \frac{1}{2}(\Delta W_i)^2 \end{gathered}

Now, let's sum them up from i=1 to n.

Test Case A: The "Left-Point" (Itô) Integral

We sum the first identity:

i=1nWtiΔWi=i=1n[12(Wti+12Wti2)]i=1n[12(ΔWi)2]\sum_{i=1}^n W_{t_i} \Delta W_i = \sum_{i=1}^n \left[ \frac{1}{2}\left( W_{t_{i+1}}^2 - W_{t_i}^2 \right) \right] - \sum_{i=1}^n \left[ \frac{1}{2}(\Delta W_i)^2 \right]

The first sum is a "telescoping sum," which simplifies to 12(WT2W02)=12WT2\frac{1}{2}(W_T^2 - W_0^2) = \frac{1}{2}W_T^2.

The second sum is the Quadratic Variation, which simplifies to 12T\frac{1}{2}T.

The Itô Answer: 0TWtdWt=12WT212T\int_0^T W_t dW_t = \frac{1}{2}W_T^2 - \frac{1}{2}T

Test Case B: The "Right-Point" Integral

We sum the second identity:

i=1nWti+1ΔWi=i=1n[12(Wti+12Wti2)]+i=1n[12(ΔWi)2]\sum_{i=1}^n W_{t_{i+1}} \Delta W_i = \sum_{i=1}^n \left[ \frac{1}{2}\left( W_{t_{i+1}}^2 - W_{t_i}^2 \right) \right] + \sum_{i=1}^n \left[ \frac{1}{2}(\Delta W_i)^2 \right]

The only difference is the + sign. The result is: 0TWtdWt=12WT2+12T\int_0^T W_t dW_t = \frac{1}{2}W_T^2 + \frac{1}{2}T

We have just proven that in stochastic calculus, the "choice of point" does not just matter, it gives a completely different answer. The "normal" calculus answer, 12WT2\frac{1}{2}W_T^2, is wrong in both cases.

Part 4: Itô's Choice (The 'Non-Anticipating' Rule)

Kiyosi Itô made the choice that is the foundation of all modern finance. He defined his integral using only the left-hand point.

The Itô Integral Definition:
0Tf(t)dWt=limni=1nf(ti)(Wti+1Wti)\int_0^T f(t) dW_t = \lim_{n \to \infty} \sum_{i=1}^n f(t_i) \cdot (W_{t_{i+1}} - W_{t_i})

This is a subtle but profound choice. It says: "Your 'trading decision' (the amount you want to buy, f(ti)f(t_i)) can only be based on information you have right now (at time tit_i). You cannot base your decision on the future random event (Wti+1WtiW_{t_{i+1}} - W_{t_i}) that hasn't happened yet." Itô's integral is the only mathematical framework that respects the arrow of time.

What's Next? (The 'Hook')
  • We just proved that 0TWtdWt=12WT212T\int_0^T W_t dW_t = \frac{1}{2}W_T^2 - \frac{1}{2}T.
  • That new 12T-\frac{1}{2}T term is a deterministic "correction" that appeared out of nowhere.
  • This proves that "normal" integration rules are completely broken. We need a shortcut.
  • That shortcut is Itô's Lemma, the "chain rule" for this new random world, which is the entire subject of our next module.

Up Next: Module 3: Itô's Lemma