Michal Shavit, Oliver Bühler
and Jalal Shatah
Courant Institute of Mathematical Sciences, New York University, NY 10012, USA.
Abstract
We find the turbulent energy spectrum of weakly interacting 2D internal gravity waves without relying on the hydrostatic approximation. This spectrum is an exact solution of the kinetic equation after the shear modes are removed, and it agrees with the oceanic Garrett–Munk spectrum for frequencies large compared to the Coriolis frequency and vertical scales small compared to the depth of the ocean. Among a continuous family of solutions to the kinetic equation, we show that the turbulent solution is the special solution with non zero angular dependent radial flux. Our solution provides an interesting insight of how turbulent energy cascade proceeds in anisotropic systems - similarly to isotropic turbulence it is self-similar in scale, but its angular part is peaked along the curve of vanishing frequency.
††preprint: APS/123-QED
Introduction In 1966, Hasselmann laid the groundwork by introducing perturbative equations for weakly interacting waves [1]. Since then, despite a wealth of oceanic measurements and continuous theoretical advancements [2, 3, 4, 5], including a derivation of the renowned phenomenological Garrett-Munk spectrum [6, 7], a theoretical derivation of the energy spectrum for weakly interacting internal gravity waves remains an open problem. A promising avenue lies in the kinetic approach; however, the Boussinesq equation both in 2D and 3D is an anisotropic, non-canonical Hamiltonian equation, which turns its kinetic description into an interesting and non-trivial problem since the classical wave turbulence approach is almost irrelevant. Indeed, previous attempts at weak wave turbulence analysis in three dimensions [8, 9, 10, 11] have fallen short of providing a definitive prediction for the energy spectrum. While observations emphasize the central role dispersive internal gravity waves play in natural processes like the ocean’s climate cycle [12], theoretically and experimentally decoupling these from the evolution of slow modes, degrees of freedom with vanishing frequency, proves difficult. Slow modes, such as shear and domain modes in 2D and 3D and vortical modes in 3D, are non-linearly interacting with the dispersive waves, and tend to occupy a prominent part of the energy [13, 14, 15]. Compared to 3D, the 2D problem holds a few advantages: it has no vortical modes, it is cheaper for direct numerical simulation and its, recently derived [16], kinetic equation takes a particular simple form due to the existence of a second quadratic invariant. All suggest that 2D Boussinesq can serve as fertile ground for theoretical and experimental investigation. The relevance of the 2D internal gravity wave description extends to both experimental settings, such as long water tanks, and natural phenomena like internal tides around isolated 1D topographical features like the Hawaiian ridge [17]. Moreover, understanding the 2D case can serve as a foundation for comprehending the 3D dynamics. In our previous work, [16], we derived the isotropic (integrated over the angle) part of the turbulent energy spectrum of weakly interacting 2D internal gravity waves. Here we complete the derivation of the angular part, when shear modes are removed. In a direct approach, the kinetic equation diverges around the turbulent solution we find. This, we claim, indicates a meaningful limit on the applicability range of the kinetic description due to the existence of slow modes in the original dynamical equations. We address this singularity using a regulator and discuss its relevance to practical observations. We interpret the solution in terms of a angular dependent radial flux. Along a curve of steady generalized solutions we find that the turbulent solution is the unique one with a non-zero radial flux. We believe that our methodology can be extended to 3D and to waves in plasma.
Figure 1: Logarithm of the energy spectrum on the regularized plane, outside an angular source centered at radius and emitting a radial energy flux .
The two-dimensional Boussinesq equations restricted to a vertical -plane can be written as
(1)
Here is the vertical and is the horizontal coordinate with corresponding velocities and ,
is a stream function such that and is the vorticity, is the vertical displacement, the constant buoyancy frequency and . The vertical buoyancy force opposes vertical displacements and derives from a consideration of potential energy in the presence of gravity and non-uniform density. (1) has two quadratic invariants: the total energy and the pseudomomentum .
Wave mode expansion and the kinetic equation. We consider a periodic domain and expand the fields in terms of linear wave modes, where are complex scalar wave amplitudes and the are eigenvector functions for the linear part of (1),
(2)
The multi-index combines branch choice and wave number . In polar coordinates, , the dispersion relation is
(3)
The choice corresponds to horizontally right-going or left-going waves and , where , characterizes the shear modes. The expansion diagonalizes the energy and yields the exact modal wave energy equation
(4)
with the interaction coefficients given in [16]. The wave expansion diagonalizes the pseudo-momentum as well, , so horizontally right-going waves carry positive pseudo-momentum. The kinetic equation that describes the slow evolution of the averaged energy density , where the overbar denotes averaging over an initial Gaussian statistical ensemble,
To derive the kinetic equation, which is first non trivial closure to modal energy evolution (4) the joint kinetic limits of big box and long nonlinear times, and , are taken. So the discrete sum in (4) is replaced by an integral over the resonant manifold:
(7)
where . The interaction coefficients are proportional to the frequencies, i.e.,, where
(8)
which allows the relatively compact and simple kinetic description given by (6).
In the vicinity of small frequencies the kinetic equation must be interpreted carefully. In the discrete sum on the lattice, (4), shear modes are well separated from waves with non zero frequency, however as the collision integral (6) includes integration arbitrarily close to slow modes. While, slow modes cannot be created by resonant interactions, as the kinetic equation needs to include off diagonal correlators apart from (5), such as , which would yield a very complicated description. Such correlators oscillate with frequency and over long times can be neglected as long as [16]. From that perspective, anisotropic systems with dispersion relation that vanish on a curve rather than on a point, pose a special problem for kinetic description. This does not affect the derivation in [16] of the homogeneous part of the energy spectrum which depends on the homogeneity degree of the interaction coefficient, frequency and dimension. However, as we continue towards the derivation of the angular dependence of the energy spectrum we anticipate trouble along the axis where . To overcome this obstacle, without trading the simplicity of the kinetic equation in a cumbersome version, we consider the kinetic equation on the plane with a small sector of width around the axis removed and then investigate the limit as numerically; see Figure 1. To obtain our results we numerically integrate the collision integral in Mathematica, our notebook is attached to the supplementary material.
Boundary conditions and steady solutions of the kinetic equation.
The frequency and the interaction coefficients (8) are symmetric under dilation transformation. That is, for , and .
Assuming the steady spectrum is symmetric with respect to dilation as well, fixes the homogeneous separable form ,
where is a constant, usually referred to as the Kolmogorov constant. We consider the case that energy is symmetrically distributed between horizontally left-going and right-going waves, and then the pseoudomomentum is zero on average , so that . Concentrating further on solutions that correspond to a symmetric forcing about the and axes, we can equivalently represent the solution in the form motivated by
(9)
where , so the spectrum is non negative. The homogeneous spectrum turns the collision integral (the RHS of the kinetic equation (6)) to a homogeneous function and hence separable in angle and wave number amplitude
(10)
where was found in a recent work by the authors [16]. The explicit form for the angular part of the collision integral, , is found by parametrization of the resonant manifold and is presented in the supplementary material. The separability of the collision integral suggests the existence of a one dimensional continuous family of solutions parameterized by .
To choose the relevant physical solution we need to assign boundary conditions for the steady equation, which we do through the energy flux. Energy is an integral of motion so the kinetic equation (6) can be written formally as a continuity equation
(11)
where
is a two dimensional flux, its divergence equals the minus of the collision integral
(12)
so a steady solution has zero divergence flux. Due to the gauge freedom , with a scalar , any steady solution corresponds to infinitely many choices of fluxes. However, fixing a flux fixes a unique solution. In steady turbulence existing between forcing and dissipation that are widely separated in scale and symmetric about the and axes, far away from the source we do not expect existence of an angular flux. This also aligns with the fact that there are no resonant interaction among triads on the same spherical shell but with different angles . Having only radial flux (12), reads
(13)
multiplying by and integrating , the homogeneous collision integral (10) assuming yields the flux
(14)
Integrating would yield the same expression for . Here it is clear the pair corresponds to a special solution - the unique solution that gives a non zero radial flux with zero divergence. As , due to the diverging denominator in (14), the radial flux is given by
(15)
Note here that the derivative is taken after the angular part has been fixed in the angular collision integral. Isotropic wave turbulence [18] is a particular case of (15) where is independent of the angle. The integral over the angle gives the
constant non-zero total radial flux .
Having the explicit power law of the radial part of the turbulent solution, from previous work, we now turn to find the power of the angular part of the solution, .
Obtaining the turbulent solution on the regularized plane.
While the radial part of the energy spectrum is insensitive to the validity range of the kinetic equation as the frequency , the angular part is. To obtain the angular part of turbulent energy spectrum we regularize the angular part of the collision integral by removing an angular sector of width . That is, the angular integration over the incoming angles on the resonant manifold, (7), is performed over . In terms of frequencies, this restricts , for small positive , , so we use in both contexts. Denote the regularized angular collision integral by , we look for the angular function that is the zero of the regularized functional in the limit :
(16)
The Ansatz (9) for the energy spectrum makes the main term in the collision integral (6) proportional to
(17)
suggesting the curve is special. Indeed, we find numerically that . Note that (16) is just the principal value of the collision integral around divergences coming from the curve where the frequency vanishes. These divergences cancel each other and yield a zero of the collision integral, which we refer to as a generalized zero. So (16) is equivalent to integrating the collision integral over the regular domain with the energy spectrum and then taking .
The turbulent energy spectrum and its flux.
The energy spectrum of weakly interacting 2D internal gravity waves in the inertial range between large scale forcing and small scale dissipation, when shear modes are removed and the forcing is symmetric about the axes and does not produce pseudo-momentum on average, is
(18)
Actually, for a finite total energy flux the Kolmogorov constant is given by
(19)
so as a finite flux can be maintained with a smaller and smaller energy spectrum.
Conversely, at fixed the flux diverges as , which is a neat indication for the breakdown of the kinetic description given by (6) for interactions with and among slow modes. The spectrum is plotted on the regularized domain in Figure 11. This spectrum is a density over so in order to compare it with the oceanic Garrett–Munk spectrum [7] we use the full, non-hydrostatic dispersion relation (3) in order to rewrite (18) as a spectral density over positive . This yields
(20)
This agrees with the shape of the Garrett-Munk spectrum in the limit of large and . The practical relevance of (18) for experiments and numerical observation with is discussed in the appendix.
We find numerically the angular dependent turbulent flux (15) normalized by the total flux to be,
(21)
which implies that the energy transferred within an angular sector is linear in frequency
(22)
The contribution to the energy flux at frequency can be divided into three classes of triad interactions wrt to the corresponding frequency branches . Fixing , we find that interactions among waves belonging to the same branch with transfer energy backwards in wave number . That is, the contribution to the flux from interactions among the same branch is negative: for all , the contribution of triads is negligible and the contribution of the triads and is positive to a forward cascade, so that . Furthermore, the fraction of energy transported backward is half of the energy transported forward, , and is transported by the set of waves belonging to the same branch on which the pseudo-momentum is sign definite. This suggests an existence of an inverse energy cascade of internal gravity waves when interactions among waves of different branches is suppressed, for example in the neighborhood of a source emitting horizontally unidirectional internal waves, such as the Hawaiian ridge [17].
The total angular flux , and the fluxes restricted to the different triads , and are plotted in Figure 4.
Figure 2: The normalized radial, angular dependent but scale independent, flux , and the fluxes restricted to the different triads and , evaluated at .
The linear dashed green curve presents the normalized flux contained in angular section given by (22).
Curve of solutions. In the vicinity of the turbulent solution , we find the curve suggested by (17) is a curve of generalized zeroes of the collision integral for , see Figure 4. Notably, there exists a trivial solution of the form (9), with and , which is the equilibrium solution of equipartition of energy. On the plane this solution is isolated from the curve passing through the turbulent solution .
Figure 3: Curve of solutions in the vicinity of the turbulent point evaluated at . Different colors correspond to different angles, in the region these collapse on the linear curve .
Previously known solutions to anisotropic kinetic equations.
Previous kinetic description of 3D internal gravity waves considered a narrow spectral range where the horizontal wave number component is small compared to the vertical , also known as the hydrostatic approximation. In this approximation the frequency and interaction coefficients are bi-homogeneous functions of and and hence one can look for bi-homogeneous solutions . One pair of power-laws can be derived using Zakharov—Kuznetsov transformation [19, 18] for the kinetic equation in the hydrostatic approximation, with and . Here and are the homogeneous degrees with respect to to of the interaction coefficient and frequency. Our spectrum (18) is peaked near , which suggests that the hydrostatic approximation is accurate and in this approximation our spectrum is . Notably, this is different from the bi-homogeneous spectrum obtained using Zakharov transformation in the hydrostatic approximation, which is . While both spectra have the same isotropic radial part, the angular part differs.
Conclusion and perspectives.
Our work suggests that a divergence of the collision integral on the set of vanishing frequency, which is generically large for anisotropic dispersive equations, is meaningful and indicates limited applicability of the kinetic description due to the non-linear coupling of the dynamical equations to slow modes. From that perspective, the kinetic equation of weakly interacting 2D internal gravity waves has a practically relevant generalized solution . This spectrum holds in the inertial range between large-scale forcing and small-scale dissipation when shear modes are excluded, and the forcing is symmetric about the axes without producing pseudo-momentum on average. For vertical scales short compared to the depth of the ocean and frequencies large compared to the Coriolis frequency it aligns with the oceanic Garrett–Munk spectrum. Apparently, this is the first time that a theoretical internal wave spectrum agrees with the Garrett–Munk spectrum without relying on the hydrostatic approximation. The simplicity of our numerical results, such as (18) and (15), implies potential for analytical derivation. A natural progression of this research would be adding rotation (Coriolis force) to the equations, which would serve as a physical regulator by decoupling slow modes from waves due to the dispersion relation gap. We expect the spectrum to adapt its form to the modified dispersion relation , where is the Coriolis parameter. We believe our methodology can be extended to waves in plasma and to 3D internal gravity waves.
Acknowledgments.
We thank Gregory Falkovich for useful discussions. Special thanks are owed to Vincent Labbare for his invaluable insights and extensive feedback, which significantly contributed to the development of this manuscript.
This work was supported by the Simons Foundation and the Simons Collaboration on Wave Turbulence.
OB acknowledges additional financial support under ONR grant N00014-19-1-2407 and NSF grant DMS-2108225. MS acknowledges additional financial support from the Schmidt Futures Foundation.
Appendix A - Practical relevance for experiments and numerical observation.
For a finite , depends on and on the angle . For we find numerically
(23)
is approaching linearly in from the left with a minimal slope at so that .
Figure 4 demonstrates (23) for various angles and shows the slope in an inset. The practical relevance of (23) is the broadening in angle of the measured energy spectrum, with respect to the pure theoretical prediction, in finite size systems or in DNS on a periodic domain where shear modes are removed. While the self similar slope is insensitive to a small regulator, the angular spectrum will deviate from according to (23). In a DNS of the dynamical equations on a periodic domain, with minimal wave numbers and maximal wave number set by resolution , one can consider the continuous approximation of the regulator . Then the measured energy spectrum normalized by the theoretical solution will have an angular width of , with small but in the inertial range. So for and , .
Figure 4: The root of the angular collision integral for various angles. For small , the inset shows the linear in correction to .
References
Hasselmann [1966]K. Hasselmann, Feynman diagrams and interaction rules of wave-wave scattering processes, Reviews of Geophysics 4, 1 (1966).
McComas and Bretherton [1977]C. H. McComas and F. P. Bretherton, Resonant interaction of oceanic internal waves, Journal of Geophysical Research 82, 1397 (1977).
Müller et al. [1986]P. Müller, G. Holloway, F. Henyey, and N. Pomphrey, Nonlinear interactions among internal gravity waves, Reviews of Geophysics 24, 493 (1986).
Caillol and Zeitlin [2000a]P. Caillol and V. Zeitlin, Kinetic equations and stationary energy spectra of weakly nonlinear internal gravity waves, Dynamics of atmospheres and oceans 32, 81 (2000a).
Lvov and Tabak [2001a]Y. V. Lvov and E. G. Tabak, Hamiltonian formalism and the garrett-munk spectrum of internal waves in the ocean, Physical review letters 87, 168501 (2001a).
Garrett and Munk [1979]C. Garrett and W. Munk, Internal waves in the ocean, Annual review of fluid mechanics 11, 339 (1979).
Munk [1981]W. Munk, Internal waves and small-scale processes, Evolution of physical oceanography (1981).
Lvov and Tabak [2001b]Y. V. Lvov and E. G. Tabak, Hamiltonian formalism and the garrett-munk spectrum of internal waves in the ocean, Physical review letters 87, 168501 (2001b).
Caillol and Zeitlin [2000b]P. Caillol and V. Zeitlin, Kinetic equations and stationary energy spectra of weakly nonlinear internal gravity waves, Dynamics of Atmospheres and Oceans 32, 81 (2000b).
Labarre et al. [2023]V. Labarre, P. Augier, G. Krstulovic, and S. Nazarenko, Internal gravity waves in stratified flows with and without vortical modes, arXiv preprint arXiv:2303.01570 (2023).
Dematteis et al. [2022]G. Dematteis, K. Polzin, and Y. V. Lvov, On the origins of the oceanic ultraviolet catastrophe, Journal of Physical Oceanography 52, 597 (2022).
Whalen et al. [2020]C. B. Whalen, C. De Lavergne, A. C. Naveira Garabato, J. M. Klymak, J. A. MacKinnon, and K. L. Sheen, Internal wave-driven mixing: Governing processes and consequences for climate, Nature Reviews Earth & Environment 1, 606 (2020).
Lanchon et al. [2023]N. Lanchon, D. O. Mora, E. Monsalve, and P.-P. Cortet, Internal wave turbulence in a stratified fluid with and without eigenmodes of the experimental domain, Physical Review Fluids 8, 054802 (2023).
Smith [2001]L. M. Smith, Numerical study of two-dimensional stratified turbulence, Contemporary Mathematics 283, 91 (2001).
Smith and Waleffe [2002]L. M. Smith and F. Waleffe, Generation of slow large scales in forced rotating stratified turbulence, Journal of Fluid Mechanics 451, 145 (2002).
Shavit et al. [2024]M. Shavit, O. Bühler, and J. Shatah, Sign-indefinite invariants shape turbulent cascades, Physical Review Letters 133, 014001 (2024).
Smith and Young [2003]S. G. L. Smith and W. Young, Tidal conversion at a very steep ridge, Journal of Fluid Mechanics 495, 175 (2003).
Zakharov et al. [2012]V. E. Zakharov, V. S. L’vov, and G. Falkovich, Kolmogorov spectra of turbulence I: Wave turbulence (Springer Science & Business Media, 2012).