You are on page 1of 82

Introduction la thorie du micromagntisme

Franois Alouges 2 juin 2009

Ce livre contient les notes d'un cours de Master 2 donn l'cole Polytechnique pendant l'anne 2008-2009. Il s'adresse un public d'tudiants en mathmatiques appliques et a pour ambition de traiter des mthodes mathmatiques de base pour l'analyse des modles utiliss pour dcrire les matriaux ferromagntiques. Un grand soin a t port pour dcrire la physique des problmes sous-jacents an que le lecteur comprenne les principes physiques utiliss pour la modlisation. Nous essayons donc de faire un allerretour permanent entre les description et motivations des modles et leur analyse mathmatique ou numrique. Les exercices donns en n de chapitre permettent de clarier des points qui auraient pu rester obscurs dans le texte principal.

Franois Alouges, Ecole Polytechnique 2008.

ii

Table des matires


Contents 1 Le micromagntisme
1.1 1.2 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . Le modle du micromagntisme 1.2.1 1.2.2 1.2.3 1.2.4 1.3 1.4 . . . . . . . . . . . . . . . . . L'nergie extrieure . . . . . . . . . . . . . . . . . . . . L'nergie d'change . . . . . . . . . . . . . . . . . . . . L'nergie dmagntisante . . . . . . . . . . . . . . . . . L'nergie d'anisotropie . . . . . . . . . . . . . . . . . .

2 1
1 3 6 6 8 9 9 10

Longueurs caractristiques . . . . . . . . . . . . . . . . . . . . Mise sans dimension . . . . . . . . . . . . . . . . . . . . . . .

2 Le champ dmagntisant
2.1 2.2 2.3 2.4 2.5 2.6 Les principales proprits . . . . . . . . . . . . . . . . . . . . . Expression du champ dmagntisant en Fourier Les congurations de Landau . . . . . . . . . . . . . . . . . . . . . . . . . .

13
13 16 17 17 17 19

Matriaux durs-matriaux doux . . . . . . . . . . . . . . . . . Rcapitulatif . . . . . . . . . . . . . . . . . . . . . . . . . . . . Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3 Le problme de minimisation
3.1 3.2 3.3 3.4 3.5 3.6 3.7 Existence de solutions . . . . . . . . . . . . . . . . . . . . . . Equation d'Euler-Lagrange . . . . . . . . . . . . . . . . . . . . Convergence de points stationnaires . . . . . . . . . . . . . . . Champ eectif . . . . . . . . . . . . . . . . . . . . . . . . . . . Rcapitulatif . . . . . . . . . . . . . . . . . . . . . . . . . . . . Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

23
23 25 29 29 30 32

Lien avec les applications harmoniques valeurs dans la sphre 30

4 Particules mono-domaines
4.1 Cadre de la

35
. . . . . . . . . . . . . . . . . . . 35 iii

convergence

iv

TABLE DES MATIRES

4.2 4.3

Application au problme du micromagntisme dans les particules monodomaines 4.3.1 4.3.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 41 41 44 45 48 Courbes d'hysteresis et astrode de Stoner-Wohlfahrt L'astrode de Stoner-Wohlfahrt et minima locaux

Un premier exemple instructif . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4.4 4.5

convergence

Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5 Parois et domaines dans les lms minces


5.1 Heuristique 5.1.1 5.1.2 5.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Les lms minces . . . . . . . . . . . . . . . . . . . . . . La construction de Van den Berg

49
49 50 51 54 54 54 54 55

Les parois de Bloch . . . . . . . . . . . . . . . . . . . . . . . . 5.2.1 Les parois 180 . . . . . . . . . . . . . . . . . . . . . 5.2.2 Les parois obliques . . . . . . . . . . . . . . . . . . . . Les parois de Nel . . . . . . . . . . . . . . . . . . . . . . . . . Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5.3 5.4

6 Equation de Landau-Lifschitz
6.1 6.2 6.3 6.4 6.5 Prcession d'un moment magntique L'quation de Landau-Lifschitz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Existence de solutions faibles . . . . . . . . . . . . . . . . . . . Remarques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

57
57 57 57 57 58

7 Mthodes numriques pour le calcul du champ dmagntisant 59


7.1 7.2 7.3 Le cas des maillages rguliers Les mthodes intgrales . . . . . . . . . . . . . . . . . . 59 59 59 . . . . . . . . . . . . . . . . . . . . . Alternatives par maillages de type exponentiel . . . . . . . . .

8 Algorithmes de minimisation pour le calcul de congurations stables 61 9 Discrtisation par lments nis de l'quation de LandauLifschitz 63 10 Quelques problmes actuels en micromagntisme mathmatique et numrique 65
10.1 Les lms minces . . . . . . . . . . . . . . . . . . . . . . . . . . 10.2 Les particules vortex . . . . . . . . . . . . . . . . . . . . . . . 10.3 Modlisation des MRAM . . . . . . . . . . . . . . . . . . . . . 65 65 65

TABLE DES MATIRES

11 Conclusion Bibliographie Index

67 69 70

vi

TABLE DES MATIRES

Table des gures


1.1 Historique de l'volution d'un vortex l'intrieur d'une particule circulaire sous l'action d'un champ extrieur croissant (premire ligne) et dcrsoissant suivant que l'on dpasse (3me ligne) ou non (2me ligne) un champ critique expulsant le vortex du matriau. 1.2 1.3 . . . . . . . . . . . . . . . . . . . . . . . . . 2 3

Domaines dans un matriau anisotropie cubique. . . . . . . . Quelques congurations en domaines dans des particules rectangulaires, ellipsodales ou lenticulaires. Ces congurations sont trs bien dcrites par la construction de Van den Berg. . .

1.4

Trois congurations en domaines dans une mme particule circulaire. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

1.5

Congurations en domaines ou en labyrinthe dans des matriau mou et dur respectivement. . . . . . . . . . . . . . . . . . 6

1.6

Parois de type cross-tie diciles expliquer avec la thorie des domaines. . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

2.1

Films ferromagntiques minces anisotropie verticale dur et doux. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 43 50

4.1 5.1 5.2

Courbe d'hysteresis du problme (4.12). . . . . . . . . . . . . . Un lm mince de matriau ferromagntique. . . . . . . . . . .

Construction de l'aimantation partir des caractristiques issues du bord. . . . . . . . . . . . . . . . . . . . . . . . . . . . 52

5.3

Deux caractristiques se coupent. L'aimantation n'est pas dnie. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 52 53

5.4 5.5 5.6

Deux caractristiques se coupent en dlimitant un domaine

Construction de Van den Berg de la conguration de Landau. Construction de Van den Berg pour un rectangle aux coins arrondis. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

53 54

5.7

Un autre domaine plus complexe.

. . . . . . . . . . . . . . . .

vii

viii

TABLE DES FIGURES

5.8

Conguration sur un disque obtenue en collant deux constructions de Van den Berg. . . . . . . . . . . . . . . . . . . . . . . 54

Liste des tableaux


1.1 1.2 Variables et units. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 11 Variables et units des quations de Maxwell.

ix

LISTE DES TABLEAUX

Chapitre 1 Le micromagntisme
1.1 Introduction
Les matriaux ferromagntiques sont devenus d'usage courant. On les retrouve bien entendu dans les appareils servant au stockage de l'information numrique comme par exemple les bandes magntiques ou les disques durs, mais (et c'est moins connu) aussi dans des puces magntiques dites MRAM (pour "Magnetic Random Access Memory"). Ces puces ont de nombreux avantages par rapport leur homologues en silicium, en particulier celui de ne ncessiter de l'nergie que pour changer les bits de valeur et non pas pour maintenir le stockage proprement parler. Elles ne ncessitent pas non plus de rafrachissement puisque l'information est stocke grce l'aimantation d'un aimant permanent. Elles peuvent galement, maintenir sans ressource nergtiques de l'information pendant l'extinction de la machine permettant ainsi un redmarrage du systme quasi-instantan. Enn, la lecture et l'criture sur ce type de mmoire pourrait se rvler beaucoup plus rapide que dans les mmoires en silicium et la capacit d'intgration (nombre de bits sto2 1 ckables par mm ) semble suprieure de sorte que l'on estime que ce genre de composant devrait rapidement supplanter les mmoires traditionnelles dans les toutes prochaines annes. Les matriaux magntiques sont encore utiliss dans de nombreuses applications allant de la tlphonie cellulaire l'absorption radar (pour la furtivit de certains avions) et leur tude est un sujet d'actualit particulirement actif. On notera par exemple que les deux physiciens Albert Fert et Peter Grnberg ont tous deux reu le prix Nobel en 2007 pour leurs travaux sur la magnto-rsistance gante (GMR), procd qui a permis de miniaturiser l'extrme les ttes de lecture/criture des disques durs accroissant du

1 Source

: www.mram.org qui est un site ddi l'actualit concernant ce type de matriel.


1

CHAPITRE 1.

LE MICROMAGNTISME

mme coup leur capacit. Le principe met en uvre un assemblage en mutlicouches (ou sandwiches) de matriaux ferromagntiques et isolants. Malheureusement (ou heureusement ?) la modlisation des matriaux magntiques n'est pas aussi naturelle qu'on peut le penser et a connu au cours des annes de nombreuses variations et changements. Le point de dpart consiste comprendre en partant des quations de Maxwell le champ magntique cr par un barreau uniformmnt aimant (un aimant permanent habituel). Par la suite, Pierre Weiss a propos en 1907 une thorie, appele "thorie des domaines" qui consiste considrer l'aimant comme un assemblage de domaine uniformment aimants. Leur forme est dtermine par la minimisation de l'nergie magntostatique et d'une nergie prenant en compte le saut d'aimantation entre les domaines. Cette description semble proche des observations physiques. En eet, on voit dans les gures

Fig. 1.1-1.6 des Nanmoins, la

congurations qui semblent se prsenter sous la forme de domaines spars par des parois trs nes au regard de la taille des domaines.

Fig. 1.1  Historique de l'volution d'un vortex l'intrieur d'une particule

circulaire sous l'action d'un champ extrieur croissant (premire ligne) et dcrsoissant suivant que l'on dpasse (3me ligne) ou non (2me ligne) un champ critique expulsant le vortex du matriau. situation parat aussi plus complique puisque les domaines ne semblent pas uniformment aimants (voir le vortex Fig. 1.1 par exemple). Aussi, W. F. Brown a propos, depuis les annes 40 la thorie du micromagntisme dans

ces photos sont extraites du livre [8] qui est une vritable bible en matire de magntisme.

2 Toutes

1.2.

LE MODLE DU MICROMAGNTISME

Fig. 1.2  Domaines dans un matriau anisotropie cubique.

laquelle l'aimantation est vue comme un continuum et est sujette minimiser une nergie libre. Le but de cet ouvrage est de dcrire les rsultats mathmatiques de base sur ce modle. Nous dcrirons aussi le modle d'volution de l'aimantation au sein des matriaux ferromagntiques appel quation de Landau-LifschitzGilbert dans le chapitre 6. On abordera ainsi l'existence de solutions au problme de Cauchy associ ainsi que leur unicit. Dans la deuxime moiti de ce livre, nous aborderons le problme de la conception de schmas numriques pour le calcul approch de solutions de ces problmes. Nous traiterons aussi bien la question (dlicate) du calcul du champ dmagntisant que celle de l'criture d'algorithmes numriques pour la minimisation de l'nergie. Enn, la question de trouver des schmas pour discrtiser l'quation de LandauLifschitz-Gilbert sera aborde la n du volume.

1.2 Le modle du micromagntisme


Les observations physiques (voir par exemple [8]) rendent compte de structures l'intrieur des chantillons qui prennent la forme de domaines qui se prsentent comme des aimants permanents l'intrieur desquels l'aimantation varie peu ou pas, spars par des parois extrmement nes. La thorie du micromagntisme, dveloppe par W. F. Brown depuis les annes 40 (voir [3]), est une thorie des milieurx continus qui consiste considrer que dans le domaine magntique existe une distribution de mini-aimants permanents

CHAPITRE 1.

LE MICROMAGNTISME

Fig. 1.3  Quelques congurations en domaines dans des particules rectangu-

laires, ellipsodales ou lenticulaires. Ces congurations sont trs bien dcrites par la construction de Van den Berg.

dcrits par un champ de vecteurs

M : R3
( est le domaine tridimensionnel reprsentant le matriau magntique), soumis la contrainte

|M (x)| = Ms (T )
L'aimantation saturation

p.p.x

(1.1)

Ms (T )

ne dpend que de la temprature et xe

ainsi l'amplitude de l'aimantation localement de sorte qu' temprature constante, seule la direction de cette aimantation importe (on se placera systmatiquement dans cette situation dornavant de sorte que l'on oubliera par la suite la dpendance de

Ms

en fonction de la temprature

T ).

