Kolmogorov equations

<h2 id="diffusion-processes-vs-jump-processes">Diffusion processes vs. jump processes</h2>
Writing in 1931, <a href="/facts/Andrei_Kolmogorov/bEKwtrs6">Andrei Kolmogorov</a> started from the theory of discrete time Markov processes, which are described by the <a href="/facts/Chapman%E2%80%93Kolmogorov_equation/U0VnQG5M">Chapman–Kolmogorov equation</a>, and sought to derive a theory of continuous time Markov processes by extending this equation. He found that there are two kinds of continuous time Markov processes, depending on the assumed behavior over small intervals of time:
If you assume that "in a small time interval there is an overwhelming probability that the state will remain unchanged; however, if it changes, the change may be radical",<a class="footnote-ref" id="fnref:1" href="#fn:1">1</a> then you are led to what are called <a href="/facts/Jump_process/uoceTz0z">jump processes</a>.
The other case leads to processes such as those "represented by <a href="/facts/It%C5%8D_diffusion/vlwAqWSU">diffusion</a> and by <a href="/facts/Brownian_motion/Th0g0wkr">Brownian motion</a>; there it is certain that some change will occur in any time interval, however small; only, here it is certain that the changes during small time intervals will be also small".<a class="footnote-ref" id="fnref:2" href="#fn:2">2</a>
For each of these two kinds of processes, Kolmogorov derived a forward and a backward system of equations (four in all).

<h2 id="history">History</h2>
The equations are named after <a href="/facts/Andrei_Kolmogorov/bEKwtrs6">Andrei Kolmogorov</a> since they were highlighted in his 1931 foundational work.<a class="footnote-ref" id="fnref:3" href="#fn:3">3</a>
<a href="/facts/William_Feller/CeLs6QpB">William Feller</a>, in 1949, used the names "forward equation" and "backward equation" for his more general version of the Kolmogorov's pair,
in both jump and diffusion processes.<a class="footnote-ref" id="fnref:4" href="#fn:4">4</a> Much later, in 1956, he referred to the equations for the jump process as "Kolmogorov forward equations" and "Kolmogorov backward equations".<a class="footnote-ref" id="fnref:5" href="#fn:5">5</a>
Other authors, such as <a href="/facts/Motoo_Kimura/9682hIVP">Motoo Kimura</a>,<a class="footnote-ref" id="fnref:6" href="#fn:6">6</a> referred to the <a href="/facts/Fokker%E2%80%93Planck_equation/974pPTer">diffusion (Fokker–Planck) equation</a> as Kolmogorov forward equation, a name that has persisted.

<h2 id="the-modern-view">The modern view</h2>
<ul><li>In the context of a <a href="/facts/Continuous-time_Markov_process/h7ytJ6p3">continuous-time Markov process</a> with <a href="/facts/Jump_process/uoceTz0z">jumps</a>, see <a href="/facts/Kolmogorov_equations_(Markov_jump_process)/hElT4GCI">Kolmogorov equations (Markov jump process)</a>. In particular, in <a href="/facts/Natural_science/8hg81Q2p">natural sciences</a> the forward equation is also known as <a href="/facts/Master_equation/4QbTFyak">master equation</a>.</li>
<li>In the context of a <a href="/facts/Diffusion/KbAxroBa">diffusion</a> process, for the backward Kolmogorov equations see <a href="/facts/Kolmogorov_backward_equations_(diffusion)/XbW55b9t">Kolmogorov backward equations (diffusion)</a>. The forward Kolmogorov equation is also known as <a href="/facts/Fokker%E2%80%93Planck_equation/974pPTer">Fokker–Planck equation</a>.</li></ul>
<h2 id="continuous-time-markov-chains">Continuous-time Markov chains</h2>
The original derivation of the equations by Kolmogorov starts with the <a href="/facts/Chapman%E2%80%93Kolmogorov_equation/U0VnQG5M">Chapman–Kolmogorov equation</a> (Kolmogorov called it fundamental equation) for time-continuous and differentiable Markov processes on a finite, discrete state space.<a class="footnote-ref" id="fnref:7" href="#fn:7">7</a> In this formulation, it is assumed that the probabilities 
 
 
 
 P
 (
 x
 ,
 s
 ;
 y
 ,
 t
 )
 
 
 {\displaystyle P(x,s;y,t)}
 
 are continuous and differentiable functions of 
 
 
 
 t
 >
 s
 
 
 {\displaystyle t>s}
 
