Броуновский мост — это непрерывный во времени гауссовский процесс B ( t ), распределение вероятностей которого является условным распределением вероятностей стандартного винеровского процесса W ( t ) (математической модели броуновского движения ) при условии (при стандартизации), что W ( T ) = 0, так что процесс фиксируется на одном и том же значении как при t = 0, так и при t = T . Точнее:
Ожидаемое значение моста в любой момент времени t в интервале [0, T ] равно нулю, с дисперсией , что подразумевает, что наибольшая неопределенность находится в середине моста, с нулевой неопределенностью в узлах. Ковариация B ( s ) и B ( t ) равна , или s (T − t )/T , если s < t . Приращения в броуновском мосту не являются независимыми.
Если — стандартный винеровский процесс (т.е. для , нормально распределен с ожидаемым значением и дисперсией , а приращения стационарны и независимы ), то
является броуновским мостом для . Он не зависит от [1]
Наоборот, если — броуновский мост для и — стандартная нормальная случайная величина, независимая от , то процесс
является процессом Винера для . В более общем смысле процесс Винера для можно разложить на
Другое представление броуновского моста, основанное на броуновском движении, таково:
И наоборот, для
Броуновский мост можно также представить в виде ряда Фурье со стохастическими коэффициентами, например:
где — независимые одинаково распределенные стандартные нормальные случайные величины (см. теорему Карунена–Лоэва ).
Броуновский мост является результатом теоремы Донскера в области эмпирических процессов . Он также используется в тесте Колмогорова–Смирнова в области статистического вывода .
Пусть , тогда кумулятивная функция распределения имеет вид [2]
Стандартный процесс Винера удовлетворяет условию W (0) = 0 и, следовательно, «привязан» к началу координат, но другие точки не ограничены. С другой стороны, в процессе броуновского моста не только B (0) = 0, но мы также требуем, чтобы B ( T ) = 0, то есть процесс «привязан» также к t = T. Так же, как буквальный мост поддерживается опорами на обоих концах, броуновский мост должен удовлетворять условиям на обоих концах интервала [0, T ]. (В небольшом обобщении иногда требуется B ( t 1 ) = a и B ( t 2 ) = b, где t 1 , t 2 , a и b — известные константы.)
Предположим, что мы сгенерировали ряд точек W (0), W (1), W (2), W (3) и т. д. пути винеровского процесса с помощью компьютерного моделирования. Теперь требуется заполнить дополнительные точки в интервале [0, T ], то есть выполнить интерполяцию между уже сгенерированными точками W (0) и W ( T ). Решение состоит в использовании броуновского моста, который требуется для прохождения значений W (0) и W ( T ).
Для общего случая, когда W ( t 1 ) = a и W ( t 2 ) = b , распределение B в момент времени t ∈ ( t 1 , t 2 ) является нормальным со средним
и ковариация между B ( s ) и B ( t ), при s < t равна