Expected signature of stopped Brownian motion on $d$-dimensional $C^{2, α}$-domains has finite radius of convergence everywhere: $2\leq d \leq 8$

1. Problématique et Contexte

Contexte de la théorie des chemins rugueux (Rough Paths) :
La théorie des chemins rugueux généralise le calcul stochastique classique pour traiter des équations différentielles pilotées par des signaux irréguliers (comme le mouvement brownien). Un concept central est la signature d'un chemin, qui est la collection de ses intégrales itérées. La signature joue un rôle analogue à celui de la fonction génératrice des moments pour les variables aléatoires.

La question fondamentale (Problème des moments) :
Une question centrale est de savoir si la signature attendue (l'espérance mathématique de la signature) détermine de manière unique la loi du chemin aléatoire. Une condition suffisante pour une réponse affirmative est que le rayon de convergence de la série de la signature attendue soit infini.

État de l'art et lacune :

• Pour le mouvement brownien sur un intervalle de temps fixe, il est connu que le rayon de convergence est infini.
• Pour le mouvement brownien arrêté au premier temps de sortie d'un domaine borné $\Omega$ (mouvement brownien arrêté), la situation est plus complexe. Il a été établi que le rayon de convergence est strictement positif, mais sa finitude ou son infinité restait une question ouverte.
• Une étude précédente ([1]) a démontré que pour le disque unité en dimension 2, le rayon de convergence est fini. Cependant, la preuve de [1] reposait fortement sur l'invariance par rotation du disque, ce qui rendait difficile l'extension du résultat à des domaines généraux.

Objectif de l'article :
Prouver que pour tout domaine borné $\Omega \subset \mathbb{R}^d$ de régularité $C^{2,\alpha}$ (avec $2 \le d \le 8$), le rayon de convergence de la signature attendue du mouvement brownien arrêté est fini en tout point de $\Omega$.

2. Méthodologie et Techniques Clés

Les auteurs développent une approche novatrice pour contourner le manque d'invariance par rotation dans les domaines généraux.

A. Développement Hyperbolique (Hyperbolic Development)

L'article utilise le développement hyperbolique, une application linéaire $H$ de l'algèbre tensorielle vers l'algèbre de Lie $\mathfrak{gl}(d+1; \mathbb{R})$. Cette transformation permet de convertir le système d'EDP (équations aux dérivées partielles) complexe satisfait par la signature attendue en un système d'EDP matriciel plus maniable. Le développement hyperbolique de la signature d'un chemin de variation bornée est contraint à rester sur une hyperboloïde $H^d$.

B. Développement Moyenné sur le Domaine (Domain-Averaging Development)

C'est l'apport méthodologique principal. Pour traiter un domaine $\Omega$ quelconque (non invariant par rotation), les auteurs définissent une nouvelle quantité $H_{\lambda, \epsilon}(z)$ :

1. Ils considèrent toutes les rotations $R \in SO(d)$ du domaine $\Omega$.
2. Ils intègrent (moyennent) le développement hyperbolique de la signature attendue sur toutes ces rotations par rapport à la mesure de Haar normalisée.
3. Cette opération de moyennage préserve la propriété de finitude du rayon de convergence (si le développement moyen a un rayon fini, alors le développement original aussi).

C. Symétrisation et Réduction aux Équations Différentielles Ordinaires (EDO)

En travaillant localement autour d'un point $z \in \Omega$ et en moyennant sur les rotations, le système d'EDP pour le développement moyenné hérite de symétries radiales.

• Bien que le domaine original ne soit pas une boule, le développement moyenné satisfait la même EDP que celle d'une boule de rayon $\epsilon$ centrée en $z$.
• Grâce à cette symétrisation, le système d'EDP se réduit à un système d'EDO dans la variable radiale $r = |z|$.
• Pour $d=2$, ce système est résolu explicitement à l'aide de fonctions de Bessel.
• Pour $3 \le d \le 8$, le système est résolu en utilisant des fonctions de Bessel d'ordre fractionnaire et des déterminants de Wronskien.

D. Analyse Asymptotique et Preuve de Finitude

La preuve de la finitude du rayon de convergence repose sur l'analyse des solutions explicites de ces EDO :

1. Les solutions sont exprimées comme des rapports de fonctions de Bessel.
2. Le rayon de convergence est déterminé par la première singularité (pôle) de ces solutions, qui correspond à la première racine du dénominateur (le déterminant de Wronskien ou une combinaison linéaire de fonctions de Bessel).
3. Les auteurs démontrent par calcul numérique assisté (avec des bornes d'erreur rigoureuses via les restes de Taylor) qu'il existe une racine $\lambda^*$ dans un intervalle spécifique (ex: $]2.5/\epsilon, 3/\epsilon[$) où le dénominateur s'annule.
4. Ils prouvent également que le numérateur ne s'annule pas à ce point, garantissant ainsi une singularité réelle (explosion de la solution).

3. Résultats Principaux

Théorème Principal (Théorème 1.1) :
Soit $\Omega$ un domaine borné de classe $C^{2,\alpha}$ dans $\mathbb{R}^d$ avec $2 \le d \le 8$. La signature attendue $\Phi$ d'un mouvement brownien arrêté au premier temps de sortie de $\Omega$ a un rayon de convergence fini en tout point de $\Omega$.

Détails par dimension :

• Dimension 2 ($d=2$) : La preuve utilise des fonctions de Bessel $J_0, J_1$ et des arguments géométriques sur l'hyperboloïde pour montrer que la solution explose avant d'atteindre l'infini.
• Dimensions 3 à 8 ($3 \le d \le 8$) : La preuve repose sur la structure des paramètres $\eta_\pm$ et $\beta_\pm$ issus de l'analyse spectrale du Laplacien. Pour $d \in \{2, \dots, 8\}$, ces paramètres sont complexes, ce qui conduit à des oscillations dans les solutions de Bessel et l'existence de zéros réels pour le dénominateur.
• Cas $d=9$ : L'article note que pour $d=9$, les paramètres deviennent réels, changeant qualitativement le comportement des solutions. Ce cas n'est pas résolu dans cet article et est laissé pour des recherches futures.

4. Contributions Clés

1. Généralisation du résultat de [1] : Passage d'un résultat spécifique au disque unité 2D à une classe large de domaines ($C^{2,\alpha}$) en dimensions 2 à 8.
2. Technique de "Domain-Averaging" : Introduction d'une méthode de symétrisation par intégration sur le groupe de rotation pour transformer un problème sur un domaine irrégulier en un problème radial équivalent.
3. Preuve rigoureuse par calcul assisté : Utilisation de bornes d'erreur analytiques combinées à des calculs numériques (Maple) pour prouver l'existence de racines dans des intervalles précis, assurant la robustesse du résultat face aux erreurs d'arrondi.
4. Résolution du problème des moments pour les temps d'arrêt : Établissement d'une condition négative (finitude du rayon) pour la détermination unique de la loi par la signature attendue dans le cas des processus arrêtés.

5. Signification et Implications

• Théorie des chemins rugueux : Ce résultat clarifie les limites de la signature attendue comme outil de caractérisation de la loi. Il montre que pour les processus arrêtés, la signature attendue ne détermine pas toujours la loi (car le rayon de convergence est fini), contrairement aux processus sur temps fixe.
• Apprentissage automatique (Machine Learning) : La signature attendue est utilisée comme caractéristique (feature) pour l'apprentissage de lois de processus stochastiques (tests d'hypothèses, classification). Ce résultat met en garde contre l'utilisation de la signature attendue comme caractéristique universelle pour les processus arrêtés, car la série peut diverger, limitant la stabilité des algorithmes basés sur cette méthode.
• Analyse Mathématique : La méthode de moyennage sur les rotations pour symétriser des EDP sur des domaines non symétriques est une technique puissante qui pourrait être appliquée à d'autres problèmes de régularité et de comportement asymptotique en analyse stochastique.

En résumé, cet article résout une question ouverte majeure en démontrant que la signature attendue du mouvement brownien arrêté possède un rayon de convergence fini pour une large classe de domaines, invalidant ainsi l'hypothèse d'une détermination unique de la loi par cette signature dans ce contexte.