arxiv: v1 [math.ap] 13 Feb 2018

Transcription

1 Small-amplitude fully localised solitary waves for the full-dispersion Kadomtsev Petviashvili equation arxiv: v1 [math.ap] 13 Feb 018 Mats Ehrnström Department of Mathematical Sciences, Norwegian University of Science and Technology, 7491 Trondheim, Norway Mark D. Groves Fachrichtung Mathematik, Universität des Saarlandes, Postfach , Saarbrücken, Germany Department of Mathematical Sciences, Loughborough University, Loughborough, LE11 3TU, UK groves@math.uni-sb.de Abstract. The KP-I equation (u t uu x + 1 (β 1 )uxxx)x uyy = 0 3 arises as a weakly nonlinear model equation for gravity-capillary waves with strong surface tension (Bond number β > 1/3). This equation admits as an explicit solution a fully localised or lump solitary wave which decays to zero in all spatial directions. Recently there has been interest in the full-dispersion KP-I equation u t + m(d)u x + uu x = 0, where m(d) is the Fourier multiplier with symbol m(k) = ( 1 + β k ) ( ) 1 1 ( ) 1 tanh k 1 + k, k which is obtained by retaining the exact dispersion relation from the waterwave problem. In this paper we show that the FDKP-I equation also has a fully localised solitary-wave solution. The existence theory is variational and perturbative in nature. A variational principle for fully localised solitary waves is reduced to a locally equivalent variational principle featuring a perturbation of the variational functional associated with fully localised solitary-wave solutions of the KP-I equation. A nontrivial critical point of the reduced functional is found by minimising it over its natural constraint set. AMS classification scheme numbers: 35Q53, 35A15, 76B15

2 Solitary waves for the FDKP equation 1. Introduction There has recently been considerable interest in full dispersion versions of model equations obtained by modifying their dispersive terms so that their dispersion relation coincides with that of the original physical problem. The method has been used for some time in engineering and oceanography, but has become more attractive to mathematicians interested in nonlocal equations in view of improved use of harmonic analysis in partial differential equations. The prototypical example is the full-dispersion equation derived by Whitham [] as an alternative to the celebrated Korteweg de Vries equation for water waves by incorporating the same linear dispersion relation as the full two-dimensional water-wave problem. It was shown by Ehrnström, Groves & Wahlén [10] that the Whitham equation admits small-amplitude solitary-wave solutions which are approximated by scalings of the Korteweg de Vries solitary wave; these waves are symmetric and of exponential decay rate (Bruell, Ehrnström & Pei []). Other examples of current interest in fully dispersive equations include analytical investigations of bidirectional models in the spirit of Whitham (Ehrnström, Johnson & Claassen [11], Hur & Tao [13]) and Green-Naghdi (Duchene, Nilsson & Wahlén [9]), as well as studies of the numerical, laboratory and modelling properties of these equations (see respectively Claassen & Johnson [6], Carter [4] and Klein et al. [14]). The monograph by Lannes [15] has a separate section on the subject of improved frequency dispersion. From a mathematical point of view, such equations often pose extra challenges arising from their more complicated symbols (which are typically inhomogeneous). A higher-dimensional example is given by the full-dispersion Kadomtsev Petviashvili (FDKP) equation u t + m(d)u x + uu x = 0, (1) where the Fourier multiplier m is given by m(d) = ( 1 + β D ) ( 1 tanh D D ) 1 ( 1 + D D 1 with D = i( x, y ), which was introduced by Lannes [15] (see also Lannes & Saut [16]) as an alternative to the classical KP equation (u t uu x + 1 (β 1 3 )u xxx) x u yy = 0. () Equation () arises as a weakly nonlinear approximation for three-dimensional gravitycapillary water waves, the parameter β > 0 measuring the relative strength of surface tension; the cases β > 1 3 ( strong surface tension ) and β < 1 3 ( weak surface tension ) are termed respectively KP-I and KP-II. A (fully localised) FDKP solitary wave is a nontrivial, evanescent solution of (1) of the form u(x, y, t) = u(x ct, y) with wave speed c > 0, that is, a homoclinic solution of the equation cu + m(d)u + u = 0. (3) Similarly, a (fully localised) KP solitary wave is a nontrivial, evanescent solution of () of the form u(x, y, t) = u(x ct, y) with wave speed c > 0, that is, a homoclinic solution of the equation ( c 1)u + m(d)u + u = 0, (4) ) 1

3 Solitary waves for the FDKP equation 3 Figure 1. Sketch of the KP-I solitary wave given by (6) where m(d) = 1 + D D1 1 (β 1 3 )D 1. Note that the KP wave speed c can be normalised to unity by the transformation u(x, y) cu( c 1 x, cy), which converts (4) into the equation m(d)u + u = 0. (5) It is known that the KP-II equation does not admit any solitary waves (de Bouard & Saut [7]), while the explicit solutions u(x, y) = 1 3 X + Y (3 + X + Y ), (X, Y ) = ( 1 (β 1 3 )) 1 (x, y) (6) of (5) define KP-I solitary waves (see Figure 1). In this paper we demonstrate the existence of solitary-wave solutions to the FDKP-I equation and show how they are approximated by scalings of KP-I solitary waves. (It is not known whether the latter are given by the explicit formula (6), but recent evidence points in this direction (see Chiron & Scheid [5] and Liu & Wei [18]).) Theorem 1.1 There exists a solitary-wave solution of the FDKP-I equation with speed c = 1 ε for each sufficiently small value of ε > 0. This solution belongs to H (R ) and has polynomial decay rate. An FDKP solitary wave is characterised as a critical point of the Hamiltonian E(u) = 1 (m(d)) 1 u dx dy + 1 u 3 dx dy (7) R 3 R subject to the constraint that the momentum M(u) = 1 u dx dy (8) R is fixed; the Lagrange multiplier is the wave speed c. Using this observation we may reformulate the existence statement in Theorem 1.1 in terms of the calculus of variations. Let X denote the completion of x S(R ) with respect to the norm ( ) u X = 1 + k R k + k4 1 + k s û(k) dk, where s > 3 and S(R ) is the two-dimensional Schwartz space. Theorem 1. Suppose that β > 1 3. The formula I ε = E cm with c = 1 ε defines a smooth functional I ε : X R which has a nontrivial critical point for each sufficiently small value of ε > 0.

4 Solitary waves for the FDKP equation 4 c 1 Figure. FKDP-I dispersion relation for two-dimensional wave trains To motivate our main result it is instructive to review the formal derivation of the (normalised) steady KP equation (5) from the steady FDKP equation (3). We begin with the linear dispersion relation for a two-dimensional sinusoidal travelling wave train with wave number and speed c, namely c = ( 1 + β ) 1 ( tanh The function c( ), 0 has a unique global minimum at = 0 with c(0) = 1 (see Figure ). Bifurcations of nonlinear solitary waves are expected whenever the linear group and phase speeds are equal, so that c ( ) = 0 (see Dias & Kharif [8, 3]); one therefore expects bifurcation of small-amplitude solitary waves from uniform flow with unit speed. Furthermore, observing that m is an analytic function of and k (note that k = k 1 + k k 1 k 1), one finds that ) 1 m(k) = m(k) + O( (, k ) 4 ) (9) as (, k ) 0. We therefore make the steady-wave Ansatz u(x, y, t) = ũ(x ct, y) and substitute c = 1 ε and ũ(x, y) = ε ζ(εx, ε y) (10) into equation (3). This calculation shows that to leading order ζ satisfies m(d)ζ + ζ = 0, (11) which is the Euler Lagrange equation for the (smooth) functional T 0 : Ỹ R given by T 0 (ζ) = 1 ( m(d)) 1 ζ dx dy + 1 ζ 3 dx dy, R 3 R where Ỹ is the completion of xs(r ) with respect to the norm ( ) ζ Ỹ = 1 + k + k 1 ˆζ dk. R We proceed by performing a rigorous local variational reduction which converts I ε to a perturbation T ε of T 0 (Section 3). The estimate (9) suggests that the spectrum of a solitary wave u(x, y) is concentrated in the region, k 1. We therefore decompose u into the sum of functions u 1 and u whose spectra are supported in the region { } C = (, k ): k δ, k δ

