Chapter 3

Surface gravity waves

Probably the most familiar form of wave motion with which we have extensive experience is surface gravity waves. This class of waves includes most of the waves which occur on the interface between the atmosphere and a body of water, be it the ocean, a lake or a puddle. The restoring force which makes such waves possible is gravity β€” hence the name.

Homogeneous medium

Let us consider an inviscid, incompressible, homogeneous fluid bounded by a free surface near z=0z=0 and a flat bottom boundary at z=βˆ’Dz=-D.

image
Figure 3.1

Because the fluid is inviscid Duβ†’Dt=βˆ’βˆ‡p/Οβˆ’gkΜ‚.\frac{D\vec u}{Dt}=-\nabla p/\rho-g\hat k. If the vorticity is defined as Ο‰β†’=βˆ‡Γ—uβ†’\vec\omega=\nabla\times\vec u then we may take the curl (βˆ‡Γ—\nabla\times) of the momentum equations to obtain DΟ‰β†’Dt=(Ο‰β†’β‹…βˆ‡)uβ†’.\frac{D\vec\omega}{Dt}=(\vec\omega\cdot\nabla)\vec u. In this form, we see that if initially Ο‰β†’(xβ†’,0)=0\vec\omega(\vec x,0)=0 everywhere, then Ο‰β†’(xβ†’,t)=0\vec\omega(\vec x,t)=0 forever. We therefore suppose that the motions we consider are generated without making Ο‰β†’\vec\omega nonzero, so that βˆ‡Γ—uβ†’=0\nabla\times\vec u=0. This being the case, we can define a velocity potential by uβ†’(xβ†’,t)=βˆ‡Ο•(xβ†’,t).\vec u(\vec x,t)=\nabla\phi(\vec x,t). Since the fluid is incompressible, βˆ‡β‹…uβ†’=0\nabla\cdot\vec u=0, so βˆ‡2Ο•=0.\nabla^2\phi=0.

The boundary conditions are derived as follows. At the bottom, z=βˆ’Dz=-D, we require that w=0w=0, i.e. Ο•z=0atz=βˆ’D.\phi_z=0\qquad\text{at}\qquad z=-D. The free surface is made up of fluid parcels (i.e., points that move with the fluid velocity field, β€˜lumps’ of the continuum but not necessarily or probably molecules)

which never leave the interface. Consider one such parcel. It moves vertically (i) if the interface rises or falls, or (ii) if the fluid flows horizontally under the sloping interface. If we let z=Ξ·(x,y,t)z=\eta(x,y,t) be the interface, then w[x,y,Ξ·(x,y,t),t]=Ξ·t+uΞ·x+vΞ·yatz=Ξ·.w[x,y,\eta(x,y,t),t]=\eta_t+u\eta_x+v\eta_y \qquad\text{at}\qquad z=\eta. This is really just a restatement of DΞ·/Dt=wD\eta/Dt=w. In terms of Ο•\phi, this says Ξ·t+Ο•xΞ·x+Ο•yΞ·y=Ο•zatz=Ξ·.\eta_t+\phi_x\eta_x+\phi_y\eta_y=\phi_z \qquad\text{at}\qquad z=\eta. This is nothing more than a kinematic condition which simply says what we mean by calling z=Ξ·z=\eta an interface.

The interface is massless. In the absence of surface tension, therefore, it supports no pressure differences across it. The appropriate dynamical boundary condition is p(x,y,Ξ·,t)=patmosphere.p(x,y,\eta,t)=p_{\mathrm{atmosphere}}. To write this in terms of Ο•,Ξ·\phi,\eta return to uβ†’t+(uβ†’β‹…βˆ‡)uβ†’=βˆ’βˆ‡p/Οβˆ’gkΜ‚.\vec u_t+(\vec u\cdot\nabla)\vec u=-\nabla p/\rho-g\hat k. Using the identity (uβ†’β‹…βˆ‡)uβ†’=(βˆ‡Γ—uβ†’)Γ—uβ†’+βˆ‡(uβ†’β‹…uβ†’/2)(\vec u\cdot\nabla)\vec u=(\nabla\times\vec u)\times\vec u +\nabla(\vec u\cdot\vec u/2) we can rewrite this (exactly) as uβ†’t+Ο‰β†’Γ—uβ†’=βˆ’βˆ‡p/Οβˆ’βˆ‡(uβ†’β‹…uβ†’/2)βˆ’βˆ‡gz.\vec u_t+\vec\omega\times\vec u=-\nabla p/\rho -\nabla(\vec u\cdot\vec u/2)-\nabla gz. Now if Ο‰β†’=0\vec\omega=0 so that uβ†’=βˆ‡Ο•\vec u=\nabla\phi, then this becomes βˆ‡(Ο•t+p/ρ+12|βˆ‡Ο•|2+gz)=0\nabla\left(\phi_t+p/\rho+\frac12|\nabla\phi|^2+gz\right)=0 Ο•t+p/ρ+gz+12|βˆ‡Ο•|2=f(t).\phi_t+p/\rho+gz+\frac12|\nabla\phi|^2=f(t).

which is the Bernoulli integral. We apply this at z=Ξ·z=\eta to find Ο•t+12|βˆ‡Ο•|2+gΞ·=f(t)βˆ’patm/ρ.\phi_t+\frac12|\nabla\phi|^2+g\eta=f(t)-p_{atm}/\rho. The function f(t)f(t) may be chosen to cancel the space independent part of patm(x,y,t)p_{atm}(x,y,t). We may as well do this since f(t)f(t) only adds a space independent part to Ο•\phi. For constant (i.e., spatially non-varying) patmp_{atm}, we then have Ο•t+12|βˆ‡Ο•|2+gΞ·=0atz=Ξ·.\phi_t+\frac12|\nabla\phi|^2+g\eta=0 \qquad\text{at}\qquad z=\eta. Notice how a specified patm(x,y,t)p_{atm}(x,y,t) would enter the problem through this boundary condition.

The full problem is Ξ·t+Ο•xΞ·x+Ο•yΞ·y=Ο•zat z=Ξ·,Ο•t+12|βˆ‡Ο•|2+gΞ·=0at z=Ξ·,βˆ‡2Ο•=0,Ο•z=0at z=βˆ’D.\begin{aligned}\eta_t+\phi_x\eta_x+\phi_y\eta_y&=\phi_z &&\text{at }z=\eta,\\ \phi_t+\frac12|\nabla\phi|^2+g\eta&=0 &&\text{at }z=\eta,\\ \nabla^2\phi&=0,\\ \phi_z&=0 &&\text{at }z=-D.\end{aligned}

(3.1)

Linear solutions

To get some idea of possible solutions, we will linearize and solve in one horizontal dimension. For now we just drop the nonlinear terms. We will check a posteriori that they are small compared with the linear terms. The linearized problem is Ξ·t=Ο•zatz=0\eta_t=\phi_z\qquad\text{at}\qquad z=0 Ο•t+gΞ·=0atz=0\phi_t+g\eta=0\qquad\text{at}\qquad z=0

βˆ‡2Ο•=0\nabla^2\phi=0 Ο•z=0atz=βˆ’D.\phi_z=0\qquad\text{at}\qquad z=-D. Notice that the surface conditions have been applied at z=0z=0. We seek plane wave solutions Ξ·=aeβˆ’iΟƒt+ikx\eta=ae^{-i\sigma t+ikx} and Ο•=Aeβˆ’iΟƒt+ikxZ(z)\phi=Ae^{-i\sigma t+ikx}Z(z). The interior equation gives βˆ’k2Z+Zzz=0-k^2Z+Z_{zz}=0 which has the solutions Z(z)=eΒ±kzZ(z)=e^{\pm kz}. The linear combination of these that satisfies the bottom boundary condition is Z(z)=coshk(z+D)Z(z)=\cosh k(z+D). The free surface conditions may be combined into Ο•tt+gΟ•z=0atz=0.\phi_{tt}+g\phi_z=0\qquad\text{at}\qquad z=0. The solution Ο•=Aeβˆ’iΟƒt+ikxcoshk(z+D)\phi=Ae^{-i\sigma t+ikx}\cosh k(z+D) satisfies this provided Οƒ2=gktanhkD\sigma^2=gk\tanh kD

