Spin 1/2 sous rotation

[Thwarn]

Bonjour,

dans ma bataille pour comprendre le comportement d'un spin, je voudrais juste que quelqu'un me confirme un truc :
Je prends une fonction d'onde d'un electron dans deux espaces : spatial et spin. Je peux donc l'ecrire avec la composante spin up et spin down. Jusque la, tout est bon?
Sous une rotation R d'angle selon un axe ( on notera ), mon nouvel etat s'ecrit :

car est un scalaire, non?
Si cela est bon, je vais pouvoir essayer de m'attaquer au cas ou phi est pas un scalaire...

Merci,

[Deedee81]

Bonjour,

Ta représentation est correcte mais pas générale (tu pourrais avoir variation des composantes de spin avec la position). Mais je suppose que tu le sais ?

car est un scalaire, non?

en attendant une confirmation de quelqu'un plus calé, oui. Au moins pour les spineurs écris sous cette forme.

[Thwarn]

Ta représentation est correcte mais pas générale (tu pourrais avoir variation des composantes de spin avec la position). Mais je suppose que tu le sais ?

tu veux dire de la forme ?
Qui a priori se transformerait comme : . J'ai toujours bon?

[Deedee81]

Dans ce cas plus générale le phi devient inutile.

J'ai toujours bon?

Oui.

[Thwarn]

Dans ce cas plus générale le phi devient inutile.

Pas faux

Merci!

[mariposa]

Bonjour,

dans ma bataille pour comprendre le comportement d'un spin, je voudrais juste que quelqu'un me confirme un truc :
Je prends une fonction d'onde d'un electron dans deux espaces : spatial et spin. Je peux donc l'ecrire avec la composante spin up et spin down. Jusque la, tout est bon?
Sous une rotation R d'angle selon un axe ( on notera ), mon nouvel etat s'ecrit :

.
Bonjour,

OK, ici.

car est un scalaire, non?

.
Ton expression est juste mais n'implique en aucune façon que Fi soit un scalaire de O(3). c'est à toi de préciser comment se transforme Fi dans une rotation. C'est seulement un scalaire si Fi(r) = Fi(r').
.
En toute généralité ton expression de Fi peut se décomposer sur les composantes des representations irréductibles du groupe O(3) de la même façon qu'une fonction peut se décomposer en composantes de Fourier ce qui en termes de groupes signifie une décomposition sur les representations irréductibles du groupe de translation T(3).

[Deedee81]

Ton expression est juste mais n'implique en aucune façon que Fi soit un scalaire de O(3).

Ah ! Je crois alors que j'ai compris ce que thwarn voulait dire par "autre chose qu'un scalaire". J'ai failli poser la question

Merci de ton coup de pouce,

[Thwarn]

.
Ton expression est juste mais n'implique en aucune façon que Fi soit un scalaire de O(3). c'est à toi de préciser comment se transforme Fi dans une rotation. C'est seulement un scalaire si Fi(r) = Fi(r').

Je ne comprends pas trop ce que tu veux dire... j'essaie de reformuler et tu me dis si j'ai compris : en posant je n'ai en fait pas utiliser le fait que soit un scalaire, j'ai juste donne la facon generale de se transformer. Ca aurait ete le cas si j'avais ecrit .

.
En toute généralité ton expression de Fi peut se décomposer sur les composantes des representations irréductibles du groupe O(3) de la même façon qu'une fonction peut se décomposer en composantes de Fourier ce qui en termes de groupes signifie une décomposition sur les representations irréductibles du groupe de translation T(3).

Et si j'avais ecrit et
dans ce cas est un vecteur.

[Deedee81]

Non, non, faut bien le R^-1 !
(je n'avais pas vu mais Fi(r)=Fi(r') est évidemment abusif, faut le R^-1)

dans ce cas est un vecteur.

En fait, mariposa ne disait pas autre chose (en ajoutant le R^-1 quand même). Le fait que phi lui-même se transforme ou pas avec R implique qu'il est scalaire ou vectoriel, c'est tout (et le fait que l'on utilise un vecteur ou un scalaire doit forcément venir du contexte, ce n'est pas en regardant l'expression de départ qu'on peut deviner )

Tu peux même laisser le R pour un scalaire, il est invariant sous R

[Thwarn]

Tu peux même laisser le R pour un scalaire, il est invariant sous R