Les conguration physiquement admissibles sont slectionnes par la mi-

1.2.

LE MODLE DU MICROMAGNTISME

Fig. 1.4  Trois congurations en domaines dans une mme particule circu-

laire.

nimisation de l'nergie libre (dite de Brown)

E (M ) =

A 2 Ms

|M |2 dx + K

M Ms

dx 1 2 Hd (M ) M dx

(1.2)

Ha M dx

que nous allons essayer de comprendre terme terme. Notons toutefois qu'il est instructif de savoir dans quelles units physiques les direntes quantits intervenant dans l'nergie sont considres et mesures de faon se convaincre que l'nergie est eectivement une quantit qui se mesure en joules (J ). Ces units sont rappeles dans la Table 1.1.

Notation

Nom Constante d'change Aimantation saturation Constante d'anisotropie Champ extrieur Champ dmagntisant

Unit

A Ms K Ha Hd (M )

J m 1 T J m 3 A m 1 A m 1

Tab. 1.1  Variables et units.

CHAPITRE 1.

LE MICROMAGNTISME

Fig. 1.5  Congurations en domaines ou en labyrinthe dans des matriau

mou et dur respectivement.

1.2.1 L'nergie extrieure


L'nergie extrieure rend compte du fait qu'un chantillon magntique plac dans un champ extrieur

Ha a tendance voir son aimantation s'aligner M = Ms Ha . |Ha |


En intgrant sur le

dans la direction du champ. Le principe sous-jacent est que si l'on minimise

Ha M

pour

|M | = Ms ,

on obtient

domaine magntique, on obtient de la mme faon que la minimisation de

Eext (M ) =

sous la contrainte

Ha M dx,

(1.3)

|M (x)| = Ms x

donne une solution constante

M (x) =

Ha Ms |Ha |

pour tout

traduisant un alignement uniforme dans le ma-

triau de l'aimantation avec le champ magntique extrieur.

1.2.2 L'nergie d'change


L'nergie d'change, quant elle, rend compte du mme phnomne quie prcdemment, trs petite distance. En eet, lorsque deux spins sont trs proches, ils ont tendance interagir, chaque spin voyant ou subissant l'autre comme un champ extrieur. Ceci a pour eet d'avoir tendance aligner les spins lorsqu'ils sont voisins ou en termes moins radicaux aaiblir les variations innitsimales de l'aimantation.

1.2.

LE MODLE DU MICROMAGNTISME

Fig. 1.6  Parois de type cross-tie diciles expliquer avec la thorie des

domaines. Imaginons un rseau cubique de taille de maille sont placs des spins

aux sommets

duquel

Si

tels que

i, |Si | = S
soit constant. On associe ce rseau l'nergie

(1.4)

E =
i,j voisins

Si Sj ,

tendant aligner localement les spins voisins. En utilisant (1.4), et en introduisant

le nombre de voisins (ou d'artes

du rseau), on peut rcrire l'nergie sous la forme

E = N S + = N S +

1 2

|Si Sj |2
i,j voisins 2

S 2h

i,j voisins

|Si Sj |2 3 h h2

CHAPITRE 1.

LE MICROMAGNTISME

semblable ( la constante 2 nies de

NS

prs) une discrtisation de type dirences

S (x) |S (x)|

dx

de mme type que l'nergie d'change postule

ci-dessus. Notons toutefois que l'on pourrait compliquer ce terme en prenant une nergie non isotrope du type

M M , Ms Ms

dx,

dans laquelle la matrice

serait dnie positive. Cette possibilit, envisage

dans [3] par exemple, semble compliquer inutilement la modlisation est n'est donc jamais retenue en pratique.

1.2.3 L'nergie dmagntisante


Le dernier terme dans (1.3) reprsente l'nergie de la conguration plonge dans le champ magntique qu'elle produit elle-mme. En partant des quations de Maxwell sans charge ni courant et en cherchant des solutions stationnaires, on trouve que le champ dmagntisant est dtermin partir de la distribution d'aimantation

comme la solution du problme

(0 Hd (M ) + M ) = 0, Hd (M ) = 0, Hd (M ) 0 l'inni.
div rot

(1.5)

Il faut nanmoins donner un sens prcis ces quations, valables dans l'es3 pace R tout entier ainsi qu' la condition l'inni. Notons aussi que le fait d'avoir pris la solution stationnaire des quations de Maxwell (on qualie quelquefois cette approximation de quasi-statique) revient ngliger la taille de l'chantillon devant les longueurs que peuvent franchir les ondes lectromagntiques pendant un temps caractristique d'observation. (Nous verrons lorsque nous parlerons du modle dynamique que cette approximation est typiquement valable pour des objets dont la taille est de l'ordre de quelques microns.) Les proprits du champ dmagntisant conditionnent un grand nombre de structures observes dans la pratique. On a donc dcid de lui consacrer le chapitre 2 entirement.

1.3.

LONGUEURS CARACTRISTIQUES

1.2.4 L'nergie d'anisotropie


Enn, l'nergie d'anisotropie prend en compte des eets d'anisotropie dus la structure cristalline du matriau. On en tient compte grce une fonction

G : S2 R+
d'aimantation. Dans la pratique 3 cas sont utiliss :  L'anisotropie uniaxe pour laquelle une seule direction lgie, et l'on a

(1.6)

paire et s'annulant sur un ensemble de directions appeles directions faciles

u S2

est privi-

K > 0, G(m) = (1 (m u)2 ).


 L'anisotropie planaire qui tend favoriser les directions d'un plan P . 2 En considrant un vecteur u S orthogonal P , on prend en gnral

K < 0, G(m) = (1 (m u)2 ).


 L'anisotropie cubique pour laquelle trois directions mutuellement orthogonales sont faciles. Si les trois directions correspondent aux axes des trois vecteurs de bases, on prend pour

m = (m 1 , m2 , m3 )

2 2 2 2 2 K > 0, G(m) = m2 1 m2 + m1 m3 + m2 m3 .

1.3 Longueurs caractristiques


Le problme du micromagntisme contient intrinsquement plusieurs longueurs caractristiques. Mises part les dimensions de l'chantillon, deux longueurs sont prsentes dans le problme : 

La longueur d'change =
la taille est infrieure

2A0 . 2 Ms

Sur des longueurs infrieures

la longueur d'change (par exemple sur des petites particules dont

),

l'nergie d'change est prpondrante par

rapport l'nergie dmagntisante. 

La largeur des parois de Bloch =


rieures rapport ceux dus l'nergie d'change. 2

, les eets dus l'nergie d'anisotropie sont ngligeables par = 20 K . 2 Ms


Ce nombre sans dimen-

A . K

Sur des distances inf-

Le facteur de qualit Q =

sion mesure la prpondrance des eets dus l'anisotropie (Q

>> 1)

10

CHAPITRE 1.

LE MICROMAGNTISME

par rapport ceux dus l'nergie dmagntisante (Q les autres (ceux qui vrient

<< 1).

Un ma-

triau possdant un grand facteur de qualit est appel matriau dur,

Q < 1)

sont appels matriaux doux.

1.4 Mise sans dimension


Comme nous venons de le voir, les constantes qui interviennent dans le modle ont une norme importance du point de vue de la physique des phnomnes. En revanche, en ce qui concerne l'analyse mathmatique (existence de solutions, rgularit, unicit, etc.), on peut simplier l'criture en prenant toutes ces constantes gales 1. On tudiera ainsi le modle purement

mathmatique suivant
mH 1 (,S2 )
o

min

E (m),

(1.7)

H 1 (, S2 ) = m H 1 (, R3 )
et

tel que

|m(x)| = 1

p.p.t.

(1.8)

E (m) =

1 2

|m|2 dx

h m dx hd (m) m dx +

tant solution du problme

Le pseudo champ dmagntisant div rot

1 2

G(m) dx.

(1.9)

hd (m)

(hd (m) + m) = 0 dans R3 , hd (m) = 0 dans R3 .

(1.10)

1.4.

MISE SANS DIMENSION

11

Exercices Les quations de Maxwell rgissent l'volution du champ lectromagntique au cours du temps. Dans un matriau magntique de distribution de densit d'aimantation

M , elles
div div rot rot

s'crivent

B = 0, D = , B E= , t D H=J+ . t
est l'induction magntique,

(1.11)

Dans les quations prcdentes, lectrique,

l'induction

et

les champs magntiques et lectriques respectivement,

est la densit de charges, et

la densit de courant.

On remarquera que le systme n'est pas ferm (il y a beaucoup moins d'quations que d'inconnues) et on lui adjoint des lois de fermeture qui dpendent du matriau. Dans un matriau magntique possdant une distribution de densit d'aimantation

M,

on rajoute

D = 0 E, B = 0 H + M.
Ici,

(1.12)

et

sont respectivement les permittivit lectrique et permabilit

magntique du vide. Les units couramment utilises sont donnes dans la table 1.4.

variable

B H D E J 0 0 M

