An algorithm for summing the series , where the coefficients an are assumed known, and the quantities pn, satisfy a linear three term recurrence relation, has been given by Clenshaw [1]. If we suppose that the pn satisfy the recurrence relation where αn and βn are, in general, functions of n, then PN may be found by constructing a sequence {bn} for n = N(−1)0, where the b satisfy the inhomogeneous recurrence relation with the conditions, The sum PN is then given by This result can be readily verified by multiplying each side of equation (1.2) by pn, summing from n = 0 to N, and making use of equations (1.1) and (1.3).

An operator is said to be nice if its conjugate maps extreme points of the dual unit ball to extreme points. The classical Banach-Stone Theorem says that an isometry from a space of continuous functions on a compact Hausdorff space onto another such space is a weighted composition operator. One common proof of this result uses the fact that an isometry is a nice operator. We use extreme point methods and the notion of centralizer to characterize nice operators as operator weighted compositions on subspaces of spaces of continuous functions with values in a Banach space. Previous characterizations of isometries from a subspace M of C0( Q, X) into C0(K, Y) require Y to be strictly convex, but we are able to obtain some results without that assumption. Important use is made of a vector-valued version of the Choquet Boundary. We also characterize nice operators from one function module to another.

We study the genus theory for function fields which is the analogue of the classical genus theory developed by Hasse and Fröhlich.

In the present paper we are concerned with Schröder's functional equation , where ϕ(x) is the unknown function and is a number between 0 and 1: . We shall prove a theorem which generalizes some earlier results on convex solutions of the Schröder equation [4], [5].

The set of all nilpotent elements in an IFP near-ring is characterized and necessary and sufficient conditions for the set of all nilpotent elements of an IFP near-ring to form an ideal are obtained.

