Dualite de Pontryagin

Dualité de Pontryagin

En mathématiques, notamment en analyse harmonique et dans la théorie des groupes topologiques, la dualité de Pontryagin explique les principales propriétés de la transformée de Fourier. Elle place dans un cadre plus général certaines observations à propos de fonction définies sur $\mathbb{R}$ ou sur un groupe abélien fini:

• Les fonctions périodiques à valeur complexe suffisamment régulières ont une série de Fourier et on peut les déduire de cette série;
• Les fonctions à valeur complexe suffisamment régulières ont une transformée de Fourier et, tout comme les fonctions périodiques, on peut les déduire de cette transformée;
• Les fonctions à valeur complexe sur un groupe abélien fini ont une transformée de Fourier discrète définie sur le groupe dual, qui n'est pas canoniquement isomorphe au groupe de départ. De plus, toute fonction sur un groupe fini peut être déduite de sa transformée de Fourier discrète.

La théorie, introduite par Lev Semenovich Pontryagin et combinée avec la mesure de Haar introduite par John von Neumann, André Weil et d'autres dépend de la théorie du groupe dual d'un groupe abélien localement compact.

Mesure de Haar

Un groupe topologique G est localement compact si et seulement si l'élément neutre e du groupe admet un voisinage compact, ce qui équivaut encore à ce que e possède une base de voisinages compacts. Un des faits les plus remarquables à propos des groupes localement compacts est qu'ils peuvent être munis d'une mesure naturelle, unique à un facteur multiplicatif près: la mesure de Haar, qui permet de mesurer la "taille" d'un sous-ensemble suffisamment régulier de G. Ici, "suffisamment régulier" signifie être un borélien, c'est à dire un élément de la σ-algebre générée par les ensembles compacts. Plus précisément, une mesure de Haar à droite sur un groupe localement compact G est une mesure μ définie sur les boréliens de G, qui est invariante par translation à droite dans le sens où μ(Ax) = μ(A) si A est un borélien et x un élément de G.

La mesure de Haar nous permet de définir la notion d'intégrale pour une fonction mesurable à valeur complexe définie sur le groupe. En particulier, on peut considérer les espaces L^p associés à la mesure de Haar. Plus précisément :

$L^p_\mu(G) = \left\{f: G \rightarrow \mathbb{C}: \int_G |f(x)|^p\, d \mu(x) < \infty \right\}$

Divers exemples de groupes abéliens localement compact sont donnés par:

• $\mathbb{R}^n$ avec l'addition comme opération de groupe.
• Les réels strictement positifs munis de la multiplication. Ce groupe est clairement isomorphe à R, cet isomorphisme étant la fonction exponentielle.
• N'importe quel groupe abélien fini, muni de la topologie discrète. Par le théorème sur la structure de ces groupes, ce sont des produits de groupes cycliques.
• Le groupe des entiers $(\mathbb{Z},+)$ muni aussi de la topologie discrète
• Le cercle unité $\mathbb{U}$ de $\mathbb{C}$ (ie le groupe des complexes de module 1). $\mathbb{U}$ est isomorphe en tant que groupe topologique au groupe quotient $\mathbb{R}/\mathbb{Z}$.
• Le corps $\mathbb{Q}_p$ des nombres p-adiques muni de l'addition, avec la topologie p-adique usuelle.

Le groupe dual

Si G est un groupe abélien localement compact, un caractère de G est un morphisme de groupe continu de G dans $\mathbb{U}$. On peut montrer que l'ensemble des caractères de G est lui-même un groupe abélien localement compact, appelé le groupe dual de G, et noté $\hat{G}$. Le produit sur $\hat{G}$ est le produit de deux caractères en tant que fonction à valeur complexe, et l'inverse d'un caractère est son conjugué complexe. La topologie est celle de la convergence uniforme sur des compact. Elle n'est pas métrisable en général. Cependant, si le groupe G est de plus séparable, alors la topologie définie sur $\hat{G}$ est métrisable.

Théorème: $\widehat{\hat{G}}$ est canoniquement isomorphe à G, autrement dit G est canoniquement isomorphe au dual de son dual.

Canonique signifie qu'il y a une application "naturelle" de G dans $\widehat{\hat{G}}$. Ce terme apporte une nuance importante: par exemple, n'importe quel groupe abélien fini est isomorphe à son dual, mais l'isomorphisme n'est pas canonique. L'isomorphisme canonique est défini ainsi:

$x \mapsto (\chi \mapsto \chi(x) )$

Autrement dit, chaque élément x de G est identifié à son évaluation par les caractères du dual.

Exemples

