Difference between revisions of "Interaction Theory for Infinite Arrays"

From WikiWaves
Jump to navigationJump to search
Line 69: Line 69:
 
[[Far Field Waves]]
 
[[Far Field Waves]]
  
[[Category:Infinite Array]]
+
 
 +
 
 +
 
 +
 
 +
 
 +
An algebraically exact solution to the problem of linear water-wave
 +
scattering by a periodic array of scatterers is presented in which the
 +
scatterers may be of arbitrary shape. The method of solution is based
 +
on an interaction theory
 +
 
 +
in which the incident wave on each body from all the other bodies in
 +
the array is expressed in the respective local cylindrical
 +
eigenfunction expansion. We show how to calculate the
 +
slowly convergent terms efficiently which arise in the formulation and
 +
how to calculate the
 +
scattered field far from the array. The application to the problem of
 +
linear acoustic scattering by cylinders with arbitrary cross-section
 +
is also discussed. Numerical calculations are presented to
 +
show that our results agree with previous calculations. We
 +
present some computations for the case of fixed, rigid and elastic floating
 +
bodies of negligible draft concentrating on presenting the 
 +
amplitudes of the scattered waves as functions of the incident angle.
 +
 
 +
 
 +
 
 +
=Introduction=
 +
The scattering of water waves by floating or submerged
 +
bodies is of wide practical importance in marine engineering.
 +
Although water waves are nonlinear, if the
 +
wave amplitude is sufficiently small, the
 +
problem can be well approximated by linear theory and
 +
linear wave theory remains the basis of
 +
most engineering design. It is also the standard
 +
model for many marine geophysical phenomena such as the wave forcing
 +
of ice floes.
 +
 
 +
The problem of the wave scattering by
 +
an infinite array of periodic and identical scatterers is a common model
 +
for wave scattering by a large but finite number of periodic
 +
scatterers, such as may be found in the construction of large
 +
off-shore structures. The periodic-array problem has been investigated
 +
by many authors.
 +
The infinite periodic-array problem in the context of water
 +
waves was considered by [[Spring75,Miles83,linton93,Falcao02]] although
 +
the mathematical techniques for handling such arrays have a much older
 +
provenance dating back to early twentieth century work on diffraction
 +
gratings, e.g.~[[vonIgnatowsky14]]. All of the methods
 +
developed were for scattering bodies that have simple cylindrical
 +
geometry. This leads to a great simplification because the solution
 +
to the scattering problem can be found by separation of variables. If we
 +
want to consider scattering by a periodic array of scatterers of arbitrary
 +
geometry we require a modification to these scattering theories.
 +
 
 +
For a finite number of bodies of arbitrary geometry in water of finite
 +
depth, an interaction theory was developed by [[kagemoto86]]. This
 +
theory was based on Graf's addition theorem for Bessel functions
 +
which allows the incident wave on each body from
 +
the scattered wave due to all the other bodies to be expressed in the local
 +
cylindrical eigenfunction expansion. [[kagemoto86]]
 +
did not present a method to determine the diffraction matrices for
 +
bodies of arbitrary geometry and this was given by [[goo90]].
 +
The interaction theory was extended to infinite depth by
 +
[[JFM04]]. In this present paper we use this interaction theory
 +
to derive a solution for the problem of a periodic array of arbitrary
 +
shaped scatterers. 
 +
 
 +
The use of the interaction theory of [[kagemoto86]] for
 +
a periodic array requires us to find an efficient way to sum the
 +
slowly convergent series which arise in the formulation and to find an
 +
expression for the far field waves in terms of the amplitudes of the
 +
scattered waves from each body. The efficient computation of these
 +
kinds of slowly convergent series 
 +
is due to [[twersky61,linton98]] and the calculation of the
 +
far field is based on [[twersky62]].
 +
 
 +
Recently, motivated by modelling of wave scattering in the marginal
 +
ice zone (MIZ), \citet*{JEM05} considered the scattering of a periodic
 +
array of elastic plates in water of infinite depth. Their method
 +
was based on an integral-equation formulation using a periodic Green's
 +
function.
 +
Beside its application to problems of finite depth, the work presented here is
 +
significantly more efficient than the method of [[JEM05]],
 +
especially if multiple calculations are
 +
required for fixed types of bodies. Such multiple calculations
 +
are required by MIZ scattering models. Furthermore, confidence
 +
that the numerics are correct is one of the
 +
requirements for a successful wave scattering model.
 +
The results of \citeauthor{JEM05} provide a very strong numerical check
 +
for the numerics developed using the model presented here.
 +
 
 +
The MIZ is an interfacial region which forms at
 +
the boundary of the open and frozen ocean. It consists of vast fields
 +
of ice floes whose size is comparable to the dominant wavelength
 +
so that the MIZ strongly scatters the incoming waves.
 +
To understand wave propagation and scattering in the MIZ we need to
 +
understand the way in which large numbers of interacting
 +
ice floes scatter waves. One approach to this problem is to build
 +
up a model MIZ out of rows of periodic arrays of ice floes.
 +
A process of averaging over different arrangements will be required
 +
but from this, a kind of quasi two-dimensional model for wave
 +
scattering can be constructed. The accurate and efficient solution
 +
of the arbitrary periodic array scattering problem is the
 +
cornerstone of such a MIZ model. The standard model for an ice floe is
 +
a floating elastic plate of negligible draft
 +
\cite[]{Squire_Review}. A method of solving for the wave response of a
 +
single ice floe of arbitrary geometry in water of infinite depth was
 +
presented in [[JGR02]]. 
 +
Furthermore, much research has been carried out on this model because of its
 +
additional application to very large floating structures such as a
 +
floating runway. Concerning this application, the current research is
 +
summarized in \citet*{kashiwagi00,watanabe_utsunomiya_wang04}.
 +
 
 +
The paper is organized as follows. We first give a precise formulation
 +
of the problem under consideration and recall the cylindrical
 +
eigenfunction expansions of the water velocity potential. Following the
 +
ideas of general interaction theories, we then derive a system of
 +
equations for the unknown coefficients of the scattered wavefield in
 +
the eigenfunction expansion. In this system, the diffraction transfer
 +
matrix as well as some slowly convergent series appear.
 +
The far field is then determined in terms of
 +
these coefficients and we explicitly show how the diffraction transfer
 +
matrices of arbitrary bodies and the slowly convergent series appearing in
 +
the system of equations can be efficiently calculated. The application
 +
of our method to the acoustic scattering by a periodic array of
 +
cylinders with arbitrary cross-section as well as the water-wave
 +
scattering by an array of fixed, rigid and flexible plates of shallow
 +
draft is discussed. Finally, we compare our results numerically to
 +
some computations from the literature and make some comparisons of
 +
arrays of fixed, rigid and flexible plates.
 +
 
 +
 
 +
 
 +
 
 +
=Formulation of the problem=
 +
 
 +
We consider the water-wave scattering of a plane wave by an
 +
infinite array of identical vertically non-overlapping bodies, denoted by
 +
<math>\Delta_j</math>. The mean-centre positions <math>O_j</math> of <math>\Delta_j</math> are assumed
 +
to be <math>O_j = (jR, 0)</math> where the distance between the bodies, <math>R</math>, is
 +
supposed sufficiently large so that there is no intersection of the
 +
smallest cylinder which contains each body, with any other body. The
 +
ambient plane wave is assumed to travel in the direction
 +
<math>\chi \in (0,\pi/2]</math>
 +
where <math>\chi</math> is measured with respect to the <math>x</math>-axis.
 +
Let <math>(r_j,\theta_j,z)</math> be the local cylindrical coordinates of the
 +
<math>j</math>th body, <math>\Delta_j</math>. Note that the zeroth body is centred at the
 +
origin and its local cylindrical coordinates coincide with the
 +
global ones, <math>(r,\theta,z)</math>. Figure 1 illustrates the setting.
 +
 
 +
\begin{figure}
 +
\begin{center}
 +
\includegraphics[width=.9\columnwidth]{floes}
 +
\caption{Plan view of the relation between the bodies.}(1)
 +
\end{center}
 +
\end{figure}
 +
 
 +
The equations of motion for the water are derived from the linearized
 +
inviscid theory. Under the assumption of irrotational motion the
 +
velocity-vector field of the water can be written as the gradient
 +
field of a scalar velocity potential <math>\Phi</math>. Assuming that the motion
 +
is time-harmonic with radian frequency <math>\omega</math> the
 +
velocity potential can be expressed as the real part of a complex
 +
quantity,
 +
<center><math>(2)
 +
\Phi(\mathbf{y},t) = \Re \{\phi (\mathbf{y}) \mathrm{e}^{-\mathrm{i} \omega t} \}.
 +
</math></center>
 +
To simplify notation, <math>\mathbf{y} = (x,y,z)</math> always denotes a point
 +
in the water, which is assumed to be of constant finite depth <math>d</math>,
 +
while <math>\mathbf{x}</math> always denotes a point of the undisturbed water
 +
surface assumed at <math>z=0</math>.
 +
 
 +
Writing <math>\alpha = \omega^2/g</math> where <math>g</math> is the acceleration due to
 +
gravity, the potential <math>\phi</math> has to
 +
satisfy the standard boundary-value problem
 +
(3)
 +
<center><math>\begin{matrix}
 +
\nabla^2 \phi &= 0, \; & & \mathbf{y} \in D,\\ 
 +
(4)
 +
\frac{\partial \phi}{\partial z} &= \alpha \phi, \; & &
 +
{\mathbf{x}} \in \Gamma^\mathrm{f},\\
 +
(5)
 +
\frac{\partial \phi}{\partial z} &= 0, \; & & \mathbf{y} \in D, \ z=-d,
 +
\intertext{where <math>D = (\mathds{R}^2 \times (-d,0)) \backslash \bigcup_{j}
 +
\bar{\Delta}_j</math> is the domain occupied by the water and
 +
<math>\Gamma^\mathrm{f}</math> is the free water surface. At the immersed body
 +
surface <math>\Gamma_j</math> of <math>\Delta_j</math>, the water velocity potential has to
 +
equal the normal velocity of the body <math>\mathbf{v}_j</math>,}
 +
(6)
 +
\frac{\partial \phi}{\partial n} &= \mathbf{v}_j, \; && {\mathbf{y}}
 +
\in \Gamma_j.
 +
\end{matrix}</math></center>
 +
Moreover, the Sommerfeld radiation condition is imposed
 +
<center><math>
 +
\lim_{\tilde{r} \rightarrow \infty} \sqrt{\tilde{r}} \, \Big(
 +
\frac{\partial}{\partial \tilde{r}} - \mathrm{i} k
 +
\Big) (\phi - \phi^{\mathrm{In}}) = 0,
 +
</math></center>
 +
 
 +
where <math>\tilde{r}^2=x^2+y^2</math>, <math>k</math> is the wavenumber and
 +
<math>\phi^\mathrm{In}</math> is the ambient incident potential. The
 +
positive wavenumber <math>k</math>
 +
is related to <math>\alpha</math> by the dispersion relation
 +
<center><math>(7)
 +
\alpha = k \tanh k d,
 +
</math></center>
 +
and the values of <math>k_m</math>, <math>m>0</math>, are given as positive real roots of
 +
the dispersion relation
 +
<center><math>(8)
 +
\alpha + k_m \tan k_m d = 0.
 +
</math></center>
 +
For ease of notation, we write <math>k_0 = -\mathrm{i} k</math>. Note that <math>k_0</math> is a
 +
(purely imaginary) root of \eqref{eq_k_m}.
 +
 
 +
 
 +
==Eigenfunction expansion of the potential==
 +
 
 +
The scattered potential of a body
 +
<math>\Delta_j</math> can be expanded in singular cylindrical eigenfunctions,
 +
<center><math>(9)
 +
\phi_j^\mathrm{S} (r_j,\theta_j,z) =
 +
\sum_{m=0}^{\infty} f_m(z) \sum_{\mu = -
 +
\infty}^{\infty} A_{m \mu}^j K_\mu (k_m r_j) \mathrm{e}^{\mathrm{i} \mu \theta_j},
 +
</math></center>
 +
with discrete coefficients <math>A_{m \mu}^j</math>, where
 +
<center><math>
 +
f_m(z) = \frac{\cos k_m (z+d)}{\cos k_m d}.
 +
</math></center>
 +
The incident potential upon body <math>\Delta_j</math> can be also be expanded in
 +
regular cylindrical eigenfunctions,
 +
<center><math>(10)
 +
\phi_j^\mathrm{I} (r_j,\theta_j,z) = \sum_{n=0}^{\infty} f_n(z)
 +
\sum_{\nu = - \infty}^{\infty} D_{n\nu}^j I_\nu (k_n r_j) \mathrm{e}^{\mathrm{i} \nu \theta_j},
 +
</math></center>
 +
with discrete coefficients <math>D_{n\nu}^j</math>. In these expansions, <math>I_\nu</math>
 +
and <math>K_\nu</math> denote the modified Bessel functions of the first and
 +
second kind, respectively, both of order <math>\nu</math>.
 +
Note that in
 +
\eqref{basisrep_out_d} (and \eqref{basisrep_in_d}) the term for </math>m =
 +
0<math> (</math>n=0<math>) corresponds to the propagating modes while the
 +
terms for <math>m\geq 1</math> (<math>n\geq 1</math>) correspond to the evanescent modes. For
 +
future reference, we remark that, for real <math>x</math>,
 +
<center><math>(11)
 +
K_\nu (-\mathrm{i} x) = \frac{\pi \i^{\nu+1}}{2} H_\nu^{(1)}(x) \quad
 +
=and=  \quad
 +
I_\nu (-\mathrm{i} x) = \i^{-\nu} J_\nu(x)
 +
</math></center>
 +
with <math>H_\nu^{(1)}</math> and <math>J_\nu</math> denoting the Hankel function and the
 +
Bessel function, respectively, both of first kind and order <math>\nu</math>. 
 +
 
 +
 
 +
\subsection{Representation of the ambient wavefield in the eigenfunction
 +
representation}(12)
 +
In what follows, it is necessary to represent the ambient wavefield in
 +
the eigenfunction expansion \eqref{basisrep_in_d}. A short outline of
 +
how this can be accomplished is given here.
 +
 
 +
In Cartesian coordinates centred at the origin, the ambient wavefield is
 +
given by
 +
<center><math>
 +
\phi^{\mathrm{In}}(x,y,z) = \frac{A g}{\omega}
 +
 
 +
f_0(z) \mathrm{e}^{\mathrm{i} k (x \cos \chi + y \sin \chi)},
 +
</math></center>
 +
where <math>A</math> is the amplitude (in displacement) and <math>\chi</math> is the
 +
angle between the <math>x</math>-axis and the direction in which the wavefield
 +
travels (also cf.~figure 1).
 +
This expression can be written in the eigenfunction expansion
 +
centred at the origin as
 +
<center><math>
 +
\phi^{\mathrm{In}}(r,\theta,z) = \frac{A g}{\omega}
 +
 
 +
f_0(z)
 +
\sum_{\nu = -\infty}^{\infty} \mathrm{e}^{\mathrm{i} \nu (\pi/2 - \theta + \chi)} J_\nu(k r)
 +
</math></center>
 +
\cite[p.~169]{linton01}. 
 +
The local coordinates of each body are centred at their mean-centre
 +
positions <math>O_l = (l R,0)</math>.
 +
In order to represent the ambient wavefield, which is
 +
incident upon all bodies, in the eigenfunction expansion of an
 +
incoming wave in the local coordinates of the body, a phase factor has to be
 +
defined,
 +
<center><math>(13)
 +
P_l = \mathrm{e}^{\mathrm{i} l R k \cos \chi},
 +
</math></center>
 +
which accounts for the position from the origin. Including this phase
 +
factor and
 +
making use of \eqref{H_K}, the ambient wavefield at the <math>l</math>th body is given by
 +
<center><math>
 +
\phi^{\mathrm{In}}(r_l,\theta_l,z) = \frac{A g}{\omega}  \, P_l \,
 +
f_0(z) \sum_{\nu = -\infty}^{\infty}
 +
\mathrm{e}^{\mathrm{i} \nu (\pi -  \chi)} I_\nu(k_0 r_l) \mathrm{e}^{\mathrm{i} \nu \theta_l}.
 +
</math></center>
 +
We can therefore define the coefficients of the ambient wavefield in
 +
the eigenfunction expansion of an incident wave,
 +
<center><math>
 +
\tilde{D}^l_{n\nu} =
 +
\begin{cases}
 +
\frac{A g}{\omega}  P_l \mathrm{e}^{\mathrm{i} \nu (\pi - \chi)}, & n=0,\\
 +
0, & n > 0.
 +
\end{cases}
 +
</math></center>
 +
Note that the evanescent coefficients are all zero due to the
 +
propagating nature of the ambient wave.
 +
 
 +
 
 +
=Derivation of the system of equations=(14)
 +
Following the ideas of general interaction theories
 +
\cite[]{kagemoto86,JFM04}, a system of equations for the unknown
 +
coefficients (in the expansion \eqref{basisrep_out_d}) of the
 +
scattered wavefields of all bodies is developed. This system of
 +
equations is based on transforming the
 +
scattered potential of <math>\Delta_j</math> into an incident potential upon
 +
<math>\Delta_l</math> (<math>j \neq l</math>). Doing this for all bodies simultaneously,
 +
and relating the incident and scattered potential for each body, a system
 +
of equations for the unknown coefficients is developed.
 +
Making use of the periodicity of the geometry and of the ambient incident
 +
wave, this system of equations can then be simplified.
 +
 
 +
The scattered potential <math>\phi_j^{\mathrm{S}}</math> of body <math>\Delta_j</math> needs to be
 +
represented in terms of the incident potential <math>\phi_l^{\mathrm{I}}</math>
 +
upon <math>\Delta_l</math>, <math>j \neq l</math>. From figure
 +
1 we can see that this can be accomplished by using
 +
Graf's addition theorem for Bessel functions given in
 +
\citet[eq. 9.1.79]{abr_ste},
 +
<center><math>(15)
 +
K_\tau(k_m r_j) \mathrm{e}^{\mathrm{i} \tau (\theta_j-\varphi_{j-l})} =
 +
\sum_{\nu = - \infty}^{\infty} K_{\tau + \nu} (k_m \abs{j-l}R) \,
 +
I_\nu (k_m r_l) \mathrm{e}^{\mathrm{i} \nu (\pi - \theta_l + \varphi_{j-l})}, \quad j \neq l,
 +
</math></center>
 +
which is valid provided that <math>r_l < R</math>. The angles <math>\varphi_{n}</math>
 +
account for the difference in direction depending if the <math>j</math>th body is
 +
located to the left or to the right of the <math>l</math>th body and are
 +
defined by
 +
<center><math>
 +
\varphi_n =
 +
\begin{cases}
 +
\pi, & n > 0,\\
 +
0, & n < 0.
 +
\end{cases}
 +
</math></center>
 +
The limitation <math>r_l < R</math> only requires that the escribed cylinder of each body
 +
<math>\Delta_l</math> does not enclose any other origin <math>O_j</math> (<math>j \neq l</math>). However, the
 +
expansion of the scattered and incident potential in cylindrical
 +
eigenfunctions is only valid outside the escribed cylinder of each
 +
body. Therefore the condition that the
 +
escribed cylinder of each body <math>\Delta_l</math> does not enclose any other
 +
origin <math>O_j</math> (<math>j \neq l</math>) is superseded by the more rigorous
 +
