arxiv: v1 [math.ap] 14 Dec 2018

Transcription

1 The cubic Schrödinger regime of the Landau-Lifshitz equation with a strong easy-axis anisotropy André de Laire 1 and Philippe Gravejat December arxiv: v1 [math.ap] 14 Dec 18 Abstract We pursue our work on the asymptotic regimes of the Landau-Lifshitz equation for biaxial ferromagnets. We put the focus on the cubic Schrödinger equation which is known to describe the dynamics in a regime of strong easy-axis anisotropy. In any dimension we rigorously prove this claim for solutions with sufficient regularity. In this regime we additionally classify the one-dimensional solitons of the Landau-Lifshitz equation and quantify their convergence towards the solitons of the one-dimensional cubic Schrödinger equation. Keywords and phrases. Landau-Lifshitz equation nonlinear Schrödinger equation asymptotic regimes. 1 Mathematics Subject Classification. 35Q6; 35Q55; 37K4; 35C7; 8D4. 1 Introduction Introduced by Landau and Lifshitz in [] the Landau-Lifshitz equation t m+m m Jm = describes the macroscopical dynamics of the magnetization m = m 1 m m 3 : R N R S in a ferromagnetic material. The possible anisotropy of the material is taken into account by the diagonal matrix J := diagj 1 J J 3 but dissipation is neglected see e.g. [19]. The dynamics is Hamiltonian and the corresponding Hamiltonian is the Landau-Lifshitz energy E LL m := 1 m +λ 1 m 1 +λ 3 m 3. R N The characteristic numbers λ 1 := J J 1 and λ 3 := J J 3 give account of the anisotropy since they determine the preferential orientations of the magnetization with respect to the canonical axes. For biaxial ferromagnets all the numbers J 1 J and J 3 are different so that λ 1 λ 3 and λ 1 λ 3. Uniaxial ferromagnets are characterized by the property that only two of the numbers J 1 J and J 3 are equal. For instance let us fix J 1 = J which corresponds to λ 1 = and λ 3 so that the material has a uniaxial anisotropy in the direction corresponding to the unit vector e 3 = 1. In this case the ferromagnet owns an easy-axis anisotropy along the vector e 3 if λ 3 < while the anisotropy is easy-plane along the plane x 3 = if λ 3 >. In the isotropic case LL 1 Université de Lille CNRS INRIA Laboratoire Paul Painlevé UMR 854 F-59 Lille France. andre.de-laire@univ-lille.fr Université de Cergy-Pontoise Laboratoire de Mathématiques AGM UMR 888 F-953 Cergy-Pontoise Cedex France. philippe.gravejat@u-cergy.fr 1

