Martingales locais versus martingales locais estritos explicados

Um processo adaptado M é um martingale local se os tempos de parada τ_n crescem até o infinito quase certamente e cada processo parado M_{t∧τ_n} é um martingale

As paradas podem limitar excursões ou integrais para que as esperanças condicionais se comportem bem em cada região localizada

A localização é um dispositivo de prova sobre regiões seguras que se expandem; ela não significa que o processo seja aproximadamente um martingale apenas em horizontes curtos de calendário

Todo martingale verdadeiro é local, pois se podem usar tempos de parada triviais ou limitantes segundo a definição relevante

A recíproca exige condições como integrabilidade uniforme ou uma dominação adequada que permita passar os limites pelas esperanças condicionais

Sem esse controle, a massa pode escapar por trajetórias extremas cada vez mais raras à medida que as barreiras de localização recuam

Um martingale local não negativo é um supermartingale por argumentos do tipo Fatou, portanto E[M_t] ≤ E[M_s] para s ≤ t

Ele é um martingale verdadeiro quando o valor esperado é preservado sob integrabilidade adequada; um martingale local estrito tem uma falta genuína de valor esperado

Uma deriva local nula, portanto, não implica por si só um valor esperado incondicional constante

Exponenciais estocásticas são martingales locais positivos e candidatas naturais a processos de densidade em mudanças de medida

Condições como Novikov ou Kazamaki podem estabelecer a propriedade de martingale verdadeiro, mas são testes suficientes, não definições intercambiáveis

Se a densidade candidata for estrita, seu valor esperado terminal será inferior a um e ela não poderá definir a medida de probabilidade equivalente pretendida sem tratamento adicional

Em algumas definições de precificação de ativos, um martingale local estrito não negativo descontado tem preço de mercado acima de um valor esperado fundamental menor

O valor esperado ausente, frequentemente chamado de defeito de martingale, quantifica essa diferença dependente do modelo

Isso é uma afirmação dentro de uma medida, filtração, classe de admissibilidade e regra de precificação especificadas — não uma evidência automática de que um ativo negociado esteja mal precificado empiricamente

A paridade put–call padrão e a monotonicidade do preço da call em relação ao vencimento frequentemente usam a propriedade de martingale verdadeiro do ativo subjacente descontado

Com martingales locais estritos, a paridade pode adquirir um termo de defeito, e valores de call aparentemente naturais podem depender de convenções de colateral ou admissibilidade

Sempre derive as identidades a partir das hipóteses de esperança e negociação do modelo, em vez de importar fórmulas de não arbitragem sem alterações

Verifique analítica ou numericamente a preservação do valor esperado, o comportamento nas fronteiras, a explosão, a integrabilidade uniforme e a validade de qualquer processo de densidade

Monte Carlo pode não capturar trajetórias raras responsáveis pela perda de valor esperado, portanto uma média amostral estável é uma evidência fraca da propriedade de martingale

Use condições de fronteira de EDP, assíntotas, critérios de caráter estrito, estudos de truncamento e estimativas do defeito de martingale junto com a simulação