Fokker–Planck equation

A solution to the one-dimensional Fokker–Planck equation, with both the drift and the diffusion term. In this case the initial condition is a Dirac delta function centered away from zero velocity. Over time the distribution widens due to random impulses.

In statistical mechanics, the Fokker–Planck equation is a partial differential equation that describes the time evolution of the probability density function of the velocity of a particle under the influence of drag forces and random forces, as in Brownian motion. The equation can be generalized to other observables as well.^[1] It is named after Adriaan Fokker^[2] and Max Planck^[3] and is also known as the Kolmogorov forward equation, after Andrey Kolmogorov, who independently discovered the concept in 1931.^[4] When applied to particle position distributions, it is better known as the Smoluchowski equation (after Marian Smoluchowski). The case with zero diffusion is known in statistical mechanics as the Liouville equation.

The first consistent microscopic derivation of the Fokker–Planck equation in the single scheme of classical and quantum mechanics was performed^[5] by Nikolay Bogoliubov and Nikolay Krylov.^[6]

The Smoluchowski equation is the Fokker–Planck equation for the probability density function of the particle positions of Brownian particles.^[7]

One dimension

In one spatial dimension x, for an Itō process driven by the standard Wiener process $W_{t}$ and described by the stochastic differential equation (SDE)

dX_{t}=\mu (X_{t},t)dt+\sigma (X_{t},t)dW_{t}

with drift $\mu (X_{t},t)$ and diffusion coefficient $D(X_{t},t)=\sigma ^{2}(X_{t},t)/2$ , the Fokker–Planck equation for the probability density $p(x,t)$ of the random variable $X_{t}$ is

{\frac {\partial }{\partial t}}p(x,t)=-{\frac {\partial }{\partial x}}\left[\mu (x,t)p(x,t)\right]+{\frac {\partial ^{2}}{\partial x^{2}}}\left[D(x,t)p(x,t)\right].

Link between the Itō SDE and the Fokker-Planck equation

In the following, use $\sigma ={\sqrt {2D}}$ .

Define the Infinitesimal Generator ${\mathcal {L}}$ (the following can be found in Ref.^[8]) :

{\mathcal {L}}p(X_{t})=\lim _{\Delta t\rightarrow 0}{\frac {1}{\Delta t}}\left(\mathbb {E} {\big [}p(X_{t+\Delta t})|X_{t}=x{\big ]}-p(x)\right)

The transition probability, $\mathbb {P} _{t,t'}(x|x')$ , the probability of going from $(t',x')$ to $(t,x)$ , is introduced here; the expectation can be written as

\mathbb {E} (p(X_{t+\Delta t})|X_{t}=x)=\int p(y)\,\mathbb {P} _{t+\Delta t}(y|x)dy

Now we replace in the definition of ${\mathcal {L}}$ , multiply by $\mathbb {P} _{t,t'}(x|x')$ and integrate over $dx$ . The limit is taken on

{\begin{aligned}&\int p(y)\int \mathbb {P} _{t+\Delta t,t}(y|x)\,\mathbb {P} _{t,t'}(x|x')dxdy-\int p(x)\,\mathbb {P} _{t,t'}(x|x')\,dx\end{aligned}}

Note now that

\int \mathbb {P} _{t+\Delta t,t}(y|x)\,\mathbb {P} _{t,t'}(x|x')\,dx=\mathbb {P} _{t+\Delta t,t'}(y|x')

which is the Chapman–Kolmogorov theorem. Changing the dummy variable $y$ by $x$ , one gets

{\begin{aligned}&=\int p(x)\lim _{\Delta t\rightarrow 0}{\frac {1}{\Delta t}}\left(\mathbb {P} _{t+\Delta t,t'}(x|x')-\mathbb {P} _{t,t'}(x|x')\right)dx\end{aligned}}

which is a time derivative. Finally we arrive to

\int \left[{\mathcal {L}}p(x)\right]\mathbb {P} _{t,t'}(x|x')\,dx=\int p(x)\,\partial _{t}\mathbb {P} _{t,t'}(x|x')\,dx

From here, the Kolmogorov Backward Equation can be deduced. If we instead use the adjoint operator of ${\mathcal {L}}$ , ${\mathcal {L}}^{\dagger }$ , defined such that