2 λ 1 = λ 3 = the Landau-Lifshitz equation reduces to the well-known Schrödinger map equation see e.g. [ ] and the references therein. In dimension one the Landau-Lifshitz equation is completely integrable by means of the inverse scattering method see e.g. [14]. In this setting it is considered as a universal model from which it is possible to derive other completely integrable equations. Sklyanin highlighted this property in [4] by deriving two asymptotic regimes corresponding to the Sine-Gordon equation and the cubic Schrödinger equation. In a previous work [1] we provided a rigorous derivation of the Sine-Gordon regime in any dimension N 1. This equation appears in a regime of a biaxial material with strong easy-plane anisotropy where the anisotropy parameters are given by λ 1 = σε and λ 3 = 1 ε. Here and in the sequel ε refers as usual to a small positive number and σ is a fixed positive constant. More precisely we introduced a hydrodynamic formulation of the Landau-Lifshitz equation for which the solutions m write as m = 1 u 1 sinφ1 u 1 cosφu and we established that the rescaled functions U ε Φ ε given by uxt = εu ε ε 1 xt and φxt = Φε ε 1 xt satisfy the Sine-Gordon system { t U = Φ σ sinφ t Φ = U in the limit ε under suitable smoothness assumptions on the initial datum. We refer to [1] for more details. We now focus on the cubic Schrödinger equation which is obtained in a regime of strong easyaxis anisotropy. For this purpose we consider a uniaxial material in the direction corresponding to the vector e = 1 and we fix the anisotropy parameters as λ 1 = λ 3 = 1 ε. For this choice the complex map ˇm = m 1 +im 3 and the function m corresponding to a solution m to the Landau-Lifshitz equation satisfy 1 { i tˇm+m ˇm ˇm m 1 ε m ˇm = t m iˇm ˇm C =. Let us introduce the complex-valued function Ψ ε given by Ψ ε xt = ε 1 ˇmxte it ε. 1 Here as in the sequel the notation z 1z C stands for the canonical real scalar product of the two complex numbers z 1 and z which is given by z 1z C = Rez 1Rez +Imz 1Imz = Rez 1 z. 1

3 This function is of order 1 in the regime where the map ˇm is of order ε 1. When ε is small enough the function m does not vanish in this regime since the solution m is valued into the sphere S. Assuming that m is everywhere positive it is given by the formula m = 1 ε Ψ ε 1 and the function Ψ ε is solution to the nonlinear Schrödinger equation i t Ψ ε + 1 ε Ψ ε 1 Ψ ε Ψ ε ε Ψ ε 1 Ψε Ψ ε C Ψ ε +εdiv Ψ 1 ε Ψ ε 1 ε =. NLS ε As ε the formal limit equation is the focusing cubic Schrödinger equation i t Ψ+ Ψ+ 1 Ψ Ψ =. CS Our main goal in the sequel is to justify rigorously this cubic Schrödinger regime of the Landau- Lifshitz equation. We first recall some useful facts about the Cauchy problems for the Landau-Lifshitz and cubic Schrödinger equations. Concerning this latter equation we refer to [7] for an extended review of the corresponding Cauchy problem. In the sequel our derivation of the cubic Schrödinger equation requires additional smoothness so that we are mainly interested in smooth solutions for which a fixed-point argument provides the following classical result. Theorem [7]. Let k N with k > N/. Given any function Ψ H k R N there exist a positive number T max and a unique solution Ψ C [T max H k R N to the cubic Schrödinger equation with initial datum Ψ which satisfies the following statements. i If the maximal time of existence T max is finite then lim Ψ t H k = and t T max limsup t T max Ψ t L =. ii The flow map Ψ Ψ is well-defined and Lipschitz continuous from H k R N to C [T] H k R N for any number < T < T max. iii When Ψ H l R N with l > k the solution Ψ lies in C [T]H l R N for any number < T < T max. iv The L -mass M and the cubic Schrödinger energy E CS given by M Ψ = Ψ and E CS Ψ = 1 Ψ 1 Ψ 4 R N R N 4 R N are conserved along the flow. The Cauchy problem for the Landau-Lifshitz equation is much more involved. In view of the definition of the Landau-Lifshitz energy it is natural to solve it in the energy set defined as ER N := { v L 1 loc RN S : v L R N and v 1 v 3 L R N }. This set appears as a subset of the vector space Z 1 R N := { v L 1 loc RN R 3 : v L R N v L R N and v 1 v 3 L R N } which is naturally endowed with the norm v Z 1 := v 1 H 1 + v L + v L + v 3 H

4 To our knowledge the well-posedness of the Landau-Lifshitz equation for general initial data in ER N remains an open question. This difficulty is related to the fact that the Landau-Lifshitz equation is an anisotropic perturbation of the Schrödinger map equation and the Cauchy problem for this class of equations is well-known to be intrinsically difficult due to their geometric nature see e.g. [1] and the references therein. On the other hand our derivation of the cubic Schrödinger equation requires additional smoothness so that in the sequel we do not address the Cauchy problem for the Landau- Lifshitz equation in ER N. Instead we focus on the well-posedness for smooth solutions. Given an integer k 1 we set E k R N := { v ER N : v H k 1 R N } and we endow this set with the metric structure provided by the norm v Z k := v 1 H + v k L + v H + v k H k of the vector space Z k R N := { v L 1 loc RN R 3 : v 1 v 3 L R N v L R N and v H k 1 R N }. 3 Observe that the energy set ER N then identifies with E 1 R N. When k is large enough local well-posedness of the Landau-Lifshitz equation in the set E k R N follows from the next statement of [1]. Theorem 1 [1]. Let λ 1 and λ 3 be non-negative numbers and k N with k > N/ + 1. Given any function m E k R N there exist a positive number T max and a unique solution m : R N [T max S to the Landau-Lifshitz equation with initial datum m which satisfies the following statements. i The solution m is in the space L [T]E k R N while its time derivative t m is in L [T]H k R N for any number < T < T max. ii If the maximal time of existence T max is finite then Tmax m t L dt =. 4 iii The flow map m m is locally well-defined and Lipschitz continuous from E k R N to C [T]E k 1 R N for any number < T < T max. iv When m E l R N with l > k the solution m lies in L [T]E l R N with t m L [T]H l R N for any number < T < T max. v The Landau-Lifshitz energy is conserved along the flow. In other words there exists a unique local continuous flow corresponding to smooth solutions of the Landau-Lifshitz equation. The proof of this property is based on combining a priori energy estimates with a compactness argument. For the Schrödinger map equation the same result was first proved in [8] when N = 1 and in [1] for N see also [8 6 13] for the construction of smooth solutions. In the more general context of hyperbolic systems a similar result is expected when k > N/ + 1 due to the fact that the critical regularity of the equation is given by the condition k = N/ see e.g. [7 Theorem 1.]. Going on with our rigorous derivation of the cubic Schrödinger regime we now express the previous statements in terms of the nonlinear Schrödinger equation NLS ε satisfied by the rescaled function Ψ ε. 4

5 Corollary. Let ε be a fixed positive number and k N with k > N/+1. Consider a function Ψ ε H k R N such that Ψ L ε < 1. 5 ε 1 Then there exist a positive number T ε and a unique solution Ψ ε : R N [T ε C to NLS ε with initial datum Ψ ε which satisfies the following statements. i The solution Ψ ε is in the space L [T]H k R N while its time derivative t Ψ ε is in L [T]H k R N for any number < T < T ε. ii If the maximal time of existence T ε is finite then Tε Ψε t L dt = or ε 1 lim t Tε Ψε t L = 1. 6 iii The flow map Ψ ε Ψ ε is locally well-defined and Lipschitz continuous from H k R N to C [T]H k 1 R N for any number < T < T ε. iv When Ψ ε H l R N with l > k the solution Ψ ε lies in L [T]H l R N with t Ψ ε L [T]H l R N for any number < T < T ε. v The nonlinear Schrödinger energy E ε given by E ε Ψ ε = 1 is conserved along the flow. vi Set m = R N Ψ ε +ε Ψ ε + ε Ψ ε Ψ ε C 1 ε Ψ ε ε 1 Re Ψ ε 1 ε Ψ ε 1 ε 1 Im Ψ ε. The function m : R N [T ε ] S given by mxt = ε 1 Re e it ε Ψ ε xt 1 ε Ψ ε xt 1 ε 1 Im e it ε Ψ ε xt 7 for any xt R N [T ε ] is the unique solution to LL with initial datum m of Theorem 1. Remark 3. Coming back to the proof of Theorem 1 in [1] and using standard interpolation theory one can check that the flow map Ψ ε Ψ ε is locally well-defined and continuous from H k R N to C [T]H s R N for any number < T < T ε and any number s < k. Corollary also provides the existence of a unique local continuous flow corresponding to smooth solutions to NLS ε. Its proof relies on the equivalence between the Landau-Lifshitz equation and the nonlinear Schrödinger equation NLS ε when condition 5 is satisfied see statement vi above. We refer to Subsection 3.1 for a detailed proof of this result. With Corollary at hand we are now in position to state our main result concerning the rigorous derivation of the cubic Schrödinger regime of the Landau-Lifshitz equation. Theorem 4. Let < ε < 1 be a positive number and k N with k > N/+. Consider two initial conditions Ψ H k R N and Ψ ε Hk+3 R N and set Kε := Ψ H k + Ψ H ε k +ε 1 Ψ Ḣk ε +ε Ψ Ḣk. ε Then there exists a positive number A depending only on k such that if the initial data Ψ and Ψ ε satisfy the condition Aε 1 K ε 1 8 5

6 we have the following statements. i There exists a positive number T ε 1 AKε 9 such that both the unique solution Ψ ε to NLS ε with initial datum Ψ ε and the unique solution Ψ to CS with initial datum Ψ are well-defined on the time interval [T ε ]. ii We have the error estimate for any t T ε. Ψε t Ψ t H k Ψ ε Ψ H k +AεKε 1+K ε 3 e AK ε t 1 Theorem 4 does not only rigorously state the convergence of the Landau-Lifshitz equation towards the cubic Schrödinger equation in any dimension. It also quantifies this convergence in the spirit of what we already proved for the Sine-Gordon regime in [1] see statement iv of [1 Theorem 1]. The assumptions k > N/+ in Theorem 4 originates in our choice to quantify this convergence. They are taylored in order to obtain the ε factor in the right-hand side of the error estimate 1 since we expect this order of convergence to be sharp. This claim relies on the study of the solitons of the one-dimensional Landau-Lifshitz and cubic Schrödinger equations. In Appendix A we classify the solitons m cω with speed c and angular velocity ω of the Landau-Lifshitz equation when λ = λ 1 = λ 3 see Theorem A.1. We then prove that their difference with respect to the corresponding bright solitons Ψ cω of the cubic Schrödinger equation is of exact order ε as the error factor in 1 see Proposition A.3. It is certainly possible to show only convergence under weaker assumptions by using compactness arguments as for the derivation of similar asymptotic regimes see e.g. [3 1 15] concerning Schrödinger-like equations. Observe that smooth solutions for both the Landau-Lifshitz and the cubic Schrödinger equations are known to exist when the integer k satisfies the condition k > N/+1. The additional assumption k > N/ + in Theorem 4 is related to the fact that our proof of 1 requires a uniform control of the difference Ψ ε Ψ which follows from the Sobolev embedding theorem of H k R N into L R N. Similarly the fact that Ψ ε is taken in Hk+3 R N instead of H k+ R N which is enough to define the quantity K ε is related to the loss of one derivative for establishing the flow continuity in statement iii of Corollary. Finally the loss of two derivatives in the error estimate 1 can be partially recovered by combining standard interpolation theory with the estimates in Proposition.4 and Lemma.5. Under the assumptions of Theorem 4 the solutions Ψ ε converge towards the solution Ψ in C [T ε ]H s R N for any s < k when Ψ ε tends to Ψ in H k+ R N as ε but the error term is not necessarily of order ε due to the interpolation process. Note here that condition 8 is not really restrictive in order to analyze such a convergence. At least when Ψ ε tends to Ψ in H k+ R N as ε the quantity Kε tends to twice the norm Ψ H k in the limit ε so that condition 8 is always fulfilled. Moreover the error estimate 1 is available on a time interval of order 1/ Ψ which is similar to the minimal H k time of existence of the smooth solutions to the cubic Schrödinger equation see Lemma.5 below. Apart from the intrinsic interest of Theorem 4 it is well-known that deriving asymptotic regimes is a powerful tool in order to tackle the analysis of intricate equations. In this direction 6

7 we expect that our rigorous derivation of the cubic Schrödinger regime will be a useful tool in order to describe the dynamical properties of the Landau-Lifshitz equation in particular the role played by the solitons in this dynamics see e.g. [6 16] where this strategy was developed in order to prove the asymptotic stability of the dark solitons of the Gross-Pitaevskii equation by using its link with the Korteweg-de Vries equation [1 4 5]. The rest of the paper is mainly devoted to the proof of Theorem 4. In Section we explain our strategy for this proof. Section 3 gathers the proof of Corollary as well as the detailed proofs of the main steps in the proof of Theorem 4. Finally Appendix A deals with the classification of the solitons of the Landau-Lifshitz equation when λ = λ 1 = λ 3 and with their convergence towards the bright solitons of the cubic Schrödinger equation. Strategy of the proof of Theorem 4 The proof relies on the consistency between the Schrödinger equations NLS ε and CS in the limit ε. Indeed we can recast NLS ε as where the remainder term R ε is given by i t Ψ ε + Ψ ε + 1 Ψ ε Ψ ε = εr ε.1 Ψ ε Ψ ε 4 Ψε Ψ ε C R ε := Ψ 1+1 ε Ψ ε 1 ε 1+1 ε Ψ ε 1 Ψ ε div Ψ 1 ε Ψ ε 1 ε.. In order to establish the convergence towards the cubic Schrödinger equation our main goal is to control the remainder term R ε on a time interval [T ε ] as long as possible. In particular we have to show that the maximal time T ε for this control does not vanish in the limit ε. The strategy for reaching this goal is reminiscent from a series of papers concerning the rigorous derivation of long-wave regimes for various Schrödinger-like equations see [ ] and the references therein. The main argument is to perform suitable energy estimates on the solutions Ψ ε to NLS ε. These estimates provide Sobolev bounds for the remainder term R ε which are used to control the differences u ε := Ψ ε Ψ with respect to the solutions Ψ to CS. This further control is also derived from energy estimates. Concerning the estimates of the solutions Ψ ε we rely on the equivalence with the solutions m to LL in Corollary. Using this equivalence we can go back to the computations made in [1] for the derivation of the Sine-Gordon regime of the Landau-Lifshitz equation. More precisely given a positive number T and a sufficiently smooth solution m : R N [T] S to LL we define the energy ELL k of order k as ELLt k := 1 t m t + m t +λ Ḣ k Ḣ k 1 +λ 3 m 1 t Ḣ k + m 3 t +λ1 λ Ḣ k 3 m1 t + m Ḣ k 3 t.3 Ḣ k for any t [T]. In the regime λ 1 = λ 3 = 1/ε we can prove the following improvement of the computations made in [1 Proposition 1]. Proposition.1. Let < ε < 1 and k N with k > N/+1. Assume that λ 1 = λ 3 = 1 ε.4 7

8 and that m is a solution to LL in C [T]E k+4 R N with t m C [T]H k+ R N. Given any integer l k + the energies ELL l are of class C1 on [T] and there exists a positive number C k depending possibly on k but not on ε such that their derivatives satisfy [ E l LL ] t C k ε m 1 t L + m 3 t L + m t L E l LL t+el 1 LL t.5 for any t [T]. For l 1 = 1 the quantity ELL 1 t in this expression is equal to the Landau- Lifshitz energy E LL m t. As for the proof of [1 Proposition 1] the estimates in Proposition.1 rely on the following identity. Under assumption.4 we derive from LL the second-order equation tt m+ m m 1 e 1 + m 3 e m ε ε 1 e 1 +m 3 e 3 = F ε m.6 where F ε m := i i m j m R 3 j m j m i m ij i m j m R 3m 1 ij N 1 m 1 ε +3m 3 m 1e 1 +3m 1 +m 3 m 3e 3 m 1 m 3 m 1 e 3 + m 3 e 1 +m 1 +m 3 m e m m 1 e 1 +m 3 e 3 + m 1 +m 3 m + 1 m ε 1 +m 3m 1 e 1 +m 3 e 3..7 Note here that the computation of this formula uses the pointwise identities m i m R 3 = m ii m R 3 + i m = m iij m R 3 + i m ij m R 3 + j m ii m R 3 = which hold for any 1 ij N due to the property that m is valued into the sphere S. Since λ 1 = λ 3 the expression of the function F ε m in.7 is simpler than the one that was computed in [1]. In contrast with the formula in [1 Proposition 1] the multiplicative factor in the right-hand side of.5 now only depends on the uniform norms of the functions m 1 m 3 and m. This property is crucial in order to use these estimates in the cubic Schrödinger regime. The next step of the proof is indeed to express the quantities ELL k in terms of the functions Ψ ε. Assume that these functions Ψ ε : R N [T] C are smooth enough. In view of and NLS ε it is natural to set Ψε t Ḣ k + ε t Ψ ε t iψ ε t Ḣ k +ε Ψε t Ḣ k E k εt := 1 t +ε 1 ε Ψ ε t ε Ψε t 1 Ḣ k + Ψε t Ḣ k Ḣ k.8 for any k and any t [T]. Combining the local well-posedness result of Corollary and the computations in Proposition.1 we obtain Corollary.. Let < ε < 1 and k N with k > N/ + 1. Consider a function Ψ ε H k+5 R N satisfying condition 5 and let Ψ ε : R N [T ε C be the corresponding solution to NLS ε given by Corollary. Given any integer l k + and any number T < T ε the energies E l ε are of class C 1 on [T] and there exists a positive number C k depending possibly on k but not on ε such that their derivatives satisfy [ ] E l t ε Ck Ψ ε t L + Ψ ε t L +ε Ψ ε t Ψ ε t C E l 1 ε Ψ ε t 1 ε t+ε δ l E l 1 L ε t.9 8

9 for any t [T]. For l 1 = 1 the quantity E 1 εt in this expression is equal to the nonlinear Schrödinger energy E ε Ψ ε t. In order to gain a control on the solutions Ψ ε to NLS ε from inequality.9 we now have to characterize the Sobolev norms which are controlled by the energies E k ε. In this direction we show Lemma.3. Let < ε < 1 T > and k N with k > N/ + 1. Consider a solution Ψ ε C [T]H k+4 R N to NLS ε such that σ T := ε 1 max t [T] Ψ ε t L < 1..1 There exists a positive number C depending possibly on σ T and k but not on ε such that 1 Ψε t Ḣ +ε Ψε t Ḣ +ε Ψε t Ḣ l l l E l ε t C Ψ ε t Ḣ l +ε Ψ ε t Ḣ l +ε Ψ ε t Ḣ l for any l k + and any t [T]. Moreover we also have.11 1 Ψε t +ε Ψε t Ψε E 1 L L εt C t +ε Ψε t.1 L L for any t [T]. With Corollary. and Lemma.3 at hand we are now in position to provide the following control on the solutions Ψ ε to NLS ε. Proposition.4. Let < ε < 1 < σ < 1 and k N with k > N/ + 1. There exists a positive number C depending possibly on σ and k but not on ε such that if an initial datum Ψ ε Hk+3 R N satisfies then there exists a positive time C ε 1 Ψ ε H k +ε 1 Ψ Ḣk ε +ε Ψ ε Ḣk 1.13 T ε 1 C Ψ H ε k +ε 1 Ψ Ḣk ε +ε Ψ Ḣk ε such that the unique solution Ψ ε to NLS ε with initial condition Ψ ε satisfies the uniform bound ε 1 Ψε t L σ as well as the energy estimate Ψε t H k +ε 1 Ψε t Ḣk +ε Ψε t Ḣk Ψ C H ε k +ε 1 Ψ Ḣk ε +ε Ψ Ḣk ε.14 for any t T ε. 9

10 An important feature of Proposition.4 lies in the fact that the solutions Ψ ε are controlled uniformly with respect to the small parameter ε up to a loss of three derivatives. This loss is usual in the context of asymptotic regimes for Schrödinger-like equations see e.g [4 5] and the references therein. It is related to the property that the energies ELL k naturally scale according to the right-hand side of.14 in the limit ε. This property is the origin of a loss of two derivatives. The extra loss is due to the requirement to use the continuity of the NLS ε flow with respect to the initial datum in order to prove Proposition.4 and this continuity holds with a loss of one derivative in view of statement iii in Corollary. We now turn to our ultimate goal which is to estimate the error between a solution Ψ ε to NLS ε and a solution Ψ to CS. Going back to.1 we check that their difference u ε := Ψ ε Ψ satisfies the equation i t u ε + u ε + 1 uε +Ψ u ε +Ψ Ψ Ψ = εr ε..15 In view of. we can invoke Proposition.4 in order to bound the remainder term R ε in suitable Sobolev norms. On the other hand we also have to provide a Sobolev control of the solution Ψ to CS on a time interval as long as possible. In this direction we can show the following classical result see e.g. [7] by performing standard energy estimates on the H k -norms of the solution Ψ. Lemma.5. Let k N with k > N/ and Ψ H k R N. There exists a positive number C k depending possibly on k such that there exists a positive time T 1 C k Ψ H k for which the unique solution Ψ to CS with initial condition Ψ satisfies the energy estimate Ψ t H k C k Ψ H k for any t T. Finally we can perform standard energy estimates in order to control the difference u ε according to the following statement. Proposition.6. Let < ε < 1 < σ < 1 and k N with k > N/ +. Given an initial condition Ψ ε H k+3 R N assume that the unique corresponding solution Ψ ε to NLS ε is welldefined on a time interval [T] for some positive number T and that it satisfies the uniform bound Ψ ε t L σ.16 ε 1 for any t [T]. Assume similarly that the solution Ψ to CS with initial datum Ψ H k R N is well-defined on [T]. Set u ε := Ψ ε Ψ and K ε T := Ψ C [T]H k + Ψ C ε [T]H k +ε1 Ψ C ε [T]Ḣk +ε Ψ C ε [T]Ḣk. Then there exists a positive number C depending possibly on σ and k but not on ε such that for any t [T]. uε t H k uε H k +εk ε T 1+K ε T 3 e C KεTt.17 In view of Remark 3 continuity actually holds with any positive loss of fractional derivatives which translates by a loss of at least one classical derivative. 1

11 We are now in position to conclude the proof of Theorem 4. Proof of Theorem 4. Under the assumptions of Theorem 4 we can apply Proposition.4 with σ = 1/ for instance and Lemma.5. They provide the existence of a positive number C 1 depending only on k and a corresponding number T ε with T ε 1 C 1 K ε such that under assumption 8 with A replaced by C 1 the solution Ψ ε to NLS ε with initial datum Ψ ε and the solution Ψ to CS with initial datum Ψ are well-defined on the time interval [T ε ]. Moreover the function Ψ ε satisfies condition.16 with σ = 1/ on [T ε ] and the quantity K ε T ε in Proposition.6 is controlled by K ε T ε C 1 K ε..18 As a consequence we can invoke Proposition.6 with σ = 1/ which gives the existence of another positive number C depending only on k such that Ψε t Ψ t H k Ψ ε Ψ H k +εk ε T ε 1+K ε T ε 3 e C K εt ε t for any t [T ε ]. Statement ii in Theorem 4 follows with A = max{c 1 C 4 1 C 1 C }. This completes the proof of Theorem 4. 3 Details of the proofs 3.1 Proof of Corollary The proof essentially reduces to translate the statements in Theorem 1 in terms of the nonlinear Schrödinger equation NLS ε. Indeed consider an initial datum Ψ ε H k R N satisfying the assumptions of Corollary. Coming back to the scaling in we set while we can define the function m 1 = ε 1 Re Ψ ε and m 3 = ε 1 Im Ψ ε m = 1 ε Ψ ε due to condition 5. The initial datum m = m 1 m m 3 then lies in Ek R N. Hence there exists a positive number T max and a unique solution m to LL with initial datum m which satisfies the five statements in Theorem 1. As in we then set Ψ ε xt = ε 1 e it ε m1 xt+im 3 xt. In view of statement iii in Theorem 1 the Sobolev embedding theorem guarantees that the function Ψ ε belongs to C [T max C b RN. In particular we are able to define the number T ε := sup { T [T max such that ε 1 Ψ ε t L < 1 for any t < T } T max and this number is positive due to condition 5. Note here that either T ε = T max or ε 1 lim t Tε Ψ ε t L = 1. 11

12 With these definitions at hand statements i ii and iv of Corollary literally follow from the same statements in Theorem 1. Moreover the function m is continuous on R N [T ε by statement iii in Theorem 1 and it does not vanish on this set by definition of the number T ε due to the fact that m is valued in S. Therefore we deduce from 3.1 that m = 1 ε Ψ ε 1 3. on R N [T ε. Recall here that the map m is solution to LL. Since this equation holds with m L [T max E k R N and t m L [T max H k R N we can check that the functions ˇm and m solve 1 and it is enough to apply the chain rule theorem to m in order to derive that the function Ψ ε is solution to NLS ε with initial datum Ψ ε. A direct computation then provides the identity m + 1 ε m 1 +m 3 = Ψ ε +ε Ψ ε + ε Ψ ε Ψ ε C 1 ε Ψ ε 3.3 and the conservation of the energy E ε in statement v follows from the same statement in Theorem 1. Note finally that this construction of solution Ψ ε to NLS ε guarantees the local Lipschitz continuity of the flow map in statement iv of Corollary due to the same property in Theorem 1. Concerning uniqueness the argument is similar. Given another possible solution Ψ ε to NLS ε with initial data Ψ ε as in Corollary we set mxt = ε 1 Re e it ε Ψε xt 1 ε Ψ ε xt 1 ε 1 Im e it ε Ψε xt and we check that the maps m are solutions to LL and that they satisfy the statements in Theorem 1 on time intervals of the form [ T ε. In view of the uniqueness statement in Theorem 1 and of the previous construction of the solution Ψ ε to NLS ε we obtain that Ψ ε = Ψ ε that is the uniqueness of the solution Ψ ε. Statement vi follows from the same argument. This concludes the proof of Corollary. 3. Proof of Proposition.1 Let us first recall the Moser estimates α 1 x f 1 α x f α j x f L j C jk max 1 i j m i fml fiḣl 3.4 which hold for any integers jl N any α = α 1...α j N j with j i=1 α i = l and any functions f 1...f j L R N j Ḣl R N j see e.g. [ 18]. Under the assumptions of Proposition.1 we derive from these estimates that the second-order derivative tt m belongs to C [T]H k R N. Hence the energies ELL l are of class C1 on [T]. Moreover in view of.6 integrating by parts provides the formula [ ] E l t LL = t m tf ε m t = t Ḣ xmxt α xf α l ε mxt dx 3.5 R N R 3 α =l for any t [T]. In order to obtain.5 we now have to control the derivatives x αf εm with respect to the various terms in the quantities ELL l and El 1 LL. Here we face the difficulty that the derivative xf α ε m contains partial derivatives of order l+1 of the function m which cannot be bounded with respect to the quantities ELL l. In order to by-pass this difficulty 1 and El 1 LL

13 we bring to light a hidden geometric cancellation in the scalar product in the right-hand side of 3.5. Let us decompose the derivative α x F εm as α xf ε m = 1 ij N ij i m j m R 3 m+g1 m 1 ε G m+ 1 ε G 3m 3.6 according to the definition of F ε m in.7. By the Leibniz formula the quantity G 1 m is here given by G 1 m := x α i i m j m R 3 j m j m i m 1 ij N β αβ α β α β x i m j m R 3 β x m where α x := α x ij. As a consequence we directly infer from the Leibniz formula and the Moser estimates 3.4 that G1 m L C k m L m Ḣ l Here as in the sequel the notation C k refers to a positive number depending only on k. Observe that the uniform boundedness of the gradient m is a consequence of the Sobolev embedding theorem and the assumption k > N/ + 1. Similarly we have G m L C k m Ḣl 1 m1 L + m 3 L + m L m1 Ḣl + m 3 Ḣl + m L m Ḣl m1 L + m 3 L 3.8 for the quantity G m := x α m 1 +3m 3 m 1e 1 +3m 1 +m 3 m 3e 3 m 1 m 3 m 1 e 3 + m 3 e 1 +m 1 +m 3 m e m m 1 e 1 +m 3 e 3 + m 1 +m 3 m and G 3 m L C k m1 L + m 3 L m1 Ḣl + m 3 Ḣl 3.9 where G 3 m := α x m 1 +m 3 m 1e 1 +m 3 e 3. We then deal with the remaining term of decomposition 3.6. Coming back to 3.5 we integrate by parts in order to write t x α m α x ij i m j m R 3 m R N R 3 = α x j i m j m R 3 t x α i mm + R N R 3 t xm α i m 3.1 R 3 for any 1 ij N. Arguing as before we first obtain α x j i m j m R 3 t xm α i m C R N R 3 k m L m Ḣ l 1 t xm α L

14 On the other hand it follows from the Landau-Lifshitz equation and the Leibniz formula that t x α mm R 3 x α j i m j m R 3 = α β β α α x j i m j m R 3 β x m α β x 1 m m1 e 1 +m 3 e 3 m ε R 3 where x α := x α i. The right-hand side of this formula vanishes when β =. Due to this cancellation we can deduce as before from the Leibniz formula and the Moser estimates 3.4 that x α j R N i m j m R 3 t α x mm R 3 C k m L m Ḣ l ε m L m Ḣ l 1 m L m1 Ḣl + m 3 Ḣl + m Ḣl m1 L + m 3 L. We finally collect this estimate with and 3.11 in order to bound the righthand side of 3.5. Using definition.3 the fact that < ε < 1 and the Young inequality ab a +b we obtain.5. This completes the proof of Proposition Proof of Corollary. In order to establish inequality.9 we rewrite.5 in terms of the function Ψ ε. Given an initial datum Ψ ε Hk+5 R N satisfying 5 the corresponding solution Ψ ε to NLS ε is in C [T ε H k+4 R N by Corollary. Here the characterization of the maximal time T ε guarantees that ε 1 Ψε t L < 1 for any t < T ε. In particular it follows from the continuity properties of the solution Ψ ε and the Sobolev embedding theorem that σ T := ε 1 max Ψε t L < for any T < T ε. t [T] In another direction the function m defined by 7 solves LL for the corresponding initial datum m and we can prove that it is in C [T]E k+4 R N with t m C [T]H k+ R N. Indeed the fact that m 1 and m 3 belong to C [T]H k+4 R N is a direct consequence of their definition and of the continuity properties of the function Ψ ε. Concerning the function m we write it as m = ηε 1 Ψε In view of 3.1 the function η in this formula can be chosen as a smooth function such that ηx = 1 x 1 when x σ T and ηx = 1+σ T / for x close enough to 1. As a consequence we have m t m s = ε 1 1 η ε 1 1 τψε s+τψ ε t Ψε t Ψ ε s dτ 3.14 for any s t T. By the Sobolev embedding theorem we infer that m t m s L ε 1 η L Ψε t Ψ ε s L ε 1 η L Ψε t Ψ ε s H k

15 At this stage let us recall the Moser estimate Ff Ḣl C l f Ḣl max 1 m l Fm L f m 1 L 3.16 which holds for l 1 f L R N Ḣl R N and F C l R with bounded derivatives up to order l see e.g. [ 18]. Applying this estimate 3.4 and 3.1 to 3.14 we get the existence of a positive number A also depending only on k η and σ T such that m t m s Ḣl Aε 1 Ψε t Ψ ε s Ḣl +ε 1 Ψε t Ψ ε s Ψε L t Ḣl + Ψε s Ḣl for any 1 l k + 4. Combining with 3.15 we finally deduce that m is continuous on [ T] with values in E k+4 R N. Since this map is solution to LL it follows from 3.4 and the Sobolev embedding theorem that its time derivative t m is in C [T]H k+ R N. As a consequence we are in position to apply Proposition.1 for the solution m. Coming back to 7 we express the various terms in inequality.5 as for any l k + and εe l LL t = El ε t m 1 t L + m 3 t L + m t L = ε Ψ ε t L + Ψ ε t L +ε Ψ ε t Ψ ε t C. 1 ε Ψ ε t 1 L Note also that ELL 1 t = E1 ε t by 3.3. In conclusion the continuous differentiability of the energies E l ε as well as inequality.9 readily follow from Proposition.1. This completes the proof of Corollary Proof of Lemma.3 We first infer from the proof of Corollary. that the energies E l ε are well-defined on [T] for 1 l k + when the solution Ψ ε to NLS ε lies in C [T]H k+4 R N and satisfies condition.1. We also observe that the left-hand side inequalities in.11 and.1 are direct consequences of the definitions of the energies E l ε. Concerning the right-hand side inequalities we first deal with.1 for which condition.1 guarantees that ε Ψ ε xt Ψ ε xt C 1 ε Ψ ε xt εσ T Ψ εxt 1 σt for any xt R N [T]. The inequality then follows with C = 1/ σ T. We argue similarly for the right-hand side inequality in.11. We take advantage of the uniform bound given by.1 in order to control the space derivatives of the function 1 ε Ψ ε 1/. As in the proof of Corollary. we introduce a smooth function such that ηx = 1 x 1 when x σ T and ηx = 1+σ T / for x close enough to 1. Since 1 ε Ψ ε 1/ = ηε 1 Ψ ε by.1 we again deduce from the Moser estimate 3.16 that 1 ε Ψε t 1 Ḣl Cε 1 Ψε t Ḣl max Ψε t m m l εm 1 L

16 where C refers here as in the sequel to a positive number depending only on k and σ T once the choice of the function η is fixed. Condition.1 then provides ε 1 ε Ψε t 1 C ε Ψε t Ḣ l Ḣ l At this stage we are left with the estimates of the two terms in.8 which depend on the time derivative of the function Ψ ε. Concerning the first one we rewrite NLS ε as 1 ε Ψε iε t Ψ ε +εdiv 1 Ψ ε 1 ε Ψ ε 1 Ψ ε ε Ψ ε 1 Ψε = so that ε t Ψ ε t iψ ε t Ḣl ε 1 ε Ψ ε t 1 Ψ ε t Ḣl 1 +ε 1 ε Ψε t 1 Ψ ε t Ḣl ε Ψ ε t 1 Ψ ε t Ḣl Invoking the Moser estimate 3.4 we have 1 ε Ψ ε t 1 Ψ ε t Ḣl ε Ψε t 1 Ψ ε t Ḣl 1 C Ψ ε t Ḣl + Ψ ε t L 1 ε Ψ ε t 1 so that.1 and 3.17 provide 1 ε Ψ ε t 1 Ψ ε t Ḣl ε Ψε t 1 Ψ ε t Ḣl 1 C Ψε t Ḣl. Similarly we can bound the last term in the right-hand side of 3.18 by Ψ ε Ḣl if l = and by 1 ε Ψ ε t 1 Ψ ε t Ḣl C Ψ ε t Ḣl + Ψε t L 1 ε Ψ ε t 1 Ḣl otherwise. Since l 1 in this case we again infer from.1 and 3.16 that Ψε t L 1 ε Ψ ε t 1 Ḣl C Ψε t Ḣl. Gathering the previous estimates of the right-hand side of 3.18 we finally get ε t Ψ ε t iψ ε t C ε Ψε t Ḣ + Ψε t Ḣ Ḣ l l l Ḣl We now turn to the last term in.8. Coming back to NLS ε we infer that and we again deduce from.1 and 3.4 that t 1 ε Ψε 1 = εdiv iψ ε Ψ ε C ε t 1 ε Ψε t 1 ε 3 Ψε t Ψε t Cε Ψε t. Ḣ l L Ḣ l Ḣ l Combining this inequality with 3.18 and 3.19 we conclude that the energy E l εt can be bounded from above according to.11. This completes the proof of Lemma.3. 16

17 3.5 Proof of Proposition.4 The proof relies on a continuation argument which is based on the Sobolev control of the solution Ψ ε provided by the energies E k ε. Assume first that the initial condition Ψ ε lies in H k+5 R N and satisfies condition.13 for a positive number C to be fixed later. In this case Corollary yields the existence of a maximal time T max and of a unique solution Ψ ε C [T max H k+4 R N to NLS ε with initial datum Ψ ε. In particular we infer from Corollary. that the quantity Σ k+ ε defined by k+ Σ k+ ε := E l ε is well-defined and of class C 1 on [T max. On the other hand we can invoke the Sobolev embedding theorem so as to find a positive number C 1 depending only on k such that ε 1 Ψ ε L ε 1 C 1 Ψ ε H k 1. Assuming that condition.13 holds for a number C such that σc C 1 we obtain l=1 ε 1 Ψ L ε C 1 σ C. As a consequence of the continuity properties of the quantity Σ k+ ε and of the solution Ψ ε we deduce that the stopping time { T := sup t [T max : ε 1 Ψε τ } L σ and Σ k+ ε τ Σ k+ ε for any τ [t] 3. is positive. At this stage we go back to inequality.9 in order to find a further positive number C also depending only on k such that [ ] Σ k+ t ε C Ψ ε t L + Ψ ε t L +ε Ψ ε t Ψ ε t C Σ k+ 1 ε Ψ ε t 1 L ε t for any t < T. Due to the definition of T we observe that ε Ψ ε t Ψ ε t C 1 ε Ψ ε t 1 1 L 1 σ Ψ ε t L. Combining these inequalities with the Sobolev embedding theorem we are led to Setting [ ] Σ k+ t C ε 1 C 1 σ Σk+ ε t. and integrating the previous inequality we infer that Σ k+ ε t 1 σ T ε := C1 C Σ k+ ε σ Σ k+ ε 1 σ C1 C Σ k+ ε t Σk+ ε 3. for any t < T ε. Invoking once again the Sobolev embedding theorem and the definition of the quantity Σ k+ ε we also get ε 1 Ψε t L C 1 ε 1 Σ k+ ε t 1 C1 ε 1 Σ k+ ε 1. 17

18 In view of Lemma.3 we infer the existence of a positive number C 3 depending only on k and σ such that ε 1 Ψε t L Ψ C 1 C 3 ε 1 H ε k +ε 1 Ψ Ḣk ε +ε Ψ Ḣk ε again when t < T ε. Enlarging C so that C 1 C 3 σc we deduce that ε 1 Ψε t L σ. 3.3 In view of 3. a continuation argument then guarantees that either T ε T T max or T = T max < T ε. In this latter case it results from the conditions in 6 and from 3.3 that Tmax Ψ ε t L dt =. 3.4 On the other hand as a further consequence of the Sobolev embedding theorem of Lemma.3 and of 3. we have Tmax Ψε t Tmax dt C L 1 Ψε t dt 4C H 1Σ k+ k ε T max. When T max < T ε definition 3.1 yields Tmax Ψ ε t L dt σ C < which contradicts 3.4. As a conclusion the stopping time T is at least equal to T ε and we derive from Lemma.3 and from 3. that Ψε t +ε Ψε t +ε Ψε t Ḣ k Ḣ k Ḣ k Σ k+ ε t 4Σ k+ ε 4C3 Ψ ε +ε Ψ Ḣ k ε +ε Ψ Ḣ k ε Ḣ k for any t T ε. Similarly we derive from 3.1 that T ε 1 C1 C. C3 Ψ ε Ḣ k +ε Ψ ε Ḣ k +ε Ψ ε Ḣ k It then remains to again enlarge the number C so that C 4C3 and C C1 C C3 in order to complete the proof of Proposition.4 provided that Ψ ε H k+5 R N. In view of the continuity of the NLS ε flow with respect to the initial datum in Corollary we can extend this result to arbitrary initial conditions Ψ ε H k+3 R N by a standard density argument. This ends the proof of Proposition Proof of Lemma.5 Assume first that the initial condition Ψ belongs to H k+ R N and consider the corresponding solution Ψ C [T max H k+ R N to CS. In this case the derivative t Ψ is in C [T max H k R N so that the quantity S k t = 1 Ψ t H k 18

19 is well-defined and of class C 1 on the interval [T max. In view of CS its derivative is equal to for any t T max. Since we have S k Ψ t t = 1 Ψ t Ψ tiψ t H k Ψ tiψ t H k = Ψ ti Ψ t H k = by integration by parts we can combine the Moser estimates in 3.4 and the Sobolev embedding theorem in order to get S k t 1 Ψ t Ψ t H k Ψ t H k C k Ψ t L Ψ t C H k k S k t. Here the positive number C k possibly changing from inequality to inequality only depends on k. Setting 1 T := C k S k = 1 C k Ψ 3.5 H k we conclude that S k t S k 1 C k ts k S k = Ψ H k 3.6 as long as t T. Invoking again the Sobolev embedding theorem we also have Ψ t L C k S k t 1 Ck Ψ H k < and a continuation argument as in the proof of Proposition.4 guarantees that the maximal time of existence T max is greater than T. In view of 3.5 and 3.6 this completes the proof of Lemma.5 when Ψ H k+ R N. Using the uniform lower bound on the maximal time of existence provided by T we can finally perform a standard density argument to extend this lemma to any arbitrary initial datum Ψ H k R N. This concludes the proof of Lemma Proof of Proposition.6 Set S k t = 1 uε t H k for any t [T]. Under the assumptions of Proposition.6 the functions u ε and t u ε lie in C [T]H k and in C [T]H k respectively. Hence the function S k is of class C 1 on [T]. In view of.15 its derivative is given by S k t = u ε t G ε t+εr ε tiu ε t H k where we denote G ε := 1 uε +Ψ u ε +Ψ Ψ Ψ. Integrating by parts we see that uε iu ε = H u k ε i u ε = H k so that the Cauchy-Schwarz inequality leads to S k t Sk t 1 Gε t H k +ε Rε t H k

20 At this point we notice that G ε = 1 uε u ε + u ε Ψ+ u ε Ψ C u ε +Ψ+ Ψ u ε and we invoke the Moser estimates 3.4 as well as the Young inequality ab a +b in order to obtain GεH k C k u ε H k uε L + Ψ L + Ψ H k u ε L uε L + Ψ L Here as in the sequel the notation C k refers to a positive number depending only on k. Due to the assumption k > N/+ the Sobolev embedding of H k R N into L R N then leads to G ε t H k C k S k t 1 K ε T. 3.8 We now turn to the remainder term R ε which we decompose as R ε := R ε1 R ε R ε3 according to the three terms in the right-hand side of.. We introduce a smooth function χ such that 1 χx = 1+1 x 1 when x σ and we use.16 to recast R ε1 as R ε1 = Ψ ε Ψ ε χ ε 1 Ψ ε. We next apply the Moser estimate 3.16 and invoke again.16 to obtain 1 χε Ψ ε Ḣl C kσ Ψ ε Ḣl when 1 l k. Here as in the sequel the notation C kσ refers to a positive number depending only on k and σ. In view of 3.4 this gives Rε1Ḣl C kσ Ψ ε L Ψ ε L 1+ Ψε L Ψε Ḣl + Ψ ε L Ψ ε Ḣl+. Since R ε1 L Ψ ε L Ψ ε Ḣ due to.16 we deduce from the condition k > N/+ and the Sobolev embedding theorem that Rε1 H k C kσ K ε T 3 1+K ε T. We argue similarly for the term R ε = 1 Ψ ε 4 χ ε 1 Ψε Ψε which we bound as Rε H k C kσ K ε T 5 1+K ε T. Concerning the term R ε3 we introduce a further smooth function ρ such that ρx = 1 1 x 1 when x σ and we write Ψε R ε3 = Ψ ε C + Ψ ε ρ ε 1 1 Ψ ε +ε Ψ ε Ψ ε C Ψ ε ρ ε 1 Ψ ε Ψ ε.

21 Arguing as for the function χ we have 1 ρε Ψε Ḣl + ρ ε 1 Ψε Ḣl C kσ Ψ ε Ḣl for 1 l k and we infer as before that Rε3H k C kσ K ε T 3 1+K ε T. We conclude that Rε H k C kσ K ε T 3 1+K ε T 3. Coming back to 3.7 and using 3.8 as well as the Young inequality we obtain S k t C kσk ε T S k t+ε K ε T 1+K ε T 6. Estimate.17 finally follows from the Gronwall inequality. A Solitons of the Landau-Lifshitz equation In this appendix we focus on the correspondence between the solitons of the one-dimensional Landau-Lifshitz equation and of the one-dimensional cubic Schrödinger equation. Concerning this latter equation it is well-known that it owns bright solitons see e.g. [5]. Up to a space translation and a phase shift they are given by Ψ cω xt = 4ω c 1 e icx ct cosh 4ω c 1 x ct e iωt A.1 for any xt R. In this formula the speed c R and the angular velocity ω R satisfy the condition 4ω > c. In the sequel our goal is to exhibit solitons for the one-dimensional Landau- Lifshitz equation which converge towards the bright solitonsψ cω in the cubic Schrödinger regime that we have derived in Theorem 4. Going back to the scaling in and to formula A.1 we look for solitons to LL under the form ˇm cω xt = ˇV cω x cte iωt and [m cω ] xt := [V cω ] x ct A. for any xt R. Here we have set as before ˇV cω = [V cω ] 1 +i[v cω ] 3. The speed c and the angular momentum ω are real numbers. In order to simplify the analysis we also assume that λ := λ 1 = λ 3 > as in the cubic Schrödinger regime. Using the equivalent formulation of the one-dimensional Landau-Lifshitz equation given by m t m xx m x m +λm 1 +m 3 m+λ m 1 e 1 +m 3 e 3 = we observe that the functions ˇV cω and [V cω ] solve the ordinary differential system { ˇv +ic v ˇv v ˇv ˇv + v +λ ˇv ˇv +λˇv +ωv ˇv = v +c iˇvˇv C ˇv + v +λ ˇv v ω ˇv =. TW cω This system appears as a perturbation of the harmonic maps equation which corresponds to the case c = λ = ω =. It is invariant by translations and by phase shifts of the function ˇv. In the energy space ER the unique constant solutions to TW cω are the trivial solutions e = 1 and e = 1. Moreover we are able to classify all the non-trivial solutions in this space according to the possible values of the parameters c λ and ω. 1

22 Theorem A.1. Let λ > and cω R. Up to the invariance by translations and phase shifts of the map ˇV cω the unique non-trivial solutions V cω to TW cω in the energy space ER are given by the following formulae : i For ω = c = with δ {±1}. x R ˇV 1 x = coshλ 1 x and [V ] x = δtanh λ 1 x ii For < ωδ < λ and c < 4 λ+ωδ or for ωδ and < c < 4 λ+ωδ x R ˇV 4λ+δω c 1 e icδx cω x = λ+δω +λc +ω 1 cosh 4λ+δω c 1 x λc +ω 1 1 +c δω cosh λ+δω c 1 x 4 +isigncδ λc +ω 1 1 c +δω sinh λ+δω c 1 x 4 and 4λ+δω c x R[V cω ] x = δ 1 λ+δω +λc +ω 1 cosh 4λ+δω c 1 x with δ {±1}. Moreover when c the map ˇV cω can be lifted as ˇV cω = ˇV cω e iϕcω with ϕ cω x = cδx +signcδarctan λc +ω 1 c +δω λc +ω 1 +c δω 1 tanh λ+δω c 1 x. 4 Remark A.. Observe that the numbers δ = ±1 in this statement give account of the limit when x + of the function [V cω ]. Proof. The proof follows the approach developed in [11]. By classical regularity theory see e.g. [17] all the solutions v = v 1 v v 3 to TW cω in ER are smooth and all their derivatives are bounded. Given a non-trivial solution v in ER this implies that v ± := lim x ± v x { 11} and lim x ± v x =. Taking the complex scalar product of the first equation of TW cω by ˇv multiplying the second one by v and summing the resulting identities we obtain v = ωv λv v due to the fact that v = 1. Integrating this expression from either or + gives v = λ 1 v ω v v ±. A.3 In particular we observe that v = v + except possibly when ω =. As a consequence we infer that the energy density ev := 1 v +λ ˇv

23 is equal to ev = λ 1 v ω v v ±. A.4 Taking the complex scalar product of the first equation of TW cω by iˇv and integrating the resulting expression leads to iˇvˇv C = cv ± v A.5 and we observe that c is also equal to in case v + v. Introducing A.4 and A.5 in the second equation of TW cω we finally obtain the second-order differential equation for the function v v + v v ± λv +λv ± +3ωv c +v ± ω =. A.6 At this stage we split the analysis into two cases according to the values of v and v +. If they are different we know that c = ω = and A.6 reduces to v λv 1 v =. Multiplying this equation by v and integrating we get v λv +λv 4 +λ =. By the intermediate value theorem we also know that v vanishes. Up to a translation we can assume that v =. Hence v is equal to ±λ1/. Coming back to A.6 and invoking the Cauchy-Lipshitz theorem we conclude that there exist only two possible solutions depending on the value of v. Finally we check that the functions v x = ±tanh λ 1 x A.7 are these two possible solutions. We next go back to the first equation in TW cω and use A.4 in order to write ˇv +λ v 1 ˇv =. A.8 Again by A.4 we obtain ˇv = λ 1 v v =. We are now reduced to invoke the Cauchy-Lipshitz theorem as before and then to solve explicitly A.8 so as to prove the existence of a complex number α such that ˇvx = α coshλ 1 x A.9 for any x R. Since ˇv = 1 v we infer that α = 1 and up to a phase shift of the function ˇv we can assume that α = 1. Statement i in Theorem A.1 then follows from formulae A.7 and A.9. We now assume that v = v + := v { 11}. Multiplying A.6 by v and integrating we have v = v v λ v +v +ω v +v c A.1 so that λ v x+v +ω v x+v c A.11 3

24 for any x R. Taking the limit x we obtain the necessary condition c 4 λ+ωv for having a non-trivial solution and we assume this condition to be fulfilled in the sequel. At this stage we also know that v owns a global minimum when v = 1 respectively maximum when v = 1. This optimum is different from ±1 otherwise it follows from applying the Cauchy-Lipschitz theorem to A.6 that the solution v is trivial. Up to a translation we can assume that this optimum is attained at x = so that v = with 1 < v < 1. In view of A.1 this gives λ v +v +ω v +v c =. Using A.11 we deduce that v = 1 λ v ω +c λ 1 ω λv. A.1 In particular the inequality 1 < v < 1 leads to the strongest necessary conditions { < ωv or < λ and c < 4 λ+ωv ωv and < c < 4 λ+ωv A.13 which we assume in the sequel. In view of A.1 and since v = applying the Cauchy- Lipschitz theorem to A.6 then provides the uniqueness if existence of the solution v. Note also that as a further consequence of the Cauchy-Lipschitz theorem the function v is even. In order to construct this solution we set y = 1 v v. The function y is even positive and owns a global maximum at x =. Rewriting A.1 in terms of the function y and taking the square root of the resulting expression we deduce that y x = yx λyx ωv +λyx+4λ+ωv c 1 A.14 for any x. Observe here that the polynomial PX = λx ωv +λx+4λ+ωv c owns two distinct roots X + := + λ 1 ω +λc +ωv > X := λ 1 ω +λc ωv due to A.13. Since y = X by A.1 and since y attains its global maximum at x = it follows that the quantity Pyx in the right-hand side of A.14 is positive for any x. In view of A.13 we are also allowed to write d 4λ+ωv arcosh c ωv +λy 4λ+ωv dy y = c 1 ω +λc y Py for any < y < X. The existence of the solution v as well as its expression in Statement ii of Theorem A.1 then follow from combining this formula with A.14. We next proceed with the first equation in TW cω. Inserting A.4 in this equation we obtain the second-order linear differential equation ˇv +icv ˇv + λv icv +3ωv λ ωv ˇv =. A.15 Since ˇv = 1 v the function ˇv owns a global maximum for x = which is given by ˇv = λ+ωv ω +c λ 1 ωv c λ λ 4

25 in view of A.1. Using the invariance by phase shift of the function ˇv we can assume that ˇv = 1 λ By maximality at x = we also know that λ+ωv ω +c λ 1 1 ωv c λ A.16 ˇvˇv C = while A.5 provides Hence we have iˇvˇv C = cv v. ˇv = ic v v ˇv ˇv = icv λ+ωv ω +c λ 1 ω +c λ 1 ωv 1. A.17 In view of A.16 and A.17 we deduce as before from the Cauchy-Lipschitz theorem that there exists at most one solution ˇv to A.15. In order to conclude the proof we are left with the construction of this solution. We split the analysis into two cases. When c = equation A.15 reduces to ˇv + λv +3ωv λ ωv ˇv =. A.18 Taking the real and imaginary parts of this equation we infer that v 1 and v 3 also solve it. By A.16 and A.17 we have v 3 = v 3 =. By the Cauchy-Lipschitz theorem once again the function v 3 identically vanishes and we obtain v 1 x = 1 v x = 8v ωλ+v ω 1+coshλ+v ω1 x λ v ω coshλ+v ω1 x 1 for any x R. Here we have used the property that ω = v ω due to conditions A.13. Since v 1 = and v1 = ωv λ λ+ω 1 by A.16 and A.17 we infer that is the desired solution to A.15. ˇvx = v 1 x = 4 v ωλ ω1 cosh λ+v ω1 x λ v ω coshλ+v ω1 x 1 We finally turn to the case c. We now compute 4λ+v ω c λc +ω 1 cosh 4λ+v ω c 1 x +c v ω ˇvx = λ+v ω +λc +ω 1 cosh 4λ+v ω c 1 x for any x R. In this case we observe that the function ˇv does not vanish on R so that we can lift it as ˇv = ˇv e iϕ with a smooth phase function ϕ. Coming back to A.5 we compute ϕ x = c v +v x = cv 1+ 4λ+v ω c λc +ω 1 cosh 4λ+v ω c 1 x +c v ω 5.