Topics in Gaussian Wiener chaos expansion

Ces notes de cours pour la 44e École d'été finlandaise sur les probabilités et les statistiques offrent une introduction à la décomposition du chaos de Wiener en dimension finie, à la construction de champs gaussiens sur le tore (incluant le bruit blanc et le champ libre gaussien) et à leurs applications au modèle $\Phi^4$, tout en excluant explicitement des sujets tels que l'intégrale stochastique, les équations aux dérivées partielles stochastiques et le calcul de Malliavin.

L'essentiel

Ce document est un ensemble de notes de cours intitulé "Topics in Gaussian Wiener Chaos Expansion" par Nils Berglund. Il est conçu pour une école d'été destinée à des mathématiciens et des physiciens.

Pour l'expliquer à un public général, imaginez que vous essayez de comprendre un système très complexe, bruyant et chaotique — comme la météo, un marché boursier ou un champ quantique. L'article fournit une « boîte à outils » mathématique pour prendre ce chaos, le décomposer en pièces simples et compréhensibles, puis le reconstruire afin de faire des prédictions.

Voici le déroulement de l'article, illustré par des analogies du quotidien :

1. Le Fondement : La « Gaussienne » et le « Dé »

L'article commence par les bases : les variables aléatoires gaussiennes.

• L'Analogie : Imaginez lancer un seul dé. Le résultat est aléatoire. Maintenant, imaginez lancer des millions de dés et les additionner. Le résultat formera presque toujours une parfaite « courbe en cloche » (la distribution gaussienne).
• Le Problème : En physique, nous traitons souvent de fonctions de ces variables aléatoires (comme l'énergie d'un système). Calculer le résultat moyen de ces fonctions est difficile car les « dés » interagissent de manière complexe.
• La Solution (Polynômes d'Hermite) : L'auteur introduit les polynômes d'Hermite. Imaginez-les comme un ensemble spécial de « briques Lego ». Tout comme vous pouvez construire n'importe quelle forme complexe avec des briques Lego, vous pouvez construire n'importe quelle fonction aléatoire à partir de ces polynômes spécifiques. L'article montre comment créer ces briques et comment elles s'assemblent parfaitement sans se chevaucher (orthogonalité).

2. La Grande Idée : « L'Expansion du Chaos de Wiener »

C'est le concept central de l'article.

• L'Analogie : Imaginez un morceau de musique. Il semble complexe, mais il est en fait simplement la somme de notes simples (fréquences).
• Le Concept : L'Expansion du Chaos de Wiener affirme que toute variable aléatoire (n'importe quelle « chanson » dans l'univers des probabilités) peut être décomposée en une somme de ces « notes » de polynômes d'Hermite.
  • La première note est la moyenne (le silence).
  • La deuxième note est la première couche de bruit.
  • La troisième note est une couche de bruit plus complexe, et ainsi de suite.
• Pourquoi c'est important : Au lieu d'essayer de résoudre toute l'équation désordonnée d'un coup, vous pouvez la résoudre note par note. Cela transforme un problème terrifiantement difficile en une série d'étapes gérables.

3. Passage aux Multidimensions : L'« Espace de Fock »

L'article passe ensuite d'une variable à plusieurs (multivariée).

• L'Analogie : Imaginez un chœur. Un chanteur est facile à analyser. Mais un chœur de 100 chanteurs ? C'est chaotique.
• Le Concept : L'auteur utilise un concept appelé espace de Fock (emprunté à la physique quantique). Imaginez cela comme une « bibliothèque d'états ».
  • Niveau 0 : Aucun chanteur (silence).
  • Niveau 1 : Un chanteur.
  • Niveau 2 : Deux chanteurs interagissant.
  • Niveau $n$ : $n$ chanteurs interagissant.
• La Magie : L'article montre que vous pouvez traiter les interactions entre ces « chanteurs » (variables aléatoires) en utilisant une astuce mathématique spéciale appelée produit de Wick. C'est comme un manuel de règles qui vous dit comment multiplier deux chansons complexes sans créer de désordre. Il sépare l'interaction « pure » du « bruit » qui s'annule simplement.

4. Le Cas Infini : Bruit Blanc et Champs

L'article étend ensuite cela aux dimensions infinies, traitant des Champs Gaussiens (comme un champ d'herbe où chaque brin bouge de manière aléatoire).

