Arxiv:2010.15541V1 [Math.AP] 29 Oct 2020 in the Variational Theory of Micromagnetism (Cf

MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

ELISA DAVOLI, GIOVANNI DI FRATTA, DIRK PRAETORIUS, MICHELE RUGGERI

Abstract. In this paper, we study the thin-film limit of the micromagnetic energy functional in the presence of bulk Dzyaloshinskii–Moriya interaction (DMI). Our analysis includes both a stationary Γ-convergence result for the micromagnetic energy, as well as the identification of the asymptotic behavior of the associated Landau–Lifshitz–Gilbert equation. In particular, we prove that, in the limiting model, part of the DMI term behaves like the projection of the magnetic moment onto the normal to the film, contributing this way to an increase in the shape anisotropy arising from the magnetostatic self-energy. Finally, we discuss a convergent finite element approach for the approximation of the time-dependent case and use it to numerically compare the original three-dimensional model with the two-dimensional thin-film limit.

. Introduction

.. Chiral effects in micromagnetics. Due to an increasing interest in spintronics applications, magnetic skyrmions are currently the subject of intense research activity, spanning from mathematics to physics and materials science. Although these chiral structures can emerge in different experimental settings, our mathematical analysis is centered on thin films derived from bulk materials without inversion symmetry, where the Dzyaloshinskii–Moriya interaction (DMI) can twist the otherwise ferromagnetic spin arrangement (cf. []). In this paper, we identify a limiting model for micromagnetic thin films in the presence of bulk DMI. Our investigations focus on the limiting behavior of the observable magnetization states as the thickness parameter tends to zero. The analysis includes both a stationary Γ-convergence result for the micromagnetic energy, as well as the identification of the asymptotic behavior of the associated Landau–Lifshitz–Gilbert (LLG) equation. In particular, the derived limiting model unveils some physics. Indeed, quite unexpectedly, we find that part of the DMI behaves like the projection of the magnetic moment onto the normal to the film, contributing this way to an increase in the shape anisotropy originating from the magnetostatic self-energy. Our analytical derivation is complemented by a numerical approximation of the limiting solution via a projection-free tangent plane scheme, and the results of numerical simulations are discussed. Before stating our main results, we set up the physical framework and introduce some notation. arXiv:2010.15541v1 [math.AP] 29 Oct 2020 In the variational theory of micromagnetism (cf. [, , ]), the observable states of a rigid ferromagnetic body occupying a region Ω ⊆ R3 are described by its magnetization M, a vector field verifying the so-called saturation constraint: There exists a material-dependent positive constant Ms such that |M| = Ms in Ω. The saturation magnetization Ms := Ms(T ) depends on the temperature T , but vanishes above the so-called Curie temperature Tc which is characteristic of each crystal type. However, when the ferromagnet is at a fixed temperature well below Tc, the value of the saturation magnetization can be considered constant in Ω. Therefore, we can express

Mathematics Subject Classiﬁcation. S, C, Q, D, M, M. Key words and phrases. Micromagnetics, Landau–Lifshitz–Gilbert Equation, Magnetic thin ﬁlms, Dzyaloshinskii– Moriya interaction, Γ-Convergence, Finite elements. MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

2 the magnetization in the form M := Msm, where m :Ω → S is a vector ﬁeld taking values in the unit sphere S2 of R3. Although the modulus of m is constant in space, in general, it is not the case for its direction. In single-crystal ferromagnets (cf. [, , ]), the observable magnetization states can be described as the local minimizers of the micromagnetic energy functional which, after a suitable nondimensionalization, reads as

1 2 1 Gsym,Ω(m) := |∇m| dx + ϕan(m) dx − hd[mχΩ] · m dx − ha · m dx (.) 2 ˆΩ ˆΩ 2 ˆΩ ˆΩ =:EΩ(m) =:AΩ(m) =:WΩ(m) =:ZΩ(m)

1 2 with m ∈ H (Ω, S ), and where mχΩ denotes the extension of m by zero to the whole space outside Ω.

The exchange energy EΩ(m) penalizes nonuniformities in the orientation of the magnetization. The magnetocrystalline anisotropy energy AΩ(m) accounts for the existence of preferred directions 2 of the magnetization. In general, ϕan : S → R+ is assumed to be a nonnegative Lipschitz continuous function that vanishes only on a distinguished set of directions known as easy axes. The quantity WΩ(m) represents the magnetostatic self-energy and describes the energy due to the 2 3 3 stray ﬁeld hd[mχΩ] generated by mχΩ ∈ L (R , R ). The stray ﬁeld can be characterized as the unique solution in L2(R3, R3) of the Maxwell–Ampère equations of magnetostatics [, , ]:  div b[mχΩ] = 0,  curl hd[mχΩ] = 0, (.)   b[mχΩ] = µ0(hd[mχΩ] + mχΩ),

where b[mχΩ] denotes the magnetic flux density, and µ0 is the vacuum permeability. The linear operator hd : mχΩ 7→ hd[mχΩ] is then a bounded, nonlocal, and negative-definite operator which satisfies the following energy bounds:

2 2 0 6 |hd[mχΩ]| dx = − hd[mχΩ] · m dx 6 kmkL2(Ω). (.) ˆR3 ˆΩ

Finally, the term ZΩ(m) is the Zeeman energy and models the tendency of the specimen to have its magnetization aligned with the (externally) applied ﬁeld ha. Overall, the variational analysis of (.) arises as a nonconvex and nonlocal problem.

In this work, other than the classical energy terms in Gsym,Ω, we consider the possible lack of centrosymmetry in the crystal lattice structure of the ferromagnet. Generally speaking, this can be done by superimposing to the energy density in (.) the contribution from suitable Lifshitz invariants of the chirality tensor ∇m × m. Here, we are interested in the bulk DMI contributions, whose energy density is given by the trace of the chirality tensor. Precisely, for every m ∈ H1(Ω, S2), we deﬁne the functional

DΩ(m) := κ curl m · m dx. (.) ˆΩ The normalized constant κ ∈ R is the so-called DMI constant, and its sign determines the chirality of the system. The full micromagnetic energy functional we are interested in is then Gsym,Ω(m) + DΩ(m). Since one of our main aims concerns the derivation via Γ-convergence of a D model, to streamline the presentation of the results, we will neglect the energy terms AΩ(m) and ZΩ(m) because in this dimension reduction context they act as Γ-continuous perturbations [] and their MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

Γ-continuous limit is straightforward to compute. Summarizing, for every m ∈ H1(Ω, S2), we consider the micromagnetic energy functional

1 2 1 GΩ(m) := |∇m| dx + κ curl m · m dx− hd[mχΩ] · m dx. (.) 2 ˆΩ ˆΩ 2 ˆΩ

1 2 The existence of at least one minimizer of GΩ(m) in H (Ω, S ) easily follows by the direct method of the calculus of variations. Indeed, although the bulk DMI energy DΩ is, a priori, neither positive nor negative, it is linear in the partial derivatives and can be controlled by the exchange energy. P3 Namely, by the identity curl m = i=1 ei × ∂im, one obtains

1 3 1 3 E (m)+D (m) = X |d m|2 dx − κ2 X |e × m|2 dx Ω Ω 2 ˆ i 2 ˆ i i=1 Ω i=1 Ω 1 3 = X |d m|2 dx − κ2|Ω|, (.) 2 ˆ i i=1 Ω

for every m ∈ H1(Ω, S2), where, for i = 1, 2, 3, the quantities

dim := ∂im − κ(ei × m) (.)

represent the so-called helical derivatives [ ,]. The name is motivated by the fact that dim = 0 for helical ﬁelds m which perform a rotation of constant frequency κ perpendicular to the ei axis, that is, counter-clockwise or clockwise if the sign of κ is positive or negative, respectively. Note that they can also be regarded as a variant of covariant derivatives emerging in the context of gauged sigma models [].

.. State of the art. The analysis of micromagnetic thin films is a subject with a long history. It dates back to the seminal papers [, ], where the authors show that in planar thin films, the effect of the demagnetizing field operator drops down to an easy-surface anisotropy term. Landau states in thin ferromagnetic films are investigated in []. A complete reduced theory for thin films micromagnetics has been established in []. Recently, in [] the authors have considered static dimension reduction under possible degeneracy of the material coefficients. A thorough analysis of soft ferromagnetic films has been the subject of [, , ] (see also [] for the case of nonuniformly extruded thin shells). The associated thin-film dynamics has been analyzed in [,,]. In [,], the authors characterize Neel walls in ferromagnetic thin films. The various regimes arising as effect of the presence of external fields are the focus of [, ]. The study of domain walls has been undertaken in [ ,,,] (see also [] for the case of D walls under fourfold anisotropy and [] for ultrathin films), whereas that of boundary vortices is carried out in [, , , ]. The effects of periodic surface roughness have been studied in []. In [ ], the author examines second-order phase transitions with dipolar interactions. We also refer to [, Section .] and the references therein for a review on the mathematics of magnetic planar thin films. Magnetic curved thin films have been the object of extensive investigations in recent times, because of their capability to induce an effective antisymmetric interaction even in the absence of DMI (see, e.g., [, , ] and the topical review []). We finally mention [] and [] for the magnetoelastic case. Due to the nonlinear, nonconvex, and nonlocal nature of the problem, the computation of minimizers of the micromagnetic energy and the numerical approximation of the LLG equation are challenging tasks. In the last twenty years, these problems have been the subject of several mathematical studies; see, e.g., the monograph [], the review articles [, ], the papers [, , MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

, , , ], and the references therein. As far as the numerical analysis of the LLG equation in the presence of DMI is concerned, we refer to the recent work [].

.. Contributions of the present work. For ε > 0, consider the thin-film domain Ωε := 2 ω × (0, ε), where ω is a bounded domain in R having Lipschitz boundary, and assume that Ωε is a thin specimen of a ferromagnetic body. As it is customary in dimension reduction, we introduce 2 2 the family of diffeomorphisms Φε :(σ, s) ∈ R × R → (σ, εs) ∈ R × R. We denote by ΦM,ε the 1 2 restriction of Φε to the set M := ω × I, I = (0, 1). To every mε ∈ H (Ωε, S ), we associate a 1 2 map u ∈ H (M, S ) given by u := mε ◦ ΦM,ε. Hereinafter, we use the convention that when we talk about weak convergence in H1(M, S2) we refer to the topology induced in H1(M, S2) by the weak topology of H1(M, R3); a similar remark is understood for strong convergence in H1(M, S2). Note that, owing to the Rellich theorem, H1(M, S2) is a weakly closed subset of H1(M, R3). The first result of this paper concerns the variational characterization of the asymptotic behavior

of a rescaling of the sequence GΩε in the limit for ε → 0. This amounts to the identiﬁcation of the Γ-limit of the family of energy functionals deﬁned by

1 2 1 2 Fε(u) := |∇εu| dx + κ curl εu · u dx + |hε[uχM]| dx, (.) 2 ˆM ˆM 2 ˆR3

1 2 −1 for every u ∈ H (M, S ), where hε[uχM] := hd[mεχΩε ] ◦ Φε = hd[(uχM) ◦ ΦM,ε] ◦ Φε, ∇ε is −1 T the ε-rescaled gradient operator given by ∇ε = (∂1, ∂2, ε ∂s) and curlε u = ∇ε × u. Note that 1 Fε(u) = ε GΩε (mε). We show that the asymptotic behavior of minimizers of Fε is encoded in the minimizers of an eﬀective functional with a complete local character. Precisely, our ﬁrst result is stated in the following theorem.

1 2 Theorem .. The family of functionals (Fε)ε>0 is equicoercive in the weak topology of H (M, S ) 1 2 and Γ-converges, weakly in H (M, S ), to the energy functional F0 deﬁned by 2 2 1 2 1 + κ 2 κ F0(u) := |∇ωu(σ)| dσ + κ curl ωu · u dσ + (u(σ) · e3) dσ − |ω|, (. ) 2 ˆω ˆω 2 ˆω 2

1 2 if u ∈ H (M, S ) is independent of the s-variable, and F0(u) = +∞ otherwise. In the expression above, ∇ω := (∂1, ∂2) and curl ω := e1 ×∂1 +e2 ×∂2, denote the corresponding diﬀerential operators meant with respect to the tangential variables (x1, x2) ∈ ω. In particular, if for every ε the map 1 2 uε ∈ H (M, S ) is a minimizer of Fε, then, upon possible extraction of a subsequence, (uε)ε>0 1 2 converges strongly in H (M, S ) to a minimizer of F0.

Remark .. Note that the deﬁnition of curl ω = e1 × ∂1 + e2 × ∂2 in Theorem . is formally consistent with the D curl if ∂3u = 0. Remark .. We stress that part of the DMI energy in (.) contributes, in the limiting energy (. ), to an increase in the shape anisotropy of the thin ﬁlm through the energy density 2 2 κ (u(σ) · e3) . Also, we observe that in contrast to the classical setting κ = 0 (cf. [, ]), where constant in-plane magnetizations are the minimizers of F0 (and higher-order terms in the asymptotic expansions are needed to gather more information on the direction of the magnetization), here the presence of the DMI makes the reduced energy functional F0 nontrivial.

The proof strategy essentially relies on the notion of Γ-convergence (see []). The equicoercivity of the energy functionals is established in Proposition . and is based on the observation in (.). In Propositions . and ., respectively, we prove that F0 provides a lower bound for the asymptotic behavior of the energies (Fε)ε>0 and show that this lower bound is indeed optimal. MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

Our second contribution concerns the derivation of a thin-ﬁlm model for the LLG equation which describes the magnetization dynamics in small ferromagnetic samples. In our context, the LLG equation reads (in strong form) as

 ε ∂tu = −u × h [u] + αu × ∂tu in M × R+,  eﬀ ∂nu = −κu × n on ∂M × R+, (.) u(0) = u0 in M,

where α > 0 is a dimensionless damping factor, while u0 is the magnetization at time t = 0. The ε dynamics is driven by the effective field heff [u] := −∂uFε which is defined as the opposite of the first-order variation of the energy Fε. Our second result concerns families of weak solutions of the LLG equation (we refer to Section for the precise definition) and reads as follows. 0 0 1 2 Theorem .. Let u (σ, s) := u (σ) ∈ H (ω, S ) and, for every ε > 0, let uε be a weak solution 0 ∞ 1 2 of (.) with initial datum u . Then, there exists a magnetization u0 ∈ L (R+; H (ω, S )) 1 2 such that u0 ∈ H (ω × (0,T ), S )) for every T > 0 and, up to the extraction of a nonrelabeled subsequence, ∗ ∞ 1 2 uε * u0 weakly in L (R+; H (M, S )). The limit magnetization u0 satisfies in the weak sense the boundary value problem

 0 ∂tu0 = −u0 × h [u0] + αu0 × ∂tu0 in ω × R+,  eﬀ ∂nu0 = −κu0 × n on ∂ω × R+, (.)  0 u0(0) = u in ω,

