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

Resumen Técnico: Parada Óptima Reflejada con una Recompensa de Tipo Máximo

Planteamiento del Problema
Este artículo investiga un problema de parada óptima de horizonte infinito para una difusión con reflexión normal de dos dimensiones $X = (X_1, X_2)$ que evoluciona en el cuadrante $\mathbb{R}^2_+ = [0, \infty)^2$. El objetivo es maximizar la recompensa descontada esperada menos el coste de funcionamiento 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]$$
donde la función de recompensa es de la forma "tipo máximo" $G(x_1, x_2) = x_1 \vee \alpha x_2$ (con $\alpha > 0$), $r > 0$ es la tasa de descuento y $c \ge 0$ es un coste de funcionamiento. El proceso $X$ está constreñido por reflexión normal en los ejes coordenados.

El problema presenta tres desafíos analíticos específicos que complican el análisis estándar de frontera libre:

1. Reflexión: El proceso está constreñido en el cuadrante mediante reflexión normal, lo que requiere condiciones de contorno de Neumann.
2. Recompensa No Suave: La función de recompensa $G$ tiene un "quiebro" (kink) a lo largo de la diagonal $\Delta := \{x_1 = \alpha x_2\}$, lo que significa que no es $C^2$ a través de esta línea.
3. Multidimensionalidad: La región de parada es genuinamente bidimensional, a diferencia de muchos casos unidimensionales resolubles.

Metodología y Marco de Trabajo
Los autores formulan el problema utilizando un marco de problema de obstáculo reflejado, interpretado en el sentido de la viscosidad. Sin embargo, el artículo enfatiza que el estatus de supersolución de viscosidad por sí solo es insuficiente para una verificación rigurosa en este contexto. En su lugar, la metodología se basa en:

• Ganancias de Parada de Valor Medida: Los autores definen el objeto de ganancia de parada $\Gamma := c + rG - LG$. Debido al quiebro en $G$, $\Gamma$ no es una función, sino una medida de Radon con signo. Se descompone en una parte absolutamente continua ($\Gamma_{ac}$) lejos de la diagonal y una medida de superficie singular ($\Gamma_\Delta$) soportada en $\Delta$.
• Admisibilidad de Itô–Krylov–Tanaka: Se establecen teoremas de verificación bajo supuestos explícitos de que la función valor candidata pertenece a una clase donde se cumple una fórmula de Itô generalizada (incorporando la fórmula de Tanaka para el tiempo local del quiebro).
• Resolventes con Muerte (Killed Resolvents): La representación potencial de la función valor se deriva utilizando un resolvente "muerto" (killed), que acumula la medida de ganancia de parada solo hasta el primer tiempo de entrada en el conjunto de parada, en lugar de sobre todo el horizonte infinito del proceso sin restricciones.

Contribuciones Clave y Resultados

1. Teorema de Verificación bajo Superarmonicidad de Medida:
   El artículo demuestra un teorema de verificación (Teorema 3.2) que separa el argumento de verificación de los teoremas de regularidad ocultos. Requiere que la función candidata $u$ cumpla:

   • Superarmonicidad de medida global: $(L-r)u - c \le 0$ en el sentido de medidas con signo.
   • Admisibilidad explícita de Itô–Krylov–Tanaka, asegurando que la fórmula de Itô generalizada sea aplicable.
   • Condiciones de contorno de reflexión normal.
     El teorema aclara que el estatus de viscosidad no implica automáticamente la existencia de un representante de medida con signo o la validez de la fórmula de Itô generalizada.

2. Medida de Ganancia de Parada Singular:
   Un resultado técnico central (Teorema 3.10) calcula explícitamente el componente singular de la medida de ganancia de parada generada por el quiebro en $G$. La medida se descompone como $\Gamma = \Gamma_{ac} dx + \Gamma_\Delta$, donde el componente diagonal es:
   $$\Gamma_\Delta(dx) = -\frac{q(x)}{2\sqrt{1+\alpha^2}} \sigma_\Delta(dx)$$
   Aquí, $q(x) = n^\top a(x) n$ con $n=(1, -\alpha)$, y $\sigma_\Delta$ es la medida de superficie unidimensional en $\Delta$. Dado que $q(x) \ge 0$, el componente singular $\Gamma_\Delta$ es no positivo. Esto implica que la condición puntual estándar "$\Gamma \ge 0$ en el conjunto de parada" no puede aplicarse literalmente a la medida completa si el conjunto de parada intersecta $\Delta$ con longitud positiva; las partes absolutamente continua y singular deben tratarse por separado.

3. Representación de Resolvente con Muerte:
   El artículo deriva la representación potencial correcta para la función valor (Teorema 3.13):
   $$V(x) = G(x) - \mathcal{R}^C_r \Gamma(x)$$
   donde $\mathcal{R}^C_r$ es el resolvente con muerte al primer tiempo de entrada $\tau_D$ en el conjunto de parada $D$. Los autores demuestran que el resolvente reflejado sin restricciones $\mathcal{R}^R_r$ es generalmente incorrecto porque el proceso sin restricciones puede reingresar a la región de continuación después de la parada, acumulando un tiempo de ocupación irrelevante.

4. Geometría Condicional del Conjunto de Parada:
   Bajo supuestos de monotonicidad estructural de la ventaja de parada $H = V - G$, el artículo establece una estructura de epígrafo condicional para el conjunto de parada (Teorema 3.7). Específicamente, si $H$ es verticalmente no creciente, la región de parada toma la forma $D = \{(x_1, x_2) : x_2 \ge b(x_1)\}$.

5. Verificación de Candidato-Frontera:
   El artículo proporciona un marco riguroso para verificar una frontera propuesta (Teorema 3.17). Destaca que resolver una ecuación de traza de frontera es insuficiente. Un candidato válido debe satisfacer la superarmonicidad de medida global, lo que impone una condición de compatibilidad estricta: el conjunto de parada no puede contener una porción de longitud positiva de la diagonal $\Delta$ en el interior a menos que la medida singular desaparezca allí (lo cual generalmente requiere que la diagonal se encuentre en la región de continuación).

Significado y Reivindicaciones
El artículo afirma proporcionar un marco estructural riguroso para problemas de parada óptima que involucran difusiones reflejadas y recompensas no suaves. Su principal significado radica en corregir tres pasos formales comunes tomados en tales problemas:

• Regularidad: Afirma que el estatus de supersolución de viscosidad no infiere la regularidad de Sobolev o de medida requerida para la verificación; estas deben asumirse explícitamente.
• Contribución del Quiebro: Trata el quiebro de la recompensa no como una irregularidad negligible, sino como una fuente de una medida de superficie singular con signo, lo que altera fundamentalmente las condiciones de signo en el conjunto de parada.
• Tipo de Resolvente: Corrige la representación potencial al insistir en un resolvente con muerte en lugar de uno sin restricciones, asegurando que el potencial se acumule solo antes del tiempo de parada.

Los autores mantienen una postura modesta respecto a la regularidad, señalando que el marco proporciona una "estructura condicional rigurosa" en lugar de una regularidad de frontera libre incondicional. Los resultados se ilustran utilizando un ejemplo de movimiento browniano reflejado de coeficientes constantes para mostrar que el término diagonal singular es una característica intrínseca de la recompensa de tipo máximo, no un artefacto de coeficientes variables.