c
2006 Cambridge University Press
doi:10.1017/S002211200500827X Printed in the United Kingdom
63
Evolving eddy structures in oscillatory Stokes
ows in domains with sharp corners
By M. BRANI CKI AND H. K. MOFFATT
Department of Applied Mathematics and Theoretical Physics, University of Cambridge,
Wilberforce Road, Cambridge CB3 0WA, UK
mb388@damtp.cam.ac.uk, hkm2@damtp.cam.ac.uk
(Received 25 February and in revised form 10 August 2005)
Stokes ow of a viscous uid in a cylindrical container driven by timeperiodic forcing,
either at the boundary or through oscillation of the cylinder about an axis parallel to
its generators, is considered. The behaviour is governed by a dimensionless frequency
parameter and by the geometry of the cylinder crosssection. Various crosssections
(square, rhombus, and sector of a circle) are rst treated by either nitedierence
or analytic techniques and typical transitions of streamline topology during ow
reversals are identied. Attention is then focused on the asymptotic behaviour near
any sharp corner on the boundary. For small , a regular perturbation expansion
reveals the manner in which local ow reversal proceeds during each halfcycle of the
ow. The behaviour depends on the corner angle, and dierent regimes are identied
for both types of forcing. For example, for an oscillating square domain, eddies grow
symmetrically from each corner and participate in the subsequent ow reversal in the
interior. For large , the corner eddies merge into Stokestype boundary layers which
drive the interior owreversal process. In general, the local corner analysis provides
a key to an understanding of the global ow evolution.
1. Introduction
Stokes ow of an incompressible uid in a nite domain D is generally thought
to be quasistatic, i.e. instantaneously determined throughout D by the velocity
distribution on its boundary D. For such a ow, if the boundary is instantaneously
at rest, then the uid is everywhere at rest irrespective of the previous history of the
motion. Thus, for example, if a tangential motion that is sinusoidal in time is imposed
on part or all of D, then the interior ow will have a constant streamline pattern, the
intensity varying sinusoidally at each point, a reversal of the ow direction occurring
at each instant when the boundary is momentarily at rest.
This quasistatic description is clearly inadequate, since in all practical circumstances
for a uid of nite viscosity, it takes a nite time for vorticity to diuse from the
boundary to the uid interior. In particular, if the boundary is brought to rest at any
instant, a residual motion remains within the uid at that instant. In a timeperiodic
ow driven by sinusoidal boundary motion, this residual motion at the instants when
the boundary is at rest provides the key to understanding how the above ow reversals
occur in practice.
The situation is amenable to analysis, which turns out to be particularly revealing,
when D has one or more sharp corners on its boundary, and the ow is two
dimensional. The generic steady Stokes ow in the neighbourhood of such corners
has been long understood (Moatt 1964): if the angle of the corner is less than a
64 M. Branicki and H. K. Moatt
critical value (approximately 146
+
2
u 2 u ( r)
r,
u = 0,
_
_
_
(2.1)
These are most vividly exposed by computer animations, which are available as a supplement
to the online version of this paper.
Evolving eddy structures in oscillatory Stokes ows 65
with the noslip boundary condition u =0 on D. The terms 2 u ( r)
are (for twodimensional ow) irrotational and may be absorbed in the pressure
term; the Poincar e force
t
+
(
2
, )
(x, y)
4
= 2
, =
n
= 0 on D, (2.2)
where the Poincar e term 2
evidently provides a uniform rate of production of
vorticity within the domain.
Let L be the characteristic scale of the crosssection D and let ,
be respectively
the characteristic frequency and amplitude of the torsional oscillations. If we then
nondimensionalize lengths with L, time with
1
, and velocities with
U( =2
L),
(2.2) takes the nondimensional form
t
+ Re
(
2
, )
(x, y)
4
=
, =
n
= 0 on D, (2.3)
where Re =
UL/ is the Reynolds number and = L
2
/. These two parameters can
be varied independently by changing
U and .
A related problem that we shall refer to as the oscillatinglid problem concerns the
ow inside the cylindrical domain D generated by a prescribed oscillatory tangential
velocity distribution U on the boundary with some characteristic frequency and
amplitude
U. The NavierStokes equation governing this ow can be written
u
t
+ u u =
p
+
2
u,
u = 0,
u n = 0, u t = U(s, t ) on D,
_
_
(2.4)
where n, t are the unit normal and tangent vectors on D; s is a variable along the
boundary (e.g. arclength). We may again nondimensionalize using L,
1
, and
U as
scales of length, time and velocity, and the problem (2.4) reduces to
t
+ Re
(
2
, )
(x, y)
4
= 0, = 0,
n
= U(s, t ) on D. (2.5)
The governing equation and boundary conditions for both prototype problems (2.5)
and (2.3) can be compacted in the form
t
+ Re
(
2
, )
(x, y)
4
=
(t ),
= 0, /n = (1 )U(s, t ) on D,
_
_
_
(2.6)
where =1 for the oscillatingcylinder problem and =0 for the oscillatinglid
problem.
We now adopt the conventional Stokes approximation Re 1, which allows us
to drop the nonlinear convective acceleration term in (2.6). We further suppose that
Re so that it is consistent to retain the local acceleration term
2
/t , which
plays an important part in the subsequent analysis. These two conditions may be
combined in the form
U/ L /
U, (2.7)
66 M. Branicki and H. K. Moatt
and evidently
U
2
/ = Re(Re/) 1. (2.8)
Having linearized the problem, we may analyse the ow due to a single Fourier mode
of the forcing. In complex notation, with real parts understood, we set =e
it
in the
oscillatingcylinder problem, or U=u(s)e
it
in the oscillatinglid problem, and we seek
solutions of the form =
(x, y) e
it
. Thus, based on (2.6),
(x, y) satises
2
(i)
1
4
= ,
= 0, /n = (1 )u(s) on D.
_
(2.9)
We note that Shankar et al. (2003) have studied this system for the oscillatinglid
problem (=0) in a rectangular geometry. It is crucial to note that, as recognized
by Shankar et al., the amplitude
=
r
+ i
i
is in general complex so that the nal
timedependent streamfunction has the general form
(x, y, t ) = Re[
(x, y) e
it
] =
r
cos t
i
sin t. (2.10)
Hence, as long as
is complex and
r
= c
i
with c real, the streamfunction given
by (2.10) represents an oscillatory ow which is not quasisteady. This manifestation
of uid inertia is a direct consequence of retaining the unsteady term in the Navier
Stokes equation whereby the ow adjusts itself to the oscillations of the forcing in
a nontrivial fashion. In the following sections, we shall focus on the nature of the
periodic ow reversals, rst from a global, then from a local perspective.
3. Global aspects of ow reversal in a closed domain
In the two situations specied in the previous section (oscillating cylinder and
oscillating lid), the ow reversal is initiated at the boundary D and subsequently
proceeds inwards. In order to understand this mechanism, we rst focus on topological
changes in the evolving ow structure which occur in the interior and in the low
regime (the description in this section is qualitatively correct up to 200;
the high regime, when oscillatory boundary layers play an important part in the
ow reversal, is discussed in 5). In subsequent sections, we shall analyse dierent
mechanisms for the onset of ow reversal based on local solutions near sharp corners
on the boundary. It turns out that the nal stage of the ow reversal, which takes
place in the interior, is qualitatively independent of the actual onset mechanism and
is determined primarily by symmetries of the domain.
The problem of nding an analytical solution of the amplitude equation (2.9) in an
arbitrary domain is prohibitive. It is however possible to obtain an approximate
analytical solution to (2.9) in a rectangular geometry based on the socalled
superposition method (see the Appendix). This yields an exact solution in the form of
an innite series whose coecients satisfy an innite system of algebraic equations.
Here we simply present some results obtained by this method for a square domain.
We then present a number of numerical solutions of (2.9), obtained by standard
nitedierence techniques, for a variety of other geometries, and we indicate certain
common characteristics of the ow reversal process which are independent of the
domain geometry.
By doing so, we obviously exclude from consideration any transient phenomena associated
with the initial stage of the evolution if the uid is accelerated from rest.
Evolving eddy structures in oscillatory Stokes ows 67
(a) (b) (c)
(d) (e)
( f )
Figure 1. Flow reversal in an oscillating square domain in the low regime for =100; for
smaller values of the reversal process is virtually the same but occurs on a shorter time
scale. (High reversal is shown in gure 14.) Snapshots of a sequence of streamline patterns
in the noninertial frame oscillating with the cylinder with (nondimensional) angular velocity
(t ) = cos t : (a) t =0, (b) t =0.61 primary corner eddies, rotating in opposite sense to the
central eddy, grow inwards, (c) t =0.94 dividing streamlines detach from the walls and create
a heteroclinic connection, (d) t =1.38, (e) t =1.41 the heteroclinic connection shrinks and
eventually annihilates the central eddy, (f ) t = + 0.55 the next ow reversal progresses in
a similar way.
3.1. Flow reversal in a square
The process of ow reversal inside an oscillating cylinder of square crosssection is
shown in gure 1 for =100. The sequence of snapshots captures the topological
evolution of the streamline pattern during a ow reversal. A reversal starts roughly
when the angular velocity of the oscillating cylinder ( =cos t ) is extremal, i.e.
at t =t
n
=n, when the forcing term in (2.9) vanishes. Four corner eddies, which
counterrotate relative to the central eddy, emerge from the corners and progress
diagonally towards the centre. The points of attachment of the dividing streamlines
move along the boundary and eventually merge to form a heteroclinic streamline
connecting four saddle points. This heteroclinic structure shrinks in time and the
central eddy is eventually annihilated in a heteroclinic bifurcation (with fourfold
symmetry, corresponding to the symmetry of the domain) at the centre. This process
is repeated periodically. As will be claried in 4 below, the time scale of this ow
reversal decreases with and the whole process occurs within a short time interval
centred on each t
n
=n when is small. In the limit =0, the process becomes
quasisteady and the reversals are instantaneous.
As mentioned previously, ow reversal inside a rectangular cavity driven by an
oscillating lid has been described by Shankar et al. (2003). We note that the
68 M. Branicki and H. K. Moatt
0.8 0.6 0.4 0.2 0 0.2 0.4 0.6 0.8
0.2
0
0.2
(a) (b)
(c) (d)
0.8 0.6 0.4 0.2 0 0.2 0.4 0.6 0.8
0.2
0
0.2
0.8 0.6 0.4 0.2 0 0.2 0.4 0.6 0.8
0.2
0
0.2
0.8 0.6 0.4 0.2 0 0.2 0.4 0.6 0.8
0.2
0
0.2
Figure 2. Flow reversal inside an oscillating cylinder with rhomboidal crosssection in the
low regime for =100 (compare with gures 1, 3). Sequence of instantaneous streamline
patterns of shown in the noninertial frame oscillating with the cylinder for (a) t = 0.0065,
(b) t =0.47, (c) t =0.72, (d) t = 0.0065. As for the square geometry, a heteroclinic connection
of four saddles annihilates the counterrotating central eddy. Note that pairs of side wall eddies
appear in the acuteangle corners and that eddies in the obtuseangle corners appear much
later. See the following sections for explanation of this phenomenon.
superposition method described in the Appendix provides an alternative method
of deriving an approximate solution to this problem, and we have found this to be in
broad conrmation of Shankar et al.s results.
3.2. Flow reversal in other geometries
We present here some further examples of the process of ow reversal based on
numerical solution of (2.9) in nonrectangular domains, using a secondorder nite
dierence scheme. As before, the ow evolution is obtained by substituting the
computed amplitude function
into , given by (2.10); and gures 24 present
sequences of streamline patterns =const.
Figure 2 shows the timeperiodic evolution in a rhomboidal domain of interior
angles 2
1
=45
, 2
2
=135
, again with =100. Figure 3 shows the oscillatingcylinder case when the
whole contour is subjected to torsional oscillations. At the onset of the ow reversal,
a pair of sidewall eddies again emerges from the walls in the acuteangle corner and
two simple eddies emerge from the remaining corners. The sidewall eddies eventually
Evolving eddy structures in oscillatory Stokes ows 69
0.2 0.4 0.6 0.8
0.4
0.2
0
0.2
0.4
(a) (b)
(c)
(d) (e)
( f )
0.2 0 0.4 0.6 0.8
0.4
0.2
0
0.2
0.4
0.2 0.4 0.6 0.8
0.4
0.2
0
0.2
0.4
0.2 0.4 0.6 0.8
0.4
0.2
0
0.2
0.4
0.2 0.4 0.6 0.8
0.4
0.2
0
0.2
0.4
0.2 0.4 0.6 0.8
0.4
0.2
0
0.2
0.4
Figure 3. Oscillatingcylinder problem: ow reversal inside sector of a circle (60
) in the
low regime for =100. Sequence of instantaneous streamline patterns of the timeperiodic
streamfunction (2.10) shown in the noninertial frame oscillating with the cylinder for
(a) t = 0.086, (b) t = 0.08, (c) t =0.35, (d) t =0.69, (e) t =0.9, (f ) +0.35. The mechanism
is similar to that in the square (see gure 1) although this time one heteroclinic connection is
created (involving two saddles) and one homoclinic connection (see (e)).
merge into a single expanding corner eddy and pairs of separation points of the
dividing streamlines move towards each other along the boundary. As in the previous
cases, the corner eddies counterrotate relative to the central eddy and occupy an
increasingly large area of the domain. Due to a lesser degree of symmetry, there
appears in this case a heteroclinic connection of just two saddle points, and a
homoclinic streamline whose saddle point moves along the bisector of the angle.
The nal stage of the ow reversal involves a sequence of global bifurcations, the
homoclinic connection playing a dominant role; but as in the previous cases, the
net eect is that the whole structure shrinks towards the centre in such a way as to
annihilate the original central eddy.
Figure 4 shows the oscillatinglid case, when the curved part of the boundary (the
lid) is rotated about the centre with sinusoidal angular velocity. The ow reversal
begins when the lid velocity is about to reverse. Two eddies, counterrotating relative
to the central eddy, emerge from the corners adjacent to the lid (gure 4c) and later
merge into a single expanding eddy located under the lid (gure 4d). At approximately
the same time, the corner eddy opposite the moving lid expands inwards, and when
the separation points meet on the boundary a heteroclinic connection of two saddle
points is formed. The original central eddy eventually disappears in a heteroclinic
bifurcation at the centre.
Based on these examples, we may conjecture that the nal stage of the ow
reversal process is quite generally realized by a sequence of global bifurcations in
the instantaneous streamline pattern of the ow. In the process, the central eddy
disappears in a global bifurcation involving one or more saddles created when the
70 M. Branicki and H. K. Moatt
0.2 0 0.4 0.6 0.8 1.0
0.4
0.2
0
0.2
0.4 (a) (b) (c)
(d) (e) ( f )
0.2 0.4 0.6 0.8 1.0
0.4
0.2
0
0.2
0.4
0 0.2 0 0.4 0.6 0.8 1.0
0.4
0.2
0
0.2
0.4
0.2 0 0.4 0.6 0.8 1.0
0.4
0.2
0
0.2
0.4
0.2 0 0.4 0.6 0.8 1.0
0.4
0.2
0
0.2
0.4
0.2 0 0.4 0.6 0.8 1.0
0.4
0.2
0
0.2
0.4
Figure 4. Oscillatinglid problem: ow reversal inside sector of a circle (60
) for =100.
Sequence of instantaneous streamline patterns of the timeperiodic streamfunction (2.10)
shown for (a) t =0, (b) t =/2, (c) t =1.58, (d) t =1.95, (e) t =2.1, (f ) t =2.25.
dividing streamlines detach from the boundary. In highly symmetric geometries, the
original central eddy is annihilated by a single heteroclinic structure.
4. Perturbation analysis for small and local solutions
In this section, we shall examine the lowfrequency limit 1, and we shall for the
most part focus on the behaviour near any sharp corners on the boundary. Actually,
in a local analysis, the length scale of the domain L becomes irrelevant, and the corner
analysis is valid at distances r from the corner satisfying the inequalities (replacing
(2.7))
U/ r /
U. (4.1)
We expand
in a power series
0
+
1
+
2
2
+
3
3
+ . . . , (4.2)
substitute in (2.9) and equate terms with the same power of ; this yields the following
equations for the oscillatinglid and oscillatingcylinder problems:
Oscillating lid Oscillating cylinder
0
= 0
0
0
1
= i
2
0
,
4
1
= i
2
= i
2
1
4
2
= i
2
1
,
.
.
.
.
.
.
n
= i
2
n1
,
4
n
= i
2
n1
.
_
_
(4.3)
Evolving eddy structures in oscillatory Stokes ows 71
For the oscillating lid, this sequence begins with the homogeneous biharmonic
equation which has been extensively studied in the context of steady Stokes ow.
For the oscillatingcylinder problem,
0
0 indicates that at the zeroth order the
uid oscillates with the cylinder as a rigid body, i.e. the ow is identically zero in the
adopted noninertial cylinder frame.
Note that for real forcing the successive amplitude functions
k
, (k =0, 1, 2, . . .)
are alternately real and pure imaginary. Consequently, the streamfunction takes
the form
= Re[
e
it
] =
0
cos t
1
sin t + +
2k
2k
cos t
2k+1
2k+1
sin t + . . . .
(4.4)
In both cases the ow is quasisteady at leading order and the (weak) inertial eects
due to the unsteady term are accounted for at the next order of approximation. This
higherorder term (O() in the oscillatinglid case and O(
2
) in the oscillatingcylinder
case) becomes important near times t
n
when the trigonometric function (cos t or sin t
respectively) multiplying the leadingorder term is close to zero. Consequently, for
most of the cycle the streamline topology is that of the leadingorder term. However,
in each small time interval
t
n
=
_
t
n
1
2
t, t
n
+
1
2
t
_
, t = O(), (4.5)
the higherorder correction is comparable in magnitude with the leadingorder term.
In each such time interval
(x, y, t ) (1)
n
2
[
1
], (4.6)
for the oscillatingcylinder case, and
(x, y, t ) (1)
n+1
[
0
], (4.7)
for the oscillatinglid case, where =t . This approximation is sucient to describe
the reversal process as the scaled time runs through zero from large negative to
large positive values. In both situations the time scale of the ow reversal is O().
4.1. Timeperiodic ow near a corner
We now investigate the asymptotic timeperiodic ow structure near any sharp corner
on the boundary. As before, we assume that the ow is generated by oscillating some
part of the boundary (oscillating lid) or by oscillating the whole contour (oscillating
cylinder) and solve a related problem in a wedge. We may later constrain the solution
by imposing additional remote boundary conditions. It is convenient here to consider
the two problems separately:
4.1.1. Oscillating lid
There are two kinds of corner ow in this case, that near a corner remote from the
moving lid, and that near a lid corner where the boundary velocity is discontinuous.
(i) Remote corner. Based on (4.3) the zeroorder solution for the oscillatinglid
problem requires solution of the biharmonic problem in the wedge
0
(r, ) = 0,
0
=
= 0 on = . (4.8)
The general solution of (4.8) (Moatt 1964) takes the form
0
=
n=1
A
n
f
n
()r
n
=
n=1
(a
n
Re[f
n
()r
n
] + b
n
Im[f
n
()r
n
]), (4.9)
72 M. Branicki and H. K. Moatt
where
f
n
() = cos(
n
2) cos
n
cos
n
cos(
n
2), (4.10)
and the (complex) constants A
n
(=a
n
ib
n
) are determined (in principle) by the details
of the remote forcing. The eigenvalues are complexconjugate pairs (
n
,
n
), and may
be ordered so that
1 < Re[
1
] < Re[
2
] < < Re[
n
] < . . . . (4.11)
They are the roots (with Re[] >1) of the transcendental equation
sin 2( 1) = ( 1) sin 2. (4.12)
At the rst order, we seek the solution of the inhomogeneous biharmonic equation
1
= ,
1
=
= 0, on = , (4.13)
with
(r, ) = i
2
0
= 4i
n=1
A
n
(1
n
) cos
n
cos(
n
2) r
n
2
. (4.14)
This takes the form
1
= i
n=1
(C
n
f
n
()r
n
+ A
n
h
n
()r
n
+2
) = i
n=1
(c
n
Re[f
n
()r
n
] + d
n
Im[f
n
()r
n
])
+ i
n=1
(a
n
Re[h
n
()r
n
+2
] + b
n
Im[h
n
()r
n
+2
]), (4.15)
where f
n
is given by (4.10) and the functions
h
n
() =
cos
n
8
n
_
n
sin 4 + 2 sin 2
n
(
n
+ 1) sin 2 + sin 2(
n
+ 1)
cos
n
cos(
n
2)
_
(4.16)
arise from the particular solution forced by the term in (4.13). Since as we have
noted, for real forcing,
0
is real, and
1
is pure imaginary, the coecients a
n
, b
n
, c
n
, d
n
are all real and the real timedependent streamfunction is therefore given by
(x, y, t ) = Re[
e
i t
] =
0
cos t
1
sin t + O(
2
). (4.17)
Near r =0,
0
and
1
are in general dominated by the terms with n =1 which
involve the lowest powers of r; thus
0
a
1
Re[f
1
()r
1
] + b
1
Im[f
1
()r
1
]
1
ic
1
Re[f
1
()r
1
] + id
1
Im[f
1
()r
1
]
+ia
1
Re[h
1
()r
1
+2
] + ib
1
Im[h
1
()r
1
+2
]
_
_
as r 0. (4.18)
For 2 . 146.2
, Im[
1
] = 0, and both these streamfunctions exhibit the familiar
phenomenon of innitely oscillatory behaviour as r 0 (Moatt 1964). For 2 &
146.2, when
1
is real, there are no corner eddies in the structure of . Hence, we
may conclude that, suciently near a sharp corner, there are two distinct regimes of
corner angles (see gure 10a) below where the local timeperiodic ow has dierent
characteristics:
Regime I (0 <2 . 146.2
0
and
1
/i in a corner closed by a circular arc r =1 on
which the the boundary condition is satised by a leastsquares collocation technique; (a, b)
oscillatinglid problem; (c, d) oscillatingcylinder problem.
Regime II (2 & 146.2): There are no corner eddies during most of the periodic
evolution, but during the ow reversal, there may be at most a single corner eddy
resulting from the competing structures of
0
and
1
. The dividing streamline is
given by =0 (as long as this connects to the walls).
In order to present some specic examples, we consider the situation when the ow
is driven by an oscillating lid at position r =1. The coecients a
n
, b
n
, c
n
, d
n
(or at
any rate a nite number of them) may be determined using a collocation technique
(cf. Shankar 1993). This involves truncation of the series in (4.9), (4.15) to the rst N
terms, choosing M( >2N) discrete points on the boundary r =1, and determining 4N
coecients in such a way that the boundary conditions on r =1 are satised in a least
squares sense at these points. For corner angle 2 =60
1
] 0).
Imposing the oscillatinglid conditions as before and using the leastsquares technique
yields in this case a
1
1.0035, c
1
0.0155 (the coecients b
n
and d
n
do not enter).
For most of the period there is no eddy in the corner, but a single dividing streamline
(x, y, t ) =0 emerges at some t >. Finally, an example of evolution near a corner
of reex angle 2 =270
0
(r, ) = 0,
0
(r, ) = 0,
1
r
=
= 1,
1
r
=
= 0, (4.19)
Evolving eddy structures in oscillatory Stokes ows 75
0 0.04 0.08
0.08
0.06
0.04
0.02
0
0.02
0.04
0.06
0.08
(a) (b) (c) (d)
0 0.04 0.08 0 0.04 0.08 0 0.04 0.08
Figure 7. Emergence of a single eddy during the ow reversal in a 160
corner (regime
II) in the oscillating lid ow; Im(
1
) =0 and there are no innite eddy structures in the
ow. Similar evolution takes place in regime IV of the oscillatingcylinder problem (see
gure 10). Time sequence of instantaneous streamline patterns in a very short time interval
when the ow reverses its direction. (a) t =/2, (b) t =/2 + 0.00161, (c) t =/2 + 0.00165,
(d) t =/2+0.001665. The dividing streamline, determined by (x, y, t ) =0, eventually detaches
from the wall and becomes involved in a heteroclinic connection (not shown here).
0.15 0.10 0.05 0 0.05 0.10 0.15
0.10
0.05
0
0.05
0.10
(a) (b)
(c) (d)
0.15 0.10 0.05 0 0.05 0.10 0.15
0.10
0.05
0
0.05
0.10
0.15 0.10 0.05 0 0.05 0.10 0.15
0.10
0.05
0
0.05
0.10
0.15 0.10 0.05 0 0.05 0.10 0.15
0.10
0.05
0
0.05
0.10
Figure 8. Flow evolution near a corner of a reex angle 270
0
=
n=1
A
n
f
n
()r
n
+r
_
cos ( sin ) sin cos
sin 2 + 2
+
sin ( cos ) cos sin
sin 2 2
_
,
(4.20)
where the innite sum, as in (4.9), represents the eigensolution of the homogeneous
problem and the particular solution (Goodier 1934; Taylor 1962) satises the
boundary conditions (4.19).
At the rst order, the inhomogeneous problem reduces to
1
(r, ) = ,
1
=
= 0, on = , (4.21)
where
= 4i
n=1
A
n
(1
n
) cos
n
cos(
n
2) r
n
2
+
i
r
4 cos( ) 2 cos( + ) sin 2
4
2
sin
2
2
.
(4.22)
The solution of (4.21) can be written as
1
= i
n=1
(c
n
Re[f
n
()r
n
] + d
n
Im[f
n
()r
n
])
+ i
n=1
(a
n
Re[h
n
()r
n
+2
] + b
n
Im[h
n
()r
n
+2
]) + ir
3
z(), (4.23)
where
z() = C
1
cos + C
2
sin + C
3
sin 3 + C
4
cos 3
,
C
4
=
1
128 cos
2
sin
.
_
_
(4.25)
As in the remotecorner case, the coecients a
n
, b
n
, c
n
, d
n
in (4.20), (4.23) are all real
and the timedependent streamfunction is again given by (4.17).
Near r =0,
0
is always dominated by the driven component (since Re[
1
] >1), so
0
r
_
cos ( sin ) sin cos
sin 2 + 2
+
sin ( cos ) cos sin
sin 2 2
_
, (4.26)
Evolving eddy structures in oscillatory Stokes ows 77
0 0.05 0.10 0 0.05 0.10 0 0.05 0.10 0 0.05 0.10 0 0.05 0.10
0.08
0.04
0
0.04
0.08
(a) (b) (c) (d) (e)
Figure 9. Emergence of a single eddy during ow reversal in a corner adjacent to the
oscillating lid when 2 . 126.5
1
is in general
1
ic
1
Re[f
1
()r
1
] + id
1
Im[f
1
()r
1
]
+ ia
1
Re[h
1
()r
1
+2
] + ib
1
Im[h
1
()r
1
+2
] + ir
3
z(). (4.27)
Provided Re[
1
] >3, i.e. for 2 . 126.5
0
and
1
are domi
nated by the driven component. Consequently, at most a nite number of eddies
appears in the streamline pattern of (given by (4.17)) during the ow reversal and
disappears when the reversal is complete.
A sequence of snapshots of the resulting timeperiodic ow in a corner of angle
2 =90
is shown in gure 9 for =0.1. For most of the period, there are no eddies
in the corner and the ow structure has the wellknown TaylorGoodier similarity
form. As in the remotecorner situation, the ow reversal occurs within a very small
time interval (see (4.5)) when the two competing terms in become comparable in
magnitude. When the lid velocity reverses, a single eddy emerges from the corner and
rapidly expands along the accelerating lid. This growing eddy rotates in the opposite
sense to the base ow and (typically) merges with its counterpart generated in the
other corner adjacent to the lid, as shown for example in gure 4(c, d). The single
lid eddy created in this process is later involved in the generation of the heteroclinic
streamline (gure 4e) and ow reversal in the interior discussed in 3.
Determination of the local ow structure when 2 & 126.5
1
= i
n=1
(a
n
Re[f
n
()r
n
] + b
n
Im[f
n
()r
n
] ) + ig()r
4
, (4.28)
where
g() =
1
64
_
sin 2 cos 4 2 sin 4 cos 2
sin 2 cos 4 2 sin 4 cos 2
1
_
. (4.29)
78 M. Branicki and H. K. Moatt
The rst term in (4.28) is again a sum of eigensolutions of the biharmonic equation,
the (real) coecients a
n
, b
n
being determined in principle only when the global
geometry of the uid domain is specied; the second term is the particular solution
of the inhomogeneous equation.
At the second order,
2
satises the inhomogeneous equation
2
= ,
(r, ) =
=
= 0, (4.30)
where
(r, ) = i
2
1
= 4i
n=1
A
n
(1
n
) cos
n
cos(
n
2) r
n
2
2
can be written as
2
=
n=1
(c
n
Re[f
n
()r
n
] + d
n
Im[f
n
()r
n
])
n=1
( a
n
Re[h
n
()r
n
+2
] + b
n
Im[h
n
()r
n
+2
]) + w()r
6
, (4.32)
where f
n
() and h
n
() are given by (4.10) and (4.16), and
4608 w() =
cos 2 cos 6
8 cos
4
2 3 cos 4
6(cos 4 4 cos
4
2) cos 4
(2 cos
2
2 + 1)(8 cos
4
2 3 cos 4)
1
is purely imaginary and
2
is real (and so therefore are
their asymptotic expansions near the corner). The real timedependent streamfunction
(x, y, t ) is therefore given by
(x, y, t ) = Re[
e
i t
] =
1
sin t +
2
2
cos t + O(
3
). (4.34)
We note again here that if only the leadingorder term is retained in (4.34), then
the evolution is quasisteady, and it is the higherorder correction that reveals the
evolution of ow topology associated with the owreversal process. The time scale
of this process is again of order .
Near r =0, the dominant terms of (4.28) and (4.32) are
1
ia
1
Re[f
1
()r
1
] + ib
1
Im[f
1
()r
1
] + ig()r
4
as r 0,
2
c
1
Re[f
1
()r
1
] + d
1
Im[f
1
()r
1
]
a
1
Re[h
1
()r
1
+2
] b
1
Im[h
1
()r
1
+2
] + w()r
6
as r 0.
_
_
(4.35)
As for the lidcorner case, there is here a competition between the driven compo
nents and the eigencomponents in the two solutions. If the eigencomponent
dominates suciently near the corner and if Im[
1
] = 0, then there will be an innite
sequence of eddies in the structure. If, on the other hand, the driven component
Evolving eddy structures in oscillatory Stokes ows 79
30 50 70 90 110 130 150 180
2
3
4
5
6
7
8
R
e
(
)
2 (deg.)
48.7 81.9 146.3 146.3
(a) (b)
I
II
I
II
III
IV
30 50 70 90 110 130 150 180
2
3
4
5
6
7
8
2 (deg.)
Figure 10. Real parts of
1
,
2
,
3
, . . . (see (4.12)) and dierent dynamical regimes of local
ow near a sharp corner as a function of the corner angle 2. (a) Oscillatinglid case (ow
given by (4.17)): regime I there is innite sequence of timedependent corner eddies in the
ow throughout the timeperiodic evolution; regime II there is (at most) one eddy generated
during ow reversal. (b) Oscillatingcylinder case (ow given by (4.34)): regimes III (solid) and
IV (dashed) characterized as, respectively, I and II in (a) above; regime II (dashdotted) an
innite sequence of eddies is present at some stage of the reversal process (it must disappear
at least for t =
1
2
(2k + 1)); regime I (dotted) at most a nite number of timedependent
eddies appear at some stage of the reversal process.
dominates near the corner, there can be at most a nite sequence of eddies in any
neighbourhood of the corner. From (4.35), it is evident that
1
contains such an
innite sequence provided Re[
1
] <4, Im[
1
] = 0, i.e. provided 81.9
. 2 . 146.2
,
and similarly that
2
contains such a sequence provided Re[
1
] <6, Im[
1
] = 0, which
corresponds to 48.7
. 2 . 146.2
1
and
2
are dominated by the driven component.
Regime II (48.7
. 2 . 81.9
2
is dominated by the eigencomponent and contains the innite structure
of eddies but
1
is dominated by the driven component.
Regime III (81.9
. 2 . 146.2
1
and
2
are dominated
by the eigencomponent (just as for the oscillatinglid situation).
Regime IV (2 & 146.2
1
nor
2
contains an innite eddy sequence.
The local ow structure in regimes III and IV, when the corner ow is dominated by
the eigencomponent, is basically the same as in the oscillatinglid case (gures 68).
80 M. Branicki and H. K. Moatt
0 0.02 0.04 0.06 0.08 0.10
0.06
0.04
0.02
0
0.02
0.04
0.06
(a) (b) (c)
0 0.02 0.04 0.06 0.08 0.10
0.06
0.04
0.02
0
0.02
0.04
0.06
0 0.02 0.04 0.06 0.08 0.10
0.06
0.04
0.02
0
0.02
0.04
0.06
0 0.02 0.04 0.06 0.08 0.10
0.06
0.04
0.02
0
0.02
0.04
0.06
(d) (e) ( f )
0 0.02 0.04 0.06 0.08 0.10
0.06
0.04
0.02
0
0.02
0.04
0.06
0 0.02 0.04 0.06 0.08 0.10
0.06
0.04
0.02
0
0.02
0.04
0.06
Figure 11. Initial stage of ow reversal in an oscillating cylinder near a sharp corner
representative of regime II (see text); 2 =60
and =0.1 (a
1
228 10
5
, b
1
1.4 10
5
, c
1
7.7 10
5
, d
1
0.01 10
5
).
Based on the above analysis, we know that in this case an innite sequence of counter
rotating eddies must appear in the ow during the reversal process. This is achieved
by the emergence of sidewall eddies that rotate in the opposite sense to the main body
of the uid. These eddies later merge into one oppositely rotating eddy (gure 11c)
and the two dividing streamlines created in such a process begin to travel in opposite
directions (gure 11d). At this stage the innite structure of timedependent corner
eddies exists in the ow. This structure is then destroyed by the reverse process. As
shown by gure 11(d), pairs of dividing streamlines created in similar events nearer
the corner approach each other and later divide the eddy into pairs of sidewall eddies
which are annihilated at the walls. Note here that the local ow near the 60
corner
in gure 3 belongs to regime II, although only one pair of emerging sidewall eddies
is visible in the global picture.
The sidewall eddies are also responsible for initiation of the ow reversal in corners
in regime I but in this case only a nite number of such pairs is created as opposed
Evolving eddy structures in oscillatory Stokes ows 81
to the innite sequence being generated in the regime II case. Note here that the
example of ow reversal shown in gure 2, where such sidewall eddies appear in the
acuteangle corners (2 =/4), represents evolution that is characteristic of regime I
and therefore involves a nite number of eddies. In the obtuse angles of the rhombus
(2 =135
0
(x, y) satises
0
= 1. (5.1)
This represents an inviscid ow of uniform vorticity 1, on which we can impose
only the single boundary condition
0
= 0 on D. (5.2)
The solution
0
(x, y) of (5.1), (5.2) is uniquely determined and real. Relative to the
inertial (laboratory) frame of reference, this ow is irrotational. It is of historic interest
to note that the problem (5.1), (5.2) was in fact solved for a rectangular domain in
terms of Fourier series by Stokes (1843), two years before his famous derivation of
the NavierStokes equations.
Of course,
0
(x, y) does not satisfy the noslip condition
/n =0 on D, and
this is why a boundary layer is needed. The slip velocity at the inner edge of this
boundary layer is
V(s) =
0
n
D
=
1/2
0
n
D
, (5.3)
where n =
1/2
n. In the layer,
2
=
1
2
/ n
2
, and the tangential velocity component
v(s, n)( =
/ n) satises
i v = i
V(s) +
2
v
n
2
(5.4)
where the term i
V(s) represents the tangential pressure gradient imposed on the
boundary layer by the core ow. The relevant boundary conditions are
v(s, n) = 0 on n = 0,
v(s, n)
V(s) as n ,
_
(5.5)
and the solution (an oscillating Stokes layer) is
v(s, n) =
V(s)
_
1 e
(1+i) n/2
_
. (5.6)
The ux in this layer relative to the core slip velocity is
Q =
_
0
V(s)e
(1+i) n/2
dn = (1 i)
V(s). (5.7)
82 M. Branicki and H. K. Moatt
Incompressibility then requires that there is a normal component of velocity
U from
the boundary layer to the core given by
U =
d
Q
ds
= (1 i)
d
V
ds
(5.8)
(an eect akin to Ekman suction). This drives a correction
1/2
1
(x, y) to the core
ow given by
1
= 0 (5.9)
with the boundary condition
1
s
=
U(s) = (1 i)
d
V
ds
on D, (5.10)
or equivalently
1
= (1 i)
V(s) on D. (5.11)
The solution to (5.9), (5.11) is uniquely determined, and we now have the solution to
(2.9) in the form
(x, y) =
0
(x, y) +
1/2
1
(x, y) + O(
1
), (5.12)
where the O(
1
) term could in principle be found by an iterative technique. Since
1
= (1 i)
1r
(x, y) (5.13)
where
1r
is real, and from (2.10) we then have in the form
=
_
0
+
1/2
1r
_
cos t +
1/2
1r
sin t + O(
1
). (5.14)
Just as for the low situation, the correction here is out of phase with the leading
order solution. This yields a smooth change of topology associated with the reversal
of the core ow.
The leadingorder solution
0
cos t vanishes when t
n
=(n +
1
2
) (n =0, 1, 2, . . .).
For most of the cycle, the streamline topology is just that of
0
(x, y). However, in
each small time interval
t
n
=
_
t
n
1
2
t, t
n
+
1
2
t ), t = O
_
1/2
_
, (5.15)
the outofphase correction
1/2
1r
sin t is comparable in magnitude with
0
cos t .
During each such time interval
(x, y, t ) (1)
n
1/2
[
1r
(x, y)
0
(x, y)] (5.16)
where =
1/2
t . As for the low situation, this approximation is sucient to describe
the ow reversal as the scaled time increases through zero from large negative to
large positive values.
5.1. Flow near a corner
Here, the solution of (5.1), (5.2) consists of the particular integral
0P
=
1
4
r
2
_
1
cos 2
cos 2
_
, (5.17)
Evolving eddy structures in oscillatory Stokes ows 83
and the complementary function
0C
= Ar
/2
cos
2
. (5.18)
The term on the righthand side of (5.17) dominates near r =0 if 2 </2, while the
term on the righthand side of (5.18) dominates if 2 >/2 (the implications of this
distinction have been noted in a dierent context by Moatt &Duy 1980). Let us
consider these cases separately.
(i) Flow near an acuteangle corner (2 </2). Here
0P
near r =0, so
V(r) =
1
r
0P
=
1
2
r tan 2 on = . (5.19)
Hence, the boundary conditions for
1
are
1
=
1
2
(1 i)r tan 2 on = . (5.20)
The relevant solution of
2
1
=0 is therefore
1
=
1
2
(1 i)
tan 2
cos
r cos = (1 i)
sin
cos 2
r cos . (5.21)
The composite solution for
is thus
=
1
4
r
2
_
1
cos 2
cos 2
_
+
1/2
(1 i)
sin
cos 2
r cos + O(
1
). (5.22)
This description is valid only if
1/2
r r
2
, i.e. r
1/2
, so that the rst term is
indeed dominant; the description holds in the range of intermediate asymptotics
(Barenblatt 1996)
1/2
r 1, (5.23)
the second part of this inequality meaning simply that we are in a corner region
on a scale small compared with that of the whole domain D. The rst part of
the inequality is to be expected, because the boundary layers on = overlap
in the region r =O(
1/2
) and the simple boundarylayer description is no longer
valid; indeed, for r
1/2
, we revert to the viscositydominated regime where the
oscillations characteristic of the Stokeslayer velocity proles give way to the radial
oscillations associated with corner eddies.
From (5.16), we nd that at an intermediate distance from the corner the ow
reversal during the time interval t
n
is approximately given by
(x, y, ) (1)
n
1/2
_
sin
cos 2
r cos
r
2
4
_
1
cos 2
cos 2
__
. (5.24)
This reversal process in the core region is described by the sequence shown in gure 12.
For <0, a saddle point located at r O(1/), =0 propagates from the origin
towards large r; for >0, the streamline shape gradually recovers to that of the
zeroorder solution. Of course the intersection of the streamlines with the boundary
is only apparent; in reality they adjust to become parallel to the boundary (and
to satisfy the noslip condition) within the boundary layer. The saddle point which
propagates from the origin in this approximation is in fact created in the boundary
layer when the emerging corner eddy is consumed by the two expanding wall eddies
(compare with gure 14c, d)
84 M. Branicki and H. K. Moatt
0 0.1 0.2
0.10
0.05
0
0.05
0.10
= < 0 < 0
= 0
> 0
= +
0 0.1 0.2
0.10
0.05
0
0.05
0.10
0 0.1 0.2
0.10
0.05
0
0.05
0.10
0 0.1 0.2
0.10
0.05
0
0.05
0.10
0 0.1 0.2
0.10
0.05
0
0.05
0.10
0 0.1 0.2
0.10
0.05
0
0.05
0.10
Figure 12. Sketch of ow reversal in a corner for 2 < /2 in the high limit based on
the (approximate) solution (5.24); 2 =60
1/2
r 1 and outside boundary layers on =.
(ii) Flow near an obtuseangle corner (2 >/2). In this case, near r =0, we obtain
0C
= Ar
/2
cos
2
, (5.25)
where A is a constant (which we may suppose real by choice of time origin) determined
in principle by the global geometry of the domain D. It follows by the same procedure
as before that the composite solution for
is
= Ar
/2
_
cos
2
1/2
(1 i)
2r
cos(/2 1)
cos(/2 1)
_
+ O(
1
), (5.26)
and, at the intermediate distance from the corner, the ow reversal during t
n
is
described by
(x, y, ) (1)
n+1
1/2
Ar
/2
_
2r
cos(/2 1)
cos(/2 1)
+ cos
2
_
. (5.27)
Here, the rst term actually gives a singular velocity at r =0; but again the description
is valid only for r
1/2
. Nevertheless the reversal, originating as it does from the
neighbourhood of the origin due to the viscous process discussed in 4, has a more
explosive character in this case. The corresponding reversal process in the core region
is described by the sequence shown in gure 13.
5.2. Flow reversal in a square domain, 1
Consider now an example of a ow reversal inside a square domain at large . An
appropriate global solution of (2.9), (2.10) (with =1) can be determined using
either the analytical method (A1)(A6) described in Appendix, or by means of a
nitedierence algorithm.
Evolving eddy structures in oscillatory Stokes ows 85
0 0.1 0 0.1 0 0.1 0 0.1 0 0.1 0 0.1
0.2
0.1
0
0.1
0.2
= < 0 < 0 = 0 > 0 =
Figure 13. Sketch of ow reversal in the core region of a corner for 2 >/2 in the high
limit based on the (approximate) solution (5.27); 2 =120
0C
and
0P
, given by (5.18) and (5.17),
which have the same order of magnitude. As shown by Moatt &Duy (1980),
in the particular situation of the rightangle corner, a compromise is achieved for
which the streamfunction is O(r
2
ln r) as r 0. However, in contrast to the low
situation, the primary corner eddies do not expand into the interior in this case but
merge together with the four wall eddies (gure 14b, c, d) in the Stokes boundary
layers which dominate the ow structure near the boundary (gure 14dh). The
centres of these eddies move very little during the subsequent stage of ow reversal.
Eventually, the central eddy is consumed (gure 14f ) and the uid in the interior
subsequently rotates in the same sense as the boundary (gure 14g, h, i).
Note that this mechanism is dierent from that identied in the low regime where
the emerging corner eddies played a primary role in the owreversal process in the
interior. In the more complex high evolution, the corner eddies serve to generate
the wall eddies which are then involved in the sequence of global bifurcations of a
single heteroclinic orbit that leads to the ow reversal.
In less symmetric domains, which we have also investigated, the reversal mechanism
becomes much more complicated, since highly symmetric bifurcations like those
revealed in gure 14 are no longer possible. Instead, a number of distinct heteroclinic
(and/or homoclinic) connections are created when the dividing streamlines of
emerging corner eddies detach from the boundary. These structures are later involved
in a series of global bifurcations, leading eventually to the disappearance of the central
eddy and reversal of the ow. We conjecture that, regardless of the actual geometry,
the generation of the Stokes boundary layer and the dominant role of the wall eddies
are common features of the owreversal process at large .
86 M. Branicki and H. K. Moatt
(a) (b) (c)
(d) (e) ( f )
(g) (h) (i)
Figure 14. Flow reversal inside an oscillating square domain at large (noninertial frame
oscillating with the cylinder used): sequence of snapshots showing instantaneous streamline
patterns at dierent stages of timeperiodic evolution with =2000: (a) t =0.65, (b) t =0.9,
(c) t =1.2, (d) t =1.5, (e) t =1.56, (f ) t =/2, (g) t =1.572, (h) t =1.59, (i) t =1.65. Note that
in contrast to the ow reversal at smaller (gure 1) the corner eddies blend into Stokes layers
and associated wall eddies which develop near the boundary; the ow reversal in the interior
is realized through a series of global bifurcations involving these wall eddies rather than the
primary corner eddies.
6. Conclusions
We have analysed the timeperiodic evolution of Stokes ows in a bounded domain,
forced either by tangential oscillation of part of the boundary, or by torsional
oscillation of the whole domain. The time lag between the motion of the boundary
and the response of the contained uid is captured by retaining the local acceleration
term in the governing dynamical equation. This permits a description of the manner
in which the internal ow reverses during each halfperiod of the cycle.
Evolving eddy structures in oscillatory Stokes ows 87
We have focused attention on the behaviour near any sharp corner that may be
present on the domain boundary. Depending on the angle of the corner, and on the
nature of the forcing, an innite sequence of corner eddies may be present either
during the whole cycle, or just during the reversal process. Eddies originating in
the corner region eventually participate in the global owreversal process. We have
described the topological transitions that occur in the streamline pattern for a variety
of domains, and have sought to explain the origin of these transitions through local
corner analysis.
We have presented an asymptotic analysis for both small and large values of the
dimensionless frequency parameter . In both situations, the changes of ow topology
associated with ow reversal occur during a small time interval centred on the phase
of the periodic cycle when the leadingorder term vanishes. At low , this leading
order term is the quasistatic solution of the biharmonic equation with appropriate
boundary conditions. At large , it is (in the oscillatingdomain case) the quasistatic
potential ow driven by the normal component of velocity at the boundary; in this
case, an oscillatory Stokes boundary layer is needed to accommodate the noslip
condition, and there is an interesting interaction between the corner eddies and this
boundary layer as the reversal process develops.
This study opens up an interesting range of problems that deserve further study.
First, if corners are rounded o, so that the boundary is everywhere analytic, it
is to be expected that a nite sequence of eddies may still form in regions near
points of maximum curvature on the boundary. It would be interesting to develop
a numerical technique for the solution of the oscillatingcylinder problem for an
arbitrary smooth boundary. The changing character of the ow as increases from
small to large values would be of special interest, and particularly the question of
whether, and in what circumstances, separation of the Stokes boundary layer may
occur at large . Transient behaviour due to the sudden application of boundary
forcing also merits study. The analysis could be extended in a straightforward
way to fully threedimensional domains, for which a rich tapestry of topological
transitions in timeperiodic ow may be anticipated. It should be possible to include
nonlinear inertia, and to investigate numerically the eect of increasing Reynolds
number for this class of internal ows. Finally, mixing properties of the time
periodic ows discussed in this paper can be studied; a paper on this aspect is in
preparation.
M.B. is supported by a scholarship from the Gates Cambridge Trust. H. K. M. ack
nowledges the support of a Leverhulme Emeritus Professorship.
Appendix. Outline of analytical procedure used for rectangular domain
The elliptic problem (2.9) for the amplitude function
can be solved by the
superposition method (see Mathieu 1881 or Timoshenko & Goodier 1970). This
method has been used by Meleshko (1996) for analysis of Stokes ow in a rectangular
cavity driven by steady motion of a lid.
Here, we use the method to nd
for the oscillatingcylinder problem given by
(2.9) with =1 when the crosssection is a rectangle with sides x =1 and y =h.
First let
=
1
2
hX+
_
1
1
2
h
_
Y+ (x, y) (A1)
88 M. Branicki and H. K. Moatt
where
X =
cosh
1
2
_
i cosh
_
i x
2
i sinh
1
2
_
i
+
1
2
_
x
2
1
4
_
,
Y = h
cosh
1
2
h
i cosh
i y
2
i sinh
h
2
_
i
+
1
2
_
y
2
1
4
h
2
_
_
_
(A2)
are even in x and y respectively. Then satises the equation
2
(i)
1
4
= 0, (A3)
and the boundary conditions
_
x, y =
1
2
h
_
=
1
2
hX,
y=h/2
= 0, (A4)
_
x =
1
2
, y
_
=
_
1
1
2
h
_
Y,
x=1/2
= 0. (A5)
We now expand as the sum of two Fourier series
=
0
+ h
m=1
(1)
m
X
m
2
m
p
m
(y) cos
m
x +
l=1
(1)
l
Y
l
2
l
q
l
(x) cos
l
y (A6)
where
m
=2m,
l
=2l/h, and
p
m
(y) =
_
2
m
+ i sinh
1
2
h
_
2
m
+ i cosh
m
y
m
sinh
1
2
h
m
cosh
_
2
m
+ i y
_
2
m
+ i sinh
1
2
h
_
2
m
+ i cosh
1
2
h
m
m
sinh
1
2
h
m
cosh
1
2
h
_
2
m
+ i
(A7)
q
l
(x) =
_
2
l
+ i sinh
1
2
_
2
l
+ i cosh
l
x
l
sinh
1
2
l
cosh
_
2
l
+ i x
_
2
l
+ i sinh
1
2
_
2
l
+ i cosh
1
2
l
sinh
1
2
l
cosh
1
2
_
2
l
+ i
. (A8)
The functions p
m
(y) and q
l
(x) satisfy boundary conditions
p
m
_
y =
1
2
h
_
= 1,
dp
m
dy
y=h/2
= 0, (A9)
q
l
_
x =
1
2
_
= 1,
dq
l
dx
x=1/2
= 0. (A10)
In this representation satises the governing equation (A3) inside the domain.
Moreover, the rst Fourier series in (A6) can represent any even function
corresponding to the boundary conditions imposed on on the sides y =h
((x, h/2) =hX(x)/2), and the second Fourier series can represent any even
function corresponding to the boundary conditions imposed on on the sides x =1
((1/2, y) =Y(y)/2). The boundary condition on the normal derivative /n =0
on the sides is satised identically by the above choice of p
m
(y), q
l
(x) and
m
,
l
. Note
that p
m
and q
l
decrease rapidly with distance from the boundary. Thus, the inuence
of the higherorder terms in (A6) is conned to an increasingly narrow band along
the boundary, so any small variation of the highorder coecients has a negligible
eect on the solution well inside the domain.
Evolving eddy structures in oscillatory Stokes ows 89
Imposing the remaining boundary conditions on on the appropriate edges leads
to
0
+ h
m=1
(1)
m
X
m
2
m
cos
m
x +
l=1
Y
l
2
l
q
l
(x) =
1
2
hX(x), (A11)
0
+ h
m=1
X
m
2
m
p
m
(y) +
l=1
(1)
l
Y
l
2
l
cos
l
y =
_
1
1
2
h
_
Y(y). (A12)
Standard Fourier inversion then yields an innite system for the coecients X
m
and
Y
l
which can be written as
X
m
+
l=1
Y
l
q
lm
=
X
m
, m = 1, 2, . . . ,
Y
l
+
m=1
X
m
p
ml
=
Y
l
, l = 1, 2, . . . ,
_
_
(A13)
and
0
=
Y
0
m=1
X
m
p
m0
=
X
0
l=1
Y
l
q
l0
, (A14)
where
p
m0
=
2 i
3
m
_
2
m
+ i
__
2
m
+ i coth
1
2
h
m
m
coth
1
2
h
_
2
m
+ i
, (A15)
p
ml
=
4
2
l
i
_
2
m
+ i
m
_
2
m
+
2
l
__
2
m
+
2
l
+ i
___
2
m
+ i coth
1
2
h
m
m
coth
1
2
h
_
2
m
+ i
,
(A16)
q
lm
=
4
2
m
i
_
2
l
+ i
h
l
_
2
m
+
2
l
__
2
m
+
2
l
+ i
___
2
l
+ i coth
1
2
l
coth
1
2
_
2
l
+ i
,
(A17)
X
m
=
1
2
h2i
h
_
2
m
+ i
_ for m = 1, 2, . . . , (A18)
Y
0
=
1
1
2
h
12i
_
6h
_
i coth
1
2
h
_
i h
2
i 12
_
, (A19)
Y
l
=
_
1
1
2
h
_
2i
2
l
+ i
for l = 1, 2, . . . . (A20)
We now solve the system (A13) by the standard method of reduction; we truncate
the system (A13) to M and L terms respectively and solve for coecients X
m
and Y
l
.
As shown by Kantorovich & Krylov (1958), as the level of truncation is increased,
the solution converges to the true solution for fully regular systems, i.e. (in this case)
l=1
 q
lm
 6 < 1 for m = 1, 2, . . . ,
m=1
 p
ml
 6 < 1 for l = 1, 2, . . . , (A21)
90 M. Branicki and H. K. Moatt
0 500 1000 1500 2000 2500 3000
0.1
0.2
0.3
0.4
0.5
0.6
0.7
l
(
M
)
500 1000 1500 2000 2500 3000 0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0 200 400 600 800 1000
14
12
10
8
6
4
2
0
l
o
g
1
0
(

R
e
(
X
m
)

)
0 200 400 600 800 1000
12
10
8
6
4
2
0
m m
M M
(a) (b)
(c) (d)
Figure 15. Oscillatingcylinder problem. (a, b) Numerically calculated partial sums
l
(M)
(A22) for the case of square geometry (h=1; X
m
=Y
m
) and two dierent values of :
(a) =1, (b) =100; l =1, 2, 100, 300, 600, 1000 in both cases. (c, d) First 1000 complex
coecients obtained by the method of reduction of the innite system (A13) for (c) =1 and
(d) =100. In both cases the coecients initially decrease rapidly with m. The decay becomes
signicantly slower with increasing m.
provided the positive constant exists and the free terms
X
m
,
Y
l
in (A13) are
bounded. Moreover, increasing M and L does not signicantly aect the coecients
with small indices.
Figure 15 provides strong evidence for the regularity of the system under
consideration. It shows the behaviour of the partial sum
l
(M) =
M
m=1
 p
ml
, (A22)
for the case of a square domain, and it is evident that relations (A21) are indeed
satised in this case. Similar results (not presented here) have been obtained for a
rectangular domain (h = 1). We conjecture on the basis of these numerical results
that the system (A13) is indeed fully regular.
Figure 16 shows a comparison between the amplitude function
(x, y), given by
(A1), near a corner obtained for dierent number (M + L) of the unknowns X
m
, Y
l
in the the truncated system (A13) and the same amplitude calculated numerically
using nite dierences; results are presented for two values of . The fourthorder
nitedierence algorithm is similar to that described by Stephenson (1984) and uses
a compact ninepoint stencil that allows more accurate implementation of the no
slip boundary conditions. The accuracy of the semianalytical method decreases with
decreasing dimension of the truncated system but the location of the primary dividing
Evolving eddy structures in oscillatory Stokes ows 91
0.50 0.48 0.46 0.44 0.42
0.42
0.44
0.46
0.48
0.50
0.50 0.48 0.46 0.44 0.50 0.48 0.46 0.44 0.50 0.48 0.46 0.44
(a)
(b) (c)
anal. M = L = 100
num. 400 400 pts
anal. M = L = 100
num. 400 400 pts
anal. M = L = 25
anal. M = L = 100
anal. M = L = 10
anal. M = L = 100 anal. M = L = 100
anal. M = L = 25
anal. M = L = 100
anal. M = L = 10
0.50 0.48 0.46 0.44 0.42
0.42
0.44
0.46
0.48
0.50
0.50 0.48 0.46 0.44 0.42
0.42
0.44
0.46
0.48
0.50
0.43
0.44
0.45
0.46
0.47
0.48
0.49
0.50
0.43
0.44
0.45
0.46
0.47
0.48
0.49
0.50
0.43
0.44
0.45
0.46
0.47
0.48
0.49
0.50
Figure 16. Comparison of two dierent techniques used to calculate the complex amplitude
in a square domain for the oscillating cylinder problem with: (ac) =1, (df ) =100.
Results are shown for Re[
] near one of the corners on the domain where the superposition
method is least accurate. The numerical (fourthorder nitedierence) solution was computed
on a 400 400 grid and the semianalytical solution was obtained from the truncated system
(A13) for M + L unknowns X
m
and Y
l
.
streamline is welldetermined even for a relatively small number of terms used in the
reduction method. In the interior, these two methods are in very good agreement even
for a small number of terms used in the expansion (A1).
The solution for
in the oscillating lid case (=0) can be obtained in a similar
way and we do not present details of this procedure here. If the oscillating lid is
located at y =h/2, the streamfunction has to be split into the sum
s
(x, y) +
a
(x, y) (A23)
of even (
s
) and odd (
a
) functions in y, and these two subproblems are then solved
independently (due to the linearity of (2.9)). It can be checked numerically, as for the
oscillatingcylinder problem (gure 15), that the two resulting innite systems for the
unknown coecients are also fully regular in this case. However, convergence of the re
duction method is much slower in this situation due to the discontinuity of the
tangential velocity prole on the boundary.
The above treatment is sucient for the purposes of investigating global
characteristics of the ow reversal in a rectangle and is superior to the purely
numerical nitedierence method in terms of both computational time and the
insight provided into the structure of the solution. However, greater care is needed
in order to accurately resolve the structure of the solution in the corners beyond the
primary corner eddies. In particular, the possibility that the unknowns X
m
, Y
l
tend to
some constant nonzero value would then require more careful consideration.
92 M. Branicki and H. K. Moatt
REFERENCES
Barenblatt, G. I. 1996 Scaling, SelfSimilarity, and Intermediate Asymptotics. Cambridge University
Press.
Goodier, J. N. 1934 An analogy between the slow motion of a viscous uid in two dimensions,
and systems of plane stress. Phil. Mag. (7) 17, 554576.
Kantorovich, L. V. & Krylov, V. I. 1958 Approximate Methods of Higher Analysis. Noordho
Groningen.
Mathieu, E. 1881 Memoir e sur l equilibre d elasticit e dun prisme rectangle. J.
Ecole Polytechnique
30, 173196.
Meleshko, V. V. 1996 Steady Stokes ow in a rectangular cavity. Proc. R. Soc. Lond. A 452,
19992022.
Moffatt, H. K. 1964 Viscous and resistive eddies near a sharp corner. J. Fluid Mech. 18, 118.
Moffatt, H. K. 1979 The asymptotic behaviour of solutions of the NavierStokes equations
near sharp corners. In Approximation Methods for NavierStokes Problems. Lecture Notes in
Mathematics, vol. 771 (ed. R. Rautman), pp. 371380. Springer.
Moffatt, H. K. & Duffy, B. R. 1980 Local similarity solutions and their limitations. J. Fluid Mech.
96, 299313.
Shankar, P. N. 1993 The eddy structure in Stokes ow in a cavity. J. Fluid Mech. 250, 371383.
Shankar, P. N., Kidambi, R. & Hariharan, J. 2003 Oscillatory eddy structure in a container.
J. Fluid Mech. 494, 163185.
Stephenson, J. W. 1984 Single cell discretisations of order two and four for biharmonic problems.
J. Comput. Phys. 55, 6580.
Stokes, G. G. 1843 On some cases of uid motion. Trans. Camb. Phil. Soc. VIII, 105 (Reprinted in
Mathematical and Physical Papers, vol. I, pp. 1768, Cambridge University Press, 1880).
Taylor, G. I. 1962 On scraping viscous uid from a plane surface. (Reprinted in Scientic Papers
of G. I Taylor, Vol. IV, pp. 410413, Cambridge University Press, 1971.
Timoshenko, S. P. & Goodier, J. N. 1970 Theory of Elasticity, 3rd edn. McGrawHill.
Reproducedwith permission of thecopyright owner. Further reproductionprohibited without permission.