Author manuscript, published in "Communications on Pure and Applied Analysis 8, 3 (2009) 871--879"
DOI : 10.3934/cpaa.2009.8.871
Manuscript submitted to
AIMS’ Journals
Volume X, Number 0X, XX 200X
Website: http://AIMsciences.org
pp. X–XX
SMOOTH CONTROL OF NANOWIRES BY MEANS OF A
MAGNETIC FIELD
Gilles Carbou
MAB, UMR 5466, CNRS, Université Bordeaux 1,
351 cours de la Libération, 33405 Talence cedex, France.
Stéphane Labbé
hal-00313779, version 1 - 27 Aug 2008
Université Joseph Fourier, Laboratoire Jean Kuntzmann, CNRS, UMR 5224,
51 rue des Mathématiques, B.P. 53, 38041 Grenoble Cedex 9, France.
Emmanuel Trélat
Université d’Orléans, Laboratoire MAPMO, CNRS, UMR 6628,
Fédération Denis Poisson, FR 2964,
Bat. Math., BP 6759, 45067 Orléans cedex 2, France.
Abstract. We address the problem of control of the magnetic moment in a
ferromagnetic nanowire by means of a magnetic field. Based on theoretical
results for the 1D Landau-Lifschitz equation, we show a robust controllability
result.
1. Model and control result. The magnetic moment u of a ferromagnetic material is usually modeled as a unitary vector field, solution of the Landau-Lifschitz
equation
∂u
(1)
= −u ∧ He − u ∧ (u ∧ He ),
∂t
where the effective field He is given by He = ∆u + hd (u) + Ha . The demagnetizing
field hd (u) is solution of the magnetostatic equations
div B = div (H + u) = 0 and curl H = 0,
where B is the magnetic induction. The applied field is denoted by Ha (see [3,
12, 17, 22] for more details on the modelization). Existence results have been
established for the Landau-Lifschitz equation in [4, 5, 13, 21], numerical aspects
have been investigated in [11, 15, 16], and asymptotic properties have been proved
in [1, 6, 10, 18, 20]; control issues were addressed in [9].
Here we restrict ourselves to a one dimensional model, i.e., we consider a ferromagnetic nanowire, submitted to an external magnetic field applied along the axis
of the wire and which is our control. The model is then written as (see [20])
∂u
= −u ∧ hδ (u) − u ∧ (u ∧ hδ (u)),
∂t
(2)
2000 Mathematics Subject Classification. Primary: 35B37, 93D15; Secondary: 93C20.
Key words and phrases. Landau-Lifschitz equation, control, stabilization.
The authors were partially supported by the ANR project SICOMAF (”SImulation et COntrôle
des MAtériaux Ferromagnétiques”).
1
2
GILLES CARBOU, STÉPHANE LABBÉ AND EMMANUEL TRÉLAT
2
where hδ (u) = ∂∂xu2 − u2 e2 − u3 e3 + δe1 . Here, (e1 , e2 , e3 ) is the canonical basis of IR3
and the nanowire is the real axis IRe1 . The magnetic field is written δ(t)e1 , where
the function δ(·) is our control. Setting h(u) = uxx − u2 e2 − u3 e3 , this yields
ut = −u ∧ h(u) − u ∧ (u ∧ h(u)) − δ(u ∧ e1 + u ∧ (u ∧ e1 )).
When δ ≡ 0, stationary solutions do exist, of the form


th x
M0 (x) =  0 
(3)
(4)
1
ch x
and are called Bloch walls. Their stability properties were studied in [7].
When δ(·) ≡ δ is constant, the solution writes
hal-00313779, version 1 - 27 Aug 2008
uδ (t, x) = Rδt M0 (x + δt),
(5)
where

1
0


Rθ = 
 0 cos θ

0 sin θ
0



− sin θ 


