Eigenfunction Matching for a Finite Change in Depth

This is an incomplete page

Introduction

The problem consists of a region to the left with a free water surface with depth [math]\displaystyle{ d }[/math] and to the right a region of depth [math]\displaystyle{ h }[/math]. The problem with a semi-infinite change in depth is treated in Eigenfunction Matching for a Semi-Infinite Change in Depth

Governing Equations

We begin with the Frequency Domain Problem for a submerged dock which occupies the region [math]\displaystyle{ x\gt 0 }[/math] (we assume [math]\displaystyle{ e^{i\omega t} }[/math] time dependence). The depth of is constant [math]\displaystyle{ h }[/math] for [math]\displaystyle{ x\lt -L }[/math] and [math]\displaystyle{ x\gt L }[/math] and constant [math]\displaystyle{ d }[/math] for [math]\displaystyle{ -L\lt x\gt L }[/math]. The [math]\displaystyle{ z }[/math]-direction points vertically upward with the water surface at [math]\displaystyle{ z=0 }[/math]. The boundary value problem can therefore be expressed as

[math]\displaystyle{ \Delta\phi=0, \,\, -h\lt z\lt 0, \,\, x\lt -L\,\textrm{or}\, x\gt L, }[/math] [math]\displaystyle{ \Delta\phi=0, \,\, -d\lt z\lt 0, \,\, -L\lt x\lt L, }[/math] [math]\displaystyle{ \partial_z\phi=\alpha\phi, \,\, z=0, }[/math] [math]\displaystyle{ \partial_x\phi=0, \,\, -d\lt z\lt -h,\,x=\pm{L}, }[/math] [math]\displaystyle{ \partial_z\phi=0, \,\, z=-h,\, x\lt -L\,\textrm{or}\, x\gt L, }[/math] [math]\displaystyle{ \partial_z\phi=0, \,\, z=-d,\, -L\lt x\lt L. }[/math]

We must also apply the Sommerfeld Radiation Condition as [math]\displaystyle{ |x|\rightarrow\infty }[/math]. This essentially implies that the only wave at infinity is propagating away and at negative infinity there is a unit incident wave and a wave propagating away.

Solution Method

We use separation of variables in the two regions, [math]\displaystyle{ x\lt 0 }[/math] and [math]\displaystyle{ x\gt 0 }[/math].

We express the potential as

[math]\displaystyle{ \phi(x,z) = X(x)Z(z)\, }[/math]

and then Laplace's equation becomes

[math]\displaystyle{ \frac{X^{\prime\prime}}{X} = - \frac{Z^{\prime\prime}}{Z} = k^2 }[/math]

Separation of variables for a free surface

We use separation of variables

We express the potential as

[math]\displaystyle{ \phi(x,z) = X(x)Z(z)\, }[/math]

and then Laplace's equation becomes

[math]\displaystyle{ \frac{X^{\prime\prime}}{X} = - \frac{Z^{\prime\prime}}{Z} = k^2 }[/math]

The separation of variables equation for deriving free surface eigenfunctions is as follows:

[math]\displaystyle{ Z^{\prime\prime} + k^2 Z =0. }[/math]

subject to the boundary conditions

[math]\displaystyle{ Z^{\prime}(-h) = 0 }[/math]

and

[math]\displaystyle{ Z^{\prime}(0) = \alpha Z(0) }[/math]

We can then use the boundary condition at [math]\displaystyle{ z=-h \, }[/math] to write

[math]\displaystyle{ Z = \frac{\cos k(z+h)}{\cos kh} }[/math]

where we have chosen the value of the coefficent so we have unit value at [math]\displaystyle{ z=0 }[/math]. The boundary condition at the free surface ([math]\displaystyle{ z=0 \, }[/math]) gives rise to:

[math]\displaystyle{ k\tan\left( kh\right) =-\alpha \, }[/math]

which is the Dispersion Relation for a Free Surface

