Teorema da parada opcional em finanças explicado
Aprenda quando parar uma martingala preserva sua esperança, por que estratégias de dobragem falham e como tempos de parada entram na avaliação de opções com barreira e americanas
Resposta direta
O teorema da parada opcional afirma quando uma martingala M parada em τ mantém sua esperança, E[M_τ] = E[M_0]. Ele não valida toda saída adaptativa: limitação, integrabilidade uniforme ou outra condição suficiente é essencial
Um tempo de parada usa apenas informação atual
Um tempo aleatório τ é um tempo de parada quando o evento {τ ≤ t} é conhecido a partir da informação F_t disponível até o tempo t
Um trader pode parar depois que uma barreira é atingida, mas não pode definir τ usando o preço de amanhã e afirmar que ele era conhecido hoje
A definição impede olhar para frente; ela não garante por si só que esperanças possam ser trocadas com uma regra de parada ilimitada
A parada cria outro processo adaptado
O processo parado é M_{t∧τ}: ele segue M até τ e depois permanece no valor parado
Para uma martingala e um tempo de parada, o processo parado também é uma martingala sob integrabilidade padrão em cada t fixo
Passar de cada t finito para o valor terminal aleatório M_τ exige controle adicional sobre o limite
Várias condições suficientes sustentam o teorema
Versões comuns supõem que τ é limitado, que M é limitado ou que a família parada é uniformemente integrável
Variantes em tempo discreto podem usar E[τ] finito junto com incrementos adequadamente limitados, mas as hipóteses exatas variam conforme o teorema
Para tempos de parada σ ≤ τ, uma forma forte dá E[M_τ | F_σ] = M_σ quando as condições exigidas são satisfeitas
Estratégias de dobragem expõem a condição ausente
Em um jogo de moeda justa, dobrar a aposta depois de cada perda parece garantir uma unidade de lucro na primeira vitória
O tempo de parada é ilimitado, as perdas intermediárias e o crédito necessário crescem sem limite e os valores parados não são uniformemente integráveis
O ganho aparentemente gratuito, portanto, não contradiz a parada opcional; ele viola as condições que justificam tomar o limite
Probabilidades de barreira usam parada controlada
Uma caminhada aleatória parada em uma de duas barreiras finitas tem valores parados limitados, tornando a parada opcional aplicável
Escrever o valor parado esperado em termos dos dois valores de fronteira pode resolver a probabilidade de atingir primeiro a barreira superior
Ultrapassagem, saltos, desconto, drift e um horizonte infinito precisam ser incluídos, em vez de usar silenciosamente a fórmula mais simples da caminhada limitada
Opções americanas transformam o exercício em um problema de parada
Um contrato americano permite que o titular escolha um tempo de exercício a partir do conjunto de informações admissíveis
Sob uma medida de precificação, seu valor é o supremo do payoff descontado esperado sobre os tempos de parada permitidos, sob condições adequadas
O envelope de Snell é o menor supermartingale que domina o processo de payoff e identifica uma região ótima de exercício quando ela existe
O uso prático exige uma auditoria da parada
Declare a filtração, a medida, o processo parado, o horizonte, o payoff, os tempos de parada admissíveis e a versão do teorema usada
Verifique limitação, integrabilidade uniforme ou a condição alternativa exata antes de substituir uma esperança parada por seu valor inicial
Em simulações, detecte olhar para frente, viés induzido por limites, trajetórias não paradas pelo horizonte, ultrapassagem e se desconto e fluxos de caixa permanecem consistentes
Perguntas frequentes
O que o teorema da parada opcional diz de forma simples?
Sob controle suficiente, escolher quando parar uma martingala justa não muda o valor parado esperado
Toda regra de saída de negociação preserva o lucro esperado?
Não. A saída precisa ser um tempo de parada e o processo e a regra de parada precisam satisfazer as condições de integrabilidade do teorema
Por que a estratégia de dobragem não vence um jogo justo?
Ela exige crédito ilimitado e pode acumular perdas ilimitadas, então o processo parado não tem o controle exigido pelo teorema
Como a parada opcional é usada para opções americanas?
O exercício é modelado como um tempo de parada, e o valor é otimizado entre tempos de exercício admissíveis sob a medida de precificação