• L'Analogie : Imaginez le Bruit Blanc. C'est comme la statique sur une radio. Il est si chaotique qu'en tout point unique, la valeur est infinie et indéfinie. Il est « plus rugueux » qu'une fonction ; c'est plutôt une « distribution » (un fantôme mathématique).
• Le Champ Libre Gaussien (GFF) : C'est une version légèrement plus lisse du bruit blanc. Imaginez une feuille de caoutchouc secouée aléatoirement. La feuille a une forme, mais elle est très bosselée.
• Le Défi : En 1 dimension (une ligne), cette feuille de caoutchouc est assez lisse pour être touchée. En 2 ou 3 dimensions (une surface ou un volume), elle devient si bosselée que vous ne pouvez même pas définir sa hauteur en un point spécifique. Elle est « trop rugueuse ».

5. L'Apogée : Le Modèle $\Phi^4$ et la « Renormalisation »

La partie finale et la plus complexe de l'article traite du modèle $\Phi^4$. C'est un modèle jouet célèbre en physique utilisé pour décrire comment les particules interagissent.

• Le Problème : Lorsque vous essayez de calculer l'énergie de ce système en 2 ou 3 dimensions, vous obtenez l'infini. Les mathématiques s'effondrent car les « bosses » de la feuille de caoutchouc sont trop sauvages.
• La Solution (Renormalisation) : C'est le moment le plus dramatique de l'article. Pour corriger l'infini, l'auteur utilise une technique appelée Renormalisation.
  • L'Analogie : Imaginez que vous essayez de peser une plume, mais que votre balance est cassée et ajoute 1 000 livres à chaque lecture. Vous ne pouvez pas peser la plume directement. Au lieu de cela, vous pesez la plume plus la balance cassée, puis vous soustrayez mathématiquement les 1 000 livres (le « terme de contre-réaction ») pour obtenir le vrai poids.
  • Dans l'Article : L'auteur montre qu'en ajoutant des « termes de contre-réaction » spécifiques (ajustements mathématiques) à l'équation de l'énergie, vous pouvez annuler les infinis.
  • La « Carte de Wick » : L'article introduit un outil ingénieux appelé Carte de Wick (utilisant les polynômes de Bell en dimensions supérieures). Imaginez cela comme un « traducteur » qui sait automatiquement quelles parties de l'équation sont la « balance cassée » (les infinis) et les retire, vous laissant avec une réponse finie et significative.

Résumé du Voyage

1. Début : Nous avons du bruit aléatoire (variables gaussiennes).
2. Outil : Nous le décomposons en blocs de construction simples (polynômes d'Hermite).
3. Expansion : Nous construisons une bibliothèque de toutes les interactions possibles (Chaos de Wiener).
4. Mise à l'échelle : Nous appliquons cela à des systèmes infinis et rugueux (Champs).
5. Crise : Les mathématiques explosent vers l'infini lorsque nous essayons de calculer l'énergie en 3D.
6. Résolution : Nous utilisons une technique sophistiquée de « soustraction » (Renormalisation via les cartes de Wick) pour annuler l'infini et obtenir un résultat réel et fini.

Ce que l'article affirme (et ce qu'il ne fait pas) :
L'article prétend fournir un cadre mathématique rigoureux pour ces étapes. Il prouve que ces calculs « renormalisés » fonctionnent et restent finis sous certaines conditions. Il ne prétend pas résoudre des problèmes d'ingénierie réels, prédire les marchés boursiers ou guérir des maladies. C'est purement un guide théorique pour les mathématiciens et les physiciens sur la manière de gérer la nature « infinie » des champs quantiques et des systèmes aléatoires en utilisant le langage des probabilités et du chaos.

Résumé technique

Résumé technique : Sujets de l'expansion du chaos de Wiener gaussien

