Wiener-Hopf Solution for a Semi-Infinite Dock
From WikiWaves
Contents |
Introduction
We present here the Wiener-Hopf solution to the problem of a semi-infinite dock. The solution can also be found using eigenfunction expansion The theory is described in Wiener-Hopf.
Governing Equations
We begin with the Frequency Domain Problem for a dock which occupies the region x > 0 (we assume eiωt time dependence). The water is assumed to have constant finite depth h and the z-direction points vertically upward with the water surface at z = 0 and the sea floor at z = − h. The boundary value problem can therefore be expressed as

We
must also apply the Sommerfeld Radiation Condition
as
. This essentially implies
that the only wave at infinity is propagating away and at negative infinity there is a unit incident wave
and a wave propagating away.
We apply the Fourier transform to these equations in
x < 0 and x > 0 and obtain algebraic expressions of the Fourier transform of
. The Fourier transforms of
in x < 0 and x > 0 are defined as

and

Notice that the superscript ` + ' and ` − ' correspond to the integral domain.
The Sommerfeld Radiation Conditions introduced in section 2.3 restrict the amplitude of
to stay finite as
because of the absence of dissipation. It follows that
and
are
regular in
and
, respectively.
It is possible to find the inverse transform of the sum of functions
Φ = Φ − + Φ + using the inverse formula if the two
functions share a strip of their analyticity in which a integral path
can be taken. The Wiener-Hopf technique usually
involves the spliting of complex valued functions into a product of two
regular functions in the lower and upper half planes and then the application
of Liouville's theorem, which states that
a function that is bounded and analytic in the whole plane is constant everywhere. A corollary of
Liouville's theorem is that a function which is asymptotically
as
must be a
polynomial of n'th order.
We will show two ways of solving the given boundary value problem. First we figure out the domains of regularity of the functions of complex variable defined by integrals, thus we are able to calculate the inverse that has the appropriate asymptotic behaviour. Secondly we find the asymptotic behaviour of the solution from the physical conditions, thus we already know the domains in which the Fourier transforms are regular and are able to calculate the inverse transform.
Weierstrass's factor theorem
As mentioned above, we will require splitting a ratio of two functions of a complex variable in s-plane. We here remind ourselves of Weierstrass's factor theorem (Carrier, Krook and Pearson 1966 section 2.9) which can be proved using the Mittag-Leffler theorem.
Let
denote a function that is analytic in the whole
s-plane (except possibly at infinity) and has zeros of first order at
a0, a1, a2, ..., and no zero is located at the origin. Consider
the Mittag-Leffler expansion of the logarithmic derivative of
, i.e.,
![\frac{d\log H\left( s\right) }{ds} =\frac{1}{H\left(
s\right) }\frac{dH\left( s\right) }{ds}
=\frac{d\log H\left( 0\right) }{ds}+\sum_{n=0}^{\infty}\left[
\frac{1}{s-a_{n}}+\frac{1}{a_{n}}\right] .](/images/math/c/c/d/ccd444f869738f234aefca5b902f8ff6.png)
Integrating both sides in
we have
![\log H\left( s\right) =\log H\left( 0\right) +s\frac{d\log
H\left( 0\right) }{ds}+\sum_{n=0}^{\infty}\left[ \log\left(
1-\frac{s}{a_{n}}\right) +\frac{s}{a_{n}}\right] .](/images/math/4/6/3/463fddfb54feaa058749bf2f6970c9d7.png)
Therefore, the expression for
is
![H\left( s\right) =H\left( 0\right) \exp\left[ s\frac{d\log
H\left( 0\right) }{ds}\right] \prod_{n=0}^{\infty}\left(
1-\frac{s}{a_{n}}\right) e^{s/a_{n}}.](/images/math/0/8/f/08fefeb0059b71bc8170c355e11aafbe.png)
If
is even, then
and − an is a zero if an is a zero. Then we have the simpler
expression

Derivation of the Wiener-Hopf equation
We derive algebraic expressions for
using integral transforms of the equations which gives

The above ordinary differential equations i subject to the Fourier transform of the condition at z = − h