unit 2 1 T (kg s A ) 1 A m 2 2 C m ou A m s 3 1 kg m s A 3 C m 2 1 2 C m s ou A m 2 2 kg m A s 1 3 2 4 kg m A s 2 1 T (kg s A )

valeur

4 10

Tab. 1.2  Variables et units des quations de Maxwell.

12

CHAPITRE 1.

LE MICROMAGNTISME

Chapitre 2 Le champ dmagntisant


2.1 Les principales proprits
Dans cette section, nous allons donner et dmontrer les proprits de base du champ dmagntisant, et plus prcisment de l'oprateur

hd : m hd (m)
que nous avons vu et dni dans le chapitre 1.4. En relevant le champ dmagntisant l'aide de son potentiel

(2.1)

hd (m) =

d (m),

il faut rsoudre

d (m) = div m,
au sens des distributions au problme est Trouver

(2.2)

D (R3 ), et donc la formulation variationnelle adapte


tel que

d (m) W,

W, m dx,

(2.3)

d (m) dx =
R3
dans laquelle l'espace de Hilbert bilinaire

est dnir de faon ce que la forme

a(, ) =
R3
soit coercive sur l'on peut

dx D (R3 )

(2.4)

W. trouver W

On montre (voir l'exercice comme le complt de

?? pour tous les dtails) que


pour la norme
1 2

||||H 1 =

|| (x) dx
R3
13

14

CHAPITRE 2.

LE CHAMP DMAGNTISANT

qui drive du produit scalaire donn par (2.4), de sorte que rellement coercive. De plus on a la caractrisation suivante appel espace de Beppo Levi dans la littrature)

a(, ) de W

est natu(souvent

W =

D (R3 )

tel que

L2 (R3 )

et

(x) 1+ |x|2

L2 (R3 ) .

(2.5)

L'application directe du thorme de Lax-Milgram donne alors l'existence et l'unicit d'une solution de (2.3), pour toute distribution d'aimantation m L2 ().

Proprit 1. hd : L2 () L2 (R3 )
||hd ||L(L2 (),L2 (R3 )) 1.
Dmonstration. La linarit de

est un oprateur linaire qui vrie

hd est claire. Par ailleurs, comme d (m) W , on sait dj que hd (m) = d (m) L2 (R3 ). Ensuite, en testant la formulation variationnelle (2.3) avec = d (m), on trouve
3

|d (m)|2 dx =
R

m d (m) dx

||m||L2 () ||d (m)||L2 () ||m||L2 () ||d (m)||L2 (R3 )


ce qui donne

||hd (m)||L2 (R3 ) ||m||L2 () .

En posant

m =
on a que l'induction magntique Il existe donc

m sur , 0 sur R3 \ ,
div

b=m + hd (m) L2 (R3 ) vrie W = {(1 , 2 , 3 ) tel que i W } tel que b = rot ,

b = 0.

ce qui peut encore s'crire

m = d (m) + rot .

(2.6)

Cette dcomposition s'appelle la dcomposition de Helmholtz ou de Hodgede Rham (suivant que l'on parle de quantits physiques ou de formes dif2 3 frentielles). Il s'agit d'une dcomposition de L (R ). On renvoie aussi le lecteur l'exercice 4 pour avoir une preuve directe sur cette dcomposition.

2.1.

LES PRINCIPALES PROPRITS

15

Proposition 1.
thogonale.

On a

L2 (R3 ) = W rot W,

la somme directe tant or-

Dmonstration. On sait dj que

L2 (R3 ) = W + rot W
d'aprs la dcomposition de Helmholtz. Il reste montrer que la dcomposi3 3 3 tion est orthogonale. Soit W et W. Comme D (R ) (resp. D (R , R )) est dense dans telles que

(resp.

W),

on peut trouver une suite

(n )nN

et

(n )nN
(2.7) (2.8)

n dans L2 (R3 ), n dans L2 (R3 , R3 ).


Or on a par intgration par parties

n N,
R3

n rot n dx = 0.

(2.9)

Ceci donne le rsultat, en passant la limite grce (2.7, 2.8). Les deux propositions prcdentes montrent qu'en fait hd (m) n'est rien L2 (R3 ) de m sur les champs de gradient

d'autre que la projection dans paralllement aux rotationnels.

Proposition 2. L'nergie dmagntisante est toujours positive ou nulle. Elle


est nulle si et seulement si

m = 0 dans , m n = 0 sur .
div Dmonstration. On a dj vu que l'nergie dmagntisante est

(2.10) (2.11)

Edem = 1 2 0. =

1 2

m hd (m) dx

|hd (m)|2 dx
R3

Cette nergie s'annulle si et seulement si div Ceci, compte tenu du fait que

hd (m) = 0 D (R3 ).

ou autrement dir que

m =0

dans

m H 1 ()

est quivalent (2.10, 2.11).

16

CHAPITRE 2.

LE CHAMP DMAGNTISANT

Proposition 3.
R3

Si

m, n L2 (R3 ),
R3

on a

hd (m) n dx =

m hd (n) dx =
R3

hd (m) hd (n) dx.

(2.12)

Dmonstration. En utilisant la formulation variationnelle (2.3) et en la testant avec

= d (n),
R3

on trouve

d (m) d (n) dx =
R3

m d (n) dx. m
et

(2.13)

On obtient ensuite (2.12) en interchangeant les rles de

n.

Proposition 4.

On a

x R3 , d (m)(x) =

1 4

div

m(y ) 1 dy + |x y | 4 R3

m(y ) n(y ) d (y ). |x y |
(2.14)

Dmonstration. La solution fondamentale dans

1 3 L1 G(x) = loc (R ), 4 |x|

de l'oprateur

est

c'est--dire que l'on a

G = 0 ,
o

est la masse de Dirac en 0. Ensuite, comme div

est support com-

pact, (gal

),

on peut convoler

et div

pour obtenir

d (m) = G div m 1 = (div m m n ), 4 |x|


qui est une autre criture de (2.14). L'criture sous la forme (2.14) fait intervenir les deux quantits div l'intrieur du volume et

m n sur le bord qui par analogie avec l'lectrostatique

sont respectivement appeles charges volumiques et charges surfaciques. La prsence de charges (volumiques ou surfaciques) gnre automatiquement un champ dmagntisant et donc une nergie dmagntisante positive.

2.2 Expression du champ dmagntisant en Fourier


L'opratuer (

hd

vu comme opratuer de

L2 (R3 )

dans

L2 (R3 )

est un op-

rateur qui a un symbole. En eet, en eectuant la transforme de Fourier de

??), on trouve

d (m)( ) = i m, | |2

2.3.

LES CONFIGURATIONS DE LANDAU

17

d'o l'on dduit que

) d (m) = i d (m)( ) = ( m h . 2 | |
Le symbole

a( ) =

| |2

est une trace du fait que l'on peut crire formellement

hd (m) = 1 div m.
Comme

|a( )| 1, R3 ,

on voit tout de suite (grce l'galit de

Parseval) que

hd : L2 (R3 ) L2 (R3 ),
est continu et que

||hd ||L(L2 (R3 ),L2 (R3 )) 1.

On montre aussi, grce la thorie symbolique que (R3 ). (voir [11]).

hd : Lp (R3 )

2.3 Les congurations de Landau 2.4 Matriaux durs-matriaux doux


Imaginons un lm horizontal mince ralis avec un matriau anisotropie verticale (voir Fig. 2.1). Si le facteur de qualit

est trs grand devant 1 (le

matriau est dur), les congurations auront tendance tre verticales (vers le haut ou vers), l'anisotropie tant prpondrante. Inversement, pour

Q << 1,

c'est-a-dire pour des matriaux doux, les congurations verticales crent de grosses charges de surfaces (sur le dessus et le dessous de l'chantillon) qui contribuent d'autant dans le champ dmagntisant. Dans ce dernier cas, on diminuera de beaucoup l'nergie en ayant des congurations planes

Fig. 2.1  Films ferromagntiques minces anisotropie verticale dur et doux.

2.5 Rcapitulatif
Le problme du micromagntisme est un eproblme de minimisation faisant intervenir quatre termes d'nergie qui sont comptitifs. Le systme sera

18

CHAPITRE 2.

LE CHAMP DMAGNTISANT

donc frustr en gnral. En eet, l'nergie d'change est minimale pour des congurations constantes, l'nergie extrieure est minimale pour des congurations alignes et dans la direction du champ magntique externe, l'anisotropie sera minimale si l'aimantation se positionne presque partout dans des directions faciles et l'nergie dmagntisante sera minimale pour des congurations divergence nulle et tangentes au bord de l'objet. Ces dernires contraintes sont en gnral incompatibles avec les premires.

2.6.

EXERCICES

19

2.6 Exercices
Exercice 2.1
Le but de cet exercice est de donner le bon cadre variationnel pour rsoudre un Laplacien en domaine non born. C'est typiquement ce qu'il faut faire lorsque l'on veut calculer le potentiel dmagntisant induit par une distribution d'aimantation.

3 On considre un domaine born et rgulier R , et une distribution 1 3 d'aimantation m H (, R ). Le potentiel dmagntisant d (m) est une
solution de la formulation variationnelle

d (m) dx =
R3
pour toute fonction-test

m dx

(2.15)

D(R3 ).

Sur des domaines borns l'existence (et l'unicit) de solution ce type de problme s'obtient en gnral par l'utilisation du thorme de Lax-Milgram. Ici, la forme bilinaire

a(, ) =
R3
empche de poser le problme dans

dx H 1 (R3 )

(2.16)

(dj, dans les domaines borns,

on ne peut pas avec une telle forme bilinaire rsoudre des problmes dans H 1 () et l'on doit rajouter une condition au bord de type Dirichlet pour pouvoir rsoudre. La coercivit dans ce cas se montre grce l'ingalit de 3 1 Poincar). Dans le domaine non born R , on construit un analogue de H0 . 1 Cet espace s'appelle l'espace de Beppo-Levi, BL que l'on introduit dans cet exercice. 1. Soit

D(R).

Montrer que

(r)2 dr 4
0 0

(r2 (r))2 dr.

(2.17)

On pourra utiliser pour cela une intgration par parties en crivant (r)2 = 1 (r)2 . 3 2. Montrer que pour D (R ), on a

R3

(x)2 dx 4 1 + |x|2

|(x)|2 dx.
R3

(2.18)

On pourra passer en coordonnes sphriques et utiliser l'estimation de la question prcdente.

20

CHAPITRE 2.

LE CHAMP DMAGNTISANT

3. On pose

BL1 =

tel que

1 + |x|2

L2 (R3 )

et

L2 (R3 )

(2.19)

muni du produit scalaire

(, )BL1 =
R3
Montrer que dense dans

(x) (x) dx + 1 + |x|2

(x) (x) dx.


R3

(2.20)

BL1 BL1 .

est un espace de Hilbert. Montrer que

D(R3 )

est

4. En utilisant les questions prcdentes montrer que duit scalaire

