Professional Documents
Culture Documents
A long circular cylinder of radius a, w ith its axis horizontal, is half-immersed in a fluid
under gravity and is making periodic vertical oscillations of small constant am plitude and
of period 27r/cr about this position. I t is required to find the resulting fluid m otion when the
param eter N = cr2a/gr is large; the method of an earlier paper (Ursell 1949) is then unw ork
able. The present solution is made to depend on an integral equation (3*15) which can be
chosen to have a kernel tending to zero w ith N " 1, and which is solved by iteration. Succes
sive term s in the iteration are of decreasing order, and the convergence of the m ethod for
sufficiently large N is proved. Expressions are given for the virtual-m ass coefficient (5*1)
and for the wave am plitude a t infinity (5*7). The present work appears to be the first
practical and rigorous solution of a short-wave problem when a solution in closed form is
not available. I t is suggested th a t a similar technique m ay be applicable to the diffraction
problems of acoustics and optics, which have hitherto been treated by the approxim ate
Kirchhoff-Huygens principle.
1. I n t r o d u c t io n
The present work takes up again a problem which was partly solved in an earlier
paper (Ursell 1949), hereafter referred to as I. A long circular cylinder, with its
axis horizontal, is half-immersed in a fluid under gravity, and is making periodic
vertical oscillations of small constant amplitude about this position. In the neigh
bouring fluid a wave motion is thereby set up which spreads to infinity as a surface
wave. For sufficiently small amplitudes it was seen in I th at the motion depends
non-trivially on only a single dimensionless parameter
N — Ka = cr2a/gr, (1*1)
where 277’/o' is the period, a is the radius of the cylinder, and g is the gravitational
acceleration. I t is required to find the fluid motion, and in particular the virtual
Downloaded from http://rspa.royalsocietypublishing.org/ on November 27, 2017
92 F. Ursell
obtain a convergent process (Baker & Copson i95°> chap. 2, § 12). We are led to hope
that the diffraction problems of optics and acoustics may soon yield to a similar
treatment.
2. F ormulation of th e problem
A cylinder of circular section is immersed in a fluid with its axis in the free surface.
When the cylinder is given a forced simple-harmonic motion of small amplitude
about its initial position, a surface disturbance is set up in which waves travel away
from the cylinder, and a stationary state of motion is rapidly attained. When the
cylinder is very long or when the fluid is contained between vertical walls at right
angles to the axis of the cylinder, the velocity component parallel to the axis of the
cylinder vanishes and the motion is two-dimensional. If the amplitude of motion
of the cylinder is small enough, then the amplitude of motion a t any point of the
fluid is proportional to i t ; also, at a distance from the cylinder the motion on each
side of it is nearly a single regular wave train travelling away from the cylinder.
In this paper we return to the problem of calculating the fluid motion when the
cylinder is oscillating vertically. Viscosity and surface tension will be neglected;
then a velocity potential exists. If the assumptions of the preceding paragraph are
also made, squares and higher powers of the potential may be neglected. Take the
origin of rectangular Cartesian co-ordinates in the mean free surface at the mean
position of the axis of the cylinder. The #-axis is horizontal and perpendicular to the
axis of the cylinder, the ?/-axis is vertical, y increasing with depth. Define polar
co-ordinates by the equations
x — r sin 6, = cos 6.
Since the motion is symmetrical about the jy-axis, it is sufficient to consider the
quadrant 0 < 6^|7r. The velocity potential y) satisfies (cf. Ursell 1949)
0V
d +w =° (2-‘ )
K(f>+ ~ =0 when y = 0,
which expresses the condition that the waves at a distance from the cylinder travel
away from the cylinder. Also, </>{x, y) = - x, y). This prob
Downloaded from http://rspa.royalsocietypublishing.org/ on November 27, 2017
3. S olution of t h e problem
The problem is solved when the value 0(asin$, a cos#) = 0(0) of the velocity
potential on the semicircle is known. For then <f)(x, y) can be found everywhere in
the fluid (see equation (5-2)). An integral equation for 0(0) is obtained by applying
Green’s theorem (Lamb 1932, §44, equation (2))
to the two harmonic functions (f)(x,y), G(x,y; a sin a, a cos a), where djdn denotes
differentiation normal to the line element ds. Here G(x,y; £,77) is the potentialf
satisfying (2-1), (2-2) and (2-4) in the half-plane y^O , with a source singularity at
( a - g ) 2+ ( y - y ) 2
I In + Gt(x,y; £,y) (3-2)
(a:-£)2+ (y + 77)2
(see John 1950, p. 100). The line integral of (3-1) is taken along the boundary of
the region r ^ a , [ 6 \< \rni dented by a small circular a
and closed at infinity by a large semicircle. Consider the contributions to the fine
integral from different parts of the contour. On ± \n , both 0 and G satisfy (2-2)
T his w as n o t show n in I b u t m a y be show n as follows. T h e coefficients p Zm are defined b y
th e ex pansion in th e m iddle o f p. 221 o f th a t p ap er. M u ltiplying b y sin 2 a n d in te g ra tin g
from 0 to In we g et a sy stem of eq u a tio n s o f th e form
00
4"N 2 n 2P in a mn — C2m
= 1, 2, 3, ...),
71= 1
w here £ < 4 <oo, £ 2 b y a know n th e o re m (H ellinger & T o ep litz 1927, p. 1402), if
771 777 71
th e sy stem is non-singular th e re is a solution such th a t 'Lrnip l m<oo, w hence E m |p 2m| < 00,
a n d th e series for th e velocity com ponents converge ab so lu tely . I f th e sy stem is singular, th e
w ave am p litu d e a t infin ity vanishes. W h en we m u ltip ly by sin (2m - 1) a n d in te g ra te , we
g et a sim ilar sy stem w ith N - 1 outside th e sum for w hich, how ever, diverges. I t follows
th a t in th e la tte r case th e inverse o p era to r ca n n o t be ex p an d ed in a pow er series in N~^.
f H encefo rth th e tim e fac to r e~i(r< will be suppressed.
Downloaded from http://rspa.royalsocietypublishing.org/ on November 27, 2017
F. Ursell
and the integrand vanishes. The contribution from the large semicircle vanishes
because both 0 and G satisfy (2-4). The contribution from the indentation tends to
a non-zero limit as the radius of the indentation tenos to zero, and the only other
surviving contribution comes from the semicircle r Thus (3-1) becomes
G(6, ol) = G(a sin 6, a cos 0;a sin ot, a cos a),
is employed, and = f/0cos 0 (see (2-3)). The last term can be evaluated directly;
it is —7raJ70cosa, the Kmiting value of nf>(a)as
of 0, the equation may be written
The integral equation (3-3) is a Fredholm equation of the second kind. The right-
hand side is known in principle, the kernel of the integral term on the left-hand side
is of integrable square, and a solution exists. (This is in effect the proof given by
John.) But for large N there is no practical way of finding the solution of (3-3),
and our aiip now is to modify the kernel so as to bring the modified equation within
the scope of the following theorem, applicable when the kernel is small:
T heorem 1. I f (i) f(0) iscontinuous in 0 ^ 0 ^ \ tt,
(ii) {| K(0,<x)|2-f |
then the integral equation 7T(J)(a) + f>{0) K(0,oc) d0 —f(oc) can be solved by iteration:
Jo
= “n / ( a ) + ^7Tn=1
2 fn (a )> (3*4)
Downloaded from http://rspa.royalsocietypublishing.org/ on November 27, 2017
(3-6)
(For a proof by repeated application of Schwarz’s inequality, see Schmidt 1907, § 2.)
Equation (3*5) shows th a t the convergence of (3-4) is comparable with th a t of
if pis a small quantity, and equation (3*6) shows th a t the terms are in strictly
gnitude if mi
s also a small quantity. Only the condition on
p is essential for the convergence of the process, and so our aim is to modify the
kerne! * « & « > + of (M)> where
or or
(ft tv \ r°° Jr p~kN(C08 0+cos a)
— —- = 2N J ------ - — ------ cos {kN(sin 6 —sin a) —6} dk
and f f \h2(d,a)\2ddda,(3*8)
Jo Jo
A plausible method is to rewrite (3*3) in the form
96 F. Ursell
0 /cos 0cos
~ 2\ W +K*r*)
~ —2m e~Ky eiK{x^+ 0((Kr)~3), (3-9)
the equivalence being asymptotic.* Both sides may be differentiated term by term.
Wnte F(0) == (aisn
G 6, acos 0; 0,
from Green’s theorem
0, (3-10)
and h3(0, cc) in fact satisfies the same conditions (3-8) as Subtract (3*13)
from (3*3):
7r ^ ( a ) + J <f>(6
naU0cosoc + U0 J in
cosd[G2(6,oc) + G<i( —6,(x) —G3((3-15)
r r I KM, a ) [ t M A c
and therefore satisfies conditions (ii) and (iii) of theorem 1 for sufficiently large
From (6-5) it is seen th a t the convergence is a t least as fast as for the series
1 (.diV- *)* 2
71= 0
The integral equation (3-15) is thus of the desired form and will be used for finding
the leading terms in the potential.
4. Calculation of t h e solution
The leading term in 0(a) is easily shown to be cos a. In this section the
next approximation will be obtained when N is large. The integral equation (3-15)
can be written in symbolic form (771 -f L)0(a) = ~aU0(7rI —M) cos a, of which the
solution is
0(a) = —aU0
K Lr K M) cos a
cos a
where the expansion of the operator is legitimate when N is sufficiently large. The
rapidity of convergence of the series is given by (3*5) and (3*6), from which it appears
that the leading term of the series is
+ -° f 1177c o s 6[G2(a ) +
U JO
where Q>(z,y) = - U 0a*r~1ooB6 is the hmit potential and the integration is along
a quadrant of the semicircle and can be extended along the line of symmetry 6 = 0,
where the integrand vanishes. But the integrand is of the form occurring in Green’s
theorem and the path of integration may accordingly be deformed into the #-axis,
where 0 = 0 and only the term involving 0O/0w survives. Since 0O/0y = - 2
Vol. 220. A. 7
Downloaded from http://rspa.royalsocietypublishing.org/ on November 27, 2017
98 F. Ursell
o n y = 0,the term a?707r"1(L +M ) cos a (equation (4-1)) is changed into the simpler
form
^ f°°{£2(r,0; a sin a ,a c o sa ) + £ 2( - r , 0 ; a sin a, a cos a)
n dr
—G3(r, 0; a sin a cos a )} •
Here it is convenient to use for Gx(x, y\ E,,y) an alternative form obtained by turning
the path of integration in (3*2) through a right angle in the complex fc-plane:
Gx(x,y,i,y) = - 2 n i e - K^ e iK^
_ 2 f 00k cos + ^ ~ sin + 9)}e-k I idJc
Jo +1
and G2(0r, ; a sin a, a cos a) = aGx(r,0\ a sin a, a cos a). Also, put r = vja. Then
f 00
(L + M) cos a = - 2n\e~NcoBa I eiiV^ -8lna>
9
r °° &v
— 277’i e _ iV c o S a J e liV ^ + s l n a ) ^ 2
the term 0(N~Z) comes from (3*9) and is actually 0{N~m) for any m. Asymptotic
expansions valid for large A may now be obtained for the right-hand side of (4*2);
only the leading terms will be evaluated. To obtain an estimate for the integral
(4-3), with a rapidly oscillating integrand, differentiate with respect to ft
under the sign of integration. Then
dF f°° dv f 00
—A sin ft Fx—A sin ft J I sin (A k cos ft) e-kN(v~8ina) dk
^2
H?Moo,a-£) sin2a 4- ^cos a - - NV )
,+
sin a
sin2a + |cos a —
2\ 2
sin2cc—| cos a —
)’ ! tan -1
+ 2\ 2 nj 1 —sin a
|sin2a + l 1 « « -£
does not oscillate rapidly. Note th at the limit of integration N cos a in equation
(4-5) is not large if N is large and a is near enough to \ tt. If it were now possible to
expand F2(a, ujN) in a power series in u/N, the term-by-term integration of this
series in (4-5) would clearly give a uniformly asymptotic expansion. Although
unfortunately F2(a, ujN) cannot be expanded in this way when a is near it can
be shown th at the leading term in the asymptotic expansion is still given by putting
u =0 in F2{<x,ujN)\
FNcos a ( u\ rN cos a
J e~uF2 jyj dw = J e~MF2(oc, 0) d + smaller terms
COS ~1 f ^^osiz
= cos a 1 -f sin a In (2 —2 sin a)--------- (k7T+ ^(X) \
L cos a J o
+ smaller terms. (4-6)
where
TV*
_j_ | 0— sin a). d k
fc(l—
J TV* ~ k2+ N 2'
The first three integrals are easily seen to be 0(N~%), while the last is
> 0—
iV^(l—
sin a) j x-iV$(l-sina) 'N
id k
(j7I - 2 t a n - 1]i |
J ^ P + iV2 N
100 F. Ursell
and so
e -v c c • J 1 ,K ^ « r » ~ * - ^2j\r*(-V<":SJ,>-!
1 + sin.AC,,,J
a +< W
7T
e -NCQB a + 0(N-*). (4-7)
~ 2
f 00 d& 77"
The last integral is also < j ^2 + = 2 N ’ w^ence
e-iv co s “ F ^ n , * ) = ^ e - jVcosa + 0 ( ^ - f )
and ^ ( a , a) is given by (4*5). The remaining terms in (4*2) can be estimated with
little trouble. Fx{a, —tx)is calculated in the same way as F^a, ex
Fx(\ tt,—a) is negligible. Also
f*N cos a
x e~u dw + o
Jo <$■
and
aUn
</>{oc)— —a£/0cosaH----- (L + M )cosa + ...
It is noteworthy that the term in (4-2) arising from G3{x,y) cancels out the wave
term arising from G2( —x,y).
Downloaded from http://rspa.royalsocietypublishing.org/ on November 27, 2017
5. A pplicatio ns
(1) Virtual mass
The force on the cylinder due to the fluid motion may be resolved into a workless
component in phase with the acceleration and a component in quadrature. The work
done by the latter is carried to infinity by the waves, while the former may be
regarded as an increase in the inertia of the system or virtual mass. Equation (4-8)
shows that to the present order of approximation the dynamic pressure
V=
where all the integrals involved are elementary. The product of the displaced fluid
mass and the acceleration of the semicircle is —lna2picrU0 and the virtual-mass
coefficient* is
1-
JT 0
(j)(0) ( e-Kr cos e0i Arising _ cos Isln 0 add 0(N~*). (5-4)
102 F. Ursell
Multiply (5-4) by eiK a_e-aiKn(j subtract from (5-3):
/e-K
rcose2 cos rsin#))"l
dr J
= 2 j in $(0) {-K cosd e-N
cos0Co s N ( l - sin 6)
+ K sin d e~Ncos sin 1 - sin 6)} a dd
f ee
cos cos
-N m 1 _ sin 0)
Jo dr Jo
A little care is needed in the integral involving <j)(d) which itself contains a factor
q —N cos 6jn Some terms. The result is th at the right-hand side of (5-5) is
—4 aU0N~2+
where a time factor e~icrt must be supplied. The surface amplitude at infinity is
| \cr<j){i, 0 )/g|= IcraUJgN2,the amplitude of motion of the cylinder
thus their ratio (computed in I):
wave amplitude at infinity _ 4<r2a _ 4
amplitude of motion of the cylinder N’
approximately, where N = Ka — <r2a\g. This value agrees very well with the trend
of the computations in I.
The result (5*6) is also obtained by the following approximate argument: The
velocity potential
<* = -fV » 2(— + T S5“) e
describes a motion satisfying (2*1), (2-2) and (2-4), and without waves at infinity.
Thus the normal velocity distribution U0cos 6 e-1<r* over r — a makes the same
Downloaded from http://rspa.royalsocietypublishing.org/ on November 27, 2017
6. C o n c l u d in g rem arks
It may be useful to summarize briefly what has been done in this paper, and what
remains to be done in the future. The special problem described in § 2 was made to
depend on the solution of an integral equation (3-15) which could be so chosen th at
its kernel was small, tending to 0 as N = cr2ajg tended to infinity.
then soluble by iteration for large N, and this solution was not only convergent in
principle, successive terms being in strictly decreasing order of magnitude, but the
two largest terms were actually obtained, (4-8), while higher terms are probably
obtainable without excessive labour. I t has not yet been shown how the method
can be extended to general three-dimensional problems, and to the diffraction
problems of acoustics and optics. But there is reasonable hope th at this can be done;
and if this is justified a proper understanding of Huygens’s principle and its exten
sions will be in sight.
R eferen ces
B ak er, B. B. & Copson, E . T . 1950 The m athem atical theory o f H u
O xford U n iv ersity Press.
H avelock, T. H . 1929 P h il. M ag. (7), 8, 569.
H ellinger, E . & T oeplitz, O. 1927 Encyclopaedie der m athem at
3. Teil, 2. H alfte . L e ip z ig : T eubner.
Jeffreys, H . & Jeffreys, B. S. 1946 M athem atical physics. C am bridge U n iv e rsity P ress.
J o h n , F . 1950 Com m un. P ure A p p l. M ath. 3 , 45.
L am b , H . 1932 H ydrodynam ics, 6th ed. C am bridge U n iv ersity Press.
S ch m id t, E . 1907 M ath. A n n . 64, 161.
R ay leig h , L ord 1904 P h il. T rans. A, 203, 87.
U rsell, F . 1949 Quart. J . M ech. A p p l. M ath. 2 , 218.
W atso n , G. N . 1944 Theory o f Bessel fu n c tio n s, 2n d ed. C am bridge U n iv ersity P ress.