restriction that the escribed cylinder of each body may not contain any
 +
other body.
 +
 
 +
Making use of the eigenfunction expansion as well as equation
 +
\eqref{transf}, the scattered potential
 +
of <math>\Delta_j</math> (cf.~\eqref{basisrep_out_d}) can be expressed in terms of the
 +
incident potential upon <math>\Delta_l</math> as
 +
<center><math>\begin{matrix}
 +
\phi_j^{\mathrm{S}} & (r_l,\theta_l,z) \\
 +
&= \sum_{m=0}^\infty f_m(z) \sum_{\tau = -
 +
\infty}^{\infty} A_{m\tau}^j \sum_{\nu = -\infty}^{\infty}
 +
(-1)^\nu K_{\tau-\nu} (k_m \abs{j-l} R) I_\nu (k_m r_l) \mathrm{e}^{\mathrm{i} \nu
 +
\theta_l} \mathrm{e}^{\mathrm{i} (\tau-\nu) \varphi_{j-l}} \\
 +
&= \sum_{m=0}^\infty f_m(z) \sum_{\nu =
 +
-\infty}^{\infty}  \Big[ \sum_{\tau = - \infty}^{\infty} A_{m\tau}^j
 +
(-1)^\nu K_{\tau-\nu} (k_m \abs{j-l} R) \mathrm{e}^{\mathrm{i} (\tau - \nu)
 +
\varphi_{j-l}} \Big] I_\nu (k_m r_l) \mathrm{e}^{\mathrm{i} \nu \theta_l}. 
 +
\end{matrix}</math></center>
 +
The ambient incident wavefield <math>\phi^{\mathrm{In}}</math> can also be
 +
expanded in the eigenfunctions corresponding to the incident wavefield upon
 +
<math>\Delta_l</math>. Let <math>\tilde{D}_{n\nu}^{l}</math> denote the coefficients of this
 +
ambient incident wavefield in the incoming eigenfunction expansion for
 +
<math>\Delta_l</math> (cf.~\S 12). The total
 +
incident wavefield upon body <math>\Delta_j</math> can now be expressed as
 +
<center><math>\begin{matrix}
 +
\phi_l^{\mathrm{I}}(r_l,\theta_l,z) &= \phi^{\mathrm{In}}(r_l,\theta_l,z) +
 +
\sum_{\genfrac{}{}{0pt}{}{j=-\infty}{j \neq l}}^{\infty} \, \phi_j^{\mathrm{S}}
 +
(r_l,\theta_l,z)\\
 +
&= \sum_{n=0}^\infty f_n(z) \sum_{\nu = -\infty}^{\infty}
 +
\Big[  \tilde{D}_{n\nu}^{l} +
 +
\sum_{\genfrac{}{}{0pt}{}{j=-\infty}{j \neq  l}}^{\infty} \sum_{\tau =
 +
-\infty}^{\infty} A_{n\tau}^j (-1)^\nu K_{\tau - \nu}  (k_n
 +
\abs{j-l}R)  \mathrm{e}^{\mathrm{i} (\tau - \nu) \varphi_{j-l}} \Big]\\
 +
&\quad  \times I_\nu (k_n
 +
r_l) \mathrm{e}^{\mathrm{i} \nu \theta_l}.
 +
\end{matrix}</math></center>
 +
The coefficients of the total incident potential upon <math>\Delta_l</math> are
 +
therefore given by
 +
<center><math>(16)
 +
D_{n\nu}^l = \tilde{D}_{n\nu}^{l} +
 +
\sum_{\genfrac{}{}{0pt}{}{j=-\infty}{j \neq  l}}^{\infty} \sum_{\tau =
 +
-\infty}^{\infty} A_{n\tau}^j (-1)^\nu K_{\tau - \nu}  (k_n
 +
\abs{j-l} R)  \mathrm{e}^{\mathrm{i} (\tau - \nu) \varphi_{j-l}}.
 +
</math></center>
 +
 
 +
In general, it is possible to relate the total incident and scattered
 +
partial waves for any body through the diffraction characteristics of
 +
that body in isolation. There exist diffraction transfer operators
 +
<math>B^l</math> that relate the coefficients of the incident and scattered
 +
partial waves, such that
 +
<center><math>
 +
A^l = B^l (D^l), \quad l\in \mathds{Z},
 +
</math></center>
 +
where <math>A^l</math> are the scattered modes due to the incident modes
 +
<math>D^l</math>. Note that since it is assumed that all bodies are identical in
 +
this setting, only one diffraction transfer operator, <math>B</math>, is required.
 +
In the case of a countable number of modes (i.e.~when
 +
the water depth is finite), <math>B</math> is an infinite dimensional matrix. When
 +
the modes are functions of a continuous variable (i.e.~infinite
 +
depth), <math>B</math> is the kernel of an integral operator.
 +
The scattered and incident potential can therefore be related by a
 +
diffraction transfer operator acting in the following way,
 +
<center><math>(18)
 +
A_{m \mu}^l = \sum_{n=0}^{\infty} \sum_{\nu = -\infty}^{\infty} B_{m n
 +
\mu \nu} D_{n\nu}^l.
 +
</math></center>
 +
If the diffraction transfer operator is known (its calculation
 +
is discussed later), the substitution of
 +
\eqref{inc_coeff} into \eqref{diff_op} gives the
 +
required equations to determine the coefficients of the scattered
 +
wavefields of all bodies,
 +
<center><math>(19)
 +
A_{m\mu}^l = \sum_{n=0}^{\infty}
 +
\sum_{\nu = -\infty}^{\infty} B_{mn\mu\nu}
 +
\Big[ \tilde{D}_{n\nu}^{l} +
 +
\sum_{\genfrac{}{}{0pt}{}{j=-\infty}{j \neq  l}}^{\infty} \sum_{\tau =
 +
-\infty}^{\infty} A_{n\tau}^j (-1)^\nu K_{\tau - \nu}  (k_n
 +
\abs{j-l} R) \mathrm{e}^{\mathrm{i} (\tau -\nu) \varphi_{j-l}} \Big],
 +
</math></center>
 +
<math>m \in \mathds{N}</math>, <math>l,\mu \in \mathds{Z}</math>.
 +
 
 +
 
 +
 
 +
 
 +
Due to the periodicity of the geometry and of the incident wave, the
 +
coefficients <math>A_{m\mu}^l</math> can be written as </math>A_{m\mu}^l = P_l
 +
A_{m\mu}^0 = P_l A_{m\mu}<math>, say. The same can be done for the coefficients
 +
of the incident ambient wave, i.e.~</math>\tilde{D}_{n\nu}^{l} = P_l
 +
\tilde{D}_{n\nu}<math> (also cf.~\S
 +
12). Noting that <math>P_l^{-1} = P_{-l}</math> and </math>P_j P_l =
 +
P_{j+l}<math>, \eqref{eq_op} simplifies to 
 +
<center><math>
 +
A_{m\mu} = \sum_{n=0}^{\infty}
 +
\sum_{\nu = -\infty}^{\infty} B_{mn\mu\nu}
 +
\Big[ \tilde{D}_{n\nu} + (-1)^\nu \sum_{\tau =
 +
-\infty}^{\infty} A_{n\tau} \sum_{\genfrac{}{}{0pt}{}{j=-\infty}{j \neq
 +
l}}^{\infty} P_{j-l}  K_{\tau - \nu}  (k_n \abs{j-l} R)  \mathrm{e}^{\i
 +
(\tau - \nu) \varphi_{j-l}} \Big].
 +
</math></center>
 +
Introducing the constants
 +
<center><math>(21)
 +
 
 +
 
 +
 
 +
 
 +
 
 +
\sigma_{\nu}^n = \sum_{\genfrac{}{}{0pt}{}{j=-\infty}{j \neq
 +
l}}^{\infty}  P_{j-l}  K_{\nu} (k_n \abs{j-l} R) \mathrm{e}^{\i
 +
\nu \varphi_{j-l}} =  \sum_{j=1}^{\infty}  (P_{-j}+ (-1)^\nu P_j)
 +
K_{\nu} (k_n j R),
 +
</math></center>
 +
which can be evaluated separately since they do not contain any
 +
unknowns, the problem reduces to
 +
<center><math>(22)
 +
A_{m\mu} = \sum_{n=0}^{\infty}
 +
\sum_{\nu = -\infty}^{\infty} B_{mn\mu\nu}
 +
\Big[ \tilde{D}_{n\nu} + (-1)^\nu \sum_{\tau =
 +
-\infty}^{\infty} A_{n\tau} \, \sigma_{\tau - \nu}^n \Big].
 +
</math></center>
 +
The efficient computation of the constants <math>\sigma_{\nu}^0</math> is not
 +
trivial as the sum in \eqref{sigma} is not absolutely convergent
 +
due to the slow decay of the modified Bessel function of the second
 +
kind for large imaginary argument (The terms in the sum
 +
decay like <math>j^{-1/2} \mathrm{e}^{\mathrm{i} j \theta} </math> for some
 +
<math>\theta</math>). Appropriate methods for the computation of the
 +
<math>\sigma_{\nu}^0</math> are outlined in 
 +
\S 36. The calculation of the constants <math>\sigma_{\nu}^n</math>,
 +
<math>n\neq 0</math>, is easy, however, since the modified Bessel function of the
 +
second kind decays exponentially for large real argument.
 +
 
 +
For numerical calculations, the infinite sums in \eqref{eq_op_sigma}
 +
have to be truncated. Implying a suitable truncation, the
 +
diffraction transfer operator can be represented by a
 +
matrix <math>\mathbf{B}</math>,
 +
the finite-depth diffraction transfer matrix.
 +
Truncating the coefficients accordingly, defining <math>{\mathbf a}</math> to be the
 +
vector of the coefficients of the scattered potential,
 +
<math>\mathbf{d}^{\mathrm{In}}</math> to be the vector of
 +
coefficients of the ambient wavefield, and making use of the matrix
 +
<math>{\mathbf T}</math> given by
 +
<center><math>
 +
({\mathbf T})_{pq} = (-1)^{q} \, \sigma_{p-q}^n,
 +
</math></center>
 +
a linear system of equations
 +
for the unknown coefficients follows from equations \eqref{eq_op_sigma},
 +
<center><math>(24)
 +
(\mathbf{Id} - \mathbf{B} \, \trans {\mathbf T}) {\mathbf a} = \mathbf{B} \,
 +
{\mathbf d}^{\mathrm{In}}, 
 +
</math></center>
 +
where the left superscript <math>\mathrm{t}</math> indicates transposition and
 +
<math>\mathbf{Id}</math> is the identity matrix of the same dimension as <math>\mathbf{B}</math>.
 +
 
 +
 
 +
 
 +
=The far field=
 +
In this section, the far field is examined which describes the
 +
scattering far away from the array. The derivation is equivalent to that of
 +
[[twersky62]]. First, we define the scattering angles
 +
which give the directions of propagation of plane scattered waves
 +
far away from the array. 
 +
Letting <math>p=2\pi/R</math>, define the scattering angles <math>\chi_m</math> by
 +
<center><math>
 +
\chi_m = \arccos (\psi_m/k) \quad =where= 
 +
\quad \psi_m = k \cos \chi + m p
 +
</math></center>
 +
 
 +
and write <math>\psi</math> for <math>\psi_0</math>. Also note that <math>\chi_0 = \chi</math> by definition.
 +
If <math>\abs{\psi_m}<k</math>, i.e.~if
 +
<center><math>
 +
-1 < \cos \chi +\frac{mp}{k}<1,
 +
</math></center>
 +
we say that <math>m\in \mathcal{M}</math> and then <math>0<\chi_m<\pi</math>. It turns out
 +
(see below) that these angles (<math>\pm \chi_m</math> for <math>m \in \mathcal{M}</math>)
 +
are the directions in which plane waves propagate away from the array.
 +
If <math>\abs{\psi_m}>k</math> then <math>\chi_m</math> is no longer real and the
 +
appropriate branch of the <math>\arccos</math> function is given by
 +
<center><math>
 +
\arccos t =
 +
\begin{cases}
 +
\mathrm{i} \arccosh t, & t> 1,\\
 +
\pi-\mathrm{i} \arccosh (-t) & t<-1,
 +
\end{cases}
 +
</math></center>
 +
with <math>\arccosh t = \log \left(t+\sqrt{t^2-1}\right)</math> for <math>t>1</math>.
 +
 
 +
For the total potential we have
 +
<center><math>\begin{matrix} \notag
 +
\phi &=\phi^\mathrm{In}+ \sum_{m=0}^{\infty}
 +
 
 +
f_m(z) \sum_{j=-\infty}^{\infty} P_j
 +
\sum_{\mu = -\infty}^{\infty} A_{m\mu} K_\mu(k_m r_j)\mathrm{e}^{\mathrm{i} \mu\theta_j} \\
 +
&\sim \phi^\mathrm{In}+ \frac{\pi}{2}
 +
 
 +
f_0(z) \sum_{j=-\infty}^{\infty} P_j
 +
\sum_{\mu = -\infty}^{\infty} A_{0\mu} \i^{\mu+1} H^{(1)}_\mu (kr_j)
 +
\mathrm{e}^{\mathrm{i} \mu\theta_j},
 +
(26)
 +
\end{matrix}</math></center>
 +
as <math>kr\to\infty</math>, away from the array axis <math>y=0</math>, where we have used
 +
the identity \eqref{H_K}.
 +
 
 +
The far field can be determined as follows. If we insert the integral
 +
representation
 +
<center><math>
 +
H^{(1)}_\mu (kr) \mathrm{e}^{\mathrm{i} \mu \theta}=
 +
\frac{(-\i)^{\mu+1}}{\pi} \int\limits_{-\infty}^{\infty}
 +
\frac{\mathrm{e}^{-k\gamma(t)\abs{y}}}{\gamma(t)}\,\mathrm{e}^{\mathrm{i} kxt}\,\mathrm{e}^{\i
 +
\mu \sgn(y)\arccos t} \,\mathrm{d} t,
 +
 
 +
</math></center>
 +
in which <math>x=r\cos\theta</math>, <math>y=r\sin\theta</math> and <math>\gamma(t)</math> is defined
 +
for real <math>t</math> by
 +
<center><math>
 +
\gamma(t) =
 +
\begin{cases}
 +
-\mathrm{i} \sqrt{1-t^2} & \abs{t} \leq 1 \\
 +
\sqrt{t^2-1} & \abs{t}>1,
 +
\end{cases}
 +
</math></center>
 +
into (26) we get
 +
<center><math>\begin{matrix}
 +
\phi & \sim\phi^\mathrm{In}+ \frac{1}{2}
 +
 
 +
f_0(z) \sum_{\mu=-\infty}^\infty A_{0\mu} \sum_{j=-\infty}^\infty
 +
\int\limits_{-\infty}^{\infty}
 +
\frac{\mathrm{e}^{-k \gamma(t)\abs{y}}}{\gamma(t)}\,\mathrm{e}^{\mathrm{i} kxt}
 +
\,\mathrm{e}^{\i(\psi-kt) jR}\,\mathrm{e}^{\i
 +
\mu \sgn(y)\arccos t} \,\mathrm{d} t \\
 +
& =\phi^\mathrm{In}+ \frac{\pi}{kR}
 +
 
 +
f_0(z) \sum_{\mu=-\infty}^\infty A_{0\mu}  \sum_{j=-\infty}^\infty
 +
\frac{\mathrm{e}^{-k\gamma(\psi_j/k)\abs{y}}}{\gamma(\psi_j/k)}
 +
\,\mathrm{e}^{\mathrm{i} x\psi_j}\,\mathrm{e}^{\i
 +
\mu\sgn(y)\arccos \psi_j/k} \\
 +
& =\phi^\mathrm{In}+ \frac{\pi\i}{kR}
 +
 
 +
f_0(z) \sum_{\mu=-\infty}^\infty A_{0\mu}  \sum_{j=-\infty}^\infty
 +
\frac{1}{\sin\chi_j} \,\mathrm{e}^{\mathrm{i} kr\cos(\abs{\theta}-\chi_j)}\,\mathrm{e}^{\i
 +
\mu \sgn(\theta)\chi_j},
 +
\end{matrix}</math></center>
 +
in which we have used the Poisson summation formula,
 +
<center><math>
 +
\sum_{m=-\infty}^\infty \int_{-\infty}^{\infty} f(u)\,
 +
\mathrm{e}^{-\mathrm{i} mu} \,\mathrm{d} u=  2\pi \sum_{m=-\infty}^\infty f(2m\pi).
 +
 
 +
</math></center>
 +
The only terms which contribute to the far field are those for which
 +
<math>\abs{\psi_m}<k</math>. Thus, as <math>y\to\pm\infty</math>, the far field consists of
 +
a set of plane waves propagating in the directions <math>\theta=\pm\chi_m</math>:
 +
<center><math>
 +
\phi\sim \phi^\mathrm{In}+ \frac{\pi \i}{kR}
 +
 
 +
f_0(z) \sum_{m\in\mathcal{M}} \frac{1}{\sin\chi_m}
 +
\,\mathrm{e}^{\mathrm{i} kr\cos(\theta\mp\chi_m)}
 +
\sum_{\mu=-\infty}^\infty A_{0\mu} \,\mathrm{e}^{\pm\mathrm{i} \mu\chi_m}.
 +
(30)
 +
</math></center>
 +
>From \eqref{eqn:inffar} the amplitudes of the
 +
scattered waves for each scattering angle <math>\pm \chi_m</math> are given in terms
 +
of the coefficients <math>A_{0\mu}</math> by
 +
<center><math>(31)
 +
A^\pm_m =  \frac{\pi \i}{kR} \frac{1}{\sin\chi_m}
 +
\sum_{\mu=-\infty}^\infty A_{0\mu} \,\mathrm{e}^{\pm\mathrm{i} \mu\chi_m}.
 +
</math></center>
 +
Note that the primary reflection and transmission coefficients are
 +
recovered by <math>A^-_0</math> and <math>1 + A^+_0</math>, respectively.
 +
 
 +
It is implicit in all the above that <math>\sin\chi_m\neq 0</math> for any
 +
<math>m</math>. If <math>\sin\chi_m=0</math> then we have the situation where one of the
 +
scattered plane waves propagates along the array. We will not consider
 +
this resonant case here except for stating that then, the scattered field is
 +
dominated by waves travelling along the array, either towards </math>x =
 +
\infty<math> (if </math>\chi_m = 0<math>) or towards </math>x=-\infty<math> (if </math>\chi_m = \pi<math>).
 +
Also, we will not consider the excitation of Rayleigh-Bloch waves, which
 +
are waves which travel along the array with a phase difference
 +
between adjacent bodies greater than <math>Rk</math> (include refs). Both the resonant
 +
and Rayleigh-Bloch case are important but beyond the scope of the
 +
present work.
 +
 +
 
 +
\section{Calculation of the diffraction transfer matrix for bodies
 +
of arbitrary geometry}
 +
 
 +
Before we can solve the systems of equations for the coefficients in
 +
the eigenfunction expansion of the scattered wavefield
 +
\eqref{eq_tosolve}, we require the
 +
diffraction transfer matrix <math>\mathbf{B}</math> which relates the incident and the
 +
scattered potential for a body <math>\Delta</math> in isolation.
 +
The elements of the diffraction transfer matrix, <math>({\mathbf B})_{pq}</math>,
 +
are the coefficients of the <math>p</math>th partial wave of the scattered
 +
