Countably compact topological group topologies on free Abelian groups from selective ultrafilters

Tkachenko showed in 1990 the existence of a countably compact group topology on the free Abelian group of size c using CH. Koszmider, Tomita and Watson showed in 2000 the existence of a countably compact group topology on the free Abelian group of size c² using a forcing model in which CH holds.Wallace's question from 1955, asks whether every both-sided cancellative countably compact semigroup is a topological group. A counterexample to Wallace's question has been called a Wallace semigroup. In 1996, Robbie and Svetlichny constructed a Wallace semigroup under CH. In the same year, Tomita constructed a Wallace semigroup from MAcountable.In this note, we show that the examples of Tkachenko, Robbie and Svetlichny, and Koszmider, Tomita and Watson can be obtained using a family of selective ultrafilters. As a corollary, the constructions presented here are compatible with the total failure of Martin's Axiom.     

On cellularization for simplicial presheaves and motivic homotopy

We construct cellular homotopy theories for categories of simplicial presheaves on small Grothendieck sites and discuss applications to the motivic homotopy category of Morel and Voevodsky.     

An adaptive scheme for the approximation of dissipative systems

We propose a new scheme for the long time approximation of a diffusion when the drift vector field is not globally Lipschitz. Under this assumption, a regular explicit Euler scheme–with constant or decreasing step–may explode and implicit Euler schemes are CPU-time expensive. The algorithm we introduce is explicit and we prove that any weak limit of the weighted empirical measures of this scheme is a stationary distribution of the stochastic differential equation. Several examples are presented including gradient dissipative systems and Hamiltonian dissipative systems.     

Phase portraits of quadratic polynomial vector fields having a rational first integral of degree 2

We classify all the global phase portraits of the quadratic polynomial vector fields having a rational first integral of degree 2. In other words we characterize all the global phase portraits of the quadratic polynomial vector fields having all their orbits contained in conics. For such a vector field there are exactly 25 different global phase portraits in the Poincaré disc, up to a reversal of sense.     

一个改进的Hardy-Hilbert不等式

通过建立权系数的不等式,得到一个改进的Hardy-Hilbert不等式.     

A combined mixed and discontinuous Galerkin method for compressible miscible displacement problem in porous media

In this paper, we present a numerical scheme for solving the coupled system of compressible miscible displacement problem in porous media. The flow equation is solved by the mixed finite element method, and the transport equation is approximated by a discontinuous Galerkin method. The scheme is continuous in time and a priori hp error estimates is presented.     

Global existence of analytic solutions to the Cauchy problem in a complex domain

We present results on the global existence of analytic solutions to the Cauchy problem in starshaped or convex complex domains. No growth conditions are imposed. Our results rely on a notion of solution-tube that we introduce. à la mémoire de Jean Leray     

Structure of norbornene-fused 3,1-oxazine double cycloadducts

Pentacyclic isoxazolines were obtained by the cycloaddition of benzonitrile oxide to norbornene-azetidinone-fused 3,1-oxazines. The constitutions of two of the isomers obtained, and the configurations and conformations of all products, were determined by means of ¹H and ¹³C NMR spectroscopy and DNOE experiments.     

Unions of three starshaped sets in R2

LetS be a compact, simply connected set inR ². If every boundary point ofS is clearly visible viaS from at least one of the three pointsa, b, c, thenS is a union of three starshaped sets whose kernels containa, b, c, respectively. The result fails when the number three is replaced by four.As a partial converse, ifS is a union of three starshaped sets whose kernels containa, b, c, respectively, then the set of points in the boundary ofS clearly visible from at least one ofa, b, orc is dense in the boundary ofS.Supported in part by NSF grant DMS-8705336.