Énoncé du problème
Les notes de cours abordent les fondements mathématiques des expansions du chaos de Wiener gaussien, s'étendant des cadres de dimension finie aux champs gaussiens de dimension infinie, et appliquent ces outils à l'analyse rigoureuse du modèle $\Phi^4_d$ en théorie quantique des champs euclidienne. Le problème central réside dans la construction et l'analyse de fonctionnelles non linéaires de champs gaussiens, en particulier lorsque le champ sous-jacent possède une faible régularité (par exemple, le bruit blanc ou le champ libre gaussien en dimensions $d \geq 2$). Dans de tels régimes, les opérations ponctuelles standard (comme la prise de puissances du champ) sont mal définies en raison de divergences. Les notes visent à fournir un cadre systématique pour définir ces non-linéarités via l'ordre de Wick et la renormalisation, et à analyser la convergence des développements perturbatifs pour les fonctions de partition et les fonctions de corrélation.

Méthodologie
L'exposition procède par une progression structurée d'outils mathématiques :

1. Fondements unidimensionnels et de dimension finie :

   • Les notes commencent par les propriétés des variables aléatoires gaussiennes et la construction des polynômes d'Hermite via l'orthogonalisation de Gram–Schmidt des monômes.
   • Des structures algébriques clés sont introduites, notamment les fonctions génératrices des polynômes d'Hermite, leur relation avec les cumulants, et l'interprétation combinatoire via les appariements (théorème d'Isserlis/théorème de Wick).
   • Le calcul de Wick est formalisé à l'aide d'algèbres de convolution et de structures d'algèbres de Hopf (spécifiquement l'antipode et le coproduit), reliant les opérations probabilistes aux manipulations algébriques des séries entières.
   • La décomposition du chaos de Wiener est établie comme une décomposition orthogonale de l'espace $L^2$ des fonctionnelles de variables gaussiennes en sous-espaces de chaos homogènes. L'isométrie de Wiener applique les produits tensoriels symétriques de l'espace de Hilbert sous-jacent à ces sous-espaces de chaos.
   • L'hypercontractivité du semi-groupe d'Ornstein–Uhlenbeck est utilisée pour prouver l'équivalence des moments (estimation de Nelson), établissant que les normes $L^p$ des variables de chaos sont contrôlées par leur norme $L^2$.

2. Champs gaussiens de dimension infinie :

   • Le cadre est étendu aux processus gaussiens isonormaux sur des espaces de Hilbert séparables, spécifiquement $L^2(\mathbb{T}^d)$.
   • Deux champs principaux sont construits : le bruit blanc gaussien (une distribution de régularité $C^\alpha$ pour $\alpha < -d/2$) et le champ libre gaussien (GFF) (régularité $C^\alpha$ pour $\alpha < 1 - d/2$).
   • Les notes démontrent comment définir les puissances de Wick ($:\phi^n:$) pour ces champs en soustrayant des constantes divergentes (variances) à l'aide de polynômes d'Hermite mis à l'échelle. Il est démontré que cela produit des variables aléatoires bien définies dans le $n$-ième chaos de Wiener avec des bornes uniformes sur leurs moments.