Un caractère du groupe cyclique infini des entiers $(\mathbb{Z},+)$ est déterminé par sa valeur en 1, générateur de $\mathbb{Z}$. En effet pour tout caractère χ de $\mathbb{Z}$, on a χ(n) = χ(1)ⁿ car χ est un morphisme de groupes, et cette formule montre que l'on définit de manière unique un caractère par sa valeur en 1. Ainsi le dual de $\mathbb{Z}$ est algébriquement isomorphe au cercle unité $\mathbb{U}$. La topologie de convergence sur les compacts est alors la topologie de la convergence simple. On montre aisément que c'est la topologie induite par le plan complexe.

Le groupe dual de $\mathbb{Z}$ est donc canoniquement isomorphe à $\mathbb{U}$.

Réciproquement, un caractère de $\mathbb{U}$ est de la forme $z\mapsto z^n$, n entier. Comme $\mathbb{U}$ est compact, la topologie sur le groupe dual est celle de la convergence uniforme, qui est ici la topologie discrète. Ainsi le dual de $\mathbb{U}$ est canoniquement isomorphe à $\mathbb{Z}$.

Le groupe des réels est isomorphe à son dual, les caractères de $\mathbb{R}$ étant de la forme $x\mapsto e^{ix\theta}$, $\theta\in\mathbb{R}$. Avec ces dualités, la nouvelle version de la transformée de Fourier présentée ci-après coïncide avec la transformée de Fourier classique sur $\mathbb{R}$.

Transformée de Fourier

Le groupe dual d'un goupe abélien localement compact sert comme espace de base d'une version plus abstraite de la transformée de Fourier. Si $f\in L^1(G)$, alors sa transformée de Fourier est la fonction définie sur $\hat{G}$ par:

$\widehat f(\chi) = \int_G f(x) \overline{\chi(x)}\;d\mu(x)$

où l'intégrale est prise par rapport à la mesure de Haar μ sur G. Il n'est pas trop difficile de montrer que la transformée de Fourier d'une fonction L¹ sur G est une fonction continue bornée sur $\hat{G}$. De même, la transformée de Fourier inverse d'une fonction intégrable sur $\hat{G}$ est donnée par

$\check{g} (x) = \int_{\widehat{G}} g(\chi) \chi(x)\;d\nu(\chi)$

où l'intégrale est relative à la mesure de Haar ν sur le groupe dual $\hat{G}$.

Algèbre de groupe

L'espace des fonctions intégrables sur un groupe abélien localement compact G est une algèbre, où la multiplication est le produit de convolution: si f et g sont des fonctions intégrables alors leur produit de convolution est défini par

$[f \star g](x) = \int_G f(x - y) g(y)\, d \mu(y).$

Théorème L'espace de BanachL¹(G) est une algèbre associative et commutative muni de la convolution.

Cette algèbre est appelée l'algèbre du groupe G. Comme L¹(G) est complet, c'est une algèbre de Banach. Elle ne possède pas d'élément neutre pour la multiplication, à moins que G soit un groupe discret.

Cette algèbre a cependant, en général, une approximation de l'unité {e_i}_i qui est un réseau (ou une suite généralisée) indexée par un ensemble inductif I, satisfaisant la propriété suivante

$f \star e_i \rightarrow f.$

La transformée de Fourier transforme la convolution en multiplication, c'est à dire:

$\mathcal{F}( f \star g)(\chi) = \mathcal{F}(f)(\chi) \cdot \mathcal{F}(g)(\chi).$

En particulier, à chaque caractère de G correspond un unique fonctionnelle multiplicative linéaire de l'algèbre du groupe définie par

$f \mapsto \widehat{f}(\chi).$

Ce fait constitue une propriété importante des algèbre de groupes : en effet on peut alors expliciter les fonctionnelles multiplicatives linéaires non nulles de l'algèbre du groupe.

Théorèmes d'inversion de Plancherel et Fourier

Comme énoncé ci-dessus, le groupe dual d'un groupe abélien localement compact est lui aussi un groupe abélien localement compact et par suite possède une mesure de Haar ν, ou plus précisément une famille de mesures de Haar cν déterminées à une facteur multiplicatif positif près c.

Théorème: il existe un multiple positif de la mesure de Haar sur le groupe dual G^ de G telle que la restriction de la transformée de Fourier aux fonctions continues à support compact de G soit une isométrie linéaire. Elle s'étend de façon unique à un opérateur linéaire

$\mathcal{F}: L^2_\mu(G) \rightarrow L^2_\nu(\widehat{G})$

où ν est la mesure de Haar sur le groupe dual.

Pour un groupe localement compact non compact, l'espace L1(G) ne contient pas L2(G), et il est nécessaire d'utiliser une astuce technique comme la restriction à un sous-espace dense.