5 Solitary waves for the FDKP equation 5 k Figure 3. The cone C = {k R : k δ, k δ} cut out of the closed ball {k R : k δ} in R. and its complement, where δ is a small positive number (see Figure 3), so that u 1 = χ(d)u, u = (1 χ(d))u, in which χ is the characteristic function of C. In Section 3 we employ a method akin to the variational Lyapunov-Schmidt reduction to determine u as a function of u 1 and thus obtain the reduced functional J ε : U R given by J ε (u 1 ) = I ε (u 1 + u (u 1 )); here U = {u 1 X 1 : u 1 ε 1} is the unit ball in the space (X 1, ε ), in which X 1 = χ(d)x and ε is the scaled norm ( ) u 1 ε = 1 + ε k R k + ε û 1 (k) dk. 1 Applying the KP scaling (10) to u 1, one finds that J ε (u 1 ) = ε 3 T ε (ζ), where T ε (ζ) = T 0 (ζ) + ε 1 Rε (ζ), R ε (ζ) ζ Ỹ (with corresponding estimates for the derivatives of the remainder term). Each critical point ζ of T ε with ε > 0 corresponds to a critical point u 1, of J ε, which in turn defines a critical point u 1, + u (u 1, ) of I ε. We study T ε in a fixed ball B M (0) = {ζ: ζ Ỹ < M}, in the space (Ỹε, Ỹ ), where Ỹε = χ ε (D)Ỹ and χ ε(, k ) = χ(ε, ε k ). The parameters M and ε are related in the following manner: for any M > 1 there exists ε M M such that all estimates hold uniformly over ε [0, ε M ]. We do not make make these threshold values of ε explicit; it is simply assumed that ε M is taken sufficiently small. In the limit ε = 0 we can set M = and recover the KP variational functional T 0 : Ỹ R (note that Ỹ0 = Ỹ ). In fact T ε : B M (0) R may be considered as a perturbation of the limiting functional T 0 : Ỹ R. More precisely ε 1 R ε χ ε (D) (which coincides with ε 1 R ε on B M (0) Ỹε) converges uniformly to zero over B M (0) Ỹ (with corresponding uniform convergence for its derivatives), and we study T ε by perturbative arguments in this spirit. In Section 4 we seek critical points of T ε by minimising it on its natural constraint set N ε = {ζ B M (0) : ζ 0, dt ε [ζ](ζ) = 0},

6 Solitary waves for the FDKP equation 6 T ε (λζ) λ ζ 0 N ε λ λ B M (0) Figure 4. Any ray intersects the natural constraint set N ε in at most one point and the value of T ε along such a ray attains a strict maximum at this point our motivation being the observation that the critical points of T ε coincide with those of T ε Nε. The natural constraint set has a geometrical interpretation (see Figure 4), namely that any ray in B M (0) intersects the natural constraint manifold N ε in at most one point and the value of T ε along such a ray attains a strict maximum at this point. This fact is readily established by a direct calculation for ε = 0 and deduced by a perturbation argument for ε > 0, and similar perturbative methods yield the existence of a a sequence {ζ n } B M 1 (0) with T ε Nε inf T ε Nε > 0, dt ε [ζ n ] Ỹε R 0 as n. The following theorem is established by applying weak continuity arguments to minimising sequences of the above kind. Theorem 1.3 Let {ζ n } B M 1 (0) be a minimising sequence for T ε Nε with dt ε [ζ n ] Ỹε R 0 as n. There exists {w n} Z with the property that a subsequence of {ζ n ( + w n )} converges weakly in Ỹε to a nontrivial critical point ζ of T ε. The short proof of Theorem 1.3 does not show that the critical point ζ is a ground state, that is, a minimiser of T ε over N ε. This deficiency is removed in Section 5 with the help of an abstract version of the concentration-compactness principle due to Buffoni, Groves & Wahlén [3, Appendix A]. (That paper treats fully localised solitary waves in the Euler equations with weak surface tension using theory closely connected to ours.) Theorem 1.4 Let {ζ n } B M 1 (0) be a minimising sequence for T ε Nε with dt ε [ζ n ] Ỹε R 0 as n. There exists {w n} Z with the property that a subsequence of {ζ n ( + w n )} converges weakly, and strongly if ε = 0, in Ỹε to a ground state ζ. We prove Theorems 1.3 and 1.4 for ε = 0 and ε > 0 separately, in the latter case taking advantage of the relationship I ε (u) = ε 3 T ε (ζ), where u = u 1 (ζ)+u (u 1 (ζ)), and the fact that Ỹε coincides with Hε s (R ) := χ ε (D)H s (R ) for any s > 3. The function u = u 1 (ζ ) + u (u 1 (ζ )) given by these theorems is then a nontrivial critical point of I ε, which concludes the proof of Theorem 1.. The discussion of the case ε = 0 does not contribute to this existence proof but shows that the KP ground states (that is, the ground states of T 0 ) are characterised in the same way as the ground states of T ε for ε > 0. Using this information, we show that the ground states of T ε converge to those of T 0 as ε 0 in the following sense.

7 Solitary waves for the FDKP equation 7 Theorem 1.5 Let c ε = inf Nε T ε. (i) One has that lim ε 0 c ε = c 0. (ii) Let {ε n } be a sequence with lim ε n = 0 and ζ εn be a ground state of T εn. There exists {w n } Z such that a subsequence of {ζ εn ( + w n )} converges strongly in Ỹ to a ground state ζ of T 0. Our final result concerns convergence of FDKP-I solitary waves to KP-I solitary waves and is obtained as a corollary of Theorem 1.5. Theorem 1.6 Let {ε n } be a sequence with lim ε n = 0 and u εn be a critical point of I εn with I εn (u εn ) = ε 3 nc εn, so that the formula u εn = u 1 (ζ εn ) + u (u 1 (ζ εn )) defines a ground state ζ εn of T ε. There exists {w n } Z such that a subsequence of {ζ εn ( + w n )} converges strongly in Ỹ to a ground state ζ of T 0. Defining u ε(x, y) = ε ζ (εx, ε y), so that u ε is a KP solitary wave with wave speed ε, we find that the difference u εn u ε n converges to zero in (Ỹ, ε n ) and in H 1 (R ) (see Remark 5.10). Although these functions are small, their difference converges to zero faster than the functions themselves), so that we also have convergence with respect to the original variables. Remar.7 The results presented in this paper apply with straightforward modifications to the generalised FDKP-I and KP-I equations obtained by replacing the nonlinear term (u ) x by (u p ) x with p < 5 (see Proposition.). The proof of the counterpart to Theorem 1.3 with ε = 0 also yields a concise variational existence theory for gkp-i solitary waves as an alternative to those already available in the literature (de Bouard & Saut [7], Pankov & Pflüger [19, 0], Willem [3, Ch 7], Wang, Ablowitz & Segur [1] and Liu & Wang [17]).. Function spaces In this section we introduce the function spaces (and basic properties thereof) which are used in the variational reduction and existence theory in Sections 3 and 4 below. For notational simplicity we generally omit the exact value of 1 (β 1 3 ) and treat it as being of unit size (without this simplification the term in the norm for Ỹ is multiplied by 1 (β 1 3 ), which does not affect the proof in any way.) Examining the quadratic parts of the variational functionals and I(u) = E(u) cm(u) = 1 ( (m(d) 1 u) cu ) dx dy + 1 u 3 dx dy R 3 R T 0 (ζ) = 1 ( m(d)) 1 ζ dx dy + 1 ζ 3 dx dy R 3 R for the steady FDKP-I and KP-I equations (3) and (11) shows that their natural energy spaces are the completions Y and Ỹ of x S(R ) = { x f: f S(R )}, where S(R ) is the Schwartz space of rapidly decaying smooth functions, with respect to the norms ( ) u Y = 1 + k + k 3 û(k) dk, (1) R