cos θ
is the rotation of angle θ around the axis IRe1 . It corresponds to a rotation plus
translation of the above wall along the nanowire.
Notice the invariance of (3) through translations x 7→ x − σ and rotations Rθ
around the axis e1 . This generates a three-parameters family of particular solutions
defined by
uδ,θ,σ (t, x) = MΛ uδ (t, x) = Rδt+θ M0 (x + δt − σ)
(6)
called travelling wall profiles.
Controlling these walls (position plus speed) might be relevant for coding and
transporting some information. This is our aim here to derive a controllability result, with an eye on possible applications such as rapid recording. In [9], control
properties were proven with piecewise constant controls. However, practical applications require the control to be smooth. Recall that the control here is an external
magnetic field applied along the nanowire. The main result of [9] strongly uses the
fact that the control is a piecewise constant function and our aim is here to extend
this result to the case of smooth controls, hence closer to practical issues.
Theorem 1.1. There exist ε0 > 0 and δ0 > 0 such that, for all δ1 , δ2 ∈ IR satisfying
|δi | ≤ δ0 , i = 1, 2, for all σ1 , σ2 ∈ IR, for every ε ∈ (0, ε0 ), there exist T > 0 and a
control function δ(·) ∈ C ∞ (IR, IR) such that, for every solution u of (3) associated
with the control δ(·) and satisfying
∃θ1 ∈ IR | ku(0, ·) − uδ1 ,θ1 ,σ1 (0, ·)kH 2 ≤ ε,
(7)
there exists a real number θ2 such that
ku(T, ·) − uδ2 ,θ2 ,σ2 (T, ·)kH 2 ≤ ε.
(8)
Moreover, there exists real numbers θ2′ and σ2′ , with |θ2′ − θ2 | + |σ2′ − σ2 | ≤ ε, such
that
′
′
ku(t, ·) − uδ2 ,θ2 ,σ2 (t, ·)kH 2 −→ 0.
(9)
t→+∞
SMOOTH CONTROL OF NANOWIRES
In the proof of the main result, we shall choose control laws δ(·) so that
if t ≤ 0,
δ1
δ(t) =
2
δ2 + σ1 −σ
if t ≥ T,
t
3
(10)
where T > 0 is large, δ|[0,T ] is a smooth function such that tδ̇ remains small, and
the function δ is smooth overall IR.
Notice that this control shares robustness properties in H 2 norm. The time T is
required to be large enough. It follows from this result that the family of travelling
wall profiles (6) is approximately controllable in H 2 norm, locally in δ and globally
in σ, in time sufficiently large.
hal-00313779, version 1 - 27 Aug 2008
2. Proof of Theorem 1.1. Similarly as in [7, 8, 9], it is relevant to first reexpress
the Landau-Lifschitz equation in adapted coordinates.
2.1. Preliminaries. The following formulas, easy to establish, will be useful next:


0
0
0
d
Rθ = 0 − sin θ − cos θ = Rθ+ π2 − e1 eT1 = R π2 Rθ − e1 eT1 ;
• dθ
0 cos θ
− sin θ
• v ∧ e1 = −R π2 v + v1 e1 ;
• Rθ u ∧ Rθ v = Rθ (u ∧ v);
• a ∧ (b ∧ c) = b(a.c) − c(a.b);
• Rθ (IRe1 ) = IRe1 .
It is clear from Equation (2) that the solution u has a constant norm. Up to
normalizing, assume this norm is equal to 1. Set v(t, x) = R−δ(t)t (u(t, x − δ(t)t));
then, v has a constant norm too, equal to 1. Using the above formulas, computations
lead to
vt = −v ∧ h(v) − v ∧ (v ∧ h(v)) − δ(vx + v1 v − e1 ) − tδ̇(vx − v3 e2 + v2 e3 ),
(11)
where we recall that h(v) = vxx − v2 e2 − v3 e3 . Define


 
1
0


