We show that the number of combinatorially distinct labelled d-polytopes on n vertices is at most , as n/d → ∞. A similar bound for the number of simplicial polytopes has previously been proved by Goodman and Pollack. This bound improves considerably the previous known bounds. We also obtain sharp upper and lower bounds for the numbers of real oriented and unoriented matroids with n elements of rank d. Our main tool is a theorem of Milnor and Thorn from real algebraic geometry.

A (local) Lie loop is a real analytic manifold M with a base point e and three analytic functions (x, y) → x° y, x\y, x/y: M × M → M (respectively, U × U → M for an open neighbourhood U of e in M) such that the following conditions are satisfied: (i) x ° e = e ° x = e, (ii) x ° (x\y) = y, and (iii) (x/y)° y = x for all x, y ε M (respectively, U). If the multiplication ° is associative, then M is a (local) Lie group. The tangent vector space L(M) in e is equipped with an anticommutative bilinear operation (X, Y) →[X, Y] and a trilinear operation (X, Y, Z) →〈X, Y, Z〉. These are defined as follows: Let B be a convex symmetric open neighbourhood of 0 in L(M) such that the exponential function maps B diffeomorphically onto an open neighbourhood V of e in M and transport the operation ° into L(M) by defining X ° Y = (exp|B)−1((exp X)° (exp Y)) for X and Y in a neighbourhood C of 0 in B such that (exp C) ° (exp C) ⊂ V. Similarly, we transport / and \.

Let UK = [0, 1)K be the K-dimensional unit cube, where K ≥ 2. Suppose that we have a distribution ℘ of N points in UK. For × = ( x1, … , xK) ε UK, let A(x) denote the box

and write

Note that since N is the cardinality of ℘ and x1 … xK is the K-dimensional volume of A(x), the term Nx1 … xK represents the “expected number” of, points of ℘ in A(x).

The purpose of this paper is to give some natural examples of Borel-inseparable pairs of coanalytic sets in Polish spaces.

A Polish space is a topological space homeomorphic to a separable complete metric space. In this paper, all spaces are uncountable Polish spaces. A pointset is analytic (or ) if it is the continuous image of a Borel set (in any space), or equivalently, the projection of a Borel set, and is coanalytic (or ) if it is the complement of an analytic set. The class of analytic sets is closed under countable unions and intersections, images and preimages by Borel measurable functions, and projections; it is not closed under complements, hence there is an analytic set which is not Borel.

Two alternative characterizations of semidirect products of semigroups are given. Characterizations are provided of such products that are groups, regular semigroups, and inverse semigroups, respectively.

In this paper we introduce the concept of fractional powers of a pair of operators between two Banach spaces. The operators need not be closed, but form a closed pair. The properties of the fractional powers are studied. An application of the theory is briefly discussed.

This paper describes the set GmU of effective conductivity tensors of mixtures generated by two isotropic materials taken in prescribed proportions m1 and m2 We describe microstructures which realise any point of GmU for n-dimensional space.

In this paper we study the following boundary value problem

where Ω is a bounded domain in Rn, n≧3, x ∈Rn, p* = 2n/(n – 2) is the critical exponent for the Sobolev embedding is a real parameter and f(x, t) increases, at infinity, more slowly than .

By using variational techniques, we prove the existence of multiple solutions to the equations (0.1), in the case when λ belongs to a suitable left neighbourhood of an arbitrary eigenvalue of −Δ, and the existence of at least one solution for any λ sufficiently large.

The aim of this paper is to establish some new integral inequalities of the Sobolev type involving functions of several independent variables. The analysis used in the proofs is elementary and the results established provide new estimates for this type of inequality.

A ring epimorphism θ:A →B extends in a natural way to a homomorphism γn: GLn(A)→GLn(B) and, when A is commutative, to a homomorphism σn:SLn(A)→SLn(B), where n ≧ 1. In this paper we consider the question: when are γn and σn surjective (or non-surjective)?

The semi-linear equation Δu − λu + h(x)uσ = 0 is studied on all of d-dimensional Euclidean space. In the bifurcation problem a non-trivial solution is sought for small λ which tends to zero with λ. The asymptotic dependence of the solution on λ is examined. For fixed λ = 1 the existence of non-degenerate non-trivial solutions is proved for generic measurable h(x) sufficiently near to a constant, provided d = 1 or 3. The two problems are seen to be interdependent. The bifurcation problem at λ = 0 is particularly interesting as the linearised equation is of non-Fredholm type.

Let θ(t, λ) and (t,λ) be the solutions to the differential equation y“+(λ − q(t))y =0, − ∞ <t < ∞ such that θ(0, λ)) = l, θ'(0, λ)) = 0, ø(0, λ) = 0 and ø'(0, λ) = −1. It is known that for a function f(t)∈ L2(−∞,∞), we have

where for some measures dξ, dη; and dζ independent of f.

In the first part of this paper we devise a technique to locate the singular points of f(t) (t is complex) under the assumptions that E(λ), F(λ) are of order O(e-cvλ), as λ →∞and q(t) is a sufficiently nice function. In this case all the singularities of fare off the real axis. In the second part of the paper we relax the restriction on E(λ) and f(λ) so that they are of order O(λk) as λ →∞ for some constant k, and we show that in this case f(t) is a generalised function whose analytic representation is holomorphic in the upper and lower half planes. We then devise a technique to continue analytically across the real axis and locate its singularities thereon.

This paper considers existence of periodic solutions for vector Liénard differential equations

In our main result we write

where Q(t, x) is a symmetric matrix and h(t, x) is sublinear. The key assumption relates the asymptotic behaviour as x →+ ∞ of the eigenvalues of Q(t, x) to the spectrum of the linear operator −d2/dt2 Several choices for Q(t, x) are considered which lead to known theorems and extend others. In the case of the Duffing equation

the assumptions are weakened.

Our approach is based on Leray-Schauder's degree theory and a priori estimates.

In this paper we prove that every precompact subset in any (LF)-space has a metrizable completion. As a consequence every (LF)-space is angelic and in this way the answer to a question posed by K. Floret [3] is given. Some contributions to the general problem of regularity in inductive limits posed by K. Floret [3] are also given. Particularly, extensions of well-known results of H. Neuss and M. Valdivia are provided in the general setting of (LF)-spaces. It should also be noted that our results hold for inductive limits of an increasing sequence of metrizable spaces.

We consider a cylinder with arbitrary cross section moving in a viscous incompressible fluid parallel to a plane wall. Formal asymptotic expansions of the solution for small Reynolds numbers are constructed by using boundary integral equations of the first kind. In contrast to the problem without a wall, we show that there exists a unique solution to the zeroth order problem. However, the problem considered here is still singular in the sense that we find the Stokes paradox in the next higher order problem. A justification of the formal asymptotic expansion for the first two terms is established rigorously.

Let Ca be the set of all the continuous functions from the interval [−r, 0] on the sphere of radius a, on the plane. We prove, under certains conditions, that a retarded autonomous differential equation that leaves Ca invariant has a non-constant periodic solution.

Liouville type theorems are obtained for the solutions to elliptic equations of the form Δ2u −q(x)Δu + p(x)f(u)=0 by means of two subharmonic functionals and Green type inequalities.

This paper discusses a few problems on the size of the set of invariant means of an amenable semigroup posed by Maria M. Klawe, Alan L. T. Paterson and M. Rajagopalan and P. V. Ramakrishnan ([4], [5], [8] and [9]).