potential due to a single unit-amplitude incident wave of mode <math>q</math>
 +
upon <math>\Delta</math>.
 +
 
 +
An explicit method to calculate the diffraction transfer matrices
 +
for bodies of arbitrary geometry in the case of finite depth is given by
 +
[[goo90]]. We briefly recall their results in our notation.
 +
Utilizing a Green's function the single diffraction boundary-value problem
 +
can be transformed to an integral equation for the
 +
source-strength-distribution function over the immersed surface of the
 +
body. To obtain the potential in the cylindrical eigenfunction expansion,
 +
the free-surface finite-depth Green's function given by [[black75]] and
 +
[[fenton78]],
 +
<center><math>(32)
 +
G (r,\theta,z;s,\vartheta,c) = \sum_{m=0}^{\infty} N_m \, \cos k_m(z+d) \cos
 +
k_m(c+d) \sum_{\nu=-\infty}^{\infty} K_\nu(k_m r) I_\nu(k_m s) \mathrm{e}^{\mathrm{i} \nu
 +
(\theta - \vartheta)},
 +
</math></center>
 +
is then used allowing the scattered potential to be represented in the
 +
eigenfunction expansion with the cylindrical coordinate system fixed
 +
at the point of the water surface above the mean-centre position of
 +
the body. The constants <math>N_m</math> are given by
 +
<center><math>
 +
N_m = \frac{1}{\pi} \frac{k_m^2+\alpha^2}{d(k_m^2+\alpha^2)-\alpha} =
 +
\frac{1}{\pi} \left({d+ \frac{\sin 2 k_m d}{2 k_m}}\right)^{-1}
 +
</math></center>
 +
where the latter representation is often more favourable in numerical
 +
calculations.
 +
 
 +
We assume that we have represented the scattered potential in terms of
 +
the source-strength distribution <math>\varsigma</math> so that the scattered
 +
potential can be written as
 +
<center><math>(33)
 +
\phi^\mathrm{S}(\mathbf{y}) = \int\limits_{\Gamma} G
 +
(\mathbf{y},\mathbf{\zeta}) \, \varsigma (\mathbf{\zeta})
 +
\d\sigma_\mathbf{\zeta}, \quad \mathbf{y} \in D,
 +
</math></center>
 +
where <math>D</math> is the volume occupied by the water and <math>\Gamma</math> is the
 +
immersed surface of body <math>\Delta</math>. The source-strength-distribution
 +
function <math>\varsigma</math> can be found by solving an
 +
integral equation. The integral equation is described in
 +
[[Weh_Lait]] and numerical methods for its solution are outlined in
 +
[[Sarp_Isa]].
 +
Substituting the eigenfunction expansion of the Green's function
 +
\eqref{green_d} into \eqref{int_eq_1}, the scattered potential can
 +
be written as
 +
\begin{multline*}
 +
\phi^\mathrm{S}(r,\theta,z) =
 +
\sum_{m=0}^{\infty} f_m(z)  \sum_{\nu = -
 +
\infty}^{\infty} \bigg[ N_m \cos^2 k_md 
 +
\int\limits_{\Gamma} \cos k_m(c+d) I_\nu(k_m s)
 +
\mathrm{e}^{-\mathrm{i} \nu \vartheta} \varsigma({\mathbf{\zeta}})
 +
\d\sigma_{\mathbf{\zeta}} \bigg]\\ \times K_\nu (k_m r) \mathrm{e}^{\mathrm{i} \nu \theta} \d\eta,
 +
\end{multline*}
 +
where
 +
<math>\mathbf{\zeta}=(s,\vartheta,c)</math> and <math>r>s</math>.
 +
This restriction implies that the eigenfunction expansion is only valid
 +
outside the escribed cylinder of the body.
 +
 
 +
The columns of the diffraction transfer matrix are the coefficients of
 +
the eigenfunction expansion of the scattered wavefield due to the
 +
different incident modes of unit-amplitude. The elements of the
 +
diffraction transfer matrix of a body of arbitrary shape are therefore given by
 +
<center><math>(34)
 +
({\mathbf B})_{pq} = N_m \cos^2 k_md
 +
\int\limits_{\Gamma} \cos k_m(c+d) I_p(k_m s) \mathrm{e}^{-\mathrm{i} p
 +
\vartheta} \varsigma_q(\mathbf{\zeta}) \d\sigma_\mathbf{\zeta}
 +
</math></center>
 +
where
 +
<math>\varsigma_q(\mathbf{\zeta})</math> is the source strength distribution
 +
due to an incident potential of mode <math>q</math> of the form
 +
<center><math>(35)
 +
\phi_q^{\mathrm{I}}(s,\vartheta,c) = f_m(c) I_q
 +
(k_m s) \mathrm{e}^{\mathrm{i} q \vartheta}.
 +
</math></center>
 +
 
 +
It should be noted that, instead of using the source strength distribution
 +
function, it is also possible to consider an integral equation for the
 +
total potential and calculate the elements of the diffraction transfer
 +
matrix from the solution of this integral equation.
 +
An outline of this method for water of finite
 +
depth is given by [[kashiwagi00a]]. 
 +
 
 +
 
 +
=The efficient computation of the <math>\sigma_{\nu=^0</math>}(36)
 +
 
 +
The constants <math>\sigma_{\nu}^0</math> (cf.~\eqref{eq_op_sigma}) appearing in
 +
the system of equations for the coefficients of the scattered
 +
wavefield of the bodies cannot be computed straightforwardly. This is
 +
due to the slow decay of the modified Bessel function of the second
 +
kind for large imaginary argument as was discussed in
 +
\S 14. First, note that
 +
<center><math>
 +
\sigma_{\nu}^0  =  \sum_{j=1}^{\infty}  (P_{-j}+ (-1)^\nu P_j)
 +
K_{\nu} (-\mathrm{i} k j R) =  \frac{\pi \i^{\nu+1}}{2} \sum_{j=1}^{\infty}
 +
(P_{-j}+ (-1)^\nu P_j) H^{(1)}_\nu (kjR),
 +
</math></center>
 +
where we have used \eqref{H_K}.
 +
Therefore, it suffices to discuss the computation of the constants
 +
<math>\tilde{\sigma}^0_\nu</math> defined via
 +
<center><math>
 +
\tilde{\sigma}_{\nu}^0  = \sum_{j=1}^{\infty}
 +
(P_{-j}+ (-1)^\nu P_j) H^{(1)}_\nu (kjR)
 +
</math></center>
 +
as the <math>\sigma^0_\nu</math> are then determined by </math>\sigma^0_\nu =
 +
\pi/2 \,\, \i^{\nu+1} \, \tilde{\sigma}^0_\nu<math>.
 +
 
 +
An efficient way of computing the <math>\tilde{\sigma}_{\nu}^0</math>
 +
is given in [[linton98]] and the results are briefly outlined
 +
in our notation.
 +
Noting that </math>H^{(1)}_{-\nu} (\,\cdot\,)= (-1)^{\nu}
 +
H^{(1)}_{\nu} (\,\cdot\,)<math>, it suffices to discuss the computation of the
 +
<math>\sigma_{\nu}^0</math> for non-negative <math>\nu</math>.
 +
 
 +
Referring to [[linton98]], the constants <math>\tilde{\sigma}_{\nu}^0</math> can
 +
be written as
 +
 
 +
<center><math>
 +
 
 +
\tilde{\sigma}_{0}^0 &= -1 -\frac{2\i}{\pi} \left( C + \log \frac{k}{2p}
 +
\right) + \frac{2}{R k \sin \chi} - \frac{2 \mathrm{i} (k^2 + 2
 +
\psi^2)}{p^3 R} \zeta(3)\\ &\quad
 +
+ \frac{2}{R} \sum_{m=1}^\infty \left(
 +
\frac{1}{k \sin \chi_{-m}} + \frac{1}{k \sin \chi_m} +
 +
\frac{2 \i}{p m} + \frac{\mathrm{i} (k^2 + 2 \psi^2)}{p^3 m^3} \right)
 +
 
 +
</math></center>
 +
where <math>C \approx 0.5772</math> is Euler's constant and <math>\zeta</math>
 +
is the Riemann zeta function and the terms in the
 +
sum converge like <math>O(m^{-4})</math> as <math>m\rightarrow\infty</math>
 +
(by which we mean that the error in the sum is proportional
 +
to <math>m^{-4}</math> for large values of <math>m</math>)
 +
as well as
 +
<center><math>\begin{matrix}
 +
&\quad
 +
\tilde{\sigma}_{2\nu}^0 &= 2 (-1)^{\nu} \left( \frac{\mathrm{e}^{2\mathrm{i} \nu
 +
\chi} }{R k \sin \chi} - \frac{\i}{\pi}
 +
\left( \frac{k}{2 p} \right)^{2\nu} \zeta(2\nu +1) \right) +
 +
\frac{\i}{\nu \pi} \\
 +
&\quad + 2 (-1)^\nu \sum_{m=1}^\infty
 +
\left( \frac{\mathrm{e}^{2\mathrm{i} \nu \chi_m}}{R k \sin \chi_{m}} +
 +
\frac{\mathrm{e}^{-2 \mathrm{i} \nu \chi_{-m}}}{R k \sin \chi_{-m}} +
 +
\frac{\i}{m\pi} \left( \frac{k}{2 m p} \right)^{2\nu}
 +
\right)\\ &\quad
 +
+ \frac{\i}{\pi} \sum_{m=1}^\nu
 +
\frac{(-1)^m 2^{2m} (\nu+m-1)!}{(2m)! (\nu-m)!} \left( \frac{p}{k} \right)^{2m}
 +
B_{2m}(\psi/p),
 +
\\
 +
&
 +
\tilde{\sigma}_{2\nu-1}^0 &= - 2 (-1)^\nu \left( \frac{\mathrm{i}  \mathrm{e}^{\mathrm{i} (2\nu-1)
 +
\chi}}{R k \sin \chi} - \frac{ \psi R
 +
\nu}{\pi^2} \left( \frac{k}{2 p} \right)^{2\nu-1}
 +
\zeta(2\nu +1) \right)\\
 +
&\quad - 2 (-1)^\nu \sum_{m=1}^\infty
 +
\left(\frac{\mathrm{i} \mathrm{e}^{\mathrm{i} (2\nu-1)\chi_m} }{R k \sin \chi_m} +
 +
\frac{\mathrm{i} \mathrm{e}^{-\mathrm{i} (2\nu-1) \chi_{-m}}}{R k \sin \chi_{-m}} +
 +
\frac{\psi R \nu}{m^2\pi^2} \left( \frac{k}{2
 +
m p} \right)^{2\nu-1} \right)\\ &\quad - \frac{2}{\pi} \sum_{m=0}^{\nu-1}
 +
\frac{(-1)^m 2^{2m} (\nu+m-1)!}{(2m+1)! (\nu-m-1)!} \left( \frac{p}{k}
 +
\right)^{2m+1} B_{2m+1}(\psi/p),
 +
 
 +
\end{matrix}</math></center>
 +
 
 +
for <math>\nu>0</math> where <math>B_m</math>
 +
is the <math>m</math>th Bernoulli
 +
polynomial. The slowest convergence in this representation occurs in
 +
<math>\tilde{\sigma}^0_1</math> and <math>\tilde{\sigma}^0_2</math> in which the terms
 +
converge like <math>O(m^{-5})</math> as <math>m\rightarrow\infty</math>.
 +
 
 +
Note that since <math>\sin \chi_m</math> is purely imaginary for </math>m \notin
 +
\mathcal{M}<math>, the computation of the real part of
 +
<math>\tilde{\sigma}_{2\nu}^0</math> and the imaginary part of <math>\tilde{\sigma}_{2\nu-1}^0</math>
 +
is particularly simple. For <math>\nu \geq 0</math>, they are given by
 +
 
 +
<center><math>\begin{matrix}
 +
\Re \tilde{\sigma}_{2\nu}^0 &= -\delta_{\nu 0} + 2(-1)^\nu
 +
\sum_{m\in\mathcal{M}} \frac{\cos 2 \nu \chi_m}{R k \sin \chi_m}, \\
 +
\Im \tilde{\sigma}_{2\nu+1}^0 &= 2\mathrm{i} (-1)^\nu
 +
\sum_{m\in\mathcal{M}} \frac{\cos (2 \nu-1) \chi_m}{R k \sin \chi_m},
 +
\end{matrix}</math></center>
 +
 
 +
where <math>\delta_{mn}</math> is the Kronecker delta.
 +
 
 +
 
 +
 
 +
 
 +
 
 +
\section{Acoustic scattering by an infinite array of identical generalized
 +
cylinders}
 +
The theory above has so far been developed for water-wave scattering
 +
of a plane wave by an infinite array of identical arbitrary bodies. It
 +
can easily be adjusted to the (simpler) two-dimensional problem of acoustic
 +
scattering. Namely, we consider the problem that arises when a plane
 +
sound wave is incident upon an infinite array of identical generalized
 +
cylinders (i.e.~bodies which have arbitrary cross-section in the
 +
<math>(x,y)</math>-plane but the cross-sections at any height are identical) in
 +
an acoustic medium.
 +
 
 +
For this problem, the <math>z</math>-dependence can be omitted and the above
 +
theory applies with the following modifications:
 +
 
 +
 
 +
#The dispersion relation \eqref{eq_k} is replaced by </math>k=\omega /
 +
c<math> where </math>c<math> is the speed of sound in the medium under consideration
 +
and the dispersion relation is \eqref{eq_k_m} omitted.
 +
#All factors <math>\cos k_m(z+d)</math>, <math>\cos k_m(c+d)</math>, <math>\cos k_m d</math>
 +
and <math>f_0</math> are replaced by 1.
 +
#The factor <math>N_0</math> in \eqref{green_d} is <math>k/\pi</math>.
 +
 
 +
Note that point <math>(a)</math> implies that there are no evanescent modes in this
 +
problem, i.e.~the sums over <math>m</math> and <math>n</math> in the eigenfunction expansions
 +
\eqref{basisrep_out_d} and \eqref{basisrep_in_d}, respectively, only
 +
contain the terms for <math>m=0</math> and <math>n=0</math>. Moreover, we have </math>k_0 = -
 +
\mathrm{i} \, \omega /c<math>.
 +
 
 +
For circular cylinders, i.e.~cylinders which have a circular
 +
cross-section, this problem has been considered by [[linton93]]. In
 +
\S 52 we numerically compare our results for this
 +
problem with theirs.
 +
 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
\section{Wave forcing of a fixed, rigid and flexible body
 +
of shallow draft}(37)
 +
 
 +
The theory which has been developed so far has been
 +
for arbitrary bodies. No assumption has been made about the body
 +
geometry or its equations of motion. However, we want use this
 +
theory to make calculations for the specific case of bodies of
 +
shallow draft which may be fixed (which we shall refer to as
 +
a dock), rigid, or elastic (modelled as a thin plate).
 +
In the formulation, we concentrate on the elastic case of which
 +
the other two situations are subcases. This allows us to present
 +
a range of results while focusing on the geophysical problem which
 +
motivates our work, namely the wave scattering by a field of ice floes.
 +
 
 +
==Mathematical model for an elastic plate.==
 +
We briefly describe the mathematical model of a floating
 +
elastic plate. A more detailed account can be found in
 +
[[JGR02,JFM04]]. We assume that the elastic plate is sufficiently thin
 +
that we may apply the shallow-draft approximation, which essentially
 +
applies the boundary conditions underneath the plate at the water
 +
surface. Assuming the
 +
elastic plate to be in contact with the water
 +
surface at all times, its displacement
 +
<math>W</math> is that of the water surface and <math>W</math> is required to satisfy the linear
 +
plate equation in the area occupied by the elastic plate <math>\Delta</math>. In
 +
analogy to \eqref{time}, denoting the time-independent surface displacement
 +
(with the same radian frequency as the water velocity potential due to
 +
linearity) by <math>w</math> (<math>W=\Re\{w \exp(-\mathrm{i}\omega t)\}</math>), the plate
 +
equation becomes 
 +
<center><math>(38)
 +
D \, \nabla^4 w - \omega^2 \, \rho_\Delta \, h \, w = \mathrm{i} \, \omega \, \rho
 +
\, \phi - \rho \, g \, w, \quad {\mathbf{x}} \in \Delta,
 +
</math></center>
 +
with the density of the water <math>\rho</math>, the modulus of rigidity of the
 +
elastic plate <math>D</math>, its density <math>\rho_\Delta</math> and its
 +
thickness <math>h</math>. The right-hand side of \eqref{plate_non} arises from the
 +
linearized Bernoulli equation. It needs to be recalled that
 +
<math>\mathbf{x}</math> always denotes a point of the undisturbed water surface.
 +
Free-edge boundary conditions apply, namely
 +
<center><math>(39)
 +
\left[ \nabla^2 - (1-\nu)
 +
\left(\frac{\partial^2}{\partial s^2} + \kappa(s)
 +
\frac{\partial}{\partial n} \right) \right] w = 0,
 +
</math></center>
 +
<center><math>(40)
 +
\left[ \frac{\partial}{\partial n} \nabla^2 +(1-\nu)
 +
\frac{\partial}{\partial s}
 +
\left( \frac{\partial}{\partial n} \frac{\partial}{\partial s}
 +
-\kappa(s) \frac{\partial}{\partial s} \right) \right] w = 0,
 +
</math></center>
 +
where <math>\nu</math> is Poisson's ratio and
 +
\begin{gather}
 +
\nabla^2 = \frac{\partial^2}{\partial x^2} + \frac{\partial^2}{\partial y^2}
 +
= \frac{\partial^2}{\partial n^2} + \frac{\partial^2}{\partial s^2}
 +
+ \kappa(s) \frac{\partial}{\partial n}.
 +
\end{gather}
 +
Here, <math>\kappa(s)</math> is the curvature of the boundary, <math>\partial \Delta</math>,
 +
as a function of arclength <math>s</math> along <math>\partial \Delta</math>;
 +
<math>\partial/\partial s</math> and <math>\partial/\partial n</math> represent derivatives
 +
tangential and normal to the boundary <math>\partial \Delta</math>, respectively.
 +
 
 +
Non-dimensional variables (denoted with an overbar) are introduced,
 +
<center><math>
 +
(\bar{x},\bar{y},\bar{z}) = \frac{1}{L} (x,y,z), \quad \bar{w} =
 +
\frac{w}{L}, \quad \bar{\alpha} = L\, \alpha, \quad \bar{\omega} = \omega
 +
\sqrt{\frac{L}{g}} \quad =and=  \quad \bar{\phi} = \frac{\phi}{L
 +
\sqrt{L g}},
 +
</math></center>
 +
where <math>L</math> is a length parameter associated with the plate.
 +
In non-dimensional variables, the equation for the elastic plate
 +
\eqref{plate_non} reduces to
 +
<center><math>(41)
 +
\beta \nabla^4 \bar{w} - \bar{\alpha} \gamma \bar{w} = \i
 +
\sqrt{\bar{\alpha}}  \bar{\phi} - \bar{w}, \quad
 +
\bar{\mathbf{x}} \in \bar{\Delta},
 +
</math></center>
 +
with
 +
<center><math>
 +
\beta = \frac{D}{g \rho L^4} \quad =and=  \quad \gamma =
 +
\frac{\rho_\Delta h}{ \rho L}.
 +
</math></center>
 +
The constants <math>\beta</math> and <math>\gamma</math> represent the stiffness and the
 +