, where 
 
 
 
 x
 ,
 y
 ∈
 Ω
 
 
 {\displaystyle x,y\in \Omega }
 
 (the state space) and 
 
 
 
 t
 >
 s
 ,
 t
 ,
 s
 ∈
 
 
 R
 
 
 ≥
 0
 
 
 
 
 {\displaystyle t>s,t,s\in \mathbb {R} _{\geq 0}}
 
 are the final and initial times, respectively. Also, adequate limit properties for the derivatives are assumed. Feller derives the equations under slightly different conditions, starting with the concept of purely discontinuous Markov process and then formulating them for more general state spaces.<a class="footnote-ref" id="fnref:8" href="#fn:8">8</a> Feller proves the existence of solutions of probabilistic character to the Kolmogorov forward equations and Kolmogorov backward equations under natural conditions.<a class="footnote-ref" id="fnref:9" href="#fn:9">9</a>
For the case of a <a href="/facts/Countable_set/Wj4DmWPv">countable</a> state space we put 
 
 
 
 i
 ,
 j
 
 
 {\displaystyle i,j}
 
 in place of 
 
 
 
 x
 ,
 y
 
 
 {\displaystyle x,y}
 
. 
The Kolmogorov forward equations read

∂
 
 P
 
 i
 j
 
 
 
 
 ∂
 t
 
 
 
 (
 s
 ;
 t
 )
 =
 
 ∑
 
 k
 
 
 
 P
 
 i
 k
 
 
 (
 s
 ;
 t
 )
 
 A
 
 k
 j
 
 
 (
 t
 )
 
 
 {\displaystyle {\frac {\partial P_{ij}}{\partial t}}(s;t)=\sum _{k}P_{ik}(s;t)A_{kj}(t)}
 
,
where 
 
 
 
 A
 (
 t
 )
 
 
 {\displaystyle A(t)}
 
 is the <a href="/facts/Transition_rate_matrix/6m9Tjrby">transition rate matrix</a> (also known as the generator matrix),
while the Kolmogorov backward equations are

∂
              
                P
                
                  i
                  j
                
              
            
            
              ∂
              s
            
          
        
        (
        s
        ;
        t
        )
        =
        −
        
          ∑
          
            k
          
        
        
          P
          
            k
            j
          
        
        (
        s
        ;
        t
        )
        
          A
          
            i
            k
          
        
        (
        s
        )
      
    
    {\displaystyle {\frac {\partial P_{ij}}{\partial s}}(s;t)=-\sum _{k}P_{kj}(s;t)A_{ik}(s)}

The functions 
 
 
 
 
 P
 
 i
 j
 
 
 (
 s
 ;
 t
 )
 
 
 {\displaystyle P_{ij}(s;t)}
 
 are continuous and differentiable in both time arguments. They represent the
probability that the system that was in state 
 
 
 
 i
 
 
 {\displaystyle i}
 
 at time 
 
 
 
 s
 
 
 {\displaystyle s}
 
 jumps to state 
 
 
 
 j
 
 
 {\displaystyle j}
 
 at some later time 
 
 
 
 t
 >
 s
 
 
 {\displaystyle t>s}
 
. The continuous quantities 
 
 
 
 
 A
 
 i
 j
 
 
 (
 t
 )
 
 
 {\displaystyle A_{ij}(t)}
 
 satisfy

