Example 1
Consider SDE for particle with
is called a potential. The SDE represents “go in the direction of plus some noise”. The drift moves the particles to the nearest well (negative means it will decrease) and diffusion here means it will get random kicks.
Kolmogorov Forward Equation
Let be the PDF of , so . What happens to as ? Recall Ito’s Lemma: for any function ,
Take the expectation,
If all have the same form, then we get an ODE which we can solve. E.g. if they’re all then we would have an ODE for .
Instead, we will use to write down both sides of .
and
The goal is write this as an integral against , and equate this with the LHS. We’ll do this by Integration By Parts.
Starting with the expectation on the RHS:
Apply integration by parts to the first term:
Since as , the boundary term vanishes:
Apply integration by parts to the second term:
The boundary term vanishes again:
Substitute these back into the RHS equation:
Apply integration by parts a second time to the remaining term (the second term):
The boundary term vanishes, leaving (assuming constant ):
Combine the terms to express the entire RHS as an integral against :
Equate the RHS with the LHS:
Since this holds for any (reasonable) function , the integrands must be equal, yielding the Kolmogorov Forward Equation equation:
This is also called the Fokker-Planck Equation.
The reason why the boundary terms head to is because as . The idea is that since is a PDF, , and so must taper off (i.e. go to ) as we integrate over this infinite range to ensure it is equal to . Likewise, .
For we get
- SDE:
- FPE:
Stationary Distributions
The FPE works with the same SDE as before.
where is a PDF of . Suppose there is a stationary distribution
Then must satisfy the FPE. But
implying that
Typically as , so . We get
The inner term is still constant. So,
where is the normalization. (Recall this is intractable.)
Remarks:
- Boltzmann Distribution for energy and temperature .
- Common in statistical mechanics because it arises from SDE.
- Because is negative in the exponent, the probability will be highest where is the lowest. The particle is most likely to be found at the very bottom of potential wells. We can see this in Example 1’s graph.
We want to ask what does the probability cloud look like after the system has been running for an infinitely long time. Eventually, the “spread” of the random noise will reach a perfect equilibrium. The probability cloud will stop changing shape. Mathematically, that is equivalent to setting the time derivative .
Algorithm using Euler-Maruyama
We can use Euler-Maruyama for the SDE.
- iid.
- as .
This also works in higher dimensions:
This SDE has a PDF
as . We can solve PDEs numerically by simulating it is a corresponding SDE. For example, we can use the OU process:
has potential . Then, the PDF has
For general , the local min gives . This implies that
for close to via Taylor Series. Thus,
as . The hopping ability is
where is the bottom of the second well. If is smaller than the distance between the well, then the particle will be unable to jump to the second well. However, if is high enough (imagine this is the temperature), then the particle can jump to .