CALCUL SPINORIEL

Embed Size (px)

Citation preview

  • 7/26/2019 CALCUL SPINORIEL

    1/8

    C LCUL SPINORIEL

    COURS SUR LE CALCUL SPINORIEL

    1. Spineur unitaire

    2. Proprits gomtriques

    2.1. Symtries planes

    2.2. Rotations

    2.3. Proprits des matrices de Pauli

    Comme nous le verrons en premier en physique quantique relativiste, les spineursjouent un rle majeur dans la thorique quantique et en consquence dans toute la

    physique contemporaine (thorique quantique des champs, modle standard, thorie des

    cordes,...).

    Ce fut partir de 1927 que les physiciens Pauli, puis Dirac introduisirent les spineurs pour

    la reprsentation des fonctions d'onde (cf. chapitre de Physique Quantique Relativiste).

    Cependant, sous leur forme mathmatique, les spineurs avaient t dcouverts par lie

    Cartan ds 1913 lors de ses recherches sur les reprsentations des groupes en faisant suite

    la thorie gnrale des espaces de Clifford (introduits par le mathmaticien W.K. Clifford

    en 1876). Il montra, comme nous le verrons, que les spineurs fournissent au fait une

    reprsentation linaire du groupe des rotations d'un espace un nombre quelconque de

    dimensions. Ainsi, les spineurs sont donc troitement lis la gomtrie mais leur

    prsentation est souvent faite de manire abstraite sans signification gomtrique intuitive.

    Ainsi, nous allons nous efforcer (comme toujours sur ce site) dans ce chapitre d'introduire

    de la manire la plus simple et intuitive possible les thories des spineurs.

    Le formalisme spinoriel n'intresse pas seulement la physique quantique et ses travaux,

    entre autres, de Roger Penrose ont montr que la thorie spinorielle tait une approche

    extrmement fconde de la thorie de la relativit gnrale. Bien que le plus couramment

    utilise pour le traitement de la relativit gnrale soit le calcul tensoriel, Penrose a montr

    que dans le cas spcifique de l'espace quatre dimensions et la mtrique de Lorentz, le

    formalisme des spineurs deux composantes est plus appropri.

    La thorie des spineurs ou "gomtrie spinorielle" est extrmement vaste mais ce site ayant

    plus pour objectif de s'adresser aux physiciens, nous nous limiterons aux spineurs utiles enphysique quantique ainsi que leurs proprits y relatives.

    http://mathematique.coursgratuits.net/calcul-spinoriel/index.phphttp://mathematique.coursgratuits.net/calcul-spinoriel/index.phphttp://mathematique.coursgratuits.net/calcul-spinoriel/proprietes-geometriques.phphttp://mathematique.coursgratuits.net/calcul-spinoriel/proprietes-geometriques.phphttp://mathematique.coursgratuits.net/calcul-spinoriel/proprietes-geometriques.phphttp://mathematique.coursgratuits.net/calcul-spinoriel/index.php
  • 7/26/2019 CALCUL SPINORIEL

    2/8

    Remarque:Nous conseillons vivement au lecteur d'avoir lu au pralable le sous-chapitre

    sur les quaternions (cf. chapitre Nombres), le sous-chapitre sur les rotations dans

    l'espace (cf. chapitre Gomtrie Euclidienne) et enfin, si possible pour avoir un exemple

    pratique physique, le chapitre de physique quantique relativiste.

    SPINEUR UNIT IRE

    Nous allons donner ici une premire dfinition (ou exemple) particulire simplifie des

    spineurs. Ainsi, nous allons montrer qu'il est possible partir d'un tel outil de reprsenter

    un vecteur d'un espace trois composantes l'aide d'un spineur deux composantes.

    La mthode est extrmement simple et celui qui a dj lu la partie du chapitre de PhysiqueQuantique Ondulatoire traitant de l'quation de Dirac ainsi que le chapitre d'Informatique

    Quantique y verra une analogie assez grandiose.

    Considrons pour commencer la sphre suivante d'quation (cf. chapitre de Gomtrique

    Analytique)

    (15.1)

    Et considrons le schma suivant:

    (15.2)

    Considrons-y les coordonnes (x, y, z) d'un point Pde la sphre centre en Oet de rayon

    unit et notons Net Sles points d'intersection de l'axe Ozavec la sphre.

    Le point Saura par convention pour coordonnes:

    (15.3)

    Nous obtenons une projection dite "projection strographique" P' du point Pen traant la

    droite SPqui traverse un plan quatorial xOy complexe au point P' de coordonnes(x', y', z').

  • 7/26/2019 CALCUL SPINORIEL

    3/8

    Les triangles semblables SP'Oet SPQ(avec Qtant la projection orthogonale sur l'axe Ozdu

    point P) nous donnent les relations suivantes en appliquant simplement le thorme de

    Thals:

    (15.4)Remarque:Les deux dernires relations s'obtiennent par application du thorme de

    Thals (cf. chapitre de Gomtrie) dans le plan quatorial complexe.

    Posons maintenant:

    (15.5)

    Il vient, compte tenu de la relation prcdente que :

    (15.6)

    en prenant le module au carr (voir l'tude des nombres complexes dans le chapitres des

    Nombres) :

    (15.7)

    et comme de l'quation de la sphre il dcoule:

    (15.8)

    nous avons finalement :

    (15.9)

    Mettons maintenant le nombre complexe sous la forme o sont deux

    nombres complexes auxquels nous pouvons toujours imposer de vrifier la condition

    d'unitarit (rien ne nous l'interdit mais en physique cela nous arrange bien):

    (15.10)Remarque:Les nombres complexes suivants satisfont donc la relation prcdente :

    (15.11)

    Rappelons avant de continuer que nous avons dmontr lors de notre tude des nombres

    complexes que :

  • 7/26/2019 CALCUL SPINORIEL

    4/8

    (15.12)

    Ds lors il vient en injectant ces deux dernires relations dans l'quation dtermine plus

    haut:

    (15.13)

    d'o finalement la coordonne verticale du point P:

    (15.14)

    Comme nous avons :

    (15.15)

    alors :

    (15.16)

    tenant compte des derniers dveloppements nous avons finalement :

    (15.17)

    Ainsi, tout point Psitu sur la sphre de rayon unit, nous pouvons faire correspondre un

    couple de nombre complexes vrifiant la relation d'unitarit impose.

    Soit sous forme complte et explicite nous avons finalement:

  • 7/26/2019 CALCUL SPINORIEL

    5/8

    (15.1

    8)

    Cette dernire relation nous indique donc que est l'angle entre Ozet (puisque

    l'hypotnuse de l'angle du vecteur une norme unitaire) et donc par

    dduction reprsente l'angle entre Oxet le plan (Oz,OP):

  • 7/26/2019 CALCUL SPINORIEL

    6/8

    (15.19)

    Le couple de nombres complexes de la relation antprcdente constitue par dfinition un

    "spineur unitaire". Ainsi, comme nous l'avons vu, un spineur unitaire peut se mettre sous la

    forme :

    (15.20)

    de mme un spineur quelconque peut se mettre sous la forme un peu plus gnrale:

    (15.21)

    Le spin ainsi mesur l'est essentiellement partir d'un axe orient OZcomme nous venons

    de le voir avec la figure prcdente.

    La projection strographique conduit donc reprsenter certains vecteurs de l'espace

    euclidien avec des lments d'un espace vectoriel complexe de dimension deux qui est

    l'espace des spineurs.

    Remarque:Cette reprsentation n'est pas unique car les arguments de nombres

    complexes sont (sous forme trigonomtrique) dtermins qu' une constante prs.

    Le lecteur qui aura dj tudi un peu la physique quantique ondulatoire (voir chapitre du

    mme nom) aura certainement remarqu l'trange similarit non innocente de la condition

    et des relations :

    (15.22)

  • 7/26/2019 CALCUL SPINORIEL

    7/8

    par rapport la condition de normalisation de Broglie (l'intgrale sur tout l'espace de la

    somme des produits des fonctions d'ondes complexes conjugues sont gales l'unit) et

    des dveloppements dterminant l'quation de continuit en physique quantique

    ondulatoire.

    Voyons maintenant pour les besoins ultrieurs, que nous pouvons trouver deux nouveaux

    vecteurs de l'espace euclidien , associs un spineur unitaire dtermin

    sur la sphre unit. Ces vecteurs seront cherchs orthogonaux entre eux et de norme unit,

    chacun tant orthogonal au vecteur .

    Notons et , les composantes respectives des

    vecteurs sont bien sr lies par le produit vectoriel :

    (15.23)

    d'o tenant compte de l'expression des composantes en fonction de celles du spineur

    associ, ainsi que du fait , nous obtenons :

    (15.24)

    Ecrivant l'orthogonalit des vecteurs entre eux nous obtenons bien videmment six

    quations supplmentaires. Cependant l'orientation des vecteurs n'tant pas fixe, il

    existe une certaine indtermine sur les valeurs de leurs composantes. Choisissons des

    valeurs telles que :

    (15.25)

    Prenant les quantits complexes conjugues des relations prcdentes, nous obtenons par

    addition les composantes de :

    (15.26)

    Par soustraction, nous obtenons de mme les composantes du vecteur :

    (15.27)

  • 7/26/2019 CALCUL SPINORIEL

    8/8

    Nous vrifions aisment que ces valeurs redonnent bien les relations du produit vectoriel. A

    tout spineur unitaire nous pouvons donc associer trois vecteurs . Nous

    pouvons vrifier directement que les vecteurs ainsi calculs sont bien orthogonaux entre

    eux et de norme unit.