(3.2)

which is the dispersion relation.

image
Figure 3.2

Finally Ξ·t=Ο•z\eta_t=\phi_z and Ο•t+gΞ·=0\phi_t+g\eta=0 say that if Ξ·=aeβˆ’iΟƒt+ikx\eta=ae^{-i\sigma t+ikx}, then A=βˆ’iaΟƒ/(ksinhkD)=βˆ’iag/(ΟƒcoshkD).A=-ia\sigma/(k\sinh kD)=-iag/(\sigma\cosh kD). These are the plane wave solutions. They are dispersive and the same wavelength can propagate in either the +x+x or the βˆ’x-x direction.

For completeness, we take the real parts Ξ·=acos⁑(kxβˆ’Οƒt),Ο•=aΟƒksinh⁑kDcosh⁑k(z+D)sin⁑(kxβˆ’Οƒt),u=Ο•x=aΟƒsinh⁑kDcosh⁑k(z+D)cos⁑(kxβˆ’Οƒt),w=Ο•z=aΟƒsinh⁑kDsinh⁑k(z+D)sin⁑(kxβˆ’Οƒt),p=βˆ’Οgz+ρσ2aksinh⁑kDcosh⁑k(z+D)cos⁑(kxβˆ’Οƒt),Οƒ2=gktanh⁑kD.\begin{aligned} \eta & =a\cos(kx-\sigma t), \\ \phi & =\frac{a\sigma}{k\sinh kD}\cosh k(z+D)\sin(kx-\sigma t), \\ u & =\phi_x=\frac{a\sigma}{\sinh kD}\cosh k(z+D)\cos(kx-\sigma t), \\ w & =\phi_z=\frac{a\sigma}{\sinh kD}\sinh k(z+D)\sin(kx-\sigma t), \\ p & =-\rho gz+\frac{\rho\sigma^2a}{k\sinh kD}\cosh k(z+D)\cos(kx-\sigma t), \\ \sigma^2 & =gk\tanh kD. \end{aligned} Notice that Ξ·,u,p\eta,u,p are in phase and that pp is not hydrostatic.

The above derivation is valid for waves of any wavelength and for fluid of any depth. However, the case of deep water waves for which the depth of the fluid is much greater than the wavelength of the wave, kDβ†’βˆžkD\to\infty, may be more appropriate to some waves in the deep ocean. In this limit, the plane wave solutions become Ξ·=acos⁑(kxβˆ’Οƒt),Ο•=aΟƒkekzsin⁑(kxβˆ’Οƒt),Οƒ2=gk.\begin{aligned} \eta & =a\cos(kx-\sigma t), \\ \phi & =\frac{a\sigma}{k}e^{kz}\sin(kx-\sigma t), \\ \sigma^2 & =gk. \end{aligned}

Internal waves

The interface between the atmosphere and a body of water is not the only interface which can support gravity waves. In fact, any interface separating two fluids can support gravity waves. Consider the interface between two semi-infinite fluids of different densities. We have

image
Figure 3.3

At the interface z=0z=0 Ξ·t=Ο•1z;Ξ·t=Ο•2z\eta_t=\phi_{1z}\ ;\qquad \eta_t=\phi_{2z} ρ1(Ο•1t+gΞ·)=ρ2(Ο•2t+gΞ·).\rho_1(\phi_{1t}+g\eta)=\rho_2(\phi_{2t}+g\eta). We can satisfy these equations and the finiteness of the solution as zβ†’Β±βˆžz\to\pm\infty by taking Ο•1=A1eβˆ’iΟƒt+ikxβˆ’kz,Ο•2=A2eβˆ’iΟƒt+ikx+kz,Ξ·=aeβˆ’iΟƒt+ikx.\begin{aligned} \phi_1 & =A_1e^{-i\sigma t+ikx-kz}, \\ \phi_2 & =A_2e^{-i\sigma t+ikx+kz}, \\ \eta & =ae^{-i\sigma t+ikx}. \end{aligned} The three interface conditions become βˆ’iΟƒa=βˆ’kA1;βˆ’iΟƒa=kA2;ρ1(βˆ’iΟƒA1+ga)=ρ2(βˆ’iΟƒA2+ga)-i\sigma a=-kA_1\ ;\qquad -i\sigma a=kA_2\ ;\qquad \rho_1(-i\sigma A_1+ga)=\rho_2(-i\sigma A_2+ga) which yields A1=iaΟƒ/k;A2=βˆ’iaΟƒ/k;ρ1(Οƒ2/k+g)=ρ2(βˆ’Οƒ2/k+g).A_1=i a\sigma/k\ ;\qquad A_2=-i a\sigma/k\ ;\qquad \rho_1(\sigma^2/k+g)=\rho_2(-\sigma^2/k+g). The latter may be rewritten Οƒ2=gkρ2βˆ’Ο1ρ2+ρ1.\sigma^2=gk\frac{\rho_2-\rho_1}{\rho_2+\rho_1}.

(3.3)

Note that if ρ1=0\rho_1=0, then we recover the deep water dispersion relation of the previous section, Οƒ2=gk\sigma^2=gk.

For general ρ1<ρ2\rho_1<\rho_2, the quantity g(ρ2βˆ’Ο1)/(ρ2+ρ1)g(\rho_2-\rho_1)/(\rho_2+\rho_1) can be regarded as a reduced gravity, typically denoted by gβ€²g'. In the ocean, gβ€²βˆΌO(10βˆ’3)gg'\sim O(10^{-3})g. These interfacial waves are called internal waves, and from Οƒ2=gβ€²k\sigma^2=g'k we see that they move much more slowly than surface waves. We will spend several future lectures examining internal waves in much greater detail.

Note also that if ρ1>ρ2\rho_1>\rho_2, then Οƒ2<0\sigma^2<0 so that Οƒ\sigma is imaginary. Now eβˆ’iΟƒte^{-i\sigma t} represents exponential growth or decay in time. This corresponds to gravitational instability of the interface because heavier fluid overlays lighter fluid.

Qualitative retreatment of surface waves

Let’s redo the problem of surface gravity waves to bring out a few points.

a) The full momentum equations are Duβ†’/Dt=βˆ’βˆ‡p*/Οβˆ’gkΜ‚D\vec u/Dt=-\nabla p^*/\rho-g\hat k. Separate p*p^* as p*=p0(z)+p(xβ†’,t)p^*=p_0(z)+p(\vec x,t) where p0p_0 is the hydrostatic part of the pressure which satisfies 0=βˆ’p0z/Οβˆ’g0=-p_{0z}/\rho-g and pp is a small perturbation from p0p_0. The linearized momentum equations become (in one horizontal dimension) ut=βˆ’px/ρ;wt=βˆ’pz/ρ;ux+wz=0.u_t=-p_x/\rho\ ;\qquad w_t=-p_z/\rho\ ;\qquad u_x+w_z=0. At the bottom w=0w=0, i.e., pz=0p_z=0 at z=βˆ’Dz=-D. At the surface, Dp*/Dt=0Dp^*/Dt=0 at z=Ξ·z=\eta, for which the linearization is pt+wp0z=0p_t+wp_{0z}=0 at z=0z=0. Using the definition for the hydrostatic pressure, this becomes ptβˆ’gρw=0p_t-g\rho w=0 at z=0z=0, or using the vertical momentum equation, ptt+gpz=0p_{tt}+gp_z=0 at z=0z=0. Now compare these with the results of the previous linearization:

ut=βˆ’px/ρu_t=-p_x/\rho u=Ο•xu=\phi_x
wt=βˆ’pz/ρw_t=-p_z/\rho w=Ο•zw=\phi_z
ux+wz=0β‡’βˆ‡2p=0u_x+w_z=0\Rightarrow\nabla^2p=0 βˆ‡2Ο•=0\nabla^2\phi=0
ptt+gpz=0p_{tt}+gp_z=0 at z=0z=0 Ο•tt+gΟ•z=0\phi_{tt}+g\phi_z=0 at z=0z=0
pz=0p_z=0 at z=βˆ’Dz=-D Ο•z=0\phi_z=0 at z=βˆ’Dz=-D

We see that, in this linearized problem, p=βˆ’ΟΟ•tp=-\rho\phi_t which could also have been obtained from the Bernoulli equation.

b) When is the linearization valid? To answer this, consider the surface condition Ο•t+gΞ·+12|βˆ‡Ο•|2=0\phi_t+g\eta+\frac12|\nabla\phi|^2=0 at z=Ξ·z=\eta. The linearization is Ο•t+gΞ·=0\phi_t+g\eta=0 at z=0z=0. Now Ο•t|z=Ξ·=Ο•t|z=0+Ξ·Ο•tz|z=0+β‹―\left.\phi_t\right|_{z=\eta} =\left.\phi_t\right|_{z=0}+\left.\eta\phi_{tz}\right|_{z=0}+\cdots =[βˆ’iΟƒA+a(βˆ’iΟƒkA)eβˆ’iΟƒt+ikx]eβˆ’iΟƒt+ikx+β‹―=\left[-i\sigma A+a(-i\sigma kA)e^{-i\sigma t+ikx}\right]e^{-i\sigma t+ikx}+\cdots where we have used Ο•=Aeβˆ’iΟƒt+ikx+kz\phi=Ae^{-i\sigma t+ikx+kz} which is appropriate for deep water waves. So we see that Ξ·Ο•tzβ‰ͺΟ•t\eta\phi_{tz}\ll\phi_t provided βˆ’iΟƒkAaβ‰ͺβˆ’iΟƒA-i\sigma kAa\ll-i\sigma A. That is, provided that akβ‰ͺ1ak\ll1. This means that the linearization is valid for waves which have a gentle slope. Evidently deep water waves are the beginning of an expansion in (ak)(ak) of solutions to the full equations. We will return to a more formal expansion of the equations shortly.

c) The foregoing linearization yielded ut=βˆ’px*/ρ;wt=βˆ’pz*/Οβˆ’g;ux+wz=0.u_t=-p_x^*/\rho\ ;\qquad w_t=-p_z^*/\rho-g\ ;\qquad u_x+w_z=0. Suppose the wavelength Ξ»\lambda of the wave is much longer than the water depth DD. Then ux+wz=0u_x+w_z=0 becomes, in order of magnitude, u/Ξ»=w/Du/\lambda=w/D or w=uD/Ξ»w=uD/\lambda. If D/Ξ»β†’0D/\lambda\to0, then wβ†’0w\to0 and the pressure becomes entirely hydrostatic, 0=βˆ’pz*/Οβˆ’g0=-p_z^*/\rho-g. Hence p*=gρ(Ξ·βˆ’z)p^*=g\rho(\eta-z) which leads to the new linearized momentum equation of ut=βˆ’gΞ·x.u_t=-g\eta_x. Notice that this implies uu is a function of xx and tt but not a function of zz since Ξ·=Ξ·(x,t)\eta=\eta(x,t).

Now, from continuity and uβ‰ u(z)u\ne u(z), βˆ«βˆ’DΞ·(wz+ux)dz=0\int_{-D}^{\eta}(w_z+u_x)\,dz=0 Ξ·t+uΞ·x+βˆ«βˆ’DΞ·uxdz=0\eta_t+u\eta_x+\int_{-D}^{\eta}u_x\,dz=0 Ξ·t+[u(Ξ·+D)]x=0.\eta_t+[u(\eta+D)]_x=0. Linearization of this (Ξ·β‰ͺD\eta\ll D) yields Ξ·t+Dux=0\eta_t+Du_x=0 which, along with the new momentum equation above, are the linearized shallow water equations, so called because Dβ‰ͺΞ»D\ll\lambda. Eliminating uu between them yields Ξ·ttβˆ’gDΞ·xx=0\eta_{tt}-gD\eta_{xx}=0 which is simply a one-dimensional wave equation with c=(gD)1/2c=(gD)^{1/2}. From this, if Ξ·=aeβˆ’iΟƒt+ikx\eta=ae^{-i\sigma t+ikx}, then Οƒ/k=Β±(gD)1/2\sigma/k=\pm(gD)^{1/2} and u=gakΟƒeβˆ’iΟƒt+ikx,w=βˆ’igak2Οƒ(z+D)eβˆ’iΟƒt+ikx,p*=gρ(Ξ·βˆ’z).\begin{aligned} u & =\frac{gak}{\sigma}e^{-i\sigma t+ikx}, \\ w & =\frac{-igak^2}{\sigma}(z+D)e^{-i\sigma t+ikx}, \\ p^* & =g\rho(\eta-z). \end{aligned} Note that wβ‰ 0w\ne0, but rather wβ‰ͺuw\ll u, and we will see shortly that ww enters the solution at second order.

Careful retreatment of surface waves

The last sections have shown that the waves are very different depending on whether the wavelength is much greater or much less than the depth. A more systematic

treatment returns to the full problem Ο•t+gΞ·+12(Ο•x2+Ο•y2+Ο•z2)=0at z=Ξ·,Ξ·t+(Ο•xΞ·x+Ο•yΞ·y)=Ο•zat z=Ξ·,βˆ‡2Ο•=0,Ο•z=0at z=βˆ’D.\begin{aligned} \phi_t+g\eta+\frac12(\phi_x^2+\phi_y^2+\phi_z^2) & =0 & & \text{at }z=\eta, \\ \eta_t+(\phi_x\eta_x+\phi_y\eta_y) & =\phi_z & & \text{at }z=\eta, \\ \nabla^2\phi & =0, \\ \phi_z & =0 & & \text{at }z=-D. \end{aligned} Introduce the following scaling dimensionaldimensionless(x,y)=(x,y)L,z=zD,t=tL/(gD)1/2,Ξ·=Ξ·a,Ο•=Ο•gaL/(gD)1/2(from Ο•t+gη≃0).\begin{array}{ccl} \text{dimensional} & & \text{dimensionless} \\[2pt] (x,y) & = & (x,y)L, \\ z & = & zD, \\ t & = & tL/(gD)^{1/2}, \\ \eta & = & \eta a, \\ \phi & = & \phi\,gaL/(gD)^{1/2}\qquad(\text{from }\phi_t+g\eta\simeq0). \end{array} For example now Ξ·t+Ο•xΞ·x=Ο•z\eta_t+\phi_x\eta_x=\phi_z becomes a(gD)1/2LΞ·t+gaL(gD)1/2aL2Ο•xΞ·x=gaLD(gD)1/2Ο•z\frac{a(gD)^{1/2}}{L}\eta_t +\frac{gaL}{(gD)^{1/2}}\frac{a}{L^2}\phi_x\eta_x =\frac{gaL}{D(gD)^{1/2}}\phi_z Ξ·t+(a/D)Ο•xΞ·x=(L/D)2Ο•zatz=(a/D)Ξ·.\eta_t+(a/D)\phi_x\eta_x=(L/D)^2\phi_z \qquad\text{at}\qquad z=(a/D)\eta. We see that the only two dimensionless numbers that appear are Ο΅=a/D;Ξ΄=D/L\epsilon=a/D\ ;\qquad \delta=D/L which are called the amplitude and the aspect ratio, respectively.