8 Solitary waves for the FDKP equation 8 and ( ) u Ỹ = 1 + k R k + û(k) dk. (13) 1 Here F : u û denotes the unitary Fourier transform on S(R ). (In defining Y we have used the fact that m(k) 1 + k, k δ, m(k) 1 k 3 +, k δ, for any δ > 0.) Although the largest space continuously embedded into both Y and Ỹ is defined by the weight 1 + kk 1 + k, we work in the smaller space X defined as the completion of x S(R ) with respect to the norm ( ) u X = 1 + k R k + k4 1 + k s û(k) dk, (14) where the Sobolev index s > 3 is fixed. Finally, we introduce the completion Z of x S(R ) with respect to the norm u ( Z = 1 + k + k 1 k s 3) û(k) dk; (15) R it follows from Lemma.1 and Remark.8 that Z = m(d)x. Lemma.1 (i) One has the continuous embeddings X Ỹ Y L (R ), H s 1 (R ) Z L (R ), X H s (R ), and in particular X BC(R ), the space of bounded, continuous functions on R. (ii) The Fourier multiplier m(d) maps X continuously into Z. Proof (i) The first and second chain of embeddings follow from the estimates k + k k + + k k k + k4 + k s (in the third step we multiply and divide the last term by 1 inequality with = 1), and k + k 1 k s k s 1, while the third follows from the estimate and apply Young s 1 + k s 1 + k + k4 + k s.

9 Solitary waves for the FDKP equation 9 The embedding of X into BC(R ) follows from H s (R ) BC(R ) (because s > 3 ). (ii) Observe that for k δ and (1 + k + k 1 k s 3 )m(k) 1 + k k 1 ( ) (1 + k + k s 3 )m(k) (1 + k + k s 3 ) k 1 + k = k 4 k 1 + k s k4 + + k s k4 + k s for k δ (because (1 + β k ) k 1 tanh k k for k δ), so that m(d)( ) Z X. The space Ỹ admits a local representation: the map w u := w x is an isometric isomorphism A Ỹ, where A is the completion of xs(r ) with respect to the norm w ( A = w x + wy + w ) xx dx dy. R In this spirit we can also define the localised space A(Q j ), where Q j = {(x, y) R : x j 1 < 1, y j < 1 } is the unit cube centered at the point j = (j 1, j ) Z, as the completion of x C (Q j ) with respect to the norm w A(Q j) = Q j (w x + w y + w xx) dx dy, and Ỹ (Q j) = x A(Q j ) with u Ỹ (Qj) = w A(Q j). Note that u Qj belongs to Ỹ (Q j) for each u Ỹ and u Ỹ = j Z u Ỹ (Q j). Proposition. The space Ỹ is (i) continuously embedded in L p (R ) for p 6, (ii) compactly embedded in L p loc (R ) for p < 6. Furthermore, the space Ỹ (Q j) is continuously embedded in L p (Q j ) for p 6. Proof Part (i) and the assertion concerning Ỹ (Q j) follow from Besov, Ilin & Nikolskii [1, Thm 15.7] (applied to the local representations). Part (ii) is an interpolation result between L loc (R ) and L 6 loc (R ); de Bouard & Saut [7, Lemma 3.3] show that the inclusion Ỹ L loc (R ) is compact, and the inclusion Ỹ L6 loc (R ) is continuous by (i). Our next results concern the functional I and its Euler Lagrange equation. Corollary.3

10 Solitary waves for the FDKP equation 10 (i) The formula u cu + m(d)u+u maps X smoothly into Z. (ii) The functional I maps X smoothly into R and its critical points are precisely the homoclinic solutions (in X) of equation (3). Proposition.4 The functional I has no critical points that belong to L 1 (R ) L (R ). In particular, all bounded homoclinic solutions of (3) in X have polynomial decay rate. Proof Suppose that u L 1 (R ) L (R ) is a critical point of I, so that u, m(d)u L (R ) and m(k)û(k) = cû(k) û (k). (16) Furthermore û and û are both continuous (since u, u L 1 (R )), so that m(k)û(k) is also continuous. Recall that m(k) 1 + k, k δ, so that m(k)û(k) is unbounded along a sequence {k j } fulfilling,j = k,j 0 as j. This observation contradicts (16). Proposition.5 The formula u cu + m(d)u+u mapping X Z. defines a weakly continuous Proof Suppose that {u n } converges weakly to u in X and hence weakly in H s (R ) and strongly in L 4 loc (R ). It follows that u n, φ L converges to u, φ L for each φ C0 (R ), so that {u n} converges weakly to u in H k (R ) for each integer k s and hence weakly in Z. We decompose u L (R ) into the sum of functions u 1 and u whose spectra are supported in the region { } C = k R : k δ, k k δ 1 (17) and its complement (see Figure 3) by writing u 1 = χ(d)u, u = (1 χ(d))u, where χ is the characteristic function of C. Since X is a subspace of L (R ), the Fourier multiplier χ(d) induces an orthogonal decomposition where X = X 1 X, X 1 =χ(d)x, X =(1 χ(d))x, with analogous decompositions for the spaces Y, Ỹ and Z; we henceforth use the subscripts 1 and to denote the corresponding orthogonal projections. Lemma.6 The spaces X 1, Y 1, Ỹ1 and Z 1 all coincide with χ(d)l (R ), and the norms L, X, Y, Ỹ and Z are all equivalent norms for these spaces.

11 Solitary waves for the FDKP equation 11 Proof Observe that χ(d)l (R ) = {u L (R ) : supp û C}, χ(d)x = {u X : supp û C}, so that X L (R ) implies that χ(d)x χ(d)l (R ). Conversely, suppose that u L (R ) with supp û C, so that u X (1+δ ) u L and hence u X; it follows that χ(d)l (R ) χ(d)x. The other equalities are established in the same way. Let us now consider the Fourier multipliers n = m 1, ñ = m 1 (18) which arise in our study of solitary waves with near unit speed. Lemma.7 The mapping n(d) is an isomorphism X Z. Proof It follows from Lemma.1(ii) that n(d) = m(d) 1 maps X continuously into Z and hence X continuously into Z. Writing (( ) 1 )( ) 1 ( ) 1 n(k) = 1 + β k tanh k ) k k k 1 and noting that (1 + β k ) k 1 tanh k 1 k for k δ, one finds that and therefore n(k) k 1 ( 1 + k k 1 ) 1 = k 3 ( ) 1 + k + k4 + k s n(k) k 3 + k k 3 + k4 k 3 + k s 3 k + k s 3 for k δ. On the other hand, in the regime k δ, k δ one has that ( ) ( )(( ) 1 ) 1 + k + k4 + k s n(k) 1 + k 1 + k 1 1; altogether we have established that n(d) 1 ( ) X Z. Remark.8 A straightforward modification of the above proof shows that m 1 (D) maps Z continuously into X, so that m is an isomorphism X Z. It is however rather the multiplier n that appears in our analysis. In view of the KP-scaling (, k ) (ε, ε k ) it is convenient to work with the scaled norm ( ) u 1 ε = 1 + ε k R k + ε û 1 (k) dk (19) 1 for Ỹ1 (or, equivalently, for χ(d)l (R ), X 1, Y 1, Z 1 ). Lemma.9 The estimates and u 1 m, ε u 1 ε, m 0, u 1 v Z ε u 1 ε v X, hold for all u 1 X 1 and v X.

12 Solitary waves for the FDKP equation 1 χ(d)l (R ) = Y 1 = Ỹ1 = X 1 = Z 1 C Ỹ ε ε 0 Y Ỹ χ(d) n X Z 1 χ(d) 1 χ(d) X H r (R ) Z r [s 1, s] m χ(d) Figure 5. An overview of the spaces used in this paper. The spaces Y and Ỹ are the energy spaces for respectively the FDKP-I and KP-I equations. The operator χ(d) induces orthogonal decompositions X = X 1 X, Z = Z 1 Z, while m(d), n(d) define isomorphisms X Z and X Z. Finally, Ỹε = χ(εd)ỹ. Proof Note that where u 1 m, (1 + k m )û 1 L1(R ) û 1 L 1 u 1 ε I 1, I = C = 4ε δ/ε ε ε k k 1 0 1/ε 0 + ε k 1 Choosing m > s, one therefore finds that dk 1 + k3 + dk 3 d u 1 v Z u 1 v H u 1 m, v H ε u 1 ε v X. Finally, we introduce the space Ỹε := χ ε (D)Ỹ, where χ ε(, k ) = χ(ε, ε k ) (with norm Ỹ ), noting the relationship u ε = ε ζ Ỹ, u(x, y) = ε ζ(εx, ε y) for ζ Ỹε. Observe that Ỹε coincides with χ ε (D)X, χ ε (D)Y, χ ε (D)Z and χ ε (D)L (R ) for ε > 0, while in the limit ε 0 we find that Ỹ0 = Ỹ. We work in particular with the distinguished subsets {ζ : ζ Ỹ < M} and {ζ : ζ Ỹ < M 1} of Ỹε, denoting them by respectively B M (0) and B M 1 (0). We conclude this section with a result which is used in our analysis of the KP-I functional T 0. Corollary.10 The functional T 0 maps Ỹ smoothly into R and its critical points are precisely the homoclinic solutions of equation (11). Figure 5 summarises the various spaces and their relationships to each other.

