Opérateur de Casimir

En mathématiques, et plus spécifiquement en algèbre, l'opérateur de Casimir est un opérateur particulier. Plus précisément, étant donné une algèbre de Lie munie d'une forme bilinéaire non-dégénérée et invariante, et une représentation de dimension finie, l'opérateur de Casimir est une application linéaire continue particulière sur l'espace vectoriel de la représentation. Cet opérateur commute avec la représentation. Pour l'algèbre de Lie et la représentation étudiées, cet opérateur joue le rôle du laplacien.

Il y a un opérateur de Casimir par représentation, mais il n'y a qu'un opérateur de Casimir pour l'algèbre enveloppante de l'algèbre de Lie. Il n'y a pas de procédure générale pour déterminer les opérateurs de Casimir associés à une algèbre de Lie quelconque, comme il n'y a pas de procédure générale pour déterminer toutes ses représentations^[1], toutefois, le théorème de Racah permet d'en déterminer le nombre (fini ou non) et le rang de chacune.

En mathématiques, l'opérateur de Casimir a aidé à déterminer les représentations irréductibles d'une algèbre et d'un groupe de Lie, ainsi que les algèbres et groupes de Lie simples. En physique quantique, l'opérateur de Casimir a aidé à mieux connaitre les opérateurs agissant sur la fonction d'onde, et les invariants associés qui sont des nombres quantiques : la masse, le spin, l'isospin en sont des exemples.

L'opérateur de Casimir doit son nom à Hendrik Casimir, son découvreur pour le groupe de Lorentz au début des années 1930.^[2]

Sommaire

1 Formes bilinéaires non-dégénérées et invariantes
2 Définitions
3 Propriétés
4 Exemples
5 Notes
6 Sources

Formes bilinéaires non-dégénérées et invariantes

Soit $\mathfrak g$ une algèbre de Lie, $\Beta (~,~)$ une forme bilinéaire non-dégénérée invariante associée à l'algèbre. L'invariance de $\Beta (~,~)$ est l'invariance par la représentation adjointe $\ ad_X(Y) = [X,Y]$

$\forall X,Y,Z \in \mathfrak g \, ,$ $\Beta \left( ad_X(Y),Z \right) = - \Beta \left( Y , ad_X(Z) \right)$

ou encore

$\forall X,Y,Z \in \mathfrak g \, ,$ $\Beta \left( \left[ X,Y \right],Z \right) = - \Beta \left( Y ,\left[ X,Z \right] \right)$

Dans le cas d'une algèbre de Lie associée à un groupe de Lie connexe $G$ , on démontre (par différentiation) que cette invariance est équivalente à l'invariance par l'action $\ Ad_g (X) = g.X.g^{-1}$ du groupe sur son algèbre :

$\forall g \in G , \forall Y,Z \in \mathfrak g \, ,$ $\Beta \left( Ad_g(Y),Ad_g(Z) \right) = \Beta \left( Y , Z \right)$

Exemples

Sur une algèbre de Lie semi-simple, une forme utilisable est la forme de Killing.
Sur l'algèbre de Lie associée à un groupe de Lie compact $G$ , il existe une forme bilinéaire non-dégénérée et invariante construite à l'aide de la mesure de Haar $\ \mu$ du groupe : en utilisant un produit scalaire $(~|~)_0$ non-trivial sur $\mathfrak g$ , le produit scalaire suivant convient $\left( X | Y \right) = \int_G \left( g.X.g^{-1} | g.Y.g^{-1} \right)_0 . \mu (dg)$
Sur une sous-algèbre de Lie $\mathfrak g$ de $\mathbb M(n,\R)$ telle que $X \in \mathfrak g \Rightarrow X^T \in \mathfrak g$ , où $\ X^T$ est la matrice adjointe, on peut prendre $B\left( X,Y \right) = tr\left( XY \right)$ .

Définitions

Soit $\ ( \rho , V )$ une représentation de l'algèbre de Lie $\mathfrak g$ : $\rho: {\mathfrak g}\to GL(V)$ .

Première définition : Soit $\ \{ X_i / i = 1,...,n \}$ une base de $\mathfrak g$ , et on note $\ \{ X^i / i = 1,...,n \}$ la base duale : $\ \Beta (X^i,X_j) = \delta_{i,j}$ .

L'opérateur de Casimir est défini par :

$\Omega_{\rho} = \sum_{i=1}^{n} \rho \left( X^i \right) \rho \left( X_i \right)$

Une deuxième définition, qui n'utilise pas explicitement de la base duale tout en l'introduisant sans le dire, est :

en posant $\ g_{ij} = B(X_i,X_j)$ , et $\left( g^{ij} \right) = \left( g_{ij} \right)^{-1}$ la matrice inverse, l'opérateur de Casimir est défini par :

$\Omega_{\rho} = \sum_{i,j=1}^{n} g^{ij}\rho \left( X_i \right) \rho \left( X_j \right)$

Une troisième définition introduit d'abord l'opérateur de Casimir $\ \Omega$ de l'algèbre enveloppante de l'algèbre de Lie, permettant ensuite d'introduire l'opérateur $Ω ρ$ associé à la représentation $\ ( \rho , V )$ .

Dans ce cas, l'opérateur de Casimir est défini par :

$\Omega = \sum_{i=1}^{n} X^i X_i$

et on retrouve l'opérateur associé à la représentation $\ ( \rho , V )$ en prenant $\Omega_{\rho} = \rho \left( \Omega \right)$ .

Propriétés