We obtain for all of the equations: Ο•t+Ο΅2(Ο•x2+Ο•y2)+Ο΅Ξ΄βˆ’22Ο•z2+Ξ·=0atz=ϡη\phi_t+\frac{\epsilon}{2}(\phi_x^2+\phi_y^2) +\frac{\epsilon\delta^{-2}}{2}\phi_z^2+\eta=0 \qquad\text{at}\qquad z=\epsilon\eta

Ξ·t+Ο΅(Ξ·xΟ•x+Ο•yΞ·y)=Ξ΄βˆ’2Ο•zatz=ϡη\eta_t+\epsilon(\eta_x\phi_x+\phi_y\eta_y)=\delta^{-2}\phi_z \qquad\text{at}\qquad z=\epsilon\eta Ο•zz+Ξ΄2(Ο•xx+Ο•yy)=0\phi_{zz}+\delta^2(\phi_{xx}+\phi_{yy})=0 Ο•z=0atz=βˆ’1.\phi_z=0\qquad\text{at}\qquad z=-1.

a) Notice that if we take Ο΅β‰ͺ1\epsilon\ll1, Ξ΄=1\delta=1, then we obtain Ο•t+Ξ·=0;Ξ·t=Ο•zatz=0\phi_t+\eta=0\ ;\qquad \eta_t=\phi_z\qquad\text{at}\qquad z=0 βˆ‡2Ο•=0\nabla^2\phi=0 Ο•z=0atz=βˆ’1\phi_z=0\qquad\text{at}\qquad z=-1 which is the dimensionless version of the deep water wave problem we previously derived.

b) Consider now Ο΅=1\epsilon=1, Ξ΄β‰ͺ1\delta\ll1. Let Ο•=Ο•0+Ξ΄2Ο•2+β‹―\phi=\phi_0+\delta^2\phi_2+\cdots, and insert this into the interior equation. At lowest order Ξ΄(0):Ο•0zz=0;Ο•0z=0atz=βˆ’1\delta^{(0)}:\qquad \phi_{0zz}=0\ ;\qquad \phi_{0z}=0\qquad\text{at}\qquad z=-1 which means that Ο•0\phi_0 is independent of zz. At next order Ξ΄(2):Ο•2zz+Ο•0xx+Ο•0yy=0;Ο•2z=0atz=βˆ’1\delta^{(2)}:\qquad \phi_{2zz}+\phi_{0xx}+\phi_{0yy}=0\ ;\qquad \phi_{2z}=0\qquad\text{at}\qquad z=-1 which yields Ο•2(x,y,z,t)=βˆ’(z+1)2(Ο•0xx+Ο•0yy)/2.\phi_2(x,y,z,t)=-(z+1)^2(\phi_{0xx}+\phi_{0yy})/2. Therefore Ο•=Ο•0(x,y,t)βˆ’(z+1)2Ξ΄2(Ο•0xx+Ο•0yy)/2.\phi=\phi_0(x,y,t)-(z+1)^2\delta^2(\phi_{0xx}+\phi_{0yy})/2. This expression is now substituted into the surface boundary conditions to obtain Ο•0t+12(Ο•0x2+Ο•0y2)+O(Ξ΄2)+Ξ·=0.\phi_{0t}+\frac12(\phi_{0x}^2+\phi_{0y}^2)+O(\delta^2)+\eta=0.

ht+(hΟ•0x)x+(hΟ•0y)y=0+O(Ξ΄2)h_t+(h\phi_{0x})_x+(h\phi_{0y})_y=0+O(\delta^2) where h=1+Ξ·h=1+\eta. Note that these equations are now the field equations because the dependence on zz is gone. Recall that u0=Ο•0xu_0=\phi_{0x}, v0=Ο•0yv_0=\phi_{0y}, etc. Inserting these into the above yields ht+(u0h)x+(v0h)y=0,u0t+u0u0x+v0u0y=βˆ’Ξ·x,v0t+u0v0x+v0v0y=βˆ’Ξ·y.\begin{aligned}h_t+(u_0h)_x+(v_0h)_y&=0,\\ u_{0t}+u_0u_{0x}+v_0u_{0y}&=-\eta_x,\\ v_{0t}+u_0v_{0x}+v_0v_{0y}&=-\eta_y.\end{aligned}

(3.4)

These equations can be converted to the dimensional form by multiplying the right hand side of the second and third equations by gg and by interpreting hh as D+Ξ·D+\eta. These are the nonlinear shallow water equations. We previously arrived at their linearization by heuristic reasoning. Note that w=Ο•z=Ξ΄2Ο•2zw=\phi_z=\delta^2\phi_{2z} which is O(Ξ΄2)O(\delta^2), in agreement with the result that we obtained using heuristic arguments.

An initial value problem

Now that we have established appropriate linearized equations for deep and shallow water waves, we consider an application. Since Οƒ2=gk\sigma^2=gk is quadratic, it is likely that solutions for Ξ·(x,t)\eta(x,t) on βˆ’βˆž<x<∞-\infty<x<\infty require specification of Ξ·(x,0)\eta(x,0) and Ξ·t(x,0)\eta_t(x,0). If we set Ξ·(x,t)=βˆ«βˆ’βˆžβˆž[C(k)eiΟƒt+ikx+D(k)eβˆ’iΟƒt+ikx]dk\eta(x,t)=\int_{-\infty}^{\infty} \left[C(k)e^{i\sigma t+ikx}+D(k)e^{-i\sigma t+ikx}\right]dk then Ξ·(x,0)=βˆ«βˆ’βˆžβˆž[C(k)+D(k)]eikxdk\eta(x,0)=\int_{-\infty}^{\infty}[C(k)+D(k)]e^{ikx}\,dk Ξ·t(x,0)=βˆ«βˆ’βˆžβˆžiΟƒ[C(k)βˆ’D(k)]eikxdk.\eta_t(x,0)=\int_{-\infty}^{\infty}i\sigma[C(k)-D(k)]e^{ikx}\,dk.