13 Solitary waves for the FDKP equation Variational reduction We proceed by making the Ansatz c = 1 ε and seeking critical points of the functional I ε : X R given by I ε (u) = 1 ( ) ε u + (n(d) 1 u) dx dy + 1 u 3 dx dy, (0) R 3 R so that the critical points of I ε are precisely the homoclinic solutions of (3) with c = 1 ε. Note that u = u 1 + u X 1 X is a critical point of I ε if and only if di ε [u 1 + u ](w 1 ) = 0, di ε [u 1 + u ](w ) = 0 for all w 1, w X, which equations are equivalent to the system ε u 1 + n(d)u 1 +χ(d)(u 1 + u ) = 0, in Z 1, ε u + n(d)u +(1 χ(d))(u 1 + u ) = 0, in Z. (1) The next step is to solve (1) for u as a function of u 1 using the following result, which is a proved by a straightforward application of the contraction mapping principle. Lemma 3.1 Let W 1, W be Banach spaces, B 1 be a closed ball centred on the origin in W 1, r be a continuous function B 1 [0, ) and F : B 1 W W be a smooth function satisfying F (w 1, 0) W 1 r(w 1), d F [w 1, w ] W W 1 3 for all (w 1, w ) B 1 B r(w1)(0). The fixed-point equation w = F (w 1, w ) has for each w 1 B 1 a unique solution w = w (w 1 ) B r(w1)(0). Moreover w is a smooth function of w 1 and satisfies and dw [w 1 ] W1 W d 1 F [w 1, w ] W1 W, d w [w 1 ] W 1 W d 1F [w 1, w ] W 1 W + d d F [w 1, w ] W1 W W d 1 F [w 1, w ] W1 W + d F [w 1, w ] W W d 1 F [w 1, w ] W 1 W. where Write (1) as u = G(u 1, u ), () G(u 1, u ) = n(d) 1 (1 χ(d)) ( ε u + (u 1 + u ) ) ; (3) the following mapping property of G follows from Corollary.3 and Proposition.5. Proposition 3. Equation (3) defines a smooth and weakly continuous mapping G : X 1 X X.

14 Solitary waves for the FDKP equation 14 Lemma 3.3 Define U = {u 1 X 1 : u 1 ε 1}. Equation () defines a map which satisfies U u 1 u (u 1 ) X, d k u [u 1 ] X k 1 X ε u 1 k ε, k = 0, 1, (where by convention d k u [u 1 ] X k 1 X is interpreted as u (u 1 ) ε for k = 0). Proof We apply Lemma 3.1 to equation () with W 1 = (X 1, ε ) W = (X, X ) and F = G. Note that and d 1 G[u 1, u ](v 1 ) = n(d) 1 (1 χ(d))((u 1 + u )v 1 ), d G[u 1, u ](v ) = n(d) 1 (1 χ(d))(ε v + (u 1 + u )v ) (n(d)) 1 (1 χ(d))z X z Z (Lemma.7). Using Lemmata.1 and.9, we therefore find that and G(u 1, 0) X = u 1 Z ε u 1 ε u 1 X ε u 1 ε u 1 L ε u 1 ε d G[u 1, u ](v ) X ε v Z + u 1 v Z + u v Z (ε + ε u 1 ε + u X ) v X. To satisfy the assumptions of Lemma 3.1, we choose r(u 1 ) = σε u 1 ε for a sufficiently large value of σ > 0, so that u X 1 r(u 1), d G[u 1, u ] X X ε for (u 1, u ) U B r(u1)(0). The lemma asserts the existence of a unique solution u (u 1 ) B r(u1)(0) of () for each u 1 U which satisfies Observe that and similarly u (u 1 ) X ε u 1 ε. d 1 G[u 1, u ](v 1 ) X u 1 v 1 Z + u v 1 Z ε( u 1 X + u X ) v 1 ε ε( u 1 ε + ε u 1 ε) v 1 ε, d 1G[u 1, u ](v 1, w 1 ) X v 1 w 1 Z ε v 1 ε w 1 ε, d G[u 1, u ](v, w ) X v w Z v X w X, d 1 d G[u 1, u ](v 1, v ) X v 1 v Z ε v 1 ε v X. Combining these estimates in the fashion indicated in Lemma 3.1, one finds that u 1 ε u (u 1 ) X + u 1 1 ε du [u 1 ] X1 X + d u [u 1 ] X 1 X ε. Our next result shows in particular that u = u 1 + u (u 1 ) belongs to H (R ) for each u 1 U 1. Proposition 3.4 Any function u = u 1 + u X 1 X which satisfies () belongs to H (R ).

15 Solitary waves for the FDKP equation 15 Proof Obviously u 1 H (R ), and to show that u is also smooth we indicate the regularity index s in the spaces X and Z explicitly. Since H s (R ) is an algebra for s > 3 and Xs (1 χ(d))h s (R ) Z s+ 1 (see Lemma.1(i)), the mapping X 1 X s (u 1, u ) (1 χ(d)) ( ε u + (u 1 + u ) ) Z s+ 1 is continuous. It follows that u X s+ 1 because n(d) is an isomorphism X s+ 1 Z s+ 1 (see Lemma.7). Bootstrapping this argument yields u X s H s (R ) for any s R. The (smooth) reduced variational functional J ε : U R is defined by J ε (u 1 ) := I ε (u 1 + u (u 1 )), = 1 ( ε u 1 + ε u (u 1 ) + (n(d) 1 u1 ) + (n(d) 1 u (u 1 )) ) dx dy R + 1 (u 1 + u (u 1 )) 3 dx dy 3 R (recall that u 1, u (u 1 ) L = 0)), where di ε [u 1 + u (u 1 )](v ) = 0 for all v X by construction. It follows that dj ε [u 1 ](v 1 ) = di ε [u 1 + u (u 1 )](v 1 ) + di ε [u 1 + u (u 1 )](du [u 1 ](v 1 )) = di ε [u 1 + u (u 1 )](v 1 ) for all v 1 X 1, so that each critical point u 1 of J ε defines a critical point u 1 + u (u 1 ) of I ε. Conversely, each critical point u = u 1 + u of I ε with u 1 U has the properties that u = u (u 1 ) and u 1 is a critical point of J ε. Lemma 3.5 The reduced functional J ε : U R satisfies J ε (u 1 ) = 1 ( ε u 1 + (n(d) 1 u1 ) ) dx dy + 1 u 3 1 dx dy + R ε (u 1 ), R 3 R where Proof Observe that where d k R ε (u 1 ) X k 1 R ε u 1 4 k ε, k = 0, 1,. R ε (u 1 ) = 1 ε K 1 (u 1 ) + K (u 1 ) + K 3 (u 1 ) K 4(u 1 ) + 1 K 5(u 1 ), K 1 (u 1 ) = u (u 1 ) L, K (u 1 ) = u 1, u (u 1 ) L, K 3 (u 1 ) = u 1 u (u 1 ), u (u 1 ) L, K 4 (u 1 ) = u (u 1 ), u (u 1 ) L, K 5 (u 1 ) = (n(d)) 1 u (u 1 ) L. We investigate each of these quantities using the estimates d j u [u 1 ](v) BC L d j u [u 1 ](v) X ε u 1 j ε v 1 ε v j ε, j = 0, 1,, d j u 1 [u 1 ](v) BC ε u 1 1 j ε v 1 ε v j ε, j = 0, 1, d j u 1 [u 1 ](v) L u 1 1 j ε v 1 ε v j ε, j = 0, 1, where v = (v 1,..., v j ) denotes a general element in X j 1, and of course d u 1 [u 1 ] = 0.