A
          
            i
            j
          
        
        (
        t
        )
        =
        
          
            [
            
              
                
                  
                    ∂
                    
                      P
                      
                        i
                        j
                      
                    
                  
                  
                    ∂
                    u
                  
                
              
              (
              t
              ;
              u
              )
            
            ]
          
          
            u
            =
            t
          
        
        ,
        
        
          A
          
            j
            k
          
        
        (
        t
        )
        ≥
        0
        ,
         
        j
        ≠
        k
        ,
        
        
          ∑
          
            k
          
        
        
          A
          
            j
            k
          
        
        (
        t
        )
        =
        0.
      
    
    {\displaystyle A_{ij}(t)=\left[{\frac {\partial P_{ij}}{\partial u}}(t;u)\right]_{u=t},\quad A_{jk}(t)\geq 0,\ j\neq k,\quad \sum _{k}A_{jk}(t)=0.}

<h3>Relation with the generating function</h3>
Still in the discrete state case, letting 
 
 
 
 s
 =
 0
 
 
 {\displaystyle s=0}
 
 and assuming that the system initially is found in state

i
 
 
 {\displaystyle i}
 
, the Kolmogorov forward equations describe an initial-value problem for finding the probabilities of the process, given the quantities 
 
 
 
 
 A
 
 j
 k
 
 
 (
 t
 )
 
 
 {\displaystyle A_{jk}(t)}
 
. We write 
 
 
 
 
 p
 
 k
 
 
 (
 t
 )
 =
 
 P
 
 i
 k
 
 
 (
 0
 ;
 t
 )
 
 
 {\displaystyle p_{k}(t)=P_{ik}(0;t)}
 
 where 
 
 
 
 
 ∑
 
 k
 
 
 
 p
 
 k
 
 
 (
 t
 )
 =
 1
 
 
 {\displaystyle \sum _{k}p_{k}(t)=1}
 
, then

d
              
                p
                
                  k
                
              
            
            
              d
              t
            
          
        
        (
        t
        )
        =
        
          ∑
          
            j
          
        
        
          A
          
            j
            k
          
        
        (
        t
        )
        
          p
          
            j
          
        
        (
        t
        )
        ;
        
        
          p
          
            k
          
        
        (
        0
        )
        =
        
          δ
          
            i
            k
          
        
        ,
        
        k
        =
        0
        ,
        1
        ,
        …
        .
      
    
    {\displaystyle {\frac {dp_{k}}{dt}}(t)=\sum _{j}A_{jk}(t)p_{j}(t);\quad p_{k}(0)=\delta _{ik},\qquad k=0,1,\dots .}

For the case of a pure death process with constant rates the only nonzero coefficients are 
 
 
 
 
 A
 
 j
 ,
 j
 −
 1
 
 
 =
 
 μ
 
 j
 
 
 ,
  
 j
 ≥
 1
 
 
 {\displaystyle A_{j,j-1}=\mu _{j},\ j\geq 1}
 
. Letting

Ψ
        (
        x
        ,
        t
        )
        =
        
          ∑
          
            k
          
        
        
          x
          
            k
          
        
        
          p
          
            k
          
        
        (
        t
        )
        ,
        
      
    
    {\displaystyle \Psi (x,t)=\sum _{k}x^{k}p_{k}(t),\quad }

the system of equations can in this case be recast as a <a href="/facts/Partial_differential_equation/DyPsBlv7">partial differential equation</a> for 
 
 
 
 
 Ψ
 
 (
 x
 ,
 t
 )
 
 
 {\displaystyle {\Psi }(x,t)}
 
 with initial condition 
 
 
 
 Ψ
 (
 x
 ,
 0
 )
 =
 
 x
 
 i
 
 
 
 
 {\displaystyle \Psi (x,0)=x^{i}}
 
. After some manipulations, the system of equations reads,<a class="footnote-ref" id="fnref:10" href="#fn:10">10</a>

