Flow transitions in two-dimensional foams

For sufficiently slow rates of strain, flowing foam can exhibit inhomogeneous flows. The nature of these flows is an area of active study in both two-dimensional model foams and three dimensional foam. Recent work in three-dimensional foam has identified three distinct regimes of flow [S. Rodts, J. C. Baudez, and P. Coussot, Europhys. Lett. {\bf 69}, 636 (2005)]. Two of these regimes are identified with continuum behavior (full flow and shear-banding), and the third regime is identified as a discrete regime exhibiting extreme localization. In this paper, the discrete regime is studied in more detail using a model two dimensional foam: a bubble raft. We characterize the behavior of the bubble raft subjected to a constant rate of strain as a function of time, system size, and applied rate of strain. We observe localized flow that is consistent with the coexistence of a power-law fluid with rigid body rotation. As a function of applied rate of strain, there is a transition from a continuum description of the flow to discrete flow when the thickness of the flow region is approximately 10 bubbles. This occurs at an applied rotation rate of approximately $0.07 {\rm s^{-1}}$

Statistics of Bubble Rearrangements in a Slowly Sheared Two-dimensional Foam

Many physical systems exhibit plastic flow when subjected to slow steady shear. A unified picture of plastic flow is still lacking; however, there is an emerging theoretical understanding of such flows based on irreversible motions of the constituent ``particles'' of the material. Depending on the specific system, various irreversible events have been studied, such as T1 events in foam and shear transformation zones (STZ's) in amorphous solids. This paper presents an experimental study of the T1 events in a model, two-dimensional foam: bubble rafts. In particular, I report on the connection between the distribution of T1 events and the behavior of the average stress and average velocity profiles during both the initial elastic response of the bubble raft and the subsequent plastic flow at sufficiently high strains

Fibrational induction rules for initial algebras

This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and Jacobs’ elegant algebraic formulation of induction for polynomial data types. Our contribution is to derive, under slightly different assumptions, an induction rule that is generic over all inductive types, polynomial or not. Our induction rule is generic over the kinds of properties to be proved as well: like Hermida and Jacobs, we work in a general fibrational setting and so can accommodate very general notions of properties on inductive types rather than just those of particular syntactic forms. We establish the correctness of our generic induction rule by reducing induction to iteration. We show how our rule can be instantiated to give induction rules for the data types of rose trees, finite hereditary sets, and hyperfunctions. The former lies outside the scope of Hermida and Jacobs’ work because it is not polynomial; as far as we are aware, no induction rules have been known to exist for the latter two in a general fibrational framework. Our instantiation for hyperfunctions underscores the value of working in the general fibrational setting since this data type cannot be interpreted as a set

Auroral thermosphere temperatures from observations of 6300 A emissions

Doppler temperatures determined from observations of the atomic oxygen OI 6300 A line during March 1984 at the University of Alaska/Fairbanks are presented. Temperatures are obtained from Fabry-Perot Interferometer pressure scans using a Fourier transform smoothing and fitting technique; this technique is presented in detail. The temperatures and the spread in the temperatures are consistent from day to day. On the clear nights of March 10 to 13, the temperatures were 800, 750, 750 and 800 K, respectively, with a spread of + or - 100 K. These temperatures are compared to the MSIS (84) model atmosphere for similar geomagnetic conditions and found to be in general agreement; they are also consistent with results obtained by other investigators

Gaussian approximation for finitely extensible bead-spring chains with hydrodynamic interaction

The Gaussian Approximation, proposed originally by Ottinger [J. Chem. Phys., 90 (1) : 463-473, 1989] to account for the influence of fluctuations in hydrodynamic interactions in Rouse chains, is adapted here to derive a new mean-field approximation for the FENE spring force. This "FENE-PG" force law approximately accounts for spring-force fluctuations, which are neglected in the widely used FENE-P approximation. The Gaussian Approximation for hydrodynamic interactions is combined with the FENE-P and FENE-PG spring force approximations to obtain approximate models for finitely-extensible bead-spring chains with hydrodynamic interactions. The closed set of ODE's governing the evolution of the second-moments of the configurational probability distribution in the approximate models are used to generate predictions of rheological properties in steady and unsteady shear and uniaxial extensional flows, which are found to be in good agreement with the exact results obtained with Brownian dynamics simulations. In particular, predictions of coil-stretch hysteresis are in quantitative agreement with simulations' results. Additional simplifying diagonalization-of-normal-modes assumptions are found to lead to considerable savings in computation time, without significant loss in accuracy.Comment: 26 pages, 17 figures, 2 tables, 75 numbered equations, 1 appendix with 10 numbered equations Submitted to J. Chem. Phys. on 6 February 200

A principled approach to programming with nested types in Haskell

Initial algebra semantics is one of the cornerstones of the theory of modern functional programming languages. For each inductive data type, it provides a Church encoding for that type, a build combinator which constructs data of that type, a fold combinator which encapsulates structured recursion over data of that type, and a fold/build rule which optimises modular programs by eliminating from them data constructed using the buildcombinator, and immediately consumed using the foldcombinator, for that type. It has long been thought that initial algebra semantics is not expressive enough to provide a similar foundation for programming with nested types in Haskell. Specifically, the standard folds derived from initial algebra semantics have been considered too weak to capture commonly occurring patterns of recursion over data of nested types in Haskell, and no build combinators or fold/build rules have until now been defined for nested types. This paper shows that standard folds are, in fact, sufficiently expressive for programming with nested types in Haskell. It also defines buildcombinators and fold/build fusion rules for nested types. It thus shows how initial algebra semantics provides a principled, expressive, and elegant foundation for programming with nested types in Haskell

Fluid Elasticity Can Enable Propulsion at Low Reynolds Number

Conventionally, a microscopic particle that performs a reciprocal stroke cannot move through its environment. This is because at small scales, the response of simple Newtonian fluids is purely viscous and flows are time-reversible. We show that by contrast, fluid elasticity enables propulsion by reciprocal forcing that is otherwise impossible. We present experiments on rigid objects actuated reciprocally in viscous fluids, demonstrating for the first time a purely elastic propulsion set by the object's shape and boundary conditions. We describe two different artificial "swimmers" that experimentally realize this principle.Comment: 5 pages, 4 figure