mass of the plate, respectively. For convenience, the overbars are
 +
dropped and non-dimensional variables are assumed in what follows.
 +
 
 +
 
 +
==Method of solution==
 +
We briefly outline our method of solution for the coupled water--elastic plate
 +
problem \cite[details can be found in][]{JGR02}.
 +
The problem for the water velocity potential is converted to an
 +
integral equation in the following way. Let <math>G</math> be the
 +
three-dimensional free-surface Green's function for water of finite depth.
 +
The Green's function allows the representation of the scattered water
 +
velocity potential in the standard way,
 +
<center><math>(42)
 +
\phi^\mathrm{S}(\mathbf{y}) = \int\limits_{\Gamma}
 +
\left( \phi^\mathrm{S} (\mathbf{\zeta}) \, \frac{\partial G}{\partial
 +
n_\mathbf{\zeta}} (\mathbf{y};\mathbf{\zeta}) - G
 +
(\mathbf{y};\mathbf{\zeta}) \, \frac{\partial
 +
\phi^\mathrm{S}}{\partial n_\mathbf{\zeta}} (\mathbf{\zeta}) \right)
 +
\d\sigma_\mathbf{\zeta}, \quad \mathbf{y} \in D.
 +
</math></center>
 +
In the case of a shallow draft, the fact that the Green's function is
 +
symmetric and therefore satisfies the free-surface boundary condition
 +
with respect to the second variable as well can be used to
 +
simplify \eqref{int_eq} drastically. Due to the linearity of the problem,
 +
the ambient incident potential can just be added to the equation to obtain the
 +
total water velocity potential,
 +
<math>\phi=\phi^{\mathrm{I}}+\phi^{\mathrm{S}}</math>. Limiting the result to
 +
the water surface leaves the integral equation for the water velocity
 +
potential under the elastic plate,
 +
<center><math>(43)
 +
\phi(\mathbf{x}) = \phi^{\mathrm{I}}(\mathbf{x}) +
 +
\int\limits_{\Delta} G (\mathbf{x};\mathbf{\xi}) \big( \alpha
 +
\phi(\mathbf{\xi}) + \mathrm{i} \sqrt{\alpha} w(\mathbf{\xi}) \big)
 +
\d\sigma_\mathbf{\xi}, \quad \mathbf{x} \in \Delta.
 +
</math></center>
 +
Since the surface displacement of the elastic plate appears in this
 +
integral equation, it is coupled with the plate equation \eqref{plate_final}.
 +
 
 +
==The coupled elastic plate--water equations==
 +
 
 +
Since the operator <math>\nabla^4</math>, subject to the free-edge boundary
 +
conditions, is self-adjoint, a thin plate must possess a set of modes <math>w^k</math>
 +
which satisfy the free boundary conditions and the eigenvalue
 +
equation
 +
<center><math>
 +
\nabla^4 w^k = \lambda_k w^k.
 +
</math></center>
 +
The modes which correspond to different eigenvalues <math>\lambda_k</math> are
 +
orthogonal and the eigenvalues are positive and real. While the plate will
 +
always have repeated eigenvalues, orthogonal modes can still be found and
 +
the modes can be normalized. We therefore assume that the modes are
 +
orthonormal, i.e.
 +
<center><math>
 +
\int\limits_\Delta w^j (\mathbf{\xi}) w^k (\mathbf{\xi})
 +
\d\sigma_{\mathbf{\xi}} = \delta _{jk}.
 +
</math></center>
 +
 
 +
The eigenvalues <math>\lambda_k</math>
 +
have the property that <math>\lambda_k \rightarrow \infty</math> as </math>k \rightarrow
 +
\infty<math> and we order the modes by increasing eigenvalue. These modes can be
 +
used to expand any function over the wetted surface of the elastic
 +
plate <math>\Delta</math>.
 +
 
 +
We expand the displacement of the plate in a finite number of modes <math>M</math>, i.e.
 +
<center><math>(44)
 +
w(\mathbf{x}) =\sum_{k=1}^{M} c_k w^k (\mathbf{x}).
 +
</math></center>
 +
>From the linearity of \eqref{int_eq_hs} the potential can be
 +
written in the form
 +
<center><math>(45)
 +
\phi(\mathbf{x}) =\phi^0(\mathbf{x}) + \sum_{k=1}^{M} c_k \phi^k (\mathbf{x}),
 +
</math></center>
 +
where <math>\phi^0</math> and <math>\phi^k</math> respectively satisfy the integral equations
 +
(46)
 +
<center><math>(47)
 +
\phi^0(\mathbf{x}) = \phi^{\mathrm{I}} (\mathbf{x}) +
 +
\int\limits_\Delta \alpha G (\mathbf{x};\mathbf{\xi}) \phi^0
 +
(\mathbf{\xi}) d\sigma_\mathbf{\xi}
 +
</math></center>
 +
and
 +
<center><math> (48)
 +
\phi^k (\mathbf{x}) = \int\limits_{\Delta} G (\mathbf{x};\mathbf{\xi})
 +
\left( \alpha \phi^k (\mathbf{\xi}) + \mathrm{i} \sqrt{\alpha} w^k
 +
(\mathbf{\xi})\right) \d\sigma_{\mathbf{\xi}}. 
 +
</math></center>
 +
 
 +
The potential <math>\phi^0</math> represents the potential due to the incoming wave
 +
assuming that the displacement of the elastic plate is zero. The potential
 +
<math>\phi^k</math> represents the potential which is generated by the plate
 +
vibrating with the <math>k</math>th mode in the absence of any input wave forcing.
 +
 
 +
We substitute equations \eqref{expansion} and \eqref{expansionphi} into
 +
equation \eqref{plate_final} to obtain
 +
<center><math>(49)
 +
\beta \sum_{k=1}^{M} \lambda_k c_k w^k -\alpha \gamma
 +
\sum_{k=1}^{M} c_k w^k = \mathrm{i} \sqrt{\alpha} \big( \phi^0 +
 +
\sum_{k=1}^{M} c_k \phi^k \big) - \sum_{k=1}^{M} c_k w^k.
 +
</math></center>
 +
To solve equation \eqref{expanded} we multiply by <math>w^j</math> and integrate over
 +
the plate (i.e.~we take the inner product with respect to <math>w^j</math>) taking
 +
into account the orthonormality of the modes <math>w^j</math> and obtain
 +
<center><math>(50)
 +
\beta \lambda_k c_k + \left( 1-\alpha \gamma \right) c_k =
 +
\int\limits_{\Delta} \mathrm{i} \sqrt{\alpha} \big( \phi^0 (\mathbf{\xi})
 +
+ \sum_{j=1}^{N} c_j \phi^j (\mathbf{\xi}) \big) w^k (\mathbf{\xi})
 +
\d\sigma_{\mathbf{\xi}},
 +
</math></center>
 +
which is a matrix equation in <math>c_k</math>.
 +
 
 +
Equation \eqref{final} cannot be solved without determining the modes of
 +
vibration of the thin plate <math>w^k</math> (along with the associated
 +
eigenvalues <math>\lambda_k</math>) and solving the integral equations
 +
\eqref{phi}. We use the finite element method to
 +
determine the modes of vibration \cite[]{Zienkiewicz} and the integral
 +
equations \eqref{phi} are solved by a constant-panel
 +
method \cite[]{Sarp_Isa}. The same set of nodes is used for the
 +
finite-element method and to define the panels for the integral equation.
 +
 
 +
==The fixed and rigid body cases==
 +
 
 +
The fixed and rigid body cases can easily be solved by the method
 +
outlined above since they can be considered special cases.
 +
In the problem of a fixed body (dock), the displacement is always
 +
zero, <math>w=0</math>, so we simply need to solve equation (46) for
 +
<math>\phi=\phi^0</math>. For the case of a rigid body, we need to truncate
 +
the sums in \eqref{expanded} to include the first three modes only
 +
(which correspond to the three modes of rigid motion of the 
 +
plate, namely the heave, pitch and roll). Note that for these modes the
 +
eigenvalue is <math>\lambda_k=0</math> so that the term involving the stiffness
 +
<math>\beta</math> does not appear in equation (50). 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
=Numerical calculations=
 +
 
 +
In this section, we present some numerical computations using the
 +
theory developed in the previous sections. We are particularly
 +
interested in comparisons with results from other methods as well as
 +
using our method to compare the behaviour of different bodies. Besides
 +
comparisons with results from other works, one way to
 +
check the correctness of the implementation is to verify that energy
 +
is conserved, i.e.~the energy of the incoming wave must be equal to
 +
the sum of the energies of all outgoing waves. In terms of the
 +
amplitudes of the scattered waves for each scattering angle </math>\pm
 +
\chi_m<math>, </math>A^\pm_m<math>, (cf.~\eqref{scat_ampl}) this can be written as
 +
<center><math>(51)
 +
\sin \chi = \sum_{m\in \mathcal{M}} \left(\abs{A^-_m}^2 +
 +
\abs{A^+_m + \delta_{0m}}^2 \right) \, \sin \chi_m
 +
</math></center>
 +
where we have assumed an ambient incident potential of unit amplitude.
 +
 
 +
In all calculations presented below, the absolute value of the
 +
difference of both sides in \eqref{energy_cons} is at most
 +
<math>10^{-3}</math>.
 +
 
 +
 
 +
==Comparison with results from [[linton93]]== (52)
 +
We first compare our results to those of [[linton93]] who
 +
considered the acoustic scattering of a plane sound wave incident upon
 +
a periodic array of identical rigid circular cylinders of radius <math>a</math>. It can
 +
be noted that they also discussed the application of their theory to the
 +
water-wave scattering by an infinite row of rigid vertical circular cylinders
 +
extending throughout the water depth. Their method of solution was
 +
based on a multipole expansion but they also included a separation of
 +
variables method which can be viewed as a special case of our method.
 +
 
 +
As \citeauthor{linton93} considered circular cylinders, we need to
 +
obtain the diffraction transfer matrix of rigid circular
 +
cylinders. Due to the axisymmetry, they are particularly simple. In
 +
fact, they are diagonal with diagonal elements
 +
<center><math>
 +
(\mathbf{B})_{pp} =  -I_p'(k_0 a) / K_p'(k_0 a)
 +
</math></center>
 +
 
 +
\cite[cf.][p.~177, for example]{linton01}. Also, there are no evanescent modes
 +
if the ambient incident wave does not contain evanescent modes (which is the
 +
case in their considerations as well as ours).
 +
 
 +
We compare \citeauthor{linton93}' results to ours in terms of the
 +
amplitudes of the scattered waves, <math>A^\pm_m</math>. In particular, we
 +
reproduce their figures 1 (a) and (b) (corresponding to our figure
 +
53) which show the absolute values of
 +
the amplitudes of the scattered waves plotted against <math>ka</math> when </math>a/R =
 +
0.2<math> for the cases </math>\chi = \pi/2<math> and </math>\pi/3<math>,
 +
respectively. Note that they use different choices for defining the incident
 +
angle and spacing of the cylinders. Since \citeauthor{linton93} only
 +
give plotted data we also plot our results (shown in figure
 +
53). A visual comparison of the plots shows that they
 +
are in good agreement with \citeauthor{linton93}' results.
 +
 
 +
\begin{figure}
 +
\begin{tabular}{p{.46\columnwidth}p{.02\columnwidth}p{.46\columnwidth}}
 +
\includegraphics[width=.38\columnwidth]{linton_chi2} &&
 +
\includegraphics[width=.38\columnwidth]{linton_chi3}
 +
\end{tabular}
 +
\caption{Absolute values of the amplitudes of the scattered waves
 +
plotted against <math>ka</math> when <math>a/R = 0.2</math> for the two cases </math>\chi =
 +
\pi/2<math> (left) and </math>\chi = \pi/3<math> (right).}(53)
 +
\end{figure}
 +
 
 +
It is worth noting that for an ambient incident angle of </math>\chi =
 +
\pi/2<math> (normal incidence) the scattered waves appear in pairs
 +
of two corresponding to <math>\pm m</math>, i.e.~they travel in the directions
 +
<math>\pm \chi_m</math> with respect to the array axis. Note that this is
 +
generally true for normal incidence upon arrays of arbitrary bodies
 +
and easily follows from the considerations at the beginning of \S
 +
4. Moreover, as <math>ka</math> is increased, more scattered waves appear. From the
 +
plots in figure 53, it seems that the amplitudes of
 +
the scattered waves have poles in these points
 +
of appearance but a careful consideration shows that they are
 +
actually continuous at these points \cite[cf.][]{linton93}.
 +
 
 +
==Comparison with results from [[JEM05]]==  (54)
 +
 
 +
Next, we compare our results to those of [[JEM05]] who considered
 +
the water-wave scattering by an infinite array of floating elastic
 +
plates in water of infinite depth. The plates were modelled in exactly
 +
the same way as our elastic plates in
 +
\S 37. Their method of solution was based on the use of a
 +
special periodic Green's function in \eqref{int_eq_hs}. As a way of
 +
testing their method, \citeauthor{JEM05} also considered the
 +
scattering from an array of docks (fixed bodies).
 +
Therefore, we reproduce their results for the dock \cite[table 1
 +
in][]{JEM05} and for elastic plates \cite[table 2 in][]{JEM05} in
 +
tables 55 and 56, respectively. In
 +
both cases, the plates are of square geometry with sidelength 4 and
 +
spacing <math>R=6</math>. The ambient wave is of the same wavelength as the
 +
sidelength of the bodies and the incident angle is <math>\chi = \pi/3</math> (in our
 +
notation). In table
 +
56, the elastic plates have non-dimensionalized stiffness
 +
<math>\beta = 0.1</math> and mass <math>\gamma = 0</math>. We choose <math>d=4</math> in order to
 +
simulate infinite depth. Since the elastic plates tend to
 +
lengthen the wave it is necessary to choose a water depth greater than the
 +
standard choice of half the ambient wavelength
 +
\cite[cf.][]{FoxandSquire}.
 +
 
 +
As can be seen, each amplitude in table
 +
55 has a relative difference of less than
 +
<math>6 \cdot 10^{-2}</math> with respect to the values obtained by
 +
\citeauthor{JEM05}. The analogue is true for table 56
 +
with a relative error of less than <math>9 \cdot 10^{-2}</math> except for
 +
<math>A^-_{-1}</math> where the relative error is <math>\approx 0.34</math> (note,
 +
however, that the values in \citeauthor{JEM05} are only given up to
 +
the third decimal place).
 +
The results given in tables 55 and 56
 +
were obtained using 23 angular
 +
propagating modes, three roots of the dispersion relation
 +
\eqref{eq_k_m} (not counting the zeroth root) and seven corresponding angular
 +
evanescent modes each. Note that fewer modes also yield reasonably
 +
good approximations. For example, taking 15 angular propagating
 +
modes, one root of the dispersion relation and three corresponding
 +
angular evanescent modes yields answers differing from those in
 +
tables 55 and 56 only in the fourth decimal place.
 +
 
 +
 
 +
\begin{table}
 +
\begin{center}
 +
\begin{tabular}
 +
<math>m</math>  & <math>A^-_m</math>              & <math>A^+_m</math>\\
 +
<math>-2</math> & <math>-0.2212 - 0.0493\i</math> & <math>+0.2367 + 0.0268\i</math> \\
 +
<math>-1</math> & <math>+0.2862 - 0.2627\i</math> & <math>-0.2029 + 0.3601\i</math>\\
 +
<math>0</math>  & <math>+0.6608 - 0.1889\i</math> & <math>-0.7203 - 0.1237\i</math>
 +
\end{tabular}
 +
\caption{Amplitudes of the scattered waves for the case of a dock.}
 +
(55)
 +
\end{center}
 +
\end{table}
 +
 
 +
 
 +
 
 +
\begin{table}
 +
\begin{center}
 +
\begin{tabular}
 +
<math>m</math>  & <math>A^-_m</math>              & <math>A^+_m</math>\\
 +
<math>-2</math> & <math>+0.0005 + 0.0149\i</math> & <math>-0.0405 - 0.0138\i</math> \\
 +
<math>-1</math> & <math>-0.0202 - 0.0125\i</math> & <math>-0.0712 - 0.1004\i</math> \\
 +
<math>0</math>  & <math>-0.0627 - 0.0790\i</math> & <math>-0.2106 - 0.5896\i</math>
 +
\end{tabular}
 +
\caption{Amplitudes of the scattered waves for the case of a elastic plates.}
 +
(56)
 +
\end{center}
 +
\end{table}
 +
 
 +
 
 +
\subsection{Comparison of the scattering by an array of docks, rigid
 +
plates and elastic plates}
 +
In this section, we use our method to compare the behaviour of
 +
arrays of docks, rigid plates and elastic plates. The equations describing
 +
the different bodies have been derived in \S
 +
37. In order to have a common setting, we choose all
 +
bodies to be square with sidelength 2 and a body spacing of
 +
<math>R=4</math>. The ambient wavelength is <math>\lambda = 1.5</math> and the water depth
 +
is <math>d=0.5</math>.
 +
 
 +
 
 +
In figures 58, 59 and 60 we show the
 +
absolute values of the amplitudes of the scattering angles as
 +
functions of incident angle as well as the solution of the scattering
 +
problem for <math>\chi = \pi/5</math> for an array of docks, rigid plates and elastic
 +
plates, respectively. The elastic plates are chosen to have non-dimensional
 +
stiffness and mass <math>\beta=\gamma=0.02</math> while the rigid plates have
 +
the same mass.  In the plots of the amplitudes of the
 +
scattered waves, we plot <math>\abs{A^-_0}</math> and <math>\abs{1+A^+_0}</math> as solid
 +
lines and the additional scattered waves with symbols as listed in
 +
table 57. Note that the calculation of the amplitudes of the
 +
scattered waves is fairly fast since the most difficult task -- the
 +
calculation of the diffraction transfer matrix -- only needs to be
 +
performed once for each type of body.
 +
 
 +
>From figures 58, 59 and
 +
60, it can be seen that docks generally reflect the energy
 +
much more than the flexible plates. From this point of view, the rigid plates
 +
can be seen as a kind of intermediate setting.
 +
 
 +
For <math>\chi=\pi/5\approx 0.628</math>, the scattering angles are </math>\chi_{-4}
 +
\approx 2.33<math>, </math>\chi_{-3} \approx 1.89<math>, </math>\chi_{-2} \approx 1.51<math>, </math>\chi_{-1}
 +
\approx 1.12<math> (and their negative values). The docks particularly
 +
reflect in the direction <math>-\chi_{-1}</math> (beside <math>-\chi</math>). It can also be
 +
seen that the flexible plates already transmit most of the
 +
energy for this incident angle. The strong decrease in the amplitudes
 +
of their reflected waves appears at about <math>\chi\approx 0.58</math>.  The
 +
decrease of the amplitudes of the reflected waves for the rigid plates
 +
does not appear until a larger incident angle and is also not as
 +
strong. For the docks, such a strong decrease is not observed at
 +
all. Moreover, note that all three types of bodies reflect in the
 +
direction <math>-\chi_1</math> fairly strongly for incident angles
 +
around <math>0.91</math> (where we have </math>-\chi_1 \approx
 +
-0.150<math> for </math>\chi = 0.91<math>).
 +
 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
[[Category:Infinite Array]]</math>

Revision as of 11:51, 4 September 2006

Introduction