For simplicity, consider Ξ·t(x,0)=0\eta_t(x,0)=0. Then 2C(k)=Ξ·β€Ύ0(k)2C(k)=\bar\eta_0(k) and Ξ·(x,t)=12βˆ«βˆ’βˆžβˆžΞ·β€Ύ0(k)(eiΟƒt+ikx+eβˆ’iΟƒt+ikx)dk\eta(x,t)=\frac12\int_{-\infty}^{\infty} \bar\eta_0(k)\left(e^{i\sigma t+ikx}+e^{-i\sigma t+ikx}\right)dk where Οƒ=(signk)(g|k|)1/2\sigma=(\operatorname{sign}k)(g|k|)^{1/2} to ensure that waves at frequency Οƒ\sigma propagate in the same direction regardless of the sign of kk. The solution may be separated into left and right going wave contributions by writing Ξ·(x,t)=12βˆ«βˆ’βˆžβˆžΞ·β€Ύ0(k)eiΘ+tdk+12βˆ«βˆ’βˆžβˆžΞ·β€Ύ0(k)eiΞ˜βˆ’tdk\eta(x,t)=\frac12\int_{-\infty}^{\infty}\bar\eta_0(k)e^{i\Theta_+t}\,dk +\frac12\int_{-\infty}^{\infty}\bar\eta_0(k)e^{i\Theta_-t}\,dk where Ξ˜Β±β‰‘kx/tΒ±(signk)(g|k|)1/2.\Theta_\pm\equiv kx/t\pm(\operatorname{sign}k)(g|k|)^{1/2}. Points of stationary phase are where Ξ˜Β±β€²=0\Theta_\pm'=0 (the prime means βˆ‚/βˆ‚k\partial/\partial k). Now Θ+β€²=0\Theta_+'=0 has no real root for x>0x>0, so we must use Ξ˜βˆ’\Theta_- Ξ·(x>0,t)=12βˆ«βˆ’βˆžβˆžΞ·β€Ύ0(k)eiΞ˜βˆ’tdk.\eta(x>0,t)=\frac12\int_{-\infty}^{\infty}\bar\eta_0(k)e^{i\Theta_-t}\,dk. Thus, for k>0k>0 Ξ˜βˆ’=kx/tβˆ’(gk)1/2\Theta_-=kx/t-(gk)^{1/2} whence Ξ˜βˆ’β€²=x/tβˆ’12(g/k)1/2=0\Theta_-'=x/t-\frac12(g/k)^{1/2}=0 yields x/t=12(g/k0)1/2x/t=\frac12(g/k_0)^{1/2} and Ξ˜βˆ’β€³(k0)=g1/24k03/2=2x3gt3.\Theta_-''(k_0)=\frac{g^{1/2}}{4k_0^{3/2}}=\frac{2x^3}{gt^3}. Thus Ξ·k>0(x>0,t)≃12Ξ·β€Ύ0(k0)eiΞ˜βˆ’(k0)t[2Ο€itΞ˜βˆ’β€³(k0)]1/2.\eta_{k>0}(x>0,t)\simeq \frac12\bar\eta_0(k_0)e^{i\Theta_-(k_0)t} \left[\frac{2\pi}{it\Theta_-''(k_0)}\right]^{1/2}.

becomes Ξ·k>0(x>0,t)=12Ξ·β€Ύ0(k0)eβˆ’igt2/4xeβˆ’iΟ€/4(Ο€gt2/x3)1/2.\eta_{k>0}(x>0,t)=\frac12\bar\eta_0(k_0)e^{-igt^2/4x}e^{-i\pi/4} \left(\pi gt^2/x^3\right)^{1/2}. An identical contribution obtains from k<0k<0, so Ξ·(x>0,t)=Ξ·β€Ύ0(k0)(Ο€g)1/2tx3/2cos(gt2/4x+Ο€/4).\eta(x>0,t)=\bar\eta_0(k_0)(\pi g)^{1/2}\frac{t}{x^{3/2}} \cos(gt^2/4x+\pi/4).

If Ξ·0(x,0)=Ξ΄(x)\eta_0(x,0)=\delta(x), then Ξ·β€Ύ0(k0)=1/2Ο€\bar\eta_0(k_0)=1/2\pi and then Ξ·(x>0,t)=12(g/Ο€)1/2tx3/2cos(gt2/4x+Ο€/4).\eta(x>0,t)=\frac12(g/\pi)^{1/2}\frac{t}{x^{3/2}} \cos(gt^2/4x+\pi/4). If we plot Ξ·(x,t)\eta(x,t) versus xx at a fixed tt (snapshot), we see

image
Figure 3.4

The wavelength 2Ο€/k02\pi/k_0 increases and the amplitude decreases with xx. A wavestaff record of Ξ·(x,t)\eta(x,t) at fixed xx shows

image
Figure 3.5

Clearly neither k0k_0 nor Οƒ0\sigma_0 is constant at any fixed xx or tt. Yet it turns out that Οƒ0t+βˆ‚Οƒβˆ‚k|k0Οƒ0x=0;k0t+βˆ‚Οƒβˆ‚k|k0k0x=0\sigma_{0t}+\left.\frac{\partial\sigma}{\partial k}\right|_{k_0}\sigma_{0x}=0 \ ;\qquad k_{0t}+\left.\frac{\partial\sigma}{\partial k}\right|_{k_0}k_{0x}=0 i.e., if we travel at x/t=βˆ‚Οƒ/βˆ‚k|k0x/t=\left.\partial\sigma/\partial k\right|_{k_0}, then Οƒ0\sigma_0 and k0k_0 do not change.

It is instructive to consider the same problem from the ray theory point of view. Ray theory postulates a solution of the form Ξ·=aeiP\eta=ae^{iP}, defines a local wavenumber kk by

k=βˆ‚P/βˆ‚x|tk=\left.\partial P/\partial x\right|_t and a local frequency NN by N=βˆ’βˆ‚P/βˆ‚t|xN=-\left.\partial P/\partial t\right|_x, and asserts that these satisfy the plane wave dispersion relation N=Ξ©(k)N=\Omega(k). We now see that the stationary phase solution does all of these things as well. Since P=tΘ=k0xβˆ’Ξ©(k0)tP=t\Theta=k_0x-\Omega(k_0)t, we have N=Ξ©(k0)+(xβˆ’βˆ‚Ξ©βˆ‚k0t)βˆ‚k0βˆ‚t=Ξ©(k0)=Οƒ0N=\Omega(k_0)+\left(x-\frac{\partial\Omega}{\partial k_0}t\right) \frac{\partial k_0}{\partial t}=\Omega(k_0)=\sigma_0 k=k0+(xβˆ’βˆ‚Ξ©βˆ‚k0t)βˆ‚k0βˆ‚x=k0k=k_0+\left(x-\frac{\partial\Omega}{\partial k_0}t\right) \frac{\partial k_0}{\partial x}=k_0 where Οƒ0=Ξ©(k0)\sigma_0=\Omega(k_0) and x/t=βˆ‚Ξ©/βˆ‚k0x/t=\partial\Omega/\partial k_0 have been used. Thus, the phase PP and the local wave parameters k0,Οƒ0k_0,\sigma_0 satisfy the relationships asserted by ray theory. We further have βˆ’βˆ‚βˆ‚xβˆ‚Pβˆ‚t|x+βˆ‚βˆ‚tβˆ‚Pβˆ‚x|t=0-\frac{\partial}{\partial x}\left.\frac{\partial P}{\partial t}\right|_x +\frac{\partial}{\partial t}\left.\frac{\partial P}{\partial x}\right|_t=0 i.e., Οƒ0x+k0t=0\sigma_{0x}+k_{0t}=0. Since Οƒ0=Ξ©(k0)\sigma_0=\Omega(k_0) and Οƒ0t=(βˆ‚Ξ©/βˆ‚k0)k0t\sigma_{0t}=(\partial\Omega/\partial k_0)k_{0t}, then we recover Οƒ0t+βˆ‚Οƒβˆ‚k|k0Οƒ0x=0;k0t+βˆ‚Οƒβˆ‚k|k0k0x=0\sigma_{0t}+\left.\frac{\partial\sigma}{\partial k}\right|_{k_0}\sigma_{0x}=0 \ ;\qquad k_{0t}+\left.\frac{\partial\sigma}{\partial k}\right|_{k_0}k_{0x}=0 which again says that k0k_0 and Οƒ0\sigma_0 do not change if we travel at the group velocity. This much all by itself tells us that if we are at (x,t)(x,t), then the solution there looks like aeβˆ’iΟƒ0t+ik0xae^{-i\sigma_0t+ik_0x} where βˆ‚Οƒ/βˆ‚k|k0=x/t\left.\partial\sigma/\partial k\right|_{k_0}=x/t.

Ray theory also tells us how to get the amplitude which, in this case, is prescribed by β„°t+(cgβ„°)x=0\mathcal E_t+(c_g\mathcal E)_x=0 where β„°=12ρgΞ·Ξ·*\mathcal E=\frac12\rho g\eta\eta^*. So, the stationary phase approximation to this initial value problem in a homogeneous dispersive medium could have been obtained by the simpler ray theory approach.

