We examine the transport properties of a particular two-dimensional, inviscid incompressible flow using dynamical systems techniques. The velocity field is time periodic and consists of the field induced by a vortex pair plus an oscillating strainrate field. In the absence of the strain-rate field the vortex pair moves with a constant velocity and carries with it a constant body of fluid. When the strain-rate field is added the picture changes dramatically; fluid is entrained and detrained from the neighbourhood of the vortices and chaotic particle motion occurs. We investigate the mechanism for this phenomenon and study the transport and mixing of fluid in this flow. Our work consists of both numerical and analytical studies. The analytical studies include the interpretation of the invariant manifolds as the underlying structure which govern the transport. For small values of strain-rate amplitude we use Melnikov's technique to investigate the behaviour of the manifolds as the parameters of the problem change and to prove the existence of a horseshoe map and thus the existence of chaotic particle paths in the flow. Using the Melnikov technique once more we develop an analytical estimate of the flux rate into and out of the vortex neighbourhood. We then develop a technique for determining the residence time distribution for fluid particles near the vortices that is valid for arbitrary strainrate amplitudes. The technique involves an understanding of the geometry of the tangling of the stable and unstable manifolds and results in a dramatic reduction in computational effort required for the determination of the residence time distributions. Additionally, we investigate the total stretch of material elements while they are in the vicinity of the vortex pair, using this quantity as a measure of the effect of the horseshoes on trajectories passing through this region. The numerical work verifies the analytical predictions regarding the structure of the invariant manifolds, the mechanism for entrainment and detrainment and the flux rate.

In this paper we briefly review the main issues associated with mixing at the microscale and introduce the papers comprising the Theme Issue.

The simplest mixing problem corresponds to the mixing of a fluid with itself; this case provides a foundation on which the subject rests. The objective here is to study mixing independently of the mechanisms used to create the motion and review elements of theory focusing mostly on mathematical foundations and minimal models. The flows under consideration will be of two types: two–dimensional (2D) ‘blinking flows’, or three–dimensional (3D) duct flows. Given that mixing in continuous 3D duct flows depends critically on cross–sectional mixing, and that many microfluidic applications involve continuous flows, we focus on the essential aspects of mixing in 2D flows, as they provide a foundation from which to base our understanding of more complex cases. The baker'stransformation is taken as the centrepiece for describing the dynamical systems framework. In particular, a hierarchy of characterizations of mixing exist, Bernoulli→mixing→ergodic, ordered according to the quality of mixing (the strongest first). Most importantly for the design process, we show how the so–called linked twist maps function as a minimal picture of mixing, provide a mathematical structure for understanding the type of 2D flows that arise in many micromixers already built, and give conditions guaranteeing the best quality mixing. Extensions of these concepts lead to first–principle–based designs without resorting to lengthy computations.

In this paper we develop new techniques for revealing geometrical structures in phase space that are valid for aperiodically time dependent dynamical systems, which we refer to as Lagrangian descriptors. These quantities are based on the integration, for a finite time, along trajectories of an intrinsic bounded, positive geometrical and/or physical property of the trajectory itself. We discuss a general methodology for constructing Lagrangian descriptors, and we discuss a “heuristic argument” that explains why this method is successful for revealing geometrical structures in the phase space of a dynamical system. We support this argument by explicit calculations on a benchmark problem having a hyperbolic fixed point with stable and unstable manifolds that are known analytically. Several other benchmark examples are considered that allow us the assess the performance of Lagrangian descriptors in revealing invariant tori and regions of shear. Throughout the paper “side-by-side” comparisons of the performance of Lagrangian descriptors with both finite time Lyapunov exponents (FTLEs) and finite time averages of certain components of the vector field (“time averages”) are carried out and discussed. In all cases Lagrangian descriptors are shown to be both more accurate and computationally efficient than these methods. We also perform computations for an explicitly three dimensional, aperiodically time-dependent vector field and an aperiodically time dependent vector field defined as a data set. Comparisons with FTLEs and time averages for these examples are also carried out, with similar conclusions as for the benchmark examples