En suivant Loomis (référence ci-dessous), on dit que les mesures de Haar sur G et G^ sont associées si la formule d'inversion de Fourier est satisfaite. Le caractère unitaire de la transformée de Fourier entraîne la formule de Plancherel :

$\int_G |f(x)|^2 \ d \mu(x) = \int_{\widehat{G}} |\widehat{f}(\chi)|^2 \ d \nu(\chi)$

pour toute fonction continue sur G à valeur complexe et support compact.

C'est cette extension unitaire de la transformée de Fourier que l'on considère comme étant la transformée de Fourier sur l'espace des fonctions de carré intégrable. Le groupe dual possède aussi sa transformée de Fourier inverse ; c'est l'inverse (ou adjoint, puisque nous sommes dans le cas unitaire) de la transformée de Fourier, comme cela est énoncé par le résultat suivant.

Théorème. L'adjoint de la transformée de Fourier restreinte au sous-espace des fonctions continues à support compact sur G est la transformée de Fourier inverse

$L^2_\nu(\widehat{G}) \rightarrow L^2_\mu(G)$

où les mesures de Haar de G et G^sont associées.

Dans le cas où G = Rn, nous avons G^ = Rn est l'on retrouve la transformée de Fourier usuelle de Rn en prenant

$\mu = (2 \pi)^{-n/2} \times \mbox{mesure de Lebesgue}$

$\nu = (2 \pi)^{-n/2} \times \mbox{mesure de Lebesgue}$

Dans le cas où G est le groupe $\mathbb{U}$ des nombres complexes unitaires, G^ est naturellement isomorphe au groupe des entiers $\mathbb{Z}$ et l'opérateur F n'est autre que l'opérateur d'extraction des coefficients de la série de Fourier des fonctions périodiques.

Si G est un groupe fini, F n'est autre que la transformée de Fourier discrète.

Compactification de Bohr et quasi périodicité

Cette section est vide, pas assez détaillée ou incomplète. Votre aide est la bienvenue !

La dualité de Pontryagin dans le cadre de la théorie des catégories

Il peut être utile de considérer le groupe dual fonctoriellement. Dans ce qui suit, GALC désigne la catégorie des groupes abéliens localement compacts et des homomorphismes de groupes continus. La construction du groupe dual G^{^} est un foncteur contravariant GALC → GALC. En particulier, le foncteur itéré G → (G^{^})^{^} est covariant.

Théorème. Le foncteur de dualié est un isomorphisme de catégories de la catégorie GALC vers sa catégorie opposée GALC^op.

Théorème. Le foncteur dual itéré est naturellement isomorphe au foncteur identité de GALC.

Cet isomorphisme peut se comparer à la construction du bidual d'un espace vectoriel de dimension finie.

Cette dualité échange les sous-catégories des groupes discrets et des groupes compacts. Si A est un anneau et G est un A-module à gauche, le groupe dual G^ devient un A-module à droite; de cette façon les A-modules à gauche discrets sont duaux au sens de Pontryagin des A-modules à droite compacts. L'anneau End(G) des endomorphismes dans GALC est par dualité envoyé sur son anneau anneau opposé. Si G est par exemple un groupe cyclique discret infini (isomorphe à $\mathbb{Z}$), G^ est un groupe circulaire (isomorphe au groupe $\mathbb{U}$). L'anneau des endomorphismes du premier est $\mathbb{Z}$, il en est donc de même du second.

Théorie non commutative

Cette section est vide, pas assez détaillée ou incomplète. Votre aide est la bienvenue !

Histoire

Cette section est vide, pas assez détaillée ou incomplète. Votre aide est la bienvenue !

Bibliographie

Les ouvrages suivants (disponibles dans la plupart des bibliothèques universitaires) possèdent des chapitres consacrés aux groupes abéliens localement compacts, la dualité et la transformée de Fourier. L'ouvrage de J. Dixmier possède aussi du matériel spécifique à l'analyse harmonique non commutative.

• Jacques Dixmier, Les C*-algèbres et leurs Représentations, Gauthier-Villars,1969.
• Lynn H. Loomis, An Introduction to Abstract Harmonic Analysis, D. van Nostrand Co, 1953
• Walter Rudin, Fourier Analysis on Groups, 1962
• Hans Reiter, Classical Harmonic Analysis and Locally Compact Groups, 1968 (2nd ed produced by Jan D. Stegeman, 2000).
• Hewitt and Ross, Abstract Harmonic Analysis, vol 1, 1963.

Ce document provient de « Dualit%C3%A9 de Pontryagin ».