Liouville-type results for time-dependent stratified water flows over variable bottom in the $\beta$-plane approximation
Extracted source text · arXiv 2310.06937
\documentclass[12pt]{article}
%%%%%%%%%%%%%%%%--PAGE_LAYOUT-- %%%%%%%%%%%%%%%%%%%
\usepackage[a4paper]{geometry}
%\raggedbottom
%\setlength{\oddsidemargin}{20mm}
%\setlength{\evensidemargin}{1mm}
\usepackage{cite}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage[utf8]{inputenc}
%%%%%%%%%%%%%%%%%%--MATH_PACKAGE--%%%%%%%%%%%%%%%%%%%
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{empheq}
\usepackage{relsize}
\usepackage{siunitx}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\allowdisplaybreaks
%%%%%%%%%%%%%%%--GRAPHICS--%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{titlesec}
\usepackage{pgfplots}
\usepgfplotslibrary{fillbetween}
\pgfplotsset{samples=100}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%-CALIGRAPHIC LETTERS-%%%%%%%%%%%%%%%%%%
\usepackage{calrsfs}
%\usepackage{acentos}
%\usepackage{caption2}
\DeclareMathAlphabet{\pazocal}{OMS}{zplm}{m}{n}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%--OTHER-PACKAGES--%%%%%%%%%%%%%%%%%%%%
\usepackage{enumerate}
\usepackage{hyperref}
%\usepackage[notref, notcite]{showkeys}
\usepackage{titlesec}
%%%%%%%%%%%--THEOREM_ENVIRONMENT--%%%%%%%%%%%%%%%%%%
\theoremstyle{plain}
\newtheorem{thm}{Theorem}[section]
\newtheorem{prop}{Proposition}[section]
\newtheorem{lemma}{Lemma}[section]
\newtheorem*{lemmaNo}{Lemma}
\newtheorem{defi}{Definition}[section]
\newtheorem{exer}{Exercise}[section]
\newtheorem{note}{Note}[]
\newtheorem{coro}{Corollary}[section]
\newtheorem{exam}{Example}[section]
\newtheorem{remark}{Remark}[section]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%--SHORTCUTS--%%%%%%%%%%%%%%%%%%%%%%%%
%\def\cos{\mathop{\rm cos}\nolimits}
%\def\R{\mbox{$I\!\!R$}}
%\def\I{\mbox{$I\!\!I$}}
\newcommand{\R}{{{\Bbb R}}}
\newcommand{\I}{{{\Bbb I}}}
\newcommand{\CC}{{{\Bbb C}}}
\newcommand{\Z}{{{\Bbb Z}}}
\newcommand{\Q}{{{\Bbb Q}}}
\newcommand{\N}{{{\Bbb N}}}
\newcommand{\T}{{{\Bbb T}}}
\newcommand{\wt}{\widetilde}
%\def\N{\mbox{$I\!\!N$}}
%\def\Nn{\mbox{\scriptsize$I\!\!N$}}
\def\limsup{\operatornamewithlimits{lim\,sup}}
\def\liminf{\operatornamewithlimits{lim\,inf}}
\providecommand{\abs}[1]{\lvert#1\rvert}
\newcommand{\Cn}{\mathcal{N}}
\newcommand{\Ck}{\mathbf{k}}
\newcommand{\LL}{\mathcal{L}}
\newcommand{\TT}{\mathbf{t}}
\newcommand{\Ss}{\mathbf{s}}
\newcommand{\h}{\mathbf{h}}
\newcommand{\hO}{\mathbf{\overline{h}}}
\newcommand{\HO}{\overline{H}}
\newcommand{\tb}{\textcolor{blue}}
%%%%%%%%%%%%%%--NO_BREAK-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\hyphenation{Gerstner}
\hyphenation{Lagrangian}
\title{Sections and Chapters}
\numberwithin{equation}{section}
%%%%%%%%%%%%-CUSTOMIZE-CHAPTER--%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\titleformat{\chapter}[display]
{\bfseries\Large}
{\filleft\MakeUppercase{\chaptertitlename} \Huge\thechapter}
{1ex}
{\titlerule\vspace{1ex}\filright}
[\vspace{1ex}\titlerule]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%--TITLE-SETUP--%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\title{Liouville-type results for time-dependent stratified water flows over variable bottom in the $\beta$-plane approximation}
\author{Calin Iulian Martin$^\ast$ \\
\textit{Faculty of Mathematics, University of Vienna,}\\
\textit{Oskar-Morgenstern-Platz 1, 1090, Vienna, Austria}\\
{\small $^\ast$Email address: calin.martin@univie.ac.at}\\
}
\date{}
%%%%%%%%%%%%%%%%%%%--DOCUMENT_BEGINNING--%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}
\maketitle
\def\simbolo#1#2{#1\dotfill{#2}}
\def\qed{\hbox to 0pt{}\hfill$\rlap{$\sqcap$}\sqcup$\medbreak}
\def\theequation{\arabic{section}.\arabic{equation}}
\def\thesection {\arabic{section}}
\begin{abstract}
We consider here time-dependent three-dimensional stratified geophysical water flows of finite depth over a variable bottom with a free surface and an interface (separating two layers of constant and different densities).
Under the assumption that the vorticity vectors in the two layers are constant, we prove that bounded solutions to the three-dimensional water waves equations in the $\beta$-plane approximation exist if and only if one of the horizontal components of the velocity, as well as its vertical component, are zero; the other horizontal component being constant. Moreover, the interface is flat, the free surface has a traveling character in the horizontal direction of the nonvanishing velocity component, being of general type in the other horizontal direction, and the pressure is hydrostatic in both layers. Unlike previous studies of three-dimensional flows with constant vorticity in each layer, we consider a non-flat bottom boundary and different constant vorticity vectors for the upper and lower layer.
\end{abstract}
\maketitle
\noindent
{\bf Keywords}: Time-dependent thee-dimensional gravity water flows, stratification, $\beta$-plane effects, variable bottom, piecewise constant vorticity.
\bigbreak
\noindent
{\bf Mathematics Subject Classification:} 35A01, 35Q35, 35R35, 76B15, 76B70.
\bigbreak
\section{Introduction}
Geophysical fluid dynamics (GFD) is the study of fluid motion characterized by the incorporation of Coriolis effects in the governing equations. The Coriolis force is a result of the Earth's rotation and plays a substantial role in the resulting dynamics. While the nonlinear GFD equations are able to capture a plethora of oceanic and atmospheric flows \cite{CJGAFD, CJaz, CJazAcc, cj1, cj2, cj3, cj4} their high level of difficulty greatly challenges the available mathematical techniques.
The possible course of action is the recourse to simpler approximate models that are justified by oceanographical considerations. One of these approximations refers to the linearization of Coriolis forces in the tangent plane approximation, a procedure that-despite the spherical shape of the Earth-is valid due to the moderate spatial scale of the motion: the region occupied by the fluid can be approximated by a tangent plane and the linear term of the Taylor expansion captures the $\beta$-plane effect, cf. the discussions in Constantin \cite{CoJGeoR}, Cushman-Roisin \& Beckers \cite{Cush}, Gill \cite{Gill}, Pedlosky \cite{Ped}, Salmon \cite{Sal}. The paper \cite{CoJGeoR}, by Constantin, presented for the first time three-dimensional explicit and exact solutions (in Lagrangian coordinates) to the equatorial $\beta$-plane model. These solutions described equatorially trapped waves propagating eastward in a stratified inviscid flow.
The latter $\beta$-plane model was modified to incorporate centripetal terms by Constantin \& Johnson \cite{CJaz} whereby the authors also established the existence of equatorial purely azimuthal solutions to the GFD equations in spherical, cylindrical and $\beta$-plane coordinates. A further significant extension was realized by Henry \cite{HenJFM16} who presented an exact and explicit solution (to the GFD equations in the $\beta$-plane approximation with Coriolis and centripetal forces) representing equatorially trapped waves propagating in the presence of a constant background current. Yet, another improvement in the realm of the GFD equations in the $\beta$-plane was obtained by Henry \cite{HenJDE17} and concerns the addition of a gravitational-correction term in the tangent plane approximation.
Historically, this type of approximation was proposed by Rossby {\emph et al.} \cite{Ros} as a conceptual model for motion on a sphere.
Recent results concerning flows in the $\beta$-plane approximation were obtained in \cite{Davi, Dur}. For subsequent solutions to the GFD equations concerning a variety of geophysical scenarios, we refer the reader to \cite{BasDSR, CoPhysOc2013, CoPhysOc2014, CJPhysFluids2017, CJJPO2019, HenMarARMA, dikNA, dikJMFM15, MarPoF21, MartinOc, AMJPhA, AMApplAna, AMQAM}.
In the quest to derive explicit and exact solutions to the GFD equations in the $\beta$-plane approximation with Coriolis and centripetal terms, we start from the assumption that the vorticity vector is constant in each of the two layers of
the fluid domain which is assumed to be stratified: the water flow, bounded below by a bottom (varying) boundary and above by the free surface, is split by an interface into a layer adjacent to the bottom of some constant
density (say $\rho$) which sits below the layer adjacent to the free surface of constant density $\tilde{\rho}<\rho$. Stratification is an important aspect in the ocean science: stratified layers act as a barrier to the mixing of water, which impacts the exchange of heat, carbon, oxygen and other nutrients, cf. \cite{Li}. The discontinuous stratification (of the type we consider here) gives rise to internal waves, an aspect that has attracted much attention lately from the perspective of exact solutions describing large-scale geophysical (and non-geophysical) flows \cite{Bas, CJGAFD, CJaz, CJazAcc, CJ_Oc, CICMP, EMM, EKLM, GeyQuiDCDS, GeyQuiCPAA, HenMatPisa, HenMarARMA, MarPoF21} or of qualitative studies of intricate features underlying the dynamics of coupled surface and internal waves, cf. \cite{HenVillJDE}.
The structural consequences of constant vorticity in water flows satisfying the three-dimensional equations were discussed in a handful of papers by Constantin \& Kartashova \cite{CK}, Constantin \cite{CEjmb}, Craig \cite{Cra}, Wahl\'{e}n \cite{Wah}, Stuhlmeier \cite{Stu}, Martin \cite{MarJmfm17, MarPoF, MarJFM, MarNonl19}: the main outcome is that occurrence of constant vorticity in a flow that satisfies the three-dimensional nonlinear governing equations is possible if and only if the flow is two-dimensional and if the vorticity vector has only one non-vanishing component that points in the horizontal direction orthogonal to the direction of wave propagation.
In particular, constant vorticity gives a good description of tidal currents; cf. \cite{Per}. These are the most regular and predictable currents, and on areas of the continental shelf and in many coastal inlets they are the most significant currents; cf. \cite{Jon}.
% Close to exhibiting constant vorticity vector is the situation which is the precursor of the upwelling/downwelling--a phenomenon giving rise to manifestations of foam streaks on lakes, cf. Langmuir \cite{Lang}, Stommel \cite{Sto}: at times longitudinal surface currents appear in the direction of wind blowing on the water surface and so, a series of alternating left and right helical vortices (with the horizontal axes parallel to the wind direction) emerges. This phenomenon is called Langmuir circulation (LC), cf. \cite{Lang}. One of its prominent features is the presence of a convergence zone between the counter-rotating vortices manifesting as lines of bubbles and surface debris aligned with the wind, cf. Moum \& Smith \cite{MSmth}. It is of interest to note that LC can form on flows that initially have constant vorticity, cf. Craik \& Leibovich \cite{CraLei}. For comprehensive discussions on LC we refer the reader to the works by Craik \& Leibovich \cite{CraLei} and Leibovich \cite{Lei}.
After introducing the governing equations we state and prove a Liouville-type result in the context of a two-layer fluid domain bounded below by a bottom boundary $z=b(y)$ (for some given function $(x,y)\rightarrow b(y)$) and above by the free surface $z=\tilde{\eta}(x,y,t)$ (for some unknown function $\tilde{\eta}$), and split by an interface $z=\eta(x,y,t)$ (for some unknown function $\eta$) into two layers. We prove that
if the vorticity vectors in the two layers are constant then bounded solutions to the three-dimensional water waves equations in the $\beta$-plane approximation (with the associated boundary conditions) exist if and only if one of the horizontal components of the velocity, as well as its vertical component, are zero; the other horizontal component being constant. Moreover, the interface is flat, the free surface has a traveling character in the horizontal direction of the nonvanishing velocity component, being of general type in the other horizontal direction, and the pressure is hydrostatic in both layers. \tb{We would like to underline that allowing for an extra $x$-dependence in the bottom function $b$, leads only to unbounded solutions, cf. Remark \ref{x_dep}}.
We would also like to note that, unlike previous Liouville-type results, \cite{CK, CEjmb, MarJmfm17, MarPoF, MarJFM, MarNonl19, MarLiouville, Stu, wheel, Wah}, our analysis here does not require the bottom boundary to be flat.
It is also worth to note that results similar in outcome, but for the Euler- or Navier-Stokes equations without a free boundary, were obtained recently and relatively recently, cf. \cite{GigaCmp, GigaCpde}. The ethos of the previously mentioned studies is that under integrability conditions or conditions concerning the mean oscillation of the velocity field, the latter vanishes identically, or that it displays less complexity.
\section{The three dimensional water wave problem in the $\beta$-plane approximation}\label{threedimeuler}
We choose to work in a rotating framework with the origin at a point on the Earth's surface which is approximated by a sphere of radius $R=6378$ km
and denote with $(x,y,z)$ the Cartesian coordinates where the spatial variable $x$ refers to the longitude, the variable $y$ to latitude, and the variable $z$ stands for the local vertical, cf. Fig. \ref{syst}.
\begin{figure}[!h]
\begin{center}
\includegraphics*[width=0.75\textwidth]{coordinate_syst.pdf}
\end{center}
\caption{The rotating frame of reference, with the x axis chosen horizontally due east, the y axis chosen horizontally due north, and the z axis chosen upward: x corresponds to longitude, y to latitude, and z to the local vertical.}
\label{syst}
\end{figure}
The fluid domain, bounded below by a bottom boundary $z=b(x,y)$ (for some differentiable function $(x,y)\rightarrow b(x,y)$) and above by the free surface $z=\tilde{\eta}(x,y,t)$ is split by an interface, denoted $z=\eta(x,y,t)$, into two layers: a layer adjacent to the bottom, written as $$D_{\eta}(t):=\{(x,y,z): b(x,y)\leq z\leq \eta(x,y,t)\},$$ which sits below a layer adjacent to the surface, written as
$$D_{\eta,\tilde{\eta}}(t):=\{(x,y,z): \eta(x,y,t)\leq z\leq \tilde{\eta}(x,y,t)\}.$$
We denote with ${\bf u}(x,y,z,t)=(u(x,y,z,t),v(x,y,z,t),w(x,y,z,t))$ (respectively $\tilde{\mathbf{u}}(x,y,z,t)=(\tilde{u}(x,y,z,t),\tilde{v}(x,y,z,t), \tilde{w}(x,y,z,t))$) the velocity field in $D_{\eta}(t)$ (respectively in $D_{\eta,\tilde{\eta}}(t)$),
with $P(x,y,z,t)$ (respectively $\tilde{P}(x,y,z,t)$) the pressure in $D_{\eta}(t)$ (respectively in $D_{\eta,\tilde{\eta}}$),
and with $g$ the gravitational acceleration. We denote with $\rho$ the density in the lower layer $D_{\eta}$
and with $\tilde{\rho}$ the density in the upper layer $D_{\eta,\tilde{\eta}}$.
Then the motion of incompressible and inviscid three-dimensional water flows in the $\beta$-plane approximation near the Equator, (e.g. Constantin \cite{CoPhysOc2013}, Constantin \& Johnson \cite{CJaz} and Dellar \cite{Del}), is governed in
$D_{\eta}$ by the Euler equations
\begin{equation}\label{Euler_eq}
\begin{split}
u_{t}+u u_{x}+v u_{y}+w u_{z}+2\omega w-\beta yv &= -\frac{P_x}{\rho}\\
v_{t}+u v_{x}+v v_{y}+w v_{z} +\beta y u+\omega^2 y&=-\frac{P_y}{\rho}\\
w_{t}+u w_{x}+v w_{y}+ w w_{z}-2\omega u -\omega^2 R &= -\frac{P_z}{\rho}-g
\end{split}
\end{equation}
and by the incopressibility condition
\\
\begin{equation}\label{mass_cons}
u_{x}+v_{y}+w_{z}=0.
\end{equation}
Above, $t$ denotes the time variable, $\omega=7.29\cdot 10^{-5}$ rad $s^{-1}$ is the rotational speed of Earth round the polar axis toward east and $\beta:=\frac{2\omega}{R}$.
\begin{remark}
The $\beta$-plane effect, captured by the quantity $\beta y$, appears in the first and second equation in \eqref{Euler_eq}, and is a result of linearizing the Coriolis force in the tangent plane approximation. In spite of the spherical shape of the Earth, the before-mentioned linearization procedure is legitimate due to the moderate spatial scale of the motion, cf. the discussions in Cushman-Roisin \& Beckers \cite{Cush} and Constantin \cite{CoJGeoR}. We would like to note
that the $\beta$-plane equations \eqref{Euler_eq} represent a consistent approximation to the governing equations only near the Equator, cf. Dellar \cite{Del}.
\end{remark}
Likewise, in $D_{\eta,\tilde{\eta}}$ the flow motion obeys the equations
\begin{equation}\label{Euler_eq_tilde}
\begin{split}
\tilde{u}_{t}+\tilde{u} \tilde{u}_{x}+\tilde{v} \tilde{u}_{y}+\tilde{w} \tilde{u}_{z}+2\omega \tilde{w}-\beta y\tilde{v} &= -\frac{\tilde{P}_x}{\tilde{\rho}}\\
\tilde{v}_{t}+\tilde{u} \tilde{v}_{x}+\tilde{v} \tilde{v}_{y}+\tilde{w}\tilde{v}_{z}+\beta y \tilde{u}+\omega^2 y & =-\frac{\tilde{P}_y}{\tilde{\rho}}\\
\tilde{w}_{t}+\tilde{u}\tilde{ w}_{x}+\tilde{v}\tilde{ w}_{y}+ \tilde{w}\tilde{ w}_{z}-2\omega\tilde{u}-\omega^2 R & = -\frac{\tilde{P}_z}{\tilde{\rho}}-g
\end{split}
\end{equation}
and
\begin{equation}\label{mass_cons_up}
\tilde{u}_x+\tilde{v}_y+\tilde{w}_z=0.
\end{equation}
We specify now the boundary conditions which conclude the formulation of the water wave problem. We start with the kinematic boundary conditions, stating the impermeability of the boundaries: on the free surface $z=\tilde{\eta}(x,y,t)$ we require
\begin{equation}\label{kin_fs}
\tilde{w}=\tilde{\eta}_t+\tilde{u}\tilde{\eta}_x+\tilde{v}\eta_y\quad {\rm on}\quad z=\tilde{\eta}(x,y,t)
\end{equation}
On the interface $z=\eta(x,y,t)$ the conditions
\\
\begin{equation}\label{kin_int}
\begin{split}
\tilde{w}=\eta_t+\tilde{u}\eta_x+\tilde{v}\eta_y\quad {\rm on}\quad z=\eta(x,y,t)\\
w=\eta_t +u\eta_x+v\eta_y \quad {\rm on}\quad z=\eta(x,y,t)
\end{split}
\end{equation}
\\
while on the bed it holds that
\begin{equation}\label{kin_bed}
w=ub_x+vb_y\quad{\rm on}\quad z=b(x,y).
\end{equation}
\\
The balance of forces at the interface is encoded in the continuity of the pressure across $z=\eta(x,y,t)$, that is
\begin{equation}\label{bal_int}
P(x,y,\eta(x,y,t),t)=\tilde{P}(x,y,\eta(x,y,t),t)\,\,\textrm{for all}\,\,x,y,t.
\end{equation}
Lastly, the dynamic boundary condition, states the continuity of the pressure across the free surface, that is, we require that
\\
\begin{equation}\label{dyn_bc}
\tilde{P}=p\left(x+\frac{\omega R}{2}t,y\right)\quad{\rm on}\quad z=\tilde{\eta} (x,y,t),
\end{equation}
\\
for some given differentiable function $(X,Y)\rightarrow p(X,Y)$.\\
The local rotation in the flow is captured by the vorticity vector, defined as the curl of the velocity field, that is,
\begin{equation}\label{vort_def}
\begin{split}
\Omega=(w_{y}-v_{z},u_{z}-w_{x},v_{x}-u_{y})=:(\Omega_1,\Omega_2,\Omega_3)\,\,{\rm in}\,\,D_{\eta},\\
\tilde{\Omega}=(\tilde{w}_y-\tilde{v}_z, \tilde{u}_z-\tilde{w}_x,\tilde{v}_x-\tilde{u}_y)=:(\tilde{\Omega}_1,\tilde{\Omega}_2,\tilde{\Omega}_3)\,\,{\rm in}\,\, D_{\eta,\tilde{\eta}}.
\end{split}
\end{equation}
\begin{remark}
The (piecewise) constant vorticity is instrumental in describing wave-current interactions in sheared flows \cite{Jon, Ligh, Per, ThomKlop}. For a comprehensive treatment of two-dimensional water flows with discontinuous vorticity
(from the point of view of exact solutions describing waves of small and large amplitudes) we refer the reader to the work by Constantin \& Strauss \cite{CSArma2011}. However, the landscape of rotational three-dimensional water flows is much less understood. Nevertheless, it is known that in three-dimensional flows the constant vorticity significantly steers the dimensionality of the velocity field and of the pressure \cite{CK, CEjmb, MarJmfm17, MarPoF, MarJFM, MarNonl19, Stu, Wah}. Compared with previous studies on rotational three-dimensional water flows, we move here one step further and assume that the vorticity vectors, $\Omega$ and $\tilde{\Omega}$, respectively, are constant. As we shall see, this assumption will have massive consequences on the velocity field.
\end{remark}
\noindent We are now ready to state the main result for whose proof we will rely on rather direct partial differential equations methods, unlike more sophisticated Hamiltonian tools (and other structure-preserving methods) used recently in the context of layered domains \cite{Brid, CIM, CICMP, Wei, Wei2, Wei3}, which are not known to be available in our three-dimensional setting of the $\beta$-plane.
\begin{thm}\label{main}
If the velocity field satisfies $(u,v,w)\in L^{\infty}(D_{\eta})^3$ and $(\tilde{u},\tilde{v},\tilde{w})\in L^{\infty}(D_{\eta,\tilde{\eta}})^3$ then the flow has constant vorticity $\Omega\in D_{\eta}$ and $\tilde{\Omega}\in D_{\eta,\tilde{\eta}}$ if and only if
$$u(x,y,z,t)=u(t),\,\,v(x,y,z,t)=0,\,\,w(x,y,z,t)=w(t),\,\,{\rm for}\,\,{\rm all}\,\,x,y,z,t,$$
$$\tilde{u}(x,y,z,t)=\tilde{u}(t),\,\,\tilde{v}(x,y,z,t)=0,\,\,\tilde{w}(x,y,z,t)=\tilde{w}(t),\,\,{\rm for}\,\,{\rm all}\,\,x,y,z,t,0,$$
that is, $u,\tilde{u},w,\tilde{w}$ depend only on $t$, while $v$ and $\tilde{v}$ vanish.
\noindent If, in addition, the bottom defining function $b$ depends only on $y$, and $P$ and $\tilde{P}$ are bounded in $\Omega$, and $\tilde{\Omega}$, respectively, then
$$u=\tilde{u}=-\frac{\omega R}{2}\,\,{\rm and}\,\,v=w=\tilde{v}=\tilde{w}=0.$$
If, moreover, $\rho\neq \tilde{\rho}$ then $$\eta(x,y,t)=0\,\,{\rm for}\,\,{\rm all}\,\, x,y,t,$$
and
$$\tilde{\eta}(x,y,t)=-\frac{p\left(x+\frac{\omega R}{2}t,y\right)}{\tilde{\rho}g},$$
where $p$ is the given function from \eqref{dyn_bc}.
\end{thm}
\begin{proof}
Elininating the pressure between the three equations in \eqref{Euler_eq} yields the vorticity equation
\begin{equation}\label{vort_eq}
\begin{split}
\Omega_1 u_x+(\Omega_2+2\omega)u_y+(\Omega_3+\beta y)u_z &=0,\\
\Omega_1 v_x+(\Omega_2+2\omega)v_y+(\Omega_3+\beta y)v_z &=0,\\
\Omega_1 w_x+(\Omega_2+2\omega)w_y+(\Omega_3+\beta y)w_z &=\beta v,\\
\end{split}
\end{equation}
cf. eg. \cite{Cobook, John, MB}.
Applying the operator $\Delta$ to the first equation above and using that $u_x$, $u_y$ and $u_z$ are harmonic functions we find that $\Delta(yu_z)=0$. The latter equation can be expanded as
$$y\Delta u_z+2u_{yz}=0$$ which leads to
\begin{equation}\label{u_yz}
u_{yz}\equiv 0.
\end{equation}
Following the same line of proof we conclude that
\begin{equation}\label{vw_yz}
v_{yz}(x,y,z,t)=w_{yz}(x,y,z,t)=0
\end{equation}
at all points $(x,y,z)$ of $D_{\eta}$. Utilizing the definitions of $\Omega_1$ and $\Omega_2$ and recalling \eqref{vw_yz} we obtain
\begin{equation}\label{wy_const}
w_{yx}=w_{yy}=w_{yz}=0,
\end{equation}
which proves that $w_y$ is constant throughout $D_{\eta}$. That is, there is a differentiable function $t\rightarrow f(t)$ such $$w_y=f(t),$$ from which we infer the existence of another differentiable function $t\rightarrow g(t)$ such that
\begin{equation}\label{v_z}
v_z=g(t).
\end{equation}
We apply now the operator of differentiation with respect to $y$ in the vorticity equation \eqref{vort_eq} and obtain, via \eqref{wy_const} that
\begin{equation}
w_z=v_y\,\,{\rm within}\,\, D_{\eta}.
\end{equation}
We now see from above that the equalities
\begin{equation}\label{w_zz_v_yy}
w_{zz}=v_{yz}=0\quad{\rm and}\quad v_{yy}=w_{yz}=0
\end{equation}
hold at all points of $D_{\eta}$.
Differentiating the equation of mass conservation \eqref{mass_cons} with respect to $z$ we get that $u_{xz}+v_{yz}+w_{zz}=0$, and so we have via \eqref{w_zz_v_yy} that
\begin{equation}
u_{xz}\equiv 0,
\end{equation}
while from the differentiation of \eqref{mass_cons} with respect to $y$ we infer that
\begin{equation}
u_{xy}\equiv 0.
\end{equation}
Differentiating with respect to $z$ in the first equation of \eqref{vort_eq} and recalling that $u_{xz}=u_{yz}=0$ we see that $(\Omega_3+\beta y)u_{zz}=$ for all $(x,y,z)$ in $D_{\eta}$. Hence,
\begin{equation}\label{u_zz}
u_{zz}=w_{xz}=0
\end{equation}
at all points of $D_{\eta}$. We claim now that
\begin{equation}\label{u_xx}
u_{xx}\equiv 0\quad {\rm within}\quad D_{\eta}.
\end{equation}
To prove \eqref{u_xx} we distinguish two cases as follows:
\begin{enumerate}
\item [ (i) ] $\Omega_1=0$. Then the second equation in \eqref{vort_eq} becomes
$$(\Omega_2+2\omega)v_y +(\Omega_3+\beta y)v_z=0.$$
After a differentiation with respect to $x$ in the previous equation and accounting also for \eqref{v_z}, we obtain that
\begin{equation}
v_{xy}=u_{yy}=0\quad {\rm within}\quad D_{\eta},
\end{equation}
so that the harmonicity of $u$ and relation \eqref{u_zz} provides the claim in \eqref{u_xx}.
\item [ (ii) ] $\Omega_1\neq 0$. In this case we differentiate the first equation of \eqref{vort_eq} with respect to $x$ and avail of $u_{xy}=u_{xz}=0$ to conclude the correctness of the claim in \eqref{u_xx}.
\end{enumerate}
We can infer now from \eqref{u_xx}, \eqref{u_zz} and the harmonicity of $u$ that
\begin{equation}
u_{yy}=0\quad {\rm within}\quad D_{\eta}.
\end{equation}
An inspection of the previous considerations shows that $\nabla u$, $\nabla v$ and $\nabla w$ are (vectorial) functions that depend only on $t$. Corroborating the latter with the boundedness of $u,v,w$ yields that $u,v,w$ are functions that
depend only on $t$. The latter implies now that the spatial gradients of $u,v$ and $w$ vanish identically within $D_{\eta}$. This last information yields via \eqref{vort_eq} that
\begin{equation}\label{v=0}
v=0\quad{\rm throughout}\quad D_{\eta}.
\end{equation}
Since $w$ is constant within $D_{\eta}$ we conclude via the bottom condition \eqref{kin_bed} that $w=0$ throughout the lower layer $D_{\eta}$.
Consequently, the Euler equations are now written as
\begin{equation}
\begin{split}
P_x&=-\rho u'(t),\\
P_y&=-\rho(\beta u(t)+\omega^2)y,\\
P_z&=\rho(2\omega u(t)-g+\omega^2 R),
\end{split}
\end{equation}
so that
\begin{equation}
P(x,y,z,t)=-\rho \left[u'(t)x+(\beta u(t)+\omega^2)\frac{y^2}{2}+(g-2\omega u(t)-\omega^2 R )z\right].
\end{equation}
The boundedness of the pressure implies now that
$$u(t)=-\frac{\omega^2}{\beta}=-\frac{\omega R}{2}\quad {\rm for}\,\,{\rm all}\quad t,$$
and therefore for all $x,y,t$ and all $-d\leq z\leq \eta(x,y,t)$ it holds
\begin{equation}
P(x,y,z,t)=-\rho g z.
\end{equation}
Utilizing the vorticity equation for the domain $D_{\eta,\tilde{\eta}}$ and employing an argument analogous to the one that led to the constancy of $u,v,w$
we conclude that $\tilde{u}$ and $\tilde{w}$ are constants of the time $t$ and $\tilde{v}$ vanishes throughout $D_{\eta,\tilde{\eta}}$. Hence, the Euler equations in the upper layer are written as
\begin{equation}
\begin{split}
\tilde{P}_x&=-\tilde{\rho} \left( 2\omega \tilde{w}(t) +\tilde{u}'(t)\right),\\
\tilde{P}_y&=-\tilde{\rho}(\beta \tilde{u}(t)+\omega^2)y,\\
\tilde{P}_z&=\tilde{\rho}(2\omega \tilde{u}(t)-g+\omega^2 R),
\end{split}
\end{equation}
which yields that the pressure in the upper layer $D_{\eta,\tilde{\eta}}$ is given as
\begin{equation}
\tilde{P}(x,y,z,t)=-\tilde{\rho}\left[ \left( 2\omega \tilde{w}(t) +\tilde{u}'(t)\right)x+(\beta \tilde{u}(t)+\omega^2)\frac{y^2}{2}-(2\omega \tilde{u}(t)-g+\omega^2 R)z\right].
\end{equation}
Owing to the boundedness of $\tilde{P}$ we infer from the previous formula that
\begin{equation}
\tilde{u}(t)=-\frac{\omega^2}{\beta}=-\frac{\omega R}{2}\quad {\rm and}\quad \tilde{w}(t)=0\quad{\rm for}\,\,{\rm all}\quad t,
\end{equation}
and for all $x,y,z,t$ such that $\eta(x,y,t)\leq z\leq \tilde{\eta}(x,y,t)$ it holds
\begin{equation}
\tilde{P}(x,y,z,t)=-\tilde{\rho} g z.
\end{equation}
Applying now the balance of forces at the interface we obtain (availing also of $\rho\neq \tilde{\rho}$) that $\eta(x,y,t)=0$ for all $x,y,t$. With this finding we immediately see that the kinematic conditions on the interface \eqref{kin_int}
are also verified.\\
The kinematic condition on the free surface \eqref{kin_fs} becomes $$\tilde{\eta}_t-\frac{\omega R}{2}\tilde{\eta}_x=0,$$ whose general solution is given as
$\tilde{\eta}(x,y,t)=F\left(x+\frac{\omega R}{2}t,y\right)$ for some function $(X,Y)\mapsto F(X,Y)$. But, from the dynamic boundary condition \eqref{dyn_bc} we have that
$F=-\frac{p}{\tilde{\rho} g}$.
\end{proof}
\noindent We conclude by revealing the reason for choosing the bottom defining function $b$ to depend only on $y$.
\begin{remark}\label{x_dep}
Maintaining the hypotheses from Theorem \ref{main} and assuming that the bottom defining function presents a most general dependence $(x,y)\rightarrow b(x,y)$ with $b_x\neq 0$ we obtain that no solution with bounded pressure in the lower layer $D_{\eta}$ exists. Indeed, proceeding like in the proof of Theorem \ref{main} we notice that the arguments and the conclusions therein hold verbatim also in this scenario (with a more general bottom) until (and including) formula \eqref{v=0}. Then, utilizing the bottom condition $w=ub_x+vb_y$ on $z=b(x,y)$ we get $w(t)=u(t)b_x(x,y)$ for all $x,y$ and for all $t$. Assuming, {\emph ad absurdum} that there is $t_0$ such that $u(t_0)\neq 0$, we obtain from the previous equality that $b_{xx}=b_{yy}=0$. Since $b$ is bounded, it follows that $b_x(x,y)=0$ for all $x,y$, which is a contradiction with the hypothesis that $b_x\neq 0$. Thus, $u(t)=0$ for all $t$. From $w(t)=u(t)b_x$ it follows that also $w(t)=0$ for all $t$. The governing equations now yield that $P_y=-\rho \omega^2 y$ which clearly impedes the boundedness of $P$.
\end{remark}
\section{Conclusion}
We explored here the impact of (piecewise) constant vorticity on the dimension reduction of the velocity field in water flows satisfying the three-dimensional governing equations. This is part of a broader research agenda
\cite{Bas, CEjmb, CoPhysOc2013, CoPhysOc2014, CJPhysFluids2017, MarPoF, MarJFM, MarNonl19, Stu, Wah} that aims to deepen the analytical understanding of the three-dimensional water waves equations with vorticity.
%Note that close to exhibiting a constant vorticity vector is the phenomenon called Langmuir circulation (LC), cf. \cite{Lang}: at times longitudinal surface currents appear in the direction of wind blowing on the water surface and so, a series of alternating left and right helical vortices (with the horizontal axes parallel to the wind direction) emerges. According to Craik \& Leibovich \cite{CraLei}, LC can form on flows that initially have constant vorticity.
In addition to the previous aspects concerning the vorticity, our analysis takes into account the presence of geophysical effects in the form of the (equatorial) $\beta$-plane approximation: this procedure consists in linearizing the Coriolis force in the tangent plane approximation, this course of action being justified by the moderate scale of motion. Unlike the $f$-plane approximation, the $\beta$-plane approximation \cite{Ped}
displays the essential characteristic that the Coriolis parameter is not constant in space. This is a feature that not only makes the equations of motion more tractable but also allows the study of many phenomena in the atmosphere and ocean; in particular, Rossby waves, the most important type of waves for large-scale atmospheric and oceanic dynamics, depend on the variation of the Coriolis parameter as a restoring force cf. \cite{Hol}.
Under the assumptions (on the vorticity) stated before, we showed that the bounded solutions have zero vertical and one horizontal velocity components, while the other horizontal component is constant.
We have also proved that the interface is flat, the free surface has a traveling character in the horizontal direction of the nonvanishing velocity component, being of general type in the other horizontal direction, and the pressure is hydrostatic in both layers.
Different from other scenarios investigated before \cite{CK, CEjmb, MarJmfm17, MarPoF, MarJFM, MarNonl19, MarLiouville, Stu, Wah}, we allow a varying bottom boundary. A further improvement, when compared with previous studies dealing with three-dimensional flows with piecewise constant vorticity \cite{MarLiouville}, the vorticity vectors corresponding to the upper and lower layer, respectively, need not be parallel.
Our conclusion (regarding the dimension reduction of the flow) is reinforced in the study by Xia and Francois \cite{Xia}, which shows that large-scale structures in thick fluid layers can suppress vertical eddies and reinforce the planarity of the flow. In connection with planar flows we would also like to mention the result on the geometric structure of flows by Sun \cite{Sun}.
\section{Appendix}\label{App}
To justify the consideration of the system \eqref{Euler_eq} and for the sake of self-containedness, we recall in this section a derivation of the governing equations for the $\beta$-plane, as presented by Constantin \& Johnson \cite{CJaz}.
We start from the setting of cylindrical coordinates in which the equator is replaced by a line parallel to the $x$ axis: the equator is ``straightened'' and the body of the sphere is represented by a circular disc, which is mapped out by the corresponding polar coordinates $(x,\theta, z)$. Here, $x$ stands for the azimuthal direction and points from west to east, the direction of increasing $\theta$ is from north to south, and $z$ represents the local vertical. Then, the governing equations for water wave propagation written in cylindrical coordinates $(x, \theta, z)$ in a rotating framework are the momentum conservation equations
\begin{equation}\label{cyl}
\begin{split}
u_t+uu_x+\frac{vu_{\theta}}{R+z}+wu_z+2\omega (w\cos\theta-v\sin\theta)&=-\frac{p_x}{\rho},\\
v_t+uv_x+\frac{vv_{\theta}}{R+z}+\frac{wv_z}{R+z}+2\omega u\sin\theta+(R+z)\omega^2\sin\theta\cos\theta&=-\frac{p_{\theta}}{\rho(R+z)},\\
w_t+uw_x+\frac{vw_{\theta}}{R+z}+ww_z-\frac{v^2}{R+z}-2\omega u\cos\theta-(R+z)\omega^2\cos^2\theta&=-\frac{p_z}{\rho}-g,
\end{split}
\end{equation}
and the equation of mass conservation
\begin{equation}
u_x+\frac{v_{\theta}}{R+z}+\frac{\big((R+z)w\big)_z}{R+z}=0,
\end{equation}
where $u,v,w$ are the components of the velocity field corresponding to the $x$, $\theta$ and $z$ variable, respectively.
Since we are interested in the behavior of the flow close to the equator we will confine the discussion to small $\theta$. Our considerations also take into account the fact that the radius of Earth, with respect to the depth of the oceans, is extremely large. Thus, it is justified to perform the approximations
\begin{equation}
\sin\theta\approx \theta,\quad \frac{z}{R}\approx 0\quad.
\end{equation}
Setting $y:=R\theta$ and disregarding the terms smaller than $O(\theta)$ in the expansion of the trigonometric functions, the equations of momentum conservation \eqref{cyl} become
\begin{equation}
\begin{split}
u_t+uu_x+vu_y+wu_z+2\omega\left(w-\frac{y}{R}v\right)&=-\frac{p_x}{\rho},\\
v_t+uv_x+vv_y+wv_z+2\omega\frac{y}{R}u+\omega^2 y&=-\frac{p_y}{\rho},\\
w_t+uw_x+vw_y+ww_z-2\omega u-R\omega^2&=-\frac{p_z}{\rho}-g,
\end{split}
\end{equation}
while the equation of mass conservation acquires the form
\begin{equation}
u_x+v_y+w_z=0,
\end{equation}
which are precisely the equations \eqref{Euler_eq} and \eqref{mass_cons}.
\noindent {\bf Acknowledgements}: %The author would like to kindly thank the anonymous reviewer whose valuable comments and suggestions improved the manuscript.
The support of the Austrian Science Fund (FWF) under research grant P 33107 N is gratefully acknowledged. The author is indebted to the referees whose comments and suggestions have improved the quality of the manuscript.
\noindent {\bf Data Availability Statement}: No data is associated to this manuscript.
\begin{thebibliography}{10}
%\bibitem{ChaARMA} D. Chae and J. Wolf. On the Liouville-type theorems for self-similar solutions to the Navier-Stokes equations. \emph{Arch. Ration. Mech. Anal.} 225 (2017), 549-572.
%\bibitem{ChaWolCVPDE} D. Chae and J. Wolf. On a Liouville-type theorem for the stationary Navier-Stokes equations. \emph{Calc. Var. Part. Diff. Equations} 58 (2019), 111.
%\bibitem{ChaJDE20} D. Chae. Note on the Liouville-type problem for the stationary Navier-Stokes equations in $\mathbb{R}^3$. \emph{J. Diff. Equations} 268 (2020), 1043-1049.
%\bibitem{CJPhys} A. Constantin. On the deep water wave motion, \emph{J. Phys. A} 34 (2001), 1405-1417.
%\bibitem{CSCpam2004} A. Constantin and W.A. Strauss, Exact steady periodic water waves with vorticity\textit{Comm. Pure Appl. Math.} 57 (2004), no. 4, 481-527.
\bibitem{Bas} B. Basu. On an exact solution of a nonlinear three-dimensional model in ocean flows with equatorial undercurrent and linear variation in density. \emph{Discrete Cont. Dyn. Syst. Ser. A} 39 (2019) no. 8, 4783-4796.
\bibitem{BasDSR} B. Basu. Some numerical investigations into a nonlinear three-dimensional model of Pacific equatorial dynamics. \emph{Deep-Sea Res. II} 160 (2019), 7-15.
\bibitem{Brid} T. J. Bridges. Multi-symplectic structures and wave propagation. Mathematical Proceedings of the Cambridge Philosophical Society vol. 121 (1997) no. 1, 147-190.
\bibitem{wheel} R. M. Chen, L. Fan, S. Walsh and M. Wheeler. Rigidity of three-dimensional internal waves with constant vorticity. \emph{J. Math. Fluid Mech.} 25 (2023), Art. 71.
\bibitem{CK} A. Constantin and E. Kartashova. Effect of non-zero constant vorticity on the nonlinear resonances of capillary water waves, \emph{Europhysics Letters} 86 (2009) 29001.
\bibitem{Cobook}
A. Constantin.
\newblock {\em {Nonlinear water waves with applications to wave-current
interactions and tsunamis}}, volume~81 of {\em {CBMS-NSF Regional Conference
Series in Applied Mathematics}}.
\newblock Society for Industrial and Applied Mathematics (SIAM), Philadelphia,
PA, 2011.
\bibitem{CEjmb} A. Constantin. Two-dimensionality of gravity water flows of constant non-zero vorticity beneath a surface wave train, \emph{Eur. J. Mech. B/Fluids} 30 (2011), 12-16.
\bibitem{CSArma2011} A. Constantin and W.A. Strauss,
Periodic traveling gravity water waves with discontinuous vorticity, \emph{Arch. Ration. Mech. Anal.} 202 (2011), no. 1, 133-175.
\bibitem{CoJGeoR} A. Constantin. An exact solution for equatorially trapped waves. \emph{J. Geophys. Res.} 117 (2012), C05029.
% \bibitem{CV} A. Constantin and E. Varvaruca. Steady periodic water waves with constant vorticity: regularity and local bifurcation. \emph{Arch. Ration. Mech. Anal.} 199 (2011), no. 1, 33-67.
\bibitem{CoPhysOc2013} A. Constantin. Some three-dimensional nonlinear equatorial flows, \emph{J. Phys. Oceanogr.} 43 (2013) no. 1, 165-175.
\bibitem{CoPhysOc2014} A. Constantin. Some nonlinear, equatorially trapped, nonhydrostatic internal geophysical waves, \emph{J. Phys. Oceanogr.} 44 (2014) no. 2, 781--789.
\bibitem{CJGAFD} A. Constantin and R. S. Johnson. The dynamics of waves interacting with the Equatorial Undercurrent. \emph{Geophysical and Astrophysical Fluid Dynamics}. 109 (2015), no. 4, 311--358.
\bibitem{CJaz} A. Constantin and R. S. Johnson. An exact, steady, purely azimuthal equatorial flow with a free surface. \emph{J. Phys. Oceanogr}. 46 (2016), no. 6, 1935-1945.
\bibitem{CJazAcc} A. Constantin and R. S. Johnson. An exact, steady, purely azimuthal flow as a model for the Antarctic Circumpolar Current. \emph{J. Phys. Oceanogr.} 46 (2016), 3585--3594.
\bibitem{CIM} A. Constantin, R. I. Ivanov and C.-I. Martin. Hamiltonian Formulation for Wave-Current Interactions in Stratified Rotational Flows. \emph{Arch. Ration. Mech. Anal.} 221 (2016) no. 3, 1417-1447.
%\bibitem{CSV} A. Constantin, W.A. Strauss and E. Varvaruca. Global bifurcation of steady gravity water waves with critical layers. \emph{Acta Math.} 217 (2016), no. 2, 195-262.
\bibitem{CJPhysFluids2017} A. Constantin and R. S. Johnson, A nonlinear, three-dimensional model for ocean flows, motivated by some observations of the Pacific Equatorial Undercurrent and thermocline,
\emph{Physics of Fluids} 29 (2017), 056604.
\bibitem{CJ_Oc} A. Constantin and R. S. Johnson. Steady large-scale ocean flows in spherical coordinates. \emph{Oceanography} 31 (2018), no. 3, 42-50.
\bibitem{CICMP} A. Constantin and R. I. Ivanov. Equatorial wave-current interactions. \emph{Comm. Math. Phys.} 370 (2019) no. 1, 1-48.
\bibitem{CJJPO2019} A. Constantin and R. S. Johnson. On the nonlinear, three-dimensional structure of equatorial oceanic flows, \emph{J. Phys. Oceanogr}. 49 (2019) no. 8, 2029-2042.
\bibitem{CJDSR} A. Constantin and R. S. Johnson. Large-scale oceanic currents as shallow-water asymptotic solutions of the Navier-Stokes equation in rotating spherical coordinates. \emph{Deep Sea Research Part II} 160 (2019), 32-40.
\bibitem{cj1} A. Constantin and R. S. Johnson. On the modelling of large-scale atmospheric flows. \textit{J. Differential Equations} 285 (2021), 751--798.
\bibitem{cj2} A. Constantin and R. S. Johnson. On the propagation of waves in the atmosphere. \textit{Proc. Roy. Soc. A} 477 (2021), 20200424.
\bibitem{cj3} A. Constantin and R. S. Johnson. On the propagation of nonlinear waves in the atmosphere. \textit{Proc. Roy. Soc. A} 478 (2022), 20210895.
\bibitem{cj4} A. Constantin and R. S. Johnson. On the dynamics of the near-surface currents in the Arctic Ocean. \emph{Nonlinear Analysis: Real World Applications} 73 (2023), Art. No. 103894.
\bibitem{Cra} W. Craig. Non-existence of solitary water waves in three dimensions. Recent developments in the mathematical theory of water waves (Oberwolfach, 2001). \emph{ R. Soc. Lond. Philos. Trans. Ser. A Math. Phys. Eng. Sci. } 360 (2002), no. 1799, 2127-2135.
%\bibitem{CraLei} A. D. Craik \& S. Leibovich. A rational model for Langmuir circulations. \emph{J. Fluid Mech.} 73 (1976) no. 3, 401-426.
\bibitem{Cush} B. Cushman-Roisin \& J. M. Beckers. \emph{Introduction to Geophysical Fluid Dynamics: Physical and Numerical Aspects}. Academic Press 2011.
\bibitem{daSP} daSilva, A. F. T. and D. H. Peregrine. Steep, steady surface waves on water of finite depth with constant vorticity, \emph{J. Fluid Mech.}, 195 (1988), 281-302.
\bibitem{Davi} J. Davies, G. G. Sutyrin and P. Berloff. On the spontaneous symmetry breaking of eastward propagating dipoles. \emph{Physics of Fluids} 35 (2023), 041707.
\bibitem{Del} P. J. Dellar. Variations on a $\beta$-plane: derivation of non-traditional beta-plane equations from Hamilton's principle on a sphere. \emph{J. Fluid Mech.} 674 (2011), 174-195.
\bibitem{DJ} M.-L. Dubreil-Jacotin. Sur les ondes de type permanent dans les liquides h\'{e}t\'{e}rog\`{e}ne, \emph{Atti Accad. Naz. Lincei, Mem. Cl. Sci. Fis., Mat. Nat.} 15 (1932), 814-819.
\bibitem{Dur} A. H. Duran Colmenares and L. Zavala Sanson. Anisotropic Lagrangian dispersion in zonostrophic turbulence in a closed basin. \emph{Physics of Fluids} 34 (2022), 106605.
\bibitem{EMM} J. Escher, A.-V. Matioc and B.-V. Matioc. On stratified steady periodic water waves with linear density distribution and stagnation points. \emph{ J. Differential Equations} 251 (2011), no. 10, 2932-2949.
\bibitem{EKLM} J. Escher, P. Knopf, C. Lienstromberg and B.-V. Matioc. Stratified periodic water waves with singular density gradients. \emph{Ann. Mat. Pura Appl.} 199 (2020), no. 5, 1923-1959.
%\bibitem{Ger} F. Gerstner. Theorie der Wellen samt einer daraus abgeleiteten Theorie der Deichprofile, \emph{Ann. Phys.} 2 (1809), 412-445.
\bibitem{GeyQuiDCDS} A. Geyer and R. Quirchmayr. Shallow water models for stratified equatorial flows. \emph{Discrete Cont. Dyn. Syst. Ser. A.} 39 (2019) no. 8, 4533-4545.
\bibitem{GeyQuiCPAA} A. Geyer and R. Quirchmayr. Weakly nonlinear waves in stratified shear flows. \emph{Comm. Pure Appl. Anal.} 21 (2022) no. 7, 2309-2325.
\bibitem{GigaCmp} Y. Giga and H. Miura. On vorticity directions near singularities for the Navier-Stokes flows with infinite energy. \emph{Comm. Math. Phys.} 303 (2011) 289-300.
%\bibitem{GigaDcds} Y. Giga. A Remark on a Liouville problem with boundary for the Stokes and the Navier-Stokes equations. \emph{Discrete Cont. Dyn. Syst. Series S}. 6 (2013), no. 5, 1277-1289.
\bibitem{GigaCpde} Y. Giga. A Liouville theorem for the planar Navier-Stokes equations with the no-slip boundary condition and its application to a geometric regularity criterion. \emph{Comm. Part. Diff. Equations}. 39 (2014), 1906-1935.
\bibitem{Gill} A. E. Gill. \emph{Atmosphere Ocean Dynamics}. Academic Press, 1982.
%\bibitem{DHjnmp} D. Henry. On Gerstner's water wave. \emph{J. Nonlinear Math. Phys.} 15 (2008), suppl. 2, 87-95.
%\bibitem{HenMatCPAA} D. Henry and B.-V. Matioc. On the regularity of steady periodic stratified water waves. \emph{Comm. Pure Appl. Anal.} 11 (2012), no. 4, 1453-1464.
\bibitem{HenMatPisa} D. Henry and B.-V. Matioc. On the existence of steady periodic capillary-gravity stratified water waves. \emph{Ann. Sc. Norm. Sup. Pisa-Classe di Scienze.} 12 (2013), no. 4, 955-974.
\bibitem{HenJFM16} D. Henry. Equatorially trapped nonlinear water waves in a $\beta$-plane approximation with centripetal forces. \emph{J. Fluid Mechnics}. 804 (2016), pp. R11–R111.
\bibitem{HenJDE17} D. Henry. A modified equatorial $\beta$-plane approximation modelling nonlinear wave-current interactions. \emph{J. Differential Equations}. 263 (2017) no. 5, 2554 - 2566.
%\bibitem{HenMarJDE} D. Henry and C.I. Martin. Free-surface, purely azimuthal equatorial flows in spherical coordinates with stratification \emph{J. Differential Equations} 266 (2019) no. 10, 6788-6808.
\bibitem{HenMarARMA} D. Henry and C. I. Martin. Exact, free surface equatorial flows with general stratification in spherical coordinates. \emph{Arch. Ration. Mech. Anal.} 233 (2019) 497-512.
%\bibitem{HenMarNONL} D. Henry and C. I. Martin. Stratified equatorial flows in cylindrical coordinates. \emph{Nonlinearity} 33 (2020) no. 8, 3889–3904.
\bibitem{HenVillJDE} D. Henry and G. Villari. Flow underlying coupled surface and internal waves. \emph{J. Differential Equations} 310 (2022), 404-442.
%\bibitem{HenVillAmpa} D. Henry and G. Villari. Flow dynamics for coupled surface and internal deep water waves. \emph{Annali Mat. Pura Appl.} (2022), doi: 10.1007/s10231-022-01257-z
\bibitem{Hol} J. R. Holton ang G. J. Hakim. \emph{An Introduction to Dynamical Meteorology}. Academic Press, 2004.
\bibitem{dikNA} D. Ionescu-Kruse. An exact solution for geophysical edge waves in the f-plane approximation.
\emph{Nonlinear Analysis: Real World Applications} 24 (2015), 190-195.
\bibitem{dikJMFM15} D. Ionescu-Kruse. An Exact Solution for Geophysical Edge Waves in the $\beta$-Plane Approximation. \emph{J. Math. Fluid Mech.} 17 (2015), no. 4, 699-706.
\bibitem{dikJMFM17} D. Ionescu-Kruse. Exact Steady Azimuthal Edge Waves in Rotating Fluids. \emph{J. Math. Fluid Mech.} 19 (2017), no. 3, 501-513.
%\bibitem{IoPl1} G. Iooss and P. I. Plotnikov. Small divisor problem in the theory of three-dimensional water gravity waves. \emph{Mem. Amer. Math. Soc.} 200 (2009), no. 940, viii+128 pp.
%\bibitem{IoPl2} G. Iooss and P. I. Plotnikov. Asymmetrical three-dimensional travelling gravity waves. \emph{Arch. Ration. Mech. Anal.} 200 (2011), no. 3, 789-880.
%\bibitem{Lang} I. Langmuir. Surface motion of water induced by wind. \emph{Science} 87 (1938), 119-123.
%\bibitem{Lei} S. Leibovich. The form and dynamics of Langmuir circulations. \emph{Ann. Rev. Fluid Mech.} 15 (1983), 391-427.
\bibitem{Li} G. Li, L. Cheng, J. Zhu, K. E. Trenberth, M. E. Mann, J. P. Abraham. Increasing ocean stratification over the past half-century. \emph{Nature Climate Change} 10 (2020) no. 12, 1116-1123.
\bibitem{Ligh} J. Lighthill. Waves in Fluids, Cambridge University Press, 1978.
\bibitem{Jon} I. G. Jonsson. Wave-current interactions, in: B. Le M\'{e}haut\'{e} (Eds.), The Sea, in Ocean Eng. Sc., vol. 9(A), Wiley, 1990, pp. 65-120.
\bibitem{John} R. S. Johnson. A modern introduction to the mathematical theory of water waves. Cambridge University Press, 1997.
%\bibitem{Koch} G. Koch, N. Nadirashvili, G. Seregin and V. Sver\'ak. Liouville theorems for the Navier-Stokes equations and applications. \emph{Acta Mathematica} 203 (2009), 83-105.
\bibitem{MB} A. J. Majda and A. L. Bertozzi. Vorticity and Incompressible Flow (Cambridge University Press, Cambridge), 2002.
\bibitem{MarJmfm17} C. I. Martin. Resonant interactions of capillary-gravity water waves. \emph{J. Math. Fluid Mech.} 19 (2017), no. 4, 807-817.
\bibitem{MarPoF} C. I. Martin. Non-existence of time-dependent three-dimensional gravity water flows with constant non-zero vorticity.
\emph{Physics of Fluids} 30 (2018) no. 10, 107102.
\bibitem{MartinOc} C. I. Martin. On the vorticity in mesoscale ocean currents, \emph{Oceanography}, 31 (2018), no. 3, 28-35.
\bibitem{MarJFM} C. I. Martin. On constant vorticity water flows in the $\beta$-plane approximation. \emph{J. Fluid Mech.} 865 (2019), 762--774.
\bibitem{MarNonl19} C. I. Martin. Constant vorticity water flows with full Coriolis term. \emph{Nonlinearity} 32 (2019) no. 7, 2327-2336.
\bibitem{MarPoF21} C. I. Martin. Azimuthal equatorial flows in spherical coordinates with discontinuous stratification. \emph{Phys. Fluids}. 33 (2021), 026602.
%\bibitem{MarJMFM21} C. I. Martin. Some explicit solutions to the three-dimensional water wave problem. \emph{J. Math. Fluid Mech}. 23 (2021), no. 2, Art. 33.
%\bibitem{MarQuirchSAM} C. I. Martin and R. Quirchmayr. Exact solutions and internal waves for the Antarctic Circumpolar Current in spherical coordinates. \emph{Studies Appl. Math.} 148 (2022) no. 3, 1021-1039.
%\bibitem{MarPetAmpa} C. I. Martin and A. Petrusel. Free surface equatorial flows in spherical coordinates with discontinuous stratification depending on depth and latitude. \emph{Annali Mat. Pura Appl.} 2022, doi: 10.1007/s10231-022-01214-w
\bibitem{MarLiouville} C. I. Martin. Liouville-type results for the time-dependent three-dimensional (inviscid and viscous) water wave problem with an interface. \emph{J. Differential Equations} 362 (2023), 88-105.
\bibitem{AMJPhA} A.-V. Matioc. An exact solution for geophysical equatorial edge waves over a sloping beach, \emph{J. Phys. A} 45 (2012), no. 36, 365501, 10 pp.
\bibitem{AMApplAna} A.-V. Matioc. Exact geophysical waves in stratified fluids, \emph{Appl. Anal.} 92 (2013), no. 11, 2254-2261.
\bibitem{AMQAM} A.-V. Matioc. On the particle motion in geophysical deep water waves traveling over uniform currents, \emph{Quart. Appl. Math.} 72 (2014), no. 3, 455-469.
%\bibitem{MSmth} J. N. Moum and W. D. Smith. \emph{Upper Ocean Mixing Processes}. Second Edition (\emph{Encyclopedia of Ocean Sciences}.)
\bibitem{Ped} J. Pedlosky. Geophysical Fluid Dynamics. Springer-Verlag, 1992.
\bibitem{Per} D. H. Peregrine. Interactions of water waves and currents, \emph{Adv. Appl. Mech.} 16 (1976), 9-117.
%\bibitem{Ripa} P. Ripa. `Inertial oscillations and the $\beta$-plane approximation(s). J. Phys. Oceanogr. 27 (1997), 633-647.
\bibitem{Ros} C. G. Rossby and Collaborators. Relation between variations in intensity of the zonal circulation of the atmosphere and the displacements of the semi-permanent centers of action. \emph{J. Mar. Res.} 2 (1939), 38-55.
\bibitem{Sal} R. Salmon. \emph{Lectures on Geophysical Fluid Dynamics}. Oxford University Press. 1998.
%\bibitem{Ser} G. Seregin. Liouville-type theorem for the stationary Navier-Stokes equations. \emph{Nonlinearity} 29 (2016), 2191-2195.
%\bibitem{Sto} H. Stommel. Streaks on natural water surfaces. \emph{Weather} 6 (1951) no. 3, 72-74.
\bibitem{Stu} R. Stuhlmeier. On constant vorticity flows beneath two-dimensional surface solitary waves, \emph{J. Nonlinear Math. Phys.} 19 (2012), suppl. 1, 1240004, 9 pp.
\bibitem{Sun} C. Sun. Geometric structure of pseudo-plane quadratic flows, \emph{Physics of Fluids} 29, (2017), 036602.
\bibitem{ThomKlop}
G. P. Thomas and G. Klopman.
Wave-current interactions in the nearshore region, in: J. N. Hunt (Ed.), Gravity Waves in Water of Finite Depth, Computational Mechanics Publications, WIT, Southampton, United Kingdom (1997), pp. 255-319.
%\bibitem{wcrit} E. Wahl\'{e}n. Steady water waves with a critical layer. \emph{ J. Differential Equations} 246 (2009), no. 6, 2468-2483.
%\bibitem{Ver} G. Veronis. On the approximations involved in transforming the equations of motion from a spherical surface to the $\beta$-plane. I. Barotropic systems. \emph{J. Mar. Res.} 21 (1963), 110-124.
\bibitem{Wah} E. Wahl\'{e}n. Non-existence of three-dimensional travelling water waves with constant non-zero vorticity, \emph{J. Fluid Mech.} 746 (2014), doi:10.1017/jfm.2014.131
\bibitem{Wei} W. Hu, Z. Deng, S. Han, W. Zhang. Generalized multi-symplectic integrators for a class of Hamiltonian nonlinear wave PDEs. Journal of Computational Physics, vol. 235 (2013), 394-406.
\bibitem{Wei2} W. Hu, J. Ye and Z. Deng. Internal resonance of a flexible beam in a spatial tethered system. Journal of Sound and Vibration. 475 (2020), 115286.
\bibitem{Wei3} W. Hu, Z. Han and T. J. Bridges. Multi-symplectic simulations of W/M-shape-peaks solitons and cuspons for FORQ equation, Applied Mathematics Letters, 145, 108772.
\bibitem{Xia} H. Xia and N. Francois, Two-dimensional turbulence in three-dimensional flows, \emph{Physics of Fluids} 29, (2017), 111107.
\end{thebibliography}
\end{document}