Compressible Flow in a Half-Space with Navier Boundary Conditions

We prove the global existence of weak solutions of the Navier–Stokes equations of compressible flow in a half-space with the boundary condition proposed by Navier: the velocity on the boundary is proportional to the tangential component of the stress. This boundary condition allows for the determination of the scalar function in the Helmholtz decomposition of the acceleration density, which in turn is crucial in obtaining pointwise bounds for the density. Initial data and solutions are small in energy-norm with nonnegative densities having arbitrarily large sup-norm. These results generalize previous results for solutions in the whole space and are the first for solutions in this intermediate regularity class in a region with a boundary.     

Proof of a conjecture on the supports of Wigner distributions

In this note we prove that the Wigner distribution of an f ∈ L₂(ℝ_n) cannot be supported by a set of finite measure in ℝ_2n unless f=0. We prove a corresponding statement for cross-ambiguity functions. As a strengthening of the conjecture we show that for an f ∈ L₂(ℝ_n) its Wigner distribution has a support of measure 0 or ∞ in any half-space of ℝ_2n.     

Lower bounds for the discrepancy of triples of inversive congruential pseudorandom numbers with power of two modulus

This paper deals with the inversive congruential method with power of two modulusm for generating uniform pseudorandom numbers. Statistical independence properties of the generated sequences are studied based on the distribution of triples of successive pseudorandom numbers. It is shown that there exist parameters in the inversive congruential method such that the discrepancy of the corresponding point sets in the unit cube is of an order of magnitude at leastm ^–1/3. The method of proof relies on a detailed analysis of certain rational exponential sums.     

Third order nonoscillatory central scheme for hyperbolic conservation laws

Summary. A third-order accurate Godunov-type scheme for the approximate solution of hyperbolic systems of conservation laws is presented. Its two main ingredients include: 1. A non-oscillatory piecewise-quadratic reconstruction of pointvalues from their given cell averages; and 2. A central differencing based on staggered evolution of the reconstructed cell averages. This results in a third-order central scheme, an extension along the lines of the second-order central scheme of Nessyahu and Tadmor \cite{NT}. The scalar scheme is non-oscillatory (and hence – convergent), in the sense that it does not increase the number of initial extrema (– as does the exact entropy solution operator). Extension to systems is carried out by componentwise application of the scalar framework. In particular, we have the advantage that, unlike upwind schemes, no (approximate) Riemann solvers, field-by-field characteristic decompositions, etc., are required. Numerical experiments confirm the high-resolution content of the proposed scheme. Thus, a considerable amount of simplicity and robustness is gained while retaining the expected third-order resolution. Received April 10, 1996 / Revised version received January 20, 1997     

ON THE EXISTENCE AND UNIQUENESS THEOREMS OF SOLUTIONS FOR A CLASS OF THE SYSTEMS OF MIXED MONOTONE OPERATOR EQUATIONS WITH APPLICATION

ＯＮＴＨＥＥＸＩＳＴＥＮＣＥＡＮＤＵＮＩＱＵＥＮＥＳＳＴＨＥＯＲＥＭＳＯＦＳＯＬＵＴＩＯＮＳＦＯＲＡＣＬＡＳＳＯＦＴＨＥＳＹＳＴＥＭＳＯＦＭＩＸＥＤＭＯＮＯＴＯＮＥＯＰＥＲＡＴＯＲＥＱＵＡＴＩＯＮＳＷＩＴＨＡＰＰＬＩＣＡＴＩＯＮＳＨＥＮＰＥＩＬＯＮＧ...     

An asymmetric Ellis theorem

In 1957 Robert Ellis proved that a group with a locally compact Hausdorff topology T making all translations continuous also has jointly continuous multiplication and continuous inversion, and is thus a topological group. The theorem does not apply to locally compact asymmetric spaces such as the reals with addition and the topology of upper open rays. We first show a bitopological Ellis theorem, and then introduce a generalization of locally compact Hausdorff, called locally skew compact, and a topological dual, Tk, to obtain the following asymmetric Ellis theorem which applies to the example above:Whenever (X,⋅,T) is a group with a locally skew compact topology making all translations continuous, then multiplication is jointly continuous in both (X,⋅,T) and (X,⋅,Tk), and inversion is a homeomorphism between (X,T) and (X,Tk).This generalizes the classical Ellis theorem, because T=Tk when (X,T) is locally compact Hausdorff.     

Asymptotic values of polynomial mappings of the real plane

Using algebraically constructible functions we give a generically effective method to detect asymptotic values of polynomial mappings with finite fibers defined on the real plane. By asymptotic variety we mean the set of points at which the polynomial mapping fails to be proper.     

Lieb–Thirring Inequalities for Schrödinger Operators with Complex-valued Potentials

Inequalities are derived for power sums of the real part and the modulus of the eigenvalues of a Schrödinger operator with a complex-valued potential.     

Cycles throughk vertices in bipartite tournaments

We give a simple proof that everyk-connected bipartite tournament has a cycle through every set ofk vertices. This was conjectured in [4].This research was done while the first author was visiting Laboratoire de Recherche en Informatique, universite Paris-Sud whose hospitality and financial support is gratefully acknowledged