Bases,spanning sets,and the axiom of choice

Two theorems are proved: First that the statement “there exists a field F such that for every vector space over F, every generating set contains a basis” implies the axiom of choice. This generalizes theorems of Halpern, Blass, and Keremedis. Secondly, we prove that the assertion that every vector space over ?₂ has a basis implies that every well‐ordered collection of two‐element sets has a choice function. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Regularization procedures of mixed finite element approximations of the stokes problem

We propose a theoretical framework for the study of regularization of the Stokes problem. This enables us to perform a general error analysis and to apply it to known schemes as well as to a new one pertaining to the use of the P1-P1 element. Finally we show that in the P1-case the theory can also be used to get convergence results for elements obtained by addition of bubble functions, without using the usual mixed finite element machinery.     

Performance and analysis of saddle point preconditioners for the discrete steady-state Navier-Stokes equations

Summary. We examine the convergence characteristics of iterative methods based on a new preconditioning operator for solving the linear systems arising from discretization and linearization of the steady-state Navier-Stokes equations. With a combination of analytic and empirical results, we study the effects of fundamental parameters on convergence. We demonstrate that the preconditioned problem has an eigenvalue distribution consisting of a tightly clustered set together with a small number of outliers. The structure of these distributions is independent of the discretization mesh size, but the cardinality of the set of outliers increases slowly as the viscosity becomes smaller. These characteristics are directly correlated with the convergence properties of iterative solvers. Received August 5, 2000 / Published online June 20, 2001     

Transient free‐surface flow of a viscoelastic fluid in a narrow channel

The interplay between inertia and elasticity is examined for transient free‐surface flow inside a narrow channel. The lubrication theory is extended for the flow of viscoelastic fluids of the Oldroyd‐B type (consisting of a Newtonian solvent and a polymeric solute). While the general formulation accounts for non‐linearities stemming from inertia effects in the momentum conservation equation, and the upper‐convected terms in the constitutive equation, only the front movement contributes to non‐linear coupling for a flow inside a straight channel. In this case, it is possible to implement a spectral representation in the depthwise direction for the velocity and stress. The evolution of the flow field is obtained locally, but the front movement is captured only in the mean sense. The influence of inertia, elasticity and viscosity ratio is examined for pressure‐induced flow. The front appears to progress monotonically with time. However, the velocity and stress exhibit typically a strong overshoot upon inception, accompanied by a plug‐flow behaviour in the channel core. The flow intensity eventually diminishes with time, tending asymptotically to Poiseuille conditions. For highly elastic liquids the front movement becomes oscillatory, experiencing strong deceleration periodically. A multiple‐scale solution is obtained for fluids with no inertia and small elasticity. Comparison with the exact (numerical) solution indicates a wide range of validity for the analytical result. Copyright © 2004 John Wiley & Sons, Ltd.     

Dark matter searches by the Boulby Collaboration and liquid xenon prototype development

The current status of direct dark matter searches by the Boulby Dark Matter Collaboration is presented with the latest result from the ZePLiN I liquid xenon detector. An upper limit in the interaction cross section per nucleon of ～1×10^?6 pb for a WIMP mass of 100 GeV is found. Details of ZePLiN’s II and III—two future liquid xenon dark matter are presented. Extensive two-phase liquid-gas xenon prototype work has been undertaken and results of characterization studies are presented. The detector response to internal alpha and external gamma and neutron sources is shown. The potential discrimination power of the two-phase technique is displayed. Finally, prospects for the future dark matter search program are discussed.     

A two-echelon base-stock inventory model with Poisson demand and the sequential processing of orders at the upper echelon

We consider a two-echelon inventory system with a number of non-identical, independent ‘retailers’ at the lower echelon and a single ‘supplier’ at the upper echelon. Each retailer experiences Poisson demand and operates a base stock policy with backorders. The supplier manufactures to order and holds no stock. Orders are produced, in first-come first-served sequence, with a fixed production time. The supplier therefore functions as an M/D/1 queue. We are interested in the performance characteristics (average inventory, average backorder level) at each retailer. By finding the distribution of order lead time and hence the distribution of demand during order lead time, we find the steady state inventory and backorder levels based on the assumption that order lead times are independent of demand during order lead time at a retailer. We also propose two alternative approximation procedures based on assumed forms for the order lead time distribution. Finally we provide a derivation of the steady state inventory and backorder levels which will be exact as long as there is no transportation time on orders between the supplier and retailers. A numerical comparison is made between the exact and approximate measures. We conclude by recommending an approach which is intuitive and computationally straightforward.     

Soluble models for dynamics driven by a super-diffusive noise

We explicitly discuss scalar Langevin type of equations where the deterministic part is linear, but where the integrated noise source is a non-linear diffusion process exhibiting superdiffusive behavior. We calculate transient and stationary probabilities and study the possibility of noise induced transitions from a unimodal to a bimodal probability shape. Illustrations from finance and dynamical systems are given.