Abstract
By means of a conformal mapping and bifurcation theory, we prove the existence of largeamplitude steady stratified periodic water waves, with a density function depending linearly on the streamfunction, which may have critical layers and overhanging profiles. We also provide certain conditions for which these waves cannot overturn.
Introduction
We will study twodimensional steady water waves which propagate on the surface of an inviscid fluid and over a flat, impermeable bed. These waves are solutions to the incompressible Euler equations and the only exterior force acting on them is gravity. In this paper, we will only study periodic waves; for work on solitary waves, we refer to [1, 2]. The term stratification here refers to the presence of a nonconstant density function \(\rho (X,Y)\), and throughout this paper, we will choose \(\rho \) to depend linearly on the streamfunction. One additional assumption we will make is that the variation of energy along streamlines is a constant. This last condition is mathematically equivalent to the case of constant vorticity for constant density waves (see discussion in [3]). We point out that in our case, the expression for vorticity is more complicated, and we will not be working with it directly. The main particularity of the waves we will be constructing is that we allow for internal stagnation points, critical layers, and overturning profiles, which to our knowledge, has not be investigated analytically before.
Historical considerations
Let us talk briefly about the history of the problem. The main difficulty is that we are working in a domain where the top boundary, the free surface, is an unknown. In order to overcome this, the usual approach is to choose suitable variables that fix the domain, and this has been done in various ways. DubreilJacotin [4] derived an elegant change of variable, reformulating the problem in a rectangle using what is sometimes known as semilagrangian coordinates: the x variable remains unchanged and y is transformed into the streamfunction. Back in the 80s, Amick and Turner (see [5, 6]) used this approach to construct largeamplitude stratified waves in a strip bounded above and below by rigid walls. In [3], this approach was then used in a freesurface setting. Walsh was able to prove the existence of small and largeamplitude stratified waves with the added novelty of allowing for general Bernoulli and nonnegative density functions. However, in order for this change of variables to produce valid solutions in the physical plane, the gradient of the streamfunction can never be zero and therefore the waves constructed cannot admit stagnation points or critical layers. Moreover, the free surface needs to be a graph of a function, thus also excluding the possiblity of waves with an overturning profile. Such waves were observed in field data and were simulated numerically (see the discussion in [7]).
In [8], the author used a flattening technique to fix the free surface, and then successfully constructs smallamplitude homogeneous waves with constant vorticity function, which have critical layers. For works with a more general vorticity distribution, see [9]. Recently, [10] used this technique to construct largeamplitude homogeneous waves with general vorticity. However, in that formulation, allowing for the presence of internal stagnation points makes it difficult to prove suitable nodal properties. Moreover, these waves cannont have overhanging profiles. Finally, also of noteworthy mention is [11], where global bifurcation has been achieved for capillarygravity waves with variable density and vorticity, and allowing for stagnation points in the flow.
In [7, 12] the authors managed to construct small and largeamplitude water waves with constant vorticity, by considering the fluid domain as the image of a strip via a conformal map. This map makes no assumption on the geometry of the physical domain, or on the streamfunction, and so the solutions obtained in this way may contain critical layers, stagnation points and overturning profiles. This is the approach we will use in this paper. The strength of this theory derived in [7] becomes apparent as it carries over very nicely to our setting of stratified waves. Moreover, a lot of the proofs will present similarities to the methods developed in [7].
Main result
The main result is a combination of Theorem 3.2, located at the end of Sect. 3 and Theorem 4.4, in Sect. 4. However, the first one is very long and both are in parameterized form and can seem obscure at first glance. For the benefit of the reader, we somewhat crudely restate the results in plainer terms and in physical quantities.
Theorem 1.1
Fix a Hölder exponent \(\alpha \in (0,1)\), a wave speed \(c>0\), a wave number \(k>0\), the gravitational constant \(g>0\), a nonnegative, density function \(\rho \), linear in terms of the pseudostreamfunction \(\psi \), and a constant energy variation \(\gamma \in {\mathbb {R}}\). Then there exists a family of global curves of periodic waves. Solutions \((\Omega ,\psi )\) on these curves are symmetric and of class \(C^{1,\alpha }\) in the sense that the surface \({\mathcal {S}}\) of the domain \(\Omega \) is parameterized by functions of class \(C^{1,\alpha }\) and \(\psi \in C^{\infty }(\Omega )\bigcap C^{1,\alpha }({\overline{\Omega }})\). In addition, one of two alternatives occurs:

(i)
the regularity of the free boundary blows up,

