Paper The following article is Open access

Near-resonance approximation of rotating Navier–Stokes equations

and

Published 28 February 2023 © 2023 IOP Publishing Ltd & London Mathematical Society
, , Citation Bin Cheng and Zisis N Sakellaris 2023 Nonlinearity 36 2074 DOI 10.1088/1361-6544/acb7c5

0951-7715/36/4/2074

Abstract

We formalise the concept of near resonance for the rotating Navier–Stokes equations, based on which we propose a novel way to approximate the original partial differential equation (PDE). The spatial domain is a three-dimensional flat torus of arbitrary aspect ratios. We prove that the family of proposed PDEs are globally well-posed for any rotation rate and initial datum of any size in any Hs space with $s\geqslant0$. Such approximations retain many more 3-mode interactions, and are thus more accurate, than the conventional exact-resonance approach. Our approach is free from any limiting argument that requires physical parameters to tend to zero or infinity, and is free from any use of small divisors (so that all estimates depend smoothly on the torus's aspect ratios). The key estimate hinges on the counting of integer solutions of Diophantine inequalities rather than Diophantine equations. Using a range of novel ideas, we handle rigorously and optimally challenges arising from the non-trivial irrational functions in these inequalities. The main results and ingredients of the proofs can form part of the mathematical foundation of a non-asymptotic approach to nonlinear, oscillatory dynamics in real-world applications.

Export citation and abstract BibTeX RIS

Original content from this work may be used under the terms of the Creative Commons Attribution 3.0 license. Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI.

Footnotes

  • Evident from dispersion relation (2.10), the Coriolis term does not generate (linear) oscillatory dynamics in horizontal modes. Such a large set of non-oscillatory modes is a common feature that separates many fluid models (even in the inviscid case) from classically known dispersive PDEs.

  • For set S, the associated indicator function is defined as ${\boldsymbol 1}_S(x) = 1$ if $x\in S$ and ${\boldsymbol 1}_S(x) = 0$ if $x\notin S$.

  • The zero-mean assumption is imposed WLOG and this property propagates in time—see the start of section 2.

  • Such study can appear in literature concerning the van der Corput lemma.

  • A simple curve is a curve that does not cross itself.

  • In fact, it suffices to know that ${\mathcal T}$ has zero Lebesgue measure in $\mathbb{R}$ by Sard's theorem.

  • Rewrite the numerator of (5.14) as: $\frac12\cos\left( \sigma_k \theta_k +\sigma_n \theta_n \right) +\frac12\cos\left( \sigma_k \theta_k -\sigma_n \theta_n \right) -\frac12\cos\left( 2\theta_m + \sigma_k \theta_k +\sigma_n \theta_n \right) -\frac12\cos\left( \sigma_k \theta_k +\sigma_n \theta_n \right) = \sin\left( \theta_m + \sigma_k \theta_k \right)\sin\left( \theta_m +\sigma_n \theta_n \right) $, and the denominator as $\sin(\theta_m+\sigma_k\theta_k)\sin(\theta_m-\sigma_k\theta_n)$.

  • Together with identity, they are the only self-inverse, parity-preserving members of the 4-permutation group, and form a subgroup. Then, necessarily, they are commutative and the three non-identity elements are cyclic under the group operation. This subgroup is isomorphic to the Klein 4-group and to $\mathbb Z_2 \times \mathbb Z_2$.

  • if the largest and smallest elements of $x, y, z, w$ form set $\{x,w\}$ or set $\{y,z\}$, then $(x-y)(z-w)\gt0$.

  • 10 

    e.g. $\min\{a, b\} = \frac12(a+b)-\frac12|a-b|$ and $\varsigma_3 = c_n^2+c_k^2+c_m^2-\min\{c_n^2,c_k^2,c_m^2\}+\min\{-c_n^2,-c_k^2,-c_m^2\}$.

  • 11 

    Consider summability and $\mathbb{R}^+ = \cup_{j\in \mathbb{Z}}[2^{j},2^{j+1})$.

Please wait… references are loading.
10.1088/1361-6544/acb7c5