Let O R3 be a smooth bounded domain and consider the energy functional Ie(m; O) := ?O(1/2e|Dm|2 + ?(m) + 1/2|h - m|2) dx + 1/2?R3 |hm|2 dx. Here e > 0 is a small parameter and the admissible function m lies in the Sobolev space of vector-valued functions W1,2 (O; R3) and satisfies the pointwise constraint |m(x)| = 1 for a.e. x ? O. The induced magnetic field hm ? L2 (R3; R3) is related to m via Maxwell's equations and the function ? : S2 ? R is assumed to be a sufficiently smooth, non-negative energy density with a multi-well structure. Finally h ? R3 is a constant vector. The energy functional Ie arises from the continuum model for ferromagnetic materials known as micromagnetics developed by W.F. Brown. In this paper we aim to construct local energy minimizers for this functional. Our approach is based on studying the corresponding Euler-Lagrange equation and proving a local existence result for this equation around a fixed constant solution. Our main device for doing so is a suitable version of the implicit function theorem. We then show that these solutions are local minimizers of Ie in appropriate topologies by use of certain sufficiency theorems for local minimizers. Our analysis is applicable to a much broader class of functionals than the ones introduced above and on the way to proving our main results we reflect on some related problems.
|Number of pages||27|
|Journal||Calculus of Variations and Partial Differential Equations|
|Publication status||Published - Jan 2002|