## Abstract

We prove the nonexistence of two-dimensional solitary gravity water waves with subcritical wave speeds and an arbitrary distribution of vorticity. This is a longstanding open problem, and even in the irrotational case there are only partial results relying on sign conditions or smallness assumptions. As a corollary, we obtain a relatively complete classification of solitary waves: they must be supercritical, symmetric, and monotonically decreasing on either side of a central crest. The proof introduces a new function which is related to the so-called flow force and has several surprising properties. In addition to solitary waves, our nonexistence result applies to “half-solitary” waves (e.g. bores) which decay in only one direction.

## 1 Introduction

Solitary water waves are localized disturbances of a fluid surface which travel at constant speed without change of form. They were first discovered by John Scott Russell in 1834 [39], who in subsequent experiments observed the empirical relationship

between the speed *c* of the wave and its amplitude \(a > 0\). Here *g* is the acceleration due to gravity, *d* is depth of the fluid far away from the wave, and *F* is a dimensionless wave speed called the *Froude number*. While the approximation (1.1) is only valid for waves with small amplitude, all of the solitary waves which have so far been rigorously constructed [3, 8, 19, 33, 36] are nevertheless *supercritical* in that they satisfy the strict inequality

Using the method of moving planes, Craig and Sternberg [13] showed in 1988 that the free surface of a supercritical solitary wave is necessarily symmetric and strictly decreasing on either side of a central crest. They further conjectured that all solitary waves are supercritical, and hence subject to their result. In the present paper we positively resolve this conjecture. Previous work was restricted to *waves of elevation* whose free surface lies everywhere above its asymptotic level [3, 35, 40], to symmetric and monotone *waves of depression* where the reverse inequality holds [32], or to nearly critical waves with \(F \approx 1\) [27].

### 1.1 Historical Discussion

Russell’s observations of solitary waves, including the formula (1.1), are famously inconsistent with Airy’s linear shallow water theory. This discrepancy was finally explained using weakly nonlinear models by Boussinesq in 1871 and Rayleigh in 1876. Perhaps the most famous such model is the so-called KdV equation, first written down by Boussinesq in 1877 but later rediscovered by Korteweg and de Vries in 1895; see the discussion in [38]. Traveling wave solutions of the KdV equation satisfy a second order ordinary differential equation. For subcritical Froude numbers \(F<1\), the equilibrium at the origin is a center, which immediately rules out the existence of solitary waves (i.e. homoclinic orbits).

In higher-order models, however, the traveling wave ODE has a saddle-center at the origin when \(F<1\), and the existence of solitary wave solutions is quite subtle. Generically, one expects so-called “generalized solitary waves” that are homoclinic to a small periodic solution, while true solitary waves, referred to as “embedded solitary waves” in this context, are now interpreted as a codimension-one phenomenon where the amplitude of this periodic solution vanishes [11]. For a general introduction to this topic we refer the reader to the monographs by Boyd [10] and Lombardi [34] and the references therein.

The rigorous existence of small-amplitude solitary wave solutions to the full water wave problem goes back to Lavrentiev [33] in 1943 and Friedrichs and Hyers [19] in 1954. Subsequent proofs used more modern methods; Beale [8] in 1977 used the Nash–Moser implicit function theorem while Mielke [36] in 1988 used center-manifold techniques for infinite-dimensional dynamical systems. Note that, for instance by (1.1), the inequality \(F > 1\) defining supercriticality is sharp in the small-amplitude limit. Waves with large or “finite” amplitude were first constructed by Amick and Toland [3] in 1981 using global bifurcation techniques, leading to the existence of a limiting extreme wave with an angled crest [1]; also see [2, 7]. All of these waves are supercritical waves of elevation which are symmetric and *monotone* in that their free surfaces are strictly decreasing on either side of a central crest as in Fig. 1(a). Indeed, especially for large amplitudes, establishing these properties is a key step in the construction.

In 1947, Starr [40] discovered a surprisingly simple identity relating the wave speed to the integral of the free surface elevation (the “excess mass”) and the integral of its square (related to the potential energy). For waves of elevation, this identity immediately implies supercriticality. Amick and Toland provided a rigorous proof of Starr’s formula [3], and a much simpler argument was given by McLeod [35]. Keady and Pritchard [32] showed that there are no monotone and symmetric solitary waves of depression, while Kozlov and Kuznetsov [27] ruled out the existence of mildly subcritical solitary waves with \(F < 1\) and \(F \approx 1\).