(ii)
the solutions on the curve exist until the wave profile selfintersects strictly above the trough line.
The second alternative in the above theorem is proved in Theorem 4.4. We point out that the main particularities of these waves is that they can have overhanging profiles and internal stagnation points and critical layers.
Plan of the paper
The plan of this paper is as follows. In Sect. 2, we set up the problem. In particular, we reformulate it by viewing the fluid domain as the image of a strip via the holomorphic function \(U+iV\). The connection between the conformal map and the original water wave problem is given by the fact that the free surface is parameterized by the functions U and V, evaluated on the top of strip, which in our case is the realaxis. We then boil down the whole problem to studying Bernoulli’s boundary condition at the surface of the fluid domain by reformulating it in terms of the periodic Hilbert transform for the strip, applied to the imaginary conformal coordinate. This will give us a nonlinear pseudodifferential equation containing several parameters. However, this equation does not seem to satisfy certain compactness criteria we need in order to construct largeamplitude solutions. To this end, using Riemann–Hilbert theory, we will prove that the equation is equivalent to a quasilinear pseudodifferential equation, coupled with a scalar constraint. Although we will then be able to apply the realanalytic global bifurcation theorem by Dancer [13] and Buffoni and Toland [14] to this generalized Babenko formulation by using commutator properties of the Hilbert transform, this reformulated problem will be more general than the original water wave problem, an issue which we will address in Sect. 4.
In Sect. 3, we begin by constructing smallamplitude waves, which bifurcate from laminar flows. We then extend that local curve of solutions to prove the existence of the largeamplitude waves mentioned in the previous paragraph. In particular, we prove the existence of a sequence of continuous curve of solutions \({\mathcal {K}}_{n,\pm }\) each representing waves of period \(\frac{2\pi }{n}\) for all \(n\in {\mathbb {N}}\), and for both signs ±. We obtain two possible alternatives for these curves of solutions: either they loop back to the bifurcation point, or they either go off to infinity or hit the boundary of the domain, at which point the solution in the physical plane would admit a stagnation point at the crest.
In Sect. 4, we study the physical relevance of the previously constructed solution curves. In particular, we need to take into account the fact that the free surface cannot be selfintersecting and cannot cross the flat bottom, which in our case, reduces to verifying that it stays in the upperhalf plane. Moreover, by showing that the vertical coordinate of the parametrized surface is strictly decreasing between each crest and trough, we eliminate the loop alternative in the previous theorem. The main result is shown using a continuation argument: first one must check that the qualitative properties are satisfied in the neighborhood of the bifurcation point, and then use a series of arguments involving the strong maximum principle, and the Hopf and Serrin inequalities, to check whether these properties hold along the entire curve. We once again arrive at two alternatives, either the solutions exist at all time, or they exist until the surface selfintersects right above the trough. The proof of the main result in this section is similar to the one in [7].
Finally, in Sect. 5, we study properties of the horizontal coordinate of the parametrized free surface. In particular, since in the previous section we only put a strict monotonicity constraint on the vertical coordinate, the waves may still have overhanging profiles. Here, we prove that under certain assumptions on the density function and on the sign of the variation of the energy in terms of the streamfunction, the waves cannot overhang. The proof, a continuation argument, closely follows that in [15]. We argue by contradiction, first proving that there exist solutions with overturning profiles and then use a maximum principle argument involving the pressure of the fluid to show that, for our assumptions, such solutions cannot exist in the physical plane.
Formulation of the Problem
The parameterized domain
We formulate the problem in an unbounded domain \(\Omega \) in the (X, Y)plane. We denote the impermeable flat bottom by
Moreover, we define the unknown parameterized surface, representing the water’s free surface, as
where the map
is periodic of period \(L:=\frac{2\pi }{k}\), with \(k\in {\mathbb {N}}\) denoting the wave number. In addition, we require that
and that u, v are functions of class \(C^{1,\alpha }\). For the remainder of the paper, let us fix \(\alpha \in (0,1)\). From this point onwards, for any integer \(p\ge 0\), we denote by \(C^{p,\alpha }\) the space of functions whose partial derivatives up to order p are Holder continuous with exponent \(\alpha \) over their domain of definition. Such a domain with the above properties is called an Lperiodic striplike domain of class \(C^{1,\alpha }\).
Pseudostreamfunction formulation
Since we have an incompressibility condition, the velocity vector field of the fluid is divergence free. We can therefore introduce a (relative) pseudostreamfunction, \(\psi =\psi (X,Y)\), Lperiodic in X throughout \(\Omega \). It is defined such that it provides the (relative) pseudovelocity field \((\psi _{Y},\psi _{X})\) in a moving frame at constant wave speed, thus eliminating the timedependance. This pseudostreamfunction differs from the streamfunction used for homogeneous fluids in the sense that it is scaled by a factor of \(\sqrt{\rho }\). This enables it to capture the effects of stratification which the regular streamfunction doesn’t.
Let us briefly recall that Euler’s equations for steady stratified waves in the interior of the domain \(\Omega \) expressed in terms of the pseudostreamfunction are given by
The last equation (continuity equation) indicates that the density \(\rho \) is transported, and therefore constant along streamlines. As a result, it can be expressed in terms of the pseudostreamfunction. We thus denote
By eliminating the pressure term in Euler’s equations, we can show that
which enables us to conclude that \((\triangle \psi +gY\rho '(\psi ))\) and \(\psi \) have the same level sets. We can therefore write:
This equation is known as the YihLong Equation (for more details, see [3]). Note that since we are not assuming that \(\psi _{Y}\ne 0\), \(\beta (\psi )\) is not necessarily a singlevalued function!
In our case, and for the remainder of this paper, we will set
where \(\gamma \in {\mathbb {R}}\), is an arbitrary constant. What this means physically is that the variation of energy as a function of streamlines is constant. Moreover, we will choose a density function which depends linearly on streamlines:
with arbitrary \(A\in {\mathbb {R}}\). The constant B is also arbitrary but since the density function needs to be nonnegative at all times, and \(\psi =0\) at the surface, we will require that \(B\in {\mathbb {R}}^+\).
We recover the above eliminated pressure term through Bernoulli’s theorem which states that the quantity
is constant along streamlines. In plain terms, E represents the energy of the fluid particles at a point (X, Y) in the domain. In particular, (2) indicates that E is equal to the sum of the energy due to internal pressure, the kinetic energy and the gravitational potential energy. On the free surface, where we have \(\psi \equiv 0\) and constant (atmospheric) pressure \(P=P_{\text {atm}}\), (2) becomes
Here the hydraulic head \(Q:=(EP_{\text {atm}})\mid _{{\mathcal {S}}}\) groups together all constant quantities on the surface.
As a result, we obtain the following problem in the physical plane:
where the constants \(a:=Ag\), \(b:=2gB\). The quantity m is the pseudorelative mass flux. In this paper, m and Q will be the parameters which will vary along the solution curve.
The goal is to find solutions \((\Omega ,\psi )\) to the above water wave problem with \(\psi \in C^{\infty }(\Omega )\bigcap C^{1,\alpha }({\overline{\Omega }})\).
Physical relevance
Before we begin, we would like to briefly discuss the physical relevance of the choices we have made for the density function and the energy variation along streamlines. As we have pointed out in the introduction, the density function needs to be positive at all times, which necessarily calls for B to be nonnegative. The sign of the constant A is however a more delicate question. It is customary to work with what is known as stably stratified fluids. This simply means that the density function is nondecreasing with depth, implying that the derivative of \(\rho \) with respect to Y should be nonpositive. Notice that
However, in this paper the waves we construct can have internal stagnation points and critical layers, implying that \(\psi _Y\) doesn’t necessarily have a fixed sign. Moreover, we are also allowing for overhanging profiles: when a wave overturns, it will be unstably stratified. With these considerations in mind, we have opted to choose \(A\in {\mathbb {R}}\), rather than assigning it a fixed sign.
The main motivation for choosing a density function which depends linearly on the pseudo streamfunction and a constant energy variation, has been from a mathematical standpoint. By removing all \(\psi \) dependence on the righthand side of the first equation in (4), we are able to reformulate the problem in terms of a harmonic function. We are still working to develop a version of the approach used in this paper to a more general setting. That being said, as we will see later on, even in this relatively “simple” setting, the analysis is already quite involved and the equations long and complicated.
Keeping the above considerations in mind, in Sect. 5 we prove that for A negative and \(\gamma \) positive, we cannot have internal stagnation points, critical layers, or overhanging profiles. As we will see, with these choices of A and \(\gamma \), the pseudostreamfunction is nonnegative and \(\psi _Y<0\) in the fluid domain. Our first concern is ensuring that the density function is nonnegative. Recall that a necessary and sufficient condition for our density function to be positive is
Since A and B are fixed we set the additional requirement that
Moreover, using (5), we see that we are in an unstably stratified setting. Although A positive would be more reasonable physically, the results we have obtained were the best we could get with our methods.
The conformal mapping
The way in which (4) is formulated above in the physical plane is disadvantageous in the sense that the unknown is one of the boundaries: the free surface. In order to handle this difficulty, we will reformulate the problem via a conformal mapping.
Before we begin, let us define the following horizontal strip:
The idea is to regard the unknown fluid domain as the conformal image of a strip \({\mathcal {R}}_d\). Consider any Lperiodic striplike domain \(\Omega \) of class \(C^{1,\alpha }\), whose boundary consists of \({\mathcal {B}}\) and an Lperiodic curve \({\mathcal {S}}\). Then it was shown in [7] that there exists a unique positive constant h (the conformal mean depth) such that we can find a conformal mapping \(U+iV\) from \({\mathcal {R}}_h\) onto \(\Omega \). This mapping extends as a homeomorphism between the closures of these domains and is defined such that
with \(U,V\in C^{1,\alpha }(\overline{{\mathcal {R}}_{h}})\) and
As a result, the top of the strip is mapped to the free surface, and the bottom, to the impermeable flat bottom of the fluid domain. Since \(\Omega \) has a periodic structure, we need some periodicity in the strip as well. The natural choice is for the horizontal periodicity to be identical to the one in the original domain: \(L=\frac{2\pi }{k}\). The vertical dimension, the conformal mean depth h, is a number that is determined by the geometry of the fluid domain, and thus cannot be known yet (we refer to [12] for a proof of its existence and uniqueness). We therefore get a rectangular box of height h and length \(\frac{2\pi }{k}\) whose image via the conformal map corresponds to one period in \(\Omega \).
This rectangle is certainly not unique, but the ratio of its length over its width must always be constant. And therefore, since we prefer to work in a setting of period \(2\pi \), we can dilate the top of the rectangle and thus the vertical coordinate at the bottom will be \(kh\). Following definition (8) we denote rectangular strip by \({\mathcal {R}}_{kh}\). This rectangle is periodic in the sense that x lies on a suitable onedimensional torus.
Let us now take a closer look at the conformal map \(U+iV\), and in particular, at the boundary conditions the function V has to satisfy. We define
Since V maps the strip into \(\Omega \), we must have
and therefore, knowing v(x) gives us the entire conformal mapping (U being recovered as the harmonic conjugate of \(V\)), which in turn then gives us the fluid region. Recall that the connection between v(x) and the unknown free surface is given by the parametrization
We would like to point out that such a conformal mapping exists for any geometry of the free surface and we can therefore allow for waves with an overhanging profile.
Nonlocal reformulation via the periodic Hilbert transform
One important consideration we have to take into account is that we have boundary conditions on \(\partial \Omega \) which need to be satisfied, in particular, the nonlinear Bernoulli condition on the surface. We therefore need to consider which conditions v(x) needs to satisfy such that this boundary condition in the fluid domain is verified, which will lead us to derive the equations in terms of v(x).
To begin with, because of the consideration on the conformal mean depth (see [7]), we have that
where square brackets, throughout this entire paper, will represent the mean over one period of \(2\pi \)periodic function.
From (9), we have
for all \(x\in {\mathbb {R}}\) where \(w\mapsto {\mathcal {G}}_{kh}(w)\) denotes the periodic DirichletNeumann operator for the strip.
Since U is a harmonic conjugate of \(V\) on \({\mathcal {R}}_{kh}\) we obtain
for all \(x\in {\mathbb {R}}\), where \({\mathcal {C}}_{kh}\) is the periodic Hilbert transform on the strip. And therefore, using the Cauchy–Riemann equations, we get
since \({\mathcal {C}}_{kh}\) commutes with derivatives.
Remark 1
The periodic Hilbert transform for the strip is given by:
for all \(w\in L_{2\pi }^2\) with \([w]=0\), where w has the Fourier series expansion
Moreover, \({\mathcal {C}}_{kh}\) is a bounded linear operator from \(C_{2\pi }^{p,\alpha }\) into itself. This will be needed for the construction of smallamplitude solutions, in Sect. 3. For more details on the periodic Hilbert transform, see the Appendix in [7].
Using the Hilbert transform, we can now rewrite the problem in terms of the function v(x). Indeed, since from classical elliptic theory we know that the problem
admits a unique solution, it suffices to find a suitable v(x) which in turn will determine a suitable domain \(\Omega \) in which the solution to (11) also satisfies the Bernoulli boundary condition.
Notice from (11) that the mapping \((X,Y)\mapsto \psi (X,Y)\frac{\gamma }{2}Y^2\frac{a}{6}Y^3+m\) is harmonic in \(\Omega \) and so our function in the strip will also be by the invariance of harmonicity under conformal mappings.
More specifically, if \(\psi \) is the unique solution to (11), we define \(\xi :{\mathcal {R}}_{kh}\rightarrow {\mathbb {R}}\) by
for all \((x,y)\in {\mathcal {R}}_{kh}\), and \(\zeta :{\mathcal {R}}_{kh}\rightarrow {\mathbb {R}}\) by:
Using the fact that the Bernoulli boundary condition in terms of \(\xi \) is given by
we can see that (4) becomes
From the definition of the DirichletNeumann operator \({\mathcal {G}}_{kh}\), we get:
where V satisfies (9). We can therefore rewrite the last condition of (12) as
We have thus reduced the problem (4) in the physical plane to a problem of finding a positive number h and a function \(v\in C^{1,\alpha }_{2\pi }({\mathbb {R}})\) which satisfy
where \(C^{p,\alpha }_{2\pi }({\mathbb {R}})\) denotes the space of \(2\pi \)periodic functions whose partial derivatives up to order p are Hölder continuous with exponent \(\alpha \) over their domain of definition.
However, since \([v]=h\), (13) can be rewritten as
and therefore, the first condition in (14) becomes
Reformulation using Riemann–Hilbert theory
The above formulation would be sufficient for proving the existence of smallamplitude waves by means of local bifurcation theory. However, for the existence of largeamplitude waves, some compactness criteria need to be satisfied, which doesn’t seem to be the case for (16). We therefore need to reformulate the problem, and we will do so using Riemann–Hilbert theory.
We begin by introducing the following class of function, see [7] for more details.
Definition 2.1
A \(2\pi \)periodic function \(z+iw:{\mathbb {R}}\rightarrow {\mathbb {C}}\) is said to belong to the class \(A_d^{p,\alpha }\) for some \(d>0\), \(\alpha \in (0,1)\) and some integer \(p\ge 0\), if \([w]=0\) and there exists a holomorphic function \(Z+iW:{\mathcal {R}}_d\rightarrow {\mathbb {C}}\) such that \(Z,W\in C_{2\pi }^{p,\alpha }(\overline{{\mathcal {R}}_d})\), where W satisifes (9) with \(W(x,0)=w(x)\), and \(Z(x,0)=z(x)\) for all \(x\in {\mathbb {R}}\).
Moreover, given a \(2\pi \)periodic function \(z+iw:{\mathbb {R}}\rightarrow {\mathbb {C}}\) with \([w]=0\), we have that
Finally, it can also be easily checked (or looked up in [7]) that \(A_d^{p,\alpha }\) is an algebra.
We will show that a certain mapping (see (22) below) being in this class of functions is equivalent to (18)–(19) below. This will then enable us to show that (18) coupled with (19) is a reformulation of (16). This new formulation is of Babenko type and is given as follows:
with
coupled with the scalar constraint
for unknowns \((m,Q,v)\in {\mathbb {R}}\times {\mathbb {R}}\times C_{2\pi }^{1,\alpha }({\mathbb {R}})\).
Theorem 2.2
Let \((m,Q,v)\in {\mathbb {R}}\times {\mathbb {R}}\times C_{2\pi }^{1,\alpha }({\mathbb {R}})\), with \([v]=h\). Then we have the following:
 (i)

(ii)
If (16) holds and
$$\begin{aligned} V_x^2+V_y^2\ne 0\quad \text {in}\,\,\overline{{\mathcal {R}}_{kh}}, \end{aligned}$$
Proof
First off, notice that for any \(\zeta \) solution of (12), we have
for all \(x\in {\mathbb {R}}\). Moreover, (16) is equivalent to the last line in (12). Therefore, (19) is equivalent to
Since \(A_{kh}^{0,\alpha }\) is an algebra, it is easy to see that
We would now like to prove that (18) can be expressed as:
Indeed, the imaginary part of (22) is
which satisfies the condition \([w]=0\).
On the other hand, the real part of (22) is, using (15), equal to:
and therefore, using the fact that \(f\mapsto {\mathcal {C}}_{kh}(f')\) is a selfadjoint linear operator to obtain some simplifications, we get:
which is equal to what we defined earlier as \(\kappa \). As a result, by (17), the formulation (22) is equivalent to
from which we can clearly see that (22) is equivalent to (18).
(i) Let us first suppose that (18)–(19) hold. Then naturally, (22) and (21) hold. Therefore, since \(A_{kh}^{0,\alpha }\) is an algebra, we can clearly see that
Moreover, using (20), we have
Since this function is realvalued and in \(A_{kh}^{0,\alpha }\), it must be constant. Therefore, using (20) once more, we can write
and from the scalar equation, we know that \(C_0\equiv 0\) and therefore (16) holds.
(ii) Let us assume now that (16) holds. Clearly, (19) holds by just taking averages. Moreover, (16) is equivalent to (25) with \(C_0=0\). Therefore, (24) holds and using (20), (23) must hold. Since we are assuming that
it is clear that
Since \(A_{kh}^{0,\alpha }\) is an algebra, one can deduce from (23) that (22) holds, thus completing the proof. \(\quad \square \)
Although we will address this matter later on in the paper again, we would like to make the reader aware of the fact that the problem (18)–(19) is more general than the water wave problem and that solutions we find to this problem might not exist in the physical plane. We will have to find solutions such that, in addition, the parameterized free surface is injective, nonselfintersecting and contained in the upperhalf plane. We will address this matter in Sect. 4.
Existence Theory
Parameters and family of trivial solutions
The goal of this section is to prove the existence of solutions (m, Q, v) of (18)–(19) in the space \({\mathbb {R}}\times {\mathbb {R}}\times C_{2\pi ,e}^{2,\alpha }({\mathbb {R}})\), such that \([v]=h\) and where we defined
We will begin by looking at smallamplitude solutions, by using the local bifurcation theorem of Crandall and Rabinowitz (see [16]). We stated the theorem in the appendix, combined in one with the realanalytic global bifurcation theorem we will use later on. At this time, we only verify assumptions (H1)(H2).
Given \(v\in C_{2\pi }^{2,\alpha }\), we separate the average h of v by setting
We begin by noting that we have a family of trivial solutions for which \(v=h\), and Q and m are related by
for \(m\in {\mathbb {R}}\) arbitrary. In particular, this family represents a curve
in the space \({\mathbb {R}}\times {\mathbb {R}}\times C_{2\pi ,e}^{2,\alpha }({\mathbb {R}})\). These solutions are the laminar flows in the fluid domain bounded below by \({\mathcal {B}}\) and above by the free surface \(Y\equiv h\) with streamfunction
Since one must have \([v]=h\), we will work with the function \(w=vh\) for which \([w]=0\). Then w satisfies:
where \(\kappa (w)\) denotes \(\kappa \) in terms of w. For the sake of readability, and since the exact formulation is not important here, we don’t write it out.
Moreover, (26) is coupled with the following scalar constraint:
And finally, we also have:
for \(w\in C_{2\pi }^{1,\alpha },\,\,m\in {\mathbb {R}}\) and \(h>0\).
Note that \(w=0\) in \(C_{2\pi }^{1,\alpha }\) is a solution if and only if
Q and m are related as such for trivial solutions, but this is not necessarily the case in general. This therefore suggests setting
We introduce the parameter
which is a reasonable choice since the above expression is the horizonal velocity at the free surface of laminar flows, a customary bifurcation parameter for smallamplitude waves.
Smallamplitude solutions
We choose the Banach spaces
In terms of the new parameters \(\lambda \) and \(\mu \), (26)–(27) may be written as:
where \(F:{\mathbb {R}}\times {\mathbb {X}}\rightarrow {\mathbb {Y}}\) with \({\mathbb {X}}\) and \({\mathbb {Y}}\) defined by (29). Here \(F:=(F_1,F_2)\) is given by
and
for \(w\in C_{2\pi }^{1,\alpha }({\mathbb {R}}),\,\,\mu \in {\mathbb {R}}\) and \(\lambda \in {\mathbb {R}}\). Clearly, \(F=(F_1,F_2)\) is realanalytic on \({\mathbb {R}}\times {\mathbb {X}}\).
Let us define the following open set in \({\mathbb {R}}\times {\mathbb {X}}\):
We now prove that (H1)(H2) hold.
We calculate:
for \((\nu ,f)\in {\mathbb {X}}\).
The function f is even, \(2\pi \)periodic and has zero average. We can therefore expand it into the Fourier series
Therefore, using the definition of the Hilbert transform (10) we get
We can therefore deduce that the bounded linear operator \(\partial _{(\mu ,w)}F(\lambda ,(0,0)):{\mathbb {X}}\rightarrow {\mathbb {Y}}\) is invertible whenever \(\lambda \) is not a solution of:
Hence, by the implicit function theorem, for any integer \(n\ge 1\), the \(\lambda \) satisfying (32) are potential bifurcation points. We denote these by \(\lambda _{n,\pm }^*\) and denote the set of all these points by \(\{\lambda _{n,\pm }^*:n\in {\mathbb {N}} \}\).
It now suffices to show that (H2) holds for all \(\lambda ^*\in \{\lambda _{n,\pm }^*:n\in {\mathbb {N}} \}\). We pick any such \(\lambda ^*\). We can immediately see that the kernel \(\text {Ker}(\partial _{(\mu ,w)}F(\lambda ^*,(0,0)))\) is 1dimensional and is generated by \((0,w^*)\in {\mathbb {X}}\) where \(w^*(x)=\cos (nx)\).
We now claim that the corange \({\mathbb {Y}}\setminus \text {Ran}(\partial _{(\mu ,w)}F(\lambda ^*,(0,0)))\) is also 1dimensional. Indeed, notice that the range \(\text {Ran}(\partial _{(\mu ,w)}F(\lambda ^*,(0,0)))\) is the closed subset of \({\mathbb {Y}}\) consisting of the elements \((\varphi ,c)\in {\mathbb {Y}}\), where \(c\in {\mathbb {R}}\) is arbitrary and \(\varphi \) satisfies
As a result, \({\mathbb {Y}}\setminus \text {Ran}(\partial _{(\mu ,w)}F(\lambda ^*,(0,0)))\) is generated by \((w^*,\tilde{c})\) where \(w^*(x)=\cos (nx)\) and the claim is proven.
Finally, we check that the transversality condition is satisfied. To this end, we compute:
This is not in the range of \(\partial _{(\mu ,w)}F(\lambda ^*,(0,0))(1,(w^*,0))\) since (32) yields
Therefore, the conditions of the CrandallRabinowitz theorem are satisfied for every \(\lambda ^*\in \{\lambda _{n,\pm }^*:n\in {\mathbb {N}} \}\) and the existence of water waves of smallamplitude is now immediate.
Global continuum
We now want to extend these local solution curves to global ones. For this, we will use the global bifurcation theorem for realanalytic operators due to Dancer [13] and Buffoni and Toland [14] (see the full theorem recalled in the Appendix). In particular, we need to verify the compactness conditions (H3)(H4). To this end, we reorganize \(F_1\) in the following form
Here \(J(\lambda ,w):=J_1(w)+J_2(\lambda ,w)\) with
and \(J_2(\lambda ,w)\) gathers up all the remaining terms. Notice that \(J_2(\lambda ,w)\) is just a combination of a polynomial in w and scalar terms which depend on w.
We will now need the following theorem. For the proof, we refer to [12].
Theorem 3.1
[12] If \(f\in C_{2\pi }^{j,\alpha }({\mathbb {R}})\) and \(g\in C_{2\pi }^{j1,\alpha }({\mathbb {R}})\), with \(j\in {\mathbb {N}}\) and \(\alpha \in (0,1)\), then \(f{\mathcal {C}}_d(g){\mathcal {C}}_d(fg)\in C_{2\pi }^{j,\delta }({\mathbb {R}})\) for all \(\delta \in (0,\alpha )\), and there exists a constant \(C:=C(j,\alpha ,\delta )\) such that
As a consequence of the above theorem, the continuous nonlinear mapping \(J_1\) maps bounded sets of \(C_{2\pi }^{2,\alpha }({\mathbb {R}})\) into bounded sets of \(C_{2\pi }^{2,\delta }({\mathbb {R}})\) and therefore into relatively compact subsets of \(C_{2\pi }^{1,\alpha }\).
We have
Since, by the definition of \({\mathcal {O}}\), we have \(\mu +\lambda ^22bw(x)>0\) for all \(x\in {\mathbb {R}}\), it follows that \(\partial _wF_1(\lambda ,(\mu ,w)):C^{2,\alpha }_{2\pi }({\mathbb {R}})\rightarrow C^{1,\alpha }_{2\pi }({\mathbb {R}})\) is the sum of an invertible linear mapping and a compact one. It is therefore a Fredholm operator of index 0 (see Theorem 2.7.6 in [14]).
We now notice that
Since \(\partial _wF_1\) is Fredholm with index 0 and all the other entries are bounded, using the Fredholm bordering lemma (see Lemma 2.3 in [17] for full statement and clever proof), the operator matrix (36) is also Fredholm with index 0. We have thus verified condition (H3).
We are now ready to verify (H4). We define the sequence \(\{{\mathcal {Q}}_j \}_{j\ge 1}\) by:
and therefore, each \({\mathcal {Q}}_j\) is bounded and closed with \(\cup _{j\in J}{\mathcal {Q}}_j={\mathcal {O}}\).
We choose an arbitrary \(j\in {\mathbb {N}}\) and consider \((\lambda ,(\mu ,w))\in {\mathcal {Q}}_j\) such that \(F(\lambda ,(\mu ,w))=0\). Therefore, from (34), since
we can invert the linear operator \(w\mapsto {\mathcal {C}}_{kh}(w')\) to get
This enables us to get a uniform upper bound for w in the space \(C_{2\pi }^{3,\delta }({\mathbb {R}})\), which in turn implies that \(\{(\lambda ,(\mu ,w))\in {\mathcal {O}}:F(\lambda ,(\mu ,w))=0 \}\cap {\mathcal {Q}}_j\) is compact in \({\mathbb {R}}\times {\mathbb {X}}\). All the assumptions of the analytic global bifurcation theorem are now satisfied and we have therefore proved the following theorem.
Theorem 3.2
Let \(h,k>0\) and the constants \(\gamma ,a\in {\mathbb {R}}\) and \(b\in {\mathbb {R}}^2\) be given. For each \(n\in {\mathbb {N}}\), let
and
For any \(m\in {\mathbb {R}}\setminus \{m_{n,\pm }^*:n\in {\mathbb {N}} \}\), there exists a neighborhood in \({\mathbb {R}}\times {\mathbb {R}}\times C_{2\pi ,e}^{2,\alpha }({\mathbb {R}})\) of the point (m, Q, h) on \({\mathcal {K}}_{\text {triv}}\), where Q is related to m by
in which the only solutions of (18)–(19) are those on \({\mathcal {K}}_{\text {triv}}\).
Moreover, consider the points \(m_{n,\pm }^*\). For each integer \(n\ge 1\) and each choice of sign ±, there exists in the space \({\mathbb {R}}\times {\mathbb {R}}\times C_{2\pi ,e}^{2,\alpha }({\mathbb {R}})\) a continuous curve
of solutions of (18)–(19) such that the following properties hold:

(I)
\((m(0),Q(0),v_0)=(m_{n,\pm }^*,Q_{n,\pm }^*,h)\) where \(m_{n,\pm }^*\) and \(Q_{n,\pm }^*\) are given by (i) and (ii);

(II)
\(\quad v_s(x)=h+s\cos (nx)+o(s)\) in \(C_{2\pi ,e}^{2,\alpha }({\mathbb {R}})\) if \(0\le s<\epsilon \) for some \(\epsilon >0\), sufficently small,

(III)
There exists a neighborhood \({\mathcal {W}}_{n,\pm }\) of \((m_{n,\pm }^*,Q_{n,\pm }^*,h)\) in \({\mathbb {R}}\times {\mathbb {R}}\times C_{2\pi ,e}^{2,\alpha }({\mathbb {R}})\) and \(\epsilon >0\) sufficently small such that
$$\begin{aligned} \begin{aligned} \{(m,Q,v)\in {\mathcal {W}}_{n,\pm }:v\ne h\,\,\text {and } (18){}(19)\text { hold} \}\\ =\{(m(s),Q(s),v_s):0<s<\epsilon \}; \end{aligned} \end{aligned}$$ 
(IV)
\(Q(s)bv_s(x)>0\) for all \(s,x\in {\mathbb {R}}\);

(V)
\({\mathcal {K}}_{n,\pm }\) has a realanalytic reparametrization locally around each of its points;

(VI)
One of the following alternatives occurs:

(a)
either
$$\begin{aligned}&\min \left\{ \frac{1}{1+\Vert m(s),Q(s),v_s\Vert _{{\mathbb {R}}\times {\mathbb {R}}\times C_{2\pi ,e}^{2,\alpha }({\mathbb {R}})}},\min _{x\in {\mathbb {R}}}(Q(s)bv_s(x) ) \right\} \\&\quad \rightarrow 0\,\,\text {as}\,\,s\rightarrow \pm \infty \end{aligned}$$ 
(b)
or, there exists a \(T>0\) such that
$$\begin{aligned} (m(s+T),Q(s+T),v_{s+T} )=(m(s),Q(s),v_s ),\quad \quad \quad \forall s\in {\mathbb {R}}. \end{aligned}$$Moreover, for each integer \(n\ge 1\), and both choices of sign ±, such a curve of solutions of (18)–(19) with the properties (I)(VI) is unique up to reparametrization.

(a)
Nodal Analysis
The problem (18)–(19) is more general than the water wave problem, and therefore the solutions we have found above do not necessarily provide physical water wave solutions. In particular, the solutions are only physically relevant if the reparametrization of the free surface satisfies some nonselfintersecting condition. In other words, the solutions give rise to water waves if and only if the mapping
is injective and
is contained in the upperhalf plane.
Periodicity
Since the solutions we have constructed in the previous section are in the function space \(C_{2\pi ,e}^{2,\alpha }({\mathbb {R}})\), they are symmetric and periodic, and it therefore suffices to study what happens in a halfperiod of a wave.
We will now look in more detail at the solutions along the curve \({\mathcal {K}}_{1,\pm }\). From Theorem 3.2, we know that near the bifurcation point these solutions are of the form
which are monotone functions on a halfperiod. This added monotonicity makes these solutions easier to study than the ones for integers \(n\ge 2\), where \(\cos (nx)\) oscillates within the halfperiod.
However, from Lemma 4.1(i) recalled below, similar results to the ones we will provide in this section, can be shown for the curves \({\mathcal {K}}_{n,\pm }\) for all \(n\ge 2\) by working in a function space of period \(2\pi / n\).
Moreover, by denoting
where
and
from Lemma 4.1(ii) below, it suffices to study the properties of solutions along \({\mathcal {K}}_{\pm }^>\).
Lemma 4.1
Let \(h,k>0\) and the constants \(\gamma , a \in {\mathbb {R}}\) and \(b\in {\mathbb {R}}^+\) be given. For each integer \(n\ge 1\) and both choices of sign ±, denote by
the continuous curve of solutions of (18)–(19) in the space \({\mathbb {R}}\times {\mathbb {R}}\times C_{2\pi ,e}^{2,\alpha }\) given by the previous theorem. Then the following additional properties hold along \({\mathcal {K}}_{n,\pm }\):

(i)
\(v_s\) is periodic of period \(2\pi / n\) for each \(s\in {\mathbb {R}}\);

(ii)
\(m(s)=m(s), \,Q(s)=Q(s),\) and \(v_{s}(x)=v_s(x+/ n)\) for all \(x\in {\mathbb {R}}\), for each \(s\in {\mathbb {R}}\).
We refer to (Lemma 10, [7], Sect. 4) for the proof, choosing
Injectivity
That our solutions near the bifurcation point are monotonic on \((0,\frac{\pi }{k})\) enables us to assume that along \({\mathcal {K}}_{\pm ,\text {loc}}^>\), we have \(v'(x)<0\) for all \(x\in (0,\frac{\pi }{k})\). If we can prove that this property is preserved along the entire curve \({\mathcal {K}}_{\pm }^>\), we not only rule out the possibility of the curve looping back to the bifurcation point (Theorem 3.2(b)) but also obtain that the solution must be injective between the trough and the crest. In particular, it will then be sufficient to merely check the injectivity condition along the crest line and the trough line.
In order to show injectivity, we will use the reformulation presented in the following Lemma, stated without proof (see Lemma 11 in [7]).
Lemma 4.2
If
then the injectivity condition holds if and only if
Using the definition of the periodic Hilbert transform for the strip, (38) is equivalent to
Monotonicity properties
We are now ready to present a set of monotonicity properties for the pair \((m,v)\in {\mathbb {R}}\times C_{2\pi ,e}^{2,\alpha }\). These are motivated by the form of the smallamplitude solutions and will be shown to hold globally along the curve:
We would like to point out that for solutions (m, Q, v) of (16), condition (45) is equivalent to
Local properties
The question is now, to what extent are these properties satisfied along \({\mathcal {K}}_{\pm }^>\)? We introduce the following notation:
It is not difficult to show that these properties hold for solutions on \({\mathcal {K}}_{\pm }^>\) that are near enough to the trivial one. We therefore get the following lemma. We refer the reader to Lemma 12 in [7] for a proof.
Lemma 4.3
For either choice of sign ±, let (37) be the curve of solutions of (18)–(19). Then there exists \(\epsilon >0\) sufficently small such that
Main result
We now state and prove the main result of this section.
Theorem 4.4
For either choice of sign ±, let (37) be the curve of solutions of (18)–(19). Then one of the following alternatives occurs:

(A1)
\({\mathcal {K}}_{\pm }^>\subset {\mathcal {V}}_{\pm }\), in which case alternative (a) in Theorem 3.2 occurs;

(A2)
there exists some \(s^*\in (0,\infty )\) such that \(\{(m(s),Q(s),v_s):s\in (0,s^*) \}\subset {\mathcal {V}}_{\pm }\), while \((m(s^*),Q(s^*),v_{s^*})\) satisfies (39)–(42), (44) and (45), and instead of (43), it satisfies
$$\begin{aligned}&0<\frac{x}{k}+({\mathcal {C}}_{kh}(vh) )(x)\le \frac{\pi }{k}\quad \text {for all}\quad x\in (0,\pi ), \\&\frac{x_0}{k}+({\mathcal {C}}_{kh}(vh) )(x_0)=\frac{\pi }{k}\quad \text {for some}\quad x_0\in (0,\pi ). \end{aligned}$$
In other words, the first alternative (A1) means that all solutions on \({\mathcal {K}}_{\pm }^>\) correspond to physical water waves with the qualitative properties described above, whereas alternative (A2) means that such solutions exist until \(s=s^*\), at which point the wave profile selfintersects on the line strictly above the trough.
Since the qualitative properties hold in a neighborhood of the bifurcation point, the idea is to use a continuation argument: we need to check to what extend these properties are satisfied along the global curve of solutions. We are therefore faced with two possible options: either the properties hold along the entire curve, in which case (39)–(45) hold with strict inequalities. Or, there exists a first point at which at least one of the properties fails, and thus that particular property must then have a nonstrict inequality.
Therefore, we rewrite (39)–(45), replacing all the strict inequalities with nonstrict ones and argue by contradiction. We work with the harmonic functions U and V from the conformal map \(U+iV\) described in the beginning of the paper, evaluated at the surface of \({\mathcal {R}}_{kh}\). Notice that from the evenness of v, we can deduce the function V(x, y) is even in the x variable and the function U(x, y), being the harmonic conjugate of \(V\) up to a constant, is odd in the x variable.
Exploiting the harmonicity and parity of U and V and using the Cauchy–Riemann equations, we then use a series of strong maximum principle arguments, along with the Hopf and Serrin inequalites at the boundary, to show that the inequalites in (39)–(42), (44)–(45) and the first inequality in (43) must be strict.
The proof of this theorem presents very strong similarities to the proof of the analoguous theorem in [7]. However, for the sake of readability, we will provide most of the details: the maximum principle arguments are rather delicate and it is essential to carefully verify that the added stratification term does not cause too many complications. Indeed, in past literature, one major difficulty of proving nodal properties for stratified waves lies in the fact that the zeroth order term generally has the wrong sign (for example, see [1, 3]).
Proof of Theorem 4.4
We begin by fixing the choice of sign ±: we choose the \(+\) sign but all arguments follow identically for the − sign.
First off, we define the set
Notice that \({\mathcal {V}}_+\) is an open set in \({\mathbb {R}}\times {\mathbb {R}}\times C_{2\pi ,e}^{2,\alpha }({\mathbb {R}})\). This implies that I is an open subinterval of \((0,\infty )\). We therefore have two options. The first one is \(I=(0,\infty )\), in which case \({\mathcal {K}}_+^>\subset {\mathcal {V}}_+\). This would imply that the alternative (b) in Theorem 3.2 is excluded and (a) must be valid. In this case, there is nothing more to show.
The other option is that I is not equal to the entire interval \((0,\infty )\) and this is the case we will consider. Choosing the \(\epsilon \) from the local properties lemma, we have \((0,\epsilon )\subset I\). We now denote by \(s^*\) the upper endpoint of the largest interval containing \((0,\epsilon )\) and contained in I. In other words, we have \((0,s^*)\subset I\) but \(s^*\notin I\). We will investigate the properties of the solution \((m(s^*),Q(s^*),v_{s^*})\).
Claim 1: \(v_{s^*}\ne h\)
The proof of this claim is quite technical and completely identical to the one in [7], so we omit it here.
For notational simplicity, for the remainder of the proof, we will denote \((m(s^*), Q(s^*),v_{s^*})\) by \((m(s),Q(s),v_s)\). Note that this is the limit of the solutions satisfying the monotonicity properties.
From the definition of I, we therefore have the following inequalities:
In other words, either (39)–(45) are satisfied and the inequalities are strict, or they aren’t, in which case we have equality signs. Using sharp forms of maximum principles, we now prove that all the above inequalities, except for the second one in (48) are strict. To this end, we define the rectangular domain
with boundary \(\partial {\mathcal {R}}\) divided up into the following segments:
Claim 2: \(v(x)>0\) for all \(x\in {\mathbb {R}}\).
Assume that the claim does not hold. Then (46) and (47) imply that \(v(\pi )=0\). Since V is harmonic in \({\mathcal {R}}_{kh}\), it would therefore have a global minimum in \(\overline{{\mathcal {R}}_{kh}}\) at \((\pi ,0)\). Using the Hopf boundary point lemma, this would imply that \(V_y(\pi ,0)<0\). However, since (48) is equivalent to
using the Cauchy–Riemann equations, we get
This is a contradiction, and thus the claim has been proven.
Claim 3: (45) with the \(+\) sign holds.
Note that this is equivalent to
We know from Theorem 3.2 that
Therefore, since we have
the proof of the claim boils down to verifying that
This is equivalent to
or
We argue by contradiction.
We assume that there exists a point \(x_0\in {\mathbb {R}}\) such that \(V_x^2(x_0,0)+V_y^2(x_0,0)=0\). This would imply that
Notice that (49) is equivalent to
Combining (54) with (55) ensures that \(\zeta _y+\gamma VV_y+\frac{a}{2}V^2V_y=O((xx_0)^2)\) as \(x\rightarrow x_0\) at \(y=0\). From (52), we thus have that \(V_x^2(x,0)+V_y^2(x,0)=O((xx_0)^4)\) as \(x\rightarrow x_0\). Moreover, from the second derivative of the righthand side of (52), we see that
From the evenness and periodicity of v, we can assume, without loss of generality that \(0\le x_0\le \pi \). We now examine the three different possibilities for \(x_0\).
(i) \(x_0=0\) : this would imply, using (47), that V has a global maximum in \(\overline{{\mathcal {R}}_{kh}}\). By the Hopf boundary point lemma, we therefore get \(V_y(0,0)>0\). However this would mean that
which is a contradiction and so \(x_0\ne 0\).

(ii)
\(0<x_0<\pi \) : this would imply that \(V_x\) has its global maximum in \(\overline{{\mathcal {R}}}\) at \((x_0,0)\). Indeed, \(V_x=0\) on the vertical sides by oddness and on the bottom by the boundary condition, whereas (47) indicates that \(V_x\le 0\) on the top. By the Hopf boundary point lemma, we get \(V_{xy}(x_0,0)>0\), a contradiction to (56).

(iii)
\(x_0=\pi \) : Since the mapping \(x\mapsto V(x,y)\) is even about \(\pi \), for every \(y\in [kh,0]\), we have
$$\begin{aligned} V_{xxx}(\pi ,0)=V_{xyy}(\pi ,0)=0. \end{aligned}$$(57)As above, \(V_x\) has its global maximum in \(\overline{{\mathcal {R}}}\) at \((\pi ,0)\). Taking into account (56) and (57), the Serrin edgepoint lemma gives us that \(V_{xxy}(\pi ,0)<0\). The Cauchy–Riemann equations thus imply that \(U_{xxx}(\pi ,0)<0\). Similarly, we can deduce that \(U_x(\pi ,0)=U_{xx}(\pi ,0)\) since \(V_y(\pi ,0)=0\) by assumption and (56) holds. As a result, we obtain
$$\begin{aligned} U(x,0)U(\pi ,0)=\frac{1}{6}U_{xxx}(\pi ,0)(x\pi )^3+O((x\pi )^4)>0\quad \text {as}\quad x\nearrow \pi . \end{aligned}$$This is a contradiction to (50).
From points (i)(iii), we can deduce that \(x_0\) doesn’t exist and we have shown that
Since we have \(V_x(\pi ,0)=0\), we necessarily have \(V_y(\pi ,0)\ne 0\). From (50) and the Cauchy–Riemann equations, we have \(V_y(\pi ,0)=U_x(\pi ,0)\ge 0\). As a result, we obtain
This concludes the proof of the claim. \(\quad \square \)
Remark 2
Notice that we have also proved (44) and (53).
Remark 3
For the next part of the proof, we will need \((m,Q,v)\in {\mathbb {R}}\times {\mathbb {R}}\times C_{2\pi ,e}^3({\mathbb {R}})\). However, notice that by bootstrapping the improvement of regularity that is based on Theorem 3.1 in the proof of Theorem 3.2, it is not difficult to show that for any solution (m, Q, v) of (18)–(19), the function v is necessarily of class \(C^{\infty }\) on \({\mathbb {R}}\).
In addition, we will need the fact that
We omit the proof here as it is slightly technical, and is completely identical to the one in [7], located directly before Lemma 15.
Remark 4
Notice that from the dynamic boundary condition, we have
In what follows, we will be applying maximumprinciple arguments to the function \(f:\overline{{\mathcal {R}}_{kh}}\rightarrow {\mathbb {R}}\) given by
which is welldefined thanks to (58). Notice that f is in fact the (pseudo) horizontal velocity of the fluid, \(\psi _{X}\). Moreover, f is a harmonic function in \({\mathcal {R}}_{kh}\) as it is the imaginary part of
a quotient of two holomorphic functions. In addition, we clearly have \(f=0\) on \(\partial {\mathcal {R}}_l\cup \partial {\mathcal {R}}_b\cup \partial {\mathcal {R}}_r\). On the top, \(\partial {\mathcal {R}}_t\) we have
where we used (20) to get the lefthand side and (59) to obtain the righthand side.
Moreover, notice that on \(\partial {\mathcal {R}}_t\), f does not vanish identically and has a constant sign (which depends on the sign ±). By the maximum principle, f therefore has a strict sign in \({\mathcal {R}}\).
Claim 4: \(v'(x)<0\) for all \(x\in (0,\pi )\).
Arguing by contradiction, we assume that for some \(x_0\in (0,\pi )\), we have \(v'(x_0)=0\). Since, as a result, \(x_0\) is a global maximum for \(v'\) on \((0,\pi )\), we have \(v''(x_0)=0\). We can clearly see that we must then also have \(f(x_0,0)=0\) and therefore f has at \((x_0,0)\) a global extremum in \({\mathcal {R}}\cup \partial {\mathcal {R}}\). Applying the Hopf boundary point lemma, we get \(f_y(x_0,0)\ne 0\). The idea is now to show that we actually have \(f_y(x_0,0)=0\), which would lead to a contradiction.
For simplicity, we write
Clearly, for every point in \(\overline{{\mathcal {R}}_{kh}}\), we have
In particular, since at \((x_0,0)\) we have \(p=V_x=V_{xx}=0\), we obtain
Differentiating (59) with respect to x, we get:
at (x, 0) for all \(x\in {\mathbb {R}}\). Therefore, at the point \((x_0,0)\), where we already know that \(V_x=V_{xx}=0\), we have
We can now clearly see that at the point \((x_0,0)\), we have
Consequently, using (61) we get that \(f_y(x_0,0)=0\), thus obtaining the desired contradiction which proves the claim.
Claim 5: \(v''(0)<0\) and \(v''(\pi )>0\).
Since \(v'(0)=v'(\pi )=0\), and \(v'(0)\le 0\) on \([0,\pi ]\) we get
We therefore only need to prove that these two inequalities are strict. Again, we argue by contradiction.
Let us assume that for some \(x_0\in \{0,\pi \}\), we have \(v''(x_0)=0\). Then we clearly have \(V_x=V_{xx}=0\) at \((x_0,0)\). Since f admits a global extremum at \((x_0,0)\) in \({\mathcal {R}}\cup \partial {\mathcal {R}}\), the Serrin edgepoint lemma ensures that not all first and second derivatives of f can be equal to zero at the point \((x_0,0)\). However, we will now show that they all do in fact vanish, which will be a contradiction.
Since \(f=0\) on \(\partial {\mathcal {R}}_l\cup \partial {\mathcal {R}}_r\) and f is harmonic, we must therefore have \(f_y=f_{yy}=f_{xx}=0\) on \(\partial {\mathcal {R}}_l\cup \partial {\mathcal {R}}_r\). From the definition (60) of f on \(\partial {\mathcal {R}}_t\), we can see that \(f_x(x_0,0)\) contains a factor of \(V_x\) or \(V_{xx}\) for every term, and therefore, \(f_x(x_0,0)=0\).
We now check the mixed derivative \(f_{xy}(x_0,0)\). Using the same notation as for the previous claim, we get
Since at the point \((x_0,0)\) we have
we get
Differentiating p and evaluating it at \((x_0,0)\), we get
We calculate \(\zeta _{xxy}(x_0,0)\) by taking the derivative with respect to x of (63). Taking into account that \(V_x=V_{xx}=V_{xy}=0\) at \((x_0,0)\), we are left with
Since (62) is also valid at \((x_0,0)\) we clearly have
and therefore, \(f_{xy}(x_0,0)=0\). As a result, all first and second derivatives of f vanish at the point \((x_0,0)\) and we have obtained the desired contradiction and proven the claim.
Claim 6: condition (A2) in Theorem 4.4 holds.
Recall that (48) is valid. We first assume that the first part of (A2) fails. This means, there exists an \(x_0\in (0,\pi )\) such that
This would imply that the harmonic function U in \({\mathcal {R}}\) has at \((x_0,0)\) a global minimum in \(\overline{{\mathcal {R}}}\). Therefore, by the Hopf boundary point lemma, we get \(U_y(x_0,0)<0\). However, from the Cauchy–Riemann equations, we would then have \(V_x(x_0,0)>0\), a contradiction to (47). As a result, the first part of (A2):
is true.
The second part of (A2):
must also necessarily be true. Otherwise, taking into account everything we have proved thus far, we would have \((m(s^*),Q(s^*),v_{s^*})\in {\mathcal {V}}_+\), which would be a contradiction to the definition of \(s^*\). This completes the proof of the claim and of the theorem.
Overhanging Waves
Notice from the qualitative properties in the previous section that the symmetric physically relevant water wave solutions we have constructed have a wave profile whose vertical coordinate strictly decreases between each consecutive global maxima and minima. However, no monotonicity requirements were made on the horizontal coordinate and therefore, the waves could have overhanging profiles.
In this section, we will show that for certain assumptions on \(\gamma \) and a, the physical water waves from the previous section cannot have overhanging profiles. In particular, we would like to prove that for \(\gamma >0\) and for \(a>0,\) the waves do not overhang. We also set the additional requirement
to ensure that the density function remains nonnegative (see discussion in Sect. 2.3). Note that for the case \(A=0\), we are in the homogeneous case, studied in [15].
Before we begin, we would like to note that (18)–(19) are invariant under the change of parity \(\gamma \rightarrow \gamma ,\quad a\rightarrow a,\quad m\rightarrow m\). Since in this section we are only considering the case in which a and \(\gamma \) have the same sign, it therefore suffices to only consider either \({\mathcal {K}}_\) with \(\gamma ,a\ge 0\) or \({\mathcal {K}}_+\) with \(\gamma ,a\le 0\). We will work with the former. Waves whose surface profile do not overhang have not only a strictly monotone vertical coordinate but also a strictly monotone horizontal coordinate. Our aim is to show that
The idea is now to show that property (65) is preserved along all of \({\mathcal {K}}_\). Notice that (65) cannot occur in alternative (A2), and therefore for our choice of \(\gamma \) and a, the validity of (65) would imply that the curve of solutions \({\mathcal {K}}_\) must satisfy (A1).
The first part of the proof is similar to the one in [15] and can be easily adapted to our case, but for the benefit of the reader, we recall it here. We will study the validity of (65) in conjunction with the properties (39)–(45). This leads us to introduce the set
and to define the set J as
Since \({\mathcal {U}}_\) is an open set in \({\mathbb {R}}\times {\mathbb {R}}\times C_{2\pi ,e}^{2,\alpha }\), J is an open set in \((0,\infty )\). We will prove, by contradiction, that \(J=(0,\infty )\).
We assume that J is not the whole of \((0,\infty )\). It is immediate that there exists an \(\epsilon >0\) such that \((0,\epsilon )\subset J\). We denote by \(s^{\star }\) the upper endpoint of the largest interval that contains \((0,\epsilon )\) and is contained in J. In other words
We will from now on look at the properties of the solution \((m^{\star },Q^{\star },v_{s^{\star }})\). For simplicity of notation, we will denote this solution simply by (m, Q, v).
Following the same arguments as in [7], we necessarily have \(v\ne h\). Moreover, as in the previous section, the definition of \(s^{\star }\) implies that the following nonstrict inequalities hold
Following the same arguments as in the proof in the previous section, we can deduce that the inequalities (66)–(69), coupled with the fact that (m, Q, v) is the limit of a sequence of solutions that correspond to solutions of the original water waves problem in the physical plane, ensure the validity of (39)–(42), and (44) and the validity of (45) in the form
However, if (65) were also valid, this would imply that (43) would hold, which would be a contradiction to the definition of \(s^{\star }\). We can therefore conclude that there exists an \(x_0\in (0,\pi )\) such that
Finally, in order for \((m(s^{\star }),Q(s^{\star }),v_s^{\star } )\) to correspond to a solution of the original water wave problem, we need to check that the free surface is injective and nonselfintersecting (we have already shown that \(v(x)>0\) for all \(x\in {\mathbb {R}}\)). To begin with, the validity of (44) and (70) implies that (43) holds. Coupling this with the evenness and monotonicity of v, from the discussion in the previous section, we clearly have:
Moreover, from (71) and (16), we clearly have
and therefore \((m(s^{\star }),Q(s^{\star }),v_{s^{\star }} )\) corresponds to a solution \((\Omega ,\psi )\) of (4).
We now show the contradiction: in the physical plane, a solution satisfying all of the properties mentioned above, cannot exist.
Recall that
Then the free surface \({\mathcal {S}}=\{(u(x),v(x)):x\in {\mathbb {R}} \}\) has the following properties
We begin by examining the sign of \(\psi _{Y}\) in \({\overline{\Omega }}\).
On \(y=0\), we have
and from the Cauchy–Riemann equations, we get
Moreover, on \(y=0\) we have
which is strictly negative by (71). Therefore, it follows from (79) that
and from (78), we get that
In addition, \(\psi _{Y}\) doesn’t vanish identically on \({\mathcal {S}}\).
However, since \(a>0\), we know that \(\psi _{Y}\) is subharmonic in \(\Omega \).
At the bottom, we have
since \(Y=0\) on \({\mathcal {B}}\). Therefore, by the strong maximum principle and the Hopf boundary point lemma, the maximum of \(\psi _{Y}\) over \({\overline{\Omega }}\) cannot be attained on \(\Omega \) or on \({\mathcal {B}}\). As a result,
Moreover, from (79), (80),(81), we can conclude that
Let us now consider in \({\overline{\Omega }}\) the function R given by:
which is of the form \(R=P\psi M\) where P is the pressure and we choose \(M:=\gamma \).
Using Yih’s equation we find that in \(\Omega \), the function R satisfies:
where
Note, this is the equation derived in [1], Proposition 4.1.
However, since \(\psi _{Y}<0\) on \(\Omega \cup {\mathcal {B}}\), the righthand side of (82) is strictly positive.
Moreover,
Therefore, the maximum of R over \({\overline{\Omega }}\) cannot be attained on either \({\mathcal {B}}\) or in \(\Omega \), and is therefore attained all along \({\mathcal {S}}\) since \(R=0\) there.
Thus, by the Hopf boundary point lemma, the normal derivative of R has a strict sign along all of \({\mathcal {S}}\). In particular, at \((u(x_0),v(x_0) )\), we have \(R_x\ne 0\).
Recalling that \(\rho (\psi )=A\psi +B\) and \(a=Ag\) and \(b=2gB\), notice that we can rewrite R in the following way:
and therefore, at \((u(x_0),v(x_0)\), we get
since \(\psi _{Y}\) is equal to zero at \(x_0\). We can therefore conclude that
However, if we differentiate
and evaluate it at the point \(x_0\), since \(\psi _Y(u(x_0),v(x_0))=0\) and \(u'(x_0)=0\), we get
Moreover, from (77) and (78), we can deduce that \(u''(x_0)=0\) and since we know that \(v'(x_0)\ne 0\), we necessarily have
which is a contradiction to (83). The only possible source of contradiction could be the assumption that \(J\ne (0,\infty )\) which must thus be false. Therefore, we have proven that
We would now like to prove that the property (81) is in fact valid for all solutions on \({\mathcal {K}}_\).
Indeed, let us assume that (m, Q, v) is an arbitrary solution and \((\Omega ,\psi )\) is the associated solution to the original problem in the physical plane. Then the top boundary \({\mathcal {S}}\) of \(\Omega \) admits the parametrization (1) and the properties (72)–(74) hold and instead of (75)–(78) we have the condition
By applying the maximum principle for \(\psi _{Y}\) in \(\Omega \) as done above, we achieve the desired result. We have therefore proven the following theorem:
Theorem 5.1
Let \(\gamma \ge 0\), \(a\ge 0\) and \(m\ge b/(2a)\). Then the bifurcating curve \({\mathcal {K}}_\) of solutions of (18)–(19) satisfies alternative (A2). Moreover, any solution (m, Q, v) on \({\mathcal {K}}_\) satisfies
and if \((\Omega ,\psi )\) denotes the corresponding solution of (4), then
References
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, 517–576 (2017)
Wheeler, M.H.: Largeamplitude solitary water waves with vorticity, SIAM. J. Math. Anal. 45, 2937–2994 (2013)
Walsh, S.: Stratified steady periodic water waves. SIAM J. Math. Anal. 41, 1054–1105 (2009)
DubreilJacotin, M.L.: Sur la determination rigoureuse des ondes permanentes periodiques d’ampleurs finie. J. Math. Pures Appl. 13, 217–291 (1934)
Amick, C.J.: Semilinear elliptic eigenvalue problems on an infinite strip with an application to stratified fluids. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 4(11), 441–499 (1984)
Turner, R.E.L.: Internal waves in fluids with rapidly varying density. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 4(8), 513–573 (1981)
Constantin, A., Strauss, W., Varvaruca, E.: Global bifurcation of steady gravity water waves with critical layers. Acta Math. 217, 195–262 (2016)
Wahlen, E.: Steady water waves with a critical layer. J. Differ. Equ. 246, 2468–2483 (2009)
Kozlov, V., Kuznetsov, N.: Dispersion equation for water waves with vorticity and Stokes waves on flows with countercurrents. Arch. Ration. Mech. Anal. 214(3), 971–1018 (2014)
Varholm, K.: Global bifurcation of waves with multiple critical layers, arXiv:1907.05736, (2019)
Henry, D., Matioc, A.V.: Global bifurcation of capillarygravitystratified water waves. Proc. R. Soc. Edinburgh Sect. A 144, 775–786 (2014)
Constantin, A., Varvaruca, E.: Steady periodic water waves with constant vorticity: regularity and local bifurcation. Arch. Ration. Mech. Anal. 199, 33–67 (2011)
Dancer, E.N.: Bifurcation theory for analytic operators. Proc. Lond. Math. Soc. 26, 359–384 (1973)
Buffoni, B., Toland, J.F.: Analytic Theory of Global Bifurcation. Princeton Series in Applied Mathematics. Princeton University Press, Princeton (2003)
Constantin A., Strauss W., Varvaruca, E.: Largeamplitude steady downstream water waves, arXiv:1811.10353, (2018)
Crandall, M.G., Rabinowitz, P.H.: Bifurcation from simple eigenvalues. J. Funct. Anal. 8, 321–340 (1971)
Beyn, W.J.: The numerical computation of connecting orbits and dynamical systems. IMA J. Numer. Anal. 9, 379–405 (1990)
Funding
Open access funding provided by University of Vienna.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Communicated by A. Ionescu
Appendix
Appendix
We use this appendix to state the realanalytic bifurcation theorem we use in the paper. This result is originally by Dancer and was later improved by Buffoni and Toland. We draw the reader’s attention to the fact that the version below is not completely identical to the one in [14]. Instead, we state it as it is written in [7], where it has been modified to better suit the problem. Remark 8 in [7] discusses certain aspects of how the two formulations differ. In addition, notice that the nonvanishing assumption on \(\Lambda '\) in Theorem 9.1.1 of [14] is dropped in Theorem 6 in [7].
As in [7], we combine the theorem with the Crandall and Rabinowitz theorem (see [16]) for local bifurcation. In other words, conditions (H1)–(H2) are those for local bifurcation and (H3)–(H4) the compactness conditions from the global bifurcation theorem.
Theorem A.1
Let \({\mathbb {X}}\) and \({\mathbb {Y}}\) be Banach spaces, \({\mathcal {O}}\) be an open subset of \({\mathbb {R}}\times {\mathbb {X}}\) and \(F:{\mathcal {O}}\rightarrow {\mathbb {Y}}\) be a realanalytic function. Suppose that

(H1)
\((\lambda ,0)\in {\mathcal {O}}\) and \(F(\lambda ,0)=0\) for all \(\lambda \in {\mathbb {R}};\)

(H2)
for some \(\lambda ^*\in {\mathbb {R}}\), the kernel \(\text {Ker}(\partial _uF(\lambda ^*,0))\) and the corange \(Y\setminus \text {Ran}(\partial _uF(\lambda ^*,0))\) are 1dimensional, with the kernel generated by \(u^*\) and the transversality condition
$$\begin{aligned} \partial _{\lambda ,u}^2F(\lambda ^*,0)(1,u^*) \notin \text {Ran}(\partial _uF(\lambda ^*,0)) \end{aligned}$$holds;

(H3)
\(\quad \partial _uF(\lambda ,u)\) is a Fredholm operator of index zero for any \((\lambda ,u)\in {\mathcal {O}}\) such that \(F(\lambda ,u)=0\);

(H4)
for some sequence \(({\mathcal {Q}}_j)_{j\in {\mathbb {N}}}\) of bounded closed subsets of \({\mathcal {O}}\) with \({\mathcal {O}}=\cup _{j\in {\mathbb {N}}}{\mathcal {Q}}_j\), the set \(\{(\lambda ,u)\in {\mathcal {O}}:F(\lambda ,u)=0\}\cap {\mathcal {Q}}_j\) is compact for each \(j\in {\mathbb {N}}\).
Then there exists in \({\mathcal {O}}\) a continuous curve \({\mathcal {K}}=\{(\lambda (s),u(s)):s\in {\mathbb {R}} \}\) of solutions to \(F(\lambda ,u)=0\) such that:

(C1)
\((\lambda (0),u(0))=(\lambda ^*,0)\);

(C2)
\(u(s)=su^*+o(s)\) in \({\mathbb {X}},\,\,s<\epsilon \) as \(s\rightarrow 0\);

(C3)
there exist a neighborhood \({\mathcal {W}}\) of \((\lambda ^*,0)\) and \(\epsilon >0\) sufficiently small such that
$$\begin{aligned} \{(\lambda ,u)\in {\mathcal {W}}:u\ne 0\,\,\text {and}\,\,F(\lambda ,u)=0 \}=\{(\lambda (s),u(s) ):0<s<\epsilon \}; \end{aligned}$$ 
(C4)
\({\mathcal {K}}\) has a realanalytic reparametrization locally around each of its points;

(C5)
one of the following alternatives occurs:
(a) for every \(j\in {\mathbb {N}}\), there exists \(s_j>0\) such that \((\lambda (s),u(s))\notin {\mathcal {Q}}_j\) for all \(s\in {\mathbb {R}}\) with \(s>s_j\);
(b) there exists \(T>0\) such that \((\lambda (s+T),u(s+T))=(\lambda (s),u(s))\) for all \(s\in {\mathbb {R}}\).
Moreover, such a curve of solutions to \(F(\lambda ,u)=0\) having the properties (C1)–(C5) is unique up to reparametrization.
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. Stratified LargeAmplitude Steady Periodic Water Waves with Critical Layers. Commun. Math. Phys. 381, 765–797 (2021). https://doi.org/10.1007/s00220020038920
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220020038920