A posteriori error estimators for the Stokes equations

Summary We present two a posteriori error estimators for the mini-element discretization of the Stokes equations. One is based on a suitable evaluation of the residual of the finite element solution. The other one is based on the solution of suitable local Stokes problems involving the residual of the finite element solution. Both estimators are globally upper and locally lower bounds for the error of the finite element discretization. Numerical examples show their efficiency both in estimating the error and in controlling an automatic, self-adaptive mesh-refinement process. The methods presented here can easily be generalized to the Navier-Stokes equations and to other discretization schemes.This work was accomplished at the Universität Heidelberg with the support of the Deutsche Forschungsgemeinschaft     

一类具时滞的Liénard型方程的周期解

考虑一类具时滞的 Liénard型方程x+f[x(t) ]x(t) +g[t,x(t-τ(t) ) ]=p(t) =p(t+T) ,利用重合度理论 ,获得了此方程至少存在一个 T周期解的充分条件     

Asymptotic expansions in sequential estimation for the first-order random coefficient autoregressive model: Regenerative approach

Edgeworth expansions for the distribution of a sequential least squares estimator in the random coefficient autoregressive (RCA) model are derived. The regenerative approach to second-order asymptotic analysis of Markov-type statistical models is developed.     

Limits of parallelism in explicit ODE methods

Numerical methods for ordinary initial value problems that do not depend on special properties of the system are usually found in the class of linear multistage multivalue methods, first formulated by J.C. Butcher. Among these the explicit methods are easiest to implement. For these reasons there has been considerable research activity devoted to generating methods of this class which utilize independent function evaluations that can be performed in parallel. Each such group of concurrent function evaluations can be regarded as a stage of the method. However, it turns out that parallelism affords only limited opportunity for reducing the computing time with such methods. This is most evident for the simple linear homogeneous constant-coefficient test problem, whose solution is essentially a matter of approximating the exponential by an algebraic function. For a given number of stages and a given number of saved values, parallelism offers a somewhat enlarged set of algebraic functions from which to choose. However, there is absolutely no benefit in having the degree of parallelism (number of processors) exceed the number of saved values of the method. Thus, in particular, parallel one-step methods offer no speedup over serial one-step methods for the standard linear test problem. Although the implication of this result for general nonlinear problems is unclear, there are indications that dramatic speedups are not possible in general. Also given are some results relevant to the construction of methods.Work supported in part by National Science Foundation grants DMS 89 11410 and DMS 90 15533 and by US Department of Energy grant DOE DEFG02-87ER25026. Work of the second author was completed while at the University of Illinois.     

Biomagnetic measurements utilising a superparamagnetic marker: a feasibility study

Summary A preliminary study is here reported on a new potential marker for biomagnetic measurements. The marker consists of superparamagnetic polymer microspheres which were detected in the presence of external steady magnetic fields by means of an r.f.-SQUID magnetometer. The particles were prepared in samples differing in the concentration value and immersed in a homogeneous magnetic field of variable intensity. A simple model was taken into account for the distribution of the microspheres in the samples, so that the theoretical values were compared to the marker field values measured by the biomagnetic sensor. The overall sensitivity of the experimental apparatus and the minimum concentration value of the marker were then estimated.     

Algebraic models defined over Q of differential manifolds

Here we prove that every compact differential manifold has a smooth algebraic model defined over Q. In dimension 2 we find an algebraic model (may be singular) defined over Q and birational over Q to the projective plane.     

Density Correlations in the Two-Dimensional Coulomb Gas

We consider a two-dimensional Coulomb gas of positive and negative pointlike unit charges interacting via a logarithmic potential. The density (rather than the charge) correlation functions are studied. In the bulk, the form-factor theory of an equivalent sine-Gordon model is used to determine the density correlation length. At the surface of a rectilinear plain wall, the universality of the asymptotic behavior of the density correlations is suggested. A scaling analysis implies a local form of the compressibility sum rule near a hard wall. A symmetry of the Coulomb system with respect to the Möbius conformal transformation, which induces a gravitational source acting on the particle density, is established. Among the consequences, a universal term of the finite-size expansion of the grand potential is derived exactly for a disk geometry of the confining domain.     

Sewings of crumpled cubes revisited

This paper sets forth three mismatch properties, strictly ordered in strength, about sewings of crumpled n-cubes. The strongest is a sufficient but not a necessary condition for a sewing to yield Sn, and the weakest, a necessary but not sufficient one. We show that when both crumpled cubes satisfies the Disjoint Disks Property, then the weakest property implies the sewing yields Sn, and we also show that the intermediate property leads to the same conclusion when just one of the crumpled cubes possesses the Disjoint Disks Property. In addition, we develop examples that confirm sharpness of the relevant Disjoint Disks conditions.     

Linear dependence of stationary distributions in ergodic Markov decision processes

In ergodic MDPs we consider stationary distributions of policies that coincide in all but n states, in which one of two possible actions is chosen. We give conditions and formulas for linear dependence of the stationary distributions of n+2 such policies, and show some results about combinations and mixtures of policies.     

Random orderings of the integers and card shuffling

In this paper we study random orderings of the integers with a certain invariance property. We describe all such orders in a simple way. We define and represent random shuffles of a countable set of labels and then give an interpretation of these orders in terms of a class of generalized riffle shuffles.