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

Résumé Technique : Arrêt Optimal Réfléchi avec un Gain de Type Max

Énoncé du Problème
Cet article étudie un problème d'arrêt optimal à horizon infini pour une diffusion réfléchie normalement en deux dimensions $X = (X_1, X_2)$ évoluant dans le quadrant $\mathbb{R}^2_+ = [0, \infty)^2$. L'objectif est de maximiser l'espérance du gain actualisé moins le coût courant accumulé :
$$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]$$
où la fonction de gain est de type « max » $G(x_1, x_2) = x_1 \vee \alpha x_2$ (avec $\alpha > 0$), $r > 0$ est le taux d'actualisation, et $c \ge 0$ est un coût courant. Le processus $X$ est contraint par une réflexion normale sur les axes des coordonnées.

Le problème présente trois défis analytiques spécifiques qui compliquent l'analyse standard de frontière libre :

1. Réflexion : Le processus est contraint dans le quadrant par une réflexion normale, ce qui nécessite des conditions de Neumann aux frontières.
2. Gain Non-Lisse : La fonction de récompense $G$ possède un « pli » le long de la diagonale $\Delta := \{x_1 = \alpha x_2\}$, ce qui signifie qu'elle n'est pas $C^2$ à travers cette ligne.
3. Multidimensionnalité : La région d'arrêt est véritablement bidimensionnelle, contrairement à de nombreux cas unidimensionnels solubles.

Méthodologie et Cadre
Les auteurs formulent le problème en utilisant un cadre de problème d'obstacle réfléchi, interprété au sens visqueux. Cependant, l'article souligne que le statut de sursolution visqueuse seule est insuffisant pour une vérification rigoureuse dans ce contexte. Au lieu de cela, la méthodologie repose sur :

• Gains d'Arrêt à Valeur de Mesure : Les auteurs définissent l'objet de gain d'arrêt $\Gamma := c + rG - LG$. En raison du pli dans $G$, $\Gamma$ n'est pas une fonction mais une mesure de Radon signée. Elle se décompose en une partie absolument continue ($\Gamma_{ac}$) loin de la diagonale et une mesure de surface singulière ($\Gamma_\Delta$) supportée sur $\Delta$.
• Admissibilité Itô–Krylov–Tanaka : Des théorèmes de vérification sont établis sous des hypothèses explicites que la fonction valeur candidate appartient à une classe où une formule d'Itô généralisée (incorporant la formule de Tanaka pour le temps local du pli) est valide.
• Résolvantes Tuées : La représentation potentielle de la fonction valeur est dérivée en utilisant une résolvante « tuée » (killed resolvent), qui accumule la mesure de gain d'arrêt uniquement jusqu'au premier temps d'entrée dans l'ensemble d'arrêt, plutôt que sur l'horizon infini complet du processus non contraint.

Contributions Clés et Résultats

1. Théorème de Vérification sous Superharmonicité de Mesure :
   L'article prouve un théorème de vérification (Théorème 3.2) qui sépare l'argument de vérification des théorèmes de régularité cachés. Il exige que la fonction candidate $u$ satisfasse :

   • Une superharmonicité de mesure globale : $(L-r)u - c \le 0$ au sens des mesures signées.
   • Une admissibilité Itô–Krylov–Tanaka explicite, garantissant l'application de la formule d'Itô généralisée.
   • Des conditions de réflexion normale aux frontières.
     Le théorème clarifie que le statut visqueux n'implique pas automatiquement l'existence d'un représentant de mesure signée ou la validité de la formule d'Itô généralisée.

2. Mesure de Gain d'Arrêt Singulière :
   Un résultat technique central (Théorème 3.10) calcule explicitement la composante singulière de la mesure de gain d'arrêt générée par le pli de $G$. La mesure se décompose comme $\Gamma = \Gamma_{ac} dx + \Gamma_\Delta$, où la composante diagonale est :
   $$\Gamma_\Delta(dx) = -\frac{q(x)}{2\sqrt{1+\alpha^2}} \sigma_\Delta(dx)$$
   Ici, $q(x) = n^\top a(x) n$ avec $n=(1, -\alpha)$, et $\sigma_\Delta$ est la mesure de surface unidimensionnelle sur $\Delta$. Puisque $q(x) \ge 0$, la composante singulière $\Gamma_\Delta$ est non positive. Cela implique que la condition ponctuelle standard « $\Gamma \ge 0$ sur l'ensemble d'arrêt » ne peut pas être appliquée littéralement à la mesure complète si l'ensemble d'arrêt intersecte $\Delta$ avec une longueur positive ; les parties absolument continue et singulière doivent être traitées séparément.

3. Représentation par Résolvante Tuée :
   L'article dérive la représentation potentielle correcte pour la fonction valeur (Théorème 3.13) :
   $$V(x) = G(x) - \mathcal{R}^C_r \Gamma(x)$$
   où $\mathcal{R}^C_r$ est la résolvante tuée au premier temps d'entrée $\tau_D$ dans l'ensemble d'arrêt $D$. Les auteurs démontrent que la résolvante réfléchie non contrainte $\mathcal{R}^R_r$ est généralement incorrecte car le processus non contraint peut réentrer dans la région de continuation après l'arrêt, accumulant un temps d'occupation non pertinent.

4. Géométrie Conditionnelle de l'Ensemble d'Arrêt :
   Sous des hypothèses de monotonicité structurelle sur l'avantage d'arrêt $H = V - G$, l'article établit une structure d'épigraphe conditionnelle pour l'ensemble d'arrêt (Théorème 3.7). Plus précisément, si $H$ est verticalement décroissante, la région d'arrêt prend la forme $D = \{(x_1, x_2) : x_2 \ge b(x_1)\}$.

5. Vérification de la Candidat-Frontière :
   L'article fournit un cadre rigoureux pour vérifier une frontière proposée (Théorème 3.17). Il souligne que résoudre une équation de trace de frontière est insuffisant. Un candidat valide doit satisfaire la superharmonicité de mesure globale, ce qui impose une condition de compatibilité stricte : l'ensemble d'arrêt ne peut pas contenir une portion de longueur positive de la diagonale $\Delta$ dans l'intérieur, à moins que la mesure singulière ne s'y annule (ce qui nécessite généralement que la diagonale se trouve dans la région de continuation).

Signification et Revendications
L'article affirme fournir un cadre structurel rigoureux pour les problèmes d'arrêt optimal impliquant des diffusions réfléchies et des gains non lisses. Sa signification primaire réside dans la correction de trois étapes formelles couramment utilisées dans ces problèmes :

• Régularité : Il affirme que le statut de sursolution visqueuse n'infère pas la régularité de Sobolev ou de mesure requise pour la vérification ; celles-ci doivent être assumées explicitement.
• Contribution du Pli : Il traite le pli du gain non pas comme une irrégularité négligeable, mais comme une source de mesure de surface signée singulière, ce qui modifie fondamentalement les conditions de signe sur l'ensemble d'arrêt.
• Type de Résolvante : Il corrige la représentation potentielle en insistant sur une résolvante tuée plutôt qu'une résolvante non contrainte, garantissant que le potentiel est accumulé uniquement avant le temps d'arrêt.

Les auteurs maintiennent une position modeste concernant la régularité, notant que le cadre fournit une « structure conditionnelle rigoureuse » plutôt qu'une régularité de frontière libre inconditionnelle. Les résultats sont illustrés par un exemple de mouvement brownien réfléchi à coefficients constants pour montrer que le terme diagonal singulier est une caractéristique intrinsèque du gain de type max, et non un artefact de coefficients variables.