Исчисление Ито , названное в честь Киёси Ито , расширяет методы исчисления на случайные процессы, такие как броуновское движение (см. Винеровский процесс ). Оно имеет важные приложения в финансовой математике и стохастических дифференциальных уравнениях .
Центральным понятием является стохастический интеграл Ито, стохастическое обобщение интеграла Римана–Стилтьеса в анализе. Подынтегральные функции и интеграторы теперь являются стохастическими процессами: где H — локально квадратично интегрируемый процесс , адаптированный к фильтрации, генерируемой X (Revuz & Yor 1999, Глава IV), которая является броуновским движением или, в более общем смысле, семимартингалом . Результатом интегрирования тогда является другой стохастический процесс. Конкретно, интеграл от 0 до любого конкретного t является случайной величиной , определяемой как предел некоторой последовательности случайных величин. Траектории броуновского движения не удовлетворяют требованиям, чтобы иметь возможность применять стандартные методы исчисления. Таким образом, если подынтегральное выражение является случайным процессом, стохастический интеграл Ито представляет собой интеграл относительно функции, которая не дифференцируема ни в одной точке и имеет бесконечную вариацию на каждом временном интервале. Главное понимание заключается в том, что интеграл может быть определен, пока подынтегральное выражение H адаптировано , что , грубо говоря, означает, что его значение в момент времени t может зависеть только от информации, доступной до этого момента. Грубо говоря, выбирается последовательность разделов интервала от 0 до t и строятся суммы Римана . Каждый раз, когда мы вычисляем сумму Римана, мы используем определенную реализацию интегратора. Крайне важно, какая точка в каждом из малых интервалов используется для вычисления значения функции. Затем предел берется по вероятности, поскольку сетка раздела стремится к нулю. Необходимо учесть многочисленные технические детали, чтобы показать, что этот предел существует и не зависит от конкретной последовательности разделов. Обычно используется левый конец интервала.
Важные результаты исчисления Ито включают формулу интегрирования по частям и лемму Ито , которая является формулой замены переменных . Они отличаются от формул стандартного исчисления из-за квадратичных вариационных членов.
В математических финансах описанная стратегия оценки интеграла концептуализируется так, что мы сначала решаем, что делать, а затем наблюдаем изменение цен. Подынтегральное выражение — это то, сколько акций мы держим, интегратор представляет собой движение цен, а интеграл — это то, сколько денег у нас есть в целом, включая стоимость наших акций, в любой момент времени. Цены акций и других торгуемых финансовых активов могут быть смоделированы стохастическими процессами, такими как броуновское движение или, чаще, геометрическое броуновское движение (см. Блэка–Шоулза ). Затем стохастический интеграл Ито представляет собой выплату непрерывной во времени торговой стратегии, состоящей из удержания суммы H t акций в момент времени t . В этой ситуации условие адаптации H соответствует необходимому ограничению, что торговая стратегия может использовать только имеющуюся информацию в любой момент времени. Это предотвращает возможность неограниченной прибыли посредством ясновидения : покупка акций непосредственно перед каждым подъемом на рынке и продажа перед каждым падением. Аналогично, условие адаптации H подразумевает, что стохастический интеграл не будет расходиться при вычислении как предела сумм Римана (Revuz & Yor 1999, Глава IV).
Процесс Y, определенный ранее как, сам по себе является стохастическим процессом с временным параметром t , который также иногда записывается как Y = H · X (Rogers & Williams 2000). В качестве альтернативы интеграл часто записывается в дифференциальной форме dY = H dX , что эквивалентно Y − Y 0 = H · X. Поскольку исчисление Ито касается непрерывных во времени стохастических процессов, предполагается, что задано базовое отфильтрованное вероятностное пространство . σ -алгебра представляет информацию, доступную до момента времени t , и процесс X адаптируется, если X t является -измеримым. Под броуновским движением B понимается -броуновское движение, которое является просто стандартным броуновским движением со свойствами, что B t является -измеримым и что B t + s − B t не зависит от для всех s , t ≥ 0 (Revuz & Yor 1999).
Интеграл Ито можно определить аналогично интегралу Римана–Стилтьеса , то есть как предел вероятности сумм Римана ; такой предел не обязательно существует по пути. Предположим, что B — винеровский процесс (броуновское движение), а H — непрерывный справа ( càdlàg ), адаптированный и локально ограниченный процесс. Если — последовательность разбиений [ 0, t ] с шириной сетки, стремящейся к нулю, то интеграл Ито от H относительно B до момента времени t — случайная величина
Можно показать, что этот предел сходится по вероятности .
Для некоторых приложений, таких как теоремы о представлении мартингала и локальные времена , интеграл необходим для процессов, которые не являются непрерывными. Предсказуемые процессы образуют наименьший класс, который замкнут относительно взятия пределов последовательностей и содержит все адаптированные лево-непрерывные процессы. Если H - любой предсказуемый процесс, такой что ∫ 0 t H 2 ds < ∞ для каждого t ≥ 0 , то можно определить интеграл H относительно B , и говорят, что H является B -интегрируемым. Любой такой процесс можно аппроксимировать последовательностью H n лево-непрерывных, адаптированных и локально ограниченных процессов, в том смысле, что по вероятности. Тогда интеграл Ито равен , где, опять же, можно показать, что предел сходится по вероятности. Стохастический интеграл удовлетворяет изометрии Ито , которая выполняется, когда H ограничен или, в более общем смысле, когда интеграл в правой части конечен.
Процесс Ито определяется как адаптированный стохастический процесс, который может быть выражен как сумма интеграла по броуновскому движению и интеграла по времени,
Здесь B — броуновское движение, и требуется, чтобы σ было предсказуемым B -интегрируемым процессом, а μ было предсказуемым и ( Лебеговым ) интегрируемым. То есть для каждого t . Стохастический интеграл можно распространить на такие процессы Ито,
Это определено для всех локально ограниченных и предсказуемых интегрантов. В более общем смысле, требуется, чтобы Hσ был B -интегрируемым, а Hμ был интегрируемым по Лебегу, так что Такие предсказуемые процессы H называются X -интегрируемыми.
Важным результатом для изучения процессов Ито является лемма Ито . В своей простейшей форме для любой дважды непрерывно дифференцируемой функции f на действительных числах и процесса Ито X , как описано выше, она утверждает, что является процессом Ито, удовлетворяющим
Это версия стохастического исчисления формулы замены переменных и цепного правила . Она отличается от стандартного результата дополнительным членом, включающим вторую производную от f , которая возникает из свойства, что броуновское движение имеет ненулевую квадратичную вариацию .
Интеграл Ито определяется относительно полумартингала X. Это процессы, которые можно разложить как X = M + A для локального мартингала M и конечного вариационного процесса A. Важными примерами таких процессов являются броуновское движение , которое является мартингалом , и процессы Леви . Для непрерывного слева, локально ограниченного и адаптированного процесса H интеграл H · X существует и может быть вычислен как предел сумм Римана. Пусть π n будет последовательностью разбиений [0, t ] с сеткой, стремящейся к нулю ,
Этот предел сходится по вероятности. Стохастический интеграл непрерывных слева процессов достаточно общий для изучения большей части стохастического исчисления. Например, он достаточен для приложений леммы Ито, изменений меры по теореме Гирсанова и для изучения стохастических дифференциальных уравнений . Однако он неадекватен для других важных тем, таких как теоремы о представлении мартингала и локальное время .
Интеграл распространяется на все предсказуемые и локально ограниченные интегранты единственным образом, так что выполняется теорема о доминируемой сходимости . То есть, если H n → H и | H n | ≤ J для локально ограниченного процесса J , то по вероятности. Единственность расширения от левонепрерывных до предсказуемых интегрантов является результатом леммы о монотонном классе .
В общем случае стохастический интеграл H · X может быть определен даже в случаях, когда предсказуемый процесс H локально не ограничен. Если K = 1 / (1 + | H |), то K и KH ограничены. Ассоциативность стохастического интегрирования подразумевает, что H является X -интегрируемым, с интегралом H · X = Y , тогда и только тогда, когда Y 0 = 0 и K · Y = ( KH ) · X . Множество X -интегрируемых процессов обозначается как L ( X ) .
Следующие свойства можно найти в таких работах, как (Revuz & Yor 1999) и (Rogers & Williams 2000):
Как и в обычном исчислении, интегрирование по частям является важным результатом в стохастическом исчислении. Формула интегрирования по частям для интеграла Ито отличается от стандартного результата из-за включения квадратичного ковариационного члена. Этот член появляется из-за того, что исчисление Ито имеет дело с процессами с ненулевой квадратичной вариацией, что происходит только для процессов с бесконечной вариацией (таких как броуновское движение). Если X и Y являются семимартингалами, то где [ X , Y ] — квадратичный ковариационный процесс.
Результат аналогичен теореме об интегрировании по частям для интеграла Римана–Стилтьеса, но имеет дополнительный квадратичный вариационный член.
Лемма Ито — это версия цепного правила или формулы замены переменных , которая применяется к интегралу Ито. Это одна из самых мощных и часто используемых теорем в стохастическом исчислении. Для непрерывного n -мерного семимартингала X = ( X 1 ,..., X n ) и дважды непрерывно дифференцируемой функции f из R n в R она утверждает, что f ( X ) является семимартингалом и, Это отличается от цепного правила, используемого в стандартном исчислении, из-за члена, включающего квадратичную ковариацию [ X i , X j ] . Формулу можно обобщить, включив явную зависимость от времени в и другими способами (см. лемму Ито ).
Важным свойством интеграла Ито является то, что он сохраняет свойство локального мартингала . Если M — локальный мартингал, а H — локально ограниченный предсказуемый процесс, то H · M также является локальным мартингалом. Для интегрантов, которые не являются локально ограниченными, существуют примеры, когда H · M не является локальным мартингалом. Однако это может произойти только тогда, когда M не является непрерывным. Если M — непрерывный локальный мартингал, то предсказуемый процесс H является M -интегрируемым тогда и только тогда, когда для каждого t , и H · M всегда является локальным мартингалом.
Наиболее общее утверждение для разрывного локального мартингала M состоит в том, что если ( H 2 · [ M ]) 1/2 локально интегрируемо , то H · M существует и является локальным мартингалом.
Для ограниченных интегрантов стохастический интеграл Ито сохраняет пространство квадратично интегрируемых мартингалов, которое является множеством càdlàg мартингалов M, таких что E[ M t 2 ] конечно для всех t . Для любого такого квадратично интегрируемого мартингала M процесс квадратичной вариации [ M ] интегрируем, и изометрия Ито утверждает, что Это равенство справедливо в более общем случае для любого мартингала M, такого что H 2 · [ M ] t интегрируемо. Изометрия Ито часто используется как важный шаг в построении стохастического интеграла, определяя H · M как уникальное расширение этой изометрии с определенного класса простых интегрантов на все ограниченные и предсказуемые процессы.
Для любого p > 1 и ограниченного предсказуемого интегранта стохастический интеграл сохраняет пространство p -интегрируемых мартингалов. Это càdlàg мартингалы, такие что E(| M t | p ) конечно для всех t . Однако это не всегда верно в случае, когда p = 1 . Существуют примеры интегралов ограниченных предсказуемых процессов относительно мартингалов, которые сами по себе не являются мартингалами.
Максимальный процесс càdlàg-процесса M записывается как M* t = sup s ≤ t | M s | . Для любого p ≥ 1 и ограниченного предсказуемого интегранта стохастический интеграл сохраняет пространство càdlàg-мартингалов M, таких что E[( M* t ) p ] конечно для всех t . Если p > 1 , то это то же самое, что и пространство p -интегрируемых мартингалов, по неравенствам Дуба .
Неравенства Беркхолдера –Дэвиса–Ганди утверждают, что для любого заданного p ≥ 1 существуют положительные константы c , C , зависящие от p , но не от M или от t , такие, что для всех càdlàg локальных мартингалов M . Они используются для того, чтобы показать, что если ( M* t ) p интегрируемо и H является ограниченным предсказуемым процессом, то и, следовательно, H · M является p -интегрируемым мартингалом. В более общем смысле, это утверждение верно, когда ( H 2 · [ M ]) p /2 интегрируемо.
Доказательства того, что интеграл Ито хорошо определен, обычно начинаются с рассмотрения очень простых интегрантов, таких как кусочно-постоянные, непрерывные слева и адаптированные процессы, где интеграл может быть записан явно. Такие простые предсказуемые процессы являются линейными комбинациями членов вида H t = A 1 { t > T } для моментов остановки T и F T -измеримых случайных величин A , для которых интеграл равен Это распространяется на все простые предсказуемые процессы с помощью линейности H · X в H .
Для броуновского движения B свойство, что оно имеет независимые приращения с нулевым средним и дисперсией Var( B t ) = t, может быть использовано для доказательства изометрии Ито для простых предсказуемых интегрантов. С помощью непрерывного линейного расширения интеграл единственным образом распространяется на все предсказуемые интегранты, удовлетворяющие таким образом, что изометрия Ито все еще сохраняется. Затем его можно распространить на все B -интегрируемые процессы с помощью локализации . Этот метод позволяет определить интеграл относительно любого процесса Ито.
Для общего семимартингала X можно использовать разложение X = M + A на локальный мартингал M плюс конечный вариационный процесс A. Затем можно показать, что интеграл существует отдельно по отношению к M и A , и объединить их с помощью линейности, H · X = H · M + H · A , чтобы получить интеграл по отношению к X. Стандартный интеграл Лебега–Стилтьеса позволяет определить интегрирование по отношению к конечным вариационным процессам, поэтому существование интеграла Ито для семимартингалов будет следовать из любой конструкции для локальных мартингалов.
Для квадратно-интегрируемого мартингала càdlàg M можно использовать обобщенную форму изометрии Ито. Во-первых, теорема о разложении Дуба–Майера используется для того, чтобы показать, что существует разложение M 2 = N + ⟨ M ⟩ , где N — мартингал, а ⟨ M ⟩ — непрерывный справа, возрастающий и предсказуемый процесс, начинающийся с нуля. Это однозначно определяет ⟨ M ⟩ , который называется предсказуемой квадратичной вариацией M . Изометрия Ито для квадратно-интегрируемых мартингалов тогда имеет вид , что можно доказать непосредственно для простых предсказуемых интегрантов. Как и в случае выше для броуновского движения , непрерывное линейное расширение можно использовать для однозначного расширения на все предсказуемые интегранты, удовлетворяющие E [ H 2 · ⟨ M ⟩ t ] < ∞ . Этот метод может быть распространен на все локальные квадратично интегрируемые мартингалы с помощью локализации. Наконец, разложение Дуба–Майера может быть использовано для разложения любого локального мартингала в сумму локального квадратично интегрируемого мартингала и конечного вариационного процесса, что позволяет построить интеграл Ито относительно любого семимартингала.
Существует много других доказательств, которые применяют похожие методы, но которые избегают необходимости использовать теорему разложения Дуба–Майера, например, использование квадратичной вариации [ M ] в изометрии Ито, использование меры Долеана для субмартингалов или использование неравенств Беркхолдера–Дэвиса–Ганди вместо изометрии Ито. Последнее применяется непосредственно к локальным мартингалам без необходимости сначала иметь дело со случаем квадратично интегрируемого мартингала.
Альтернативные доказательства существуют только с использованием того факта, что X является càdlàg, адаптированным, и множество { H · X t : | H | ≤ 1 является простым предвидимым} ограничено по вероятности для каждого времени t , что является альтернативным определением для X как полумартингала. Непрерывное линейное расширение может быть использовано для построения интеграла для всех непрерывных слева и адаптированных интегрантов с правыми пределами везде (caglad или L-процессы). Это достаточно общее, чтобы можно было применять такие методы, как лемма Ито (Protter 2004). Кроме того, неравенство Хинчина может быть использовано для доказательства теоремы о доминируемой сходимости и расширения интеграла до общих предсказуемых интегрантов (Bichteler 2002).
Исчисление Ито в первую очередь определяется как интегральное исчисление, как описано выше. Однако существуют также различные понятия «производной» относительно броуновского движения:
Исчисление Маллявэна дает теорию дифференциации для случайных величин, определенных над пространством Винера , включая формулу интегрирования по частям (Nualart 2006).
Следующий результат позволяет выразить мартингалы как интегралы Ито: если M является квадратично интегрируемым мартингалом на временном интервале [0, T ] относительно фильтрации, порожденной броуновским движением B , то существует единственный адаптированный квадратично интегрируемый процесс на [0, T ] такой, что почти наверняка и для всех t ∈ [0, T ] (Rogers & Williams 2000, теорема 36.5). Эту теорему о представлении можно формально интерпретировать как утверждение, что α является «производной по времени» от M относительно броуновского движения B , поскольку α является именно тем процессом, который должен быть интегрирован до времени t для получения M t − M 0 , как в детерминированном исчислении.
В физике обычно используются стохастические дифференциальные уравнения (СДУ), такие как уравнения Ланжевена , а не стохастические интегралы. Здесь стохастическое дифференциальное уравнение Ито (СДУ) часто формулируется через , где — гауссовский белый шум с и используется соглашение Эйнштейна о суммировании .
Если является функцией x k , то следует использовать лемму Ито :
SDE Ито, как указано выше, также соответствует SDE Стратоновича, которое имеет вид
SDE часто встречаются в физике в форме Стратоновича, как пределы стохастических дифференциальных уравнений, вызванные цветным шумом , если время корреляции шумового члена приближается к нулю. Для недавнего рассмотрения различных интерпретаций стохастических дифференциальных уравнений см., например, (Lau & Lubensky 2007).