At any (x,t)(x,t), the stationary phase solution has well defined frequency Οƒ0\sigma_0 and wavenumber k0k_0. This is because, at the long times tt for which the stationary phase approximation is valid, dispersion has separated the concentrated initial disturbance

into a slowly varying wave train of the sort postulated beforehand by the ray theory. Neither theory handles the details of how the solution evolves near the initial disturbance.

Note that as tβ†’βˆžt\to\infty, the foregoing says Ξ·(x,tβ†’βˆž)=t\eta(x,t\to\infty)=t. The solution never β€˜settles down’. This happens because Ξ·0(x,0)=Ξ΄(x)\eta_0(x,0)=\delta(x) contains infinitely short waves that travel infinitely slowly. Therefore, at any given (x,t)(x,t), short waves are still arriving and shorter ones are en route. This does not happen for the finite initial displacement.

Ship waves

Let’s consider another application. We have seen, in one dimension, that Ξ·0(x,0)=Ξ΄(x)\eta_0(x,0)=\delta(x), Ξ·0t(x,0)=0\eta_{0t}(x,0)=0 leads to Ξ·(x,t)=β„œ{K1P1/2xeiP}\eta(x,t)=\Re\left\{K_1\frac{P^{1/2}}{x}e^{iP}\right\} where P=gt2/4xP=gt^2/4x. In two dimensions, i.e. radial spreading, it turns out that Ξ·0(x,y,0)=Ξ΄(x)Ξ΄(y)\eta_0(x,y,0)=\delta(x)\delta(y), Ξ·0t(x,y,0)=0\eta_{0t}(x,y,0)=0 leads to Ξ·(x,y,t)=β„œ{K2Pr2eiP}\eta(x,y,t)=\Re\left\{K_2\frac{P}{r^2}e^{iP}\right\} where P=gt2/4rP=gt^2/4r and r=(x2+y2)1/2r=(x^2+y^2)^{1/2}. The dispersive characteristics of the wave train β€” summarized in eiPe^{iP} β€” are common to both one dimension and two dimensions although the envelope changes from one dimension to two dimensions.

We use the two dimensional result to discuss ship waves. A ship is idealized as a travelling delta function which moves with speed VV.

image
Figure 3.6

At time t=0t=0, we are at r,ΞΈr,\theta relative to the ship. At time tt the ship was ρ(t)\rho(t) from us. Keep in mind that t<0t<0. We have, therefore, Ξ·(r,ΞΈ,t=0)=βˆ«βˆ’βˆž0K2Pρ2(t)eiP(t)dt\eta(r,\theta,t=0)=\int_{-\infty}^{0}K_2\frac{P}{\rho^2(t)}e^{iP(t)}\,dt where P(t)=gt2/4ρ(t)P(t)=gt^2/4\rho(t) and ρ(t)=(r2+V2t2+2VtrcosΞΈ)1/2\rho(t)=(r^2+V^2t^2+2Vtr\cos\theta)^{1/2}.

This is like a stationary phase problem if P(t)P(t) is large. Points of stationary phase are when Pt=0P_t=0, i.e. 2gt4Οβˆ’gt2ρt4ρ2=0\frac{2gt}{4\rho}-\frac{gt^2\rho_t}{4\rho^2}=0 2gt4Οβˆ’gt24ρ212ρ(2V2t+2VrcosΞΈ)=0\frac{2gt}{4\rho}-\frac{gt^2}{4\rho^2}\frac{1}{2\rho} (2V^2t+2Vr\cos\theta)=0 2ρ2βˆ’V2t2βˆ’VrtcosΞΈ=02\rho^2-V^2t^2-Vrt\cos\theta=0 2(r2+V2t2+2VrtcosΞΈ)βˆ’V2t2βˆ’VrtcosΞΈ=02(r^2+V^2t^2+2Vrt\cos\theta)-V^2t^2-Vrt\cos\theta=0 2r2+V2t2+3VrtcosΞΈ=02r^2+V^2t^2+3Vrt\cos\theta=0 tΒ±=βˆ’3r2V[cosΞΈΒ±(cos2ΞΈβˆ’8/9)1/2].t_\pm=-\frac{3r}{2V} \left[\cos\theta\pm(\cos^2\theta-8/9)^{1/2}\right]. We get an appreciable contribution only when tΒ±t_\pm lie on the path of integration βˆ’βˆž-\infty to 0, i.e. when they are real. This requires cos2ΞΈ>8/9\cos^2\theta>8/9, i.e. ΞΈ<19∘28β€²\theta<19^\circ28'. So, for ΞΈ>19∘28β€²\theta>19^\circ28' we get far smaller waves than for ΞΈ<19∘28β€²\theta<19^\circ28'. Notice that this angle is independent of VV. This means that the waves following a ship will be at the same angle regardless of the speed that the ship travels! (Of course, the ship must be idealized as a point source.)

Inside this cone there are two wave systems eiP(t+)e^{iP(t_+)} and eiP(tβˆ’)e^{iP(t_-)}. They give rise to the system of cross waves seen behind a ship.

image
Figure 3.7

Details of their shape come from P(t+)=constantP(t_+)=\text{constant} and P(tβˆ’)=constantP(t_-)=\text{constant}.

The VV independence is surprising. But remember that these waves are dispersive β€” some always travel as fast as the ship regardless of its speed. The nondispersive case is different. If all waves travel at cc [=(gD)1/2=(gD)^{1/2} in a shallow sea] and a ship moves at V>cV>c, then the wave pattern looks like

image
Figure 3.8

The waves are confined to ΞΈ<sinβˆ’1(ct/Vt)=sinβˆ’1(c/V)\theta<\sin^{-1}(ct/Vt)=\sin^{-1}(c/V) which is dependent on the velocity just as we would expect. This is because the waves all travel slower than the ship. The waves arrive as a sharp discontinuity.

A wave energy equation

The linearized waves satisfy ρuβ†’t=βˆ’βˆ‡pβˆ’gρkΜ‚\rho\vec u_t=-\nabla p-g\rho\hat k βˆ‡β‹…uβ†’=0.\nabla\cdot\vec u=0. From these (12ρuβ†’β‹…uβ†’)t+uβ†’β‹…βˆ‡p+gρw=0.\left(\frac12\rho\vec u\cdot\vec u\right)_t +\vec u\cdot\nabla p+g\rho w=0. In the linearized case, w=ztw=z_t which can be used with continuity to obtain [12ρuβ†’β‹…uβ†’+gρz]t+βˆ‡β‹…(uβ†’p)=0\left[\frac12\rho\vec u\cdot\vec u+g\rho z\right]_t +\nabla\cdot(\vec u p)=0 [ke+pe]t+βˆ‡β‹…eflux=0.[ke+pe]_t+\nabla\cdot eflux=0. Integrate from z=βˆ’D(x)z=-D(x) to z=Ξ·z=\eta and note that βˆ«βˆ’DΞ·[βˆ‚x(up)+βˆ‚y(vp)+βˆ‚z(wp)]dz=βˆ‚xβˆ«βˆ’DΞ·updzβˆ’p(Ξ·)uΞ·x+p(βˆ’D)uDx+β‹―+wp(Ξ·)βˆ’wp(βˆ’D)=βˆ‚xβˆ«βˆ’DΞ·updz,\begin{aligned} \int_{-D}^{\eta} [\partial_x(up)+\partial_y(vp)+\partial_z(wp)]\,dz & =\partial_x\int_{-D}^{\eta}up\,dz -p(\eta)u\eta_x+p(-D)uD_x+\cdots \\ & \qquad +wp(\eta)-wp(-D) \\ & =\partial_x\int_{-D}^{\eta}up\,dz, \end{aligned} where the surface and bottom kinematic conditions cancel the moving-boundary terms. Thus [βˆ«βˆ’DΞ·12ρuβ†’β‹…uβ†’Β―dz+12ρgΞ·2Β―]t+βˆ‡Hβ‹…βˆ«βˆ’DΞ·uβ†’pΒ―dz=0\left[ \int_{-D}^{\eta}\frac12\rho\,\overline{\vec u\cdot\vec u}\,dz +\frac12\rho g\,\overline{\eta^2} \right]_t +\nabla_H\cdot\int_{-D}^{\eta}\overline{\vec u p}\,dz=0 [KEΒ―+PEΒ―]t+βˆ‡Hβ‹…EfluxΒ―=0[\overline{KE}+\overline{PE}]_t+\nabla_H\cdot\overline{Eflux}=0 where KEKE and PEPE are energy densities per unit surface area, βˆ‡H=iΜ‚βˆ‚/βˆ‚x+jΜ‚βˆ‚/βˆ‚y\nabla_H=\hat i\,\partial/\partial x+\hat j\,\partial/\partial y and the overbar denotes a time average over one wave period.