16 Solitary waves for the FDKP equation 16 Using Leibniz s rule, Hölder s inequality and the basic estimate w, L w BC, L, one finds that d k K 1 [u 1 ](v) k d j u [u 1 ](v), d k j u [u 1 ](v) L j=0 k d j u [u 1 ](v) L d k j u [u 1 ](v) L j=0 ε d k K [u 1 ](v) ε k j=0 0 j+l k 0 j+l k u 1 j ε u 1 ε (k j) v 1 ε v k ε, d j u 1 [u 1 ](v)d l u 1 [u 1 ](v), d k j l u [u 1 ](v) L u 1 1 j ε d l u 1 [u 1 ](v) L d k j l u [u 1 ](v) L v 1 ε v j ε ε 3 u 1 4 k ε v 1 ε v k ε, d k K 3 [u 1 ](v) d j u 1 [u 1 ](v)d l u [u 1 ](v), d k j l u [u 1 ](v) L ε and d k K 4 [u 1 ](v) 0 j+l k 0 j+l k u 1 1 j ε d l u 1 [u 1 ](v) L d k j l u [u 1 ](v) L v 1 ε v j ε ε 3 u 1 5 k ε v 1 ε v k ε ε 0 j+l k 0 j+l k d j u [u 1 ](v)d l u [u 1 ](v), d k j l u [u 1 ](v) L u 1 j ε d l u [u 1 ](v) X d k j l u [u 1 ](v) X v 1 ε v j ε ε 3 u 1 6 k ε v 1 ε v k ε for k = 0, 1,. Finally, since u solves (1), one obtains K 5 (u 1 ) = (n(d)) 1 u (u 1 ) L = n(d)u (u 1 ), u (u 1 ) L all of which terms have been estimated. = ε u (u 1 ) L (u 1 + u (u 1 )), u (u 1 ) L = ε K 1 (u 1 ) K (u 1 ) K 3 (u 1 ) K 4 (u 1 ), The next step is to convert J ε into a perturbation of the KP-I functional, the main issue being the replacement of n(k) by ñ(k). Proposition 3.6 The Fourier multiplier (n/ñ) 1 defines an isomorphism I 1 : χ(d)l (R ) χ(d)l (R ) for sufficiently small values of δ. Proof Using the elementary estimates n(k) = ñ(k) + O( (, k ) 4 ), ñ(k) (, k )

17 Solitary waves for the FDKP equation 17 as (, k ) 0, we find that n(k) ñ(k) 1 ñ(k) δ, and hence ( ) 1 n(k) 1 ñ(k) for k C, for sufficiently small values of δ. We now express the reduced functional in terms of ũ 1 = ( ñ n ) 1 u 1 ; to this end define J ε (ũ 1 ) = J ε (u 1 (ũ 1 )) and note that J ε is a smooth functional Ũ R, where Ũ = {u 1 X 1 : u 1 ε τ} and τ (0, 1) is chosen so that Ũ I 1[U]. Lemma 3.7 The reduced functional Jε : Ũ R satisfies J ε (ũ 1 ) = 1 ( ε ũ 1 + (ñ(d) 1 ũ1 ) ) dx dy+ 1 ũ 3 1 dx dy + R 3 R ε (ũ 1 ), R where Proof By construction and furthermore d k Rε [ũ 1 ] X k 1 R ε u 1 3 k ε R (n(d) 1 u1 ) dx dy = + ε 4 u 1 k ε, k = 0, 1,. R (ñ(d) 1 ũ1 ) dx dy, d k R ε [ũ 1 ] X k 1 R ε ũ 1 4 k ε, k = 0, 1,, because u 1 ũ 1 is an isomorphism X 1 X 1 (here we have abbreviated R ε (u 1 (ũ 1 )) to R ε (ũ 1 )). It remains to estimate the differences u 1 dx dy R ũ 1 dx dy, R u 3 1 dx dy R ũ 3 1 dx dy R using the formulae (ñ(d) ) 1 (ñ(d) ) 1 u 1 (ũ 1 ) = ũ1, du 1 [ũ 1 ](v 1 ) = v1, n(d) n(d) d u 1 [ũ 1 ] = 0. Observe that 1 n(d) 1 ñ(d) w1 ñ(d) 1 w1 L ε w 1 ε, L for w 1 χ(d)l (R ), so that 1 n(d) 1 ñ(d) d j u 1 [ũ 1 ](v) It follows that L ( K 6 (ũ 1 ) := u 1 ũ ) 1 dx dy = R ε ũ 1 1 j ε v 1 ε v j ε, j = 0, 1. R ( 1 n(d) 1 ) ñ(d) u1 dx dy