∂
              Ψ
            
            
              ∂
              t
            
          
        
        (
        x
        ,
        t
        )
        =
        μ
        (
        1
        −
        x
        )
        
          
            
              ∂
              
                Ψ
              
            
            
              ∂
              x
            
          
        
        (
        x
        ,
        t
        )
        ;
        
        Ψ
        (
        x
        ,
        0
        )
        =
        
          x
          
            i
          
        
        ,
        
        Ψ
        (
        1
        ,
        t
        )
        =
        1.
      
    
    {\displaystyle {\frac {\partial \Psi }{\partial t}}(x,t)=\mu (1-x){\frac {\partial {\Psi }}{\partial x}}(x,t);\qquad \Psi (x,0)=x^{i},\quad \Psi (1,t)=1.}

<h2 id="an-example-from-biology">An example from biology</h2>
One example from biology is given below:<a class="footnote-ref" id="fnref:11" href="#fn:11">11</a>

p
          
            n
          
          ′
        
        (
        t
        )
        =
        (
        n
        −
        1
        )
        β
        
          p
          
            n
            −
            1
          
        
        (
        t
        )
        −
        n
        β
        
          p
          
            n
          
        
        (
        t
        )
      
    
    {\displaystyle p_{n}'(t)=(n-1)\beta p_{n-1}(t)-n\beta p_{n}(t)}

This equation is applied to model <a href="/facts/Population_growth/oxb6ttX0">population growth</a> with <a href="/facts/Birth/1SSk6gMD">birth</a>. Where 
 
 
 
 n
 
 
 {\displaystyle n}
 
 is the population index, with reference the initial population, 
 
 
 
 β
 
 
 {\displaystyle \beta }
 
 is the birth rate, and finally 
 
 
 
 
 p
 
 n
 
 
 (
 t
 )
 =
 Pr
 (
 N
 (
 t
 )
 =
 n
 )
 
 
 {\displaystyle p_{n}(t)=\Pr(N(t)=n)}
 
, i.e. the <a href="/facts/Probability/fgYvMhwb">probability</a> of achieving a certain <a href="/facts/Population_size/euKMjN9h">population size</a>.
The analytical solution is:<a class="footnote-ref" id="fnref:12" href="#fn:12">12</a>

p
          
            n
          
        
        (
        t
        )
        =
        (
        n
        −
        1
        )
        β
        
          e
          
            −
            n
            β
            t
          
        
        
          ∫
          
            0
          
          
            t
          
        
        
        
          p
          
            n
            −
            1
          
        
        (
        s
        )
        
        
          e
          
            n
            β
            s
          
        
        
          d
        
        s
      
    
    {\displaystyle p_{n}(t)=(n-1)\beta e^{-n\beta t}\int _{0}^{t}\!p_{n-1}(s)\,e^{n\beta s}\mathrm {d} s}

This is a formula for the probability 
 
 
 
 
 p
 
 n
 
 
 (
 t
 )
 
 
 {\displaystyle p_{n}(t)}
 
 in terms of the preceding ones, i.e. 
 
 
 
 
 p
 
 n
 −
 1
 
 
 (
 t
 )
 
 
 {\displaystyle p_{n-1}(t)}
 
.

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Feynman-Kac_formula/u31hDgyM">Feynman-Kac formula</a></li>
<li><a href="/facts/Fokker-Planck_equation/974pPTer">Fokker-Planck equation</a></li>
<li><a href="/facts/Kolmogorov_backward_equation/0XIahGpV">Kolmogorov backward equation</a></li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Feller, W. (1949). "On the Theory of Stochastic Processes, with Particular Reference to Applications". Proceedings of the (First) Berkeley Symposium on Mathematical Statistics and Probability. Vol. 1. University of California Press. pp. 403–432. <a href="https://projecteuclid.org/euclid.bsmsp/1166219215" target="_blank">https://projecteuclid.org/euclid.bsmsp/1166219215</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">Feller, W. (1949). "On the Theory of Stochastic Processes, with Particular Reference to Applications". Proceedings of the (First) Berkeley Symposium on Mathematical Statistics and Probability. Vol. 1. University of California Press. pp. 403–432. <a href="https://projecteuclid.org/euclid.bsmsp/1166219215" target="_blank">https://projecteuclid.org/euclid.bsmsp/1166219215</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">Kolmogorov, Andrei (1931). "Über die analytischen Methoden in der Wahrscheinlichkeitsrechnung" [On Analytical Methods in the Theory of Probability]. Mathematische Annalen (in German). 104: 415–458. doi:10.1007/BF01457949. S2CID 119439925. <a href="/wiki/Mathematische_Annalen" target="_blank">/wiki/Mathematische_Annalen</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
<li id="fn:4">Feller, W. (1949). "On the Theory of Stochastic Processes, with Particular Reference to Applications". Proceedings of the (First) Berkeley Symposium on Mathematical Statistics and Probability. Vol. 1. University of California Press. pp. 403–432. <a href="https://projecteuclid.org/euclid.bsmsp/1166219215" target="_blank">https://projecteuclid.org/euclid.bsmsp/1166219215</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></li>
<li id="fn:5">Feller, William (1957). "On Boundaries and Lateral Conditions for the Kolmogorov Differential Equations". Annals of Mathematics. 65 (3): 527–570. doi:10.2307/1970064. JSTOR 1970064. <a href="/wiki/Annals_of_Mathematics" target="_blank">/wiki/Annals_of_Mathematics</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></li>
<li id="fn:6">Kimura, Motoo (1957). "Some Problems of Stochastic Processes in Genetics". Annals of Mathematical Statistics. 28 (4): 882–901. doi:10.1214/aoms/1177706791. JSTOR 2237051. <a href="https://doi.org/10.1214%2Faoms%2F1177706791" target="_blank">https://doi.org/10.1214%2Faoms%2F1177706791</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></li>
<li id="fn:7">Kolmogorov, Andrei (1931). "Über die analytischen Methoden in der Wahrscheinlichkeitsrechnung" [On Analytical Methods in the Theory of Probability]. Mathematische Annalen (in German). 104: 415–458. doi:10.1007/BF01457949. S2CID 119439925. <a href="/wiki/Mathematische_Annalen" target="_blank">/wiki/Mathematische_Annalen</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></li>
<li id="fn:8">Feller, Willy (1940) "On the Integro-Differential Equations of Purely Discontinuous Markoff Processes", Transactions of the American Mathematical Society, 48 (3), 488-515 JSTOR 1990095 <a href="/wiki/JSTOR_(identifier)" target="_blank">/wiki/JSTOR_(identifier)</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></li>
<li id="fn:9">Feller, Willy (1940) "On the Integro-Differential Equations of Purely Discontinuous Markoff Processes", Transactions of the American Mathematical Society, 48 (3), 488-515 JSTOR 1990095 <a href="/wiki/JSTOR_(identifier)" target="_blank">/wiki/JSTOR_(identifier)</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></li>
<li id="fn:10">Bailey, Norman T.J. (1990) The Elements of Stochastic Processes with Applications to the Natural Sciences, Wiley. ISBN 0-471-52368-2 (page 90) <a href="/wiki/ISBN_(identifier)" target="_blank">/wiki/ISBN_(identifier)</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></li>
<li id="fn:11">Logan, J. David; Wolesensky, William R. (2009). Mathematical Methods in Biology. Pure and Applied Mathematics. John Wiley& Sons. pp. 325–327. ISBN 978-0-470-52587-6. <a href="978-0-470-52587-6" target="_blank">978-0-470-52587-6</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></li>
<li id="fn:12">Logan, J. David; Wolesensky, William R. (2009). Mathematical Methods in Biology. Pure and Applied Mathematics. John Wiley& Sons. pp. 325–327. ISBN 978-0-470-52587-6. <a href="978-0-470-52587-6" target="_blank">978-0-470-52587-6</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></li>
</ol>

Kolmogorov equations open-in-new

Kolmogorov equations