1 Introduction
The submerged oscillatory point source is pivotal for three-dimensional (3D) water waves with a localised cause. Kochin (Reference Kochin1939, Reference Kochin1940) gave the first mathematical solutions where the source satisfies the linearised free-surface conditions and radiation conditions at infinity. Wehausen & Laitone (Reference Wehausen, Laitone and Flügge1960) summarised the classical solutions for submerged oscillatory sources. They are useful as Green functions for solving diffraction and radiation problems in marine hydrodynamics (Newman Reference Newman1977; Faltinsen Reference Faltinsen1990). The description of submerged bodies in inviscid flow using flow singularities rather than a full boundary value solution is highly economical, and has been hugely successful for irrotational flow. No corresponding Green function theory exists when a shear current is present, however, and as a first step in this direction we consider the properties of the basic building block for such a theory: the submerged oscillating point source.
In the preceding paper (Ellingsen & Tyvand Reference Ellingsen and Tyvand2016, abbreviated E&T hereafter), we showed how the standard theory of the oscillating line source in two dimensions with free surface and uniform shear based on potential theory is inadequate. Potential theory has traditionally been applied to this system on the grounds that when vorticity is constant the wave motion will be irrotational due to conservation of circulation by Kelvin’s circulation theorem. The 2D radiation problem was solved under this assumption by Tyvand & Lepperød (Reference Tyvand and Lepperød2014, Reference Tyvand and Lepperød2015) with both zero and non-zero surface velocity relative to the oscillating source respectively. However, we recently discovered that due to the violation of Laplace’s equation at the source position itself, it is necessary to treat the problem with the full Euler equations (see E&T). The resulting wave pattern obtains a correction from the formation of a critical layer-like train of downstream vortices at the source depth, which can completely dominate the wave picture in certain parameter regimes, and which drastically alters the wave picture downstream of the source (as seen from a system where source and undisturbed surface are at rest). The existence of critical layer-type solutions in two dimensions and uniform shear had previously been pointed out in the mathematical literature (Ehrnström & Villari Reference Ehrnström and Villari2008; Wahlén Reference Wahlén2009), confirming an age old conjecture by Lord Kelvin (Thomson Reference Thomson1880). The problem is a classic one and has attracted considerable recent attention; see Constantin & Varvaruca (Reference Constantin and Varvaruca2011) for a review.
In the present paper, we will extend the work in two dimensions from E&T to three dimensions, still using the simplifying assumption that the source is at rest relative to the surface of the fluid. While this is a restriction that we will want to lift in the future, this assumption is a significant simplification because complicating Doppler effects are avoided, allowing us to study several novel features unobscured by additional complexity.
In three dimensions and in the presence of shear current, potential theory is certainly not an option (e.g. Ellingsen & Brevik Reference Ellingsen and Brevik2014). Possibly for this reason the literature on 3D water waves with vorticity is small; a ring wave theory by Johnson (Reference Johnson1990) and some works in an oceanographic context, e.g. Shrira (Reference Shrira1993) and Mellor (Reference Mellor2003), are notable examples. Progress was made recently, when it was realised by one of us that a simple solution exists to the linearised Euler equation in three dimensions in the presence of uniform shear, and the solution was used to solve the linear ship wave problem (Ellingsen Reference Ellingsen2014b ), as well as the corresponding Euler–Cauchy problem of an initial disturbance (Ellingsen Reference Ellingsen2014a ). Both efforts have been generalised and expanded by Li & Ellingsen (Reference Li and Ellingsen2015, Reference Li and Ellingsen2016). The present theory follows essentially the same procedure with the only significant difference being the presence of the source making the continuity equation inhomogeneous.
In a famous review, Peregrine (Reference Peregrine1976) names several situations where the depth dependence of a current will affect surface waves. Noting that shear is typically present either near the surface (for example due to wind shear, as considered by, e.g., Shemdin (Reference Shemdin1972) and Jones & Toba (Reference Jones and Toba2001)) or in a boundary layer near the bottom (e.g. Soulsby et al. Reference Soulsby, Hamm, Klopman, Myrhaug, Simons and Thomas1993), and that a wave can ‘see’ approximately half its wavelength into the deep, the presence of vorticity will affect waves whose wavelength is either sufficiently short to be affected strongly by the surface layer or so long as to be affected by the entire water column. Situations where shear may be significant also include tidal currents (e.g. Dyer Reference Dyer1971). The Green functions summarised in the famous review of Wehausen & Laitone (Reference Wehausen, Laitone and Flügge1960) are all for irrotational flow. To the best of our knowledge it still holds true today that the literature on fluid mechanical Green functions is restricted to potential flow solutions. Hence, no valid Green function theory exists for floating bodies in shear currents, and the current effort takes perhaps the first step in this direction.
In comparing the 2D result of E&T with the 3D treatment herein, it should be noted that while the background flow in our 3D geometry is presumed to possess a constant vorticity, this is not the case for the flow as a whole. It was shown by Constantin (Reference Constantin2011) and others that an assumption of constant non-zero vorticity implies that the flow is strictly 2D. This apparent paradox was recently addressed by Ellingsen (Reference Ellingsen2016), demonstrating that a plane wave propagating at an oblique angle with a subsurface shear flow of uniform vorticity will shift the vortex lines of the basic flow and be, in an Eulerian sense, rotational, and the total fluid motion has non-constant vorticity. Thus, there is no conflict between Constantin’s theorem and the present work.
2 Mathematical model
We consider an inviscid and incompressible fluid in a steady shear flow, where the shear flow is aligned with a horizontal
$x$
axis. The fluid has constant depth and a free surface subject to constant atmospheric pressure. Cartesian coordinates
$x,y,z$
are introduced, where the
$z$
axis is directed upwards in the gravity field and the
$x,y$
plane represents the undisturbed free surface. The gravitational acceleration is
$g$
, and
${\it\rho}$
denotes the constant fluid density. We neglect surface tension throughout. The velocity perturbation vector is denoted by
$\boldsymbol{v}=(\hat{u} ,\hat{v},{\hat{w}})$
and the full pressure is
$P=-{\it\rho}gz+\hat{p}$
, where
$\hat{p}$
is the perturbation. The surface elevation is denoted by
${\it\zeta}(x,y,t)$
and the overall problem is sketched in figure 1. There is a wave motion driven by a fixed oscillating point source located at the point
$(0,0,-D)$
. The water wave problem will be linearised with respect to the surface elevation and the velocity and pressure perturbations.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_fig1g.gif?pub-status=live)
Figure 1. The geometry considered: an oscillating point source sits at depth
$D$
in a uniform shear current so that the source is at rest relative to the undisturbed water surface.
We assume constant fluid depth
$H$
. There is a basic horizontal shear flow
$U(z)$
in the
$x$
direction,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn1.gif?pub-status=live)
The basic flow thus contains a uniform vorticity
$S$
in the
$y$
direction, whose influence on the surface motion is our principal concern.
Euler’s equation of motion can be written as
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn2.gif?pub-status=live)
where
$\boldsymbol{a}$
is the acceleration vector and
$\boldsymbol{e}_{i},i\in \{x,y,z\}$
, are the Cartesian unit vectors.
The linearised kinematic free-surface condition is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn3.gif?pub-status=live)
with subscripts denoting partial derivatives.
In the absence of both surface tension and viscosity, the dynamic boundary condition is simply that the pressure be constant (chosen equal to zero) on the free surface. This may be written by means of the tangential component of the Euler equation,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn4.gif?pub-status=live)
because
$\boldsymbol{{\rm\nabla}}P-\boldsymbol{n}(\boldsymbol{n}\boldsymbol{\cdot }\boldsymbol{{\rm\nabla}}P)=0$
there. Here, the surface normal vector is denoted by
$\boldsymbol{n}$
. According to linear theory, the surface normal is given by
$\boldsymbol{n}=\boldsymbol{k}-\boldsymbol{{\rm\nabla}}{\it\zeta}$
. We linearise this dynamic free-surface condition and decompose it in the
$x$
and
$y$
directions, giving
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn5.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn6.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn7.gif?pub-status=live)
and use the incompressibility of the flow to eliminate the horizontal velocities to obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn8.gif?pub-status=live)
The dynamic free-surface condition is thus expressed in terms of the vertical velocity and the elevation.
The last boundary condition is the bottom condition,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn9.gif?pub-status=live)
We will work with finite
$H$
, giving special attention to the limit
$H\rightarrow \infty$
.
We assume time-periodic flow with given angular frequency
${\it\omega}$
. This flow is driven by a point source of harmonically pulsating strength
$Q(t)=Q_{0}\cos ({\it\omega}t)$
. The source strength
$Q(t)$
is the instantaneous volume flux emitted from the singular source, which is located at the constant depth
$z=-D$
. We will go to complex notation for the time dependence henceforth. The mass balance is given by the continuity equation
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn10.gif?pub-status=live)
We shall seek solutions so that the temporal behaviour of all perturbations is through a factor
$\exp (-\text{i}{\it\omega}t)$
, i.e. the periodic steady-state solution.
The variables are Fourier transformed as follows:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn11.gif?pub-status=live)
where the real part has physical significance. We have introduced the horizontal position vector
$\boldsymbol{r}_{\bot }=(x,y)=(r\cos {\it\phi},r\sin {\it\phi})$
and the wavevector
$\boldsymbol{k}=(k_{x},k_{y})=(k\cos {\it\theta},k\sin {\it\theta})$
, in Cartesian and polar phase space coordinates respectively. It should be noted that
$k=|\boldsymbol{k}|$
, which, unlike components
$k_{x},k_{y}$
, is
${\geqslant}0$
, an important point to bear in mind when comparing with theory for the corresponding 2D flow in E&T, where
$k$
is used in the sense
$k_{x}$
. We let
${\it\theta}$
and
${\it\phi}$
take values between
$-{\rm\pi}$
and
${\rm\pi}$
.
We shall use the terms upstream and downstream in the sense that they were used by E&T, by considering the source and undisturbed surface to be stationary. Thus, we refer to directions
$|{\it\theta}|<{\rm\pi}/2$
as propagating upstream (ahead of the source), and
$|{\it\theta}|>{\rm\pi}/2$
are denoted as downstream propagation directions. This would be opposite were we to consider the surface to be in motion, as was the case, e.g., in Ellingsen & Brevik (Reference Ellingsen and Brevik2014).
The transformed components of the Euler equation are given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn12.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn13.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn14.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_inline52.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn15.gif?pub-status=live)
In exactly the same way, the surface elevation is Fourier transformed according to
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn16.gif?pub-status=live)
2.1 Vorticity dynamics
Before continuing, let us take a moment to consider the vorticity equation for the system at hand, which to linear order in perturbations reads
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn17.gif?pub-status=live)
where
$\boldsymbol{{\it\Omega}}=\boldsymbol{{\rm\nabla}}\times \boldsymbol{v}$
is the perturbation vorticity, the background flow has vorticity
$S\boldsymbol{e}_{y}$
and we have inserted (2.9). The two terms on the right-hand side correspond to two different mechanisms whereby the vorticity of a fluid particle might change as it travels with the flow.
The term proportional to
${\it\delta}(x){\it\delta}(y){\it\delta}(z+D)$
was discussed at length in E&T. A fluid particle passing through the source point is given additional vorticity because its volume is momentarily changed while its circulation remains the same. The additional vorticity due to the inhomogeneity in the vorticity equation (the term proportional to
${\it\delta}(z=D)$
) is expected to be proportional to
$-SQ_{0}\exp (-\text{i}{\it\omega}t)/U(-D)$
, because the time such a small volume of fluid spends with the source inside it is proportional to
$1/U(-D)$
.
The term
$S\partial \boldsymbol{v}/\partial y$
comes from the fact that a wave propagating at an oblique angle over a shear current will gently shift and twist the vortex lines as it passes, as discussed by Ellingsen (Reference Ellingsen2016). The effect may be understood in terms of the plane wave components of the wave picture (2.13) by noting that
$\partial /\partial y\rightarrow \text{i}k_{y}$
in Fourier space. Thus, it is the combination of the subsurface shear
$S$
and an oblique propagation direction relative to the current,
$k_{y}\neq 0$
, that causes the vorticity of fluid particles to change as they are convected.
3 Formal solution of the radiation problem
From the transformed governing equations, we can eliminate
$u,v$
and
$p$
to obtain an equation for the vertical velocity alone,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn18.gif?pub-status=live)
Since
${\it\delta}(z+D)$
is non-zero only at
$z=-D$
, the fraction
$k_{x}S/({\it\omega}-k_{x}U)$
effectively becomes
$k_{x}S/({\it\omega}+k_{x}SD)$
in the last term. The homogeneous solution of this equation that satisfies the bottom condition is written in the form
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn19.gif?pub-status=live)
where
$A(\boldsymbol{k})$
is an undetermined velocity amplitude. In addition, there are two particular solutions to (3.1) due to the two forcing terms on the right-hand side,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn20.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn21.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_inline70.gif?pub-status=live)
From transforming the kinematic free-surface condition (2.3) we find the relationship
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn22.gif?pub-status=live)
Similarly, the dynamic free-surface condition (2.7) gives
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn23.gif?pub-status=live)
From the two last equations we eliminate
$A$
, since we are most interested in the surface elevation. It is expressed by
$B(\boldsymbol{k})$
so that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn24.gif?pub-status=live)
4 Dispersion relation and the radiation condition
In (3.7),
$B(\boldsymbol{k})$
is multiplied by a factor that will be zero when
$\boldsymbol{k}$
has a value corresponding to the dispersion relation for a given
${\it\omega}$
,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn25.gif?pub-status=live)
This is identical to the dispersion relation derived and discussed at length by Ellingsen (Reference Ellingsen2014a
), except that here it is
${\it\omega}$
, not
$\boldsymbol{k}$
, that is taken to be the known quantity. The dispersion relation was derived by Tyvand & Lepperød (Reference Tyvand and Lepperød2014) for the cases
${\it\theta}=0$
and
${\it\theta}={\rm\pi}$
corresponding to 2D flow. See also the more detailed discussion of the 2D dispersion relation by Ellingsen & Brevik (Reference Ellingsen and Brevik2014). This selected value of the wavevector gives a pole in the solution integral (2.13).
4.1 Dispersion relation in deep water
Let us analyse the dispersion relation (4.1), which we treat as a function of
$\boldsymbol{k}$
with
${\it\omega}$
a fixed parameter. The following discussion generalises that found in appendix A of E&T. Wishing to consider the simpler case of infinitely deep water,
$H\rightarrow \infty$
, the naive procedure is to let
$\coth kH\rightarrow 1$
in (4.1), whereby the dispersion relation becomes simple and explicit with respect to
$k$
:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn26.gif?pub-status=live)
We immediately see a potential problem with relation (4.2), because when
$S>{\it\omega}$
it seems to permit negative values of
$k({\it\theta})$
, which is nonsensical and must be remedied by manually excluding the corresponding values of
${\it\theta}$
from the final integral.
The reason for this conundrum may be found in the fact that the mathematical limit taken in dispersion relation (4.1) is
$kH\rightarrow \infty$
, which is the same as the deep-water limit
$H\rightarrow \infty$
only if
$k$
does not simultaneously tend to zero. A numerical solution
$k({\it\theta})$
of dispersion relation (4.1) when
$H$
grows large shows that in the ‘forbidden sectors’ where (4.2) is negative, the solution
$k({\it\theta})$
tends quickly to zero so that
$k({\it\theta})H$
remains finite near
${\it\theta}=\pm {\rm\pi}$
. In other words, the forbidden sector is a phenomenon that only occurs at infinite depth, while for any finite
$H$
a positive solution
$k({\it\theta})$
exists in all directions.
We can study this a little more closely by writing (4.1) in the form
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn27.gif?pub-status=live)
where
${\it\chi}=k({\it\theta})H$
and
${\it\eta}=g/H{\it\omega}^{2}$
. When the water is deep,
${\it\eta}\ll 1$
. The sectors in which (4.2) predicts negative
$K$
values are clearly where
$\cos {\it\theta}<0$
, near
${\it\theta}=\pm {\rm\pi}$
. Assuming therefore that the right-hand side of (4.3) is positive and
${>}1$
, there clearly exists a solution for moderate values of
${\it\chi}$
where the term containing
${\it\eta}$
can be neglected, approximated by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn28.gif?pub-status=live)
provided that
$-{\it\omega}-S\cos {\it\theta}>0$
. Thus, when
$S>{\it\omega}$
the product
$k({\it\theta})H$
never grows large near
${\it\theta}=\pm {\rm\pi}$
as
$H\rightarrow \infty$
, and the naive taking of the deep-water limit leads to unphysical solutions.
Numerical solutions to the dispersion relation (4.1) for the case
$S=2{\it\omega}$
are shown in figure 2 for different values of the (suitably non-dimensionalised) depth
$H$
, where the relation (4.2) is also shown. This figure also shows the behaviour of
$k({\it\theta})H$
near
${\it\theta}\rightarrow {\rm\pi}$
when
$H$
grows large. It is clear from the numerical solutions that the correct limiting dispersion relation is in fact not (4.2), but instead
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn29.gif?pub-status=live)
with
${\it\Theta}$
again the Heaviside function. What this implies is that in propagation directions where
${\it\omega}+S\cos {\it\theta}<0$
, the permissible plane wave solution approaches infinite wavelength. In a similar manner to that of the appendix of E&T, one can show that there is no energy transport in this ‘forbidden sector’ in the limit
$H\rightarrow \infty$
, and hence this sector is to be simply excluded from the integral over
$\boldsymbol{k}$
in the deep-water limit by means of a cutoff: values of
${\it\theta}$
must satisfy
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn30.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_fig2g.gif?pub-status=live)
Figure 2. (a) Plots of wavenumbers
$k_{0}({\it\theta})$
that solve (4.1), non-dimensionalised as in table 1, for different values of
$F^{2}h=1,2,5,10,50$
(solid lines, top to bottom) with
$S/{\it\omega}=2$
. The naive expression (4.2) is plotted as a dashed line. (b) Plots of
$q_{0}({\it\theta})h$
for the same solutions, plotted near
${\it\theta}={\rm\pi}$
, again for
$F^{2}h=1,2,5,10,50$
(solid lines, bottom to top). The asymptotic solution (4.4) is shown as a dashed line.
For any
$H<\infty$
, the integral is not cut off explicitly. That said, when
$S/{\it\omega}>1$
and
$h\gg g/{\it\omega}^{2}$
(deep waters), the sector that at infinite depth would be forbidden is characterised by regular waves of very long wavelength and correspondingly small amplitude.
4.2 Radiation condition
Before we proceed, let us non-dimensionalise all quantities with respect to length
$D$
and time
$1/{\it\omega}$
, in particular
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn31.gif?pub-status=live)
and we obtain the dimensionless parameters
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn32.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn33.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn34.gif?pub-status=live)
Here,
${\it\sigma}$
is the dimensionless shear (or vorticity) and
$F^{2}$
is a Froude number based on length
$D$
and velocity
${\it\omega}D$
. The various non-dimensional quantities are listed in table 1. The expression for the surface elevation now becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn35.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn36.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_inline137.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_inline138.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_inline139.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn37.gif?pub-status=live)
Table 1. Table of non-dimensional quantities.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_tab1.gif?pub-status=live)
Insertion of the solution for
$B(\boldsymbol{k})$
in (3.7) into (2.13) now produces an integral that is not well defined because it contains poles on the integration axis. The problem is a standard one encountered in all periodic or stationary wave systems, and must be resolved by means of a radiation condition ensuring that only outgoing waves are included while formal solutions to the strictly periodic problem that correspond to waves originating at infinity must be excluded. As in E&T we employ the radiation condition in the manner of, e.g., Lighthill (Reference Lighthill1978, § 4.9) by presuming that the point source has been switched on slowly and gradually since
$t=-\infty$
, by replacing
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn38.gif?pub-status=live)
where
${\it\epsilon}$
will be taken to zero in the end through positive values (this definition is permissible for
${\it\omega}>0$
and makes
${\it\epsilon}$
dimensionless, which is convenient). This amounts to a replacement rule everywhere,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn39.gif?pub-status=live)
As
${\it\epsilon}$
is taken towards zero, its sole significance is that it moves the poles in the integrand slightly off the real
$q$
axis. In exact analogy to the 2D case considered in E&T, there are two types of poles in the integrand, corresponding to two types of waves. First, there are the standard dispersive waves at values
$q_{0}({\it\theta})$
that satisfy
${\it\Gamma}(\boldsymbol{q})=0$
, i.e.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn40.gif?pub-status=live)
which defines
$q_{0}({\it\theta})$
implicitly. Second, there is a pole at
$q=q_{c}$
because of the presence of a critical layer-like downstream flow, as discussed at length in E&T. It was shown in E&T how the critical layer in two dimensions is a sequence of vortices which is advected downstream with the flow at the velocity
$U_{c}=-SD$
which the fluid has at depth
$D$
. The nature of the critical layer solution in the present 3D geometry will be analysed further below.
The replacement rule (4.14) gives a revised expression for
$\tilde{{\it\zeta}}$
which is now uniquely defined:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn41.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn42.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn43.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_inline166.gif?pub-status=live)
5 Far-field solution
As discussed extensively in the literature (cf., e.g., Wehausen & Laitone Reference Wehausen, Laitone and Flügge1960; Lighthill Reference Lighthill1978), it is the poles of the integral over
$\boldsymbol{q}$
, i.e. the poles of (4.11), that contribute to the far zone. This is true also in the present case, as we argue below. Regard the integral as written in (4.16), so that the integral of the wavenumber (or wavevector modulus)
$q$
is taken first, then the integral over propagation directions
${\it\theta}$
second. The physical significance of the pole near
$q=q_{0}({\it\theta})$
is well known:
$q=q_{0}$
is simply the dispersion relation that must be satisfied in order for waves to propagate towards infinity.
The second pole, at
$q=q_{c}({\it\theta})$
, is physically interesting and was discussed for the 2D case in E&T. The pole at
$q=q_{c}$
occurs for the wavenumber at which waves at depth
$z=-D$
propagating in direction
${\it\theta}$
have a phase velocity that, when measured along the direction of the current,
$-\boldsymbol{e}_{x}$
, is equal to the velocity of the fluid flow,
$U(-D)=-SD$
. This is the condition for the formation of a critical layer, a phenomenon that has been studied extensively in two dimensions. We showed (E&T) that even for a linear shear current of uniform vorticity in two dimensions, a critical layer-like flow is created by a submerged oscillating source. The existence of critical layer-type solutions for the constant vorticity flow in two dimensions was previously reported in the mathematical literature (Ehrnström & Villari Reference Ehrnström and Villari2008; Wahlén Reference Wahlén2009), and takes the form of a train of vortical fluid structures similar to Kelvin’s cat’s eye vortices, centred at the source depth and advected downstream with the shear flow. In three dimensions, the same phenomenon occurs, and we will show that the surface deformation associated with the critical layer typically takes the form of a narrow train of waves which retains constant shape as it is convected downstream.
It should be noted that while we refer to the vortical flow drifting downstream of the source as a critical layer flow due to its obvious similarities with critical layers as they occur in the literature on waves on shear flows (e.g. Booker & Bretherton Reference Booker and Bretherton1967), there is an important difference regarding how the critical wave interacts with the propagating surface waves. In the present case, the critical layer is not caused by a propagating wave impinging on a critical level, but is created by the source itself, and does not interact with the propagating regular waves except near a particular resonance frequency, which we discuss in detail in the following.
In order to evaluate the far field, we close the integration contour in the complex
$q$
plane as shown in figure 3. In order for the contribution from the poles to be identifiable as the far-field contribution, it is necessary to close the contour above or below according to the sign of the exponent factor
$\cos ({\it\theta}-{\it\phi})$
to ensure that the integrand along each leg of the contour is a decreasing function of
$\tilde{r}$
as
$\tilde{r}\rightarrow \infty$
. We choose to close the contour by means of a circular arc at infinity and a straight path making an angle with the real axis which we may choose arbitrarily so long as it is strictly greater than zero (to ensure that the abovementioned poles are enclosed when they should be) and small enough to exclude a series of poles a little to the side of the imaginary axis where
${\it\Gamma}(\boldsymbol{q})$
has zeros. These poles contribute to the near field only, and lie a little to the right or the left of the imaginary axis depending on
$\cos {\it\theta}$
as well as
$h,{\it\sigma}$
and
$F^{2}$
. For numerical purposes, we choose a path making an angle
${\it\gamma}=\pm 0.4{\rm\pi}$
with the real axis, which causes no problems with the parameters we consider (it is numerically beneficial to be as close as possible to the path of steepest descent, which in the deep-water case is at
$\tan {\it\gamma}=\tilde{r}\cos ({\it\theta}-{\it\phi})$
, yet this path will lie perilously close to the imaginary axis for large
$\tilde{r}$
).
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_fig3g.gif?pub-status=live)
Figure 3. Contours in the complex
$q$
plane used for extracting the far-field solution. Here
$q^{\prime }$
and
$q^{\prime \prime }$
denote the real and imaginary parts of
$q$
, respectively.
Consider now the two poles in the integrand of (4.11). Upon replacing
${\it\omega}\rightarrow {\it\omega}(1+\text{i}{\it\epsilon})$
the poles have been shifted to the positions
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn44.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn45.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_inline194.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_inline195.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_inline196.gif?pub-status=live)
Assume now that
$q_{0}\neq q_{c}$
, so that the two poles are well separated and may be treated independently (according to the terminology we will introduce in § 5.1, a situation where this is true for all
${\it\theta}$
is called subresonant). We will need to determine whether they lie above or below the real axis.
The simplest pole to analyse is the critical one at
$q=q_{c}$
. From (5.1) it is clear that this pole can lie inside the contour only if
$q_{c}>0$
, i.e.
$\cos {\it\theta}<0$
, and in this case it will be shifted above the complex axis, and hence contribute to the far field only if
$\cos ({\it\theta}-{\it\phi})>0$
.
The propagating pole is a little more involved. For the pole to lie within the integration path it is necessary that a solution
$q_{0}>0$
of (4.15) exists, and that the pole is shifted to the appropriate side of the axis, either above or below depending on how the contour is closed. With
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn46.gif?pub-status=live)
it is quite obvious that
${\it\Gamma}^{\prime }(q_{0})>0$
for all positive
$q_{0}$
, so the position of the pole (5.2) is decided by the sign of
${\it\Phi}(q_{0})$
. However, by using (4.15) we may write
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn47.gif?pub-status=live)
which again is clearly a positive quantity provided that
$q_{0}>0$
. Hence, both poles lie above the complex axis provided that
$q_{0},q_{c}>0$
and contribute to the far field provided that
$\cos ({\it\theta}-{\it\phi})>0$
.
As discussed in § 4, a solution
$q_{0}({\it\theta})$
exists for all
${\it\theta}$
and all values of
$F^{2}$
and
${\it\sigma}$
so long as
$h$
is finite, but
$q_{0}({\it\theta})$
tends to zero in a sector
$|{\it\theta}|>{\it\theta}_{0}$
when
$h\rightarrow \infty$
. Within this sector no far-field propagating wave exists in this limit.
5.1 Resonance
The 2D case considered in E&T uncovered that a resonance may occur between the regular downstream propagating wave and the critical wave (which only occurs downstream) if their wavenumbers are the same. In the present 3D configuration, we henceforth distinguish between a subresonant and a super-resonant regime. Physically, resonance occurs when the regular wave propagating in direction
${\it\theta}={\rm\pi}$
has the same phase velocity as the critical wave, i.e. the same velocity as the fluid current at depth
$z=-D$
. We note how this differs fundamentally from the Doppler resonance that may occur for a source that moves relative to the surface: in that case it is the group velocity that causes resonance when it coincides with the current velocity (e.g. Wehausen & Laitone Reference Wehausen, Laitone and Flügge1960).
The situation that we define as subresonant occurs for parameters
$F^{2}$
and
${\it\sigma}$
that are such that
$q_{0}({\it\theta})\neq q_{c}({\it\theta})$
for all
${\it\theta}$
. In this case the two poles in the integrand of (4.11) can be treated independently. In other words, in the subresonant regime the downstream regular wave and the critical layer wave have very different appearance and behaviour, and their individual contributions to the far field are easily identifiable. At a deeper level, this is because the critical layer wave can never satisfy the dispersion relation
${\it\Gamma}(\boldsymbol{q})=0$
when
$F^{2}$
is subresonant.
The criterion for the situation to be subresonant is that
${\it\Gamma}(q_{c},{\it\theta})\neq 0$
for all
${\it\theta}$
. The equation
${\it\Gamma}(q_{c},{\it\theta})=0$
may be written as
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn48.gif?pub-status=live)
In subcritical situations, this equation has no solution for any
${\it\theta}$
. The right-hand side is either always greater than
$F^{2}$
or, in some cases when
${\it\sigma},h>1$
, can be negative for some
${\it\theta}$
. Since
$F^{2}$
is positive by definition, its resonant value is the smallest value for which (5.5) has a solution, corresponding to the smallest positive value of the right-hand side of (5.5). These positive minima occur at
${\it\theta}=0,\pm {\rm\pi}$
when
${\it\sigma}<0.5$
, but above some
$h$
-dependent value of
${\it\sigma}$
the minima are found instead at two values of
${\it\theta}$
either side of
$0$
and
${\rm\pi}$
. After this bifurcation, the minimum value of
$F_{res}$
remains constant for higher values of
${\it\sigma}$
. We define
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn49.gif?pub-status=live)
The notation means that the minimum value is found with respect to
${\it\theta}$
, but so that that negative values are ignored.
One may show that if
$\coth (h/{\it\sigma})<{\it\sigma}$
, the right-hand side of (5.5) is negative in some sectors near
${\it\theta}=0$
and
${\rm\pi}$
; no resonance is then possible in these sectors. A necessary but insufficient criterion is that both
${\it\sigma}$
and
$h$
exceed
$1$
. The phenomenon thus bears resemblance with deep-water cutoff, discussed in § 4.1.
We term the situation subresonant for values of
$F^{2}$
smaller than
$F_{res}^{2}$
. In the super-resonant regime,
$F^{2}>F_{res}^{2}$
, and there always exists a value of
${\it\theta}$
for which the critical wave satisfies the dispersion relation. At resonance, the critical wave satisfies the dispersion relation at one or two distinct values of
${\it\theta}$
corresponding to the minimum or minima in (5.6). The behaviour of
$F_{res}^{2}$
for different
${\it\sigma}$
and
$h$
is shown in figure 4. For small
${\it\sigma}$
, the critical wave satisfies the dispersion relation at
${\it\theta}={\rm\pi}$
, and
$F^{2}$
is a decreasing function of
${\it\sigma}$
. For
${\it\sigma}$
above some threshold value, however, the critical wave first satisfies the dispersion relation (i.e. the minimum of the function in (5.6)) for a pair of propagation angles either side of
${\it\theta}={\rm\pi}$
. From this point on,
$F_{res}^{2}$
remains constant as
${\it\sigma}$
is further increased.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_fig4g.gif?pub-status=live)
Figure 4. Plots of
$F_{res}^{2}$
as a function of
${\it\sigma}$
for different values of
$h$
(a) and as a function of
$h$
for different
${\it\sigma}$
(b). Any
$h\gtrsim 2$
has
$F_{res}$
virtually indistinguishable from infinite depth.
The criterion for resonance is similar to that found in the 2D case, but the interpretation is now a little different. In two dimensions, resonance occurred only at the single value
$F^{2}=F_{res}^{2}$
. At this value, waves continued to grow indefinitely in amplitude away from the source as a linear function of difference, while at values above or below
$F_{res}^{2}$
the wave amplitude remained bounded everywhere. A study of the behaviour of
$F_{res}^{2}$
as a function of
$h$
and
${\it\sigma}$
was given in E&T and need not be repeated here. Here, the situation is different mathematically in that a confluence of the two poles will occur at some
${\it\theta}$
for every value
$F^{2}>F_{res}^{2}$
, although we shall see that also in the 3D case unbounded wave amplitudes can occur only exactly at the resonant value. Like in E&T, thus, the physical wave field only resonates at a single value
$F^{2}=F_{res}^{2}({\it\sigma},h)$
.
5.2 Subresonant case
We assume now that
$F^{2}<F_{res}^{2}$
, so that
$q_{0}\neq q_{c}$
for all
${\it\theta}$
. With reference to (4.11), let us define
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn50.gif?pub-status=live)
and note that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn51.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn52.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_inline284.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_inline285.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_inline286.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_inline287.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_inline288.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn53.gif?pub-status=live)
Here,
$F_{conn.}({\it\theta})$
is the integral along the connection path, as shown in figure 3, directed towards the origin.
We ascertain numerically that the contribution from the connection path falls off faster than the far field as
$\tilde{r}\rightarrow \infty$
(it is possible, but cumbersome, to show this analytically using asymptotic methods). Hence, we shall identify the contribution from the poles as the far field, while noting that the division of
${\it\zeta}$
into near field and far field is not a unique operation.
The far-field surface elevation in the subresonant case is thus
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn54.gif?pub-status=live)
where we have inserted the definition of
$q_{c}$
in the exponent of the corresponding integral to highlight that the
$\tilde{x}$
dependence is of a pure plane wave form.
In figure 5 we moreover show example numerical calculations of the full surface elevation from (4.16) as well as the asymptotic regular and critical waves and the numerical evaluation of the connection path integral which we identify as the near field. The graph shows with clarity that the sum of the three contributions exactly matches the full integral, as it should, a useful validation of the numerical code.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_fig5g.gif?pub-status=live)
Figure 5. Plots along the
$\tilde{x}$
axis at
${\tilde{y}}=0$
(a) and along the
${\tilde{y}}$
axis at
$\tilde{x}=0$
(b) of the full surface elevation calculated from (4.16) (solid line) as well as numerical calculation of the far fields from regular as well as critical waves, and numerical calculation of the near field from the connection integration path shown in figure 3. The parameters in this example are
$F^{2}=1,{\it\sigma}=0.5,h=4,T=0.3$
.
Let us study for a moment the last integral in (5.10), which gives the critical ‘wave’. When
$\tilde{r}$
grows large, the exponential function typically becomes rapidly oscillating, and the integral is a rapidly decreasing function of
$\tilde{r}$
according to the Riemann–Lebesgue lemma (Bender & Orszag Reference Bender and Orszag1991, § 6.5). This is true everywhere in the
$\tilde{r},{\it\phi}$
plane except along the line
${\it\phi}={\rm\pi}$
(where
${\tilde{y}}=0$
) where the exponent becomes independent of
${\it\theta}$
(this is also true at
${\it\phi}=0$
, but this line is excluded from the integral by the Heaviside
${\it\Theta}$
function). What this implies is that the critical wave must die quickly away from the source in all directions except along the line
${\it\phi}={\rm\pi}$
where it takes the form
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn55.gif?pub-status=live)
The integral is now just a constant with respect to
$x$
, and the behaviour along the ray
${\it\phi}={\rm\pi}$
is a wave of dimensionless wavelength
${\it\lambda}_{c}=2{\rm\pi}{\it\sigma}$
, as found for the critical layer wave also in the 2D case by E&T;
${\it\lambda}_{c}D$
is the distance travelled during one oscillation period by a fluid particle at depth
$z=-D$
.
The deep-water limit of
$\tilde{{\it\zeta}}_{f.f.}$
is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn56.gif?pub-status=live)
with
${\it\theta}_{0}$
defined in (4.6).
Numerical examples of subresonant wave fields are shown in figure 6 for increasing values of
${\it\sigma}$
. The asymptotic far-field expressions are reasonable approximations for distances more than a couple of wavelengths from the source, and are numerically far quicker and also easier to calculate. Numerical evaluation of the full expression in (4.16) is considerably more subtle than the corresponding calculation in the 2D case, because it is necessary to use a smaller value of
${\it\epsilon}$
when going to
$\tilde{r}$
as large as
$30$
, giving very sharp contributions near the poles, making brute force methods based on adaptive grid refinement very slow to converge. The chosen method was to calculate the positions of the poles before integrating, then precalculate an integration grid with much finer resolution near poles, whereupon integration was performed without further grid refinement. This method was able to speed up the integration by two orders of magnitude, at the expense of not knowing the exact integration accuracy, which was no problem in our case since both the far-field and near-field solutions could be calculated arbitrarily accurately, providing a benchmark and convergence check such as that shown in figure 5.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary-alt:20190227184507-96140-mediumThumb-S0022112016002937_fig6g.jpg?pub-status=live)
Figure 6. Relief plots of the typical subresonant wave field in the
$\tilde{x},{\tilde{y}}$
plane from an oscillating source with
$F^{2}=1,h=4$
and
${\it\sigma}=0.2,0.5$
and
$0.8$
(a–c, d–f, g–i) at time
$T=0.3$
. (a,d,g) Far-field solution for only the regular wave. (b,e,h) Far-field solution for only the critical wave. (c,f,i) Full solution calculated from (4.16) with
${\it\epsilon}=0.001$
. The colour scaling is the same within each row. For (a–c), the amplitude of the critical wave is so small as to be invisible.
5.3 Deep or shallow water?
The terms ‘deep’ or ‘shallow’ water in relation to surface waves are determined by the ratio of wavelength to water depth. While our dimensionless units were found to produce the best set of parameters (
$F^{2},h,{\it\sigma}$
) to characterise the wave field in different situations, they somewhat disguise the effect of water depth since
$h$
is a measure of how close the source is to the surface or bottom, and bears no relation to the wavelength.
Our subresonant far-field considerations reveal, however, that no single parameter on its own can hope to determine whether the system is ‘shallow’ or ‘deep’, simply because the critical waves and regular waves can have very different wavelengths. The criterion for a wave
$\boldsymbol{q}$
to be of ‘deep water’ kind is that
$qh\gg 1$
. Now, as we have seen, regular waves in deep water have wavenumbers of approximately
$F^{2}(1+{\it\sigma}\cos {\it\theta})$
(but see the discussion of ‘cutoff’ above, for the case when
$1+{\it\sigma}\cos {\it\theta}<0$
), hence the criterion for regular waves to be ‘deep’, at least in some directions, is that
$F^{2}(1+{\it\sigma})h\gg 1$
. On the other hand, the dimensionless wavenumber of the critical wave is
$1/{\it\sigma}$
directly downstream, so the criterion that the critical wave is ‘deep water’ is that
$h\gg {\it\sigma}$
. Often, the critical wave will be ‘deep water’ in the subresonant regime even though the regular wave might be affected by the presence of finite depth.
5.4 Asymptotic critical wave
A case that is particularly suited for asymptotic analysis is when the shear is relatively weak or the frequency is high, so that we may assume
${\it\sigma}\ll 1$
. With this assumption, the factor
$\exp (-1/{\it\sigma}\cos {\it\theta})$
in the integrand of the critical wave term of (5.10) means that only angles
${\it\theta}$
close to
${\it\theta}={\rm\pi}$
will contribute since the exponential is otherwise very small. We let
${\it\beta}={\it\theta}-{\rm\pi}$
and approximate the integral using Laplace’s method (Bender & Orszag Reference Bender and Orszag1991, §6.4) by expanding the exponent around
${\it\beta}=0$
and taking
${\it\beta}=0$
elsewhere. Using
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn57.gif?pub-status=live)
the critical layer term is approximately
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn58.gif?pub-status=live)
when
${\it\sigma}\ll 1$
, where
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn59.gif?pub-status=live)
We see that the surface elevation from the critical layer is restricted to a thin area close to the
$\tilde{x}$
axis downstream of the wave of constant thickness
${\sim}\sqrt{{\it\sigma}}$
, falling off away from the axis in a Gaussian manner. In the absence of dissipation, it does not decay away from the source, as is required by energy conservation in linear theory, since the critical wave does not spread but travels downstream atop a row of vortices.
Although we assumed
${\it\sigma}$
small, (5.14) is in fact a fair representation of the critical wave in subresonant cases for
${\it\sigma}\lesssim 0.4$
. In any case, the critical wave always has the simple form
$\tilde{{\it\zeta}}_{f.f.,c}\sim f({\tilde{y}})\exp (-\text{i}T-\text{i}\tilde{x}/{\it\sigma})$
, where the function
$f({\tilde{y}})$
is an integral that is simple to evaluate numerically,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn60.gif?pub-status=live)
when
$|\tilde{x}|\gg {\tilde{y}}$
(i.e.
${\it\phi}\approx {\rm\pi}$
). The amplitude function
$f({\tilde{y}})$
for the four cases shown in figure 7 is shown in figure 8. The distribution has an approximately Gaussian shape with half-width
${\sim}\sqrt{{\it\sigma}}$
when
${\it\sigma}\lesssim 1$
, but becomes distinctly non-Gaussian when
${\it\sigma}>1$
.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_fig7g.gif?pub-status=live)
Figure 7. Relief plots of a subresonant critical wave in the
$\tilde{x},{\tilde{y}}$
plane for increasing values of
${\it\sigma}$
:
${\it\sigma}=0.2$
(a), 0.5 (b), 0.8 (c), 1.5 (d). In all graphs,
$F^{2}=1,h=4$
. The colours are scaled individually in each panel and do not reflect relative amplitudes, which depend strongly on
${\it\sigma}$
.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_fig8g.gif?pub-status=live)
Figure 8. The asymptotic amplitude function
$f({\tilde{y}})$
for the critical waves shown in figure 7.
The phase velocity of the critical wave in dimensional units is easily found to be
$SD$
, meaning that the critical ‘wave’ is in fact the surface manifestation of an underwater row of flow structures which are convected with the mean flow, in the same way as found in the 2D case. Also similar to the 2D case, the amplitude of the critical wave diverges when
${\it\Gamma}(1/{\it\sigma},{\rm\pi})\rightarrow 0$
, in accordance with the resonance criterion of (5.6).
5.5 Asymptotic regular wave
The regular wave far-field expression, the first term of (5.10), may be approximated further for large
$\tilde{r}$
by use of the stationary phase approximation. At large
$\tilde{r}$
, the integrand generally oscillates rapidly as
$\exp (\text{i}\tilde{r}{\it\varphi}({\it\theta}))$
, where the exponent function is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn61.gif?pub-status=live)
At large distances, the integral will be dominated by the value of
${\it\theta}$
where
${\it\varphi}^{\prime }({\it\theta})=0$
, i.e. a stationary point. Let the stationary point be called
${\it\theta}_{s}$
. It is not possible to find explicit solutions for
${\it\theta}_{s}$
, but it may be defined implicitly and solved numerically.
Using the stationary phase approximation (Bender & Orszag Reference Bender and Orszag1991), the regular far-field integral becomes, to leading order in
$1/\tilde{r}$
,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn62.gif?pub-status=live)
where we use the shorthand
$q_{0s}=q_{0}({\it\theta}_{s})$
(note that
${\it\Gamma}(q,{\it\theta})$
is a function of both
$q$
and
${\it\theta}$
while
${\it\Gamma}^{\prime }(q)$
is a function of
$q$
only).
It is worth noting before proceeding how the critical wave affects the amplitude of the regular wave indirectly, through the last term in the brackets in (5.18). In the 2D case (E&T), the corresponding term was responsible for the regular wave being different in amplitude from that predicted by potential theory, sometimes radically so. In three dimensions, no potential theory exists of course, but at least in the subresonant regime it is still meaningful to consider this term as the amplitude correction to the regular wave stemming from the fact that part of the mass flux from the source must go into the critical wave.
To calculate this asymptotic wave, we must find
${\it\theta}_{s}$
and
$q_{0s}$
by solving a combined system of equations: the dispersion relation (4.15) and
${\it\varphi}^{\prime }({\it\theta}_{s})=0$
, which read respectively
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn63.gif?pub-status=live)
We require the following relations, obtained by noting that
$q_{0}$
satisfies
${\it\Gamma}(q_{0},{\it\theta})=0$
:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn64.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn65.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn66.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn67.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn68.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn69.gif?pub-status=live)
In deep water, the calculation is significantly simpler; the asymptotic regular wave now reads
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn70.gif?pub-status=live)
with
$q_{0s}=F^{2}(1+{\it\sigma}\cos {\it\theta}_{s})$
, and where
${\it\theta}_{s}$
solves
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn71.gif?pub-status=live)
In fact, an explicit solution to this equation exists, but it is sufficiently complicated that numerical evaluation was found to be preferable. Moreover, the evaluation of
${\it\varphi}^{\prime \prime }(q_{0})$
is now simple, with
$q_{0}^{\prime }({\it\theta})=-{\it\sigma}F^{2}\sin {\it\theta}$
and
$q_{0}^{\prime \prime }({\it\theta})=-{\it\sigma}F^{2}\cos {\it\theta}$
.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_fig9g.gif?pub-status=live)
Figure 9. Relief plots of the wave field
$\tilde{{\it\zeta}}(\tilde{x},{\tilde{y}})$
for increasing values of
$F^{2}$
from subresonant to super-resonant:
$F^{2}=1$
(a), 2 (b), 3 (c), 4 (d), 5 (e), 6 (f). In all graphs,
${\it\sigma}=0.5,h=4,{\it\epsilon}=0.01$
and
$T=0.3$
. The colour range is from
$-0.2$
(black) to
$0.2$
(white).
5.6 Resonant case
The qualitative behaviour of the waves as
$F^{2}$
is brought from subresonant to super-resonant may be seen from figure 9, here for a moderate value of the shear,
${\it\sigma}=0.5$
, and essentially deep water,
$h=4$
. The value of
$F_{res}^{2}$
is
$3.9999982$
, so the case
$F^{2}=4.0$
illustrates the resonating frequency. At low values of
$F^{2}$
, the regular propagating waves dominate, with the critical wave only a minor correction. As
$F^{2}$
increases, the regular wave rapidly disappears, as may understood by regarding the asymptotic deep-water far-field expression, (5.21), where we see the amplitude of the regular waves decreasing as
$\exp (-q_{0})$
. Since
$q_{0}\propto F^{2}$
in deep water, it is clear that the critical wave must dominate as
$F^{2}$
grows larger, because
$q_{c}$
is independent of
$F^{2}$
and no corresponding exponential decrease is found for the critical wave. Near
${\it\phi}={\rm\pi}$
, however, the regular waves do not vanish, because regular waves of wavelength close to the wavelength of the critical wave are amplified. Within a wedge around
${\it\phi}={\rm\pi}$
, also the regular waves continue to grow when resonance is approached, interfering strongly with the critical wave. At
${\it\phi}={\rm\pi}$
, thus, the behaviour is similar to that obtained in two dimensions; the regular and critical waves each diverge in amplitude as
$F^{2}\rightarrow F_{res}^{2}$
, but the combined wave increases linearly in amplitude as a function of
$|x|$
downstream. This is shown in figure 10.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_fig10g.gif?pub-status=live)
Figure 10. (a) Plots of
$\tilde{{\it\zeta}}(\tilde{x},{\tilde{y}}=0)$
showing the transition from sub- to super-resonant for
${\it\sigma}=0.5,h=4$
. (b–f) Relief plots which show
$\tilde{{\it\zeta}}_{f.f.}(\tilde{x},{\tilde{y}})$
for
$F^{2}$
close to the resonant value (we choose
$F^{2}=F_{res}^{2}-0.1$
) to illustrate the behaviour at resonance:
${\it\sigma}=0.3$
(b), 0.5 (c), 0.6 (d), 0.8 (e), 1.2 (f). According to (5.6) with
$h=4$
, the Froude number is
$F^{2}=4.66$
for
${\it\sigma}=0.3$
, and
$F^{2}=3.9$
for the remaining relief plots. We have
$T=0.3$
everywhere.
The wave pattern at (or close to) resonance is mainly found downstream. Its appearance is that of the critical wave, with regular wave ‘fringes’. The combined wave near resonance moreover increases linearly in width downstream, covering a constant angle. At the centre of the wedge, the typical critical wave pattern is found, with regular waves outside it producing a herringbone pattern. The waves are contained within a wedge angle that depends on
${\it\sigma}$
.
When the Froude number increases beyond
$F_{res}^{2}$
, wave amplitudes no longer grow indefinitely in the downstream direction, but are modulated in the manner typical of interfering waves with similar but unequal wavelength. The pattern remains within a downstream wedge, and distinct contributions from regular and critical waves once again become visible, although the formal splitting into a two-component far field is no longer possible in the manner of § 5.2.
6 Some notes on the velocity field
We provide here the formulae for the velocity field, although a detailed analysis of the velocity field as a function of coordinates as well as parameters
${\it\sigma},F^{2}$
and
$h$
is a major undertaking which we largely leave for a later investigation.
We found the vertical velocity component in § 3 as
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn72.gif?pub-status=live)
with
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn73.gif?pub-status=live)
where
${\it\Gamma}(\boldsymbol{q})=q-F^{2}(\coth qh+{\it\sigma}\cos {\it\theta})$
as before. We note the correspondence with Section 6 of E&T. Elimination of the pressure from (2.11b
) and (2.11c
) gives
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn74.gif?pub-status=live)
The homogeneous solution of this equation,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn75.gif?pub-status=live)
can only agree with the dynamic boundary condition (2.5b
) if
$C=0$
. The solution is thus the particular solution only, given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn76.gif?pub-status=live)
Use of the continuity equation (2.9) then gives
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170718134350086-0342:S0022112016002937:S0022112016002937_eqn77.gif?pub-status=live)
A noteworthy difference from the 2D case (E&T) is that the expressions for
$u$
and
$v$
have two distinct poles, each corresponding to critical layer-type solutions. Inspection of (6.5) and (6.6) reveals that, in addition to the poles for the regular wave where
${\it\Gamma}(\boldsymbol{q})=0$
, there are critical layer-type poles both at
$q=q_{c}({\it\theta})$
and at
$q=1/({\it\sigma}\cos {\it\theta}\tilde{z})=q_{c}/|\tilde{z}|$
.
The wavenumber
$q_{c}$
was discussed above, and at length in the 2D case in E&T. It is the wavenumber associated with the string of vortical flow structures generated as the source injects additional vorticity into the flow as discussed in § 2.1. These vortices have spatial periodicity (‘wavelength’)
$2{\rm\pi}/q_{c}$
in dimensionless units.
On the other hand,
$q=q_{c}/|\tilde{z}|$
, or in dimensional terms
${\it\omega}/k\cos {\it\theta}=U(z)$
, describes a ‘wave’ moving downstream instead at the same velocity as the flow at depth
$\tilde{z}$
, and is caused instead by flow structures at that level. Like the critical wave, this ‘wave’ (visible only in horizontal velocity components) is also only present downstream of the source. Thus, unlike the vertical velocity
$w$
, the horizontal velocity components are affected in the far field by drifting flow structures from the source not only at the single depth
$\tilde{z}=-1$
but at all depths. A careful study of the resulting velocity field as well as the vorticity transport from the source into the critical layer is likely to reveal interesting and novel insights, but is a major undertaking beyond the scope of the present paper.
7 Summary and conclusions
The oscillating point source in a shear flow of uniform vorticity
$S$
with a free surface is analysed analytically in the framework of the Euler equation, linearised with respect to perturbation quantities. The analysis is thus a natural extension of the corresponding effort in two dimensions by Ellingsen & Tyvand (Reference Ellingsen and Tyvand2016) (shorthand E&T). The submergence depth of the source is
$D$
, the constant water depth is
$H$
and the oscillation frequency is
${\it\omega}$
. The terms ‘upstream’ and ‘downstream’ are as seen from a system where the source and undisturbed surface are at rest.
The wave field due to the oscillating source is characterised by contributions from two distinct types of waves: the regular propagating dispersive waves which satisfy the dispersion relation in the presence of a shear current and a set of waves resulting from the formation of a critical layer-like subsurface flow below the surface which is advected downstream of the source. The latter ‘critical wave’ typically has the form of a narrow train of waves of constant width and wavelength which remains unchanged in shape and amplitude as it is swept downstream with the background flow. In the 2D case, it was straightforward to show that the critical layer corresponded to vortical flow structures akin to Kelvin’s cat’s eye vortices, centred at the depth of the source. A full analysis of the velocity field in the 3D case is more involved and will be considered in a future paper. However, inspection of the vorticity equation reveals that exactly the same mechanism is at play in the 3D flow as was analysed at length in E&T. The resulting thin line of undulating vorticity directly downstream of the source is quite distinct from the vorticity perturbations always present in 3D shear flow whenever waves propagate at oblique angles with the shear flow, and shift and twist the background vortex lines they pass (Ellingsen Reference Ellingsen2016). In the present system, both vorticity perturbations are present.
In similar manner to the 2D case considered in E&T, a cutoff of regular waves in some downstream directions occurs in the limit of deep water when the shear
$S$
exceeds
${\it\omega}$
. In two dimensions the result was that the downstream regular wave disappears, whereas in the 3D case all regular waves vanish for propagation directions inside a ‘forbidden’ sector of propagation angles in downstream directions. When
$S/{\it\omega}\rightarrow \infty$
, the width of the forbidden sector approaches
${\rm\pi}$
, covering all directions with a downstream component. When the water depth is finite, regular waves may propagate in all directions, and for large but finite depth, the ‘forbidden’ sector is instead characterised by regular waves of long wavelengths and small amplitudes.
We define three non-dimensional parameters to characterise the flow: the relative depth
$h=H/D$
, the dimensionless shear
${\it\sigma}=S/{\it\omega}$
and the (squared) Froude number
$F^{2}={\it\omega}^{2}D/g$
. At a particular resonant value
$F_{res}^{2}({\it\sigma},h)$
of the Froude number, the downstream regular and critical waves resonate. A clear distinction between regular waves and critical waves can only be made at subresonant Froude numbers, and we provide asymptotic expressions for the far-field wave patterns in the subresonant case. As
$F^{2}$
approaches the resonant value, resonance results in a wave field that grows linearly with distance from the source and that is contained within a downstream wedge symmetrical about
$y=0$
.
Supplementary Movies
Supplementary Movies is available at http://dx.doi.org/10.1017/jfm.2016.293.