Abstract
We obtain a complete solution to the problem of classifying all two-dimensional ideal fluid flows with harmonic Lagrangian labelling maps; thus, we explicitly provide all solutions, with the specified structural property, to the incompressible two-dimensional Euler equations (in Lagrangian variables).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Within the realm of fluid dynamics, the most complete description of a flow is attained within the Lagrangian framework. Qualitative studies of fluids are concerned with perturbations of explicitly known flows. Therefore non-trivial explicit solutions that capture important aspects of the physical reality are of great importance [3]. Several publications in the applied mathematics, engineering and physics research literature (see [6, 7, 10–12, 15, 18] and references therein) exploited a remarkable feature shared by some celebrated explicit solutions to the two-dimensional incompressible Euler equations, in Lagrangian variables (such as Kirchhoff’s elliptical vortex [16] found in 1876, Gerstner’s flow [9] found in 1809 and re-discovered in 1863 by Rankine [19], and the Ptolemaic vortices found in 1984 by Abrashkin and Yakubovich [1]), namely that in all of them the labelling map is harmonic at all times.
Recently, in [2], the authors proposed a complex analysis approach aimed at classifying all such flows. While new explicit solutions were obtained, the exhaustion of all possibilities was reduced to an explicit nonlinear ordinary differential system in \(\mathbb {C}^4\). Solving this system in full generality proved elusive so far.
We propose a different approach that provides a complete solution to the original problem of finding all flows with harmonic labelling maps. Our approach is based on ideas from the theory of harmonic mappings, more precisely, on the fact that it is possible to characterize the relationship between planar harmonic maps having the same Jacobian—a property of the labelling maps that is a consequence of the equation of mass conservation, expressed in Lagrangian variables. Apart from achieving the full picture, our considerations provide an illustration of the deep links between the fields of complex analysis and fluid mechanics.
2 The governing equations
The Eulerian description of the two-dimensional motion of an ideal homogeneous fluid is obtained by imposing the law of mass conservation
and Euler’s equation of motion
where \(\big (u(t,x,y),\,v(t,x,y)\big )\) is the velocity field in the time and space variables (t, x, y) and the scalar function P(t, x, y) represents the pressure. Since the reference density in hydrodynamics is \(1\, g/cm^3\), we normalize the constant fluid density to 1.
The most complete flow representation is provided in (material) Lagrangian coordinates, in which one describes the motion of all fluid particles. For a given velocity field \(\big (u(t,x,y),\,v(t,x,y)\big )\), the motion of the individual particles \(\big (x(t),\,y(t)\big )\) is obtained by integrating the system of ordinary differential equations
whereas the knowledge of the particle path \(t \mapsto \big (x(t),\,y(t)\big )\) provides by differentiation with respect to t the velocity field at time t and at the location \(\big (x(t),\,y(t)\big )\).
Starting with a simply connected domain \(\Omega _0\), representing the labelling domain, each label \((a,b) \in \Omega _0\) identifies by means of the injective map
the evolution in time of a specific particle, the fluid domain at time t, \(\Omega (t)\), being the image of \(\Omega _0\) under the map (3). To write the governing equations in Lagrangian coordinates, we use the following relations:
and
where J is the Jacobian of the transformation given by
The local injectivity of the transformation between the Eulerian and Lagrangian coordinates is expressed by (5). In view of (4) and
the equation of mass conservation (1) takes the form
in Lagrangian coordinates, that is,
On the other hand, from (6) we get
so that the Euler equation (2), in Lagrangian variables, becomes
Since the Jacobian of the above system does not vanish, due to (5), we can solve for the gradient of P in the label space, obtaining
in \(\Omega _0\). The domain \(\Omega _0\) being simply connected, the above system is equivalent to the compatibility condition \(P_{ab}=P_{ba}\), that is,
or, equivalently,
These considerations show that, in Lagrangian coordinates, the governing equations are equivalent to (7) and (8), under the constraint that, at any instant t, the map (3) is a global diffeomorphism from the label domain \(\Omega _0\) to the fluid domain \(\Omega (t)\).
3 Harmonic labellings
As already mentioned in Introduction, the common structural property of the known explicit solutions to the governing equations (Kirchhoff’s vortex [16], Gerstner’s wave [9], the Ptolemaic solutions [1]) is that the labelling map (3) is harmonic at every fixed time t. Our aim is to explicitly find all solutions having this property. Most ideas in this section are inspired by [2] and are included for the sake of completeness. Since from now on our methods will rely exclusively on complex analysis, it is convenient to adapt the notation accordingly. Therefore we look for solutions to (7) and (8) having the form
with \(z \mapsto F(t,z)\) and \(z \mapsto G(t,z)\) analytic in the simply connected domain \(\Omega _0 \subset {\mathbb C}\), at every time t. Recall that \(\displaystyle \frac{\partial F}{\partial \overline{z}}=0\) characterizes analyticity and that
The Jacobian of the harmonic map (9) is \(J=|F'|^2-|G'|^2\). Therefore the equation of mass conservation (7) can be re-written as \(\big ( F'\,\overline{F'} \,-\,\overline{G'}\,G'\big )_t=0\), that is,
Relation (10) together with (9) yield
A lengthy but straightforward calculation using the above relations shows that (8) is equivalent to
In view of (11) and (12), the governing equations reduce to the single equation
for some real-valued function \(\nu \).
Remark 1
Using the notation \(F_0:=F(0, \cdot ),\, G_0:=G(0,\cdot )\), the equation of mass conservation expressed as \(J_t=0\) means that the Jacobian of the labelling map is constant in time, and hence it is given by \(J=|F'_0|^2-|G'_0|^2\). Since \(\Omega _0\) is simply connected and J does not vanish in \(\Omega _0\), we deduce that we either have \(J>0\) (i.e. \(F_0+\overline{G_0}\) is sense preserving) or \(J<0\) (i.e. \(F_0+\overline{G_0}\) is sense reversing) throughout \(\Omega _0\). From now on we shall assume without loss of generality that \(F_0+\overline{G_0}\) is sense preserving. Indeed, if \(F_0+\overline{G_0}\) is sense reversing, we can replace the label domain by \(\overline{\Omega _0}\), and, in this case, the labelling map at time \(t=0\) becomes \(F_0(\bar{z})+\overline{G_0(\bar{z})}\), which is sense preserving.
An equivalent condition to the fact that \(F_0+\overline{G_0}\) is sense preserving in the simply connected domain \(\Omega _0\) is that \(F_0\) is locally univalent (thus \(F_0'\ne 0\) in \(\Omega _0\)) and the (second complex) dilatation \(\omega \) of \(F_0+\overline{G_0}\), defined by \(\omega =G_0'/F_0'\), is an analytic map into the open unit disk.
Since the Jacobian of the harmonic maps \(F(t,z)+\overline{G(t,z)}\), defined for \(t\ge 0\) and \(z\in \Omega _0\), that satisfy (13) is independent of time, in order to find all solutions it is natural to start by looking for a characterization of the relationship between two harmonic maps with equal Jacobians.
4 Harmonic functions with equal Jacobian
We now find the relationship between two harmonic maps with equal Jacobians. Our approach is inspired by the proof of [4, Theorem 3] (see also the considerations made in [14]).
We start by proving the following lemma that might have some independent interest and will be used later on.
Lemma 1
Let \(\varphi \) and \(\psi \) be two analytic functions in a simply connected domain \(\Omega \), with \(\varphi \not \equiv 0\). Then
in \(\Omega \) for some real numbers r and s different from zero if and only if there exist two complex constants \(c_1\) and \(c_2\) with \(|c_1|^2= r|c_2|^2 + s\) such that \(\varphi \equiv c_1\) and \(\psi \equiv c_2\).
Proof
Note that for (14) to hold, it is necessary that \(r|\psi (z)|^2+s \ge 0\) for all \(z\in \Omega \). If \(r|\psi |^2+s \equiv 0 \), then a direct application of the open mapping theorem for analytic functions gives us the desired result.
Assume now that \(r|\psi |^2+s\) is not identically zero. Then, there exists a disk \(D= D(z_0, R)\) centered at some \(z_0\in \Omega \) and radius \(R>0\) such that \(D\subset \Omega \) and \(r|\psi (z)|^2+s>0\) for all \(z\in D\). The forthcoming analysis will be done in this disk.
We take logarithms in (14) to get
Now, the function of the left-hand side in (15) is harmonic so that the one on the right-hand side must be harmonic as well. The Laplacian of this latter function equals
so that \(\psi '\) is identically zero in D and hence there exists a non-zero constant \(c_2 \in {\mathbb C}\) such that \(\psi \equiv c_2\). Bearing in mind (14), we get that \(\varphi \) equals a constant \(c_1\) too, with \(|c_1|^2= r|c_2|^2 + s\). A direct application of the identity principle for analytic functions completes the proof. \(\square \)
4.1 The case of linear dependence
We first treat the easier case when the harmonic mapping \(F+\overline{G}\) is such that \(F'\) and \(G'\) are linearly dependent.
Theorem 1
Let \(F_1+\overline{G_1}\) be a (sense preserving) harmonic map in a simply connected domain \(\Omega \subset {\mathbb C}\). Assume further that \(G_1'=\lambda F_1'\) where \(\lambda \in {\mathbb C}\). If \(F_2+\overline{G_2}\) is a harmonic map in \(\Omega \) whose Jacobian equals that of \(F_1+\overline{G_1}\), that is,
then there exist constants \(\alpha ,\,\beta \in {\mathbb C}\) such that \(F_2'=\alpha F_1'\) and \(G_2'=\beta F_1'\), with \(|\alpha |^2-|\beta |^2=1-|\lambda |^2>0\). Moreover, if \(F_1+\overline{G_1}\) is univalent in \(\Omega \), then \(F_2+\overline{G_2}\) is univalent in \(\Omega \).
Proof
Let us first notice that \(F_1'\) has no zeros in \(\Omega \) since the Jacobian \(J_1\) of \(F_1+\overline{G_1}\) is strictly positive. Dividing by \(|F_1'|^2\) in (16), we get
We can now apply Lemma 1 to deduce that there exist \(\alpha ,\,\beta \in {\mathbb C}\) such that \(F_2'=\alpha F_1'\) and \(G_2'=\beta F_1'\), with \(1-|\lambda |^2=|\alpha |^2-|\beta |^2\). In particular, \(|\alpha |^2-|\beta |^2 > 0\) since \(J_1 > 0\).
It remains to show that univalence is preserved. If \(F_1+\overline{G_1}\) is univalent, then, due to the special form of \(G_1\), we have that \(F_1\) is also univalent. Assume there exist \(z, \, w \in \Omega \) with \(F_2(z)+\overline{G_2(z)}=F_2(w)+\overline{G_2(w)}\). Since \(F_2+\overline{G_2}=\alpha F_1 + \overline{\beta F_1}+\gamma \) for some constant \(\gamma \in {\mathbb C}\), the last equality yields \(\alpha \,(F_1(z)-F_1(w))=-\,\overline{\beta (F_1(z)-F_1(w))}\). Taking the modulus on both sides, we get \(F_1(z)-F_1(w)=0\), since \(|\alpha | \ne |\beta |\). The univalence of \(F_1\) forces \(z=w\), thus proving the claim. \(\square \)
4.2 Linearly independent case
We now investigate the generic setting.
Theorem 2
Let \(F_1+\overline{G_1}\) and \(F_2+\overline{G_2}\) be two harmonic mappings on a simply connected domain \(\Omega \), with Jacobians \(J_1=|F_1'|^2-|G_1'|^2\) and \(J_2=|F_2'|^2-|G_2'|^2\), respectively. Assume that \(F_1'\) and \(G_1'\) are linearly independent. If \(J_1=J_2>0\), then there exist two complex constants \(\alpha \), \(\beta \) with \(|\alpha |^2=1+|\beta |^2\) and a real number \(\xi \) such that
Proof
Since, by assumption, \(|F_1'|>0\), we may denote \(\varphi =F_2'/F_1'\). Also, the dilatation \(\omega _1=G_1'/F_1'\) of \(F_1+\overline{G_1}\) is not constant. Since \(J_1=J_2\), we have
where \(\psi =\omega _2\varphi =G_2'/F_1'\). We rewrite this as
Note that if \(\varphi \) equals a constant k (necessarily different from zero), then the previous equation can be written as
If \(|k|=1\), then \(|F_2'|=|F_1'|\) and the above relation implies \(|G_1'|=|G_2'|\). In view of the open mapping theorem we must have \(F_2'=e^{is_1}F_1'\) and \(G_2'=e^{is_2}G_1'\) for some real constants \(s_1\) and \(s_2\), and then (17) holds with \(\beta =0,\, \alpha =e^{is_1}\), and \(\xi = s_1+s_2\).
If \(|k|\ne 1\), then by Lemma 1 we have that \(\omega _1\) is constant, which contradicts our assumption. Thus, we can assume that \(\varphi \) is not constant, so that its derivative is not identically zero. Therefore, there exists a disk \(D=D(z_0,R)\), centered at some \(z_0\in \Omega \) and with radius \(R>0\), contained in \(\Omega \) such that \(\varphi '(z)\ne 0\) for all \(z\in D\). The forthcoming analysis is done in this disk.
Taking the Laplacian of both sides of (18), we obtain
Since \(\varphi '\ne 0\), we get
By Lemma 1 we see that both \(\psi '/\varphi '\) and \(\omega _1'/\varphi '\) are constant functions in D and hence (by the identity principle) throughout \(\Omega \). Let \(m=\omega _1'/\varphi '\). Therefore [using also (19)] we have
where \(\theta \) is a real number. Thus, for certain complex constants n and p,
Using this information in (18), we get
Hence
As a consequence, we see that unless \(e^{i\theta }\overline{p} \sqrt{1+|m|^2}-m\overline{n}=0\), the values of \(\varphi \) lie on a line. This is not possible for non-constant \(\varphi \). Therefore, we have
and also
Taking absolute values in (21) gives \(|p|^2(1+|m|^2)=|m|^2 |n|^2\), while from (22) we have \(|m|^2(1+|p|^2)=|m|^2 |n|^2\). Therefore
for some real number s. Note that if \(m=0\), then \(\omega _1\) is constant, which contradicts our assumptions. Thus, \(m\ne 0\) and from (21) we get
Expressing \(\omega _1\) and \(\varphi \) in the first relation in (20), we obtain
Hence
and
Making \(\psi \), \(\varphi \) and p explicit in the second relation in (20) gives
Multiplying this relation by \(F_1'\) and using (23), we deduce
Finally, setting \(\xi =s+\pi \) and denoting
leads to
which is a re-expression of (17). \(\square \)
Remark 2
Assume that \(F_1+\overline{G_1}\) and \(F_2+\overline{G_2}\) are two sense preserving harmonic mappings in the simply connected domain \(\Omega \), related by (17). In the case when \(F_1+\overline{G_1}\) is univalent and \(\xi =0\), then \(F_2+\overline{G_2}\) is obtained by composing with a sense preserving affine transformation. Since this affine transformation preserves univalence, \(F_2+\overline{G_2}\) is univalent as well. This is not true if \(\xi \ne 0\). For example, the so-called harmonic Koebe function introduced in [5] (see also [8, Sect. 5.3]), defined by \(K=f+\overline{g}\), where
is univalent in the unit disk \({\mathbb D}\) but there exists \(|\mu |=1\) such that \(f+\overline{\mu g}\) is not univalent (see [13, Theorem 7.1]).
5 The solutions
In what follows we will set
and use the notation \(F_0+\overline{G_0}\) for the function \(F(0, \cdot )+\overline{G(0, \cdot )}\), which is supposed to be univalent in the simply connected domain \(\Omega _0\). Also, we write \(f_0=f(0, \cdot )\) and \(g_0= g(0, \cdot )\).
5.1 Solutions in the linearly dependent case
We start by finding the solutions \(f\not \equiv 0\) and \(g\not \equiv 0\) such that the governing Eq. (13) holds under the additional assumption that the initial harmonic (sense preserving) labelling map \(F_0+\overline{G_0}\) is such that \(F_0'\) and \(G_0'\) are linearly dependent, or, in other words, \(F_0+\overline{G_0}\) has constant dilatation. Indeed, since the harmonic map \(F_0+\overline{G_0}\) is sense preserving, the linear dependence translates into the fact that there exists a constant \(\lambda \in {\mathbb C}\) with \(|\lambda |<1\) such that \(G_0'=\lambda F_0'\).
Theorem 3
Let \(\Omega _0\subset {\mathbb C}\) be a simply connected domain. If the initial harmonic (univalent, sense preserving) labelling map \(F_0+\overline{G_0}\) satisfies \(G_0'=\lambda F_0'\) for some \(\lambda \in {\mathbb C}\), then the particle motion (9) of a fluid flow, defined by means of (24), is given by
where \(\beta :[0,\infty )\rightarrow {\mathbb C}\) is a \(C^1\) function with \(\beta (0)=\lambda \), and \(\nu _0 \in {\mathbb R}\) is an arbitrary constant.
Proof
Recall that we are using the notation \(f_0=F_0'\). Since the Jacobian of the labelling map remains unchanged at all times t, we can apply Theorem 1 to deduce that \(f(t,z)=\alpha (t)f_0(z)\) and \(g(t,z)=\beta (t)\, f_0(z)\), where \(|\alpha |^2-|\beta |^2\equiv 1-|\lambda |^2>0\). Using this in (13), we obtain
As \(F_0+\overline{G_0}\) is a sense preserving mapping, we have \(|f_0|>0\). Thus \(\alpha _t\,\overline{\alpha } -\beta \, \overline{\beta }_t=i\,\nu _0\) for some constant \(\nu _0 \in {\mathbb R}\), and we are lead to the system
where \(c=1-|\lambda |^2>0\). The second equation above ensures that \(|\alpha |>0\), which allows us to write \(\alpha (t)=R(t)\,e^{i\varphi (t)}\) for appropriate \(C^1\)-functions \(R: [0,\infty ) \rightarrow (0,\infty )\) and \(\varphi : [0,\infty ) \rightarrow {\mathbb R}\) (see, for instance, [17, Theorem 2.24]). The system (26) written in polar coordinates becomes
The first equation in (27) in conjunction with the time-differentiation of the second equation in (27) yields \(R^2\,\varphi _t=\nu _0 + Im\{\beta \,\overline{\beta }_t\}\). Thus (26) reduces to
The initial conditions \(f(0,\cdot )=f_0, \, g(0,\cdot )=g_0\) now give \(\beta (0)=\lambda \) and \(\varphi (0)=0\). Therefore we obtain (25). \(\square \)
Example 1
Kirchhoff’s solution [16] is the particular case of (25) in which
where A and k are non-zero real constants and \(\lambda \in (0, 1)\). The condition on the univalence of \(F_0\) requires that \(\Omega _0\) does not contain points z and w with
for some integer m.
5.2 The solutions in the linearly independent case
Using again the notation \(F_0+\overline{G_0}\) for the function \(F(0, \cdot )+\overline{G(0, \cdot )}\) and keeping in mind that \(F_0+\overline{G_0}\) is sense preserving univalent in the simply connected domain \(\Omega _0\), we have that \(|F_0'|^2-|G_0'|>0\) in \(\Omega _0\). Also, as before, we set \(f_0=f(0, \cdot )\) and \(g_0= g(0, \cdot )\) (hence \(|f_0|^2-|g_0|^2\ne 0\)).
Now, we will consider solutions \(f\not \equiv 0\) and \(g\not \equiv 0\) such that (13) holds and such that \(F_0+\overline{G_0}\) has non-constant dilatation.
Theorem 4
Let \(\Omega _0\subset {\mathbb C}\) be a simply connected domain. Assume that the initial harmonic (univalent, sense preserving) labelling map \(F_0+\overline{G_0}\) is such that \(F_0'\) and \(G_0'\) are linearly independent. The particle motion (9) of a fluid flow, defined by means of (24), is either described by
where \(\beta :[0,\infty )\rightarrow {\mathbb C}\) is a \(C^1\) function and \(\nu _0 \in {\mathbb R}\), or by
where \(\nu _0\) is as above and \(\xi _0\in {\mathbb R}\ne \{0\}\). Moreover, for the solutions (28), univalence at any time is ensured once it holds at time \(t=0\). Univalence holds for the solutions (29) if and only if \(F_0+\overline{\lambda G_0}\) is univalent for all \(\lambda \) with \(|\lambda |=1\).
Proof
By Theorem 2, we know that there exist \(C^1\) functions \(\alpha , \beta :[0, \infty )\rightarrow {\mathbb C}\) with \(|\alpha (t)|^2-|\beta (t)|^2=1\) for all \(t\ge 0\) and \(\xi :[0,\infty )\rightarrow {\mathbb R}\) such that
Note that since \(f(0, \cdot )=f_0\), \(g(0, \cdot )=g_0\), and the dilatation of \(F_0+\overline{G_0}\) is non-constant, we have the initial conditions
A straightforward calculation shows that
Now, by (13), we know that \(f_t\, \overline{f} -g\, \overline{g}_t=i\nu (z,\overline{z})\). Since the function \(|f_0|^2-|g_0|^2\) only depends on z and \(\overline{z}\) and is always different from zero, we obtain that
where \(\widetilde{\nu }=\nu /((|f_0|^2-|g_0|)^2)\). Let us re-write the previous equation using that \(|f_0|^2-|g_0|^2=|f_0|^2(1-|\omega |^2)\), where \(\omega =g_0/f_0\) is the dilatation of \(F_0+\overline{G_0}\). Note that since we are assuming that \(\omega \) is not constant, we have that there exists an open disk \(D\subset \Omega _0\) such that \(\omega '(z)\ne 0\) for all \(z\in \Omega _0\). From now on, we will assume that \(z\in D\). Within these terms (33) becomes
Taking derivatives with respect to z in (34), we obtain that the function
only depends on z and on \(\overline{z}\). Hence, so does
which has derivative with respect to \(\overline{z}\) equal to
Since \(\omega '\) is supposed to be non-zero, we have that
where \(\gamma \) is a function of z and \(\overline{z}\). This fact finally implies (again taking derivatives with respect to \(\overline{z}\) in (35) and dividing out by \(\omega '\)) the equation
for some constant \(c_1\) and, in particular, by using this information in (35) we get that \((|\alpha |^2+|\beta |^2)\xi _t\) is constant as well. Moreover, by (32), we see that \(\alpha \overline{\alpha }_t-\beta \overline{\beta }_t\) is constant too (indeed, using that \(|\alpha |^2-|\beta |^2=1\), it is easy to check that \(\alpha _t\,\overline{\alpha }-\beta _t\,\overline{\beta }\) is a purely imaginary complex number). In other words, we have seen that the following system must be satisfied by the functions \(\alpha \), \(\beta \), and \(\xi \) (here, \(c_1\), \(c_2\), and \(c_3\) are certain constants with \(c_3\in {\mathbb R}\)):
Now, note that the second and fourth equations in (36) can be re-written as
which gives
On the other hand, using the first equation in (36), a direct consequence of (37) is that
This shows that \(\xi _t^2\) (hence \(\xi _t\)) must be a constant function.
We distinguish between two types of solutions.
Case 1 \(\xi _t\equiv 0\). Then \(\xi \) must be constant and hence, by (31), we see that \(\xi \equiv 0\). Moreover, in this case (36) becomes
Notice that the above system is a particular case of (26), with \(\nu _0=c_3\), \(c=1\), and where \(\beta \) is replaced by \(\bar{\beta }\). Taking into account that \(\alpha (0)=0\), the previous approach shows that its solution is given by
and \(\beta :[0,\infty ) \rightarrow {\mathbb C}\) is an arbitrary \(C^1\)-function with \(\beta (0)=0\). These considerations prove the first part of the theorem. The univalence is obtained as in Remark 2.
Case 2 \(\xi _t\equiv \xi _0,\ \xi _0\ne 0\). Note that in this case [using that, by (31), \(\xi (0)=0\)], we have \(\xi (t)=\xi _0 t\). By (37) we see that both functions \(|\alpha |\) and \(|\beta |\) are constants. A further application of (31) gives that \(\beta \equiv 0\) and \(\alpha (t)=e^{i\varphi (t)}\) for some \(C^1\) function \(\varphi :[0, \infty )\rightarrow {\mathbb R}\) with \(\varphi (0)=0\). Moreover, by (36) we get \(\varphi '\equiv c_3\), so that \(\varphi (t)=c_3 t\). Therefore, according to (30), we have that
which is (29) with \(\nu _0=c_3\). Concerning the issue of univalence for the flows (29), note that
where \(\mu \) and \(\nu \) are real-valued \(C^1\) functions in \([0, \infty )\). That is,
where v(t) is the translation vector \((\mu (t), \overline{\nu (t)})\). The translation vector v, as well as the multiplication factor \(e^{i\nu _0 t}\), play no role regarding univalence. Since \(e^{-i\xi _0 t}\) covers the unit circle as \(t\in [0,\infty )\), the claim is proved. \(\square \)
Example 2
Gerstner’s flow [9] corresponds to the case of (29) in which
where \(k>0\), \(\mathfrak {g}\) is the gravitational constant of acceleration, and \(z\in \Omega _0=\{z\in {\mathbb C}:Im\{z\}<0\}\).
References
Abrashkin, A.A., Yakubovich, E.I.: Two-dimensional vortex flows of an ideal fluid. Dokl. Adad. Nauk SSSR 276, 76–68 (1984) [in Russian; English translation: Soviet Phys. Dokl. 29, 370–371 (1984)]
Aleman, A., Constantin, A.: Harmonic maps and ideal fluid flows. Arch. Ration. Mech. Anal. 204, 479–513 (2012)
Bennet, A.: Lagrangian fluid dynamics. Cambridge University Press, Cambridge (2006)
Chuaqui, M., Duren, P., Osgood, B.: The Schwarzian derivative for harmonic mappings. J. Anal. Math. 91, 329–351 (2003)
Clunie, J., Sheil-Small, T.: Harmonic univalent functions. Ann. Acad. Sci. Fenn. Ser. A. 9, 3–25 (1984)
Constantin, A.: Edge waves along a sloping beach. J. Phys. A. 34, 9723–9731 (2001)
Constantin, A.: An exact solution for equatorially trapped waves. J. Geophys. Res. 117, C05029 (2012). doi:10.1029/2012JC007879
Duren, P.L.: Harmonic mappings in the plane, Cambridge Tracts in Mathematics, vol. 156. Cambridge University Press, Cambridge (2004)
Gerstner, F.: Theorie der Wellen samt einer daraus abgeleiteten Theorie der Deichprofile. Ann. Phys. 2, 412–445 (1809)
Godin, O.A.: Finite-amplitude acoustic-gravity waves: exact solutions. J. Fluid Mech. 767, 52–64 (2015)
Henry, D.: An exact solution for equatorial geophysical water waves with an underlying current. Eur. J. Mech. B Fluids 38, 18–21 (2013)
Henry, D., Hsu, H.-C.: Instability of equatorial water waves in the \(f\)-plane. Discrete Contin. Dyn. Syst. 35, 909–916 (2015)
Hernández, R., Martín, M.J.: Stable geometric properties of analytic and harmonic functions. Math. Proc. Camb. Philos. Soc. 155, 343–359 (2013)
Hernández, R., Martín, M.J.: Pre-Schwarzian and Schwarzian derivatives of harmonic mappings. J. Geom. Anal. 25, 64–91 (2015)
Ionescu-Kruse, D.: Instability of edge waves along a sloping beach. J. Differ. Equations 256, 3999–4012 (2014)
Kirchhoff, G.: Vorlesungen über matematische Physik. Mechanik Teubner, Leipzig (1876)
Kühnel, W.: Differential geometry. curves-surfaces-manifolds. Translated from the 1999 German original by Bruce Hunt. Student Mathematical Library, vol. 16. American Mathematical Society, Providence (2002)
Leblanc, S.: Local stability of Gerstner’s waves. J. Fluid Mech. 506, 245–254 (2004)
Rankine, W.J.M.: On the exact form of waves near the surface of deep water. Philos. Trans. R. Soc. Lond. Ser. A 153, 127–138 (1863)
Acknowledgments
This research was developed during the second author’s research stay at the University of Vienna funded by the ERC Advanced Grant “Nonlinear studies of water flows with vorticity”. She wants to use this opportunity to thank the faculty and staff members at the Faculty of Mathematics for their hospitality. Finally, we would like to thank the referees for their careful reading of the manuscript as well as for their useful suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Y. Giga.
Dedicated to Professor Peter Duren on the occasion of his 80th birthday.
The Olivia Constantin was supported by FWF Project P 24986-N25. The María J. Martín was supported in part by Academy of Finland Grant 268009 and by Spanish MINECO/FEDER Research Project MTM2015-65792-P.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.