Kolmogorov backward equations (diffusion)

From HandWiki
Revision as of 16:15, 6 February 2024 by John Stpola (talk | contribs) (linkage)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

The Kolmogorov backward equation (KBE) (diffusion) and its adjoint sometimes known as the Kolmogorov forward equation (diffusion) are partial differential equations (PDE) that arise in the theory of continuous-time continuous-state Markov processes. Both were published by Andrey Kolmogorov in 1931.[1] Later it was realized that the forward equation was already known to physicists under the name Fokker–Planck equation; the KBE on the other hand was new. Informally, the Kolmogorov forward equation addresses the following problem. We have information about the state x of the system at time t (namely a probability distribution [math]\displaystyle{ p_t(x) }[/math]); we want to know the probability distribution of the state at a later time [math]\displaystyle{ s\gt t }[/math]. The adjective 'forward' refers to the fact that [math]\displaystyle{ p_t(x) }[/math] serves as the initial condition and the PDE is integrated forward in time (in the common case where the initial state is known exactly, [math]\displaystyle{ p_t(x) }[/math] is a Dirac delta function centered on the known initial state).

The Kolmogorov backward equation on the other hand is useful when we are interested at time t in whether at a future time s the system will be in a given subset of states B, sometimes called the target set. The target is described by a given function [math]\displaystyle{ u_s(x) }[/math] which is equal to 1 if state x is in the target set at time s, and zero otherwise. In other words, [math]\displaystyle{ u_s(x) = 1_B }[/math], the indicator function for the set B. We want to know for every state x at time [math]\displaystyle{ t,\ (t\lt s) }[/math] what is the probability of ending up in the target set at time s (sometimes called the hit probability). In this case [math]\displaystyle{ u_s(x) }[/math] serves as the final condition of the PDE, which is integrated backward in time, from s to t.

Formulating the Kolmogorov backward equation

Assume that the system state [math]\displaystyle{ X_t }[/math] evolves according to the stochastic differential equation

[math]\displaystyle{ dX_t = \mu(X_t,t)\,dt + \sigma(X_t,t)\,dW_t\,, }[/math]

then the Kolmogorov backward equation is[2]

[math]\displaystyle{ \frac{\partial}{\partial t}p(x,t)=\mu(x,t)\frac{\partial}{\partial x}p(x,t) + \frac{1}{2}\sigma^2(x,t)\frac{\partial^2}{\partial x^{2}}p(x,t), }[/math]

for [math]\displaystyle{ t\le s }[/math], subject to the final condition [math]\displaystyle{ p(x,s)=u_s(x) }[/math]. This can be derived using Itō's lemma on [math]\displaystyle{ p(x,t) }[/math] and setting the [math]\displaystyle{ dt }[/math] term equal to zero.

This equation can also be derived from the Feynman–Kac formula by noting that the hit probability is the same as the expected value of [math]\displaystyle{ u_s(x) }[/math] over all paths that originate from state [math]\displaystyle{ x }[/math] at time [math]\displaystyle{ t }[/math]:

[math]\displaystyle{ \Pr(X_s \in B \mid X_t = x) = E[u_s(x) \mid X_t = x]. }[/math]

Historically, the KBE[1] was developed before the Feynman–Kac formula (1949).

Formulating the Kolmogorov forward equation

With the same notation as before, the corresponding Kolmogorov forward equation is

[math]\displaystyle{ \frac{\partial}{\partial s}p(x,s)=-\frac{\partial}{\partial x}[\mu(x,s)p(x,s)] + \frac{1}{2}\frac{\partial^2}{\partial x^2}[\sigma^2(x,s)p(x,s)], }[/math]

for [math]\displaystyle{ s \ge t }[/math], with initial condition [math]\displaystyle{ p(x,t)=p_t(x) }[/math]. For more on this equation see Fokker–Planck equation.

See also

References

  • Etheridge, A. (2002). A Course in Financial Calculus. Cambridge University Press. 
  1. 1.0 1.1 Andrei Kolmogorov, "Über die analytischen Methoden in der Wahrscheinlichkeitsrechnung" (On Analytical Methods in the Theory of Probability), 1931, [1]
  2. Risken, H., "The Fokker-Planck equation: Methods of solution and applications" 1996, Springer