For Ξ·=acos⁑(kxβˆ’Οƒt),Οƒ2=gktanh⁑kD,Ο•=aΟƒksinh⁑kDcosh⁑k(z+D)sin⁑(kxβˆ’Οƒt),p=βˆ’gρz+ρσ2aksinh⁑kDcosh⁑k(z+D)cos⁑(kxβˆ’Οƒt),\begin{aligned} \eta & =a\cos(kx-\sigma t), & \sigma^2 & =gk\tanh kD, \\ \phi & =\frac{a\sigma}{k\sinh kD}\cosh k(z+D)\sin(kx-\sigma t), \\ p & =-g\rho z+\frac{\rho\sigma^2a}{k\sinh kD} \cosh k(z+D)\cos(kx-\sigma t), \end{aligned}

image
Figure 3.9

we find that KEΒ―=PEΒ―=14ρga2\overline{KE}=\overline{PE}=\frac14\rho ga^2 so that the total energy is EΒ―=12ρga2\overline E=\frac12\rho ga^2. Finally, after some algebra, the energy flux can be written EfluxΒ―=βˆ«βˆ’D0upΒ―dz=12ρga2(Οƒ2gkcothkD)Οƒ2k(1+2kDsinh⁑2kD)=EΒ―βˆ‚Οƒβˆ‚k.\begin{aligned} \overline{Eflux} & =\int_{-D}^{0}\overline{up}\,dz \\ & =\frac12\rho ga^2 \left(\frac{\sigma^2}{gk}\coth kD\right) \frac{\sigma}{2k} \left(1+\frac{2kD}{\sinh2kD}\right) \\ & =\overline E\,\frac{\partial\sigma}{\partial k}. \end{aligned} That is EfluxΒ―=EΒ―cβ†’g.\overline{Eflux}=\overline E\,\vec c_g.

(3.5)

Thus, the period average of the energy equation is, for the plane wave EΒ―t+βˆ‡Hβ‹…(EΒ―cβ†’g)=0.\overline E_t+\nabla_H\cdot(\overline E\,\vec c_g)=0.

(3.6)

It may be used to determine E¯(x→,t)\overline E(\vec x,t) from E¯(x→,0)\overline E(\vec x,0) if the wave is slowly varying, i.e. if a=a(x→,t)a=a(\vec x,t). This may occur either if a(x→,0)a(\vec x,0) is slowly varying or if DD is a slowly varying function of position.

Slowly varying medium

The β€˜medium’ is made nonuniform if the fluid depth is variable in space or (rarely) in time. The techniques used up to now accommodate this case with little further thought. However, medium nonuniformity also occurs if the waves advance through currents. If the currents vary only slightly over a wave period or wavelength, then the waves may be adequately described by slowly varying representation.

For concreteness, consider a basic flow U(x,y,t),V(x,y,t),W(x,y,z,t)U(x,y,t),V(x,y,t),W(x,y,z,t), P(x,y,z,t)P(x,y,z,t) with a free surface z=h(x,y,t)z=h(x,y,t) flowing over relief z=βˆ’D(x,y,t)z=-D(x,y,t). It satisfies Ut+UUx+VUy=βˆ’Px/ρ,Vt+UVx+VVy=βˆ’Py/ρ,Ux+Vy+Wz=0or(h+D)t+[U(h+D)]x+[V(h+D)]y=0.\begin{aligned} U_t+UU_x+VU_y & =-P_x/\rho, \\ V_t+UV_x+VV_y & =-P_y/\rho, \\ U_x+V_y+W_z & =0 \quad\text{or}\quad (h+D)_t+[U(h+D)]_x+[V(h+D)]_y=0. \end{aligned} Since it is to be slowly varying in the sense that Ο΅=Lw/Lmβ‰ͺ1\epsilon=L_w/L_m\ll1, then we require hx,Dxh_x,D_x etc. to be O(Ο΅)O(\epsilon). This means that WW is O(Ο΅)UO(\epsilon)U. The pressure is hydrostatic, i.e. P=ρg(hβˆ’z).P=\rho g(h-z).

Now let u*=U+uu^*=U+u, v*=V+vv^*=V+v, w*=W+ww^*=W+w, p*=P+pp^*=P+p, Ξ·*=h+Ξ·\eta^*=h+\eta. We have, for example, Du*Dt=βˆ’px*/ρ→(U+u)t+UUx+Uux+uUx+uux…=βˆ’Px/Οβˆ’px/ρ.\frac{Du^*}{Dt}=-p_x^*/\rho \ \longrightarrow\ (U+u)_t+UU_x+Uu_x+uU_x+uu_x\ldots=-P_x/\rho-p_x/\rho. Using the definitions of U,V,W,PU,V,W,P and linearizing by neglecting products of small terms yields ut+Uux+uUx+Vuy+vUy=βˆ’px/ρu_t+Uu_x+uU_x+Vu_y+vU_y=-p_x/\rho and similar equations for vv and ww. Making the further assumption that UU and VV are slowly varying results in ut+Uux+Vuy=βˆ’px/ρ,vt+Uvx+Vvy=βˆ’py/ρ,wt+Uwx+Vwy=βˆ’pz/Οβˆ’g.\begin{aligned} u_t+Uu_x+Vu_y & =-p_x/\rho, \\ v_t+Uv_x+Vv_y & =-p_y/\rho, \\ w_t+Uw_x+Vw_y & =-p_z/\rho-g. \end{aligned} (Note that terms like WuzWu_z are dropped because W∼UhxW\sim Uh_x or UDx∼ϡUUD_x\sim\epsilon U.)

At the free surface Dp*/Dt=0Dp^*/Dt=0 at z=Ξ·*z=\eta^*. Using the same assumptions as above and noting that Pt+UPx+VPy+WPz=0P_t+UP_x+VP_y+WP_z=0, we arrive at pt+Upx+Vpy=gρwatz=0.p_t+Up_x+Vp_y=g\rho w\qquad\text{at}\qquad z=0. Finally w*=u*Dx+v*Dyw^*=u^*D_x+v^*D_y at z=βˆ’Dz=-D, which becomes w=0w=0 at z=βˆ’Dz=-D. If we assume a plane wave solution Ξ·=aeβˆ’iΟƒt+ikx+iβ„“y\eta=ae^{-i\sigma t+ikx+i{β„“} y} etc. then we obtain a dispersion relation of Οƒ=kU+β„“V+[g(k2+β„“2)1/2tanhD(k2+β„“2)1/2]1/2\sigma=kU+{β„“} V+ \left[g(k^2+{β„“}^2)^{1/2}\tanh D(k^2+{β„“}^2)^{1/2}\right]^{1/2} which is simply that for surface gravity waves but Doppler shifted by the background current.

