Dualité de Hodge

Un article de Wikipédia, l'encyclopédie libre.

En algèbre linéaire, l'opérateur de Hodge est un opérateur sur l'algèbre extérieure d'un espace vectoriel euclidien orienté. Il est usuellement noté par une étoile qui précède l'élément auquel l'opérateur est appliqué. On parle ainsi d'étoile de Hodge. Si la dimension de l'espace est n, l'opérateur établit une correspondance entre les k-vecteurs et les (n-k)-vecteurs, appelée dualité de Hodge.

En géométrie différentielle, l'opérateur de Hodge peut être étendu aux fibrés vectoriels riemanniens orientés. Appliqué à l'espace cotangent des variétés riemanniennes orientées, l'opérateur de Hodge permet de définir une norme L² sur l'espace des formes différentielles. La codifférentielle se définit alors comme l'adjoint forme de la dérivée extérieure. Cette codifférentielle intervient notamment dans la définition des formes harmoniques.

Sommaire

1 Définition
- 1.1 Opérateur de Hodge sur les k-vecteurs
- 1.2 Dualité
2 Applications
- 2.1 Produit scalaire sur l'algèbre extérieure
- 2.2 Codifférentielle
3 Extension aux espaces quadratiques
4 Références
- 4.1 Ouvrages
- 4.2 Notes et références

[modifier] Définition

[modifier] Opérateur de Hodge sur les k-vecteurs

Soit E espace vectoriel euclidien orienté de dimension finie n. Les sous-espaces $Λ k E$ et $Λ n - k E$ des k-vecteurs et des n-k vecteurs sont de même dimension, à savoir C_n^k. Il est possible de définir un isomorphisme linéaire noté * entre ces deux espaces et appelé opérateur de Hodge.

Pour toute base orthonormale directe $e 1, e 2,..., e n$ ,

$*(e_1\wedge e_2\wedge ... \wedge e_k)= e_{k+1}\wedge e_{k+2}\wedge ... \wedge e_n.$

Il s'étend ensuite par linéarité à toute l'algèbre extérieure. Cette définition est peu satisfaisante puisqu'elle fait intervenir des bases et pose un problème de compatibilité. Elle a néanmoins l'avantage de bien décrire le comportement de l'opérateur de Hodge sous forme de complétion de base orthonormale directe.

Une définition plus convenable consiste à faire intervenir la forme volume ω de l'espace vectoriel euclidien orienté E. Le dual de Hodge s'obtient en effectuant la contraction

$\;*\;X = \langle\omega,X\rangle$

[modifier] Dualité

Pour un k-vecteur $\eta \in \Lambda^k (E)$ de l'espace E de dimension n, appliquer deux fois l'opérateur de Hodge donne l'identité, au signe près

$**\eta=(-1)^{k(n-k)}\;\eta$

[modifier] Applications

[modifier] Produit scalaire sur l'algèbre extérieure

L'opérateur de Hodge permet de définir un produit scalaire sur l'algèbre extérieure par la relation

$\zeta\wedge *\eta = \langle\zeta| \eta \rangle\;*1=\langle\zeta| \eta \rangle\;\overline{\omega}$

Pour ce produit scalaire, les k-vecteurs obtenus par produit extérieur à partir de la base orthnormale de E constituent une base orthonormale de ΛE.

[modifier] Codifférentielle

[modifier] Extension aux espaces quadratiques

Il est possible de définir un opérateur de Hodge pour un espace quadratique. La formule de dualité est alors modifiée pour prendre en compte la signature de la forme quadratique sur E. Précisément, on multiplie le second membre par le discriminant de cette forme quadratique. Ainsi si n=4 et si la signature est (+,−,−,−) ou (−,+,+,+), l'exposant est k(n-k)+1.

[modifier] Références

[modifier] Ouvrages

(en) Jürgen Jost, Riemannian Geometry and Geometric Analysis [détail des éditions]
Sylvestre Gallot, Dominique Hulin, Jacques Lafontaine ; Riemannian Geometry [détail des éditions]
(en) Marcel Berger, A Panoramic View of Riemannian Geometry [détail des éditions]

[modifier] Notes et références

Portail des mathématiques – Accédez aux articles de Wikipédia concernant les mathématiques.

Récupérée de « http://fr.wikipedia.org../../../d/u/a/Dualit%C3%A9_de_Hodge_6c0f.html »

Catégories : Algèbre multilinéaire • Géométrie différentielle • Géométrie riemannienne