Indépendance vis-à-vis de la base utilisée : si $\ \{ Y_i / i = 1,...,n \}$ est une autre base de $\mathfrak g$ , alors $\Omega_{\rho} = \sum_{i=1}^{n} \rho \left( X^i \right) \rho \left( X_i \right)= \sum_{i=1}^{n} \rho \left( Y^i \right) \rho \left( Y_i \right)$ , ce que l'on montre en utilisant la matrice de changement de base.
Commutation avec la représentation : on sait que par définition $\rho : \mathfrak g \to L_{\mathbb C}(V)$ est un morphisme d'algèbre de Lie, et que $\Omega_{\rho} = \sum_{i=1}^{n} \rho \left( X^i \right) \rho \left( X_i \right) \in L_{\mathbb C}(V)$ . Quelques calculs algébriques montrent que $\forall X \in \mathfrak g \, ,$ $\left[ \Omega_{\rho} , \rho (X) \right] = 0$
Si $\ ( \rho , V )$ est une représentation $\C$ -linéaire et irréductible de $\mathfrak g$ , alors le lemme de Schur permet de conclure qu'il existe $\kappa_{\rho} \in \C$ tel que $\ \Omega_{\rho} = - \kappa_{\rho} .Id$ . Ce nombre $\ \kappa_{\rho}$ est, en physique, le nombre quantique associé à l'opérateur de Casimir agissant sur la fonction d'onde.

Exemples

Les opérateurs de Casimir du groupe de Lorentz permettent de dégager deux nombres quantiques : la masse et le spin. Il y a une infinité de valeurs pour le spin, et chacune vient d'une représentation irréductible.
L'algèbre de Lie $\mathfrak{su} (3)$ , algèbre du groupe $\ SU(3)$ , permet de dégager les nombres quantiques isospin, étrangeté et charge électrique.

Notes

↑ On connait toutefois toutes les représentations de $\mathfrak{su} (n,\C)$
↑ Roger Godement, Introduction à la théorie des groupes de Lie, Springer, 2004, ISBN 3-540-20034-7, p 239-240.

Sources

Jacques Faraut, Analyse sur les groupes de Lie : une introduction, éditions Calvage & Mounet, 2006, ISBN 2-916352-00-7.
Yvette Kosmann-Schwarzbach, Groupes et symétrie : groupes finis, groupes et algèbres de Lie, représentations, éditions "Les éditeurs de l'école polytechnique", 2005, ISBN 2-7302-1257-4.
L Marleau, Introduction à la physique des particules, cours en ligne de l'université de Laval.

Portail des mathématiques

Catégorie :

Algèbre de Lie

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Opérateur de Casimir de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

opérateur de Casimir — Kazimiro operatorius statusas T sritis fizika atitikmenys: angl. Casimir operator vok. Casimir Operator, m rus. оператор Казимира, m pranc. opérateur de Casimir, m … Fizikos terminų žodynas
Casimir — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Saints Saint Casimir (1458 1484), saint polonais. Dynastes Casimir Ier de Pologne (1015 1058), roi de Pologne ; Casimir II de Pologne (1138 1194),… … Wikipédia en Français
Opérateur linéaire — En mathématiques, un opérateur linéaire (ou plus simplement un opérateur) est une fonction entre deux espaces vectoriels qui est linéaire sur son domaine de définition. Cette notion est particlièrement utile en analyse vectorielle et en analyse… … Wikipédia en Français
Casimir operator — Kazimiro operatorius statusas T sritis fizika atitikmenys: angl. Casimir operator vok. Casimir Operator, m rus. оператор Казимира, m pranc. opérateur de Casimir, m … Fizikos terminų žodynas
Casimir-Operator — Kazimiro operatorius statusas T sritis fizika atitikmenys: angl. Casimir operator vok. Casimir Operator, m rus. оператор Казимира, m pranc. opérateur de Casimir, m … Fizikos terminų žodynas
Casimir (Film) — Pour les articles homonymes, voir Casimir. Casimir est un film français réalisé par Richard Pottier en 1950 Sommaire 1 Résumé 2 Fiche technique … Wikipédia en Français
Casimir (film) — Pour les articles homonymes, voir Casimir. Casimir est un film français réalisé par Richard Pottier en 1950 Sommaire 1 Résumé 2 Fiche technique … Wikipédia en Français
Invariant De Runge Lenz — Vecteur de Runge Lenz Dans cet article les vecteurs et leurs normes sont indiqués respectivement en gras et italique. Par exemple : . En mécanique classique, le vecteur de Runge Lenz ou invariant de Runge Lenz est un vecteur utilisé… … Wikipédia en Français
Invariant de Runge Lenz — Vecteur de Runge Lenz Dans cet article les vecteurs et leurs normes sont indiqués respectivement en gras et italique. Par exemple : . En mécanique classique, le vecteur de Runge Lenz ou invariant de Runge Lenz est un vecteur utilisé… … Wikipédia en Français
Invariant de runge lenz — Vecteur de Runge Lenz Dans cet article les vecteurs et leurs normes sont indiqués respectivement en gras et italique. Par exemple : . En mécanique classique, le vecteur de Runge Lenz ou invariant de Runge Lenz est un vecteur utilisé… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Opérateur de Casimir

Sommaire

Formes bilinéaires non-dégénérées et invariantes

Définitions

Propriétés

Exemples

Notes

Sources

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Opérateur de Casimir

Sommaire

Formes bilinéaires non-dégénérées et invariantes

Définitions

Propriétés

Exemples

Notes

Sources

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link