# Eigenfunction Matching for a Finite Rectangle using Symmetry

## Introduction

The problem consists of a finite rigid fixed rectangle of length [math]2L[/math] centered at [math]x = 0[/math] and having a height of [math]d + ...[/math] freeboard with depth of submergence being [math]d[/math] through which no flow is possible. The regions to the left and right of the rectangle are the free water surface. Since the geometry of the rectangle is symmetric about [math]x = 0[/math] we can decompose the velocity potential [math]\phi[/math] into a symmetric [math]\phi^s[/math] and antisymmetric [math]\phi^a[/math] potential. We then solve for these two potentials in the left domain only [math]x \leq 0[/math] and subsequently recompose the solution [math]\phi[/math] for the entire domain. We begin with the simple problem when the waves are normally incident on the rectangle (dock) (so that the problem is truly two-dimensional). We can extend this solution to a pair of partially submerged finite rigid fixed rectangles using symmetry
**Eigenfunction Matching for a Finite Rectangle using Symmetry**

## Governing Equations

We begin with the Frequency Domain Problem for a partially submerged finite dock. Although the dock is of length [math]2L[/math] we are only interested in the dock of [math]-L \leq x \leq 0[/math] together with the fluid domain [math]x \leq 0[/math]. We assume [math]e^{i\omega t}[/math] time dependence and the depth of submergence is [math]d[/math]. The water is assumed to have constant finite depth [math]h[/math] and the [math]z[/math]-direction points vertically upward with the water surface at [math]z=0[/math] and the sea floor at [math]z=-h[/math]. The boundary value problem can therefore be expressed as

Where [math]\alpha = \omega^2/g[/math].

[math]\phi^s(x,z)[/math] is an even function and at [math]x = 0[/math] the derivative of this function is equal to zero. [math]\phi^a(x,z)[/math] is an odd function and at [math]x = 0[/math] this function is equal to zero. These boundary conditions are important and enable the recomposed solution [math]\phi(x,z)[/math] to be reflected into the domain of [math]x \geq 0[/math].

We must also apply the Sommerfeld Radiation Condition as [math]|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]x\leq 0[/math] and [math]x\geq 0[/math].

We express the potential as

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

and then Laplace's equation becomes

[math] \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] \phi(x,z) = X(x)Z(z)\, [/math]

and then Laplace's equation becomes

[math] \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] Z^{\prime\prime} + k^2 Z =0. [/math]

subject to the boundary conditions

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

and

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

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

[math] 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]z=0[/math]. The boundary condition at the free surface ([math]z=0 \,[/math]) gives rise to:

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]k_{0}=\pm ik \,[/math] and the positive real solutions by [math]k_{m} \,[/math], [math]m\geq1[/math]. The [math]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] \cos ix = \cosh x, \quad \sin ix = i\sinh x, [/math]

to arrive at the dispersion relation

[math] \alpha = k\tanh kh. [/math]

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

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

[math] \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] \int\nolimits_{-h}^{0}\chi_{m}(z)\chi_{n}(z) \mathrm{d} z=A_{n}\delta_{mn} [/math]

where

[math] 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]

### Separation of Variables for a Dock

The separation of variables equation for a partially submerged dock is given by:

subject to the boundary conditions

and

The solution is [math]k=\kappa_{m}= \frac{m\pi}{h-d} \,[/math] , [math]m\in\mathbb{N}\cup\left\{0\right\}[/math] and

We note that

where

[math] C_{m} = \frac{1}{2} \left( \frac{\cos\kappa_{m}(h-d)\sin\kappa_{m}(h-d)+\kappa_{m}(h-d)}{\kappa_{m}} \right). [/math]

In addition there is the special case of when [math]m=n=0[/math] ,

[math] C_{0} = h-d, [/math]

where [math]\delta_{00}=1[/math] .

### Inner product between free surface and dock modes

where

The evaluation of this inner product works on the assumption that the two roots [math]\kappa_{m}[/math] and [math]k_{n}[/math] do not coincide. The Matlab code given below has a routine to check for this case and make necessary adjustments.

We also have the case where the functions of the inner product are switched.

For [math]m \geq 0[/math] and [math]n \geq 1[/math] the evaluation is above with the exception that the indices of the expression are switched.

Finally there is the special case of when [math]m \geq 0[/math] and [math]n = 0[/math].

### Expansion of the potential

We need to apply some boundary conditions at plus and minus infinity, where essentially 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 roots. Here we must use a different condition, essentially identifying one solution as the incoming wave and the other as the outgoing wave.

Therefore the diffracted potentials can be expanded as

[math] \phi(x,z)=\sum_{m=0}^{\infty}a_{m}e^{k_{m}x}\chi_{m}(z), \;\;x\lt0 [/math]

and

[math] \phi(x,z)=\sum_{m=0}^{\infty}b_{m} e^{-\kappa_{m}x}\psi_{m}(z), \;\;x\gt0 [/math]

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

### Incident potential

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

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

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

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

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

which represents the reflected wave.

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

### An infinite dimensional system of equations

The **symmetric** and **antisymmetric** potentials [math]\phi^{s,a}(x,z) \,[/math] must be continuous across the
transition from open water to the dock covered region. Therefore, the
potentials at [math]x=-L[/math] have to be equal.
For these cases we obtain:

We multiply both sides by [math]\psi_{n}(z) \,[/math] and integrate from [math]-h[/math] to [math]-d[/math] to obtain:

The derivative of the **symmetric** potential [math]\partial_x\phi^{s}(x,z) \,[/math] must be continuous across the
transition from open water to the dock covered region. Therefore, the derivatives of the potentials at [math]x=-L[/math] have to be equal.
For this case we obtain:

The derivative of the **antisymmetric** potential [math]\partial_x\phi^{a}(x,z) \,[/math] must be continuous across the
transition from open water to the dock covered region. Therefore, the derivatives of the potentials at [math]x=-L[/math] have to be equal.
For this case we obtain:

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

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

## Numerical Solution

To solve the system of equations for the **symmetric** case, we set the upper limit of [math]m[/math] to be [math]N[/math]. This resulting system can be expressed in the block matrix form below,

[math] \begin{bmatrix} B_{00} & B_{01} & \cdots & B_{0N} & -C_{0} & 0 & \cdots & 0 \\ B_{10} & B_{11} & \cdots & B_{1N} & 0 & -C_{1} & \cdots & \vdots \\ \vdots & \vdots & \ddots & \vdots & \vdots & \vdots & \ddots & 0 \\ B_{N0} & B_{N1} & \cdots & B_{NN} & 0 & \cdots & 0 & -C_{N} \\ k_{0}A_{0} & 0 & \cdots & 0 & 0 & \kappa_{1}\tanh(\kappa_{1}L)B_{10} & \cdots & \kappa_{N}\tanh(\kappa_{N}L)B_{N0} \\ 0 & k_{1}A_{1} & \cdots & \vdots & 0 & \kappa_{1}\tanh(\kappa_{1}L)B_{11} & \cdots & \kappa_{N}\tanh(\kappa_{N}L)B_{N1} \\ \vdots & \vdots & \ddots & 0 & \vdots & \vdots & \ddots & \vdots \\ 0 & \cdots & 0 & k_{N}A_{N} & 0 & \kappa_{1}\tanh(\kappa_{1}L)B_{1N} & \cdots & \kappa_{N}\tanh(\kappa_{N}L)B_{NN} \\ \end{bmatrix} \begin{bmatrix} a^s_{0} \\ a^s_{1} \\ \vdots \\ a^s_{N} \\ b^s_{0} \\ b^s_{1} \\ \vdots \\ b^s_{N} \\ \end{bmatrix} =\begin{bmatrix} -B_{00} \\ -B_{10} \\ \vdots \\ -B_{N0} \\ k_{0}A_{0} \\ 0 \\ \vdots \\ 0 \\ \end{bmatrix} [/math]

To solve the system of equations for the **antisymmetric** case, we set the upper limit of [math]m[/math] to be [math]N[/math]. This resulting system can be expressed in the block matrix form below,

[math] \begin{bmatrix} B_{00} & B_{01} & \cdots & B_{0N} & -C_{0} & 0 & \cdots & 0 \\ B_{10} & B_{11} & \cdots & B_{1N} & 0 & -C_{1} & \cdots & \vdots \\ \vdots & \vdots & \ddots & \vdots & \vdots & \vdots & \ddots & 0 \\ B_{N0} & B_{N1} & \cdots & B_{NN} & 0 & \cdots & 0 & -C_{N} \\ k_{0}A_{0} & 0 & \cdots & 0 & \frac{1}{L}D_{0} & \kappa_{1}\coth(\kappa_{1}L)B_{10} & \cdots & \kappa_{N}\coth(\kappa_{N}L)B_{N0} \\ 0 & k_{1}A_{1} & \cdots & \vdots & \frac{1}{L}D_{1} & \kappa_{1}\coth(\kappa_{1}L)B_{11} & \cdots & \kappa_{N}\coth(\kappa_{N}L)B_{N1} \\ \vdots & \vdots & \ddots & 0 & \vdots & \vdots & \ddots & \vdots \\ 0 & \cdots & 0 & k_{N}A_{N} & \frac{1}{L}D_{N} & \kappa_{1}\coth(\kappa_{1}L)B_{1N} & \cdots & \kappa_{N}\coth(\kappa_{N}L)B_{NN} \\ \end{bmatrix} \begin{bmatrix} a^a_{0} \\ a^a_{1} \\ \vdots \\ a^a_{N} \\ b^a_{0} \\ b^a_{1} \\ \vdots \\ b^a_{N} \\ \end{bmatrix} =\begin{bmatrix} -B_{00} \\ -B_{10} \\ \vdots \\ -B_{N0} \\ k_{0}A_{0} \\ 0 \\ \vdots \\ 0 \\ \end{bmatrix} [/math]

We then simply need to solve the two sets of [math]2(N+1) \mbox{ x } 2(N+1)[/math] linear systems of equations. If we had not taken advantage of the symmetry we would need to solve a [math]4(N+1) \mbox{ x } 4(N+1)[/math] linear system of equations for four coefficients [math]a_{m}[/math], [math]b_{m}[/math], [math]c_{m}[/math] and [math]d_{m}[/math].

## Matlab Code

A program to calculate the coefficients for the single finite dock problem using symmetry can be found here semiinfinite_dock.m

### Additional code

This program requires