There are two approaches to solution for the Infinite Array, one is Infinite Array Green Function the other is based on Interaction Theory. We present here a solution based on the latter, using Kagemoto and Yue Interaction Theory to derive a system of equations for the infinite array. This is based on Peter, Meylan, and Linton 2006

System of equations

We start with the final system of equations of the Kagemoto and Yue Interaction Theory, namely

[math]\displaystyle{ A_{m\mu}^l = \sum_{n=0}^{\infty} \sum_{\nu = -\infty}^{\infty} B_{mn\mu\nu}^l \Big[ \tilde{D}_{n\nu}^{l} + \sum_{j=1,j \neq l}^{N} \sum_{\tau = -\infty}^{\infty} A_{n\tau}^j (-1)^\nu K_{\tau - \nu} (k_n R_{jl}) \mathrm{e}^{\mathrm{i}(\tau -\nu) \varphi_{jl}} \Big], }[/math]

[math]\displaystyle{ m \in \mathbb{N} }[/math], [math]\displaystyle{ \mu \in \mathbb{Z} }[/math], [math]\displaystyle{ l=1,\dots,N }[/math].

For the infinite array, some simplifications of this system can be made. First of all, the bodies are aligned in an evenly spaced array. Denoting the spacing by [math]\displaystyle{ R }[/math], we have [math]\displaystyle{ R_{jl} = |j-l| R }[/math] and

[math]\displaystyle{ \varphi_{n} = \begin{cases} \pi, & n\gt 0,\\ 0, & n\lt 0. \end{cases} }[/math]

Moreover, owing to the periodicity of the array as well as the ambient wave, the coefficients [math]\displaystyle{ A_{m\mu}^l }[/math] can be written as [math]\displaystyle{ A_{m\mu}^l = P_l A_{m\mu}^0 = P_l A_{m\mu} }[/math], where the phase factor [math]\displaystyle{ P_l }[/math] is given by


[math]\displaystyle{ \ P_l = \mathrm{e}^{\mathrm{i}Rk\cos \chi}, }[/math]

where [math]\displaystyle{ \chi }[/math] is the angle which the direction of the ambient waves makes with the [math]\displaystyle{ x }[/math]-axis. The same can be done for the coefficients of the ambient wave, i.e. [math]\displaystyle{ \tilde{D}_{n\nu}^{l} = P_l \tilde{D}_{n\nu} }[/math].

Therefore, the system simplifies to

[math]\displaystyle{ A_{m\mu} = \sum_{n=0}^{\infty} \sum_{\nu = -\infty}^{\infty} B_{mn\mu\nu} \Big[ \tilde{D}_{n\nu} + (-1)^\nu \sum_{\tau = -\infty}^{\infty} A_{n\tau} \sum_{j=-\infty,j \neq 0}^{\infty} P_{j} K_{\tau - \nu} (k_n |j|R) \mathrm{e}^{\mathrm{i}(\tau -\nu) \varphi_{j-l}} \Big]. }[/math]

Introducing the constants

[math]\displaystyle{ \sigma^n_\nu = \sum_{j=-\infty,j \neq 0}^{\infty} P_{j} K_\nu(k_n|j|R) \mathrm{e}^{\mathrm{i}\nu \varphi_{j}} = \sum_{j=1}^{\infty} (P_{-j} + (-1)^\nu P_j) K_\nu(k_njR), }[/math]

which can be evaluated separately since they do not contain any unknowns, the problem reduces to

[math]\displaystyle{ A_{m\mu} = \sum_{n=0}^{\infty} \sum_{\nu = -\infty}^{\infty} B_{mn\mu\nu} \Big[ \tilde{D}_{n\nu} + (-1)^\nu \sum_{\tau = -\infty}^{\infty} A_{n\tau} \sigma^n_{\tau-\nu} \Big], }[/math]

[math]\displaystyle{ m \in \mathbb{N} }[/math], [math]\displaystyle{ \mu \in \mathbb{Z} }[/math]. Note that this system of equations is for the body centred at the origin only. The scattered waves of all other bodies can be obtained from its solution by the simple formula [math]\displaystyle{ A_{m\mu}^l = P_l A_{m\mu} }[/math].

Far Field Waves




An algebraically exact solution to the problem of linear water-wave scattering by a periodic array of scatterers is presented in which the scatterers may be of arbitrary shape. The method of solution is based on an interaction theory

in which the incident wave on each body from all the other bodies in the array is expressed in the respective local cylindrical eigenfunction expansion. We show how to calculate the slowly convergent terms efficiently which arise in the formulation and how to calculate the scattered field far from the array. The application to the problem of linear acoustic scattering by cylinders with arbitrary cross-section is also discussed. Numerical calculations are presented to show that our results agree with previous calculations. We present some computations for the case of fixed, rigid and elastic floating bodies of negligible draft concentrating on presenting the amplitudes of the scattered waves as functions of the incident angle.


Introduction

The scattering of water waves by floating or submerged bodies is of wide practical importance in marine engineering. Although water waves are nonlinear, if the wave amplitude is sufficiently small, the problem can be well approximated by linear theory and linear wave theory remains the basis of most engineering design. It is also the standard model for many marine geophysical phenomena such as the wave forcing of ice floes.

The problem of the wave scattering by an infinite array of periodic and identical scatterers is a common model for wave scattering by a large but finite number of periodic scatterers, such as may be found in the construction of large off-shore structures. The periodic-array problem has been investigated by many authors. The infinite periodic-array problem in the context of water waves was considered by Spring75,Miles83,linton93,Falcao02 although the mathematical techniques for handling such arrays have a much older provenance dating back to early twentieth century work on diffraction gratings, e.g.~vonIgnatowsky14. All of the methods developed were for scattering bodies that have simple cylindrical geometry. This leads to a great simplification because the solution to the scattering problem can be found by separation of variables. If we want to consider scattering by a periodic array of scatterers of arbitrary geometry we require a modification to these scattering theories.

For a finite number of bodies of arbitrary geometry in water of finite depth, an interaction theory was developed by kagemoto86. This theory was based on Graf's addition theorem for Bessel functions which allows the incident wave on each body from the scattered wave due to all the other bodies to be expressed in the local cylindrical eigenfunction expansion. kagemoto86 did not present a method to determine the diffraction matrices for bodies of arbitrary geometry and this was given by goo90. The interaction theory was extended to infinite depth by JFM04. In this present paper we use this interaction theory to derive a solution for the problem of a periodic array of arbitrary shaped scatterers.

The use of the interaction theory of kagemoto86 for a periodic array requires us to find an efficient way to sum the slowly convergent series which arise in the formulation and to find an expression for the far field waves in terms of the amplitudes of the scattered waves from each body. The efficient computation of these kinds of slowly convergent series is due to twersky61,linton98 and the calculation of the far field is based on twersky62.

Recently, motivated by modelling of wave scattering in the marginal ice zone (MIZ), \citet*{JEM05} considered the scattering of a periodic array of elastic plates in water of infinite depth. Their method was based on an integral-equation formulation using a periodic Green's function. Beside its application to problems of finite depth, the work presented here is significantly more efficient than the method of JEM05, especially if multiple calculations are required for fixed types of bodies. Such multiple calculations are required by MIZ scattering models. Furthermore, confidence that the numerics are correct is one of the requirements for a successful wave scattering model. The results of \citeauthor{JEM05} provide a very strong numerical check for the numerics developed using the model presented here.

The MIZ is an interfacial region which forms at the boundary of the open and frozen ocean. It consists of vast fields of ice floes whose size is comparable to the dominant wavelength so that the MIZ strongly scatters the incoming waves. To understand wave propagation and scattering in the MIZ we need to understand the way in which large numbers of interacting ice floes scatter waves. One approach to this problem is to build up a model MIZ out of rows of periodic arrays of ice floes. A process of averaging over different arrangements will be required but from this, a kind of quasi two-dimensional model for wave scattering can be constructed. The accurate and efficient solution of the arbitrary periodic array scattering problem is the cornerstone of such a MIZ model. The standard model for an ice floe is a floating elastic plate of negligible draft \cite[]{Squire_Review}. A method of solving for the wave response of a single ice floe of arbitrary geometry in water of infinite depth was presented in JGR02. Furthermore, much research has been carried out on this model because of its additional application to very large floating structures such as a floating runway. Concerning this application, the current research is summarized in \citet*{kashiwagi00,watanabe_utsunomiya_wang04}.

The paper is organized as follows. We first give a precise formulation of the problem under consideration and recall the cylindrical eigenfunction expansions of the water velocity potential. Following the ideas of general interaction theories, we then derive a system of equations for the unknown coefficients of the scattered wavefield in the eigenfunction expansion. In this system, the diffraction transfer matrix as well as some slowly convergent series appear. The far field is then determined in terms of these coefficients and we explicitly show how the diffraction transfer matrices of arbitrary bodies and the slowly convergent series appearing in the system of equations can be efficiently calculated. The application of our method to the acoustic scattering by a periodic array of cylinders with arbitrary cross-section as well as the water-wave scattering by an array of fixed, rigid and flexible plates of shallow draft is discussed. Finally, we compare our results numerically to some computations from the literature and make some comparisons of arrays of fixed, rigid and flexible plates.



Formulation of the problem

We consider the water-wave scattering of a plane wave by an infinite array of identical vertically non-overlapping bodies, denoted by [math]\displaystyle{ \Delta_j }[/math]. The mean-centre positions [math]\displaystyle{ O_j }[/math] of [math]\displaystyle{ \Delta_j }[/math] are assumed to be [math]\displaystyle{ O_j = (jR, 0) }[/math] where the distance between the bodies, [math]\displaystyle{ R }[/math], is supposed sufficiently large so that there is no intersection of the smallest cylinder which contains each body, with any other body. The ambient plane wave is assumed to travel in the direction [math]\displaystyle{ \chi \in (0,\pi/2] }[/math] where [math]\displaystyle{ \chi }[/math] is measured with respect to the [math]\displaystyle{ x }[/math]-axis. Let [math]\displaystyle{ (r_j,\theta_j,z) }[/math] be the local cylindrical coordinates of the [math]\displaystyle{ j }[/math]th body, [math]\displaystyle{ \Delta_j }[/math]. Note that the zeroth body is centred at the origin and its local cylindrical coordinates coincide with the global ones, [math]\displaystyle{ (r,\theta,z) }[/math]. Figure 1 illustrates the setting.

\begin{figure} \begin{center} \includegraphics[width=.9\columnwidth]{floes} \caption{Plan view of the relation between the bodies.}(1) \end{center} \end{figure}

The equations of motion for the water are derived from the linearized inviscid theory. Under the assumption of irrotational motion the velocity-vector field of the water can be written as the gradient field of a scalar velocity potential [math]\displaystyle{ \Phi }[/math]. Assuming that the motion is time-harmonic with radian frequency [math]\displaystyle{ \omega }[/math] the velocity potential can be expressed as the real part of a complex quantity,

[math]\displaystyle{ (2) \Phi(\mathbf{y},t) = \Re \{\phi (\mathbf{y}) \mathrm{e}^{-\mathrm{i} \omega t} \}. }[/math]

To simplify notation, [math]\displaystyle{ \mathbf{y} = (x,y,z) }[/math] always denotes a point in the water, which is assumed to be of constant finite depth [math]\displaystyle{ d }[/math], while [math]\displaystyle{ \mathbf{x} }[/math] always denotes a point of the undisturbed water surface assumed at [math]\displaystyle{ z=0 }[/math].

Writing [math]\displaystyle{ \alpha = \omega^2/g }[/math] where [math]\displaystyle{ g }[/math] is the acceleration due to gravity, the potential [math]\displaystyle{ \phi }[/math] has to satisfy the standard boundary-value problem (3)

[math]\displaystyle{ \begin{matrix} \nabla^2 \phi &= 0, \; & & \mathbf{y} \in D,\\ (4) \frac{\partial \phi}{\partial z} &= \alpha \phi, \; & & {\mathbf{x}} \in \Gamma^\mathrm{f},\\ (5) \frac{\partial \phi}{\partial z} &= 0, \; & & \mathbf{y} \in D, \ z=-d, \intertext{where \lt math\gt D = (\mathds{R}^2 \times (-d,0)) \backslash \bigcup_{j} \bar{\Delta}_j }[/math] is the domain occupied by the water and

[math]\displaystyle{ \Gamma^\mathrm{f} }[/math] is the free water surface. At the immersed body surface [math]\displaystyle{ \Gamma_j }[/math] of [math]\displaystyle{ \Delta_j }[/math], the water velocity potential has to equal the normal velocity of the body [math]\displaystyle{ \mathbf{v}_j }[/math],} (6) \frac{\partial \phi}{\partial n} &= \mathbf{v}_j, \; && {\mathbf{y}} \in \Gamma_j.

\end{matrix}</math>

Moreover, the Sommerfeld radiation condition is imposed

[math]\displaystyle{ \lim_{\tilde{r} \rightarrow \infty} \sqrt{\tilde{r}} \, \Big( \frac{\partial}{\partial \tilde{r}} - \mathrm{i} k \Big) (\phi - \phi^{\mathrm{In}}) = 0, }[/math]

where [math]\displaystyle{ \tilde{r}^2=x^2+y^2 }[/math], [math]\displaystyle{ k }[/math] is the wavenumber and [math]\displaystyle{ \phi^\mathrm{In} }[/math] is the ambient incident potential. The positive wavenumber [math]\displaystyle{ k }[/math] is related to [math]\displaystyle{ \alpha }[/math] by the dispersion relation

[math]\displaystyle{ (7) \alpha = k \tanh k d, }[/math]

and the values of [math]\displaystyle{ k_m }[/math], [math]\displaystyle{ m\gt 0 }[/math], are given as positive real roots of the dispersion relation

[math]\displaystyle{ (8) \alpha + k_m \tan k_m d = 0. }[/math]

For ease of notation, we write [math]\displaystyle{ k_0 = -\mathrm{i} k }[/math]. Note that [math]\displaystyle{ k_0 }[/math] is a (purely imaginary) root of \eqref{eq_k_m}.


Eigenfunction expansion of the potential

The scattered potential of a body [math]\displaystyle{ \Delta_j }[/math] can be expanded in singular cylindrical eigenfunctions,

[math]\displaystyle{ (9) \phi_j^\mathrm{S} (r_j,\theta_j,z) = \sum_{m=0}^{\infty} f_m(z) \sum_{\mu = - \infty}^{\infty} A_{m \mu}^j K_\mu (k_m r_j) \mathrm{e}^{\mathrm{i} \mu \theta_j}, }[/math]

with discrete coefficients [math]\displaystyle{ A_{m \mu}^j }[/math], where

[math]\displaystyle{ f_m(z) = \frac{\cos k_m (z+d)}{\cos k_m d}. }[/math]

The incident potential upon body [math]\displaystyle{ \Delta_j }[/math] can be also be expanded in regular cylindrical eigenfunctions,

[math]\displaystyle{ (10) \phi_j^\mathrm{I} (r_j,\theta_j,z) = \sum_{n=0}^{\infty} f_n(z) \sum_{\nu = - \infty}^{\infty} D_{n\nu}^j I_\nu (k_n r_j) \mathrm{e}^{\mathrm{i} \nu \theta_j}, }[/math]

with discrete coefficients [math]\displaystyle{ D_{n\nu}^j }[/math]. In these expansions, [math]\displaystyle{ I_\nu }[/math] and [math]\displaystyle{ K_\nu }[/math] denote the modified Bessel functions of the first and second kind, respectively, both of order [math]\displaystyle{ \nu }[/math]. Note that in \eqref{basisrep_out_d} (and \eqref{basisrep_in_d}) the term for </math>m = 0[math]\displaystyle{ ( }[/math]n=0[math]\displaystyle{ ) corresponds to the propagating modes while the terms for \lt math\gt m\geq 1 }[/math] ([math]\displaystyle{ n\geq 1 }[/math]) correspond to the evanescent modes. For future reference, we remark that, for real [math]\displaystyle{ x }[/math],

[math]\displaystyle{ (11) K_\nu (-\mathrm{i} x) = \frac{\pi \i^{\nu+1}}{2} H_\nu^{(1)}(x) \quad =and= \quad I_\nu (-\mathrm{i} x) = \i^{-\nu} J_\nu(x) }[/math]

with [math]\displaystyle{ H_\nu^{(1)} }[/math] and [math]\displaystyle{ J_\nu }[/math] denoting the Hankel function and the Bessel function, respectively, both of first kind and order [math]\displaystyle{ \nu }[/math].


\subsection{Representation of the ambient wavefield in the eigenfunction representation}(12) In what follows, it is necessary to represent the ambient wavefield in the eigenfunction expansion \eqref{basisrep_in_d}. A short outline of how this can be accomplished is given here.

In Cartesian coordinates centred at the origin, the ambient wavefield is given by

[math]\displaystyle{ \phi^{\mathrm{In}}(x,y,z) = \frac{A g}{\omega} f_0(z) \mathrm{e}^{\mathrm{i} k (x \cos \chi + y \sin \chi)}, }[/math]

where [math]\displaystyle{ A }[/math] is the amplitude (in displacement) and [math]\displaystyle{ \chi }[/math] is the angle between the [math]\displaystyle{ x }[/math]-axis and the direction in which the wavefield travels (also cf.~figure 1). This expression can be written in the eigenfunction expansion centred at the origin as

[math]\displaystyle{ \phi^{\mathrm{In}}(r,\theta,z) = \frac{A g}{\omega} f_0(z) \sum_{\nu = -\infty}^{\infty} \mathrm{e}^{\mathrm{i} \nu (\pi/2 - \theta + \chi)} J_\nu(k r) }[/math]

\cite[p.~169]{linton01}. The local coordinates of each body are centred at their mean-centre positions [math]\displaystyle{ O_l = (l R,0) }[/math]. In order to represent the ambient wavefield, which is incident upon all bodies, in the eigenfunction expansion of an incoming wave in the local coordinates of the body, a phase factor has to be defined,

[math]\displaystyle{ (13) P_l = \mathrm{e}^{\mathrm{i} l R k \cos \chi}, }[/math]

which accounts for the position from the origin. Including this phase factor and making use of \eqref{H_K}, the ambient wavefield at the [math]\displaystyle{ l }[/math]th body is given by

[math]\displaystyle{ \phi^{\mathrm{In}}(r_l,\theta_l,z) = \frac{A g}{\omega} \, P_l \, f_0(z) \sum_{\nu = -\infty}^{\infty} \mathrm{e}^{\mathrm{i} \nu (\pi - \chi)} I_\nu(k_0 r_l) \mathrm{e}^{\mathrm{i} \nu \theta_l}. }[/math]

We can therefore define the coefficients of the ambient wavefield in the eigenfunction expansion of an incident wave,

[math]\displaystyle{ \tilde{D}^l_{n\nu} = \begin{cases} \frac{A g}{\omega} P_l \mathrm{e}^{\mathrm{i} \nu (\pi - \chi)}, & n=0,\\ 0, & n \gt 0. \end{cases} }[/math]

Note that the evanescent coefficients are all zero due to the propagating nature of the ambient wave.


=Derivation of the system of equations=(14) Following the ideas of general interaction theories \cite[]{kagemoto86,JFM04}, a system of equations for the unknown coefficients (in the expansion \eqref{basisrep_out_d}) of the scattered wavefields of all bodies is developed. This system of equations is based on transforming the scattered potential of [math]\displaystyle{ \Delta_j }[/math] into an incident potential upon [math]\displaystyle{ \Delta_l }[/math] ([math]\displaystyle{ j \neq l }[/math]). Doing this for all bodies simultaneously, and relating the incident and scattered potential for each body, a system of equations for the unknown coefficients is developed. Making use of the periodicity of the geometry and of the ambient incident wave, this system of equations can then be simplified.

