Difference between revisions of "Interaction Theory for Infinite Arrays"

From WikiWaves
Jump to navigationJump to search
 
(6 intermediate revisions by the same user not shown)
Line 1: Line 1:
=Introduction =
+
{{complete pages}}
 +
 
 +
==Introduction ==
  
 
There are two approaches to solution for the [[:Category:Infinite Array|Infinite Array]],
 
There are two approaches to solution for the [[:Category:Infinite Array|Infinite Array]],
Line 7: Line 9:
 
This is based on [[Peter, Meylan, and Linton 2006]]
 
This is based on [[Peter, Meylan, and Linton 2006]]
  
= System of equations =
+
== System of equations ==
  
 
We start with the final system of equations of the [[Kagemoto and Yue Interaction Theory]], namely
 
We start with the final system of equations of the [[Kagemoto and Yue Interaction Theory]], namely
Line 66: Line 68:
 
<math>m \in \mathbb{N}</math>, <math>\mu \in \mathbb{Z}</math>.
 
<math>m \in \mathbb{N}</math>, <math>\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>A_{m\mu}^l = P_l A_{m\mu}</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>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.
 
 
 
 
 
 
 
  
 
=The far field=
 
=The far field=
Line 106: Line 77:
 
Letting <math>p=2\pi/R</math>, define the scattering angles <math>\chi_m</math> by
 
Letting <math>p=2\pi/R</math>, define the scattering angles <math>\chi_m</math> by
 
<center><math>
 
<center><math>
\chi_m = \cos^{-1} (\psi_m/k) \quad {\mathrm where}  
+
\chi_m = \cos^{-1} (\psi_m/k) \quad \mathrm{where}  
 
\quad \psi_m = k \cos \chi + m p
 
\quad \psi_m = k \cos \chi + m p
 
</math></center>
 
</math></center>
Line 218: Line 189:
 
between adjacent bodies greater than <math>Rk</math>.
 
between adjacent bodies greater than <math>Rk</math>.
  
=The efficient computation of the <math>\sigma_{\nu}^0</math> =
+
==The efficient computation of the <math>\sigma_{\nu}^0</math> ==
  
 
The constants <math>\sigma_{\nu}^0</math> (cf.~\eqref{eq_op_sigma}) appearing in
 
The constants <math>\sigma_{\nu}^0</math> (cf.~\eqref{eq_op_sigma}) appearing in
Line 228: Line 199:
 
<center><math>  
 
<center><math>  
 
\sigma_{\nu}^0  =  \sum_{j=1}^{\infty}  (P_{-j}+ (-1)^\nu P_j)
 
\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}
+
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),  
 
(P_{-j}+ (-1)^\nu P_j) H^{(1)}_\nu (kjR),  
 
</math></center>
 
</math></center>
Line 238: Line 209:
 
(P_{-j}+ (-1)^\nu P_j) H^{(1)}_\nu (kjR)
 
(P_{-j}+ (-1)^\nu P_j) H^{(1)}_\nu (kjR)
 
</math></center>
 
</math></center>
as the <math>\sigma^0_\nu</math> are then determined by </math>\sigma^0_\nu =
+
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>.
+
\pi/2 \,\, i^{\nu+1} \, \tilde{\sigma}^0_\nu</math>.
  
 
An efficient way of computing the <math>\tilde{\sigma}_{\nu}^0</math>
 
An efficient way of computing the <math>\tilde{\sigma}_{\nu}^0</math>
is given in [[linton98]] and the results are briefly outlined
+
is given in [[Linton 1998]] and the results are briefly outlined
 
in our notation.
 
in our notation.
 
Noting that <math>H^{(1)}_{-\nu} (\,\cdot\,)= (-1)^{\nu}
 
Noting that <math>H^{(1)}_{-\nu} (\,\cdot\,)= (-1)^{\nu}
Line 250: Line 221:
 
Referring to [[Linton 1998]], the constants <math>\tilde{\sigma}_{\nu}^0</math> can
 
Referring to [[Linton 1998]], the constants <math>\tilde{\sigma}_{\nu}^0</math> can
 
be written as  
 
be written as  
 
 
<center><math>
 
<center><math>
 
