Méthode pour attribuer une valeur finie à certaines séries formelles divergentes en appliquant la transformée de Borel pour obtenir une fonction aux meilleures propriétés analytiques, en prolongeant analytiquement cette transformée si nécessaire, puis en effectuant une intégrale de type Laplace (inversion de Borel-Laplace) pour retrouver une somme cohérente avec l'asymptotique initiale.

Principe

Transformer une suite de coefficients à croissance factorielle en une transformée de Borel ayant un rayon de convergence amélioré ; utiliser le prolongement analytique pour atteindre une direction d'intégration et effectuer une intégrale de Laplace afin d'obtenir une somme canonique quand les singularités sont correctement traitées.

Démonstration

Dans de nombreux problèmes d'équations différentielles, la solution formelle en série asymptotique a des coefficients croissant comme n! ; la transformée de Borel donne une série convergente et, après prolongement analytique à travers des singularités et intégration de Laplace dans une direction choisie, on obtient une fonction réelle qui résout l'équation et dont l'asymptotique coïncide avec la série formelle.

Mauvaise application

Employer une inversion de Borel naïve lorsque la transformée de Borel présente des points de branchement ou des pôles sur la trajectoire d'intégration sans résoudre les phénomènes de Stokes : cela peut engendrer des sommes ambiguës ou incorrectes si la sommation latérale ou la médiane n'est pas utilisée.

Conséquence

Quand elle s'applique, la resommation de Borel reconstruit une fonction analytique dont le développement asymptotique correspond à la série formelle et restaure souvent l'unicité et la possibilité de prolongement analytique, clarifiant le lien entre séries formelles et solutions effectives.

Inversion

Une série non résummable résiste à la sommation de Borel parce que sa transformée de Borel ne peut être prolongée ou parce que l'intégrale de Laplace diverge ; cette impossibilité signale une singularité essentielle ou une croissance trop forte empêchant l'affectation d'une somme canonique par cette méthode.

Limite

Nécessite une série formelle à croissance adéquate (typiquement factorielle) pour que la transformée de Borel converge, ainsi que la possibilité de prolongement analytique et d'une intégrale de Laplace convergente le long d'un rayon ; elle n'est pas applicable à des séries divergentes arbitraires et ne supprime pas les discontinuités de Stokes.

Tension sémantique

Tension avec d'autres méthodes de sommation (Cesàro, Abel, Euler) : la resommation de Borel est plus puissante pour de nombreuses séries à divergence factorielle mais peut diverger là où le choix du prolongement analytique introduit des ambiguïtés multiplicatives liées aux données de Stokes.

Synthèse

La resommation de Borel est la recette en trois étapes — transformée de Borel, prolongement analytique, inversion de Laplace — qui transforme des développements asymptotiques divergents appropriés en fonctions analytiques canoniques, dès lors que singularités et directions d'intégration sont gérées en respectant les phénomènes de Stokes.