18 Solitary waves for the FDKP equation 18 satisfies d k K 6 [ũ 1 ](v) The term j+l=k k 1 n(d) 1 ñ(d) d j u 1 [ũ 1 ](v), 1 n(d) 1 ñ(d) d k j u 1 [ũ 1 ](v) j=0 ε ũ 1 k ε v 1 ε v k ε, k = 0, 1,. ( K 7 (ũ 1 ) := u 3 1 ũ 3 ) 1 dx dy = (u 1 ũ 1 )u m 1 ũ m 1 dx dy R R is treated in a similar fashion. Using the estimate v 1 BC ε v 1 ε (see Lemma.9), we find that ( ( ) 1 ) n(d) 1 d j u 1 [ũ 1 ](v), d l ũ 1 [ũ 1 ](v) d k l j ũ 1 [ũ 1 ](v) ñ(d) j+l=k L ( ) 1 ) n(d) d l ũ 1 [ũ 1 ](v) BC (1 d j u 1 [ũ 1 ](v) d k j lũ 1 [ũ 1 ](v) ñ(d) L j+l=k ε ũ 1 1 l ε m=0 L ε ũ 1 1 j ε ũ 1 1 (k j l) ε v 1 ε v k ε, k = 0, 1,. with similar estimates for the summands with m = 0 and m = in the formula for K 7 (ũ). Altogether we find that d k K 7 [ũ 1 ](v) ε ũ 1 3 k ε v 1 ε v k ε, k = 0, 1,. Remark 3.8 Using the simple expansion n(k) = ñ(k)+o( (, k ) 4 ) for k C leads to the insufficient estimate ) ((n(d) ñ(d)) 1 u1 dx dy = n(k) ñ(k) û 1 dk = O(ε u 1 ε) R R (at the next step we use the KP scaling for u and scale the functional by ε 3 ). Finally, we use the KP-scaling ũ 1 (x, y) = ε ζ(εx, ε y). The following proposition is immediate. Proposition 3.9 The mapping ũ 1 ζ defines an isomorphism I : χ(d)l (R) χ ε (D)L (R). Note that ũ 1 χ(d)l (R ) has supp ˆũ 1 C, while χ ε (D)L (R ) has supp ˆζ C ε, where { } C ε = (, k ) : k δ ε, k δ ε. The formula T ε (ζ) := ε 3 Jε (ũ 1 (ζ)) therefore defines a smooth functional B M (0) R, where B M (0) = {ζ Ỹε : ζ < M} and M > 1 is chosen so that B M (0) I [Ũ], that is M ε 1 τ. (Recall that Ỹε = χ ε (D)Ỹ consists of those functions in Ỹ whose Fourier transforms are supported in C ε ; for ε = 1 it coincides with Ỹ1, and in the limit ε 0 it fills out all of Ỹ.) Using Lemma 3.7 and the calculations εũ 1 L + ñ(d) 1 ũ1 L = ε3 ζ Ỹ, ũ 1 ε = ε 1 ζ Ỹ, L

19 Solitary waves for the FDKP equation 19 one finds that where and T ε (ζ) = Q(ζ)+S(ζ) + ε 1 Rε (ζ), (4) Q(ζ) = 1 ζ Ỹ, S(ζ) = 1 3 d k R ε [ζ] Ỹ k R in particular, we note that R ζ 3 dx dy, ζ k, k = 0, 1, ; Ỹ R ε (ζ) + dr ε [ζ](ζ) + d R ε [ζ](ζ, ζ) ζ Ỹ. Let ζ B M (0) and define u = u 1 (ũ 1 (ζ)) + u (u 1 (ũ 1 (ζ))). By construction one has that di ε [u](w 1 ) = ε 3 dt ε [ζ](ϱ), di ε [u](w ) = 0 (5) for each w = w 1 + w = X 1 X, where ρ = I (I 1 (w 1 )) (see Propositions 3.6 and 3.9), so that in particular each critical point ζ of T ε defines a critical point u = u 1 (ũ 1 (ζ )) + u (u 1 (ũ 1 (ζ ))) of I ε. Equation (5) also shows that each Palais Smale sequence {ζ n } for T ε generates a Palais Smale sequence {u n } with u n = u 1 (ũ 1 (ζ n )) + u (u 1 (ũ 1 (ζ n ))) for I ε, and our next result confirms that weakly convergent sequences in B M (0) Ỹε generate sequences which are weakly convergent in X. Proposition 3.10 Suppose that {ζ n } B M (0) converges weakly in Ỹε to ζ B M (0). The corresponding sequence {u n }, where u n = u 1 (ũ 1 (ζ n )) + u (u 1 (ũ 1 (ζ n ))), converges weakly in X to u = u 1 (ũ 1 (ζ )) + u (u 1 (ũ 1 (ζ ))). Proof Abbreviating u 1 (ũ 1 (ζ n )) to u 1,n, note that {u 1,n } U converges weakly in X 1 to u 1, = u 1 (ũ 1 (ζ )) U. Furthermore, u,n = u (u 1,n ) is the unique solution in X of equation () with u 1 = u 1,n, so that u,n = G(u 1,n, u,n ). Observe that {u,n } is bounded in X ; the following argument shows that any weakly convergent subsequence of {u,n } has weak limit u (u 1, ), so that {u,n } itself converges weakly to u (u 1, ) in X. Suppose that (a subsequence of) {u,n } converges weakly in X to u,. Because G : X 1 X X is weakly continuous (Proposition 3.), we find that u, = G(u 1,, u, ), so that u, = u (u 1, ) (the fixed-point equation u = G(u 1,, u ) has a unique solution in X ). Altogether we conclude that {u 1,n + u,n } converges weakly in X to u = u 1, + u,.

20 Solitary waves for the FDKP equation 0 4. Existence theory The functional T ε : B M (0) R may be considered as a perturbation of the limiting functional T 0 : Ỹ R with T 0 (ζ) = Q(ζ)+S(ζ). More precisely ε 1 R ε χ ε (D) (which coincides with ε 1 R ε on B M (0) Ỹε) converges uniformly to zero over B M (0) Ỹ, and corresponding statements for its derivatives also hold. In this section we study T ε by perturbative arguments in this spirit, choosing M > 1 sufficiently large that inequality (30) below holds for some ζ 0 Ỹ \ {0}. We seek critical points of T ε by considering its natural constraint set noting the calculation which shows that N ε = {ζ B M (0): ζ 0, dt ε [ζ](ζ) = 0}, dt ε [ζ](ζ) = Q(ζ)+3S(ζ) + ε 1 drε [ζ](ζ), (6) S(ζ) = 3 Q(ζ) ε 1 drε [ζ](ζ) = 1 3 ζ Ỹ + O(ε 1 ζ Ỹ ) and 1 6 ζ Ỹ d T ε [ζ](ζ, ζ) = Q(ζ)+6S(ζ) + ε 1 d R ε [ζ](ζ, ζ) 1 = Q(ζ) ε 1 drε [ζ](ζ) + ε 1 d R ε [ζ](ζ, ζ) = ζ Ỹ + O(ε 1 ζ Ỹ ) 1 ζ Ỹ (and in particular S(ζ)<0, d T ε [ζ](ζ, ζ) < 0) for points ζ N ε. Any nontrivial critical point of T ε clearly lies on N ε, and the following proposition shows that the converse is also true. Proposition 4.1 Any critical point of T ε Nε is a (necessarily nontrivial) critical point of T ε. Proof Define G ε : U ε \ {0} R by G ε (ζ) = dt ε [ζ](ζ), so that N ε = Gε 1 (0) and dg ε [ζ] does not vanish on N ε (since dg ε [ζ](ζ) = d T ε [ζ](ζ, ζ) < 0 for ζ N ε ). There exists a Lagrange multiplier µ such that dt ε [ζ ] µdg ε [ζ ] = 0, and applying this operator to ζ we find that µ = 0, whence dt ε [ζ ] = 0. There is a convenient geometrical interpretation of N ε (see Figure 4). Proposition 4. Any ray in (B M (0) \ {0}) S 1 (, 0) Ỹε intersects N ε in at most one point and the value of T ε along such a ray attains a strict maximum at this point.

21 Solitary waves for the FDKP equation 1 Proof Let ζ (B M (0) \ {0}) S 1 (, 0) Ỹε and consider the value of T ε along the ray in B M (0) \ {0} through ζ, that is, the set {λζ : 0 < λ < M/ ζ 1 } Ỹε. The calculation d dλ T ε(λζ) = dt ε [λζ](ζ) = λ 1 dt ε [λζ](λζ) shows that d dλ T ε(λζ) = 0 if and only if λζ N ε ; furthermore for each ζ with λζ N ε. d dλ T ε(λζ) = Q(ζ) + 6λ S(λζ) + ε 1 d R ε [λζ](ζ, ζ) = Q(ζ) λ ε 1 drε [λζ](λζ) + ε 1 d R ε [λζ](ζ, ζ) = Q(ζ) + O(ε 1 ζ Ỹ ) < 0 Remark 4.3 If ε = 0 we may take M =, and in this case every ray in S 1 (, 0) intersects N 0 in precisely one point. In view of the above characterisation of nontrivial critical points of T ε we proceed by seeking a ground state, that is, a minimiser ζ of T ε over N ε. We make frequent use of the identities T ε (ζ) = 1 3 Q(ζ) dt ( ε[ζ](ζ) + ε 1 Rε (ζ) 1 3 dr ε[ζ](ζ) ), (7) T ε (ζ) = 1 S(ζ) + 1 dt ( ε[ζ](ζ) + ε 1 Rε (ζ) 1 dr ε[ζ](ζ) ), (8) which are obtained using (6) to eliminate respectively S(ζ) and Q(ζ) from (4), beginning with some a priori bounds for T ε Nε. Proposition 4.4 Each ζ N ε satisfies T ε (ζ) 1 1 ζ and ζ Ỹ Ỹ 1. In particular, each ζ N ε with T ε (ζ) < 1 1 (M 1) satisfies ζ Ỹ < M 1. Proof Let ζ N ε. Using (7), one finds that T ε (ζ) = 1 3 Q(ζ) + O(ε 1 ζ Ỹ ) = 1 6 ζ Ỹ + O(ε 1 ζ Ỹ ) 1 1 ζ Ỹ, so that in particular T ε (ζ) < 1 1 (M 1) implies that ζ Ỹ < M 1. Furthermore ζ Ỹ = Q(ζ) = 3S(ζ) + O(ε 1 ζ Ỹ ) ζ 3 Ỹ + ε 1 ζ Ỹ, where we have used (6) and the embedding Ỹ L3 (R ); it follows that ζ Ỹ 1. Remark 4.5 Let c ε := inf Nε T ε. It follows from Proposition 4.4 that lim inf ε 0 c ε 1 and from equation (8) that S(ζ) c ε O(ε 1 ) for all ζ N ε. The next result shows how points on N 0 may be approximated by points on N ε. Proposition 4.6 Suppose that S(ζ 0 )< 0 and λ 0 ζ 0 B M 1 (0) is the unique point on the ray through ζ 0 Ỹ \ {0} which lies on N 0. There exists ξ ε N ε such that lim ε 0 ξ ε λ 0 ζ 0 Ỹ = 0.

22 Solitary waves for the FDKP equation Proof Note that d dλ T 0(λζ 0 ) = 0, λ=λ0 d dλ T 0(λζ 0 ) < 0. (9) λ=λ0 Let ζ ε = χ ε (D)ζ 0, so that ζ ε Ỹε Ỹ with lim ε 0 ζ ε ζ 0 Ỹ = 0, and in particular λ 0 ζ ε Ỹ < M 1. According to (9) we can find γ > 1 such that γ λ 0 ζ ε Ỹ < M (so that γλ 0 ζ ε U ε ) and d dλ T d 0(λζ 0 ) > 0, λ= γ 1 λ 0 dλ T 0(λζ 0 ) < 0, λ= γλ0 and therefore d dλ T d ε(λζ ε ) > 0, λ= γ 1 λ 0 dλ T ε(λζ ε ) < 0 λ= γλ0 (the quantities on the left-hand sides of the inequalities on the second line converge to those on the first as ε 0). It follows that there exists λ ε ( γ 1 λ 0, γλ 0 ) with d dλ T ε(λζ ε ) = 0, λ=λε that is, ξ ε := λ ε ζ ε N ε, and we conclude that this value of λ ε is unique (see Proposition 4.) and that lim ε 0 λ ε = λ 0. Corollary 4.7 Any minimising sequence {ζ n } of T ε Nε satisfies lim sup ζ n Ỹ < M 1. Proof In view of Proposition 4.4 it sufficies to show that for each sufficiently large value of M (chosen independently of ε) there exists ζ N ε such that T ε (ζ ) < 1 1 (M 1). In fact, choose ζ 0 Ỹ \ {0} and M > 1 such that Q(ζ 0 ) 3 S(ζ 0 )< 0, S(ζ 0 ) < 7 48 (M 1). (30) The calculation dt 0 [λ 0 ζ 0 ](λ 0 ζ 0 ) = λ 0Q(ζ 0 )+3λ 3 0S(ζ 0 ) then shows that λ 0 ζ 0 N 0, where λ 0 = Q(ζ 0) 3S(ζ 0 ). It follows that λ 0 ζ 0 is the unique point on its ray which lies on N 0, and T 0 (λ 0 ζ 0 ) = 1 3 Q(λ 0ζ 0 ) = 4Q(ζ 0) 3 7S(ζ 0 ) < 1 1 (M 1), (31) so that λ 0 ζ 0 Ỹ < M 1. Proposition 4.6 asserts the existence of ξ ε N ε with lim ε 0 ξ ε λ 0 ζ 0 Ỹ = 0. Using the limit lim T ε(ξ ε ) = T 0 (λ 0 ζ 0 ) ε 0 and (31), we find that T ε (ξ ε ) < 1 1 (M 1). The next step is to show that there is a minimising sequence for T ε Nε which is also a Palais Smale sequence.

23 Solitary waves for the FDKP equation 3 Proposition 4.8 There exists a minimising sequence {ζ n } B M 1 (0) of T ε Nε such that lim dt ε[ζ n ] Ỹε R = 0. Proof Ekeland s variational principle for optimisation problems with regular constraints (Ekeland [1, Thm 3.1]) implies the existence of a minimising sequence {ζ n } for T ε Nε and a sequence {µ n } of real numbers such that lim dt ε[ζ n ] µ n dg ε [ζ n ] Ỹε R = 0. Applying this sequence of operators to ζ n, we find that µ n 0 as n (since dt ε [ζ n ](ζ n ) = 0 and dg ε [ζ n ](ζ n ) = d T ε [ζ n ](ζ n, ζ n ) 1), whence dt ε [ζ n ]Ỹε R 0 as n. The following lemma examines the convergence properties of more general Palais Smale sequences. Lemma 4.9 (i) Suppose that {ζ n } B M 1 (0) satisfies lim dt ε[ζ n ] = 0, sup ζ n L (Q j) 1. j Z There exists {w n } Z with the property that a subsequence of {ζ n ( + w n )} converges weakly in Ỹε to a nontrivial critical point ζ of T ε. (ii) Suppose that ε > 0. The corresponding sequence of FDKP-solutions {u n }, where u n = u 1 (ũ 1 (ζ n )) + u (u 1 (ũ 1 (ζ n ))) and we have abbreviated {ζ n ( + w n )} to {ζ n }, converges weakly in X to u = u 1 (ũ 1 (ζ )) + u (u 1 (ũ 1 (ζ ))) (which is a nontrivial critical point of I ε ). Proof We can select {w n } Z so that lim inf ζ n( + w n ) L (Q 0) 1. The sequence {ζ n ( + w n )} B M 1 (0) admits a subsequence which converges weakly in Ỹε and strongly in L (Q 0 ) to ζ B M (0); it follows that ζ L (Q 0) > 0 and therefore ζ 0. We henceforth abbreviate {ζ n ( + w n )} to {ζ n } and extract further subsequences as necessary. We first treat the case ε = 0. For w C0 (R ) we find that (ζn ζ )w dx dy ζ n ζ L 3 ( (x,y) <R) w L 3 0 R as n, where R is chosen so that supp w { (x, y) < R} ({ζ n } converges strongly to ζ in L 3 ( (x, y) < R). This result also holds for w L 3 (R ) (by density) and hence for all w Ỹ (because Ỹ L3 (R )). Furthermore ζ n, w Ỹ ζ, w Ỹ as n for all w Ỹ. By taking the limit n in the equation dt 0 [ζ n ](w) = ζ n, w Ỹ + ζnw dx dy, R one therefore finds that ζ, w Ỹ + ζ w dx dy = 0, (x,y) <R

24 Solitary waves for the FDKP equation 4 that is, dt 0 [ζ ](w) = 0 for all w Ỹ. It follows that dt 0[ζ ] = 0. Now suppose that ε > 0. According to Proposition 3.10 the sequence {u n } converges weakly in X to u, and the remarks below equation (5) show that lim di ε[u n ] X R = 0. Since u εu + n(d)u + u is weakly continuous X L (R ) (see Proposition.5 and Lemma.1(i)), one finds that ( di ε [u ](w) = ε u + n(d)u + u ) w dx dy R ( = lim ε u n + n(d)u n + u ) n w dx dy R = lim di ε[u n ](w) = 0 for any w x S(R ), whence u is a critical point of I ε (so that ζ is a critical point of T ε ). It remains to show that the minimising sequence for T ε over N ε identified in Proposition 4.8 satisfies the nonvanishing criterion in Lemma 4.9. This task is accomplished in Proposition 4.10 and Corollary 4.11 below. Proposition 4.10 The inequality holds for all ζ, ξ Ỹ. R ζ ξ dx dy sup j Z ζ 1 6 L (Q j) ζ 5 6Ỹ ξ Ỹ Proof This result follows from the calculation ζ ξ dx dy ζ L 3 ζ L 3 R 1 ζ 3 L 3 (Q j) ξ Ỹ j Z sup j Z ζ L3 (Q j) sup sup ζ 1 L (Q ζ 1 j) Ỹ (Qj) j Z ζ 1 6 j Z 3 L (Q j) ζ 5 6Ỹ ξ Ỹ, 1 3 ζ L 3 (Q j) ξ Ỹ j Z 1 3 ζ Ỹ (Q j) ξ Ỹ j Z where we have interpolated between L (Q j ) and L 6 (Q j ) and used the embeddings L 3 (R ) Ỹ, L6 (Q j ) Ỹ (Q j) and l (Z, Ỹ (Q j)) l (Z, Ỹ (Q j)) = Ỹ. Corollary 4.11 Any sequence {ζ n } N ε satisfies sup ζ n L (Q j) 1. j Z

25 Solitary waves for the FDKP equation 5 Proof Using Proposition 4.10, one finds that S(ζ n ) ζ n ζ n dx dy sup R j Z ζ 1 6 L (Q j) ζ 17 6 Ỹ sup ζ 1 6 L (Q j) j Z (because ζ n Ỹ < M), and the result follows from this estimate and the fact that S(ζ n ) c ε O(ε 1 ) with lim inf ε 0 c ε 1 (see Remark 4.5). Theorem 4.1 (i) Let {ζ n } B M 1 (0) be a minimising sequence for T ε Nε lim dt ε[ζ n ] Ỹε R = 0. with There exists {w n } Z such that a subsequence of {ζ n ( + w n )} converges weakly in Ỹε to a nontrivial critical point ζ of T ε. (ii) Suppose that ε > 0. The corresponding sequence of FDKP-solutions {u n }, where u n = u 1 (ũ 1 (ζ n )) + u (u 1 (ũ 1 (ζ n ))) and we have abbreviated {ζ n ( + w n )} to {ζ n }, converges weakly in X to u = u 1 (ũ 1 (ζ )) + u (u 1 (ũ 1 (ζ ))) (which is a nontrivial critical point of I ε ). 5. Ground states In this section we improve the result of Theorem 4.1 by showing that we can choose the sequence {w n } to ensure convergence to a ground state. For this purpose we use the following abstract concentration-compactness theorem, which is a straightforward modification of theory given by Buffoni, Groves & Wahlén [3, Appendix A]. Theorem 5.1 Let H 0, H 1 be Hilbert spaces and H 1 be continuously embedded in H 0. Consider a sequence {x n } in l (Z s, H 1 ), where s N. Writing x n = (x n,j ) j Z s, where x n,j H 1, suppose that (i) {x n } is bounded in l (Z s, H 1 ), (ii) S = {x n,j : n N, j Z s } is relatively compact in H 0, (iii) lim sup x n l (Z s,h 0) 1. For each > 0 the sequence {x n } admits a subsequence with the following properties. There exist a finite number m of non-zero vectors x 1,..., x m l (Z s, H 1 ) and sequences {w 1 n},..., {w m n } Z s satisfying such that lim wm n wn m, 1 m < m m T w m x n x m, n m 1 x m l (Z s,h 0) = lim x n T w l n x l, l=1 l (Z s,h 0) m lim x n l (Z s,h = 1) x l l (Z s,h + lim 1) x m n T w l n x l l=1 l=1 l (Z s,h 1)

26 Solitary waves for the FDKP equation 6 for m = 1,..., m, m lim sup x n T w l n x l, l=1 l (Z s,h 0) and lim xn T w 1 n x 1 = 0 l (Z s,h 0) if m = 1. Here the weak convergence is understood in l (Z s, H 1 ) and T w denotes the translation operator T w (x n,j ) = (x n,j w ). We proceed by using Theorem 5.1 to study Palais Smale sequences for T ε, extracting subsequences where necessary for the validity of our arguments. Lemma 5. Suppose that {ζ n } B M 1 (0) satisfies lim dt ε[ζ n ] = 0, sup ζ n L (Q j) 1. j Z There exists {w n } Z and ζ such that ζ n ( + w n ) ζ in Ỹ, S(ζ n) S(ζ ) as n and lim sup ζ n ( + w n ) ζ L (Q j) = 0. j Z Proof Set H 1 = Ỹ (Q 0), H 0 = L (Q 0 ), define x n l (Z, H 1 ) for n N by x n,j = ζ n ( + j) Q0 Ỹ (Q 0), j Z, and apply Theorem 5.1 to the sequence {x n } l (Z, H 1 ), noting that x n l (Z,H 1) = ζ n Ỹ, x n l (Z,H 0) = sup j Z ζ n L (Q j) for n N. Assumption (ii) is satisfied because Ỹ is compactly embedded in L (Q 0 ), while assumptions (i) and (iii) follow from the hypotheses in the lemma. The theorem asserts the existence of a natural number m, sequences {w 1 n},..., {w m n } Z with lim wm n wn m =, 1 m < m m, and functions ζ 1,..., ζ m B M (0) \ {0} such that ζ n ( + wn m ) ζ m in Ỹ as n, m lim sup sup ζ n ζ l ( wn) l ε 6, and j Z m ζ l Ỹ l=1 l=1 lim sup ζ n Ỹ L (Q j) lim sup ζn ζ 1 ( wn) 1 L j Z (Q = 0 (3) j) if m = 1. It follows from Lemma 4.9(i) that dt ε [ζ l ] = 0, so that ζ l N ε and T ε (ζ l ) c ε 1.

27 Solitary waves for the FDKP equation 7 Define and note that ζ n = m ζ l ( wn), l n N, l=1 S( ζ n ) m S(ζ l ) (33) l=1 as n (approximate ζ l L 3 (R ) by a sequence of functions in C0 (R ) and use the fact that wn l1 wn l ). Furthermore, from Proposition 4.10, one finds that lim sup S(ζ n ) S( ζ n ) lim sup ζ n ζ n ( ζ n + ζ n ) dx dy R lim sup sup ζ n ζ n 1 6 L (Q j) lim sup ζ n ζ n 5 ( ζ j Z 6Ỹ n Ỹ + ζ n Ỹ ) (34) ε lim sup( ζ n Ỹ + ζ n Ỹ ) 17 1 ε (35) uniformly in m. Combining (33), (35) and yields and hence S(ζ l ) c ε O(ε 1 ) ζ l, l = 1,..., m, Ỹ lim sup S(ζ n ) mc ε O(ε 1 ) c ε mc ε O(ε 1 ) uniformly in m (because of (8)). It follows that m = 1 (recall that lim inf ε 0 c ε 1). The advertised result now follows from (3) (with ζ = ζ 1 and w n = w 1 n) and (34) (since S( ζ 1 ) = S(ζ 1 )). We can now strengthen Theorem 4.1, dealing with the cases ε = 0 and ε > 0 separately. Lemma 5.3 Suppose that {ζ n } B M 1 (0) satisfies lim dt 0 [ζ n ] Ỹ R = 0, sup ζ n L (Q j) 1. j Z There exists {w n } Z such that {ζ n ( + w n )} converges strongly in Ỹ to a nontrivial critical point of T 0. Proof Lemma 5. asserts the existence of {w n } Z and ζ 0 such that ζ n ( + w n ) ζ in Ỹ and S(ζ n) S(ζ ) as n. Abbreviating {ζ n ( + w n )} to {ζ n }, we find from (6) that Q(ζ n ) = 1 dt 0[ζ n ](ζ n ) 3 S(ζ n) 3 S(ζ ) = Q(ζ ), that is, ζ n ζ Ỹ as n. It follows that ζ Ỹ n ζ in Ỹ as n and in particular that dt 0 [ζ ] = 0. We obtain the following existence result in the case ε = 0 as a direct corollary of Lemma 5.3.

28 Solitary waves for the FDKP equation 8 Theorem 5.4 Let {ζ n } B M 1 (0) be a minimising sequence for T 0 N0 lim dt 0 [ζ n ] Ỹ R = 0. There exists {w n } Z such that {ζ n ( + w n )} converges strongly in Ỹ to a ground state of T 0. with Let us now turn to the case ε > 0. We begin with the following observation. Remark 5.5 Suppose that u n u in H s (R ) as n. The limit lim u n u = 0 holds if and only if u n ( j n ) 0 in H s (R ) as n for all unbounded sequences {j n } Z. Theorem 5.6 Let ε > 0 and {ζ n } B M 1 (0) be a minimising sequence for T ε Nε with lim dt ε[ζ n ] Ỹ R = 0. There exists {w n } Z such that {ζ n ( + w n )} converges weakly in Ỹε to a ground state ζ of T ε. The corresponding sequence of FDKP-solutions {u n }, where u n = u 1 (ũ 1 (ζ n )) + u (u 1 (ũ 1 (ζ n ))) and we have abbreviated {ζ n ( + w n )} to {ζ n }, converges weakly in X and strongly in L (R ) to u = u 1 (ũ 1 (ζ )) + u (u 1 (ũ 1 (ζ ))) (which is a nontrivial critical point of I ε ). Proof Lemma 5. asserts the existence of {w n } Z and ζ 0 such that ζ n ( + w n ) ζ in Ỹ as n and lim sup ζ n ( + w n ) ζ H s (Q j) = 0, j Z where we have estimated ζ n ( + w n ) ζ H s (Q j) ζ n( + w n ) ζ L (Q j) ζ n ( + w n ) ζ H s (Q j) ζ n ( + w n ) ζ L (Q j) ζ n ( + w n ) ζ H s (R ) ζ n ( + w n ) ζ L (Q j) because {ζ n ( +w n ) ζ } is bounded in Ỹε (which coincides with Hε s (R )). It follows that lim sup ζ n ζ L (Q j) = lim ζ n ζ = 0, j Z where have again abbreviated {ζ n ( + w n )} to {ζ n }, and Remark 5.5 shows that ζ n ( j n ) 0 in Hε s (R ) and hence in Ỹε as n for all unbounded sequences {j n } Z. Using Proposition 3.10, one finds that u n ( j n ) 0 in X and hence in H s (R ) for all unbounded sequences {j n } Z, so that u n u in L (R ) as n (Remark 5.5). It follows that u n u in L 3 (R ) and in particular that S(u n ) S(u ) as n. Since di ε [u ] = 0 and di ε [u n ](u n ) 0 as n (see the remarks below equation (5)), one finds from the identity I ε (u) = 1 di ε[u](u) 1 S(u) that T ε (ζ n ) T ε (ζ ) as n, so that T ε (ζ ) = c ε. Finally, we show that critical points of T ε converge to critical points of T 0 as ε 0. The first step is to establish the corresponding convergence result for the infima of these functionals over their natural constraint sets.