The scattered potential [math]\displaystyle{ \phi_j^{\mathrm{S}} }[/math] of body [math]\displaystyle{ \Delta_j }[/math] needs to be represented in terms of the incident potential [math]\displaystyle{ \phi_l^{\mathrm{I}} }[/math] upon [math]\displaystyle{ \Delta_l }[/math], [math]\displaystyle{ j \neq l }[/math]. From figure 1 we can see that this can be accomplished by using Graf's addition theorem for Bessel functions given in \citet[eq. 9.1.79]{abr_ste},

[math]\displaystyle{ (15) K_\tau(k_m r_j) \mathrm{e}^{\mathrm{i} \tau (\theta_j-\varphi_{j-l})} = \sum_{\nu = - \infty}^{\infty} K_{\tau + \nu} (k_m \abs{j-l}R) \, I_\nu (k_m r_l) \mathrm{e}^{\mathrm{i} \nu (\pi - \theta_l + \varphi_{j-l})}, \quad j \neq l, }[/math]

which is valid provided that [math]\displaystyle{ r_l \lt R }[/math]. The angles [math]\displaystyle{ \varphi_{n} }[/math] account for the difference in direction depending if the [math]\displaystyle{ j }[/math]th body is located to the left or to the right of the [math]\displaystyle{ l }[/math]th body and are defined by

[math]\displaystyle{ \varphi_n = \begin{cases} \pi, & n \gt 0,\\ 0, & n \lt 0. \end{cases} }[/math]

The limitation [math]\displaystyle{ r_l \lt R }[/math] only requires that the escribed cylinder of each body [math]\displaystyle{ \Delta_l }[/math] does not enclose any other origin [math]\displaystyle{ O_j }[/math] ([math]\displaystyle{ j \neq l }[/math]). However, the expansion of the scattered and incident potential in cylindrical eigenfunctions is only valid outside the escribed cylinder of each body. Therefore the condition that the escribed cylinder of each body [math]\displaystyle{ \Delta_l }[/math] does not enclose any other origin [math]\displaystyle{ O_j }[/math] ([math]\displaystyle{ j \neq l }[/math]) is superseded by the more rigorous restriction that the escribed cylinder of each body may not contain any other body.

Making use of the eigenfunction expansion as well as equation \eqref{transf}, the scattered potential of [math]\displaystyle{ \Delta_j }[/math] (cf.~\eqref{basisrep_out_d}) can be expressed in terms of the incident potential upon [math]\displaystyle{ \Delta_l }[/math] as

[math]\displaystyle{ \begin{matrix} \phi_j^{\mathrm{S}} & (r_l,\theta_l,z) \\ &= \sum_{m=0}^\infty f_m(z) \sum_{\tau = - \infty}^{\infty} A_{m\tau}^j \sum_{\nu = -\infty}^{\infty} (-1)^\nu K_{\tau-\nu} (k_m \abs{j-l} R) I_\nu (k_m r_l) \mathrm{e}^{\mathrm{i} \nu \theta_l} \mathrm{e}^{\mathrm{i} (\tau-\nu) \varphi_{j-l}} \\ &= \sum_{m=0}^\infty f_m(z) \sum_{\nu = -\infty}^{\infty} \Big[ \sum_{\tau = - \infty}^{\infty} A_{m\tau}^j (-1)^\nu K_{\tau-\nu} (k_m \abs{j-l} R) \mathrm{e}^{\mathrm{i} (\tau - \nu) \varphi_{j-l}} \Big] I_\nu (k_m r_l) \mathrm{e}^{\mathrm{i} \nu \theta_l}. \end{matrix} }[/math]

The ambient incident wavefield [math]\displaystyle{ \phi^{\mathrm{In}} }[/math] can also be expanded in the eigenfunctions corresponding to the incident wavefield upon [math]\displaystyle{ \Delta_l }[/math]. Let [math]\displaystyle{ \tilde{D}_{n\nu}^{l} }[/math] denote the coefficients of this ambient incident wavefield in the incoming eigenfunction expansion for [math]\displaystyle{ \Delta_l }[/math] (cf.~\S 12). The total incident wavefield upon body [math]\displaystyle{ \Delta_j }[/math] can now be expressed as

[math]\displaystyle{ \begin{matrix} \phi_l^{\mathrm{I}}(r_l,\theta_l,z) &= \phi^{\mathrm{In}}(r_l,\theta_l,z) + \sum_{\genfrac{}{}{0pt}{}{j=-\infty}{j \neq l}}^{\infty} \, \phi_j^{\mathrm{S}} (r_l,\theta_l,z)\\ &= \sum_{n=0}^\infty f_n(z) \sum_{\nu = -\infty}^{\infty} \Big[ \tilde{D}_{n\nu}^{l} + \sum_{\genfrac{}{}{0pt}{}{j=-\infty}{j \neq l}}^{\infty} \sum_{\tau = -\infty}^{\infty} A_{n\tau}^j (-1)^\nu K_{\tau - \nu} (k_n \abs{j-l}R) \mathrm{e}^{\mathrm{i} (\tau - \nu) \varphi_{j-l}} \Big]\\ &\quad \times I_\nu (k_n r_l) \mathrm{e}^{\mathrm{i} \nu \theta_l}. \end{matrix} }[/math]

The coefficients of the total incident potential upon [math]\displaystyle{ \Delta_l }[/math] are therefore given by

[math]\displaystyle{ (16) D_{n\nu}^l = \tilde{D}_{n\nu}^{l} + \sum_{\genfrac{}{}{0pt}{}{j=-\infty}{j \neq l}}^{\infty} \sum_{\tau = -\infty}^{\infty} A_{n\tau}^j (-1)^\nu K_{\tau - \nu} (k_n \abs{j-l} R) \mathrm{e}^{\mathrm{i} (\tau - \nu) \varphi_{j-l}}. }[/math]

In general, it is possible to relate the total incident and scattered partial waves for any body through the diffraction characteristics of that body in isolation. There exist diffraction transfer operators [math]\displaystyle{ B^l }[/math] that relate the coefficients of the incident and scattered partial waves, such that

[math]\displaystyle{ A^l = B^l (D^l), \quad l\in \mathds{Z}, }[/math]

where [math]\displaystyle{ A^l }[/math] are the scattered modes due to the incident modes [math]\displaystyle{ D^l }[/math]. Note that since it is assumed that all bodies are identical in this setting, only one diffraction transfer operator, [math]\displaystyle{ B }[/math], is required. In the case of a countable number of modes (i.e.~when the water depth is finite), [math]\displaystyle{ B }[/math] is an infinite dimensional matrix. When the modes are functions of a continuous variable (i.e.~infinite depth), [math]\displaystyle{ B }[/math] is the kernel of an integral operator. The scattered and incident potential can therefore be related by a diffraction transfer operator acting in the following way,

[math]\displaystyle{ (18) A_{m \mu}^l = \sum_{n=0}^{\infty} \sum_{\nu = -\infty}^{\infty} B_{m n \mu \nu} D_{n\nu}^l. }[/math]

If the diffraction transfer operator is known (its calculation is discussed later), the substitution of \eqref{inc_coeff} into \eqref{diff_op} gives the required equations to determine the coefficients of the scattered wavefields of all bodies,

[math]\displaystyle{ (19) A_{m\mu}^l = \sum_{n=0}^{\infty} \sum_{\nu = -\infty}^{\infty} B_{mn\mu\nu} \Big[ \tilde{D}_{n\nu}^{l} + \sum_{\genfrac{}{}{0pt}{}{j=-\infty}{j \neq l}}^{\infty} \sum_{\tau = -\infty}^{\infty} A_{n\tau}^j (-1)^\nu K_{\tau - \nu} (k_n \abs{j-l} R) \mathrm{e}^{\mathrm{i} (\tau -\nu) \varphi_{j-l}} \Big], }[/math]

[math]\displaystyle{ m \in \mathds{N} }[/math], [math]\displaystyle{ l,\mu \in \mathds{Z} }[/math].



Due to the periodicity of the geometry and of the incident wave, the coefficients [math]\displaystyle{ A_{m\mu}^l }[/math] can be written as </math>A_{m\mu}^l = P_l A_{m\mu}^0 = P_l A_{m\mu}[math]\displaystyle{ , say. The same can be done for the coefficients of the incident ambient wave, i.e.~ }[/math]\tilde{D}_{n\nu}^{l} = P_l \tilde{D}_{n\nu}[math]\displaystyle{ (also cf.~\S 12). Noting that \lt math\gt P_l^{-1} = P_{-l} }[/math] and </math>P_j P_l =

P_{j+l}[math]\displaystyle{ , \eqref{eq_op} simplifies to \lt center\gt \lt math\gt A_{m\mu} = \sum_{n=0}^{\infty} \sum_{\nu = -\infty}^{\infty} B_{mn\mu\nu} \Big[ \tilde{D}_{n\nu} + (-1)^\nu \sum_{\tau = -\infty}^{\infty} A_{n\tau} \sum_{\genfrac{}{}{0pt}{}{j=-\infty}{j \neq l}}^{\infty} P_{j-l} K_{\tau - \nu} (k_n \abs{j-l} R) \mathrm{e}^{\i (\tau - \nu) \varphi_{j-l}} \Big]. }[/math]

Introducing the constants

[math]\displaystyle{ (21) \sigma_{\nu}^n = \sum_{\genfrac{}{}{0pt}{}{j=-\infty}{j \neq l}}^{\infty} P_{j-l} K_{\nu} (k_n \abs{j-l} R) \mathrm{e}^{\i \nu \varphi_{j-l}} = \sum_{j=1}^{\infty} (P_{-j}+ (-1)^\nu P_j) K_{\nu} (k_n j R), }[/math]

which can be evaluated separately since they do not contain any unknowns, the problem reduces to

[math]\displaystyle{ (22) A_{m\mu} = \sum_{n=0}^{\infty} \sum_{\nu = -\infty}^{\infty} B_{mn\mu\nu} \Big[ \tilde{D}_{n\nu} + (-1)^\nu \sum_{\tau = -\infty}^{\infty} A_{n\tau} \, \sigma_{\tau - \nu}^n \Big]. }[/math]

The efficient computation of the constants [math]\displaystyle{ \sigma_{\nu}^0 }[/math] is not trivial as the sum in \eqref{sigma} is not absolutely convergent due to the slow decay of the modified Bessel function of the second kind for large imaginary argument (The terms in the sum decay like [math]\displaystyle{ j^{-1/2} \mathrm{e}^{\mathrm{i} j \theta} }[/math] for some [math]\displaystyle{ \theta }[/math]). Appropriate methods for the computation of the [math]\displaystyle{ \sigma_{\nu}^0 }[/math] are outlined in \S 36. The calculation of the constants [math]\displaystyle{ \sigma_{\nu}^n }[/math], [math]\displaystyle{ n\neq 0 }[/math], is easy, however, since the modified Bessel function of the second kind decays exponentially for large real argument.

For numerical calculations, the infinite sums in \eqref{eq_op_sigma} have to be truncated. Implying a suitable truncation, the diffraction transfer operator can be represented by a matrix [math]\displaystyle{ \mathbf{B} }[/math], the finite-depth diffraction transfer matrix. Truncating the coefficients accordingly, defining [math]\displaystyle{ {\mathbf a} }[/math] to be the vector of the coefficients of the scattered potential, [math]\displaystyle{ \mathbf{d}^{\mathrm{In}} }[/math] to be the vector of coefficients of the ambient wavefield, and making use of the matrix [math]\displaystyle{ {\mathbf T} }[/math] given by

[math]\displaystyle{ ({\mathbf T})_{pq} = (-1)^{q} \, \sigma_{p-q}^n, }[/math]

a linear system of equations for the unknown coefficients follows from equations \eqref{eq_op_sigma},

[math]\displaystyle{ (24) (\mathbf{Id} - \mathbf{B} \, \trans {\mathbf T}) {\mathbf a} = \mathbf{B} \, {\mathbf d}^{\mathrm{In}}, }[/math]

where the left superscript [math]\displaystyle{ \mathrm{t} }[/math] indicates transposition and [math]\displaystyle{ \mathbf{Id} }[/math] is the identity matrix of the same dimension as [math]\displaystyle{ \mathbf{B} }[/math].


The far field

In this section, the far field is examined which describes the scattering far away from the array. The derivation is equivalent to that of twersky62. First, we define the scattering angles which give the directions of propagation of plane scattered waves far away from the array. Letting [math]\displaystyle{ p=2\pi/R }[/math], define the scattering angles [math]\displaystyle{ \chi_m }[/math] by

[math]\displaystyle{ \chi_m = \arccos (\psi_m/k) \quad =where= \quad \psi_m = k \cos \chi + m p }[/math]

and write [math]\displaystyle{ \psi }[/math] for [math]\displaystyle{ \psi_0 }[/math]. Also note that [math]\displaystyle{ \chi_0 = \chi }[/math] by definition. If [math]\displaystyle{ \abs{\psi_m}\lt k }[/math], i.e.~if

[math]\displaystyle{ -1 \lt \cos \chi +\frac{mp}{k}\lt 1, }[/math]

we say that [math]\displaystyle{ m\in \mathcal{M} }[/math] and then [math]\displaystyle{ 0\lt \chi_m\lt \pi }[/math]. It turns out (see below) that these angles ([math]\displaystyle{ \pm \chi_m }[/math] for [math]\displaystyle{ m \in \mathcal{M} }[/math]) are the directions in which plane waves propagate away from the array. If [math]\displaystyle{ \abs{\psi_m}\gt k }[/math] then [math]\displaystyle{ \chi_m }[/math] is no longer real and the appropriate branch of the [math]\displaystyle{ \arccos }[/math] function is given by

[math]\displaystyle{ \arccos t = \begin{cases} \mathrm{i} \arccosh t, & t\gt 1,\\ \pi-\mathrm{i} \arccosh (-t) & t\lt -1, \end{cases} }[/math]

with [math]\displaystyle{ \arccosh t = \log \left(t+\sqrt{t^2-1}\right) }[/math] for [math]\displaystyle{ t\gt 1 }[/math].

For the total potential we have

[math]\displaystyle{ \begin{matrix} \notag \phi &=\phi^\mathrm{In}+ \sum_{m=0}^{\infty} f_m(z) \sum_{j=-\infty}^{\infty} P_j \sum_{\mu = -\infty}^{\infty} A_{m\mu} K_\mu(k_m r_j)\mathrm{e}^{\mathrm{i} \mu\theta_j} \\ &\sim \phi^\mathrm{In}+ \frac{\pi}{2} f_0(z) \sum_{j=-\infty}^{\infty} P_j \sum_{\mu = -\infty}^{\infty} A_{0\mu} \i^{\mu+1} H^{(1)}_\mu (kr_j) \mathrm{e}^{\mathrm{i} \mu\theta_j}, (26) \end{matrix} }[/math]

as [math]\displaystyle{ kr\to\infty }[/math], away from the array axis [math]\displaystyle{ y=0 }[/math], where we have used the identity \eqref{H_K}.

The far field can be determined as follows. If we insert the integral representation

[math]\displaystyle{ H^{(1)}_\mu (kr) \mathrm{e}^{\mathrm{i} \mu \theta}= \frac{(-\i)^{\mu+1}}{\pi} \int\limits_{-\infty}^{\infty} \frac{\mathrm{e}^{-k\gamma(t)\abs{y}}}{\gamma(t)}\,\mathrm{e}^{\mathrm{i} kxt}\,\mathrm{e}^{\i \mu \sgn(y)\arccos t} \,\mathrm{d} t, }[/math]

in which [math]\displaystyle{ x=r\cos\theta }[/math], [math]\displaystyle{ y=r\sin\theta }[/math] and [math]\displaystyle{ \gamma(t) }[/math] is defined for real [math]\displaystyle{ t }[/math] by

[math]\displaystyle{ \gamma(t) = \begin{cases} -\mathrm{i} \sqrt{1-t^2} & \abs{t} \leq 1 \\ \sqrt{t^2-1} & \abs{t}\gt 1, \end{cases} }[/math]

into (26) we get

[math]\displaystyle{ \begin{matrix} \phi & \sim\phi^\mathrm{In}+ \frac{1}{2} f_0(z) \sum_{\mu=-\infty}^\infty A_{0\mu} \sum_{j=-\infty}^\infty \int\limits_{-\infty}^{\infty} \frac{\mathrm{e}^{-k \gamma(t)\abs{y}}}{\gamma(t)}\,\mathrm{e}^{\mathrm{i} kxt} \,\mathrm{e}^{\i(\psi-kt) jR}\,\mathrm{e}^{\i \mu \sgn(y)\arccos t} \,\mathrm{d} t \\ & =\phi^\mathrm{In}+ \frac{\pi}{kR} f_0(z) \sum_{\mu=-\infty}^\infty A_{0\mu} \sum_{j=-\infty}^\infty \frac{\mathrm{e}^{-k\gamma(\psi_j/k)\abs{y}}}{\gamma(\psi_j/k)} \,\mathrm{e}^{\mathrm{i} x\psi_j}\,\mathrm{e}^{\i \mu\sgn(y)\arccos \psi_j/k} \\ & =\phi^\mathrm{In}+ \frac{\pi\i}{kR} f_0(z) \sum_{\mu=-\infty}^\infty A_{0\mu} \sum_{j=-\infty}^\infty \frac{1}{\sin\chi_j} \,\mathrm{e}^{\mathrm{i} kr\cos(\abs{\theta}-\chi_j)}\,\mathrm{e}^{\i \mu \sgn(\theta)\chi_j}, \end{matrix} }[/math]

in which we have used the Poisson summation formula,

[math]\displaystyle{ \sum_{m=-\infty}^\infty \int_{-\infty}^{\infty} f(u)\, \mathrm{e}^{-\mathrm{i} mu} \,\mathrm{d} u= 2\pi \sum_{m=-\infty}^\infty f(2m\pi). }[/math]

The only terms which contribute to the far field are those for which [math]\displaystyle{ \abs{\psi_m}\lt k }[/math]. Thus, as [math]\displaystyle{ y\to\pm\infty }[/math], the far field consists of a set of plane waves propagating in the directions [math]\displaystyle{ \theta=\pm\chi_m }[/math]:

[math]\displaystyle{ \phi\sim \phi^\mathrm{In}+ \frac{\pi \i}{kR} f_0(z) \sum_{m\in\mathcal{M}} \frac{1}{\sin\chi_m} \,\mathrm{e}^{\mathrm{i} kr\cos(\theta\mp\chi_m)} \sum_{\mu=-\infty}^\infty A_{0\mu} \,\mathrm{e}^{\pm\mathrm{i} \mu\chi_m}. (30) }[/math]

>From \eqref{eqn:inffar} the amplitudes of the scattered waves for each scattering angle [math]\displaystyle{ \pm \chi_m }[/math] are given in terms of the coefficients [math]\displaystyle{ A_{0\mu} }[/math] by

[math]\displaystyle{ (31) A^\pm_m = \frac{\pi \i}{kR} \frac{1}{\sin\chi_m} \sum_{\mu=-\infty}^\infty A_{0\mu} \,\mathrm{e}^{\pm\mathrm{i} \mu\chi_m}. }[/math]