In the infinite-depth limit \(d=\infty \), (1.2) can never hold so that in some sense all waves are subcritical and one expects nonexistence. Indeed, Sun [42] proved integral identities which rule out the existence of solitary waves of elevation or depression under an assumption on the decay rate of the free surface; also see [17, 49]. Hur [25] removed the sign condition by proving a different identity in conformal variables, and recently Ifrim and Tataru [26] substantially weakened the decay assumption. For waves of elevation or depression, Craig [12] gave an elegant nonexistence proof using the maximum principle. This argument has no assumptions whatsoever on the decay rate, and can be generalized to finite-depth waves in three dimensions.

The above results consider the classical water wave problem where the fluid velocity field is assumed to be irrotational. Recently, however, there has been considerable mathematical interest in steady water waves with vorticity; see for instance the surveys [20, 41]. Here we will confine our discussion to the *unidirectional* case where the horizontal fluid velocity in the moving frame has a definite sign. As for irrotational waves, one can define a dimensionless wave speed *F* so that the critical threshold is \(F = 1\) (see (1.7) below), and we will continue to call this quantity the Froude number. As in the irrotational case, all of the small-amplitude [21, 23, 44] and large-amplitude [4, 47] solitary waves with vorticity that have been constructed are supercritical and monotone waves of elevation. Moreover, supercritical waves are automatically waves of elevation [28, 47], and hence monotone and symmetric [24], and conversely all waves of elevation are supercritical [48]. Once again there are no mildly subcritical solitary waves [29].

While outside the scope of the present paper, there is also a large literature concerning solitary water waves with the additional effects of surface tension or density stratification. We refer the interested reader to the surveys [20, 22] and in particular highlight the nonexistence result [42] and symmetry results in [14].

### 1.2 Statement of the main result

Consider a two-dimensional fluid region

bounded below by a flat bed \(y=0\) and above by a *free surface* \(y=d+\eta (x,t)\). Here we think of *d* as some average or reference depth for the fluid, and \(\eta \) as the deviation of the free surface from this level. Writing (*u*, *v*) for the components of the fluid velocity and *P* for the ratio of the pressure and the constant density \(\rho \), the incompressible Euler equations in *D* are

together with the incompressibility constraint

where \(g > 0\) is the constant acceleration due to gravity. At the bed \(y=0\) we impose the kinematic condition

while on the free surface \(y=d+\eta (x,t)\) we impose both a kinematic condition

and the dynamic boundary condition that

The kinematic boundary conditions assert that fluid particles on the boundary of the fluid region must remain there for all time, while the dynamic boundary expresses the balance of forces on the free surface.

By a *traveling wave* we mean a solution of (1.3) where \(u,v,P,\eta \) depend on *x* and *t* only through the combination \(x-ct\) for some constant wave speed *c*. In this case (1.3a)–(1.3c) are equivalent to the time-independent equations

in the time-independent fluid domain \(0< y < d+\eta (x)\), while the boundary conditions (1.3d)–(1.3f) become

In this paper we are interested in traveling waves which satisfy the asymptotics

for some function *U*(*y*). This uniquely defines *d* as the asymptotic depth of the fluid, and also determines the asymptotic distribution of the vorticity

Indeed, if \(\omega \equiv 0\) so that the flow is irrotational, *U*(*y*) must be constant. When the limits in (1.5) also hold as \(x \rightarrow -\infty \), the wave is called *solitary*. For want of a better term we therefore call solutions of (1.4)–(1.5) “half-solitary waves”; see Fig. 1(b).

One of our central assumptions is that the wave is *unidirectional* in the sense that the relative fluid velocity \(u-c\) in the moving frame never vanishes. Without loss of generality we assume \(u-c > 0\), and more precisely require that

In the irrotational case where \(\omega \equiv 0\), a maximum principle argument implies that (1.6) is always satisfied [45].

In particular, (1.6) means that \(U-c>0\), and so we can consider the dimensionless quantity \(F > 0\) defined by

which we will call the *Froude number*; see [48] for a detailed discussion of this terminology. In the irrotational case one traditionally works a reference frame where \(U \equiv 0\), in which case (1.7) recovers the classical definition \(F = c/\sqrt{gd}\). We call a solution to (1.4) *subcritical* if \(F < 1\), *critical* if \(F=1\), and *supercritical* if \(F > 1\). The value \(F = 1\) is critical in the sense that the linearized equations about the “trivial” solution

