Stochastic Processes

Read Stochastic Process.

Random Walk on the Reals

We want to generalize stochastic processes to continuous time and continuous state spaces. Consider the random walk on .

Let be Normal iid RVs and consider

and . Recall this form from the continuum limit. Expanding this sequence yields:

  • Because the sum of normally distributed RVs is normal, is normally distributed. The Moments of this process are
  • This establishes the distribution

Continuum Limit of the Random Walk

To determine if there is a continuous limit such that as , the observation time must remain fixed. We can analyze the variance under this limit:

as . In fact, the continuum limit only exists for , i.e. there exists a finite, non-zero such that as with fixed.

We look at the variance because the mean provides no information. The discussion above is also non-rigorous. The continuum limit is called Brownian motion/Wiener process.

Brownian Motion and SDE Formulation

  • The continuum limit is called Brownian Motion or Wiener process.
  • Discretized form for : for iid.
  • The SDE notation for is written as
  • We can think of SDEs in terms of discrete equations with .

Definition (Brownian Motion, Wiener Process)

Brownian Motion (BM) is a time-homogeneous, continuous-time, continuous state Markov Process. At Stochastic Process for is a Brownian Motion if:

  1. with probability .
  2. for all . In particular, .
  3. For any , the RVs are independent. These are called independent increments
  4. is a continuous function for .

From , for . This implies that

for . See Brownian Motion and SDE Formulation.

BM is continuous but nowhere differentiable. From above, we see that

for .

Properties of Brownian Motion

  • Since for is a Markov process, then for , we have that
  • From , we can have . This implies that and , i.e. the mean and variance. We can write for .
  • The following processes are BMs. It is sufficient to check for all four properties above, if is already a BM.
    • for any
    • for any
  • The transition probability density is denoted as for , where for . This implies that is a PDF of Normal , or
  • are not independent. Indeed, their Covariance is as follows: In particular, .

Example 1

We know and . Then

relating how BM and the normal distribution.

Ornstein-Uhlenbeck Process (OU)

The Ornstein-Uhlenbeck (OU) process is defined by the stochastic differential equation:

with initial condition , and . Note that .

Euler-Maruyama’s Method for OU Process

We want to simulate

where and are constants. We can approximate for via

  1. Set .
  2. Let with
  3. For to ,
    1. Generate
    2. Set
  4. Output We get that .

Moments of the OU Process

Evaluate the first moment by applying the expectation operator to the SDE.

Taking the Expectation yields the following. The second term is zero since the differential operator commutes with the expectation and property 2.

This translates to an ordinary differential equation (ODE) for the expectation:

To solve this ODE, let . The differential equation becomes:

Solving this linear ODE with the initial condition yields:

Substituting the expectation back provides the exact first moment:

How can we solve for higher moments, e.g. ? We use Ito Calculus and Stochastic Calculus.

General Stochastic Differential Equations

In , SDEs are equations of the form

where is Brownian Motion, and constants . We use the following terminology:

  • Drift Term:
  • Diffusion Term:
  • Time Homogeneous: is independent of . Otherwise it is time “inhomogeneous”.
  • Additive Noise: independent of .
  • Multiplicative Noise: depends on .

Example 2

Let particle be in a force field . Then

for some constant has drift (deterministic force) of and a diffusion (random kicks) of . This is time homogeneous (since and do not depend on ) with additive noise ( does not depend on ).

SDEs in Higher Dimensions

The vector is Brownian Motion if all its components are BMs. An SDE for has the form

where and in general, can be an matrix. If then we can treat it as a scalar.

Example 3 (Euler-Maruyama for 2D Brownian)

Suppose we had a Brownian particle on with modeled as

We can use the Euler-Maruyama method to discretize and simulate this.

  1. Let with for .
  2. For to ,
    1. Generate iid.
  3. Output . Note that the second term is a 2-column vector with , not the combinatoric definition.

Example 4 (Active Brownian Particle)

Suppose we had an active Brownian particle with

  • speed
  • direction
  • diffuses with the SDEs

The following is a diagram representing this system.

"\\begin{document}\n\\begin{tikzpicture}\n % Define parameters for geometry and placement\n \\def\\R{1.2} % Circle radius\n \\def\\Ang{35} % Vector angle (e.g., 35 degrees)\n \\def\\L{1.8} % Vector length (extending past circle)\n \\def\\ArcR{0.6} % Angle arc radius\n\n % Draw the particle (the circle)\n \\draw (0,0) circle (\\R);\n \\filldraw (0,0) circle (1.5pt); % Add the center point\n\n % Label for position vector x(t) to the lower-left\n \\node at (-\\R-0.6, -0.6) {$\\underline{x}(t)$};\n\n % Draw the horizontal dashed reference line\n \\draw[dashed] (0,0) -- (\\R,0);\n\n % Draw the orientation vector \\underline{n}_{\\theta}\n \\draw[->, thick] (0,0) -- (\\Ang:\\L) node[above right=-1pt] {$\\underline{n}_{\\theta}$};\n\n % Draw the angle arc and label \\theta(t)\n \\draw (0,0) -- (\\ArcR,0) arc (0:\\Ang:\\ArcR);\n \\node at (\\Ang/2:\\ArcR+0.6) {$\\theta(t)$}; % Label near the arc\n\\end{tikzpicture}\n\\end{document}"x(t)nµµ(t)
source code

where

  • and
  • constants
  • is a 2D BM
  • is a 1D BM

We can use the Euler-Maruyama Method to simulate this.

  1. Choose and .
  2. For to ,
    1. Generate iid.
    2. Set
3. Set 
  1. Output .

Applying Units

Suppose has units length . Given

we get

  • , length
  • for time
  • , for velocity
  • since from properties. This represents stochastic fluctuations.
  • and . represents rate of spreading. Recall this is the diffusion constant.