Note that the primary reflection and transmission coefficients are recovered by [math]\displaystyle{ A^-_0 }[/math] and [math]\displaystyle{ 1 + A^+_0 }[/math], respectively.

It is implicit in all the above that [math]\displaystyle{ \sin\chi_m\neq 0 }[/math] for any [math]\displaystyle{ m }[/math]. If [math]\displaystyle{ \sin\chi_m=0 }[/math] then we have the situation where one of the scattered plane waves propagates along the array. We will not consider this resonant case here except for stating that then, the scattered field is dominated by waves travelling along the array, either towards </math>x = \infty[math]\displaystyle{ (if }[/math]\chi_m = 0[math]\displaystyle{ ) or towards }[/math]x=-\infty[math]\displaystyle{ (if }[/math]\chi_m = \pi[math]\displaystyle{ ). Also, we will not consider the excitation of Rayleigh-Bloch waves, which are waves which travel along the array with a phase difference between adjacent bodies greater than \lt math\gt Rk }[/math] (include refs). Both the resonant and Rayleigh-Bloch case are important but beyond the scope of the present work.


\section{Calculation of the diffraction transfer matrix for bodies of arbitrary geometry}

Before we can solve the systems of equations for the coefficients in the eigenfunction expansion of the scattered wavefield \eqref{eq_tosolve}, we require the diffraction transfer matrix [math]\displaystyle{ \mathbf{B} }[/math] which relates the incident and the scattered potential for a body [math]\displaystyle{ \Delta }[/math] in isolation. The elements of the diffraction transfer matrix, [math]\displaystyle{ ({\mathbf B})_{pq} }[/math], are the coefficients of the [math]\displaystyle{ p }[/math]th partial wave of the scattered potential due to a single unit-amplitude incident wave of mode [math]\displaystyle{ q }[/math] upon [math]\displaystyle{ \Delta }[/math].

An explicit method to calculate the diffraction transfer matrices for bodies of arbitrary geometry in the case of finite depth is given by goo90. We briefly recall their results in our notation. Utilizing a Green's function the single diffraction boundary-value problem can be transformed to an integral equation for the source-strength-distribution function over the immersed surface of the body. To obtain the potential in the cylindrical eigenfunction expansion, the free-surface finite-depth Green's function given by black75 and fenton78,

[math]\displaystyle{ (32) G (r,\theta,z;s,\vartheta,c) = \sum_{m=0}^{\infty} N_m \, \cos k_m(z+d) \cos k_m(c+d) \sum_{\nu=-\infty}^{\infty} K_\nu(k_m r) I_\nu(k_m s) \mathrm{e}^{\mathrm{i} \nu (\theta - \vartheta)}, }[/math]

is then used allowing the scattered potential to be represented in the eigenfunction expansion with the cylindrical coordinate system fixed at the point of the water surface above the mean-centre position of the body. The constants [math]\displaystyle{ N_m }[/math] are given by

[math]\displaystyle{ N_m = \frac{1}{\pi} \frac{k_m^2+\alpha^2}{d(k_m^2+\alpha^2)-\alpha} = \frac{1}{\pi} \left({d+ \frac{\sin 2 k_m d}{2 k_m}}\right)^{-1} }[/math]

where the latter representation is often more favourable in numerical calculations.

We assume that we have represented the scattered potential in terms of the source-strength distribution [math]\displaystyle{ \varsigma }[/math] so that the scattered potential can be written as

[math]\displaystyle{ (33) \phi^\mathrm{S}(\mathbf{y}) = \int\limits_{\Gamma} G (\mathbf{y},\mathbf{\zeta}) \, \varsigma (\mathbf{\zeta}) \d\sigma_\mathbf{\zeta}, \quad \mathbf{y} \in D, }[/math]

where [math]\displaystyle{ D }[/math] is the volume occupied by the water and [math]\displaystyle{ \Gamma }[/math] is the immersed surface of body [math]\displaystyle{ \Delta }[/math]. The source-strength-distribution function [math]\displaystyle{ \varsigma }[/math] can be found by solving an integral equation. The integral equation is described in Weh_Lait and numerical methods for its solution are outlined in Sarp_Isa. Substituting the eigenfunction expansion of the Green's function \eqref{green_d} into \eqref{int_eq_1}, the scattered potential can be written as \begin{multline*} \phi^\mathrm{S}(r,\theta,z) =

\sum_{m=0}^{\infty} f_m(z)  \sum_{\nu = -

\infty}^{\infty} \bigg[ N_m \cos^2 k_md \int\limits_{\Gamma} \cos k_m(c+d) I_\nu(k_m s) \mathrm{e}^{-\mathrm{i} \nu \vartheta} \varsigma({\mathbf{\zeta}}) \d\sigma_{\mathbf{\zeta}} \bigg]\\ \times K_\nu (k_m r) \mathrm{e}^{\mathrm{i} \nu \theta} \d\eta, \end{multline*} where [math]\displaystyle{ \mathbf{\zeta}=(s,\vartheta,c) }[/math] and [math]\displaystyle{ r\gt s }[/math]. This restriction implies that the eigenfunction expansion is only valid outside the escribed cylinder of the body.

The columns of the diffraction transfer matrix are the coefficients of the eigenfunction expansion of the scattered wavefield due to the different incident modes of unit-amplitude. The elements of the diffraction transfer matrix of a body of arbitrary shape are therefore given by

[math]\displaystyle{ (34) ({\mathbf B})_{pq} = N_m \cos^2 k_md \int\limits_{\Gamma} \cos k_m(c+d) I_p(k_m s) \mathrm{e}^{-\mathrm{i} p \vartheta} \varsigma_q(\mathbf{\zeta}) \d\sigma_\mathbf{\zeta} }[/math]

where [math]\displaystyle{ \varsigma_q(\mathbf{\zeta}) }[/math] is the source strength distribution due to an incident potential of mode [math]\displaystyle{ q }[/math] of the form

[math]\displaystyle{ (35) \phi_q^{\mathrm{I}}(s,\vartheta,c) = f_m(c) I_q (k_m s) \mathrm{e}^{\mathrm{i} q \vartheta}. }[/math]

It should be noted that, instead of using the source strength distribution function, it is also possible to consider an integral equation for the total potential and calculate the elements of the diffraction transfer matrix from the solution of this integral equation. An outline of this method for water of finite depth is given by kashiwagi00a.


=The efficient computation of the [math]\displaystyle{ \sigma_{\nu=^0 }[/math]}(36)

The constants [math]\displaystyle{ \sigma_{\nu}^0 }[/math] (cf.~\eqref{eq_op_sigma}) appearing in the system of equations for the coefficients of the scattered wavefield of the bodies cannot be computed straightforwardly. This is due to the slow decay of the modified Bessel function of the second kind for large imaginary argument as was discussed in \S 14. First, note that

[math]\displaystyle{ \sigma_{\nu}^0 = \sum_{j=1}^{\infty} (P_{-j}+ (-1)^\nu P_j) K_{\nu} (-\mathrm{i} k j R) = \frac{\pi \i^{\nu+1}}{2} \sum_{j=1}^{\infty} (P_{-j}+ (-1)^\nu P_j) H^{(1)}_\nu (kjR), }[/math]

where we have used \eqref{H_K}. Therefore, it suffices to discuss the computation of the constants [math]\displaystyle{ \tilde{\sigma}^0_\nu }[/math] defined via

[math]\displaystyle{ \tilde{\sigma}_{\nu}^0 = \sum_{j=1}^{\infty} (P_{-j}+ (-1)^\nu P_j) H^{(1)}_\nu (kjR) }[/math]

as the [math]\displaystyle{ \sigma^0_\nu }[/math] are then determined by </math>\sigma^0_\nu = \pi/2 \,\, \i^{\nu+1} \, \tilde{\sigma}^0_\nu[math]\displaystyle{ . An efficient way of computing the \lt math\gt \tilde{\sigma}_{\nu}^0 }[/math] is given in linton98 and the results are briefly outlined in our notation. Noting that </math>H^{(1)}_{-\nu} (\,\cdot\,)= (-1)^{\nu} H^{(1)}_{\nu} (\,\cdot\,)[math]\displaystyle{ , it suffices to discuss the computation of the \lt math\gt \sigma_{\nu}^0 }[/math] for non-negative [math]\displaystyle{ \nu }[/math].

Referring to linton98, the constants [math]\displaystyle{ \tilde{\sigma}_{\nu}^0 }[/math] can be written as

[math]\displaystyle{ \tilde{\sigma}_{0}^0 &= -1 -\frac{2\i}{\pi} \left( C + \log \frac{k}{2p} \right) + \frac{2}{R k \sin \chi} - \frac{2 \mathrm{i} (k^2 + 2 \psi^2)}{p^3 R} \zeta(3)\\ &\quad + \frac{2}{R} \sum_{m=1}^\infty \left( \frac{1}{k \sin \chi_{-m}} + \frac{1}{k \sin \chi_m} + \frac{2 \i}{p m} + \frac{\mathrm{i} (k^2 + 2 \psi^2)}{p^3 m^3} \right) }[/math]

where [math]\displaystyle{ C \approx 0.5772 }[/math] is Euler's constant and [math]\displaystyle{ \zeta }[/math] is the Riemann zeta function and the terms in the sum converge like [math]\displaystyle{ O(m^{-4}) }[/math] as [math]\displaystyle{ m\rightarrow\infty }[/math] (by which we mean that the error in the sum is proportional to [math]\displaystyle{ m^{-4} }[/math] for large values of [math]\displaystyle{ m }[/math]) as well as

[math]\displaystyle{ \begin{matrix} &\quad \tilde{\sigma}_{2\nu}^0 &= 2 (-1)^{\nu} \left( \frac{\mathrm{e}^{2\mathrm{i} \nu \chi} }{R k \sin \chi} - \frac{\i}{\pi} \left( \frac{k}{2 p} \right)^{2\nu} \zeta(2\nu +1) \right) + \frac{\i}{\nu \pi} \\ &\quad + 2 (-1)^\nu \sum_{m=1}^\infty \left( \frac{\mathrm{e}^{2\mathrm{i} \nu \chi_m}}{R k \sin \chi_{m}} + \frac{\mathrm{e}^{-2 \mathrm{i} \nu \chi_{-m}}}{R k \sin \chi_{-m}} + \frac{\i}{m\pi} \left( \frac{k}{2 m p} \right)^{2\nu} \right)\\ &\quad + \frac{\i}{\pi} \sum_{m=1}^\nu \frac{(-1)^m 2^{2m} (\nu+m-1)!}{(2m)! (\nu-m)!} \left( \frac{p}{k} \right)^{2m} B_{2m}(\psi/p), \\ & \tilde{\sigma}_{2\nu-1}^0 &= - 2 (-1)^\nu \left( \frac{\mathrm{i} \mathrm{e}^{\mathrm{i} (2\nu-1) \chi}}{R k \sin \chi} - \frac{ \psi R \nu}{\pi^2} \left( \frac{k}{2 p} \right)^{2\nu-1} \zeta(2\nu +1) \right)\\ &\quad - 2 (-1)^\nu \sum_{m=1}^\infty \left(\frac{\mathrm{i} \mathrm{e}^{\mathrm{i} (2\nu-1)\chi_m} }{R k \sin \chi_m} + \frac{\mathrm{i} \mathrm{e}^{-\mathrm{i} (2\nu-1) \chi_{-m}}}{R k \sin \chi_{-m}} + \frac{\psi R \nu}{m^2\pi^2} \left( \frac{k}{2 m p} \right)^{2\nu-1} \right)\\ &\quad - \frac{2}{\pi} \sum_{m=0}^{\nu-1} \frac{(-1)^m 2^{2m} (\nu+m-1)!}{(2m+1)! (\nu-m-1)!} \left( \frac{p}{k} \right)^{2m+1} B_{2m+1}(\psi/p), \end{matrix} }[/math]

for [math]\displaystyle{ \nu\gt 0 }[/math] where [math]\displaystyle{ B_m }[/math] is the [math]\displaystyle{ m }[/math]th Bernoulli polynomial. The slowest convergence in this representation occurs in [math]\displaystyle{ \tilde{\sigma}^0_1 }[/math] and [math]\displaystyle{ \tilde{\sigma}^0_2 }[/math] in which the terms converge like [math]\displaystyle{ O(m^{-5}) }[/math] as [math]\displaystyle{ m\rightarrow\infty }[/math].

Note that since [math]\displaystyle{ \sin \chi_m }[/math] is purely imaginary for </math>m \notin \mathcal{M}[math]\displaystyle{ , the computation of the real part of \lt math\gt \tilde{\sigma}_{2\nu}^0 }[/math] and the imaginary part of [math]\displaystyle{ \tilde{\sigma}_{2\nu-1}^0 }[/math] is particularly simple. For [math]\displaystyle{ \nu \geq 0 }[/math], they are given by

[math]\displaystyle{ \begin{matrix} \Re \tilde{\sigma}_{2\nu}^0 &= -\delta_{\nu 0} + 2(-1)^\nu \sum_{m\in\mathcal{M}} \frac{\cos 2 \nu \chi_m}{R k \sin \chi_m}, \\ \Im \tilde{\sigma}_{2\nu+1}^0 &= 2\mathrm{i} (-1)^\nu \sum_{m\in\mathcal{M}} \frac{\cos (2 \nu-1) \chi_m}{R k \sin \chi_m}, \end{matrix} }[/math]

where [math]\displaystyle{ \delta_{mn} }[/math] is the Kronecker delta.



\section{Acoustic scattering by an infinite array of identical generalized cylinders} The theory above has so far been developed for water-wave scattering of a plane wave by an infinite array of identical arbitrary bodies. It can easily be adjusted to the (simpler) two-dimensional problem of acoustic scattering. Namely, we consider the problem that arises when a plane sound wave is incident upon an infinite array of identical generalized cylinders (i.e.~bodies which have arbitrary cross-section in the [math]\displaystyle{ (x,y) }[/math]-plane but the cross-sections at any height are identical) in an acoustic medium.

For this problem, the [math]\displaystyle{ z }[/math]-dependence can be omitted and the above theory applies with the following modifications:


  1. The dispersion relation \eqref{eq_k} is replaced by </math>k=\omega /