BL1

muni du pro-

(, )H 1 =
jacentes

(x) (x) dx
R3

(2.21)

est aussi un espace de Hilbert. On montrera que les normes sous-

|| ||BL1

et

|| ||H 1

sont en fait quivalentes.

5. Rsoudre le problme du potentiel dmagntisant dans 1 1 3 6. Montrer que BL = H (R ).

(BL1 , || ||H 1 ).

7. Refaire la thorie en dimension 2. (Attention, bien que la technique soit exactement la mme il est plus dlicat de trouver les poids dans la dnition de l'espace.)

Exercice 2.2
m

3 Etant donn un ouvert born dans R , et une distribution d'aimantation 1 H (), montrer que le potentiel dmagntisant d (m) gnr par m et

solution du problme (2.15) vrie le problme de transmission

d (m) = divm dans , d (m) = 0 dans R3 \ , [d (m)] = 0 travers , d (m) = m n travers . n


On crira pour cela la formulation variationnelle vrie pas utilisera des fonctions test adaptes.

(2.22)

d (m)

et on

Exercice 2.3

2.6.

EXERCICES

21

1. Soit

un ouvert born et rgulier. On considre aussi

m H 1 (, R3 ),

et l'on tend

en dehors de

en posant

m (x) =
Montrer que divm au sens des distributions

m(x) si x , 0 sinon.

(2.23)

= divm + m n

(2.24)

D (R3 ) Dans l'quation prcdente, n est la normale sortante , est la fonction caractristique de et est la mesure 2 dimensionnelle du
bord dnie comme distribution par

R3 , < , >=

2. Soit dre

(x)dx . R3 = N i=1 i .

(2.25)

(i )i=1, ,N des mi H 1 (i ) et

ouverts disjoints tels que on pose

On consi-

m (x) = mi (x)
Calculer divm dans

si

x i .

(2.26)

D (R3 ).

Exercice 2.4

Dcomposition de Helmholtz

Le but de cet exercice est de montrer directement que pour il existe des fonctions

m L2 (R3 ),

et

telles que

m = + rot .
On pose pour tout l'exercice

BL1 =
et

tel que

1+ |x|2

L2 (R3 )

et

L2 (R3 )

(2.27)

BL1 = = (1 , 2 , 3 )
1. Soit

tel que

i BL1
dans

pour

i = 1, , 3 .
Montrer que

(2.28) (on

u L2 (R3

tel que

u = 0

D (R3 ).

u=0

pourra passer en Fourier).

22

CHAPITRE 2.

LE CHAMP DMAGNTISANT

2. Soit 1

m L2 (R3 , R3 ). Montrer BL BL1 solution de BL1 ,


R3

qu'il existe un unique couple

(, )

dx =
R3

m dx m rot dx.

BL1 ,
R3
Montrer ensuite que div

dx =
R3

L2 (R3 )

vrie

div = 0
et en dduire que div 3. On pose

dans

D (R3 ), L2
vrie

= 0. = m rot .

Montrer que

div rot et en dduire que

= 0, = 0,

(2.29)

=0 et
par transforme de Fourier inverse de

4. En Fourier : On construit

i m ( ) ( ) = | |2 , ( ) ( ) = i m . | |2
Montrer que

(2.30)

m = + rot ,

que div

= 0.

Exercice 2.5

Champ dmagntisant d'une boule uniformment aimante

Montrer que si

est une boule et que

est constant sur

alors le

champ dmagntisant est constant sur le domaine

et que l'on a

1 hd (m) = m. 3
En dehors de

bien entendu, cette relation n'est plus vrie (puisque m = 0

en particulier).

Chapitre 3 Le problme de minimisation


Dans ce chapitre nous tudions le problme de minimisation. An d'allger les calculs, nous travaillerons avec le modle donn par les quations (1.7-1.10) (dans lequel toutes les constantes sont gales 1). La mthode utilise est extrmement standard et porte le nom de mthode direce du calcul des variations. Comme nous le verrons, cette mthode fournit l'existence d'une solution mais pas l'unicit.

3.1 Existence de solutions


Le but de cette section est de dmontrer le thorme suivant :

Thorme 1.

Il existe une solution au problme (1.7-1.10).

Dmonstration. Pour la preuve du thorme 1, on utilise la mthode directe


du calcul des variations. Celle-ci consiste eectuer les tapes suivantes : 1. On montre que

inf mH E (m)

existe, c'est--dire que l'on montre que

l'nergie est uniformment minore. 2. On considre ensuite une suite minimisante suite d'lments de

(mn )nN ,

c'est--dire une

telle que

n+

lim E (mn ) = inf E (m),


mH

(3.1)

et l'on montre que la borne sur l'nergie induite par (3.1) entrane que (mn )nN est borne dans H 1 H . 1 3. Comme H () est un espace de Hilbert, on peut extraire de (mn )n 1 une sous-suite (mnk )kN qui converge faiblement dans H ()

mnk

faiblement dans

H 1 ().

23

24

CHAPITRE 3.

LE PROBLME DE MINIMISATION

4. Enn, on montre que

m H

et que

E (m ) = inf E (m),
mH
c'est--dire que

est une solution du problme. En gnral, cette

dernire tape se fait en montrant que l'nergie est semi-continue inf1 rieurement pour la topologie faible de H (). Passons maintenant l'application dans le cas du problme considr. 1. Les nergies d'change et dmagntisante sont positives, l'nergie d'anisotropie est borne (attention, elle n'est pas ncessairement positive) puisque

est borne. Appelant

= max G(m), G 2
mS
on a

m H, E (m) |h||| |K |||G,


montrant que l'nergie est minore. 2. On a

|mn (x)| = 1

p.p.t.

x ,

soit (3.2)

||mn ||2 L2 () = ||,


ce qui montre que semble borne

est

(mn )nN est borne dans L2 (). Par ailleurs, L'eninclus dans H () et la suite minimisante a une nergie C, n N, E (n) C.

De (3.2), on dduit que

m hd (m) dx =
R3

|hd (m)|2 dx
(d'aprs (

||m||2 L2 () = ||.
On en dduit la borne

??))
(3.3)

|mn |2 dx C + || + |h||| + |K |||G,

qui montre, l'aide de (3.2) que la suite 1 majore dans H ().

(mn )nN

est uniformment

3.2.

EQUATION D'EULER-LAGRANGE

25

3. On extrait donc une sous-suite

(mnk )kN

telle que

mnk
on peut supposer

faiblement dans

H 1 ()
de faon compacte),