The above equation is a transcendental equation. If we solve for all roots in the complex plane we find that the first root is a pair of imaginary roots. We denote the imaginary solutions of this equation by [math]\displaystyle{ k_{0}=\pm ik \, }[/math] and the positive real solutions by [math]\displaystyle{ k_{m} \, }[/math], [math]\displaystyle{ m\geq1 }[/math]. The [math]\displaystyle{ k \, }[/math] of the imaginary solution is the wavenumber. We put the imaginary roots back into the equation above and use the hyperbolic relations

[math]\displaystyle{ \cos ix = \cosh x, \quad \sin ix = i\sinh x, }[/math]

to arrive at the dispersion relation

[math]\displaystyle{ \alpha = k\tanh kh. }[/math]

We note that for a specified frequency [math]\displaystyle{ \omega \, }[/math] the equation determines the wavenumber [math]\displaystyle{ k \, }[/math].

Finally we define the function [math]\displaystyle{ Z(z) \, }[/math] as

[math]\displaystyle{ \chi_{m}\left( z\right) =\frac{\cos k_{m}(z+h)}{\cos k_{m}h},\quad m\geq0 }[/math]

as the vertical eigenfunction of the potential in the open water region. From Sturm-Liouville theory the vertical eigenfunctions are orthogonal. They can be normalised to be orthonormal, but this has no advantages for a numerical implementation. It can be shown that

[math]\displaystyle{ \int\nolimits_{-h}^{0}\chi_{m}(z)\chi_{n}(z) \mathrm{d} z=A_{n}\delta_{mn} }[/math]

where

[math]\displaystyle{ A_{n}=\frac{1}{2}\left( \frac{\cos k_{n}h\sin k_{n}h+k_{n}h}{k_{n}\cos ^{2}k_{n}h}\right). }[/math]

Solution using Symmetry

The finite dock problem is symmetric about the line [math]\displaystyle{ x=0 }[/math] and this allows us to solve the problem using symmetry. This method is numerically more efficient and requires only slight modification of the code for Eigenfunction Matching for a Semi-Infinite Dock, the developed theory here is very close to the semi-infinite solution. We decompose the solution into a symmetric and an anti-symmetric part as is described in Symmetry in Two Dimensions

Symmetric solution

The symmetric potential can be expanded as

[math]\displaystyle{ \phi(x,z)=e^{-k_{0}^{h}(x+L)}\phi_{0}\left( z\right) + \sum_{m=0}^{\infty}a_{m}^{s}e^{k_{m}^{h}(x+L)}\phi_{m}^{h}(z) , \;\;x\lt -L }[/math]

and

[math]\displaystyle{ \phi(x,z)=\sum_{m=0}^{\infty}b_{m}^{s} \frac{\cosh k_{m}^{d} x}{\cosh k_{m}^{d} L} \phi_{m}^{d}(z), \;\;-L\lt x\lt 0 }[/math]

where [math]\displaystyle{ a_{m}^{s} }[/math] and [math]\displaystyle{ b_{m}^{s} }[/math] are the coefficients of the potential in the open water regions and the dock covered region respectively.

We now match at [math]\displaystyle{ x=-L }[/math] and multiply both equations by [math]\displaystyle{ \phi_{l}(z) }[/math] and integrating from [math]\displaystyle{ -h }[/math] to [math]\displaystyle{ 0 }[/math] to obtain:

[math]\displaystyle{ A_{0}\delta_{0l}+a_{l}^{s}A_{l} =\sum_{n=0}^{\infty}b_{m}^{s}B_{ml} }[/math]

and

[math]\displaystyle{ -k_{0}A_{0}\delta_{0l}+a_{l}^{s} k_{m}^{h} A_l =-\sum_{m=0}^{\infty}b_{m}^{s} k_{m}^{d}\tanh(k_{m}^{d} L) B_{ml} }[/math]

(for full details of this derivation see Eigenfunction Matching for a Semi-Infinite Change in Depth)

Anti-symmetric solution

The anti-symmetric potential can be expanded as

[math]\displaystyle{ \phi(x,z)=e^{-k_{0}(x+L)}\phi_{0}\left( z\right) + \sum_{m=0}^{\infty}a_{m}^{a}e^{k_{m}(x+L)}\phi_{m}(z) , \;\;x\lt -L }[/math]