c[math]\displaystyle{ where }[/math]c[math]\displaystyle{ is the speed of sound in the medium under consideration and the dispersion relation is \eqref{eq_k_m} omitted. #All factors \lt math\gt \cos k_m(z+d) }[/math], [math]\displaystyle{ \cos k_m(c+d) }[/math], [math]\displaystyle{ \cos k_m d }[/math] and [math]\displaystyle{ f_0 }[/math] are replaced by 1.

  1. The factor [math]\displaystyle{ N_0 }[/math] in \eqref{green_d} is [math]\displaystyle{ k/\pi }[/math].

Note that point [math]\displaystyle{ (a) }[/math] implies that there are no evanescent modes in this problem, i.e.~the sums over [math]\displaystyle{ m }[/math] and [math]\displaystyle{ n }[/math] in the eigenfunction expansions \eqref{basisrep_out_d} and \eqref{basisrep_in_d}, respectively, only contain the terms for [math]\displaystyle{ m=0 }[/math] and [math]\displaystyle{ n=0 }[/math]. Moreover, we have </math>k_0 = - \mathrm{i} \, \omega /c[math]\displaystyle{ . For circular cylinders, i.e.~cylinders which have a circular cross-section, this problem has been considered by [[linton93]]. In \S 52 we numerically compare our results for this problem with theirs. \section{Wave forcing of a fixed, rigid and flexible body of shallow draft}(37) The theory which has been developed so far has been for arbitrary bodies. No assumption has been made about the body geometry or its equations of motion. However, we want use this theory to make calculations for the specific case of bodies of shallow draft which may be fixed (which we shall refer to as a dock), rigid, or elastic (modelled as a thin plate). In the formulation, we concentrate on the elastic case of which the other two situations are subcases. This allows us to present a range of results while focusing on the geophysical problem which motivates our work, namely the wave scattering by a field of ice floes. ==Mathematical model for an elastic plate.== We briefly describe the mathematical model of a floating elastic plate. A more detailed account can be found in [[JGR02,JFM04]]. We assume that the elastic plate is sufficiently thin that we may apply the shallow-draft approximation, which essentially applies the boundary conditions underneath the plate at the water surface. Assuming the elastic plate to be in contact with the water surface at all times, its displacement \lt math\gt W }[/math] is that of the water surface and [math]\displaystyle{ W }[/math] is required to satisfy the linear plate equation in the area occupied by the elastic plate [math]\displaystyle{ \Delta }[/math]. In analogy to \eqref{time}, denoting the time-independent surface displacement (with the same radian frequency as the water velocity potential due to linearity) by [math]\displaystyle{ w }[/math] ([math]\displaystyle{ W=\Re\{w \exp(-\mathrm{i}\omega t)\} }[/math]), the plate equation becomes

[math]\displaystyle{ (38) D \, \nabla^4 w - \omega^2 \, \rho_\Delta \, h \, w = \mathrm{i} \, \omega \, \rho \, \phi - \rho \, g \, w, \quad {\mathbf{x}} \in \Delta, }[/math]

with the density of the water [math]\displaystyle{ \rho }[/math], the modulus of rigidity of the elastic plate [math]\displaystyle{ D }[/math], its density [math]\displaystyle{ \rho_\Delta }[/math] and its thickness [math]\displaystyle{ h }[/math]. The right-hand side of \eqref{plate_non} arises from the linearized Bernoulli equation. It needs to be recalled that [math]\displaystyle{ \mathbf{x} }[/math] always denotes a point of the undisturbed water surface. Free-edge boundary conditions apply, namely

[math]\displaystyle{ (39) \left[ \nabla^2 - (1-\nu) \left(\frac{\partial^2}{\partial s^2} + \kappa(s) \frac{\partial}{\partial n} \right) \right] w = 0, }[/math]
[math]\displaystyle{ (40) \left[ \frac{\partial}{\partial n} \nabla^2 +(1-\nu) \frac{\partial}{\partial s} \left( \frac{\partial}{\partial n} \frac{\partial}{\partial s} -\kappa(s) \frac{\partial}{\partial s} \right) \right] w = 0, }[/math]

where [math]\displaystyle{ \nu }[/math] is Poisson's ratio and \begin{gather} \nabla^2 = \frac{\partial^2}{\partial x^2} + \frac{\partial^2}{\partial y^2} = \frac{\partial^2}{\partial n^2} + \frac{\partial^2}{\partial s^2} + \kappa(s) \frac{\partial}{\partial n}. \end{gather} Here, [math]\displaystyle{ \kappa(s) }[/math] is the curvature of the boundary, [math]\displaystyle{ \partial \Delta }[/math], as a function of arclength [math]\displaystyle{ s }[/math] along [math]\displaystyle{ \partial \Delta }[/math]; [math]\displaystyle{ \partial/\partial s }[/math] and [math]\displaystyle{ \partial/\partial n }[/math] represent derivatives tangential and normal to the boundary [math]\displaystyle{ \partial \Delta }[/math], respectively.

Non-dimensional variables (denoted with an overbar) are introduced,

[math]\displaystyle{ (\bar{x},\bar{y},\bar{z}) = \frac{1}{L} (x,y,z), \quad \bar{w} = \frac{w}{L}, \quad \bar{\alpha} = L\, \alpha, \quad \bar{\omega} = \omega \sqrt{\frac{L}{g}} \quad =and= \quad \bar{\phi} = \frac{\phi}{L \sqrt{L g}}, }[/math]

where [math]\displaystyle{ L }[/math] is a length parameter associated with the plate. In non-dimensional variables, the equation for the elastic plate \eqref{plate_non} reduces to

[math]\displaystyle{ (41) \beta \nabla^4 \bar{w} - \bar{\alpha} \gamma \bar{w} = \i \sqrt{\bar{\alpha}} \bar{\phi} - \bar{w}, \quad \bar{\mathbf{x}} \in \bar{\Delta}, }[/math]

with

[math]\displaystyle{ \beta = \frac{D}{g \rho L^4} \quad =and= \quad \gamma = \frac{\rho_\Delta h}{ \rho L}. }[/math]

The constants [math]\displaystyle{ \beta }[/math] and [math]\displaystyle{ \gamma }[/math] represent the stiffness and the mass of the plate, respectively. For convenience, the overbars are dropped and non-dimensional variables are assumed in what follows.


Method of solution

We briefly outline our method of solution for the coupled water--elastic plate problem \cite[details can be found in][]{JGR02}. The problem for the water velocity potential is converted to an integral equation in the following way. Let [math]\displaystyle{ G }[/math] be the three-dimensional free-surface Green's function for water of finite depth. The Green's function allows the representation of the scattered water velocity potential in the standard way,

[math]\displaystyle{ (42) \phi^\mathrm{S}(\mathbf{y}) = \int\limits_{\Gamma} \left( \phi^\mathrm{S} (\mathbf{\zeta}) \, \frac{\partial G}{\partial n_\mathbf{\zeta}} (\mathbf{y};\mathbf{\zeta}) - G (\mathbf{y};\mathbf{\zeta}) \, \frac{\partial \phi^\mathrm{S}}{\partial n_\mathbf{\zeta}} (\mathbf{\zeta}) \right) \d\sigma_\mathbf{\zeta}, \quad \mathbf{y} \in D. }[/math]

In the case of a shallow draft, the fact that the Green's function is symmetric and therefore satisfies the free-surface boundary condition with respect to the second variable as well can be used to simplify \eqref{int_eq} drastically. Due to the linearity of the problem, the ambient incident potential can just be added to the equation to obtain the total water velocity potential, [math]\displaystyle{ \phi=\phi^{\mathrm{I}}+\phi^{\mathrm{S}} }[/math]. Limiting the result to the water surface leaves the integral equation for the water velocity potential under the elastic plate,

[math]\displaystyle{ (43) \phi(\mathbf{x}) = \phi^{\mathrm{I}}(\mathbf{x}) + \int\limits_{\Delta} G (\mathbf{x};\mathbf{\xi}) \big( \alpha \phi(\mathbf{\xi}) + \mathrm{i} \sqrt{\alpha} w(\mathbf{\xi}) \big) \d\sigma_\mathbf{\xi}, \quad \mathbf{x} \in \Delta. }[/math]

Since the surface displacement of the elastic plate appears in this integral equation, it is coupled with the plate equation \eqref{plate_final}.

The coupled elastic plate--water equations

Since the operator [math]\displaystyle{ \nabla^4 }[/math], subject to the free-edge boundary conditions, is self-adjoint, a thin plate must possess a set of modes [math]\displaystyle{ w^k }[/math] which satisfy the free boundary conditions and the eigenvalue equation

[math]\displaystyle{ \nabla^4 w^k = \lambda_k w^k. }[/math]

The modes which correspond to different eigenvalues [math]\displaystyle{ \lambda_k }[/math] are orthogonal and the eigenvalues are positive and real. While the plate will always have repeated eigenvalues, orthogonal modes can still be found and the modes can be normalized. We therefore assume that the modes are orthonormal, i.e.

[math]\displaystyle{ \int\limits_\Delta w^j (\mathbf{\xi}) w^k (\mathbf{\xi}) \d\sigma_{\mathbf{\xi}} = \delta _{jk}. }[/math]

The eigenvalues [math]\displaystyle{ \lambda_k }[/math] have the property that [math]\displaystyle{ \lambda_k \rightarrow \infty }[/math] as </math>k \rightarrow \infty[math]\displaystyle{ and we order the modes by increasing eigenvalue. These modes can be used to expand any function over the wetted surface of the elastic plate \lt math\gt \Delta }[/math].

We expand the displacement of the plate in a finite number of modes [math]\displaystyle{ M }[/math], i.e.

[math]\displaystyle{ (44) w(\mathbf{x}) =\sum_{k=1}^{M} c_k w^k (\mathbf{x}). }[/math]

>From the linearity of \eqref{int_eq_hs} the potential can be written in the form

[math]\displaystyle{ (45) \phi(\mathbf{x}) =\phi^0(\mathbf{x}) + \sum_{k=1}^{M} c_k \phi^k (\mathbf{x}), }[/math]

where [math]\displaystyle{ \phi^0 }[/math] and [math]\displaystyle{ \phi^k }[/math] respectively satisfy the integral equations (46)

[math]\displaystyle{ (47) \phi^0(\mathbf{x}) = \phi^{\mathrm{I}} (\mathbf{x}) + \int\limits_\Delta \alpha G (\mathbf{x};\mathbf{\xi}) \phi^0 (\mathbf{\xi}) d\sigma_\mathbf{\xi} }[/math]

and

[math]\displaystyle{ (48) \phi^k (\mathbf{x}) = \int\limits_{\Delta} G (\mathbf{x};\mathbf{\xi}) \left( \alpha \phi^k (\mathbf{\xi}) + \mathrm{i} \sqrt{\alpha} w^k (\mathbf{\xi})\right) \d\sigma_{\mathbf{\xi}}. }[/math]

The potential [math]\displaystyle{ \phi^0 }[/math] represents the potential due to the incoming wave assuming that the displacement of the elastic plate is zero. The potential [math]\displaystyle{ \phi^k }[/math] represents the potential which is generated by the plate vibrating with the [math]\displaystyle{ k }[/math]th mode in the absence of any input wave forcing.

We substitute equations \eqref{expansion} and \eqref{expansionphi} into equation \eqref{plate_final} to obtain

[math]\displaystyle{ (49) \beta \sum_{k=1}^{M} \lambda_k c_k w^k -\alpha \gamma \sum_{k=1}^{M} c_k w^k = \mathrm{i} \sqrt{\alpha} \big( \phi^0 + \sum_{k=1}^{M} c_k \phi^k \big) - \sum_{k=1}^{M} c_k w^k. }[/math]

To solve equation \eqref{expanded} we multiply by [math]\displaystyle{ w^j }[/math] and integrate over the plate (i.e.~we take the inner product with respect to [math]\displaystyle{ w^j }[/math]) taking into account the orthonormality of the modes [math]\displaystyle{ w^j }[/math] and obtain

[math]\displaystyle{ (50) \beta \lambda_k c_k + \left( 1-\alpha \gamma \right) c_k = \int\limits_{\Delta} \mathrm{i} \sqrt{\alpha} \big( \phi^0 (\mathbf{\xi}) + \sum_{j=1}^{N} c_j \phi^j (\mathbf{\xi}) \big) w^k (\mathbf{\xi}) \d\sigma_{\mathbf{\xi}}, }[/math]

which is a matrix equation in [math]\displaystyle{ c_k }[/math].

Equation \eqref{final} cannot be solved without determining the modes of vibration of the thin plate [math]\displaystyle{ w^k }[/math] (along with the associated eigenvalues [math]\displaystyle{ \lambda_k }[/math]) and solving the integral equations \eqref{phi}. We use the finite element method to determine the modes of vibration \cite[]{Zienkiewicz} and the integral equations \eqref{phi} are solved by a constant-panel method \cite[]{Sarp_Isa}. The same set of nodes is used for the finite-element method and to define the panels for the integral equation.

The fixed and rigid body cases

The fixed and rigid body cases can easily be solved by the method outlined above since they can be considered special cases. In the problem of a fixed body (dock), the displacement is always zero, [math]\displaystyle{ w=0 }[/math], so we simply need to solve equation (46) for [math]\displaystyle{ \phi=\phi^0 }[/math]. For the case of a rigid body, we need to truncate the sums in \eqref{expanded} to include the first three modes only (which correspond to the three modes of rigid motion of the plate, namely the heave, pitch and roll). Note that for these modes the eigenvalue is [math]\displaystyle{ \lambda_k=0 }[/math] so that the term involving the stiffness [math]\displaystyle{ \beta }[/math] does not appear in equation (50).



Numerical calculations

In this section, we present some numerical computations using the theory developed in the previous sections. We are particularly interested in comparisons with results from other methods as well as using our method to compare the behaviour of different bodies. Besides comparisons with results from other works, one way to check the correctness of the implementation is to verify that energy is conserved, i.e.~the energy of the incoming wave must be equal to the sum of the energies of all outgoing waves. In terms of the amplitudes of the scattered waves for each scattering angle </math>\pm

\chi_m[math]\displaystyle{ , }[/math]A^\pm_m[math]\displaystyle{ , (cf.~\eqref{scat_ampl}) this can be written as \lt center\gt \lt math\gt (51) \sin \chi = \sum_{m\in \mathcal{M}} \left(\abs{A^-_m}^2 + \abs{A^+_m + \delta_{0m}}^2 \right) \, \sin \chi_m }[/math]

where we have assumed an ambient incident potential of unit amplitude.

In all calculations presented below, the absolute value of the difference of both sides in \eqref{energy_cons} is at most [math]\displaystyle{ 10^{-3} }[/math].


==Comparison with results from linton93== (52) We first compare our results to those of linton93 who considered the acoustic scattering of a plane sound wave incident upon a periodic array of identical rigid circular cylinders of radius [math]\displaystyle{ a }[/math]. It can be noted that they also discussed the application of their theory to the water-wave scattering by an infinite row of rigid vertical circular cylinders extending throughout the water depth. Their method of solution was based on a multipole expansion but they also included a separation of variables method which can be viewed as a special case of our method.

As \citeauthor{linton93} considered circular cylinders, we need to obtain the diffraction transfer matrix of rigid circular cylinders. Due to the axisymmetry, they are particularly simple. In fact, they are diagonal with diagonal elements

[math]\displaystyle{ (\mathbf{B})_{pp} = -I_p'(k_0 a) / K_p'(k_0 a) }[/math]

\cite[cf.][p.~177, for example]{linton01}. Also, there are no evanescent modes if the ambient incident wave does not contain evanescent modes (which is the case in their considerations as well as ours).

We compare \citeauthor{linton93}' results to ours in terms of the amplitudes of the scattered waves, [math]\displaystyle{ A^\pm_m }[/math]. In particular, we reproduce their figures 1 (a) and (b) (corresponding to our figure 53) which show the absolute values of the amplitudes of the scattered waves plotted against [math]\displaystyle{ ka }[/math] when </math>a/R = 0.2[math]\displaystyle{ for the cases }[/math]\chi = \pi/2[math]\displaystyle{ and }[/math]\pi/3[math]\displaystyle{ , respectively. Note that they use different choices for defining the incident angle and spacing of the cylinders. Since \citeauthor{linton93} only give plotted data we also plot our results (shown in figure 53). A visual comparison of the plots shows that they are in good agreement with \citeauthor{linton93}' results. \begin{figure} \begin{tabular}{p{.46\columnwidth}p{.02\columnwidth}p{.46\columnwidth}} \includegraphics[width=.38\columnwidth]{linton_chi2} && \includegraphics[width=.38\columnwidth]{linton_chi3} \end{tabular} \caption{Absolute values of the amplitudes of the scattered waves plotted against \lt math\gt ka }[/math] when [math]\displaystyle{ a/R = 0.2 }[/math] for the two cases </math>\chi = \pi/2[math]\displaystyle{ (left) and }[/math]\chi = \pi/3[math]\displaystyle{ (right).}(53) \end{figure} It is worth noting that for an ambient incident angle of }[/math]\chi = \pi/2[math]\displaystyle{ (normal incidence) the scattered waves appear in pairs of two corresponding to \lt math\gt \pm m }[/math], i.e.~they travel in the directions [math]\displaystyle{ \pm \chi_m }[/math] with respect to the array axis. Note that this is generally true for normal incidence upon arrays of arbitrary bodies and easily follows from the considerations at the beginning of \S 4. Moreover, as [math]\displaystyle{ ka }[/math] is increased, more scattered waves appear. From the plots in figure 53, it seems that the amplitudes of the scattered waves have poles in these points of appearance but a careful consideration shows that they are actually continuous at these points \cite[cf.][]{linton93}.

==Comparison with results from JEM05== (54)

Next, we compare our results to those of JEM05 who considered the water-wave scattering by an infinite array of floating elastic plates in water of infinite depth. The plates were modelled in exactly the same way as our elastic plates in \S 37. Their method of solution was based on the use of a special periodic Green's function in \eqref{int_eq_hs}. As a way of testing their method, \citeauthor{JEM05} also considered the scattering from an array of docks (fixed bodies). Therefore, we reproduce their results for the dock \cite[table 1 in][]{JEM05} and for elastic plates \cite[table 2 in][]{JEM05} in tables 55 and 56, respectively. In both cases, the plates are of square geometry with sidelength 4 and spacing [math]\displaystyle{ R=6 }[/math]. The ambient wave is of the same wavelength as the sidelength of the bodies and the incident angle is [math]\displaystyle{ \chi = \pi/3 }[/math] (in our notation). In table 56, the elastic plates have non-dimensionalized stiffness [math]\displaystyle{ \beta = 0.1 }[/math] and mass [math]\displaystyle{ \gamma = 0 }[/math]. We choose [math]\displaystyle{ d=4 }[/math] in order to simulate infinite depth. Since the elastic plates tend to lengthen the wave it is necessary to choose a water depth greater than the standard choice of half the ambient wavelength \cite[cf.][]{FoxandSquire}.

As can be seen, each amplitude in table 55 has a relative difference of less than [math]\displaystyle{ 6 \cdot 10^{-2} }[/math] with respect to the values obtained by \citeauthor{JEM05}. The analogue is true for table 56 with a relative error of less than [math]\displaystyle{ 9 \cdot 10^{-2} }[/math] except for [math]\displaystyle{ A^-_{-1} }[/math] where the relative error is [math]\displaystyle{ \approx 0.34 }[/math] (note, however, that the values in \citeauthor{JEM05} are only given up to the third decimal place). The results given in tables 55 and 56 were obtained using 23 angular propagating modes, three roots of the dispersion relation \eqref{eq_k_m} (not counting the zeroth root) and seven corresponding angular evanescent modes each. Note that fewer modes also yield reasonably good approximations. For example, taking 15 angular propagating modes, one root of the dispersion relation and three corresponding angular evanescent modes yields answers differing from those in tables 55 and 56 only in the fourth decimal place.


\begin{table} \begin{center} \begin{tabular} [math]\displaystyle{ m }[/math] & [math]\displaystyle{ A^-_m }[/math] & [math]\displaystyle{ A^+_m }[/math]\\ [math]\displaystyle{ -2 }[/math] & [math]\displaystyle{ -0.2212 - 0.0493\i }[/math] & [math]\displaystyle{ +0.2367 + 0.0268\i }[/math] \\ [math]\displaystyle{ -1 }[/math] & [math]\displaystyle{ +0.2862 - 0.2627\i }[/math] & [math]\displaystyle{ -0.2029 + 0.3601\i }[/math]\\ [math]\displaystyle{ 0 }[/math] & [math]\displaystyle{ +0.6608 - 0.1889\i }[/math] & [math]\displaystyle{ -0.7203 - 0.1237\i }[/math] \end{tabular} \caption{Amplitudes of the scattered waves for the case of a dock.} (55) \end{center} \end{table}


\begin{table} \begin{center} \begin{tabular} [math]\displaystyle{ m }[/math] & [math]\displaystyle{ A^-_m }[/math] & [math]\displaystyle{ A^+_m }[/math]\\ [math]\displaystyle{ -2 }[/math] & [math]\displaystyle{ +0.0005 + 0.0149\i }[/math] & [math]\displaystyle{ -0.0405 - 0.0138\i }[/math] \\ [math]\displaystyle{ -1 }[/math] & [math]\displaystyle{ -0.0202 - 0.0125\i }[/math] & [math]\displaystyle{ -0.0712 - 0.1004\i }[/math] \\ [math]\displaystyle{ 0 }[/math] & [math]\displaystyle{ -0.0627 - 0.0790\i }[/math] & [math]\displaystyle{ -0.2106 - 0.5896\i }[/math] \end{tabular} \caption{Amplitudes of the scattered waves for the case of a elastic plates.} (56) \end{center} \end{table}


\subsection{Comparison of the scattering by an array of docks, rigid plates and elastic plates} In this section, we use our method to compare the behaviour of arrays of docks, rigid plates and elastic plates. The equations describing the different bodies have been derived in \S 37. In order to have a common setting, we choose all bodies to be square with sidelength 2 and a body spacing of [math]\displaystyle{ R=4 }[/math]. The ambient wavelength is [math]\displaystyle{ \lambda = 1.5 }[/math] and the water depth is [math]\displaystyle{ d=0.5 }[/math].


In figures 58, 59 and 60 we show the absolute values of the amplitudes of the scattering angles as functions of incident angle as well as the solution of the scattering problem for [math]\displaystyle{ \chi = \pi/5 }[/math] for an array of docks, rigid plates and elastic plates, respectively. The elastic plates are chosen to have non-dimensional stiffness and mass [math]\displaystyle{ \beta=\gamma=0.02 }[/math] while the rigid plates have the same mass. In the plots of the amplitudes of the scattered waves, we plot [math]\displaystyle{ \abs{A^-_0} }[/math] and [math]\displaystyle{ \abs{1+A^+_0} }[/math] as solid lines and the additional scattered waves with symbols as listed in table 57. Note that the calculation of the amplitudes of the scattered waves is fairly fast since the most difficult task -- the calculation of the diffraction transfer matrix -- only needs to be performed once for each type of body.

>From figures 58, 59 and 60, it can be seen that docks generally reflect the energy much more than the flexible plates. From this point of view, the rigid plates can be seen as a kind of intermediate setting.

For [math]\displaystyle{ \chi=\pi/5\approx 0.628 }[/math], the scattering angles are </math>\chi_{-4} \approx 2.33[math]\displaystyle{ , }[/math]\chi_{-3} \approx 1.89[math]\displaystyle{ , }[/math]\chi_{-2} \approx 1.51[math]\displaystyle{ , }[/math]\chi_{-1} \approx 1.12[math]\displaystyle{ (and their negative values). The docks particularly reflect in the direction \lt math\gt -\chi_{-1} }[/math] (beside [math]\displaystyle{ -\chi }[/math]). It can also be seen that the flexible plates already transmit most of the energy for this incident angle. The strong decrease in the amplitudes of their reflected waves appears at about [math]\displaystyle{ \chi\approx 0.58 }[/math]. The decrease of the amplitudes of the reflected waves for the rigid plates does not appear until a larger incident angle and is also not as strong. For the docks, such a strong decrease is not observed at all. Moreover, note that all three types of bodies reflect in the direction [math]\displaystyle{ -\chi_1 }[/math] fairly strongly for incident angles around [math]\displaystyle{ 0.91 }[/math] (where we have </math>-\chi_1 \approx -0.150[math]\displaystyle{ for }[/math]\chi = 0.91[math]\displaystyle{ ). [[Category:Infinite Array]] }[/math]