and can therefore be written as

where
is a
function determined by
,



We have, by differentiating both sides with respect to z at z = 0

where
denotes the z-derivative. We
apply the integral transform to the free-surface conditions in x < 0 and x > 0,


We therefore have

where



Dispersion Relation for a Floating Elastic Plate
Functions f1 and f2 are
the Dispersion Relation for a Floating Elastic Plate and the zeros of these functions are the primary tools in
our method of deriving the solutions.
Functions
, and
are defined in
and
, respectively. However they can be extended in the
whole plane defined via analytic
continuation. This show that the
singularities of
and
are determined by the
positions of the zeros of f1\ and f2, since
is bounded and zeros of γtanhγH are not the
singularities of
. We denote sets of singularities
corresponding to zeros of f1 and f2 by
and
respectively

We avoid numbering the roots with this notation, but for numerical purposes this is important and we order them with increasing size.
Solution of the W-H Equation
Using the Mittag-Leffler theorem (Carrier, Krook and Pearson 1966 section 2.9), functions
can be expressed by a series of fractional functions that contribute to the solutions. Thus, we have series expansions of
and

where
is a positive real singularity of
and Q1, Q2 are coefficient functions yet to be determined. Note that
\ has an additional term corresponding to − λ\ because of the incident wave. The solution
, x < 0 is then obtained using the inverse Fourier transform taken over the line shown in Fig.~((roots5)a)

where τ\ is an infinitesimally small positive real number. Note that
k = λsinθ. Similarly, we obtain
for
x > 0 by taking the integration path shown in Fig.~((roots5)b), then we
have

The Wiener-Hopf technique enables us to calculate coefficients Q1 and Q2 without knowing functions C1, C2, or
. It requires the domains of analyticity of Eqn.~((4-46)) and Eqn.~((4-47)) to have a common strip of analyticity which they do not have right now. We create such a strip by shifting a singularity of
in Eqn.~((4-46)) to
in Eqn.~((4-47)) (we can also create a strip by moving a singularity of
, and more than one of the singularities can be moved). Here, we shift − λ as shown in Fig.~((roots5)a), so that the common strip of analyticity denoted by
is created on the real axis, which passes above the two negative real singularities and below the two positive real singularities. We denote the domain above and including
by
\ and below and including
by
. Hence, the zeros of f1 and f2 belong to either
or
.
Let
be a function created by subtracting a singularity from function
. Then\
is regular in
.\ Since the removed singularity term makes no contribution to the solution,\ from Eqn.~((4-46)),
satisfies

Eqn.~((4-47)) becomes, as a result of modifying function
to a function denoted by
with an additional singularity term,

Our aim now is to find a formula for

in
so that its inverse Fourier transform can be calculated.
Adding both sides of Eqn.~((100)) and Eqn.~((4-48)) gives the Wiener-Hopf equation

where
. This equation can alternatively be written as
![\begin{matrix}
[c]{c}
f_{2}\left( \gamma\right) \left[ f\left( \gamma\right) \Psi_{z}
^{+}\left( s,0\right) -\frac{f_{2}\left( \lambda^{\prime}\right)
Q_{1}\left( -\lambda\right) }{s+\lambda}+C\left( s\right)
\right] \\
=-f_{1}\left( \gamma\right) \left[ f\left( \gamma\right) \Psi_{z}
^{-}\left( s,0\right) +\frac{f_{2}\left( \lambda^{\prime}\right)
Q_{1}\left( -\lambda\right) }{s+\lambda}-C\left( s\right)
\right]
\end{matrix}
(eq:WH2)](/images/math/5/a/a/5aaeab4a32ead0cfc0f605ff2a531c05.png)
where
We now modify Eqn.~((eq:WH2)) so that the right and left hand sides of the equation become regular in
and
respectively. Using Weierstrass's factor theorem given in the previous subsection, the ratio f2 / f1 can be factorized into infinite products of polynomials
,
and
. Hence, using a regular non-zero function
in
,

where
, then we have

Note that the factorization is done in the s-plane, hence functions f1 and f2 are here seen as functions of s and we are actually factorizing