and

[math]\displaystyle{ \phi(x,z)=-b_0^{a}\frac{x}{L}+\sum_{m=1}^{\infty}b_{m}^{a} \frac{\sinh\kappa_{m} x}{-\sinh \kappa_m L}\phi_{m}(z), \;\;-L\lt x\lt 0 }[/math]

where [math]\displaystyle{ a_{m}^{a} }[/math] and [math]\displaystyle{ b_{m}^{a} }[/math] are the coefficients of the potential in the open water regions and the dock covered region respectively. Note that the minus sign in the expression for the dock-covered region has been added so that each component is equal to one at [math]\displaystyle{ x=-L }[/math].

We now match at [math]\displaystyle{ x=-L }[/math] and multiply both equations by [math]\displaystyle{ \phi_{l}(z) }[/math] and integrating from [math]\displaystyle{ -h }[/math] to [math]\displaystyle{ 0 }[/math] to obtain:

[math]\displaystyle{ A_{0}\delta_{0l}+a_{l}^{a}A_{l} =\sum_{n=0}^{\infty}b_{m}^{a}B_{ml} }[/math]

and

[math]\displaystyle{ -k_{0}A_{0}\delta_{0l}+a_{l}^{a}k_{l}A_l = - \frac{b_{0}^{a}}{L}B_{0l} -\sum_{m=1}^{\infty}b_{m}^{a}\kappa_{m}\coth(\kappa_{m}L) B_{ml} }[/math]

(for full details of this derivation see Eigenfunction Matching for a Semi-Infinite Dock)

Solution to the original problem

We can now reconstruct the potential for the finite dock from the two previous symmetric and anti-symmetric solution as explained in Symmetry in Two Dimensions. The amplitude in the left open-water region is simply obtained by the superposition principle

[math]\displaystyle{ a_{m} = \frac{1}{2}\left(a_{m}^{s}+a_{m}^{a}\right) }[/math]

[math]\displaystyle{ d_{m} = \frac{1}{2}\left(a_{m}^{s}-a_{m}^{a}\right) }[/math]

Note the formulae for [math]\displaystyle{ b_m }[/math] and [math]\displaystyle{ c_m }[/math] are more complicated but can be derived with some work.

Expansion of the potential

We need to apply some boundary conditions at plus and minus infinity, where are essentially the the solution cannot grow. This means that we only have the positive (or negative) roots of the dispersion equation. However, it does not help us with the purely imaginary root. Here we must use a different condition, essentially identifying one solution as the incoming wave and the other as the outgoing wave.

Therefore the scattered potential (without the incident wave, which will be added later) can be expanded as

[math]\displaystyle{ \phi(x,z)=\sum_{m=0}^{\infty}a_{m}e^{k_{m}^{h} x}\phi_{m}^{h}(z), \;\;x\lt 0 }[/math]

and

[math]\displaystyle{ \phi(x,z)=\sum_{m=0}^{\infty}b_{m} e^{-k_{m}^{d}x}\phi_{m}^{d}(z), \;\;x\gt 0 }[/math]

where [math]\displaystyle{ a_{m} }[/math] and [math]\displaystyle{ b_{m} }[/math] are the coefficients of the potential in the left and right respectively and [math]\displaystyle{ k_{m}^{h} }[/math] denotes the solution for depth [math]\displaystyle{ h }[/math] etc.

Incident potential

To create meaningful solutions of the velocity potential [math]\displaystyle{ \phi }[/math] in the specified domains we add an incident wave term to the expansion for the domain of [math]\displaystyle{ x \lt 0 }[/math] above. The incident potential is a wave of amplitude [math]\displaystyle{ A }[/math] in displacement travelling in the positive [math]\displaystyle{ x }[/math]-direction. We would only see this in the time domain [math]\displaystyle{ \Phi(x,z,t) }[/math] however, in the frequency domain the incident potential can be written as

[math]\displaystyle{ \phi_{\mathrm{I}}(x,z) =e^{-k_{0}x}\chi_{0}\left( z\right). }[/math]

