Time and Killed Resolvents in Reflected Optimal Stopping with a Max Payoff

Résumé Technique : Temps Local et Résolvantes Tuées dans l'Arrêt Optimal Réfléchi avec un Payoff Maximum

1. Formulation du Problème
Le document étudie le problème d'arrêt optimal en horizon infini pour une diffusion réfléchie normalement en deux dimensions $X = (X_1, X_2)$ confinée au quadrant positif fermé $\mathbb{R}^2_+$. Le décideur cherche un temps d'arrêt $\tau$ pour maximiser l'espérance de la récompense actualisée nette d'un coût courant :
$$V(x) = \sup_{\tau} \mathbb{E}_x \left[ e^{-r\tau}G(X_\tau) - \int_0^\tau e^{-rs}c(X_s) ds \right]$$
où la fonction de payoff est de type « max » non lisse $G(x_1, x_2) = x_1 \vee \alpha x_2$ avec $\alpha > 0$. La diffusion est soumise à une réflexion normale sur les axes des coordonnées, et la fonction de payoff possède un pli de Lipschitz convexe le long de l'ensemble diagonal $\Delta = \{x_1 = \alpha x_2\}$.

Les auteurs identifient deux défis primaires qui brisent le calcul standard de la frontière libre lisse :

1. Complexité de la Frontière : L'état est confiné dans un quadrant avec des conditions de Neumann et un coin à l'origine.
2. Singularité du Payoff : La récompense de type max est seulement piecewise affine. Ses dérivées secondes distributionnelles se concentrent sous forme de mesure de surface sur l'ensemble du pli $\Delta$, rendant l'objet classique de « gain d'arrêt » mal défini en tant que simple fonction.

2. Cadre Méthodologique
L'analyse est structurée en deux niveaux distincts afin de séparer les résultats de mesure inconditionnels des hypothèses géométriques conditionnelles :

