- Research
- Open Access
- Published:
Renormalization for the Laplacian and global well-possness of the Landau–Lifshitz–Gilbert equation in dimensions \(n \geq3\)
Boundary Value Problems volume 2020, Article number: 96 (2020)
Abstract
The global solution of the \(n \geq3\) Landau–Lifshitz–Gilbert equation on \(\mathbb{S}^{2}\) is studied under the cylindrical symmetric coordinates. An equivalent complex-valued equation in cylindrical symmetric coordinates is obtained by the Hasimoto transformation. A renormalization for the Laplacian is used to transform this equivalent system to a Ginzberg–Landau type system in which the Strichartz estimate can be applied. The global \(H^{2}\) well-posedness of the Cauchy problem for the Landau–Lifshitz–Gilbert equation is established.
1 Introduction
In this paper we consider the Cauchy problem for the Landau–Lifshitz–Gilbert (LLG) equation [14]:
where \(S=(S_{1}, S_{2}, S_{3})\), \(\alpha, \beta\in[0, 1]\), the α-term denotes the exchange interaction, while the β-term is the Gilbert damping term. Furthermore, we set \(\alpha^{2}+\beta^{2}=1\) after a time-scaling.
Equation (1) is a mixture of two well-known partial differential equations: If \(\beta=0\), (1) degenerates into the Schrödinger map equation; (1) also includes the well-known harmonic map heat flow under the setting of \(\alpha=0\). There are a number of different definitions that are all equivalent to the Schrödinger map equation and the harmonic map heat flow under the smooth setting. The general formulation of the heat flow equation for harmonic maps into a Kähler manifold \((M, g(t))\) (domain manifold with an evolving metric \(g(t)\) and \(0 \leq t \leq T\)) is similar to the general formulation of the Schrödinger map equation. Let \(\varGamma^{a}_{b,c}\) be the Christoffel symbol of the target manifold \((M, g(t_{0}))\). The harmonic map heat flow \(u: (M, g(t)) \mapsto (M, g(t_{0})) \) is then described by
where
in the local coordinates \(x=(x_{1}, x_{2}, \ldots, x_{n})\) of the domain manifold and in the same time the local coordinates \(y^{a}\) of the target manifold.
Since the Kähler manifold \((M, g(t))\) has an action by a complex structure \(J(S)\) in the tangent bundle, the Schrödinger map equation can be written
In radial coordinates, we just discuss the flow on \(\mathbb{S}^{2}\) which means \(S_{1}^{2} + S_{2}^{2} + S_{3}^{2} = 1\). In local coordinate around \(S(t,r)\), we can define a complex transformation \(z = (S_{1} - i S_{2} )/(1+S_{3}) \) in the complex plane with metric given by the expression
where \(\lambda(z, \overline{z})\) is the conformal factor. If the target manifold is \(\mathbb{S}^{2}\), we have
In terms of a conformal complex coordinate z on N, where the metric is given by (2)–(3), (1) can be rewritten as
As we see, (1) transforms into a nonlinear Ginzburg–Landau type equation (4) with a derivative term. It will not be difficult to realize the transformation between z and S. If \(\Re(z)\) and \(\Im(z)\) represent the real part and the imaginary part of the function z. Exactly, we can use the conversion
to realize this transformation.
Equation (4) is for the equations of motion in the stereographic representation except the south pole \(P = (0,0,-1)\). If \(\alpha=1\), (4) is the Schrödinger map equation on \(\mathbb{S}^{2}\). If \(U_{0}\) denotes the Green function of the linear Schrödinger equation, the Duhamel formula indicates
where
As is well known, the smallness condition always implies the existence of a global solution for the nonlinear Schrödinger equation. However, because there is a gradient nonlinear term ∇ in (4) (also see (6)), the framework considered by Klainerman and Ponce [13] and Shatah [20] cannot be directly applied to the Schrödinger map system. In the initially almost parallel spins, Sulem, Sulem and Bardos [21] consider initial conditions such that z is small data which initially components \(S_{10}\) and \(S_{20}\) are “small” and \(S_{30}\) is close to 1.
The Schrödinger map equation is the simplest and the most important part of the LLG equation. Up to now there are so many significant well-posedness results, especially the existence of global smooth solution (or weak solutions) to it. There is an extensive literature on the topic, which we do not attempt to survey. For a better understanding of the results and various techniques as regards the Schrödinger map equation, we refer the reader to [2–4, 8, 12, 18, 19, 21] (and the references therein).
Comparing to the Schrödinger map equation, the results of the well-posedness are even fewer. We just list some representative cases in dimension order below. If \(n=1\) and with a periodic boundary condition setting, Guo and Huang [7] proved the existence of unique smooth solutions by means of the different methods. In dimension \(n = 2\), LLG equation is energy critical case which the \(L^{2}\) norm for \(| \nabla S_{\epsilon}|\) is conserved under the scaling \(S_{\epsilon }(t,x)=S(t/{\epsilon}^{2},x/{\epsilon})\). Based on the Ginzburg–Landau approximations method, Harpes [9, 10] proved in two dimensions the global existence and uniqueness of weak solutions with at most finitely many singularities. In dimension \(n \geq3\), the LLG equation becomes super-critical with respect to the \(L^{2}\) norm of \(| \nabla S_{\epsilon}|\). In \(n=3\), some necessary conditions for the existence of global weak solutions were presented by Alouges and Soyeur [1]. Melcher [16] proved the existence of partially regular weak solutions for it in dimension 3. The existence of the time-periodic solution belonging to \(C^{1}( \mathbb{R}, L^{2}(\varOmega, \mathbb{R}^{3} )) \cap C( \mathbb{R}, H^{2}_{N}(\varOmega, \mathbb{R}^{3})) \) was proved by Huber [11] under the homogeneous Neumann boundary conditions. In dimension \(n \geq3\), Guo and Hong [6] proved a global existence theorem of solutions for the LLG equation from some n-dimensional manifold M into the \(\mathbb{S}^{2}\) based on the links between the harmonic maps and the solutions of the LLG equation. For a smallness initial condition, the global well-posedness on scaling invariant homogeneous Sobolev space (by Melcher [17]) and Morrey space (by Lin, Lai and Wang [15]) has been established in \(n \geq3\) by the moving frame technique. However, the singularity of the solution will develop from some special small initial data. For instance, Ding and Wang [5] proved that the solution of (1) will blow up in finite time in three and four dimensions under small special initial data. The exact solution is helpful to understand the property of the Schrödinger map equation (or the LLG equation) directly. We refer to [22–24] for more about how to construct the solution of these two equations.
In this paper we establish a relationship between the LLG equation and the nonlinear Ginzburg–Landau equation. We deal with a new complex system to prove the global existence and regularity for the LLG equation in \(n \geq3\) under some special conditions. Here we state our main theorem as follows.
Theorem 1.1
Assuming\(n \geq3\)and the initial data\(S_{0} \in H^{2}_{{\mathbb {R}^{n}}}\)for the radial LLG equation
\(S_{0}\)satisfies\(\Vert \partial_{x_{i}} \partial_{r} S_{0} \Vert _{L^{2}_{r}} \ll1 \)and\(\|\partial_{r} S_{0}\|_{L^{2}_{r}} \ll1\) (\(i=1,2,\ldots ,n\)). Furthermore, assuming\(p \geq2 \), \(\frac{4p}{3(p-2)} > 2\)and\(L^{2}( {\mathbb{R}^{3}}, \mu ) \subset L^{2p/(p-2)}( {\mathbb{R}^{3}}, \mu)\)are satisfied. Then for (7) there exists a global solution in time:
At the same time, \(\mathrm{Q}_{0} \in H^{1}_{\mathbb{R}^{n}}\)and then-dimensional Ginzburg–Landau type equation
holds;
Remark 1.2
For Theorem 1.1, we list some comments as follows.
- 1
If \(n = 2\) and \(\beta=0\), (7) is the radial symmetric Schrödinger mapping equation studied by Chang, Shatah and Uhlenbeck [4]. Theorem 1.1 presents a global regularity result of the LLG equation in \(n \geq3\) dimensions. In addition, if \(\beta =0\), Theorem 1.1 also indicates the solution of the \(n \geq 3\) Schrödinger map equation is global under the smallness and embedded conditions.
- 2
Under the conditions \(S_{0}-S_{\infty}\in H^{1} \cap W^{1,n}\) and \(\| \nabla S_{0} \|_{L^{n}} \ll1\), Melcher [17] obtains the global result of the LLG equation. Moreover, the space used by Melcher can be extended to the general Morrey space \({M^{2,2}}\). By an equivalent couple Ginzberg–Landau type equation, Lin, Lai and Wang [15] prove some similar global results on \({M^{2,2}}\) under the smallness condition \(\nabla S_{0}\ll1\). In both of their works [15, 17], \(S_{0}-S_{\infty}\in L^{2}(\mathbb{R}^{n})\) is the necessary condition to ensure that the estimation method can be carried out on the whole domain. In Theorem 1.1, the constraint condition \(S_{0}-S_{\infty}\) is removed.
The paper is written as follows. In Sect. 2, we establish some basic estimates of the Ginzburg–Landau semigroup. In Sect. 3, we deduce the equivalent complex Ginzburg–Landau type equations from the LLG equation. We also derive the renormalization for the Laplacian in the equivalent system. In Sect. 4, we prove the \(n \geq3\) global existence theorem for the equivalent equation and the LLG equation.
2 The fundamental priori estimates
The well-known fundamental estimate for the kernel of the Schrödinger equation can be extended to the Ginzburg–Landau equation. Note that the fundamental solution of the n-dimensional complex equation
is closely related to
which is a mixture of the Poisson kernel (\(\beta=0\) case) and the heat kernel (\(\alpha=0\) case).
It follows that
for all \(t\neq0\) and all \(\varphi\in S(\mathbb{R}^{n})\).
Equation (8) leads to a semigroup
Furthermore, we denote
As is well known, in n space dimensions, if Z is the solution to the initial-boundary linear equation
the Duhamel formula of (9) is as follows:
In order to estimate the \(( U_{\alpha,\beta}(t) \varphi)({x})\) and \(\mathcal{A} \psi(t)\), we need to develop some basic lemmas under the different norm spaces. Similar to the Schrödinger semigroup, the Ginzburg–Landau semigroup has a certain smoothing effect on the derivatives such as
where \(2 \leq p \leq\infty \) and \(p^{\prime}\) with \(\frac{1}{p}+\frac {1}{p'}=1\).
According to (11), we obtain an estimate of the first component of (10) as follows.
Lemma 2.1
Let\(2 \leq p \leq\infty \)and\(\frac{1}{p}+\frac{1}{p'}=1\). Then the dispersive inequality for the linear Ginzburg–Landau propagator is as follows:
Remark 2.2
Lemma 2.1 applies to the extreme case \(p=2\) and \(p=\infty\): the complex interpolation is
while the dispersive estimate comes from
Remark 2.3
The same estimate holds with the norms of \(L_{{x}}^{p}\) and \(L_{{x}}^{p'}\) replaced by the norms of \(H^{s,p}(\mathbb{R}^{n})\) and \(H^{s,p'}(\mathbb{R}^{n})\): If \(t\neq0\), then
where \(s\in\mathbb{R}\) and \(2< p\leq\infty\).
Next, we present an estimate of the second component of (10). If we denote
and
From the estimate (11), we obtain
By the weak Young inequality and (12), we have
where
We introduce the mixed space-time Lebesgue spaces norms as the set of all functions φ with
Furthermore, we say that \((q, p)\) is a Strichartz pairs if
where p and q satisfy \(2 < q \leq\infty\) and \(2 \leq p \leq \infty\).
According to (10), (13) indicates a control of the \(\varphi=0\) case as
Evidently, (15) gives an estimate of the \(\mathcal{A} \psi (t)\) component as follows.
Lemma 2.4
Let\((q, p)\)be the strict Strichartz pairs defined by (14). Then there exists a Hardy–Littlewood–Sobolev inequality as follows:
More clearly, a combination of Lemmas 2.1–2.4 and the Duhamel formula (10) indicates the control of the norm of Z which comes from (9). We claim the Strichartz estimate formula as follows.
Lemma 2.5
Let\((q, p)\)be the strict Strichartz pairs. Innspace dimensions, Zis the solution of (9). ThenZsatisfies the following space-time Strichartz estimate:
As is well known, the dispersive inequality, Hardy–Littlewood–Sobolev inequality and space-time Strichartz estimate are very useful tools to prove the regularity of the Schrödinger equation. Similar to this situation, Lemmas 2.1–2.5 (especially the space-time estimate Lemma 2.5) will be essential for solving the nonlinear Ginzburg–Landau equations.
3 Equivalent equations and renormalization for the Laplacian
3.1 Equivalent equations
It should be pointed out that for (4) as a nonlinear equation with a derivative term it is not easy to establish a global theorem. However, if we use the method of Hasimoto transformations, (1) can be represented by a complex equation, often without derivative component. Using this transformation, we have
where
are the curvature and torsion in the Euclid space, respectively.
Noticing that if \(S \in\mathbb{S}^{2}\), it is obvious that
because of \(\vec{a} \times(\vec{b} \times \vec{c})=(\vec{a}\cdot\vec{c})\vec{b}-(\vec{a}\cdot \vec{b})\vec{c}\). We map S on the unit tangent vector \(e_{1}\) to obtain the time evolution equation of \(e_{1}\) as follows:
where
If we set
the right hand coordinates relationship shows that
Meanwhile, the time derivative of E satisfies
where
By the Frenet formula of the moving frame method, the spatial derivatives of orthogonal basis E can be represented as follows:
where
Combining (17)–(21) with the compatibility condition
we map (7) onto a moving helical space curve in Euclid space. Finally, we obtain a complex system as follows:
where \(R(t)\) is a real-valued function,
Furthermore, if we use the transformation
(22) can be transformed into
3.2 Renormalization for the Laplacian
Neither (22) nor (23) is a standard Ginzberg–Landau system due to the pseudo-Laplacian as follows:
If we do not transform (23) into a standard complex equation with a Laplacian, it is difficult to employ the Strichartz estimate. Under the setting of \(n \geq3\), the rearranging need two steps from \(n=3\). Hence, we firstly reform the \(L(n,Q)\) into a Laplace operator for the \(n=3\) case.
In this case, (24) will become a Laplace operator under some special transformation. For the 3-dimensional case, we look for a variable separation transformation \(U=Q(t,r)Y\) to rewrite (22) as
where Y is a function to be determined.
In spherical coordinates \((r,\theta, \varphi)\) (\(\varphi\in[0,2\pi]\) and \(\theta\in[0,\pi]\)), we construct U in the form of \(U=Q(t,r)Y(\theta, \varphi)\). Hence, the Laplace operator is
If Y is some spherical harmonic, which is a special function defined on the surface of a sphere (denoted as \(Y_{\ell}^{m}(\theta,\varphi)\) or \(Y_{\ell}^{m}\)), we have
and
More clearly, if we set
then the Laplace of
is
By Laplace’s spherical harmonics \(Y_{ 1 }^{1}\), we use the transformation \(M=QY_{ 1 }^{1}\) (or \(Q = (Y_{ 1 }^{1})^{-1}M\)) to rewrite (23) as follows:
where
and
Now we finish the rearranging process for the \(n=3\) case. The second step for the general n is the case \(n \geq4\) which will be finished below. If \(n \geq4\), the Laplacian in more than four dimensions (for the Euclidean Laplacian in spherical polar coordinates) decomposes as
where \(\Delta_{S^{n-1}}\) is the Laplace–Beltrami operator on \(S^{n-1}\). This operator is the analog of the angular part of the Laplacian in \(n=3\). The spherical Laplacian is defined by
where \(f(x/|x|)\) is the degree zero homogeneous extension of the function f to \({\mathbb{R}}^{n}-0\). An orthogonal basis of spherical harmonics in higher dimensions can be constructed inductively by the method of separation of variables, by solving the Sturm–Liouville problem for the spherical Laplacian
In particular, for the ordinary 2-sphere using standard notation for polar coordinates we have
Now, we want to find a function which rearranges (24) into a Laplacian. According to (27) and (28), we need to construct a function (for the \(n>3\) case) which satisfies
The spherical harmonics which is on the unit sphere \(S^{2}\) inside the three-dimensional Euclidean space can be generalized to the higher-dimensional Euclidean space. Furthermore, these are the solid spherical harmonics \(Y(\theta_{n},\ldots,\theta_{1})\) on the space of functions on the unit sphere satisfying
The end result of such procedure (29)–(30) generates the solution of (31):
where the indices satisfy \(\ell_{1} \leq\ell_{2} \leq\cdots \leq\ell_{n-1} \). The function \({}_{j}{\bar{P}}_{l_{j}}^{l_{j-1}}(\theta_{j}) \) in (32) is defined in terms of the Legendre function (\(\theta \in [0,\pi]\)), thus
where
and \(P_{\ell}(y)\) is given by the Rodrigues formula,
The functions described by (33) satisfy the general Legendre differential equation with the indicated values of the parameters ℓ as follows:
More clearly, we can list some polynomials given by (33) and (34) as follows:
Hence, (33) and (34) leave us with \(P_{\ell }^{m}(\cos\theta)\) (hence \({}_{j}{\bar{P}}_{L}^{l}(\theta)\) ) is a polynomial generated by sinθ and cosθ. We can use the transformation \(U= Q Y \) (Y is short for \(Y(\theta_{n-1},\ldots,\theta _{1})\)) to rewrite (24) into a Laplacian. At the same time, we can transform (23) into
where
and
Differentiating (with respect to \(x_{j}\), \(j = 1, 2, \ldots, n\)) (35) we get
where
The spherical coordinate system defined for the three-dimensional Euclidean space can be extend to the n dimensional Euclidean space, in which the coordinates consist of a radial coordinate r and \(n-1\) angular coordinates \(\theta_{1},\theta_{2},\dots,\theta_{n-1}\) where the angles \(\theta_{2},\theta_{3}, \dots,\theta_{n-1}\) range over \([0,\pi]\) and \(\theta_{1}\) ranges over \([0,2\pi] \). If \(x_{i} \) is for the Cartesian coordinates, then we may compute \(x_{1},\ldots ,x_{n} \) with
The volume element in the n dimensional case in radial coordinates \((r, \theta_{1},\theta_{2},\dots,\theta_{n-1})\) is calculated from the Jacobian of the transformation
where \(\textbf{S}_{i}\) and \(\textbf{C}_{i}\) (\(i=1,\ldots,n-1\)) denote \(\sin(\theta_{i})\) and \(\cos(\theta_{i})\), respectively.
Precisely, the volume element is
Hence, the volume of the n-ball is calculated by
This indicates the \(L^{2}\) norm of U on the n-spherical coordinates is as follows:
4 Global solution in \(n \geq3\)
4.1 Global solution in \(n = 3\)
We multiply (25) by M̅, perform the integral and take the imaginary part. We have
From (37), the norm of M on spherical coordinates \((r,\theta , \varphi)\) can be controlled by
According to \(M=QY_{ 1 }^{1}\), (38) also indicates a control of the norm on variable r
It is obvious that
By Lemma 2.5, we have
According to \(\|M\|_{L^{2}_{{\mathbb{R}^{3}}}} \lesssim\|Q\|_{L^{2}_{r}}\), (26) and (40) , we obtain
We notice that the estimate of \(Q \int_{0}^{r} \Im ( \overline{Q}Q_{{r}} ) \,\mathrm{d}r\) is similar to \(\vert Q \vert ^{2}Q\). By the Young inequality and the Hardy inequality, we obtain the estimate of the last two terms of (41) as follows:
From (41) and (42), the norm of M is controlled by
Equation (39) also shows the equivalence relations of the two norms to hold as follows:
Hence, (43) implies that
If \(\|M_{0}\|_{L^{2}_{\mathbb{R}^{3}}}\) (or \(\|Q_{0}\|_{L^{2}_{r}}\)) is small enough, (44) and \(L^{2}( {\mathbb{R}^{3}}, \mu ) \subset L^{2p/(p-2)}( {\mathbb{R}^{3}}, \mu)\) (where we have the measure μ on \({\mathbb{R}^{3}}\)) indicate a global in time estimate
which implies
Differentiating (with respect to \(x_{j}\), \(j = 1, 2, 3\)) (25) we get
where
where \(C_{1}\) and \(C_{2}\) are constants.
Lemma 2.5 also indicates a bounded
where \({{M_{x_{j}}}_{0} }\) is the initial value of \({{M_{x_{j}}}}\).
To obtain the \({L_{{\mathbb{R}^{3}}}^{p/(p-1)}}\) estimate for \(\widetilde {H_{3}}\), we need to estimate the norm for \(R_{1}\):
By this inequality and the Hardy inequality, the space norm of \(R_{2} \) can be bounded by
According to the estimates (45)–(47), we obtain
If \(L^{2}( {\mathbb{R}^{3}}, \mu ) \subset L^{2p/(p-2)}( {\mathbb{R}^{3}}, \mu)\), (48) means that we can find some small \(\|Q_{0}\| ^{2}_{L^{2}_{r}}\) and \(\|{M_{x_{j}}}_{0}\|^{2}_{L^{2}_{r}}\) to control the norm
where \(C(Q_{0}, {M_{x_{j}}}_{0} , T)\) is a bounded function depending on the three components in the bracket.
Hence, we finish the proof of the existence theorem as follows.
Theorem 4.1
We assume the initial data\(S_{0}\)satisfies\(\Vert \partial_{x_{i}} \partial_{r} S_{0} \Vert _{L^{2}_{r}} \ll1 \)and\(\|\partial_{r} S_{0}\|_{L^{2}_{r}} \ll1\) (\(i=1,2,3\)). Under the embedding\(L^{2}( {\mathbb{R}^{3}}, \mu ) \subset L^{2p/(p-2)}( {\mathbb{R}^{3}}, \mu)\) (\(p \geq2 \)and\(\frac {4p}{3(p-2)} > 2\)), for the radial LLG equation
there exists a global solution
At the same time, \(\mathrm{Q}_{0} \in H^{1}_{\mathbb{R}^{3}}\)and the three-dimensional Ginzburg–Landau type equation
holds, and we have
4.2 Global solution in \(n \geq4\)
From (36), we can derive the equivalence relations of two norms as follows:
Multiplying (35) by U̅, integrating and taking the image part, we obtain an energy equality as follows:
which generates an inequality on the norm of U in \(L_{{{\mathbb {R}^{n}}}}^{2} \) as follows:
Similar to the proof of (44), (49) and (50) are useful to deduce the energy inequality
in which the embedding \(L^{2}( {\mathbb{R}^{n}}, \mu ) \subset L^{2p/(p-2)}( {\mathbb{R}^{n}}, \mu)\) and the smallness of \(\|Q_{0}\| _{L^{2}_{\mathbb{R}^{n}}}\) indicate a global control as follows:
Similar to the proof of (48), we have
If \(\|Q_{0}\|^{2}_{L^{2}_{r}}\) and \(\Vert {{U_{x_{j}}}_{0} } \Vert _{L_{{\mathbb {R}^{n}}}^{2}} \) are small enough, the energy inequalities (51) and (52) mean that there exists a global solution for the n-dimensional (\(n\geq4\)) LLG equation. Hence, we finished the proof of the Theorem 4.2.
Theorem 4.2
We assume\(n \geq4\), \(p \geq2 \)and\(\frac{4p}{3(p-2)} > 2\), \(S_{0}\)satisfies\(\Vert \partial_{x_{i}} \partial_{r} S_{0} \Vert _{L^{2}_{r}} \ll 1 \)and\(\|\partial_{r} S_{0}\|_{L^{2}_{r}} \ll1\) (\(i=1,2,\ldots,n\)). If the embedding\(L^{2}( {\mathbb{R}^{3}}, \mu ) \subset L^{2p/(p-2)}( {\mathbb {R}^{3}}, \mu)\)is satisfied, then, for the radial LLG equation (7), there exists a global small solution in time
At the same time, \(\mathrm{ Q}_{0} \in H^{1}_{\mathbb{R}^{n}}\)and then-dimensional Ginzburg–Landau type equation (23) holds,
Completion of Theorem 1.1
The proof of this theorem can be obtained from Theorem 4.1 and Theorem 4.2. □
References
Alouges, F., Soyeur, A.: On global weak solutions for Landau–Lifshitz equations: existence and nonuniqueness. Nonlinear Anal. 18, 1071–1084 (1992)
Bejenaru, I., Ionescu, A.D., Kenig, C.E.: Global existence and uniqueness of Schrödinger maps in dimensions \(d \geq4\). Adv. Math. 215, 263–291 (2007)
Bejenaru, I., Ionescu, A.D., Kenig, C.E., Tataru, D.: Global Schrödinger maps in dimensions \(d \geq2\): small data in the critical Sobolev spaces. Ann. Math. 173, 1443–1506 (2011)
Chang, N., Shatah, J., Uhlenbeck, K.: Schrödinger maps. Commun. Pure Appl. Math. 53(5), 590–602 (2000)
Ding, S., Wang, C.: Finite time singularity of the Landau–Lifshitz–Gilbert equation. Int. Math. Res. Not. 2007, Article ID rnm012 (2007). https://doi.org/10.1093/imrn/rnm012
Guo, B., Hong, M.: The Landau–Lifshitz equation of the ferromagnetic spin chain and harmonic maps. Calc. Var. Partial Differ. Equ. 1, 311–334 (1993)
Guo, B., Huang, H.: Smooth solution of the generalized system of ferro-magnetic chain. Discrete Contin. Dyn. Syst. 5, 729–740 (1999)
Gustafson, S., Kang, K., Tsai, T.: Schrödinger flow near harmonic maps. Commun. Pure Appl. Math. 60, 463–499 (2007)
Harpes, P.: Uniqueness and bubbling of the 2-dimensional Landau–Lifshitz flow. Calc. Var. Partial Differ. Equ. 20, 213–229 (2004)
Harpes, P.: Bubbling of approximations for the 2-D Landau–Lifshitz flow. Commun. Partial Differ. Equ. 31, 1–20 (2006)
Huber, A.: Periodic solutions for the Landau–Lifshitz–Gilbert equation. J. Differ. Equ. 250, 2462–2484 (2011)
Ionescu, A.D., Kenig, C.E.: Low-regularity Schrödinger maps, II: global well-posedness in dimensions \(d \geq3\). Commun. Math. Phys. 271, 523–559 (2007)
Klainerman, S., Ponce, G.: Global small amplitude solutions to nonlinear evolution equations. Commun. Pure Appl. Math. 36, 133–141 (1983)
Landau, L.D., Lifshitz, E.M.: On the theory of the dispersion of magnetic permeability in ferromagnetic bodies. Phys. Z. Sowjetunion 8, 153–169 (1935). Reproduced in: Collected Papers of L. D. Landau, pp. 101–114. Pergamon, New York (1965)
Lin, J., Lai, B., Wang, C.: Global well-posedness of the Landau–Lifshitz–Gilbert equation for initial data in Morrey spaces. Calc. Var. Partial Differ. Equ. 54, 665–692 (2015)
Melcher, C.: Existence of partially regular solutions for Landau–Lifshitz equations in \(R^{3}\). Commun. Partial Differ. Equ. 30, 567–587 (2005)
Melcher, C.: Global solvability of the Cauchy problem for the Landau–Lifshitz–Gilbert equation in higher dimensions. Indiana Univ. Math. J. 61, 1175–1200 (2012)
Merle, F., Raphaël, P., Radnianski, I.: Blowup dynamics for smooth data equivariant solutions to the critical Schrödinger map problem. Invent. Math. 193, 249–365 (2013)
Perelman, G.: Blow up dynamics for equivariant critical Schrödinger maps. Commun. Math. Phys. 330, 69–105 (2014)
Shatah, J.: Global existence of small solutions to nonlinear evolution equations. J. Differ. Equ. 46, 409–423 (1982)
Sulem, P.L., Sulem, C., Bardos, C.: On the continuous limit for a system of classical spins. Commun. Math. Phys. 107, 431–454 (1986)
Zhong, P., Wang, S., Zeng, M.: Two blowup solutions for inhomogeneous isotropic Landau–Lifshitz equation. J. Math. Anal. Appl. 409, 74–83 (2014)
Zhong, P., Yang, G.: Finite time blowup of multidimensional inhomogeneous isotropic Landau–Lifshitz equation on a hyperbolic space. Comput. Math. Appl. 73, 433–449 (2017)
Zhong, P., Yang, G., Ma, X.: Global existence of Landau–Lifshitz–Gilbert equation and self-similar blowup of harmonic map heat flow on \(S^{2}\). Math. Comput. Simul. 174, 1–18 (2020)
Acknowledgements
The continuous support of the Guangdong University of Education is appreciated.
Funding
This work is supported by TianYuan Special Fund of the National Natural Science Foundation of China (No. 11426068), Project for Young Creative Talents of Ordinary University of Guangdong Province (No. 2014KQNCX228; No. 2016KQNCX113), PhD Start-up Fund of Natural Science Foundation of Guangdong Province (No. 2014A030310330), Special Innovation Projects of Universities in Guangdong Province (No. 2018KTSCX161) and Fund for Science and Technology of Guangzhou (No. 201607010352).
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that there are no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zhong, P., Wu, F. & Tang, S. Renormalization for the Laplacian and global well-possness of the Landau–Lifshitz–Gilbert equation in dimensions \(n \geq3\). Bound Value Probl 2020, 96 (2020). https://doi.org/10.1186/s13661-020-01377-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-020-01377-6
Keywords
- Landau–Lifshitz equation
- Well-posedness
- Hasimoto transformation