In this paper, some new sufficient conditions for oscillation of first order neutral delay differential equations with several variable coefficients are obtained. These sufficient conditions include and are in many cases weaker than those known.

As part of an attempt to capture abstractly the most fundamental properties of algebraic reasoning involving equality, we introduce the notion of an equality algebra. It is a universal algebra A endowed with a binary function =iA × A → L, where L is a meet-semilattice with top element 1, called internalised equality, and satisfying, for all x, y ∈ A,

1. (x =ix) = 1; and

2. (x =iy)f(x) = (x =iy)f(y), where f is any function A → L derived from the Operations on A, the semilattice operations, and = i.

We charecterise internalised equalities in terms of finetly many identities, give examples, and show that all are equivalent to internalised equalities defined in terms of congruences on the underlying algebra. In the special case in which A is an Abelian group or ring, the internalised equality is shown to be equivalent to the dual of a norm-like mapping taking values in semilattice.

A subset V of M(G) is left H-invariant if it is invariant under left translation by the elements of H, a subset of a locally compact group G. We establish necessary and sufficient conditions on H which ensure that finite dimensional subspaces of M(G) when G is compact, or of L∞(G) when G is locally compact Abelian, which are invariant in this weaker sense, contain only trigonometric polynomials. This generalises known results for finite dimensional G-invariant subspaces. We show that if H is a subgroup of finite index in a compact group G, and the span of the H-translates of μ is a weak*-closed subspace of L∞(G) or M(G) (or is closed in Lp(G)for 1 ≤ p < ∞), then μ is a trigonometric polynomial.

We also obtain some results concerning functions that possess the analogous weaker almost periodic condition relative to H.

One of the main problems in Seiberg-Witten theory is to find (SW)-basic classes and their invariants for a given smooth 4-manifold. The rational blow-down procedure introduced by Fintushel and Stern is one way to compute these invariants for some smooth 4-manifolds. In this paper, we extend their results to the general case. That is, we find (SW)-basic classes and Seiberg-Witten invariants for generalised rational blow-down 4-manifolds by using index computations.

The main results proved in this note are the following:

(i) Any finitely generated group can be expressed as a quotient of a finitely presented, centreless group which is simultaneously Hopfian and co-Hopfian.

(ii) There is no functorial imbedding of groups (respectively finitely generated groups) into Hopfian groups.

(iii) We prove a result which implies in particular that if the double orientable cover N of a closed non-orientable aspherical manifold M has a co-Hopfian fundamental group then π1(M) itself is co-Hopfian.

In this paper we show that (i) l∞ does not admit an equivalent weak mid-point locally uniformly rotund norm and (ii) l∞ / c0 does not admit an equivalent rotund norm.

Usual duality results are proved for Wolfe and Mond-Weir type multiobjective symmetric dual problems without nonnegativity constraints under invexity/generalised invexity assumptions. Moreover, assuming the kernel function to be skew symmetric, the multiobjective problems are exhibited to be self duals.

We introduce the notion of semi-invex function (non-smooth) and the associated subdifferential. We study their properties and establish the conditions for optimality in constrained and unconstrained minimisation problems.

We give sufficient conditions involving f, g and ω in order that systems of differential equations of the form y″ = f(x, y, y′), x in [0, 1] with fully nonlinear boundary conditions of the form g((y(0), y(1)), (y′(0), y′(1))) = 0 have solutions y with (x, y) in . We use Schauder degree theory in a novel space. Well known existence results for the Picard, the periodic and the Neumann boundary conditions follow as special cases of our results.

The problem of metrising abstract topological spaces constitutes one of the major themes of topology. Since, for each new significant class of topological spaces this question arises, the problem is always current. One of the famous metrisation problems is the Normal Moore Space Conjecture. It is known from relatively recent work that one must add special conditions in order to be able to get affirmative results for this problem. In this paper we establish such special conditions. Since these conditions are characterised by local simplicity and global coherence they are referred to in this paper generically as “abstract topological manifolds.” In particular we establish a generalisation of a classical development of Bing, giving a proof which is complete in itself, not depending on the result or arguments of Bing. In addition we show that the spaces recently developed by Collins designated as “W satisfying open G(N)” are metrisable if they are locally separable and locally connected and regular. Finally, we establish a new necessary and sufficient condition for spaces to be metrisable.

For a locally compact Abelian group G and a commutative Banach algebra B, let L1(G, B) be the Banach algebra of all Bochner integrable functions. We show that if G is compact and B is a nonunital Banach algebra without nontrivial zero divisors, then (i) all derivations on L1(G, B) are continuous if and only if all derivations on B are continuous, and (ii) each epimorphism from a Banach algebra X onto L1(G, B) is continuous provided every epimorphism from X onto B is continuous. If G is noncompact then every derivation on L1(G, B) and every epimorphism from a commutative Banach algebra onto L1(G, B) are continuous. Our results extend the results of Neumann and Velasco for nonunital Banach algebras.

We classify unit speed curves contained in a real space form of arbitrary dimension Nm(c), whose mean curvature vector is proper for the Laplacian. Then we use these results to classify Hopf cylinders of S3 and semi-Riemannian Hopf cylinders of with proper mean curvature function.

We determine the minimal relational sets related to finite groups. With the help of this result we prove that two categorically equivalent finite groups are weakly isomorphic.

We consider normed and Banach algebras satisfying a condition topologically analogous to bounded index for rings. We investigate stability properties, prove a topological version of a theorem of Jacobson, and find in many cases co-incidence with well-known finiteness properties.

A finite element method for solving the compressible viscous Stokes equation with an inflow boundary condition is presented. The unique existence of the solution of the discrete problem is established, and an error analysis is given. It is shown that the error in pressure is dominated by the one in velocity and an error at the inflow portion of the boundary.

In this paper, we establish a number of inequalities involving symmetric means and symmetric harmonic means. We then apply these new inequalities to obtain many geometric inequalities of isoperimetric type for plane polygons.

Let x: Mn → Em be an isometric immersion of an n-dimensional Riemannian manifold into the m-dimensional Euclidean space. Then the map (where t denotes transpose) is called the quadric representation of Mn. In this paper, we study and classify hypersurfaces in the Euclidean space Em which satisfy , where B and C are two constant matrices, and Δ is the Laplacian operator of Mn. Some classification results are obtained.

It is shown that a complete simply connected negatively curved manifold supports nontrivial bounded harmonic functions if the singular set of the ideal boundary is disconnected.

We prove that in a Banach space with a Lipschitz uniformly Gateaux smooth bump function, every continuous function which is directionally differentiable on a dense Gδ subset of the space, is Gateaux differentiable on a dense Gδ subset of the space. Applications of this result are given.

In 1974 Resnikoff and Saldaña made a remarkable conjecture about the growth of the Fourier coefficients of a Siegel cusp form F of arbitrary genus g ≥ 1. In the present note, we point out that this conjecture is at least true on average.