Using this dispersion relation, the ray theory recipe says that we can carry the slow space and time variation of UU and DD parametrically to find N=Ω(k→;x,y,t)N=\Omega(\vec k;x,y,t) or σ=k→⋅U→(x,y,t)+[g|k→|tanh|k→|D(x,y,t)]1/2.\sigma=\vec k\cdot\vec U(x,y,t) +[g|\vec k|\tanh|\vec k|D(x,y,t)]^{1/2}.

(3.7)

We may write this as Οƒ=kβ†’β‹…Uβ†’+Οƒβ€²\sigma=\vec k\cdot\vec U+\sigma' where Οƒβ€²=(g|kβ†’|tanh|kβ†’|D)1/2\sigma'=(g|\vec k|\tanh|\vec k|D)^{1/2} is the frequency seen by an observer moving at Uβ†’\vec U. Then cβ†’g=βˆ‚Οƒβˆ‚kβ†’=Uβ†’+βˆ‚Οƒβ€²βˆ‚kβ†’=Uβ†’+cβ†’gβ€².\vec c_g=\frac{\partial\sigma}{\partial\vec k} =\vec U+\frac{\partial\sigma'}{\partial\vec k} =\vec U+\vec c_g'. Finally then, we find Οƒ(x,y,t),kβ†’(x,y,t)\sigma(x,y,t),\vec k(x,y,t) by solving Οƒt+(Uβ†’+cβ†’gβ€²)β‹…βˆ‡Οƒ=Ξ©t=kβ†’β‹…Uβ†’t+βˆ‚βˆ‚t[g|kβ†’|tanh|kβ†’|D(x,y,t)]1/2\sigma_t+(\vec U+\vec c_g')\cdot\nabla\sigma =\Omega_t =\vec k\cdot\vec U_t +\frac{\partial}{\partial t}[g|\vec k|\tanh|\vec k|D(x,y,t)]^{1/2} kit+(Uβ†’+cβ†’gβ€²)β‹…βˆ‡ki=βˆ’Ξ©xi=βˆ’kβ†’β‹…βˆ‚Uβ†’βˆ‚xiβˆ’βˆ‚βˆ‚xi[g|kβ†’|tanh|kβ†’|D(x,y,t)]1/2.k_{it}+(\vec U+\vec c_g')\cdot\nabla k_i =-\Omega_{x_i} =-\vec k\cdot\frac{\partial\vec U}{\partial x_i} -\frac{\partial}{\partial x_i}[g|\vec k|\tanh|\vec k|D(x,y,t)]^{1/2}. These fix Οƒ(x,y,t),kβ†’(x,y,t)\sigma(x,y,t),\vec k(x,y,t) once we are given Οƒ(x,y,0),kβ†’(x,y,0)\sigma(x,y,0),\vec k(x,y,0). At least conceptually they are easy to integrate. To find the wave amplitude, we must formulate and solve an energy equation.

Waves riding on a current

We consider two examples which make use of the above formalism. First, let D=constantD=\text{constant} and the current be U→=îU(x)≠îU(x,t)\vec U=\hat iU(x)\ne\hat iU(x,t). Now σ=Ω(k;x)=kU+(gktanhkD)1/2\sigma=\Omega(k;x)=kU+(gk\tanh kD)^{1/2} from which σt+(cg′+U)σx=0.\sigma_t+(c_g'+U)\sigma_x=0. If a wavemaker always puts waves of constant frequency σ\sigma into the fluid at x=0x=0, this equation says that as we move at cg′+Uc_g'+U, σ\sigma does not change. Ultimately this means that σ\sigma is constant everywhere (but not σ′\sigma'). Therefore σ=k(x)U(x)+[gk(x)tanhk(x)D]1/2\sigma=k(x)U(x)+[gk(x)\tanh k(x)D]^{1/2} tells us k(x)k(x), in principle.

Consider Οƒ,k>0\sigma,k>0 and U(x)>0U(x)>0, i.e. right-going waves and current.

image
Figure 3.10

Clearly, there is always a root **. For large UU, σ→kU\sigma\to kU, i.e. k→σ/Uk\to\sigma/U. The waves are longer in a swifter current.

Consider Οƒ,k>0\sigma,k>0 and U(x)<0U(x)<0, i.e. right-going waves in a left-going current.

image
Figure 3.11

There is a root ** for 0<|U|<cgβ€²(k)0<|U|<c_g'(k). At the upper limit cgβ€²(k)=|U|c_g'(k)=|U|. Waves with smaller kk have larger cgβ€²c_g' and can stem the current, while those with large kk go too slow to stem the current and are swept downstream. In reality, the waves break before this limit. (A second intersection of the two curves generally occurs at large kk, but here cgβ€²<|U|c_g'<|U|, so such waves would never be realized.)

A second example is that of a shear flow U→=ĵV(x)\vec U=\hat jV(x). Waves started from a wavemaker at x=0x=0 at an angle θ0\theta_0 to the xx-direction refract as they pass through the current.

image
Figure 3.12

We have Οƒ=β„“V(x)+(gKtanhKD)1/2\sigma={β„“} V(x)+(gK\tanh KD)^{1/2} where K2=k2+β„“2K^2=k^2+{β„“}^2. As before, with eβˆ’iΟƒt+ikx+iβ„“ye^{-i\sigma t+ikx+i{β„“} y}, Οƒt+cβ†’gβ‹…βˆ‡Οƒ=Ξ©t=0,β„“t+cβ†’gβ‹…βˆ‡β„“=βˆ’Ξ©y=0,kt+cβ†’gβ‹…βˆ‡k=βˆ’Ξ©xβ‰ 0,\begin{aligned} \sigma_t+\vec c_g\cdot\nabla\sigma & =\Omega_t=0, \\ {β„“}_t+\vec c_g\cdot\nabla{β„“} & =-\Omega_y=0, \\ k_t+\vec c_g\cdot\nabla k & =-\Omega_x\ne0, \end{aligned} where Οƒ\sigma and β„“{β„“} are constant everywhere, but k=k(x)k=k(x). The easiest way to find k(x)k(x) is to realize that Οƒ=β„“V(x)+[g(k2(x)+β„“2)1/2tanh{(k2(x)+β„“2)1/2D}]1/2\sigma={β„“} V(x)+[g(k^2(x)+{β„“}^2)^{1/2}\tanh\{(k^2(x)+{β„“}^2)^{1/2}D\}]^{1/2} fixes k(x)k(x). Now the relation β„“=[k2(x)+β„“2]1/2sinΞΈ(x)=constant{β„“}=[k^2(x)+{β„“}^2]^{1/2}\sin\theta(x)=\text{constant} tells us ΞΈ(x)\theta(x).

For deep water, these are easy to solve: Οƒ=β„“V(x)+[g(k2(x)+β„“2)1/2]1/2\sigma={β„“} V(x)+[g(k^2(x)+{β„“}^2)^{1/2}]^{1/2} leads to k2(x)=[Οƒβˆ’β„“V(x)]4g2βˆ’β„“2k^2(x)=\frac{[\sigma-{β„“} V(x)]^4}{g^2}-{β„“}^2 and sinΞΈ(x)sinΞΈ0=(k02+β„“2)1/2(k2(x)+β„“2)1/2=(Οƒβˆ’β„“V0)2(Οƒβˆ’β„“V(x))2.\frac{\sin\theta(x)}{\sin\theta_0} =\frac{(k_0^2+{β„“}^2)^{1/2}}{(k^2(x)+{β„“}^2)^{1/2}} =\frac{(\sigma-{β„“} V_0)^2}{(\sigma-{β„“} V(x))^2}. Notice that when V(x)β†’[Οƒβˆ’(gβ„“)1/2]/β„“,V(x)\to[\sigma-(g{β„“})^{1/2}]/{β„“}, then kβ†’0k\to0 and the wave no longer propagates in the xx-direction.