Abstract
This paper considers twodimensional steady solitary waves with constant vorticity propagating under the influence of gravity over an impermeable flat bed. Unlike in previous works on solitary waves, we allow for both internal stagnation points and overhanging wave profiles. Using analytic global bifurcation theory, we construct continuous curves of largeamplitude solutions. Along these curves, either the wave amplitude approaches the maximum possible value, the dimensionless wave speed becomes unbounded, or a singularity develops in a conformal map describing the fluid domain. This is stronger than what one would expect from a straightforward generalization of existing results for periodic waves. We also show that an arbitrary solitary wave of elevation with constant vorticity must be supercritical. The existence proof relies on a novel reformulation of the problem as an elliptic system for two scalar functions in a fixed domain, one describing the conformal map of the fluid region and the other the flow beneath the wave.
1 Introduction
We consider steady twodimensional waves propagating along the surface of a fluid of finite depth. A great majority of the work done on such waves has been done in the irrotational setting, that is, when the curl of the velocity field vanishes. The mathematical advantage of this setting is that the problem can be reformulated as a problem for a single harmonic function in a fixed domain. For rotational flows, Constantin and Strauss [14] provided the first existence result for largeamplitude periodic traveling waves. They used a semiconformal change of variables devised by DubreilJacotin in 1934 [26], which leads to a quasilinear elliptic problem with a fully nonlinear boundary condition, again for a single function. For a survey on traveling water waves, see [31].
In this paper we study waves which are solitary, that is waves whose profile is a localized—though not necessarily small—disturbance of some asymptotic height at infinity. Solitary waves are considerably more difficult to study than their periodic counterparts, since the fluid surface is unbounded which leads to compactness issues. Smallamplitude rotational waves were first constructed by TerKrikorov [50, 51]. The DubreilJacotin change of variables has subsequently been used to construct both smallamplitude [30, 32] and largeamplitude [58] waves.
One of the most challenging problems in the theory of steady twodimensional water waves is proving the existence of waves with overhanging profiles. Mathematically, these have a free surface which is not the graph of a function. Numerical results [24, 25, 48, 49, 53, 54] suggest that such waves occur in the case of nonzero constant vorticity. These waves have both critical layers where the horizontal fluid velocity in the moving frame vanishes, and internal stagnation points where both components vanish. Smallamplitude periodic waves which are not overhanging but have critical layers and stagnation points were first constructed in [56]. In 2016, the breakthrough paper by Constantin, Strauss and Varvaruca [16] was the first successful attempt at constructing largeamplitude periodic waves with vorticity which can overturn. It is conjectured, based on the numerics, that some of the waves they construct do indeed overturn, but currently there is no rigorous proof. Very recently, overturning periodic waves with constant vorticity have been constructed with weak gravity and large or infinite depth by perturbing a family of explicit solutions with zero gravity [34]. Unlike in the periodic case, smallamplitude solitary waves cannot have stagnation points, but see [36].
The present paper introduces a new and robust framework for the analysis of the steady water wave problem. As in [16], we first use a Riemann mapping. However, rather than reformulating the resulting problem as a pseudodifferential equation on the boundary using the Hilbert transform, we work with a coupled system of two local elliptic equations. A significant advantage of this approach is that it provides us with access to linear and nonlinear estimates [1, 29, 40]. These enable one to recover and strengthen the result in [16] by, roughly speaking, replacing blowup in \(C^{2+\beta }\) with blowup in \(C^1\). Moreover, since the formulation does not rely on the vorticity being constant, it is applicable to more general models. Such generalizations, including applications to periodic waves, are the subject of ongoing work. In this context we also mention the recent preprint [62] that appeared after the present paper was submitted and constructs periodic waves with quite general vorticity using a hybrid formulation which is partly local and partly nonlocal.
As an application of our formulation, we give the first construction of largeamplitude solitary waves with constant vorticity which may have overhanging profiles. We prove the existence of a global curve of solutions along which one of several scenarios must occur: the wave amplitude tends to the maximum value so that stagnation is approached at the crest, the dimensionless wave speed blows up, or a singularity forms on the free surface. The proof is based on an analytic global bifurcation theorem. Originally due to Dancer [22] and Buffoni and Toland [9], this theorem was adapted in [19] to the unbounded solitary wave setting, and requires some additional small modifications to be applicable to our elliptic system setting.
1.1 Presentation of the problem
Let \(\Omega \) denote the unbounded fluid region in the (X, Y)plane, bounded below by the flat bottom \(Y=0\) and above by the water’s free surface \({\mathcal {S}}\). We assume that as \(X\rightarrow \infty \), the fluid domain \(\Omega \) approaches a horizontal strip of width d. We call d the asymptotic depth of the fluid.
The fact that \({\mathcal {S}}\) is an unknown is one of the main difficulties of the water wave problem, and it is convenient to introduce a change of variables which fixes the domain. In this paper we assume that \(\Omega \) is the image under a conformal mapping \(X+iY=\xi (x,y)+i\eta (x,y)\) of the rectangular strip
We denote the upper and lower boundaries of \({\mathcal {R}}\) by
respectively. We require that B be mapped onto \(Y=0\) and \(\Gamma \) onto the free surface \({\mathcal {S}}\); see Fig. 1. Further details on this map are provided in Sect. 2.
Working in a frame moving with the wave, the fluid velocity (U, V) and pressure P satisfy the twodimensional steady incompressible Euler equations
coupled with kinematic boundary conditions
on both components of the boundary and the dynamic boundary
on the surface. Here \(P_{\text {atm}}\) denotes the constant atmospheric pressure and \(g>0\) the constant acceleration due to gravity. We further assume that the vorticity
is constant throughout the fluid. We note that different authors use different sign conventions in (1.2g); here we follow the convention in [16].
Solitary waves are solutions to (1.2b)–(1.2g) satisfying the asymptotic conditions
on the free surface, and
on the velocity field, uniformly in Y. Here F is the Froude number, a dimensionless wave speed, and \(\gamma \) is a dimensionless measure of the vorticity \(\omega \). We will view g, d and \(\gamma \) as fixed and F as the parameter.
We call a solitary wave a wave of elevation if \(\eta (x,d)>0\) for all x. The wave is said to be symmetric if \(\eta \) is even in the x variable and monotone if \(\eta _x(x,d)<0\) for \(x>0\).
1.2 Statement of the Main Results
The main theorem of the paper is the following existence result. It is stated somewhat informally; we refer the reader to Theorem 7.8 in Sect. 7 for a precise version.
Theorem 1.1
Fix the gravitational constant \(g>0\), asymptotic depth \(d>0\) and \(\gamma <0\). Then there exists a global continuous curve \({\mathscr {C}}\) of solutions to (1.2) parameterized by \(s \in (0,\infty )\). Moreover, the following property holds along \({\mathscr {C}}\) as \(s\rightarrow \infty \):
These solutions are all symmetric and monotone waves of elevation in the sense that \(\eta \) is even in x with \(\eta _x(x,d)<0\) for \(x>0\).
We would like to draw the attention of the reader to the fact that (1.3) only involves pointwise bounds on the geometry of the free surface and the Froude number F. In contrast, the analogous result in [16] for periodic waves involves \(C^{2+\beta }\) norms of the conformal map and the stream function.
Let us now briefly explain the three terms in (1.3). By symmetry and monotonicity, the infimum in the first term is achieved at the crest \(x=0\), where
is a dimensionless measure of the magnitude of the (purely horizontal) fluid velocity. Provided the Froude number F remains bounded, this first term therefore vanishes precisely when the fluid is approaching stagnation (\(U=V=0\)) at the crest. This is known to occur in the irrotational case [5], where the curve \({\mathscr {C}}\) indeed limits to a singular “wave of greatest height” with a stagnation point at its crest [2]. The second term in (1.3) is a simple measure of the nondegeneracy of the conformal mapping \(\xi +i\eta \). If it were to vanish, we would expect the surface to develop a singularity. The last term of course vanishes only if the Froude number F becomes arbitrarily large.
Numerical work [53, 54] suggests that any one of the three terms in (1.3) can vanish. Indeed, when a given dimensionless vorticity parameter is above a certain threshold, these papers find waves of greatest height with negative vorticity. For vorticities below this threshold in the limit \(F\rightarrow \infty \), VandenBroeck shows that the free surface can degenerate into a configuration involving a disk of fluid above a thin strip. Finally, he also generates a family of waves for which \(F\rightarrow \infty \) but the profile remains regular.
While Theorem 1.1 is stated only for \(\gamma < 0\), for the remainder of the paper we make no assumptions on the sign of \(\gamma \). However, by adapting the periodic wave argument in [17] to our setting, one can show that waves we construct with \(\gamma \ge 0\) cannot overturn or have internal stagnation points, and have therefore already been constructed in [58] using different methods. Nevertheless, the precise results are not obviously equivalent, and so for completeness we record the analogue of Theorem 1.1 in Proposition 7.9.
Another significant result we obtain is the following lower bound on the Froude number (to our knowledge, this is the first bound of this type which applies to waves which are overturning):
Theorem 1.2
Solitary waves of elevation with constant vorticity are supercritical. That is, for all solutions to (1.2) with \(\eta \ge d\) and \(\eta \not \equiv d\) on the surface \(\Gamma \), we have that
Remark 1.3
In particular, such waves satisfy \(\gamma <1\). The proof of Theorem 1.2 is based on a useful integral identity derived in Proposition 3.7. The bound is also sharp for smallamplitude waves; for instance see Sect. 7.1.
1.3 Historical Considerations
In 1834, while riding on horseback by a canal, Russell famously saw a solitary wave for the first time [46]. At the time, this observation was met with little excitement by his peers such as Stokes and Airy as the linear theory they were working with did not allow for such waves [23]. On the contrary, it was even suggested that Russell’s wave was simply a periodic wave with a very long wavelength. It was not until the weakly nonlinear long wave asymptotic expansions of Boussinesq in 1877 and Korteweg–de Vries in 1895 that models emerged admitting solitary wave solutions; see [12].
A vast majority of the rigorous work on solitary waves has been done for the irrotational case, and in particular smallamplitude waves. Lavrentiev [39] constructed solitary waves as longwave limits of weakly nonlinear periodic waves. Friedrichs and Hyers [27] used an inverse function theorem approach which involved rescaling the problem and working in exponentially weighted spaces. Beale [7] instead used the Nash–Moser inverse function theorem. Mielke [44] applied a dynamical systems approach, known as spatial dynamics, which involves looking for a center manifold for an evolution equation in the horizontal spatial variable X.
The first rigorous largeamplitude result for irrotational waves was provided by Amick and Toland [4, 5], in which they proved the existence of a connected set curve of solutions limiting to stagnation. The authors use a conformal mapping approach and construct a connected set of solitary waves by taking the limit of a sequence of approximate problems with better compactness properties. The limiting wave is singular, which has a stagnation point and \({120}^{\circ }\) angle at its crest [2]. All the above waves are symmetric monotone waves of elevation with graphical streamlines, precluding the existence of critical layers and overhanging profiles; for more on the qualitative properties of irrotational solitary waves see [3, 13, 37].
For rotational waves, the first smallamplitude result is due to TerKrikorov [51], who used the method of Friedrichs and Hyers [27]. This was followed by Hur [32] who used the Nash–Moser implicit function theorem. Later, Groves and Wahlén [30] constructed smallamplitude solitary waves with an arbitrary vorticity distribution using a spatial dynamics approach. In [33], Hur then provided the first symmetry results for rotational solitary waves.
Largeamplitude rotational solitary waves were first rigorously constructed in [58] in which the continuum limits to one of three possible scenarios: vanishing of the horizontal velocity, blowup of the Froude number, or the Froude number attaining its critical value. The last two alternatives were then eliminated in [19, 59]. As in [14], the waves were constructed using a nonconformal coordinate transformation due to DubreilJacotin [26] which maps the unknown fluid domain into a known rectangular strip by flattening all the streamlines. The resulting problem in the strip consists of a quasilinear elliptic problem with nonlinear boundary conditions. However, this approach is only applicable to unidirectional flows where all the streamlines are graphs. As a result, the waves constructed in this way cannot have critical layers, internal stagnation points or overhanging profiles.
There have also been numerical studies of largeamplitude solitary waves with constant vorticity. VandenBroeck computed several families of solutions [53, 54], including waves with quite complicated overhanging profiles. We believe that some, but not all, of these waves can be found along our global bifurcation curves. However, there is as of yet no proof that any of the solutions we construct are truly overturning. The pressure beneath solitary waves with constant vorticity has recently been studied [28], as well as their nonlinear stability [11].
The first smallamplitude result for periodic rotational waves with internal stagnation points is due to Wahlén [56]: using a naive “surface flattening” change of variables, he constructed waves containing closed streamlines, referred to as “Kelvin’s cat’seyes”. Using the same approach, Varholm [52] was able to successfully construct largeamplitude rotational periodic waves with critical layers. Unlike in [14], the possibility that the global curve reconnects is not ruled out. This is related to the fact that the necessary monotonicity properties could not be shown due to a lack of maximum principles. In the interesting paper [36], Kozlov, Kuznetsov and Lokharu construct solitary waves with a critical layer and stagnation point beneath the wave crest in a carefully chosen scaling limit where the vorticity becomes large. Although all the above results provide flows with critical layers and internal stagnation points, the nature of the flattening transformation prevents these waves from overturning.
In [18], Constantin and Varvaruca developed an approach which generalizes the conformal map used for irrotational waves to the constant vorticity setting, and constructed smallamplitude rotational periodic waves with critical layers. The main feature of this transformation is that it does not place any restrictions on the geometry of the fluid domain and allows for stagnation points in the flow. As a result, Constantin, Strauss, and Varvaruca [16] were then able extend the family of local curves of solutions in [18] to produce the first largeamplitude periodic waves with constant vorticity which may have overhanging profiles. In order to achieve this, they used the periodic Hilbert transform to reformulate the problem as a quasilinear pseudodifferential equation in the spirit of Babenko [6]. The main result of this paper consists of the existence of families of continuous curves of solutions which limit to one of four different alternatives: the formation of a wave of greatest height with a stagnation point at the crest, blow up of either the elevation of the wave profile in the Hölder space \(C^{2+\beta }\) or of the parameters, and selfintersection of the free surface above the trough line.
In this paper we fix the domain using a conformal map, and work in the local elliptic system setting. Our elliptic system is more closely related to the nonlocal equation in [18] than to the Babenkolike system in [16]. Using a local formulation enables us to adapt existing techniques [19, 20, 55, 58, 60] for dealing with issues related to compactness, which as mentioned above is one of the central difficulties in the solitary wave problem. Moreover, the elliptic setting gives us access to powerful linear and nonlinear estimates [1, 29, 40], which enables us to obtain stronger conclusions than in [16]. Finally, this approach can be easily generalized to allow for an arbitrary vorticity distribution, and so may have further applications, both for periodic waves and solitary waves.
1.4 Outline of the Paper
One of the main difficulties of the water wave problem lies in the fact that it is a free boundary problem with nonlinear boundary conditions. As mentioned previously, we resolve this by reformulating the problem in an unbounded strip by means of a conformal map \(\xi +i\eta \). We obtain an elliptic system of two harmonic functions \(\eta \) and \(\zeta \) with fully nonlinear boundary conditions. Here, the function \(\zeta \) is closely related to the stream function.
While it fixes the domain, this transformation gives rise to further difficulties. Most notably, the dynamic boundary condition is no longer oblique in the classical sense of [29]. Indeed, in [16] the authors remark that for the analogous nonlocal formulation of this boundary condition, compactness properties seem to be unavailable. Nevertheless, by treating the problem as an elliptic system we are able to obtain Schauder estimates by turning to [1]. More precisely, we prove that under the physically meaningful assumption of having no stagnation points on the surface, the linearized boundary operator satisfies the necessary complementing condition.
However, these linear Schauder estimates are not sufficient for our purposes, and we need nonlinear estimates as well. While we were unable to find general results for elliptic systems with fully nonlinear boundary conditions, we overcome this by applying classical regularity theorems [40] to two carefully chosen coupled scalar problems. More specifically, we show that the \(C^{3+\beta }\) norm of the wave elevation is controlled by its \(C^1\) norm, thus ensuring that the main theorem of this paper is a significant improvement over the one obtained in [16].
Even with linear and nonlinear estimates, determining Fredholm indices of the linearized version of the operator equation corresponding to our problem is more subtle than in the scalar case, especially for the largeamplitude solutions. Indeed, the complementing condition for elliptic systems is more topologically complicated than obliqueness. As a result, we cannot immediately exclude the possibility of the linearized operator having a nonzero index. We resolve this issue by showing that, in order to apply the global bifurcation theorem for solitary waves as presented in [19], the linearized operator only needs to be semiFredholm, provided it is invertible and hence Fredholm of index 0 along the local curve of solutions.
Another significant contribution in this paper concerns sharp lower bounds on the Froude number. Previous results for rotational waves [37, 59] rely heavily on the DubreilJacotin transformation and thus on the absence of internal stagnation points. These break down in our setting. Instead, we give a different argument centered on an auxiliary function related to the flow force flux function first introduced in [37]. The bounds we obtain are for waves of elevation only; it would be interesting to see if this assumption can be removed.
The plan of the paper is the following. In Sect. 2 we reformulate the problem using a conformal mapping and nondimensionalize so that only the parameters F and \(\gamma \) remain. Section 3 collects arguments involving an invariant known as the “flow force”. We use it in Sect. 3.1 to prove, in the spirit of [19], that for monotone solutions, compactness properties can only fail in the presence of bores, whose existence we subsequently rule out. In Sect. 3.2, we provide lower bounds on the Froude number. In Sect. 4, we prove that the solutions we construct satisfy a set of monotonicity properties necessary for the compactness results in Sect. 3.1 to hold. We provide a functional analytic formulation of the problem in Sect. 5 along with properties of the linearized operator, and in Sect. 6 we prove our uniform regularity result. In Sect. 7 we first construct small amplitude solitary wave solutions to our problem using the approach in [21] which allows us, with minimal tedium, to reduce the problem to an ODE. Finally, we construct largeamplitude solutions, thus proving the main theorem of the paper.
Appendix A specializes the Schauder estimates in [1] to a class of elliptic systems which is sufficient for our needs. Appendix B records our adapted version of the global bifurcation theorem with a brief outline of the proof.
1.5 Notation
Before we proceed, we briefly define some function spaces we will use throughout the paper. Let \(\Omega \) be a connected, open, possibly unbounded subset of \({\mathbb {R}}^n\). We say that \(\varphi \in C_\textrm{c}^{\infty }({\overline{\Omega }})\) if \(\varphi \in C^{\infty }\) and the support of \(\varphi \) is a compact subset of \({\overline{\Omega }}\). For \(\beta \in (0,1)\) and \(k\in {\mathbb {N}}\) we denote by \(C^{k+\beta }({\overline{\Omega }})\) the space of functions whose partial derivatives up to order k are Hölder continuous in \({\overline{\Omega }}\) with exponent \(\beta \). We say that \(u_n\rightarrow u\) in \(C_\text {loc}^{k+\beta }({\overline{\Omega }})\) if \(\Vert \varphi (u_nu)\Vert _{C^{k+\beta }(\Omega )}\rightarrow 0\) for all \(\varphi \in C_\textrm{c}^{\infty }({\overline{\Omega }})\). Moreover, we let \(C_{\textrm{b}}^{k+\beta }({\overline{\Omega }})\) be the Banach space of functions \(u\in C^{k+\beta }({\overline{\Omega }})\) such that \(\Vert u\Vert _{C^{k+\beta }(\Omega )}<\infty \).
When \(\Omega \) is unbounded, we denote by \(C_0^k({\overline{\Omega }})\subseteq C^k_{\textrm{b}}({\overline{\Omega }})\) the closed subspace of functions whose partial derivatives up to order k vanish uniformly at infinity, that is,
We also define weighted Hölder spaces allowing for exponential growth in the \(x_1\) direction. Let \(C_\mu ^{k+\beta }({\overline{\Omega }})\) be the space of \(u\in C^{k+\beta }({{\overline{\Omega }}})\) with \(\Vert u\Vert _{C_\mu ^{k+\beta }(\Omega )}<\infty \), where
Here \(\mu >0\) and \(u_\beta \) is a local Hölder seminorm
For the remainder of the paper, we fix the Hölder exponent \(\beta \in (0,1)\), once and for all.
2 Formulation
2.1 Stream Function Formulation
Due to the incompressibility condition (1.2a), we can introduce a stream function \(\Psi \) defined by
The kinematic boundary conditions (1.2d)–(1.2e) imply that \(\Psi \) is constant on the free surface and on the bed. We can hence normalize \(\Psi \) such that
for some constant m which we call the mass flux. Taking the curl of (1.2b) and (1.2c) we see that
Finally, Bernoulli’s law states that
as can be verified by differentiation. Combining all the above considerations, we get that
Here (2.3d) is the result of evaluating (2.2) on the surface \({\mathcal {S}}\), and we call Q the Bernoulli constant.
A solitary wave solution to (2.3) must also solve the asymptotic conditions (1.2h) on the free surface along with
uniformly in Y. Moreover, using (2.4) it is easy to see that the Bernoulli constant Q and the mass flux m are given in terms of the Froude number by
while the dimensionless measure \(\gamma \) of the vorticity \(\omega \) is given by
2.2 Conformal Mapping
We now wish to view \(\Omega \) as the conformal image of an infinite strip. Let \({\mathcal {R}}\) be defined as in (1.1) and \(X+iY=\xi (x,y)+i\eta (x,y)\) be a conformal map from \({\mathcal {R}}\) to \(\Omega \), which we normalize by requiring that
Since both domains are simply connected, the existence of this transformation is straightforward, unlike the analogue for periodic surfaces as outlined in [18]. Moreover, the mapping is constructed such that surface of the strip \(\Gamma \) is mapped to the free surface which can hence be parameterized as
We will consider solutions to problem (1.2) for which \(\Omega \) is of class \(C^{3+\beta }\). By Theorem 3.6 in [45], known as the Kellogg–Warschawski theorem, we conclude that \(\xi \) and \(\eta \) are of class \(C^{3+\beta }(\overline{{\mathcal {R}}})\). We will see at the end of Sect. 7 that solutions to the problem in conformal variables (2.11) will also yield solutions to (1.2) as claimed in Theorem 1.1.
We now rewrite (2.3) in conformal variables. For convenience, we define the stream function in the strip by
So that we can work with harmonic functions, we define the function \(\zeta :{\mathcal {R}}\rightarrow {\mathbb {R}}\) by
Expressing (2.3) in these new variables yields
which we couple with the conditions
on the imaginary part of the conformal map. Notice that solving for \(\eta \) will also provide us, up to a constant, with the harmonic conjugate \(\xi \). Finally, the asymptotic conditions (1.2h) and (2.4) become
uniformly in y.
Remark 2.1
Using \(\zeta \) rather than \(\psi \) as an unknown is convenient in Sect. 3, but is not essential. Indeed, in Sect. 6, we will switch to using \(\psi \); see (6.3) and (6.4).
2.3 Final Reformulation
First, we reduce (2.9) to a oneparameter problem. In order to achieve this we rescale, in both the (x, y) and the (X, Y) variables, the lengths by d and the velocities by \(F\sqrt{gd}\). Using (2.5), the process follows in a straightforward way. To simplify notation, from this point forth, we set
which we will refer to as the wave speed parameter. The critical Froude number appearing in Theorem 1.2 corresponds to
By abuse of notation we keep the same name for the nondimensionalized variables and quantities. One can check that the dimensionless vorticity is now \(\omega =\gamma \), and for the rest of the paper, we will only use the notation \(\gamma \).
In these nondimensional variables (2.9a)–(2.9f) become
We additionally require the regularity
and the symmetry
Because of our nondimensionalization,
solve (2.11a)–(2.11g) for any \(\alpha \). We refer to these as laminar, or trivial solutions. This motivates looking at the differences
For convenience we will denote \(w=(w_1,w_2)\). We will also strengthen the asymptotic condition (2.9g) so that w and its first and second partials vanish at infinity. That is, we require that
with the function space \(C_0^2\) defined as in (1.4). It will be useful in Sect. 5, when working in a functional analytic setting, to reformulate (2.11) in terms of w. However, for all qualitative results we will work with the formulation in terms of \(\eta \) and \(\zeta \).
Finally, we assume that
The first factor not vanishing implies that we cannot have a wave of greatest height, and the second one being nonzero ensures that \(\eta \) defines the imaginary part of a conformal mapping. Moreover, one can check that (2.11k) holds whenever \(\inf _{\mathcal {S}}\nabla \Psi >0\), in other words, whenever there are no stagnation points on the free surface. We will see in Sect. 5 that (2.11k) is related to the socalled Lopatinskii constant of a suitable linearized elliptic problem.
2.4 Velocity Field in Conformal Variables
In Sects. 3 and 4 we will work with the velocity field of the fluid, and so it is useful to have notation for the velocity components U and V as functions of the conformal variables x and y:
Using the chain rule, (2.1), (2.7) and (2.8) we get that
Working with (2.12) directly often becomes tedious and so we collect properties of u and v here to make further calculation throughout the paper more transparent.
To begin with, notice that both components of the velocity field are harmonic functions in \({\mathcal {R}}\) since
where the right hand side is holomorphic. Moreover, (2.11k) ensures that the denominator in (2.12) never vanishes. It can now easily be checked that u and v solve
where (2.13a) and (2.13b) are due to the incompressibility condition and the vorticity equation, respectively. Plugging (2.11j) into (2.12) yields the asymptotic conditions
Finally, (2.11g) yields the regularity
and from (2.11h) we see that
Remark 2.2
It is interesting to note that (2.13) combined with (2.11a) and (2.11e) provides us with a closed system for u, v and \(\eta \) in \({\mathcal {R}}\).
3 Flow Force
In this section, we will work with the flow force, an invariant for steady waves. Its definition is motivated by the divergence form of the horizontal component (1.2b) of the momentum equation,
Traditionally, the flow force is defined as
where the integral is taken over a vertical cross section of the fluid. By differentiating (3.2) with respect to X and using the boundary conditions (1.2d)–(1.2f), one can show that the integral is independent of X.
However, our case is slightly more complicated as we are studying waves which can have overhanging profiles. Therefore, it is more convenient to integrate along lines of constant x and define the flow force as
where the second term in the integrand comes from the second term in (3.1). We will need the flow force in two different instances: in Sect. 3.1 to eliminate the existence of bores and in Sect. 3.2 to provide upper bounds for the wave speed parameter \(\alpha \), proving Theorem 1.2. We begin by collecting certain useful facts about this quantity in the following lemma:
Lemma 3.1
Assume \((\eta ,\zeta ,\alpha )\) solves (2.11a)–(2.11g). Then the flow force (3.3) is given by
and is independent of x.
Proof
In our dimensionless variables (2.2) takes the form
where here we have explicitly provided the constant term on the right hand side. Using (3.5) expressed in terms of the conformal variables, (3.3) becomes
A tedious yet straightforward calculation shows that
Inserting (3.7) into (3.6), integrating several total derivatives explicitly and simplifying the resulting boundary terms using the kinematic boundary condition (2.11c) yields (3.4).
In order to show that S is invariant, we first observe that the integrand in (3.4) is the real part of the holomorphic function
Differentiating under the integral and using the Cauchy–Riemann equations we therefore obtain
where the boundary term at \(y=0\) vanishes thanks to (2.11e) and (2.11f). Differentiating the kinematic boundary condition (2.11c), we can replace \(\zeta _x\) with \(\gamma \eta \eta _x\) on the right hand side of (3.9). Completing the square in \(\zeta _y\), we can then completely eliminate \(\zeta \) by using the dynamic boundary condition (2.11d). Factoring, we obtain
and the result follows. \(\square \)
3.1 Nonexistence of Bores and Compactness
Since we work in an unbounded domain, we no longer have compact embeddings between Hölder spaces. However, we will see that, for monotone waves, the only way to lose compactness is through the existence of a bore. The aim of the first part of this subsection is to rule out the latter possibility.
A bore is a solution \((\eta ,\zeta ,\alpha )\) which solves (2.11a)–(2.11g) and satisfies
with distinct limits \((\eta _,\zeta _)\) and \((\eta _+,\zeta _+)\). By a translation argument these limits must also solve (2.11a)–(2.11g) and hence are of the form
with \(d_\ne d_+\) where
Notice that solutions to (2.11) satisfy (3.11)–(3.12) with \(d_+=d_=1\). Since (3.12) also solves the dynamic boundary condition (2.11d), we obtain
where
Moreover, defining
the invariance of the flow force given in Lemma 3.1 implies that
Together, (3.13) and (3.16) are the socalled conjugate flow equations for our problem [8].
The following two lemmas collect properties of the parameterized forms (3.14) and (3.15) of the Bernoulli constant and the flow force. We point out that, in the absence of critical layers, analogues of these lemmas have been shown in [60]; also see [19].
Lemma 3.2
The function \({\hat{Q}}\) in (3.14) is a strictly convex function of the asymptotic depth \(d>0\). In particular, it admits a unique minimum, \(d=d_{\textrm{cr}}\). Moreover, there exists a unique \(d_*\) with \({\hat{Q}}(d_*)={\hat{Q}}(1)\). For \(\alpha <\alpha _{\textrm{cr}}\) we have \(d_*\in (d_{\textrm{cr}},\infty )\), while for \(\alpha >\alpha _{\textrm{cr}}\) we have \(d_*\in (0,d_{\textrm{cr}})\).
Proof
Differentiating (3.14) twice with respect to d, we find
The statement then follows from the fact that \({\hat{Q}}\rightarrow \infty \) both as \(d\rightarrow \infty \) and \(d\rightarrow 0\). \(\square \)
Lemma 3.3
The function \({\hat{S}}(d)\) defined in (3.15) satisfies
In particular, by the convexity of \({\hat{Q}}\), we have \({\hat{S}}(d_*)>{\hat{S}}(1)\) for \(\alpha <\alpha _{\textrm{cr}}\) and \({\hat{S}}(d_*)<{\hat{S}}(1)\) for \(\alpha >\alpha _{\textrm{cr}}\).
Proof
We can calculate \({\hat{S}}(d)\) explicitly:
from which we easily get (3.17). The last part of the statement follows from Lemma 3.2. Indeed, assuming without loss of generality that \(\alpha <\alpha _{\textrm{cr}}\), since \(Q(d)<Q(1)\) for \(1<d<d_*\), we have
We are now ready to prove the following result.
Lemma 3.4
(Nonexistence of bores) The conjugate flow equations (3.13) and (3.16) have no solutions other than \(d=1\). In particular, (2.11a)–(2.11g) does not admit bore solutions as defined in (3.11)–(3.12).
Proof
Let us assume that \((\eta ,\zeta )\) is a bore solution to (2.11a)–(2.11g). Then (3.16) must hold. If \(\alpha =\alpha _{\textrm{cr}}\), then arguing as in Lemmas 3.2 and 3.3, \(d_*=d_=d_+=1\). Otherwise, (3.13) and Lemma 3.2 imply that \(d_\pm \in \{1,d_*\}\), while Lemma 3.3 implies \(d_\ne d_*\) and \(d_+\ne d_*\). We must therefore have \(d_=d_+=1\). \(\square \)
We are now ready to prove compactness.
Lemma 3.5
(Compactness) Let \((\eta _n,\zeta _n,\alpha _n)\) be a sequence of solutions to (2.11). If
as well as
hold, then we can extract a subsequence with \((\eta _n,\zeta _n)\rightarrow (\eta ,\zeta )\) in \(C_{\textrm{b}}^{3+\beta }(\overline{{\mathcal {R}}})\).
Proof
Note that we only give monotonicity assumptions on \(\eta \), since from (2.11c), we see that (3.19) and a maximum principle argument show that \(\gamma \partial _x\zeta _n\le 0\text {for }x\ge 0\). Moreover, we can assume without loss of generality that \(\alpha _n\rightarrow \alpha \in {\mathbb {R}}\). We argue as in [19, Lemma 6.3].
We begin by assuming that
holds. Then, using Arzelà–Ascoli, we can extract subsequences so that \((\eta _n,\zeta _n)\rightarrow (\eta ,\zeta )\) in \(C_\text {loc}^{3}(\overline{{\mathcal {R}}})\) and by (3.20) also in \(L^\infty (\overline{{\mathcal {R}}})\), for some \((\eta ,\zeta )\) which solve (2.11). Therefore, the differences
satisfy
after extraction. It remains to show that \((\eta _n,\zeta _n)\rightarrow (\eta ,\zeta )\) in \(C_{\textrm{b}}^{3+\beta }(\overline{{\mathcal {R}}})\).
On the surface \(\Gamma \), \(v_n^{(1)}\) and \(v_n^{(2)}\) solve the linear boundary conditions
where the coefficients and \(f_n\) are given by
From (3.18), all coefficients and \(f_n\) are uniformly bounded in \(C_{\textrm{b}}^{2+\beta }(\Gamma )\). Applying Lemma A.1, (3.22) implies a Schauder estimate provided the uniform bound
is satisfied on \(\Gamma \), for some \(\delta >0\). By assumption (3.18), this inequality holds. From (2.11j) and (3.21), we therefore get
as \(n\rightarrow \infty \). Thus, \((\eta _n,\zeta _n)\rightarrow (\eta ,\zeta )\) in \(C_{\textrm{b}}^{3+\beta }(\overline{{\mathcal {R}}})\).
Let us now assume that (3.20) does not hold. Then we can find a sequence \(\{(x_n,y_n)\}\subset {\mathbb {R}}^2\) with \(x_n\rightarrow \infty \) and \(\varepsilon >0\) so that
for all n. Using a translation argument and the monotonicity assumption (3.19) exactly as in Lemma 6.3 in [19], the sequence of solutions \((\zeta _n,\eta _n)\) must converge to a bore solution of (2.11a)–(2.11g) as \(n\rightarrow \infty \). This is a contradiction to Lemma 3.4, and therefore (3.20) must hold. \(\square \)
3.2 Bounds on the Froude Number
The goal of this subsection is to provide a lower bound on the Froude number. This result will rule out the alternative that solutions along the global continuum will reach the critical Froude number value (2.10) at which our linearized operators cease to be Fredholm. Due to the possibility of having internal stagnation points and overhanging wave profiles, we cannot work with the DubreilJacotin formulation and therefore the approach used in [59] cannot be applied here. Instead we develop a new argument involving the function \(\Phi \) defined in (3.23) below. This function is related to the flow force flux function derived in [37], which has also been applied to waves which are not necessarily solitary [41, 42].
We begin by showing that our flow force flux function satisfies an elliptic equation. Compared to the function in [37], ours is harmonic but has more complicated boundary conditions. Specifically, we obtain an equation on the surface \(\Gamma \) which is related to the Babenko formulation of our problem (2.11). We then obtain the desired bounds by using this boundary condition to establish the integral identity (3.25).
We begin by defining our variant of the flow force flux function:
From (2.11j), we clearly see that \(\Phi \rightarrow 0\) as \(x\rightarrow \infty \). Notice that the first term in the integrand is the same as the integrand in (3.4), except that here the upper limit of the integral is free rather than being fixed at \(y=1\).
Proposition 3.6
Suppose that \((\eta ,\zeta ,\alpha )\) solve (2.11). Then the function \(\Phi \) defined in (3.23) solves the Dirichlet problem
Proof
Clearly, from the definition (3.23) of \(\Phi \), (3.24c) holds. The fact that \(\Phi \) is harmonic follows from the fact that the first term in the integrand is the real part of the holomorphic function (3.8). Setting (3.4) equal to its limit as \(x\rightarrow \infty \), subtracting it from (3.4) and pulling the zeroth and first order terms into the integral yields (3.24b). \(\square \)
Using \(\Phi \) and Proposition 3.6, we are now able to establish a useful integral identity.
Proposition 3.7
Any solution \((\eta ,\zeta ,\alpha )\) to (2.11) satisfies the integral identity
as \(M\rightarrow \infty \), where the integrals are over the surface \(y=1\) and \(w_1(x,y)=\eta (x,y)y\) was defined in (2.11i).
Proof
Multiplying (3.24a) by y and integrating by parts twice, we get, for any \(M>0\),
which yields
The last equality is true since \(\Phi _x\rightarrow 0\) as \(x\rightarrow \infty \) by (2.11j). Let us now look more closely at the lefthand side.
Notice that the second term in the first integrand of (3.26), \(\Phi _y\cdot y\), vanishes on B. On the other hand, arguing exactly as above (3.10), we find
Since \(\eta _x\) and \(\zeta _x\) vanish at infinity, the Gauss–Green theorem and the kinematic boundary condition (2.11c) give
Combining (3.27) and (3.28), and rewriting in terms of the unknown \(w_1=\eta y\) defined in (2.11i), we find
Applying the Gauss–Green theorem to \(w_1\) and y, we also have
Using (3.24b) therefore gives
as \(M\rightarrow \infty \), so that (3.26) rearranges to the desired identity (3.25). \(\square \)
We now use the identity (3.25) to give an upper bound on \(\alpha \), proving Theorem 1.2. We will see in Sect. 7 that this upper bound is in fact sharp.
Theorem 3.8
Let \((\eta ,\zeta ,\alpha )\) solve (2.11) with \(\alpha >0\). If \(\eta \ge 1\) on the surface \(\Gamma \), then either
holds, or else the solution is trivial. Here \(\alpha _{\textrm{cr}}\) is defined as in (2.10).
Proof
Suppose that \(w_1\not \equiv 0\). It is easy to check that as a consequence \(w_1\) must be strictly positive somewhere on the surface \(\Gamma \).
We claim that all the integrals in (3.25) are positive for M sufficiently large. We only need to check the first integral on the righthand side, with the integrand \(w_1w_{1y}\), since the claim holds for the others by assumption. This is easily done by noticing that
Since the second term on the righthand side goes to zero as \(x\rightarrow \pm \infty \), the claim has been proven.
Since the coefficients of the first three terms on the righthand side of (3.25) are strictly positive, (3.29) must hold. \(\square \)
4 Nodal Analysis
In this section, we will prove that the solutions to (2.11) satisfy a monotonicity property which is traditionally referred to as nodal property. More specifically, we wish to show that the vertical component \(\eta \) of the parametrization of the wave profile \({\mathcal {S}}\) as defined in (2.6) is strictly decreasing on either side of the wave crest, that is,
As we will see in Sect. 7.1, (4.1) is motivated by the structure of the smallamplitude solutions in a neighborhood of the bifurcation point. In the periodic case, the main purpose of this property is to rule out a loop alternative for the global curve of solutions. For solitary waves, monotonicity has an even bigger importance in the sense that its validity, combined with the nonexistence of bores, ensures compactness in the unbounded domain. We remark that the monotonicity property in (4.1) does not rule out the existence of waves with overhanging profiles; see the left hand side of Fig. 2.
The aim is to prove that monotonicity is conserved along the global curve of solutions \({\mathscr {C}}\) by showing that (4.1) defines both a relatively open and closed subset of the set of nontrivial solutions of (2.11). For the closed condition, we closely follow the idea developed in [16] in which the main thrust of the argument concerns the vertical component v of the velocity field, as defined in (2.12). Rather than working with \(\eta ,\zeta \) and v, we find it more convenient to work with u, v and \(\eta \) (see Lemma 4.4 and (4.3) below). This streamlines the presentation somewhat and is especially useful when considering the behavior of the problem at infinity in Lemma 4.6.
The open condition is more delicate. For periodic waves, such as the ones studied in [14, 16], one can show that the set consisting of the nodal property (4.1) combined with certain additional monotonicity properties is open in \(C_{\textrm{b}}^3(\overline{{\mathcal {R}}})\). Due to the unboundedness of the domain, this is not true when working with solitary waves. To overcome this difficulty we follow the approach in [19, 58] and split the domain into a bounded rectangle and two semiinfinite strips. The open condition in the rectangle then follows as in the periodic setting, and it remains to closely study the qualitative behavior of solutions at infinity in the semiunbounded strip and glue the domain pieces back together.
Let us now precisely state the nodal property in terms of the vertical component v of the velocity field, as defined in (2.12). Since we are assuming in (2.11h) that our solutions to (2.11) are symmetric, it suffices to work in the positive half of the domain \({\mathcal {R}}\). We denote
The monotonicity property in terms of v is
This next result shows that (4.2) along with its analogue on the negative half of the domain implies (4.1); see Fig. 2.
Lemma 4.1
Suppose \((\eta ,\zeta ,\alpha )\) solves (2.11) and v is defined by (2.12). If (4.2) holds, then \(\eta _x<0\) in \(\Gamma ^+\cup {\mathcal {R}}^+\).
Proof
By the kinematic boundary condition (2.13c), the vector fields (u, v) and \((\eta _y,\eta _x)=(\xi ,\eta )_x\) are nonvanishing and parallel when restricted to \(\Gamma \). Moreover, the asymptotic conditions (2.11j) and (2.13f) show that \(u,n_y\rightarrow 1\) as \(x\rightarrow \infty \), ensuring that v and \(\eta _x\) have the same sign. Since (4.2) implies that \(\eta _x<0\) on \(\Gamma ^+\), the result now follows from applying the strong maximum principle to the harmonic function \(\eta _x\), which vanishes on the remaining components of the boundary of \({\mathcal {R}}^+\).
\(\square \)
The main results in this section are the following two propositions:
Proposition 4.2
(Closed condition) Suppose that \((\eta ,\zeta ,\alpha )\) solves (2.11) and define v by (2.12). If we have \(v\le 0\) on \(\Gamma ^+\), then the strict inequality (4.2) holds, or else \(v\equiv 0\).
Proposition 4.3
(Open condition) Fix a solution \((\eta ^*,\zeta ^*,\alpha ^*)\) to (2.11) with \(v^*\) from (2.12) satisfying (4.2) and \(\alpha <1\gamma \). Then there exists an \(\varepsilon >0\) such that for all solutions \((\eta ,\zeta ,\alpha )\) to (2.11) with \(\Vert \eta ^*\eta \Vert _{C^3({\mathcal {R}})}+\Vert \zeta ^*\zeta \Vert _{C^3({\mathcal {R}})}+\alpha ^*\alpha <\varepsilon ,\) the corresponding vertical velocity v also satisfies (4.2).
4.1 Closed Condition
We begin by showing that the vertical velocity component v as defined in (2.12) satisfies an elliptic PDE. This will not only enable us to prove the closed condition very easily but, as we will see later on, it will also greatly help organize the arguments for the open condition.
Lemma 4.4
Suppose \((\eta ,\zeta ,\alpha )\) solve (2.11) and (u, v) are defined by (2.12). Then v solves the following problem
Proof
Since we know that \((u,v,\eta )\) solve (2.13), it remains to check (4.3b), the boundary condition on \(\Gamma \). We begin by differentiating the dynamic boundary condition (2.13d) with respect to x and multiplying it by \(u/2\) to get
From (2.13a), we know that \(u_x=\eta _x\gamma v_y\). Inserting this into (4.4) and reorganizing yields
Finally, solving the kinematic condition (2.13c) for \(u\eta _x\) and substituting it in (4.5) yields (4.3b). \(\square \)
Proof of Proposition 4.2
Assume that \(v\not \equiv 0\). By (2.13e) and (2.13f), v vanishes along B and as \(x \rightarrow \infty \), while the definition (2.12) together with the evenness of \(\eta \) and \(\zeta \) implies that \(v=0\) on L. Since \(v \le 0\) on \(\Gamma ^+\) by assumption, the strong maximum principle therefore implies \(v < 0\) in \({\mathcal {R}}^+\). We claim that \(v < 0\) on \(\Gamma ^+\). Suppose for the sake of contradiction that v achieves its maximum of 0 at some point \((x_0,1) \in \Gamma ^+\). Then at this point (4.3b) simplifies to \(u^2v_y=0\). The dynamic boundary condition (2.13d) and (2.11k) imply that \(u \ne 0\) at \((x_0,1)\), and so we must have \(v_y=0\). But this contradicts the Hopf boundary point lemma. \(\square \)
4.2 Open Condition
As described above, in order to prove the open condition we need to carefully study the behavior of v as \(x\rightarrow \infty \). To this end, for \(M>0\) we split \({\mathcal {R}}^+\) into a bounded rectangle of length 2M and an overlapping semiinfinite strip
with the corresponding analogues for the boundary components
We will first consider the two domains independently and then glue them back together for the proof of Proposition 4.3. We begin with the bounded rectangle.
Lemma 4.5
Fix a solution \((\eta ^*,\zeta ^*,\alpha ^*)\) to (2.11) with associated velocity field \((u^*,v^*)\) from (2.12), and suppose that \(v^*\) satisfies (4.2) and \(\alpha ^*<1\gamma \). For any \(M>0\), there exists an \(\varepsilon _M>0\) such that for all solutions \((\eta ,\zeta ,\alpha )\) to (2.11) with \(\Vert \eta \eta ^*\Vert _{C^3({\mathcal {R}})}+\Vert \zeta \zeta ^*\Vert _{C^3({\mathcal {R}})}+\alpha \alpha ^*<\varepsilon _M,\) the corresponding vertical velocity v satisfies
Proof
Let \(\eta ^*,\zeta ^*,\alpha ^*, u^*\) and \(v^*\) be as in the statement of the lemma. We begin by considering the inequalities
and claim that these are simply a consequence of (4.2) and (2.11). Indeed, let us first prove that (4.7a) and (4.7b) hold. To this end, we differentiate (4.3b) with respect to x. Evaluating it at the wave crest (0, 1), we get
after some cancellations. Moreover, since \(v^*\) is harmonic and odd in x, at (0, 1) we must have \(v^*=v_{xx}^*=v_{yy}^*=v_y^*=0\). By (4.8), having \(v_x^*=0\) at this point would additionally imply \(v_{xy}^*=0\), contradicting Serrin’s edge point lemma; see [47, Lemma 1]. Moreover, since \(v^*=0\) along \(L^+\), the Hopf boundary point lemma ensures that \(v_x^*<0\) on \(L^+\). Similarly, since \(v^*\) vanishes along \(B^+\), the Hopf lemma gives \(v_y^*<0\) on \(B^+\cap \{0< x\le 2M\}\).
It remains to prove (4.7c) at the corner point (0, 0). Exactly as above we find that \(v^*=v_{xx}^*=v_y^*=v_{yy}^*=0\) at this point. Moreover, (4.7b) implies that \(v_{xy}^*\le 0\) there. However, since \(v_x^*=0\) along B, \(v_{xy}^*=0\) at (0, 0) would contradict Serrin’s lemma and hence we must have \(v_{xy}^*<0\) at (0, 0).
By arguing as in [15], it can be shown that (4.6) combined with (4.7) defines an open set in \(C^2({\mathcal {R}}^+\cap \{0\le x\le 2M\})\). Thus, v also satisfies (4.6) and (4.7) when \(\varepsilon _M\) is sufficiently small. \(\square \)
We now turn to the semiinfinite strip \({\mathcal {R}}_M^+\). In particular, we have the following result which will allow us to show that (4.2) holds in a neighborhood of infinity:
Lemma 4.6
Fix \(\alpha _0\in (0,1\gamma )\). Then there exists a \(\delta =\delta (\alpha _0)>0\) such that the following holds. Let \((\eta ,\zeta ,\alpha )\) solve (2.11) with \(0<\alpha \le \alpha _0\), and define v by (2.12) and w by (2.11i). If, for some \(M>0\), \(\Vert w\Vert _{C^1({\mathcal {R}}_M^+)}<\delta \) and \(v\le 0\) on \(L_M^+\), then \(v<0\) in \({\mathcal {R}}_M^+\cup \Gamma _M^+\), or else \(v\equiv 0\).
Proof
We choose \(\varepsilon ,\delta >0\) sufficiently small so that
This can be done since as \(\varepsilon ,\delta \rightarrow 0\) we have \(u\rightarrow 1\) and \(b\rightarrow 1\gamma \alpha \), uniformly on \(\Gamma _M^+\). Consider now the auxiliary function
Clearly f and v must have the same sign, and f vanishes at infinity by (2.13f). An easy calculation using (4.3) shows that f satisfies the elliptic problem
where, by (4.9), the coefficients in front of f and \(f_y\) in (4.10b) are strictly positive. Suppose for the sake of contradiction that \(f \not \equiv 0\) achieves its nonnegative supremum over \({\mathcal {R}}_M^+\) at some point \((x_0,y_0) \in {\mathcal {R}}_M^+ \cup \Gamma _M^+\). By the strong maximum principle, we must have \((x_0,y_0) \in \Gamma _M^+\), and so the Hopf lemma implies \(f_y > 0\) there. Since by assumption \(f \ge 0\) at this point, the left hand side of (4.10b) is then strictly positive, which is a contradiction. \(\square \)
We are now ready to glue the domains back together and prove Proposition 4.3.
Proof of Proposition 4.3
Fix \(\eta ^*,\zeta ^*\) and \(\alpha ^*\) as in the statement and recall that the corresponding \(w^*\) is defined in (2.11i). Moreover, fix \(\alpha _0\in (\alpha ^*,1\gamma )\) and choose \(M>0\) such that \(\Vert w^*\Vert _{C^1({\mathcal {R}}_M^+)}<\tfrac{1}{2}\delta \), where \(\delta =\delta (\alpha _0)>0\) is as in Lemma 4.6. Finally, pick \(\varepsilon _M>0\) such that Lemma 4.5 holds for \(w=w^*\). Choosing \(\varepsilon :=\min (\varepsilon _M,\tfrac{1}{2}\delta ,\alpha _0\alpha ^*)\) ensures, by Lemma 4.5, that (4.6) holds. In particular, \(v\le 0\) on \(L_M^+\). Since \(\Vert w\Vert _{C^1({\mathcal {R}}_M^+)}<\delta \), Lemma 4.6 yields \(v<0\) in \({\mathcal {R}}_M^+\cup \Gamma _M^+\). Combining with (4.6) gives the result. \(\square \)
5 Functional Analytic Formulation and Linearized Operators
We now express (2.11) as a nonlinear operator equation in a suitable Banach space and analyze the associated linearized operators. For convenience, we will work with problem (2.11) expressed in terms of \(w=(w_1,w_2)\), as defined in (2.11i). This will put us in the proper setting to prove the existence results in Sect. 7.
5.1 Functional Analytic Formulation
We will work in the Banach spaces
as well as in the larger spaces \({\mathcal {X}}_{\textrm{b}}\) and \({\mathcal {Y}}_{\textrm{b}}\) whose elements do not necessarily vanish at infinity, that is, the intersections with \(C_0^1\) and \(C_0^2\) are removed. Moreover, we define the open subset
where
is the assumption (2.11k) expressed in terms of w. We will see that \(\lambda (w,\alpha )\) is closely related to the minor, or Lopatinskii, constant for the linearized problem, as referred to in [1]. In particular, (5.2) is a sufficient condition for being able to apply linear Schauder estimates to the linearized problem.
We can now interpret (2.11) as the nonlinear operator equation
where \({\mathscr {F}}:=({\mathscr {F}}_1,{\mathscr {F}}_2):{\mathcal {X}}\times {\mathbb {R}}\rightarrow {\mathcal {Y}}\) is given by
Linearizing this operator, we get that
where \(\partial _1=\partial _x\) and \(\partial _2=\partial _y\), and where the coefficients are given by
Note that (5.4) is the type of operator considered in Appendix A. Linearizing about the trivial solution \(w\equiv 0\) we obtain
Remark 5.1
Thanks to (2.11j), the limiting operator of \({\mathscr {F}}_w(w,\alpha )\), obtained by sending \(x\rightarrow \pm \infty \) in the coefficients, is none other than \({\mathscr {F}}_w(0,\alpha )\).
5.2 Local Properness and Invertibility Properties
In this subsection, we closely study the linearized operator \({\mathscr {F}}_w(0,\alpha ):{\mathcal {X}}\rightarrow {\mathcal {Y}}\) given in (5.6) when \(\alpha <\alpha _{\textrm{cr}}\) is supercritical. In particular, we will show that in this regime, \({\mathscr {F}}_w(0,\alpha )\) is injective \({\mathcal {X}}_{\textrm{b}}\rightarrow {\mathcal {Y}}_{\textrm{b}}\). Using standard translation arguments and Schauder estimates, we then get that \({\mathscr {F}}_w(0,\alpha )\) is locally proper. That is, the preimage under \({\mathscr {F}}_w(0,\alpha )\) of any compact set intersected with a closed and bounded set in the domain is compact. This is equivalent to \({\mathscr {F}}_w(0,\alpha )\) being semiFredholm with finite dimensional kernel and closed range. From this we show that \({\mathscr {F}}_w(0,\alpha )\) is Fredholm with index 0 and that the full linearized operator \({\mathscr {F}}_w(w,\alpha )\) is locally proper \({\mathcal {X}}\rightarrow {\mathcal {Y}}\).
Remark 5.2
A general reference on elliptic problems and Fredholmness in unbounded domains is [55]; see also [20, 58].
Before we begin, we must show that we can apply Schauder estimates to the linearized operator \({\mathscr {F}}_w(w,\alpha )\).
Lemma 5.3
For \((w,\alpha )\in {\mathcal {U}}\), the linearized operator \({\mathscr {F}}_w(w,\alpha ):{\mathcal {X}}_{\textrm{b}}\rightarrow {\mathcal {Y}}_{\textrm{b}}\) in (5.4) enjoys the Schauder estimate
where the constant C depends on \(\Vert w\Vert _{\mathcal {X}}\), on \(\alpha \) and on the minor constant \(\lambda (w,\alpha )\).
Proof
The proof follows directly from Lemma A.1 from the Appendix provided we can show the uniform bound
Using the coefficients in (5.5), we calculate the lefthand side of (5.7) and find it to be \(\inf _\Gamma 4(12\alpha w_1)^2\big (w_{1x}^2+(1+w_{1y})^2\big )\). This is bounded below by \(\lambda (w,\alpha )\) as defined in (5.2), thus concluding the proof. \(\square \)
The next lemma yields the sense in which \(\alpha _{\textrm{cr}}\) as defined in (2.10) is the critical wave speed parameter. Specifically, we will see that at the value \(\alpha =\alpha _{\textrm{cr}}\) the linear operator \({\mathscr {F}}_w(0,\alpha )\) is singular in the sense that it has a onedimensional kernel. Due to our unbounded domain, this result combined with a translation argument shows that \({\mathscr {F}}_w(w,\alpha _{\textrm{cr}})\) is a nonFredholm map from \({\mathcal {X}}\rightarrow {\mathcal {Y}}\) (see [55] for more details). By contrast, in the periodic setting, Schauder estimates would be sufficient for proving that the linearized operator is semiFredholm.
Lemma 5.4
The linear operator \({\mathscr {F}}_w(0,\alpha ):{\mathcal {X}}_{\textrm{b}}\rightarrow {\mathcal {Y}}_{\textrm{b}}\) given in (5.6) has a trivial kernel if and only if \(\alpha <\alpha _{\textrm{cr}}\).
Proof
Using separation of variables, it is enough to rule out solutions \(({\dot{w}}_1,{\dot{w}}_2)\in {\mathcal {X}}_{\textrm{b}}\) of the form
for some real wave number k and constants \(c_1\) and \(c_2\). Plugging (5.8) into the boundary conditions in (5.6), some algebra shows that we have nontrivial solutions if and only if the dispersion relation
holds. Since \(k\coth (k)\) attains its minimum value of 1 at \(k=0\), (5.9) has no real solutions if \(\alpha +\gamma <1\). \(\square \)
In other words, Lemma 5.4 implies that \({\mathscr {F}}_w(0,\alpha )\) is an injective mapping from \({\mathcal {X}}_{\textrm{b}}\) to \({\mathcal {Y}}_{\textrm{b}}\) for \(\alpha <\alpha _{\textrm{cr}}\). We now turn to the question of local properness and invertibility, made more subtle by the unboundedness of the domain.
Lemma 5.5
For \((w,\alpha )\in {\mathcal {U}}\), the linearized operator \({\mathscr {F}}_w(w,\alpha )\) is locally proper both \({\mathcal {X}}_{\textrm{b}}\rightarrow {\mathcal {Y}}_{\textrm{b}}\) and \({\mathcal {X}}\rightarrow {\mathcal {Y}}.\)
Proof
By using a translation argument and Schauder estimates, one can show that \({\mathscr {F}}_w(w,\alpha )\) is locally proper \({\mathcal {X}}_{\textrm{b}}\rightarrow {\mathcal {Y}}_{\textrm{b}}\) if and only if the limiting operator \({\mathscr {F}}_w(0,\alpha ):{\mathcal {X}}_{\textrm{b}}\rightarrow {\mathcal {Y}}_{\textrm{b}}\) (see Remark 5.1) has a trivial kernel [55]. Therefore, by Lemma 5.4 the linearized operator \({\mathscr {F}}_w(w,\alpha )\) is locally proper \({\mathcal {X}}_{\textrm{b}}\rightarrow {\mathcal {Y}}_{\textrm{b}}\).
It remains to show that \({\mathscr {F}}_w(w,\alpha )\) is also locally proper \({\mathcal {X}}\rightarrow {\mathcal {Y}}\). Let \({\dot{w}}_n\in {\mathcal {X}}\) be a bounded sequence such that \({\mathscr {F}}_w(w,\alpha ){\dot{w}}_n\) is a convergent sequence in \({\mathcal {Y}}\). Since \({\mathscr {F}}_w(w,\alpha ):{\mathcal {X}}_{\textrm{b}}\rightarrow {\mathcal {Y}}_{\textrm{b}}\) is locally proper, we can extract a subsequence so that \({\dot{w}}_n\rightarrow {\dot{w}}\in {\mathcal {X}}_{\textrm{b}}\). Since \({\mathcal {X}}\) is a closed subspace, we must have \({\dot{w}}\in {\mathcal {X}}\), thus concluding the proof. \(\square \)
Finally, we show that for the linearized operator at the trivial solution \({\mathscr {F}}_w(0,\alpha )\) we get a stronger result, namely invertibility.
Lemma 5.6
For \((w,\alpha )\in {\mathcal {U}}\), the linear operator \({\mathscr {F}}_w(0,\alpha )\) is invertible both \({\mathcal {X}}_{\textrm{b}}\rightarrow {\mathcal {Y}}_{\textrm{b}}\) and \({\mathcal {X}}\rightarrow {\mathcal {Y}}\).
Proof
From Lemmas 5.4 and 5.5 we know that \({\mathscr {F}}_w(0,\alpha )\) has a trivial kernel and is locally proper both \({\mathcal {X}}_{\textrm{b}}\rightarrow {\mathcal {Y}}_{\textrm{b}}\) and \({\mathcal {X}}\rightarrow {\mathcal {Y}}\). In order to prove invertibility \({\mathcal {X}}_{\textrm{b}}\rightarrow {\mathcal {Y}}_{\textrm{b}}\) it therefore suffices to check that the operator is Fredholm index 0. To this end, we introduce the linear operator \({\mathscr {L}}(t):{\mathcal {X}}_{\textrm{b}}\rightarrow {\mathcal {Y}}_{\textrm{b}}\), defined by
A variant of the argument in the proof of Lemma 5.4 shows that \({\mathscr {L}}(t)\) is injective from \({\mathcal {X}}_{\textrm{b}}\) to \({\mathcal {Y}}_{\textrm{b}}\), provided that \(\alpha \in (0,\alpha _{\textrm{cr}})\). Indeed, the dispersion relation (5.9) becomes
which implies that the kernel is trivial if we have \(t(\gamma +\alpha )<1\). Arguing as in Lemma 5.5 we therefore get that \({\mathscr {L}}(t):{\mathcal {X}}_{\textrm{b}}\rightarrow {\mathcal {Y}}_{\textrm{b}}\) is locally proper and hence semiFredholm with trivial kernel for all \(t\in [0,1]\). Specifically, this implies that the Fredholm index of \({\mathscr {L}}(t)\) is constant for all \(t\in [0,1]\). However, we know that \({\mathscr {L}}(0)\) is invertible (follows for instance from [20, Theorem A.8]) and therefore has Fredholm index 0. By continuity of the index, this implies that \({\mathscr {L}}(1)={\mathscr {F}}_w(0,\alpha )\) must also have Fredholm index 0 and therefore, \({\mathscr {F}}_w(0,\alpha ):{\mathcal {X}}_{\textrm{b}}\rightarrow {\mathcal {Y}}_{\textrm{b}}\) is invertible.
Finally, we show that \({\mathscr {F}}_w(0,\alpha )\) is also invertible \({\mathcal {X}}\rightarrow {\mathcal {Y}}\). Since \({\mathcal {X}}\subset {\mathcal {X}}_{\textrm{b}}\), clearly \({\mathscr {F}}_w(0,\alpha ):{\mathcal {X}}\rightarrow {\mathcal {Y}}\) is injective. In order to show surjectivity, let \({\dot{f}}\in {\mathcal {Y}}\). Since \({\mathscr {F}}_w(0,\alpha ):{\mathcal {X}}_{\textrm{b}}\rightarrow {\mathcal {Y}}_{\textrm{b}}\) is invertible, there exists \({\dot{w}}\in {\mathcal {X}}_{\textrm{b}}\) with \({\mathscr {F}}_w(0,\alpha ){\dot{w}}={\dot{f}}\). Using a translation argument as in [60, Lemma A.10], we get that \({\dot{w}}\in {\mathcal {X}}\). \(\square \)
6 Uniform Regularity
This section is devoted to the proof of the following proposition, which states that the \(C^{3+\beta }\) norms of \(\eta \) and \(\zeta \) can be controlled in terms of the constant \(\delta >0\) in the inequalities
Note that the left hand side of (2.11k), and hence the Lopatinskii constant \(\lambda \) in (5.2), can be controlled solely in terms of \(\delta \).
Proposition 6.1
Suppose that \((\eta ,\zeta ,\alpha )\) solves (2.11) with \(0\le \alpha \le \alpha _{\textrm{cr}}\) and that (6.1) holds for some \(\delta >0\). Then there exists a positive constant \(C=C(\delta )\) such that \(\Vert \eta \Vert _{C^{3+\beta }({\mathcal {R}})}<C\) and \(\Vert \zeta \Vert _{C^{3+\beta }({\mathcal {R}})}<C\).
In order to prove this proposition, we split (2.11) into the following two coupled scalar problems to which we will apply the classical results from [40]. It will be more convenient to do so whilst working with \(\psi \), the stream function in conformal variables, rather than with \(\zeta \). Recall that
Specifically, we consider (2.11b)–(2.11c) together with (2.11f) as a problem for \(\psi \) with fixed \(\eta \),
and (2.11a) combined with (2.11d)–(2.11e) as a problem for \(\eta \) with fixed \(\psi \),
We use these two problems to perform a bootstrap argument for which the key ingredient is applying [40, Theorems 1 and 3] to the scalar problem (6.4). To this end, we reformulate the boundary condition (6.4b) as
where
Notice that when restricted to the set
G is smooth and satisfies the inequality
The proof of Proposition 6.1 consists of the combination of the following three lemmas:
Lemma 6.2
For any \(\delta >0\), there exist constants \(C>0\) and \(\sigma >0\) such that a solution \((\eta ,\zeta ,\alpha )\) to (2.11) satisfying (6.1) and \(0\le \alpha \le \alpha _{\textrm{cr}}\) also satisfies \(\Vert \eta \Vert _{C^{1+\sigma }({\mathcal {R}})}<C\).
Proof
Applying [29, Theorem 8.33] to (6.3) yields, for instance \(\Vert \psi \Vert _{C^{1+1/2}({\mathcal {R}})}<C\). Applying [40, Theorem 1] to (6.4) (see comment after [40, Theorem 2]), along with [29, Theorem 8.29] for the bottom boundary, concludes the proof. \(\square \)
Lemma 6.3
For any \(\delta >0\), \(\varepsilon >0\) and \(K>0\) there exist constants \(C>0\) and \(\sigma >0\) such that any solution \((\eta ,\zeta ,\alpha )\) to (2.11) satisfying \(0\le \alpha \le \alpha _{\textrm{cr}}\), (6.1) and \(\Vert \eta \Vert _{C^{1+\varepsilon }({\mathcal {R}})}<K\), also satisfies \(\Vert \eta \Vert _{C^{2+\sigma }({\mathcal {R}})}<C\).
Proof
In what follows, C and \(\sigma \) will denote positive constants which depend on K, \(\delta \) and \(\varepsilon \) but can vary from line to line. Let us now consider (6.3). Notice that the \(C^{\varepsilon }\) norm of the right hand side of (6.3a) is controlled by C. Applying basic Schauder estimates then yields \(\Vert \psi \Vert _{C^{2+\varepsilon }({\mathcal {R}})}<C\). Returning to (6.4), we therefore obtain that the \(C^{1+\varepsilon }\) norm of the right hand side of (6.4b) is controlled by C. In order to show that this implies \(\Vert \eta \Vert _{C^{2+\sigma }({\mathcal {R}})}<C\), we wish to apply [40, Theorem 3]. While this theorem is stated for problems where (6.5) holds globally, this restriction can be overcome, for instance by constructing the extension \({\overline{G}}\) of G in [40, Lemma 2] using mollifications in x alone. Hence, [40, Theorem 3], combined with [29, Theorem 8.29] for the bottom boundary, yields \(\Vert \eta \Vert _{C^{2+\sigma }({\mathcal {R}})}<C\). \(\square \)
The last step is more routine and relies only on linear Schauder estimates.
Lemma 6.4
For any \(\delta >0\), \(\varepsilon \in (0,\beta ]\) and \(K>0\) there exists a constant \(C>0\) depending only on \(K,\varepsilon \) and \(\delta \) such that a solution \((\eta ,\zeta ,\alpha )\) to (2.11), satisfying \(0\le \alpha \le \alpha _{\textrm{cr}}\), (6.1) and \(\Vert \eta \Vert _{C^{2+\varepsilon }({\mathcal {R}})}<K\) also satisfies \(\Vert \eta \Vert _{C^{3+\beta }({\mathcal {R}})}<C\) and \(\Vert \zeta \Vert _{C^{3+\beta }({\mathcal {R}})}<C\).
Proof
Once again, we let C denote a positive constant which depends on K, \(\varepsilon \) and \(\delta \) but can vary from line to line. Since \(\Vert \eta \Vert _{C^{2+\varepsilon }({\mathcal {R}})}<K\) by assumption, we get \(\Vert \psi \Vert _{C^{3+\varepsilon }({\mathcal {R}})}<C\) by considering the elliptic problem (6.3). From (6.2) we therefore immediately get \(\Vert \zeta \Vert _{C^{2+\varepsilon }({\mathcal {R}})}<C\). In particular, \(\Vert w\Vert _{C^{2+\varepsilon }({\mathcal {R}})}<C\) for \(w=(w_1,w_2)\) defined as in (2.11i).
We now differentiate \({\mathscr {F}}(w,\alpha )=0\) (see (5.3)) with respect to x and see that \(\phi :=w_x\) is a pair of \(C^{2+\varepsilon }\) harmonic functions solving \({\mathscr {F}}_w(w,\alpha )\phi =0\) and \(\phi =0\) on B. As in Lemma 5.3, the Schauder estimates from Lemma A.1 in Appendix A now yield \(\Vert w_{x}\Vert _{C^{2+\varepsilon }({\mathcal {R}})}<C\), where here we have used that the Lopatinskii constant \(\lambda \) in (5.2) is controlled by \(\delta \).
Finally, solving \(\Delta w=0\) for \(\partial _{yy}w\) we get \(\Vert w\Vert _{C^{3+\varepsilon }({\mathcal {R}})}<C\). In particular, \(\Vert w\Vert _{C^{2+\beta }({\mathcal {R}})}<C\) . We can therefore repeat the above arguments with \(\varepsilon =\beta \). The definitions of \(w_1\) and \(w_2\) in (2.11i) then yield \(\Vert \eta \Vert _{C^{3+\beta }({\mathcal {R}})}<C\) and \(\Vert \zeta \Vert _{C^{3+\beta }({\mathcal {R}})}<C\), as desired. \(\square \)
Proposition 6.1 follows easily from combining Lemmas 6.2, 6.3 and 6.4.
Finally, we conclude this section by proving the following result which will be useful in Sect. 7 to winnow out alternatives.
Proposition 6.5
Assume that \(\psi \) as defined in (6.2) solves (6.3) and that \((\eta ,\zeta ,\alpha )\) solve (2.11) with \(0\le \alpha \le \alpha _{\textrm{cr}}\). Then we have the following bounds:

(i)
if \(\gamma \le 0\) then \(\psi _y<1\tfrac{1}{2}\gamma \) on \(\Gamma \),

(ii)
if \(\gamma \ge 0\) then \(\psi _y>\min \big \{2\gamma ,\gamma \inf _{{\mathcal {R}}}\nabla \eta ^2 \big \}\) on \(\Gamma \).
Proof
We will treat the two cases separately. Let us begin by assuming \(\gamma \le 0\) and defining
It is easy to see that \({\tilde{\psi }}\) solves
Since \(\gamma \le 0\), by the strong minimum principle \(\psi \) must attain its minimum on the boundary. In particular, applying the Hopf boundary point lemma at any point on the boundary, we get
which is exactly (i).
We now turn to the case \(\gamma \ge 0\). Let us denote
where
Notice that since the assumption \(0\le \alpha \le \alpha _{\textrm{cr}}\) implies that \(0<1\gamma \), the constant M is always positive. Moreover, \({\bar{\psi }}\) solves
Using the assumption \(\gamma \ge 0\) and the definition of M, the strong maximum principle yields that \({\bar{\psi }}\) is maximized at any point on the boundary. At any such point, the Hopf boundary point lemma tells us that
proving (ii). \(\square \)
7 Existence Results
In this section, we prove the existence of largeamplitude solitary wave solutions to (2.11). We begin by constructing a curve of smallamplitude solutions \({\mathscr {C}}_\text {loc}\) using center manifold theory. We then extend this local curve to a global curve \({\mathscr {C}}\) using an argument based on realanalytic global bifurcation theory.
7.1 SmallAmplitude Theory
This subsection is devoted to the construction of smallamplitude waves. For solitary waves the linearized operator at the bifurcation point, \({\mathscr {F}}_w(0,\alpha _{\textrm{cr}})\), is not Fredholm. Therefore, the Crandall–Rabinowitz local bifurcation theorem used in [14, 57] for periodic waves cannot be applied. Instead, we use a center manifold approach. Customarily, the idea is to treat the spatial x variable as a variable of time, thus reformulating the problem into an evolution equation. One then constructs a twodimensional center manifold controlled by a twodimensional reduced equation. The homoclinic orbits of this equation are our desired smallamplitude solutions. This is the strategy employed in [19, 30, 58]. The major disadvantage of this approach is that, due to the nonlinear boundary conditions, many tedious changes of variables need to be performed to obtain the reduced equation. This would be particularly unpleasant given our elliptic system setting. Recently however, a new center manifold reduction theorem was derived in [21], which we will use instead. On the one hand, this provides us with a comparatively simple method for obtaining the reduced ODE. On the other, it also allows us to choose a suitable projection (or, linear relationship between our original w and the variable governed by the reduced equation) so that this ODE relates transparently to the original problem.
To begin with, since we want a reduced ODE with a Froude number very close to the critical Froude number, we set
where \(\varepsilon >0\) is small and \(\alpha _{\textrm{cr}}\) is defined in (2.10). The main result of this subsection is
Theorem 7.1
There exists a continuous oneparameter curve
of nontrivial symmetric solutions to \({\mathscr {F}}(w,\alpha ^\varepsilon )=0\) with the asymptotic expansion
in \(C_{\textrm{b}}^{3+\beta }\). Moreover, the following properties hold:

(i)
(Monotonicity) the solutions on \({\mathscr {C}}_loc \) satisfy the nodal property (4.1);

(ii)
(Uniqueness) if \(w\in {\mathcal {X}}\) and \(\varepsilon >0\) are sufficiently small and if w satisfies (4.1), then \({\mathscr {F}}(w,\alpha ^\varepsilon )=0\) implies \(w=w^\varepsilon \);

(iii)
(Invertibility) for all \(0<\varepsilon \ll 1\), the linearized operator \({\mathscr {F}}_w(w^\varepsilon ,\alpha ^\varepsilon )\) is invertible.
We will prove Theorem 7.1 using the center manifold reduction results in [21]. To state these results, we need weighted versions of the spaces \({\mathcal {X}},{\mathcal {Y}}\) defined in Sect. 5.1 allowing for exponential growth, namely
where here the weighted Hölder spaces \(C^{k+\beta }_\mu \) were defined in Sect. 1.5. For any \(\mu > 0\), the linearized operator
given explicitly in (5.6), extends to a bounded operator \({\mathcal {X}}_\mu \rightarrow {\mathcal {Y}}_\mu \). For \(\mu > 0\) sufficiently small, by separating variables we find that the kernel of this operator is twodimensional, given by
where
Theorem 7.2
Fix a constant \(\mu >0\) sufficiently small. Then there exist neighborhoods \({{\textbf {U}}}\in {\mathcal {X}}\times {\mathbb {R}}\) and \({{\textbf {V}}}\subset {\mathbb {R}}^3\) of the origin and a coordinate map \(\Upsilon =(\Upsilon ^1(A,B,\alpha ),\Upsilon ^2(A,B,\alpha ))\) satisfying
such that the following hold:

(i)
Suppose that \((w,\alpha )\in {{\textbf {U}}}\) solves (5.2). Then \(q(x):=w_1(x,1)\) solves the secondorder ODE
$$\begin{aligned} q''=f(q,q',\alpha ) \end{aligned}$$(7.1)where \(f:{\mathbb {R}}^3\rightarrow {\mathbb {R}}\) is the \(C^3\) mapping
$$\begin{aligned} f(A,B,\alpha ):=\frac{d^2}{dx^2}\bigg _{x=0}\Upsilon (A,B,\alpha )(x,1) \end{aligned}$$(7.2)and has the Taylor expansion
$$\begin{aligned} f(A,B,\alpha ) = 3\varepsilon A\tfrac{3}{2}(\gamma ^23\gamma +3)A^2 + O((A+B)(A+B+\varepsilon )^3). \end{aligned}$$(7.3) 
(ii)
Conversely, if \(q:{\mathbb {R}}\rightarrow {\mathbb {R}}\) satisfies the ODE (7.1) and \((q(x),q'(x),\alpha )\in {{\textbf {V}}}\) for all x, then \(q=w_1(\cdot ,1)\) for a solution \((w,\alpha )\in {{\textbf {U}}}\) of the problem (5.2). Moreover,
$$\begin{aligned} w_i(x+\tau ,y)=q(x)\varphi _i(y)+q'(x)\tau \varphi _i(y)+\Upsilon ^i(q(x),q'(x),\alpha )(\tau ,y), \end{aligned}$$for all \(\tau \in {\mathbb {R}}\).
Proof
We will apply Theorem 1.1 in [21]. This result mostly concerns scalar problems and does not immediately apply to systems of the type (2.11). However, when expressed in terms of the new dependent variables
the linearized version of (2.11) is of the required transmission type for which the theorem has been extended to in [21, Section 3.3].
It remains only to calculate the expansion (7.3). To this end, we expand \(\Upsilon \) as
in \({\mathcal {X}}_\mu \), where the functions \(\Upsilon _{ijk}\) satisfy the normalization \(\Upsilon _{ijk}(0,0)=\partial _x\Upsilon _{ijk}(0,0)=0\). By [21, Theorem 1.6], we can calculate the \(\Upsilon _{ijk}\) by inserting the corresponding Taylor expansion for w,
into (5.2). The first boundary condition \({\mathscr {F}}_1(w,\alpha )=0\) becomes
on \(\Gamma \), while the second boundary condition \({\mathscr {F}}_1(w,\alpha )=0\) becomes
on \(\Gamma \). Grouping like terms yields the two linear equations
A direct calculation shows that, for any \(s_1,s_2 \in {\mathbb {R}}\), the problem
is solved by
By the arguments in [21], this solution is unique. By choosing \(s_1,s_2\) appropriately we therefore obtain explicit expressions for \(\Upsilon _{200},\Upsilon _{101}\), and calculate that
Inserting into the definition (7.2) of \(f(A,B,\varepsilon )\) yields the desired expansion (7.3).
\(\square \)
We are now ready to prove Theorem 7.1.
Proof of Theorem 7.1
By Theorem 7.2, it suffices to work with the reduced ODE (7.1). Introducing the scaled variables
the expansion (7.3) yields
When \(\varepsilon =0\), we have an explicit homoclinic orbit
joining the point (0, 0) to itself, and which intersects the Qaxis at the point \((Q_0,0)\), see Fig. 3. Here
In particular, the unstable and stable manifolds meet at \((Q_0,0)\). By the stable manifold theorem, the unstable manifold depends uniformly smoothly on \(\varepsilon \). Combining this with the fact that the reversibility symmetry of (7.4) is independent of \(\varepsilon \) yields that for sufficiently small \(\varepsilon \) the unstable manifold intersects the Qaxis transversally at a point close to \((Q_0,0)\) (see for example, Proposition 5.1 in [35]). We therefore conclude that, for \(0<\varepsilon \ll 1\), there exists a homoclinic orbit to the origin which is symmetric in the sense that Q is even in X. This proves the existence of a oneparameter family of solutions \((w^\varepsilon ,\alpha ^\varepsilon )\).
The same argument shows that the trajectory connecting (0, 0) to \((Q_0,0)\) also remains in the quadrant \(\{Q>0,P>0\}\). We therefore get that \((w^\varepsilon ,\alpha ^\varepsilon )\) satisfies the monotonicity property
From the strong maximum principle, we immediately get
Arguing similarly for \(x>0\) we get
Since \(w_{1x}=\eta _x\) in \(\overline{{\mathcal {R}}}\), we get that the nodal property (4.1) holds. This concludes the proof of (i).
We now show the uniqueness property (ii). Let us assume that we have a solution \((w,\alpha ^\varepsilon )\) to the problem \({\mathscr {F}}_w(w,\alpha ^\varepsilon )=0\). By the properties of the center manifold, w is determined by a homoclinic orbit of the reduced ODE. In particular, for this solution to be a wave of elevation satisfying the nodal property (4.1), the homoclinic orbit needs to lie in the right halfplane \(\{Q>0\}\). We must therefore necessarily have \(w=w^\varepsilon \), up to translation. Indeed, any solution w which is not a translation of \(w^\varepsilon \) must lie in the left halfplane \(\{Q<0\}\) for large x, and can therefore not be a wave of elevation.
In order to show the invertibility condition (iii), we use [21, Theorem 1.9] which tells us that \({\dot{w}}\in {\text {ker}}{\mathscr {F}}_w(w,\alpha ^\varepsilon )\) only if \({\dot{q}}={\dot{w}}(\cdot ,0)\) solves the linearized reduced ODE
The corresponding rescaled quantities \(({\dot{Q}},{\dot{P}})\) therefore solve the planar system
with
As \(X\rightarrow \pm \infty \), the eigenvalues of \({\mathcal {M}}\) approach \(\pm \sqrt{3} + o(\varepsilon )\). Since this means that the eigenvalues are not purely imaginary, the dynamical system (7.5) only admits two linearly independent solutions: \(q_1=w_x^\varepsilon \), which we can rule out since it is not even, and \(q_2\) which grows exponentially and is thus also not an admissible solution. Therefore, the only uniformly bounded solution to the reduced linearized problem is the trivial solution. Theorem 1.9 in [21] therefore enables us to conclude that the kernel of \({\mathscr {F}}_w(w^\varepsilon ,\alpha ^\varepsilon )\) must be trivial. Moreover, by Lemma 7.3 below, the linearized operator \({\mathscr {F}}_w(w^\varepsilon ,\alpha ^\varepsilon )\) is Fredholm of index 0 \({\mathcal {X}}\rightarrow {\mathcal {Y}}\), and must therefore be invertible. This concludes the proof of (iii). \(\square \)
Lemma 7.3
Let \(\delta _1,\delta _2>0\) be sufficiently small. Then for any solution \((w,\alpha )\in {\mathcal {U}}\) to (5.2) with \(\Vert w\Vert _{\mathcal {X}}<\delta _1\) and \(0<\alpha _{\textrm{cr}}\alpha <\delta _2\), the linearized operator \({\mathscr {F}}_w(w,\alpha )\) is Fredholm with index 0 both \({\mathcal {X}}_{\textrm{b}}\rightarrow {\mathcal {Y}}_{\textrm{b}}\) and \({\mathcal {X}}\rightarrow {\mathcal {Y}}.\)
Proof
Let w and \(\alpha \) be as in the statement of the lemma. Note that \(\delta _2>0\) implies \(\alpha <\alpha _{\textrm{cr}}\). We can therefore use the results from Sect. 5. Indeed, the limiting operator of \({\mathscr {F}}_w(w,\alpha )\) is \({\mathscr {F}}_w(0,\alpha )\) which is invertible by Lemma 5.6. Moreover, from Lemma 5.5, we know that \({\mathscr {F}}_w(w,\alpha )\) is semiFredholm \({\mathcal {X}}_{\textrm{b}}\rightarrow {\mathcal {Y}}_{\textrm{b}}\) and \({\mathcal {X}}\rightarrow {\mathcal {Y}}\). It remains to show that the Fredholm index of \({\mathscr {F}}_w(w,\alpha )\) is equal to 0. By choosing \(\delta _1\) and \(\delta _2\) sufficiently small, we can ensure that the linearized operator \({\mathscr {F}}_w(w,\alpha )\) is uniformly elliptic and the corresponding minor constant \(\lambda (w,\alpha )\) is uniformly bounded away from 0. Similarly, we can guarantee a lower bound on the Lopatinskii constant (A.2) in Appendix A for the family of operators
with \(t\in [0,1]\). Using the Schauder estimates in Appendix A and arguing as in Lemma 5.5, \({\mathscr {L}}^{(t)}\) is also locally proper both \({\mathcal {X}}_{\textrm{b}}\rightarrow {\mathcal {Y}}_{\textrm{b}}\) and \({\mathcal {X}}\rightarrow {\mathcal {Y}}\). By continuity of the index, \({\mathscr {L}}^{(1)}={\mathscr {F}}_w(w,\alpha )\) has the same Fredholm index 0 as \({\mathscr {L}}^{(0)}={\mathscr {F}}_w(0,\alpha )\) which is invertible by Lemma 5.6 and hence Fredholm of index 0. Therefore, \({\mathscr {F}}_w(w,\alpha )\) is Fredholm with index 0 both \({\mathcal {X}}_{\textrm{b}}\rightarrow {\mathcal {Y}}_{\textrm{b}}\) and \({\mathcal {X}}\rightarrow {\mathcal {Y}}\). \(\square \)
7.2 Global Continuation
The aim of this subsection is to continue the local curve of solutions \({\mathscr {C}}_\text {loc}\) in Theorem 7.1 to obtain a global curve of solutions \({\mathscr {C}}\) using realanalytic global bifurcation theory. Unfortunately, the classical theorems by Dancer [22] and Buffoni and Toland [9] are not wellsuited for our problem. Indeed, the linearized operator \({\mathscr {F}}_w(0,\alpha _\textrm{cr})\) is not Fredholm \({\mathcal {X}} \rightarrow {\mathcal {Y}}\), and we have potential loss of compactness due to the unbounded domain. These issues are dealt with in [19, Theorem 6.1], which has been crafted to specifically suit the case of solitary waves. However, we need a further small modification for the system setting, as our linearized operators are not automatically Fredholm index 0 as soon as they are semiFredholm.
Thankfully, this can be easily resolved by appealing to the continuity of the index. The modified result and its proof are given in Appendix B. Applied to our present problem, it yields the following.
Theorem 7.4
The local curve \({\mathscr {C}}_loc \) is contained in a continuous curve of solutions parameterized as
with the following properties:

(a)
One of two alternatives must hold: either

(i)
as \(s\rightarrow \infty \),
$$\begin{aligned} N(s):=\Vert w(s)\Vert _{\mathcal {X}}+\frac{1}{\lambda (w(s),\alpha (s))}+\frac{1}{\alpha (s)}+\frac{1}{\alpha _{\textrm{cr}}\alpha (s)}\longrightarrow \infty ;\text { or } \end{aligned}$$ 
(ii)
there exists a sequence \(s_n\rightarrow \infty \) such that \(\sup _nN(s_n)<\infty \) but \(\{w(s_n)\}\) has no subsequences converging in \({\mathcal {X}}\).

(i)

(b)
Near each point \((w(s_0),\alpha (s))\in {\mathscr {C}}\), we can reparameterize \({\mathscr {C}}\) so that the mapping \(s\mapsto (w(s),\alpha (s))\) is real analytic.

(c)
\((w(s),\alpha (s))\notin {\mathscr {C}}_loc \) for s sufficiently large.
Proof
We check that the hypothesis of Theorem B.1 are satisfied. In Sect. 5 we reformulated our problem (2.11) as a nonlinear operator equation \({\mathscr {F}}(w,\alpha )=0\) with \({\mathscr {F}}:{\mathcal {U}}\rightarrow {\mathcal {Y}}\). Clearly, \({\mathscr {F}}\) is real analytic on \({\mathcal {U}}\). Theorem 7.1 constructs a suitable local curve \({\mathscr {C}}_\text {loc}=\{(w^\varepsilon ,\alpha ^\varepsilon ):0<\varepsilon <\infty \}\subset {\mathcal {U}}\). From Lemma 5.5, the linearized operator \({\mathscr {F}}_w(w,\alpha )\) is locally proper for \((w,\alpha )\in {\mathcal {U}}\). Finally, from Theorem 7.1(iii), \({\mathscr {F}}_w\) is invertible along \({\mathscr {C}}_\text {loc}\). \(\square \)
7.3 Proof of the Main Result
We now use results from the previous sections to eliminate certain alternatives from Theorem 7.4. Recall that the functions \(w_1,w_2\) in this theorem are related to \(\eta ,\zeta \) by (2.11i). We begin with the loss of compactness alternative (ii).
Lemma 7.5
The nodal property (4.1) holds along the global bifurcation curve \({\mathscr {C}}\).
Proof
In order to apply the results from Sect. 4 we must first show that the global curve \({\mathscr {C}}\) contains no trivial solutions \((0,\alpha )\). By the definition of \({\mathcal {U}}\), any solutions on \({\mathscr {C}}\) must have \(\alpha <\alpha _{\textrm{cr}}\). Consider now the relatively closed set \({\mathscr {T}}\) of all trivial solutions in \({\mathscr {C}}\). Clearly, since \({\mathscr {C}}\) is closed, this set is relatively closed. Moreover, by Lemma 5.6, the operator \({\mathscr {F}}_w(0,\alpha )\) is invertible for all \(\alpha <\alpha _{\textrm{cr}}\). By the implicit function theorem the trivial solutions must thus lie on locally unique continuous curves parameterized by \(w=w(\alpha )\) with \(\alpha <\alpha _{\textrm{cr}}\), implying that the set \({\mathscr {T}}\) is relatively open in \({\mathscr {C}}\). Since \({\mathscr {C}}\) is continuous, it must be connected and hence we only have two options: either \({\mathscr {C}}\) contains only trivial solutions, or it contains none. Since \({\mathscr {C}}_\text {loc}\subset {\mathscr {C}}\), the former cannot be true.
From Theorem 7.1, the nodal property (4.1) holds along the local curve \({\mathscr {C}}_\text {loc}\). Now let \({\mathscr {N}}\subset {\mathscr {C}}\) denote the set of all \((w,\alpha )\in {\mathscr {C}}\) satisfying (4.1). Since \({\mathscr {C}}\) is connected in \({\mathcal {X}}\times {\mathbb {R}}\) and we have shown that there are no trivial solutions in \({\mathscr {C}}\), Propositions 4.2, and 4.3 yield that \({\mathscr {N}}\subset {\mathscr {C}}\) is both relatively open and relatively closed. Since the local curve \({\mathscr {C}}_\text {loc}\subset {\mathscr {N}}\) we see that \({\mathscr {N}}\) is nonempty and therefore we must have \({\mathscr {N}}={\mathscr {C}}\). \(\square \)
We now get the following result:
Lemma 7.6
Alternative (ii) in Theorem 7.4 cannot occur.
Proof
Lemma 7.5 ensures that the monotonicity assumption (3.19) holds along the global bifurcation curve \({\mathscr {C}}\). The statement now follows from Lemma 3.5. \(\square \)
Let us now consider alternative (i). More precisely, we wish to deal with the last term.
Lemma 7.7
If \(\Vert w(s)\Vert _{\mathcal {X}}\) and \(1/\lambda (w(s),\alpha (s))\) are uniformly bounded along \({\mathscr {C}}\), then
Proof
We argue by contradiction. Suppose that there exists a sequence \(s_n\rightarrow \infty \) for which we have \(\sup _{n\rightarrow \infty }\Vert w(s_n)\Vert _{{\mathcal {X}}}<\infty \), \(\inf _{n\rightarrow \infty }(\lambda (w(s_n)),\alpha (s_n))>0\) and \(\alpha (s_n)\rightarrow \alpha _{\textrm{cr}}\). Applying Lemma 3.5 allows us to extract a subsequence so that \(\{(w(s_n),\alpha (s_n))\}\) converges in \({\mathcal {X}}\times {\mathbb {R}}\) to a solution \((w^*,\alpha ^*)\) of \({\mathscr {F}}(w,\alpha )=0\) with \(\alpha ^*=\alpha _{\textrm{cr}}\). Since by continuity \(w_1\ge 0\) on the surface \(\Gamma \), Theorem 3.8 yields that this must be the trivial solution \(w=0\). Hence, we must have \(\Vert w(s_n)\Vert _{\mathcal {X}}\rightarrow 0\). Moreover, from Lemma 7.5 we know that all \(w(s_n)\) satisfy the nodal property (4.1) and thus by Theorem 7.1(ii) we must have \((w(s_n),\alpha (s_n))\in {\mathscr {C}}_\text {loc}\) for n sufficiently large. This is a contradiction to Theorem 7.4(c). \(\square \)
We are now ready to prove the main theorem. Recall from Sect. 1.2 that our primary interest is in the case \(\gamma < 0\); we state the corresponding results for \(\gamma \ge 0\) only for completeness.
Theorem 7.8
The local curve \({\mathscr {C}}_loc \) is contained in a continuous curve of solutions parameterized as
with the following properties:

(a)
As \(s\rightarrow \infty \)

(i)
for \(\gamma <0\),
$$\begin{aligned} \frac{1}{\inf _\Gamma (12\alpha (s) w_1(s))}+\frac{1}{\inf _\Gamma (w_{1x}^2(s)+(1+w_{1y}(s))^2)}+\frac{1}{\alpha (s)}\longrightarrow \infty . \end{aligned}$$ 
(ii)
for \(\gamma > 0\),
$$\begin{aligned} \sup _\Gamma \nabla {w_1(s)} +\frac{1}{\inf _\Gamma (w_{1x}^2(s)+(1+w_{1y}(s))^2)}+\frac{1}{\alpha (s)}\longrightarrow \infty ; \end{aligned}$$ 
(iii)
for \(\gamma = 0\),
$$\begin{aligned} \frac{1}{\inf _\Gamma (12\alpha (s) w_1(s))}\longrightarrow \infty . \end{aligned}$$

(i)

(b)
Near each point \((w(s),\alpha (s))\in {\mathscr {C}}\), we can reparameterize \({\mathscr {C}}\) so that the mapping \(s\mapsto (w(s),\alpha (s))\) is real analytic.

(c)
\((w(s),\alpha (s))\notin {\mathscr {C}}_\text {loc}\) for s sufficiently large.

(d)
Each \((w,s) \in {\mathscr {C}}\) satisfies the nodal properties (4.1).
Proof
Combining Lemmas 7.5 and 7.6 with Theorem 7.4, it remains to prove (a). Using Lemma 7.7, alternative (ii) in Theorem 7.4 is equivalent to
Applying the maximum principle and maximum modulus principle to the two factors in the definition (5.2) of \(\lambda (w,\alpha )\), we see that the second term \(1/\lambda (w(s),\alpha (s))\) in (7.6) can be bounded above in terms of
By the uniform regularity result Proposition 6.1, the first term \(\Vert w(s)\Vert _{{\mathcal {X}}}\) can be bounded in terms of the constant \(\delta > 0\) appearing in (6.1). Using the maximum principle yet again, we deduce that \(\Vert w(s)\Vert _{{\mathcal {X}}}\) can be bounded in terms of
Putting this all together, we find that (7.6) implies that
We will now further simplify (7.7) based on the sign of \(\gamma \).
For \(\gamma < 0\), we eliminate the second term in (7.7). Consider a fixed solution \((w,\alpha ) \in {\mathscr {C}}\). By Proposition 6.5(i), the stream function \(\psi \) defined in (6.2) satisfies the upper bound
We claim that \(\psi _y > 0\) on \(\Gamma \). Assuming the claim, (7.8) and (6.4b) yield
so that the second term in (7.7) is bounded above by a multiple of the third term, proving (i). To prove the claim, we simply note that \(\psi _y^2 \ge \lambda (w,\alpha ) > 0\) on \(\Gamma \), where here we have used the first equality in (7.9), the definition (5.2) of \(\lambda (w,s)\) and the fact that \((w,\alpha ) \in {\mathscr {C}} \subset {\mathcal {U}}\). As the asymptotic conditions for w imply \(\psi _y(x,1) \rightarrow 1\) as \(x \rightarrow \pm \infty \), the claim then follows by continuity.
For \(\gamma \ge 0\), a similar argument using Proposition 6.5(ii) instead yields the lower bound
Thus the first term in (7.7) is controlled by the second two, proving (ii). We note that in many cases the last term in (7.7) can also be controlled; see [19, 59].
Finally, we turn to the irrotational case \(\gamma =0\). As for \(\gamma < 0\), we can control the second term in (7.7) using the third term. On the other hand, the numerator in (7.10) simplifies and we see that the third term in (7.7) is bounded by a multiple of the first term. Wellknown bounds on the Froude number for irrotational solitary waves yield \(\alpha > 1/4\) [5, 43], or indeed the stronger bound \(\alpha > 1/2\) [38], eliminating the last term in (7.7) and hence proving (iii). \(\square \)
We now show how the above result for negative vorticity implies Theorem 1.1.
Proof of Theorem 1.1
We first claim that the solutions \((w,\alpha )\) along the curve \({\mathscr {C}}\) in Theorem 7.8 correspond to solutions of the original physical problem (2.3) or equivalently (1.2). Reversing the arguments in Sect. 2.2, it remains only to show that \(\eta \) is the imaginary part of a conformal mapping \(\xi +i\eta \) defined on the infinite strip \({\mathcal {R}}\). As \(\eta \) is harmonic, we can easily define \(\xi \) using the Cauchy–Riemman equations. By the Darboux–Picard theorem [10, Corollary 9.16] it is then sufficient to show that \(\xi +i\eta \) is injective on the boundary \(\partial {\mathcal {R}} = \Gamma \cup B\). By construction we have \(\eta =0\) on B, and the nodal properties (4.1) imply that \(\eta > 0\) in \(\Gamma \). Thus the images of \(\Gamma \) and B do not intersect. Applying the Hopf lemma to \(\eta \) on B we discover that \(\eta _y = \xi _x > 0\) there, and so it enough to consider the restriction of \(\xi +i\eta \) to the surface \(\Gamma \). Suppose for the sake of contradiction that this restriction is not injective. Using the evenness of \(\eta \) and the nodal properties (4.1), we easily check that \(\xi \) achieves its nonpositive infimum over the halfstrip \({\mathcal {R}}^+\) at a point \((x_0,1) \in \Gamma ^+\). By the Hopf lemma, we therefore have \(\xi _y = \eta _x < 0\) at this point, contradicting the nodal properties (4.1).
Recall that we switched to dimensionless variables in Sect. 2.3. Using stars to denote the associated dimensional quantities, we have \(\alpha =1/F^2\) and
Thus (1.3) in Theorem 1.1 follows directly from (i) in Theorem 7.8. \(\square \)
Theorem 1.1 only considers the case of constant negative vorticity. However, in Theorem 7.8 we also have a result for \(\gamma >0\) and for the irrotational case \(\gamma =0\). We provide those results in physical variables below. The proof the almost identical to that of Theorem 1.1 and is hence omitted.
Proposition 7.9
Fix the gravitational constant \(g>0\), asymptotic depth \(d>0\) and \(\gamma \ge 0\). Then there exists a global continuous curve \({\mathscr {C}}\) of solutions to (1.2) parameterized by s, with \(s\in (0,\infty )\). Moreover, the following properties hold along \({\mathscr {C}}\) as \(s\rightarrow \infty \):

(i)
for \(\gamma >0\)
$$\begin{aligned} \min \bigg \{ \inf _\Gamma \nabla \eta (s),\, \bigg (\sup _\Gamma \nabla \eta (s)\bigg )^{1},\, \frac{1}{F(s)} \bigg \}\longrightarrow 0. \end{aligned}$$ 
(ii)
for \(\gamma =0\)
$$\begin{aligned} \inf _\Gamma \bigg (12\alpha \frac{\eta d}{d}\bigg )\longrightarrow 0. \end{aligned}$$
These solutions are all symmetric and monotone waves of elevation in the sense that \(\eta \) is even in x with \(\eta _x(x,d)<0\) for \(x>0\).
Data Availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Agmon, S., Douglis, A., Nirenberg, L.: Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions. II. Commun. Pure Appl. Math. 17, 35–92, 1964
Amick, Charles, J., Fraenkel, L.E., Toland, J.F.: On the Stokes conjecture for the wave of extreme form. Acta Math.148, 193–214, 1982
Amick, C.J.: Bounds for water waves. Arch. Ration. Mech. Anal. 99(2), 91–114, 1987
Amick, Charles, J., Toland, J.F.: On periodic waterwaves and their convergence to solitary waves in the longwave limit. Philos. Trans. R. Soc. Lond. Ser. A303(1481), 633–669, 1981
Amick, Charles, J., Toland, J.F.: On solitary waterwaves of finite amplitude. Arch. Ration. Mech. Anal.76(1), 9–95, 1981
Babenko, K.I.: Some remarks on the theory of surface waves of finite amplitude. Dokl. Akad. Nauk SSSR 294(5), 1033–1037, 1987
Beale, J.T.: The existence of solitary water waves. Commun. Pure Appl. Math. 30(4), 373–389, 1977
Benjamin, T.B.: Impulse, flow force and variational principles. IMA J. Appl. Math. 32(1–3), 3–68, 1984
Boris, B., Toland, J.: Analytic Theory of Global Bifurcation: An Introduction. Princeton Series in Applied Mathematics. Princeton University Press, Princeton (2003)
Burckel, R.B.: An Introduction to Classical Complex Analysis. Vol. 1, Pure and Applied Mathematics, vol. 82. Academic Press, Inc, New York (1979)
Castro, E.M., Flamarion, M.V., RibeiroJr, R.: Numerical stability of solitary waves in flows with constant vorticity for the Euler equations. arXiv preprint arXiv:2205.12313 (2022).
Craik, A.D.D.: The origins of water wave theory. In: Annual Review of Fluid Mechanics. Vol. 36, Annu. Rev. Fluid Mech., vol. 36, Annual Reviews, Palo Alto, pp. 1–28 (2004).
Craig, W., Sternberg, P.: Symmetry of solitary waves. Commun. Partial Differ. Equ. 13(5), 603–633, 1988
Constantin, A., Strauss, W.A.: Exact steady periodic water waves with vorticity. Commun. Pure Appl. Math. 57(4), 481–527, 2004
Constantin, A., Strauss, W.A.: Rotational steady water waves near stagnation. Philos. Trans. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 365(1858), 2227–2239, 2007
Constantin, A., Strauss, W., Vărvărucă, E.: Global bifurcation of steady gravity water waves with critical layers. Acta Math. 217(2), 195–262, 2016
Constantin, A., Strauss, W., Vărvărucă, E.: Largeamplitude steady downstream water waves. Commun. Math. Phys. 387(1), 237–266, 2021 4312364
Constantin, A., Vǎrvǎrucǎ, E.: Steady periodic water waves with constant vorticity: regularity and local bifurcation. Arch. Ration. Mech. Anal. 199(1), 33–67, 2011
Chen, 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, 2018
Chen, R.M., Walsh, S., Wheeler, M.H.: Global bifurcation for monotone fronts of elliptic equations. arXiv preprint arXiv:2005.00651 (2020).
Chen, R.M., Walsh, S., Wheeler, M.H.: Center manifolds without a phase space for quasilinear problems in elasticity, biology, and hydrodynamics. Nonlinearity 35(4), 1927–1985, 2022
Dancer, E.N.: Bifurcation theory for analytic operators. Proc. Lond. Math. Soc. 3(26), 359–384, 1973
Darrigol, O.: The spirited horse, the engineer, and the mathematician: water waves in nineteenthcentury hydrodynamics. Arch. Hist. Exact Sci. 58(1), 21–95, 2003
Dyachenko, S.A., Hur, V.M.: Stokes waves with constant vorticity: folds, gaps and fluid bubbles. J. Fluid Mech. 878, 502–521, 2019
Dyachenko, S.A., Hur, V.M.: Stokes waves with constant vorticity: I. Numerical computation. Stud. Appl. Math. 142(2), 162–189, 2019
DubreilJacotin, M.L.: Sur la détermination rigoureuse des ondes permanentes périodiques d’amplitude finie. J. Math. 13, 217–289, 1934
Friedrichs, K.O., Hyers, D.H.: The existence of solitary waves. Commun. Pure Appl. Math. 7, 517–550, 1954
Flamarion, M.V., RibeiroJr, R.: Pressure anomalies beneath solitary waves with constant vorticity. arXiv preprint arXiv:2209.01090 (2022)
Gilbarg, D., Trudinger, N.S.: Elliptic partial differential equations of second order. In: Classics in Mathematics, Springer, Berlin (2001). Reprint of the 1998 edition
Groves, M.D., Wahlén, E.: Smallamplitude Stokes and solitary gravity water waves with an arbitrary distribution of vorticity. Phys. D 237(10–12), 1530–1538, 2008
Haziot, S.V., Hur, V.M., Strauss, W.A., Toland, J.F., Wahlén, E., Walsh, S., Wheeler, M.H.: Traveling water waves—the ebb and flow of two centuries. Q. Appl. Math. 80(2), 317–401, 2022
Hur, V.M.: Exact solitary water waves with vorticity. Arch. Ration. Mech. Anal. 188(2), 213–244, 2008
Hur, V.M.: Symmetry of solitary water waves with vorticity. Math. Res. Lett. 15(3), 491–509, 2008
Hur, V.M., Wheeler, M.H.: Overhanging and touching waves in constant vorticity flows. J. Differ. Equ. 338, 572–590, 2022
Kirchgässner, K.: Nonlinearly resonant surface waves and homoclinic bifurcation. In: Advances in Applied Mechanics, Vol. 26, Academic Press, Boston, pp. 135–181 (1988)
Kozlov, V., Kuznetsov, N., Lokharu, E.: Solitary waves on constant vorticity flows with an interior stagnation point. J. Fluid Mech. 904(A4), 18, 2020
Kozlov, V., Lokharu, E., Wheeler, M.H.: Nonexistence of subcritical solitary waves. Arch. Ration. Mech. Anal. 241(1), 535–552, 2021
Keady, G., Pritchard, W.G.: Bounds for surface solitary waves. Proc. Camb. Philos. Soc. 76, 345–358, 1974
Lavrentiev, M.A.: I. On the theory of long waves. II. A contribution to the theory of long waves. Am. Math. Soc. Transl. 1954(102), 53, 1954
Lieberman, G.M.: Twodimensional nonlinear boundary value problems for elliptic equations. Trans. Am. Math. Soc. 300(1), 287–295, 1987
Lokharu, E.: A sharp version of the Benjamin and Lighthill conjecture for steady waves with vorticity. arXiv preprint arXiv:2011.14605 (2020)
Lokharu, E.: On bounds for steady waves with negative vorticity. J. Math. Fluid Mech. 23(2), 11, 2021 Paper No. 37
McLeod, J.B.: The Froude number for solitary waves. Proc. R. Soc. Edinb. Sect. A 97, 193–197, 1984
Mielke, A.: Reduction of quasilinear elliptic equations in cylindrical domains with applications. Math. Methods Appl. Sci. 10(1), 51–66, 1988
Pommerenke, C.: Boundary Behaviour of Conformal Maps, vol. 299. Grundlehren der Mathematischen Wissenschaften. Springer, Berlin (1992)
Russell, J.S.: Report on waves. In: 14th Meeting of the British Association for the Advancement of Science, vol. 311–390 (1844)
Serrin, J.: A symmetry problem in potential theory. Arch. Ration. Mech. Anal. 43, 304–318, 1971
Simmen, J.A., Saffman, P.G.: Steady deepwater waves on a linear shear current. Stud. Appl. Math. 73(1), 35–57, 1985
Teles da Silva, A.F., Peregrine, D.H.: Steep, steady surface waves on water of finite depth with constant vorticity. J. Fluid Mech. 195, 281–302, 1988
TerKrikorov, A.M.: The existence of periodic waves which degenerate into a solitary wave. J. Appl. Math. Mech. 24(4), 930–949, 1960
TerKrikorov, A.M.: The solitary wave on the surface of a turbulent liquid. Ž. Vyčisl. Mat. i Mat. Fiz. 1, 1077–1088, 1961
Varholm, K.: Global bifurcation of waves with multiple critical layers. SIAM J. Math. Anal. 52(5), 5066–5089, 2020
VandenBroeck, J.M.: Steep solitary waves in water of finite depth with constant vorticity. J. Fluid Mech. 274, 339–348, 1994
VandenBroeck, J.M.: New families of steep solitary waves in water of finite depth with constant vorticity. Eur. J. Mech. B Fluids 14(6), 761–774, 1995
Volpert, V.: Elliptic partial differential equations. Volume 1: Fredholm theory of elliptic problems in unbounded domains. Monographs in Mathematics, vol. 101, Birkhäuser/Springer, Basel (2011)
Wahlén, E.: Steady water waves with a critical layer. J. Differ. Equ. 246(6), 2468–2483, 2009
Walsh, S.: Stratified steady periodic water waves. SIAM J. Math. Anal. 41(3), 1054–1105, 2009
Wheeler, M.H.: Largeamplitude solitary water waves with vorticity. SIAM J. Math. Anal. 45(5), 2937–2994, 2013
Wheeler, M.H.: The Froude number for solitary water waves with vorticity. J. Fluid Mech. 768, 91–112, 2015
Wheeler, M.H.: Solitary water waves of large amplitude generated by surface pressure. Arch. Ration. Mech. Anal. 218(2), 1131–1187, 2015
Wloka, J.T., Rowley, B., Lawruk, B.: Boundary Value Problems for Elliptic Systems. Cambridge University Press, Cambridge (1995)
Wahlén, E., Jörg, W.: Largeamplitude steady gravity water waves with general vorticity and critical layers (2022)
Acknowledgements
The work of SVH is funded by the National Science Foundation through the award DMS2102961.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by P. Rabinowitz.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A. Schauder Estimates for Elliptic Systems
Let us define the rectangular strip
with top boundary
Moreover, we only work with functions \(w_i\) which vanish on the bottom boundary, \(y=0\). Consider linear elliptic problems of the form
where here \(\partial _1=\partial _x\), \(\partial _2=\partial _y\) and we are using the summation convention. We will now provide sufficient conditions on the coefficients in (A.1c)–(A.1d) such that we have access to Schauder estimates for (A.1). In order to achieve this, we follow the procedures outlined in [55, 61]. We obtain the following lemma.
Lemma A.1
Fix \(k\ge 1\) and \(\beta \in (0,1)\), and suppose that the coefficients in (A.1) have the regularity \(a_{ij}, b_i\in C_{\textrm{b}}^{k+\beta }(\Gamma )\) and \(c_i\in C_{\textrm{b}}^{k+1+\beta }(\Gamma )\). If the uniform bound
holds for some constant \(\lambda >0,\) then (A.1) enjoys the Schauder estimate
where the constant \(C>0\) depends only on \(k,\beta ,\lambda \) and on the stated norms of the coefficients.
Remark A.1
The constant \(\lambda >0\) in (A.2) is referred to as the “minor constant” in [1].
Proof
To begin with, (A.1a)–(A.1b) can be written as
Here we think of \({\mathscr {L}}_{ij}(\xi )=\delta _{ij}(\xi _1^2+\xi _2^2)\) as polynomials in \(\xi \in {\mathbb {C}}^2\). Moreover, we attach integer weights \(s_1=s_2=0\) to the equation and \(t_1=t_2=2\) to the unknowns. These weights satisfy the constraint
Clearly \({\mathscr {L}}\) is uniformly elliptic in the sense that there exists some positive constant A such that
for every real vector \(\xi \in {\mathbb {R}}^2\).
We now express the boundary conditions (A.1c)–(A.1d) as
for \(x\in \Gamma \). Here, as above, we consider \(\tilde{{\mathscr {B}}}_{hj}=\tilde{{\mathscr {B}}}_{hj}(x,\xi )\) as polynomials in \(\xi \in {\mathbb {C}}^2\). We again assign the integer weights \(t_1=t_2=2\) to the dependent variables as well as the weight \(r_1=2\) and \(r_2=1\) to the equations such that
From this point on, we will only consider the principle boundary operator \({\mathscr {B}}(x,\xi )\). This operator only consists of the terms of \(\tilde{{\mathscr {B}}}(x,\xi )\) which are of order \(r_h+t_j\). That is,
Let us now fix the point on the boundary \(x\in \Gamma \) and write
with \(\tau \) and \(\nu \) denoting the tangential and normal components to \(\Gamma \), respectively. In this notation, we have
We now construct the socalled Lopatinskii matrix; see [55]. This \(2\times 4\) matrix is defined as the line integral
where the line integral is taken over any Jordan curve \(\gamma \) which lies in the upper halfplane \({\text {Im}}\mu >0\) and encloses the roots of \({\text {det}}{\mathscr {L}}(\tau ,\mu )=\tau ^2+\mu ^2\) with positive imaginary part. Calculating the integrand in (A.3) explicitly yields
The only relevant root is \(\mu =i\tau \). Therefore, using calculus of residues, we calculate
The matrix (A.3) thus has rank 2 in a uniform sense provided
where \(M_1,\ldots ,M_6\) denote all the minor determinants of \(\Lambda (x,\tau ,\nu )\). A calculation shows that each \(M_i\) for \(i=1,\ldots ,6\) is equal to either \(a_{11}c_2a_{21}c_1\) or \(a_{12}c_2a_{22}c_1\). Therefore, (A.4) is equivalent to
for some \(\lambda >0\). The result now follows from [1, Theorem 9.2]. \(\square \)
Appendix B. Abstract Global Bifurcation Theorem
In this section, we provide an abstract global bifurcation theorem for realanalytic operators. This is a modified version a global bifurcation theorem for solitary waves, as stated in [19, Theorem 6.1], which is itself a modification of the results by Dancer [22] and Buffoni and Toland [9]. A very similar result also appears in [20, Theorem B.1]. The only difference is that in (I) we allow for the linearized operators to be locally proper rather than requiring them to be Fredholm of index 0.
Theorem B.1
Let \({\mathscr {X}}\) and \({\mathscr {Y}}\) be Banach spaces, \({\mathscr {U}}\) be an open subset of \({\mathscr {X}}\times {\mathbb {R}}\) with \((0,0)\in \partial {\mathscr {U}}\). Consider a realanalytic mapping \({\mathcal {F}}:{\mathscr {U}}\rightarrow {\mathscr {Y}}\). Suppose that

(I)
for any \((\mu ,x)\in {\mathscr {U}}\) with \({\mathcal {F}}(\mu ,x)=0\) the Fréchet derivative \({\mathcal {F}}_x(\mu ,x):{\mathscr {X}}\rightarrow {\mathscr {Y}}\) is locally proper;

(II)
there exists a continuous curve \({\mathscr {C}}_loc \) of solutions to \({\mathcal {F}}(\mu ,x)=0,\) parameterized as
$$\begin{aligned} {\mathscr {C}}_{loc }:=\{(\mu ,{\tilde{x}}(\mu )):0<\mu <\mu _* \}\subset {\mathcal {F}}^{1}(0), \end{aligned}$$for some \(\mu _*>0\) and continuous \({\tilde{x}}\) with values in \({\mathscr {X}}\) and \(\lim _{\mu \searrow 0}{\tilde{x}}(\mu )=0\);

(III)
the linearized operator \({\mathcal {F}}_x(\mu ,{\tilde{x}}(\mu )):{\mathscr {X}}\rightarrow {\mathscr {Y}}\) is invertible for all \(\mu \).
Then \({\mathscr {C}}_\text {loc}\) is contained is a curve of solutions \({\mathscr {C}}\), parameterized as
for some continuous \((0,\infty )\ni s\mapsto (x(s),\mu (s) )\in {\mathscr {U}},\) with the following properties.

(a)
One of the following alternatives holds:

(i)
(Blowup) As \(s\rightarrow \infty \),
$$\begin{aligned} N(s):=\Vert x(s)\Vert _{\mathscr {X}}+\frac{1}{{\text {dist}}((\mu (s),x(s)),\partial {\mathscr {U}})}+\mu (s)\rightarrow \infty . \end{aligned}$$ 
(ii)
(Loss of compactness) There exists a sequence \(s_n\rightarrow \infty \) such that \({\text {sup}}_n N(s_n)<\infty \) but \(\{x(s_n)\}\) has no subsequences converging in \({\mathscr {X}}\).

(i)

(b)
Near each point \((\mu (s_0),x(s_0))\in {\mathscr {C}}\), we can reparameterize \({\mathscr {C}}\) so that \(s\mapsto (\mu (s),x(s))\) is real analytic.

(c)
\((\mu (s),x(s))\notin {\mathscr {C}}_{\text {loc}}\) for s sufficiently large.
Proof
The proof of the theorem is almost identical to the proof of [19, Theorem 6.1], and so we only give a brief sketch. As [19], since (III) holds we can construct the distinguished arc \(A_0\), the connected component of
in which \((\mu _{1/2},x_{1/2}):=(\mu _*/2,x(\mu _*/2))\) lies. The analytic implicit function theorem guarantees that all distinguished arcs are graphs. After possibly reparameterizing, we write \(A_0\) as
where \(\mu (s)\) is increasing. From the implicit function theorem, the local curve of solutions \({\mathscr {C}}_\text {loc}\) lies entirely in \(A_0\). Arguing as in the proof of [19, Theorem 6.1], the starting point of \(A_0\) is
The next step is to consider the limit \(s\nearrow 1\). As in the proof of [19, Theorem 6.1] we now have two options. Either, \(N(s)\rightarrow \infty \) as \(s\nearrow 1\) in which case after reparametrization (i) occurs, or there exists some sequence \(\{s_n\}\subset \big (\tfrac{1}{2},1\big )\) with \(s_n\nearrow 1\) so that \(N(s_n)\le M<\infty \) for all \(n>0\). Assuming without loss of generality that \(\mu (s_n)\rightarrow \mu _{1}\), we now again have two possibilities. Either \(\{x(s_n)\}\) has no convergent subsequence, in which case alternative (ii) takes place, or, after extraction, \((\mu (s_n),x(s_n))\rightarrow (\mu _1,x_1)\in {\mathscr {U}}\).
By continuity, \({\mathcal {F}}(\mu _{1},x_1)=0\). Moreover, by assumption the linearized operator \({\mathcal {F}}_x(\mu ,x)\) is Fredholm with index 0 along \({\mathscr {C}}_\text {loc}\) and semiFredholm beyond. By continuity of the index, we can now conclude that \({\mathcal {F}}_x(\mu _1,x_1)\) is Fredholm index 0. The rest of the proof, establishing the existence of an infinite sequence of connected distinguished arcs \(A_n\) along which either (i) or (ii) must hold, now follows exactly as in the proof of [19, Theorem 6.1]. \(\square \)
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
Haziot, S.V., Wheeler, M.H. LargeAmplitude Steady Solitary Water Waves with Constant Vorticity. Arch Rational Mech Anal 247, 27 (2023). https://doi.org/10.1007/s00205023018414
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00205023018414