Bottom Mounted Cylinder
Introduction
The bottom mounted cylinder is one of the simplest scattering problems in water waves. It is the basis for many more complicated scattering problems in which it is desired to keep the scatterers as simple as possible. The theory can be found in many books. The derivation here is related to Cylindrical Eigenfunction Expansion. We begin with the Frequency Domain Problem.
Boundary Problem for a Fixed Body
We assume small amplitude so that we can linearise all the equations (see Linear and Second-Order Wave Theory). We also assume that Frequency Domain Problem with frequency [math]\displaystyle{ \omega }[/math] and we assume that all variables are proportional to [math]\displaystyle{ \exp(-\mathrm{i}\omega t)\, }[/math] The water motion is represented by a velocity potential which is denoted by [math]\displaystyle{ \phi\, }[/math] so that
[math]\displaystyle{ \Phi(\mathbf{x},t) = \mathrm{Re} \left\{\phi(\mathbf{x},\omega)e^{-\mathrm{i} \omega t}\right\}. }[/math]
The coordinate system is the standard Cartesian coordinate system with the [math]\displaystyle{ z- }[/math]axis pointing vertically up. The water surface is at [math]\displaystyle{ z=0 }[/math] and the region of interest is [math]\displaystyle{ -h\lt z\lt 0 }[/math]. There is a body which occupies the region [math]\displaystyle{ \Omega }[/math] and we denote the wetted surface of the body by [math]\displaystyle{ \partial\Omega }[/math] We denote [math]\displaystyle{ \mathbf{r}=(x,y) }[/math] as the horizontal coordinate in two or three dimensions respectively and the Cartesian system we denote by [math]\displaystyle{ \mathbf{x} }[/math]. We assume that the bottom surface is of constant depth at [math]\displaystyle{ z=-h }[/math].
The Standard Linear Wave Scattering Problem in Finite Depth for a fixed body is
(note that the last expression can be obtained from combining the expressions:
where [math]\displaystyle{ \alpha = \omega^2/g \, }[/math]) The body boundary condition for a rigid body is just
The equation is subject to some radiation conditions at infinity. We assume the following. [math]\displaystyle{ \phi^{\mathrm{I}}\, }[/math] is a plane wave travelling in the [math]\displaystyle{ x }[/math] direction,
where [math]\displaystyle{ A }[/math] is the wave amplitude (in potential) [math]\displaystyle{ \mathrm{i} k }[/math] is the positive imaginary solution of the Dispersion Relation for a Free Surface (note we are assuming that the time dependence is of the form [math]\displaystyle{ \exp(-\mathrm{i}\omega t) }[/math]) and
In three-dimensions the Sommerfeld Radiation Condition is
where [math]\displaystyle{ \phi^{\mathrm{{I}}} }[/math] is the incident potential.
If we have a problem in which all the scatterers are of constant cross sections so that
[math]\displaystyle{ \partial\Omega = \partial\hat{\Omega} \times z\in[-h,0] }[/math]
where [math]\displaystyle{ \partial\hat{\Omega} }[/math] is a function only of [math]\displaystyle{ x,y }[/math] i.e. the boundary of the scattering bodies is uniform with respect to depth. We can remove the depth dependence separation of variables and obtain that the dependence on depth is given by
[math]\displaystyle{ \phi(x,y,z) = \frac{\cosh \big( k (z+h) \big)}{\cosh(k h)} \bar{\phi}(x,y) }[/math]
Since [math]\displaystyle{ \phi }[/math] satisfies Laplace's Equation, then [math]\displaystyle{ \Phi }[/math] satisfies Helmholtz's Equation
[math]\displaystyle{ \nabla^2 \bar{\phi} + k^2 \bar{\phi} = 0 }[/math]
in the region not occupied by the scatterers.
Equation for a Cylinder
A cylinder of radius [math]\displaystyle{ a }[/math] (which we will suppose is at the centre of our cylindrical coordinate system) occupies the region [math]\displaystyle{ r\lt a }[/math]. On the boundary of the cylinder we assume that the normal derivative vanishes.
We can now use Separation of Variables by writing Helmholtz's Equation in cylindrical polar coordinates,
Separation of Variable for the [math]\displaystyle{ r }[/math] and [math]\displaystyle{ \theta }[/math] coordinates
For the solution of
[math]\displaystyle{ \frac{1}{r} \frac{\partial}{\partial r} \left( r \frac{\partial Y}{\partial r} \right) + \frac{1}{r^2} \frac{\partial^2 Y}{\partial \theta^2} = k_m^2 Y(r,\theta), }[/math]
we use the separation
[math]\displaystyle{ \,\!Y(r,\theta) =: R(r) \Theta(\theta). }[/math]
Substituting this into Laplace's equation yields
[math]\displaystyle{ \frac{r^2}{R(r)} \left[ \frac{1}{r} \frac{\mathrm{d}}{\mathrm{d}r} \left( r \frac{\mathrm{d} R}{\mathrm{d}r} \right) - k_m^2 R(r) \right] = - \frac{1}{\Theta (\theta)} \frac{\mathrm{d}^2 \Theta}{\mathrm{d} \theta^2} = \eta^2, }[/math]
where the separation constant [math]\displaystyle{ \eta }[/math] must be an integer, say [math]\displaystyle{ \nu }[/math], in order for the potential to be continuous. [math]\displaystyle{ \Theta (\theta) }[/math] can therefore be expressed as
[math]\displaystyle{ \Theta (\theta) = C \, \mathrm{e}^{\mathrm{i} \nu \theta}, \quad \nu \in \mathbb{Z}. }[/math]
We also obtain the following expression
[math]\displaystyle{ r \frac{\mathrm{d}}{\mathrm{d}r} \left( r \frac{\mathrm{d} R}{\mathrm{d} r} \right) - (\nu^2 + k_m^2 r^2) R(r) = 0, \quad \nu \in \mathbb{Z}. }[/math]
Substituting [math]\displaystyle{ \tilde{r}:=k_m r }[/math] and writing [math]\displaystyle{ \tilde{R} (\tilde{r}) := R(\tilde{r}/k_m) = R(r) }[/math], this can be rewritten as
[math]\displaystyle{ \tilde{r}^2 \frac{\mathrm{d}^2 \tilde{R}}{\mathrm{d} \tilde{r}^2} + \tilde{r} \frac{\mathrm{d} \tilde{R}}{\mathrm{d} \tilde{r}} - (\nu^2 + \tilde{r}^2)\, \tilde{R} = 0, \quad \nu \in \mathbb{Z}, }[/math]
which is the modified version of Bessel's equation. Substituting back, the general solution is given by
[math]\displaystyle{ R(r) = D_\nu \, I_\nu(k_m r) + E_\nu \, K_\nu(k_m r),\ \nu \in \mathbb{Z}, }[/math]
where [math]\displaystyle{ I_\nu }[/math] and [math]\displaystyle{ K_\nu }[/math] are the modified Bessel functions of the first and second kind, respectively, of order [math]\displaystyle{ \nu }[/math].
Note that [math]\displaystyle{ K_\nu (\mathrm{i} x) = \pi / 2\,\, \mathrm{i}^{\nu+1} H_\nu^{(2)}(x) }[/math] with [math]\displaystyle{ H_\nu^{(2)} }[/math] denoting the Hankel function of the second kind of order [math]\displaystyle{ \nu }[/math]. Also, [math]\displaystyle{ I_\nu }[/math] does not satisfy the Sommerfeld Radiation Condition since it becomes unbounded for increasing real argument and it represents incoming waves.
The solution is
[math]\displaystyle{ \phi (r,\theta) = \sum_{\nu = - \infty}^{\infty} \left[ D_{\nu} I_\nu (k_0 r) + E_{\nu} K_\nu (k_0 r) \right] \mathrm{e}^{\mathrm{i} \nu \theta}, }[/math]
Note that in many cases a symmetry argument is used to express the complex exponentials in terms of sine and cosines. This follows from a symmetry in the incident potential.
Boundary condition at [math]\displaystyle{ r = a }[/math]
The boundary condition at [math]\displaystyle{ r = a }[/math] is that the normal derivative vanishes. If this is substituted into the above equation we obtain
[math]\displaystyle{ D_{\nu} I^{\prime}_\nu (k_0 a) + E_{\nu} K^{\prime}_\nu (k_0 a) = 0, }[/math]
so that
[math]\displaystyle{ E_{\nu} = -\frac{D_{\nu} I^{\prime}_\nu (k_0 a)}{K^{\prime}_\nu (k_0 a)}, }[/math]
and we often assume that the incident wave is a plane wave travelling in the positive [math]\displaystyle{ x }[/math] direction, i.e.
[math]\displaystyle{ \phi^{i} (r,\theta) = e^{k_0 x} = \sum_{\nu = - \infty}^{\infty} I_\nu (k_0 r) \mathrm{e}^{\mathrm{i} \nu \theta}, }[/math]
We therefore have the total potential as
[math]\displaystyle{ \phi (r,\theta) = \sum_{\nu = - \infty}^{\infty} \left[ I_\nu (k_0 r) - \frac{ I^{\prime}_\nu (k_0 a)}{K^{\prime}_\nu (k_0 a)} K_\nu (k_0 r) \right] \mathrm{e}^{\mathrm{i} \nu \theta}. }[/math]
