A Measure-Valued Obstacle Problem for an Obliquely Reflected Diffusion with a Max-Type Payoff

Résumé Technique : Un problème d'obstacle à valeurs de mesures pour une diffusion à réflexion oblique avec un payoff de type "Max"

1. Formulation du Problème

L'article étudie un problème d'arrêt optimal pour un processus de diffusion à réflexion oblique bidimensionnel $X = (X_1, X_2)$ confiné au quadrant non négatif $\mathbb{R}^2_+$. Le processus évolue selon l'équation différentielle stochastique :
$$dX_t = \beta(X_t) dt + \sigma(X_t) dW_t + \rho_1 dL^1_t + \rho_2 dL^2_t,$$
où $L^1$ et $L^2$ sont les temps locaux de frontière imposant une réflexion le long de vecteurs entrants fixes $\rho_1 = (1, \theta_1)$ et $\rho_2 = (\theta_2, 1)$.

L'objectif est de maximiser l'espérance du gain escompté :
$$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 récompense est un payoff de type "max" non lisse $G(x) = x_1 \vee \alpha x_2$ (avec $\alpha > 0$), $r > 0$ est le taux d'actualisation, et $c \geq 0$ est un coût courant.

Formellement, la fonction de valeur $V$ est censée satisfaire un problème d'obstacle réfléchi impliquant le générateur $L$ de la diffusion :
$$\max\{LV - rV - c, G - V\} = 0 \quad \text{dans } \mathbb{R}^2_+, \quad \rho_i \cdot \nabla V = 0 \quad \text{sur } F_i,$$
où $F_i$ sont les faces de coordonnées. Le principal défi analytique provient de la présence simultanée de :

1. Réflexion oblique : Les vecteurs de réflexion $\rho_i$ ne sont pas nécessairement normaux à la frontière.
2. Obstacle non lisse : Le payoff $G$ présente un "pli" le long de la diagonale $\Delta = \{x_1 = \alpha x_2\}$, provoquant un saut de son gradient.
3. Mort (Killing) : Le processus s'arrête lorsqu'il pénètre dans l'ensemble d'arrêt $D = \{V = G\}$.

2. Méthodologie et Cadre Analytique

Les auteurs développent une formulation de théorie potentielle à valeurs de mesures pour gérer les singularités introduites par le payoff non lisse et la réflexion oblique.

• Générateur distributionnel du payoff : L'article analyse la dérivée seconde distributionnelle de $G$. Comme $G$ est affine de part et d'autre de $\Delta$ mais possède un saut de gradient à travers celui-ci, le générateur $LG$ n'est pas une fonction mais une mesure signée contenant une composante singulière supportée sur $\Delta$. Plus précisément, $LG$ inclut un terme proportionnel à la mesure de surface unidimensionnelle $\sigma_\Delta$.
• Formule d'Itô–Tanaka réfléchie : Les auteurs dérivent une formule d'Itô–Tanaka généralisée pour $G(X_t)$. Cette formule révèle deux mécanismes singuliers distincts :
  1. Un terme de temps local diagonal ($d\ell_0(Y)$ où $Y = X_1 - \alpha X_2$) découlant du pli de $G$.
  2. Des termes de temps local de frontière découlant de la réflexion oblique. Puisque $\nabla G$ n'est pas nécessairement orthogonal aux vecteurs de réflexion $\rho_i$ sur les faces $F_i$, la réflexion contribue à des termes de frontière supplémentaires proportionnels à $\rho_i \cdot \nabla G$.
• Mesure de l'arrêt signée totale : Ces composantes sont unifiées en une mesure signée totale $\Gamma_{tot}$ :
  $$\Gamma_{tot} = \Gamma_{ac} dx + \Gamma_\Delta + \Gamma_\partial,$$
  où $\Gamma_{ac}$ est le gain intérieur absolument continu, $\Gamma_\Delta$ est la mesure singulière sur la diagonale, et $\Gamma_\partial$ est la mesure de Revuz de frontière signée générée par la réflexion.