3. Application au modèle $\Phi^4_d$ :

   • Le modèle $\Phi^4_d$ est défini via une mesure de Gibbs avec une fonctionnelle d'énergie contenant un terme d'interaction quartique. Puisque la mesure de Lebesgue sur l'espace des champs n'existe pas, les espérances sont définies par rapport à la mesure du champ libre gaussien.
   • Dimension $d=1$ : Le modèle est bien défini sans renormalisation au-delà de l'ordre de Wick. Le rapport de la fonction de partition est développé en une série de diagrammes de Feynman (diagrammes de vide). Le théorème des amas liés est invoqué pour montrer que le développement des cumulants ne fait intervenir que des diagrammes connexes. Il est démontré que la série constitue un développement asymptotique (Gevrey-1) plutôt qu'une série convergente.
   • Dimension $d=2$ : La variance du GFF diverge logarithmiquement. Le modèle nécessite un terme de contre-renormalisation de masse ($\beta_N$) dépendant de la coupure $N$. L'estimation de Nelson est utilisée pour prouver la bornitude uniforme du rapport de la fonction de partition malgré le terme de contre-renormalisation divergent.
   • Dimension $d=3$ : La divergence est plus forte (linéaire en $N$). Les notes introduisent la renormalisation BPHZ (Bogoliubov–Parasiuk–Hepp–Zimmermann) pour traiter les sous-divergences. Cela implique l'algèbre de Hopf de Connes–Kreimer des diagrammes de Feynman, où l'application de l'antipode extrait et soustrait systématiquement les sous-graphes divergents. Une application de Wick est construite pour traduire la renormalisation diagrammatique complexe en une transformation polynomiale impliquant des polynômes de Bell (généralisant les polynômes d'Hermite).
   • Dimension $d \in (3,4)$ : Les notes discutent brièvement de l'émergence de nouvelles sous-divergences lorsque $d$ approche 4, nécessitant l'utilisation de polynômes de Bell dans l'application de Wick pour gérer la complexité croissante des sous-structures divergentes.

Contributions et résultats clés

• Cadre algébrique unifié : Les notes fournissent une dérivation cohérente des polynômes d'Hermite, des produits de Wick et des expansions de chaos en utilisant le langage des algèbres de convolution et des algèbres de Hopf, clarifiant la structure combinatoire des moments gaussiens.
• Construction rigoureuse des puissances de Wick : Une preuve détaillée est fournie pour l'existence et les bornes uniformes des moments des puissances de Wick du champ libre gaussien en dimensions $d=1, 2, 3$, établissant la régularité nécessaire pour définir les interactions non linéaires.
• Renormalisation de $\Phi^4_3$ : Le texte expose une preuve de l'existence du modèle $\Phi^4_3$ (au sens de développements perturbatifs bornés) en combinant le théorème des amas liés avec la renormalisation BPHZ. Il construit explicitement les termes de contre-renormalisation de masse et d'énergie nécessaires ($\beta_N, \gamma_N$) pour annuler les divergences.
• Analyse diagrammatique : Les notes détaillent le degré de divergence des diagrammes de Feynman en utilisant les secteurs de Hepp et fournissent un critère de non-divergence basé sur les degrés des sous-graphes.
• Diagrammes commutatifs : Un résultat clé est la démonstration d'un diagramme commutatif reliant la renormalisation algébrique des diagrammes de Feynman (via l'antipode de Connes–Kreimer) à la renormalisation probabiliste des fonctionnelles polynomiales (via l'application de Wick et les polynômes de Bell).

Signification
L'article sert de pont pédagogique et technique entre la théorie classique des probabilités (variables gaussiennes, polynômes d'Hermite) et la théorie constructive moderne des champs quantiques. Il revendique une importance en :

1. Offrant une introduction autonome à l'expansion du chaos de Wiener et à ses propriétés isométriques, qui sont fondamentales pour le calcul de Malliavin et l'analyse stochastique.
2. Fournissant une dérivation claire, étape par étape, de la procédure de renormalisation pour le modèle $\Phi^4$ à travers les dimensions, mettant en évidence la transition des cas triviaux ($d=1$) vers des cas nécessitant une renormalisation algébrique sophistiquée ($d=3$).
3. Connectant explicitement le théorème des amas liés et la renormalisation BPHZ, montrant comment la structure combinatoire des diagrammes connexes assure l'annulation des divergences dans la fonction de partition.
4. Présentant l'application de Wick comme un outil unificateur qui simplifie la gestion des sous-divergences, remplaçant la soustraction diagrammatique complexe par des opérations algébriques sur les polynômes.

Les notes soulignent que, bien que les développements perturbatifs pour les fonctions de partition soient généralement asymptotiques (non convergents), ils fournissent un cadre rigoureux pour définir le modèle et calculer les grandeurs physiques ordre par ordre. L'ouvrage s'appuie et synthétise des résultats de références standard dans le domaine (par exemple, Nualart, Hairer) pour présenter un récit cohérent sur la construction des champs gaussiens et de leurs interactions non linéaires.