Professional Documents
Culture Documents
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.
ii
2 1
1 3 6 6 8 9 9 10
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
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
4 Particules mono-domaines
4.1 Cadre de la
35
. . . . . . . . . . . . . . . . . . . 35 iii
convergence
iv
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
4.4 4.5
convergence
Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
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
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
67 69 70
vi
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
1.5
1.6
2.1
5.3
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
. . . . . . . . . . . . . . . .
vii
viii
5.8
Conguration sur un disque obtenue en collant deux constructions de Van den Berg. . . . . . . . . . . . . . . . . . . . . . . 54
ix
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
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
congurations qui semblent se prsenter sous la forme de domaines spars par des parois trs nes au regard de la taille des domaines.
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
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.
CHAPITRE 1.
LE MICROMAGNTISME
laires, ellipsodales ou lenticulaires. Ces congurations sont trs bien dcrites par la construction de Van den Berg.
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 )
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 ).
1.2.
LE MODLE DU MICROMAGNTISME
Fig. 1.4 Trois congurations en domaines dans une mme particule circu-
laire.
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
CHAPITRE 1.
LE MICROMAGNTISME
Ha M
pour
|M | = Ms ,
on obtient
Eext (M ) =
sous la contrainte
Ha M dx,
(1.3)
|M (x)| = Ms x
M (x) =
Ha Ms |Ha |
pour tout
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 ,
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
NS
S (x) |S (x)|
dx
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 [3] par exemple, semble compliquer inutilement la modlisation est n'est donc jamais retenue en pratique.
(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
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)
u S2
est privi-
m = (m 1 , m2 , m3 )
2 2 2 2 2 K > 0, G(m) = m2 1 m2 + m1 m3 + m2 m3 .
La longueur d'change =
la taille est infrieure
2A0 . 2 Ms
),
A . K
Le facteur de qualit Q =
>> 1)
10
CHAPITRE 1.
LE MICROMAGNTISME
par rapport ceux dus l'nergie dmagntisante (Q les autres (ceux qui vrient
<< 1).
Un ma-
Q < 1)
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
1 2
G(m) dx.
(1.9)
hd (m)
(1.10)
1.4.
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)
l'induction
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
magntique du vide. Les units couramment utilises sont donnes dans la table 1.4.
variable
B H D E J 0 0 M
valeur
4 10
12
CHAPITRE 1.
LE MICROMAGNTISME
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 (m) W,
W, m dx,
(2.3)
d (m) dx =
R3
dans laquelle l'espace de Hilbert bilinaire
a(, ) =
R3
soit coercive sur l'on peut
dx D (R3 )
(2.4)
W. trouver W
||||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
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
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.
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.
15
Proposition 1.
thogonale.
On a
L2 (R3 ) = W rot W,
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),
(n )nN
et
(n )nN
(2.7) (2.8)
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
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 ).
m =0
dans
m H 1 ()
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
(2.12)
= d (n),
R3
on trouve
d (m) d (n) dx =
R3
m d (n) dx. m
et
(2.13)
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)
de l'oprateur
est
G = 0 ,
o
pact, (gal
),
on peut convoler
et div
pour obtenir
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.
hd
vu comme opratuer de
L2 (R3 )
dans
L2 (R3 )
est un op-
??), on trouve
d (m)( ) = i m, | |2
2.3.
17
) d (m) = i d (m)( ) = ( m h . 2 | |
Le symbole
a( ) =
| |2
hd (m) = 1 div m.
Comme
|a( )| 1, R3 ,
Parseval) que
hd : L2 (R3 ) L2 (R3 ),
est continu et que
hd : Lp (R3 )
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
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)
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
(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)
20
CHAPITRE 2.
LE CHAMP DMAGNTISANT
3. On pose
BL1 =
tel que
1 + |x|2
L2 (R3 )
et
L2 (R3 )
(2.19)
(, )BL1 =
R3
Montrer que dense dans
(2.20)
BL1 BL1 .
D(R3 )
est
BL1
muni du pro-
(, )H 1 =
jacentes
(x) (x) dx
R3
(2.21)
|| ||BL1
et
|| ||H 1
(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
(2.22)
d (m)
et on
Exercice 2.3
2.6.
EXERCICES
21
1. Soit
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
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
22
CHAPITRE 2.
LE CHAMP DMAGNTISANT
2. Soit 1
(, )
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
= 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
Montrer que si
alors le
et que l'on a
1 hd (m) = m. 3
En dehors de
en particulier).
Thorme 1.
inf mH E (m)
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+
(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
m H
et que
E (m ) = inf E (m),
mH
c'est--dire que
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
= max G(m), G 2
mS
on a
|mn (x)| = 1
p.p.t.
x ,
soit (3.2)
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.
m hd (m) dx =
R3
|hd (m)|2 dx
(d'aprs (
||m||2 L2 () = ||.
On en dduit la borne
??))
(3.3)
(mn )nN
est uniformment
3.2.
EQUATION D'EULER-LAGRANGE
25
(mnk )kN
telle que
mnk
on peut supposer
faiblement dans
H 1 ()
de faon compacte),
() 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
(mnk )k0
vers
Remarque 1.
contient pas
Dans le cas o
h = 0,
l'nergie est paire. Comme l'espace de minimisation est lui mme pair et ne
m = 0,
h = 0
relativement
faibles, on ne peut esprer avoir unicit. Toutefois, pour des champs trs im-
|h| >> 1,
donc avoir une solution qui s'aligne avec le champ. Ceci pourrait avoir une incidence sur l'unicit de la solution.
m h hd (m) + m G(m) = m,
o la fonction
(3.4)
L1 ()
dpendant de
26
CHAPITRE 3.
LE PROBLME DE MINIMISATION
point
de
La valeur de
m.
= (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.
| | < 0 =
1 1 2 ) on dnit m H (, S ) 2||||
x , m (x) =
Ensuite, on crit que
] 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 = ( 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 = 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 =
(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
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
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
0 =
3
=
i=1
i=1
m m dx xi xi
(3.12)
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.
29
Thorme 4.
Soit
(mn )nN
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
(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
(3.13)
i=1
et l'on fait passer tous les termes la limite. Le premier terme passe la limite du fait que
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.
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
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
Ha .
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-
x , m (x) =
Montrer que
(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)
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.
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
de la particule) et considrer la
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].
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
. E0 : H R
On considre enn une topologie ment la topologie forte ou faible)
(gnrale-
Dnition 1.
Pour a
(P )>0
converge vers
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)
(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
P0 .
P0
(u )>0
u0 .
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
u0
(resp.
u )
E0
(resp.
E ).
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
(P0 )
et de plus
0
lim E (u ) = E0 (u0 ).
(u )>0
de
telle que
> 0, u (u )>0 u0 H .
minimise
dans
H.
une sous suite (que l'on
(u )>0
pour la topologie
vers
convergence,
on a ncessairement (4.4)
v0 H ,
(v )>0
d'lments de
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
P0 .
La
v0 = u0 .
m (x) = m
x ,
38
CHAPITRE 4.
PARTICULES MONO-DOMAINES
de sorte que de
m H 1 ()
on
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
1 22
H0 = m H 1 (, S 2 )
et
tel que
(4.6)
m / H0 1 E0 (m ) = h m dx 2
si
hd (m ) m dx +
G(m ) dx
sinon. (4.7)
Thorme 6.
On a
E E0
(H 1 )
lorsque
0, H 1 ().
(4.8)
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.
lim inf E (m ) = +,
0
pour toute suite rsultat.
(m )
m0
dans
H 1,
ce qui tablit le
2me cas.
Soit
Si
m0 H 1 (, S 2 )
(m )>0
m0
dans
H 1.
Puisque
m0
1 lim inf 2 0 2
|m |2 dx = +,
de sorte que
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.
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
(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.
P0 ,
faciles calculer puisque les congurations pertinentes sont constantes en espace. Ainsi, si
m = m ,
on a
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
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.
??) 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]).
m S 2
min E0 (m ),
(4.10)
m S 2
(4.11)
en fonction du paramtre
m = e1
Ox
est normment privilgie. Ainsi nous allons supposer que l'anisotropie est uniaxe dans la direction que la matrice
et
Oz
(nous reviendrons sur cette hypothse qui s'avre naturelle pour les
d1 0 0 D = 0 d2 0 , 0 0 d3
avec
|| . 2 Oxy
que le champ
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
= d1 d2 1 < 0.
42
CHAPITRE 4.
PARTICULES MONO-DOMAINES
Proposition 5.
m=
e1 si h > 0, e1 sinon.
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
S 1 , pour h > 0, e1
pour tout
reste
Proposition 6. m = e1
tel que
(4.12)
h > 2.
m=( 1
2,
= 0.
1 | |< , 2
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
h < 2
on a le rsultat suivant
Proposition 7.
Sous la condition
(4.13)
sur
S1
sont
m = e1 .
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]
m = e1
m1
0 1
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,
h > 2
h = 2,
e1
m = e1
h = 2
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
h = (h1 , h2 ),
sous la forme
m =
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
(4.15)
(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
(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
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
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
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
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)
> 0, m H 1 ()
tel que
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.
E (m ) = +
2me tape.
< 0
assez petit,
est un mini-
E . m
est en fait on suppose qu'il existe
n N, ||mn m0 ||H 1 = .
D'aprs (4.22) on a que renomme pas) que
(4.24)
(mn )
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
H 1, L2 ,
m H 1 (, S 2 ). lim
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
(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
H 1, L2 ,
,
est constante sur
m H 1 (, S 2 )
Par
(4.27)
m = m0 .
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
(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
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.
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
l'paisseur
?
6
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,
et tangentes au
on voit que
(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
|m| = 1
et div
m=0
dans
. est
simplement connexe),
m=0
sur
tel que
m = =
, y x
mn=0
La fonction
sur
= Cte
sur
(5.3)
Nous allons voir que cette quation ne peut avoir de solution rgulire sur
(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).
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.
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,
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
par rapport
[AC ]
et
[BC ].
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)
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
. .
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
5.1.
HEURISTIQUE
53
@ @ @ 6 @ @ @ @ @ '$ &%
? @ @
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
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.
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.4.
EXERCICES
55
5.4 Exercices
56 CHAPITRE 5.
57
58
CHAPITRE 6.
EQUATION DE LANDAU-LIFSCHITZ
6.5 Exercices
59
61
63
65
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
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