Morphologie Algébrique des Singularités de Borel et Opérateurs de Dérivation Étrangère dans l'Espace des Transséries de Gevrey-1

Soit \(\mathbb{C}[[z]]_{1}\) l'anneau des séries formelles de Gevrey d'ordre 1, défini comme l'ensemble des séries :

$$ \hat{f}(z) = \sum_{n=0}^{\infty} a_n z^{n+1} $$

telles que la suite des coefficients vérifie une croissance factorielle de la forme :

$$ \exists C > 0, \exists K > 0, \forall n \in \mathbb{N}, \quad |a_n| \leq C K^n n! $$

L'opérateur de Borel formel \(\mathcal{B}\) est défini comme l'isomorphisme d'espaces vectoriels envoyant \(\mathbb{C}[[z]]_{1}\) sur l'espace des germes holomorphes à l'origine \(\mathbb{C}\{\xi\}\), par la transformée :

$$ \mathcal{B} : z^{n+1} \mapsto \frac{\xi^n}{\Gamma(n+1)} $$

Pour toute série \(\hat{f}(z)\), sa transformée de Borel est donnée par :

$$ \phi(\xi) = \sum_{n=0}^{\infty} a_n \frac{\xi^n}{n!} $$

Cette série possède un rayon de convergence \(\rho \geq 1/K\).

L'étude de la convergence de la série initiale est ainsi transmutée en l'étude du prolongement analytique de \(\phi(\xi)\) sur la surface de Riemann associée au plan complexe privé d'un ensemble discret de singularités \(\Omega\).

On définit l'espace des fonctions résurgentes \(\tilde{\mathcal{R}}\) comme le sous-ensemble de \(\mathbb{C}\{\xi\}\) constitué des germes admettant un prolongement analytique sans fin le long de tout chemin \(\gamma\) évitant \(\Omega\).

Cet espace est muni d'une structure d'algèbre pour le produit de convolution :

$$ (\phi * \psi)(\xi) = \int_{0}^{\xi} \phi(s) \psi(\xi-s) \, ds $$

Dualité de Borel

Cette opération de convolution est le dual de Borel du produit multiplicatif standard dans l'espace des séries formelles, satisfaisant ainsi la relation :

$$ \mathcal{B}(\hat{f} \cdot \hat{g}) = \mathcal{B}(\hat{f}) * \mathcal{B}(\hat{g}) $$

La morphologie locale de \(\phi(\xi)\) au voisinage d'une singularité \(\omega \in \Omega\) est caractérisée par l'opérateur de dérivation étrangère \(\Delta_\omega\).

Pour un germe résurgent \(\phi\), on considère son prolongement analytique le long d'un chemin arrivant près de \(\omega\). La singularité est alors décomposée en une partie polaire et une partie logarithmique :

$$ \phi(\omega + \xi) = \frac{1}{2\pi i} \frac{A}{\xi} + \frac{B}{2\pi i} \log(\xi) + S(\xi) $$

L'application \(\Delta_\omega : \tilde{\mathcal{R}} \to \tilde{\mathcal{R}}\) extrait cette obstruction au prolongement holomorphe. Elle agit comme une dérivation sur l'algèbre de convolution, respectant la règle de Leibniz :

$$ \Delta_\omega (\phi * \psi) = (\Delta_\omega \phi) * \psi + \phi * (\Delta_\omega \psi) $$

L'interaction entre la dérivation complexe usuelle \(\partial_z\) et les dérivées étrangères est régie par l'Équation du Pont.

Pour une large classe de systèmes dynamiques, il existe une relation liant l'instabilité analytique (les dérivées étrangères) à la dynamique paramétrique :

$$ \Delta_\omega \hat{y}(z, \mathbf{C}) = A_\omega \frac{\partial \hat{y}}{\partial \mathbf{C}}(z, \mathbf{C}) $$

où \(\mathbf{C}\) représente les constantes d'intégration du système.

Cette équation exprime que la singularité de la série formelle dans le plan de Borel est proportionnelle à la variation de la solution par rapport à ses propres paramètres de données initiales.

La ressommation de ces objets s'effectue via l'opérateur de Laplace \(S_\theta\), agissant sur \(\phi(\xi)\) le long d'une direction \(\theta = \arg(\xi)\) :

$$ S_\theta \phi(z) = \int_{0}^{e^{i\theta}\infty} e^{-\xi/z} \phi(\xi) \, d\xi $$

Phénomène de Stokes

Lorsque la direction \(\theta\) rencontre une singularité \(\omega\), on observe le phénomène de Stokes.

La discontinuité entre les sommations effectuées de part et d'autre de la direction critique \(\theta\) est alors rigoureusement exprimée par la formule de saut :

$$ (S_{\theta^+} - S_{\theta^-}) \hat{f} = \sum_{\omega \in \Omega \cap d_\theta} e^{-\omega/z} S_\theta (\Delta_\omega \hat{f}) $$

Ce formalisme permet d'étendre le domaine de définition de la solution au-delà des secteurs de convergence classique en incluant des termes exponentiellement petits, formant ainsi une transsérie complète capable de décrire les transitions non-perturbatives globales du système.