+
\tilde{\sigma}_{0}^0 = -1 -\frac{2 i}{\pi} \left( C + \log \frac{k}{2p}
\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
 
\right) + \frac{2}{R k \sin \chi} - \frac{2 \mathrm{i} (k^2 + 2
\psi^2)}{p^3 R} \zeta(3)\\ &\quad
+
\psi^2)}{p^3 R} \zeta(3)
 
+ \frac{2}{R} \sum_{m=1}^\infty \left(
 
+ \frac{2}{R} \sum_{m=1}^\infty \left(
 
\frac{1}{k \sin \chi_{-m}} + \frac{1}{k \sin \chi_m} +
 
\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)
+
\frac{2 i}{p m} + \frac{\mathrm{i} (k^2 + 2 \psi^2)}{p^3 m^3} \right)
  
 
</math></center>
 
</math></center>
Line 268: Line 237:
 
as well as
 
as well as
 
<center><math>\begin{matrix}
 
<center><math>\begin{matrix}
&\quad
+
\tilde{\sigma}_{2\nu}^0 &=& 2 (-1)^{\nu} \left( \frac{\mathrm{e}^{2\mathrm{i} \nu
\tilde{\sigma}_{2\nu}^0 &= 2 (-1)^{\nu} \left( \frac{\mathrm{e}^{2\mathrm{i} \nu
+
\chi} }{R k \sin \chi} - \frac{ i}{\pi}
\chi} }{R k \sin \chi} - \frac{\i}{\pi}
 
 
\left( \frac{k}{2 p} \right)^{2\nu} \zeta(2\nu +1) \right) +
 
\left( \frac{k}{2 p} \right)^{2\nu} \zeta(2\nu +1) \right) +
\frac{\i}{\nu \pi} \\
+
\frac{ i}{\nu \pi} \\
&\quad + 2 (-1)^\nu \sum_{m=1}^\infty
+
& + &2 (-1)^\nu \sum_{m=1}^\infty
 
\left( \frac{\mathrm{e}^{2\mathrm{i} \nu \chi_m}}{R k \sin \chi_{m}} +
 
\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{\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}
+
\frac{ i}{m\pi} \left( \frac{k}{2 m p} \right)^{2\nu}
\right)\\ &\quad
+
\right)\\ &
+ \frac{\i}{\pi} \sum_{m=1}^\nu  
+
&+& \frac{ i}{\pi} \sum_{m=1}^\nu  
 
\frac{(-1)^m 2^{2m} (\nu+m-1)!}{(2m)! (\nu-m)!} \left( \frac{p}{k} \right)^{2m}
 
\frac{(-1)^m 2^{2m} (\nu+m-1)!}{(2m)! (\nu-m)!} \left( \frac{p}{k} \right)^{2m}
 
B_{2m}(\psi/p),
 
B_{2m}(\psi/p),
\\
+
\end{matrix}</math></center>
&
+
<center><math>\begin{matrix}
\tilde{\sigma}_{2\nu-1}^0 &= - 2 (-1)^\nu \left( \frac{\mathrm{i}  \mathrm{e}^{\mathrm{i} (2\nu-1)
+
\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
 
\chi}}{R k \sin \chi} - \frac{ \psi R
 
\nu}{\pi^2} \left( \frac{k}{2 p} \right)^{2\nu-1}
 
\nu}{\pi^2} \left( \frac{k}{2 p} \right)^{2\nu-1}
 
\zeta(2\nu +1) \right)\\
 
\zeta(2\nu +1) \right)\\
&\quad - 2 (-1)^\nu \sum_{m=1}^\infty
+
& -& 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} +
 
\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{\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
 
\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}  
+
m p} \right)^{2\nu-1} \right)\\  
 +
& -& \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}
 
\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),
 
\right)^{2m+1} B_{2m+1}(\psi/p),
Line 303: Line 272:
 
converge like <math>O(m^{-5})</math> as <math>m\rightarrow\infty</math>.
 
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
+
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
+
\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>
 
<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
 
is particularly simple. For <math>\nu \geq 0</math>, they are given by
Line 317: Line 286:
 
where <math>\delta_{mn}</math> is the Kronecker delta.
 
where <math>\delta_{mn}</math> is the Kronecker delta.
  
= Acoustic scattering by an infinite array of identical generalized cylinders =
+
== Acoustic scattering by an infinite array of identical generalized cylinders ==
  
 
The theory above has so far been developed for water-wave scattering
 
