Уравне́ние Колмого́рова, уравнение вида∂s∂f=−Asf(1)(обратное, или первое, уравнение; s<t) или вида∂t∂f=At∗f(2)(прямое, или второе, уравнение; t>s) для переходной функции [f=P(s,x;t,Γ), 0⩽s⩽t<∞, x∈E, Γ∈B, (E,B) – измеримое пространство] или её плотности [f=p(s,x;t,Γ), если она существует], к уравнению (1) для переходной функции P(s,x;t,Γ)присоединяется условиеs↑tlimP(s,x;t,Γ)=IΓ(x),а к уравнению (2) – условиеt↓slimP(s,x;t,Γ)=IΓ(x),где IΓ(x) – индикатор множества Γ; в этом случае оператор As – оператор, действующий в пространстве функций, а At∗ – в пространстве обобщённых мер.
Для марковских процессов со счётным множеством состояний переходная функция полностью определяется вероятностями перехода pij(s,t)=P(s,i;t,{j}) (из состояния i в момент s в состояние j в момент t ), для которой обратное и прямое уравнения Колмогорова имеют (при некоторых дополнительных предположениях) следующий вид:∂s∂pij(s,t)=k∑αik(s)pkj(s,t),s<t,(3)∂t∂pij(s,t)=k∑pik(s,t)αkj(t),t>s,(4)гдеαij(s)=s1↑s,s2↑slims2−s1pij(s1,s2)−δij.(5)В случае конечного числа состояний уравнения (3), (4) справедливы, если только предположить существование пределов в (5).
Другой важный класс процессов, для которых детально изучен вопрос о справедливости уравнений (1) и (2), – это процессы диффузионного типа, определяемые тем, что их переходная функция P(s,x;t,Γ), x∈R, удовлетворяет следующим условиям:
a) для всякого x∈R и ε>0 равномерно по s, s<t,∫∣x−y∣>εP(s,x;t,dy)=o(t−s),б) существуют функции a(s,x) и b(s,x) такие, что для всякого x и ε>0 равномерно по s, s<t,∫∣x−y∣⩽ε(y−x)P(s,x;t,dy)=a(s,x)(t−s)+o(t−s),∫∣x−y∣⩽ε(y−x)2P(s,x;t,dy)=b(s,x)(t−s)+o(t−s).Тогда, если существует плотность p=p(s,x;t,y), то (при некоторых дополнительных предположениях) справедливо (по t>s и y∈R) прямое уравнение∂t∂p=−∂y∂(ap)+21∂y2∂2(bp)(называемое также уравнением Фоккера – Планка), а обратное уравнение (по s<t и x∈R ) имеет следующий вид:−∂s∂p=a∂x∂p+2b∂x2∂2p.
Ширяев Альберт Николаевич. Первая публикация: Математическая энциклопедия под ред. И. М. Виноградова, 1979.