have nontrivial bounded solutions if and only if \(F \le 1\); if \(F = 1\), the solution depends only on the vertical variable *y*.

Somewhat informally stated, our main result is the following:

### Theorem 1.1

The only bounded classical solutions of (1.4)–(1.6) which are subcritical are the trivial solutions (1.8).

See Theorem 2.1 for a precise version. Combining Theorem 1.1 with the elevation and symmetry results in [13, 16, 24, 28, 47], we immediately obtain the following corollary, which states that all half-solitary waves are in fact supercritical solitary waves which therefore enjoy the symmetry and monotonicity properties established in [13, 24]. For a precise version see Corollary 2.2 below.

### Corollary 1.2

Any nontrivial bounded classical solution of (1.4)–(1.6) is a supercritical and monotone solitary wave of elevation. Here symmetry and monotonicity mean that, after a translation in *x*, the free surface profile \(\eta (x)\) is even, strictly positive, and satisfies \(\eta '(x) < 0\) for \(x > 0\).

Since it will be important for our proof, we conclude this subsection by introducing an invariant for steady waves called the *flow force* [9], which is defined as

A direct calculation using (1.4) shows that (1.9) is a constant independent of *x*. The definition of \({\mathcal S}\) is motivated by the divergence form of the momentum equations (1.4a)–(1.4b),

### 1.3 Strategy of the Proof

The proof of Theorem 1.1 centers on the flow force flux function \(\Phi (x,y)\) defined precisely in (3.4). Roughly speaking, \(\Phi \) is the right hand side of (1.9), but with the upper limit of the integral replaced by *y* and the limit as \(x \rightarrow \infty \) subtracted off in an appropriate way. To our knowledge this particular function has not appeared before in the literature, and we believe that it will have further applications. In Proposition 3.1, below, we prove that \(\Phi \) satisfies a linear elliptic equation to which the maximum principle applies. Since \(\Phi \) vanishes on the bed \(y=0\) and is equal to \(\eta ^2 \ge 0\) on the surface, we deduce that it is strictly positive throughout the interior of the fluid. It is worth mentioning that, in the irrotational case, the function \(\Phi \) appears implicitly in Babenko’s equation [5] as the harmonic extension of \(\eta ^2\). We emphasize, however, that this description alone is not sufficient for our arguments.

Applying the Harnack inequality to \(\Phi \ge 0\), we see that a hypothetical subcritical half-solitary wave cannot decay at a super-exponential rate. On the other hand, it must have at least exponential decay thanks to the “normal hyperbolicity” [37] of the center manifold of small uniformly bounded solutions [21, 36], all of which are periodic. Arguing as in the supercritical case [24] then yields precise exponential asymptotics for the wave and hence for \(\Phi \) via its explicit definition. These asymptotics are not at all obvious from the characterization of \(\Phi \) as the solution to an elliptic boundary value problem, and in fact imply that \(\Phi \) changes sign near infinity, violating the maximum principle and leading to a contradiction.

The outline of the paper is as follows. In Section 2, we give a precise statement of our main results and perform a standard change of variables which transforms (1.4) into an elliptic boundary value problem for a function *w*(*q*, *p*) in an infinite strip. We also recall several well-known facts about the dispersion relation for the linearized problem. Section 3 then contains the proof of our main result Theorem 1.1 as well as Corollary 1.2.

## 2 Statement of the Problem

### 2.1 Notation

For possibly unbounded domains \(\Omega \subset \mathbb {R}^n\), we say that \(u \in C^{k,\gamma }(\overline{\Omega })\) if the usual \(C^{k,\gamma }\) Hölder norm of *u* is finite.

### 2.2 Reformulation

In this subsection we reformulate (1.4), under the important unidirectionality assumption (1.6), as an elliptic equation (2.11) for a function *w*(*q*, *p*); the asymptotic condition (1.5) becomes simply \(w \rightarrow 0\) as \(q \rightarrow +\infty \). Such transformations for water waves date back to the work of Dubreil-Jacotin [18] and are now completely standard, but we outline the main steps here so that the reader may more easily translate between the various notations.

For convenience, we will adopt the non-dimensional variables proposed by Keady and Norbury [31], which have length scale \((m^2/g)^{1/3}\) and velocity scale \((mg)^{1/3}\), where here the mass flux

is a constant independent of *x* by incompressibility (1.4c) and the kinematic boundary conditions (1.4d)–(1.4e). In these units we now have \(m=1\) and \(g=1\).

Again by incompressibility (1.4c), there exists a stream function \(\psi \) satisfying

Moreover, the kinematic boundary conditions (1.4d)–(1.4e) guarantee that \(\psi \) is constant both on the bed \(y=0\) and the free surface \(y=d+\eta \). We normalize \(\psi \) so that it is zero at the bed, in which case its value on the free surface is \(m=1\). Taking the curl of (1.4a)–(1.4b), we find that the vorticity

and the stream function have parallel gradients, \(\psi _x \omega _y - \psi _y \omega _x = 0\). Since our assumption (1.6) gives \(\inf \psi _y > 0\), this then implies that \(\omega \) is globally given as some nonlinear function of \(\psi \). By an abuse of notation, we will write this relationship as

and call \(\omega (\psi )\) the *vorticity function*. Substituting (2.1) into (2.2) now yields the semilinear elliptic equation

Next we eliminate the pressure *P* using Bernoulli’s law, which states that

where here *R* is the *Bernoulli constant* and

is a primitive of the vorticity function \(\omega (\psi )\). Bernoulli’s law can be easily verified by applying a gradient and using (1.4a)–(1.4b) to eliminate \(P_x\) and \(P_y\). Rewriting the dynamic boundary condition (1.4f) using (2.3), the traveling wave system (1.4) becomes

The asymptotic condition (1.5) becomes

where here,

must be related to \(\omega (\psi ),R,d\) through

While the reformulation (2.4) of (1.4) has many appealing features, it is still a free boundary problem in the sense the upper boundary \(y=d+\eta \) of the fluid domain is itself an unknown. The unidirectionality assumption (1.6) allows us to flatten this boundary through an elegant change of coordinates [18], at the cost of making the equations more nonlinear. Indeed, \(\inf \psi _y > 0\), and so we can use

as new independent variables and

as the dependent variable. We call *h* the *height function*. The chain rule yields

so that, in particular, our assumption (1.6) implies

Substituting (2.6) into (2.4), one obtains the equivalent problem for the height function *h*,

where the divergence form of (2.7a) comes from (1.10b); see [15]. Using (2.6) and Bernoulli’s law (2.3), the flow force \({\mathcal S}\) defined in (1.9) is seen to be

The asymptotic condition (2.5) is transformed into

where here *H* is related to \(\Psi \) via \(y=H(\Psi (y))\) and must satisfy

In particular, the Froude number *F* is given by

In light of (2.9), it is natural to introduce the difference

Note that \(w(q,1) = \eta (q)\). Substituting \(h=H+w\) into (2.7) and isolating the linear terms, we obtain

where the asymptotic condition (2.9) becomes simply

The nonlinear terms on the right-hand side of (2.11) are given by

### 2.3 Dispersion Relation

The following linearized version of (2.11), in which \(N_1\) and \(N_2\) have been set equal to zero, plays a central role in our arguments:

This is a first-order approximation for small-amplitude water waves, and the leading-order approximation for small-amplitude water waves which are periodic in *q*.

Separating variables as usual, we find that bounded solutions of (2.13) are linear combinations of the functions

where \(\lambda _j\) and \(\varphi _j\) are the non-positive eigenvalues and corresponding eigenfunctions of the Sturm–Liouville problem

It is well known that Sturm–Liouville problems such as (2.14) have a countable set of simple eigenvalues \(\lambda _0< \lambda _1< \cdots< \lambda _j < \cdots \) accumulating at infinity, and the corresponding eigenfunctions can be rescaled to form an orthonormal basis for \(L^2(0,1;H_p^{-1})\), the space of \(L^2\) functions on (0, 1) with measure \(H_p^{-1}\,\mathrm{d}p\). Classical oscillation theory asserts that \(\varphi _j\) has precisely *j* zeros on the interval (0, 1) [43, theorem 5.11]. Moreover, a calculation shows that \(\lambda _0 < 0\) if and only if \(F<1\), and in this case \(\lambda _1 > 0\); see for instance [43, theorem 5.17]. Throughout this paper we are assuming \(F < 1\) so that the wave is subcritical, and therefore we write

### 2.4 Precise Statement of the Main Result

A more precise version of our main result Theorem 1.1, as well as Corollary 1.2, are as follows (we assume that the vorticity function \(\omega \in C^\gamma \), or equivalently that \(H \in C^{2,\gamma }\)):

### Theorem 2.1

Let \(w \in C^{2,\gamma }(\bar{S})\) be a solution of (2.11)–(2.12) with subcritical Froude number \(F < 1\). Then \(w \equiv 0\).

Using Theorem 2.1, we can now prove a precise version of Corollary 1.2.

### Corollary 2.2

Let \(w \in C^{2,\gamma }(\bar{S})\) solve (2.11)–(2.12), and assume that \(w \not \equiv 0\). Then \(F > 1\), and *w* is a monotone solitary wave of elevation in that, after a translation, *w* is even in *q* and satisfies \(w_q < 0\) for \(q > 0\) and \(0 < p \le 1\).

### Proof

Let *w* be as in the statement of the corollary. By Theorem 2.1, *w* cannot be subcritical, and from [29] (also see [48]) we know that *w* cannot be critical either. Thus *w* is supercritical, and hence \(w > 0\) for \(0 < p \le 1\) by the maximum principle argument in [28, 47]. The hypotheses of the moving planes argument in [16] are therefore satisfied, which gives the result. Here we cite [16] because we assume decay only as \(q \rightarrow +\infty \); the corresponding result with decay in both directions is originally due to Hur [24] with vorticity and [13] in the irrotational case.

## 3 Proof of the Main Result

The proof of Theorem 2.1 centers on the properties of the (relative) flow force flux function \(\Phi \), which we believe is introduced in the present paper for the first time. Its definition in (3.4) below is motivated by the following calculation. Suppose \(h \in C^{2,\gamma }(\bar{S})\) is a solution of (2.7) but not necessarily (2.9), and let *H*(*p*) be a solution of (2.7) with the same Bernoulli constant *R*, i.e. a solution of (2.10). We seek a simple formula for the difference \({\mathcal S}-{\mathcal S}_+\), where \({\mathcal S}\) is the flow force constant (2.8) for *h* and \({\mathcal S}_+\) is the constant for *H*. Replacing *h* with *H* in (2.8) we see that

and so setting \(w=h-H\) yields

where the integrand is given by

Substituting the identity

which follows directly from (2.10), we split *I* into three terms,

Putting \(I_2\) over a common denomiator yields

while \(I_3\) simplifies to

Substituting back into (3.2) and integrating the total derivative, we find

We define the (relative) flow force flux function \(\Phi (q,p)\) to be the integral in (3.3) but with the upper limit replaced by *p*,

A surprising new fact about \(\Phi \) is that it solves a homogeneous elliptic equation as stated in the following:

### Proposition 3.1

Let \(h, H \in C^{2,\gamma }(\bar{S})\) be as above and define the flow force flux function \(\Phi \) by (3.4). Then there exist coefficients \(b_1,b_2 \in L^{\infty }(S)\) such that \(\Phi \in C^{2,\gamma }(\bar{S})\) satisfies the linear equation

together with the boundary conditions

In the irrotational case with no vorticity, \(b_1,b_2 \equiv 0\) and (3.5) is equivalent to Laplace’s equation \((\partial _x^2 + \partial _y^2)\Phi = 0\) in the original variables.

Note that, when the asymptotic condition (2.12) holds, \({\mathcal S}= {\mathcal S}_+\) so that \(\Phi \) is positive in *S* by the maximum principle applied to (3.5)–(3.6).

### Proof

The boundary condition at \(p=0\) is immediate, while the condition at \(p=1\) follows directly from (3.3), and so it remains to show that \(\Phi \in C^{2,\gamma }(\bar{S})\) solves (3.5).

First, let us compute \(\Phi _q\). Differentiating (3.4) with respect to *p* and then with respect to *q*, we find

Here we used the identity

which is the difference of (2.7a) and the first equation in (2.10). Taking into account that \(w_q\) is zero along the bottom, we conclude

Now the definition of \(\Phi \) and (3.7) show \(\Phi \in C^{2,\gamma }(\bar{S})\).

A direct computation gives the following formulas for the second-order derivatives of \(\Phi \):

We use these formulas to compute

Since *w* solves

we can rewrite (3.8) as

When the flow is irrotational so that \(H_{pp} = 0\), both the source term on the right hand side and the coefficient of \(\Phi _p\) vanish. Indeed, in this very special case (3.9) is precisely the statement that \(\Phi \) is a harmonic function of the physical variables *x* and *y*. In general, however, the source term does not have a definite sign, and so (3.9) is insufficient for our purposes.

To circumvent this deficiency, we use (3.4) and (3.7) to “eliminate” the factor of \(w_p^2\) on the right hand side of (3.9) in favor of \(\Phi _p\) and \(\Phi _q\). Linear combinations of our formulas for \(\Phi _p\) and \(\Phi _q\) give the two identities

Combining (3.10) and (3.11) yields a quadratic equation for \(w_p^2\):

Since \(w_p^2 \ge 0\), this has the unique solution

where the coefficients \(B_1,B_2\) are well-defined \(L^\infty \) functions on *S*:

Substituting (3.12) into (3.9) yields the *homogeneous* linear equation

which is of the desired form (3.5).

We note that, for irrotational waves, the recent paper [6] considers a “flow force function” obtained by replacing the upper limit of integration in (1.9) by *y* (in the original physical variables).

### Proposition 3.2

Any solution \(w \in C^{2,\gamma }(\bar{S})\) to (2.11)–(2.12) which is not identically zero satisfies

where \(a \ne 0\), \(z \in C^{2,\gamma }(\bar{S})\), \(\tau '>\tau >0\), and \(\lambda =\tau ^2\) is a positive eigenvalue of the Sturm-Liouville problem (2.14) with eigenfunction \(\varphi \).

We emphasise that \(\lambda = \tau ^2\) is a positive eigenvalue of (2.14) and not the unique negative eigenvalue \(\lambda = -\tau _0^2\). Thus the corresponding eigenfunction \(\varphi (p)\) in (3.13) must change sign.

### Proof

With only the weak assumption (2.12) about the decay of *w*, exact asymptotics such as (3.13) can be difficult to obtain. Thankfully, in our case a result of Mielke [37] implies that *w* decays exponentially. Indeed, applying theorem 3.1b in [37] one finds that *w* converges at some exponential rate to a small-amplitude solution *v* of (2.11). By the center manifold construction of Groves and Wahlén [21], this small solution *v* must be periodic, at which point the asymptotic condition (2.12) for *w* forces \(v\equiv 0\). Thus *w* decays to zero at an exponential rate.

Having established exponential decay for *w*, the exact asymptotics (3.13) become standard and well known (see [24] or part III in [30]). One only has to check that \(\tau \) can be chosen so that the coefficient *a* in (3.13) is nonzero, i.e. check that *w* does not decay at a hyper-exponential rate, but this is not possible in view of Proposition 3.1. Indeed, the asymptotic condition (2.12) implies that \({\mathcal S}= {\mathcal S}_+\) and so \(\Phi = w^2 \ge 0\) on \(p=1\), while \(\Phi = 0\) for \(p=0\). Proposition 3.1 and the maximum principle for unbounded domains [46] therefore imply that \(\Phi > 0\) everywhere in *S*. Hyper-exponential decay of \(\Phi \) is thus forbidden by the Harnack inequality. Since hyper-exponential decay for *w* would imply hyper-exponential decay for \(\Phi \) by its definition in (3.4), the proof is complete.

Combining Propositions 3.1 and 3.2, it is easy to finalize the proof of Theorem 2.1.

### Proof of Theorem 2.1

Substituting the asymptotics (3.13) into (3.4), we find that

Since \(\varphi \) solves (2.14) with \(\lambda =\tau ^2\), we can calculate

and so the above expansion simplifies to

We know that \(\varphi ^2\) has a root in (0, 1) and also that \(\varphi ^2(0)=0\). Thus, its derivative \(2\varphi \varphi _p\) changes sign on (0, 1). By (3.14), the same must be true for \(\Phi \) when *q* is sufficiently large. On the other hand \(\Phi > 0\) everywhere in *S* by the maximum principle, which leads to a contradiction.

## Change history

### 07 October 2021

Open Access funding statement was updated.

## References

Amick, C.J., Fraenkel, L.E., Toland, J.F.: On the Stokes conjecture for the wave of extreme form.

*Acta Math*.**148**, 193–214, 1982Amick, C.J., Toland, J.F.: On periodic water-waves and their convergence to solitary waves in the long-wave limit.

*Philos. Trans. R. Soc. Lond. Ser. A*.**303**(1481), 633–669, 1981Amick, C.J., Toland, J.F.: On solitary water-waves of finite amplitude.

*Arch. Rational Mech. Anal*.**76**(1), 9–95, 1981Akers, A., Walsh, S.: Solitary water waves with discontinuous vorticity.

*J. Math. Pures Appl*.**124**, 220–272, 2019Babenko, K.I.: Some remarks on the theory of surface waves of finite amplitude.

*Dokl. Akad. Nauk SSSR***294**(5), 1033–1037, 1987Basu, B.: A flow force reformulation for steady irrotational water waves.

*J. Differ. Equ*.**268**, 7417, 2019Benjamin, T.B., Bona, J.L., Bose, D.K.: Solitary-wave solutions of nonlinear problems.

*Philos. Trans. R. Soc. Lond. Ser. A***331**(1617), 195–244, 1990Beale, J.T.: The existence of solitary water waves.

*Commun. Pure. Appl. Math*.**30**(4), 373–389, 1977Benjamin, T.B.: Impulse, flow force and variational principles.

*IMA J. Appl. Math*.**32**(1–3), 3–68, 1984Boyd, J.P.:

*Weakly Nonlocal Solitary Waves and Beyond-All-Orders Asymptotics*, vol. 442. Mathematics and its ApplicationsKluwer Academic Publishers, Dordrecht 1998Champneys, A.R., Malomed, B.A., Yang, J., Kaup, D.J.: Embedded solitons: solitary waves in resonance with the linear spectrum.

*Phys. D***152**(153), 340–354, 2001Craig, W.: Non-existence of solitary water waves in three dimensions.

*R. Soc. Lond. Philos. Trans. Ser. A Math. Phys. Eng. Sci*.**360**(1799), 2127–2135, 2002Craig, W., Sternberg, P.: Symmetry of solitary waves.

*Commun. Partial Differ. Equ*.**13**(5), 603–633, 1988Craig, W., Sternberg, P.: Symmetry of free-surface flows.

*Arch. Ration. Mech. Anal*.**118**(1), 1–36, 1992Constantin, A., Strauss, W.A.: Periodic traveling gravity water waves with discontinuous vorticity.

*Arch. Ration. Mech. Anal*.**202**(1), 133–175, 2011Chen, R.M., Walsh, S., Wheeler, M.H.: Existence and qualitative theory for stratified solitary water waves.

*Ann. Inst. H Poincaré Anal. Non Linéaire***35**(2), 517–576, 2018Chen, R.M., Walsh, S., Wheeler, M.H.: Existence, nonexistence, and asymptotics of deep water solitary waves with localized vorticity.

*Arch. Ration. Mech. Anal*.**234**(2), 595–633, 2019Dubreil-Jacotin, M.L.: Sur la détermination rigoureuse des ondes permanentes périodiques d’ampleur finite.

*J. Math. Pures Appl*.**13**, 217–291, 1934Friedrichs, K.O., Hyers, D.H.: The existence of solitary waves.

*Commun. Pure Appl. Math*.**7**, 517–550, 1954Groves, M.D.: Steady water waves.

*J. Nonlinear Math. Phys*.**11**(4), 435–460, 2004Groves, M.D., Wahlén, E.: Small-amplitude Stokes and solitary gravity water waves with an arbitrary distribution of vorticity.

*Phys. D*.**237**(10–12), 1530–1538, 2008Helfrich, K.R., Melville, W.K.: Long nonlinear internal waves.

*Annu. Rev. Fluid Mech*.**38**, 395–425, 2006Hur, V.M.: Exact solitary water waves with vorticity.

*Arch. Ration. Mech. Anal*.**188**(2), 213–244, 2008Hur, V.M.: Symmetry of solitary water waves with vorticity.

*Math. Res. Lett*.**15**(3), 491–509, 2008Hur, V.M.: No solitary waves exist on 2D deep water.

*Nonlinearity***25**(12), 3301–3312, 2012Ifrim, M., Tataru, D.: No solitary waves in 2D gravity and capillary waves in deep water.

*Nonlinearity***33**(10), 5457–5476, 2020Kozlov, V., Kuznetsov, N.: The Benjamin–Lighthill conjecture for near-critical values of Bernoulli’s constant.

*Arch. Ration. Mech. Anal*.**197**(2), 433–488, 2010Kozlov, V., Kuznetsov, N., Lokharu, E.: On bounds and non-existence in the problem of steady waves with vorticity.

*J. Fluid Mech*.**765**, R1, 2015Kozlov, V., Kuznetsov, N., Lokharu, E.: On the Benjamin–Lighthill conjecture for water waves with vorticity.

*J. Fluid Mech*.**825**, 961–1001, 2017Kozlov, V., Maz’ya, V.:

*Differential Equations with Operator Coefficients*. Springer, Berlin Heidelberg 1999Keady, G., Norbury, J.: On the existence theory for irrotational water waves.

*Math. Proc. Camb. Philos. Soc*.**83**(1), 137–157, 1978Keady, G., Pritchard, W.G.: Bounds for surface solitary waves.

*Proc. Camb. Philos. Soc*.**76**, 345–358, 1974Lavrentiev, M.A.: On the theory of long waves (1943); A contribution to the theory of long waves (1947).

*Am. Math. Soc. Transl*.**102**, 3–50, 1954Lombardi, E.:

*Oscillatory Integrals and Phenomena Beyond all Algebraic Orders*, vol. 1741. Lecture Notes in MathematicsSpringer, Berlin 2000McLeod, J.B.: The Froude number for solitary waves.

*Proc. R. Soc. Edinb. Sect. A***97**, 193–197, 1984Mielke, A.: Reduction of quasilinear elliptic equations in cylindrical domains with applications.

*Math. Methods Appl. Sci*.**10**(1), 51–66, 1988Mielke, A.: Normal hyperbolicity of center manifolds and Saint-Venant’s principle.

*Arch. Ration. Mech. Anal*.**110**(4), 353–372, 1990Miles, J.W.: Solitary waves.

*Annu. Rev. Fluid Mech*.**12**, 11–43, 1980Russell, J.S.: Report on waves. In

*14th meeting of the British Association for the Advancement of Science*, vol. 311–390, 1844.Starr, V.P.: Momentum and energy integrals for gravity waves of finite height.

*J. Mar. Res*.**6**, 175–193, 1947Strauss, W.A.: Steady water waves.

*Bull. Am. Math. Soc. (N.S.)***47**(4), 671–694, 2010Sun, S.M.: Non-existence of truly solitary waves in water with small surface tension.

*R. Soc. Lond. Proc. Ser. A Math. Phys. Eng. Sci*.**455**(1986), 2191–2228, 1999Teschl, G.:

*Ordinary Differential Equations and Dynamical Systems*, vol. 140. Graduate Studies in MathematicsAmerican Mathematical Society, Providence, RI 2012Ter-Krikorov, A.M.: The solitary wave on the surface of a turbulent liquid.

*Ž. Vyčisl. Mat. i Mat. Fiz*.**1**, 1077–1088, 1961Toland, J.F.: Stokes waves.

*Topol. Methods Nonlinear Anal.*, 7 [8](1):1–48 [412–414], 1996 [1997]Vitolo, A.: A note on the maximum principle for second-order elliptic equations in general domains.

*Acta Math. Sin. Engl. Ser*.**23**(11), 1955–1966, 2007Wheeler, M.H.: Large-amplitude solitary water waves with vorticity.

*SIAM J. Math. Anal*.**45**(5), 2937–2994, 2013Wheeler, M.H.: The Froude number for solitary water waves with vorticity.

*J. Fluid Mech*.**768**, 91–112, 2015Wheeler, M.H.: Integral and asymptotic properties of solitary waves in deep water.

*Commun. Pure Appl. Math*.**71**(10), 1941–1956, 2018

## Acknowledgements

Large parts of this research were carried out while E.L. and M.H.W. were at Mathematisches Forschungsinstitut Oberwolfach for a Research in Pairs program. V.K. was supported by the Swedish Research Council (VR), 2017-03837.

## Funding

Open access funding provided by Linköping University.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

Communicated by F. Lin.

### 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

Kozlov, V., Lokharu, E. & Wheeler, M.H. Nonexistence of Subcritical Solitary Waves.
*Arch Rational Mech Anal* **241**, 535–552 (2021). https://doi.org/10.1007/s00205-021-01659-y

Received:

Accepted:

Published:

Issue Date:

DOI: https://doi.org/10.1007/s00205-021-01659-y