The total velocity (scattered) potential now becomes [math]\displaystyle{ \phi = \phi_{\mathrm{I}} + \phi_{\mathrm{D}} }[/math] for the domain of [math]\displaystyle{ x \lt 0 }[/math].

The first term in the expansion of the diffracted potential for the domain [math]\displaystyle{ x \lt 0 }[/math] is given by

[math]\displaystyle{ a_{0}e^{k_{0}x}\chi_{0}\left( z\right) }[/math]

which represents the reflected wave.

In any scattering problem [math]\displaystyle{ |R|^2 + |T|^2 = 1 }[/math] where [math]\displaystyle{ R }[/math] and [math]\displaystyle{ T }[/math] are the reflection and transmission coefficients respectively. In our case of the semi-infinite dock [math]\displaystyle{ |a_{0}| = |R| = 1 }[/math] and [math]\displaystyle{ |T| = 0 }[/math] as there are no transmitted waves in the region under the dock.

An infinite dimensional system of equations

The potential and its derivative must be continuous across [math]\displaystyle{ x=0 }[/math]. Therefore, the potentials and their derivatives at [math]\displaystyle{ x=0 }[/math] have to be equal or equal to zero as appropriate. We obtain:

[math]\displaystyle{ \begin{align} \phi_{0}^{h}\left( z\right) + \sum_{m=0}^{\infty}a_{m} \phi_{m}^{h}\left( z\right) &=\sum_{m=0}^{\infty}b_{m}\phi_{m}^{d}(z), \quad -h\lt z\lt 0 \\ -\sum_{m=0}^{\infty}b_{m}k_{m}^{d}\phi_{m}^{d}(z)= & \begin{cases} -k_{0}^{h}\phi_{0}^{h}\left( z\right) +\sum_{m=0}^{\infty} a_{m}k_{m}^{h}\phi_{m}^{h}\left( z\right),\quad -h\lt z\lt 0 \\ 0,\quad -d\lt z\lt -h \end{cases} \end{align} }[/math]

For the first equation we multiply both sides by [math]\displaystyle{ \phi_{n}^{h}(z) \, }[/math] and integrating from [math]\displaystyle{ -h }[/math] to [math]\displaystyle{ 0 }[/math] to obtain:

[math]\displaystyle{ A_{0}^{h}\delta_{0n} + a_{n}A_{n}^{h} = \sum^{\infty}_{m=0}b_{m}B_{mn}, n\in\mathbb{N}\cup\left\{0\right\} }[/math]

and for the second equation we multiply both sides by [math]\displaystyle{ \phi_{n}^{d}(z) \, }[/math] and integrating from [math]\displaystyle{ -d }[/math] to [math]\displaystyle{ 0 }[/math] to obtain:

[math]\displaystyle{ -k_{0}^{h}B_{n0} + \sum^{\infty}_{m=0}a_{m}k_{m}^{h}B_{nm} = -b_{n}^{d}k_{n}^{d}A_{n}^{d}, n\in\mathbb{N}\cup\left\{0\right\} }[/math]

Solving the equations above will yield the coefficients of the water velocity potential in the dock covered region.

Inner product between free surface and dock modes

[math]\displaystyle{ B_{mn} = \int\nolimits_{-h}^{0}\phi_{m}^{d}(z)\phi_{n}^{h}(z) \mathrm{d} z }[/math]

where

[math]\displaystyle{ B_{mn}= \int\nolimits_{-h}^{0} \frac{\cos(k_{m}^{h}(z+h))\cos(k_{n}^{d}(z+d))}{\cos(k_{m}h)\cos(k_{n}d)} \mathrm{d} z =\frac{k_{m}^{h}\sin(k_{m}^{d} h)\cos(k_{n}^{d}h)-k_{n}^{d}\cos(k_{m}^{h} h)\sin(k_{n}^{d}h)} {\cos(k_{m}h)\cos(k_{n}d)({k_{m}^{d}}^{2}-{k_{n}^{d}}^{2})} }[/math]

Matlab Code

A program to calculate the coefficients for the semi-infinite dock problems can be found here semi_infinite_change_in_depth.m

Additional code

This program requires

• dispersion_free_surface.m