Reflected Optimal Stopping with a Max-Type Payoff: Measure-Valued Stopping Gains and Killed Resolvent Representation

Resumo Técnico: Parada Ótima Refletida com um Payoff do Tipo Máximo

Enunciado do Problema
Este artigo investiga um problema de parada ótima de horizonte infinito para uma difusão reflexa bidimensional $X = (X_1, X_2)$ que evolui no quadrante $\mathbb{R}^2_+ = [0, \infty)^2$. O objetivo é maximizar o payoff descontado esperado menos o custo de execução acumulado:
$$V(x) = \sup_{\tau \in \mathcal{T}} \mathbb{E}_x \left[ e^{-r\tau}G(X_\tau) - \int_0^\tau e^{-rs}c(X_s) ds \right]$$
onde a função de payoff é da forma "tipo máximo" $G(x_1, x_2) = x_1 \vee \alpha x_2$ (com $\alpha > 0$), $r > 0$ é a taxa de desconto, e $c \ge 0$ é um custo de execução. O processo $X$ é constrangido por reflexão normal nos eixos coordenados.

O problema apresenta três desafios analíticos específicos que complicam a análise padrão de fronteira livre:

1. Reflexão: O processo é constrangido ao quadrante por reflexão normal, exigindo condições de contorno de Neumann.
2. Payoff Não Suave: A função de recompensa $G$ possui um "vinco" (kink) ao longo do conjunto diagonal $\Delta := \{x_1 = \alpha x_2\}$, o que significa que não é $C^2$ através desta linha.
3. Multidimensionalidade: A região de parada é genuinamente bidimensional, diferentemente de muitos casos unidimensionais solucionáveis.

Metodologia e Estrutura
Os autores formulam o problema usando uma estrutura de problema de obstáculo refletido, interpretada no sentido de viscosidade. No entanto, o artigo enfatiza que o status de supersolução de viscosidade isoladamente é insuficiente para uma verificação rigorosa neste contexto. Em vez disso, a metodologia baseia-se em:

• Ganhos de Parada de Valor de Medida: Os autores definem o objeto de ganho de parada $\Gamma := c + rG - LG$. Devido ao vinco em $G$, $\Gamma$ não é uma função, mas uma medida de Radon com sinal, decompondo-se em uma parte absolutamente contínua ($\Gamma_{ac}$) longe da diagonal e uma medida de superfície singular ($\Gamma_\Delta$) suportada em $\Delta$.
• Admissibilidade de Itô–Krylov–Tanaka: Teoremas de verificação são estabelecidos sob suposições explícitas de que a função valor candidata pertence a uma classe onde uma fórmula de Itô generalizada (incorporando a fórmula de Tanaka para o tempo local do vinco) é válida.
• Resolventes Mortos (Killed Resolvents): A representação potencial da função valor é derivada usando um resolvente "morto", que acumula a medida de ganho de parada apenas até o tempo de primeira entrada no conjunto de parada, em vez de sobre todo o horizonte infinito do processo irrestrito.

Contribuições e Resultados Principais

1. Teorema de Verificação sob Superarmonicidade de Medida:
   O artigo prova um teorema de verificação (Teorema 3.2) que separa o argumento de verificação de teoremas de regularidade ocultos. Ele exige que a função candidata $u$ satisfaça:

   • Superarmonicidade de medida global: $(L-r)u - c \le 0$ no sentido de medidas com sinal.
   • Admissibilidade explícita de Itô–Krylov–Tanaka, garantindo que a fórmula de Itô generalizada se aplique.
   • Condições de contorno de reflexão normal.
     O teorema esclarece que o status de viscosidade não implica automaticamente a existência de um representante de medida com sinal ou a validade da fórmula de Itô generalizada.

2. Medida de Ganho de Parada Singular:
   Um resultado técnico central (Teorema 3.10) calcula explicitamente o componente singular da medida de ganho de parada gerada pelo vinco em $G$. A medida decompõe-se como $\Gamma = \Gamma_{ac} dx + \Gamma_\Delta$, onde o componente diagonal é:
   $$\Gamma_\Delta(dx) = -\frac{q(x)}{2\sqrt{1+\alpha^2}} \sigma_\Delta(dx)$$
   Aqui, $q(x) = n^\top a(x) n$ com $n=(1, -\alpha)$, e $\sigma_\Delta$ é a medida de superfície unidimensional em $\Delta$. Como $q(x) \ge 0$, o componente singular $\Gamma_\Delta$ é não-positivo. Isso implica que a condição pontual padrão "$\Gamma \ge 0$ no conjunto de parada" não pode ser aplicada literalmente à medida completa se o conjunto de parada interceptar $\Delta$ com comprimento positivo; as partes absolutamente contínua e singular devem ser tratadas separadamente.

3. Representação por Resolvente Morto:
   O artigo deriva a representação potencial correta para a função valor (Teorema 3.13):
   $$V(x) = G(x) - \mathcal{R}^C_r \Gamma(x)$$
   onde $\mathcal{R}^C_r$ é o resolvente morto no tempo de primeira entrada $\tau_D$ no conjunto de parada. Os autores demonstram que o resolvente reflexo irrestrito $\mathcal{R}^R_r$ é geralmente incorreto porque o processo irrestrito pode reentrar na região de continuação após a parada, acumulando tempo de ocupação irrelevante.

4. Geometria Condicional do Conjunto de Parada:
   Sob suposições de monotonicidade estrutural na vantagem de parada $H = V - G$, o artigo estabelece uma estrutura de epígrafo condicional para o conjunto de parada (Teorema 3.7). Especificamente, se $H$ é verticalmente não-crescente, a região de parada assume a forma $D = \{(x_1, x_2) : x_2 \ge b(x_1)\}$.

5. Verificação de Candidato-Fronteira:
   O artigo fornece um arcabouço rigoroso para verificar uma fronteira proposta (Teorema 3.17). Ele destaca que resolver uma equação de traço de fronteira é insuficiente. Um candidato válido deve satisfazer a superarmonicidade de medida global, o que impõe uma condição de compatibilidade estrita: o conjunto de parada não pode conter uma porção de comprimento positivo da diagonal $\Delta$ no interior, a menos que a medida singular desapareça lá (o que geralmente requer que a diagonal esteja na região de continuação).

Significância e Alegações
O artigo afirma fornecer um arcabouço estrutural rigoroso para problemas de parada ótima envolvendo difusões reflexas e payoffs não suaves. Sua principal significância reside na correção de três passos formais comuns tomados em tais problemas:

• Regularidade: Afirma que o status de supersolução de viscosidade não infere a regularidade de Sobolev ou de medida necessária para a verificação; estas devem ser assumidas explicitamente.
• Contribuição do Vinco: Trata o vinco do payoff não como uma irregularidade negligenciável, mas como uma fonte de uma medida de superfície singular com sinal, que altera fundamentalmente as condições de sinal no conjunto de parada.
• Tipo de Resolvente: Corrige a representação potencial ao insistir em um resolvente morto em vez de um irrestrito, garantindo que o potencial seja acumulado apenas antes do tempo de parada.

Os autores mantêm uma postura modesta quanto à regularidade, observando que o arcabouço fornece uma "estrutura condicional rigorosa" em vez de uma regularidade de fronteira livre incondicional. Os resultados são ilustrados usando um exemplo de movimento browniano reflexo de coeficientes constantes para mostrar que o termo diagonal singular é uma característica intrínseca do payoff do tipo máximo, e não um artefato de coeficientes variáveis.