Abstract
We consider Euler’s equations for free surface waves traveling on a body of density stratified water in the scenario when gravity and surface tension act as restoring forces. The flow is continuously stratified, and the water layer is bounded from below by an impermeable horizontal bed. For this problem we establish three equivalent classical formulations in a suitable setting of strong solutions which may describe nevertheless waves with singular density gradients. Based upon this equivalence we then construct two-dimensional symmetric periodic traveling waves that are monotone between each crest and trough. Our analysis uses, to a large extent, the availability of a weak formulation of the water wave problem, the regularity properties of the corresponding weak solutions, and methods from nonlinear functional analysis.
1 Introduction
Stratification is a phenomenon that is common in ocean flows where in the presence of salinity and under the influence of the gravitational force a heterogeneity in the fluid is produced. Stratification corresponds to the formation of fluid layers, normally arranged horizontally with the less dense layers being located on top of the denser ones. This phenomenon may be caused by many other factors including temperature, pressure, topography and oxygenation. Because of the plethora of effects resulting from stratification, such flows have received much attention, especially in geophysical fluid dynamics. In the setting of traveling stratified waves the problem is modeled by the stationary Euler equations for incompressible fluids, subject to natural boundary conditions, cf. (2.2). The study of two-dimensional stratified flows dates back to the pioneering work of Dubreil–Jacotin. In 1937 Dubreil–Jacotin [23] constructed small-amplitude stratified traveling gravity waves by using power series expansions. Previously in [22] she showed that Gerstner’s explicit solution [10, 27] can be accommodated to describe exact traveling gravity waves with an arbitrary stratification. Furthermore, related to Gerstner’s solution, there is a further exact solution describing an edge wave propagating along a sloping beach [9, 43, 48] allowing even for an arbitrary stratification. Recently also other exact and explicit solutions of stratified flows in different geophysical regimes have been found, cf. [12, 16, 17, 29,30,31, 36].
Many of the papers dedicated to the stratified water wave problem consider the vertical stratification to be fairly smooth. Small-amplitude periodic gravity water waves possessing a linear stratification have been constructed in [25]. These waves may contain critical layers and stagnation points and the authors in [25] provide also the qualitative picture of the flow beneath the constructed waves. Small-amplitude periodic capillary-gravity waves with sufficiently regular density which may still contain critical layers have been found in [34] by means of local bifurcation. The local bifurcation branches of solutions to the stratified water wave problem have been extended by using global bifurcation theory to global branches in [32]. The papers [25, 32, 34] use the Long–Yih formulation [37, 56] (see (2.6)) of the problem whose availability is facilitated by the fact that the density is sufficiently regular. When excluding critical layers and stagnation points the stratified wave problem can be considered by using Dubreil–Jacotin’s formulation (see (2.10)–(2.11)). This approach has been followed in [52,53,54] where—by means of local and global bifurcation theory—small- and large-amplitude stratified periodic water waves of finite depth are constructed both in the presence and absence of surface tension. The existence of solitary free surface water waves with general regular density distribution, together with a qualitative study of such flows, has been provided only recently [8], using again Dubreil–Jacotin’s formulation in their treatise. Qualitative properties of stratified water waves with regular density, such as symmetry, regularity, and the unique determination of the wave when knowing the pressure on the bed and the fluid stratification, have been addressed in [7, 33, 51, 55].
In ocean flows, however, the density varies strongly in thin layers called pycnoclines which exhibit sharp density gradients, cf., e.g., [21, 46, 47]. For this reason some of the research [3, 4, 14, 15, 21, 39, 40, 42, 49] is restricted to so-called layered models which consider the flow as consisting of a finite number of vertical layers each of them having uniform density. These layers are separated by internal waves which are mainly driven by the density difference between the layers (some models also consider surface tension effects). In this paper we consider a general continuous stratification, but allow for solutions with a density gradient which is merely \(L_r\)-integrable with \(r\in (1,\infty )\) arbitrarily close to 1. Furthermore, Bernoulli’s function, called vorticity function in the constant density case, is also a general function and is assumed to be \(L_r\)-integrable too. A similar setting has been studied in [6] but in the absence of surface tension forces. The authors of [6] deal with a layered model with the density in each layer varying continuously in such a way that the density gradient is \(L_r\)-integrable, but with \(r>2\). The choice \(r>2\) is related to the Sobolev embedding \(W^1_r({\mathbb {R}}^2)\hookrightarrow {{\rm C}}^{1-2/r}({\mathbb {R}}^2).\) In this regime the different formulations of the water wave problem mentioned above are equivalent in the setting of periodic Sobolev solutions. Our first main result is an equivalence result for the three formulations of the problem in a suitable setting of strong solutions, cf. Theorem 2.1 (see Theorem 2.5 for the case when surface tension is neglected). The equivalence in these theorems holds for \(r\in [1,\infty )\). For \(r\in [1,2]\) the Sobolev regularity is too weak for the equations to be realized in \(L_r\)-spaces, and therefore our notion of strong solutions involves some complementary Hölder regularity. Here the Hölder exponent \(\alpha =1-1/r\in [0,\infty )\) results from the embedding \(W^1_r({\mathbb {R}})\hookrightarrow {{\rm C}}^{1-1/r}({\mathbb {R}}).\) The main result Theorem 2.3, which relies on the equivalence in Theorem 2.1, establishes the existence of infinitely many periodic solutions to the stratified water wave problem having merely a \(L_r\)-integrable density gradient. Moreover, the wave profiles are symmetric with respect to crest and trough lines and strictly monotone in between them. The proof of Theorem 2.3 uses the Crandall–Rabinowitz theorem [20, Theorem 1.7] on bifurcation from simple eigenvalues in the context of a weak interpretation of Dubreil–Jacotin’s formulation. For traveling water waves this idea was first used by Constantin and Strauss 19] to construct homogeneous periodic gravity water waves with discontinuous vorticity. The situation of heterogeneous water waves is slightly different as the equations in the bulk cannot be recast in divergence form, see also [6]. Due to the presence of surface tension we need to deal with a second-order nonlinear equation on the surface boundary corresponding to the dynamic boundary condition at the waves surface. Here we use a recent trick employed first in [41, 44] (a similar idea appears also in [3, 32, 45]) to transform this equation into a Dirichlet boundary condition perturbed by a nonlinear and nonlocal part of order \(-1\). A particular feature of our analysis is that we fix both the fluid bed and the mean depth of the fluid (within a period). This fact in combination with the weak regularity of the density gradient reduces the number of possible bifurcation parameters. For this reason the best (probably only) choice for a bifurcation parameter is the wavelength \(\lambda\) (the wavelength has also been used in [24] as one of the bifurcation parameters). It is worth pointing out that this choice provides a remarkable identity in (see (4.32)) that leads us to a very simple and elegant dispersion relation, cf. Lemma 4.9.
The paper is organized as follows: In Sect. 2 we introduce the three formulations of the problem and we establish their equivalence in Theorems 2.1 (and Theorem 2.5). Moreover, we state our main result in Theorem 2.3 on the existence of laminar and nonlaminar flow solutions and some qualitative properties. In Sect. 3 we first introduce the notion of a weak solution to Dubreil–Jacotin’s formulation and establish, by means of a shooting method, the existence of at least one laminar flow solution to this latter formulation. This solution does not depend on the horizontal variable, having thus parallel and flat streamlines, and it solves the problem for each value of \(\lambda\). This set of laminar solutions (we have a solution for each \(\lambda >0\)) is then seen as the trivial branch of solutions to the problem. Merely the existence of the laminar solution imposes some restriction on the physical properties of the flows, cf. (3.10) and Example 3.4. In Sect. 4 we reformulate the equations as an abstract bifurcation problem and identify, by using methods from nonlinear functional analysis, a particular value \(\lambda _*\) of the wavelength parameter where a local branch of nonlaminar weak solutions arises from the set of laminar solutions. For this we need to impose a further, quite explicit restriction in (4.12). The proof of Theorem 2.3 is then completed by showing that the weak solutions that were found are in fact strong solutions, cf. Proposition 4.17. This gain of regularity relies on the regularity result in Theorem 4.14, which is inspired by ideas presented in [13] and [26].
2 Mathematical formulations and the main results
We now present three classical formulations of the steady water wave problem for stratified fluids. We start with the classical Euler formulation. The motion of an inviscid, incompressible, and stratified fluid is described by the Euler equations
where \(\rho\) is the fluid’s density, u is the horizontal velocity, v is the vertical velocity, P is the pressure, and g is the gravitational acceleration. The fluid domain is bounded from below by the impermeable flat bed \(y=-d\), where d is a fixed positive constant, and \(y=\eta (t,x)\) denotes the wave surface. In addition to the conservation of momentum which is expressed by the first two equations of the system, the fluid is assumed to be incompressible and mass conserving (these properties correspond to the third and fourth equations, respectively). Our analysis is restricted to the physically relevant case of positive density, that is we assume throughout this paper that there exists a constant \(\rho _0>0\) such that
The equations in the fluid domain are subject to the following boundary conditions
where the atmospheric pressure is set to zero and \(\sigma \ge 0\) denotes the surface tension coefficient. As we are interested in periodic waves we introduce the positive constant \(\lambda\) to denote the associated (minimal) wavelength. Moreover, we require that
at each time t. This condition implies in particular that also the mean depth of the fluid is fixed. Traveling periodic waves correspond to solutions of the previously introduced equations that exhibit a (t, x)-dependence of the form
where \(c>0\) is the wave speed, and which are \(\lambda\)-periodic in x. Observed from a frame that moves with the wave speed c, traveling waves appear to be steady and we are left with the free boundary value problem
where
We point out that since u and c appear only in terms of the difference \(u-c\) in (2.2), we may view the quintuplet \((u-c,v,P,\rho ,\eta )\) as being the unknown, each of these functions additionally being \(\lambda\)-periodic with respect to the horizontal variable x.
In order to study problem (2.2) analytically it is useful to consider equivalent formulations. To this end we define the so-called stream function \(\psi\) by the relations
One may observe that in the moving frame the streamlines of the flow coincide with the level curves of the stream function. Moreover, the density \(\rho\) and the total hydraulic head
are both constant along the streamlines. In particular, if we require that
a condition which is a priori satisfied for homogeneous irrotational water waves, the hodograph transformation \({\mathcal {H}}: \overline{\Omega }_\eta \rightarrow \overline{\Omega }\) defined by
is a bijection. Here \(\Omega :={\mathbb {R}}\times (p_0,0)\) and \(p_0:=-\psi \big |_{y=-d}\) is a negative constant. Using this property one can find two functions \(\overline{\rho }, \, \beta :[p_0,0]\rightarrow {\mathbb {R}}\), the so-called streamline density function and the Bernoulli function, respectively, such that
In particular \(\rho (x,y)=\overline{\rho }(-\psi (x,y))\) in \(\Omega _\eta .\) As the density usually increases with depth we restrict our considerations to the stably stratified regime defined by the inequalityFootnote 1
These considerations lead one to the Long–Yih [37, 56] formulation of the hydrodynamical problem (2.2):
Under the assumption (2.1) of positive density the condition (2.3) is equivalent to
The constant Q in Eq. (2.6)\(_4\) is related to the energy E. Equation (2.6)\(_4\) identifies Q for waves with zero integral mean as follows:
Using the (partial) hodograph transformation \({\mathcal {H}}\), a further equivalent formulation of (2.2)–(2.3) may be derived in terms of the height function \(h:\overline{\Omega }\rightarrow {\mathbb {R}}\) that is defined by
The system (2.6) can then be recast in the fixed rectangular domain \(\Omega\) in the following form:
the relation (2.3) taking the form
In virtue of (2.11) the quasilinear equation (2.10)\(_1\) is uniformly elliptic. This equation is complemented by a nonlinear and nonlocal boundary condition on \(p=0\) and a homogeneous Dirichlet condition on \(p=p_0\). This formulation gives an insight into the flow as the streamlines in the moving frame are parameterized by the mappings \([x\mapsto h(x,p)-d].\) In the setting of classical solutions it is not difficult to show that the three formulations (2.2)–(2.3), (2.6)–(2.8), and (2.10)–(2.11) are equivalent, cf., e.g., [11, 52,53,54]. This feature remains true in the more general framework described below.
Equivalent formulations In Theorem 2.1 we present our first main result which establishes for capillary-gravity stratified water waves, that is for \(\sigma >0\), the equivalence of the three formulations in a suitable setting of strong solutions. The case \(\sigma = 0\) is treated in Theorem 2.5. A strong solution of any of the three formulations possesses weak derivatives up to highest order (the order is required by the equations) that are \(L_r\)-integrable. Moreover the lower order derivatives enjoy some additional Hölder regularity to ensure that all equations are satisfied in \(L_r\)-spaces (in particular pointwise a.e.).
Theorem 2.1
(Equivalence for \(\sigma >0\)) Let \(\sigma ,\,\lambda >0,\)and assume that (2.1) holds true. Given \(r\in [1,\infty )\), set \(\alpha :=(r-1)/r\in [0,1).\)Then, the following formulations are equivalent:
-
(i)
The velocity formulation (2.2)–(2.3) for \(u-c,v,P\in W^1_{r}(\Omega _\eta )\cap {{\rm C}}^{\alpha }(\overline{\Omega }_\eta )\), \(\eta \in W^2_r({\mathbb {R}})\), and \(\rho \in W^1_{r}(\Omega _\eta )\cap {{\rm C}}^{\alpha }(\overline{\Omega }_\eta )\).
-
(ii)
The stream function formulation (2.6)–(2.8) for \(\psi \in W^2_{r}(\Omega _\eta )\cap {{\rm C}}^{1+\alpha }(\overline{\Omega }_\eta )\), \(\eta \in W^2_r({\mathbb {R}})\), \(\overline{\rho }\in W^1_r((p_0,0))\), and \(\beta \in L_r((p_0,0))\).
-
(iii)
The height function formulation (2.10)–(2.11) for \(h\in W^2_{r}(\Omega )\cap {{\rm C}}^{1+\alpha }(\overline{\Omega })\)with \(\mathop {{\rm tr}}\nolimits _0 h\in W^2_r({\mathbb {R}})\), \(\overline{\rho }\in W^1_r((p_0,0))\), and \(\beta \in L_r((p_0,0))\).
The proof of Theorem 2.1 and the corresponding result for \(\sigma =0\) are presented at the end of this section. It is worthwhile to add the following remarks.
Remark 2.2
-
(a)
Given \(r\ge 1\), the Hölder coefficient \(\alpha :=(r-1)/r\in [0,1)\) corresponds to the one-dimensional Sobolev embedding \(W^1_r({\mathbb {R}})\hookrightarrow {{\rm C}}^\alpha ({\mathbb {R}}).\) It is worthwhile to note that \(W^1_r({\mathbb {R}}^2)\) is not embedded in a space of continuous functions if \(r\in [1,2]\). Therefore, the Hölder regularity required above is not implied by the Sobolev regularity.
-
(b)
All function spaces in Theorem 2.1 consist only of functions that are \(\lambda\)-periodic with respect to x and q, respectively.
-
(c)
The symbol \(\mathop {{\rm tr}}\nolimits _0\) stands for the trace operator with respect to the boundary component \(p=0\) of \(\Omega ={\mathbb {R}}\times (p_0,0),\) that is \(\mathop {{\rm tr}}\nolimits _0 h(q)=h(q,0),\)\(q\in {\mathbb {R}}\), for \(h\in {{\rm C}}(\overline{\Omega }).\)
-
(d)
Let \(\Omega \subset {\mathbb {R}}^n\) with \(n\ge 1\) be open. In the proof of Theorem 2.1 (and also later on) we make use of the following properties
$$\bullet \quad\partial (u v) = u \partial v + v \partial u \ \text { in }{\mathcal {D}}'(\Omega )\;\text { for }u, v \in W^1_{1,loc}(\Omega ) \text { with }uv, u \partial v + v \partial u \in L_{1,loc}(\Omega );$$(2.12)$$\bullet \quad W^1_r(\Omega )\cap {{\rm BC}}^\alpha (\Omega )\text { is an algebra;}$$(2.13)$$\bullet \quad\hbox { If }f\in W^1_{1,loc}(\Omega )\cap {{\rm BC}}(\Omega )\hbox { has weak derivatives }f_i\in {\rm BC}(\Omega ), 1\le i\le n, \hbox { then }f\in {\rm BC}^1(\Omega ).$$(2.14)The properties (2.12) and (2.14) are classical results, while (2.13) is a direct consequence of (2.12).
Local bifurcation The main issue of this paper is the local bifurcation result stated below. Under the natural assumptions (2.1) and (2.5) on the fluid density and the following restrictions on the physical quantitiesFootnote 2
where \(x_*\approx 1.9368\) is the positive solution to \(e^x-x=5\),
we prove that the water wave problem (2.2)–(2.3) possesses, for each \(\lambda >0\), at least one laminar flow solution with flat streamlines. Besides, a critical wavelength \(\lambda _*>0\) is identified such that (2.2)–(2.3) has also other solutions with nonflat wave surface and with wavelength close to \(\lambda _*\). More precisely, the following result holds true.
Theorem 2.3
Let \(\sigma ,\, d,\, -p_0\in (0,\infty ),\)\(r\in (1,\infty )\), and \(\alpha :=(r-1)/r\in (0,1)\)be given. Assume further that \(\overline{\rho }\in W^1_r((p_0,0))\)and \(\beta \in L_r((p_0,0))\)satisfy (2.1), (2.5), and (2.15). Then there exists a local bifurcation curve
where \(\varepsilon >0\)is small, having the following properties:
-
(i)
\(\lambda\)is smooth, \(\lambda (s)>0\)for all \(s>0,\)and
$$\lambda (s)=\lambda _* +O(s) \quad {\text {for}}\,s\rightarrow 0,$$where \(\lambda _*>0\)is defined in Proposition 4.11.
-
(ii)
\((u(0)-c,v(0),P(0),\rho (0),\eta (0))\)is a strong solution to (2.2)–(2.3) for each \(\lambda >0\), has flat streamlines, streamline density \(\overline{\rho },\)and Bernoulli function \(\beta\).
-
(iii)
Given \(s\in (-\varepsilon ,\varepsilon )\setminus \{0\}\), \((u(s)-c,v(s),P(s),\rho (s),\eta (s))\)is a strong solution to (2.2)–(2.3) with minimal period \(\lambda (s),\)streamline density \(\overline{\rho }\), and Bernoulli function \(\beta\). Moreover, the wave profile has precisely one crest and one trough per period, is symmetric with respect to crest and trough lines, and is strictly monotone between crest and trough.
-
(iv)
The wave profile and all other streamlines are real-analytic graphs.
Remark 2.4
-
(a)
We point out that we do not impose any restrictions on the value of \(\sigma >0,\) cf. (2.15). Nevertheless, the critical wavelength \(\lambda _*\) depends in an intricate way on \(\sigma\).
-
(b)
The regularity of the parameterization of \({\mathcal {C}}\) and the asymptotic behavior of \(\eta (s)\) as \(s\rightarrow 0\) are specified in the proof of Theorem 2.3 at the end of Sect. 4.
-
(c)
The strong solution \((u(0)-c,v(0),P(0),\rho (0),\eta (0))\) to (2.2)–(2.3) found in (ii) is called laminar flow solution. Its existence is established in Proposition 3.5.
-
(d)
The limiting case \(r=1\) remains open in the context of Theorems 2.3 and 4.14.
We conclude this section by proving the equivalence of the three formulations in the setting of strong solutions introduced above.
Proof of Theorem 2.1
We start with the implication \(\hbox {(i)}\implies \hbox {(ii)}\). Let \((u-c,v,P,\rho ,\eta )\) be a solution to (2.2)–(2.3). In virtue of (2.1) and the weak chain rule [28, Lemma 7.5] it follows that \({\sqrt{\rho }\in W^1_r(\Omega _\eta )\cap {{\rm C}}^{\alpha }(\overline{\Omega }_\eta )}\). Relation (2.13) then yields
We note that the relations (2.2)\(_3\)-(2.2)\(_4\) imply
For \((x,y)\in \overline{\Omega }_\eta\) we now define
where \(p_0<0\) is a constant to be fixed below. It is obvious that \(\psi\) is continuously differentiable with respect to y with \(\psi _y=U.\) Moreover, making use of Fubini’s theorem, the generalized Gauß theorem in [1, Appendix A 8.8], and the relations (2.17) and (2.2)\(_7\), we find for \(\xi \in {{\rm C}}^\infty _0(\Omega _\eta )\) that
where \(\phi \in {{\rm C}}^1(\overline{\Omega }_\eta )\) is defined by the formula
Thus, \(\nabla \psi =(-V,U)\) and since these weak derivatives belong to \(W^1_{r}(\Omega _\eta )\), we conclude that \({\psi \in W^2_{r}(\Omega _\eta ).}\) Moreover, (2.14) implies that \(\psi \in {{\rm C}}^{1+\alpha }(\overline{\Omega }_\eta )\).
The relation (2.7) is clearly satisfied in view of (2.3). Since \(\psi\) is constant on the fluid bed and by (2.2)\(_6\) also on the free surface \(y=\eta (x)\), we infer from (2.7) that we may chose the negative constant \(p_0\) such that \(\psi =0\) on the free surface.
It is easy to see now that the mapping \({\mathcal {H}}\) defined in (2.4) satisfies \({\mathcal {H}}\in {\rm Diff}^{1+\alpha }(\Omega _\eta ,\Omega )\), i.e., \({\mathcal {H}}:\Omega _\eta \rightarrow \Omega\) is a \(C^{1+\alpha }\)-diffeomorphism, with
In view of \(\rho \in W^1_r(\Omega _\eta )\) it follows that \(\rho \circ {\mathcal {H}}^{-1}\in W^1_r(\Omega )\) with
cf. (2.2)\(_3\). Consequently, there exists \(\overline{\rho }\in L_r((p_0,0))\) with \(\rho \circ {\mathcal {H}}^{-1}=\overline{\rho }.\) Moreover, it actually holds that \(\overline{\rho }\in W^1_r((p_0,0))\) with weak derivative \(\overline{\rho }'=-(\rho _y/U)\circ {\mathcal {H}}^{-1}.\)
We now consider the expression
which defines a function in \(W^1_r(\Omega _\eta )\cap {{\rm C}}^\alpha (\overline{\Omega }_\eta )\). Hence, \(E\circ {\mathcal {H}}^{-1}\in W^1_r(\Omega )\) and
Appealing to (2.2)\(_1\)–(2.2)\(_3\), it follows that \(\partial _q(E\circ {\mathcal {H}}^{-1})=0.\) This relation has at least two implications. Firstly, E is constant at the wave surface, which implies the existence of a constant Q such that
Secondly, in view of \(\partial _q(\partial _p(E\circ {\mathcal {H}}^{-1}))=0\), we may conclude that there exists a function \({\beta \in L_r((p_0,0))}\) such that \(-\partial _p(E\circ {\mathcal {H}}^{-1})=\beta .\) The relation (2.18) together with (2.2)\(_5\) and (2.2)\(_8\) shows that (2.6)\(_4\) holds true with Q as defined in (2.8). Finally, since \(\Delta \psi =U_y-V_x\), (2.2)\(_2\)–(2.2)\(_3\) lead us to
which is the semilinear elliptic equation in (2.6). This completes this first step of the proof.
We now verify that \(\hbox {(ii)}\implies \hbox {(iii)}\). Let thus \((\psi ,\eta )\) be a solution to (2.6)–(2.8) and let h be the height function introduced in (2.9). Then, it follows that \(h\in {{\rm C}}^{1+\alpha }(\overline{\Omega })\) with
With regard to [28, Lemma 7.5], property (2.7) shows that \(1/\psi _y\in W^1_r(\Omega _\eta )\cap {{\rm C}}^{ \alpha }(\overline{\Omega }_\eta ),\) and the algebra property (2.13) leads us to the conclusion that \(h_q,\, h_p\in W^1_r(\Omega )\), hence \(h\in W^2_{r}(\Omega )\). The relation (2.6)\(_3\) implies that h satisfies (2.10)\(_2\), while (2.11) follows immediately from (2.7). Moreover, since
it follows from (2.6)\(_1\) that h is a solution to (2.10)\(_1\). Let us also note that Eq. (2.6)\(_2\) yields \(\eta (q)=h(q,0)-d\), \(q\in {\mathbb {R}}\), and therefore \(\mathop {{\rm tr}}\nolimits _0 h\in W^2_r({\mathbb {R}})\). The boundary condition (2.10)\(_3\) is a direct consequence of (2.6)\(_4\). This completes the second step of the proof.
It remains to establish the implication \(\hbox {(iii)}\implies \hbox {(i)}\). To begin we first define \(\eta :=h(\,\cdot \,,0)-d\). Then \(\eta \in W^2_r({\mathbb {R}})\) and integrating (2.10)\(_3\) over one period of the wave we find that (2.2)\(_8\) is satisfied. Besides, (2.11) yields that \(\eta (x)+d= h(x,0)>0\) for all \(x\in {\mathbb {R}}\). We now associate with \(\eta\) the corresponding velocity, pressure, and density distribution. To this end we let \(\Phi :{\mathbb {R}}^2\times [2p_0,0]\rightarrow {\mathbb {R}}\) be the function defined by
Then \(\Phi \in {{\rm C}}^{1+\alpha }({\mathbb {R}}^2\times [0,2p_0])\), \(\Phi (x,-d,p_0)=0\) for all \(x\in {\mathbb {R}},\) and \(\Phi _p\le -\inf _\Omega h_p<0\). For fixed, but arbitrary \(x\in {\mathbb {R}}\), the implicit function theorem yields the existence of a function \(\psi (x,\,\cdot \,)\) which is continuously differentiable in \([-d,-d+\varepsilon )\), for some \(\varepsilon >0\), and satisfies \(\psi (x,-d)=-p_0\) as well as
Because \(\psi (x,\,\cdot \,)\) is strictly decreasing, we can extend this function continuously in \(-d+\varepsilon\) if
The implicit function theorem then enables us to even extend \(\psi (x,\,\cdot \,)\) beyond \(-d+\varepsilon\). Hence, \(\psi (x,\,\cdot \,)\) has a maximal extension \(\psi (x,\,\cdot \,)\in {{\rm C}}^1([-d,A(x)),{\mathbb {R}})\) with \(\psi (x,-d)=-p_0\) and \(\psi (x,A(x))=0\). In view of \(A(x)+d=h(x,0)=\eta (x)+d\), we conclude that \(\eta (x)=A(x)\). Therefore \(\psi :\overline{\Omega }_\eta \rightarrow {\mathbb {R}}\) and (2.7) is satisfied. Moreover, the implicit function theorem yields that \(\psi \in {{\rm C}}^{1+\alpha }(\Omega _\eta )\) with
Since \(h\in {{\rm C}}^{1+\alpha }(\overline{\Omega }),\) it now follows that \(\psi \in {{\rm C}}^{1+\alpha }(\overline{\Omega }_\eta )\) and the mapping \({\mathcal {H}}\) defined in (2.4) obviously satisfies \({\mathcal {H}}\in {\rm Diff}^{1+\alpha }(\Omega _\eta ,\Omega )\). Since \(h_q,\, h_p\in W^1_r(\Omega )\cap {{\rm C}}^\alpha (\Omega )\), we find in virtue of (2.12)–(2.13) and [28, Lemma 7.5] that \(\psi \in W^2_r(\Omega )\). Moreover, the derivatives \(\psi _{xx}\) and \(\psi _{yy}\) satisfy (2.19). We now define \(\rho ,\, u-c,\,v:\overline{\Omega }_\eta \rightarrow {\mathbb {R}}\) by setting
and we let \(P:\overline{\Omega }_\eta \rightarrow {\mathbb {R}}\) be given by the relation
with Q defined according to (2.8). Then \(\rho \in W^1_r(\Omega )\cap {{\rm C}}^{\alpha }(\overline{\Omega })\) and, recalling (2.1), we may argue as above to conclude that u, v, and P belong to \(W^1_r(\Omega )\cap {{\rm C}}^{\alpha }(\overline{\Omega }).\) It is now a matter of direct computation to see that all the equations of (2.2)–(2.3) are satisfied. This completes the proof. \(\square\)
It follows from the proof of Theorem 2.1 that, when neglecting surface tension effects, the following equivalence result holds.
Theorem 2.5
(Equivalence for \(\sigma =0\)) Let, \(\sigma =0\), \(\lambda >0\), and assume that (2.1) holds true. Given \(r\in [1,\infty )\), set \(\alpha :=(r-1)/r\in [0,1).\)Then, the following formulations are equivalent:
-
(i)
The velocity formulation (2.2)–(2.3) for \(u-c,v,P\in W^1_{r}(\Omega _\eta )\cap {{\rm C}}^{\alpha }(\overline{\Omega }_\eta )\), \(\eta \in {{\rm C}}^{1+\alpha }({\mathbb {R}})\), and \(\rho \in W^1_{r}(\Omega _\eta )\cap {{\rm C}}^{\alpha }(\overline{\Omega }_\eta )\).
-
(ii)
The stream function formulation (2.6)–(2.8) for \(\psi \in W^2_{r}(\Omega _\eta )\cap {{\rm C}}^{1+\alpha }(\overline{\Omega }_\eta )\), \(\eta \in {{\rm C}}^{1+\alpha }({\mathbb {R}})\), \(\overline{\rho }\in W^1_r((p_0,0))\), and \(\beta \in L_r((p_0,0))\).
-
(iii)
The height function formulation (2.10)–(2.11) for \(h\in W^2_{r}(\Omega )\cap {{\rm C}}^{1+\alpha }(\overline{\Omega })\), \(\beta \in L_r((p_0,0))\), and \(\overline{\rho }\in W^1_r((p_0,0))\).
3 A weak setting for Dubreil–Jacotin’s formulation
In this section we seek solutions to problem (2.10)–(2.11) under the general assumptions that
where \(\overline{\rho }\) and \(\beta\) are arbitrary but fixed. Moreover, we restrict to the setting of stably stratified flows defined by (2.1) and (2.5). The reason for studying the height function formulation is twofold. Firstly, the equations have a single unknown, the height function h, and secondly, the Bernoulli function \(\beta\) and the streamline density \(\overline{\rho }\) appear as coefficients in the equations.
Since we aim to formulate (2.10) as a bifurcation problem and to use the wavelength \(\lambda\) as bifurcation parameter, we let
Then \(\widetilde{h}\) is 1-periodicFootnote 3 and (2.10) may be rewritten (after dropping tildes) as
while (2.11) remains unchanged. Now not only h is unknown in (3.3) but also the wavelength \(\lambda\).
In order to determine strong solutions to (3.3) and (2.11) as defined in Theorem 2.1(iii), we shall first find weak solutions to this problem and then improve their regularity. We now introduce a proper notion of weak solutions.
Definition 3.1
A function \(h\in {{\rm C}}^1(\overline{\Omega })\) is called weak solution to (3.3) and (2.11) if h satisfies (2.11), the equationFootnote 4
and the boundary conditions
and
In Definition 3.1 we have made use of the fact that
is an isomorphism.
Laminar flow solutions In the remainder of this section we show that, given any \(\lambda >0\), Eqs. (3.3) and (2.11) have at least one weak solution H that depends only on the variable p. This solution is then easily seen to be a strong solution to (3.3) and (2.11) (similar as defined in Theorem 2.1(iii)). This is the laminar flow solution mentioned in Theorem 2.3(ii).
Since the density is positive, it follows that \(H=H(p)\) is a weak solution to (3.3) and (2.11) if and only if \(H'>0\) on \([p_0,0]\) and if H solves the system
We emphasize that the wavelength parameter does not appear in (3.4). Taking into account that \(H\in {{\rm C}}^1([p_0,0])\), we get that additionally \(H\in W^2_r((p_0,0))\). Moreover, setting \(\mu :=(H'(p_0))^{-2}>0\), the function H satisfies the fixed point equation
Our goal is to show, by means of a shooting argument, that there exists a \(\mu >0\) such that (3.5) has a solution which satisfies additionally \(H(0)=d\). This solution then also solves (3.4). Let \(\mu _*\ge 0\) and B be as defined in (2.16). As a first step we prove below that the fixed point equation (3.5) has a unique nonnegative solution \(H=H(\cdot ;\mu )\) for any \(\mu >\mu _*\).
Proposition 3.2
Given \(\mu >\mu _*\), there is a unique solution \(H=H(\cdot ;\mu )\in W^2_r((p_0,0))\)to the fixed point equation (3.5). It further holds that \(H'>0\)in \([p_0,0]\).
Proof
Let \(\mu >\mu _*\) be fixed. Given \(p_1\in (p_0,0]\) and \(H\in {{\rm C}}([p_0,p_1],[0,\infty ))\), we define
We now show that \(T_1\) is a self-map. Indeed, recalling that \(\overline{\rho }'\le 0\), it holds that
and consequently \(T_1H \in {{\rm C}}([p_0,p_1],[0,\infty )).\)
If \(p_1\) is sufficiently close to \(p_0\), then \(T_1\) is a contraction. Indeed, given \(H,\, K\in {{\rm C}}([p_0,p_1],[0,\infty ))\) and \(p\in [p_0,p_1],\) (3.6) shows that
if
Observing that \({{\rm C}}([p_0,p_1],[0,\infty ))\) is a complete metric space, the Banach contraction principle yields the existence and uniqueness of a nonnegative solution \(H_1\in W^2_r((p_0,p_{1,\mu }))\) to (3.5). We next prove that as long as the right endpoint of the interval of existence does not reach 0, we may extend it to the right by the amount of
Indeed, assume that \(p_{1,\mu }<0\). Given \(p_2\in (p_{1,\mu },0]\) and \(H\in C([p_{1,\mu },p_2],[0,\infty ))\) we set
for \(p\in [p_{1,\mu}, p_2]\)and
The same arguments as above yield
hence \(T_2H\in C([p_{1,\mu },p_2],[0,\infty ))\) and \((T_2H)^{(k)}(p_{1,\mu }) =H_1^{(k)}(p_{1,\mu })\) for \(k\in \{0,\,1\}.\) Furthermore, given \(H,\, K\in C([p_{1,\mu },p_2],[0,\infty ))\) and \(p\in [p_{1,\mu },p_2]\), it holds that
provided that
Hence, \(T_2\) possesses a fixed point \(H_2\in W^2_r((p_{1,\mu },p_{2,\mu }))\). Thus, we may extend \(H_1\) to a solution to (3.5) which lies in \(W^2_r((0,p_{2,\mu }))\) and which equals \(H_2\) on \((p_{1,\mu },p_{2,\mu })\). Arguing in this way, if necessary, we may extend (in a finite number of steps) \(H_1\) onto the whole interval \([p_0,0].\) The uniqueness claim is obvious. \(\square\)
We next show that the solution found in Proposition 3.2 depends smoothly on the parameter \(\mu\).
Lemma 3.3
For any \(\mu >\mu _*\), let \(H(\,\cdot \,;\mu )\)denote the solution to the fixed point equation (3.5) as given by Proposition 3.2. Then, the mapping
is smooth.
Proof
We prove that, given \(\varepsilon >0\), the mapping (3.8) is smooth on \((\mu _*+2\varepsilon g\Vert \overline{\rho }'\Vert _{L_1((p_0,0))},\infty ).\) This claim follows by applying the implicit function theorem to the equation \({\mathcal {F}}(H,\mu )=0\), where \({\mathcal {F}}: {\mathcal {U}}_\varepsilon \times (\mu _*+2\varepsilon g\Vert \overline{\rho }'\Vert _{L_1((p_0,0))},\infty )\subset {{\rm C}}([p_0,0])\times {\mathbb {R}}\rightarrow {{\rm C}}([p_0,0])\) is defined by
Here
is an open subset of \({{\rm C}}([p_0,0])\). Arguing as in the derivation of (3.6) it can be seen that the operator \({\mathcal {F}}\) is well-defined. Moreover, \({\mathcal {F}}\) is smooth. The partial derivative \(\partial _H{\mathcal {F}}(H,\mu )[\widetilde{H}]\) of \({\mathcal {F}}\) with respect to H at a given point \((H,\mu )\in {\mathcal {U}}_\varepsilon \times (\mu _*+2\varepsilon g\Vert \overline{\rho }'\Vert _{L_1((p_0,0))},\infty )\) can be expressed as
where the operator \({{\mathcal {K}}}:{{\rm C}}([p_0,0])\rightarrow {{\rm C}}([p_0,0])\) is given by
One can easily verify that \({{\mathcal {K}}}\) actually maps continuously into \(W^2_r((p_0,0))\). Since the embedding of \(W^2_r((p_0,0))\) into \({{\rm C}}([p_0,0])\) is compact, it follows that \({{\mathcal {K}}}\) is a compact operator. Hence, \(\partial _H{\mathcal {F}}(H,\mu )\) is a compact perturbation of the identity. Using the Riesz–Schauder theorem, we can conclude that \(\partial _H{\mathcal {F}}(H,\mu )\) is a Fredholm operator of index zero. Furthermore, \(\partial _H{\mathcal {F}}(H,\mu )[\widetilde{H}]=0\) if and only if \(\widetilde{H} = {{\mathcal {K}}}[\widetilde{H}]\). In this case, \(\widetilde{H}\) satisfies the inequality
for all \(p\in [p_0,0]\). Hence, applying Gronwall’s lemma, we obtain that \(\widetilde{H} = 0\) on \([p_0,0]\). This means that \(\ker \left( \partial _H{\mathcal {F}}(H,\mu )\right) =\{0\}\) and thus, according to Fredholm’s alternative, \(\partial _H{\mathcal {F}}(H,\mu )\) is an isomorphism from \({{\rm C}}([p_0,0])\) to \({{\rm C}}([p_0,0])\).
Due to the construction of \({\mathcal {F}}\) it holds that
Since the solution to (3.5) is unique also in \({\mathcal {U}}_\varepsilon\) if \(\mu >\mu _*+2\varepsilon g\Vert \overline{\rho }'\Vert _{L_1((p_0,0))}\) (this follows in a similar way as in Proposition 3.2), the implicit function theorem implies that \([\mu \mapsto H(\,\cdot \,;\mu )]\) is smooth in \((\mu _*+2\varepsilon g\Vert \overline{\rho }'\Vert _{L_1((p_0,0))},\infty )\) for all \(\varepsilon >0\). \(\square\)
In order to establish the existence of a solution to (3.4) it remains to prove that there is a \(\mu > \mu _*\) such that \(H(0;\mu )=d\). To this end first note that (3.6) yields
and hence \(H(0;\mu )<d\) for sufficiently large \(\mu\). If we additionally show that \(H(0;\mu ) > d\) for \(\mu\) close to \(\mu _*\), then the continuous dependence of H on \(\mu\) (Lemma 3.3) implies that \(H(0;\mu )=d\) for some \(\mu\). It turns out that this requires additional restrictions on the physical quantities. The following example illustrates the approach in the simplified case of constant density.
Example 3.4
Assume that \(\overline{\rho }'=0\) and that \(\beta (p)=C(p-p_0)^{-1/2}\). Since the density is constant, the function \(\beta\) has to be interpreted as the vorticity function of the flow, cf. [18]. Unbounded vorticity functions are of relevance for example for flows in channels [5]. By Proposition 3.2, Eq. (3.5) possesses a unique solution \(H=H(p;\mu )\) for each \(\mu >\mu _*=2C|p_0|^{1/2}\). The solution is given by the explicit formula
Since \(H(0;\mu )< H(0,\mu _*)\) for \(\mu >\mu _*\) and because of
the condition \(H(0;\mu ^*)>d\) has to be imposed, otherwise \(H(0;\mu )<d\) for all \(\mu >\mu _*\) and (3.4) has no solutions.
Let us now return to the more involved setting of stratified waves addressed in this paper. Given \(\mu >\mu _*\), we define
Then recalling (3.9), we observe that \(p_\mu =0\) and \(H(0;\mu )<d\) if \(\mu\) is sufficiently large. The size condition that we require reads
Since \(H(p;\mu )\in [0,d]\) for \(p\in [p_0, p_\mu ]\) and \(\overline{\rho }'\le 0\), it follows that
In view of (3.10) we conclude (by a contradiction argument) that \(p_\mu <0\) for all \(\mu\) which are sufficiently close to \(\mu _*.\) Hence
Together with Lemma 3.3 we conclude the following result establishing the existence of at least one strong laminar flow solution to (3.3) and (2.11).
Proposition 3.5
Assume that (3.10) is satisfied. Then there is at least one solution \(H\in W^2_r((p_0,0))\)to (3.4). Moreover, \(H'\)is a positive function.
Proof
The proof follows from Proposition 3.2, Lemma 3.3, and the discussion preceding Proposition 3.5. \(\square\)
4 Local bifurcation
In the following we assume that the density and the Bernoulli function satisfy (2.1), (2.5), and (3.1), i.e.,
and that (3.10) holds true. This guarantees, in particular, the existence of a laminar flow solution to (3.3) and (2.11).
The first goal of this section is to recast the weak formulation of (3.3) and (2.11) as an abstract bifurcation problem. For this goal only the Hölder regularity of the strong solutions to (3.3) and (2.11) is needed. To proceed, we define the Banach space
which is endowed with the norm
and we set
We recall that these Banach spaces consist only of periodic distributions of period 1. Furthermore, we fix a laminar flow solution \(H \in W^2_r((p_0,0)) \hookrightarrow {\mathbb {X}}\) (as found in Proposition 3.5) and we let \({\mathcal {O}}\) denote the open subset of \({\mathbb {X}}\) defined by
The weak formulation of (3.3) and (2.11) can then be recast as the nonlinear and nonlocal equation
where \({\mathcal {F}}:=({\mathcal {F}}_1,{\mathcal {F}}_2):(0,\infty )\times {\mathcal {O}}\rightarrow {\mathbb {Y}}:={\mathbb {Y}}_1\times {\mathbb {Y}}_2\) is given by
We regard Eq. (4.1) as a bifurcation problem with bifurcation parameter \(\lambda\). Recalling that H solves (3.4), it holds that
We note that \({\mathcal {F}}\) is smooth with respect to its variables, that is
The aim is to apply the Crandall–Rabinowitz theorem [20, Theorem 1.7] on bifurcation from simple eigenvalues to (4.1) to determine other solutions to (4.1) that depend on the variable q. To this end we need to determine \(\lambda _*>0\) such that the partial Fréchet derivative \(\partial _h{\mathcal {F}}(\lambda _*,0)\) is a Fredholm operator of index zero with a one-dimensional kernel. A certain transversality condition also needs to be satisfied, cf. Proposition 4.13.
To begin, we observe that, given \(\lambda >0\), the Fréchet derivative \(\partial _h{\mathcal {F}}(\lambda ,0) = (L,T) \in {\mathcal {L}}({\mathbb {X}},{\mathbb {Y}})\) is expressed by
Lemma 4.1
Given \(\lambda >0,\) it holds that \(\partial _h{\mathcal {F}}(\lambda ,0)\) is a Fredholm operator of index zero.
Proof
According to [28, Theorem 8.34], the mapping
is an isomorphism (we recall that \(H'\) is positive). Since \((1-\partial _q^2)^{-1} \in {\mathcal {L}}({{\rm C}} ({\mathbb {R}}),{{\rm C}}^2({\mathbb {R}}))\), it follows that the operator
is compact. Therefore, the desired claim follows. \(\square\)
We want to determine special values \(\lambda _*\) of the wavelength parameter such that additionally the kernel of \(\partial _h{\mathcal {F}}(\lambda _*,0)\) is one-dimensional. Let thus \(w\in {\mathbb {X}}\) be such that \(\partial _h{\mathcal {F}}(\lambda ,0)[w] = 0\). From \(L[w] = 0\) we find that the Fourier coefficient
satisfies the equation
Furthermore, since \(T[w]=0\), we find that
and
respectively. Finally, since \(w\in {\mathbb {X}}\), it holds that
Hence, for \(k=0\), we find that \(w_0\in W^2_r((p_0,0))\) solves the system
where
Furthermore, given \(k\ge 1,\) the function \(w_k\in W^2_r((p_0,0))\) solves the system
with \(\vartheta :=(2k\pi )^2\).
The remainder of this section is organized as follows. In the first paragraph we specify a condition under which (4.4) has only the trivial solution \(w_0=0\). The objective of the second paragraph is twofold. On the one hand we determine special values \(\lambda _*\) of \(\lambda\) such that (4.5) has a one-dimensional space of solutions for \(k=1\), respectively \(\vartheta =(2\pi )^2\). On the other hand we prove that (4.5) admits only the trivial solution \(w_k=0\) for \(\vartheta \in \{(2k\pi )^2\,:\, k\ge 2\}\). The third paragraph treats the above mentioned transversality condition and the last paragraph is devoted to the proof of Theorem 2.3.
Conditions such that \(w_0=0\). We now show that, under some additional restrictions (cf. (4.7)), the system (4.4) has only the trivial zero solution. Equivalently formulated, we show that the elliptic operator \([u\mapsto ( a^3 u')' - g\overline{\rho }'u]\), which is supplemented by homogeneous Dirichlet boundary conditions, does not have zero as an eigenvalue. We point out that the coefficient of u is positive and it may be unbounded, while the coefficient \(a^3\) is not explicitly determined. This is where the assumption (2.15)\(_2\) becomes important, as it constitutes an explicit relation in terms of d, \(p_0\), \(\beta\), and \(\overline{\rho }\) which ensures that (4.7) is satisfied, see Example 4.3. We also emphasize that in the constant density case the assertion of Lemma 4.2 follows via maximum principles, hence (4.7) (or (4.12)) is then not needed. Moreover, the restriction (4.7) (or its weaker version (4.12)) is also used at several places in the paragraphs below in order to establish the existence of a bifurcation point. In particular, for homogeneous irrotational waves (that is \(\overline{\rho }=\rho \in {\mathbb {R}}\) and \(\beta =0\)), see Remark 4.10, the explicit condition (4.12) ensures, due to the fact that \(x_*<2\), that the dispersion relation (4.40) has at least a solution. Since \(x_*\approx 1.9368\), this shows that (4.12) is close to being optimal with respect to this issue.
Lemma 4.2
Let
and assume that
Then (4.4) has only the trivial solution \(w_0=0\).
Proof
Let \(w_0\) be a solution to (4.4). Then, letting \(z_0:=a^3w_0'-g\overline{\rho }w_0\) we may recast (4.4)\(_1\) as a linear system of first-order ODEs with continuous coefficients, namely
To obtain a contradiction, we assume that \(z_0(p_0)=a^3(p_0)w_0'(p_0)\ne 0\) as the solution to (4.8) that satisfies \((w_0,z_0)(p_0)=(0,0)\) is the trivial one. Without loss of generality let \(z_0(p_0)=:\alpha >0\). We next show that \(z_0>0\) in \([p_0,0]\) if (4.7) holds true. Since, by (4.8)\(_1\),
this then contradicts the boundary condition \(w_0(0)=0\) and the proof is complete.
To prove that \(z_0\) is positive in \([p_0,0]\), we assume there exists \(p_1\in (p_0,0]\) with \(z_0>0\) in \([p_0,p_1)\) and \(z_0(p_1)=0\). The relation (4.9) implies that \(w_0>0\) in \((p_0,p_1]\). Invoking (4.8)\(_2\) it holds that
Since \(A'\) is positive, we find that \(z_0e^A\) is decreasing in \([p_0,p_1]\). Consequently
Since \(z_0(p_1)=0,\) the relation (4.10) yields
and using (4.11) we arrive at
Since \(\overline{\rho }(s)\le \overline{\rho }(r)\) for \(p_0\le r\le s\le 0\) and recalling the definition of A we get in view of (4.7) that
which is a contradiction. Our assumption is thus false and the proof complete. \(\square\)
We now provide a quantitative condition which ensures that (4.7) is satisfied.
Example 4.3
Let \(\mu _*\) be as defined in (2.15) and assume that (3.10) holds. If
where \(x_*\approx 1.9368\) is the positive solution to
then (4.7) is satisfied.
Proof
Recall that \(a=1/H'>0\) in \([p_0,0]\) with H being the solution to (3.4) that we fixed earlier. Since \(H(p_0)=0\) and \(H(0)=d\), there exists \(p_1\in [p_0,0]\) such that \(H'(p_1)\le d/|p_0|.\) Integration of (3.4)\(_1\) over \([p_1,p],\) with \(p\in [p_0,0]\) arbitrary, yields
the positivity of the constant on the right-hand side of this inequality being equivalent to (3.10). Consequently,
and, recalling that \(\overline{\rho }\le \overline{\rho }(p_0)\), we get
Hence (4.7) holds true. \(\square\)
Relation (4.12) provides an explicit condition which ensures that the system (4.4) has only the trivial solution \(w_0=0\). Consequently, for all \(\lambda >0\), the kernel of \(\partial _h{\mathcal {F}}(\lambda ,0)\) does not contain functions that depend only on the variable p (except for the zero function). We now address the second issue of determining \(\lambda _*>0\) such that \(\partial _h{\mathcal {F}}(\lambda _*,0)\) has a one-dimensional kernel spanned by a function of the form \(w_1(p)\cos (2\pi q)\), with \(w_1\) being (up to a multiplicative constant) the only nontrivial solution to (4.5) when \(\lambda =\lambda _*\) and \(\vartheta \in \{(2k\pi )^2\,:\, k\in {\mathbb {N}}\}\).
The system (4.5) with \(\vartheta\)as a variable. We seek \(\lambda >0\) such that (4.5) has a one-dimensional space of solutions for \(\vartheta =(2\pi )^2\) and only the trivial solution for \(\vartheta >(2\pi )^2\). To this end we first determine the dimension of the space of solutions to (4.5). Given \(\lambda \in (0,\infty )\) and \(\vartheta \in {\mathbb {R}}\), we let \(R_{\lambda ,\vartheta }:W^2_{r,0}((p_0,0))\rightarrow L_r((p_0,0))\times {\mathbb {R}}\) denote the Sturm–Liouville-type operator
where we set
We associate with (4.5) the initial value problems
and
Lemma 4.4
Given \(\lambda >0\)and \(\vartheta \in {\mathbb {R}}\), the operator \(R_{\lambda ,\vartheta }:W^2_{r,0}((p_0,0))\rightarrow L_r((p_0,0))\times {\mathbb {R}}\)defined in (4.15) is a Fredholm operator of index zero and \({{\rm dim}} \ker R_{\lambda ,\vartheta }\le 1\). Furthermore, \({{\rm dim}} \ker R_{\lambda ,\vartheta }= 1\)if and only if the solutions \(\widetilde{w}_1\)and \(\widetilde{w}_2\)to (4.16) and (4.17) are linearly dependent. In this case it holds that
Proof
We first decompose \(R_{\lambda ,\vartheta }=R_I+R_c,\) where
It is clear that \(R_c\) is a compact operator. Furthermore, \(R_I\) is an isomorphism. Hence, \(R_{\lambda ,\vartheta }\) is a Fredholm operator of index zero.
We now set \(z_i:= a^3\widetilde{w}_i' - g\overline{\rho }\widetilde{w}_i\), \(i\in \{1,\,2\}\), where \(\widetilde{w}_1\) and \(\widetilde{w}_2\) denote the unknowns in (4.16) and (4.17), respectively. Recalling the definition of A in (4.6), Eqs. (4.16)\(_1\) and (4.17)\(_1\) can be recast as a first-order system of linear ODEs with continuous coefficients:
and the classical theory, cf., e.g., [2, Proposition 7.8], ensures that each of the problems (4.16) and (4.17) has a unique solution \(\widetilde{w}_i\in W^2_r((p_0,0))\), \(i\in \{1,\,2\}\). Moreover, given \(w_a,\, w_b\in W^2_{r}((p_0,0))\) solutions to (4.5)\(_1\), it follows that
for some \(C\in {\mathbb {R}}\). Hence \(w_a\) and \(w_b\) are colinear if they also belong to \(W^2_{r,0}((p_0,0))\). This proves in particular that \({{\rm dim}} \ker R_{\lambda ,\vartheta }\le 1\). It remains to establishing the last claim. Let \({{\rm dim}} \ker R_{\lambda ,\vartheta }= 1\) and choose \(0\ne w\in \ker R_{\lambda ,\vartheta }\). Relation (4.19) implies that w and \(\widetilde{w}_1\) are colinear. Invoking (4.15)\(_2\) and (4.17)\(_2\), (4.19) shows that also w and \(\widetilde{w}_2\) are colinear. Finally, if \(\widetilde{w}_1\) and \(\widetilde{w}_2\) are colinear, it is easy to see that they both belong to \(\ker R_{\lambda ,\vartheta }.\)\(\square\)
We can now reformulate our task as the problem of determining \(\lambda _*>0\) such that the Wronskian
vanishes in \([p_0,0]\) only for \(\vartheta =(2\pi )^2\). Recalling (4.19), it follows that \(W(\cdot ;\lambda ,\vartheta )\) vanishes in \([p_0,0]\) if and only if it vanishes at \(p=0\). For this reason we consider the function \(W(0;\cdot ,\cdot ):(0,\infty )\times {\mathbb {R}}\rightarrow {\mathbb {R}}\) defined by
where \(z_1=a^3\widetilde{w}_1'-g\overline{\rho }\widetilde{w}_1\) is the new variable introduced in (4.18). By [2, Proposition 9.5] it holds that
We next prove that for each \(\lambda >0\) there exists at least one solution \(\vartheta\) to \(W(0;\lambda ,\vartheta )=0\). As a first step we show that
This is a direct consequence of the following more general statement.
Lemma 4.5
Assume that (4.7) is satisfied. If \(\vartheta =0\)and \(\lambda >0\), then \(z_1>0\), \(\widetilde{w}_1'>0\)in \([p_0,0]\)and \(\widetilde{w}_1>0\)in \((p_0,0]\).
Proof
Arguing as in the proof of Lemma 4.2 it follows that \(z_1>0\) in \([p_0,0]\). The remaining claims are direct consequences of the latter property. Indeed, the relations
imply
As \(z_1\) is positive, we conclude that \(\widetilde{w}_1>0\) in \((p_0,0]\) and \(\widetilde{w}_1'>0\) in \([p_0,0]\). \(\square\)
In view of (4.21), for the existence of a solution \(\vartheta\) to \(W(0;\lambda ,\vartheta )=0\) it thus suffices to prove that \(W(0;\lambda ,\vartheta )\rightarrow \infty\) for \(\vartheta \rightarrow \infty\). We first show that if \(\vartheta /\lambda ^2\) is sufficiently large, then \(\widetilde{w}_1'\) is a positive function. This property is not obvious because of the fact that \(\overline{\rho }'\) has not only the opposed sign in (4.5)\(_1\) but it can also be unbounded. However, when considering the equivalent formulation (4.18), this feature follows quite naturally.
Lemma 4.6
Let \(\lambda >0\) and assume that
Then \(z_1e^A\) and \(\widetilde{w}_1\) are increasing functions and it holds that
Proof
Integrating (4.18) (with \(i=1\)) yields
and
for all \(p\in [p_0,0].\) Hence, the assertions follow due to (4.24). \(\square\)
Combining (4.20) and (4.26) yields
Lemma 4.7
Let \(\lambda >0\)be given and assume that condition (4.7) is satisfied. It then holds:
Proof
In the following, we assume that \(\vartheta\) is large enough to ensure (4.24). Recall that, by Lemma 4.6, the function \(z_1\) is positive and \(z_1e^A\) is increasing on \([p_0, 0].\) Using (4.27), we obtain the estimate
with positive constants \(C_1\) and \(C_2\) independent of \(\vartheta\). Therefore it suffices to show that
Let \(p_1\in [p_0,0]\) be an arbitrary number that is specified later. For \(\vartheta\) sufficiently large it holds that
for all \(p\in [p_1,0]\) with a positive constant \(C_3\) independent of \(\vartheta\). We define
and observe that
Now, let U denote the solution of the initial value problem
Then, U is explicitly given by
for all \(p\in [p_1,0]\). It is straightforward to check that \(Z\ge U\) on \([p_1,0]\). As \(z_1\) is positive and A is increasing, we can conclude that
Now, we fix
Then, since \(z_1\) is positive and \((z_1 e^A)\) is increasing, we use (4.31) and the definition of \(p_1\) to derive the estimate
where \(C_4\) denotes a nonnegative constant that is independent of \(\vartheta\). Hence, recalling (4.25), we observe that the right-hand side tends to infinity as \(\vartheta \rightarrow \infty\). In particular, the assertion (4.30) directly follows. \(\square\)
The relations (4.21), (4.22), and (4.28) ensure that the equation \(W(0;\lambda ,\vartheta )=0\) has at least one solution \(\vartheta >0\) for any fixed \(\lambda >0\). The next result provides a remarkable identity, cf. (4.32), that will enable us later to identify the largest solution \(\vartheta (\lambda )\) to the above equation in a quite explicit way.
Lemma 4.8
Assume that (3.10) and (4.12) hold and that \((\lambda ,\vartheta )\in (0,\infty )^2\)satisfies \(W(0;\lambda ,\vartheta )=0\). Then, it holds \(\widetilde{w}_1(0)W_\lambda (0;\lambda ,\vartheta )< 0\)and
Proof
Let \(\widetilde{w}_1 = \widetilde{w}_1(\,\cdot \,;\lambda ,\vartheta )\) denote the solution of (4.16) corresponding to \(\lambda\) and \(\vartheta\). We first consider the derivative \(W_\lambda (0;\lambda ,\vartheta ).\) Using the algebra property of \(W^1_r((p_0,0))\) we conclude that the partial derivative \(\widetilde{w}_{1,\lambda } = \partial _\lambda \widetilde{w}_1(\,\cdot \,,\lambda ,\vartheta )\) belongs to \(W^2_r((p_0,0))\) and solves the problem
We multiply (4.16\(_1\) by \(\widetilde{w}_{1,\lambda })\) and (4.33)\(_1\) by \(\widetilde{w}_1\) and subtract the resulting equations. This yields
Integrating with respect to p from \(p_0\) to 0 and using integration by parts then gives
Recall that \(W(0;\lambda ,\vartheta ) = (\lambda ^2g\overline{\rho }(0) + \sigma \vartheta )\widetilde{w}_1(0) - \lambda ^2a^3(0)\widetilde{w}_1'(0)\) according to (4.20). Hence, the derivative with respect to \(\lambda\) is given by
We point out that, since \(W(0;\lambda ,\vartheta ) = 0\), the functions \(\widetilde{w}_1\) and \(\widetilde{w}_2\) are linearly dependent and not identically zero. This implies that \(\widetilde{w}_1(0)\ne 0.\) Multiplying the latter identity by \(\widetilde{w}_1(0)\) and using (4.34) and the colinearity of \(\widetilde{w}_1\) and \(\widetilde{w}_2\) we then obtain
In view of
we conclude that
Finally, choosing \(p_1\in (p_0,0]\) such that \(|\widetilde{w}_1(p_1)|=\Vert \widetilde{w}_1\Vert _{{{\rm C}}([p_0,0])}\), together with (4.14) (recall that the positive solution \(x_*\) to (4.13) satisfies \(x_*<2\)) we get
and this proves that \(\widetilde{w}_1(0) W_\lambda (0;\lambda ,\vartheta )<0\).
We next consider \(W_\vartheta (0;\lambda ,\vartheta )\). The partial derivative \(\widetilde{w}_{1,\vartheta } = \partial _\vartheta \widetilde{w}_1(\,\cdot \,,\lambda ,\vartheta )\) belongs to \(W^2_r((p_0,0))\) and solves the problem
Multiplying (4.16\(_1\) by \(\widetilde{w}_{1,\vartheta }\)) and (4.36\(_1\) by \(\widetilde{w}_{1}\)) and subtracting the resulting equations gives
Integrating with respect to p from \(p_0\) to 0 and using integration by parts, we infer that
The partial derivative \(W_\vartheta (0;\lambda ,\vartheta )\) is given by
Multiplying this equation by \(\widetilde{w}_1(0)\) and using (4.37) and the colinearity of \(\widetilde{w}_1\) and \(\widetilde{w}_2\) we conclude that
Next, we multiply (4.16)\(_1\) by \(\widetilde{w}_1\), integrate from \(p_0\) to 0, and use once more the fact that \(\widetilde{w}_1\) and \(\widetilde{w}_2\) are linearly dependent to obtain
Hence, (4.35) implies that
which completes the proof. \(\square\)
Given \(\lambda >0\), let \(\vartheta (\lambda )\) denote the largest solution to \(W(0;\lambda ,\vartheta )=0.\) In the following lemma we identify, using Lemma 4.8, the mapping
up to a positive multiplicative constant.
Lemma 4.9
There exists a constant \(C_D>0\) such that \(\vartheta (\lambda )=C_D\lambda ^2, \, \lambda >0.\)
Proof
Lemmas 4.7 and 4.8 ensure that \(W_\vartheta (0;\lambda ,\vartheta (\lambda ))>0\) for all \(\lambda >0\). The implicit function theorem applied at \((\lambda _0,\vartheta (\lambda _0))\), with \(\lambda _0>0\), implies that in a small neighborhood of \((\lambda _0,\vartheta (\lambda _0))\) the solution set to \(W(0;\lambda ,\vartheta )=0\) coincides with the graph of a smooth curve \(\widetilde{\vartheta }:(\lambda _{0}-\varepsilon ,\lambda _0+\varepsilon )\rightarrow {\mathbb {R}}\). Differentiating the relation \(W(0;\lambda ,\widetilde{\vartheta }(\lambda ))=0\) it follows in virtue of (4.38) that
Hence there exists a constant \(C_D>0\) such that \(\widetilde{\vartheta }(\lambda )=C_D\lambda ^2\) for all \(\lambda \in (\lambda _0-\varepsilon ,\lambda _0+\varepsilon ).\) The desired claim follows now at once. \(\square\)
Remark 4.10
Our analysis shows, under the assumptions (3.10) and (4.12), that the constant \(C_D\) found in Lemma 4.9 is the largest constant such that the solutions to
determined by the initial data
are linearly dependent. The constant \(C_D\) depends only on Earth’s gravity g, the mass flux \(p_0\), the water depth d, the surface tension coefficient \(\sigma\), the density function \(\overline{\rho },\) and on Bernoulli’s function \(\beta\). In the homogeneous case \(\overline{\rho }=\rho \in {\mathbb {R}}\) we obtain, under the assumption that the flow is irrotational (that is for \(\beta =0\)), that \(C_D\) is the largest positive solution to
We cannot exclude the possibility that there exist finitely many (since \(W(0;\lambda ,\cdot ):{\mathbb {R}}\rightarrow {\mathbb {R}}\) is real-analytic there cannot exist infinitely many) positive constants
for which the two solutions defined above are linearly dependent. Each of these constants defines a new function \(\vartheta _i:(0,\infty )\rightarrow {\mathbb {R}}\) with
which satisfies \(W(0;\lambda ,\vartheta _i(\lambda ))=0\) for all \(\lambda >0\). This complicates the bifurcation analysis for (4.1) a lot as in this situation the dimension of \(\ker \partial _h{\mathcal {F}}(\lambda ,0)\) may be larger than 1 for certain \(\lambda\). However, this behavior is expected since, even in the case of constant density, phenomena like bifurcation from double eigenvalues or secondary bifurcation may occur when allowing for surface tension effects, cf. [35, 53, 54].
We now shortly discuss the dispersion relation (4.40) in the homogeneous irrotational case (that is for \(\overline{\rho }=\rho \in {\mathbb {R}}\) and \(\beta =0\)). Setting \(\sqrt{C_D}=x\), the problem reduces to finding the positive zeros of the function \({f:{\mathbb {R}}\rightarrow {\mathbb {R}}}\) with
Since \(f(0)=g\rho d-p_0^2/d^2<0\) (this inequality is a direct consequence of (4.12)) and \(f(x)\rightarrow \infty\) as \(x\rightarrow \infty\), Eq. (4.41) has at least a positive solution. Note that f is even. Furthermore, direct computations show that
Moreover, it can be shown that if \(f'(x)=0\) for some \(x>0\), then \(f''(x)>0\) (see, e.g., [38, Lemma 3]). Consequently, regardless of the sign of
the equation \(f(x)=0\) has a unique solution. Indeed, if \(\sigma > g\rho d^2/3\), then f is strictly increasing on \((0,\infty )\). If \(\sigma =g\rho d^2/3\) then f is again strictly increasing on \((0,\infty )\) since then \(f^{(4)}(0)>0\). Finally, if \(\sigma < g\rho d^2/3\), then f has a unique global minimizer let’s say at \(x_0\) and f is strictly decreasing on \((0,x_0)\) and strictly increasing on \((x_0,\infty )\).
We proceed with the following result.
Proposition 4.11
Let
Then, \(\partial _h{\mathcal {F}}(\lambda _*,0)\)is a Fredholm operator of index zero and with a one-dimensional kernel spanned by
where \(\widetilde{w}_1(\cdot ;\lambda _*, (2\pi )^2)\)denotes the solution to (4.16) corresponding to \((\lambda ,\vartheta )=(\lambda _*,(2\pi )^2).\)
Proof
The proof follows from the results established in Lemmas 4.1, 4.2, 4.4, 4.9, and Remark 4.10. \(\square\)
The transversality condition In order to apply [20, Theorem 1.7] to the bifurcation problem (4.1), we still have to check the transversality condition
with \(\lambda _*\) and \(w_*\) introduced in (4.42) and (4.43), respectively. To this end we first characterize the set \({\rm Im}\partial _{h}{\mathcal {F}}(\lambda _*,0).\)
Lemma 4.12
A pair \((f,\phi )\in {\mathbb {Y}}\) with \(f=\varphi +\partial _q\psi _1+\partial _p\psi _2\) belongs to \({\rm Im}\partial _{h}{\mathcal {F}}(\lambda _*,0)\) if and only if
Proof
Let \((f,\phi )\in {\rm Im}\partial _{h}{\mathcal {F}}(\lambda _*,0)\) and let \(w\in {\mathbb {X}}\) satisfy \((L,T)[w]=(f,\phi ).\) Testing the equation \(L[w]=f\) with \(\xi _m w_*\in H^1_0(\Omega )\), where \(w_*\) is defined in (4.43) and with \(\xi _m\) defined by
we obtain, after passing to the limit \(m\rightarrow \infty\), the following identity
Moreover, multiplying the relation \(T[w]=\phi\) by \(\mathop {{\rm tr}}\nolimits _0w_*\) and integrating over [0, 1], it follows that
Combining the relations (4.46) and (4.47) yields
Finally, multiplying \(L [w_*]=0\) by w and integrating by parts, we find in virtue of
cf. (4.43), that the left-hand side of (4.48) is zero and (4.45) follows. Observing that (4.45) defines a closed subspace of \({\mathbb {Y}}\) of codimension 1 which contains \({\rm Im}\partial _{h}{\mathcal {F}}(\lambda _*,0)\), Proposition 4.11 leads us to the desired conclusion. \(\square\)
We are now in a position to prove that the transversality condition (4.44) holds.
Proposition 4.13
Let \(\lambda _*\)and \(w_*\)be as defined in Proposition 4.11. It then holds
Proof
We compute that
where
Hence, according to Lemma 4.12, \(\partial _{\lambda h}{\mathcal {F}}(\lambda _*,0)[w_*]\in {\rm Im}\partial _{h}{\mathcal {F}}(\lambda _*,0)\) if and only if
The left-hand side of this equation can be expressed as
which is positive according to Lemma 4.8. Thus, the assertion follows. \(\square\)
Improved regularity and the proof of Theorem 2.3 With this preparation completed we may now apply the bifurcation result [20, Theorem 1.7] to (4.1). This provides us with a local branch of weak solutions to (3.3) and (2.11) which contains, apart from the laminar flow defined by \((\lambda _*,0)\) only nonlaminar solutions which belong to \({\mathbb {X}}\). We next prove that any weak solution \(h\in {{\rm C}}^{1+\alpha }(\overline{\Omega })\) to (3.3) and (2.11), corresponding to some \(\lambda >0\), is in fact a strong solution as defined in Theorem (2.1)(iii).
To this end we need the following regularity result.
Theorem 4.14
Let \(\lambda >0\), \(r\in (1,\infty )\), \(\alpha =(r-1)/r\), \(\beta \in L_r((p_0,0))\)and \(\overline{\rho }\in W^1_{r}((p_0,0)).\)Given a weak solution \(h\in {{\rm C}}^{1+\alpha }(\overline{\Omega })\)to (3.3) and (2.11), it holds that \(\partial _q^m h\in {{\rm C}}^{1+\alpha }(\overline{\Omega })\)for all \(m\in {\mathbb {N}}\)and there exists a constant \(L>0\)such that
The proof of Theorem 4.14 is quite technical, but very similar to that of [44, Theorem 5.1] and is therefore omitted.
Remark 4.15
The estimate (4.49) implies in particular that all the streamlines, including the wave surface, of the corresponding strong solution to (3.3) and (2.11), see Proposition 4.17 and Theorem 2.1, are real-analytic graphs. Similar results for classical solutions to (3.3) and (2.11) have been obtained in [33, 55] under the more restrictive assumption that \(\overline{\rho }'\), \(\beta \in {{\rm C}}^\alpha ([p_0,0])\). We point out that the study of the a priori regularity of homogeneous but rotational waves has been initiated in [13], see also [26].
The next lemma plays an important role in the proof of Theorem 2.3(iii).
Lemma 4.16
Given two solutions \((\lambda _i,h_i)\in (0,\infty )\times {\mathbb {X}}\), \(i=1,\, 2\), to (4.1), there exists a constant \(C=C(\lambda _1,\lambda _2,\Vert h_1\Vert _{{{\rm C}}^{1+\alpha }(\overline{\Omega })},\Vert h_2\Vert _{{{\rm C}}^{1+\alpha }(\overline{\Omega })},\Vert \partial _qh_{2}\Vert _{{{\rm C}}^{1+\alpha }(\overline{\Omega })})\)such that
Proof
Since \(w_i:=\partial _qh_i\in {{\rm C}}^{1+\alpha }(\overline{\Omega })\), cf. Theorem 4.14, differentiation of the relations in Definition 3.1 shows that \(w_i\) is a weak solution to the uniformly elliptic boundary value problem
where \(a_{i,k\ell },\, b_i, \, c_i,\, A_i,\, B_i,\, C_i\in {\rm C}^{\alpha }(\overline{\Omega })\) are given by
Hence, for the difference \(W:=w_1-w_2,\) we find that
where
Using [28, Theorem 8.33], we estimate
where, in virtue of \((1-\partial _q^2)^{-1}\in {\mathcal {L}}({{\rm C^{\alpha /2}({\mathbb {R}})}}, {{\rm C^{2+\alpha /2}({\mathbb {R}})}})\), it holds that
Hence
and the desired claim follows by the interpolation result \({\rm C^{1+\alpha /2}(\overline{\Omega })}=({\rm C^{\alpha }(\overline{\Omega })}, {{\rm C}}^{1+\alpha }(\overline{\Omega }))_{1-\alpha /2,\infty }.\)\(\square\)
We next prove that weak solutions to (3.3) and (2.11) are in fact strong solutions (as defined in Theorem 2.1 (iii)).
Proposition 4.17
Let \(\lambda >0\)and let \(h\in {{\rm C}}^{1+\alpha }(\overline{\Omega })\)denote a weak solution to (3.3) and (2.11). Then \(h\in W^2_r(\Omega )\)is a strong solution to (3.3) and (2.11).
Proof
In virtue of Theorem 4.14 we have \(h_q\in {{\rm C}}^{1+\alpha }(\overline{\Omega }),\) hence \(\partial _qh_p=\partial _ph_q\in {{\rm C}}^{\alpha }(\overline{\Omega }).\) This in turn implies that \(\partial _qh_p\) is the classical derivative of \(h_p\) with respect to q. Recalling that
it follows that
and (2.14) in turn yields
Consequently,
and the repeated use of [28, Lemma 7.5] finally yields \(h_p\in W^1_r(\Omega )\). Since \(h_q\in {{\rm C}}^{1+\alpha }(\overline{\Omega })\), it follows that \(h\in W^2_r(\Omega )\) is a strong solution to (3.3) and (2.11) (as \({{\rm tr}}_0 \, h\) is real-analytic, the condition \({{\rm tr}}_0\, h\in W^2_r({\mathbb {R}})\) is obvious). \(\square\)
We complete this section with the proof of Theorem 2.3.
Proof of Theorem 2.3
Gathering (4.2), (4.3), Propositions 4.11, and 4.13 we find that all assumptions of the theorem on bifurcation from simple eigenvalues by Crandall and Rabinowitz, cf. [20, Theorem 1.7], are satisfied in the context of the bifurcation problem (4.1). This abstract result yields the existence of a local smooth curve
where \(\varepsilon >0\) is in general a small number, such that \({\mathcal {F}}(\lambda (s),h(s))=0\) for all \(|s|<\varepsilon\). Moreover, \(\lambda (0)=\lambda _*\) and
with \(\chi \in {\rm C}^\infty ((-\varepsilon ,\varepsilon ),{\mathbb {X}})\) satisfying \(\chi (0)=0\). Besides, there exists a ball in \((0,\infty )\times {\mathbb {X}}\), with center \((\lambda _*,0)\), which does not contain other solutions but those mentioned above or trivial solutions \((\lambda ,0)\). Letting H denote the laminar flow solution fixed at the beginning of the section, it follows from Proposition 4.17 that \(H+h(s)\) is a strong solution to (3.3) and (2.11) having minimal wavelength 1 for \(s\ne 0\). Each pair \((\lambda (s),H+h(s))\) corresponds to a solution \((u(s)-c,v(s),P(s),\rho (s),\eta (s))\) to (2.2)–(2.3) which lies on the curve \({\mathcal {C}}\) in Theorem 2.3 and which has minimal period \(\lambda (s)\) (provided that \(s\ne 0\)), cf. (3.2) and Theorem 2.1. This proves the claims (i), (ii), and (iv) of Theorem 2.3.
It remains to show that \(\eta (s)\) has, for \(s\ne 0\), precisely one maximum and one minimum in \([0,\lambda (s))\) and that \(\eta (s)\) it is strictly monotone between the points where the global extrema are attained. To this end we claim that
Indeed, Lemma 4.16 and (4.43) imply that there exists a constant \(C>0\) such that
for all \(|s|<\varepsilon /2\). Additionally, using the differentiability of h at \(s=0\), we have
These relations together with the interpolation result \({\rm C^{1+\alpha /2}(\overline{\Omega })}=({\rm C^{\alpha }(\overline{\Omega })},{{\rm C}}^{1+\alpha }(\overline{\Omega }))_{1-\alpha /2,\infty }\) immediately yield (4.53). Since \(h(s,\cdot ,0)=s(w_*(\cdot ,0)+\chi (s,\cdot ,0))\) and \(\chi (s,\cdot ,0)\rightarrow 0\) in \({{\rm C}}^{2}({\mathbb {R}})\) for \(s\rightarrow 0\), cf. (4.52)–(4.53), standard arguments show that the monotonicity properties of \(w_*\) are inherited by \(h(s,\cdot ,0)\) provided that \(\varepsilon\) is sufficiently small (see, e.g., [50]). Recalling that the wave profile is parameterized by the function \(\eta (s)=h(s,\cdot ,0)-d,\) we have established (iii) and the proof is complete. \(\square\)
Notes
Hereinafter all function spaces consist of functions which are 1-periodic with respect to q (provided that they depend on the variable q).
Recall that B denotes the primitive of the Bernoulli function, cf. (2.16).
References
Alt, H.W.: Linear Functional Analysis. Universitext, Springer, London (An Application-Oriented Introduction, Translated from the German edition by Robert Nürnberg) (2016)
Amann, H.: Ordinary Differential Equations, vol. 13 of de Gruyter Studies in Mathematics, Walter de Gruyter & Co., Berlin (1990) (An Introduction to Nonlinear Analysis, Translated from the German by Gerhard Metzen)
Ambrose, D.M., Strauss, W.A., Wright, J.D.: Global bifurcation theory for periodic traveling interfacial gravity-capillary waves. Ann. Inst. Henri Poincaré Anal. Non Linéaire 33, 1081–1101 (2016)
Amick, C.J., Turner, R.E.L.: Small internal waves in two-fluid systems. Arch. Ration. Mech. Anal. 108, 111–139 (1989)
Benjamin, B.T.: The solitary wave on a stream with an arbitrary distribution of vorticity. J. Fluid Mech. 12, 97–116 (1962)
Chen, R.M., Walsh, S.: Continuous dependence on the density for stratified steady water waves. Arch. Ration. Mech. Anal. 219, 741–792 (2016)
Chen, R.M., Walsh, S.: Unique determination of stratified steady water waves from pressure. J. Differ. Equ. 264, 115–133 (2018)
Chen, R.M., Walsh, S., Wheeler, M.H.: Existence and qualitative theory for stratified solitary water waves. Ann. Inst. Henri Poincaré Anal. Non Linéaire 35, 517–576 (2018)
Constantin, A.: Edge waves along a sloping beach. J. Phys. A 34, 9723 (2001)
Constantin, A.: On the deep water wave motion. J. Phys. A 34, 1405 (2001)
Constantin, A.: Nonlinear Water Waves with Applications to Wave–Current Interactions and Tsunamis, vol. 81 of CBMS-NSF Conference Series in Applied Mathematics. SIAM, Philadelphia (2011)
Constantin, A.: Some three-dimensional nonlinear equatorial flows. J. Phys. Oceanogr. 43, 165–175 (2013)
Constantin, A., Escher, J.: Analyticity of periodic traveling free surface water waves with vorticity. Ann. Math. 173, 559–568 (2011)
Constantin, A., Ivanov, R.I.: A Hamiltonian approach to wave–current interactions in two-layer fluids. Phys. Fluids 27, 086603 (2015)
Constantin, A., Ivanov, R.I., Martin, C.-I.: Hamiltonian formulation for wave–current interactions in stratified rotational flows. Arch. Ration. Mech. Anal. 221, 1417–1447 (2016)
Constantin, A., Johnson, R.S.: An exact solution for equatorially trapped waves. J. Geophys. Res. Oceans 117, C05029 (2012)
Constantin, A., Johnson, R.S.: An exact, steady, purely azimuthal equatorial flow with a free surface. J. Phys. Oceanogr. 46, 1935–1945 (2016)
Constantin, A., Strauss, W.: Exact steady periodic water waves with vorticity. Commun. Pure Appl. Math. 57, 481–527 (2004)
Constantin, A., Strauss, W.: Periodic traveling gravity water waves with discontinuous vorticity. Arch. Ration. Mech. Anal. 202, 133–175 (2011)
Crandall, M.G., Rabinowitz, P.H.: Bifurcation from simple eigenvalues. J. Funct. Anal. 8, 321–340 (1971)
Cushman-Roisin, B., Beckers, J.-M.: Introduction to Geophysical Fluid Dynamics. Academic Press, London (2009)
Dubreil-Jacotin, M.-L.: Sur les ondes de type permanent dans les liquides hétérogènes. Atti Accad. Naz. Lincei Rend. 6, 814–819 (1932)
Dubreil-Jacotin, M.-L.: Sur les théorèmes d’èxistence relatifs aux ondes permanentes périodiques a deux dimensions dans les liquides hétérogènes. J. Math. Pures. Appl. 9, 43–67 (1937)
Ehrnström, M., Wahlén, E.: Trimodal steady water waves. Arch. Ration. Mech. Anal. 216, 449–471 (2015)
Escher, J., Matioc, A.-V., Matioc, B.-V.: On stratified steady periodic water waves with linear density distribution and stagnation points. J. Differ. Equ. 251, 2932–2949 (2011)
Escher, J., Matioc, B.-V.: On the analyticity of periodic gravity water waves with integrable vorticity function. Differ. Integr. Equ. 27, 217–232 (2014)
Gerstner, F.: Theorie der Wellen samt einer daraus abgeleiteten Theorie der Deichprofile. Ann. Phys. 2, 412–445 (1809)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order. Springer, Berlin (2001)
Henry, D., Martin, C.I.: Exact, purely azimuthal stratified equatorial flows in cylindrical coordinates. Dyn. Partial Differ. Equ. 15, 337–349 (2018)
Henry, D., Martin, C.I.: Exact, free-surface equatorial flows with general stratification in spherical coordinates. Arch. Ration. Mech. Anal. 233, 497–512 (2019)
Henry, D., Martin, C.I.: Free-surface, purely azimuthal equatorial flows in spherical coordinates with stratification. J. Differ. Equ. 266, 6788–6808 (2019)
Henry, D., Matioc, A.-V.: Global bifurcation of capillary-gravity stratified water waves. Proc. R. Soc. Edinb. Sect. A 144, 775–786 (2014)
Henry, D., Matioc, B.-V.: On the regularity of steady periodic stratified water waves. Commun. Pure Appl. Anal. 11, 1453–1464 (2012)
Henry, D., Matioc, B.-V.: On the existence of steady periodic capillary-gravity stratified water waves. Ann. Scuola Norm. Sup. Pisa XII, 955–974 (2013)
Jones, M.C.W.: Small amplitude capillary-gravity waves in a channel of finite depth. Glasg. Math. J. 31, 141–160 (1989)
Kluczek, M.: Exact Pollard-like internal water waves. J. Nonlinear Math. Phys. 26, 133–146 (2019)
Long, R.R.: Some aspects of the flow of stratified fluids. I. A theoretical investigation. Tellus 5, 42–58 (1953)
Martin, C.I.: Local bifurcation and regularity for steady periodic capillary-gravity water waves with constant vorticity. Nonlinear Anal. Real World Appl. 14, 131–149 (2013)
Martin, C.I.: Hamiltonian structure for rotational capillary waves in stratified flows. J. Differ. Equ. 261, 373–395 (2016)
Martin, C.I.: A Hamiltonian approach for nonlinear rotational capillary-gravity water waves in stratified flows. Discrete Contin. Dyn. Syst. 37, 387–404 (2017)
Martin, C.I., Matioc, B.-V.: Steady periodic water waves with unbounded vorticity: equivalent formulations and existence results. J. Nonlinear Sci. 24, 633–659 (2014)
Matioc, A.-V.: Steady internal water waves with a critical layer bounded by the wave surface. J. Nonlinear Math. Phys. 19, 1250008, 21 (2012)
Matioc, A.-V.: Exact geophysical waves in stratified fluids. Appl. Anal. 92, 2254–2261 (2013)
Matioc, A.-V., Matioc, B.-V.: Capillary-gravity water waves with discontinuous vorticity: existence and regularity results. Commun. Math. Phys. 330, 859–886 (2014)
Matioc, B.-V.: Global bifurcation for water waves with capillary effects and constant vorticity. Monatsh. Math. 174, 459–475 (2014)
Pedlosky, J.: Geophysical Fluid Dynamics. Springer, New York (1979)
Pinet, P.R.: Invitation to Oceanography. Jones & Bartlett Publishers, Burlington (2013)
Stuhlmeier, R.: On edge waves in stratified water along a sloping beach. J. Nonlinear Math. Phys 18, 127–137 (2011)
Turner, R.E.L.: Internal waves in fluids with rapidly varying density. Ann. Scuola Norm.Sup. Pisa Cl. Sci. 4(8), 513–573 (1981)
Wahlén, E.: Steady periodic capillary-gravity waves with vorticity. SIAM J. Math. Anal. 38, 921–943 (2006). (electronic)
Walsh, S.: Some criteria for the symmetry of stratified water waves. Wave Motion 46, 350–362 (2009)
Walsh, S.: Stratified steady periodic water waves. SIAM J. Math. Anal. 41, 1054–1105 (2009)
Walsh, S.: Steady stratified periodic gravity waves with surface tension I: local bifurcation. Discrete Contin. Dyn. Syst. 34, 3241–3285 (2014)
Walsh, S.: Steady stratified periodic gravity waves with surface tension II: global bifurcation. Discrete Contin. Dyn. Syst. 34, 3287–3315 (2014)
Wang, L.-J.: Regularity of traveling periodic stratified water waves with vorticity. Nonlinear Anal. 81, 247–263 (2013)
Yih, C.-S.: Exact solutions for steady two-dimensional flow of a stratified fluid. J. Fluid Mech. 9, 161–174 (1960)
Acknowledgements
Open Access funding provided by Projekt DEAL. Patrik Knopf and Bogdan-Vasile Matioc were partially supported by the RTG 2339 “Interfaces, Complex Structures, and Singular Limits” of the German Science Foundation (DFG). Christina Lienstromberg has been supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) through the collaborative research centre ‘The mathematics of emerging effects’ (CRC 1060, Projekt-ID 211504053 ) and the Hausdorff Center for Mathematics (GZ 2047/1, Projekt-ID 390685813). The support is gratefully acknowledged.
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.
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
Escher, J., Knopf, P., Lienstromberg, C. et al. Stratified periodic water waves with singular density gradients. Annali di Matematica 199, 1923–1959 (2020). https://doi.org/10.1007/s10231-020-00950-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-020-00950-1