et, grce au lemme de Rellich (H

() L2 () L2 ()

mnk m
4. Enn, on montre que

fortement dans

et p.p.

En eet, l'nergie k+ d'change est semicontinue infrieurement pour la convergence faible H 1 , l'nergie extrieure est continue pour la convergence L2 forte, de mme que l'nergie dmagntisante et l'nergie d'anisotropie passe la limite par convergence domine. Il reste juste prendre en compte la contrainte, mais la convergence presque partout de

E (m ) lim inf E (mnk ).

(mnk )k0

vers

m et le fait que |mnk (x)| = 1 |m (x)| = 1 p.p. sur .

p.p. montre en passant la limite que

Remarque 1.
contient pas

Dans le cas o

h = 0,

il n'y a pas d'nergie extrieure et

l'nergie est paire. Comme l'espace de minimisation est lui mme pair et ne

m = 0,

il ne peut y avoir unicit de la solution au problme

(1.7-1.10). En pratique, pour des champs magntiques portants

h = 0

relativement

faibles, on ne peut esprer avoir unicit. Toutefois, pour des champs trs im-

|h| >> 1,

l'nergie extrieure devient prpondrante et l'on s'attend

donc avoir une solution qui s'aligne avec le champ. Ceci pourrait avoir une incidence sur l'unicit de la solution.

3.2 Equation d'Euler-Lagrange


Thorme 2.
L'quation d'Euler-Lagrange associe au problme de minimisation est (au sens des distributions)

m h hd (m) + m G(m) = m,
o la fonction

(3.4)

L1 ()

est donne par


(3.5)

= |m|2 h m hd (m) m + m G(m) m.

Ide directrice. L'quation d'Euler-Lagrange traduit le fait que le gradient


fonctionnel de l'nergie est align avec le gradient de la contrainte, le multiplicateur de Lagrange

dpendant de

puisqu'il y a une contrainte en tout

26

CHAPITRE 3.

LE PROBLME DE MINIMISATION

point

de

La valeur de

se calcule formellement en faisant le produit

scalaire de (3.4) avec

m.

On obtient ainsi (toujours formellement)

= (m h hd (m) + m G(m)) m,
ce qui redonne (2) en tenant compte du fait que (pour des fonctions lires)

rgu-

m m = |m|2 ,
qui se dduit aisment de

(|m|2 ) = 0.

Dmonstration rigoureuse. Bien entendu le calcul prcdent donne une ide


du rsultat qu'il convient de justier. En particulier la dernire galit n'a pas de sens puisqu'a priori, m est seulement une distribution (m n'a qu'une 1 rgularit H ) et que l'on ne peut pas calculer m m. On procde donc diremment en eectuant des variations de l'nergie autour d'un minimum m qui doivent respecter la contrainte. Ainsi, on considre D(, R3 ), et pour par

assez petit (par exemple

| | < 0 =

1 1 2 ) on dnit m H (, S ) 2||||

x , m (x) =
Ensuite, on crit que

m(x) + (x) |m(x) + (x)|.

] 0 , 0 [, E (m ) E (m),
ou plus prcisment,

d E (m )| =0 = 0. d
La linarit permet d'tudier sparment les quatre termes de l'nergie. Nanmoins, on commence par calculer de

en

au voisinage de

m | =0 en faisant un dveloppement limit = 0. On a

m = (m + )|m + |1 , = (m + )(1 + 2 m + o( )) 2 , = m + ( ( m)m) + o( ),


d'o l'on dduit que
1

m | =0 = ( m)m.

3.2.

EQUATION D'EULER-LAGRANGE

27

1.

L'nergie d'change
On a

d 1 d 2

|m |2 dx | =0 =

m ( ( m)m) dx m |m|2 ( m) dx

(3.6)

car, tout 2.

m tant de module constant en tout point vrie m i = 1, 2, 3


et p.p. sur

m = 0 pour xi

L'nergie extrieure
Pour l'nergie extrieure, c'est plus simple puisque l'on a

d d

h m dx | =0 =

h ( m)m dx

(3.7)

3.

L'nergie dmagntisante
En ce qui concerne l'nergie dmagntisante, on a

d 1 d 2

hd (m ) m dx | =0 =

1 2

hd ( ( m)m) m dx

d'aprs (2.12). 4.

1 2

hd (m) ( ( m)m) dx

(3.8)

hd (m) ( ( m)m) dx

L'nergie d'anisotropie
Pour ce terme, on a

d d

G(m ) dx | =0 =

m G(m) ( ( m)m) dx.

(3.9)

En regroupant les quatre composantes trouves prcdemment (3.6,3.7,3.8,3.9),

entendu, toutes les drivations sous le signe intgral que nous allons faire maintenant sont justier et font l'objet de l'exercice 3.1.

1 Bien

28

CHAPITRE 3.

LE PROBLME DE MINIMISATION

on obtient

0 = =

d E (m ) | =0 d m (h + hd (m) m G(m)) dx

|m|2 (h + hd (m) m G(m)) m (m (3.10) ) dx

ce qui est bien le rsultat annonc dans le thorme 2.

L'quation d'Euler-Lagrange a aussi une autre version compltement quivalente.

Thorme 3. De manire quivalente, m H 1 (, S2 ) est solution de l'quation d'Euler-Lagrange (3.4) si et seulement si tions
3

vrie au sens des distribu-

i=1

xi

m m (h + hd (m) m G(m)) m = 0. xi

(3.11)

lieu non seulement pour des fonctions test de D (, R ), mais aussi pour des 1 de H0 (, R3 ) L (, R3 ). On considre donc D(, R3 ) et on prend = m . L'quation (3.10) devient fonctions test

Dmonstration. On constate (par densit) que la formulation faible (3.10) a 3

0 =
3

m (h + hd (m) m G(m)) dx m m m + m dx xi xi xi xi (h + hd (m) m G(m)) m dx.

=
i=1

Le premier terme est nul, et il reste

i=1

m m dx xi xi

((h + hd (m) m G(m)) m) dx

(3.12)

ce qui signie exactement que

vrie (3.11) au sens des distributions. De

mme, on voit que (3.12) a encore un sens (toujours par densit) lorsque la 1 3 3 fonction test est dans H0 (, R ) L (, R ). On teste de nouveau avec = m pour D(, R3 ) et on obtient de nouveau (3.10).

3.3.

CONVERGENCE DE POINTS STATIONNAIRES

29

3.3 Convergence de points stationnaires


Un des avantages de cette deuxime formulation est qu'elle permet des convergences plus facilement. A titre d'exemple d'illustration, on donne le rsultat suivant :

Thorme 4.

Soit

(mn )nN

une suite d'lments de

sationnaires (solutions de (3.4) ou (3.11)) en extraire une sous suite qui converge vers aussi une solution de (3.4) et (3.11). Dmonstration. Sachant que
une sous-suite (que l'on

H 1 (, S2 ) de points 1 borne dans H . Alors on peut 1 2 un lment de H (, S ) qui est

(mn )nN est borne dans H 1 , on peut en extraire note toujours (mn )nN ) qui vrie H 1 quand n +, 2 fortement dans L quand n +, p.p. quand n +,
faiblement dans on prend l'quation d'Euler-Lagrange

mn m mn m mn m
de sorte que sous la

m H 1 (, S2 ). Ensuite 3 forme (3.12), D (, R ) mn mn dx xi xi

((h + hd (mn ) m G(mn )) mn ) dx

(3.13)

i=1

et l'on fait passer tous les termes la limite. Le premier terme passe la limite du fait que

mn m 2 faiblement dans L xi xi mn m fortement dans L2 .


Le terme contenant le champ dmagntisant passe aussi la limite puisque 2 par continuit de hd sur L , on a

hd (mn ) hd (m )

fortement dans

L2 . m

Les autres termes passent la limite par convergence domine. Ainsi, vrie aussi (3.11) et donc est un point stationnaire de l'nergie.

3.4 Champ eectif


Lorsque l'on reprend les notations du problme physique (avec les constantes physiques), l'quation d'Euler-Lagrange devient

2A K M Ha Hd (M ) + m G 2 Ms Ms

M Ms

= M.

30

CHAPITRE 3.

LE PROBLME DE MINIMISATION

Le terme de gauche de cette quation a la dimension d'un champ magntique et on le nomme (au signe prs) le champ eectif ou parfois champ total.

Hef f =

E (M ) , M 2A K = m G M + Ha + Hd (M ) 2 Ms Ms

M Ms

L'quation d'Euler-Lagrange traduit donc le fait que pour un point stationnaire, le champ total vu par le matriau est align avec l'aimantation. On comprend aussi maintenant l'introduction du facteur

gie dmagntisante. En eet, l'nergie dmagntisante tant quadratique, ce facteur

1 2

dans l'ner-

champ total dans lequel le champ dmagntisant s'ajoute au champ total. Nous verrons plus tard, que ce champ dmagntisant a tendance compenser (au moins pour des petits cahmps extrieurs) en s'opposant au champ

1 2

permet lorsque l'on crit l'quation d'Euler-Lagrange d'avoir un

Ha .

Il dmagntise donc la particule.

3.5 Lien avec les applications harmoniques valeurs dans la sphre


La majeure partie des techniques exposes dans ca paragraphe viennent directement de techniques dveloppe pour l'tude des applications harmoniques valeurs dans la sphre. En tout tat de cause, ce qui permet de faire fonctionner les mthodes employes est que l'nergie du micromagntisme peut tre vue comme une perturbation de l'nergie de Dirichlet. Minimiser l'nergie de Dirichlet sous la contrainte d'tre valeurs dans la sphre unit permet prcisment de trouver des applications harmoniques valeurs dans la sphre.Ce sujet fut l'objet d'un grand nombre de publications dans les annes 90. On citera titre d'exemple [5] et [6] et les rfrences prsentes dans ces articles. Plus rcemment le livre de F. Hlein [7] est aussi une excellente rfrence.

3.6 Rcapitulatif
Pour l'existence de solution au problme de minimisation, on utilise la mthode directe du calcul des variations. Le terme principal est le terme d'change et les autres termes peuvent tre vus comme des perturbations de

3.6.

RCAPITULATIF

31

celui-l. De mme, en ce qui concerne la convergence de congurations stationnaires vers une conguration stationnaire, les techniques introduites pour l'tude des applications harmoniques valeurs dans la sphre se montrent tout fait adaptes. De nouveau tous les termes sont des perturbations face l'nergie d'change.

32

CHAPITRE 3.

LE PROBLME DE MINIMISATION

3.7 Exercices
Exercice 3.1
On prend Pour Justication des derivations sous le signe somme qui per-

mettent de trouver l'quation d'Euler.

3 un minimiseur de l'nergie micromagntique et C (, R ). 1 2 susamment petit, on considre m H (, S ) dni par

x , m (x) =
Montrer que

m(x) + (x) . |m(x) + (x)|

(3.14)

m d m h m dx = h d d m hd (m ) m dx = 2 hd (m ) d d m (m ) dx = m (m ) d |m |2 dx = 2 m

d d

dx dx dx dx

Exercice 3.2
minimisation

On considre pour

g = (g0 , g1 ) (S2 )
1

le problme de

mHg (]0,1[,S2 )
o

min 1

dm dt

dt m(0) = g0 , m(1) = g1 } .

(3.15)

1 Hg (]0, 1[, S2 ) = {m H 1 (]0, 1[, S2 )

tel que

 Montrer que le problme de minimisation (3.15) a toujours une solution.  Ecrire l'quation d'Euler-Lagrange associe au problme (3.15).  Rsoudre l'quation d'Euler-Lagrange prcdente et calculer explicite2 ment la (ou les) solution(s). On commencera par montrer que

dm dt

Cte.

On pourra distinguer les cas

g0 = g1

et

g0 = g1 .

Exercice 3.3
dre

Singularits dans les applications harmoniques. On consi2 un ouvert born et rgulier, et g : S . Enn on considre

3.7.

EXERCICES

33

le problme de minimisation

1 (,S2 ) mHg

min

|m|2 dx

(3.16)

1 Hg (, S2 ) = {m H 1 (, S2 )

tel que

m| = g } . x , |x| x |x|

 Montrer que le problme de minimisation (3.15) a toujours une solution.  Ecrire l'quation d'Euler-Lagrange associe au problme (3.16).  Montrer que si

contient 0 et si

g (x) =

alors

m(x) =

est

une solution de l'quation d'Euler-Lagrange. Conclure qu'il existe des solutions de l'quation d'Euler-Lagrange qui ne sont pas rgulires (m H 1 () mais m / C ()).

34

CHAPITRE 3.

LE PROBLME DE MINIMISATION

Chapitre 4 Particules mono-domaines


Lorsque les particules magntiques considres sont d'une taille infrieure la longueur d'change, on imagine que l'nergie d'change est prpondrante et que la distribution d'aimantation varie trs peu l'intrieur de l'chantillon. Une bonne approximation doit alors tre obtenue en considrant des distributions constantes (en espace) et en minimisant l'nergie sous cette contrainte supplmentaire. Nanmoins, pour donner un cadre rigoureux cette intuition, il faut pouvoir considrer des suites de problmes de minimisation dpendant d'un paramtre (la taille

de la particule) et considrer la

limite de ces problmes de minimisation lorsque

tend vers 0. Faire converconvergence.

ger des problmes de minimisation dpendant d'un paramtre n'est pas, a priori, vident et peut se faire en utilisant la thorie de la Le but de ce chapitre est de donner les principes de base de cette thorie et de l'appliquer au problme en question. La plupart du matriel de ce chapitre provient de [4] et nous renvoyons le lecteur intress par obtenir de plus amples informations sur la [1] ou au polycopi [2].

convergence au livre pdagogique d'A. Braides

4.1 Cadre de la convergence


Dans cette partie, on se place dans un espace de Hilbert

considre le problme de minimisation dpendant du paramtre

H , et >0

l'on

(P )
1 Nous

min E (u).
u H

dcrivons ici la convergence dans les espaces de Hilbert. Il existe aussi des dveloppements plus rans, par exemple dans les espaces de Banach, voire les espaces mtriques [2].
35

36

CHAPITRE 4.

PARTICULES MONO-DOMAINES

dans lequel

. E : H R
De mme, nous considrons le problme (qui sera le problme limite lorsque

0) (P0 ) min E0 (u).


u H

. E0 : H R
On considre enn une topologie ment la topologie forte ou faible)

pour la convergence dans