Ne faudrait-il pas plutot dire que dans le cas ou Phi est scalaire, la representation de R D(R) vaut 1 et que dans le cas ou phi est un vecteur D(R)=R?
Je sais que je pinaille, mais comme je suis en plein travail de comprehension de ce genre de truc (cf le topic sur Weinberg), je prefere etre precis pour voir si je pige tous les details.

[Deedee81]

Salut,

Ne faudrait-il pas plutot dire que dans le cas ou Phi est scalaire, la representation de R D(R) vaut 1 et que dans le cas ou phi est un vecteur D(R)=R?
Je sais que je pinaille,

Ce n'est pas du pinaillage Tu as raison, c'est plus précis.

mais comme je suis en plein travail de comprehension de ce genre de truc (cf le topic sur Weinberg), je prefere etre precis pour voir si je pige tous les details.

Je m'en doute. Quand j'ai abordé la problématique des champs en interaction, je suis resté coincé sur quelques pages pendant plusieurs jours car je n'arrivais pas à mettre ensemble (dans ma tête) toutes les notations que je venais d'avaler. Donc, tes précautions sont de bon aloi

[gatsu]

.
Ton expression est juste mais n'implique en aucune façon que Fi soit un scalaire de O(3). c'est à toi de préciser comment se transforme Fi dans une rotation. C'est seulement un scalaire si Fi(r) = Fi(r').
.
En toute généralité ton expression de Fi peut se décomposer sur les composantes des representations irréductibles du groupe O(3) de la même façon qu'une fonction peut se décomposer en composantes de Fourier ce qui en termes de groupes signifie une décomposition sur les representations irréductibles du groupe de translation T(3).

En parlant de scalaire, on avait déjà eu une petite discussion avec Karibou-Blanc sur un sujet similaire ici.
Comme ce fil n'a plus été touché depuis quelques temps je suis resté sur ma fin sur la question de la "bonne" terminologie à adopter .

[mariposa]

Ne faudrait-il pas plutot dire que dans le cas ou Phi est scalaire, la representation de R D(R) vaut 1

.
Bonjour,
.
Oui.

et que dans le cas ou phi est un vecteur D(R)=R?

.
Quand tu écris D(R) = R le vecteur en question est aussi bien un vecteur de R3 de composantes (x,y,z) qu'une classe de vecteurs de l'espace de Hilbert (dans le contexte de la MQ) qui engendre la matrice D(R) de dimension 3. Pour la bonne compréhension comme il s'agit de la representation irréductible L=1 de O(3) il serait bon de noter cette matrice:

D1(R) = R

En effet comme tu le sais il existe des representations de dimensions supérieures L= 0, 1, 2, 3,...
;
tu remarqueras que D0(R) = 1

Je sais que je pinaille, mais comme je suis en plein travail de comprehension de ce genre de truc (cf le topic sur Weinberg), je prefere etre precis pour voir si je pige tous les details.

;
.
Tu as raison, le "pinaillage" est fortement recommandé pour comprendre la théorie des groupes.

[Thwarn]

.
Quand tu écris D(R) = R le vecteur en question est aussi bien un vecteur de R3 de composantes (x,y,z) qu'une classe de vecteurs de l'espace de Hilbert (dans le contexte de la MQ) qui engendre la matrice D(R) de dimension 3. Pour la bonne compréhension comme il s'agit de la representation irréductible L=1 de O(3) il serait bon de noter cette matrice:

D1(R) = R

En effet comme tu le sais il existe des représentations de dimensions supérieures L= 0, 1, 2, 3,...

Ma compréhension des groupe de Lie s'arrete pour l'instant par là... car d'apres ce que j'ai pigé, avec J les générateur des rotations .
Et , L étant les matrices moment cinétique pour un spin 1. Qui ne sont pas les même que les matrice J, et c'est ici que la connections ne se fait pas encore.

[Karibou Blanc]

il faut que tu comprennes d'abord ce qu'est une représentation. La définition usuelle est qu'une représentation est une réalisation sur un espace vectoriel de l'action du groupe. En d'autres termes c'est une application (le terme anglais de mapping est plus parlant) du groupe sur un espace vectoriel. Les générateurs du groupe sont alors représentés (dans une représentation donnée) par un ensemble de matrices dont les produits matriciels (qui représentent les produits des éléments du groupe) respectent la structure du groupe. Comme il est possible de "mapper" l'action du groupe sur différents espace-vectoriels (de dimensions différentes notamment), il existe plusieurs représentations différentes du meme groupe. Pour chaque représentation, les générateurs auront des représentants (des matrices) différentes !