in order to satisfy the conditions given in the previous subsection. Then Eqn.~((eq:WH2)) can be rewritten as
![\begin{matrix}
[c]{c}
K\left( s\right) \left[ f\left( \gamma\right) \Psi_{z}^{+}+C\right]
-\left( K\left( s\right) -\frac{1}{K\left( \lambda\right) }\right)
\frac{f_{2}\left( \lambda^{\prime}\right) Q_{1}\left( -\lambda\right)
}{s+\lambda}\\
=-\frac{1}{K\left( -s\right) }\left[ f\left( \gamma\right) \Psi
_{z}^{-}-C\right] -\left( \frac{1}{K\left( -s\right) }-\frac
{1}{K\left( \lambda\right) }\right) \frac{f_{2}\left( \lambda^{\prime
}\right) Q_{1}\left( -\lambda\right) }{s+\lambda}.
\end{matrix}
(4-26)](/images/math/f/2/a/f2a7b3712978228328f1d3e9089fb39f.png)
Note that the infinite products in Eqn.~((eq:K)) converge in the order of q − 5 as
becomes large, thus numerical computation of
does not pose any difficulties.
The left hand side of Eqn.~((4-26)) is regular in
and the right hand side is regular in
. Notice that a function is added to both sides of the equation to make the right hand side of the equation regular in
. The left hand side of Eqn.~((4-26)) is
as
in
, since
and
\ as
in
. The right hand side of Eqn.~((4-26)) has the equivalent analytic properties in
. Liouville's theorem (Carrier, Krook and Pearson carrier section 2.4) tells us that there exists a function, which we denote
, uniquely defined by Eqn.~((4-26)), and function
is a polynomial of degree three in the whole plane. Hence

Equating Eqn.~((4-26)) for Ψz gives

where

Notice that procedure from Eqn.~((eq:WH2)) to Eqn.~((4-26)) eliminates the need for calculating constant C in Eqn.~((4-26)).
For x < 0 we close the integral contour in
, and put the
incident wave back, then we have

where
is a residue of
\gamma=q^{\prime}</math>

We used b1 = − m1ω2 + ρg and
to simplify the formula. Displacement
can be
obtained by multiplying Eqn.~((eq:solution1)) by − i / ω. Notice that the formula for the residue is again expressed by a
polynomial using the dispersion equation as shown in section (sec:3),
which gives us a stable numerical computation of the solutions.
The velocity potential
can be obtained using
Eqn.~((4-44)) and Eqn.~((eq:4)),

where
.
For x > 0, the functions
and
are obtained by closing the integral contour in
,

where R2 is a residue of
and its formula can be obtained by replacing the subscript 1 with
2 in Eqn.~((R)). Notice that since
,
j = 1,2, the coefficients of φz of Eqn.~((4-28)) decay as
as
becomes large, so the
displacement is bounded up to the fourth x-derivatives. In a physical sense,
the biharmonic term of the plate equation for the vertical displacement is
associated with the strain energy due to bending of the plate as explained in
chapter 2. Hence, up to fourth derivative of the displacement function should
be bounded, as has been confirmed. The coefficients of φ, have an extra
term which is
, hence
the coefficients decay as
as
becomes large. Therefore, φ is bounded everywhere including at x = 0.
Shifting a singularity of one function to the other is equivalent to subtracting an incident wave from both functions then solving the boundary value problem for the scattered field as in Balmforth and Craster 1999. As mentioned, any one of the singularities can be shifted as long as it creates a common strip of analyticity for the newly created functions. We chose − λ because of the convenience of the symmetry in locations of the singularities. The method of subtracting either incoming or transmitting wave requires the Fourier transform be performed twice, first to express the solution with a series expansion, and second to solve the system of equations for the newly created functions. Thus, we find the method of shifting a singularity shown here is advantageous to other methods since it needs the Fourier transform only once to obtain the Wiener-Hopf equation.
The polynomial
is yet to be determined. In the
following section the coefficients of
will be
determined from conditions at
,
, z = 0.