• Niveau I (Inconditionnel) : Se concentre sur la décomposition de la mesure du gain d'arrêt et la représentation de la théorie des potentiels de la fonction de valeur. Ces résultats reposent uniquement sur les hypothèses standard de la diffusion réfléchie (coefficients Lipschitz locaux, ellipticité uniforme, propriété de Markov forte) et ne supposent pas de propriétés géométriques spécifiques de l'ensemble d'arrêt.
• Niveau II (Conditionnel) : Traite de la géométrie de la frontière libre (ex: structure d'épigraphe, monotonie, ajustement lisse). Ces résultats nécessitent des hypothèses explicites et spécifiques au modèle concernant la monotonie de l'avantage d'arrêt $H = V - G$.

La méthodologie emploie :

• Formule d'Itô–Tanaka : Appliquée au processus $Y_t = X_{1,t} - \alpha X_{2,t}$ pour traiter la non-lisséité de $|Y_t|$.
• Densité d'Occupation et Identités de Co-aire : Utilisées pour convertir les termes de temps local en mesures de surface sur la diagonale.
• Résolvantes Tuées : La fonction de valeur est représentée à l'aide d'un opérateur de résolvante tué lors de l'entrée dans l'ensemble d'arrêt, plutôt que par la résolvante non restreinte.
• Théorèmes de Vérification : Basés sur les classes d'Itô généralisées et la super-harmonicité de mesure, évitant de dépendre de la régularité a priori de la fonction de valeur.

3. Contributions Clés et Résultats

• Gain d'Arrêt de Type Mesure : Le papier prouve que l'objet de gain d' arrêt $\Gamma = c + rG - \mathcal{L}G$ n'est pas une fonction mais une mesure de Radon signée. Elle se décompose en une partie absolument continue et une mesure de surface singulière sur la diagonale $\Delta$ :
  $$\Gamma_\Delta(dx) = -\frac{q(x)}{2\sqrt{1+\alpha^2}} \sigma_\Delta(dx)$$
  où $q(x) = n^\top a(x) n$ avec $n=(1, -\alpha)$, et $a(x)$ est la matrice de covariance de la diffusion. Sous ellipticité locale, $q(x) > 0$, rendant la composante diagonale strictement négative.

• Théorème d'Évitement de la Diagonale : Une conséquence directe de la stricte négativité de la mesure diagonale est qu'aucun point intérieur de l'ensemble du pli $\Delta$ ne peut appartenir à l'ensemble d'arrêt. La stratégie optimale implique toujours de continuer lorsqu'on est sur la diagonale. Ceci est prouvé en montrant que le gain de temps local (d'ordre $\sqrt{h}$) en attendant un temps infinitésimal $h$ au pli domine le coût courant (d'ordre $h$).

• Représentation par Résolvante Tuée : Les auteurs établissent que la représentation correcte de la valeur est :
  $$V(x) = G(x) - R^C_r \Gamma(x)$$
  où $R^C_r$ est la résolvante tuée au premier temps d'entrée $\tau_D$ dans l'ensemble d'arrêt. Ils démontrent rigoureusement que la résolvante réfléchie non restreinte $R^R_r$ est généralement incorrecte car le processus réfléchi peut réentrer dans la région de continuation après avoir frappé l'ensemble d'arrêt, accumulant une « occupation supplémentaire » que le problème d'arrêt optimal ne doit pas compter. Un contre-exemple en forme close utilisant un mouvement brownien réfléchi unidimensionnel quantifie cet écart.

• Analyse du Terme de Coin : Le papier traite de la singularité potentielle à l'origine $(0,0)$. Sous des hypothèses spécifiques (vérifiées pour un mouvement brownien réfléchi non dégénéré), la contribution du coin à la formule d'Itô–Tanaka s'annule, garantissant que la décomposition de la mesure est globale dans l'intérieur.

4. Vérification et Expériences Numériques
Pour démontrer que le cadre est opérationnel et non vide, les auteurs vérifient tous les résultats du Niveau I pour un benchmark de mouvement brownien réfléchi avec dérive constante et covariance.

• Vérification Analytique : Ils confirment que la fonction de valeur est globalement Lipschitzienne, que la mesure diagonale est strictement négative, et que la représentation par résolvante tuée est valide.
• Expériences Numériques :
  1. Échelle du Temps Local : Les simulations de Monte Carlo récupèrent l'échelle théorique en $\sqrt{t}$ du temps local au pli de la diagonale, validant le mécanisme qui force la continuation.
  2. Écart de Résolvante : Les simulations d'un processus réfléchi en 1D reproduisent l'écart positif exact entre les résolvantes tuée et non restreinte, isolant le mécanisme de réentrée.
  3. Évitement de la Diagonale : Les solutions par différences finies du problème d'obstacle visualisent l'avantage de continuation comme une crête le long de la diagonale, l'ensemble d'arrêt remplissant le domaine mais évitant strictement le pli.

5. Signification et Revendications
Le papier prétend fournir une correction rigoureuse aux traitements heuristiques des arrêts optimaux multidimensionnels avec des payoffs non lisses. Sa signification primaire réside dans :

1. Correction du Gain d'Arrêt : Établir que $\Gamma$ est une mesure signée avec une partie singulière strictement négative sur le pli, invalidant les conditions ponctuelles du type « $\Gamma \ge 0$ sur l'ensemble d'arrêt » sans séparer la composante singulière.
2. Correction de la Représentation de Potentiel : Prouver que la fonction de valeur doit être représentée via une résolvante tuée, corrigeant la conception erronée commune selon laquelle la résolvante réfléchie non restreinte suffirait.
3. Séparation de la Géométrie et du Mécanisme : En distinguant les vérités de mesure inconditionnelles (Niveau I) des propriétés géométriques conditionnelles (Niveau II), le papier évite d'affirmer une régularité automatique des frontières libres dans les contextes de diffusion réfléchie multidimensionnelle. Il stipule explicitement que si la diagonale n'est jamais un ensemble d'arrêt, la forme globale de l'ensemble d'arrêt (par exemple, s'il forme un épigraphe) reste un problème spécifique au modèle nécessitant des hypothèses structurelles supplémentaires.

Les auteurs concluent que si le phénomène de « non-arrêt sur le pli » est robuste et inconditionnel, la caractérisation complète de la géométrie de la frontière libre nécessite des hypothèses structurelles supplémentaires sur l'avantage d'arrêt $H = V - G$ qui ne sont pas impliquées par la dynamique de diffusion seule.