M1 (x) =  ch0 x  and M2 = 1 .
0
−th x
In the frame (M0 (x), M1 (x), M2 ), the solution v : IR+ × IR −→ S 2 ⊂ IR3 writes in
the form
p
v(t, x) = 1 − r1 (t, x)2 − r2 (t, x)2 M0 (x) + r1 (t, x)M1 (x) + r2 (t, x)M2 .
Note that:
1
sh x
1
1
M1 (x), M1′ (x) = −
M0 , M0′′ (x) = − 2 M1 (x) − 2 M0 ;
ch x
ch x
ch x
ch x
1
1
M1 (x), e2 = M2 , e3 =
M0 − th x M1 (x);
• e1 = th x M0 +
ch x
ch x
2
• h(M0 ) = − 2 M0 ;
ch x
• M0 ∧ M1 = M2 , M0 ∧ M2 = −M1 , M1 ∧ M2 = M0 ;
Then, easy but lengthycomputations,
not reported here, show that v is solution of
r1
satisfies
(11) if and only if r =
r2
• M0′ (x) =
rt = Ar + R(t, δ, δ̇, x, r, rx , rxx ),
(12)
4
GILLES CARBOU, STÉPHANE LABBÉ AND EMMANUEL TRÉLAT
where
ℓ 0
r + G(r)rxx + H1 (x, r)rx + H2 (r)(rx , rx )
R(t, δ, δ̇, x, r, rx , rxx ) = − δ
0 ℓ
(13)
+ P (x, r) − δB(x, r) − tδ̇C(x, r),
and
L L
with L = ∂xx + (1 − 2th 2 x)Id;
• A=
−L L
• ℓ = ∂x + th x Id;
• G(r) is the matrix defined by
hal-00313779, version 1 - 27 Aug 2008

G(r) = 

r22
r1 r2

−p
r12
1−
p
p
1 − krk2
p
− 1 − krk2 + 1
1 − krk2
+
p
1−
krk2
r1 r2
−p
1 − krk2
krk2

−1

;

• H1 (x, r) is the matrix defined by
 p
r2 1 − krk2 − r1 r22

H1 (x, r) = p
1 − krk2 ch x
r2 − r23
−r2 + r2 r12
2
p
1−
krk2 r
2
+

r1 r22
;
• H2 (r) is the quadratic form on IR2 defined by
p

1 − krk2 r1 + r2
(1 − krk )X X + (r X) 
;
H2 (r)(X, X) =
p
(1 − krk2 )3/2
2
1 − krk r2 − r1
2
T
T
2

P 1 (x, r)
 , with
• P (x, r) = 
2
P (x, r)