0 2 where the limiting effective field heff [u0] := ∆ωu0 −2κcurl ωu0 −(1+κ )(e3 ⊗e3)u0 coincides with the opposite of the first-order variation of the Γ-limit energy F0 (cf. (. )). Moreover, for almost every T > 0, the following energy inequality holds

T 2 0 F0(u0(T )) + α k∂tu0kL2(ω,R3) dt 6 F0(u ). (.) ˆ0

The proof of this second result is based on the combination of some a priori energy estimates with [, Lemma .] (see also [, Lemma ] for a more general statement), and on the application of the Aubin–Lions lemma. Our third and last result concerns the numerical approximation of (.) and (.). We propose an improved version of the projection-free finite element tangent plane scheme introduced in [] (see Algorithm below). The main novelty consists in an implicit-explicit approach for treating the effective field contributions, which is designed in such a way that the discrete energy law satisfied by the approximations mimics the dissipative energy law of the continuous problem (Proposition .). Moreover, suitable time reconstructions built using the approximations generated by the algorithm converge weakly and unconditionally towards a weak solution of the problem (Theorem .). Here, the word ‘unconditionally’ refers to the fact that the convergence analysis of Algorithm does not require any coupling condition between the spatial mesh size and the time-step size. Besides its own mathematical interest, the derivation of effective thin-film micromagnetic models also has relevant practical implications. The capability to perform reliable micromagnetic simulations using a D model is very favorable in terms of computational cost. On the one hand, the complexity of the simulation is clearly reduced by the dimension reduction (from D to D). On the other hand, since in the thin-film limit the nonlocal magnetostatic interaction reduces to a local shape anisotropy, one can save the cost of solving the magnetostatic Maxwell equations (.) MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

(which usually involves linear algebra operations with large fully populated matrices). This has a significant impact on the overall computational cost, as, for practically relevant problem sizes, the computation of the magnetostatic interaction is usually the most time-consuming part of a micromagnetic simulation []. In the last section of the present work, presenting the results of two numerical experiments, we validate our theoretical findings. At the same time, we show the effectivity of the proposed numerical scheme and give a flavor of the computational benefits of our approach.

.. Outline. The paper is organized as follows. In Section , we prove the static Γ-convergence result of Theorem .. In Section , we recall the deﬁnition of weak solutions of the LLG equation, and provide a convergence analysis from the D setting to the reduced limiting model. Section is devoted to the description and the analysis of the approximation scheme, and Section to the presentation of the results of numerical simulations.

. Gamma-convergence: Proof of Theorem .

To prove Theorem ., we ﬁrst show that the family (Fε)ε∈I is equicoercive in the weak topology of H1(M, S2). This step assures the validity of the fundamental theorem of Γ-convergence concerning the variational convergence of minimum problems (cf. [, ]).

Proposition .. There exists a (nonempty) weakly compact set K ⊂ H1(M, S2) such that infH1(M,S2) Fε = infK Fε for every ε ∈ I.

Proof. Owing to (.), the following identity holds true for every u ∈ H1(M, S2):

