- ODEs are equations defined using derivatives of variables. In the simplest form, how a physical object position as a function of time is updated can be defined using some function .
- What does this equation mean?
- Write the differential equation in a shorter way, and explain it.
- This states that infinitesimal change in position is equal to the function scaled by infinitesimal difference
- An equation of the form gives the value of y according to function f at any point inside the support of the function. While a differential equation is a vector field that gives the change of position at any point and at any time t.
- The way to solve a differential equation is to take an initial point, and sum the infinitesimal changes over time.
- To make the integral tractable, above formulation can be discretized to and , and turned into a summation.
Before talking about SDEs, let’s talk about Stochasticity over time: Weiner Process.
- Weiner Process models position of a particle with a purely random trajectory in a Euclidean space. Mathematically, we can represent the position as: , where is a probability distribution.
- The above equation is a differential equation with a non-deterministic function that follows some distribution, and we equate the infinitesimal change in position to random move in space scaled times the infinitesimal time that move is followed.
- Since is a random variable, each position also follows the same distribution and, we treat each position in time itself as a random variable, governed by equation above.
- We can choose any distribution for , but Good ol’ friend Gaussian doesn’t like that, and is staring right at us through the Central limit hole! We model the probability of random movement with a standard Gaussian, .
- We choose amount of infinitesimal time to be . We’ll derive the reason why.
- Thirdly, we want to the starting position of the differential equation .
- Since is a random variable, we don’t know its integral. Rather we look at the first two moments:
- .
- So, all paths stay around initial position 0, and start to spread further proportional to the length of the path.
- The process defined so far is an elementary stochastic process called Wiener process that defines the path of infinitesimal movement of particle.
add a brownian motion picture
Let’s define the properties of the Wiener process:
- Initial position:
- Independent increments: . Any future motion is independent of past motion. This can be seen as continuous time analog of iid steps in random walks.
- Stationary Gaussian increments: . The displacement of the particle over an interval is Gaussian distributed with mean 0 and variance proportional to the interval. We just proved this above.
- Continuous time paths but nowhere differentiable. Paths are continuous, but this being a stochastic process, Wiener process is not differentiable because , so .
- Other properties include the covariance structure: , Markov property: for , Martingale property: .
SDE
An SDE is just combination of ODE and stochastic process. We defined a stochastic differential equation which is the infinitesimal change in random variable as sum of deterministic change and stochastic process (infinitesimal Wiener process)
This is also known as Ito drift-diffusion process. Solving the SDE, we’ll assume constant and .
is a random variable. Let’s calculate analytical mean and variance of the process.
- Ito’s Process: Ito’s lemma that tells how to differentiate an SDE: Ito’s (Di)Lemma
- Ornstein-Uhlenbeck process: Solving (Some) SDEs
- Fokker-Planck Equation
Time reversal of diffusion/reverse SDE
- Why do we want to reverse an SDE?
Score estimation using SDE
Stochastic Calculus
Introduction to Stochastic Calculus | Ji-Ha’s Blog Itô Processes and The Fundamental Theorem of Stochastic Calculus ItoSDE_Tutorial LW - Blog