В теории вероятностей действительный стохастический процесс X называется семимартингалом , если его можно разложить в сумму локального мартингала и процесса конечной вариации, адаптированного по càdlàg . Семимартингалы являются «хорошими интеграторами», образуя наибольший класс процессов, относительно которых можно определить интеграл Ито и интеграл Стратоновича .
Класс семимартингалов довольно велик (включая, например, все непрерывно дифференцируемые процессы, броуновское движение и пуассоновские процессы ). Субмартингалы и супермартингалы вместе представляют собой подмножество семимартингалов.
Действительный процесс X, определенный на отфильтрованном вероятностном пространстве (Ω, F ,( F t ) t ≥ 0 ,P), называется семимартингалом, если его можно разложить следующим образом:
где M — локальный мартингал , а A — càdlàg -адаптированный процесс локально ограниченной вариации . Это означает, что для почти всех и всех компактных интервалов траектория выборки имеет ограниченную вариацию.
R n -значный процесс X = ( X 1 ,..., X n ) является семимартингалом, если каждый из его компонентов X i является семимартингалом.
Во-первых, простые предсказуемые процессы определяются как линейные комбинации процессов вида H t = A 1 { t > T } для моментов остановки T и F T -измеримых случайных величин A. Интеграл H ⋅ X для любого такого простого предсказуемого процесса H и действительного процесса X равен
Это распространяется на все простые предсказуемые процессы благодаря линейности H ⋅ X по H.
Действительный процесс X является семимартингалом, если он является последовательным, адаптированным и для каждого t ≥ 0,
ограничено по вероятности. Теорема Бихтелера–Деллашери утверждает, что эти два определения эквивалентны (Protter 2004, стр. 144).
Хотя большинство непрерывных и адаптированных процессов, изучаемых в литературе, являются семимартингалами, это не всегда так.
По определению, каждый семимартингал является суммой локального мартингала и конечно-вариационного процесса. Однако это разложение не является единственным.
Непрерывный семимартингал однозначно разлагается как X = M + A , где M — непрерывный локальный мартингал, а A — непрерывный процесс с конечной вариацией, начинающийся с нуля. (Роджерс и Уильямс, 1987, стр. 358)
Например, если X — это процесс Ито, удовлетворяющий стохастическому дифференциальному уравнению d X t = σ t d W t + b t dt, то
Специальный семимартингал — это вещественнозначный процесс с разложением , где — локальный мартингал, а — предсказуемый процесс с конечной вариацией, начинающийся с нуля. Если такое разложение существует, то оно уникально вплоть до P-нулевого множества.
Каждый специальный семимартингал является семимартингалом. Наоборот, семимартингал является специальным семимартингалом тогда и только тогда, когда процесс X t * ≡ sup s ≤ t |X s | локально интегрируем (Protter 2004, стр. 130).
Например, каждый непрерывный семимартингал является специальным семимартингалом, и в этом случае M и A являются непрерывными процессами.
Напомним, что обозначает стохастическую экспоненту семимартингала . Если — специальный семимартингал такой, что [ необходимо разъяснение ] , то и — локальный мартингал. [1] Процесс называется мультипликативным компенсатором , а тождество — мультипликативным разложением .
Семимартингал называется чисто разрывным (Калленберг 2002), если его квадратичная вариация [ X ] является чисто скачкообразным процессом с конечной вариацией, т. е.
Согласно этому определению, время является чисто прерывистым семимартингалом, хотя оно вообще не демонстрирует скачков. Альтернативная (и предпочтительная) терминология квадратичный чисто-скачковый семимартингал для чисто прерывистого семимартингала (Protter 2004, стр. 71) мотивируется тем фактом, что квадратичная вариация чисто прерывистого семимартингала является чисто скачкообразным процессом. Каждый конечно-вариационный семимартингал является квадратичным чисто-скачковым семимартингалом. Адаптированный непрерывный процесс является квадратичным чисто-скачковым семимартингалом тогда и только тогда, когда он имеет конечную вариацию.
Для каждого семимартингала X существует уникальный непрерывный локальный мартингал, начинающийся с нуля, такой, что является квадратичным чисто-скачковым семимартингалом (He, Wang & Yan 1992, стр. 209; Kallenberg 2002, стр. 527). Локальный мартингал называется непрерывной мартингальной частью X.
Обратите внимание, что является мероспецифичным. Если и являются двумя эквивалентными мерами, то обычно отличается от , в то время как и являются квадратичными чисто скачкообразными семимартингалами. По теореме Гирсанова является непрерывным процессом с конечной вариацией, дающим .
Каждый семимартингал имеет уникальное разложение , где , компонент не прыгает в предсказуемые моменты времени, и компонент равен сумме своих скачков в предсказуемые моменты времени в топологии семимартингала. Тогда имеем . [2] Типичными примерами компонента "qc" являются процесс Ито и процесс Леви . Компонент "dp" часто принимается за цепь Маркова , но в общем случае предсказуемые моменты времени скачка могут не быть изолированными точками; например, в принципе может прыгать в каждое рациональное время. Заметим также, что не обязательно имеет конечную вариацию, даже если она равна сумме своих скачков (в топологии семимартингала ). Например, на временном интервале возьмите иметь независимые приращения, причем скачки во времени принимают значения с равной вероятностью.
Концепция семимартингалов и связанная с ней теория стохастического исчисления распространяются на процессы, принимающие значения в дифференцируемом многообразии . Процесс X на многообразии M является семимартингалом, если f ( X ) является семимартингалом для каждой гладкой функции f из M в R . (Rogers & Williams 1987, p. 24) Стохастическое исчисление для семимартингалов на общих многообразиях требует использования интеграла Стратоновича .