2 1 2 1 2 Fε(u) + κ |M| = |Dεu| dx + |hε[uχM]| dx, (.) 2 ˆM 2 ˆR3

where Dε is the ‘Jacobian’ matrix of the ε-rescaled helical derivatives

−1 Dεu := ∂1u − κ(e1 × u), ∂2u − κ(e2 × u), ε ∂su − κ(e3 × u) . (.)

If u ∈ H1(M, S2) is constant in space then, taking into account (.), we deduce the bound

min Fε(u) 6 cM, (.) u∈H1(M,S2)

for some constant cM > 0 depending only on the volume of M. Therefore, for every ε ∈ I, the minimizers of (Fε)ε∈I are in the set

2 [ 1 2 K(M, S ) := {u ∈ H (M, S ): Fε(u) 6 cM}. (.) ε∈I On the other hand, the reverse Young inequality proves that for i = 1, 2 1 |∂ u − κ(e × u)|2 |∂ u|2 − κ2, (.) i i > 2 i 1 |ε−1∂ u − κ(e × u)|2 |∂ u|2 − κ2. (.) s 3 > 2ε2 s

2 2 In particular, for every u ∈ K(M, S ) we have that k∇ukL2(M,R3×3) 6 cκ,M for some positive constant depending only on κ and the measure of M. Hence, K(M, S2) is contained in a ball MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

1 3 1 2 BM of H (M, R ) whose radius depends only on κ and |M|. Setting K := BM ∩ H (M, S ), we conclude that

inf Fε = inf Fε, (.) H1(M,S2) K where K is weakly compact being the intersection of the weakly closed set H1(M, S2) and the weakly compact set BM.

We proceed by showing that the functional F0 introduced in (. ) provides a lower bound for the asymptotic behavior of the energies Fε. 1 2 Proposition .. Let (uε)ε>0 in H (M, S ) be such that lim infε→0 Fε(uε) < +∞. Then, there 1 2 2 3 exist u0 ∈ H (ω, S ) and d0 ∈ L (M, R ) with

d0(σ, s) · u0(σ) = 0 for a.e. (σ, s) ∈ M, (.) such that, up to the extraction of a (not relabeled) subsequence, there holds

2 2 uε(σ, s) → u0(σ)χI (s) strongly in L (M, S ), (. ) 2 2×3 ∇ωuε(σ, s) * ∇ωu0(σ)χI (s) weakly in L (M, R ), (.) −1 2 3 ε ∂suε(σ, s) * d0(σ, s) weakly in L (M, R ), (.) 2 3 ∂suε(σ, s) → 0 strongly in L (M, R ). (.)

Additionally, the following liminf inequality holds true

F0(u0) lim inf Fε(uε). (.) 6 ε→0

Proof. Without loss of generality, we can assume that Fε(uε) 6 c+ < ∞ for some constant c+ > 0 and all ε > 0. Given (.), the estimates (.)–(.) give the uniform bound

2 X 2 1 2 2 2 |∂ u | dx + |∂ u | dx + kh [u χ ]k 2 3 3 c := 2(c + κ |M|) . (.) ˆ i ε ε2 ˆ s ε ε ε M L (R ,R ) 6 κ,M + i=1 M M

1 2 2 3 Therefore, by weak compactness, we deduce the existence of u0 ∈ H (ω, S ) and d0 ∈ L (M, R ) for which (. )–(.) hold true up to the extraction of a (not relabeled) subsequence. In view of [, Lemma .], there holds

2 3 3 hε[uεχM] → h0[u0] strongly in L (R , R ) (.)

with h0[u0] := −χM(e3 ⊗ e3)u0. Moreover, for i = 1, 2, we have that

2 3 ∂iuε − κ(ei × uε) * ∂iu0 − κ(ei × u0) weakly in L (M, R ), (.) 1 ∂ u − κ(e × u ) * d − κ(e × u ) weakly in L2(M, R3). (.) ε s ε 3 ε 0 3 0

2 2 As uε → u0χI strongly in L (M, S ), we additionally obtain that

−1 0 = ε ∂suε(σ, s) · uε(σ, s) * d0(σ, s) · u0(σ) (.)

2 weakly in L (M, R), and therefore d0(σ, s) · u0(σ) = 0 for almost every (σ, s) ∈ M. MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

In terms of the helical derivatives (.), the energy functional F0 reads as

1 2 1 κ2 F (u ) = X |d u (σ)|2dσ + (u (σ) · e )2dσ − |ω|. (. ) 0 0 2 ˆ i 0 2 ˆ 0 3 2 i=1 ω ω

Rewriting also the energy functional Fε in terms of the helical derivatives (see (.)), taking into account (.)–(.) and the weak lower semicontinuity of the norm, the liminf inequality (.) follows at once.

The next proposition shows that the lower bound identiﬁed in Proposition . is indeed optimal. 1 2 Proposition .. Let u0 ∈ H (M, S ) be independent of the s-variable. Then, there exists a ∗ 1 2 ∗ 1 2 sequence {uε}ε>0 ⊆ H (M, S ) such that uε → u0 strongly in H (M, S ), and

∗ F0(u0) = lim Fε(uε). (.) ε→0

1 2 Proof. For u0 ∈ H (M, S ) independent of the s-variable, we consider the nearest point projection 2 on S of a suitable perturbation of u0 along the tangent space. Precisely, we set

∗ u0(σ) + εsκ(e3 × u0(σ)) uε(σ, s) := for almost every (σ, s) ∈ M. (.) |u0(σ) + εsκ(e3 × u0(σ))|

∗ 2 We point out that uε is well deﬁned since, almost everywhere in M, u0 ∈ S and (e3 × u0)⊥u0 so 2 2 2 2 2 ∗ that |u0 + sεκ(e3 × u0)| = 1 + ε s κ |e3 × u0| > 1. Note the pointwise convergence, uε → u0 as ε → 0 for almost all (σ, s) ∈ M. A direct computation shows that

∗ ∗ ∗ uε × ((∂1u0 + sεκe3 × ∂1u0) × uε) ∂1uε(σ, s) = , (.) |u0 + sεκ(e3 × u0)| ∗ ∗ ∗ uε × ((∂2u0 + sεκe3 × ∂2u0) × uε) ∂2uε(σ, s) = , (.) |u0 + sεκ(e3 × u0)| ∗ ∗ ∗ uε × ((e3 × u0) × uε) ∂suε(σ, s) = εκ . (.) |u0 + sεκ(e3 × u0)| Hence, the dominated convergence theorem proves the following relations:

∗ 2 2 uε(σ, s) → u0(σ)χI (s) strongly in L (M, S ), (.) ∗ 2 R2×3 ∇ωuε(σ, s) → ∇ωu0(σ)χI (s) strongly in L (M, ), (.) ∗ 2 R3 ∂suε(σ, s) → 0 strongly in L (M, ), (.) −1 ∗ 2 R3 ε ∂suε(σ, s) → κ(e3 × u0) strongly in L (M, ). (.)

∗ 1 2 In particular, we have that uε → u0χI strongly in H (M, S ). By (.), (. ), and [, ∗ Lemma .], we conclude that limε→0 Fε(uε) = F0(u0). This completes the proof of (.) and of the proposition.

We are ﬁnally in a position to prove Theorem ..

Proof of Theorem .. The Γ-convergence statement of Theorem . follows by combining Propo- 1 2 sitions . and .. It remains to prove that if the maps uε ∈ H (M, S ) are minimizers of Fε MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

1 2 then, upon possible extraction of a subsequence, (uε)ε>0 converges even strongly in H (M, S ) to a minimizer of F0. 1 2 The convergence of uε, weakly in H (M, S ), to a minimum point of F0 is a consequence of the equicoercivity of Fε proved in Proposition .. Indeed, equicoercivity assures the validity of the fundamental theorem of Γ-convergence concerning the variational convergence of minimum problems (cf. [, ]). Thus, we only have to prove that the convergence to a minimum point is strong in H1(M, S2). 1 2 To this end we observe that, by assumptions, there exists u0 ∈ H (M, S ), not depending on 1 2 2 3 the s variable, such that uε * u0 weakly in H (M, S ) and ∂suε(σ, s) → 0 strongly in L (M, R ). 2 3 By the lower semicontinuity of the norm, and the strong convergence of uε → u0 in L (M, R ), we get

2 2 1 2 1 + κ 2 κ F0(u0) 6 lim inf |∇uε| dx + κ curl ωu0 · u0 dσ + (u0(σ) · e3) dσ − |ω| ε→0 2 ˆM ˆω 2 ˆω 2 2 2 1 2 1 + κ 2 κ 6 lim sup |∇uε| dx + κ curl ωu0 · u0dσ + (u0(σ) · e3) dσ − |ω| ε→0 2 ˆM ˆω 2 ˆω 2 ∗ = lim sup Fε(uε) 6 lim Fε(uε) = F0(u0), (. ) ε→0 ε→0 ∗ where uε denotes the family built from u0 as in (.). Note that, the last inequality is a consequence of the minimality of uε, while the last equality is nothing but (.). Overall, we conclude that 2 2 1 2 1 + κ 2 κ F0(u0) = lim |∇uε| dx+κ curl ωu0 ·u0dσ + (u0(σ)·e3) dσ − |ω|, (.) ε→0 2 ˆM ˆω 2 ˆω 2

from which we deduce the convergence of the norms kuεkH1(M,S2) → ku0kH1(M,S2). Since uε * u0 1 2 1 2 weakly in H (M, S ) we conclude that uε → u0 strongly in H (M, S ).

. The time-dependent case: Proof of Theorem .

The observable states of the magnetization at equilibrium correspond to the minimizers of the micromagnetic energy functional (.) and they are among the solutions of the weak Euler– 1 2 Lagrange equation. Precisely, if m ∈ H (Ω, S ) is a metastable equilibrium state of GΩ, then

hdGΩ(m), vi = 0 (.)

1 3 1 3 for every v ∈ H (Ω, R ) such that m · v = 0 a.e. in Ω, where dGΩ : H (Ω, R ) → R is the (unconstrained) Frechet diﬀerential of GΩ at m. Recall that heﬀ [m] = −dGΩ(m). Taking into account (.) with D given by (.) for ε = 1, a simple computation reveals that

1 3 − hheﬀ [m], ϕi = Dm : Dϕ dx − hd[mχM] · ϕ dx for all ϕ ∈ H (Ω, R ) . (.) ˆΩ ˆΩ

In particular, when m ∈ C2(Ω¯, S2), we can integrate by parts in (.) to obtain the strong form of Brown’s static equation ( m × h [m] = 0 in Ω, eff (.) ∂nm + κ(m × n) = 0 on ∂Ω, 2 where the effective field has the form heff [m] := ∆m − 2κ m − 2κcurl m + hd[m], and n is the outer normal unit vector field to ∂Ω. MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

When the magnetization m does not satisfy Brown’s static equation, the ferromagnetic system is in a nonequilibrium state, and it evolves in time according to the LLG equation [, ], which, from the phenomenological point of view, describes the magnetization dynamics as a dissipative precession driven by the eﬀective ﬁeld. In strong form, the LLG equation reads as

 ∂tm = −m × heﬀ [m] + αm × ∂tm in Ω × R+,  ∂nm = −κm × n on ∂Ω × R+, (.) m(0) = m0 in Ω, with α > 0 being the dimensionless Gilbert damping factor. We recall below the standard weak formulation as described, e.g., in [, , ].

Definition .. Let Ω be an open set of R3 and m0 ∈ H1(Ω, S2). For every T > 0 we set ∞ 1 2 ΩT := (0,T ) × Ω. We say that the vector field m ∈ L (R+; H (Ω, S )) is a (global) weak solution of the LLG equation (.), if the following conditions are fulfilled: 1 2 0 • For every T > 0, the vector field m is in H (ΩT , S ), and m(0) = m in the trace sense. 1 3 • For every T > 0 and every ϕ ∈ H (ΩT , R ), there holds

T T T h∂tm, ϕi dt = − hheﬀ [m], ϕ × mi dt + α h∂tm, ϕ × mi dt, (.) ˆ0 ˆ0 ˆ0 where h·, ·i denotes the duality pairing associated with H1(Ω, R3). • For almost all T > 0, the following energy inequality holds:

T 2 0 GΩ(m(T )) + α k∂tm(t)kL2(Ω,R3) dt 6 GΩ(m ). (.) ˆ0 The evolution equation (.) corresponds to a weak formulation of (.) in the space-time domain. The boundary conditions in (.) are here enforced as natural boundary conditions. Finally, the energy inequality (.) is the weak counterpart of the Gilbert dissipative energy law

2 ∂tGΩ(m(t)) = −αk∂tm(t)kL2(Ω,R3) 6 0, (.) which is valid for every t > 0 under suitable regularity assumptions on the solution of (.). The existence of a global weak solution of (.) has recently been proved in [, Theorem .]. In particular, in our setting, for any ε > 0 there exists at least a solution mε of the LLG equation 0 on Ωε with initial datum m . As in the proof of the static Γ-convergence result, we first proceed by performing a space rescaling, and by rewriting the LLG equation on a fixed cylindrical domain M = ω × I, with ω being an open bounded domain in R2 with Lipschitz boundary and I := (0, 1) ⊆ R. First, for any 1 2 1 3 uε ∈ H (M, S ), we introduce the ε-rescaled effective field, defined for every ϕ ∈ H (M, R ) by

ε − hheﬀ [uε], ϕi = Dεuε : Dεϕ dx − hε[uεχM] · ϕ dx. (.) ˆM ˆM We proceed by deﬁning the rescaled weak solutions of the LLG equation.

Deﬁnition .. Let u0(σ, s) := u0(σ) ∈ H1(ω, S2) be independent of the s-variable. For every ∞ 1 2 T > 0 we set MT := (0,T ) × M. We say that the map uε ∈ L (R+; H (M, S )) is a (global) weak solution (at scale ε) to the LLG equation if the following conditions are fulﬁlled: MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

1 2 0 • For every T > 0, the vector ﬁeld uε is in H (MT , S ), and uε(0) = u in the trace sense. 1 3 • For every T > 0 and for every ϕ ∈ H (MT , R ), there holds

T T T ε h∂tuε, ϕi dt = − hheﬀ [uε], ϕ × uεi dt + α h∂tuε, ϕ × uεi dt, (. ) ˆ0 ˆ0 ˆ0 where h·, ·i denotes the duality pair in H−1(M, R3) × H1(M, R3). • For almost every T > 0, the following energy inequality holds:

T 2 0 Fε(uε(T )) + α k∂tuε(t)kL2(M,R3) dt 6 Fε(u ) , (.) ˆ0

with Fε given by (.).

We are now in a position to prove Theorem ..

Proof of Theorem .. Let (uε)ε be a sequence of rescaled weak solutions to the LLG equation, 0 0 1 2 in the sense of Deﬁnition .. By assumption, uε(0; σ, s) = u (σ)χI (s) for some u ∈ H (ω, S ). We ﬁrst observe that, in view of (.), there exists a positive constant κω, depending only on the measure of ω and on the DMI constant, such that, for every ε > 0, it holds that

0 1 2 0 2 F (u ) |ω| + κ k∇ u k 2 2×3 . (.) ε 6 2 ω ω L (ω,R )

Thus, due to the energy inequality (.), there exists a positive constant c0, depending only on 0 2 the initial datum u , such that ess sup |F (u (t)| c and k∂ u k 2 3 c for every t∈[0,T ] ε ε 6 0 t ε L (R+×M,R )) 6 0 ε > 0 and for all T > 0. In particular, the following uniform bounds hold: 1 k∇ u k ∞ R 2 R2×3 c , k∂ u k ∞ R 2 R3 c , (.) ω ε L ( +;L (M, )) 6 0 ε s ε L ( +;L (M, )) 6 0

2 3 ∞ 2 3 3 k∂tuεkL (R+×M,R ) 6 c0, khε[uε]kL (R+;L (R ,R )) 6 c0. (.)

∞ 2 3 ∞ 1 2 Hence, by weak compactness, there exist maps d0 ∈ L (R+; L (M, R )), u0 ∈ L (R+; H (M, S )), 1 2 with u0 ∈ independent of the s variable and belonging to H (ωT , S ) for every T > 0, such that, up to the extraction of a (not relabeled) subsequence, the following convergence relations hold true:

∗ ∞ 1 3 uε * u0 weakly* in L (R+; H (M, R )), (.)

∗ ∞ 2 3 3 hε[uε] * −(e3 ⊗ e3)u0χM weakly* in L (R+; L (R , R )), (.) 2 2×3 ∇ωuε * ∇ωu0 weakly in L (MT , R ), (.) 1 ∂ u * d weakly in L2(M , R2×3), (.) ε s ε 0 T 2 3 ∂tuε * ∂tu0 weakly in L (R+ × M, R ). (.)

Here, we set ωT := ω ×(0,T ) and MT := M×(0,T ). Note that, (.) follows by [, Lemma .], while the fact that u0 is independent of the s-variable is a consequence of (.). Additionally, the Aubin-Lions lemma proves that

0 2 2 uε → u0 strongly in C (0,T ; L (M, S )) (. ) 2 0 for every T ∈ R+. This yields u0(t, σ) ∈ S for a.e. (t, σ) ∈ R+ × ω and u0(0) = u . MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

Next, taking into account the saturation constraint |uε| = 1 in MT , we infer, after some direct 1 3 computations, that for every ϕ ∈ H (MT , R )

3 X ε ε Dεuε : Dε(ϕ × uε) = uε × (∂i uε − κ(ei × uε)) · ∂i ϕ i=1 3 X ε ε + κ {(∂i uε · ei)uε − (uε · ei)∂i uε}· ϕ, (.) i=1

ε ε −1 where ∂i := ∂i if i = 1, 2 and ∂3 := ε ∂s. Thus, multiplying both sides of the previous relation 1 3 by ε and taking into account (.)–(. ), we obtain that for every ϕ ∈ H (MT , R )

ε→0 ε Dεuε : Dε(ϕ × uε) dx dt −−−→ (u0 × (d0 − κ(e3 × u0))) · ∂sϕ dx dt. (.) ˆMT ˆMT

In particular, since uε is a weak solution of the LLG equation (. ), multiplying both sides of (. ) by ε, taking into account (.)–(. ), and then passing to the limit for ε → 0, we infer that

(u × (d − κ(e × u ))) · ∂ ϕ dx dt = 0 ∀ϕ ∈ H1(M , R3). (.) ˆ 0 0 3 0 s T MT

Therefore, u0 ×(d0 −κ(e3 ×u0)) is independent of the s-variable. Moreover, testing (.) against 1 3 functions of the form ϕ := sψ, with ψ ∈ H (ωT , R ), we get, for a.e. t ∈ [0,T ], that

u0(t; σ) × (d0(t; σ, s) − κ(e3 × u0(σ)) = 0 for a.e. (σ, s) ∈ M. (.)

−1 On the other hand, by the saturation constraint, we know that 0 = ε ∂suε · uε for every ε > 0. Thus, by (.) and (. ), we obtain that

u0 · d0 = 0. (.)

By combining (.) and (.) we conclude that d0 is independent of the s-variable as well and, in fact,

d0 = κ(e3 × u0). (.)

1 3 Testing (.) with ϕ := ψχI where ψ ∈ H (ωT , R ), taking into account (. ), (.), and (.), and passing to the limit for ε → 0 we have

2 D u : D (ϕ × u ) dx dt −−−→ε→0 X (u × d u ) · ∂ ψ dσ dt ˆ ε ε ε ε ˆ 0 i 0 i MT i=1 ωT 2 + κ X {(∂ u · e )u − (u · e )∂ u }· ψ dσ dt ˆ i 0 i 0 0 i i 0 i=1 ωT + κ {(d · e )u − (u · e )d }· ψ dσ dt. ˆ 0 3 0 0 3 0 ωT MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

In view of (.), we deduce that

2 D u : D (ϕ × u ) dx dt −−−→ε→0 X u × d u · ∂ ψ dσ dt ˆ ε ε ε ε ˆ 0 i 0 i MT i=1 ωT 2 + κ X {(∂ u · e )u − (u · e )∂ u }· ψ dσ dt ˆ i 0 i 0 0 i i 0 i=1 ωT 2 + κ (u0 × (u0 · e3)e3) · ψ dσ dt . (.) ˆωT Next, we observe that, due to (.), it holds

ε→0 − hε[uε] · (ϕ × uε) dx dt −−−→ (u0(σ) · e3)(u0 × e3) · ψ dσ dt. (.) ˆMT ˆωT Hence, passing to the limit in (. ), we end up with the weak formulation of the limiting LLG 1 3 equation (.) which reads, for every ψ ∈ H (ωT , R ), as

T T T 0 h∂tu0, ψi dt = − hheﬀ [u0], ψ × u0i dt + α h∂tu0, ψ × u0i dt, (.) ˆ0 ˆ0 ˆ0 where (cf. (.))

T 2 − hh0 [u ], ψ × u i dt = X (u × d u ) · ∂ ψ dσ dt ˆ eff 0 0 ˆ 0 i 0 i 0 i=1 ωT 2 + (1 + κ ) (u0 × (u0 · e3)e3) · ψ dσ dt ˆωT 2 + κ X {(∂ u · e )u − (u · e )∂ u }· ψ dσ dt. (. ) ˆ i 0 i 0 0 i i 0 i=1 ωT This concludes the proof of (.). To complete the proof of Theorem . it remains to show (.). ∞ 1 3 To this end, we first observe that, since u0 ∈ L (R+; H (M, R )), the function t 7→ F0(u0(t)) is 1 in the space L (R+), and thus almost every t ∈ R+ belongs to the set L0 of its Lebesgue points. We claim that (.) holds for every t ∈ L0. Indeed, fix t ∈ L0 and δ > 0. Integrating (.) in time, for every ε > 0 we deduce the inequality

t+δ t+δ s 1 α 2 0 Fε(uε(s)) ds + k∂tuε(r)kL2(M,R3) dr ds 6 Fε(u ). δ ˆt−δ δ ˆt−δ ˆ0 Owing to (.)–(. ), Fatou’s lemma, and [, Lemma .], we obtain that

t+δ t+δ s 1 α 2 0 F0(u0(s)) ds + k∂tu0(r)kL2(M,R3) dr ds 6 F0(u ). δ ˆt−δ δ ˆt−δ ˆ0

Since t is a Lebesgue point for t 7→ F0(u0(t)), property (.) follows in the limit δ → 0. MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

. Finite element discretization

In this section, we present a ﬁnite element method for the numerical approximation of the LLG equation

∂tm = −m × heff [m] + α m × ∂tm in U × R+, (.) where U ⊂ Rd (d = 2, 3) is a bounded Lipschitz domain with polytopal boundary, α > 0, and the effective field heff [m] = −dGU [m] is obtained from the energy functional

1 2 1 GU (m) = |∇m| + κ curl m · m − π[m] · m − f · m. (.) 2 Û Û 2 Û Û Here, ∇(·) and curl (·) denote d-dimensional realizations of the gradient and curl operators (see Remark . for the definition of the D curl), κ ∈ R, f ∈ L2(U, R3), and π : L2(U, R3) → L2(U, R3) is a linear, bounded, and self-adjoint operator. Note that this setting covers both the D model 3 (see (.) and (.), where U = Ω ⊂ R , π[m] = hd[mχΩ], and f ≡ 0) and the D reduced model 2 2 (see (. ) and (.), where U = ω ⊂ R , π[m] = −(1 + κ )(e3 ⊗ e3)m, and f ≡ 0). To complete the setting, (.) is supplemented with natural boundary conditions on ∂U × R+ (which, given the 0 functional in (.), read ∂nm = −κ m × n) and the initial condition m(0) = m in U. For the numerical approximation of (.), we propose a tangent plane scheme in the spirit of [, , , ]. The basic ingredients of the method are:

• for the time discretization, a uniform subdivision of R+ with constant time-step size τ > 0 i.e., ti := iτ for all i ∈ N0; • for the spatial discretization, a quasi-uniform family (Th)h>0 of regular simplicial meshes of U parametrized by the mesh size h > 0.

We denote by Nh the set of vertices of Th. For each simplex K ∈ Th (a triangle if d = 2, a tetrahedron if d = 3), we denote by P1(K) the space of ﬁrst-order polynomials on K. We consider the space of piecewise aﬃne and globally continuous functions from U to R, i.e.,

1 0 1 S (Th) = vh ∈ C (U): vh|K ∈ P (K) for all K ∈ Th ,

0 1 and we denote by Ih : C (U) → S (Th) the associated nodal interpolant, i.e.,

0 Ih[v](z) = v(z) for all v ∈ C (U) and all z ∈ Nh.

To mimic the intrinsic orthogonality property of the LLG equation (i.e., m · ∂tm = 0) at the 1 3 discrete level, for all ψh ∈ S (Th) , we consider the discrete tangent space of ψh, deﬁned by

1 3 Kh(ψh) := φh ∈ S (Th) : ψh(z) · φh(z) = 0 for all z ∈ Nh , (.)

where the orthogonality is enforced only at the vertices of the mesh. The starting point of the method is the equivalent reformulation of (.) in the form

α ∂tm + m × ∂tm = heff [m] − (heff [m] · m)m, (.) N i which is linear in the unknown v := ∂tm. For each i ∈ 0, given an approximation mh ≈ m(ti), i the idea is to compute vh ≈ v(ti) = ∂tm(ti) by means of a weak formulation of (.) posed i i i i+1 on the discrete tangent space Kh(mh), and then to use vh to update mh to mh via a first- order time-stepping. In the following algorithm, we state the proposed method for the numerical approximation of (.). MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

0 1 3 0 Algorithm . Input: mh ∈ S (Th) satisfying |mh(z)| = 1 for all z ∈ Nh. Loop: For all i ∈ N0, iterate: i i i (i) Compute vh ∈ Kh(mh) such that, for all φh ∈ Kh(mh), it holds that

i i i i α Ih[vh · φh] + Ih[(mh × vh) · φh] + τ ∇vh : ∇φh Û Û Û κτ κτ + curl vi · φ + vi · curl φ 2 ˆ h h 2 ˆ h h U U (.) i i = − ∇mh : ∇φh + π[mh] · φh + f · φh Û Û Û i i − κ curl mh · φh − κ mh · curl φh. Û Û

i+1 1 3 (ii) Deﬁne mh ∈ S (Th) by i+1 i i mh := mh + τvh. (.) i i Output: Sequences of approximations (mh)i∈N0 and (vh)i∈N0 .

Let us state the main properties of Algorithm . The variational formulation (.) is a Galerkin approximation of (.), where the last term in (.), parallel to m, does not appear, because (.) i is posed in the discrete tangent space of mh. The time discretization adopts an implicit-explicit approach, where the effective field contributions involving spatial derivatives are treated implicitly (the exchange contribution by the implicit Euler method, the DMI contribution by the Crank– Nicolson method), while the lower-order contributions collected in the operator π[·] and in f are treated explicitly. The presence of the nodal interpolant in the first two integrals on the left-hand side of (.) means that these are computed using the trapezoidal rule (so-called mass lumping). Finally, we observe that, if the time-step size τ is sufficiently small, the bilinear form on the left-hand side of (.) is elliptic in H1(U, R3). Hence, each step of Algorithm is well-defined.

i Remark .. The evaluation of the quantity π[mh] can involve the solution of a PDE (which is the case, e.g., when π[m] = hd[mχΩ]), for which an approximation method is also required in general. Here, for ease of presentation, we neglect this aspect and refer, e.g., to [] for an analysis which accounts for the inexact evaluation of π[·] (in terms of an approximate operator πh[·]).

Weak solutions to the LLG equation satisfy the unit-length constraint |m| = 1 and a dissipative energy law; see, e.g., the energy inequality (.). In the following proposition, we establish discrete counterparts of these properties satisﬁed by the iterates of Algorithm .

Proposition .. For all i ∈ N0, the iterates of Algorithm satisfy the discrete energy law

2 2 i+1 i 2 τ i 2 τ i i i GU (mh ) + ατ Ih |vh| + |∇vh| + π[vh] · vh = GU (mh). (.) Û 2 Û 2 Û

i+1 i N In particular, it holds that GU (mh ) 6 GU (mh). Moreover, for all N ∈ , it holds that

N−1 N 2 2 X i 2 kI |m | − 1k 1 Cτ I |v | , (.) h h L (U) 6 ˆ h h i=0 U

where the constant C > 0 depends only on the shape-regularity of the family of meshes. MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

N i i Proof. Let i ∈ 0. Choosing the test function φh = vh ∈ Kh(mh) in (.), we obtain the identity

i 2 i 2 i i α Ih |vh| + τ |∇vh| + κτ curl vh · vh (. ) Û Û Û i i i i i i i i i = − ∇mh : ∇vh − κ curl mh · vh − κ mh · curl vh + π[mh] · vh + f · vh. Û Û Û Û Û Exploiting the fact that π[·] is self-adjoint. It follows that

i+1 (.) 1 i+1 2 i+1 i+1 1 i+1 i+1 i+1 GU (mh ) = |∇mh | + κ curl mh · mh − π[mh ] · mh − f · mh 2 Û Û 2 Û Û 2 (.) i i i τ i 2 = GU (mh) + τ ∇mh : ∇vh + |∇vh| Û 2 Û i i i i 2 i i + κτ curl mh · vh + κτ curl vh · mh + κτ curl vh · vh Û Û Û 2 τ i i τ i i τ i i i − π[mh] · vh − π[vh] · mh − π[vh] · vh − τ f · vh 2 Û 2 Û 2 Û Û 2 2 (. ) i i 2 τ i 2 τ i i = GU (mh) − ατ Ih |vh| − |∇vh| − π[vh] · vh. Û 2 Û 2 Û This yields (.). Moreover, observing that the last three terms on the left-hand side of (.) are i+1 i nonnegative, we also conclude that GU (mh ) 6 GU (mh). i i i+1 2 i 2 2 i 2 Let z ∈ Nh. Since vh ∈ Kh(mh), from (.), we deduce that |mh (z)| = |mh(z)| +τ |vh(z)| . Let N ∈ N. We infer that

N−1 N−1 N 2 N 2 0 2 X i+1 2 i 2 2 X i 2 |mh (z)| − 1 = |mh (z)| − |mh(z)| = |mh (z)| − |mh(z)| = τ |vh(z)| . i=0 i=0

With this identity, using the norm equivalences from [ , Lemma . and . ], we obtain (.).

Proposition . shows that Algorithm respects the dissipative dynamics of the LLG equation, where the intrinsic energy dissipation (modulated by the damping parameter α, cf. the second term on the left-hand side of (.)) is augmented by some artificial dissipation associated with the implicit-explicit treatment of the exchange contribution and the π-contribution to the effective field; cf. the nonnegative third and the fourth term on the left-hand side of (.). Unlike that and unlike the integrator from [], the DMI contribution, now treated by the symplectic Crank– Nicolson method, does not generate numerical dissipation (which would not have a definite sign, as the DMI energy does not have one). Moreover, although the scheme does not enforce the unit- length constraint on the approximate magnetization (not even at the vertices of the mesh), the violation can be controlled by the time-step size; cf. (.). i Algorithm yields a sequence of discrete functions (mh)i∈N0 , which can be used to define the piecewise affine time reconstruction mhτ defined by t − t t − t m (t) := i mi+1 + i+1 mi for all i ∈ N and t ∈ [t , t ). hτ τ h τ h i i+1

The following theorem establishes the convergence of the sequence (mhτ )h,τ>0 of time reconstructions towards a weak solution of the LLG equation as h, τ → 0. MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

Theorem .. Let the approximate initial condition satisfy the convergence property 0 0 1 R3 mh → m in H (U, ) as h → 0.

Then, there exist a weak solution m of the LLG equation and a subsequence of (mhτ )h,τ>0 which, for all T > 0, converges weakly und unconditionally towards m in H1((0,T ) × U, R3) as h, τ → 0.

The proof of Theorem . is constructive and is based on a standard compactness argument: Starting from the energy estimate (.), one can show that the sequence (mhτ )h,τ>0 is uniformly ∞ 1 3 1 3 bounded in L (R+; H (U, R )) ∩ H (U × (0,T ), R ) (for all T > 0), which allows extracting a weakly convergent subsequence. Its limit is then identiﬁed with a weak solution of the LLG equation by passing to the limit as h, τ → 0 in the discrete variational formulation (.), in the energy law (.), as well as in (.). We omit the details as the argument follows the ideas in [, , , ]. Note that a byproduct of the constructive proof is an existence result for weak solutions of (.).

. Numerical results

In this section, we aim to highlight the practical implications of our results and show the eﬀectiv- ity of the proposed algorithm by means of two numerical experiments. The computations presented in this section have been performed with the open-source micromagnetic software Commics []. For both experiments, the computational domain is a helimagnetic nanodisk of thickness 9 nm (aligned with the x3-direction) and variable diameter d > 0 (aligned with the x1x2-plane), i.e., Ω = ω × (0, 9), with ω = {x ∈ R2 : |x| < d/2} being a circle with diameter d. We consider the energy functional in physical units (with values measured in J)

2 2 µ0Ms E(m) = A |∇m| + D curl m · m − hd[mχΩ] · m. (.) ˆΩ ˆΩ 2 ˆΩ Here, A > 0 is the exchange stiffness constant (in J/m), D ∈ R is the DMI constant (in J/m2), while Ms > 0 is the saturation magnetization (in A/m). In our experiments, we use the material −12 −3 2 parameters of iron-germanium (FeGe), i.e., A = 8.78 · 10 J/m, D = 1.58 · 10 J/m , and Ms = 5 p 2 3.84 · 10 A/m; see, e.g., [, ]. The resulting exchange length is èx = 2A/(µ0Ms ) ≈ 9.73 nm. Note that the energy functional (.) can be rewritten in nondimensional form as (.) after 0 a suitable rescaling of the spatial variable and the involved material parameters (x = x/èx, 2 2 3 κ = D/(µ0Ms èx), GΩ(m) = E(m)/(µ0Ms èx)). .. Comparison of the models in the stationary case. In our first numerical experiment, which is inspired by [], we investigate the diameter influence on the equilibrium magnetization configurations obtained by relaxing a uniform out-of-plane ferromagnetic state. Performing this study, we compare the results obtained with the full D model and the reduced D model. We consider the disk diameters d = 80, 90, 100, 120, 140, 160, 180, 200 nm. For the time discretization in Algorithm , we use a constant time-step size of 1 · 10−11 ps. For the spatial discretization of each nanodisk—a cylinder in D (resp., a circle in D)—we consider a tetrahedral (resp., triangular) mesh with mesh size of about h3D = 5.25 nm in D (resp., about h2D = 4.45 nm); see Table below for the precise values. These values, which are well below the exchange length of the material, are chosen so that the surface mesh of the top face of the D nanodisk has approximately the same mesh size as the mesh of the D nanodisk. For each considered value of the disk diameter, we start from the uniform out-of-plane initial condition m0 ≡ (0, 0, 1) and let the LLG dynamics evolve the system towards its equilibrium. MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

Figure . Experiment of Section .: Out-of-plane magnetization component m3 of the equilibrium state for diﬀerent values of the disk diameter d (in nm) computed with the full D model (top) and reduced D model (bottom).

Figure . Experiment of Section .: Out-of-plane magnetization component m3 along one horizontal symmetry line for diﬀerent values of the disk diameter. Com- parison of the results obtained with the full D model and the reduced D model.

Since we are not interested in the precise magnetization dynamics, to speed up the simulations, we choose the large value α = 1 for the Gilbert damping constant in the LLG equation. We simulate for 1 ns, which experimentally turns out to be a suﬃciently large time to reach the stable state for all diameters.

In Figure , we plot the out-of-plane magnetization component m3 of the equilibrium state for all considered values of the disk diameter and both the full D model and the reduced D model.

In Figure , for all considered values of the disk diameter, we plot m3 along one horizontal symmetry line for both the full D model and the reduced D model. For the D case, we consider the line between the points (−d/2, 0, 0) and (d/2, 0, 0). For the D case, we consider the line between the points (−d/2, 0) and (d/2, 0). MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

Figures – show the influence of the diameter of the nanodisk on the final equilibrium state. All equilibrium configurations are radially symmetric. For the smallest values of d considered in the experiment, the out-of-plane magnetization component m3 along one horizontal symmetry line does not cover the entire interval [−1, 1]. Following the terminology of [], we call this state an incomplete skyrmion. Increasing the diameter, the magnetization relaxes to a different stable state, in which m3 covers the entire interval [−1, 1] at least once. We refer to this state as an isolated skyrmion. The transition between the two states occurs for a diameter between 100 and 120 nm for the full D model, while it occurs for a diameter below 100 nm for the reduced D model. For both models, for the cases d = 160, 180, 200 nm, m3 covers the entire interval [−1, 1] at least twice. We refer to this state as a target skyrmion. Apart from the discrepancy in the threshold diameter between incomplete and isolated skyrmions, the results delivered by the two models are in good agreement with each other.

d [nm] 80 90 100 120 140 160 180 200

h3D [nm] 5.27 5.23 5.23 5.20 5.25 5.29 5.33 5.38 h2D [nm] 4.41 4.45 4.45 4.46 4.42 4.41 4.41 4.45 #Th,3D 31 084 39 895 51 340 74 491 95 166 134 150 164 068 214 528 #Th,2D 1354 1830 2142 3706 5062 7062 7924 10 120 error 0.0383 0.0368 0.2200 0.0854 0.0792 0.0992 0.0953 0.0906 Table . Experiment of Section .: Mesh size and number of elements of the meshes, and relative energy error (.) between the D and D computations.

In Table , for all considered values of the disk diameter, we collect the mesh sizes of the D and D meshes, the corresponding number of elements, and the relative error |E(m ) − E(m )| error = 3D 2D . (.) |E(m3D)|

Here, m3D denotes the equilibrium state computed with the full D model, while m2D denotes the D extension (homogeneous in x3) of the equilibrium state computed with the reduced D model. For each value of d, comparing the number of elements of the D and D meshes, we have a quantitative measurement of the reduction of the computational complexity guaranteed by the reduced model. Note that, besides the significantly smaller number of degrees of freedom, a strong advantage of the reduced D model is that all energy contributions are local, while the full D model requires the solution of a nonlocal problem in each time-step to compute the magnetostatic field. This aspect widens the gap between the computational complexities of the two approaches further. Looking at the values of the relative error in the approximation of the energy, we see that the error, apart from the case d = 100 nm (where the stable states obtained by the two models are different), always stays below %.

.. Comparison of the models in the evolutionary case. In our second experiment, we address the effectivity of the reduced D model for the evolutionary problem. Moreover, we try to identify the source of the quantitative discrepancy between the models observed in the first experiment. We restrict ourselves to the disk of diameter 140 nm and repeat the experiment of Section .. However, to have a slower and more realistic magnetization dynamics, we now use the experimental value α = 0.28 for the Gilbert damping parameter []. In this case, the equilibrium magnetization configuration is an isolated skyrmion (see Figure ). In Figure and in Figure , for both the full D model and the reduced D model, we plot the time evolution of the spatial average of the out-of-plane magnetization component m3, i.e., MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

Figure . Experiment of Section .: D view of the isolated skyrmion computed with the full D model (left) and the reduced D model (right).

Figure . Experiment of Section .: Time evolution of hm3i. Comparison of the results obtained with the full D model and the reduced D model.

Figure . Experiment of Section .: Time evolution of the energy contributions (exchange, DMI, magnetostatic) and the total energy (all measured in J). Com- parison of the results obtained with the full D model and the reduced D model.

−1 hm3i = |Ω| Ω m3, of the total energy, and of each energy contribution separately. We observe a clear quantitative´ agreement between the two models, which highlights the eﬀectivity of the proposed approach also for the dynamic problem. Looking at the evolution of the diﬀerent energy contributions, we see that the discrepancy in the total energy between the models is mainly at- tributable to the magnetostatic contribution. Finally, the plot of the time evolution of the total energy (.), which decays monotonically, provides a numerical validation of the dissipative energy law guaranteed by Algorithm (cf. Proposition .). MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

The aim of the experiments included in the present paper was to numerically validate the thin- film limits established in Sections – and to show that the reduced D model, to some extent, provides a computationally attractive tool to qualitatively study the physics of magnetic thin films for materials with bulk DMI. Future numerical studies, out of the scope of the present work, will investigate the difference between the models more quantitatively.

Acknowledgments

The authors thank Carl-Martin Pfeiler (TU Wien) for his help with the Commics code []. All authors acknowledge the support of the Austrian Science Fund (FWF) through the special research program Taming complexity in partial diﬀerential systems (grant F). All authors also acknowledge support from the Erwin Schrödinger International Institute for Mathematics and Physics (ESI) in Vienna, given on the occasion of the workshop on New Trends in the Variational Modeling and Simulation of Liquid Crystals held at ESI on December –, . The research of ED has been supported by the FWF through the grants V -N High contrast materials in plasticity and magnetoelasticity and I N Large Strain Challenges in Materials Science, and from BMBWF through the OeAD-WTZ project CZ/ Mathematical Frontiers in Large Strain Continuum Mechanics. GDF and MR would like to thank the Isaac Newton Institute for Mathematical Sciences for support and hospitality during the program The mathematical design of new materials (supported by EPSRC grant number EP/R/), when work on this paper was undertaken.

References [] C. Abert, L. Exl, G. Selke, A. Drews, and T. Schrefl, Numerical methods for the stray-field calculation: A comparison of recently developed algorithms, Journal of Magnetism and Magnetic Materials, (), pp. –. [] C. Abert, G. Hrkac, M. Page, D. Praetorius, M. Ruggeri, and D. Suess, Spin-polarized transport in ferromagnetic multilayers: an unconditionally convergent FEM integrator, Computers & Mathematics with Applications. An International Journal, (), pp. –. [] E. Acerbi, I. Fonseca, and G. Mingione, Existence and regularity for mixtures of micromagnetic materials, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, (), pp. – . [] F. Alouges, A new finite element scheme for Landau–Lifshitz equations, Discrete and Continuous Dynamical Systems. Series S, (), pp. – . [] F. Alouges and G. Di Fratta, Homogenization of composite ferromagnetic materials, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Science, (), p. . [] F. Alouges, E. Kritsikis, J. Steiner, and J.-C. Toussaint, A convergent and precise finite element scheme for Landau-Lifschitz-Gilbert equation, Numerische Mathematik, (), pp. –. [] F. Alouges and A. Soyeur, On global weak solutions for Landau–Lifshitz equations: Existence and nonunique- ness, Nonlinear Analysis, ( ), pp. –. [] C. Back, V. Cros, H. Ebert, K. Everschor-Sitte, A. Fert, M. Garst, T. Ma, S. Mankovsky, T. L. Monchesky, M. Mostovoy, N. Nagaosa, S. S. P. Parkin, C. Pfleiderer, N. Reyren, A. Rosch, Y. Taguchi, Y. Tokura, K. von Bergmann, and J. Zang, The skyrmionics roadmap, Journal of Physics D: Applied Physics, (), p. . [ ] S. Bartels, Numerical methods for nonlinear partial differential equations, vol. , Springer, . [] S. Bartels and A. Prohl, Convergence of an implicit finite element method for the Landau-Lifshitz-Gilbert equation, SIAM Journal on Numerical Analysis, (), pp. – . [] M. Beg, M. Albert, M.-A. Bisotti, D. Cortés-Ortuño, W. Wang, R. Carey, M. Vousden, O. Hov- orka, C. Ciccarelli, C. S. Spencer, C. H. Marrows, and H. Fangohr, Dynamics of skyrmionic states in confined helimagnetic nanostructures, Physical Review B, (), p. . [] M. Beg, R. Carey, W. Wang, D. Cortés-Ortuño, M. Vousden, M.-A. Bisotti, M. Albert, D. Chernyshenko, O. Hovorka, R. L. Stamps, and H. Fangohr, Ground state search, hysteretic behaviour, and reversal mechanism of skyrmionic textures in confined helimagnetic nanostructures, Scientific Reports, (), p. . MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

[] A. Braides and A. Defranceschi, Homogenization of Multiple Integrals, Oxford University Press, Oxford, . [] M. Bresciani, Linearized von Kármán theory for incompressible magnetoelastic plates, Preprint arXiv:.,(). [] W. F. Brown, Magnetostatic principles in ferromagnetism, North-Holland Publishing Company, New York, . [] W. F. Brown, Micromagnetics, Interscience Publishers, London, . [] F. Bruckner, D. Suess, M. Feischl, T. Führer, P. Goldenits, M. Page, D. Praetorius, and M. Rug- geri, Multiscale modeling in micromagnetics: existence of solutions and numerical integration, Mathematical Models and Methods in Applied Sciences, (), pp. –. [] R. Cantero-Álvarez and F. Otto, Critical fields in ferromagnetic thin films: identification of four regimes, Journal of Nonlinear Science, (), pp. –. [ ] R. Cantero-Álvarez, F. Otto, and J. Steiner, The concertina pattern: a bifurcation in ferromagnetic thin films, Journal of Nonlinear Science, (), pp. –. [] A. Capella, C. Melcher, and F. Otto, Wave-type dynamics in ferromagnetic thin films and the motion of Néel walls, Nonlinearity, (), pp. –. [] G. Carbou, Thin layers in micromagnetism, Mathematical Models and Methods in Applied Sciences, (), pp. –. [] R. Côte, R. Ignat, and E. Miot, A thin-film limit in the Landau-Lifshitz-Gilbert equation relevant for the formation of Néel walls, Journal of Fixed Point Theory and Applications, (), pp. –. [] G. Dal Maso, Introduction to Γ-convergence, Birkhäuser Basel, . [] E. Davoli and G. Di Fratta, Homogenization of chiral magnetic materials: A mathematical evidence of Dzyaloshinskii’s predictions on helical structures, Journal of Nonlinear Science, (), pp. –. [] E. Davoli, M. Kruzík, P. Piovano, and U. Stefanelli, Magnetoelastic thin films at large strains, Continuum Mechanics and Thermodynamics, (). [] A. DeSimone, R. V. Kohn, S. Müller, and F. Otto, A reduced theory for thin-film micromagnetics, Communications on Pure and Applied Mathematics, (), pp. –. [] A. DeSimone, R. V. Kohn, S. Müller, F. Otto, and R. Schäfer, Two-dimensional modelling of soft ferromagnetic films, The Royal Society of London. Proceedings. Series A. Mathematical, Physical and Engineering Sciences, (), pp. – . [] G. Di Fratta, Micromagnetics of curved thin films, Zeitschrift für angewandte Mathematik und Physik, (). [ ] G. Di Fratta, M. Innerberger, and D. Praetorius, Weak–strong uniqueness for the Lan- dau–Lifshitz–Gilbert equation in micromagnetics, Nonlinear Analysis: Real World Applications, (), p. . [] G. Di Fratta, C. B. Muratov, F. N. Rybakov, and V. V. Slastikov, Variational principles of micromagnetics revisited, SIAM Journal on Mathematical Analysis, (), pp. – . [] H. Gao, Optimal error estimates of a linearized backward Euler FEM for the Landau-Lifshitz equation, SIAM Journal on Numerical Analysis, (), pp. – . [] C. J. García-Cervera, Numerical micromagnetics: a review, Boletín de la Sociedad Española de Matemática Aplicada. SeMA, (), pp. –. [] C. J. García-Cervera and W. E, Effective dynamics for ferromagnetic thin films, Journal of Applied Physics, (), pp. –. [] T. L. Gilbert, A phenomenological theory of damping in ferromagnetic materials, IEEE Transactions on Magnetics, (), pp. – . [] G. Gioia and R. D. James, Micromagnetics of very thin films, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences, ( ), pp. –. [] R. Hadiji and K. Shirakawa, D-D asymptotic observation for minimization problems associated with de- generate energy-coefficients, Discrete and Continuous Dynamical Systems. Series A, (), pp. –. [] G. Hrkac, C.-M. Pfeiler, D. Praetorius, M. Ruggeri, A. Segatti, and B. Stiftner, Convergent tangent plane integrators for the simulation of chiral magnetic skyrmion dynamics, Advances in Computational Mathematics, ( ), pp. –. [] A. Hubert and R. Schäfer, Magnetic domains: the analysis of magnetic microstructures, Springer Science & Business Media, . [ ] R. Ignat, A survey of some new results in ferromagnetic thin films, in Séminaire: Équations aux Dérivées Partielles, École Polytechnique, Palaiseau, , pp. Exp. No. VI, . [] R. Ignat and F. Otto, A compactness result in thin-film micromagnetics and the optimality of the Néel wall, Journal of the European Mathematical Society (JEMS), (), pp. – . MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

[] , A compactness result for Landau state in thin-film micromagnetics, Annales de l’Institut Henri Poincaré. Analyse Non Linéaire, (), pp. –. [] H. Knüpfer, C. B. Muratov, and F. Nolte, Magnetic domains in thin ferromagnetic films with strong perpendicular anisotropy, Archive for Rational Mechanics and Analysis, ( ), pp. –. [] R. V. Kohn and V. V. Slastikov, Another thin-film limit of micromagnetics, Archive for Rational Mechanics and Analysis, (), pp. –. [] , Effective dynamics for ferromagnetic thin films: a rigorous justification, Proceedings of The Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences, (), pp. –. [] M. Kruzík and A. Prohl, Recent developments in the modeling, analysis, and numerics of ferromagnetism, SIAM Review, (), pp. –. [] M. Kurzke, Boundary vortices in thin magnetic films, Calculus of Variations and Partial Differential Equations, (), pp. –. [] M. Kurzke, C. Melcher, and R. Moser, Domain walls and vortices in thin ferromagnetic films, in Analysis, modeling and simulation of multiscale problems, Springer, Berlin, , pp. – . [] M. Kurzke, C. Melcher, R. Moser, and D. Spirn, Ginzburg-Landau vortices driven by the Landau-Lifshitz- Gilbert equation, Archive for Rational Mechanics and Analysis, (), pp. –. [ ] L. Landau and E. Lifshitz, On the theory of the dispersion of magnetic permeability in ferromagnetic bodies, in Perspectives in Theoretical Physics, Elsevier, , pp. –. [] R. G. Lund and C. B. Muratov, One-dimensional domain walls in thin ferromagnetic films with fourfold anisotropy, Nonlinearity, (), pp. –. [] R. G. Lund, C. B. Muratov, and V. V. Slastikov, Edge domain walls in ultrathin exchange-biased films, Journal of Nonlinear Science, (), pp. –. [] C. Melcher, A dual approach to regularity in thin film micromagnetics, Calculus of Variations and Partial Differential Equations, (), pp. – . [] , Thin-film limits for Landau-Lifshitz-Gilbert equations, SIAM Journal on Mathematical Analysis, (), pp. –. [] , Chiral skyrmions in the plane, Proceedings of The Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences, (), p. . [] C. Melcher and Z. N. Sakellaris, Curvature-stabilized skyrmions with angular momentum, Letters in Math- ematical Physics, ( ), pp. –. [] M. Morini and V. Slastikov, Reduced models for ferromagnetic thin films with periodic surface roughness, Journal of Nonlinear Science, (), pp. –. [] R. Moser, Boundary vortices for thin ferromagnetic films, Archive for Rational Mechanics and Analysis, (), pp. –. [] , Moving boundary vortices for a thin-film limit in micromagnetics, Communications on Pure and Applied Mathematics, (), pp. –. [ ] C. B. Muratov, A universal thin film model for Ginzburg-Landau energy with dipolar interaction, Calculus of Variations and Partial Differential Equations, ( ), p. Paper No. . [] C.-M. Pfeiler, M. Ruggeri, B. Stiftner, L. Exl, M. Hochsteger, G. Hrkac, J. Schöberl, N. J. Mauser, and D. Praetorius, Computational micromagnetics with Commics, Computer Physics Communica- tions, (), p. . [] D. Praetorius, Analysis of the operator ∆−1div arising in magnetic models, Zeitschrift für Analysis und ihre Anwendungen, (), pp. –. [] A. Prohl, Computational micromagnetism, Advances in Numerical Mathematics, B. G. Teubner, Stuttgart, . [] B. J. Schroers, Bogomol’nyi solitons in a gauged O(3) sigma model, Physics Letters B, ( ), pp. – . [] V. Slastikov, Micromagnetics of thin shells, Mathematical Models and Methods in Applied Sciences, (), pp. –. [] R. Streubel, P. Fischer, F. Kronast, V. P. Kravchuk, D. D. Sheka, Y. Gaididei, O. G. Schmidt, and D. Makarov, Magnetism in curved geometries, Journal of Physics D: Applied Physics, (), p. . [] C. Xie, C. J. García-Cervera, C. Wang, Z. Zhou, and J. Chen, Second-order semi-implicit projection methods for micromagnetics simulations, Journal of Computational Physics, (), p. . MICROMAGNETICS OF THIN FILMS IN THE PRESENCE OF DZYALOSHINSKII–MORIYA INTERACTION

TU Wien, Institute of Analysis and Scientific Computing, Wiedner Hauptstraße –, , Vi- enna, Austria Email address: [email protected] Email address: [email protected] Email address: [email protected] Email address: [email protected]