Abstract
We study the Boussinesq approximation for the incompressible Euler equations using Lagrangian description. The conditions for the Lagrangian fluid map are derived in this setting, and a general method is presented to find exact fluid flows in both the two-dimensional and the three-dimensional case. There is a vast amount of solutions obtainable with this method and we can only showcase a handful of interesting examples here, including a Gerstner type solution to the two-dimensional Euler–Boussinesq equations. In two earlier papers we used the same method to find exact Lagrangian solutions to the homogeneous Euler equations, and this paper serves as an example of how these same ideas can be extended to provide solutions also to related, more involved models.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We continue our investigations of finding explicit solutions to the incompressible Euler equations in the Lagrangian framework. In [1, 2] we considered the homogeneous case while here we treat the Boussinesq approximation of the heterogeneous case. The idea behind the Boussinesq approximation is that the density of the fluid does not fluctuate very much around the mean value, so that one supposes that the density is constant, except in the term that represents the gravity. There are many physical situations where this simplification is justified. The general introduction to this type of models can be found in [3], while in regard to the Lagrangian description in general we refer to [4].
One of the first explicit solutions to the homogeneous Euler equations in Lagrangian formulation is due to Gerstner [5], and it turns out that solutions of the Gerstner type show up in many related models. For example the Gerstner solution plays a prominent role also in the heterogeneous Euler equations, even without using the Boussinesq approximation. In [6] it was shown that the Gerstner wave can also be a barotropic flow, i.e. a flow where pressure and density are functions of each other, see also a modern exposition by Stuhlmeier [7]. Gerstner type solutions are also relevant in many physical models that are somehow modifications of the Euler equations. For example Constantin [8] found a barotropic Gerstner type exact solution to the equatorial water wave equations with the beta-plane approximation of the Coriolis effect. For more papers on the applicability of the Gerstner waves see for example [9,10,11,12] and especially the survey articles [13, 14]. In [15] there is also a Gerstner type solution to the first and second terms of the asymptotic expansion to the heterogeneous Euler equations. One remarkable property of Gerstner type solutions that makes them popular, is that they can in many cases be interpreted as free surface solutions, or in other words one can model the interface of two different fluids. Apparently there are no other known explicit solutions with this property.
Many explicit solutions to stratified fluid flows are shear flows, which are flows with two-dimensional horizontal motion that only depends on height. Most of the studies use the Eulerian framework. As for the Lagrangian description, Yakubovich and Shrira [16] found solutions with columnar motion using the Boussinesq approximation, but it seems that elsewhere the Eulerian framework is used.
As stated above there are numerous models for geophysical fluid flows, depending on the particular context. We have chosen to analyze the Euler–Boussinesq model in the present article. For a thorough discussion of this model and its applicability we refer to [3]. As in [1, 2], we use a separation of variables method to compute our solutions, that is, we search for fluid particle maps that can be expressed as the product of a time-only dependent matrix and a spatial-only dependent vector. This approach leads for example to a two-dimensional Gerstner type flow (21), as well as a plethora of other solutions both in the 2D and the 3D setting. Solution (21) does not satisfy the free boundary condition like most Gerstner type flows, but it still gives valid internal flows, which are an important application of the Euler–Boussinesq equations. Note in particular that our approach is not restricted to the Euler equations and Euler–Boussinesq equations, and we are confident that it could be used profitably to analyze other related models. For example Abrashkin [17] derived the governing Lagrangian equations for equatorial beta-plane flows, allowing anyone to readily attempt the separation of variables strategy that we use below. Also the Gerstner type solutions in all those different models discussed above could have been found by our method.
This paper is organized as follows. In Sect. 2 we give basic definitions and specify the model which will be analyzed. In Sect. 3 we discuss columnar flows and generalize one family of solutions which was given in [16]. In Sect. 4 we find exact solutions to the two-dimensional Euler–Boussinesq equations while utilizing the similarities to the homogeneous situation [1]. In Sect. 5 we consider the three-dimensional case and use the framework outlined in [2] to find solutions to the Euler–Boussinesq equations.
In some cases we are able to find explicit periodic and nonperiodic solutions. In other cases one can show that a solution exists for all times for convenient parameter values. Finally there are cases where all one can say that a local solution is well-defined. We allow for both stably and unstably stratified fluids as both types of situations can often be covered by a single formula, though when we give specific examples we concentrate on the stably stratified case. Some solutions that we find are neither stably nor unstably stratified. We also note that it has not been possible to explore all different cases in the present article.
2 Euler–Boussinesq Equations
2.1 Notation
Let \(A :\,{\mathbb {R}}\rightarrow {\mathbb {R}}^{n\times m}\) and \(v\,:\, {\mathbb {R}}^n\rightarrow {\mathbb {R}}^m\). We denote the columns of A by \(A_i\) and its entries by \(a_{ij}\). Now the minors of A are denoted by
Similarly the the minors of dv are
It will also be useful to define
where \(A_i'\) is the (time) derivative of \(A_i\) and \(G_{ij}\) is useful only when \(n=3\). For derivatives of v we use multiindices so that for example
At times we will also say that functions \(v^1\) and \(v^2\) are an anti-Cauchy–Riemann pair, or an anti-CR pair, if
2.2 Model
The n-dimensional heterogeneous incompressible Euler equations are given by the system
Here u is the velocity field, \(\tilde{\rho }\) is the density, g is the acceleration due to gravity, and \(e_n\) is the vertical unit vector parallel to gravity. Let us write these equations in the Lagrangian framework. Let \(D\subset {\mathbb {R}}^n\) be a domain and let us consider a family of diffeomorphisms \(\varphi ^t\,:\,D\rightarrow \Omega _t=\varphi ^t(D)\). The coordinates in D are denoted by z and in \(\Omega _t\) by x. We can also define
Now given such \(\varphi \) we can define the associated vector field u by the formula
Then \((u,\tilde{\rho },p)\) solves (4) if \(\det (d\varphi )\ne 0\) and
where \({\hat{p}}=p\circ \varphi \) and \(\hat{\rho }=\tilde{\rho }\circ \varphi \). Hence \(\hat{\rho }\) is a function of spatial variables only, which is one great advantage of using the Lagrangian description.Footnote 1 Typically one cannot explicitly recover u from \(\varphi \), since it requires computing the inverse of \(\varphi ^t\). One exception to this is obtained when \(\varphi =A(t)z\) for some square matrix A, yielding \(u=A'A^{-1}x\).
The standard way to apply the Boussinesq approximation is to assume that \(\hat{\rho }\) is constant in every term except when it is multiplied by g. Thus the Boussinesq approximation takes into account how density variations affect buoyancy. This would mean that Newton’s second law (6b) would be replaced by the equation
where \(\overline{\rho }\) is the average density. However, as was shown in [16], we can make the model slightly more accurate without making the equations any more difficult to study. Supposing that \(n=3\) and taking the curl of (6b), we obtain
Now assuming only \(\nabla \hat{\rho }\times (d\varphi ^T\varphi '')=0\) in (8), dividing by \(\hat{\rho }\) and defining \(\rho = g\ln {\hat{\rho }} \) we obtain
If we had used (7), we would have obtained the same equation but with \(\rho \) defined as \(\rho =g\hat{\rho }/\overline{\rho }\) instead of \(\rho = g\ln {\hat{\rho }} \). Hence it should be kept in mind that \(\rho \) is not really density, but the density \({\hat{\rho }}\) can be recovered from \(\rho \) using either \(\rho =g\hat{\rho }/\overline{\rho }\) or \(\rho = g\ln {\hat{\rho }} \).
Integrating the left hand side of (9) with respect to t we obtain the equivalents of what are the Cauchy invariants for the Euler equations:
This integrated form is often useful since it removes the second-order dependence of \(\varphi _1\) and \(\varphi _2\). But calling the components of h the “Cauchy invariants of the Euler–Boussinesq equations” is perhaps a bit of a stretch since the time integral of \(\varphi _3\) produces an arbitrary function of z and so there is no canonical way to choose h.
In the two-dimensional case h is just a scalar and it is convenient to write it in the following form:
We have now established the conditions for a solution to the 2D and 3D Euler–Boussinesq equations:
Theorem 1
The pair \((\varphi , \rho )\) provides a solution to the Euler–Boussinesq equations if and only if \(\det (d\varphi )\ne 0\) everywhere, and \(\det (d\varphi )\), \(\rho \) and h are independent of time, where h is given by (11) in the 2D case and by (10) in the 3D case.
2.3 Separation of Variables
As in our previous papers [1, 2], we try to find solutions of the form \(\varphi (z,t)=A(t)v(z)\), where \(A:\,{\mathbb {R}}\rightarrow {\mathbb {R}}^{n\times m}\) and \(v\,:\,D\subset {\mathbb {R}}^n\rightarrow {\mathbb {R}}^m\). To this end we need convenient formulas for \(\det (d\varphi )\) and h. Using (1), (2) and the Cauchy–Binet formula we obtain
Then using (3) we compute that
where \(y_i\) is a function such that \(y_i'=a_{ni}\).
Some properties of \(\varphi \) and \(\rho \) are gathered in the following Lemma.
Lemma 2
Let \((\varphi ,\rho )\) be a solution to the Euler–Boussinesq equations.
-
1.
Let \(\psi :\,{\hat{D}}\rightarrow D\) be an arbitrary diffeomorphism and let \(\tilde{\varphi }^t=\varphi ^t\circ \psi \), \(\rho _0 = \rho \circ \psi \). Then \((\tilde{\varphi },\rho _0)\) is a solution to the Euler–Boussinesq equations if and only if \((\varphi , \rho )\) is.
-
2.
Let \(\varphi =Av\). If H is a regular \(m\times m\) matrix with constant entries and \({\tilde{v}}=Hv\), \({\tilde{A}} = AH^{-1}\), then \(({\tilde{A}} {\tilde{v}}, \rho )\) is a solution.
-
3.
In the 3D case, if R is a constant rotation matrix such that \((R\varphi )_3=\varphi _3\), then \((R\varphi ,\rho )\) is also a solution. In the 2D case there is no nontrivial rotation R for which \(R\varphi \) is always a solution.
The change of coordinates in the first part of this Lemma typically allows us to assume without loss of generality that \((v^1,v^2)=(z_1,z_2)\) in the 2D case and \((v^1,v^2,v^3)=(z_1,z_2,z_3)\) in the 3D case. In the present paper we always use this simplification, but in practice the general form allows for more flexibility since the inverse map needed for this transformation cannot always be explicitly computed. The second part of the Lemma can be used to bring the problems to simpler form without loss of generality. From this part it also follows that if \(A_i\) or \(\nabla v^i\) are linearly dependent over \({\mathbb {R}}\), the solution reduces to a case of lower m. On the other hand, \(\nabla \rho \) being an \({\mathbb {R}}\)-linear combination of \(\nabla v^i\) does not imply that the solution reduces in this way.
The formulas (12) and (13) allow us to deduce what kind of constraints we should set for the spatial functions \(v^i\) and \(\rho \). We want the time derivatives of \(\det (d\varphi )\) and h to vanish for all t, so, for example in the two-dimensional case, fixing any t produces constraints of the form
where \(\beta _{ij}\), \(\gamma _{ij}\) and \(\gamma _i\) are constants. Thus the spatial functions need to satisfy a number of constraints like these. By substituting these constraint equations back to the formulas of \(\det (d\varphi )\) and h we also immediately obtain the conditions that the time functions \(a_{ij}\) are required to satisfy. In [1] and [2] we derived the spatial constraints from the formulas of \(\det (d\varphi )\) and h for the homogeneous Euler equations, and especially in [1] we went into greater detail in the 2D case to show what were all possible constraint sets that are essentially different for the cases that we studied. In the case of the Euler–Boussinesq equations this analysis, which is done using the second part of Lemma 2, yields very similar results, so in the present paper we mainly consider cases that are similar to those in [1, 2]. Here the presence of \(\rho \) in the formula of h makes the analysis slightly different, and while we consider several different possibilities for \(\rho \) as well, we omit large amount of situations that where the interplay between \(\rho \) and v is more intricate.
The equations for h are second-order differential equations for \(a_{nj}\). This makes the problem very hard in general, but we can still find some exact solutions, though we often need to restrict to special cases where there are not many terms in \(\varphi _n\). Even so, the number of different solutions we can find is so vast that we have to restrict to the cases that seem interesting as well as sufficiently simple. Many times, when we have an underdetermined system and are able to choose some functions arbitrarily, we choose the ones that have these second-order derivatives. Thus the system becomes a first-order system in terms of the unknown functions and is more easily solvable. However, the resulting solution formulas are sometimes quite ugly, and it is possible to analyze the systems with other approaches as well.
3 Columnar Flows
Before studying any specific cases, we would like to show a general method of obtaining solutions to the Euler–Boussinesq equations from a specific type of flows that satisfy the homogeneous Euler equations. We consider the 3D case first, the 2D case is similar.
In many cases that we considered in [2], we could find solutions to the 3D Euler equations that were of the form
where a is always nonzero. Flows like this feature columnar motion, where the vertical columns can stretch and contract but otherwise remain intact as the flow evolves. These are also solutions to the Euler–Boussinesq equations when density is an arbitrary function of \(z_3\), as \(\nabla \rho \times \nabla \varphi _3\) vanishes and condition (10) reduces to the usual Cauchy invariants of the Euler equations. But in this case we can look for more solutions to the Euler–Boussinesq equations by choosing \(\rho =c_0z_3\) and
In [16] a particular solution of this form was presented in the stably stratified special case \(a(t)=1\), \(c_0<0\). In this case the general solution of \(\varphi _3\) is
where the constant N, given by \(N^2=-c_0\), is the Brunt–Väisälä frequency, \(f^i\) are arbitrary, and \(\varphi _1\) and \(\varphi _2\) have to satisfy the usual 2D Euler equations.
Actually one can describe the solutions for arbitrary a. First we note that f has no effect on \(\det (d\varphi )\) and \(h^3\), whereas for the time derivatives of \(h^1\) and \(h^2\) we have
Both \((h^1)'\) and \((h^2)'\) vanish if and only if
This is a linear ODE where z appears only as a parameter so the general solution is of the form
Substituting this back to (16) we see that \(a_i\) are two linearly independent solutions of
Note that q and hence \(a_i\) are well-defined since we must anyway choose a such that \(a\ne 0\) for all t.
So the solution set is parametrized by a via q, and now by classical theorems if we choose a such that \(q>0\) then \(a_j\) are oscillating and bounded solutions. Note that there is no condition whatsoever for \(f^1\) and \(f^2\), other than that they do not depend on \(z_3\).
Of course we can also choose \(c_0=0\) to obtain new solutions to the usual Euler equations, although in that case a, \(a_1\), and \(a_2\) are linearly dependent and we may assume \(a_2=0\).
In the 2D situation choosing \(\rho =c_0z_2\) the analogous \(\varphi \) is given by
The incompressibility condition (6a) already says that \(\det (d\varphi )=(\varphi _1)_{10}a(t)\) is independent of time, so we may assume by a coordinate transformation that \(\varphi _1=z_1/a(t)\). Then the formula of h gives us the same condition as in the three-dimensional case so the solution can be written as
where \(a_i\) are the solutions of (17) and \(f^i\) are arbitrary. This is the only 2D solution of this form, so below we will only use the generalization method of this Section in 3-dimensional situations.
4 2-Dimensional Case
4.1 \(m=2\)
Let us start by studying the two-dimensional case, which is the easier case. In case \(m=2\) we always have \(v=(z_1,z_2)\) by part 1 of Lemma 2, and by (12) and (13) A satisfies
Here \(\det (d\varphi )=1\) can be assumed by scaling A. By a linear transformation described in part 2 of Lemma 2 we may also assume that either \(a_{21}=0\), or \(a_{21}\) and \(a_{22}\) are linearly independent.
If \(a_{21}=0\), the incompressibility condition requires \(a_{22}\ne 0\), and in this case we must have \(\rho =c_0z_1+f(z_2)\) where f is arbitrary. Then the equations are
where c is a constant. If \(a_{22}\) is chosen arbitrarily, then \(a_{11}=1/a_{22}\) and \(a_{12}=\frac{1}{a_{22}}\int (c_0y_2-c)a_{22}^2\) dt. We can also derive the Eulerian description for this solution by computing
If \(a_{21}\) and \(a_{22}\) are both nonzero and linearly independent, then \(\rho \) must be linear. In this case we may assume by a linear transformation that \(\rho =c_0z_2\). If we write A as
then the incompressibility condition is satisfied and the equation for h gives
where now \(y_1'=a_{21}=b\sin (\theta )\). Thus we can choose b and \(\theta \) arbitrarily and solve for \(\ell \) to obtain all the solutions. In Eulerian coordinates the solution is
4.2 \(m=4\)
We turn immediately to case \(m=4\), skipping the analysis of case \(m=3\) completely. There are solutions in case \(m=3\) for several choices of \(\rho \) but there is no room for us to consider them here.
We meticulously showed in [1] (Theorems 4.1 and 4.2) for the homogeneous Euler equations that when A is a \(2\times 4\) matrix, then without loss of generality the spatial component v may be assumed to satisfy one of these four cases:
-
1.
\(g_{13}+g_{24}=g_{14}-g_{23}=0\),
-
2.
\(g_{13}=g_{24}=0\),
-
3.
\(g_{13}+g_{24}=g_{14}=0\), or
-
4.
\(g_{14}=g_{24}=0\).
The same is true for the Euler–Boussinesq equations with an identical proof since the incompressibility condition (12), which is the same for both systems, is all that is required to prove this claim.
We will consider all four cases in this Section. The equations for the entries of A are not underdetermined in the first three cases so the second-order ODEs will make them difficult to study. We still find one special solution to all these cases. The fourth case, however, is underdetermined and we are able to present a general solution for one choice of \(\rho \).
4.2.1 Case 1
Let v satisfy \(g_{13}+g_{24}=g_{14}-g_{23}=0\), in which case \(v=(z_1,z_2,f^1,f^2)\), where \(f^1\) and \(f^2\) are an anti-CR pair. It is shown in [1] how we can use linear transformations to bring A to a simpler form without loss of generality. In this case, [1, Lemma 5.3] implies that we may assume that
In this form A satisfies the incompressibility condition (12) with
which has to be nonzero in D.
Here \(\rho \) could be chosen to be for example an arbitrary linear combination of \(v^i\) but the equations would become too difficult for us to find any exact solutions. Instead we choose the more simple \(\rho =c_0z_2\), in which case (13) yields
We have chosen the subscripts of the constants \(c_{ij}\) according to the corresponding \(g_{ij}\). In later cases we often use this notation without further notice.
The conditions we collect from the formula of h are explicitly written as
We can bring this system to the form
where \(s=\mu '\). The solution blows up if \(b_{11}\) or s reaches zero, and it is difficult to analyze with which initial data this happens. However, the equilibrium point
leads to a simple solution. We may assume that \(c_1>0\). Thus, if \(c_0>0\) then \(c_1>1\), and if \(c_0<0\) then \(c_1<1\). This gives
This looks like a usual Gerstner type solution from the case of Euler equations [1, Theorem 5.1], except that \(\varphi _1\) and \(\varphi _2\) have been scaled. In case \(c_0<0\) and \(c_1<1\), which describes the stably stratified situation, the particle trajectories are ellipses stretched in the vertical direction. The curves of constant density are formed by the particles whose centers of trajectory are on the same horizontal line, see Fig. 1.
Unfortunately this equilibrium point is not hyperbolic so the linearization is inconclusive in regard to the stability of the equilibrium. However, the Jacobian has one zero eigenvalue and four purely imaginary eigenvalues if \(c_0<0\) and \(\alpha<c_1<1\), where \(\alpha \approx 0.71\) is the smaller positive root of \(q=y^8 - 12y^4 + 3\). So one might suspect that the flow is ”stable” for \(\alpha<c_1<1\) and ”unstable” for \(c_1<\alpha \). Indeed the numerical computations seem to suggest this, see Figs. 2 and 3. We have varied s in these examples; varying other initial values gives similar results.
It is of interest to check whether the Gerstner type solution (21) satisfies the free boundary condition for some choice of \(f^1\) and \(f^2\). Assuming that \(\beta (s)\), \(s\in I\subset {\mathbb {R}}\), is a regular curve in the z plane such that \(\partial D=\beta (I)\), pressure should be constant along \(\beta \); in other words, we need to satisfy
for all t and s. Unfortunately it turns out that this condition cannot be met as we will show. The type of Boussinesq approximation we use does not matter so let us calculate the partial derivatives of p from the standard Boussinesq approximation (7). Putting \(\gamma =c_1^2-1/c_1^2\) we obtain
Thus \(\nabla p/({\overline{p}} \gamma \mu _0^2)\) contains the expression
where \(g_1=f^1f_{10}^1 - f^2f_{01}^1\) and \(g_2=f^1f_{01}^1+f^2f_{10}^1\). Now the free surface condition (22) implies \(G^T\beta ' =0\) for all \(s\in I\). Thus
This implies that \(f^1\) and \(f^2\) are constant in \(\beta (I)\) and thus constant everywhere since they are an anti-CR pair. This leads to a trivial solution as we further obtain \(f^1=f^2=0\).
4.2.2 Case 2
Suppose that we have the constraints \(g_{13}=g_{24}=0\), or that \(v=\big (z_1,z_2,f^1(z_1),f^2(z_2)\big )\). Reducing as in [1, Lemma 5.4], we may suppose at the outset that
This satisfies the incompressibility condition (12) with
Again for density we choose the simplest situation \(\rho =c_0z_2\) and moreover we choose \(\theta =0\). Inspecting condition (13), we first find that \(b_{12}\) and \(b_{11}/\ell \) are linearly dependent, and by a linear transformation we may assume that \(b_{12}=0\). Then we obtain for \(\ell \) and \(b_{11}\)
Further let \(b_{11}=y'\). This can be transformed to the system
If \(k_0=0\) there is an explicit solution
Here \(k_1\) does not appear in A, \(k_2=0\) can be assumed by translation of t and by scaling we may take \(k_3=c_0^5\). Thus this solution can be written as
This solution is unstably stratified regardless of how \(c_0\) is chosen.
4.2.3 Case 3
Now we consider the case \(g_{13}+g_{24}=g_{14}=0\), where \(v=\big (z_1,z_2,z_2(f^1)'(z_1)+f^2(z_1),f^1(z_1)\big )\), and we see from [1, Lemma 5.5] that
is the general form that satisfies condition (12) with
Let us suppose that \(\theta =0\) and that \(\rho = c_1z_1+c_2z_2\). Then we get the following system from (13):
Eliminating \(\ell \) from the second equation we obtain
If \(c_2=0\) the above equation can be solved explicitly. Putting moreover \(b_{12}=0\) gives the stably stratified solution
4.2.4 Case 4
Studying the homogeneous situation in [1], we dismissed the fourth case as it only provided solutions that reduced to case \(m=3\). Here this does not happen; in fact solution (19) is already an example of this case, albeit with spatial variables named differently.
In this case we can rewrite the spatial constraints as \(g_{23}=g_{24}=0\) by changing the order of the components of v. In this case we have \(v=\big (z_1,z_2,f^1(z_2),f^2(z_2)\big )\), and due to the incompressibility condition (12) A can be assumed to be of the form
which gives simply \(\det (d\varphi )=1\). If we choose \(\rho =c_0f^2\), (13) yields the conditions
where \(y_1'=a_{21}=b_1\sin (\theta )\). We can choose for example \(b_1\) and \(\theta \) arbitrarily and easily solve these equations for \(b_2\), \(b_3\) and \(b_4\), yielding
We may assume \(c_{12}=0\) without loss of generality.
5 3-Dimensional Case
5.1 \(m=3\)
Now we turn to the 3D case and once again we take the simplest case to be our first example and consider the case \(m=3\). Thus we have \(v=(z_1,z_2,z_3)\). We apply the QR-decomposition to A and write \(A=RB\), where \(R\in {{\mathbb {S}}}{{\mathbb {O}}}(3)\) is a rotation matrix and B is an upper triangle matrix. By the incompressibility condition (12) we then have
For condition (13) we have, after substituting \(b_{33}=1/(b_{11}b_{22})\),
where
As in the first 2D case (20), we may use linear transformations to assume without loss of generality that either \(\rho =f(z_3)+c_0z_2\), in which case \(a_{31}=a_{32}=0\), or \(\rho =c_0z_3\).
Suppose first that \(\rho =f(z_3)+c_0z_2\). Since \(a_{31}=a_{32}=0\), the rotation matrix R must be of the form
for some function \(\theta (t)\), and \(y_3'=b_{33}\). In this case \(w=(0,0,2\theta ')\) and h can be written as
There are different ways to find partial solutions to this system, but one fairly general solution can be found by assuming only that \(c_{12}=0\). We may then take \(b_{11}\), \(b_{22}\), and \(\theta \) as arbitrary functions and solve for \(b_{12}\), \(b_{23}\), and \(b_{13}\):
Then suppose that \(\rho =c_0z_3\) is linear. Once again we present the solution to (23) in case \(h^3=0\). We choose \(b_{11}\) and \(b_{22}\), as well as the whole rotation matrix R arbitrarily, and solve for \(b_{12}\), \(b_{23}\), and \(b_{13}\) to obtain
Finally, if \(\rho =c_0z_3\) and we choose \(b_{13}=b_{23}=0\) and R as in (24), we have a flow of the form (14). Thus we can add two terms to \(\varphi _3\) as shown in Sect. 3 and obtain \(\varphi =Av\), where
where again \(b_{11}\), \(b_{22}\), and \(\theta \) are arbitrary,
and \(a_i\) are linearly independent solutions of (17) with \(a=1/(b_{11}b_{22})\).
5.2 \(m=5\)
Much like for the 2D cases with \(m=4\), we will only find a rather small subset of the solutions in the 3D case when \(m\ge 5\). The three cases considered in [2, Section 5] readily yield solutions to the Euler–Boussinesq equations as well. For example in [2, Section 5.1] there was the solution \(\varphi =Av\) with
where \(\theta (t)\) is arbitrary and \(f^1\) and \(f^2\) are an anti-CR pair with respect to \(z_1\) and \(z_2\). Recall that a solution to the Euler equations is also a solution to the Euler–Boussinesq equations if \(\nabla \rho \times \nabla \varphi _3 = 0\). Here \(\varphi _3=\theta 'z_3\), so choosing \(\rho \) to be a function of \(z_3\) we obtain a solution to the Euler–Boussinesq equations. The other two cases in [2, Section 5] are
where \(b^2\ell '=1\); and
where \(b^2\ell '=1\). These are also solutions to the Euler–Boussinesq equations with \(\rho =\rho (z_3)\).
We can also find the similar type of solutions in the other three cases mentioned at the start of [2, Section 5] if we require that \(\varphi _3=a_{33}z_3\). The derivation of the following formulas is very similar to the above three cases, which were derived in [2], so we present them without proofs. In the following formulas \(\theta \) is an arbitrary function with \(\theta '>0\). If \(G_{14}+G_{25}=G_{15}-G_{24}=0\) and \(\varphi _3=a_{33}z_3\), then the solutions of the Euler equations, and the solutions of the Euler–Boussinesq equations with \(\rho =\rho (z_3)\), are
where \(f^1\) and \(f^2\) are an anti-CR pair.
If \(G_{14}=G_{25}=0\), we have
And if \(G_{14}+G_{25}=G_{15}=0\), then we have
In the above three cases \(\varphi \) is of the form (14) so we can extend these solutions as shown in Section 3; for example the solution (25) can be extended as follows: \(\varphi =Av\), where
and \(v=\big (z_1,z_2,z_3,f^1(z_1,z_2),f^2(z_1,z_2),f^3(z_1,z_2),f^4(z_1,z_2)\big )\), where \(f^1\) and \(f^2\) are an anti-CR pair, and \(f^3\) and \(f^4\) are arbitrary. Here \(a_i\) are linearly independent solutions of (17) with \(a=\theta '\).
We can add the same expression to (26) and (27) as well.
5.3 \(m=6\), Case 1
Let \(v=\big (z_1,z_2,z_3,f^1(z_3),f^2(z_1,z_2),f^3(z_1,z_2)\big )\), where \(f^1\) is arbitrary and \(f^2\) and \(f^3\) are an anti-CR pair. We studied this case for the homogeneous Euler equations in [2, Section 7] and a large part of the calculations we need in the present case was already shown there. We choose \(\rho =\sum _ic_iv^i\) and look for solutions of the form
where the conservation of volume requires that
In this case
We collect the rest of the constraints from the expressions of \(h^j\), which are
All the equations that were used to prove [2, Lemma 7.4] are also present here. In that Lemma we showed that from these equations it follows that
for some constant \(k_1\) and function \(\mu \). We also have
We further assume that \(k_1=0\). Now condition (28) gives \(b_{35}=-k_2\mu '\). Then \(a_{35}=-k_2\mu '\cos (\mu )\) and \(a_{36}=k_2\mu '\sin (\mu )\), which we can integrate to obtain \(y_5=-k_2\sin (\mu )\), \(y_6=-k_2\cos (\mu )\). Then we find that we must have \(c_1=c_2=c_3=c_4=0\), in which case all equations except the one containing \(Q_{56}\) are the same as in the case of Euler equations. Then, as is shown in [2], we have \(b_{15}=b_{25}=0\). The only remaining equations after this are those that contain \(Q_{12}\) and \(Q_{56}\). From them we solve for \(\mu \) and \(\theta \):
Thus we have a semi-explicit periodic solution where one ODE needs to be solved numerically. As \(\mu '\) must not be zero, \(|c_{56}|\) has to be large enough for the solution to exist for all t. The simplest example is obtained by choosing \(c_{13}=c_{23}=0\), \(c_{12}=-1\), which gives
where
One particular periodic particle path in this case is shown in Fig. 4. This solution is neither stably nor unstably stratified in particular; instead the denser particles are periodically either at the top or at the bottom of the fluid.
5.4 \(m=6\), Case 2
Let \(v=\big (z_1,z_2,z_3,f^1(z_1),f^2(z_2),f^3(z_3)\big )\). We look for solutions of the form
where the volume preservation condition requires \(a_1a_2a_3=\ell _1\ell _2\ell _3=1\), giving
Now
from which we see that generally we must have \(\rho =c_1z_3+c_2f^2(z_2)\). Thus A is a solution if the following equations are satisfied:
Here one function can be given arbitrarily. We can try to give solutions in terms of \(\ell _3\) since that is the only function with second-order dependence. We get
from the last equation of (30) and then we can further use the remaining equations of (30) to solve for the other functions in terms of \(a_3\) and \(\ell _3\). Eliminating \(a_1\), \(a_2\), and \(\ell _2\), we obtain the equation
which is a quadratic polynomial equation for \(\ell _1'/\ell _1\). Assuming that its discriminant \(\delta =\ell _3'^2-4c_{16}c_{24}\ell _3^3a_3^2\ge 0\), we can solve \(\ell _1'/\ell _1\) and integrate to obtain \(\ell _1\) and eventually the rest of the functions. Let \(s^2=\delta /(4\ell _3^2)\); then we compute
\(k_1\) may be scaled to 1. Formulas (31) and (32) give a local solution but unfortunately formula (31) is meaningful only when \(\ell _3'\ne 0\). An example where \(\ell _3\) is not monotone can be found by supposing that \(a_3=1\), \(c_1=-N^2\) is negative and also \(c_{16}c_{24}<0\). Then the final equation of (30) gives
Choosing the constants such that \(\ell _3\) is always positive, (33) along with (32) gives a global solution describing a stably stratified fluid.
Data availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Notes
Strictly speaking in the Lagrangian description we should have \(\det (d\varphi )=1\). However, given \(\varphi \) as above we can define \(\Phi ^t=\varphi ^t\circ (\varphi ^0)^{-1}\).
References
Saleva, T., Tuomela, J.: On the explicit solutions of separation of variables type for the incompressible 2D Euler equations. J. Math. Fluid Mech. (2021). https://doi.org/10.1007/s00021-020-00538-y
Saleva, T., Tuomela, J.: Explicit solutions to the 3D incompressible Euler equations in Lagrangian formulation. J. Math. Fluid Mech. 24, 98 (2022). https://doi.org/10.1007/s00021-022-00731-1
Majda, A.: Introduction to PDEs and Waves for the atmosphere and ocean. Courant Lecture Notes, vol. 9. American Mathematical Society, New York (2003). https://doi.org/10.1090/cln/009
Bennett, A.: Lagrangian Fluid Dynamics. Cambridge Monographs on Mechanics, Cambridge University Press, Cambridge (2006). https://doi.org/10.1017/CBO9780511734939
Gerstner, F.: Theorie der Wellen samt einer daraus abgeleiteten Theorie der Deichprofile. Ann. Phys. 2, 412–445 (1809). https://doi.org/10.1002/andp.18090320808
Dubreil-Jacotin, M.-L.: Sur les ondes de type permanent dans les liquides heterogenes. Atti Accad. Naz. Lincei 15, 814–819 (1932)
Stuhlmeier, R.: On edge waves in stratified water along a sloping beach. J. Nonlinear Math. Phys. 18, 127–137 (2011). https://doi.org/10.1142/S1402925111001210
Constantin, A.: An exact solution for equatorially trapped waves. J. Geophys. Res. Oceans. (2012). https://doi.org/10.1029/2012JC007879
Henry, D.: An exact solution for equatorial geophysical water waves with an underlying current. Eur. J. Mech. B. Fluids 38, 18–21 (2013). https://doi.org/10.1016/j.euromechflu.2012.10.001
Constantin, A., Monismith, S.G.: Gerstner waves in the presence of mean currents and rotation. J. Fluid Mech. 820, 511–528 (2017). https://doi.org/10.1017/jfm.2017.223
Constantin, A.: Nonlinear wind-drift ocean currents in arctic regions. Geophys. Astrophys. Fluid Dyn. 116(2), 101–115 (2022). https://doi.org/10.1080/03091929.2021.1981307
Constantin, A.: Comments on: nonlinear wind-drift ocean currents in arctic regions. Geophys. Astrophys. Fluid Dyn. 116(2), 116–121 (2022). https://doi.org/10.1080/03091929.2022.2036337
Abrashkin, A.A., Pelinovsky, E.N.: Gerstner waves and their generalizations in hydrodynamics and geophysics. Phys. Usp. 65, 453–467 (2021). https://doi.org/10.3367/UFNe.2021.05.038980
Stuhlmeier, R.: Gerstner’s water wave and mass transport. J. Math. Fluid Mech. 17, 761–767 (2015). https://doi.org/10.1007/s00021-015-0219-4
Weber, J.E.H.: A lagrangian study of internal gerstner- and stokes-type gravity waves. Wave Motion 88, 257–264 (2019). https://doi.org/10.1016/j.wavemoti.2019.06.002
Yakubovich, E.I., Shrira, V.I.: Non-steady columnar motions in rotating stratified boussinesq fluids: exact lagrangian and eulerian description. J. Fluid Mech. 691, 417–439 (2012). https://doi.org/10.1017/jfm.2011.481
Abrashkin, A.A.: Generalization of cauchy invariants for equatorial \(\beta \)-plane flows. Deep-Sea Res. II 160, 3–6 (2019). https://doi.org/10.1016/j.dsr2.2019.01.003
Funding
Open access funding provided by University of Eastern Finland (including Kuopio University Hospital). The first author was supported by Finnish Cultural Foundation.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Communicated by A. Constantin.
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
Saleva, T., Tuomela, J. A Method for Finding Exact Solutions to the 2D and 3D Euler–Boussinesq Equations in Lagrangian Coordinates. J. Math. Fluid Mech. 26, 3 (2024). https://doi.org/10.1007/s00021-023-00835-2
Accepted:
Published:
DOI: https://doi.org/10.1007/s00021-023-00835-2