The theory above has so far been developed for water-wave scattering
Line 331: Line 300:
 
theory applies with the following modifications:
 
theory applies with the following modifications:
  
 
+
#The [[Dispersion Relation for a Free Surface]] is replaced by <math>k=\omega /
#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
c<math> where </math>c<math> is the speed of sound in the medium under consideration
+
and the [[Dispersion Relation for a Free Surface]] is omitted.
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>
 
#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.
 
and <math>f_0</math> are replaced by 1.
 
#The factor <math>N_0</math> in \eqref{green_d} is <math>k/\pi</math>.
 
#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
+
Note 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
+
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
+
only
contain the terms for <math>m=0</math> and <math>n=0</math>. Moreover, we have </math>k_0 = -
+
contain the terms for <math>m=0</math> and <math>n=0</math>. Moreover, we have <math>k_0 = -
\mathrm{i} \, \omega /c<math>.
+
\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 circular cylinders, i.e. cylinders which have a circular
for arbitrary bodies. No assumption has been made about the body
+
cross-section, this problem has been considered by [[Linton and Evans 1993]].
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.==
+
[[Category:Infinite Array]]
We briefly describe the mathematical model of a floating
+
[[Category:Interaction Theory]]
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.
 

Latest revision as of 08:21, 19 October 2009


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].

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 Twersky 1962. 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 = \cos^{-1} (\psi_m/k) \quad \mathrm{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{ |\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{ |\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{ \cos^{-1} t = \begin{cases} \mathrm{i} \cosh^{-1} t, & t\gt 1,\\ \pi-\mathrm{i} \cosh^{-1} (-t) & t\lt -1, \end{cases} }[/math]

with [math]\displaystyle{ \cosh^{-1} 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} \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}, \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)|y|}}{\gamma(t)}\,\mathrm{e}^{\mathrm{i} kxt}\,\mathrm{e}^{i \mu \sgn(y)\cos^{-1} 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} & |t| \leq 1 \\ \sqrt{t^2-1} & |t|\gt 1, \end{cases} }[/math]

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)|y|}}{\gamma(t)}\,\mathrm{e}^{\mathrm{i} kxt} \,\mathrm{e}^{i(\psi-kt) jR}\,\mathrm{e}^{i \mu \sgn(y) \cos^{-1} 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)|y|}}{\gamma(\psi_j/k)} \,\mathrm{e}^{\mathrm{i} x\psi_j}\,\mathrm{e}^{i \mu\sgn(y)\cos^{-1} \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(|\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{ |\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}. }[/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]\displaystyle{ x = \infty }[/math] (if [math]\displaystyle{ \chi_m = 0 }[/math]) or towards [math]\displaystyle{ x=-\infty }[/math] (if [math]\displaystyle{ \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]\displaystyle{ Rk }[/math].

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

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]\displaystyle{ \sigma^0_\nu = \pi/2 \,\, i^{\nu+1} \, \tilde{\sigma}^0_\nu }[/math].

An efficient way of computing the [math]\displaystyle{ \tilde{\sigma}_{\nu}^0 }[/math] is given in Linton 1998 and the results are briefly outlined in our notation. Noting that [math]\displaystyle{ H^{(1)}_{-\nu} (\,\cdot\,)= (-1)^{\nu} H^{(1)}_{\nu} (\,\cdot\,) }[/math], it suffices to discuss the computation of the [math]\displaystyle{ \sigma_{\nu}^0 }[/math] for non-negative [math]\displaystyle{ \nu }[/math].

Referring to Linton 1998, 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) + \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} \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} \\ & + &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)\\ & &+& \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), \end{matrix} }[/math]
[math]\displaystyle{ \begin{matrix} \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)\\ & -& 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)\\ & -& \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]\displaystyle{ m \notin \mathcal{M} }[/math], the computation of the real part of [math]\displaystyle{ \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.

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 for a Free Surface is replaced by [math]\displaystyle{ k=\omega / c }[/math] where [math]\displaystyle{ c }[/math] is the speed of sound in the medium under consideration

and the Dispersion Relation for a Free Surface is omitted.

  1. All factors [math]\displaystyle{ \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 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 only contain the terms for [math]\displaystyle{ m=0 }[/math] and [math]\displaystyle{ n=0 }[/math]. Moreover, we have [math]\displaystyle{ 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 Linton and Evans 1993.