Abstract
Fully localised three-dimensional solitary waves are steady water waves which are evanescent in every horizontal direction. Existence theories for fully localised three-dimensional solitary waves on water of finite depth have recently been published, and in this paper we establish their existence on deep water. The governing equations are reduced to a perturbation of the two-dimensional nonlinear Schrödinger equation, which admits a family of localised solutions. Two of these solutions are symmetric in both horizontal directions and an application of a suitable variant of the implicit-function theorem shows that they persist under perturbations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The classical hydrodynamic problem for waves on the surface \(\{y=\eta (x,z,t)\}\) of a three-dimensional body of deep water subject to gravity and capillarity is usually expressed in terms of an Eulerian velocity potential \(\varphi \) satisfying Laplace’s equation
the kinematic boundary conditions
and the dynamical boundary condition
here (x, y, z) are dimensionless spatial coordinates and t is time. In this paper we discuss waves of the form \(\eta (x,z,t)=\eta (x-ct,z)\), \(\varphi (x,y,z,t)=\varphi (x-ct,y,z)\) (propagating with permanent shape and constant speed in the x-direction) with \(\eta (x-ct,z) \rightarrow 0\) as \(|(x-ct,z)| \rightarrow \infty \) (decaying in every horizontal direction) and refer to them as fully localised solitary waves.
Theorem 1.1
Suppose that \(c^2=2(1-\varepsilon ^2)\). For each sufficiently small value of \(\varepsilon >0\) equations (1.1)–(1.4) possess two fully localised solitary-wave solutions for which \(\eta \in H^3(\mathbb {R}^2)\) is symmetric in x and z, that is \(\eta (-x,z)=\eta (x,z)\) and \(\eta (x,-z)=\eta (x,z)\). Moreover
uniformly over \((x,z) \in \mathbb {R}^2\), where \(\zeta _0\) is the unique symmetric, positive (real) solution of the two-dimensional nonlinear Schrödinger equation
Theorem 1.1 confirms the prediction made by formal weakly nonlinear analysis (see below) and numerical computations by Parau et al. [17] (see Fig. 1 for illustrations of typical free surfaces in their simulations). Qualitative properties of deep-water solitary waves (in two and three dimensions) have been discussed by Wheeler [23].
We begin by introducing the Zakharov–Craig–Sulem formulation of Eqs. (1.1)–(1.4) with independent variables \(\eta \) and \(\Phi =\varphi |_{y=\eta }\), namely
where \(G(\eta )\Phi =\varphi _y -\eta _x\varphi _x-\eta _z\varphi _z\big |_{y=\eta }\) and \(\varphi \) is the (unique) solution of the boundary-value problem
(Zakharov [24], Craig and Sulem [6]). Steady waves are nontrivial solutions of these equations of the form \(\eta (x,z,t)=\eta (x-ct,z)\), \(\Phi (x,z,t)=\Phi (x-ct,z)\); they satisfy
Equations (1.6), (1.7) can in fact be reduced to one equation for the variable \(\eta \). Equation (1.6) implies that \(\Phi =-cG(\eta )^{-1}\eta _x\), whereby (1.7) yields
in which
and
Notice that
where \(\varphi \) solves the boundary-value problem
(and is therefore unique up to an additive constant); the operators K and L are studied in Sect. 2 below. Observe that (1.8) is invariant under the reflections \(\eta (x,z) \mapsto \eta (-x,z)\) and \(\eta (x,z) \mapsto \eta (x,-z)\); a solution which is invariant under these transformations is termed symmetric. Although this fact is not used in the present paper, let us also note that (1.8) is in fact the Euler–Lagrange equation for the functional
in which
the functions \({\mathcal K}^\prime \) and \({\mathcal L}^\prime \) are the \(L^2(\mathbb {R}^2)\)-gradients of respectively \({\mathcal K}\) and \({\mathcal L}\) (see Buffoni et al. [3, 4]).
Let us now review the formal weakly nonlinear analysis used to derive the nonlinearSchrödinger equation for steady waves (see Ablowitz and Segur [1, §2.2]), beginning with sinusoidal wave trains. The linearised version of (1.8) admits a solution of the form
whenever \(c>0\) and \(k_1 > 0\) satisfy the linear dispersion relation
(see Fig. 2); note that the mapping \(k_1 \mapsto c(k_1)\), \(k_1 > 0\) has a unique global minimum \(c_\mathrm {min}=\sqrt{2}\) at \(k_1=1\). According to Dias and Kharif [7, §3] equality of the linear group and phase speeds (which occurs when \(c^\prime (k_1)=0\)) is associated with bifurcation of small-amplitude water waves. We therefore seek small-amplitude solitary waves with speed near \(\sqrt{2}\) bifurcating from a linear sinusoidal wave train with unit wavenumber. Substituting \(c^2=2(1-\varepsilon ^2)\) and the formal expansion
where \(X=\varepsilon x\), \(Z=\varepsilon z\), into equation (1.8), one finds that \(A_1\) satisfies the stationary nonlinear Schrödinger equation (1.5). This equation has a unique symmetric, positive (real) solution which is characterised as the ground state of the functional \(\tilde{{\mathcal J}}: H^1(\mathbb {R}^2) \rightarrow {\mathbb {R}}\) with
(see Sulem and Sulem [21, §4.2] and the references therein).
The above Ansatz indicates that the Fourier transform \(\hat{\eta }\) of the surface-profile function \(\eta \) for a fully localised solitary wave is localised near the points \((\pm 1,0)\). We therefore write \(\eta =\eta _1+\eta _2\), where \(\mathrm {supp}(\hat{\eta }_1)\) and \(\mathrm {supp}(\hat{\eta }_2)\) are contained in respectively \(B=B_\delta (1,0) \cup B_\delta (-1,0)\) (with \(\delta \in (0,\frac{1}{5})\)) and its complement (see Fig. 3). Here the Fourier transform \(\hat{\eta }={\mathcal F}[\eta ]\) of \(\eta \) is defined by
and we denote the Fourier multiplier with symbol m by m(D) with \(D=(-\mathrm {i}\partial _x,-\mathrm {i}\partial _z)\), so that \(m(D)\eta = {\mathcal F}^{-1}[m\hat{\eta }]\); in particular \(\eta _1 = \chi (D)\eta \), \(\eta _2 = (1-\chi (D))\eta \), where \(\chi \) is the indicator function of the set B. Writing \(c^2=2(1-\varepsilon ^2)\) and equation (1.8) as
we find that the second equation is solvable for \(\eta _2\) as a function of \(\eta _1\) for sufficiently small values of \(\varepsilon \); the first therefore reduces to
upon inserting \(\eta _2=\eta _2(\eta _1)\). Finally, the scaling
transforms the reduced equation into a perturbation of the equation
where \(e=(1,0)\) and
(see Sects. 3 and 4; the reduced equation is stated precisely in equation (4.2)).
Equation (1.16) is termed a full-dispersion version of the stationary nonlinear Schrödinger equation (1.5) since it retains the linear part of the original equation (1.8); noting that
we recover the fully reduced model equation in the formal limit \(\varepsilon =0\) (see Obrecht and Saut [16] for a discussion of related full-dispersion model equations for three-dimensional water waves). In Sect. 5 we demonstrate that equation (1.16) for \(\zeta \) has two symmetric solutions \(\zeta _\varepsilon ^\pm \) which satisfy \(\zeta _\varepsilon ^\pm \rightarrow \pm \zeta _0\) in \(H^1(\mathbb {R}^2)\) as \(\varepsilon \rightarrow 0\). The key step is a nondegeneracy result for the solution \(\zeta _0\) of (1.5) (see Weinstein [22], Kwong [13] and Chang et al. [5]) in a symmetric setting which allows one to apply a suitable variant of the implicit-function theorem. For this purpose we exploit the fact that the reduction procedure preserves the invariance of equation (1.8) under \(\eta (x,z) \mapsto \eta (-x,z)\) and \(\eta (x,z) \mapsto \eta (x,-z)\), so that equation (1.16) is invariant under the reflections \(\zeta (x,z) \mapsto \overline{\zeta (-x,z)}\) and \(\zeta (x,z) \mapsto \zeta (x,-z)\).
The scaling (1.15) implies that our waves have small amplitude but finite energy. When splitting our basic function space \({\mathcal X}=H^3(\mathbb {R}^2)\) into two parts \({\mathcal X}_1=\chi (D){\mathcal X}\), \({\mathcal X}_2=(1-\chi (D)){\mathcal X}\) for \(\eta _1\) and \(\eta _2\), we respect this scaling by equipping \({\mathcal X}_1\) with the scaled norm \(|{}|{}|\cdot |{}|{}|\) defined by
and taking \(\zeta \) in a ball \(B_R(0) \subseteq H^1(\mathbb {R}^2)\) which is large enough to contain \(\zeta _0\); solving the equation for \(\eta _2\) yields the estimate
where \(\theta \) is a fixed number in the interval (0, 1). Equation (1.17) shows that our waves have finite \(H^3(\mathbb {R}^2)\)-norm, while the estimates
show that they have small amplitude.
Comparison with previous results
The corresponding problem for water of finite depth is obtained from (1.1)–(1.4) by replacing the condition (1.2) by \(\phi _y|=0\) at \(y=-1\) and multiplying the terms in square brackets on the left-hand side of (1.4) by a dimensionless parameter \(\beta \) (called the Bond number) measuring the strength of surface-tension effects. That problem was examined for strong capillarity (\(\beta >1/3\)) by Groves and Sun [9] and Buffoni et al. [3] and, more relevantly for us, for weak capillarity (\(\beta <1/3\)) by Buffoni et al. [4]. In the latter case one obtains a dispersion relation with a global minimum \(\sqrt{\Lambda } \in (0,1)\) obtained at a unique wave number \(\omega \in (0,\infty )\) depending upon \(\beta \). The above weakly nonlocal analysis leads to the Davey–Stewartson equation
where \(a_i>0\), \(C_j>0\) are further constants depending on \(\beta \). The Davey–Stewartson equation is the Euler–Lagrange equation for the functional
Buffoni et al. rigorously reduce the variational principle for fully localised three-dimensional solitary waves to a locally equivalent reduced variational principle whose variational functional is a perturbation of \(\tilde{{\mathcal J}}\) and complete their existence theory by finding a nontrivial critical point of their reduced functional.
The variational method is also applicable to the infinite-depth case, but in the present paper we take a different approach, directly reducing the hydrodynamic equations themselves. The methods do however have common features, particularly in solving for \(\eta _2=\eta _2(\eta _1)\) and approximating Fourier multipliers by differential operators, and for conciseness we simply state those results here and refer to reference [4] for their proofs. This direct technique was not available to Buffoni et al. since no corresponding nondegeneracy result for the Davey–Stewartson equation is currently available. However, by combining the method in the present paper with the computations in reference [4], one can obtain the existence of two families of fully localised solitary-wave solutions when \(\beta >0\) is sufficiently small (which corresponds to assuming that the depth is sufficiently large in physical variables). Indeed, noting that \(\omega \rightarrow \infty \) as \(\beta \rightarrow 0\) and setting \(\zeta (x,z)=\omega ^{-1} \tilde{\zeta }(\omega x, \omega z)\), one finds after multiplying by \(\omega \) that the Davey–Stewartson equation limits to the nonlinear Schrödinger equation (1.5) for \(\tilde{\zeta }\) as \(\omega \rightarrow \infty \). The Davey–Stewartson equation therefore also has two families of nondegenerate fully localised solitary-wave solutions for large \(\omega \). Repeating the proof of Theorem 1.1, we thus arrive at the following result.
Theorem 1.2
Fix \(\beta >0\) small enough. For each sufficiently small \(\varepsilon >0\) the gravity-capillary water wave problem with finite depth and \(c^2=(1-\varepsilon ^2)\Lambda \) possesses two fully localised solitary-wave solutions which are symmetric in x and z.
The approach in the present paper does not use any variational arguments, relying instead upon the nondegeneracy of two particular symmetric solutions to the limiting equation (the nonlinear Schrödinger equation) to enable an application of the implicit-function theorem. It is ‘self-improving’ in that it would apply equally well to any other symmetric solution once its nondegeneracy is established; see Strauss [20], Berestycki and Lions [2], Jones and Küpper [12] and McLeod, Troy and Weissler [15] for existence theories for radial solutions to equations of nonlinear Schrödinger type (and Iaia and Warchall [11] for a discussion of nonradial solutions). By contrast, variational approaches typically require more sophisticated tools to handle multiple solutions. Our method also applies to other problems which can be reduced to a limiting equation with a nondegenerate symmetric solitary-wave solution. The limiting equation for water with finite depth and strong surface tension is the KP-I equation, which has an (explicit) symmetric solitary-wave solution. This solution has recently been shown to be nondegenerate by Liu and Wei [14], and the present method would therefore presumably lead to a simpler existence proof than the variational theory in references [9] and [3]. A similar method has also been used by Stefanov andWright [19] to establish the existence of solitary-wave solutions to a full-dispersion Korteweg–de Vries equation known as the Whitham equation.
Our method also applies to two-dimensional gravity-capillary solitary water waves, the details of which have recently been given for water of finite depth by Groves [8]. There weakly nonlocal analysis leads to the Korteweg–de Vries equation (for strong capillarity) and one-dimensional nonlinear Schrödinger equation (for weak capillarity), and both of these equations have families of explicit solitary-wave solutions. Groves follows the method developed in the present paper, showing how it can be considerably simplified in one spatial dimension, to derive perturbed full-dispersion versions of the Korteweg–de Vries and nonlinear Schrödinger equations. His analysis of the reduced equations is also simpler, since establishing the nondegeneracy of their symmetric solitary-wave solutions amounts to verifying the nondegeneracy of explicit solutions to well-known second-order ordinary differential equations. Note also that while reference [8] is an alternative approach to previously available results, the present paper gives an existence theory for a new type of wave.
Finally, let us remark that Lyapunov–Schmidt reduction in Fourier space, as carried out in Sect. 3 below, has been used by other authors in various forms (e.g. see Pelinovsky and Schneider [18] for a related reduction in a quite different setting).
2 Analyticity
In this section we sketch a proof that the operators K, L given by (1.11) and hence \({\mathcal K}^\prime \) and \({\mathcal L}^\prime \) given by (1.9), (1.10) are analytic at the origin in suitable function spaces (see Corollaries 2.2 and 2.3 below). Full details of the method are given (for different, but related mappings) by Buffoni et al. [4, §2.1].
The boundary-value problem (1.12)–(1.14) can be treated by mapping the fluid domain\(\Sigma _\eta =\{(x,y,z):x,z \in \mathbb {R}, -\infty< y < \eta (x,z)\}\) to the lower half-space \(\Sigma =\mathbb {R}\times (-\infty ,0) \times \mathbb {R}\) using the transformation
The equations are transformed into
where we have dropped the primes and defined
so that
We study this boundary-value problem in the function space
![](http://media.springernature.com/lw378/springer-static/image/art%3A10.1007%2Fs00021-022-00684-5/MediaObjects/21_2022_684_Equ168_HTML.png)
for \(\eta \) and \(H^3_\star (\Sigma )\) for u, in which \(H_\star ^{n+1}(\Sigma )\), \(n \in {\mathbb {N}}\), is the completion of
![](http://media.springernature.com/lw594/springer-static/image/art%3A10.1007%2Fs00021-022-00684-5/MediaObjects/21_2022_684_Equ169_HTML.png)
with respect to the norm
and \(\Vert \cdot \Vert _s\) denotes the usual norm for the standard Sobolev space \(H^s(\mathbb {R}^2)\) or \(H^s(\Sigma )\).
Lemma 2.1
For each \(\xi \in H^{5/2}(\mathbb {R}^2)\) and sufficiently small \(\eta \in {\mathcal Z}\) equations (2.1)–(2.3) have a unique solution \(u \in H^3_\star (\Sigma )\). Furthermore, the mapping \(\eta \mapsto (\xi \mapsto u)\) defines a function \({\mathcal Z}\rightarrow {\mathcal L}(H^{5/2}(\mathbb {R}^2), H^3_\star (\Sigma ))\) which is analytic at the origin.
Proof
Suppose that \(F_1\), \(F_2\), \(F_3 \in H^2(\Sigma )\), \(\xi \in H^{5/2}(\mathbb {R}^2)\) and note that the boundary-value problem
has a unique solution \(u=S(F_1,F_2,F_3,\xi )\) in \(H^3_\star (\Sigma )\) whose gradient is obtained from the explicit formula
(with a slight abuse of notation), so that
Define
by
so that zeros of \(T(\cdot ,\eta ,\xi )\) correspond to solutions of (2.1)–(2.3). Using the estimates
and similarly
(where we have used the fact that \(\mathrm {supp}(\hat{\eta }_1\)) is compact), we find that the mappings \(H_\star ^3(\Sigma ) \times {\mathcal Z}\rightarrow H^2(\Sigma )\) given by \((\eta ,u) \mapsto F_j(\eta ,u)\), \(j=1,2,3\), and hence the mapping T, are analytic at the origin. Since \(T(0,0,0)=0\) and \(\mathrm {d}_1T[0,0,0]=I\) is an isomorphism, the analytic implicit-function theorem yields open neighbourhoods \(V_1\) and \(V_2\) of the origin in respectively \({\mathcal Z}\) and \(H^{5/2}(\mathbb {R}^2)\) and an analytic function \(v: V_1 \times V_2 \rightarrow H_\star ^3(\Sigma )\) such that
Since v is linear in \(\xi \) we can take \(V_2\) to be the entire space \(H^{5/2}(\mathbb {R}^2)\). \(\square \)
Corollary 2.2
The mappings \(K(\cdot ), L(\cdot ) :{\mathcal Z}\rightarrow {\mathcal L}(H^{5/2}(\mathbb {R}^2), H^{3/2}(\mathbb {R}^2))\) are analytic at the origin.
In view of Corollary 2.2 we choose M sufficiently small and study the equation
in the set
noting that \(H^3(\mathbb {R}^2)\) is continuously embedded in \({\mathcal Z}\) and that U is an open neighbourhood of the origin in \(H^3(\mathbb {R}^2)\); we proceed accordingly by decomposing \({\mathcal X}=H^3(\mathbb {R}^2)\) into the direct sum of \({\mathcal X}_1=\chi (D)H^3(\mathbb {R}^2)\) and \({\mathcal X}_2=(1-\chi (D))H^3(\mathbb {R}^2)\).
Corollary 2.3
Equations (1.9), (1.10) define functions \(U \rightarrow H^1(\mathbb {R}^2)\) which are analytic at the origin and satisfy \({\mathcal K}^\prime (0)={\mathcal L}^\prime (0)=0\).
Proof
The result for \({\mathcal K}^\prime \) follows from (1.9), Corollary 2.2 and the fact that \(H^{3/2}(\mathbb {R}^2)\) is an algebra. The result for \({\mathcal L}^\prime \) follows from (1.10) and the observation that \(\eta \mapsto \eta _x (1+\eta _x^2+\eta _z^2)^{-1/2}\) and \(\eta \mapsto \eta _z (1+\eta _x^2+\eta _z^2)^{-1/2}\) define functions \(U \rightarrow H^2(\mathbb {R}^2)\) which are analytic at the origin since \(H^2(\mathbb {R}^2)\) is an algebra. \(\square \)
In keeping with Lemma 2.1 and Corollary 2.2 we write
where \(u^j\) is homogeneous of degree j in \(\eta \) and linear in \(\xi \), and
where \(K_j(\eta )\), \(L_j(\eta )\) and \({\mathcal K}^\prime _j(\eta )\), \({\mathcal L}^\prime _j(\eta )\) are homogeneous of degree j in \(\eta \). A straightforward calculation shows that
and hence that \(K_0\) and \(L_0\) are Fourier multipliers, namely
(we have omitted the argument \(\eta \) on the left-hand sides of these equations).
The following lemma gives expressions for the first few terms in the Taylor expansions of \({\mathcal K}^\prime (\eta )\) and \({\mathcal L}^\prime (\eta )\) at the origin; it is proved by expanding (1.9), (1.10) and examining the boundary-value problems for \(u^1(\eta ,\eta )\) and \(u^2(\eta ,\eta )\) to derive the formulae
with a similar formula for \(K_2(\eta _1)\eta _1\) (see Buffoni et al. [3, pp. 1032–1033] for details in a similar setting; the restriction to \(\eta _1\) is necessary to allow the use of higher-order derivatives in these expressions).
Lemma 2.4
-
(i)
The identities
$$\begin{aligned} {\mathcal K}^\prime _1(\eta )&=\eta - \eta _{xx} - \eta _{zz}, \nonumber \\ {\mathcal K}^\prime _2(\eta )&=0, \nonumber \\ {\mathcal K}^\prime _3(\eta )&=\frac{1}{2} ((\eta _x^2+\eta _z^2)\eta _x)_x + \frac{1}{2}((\eta _x^2+\eta _z^2)\eta _z)_z \end{aligned}$$(2.7)hold for each \(\eta \in H^3(\mathbb {R}^2)\).
-
(ii)
The identities
$$\begin{aligned} {\mathcal L}^\prime _1(\eta )&= K_0\eta , \\ {\mathcal L}^\prime _2(\eta )&= \tfrac{1}{2}\left( \eta _x^2 - (K_0 \eta )^2 -(L_0 \eta )^2 -2(\eta _x\eta )_x-2K_0(\eta K_0\eta )-2L_0(\eta L_0\eta ) \right) \end{aligned}$$hold for each \(\eta \in H^3(\mathbb {R}^2)\).
-
(iii)
The identity
$$\begin{aligned} {\mathcal L}^\prime _3(\eta _1)&=K_0\eta _1\, K_0(\eta _1 K_0\eta _1) +K_0\eta _1 \,L_0 (\eta _1 L_0 \eta _1) +L_0\eta _1 \,L_0(\eta _1 K_0\eta _1)+L_0\eta _1 \, M_0(\eta _1 L_0 \eta _1)\\&\qquad \quad +K_0(\eta _1 K_0(\eta _1 K_0\eta _1)) +K_0(\eta _1 L_0 (\eta _1 L_0 \eta _1)) +L_0(\eta _1 L_0(\eta _1 K_0\eta _1))\\&\qquad \quad +L_0(\eta _1 M_0(\eta _1 L_0 \eta _1))+\eta _1 (K_0 \eta _1)\eta _{1xx}+\tfrac{1}{2}K_0(\eta _1^2\eta _{1xx}) + \tfrac{1}{2}(\eta _1^2 K_0 \eta _1)_{xx} \\&\qquad \quad +\eta _1 (L_0 \eta _1)\eta _{1xz}+\tfrac{1}{2}L_0(\eta _1^2\eta _{1xz}) + \tfrac{1}{2}(\eta _1^2 L_0 \eta _1)_{xz}, \end{aligned}$$where
$$\begin{aligned} M_0\xi = {\mathcal F}^{-1}\left[ \frac{k_3^2}{|k|} \hat{\xi }\right] , \end{aligned}$$holds for each \(\eta _1 \in {\mathcal X}_1\) and more generally for any function \(\eta _1\) whose Fourier transform has compact support.
Finally, we present estimates for the cubic and higher-order parts of \({\mathcal K}^\prime (\eta )\) and \({\mathcal L}^\prime (\eta )\). The results for \({\mathcal L}^\prime (\eta )\) are established by substituting
into (1.10) and estimating the resulting formulae for \({\mathcal L}_\mathrm {c}(\eta )\) and \({\mathcal L}_\mathrm {r}(\eta )\) using the rules
(with corresponding estimates for \(L_j(\eta )(\eta )\), \(L_\mathrm {c}(\eta )(\eta )\) and derivatives). Since this method yields only
we do not include the fourth-order terms \(-\tfrac{1}{2}(K_1(\eta )\eta )^2\), \(-\tfrac{1}{2}(L_1(\eta )\eta )^2\) in \({\mathcal L}^\prime _\mathrm {r}(\eta )\) and treat them separately later (see in particular Proposition 4.8).
Lemma 2.5
-
(i)
The quantities
$$\begin{aligned} {\mathcal K}^\prime _\mathrm {c}(\eta ):=\sum _{j=3}^\infty {\mathcal K}^\prime _j(\eta ), \qquad {\mathcal L}^\prime _\mathrm {c}(\eta ):=\sum _{j=3}^\infty {\mathcal L}^\prime _j(\eta ) \end{aligned}$$satisfy the estimates
$$\begin{aligned} \Vert {\mathcal K}^\prime _\mathrm {c}(\eta )\Vert _1\lesssim & {} \Vert \eta \Vert _{\mathcal Z}^2 \Vert \eta \Vert _3, \qquad \Vert \mathrm {d}{\mathcal K}^\prime _\mathrm {c}[\eta ](v)\Vert _1 \lesssim \Vert \eta \Vert _{\mathcal Z}^2 \Vert v\Vert _3 + \Vert \eta \Vert _{\mathcal Z}\Vert \eta \Vert _3 \Vert v\Vert _{\mathcal Z},\\ \Vert {\mathcal L}^\prime _\mathrm {c}(\eta )\Vert _1\lesssim & {} \Vert \eta \Vert _{\mathcal Z}^2 \Vert \eta \Vert _3, \qquad \Vert \mathrm {d}{\mathcal L}^\prime _\mathrm {c}[\eta ](v)\Vert _1 \lesssim \Vert \eta \Vert _{\mathcal Z}^2 \Vert v\Vert _3 + \Vert \eta \Vert _{\mathcal Z}\Vert \eta \Vert _3 \Vert v\Vert _{\mathcal Z}\end{aligned}$$for each \(\eta \in U\) and \(v \in H^2(\mathbb {R})\).
-
(ii)
The quantities
$$\begin{aligned} {\mathcal K}^\prime _\mathrm {r}(\eta ):=\sum _{j=4}^\infty {\mathcal K}^\prime _j(\eta ), \qquad {\mathcal L}^\prime _\mathrm {r}(\eta ):=\sum _{j=4}^\infty {\mathcal L}^\prime _j(\eta )+\tfrac{1}{2}(K_1(\eta )\eta )^2+\tfrac{1}{2}(L_1(\eta )\eta )^2 \end{aligned}$$satisfy the estimates
$$\begin{aligned} \Vert {\mathcal K}^\prime _\mathrm {r}(\eta )\Vert _1\lesssim & {} \Vert \eta \Vert _{{\mathcal Z}}^4 \Vert \eta \Vert _3, \qquad \Vert \mathrm {d}{\mathcal K}^\prime _\mathrm {r}[\eta ](v)\Vert _1 \lesssim \Vert \eta \Vert _{{\mathcal Z}}^4 \Vert v\Vert _3 + \Vert \eta \Vert _{{\mathcal Z}}^3 \Vert \eta \Vert _3\Vert v\Vert _{\mathcal Z},\\ \Vert {\mathcal L}^\prime _\mathrm {r}(\eta )\Vert _1\lesssim & {} \Vert \eta \Vert _{{\mathcal Z}}^3 \Vert \eta \Vert _3, \qquad \Vert \mathrm {d}{\mathcal L}^\prime _\mathrm {r}[\eta ](v)\Vert _1 \lesssim \Vert \eta \Vert _{{\mathcal Z}}^3 \Vert v\Vert _3 + \Vert \eta \Vert _{{\mathcal Z}}^2 \Vert \eta \Vert _3\Vert v\Vert _{\mathcal Z}\end{aligned}$$for each \(\eta \in U\) and \(v \in H^2(\mathbb {R})\).
3 Reduction
Observe that \(\eta \in U\) satisfies (2.4) if and only if
in which
The nonlinearity in (3.1) is at leading order cubic in \(\eta _1\) because \(\chi (D){\mathcal L}^\prime _2(\eta _1)\) vanishes; we therefore write it as
and make the corresponding adjustment to (3.2), that is ‘replacing’ its nonlinearity with
by writing
(with the requirement that \(\eta _1+F(\eta _1)+\eta _3 \in U\)). Equation (3.2) may thus be cast in the form
where
with equality if and only if \(k=\pm (1,0)\). The following result follows from the fact that\(g(k) > rsim 1+|k|^2\) for \(|k| -1 \ge \delta \).
Proposition 3.1
The mapping
defines a bounded linear operator \(H^1(\mathbb {R}^2)\rightarrow H^3(\mathbb {R}^2)\).
We proceed by solving (3.4) for \(\eta _3\) as a function of \(\eta _1\) using a straightforward extension of the standard Banach fixed-point theorem.
Theorem 3.2
Let \({\mathcal X}_1\), \({\mathcal X}_2\) be Banach spaces, \(X_1\), \(X_2\) be closed, convex sets in, respectively, \({\mathcal X}_1\), \({\mathcal X}_2\) containing the origin and \({\mathcal G}:X_1\times X_2 \rightarrow {\mathcal X}_2\) be a smooth mapping. Suppose there exists a continuous mapping \(r:X_1\rightarrow [0,\infty )\) such that
for each \(x_2\in \overline{B}_r(0)\subseteq X_2\) and each \(x_1\in X_1\).
Under these hypotheses there exists for each \(x_1\in X_1\) a unique solution \(x_2=x_2(x_1)\) of the fixed-point equation \(x_2={\mathcal G}(x_1,x_2)\) satisfying \(x_2(x_1)\in \overline{B}_r(0)\). Moreover \(x_2(x_1)\) is a smooth function of \(x_1\in X_1\) with
We apply Theorem 3.2 to equation (3.4) with \({\mathcal X}_1=\chi (D)H^3(\mathbb {R}^2)\), \({\mathcal X}_2=(1-\chi (D))H^3(\mathbb {R}^2)\), equipping \({\mathcal X}_1\) with the scaled norm
and \({\mathcal X}_2\) with the usual norm for \(H^3(\mathbb {R}^2)\), taking
and defining \({\mathcal G}\) as the right-hand side of (3.4). (We have written \(X_3\) in place of \(X_2\) for notational consistency.) The calculation
shows that
for each fixed \(\theta \in (0,1)\). In most of our theory the value of the constant \(\theta \) is irrelevant; however it will later be given the concrete value \(\theta =5/6\). One can therefore ensure that \(\Vert \hat{\eta }_1\Vert _{L^1(\mathbb {R}^2)} < M/2\) for all \(\eta _1 \in X_1\) for any (large) value of \(R_1\), while the value of \(R_3\) is limited by the condition that \(\Vert F(\eta _1) + \eta _3\Vert _3 < M/2\) for all \(\eta _1 \in X_1\) and \(\eta _3 \in X_3\), so that \(\eta _1+F(\eta _1)+\eta _3 \in U\) (Corollary 3.4 below shows that \(\Vert F(\eta _1)\Vert _3 = O(\varepsilon ^\theta )\) uniformly over \(\eta _1 \in X_1\)).
We proceed by estimating each term in the formula for \({\mathcal G}\), using the inequalities
and making extensive use of the fact that \(\mathrm {supp}(\hat{\eta }_1)\) is contained in the fixed bounded set B, so that for example
for each \(n \in {\mathbb {N}}_0\).
To estimate \(F(\eta _1)\) we write \({\mathcal L}^\prime _2(\eta )=m(\eta ,\eta )\) with
(see Lemma 2.4(ii)), and observe that
The proof of the following proposition is given (for a related mapping) by Buffoni et al. [4, Proposition 5].
Proposition 3.3
The estimate
holds for each u, \(v\in H^3(\mathbb {R}^2)\).
Corollary 3.4
The estimates
hold for each \(\eta _1\in X_1\).
Remark 3.5
Noting that
and that \(\mathrm {supp}({\mathcal F}[{\mathcal L}^\prime _2(\eta _1)])\) is compact, one finds that \(K_0 F(\eta _1)\) satisfies the same estimates as \(F(\eta _1)\).
Lemma 3.6
The quantity
satisfies the estimates
-
(i)
\(\Vert {\mathcal N}_1(\eta _1,\eta _3)\Vert _1\lesssim \varepsilon ^{2\theta } |{}|{}|\eta _1|{}|{}|^3+\varepsilon ^\theta |{}|{}|\eta _1|{}|{}|^2\Vert \eta _3\Vert _3 +\varepsilon ^\theta |{}|{}|\eta _1|{}|{}|\Vert \eta _3\Vert _3+\Vert \eta _3\Vert _3^2\),
-
(ii)
\(\Vert \mathrm {d}_1{\mathcal N}_1[\eta _1,\eta _3]\Vert _{{\mathcal L}({\mathcal X}_1,H^1(\mathbb {R}^2))}\lesssim \varepsilon ^{2\theta } |{}|{}|\eta _1|{}|{}|^2 +\varepsilon ^\theta |{}|{}|\eta _1|{}|{}|\Vert \eta _3\Vert _3+\varepsilon ^\theta \Vert \eta _3\Vert _3\),
-
(iii)
\(\Vert \mathrm {d}_2{\mathcal N}_1[\eta _1,\eta _3]\Vert _{{\mathcal L}({\mathcal X}_2,H^1(\mathbb {R}^2))}\lesssim \varepsilon ^\theta |{}|{}|\eta _1|{}|{}|+\Vert \eta _3\Vert _3\)
for each \(\eta _1\in X_1\) and \(\eta _3\in X_3\).
Proof
We estimate
by combining Proposition 3.3 with Corollary 3.4 using the chain rule. \(\square \)
Lemma 3.7
The quantity
satisfies the estimates
-
(i)
\(\Vert {\mathcal N}_2(\eta _1,\eta _3)\Vert _1\lesssim (\varepsilon ^\theta |{}|{}|\eta _1|{}|{}|+\Vert \eta _3\Vert _3)^2(|{}|{}|\eta _1|{}|{}|+\Vert \eta _3\Vert _3)\),
-
(ii)
\(\Vert \mathrm {d}_1{\mathcal N}_2[\eta _1,\eta _3]\Vert _{{\mathcal L}({\mathcal X}_1,H^1(\mathbb {R}^2))} \lesssim (\varepsilon ^\theta |{}|{}|\eta _1|{}|{}|+\Vert \eta _3\Vert _3)^2\),
-
(iii)
\(\Vert \mathrm {d}_2{\mathcal N}_2[\eta _1,\eta _3]\Vert _{{\mathcal L}({\mathcal X}_2,H^1(\mathbb {R}^2))}\lesssim (\varepsilon ^{\theta }|{}|{}|\eta _1|{}|{}|+\Vert \eta _3\Vert _3)(|{}|{}|\eta _1|{}|{}|+\Vert \eta _3\Vert _3)\)
for each \(\eta _1\in X_1\) and \(\eta _3\in X_3\).
Proof
We compute the derivatives of \({\mathcal N}_2\) using the chain rule and estimate these expressions using the linearity of the derivative, Lemma 2.5(i) and Corollary 3.4. \(\square \)
Altogether the above results establish the following estimates for \({\mathcal G}\) (see Proposition 3.1, Remark 3.5 and Lemmata 3.6, 3.7).
Lemma 3.8
The function \({\mathcal G}: X_1 \times X_3 \rightarrow {\mathcal X}_2\) satisfies the estimates
-
(i)
\(\Vert {\mathcal G}(\eta _1,\eta _3)\Vert _3\lesssim (\varepsilon ^\theta |{}|{}|\eta _1|{}|{}|+\Vert \eta _3\Vert _3)^2(1+|{}|{}|\eta _1|{}|{}|+\Vert \eta _3\Vert _3)+\varepsilon ^2\Vert \eta _3\Vert _3\),
-
(ii)
\(\Vert \mathrm {d}_1{\mathcal G}[\eta _1,\eta _3]\Vert _{{\mathcal L}({\mathcal X}_1,{\mathcal X}_2)} \lesssim (\varepsilon ^\theta |{}|{}|\eta _1|{}|{}|+\Vert \eta _3\Vert _3) (\varepsilon ^\theta +\varepsilon ^\theta |{}|{}|\eta _1|{}|{}|+\Vert \eta _3\Vert _3)\),
-
(iii)
\(\Vert \mathrm {d}_2{\mathcal G}[\eta _1,\eta _3]\Vert _{{\mathcal L}({\mathcal X}_2)}\lesssim (\varepsilon ^{\theta }|{}|{}|\eta _1|{}|{}|+\Vert \eta _3\Vert _3)(1+|{}|{}|\eta _1|{}|{}|+\Vert \eta _3\Vert _3)+\varepsilon ^2\)
for each \(\eta _1\in X_1\) and \(\eta _3\in X_3\).
Theorem 3.9
Equation (3.4) has a unique solution \(\eta _3 \in X_3\) which depends smoothly upon \(\eta _1 \in X_1\) and satisfies the estimates
Proof
Choosing \(R_3\) and \(\varepsilon \) sufficiently small, \(\sigma >0\) sufficiently large and setting \(r(\eta _1)=\sigma \varepsilon ^{2\theta } |{}|{}|\eta _1 |{}|{}|^2\), one finds that
for \(\eta _1 \in X_1\) and \(\eta _3 \in \overline{B}_{r(\eta _1)}(0) \subset X_3\) (Lemma 3.8(i), (iii)). According to Theorem 3.2 equation (3.4) has a unique solution \(\eta _3\) in \(\overline{B}_{r(\eta _1)}(0) \subset X_3\) depending smoothly upon \(\eta _1 \in X_1\) whose derivative is estimated using Lemma 3.8(ii). \(\square \)
The reduced equation
for \(\eta _1 \in X_1\) is obtained by substituting \(\eta _2=\eta _1+F(\eta _1)+\eta _3(\eta _1)\) into (3.3). Observe that (3.7) is invariant under the reflections \(\eta _1(x,z) \mapsto \eta _1(-x,z)\) and \(\eta _1(x,z) \mapsto \eta _1(x,-z)\); a familiar argument shows that they are inherited from the corresponding invariance of (3.3), (3.4) under \(\eta _1(x,z) \mapsto \eta _1(-x,z)\), \(\eta _3(x,z) \mapsto \eta _3(-x,z)\) and \(\eta _1(x,z) \mapsto \eta _1(x,-z)\), \(\eta _3(x,z) \mapsto \eta _3(x,-z)\) when applying Theorem 3.2.
4 Derivation of the reduced equation
Writing
where \(\eta _1^+=\chi ^+(D)\eta _1\), \(\eta _1^-=\chi ^-(D)\eta _1\) and \(\chi ^+\), \(\chi ^-\) are the indicator functions of respectively \(B_\delta (1,0)\) and \(B_\delta (-1,0)\) in (3.7), we find that \(\eta _1^+\) satisfies the equation
(and \(\eta _1^-\) satisfies its complex conjugate). The next step is to calculate the cubic terms in equation (4.1) explicitly; we employ the following notation for the higher-order terms.
Definition 4.1
-
(i)
The symbol \(\underline{O}(\varepsilon ^\gamma |{}|{}|\eta _1 |{}|{}|^r)\) denotes a smooth function \(N: X_1 \rightarrow H^1(\mathbb {R}^2)\) with
$$\begin{aligned} \Vert N(\eta _1)\Vert _1 \lesssim \varepsilon ^\gamma |{}|{}|\eta _1 |{}|{}|^r, \qquad \Vert \mathrm {d}N[\eta _1]\Vert _{{\mathcal L}({\mathcal X}_1, H^1(\mathbb {R}^2))}\lesssim \varepsilon ^\gamma |{}|{}|\eta _1 |{}|{}|^{r-1} \end{aligned}$$for each \(\eta _1 \in X_1\) (where \(\gamma \ge 0\), \(r \ge 1\)). Furthermore
$$\begin{aligned} \underline{O}_0(\varepsilon ^\gamma |{}|{}|\eta _1 |{}|{}|^r):=\chi _0(D)\underline{O}(\varepsilon ^\gamma |{}|{}|\eta _1 |{}|{}|^r), \qquad \underline{O}_+(\varepsilon ^\gamma |{}|{}|\eta _1 |{}|{}|^r) := \chi ^+(D)\underline{O}(\varepsilon ^\gamma |{}|{}|\eta _1 |{}|{}|^r), \end{aligned}$$where \(\chi _0\), \(\chi ^+\) are the indicator functions of respectively \(B_\delta (0,0)\) and \(B_\delta (1,0)\).
-
(ii)
The symbol \(\underline{O}^\varepsilon _n(\Vert u \Vert _1^r)\) denotes \(\chi _0(\varepsilon D)N(u)\), where N is a smooth function\(B_R(0) \subseteq \chi _0(\varepsilon D)H^1(\mathbb {R}^2) \rightarrow H^n(\mathbb {R}^2)\) or \(B_R(0) \subseteq H^1(\mathbb {R}^2) \rightarrow H^n(\mathbb {R}^2)\) with
$$\begin{aligned} \Vert N(u)\Vert _n \lesssim \Vert u \Vert _1^r, \qquad \Vert \mathrm {d}N[u]\Vert _{{\mathcal L}(H^1(\mathbb {R}^2),H^n(\mathbb {R}^2))}\lesssim \Vert u \Vert _1^{r-1} \end{aligned}$$for each \(u \in B_R(0)\) (with \(r \ge 1\), \(n \ge 0\)).
A Fourier multiplier m(D) may be approximated by \(m(\omega ,0)\) when acting upon a function whose Fourier transform is supported near the point \((\omega ,0)\). The proof of the following lemma is given by Buffoni et al. [4, Lemma 11] (in a slightly different context).
Lemma 4.2
The estimates
-
(i)
\(\partial _x \eta _1^\pm = \pm \mathrm {i}\eta _1^\pm + \underline{O}(\varepsilon |{}|{}|\eta _1|{}|{}|)\),
-
(ii)
\(\partial _x^2 \eta _1^\pm =-\eta _1^\pm + \underline{O}(\varepsilon |{}|{}|\eta _1|{}|{}|)\),
-
(iii)
\(\partial _z \eta _1^\pm = \underline{O}(\varepsilon |{}|{}|\eta _1|{}|{}|)\),
-
(iv)
\(K_0 \eta _1^\pm = \eta _1^\pm + \underline{O}(\varepsilon |{}|{}|\eta _1|{}|{}|)\),
-
(v)
\(L_0 \eta _1^\pm = \underline{O}(\varepsilon |{}|{}|\eta _1|{}|{}|)\),
-
(vi)
\(K_0((\eta _1^\pm )^2) = 2(\eta _1^\pm )^2 + \underline{O}(\varepsilon ^{1+\theta }|{}|{}|\eta _1|{}|{}|^2)\),
-
(vii)
\(L_0((\eta _1^\pm )^2) = \underline{O}(\varepsilon ^{1+\theta }|{}|{}|\eta _1|{}|{}|^2)\),
-
(viii)
\(K_0 (\eta _1^+ \eta _1^-) = \underline{O}(\varepsilon ^{1+\theta }|{}|{}|\eta _1|{}|{}|^2)\),
-
(ix)
\(L_0 (\eta _1^+ \eta _1^-) = \underline{O}(\varepsilon ^{1+\theta }|{}|{}|\eta _1|{}|{}|^2)\),
-
(x)
\({\mathcal F}^{-1}[g(k)^{-1}{\mathcal F}[(\eta _1^\pm )^2]]=(\eta _1^\pm )^2+ \underline{O}(\varepsilon ^{1+\theta }|{}|{}|\eta _1|{}|{}|^2)\),
-
(xi)
\(K_0(\eta _1^-(\eta _1^+)^2) = \eta _1^-(\eta _1^+)^2 +\underline{O}(\varepsilon ^{1+2\theta }|{}|{}|\eta _1|{}|{}|^3)\)
hold for each \(\eta _1 \in X_1\).
We proceed by approximating each term in the nonlinearity on the right-hand side of (4.1) according to the rules given in Lemma 4.2.
Proposition 4.3
The estimate
holds for each \(\eta _1 \in X_1\).
Proof
Using the expansions given in Lemma 4.2, we find that
It follows that
because of Lemma 4.2(x) and the fact that
(because \((1-\chi (k))g(k)^{-1}\) is bounded). We conclude that
Remark 4.4
The remainder term \(F_\mathrm {r}(\eta _1)\) in the formula for \(F(\eta _1)\) given in Proposition 4.3 satisfies
for all \(n \in \mathbb {N}_0\) since its Fourier transform is supported in the region \(B+B\).
Proposition 4.5
The estimate
holds for each \(\eta _1 \in X_1\).
Proof
Observe that
in which we have used the calculations
(see Proposition 3.3, Corollary 3.4 and Theorem 3.9) and
(because of (3.6) and Proposition 4.3). Observing that
(see Proposition 3.3 and Remark 4.4), we find that
and it follows from (3.6) and Lemma 4.2 that
\(\square \)
Proposition 4.6
The estimates
hold for each \(\eta _1 \in X_1\).
Proof
Using the estimates for \(F(\eta _1)\) and \(\eta _3(\eta _1)\) given in Corollary 3.4 and Theorem 3.9, we find that
and
(because of equation (2.7)). It similarly follows from the formula
and the fact that \(K_2(\eta )=m_2(\eta ,\eta )\), where \(m_2\) is a bounded, symmetric bilinear mapping \({\mathcal Z}\times {\mathcal Z}\rightarrow {\mathcal L}(H^{5/2}(\mathbb {R}^2), H^{3/2}(\mathbb {R}^2))\), that
using Lemma 2.4(iii) twice yields
and
Proposition 4.7
The estimates
hold for each \(\eta _1 \in X_1\).
Proof
This result follows from Proposition 2.5(ii), Corollary 3.4 and Theorem 3.9. \(\square \)
Proposition 4.8
The estimates
hold for each \(\eta _1 \in X_1\).
Proof
It follows from Corollary 3.4 and Theorem 3.9 that
and furthermore
because of equation (2.5). The second estimate is derived in the same fashion (with equation (2.6)). \(\square \)
Corollary 4.9
The estimate
holds for each \(\eta _1 \in X_1\).
The reduced equation for \(\eta _1\) is therefore
which can be further simplified to
by an application of Lemma 4.2(iv). Finally, we introduce the nonlinear Schrödinger scaling
so that \(\zeta \in B_R(0) \subseteq \chi _0(\varepsilon D)H^1(\mathbb {R}^2)\) solves the perturbed full-dispersion nonlinear Schrödinger equation
where \(R=R_1/\sqrt{2}\) and \(e=(1,0)\) (note that \(|{}|{}|\eta _1 |{}|{}|^2 = \Vert \zeta \Vert _1^2\) and the change of variables from (x, z) to \(\varepsilon (x,z)\) introduces a further factor of \(\varepsilon \) in the remainder term). The invariance of the reduced equation under \(\eta _1(x,z) \mapsto \eta _1(-x,-z)\) and \(\eta _1(x,z) \mapsto \eta _1(x,-z)\) is inherited by (4.2), which is invariant under the reflections \(\zeta (x,z) \mapsto \overline{\zeta (-x,z)}\) and \(\zeta (x,z) \mapsto \zeta (x,-z)\).
Remark 4.10
In the formal limit \(\varepsilon =0\) equation (4.2) reduces to the nonlinear Schrödinger equation
5 Solution of the reduced equation
In this section we complete our existence theory by proving the following theorem.
Theorem 5.1
For each sufficiently small value of \(\varepsilon >0\) equation (4.2) has two small-amplitude solutions \(\zeta ^\pm _\varepsilon \) in \(\chi _0(\varepsilon D)H^1(\mathbb {R}^2)\) which satisfy \(\zeta ^\pm _\varepsilon (x,z) = \overline{\zeta ^\pm _\varepsilon (-x,z)}\), \(\zeta ^\pm _\varepsilon (x,z) = \zeta ^\pm _\varepsilon (x,-z)\) and \(\Vert \zeta ^\pm _\varepsilon - (\pm \zeta _0)\Vert _1 \lesssim \varepsilon ^{1/2}\), where is the unique symmetric, positive (real) solution of the nonlinear Schrödinger equation (4.3).
The first step is a result which allows us to ‘replace’ the nonlocal operator in equation (4.2) by a differential operator.
Proposition 5.2
The inequality
holds uniformly over \(|k| < \delta /\varepsilon \).
Proof
Clearly
while
and
It follows that
Using this proposition, one can write equation (4.2) as
where
and we have chosen the concrete value \(\theta =5/6\), so that \(\varepsilon ^{3\theta -2}=\varepsilon ^{1/2}\). It is convenient to study equation (5.1) in the fixed function space \(H^1(\mathbb {R}^2)\) by replacing it by
where \(\tilde{H}_\varepsilon (\zeta )=H_\varepsilon (\chi _0(\varepsilon D)\zeta )\) (the solution sets of (5.1) and (5.2) evidently coincide). Equation (5.2) is solved using the following variant of the implicit-function theorem.
Theorem 5.3
Suppose that \({\mathcal X}\) is a Banach space, \(X_0\) and \(\Lambda _0\) are open neighbourhoods of respectively \(x_0\) in \({\mathcal X}\) and the origin in \(\mathbb {R}^n\) and \({\mathcal H}: X_0 \times \Lambda _0 \rightarrow {\mathcal X}\) is a mapping which is differentiable with respect to its first argument. Suppose further that \({\mathcal H}(x_0,0)=0\), \(\mathrm {d}_1{\mathcal H}[x_0,0]: {\mathcal X}\rightarrow {\mathcal X}\) is an isomorphism,
and
uniformly over \(x \in X_0\).
Under these hypotheses there exist open neighbourhoods X and \(\Lambda \) of respectively \(x_0\) in \({\mathcal X}\) and \(\Lambda \) of the origin in \(\mathbb {R}^n\) (with \(X \subseteq X_0\), \(\Lambda \subseteq \Lambda _0)\) and a uniquely determined mapping \(h: \Lambda \rightarrow X\) such that
-
(i)
\(\lim \limits _{\lambda \rightarrow 0} h(\lambda )=h(0)=x_0\),
-
(ii)
\({\mathcal H}(h(\lambda ),\lambda )=0\) for all \(\lambda \in \Lambda \),
-
(iii)
\(x=h(\lambda )\) whenever \((x,\lambda ) \in X \times \Lambda \) satisfies \({\mathcal H}(x,\lambda )=0\).
Furthermore, the estimate \(\Vert {\mathcal H}(x,\lambda )-{\mathcal H}(x,0)\Vert _{{\mathcal X}} \lesssim |\lambda |^\alpha \) (with \(\alpha >0\)) for all \(\lambda \in \Lambda _0\) and \(x \in X_0\) implies that \(\Vert h(\lambda )-h(0)\Vert _{{\mathcal X}} \lesssim |\lambda |^\alpha \) for all \(\lambda \in \Lambda \).
We proceed by employing Theorem 5.3 with
and \(X=B_R(0)\), \(\Lambda _0=(-\varepsilon _0,\varepsilon _0)\), where R and \(\varepsilon _0\) are chosen respectively sufficiently large (to accommodate the requirement that \(\zeta _0 \in X\)) and sufficiently small. Note that negative values of \(\varepsilon \) have been included so that we can define
for \(\varepsilon \) in the full neighbourhood \(\Lambda _0\) of the origin in \(\mathbb {R}\). We also henceforth explicitly indicate whether functions are real- or complex-valued.
Observe that
Noting that
because
and similarly
and that pointwise multiplication defines bounded trilinear mappings \(H^1(\mathbb {R}^2,\mathbb {C})^3 \rightarrow H^{1/2}(\mathbb {R}^2,\mathbb {C})\) and \(H^1(\mathbb {R}^2,\mathbb {C})^2 \times H^{1/2}(\mathbb {R}^2,\mathbb {C}) \rightarrow L^2(\mathbb {R}^2,\mathbb {C})\) (see Hörmander [10, Theorem 8.3.1]), we find that
uniformly over \(\zeta \in B_R(0)\). Here we have also used the estimate \(\Vert \chi _0(|\varepsilon | D)u \Vert _s \le \Vert u\Vert _s\) for all \(u \in H^s(\mathbb {R}^2,\mathbb {C})\) and and the fact that \(\left( 1-\tfrac{1}{2}\partial _x^2 - \partial _z^2\right) ^{-1}\) maps \(L^2({\mathbb {R}}^2,\mathbb {C})\) continuously into \(H^1({\mathbb {R}}^2,\mathbb {C})\). A similar calculation shows that
uniformly over \(\zeta \in B_R(0)\).
Furthermore, the equation
has a unique symmetric, positive (real) solution (see Sulem and Sulem [21, §4.2] and the references therein). We show that \(\mathrm {d}_1{\mathcal H}[\pm \zeta _0,0]\) is an isomorphism by means of real coordinates \(\zeta _1={{\,\mathrm{Re}\,}}\zeta \) and \(\zeta _2={{\,\mathrm{Im}\,}}\zeta \), in terms of which
where \({\mathcal H}_1: H_\mathrm {e}^1(\mathbb {R}^2,\mathbb {R}) \rightarrow H_\mathrm {e}^1(\mathbb {R}^2,\mathbb {R})\) and \({\mathcal H}_2: H_\mathrm {o}^1(\mathbb {R}^2,\mathbb {R}) \rightarrow H_\mathrm {o}^1(\mathbb {R}^2,\mathbb {R})\) are defined by
with
for \(n \in {\mathbb {N}}_0\). The formulae
define compact operators \(H^1(\mathbb {R}^2,\mathbb {R}) \rightarrow H^1(\mathbb {R}^2,\mathbb {R})\), \(H^1_\mathrm {e}(\mathbb {R}^2,\mathbb {R}) \rightarrow H^1_\mathrm {e}(\mathbb {R}^2,\mathbb {R})\) and \(H^1_\mathrm {o}(\mathbb {R}^2,\mathbb {R}) \rightarrow H^1_\mathrm {o}(\mathbb {R}^2,\mathbb {R})\), so that \(H_1\), \(H_2\) are Fredholm with index 0. Writing
we find that the kernels of \({\mathcal H}_1\) and \({\mathcal H}_2\) coincide with respectively the kernels of the linear operators \(T_1: H^2_\mathrm {e}(\mathbb {R}^2,\mathbb {R}) \subseteq L^2_\mathrm {e}(\mathbb {R}^2,\mathbb {R}) \rightarrow L^2_\mathrm {e}(\mathbb {R}^2,\mathbb {R})\) and \(T_2: H^2_\mathrm {o}(\mathbb {R}^2,\mathbb {R}) \subseteq L^2_\mathrm {o}(\mathbb {R}^2,\mathbb {R}) \rightarrow L^2_\mathrm {o}(\mathbb {R}^2,\mathbb {R})\). It is however known that the kernels of \(T_1\), \(T_2: H^2(\mathbb {R}^2,\mathbb {R}) \subseteq L^2(\mathbb {R}^2,\mathbb {R}) \rightarrow L^2(\mathbb {R}^2,\mathbb {R})\) are respectively \(\langle \zeta _{0x}, \zeta _{0z}\rangle \) and \(\langle \zeta _0\rangle \) (see Chang et al. [5]). The kernels of \({\mathcal H}_1\), \({\mathcal H}_2\) are therefore trivial, so that \({\mathcal H}_1\), \({\mathcal H}_2\) and hence \(\mathrm {d}_1{\mathcal H}[\pm \zeta _0,0]\) are isomorphisms.
It remains to confirm that the formulae
lead to the estimate
uniformly over \((x,z) \in \mathbb {R}^2\). The key is to show that
for any \(\Delta \in (0,1/2)\); here we choose the concrete value \(\Delta =1/4\). This result follows from the calculation
(because the support of \(\hat{\zeta }_\varepsilon \) lies in \(\overline{B}_{\delta /\varepsilon }(0)\)) and
(because , so that in particular \(|\hat{\zeta }_0(|k|)|^2 \lesssim (1+|k|^2)^{-11/4}\)). It follows that
uniformly in (x, z). (These estimates remain valid when \(\zeta _\varepsilon ^+\) and \(\zeta _0\) are replaced by respectively \(\zeta _\varepsilon ^-\) and \(-\zeta _0\).)
Furthermore
by Theorem 3.9 (recall that we have chosen \(\theta =5/6)\), while
because
where
(see Proposition 4.3; the second estimate follows by the fact that the support of \({\mathcal F}[F_\mathrm {r}(\eta _1)]\) is bounded independently of \(\varepsilon \)).
References
Ablowitz, M.J., Segur, H.: On the evolution of packets of water waves. J. Fluid Mech. 92, 691–715 (1979)
Berestycki, H., Lions, P.-L.: Nonlinear scalar field equations, II, Existence of infinitely many solutions. Arch. Ration. Mech. Anal. 82, 347–375 (1983)
Buffoni, B., Groves, M.D., Sun, S.M., Wahlén, E.: Existence and conditional energetic stability of three-dimensional fully localised solitary gravity-capillary water waves. J. Differ. Equ. 254, 1006–1096 (2013)
Buffoni, B., Groves, M.D., Wahlén, E.: A variational reduction and the existence of a fully localised solitary wave for the three-dimensional water-wave problem with weak surface tension. Arch. Ration. Mech. Anal. 228, 773–820 (2018)
Chang, S.-M., Gustafson, S., Nakanishi, K., Tsai, T.-P.: Spectra of linearized operators for NLS solitary waves. SIAM J. Math. Anal. 39, 1070–1111 (2007)
Craig, W., Sulem, C.: Numerical simulation of gravity waves. J. Comp. Phys. 108, 73–83 (1993)
Dias, F., Kharif, C.: Nonlinear gravity and capillary-gravity waves. Ann. Rev. Fluid Mech. 31, 301–346 (1999)
Groves, M.D.: An existence theory for gravity-capillary solitary water waves. Water Waves 3, 213–250 (2021)
Groves, M.D., Sun, S.-M.: Fully localised solitary-wave solutions of the three-dimensional gravity-capillary water-wave problem. Arch. Ration. Mech. Anal. 188, 1–91 (2008)
Hörmander, L.: Lectures on Nonlinear Hyperbolic Differential Equations. Springer, Heidelberg (1997)
Iaia, J., Warchall, H.: Nonradial solutions of a semilinear elliptic equation in two dimensions. J. Differ. Equ. 119, 533–558 (1995)
Jones, C., Küpper, T.: On the infinitely many solutions of a semilinear elliptic equation. SIAM J. Math. Anal. 17, 803–835 (1986)
Kwong, M.K.: Uniqueness of positive solutions of \(\Delta u - u + u^p=0\) in \({\mathbb{R}}^n\). Arch. Ration. Mech. Anal. 105, 243–266 (1989)
Liu, Y., Wei, J.: Nondegeneracy, Morse index and orbital stability of the KP-I lump solution. Arch. Ration. Mech. Anal. 234, 1335–1389 (2019)
McLeod, K., Troy, W.C., Weissler, W.B.: Radial solutions of \({\Delta } u + f(u)=0\) with prescribed numbers of zeros. J. Differ. Equ. 23, 368–378 (1990)
Obrecht, C., Saut, J.-C.: Remarks on the full dispersion Davey–Stewartson systems. Commun. Pure Appl. Anal. 14, 1547–1561 (2015)
Parau, E.I., Vanden-Broeck, J.-M., Cooker, M.J.: Nonlinear three-dimensional gravity-capillary solitary waves. J. Fluid Mech. 536, 99–105 (2005)
Pelinovsky, D., Schneider, G.: Justification of the coupled-mode approximation for a nonlinear elliptic problem with a periodic potential. Appl. Anal. 86, 1017–1036 (2007)
Stefanov, A., Wright, J.D.: Small amplitude traveling waves in the full-dispersion Whitham equation. J. Dyn. Differ. Equ. 32, 85–99 (2020)
Strauss, W.A.: Existence of solitary waves in higher dimensions. Commun. Math. Phys. 55, 149–162 (1977)
Sulem, C., Sulem, P.L.: The Nonlinear Schrödinger Equation. Applied Mathematical Sciences, vol. 139. Springer, New York (1999)
Weinstein, M.I.: Modulational stability of ground states of nonlinear Schrödinger equations. SIAM J. Math. Anal. 16, 472–491 (1985)
Wheeler, M.: Integral and asymptotic properties of solitary waves in deep water. Commun. Pure Appl. Math. 71, 1941–1956 (2018)
Zakharov, V.E.: Stability of periodic waves of finite amplitude on the surface of a deep fluid. Zh. Prikl. Mekh. Tekh. Fiz. 9, 86–94 (English translation J. Appl. Mech. Tech. Phys. 9, 190–194) (1968)
Acknowledgements
E. Wahlén was supported by the Swedish Research Council, Grant No. 2016-04999.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Communicated by G. P. Galdi.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Buffoni, B., Groves, M.D. & Wahlén, E. Fully Localised Three-Dimensional Gravity-Capillary Solitary Waves on Water of Infinite Depth. J. Math. Fluid Mech. 24, 55 (2022). https://doi.org/10.1007/s00021-022-00684-5
Accepted:
Published:
DOI: https://doi.org/10.1007/s00021-022-00684-5