• Représentation par résolvante tuée : L'article établit que la fonction de valeur dans la région de continuation $C = \{V > G\}$ est représentée par une résolvante tuée de $\Gamma_{tot}$ :
  $$V(x) = G(x) - R^C_r \Gamma_{tot}(x), \quad x \in C.$$
  Crucialement, les auteurs démontrent que la résolvante réfléchie non restreinte (intégrant sur l'horizon infini complet) est généralement incorrecte. En effet, le processus n'est pas absorbé lors de l'atteinte de l'ensemble d'arrêt $D$ ; il peut réintégrer la région de continuation $C$, rendant le potentiel non restreint mal défini pour le problème variationnel.

3. Contributions Clés et Résultats

A. Formulation à valeurs de mesures
L'article fournit une identité de pont rigoureuse reliant le payoff actualisé à la mesure de l'arrêt signée totale :
$$e^{-rt}G(X_t) - \int_0^t e^{-rs}c(X_s)ds = G(x) - \int_0^t e^{-rs} dA^{\Gamma_{tot}}_s + M^G_t.$$
Cette identité sert de fondement analytique pour l'analyse ultérieure, traitant les singularités comme des mesures plutôt que de tenter de les lisser.

B. Échec des résolvantes non restreintes
Un résultat théorique important est la preuve que $V \neq G - R^R_r (\Gamma_{tot} \mathbf{1}_C)$ en général. Les auteurs montrent que la résolvante non restreinte échoue car elle compte l'"occupation" de la région de continuation après que le processus a déjà été arrêté (et potentiellement réintégré), ce qui manque de sens variationnel. L'objet correct est la résolvante tuée, qui intègre uniquement jusqu'au premier temps de sortie de $C$.

C. Caractérisation de la frontière libre
La frontière libre est caractérisée non pas par une condition classique de lissage (smooth-fit), mais par une condition de trace du côté de la continuation pour le potentiel tué :
$$\text{Tr}_{\partial C} R^C_r \Gamma_{tot} = 0.$$
Cette condition est nécessaire car le lissage standard ($C^1$ ou $C^2$) s'effondre en raison de la singularité diagonale et des contributions de temps local de frontière dues à la réflexion oblique.

D. Théorème de vérification pour les candidats épigraphes
Sous une hypothèse de monotonie verticale (supposant que $V - G$ est non croissant en $x_2$), l'ensemble d'arrêt $D$ est montré comme ayant une forme d'épigraphe $\{x_2 \geq b(x_1)\}$. L'article prouve un théorème de vérification stipulant que tout candidat épigraphe admissible $b$ satisfaisant les conditions suivantes coïncide avec la véritable fonction de valeur $V$ :

1. Contact et continuation stricte : $U_b = G$ sur $D_b$ et $U_b > G$ sur $C_b$.
2. Compatibilité de Neumann réfléchie : $\rho_i \cdot \nabla U_b = 0$ sur les frontières.
3. Condition de trace : Le potentiel tué s'annule à la frontière du côté de la continuation.
4. Superharmonicité de mesure : $(r - L)U_b + c \geq 0$ en tant que mesure lisse signée.
5. Contrainte géométrique : La frontière libre doit se situer sur ou au-dessus de la diagonale ($b(x_1) \geq x_1/\alpha$) pour éviter que la mesure singulière $\Gamma_\Delta$ n'entre dans l'intérieur de l'ensemble d'arrêt.

4. Signification et Revendications

L'article affirme explicitement fournir un cadre de vérification rigoureux plutôt qu'une solution de la frontière libre elle-même. Sa signification réside dans :

• L'unification des singularités : Combiner avec succès la mesure singulière diagonale (issue du payoff max) avec les mesures de frontière (issues de la réflexion oblique) dans un cadre unique de théorie des mesures.
• Correction de la théorie potentielle : Corriger la conception erronée commune selon laquelle les résolvantes non restreintes s'appliquent aux problèmes d'arrêt non absorbants, en établissant la résolvante tuée comme l'outil correct.
• Généralisation des conditions de frontière : Formuler la condition de frontière libre comme une condition de trace sur le potentiel tué, ce qui est suffisamment robuste pour gérer l'absence de lissage causée par le pli et la réflexion oblique.

Les auteurs notent que dériver la monotonie de $V-G$ à partir des paramètres primitifs du modèle et établir la régularité de la frontière libre restent des questions analytiques ouvertes. Ce travail se positionne comme une étape fondamentale à l'intersection de l'arrêt optimal, des diffusions réfléchies et de la théorie potentielle à valeurs de mesures.