p
1
sh x
1
P (x, r) =2r2 ( 1 − krk2 − 1) 2 − 2r1 r2 2 − 2r1 krk2 2
ch x
ch x
ch x
p
p
sh x
− 2r12 1 − krk2 2 + r13 + r2 (1 − 1 − krk2 ) + r1 r22 ,
ch x
and
p
1
sh x
1
P 2 (x, r) = − 2r1 ( 1 − krk2 − 1) 2 + 2r12 2 − 2r2 krk2 2
ch x
ch x
ch x
p
sh x
− 2r1 r2 1 − krk2 2 + r2 krk2 ,
ch x
p
p
1
1 − krk2 − 1 + r12
+ th x ( 1 − krk2 − 1)r,
• B(x, r) = (∂x + th x)r +
r r
ch x
p1 2
1 − krk2 1
0 −1
r+
.
• C(x, r) = ∂x + th x
1 0
−1
ch x
SMOOTH CONTROL OF NANOWIRES
5
It is clear that there holds
G(r) = O(krk2 ),
H1 (x, r) = O(krk),
H2 (r) = O(krk),
P (x, r) = O(krk2 ),
B(x, r) = O(krk + krx k),
hal-00313779, version 1 - 27 Aug 2008
C(x, r) = O(krk + krx k),
uniformly with respect to the variable x ∈ IR. Then, we infer that there exists a
constant C > 0 such that, if krk2IR2 = krk2 ≤ 12 and |δ| ≤ 1, then, for all p, q ∈ IR2 ,
for all x, t, ε ∈ IR,
kR(t, δ, ε, x, r,p, q)kIR2 ≤ C |δ|krkIR2 + |δ|kpkIR2 + t|ε| + t|ε|kpkIR2
(14)
+ krk2IR2 kqkIR2 + krkIR2 kpkIR2 + krkIR2 kpk2IR2 + krk2IR2 .
From this a priori estimate, one might consider R(t, δ, δ̇, x, r, rx , rxx ) as a remainder
term in Equation (12). The proof uses stability properties established for the linear
operator A, so as to establish. We next follow the same lines as in [9].
2.2. Change of coordinates. The operator L is a self-adjoint operator on L2 (IR),
of domain H 2 (IR), and L = −ℓ∗ ℓ with ℓ = ∂x + th x Id (one has ℓ∗ = −∂x + th x Id).
It follows that L is nonpositive, and that ker L = ker ℓ is the one dimensional
subspace of L2 (IR) generated by ch1 x . In particular, the operator L, restricted to
the subspace E = (ker L)⊥ , is negative.
Remark 1. On the subspace E:
• the norms k(−L)1/2 f kL2 (IR) and kf kH 1 (IR) are equivalent;
• the norms kLf kL2 (IR) and kf kH 2 (IR) are equivalent;
• the norms k(−L)3/2 f kL2 (IR) and kf kH 3 (IR) are equivalent.
Writing A = JL, with
1 1
,
−1 1
it is clear that the kernel of A is ker A = ker L × ker L; it is the two dimensional
space of L2 (IR2 ) generated by
1 0
and a2 (x) = ch x .
a1 (x) =
1
0
ch x
J=
Moreover, combining the facts that L|(ker L)⊥ is negative and that Spec J = {1 +
i, 1 − i}, it follows that the operator A, restricted to the subspace E = (ker A)⊥ , is
negative.
In what follows, solutions r of (12) are written as the sum of an element of
ker A and of an element of E. Since Equation (11) is invariant with respect to
translations in x and rotations around the axis e1 , for every Λ = (θ, σ) ∈ IR2 ,
MΛ (x) = Rθ M0 (x − σ) is solution of (11). Define
hMΛ (x), M1 (x)i
RΛ (x) =
,
hMΛ (x), M2 i
the coordinates of MΛ (x) in the mobile frame (M1 (x), M2 (x)).
6
GILLES CARBOU, STÉPHANE LABBÉ AND EMMANUEL TRÉLAT
The mapping
Ψ : IR2 × E −→ H 2 (IR)
(Λ, W ) −
7 → r(x) = RΛ (x) + W (x)
is a diffeomorphism from a neighborhood U of zero in IR2 × E into a neighborhood
V of zero in H 2 (IR). Indeed, if r = RΛ + W with W ∈ E, then, by definition,
hal-00313779, version 1 - 27 Aug 2008
hr, a1 iL2 = hRΛ , a1 iL2
and hr, a2 iL2 = hRΛ , a2 iL2 .
(15)
Conversely, if Λ ∈ IR2 satisfies ((15)), then W = r − RΛ ∈ E. The mapping
h : IR2 −→ IR2 , defined by h(Λ) = (hRΛ , a1 iL2 , hRΛ , a2 iL2 ) is smooth and satisfies
dh(0) = −2 Id, thus is a local diffeomorphism at (0, 0). It follows easily that Ψ is a
local diffeomorphism at zero.
Therefore, every solution r of (12), as long as it stays1 in the neighborhood V,
can be written as
r(t, ·) = RΛ(t) (·) + W (t, ·),
(16)
2
where W (t, ·) ∈ E and Λ(t) ∈ IR , for every t ≥ 0, and (Λ(t), W (t, ·)) ∈ U. In these
new coordinates2 , Equation (12) leads to (see [7] for the details of computations)
Wt (t, x) = AW (t, x) + R(t, δ, ε, Λ(t), x, W (t, x), Wx (t, x), Wxx (t, x)),
(17)
Λ′ (t) = M(Λ(t), W (t, ·), Wx (t, ·)),
2
2
2
where R : IR × IR × IR × IR2 × IR × H 2 (IR) × H 1 (IR) × L2 (IR) −→ E and
2
2
M : IR2 × H 1 (IR) × L2 (IR) −→ IR2 are nonlinear mappings, for which there
exist constants K > 0 and η > 0 such that
kR(t, δ, ε, Λ, ·, W, Wx , Wxx )k(H 1 (IR))2
≤ K kΛkIR2 + |δ| + t|ε| + kW k(H 2 (IR))2 kW k(H 3 (IR))2 + Kt|ε|,
|M(Λ, W, Wx )| ≤ K kΛkIR2 + kW k(H 1 (IR))2 kW k(H 1 (IR))2 ,
(18)
(19)
for every W ∈ E, every δ ∈ IR, every t ≥ 0, and every Λ ∈ IR2 satisfying kΛkIR2 ≤ η.
Note that, since L is selfadjoint, it follows that AW ∈ E, for every W ∈ E, and thus
(17) makes sense.
2.3. Asymptotic estimates. Denoting W =
the function
2
W1
, define on H 2 (IR) × IR2
W2
2
1
1
1
L 0
V(W ) = W
= kLW1 k2L2 (IR) + kLW2 k2L2 (IR) .
2
0 L
2
2
2
2
(L (IR))
Remark 2. It follows from Remark 1 that, on the subspace E = (ker A)⊥ ,
is a norm, which is equivalent to the norm kW k2(H 2 (IR2 )) .
1 This
(20)
p
V(W )
a priori estimate will be a consequence of the stability property derived next.
decomposition is actually quite standard and has been used e.g. in [14] to establish
stability properties of static solutions of semilinear parabolic equations, and in [2, 19] to prove
stability of travelling waves.
2 This
SMOOTH CONTROL OF NANOWIRES
7
Consider a solution (W, Λ) of (17), such that W (0, ·) = W0 (·) and Λ(0) = Λ0 .
Since L is selfadjoint, one has
2 d
L W1
V(W (t, ·)) = AW,
L2 W2
dt
(L2 (IR))2
(−L)3/2 W1
(−L)1/2
0
.
R(t,
δ,
ε,
Λ,
·,
W,
W
,
W
),
+
x
xx
(−L)3/2 W2
0
(−L)1/2
(L2 (IR))2
(21)
hal-00313779, version 1 - 27 Aug 2008
Concerning the first term of the right-hand side of (21), one computes
2 L W1
= −k(−L)3/2 W1 k(L2 (IR))2 − k(−L)3/2 W2 k(L2 (IR))2 ,
AW,
L2 W2
2
2
2
(L (IR ))
and, using Remark 1, there exists a constant C1 > 0 such that
2 L W1
≤ −C1 kW k2(H 3 (IR))2 .
AW,
L2 W2
(L2 (IR))2
(22)
Concerning the second term of the right-hand side of (21), one deduces from the
Cauchy-Schwarz inequality, from Remark 1, and from the estimate (18), that
0
(−L)3/2 W1
(−L)1/2
R(t,
δ,
ε,
Λ,
·,
W,
W
,
W
),
x
xx
(−L)3/2 W2
0
(−L)1/2
2
2
(L (IR))
≤ kR(t, δ, ε, Λ, ·, W, Wx , Wxx )k(H 1 (IR))2 kW k(H 3 (IR))2
≤ K kΛkIR2 + |δ| + t|ε| + kW k(H 2 (IR))2 kW k2(H 3 (IR))2 + t|ε|kW k(H 3 (IR))2
ξ2
1
≤ K kΛkIR2 + |δ| + t|ε| + kW k(H 2 (IR))2 + 2 kW k2(H 3 (IR))2 + t2 ε2 ,
2ξ
2
(23)
where, to get the last line, we used the inequality
t|ε|kW k(H 3 (IR))2 ≤
1
ξ2 2 2
t ε + 2 kW k2(H 3 (IR))2 ;
2
2ξ
here, ξ denotes some real number to be chosen later.
One infers from (21), (22) and (23) that
d
1
kW k2(H 3 (IR))2
V(W ) ≤ −C1 +K kΛkIR2 + |δ| + t|δ̇| + kW k(H 2 (IR))2 + 2
dt
2ξ
ξ2
+ t2 δ̇ 2 .
2
Fix ǫ > 0; then, under the a priori estimates
kΛ(t)kIR2 + |δ| + t|δ̇| + kW (t, ·)k(H 2 (IR))2 +
and
ξ2 2 2
t δ̇ ≤ ǫ,
2
1
C1
≤
2ξ 2
2K
8
GILLES CARBOU, STÉPHANE LABBÉ AND EMMANUEL TRÉLAT
there holds
C1
d
V(W (t, ·)) ≤ − kW (t, ·)k2(H 3 (IR))2 + ǫ
dt
2
C1
≤ − kW (t, ·)k2(H 2 (IR))2 + ǫ
2
≤ −C2 V(W (t, ·)) + ǫ.
The existence of a constant C2 > 0 follows from Remark 2. Therefore, choosing ξ > 0 large enough, there exist constants C3 > 0 and C4 > 0 such that, if
C1
kW (0, ·)k(H 2 (IR))2 ≤ 6K
, if the a priori estimate
max kΛ(s)kIR2 ≤
0≤s≤t
C1
6K
(24)
hal-00313779, version 1 - 27 Aug 2008
holds, and if the control function δ(·) is chosen so that
|δ(t)| + t|δ̇(t)| ≤
C1
6K
(25)
and
t2 δ̇(t)2 ≤ 2ǫ/ξ 2
(26)
kW (s, ·)k(H 2 (IR))2 ≤ C3 e−C4 s kW (0, ·)k(H 2 (IR))2 + C3 ǫ,
(27)
for every t ≥ 0, then
for every s ∈ [0, T ], and moreover, one deduces from (17), (19), and (27) that, if
the a priori estimate (24) holds, then
Z t
C1 C3
kΛ(t)kIR2 ≤ kΛ(0)kIR2 +
e−C4 s ds
kW (0, ·)k(H 2 (IR))2
4
0
Z t
2
2
(28)
e−2C4 s ds
+ KC3 kW (0, ·)k(H 2 (IR))2
0
≤ kΛ(0)kIR2
C1 C3
C2
+
kW (0, ·)k(H 2 (IR))2 + K 3 kW (0, ·)k2(H 2 (IR))2 .
4C4
2C4
From the above a priori estimates, we infer that, if the quantity kΛ(0)kIR2 +
kW (0, ·)k(H 2 (IR))2 is small enough, and if the control function δ fits the conditions
(25) and (26), then kΛ(t)kIR2 remains small, for every t ≥ 0, and kW (t, ·)k(H 2 (IR))2
is exponentially decreasing to 0.
Finally we must choose a smooth control function such that u(t, x) is close to
uδ1 ,θ1 ,σ1 (t, x) at initial time, and close to uδ2 ,θ2 ,σ2 (t, x) for large times. Hence, we
can choose the function δ such that δ(t) = δ1 for t ≤ 0. Then, with the reasoning
above, we enforce v(t, x) to remain close to M0 (x), that is, the solution u(t, x)
follows the profile uδ(t),θ1 ,σ1 (t, x). At times t ≥ T , we require u(t, x) to be close to
uδ2 ,θ2 ,σ2 (t, x) for some θ2 ; one must have, for t ≥ T ,
−σ1 + δ(t)t = −σ2 + δ2 t,
and hence,
σ1 − σ2
.
t
To conclude, observe that it is possible to choose a function δ and a time T > 0
large enough, such that δ is smooth on IR and satisfies the above requirements and
the estimates (25) and (26).
δ(t) = δ2 +
SMOOTH CONTROL OF NANOWIRES
9
The first part of the theorem, on the interval [0, T ], then follows from the above
considerations.
For the second part, we use a stronger version of the estimate (27), namely,
kW (s, ·)k(H 2 (IR))2 ≤ C3 e−C4 s kW (0, ·)k(H 2 (IR))2 + ξ 2 t2 δ̇(t)2 .
Since t2 δ̇(t)2 is integrable, it follows from the above estimate, and from (17) and
(19), that kΛ′ (t)kIR2 is integrable on [0, +∞). Hence, Λ(t) has a limit in IR2 , denoted
Λ∞ = (θ∞ , σ∞ ), as t tends to +∞. The theorem follows with θ2′ = θ2 + θ∞ and
σ2′ = σ2 + σ∞ .
hal-00313779, version 1 - 27 Aug 2008
REFERENCES
[1] F. Alouges, T. Rivière and S. Serfaty, Néel and cross-tie wall energies for planar micromagnetic configurations, ESAIM Cont. Optim. Calc. Var., 8 (2002), 31–68.
[2] A. L. Bertozzi, A. Münch, M. Shearer and K. Zumbrun, Stability of compressive and undercompressive thin film travelling waves. The dynamics of thin fluid films, European J. Appl.
Math., 12 (2001), no. 3, 253–291.
[3] F. Brown, ”Micromagnetics”, Wiley, New York (1963).
[4] G. Carbou and P. Fabrie, Time average in micromagnetism, J. Differential Equations, 147
(1998), no. 2, 383–409.
[5] G. Carbou and P. Fabrie, Regular solutions for Landau-Lifschitz equation in a bounded domain, Differential Integral Equations, 14 (2001), no. 2, 213–229.
[6] G. Carbou, P. Fabrie and O. Guès, On the ferromagnetism equations in the non static case,
Comm. Pure Appli. Anal., 3 (2004), no. 3, 367–393.
[7] G. Carbou and S. Labbé, Stability for static walls in ferromagnetic nanowires Discrete Contin.
Dyn. Syst. Ser. B, 6 (2006), no. 2, 273–290.
[8] G. Carbou and S. Labbé, Stability for walls in Ferromagnetic Nanowires, in ”Numerical
mathematics and advanced applications” (2006), Springer, Berlin,539–546.
[9] G. Carbou, S. Labbé and E. Trélat, Control of travelling walls in a ferromagnetic nanowire,
Discrete Contin. Dyn. Syst. Ser. S, 1 (2008), no. 1, 51–59.
[10] A. DeSimone, R. V. Kohn, S. Müller, and F. Otto, Magnetic microstructures—a paradigm of
multiscale problems, ICIAM 99 (2000), Edinburgh, Oxford Univ. Press, Oxford, 175–190.
[11] H. Haddar and Patrick Joly, Stability of thin layer approximation of electromagnetic waves
scattering by linear and nonlinear coatings, J. Comput. Appl. Math., 143 (2002), no. 2,
201–236.
[12] L. Halpern and S.Labbé, La théorie du micromagnétisme. Modélisation et simulation du
comportement des matériaux magnétiques, Matapli, 66 (2001), 77–92.
[13] J.-L. Joly, G. Métivier and J. Rauch, Global solutions to Maxwell equations in a ferromagnetic
medium, Ann. Henri Poincaré, 1 (2000), no. 2, 307–340.
[14] T. Kapitula, Multidimensional stability of planar travelling waves, Trans. Amer. Math. Soc.,
349 (1997), no. 1, 257–269.
[15] S. Labbé, ”Simulation numérique du comportement hyperfréquence des matériaux ferromagnétiques”, Ph.D thesis, Univ. Paris 13 (1998).
[16] S. Labbé and P.-Y. Bertin, Microwave polarisability of ferrite particles with non-uniform
magnetization, Journal of Magnetism and Magnetic Materials, 206 (1999), 93–105.
[17] L.D. Landau and E.M. Lifschitz, ”Electrodynamics of continuous media”, Course of Theoretical Physics, Vol. 8, Translated from the Russian by J. B. Sykes and J. S. Bell, Pergamon
Press, Oxford-London-New York-Paris; Addison-Wesley Publishing Co., Inc., Reading, Mass.
1960 x+417 pp.
[18] T. Rivière and S. Serfaty, Compactness, kinetic formulation, and entropies for a problem
related to micromagnetics, Comm. Partial Differential Equations, 28 (2003), no. 1-2, 249–
269.
[19] V. Roussier, Stability of radially symmetric travelling waves in reaction-diffusion equations,
Ann. Inst. H. Poincaré Anal. Non Linéaire, 21 (2004), no. 3, 341–379.
[20] D. Sanchez, Behaviour of the Landau-Lifschitz equation in a periodic thin layer, Asymptot.
Anal., 41 (2005), no. 1, 41–69.
[21] A. Visintin, On Landau Lifschitz equation for ferromagnetism, Japan J. Appl. Math., 2
(1985), no. 1, 69–84.
10
GILLES CARBOU, STÉPHANE LABBÉ AND EMMANUEL TRÉLAT
hal-00313779, version 1 - 27 Aug 2008
[22] H. Wynled, ”Ferromagnetism”, Encyclopedia of Physics, Vol. XVIII / 2, Springer Verlag,
Berlin (1966).
E-mail address: [email protected]
E-mail address: [email protected]
E-mail address: [email protected]