\int \left[{\mathcal {L}}p(x)\right]\mathbb {P} _{t,t'}(x|x')dx=\int p(x)\left[{\mathcal {L}}^{\dagger }\mathbb {P} _{t,t'}(x|x')\right]dx

then we arrive to the Kolmogorov Forward Equation, or Fokker-Planck Equation which, simplifying the notation $p(x,t)=\mathbb {P} _{t,t'}(x|x')$ , in its differential form reads

{\mathcal {L}}^{\dagger }p(x,t)=\partial _{t}p(x,t)

Remains the issue of defining explicitly ${\mathcal {L}}$ . This can be done taking the expectation from the integral form of the Itō's lemma,

\mathbb {E} (p(X_{t}))=p(X_{0})+\mathbb {E} (\int _{0}^{t}\left(\partial _{t}+\mu \partial _{x}+{\frac {\sigma ^{2}}{2}}\partial _{x}^{2}\right)p(X_{t'})dt')

The part that depends on $dW_{t}$ vanished because of the martingale property.

Then, for a particle subject to an Itō equation, using

{\mathcal {L}}=\mu \partial _{x}+{\frac {\sigma ^{2}}{2}}\partial _{x}^{2}

it can be easily calculated, using integration by parts, that

{\mathcal {L}}^{\dagger }=-\partial _{x}(\mu \cdot )+{\frac {1}{2}}\partial _{x}^{2}(\sigma ^{2}\cdot )

which bring us to the Fokker–Planck equation,

\partial _{t}p(x,t)=-\partial _{x}\left(\mu (x,t)\cdot p(x,t)\right)+\partial _{x}^{2}\left({\frac {\sigma (x,t)^{2}}{2}}\,p(x,t)\right).

While the Fokker–Planck equation is used with problems where the initial distribution is known, if the problem is to know the distribution at previous times, the Feynman-Kac formula can be used, which is a consequence of the Kolmogorov backward equation.

The stochastic process defined above in the Itō sense can be rewritten within the Stratonovich convention as a Stratonovich SDE:

dX_{t}=\left[\mu (X_{t},t)-{\frac {1}{2}}{\frac {\partial }{\partial X_{t}}}D(X_{t},t)\right]dt+{\sqrt {2D(X_{t},t)}}\circ dW_{t}.

It includes an added noise-induced drift term due to diffusion gradient effects if the noise is state-dependent. This convention is more often used in physical applications. Indeed, it is well known that any solution to the Stratonovich SDE is a solution to the Itō SDE.

The zero drift equation with constant diffusion can be considered as a model of classical Brownian motion:

${\frac {\partial }{\partial t}}p(x,t)=D_{0}{\frac {\partial ^{2}}{\partial x^{2}}}\left[p(x,t)\right]$

This model has discrete spectrum of solutions if the condition of fixed boundaries is added for $\{0\leqslant x\leqslant L\}$ :

$p(0,t)=p(L,t)=0$

$p(x,0)=p_{0}(x)$

It has been shown ^[9] that in this case an analytical spectrum of solutions allows deriving a local uncertainty relation for the coordinate-velocity phase volume:

$\Delta x\Delta v\geqslant D_{0}$

Here $D_{0}$ is a minimal value of a corresponding diffusion spectrum ${D_{j}}$ , while $\Delta x$ and $\Delta v$ represent the uncertainty of coordinate-velocity definition.

Many dimensions

More generally, if

d\mathbf {X} _{t}={\boldsymbol {\mu }}(\mathbf {X} _{t},t)\,dt+{\boldsymbol {\sigma }}(\mathbf {X} _{t},t)\,d\mathbf {W} _{t},

where $\mathbf {X} _{t}$ and ${\boldsymbol {\mu }}(\mathbf {X} _{t},t)$ are N-dimensional random vectors, ${\boldsymbol {\sigma }}(\mathbf {X} _{t},t)$ is an N $\times$ M matrix and $\mathbf {W} _{t}$ is an M-dimensional standard Wiener process, the probability density $p(\mathbf {x} ,t)$ for $\mathbf {X} _{t}$ satisfies the Fokker–Planck equation

{\frac {\partial p(\mathbf {x} ,t)}{\partial t}}=-\sum _{i=1}^{N}{\frac {\partial }{\partial x_{i}}}\left[\mu _{i}(\mathbf {x} ,t)p(\mathbf {x} ,t)\right]+{\frac {1}{2}}\sum _{i=1}^{N}\sum _{j=1}^{N}{\frac {\partial ^{2}}{\partial x_{i}\,\partial x_{j}}}\left[D_{ij}(\mathbf {x} ,t)p(\mathbf {x} ,t)\right],

with drift vector ${\boldsymbol {\mu }}=(\mu _{1},\ldots ,\mu _{N})$ and diffusion tensor

D_{ij}(\mathbf {x} ,t)=\sum _{k=1}^{M}\sigma _{ik}(\mathbf {x} ,t)\sigma _{jk}(\mathbf {x} ,t).

If instead of an Itō SDE, a Stratonovich SDE is considered,

d\mathbf {X} _{t}={\boldsymbol {\mu }}(\mathbf {X} _{t},t)\,dt+{\boldsymbol {\sigma }}(\mathbf {X} _{t},t)\circ d\mathbf {W} _{t},

the Fokker–Planck equation will read (^[8] pag. 129):

{\frac {\partial p(\mathbf {x} ,t)}{\partial t}}=-\sum _{i=1}^{N}{\frac {\partial }{\partial x_{i}}}\left[\mu _{i}(\mathbf {x} ,t)\,p(\mathbf {x} ,t)\right]+{\frac {1}{2}}\sum _{k=1}^{M}\sum _{i=1}^{N}{\frac {\partial }{\partial x_{i}}}\left\{\sigma _{ik}(\mathbf {x} ,t)\sum _{j=1}^{N}{\frac {\partial }{\partial x_{j}}}\left[\sigma _{jk}(\mathbf {x} ,t)\,p(\mathbf {x} ,t)\right]\right\}

Examples

Wiener process

A standard scalar Wiener process is generated by the stochastic differential equation

dX_{t}=dW_{t}.

Here the drift term is zero and the diffusion coefficient is 1. Thus the corresponding Fokker–Planck equation is

{\frac {\partial p(x,t)}{\partial t}}={\frac {1}{2}}{\frac {\partial ^{2}p(x,t)}{\partial x^{2}}},

which is the simplest form of a diffusion equation. If the initial condition is $p(x,0)=\delta (x)$ , the solution is

p(x,t)={\frac {1}{\sqrt {2\pi t}}}e^{-{x^{2}}/({2t})}.

Ornstein–Uhlenbeck process

The Ornstein–Uhlenbeck process is a process defined as

dX_{t}=-aX_{t}dt+\sigma dW_{t}

with $a>0$ . The corresponding Fokker–Planck equation is

{\frac {\partial p(x,t)}{\partial t}}=a{\frac {\partial }{\partial x}}\left(x\,p(x,t)\right)+{\frac {\sigma ^{2}}{2}}{\frac {\partial ^{2}p(x,t)}{\partial x^{2}}},

The stationary solution ( $\partial _{t}p=0$ ) is

p(x,t)={\sqrt {\frac {a}{\pi \sigma ^{2}}}}e^{-{\frac {ax^{2}}{\sigma ^{2}}}}.

Plasma physics

In plasma physics, the distribution function for a particle species $s$ , $p_{s}\left({\vec {x}},{\vec {v}},t\right)$ , takes the place of the probability density function. The corresponding Boltzmann equation is given by

${\frac {\partial p_{s}}{\partial t}}+{\vec {v}}\cdot {\vec {\nabla }}p_{s}+{\frac {Z_{s}e}{m_{s}}}\left({\vec {E}}+{\vec {v}}\times {\vec {B}}\right)\cdot {\vec {\nabla }}_{v}p_{s}=-{\frac {\partial }{\partial v_{i}}}\left(p_{s}\langle \Delta v_{i}\rangle \right)+{\frac {1}{2}}{\frac {\partial ^{2}}{\partial v_{i}\partial v_{j}}}\left(p_{s}\langle \Delta v_{i}\Delta v_{j}\rangle \right)$ ,

where the third term includes the particle acceleration due to the Lorentz force and the Fokker–Planck term at the right-hand side represents the effects of particle collisions. The quantities $\langle \Delta v_{i}\rangle$ and $\langle \Delta v_{i}\Delta v_{j}\rangle$ are the average change in velocity a particle of type $s$ experiences due to collisions with all other particle species in unit time. Expressions for these quantities are given elsewhere.^[10] If collisions are ignored, the Boltzmann equation reduces to the Vlasov equation.

Computational considerations

Brownian motion follows the Langevin equation, which can be solved for many different stochastic forcings with results being averaged (the Monte Carlo method, canonical ensemble in molecular dynamics). However, instead of this computationally intensive approach, one can use the Fokker–Planck equation and consider the probability $f(\mathbf {v} ,t)d\mathbf {v}$ of the particle having a velocity in the interval $(\mathbf {v} ,\mathbf {v} +d\mathbf {v} )$ when it starts its motion with $\mathbf {v} _{0}$ at time 0.

Solution

Being a partial differential equation, the Fokker–Planck equation can be solved analytically only in special cases. A formal analogy of the Fokker–Planck equation with the Schrödinger equation allows the use of advanced operator techniques known from quantum mechanics for its solution in a number of cases. In many applications, one is only interested in the steady-state probability distribution $f_{0}(x)$ , which can be found from ${\dot {f}}_{0}(x)=0$ . The computation of mean first passage times and splitting probabilities can be reduced to the solution of an ordinary differential equation which is intimately related to the Fokker–Planck equation.

Particular cases with known solution and inversion

In mathematical finance for volatility smile modeling of options via local volatility, one has the problem of deriving a diffusion coefficient ${\sigma }(\mathbf {X} _{t},t)$ consistent with a probability density obtained from market option quotes. The problem is therefore an inversion of the Fokker–Planck equation: Given the density f(x,t) of the option underlying X deduced from the option market, one aims at finding the local volatility ${\sigma }(\mathbf {X} _{t},t)$ consistent with f. This is an inverse problem that has been solved in general by Dupire (1994, 1997) with a non-parametric solution. Brigo and Mercurio (2002, 2003) propose a solution in parametric form via a particular local volatility ${\sigma }(\mathbf {X} _{t},t)$ consistent with a solution of the Fokker–Planck equation given by a mixture model. More information is available also in Fengler (2008), Gatheral (2008) and Musiela and Rutkowski (2008).

Fokker–Planck equation and path integral

Every Fokker–Planck equation is equivalent to a path integral. The path integral formulation is an excellent starting point for the application of field theory methods.^[11] This is used, for instance, in critical dynamics.

A derivation of the path integral is possible in the same way as in quantum mechanics, simply because the Fokker–Planck equation is formally equivalent to the Schrödinger equation. Here are the steps for a Fokker–Planck equation with one variable x. Write the FP equation in the form

{\frac {\partial }{\partial t}}p\!\left(x^{\prime },t\right)=\int _{-\infty }^{\infty }dx\left(\left[D_{1}\left(x,t\right){\frac {\partial }{\partial x}}+D_{2}\left(x,t\right){\frac {\partial ^{2}}{\partial x^{2}}}\right]\delta \left(x^{\prime }-x\right)\right)p\!\left(x,t\right).

The x-derivatives here only act on the $\delta$ -function, not on $p(x,t)$ . Integrate over a time interval $\varepsilon$ ,

p\!\left(x^{\prime },t+\varepsilon \right)=\int _{-\infty }^{\infty }\,dx\left(\left(1+\varepsilon \left[D_{1}\left(x,t\right){\frac {\partial }{\partial x}}+D_{2}\left(x,t\right){\frac {\partial ^{2}}{\partial x^{2}}}\right]\right)\delta \left(x^{\prime }-x\right)\right)p\!\left(x,t\right)+O\left(\varepsilon ^{2}\right).

Insert the Fourier integral

\delta \left(x^{\prime }-x\right)=\int _{-i\infty }^{i\infty }{\frac {d{\tilde {x}}}{2\pi i}}e^{{\tilde {x}}\left(x-x^{\prime }\right)}

for the $\delta$ -function,

{\begin{aligned}p\!\left(x^{\prime },t+\varepsilon \right)&=\int _{-\infty }^{\infty }dx\int _{-i\infty }^{i\infty }{\frac {d{\tilde {x}}}{2\pi i}}\left(1+\varepsilon \left[{\tilde {x}}D_{1}\left(x,t\right)+{\tilde {x}}^{2}D_{2}\left(x,t\right)\right]\right)e^{{\tilde {x}}\left(x-x^{\prime }\right)}p\!\left(x,t\right)+O\left(\varepsilon ^{2}\right)\\&=\int _{-\infty }^{\infty }dx\int _{-i\infty }^{i\infty }{\frac {d{\tilde {x}}}{2\pi i}}\exp \left(\varepsilon \left[-{\tilde {x}}{\frac {\left(x^{\prime }-x\right)}{\varepsilon }}+{\tilde {x}}D_{1}\left(x,t\right)+{\tilde {x}}^{2}D_{2}\left(x,t\right)\right]\right)p\!\left(x,t\right)+O\left(\varepsilon ^{2}\right).\end{aligned}}

This equation expresses $p\!\left(x^{\prime },t+\varepsilon \right)$ as functional of $p\!\left(x,t\right)$ . Iterating $\left(t^{\prime }-t\right)/\varepsilon$ times and performing the limit $\varepsilon \rightarrow 0$ gives a path integral with Lagrangian

L=\int dt\left[{\tilde {x}}D_{1}\left(x,t\right)+{\tilde {x}}^{2}D_{2}\left(x,t\right)-{\tilde {x}}{\frac {\partial x}{\partial t}}\right].

The variables ${\tilde {x}}$ conjugate to $x$ are called "response variables".^[12]

Although formally equivalent, different problems may be solved more easily in the Fokker–Planck equation or the path integral formulation. The equilibrium distribution for instance may be obtained more directly from the Fokker–Planck equation.

Notes and references

↑ Leo P. Kadanoff (2000). Statistical Physics: statics, dynamics and renormalization. World Scientific. ISBN 981-02-3764-2.
↑ Fokker, A. D. (1914). "Die mittlere Energie rotierender elektrischer Dipole im Strahlungsfeld". Ann. Phys. 348 (4. Folge 43): 810–820. doi:10.1002/andp.19143480507.
↑ Planck, M. (1917). "Über einen Satz der statistischen Dynamik und seine Erweiterung in der Quantentheorie". Sitzungsber. Preuss. Akad. Wiss. 24.
↑ Kolmogorov, Andrei (1931). "Über die analytischen Methoden in der Wahrscheinlichkeitstheorie" [On Analytical Methods in the Theory of Probability]. Mathematische Annalen (in German). 104 (1): 415–458 [pp. 448–451]. doi:10.1007/BF01457949.
↑ N. N. Bogolyubov Jr. and D. P. Sankovich (1994). "N. N. Bogolyubov and statistical mechanics". Russian Math. Surveys 49(5): 19—49. doi:10.1070/RM1994v049n05ABEH002419
↑ N. N. Bogoliubov and N. M. Krylov (1939). Fokker–Planck equations generated in perturbation theory by a method based on the spectral properties of a perturbed Hamiltonian. Zapiski Kafedry Fiziki Akademii Nauk Ukrainian SSR 4: 81–157 (in Ukrainian).
↑ Dhont, J. K. G. (1996). An Introduction to Dynamics of Colloids. Elsevier. p. 183. ISBN 0-08-053507-0.
1 2 Öttinger, Hans Christian (1996). Stochastic Processes in Polymeric Fluids. Berlin-Heidelberg: Springer-Verlag. p. 75. ISBN 978-3-540-58353-0.
↑ Kamenshchikov, S. (2014). "Clustering and Uncertainty in Perfect Chaos Systems". Journal of Chaos. doi:10.1155/2014/292096.
↑ Rosenbluth, M. N. (1957). "Fokker-Planck Equation for an Inverse-Square Force". Physical Review. 107 (1): 1–6. Bibcode:1957PhRv..107....1R. doi:10.1103/physrev.107.1.
↑ Zinn-Justin, Jean (1996). Quantum field theory and critical phenomena. Oxford: Clarendon Press. ISBN 0-19-851882-X.
↑ Janssen, H. K. (1976). "On a Lagrangean for Classical Field Dynamics and Renormalization Group Calculation of Dynamical Critical Properties". Z. Phys. B23 (4): 377–380. Bibcode:1976ZPhyB..23..377J. doi:10.1007/BF01316547.