It is well known that many of the field equations from theoretical physics (e.g. Einstein field equations, Maxwell's equations, Klein-Gordon equation) can be obtained from a variational principle with a suitably chosen Lagrange density. In the case of the Einstein equations the corresponding Lagrangian is degenerate (i.e., the associated Euler-Lagrange equations are of second order whereas in general these would be of fourth order), while in the cases of the Maxwell and Klein-Gordon equations the Lagrangian usually used is not degenerate.

Special numerical formulae for the dilogarithm of powers of a base quantity have been shown to exist by Watson, Coxeter and others. Abel's equation for the dilogarithm was put in this “exponent” form, as a result of which a four-variable, symmetrical equation, also in exponent form, was deduced. From these equations a large number of special numerical results were produced, from which certain properties of a general structural nature emerged, and enabled two new results to be predicted.

The algebraic bases for these results can be grouped in trigonometric or non-trigonometric form, and for the former it seems to be necessary to examine the properties of the dilogarithm in the complex plane. Even so, there are some identities that seem to be outside the scope of the present methods.

It is speculated that certain factorization relations, which can be identified from the equations, may play a substantial role in the results; but so far no analytic derivation of this property has appeared possible.

Sets of independence are studied for compact abelian hypergroups and they are used, along with Riesz products, to investigate lacunarity questions on the dual object. It is shown that bounded Stechkin sets are always Sidon and that every bounded infinite subset of the dual contains an infinite Sidon set which is also a Λ set. Independent sets are shown to always be Sidon and a necessary condition for Sidonicity is provided. A result of Pisier is used to show that for compact non-abelian groups Sidon and central Λ are equivalent. Several applications are provided, primarily to questions regarding lacunarity on compact groups.

We give two charaterizations of the Möbius invariant QK spaces, one in terms of a double integral and the other in terms of the mean oscillation in the Bergman metric. Both charaterizations avoid the use of derivatives. Our results are new even in the case of Qp.

J. C. Kelly [2] introduced the concept of a bitopological space. Lane [3], Patty [4] and Pervin [5] have continued his work. Our purpose in this paper is to identify the projective objects in a suitable category of bitopological spaces after the manner of Gleason [1] and generalize his theorem that in the category of compact Hausdoriff topological spaces, the projective spaces are precisely the extremally disconnected ones.

Since it is no longer fashionable to publish per se results which depend only on algebraic manipulation, many useful and complicated results of quite general interest languish unseen hidden as lemmata in specialist papers. In particular, the theory of transcendental numbers is rich in ingenious techniques for evaluating determinants. These techniques are apparently not well known even to workers in the field of transcendental numbers, let alone to researchers on other areas where the results might find application. This note accordingly discusses a variety of interesting results on determinants and is to be viewed as an appendix to the encyclopaedic volumes of Muir (1911, 1933) which the researcher might approach in order to obtain information in this area. For reasons of motivation a brief mention is made of the context in which the determinants arise.

The class of finite groups having a subgroup of order 4 which is its own centralizer has been studied by Suzuki [9], Gorenstein and Walter [6], and the present author [11]. The main purpose of this paper is to strengthen Theorem 5 of [11] by using an early result of Zassenhaus [12]. In particular, we find all groups of the class which are core-free, i.e. which have no nontrivial normal subgroup of odd order. As an application, we make a determination of a certain class of primitive permutation groups.

We employ the Dyson's Lemma of Esnault and Viehweg to obtain a new and sharp formulation of Roth's Theorem on the approximation of algebraic numbers by algebraic numbers and apply our arguments to yield a refinement of the Davenport-Roth result on the number of exceptions to Roth's inequality and a sharpening of the Cugiani-Mahler theorem. We improve on the order of magnitude of the results rather than just on the constants involved.

Let f(x, y, z) be an indefinite ternary quadratic form of signature (2, 1) and determinant d ≠ 0. Davenport [3] has shown that there exist integral x, y, z with, the equality sign being necessary if and only if f is a positive multiple of f1(x, y, z) = x2 + yz.

The purpose of this paper is to complete results concerning the class ℋ of expansive homeomorphisms having the pseudo orbits tracing property on a compact metric space. We show that hyperbolic homeomorphisms introduced by Mañé in [8] are exactly those in the class ℋ then by the result of [12, 20] they form a class equal to the Smale space introduced by Ruelle in [18]. Next, assuming that the phase space is a smooth manifold, we show that a diffeomorphism is Anosov if and only if it is in the class ℋ and is a lower semi-continuity point of the map which assigns to any diffeomorphism the supremum of its expansive constants (possibly zero). Then we discuss the behavior of the dynamical systems generated by homeomorphisms from ℋ near their basic sets.

It is proved that there exists a universal good inner function in the open unit polydisc Un, that is its non Euclidean translates are dense in the closed unit ball of H∞ (Un) and that there exists a universal function in the open unit ball Bn of Cn. These generalize Heins' result on universal Blaschke products.

1980 Mathematics subject classification (Amer. Math. Soc.): primary 32 A 10.

According to the Skitovich–Darmois theorem, the independence of two linear forms of n independent random variables implies that the random variables are Gaussian. We consider the case where independent random variables take values in a second countable locally compact abelian group X, and coefficients of the forms are topological automorphisms of X. We describe a wide class of groups X for which a group-theoretic analogue of the Skitovich–Darmois theorem holds true when n=2.

Given two topologies J1, J2 on a set X, J1 is said to be coarser than J2, written J1 ≦ J2, if every set open under J1 is open under J2. A minimal Hausdorff space is then one for which there is no coarser Hausdorff topology etc. Vaidyanathaswamy [4] showed that every compact Hausdorff space is both maximal compact and minimal Hausdorff. This raised the question of whether there exist minimal Hausdorff non-compact spaces and/or maximal compact non-Hausdorff spaces. These questions were in fact answered in the affirmative by Ramanathan [2], Balachandran [1], and Hing Tong [3]. Their examples were, however, all on countable sets, and the topology constructed to answer one question bore no relation to the topology answering the second. In particular, the minimal Hausdorff non-compact topologies were not finer than any maximal compact topology.

Let F(x, θ) be a family of distribution functions indexed by θ ∈ Ω. If G(θ) is a distribution function on Ω H(x) = ƒohm; F(x, θ) dG(θ) is a mixture with respect to G. If there is a unique G yielding H, the mixtures is said to be identifiable.This paper summarises some known results related to identifiability of special types of mixtures and then discusses the general problem of identifiability in terms of mappings. Some new results follow for mappings with special features.

A Room n-cube of side t is an n dimensional array of side t which satisfies the property that each two dimensional projection is a Room square. The existence of a Room n-cube of side t is equivalent to the existence of n pairwise orthgonal symmetric Latin squares (POSLS) of side t. The existence of n pairwise orthogonal starters of order t implies the existence of n POSLS of side t. Denote by v(n) the maximum number of POSLS of side t. In this paper, we use Galois fields and computer constructions to construct sets of pairwise orthogonal starters of order t ≤ 101. The existence of these sets of starters gives improved lower bounds for v(n). In particular, we show v(17) ≥ 5, v(21) ≥ 5, v(29) ≥ 13, v(37) ≥ 15 and v(41) ≥ 9, among others.