(gnrale-

Dnition 1.

 Pour a

On dit que la famille de problmes de minimisation

(P )>0

converge vers

vantes pour tout

P0 lorsque tend vers 0 si l'on a les deux proprits suiu0 H : toute famille (u )>0 convergeant vers u0 pour la topologie T , on lim inf E (u ) E0 (u0 ).
0
(4.1)

 Il existe une famille telle que l'on ait

(u )>0
0

convergeant vers

u0

pour la topologie

T,

lim E (u ) = E0 (u0 ).

(4.2)

On note alors

E E0 .
Le cadre de la

(T )

Remarque 2.
limite

convergence

ne fournit pas le problme

P0 .

Il faut le proposer et dmontrer que c'est celui-ci qui convient. En

pratique, on dtermine des suites

P0

en essayant de trouver la limite de

(u )>0

qui convergent vers

u0 .

Cette limite candidate sera

E (u ) pour E0 (u0 ).

Remarque 3.
convergence

Le gros avantage des deux proprits dmontrer pour avoir d'une famille de problmes de minimisation est qu'elle ne

font en aucune faon intervenir le fait que un minimiseur de dmontrer.

u0

(resp.

u )

est ou n'est pas

E0

(resp.

E ).

On a ainsi deux proprits gnriques

Le principal rsutlat qui a fait le succs de cette thorie est la convergence des minimiseurs.

une famille de minimiseurs pour les problmes (T ) de minimisation (P ). On suppose que E E0 , et que de (u )>0 , on peut extraire une sous suite convergeant vers

Thorme 5.

Soit

(u )>0

u0

dans

pour la topologie

T . Alors
(4.3)

u0

est une solution de

(P0 )

et de plus
0

lim E (u ) = E0 (u0 ).

4.2. APPLICATION AU PROBLME DU MICROMAGNTISME DANS LES PARTICULES MONO

Dmonstration. On considre donc

(u )>0

de

telle que

> 0, u (u )>0 u0 H .

minimise

dans

H.
une sous suite (que l'on

On suppose aussi que l'on peut extraire de note toujours

(u )>0

par commodit, qui converge dans

pour la topologie

vers

D'aprs la premire proprit de la que

convergence,

on a ncessairement (4.4)

lim inf E (u ) E0 (u0 ).


0
Par ailleurs, la deuxime proprit de la tout

v0 H ,

il existe une suite

(v )>0

d'lments de

convergence entrane que pour H telle que T

v v0
0 0
On a donc puisque

pour la topologie

lim E (v ) = E0 (v0 ).
est une famille de minimiseurs

(u )>0

E0 (v0 ) = lim E (v )
0

lim sup E (u )
0

lim inf E (u )
0

E0 (u0 )
ce qui montre que

u0

est une solution du problme de minimisation

P0 .

La

relation (4.3) s'obtient en considrant deviennent alors toutes des galits.

v0 = u0 .

Les ingalits prcdentes

4.2 Application au problme du micromagntisme dans les particules monodomaines


An d'tudier des petits chantillons ferromagntiques, on va considrer 3 un domaine R born et le mettre l'chelle en prenant, pour tout > 0, = . On posera aussi, pour m H 1 ( ),

m (x) = m

x ,

38

CHAPITRE 4.

PARTICULES MONO-DOMAINES

de sorte que de

m H 1 ()

est dni sur un ouvert xe qui ne dpend pas

En calculant ensuite l'nergie micromagntique en fonction de

on

trouve sans dicult

E (m) =

1 2

|m|2 dx

h m dx G(m) dx

= 2

1 2

hd (m) m dx +

|m |2 dx 3

h m dx G(m ) dx

(4.5)

=: E (m ).

3 2

hd (m ) m dx + 3

(Le seul terme qui ne soit pas compltement vident dans le calcul prcdent est l'nergie dmagntisante et il faut remarquer que

hd

est en fait un

multiplicateur de Fourier dont le symbole est homogne de degr 0.) 1 2 On enn pour m H (, S )

E (m ) =

E (m ) 3 1 = |m |2 dx h m dx 22 1 hd (m ) m dx + G(m ) dx, 2 E (m ) = +

et

si

m / H 1 (, S 2 ).
On pense que le facteur

et l'on est ainsi amen poser

1 22

doit pnaliser les congurations non constantes

H0 = m H 1 (, S 2 )
et

tel que

est constant sur

(4.6)

m / H0 1 E0 (m ) = h m dx 2
si

hd (m ) m dx +

G(m ) dx

sinon. (4.7)

On va ensuite montrer le thorme suivant

4.2. APPLICATION AU PROBLME DU MICROMAGNTISME DANS LES PARTICULES MONO

Thorme 6.

On a

E E0

(H 1 )

lorsque

0, H 1 ().

(4.8)

o la convergence lieu par rapport la topologie forte dans

Dmonstration. Il s'agit de montrer les deux proprits (4.1-4.2) de la d1 3 nition de la convergence. On prend donc m0 H (, R ), et on spare
l'tude en plusieurs cas.

1er cas.

m0 / H 1 (, S2 ). On a E0 (m0 ) = +, et l'on H 1 (, S 2 ) qui converge vers m0


Si

ne peut pas trouver de suite donc

lim inf E (m ) = +,
0
pour toute suite rsultat.

(m )

qui converge vers

m0

dans

H 1,

ce qui tablit le

2me cas.
Soit

Si

m0 H 1 (, S 2 )

n'est pas constant.

(m )>0

une famille qui converge vers

m0

dans

H 1.

Puisque

m0

n'est pas constant, alors

1 lim inf 2 0 2

|m |2 dx = +,

de sorte que

lim inf E (m ) lim inf


0 0

1 22

|m |2 dx |h|||

= + = E0 (m0 )
ce qui montre (4.1). On dmontre (4.2) dans ce cas en prenant

>

0, m = m0 .

3me cas.

Si

m0 H 1 (, S 2 )

est constant.

Dans ce dernier cas, en prenant

m = m0 ,

on a

E (m ) = E0 (m0 )
ce qui dmontre (4.2). Pour (4.1), on considre une famille (m )>0 m m0 lorsque 0 fortement dans H 1 , et l'on considre 1 2 le cas o m H (, S ) (sinon lim inf 0 E (m ) = + et il n'y a telle que rien dmontrer).

40

CHAPITRE 4.

PARTICULES MONO-DOMAINES

Comme

m m0
0

fortement dans

L2

on a

lim

h m dx =

h m0 dx 1 2 hd (m0 ) m0 dx

lim lim

1 2

hd (m ) m dx =

G(m ) dx =

G(m0 ) dx

(la dernire galit s'obtenant en extrayant une ventuelle sous suite de

(m )>0 ),

de sorte que

0
Enn, puisque

lim E0 (m ) = E0 (m0 ). 1 22 |m |2 dx

(4.9)

E (m ) = E0 (m ) +

on dduit (4.1).

Remarque 4.

Dans le problme de minimisation

P0 ,

plusieurs termes sont

faciles calculer puisque les congurations pertinentes sont constantes en espace. Ainsi, si

m = m ,

on a

h m dx = ||h m, G(m) dx = ||G(m ).

En revanche, l'nergie dmagntisante n'a pas d'expression explicite. Elle voit la forme du domaine m = 3 i ei , on a i=1 m

et pas seulement son volume. Ainsi, en crivant hd (m ) dx

1 2

1 hd (m) m dx = m 2
3

1 m im j 2 i,j =1

hd (ei ) ej dx

= (Dm, m ),
o

est la matrice

33

donne par

Dij =
que

1 2

hd (ei ) ej dx.

On voit sans peine grce aux proprits du champ dmagntisant (

??) et (??)

D est une matrice symtrique positive dont toutes les valeurs propres sont comprises entre 0 et ||/2. Nanmoins, l'expression explicite de la matrice D ne peut tre obtenue que dans quelques cas de domaines particuliers
(comme par exemple les ellipsodes, voir [10]).

4.3. COURBES D'HYSTERESIS ET ASTRODE DE STONER-WOHLFAHRT41

4.3 Courbes d'hysteresis et astrode de StonerWohlfahrt


Il parat naturel d'tudier le problme limite

m S 2

min E0 (m ),

(4.10)

ou, ce qui revient au mme d'aprs la remarque 4

m S 2

min (Dm, m ) + || (G(m ) (h, m )) h R3 .

(4.11)

en fonction du paramtre

4.3.1 Un premier exemple instructif


Il s'avre que le problme prcdent est dj trop complexe pour comprendre exactement ce qu'il se passe. On le simplie de faon drastique en faisant une tude de la stabilit de

m = e1

dans un cas o la direction

Ox

est normment privilgie. Ainsi nous allons supposer  que l'anisotropie est uniaxe dans la direction  que la matrice

se diagonalise dans les

Ox : G(m) = m2 2 trois directions Ox, Oy

et

Oz

(nous reviendrons sur cette hypothse qui s'avre naturelle pour les

particules d'paisseur ne),

d1 0 0 D = 0 d2 0 , 0 0 d3
avec

0 < d1 < d2 < d3 h

|| . 2 Oxy

 que le champ

n'a qu'une composante horizontale

h = (h, 0, 0)

(nous

relaxerons cette contrainte ensuite),  que les aimantations appartiennent au plan nous tudierons la stabilit de  que et plus prcisment

m = e1 ,
2 m2 1 + m2 = 1,
on

|| = 1.

Quitte tout diviser par une constante, et en utilisant se ramne ainsi au problme

mS 1
o

min m2 1 hm1 , F (m) = m2 1 hm1 .

= d1 d2 1 < 0.

On pose dans la suite

On a alors la proposition suivante :

42

CHAPITRE 4.

PARTICULES MONO-DOMAINES

Proposition 5.

La solution du problme de minimisation est

m=

e1 si h > 0, e1 sinon.

Dmonstration. Par symtrie, il sut de faire le cas o

h > 0.

On a alors

m S 2 , F (m) h = F (e1 ),
dans laquelle la premire ingalit est stricte si Toutefois, si

m = e1 .
sur

e1

est le minimiseur global de

S 1 , pour h > 0, e1
pour tout

reste

stable pour des champs magntiques lgrement ngatifs.

Proposition 6. m = e1

est un minimum local de

tel que
(4.12)

h > 2.

Dmonstration. On considre des variations de e1 de la forme


pour

m=( 1

2,

= 0.

1 | |< , 2

et l'on fait un dveloppement limit de

F (m )

au voisinage de

On trouve

F (m )

= =

m2,1 hm ,1 (1 2 ) h 1
2

=0 h +
Lorsque

h 2

+ O( 4 ). m = e1
est un

h > 2

le coecient en

est positif montrant que

minimum local stable. Enn, pour

h < 2

on a le rsultat suivant

Proposition 7.

Sous la condition

|h| > 2||


les seuls points critiques de

(4.13)

sur

S1

sont

m = e1 .

4.3. COURBES D'HYSTERESIS ET ASTRODE DE STONER-WOHLFAHRT43

Dmonstration. L'quation d'Euler-Lagrange du problme est

F (m) = m, m
ou encore

2m1 h 0
d'o l'on dduit que

m1 m2
n'a pas de solution

m2 = 0

(l'quation

2m1 h = 0

m1 [1, 1]

sous la condition (4.13).

On a alors la courbe suivante qui montre la stabilit (ou l'instabilit) de

m = e1

Ainsi, pour des champs magntiques

trs grands, l'chantillon

m1

0 1

Fig. 4.1  Courbe d'hysteresis du problme (4.12).

est satur dans la direction du champ magntique, diminue le champ, l'aimantation reste gale diminue toujours, c'est--dire que l'on change reste stable tant que de direction,

m = e1 . Lorsque l'on e1 tant que h > 0. Ensuite on la direction du champ m = e1

h > 2

bien que ce ne soit pas un minimiseur global

(seulement local). En dessous de

h = 2,

l'aimantation change brutalement

e1

devient instable au prot de

m = e1

qui sature l'chantillon

dans l'autre direction. En remontant le champ magntique extrieur, la bifurcation a lieu en

h = 2

L'aimantation solution dpend non seulement

du champ extrieur, mais aussi de la direction de laquelle on vient (ou de l'histoire passe). Ce phnomne s'appelle l'hysteresis.

44

CHAPITRE 4.

PARTICULES MONO-DOMAINES

4.3.2 L'astrode de Stoner-Wohlfahrt


Une gnralisation de la situation prcdente s'obtient en considrant maintenant

h = (h1 , h2 ),

et l'on cherche les bifurcations en 2d maintenant.

On peut aussi, pour simplier l'tude paramtrer

sous la forme

m =

(cos(), sin()). g ())

L'nergie (en fonction de

prend maintenant la forme (o

l'on a regroup l'anisotropie et le terme dmagntisant en une unique fonction

F () = g () h1 cos() h2 sin().
Dornavant, les points critiques de

sont solutions de

F () = 0

ou encore (4.14)

g () + h1 sin() h2 cos() = 0,
alors que la stabilit est caractrise par

F () = g () + h1 cos() + h2 sin() > 0.


Les changements de comportement (stabilit-instabilit) de la solution sont alors obtenus lorsque

s'annulle et change de signe, de sorte que l'on

cherche rsoudre le systme

g () + h1 sin() h2 cos() = 0, g () + h1 cos() + h2 sin() = 0. h = (h1 , h2 ).


On trouve aisment

(4.15)

On dtermine les champs magntiques critiques en rsolvant ce systme en

h1 = g () sin() g () cos(), h2 = g () cos() g () sin().

(4.16) (4.17)

Le cas d'une anisotropie uniaxe dans la direction horizontale se traite en 2 prenant g () = sin () et le systme (4.17-4.17) devient alors

h1 = 2 cos3 (), h2 = 2 sin3 ().

(4.18) (4.19)

Ceci est l'quation paramtrique d'une astrode qui a t dcrite dans [13] la 3 3 premire fois. Par ailleurs, en posant h() = 2( cos (), sin ()), l'astrode de Stoner-Wohlfahrt peut tre vue comme l'enveloppe de la famille de droites d'quations

D : (h h()) (sin(), cos()) = 0.


Cela montre que pour un champ donn, les seules solutions de (4.14), sont les valeurs de

pour lesquelles

h h()

m.

4.4.

CONVERGENCE

ET MINIMA LOCAUX

45

On obtient donc, pour un champ magntique chant les droites passant par au nombre de 2 si

h donn, des solutions en cher-

et tangentes l'astrode. Ces droites sont

est en dehors de l'astrode et 4 sinon. Par ailleurs, les

aimantations solutions sont diriges par les droites en question. Cette reprsentation gomtrique de la solution a t propose dans [12]. Des gnralisations de la mthode des anisotropies non quadratiques sont possibles et modient la forme de l'astrode qui va maintenant se dformer en fonction de l'anisotropie. D'autres directions de gnralisation ont par ailleurs t explores comme par exemple la situation tridimensionnelle. L'astrode devient une surface beaucoup plus complique caractriser (voir par exemple [14]). L'exemple prcdent montre que l'tude des minimiseurs globaux de l'nergie du micromagntisme est insusante. Il faut aussi concentrer notre attention sur les minimiseurs locaux qui sont responsables de la courbe d'hysteresis de rponse du matriau un champ magntique. Le travail fourni dans la premire partie de ce chapitre se rvle donc insusant puisque, pour l'instant, la thorie de la

convergence que nous avons dveloppe est incapable

de traiter les minimas locaux. Il existe nanmoins une extension de cette thorie due l'origine Kohn et Sternberg [9] qui permet de comprendre le comportement des minimias locaux vis--vis de la monodomaines.

convergence.

C'est

ce que nous allons dcrire maintenant dans le cadre prcdent des particules

4.4
suivant.

convergence

et minima locaux
convergence
pour des minimiseurs

L'application de la thorie de la

locaux a t tablie dans [9]. Applique notre problme l'nonc devient le

Thorme 7.
H 1.

Soit

Alors il existe

minimiseur local

m0 un minimiseur local strict de E0 pour la topologie 0 > 0 et une famille (m )0<<0 telle que m soit un 1 (pour la norme H ) de E et de plus
fortement dans

m m0

H1

lorsque

0.

(4.20)

Dmonstration. On rcrit l'hypothse sous la forme

> 0, m H 1 ()

tel que

0 < ||m m0 ||H 1 , E0 (m) > E0 (m0 ),


(4.21)

et on dcompose la preuve en trois tapes.

46

CHAPITRE 4.

PARTICULES MONO-DOMAINES

1re tape.

On construit un minimiseur

de

sur

B = m H 1 (, R3 )

tel que

||m m0 ||H 1 .

On utilise pour cela la mthode directe du calcul des variations. La mthode est exactement la mme que celle vue dans le chapitre et l'on obtient directement l'existence d'une solution ailleurs, on a aussi comme sous-produit

??

dans

B.

Par

E (m ) E (m0 ) = E0 (m0 ), m H 1 (, S 2 ).
La deuxime rsultat vient du fait que l'on aurait le cas contraire.

(4.22) (4.23) dans

E (m ) = +

2me tape.

On montre que pour

< 0

assez petit,

est un mini-

miseur local de l'intrieur de une suite

E . m
est en fait  on suppose qu'il existe

D'aprs l'tape prcdente, il sut de montrer que

B . En raisonnant par l'absurde (n )nN tendant vers 0 telle que

n N, ||mn m0 ||H 1 = .
D'aprs (4.22) on a que renomme pas) que

(4.24)

(mn )

est uniformmnet borne dans

H1

et

l'on peut donc supposer (quitte extraire une sous-suite que l'on ne

mn m mn m mn m
de sorte que que

faiblement dans fortement dans p.p.

H 1, L2 ,

m H 1 (, S 2 ). lim

Par ailleurs, de (4.22), on dduit aussi

n+

|mn |2 dx = 0,

de sorte que m est constant et qu'en fait la convergence est forte 1 dans H . On a alors, en passant la limite dans (4.24)

||m m0 || = ,

(4.25)

puis en passant la limite dans (4.22) et en utilisant le fait que converge vers E0 pour la topologie forte de H 1

E0 (m ) lim inf En (mn ) E0 (m0 ).


n+

(4.26)

4.4.

CONVERGENCE

ET MINIMA LOCAUX

47

Les deux rsultats (4.25) et (4.26) sont en contradiction avec l'hypothse du thorme (4.21).

3me tape.
supposer

On montre (4.20).

En rutilisant la partie prcdente (et l'estimation (4.22)), on peut quitte extraire une sous-suite (que l'on ne renomme pas) de nouveau

m m m m m m
o comme prcdemment, compacit, (4.1) de la

fortement dans fortement dans p.p.

H 1, L2 ,

,
est constante sur

m H 1 (, S 2 )

Par

m B , alors que de convergence, on a


0

nouveau par application du critre

E0 (m ) lim inf E (m ) E0 (m0 ).


Le seul moyen de ne pas contredire (4.21) est alors que seulement d'une sous-suite extraite).

(4.27)

m = m0 .

L'unicit de la limite prouve la convergence de toute la suite (et pas

48

CHAPITRE 4.

PARTICULES MONO-DOMAINES

4.5 Exercices
Exercice 4.1
locaux. Soit une Cadre gnral de la

convergence

et des minimiseurs

X Y deux espaces de Hilbert et T la topologie sur Y . On considre de fonctionnelles et E0 : X R telles que famille (E )>0 : X R E E0
(T )

quand

tend vers 0. On suppose que l'on a les deux proprits suivantes

pour toute suite

(j )j N tendant vers 0. (uj )j N telle que E( j )(uj ) C < +, on peut extraire une sous-suite qui converge pour la topologie T dans X . 2. Pour tout u0 X et tout > 0, l'inmum de Ej sur la boule
1. De toute suite

B = {u X, ||u u0 ||Y }
est atteint pour tout Montrer que si

j.

E0 isol dans Y (c'est--dire que E0 (v ) > E0 (u0 ) lorsque 0 < ||u u0 ||Y pour > 0), alors il existe une suite (j )j N qui converge vers 0, et une suite (uj )j N de minimiseurs de Ej locaux dans Y telles que uj u0 pour la topologie de Y lorsque j +. u0
est un minimiseur de

Chapitre 5 Parois et domaines dans les lms minces


Les photos que l'on a prsente dans le premier chapitre ne montrent pas de cahmp d'aimantation constants dans les chantillons. A l'inverse, elles montrent des structures en domaines spars par des parois trs nes. Dans les domaines, l'aimantation varie peu ou pas du tout alors qu' travers les parois, elle subit de trs brusques variations. Le fait que les chantillons ne sont pas du tout mono-domaines s'explique facilement en considrant que leur taille est grande devant la longueur d'change. En revanche, prdire d'aprs le modle du micromagntisme la (ou les) congurations en domaines observes ainsi que le comportement de l'aimantation l'intrieur des parois est autrement plus dlicat. Nous allons dans ce chapitre, expliquer la construction de Van den Berg qui permet une prdiction des structures en domaines observes et dcrire les deux types de parois classiques (parois de Bloch, et de Nel) qui dcrivent le comportement de l'aimantation dans certains rgimes.

5.1 Heuristique
Les parois et domaines apparaissent en l'absence de champ extrieur dans les matriaux ferromagntiques cause de la comptition entre les dirents termes nergtiques

E (m) = A

|m|2 dx +

1 2

|Hd (m)|2 dx +
R3

G(m) dx.

Suivant les poids respectifs de chacun de ces termes, des eets concurrentiels apparaissent donnant lieu aux structures (parfois trs complexes) que l'on observe exprimentalement.

49

50 CHAPITRE 5.

PAROIS ET DOMAINES DANS LES FILMS MINCES

5.1.1 Les lms minces


Dans ce chapitre, nous allons nous concentrer sur les matriaux doux (par exemple le permalloy

et dans le cas, particulirement important pour

les applications pratiques, o le matriau se prsente sous la forme d'un lm mince. On considre donc le domaine est beaucoup plus petite que le diamtre de

= ]0, [, dans lequel (voir Fig. 5.1)

l'paisseur

  

? 
6

     

Fig. 5.1  Un lm mince de matriau ferromagntique.

En supposant que l'aimantation est invariante dans l'paisseur du matriau

(le lm est mince),

m(x, y, z ) = m(x, y ),

(5.1)

et qu'il n'y a pas d'anisotropie (le matriau est doux), le problme revient comprendre la comptition entre le terme d'change et le terme dmagntisant. Dans le rgime dans lequel on se place, l'nergie d'change n'est pas la plus pnalisante. Il faut donc s'intresser aux congurations bidimensionnelles qui minimisent l'nergie dmagntisante seulement. Ainsi, on est conduit essayer de raliser bord sur

Hd (m) = 0,

ou ce qui revient au mme, chercher des

congurations bidimensionnelles divergence nulles dans

et tangentes au

En regardant sur le dessus (ou le dessous) de

on voit que

doit tre planaire (sinon, la composante normale de

n'est pas nulle

engendrant un champ dmagntisant non nul). On a alors ncssairement

m(x, y ) = (m1 (x, y ), m2 (x, y ), 0),


1 Le

(5.2)

permalloy est un alliage de Fer et de Nickel qui est caractris par une trs faible anisotropie, gnralement ngligeable. 2 Ceci est nullement vident, et demande tre justi dans les applications que l'on considre. Le comportement de l'aimantation dans l'paisseur du matriau est dans la pratique extrmement complexe et donne lieu une trs grande varit de comportement dirents et de parois direntes (parois de Bloch ou de Nel symtriques ou asymtriques). Nous reviendrons sur ce point plus tard.

5.1.

HEURISTIQUE

51

et il reste rsoudre on a div tandis que

|m| = 1

et div

m=0

dans

En se servant de (5.2), (et en supposant que

. est

simplement connexe),

m=0

sur

tel que

m = =

, y x

mn=0
La fonction

sur

= Cte

sur

est alors une solution de l'quation eikonale

| | = | | = 1 sur , = Cte = 0 sur .


tout

(5.3)

Nous allons voir que cette quation ne peut avoir de solution rgulire sur

Le prototype des solutions de (5.3) est

(x, y ) = dist((x, y ), ).

(5.4)

La construction de Van den Berg est une construction gomtrique qui permet de dessiner des solutions de (5.3).

5.1.2 La construction de Van den Berg


La construction de Van den Berg [15] est une rsolution gomtrique de (5.3) par la mthode des caractristiques. La distance au bord crot le long de rayons droits, orthogonaux au bord. Le long de ces rayons, l'aimantation est constante, orthogonale au rayon et dans le sens de l'aimantation au bord. On peut se convaincre du bien fond de cette approche en calculant la variation de m le long des directions orthogonales m. On a en notant m = (m2 , m1 )

m1 m1 + m1 x y (m )m = m2 m2 m2 + m1 x y 1 = m div m (|m|2 ) 2 = 0. m2
On construit ainsi localement, prs du bord l'aimantation partir des caractristiques qui partent du bord normalement ce dernier. Tant que les caractristiques ne se croisent pas, l'aimantation est dtermine de manire unique, gale l'aimantation au bord (voir Fig. 5.2). Lorsque deux caractristiques se croisent, l'aimantation n'est plus dnie, et de la mme faon que

52 CHAPITRE 5.

PAROIS ET DOMAINES DANS LES FILMS MINCES

Fig. 5.2  Construction de l'aimantation partir des caractristiques issues

du bord.
Fig. 5.3  Deux caractristiques se coupent. L'aimantation n'est pas dnie.

pour les quations hyperboliques, l'aimantation prsente une discontinuit (voir Fig. 5.3). On peut nanmoins caractriser gomtriquement les lieux des points de rencontre des caractristiques qu'il convient de considrer. En eet, si l'on prend deux caractristiques issues des points en

C,

elles dlimitent avec le bord un sous ensemble de

A et B du bord et qui se coupent que l'on appellera


on obtient (voir la Fig. 5.4 pour

En intgrant l'quation div

m=0

sur

les notations)

0 =

div

m dx

m n ds m n ds +
[AC ] [CB ]

m n ds +
(BA)

m n ds

= (|AC | |CB |)
o le signe

ou

est choisi en fonction de la valeur de

par rapport

aux normales des segments

[AC ]

et

[BC ].

On obtient ainsi le fait que les

deux caracteristiques qui se coupent doivent ncessairement avoir la mme longueur, ou autremement dit que le cercle de centre est bitangent (en

et de rayon

CA

et

B)

La construction de Van den Berg consiste

donc considrer l'ensemble des cercles bitangents

et le lieu singulier

de l'aimantation sera donn par le lieu de leur centres. Les rayons de ces cercles qui touchent le bord permettent de construire ( partir de la valeur de l'aimantation au bord) l'aimantation dans

. .

Fig. 5.4  Deux caractristiques se coupent en dlimitant un domaine

On a reprsent Fig. 5.5-5.8 des constructions de Van den Berg de domaines varis. La premire gure reprsente la conguration de Landau que nous avons dj rencontre chapitre

??.

Telle que nous l'avons prsente, la construction de Van den Berg permet de construire la solution correspondant la fonction

donne par (5.4). On

peut nanmoins compliquer la situation en juxtaposant des congurations

5.1.

HEURISTIQUE

53

@ @ @ 6 @ @ @ @ @ '$   &% 

? @ @

Fig. 5.5  Construction de Van den Berg de la conguration de Landau.

Fig. 5.6  Construction de Van den Berg pour un rectangle aux coins arron-

dis.

obtenues l'aide de constructions de Van den Berg pour des domaines plus simples. Par exemple, nous avons juxtapos Fig.

?? 2 congurations obtenues

en utilisant la construction de Van den Berg sur des demi-disques. Le rsultat n'est pas sans rappeler la conguration exprimentale observe Fig. 1.1. De cette faon, on peut construire un trs grand nombre de solutions du problme que l'on s'tait pos, gnralisant les congurations de Landau vues au chapitre

??. Il sut de dcouper le domaine le long de coupures arbi-

traires et de juxtaposer des congurations obtenues par construction de Van den Berg sur chaque sous-domaine. Un grand nombre de congurations observes dans les lms minces de permalloy (voir Figs. 1.3 et 1.1 par exemple) s'expliquent de cette faon. Il reste deux questions que ce procd ne permet pas de rsoudre.  Quelles sont les coupures choisies par la nature ? Les congurations observes s'obtiennent en coupant un domaine mais les coupures ne sont pas placees arbitrairement. La thorie ne dit pas o il faut placer les coupures pour obtenir des congurations physiquement ralistes.  D'o viennent les parois et que se passe-t-il dans les parois ? Pour l'instant, les congurations obtenues possdent des parois d'paisseur nulle. Ce n'est qu'une approximation. Dans la ralit, les parois ont une paisseur de l'ordre de quelques longueurs d'change. Le comportement de l'aimantation l'intrieur de ces parois est crucial pour la comprhension de leur placement. Ces deux questions sont indiscutablement lies et ont fait l'objet de nombreuses recherches. Si la situation est peu prs claire en ce qui concerne

54 CHAPITRE 5.

PAROIS ET DOMAINES DANS LES FILMS MINCES

Fig. 5.7  Un autre domaine plus complexe.

Fig. 5.8  Conguration sur un disque obtenue en collant deux constructions

de Van den Berg.

la deuxime question (et nous allons en donner les grandes lignes dans les paragraphes suivants), la rponse la premire question est encore largement inconnue.

5.2 Les parois de Bloch


5.2.1 Les parois 180 5.2.2 Les parois obliques

5.3 Les parois de Nel

5.4.

EXERCICES

55

5.4 Exercices

56 CHAPITRE 5.

PAROIS ET DOMAINES DANS LES FILMS MINCES

Chapitre 6 Equation de Landau-Lifschitz


6.1 Prcession d'un moment magntique 6.2 L'quation de Landau-Lifschitz 6.3 Existence de solutions faibles 6.4 Remarques
Non unicit, solutions fortes locales, rgimes asymptotiques...

57

58

CHAPITRE 6.

EQUATION DE LANDAU-LIFSCHITZ

6.5 Exercices

Chapitre 7 Mthodes numriques pour le calcul du champ dmagntisant


7.1 Le cas des maillages rguliers 7.2 Les mthodes intgrales 7.3 Alternatives par maillages de type exponentiel

59

60CHAPITRE 7. MTHODES NUMRIQUES POUR LE CALCUL DU CHAMP DMAGN

Chapitre 8 Algorithmes de minimisation pour le calcul de congurations stables

61

62CHAPITRE 8. ALGORITHMES DE MINIMISATION POUR LE CALCUL DE CONFIGU

Chapitre 9 Discrtisation par lments nis de l'quation de Landau-Lifschitz

63

64CHAPITRE 9. DISCRTISATION PAR LMENTS FINIS DE L'QUATION DE LAND

Chapitre 10 Quelques problmes actuels en micromagntisme mathmatique et numrique


10.1 Les lms minces 10.2 Les particules vortex 10.3 Modlisation des MRAM

65

66CHAPITRE 10. QUELQUES PROBLMES ACTUELS EN MICROMAGNTISME MAT

Chapitre 11 Conclusion

67

68

CHAPITRE 11.

CONCLUSION

Bibliographie
[1] A. Braides,

convergence

for beginners

[2] A. Braides et De Franceschi [3] W.-F. Brown, Micromagnetics [4] A. DeSimone [5] Eells, Lemaire [6] R. Hardt articel de revue sur les applications harmoniques [7] F. Hlein, Applications harmoniques et repres mobiles [8] A. Hubert et R. Schfer, Magnetic domains [9] R. V. Kohn et P. Sternberg, Local minimisers and singular perturbations, Proc. Roy. Soc. Edinburgh, 111A, 69-84, 1989 [10] Osborn, Champ dmag dans les ellipsodes [11] E. Stein, Intgrales singulires et fonctions direntiables de plusieurs

variables, Publications Mathmatiques d'Orsay, 1966-1967


[12] J. C. Slonczewski, Theory of magnetic hysteresis in lms and its ap-

plication to computers, Research Report RM 003.111.224 (IBM Corp.),


1956 [13] E. C. Stoner et E. P. Wohlfahrt, A mechanism of magnetic hysteresis in

heterogeneous alloys, Phil. Trans. Roy. Soc. A


[14] A. Thiaville [15] Van den Berg

240, 599-644, 1948

69

Index
convergence,
33 Applications harmoniques, 28 Champ dmagntisant, 6, 11 Champ eectif, 27 Construction de Van den Berg, 49 Dcomposition de Helmholtz, 12, 19 Energie d'change, 5 Energie dmagntisante, 6 Energie extrieure, 4 Equation de Landau-Lifschitz, 53, 59 Equation eikonale, 49 Espace de Beppo Levi, 12, 17 Facteur de qualit, 7, 15 Films minces, 47, 48 Hysteresis, 39, 41 Les particules vortex, 61 Longueur d'change, 7, 51 Matriau doux, 7, 15 Matriau dur, 7, 15 MRAM, 1, 61 Mthode de Galerkin, 53 Mthode directe (calcul des variations), 21 Paroi de Bloch, 7, 47, 51 Paroi de Nel, 47, 51 Permalloy, 48 Stoner-Wohlfahrt, 39, 42

70

You might also like