Les magnons sont des modes d'excitation ou ondes de spin. Dans un milieu ferromagnétique isotrope en dessous de la température de Curie, ou dans un milieu antiferromagnétique en dessous de la température de Néel, les moments magnétiques des atomes sont alignés. On dit qu'il y a brisure spontanée de la symétrie de rotation. Le théorème de Goldstone implique la présence de modes d'excitation de basse énergie, les magnons. Dans le cas ferromagnétique, on peut les visualiser comme une rotation périodique des moments magnétiques autour de la direction moyenne de l'aimantation. Ces magnons se comportent à basse température comme des bosons de spin 1 et suivent la statistique de Bose-Einstein.
Pour les magnons ferromagnétiques, la relation de dispersion pour est , et pour les magnons antiferromagnétiques . La présence des magnons entraine des corrections de la chaleur spécifique et une réduction de l'aimantation. Dans le cas ferromagnétique, la correction à la chaleur spécifique provenant des magnons est :
et l'aimantation par spin varie à basse température comme :
Où S est le spin des ions ferromagnétiques, J est la constante d'échange, et γ est un nombre sans dimension. On note qu'à T=0, l'aimantation M(0) est exactement S. C'est une conséquence du fait que l'état ferromagnétique est l'état fondamental exact du modèle de Heisenberg ferromagnétique.
Dans le cas antiferromagnétique, la correction à la chaleur spécifique est donnée par
La différence de comportement en fonction de la température vient évidemment de ce que les magnons antiferromagnétiques ont une relation de dispersion linéaire, comme les phonons. En ce qui concerne la réduction de l'aimantation alternée, sa propriété la plus remarquable est qu'elle ne s'annule pas au zéro absolu :
où N est le nombre total d'ions.La raison est que l'état de Néel n'est pas un état propre exact de l'Hamiltonien de Heisenberg, ce qui entraine l'existence de fluctuations de point zéro. Pour les températures au-dessus du zéro absolu, l'aimantation est encore réduite par la contribution des fluctuations thermiques :
Cette contribution diverge en dimension D = 2, ce qui fait qu'un état antiferromagnétique ne peut exister au-dessus du zéro absolu qu'en dimension D = 3.
Dans le cas ferromagnétique, F. Bloch a montré en 1930 qu'un magnon unique est un état propre exact du Hamiltonien de Heisenberg. Pour pouvoir traiter le cas d'un nombre thermodynamique de magnons, il est nécessaire d'avoir recours à des approximations basées sur la seconde quantification. Holstein et Primakoff ont introduit en 1940 une représentation des opérateurs de spin de la forme :
où est un opérateur de création de bosons, et a est un opérateur d'annihilation. En introduisant cette représentation dans le Hamiltonien de Heisenberg, et en développant les racines carrées en puissances de , et en ne retenant que les termes quadratiques en , Holstein et Primakoff ont pu obtenir la relation de dispersion des magnons ferromagnétiques. Les termes négligés (d'ordre supérieur en 1/S) décrivent des interactions entre les magnons. Le développement de Holstein et Primakoff est valide dans une limite .
Les interactions entre magnons ont été étudiées en 1956 par F. J. Dyson. Dyson a utilisé une représentation des ondes de spin différente de celle de Holstein et Primakoff. Il a séparé les interactions des ondes de spin en 2 catégories : les interactions cinématiques qui proviennent de ce que le spin d'un ion donné ne peut varier qu'entre − S et + S, et une interaction dynamique. Dyson a pu montrer que seule l'interaction dynamique est importante à basse température. Dans un milieu ferromagnétique, cette interaction dynamique produit des corrections en T4 / S par rapport au résultat de Bloch qui néglige les interactions entre les ondes de spin. Ces corrections sont trop petites pour être observables expérimentalement. S.V. Maleev a introduit une représentation des opérateurs de spin qui permet de retrouver les résultats de Dyson. On a coutume de parler de représentation de Dyson-Maleev :
L'inconvénient de cette représentation est de ne pas être hermitique ( ). Cependant, elle a l'avantage de produire des interactions magnons-magnons beaucoup plus simples que la représentation de Holstein et Primakoff. T. Oguchi a cependant pu, en 1960, montrer qu'on pouvait reproduire le terme en T4 de Dyson en utilisant la représentation de Holstein et Primakoff.
Une autre approche des ondes de spin dans un milieu ferromagnétique se base sur l'équation de Landau-Lifshitz-Gilbert. Cette équation s'écrit :
Comme l'ont montré Charles Kittel et Herring en 1951, elle peut se déduire des équations du mouvement des spins. Dans le cas où le système possède une aimantation moyenne non nulle, on peut linéariser cette équation ce qui permet de retrouver la dispersion des ondes de spin.