Уравнение Чепмена - Колмогорова
Связь переходных вероятностей за разные промежутки времени через сумму или интеграл по промежуточным состояниям.
- Область
- Теория вероятностей; марковские процессы
- Разновидность
- Математическое соотношение
Уравнение Чепмена - Колмогорова - соотношение, связывающее вероятности перехода случайного процесса за разные промежутки времени. Его смысл состоит в том, что переход из начального состояния в конечное через промежуточный момент можно представить как сумму или интеграл по всем возможным промежуточным состояниям. В современной теории марковских процессов это одно из фундаментальных условий согласованности переходных вероятностей.[1]
Название объединяет имена английского математика и геофизика Сидни Чепмена и Андрея Николаевича Колмогорова, однако сама идея имеет более длинную предысторию. Сходное соотношение появилось уже в диссертации Луи Башелье 1900 года, затем использовалось в теориях броуновского движения Эйнштейна и Смолуховского. Чепмен сформулировал его в физической задаче 1928 года, а Колмогоров в 1931 году включил в общую аналитическую теорию марковских процессов.[2][3][4]
Исторически это соотношение стало одним из мостов между дискретными цепями Маркова, физикой диффузии и общей математикой случайных процессов XX века.
Простейшая идея: пройти путь через промежуточное состояние
Представим систему, которая может находиться в нескольких состояниях. Нас интересует вероятность перейти из состояния A в состояние C за два шага. Через один шаг система обязательно окажется в каком-то промежуточном состоянии B₁, B₂, B₃ и так далее. Вероятность пути через конкретное промежуточное состояние равна произведению:
- вероятность A → B × вероятность B → C.
Чтобы получить общую вероятность A → C, нужно сложить вклады всех возможных B.
Для конечной цепи Маркова:
- pᵢⱼ⁽ⁿ⁺ᵐ⁾ = Σₖ pᵢₖ⁽ⁿ⁾ pₖⱼ⁽ᵐ⁾.
В матричной форме:
- Pⁿ⁺ᵐ = PⁿPᵐ.
На первый взгляд это почти очевидно. Но историческое значение уравнения связано с тем, что тот же принцип оказался пригоден для непрерывного времени, непрерывного пространства состояний и целой теории случайных процессов.
Марков: последовательный переход становится объектом математики
В работах 1906-1907 годов Андрей Марков исследовал цепочки зависимых испытаний. Следующий результат мог зависеть от текущего состояния, но более далёкое прошлое влияло на будущее через эту цепь переходов. Именно такой объект естественно требует правила составления многошаговых вероятностей. Если известны одношаговые переходы, возникает вопрос: как получить вероятность перехода через два, десять или сто шагов? Для однородной конечной цепи ответ даёт умножение матриц перехода. Современная дискретная форма уравнения Чепмена - Колмогорова фактически выражает эту структуру.[1] Однако само название возникло уже позже, в контексте непрерывных процессов.
До Чепмена: Луи Башелье
Один из ранних предшественников появился в неожиданной области - математике финансов. В 1900 году французский математик Луи Башелье защитил диссертацию Théorie de la spéculation, где пытался построить вероятностную модель движения биржевых цен. Башелье рассматривал случайные изменения цены во времени и фактически использовал закон составления вероятностей перехода через промежуточный момент. Encyclopedia of Mathematics отмечает, что цепное уравнение для переходной плотности, позднее названное уравнением Чепмена - Колмогорова, уже встречается у Башелье в 1900 году.[2] Современные историки финансовой математики также подчёркивают, что в той же работе Башелье формально получил уравнение, соответствующее позднейшему прямому уравнению Колмогорова для броуновского движения.[5] Так задолго до общей теории марковских процессов нужное соотношение появилось в конкретной задаче о случайной цене.
Почему Башелье не создал общую теорию
История математики редко развивается так, что первая формула сразу рождает новую дисциплину. Башелье работал над специальной моделью биржевого рынка. Его цель состояла не в классификации случайных процессов и не в аксиоматике переходных вероятностей. Поэтому уравнение составления переходов оставалось частью конкретной модели. Чтобы оно стало самостоятельным принципом, потребовались ещё три десятилетия исследований случайного движения.
Броуновское движение и новая физическая задача
В 1827 году Роберт Броун наблюдал хаотическое движение микроскопических частиц в жидкости. К началу XX века это явление стало важной проблемой молекулярной физики. В 1905 году Альберт Эйнштейн связал броуновское движение с тепловым движением молекул и диффузией.
В 1906 году Мариан Смолуховский независимо развил близкую статистическую теорию.[2] Для описания случайного движения частицы необходимо было связывать вероятность положения через короткий промежуток с вероятностью положения через более длинный интервал. Именно здесь принцип составления переходов получил новое физическое значение.
Эйнштейн и Смолуховский
В литературе начала XX века интегральные соотношения для распределения броуновской частицы появлялись в разных обозначениях и не имели ещё единого имени. Encyclopedia of Mathematics указывает на связь ранней формы уравнения с работами Эйнштейна и Смолуховского и отмечает, что в части литературы оно называлось уравнением Эйнштейна - Смолуховского.[2] Это важная историческая деталь. Название «Чепмена - Колмогорова» не отражает единственного момента открытия. Оно закрепилось за общей формой соотношения позже.
Сидни Чепмен
Сидни Чепмен родился в 1888 году и стал крупным британским математиком, физиком и геофизиком. Он занимался кинетической теорией газов, атмосферной физикой, земным магнетизмом и случайным движением частиц. В 1928 году Чепмен опубликовал в Proceedings of the Royal Society A статью On the Brownian Displacements and Thermal Diffusion of Grains Suspended in a Non-Uniform Fluid.[3] Работа была представлена в секцию математики Королевского общества; архив сохранил февральский отзыв Ральфа Фаулера, рекомендовавшего публикацию статьи полностью.[6]
Что делал Чепмен в 1928 году
Чепмен рассматривал броуновские частицы в неоднородной среде и тепловой диффузии. Ему требовалось связать распределение частицы за конечный промежуток времени с распределениями через промежуточный момент. В этой физической задаче он явно использовал функциональное соотношение составления переходных вероятностей. Именно поэтому более поздняя литература связала его имя с общим уравнением.[1] Но работа Чепмена всё ещё была прежде всего работой по физике случайного движения. Следующий шаг состоял в том, чтобы вывести принцип из конкретной физической задачи и сделать его основой общей теории.
Норберт Винер и пространство случайных траекторий
К моменту статьи Чепмена Норберт Винер уже построил строгую математическую модель броуновского движения. В 1923 году он ввёл меру на пространстве непрерывных траекторий. Теперь случайное движение можно было рассматривать не только как физическую эвристику, но и как строгий вероятностный объект. Однако теория всё ещё нуждалась в общем языке для множества других случайных процессов. Такой язык в 1931 году предложил Колмогоров.
Колмогоров в 1931 году
В работе Über die analytischen Methoden in der Wahrscheinlichkeitsrechnung Колмогоров систематически исследовал переходные вероятности марковских процессов.[4] Его исходной структурой было семейство вероятностей перехода из состояния x в состояние y между двумя моментами времени. Эти вероятности не могли быть произвольными. Если процесс проходит от времени s к u через промежуточный момент t, вероятность общего перехода должна быть согласована с двумя короткими переходами. В современной форме:
- P(s,x;u,A) = ∫ P(s,x;t,dy) P(t,y;u,A).
Именно это соотношение стало центральной структурой общей теории марковских процессов.
Что Колмогоров добавил к Чепмену
Колмогоров не просто повторил формулу Чепмена. Он поместил её в общую математическую систему. Переходные вероятности стали абстрактными функциями, определёнными на пространстве состояний. Из их согласованности Колмогоров вывел аналитические следствия. При подходящих условиях из интегрального уравнения возникали прямые и обратные дифференциальные уравнения, сегодня известные как уравнения Колмогорова.[7] Так одно функциональное соотношение превратилось в основу целой динамической теории вероятностей.
Уравнение как условие согласованности
Исторически полезно понимать уравнение Чепмена - Колмогорова не как ещё одну формулу для вычислений, а как условие внутренней непротиворечивости процесса. Предположим, вероятность перейти из x в z за час задана одним числом. Теперь разобьём час на две половины. Если сумма вероятностей всех путей x → y → z не совпадает с исходной часовой вероятностью, модель противоречит сама себе. Уравнение требует, чтобы разные способы разбиения времени давали один и тот же результат. Именно поэтому оно фундаментально.
Дискретная цепь и непрерывный процесс
Для обычной дискретной цепи Маркова уравнение выглядит особенно просто.
Если P - матрица одношаговых переходов, то:
- P² = P · P,
- P³ = P² · P,
- Pⁿ⁺ᵐ = PⁿPᵐ.
Это дискретная версия того же принципа. Для непрерывного пространства состояний сумма по промежуточным состояниям превращается в интеграл. Для непрерывного времени появляется семейство операторов Pₜ. Так один принцип связывает школьный пример с матрицей и современную теорию диффузионных процессов.
Полугруппа переходов
Для однородного во времени марковского процесса переход зависит только от длины интервала, а не от абсолютной даты.
Тогда уравнение можно записать:
- Pₛ₊ₜ = PₛPₜ.
В современном функциональном анализе это называется полугрупповым свойством. Семейство операторов перехода образует полугруппу. Эта идея стала особенно важна в работах Феллера, Дынкина и общей теории марковских процессов середины XX века. Исторически она показывает, как простое вероятностное составление переходов превратилось в объект операторной теории.
Из интегрального уравнения рождается дифференциальная динамика
Если известно, как процесс меняется за очень малое время, можно попытаться получить производную переходного оператора по времени. Так возникает генератор процесса. Из него выводятся прямое и обратное уравнения Колмогорова. В этом смысле историческая последовательность выглядит так:
- составление конечных переходов → полугруппа → бесконечно малый генератор → дифференциальные уравнения.
Именно этот путь превратил теорию вероятностей в часть математического анализа.
Уравнение Фоккера - Планка
Для диффузионных процессов прямое уравнение Колмогорова принимает форму, известную в физике как уравнение Фоккера - Планка. Физические предшественники этого уравнения появились в работах Адриана Фоккера 1913-1914 годов и Макса Планка 1917 года. Encyclopedia of Mathematics прямо отмечает, что уравнение Фоккера - Планка соответствует прямому уравнению Колмогорова для диффузионного процесса.[2] Так одна линия шла от физики, другая - от общей вероятности, а в 1930-е годы они сошлись в единой математической структуре.
Почему уравнение не определяет марковость полностью
Существует важная тонкость. Уравнение Чепмена - Колмогорова является естественным свойством переходных вероятностей марковского процесса. Но само по себе оно не всегда достаточно, чтобы доказать, что исходный процесс марковский. Encyclopedia of Mathematics отмечает существование немарковских процессов, переходные вероятности которых удовлетворяют тому же функциональному соотношению.[2] Поэтому исторически уравнение стало центральным элементом теории, но не единственным определением марковского свойства.
Как закрепилось двойное имя
В западной литературе соотношение обычно называют Chapman-Kolmogorov equation.[1] Название подчёркивает работу Чепмена 1928 года и общую теорию Колмогорова 1931 года. Однако путь к термину был постепенным. В 1934-1935 годах Морис Фреше опубликовал несколько работ о «функциональном уравнении Чепмена» и «уравнении Чепмена - Колмогорова», исследуя его общие решения.[8] Так термин вошёл в европейскую вероятностную литературу уже вскоре после работы Колмогорова.
Чепмен мог не знать о названии
С историей имени связан характерный эпизод. Дэвид Кендалл позднее вспоминал, что однажды спросил Сидни Чепмена об «уравнении Чепмена - Колмогорова» и с удивлением обнаружил: сам Чепмен не знал, что в математической литературе используется такой термин.[9] Анэкдот не отменяет реального вклада Чепмена. Но он хорошо показывает, как математические названия иногда складываются уже после публикаций и живут независимо от авторов, чьи имена в них вошли.
Башелье, Смолуховский, Чепмен, Колмогоров
Если смотреть на историю без привязки к одному названию, видна цепь постепенных обобщений. Башелье, 1900 - составление случайных переходов в модели биржевой цены. Смолуховский, 1906 - вероятностное описание броуновского движения. Чепмен, 1928 - функциональное уравнение в физической задаче броуновской диффузии в неоднородной среде. Колмогоров, 1931 - общий аналитический аппарат переходных вероятностей марковских процессов. Такая схема исторически точнее, чем рассказ о единственном «открытии» уравнения.
Почему имя Маркова в названии отсутствует
На первый взгляд странно, что фундаментальное уравнение теории марковских процессов не содержит имени Маркова. Причина историческая. Марков работал прежде всего с дискретными цепями и предельными теоремами. В дискретном случае составление многошаговых переходов естественно выражается умножением матриц. Особое имя понадобилось позже, когда тот же принцип стал центральным для непрерывных процессов и функциональных уравнений переходной вероятности. Поэтому Марков стоит у основания объекта, а Чепмен и Колмогоров - у основания его непрерывной аналитической формы.
От уравнения к процессу
В современной вероятности переходная функция, удовлетворяющая уравнению Чепмена - Колмогорова и дополнительным условиям, позволяет строить марковские процессы. Это направление получило развитие благодаря Колмогорову, Феллеру, Дынкину и другим математикам. Постепенно основной вопрос изменился. Ранние исследователи начинали с конкретного процесса и выводили его вероятности. Современная теория часто начинает с семейства переходных операторов и спрашивает, существует ли процесс с такими переходами. Это серьёзный сдвиг от физической модели к абстрактной теории.
Вероятность и операторный анализ
Полугрупповое свойство Pₛ₊ₜ = PₛPₜ сделало возможной глубокую связь марковских процессов с функциональным анализом. Переходный оператор действует на функции или меры. Его генератор описывает бесконечно малое изменение. Собственные значения и спектр оператора связаны со скоростью сходимости процесса к равновесию. Так исторически простая идея «пройти через промежуточное состояние» привела к мощному аналитическому аппарату.
Уравнение в теории массового обслуживания
В очередях состояние системы может задаваться числом клиентов. Вероятность оказаться через время t в определённом состоянии можно вычислять через промежуточные состояния. Уравнение Чепмена - Колмогорова обеспечивает согласованность таких переходов. В непрерывновременных цепях из него выводятся дифференциальные уравнения для вероятностей состояний. Эти методы стали стандартными в телефонии, транспорте и вычислительных сетях.
Уравнение в химической кинетике
Химическая реакционная сеть также может рассматриваться как марковский процесс. Состояние задаёт число молекул разных веществ. Реакции случайным образом переводят систему между состояниями. Вероятности переходов через последовательность реакций должны удовлетворять тому же принципу составления. Так уравнение, выросшее из броуновского движения, стало естественным языком стохастической химии.
Уравнение в биологии
Популяционные модели рождения, смерти и миграции используют ту же структуру. Чтобы вычислить вероятность состояния популяции через длительное время, можно суммировать по возможным промежуточным размерам популяции. Этот механизм лежит в основе марковских моделей распространения генов, эпидемий и демографических процессов. Универсальность уравнения объясняется не конкретной физикой, а логикой последовательного случайного перехода.
Финансовая математика возвращается к Башелье
Особенно символично возвращение уравнения в финансовую математику. Башелье использовал предшественник принципа в 1900 году именно для движения биржевых цен. Через десятилетия марковские диффузии и уравнения Колмогорова стали одним из оснований современной теории опционов и стохастических моделей рынка. История замкнула круг: специальная финансовая модель оказалась ранним предшественником общего математического аппарата, который затем вернулся в финансы уже в значительно более зрелой форме.[5]
Почему это исторический, а не только технический узел
Уравнение Чепмена - Колмогорова часто появляется в учебнике как короткая формула между определением цепи и вычислением переходов.
Но в истории науки оно соединяет несколько крупных сюжетов:
- раннюю математическую модель финансов Башелье;
- атомистическую физику и броуновское движение;
- дискретные цепи Маркова;
- физическую теорию диффузии;
- общую теорию случайных процессов Колмогорова;
- операторный анализ и стохастику второй половины XX века.
Поэтому его значение лучше видно не в самой формуле, а в способности одного принципа объединить разные традиции.
Хронология
| Год | Событие |
|---|---|
| 1900 | Луи Башелье использует соотношение составления переходов в математической теории биржевой спекуляции. |
| 1905 | Эйнштейн создаёт количественную теорию броуновского движения. |
| 1906 | Смолуховский развивает статистическое описание броуновского движения; Марков публикует работу о зависимых случайных величинах. |
| 1907 | Марков систематически исследует зависимые испытания. |
| 1923 | Винер строит строгую математическую модель броуновского движения. |
| 1928 | Сидни Чепмен публикует работу о броуновских смещениях и тепловой диффузии, содержащую функциональное соотношение переходов. |
| 1931 | Колмогоров включает переходное соотношение в общую аналитическую теорию марковских процессов. |
| 1934-1935 | Морис Фреше исследует функциональное уравнение Чепмена и использует название Чепмена - Колмогорова. |
| 1940-1950-е | Феллер и другие исследователи развивают полугрупповую и аналитическую теорию марковских процессов. |
| 1950-1960-е | Дынкин систематизирует теорию марковских процессов, генераторов и сильного марковского свойства. |
| Вторая половина XX века | Уравнение становится стандартным аппаратом физики, химии, биологии, массового обслуживания и финансов. |
Историческое значение
История уравнения Чепмена - Колмогорова показывает, как фундаментальная математическая структура может появляться несколько раз в разных контекстах, прежде чем получит современное имя. Башелье увидел её в случайных ценах. Физики - в броуновском движении. Чепмен - в тепловой диффузии. Колмогоров - в общей теории марковских процессов. В зрелой математике уравнение стало выражением простого, но глубокого принципа:
- вероятностная эволюция должна быть согласована при любом разбиении времени на промежуточные этапы.
Именно эта идея связывает дискретные цепи Маркова с непрерывными случайными процессами и делает уравнение одним из главных мостов в истории современной вероятности.
См. также
- Цепи Маркова
- Уравнения Колмогорова
- Андрей Колмогоров и основания современной теории вероятностей
- Броуновское движение: от Роберта Броуна до математики Винера
- Норберт Винер и винеровский процесс
- Работы Маркова 1906-1907 годов и рождение цепей Маркова
- Случайный процесс
- Диффузионный процесс
Источники и литература
- ↑ 1,0 1,1 1,2 1,3 Kolmogorov-Chapman equation // Encyclopedia of Mathematics.
- ↑ 2,0 2,1 2,2 2,3 2,4 2,5 Einstein-Smoluchowski equation // Encyclopedia of Mathematics.
- ↑ 3,0 3,1 S. Chapman. On the Brownian Displacements and Thermal Diffusion of Grains Suspended in a Non-Uniform Fluid // Proceedings of the Royal Society of London. Series A. 1928. Vol. 119. P. 34-54.
- ↑ 4,0 4,1 A. N. Kolmogoroff. Über die analytischen Methoden in der Wahrscheinlichkeitsrechnung // Mathematische Annalen. 1931. Bd. 104. S. 415-458.
- ↑ 5,0 5,1 M. Beiglböck, G. Pammer, W. Schachermayer. From Bachelier to Dupire via optimal transport // Finance and Stochastics. 2022. Vol. 26. P. 59-84.
- ↑ Referee's report by Ralph Howard Fowler on Sydney Chapman's paper // The Royal Society Archives. February 1928.
- ↑ Markov process // Encyclopedia of Mathematics.
- ↑ Étude de l'équation fonctionnelle de Chapman-Kolmogoroff dans le cas d'un domaine d'intégration illimité à une dimension // Numdam. Bibliographie: travaux de M. Fréchet, 1934-1935.
- ↑ Earliest Known Uses of Some of the Words of Mathematics: Chapman-Kolmogorov equations // MacTutor History of Mathematics.
- Bachelier L. Théorie de la spéculation. Paris, 1900.
- Smoluchowski M. Zur kinetischen Theorie der Brownschen Molekularbewegung und der Suspensionen // Annalen der Physik. 1906. Bd. 21. S. 756-780.
- Chapman S. On the Brownian Displacements and Thermal Diffusion of Grains Suspended in a Non-Uniform Fluid // Proceedings of the Royal Society A. 1928. Vol. 119. P. 34-54.
- Kolmogoroff A. Über die analytischen Methoden in der Wahrscheinlichkeitsrechnung // Mathematische Annalen. 1931. Bd. 104. S. 415-458.
- Fréchet M. Sur l'équation fonctionnelle de Chapman et sur le problème des probabilités «en chaîne». 1934-1935.
- Dynkin E. B. Markov Processes. Vol. I-II. Berlin: Springer, 1965.
- Feller W. An Introduction to Probability Theory and Its Applications. Vol. I-II. New York: Wiley.