stringtranslate.com

Teorema de descomposición de Doob

En la teoría de procesos estocásticos en tiempo discreto , una parte de la teoría matemática de la probabilidad , el teorema de descomposición de Doob proporciona una descomposición única de cada proceso estocástico adaptado e integrable como la suma de una martingala y un proceso predecible (o "deriva") que comienza en cero. El teorema fue demostrado por Joseph L. Doob y lleva su nombre . [1]

El teorema análogo en el caso de tiempo continuo es el teorema de descomposición de Doob-Meyer .

Declaración

Sea un espacio de probabilidad , I = {0, 1, 2, ..., N } con o un conjunto de índices finito o contablemente infinito, una filtración de  , y X = ( X n ) nI un proceso estocástico adaptado con E[| X n |] < ∞ para todo nI . Entonces existe una martingala M = ( M n ) nI y un proceso predecible integrable A = ( A n ) nI que comienza con A 0 = 0 tal que X n = M n + A n para todo nI . Aquí predecible significa que A n es - medible para todo nI \ {0} . Esta descomposición es casi con seguridad única. [2] [3] [4]

Observación

El teorema es válido palabra por palabra también para procesos estocásticos X que toman valores en el espacio euclidiano d -dimensional o en el espacio vectorial complejo . Esto se deduce de la versión unidimensional considerando los componentes individualmente.

Prueba

Existencia

Utilizando expectativas condicionales , defina los procesos A y M , para cada nI , explícitamente mediante

y

donde las sumas para n = 0 están vacías y definidas como cero. Aquí A suma los incrementos esperados de X , y M suma las sorpresas, es decir, la parte de cada X k que no se conoce un paso de tiempo antes. Debido a estas definiciones, A n +1 (si n + 1 ∈ I ) y M n son F n -medibles porque el proceso X está adaptado, E[| A n |] < ∞ y E[| M n |] < ∞ porque el proceso X es integrable, y la descomposición X n = M n + A n es válida para cada nI . La propiedad martingala

    como

También se sigue de la definición anterior ( 2 ), para cada nI \ {0 }.

Unicidad

Para demostrar la unicidad, sea X = M ' + A ' una descomposición adicional. Entonces el proceso Y  := MM ' = A 'A es una martingala, lo que implica que

    como,

y también predecible, lo que implica que

    como

para cualquier nI \ {0 }. Dado que Y 0 = A ' 0A 0 = 0 por la convención sobre el punto de inicio de los procesos predecibles, esto implica iterativamente que Y n = 0 casi con seguridad para todo nI , por lo tanto, la descomposición es casi con seguridad única.

Corolario

Un proceso estocástico de valor real X es una submartingala si y solo si tiene una descomposición de Doob en una martingala M y un proceso predecible integrable A que es casi seguramente creciente . [5] Es una supermartingala si y solo si A es casi seguramente decreciente .

Prueba

Si X es una submartingala, entonces

    como

para todo kI \ {0 }, lo que equivale a decir que cada término en la definición ( 1 ) de A es casi seguramente positivo, por lo tanto, A es casi seguramente creciente. La equivalencia para las supermartingalas se demuestra de manera similar.

Ejemplo

Sea X = ( X n ) n una sucesión de variables aleatorias independientes, integrables y de valor real. Se adaptan a la filtración generada por la sucesión, es decir F n = σ ( X 0 , . . . , X n ) para todo n . Por ( 1 ) y ( 2 ), la descomposición de Doob viene dada por

y

Si las variables aleatorias de la secuencia original  X tienen media cero, esto se simplifica a

    y    

por lo tanto, ambos procesos son paseos aleatorios (posiblemente no homogéneos en el tiempo) . Si la secuencia X = ( X n ) n consiste en variables aleatorias simétricas que toman los valores +1−1 , entonces X  está acotado, pero la martingala  M y el proceso predecible  A son paseos aleatorios simples no acotados (y no uniformemente integrables ), y el teorema de detención opcional de Doob podría no ser aplicable a la martingala  M a menos que el tiempo de detención tenga una expectativa finita.

Solicitud

En finanzas matemáticas , el teorema de descomposición de Doob se puede utilizar para determinar el mayor tiempo de ejercicio óptimo de una opción americana . [6] [7] Sea X = ( X 0 , X 1 , . . . , X N ) los pagos descontados no negativos de una opción americana en un modelo de mercado financiero de N periodos, adaptado a una filtración ( F 0 , F 1 , . . . , F N ) , y sea una medida de martingala equivalente . Sea U = ( U 0 , U 1 , . . . , U N ) la envolvente de Snell de  X con respecto a . La envolvente de Snell es la -supermartingala más pequeña que domina a X [8] y en un mercado financiero completo representa la cantidad mínima de capital necesaria para cubrir la opción americana hasta el vencimiento. [9] Sea U = M + A la descomposición de Doob con respecto a la envolvente de Snell  U en una martingala M = ( M 0 , M 1 , . . . , M N ) y un proceso predecible decreciente A = ( A 0 , A 1 , . . . , A N ) con A 0 = 0 . Entonces el mayor tiempo de detención para ejercer la opción americana de manera óptima [10] [11] es

Como A es predecible, el evento { τ max = n } = { A n = 0, A n +1 < 0 } está en  F n para cada n ∈ {0, 1, . . . , N − 1 }, por lo tanto τ max es de hecho un tiempo de detención. Da el último momento antes de que el valor descontado de la opción americana caiga en expectativa; hasta el tiempo  τ max el proceso de valor descontado  U es una martingala con respecto a .

Generalización

El teorema de descomposición de Doob se puede generalizar desde espacios de probabilidad a espacios de medida σ-finitos . [12]

Citas

  1. ^ Doob (1953), ver (Doob 1990, págs. 296-298)
  2. ^ Durrett (2010)
  3. ^ (Föllmer & Schied 2011, Proposición 6.1)
  4. ^ (Williams 1991, Sección 12.11, parte (a) del Teorema)
  5. ^ (Williams 1991, Sección 12.11, parte (b) del Teorema)
  6. ^ (Lamberton y Lapeyre 2008, Capítulo 2: Problema de parada óptima y opciones americanas)
  7. ^ (Föllmer & Schied 2011, Capítulo 6: Reclamaciones contingentes estadounidenses)
  8. ^ (Föllmer & Schied 2011, Proposición 6.10)
  9. ^ (Föllmer y Schied 2011, teorema 6.11)
  10. ^ (Lamberton y Lapeyre 2008, Proposición 2.3.2)
  11. ^ (Föllmer y Schied 2011, teorema 6.21)
  12. ^ (Schilling 2005, Problema 23.11)

Referencias