Continuation from Moments of the OU Process. We want to calculate higher order moments.
The idea is that we use a “stochastic” chain rule for computing where is the differential operator.
Taylor Series (Big O notation)
Let be smooth. Then
This comes from Taylor’s Theorem. Similarly, we have First-Order Taylor Expansion using Big O Notation. We rewrite it here to motivate the following lemma.
Ito’s Lemma
Consider the 1D SDE for :
Stochastic calculus differs from standard calculus. Recall that from the formulation and (from the variance). This implies because the noise term dominates the drift term as .
The goal for Ito’s Lemma is, given function and , to find an expression for . The strategy is to use the Taylor expansion of up to and treating (since the variance of vanishes faster than its mean as ).
Consider the transformation of :
Next, we find and to :
We substitute these back into the expansion, keeping only terms up to :
Note that the terms are omitted because as , they vanish significantly faster than the and terms. The final line is Ito’s Lemma.
Remarks (Ito’s Lemma)
As previously mentioned, this is the stochastic version of the chain rule:
- If (i.e. no noise, is deterministic), then , such that .
- This works because which is small enough to ignore. See the derivation of above.
In the stochastic case, at in general because , so we need to work to get expression correct to .
But what about the term?
Discretization Dilemma
ODE Case
In the ODE case,
Let and set . Then via Taylor expansion,
But then
implying it is equal at . Implying that
We get equivalent discretizations of , where
both . Te reason they are “equal at ” is because is differentiable and smooth (no noise).
This effect is similar to how the Riemann-Stieltjes Integral evaluated on an interval from left to right via Riemann Sums gives us the same value.
Note that “equal at ” is with respect to the Taylor expansion.
SDE Case (Ito-SDE)
Consider the SDE:
Set and discretize up to only.
where , the standard normal, independent of . This is different from
The first discretization is an example of an Ito-SDE. The noise is independent of the current state , and the expectation is , so it does not push the particle in some specific direction.
This is the most common type of SDE, and Ito Calculus holds for Ito-SDEs.
Example 1 (Discrete-Time Step with Ito’s Lemma)
We can derive with Ito’s Lemma.
giving us a discrete expression for . The continuum limit gives Ito Calculus.
Example 2 (Simple Ito Lemma)
We can do a much easier example. What is for ? Using Ito’s Lemma,
where represents a constant to replace .
Because stochastic processes are nowhere differentiable, we cannot describe a simple derivative of a function. Instead, we discuss how it updates deterministically and how multiplicative noise affects it.
Backwards Ito SDE
The first SDE of SDE Case (Ito-SDE) is covered by Examples 1 and 2. We can show the derivation for the second rule, where diffusion depends on the future state. This is the continuum limit of
for standard normal . Let be independent and . The SDE of this discretized form is
This is
- Anticipatory: Diffusion term depends on future state.
- because the correlation between and creates additional drift.
- The bullet is used to represent the backwards Ito. This represents the anticipatory nature of the SDE.
Not sure if continuum limit gives the correct SDE.
Stratanovich SDE
We take the continuum limit of
where and are independent with . The SDE is
Notation can vary.
Remarks (Ito v.s Ito Backwards)
The Ito-SDE can sometimes be written
where the asterisk represents non-anticipatory updates.
We consider Ito-SDEs most common since
Different SDEs can be transformed into each other. Suppose satisfies
or the backwards Ito. Then
represents the Ito SDE. In general, different SDEs have different chain rules.
Example 3 (Apply OU on Ito SDE)
We can analyze an OU-process with Ito’s Lemma. Recall that OU-processes are of the following form. Let with
where are constants and . We can take the expectation to get
Set . Then
giving us the general form for the expectation. Recall from example 2 that
On average, where is the particle spending time in? This means we need to take the expectation:
Letting , this amounts to solving
where . Now we solve like a typical ODE. Write
and solve for the homogeneous solution:
and the particular solution:
This implies that
We can also solve via separating the variables:
The rest is trivial.
Example 4 (Geometric BM)
Let . Consider Geometric Brownian Motion:
The expectation gives
We can again apply this to with Ito’s Lemma to find the second moment:
or the second moment.
Context: GBM is the standard model for stock prices because the noise is multiplicative (). This ensures that returns are independent of the absolute price level, and it prevents the price from ever becoming negative.
Example 5 (Geometric BM with Log Expectation)
To solve the SDE exactly, we use Ito’s Lemma on . So,
The result is Brownian Motion with Drift where the coefficients are constants. This means that is Normal.
Indeed,
Insight: The term is the “Ito Correction.” It shows that volatility actually drags down the median growth of a stock, even if the average growth remains .
Example 6 (Arithmetic BM with Drift)
Consider an SDE with with constant additive noise and drift. Let and
where are constants and . The expectation gives the linear trend:
Using Ito’s Lemma with ,
This also gives us the variance.
We also know the full distribution:
implying that , since by definition.
Comparison: Unlike GBM (where variance grows exponentially), Arithmetic BM has a variance that grows linearly with time (). This is used for physical diffusion (e.g., a particle in a flow) rather than finance, as it allows for negative values.